Files
rzen 3a489fef0a Phase 1: trained 4096-vocab tokenizer + per-word encode cache
- artifacts/tokenizer.json: 3839 merges, trained on 50MB sample in 87s.
  3.97 bytes/token on held-out text.
- encode() caches word->ids so encoding the full corpus is mostly dict
  lookups (TinyStories has a small vocabulary).
2026-07-12 10:33:24 -04:00

1 line
46 KiB
JSON

{"special_tokens": {"<|endoftext|>": 4095}, "merges": [[32, 116], [104, 101], [32, 97], [32, 115], [32, 119], [110, 100], [256, 257], [101, 100], [32, 98], [256, 111], [258, 261], [32, 104], [32, 102], [105, 110], [32, 84], [260, 97], [114, 101], [105, 116], [111, 117], [32, 108], [32, 100], [32, 99], [32, 112], [97, 121], [32, 109], [101, 114], [271, 115], [111, 109], [270, 257], [32, 257], [105, 115], [97, 114], [32, 110], [105, 109], [111, 110], [259, 97], [105, 100], [108, 108], [267, 97], [32, 103], [97, 116], [269, 103], [32, 83], [111, 116], [101, 110], [97, 110], [108, 101], [111, 114], [105, 114], [97, 109], [101, 116], [32, 72], [32, 273], [256, 104], [105, 103], [284, 121], [32, 269], [105, 108], [278, 108], [307, 101], [32, 34], [111, 119], [118, 281], [114, 105], [117, 116], [264, 101], [32, 117], [291, 292], [314, 279], [273, 104], [276, 279], [112, 112], [260, 325], [79, 110], [32, 111], [32, 121], [111, 111], [32, 114], [107, 263], [99, 101], [32, 73], [285, 114], [108, 100], [298, 257], [270, 289], [267, 286], [259, 116], [107, 101], [32, 101], [99, 107], [110, 116], [264, 310], [331, 274], [318, 121], [115, 116], [118, 101], [101, 261], [32, 290], [117, 110], [294, 327], [319, 352], [268, 356], [97, 293], [313, 121], [262, 121], [32, 76], [260, 101], [294, 100], [322, 112], [288, 299], [271, 346], [257, 114], [275, 105], [330, 102], [97, 100], [273, 116], [115, 101], [32, 66], [276, 111], [355, 121], [32, 77], [300, 116], [32, 349], [101, 115], [309, 296], [291, 119], [329, 101], [274, 338], [268, 303], [259, 104], [280, 283], [371, 302], [259, 111], [275, 387], [259, 257], [289, 101], [288, 101], [46, 34], [288, 305], [99, 104], [256, 391], [274, 261], [32, 107], [262, 272], [394, 263], [259, 109], [362, 272], [361, 359], [264, 111], [366, 263], [357, 115], [274, 116], [264, 320], [84, 257], [33, 34], [118, 263], [104, 116], [304, 100], [270, 283], [101, 108], [264, 413], [258, 110], [97, 108], [97, 343], [283, 101], [336, 116], [265, 111], [117, 103], [292, 101], [260, 377], [260, 104], [329, 335], [285, 108], [117, 101], [258, 293], [32, 286], [428, 112], [275, 332], [275, 111], [114, 121], [364, 290], [32, 65], [116, 281], [111, 272], [105, 261], [268, 354], [105, 293], [103, 306], [305, 101], [265, 121], [258, 115], [32, 106], [276, 292], [258, 116], [443, 367], [114, 97], [32, 272], [117, 114], [259, 101], [265, 450], [97, 345], [277, 296], [256, 272], [108, 121], [332, 100], [105, 99], [116, 263], [374, 103], [277, 383], [277, 301], [262, 304], [287, 100], [287, 107], [101, 99], [264, 358], [324, 263], [119, 279], [295, 304], [267, 289], [63, 34], [295, 111], [473, 108], [109, 121], [333, 111], [257, 100], [97, 269], [32, 407], [258, 272], [275, 101], [398, 110], [257, 110], [97, 120], [262, 109], [268, 114], [117, 109], [291, 100], [458, 101], [117, 108], [404, 121], [294, 351], [277, 108], [299, 367], [280, 301], [274, 103], [434, 411], [433, 334], [268, 397], [259, 112], [342, 287], [290, 101], [298, 429], [10, 10], [104, 297], [376, 487], [264, 456], [259, 99], [317, 110], [368, 343], [97, 272], [280, 101], [102, 493], [115, 424], [321, 99], [310, 412], [278, 468], [277, 287], [290, 103], [415, 116], [32, 382], [111, 112], [368, 334], [260, 383], [114, 397], [268, 97], [275, 97], [280, 419], [268, 523], [454, 101], [89, 274], [32, 87], [283, 306], [373, 320], [101, 293], [288, 111], [274, 372], [446, 334], [392, 119], [373, 300], [504, 462], [97, 103], [105, 335], [277, 444], [258, 108], [287, 263], [298, 305], [499, 412], [313, 263], [32, 497], [259, 536], [258, 103], [295, 460], [401, 358], [115, 115], [264, 114], [259, 279], [401, 552], [370, 101], [111, 98], [297, 115], [32, 10], [319, 263], [112, 299], [344, 120], [258, 472], [268, 440], [116, 121], [260, 303], [278, 320], [554, 508], [426, 296], [280, 562], [309, 551], [267, 420], [300, 263], [277, 111], [105, 97], [489, 283], [271, 108], [324, 297], [332, 107], [344, 349], [280, 117], [333, 301], [97, 395], [298, 567], [32, 74], [287, 110], [32, 70], [117, 99], [105, 302], [555, 481], [259, 420], [105, 101], [100, 100], [276, 512], [110, 121], [267, 540], [97, 351], [117, 272], [107, 297], [530, 423], [268, 108], [101, 112], [511, 549], [105, 345], [278, 114], [97, 98], [422, 107], [105, 102], [404, 120], [32, 534], [484, 592], [260, 442], [272, 116], [258, 528], [309, 564], [286, 104], [280, 121], [445, 115], [117, 345], [264, 108], [274, 100], [259, 354], [268, 101], [260, 486], [348, 114], [262, 110], [368, 411], [44, 34], [259, 119], [327, 263], [97, 115], [258, 98], [277, 104], [301, 107], [117, 115], [299, 104], [84, 289], [376, 581], [97, 112], [295, 306], [275, 299], [84, 104], [286, 116], [273, 263], [490, 112], [485, 317], [560, 115], [117, 350], [295, 299], [256, 566], [594, 121], [426, 111], [485, 101], [261, 281], [498, 121], [312, 116], [638, 407], [278, 619], [417, 121], [76, 359], [286, 101], [276, 469], [105, 351], [278, 461], [32, 68], [333, 263], [280, 439], [113, 117], [659, 119], [278, 111], [97, 335], [274, 115], [267, 423], [277, 514], [358, 121], [32, 118], [321, 350], [453, 112], [568, 99], [97, 117], [271, 438], [518, 444], [102, 438], [617, 263], [472, 115], [330, 112], [226, 128], [295, 272], [686, 372], [548, 691], [482, 517], [373, 563], [361, 657], [433, 107], [322, 110], [606, 480], [385, 317], [376, 283], [267, 111], [668, 292], [301, 116], [706, 263], [264, 642], [298, 111], [344, 296], [518, 695], [479, 283], [662, 111], [281, 115], [273, 101], [437, 261], [102, 101], [117, 599], [447, 651], [110, 110], [32, 343], [278, 101], [409, 121], [309, 286], [685, 650], [353, 101], [276, 370], [529, 350], [288, 546], [32, 69], [89, 379], [333, 354], [629, 415], [275, 522], [684, 114], [84, 283], [256, 114], [259, 736], [265, 338], [274, 114], [258, 109], [269, 121], [259, 107], [269, 107], [117, 293], [259, 108], [721, 97], [312, 517], [664, 571], [259, 303], [280, 111], [295, 451], [256, 419], [87, 104], [479, 345], [302, 119], [344, 589], [295, 603], [342, 114], [267, 317], [587, 395], [103, 263], [392, 263], [309, 301], [111, 103], [118, 300], [289, 418], [66, 320], [417, 768], [32, 67], [287, 97], [265, 119], [751, 435], [32, 303], [322, 660], [275, 306], [330, 338], [103, 101], [379, 115], [321, 287], [286, 263], [114, 111], [453, 116], [496, 111], [583, 334], [268, 622], [294, 261], [97, 261], [97, 350], [97, 372], [277, 302], [453, 110], [102, 116], [607, 317], [447, 654], [398, 440], [448, 110], [257, 272], [268, 460], [355, 579], [307, 286], [271, 116], [112, 108], [102, 102], [114, 283], [535, 101], [267, 310], [268, 105], [32, 424], [99, 480], [256, 101], [256, 435], [744, 121], [269, 101], [275, 649], [264, 306], [770, 115], [810, 97], [259, 110], [308, 115], [118, 297], [392, 287], [256, 119], [322, 115], [103, 435], [285, 467], [817, 438], [612, 302], [112, 469], [264, 423], [296, 101], [270, 104], [32, 300], [385, 514], [32, 614], [342, 303], [680, 516], [437, 478], [77, 283], [648, 640], [276, 301], [101, 120], [268, 459], [105, 418], [277, 283], [108, 102], [268, 757], [503, 469], [849, 845], [105, 290], [647, 115], [109, 439], [665, 853], [392, 318], [264, 121], [276, 290], [272, 305], [268, 111], [385, 743], [295, 114], [344, 767], [260, 440], [344, 261], [434, 351], [268, 439], [507, 10], [303, 116], [256, 418], [284, 110], [437, 748], [98, 281], [719, 300], [280, 545], [97, 107], [114, 109], [277, 419], [580, 108], [792, 301], [264, 117], [289, 98], [264, 585], [267, 467], [256, 793], [330, 318], [496, 881], [731, 349], [264, 370], [525, 302], [873, 459], [830, 462], [76, 306], [808, 104], [739, 782], [268, 305], [277, 420], [267, 784], [670, 334], [258, 689], [611, 627], [271, 121], [98, 98], [277, 257], [374, 303], [843, 891], [701, 905], [277, 117], [295, 108], [295, 528], [370, 121], [692, 579], [291, 718], [32, 289], [295, 669], [275, 627], [467, 300], [765, 334], [295, 916], [65, 115], [878, 303], [723, 889], [593, 806], [679, 763], [342, 442], [626, 429], [313, 100], [344, 318], [268, 287], [97, 313], [78, 111], [535, 486], [277, 358], [105, 122], [32, 75], [298, 772], [499, 104], [490, 478], [307, 281], [332, 108], [32, 674], [874, 461], [369, 102], [302, 115], [116, 604], [583, 107], [720, 263], [895, 359], [105, 112], [401, 595], [398, 292], [117, 805], [107, 279], [545, 101], [385, 383], [278, 287], [342, 279], [336, 110], [866, 350], [694, 296], [257, 115], [342, 111], [101, 109], [97, 320], [288, 317], [314, 677], [259, 674], [760, 522], [32, 80], [371, 121], [110, 297], [99, 116], [264, 451], [322, 346], [111, 290], [321, 963], [354, 601], [342, 610], [100, 121], [670, 944], [120, 116], [302, 791], [392, 980], [98, 101], [301, 101], [973, 313], [272, 108], [837, 121], [97, 605], [355, 359], [950, 115], [333, 481], [105, 516], [975, 992], [559, 111], [785, 115], [111, 121], [258, 327], [913, 112], [816, 300], [703, 263], [773, 110], [489, 766], [256, 451], [426, 595], [432, 263], [272, 101], [112, 116], [105, 379], [586, 505], [73, 116], [116, 104], [321, 297], [280, 306], [78, 317], [280, 303], [738, 625], [272, 558], [258, 100], [260, 111], [961, 636], [932, 263], [452, 109], [294, 116], [295, 444], [280, 540], [951, 121], [98, 121], [277, 435], [388, 794], [67, 301], [87, 486], [72, 101], [692, 300], [264, 263], [722, 608], [361, 306], [417, 826], [276, 451], [803, 395], [331, 937], [118, 377], [374, 293], [535, 104], [404, 296], [287, 121], [103, 281], [98, 273], [795, 715], [612, 1047], [599, 263], [115, 111], [286, 480], [972, 351], [464, 110], [934, 969], [548, 1051], [747, 424], [298, 681], [103, 301], [449, 101], [102, 439], [694, 300], [434, 350], [276, 101], [484, 603], [271, 876], [333, 1049], [32, 82], [539, 667], [286, 115], [304, 350], [268, 538], [304, 986], [260, 799], [372, 847], [755, 296], [98, 302], [529, 335], [824, 111], [111, 345], [966, 1073], [388, 290], [108, 1026], [442, 121], [285, 287], [97, 122], [278, 641], [278, 481], [304, 263], [109, 97], [317, 108], [72, 105], [539, 1050], [321, 1061], [788, 115], [705, 302], [302, 608], [291, 116], [76, 585], [409, 110], [722, 1007], [568, 804], [693, 156], [648, 296], [264, 272], [66, 300], [693, 157], [268, 269], [278, 97], [101, 287], [279, 983], [322, 372], [344, 121], [100, 279], [416, 115], [457, 395], [264, 976], [294, 822], [476, 297], [277, 585], [441, 601], [116, 508], [593, 1083], [32, 1014], [309, 745], [294, 115], [256, 1089], [676, 261], [342, 439], [301, 779], [309, 114], [260, 114], [628, 601], [433, 605], [809, 120], [117, 395], [825, 263], [32, 741], [386, 478], [259, 297], [331, 538], [259, 397], [771, 301], [515, 301], [572, 107], [321, 104], [87, 101], [553, 115], [116, 297], [277, 451], [273, 99], [106, 996], [962, 872], [446, 107], [272, 119], [285, 370], [271, 273], [97, 304], [264, 641], [1113, 379], [97, 423], [447, 111], [1161, 412], [278, 746], [682, 111], [276, 114], [591, 456], [1151, 486], [398, 1168], [108, 263], [529, 118], [268, 1071], [607, 111], [32, 71], [538, 111], [72, 1175], [256, 319], [869, 107], [267, 442], [333, 677], [834, 1152], [333, 519], [795, 281], [559, 519], [110, 103], [105, 678], [276, 614], [998, 868], [117, 273], [276, 625], [122, 121], [303, 110], [280, 780], [1022, 1153], [591, 111], [259, 1097], [97, 99], [955, 571], [1018, 1041], [671, 111], [278, 598], [907, 319], [580, 338], [452, 418], [1015, 418], [277, 290], [267, 525], [274, 346], [291, 261], [289, 379], [264, 545], [276, 304], [296, 104], [1188, 707], [293, 317], [593, 269], [32, 1103], [280, 290], [385, 549], [1202, 678], [272, 263], [330, 952], [280, 988], [256, 358], [321, 1059], [496, 97], [267, 292], [65, 116], [101, 306], [753, 558], [113, 429], [1171, 303], [331, 467], [285, 272], [104, 110], [645, 281], [739, 667], [1232, 716], [293, 121], [572, 334], [32, 122], [309, 297], [452, 350], [68, 290], [350, 281], [469, 116], [276, 286], [87, 317], [32, 546], [859, 1215], [267, 299], [555, 1221], [288, 519], [277, 320], [265, 112], [32, 512], [276, 1017], [583, 605], [803, 811], [626, 1080], [458, 379], [1146, 440], [321, 108], [833, 286], [1165, 546], [385, 111], [267, 354], [342, 525], [278, 610], [276, 468], [256, 829], [333, 117], [32, 319], [105, 263], [572, 435], [256, 538], [259, 522], [752, 351], [671, 370], [286, 121], [521, 115], [884, 263], [920, 115], [1173, 303], [809, 272], [384, 103], [65, 689], [1038, 119], [452, 370], [278, 981], [287, 297], [374, 379], [1065, 115], [77, 487], [755, 121], [385, 407], [65, 748], [928, 109], [764, 263], [718, 272], [256, 929], [693, 153], [1199, 604], [1187, 1300], [99, 111], [105, 343], [376, 114], [298, 890], [368, 290], [278, 1236], [310, 110], [995, 281], [734, 297], [281, 263], [635, 297], [276, 415], [83, 429], [98, 111], [1267, 826], [277, 566], [479, 293], [260, 306], [635, 1229], [97, 811], [606, 104], [268, 746], [833, 296], [256, 790], [1304, 346], [698, 111], [886, 263], [842, 335], [437, 115], [260, 460], [1201, 335], [842, 99], [357, 459], [1141, 317], [452, 910], [277, 114], [314, 301], [107, 300], [296, 281], [265, 1136], [258, 346], [83, 305], [611, 269], [275, 910], [275, 519], [408, 438], [83, 257], [111, 283], [635, 289], [1019, 660], [340, 478], [994, 1342], [1027, 101], [119, 799], [105, 377], [733, 970], [278, 281], [295, 505], [99, 334], [611, 283], [327, 121], [705, 338], [353, 459], [294, 304], [785, 372], [816, 579], [417, 497], [261, 1090], [664, 352], [115, 104], [269, 115], [452, 1324], [908, 370], [902, 263], [83, 111], [1260, 115], [432, 297], [489, 1189], [612, 121], [83, 890], [277, 939], [454, 379], [313, 97], [591, 984], [321, 300], [505, 121], [83, 772], [742, 1086], [401, 538], [452, 804], [97, 102], [342, 625], [276, 319], [258, 99], [747, 317], [296, 367], [278, 117], [437, 293], [556, 1357], [887, 505], [271, 293], [461, 263], [259, 273], [342, 101], [275, 780], [280, 519], [32, 79], [97, 118], [277, 858], [940, 610], [820, 317], [587, 350], [258, 114], [1087, 480], [386, 377], [394, 101], [470, 974], [529, 304], [276, 269], [863, 317], [97, 1280], [77, 581], [264, 1383], [264, 273], [260, 1052], [846, 297], [776, 350], [700, 115], [276, 858], [260, 269], [285, 338], [114, 263], [1102, 439], [264, 287], [813, 297], [461, 121], [271, 103], [374, 297], [268, 519], [496, 627], [861, 317], [276, 505], [639, 926], [1131, 936], [933, 263], [1361, 102], [1003, 269], [267, 424], [997, 302], [880, 121], [1212, 571], [309, 640], [305, 379], [426, 121], [276, 783], [277, 1208], [452, 589], [882, 115], [299, 116], [1350, 102], [305, 112], [280, 296], [484, 794], [559, 497], [278, 745], [268, 358], [1226, 636], [259, 604], [719, 121], [256, 743], [343, 121], [73, 110], [789, 121], [511, 1045], [1394, 1274], [309, 1006], [415, 121], [260, 667], [105, 120], [598, 338], [1296, 263], [296, 851], [79, 952], [314, 707], [258, 304], [530, 261], [454, 300], [880, 926], [503, 108], [554, 1210], [1088, 116], [907, 112], [264, 757], [278, 300], [278, 299], [1334, 115], [637, 104], [407, 104], [1162, 269], [112, 101], [956, 263], [280, 287], [704, 478], [347, 1046], [1164, 263], [287, 116], [280, 1502], [271, 650], [1414, 459], [100, 281], [1194, 263], [32, 1091], [979, 115], [437, 689], [920, 516], [783, 283], [271, 411], [753, 1378], [458, 296], [1409, 290], [317, 281], [1181, 263], [637, 107], [665, 1122], [32, 351], [559, 301], [639, 1158], [548, 505], [284, 272], [109, 301], [392, 350], [295, 1457], [1412, 121], [268, 442], [1206, 116], [447, 563], [365, 1406], [503, 299], [274, 112], [100, 115], [648, 286], [79, 104], [74, 111], [100, 101], [256, 519], [99, 302], [277, 272], [259, 306], [280, 1070], [637, 604], [277, 790], [447, 101], [295, 377], [112, 104], [373, 1473], [108, 99], [264, 1463], [572, 338], [1464, 459], [705, 636], [264, 1306], [278, 296], [454, 97], [331, 1110], [309, 1155], [114, 317], [319, 379], [625, 121], [258, 876], [884, 115], [994, 343], [280, 1483], [513, 115], [295, 614], [496, 299], [474, 1075], [671, 1425], [645, 101], [587, 115], [1579, 960], [846, 112], [285, 1537], [773, 281], [1105, 875], [635, 305], [116, 290], [72, 281], [722, 121], [676, 108], [626, 456], [586, 1358], [1250, 263], [321, 101], [531, 115], [68, 111], [1043, 296], [1316, 461], [83, 567], [76, 657], [260, 290], [971, 303], [66, 563], [1132, 522], [110, 281], [302, 558], [426, 716], [1336, 263], [105, 306], [111, 1239], [1286, 299], [34, 46], [1011, 121], [682, 286], [288, 645], [1218, 1245], [940, 1612], [335, 558], [333, 397], [264, 303], [447, 117], [362, 287], [117, 263], [1583, 461], [1555, 302], [1064, 608], [452, 108], [746, 121], [333, 424], [1431, 789], [303, 109], [117, 112], [122, 122], [935, 104], [276, 435], [280, 490], [101, 101], [274, 110], [559, 551], [267, 273], [366, 115], [111, 115], [32, 1231], [1195, 1235], [102, 1631], [351, 115], [484, 1395], [99, 121], [514, 346], [783, 558], [259, 1311], [859, 120], [272, 110], [729, 281], [286, 438], [70, 806], [869, 334], [484, 103], [278, 1652], [401, 1510], [301, 335], [344, 109], [756, 115], [452, 115], [467, 115], [385, 1291], [454, 99], [362, 293], [572, 566], [114, 299], [957, 517], [1617, 273], [259, 424], [626, 640], [1108, 1052], [295, 105], [116, 115], [371, 300], [270, 111], [1423, 1608], [844, 297], [1677, 306], [1120, 1008], [1670, 619], [676, 269], [355, 300], [1539, 269], [452, 681], [408, 1590], [259, 1084], [344, 302], [77, 1111], [398, 297], [597, 505], [264, 1091], [300, 335], [278, 310], [731, 109], [376, 1111], [586, 1122], [344, 108], [361, 1387], [503, 114], [268, 1484], [289, 105], [101, 121], [259, 1658], [260, 622], [301, 103], [1704, 372], [949, 115], [295, 117], [1450, 1246], [268, 1006], [587, 100], [447, 287], [437, 116], [1547, 1235], [263, 978], [710, 290], [265, 1114], [278, 719], [1028, 297], [680, 1648], [296, 263], [278, 790], [753, 1372], [321, 589], [1447, 1656], [72, 286], [70, 269], [122, 101], [755, 595], [842, 1046], [362, 1560], [385, 269], [372, 115], [291, 1185], [559, 512], [1538, 263], [1690, 1626], [775, 1130], [1273, 318], [711, 297], [1321, 263], [1204, 1449], [278, 684], [1364, 782], [344, 287], [101, 370], [1166, 745], [371, 297], [1530, 395], [1131, 317], [74, 654], [105, 327], [264, 716], [350, 1753], [1750, 302], [820, 456], [1154, 115], [995, 263], [1335, 115], [395, 939], [1422, 121], [606, 508], [840, 478], [373, 1084], [268, 453], [290, 115], [1318, 467], [275, 290], [820, 419], [278, 306], [1150, 98], [65, 478], [1775, 1481], [997, 943], [345, 306], [331, 379], [277, 317], [259, 1767], [1218, 1475], [1266, 379], [771, 104], [103, 121], [1392, 297], [641, 263], [264, 1213], [259, 1543], [264, 1641], [760, 1130], [286, 379], [1578, 116], [591, 300], [449, 116], [328, 407], [1015, 970], [752, 411], [105, 272], [572, 1544], [102, 622], [1441, 763], [1438, 334], [105, 318], [733, 115], [479, 370], [259, 1755], [1561, 302], [303, 100], [46, 1107], [1662, 115], [834, 936], [277, 1477], [903, 101], [637, 263], [376, 1708], [260, 257], [374, 1605], [267, 303], [280, 370], [32, 45], [97, 558], [646, 1149], [102, 868], [426, 649], [580, 293], [1738, 420], [277, 101], [373, 108], [97, 302], [354, 395], [291, 313], [105, 395], [458, 1554], [32, 90], [1174, 451], [777, 438], [368, 822], [1737, 678], [401, 111], [1125, 115], [1109, 558], [354, 97], [101, 478], [280, 1390], [1263, 598], [278, 442], [278, 104], [385, 525], [33, 1107], [1087, 104], [1601, 1186], [275, 419], [310, 104], [260, 564], [342, 272], [287, 109], [580, 296], [105, 1077], [269, 263], [641, 104], [109, 101], [1551, 296], [418, 1616], [1108, 681], [538, 97], [351, 108], [1739, 297], [1195, 101], [504, 116], [117, 902], [115, 306], [264, 317], [117, 98], [342, 789], [97, 327], [1109, 119], [278, 272], [98, 317], [808, 367], [268, 301], [869, 605], [1038, 103], [101, 98], [273, 395], [277, 1163], [1725, 302], [1527, 306], [280, 497], [264, 1892], [333, 97], [539, 372], [291, 1866], [635, 564], [342, 505], [310, 103], [280, 929], [326, 115], [511, 858], [559, 297], [286, 107], [79, 75], [454, 263], [1459, 636], [1019, 343], [103, 103], [265, 109], [99, 960], [337, 1075], [264, 296], [80, 981], [1568, 115], [991, 1883], [1417, 319], [414, 478], [454, 287], [278, 715], [256, 1722], [264, 625], [115, 119], [1298, 281], [903, 1314], [291, 345], [264, 300], [74, 456], [1256, 281], [417, 1924], [105, 281], [1328, 121], [344, 1910], [277, 1192], [1558, 707], [1254, 101], [824, 1375], [1818, 372], [1263, 522], [345, 115], [1905, 715], [288, 320], [1207, 263], [1042, 115], [260, 439], [268, 273], [1105, 370], [293, 598], [503, 269], [1694, 1936], [390, 293], [115, 99], [479, 1504], [694, 119], [812, 1197], [1140, 297], [280, 269], [812, 589], [866, 318], [533, 109], [280, 815], [521, 1673], [281, 435], [1340, 279], [1354, 516], [1557, 302], [682, 442], [115, 121], [1068, 1848], [1734, 681], [1401, 1365], [105, 636], [738, 274], [277, 741], [1833, 429], [265, 594], [611, 563], [111, 372], [451, 971], [385, 585], [286, 97], [521, 435], [385, 645], [1701, 1090], [1085, 116], [752, 350], [302, 109], [292, 779], [278, 595], [1918, 411], [267, 1390], [1978, 1988], [1142, 115], [638, 302], [98, 358], [784, 302], [447, 996], [288, 490], [71, 460], [1975, 372], [304, 112], [1860, 306], [275, 1835], [1928, 395], [1366, 297], [1159, 104], [278, 1525], [98, 114], [102, 1791], [105, 301], [268, 1699], [1227, 297], [370, 317], [1212, 116], [1043, 1942], [833, 640], [385, 419], [304, 1011], [1823, 372], [2019, 1114], [1163, 121], [314, 984], [1159, 121], [1977, 480], [1956, 367], [312, 99], [296, 303], [288, 2022], [1968, 953], [629, 119], [1364, 667], [117, 346], [296, 111], [101, 549], [1984, 379], [1850, 351], [503, 468], [264, 789], [515, 306], [1887, 290], [10, 565], [1624, 546], [831, 115], [773, 1668], [608, 352], [278, 525], [385, 287], [1208, 481], [1177, 112], [344, 637], [2048, 112], [276, 379], [108, 297], [734, 115], [398, 716], [373, 1870], [264, 2021], [503, 974], [256, 1997], [385, 114], [305, 97], [741, 110], [271, 114], [503, 111], [277, 603], [447, 2063], [392, 345], [676, 1782], [496, 642], [1566, 1359], [479, 98], [275, 832], [484, 109], [321, 293], [861, 279], [504, 115], [364, 1876], [775, 1059], [470, 115], [280, 468], [103, 459], [398, 1070], [260, 451], [1829, 302], [432, 516], [330, 98], [539, 1796], [837, 109], [280, 649], [1679, 707], [1305, 108], [1397, 318], [111, 108], [97, 453], [418, 109], [293, 97], [1190, 115], [368, 351], [1523, 115], [503, 292], [260, 926], [859, 338], [452, 99], [313, 107], [306, 281], [837, 1008], [259, 594], [941, 418], [1851, 317], [454, 296], [322, 2082], [277, 467], [256, 988], [679, 115], [275, 1572], [280, 2105], [1399, 459], [1272, 1548], [313, 297], [272, 370], [651, 121], [1392, 263], [1247, 1880], [111, 350], [580, 318], [1828, 829], [282, 110], [760, 297], [1459, 351], [385, 121], [593, 1436], [493, 287], [1852, 505], [1401, 1636], [276, 649], [259, 281], [2072, 299], [933, 101], [908, 317], [312, 118], [1493, 637], [111, 351], [376, 468], [533, 107], [327, 297], [538, 121], [752, 290], [361, 101], [348, 1185], [260, 424], [1923, 306], [304, 116], [259, 423], [288, 306], [753, 98], [404, 558], [1216, 681], [955, 116], [1132, 716], [728, 978], [1347, 1621], [591, 289], [259, 415], [1415, 1534], [312, 1761], [110, 299], [1032, 121], [1821, 415], [277, 304], [309, 269], [32, 329], [1209, 119], [280, 299], [83, 604], [580, 269], [465, 2167], [771, 296], [76, 1343], [354, 103], [679, 101], [300, 115], [1241, 1352], [310, 281], [76, 1387], [66, 101], [280, 589], [327, 281], [303, 115], [2101, 281], [2164, 1805], [503, 1440], [361, 1982], [398, 1681], [79, 102], [259, 610], [1397, 351], [747, 292], [1303, 115], [591, 654], [384, 443], [276, 105], [639, 610], [291, 108], [1135, 263], [846, 379], [302, 116], [100, 300], [2002, 121], [1408, 636], [264, 505], [272, 350], [1108, 622], [361, 1847], [277, 97], [639, 1819], [1227, 2208], [390, 847], [281, 116], [108, 1525], [259, 890], [101, 350], [880, 902], [530, 350], [275, 370], [766, 1789], [256, 598], [256, 292], [1443, 297], [1120, 598], [771, 420], [682, 418], [332, 372], [1196, 121], [1706, 279], [271, 351], [1553, 263], [1150, 119], [1844, 642], [859, 299], [704, 111], [278, 1213], [1398, 1653], [101, 2212], [1193, 121], [321, 875], [639, 111], [1206, 2010], [2225, 1514], [812, 97], [98, 1170], [861, 832], [792, 318], [447, 2147], [100, 779], [333, 370], [1328, 101], [903, 119], [639, 1130], [525, 104], [373, 976], [330, 767], [446, 104], [275, 1343], [933, 122], [264, 468], [1277, 115], [723, 677], [662, 2244], [368, 718], [1039, 297], [319, 293], [1646, 300], [614, 101], [2252, 516], [333, 297], [281, 121], [1490, 263], [861, 2122], [278, 301], [116, 111], [101, 318], [83, 116], [32, 78], [282, 104], [83, 974], [268, 297], [2228, 121], [1661, 115], [913, 545], [273, 121], [32, 377], [306, 104], [1279, 978], [503, 101], [331, 766], [305, 263], [259, 741], [309, 936], [277, 274], [977, 115], [481, 263], [259, 117], [1840, 1372], [423, 103], [264, 551], [851, 115], [121, 467], [2149, 111], [2074, 290], [623, 1245], [591, 442], [521, 116], [1207, 101], [342, 608], [268, 302], [1788, 2209], [1241, 332], [1162, 343], [568, 112], [84, 111], [756, 306], [2187, 815], [510, 2308], [447, 766], [264, 301], [63, 1107], [933, 1191], [276, 1155], [277, 2096], [119, 467], [109, 281], [1646, 350], [463, 115], [287, 115], [268, 313], [365, 508], [437, 721], [1557, 459], [1444, 115], [275, 279], [109, 297], [390, 608], [278, 456], [548, 522], [1354, 263], [368, 794], [965, 115], [373, 101], [1411, 1949], [332, 102], [1102, 303], [530, 119], [1961, 263], [2269, 297], [2174, 303], [572, 109], [119, 415], [290, 379], [1393, 121], [314, 832], [293, 111], [754, 115], [665, 505], [591, 1964], [354, 107], [281, 459], [2326, 301], [830, 116], [572, 605], [398, 610], [264, 97], [276, 622], [67, 420], [1286, 669], [658, 302], [535, 325], [511, 287], [290, 116], [2157, 121], [2135, 302], [1665, 112], [2382, 571], [303, 1570], [1556, 2358], [280, 645], [280, 440], [1921, 290], [392, 1858], [291, 351], [1573, 115], [1318, 120], [735, 281], [1078, 115], [303, 107], [948, 101], [2303, 327], [107, 269], [1493, 1501], [1623, 297], [280, 1111], [353, 2281], [2389, 98], [1382, 115], [493, 116], [278, 1980], [1019, 847], [525, 101], [280, 263], [2090, 419], [278, 269], [1352, 121], [1345, 115], [376, 1613], [278, 741], [115, 112], [111, 1363], [489, 2379], [362, 875], [32, 1311], [2051, 121], [1488, 115], [914, 115], [260, 297], [865, 459], [611, 299], [291, 411], [1353, 2342], [98, 287], [1393, 263], [373, 117], [270, 86], [258, 118], [1974, 1077], [1645, 2095], [277, 1653], [77, 121], [1466, 395], [720, 297], [452, 116], [259, 1136], [258, 971], [110, 263], [1911, 2384], [629, 1400], [109, 377], [287, 779], [2265, 97], [505, 350], [281, 97], [530, 1191], [284, 304], [268, 419], [2440, 793], [1064, 281], [738, 429], [285, 1868], [388, 108], [117, 681], [1999, 872], [295, 1400], [273, 297], [101, 107], [1157, 297], [267, 2449], [1197, 263], [275, 815], [451, 558], [278, 2448], [2429, 2468], [2067, 1709], [1665, 2470], [1166, 490], [1423, 2435], [1043, 121], [476, 379], [476, 338], [453, 372], [304, 114], [83, 681], [267, 490], [997, 2035], [283, 301], [75, 969], [2378, 102], [2108, 1621], [1885, 1651], [903, 281], [275, 2447], [365, 101], [342, 460], [97, 119], [32, 1440], [65, 261], [260, 2483], [332, 112], [1965, 1773], [111, 99], [278, 939], [2008, 516], [385, 2014], [1373, 263], [344, 545], [277, 953], [1688, 462], [823, 1027], [1682, 450], [865, 115], [698, 1027], [1903, 263], [998, 1017], [573, 115], [276, 310], [118, 678], [2142, 480], [362, 1291], [812, 2293], [2263, 2297], [779, 350], [321, 301], [1931, 281], [376, 121], [259, 453], [1794, 335], [117, 335], [995, 306], [269, 97], [968, 981], [738, 654], [521, 566], [388, 338], [404, 299], [496, 279], [415, 112], [388, 645], [629, 287], [342, 619], [298, 536], [1336, 297], [820, 1640], [385, 468], [288, 281], [1920, 395], [1347, 335], [1174, 111], [671, 2226], [539, 1280], [336, 102], [260, 286], [295, 832], [2542, 2514], [1273, 395], [580, 1191], [452, 103], [434, 345], [258, 102], [879, 263], [307, 317], [294, 1185], [376, 1045], [320, 101], [671, 290], [614, 102], [108, 669], [639, 791], [461, 334], [401, 2120], [1953, 1582], [285, 2362], [385, 2153], [278, 319], [256, 1582], [1593, 716], [271, 805], [1163, 281], [287, 108], [277, 645], [112, 97], [2173, 1837], [668, 303], [1630, 598], [1088, 462], [451, 292], [264, 418], [386, 115], [370, 111], [2556, 2583], [1867, 669], [908, 1826], [259, 1231], [333, 514], [2247, 2092], [629, 306], [291, 102], [1466, 438], [385, 948], [268, 296], [110, 780], [342, 451], [1177, 379], [2283, 525], [1935, 281], [705, 372], [559, 1989], [271, 261], [2300, 395], [451, 103], [72, 2534], [1272, 98], [1421, 115], [682, 791], [115, 281], [258, 112], [256, 2184], [682, 301], [371, 281], [309, 610], [298, 116], [785, 345], [659, 101], [302, 2009], [289, 112], [342, 117], [276, 2575], [1832, 2621], [1226, 558], [1166, 640], [447, 306], [262, 372], [629, 263], [280, 2479], [1347, 116], [676, 303], [264, 592], [1772, 435], [286, 112], [256, 377], [68, 370], [2592, 832], [496, 645], [261, 2578], [1492, 297], [2631, 303], [299, 101], [264, 419], [1410, 121], [373, 413], [2311, 1186], [1247, 1305], [295, 1900], [267, 453], [515, 1554], [2426, 1246], [426, 2636], [2203, 300], [2268, 516], [518, 420], [1506, 395], [670, 110], [2659, 461], [280, 286], [2472, 263], [2154, 287], [1667, 2369], [485, 2417], [117, 418], [2372, 338], [2182, 669], [2079, 1449], [1556, 608], [812, 302], [1830, 1246], [2581, 411], [1070, 2189], [2320, 2668], [344, 338], [342, 1465], [342, 304], [275, 1465], [268, 939], [496, 512], [426, 1834], [398, 2566], [298, 420], [295, 354], [503, 677], [2170, 1550], [422, 108], [337, 111], [1340, 512], [527, 110], [295, 637], [572, 100], [270, 114], [1041, 2459], [654, 114], [109, 98], [1530, 1912], [298, 112], [108, 1649], [792, 287], [773, 415], [373, 1110], [256, 610], [107, 110], [2352, 297], [2287, 281], [1328, 263], [587, 805], [511, 2674], [301, 121], [111, 1365], [1141, 263], [434, 372], [2680, 622], [2538, 1210], [258, 2033], [99, 263], [2676, 2367], [503, 2121], [278, 279], [276, 746], [271, 343], [268, 2607], [267, 287], [812, 350], [1593, 546], [511, 514], [333, 936], [295, 300], [282, 480], [117, 261], [2724, 595], [2705, 512], [281, 1571], [32, 51], [2696, 1728], [264, 2735], [824, 649], [530, 98], [277, 319], [543, 601], [388, 345], [628, 102], [626, 317], [607, 545], [331, 592], [121, 109], [1431, 460], [568, 305], [484, 370], [1556, 418], [861, 1543], [701, 2734], [276, 2328], [2752, 678], [112, 868], [2027, 1436], [1499, 2034], [1105, 1213], [404, 467], [342, 1875], [310, 480], [277, 789], [267, 1192], [570, 297], [303, 121], [895, 678], [559, 1865], [489, 2737], [342, 2359], [100, 302], [1882, 115], [1576, 263], [333, 296], [264, 793], [1018, 109], [966, 514], [373, 114], [2762, 1192], [1085, 115], [809, 281], [290, 121], [280, 2049], [256, 281], [32, 440], [1943, 115], [2758, 1863], [489, 519], [108, 677], [2782, 335], [1158, 115], [301, 763], [270, 743], [846, 2127], [437, 108], [256, 1163], [1288, 297], [276, 423], [2785, 319], [2068, 2790], [426, 1837], [121, 418], [111, 261], [2223, 943], [1715, 780], [908, 429], [745, 121], [1132, 2644], [1934, 115], [1166, 525], [479, 372], [2730, 281], [362, 413], [303, 435], [280, 461], [539, 1969], [276, 2046], [32, 39], [278, 651], [277, 505], [1187, 102], [737, 478], [503, 377], [2822, 461], [2789, 579], [1651, 1550], [418, 107], [342, 296], [87, 799], [1635, 292], [701, 641], [265, 790], [268, 815], [2832, 2666], [1374, 815], [362, 1868], [342, 319], [2825, 2405], [701, 108], [611, 279], [1920, 811], [1907, 115], [755, 111], [434, 2803], [2126, 263], [864, 297], [639, 2793], [490, 101], [122, 1191], [105, 1231], [103, 117], [99, 1359], [631, 1075], [628, 2836], [1601, 832], [723, 902], [701, 2851], [563, 101], [1064, 370], [1023, 115], [1266, 101], [874, 110], [434, 103], [417, 2853], [2818, 829], [277, 612], [1071, 121], [454, 293], [2813, 678], [2321, 450], [1867, 604], [511, 111], [342, 2831], [301, 320], [97, 636], [2163, 478], [2065, 552], [1881, 115], [1503, 263], [1398, 1192], [752, 118], [317, 263], [2368, 97], [385, 815], [99, 313], [2649, 318], [908, 2412], [775, 100], [671, 1572], [539, 1544], [288, 1634], [1630, 487], [1529, 443], [2894, 829], [1150, 1191], [1498, 2886], [875, 300], [446, 1097], [309, 2868], [2892, 418], [2867, 269], [1792, 1520], [258, 599], [2829, 429], [272, 300], [2046, 377], [1162, 1239], [752, 822], [515, 418], [2584, 1664], [1102, 2302], [446, 605], [69, 349], [2084, 112], [635, 1813], [264, 2616], [2590, 101], [2420, 303], [1456, 516], [354, 110], [271, 1649], [812, 305], [452, 102], [333, 423], [121, 297], [2744, 2220], [1441, 290], [1368, 121], [723, 2188], [489, 512], [961, 351], [296, 379], [280, 415], [268, 310], [2800, 1077], [1623, 263], [265, 423], [2773, 377], [1034, 1520], [256, 2898], [114, 279], [581, 1077], [535, 442], [114, 2859], [109, 306], [2938, 104], [1460, 263], [1112, 516], [1043, 595], [968, 101], [278, 707], [105, 707], [294, 109], [103, 528], [74, 289], [2786, 2907], [2599, 119], [1032, 272], [428, 2946], [269, 780], [99, 283], [2204, 370], [2081, 306], [824, 310], [738, 651], [268, 741], [2966, 306], [2356, 2827], [682, 815], [631, 115], [292, 2772], [496, 490], [344, 2568], [120, 1863], [2973, 1969], [2694, 429], [557, 281], [73, 102], [300, 601], [32, 930], [731, 2097], [342, 951], [268, 2049], [256, 1210], [2863, 306], [2232, 429], [685, 2462], [372, 2700], [277, 1571], [2486, 516], [2403, 303], [972, 335], [747, 1973], [616, 114], [479, 287], [457, 115], [385, 439], [275, 317], [97, 1365], [1561, 283], [1177, 345], [260, 1889], [98, 715], [2316, 2975], [646, 115], [376, 2711], [280, 2972], [105, 118], [2503, 281], [1199, 453], [3011, 678], [2952, 115], [2272, 2953], [1542, 462], [485, 2274], [374, 351], [268, 286], [2661, 281], [3019, 829], [2511, 669], [2458, 351], [1911, 2034], [907, 983], [635, 301], [447, 305], [264, 3014], [2958, 872], [2779, 512], [476, 296], [376, 2062], [259, 2763], [1763, 115], [1417, 1570], [265, 642], [2336, 1616], [1729, 97], [1700, 101], [102, 462], [1266, 299], [280, 442], [626, 1352], [1630, 2943], [752, 1514], [652, 297], [2087, 263], [957, 1761], [903, 350], [723, 2875], [335, 301], [333, 2466], [330, 3050], [278, 2011], [109, 2125], [3044, 110], [511, 114], [3053, 111], [1408, 418], [2820, 2398], [2137, 1186], [1088, 1149], [607, 2561], [548, 3054], [271, 660], [1798, 601], [1476, 517], [846, 98], [680, 1609], [270, 119], [1276, 115], [267, 279], [103, 654], [97, 805], [83, 2815], [3046, 1359], [1247, 3072], [775, 310], [404, 978], [278, 2396], [276, 654], [741, 115], [295, 1189], [276, 936], [1623, 1570], [563, 121], [418, 115], [277, 783], [2047, 2133], [485, 299], [295, 962], [2536, 516], [301, 111], [292, 377], [278, 304], [1634, 678], [834, 3095], [525, 438], [461, 3097], [428, 3098], [77, 490], [77, 101], [940, 287], [461, 116], [955, 1673], [269, 418], [834, 103], [764, 302], [489, 1989], [305, 2804], [65, 272], [3076, 297], [2993, 2207], [1940, 263], [288, 929], [277, 305], [108, 519], [2202, 3109], [2084, 636], [1560, 3092], [385, 1808], [280, 1527], [99, 1192], [3102, 986], [3082, 287], [3077, 3105], [1013, 418], [296, 395], [263, 121], [2709, 269], [2047, 3122], [703, 115], [602, 115], [484, 301], [277, 367], [753, 335], [122, 263], [2935, 604], [1585, 306], [1529, 313], [639, 1861], [515, 296], [2697, 272], [1830, 287], [1269, 115], [1022, 440], [611, 354], [545, 379], [417, 120], [3148, 1186], [322, 3142], [2882, 598], [1340, 984], [903, 645], [812, 109], [1165, 3119], [2571, 1735], [1706, 297], [717, 121], [278, 1017], [267, 585], [72, 317], [256, 1274], [1846, 263], [333, 104], [256, 645], [117, 983], [2083, 263], [1272, 1864], [32, 85], [1064, 350], [948, 525], [434, 293], [285, 418], [105, 111], [2554, 2133], [1965, 290], [1715, 313], [1197, 257], [883, 281], [705, 2146], [587, 1374], [368, 122], [342, 858], [333, 2351], [256, 640], [2409, 461], [368, 3039], [277, 525], [3186, 815], [3172, 3171], [550, 478], [330, 296], [897, 115], [355, 2961], [3177, 571], [3140, 297], [104, 948], [577, 516], [281, 112], [267, 1861], [257, 116], [3115, 2450], [1879, 297], [1391, 104], [291, 2525], [283, 379], [256, 487], [116, 105], [2574, 302], [2104, 1813], [493, 117], [406, 3197], [321, 306], [269, 1045], [2481, 1077], [834, 118], [313, 116], [77, 1613], [3201, 3208], [3181, 1520], [764, 115], [545, 3219], [265, 114], [3106, 815], [1585, 320], [607, 1501], [417, 103], [342, 953], [256, 3166], [103, 297], [3207, 105], [2954, 2332], [2921, 415], [1064, 1395], [812, 2335], [643, 478], [503, 3222], [256, 3233], [2488, 516], [1914, 438], [1243, 1609], [1086, 101], [843, 116], [3182, 467], [1585, 1826], [1028, 350], [1016, 115], [385, 562], [3150, 2097], [2180, 302], [635, 101], [310, 2028], [3154, 112], [3138, 273], [2053, 1311], [2053, 107], [1498, 2852], [676, 343], [615, 379], [607, 1026], [525, 467], [295, 287], [294, 847], [268, 1400], [2531, 1932], [1832, 272], [1150, 345], [280, 1681], [3223, 110], [2623, 978], [1875, 121], [1844, 343], [1241, 948], [493, 98], [2296, 784], [1086, 122], [639, 2233], [447, 3250], [324, 516], [3245, 851], [1963, 115], [1921, 649], [1305, 100], [3283, 595], [269, 462], [108, 789], [2962, 2127], [701, 3287], [3266, 418], [752, 302], [430, 3252], [295, 2233], [273, 367], [1177, 1941], [275, 273], [2857, 302], [1752, 115], [731, 767], [701, 1808], [511, 1834], [385, 1582], [295, 490], [277, 536], [259, 302], [3225, 281], [2256, 3174], [968, 1613], [682, 424], [453, 1475], [409, 272], [260, 948], [3282, 377], [3216, 1186], [3199, 442], [3038, 290], [2433, 2498], [1931, 1314], [1701, 359], [1109, 302], [825, 297], [484, 3261], [457, 3314], [32, 281], [3135, 516], [3087, 3284], [2895, 115], [639, 3271], [539, 100], [433, 112], [267, 3206], [256, 1803], [2296, 97], [2295, 263], [2141, 650], [1496, 1774], [591, 419], [409, 304], [280, 523], [264, 3274], [2445, 115], [2061, 2622], [1682, 1114], [1450, 1634], [637, 1740], [256, 545], [2124, 111], [880, 3217], [431, 3286], [301, 1046], [256, 3309], [3262, 953], [3227, 415], [2431, 1636], [1888, 585], [1606, 111], [1498, 601], [971, 641], [738, 2366], [368, 1363], [365, 3354], [277, 563], [99, 858], [3213, 302], [1712, 302], [432, 115], [280, 525], [99, 3093], [3322, 287], [2454, 263], [479, 1548], [452, 112], [432, 1609], [395, 1158], [99, 320], [1821, 296], [434, 1363], [299, 111], [298, 104], [260, 1803], [2654, 1314], [1950, 970], [1341, 306], [353, 379], [119, 1888], [3246, 418], [2254, 1805], [538, 310], [379, 1114], [368, 2009], [278, 317], [277, 791], [77, 2062], [3361, 3384], [2406, 1406], [834, 99], [434, 370], [333, 545], [275, 2926], [99, 943], [2889, 3214], [548, 2219], [112, 456], [2333, 2307], [2333, 851], [1679, 822], [1573, 3373], [1411, 75], [1405, 115], [1398, 3367], [662, 3387], [515, 707], [108, 1558], [71, 111], [2215, 3357], [1888, 451], [945, 115], [362, 2463], [342, 456], [296, 438], [2704, 306], [1196, 297], [384, 107], [3280, 832], [1241, 3415], [1044, 115], [525, 108], [321, 379], [281, 3426], [2238, 1170], [1895, 767], [1316, 519], [598, 102], [385, 1484], [258, 3428], [1901, 2392], [1316, 1808], [611, 111], [331, 2492], [285, 2255], [1263, 116], [942, 546], [915, 281], [668, 424], [361, 3211], [259, 1189], [121, 101], [112, 379], [112, 263], [846, 804], [447, 423], [374, 3412], [296, 1359], [259, 313], [3346, 3285], [3304, 1007], [1689, 297], [1729, 435], [1624, 2255], [580, 1375], [1578, 462], [1551, 832], [901, 115], [2292, 104], [1460, 297], [1398, 335], [998, 3452], [730, 459], [511, 2906], [503, 442], [1438, 872], [820, 2563], [32, 263], [3410, 377], [2725, 1374], [2625, 832], [1974, 2251], [333, 292], [309, 2121], [2415, 263], [1068, 843], [580, 350], [267, 2496], [3463, 641], [3483, 581], [2099, 459], [1694, 118], [3486, 2028], [1251, 415], [966, 1501], [639, 2828], [479, 100], [291, 552], [280, 423], [276, 2106], [104, 2125], [100, 283], [2313, 974], [1999, 3004], [1155, 2395], [384, 1011], [259, 745], [74, 984], [2840, 1080], [635, 1889], [342, 1486], [298, 110], [1177, 3364], [780, 598], [503, 352], [295, 3495], [3494, 109], [3434, 984], [3254, 669], [3253, 302], [2549, 960], [2238, 108], [442, 97], [278, 815], [3170, 783], [1952, 115], [384, 2331], [1349, 115], [955, 562], [493, 614], [479, 299], [456, 306], [454, 418], [3200, 1609], [503, 354], [320, 104], [278, 2783], [2537, 395], [1593, 622], [760, 3349], [685, 716], [264, 1440], [3524, 2220], [2373, 119], [3538, 637], [3539, 367], [494, 115], [390, 306], [312, 372], [259, 352], [71, 451], [1794, 2718], [1667, 99], [809, 3499], [447, 3526], [1003, 1871], [3018, 367], [2540, 1735], [2215, 3537], [1438, 986], [1285, 1534], [344, 2695], [2256, 622], [1493, 273], [1146, 603], [362, 608], [3543, 971], [2169, 115], [925, 872], [908, 2143], [637, 297], [560, 297], [451, 779], [286, 462], [342, 490], [337, 98], [258, 1050], [3395, 274], [1325, 115], [385, 320], [330, 121], [309, 3432], [44, 1107], [1585, 2207], [1272, 1378], [940, 273], [676, 962], [376, 490], [330, 2564], [1368, 3374], [637, 281], [277, 332], [66, 1084], [3472, 779], [3316, 2586], [3226, 3116], [2580, 832], [1433, 115], [1018, 303], [278, 354], [268, 117], [503, 304], [353, 335], [277, 829], [1576, 281], [1466, 116], [1405, 306], [1003, 345], [476, 847], [277, 1865], [116, 300], [106, 1246], [105, 107], [1715, 467], [738, 279], [594, 306], [288, 2478], [277, 1465], [2934, 290], [967, 281], [879, 297], [744, 1973], [593, 114], [521, 112], [453, 297], [376, 1070], [3593, 829], [2741, 1782], [617, 297], [530, 2612], [529, 3610], [342, 3073], [264, 791], [3618, 306], [3596, 273], [3519, 121], [2140, 297], [861, 512], [639, 481], [264, 651], [119, 2395], [2136, 707], [1566, 395], [968, 1759], [797, 2598], [542, 2416], [503, 1110], [296, 297], [270, 3085], [3551, 1534], [676, 302], [350, 461], [309, 117], [2198, 379], [674, 273], [264, 746], [1799, 1980], [598, 119], [3308, 111], [2103, 281], [1553, 595], [775, 1514], [682, 3652], [511, 1155], [267, 1759], [108, 1008], [3651, 669], [3536, 1550], [1159, 960], [752, 115], [3664, 3649], [744, 269], [385, 868], [258, 320], [3484, 3646], [3257, 269], [2873, 299], [2295, 875], [2092, 105], [1209, 2392], [812, 287], [641, 480], [488, 2989], [278, 302], [257, 370], [99, 3673], [99, 791], [98, 493], [1273, 335], [760, 2305], [511, 3419], [361, 387], [295, 303], [264, 442], [3682, 1664], [2461, 263], [1068, 1979], [1003, 112], [742, 3689], [529, 1605], [287, 435], [270, 2527], [264, 269], [258, 119], [1882, 112], [1799, 461], [412, 1878], [372, 490], [299, 438], [32, 3703], [3665, 111], [3659, 111], [3575, 1245], [1914, 3701], [998, 783], [878, 741], [607, 444], [587, 3702], [353, 851], [330, 875], [324, 2955], [278, 2478], [275, 263], [272, 910], [3694, 121], [3451, 269], [703, 297], [347, 2519], [331, 306], [280, 3242], [2124, 2035], [1006, 107], [861, 1091], [676, 350], [548, 3718], [438, 110], [333, 299], [269, 379], [3687, 3517], [3600, 1017], [751, 116], [738, 3530], [701, 1550], [277, 3726], [3640, 1236], [2154, 2519], [1548, 350], [1468, 115], [452, 2331], [298, 976], [267, 2033], [260, 2274], [111, 338], [3511, 1864], [3323, 3585], [2240, 1996], [1408, 875], [932, 297], [496, 1878], [256, 937], [3688, 1774], [2039, 953], [563, 595], [545, 263], [2956, 478], [1193, 953], [1181, 297], [308, 395], [306, 101], [116, 391], [3251, 1343], [1529, 350], [994, 3680], [333, 667], [71, 669], [3668, 283], [3770, 3757], [2431, 2850], [2344, 953], [1958, 281], [1895, 794], [273, 418], [256, 1527], [108, 97], [3389, 1045], [2671, 1558], [1470, 115], [415, 2277], [3586, 334], [2416, 3776], [882, 3681], [789, 97], [705, 3784], [629, 350], [320, 379], [308, 1075], [277, 3782], [74, 442], [3780, 505], [3311, 263], [2523, 102], [1688, 1149], [1594, 1774], [671, 301], [331, 589], [277, 538], [3607, 105], [3192, 115], [2137, 351], [752, 3741], [503, 538], [388, 287], [286, 851], [2764, 302], [1433, 263], [453, 98], [291, 641], [267, 3081], [1692, 115], [1385, 281], [723, 287], [723, 101], [652, 115], [628, 103], [489, 444], [452, 318], [330, 313], [3799, 116], [3788, 3009], [2594, 1481], [1529, 104], [3825, 461], [1321, 297], [280, 926], [278, 273], [97, 822], [3028, 435], [1397, 822], [260, 939], [3069, 1229], [2204, 116], [875, 121], [744, 746], [377, 851], [264, 319], [3823, 418], [3578, 101], [2136, 3810], [934, 289], [738, 2260], [2336, 109], [1958, 3789], [1566, 3730], [1417, 103], [593, 111], [475, 46], [70, 1083], [3818, 108], [3852, 3344], [2079, 2139], [834, 1871], [515, 109], [306, 571], [87, 538], [2290, 815], [2232, 117], [1839, 1352], [1717, 122], [587, 302], [112, 287], [3390, 1514], [2919, 707], [1177, 636], [1003, 1374], [531, 1635], [110, 1709], [66, 3446], [3844, 121], [2315, 115], [1752, 1011], [1506, 435], [1289, 297], [259, 2139], [65, 108], [1496, 115], [682, 105], [365, 546], [344, 3293], [2650, 1170], [2532, 115], [2266, 297], [2067, 418], [968, 2712], [744, 948], [718, 101], [705, 943], [580, 418], [330, 107], [309, 1979], [276, 669], [102, 3889], [82, 101], [3604, 851], [2951, 889], [1752, 459], [1120, 297], [887, 1358], [289, 3870], [287, 2011], [256, 300], [32, 317], [1667, 649], [729, 2222], [498, 3758], [454, 3864], [361, 585], [278, 418], [278, 303], [3671, 281], [2651, 435], [1565, 115], [1273, 902], [723, 589], [626, 540], [278, 263], [99, 297], [1088, 438], [804, 279], [548, 1861], [490, 98], [259, 290], [3911, 677], [1506, 1077], [3371, 1158], [1033, 115], [580, 3895], [294, 293], [108, 117], [1914, 257], [1144, 115], [1102, 481], [968, 2106], [903, 558], [539, 1871], [452, 1504], [342, 2792], [3569, 2251], [3449, 481], [2223, 302], [1635, 281], [639, 3902], [515, 2014], [277, 1813], [83, 1640], [2647, 121], [1068, 563], [753, 2641], [485, 1080], [277, 2291], [3647, 660], [2316, 97], [1799, 589], [1445, 297], [1247, 3922], [1211, 115], [1003, 1375], [120, 121], [99, 420], [3862, 281], [2559, 297], [2202, 1045], [2027, 3932], [1305, 97], [915, 459], [322, 114], [313, 299], [1547, 101], [1366, 115], [630, 2282], [343, 608], [295, 1110], [268, 669], [259, 519], [3860, 829], [3094, 832], [903, 345], [447, 2366], [3912, 395], [1395, 718], [1113, 101], [929, 829], [753, 261], [394, 379], [385, 988], [73, 115], [2409, 418], [2094, 269], [1109, 1363], [940, 933], [465, 101], [3535, 2446], [1361, 109], [504, 263], [280, 279], [118, 306], [1266, 1363], [596, 350], [280, 300], [2397, 868], [1002, 115], [788, 302], [771, 111], [312, 107], [296, 604], [1272, 943], [1268, 115], [641, 598], [269, 1486], [3880, 3991], [2433, 3985], [2260, 505], [2038, 459], [1269, 297], [473, 3983], [110, 305], [2688, 115], [1552, 116], [1506, 811], [453, 263], [392, 296], [280, 1213], [69, 109], [373, 3508], [108, 317], [3855, 2408], [2406, 546], [2040, 297], [1712, 287], [4032, 332], [1288, 564], [369, 3605], [2740, 415], [1318, 978], [568, 116], [423, 763], [288, 1486], [280, 937], [278, 3970], [116, 101], [2171, 605], [1841, 115], [820, 101], [705, 99], [4047, 1475], [580, 3967], [426, 948], [398, 4033], [319, 99], [259, 3944], [2061, 745], [1318, 108], [676, 334], [333, 929], [283, 263], [4019, 377], [3974, 281], [1373, 297], [1003, 313], [775, 4059], [555, 1006], [278, 3786], [3627, 1996], [3595, 415], [3547, 429], [1197, 960], [1038, 269], [2748, 4055], [645, 715], [598, 350], [258, 3679], [77, 937], [3159, 263], [2692, 3448], [1489, 2757], [1288, 281], [874, 1086], [485, 519], [335, 263], [118, 546], [114, 290], [4038, 451], [2537, 811], [2353, 110], [1549, 459], [1276, 297], [1204, 782], [607, 741], [256, 320], [2902, 306], [1836, 303]]}