{"condition": "indiff030", "seed": 1001, "size": 100, "params": {"key": "indiff030", "tol": 0.3, "n_colors": 2, "torus": false, "indifferent": 0.3, "move_prob": 1.0, "size": 100, "empty": 0.1, "district": 10, "max_steps": 400}, "init": "1011122222022102211202112022222222121211202112121012122221212112011212112212011112121221202212112221212122111211202010011112210112221122212122122212012202211110121222120222022011111121211121112022121112212121222110212210112211222011212221011222121112212110112122121222122111122112212211121011222221202221102012122202111221211221122222122222122121201102112112122112122121021011122122121111110121212221111122202202112101111202101022202122011121210201201202120112121122112212220222222211122112021012221121211112121121222202212212112112211010112112121221120211122112111111112110121001002221112111022121012110020102220112221202122212222210202221012222222222121221121211101211211122222220112122212212111211111002222220222101012222110112111102102122121122111122212212122222222111112221222121211221202112211221201212222002012121222112212221122012222122221100020222122222111221111021210011112102122210222220102202122222221222121122121111222221022122221111220221220202011222102122222121102112111121102122212121222221112222111221211101112122211121112112212222121012122121222212111022122112120222110221111101012022221122221121212110220121212111111122221122211112120122121112220112221201201212222211122101220011212111210222222121211212212122111122212011222112112211010221111202222201211120111222221022021111211121220112211221211122222222222211121220201111121202211122112211122122222022211222122121112021110220110221220201211221220021122221122122211112121212211201222212101110202221121022221220101202111122110121111102211222121222111201111122111212120120212221111110212222221010112012211221111020121122222122122212222210102210022221212011222112111112221121111021101122122220111221222121211122211102102102210122221212122222021222222222201122012121022121211010121221111122222111001211122100211111121121121102121110110221220112012022111011211222220112110020222112221011112211212111021212222212112111120012221122112222121222222121121221212111102211221222111102121111200120222110222112212211121102202121021111211111101221221221211112111220222212220212121211222221101020112002222211122212212022111021111222221012111122221102110212102222122211112222212211121221110212211220212010212101121221122112112220111011202111121212212221112111102221222211100221012102211212110021122212220112121122012121221120121221122211201110222221221122221110122211111120122121111111121121222012222112111211111112110021211211011211221212121012201222120222221210121212112210221111212121111212202222101121021122121121122200222211111222112121202212221112011222211212011222212222121102222122111222112222211212100111112022122121111212221112111211120121221012112221110122211111121212121111121212211212221111201122222222111111111122122112211121210212021221210122112001121121111221210121121202212111102212202202212211101120221122120222222211102111212212121111012122222122221211112122122221212021010110221102221112222222222112112222211212111201222121222221112121222222012111121121221111120112122212220112220212221012211121121221022101212121221100212212111002202101212112111111122211012122121211221222122211200102222022221111212022211111111121121222101211121211222211111111120021021112211210021111220120222211221122122211221221112221112112110211211211222121122212112221121211112122001212211211222102212121201212221111112022122121202122221211121121212201222222111212221111221122022011211112221211021221211222121211110112222201202112121112222202121122111121211221112022111222212211211212122222221111221210112221121121022102022121222211222112211221112212121122122001211101200021202120110212101212221011111122122121021121111111212122221211122112112111111202011220122112201212021221011101121212221221221211112121121112201121121112021122212111210121222122011200211102122222121110101121122122212221122010222212122020221111221022022120220222212211222111222211220211221222221222221112121211211212111112012221111112121201212212112211112010102201022221122121221121120212012112112110210212212211221221021112012111110111010220120112020211122112121210212222211012202221001222212022221212121211111200222202121120212121210101112122121201221121121202212122121222222210112211222120222011221212211121202112222011110111011222212212222200221201221111211121222222111102012202221011102021102221122222001221122101112012112011012222221220221122212212221211221122112122112220122221111211211111122212121111112212112210221102212011212211222111220110220222212110022212212202211102111102122222211112222122112121002121212121122221221011111112222201210211122120112222211121111211122202121120222022211212121211112120110111212212111201121112110101211022111211112101122221212121101212112221221202221212212112222212021122120111210122111222212111121022211122111112012211201111202111222211222112212122112121021111112101222210221122122111122112222002201121122212212010122110111112120222222111211122011111121111111110112202221121211221122222211221221112212022122112212121211001222211010122221212220122110122222112221101110021222212201221020212222100221111112201111021120112221221122112222202122111112111111222221211220120112110212222012202211120201212122112221112222110211221111211120211220111020122201122201211221020211210211211021122221112002021222121101220122222112111112222220222011021110111121122220122211112211112221111202220111211201202221212121112121221221121112122221112212021201112220221121211221010111212111212210111212211221210122202122211220111112212212212112002121222222222121122111112112121112122121101222222211222211122121221021111020122101112122121122212120112121210221121121221222211111212220221201201211121211110122221221211122110111121222222220212212112111201111111211220112212101210102110010112212111221211121220110021221212201112222122122211111211211111120222022211220212222110210122121122122222211221102112111022210122112012222121021122111221221210221112121122221220011211222110121112012121211212121110112122012022121211222022112122121111212110012112221122221122211111102021102122221111110212122111111220211211022222112221121201212221111222210210122111011122101120101121111102221112210012201212121212012121022102222222221012111121222022122211022110221011022222111211111211212221112222112122222111121222122112211212212122221201122122122222221012110202012211212210111201122012121120121121212110201101121102212221112112011111211121021002222212121211220121121122011111201212121211111101112220211112211112112121221121021111122112211111211012212011112101111122211201221210001112011111212111121111111121112221212220122112112111212212111112221201112102211121111012202112212112211110210211121212012111112211121112120012111212121121221211122122111211222212222110221211200101212211212111121212202212012222120011112222121122222221112211202222201111112121111112122220112122102111222221122222211212221021121111112012111222112211110102122100120222121221122212112221120122122111112011222222122211112221122112102101111122122112121211201021102211212112122221121111212122222221110122121222111101122111211010120221220211111121122111021021102101221112121212122222121211112100111211121211011012112101111110011201210102002122212221221121211111112211111211212202220101122011021122202122211222121211110121222212111111102121022222001222212111112221212112222211211211101111120210122012212120101222201200012122111201212222122211212210022112121211012202122112112210111212211201221122111222222212202212111221110222211102121111222020221211121121211211211220222121221200122220112211220120221221122121121212100102101211112121112111110110201221121121222121212222122211011211111211011211220112121120222211222011222221211110122111120121121101102221211211201221121021122122112222111221222002121122112120122111221211220211112222112020211212021011211121121211221112122121111112222122112122012121122122112222221122111122222210111122020201221112110121121212111212112112121211112212112112212112021211101121111102122121210112212121002212012101122022112120112202211112212012212122022010211111121020201212221201122211020222111220212111102111121122110222111121112122212112121221222112111120222122122221222212221121011211110202210101011221200122221111211211221211221211102012111121112221212211222202222222221222012022122222200211222121211111212201121111221222020212111102221202002122122022221222201221110112221202122221121221210121111212222212211212122112221221102222211211222011221201222202012201220122111221202222121212212121221210222222112221221122021112122110112211211201111122122112011221021121221110121122212021112112212212122121112211212111012110111211102111011222221122122221111111121111212122122121111212120221202212111211222212011122011211112212121222221121112212212121121212211110112002211200222111202101111022222021211111112222211212112022112221022222111222221212211120112212211122122211122212220121111111221011220121211120111221111222112121202211210111022121212222222222222011111120112012202121212221210201011121112022122111120211011122102121122212122210220120212111210210111122222211222201000022202212201112110111011122022122111111221112211121211021211111211011220112112122212201221112022222222211112211211221212001111122101112112212110211012200122221220212121121122111121111222222212112222211121022011012112111102120211202222121201112111011222122201211021221211012212201210021210212212112212211011112222120111202102121202210112222111111221222122211211121221221201221222121120110121120211212212221221121122112222012211122111022121122201112212110212111111012011121121221122112121222111022121111120121111111121122111122122222121212222211121212112111021111211111221221221221112222111111221211021101212211121021122122110222222221110211112122210200212221121211121122011220222110221221121211012222122212212211122112102122122111010222221222111111011122101121112101012222220211212121111210012112222221012110221022121211222022221212011211210122211112221022120122121022212121120111222222221212012221122102222221111112212211222121121211221211121112000222121211112121211102121121222222120212021121121122112121211222121201221121222012212111120121220111022222121111122212100111112121110121222110221022212112222110212211", "step_moves": [[[7298, 9007], [9422, 9536], [2850, 3948], [8262, 5522], [9179, 4927], [5464, 3120], [2239, 8862], [7040, 3616], [510, 3991], [8088, 2753], [5079, 7621], [1177, 4826], [1467, 76], [2066, 7233], [8393, 1836], [3930, 1086], [7042, 1849], [4715, 5568], [9864, 113], [36, 8332], [230, 1471], [1240, 8850], [3913, 8272], [4221, 3322], [200, 1810], [8794, 1806], [8296, 4460], [7189, 635], [4318, 3227], [4113, 6793], [2762, 1605], [2515, 6221], [7435, 6199], [622, 4201], [287, 7203], [7349, 3226], [8181, 7524], [544, 5916], [2443, 6028], [6468, 9676], [7526, 7064], [2906, 4426], [3145, 2515], [3353, 6435], [6297, 803], [4999, 5954], [4443, 5313], [2195, 6315], [7739, 9762], [6029, 4754], [4768, 390], [2969, 2406], [8238, 1099], [7510, 5991], [58, 5737], [4118, 1551], [2666, 9143], [5757, 1953], [2887, 6070], [1220, 8177], [3866, 5641], [7216, 2561], [5898, 704], [5057, 9422], [8299, 7246], [8456, 573], [3725, 811], [6463, 9834], [6748, 8428], [1998, 1732], [9322, 7826], [1807, 8014], [1198, 4340], [7201, 8798], [2479, 1288], [1419, 152], [5996, 8092], [1026, 535], [1170, 5651], [5398, 603], [334, 7025], [1591, 8142], [8379, 5686], [2794, 9174], [1480, 3525], [7643, 1790], [864, 7869], [6971, 4232], [4020, 5358], [9324, 2370], [8753, 1177], [5781, 9111], [728, 7919], [5773, 4368], [7093, 9017], [3849, 2657], [7736, 8208], [2829, 9641], [5289, 5607], [67, 6915], [4851, 422], [2643, 7608], [2742, 5022], [3051, 7900], [7106, 8582], [826, 8238], [2766, 826], [5952, 604], [3257, 592], [1426, 4166], [6316, 5836], [6982, 4464], [3431, 899], [2831, 6588], [7749, 126], [6114, 9107], [8684, 4530], [862, 4527], [7516, 3798], [1845, 3880], [5209, 7806], [4919, 1172], [7948, 4851], [7788, 7435], [7386, 9209], [4641, 4020], [276, 2142], [5442, 7078], [1733, 9924], [6149, 4365], [1106, 8159], [9698, 6821], [3872, 10], [3223, 8594], [4567, 6847], [4424, 9660], [3072, 6902], [8114, 314], [8178, 1649], [9293, 8021], [3254, 9902], [8714, 9190], [1982, 3556], [2977, 6590], [9530, 5952], [1729, 5191], [1640, 175], [2314, 370], [4891, 172], [2644, 1448], [1535, 1839], [3529, 7295], [8785, 5073], [872, 7630], [5919, 1152], [6502, 622], [9535, 6780], [7994, 5291], [1737, 1611], [9994, 989], [2882, 7482], [5475, 3002], [867, 4953], [2063, 6997], [9820, 1612], [659, 9975], [2554, 3960], [3123, 1685], [9557, 4127], [3336, 3670], [7393, 4672], [2434, 7024], [7583, 9966], [2892, 238], [364, 703], [5252, 5897], [5802, 7011], [92, 5829], [8307, 6918], [1470, 6504], [3104, 2434], [6496, 6616], [9351, 9854], [3935, 1416], [3522, 7831], [9261, 8184], [8068, 718], [973, 7022], [1986, 2789], [1771, 537], [8773, 6114], [8129, 544], [1399, 4041], [625, 3930], [6700, 1797], [461, 3296], [9722, 7749], [5299, 2019], [8437, 7121], [7563, 9322], [8413, 5742], [2143, 7902], [6512, 289], [755, 5781], [3604, 1773], [1788, 5243], [268, 7579], [2531, 608], [652, 3717], [4055, 3622], [8333, 7371], [6388, 1807], [6830, 1688], [1834, 1369], [9558, 2028], [2763, 7643], [4617, 1536], [9524, 1337], [7912, 5098], [2932, 5105], [9691, 5163], [3427, 8051], [275, 2747], [6598, 2325], [2217, 659], [6690, 1051], [7727, 3144], [3445, 1119], [6948, 1997], [264, 6207], [7395, 4715], [9325, 3854], [745, 7214], [6160, 3541], [8194, 5235], [1293, 1457], [8967, 8374], [3373, 5487], [8112, 4999], [485, 8575], [1559, 2506], [2030, 9169], [6962, 7722], [3401, 9726], [5039, 1979], [3830, 4753], [4534, 2569], [9829, 9038], [9607, 3368], [357, 7068], [3755, 5903], [1048, 7070], [7594, 1406], [8003, 1404], [1018, 7535], [6857, 2443], [9545, 1984], [4430, 4001], [9375, 25], [5481, 444], [5181, 9349], [8834, 7183], [6025, 4952], [2200, 1772], [8430, 193], [1781, 4638], [6331, 6690], [841, 7501], [2419, 427], [2229, 3506], [6295, 1], [5177, 7404], [7966, 9352], [2631, 4095], [68, 876], [3247, 850], [2954, 5311], [4432, 5343], [502, 7623], [3696, 9567], [7799, 5287], [1072, 5899], [3992, 5094], [697, 7189], [6984, 3849], [3600, 2106], [5366, 3995], [7111, 2217], [4759, 2714], [8509, 620], [8532, 3533], [6271, 577], [8072, 4768], [7456, 6295], [6441, 1813], [5932, 3095], [9024, 8156], [1034, 2475], [354, 5871], [2764, 3751], [2583, 5366], [5406, 9607], [1856, 6017], [7795, 6038], [4546, 9201], [9256, 1122], [3685, 8775], [6492, 1484], [3346, 9739], [6366, 1461], [4860, 7176], [3509, 6681], [3217, 7855], [1663, 2990], [6699, 8599], [5704, 5452], [4864, 3755], [5633, 6256], [2261, 5794], [4557, 3464], [1990, 3409], [2502, 1417], [3231, 8972], [5861, 2738], [8136, 7428], [8229, 6535], [524, 9820], [1381, 6752], [7814, 8773], [9212, 4443], [730, 4964], [6720, 9534], [7326, 1659], [6732, 2616], [3891, 6149], [1098, 14], [1702, 8524], [4584, 4064], [7856, 4567], [670, 4942], [3885, 6851], [7685, 5640], [825, 4205], [8144, 7179], [1374, 446], [5856, 4196], [7247, 5582], [8731, 6514], [2948, 3135], [8190, 9133], [5259, 6470], [8040, 3073], [8202, 4804], [7050, 4880], [2014, 697], [5112, 148], [768, 9709], [6091, 9561], [486, 5839], [2175, 7515], [2827, 2200], [9006, 8742], [1902, 474], [5776, 1708], [1269, 4641], [2628, 3056], [3239, 6653], [47, 5872], [1124, 8583], [9868, 5970], [8200, 1398], [7073, 8291], [4833, 1254], [9669, 3521], [3672, 612], [5300, 1837], [127, 6753], [7098, 2047], [9960, 3940], [8563, 8010], [4242, 3509], [5983, 3217], [3837, 7593], [4007, 3934], [1065, 3957], [4358, 7042], [4239, 5184], [7123, 3447], [4097, 2534], [3037, 4007], [3688, 7431], [1599, 92], [3532, 9484], [2004, 1494], [7573, 410], [2984, 1470], [2091, 4833], [3272, 3136], [6444, 9556], [7206, 305], [1816, 7274], [4582, 6994], [3374, 5932], [4060, 1098], [2652, 665], [4500, 5159], [6185, 606], [8808, 8126], [6048, 6744], [4722, 493], [383, 3005], [1972, 490], [3712, 4582], [7243, 4107], [9370, 8865], [4518, 6189], [9171, 4584], [9047, 8264], [6254, 2766], [8821, 9030], [9593, 2077], [7018, 5694], [9689, 5704], [3050, 5637], [6031, 2189], [9200, 4561], [6990, 5861], [6008, 4000], [579, 8068], [9909, 2583], [1774, 6981], [6358, 9179], [2633, 2914], [7210, 4388], [690, 9913], [2856, 6441], [1654, 3603], [2235, 1302], [3665, 2427], [3342, 1982], [7490, 7191], [244, 1640], [8623, 730], [4901, 7247], [4096, 8243], [9926, 299], [8787, 8809], [1669, 416], [6861, 1959], [2033, 3739], [21, 6699], [6505, 7349], [816, 2934], [205, 2277], [3035, 9691], [13, 4861], [3245, 8629], [9715, 3223], [9391, 3008], [550, 7202], [9195, 6185], [2596, 6002], [760, 8897], [5590, 8796], [9119, 3254], [2711, 7510], [8061, 7308], [50, 3665], [8829, 8276], [6549, 3053], [7964, 7912], [7995, 6224], [2023, 5613], [7838, 4937], [7002, 4335], [5674, 7788], [6333, 5025], [8154, 5633], [320, 6748], [9108, 2244], [4703, 255], [5250, 7883], [473, 1426], [7256, 9751], [8519, 8820], [7774, 8746], [3914, 4034], [9610, 7201], [7529, 2151], [8738, 1581], [147, 5616], [6710, 581], [9899, 1741], [9995, 2978], [6893, 7393], [3208, 2694], [3649, 9195], [6338, 1419], [9150, 4243], [34, 5420], [8471, 2628], [1111, 9024], [9292, 1463], [8498, 9537], [3429, 1940], [8810, 6962], [6452, 6395], [5577, 580], [8205, 4211], [8668, 954], [2153, 3247], [4112, 7383], [2264, 9870], [1151, 7881], [2359, 8270], [4233, 1106], [2459, 5682], [3978, 456], [2241, 6361], [7726, 4427], [6057, 486], [7890, 4788], [7227, 2071], [308, 1479], [7367, 2004], [8327, 6008], [7671, 8006], [9092, 6331], [2285, 973], [1646, 6980], [5440, 2241], [2735, 8144], [327, 2887], [9505, 5856], [9112, 6659], [9046, 5147], [9743, 7085], [5319, 3050], [5557, 7403], [2895, 1387], [2680, 7580], [6933, 4362], [4124, 436], [4499, 5614], [4900, 6481], [7560, 8181], [1980, 2769], [4684, 9930], [9448, 812], [804, 3037], [2548, 4926], [6181, 8787], [5879, 579], [2373, 6367], [9969, 7844], [8758, 4111], [6193, 2954], [4831, 6715], [8305, 2631], [6516, 711], [6143, 6271], [5544, 7073], [959, 7816], [2559, 6057], [5811, 2932], [2087, 2756], [4283, 2033], [1678, 2453], [3187, 334], [7328, 7555], [932, 3659], [6979, 6463], [561, 4283], [3632, 9292], [3902, 1774], [8751, 6012], [8497, 1381], [9491, 4908], [7562, 1856], [8549, 2946], [9383, 4703], [4062, 8821], [9018, 2842], [5638, 3763], [3042, 6924], [3105, 5406], [5074, 3885], [9872, 8891], [7950, 9522], [1604, 6394], [6740, 6316], [7614, 50], [3560, 9652], [4282, 9307], [1225, 6082], [297, 6308], [8417, 287], [7783, 3766], [9961, 6254], [2232, 2230], [328, 7726], [4037, 2371], [9027, 4624], [3471, 6971], [2581, 4233], [8440, 877], [4857, 6260], [4941, 9718], [9129, 8887], [3789, 7950], [6552, 6940], [789, 8661], [4042, 407], [166, 2264], [9575, 5519], [4514, 47], [8527, 5377], [8654, 5196], [4435, 9634], [8485, 5259], [8018, 510], [475, 7395], [5615, 2829], [4303, 7098], [3164, 4042], [5825, 6259], [9857, 7409], [9021, 2991], [4493, 8753], [9056, 2102], [7629, 9119], [4268, 1252], [3290, 6333], [9626, 328], [6023, 213], [2252, 561], [988, 6230], [6298, 6501], [5495, 425], [9765, 6297], [5814, 5938], [6592, 1268], [9965, 2234], [7730, 8532], [1808, 8385], [6623, 3353], [2993, 7111], [7471, 3918], [1943, 2765], [8303, 3604], [6278, 2030], [4374, 5464], [2982, 3741], [5054, 4424], [1867, 7971], [7486, 4901], [4046, 9616], [8002, 4037], [1553, 8446], [1271, 5478], [6585, 4161], [1935, 9324], [6341, 449], [4130, 1151], [5082, 2045], [9360, 3704], [2271, 8967], [6360, 5805], [3706, 791], [6348, 9094], [6666, 4118], [4177, 7529], [2400, 2806], [5784, 1845], [2900, 6034], [3423, 4050], [1201, 4237], [2396, 8327], [3554, 8003], [2270, 4377], [4608, 2518], [6761, 4546], [3221, 4574], [1652, 9788], [8973, 9874], [2198, 2984], [3907, 1682], [7155, 8140], [9093, 3517], [6996, 4544], [2638, 6623], [3941, 6193], [6839, 3371], [2109, 5289], [6621, 7890], [2718, 9027], [7978, 9698], [2367, 6979], [2421, 3386], [3989, 7243], [6802, 1481], [1363, 1275], [2704, 4518], [1245, 4130], [8017, 8379], [6064, 3340], [9625, 8257], [9419, 9872], [8590, 8847], [5128, 5446], [1676, 3164], [4905, 8393], [5086, 9580], [3548, 115], [8708, 8190], [2393, 8440], [8657, 2111], [3307, 8785], [4018, 7547], [379, 2232], [683, 9047], [6841, 6720], [3662, 7978], [1910, 9829], [1110, 8808], [7653, 8638], [2416, 1198], [8227, 3753], [6384, 9650], [576, 9351], [3534, 4724], [8123, 7365], [6944, 9868], [9918, 2892], [3722, 9593], [19, 3336], [1619, 3954], [7035, 7526], [6781, 897], [4094, 3290], [8628, 8200], [6925, 683], [8423, 4140], [3726, 4177], [6157, 354], [2465, 1346], [5618, 681], [6676, 9021], [7134, 4221], [5010, 7004], [4917, 1269], [3924, 3771], [512, 8205], [3860, 20], [4586, 5054], [968, 327], [945, 1245], [8492, 8112], [7252, 89], [2960, 7234], [508, 5775], [7058, 5814], [3249, 6761], [5662, 3719], [8855, 8591], [4767, 5051], [9889, 6950], [1420, 3838], [9547, 8136], [885, 3466], [8225, 4905], [4084, 6598], [4551, 9442], [2452, 2844], [9746, 3221], [3810, 4617], [904, 502], [2070, 3054], [1141, 8227], [415, 2977], [9401, 5348], [2022, 2053], [6862, 6740], [1192, 36], [2156, 350], [1077, 9339], [6301, 4028], [3677, 4496], [404, 3515], [3630, 2063], [2870, 3028], [7333, 117], [1204, 6061], [489, 1729], [1803, 1867], [1952, 8519], [3983, 6893], [6600, 4084], [2330, 1726], [1441, 9171], [2996, 7333], [1565, 2261], [960, 7329], [6140, 9091], [1054, 1077], [8937, 3529], [8966, 2548], [1942, 7817], [8402, 2465], [5647, 5784], [369, 6505], [3482, 8779], [56, 9391], [4824, 3251], [9478, 3915], [1093, 5773], [8857, 7783], [7538, 4759], [9102, 8423], [2809, 8496], [9940, 8299], [6020, 9545], [3673, 8834], [6362, 9157], [5986, 4124], [6573, 8857], [413, 3722], [3278, 5662], [7442, 3534], [2563, 7560], [8672, 3872], [5265, 7911], [8666, 1663], [600, 4094], [3905, 9092], [4279, 2195], [5530, 3992], [2265, 3401], [8415, 8590], [7886, 6492], [4621, 8953], [3455, 5535], [5003, 4160], [4105, 7216], [2695, 229], [2326, 9618], [7554, 3560], [5659, 6013], [7603, 1170], [8216, 5121], [923, 904], [310, 2313], [2329, 2181], [5268, 6091], [2980, 3902], [5750, 7562], [3089, 2809], [5285, 1559], [6532, 9125], [6959, 2474], [9299, 5609], [2958, 2419], [3999, 726], [3536, 8668], [936, 5618], [5711, 6485], [4872, 9018], [4057, 276], [7255, 5299], [3783, 5674], [2383, 2596], [627, 7486], [9644, 8262], [3389, 4029], [4343, 7316], [9265, 5973], [6145, 1763], [2079, 1194], [3137, 1054], [4858, 5188], [6565, 6984], [5605, 5112], [9274, 5319], [530, 6025], [9406, 4076], [9497, 3342], [6482, 5057], [1672, 3147], [987, 1986], [5467, 9148], [9963, 4902], [9861, 3001], [3639, 2735], [3898, 2235], [9891, 5398], [3700, 1942], [6545, 988], [1683, 3684], [7766, 2143], [1115, 5706], [196, 3698], [5240, 4493], [2000, 4557], [7304, 8225], [2276, 8296], [2549, 3694], [4073, 8178], [4755, 2960], [4401, 4556], [8552, 5825], [5621, 2554], [856, 1206], [7801, 7132], [2607, 7864], [9373, 7678], [2684, 4679], [5639, 7327], [2282, 5378], [4422, 2764], [343, 5481], [5832, 8882], [8749, 9697], [3458, 1803], [8558, 2054], [5274, 9279], [7015, 4514], [1439, 9940], [3524, 1111], [8056, 461]], [[6233, 768], [9817, 5793], [7620, 7155], [5878, 7210], [9094, 2680], [4938, 8333], [6438, 4757], [7640, 3810], [215, 7799], [3238, 6621], [6523, 6233], [1471, 5996], [5431, 2598], [638, 2778], [95, 6358], [175, 856], [6650, 4919], [424, 6565], [661, 8123], [8222, 1652], [7371, 2415], [783, 2559], [9300, 6360], [2478, 578], [433, 968], [7396, 5590], [3576, 6444], [1152, 7554], [667, 3145], [7184, 734], [9122, 4394], [9531, 379], [4079, 3458], [233, 3725], [9283, 3532], [4484, 8078], [8459, 1520], [1957, 9046], [9374, 1480], [6097, 3964], [7140, 7075], [6015, 64], [5047, 1943], [2637, 5274], [4231, 7433], [9590, 6438], [8416, 9112], [4623, 7020], [5874, 6362], [7203, 2225], [6389, 6781], [5022, 2638], [426, 6947], [5642, 5149], [1817, 3700], [6777, 7839], [9521, 8714], [9079, 848], [3279, 200], [116, 6824], [3510, 2581], [2710, 4422], [7022, 9778], [8289, 7563], [9627, 5983], [3995, 3427], [570, 2870], [4671, 9909], [7011, 205], [5085, 9499], [2300, 7123], [3209, 8829], [8409, 8751], [8059, 1733], [2188, 3598], [3053, 3346], [2160, 9274], [7303, 5111], [453, 369], [3608, 8958], [5340, 1392], [573, 8941], [9001, 7133], [5617, 598], [2112, 415], [4129, 8701], [188, 2882], [3550, 1830], [6250, 3053], [8182, 5146], [3731, 2666], [6495, 9150], [8177, 1925], [4904, 1834], [2857, 5703], [4174, 5082], [8926, 9374], [9435, 8216], [863, 1599], [7347, 849], [9724, 3966], [5637, 7814], [7952, 7462], [7357, 58], [4953, 320], [8232, 67], [2828, 2447], [249, 13], [2129, 8437], [3659, 8002], [3377, 424], [3236, 2087], [9349, 852], [390, 755], [4995, 3632], [2146, 2850], [1540, 7255], [370, 7203], [654, 9206], [106, 6250], [5445, 6943], [2104, 2900], [6616, 1072], [558, 8354], [2986, 7867], [5028, 1702], [2836, 3208], [4620, 9861], [1664, 1788], [1401, 9008], [1040, 2458], [7722, 640], [8949, 6388], [9760, 4900], [9161, 4046], [367, 4632], [3583, 3455], [8001, 4589], [3352, 7442], [7382, 8289], [7151, 9168], [1202, 49], [1568, 573], [6292, 5758], [9830, 3924], [8207, 9743], [3991, 7538], [9030, 7766], [5120, 4060], [1215, 4714], [1021, 7169], [8927, 3981], [1848, 9960], [133, 3554], [449, 8738], [9019, 3377], [5991, 5659], [2281, 8657], [1369, 2162], [4674, 1563], [521, 5980], [3851, 3242], [3190, 9116], [3271, 8409], [1525, 2089], [3636, 2383], [2021, 8154], [9050, 4500], [1425, 7583], [588, 3672], [8690, 1369], [4489, 3639], [7956, 5993], [4193, 9383], [101, 6298], [7670, 4318], [8475, 6839], [9107, 5617], [8851, 2367], [3263, 6841], [5189, 8571], [935, 1619], [7504, 1771], [3620, 2395], [6973, 7199], [3826, 8056], [7342, 8749], [5574, 3576], [9846, 2396], [6437, 2969], [9002, 1021], [8161, 1676], [7743, 159], [3975, 9521], [9479, 3991], [4934, 8688], [4167, 2393], [3136, 118], [3328, 9524], [5797, 4879], [6197, 2226], [7557, 6393], [7851, 9019], [846, 7093], [7081, 3238], [8652, 7204], [5373, 4934], [7954, 1335], [6480, 3121], [8772, 6587], [1193, 6276], [2116, 2175], [2669, 9329], [2696, 6468], [3782, 9129], [443, 7614], [4179, 1018], [3556, 4473], [1953, 2146], [3461, 8949], [8372, 8518], [7812, 5621], [9364, 147], [5777, 3999], [607, 9006], [7789, 7932], [2987, 8192], [7074, 5134], [9500, 6802], [1857, 7670], [4758, 3662], [8047, 760], [4825, 5088], [345, 3236], [6391, 4858], [6052, 8735], [1583, 8884], [1745, 8783], [2972, 4864], [7543, 1935], [6615, 4079], [2494, 8194], [7682, 2295], [3481, 5530], [2135, 8022], [6820, 948], [5581, 343], [7687, 825], [9456, 3423], [2142, 7879], [3046, 3035], [2851, 4430], [9687, 1022], [4278, 449], [6934, 1237], [9815, 1864], [7375, 1692], [1148, 2112], [5151, 7736], [2670, 1819], [8121, 347], [4973, 2153], [7374, 9610], [6941, 6052], [5156, 9864], [944, 6219], [8734, 3550], [2683, 5475], [8281, 8767], [2517, 4507], [4918, 268], [8300, 2109], [6681, 2730], [4273, 6857], [873, 5729], [4840, 2704], [2801, 3789], [3094, 9448], [1784, 5750], [5725, 2652], [3055, 1664], [8457, 8061], [7878, 4821], [9619, 4345], [1089, 9918], [8482, 7822], [6372, 5003], [2035, 5039], [8637, 8715], [511, 4052], [4983, 3952]], [[2016, 2643], [1846, 737], [9532, 4378], [2795, 8734], [3619, 6862], [1483, 1721], [506, 5074], [3194, 2091], [7241, 1972], [3867, 2000], [5255, 9760], [6874, 4062], [75, 783], [3657, 6145], [2753, 6830], [1051, 9889], [422, 2160], [3252, 1743], [4294, 518], [8183, 9644], [5432, 7996], [7843, 9219], [949, 5231], [1671, 5298], [5122, 9390], [1484, 5047], [3698, 3556], [459, 367], [7080, 6523], [3449, 9833], [66, 4242], [6921, 4973], [5697, 4293], [7444, 4179], [3761, 9406], [5877, 9687], [3056, 3826], [8062, 1093], [2145, 2851], [5559, 5495], [606, 4974], [6134, 1193], [1479, 1976], [3889, 8558], [2603, 8303], [5629, 6933], [3980, 373], [3832, 3620], [5626, 1040], [3478, 552], [5052, 3136], [3557, 4294], [4984, 2495], [5081, 5919], [6910, 2079], [3651, 3548], [65, 7720], [17, 4922], [1336, 2763], [4874, 6921], [2668, 6516], [2599, 7685], [7615, 6244], [2086, 9079], [1935, 6143], [9600, 521], [9878, 307], [8000, 5156], [5033, 9605], [5344, 5122], [7842, 6934], [5145, 5442], [7021, 5811], [3990, 383], [6835, 8114], [3141, 2794], [7711, 8095], [6682, 1683], [6489, 8040], [4624, 8059], [1119, 1374], [2028, 5028], [4166, 8966], [943, 3699], [6721, 9293], [2593, 3536], [6133, 2974], [3152, 3522], [5736, 9122], [9111, 1215], [3195, 1195], [6537, 7801], [9586, 6097], [7654, 8926], [8093, 404], [491, 9164], [6588, 3104], [132, 1535], [1043, 3600], [8516, 949], [3683, 2531], [3153, 4904], [1393, 6579], [412, 21], [3229, 3832], [9207, 4969], [8253, 7603], [9915, 4112], [107, 5697], [4675, 1467], [7075, 3875], [1920, 244], [3658, 8731], [448, 891], [8667, 3898], [4839, 3611], [9031, 9590], [7496, 6348], [917, 3373], [8057, 6292], [7258, 219], [6490, 3891], [9759, 1884], [1500, 5432], [1468, 6341], [5716, 56]], [[1394, 6996], [3293, 6944], [5080, 7326], [736, 2986], [1917, 3229], [207, 7838], [9165, 4675], [3652, 6152], [9701, 3677], [8352, 7713], [7340, 370], [3156, 6910], [1437, 6174], [323, 1950], [791, 5300], [9433, 422], [3798, 4246], [1971, 871], [3129, 166], [1236, 7964], [4265, 7682], [5735, 7371], [6448, 1080], [9916, 3913], [4776, 4608], [9977, 7532], [6832, 1124], [5132, 3726], [9777, 862], [3961, 1621], [2015, 8758], [6198, 965], [1275, 4447], [7900, 7340], [890, 4872], [6582, 633], [1485, 4279], [2653, 1236], [5021, 7878], [5817, 5127], [950, 9491], [7821, 1857], [5223, 5749]], [[324, 5021], [6199, 2252], [3962, 7444], [836, 6020], [3394, 3307], [4980, 6888], [1538, 1048], [1586, 5736], [8351, 9817], [4876, 2959], [3130, 8121]], [[2353, 1051]]], "snapshots_every_k": 1, "snapshots": ["1011122222022102211202112022222222121211202112121012122221212112011212112212011112121221202212112221212122111211202010011112210112221122212122122212012202211110121222120222022011111121211121112022121112212121222110212210112211222011212221011222121112212110112122121222122111122112212211121011222221202221102012122202111221211221122222122222122121201102112112122112122121021011122122121111110121212221111122202202112101111202101022202122011121210201201202120112121122112212220222222211122112021012221121211112121121222202212212112112211010112112121221120211122112111111112110121001002221112111022121012110020102220112221202122212222210202221012222222222121221121211101211211122222220112122212212111211111002222220222101012222110112111102102122121122111122212212122222222111112221222121211221202112211221201212222002012121222112212221122012222122221100020222122222111221111021210011112102122210222220102202122222221222121122121111222221022122221111220221220202011222102122222121102112111121102122212121222221112222111221211101112122211121112112212222121012122121222212111022122112120222110221111101012022221122221121212110220121212111111122221122211112120122121112220112221201201212222211122101220011212111210222222121211212212122111122212011222112112211010221111202222201211120111222221022021111211121220112211221211122222222222211121220201111121202211122112211122122222022211222122121112021110220110221220201211221220021122221122122211112121212211201222212101110202221121022221220101202111122110121111102211222121222111201111122111212120120212221111110212222221010112012211221111020121122222122122212222210102210022221212011222112111112221121111021101122122220111221222121211122211102102102210122221212122222021222222222201122012121022121211010121221111122222111001211122100211111121121121102121110110221220112012022111011211222220112110020222112221011112211212111021212222212112111120012221122112222121222222121121221212111102211221222111102121111200120222110222112212211121102202121021111211111101221221221211112111220222212220212121211222221101020112002222211122212212022111021111222221012111122221102110212102222122211112222212211121221110212211220212010212101121221122112112220111011202111121212212221112111102221222211100221012102211212110021122212220112121122012121221120121221122211201110222221221122221110122211111120122121111111121121222012222112111211111112110021211211011211221212121012201222120222221210121212112210221111212121111212202222101121021122121121122200222211111222112121202212221112011222211212011222212222121102222122111222112222211212100111112022122121111212221112111211120121221012112221110122211111121212121111121212211212221111201122222222111111111122122112211121210212021221210122112001121121111221210121121202212111102212202202212211101120221122120222222211102111212212121111012122222122221211112122122221212021010110221102221112222222222112112222211212111201222121222221112121222222012111121121221111120112122212220112220212221012211121121221022101212121221100212212111002202101212112111111122211012122121211221222122211200102222022221111212022211111111121121222101211121211222211111111120021021112211210021111220120222211221122122211221221112221112112110211211211222121122212112221121211112122001212211211222102212121201212221111112022122121202122221211121121212201222222111212221111221122022011211112221211021221211222121211110112222201202112121112222202121122111121211221112022111222212211211212122222221111221210112221121121022102022121222211222112211221112212121122122001211101200021202120110212101212221011111122122121021121111111212122221211122112112111111202011220122112201212021221011101121212221221221211112121121112201121121112021122212111210121222122011200211102122222121110101121122122212221122010222212122020221111221022022120220222212211222111222211220211221222221222221112121211211212111112012221111112121201212212112211112010102201022221122121221121120212012112112110210212212211221221021112012111110111010220120112020211122112121210212222211012202221001222212022221212121211111200222202121120212121210101112122121201221121121202212122121222222210112211222120222011221212211121202112222011110111011222212212222200221201221111211121222222111102012202221011102021102221122222001221122101112012112011012222221220221122212212221211221122112122112220122221111211211111122212121111112212112210221102212011212211222111220110220222212110022212212202211102111102122222211112222122112121002121212121122221221011111112222201210211122120112222211121111211122202121120222022211212121211112120110111212212111201121112110101211022111211112101122221212121101212112221221202221212212112222212021122120111210122111222212111121022211122111112012211201111202111222211222112212122112121021111112101222210221122122111122112222002201121122212212010122110111112120222222111211122011111121111111110112202221121211221122222211221221112212022122112212121211001222211010122221212220122110122222112221101110021222212201221020212222100221111112201111021120112221221122112222202122111112111111222221211220120112110212222012202211120201212122112221112222110211221111211120211220111020122201122201211221020211210211211021122221112002021222121101220122222112111112222220222011021110111121122220122211112211112221111202220111211201202221212121112121221221121112122221112212021201112220221121211221010111212111212210111212211221210122202122211220111112212212212112002121222222222121122111112112121112122121101222222211222211122121221021111020122101112122121122212120112121210221121121221222211111212220221201201211121211110122221221211122110111121222222220212212112111201111111211220112212101210102110010112212111221211121220110021221212201112222122122211111211211111120222022211220212222110210122121122122222211221102112111022210122112012222121021122111221221210221112121122221220011211222110121112012121211212121110112122012022121211222022112122121111212110012112221122221122211111102021102122221111110212122111111220211211022222112221121201212221111222210210122111011122101120101121111102221112210012201212121212012121022102222222221012111121222022122211022110221011022222111211111211212221112222112122222111121222122112211212212122221201122122122222221012110202012211212210111201122012121120121121212110201101121102212221112112011111211121021002222212121211220121121122011111201212121211111101112220211112211112112121221121021111122112211111211012212011112101111122211201221210001112011111212111121111111121112221212220122112112111212212111112221201112102211121111012202112212112211110210211121212012111112211121112120012111212121121221211122122111211222212222110221211200101212211212111121212202212012222120011112222121122222221112211202222201111112121111112122220112122102111222221122222211212221021121111112012111222112211110102122100120222121221122212112221120122122111112011222222122211112221122112102101111122122112121211201021102211212112122221121111212122222221110122121222111101122111211010120221220211111121122111021021102101221112121212122222121211112100111211121211011012112101111110011201210102002122212221221121211111112211111211212202220101122011021122202122211222121211110121222212111111102121022222001222212111112221212112222211211211101111120210122012212120101222201200012122111201212222122211212210022112121211012202122112112210111212211201221122111222222212202212111221110222211102121111222020221211121121211211211220222121221200122220112211220120221221122121121212100102101211112121112111110110201221121121222121212222122211011211111211011211220112121120222211222011222221211110122111120121121101102221211211201221121021122122112222111221222002121122112120122111221211220211112222112020211212021011211121121211221112122121111112222122112122012121122122112222221122111122222210111122020201221112110121121212111212112112121211112212112112212112021211101121111102122121210112212121002212012101122022112120112202211112212012212122022010211111121020201212221201122211020222111220212111102111121122110222111121112122212112121221222112111120222122122221222212221121011211110202210101011221200122221111211211221211221211102012111121112221212211222202222222221222012022122222200211222121211111212201121111221222020212111102221202002122122022221222201221110112221202122221121221210121111212222212211212122112221221102222211211222011221201222202012201220122111221202222121212212121221210222222112221221122021112122110112211211201111122122112011221021121221110121122212021112112212212122121112211212111012110111211102111011222221122122221111111121111212122122121111212120221202212111211222212011122011211112212121222221121112212212121121212211110112002211200222111202101111022222021211111112222211212112022112221022222111222221212211120112212211122122211122212220121111111221011220121211120111221111222112121202211210111022121212222222222222011111120112012202121212221210201011121112022122111120211011122102121122212122210220120212111210210111122222211222201000022202212201112110111011122022122111111221112211121211021211111211011220112112122212201221112022222222211112211211221212001111122101112112212110211012200122221220212121121122111121111222222212112222211121022011012112111102120211202222121201112111011222122201211021221211012212201210021210212212112212211011112222120111202102121202210112222111111221222122211211121221221201221222121120110121120211212212221221121122112222012211122111022121122201112212110212111111012011121121221122112121222111022121111120121111111121122111122122222121212222211121212112111021111211111221221221221112222111111221211021101212211121021122122110222222221110211112122210200212221121211121122011220222110221221121211012222122212212211122112102122122111010222221222111111011122101121112101012222220211212121111210012112222221012110221022121211222022221212011211210122211112221022120122121022212121120111222222221212012221122102222221111112212211222121121211221211121112000222121211112121211102121121222222120212021121121122112121211222121201221121222012212111120121220111022222121111122212100111112121110121222110221022212112222110212211", "1211122222122022211010112222222222022211202112111022122201012112011002112212111112121221212222112221212122111211222212011112212012221122212122122210112212211110121222020222122211111121211121112222021102212021222112212210112211222201212221211222021112212111112122120222022111101112212211111111222220222221122002022222111201211222222222222222122021201112111110122112022120121011122022101111112121212221111102222222102011111212121222202122211121212211221202121112111122112212201022222211101110121212221121111112022101222202212202112102211211112112221221020211122111111111112112120202212221112111222121010111121122221112221222222010222210212221012222222222021221111211111211011122222221122122210212111111111122222222222101212222111102211102102122121022111122202212022222220111112221222121211220212112211221220212222222010121222110112221122012222022221100120222022222010220111001211111112100122210222221122202222222221222121122101111222201020122221110220221222202000222102102222221102112111120222122212121222221112222111221011101110122211101112112212222021212222121222210111022022111120222111221111001011122221112220221202112222101212111111122221022211112112122121112220112222221201112222211122101021011112011011222222121211202212022111122212011022111112211111221111202222222201121111222221022221110211121222112211221211122222222222211121220211111121222211122112211122022222122210222122221112121110220111021221211211221222122022221222122211112101012211221222212111112222220122122221221011222111122111121111102211222121222111201111122111212102120212221111111202222211010102012211221111021121122222022122210222201102211222221202011222112111112221111111001111102022222111121222021011102011110112122210122221212022222221222222222201122212221102120211210121221111122222111011211122021111111101121120122121111110222222202112222011011211222220112011222222111221211112221212111021112222212112111120012221122112222120222222101121221212111102211221220111122201111200101222112222112212211021102210111221111011111120201222221211112011222220012221222111211222221111120112222222211112202210122111120111222201010111122221122111210112222122211112222212211121221112112211222202000212101121221122110112221111011212111111202112221112111102222222211100220211111211011112021122202220112111110012100221101121201102211201110222221221122221111022211111122022001111111121121222012222112111011111110111220211211011011221212101002200222122222221210021110112212221111112121111112202222021121001122111121122222222011111222112121202212220112211222211112111222212222101112222122111222202222111210120011112222122121111011221112111211220121221010112221111122211111122211101111021210011212220111221122222202111111111122022102211121211012021221010122102011120121111221210121111222210111122212212222212200222122221122120222222211112111012212121111112222222122221211112021102221212021111110220102220112222222222102112222211202111101222120222201112101222222212111121121221111222112122212221102220222220022211121101221022111010111221122202202111122222111212112111111122211112122101111220222122220212112222022221111210122211111111121101222121211121200222211111111121020021112211211201111222022222211221122122221221221112221112112110011211211222121122212012221121111122222111210211211202102202120221222201111112022122101202102221211121111212221222222111012221111221122222011211112222211122221011222121211110112222211222002121112222222101122111121221221112222111222212210211010102222221111221011112221101101022112222120222211222102211221112212121122122011221101220221210101110112022202221111111102122101221111111111212122221211122112112111111202010221122112201212221221111101120202221220221211112021121112221101111112120022202111212021022122110210011112022222021111111111100122212221122212222212122122211111221122222122220222212210222110222211221211221222220222221112121211211202111110112221111111121211212202112201112020102201222222122120221121020222002012112002212212210211222221101112202111111111011222122112020211122112120210202222201122212220121222222022221212022211111222222212111122112101211101102022020221221121101212212122221222222222002211222022222200221222211111212122222011111111011222212212222211221211221111211221222222111102012222221111122021112221122221001221122122112110110111012222221220221122212202221211221022022122112220122221111011211111122212021111112212112212221122202011212211222101221112222222210112022212212212211102111100122222211112222122110111222101012021122222221011111112222211211211122120112222211121111211112212100120222022211222122211112121111111012212111211221110110122211222111111112111122221111101101212112221221202220212212111222012221122120111212121111222212111121022211122111112112211211111002111222211222112222122112121011111110111222210221122122111122112222110201221122210112010122110111112121222222111211122111111121111111110110222221022211221122222211222221110010122022112210121211021222211010022221212011121111122222110201101111121222212221220220212222121221111112211111021120112221221122112222202122211102111110222221211222121112110212222002202211120221222112112221112222111011220110211020211221111220122211122202211221021211210011211021122221112022021222121111221122222112111102220222222211121111111121122220022211112211112221111202221111201211202220202121111121220220121110122221112202222221112220101121211221111111211111212210111212211221212122222122211221111112222212212112222121222222222121122111112111121112122121111222222211222211122020221221111220122101112222021122210121111121211221121101221222211111212220221221211211121011112122221220211122110111021222222222212212110111211111111011220112212101011122112202122202111221211111221002121221012211112222022222211111211111111122222122211222212222110111122101122122222211221102112111222211122112002222120021122111221221111021111122122221220211211220111121110011121211212111111110122212222121211222022111122111111212112212112201122221122211111110121122122221111111210122111111220111211222222112221122211212221111222211211122111011022001122101101111112221122211112211202101112202021222112222222220012111122222222022211222110221011122222111111111211212221112222111122222111121222122112211202202022211201122022022222221012110202012011222211111101122212121121121121212110221111121112212221112112011111211111221222222212121111220101121122011111201111021011111111112222111112211112112222221101001111120112211111010202210111112101111122210201021210111112011111212111121111111121112221212222122111110111212202111112221101110122211121111202222112211112011111011111121202110111112211121112020212111212101120220211122122111011222210222110221210202111012211110111121212202212212220110011112222121122222221112211222222221111110121111112022221112122101111222222022222211202221121122111112012110222112211111102222111120222111221122212112221122022122111112111222222022211112221122112122101111102122112101011201221112211202110022221121111212122222221110122111222111121122111211012121221221011111120122111121001100111221112101222122222111211112222012211120211210212110111111112011001010112212122212220221101111111110211111201212222222111112011121122222122211022122211110101222112111111122021022222100222212111112221212110222211211211101111122211122212212222101222201112010122011211112222122210212211122112121111222202022002112210111212211211221122111222222212222202111201111222211112121111220101221111121121211211221220222121221201102222112211220121220221122222121212111102121211112121112111111112201121121101222121212222022211011211111011011211221112221100222211222111222221111112022111121111111101122201211211211221120221121110112222111021222112101122112122022111221011222211110222112122211210221011211121111211221110122121111112222120112122212121102122112222221122111122222210111122021201101102110101101212111211112112121211112202112112012112021111102121111002102021211112212101112212012111122222112100112212211112212202212122222011211111121022211202222201122211122222111221112111112111121122110222111121112122011112121221222102011122222122222221222212221100011211020222212101111001220122221111211211220211221211122012011120112221112201222202222222220222212022122222200211221101211111202221101111222222221222111102220222022122122022221222212222111112222202022221220222212121111202222212221110122112222221112222211211222211222221222222112221220122111221222222221112202020221210222222112221211122101112122110112211211201111122122112011221221122221111121122222021112102212212122020102211222111110110111011202111111222221102122221111111101111212122122021111202121001202212111011222212021122111011111212121222221121102202212101121012211110112202211222222111112111111122222021211111112222211012110122112221222222111222221202201121112202111102122211122202220121111111221011220101211100111221111222112021202201212111222020222222022222222011111221112112202222212221012221011121111102122111121111011120102111122212122212222120202211212211111122222211222221000222212212211112110111011122022122111111221112211120211021211111211211220112112101212220221112022222222211112211211221210101111122122111111211112211012210122221010212121101122111121111222222212112222211121110211012110111120122011202222121211110111111222122221211120221211112212201210122212212222112212211211111222101111202112101202210112222111111221222122211211121221221001220222021120110021122211212212221101121102112222112211122111022222022201112212112212111111211111121120221122112021020111022101111120221111111101122011122122222101222222211121212112111221111011111221221221221112222111111021211121101202211101021122022110222222221112201112102211012212221111011121122200222222111221221101211112222122212222211122112102222022111211222221002111111111122121101112111212222222211212120111210212112222221002210221112121211222222221012111201211122211112221222100102121122212121122110222222221212012221122122222221111112212211222121121211121211121212002222121211112121211122101120220222222222121121121122112020211222101211221120222212210111122101222111022222221111122212100111110020102120222112221022212112222110002211", "1211122222122222211010112222222222022211202112111122122201112112211202112212111112121221212222102221202122011211222202211112212012221022212122122211112212211112121222020222122011111121211101112222021122212221222112202210112211222201202221211222021110212111112122120222222111101112212211111111222220222221122002022222111211211222222222222222122220211112111110122112022022021011122222101111110121212221111102222222102211111212220222202022211121202211211200121112111122112212201022222211101110121212221121111112022001222202202202112102211211112112221221020211120111111111110111120222212221110111222121110111121022221112221222222010222210212201112222222222020221111011111011011122222221122122210212111111111122222222222101212222111102211112102122121022111122222212222222221111112221222120211220212112211221220212222222010121222111112221122012222022220111122222222222000220111000211111112100122210222221122202222222221222121122101111222201000122221100221221222202000222102112222221102112111120222122212121222221112222111221111211110122211101112102212222021212222121222210111022222111120222111220111001011122221112220221202112222101212111111122221022211102110122121112220112222221201112222211122101001011112001011222222120211202212022111122212111022111112211111221111202222222201121111222221022221110211121222112211221211122222222222211121221211111121222211122112211122022222222210222122221112121111220111020221211211221222122022220222122211112101012211221222212111112222220122022221221211222111122111121111102211222121222111221111022111212102120012221111111202222211012102002211221111021101122222022122211222201102211222221222011222112111112221111111001111112022222111111222021011112011110112122212122221212222222221222222222201122212221112120211210101221111122222111011211122221111111101101122122121111110222222202112222001111211222221112211222222111220211112220212111221112222212112111120012221122112222120222222101121221212111112211221222111122211111200100222012222112212211021102210111221111011111120201222221211112011222200012221222111011222221111120112222222211112202210122111120111222211110111122221122011211111222022211112222202211101221110112111222222000210111121221122111112221111011012111111202112221112111102222222211122220211111211011112021122202220112111110012100221101121001102211201112222201221122221111022211111122022001111111121121222012222112111011111111111220211211011111221212111222200222122222221212021110112212221111112121111112222222021121101122111121122222220011111222112121002212220112211222211110111222212222101112222122111222202222111211120011112222122121111111221112111211222121221010112221111122211111122211101110221210011212222111221122222212100111111122222002211121211002021221110122002011120121111221211121111222210111122212212222212200222122221122122222222211112111012212101111112222222122221211112001102221012021111110222002220012222222222122112222211222111101222120222211112101222222212111121121221111222112122212221102220222220022211121121201022111010111001122202202111122222111212112111111122211112122111111220222022220222012222022221111210122211111111121101222021211121200222211111111121120021112211211001111222222222211221122122221221221112221112112110011011211222121122212202221121111122222111210211211102122202120221222201111102022122001202100221211121111212221222222111012221111221122222011011112222211122221111222021211110112222211222002111112222222101122111121221221112222111222212211211110102222221111221011112221111111002112222120222211222002211221112212121122122011220101220221210101110112222202221111111102222111021111111111212122222211122012112111111202210221122102201212221201111101120222220222221211112021121112201111111112122022202111212021022122110210111112022222021111111111110122202221122212222212122122211111221122222122220222212200222112222211221211221222222222221112121211011202111110112221111111101211212202112201112020102201222222122120221121020222002012112002212212211211222221101112202111111111111222122112222211122110120212202222201222202222121222222022221212022211111222222212111122112111211111102022220221221121101212222122221222222222002211222022222200221222211111212022222011111111011222212212222211221210221111011220222222111102002222221111122021112221122221001221122022112110110111012222221220221122212202221011220022022122112220122221111011211111122212221111112212112212221122202211212211222101221112222222210112022212212212211122111100122222211112222122111111222111012021122222221011111112222211211211122122112222211101111011112212101120222222211222122211112121111111012212111211221110110122211222111111112111122221111101111212112221221202220212212111220010221122121111212121111222212111121022211122111110110211211111002111222211222112222122112121111111110111222210221122122111122112222110220221122210112010122110111112121222222111211122111111121111111111110022221022211221022222211222221110210122222112210121211221222211010022221212111101111122222110011101111121222222220220220212222120221111112211111021100112221220122112222200122211122111110222221211220121110110212222022202211020221222112112221112222111011220112210022211221111220122211122222211221001211210011211221122221112122220222101111221122222112111102220222222201121111111121122220022211112211112221111202221111201211202220202121111121220220121111122221112202222221112220101121211221111111211111212210111212211220212122222122211221111112222212210112222121222222222121122111112111121112122121111222222211022211122020220221111220122101112222021122211121111121211221121101221222211111212220221221211211121111112122221220211122110111021222222222212210110111011111111111220112212101011122112202222222111221211111220002101221012211112222222222211111211111111122222122211222212222111111122101122122222211021112112111222211122112022222120221122111221221111001111122122221222211011220111121110011121211212111111110122212222121211222022111122111111212112210112001122221122211111110121122122221111111210122111111220111211222222112221122211212221111222211211122111111222001120111111111112221122211110211202101112202021222112222222220012211122222222022211222110221011122222111111111011212221112222111122222111121222122112211202202022211201122022022222221012110202012011222211111101102212121121121121212111221111121112222221112112011111111111221222222212121111222101121122011111001111121011111111112222111112211112112222221101001111120112211111112222210111110101111122210201101011111112011111212111121111111121112221212222101111111111212202111112221101111122211121110202222112211110011111011111121202110111112011121112020212111212101120220211122122111111222210222110221210212111012211110111121212202210012222110011112222121122222221112201222222221111110121111112022220112122101111222222022222211202221121122111112012110222112211111102222111120222111221122212112220122222122111112111222222222211112221122112022111111102122112111111201221112211222110022221121111212122222221110122111222111121122111211012121221221011111120022111101101110111221112101222122222111011112222012211120211210212110111111110011001012102212122212220221101111111110211111201212222222111110211121022222122211122122211110101222112111111122221022222120222210111112221202112222211211211111111122211122202212222101222221111110122211211112222122210212211122112121111222202022202112210111212211211221122111222222212222202111001111222211112121111220101221111121121011210221220222021221201102220110011220101220221122222021212111102121211112121112111111112211121121111222121212222022211111211111011011211221112221100222211222111022221111112022111121111111101122211211011211221122220121111112222111021222112111122112122022111221011222211111222110122211210221011211101111211221110122121111112222110112122212101102022112222221122111122222210111122020201101102110111101210111211112112121211112222112112012112021111102021111002112021211112210111112212112111122222112101112212211110212202212122222211211111120222211202222201122211122222111221112111112111121122111222111121112122011102020221222102011122222122222221222212221100011210220222212101111001222122221111211211220211221011122012211022112221112201222222222222220222212022122222200211221101211110222221101111222222221222111102222222022022122022221222202222011112222222222221220222202121111222222202221110120112222221112222211211222211222221222222112221220022111222222222221102202020221210222222112221211122111112122110112211211221111122122112011201221122221111121122222021112102212211122020002211222111110110111111202111111222221100102221111111101110212122022021111202121001202212111011222212221122111011111212121222221121102202212101121012211111112202211222222111112111111122222021211111112222211012110122112220222222111222220202221121112202111102122211122202221101111111221111220101211111111221111222112021012221212111222222222222022222222111110221112112222222212221012221011121111102122111121111011121102111122212122212222020202211212211111122222211222221200222212212211112110111011122022122111111001112211120211221211112211211221112112101212220221112022222222211112211211001211111111122122211111211110211012210122221110202121101122111121111222222212012222211121110011012110111100122111222222101211111111111222122221211122221211112202201211122212212222112212211211111222101111212112101202210112222111111221222122211211121221221001220222021120110221122211012212221101121100112222112211122111022222022211112212112212111111011111121120221022112021020111022111111120221111111101122011122122222101222222211121210112111221111111111220221221221112222111111001211121101202211101101122022110222222221122221112100211012212221111011121122200222222111221221101211112222122202222211122112102222222111211022221000111111111122121101112111212222222211212120111210212112222220002210221112121211222222221012111201011122211112221222110102121122212121022110222222221212112221122122222221111112212211222121101011121211121202002222121211110121211122101122222222222222121121121122112020211222101211221122222212211111122101222111022222221111122212100111111020102120222112221022212112222110002211", "1211122222122222201011112222222222022211202112111122122211112112200202112210111112121221212222102221202122001211222202211112212012220022212122122211112212211112121222020222122011111121211101112222021122212221222112202211112211222201202221211222221110212111112122120222222111101112212211111111222220222221122202022222111211211222222222222222122220211112111110122112022222021111122222111111110121212221111112222222002211111202220222202022211121202211011200121110111122112212201022222211101110101212221121111102022001222212222202112102211211112112221221022211120111111111110111120222212221110111222121110111120022221112221222222010222210212201112222222222020221111011111011011122222221122122210212111111111122222222222101212222111102211112122122121022111122222212222222221111112221222122211220212112211221220212222222010121222111112221122012222022220111122222222222000220111000211111112100122212222221122202222222221222101122101111222201000122221000221121222202000222102112222221102112111120222122212121222221112222111221111211110122211101112122202222021012222121222210111022222111120222111220111101011122221112220221202110222101212111111122221022211102110122121112220112222221201112222211122101011111112001011222222122211202212022111122212111022111112211111221111202222222201121111222221022221110211121222112211221211122222222222211121221011111121222211122112211122022222222212222122221112121111020111020221211211221222122022220222122211112101012211221222212111112222222022022221220211002111122111121110102211222121222111221111022111212112120012221111111202222211012102002211221111021101122222022122211222201102211222221222011222112111112221111111001111112022222111111222020011112011111112122212122221212222222221222222222221122212221112120211211101221111122222111011211122221111111101101122122121111110222222202112222001111211222221112211222222111020211112220212111221112222212112111121012221122112222120222222101121221210111112211221220111122211111200100222012222112212211221112210111221111011111120211222221211112010222200012220222111011222221111120112222222211112202210122111122111222011111111122221122011211111222022211112222202211101221110110111222222000211111121221122111112221111011012111111202112221112111102222222211122220211111211011112021122202220112111110012100221101121001102211201112222201221122221111022211111122022001111111121121222012222112111011111111111220211211011111221212111222200222122222221212021110112212221111112121111112222222021121101122111121122222220011111222112121012212220112211222211110111222212222111112222122111222202222111211120011112222122121111111221112111011222021201010112221111122211111122211101110221211011212222111221122222212000111111122222002211121211002021221110122002011120121111221211121111222210111122212202222212202222122221122122222222211112111102212101111112222222122221211112001102221012021111110222202220012222222222122112222211222111101222120222211112101222222212111121121221111222112122212221102220222220022211121121201122111010111001122202202111122222111212112111111122211112122111111220222022220222002222022221111210122211111111121101222021211121220222211111111121120021112211211101110222222222200221122122221221221112221112112110011011200222121122212202221121111122222111010211211102122202120220222201111102022122001202100221211121111212221222222111012221111221122222011011112222211122221111222021211110112222211222202111112222222101122111121221221112222111222212211211110102222221111221011102221111111002112222120222211022002211221112212121122122011220101220221211101110112222222221111111112222111101111111111212122222211122012112111111202211221122102211212221011111101120222220222221211112020121110001111111112122022202111202021022122110201111112022222021111111111110122202221122212222212122122211111201122222122220222212200222112222211221211221222222222221112121211111202211110112221111111101211212202112200112020122201222222122022221121220222002012112002212212211211222221101112202111111111111222122112222211122110120202202222200222202222121222222022221212022211111222222212111122112111211111102022222221221121101212222122221222222222002211222022222220221222211111212022222011111111011222212212222211221200221111011222222222111102002222221111122021112221122221001221122022112110111111012222221220221122212202221011220022022122112222222221111011211111122212221111112212112212221122202211212211222101221112222222210112222212212212211122111100122222211112222122111111222111012021122222221011111112222211211211122122112222211101111011112212101120222222211222122211112121111111012212111211221110110122211222111111112111122221111101111212112221221202220212212111220010021122121111212121111222212111121022211122111110110011211111002111222211222112222122112121111111110111222210221122122111122112222110220221122210112010122110111112121222222111211122111111121111111111110022221022211220022222211222221110210122222112210101211221222211010022221212111111111122222110011111111121222222220220220212222120221111112211111221111112221220022112222200122211122111110222221211220121111110202222022202211220220222112112221112222111111220102210022211221111220122211122222211221001111210011211221122221110122220222111111221122222112111102220222222201121111111121122220022211112211112221111222221111201211202220202101111121220220121111122221112202222221112221101121211221111111211111212210111212211220212022222122211221111112222212210112222121222222222121122111112111121112122121111222222211012211122022220221111220122101112222021122211121111121211221121111221222211111212220221221211211121111112122221220211122110111020222222222212210110111011111111111220112212101011122112202222222111021011111220002101221012211112222222222211111211111111122222122211222211222111111122101122022222211021112112110222211122112022222120221122111221221111001111122122221222211011220111121111011121211212111111110122212222121211222022111122111111212112210110001122221122211111110121122122221111111211122111111220111211222222112221122211212221111222211211122111111222001120111111111112221122211110211202101112202021222112222222220012211122222222022211222110221011122222111111111111212221112222111122222111121222122002211202222222211201122022022222221012110202012011222211111101102212121121121121212111221111121112222221112112211111111111221222222212121111222101121122011111101111121011111111112222111112211112112222221101011111121112211111112222210111110101111122210201101011111112011111212111121111111121112221212222101111111111212202111112221101111122211121110202222110011110011111011111121202111111112111121112020210111212101120220211122122111111222210222112221210210111012211110111121212202210012222110011112222121122222221112201222222221111110121111112022220012122101111222222022222211202221121122011112012110222112211111102222111120222111221122212112220122222122111112111222222222211112221122112022111111112122012111111201221112211222110222221121111012122222221110122111222111121122111011012121222221011111122222111101101110111221112101222122222111011112222012211120211210212110111111110011001012002212122212220221101111111110211111201212222222111110011120022222122211122122211110101222112111111122221022222120222210111112221202112222211211211111111122211122202212222101222221111110122211211112222122210212211122112101111222202022202012210111212211211221122111222222212222202111001111222211112121111220101221111121121011210221220222021221201102220110011220101220221122222021212111102121211112121112111111112211121121111022121212222022211111211111011011211221112221100222201222111022221111112022111121111111101122211211011211221122220121111112222111021222112111122112122022111221111222211111022110122211210221011211101111211221110022121111112222110112122212101112022112222221122111122222010111122120201101102110111101210111211112112121211112222112112012112021111102021111002112221211112210111112212112111122222112101110012211110212202212122222211211111120222211202222201122211122222111221112111112111121122111222111121112122011102020221222102011122222122222221222212221100211200220222212101111001222122221111211211222211221011122012201222012221112201222222222222220222202222122222200211221111211110222221101111222222221222111102222222022022122022221222202222001112222222222221220222202121111222222202221110120112222221112222211210222211222221222222112221220022111222222222221102222020221210222222112221211122111112122110112211211221111122122112011201221122221111121122222021112102212211122020002211222111110110111111202111111222221100102221111111101110212122022021111202121001202212111011222202221122111011111212121222221121102202212111121012211111112202211222222111112111111122222021211111112222211012110122112220222222111222220202221121112200111102122211122202221101111111221111220101211111111221111222112221112221212111222222222222022222222111110221112112222222212221012221011121111102122111121111011121102111122212122212222020202211212211111122222211222221200222212212211112110111011122022122111111101112211120211221211112211211221112112111212220221112022222222211112211211001211111111122122211111211110011012210122221110202121101122111121111222222212212222211121110011012110111100120111222222111211111111111222122221211122221211112202221211122212212222112212211211111222101111210112101202212112222111111221222122211211121221221001220222021120110221122211012212221111121100112222112211122111022222022211112212112212111111011111121120221022112021020111022111111122221111111101122211122122222101222222211121210112111221111111111220221221221112222111111001211121101202211101101122022110222222221122221112100011012212221111011121122200222222111221221101211112222022222222211120112112222222111211022221000111111111122121111112111212222222211212120111210212112222222002210221112121211222222221012111201011122211112221222110102121122212120222110222222221212112221122122222221111112212211222121101011121211121202012222121211110121211122101122222222222222121101121122112220211222101211221122222210211111122101222111022222221111122212100111111020102120222112221022212112222110002211", "1211122222122222201011112222222222022211202112111122122211112112200202112210111112121221212222102221202122001211222202211112212012220022212122122211112212211112121222220222122011111121211101112222021122212220222112202211112211222201202221211222221110212111112122120222222111101112212211111111222220222221122202022222111211201222222222222222122220211112111110122112022222221111122222111111110121212221111112222222002211111222220222202022211121202211011200121110111122112212201022222211101110101212221121111102022001222212222202112102211211112112221221022211120111111111110111120222212221110111222121110111120022221112221222222010222211212201112222222222020221111011111011011122222221122122210212111111111122222222222101212222111102211112022122121022111122222212222222221111112221222122211220202112211221220212222222010121222111112221122012222022220111122222222222200220111100211111112100122202222221122202222222221222101122101111222201000122221000221101222202000222122112222221102112111120222122212121222221112222111221111211110122211101112122202222021012222121222210111022222111122222111220111101011122221112220221202110222111212111111122221022211102110122121112220112222221201112222211122101011111112001011222222122211202212022111122211111022111112211111221111202222222201120111222221022221110211121222112211221211122222222222211121221011111121222211122112211122022222222212222122221112121111000111020221211211221222122022220222122211110101012211221222212111112222222022022221220211000111122111121110102211222121222111221111022111212112120012221111111202222211012102002211221111021101122222022122211222201102211222221222111222112111112221111111001111112022222111111222020011112011111112122212122221212222222221222222222221122212221112120211211101221111122222111011211122221111111101101122122121111110222222202112222001111211222221112211222222111020211112222212111221112222212112111121012221122112222120222222101121220210111112211221220111122211111201100222012222112212210221112210111221111011111120211222221211112000222200012220222111011222221111120112222222211112202210122111122111222011111111122221122011211111222022211112222202211101221110110111222222000211111121221122111112221111011012111111202112221112111102222222211122220211111211011112021122202220112111110012100221101121001102211201112222201221122221111022211111122022001111111121121222012222112111011111111111220211211011111221212111222200222122222221212021110112212221111112121111112222222021121101122111121122222220011111222112121012212220112211222211110111222212222111112222122111222202222111211120011112222122121111111221112111011222021201010112221111122211111122211101110221211011212222011221122222212000111111122222002211121211002021221110122002011120121111221211121111222210111122212202222212202222122221122122222222211112111102212101111112222222122221211112001102221012021111110222202220012222222222122112222211222111101222120222211112101222222212111121121221111222112122212221102220222220022211121121201122111010111101122202202111122222111212112111111122211112122111111220222022220222002222022221111210122211111111121101222021211121220222211111111121120021110211211101110222222222200220122122221221221112221112112110011011200222121122212202221121111122222111110211211102122202120220222201111102022122001202100221211121111202221222222111012221111221122222011011112222211122221111222021211110112222211222202111112222222101122111121221221112222111222212211211110102222221111221011102221111111002112222120222211022002211221112212121122122011220101220221211101110112222222221111111112222111101111111111212122222211122012112111111202211221122102211212221011111101120222220222221211112020021110001111111112122022222111202021022122110201111112022222021111111111111122202221122212222212122122211111201122222122220222212200222112222211220211221222222222221112121211111202211110112221111111101211212202112200112020122201222222122022221121220222002012112202212212211211222221101112202111111111111222122012222211122110120202202222200222202222121222222022221212022211111222222212111122112111211111102022222221221121101212222122221222222222002211222022222220221222211111212022222011111111011222212212222211221200221111011222222222111102002222221111122021112221122221001221122022112110111111112222221220221122202202221011220222022122112222222221111011211111122212221111112212112212221122202211212211222101221112222222210112222212212212211122111100122222211112222122111111222111012021122222221111111112222211211211122122112222211101111011112212101120222222211222122211112121111111012212111211221110110122211222111111112111122221111101111212112221221202222212212111220010021122121111212121111222212111121022211122111110110111211111002111222211222112222122112121111111110111222210221122122111122112222110220221122210112010120110111112121222222111211122111111121111111111110022221022211220022222211222221110210122222112211101211221222211010022221212111111111122222110011111111121222222220220220212222120221111112211111221111112221220022112222200122211122111110222221211200121111110202222022202211220220222112112221112222111111220002210022211221111220122211122222211221001111211011201221122221110122220222111111221122222112111102220222222201121111111121122220022211112211110221111222221111201211202220202101111121220220121111122221112202222221112221111121211221111111211111212210111212211220212022222122211221111112222212210112222121222222222121122111112111121112122121111222222211012211122022220221111220122101112222021122211121111121211221121111221222211111212220221221211211121111112122221220211122110111020222222222212210110111011111111111220112212101011122112202222222111021011111220002101221012211112222222222211111211111111122222122211222211222111111122101122022222211021112112100222211122112222222120221122111221221111001111122122221222211011220111121111011120211212111111110122212222121211222022111122111111212112210110001122221122211111110121122122221111111211122111111220111211222222112221122211212221111222211211122111111222001120111111111112221122211110211202101112202021222112222222220012211122222222022211222110221011122222111111111111212221112222111122222111121222122002211202222222211211122022022222221012112202012011222211111101100212121121121121212111221111121112222221112112211111111111221222222212121111222101121122011111101111121011111111112222111112211112112222221101011111121112211111112222210111110101111122210201101011111112011111212111121111111121112221212222101111111111012202111112221101111122211121110202222110011110011111011111121202111111112111121112020210111212101120220211122122111111222210222112220210210111012211110111121212202210012222110011112222121122222221112201222222221111110121111112022220012122101111222222022222211202221121122011112012110222112211111102222111120222111221122212112220122222122111112111222222222211112221122112022111111112022012111111201221112211222110222221121111012122222221110122111222111121122111111012121222221011111122222111101111110111221112101222122222111011112222012211120211212212110111111110011001012002212122212220221101111111110211111201212222222111110011120022222122211122122211110101222112111111122221022222120222210111112221202112222211211211111111122211122202212222101222221111110122211211112222122210212211122112101111222202022202012210111212211211221122111222222212222202111001111222211112121111221101221111121111011210221220222021221201102221110011220101220221122222021212111102121211112121112111111112211121121111022121212222022211111211111011011211221112221100222201222111022221111112022111121111111121122211211011211221122220121111112222111021222112111122112122022111221111222211111022110122211210221011211101111211221110022121111112222110112122212111112022112222221122111122222011111122120201101102110111101210111211112112121211112222112112012112021111102021111002112221211112210111112210112111122222112111110012211110212202212122222211211111122222211202222201122211022222111221112111112111121122111222111121112122011102020221222122011122222122222221222212221100211200220222212101111001222122221111211211222211221011122012201222012221112201222222222222220222202222122222200211221111211110222221101111222222221222111102222222022022122022221222202222001112222222222221220222202121111222222202221110120112222221112222211210222211222221222222112221220022111222222222221102222020221210222222112221211122111112122110112211210221111122122112011201221122221111121122222021112102212211122020002211222111110110111111202111111222221100102221111111101110212122022021111202121001202212111011222202221122111011111212121222221121102202212111121012211111112202211222222111112111111122222021211111112222211012110122112220222222111222220202221121112200111102122211122202221101111111221111220101211111111221111222112221112221212111222222222222122222222111110221112112222222212221012221011121111102122111121111011121102111122212122212222020202211212211111122222211222221200222212212211112110111011122022122111111101112211120211221211112211211221112112111212220221112022222222211112211211001211111111122122211111211110011012210122221110202121101122111121111222222212212222211121110011012110111100120111222222111211111111111222122221211122221211112202220211122212212222112212211211111222101111210112101202212112222111111221222122211211121221221001220222021120110221122211012212221111121100112222112211122111022222022211112212112212111111011111121120221022112021020111022111111122221111111101122211122122222101222222211121010112111221111111111220221221221112222111111001211121101222211101101122022110222222221122221112100011012212221111011121122200222222111221221101211112222022222222211120112112222222111211022221000111111111122121111112111212222222211212120111210212112222222002210221112101211222222221012111201011122211112221222110102121122212120222110222222221210112221122122222221111112212211222121101011121211121202012222121211110121211122101122222222222222121101121122112220211222101211221122222210011111122101222111022222221111122212100111111020102120222112201022212112222110002211", "1211122222122222201011112222222222022211202112111122122211112112200202112210111112121221212222102221202122001211222202211112212012220022212122122211112212211112121222220222122011111121211101112222021122212220222112202211112211222201202221211222221110212111112122120222222111101112212211111111222220222221122202022222111211200222222222222222122220211112111110122112022222221111122222111111110121212221111112222222002211111222220222202022211121202211011200121110111122112212201022222211101110101212221121111102022001222212222202112102211211112112221221022211120111111111110111120222212221110111222121110111120022221112221222222010222211212201112222222222020221111011111011011122222221122122210212111111111122222222222101212222111102211112022122121022111122222212222222221111112221222122211220202112211221220212222222010121222111112221122002222022220111122222222222200220111100211111112100122202222221122202222222221222101122101111222201000122221000221101222202000222122112222221102112111120222122212121222221112222111221111211110122211101112122202222221012222121222210111022222111122222111220111101011122221112220221202110222111212111111122221022211102110122121112220112222221201112222211122101011111112001011222222122211202212022111122211111022111112211111221111202222222201120111222221022221110211121222112211221211122222222222211121221011111121222211122112211122022222222212222122221112121111000111020221211211221222122022220222122211110101012211221222212111112222222022022221220211000111122111121110102211222121222111221111022111212112100012221111111202222211012102002211221111021101102222022122211222201102211222221222111222112111112221111111001111112022222111111222020011112011111112122212122221212222222221222222222221122212221112120211211101221111122222111011211122221111111101101122122121111110222222202112222001111211222221112211222222111020211112222212111221112222212112111121012221122112222120222222101121220210111112211221220111122211111201100222012222112212210221112210111221111011111120211222221211112000222200012220222111011222221111120112222222211112202210122111122111222011111111122221122011211111222022211112222202211101221110110111222222000211111121221122111112221111011012111111202112221112111102222222211122220211111211011112021122222220112111110012100221101121001102211201112222201221122221111022211111122022001111111121121222012222112111011111111111220211211011111221212111222200222122222221212021110112212221111112121111112222222021121101122111121122222220011111222112121012212220112211222211110111222212222111112222122111222202222111211120011112222122121111111221112111011222021201010112221111122211111122211101110221211011212222011221122222212000111111122222002211121211002021221110122002011120121111221211121111222210111122212202222212202222122221122122222222211112111102212101111112222222122221211112001102221012021111110222202220012222222222122112222211222111101222120222211112101222222212111121121221111222112122212221102220222220222211121121201122111010111101122202202111122222111212112111111122211112122111111220222022220222002222022221111210122211111111121101222021211121220222211111111121120021110011211101110222222222200220122122221221221112221112112110011011200222121122212202221121111122222111110211211102122202120220222201111102022122001202100221211121111202221222222111112221111221122222011011112222211122221111222021211110112222211222202111112222222101122011121221221112222111222212211211110102222221111221011102221111111002112222120222211022002211221112212121122122011220101220221211101110112222222221111111112222111101111111111212122222211122012112111111202211221122102211212221011111101120222220222221211112020021110001111111112122022222111202021022122110201111112022222021111111111111122202221122212222212122122211111201122222122220222212200222112222211220211221222222222221112121211111202211110112221111111101211212202112200112020122201222222122022221121220222002012112202212212211211222221101112202111111111111222122002222211122110120202202222200222202222121222222022221212022211111222222212111122112111211111102022222221221121101212222122221222222222002211222022222220221222211111212022222011111111011222212212222211221200221111011222222222111102002222221111122021112221122221001221122022112110111111112222221220221122202202221011220222022122112222222221111011211111122212221111112212112212221122202211212211222101221112222222210112222212212212211122111100122222211112222122111111222111012021122222221111111112222211211211122122112222211101111011112212101120222222211222122211112121111111012212111211221110110122211222111111112111122221111101111212112221221202222212212111220010021122121111212121111222212111121022211122111110110111211111002111222211222112222122112121111111110111222210221122122111122112222110220221122210112010120110111112121222222111211122111111121111111111110022221022211220022222211222221110210122222112211101011221222211010022221212111111111122222110011111111121222222220220220212222120221111112211111221111112220220022112222200122211122111110222221211210121111110202222022202211220220222112112221112222111111220002210022211221111220122211122222211221001111211011201221122221110122220222111111221122222112111102220222222201121111111121122220022211112211110221111222221111201211202220202101111121220220121111122221112202222221112221111121211221111111211111212210111212211220212022222122211221111112222212210112222121222222222121122111112111121112122121111222222211012211122022220221111220122101112222021122211121111121211221121111221222211111212220221221211211121111112122221220211122110111020222222222212210110111011111111111220112212101011122112202222222111021011111220002101221012211112222222222211111211111111122222122211222211222111111122101122022222211021112112102222211122112222222120221122111221221111001111122122221222211011220111121111011120211212111111110122212222121211222022111122111111212112210110001122221122211111110121122122221111111211122111111220111211222222112221122211212221111222211211122111111222001120111111111112221122211110211212101112202021222112222222220012211122222222022211222110221011122222111111111111212221112222111122222111121222122002211202222222211211122022022222221012112202012011222211111101100012121121121121212111221111121112222221112112211111111111221222222212121111222101121122011111101111121011111111112222111112211112112222221101011111121112211111112222210111110101111122210201101011111112011111212111121111111121112221212222101111111111012202111112221101111122211121110202222110011110011111011111121202111111112111121112020210111212101120220211122122111111222210222112220210210111012211110111121212202210012222110011112222121122222221112201222222221111110121111112022220012122101111222222022222211202221121122011112012110222112211111102222111120222111221122212112220122222122111112111222222222211112221122112022111111112022012111111201221112211222110222221121111012122222221111122111222111121122111111012121222221011111122222111101111110111221112101222122222111011112222012211120211212212110111111110011001012002212122212220221101111111110211111201212222222111110011120022222122211122122211110101222112111111122221022222120222210111112221202112222211211211111111122211122202212222101222221111110122211211112222122210212211122112101111222202022202012210111212211211221122111222222212222202111001111222211112121111221101221111121111011210221220222021221201102221110011220101220221122222021212111102121211112121112111111112211121121111122121212222022211111211111011011211221112221100222201222111022221111112022111121111111121122211211011211221122220121111112222111021222112111122112122022111221111222211111022110122211210221011211101111211221110022121111112222110112122212111112022112222221122111122222011111122120201101102110111101210111211112112121211112222112112012112021111102021111002112221211112210111112210112111122222112111110012211110212202212122222211211111122222211202222201122211022222111221112111112111121122111222111121112122011102020221222122011122222122222221222212221100211200220222212101111001222122221111211211222211221011122012201222012221112201222222222222220222202222122222200211221111211112222221101111222222221222111102222222022022122022221222202222001112222222222221220222202121111222222202221110120112222221112222211210222211222221222222112221220022111222222222221102222020221210222222112221211122111112122110112211200221111122122112011201221122221111121122222021112102212211122020002211222111110110111111202111111222221100102221111111101110212122022021111202121001202212111011222202221122111011111212121222221121102202212111121012211111112202211222222111112111111122222021211111112222211012110122112220222222111222220202221121112200111102122211122202221101111111221111220101211111111221111222112221112221212111222222222222122222222111110221112112222222212221012221011121111102122111121111011121102111122212122212222020202211212211111122222211222221200222212212211112110111011122022122111111101112211120211221211112211211221112112111212220221112022222222211112211211001211111111122122211111211110011012210122221110202121101122111121111222222212212222211121110011012110111100120111222222111211111111111222122221211122221211112202220211122212212222112212211211111222101111210112101202212112222111111221222122211211121221221001220222021120110221122211012212221111121100112222112211122111022222022211112212112212111111011111121120221022112021020111022111111122221111111101122211122122222101222222211121010112111221111111111220221221221112222111111001211121101222211101101122022110222222221122221112100011012212221111011121122200222222111221221101211112222022222222211120112112222222111211022221000111111111122121111112111212222222211212120111210212112222222002210221112101211222222221012111201011122211112221222110102121122212120222110222222221210112221122122222221111112212211222121101111121211121202012222121211110121211122101122222222222222121101121122112220211222101211221122222210011111122101222111022222221111122212100111111020102120222112201022212112222110002211", "1211122222122222201011112222222222022211202112111122122211112112200202112210111112121221212222102221202122001211222202211112212012220022212122122211112212211112121222220222122011111121211101112222021122212220222112202211112211222201202221211222221110212111112122120222222111101112212211111111222220222221122202022222111211200222222222222222122220211112111110122112022222221111122222111111110121212221111112222222002211111222220222202022211121202211011200121110111122112212201022222211101110101212221121111102022001222212222202112102211211112112221221022211120111111111110111120222212221110111222121110111120022221112221222222010222211212201112222222222020221111011111011011122222221122122210212111111111122222222222101212222111102211112022122121022111122222212222222221111112221222122211220202112211221220212222222010121222111112221122002222022220111122222222222200220111100211111112100122202222221122202222222221222101122101111222201000122221000221101222202000222122112222221102112111120222122212121222221112222111221111211110122211101112122202222221112222121222210111022222111122222111220111101011122221112220221202110222111212111111122221022211102110122121112220112222221201112222211122101011111112001011222222122211202212022111122211111022111112211111221111202222222201120111222221022221110211121222112211221211122222222222211121221011111121222211122112211122022222222212222122221112121111000111020221211211221222122022220222122211110101012211221222212111112222222022022221220211000111122111121110102211222121222111221111022111212112100012221111111202222211012102002211221111021101102222022122211222201102211222221222111222112111112221111111001111112022222111111222020011112011111112122212122221212222222221222222222221122212221112120211211101221111122222111011211122221111111101101122122121111110222222202112222001111211222221112211222222111020211112222212111221112222212112111121012221122112222120222222101121220210111112211221220111122211111201100222012222112212210221112210111221111011111120211222221211112000222200012220222111011222221111120112222222211112202210122111122111222011111111122221122011211111222022211112222202211101221110110111222222000211111121221122111112221111011012111111202112221112111102222222211122220211111211011112021122222220112111110012100221101121001102211201112222201221122221111022211111122022001111111121121222012222012111011111111111220211211011111221212111222200222122222221212021110112212221111112121111112222222021121101122111121122222220011111222112121012212220112211222211110111222212222111112222122111222202222111211120011112222122121111111221112111011222021201010112221111122211111122211101110221211011212222011221122222212000111111122222002211121211002021221110122002011120121111221211121111222210111122212202222212202222122221122122222222211112111102212101111112222222122221211112001102221012021111110222202220012222222222122112222211222111101222120222211112101222222212111121121221111222112122212221102220222220222211121121201122111010111101122202202111122222111212112111111122211112122111111220222022220222002222022221111210122211111111121101222021211121220222211111111121120021110011211101110222222222200220122122221221221112221112112110011011200222121122212202221121111122222111110211211102122202120220222201111102022122001202100221211121111202221222222111112221111221122222011011112222211122221111222021211110112222211222202111112222222101122011121221221112222111222212211211110102222221111221011102221111111002112222120222211022002211221112212121122122011220101220221211101110112222222221111111112222111101111111111212122222211122012112111111202211221122102211212221011111101120222220222221211112020021110001111111112122022222111202021022122110201111112022222021111111111111122202221122212222212122122211111201122222122220222212200222112222211220211221222222222221112121211111202211110112221111111101211212202112200112020122201222222122022221121220222002012112202212212211211222221101112202111111111111222122002222211122110120202202222200222202222121222222022221212022211111222222212111122112111211111102022222221221121101212222122221222222222002211222022222220221222211111212022222011111111011222212212222211221200221111011222222222111102002222221111122021112221122221001221122022112110111111112222221220221122202202221011220222022122112222222221111011211111122212221111112212112212221122202211212211222101221112222222210112222212212212211122111100122222211112222122111111222111012021122222221111111112222211211211122122112222211101111011112212101120222222211222122211112121111111012212111211221110110122211222111111112111122221111101111212112221221202222212212111220010021122121111212121111222212111121022211122111110110111211111002111222211222112222122112121111111110111222210221122122111122112222110220221122210112010120110111112121222222111211122111111121111111111110022221022211220022222211222221110210122222112211101011221222211010022221212111111111122222110011111111121222222220220220212222120221111112211111221111112220220022112222200122211122111110222221211210121111110202222022202211220220222112112221112222111111220002210022211221111220122211122222211221001111211011201221122221110122220222111111221122222112111102220222222201121111111121122220022211112211110221111222221111201211202220202101111121220220121111122221112202222221112221111121211221111111211111212210111212211220212022222122211221111112222212210112222121222222222121122111112111121112122121111222222211012211122022220221111220122101112222021122211121111121211221121111221222211111212220221221211211121111112122221220211122110111020222222222212210110111011111111111220112212101011122112202222222111021011111220002101221012211112222222222211111211111111122222122211222211222111111122101122022222211021112112102222211122112222222120221122111221221111001111122122221222211011220111121111011120211212111111110122212222121211222022111122111111212112210110001122221122211111110121122122221111111211122111111220111211222222112221122211212221111222211211122111111222001120111111111112221122211110211212101112202021222112222222220012211122222222022211222110221011122222111111111111212221112222111122222111121222122002211202222222211211122022022222221012112202012011222211111101100012121121121121212111221111121112222221112112211111111111221222222212121111222101121122011111101111121011111111112222111112211112112222221101011111121112211111112222210111110101111122210201101011111112011111212111121111111121112221212222101111111111012202111112221101111122211121110202222110011110011111011111121202111111112111121112020210111212101120220211122122111111222210222112220210210111012211110111121212202210012222110011112222121122222221112201222222221111110121111112022220012122101111222222022222211202221121122011112012110222112211111102222111120222111221122212112220122222122111112111222222222211112221122112022111111112022012111111201221112211222110222221121111012122222221111122111222111121122111111012121222221011111122222111101111110111221112101222122222111011112222012211120211212212110111111110011001012002212122212220221101111111110211111201212222222111110011120022222122211122122211110101222112111111122221022222120222210111112221202112222211211211111111122211122202212222101222221111110122211211112222122210212211122112101111222202022202012210111212211211221122111222222212222202111001111222211112121111221101221111121111011210221220222021221201102221110011220101220221122222021212111102121211112121112111111112211121121111122121212222022211111211111011011211221112221100222201222111022221111112022111121111111121122211211011211221122220121111112222111021222112111122112122022111221111222211111022110122211210221011211101111211221110022121111112222110112122212111112022112222221122111122222011111122120201101102110111101210111211112112121211112222112112012112021111102021111002112221211112210111112210112111122222112111110012211110212202212122222211211111122222211202222201122211022222111221112111112111121122111222111121112122011102020221222122011122222122222221222212221100211200220222212101111001222122221111211211222211221011122012201222012221112201222222222222220222202222122222200211221111211112222221101111222222221222111102222222022022122022221222202222001112222222222221220222202121111222222202221110120112222221112222211210222211222221222222112221220022111222222222221102222020221210222222112221211122111112122110112211200221111122122112011201221122221111121122222021112102212211122020002211222111110110111111202111111222221100102221111111101110212122022021111202121001202212111011222202221122111011111212121222221121102202212111121012211111112202211222222111112111111122222021211111112222211012110122112220222222111222220202221121112200111102122211122202221101111111221111220101211111111221111222112221112221212111222222222222122222222111110221112112222222212221012221011121111102122111121111011121102111122212122212222020202211212211111122222211222221200222212212211112110111011122022122111111101112211120211221211112211211221112112111212220221112022222222211112211211001211111111122122211111211110011012210122221110202121101122111121111222222212212222211121110011012110111100120111222222111211111111111222122221211122221211112202220211122212212222112212211211111222101111210112101202212112222111111221222122211211121221221001220222021120110221122211012212221111121100112222112211122111022222022211112212112212111111011111121120221022112021020111022111111122221111111101122211122122222101222222211121010112111221111111111220221221221112222111111001211121101222211101101122022110222222221122221112100011012212221111011121122200222222111221221101211112222022222222211120112112222222111211022221000111111111122121111112111212222222211212120111210212112222222002210221112101211222222221012111201011122211112221222110102121122212120222110222222221210112221122122222221111112212211222121101111121211121202012222121211110121211122101122222222222222121101121122112220211222101211221122222210011111122101222111022222221111122212100111111020102120222112201022212112222110002211"], "final_status": "1211111111211321101023111211111111012111101111121321111131311111300301141110211111111111121121101111104111001141121202211111112011110011111111111113211121111113111111310111211011111111111101111211011131114210111112101113111111111201101111211111311110141112111111110111311111102111111111121211111110121111121301011121111121100112211111211144111310131121112110111114011313311311111311131111110111111111111131121121001321111131320211101011211111102121031100112110121111111111102011111141102110201211111111211101012001111131131104111101111242111111211111013111110112111111110113410232221111110111211111310112210021112111111121211010111113121101211111111111010111121011121011011111111112121111110111111211111221111112111101211111112101211131031111111011111111121111311111113111111114111113411110101111111111120111111221010111111113211111111001111011110133212111211111300110111200142211111100111103111112121101211111111111101111101111111101000111111000113301112101000111131131111211101111111110221111111111111111111111111111311331110111111101111131101111311311211111111110111011211112113111112110111301012211111121110211101110112131111111111111111011111101120111111111110111112121101211111111111101032311241001012111111112111101111011111111112311011112111111212111111101111122101110111111111011211110111114112111111111111111111111111111111113021111111121111111111111111011111311112111111211111211113000112010112121111111112212011110211111111110101011111121111111121112121113012011111110321000111111112111110101111111111111111131111011111111132100011111111112101111121013101001111111111012101101111041111113111102101142211111131311111111111111111121111001121131011112111231111010011131011123121121113111111111311111211111111111121111211241231110111213101111111111111111021111111322211111101101113121111112410112112201211211001311111111113111312212111112010211111123114111311211111111111111113011141111111111410111111101111110110111121111141110111121231111103100111012111111111140311121120121212111011111120131112111111111000112100011110121124011111111121210111221111111121101110211111212111111031313111111111121012113123111011111111111101111101111110210211112131000112121411111111113111112111011021111121101211111111111101112111111123110212122111012112011111121110111121120011100111102111001101111101113111101111111111112011111111112011001111111111111111011111011111011111113112210111141011311111111121331100111112111111112011210111112111111211111111211131111021111301111121111111122110011111111111111031111110114211111111210211111111111131121111111111111201111211113120011114241111111111312111111111011213011101010111111112111111111112112101110211113011111113011121111144431000111111111211001111111112001011111310111001021110111111111112111121421110111121111101121411103222112411111113111111111121111301111101111211211111111111111111002101111011011212110113301110011111141111131111111111131111201112110111131111101111111211111111111111111212111111111112101110121110321111111131101311221010121201122101101111221121121111111111111111111211111131211110111011120132001111011111111110211111111111111101111021111111120111111111111112340011110011112301110112312111100110111111121111111141111111111110011011100111111111111301111111211121211221310111131301131101210120121101111101011411001101100111111111121101121111111111311111111111111211011011141112111212111211111021111110111111121121301131111111121101111011111121111111211111111111113111210101111111111111012101111131131001121211140111111011001111111111111111111111021420101120211123102110211322131111211111121311131201121111111111111113111111014111111111101313112211101131114241031211101110131110113111111111010011110001131121111213011131111102011011111210103311121011111011112121121133111101111111212111111111212121111101211211112110111111100111113111111110111111111113111141111111111211101311110211111111112101124114104111100111020131101211112111043111111310421001011111302112411113111112111201111201111112111312112112001313411111110110103101111100321101113221111121011111111012111111122111121121112211131112131101011343121111111101121131111211111111122001111111012111230111121111121121021111011112111011111111111111122111100111111011213111111111101001121111211121011121111111112001114111022111210113211211111111110111111101101111011110211021111111113311111111011111111111111311111111111114112111121101311111111111101112112112111110112311111111121111131111100111111111111111111113121221131014011141112111211111111111124112111111112114111111101111011121121103110111311111121112111111142112111011111111421211110110122111211111211111121111111212401131111111111111101113111111112110010011111113111112112111111111111111011111111111110210311121111001111111111111111121111111111321111110121111110111111111111111111111220130211111110211010110110111141112111111111111111211111111111111113110021111012111110011111111112114110310211311111113101011321111111010011111111322132112111111110031131112211411131120110210111111120141111111121111311132111110410011111111100141211131111110111111141130112112110101111031101111210120121121111111111111112311110003110013111112111240111121141132111111002314112011101311111111110321310111121121112111111111111101110112111201211112111111111110011111111111110111111131112111101121101110101101112111110110111113141111111101212121111113221111114111212111112111111110111111111110412011124141111112111111121111110111221111111111111111111211111112111111111111121111111111031111111013110211111210111101111211011111112112112411112111111131111111111111111110111421124111111311112111111110111111110111010111111112111110110111021111141311110111111101012121112202221131111011011121110002201111011121111111211211111111111211111112111211111112113111113212111101111011111111011131111103211142111111331111110311111111111411212001112112111111113211044110112111113012110111111121112110114211211411111111011112111121111111112210110001111111111111111120211121111111111112113111111111110211111211111111111112421111111111111112112111111311311001110131121111121111121112210121131101214201011211121111111110014311112111211011111211110111011211111111211111311111111111111112411111111111111111001111101131211121131111011011111111011113101011011121112111201100011111112111114111113121121111121131111111111211111311121211221111111111211113101111111011111301212311011111121111112211111411111114212111101031111113111111111313231110211110101111111110101301013221111011111111111111111111111111111111112103112113111011101111111111201113121111111110201121110012110011112012211111401213111111311111111010210111141101110110111111111111311111110111113110110130121011111210111111111101110011113120011111111111111111111111101121111121111110111111111011110011111102111111112011111111101111211112011111011110111111121112101211122110111121111111111111110112311111111111211111111311111111111111111024131111121011011131311101211121111131110311111111111011111111111113111121411111121111111211012112113112011111113311111201331130121111111101121111111121011111222012111110111213211110121111110011001013001221111111110111101211111110111111101111121112121120011210011121111111311112111110101111211111111121311011111230111110111111114101113111111111411131111112112111201111212101111131222310111311121211114111110111142211111101211221101011301011110111141111121111111111111111111121101111001112111111121111111113202111211111121011110121110111011111102101113110011110102110111411212011111122101124111111111111111112112131211111121311141111111011111311111111011011111112111211100111101111211011111211112011111112121121131121121111011121111112210112123111111111011111221131111111412011111111311112111113011110212111110241011111101121111111110011111111111111130111111241131131041114111111111111111111013111111310101201101110131101110111112111111111111111121111111011111011211102011111001131311112111110121221110311121111211111133110021111110111201111111211312111111113212121101112101111111012111111112211111121111111111113111111111111111012101010111111131011112111111211111111111111100311100220121112101211001123111141111111111113111111011121014301213011111241101111131111111110111201311111111100111112131111113131121101111112111212121111101113124021011111011111111102112002111112131311111210112102111111131111101121210110111112111121111111110111211112121111121211121110011111113121111211201131010111110111111111111121111231111111110111111100131111111114111011101211112111112111111121011111101111112111010001111121111210110111311201111211111111100101111111111101110111111011011111101112001101111111011111101321111211011112111111111111111101101111131111011111113114201111122111111221121111211111011111111111111111011110211111110211111111111110101131112111100211101111111111101113101111111111311110104111133111111111111141241231121112111211313121111311111111311110212111241131212111111012121011111112201111111112211011113101121111111111112112010101211112142111111111111111121300211121111121111110111011111014141111111301111111110111211111113111211113114111122111120111111011111111111141111111001113231111111122312112112110011011120111111320101111101111111111111111111111311111111141220011011110111100110311131121131121113111211111111121111213111111211101120112212112111124111111111211112111102111130121101101113111111111111111111111111111111114111001110111011110110311112111011111111231111100111111211111111111011212011131111111112114111111012211111110111011111011030111011131111113211111111101111311111111111101121111111111040114111241111311111110111111111111111111111001111211101131111101301111011110111111111132131411100012022114111121011111111200112111112111111101111211111011121121111110111131211311111242011111000111111211111121121111121211111112111111110111110211111111113001210111221101111111211111011211101012114111111111211130101111211111110312110111111111110211111111121111111111111111111111111101311211111111201032111111111110111111121101113113111212121211101111111111210111111101121111113111210013111142101112111011111211111111111100111113010102110111112101011111111111110001111", "summary_seed": {"steps": 6, "total_moves": 1401, "first_step_moves": 929, "ever_moved_share": 0.1497777777777778, "init_unhappy_share": 0.12144444444444444, "cascade_movers_share": 0.04411111111111111, "resolved_without_moving_share": 0.01577777777777778}, "series": {"mean_same": [0.503134, 0.599696, 0.632017, 0.64647, 0.651119, 0.652309, 0.652434], "share_majority": [0.58, 0.720889, 0.759222, 0.779444, 0.786444, 0.787778, 0.788], "share_all_same": [0.013, 0.072222, 0.108111, 0.126333, 0.131667, 0.132889, 0.133111], "dissimilarity": [0.088667, 0.134, 0.152, 0.163111, 0.167111, 0.167778, 0.168], "unhappy": [0.121444, 0.033222, 0.014, 0.004778, 0.001333, 0.000111, 0.0], "moves": [0, 929, 291, 126, 43, 11, 1], "ever_moved": [0.0, 0.103222, 0.132, 0.144222, 0.148556, 0.149667, 0.149778]}, "indifferent_cells_init": [0, 2, 3, 4, 5, 11, 15, 18, 22, 23, 24, 28, 29, 30, 44, 45, 46, 48, 52, 54, 57, 60, 70, 74, 77, 81, 83, 84, 86, 88, 90, 94, 100, 104, 108, 109, 125, 128, 130, 131, 135, 137, 138, 139, 142, 153, 154, 158, 160, 169, 170, 171, 173, 174, 177, 181, 185, 197, 198, 212, 214, 216, 217, 221, 222, 224, 225, 231, 234, 235, 237, 258, 265, 267, 271, 277, 279, 283, 296, 300, 301, 309, 319, 322, 325, 326, 329, 342, 346, 348, 349, 356, 361, 362, 368, 371, 372, 376, 378, 381, 382, 388, 392, 393, 395, 396, 397, 400, 406, 419, 420, 430, 432, 451, 455, 457, 464, 468, 470, 471, 472, 476, 477, 478, 483, 484, 487, 488, 499, 500, 501, 513, 517, 529, 531, 532, 540, 546, 547, 549, 557, 559, 564, 569, 571, 582, 583, 584, 586, 589, 590, 591, 593, 594, 595, 599, 602, 610, 613, 616, 618, 624, 634, 637, 641, 643, 645, 646, 648, 657, 660, 663, 672, 678, 682, 686, 687, 691, 692, 696, 698, 705, 708, 714, 715, 717, 719, 727, 735, 738, 739, 741, 742, 744, 749, 751, 752, 753, 758, 762, 763, 764, 767, 769, 770, 773, 774, 780, 782, 786, 788, 796, 797, 798, 799, 806, 818, 819, 820, 823, 824, 828, 829, 830, 832, 833, 839, 851, 853, 860, 865, 866, 869, 881, 882, 886, 889, 892, 894, 895, 896, 898, 906, 911, 912, 913, 914, 915, 916, 924, 925, 926, 928, 930, 931, 938, 940, 942, 957, 964, 969, 978, 990, 991, 995, 996, 997, 998, 1001, 1005, 1006, 1007, 1012, 1014, 1015, 1017, 1020, 1025, 1029, 1033, 1037, 1039, 1045, 1050, 1057, 1058, 1062, 1066, 1068, 1074, 1078, 1082, 1085, 1091, 1100, 1102, 1103, 1104, 1107, 1109, 1114, 1123, 1125, 1127, 1131, 1132, 1133, 1136, 1138, 1143, 1154, 1155, 1156, 1157, 1158, 1160, 1161, 1163, 1166, 1168, 1171, 1173, 1176, 1179, 1186, 1187, 1211, 1214, 1218, 1219, 1223, 1231, 1233, 1234, 1235, 1238, 1241, 1243, 1247, 1249, 1256, 1260, 1264, 1266, 1277, 1279, 1280, 1283, 1284, 1292, 1294, 1298, 1300, 1301, 1304, 1305, 1311, 1315, 1317, 1320, 1321, 1324, 1332, 1333, 1339, 1340, 1342, 1344, 1345, 1347, 1351, 1352, 1353, 1357, 1364, 1365, 1366, 1371, 1373, 1375, 1378, 1380, 1384, 1396, 1397, 1410, 1413, 1418, 1422, 1427, 1428, 1433, 1435, 1438, 1450, 1453, 1454, 1456, 1460, 1464, 1469, 1474, 1475, 1477, 1482, 1487, 1489, 1496, 1498, 1499, 1501, 1504, 1506, 1511, 1512, 1519, 1522, 1524, 1527, 1533, 1542, 1545, 1552, 1556, 1558, 1564, 1570, 1571, 1576, 1580, 1584, 1593, 1594, 1595, 1598, 1613, 1620, 1623, 1624, 1626, 1629, 1630, 1633, 1635, 1636, 1638, 1642, 1643, 1651, 1653, 1656, 1658, 1661, 1666, 1667, 1668, 1670, 1677, 1680, 1681, 1686, 1687, 1689, 1691, 1695, 1696, 1699, 1700, 1707, 1710, 1712, 1717, 1718, 1722, 1724, 1727, 1735, 1742, 1746, 1747, 1757, 1758, 1759, 1760, 1761, 1767, 1776, 1777, 1779, 1782, 1789, 1791, 1796, 1799, 1802, 1809, 1811, 1814, 1820, 1822, 1824, 1828, 1831, 1832, 1835, 1838, 1850, 1858, 1865, 1871, 1872, 1875, 1876, 1878, 1880, 1881, 1883, 1886, 1887, 1892, 1893, 1896, 1901, 1906, 1913, 1914, 1919, 1921, 1926, 1928, 1929, 1936, 1937, 1939, 1945, 1947, 1951, 1954, 1958, 1961, 1962, 1963, 1964, 1967, 1969, 1973, 1978, 1987, 1989, 1993, 1995, 1996, 2002, 2003, 2005, 2006, 2007, 2009, 2017, 2020, 2025, 2026, 2038, 2039, 2043, 2048, 2052, 2060, 2064, 2067, 2068, 2074, 2075, 2080, 2083, 2092, 2093, 2100, 2110, 2113, 2118, 2120, 2122, 2125, 2127, 2128, 2131, 2132, 2138, 2139, 2148, 2166, 2169, 2171, 2177, 2178, 2186, 2190, 2191, 2192, 2193, 2196, 2207, 2212, 2214, 2216, 2221, 2224, 2236, 2237, 2240, 2243, 2246, 2247, 2248, 2250, 2254, 2257, 2258, 2259, 2268, 2269, 2274, 2278, 2283, 2287, 2293, 2294, 2301, 2306, 2307, 2312, 2321, 2324, 2334, 2335, 2336, 2338, 2339, 2340, 2342, 2348, 2354, 2357, 2361, 2364, 2369, 2372, 2377, 2386, 2387, 2388, 2389, 2390, 2402, 2404, 2405, 2407, 2408, 2409, 2410, 2413, 2423, 2425, 2426, 2429, 2436, 2439, 2441, 2444, 2446, 2448, 2451, 2456, 2462, 2463, 2464, 2468, 2471, 2476, 2480, 2482, 2486, 2491, 2492, 2498, 2503, 2504, 2507, 2508, 2510, 2511, 2514, 2516, 2519, 2521, 2522, 2524, 2526, 2532, 2535, 2538, 2541, 2545, 2546, 2547, 2553, 2555, 2557, 2560, 2565, 2576, 2577, 2582, 2584, 2586, 2589, 2591, 2592, 2595, 2601, 2608, 2609, 2610, 2617, 2618, 2621, 2623, 2626, 2627, 2629, 2630, 2632, 2634, 2636, 2640, 2645, 2648, 2649, 2650, 2656, 2686, 2687, 2689, 2690, 2692, 2697, 2702, 2703, 2707, 2712, 2715, 2719, 2724, 2725, 2726, 2727, 2729, 2731, 2740, 2741, 2745, 2748, 2750, 2751, 2752, 2760, 2767, 2768, 2771, 2772, 2779, 2784, 2787, 2790, 2791, 2793, 2798, 2800, 2813, 2815, 2819, 2821, 2832, 2833, 2837, 2841, 2843, 2845, 2858, 2860, 2865, 2866, 2869, 2876, 2886, 2889, 2903, 2904, 2905, 2907, 2908, 2910, 2911, 2912, 2913, 2915, 2916, 2917, 2919, 2921, 2924, 2929, 2937, 2949, 2950, 2956, 2957, 2963, 2964, 2965, 2966, 2967, 2970, 2975, 2976, 2979, 2983, 2988, 2994, 2997, 2998, 3006, 3007, 3009, 3012, 3014, 3015, 3018, 3022, 3030, 3031, 3034, 3039, 3048, 3049, 3052, 3057, 3060, 3068, 3071, 3077, 3080, 3083, 3086, 3090, 3092, 3096, 3101, 3103, 3108, 3109, 3112, 3114, 3115, 3119, 3127, 3132, 3138, 3139, 3143, 3148, 3157, 3158, 3165, 3171, 3178, 3179, 3180, 3181, 3183, 3191, 3192, 3201, 3202, 3204, 3205, 3207, 3210, 3212, 3213, 3215, 3219, 3222, 3225, 3232, 3233, 3234, 3240, 3241, 3243, 3246, 3250, 3253, 3255, 3256, 3259, 3261, 3264, 3273, 3280, 3282, 3283, 3294, 3295, 3297, 3299, 3300, 3304, 3305, 3308, 3311, 3312, 3313, 3317, 3319, 3320, 3321, 3323, 3326, 3330, 3334, 3337, 3339, 3341, 3343, 3349, 3351, 3362, 3369, 3370, 3375, 3379, 3380, 3381, 3382, 3383, 3385, 3392, 3402, 3408, 3414, 3415, 3418, 3424, 3425, 3433, 3437, 3438, 3439, 3440, 3450, 3454, 3457, 3462, 3465, 3468, 3469, 3472, 3473, 3474, 3475, 3477, 3479, 3483, 3486, 3488, 3489, 3492, 3493, 3495, 3496, 3497, 3498, 3502, 3507, 3513, 3519, 3520, 3530, 3531, 3538, 3540, 3543, 3546, 3551, 3552, 3555, 3563, 3566, 3567, 3568, 3569, 3571, 3574, 3581, 3584, 3592, 3595, 3597, 3605, 3609, 3613, 3623, 3629, 3637, 3638, 3644, 3645, 3647, 3660, 3661, 3667, 3669, 3676, 3681, 3682, 3690, 3692, 3701, 3702, 3708, 3710, 3714, 3715, 3716, 3723, 3724, 3738, 3740, 3745, 3746, 3747, 3757, 3759, 3760, 3767, 3768, 3769, 3773, 3778, 3780, 3786, 3790, 3793, 3794, 3796, 3797, 3799, 3805, 3807, 3811, 3812, 3813, 3814, 3818, 3819, 3821, 3823, 3833, 3839, 3840, 3841, 3847, 3848, 3868, 3876, 3877, 3879, 3881, 3886, 3892, 3897, 3903, 3908, 3910, 3911, 3912, 3917, 3920, 3921, 3925, 3927, 3936, 3937, 3938, 3939, 3942, 3943, 3945, 3947, 3953, 3956, 3958, 3963, 3968, 3969, 3972, 3973, 3974, 3976, 3985, 3987, 3994, 4002, 4011, 4014, 4016, 4017, 4022, 4035, 4040, 4044, 4053, 4054, 4059, 4063, 4065, 4066, 4070, 4071, 4072, 4075, 4077, 4081, 4083, 4086, 4087, 4088, 4091, 4092, 4101, 4104, 4109, 4147, 4151, 4155, 4156, 4164, 4171, 4172, 4182, 4184, 4188, 4194, 4195, 4198, 4199, 4204, 4210, 4212, 4213, 4226, 4228, 4229, 4234, 4235, 4245, 4249, 4254, 4258, 4259, 4261, 4264, 4276, 4281, 4285, 4287, 4291, 4295, 4296, 4298, 4299, 4300, 4301, 4302, 4305, 4307, 4310, 4316, 4317, 4321, 4325, 4328, 4337, 4338, 4339, 4342, 4347, 4348, 4351, 4357, 4359, 4360, 4364, 4366, 4371, 4379, 4380, 4381, 4382, 4384, 4386, 4389, 4391, 4396, 4397, 4402, 4404, 4407, 4410, 4411, 4413, 4417, 4428, 4429, 4438, 4441, 4442, 4445, 4446, 4453, 4458, 4465, 4471, 4478, 4479, 4481, 4485, 4488, 4490, 4502, 4505, 4512, 4515, 4516, 4519, 4521, 4522, 4524, 4528, 4529, 4539, 4540, 4542, 4547, 4553, 4558, 4559, 4562, 4568, 4570, 4571, 4572, 4573, 4578, 4587, 4592, 4594, 4600, 4601, 4602, 4603, 4627, 4628, 4631, 4633, 4636, 4637, 4644, 4648, 4651, 4652, 4654, 4655, 4656, 4659, 4660, 4661, 4662, 4668, 4678, 4680, 4681, 4688, 4691, 4705, 4708, 4710, 4723, 4725, 4727, 4729, 4734, 4735, 4738, 4739, 4749, 4751, 4752, 4764, 4765, 4766, 4769, 4775, 4777, 4778, 4782, 4785, 4786, 4787, 4797, 4799, 4801, 4803, 4805, 4806, 4807, 4810, 4813, 4816, 4817, 4819, 4829, 4836, 4845, 4848, 4850, 4853, 4866, 4871, 4882, 4884, 4885, 4887, 4889, 4898, 4906, 4909, 4914, 4915, 4921, 4925, 4940, 4943, 4945, 4948, 4950, 4951, 4956, 4957, 4959, 4961, 4965, 4966, 4967, 4971, 4972, 4977, 4990, 4992, 5001, 5002, 5004, 5012, 5013, 5014, 5020, 5023, 5024, 5034, 5035, 5037, 5040, 5044, 5045, 5048, 5053, 5058, 5063, 5065, 5067, 5072, 5075, 5078, 5084, 5087, 5090, 5091, 5096, 5102, 5133, 5135, 5152, 5153, 5154, 5158, 5160, 5162, 5166, 5172, 5179, 5187, 5194, 5195, 5198, 5200, 5201, 5204, 5205, 5212, 5214, 5221, 5222, 5227, 5230, 5247, 5249, 5258, 5261, 5263, 5269, 5271, 5277, 5278, 5280, 5281, 5282, 5292, 5295, 5301, 5303, 5312, 5320, 5324, 5326, 5330, 5331, 5333, 5342, 5345, 5353, 5354, 5355, 5357, 5363, 5369, 5370, 5371, 5375, 5380, 5381, 5386, 5388, 5391, 5393, 5395, 5399, 5401, 5408, 5414, 5426, 5428, 5429, 5436, 5437, 5441, 5447, 5449, 5457, 5458, 5460, 5461, 5462, 5470, 5483, 5484, 5486, 5489, 5490, 5492, 5500, 5501, 5502, 5503, 5506, 5507, 5508, 5509, 5517, 5521, 5525, 5527, 5536, 5538, 5539, 5541, 5545, 5548, 5549, 5556, 5566, 5569, 5576, 5578, 5580, 5599, 5600, 5601, 5604, 5606, 5610, 5611, 5620, 5622, 5627, 5631, 5635, 5643, 5645, 5657, 5661, 5666, 5670, 5681, 5685, 5688, 5689, 5695, 5698, 5699, 5701, 5708, 5709, 5710, 5713, 5715, 5720, 5726, 5727, 5730, 5733, 5743, 5744, 5746, 5755, 5759, 5760, 5764, 5768, 5772, 5778, 5782, 5783, 5785, 5787, 5788, 5790, 5801, 5808, 5813, 5815, 5820, 5822, 5823, 5834, 5837, 5849, 5857, 5867, 5876, 5882, 5886, 5887, 5889, 5890, 5892, 5904, 5905, 5906, 5914, 5918, 5922, 5924, 5929, 5930, 5936, 5937, 5939, 5944, 5948, 5950, 5951, 5956, 5957, 5958, 5960, 5963, 5964, 5972, 5976, 5978, 5984, 5989, 5990, 5998, 5999, 6001, 6018, 6021, 6026, 6039, 6040, 6041, 6043, 6046, 6047, 6050, 6058, 6062, 6066, 6073, 6074, 6077, 6078, 6090, 6095, 6098, 6100, 6104, 6106, 6117, 6125, 6129, 6130, 6136, 6137, 6144, 6151, 6153, 6156, 6158, 6166, 6167, 6171, 6173, 6177, 6180, 6183, 6184, 6192, 6196, 6201, 6206, 6209, 6210, 6211, 6215, 6218, 6222, 6226, 6227, 6231, 6234, 6238, 6242, 6243, 6248, 6255, 6257, 6258, 6262, 6263, 6266, 6267, 6269, 6270, 6273, 6274, 6283, 6287, 6288, 6296, 6299, 6302, 6303, 6306, 6309, 6310, 6313, 6318, 6324, 6326, 6332, 6337, 6346, 6347, 6350, 6364, 6370, 6376, 6380, 6396, 6398, 6399, 6406, 6408, 6410, 6412, 6414, 6417, 6422, 6426, 6427, 6429, 6430, 6431, 6432, 6443, 6450, 6453, 6455, 6459, 6462, 6467, 6473, 6475, 6476, 6477, 6479, 6486, 6494, 6522, 6525, 6528, 6530, 6531, 6539, 6540, 6541, 6555, 6557, 6559, 6564, 6566, 6568, 6574, 6575, 6576, 6577, 6581, 6584, 6589, 6593, 6595, 6596, 6599, 6604, 6605, 6607, 6609, 6610, 6618, 6619, 6620, 6629, 6631, 6634, 6636, 6639, 6644, 6645, 6646, 6647, 6651, 6658, 6661, 6662, 6665, 6669, 6674, 6675, 6677, 6680, 6683, 6684, 6685, 6686, 6694, 6702, 6708, 6709, 6716, 6725, 6726, 6729, 6731, 6733, 6735, 6737, 6743, 6745, 6750, 6751, 6755, 6760, 6762, 6764, 6771, 6774, 6778, 6783, 6792, 6794, 6795, 6798, 6799, 6800, 6804, 6806, 6807, 6808, 6810, 6811, 6815, 6816, 6819, 6831, 6836, 6837, 6842, 6844, 6858, 6867, 6868, 6870, 6871, 6875, 6876, 6877, 6878, 6881, 6887, 6894, 6898, 6906, 6907, 6912, 6917, 6922, 6923, 6927, 6930, 6931, 6935, 6936, 6937, 6942, 6957, 6958, 6964, 6965, 6969, 6972, 6983, 6995, 6998, 6999, 7007, 7010, 7017, 7026, 7027, 7028, 7030, 7031, 7044, 7046, 7047, 7054, 7057, 7059, 7060, 7072, 7077, 7079, 7084, 7086, 7087, 7096, 7100, 7108, 7113, 7114, 7117, 7118, 7119, 7120, 7125, 7129, 7135, 7138, 7139, 7142, 7145, 7146, 7150, 7153, 7154, 7156, 7157, 7163, 7171, 7174, 7175, 7177, 7186, 7187, 7194, 7196, 7200, 7205, 7213, 7218, 7224, 7226, 7229, 7230, 7235, 7239, 7242, 7245, 7253, 7259, 7261, 7266, 7267, 7271, 7273, 7281, 7282, 7284, 7285, 7288, 7289, 7291, 7292, 7294, 7302, 7306, 7307, 7309, 7312, 7314, 7315, 7317, 7319, 7322, 7330, 7332, 7335, 7336, 7337, 7338, 7339, 7341, 7346, 7350, 7354, 7356, 7359, 7363, 7369, 7370, 7373, 7378, 7381, 7385, 7389, 7392, 7398, 7401, 7405, 7408, 7412, 7413, 7417, 7422, 7424, 7427, 7432, 7436, 7438, 7439, 7449, 7455, 7457, 7459, 7463, 7465, 7466, 7468, 7476, 7478, 7479, 7481, 7487, 7488, 7505, 7507, 7518, 7520, 7522, 7525, 7531, 7533, 7539, 7540, 7548, 7553, 7558, 7559, 7565, 7569, 7572, 7574, 7577, 7578, 7581, 7584, 7588, 7589, 7590, 7600, 7607, 7609, 7610, 7619, 7624, 7626, 7627, 7628, 7632, 7636, 7637, 7642, 7645, 7647, 7650, 7651, 7656, 7658, 7667, 7669, 7674, 7675, 7683, 7696, 7698, 7699, 7702, 7712, 7714, 7717, 7718, 7721, 7731, 7732, 7735, 7740, 7741, 7742, 7744, 7747, 7750, 7752, 7754, 7756, 7757, 7758, 7759, 7764, 7765, 7770, 7772, 7773, 7775, 7777, 7778, 7781, 7786, 7790, 7792, 7794, 7800, 7805, 7808, 7809, 7811, 7820, 7823, 7824, 7825, 7833, 7834, 7836, 7849, 7853, 7857, 7861, 7863, 7868, 7872, 7876, 7885, 7889, 7893, 7896, 7898, 7901, 7903, 7904, 7906, 7907, 7908, 7913, 7914, 7917, 7921, 7928, 7935, 7936, 7940, 7941, 7942, 7943, 7944, 7945, 7955, 7959, 7960, 7962, 7963, 7972, 7975, 7983, 7984, 7988, 7990, 7992, 7993, 7997, 7999, 8011, 8015, 8020, 8023, 8030, 8032, 8034, 8037, 8046, 8048, 8054, 8058, 8063, 8064, 8065, 8073, 8074, 8081, 8082, 8083, 8091, 8094, 8096, 8107, 8110, 8120, 8125, 8127, 8128, 8138, 8139, 8141, 8146, 8155, 8164, 8165, 8169, 8172, 8175, 8180, 8185, 8191, 8201, 8213, 8220, 8223, 8231, 8239, 8245, 8248, 8252, 8254, 8260, 8263, 8269, 8277, 8282, 8283, 8286, 8290, 8309, 8310, 8312, 8314, 8315, 8317, 8318, 8325, 8326, 8328, 8329, 8331, 8336, 8342, 8348, 8350, 8355, 8359, 8362, 8367, 8371, 8377, 8382, 8387, 8396, 8401, 8403, 8404, 8405, 8410, 8419, 8421, 8424, 8435, 8461, 8463, 8466, 8468, 8469, 8477, 8479, 8484, 8486, 8489, 8493, 8495, 8502, 8503, 8504, 8507, 8522, 8525, 8529, 8533, 8535, 8537, 8542, 8546, 8548, 8550, 8551, 8560, 8561, 8565, 8573, 8579, 8580, 8584, 8585, 8587, 8588, 8592, 8593, 8595, 8597, 8603, 8608, 8609, 8617, 8621, 8624, 8625, 8626, 8630, 8632, 8642, 8644, 8646, 8647, 8649, 8658, 8660, 8662, 8663, 8664, 8674, 8675, 8677, 8681, 8682, 8683, 8689, 8691, 8692, 8693, 8700, 8705, 8710, 8712, 8713, 8723, 8725, 8727, 8736, 8739, 8741, 8743, 8744, 8745, 8748, 8750, 8762, 8765, 8776, 8781, 8782, 8784, 8789, 8790, 8799, 8804, 8811, 8817, 8819, 8825, 8826, 8828, 8835, 8837, 8839, 8843, 8845, 8846, 8852, 8856, 8858, 8860, 8861, 8863, 8866, 8867, 8878, 8883, 8892, 8895, 8896, 8898, 8901, 8911, 8913, 8919, 8921, 8922, 8923, 8925, 8928, 8929, 8934, 8935, 8943, 8946, 8948, 8954, 8955, 8963, 8964, 8965, 8968, 8971, 8975, 8976, 8978, 8979, 8981, 8984, 8989, 8990, 8991, 8992, 8997, 8998, 9004, 9009, 9013, 9016, 9025, 9032, 9033, 9041, 9042, 9044, 9045, 9049, 9051, 9052, 9053, 9060, 9062, 9068, 9073, 9074, 9078, 9080, 9085, 9086, 9087, 9095, 9096, 9098, 9100, 9101, 9103, 9105, 9106, 9110, 9120, 9123, 9127, 9130, 9139, 9141, 9144, 9145, 9147, 9158, 9160, 9163, 9166, 9173, 9175, 9185, 9188, 9189, 9191, 9192, 9196, 9203, 9204, 9211, 9214, 9217, 9218, 9220, 9221, 9231, 9232, 9234, 9235, 9237, 9238, 9244, 9245, 9247, 9248, 9251, 9254, 9263, 9268, 9271, 9277, 9278, 9281, 9285, 9286, 9290, 9295, 9296, 9301, 9303, 9305, 9310, 9314, 9315, 9316, 9318, 9321, 9328, 9330, 9332, 9333, 9336, 9344, 9350, 9363, 9366, 9368, 9371, 9372, 9378, 9380, 9386, 9389, 9392, 9393, 9400, 9402, 9411, 9413, 9415, 9421, 9425, 9431, 9432, 9441, 9447, 9449, 9452, 9457, 9458, 9459, 9461, 9462, 9463, 9467, 9473, 9474, 9485, 9489, 9490, 9492, 9503, 9504, 9507, 9511, 9519, 9523, 9525, 9528, 9541, 9546, 9548, 9550, 9551, 9555, 9559, 9564, 9569, 9570, 9571, 9573, 9574, 9577, 9585, 9588, 9592, 9595, 9598, 9599, 9602, 9603, 9604, 9611, 9612, 9613, 9615, 9620, 9622, 9624, 9632, 9636, 9640, 9648, 9653, 9661, 9662, 9664, 9666, 9667, 9670, 9672, 9674, 9678, 9681, 9692, 9694, 9699, 9708, 9717, 9719, 9720, 9723, 9725, 9728, 9730, 9732, 9738, 9741, 9742, 9745, 9752, 9753, 9754, 9755, 9756, 9757, 9761, 9764, 9767, 9774, 9775, 9776, 9784, 9787, 9789, 9790, 9794, 9795, 9801, 9804, 9805, 9806, 9809, 9811, 9814, 9816, 9821, 9823, 9827, 9828, 9831, 9838, 9839, 9840, 9841, 9844, 9847, 9853, 9856, 9859, 9860, 9867, 9873, 9876, 9879, 9880, 9881, 9886, 9887, 9890, 9893, 9896, 9897, 9898, 9903, 9904, 9907, 9910, 9912, 9928, 9929, 9935, 9936, 9941, 9948, 9951, 9956, 9958, 9964, 9967, 9968, 9971, 9978, 9984, 9990, 9991, 9996, 9997]}