{ "global_random": [ 3, [ 2147483648, 3564348608, 1266698288, 4212342371, 3595291661, 3180588708, 3037210256, 946923017, 2565409715, 2900535780, 924383152, 4180157270, 4230508198, 2039675917, 3755350407, 2362848650, 2818100609, 2097423432, 524478045, 540883378, 281170210, 1485176884, 1493190386, 1773214509, 380915208, 3667698522, 2648371337, 2961234806, 3857480267, 1582950522, 246289694, 3322185604, 1944574775, 302623699, 169865066, 1143540808, 3733177770, 513116636, 1411153081, 3205493053, 768926902, 549624109, 1470655403, 59539609, 3678480009, 3087139671, 1176835859, 2078491503, 2299934332, 1592059249, 1062716176, 2654193596, 3531838733, 2661260596, 3881209635, 2106865768, 4154287292, 2082185616, 2301197011, 2177349827, 3082181756, 1787663536, 3714670796, 3018262113, 1670056238, 1856738750, 99824592, 2279837081, 1414647942, 3416675731, 3458782472, 3997022236, 468762002, 2666158583, 953353270, 1788980658, 3802061067, 407586584, 1844776834, 1906917274, 3154715663, 3028370222, 4156024188, 3996363428, 80495456, 2659800972, 2005649973, 3818358673, 3952623596, 2506862371, 3282302532, 263923435, 3384662671, 3292439172, 3119957588, 1224426111, 899864150, 215262826, 1619647231, 3347694949, 3497868538, 2029552053, 2992804824, 4080010250, 2023513186, 1885979437, 3564622190, 3775424270, 2297810139, 3549449169, 2664856277, 3274801974, 2794883969, 980412666, 2980215653, 2794389321, 2816521934, 1266970739, 542306338, 3646225311, 3598997630, 2111980720, 2949252482, 2489027658, 352815024, 11610683, 1386663624, 2004196796, 1161461546, 1921293780, 2463949525, 1647009713, 3550093655, 2563894064, 3486310554, 1506105865, 243092931, 2659437476, 4200687059, 2284345122, 1974438610, 3591096528, 967119212, 3362401375, 140678365, 311602112, 2361740275, 2139598582, 3632873481, 2762232439, 4156482318, 381637792, 3253346525, 2492118775, 1502434558, 3164497290, 3550998357, 2412448305, 2223955385, 4122879535, 350121793, 1835149778, 2175117867, 989674750, 3178241202, 3553093569, 3470650311, 2829698151, 3209427769, 1779174943, 275388428, 4044574515, 715447260, 3180940440, 4020772289, 1322708567, 3189868792, 4250485633, 716970023, 2307550151, 1074996711, 1217573599, 197006094, 2178394212, 1255233746, 4164251484, 1405608772, 2808160475, 1304736088, 1796071066, 2761748078, 3570739698, 1616118556, 2232868135, 3567541936, 3470600401, 3031621994, 3351764214, 1359785149, 2617497797, 3340028190, 356162828, 2083806068, 2503635608, 4024838996, 2577080371, 2897993505, 3120733934, 905794891, 2506078507, 4211618666, 3777871979, 809751414, 4080874167, 1562977008, 3917373055, 2132779194, 4014249473, 4067327082, 2582869847, 1780081876, 1842619106, 3381761227, 921004274, 1393256920, 1883566732, 2702071861, 865327389, 1622085203, 3021825820, 2687061406, 1748902923, 689023977, 308399650, 2377287978, 1646969411, 1051806316, 4277884230, 2041056290, 101134519, 2032472116, 4112521069, 151202901, 2773743461, 551348559, 3476836808, 510935951, 625057077, 3757450756, 2977698135, 3027776859, 2616998041, 2773430005, 544190486, 2241368212, 1141105829, 1452816309, 4199229235, 3218013033, 4229475816, 1659576351, 3020348754, 1193400518, 3208584597, 1151197733, 2597187966, 503065140, 2421841572, 1437291709, 1909275895, 2872630545, 793588217, 3792934707, 1784451785, 2921385648, 1669902526, 4189978976, 1196986251, 434805516, 1907541826, 2624415034, 1687778718, 650746582, 1949153382, 4148493093, 841300520, 1164202054, 4203468658, 4106300911, 850346789, 1715730760, 3114661489, 2866524548, 1360448945, 3601318775, 1743078223, 2413855408, 1211895622, 325117146, 2721152875, 1284334485, 2446538832, 739014618, 2237045115, 842553465, 2538598293, 746460793, 4010387366, 2002655192, 4193733112, 1194380773, 3918217378, 1447487475, 5659228, 3408847694, 4190318700, 1862549564, 781683719, 1194618118, 755053413, 3436011942, 2885435303, 3081151348, 2017642831, 1053816502, 1086627485, 2157296554, 110650022, 965352898, 1003174194, 1288956241, 4057404871, 2965068465, 2897064481, 2457377317, 1879872545, 358455290, 375086701, 3015902095, 1676249984, 924455526, 2084169389, 1989014644, 1993749926, 2009424973, 2113340508, 3980883273, 2915977458, 203328382, 3020815229, 2415050113, 4103009585, 3700885489, 2916647550, 1523006503, 174302338, 2476909338, 1969322490, 4285741984, 1528449097, 3355315515, 4217241278, 599579127, 2572243673, 3035856735, 1539140489, 1782314913, 4238644287, 1746424142, 1978148312, 2380746849, 184941882, 1106717981, 1720750349, 981701307, 3953154731, 3257809181, 2892339376, 3339778166, 3676936849, 87425948, 3029257381, 2037942523, 3807628706, 2861474706, 1058852346, 1322765211, 2686046342, 2689342655, 2303436168, 2571627181, 1986057734, 1183564308, 2829677523, 1295563975, 503126586, 2025890348, 4179277821, 1735262467, 981331774, 1613447066, 1011606109, 2000062246, 3581448390, 3477731384, 3641307373, 3508544379, 2327233491, 3931944343, 4189052882, 2990416380, 422406169, 202291313, 2531006461, 4277024116, 3815144003, 821314585, 1344175168, 3562834071, 1339615445, 1831545190, 3115548822, 743512780, 4006999448, 3720181735, 1012033521, 919931041, 2628967879, 1151876565, 1268107129, 3674829936, 834977846, 743987006, 3947536548, 3706529695, 4121073678, 2507605742, 1595636918, 2708047833, 2427507331, 3868216331, 3254240010, 2097683411, 3279710596, 3686819053, 1843541720, 1683793619, 3245287285, 3571828776, 3733296431, 3806747478, 1390930605, 3860422228, 114397037, 1931519825, 2770684378, 1556101783, 1436111731, 4031950081, 562876656, 1775895782, 612364620, 1313509772, 4283410242, 3252958463, 2176555836, 3933073367, 3013277102, 1444071961, 3120949516, 2824578890, 325676929, 943677134, 1800649256, 1721927060, 347498719, 1435221321, 2623572981, 1408548470, 4145586315, 2901889237, 1849377952, 1239144551, 3382598266, 2992893897, 3738297588, 611280106, 3897415338, 2370299241, 1772308583, 3697465753, 354508058, 2702360134, 591308331, 3524072501, 976616000, 2563717192, 3078266097, 1376594703, 4209795919, 2454412767, 2712206031, 2963860163, 3734324882, 2248653800, 324872786, 3789837448, 3779000146, 527733939, 2844165793, 576499681, 1618787435, 2638888650, 57511068, 2804627518, 2993670030, 481402236, 2810124845, 1416045214, 1723694191, 1214944572, 3188123783, 1139185907, 3851015362, 1719652470, 1661343029, 3644307578, 3564178709, 1256656955, 46631590, 4231317929, 3098958589, 1834956625, 2206185428, 3695688374, 3647957317, 1064098871, 1739100906, 2579568980, 27974051, 2617466775, 964075233, 907049942, 4164146575, 3377168066, 2524828266, 1083546008, 2992960953, 2260789066, 1543742095, 2843842831, 1375722284, 3574521313, 110842534, 2310998251, 3076511734, 783145600, 1287776608, 3087144146, 305559823, 2356293719, 3228441476, 1678938122, 3775814061, 1620283952, 2512027726, 1031432407, 962295099, 3877418501, 968669928, 304126693, 3711291137, 3847527101, 494066767, 4050229756, 4169448589, 671763915, 1095747781, 4006132710, 394725957, 200521654, 2715998750, 1477567673, 895171901, 3370105999, 2684157455, 4153990023, 3966076501, 2043374409, 144443759, 6764556, 1611650045, 1480956755, 1388276468, 4136518438, 1538041336, 266773992, 1623357516, 2267298390, 3183919402, 1084292424, 2796136160, 2413448816, 2850375199, 3510894040, 2644778623, 3317288284, 3697317540, 1465776787, 1843489446, 1416711171, 744701117, 1286781349, 3748640476, 861982119, 2377742909, 1171768136, 2701877439, 3839724288, 2869791015, 2386067954, 2629214347, 955801623, 3831079317, 624 ], null ], "global_numpy": [ "MT19937", [ 42, 3107752595, 1895908407, 3900362577, 3030691166, 4081230161, 2732361568, 1361238961, 3961642104, 867618704, 2837705690, 3281374275, 3928479052, 3691474744, 3088217429, 1769265762, 3769508895, 2731227933, 2930436685, 486258750, 1452990090, 3321835500, 3520974945, 2343938241, 928051207, 2811458012, 3391994544, 3688461242, 1372039449, 3706424981, 1717012300, 1728812672, 1688496645, 1203107765, 1648758310, 440890502, 1396092674, 626042708, 3853121610, 669844980, 2992565612, 310741647, 3820958101, 3474052697, 305511342, 2053450195, 705225224, 3836704087, 3293527636, 1140926340, 2738734251, 574359520, 1493564308, 269614846, 427919468, 2903547603, 2957214125, 181522756, 4137743374, 2557886044, 3399018834, 1348953650, 1575066973, 3837612427, 705360616, 4138204617, 1604205300, 1605197804, 590851525, 2371419134, 2530821810, 4183626679, 2872056396, 3895467791, 1156426758, 184917518, 2502875602, 2730245981, 3251099593, 2228829441, 2591075711, 3048691618, 3030004338, 1726207619, 993866654, 823585707, 936803789, 3180156728, 1191670842, 348221088, 988038522, 3281236861, 1153842962, 4152167900, 98291801, 816305276, 575746380, 1719541597, 2584648622, 1791391551, 3234806234, 413529090, 219961136, 4180088407, 1135264652, 3923811338, 2304598263, 762142228, 1980420688, 1225347938, 3657621885, 3762382117, 1157119598, 2556627260, 2276905960, 3857700293, 1903185298, 4258743924, 2078637161, 4160077183, 3569294948, 2138906140, 1346725611, 1473959117, 2798330104, 3785346335, 4103334026, 3448442764, 1142532843, 4278036691, 3071994514, 3474299731, 1121195796, 1536841934, 2132070705, 1064908919, 2840327803, 992870214, 2041326888, 2906112696, 4182466030, 1031463950, 703166484, 854266995, 4157971695, 4071962029, 2600094776, 2770410869, 3776335751, 2599879593, 2451043853, 2223709058, 2098813464, 4008111478, 2959232195, 3072496064, 2498909222, 4020139729, 785990520, 958060279, 4183949075, 2392404465, 533774465, 4092066952, 3967420027, 1726137853, 2907699474, 3158758391, 1460845905, 1323598137, 2446717890, 3004885867, 3447263769, 1378488047, 3172418196, 652839901, 1695052769, 226007057, 778836071, 1216725078, 655651335, 1850195064, 427367795, 800074262, 2241880422, 1713434925, 339981078, 1730571881, 672610244, 1952245009, 2729177102, 3516932475, 4032720152, 3177283432, 411893652, 2440235559, 3587427933, 43170267, 39225133, 3904203400, 1935961247, 3843123487, 1625453782, 1337993374, 2095455879, 3402219947, 634671126, 70868861, 3072823841, 851862432, 1828056818, 2794213810, 1222863684, 2164539406, 4249334162, 1380362252, 1512719097, 2773165233, 4063118969, 3041859837, 529421431, 563872464, 2478730478, 3168749051, 4132953373, 3922807735, 1124217574, 1970058502, 1744120743, 1906315107, 1074758800, 1611130652, 2878846041, 886823888, 1175456250, 1669874674, 2428820171, 1044308794, 3841962192, 138850094, 1239727126, 1753711876, 2194286827, 872797664, 4276240980, 690338888, 4087206238, 2279169960, 1117436170, 3344885072, 3127829945, 315537090, 3802787206, 4157203318, 1637047079, 3774106877, 3230158646, 1855823338, 1931415993, 667252379, 4288528171, 1587598285, 1096793218, 1916566454, 101891899, 2354644560, 3351208292, 1467125166, 2177732119, 4122299478, 3904084887, 2653591155, 4201043109, 2867379343, 2660555187, 3641744616, 4126452939, 326579197, 2697259239, 3365236848, 3007834487, 4118919490, 3306741951, 2285455175, 1956645973, 1879691841, 891565150, 1843460149, 2013381028, 819311674, 123282948, 1436558519, 1154343666, 206804484, 1650349242, 2142011886, 304163699, 2608574600, 2500624796, 2996744833, 2344192475, 3152512202, 165571606, 691170269, 1806226529, 568535825, 1243813863, 3068953841, 3843784723, 1540495237, 4246006858, 1303595780, 3288680241, 864868851, 819595545, 3230857496, 3574119395, 1545404573, 2970139338, 4292786727, 1803072884, 1374565738, 1736333177, 1978645403, 3962597126, 1068006206, 3458125500, 168085922, 1597587506, 2052497512, 1323596727, 2421372441, 1468386547, 3574947527, 3363915938, 860279252, 1309097460, 3065417722, 1490716202, 3476091722, 1669402145, 895071221, 1432690175, 3353592973, 149850974, 2789493615, 826939483, 666980418, 755367270, 3988951195, 21783894, 1924727373, 1699517788, 1152431122, 2593798113, 3522529522, 2797535609, 4018366956, 2350035889, 3010507270, 2832621820, 627979167, 997422629, 365587204, 2302500352, 1720920631, 689999548, 3713985947, 3267499624, 1971264680, 1981530399, 1662926921, 1833821660, 1422522022, 3141447769, 2727954526, 4172728772, 1787436028, 1902276939, 3145551277, 4207627911, 2497093521, 4111966589, 3929089589, 2253454030, 1069424637, 2165048659, 2848813944, 2435898022, 2546206777, 3864777677, 3107311565, 3776562483, 1040285049, 3171631943, 2404677828, 2522848682, 2930777301, 2831905121, 1436989598, 602730315, 664177960, 3959954010, 3116042160, 2881899726, 233404945, 4058465099, 1781994751, 485046222, 2776777695, 432082123, 1989128370, 86344507, 2510576356, 2194076764, 1742125237, 3715839140, 895100548, 147445686, 705462897, 2245325113, 1052295404, 1956014786, 2916055958, 1829369612, 2541711050, 1594343058, 3708804266, 150438233, 323857098, 294681952, 783931535, 606075163, 2427042904, 121207604, 3943199031, 1196785464, 1818211378, 1788241109, 3138862427, 2037307093, 2306750301, 1644605749, 165986111, 542190743, 486828112, 1757411662, 894543082, 4108143634, 1232805238, 3801632949, 3863166865, 713767006, 2091486427, 3174776264, 1157004409, 623072544, 1667151721, 3361539538, 696723008, 3247069452, 682044344, 1382136166, 1385645682, 4219951151, 2747881261, 2489355869, 786564174, 2040230554, 2967874556, 1414286092, 2677969656, 1393412218, 2216095072, 935533444, 3662643439, 3285199608, 3103672804, 522796956, 3952383595, 1928659176, 3397717710, 4278554051, 1984736931, 3559102926, 1878353094, 875578217, 2398931796, 2313634006, 1606027661, 2790634022, 2334166559, 1857067101, 666458681, 1626872683, 2155121857, 715449823, 1865157100, 2938814835, 4084911240, 45488075, 3474982924, 1750873825, 2246019159, 125388929, 1110287838, 652200437, 4212247716, 2702974687, 2963764270, 208692058, 3170393729, 1378248367, 752591527, 591629541, 2253399388, 2402291226, 3089656189, 3202324513, 3818308310, 2828131601, 2690672008, 3676629884, 1007739430, 4072247562, 3574795162, 518485611, 1889402182, 3687902739, 3410263649, 2790674620, 779455241, 3573984673, 3053204735, 4089925351, 789980683, 476440431, 3843536868, 2400661309, 3139919094, 1643266656, 113318754, 428163528, 2386492935, 3807242009, 574560611, 3174039857, 3774465602, 1164640969, 455942925, 1374407495, 2562304709, 1024844203, 521375136, 417432138, 1203241821, 2900988280, 2841030991, 2301700751, 369508560, 2396447808, 1891459643, 4225682708, 3930667846, 1518293357, 2697063889, 3113075061, 2411136298, 2836361984, 4105335811, 914081338, 2675982621, 1816939127, 1596754123, 1464603632, 1598478676, 1318403529, 4016663081, 2106416852, 2757323084, 2042842122, 1175184796, 2212339255, 1334626864, 3994484893, 3938045599, 2166620630, 3036360431, 397499085, 975931950, 1868702836, 3530424696, 3532548823, 2770836469, 3537418693, 3344319345, 3208552526, 1771170897, 4097379814, 3761572528, 2794194423, 706836738, 2953105956, 3446096217, 220984542, 309619699, 223913021, 3985142640, 1757616575, 2582763607, 4018329835, 1393278443, 4121569718, 2087146446, 4282833425, 807775617, 1396604749, 3571181413, 90301352, 2618014643, 2783561793, 1329389532, 836540831, 26719530 ], 624, 0, 0.0 ], "pref_sampler": [ 3, [ 2147483648, 3564348608, 1266698288, 4212342371, 3595291661, 3180588708, 3037210256, 946923017, 2565409715, 2900535780, 924383152, 4180157270, 4230508198, 2039675917, 3755350407, 2362848650, 2818100609, 2097423432, 524478045, 540883378, 281170210, 1485176884, 1493190386, 1773214509, 380915208, 3667698522, 2648371337, 2961234806, 3857480267, 1582950522, 246289694, 3322185604, 1944574775, 302623699, 169865066, 1143540808, 3733177770, 513116636, 1411153081, 3205493053, 768926902, 549624109, 1470655403, 59539609, 3678480009, 3087139671, 1176835859, 2078491503, 2299934332, 1592059249, 1062716176, 2654193596, 3531838733, 2661260596, 3881209635, 2106865768, 4154287292, 2082185616, 2301197011, 2177349827, 3082181756, 1787663536, 3714670796, 3018262113, 1670056238, 1856738750, 99824592, 2279837081, 1414647942, 3416675731, 3458782472, 3997022236, 468762002, 2666158583, 953353270, 1788980658, 3802061067, 407586584, 1844776834, 1906917274, 3154715663, 3028370222, 4156024188, 3996363428, 80495456, 2659800972, 2005649973, 3818358673, 3952623596, 2506862371, 3282302532, 263923435, 3384662671, 3292439172, 3119957588, 1224426111, 899864150, 215262826, 1619647231, 3347694949, 3497868538, 2029552053, 2992804824, 4080010250, 2023513186, 1885979437, 3564622190, 3775424270, 2297810139, 3549449169, 2664856277, 3274801974, 2794883969, 980412666, 2980215653, 2794389321, 2816521934, 1266970739, 542306338, 3646225311, 3598997630, 2111980720, 2949252482, 2489027658, 352815024, 11610683, 1386663624, 2004196796, 1161461546, 1921293780, 2463949525, 1647009713, 3550093655, 2563894064, 3486310554, 1506105865, 243092931, 2659437476, 4200687059, 2284345122, 1974438610, 3591096528, 967119212, 3362401375, 140678365, 311602112, 2361740275, 2139598582, 3632873481, 2762232439, 4156482318, 381637792, 3253346525, 2492118775, 1502434558, 3164497290, 3550998357, 2412448305, 2223955385, 4122879535, 350121793, 1835149778, 2175117867, 989674750, 3178241202, 3553093569, 3470650311, 2829698151, 3209427769, 1779174943, 275388428, 4044574515, 715447260, 3180940440, 4020772289, 1322708567, 3189868792, 4250485633, 716970023, 2307550151, 1074996711, 1217573599, 197006094, 2178394212, 1255233746, 4164251484, 1405608772, 2808160475, 1304736088, 1796071066, 2761748078, 3570739698, 1616118556, 2232868135, 3567541936, 3470600401, 3031621994, 3351764214, 1359785149, 2617497797, 3340028190, 356162828, 2083806068, 2503635608, 4024838996, 2577080371, 2897993505, 3120733934, 905794891, 2506078507, 4211618666, 3777871979, 809751414, 4080874167, 1562977008, 3917373055, 2132779194, 4014249473, 4067327082, 2582869847, 1780081876, 1842619106, 3381761227, 921004274, 1393256920, 1883566732, 2702071861, 865327389, 1622085203, 3021825820, 2687061406, 1748902923, 689023977, 308399650, 2377287978, 1646969411, 1051806316, 4277884230, 2041056290, 101134519, 2032472116, 4112521069, 151202901, 2773743461, 551348559, 3476836808, 510935951, 625057077, 3757450756, 2977698135, 3027776859, 2616998041, 2773430005, 544190486, 2241368212, 1141105829, 1452816309, 4199229235, 3218013033, 4229475816, 1659576351, 3020348754, 1193400518, 3208584597, 1151197733, 2597187966, 503065140, 2421841572, 1437291709, 1909275895, 2872630545, 793588217, 3792934707, 1784451785, 2921385648, 1669902526, 4189978976, 1196986251, 434805516, 1907541826, 2624415034, 1687778718, 650746582, 1949153382, 4148493093, 841300520, 1164202054, 4203468658, 4106300911, 850346789, 1715730760, 3114661489, 2866524548, 1360448945, 3601318775, 1743078223, 2413855408, 1211895622, 325117146, 2721152875, 1284334485, 2446538832, 739014618, 2237045115, 842553465, 2538598293, 746460793, 4010387366, 2002655192, 4193733112, 1194380773, 3918217378, 1447487475, 5659228, 3408847694, 4190318700, 1862549564, 781683719, 1194618118, 755053413, 3436011942, 2885435303, 3081151348, 2017642831, 1053816502, 1086627485, 2157296554, 110650022, 965352898, 1003174194, 1288956241, 4057404871, 2965068465, 2897064481, 2457377317, 1879872545, 358455290, 375086701, 3015902095, 1676249984, 924455526, 2084169389, 1989014644, 1993749926, 2009424973, 2113340508, 3980883273, 2915977458, 203328382, 3020815229, 2415050113, 4103009585, 3700885489, 2916647550, 1523006503, 174302338, 2476909338, 1969322490, 4285741984, 1528449097, 3355315515, 4217241278, 599579127, 2572243673, 3035856735, 1539140489, 1782314913, 4238644287, 1746424142, 1978148312, 2380746849, 184941882, 1106717981, 1720750349, 981701307, 3953154731, 3257809181, 2892339376, 3339778166, 3676936849, 87425948, 3029257381, 2037942523, 3807628706, 2861474706, 1058852346, 1322765211, 2686046342, 2689342655, 2303436168, 2571627181, 1986057734, 1183564308, 2829677523, 1295563975, 503126586, 2025890348, 4179277821, 1735262467, 981331774, 1613447066, 1011606109, 2000062246, 3581448390, 3477731384, 3641307373, 3508544379, 2327233491, 3931944343, 4189052882, 2990416380, 422406169, 202291313, 2531006461, 4277024116, 3815144003, 821314585, 1344175168, 3562834071, 1339615445, 1831545190, 3115548822, 743512780, 4006999448, 3720181735, 1012033521, 919931041, 2628967879, 1151876565, 1268107129, 3674829936, 834977846, 743987006, 3947536548, 3706529695, 4121073678, 2507605742, 1595636918, 2708047833, 2427507331, 3868216331, 3254240010, 2097683411, 3279710596, 3686819053, 1843541720, 1683793619, 3245287285, 3571828776, 3733296431, 3806747478, 1390930605, 3860422228, 114397037, 1931519825, 2770684378, 1556101783, 1436111731, 4031950081, 562876656, 1775895782, 612364620, 1313509772, 4283410242, 3252958463, 2176555836, 3933073367, 3013277102, 1444071961, 3120949516, 2824578890, 325676929, 943677134, 1800649256, 1721927060, 347498719, 1435221321, 2623572981, 1408548470, 4145586315, 2901889237, 1849377952, 1239144551, 3382598266, 2992893897, 3738297588, 611280106, 3897415338, 2370299241, 1772308583, 3697465753, 354508058, 2702360134, 591308331, 3524072501, 976616000, 2563717192, 3078266097, 1376594703, 4209795919, 2454412767, 2712206031, 2963860163, 3734324882, 2248653800, 324872786, 3789837448, 3779000146, 527733939, 2844165793, 576499681, 1618787435, 2638888650, 57511068, 2804627518, 2993670030, 481402236, 2810124845, 1416045214, 1723694191, 1214944572, 3188123783, 1139185907, 3851015362, 1719652470, 1661343029, 3644307578, 3564178709, 1256656955, 46631590, 4231317929, 3098958589, 1834956625, 2206185428, 3695688374, 3647957317, 1064098871, 1739100906, 2579568980, 27974051, 2617466775, 964075233, 907049942, 4164146575, 3377168066, 2524828266, 1083546008, 2992960953, 2260789066, 1543742095, 2843842831, 1375722284, 3574521313, 110842534, 2310998251, 3076511734, 783145600, 1287776608, 3087144146, 305559823, 2356293719, 3228441476, 1678938122, 3775814061, 1620283952, 2512027726, 1031432407, 962295099, 3877418501, 968669928, 304126693, 3711291137, 3847527101, 494066767, 4050229756, 4169448589, 671763915, 1095747781, 4006132710, 394725957, 200521654, 2715998750, 1477567673, 895171901, 3370105999, 2684157455, 4153990023, 3966076501, 2043374409, 144443759, 6764556, 1611650045, 1480956755, 1388276468, 4136518438, 1538041336, 266773992, 1623357516, 2267298390, 3183919402, 1084292424, 2796136160, 2413448816, 2850375199, 3510894040, 2644778623, 3317288284, 3697317540, 1465776787, 1843489446, 1416711171, 744701117, 1286781349, 3748640476, 861982119, 2377742909, 1171768136, 2701877439, 3839724288, 2869791015, 2386067954, 2629214347, 955801623, 3831079317, 624 ], null ], "progress_sampler": null }