/* Copyright (c) 2010 Greg James, Brian Silverman, Barry Silverman The following is provided under terms of the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported license: http://creativecommons.org/licenses/by-nc-sa/3.0/ Specify the original author as Greg James and the following URL for original source material: www.visual6502.org */ #include "types.h" enum { // D1x1 = 827, a0 = 737, a1 = 1234, a2 = 978, a3 = 162, a4 = 727, a5 = 858, a6 = 1136, a7 = 1653, ab0 = 268, ab1 = 451, ab2 = 1340, ab3 = 211, ab4 = 435, ab5 = 736, ab6 = 887, ab7 = 1493, ab8 = 230, ab9 = 148, ab10 = 1443, ab11 = 399, ab12 = 1237, ab13 = 349, ab14 = 672, ab15 = 195, // adh0 = 407, // adh1 = 52, // adh2 = 1651, // adh3 = 315, // adh4 = 1160, // adh5 = 483, // adh6 = 13, // adh7 = 1539, // adl0 = 413, // adl1 = 1282, // adl2 = 1242, // adl3 = 684, // adl4 = 1437, // adl5 = 1630, // adl6 = 121, // adl7 = 1299, // alu0 = 394, // alu1 = 697, // alu2 = 276, // alu3 = 495, // alu4 = 1490, // alu5 = 893, // alu6 = 68, // alu7 = 1123, // cclk = 943, // aka cp2 // clearIR = 1077, clk0 = 1171, // clk1out = 1163, // clk2out = 421, // clock1 = 156, // clock2 = 1536, // cp1 = 710, db0 = 1005, db1 = 82, db2 = 945, db3 = 650, db4 = 1393, db5 = 175, db6 = 1591, db7 = 1349, // dor0 = 222, // dor1 = 527, // dor2 = 1288, // dor3 = 823, // dor4 = 873, // dor5 = 1266, // dor6 = 1418, // dor7 = 158, // fetch = 879, // h1x1 = 1042 // drive status byte onto databus // idb0 = 1108, // idb1 = 991, // idb2 = 1473, // idb3 = 1302, // idb4 = 892, // idb5 = 1503, // idb6 = 833, // idb7 = 493, // idl0 = 116, // idl1 = 576, // idl2 = 1485, // idl3 = 1284, // idl4 = 1516, // idl5 = 498, // idl6 = 1537, // idl7 = 529, irq = 103, nmi = 1297, // notRdy0 = 248, notir0 = 194, notir1 = 702, notir2 = 1182, notir3 = 1125, notir4 = 26, notir5 = 1394, // OK notir6 = 895, // OK notir7 = 1320, // nots0 = 418, // nots1 = 1064, // nots2 = 752, // nots3 = 828, // nots4 = 1603, // nots5 = 601, // nots6 = 1029, // nots7 = 181, p0 = 687, p1 = 1444, p2 = 1421, p3 = 439, p4 = 1119, p5 = 0, p6 = 77, p7 = 1370, pch0 = 1670, pch1 = 292, pch2 = 502, pch3 = 584, pch4 = 948, pch5 = 49, pch6 = 1551, pch7 = 205, pcl0 = 1139, pcl1 = 1022, pcl2 = 655, pcl3 = 1359, pcl4 = 900, pcl5 = 622, pcl6 = 377, pcl7 = 1611, // pd0 = 758, // pd1 = 361, // pd2 = 955, // pd3 = 894, // pd4 = 369, // pd5 = 829, // pd6 = 1669, // pd7 = 1690, rdy = 89, res = 159, rw = 1156, s0 = 1403, s1 = 183, s2 = 81, s3 = 1532, s4 = 1702, s5 = 1098, s6 = 1212, s7 = 1435, // sb0 = 54, // sb1 = 1150, // sb2 = 1287, // sb3 = 1188, // sb4 = 1405, // sb5 = 166, // sb6 = 1336, // sb7 = 1001, so = 1672, // sync_ = 539, // t2 = 971, // t3 = 1567, // t4 = 690, // t5 = 909, vcc = 657, vss = 558, x0 = 1216, x1 = 98, x2 = 1, x3 = 1648, x4 = 85, x5 = 589, x6 = 448, x7 = 777, y0 = 64, y1 = 1148, y2 = 573, y3 = 305, y4 = 989, y5 = 615, y6 = 115, y7 = 843, }; BOOL netlist_6502_node_is_pullup[] = { 1, 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 2, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1, 0, 1, 1, 1, 2, 1, 1, 0, 0, 1, 0, 0, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 0, 1, 1, 1, 0, 0, 1, 2, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 2, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 0, 0, 1, 1, 2, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 2, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0, 1, 0, 1, 0, 2, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 2, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 1, 1, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 1, 1, 1, 2, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 1, 0, 2, 1, 1, 0, 0, 1, 0, 2, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0, 0, 0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 2, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 1, 0, 1, 0, 0, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 2, 2, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 2, 1, 0, 0, 1, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 0, 0, 2, 0, 2, 1, 0, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 1, 0, 0, 1, 0, 1, 0, 1, 1, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 1, 1, 0, 1, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 2, 1, 1, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 2, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1 }; netlist_transdefs netlist_6502_transdefs[] = { {357, 558, 217}, {1608, 657, 349}, {412, 558, 1146}, {558, 558, 943}, {826, 230, 657}, {82, 558, 1319}, {821, 289, 1514}, {558, 558, 1171}, {945, 558, 1199}, {710, 524, 1548}, {190, 558, 220}, {38, 1247, 657}, {1248, 189, 558}, {1248, 558, 155}, {943, 558, 346}, {1140, 148, 657}, {1540, 508, 558}, {710, 32, 1082}, {710, 1451, 212}, {1247, 558, 534}, {943, 1162, 272}, {943, 983, 418}, {248, 1615, 468}, {248, 472, 395}, {710, 1495, 348}, {1096, 1100, 558}, {1096, 558, 1660}, {1096, 855, 657}, {1503, 558, 744}, {44, 1616, 558}, {78, 651, 375}, {78, 558, 65}, {710, 928, 1378}, {710, 1309, 74}, {943, 518, 115}, {32, 558, 31}, {943, 1405, 657}, {943, 973, 1603}, {347, 510, 558}, {710, 1667, 883}, {706, 1456, 558}, {1174, 307, 558}, {1622, 558, 409}, {192, 25, 558}, {1490, 558, 606}, {943, 1148, 767}, {549, 1150, 1248}, {549, 1287, 1332}, {549, 1680, 1188}, {549, 1142, 1405}, {353, 794, 558}, {353, 794, 558}, {593, 558, 1700}, {549, 1167, 54}, {600, 613, 1362}, {549, 530, 166}, {549, 1627, 1336}, {948, 558, 1400}, {264, 1092, 480}, {1582, 632, 558}, {584, 558, 923}, {1003, 274, 136}, {1003, 860, 558}, {943, 1347, 1527}, {68, 558, 331}, {558, 945, 558}, {1457, 1644, 1495}, {1485, 1066, 558}, {1485, 558, 1066}, {1485, 1066, 558}, {1077, 558, 1622}, {1077, 667, 558}, {325, 115, 1336}, {710, 920, 785}, {1318, 748, 558}, {362, 304, 657}, {127, 421, 657}, {325, 989, 1405}, {53, 558, 790}, {763, 558, 1068}, {1088, 558, 147}, {1088, 558, 1463}, {1042, 1370, 493}, {1042, 1473, 1421}, {943, 513, 443}, {943, 1673, 1646}, {943, 490, 1516}, {311, 856, 558}, {311, 835, 558}, {783, 558, 1158}, {783, 558, 1704}, {783, 558, 1253}, {381, 230, 558}, {381, 230, 558}, {381, 230, 558}, {381, 558, 230}, {381, 230, 558}, {381, 558, 230}, {381, 230, 558}, {152, 558, 1343}, {555, 371, 558}, {810, 558, 207}, {819, 501, 558}, {1148, 1138, 558}, {963, 657, 672}, {967, 202, 558}, {1691, 972, 558}, {1342, 1563, 558}, {786, 844, 558}, {422, 657, 1296}, {422, 1346, 558}, {422, 359, 558}, {984, 1680, 558}, {1410, 558, 365}, {403, 558, 1145}, {527, 746, 558}, {1610, 972, 1372}, {710, 653, 1497}, {429, 489, 558}, {467, 558, 10}, {460, 692, 558}, {536, 558, 1647}, {917, 1358, 558}, {821, 429, 514}, {744, 558, 1268}, {710, 430, 1570}, {943, 1179, 393}, {1700, 998, 1188}, {1700, 1389, 1287}, {1369, 558, 1462}, {1369, 657, 438}, {925, 558, 816}, {1700, 721, 1001}, {1700, 618, 1336}, {818, 1043, 558}, {818, 657, 414}, {1700, 3, 1405}, {270, 1426, 558}, {1678, 477, 1559}, {1678, 558, 1632}, {710, 1590, 1083}, {589, 558, 1017}, {710, 1424, 1066}, {1420, 1455, 558}, {1420, 397, 558}, {493, 789, 558}, {640, 884, 558}, {1108, 558, 624}, {154, 558, 75}, {154, 657, 129}, {787, 558, 605}, {1247, 558, 325}, {1582, 604, 558}, {1670, 1010, 558}, {798, 82, 657}, {798, 82, 657}, {453, 1264, 558}, {28, 567, 558}, {121, 558, 1548}, {285, 1225, 558}, {1134, 558, 70}, {706, 1366, 558}, {272, 952, 558}, {715, 426, 558}, {715, 914, 558}, {761, 711, 739}, {1296, 657, 399}, {1453, 657, 373}, {1312, 558, 264}, {646, 558, 812}, {943, 1513, 210}, {379, 1500, 1706}, {379, 558, 1345}, {813, 1101, 1508}, {4, 558, 11}, {819, 1380, 558}, {714, 214, 657}, {43, 818, 558}, {1520, 558, 1107}, {1002, 558, 1130}, {943, 779, 805}, {710, 1141, 101}, {943, 408, 1308}, {1581, 1480, 379}, {347, 558, 191}, {1537, 1116, 558}, {1537, 558, 1116}, {1537, 1116, 558}, {1624, 169, 558}, {408, 938, 558}, {1576, 1125, 558}, {943, 1609, 1394}, {205, 453, 558}, {309, 558, 368}, {1544, 405, 1172}, {1720, 558, 373}, {1720, 657, 612}, {1088, 1076, 657}, {646, 558, 773}, {982, 558, 1141}, {1135, 558, 1203}, {1135, 558, 1629}, {1258, 558, 813}, {248, 558, 720}, {1045, 558, 1371}, {999, 558, 1237}, {999, 1237, 558}, {999, 558, 1237}, {999, 558, 1237}, {999, 1237, 558}, {999, 558, 1237}, {999, 1237, 558}, {943, 561, 29}, {867, 558, 876}, {1173, 558, 1717}, {1146, 206, 558}, {76, 558, 1106}, {241, 558, 1033}, {241, 657, 1015}, {995, 975, 886}, {201, 558, 1371}, {273, 558, 272}, {846, 307, 558}, {879, 1183, 541}, {827, 558, 380}, {1061, 558, 124}, {654, 332, 1403}, {943, 1108, 657}, {621, 558, 355}, {1035, 558, 251}, {1606, 188, 558}, {41, 407, 719}, {41, 52, 87}, {41, 1651, 1424}, {41, 315, 1661}, {41, 1160, 1095}, {41, 483, 1387}, {41, 13, 1014}, {41, 1539, 1147}, {370, 558, 689}, {805, 558, 1534}, {943, 326, 1136}, {943, 1117, 170}, {710, 797, 873}, {1382, 558, 1087}, {960, 1178, 558}, {977, 1628, 316}, {977, 558, 143}, {874, 1098, 166}, {874, 1212, 1336}, {874, 1532, 1188}, {874, 1405, 1702}, {874, 183, 1150}, {874, 81, 1287}, {781, 802, 558}, {1525, 558, 406}, {1525, 558, 555}, {647, 427, 558}, {1372, 1425, 558}, {943, 242, 1648}, {710, 931, 1674}, {710, 1526, 1450}, {1273, 638, 558}, {512, 558, 154}, {1247, 874, 558}, {1427, 558, 1448}, {223, 558, 1357}, {1219, 558, 1002}, {1042, 1108, 687}, {943, 604, 1477}, {206, 367, 1082}, {265, 818, 558}, {1575, 558, 971}, {105, 371, 406}, {105, 558, 555}, {631, 558, 1323}, {631, 657, 283}, {544, 267, 558}, {1482, 616, 558}, {943, 657, 1437}, {101, 558, 1364}, {985, 558, 844}, {1262, 558, 1151}, {654, 618, 1212}, {654, 280, 1098}, {654, 3, 1702}, {654, 998, 1532}, {654, 1389, 81}, {654, 694, 183}, {315, 558, 883}, {1307, 558, 178}, {281, 558, 347}, {781, 553, 558}, {1413, 558, 1235}, {764, 558, 1649}, {1212, 558, 1187}, {710, 719, 1597}, {1410, 558, 1605}, {279, 455, 558}, {943, 407, 657}, {730, 1724, 558}, {612, 558, 175}, {612, 558, 175}, {612, 558, 175}, {612, 558, 175}, {612, 175, 558}, {612, 175, 558}, {612, 558, 175}, {445, 558, 317}, {445, 558, 417}, {445, 558, 417}, {710, 127, 558}, {445, 539, 558}, {445, 558, 539}, {445, 539, 558}, {445, 558, 539}, {445, 558, 539}, {768, 287, 558}, {1382, 1215, 558}, {1220, 558, 547}, {1220, 817, 558}, {1015, 1637, 1242}, {1015, 1282, 872}, {1015, 413, 401}, {784, 558, 1464}, {67, 558, 501}, {1699, 558, 913}, {447, 261, 558}, {425, 388, 558}, {801, 564, 54}, {347, 335, 558}, {1602, 558, 1596}, {182, 442, 558}, {746, 657, 798}, {943, 261, 729}, {710, 959, 323}, {710, 1183, 1605}, {1595, 1181, 793}, {1227, 488, 558}, {0, 182, 558}, {1452, 861, 558}, {575, 558, 1000}, {1708, 558, 1055}, {1305, 558, 921}, {525, 800, 558}, {525, 1331, 657}, {1130, 80, 558}, {1381, 558, 980}, {328, 1133, 558}, {328, 558, 194}, {66, 451, 558}, {66, 451, 558}, {66, 451, 558}, {66, 451, 558}, {943, 558, 48}, {943, 558, 741}, {1341, 600, 558}, {712, 558, 300}, {1108, 558, 1224}, {335, 1303, 1397}, {253, 279, 558}, {253, 1692, 558}, {1129, 657, 943}, {1333, 906, 558}, {558, 82, 558}, {1081, 558, 605}, {1530, 558, 1198}, {424, 657, 248}, {614, 558, 1178}, {198, 248, 558}, {198, 424, 558}, {335, 1717, 1604}, {437, 413, 977}, {926, 558, 1054}, {1700, 694, 1150}, {869, 558, 349}, {869, 558, 349}, {869, 349, 558}, {869, 558, 349}, {869, 349, 558}, {869, 349, 558}, {869, 349, 558}, {1076, 657, 1393}, {1076, 657, 1393}, {1611, 558, 641}, {1700, 280, 166}, {244, 558, 544}, {1144, 757, 939}, {248, 1456, 428}, {248, 12, 1091}, {248, 558, 16}, {82, 213, 558}, {170, 558, 686}, {601, 558, 280}, {943, 1654, 162}, {821, 705, 1062}, {521, 6, 558}, {317, 657, 417}, {203, 558, 52}, {353, 558, 1076}, {353, 558, 1076}, {353, 558, 1463}, {710, 1553, 845}, {1109, 1358, 558}, {650, 558, 1281}, {427, 558, 500}, {427, 112, 1314}, {943, 878, 462}, {330, 807, 558}, {1258, 558, 1716}, {48, 584, 315}, {48, 502, 1651}, {48, 49, 483}, {48, 948, 1160}, {48, 205, 1539}, {48, 1551, 13}, {943, 1336, 657}, {943, 1187, 1029}, {1503, 558, 1383}, {821, 1667, 92}, {943, 1090, 1683}, {762, 558, 1018}, {135, 421, 558}, {135, 421, 558}, {135, 558, 421}, {135, 421, 558}, {943, 1160, 657}, {943, 1630, 657}, {440, 366, 1012}, {668, 1143, 558}, {1162, 21, 558}, {943, 474, 15}, {1263, 1169, 54}, {962, 558, 1035}, {1523, 963, 558}, {1523, 635, 657}, {1260, 1413, 558}, {1260, 657, 1235}, {220, 558, 130}, {220, 639, 657}, {400, 558, 102}, {400, 657, 1696}, {834, 558, 1696}, {834, 558, 400}, {777, 1561, 558}, {604, 656, 558}, {1545, 1443, 657}, {1246, 558, 1012}, {1334, 558, 949}, {1334, 558, 1406}, {859, 977, 1108}, {710, 402, 187}, {358, 558, 1129}, {358, 558, 1129}, {943, 1717, 1113}, {1263, 871, 1001}, {943, 657, 52}, {943, 568, 498}, {1250, 138, 558}, {1250, 990, 558}, {1250, 1041, 657}, {1011, 558, 1214}, {1655, 558, 182}, {1136, 1356, 558}, {378, 909, 558}, {35, 71, 558}, {35, 654, 657}, {554, 1180, 558}, {554, 558, 964}, {787, 1304, 558}, {967, 1347, 558}, {967, 558, 104}, {710, 571, 343}, {943, 207, 1061}, {980, 473, 1004}, {89, 558, 958}, {963, 657, 672}, {1240, 863, 558}, {943, 164, 333}, {174, 558, 1197}, {781, 558, 1170}, {670, 1417, 657}, {994, 558, 1443}, {994, 1443, 558}, {994, 558, 1443}, {994, 558, 1443}, {994, 1443, 558}, {994, 558, 1443}, {994, 1443, 558}, {1439, 558, 518}, {654, 1435, 721}, {13, 558, 880}, {670, 747, 558}, {1472, 1480, 558}, {1587, 1294, 558}, {1587, 558, 1083}, {1628, 1285, 942}, {506, 558, 877}, {824, 1278, 1642}, {59, 722, 1084}, {1396, 1347, 558}, {1676, 558, 634}, {1676, 86, 657}, {943, 194, 310}, {118, 1092, 558}, {1176, 558, 572}, {1336, 61, 558}, {1100, 268, 558}, {1100, 268, 558}, {1100, 268, 558}, {712, 558, 383}, {1337, 1560, 558}, {1603, 558, 3}, {443, 1422, 754}, {443, 558, 755}, {943, 496, 601}, {1223, 225, 558}, {1223, 657, 859}, {337, 895, 558}, {1225, 558, 1222}, {710, 87, 870}, {1015, 684, 1414}, {1015, 1437, 606}, {943, 844, 459}, {175, 568, 558}, {1517, 916, 558}, {1015, 765, 1299}, {1015, 1630, 314}, {1015, 121, 331}, {293, 1402, 57}, {293, 207, 356}, {293, 810, 558}, {335, 734, 1106}, {807, 330, 558}, {990, 1041, 558}, {990, 138, 657}, {1357, 558, 1575}, {1097, 558, 1475}, {59, 740, 1691}, {787, 51, 29}, {1635, 558, 203}, {710, 1641, 237}, {710, 724, 409}, {1662, 1426, 845}, {267, 558, 80}, {206, 387, 916}, {59, 649, 1071}, {505, 22, 1572}, {505, 558, 193}, {943, 1071, 495}, {1109, 1130, 558}, {1417, 1163, 558}, {1417, 558, 1163}, {1417, 1163, 558}, {1417, 558, 1163}, {1417, 1163, 558}, {943, 718, 116}, {1236, 165, 558}, {8, 1584, 345}, {1634, 558, 37}, {1634, 558, 224}, {10, 176, 558}, {55, 628, 558}, {1614, 299, 1616}, {925, 558, 335}, {664, 558, 1697}, {1465, 558, 1134}, {1459, 122, 558}, {1459, 1030, 558}, {772, 558, 1305}, {772, 657, 921}, {1098, 558, 496}, {1079, 481, 558}, {943, 534, 558}, {459, 625, 558}, {43, 830, 558}, {558, 103, 558}, {755, 566, 580}, {1634, 520, 657}, {732, 558, 17}, {732, 558, 1536}, {710, 248, 1679}, {710, 223, 1215}, {748, 1327, 558}, {1078, 558, 511}, {863, 1108, 719}, {863, 991, 87}, {863, 1473, 1424}, {863, 1302, 1661}, {863, 892, 1095}, {863, 1503, 1387}, {863, 833, 1014}, {863, 493, 1147}, {1374, 1368, 558}, {322, 657, 1493}, {322, 1493, 657}, {322, 1493, 657}, {322, 1493, 657}, {1536, 558, 1233}, {1536, 558, 286}, {1536, 558, 382}, {1536, 558, 1173}, {1536, 558, 1543}, {1536, 558, 76}, {1536, 1658, 558}, {1536, 245, 558}, {1536, 985, 558}, {1536, 558, 682}, {1536, 558, 665}, {1536, 558, 271}, {1536, 558, 552}, {1536, 1623, 558}, {1536, 403, 558}, {1536, 1273, 558}, {1536, 558, 1337}, {1536, 558, 1355}, {1536, 558, 787}, {1536, 558, 575}, {1536, 558, 257}, {1536, 179, 558}, {1536, 131, 558}, {1536, 1420, 558}, {1536, 558, 1342}, {1536, 558, 4}, {1536, 558, 1396}, {1536, 558, 167}, {1536, 558, 303}, {1536, 1504, 558}, {1536, 1721, 558}, {1536, 1074, 558}, {1536, 558, 1478}, {1536, 558, 594}, {1536, 558, 1292}, {1536, 558, 1114}, {1536, 558, 1476}, {1536, 1226, 558}, {1536, 1419, 558}, {943, 573, 1491}, {236, 558, 272}, {587, 558, 299}, {337, 1466, 558}, {337, 1601, 558}, {337, 558, 1173}, {337, 558, 1562}, {337, 558, 1543}, {337, 558, 1540}, {337, 558, 245}, {337, 985, 558}, {337, 682, 558}, {337, 665, 558}, {337, 558, 286}, {337, 558, 271}, {337, 558, 370}, {337, 558, 403}, {337, 558, 804}, {337, 712, 558}, {337, 546, 558}, {337, 776, 558}, {337, 558, 257}, {337, 558, 179}, {337, 558, 1420}, {337, 558, 4}, {337, 167, 558}, {337, 303, 558}, {337, 1504, 558}, {337, 487, 558}, {337, 558, 579}, {337, 558, 145}, {337, 558, 259}, {337, 558, 517}, {337, 352, 558}, {337, 750, 558}, {337, 528, 558}, {337, 691, 558}, {337, 558, 1646}, {337, 558, 1114}, {337, 558, 1476}, {337, 558, 1226}, {337, 1665, 558}, {337, 840, 558}, {337, 1164, 558}, {943, 473, 848}, {943, 614, 389}, {1359, 558, 249}, {943, 960, 1081}, {248, 1154, 558}, {248, 180, 558}, {1202, 558, 1367}, {1202, 558, 57}, {307, 558, 620}, {784, 558, 256}, {1551, 558, 278}, {567, 171, 558}, {567, 1026, 558}, {567, 657, 322}, {551, 558, 8}, {943, 1620, 1125}, {558, 1297, 558}, {832, 1275, 558}, {491, 437, 558}, {1502, 642, 558}, {1502, 951, 558}, {1502, 1152, 657}, {892, 744, 558}, {79, 911, 696}, {943, 277, 893}, {412, 1257, 558}, {1714, 1189, 262}, {1241, 177, 558}, {833, 558, 351}, {43, 558, 1541}, {1529, 558, 91}, {167, 558, 11}, {710, 854, 1395}, {1126, 1290, 558}, {699, 1556, 986}, {699, 867, 558}, {1057, 1649, 558}, {1070, 558, 1538}, {1070, 1334, 558}, {1070, 558, 200}, {1112, 382, 558}, {1112, 1233, 558}, {1112, 84, 558}, {1112, 1543, 558}, {1112, 76, 558}, {1112, 1658, 558}, {1112, 786, 558}, {1112, 1664, 558}, {1112, 1482, 558}, {1112, 286, 558}, {1112, 271, 558}, {1112, 370, 558}, {1112, 552, 558}, {1112, 1612, 558}, {1112, 1487, 558}, {1112, 784, 558}, {1112, 764, 558}, {1112, 1057, 558}, {1112, 1582, 558}, {1112, 1031, 558}, {1112, 804, 558}, {1112, 1311, 558}, {1112, 1428, 558}, {1112, 1520, 558}, {1112, 1259, 558}, {1112, 857, 558}, {1112, 712, 558}, {1112, 1337, 558}, {1112, 1381, 558}, {1112, 776, 558}, {1112, 157, 558}, {1112, 1324, 558}, {1112, 179, 558}, {1112, 131, 558}, {1112, 4, 558}, {1112, 1396, 558}, {1112, 167, 558}, {1112, 303, 558}, {1112, 1086, 558}, {1112, 1074, 558}, {1112, 487, 558}, {1112, 579, 558}, {1112, 0, 558}, {1112, 1478, 558}, {1112, 594, 558}, {1112, 1210, 558}, {1112, 1557, 558}, {1112, 259, 558}, {1112, 1052, 558}, {1112, 791, 558}, {1112, 352, 558}, {1112, 750, 558}, {1112, 932, 558}, {1112, 1589, 558}, {1112, 446, 558}, {1112, 528, 558}, {1112, 309, 558}, {1112, 1430, 558}, {1112, 1646, 558}, {1112, 1476, 558}, {1112, 1226, 558}, {1112, 1569, 558}, {1112, 950, 558}, {1112, 1665, 558}, {1112, 1710, 558}, {1112, 1050, 558}, {1112, 607, 558}, {1112, 219, 558}, {1300, 1384, 558}, {710, 416, 1016}, {276, 558, 1637}, {1544, 586, 1330}, {1544, 586, 1330}, {943, 1607, 318}, {1328, 558, 1466}, {1328, 271, 558}, {1328, 370, 558}, {1328, 558, 552}, {1328, 558, 1612}, {1328, 558, 1487}, {1328, 558, 784}, {1328, 558, 244}, {1328, 558, 1623}, {1328, 764, 558}, {1328, 403, 558}, {1328, 558, 1582}, {1328, 558, 1031}, {1328, 558, 804}, {1328, 558, 1311}, {1328, 558, 1520}, {1328, 558, 857}, {1328, 712, 558}, {1328, 558, 1381}, {1328, 558, 546}, {1328, 558, 776}, {1328, 558, 157}, {1328, 558, 1243}, {1328, 558, 1324}, {1328, 131, 558}, {1328, 1396, 558}, {1328, 558, 303}, {1328, 558, 1504}, {1328, 558, 1086}, {1328, 558, 1074}, {1328, 558, 1246}, {1328, 558, 487}, {1328, 579, 558}, {1328, 0, 558}, {1328, 558, 1478}, {1328, 558, 594}, {1328, 558, 1557}, {1328, 558, 259}, {1328, 558, 1052}, {1328, 558, 791}, {1328, 352, 558}, {1328, 750, 558}, {1328, 558, 932}, {1328, 558, 1589}, {1328, 558, 446}, {1328, 558, 528}, {1328, 558, 309}, {1328, 558, 1430}, {1328, 691, 558}, {1328, 1292, 558}, {1328, 558, 1646}, {1328, 558, 1114}, {1328, 558, 1476}, {1328, 558, 1226}, {1328, 558, 1569}, {1328, 558, 1665}, {1328, 1050, 558}, {1328, 558, 1174}, {1063, 558, 1310}, {963, 672, 657}, {840, 558, 846}, {1131, 558, 187}, {243, 566, 802}, {216, 516, 558}, {216, 1610, 558}, {1299, 558, 1046}, {1107, 389, 558}, {639, 416, 107}, {1007, 558, 1334}, {1673, 558, 754}, {639, 1636, 707}, {573, 1484, 558}, {1241, 558, 1013}, {1241, 558, 1217}, {291, 558, 1157}, {291, 657, 1564}, {1524, 1225, 558}, {1721, 558, 10}, {278, 558, 1488}, {462, 558, 1278}, {599, 725, 558}, {692, 441, 558}, {692, 325, 657}, {1259, 558, 300}, {760, 1350, 558}, {1473, 558, 458}, {820, 27, 558}, {383, 917, 558}, {622, 558, 386}, {248, 1649, 558}, {16, 472, 1366}, {899, 558, 850}, {353, 558, 147}, {353, 558, 147}, {1385, 558, 347}, {710, 1132, 1087}, {248, 1180, 558}, {943, 1373, 188}, {817, 486, 558}, {997, 657, 963}, {997, 1523, 558}, {997, 635, 558}, {225, 859, 558}, {640, 136, 558}, {640, 860, 558}, {155, 1021, 558}, {155, 425, 558}, {440, 558, 1555}, {432, 1686, 558}, {432, 1097, 558}, {635, 558, 672}, {635, 672, 558}, {635, 558, 672}, {635, 672, 558}, {635, 558, 672}, {635, 672, 558}, {635, 672, 558}, {43, 558, 1534}, {967, 1330, 558}, {181, 721, 558}, {943, 1225, 683}, {726, 558, 630}, {1195, 558, 1191}, {1195, 1254, 657}, {771, 1055, 558}, {221, 251, 558}, {221, 558, 251}, {248, 558, 372}, {248, 1365, 1085}, {943, 359, 92}, {710, 626, 756}, {710, 457, 823}, {255, 558, 741}, {1140, 148, 657}, {1288, 1634, 558}, {383, 558, 1040}, {383, 1040, 558}, {1637, 558, 699}, {270, 1445, 1495}, {1593, 558, 1552}, {1593, 362, 657}, {1666, 1525, 957}, {1666, 250, 953}, {1666, 701, 740}, {1666, 884, 1071}, {1666, 308, 296}, {1666, 1469, 277}, {1666, 1459, 722}, {1666, 304, 177}, {341, 558, 256}, {16, 1558, 428}, {691, 252, 591}, {558, 558, 1672}, {439, 1053, 558}, {156, 558, 786}, {156, 558, 1664}, {156, 558, 1482}, {156, 558, 1243}, {156, 558, 822}, {156, 1324, 558}, {156, 558, 1646}, {156, 1155, 558}, {156, 558, 301}, {156, 558, 950}, {156, 558, 1665}, {156, 558, 1710}, {943, 1302, 657}, {943, 1694, 1}, {874, 54, 1403}, {1120, 558, 137}, {558, 1171, 558}, {833, 744, 558}, {368, 218, 558}, {623, 319, 1707}, {623, 388, 558}, {1578, 1368, 558}, {1027, 558, 476}, {1589, 368, 558}, {1589, 104, 558}, {153, 558, 1096}, {440, 1352, 558}, {440, 104, 558}, {440, 812, 558}, {1585, 558, 962}, {1398, 1489, 558}, {258, 1103, 1106}, {979, 1347, 558}, {370, 558, 1464}, {955, 558, 1671}, {1343, 911, 558}, {790, 558, 434}, {1054, 558, 70}, {1543, 558, 1106}, {1150, 320, 558}, {283, 1108, 488}, {775, 657, 1608}, {775, 1423, 558}, {775, 869, 558}, {283, 1473, 481}, {1164, 340, 558}, {248, 558, 1382}, {575, 673, 1053}, {879, 703, 927}, {415, 931, 558}, {88, 1375, 558}, {1110, 771, 558}, {1506, 965, 1388}, {1506, 295, 558}, {353, 558, 7}, {353, 558, 7}, {353, 558, 466}, {73, 920, 558}, {65, 651, 558}, {710, 248, 902}, {1384, 1182, 558}, {943, 1675, 895}, {25, 674, 558}, {943, 1588, 829}, {943, 894, 1281}, {943, 369, 1075}, {943, 929, 1234}, {688, 558, 1223}, {943, 1638, 1537}, {110, 701, 716}, {510, 1716, 558}, {1113, 161, 558}, {861, 1382, 558}, {1247, 558, 1068}, {471, 1591, 1591}, {471, 558, 1591}, {471, 558, 1591}, {471, 558, 1591}, {471, 558, 1591}, {471, 558, 1591}, {471, 558, 1591}, {471, 558, 1591}, {471, 1591, 558}, {353, 558, 1325}, {353, 558, 1325}, {353, 558, 769}, {358, 1467, 657}, {710, 463, 1094}, {879, 1590, 1620}, {645, 558, 1368}, {248, 558, 1275}, {52, 558, 1267}, {710, 494, 514}, {954, 279, 558}, {954, 367, 558}, {236, 558, 1427}, {271, 558, 1464}, {114, 558, 1496}, {943, 1251, 843}, {1437, 558, 1519}, {710, 262, 1447}, {522, 558, 1196}, {639, 246, 153}, {691, 558, 790}, {1182, 1601, 558}, {1182, 258, 558}, {1182, 665, 558}, {1182, 764, 558}, {1182, 1057, 558}, {1182, 1381, 558}, {1182, 303, 558}, {1182, 285, 558}, {1182, 594, 558}, {1182, 1052, 558}, {1182, 1589, 558}, {1182, 309, 558}, {1182, 1646, 558}, {1182, 904, 558}, {1182, 1476, 558}, {1182, 950, 558}, {1182, 558, 607}, {1182, 219, 558}, {943, 558, 984}, {943, 558, 549}, {943, 558, 437}, {943, 558, 859}, {943, 558, 1068}, {943, 558, 654}, {943, 874, 558}, {984, 558, 1167}, {710, 851, 792}, {984, 558, 1248}, {984, 558, 1142}, {984, 558, 1627}, {984, 558, 530}, {1052, 558, 510}, {1052, 558, 134}, {1165, 105, 558}, {1165, 558, 942}, {37, 945, 945}, {37, 945, 558}, {37, 945, 558}, {37, 945, 558}, {37, 945, 558}, {37, 558, 945}, {37, 945, 558}, {37, 945, 558}, {37, 558, 945}, {8, 36, 558}, {8, 150, 558}, {570, 1030, 333}, {1258, 591, 558}, {943, 684, 657}, {1259, 558, 1649}, {943, 1724, 448}, {685, 558, 1598}, {1238, 558, 1060}, {921, 371, 957}, {921, 965, 250}, {921, 22, 740}, {921, 274, 1071}, {921, 651, 296}, {921, 486, 277}, {921, 722, 1197}, {921, 304, 532}, {710, 1376, 1288}, {1569, 558, 327}, {988, 640, 558}, {943, 34, 828}, {943, 657, 1188}, {151, 558, 2}, {1326, 72, 558}, {710, 1339, 597}, {402, 558, 834}, {485, 436, 558}, {361, 809, 558}, {943, 442, 509}, {1025, 558, 564}, {1320, 558, 1601}, {1320, 558, 382}, {1320, 558, 1173}, {1320, 558, 1233}, {1320, 1562, 558}, {1320, 558, 1543}, {1320, 558, 76}, {1320, 558, 1658}, {1320, 558, 1540}, {1320, 558, 245}, {1320, 558, 985}, {1320, 558, 786}, {1320, 1664, 558}, {1320, 558, 682}, {1320, 558, 1482}, {1320, 558, 665}, {1320, 558, 286}, {1320, 558, 324}, {1320, 558, 1337}, {1320, 558, 1355}, {1320, 558, 787}, {1320, 558, 257}, {1320, 558, 179}, {1320, 558, 1420}, {1320, 558, 4}, {1320, 558, 167}, {1320, 558, 145}, {1320, 558, 517}, {1320, 558, 301}, {1320, 558, 950}, {1320, 1710, 558}, {1320, 1419, 558}, {1320, 558, 1164}, {1068, 977, 624}, {236, 558, 79}, {1023, 1003, 558}, {1023, 1425, 924}, {1068, 1645, 478}, {1068, 704, 458}, {811, 753, 558}, {811, 753, 558}, {519, 558, 127}, {519, 135, 657}, {1360, 1575, 558}, {1155, 558, 252}, {1628, 1348, 558}, {16, 1703, 468}, {1074, 366, 558}, {1063, 308, 1583}, {1513, 558, 234}, {946, 558, 384}, {1653, 558, 128}, {773, 275, 558}, {376, 66, 558}, {376, 558, 842}, {376, 1479, 657}, {943, 98, 1709}, {686, 558, 1282}, {710, 562, 645}, {467, 1705, 558}, {1392, 297, 346}, {1392, 558, 284}, {526, 558, 1227}, {552, 558, 1464}, {1425, 558, 78}, {1425, 1310, 142}, {117, 558, 1617}, {92, 422, 558}, {991, 558, 744}, {1294, 851, 558}, {943, 197, 944}, {1658, 558, 1106}, {710, 1684, 1418}, {516, 388, 558}, {1221, 1566, 558}, {812, 558, 1044}, {943, 1352, 1131}, {1355, 558, 1560}, {710, 1375, 95}, {710, 1089, 1529}, {844, 454, 946}, {129, 331, 1336}, {129, 314, 166}, {129, 1405, 606}, {129, 1414, 1188}, {352, 1391, 558}, {352, 1352, 558}, {943, 820, 1657}, {553, 511, 845}, {1272, 558, 608}, {413, 558, 123}, {1142, 558, 185}, {1142, 558, 404}, {43, 21, 558}, {1449, 558, 944}, {1675, 337, 558}, {16, 363, 1091}, {1233, 558, 1717}, {384, 885, 558}, {384, 550, 558}, {943, 176, 598}, {943, 1592, 1653}, {943, 558, 891}, {702, 558, 1562}, {702, 1543, 558}, {702, 76, 558}, {702, 1540, 558}, {702, 245, 558}, {702, 985, 558}, {702, 786, 558}, {702, 682, 558}, {702, 244, 558}, {702, 324, 558}, {702, 558, 1466}, {702, 546, 558}, {702, 1324, 558}, {702, 179, 558}, {702, 1396, 558}, {702, 167, 558}, {702, 1074, 558}, {702, 1246, 558}, {702, 53, 558}, {702, 691, 558}, {702, 1665, 558}, {248, 558, 191}, {778, 558, 1275}, {31, 687, 558}, {444, 657, 42}, {1228, 1196, 558}, {1140, 148, 657}, {943, 67, 1036}, {1632, 1236, 558}, {1632, 1220, 558}, {163, 1498, 558}, {163, 903, 558}, {1620, 1576, 558}, {943, 1011, 862}, {710, 1687, 222}, {710, 299, 1625}, {943, 1008, 169}, {1321, 1714, 558}, {1244, 1103, 558}, {1433, 620, 558}, {710, 254, 1353}, {943, 340, 1283}, {681, 433, 1023}, {1446, 430, 206}, {1010, 311, 558}, {1010, 1334, 558}, {1047, 558, 534}, {796, 35, 558}, {1262, 1407, 933}, {943, 296, 1490}, {667, 558, 928}, {284, 891, 1032}, {292, 1070, 558}, {26, 60, 558}, {26, 1512, 558}, {26, 1173, 558}, {26, 258, 558}, {26, 245, 558}, {26, 682, 558}, {26, 492, 558}, {26, 1204, 558}, {26, 558, 58}, {26, 342, 558}, {26, 257, 558}, {26, 354, 558}, {26, 1168, 558}, {26, 1721, 558}, {26, 1239, 558}, {26, 558, 461}, {26, 447, 558}, {26, 660, 558}, {26, 1292, 558}, {26, 1114, 558}, {26, 904, 558}, {26, 558, 1419}, {26, 281, 558}, {26, 1164, 558}, {1651, 558, 168}, {437, 1242, 704}, {943, 889, 1104}, {991, 1474, 558}, {1247, 48, 558}, {1247, 1331, 558}, {456, 1039, 558}, {647, 939, 558}, {943, 825, 138}, {1036, 717, 558}, {1672, 558, 1650}, {509, 1270, 558}, {653, 558, 390}, {179, 558, 1455}, {862, 1365, 558}, {866, 657, 9}, {1055, 1560, 558}, {1038, 269, 558}, {1622, 558, 1019}, {1622, 1294, 558}, {1484, 558, 1491}, {882, 558, 1374}, {725, 306, 558}, {1448, 1619, 558}, {943, 831, 858}, {1511, 1598, 262}, {1042, 1444, 991}, {172, 1633, 558}, {172, 210, 657}, {1357, 678, 558}, {1302, 558, 1600}, {1186, 98, 1150}, {1533, 558, 964}, {331, 149, 558}, {984, 558, 1522}, {1715, 558, 1399}, {1715, 558, 1399}, {1715, 1105, 657}, {677, 726, 558}, {989, 565, 558}, {1022, 558, 329}, {689, 558, 1465}, {943, 396, 796}, {943, 153, 1100}, {1442, 793, 558}, {1380, 558, 109}, {967, 558, 405}, {1693, 1312, 558}, {1601, 1604, 558}, {1601, 558, 1397}, {1247, 558, 1698}, {558, 558, 175}, {269, 1030, 333}, {603, 1721, 558}, {235, 1483, 336}, {235, 558, 1084}, {149, 970, 558}, {149, 558, 762}, {892, 558, 478}, {295, 965, 558}, {791, 273, 558}, {791, 677, 558}, {116, 1597, 558}, {116, 558, 1597}, {116, 1597, 558}, {1683, 558, 966}, {441, 325, 558}, {1109, 558, 1649}, {627, 558, 318}, {538, 330, 881}, {43, 558, 1223}, {282, 874, 558}, {33, 558, 1301}, {853, 1517, 558}, {425, 1388, 558}, {425, 295, 558}, {876, 1584, 558}, {283, 1458, 833}, {1356, 326, 558}, {1318, 637, 558}, {1691, 516, 558}, {394, 558, 401}, {1415, 558, 471}, {1415, 558, 466}, {710, 1290, 698}, {943, 111, 955}, {943, 62, 1690}, {943, 374, 1669}, {675, 888, 558}, {675, 888, 558}, {697, 558, 872}, {1239, 636, 558}, {792, 732, 106}, {1005, 558, 93}, {978, 419, 558}, {1328, 558, 1320}, {1304, 558, 1688}, {828, 558, 998}, {248, 1145, 558}, {248, 604, 558}, {710, 533, 599}, {1064, 558, 694}, {321, 558, 849}, {321, 657, 247}, {1228, 384, 558}, {1228, 384, 558}, {1377, 385, 558}, {1177, 558, 1614}, {857, 558, 300}, {353, 558, 520}, {353, 558, 520}, {353, 558, 224}, {194, 60, 558}, {194, 1512, 558}, {194, 84, 558}, {194, 558, 1623}, {194, 558, 403}, {194, 558, 1428}, {194, 558, 492}, {194, 558, 1204}, {194, 1259, 558}, {194, 558, 342}, {194, 558, 1355}, {194, 558, 787}, {194, 558, 575}, {194, 1243, 558}, {194, 822, 558}, {194, 1420, 558}, {194, 558, 1342}, {194, 558, 1504}, {194, 1168, 558}, {194, 145, 558}, {194, 1524, 558}, {194, 1210, 558}, {194, 461, 558}, {194, 558, 1155}, {194, 558, 301}, {194, 558, 1385}, {558, 558, 650}, {759, 558, 944}, {879, 1300, 343}, {1006, 558, 664}, {710, 675, 330}, {353, 612, 558}, {353, 612, 558}, {943, 14, 294}, {943, 586, 832}, {1567, 558, 60}, {1567, 558, 1487}, {1567, 558, 1031}, {1567, 1428, 558}, {1567, 558, 58}, {1567, 558, 342}, {1567, 1381, 558}, {1567, 558, 579}, {1567, 558, 120}, {1567, 558, 677}, {1567, 558, 447}, {1567, 558, 660}, {1567, 558, 1430}, {1567, 904, 558}, {1567, 558, 607}, {1682, 613, 150}, {91, 558, 1256}, {91, 657, 574}, {339, 558, 543}, {595, 239, 558}, {595, 992, 558}, {1247, 558, 859}, {943, 676, 907}, {17, 657, 1536}, {17, 558, 646}, {1114, 558, 889}, {1226, 327, 558}, {1564, 684, 1661}, {1564, 1437, 1095}, {1564, 1282, 87}, {1564, 1242, 1424}, {1564, 413, 719}, {320, 1322, 558}, {320, 735, 558}, {353, 558, 471}, {353, 558, 471}, {354, 558, 595}, {444, 643, 558}, {444, 1613, 558}, {943, 1431, 1134}, {1478, 558, 256}, {1313, 924, 558}, {1105, 558, 710}, {1105, 558, 710}, {1105, 710, 558}, {1105, 558, 710}, {1105, 710, 558}, {1488, 558, 545}, {1488, 558, 1547}, {45, 558, 815}, {647, 558, 570}, {801, 1491, 1287}, {470, 467, 558}, {943, 146, 737}, {801, 1188, 1531}, {885, 513, 558}, {353, 558, 37}, {353, 558, 37}, {96, 350, 313}, {96, 649, 558}, {288, 558, 798}, {288, 657, 794}, {1429, 826, 657}, {43, 625, 558}, {1532, 558, 34}, {751, 558, 652}, {1677, 558, 475}, {1677, 657, 999}, {943, 865, 958}, {1186, 1405, 85}, {1186, 1648, 1188}, {1186, 1, 1287}, {582, 558, 1067}, {582, 821, 657}, {1186, 1336, 448}, {1186, 589, 166}, {1629, 558, 263}, {707, 558, 1502}, {71, 558, 654}, {1186, 777, 1001}, {858, 1719, 558}, {60, 1717, 558}, {520, 657, 945}, {520, 657, 945}, {1104, 253, 558}, {1552, 362, 558}, {892, 797, 558}, {644, 678, 558}, {975, 854, 558}, {1084, 558, 803}, {1084, 1314, 558}, {1205, 1454, 1494}, {1205, 260, 558}, {943, 1689, 982}, {943, 1001, 657}, {943, 522, 88}, {1386, 484, 914}, {31, 307, 558}, {1287, 1580, 558}, {1287, 1580, 558}, {86, 435, 558}, {86, 558, 435}, {86, 558, 435}, {86, 558, 435}, {710, 1624, 248}, {286, 616, 558}, {803, 482, 558}, {210, 558, 736}, {210, 558, 736}, {210, 558, 736}, {210, 558, 736}, {294, 959, 558}, {128, 558, 1592}, {353, 558, 42}, {353, 558, 42}, {353, 558, 1613}, {910, 558, 1165}, {943, 658, 989}, {673, 1304, 558}, {15, 39, 558}, {710, 1514, 880}, {708, 549, 558}, {943, 305, 1531}, {480, 202, 629}, {710, 472, 1606}, {943, 44, 90}, {683, 558, 229}, {1154, 1380, 558}, {904, 558, 347}, {943, 559, 608}, {353, 558, 373}, {353, 558, 373}, {353, 558, 1720}, {943, 54, 657}, {943, 722, 68}, {409, 558, 302}, {362, 841, 957}, {362, 250, 681}, {362, 350, 740}, {362, 1071, 1063}, {362, 296, 477}, {362, 277, 336}, {362, 722, 1318}, {943, 469, 875}, {1664, 844, 558}, {325, 573, 1287}, {613, 1656, 450}, {613, 558, 1159}, {943, 657, 493}, {943, 1481, 1452}, {943, 560, 808}, {572, 1517, 558}, {693, 1348, 1525}, {139, 169, 558}, {334, 558, 1421}, {353, 643, 558}, {353, 643, 558}, {248, 46, 558}, {1137, 558, 1185}, {560, 558, 412}, {860, 274, 558}, {943, 436, 85}, {943, 896, 1284}, {1716, 558, 180}, {1349, 588, 558}, {1045, 558, 1370}, {943, 1321, 132}, {943, 1254, 1307}, {550, 1347, 558}, {790, 1137, 816}, {943, 250, 697}, {639, 825, 864}, {175, 558, 1588}, {747, 558, 1417}, {1460, 558, 1309}, {1174, 201, 558}, {353, 558, 798}, {353, 558, 798}, {353, 558, 288}, {943, 558, 525}, {943, 558, 628}, {1111, 1470, 558}, {1111, 558, 1614}, {1680, 313, 558}, {1680, 649, 558}, {956, 984, 558}, {1521, 558, 242}, {325, 1148, 1150}, {440, 137, 504}, {1382, 1649, 558}, {1382, 300, 558}, {90, 1433, 558}, {120, 558, 256}, {1645, 1063, 185}, {1645, 404, 558}, {1258, 558, 1352}, {987, 558, 1169}, {95, 558, 531}, {943, 31, 1051}, {710, 1368, 1149}, {1453, 612, 558}, {1453, 1720, 558}, {126, 558, 113}, {750, 1391, 558}, {640, 558, 1610}, {1217, 558, 532}, {43, 476, 558}, {453, 558, 1213}, {1371, 620, 558}, {439, 51, 558}, {1553, 558, 334}, {1002, 558, 605}, {1002, 558, 605}, {1477, 1541, 558}, {1428, 558, 1107}, {1428, 558, 604}, {558, 558, 89}, {646, 558, 272}, {1174, 558, 1293}, {131, 558, 1455}, {800, 1331, 558}, {1247, 558, 741}, {1564, 121, 1014}, {1564, 1630, 1387}, {943, 1037, 266}, {42, 657, 650}, {42, 657, 650}, {1702, 558, 973}, {1471, 558, 1119}, {943, 1586, 621}, {710, 577, 1046}, {476, 558, 956}, {476, 984, 657}, {1562, 1244, 558}, {1562, 1351, 558}, {1503, 961, 558}, {710, 1093, 226}, {245, 1358, 558}, {671, 14, 558}, {1124, 558, 1662}, {1269, 558, 1401}, {1269, 558, 1249}, {821, 668, 1451}, {226, 1593, 558}, {543, 196, 558}, {543, 657, 1468}, {1708, 558, 236}, {475, 1237, 657}, {1350, 827, 558}, {710, 827, 1472}, {710, 1275, 1581}, {1626, 558, 1133}, {1626, 558, 702}, {821, 1128, 1353}, {1086, 558, 1037}, {1399, 558, 1105}, {319, 558, 972}, {936, 558, 425}, {1325, 657, 1005}, {1325, 1005, 657}, {43, 558, 611}, {245, 558, 1106}, {710, 50, 1350}, {600, 36, 558}, {1721, 558, 1048}, {710, 1636, 935}, {1394, 503, 558}, {1468, 1630, 280}, {1468, 1437, 3}, {1468, 684, 998}, {1468, 1242, 1389}, {1408, 1004, 558}, {1662, 553, 558}, {1468, 721, 1299}, {862, 1347, 558}, {107, 558, 376}, {236, 182, 1151}, {124, 558, 141}, {710, 1528, 1215}, {710, 1161, 109}, {1401, 626, 1198}, {529, 558, 391}, {529, 558, 391}, {529, 558, 391}, {770, 558, 19}, {943, 1150, 657}, {943, 182, 265}, {943, 897, 1211}, {446, 368, 558}, {1165, 558, 1354}, {1214, 558, 879}, {966, 1635, 558}, {966, 657, 203}, {559, 770, 558}, {1596, 1271, 558}, {1596, 657, 140}, {943, 657, 1242}, {943, 1402, 114}, {710, 1014, 1116}, {1600, 1546, 1495}, {31, 1044, 558}, {905, 558, 979}, {1533, 156, 558}, {373, 657, 175}, {373, 657, 175}, {1175, 558, 267}, {943, 1473, 657}, {597, 882, 558}, {761, 1056, 558}, {78, 695, 619}, {78, 558, 1179}, {943, 674, 745}, {943, 1130, 512}, {943, 1102, 1099}, {1241, 269, 558}, {353, 558, 298}, {353, 558, 298}, {353, 558, 23}, {600, 1279, 558}, {161, 558, 969}, {161, 657, 801}, {641, 715, 558}, {641, 1704, 558}, {1247, 558, 654}, {804, 558, 604}, {325, 615, 166}, {1577, 558, 1042}, {1043, 558, 414}, {325, 843, 1001}, {1218, 1257, 558}, {894, 1587, 558}, {1393, 558, 490}, {344, 1073, 557}, {826, 657, 230}, {344, 20, 585}, {344, 558, 1316}, {943, 73, 934}, {248, 1465, 558}, {1501, 1349, 558}, {1501, 1349, 558}, {1501, 558, 1349}, {1501, 1349, 558}, {943, 1049, 160}, {477, 647, 558}, {1149, 558, 264}, {1565, 558, 1218}, {1565, 558, 1218}, {710, 248, 1276}, {943, 1713, 501}, {971, 1512, 558}, {971, 258, 558}, {971, 84, 558}, {971, 788, 558}, {971, 1057, 558}, {971, 204, 558}, {971, 1582, 558}, {971, 1204, 558}, {971, 712, 558}, {971, 157, 558}, {971, 1086, 558}, {971, 487, 558}, {971, 1239, 558}, {971, 285, 558}, {971, 1524, 558}, {971, 273, 558}, {971, 750, 558}, {971, 932, 558}, {971, 309, 558}, {971, 219, 558}, {710, 1360, 1091}, {84, 558, 1106}, {1679, 558, 1262}, {943, 1438, 504}, {943, 1228, 1574}, {843, 558, 1640}, {943, 119, 702}, {328, 1006, 558}, {879, 237, 119}, {879, 724, 310}, {710, 248, 1272}, {503, 558, 270}, {833, 1684, 558}, {0, 558, 256}, {335, 508, 1303}, {1669, 1460, 558}, {704, 681, 452}, {704, 1691, 558}, {534, 54, 737}, {534, 1009, 1234}, {534, 978, 450}, {534, 1475, 162}, {534, 1405, 727}, {534, 263, 858}, {534, 679, 1136}, {534, 1494, 1653}, {251, 558, 1028}, {251, 353, 558}, {251, 353, 558}, {251, 558, 353}, {251, 558, 353}, {1708, 19, 558}, {1060, 54, 1108}, {1060, 1150, 991}, {1060, 1473, 1287}, {1060, 1188, 1302}, {1060, 892, 1405}, {1060, 1503, 166}, {1060, 833, 1336}, {1060, 1001, 493}, {943, 1065, 1124}, {1571, 1144, 558}, {1194, 558, 439}, {848, 558, 1178}, {943, 824, 398}, {1465, 728, 558}, {388, 972, 1372}, {825, 558, 1250}, {943, 558, 742}, {616, 558, 454}, {1419, 558, 774}, {390, 1258, 558}, {1418, 1415, 558}, {1564, 1147, 1299}, {620, 558, 922}, {620, 1115, 558}, {1295, 558, 1238}, {1295, 657, 1060}, {943, 1209, 663}, {710, 1181, 69}, {943, 28, 171}, {1247, 437, 558}, {1710, 252, 558}, {799, 1339, 558}, {643, 558, 650}, {643, 558, 650}, {643, 558, 650}, {643, 650, 558}, {643, 650, 558}, {643, 558, 650}, {643, 558, 650}, {102, 657, 1156}, {102, 657, 1156}, {102, 657, 1156}, {102, 657, 1156}, {102, 657, 1156}, {102, 657, 1156}, {102, 657, 1156}, {1314, 558, 592}, {1314, 1327, 1617}, {1083, 302, 558}, {1083, 1019, 558}, {1200, 558, 648}, {1435, 548, 558}, {1020, 1277, 558}, {1436, 1723, 558}, {1436, 558, 1614}, {1184, 1631, 903}, {943, 1651, 657}, {372, 1085, 1172}, {248, 912, 1290}, {273, 558, 773}, {964, 558, 17}, {964, 558, 1536}, {663, 558, 535}, {470, 1286, 558}, {127, 135, 558}, {872, 558, 901}, {1245, 299, 1723}, {1152, 1340, 657}, {1152, 1340, 657}, {1152, 657, 1340}, {1152, 657, 1340}, {1152, 1340, 657}, {1560, 1081, 558}, {1609, 1329, 558}, {1450, 1499, 558}, {926, 558, 1712}, {1170, 661, 566}, {943, 1326, 1073}, {466, 558, 7}, {466, 657, 471}, {1258, 384, 558}, {193, 22, 558}, {289, 997, 558}, {943, 1358, 521}, {318, 558, 1444}, {1545, 1443, 657}, {710, 644, 428}, {1171, 558, 519}, {1574, 1089, 558}, {776, 558, 1219}, {305, 184, 558}, {1411, 1079, 558}, {849, 558, 247}, {862, 1211, 558}, {94, 558, 1024}, {933, 558, 877}, {523, 1657, 1406}, {523, 875, 1659}, {523, 558, 743}, {1646, 558, 513}, {1230, 708, 558}, {1230, 657, 549}, {59, 304, 1398}, {59, 143, 957}, {947, 558, 1654}, {377, 558, 232}, {1468, 413, 332}, {758, 1622, 558}, {81, 558, 1190}, {943, 1300, 1182}, {270, 922, 1544}, {270, 1115, 558}, {1691, 558, 110}, {1691, 558, 1023}, {868, 723, 558}, {746, 794, 558}, {746, 288, 558}, {546, 1681, 558}, {43, 1270, 558}, {1247, 898, 558}, {119, 558, 1626}, {500, 1390, 1197}, {500, 558, 174}, {188, 690, 558}, {1303, 782, 1040}, {1160, 212, 558}, {449, 558, 819}, {1302, 457, 558}, {1033, 558, 1015}, {414, 1611, 1299}, {325, 305, 1188}, {943, 11, 55}, {1274, 558, 1069}, {710, 913, 1274}, {1311, 558, 604}, {23, 558, 298}, {23, 657, 1501}, {968, 1093, 558}, {943, 1705, 1020}, {199, 558, 781}, {199, 558, 1422}, {334, 558, 118}, {700, 619, 558}, {157, 558, 1090}, {1129, 558, 1467}, {1633, 657, 736}, {1633, 657, 736}, {1633, 657, 736}, {1633, 657, 736}, {1633, 657, 736}, {901, 1556, 558}, {901, 867, 558}, {647, 1220, 558}, {1067, 821, 558}, {943, 541, 1320}, {710, 1409, 916}, {666, 558, 862}, {1323, 283, 558}, {535, 558, 1206}, {1185, 1215, 558}, {201, 1433, 558}, {493, 1200, 558}, {493, 558, 744}, {636, 558, 967}, {855, 268, 657}, {855, 268, 657}, {855, 268, 657}, {855, 268, 657}, {855, 268, 657}, {248, 558, 1343}, {646, 202, 558}, {943, 558, 881}, {1056, 1080, 739}, {943, 1539, 657}, {878, 631, 558}, {916, 558, 1185}, {967, 558, 272}, {943, 80, 1333}, {1671, 571, 558}, {1671, 558, 302}, {1671, 1019, 558}, {1671, 558, 1294}, {1516, 1306, 558}, {1516, 558, 1306}, {1516, 1306, 558}, {196, 558, 1468}, {271, 558, 1058}, {710, 1039, 24}, {857, 558, 1649}, {857, 558, 1377}, {943, 1101, 190}, {164, 412, 558}, {943, 993, 20}, {0, 726, 558}, {1455, 1412, 558}, {1346, 558, 1296}, {1346, 359, 657}, {1324, 558, 1455}, {214, 765, 1001}, {847, 558, 104}, {1243, 558, 1455}, {676, 558, 148}, {676, 148, 558}, {676, 558, 148}, {676, 148, 558}, {676, 558, 148}, {676, 558, 148}, {676, 558, 148}, {748, 558, 1241}, {1296, 399, 657}, {785, 558, 267}, {1028, 353, 657}, {1159, 558, 450}, {1431, 1578, 558}, {238, 1215, 558}, {969, 801, 558}, {232, 558, 585}, {232, 1704, 558}, {232, 558, 1316}, {943, 1177, 1069}, {1429, 1315, 558}, {1429, 381, 558}, {943, 1442, 1045}, {1481, 558, 1134}, {943, 728, 357}, {781, 558, 160}, {1481, 558, 912}, {943, 1652, 385}, {558, 1005, 558}, {646, 470, 558}, {943, 1194, 99}, {727, 556, 558}, {932, 368, 558}, {932, 558, 1352}, {1121, 291, 558}, {981, 558, 733}, {943, 107, 66}, {1143, 475, 657}, {1143, 558, 1677}, {1143, 558, 999}, {943, 957, 394}, {1285, 1506, 558}, {1285, 1510, 1122}, {1447, 558, 1175}, {1327, 808, 558}, {959, 1154, 558}, {171, 558, 1493}, {171, 558, 1493}, {171, 558, 1493}, {171, 558, 1493}, {345, 1475, 1686}, {345, 558, 1097}, {1138, 558, 767}, {710, 1387, 240}, {815, 558, 1193}, {1292, 558, 1065}, {829, 667, 558}, {98, 1434, 558}, {1505, 830, 558}, {757, 1030, 558}, {710, 1718, 671}, {192, 1130, 558}, {1024, 558, 1069}, {943, 1231, 1176}, {1062, 1429, 558}, {1171, 558, 358}, {1222, 558, 1090}, {382, 558, 1717}, {1186, 1216, 54}, {336, 1459, 482}, {558, 159, 558}, {1579, 558, 221}, {1042, 1119, 892}, {1591, 374, 558}, {1042, 439, 1302}, {1042, 77, 833}, {507, 279, 558}, {507, 186, 1082}, {710, 961, 1266}, {200, 558, 1486}, {200, 293, 1367}, {200, 558, 57}, {353, 1501, 558}, {353, 1501, 558}, {943, 952, 1509}, {222, 97, 558}, {938, 1245, 558}, {99, 558, 1644}, {108, 1666, 558}, {850, 1446, 558}, {850, 430, 558}, {943, 1169, 1216}, {943, 588, 529}, {943, 483, 657}, {943, 121, 657}, {67, 558, 14}, {1032, 558, 297}, {1534, 558, 763}, {1534, 1068, 657}, {69, 1045, 558}, {36, 1009, 1322}, {36, 558, 735}, {417, 657, 539}, {417, 539, 657}, {417, 539, 657}, {417, 657, 539}, {417, 657, 539}, {417, 657, 539}, {417, 539, 657}, {967, 1211, 558}, {967, 1211, 558}, {1286, 1211, 558}, {690, 558, 1612}, {690, 558, 804}, {690, 1311, 558}, {690, 492, 558}, {690, 1259, 558}, {690, 558, 354}, {690, 558, 341}, {690, 558, 461}, {690, 558, 352}, {690, 558, 1589}, {690, 1569, 558}, {690, 281, 558}, {1399, 657, 710}, {398, 321, 558}, {43, 692, 558}, {1293, 620, 558}, {936, 1122, 558}, {348, 1194, 558}, {350, 988, 558}, {743, 558, 875}, {743, 545, 609}, {743, 558, 1547}, {890, 558, 1694}, {140, 1539, 1001}, {140, 1336, 13}, {325, 64, 54}, {140, 407, 54}, {710, 38, 558}, {710, 558, 1247}, {1252, 882, 558}, {140, 1160, 1405}, {140, 315, 1188}, {140, 1651, 1287}, {761, 233, 970}, {761, 558, 762}, {1201, 558, 1372}, {840, 558, 1293}, {115, 1439, 558}, {97, 558, 1072}, {97, 558, 769}, {755, 558, 1170}, {834, 657, 102}, {75, 129, 558}, {142, 1571, 558}, {142, 427, 165}, {574, 1628, 957}, {574, 841, 250}, {574, 681, 740}, {574, 350, 1071}, {574, 1063, 296}, {574, 277, 477}, {574, 336, 722}, {574, 304, 1318}, {233, 1205, 569}, {943, 1282, 657}, {1191, 657, 887}, {1191, 657, 887}, {1191, 657, 887}, {1191, 657, 887}, {1499, 558, 709}, {1499, 657, 1201}, {1549, 929, 558}, {943, 414, 558}, {943, 898, 558}, {31, 558, 132}, {918, 1583, 558}, {336, 558, 112}, {756, 1110, 558}, {1331, 146, 1108}, {1331, 929, 991}, {1331, 1618, 1473}, {1331, 1654, 1302}, {1331, 892, 1344}, {1331, 831, 1503}, {1331, 326, 833}, {1331, 1592, 493}, {369, 540, 558}, {1345, 1542, 1685}, {1345, 1568, 558}, {1649, 795, 558}, {710, 1180, 1533}, {1403, 558, 983}, {1268, 558, 580}, {287, 657, 1545}, {287, 558, 1034}, {287, 558, 994}, {219, 558, 347}, {140, 1150, 52}, {984, 558, 1332}, {610, 558, 582}, {801, 1251, 1001}, {1139, 937, 558}, {943, 1500, 526}, {801, 658, 1405}, {47, 603, 558}, {801, 518, 1336}, {801, 733, 166}, {49, 499, 558}, {579, 558, 824}, {862, 558, 445}, {729, 558, 1185}, {710, 738, 1519}, {1540, 558, 734}, {943, 1503, 657}, {50, 558, 629}, {943, 440, 151}, {660, 1716, 558}, {660, 1708, 558}, {594, 558, 256}, {39, 558, 208}, {558, 558, 1349}, {943, 927, 26}, {628, 1335, 558}, {628, 657, 1698}, {943, 616, 460}, {895, 558, 1233}, {895, 558, 76}, {895, 1658, 558}, {895, 558, 786}, {895, 558, 1664}, {895, 558, 1612}, {895, 558, 784}, {895, 244, 558}, {895, 1623, 558}, {895, 558, 764}, {895, 1311, 558}, {895, 324, 558}, {895, 857, 558}, {895, 558, 1337}, {895, 1355, 558}, {895, 787, 558}, {895, 558, 575}, {895, 558, 1381}, {895, 822, 558}, {895, 131, 558}, {895, 558, 1086}, {895, 558, 1074}, {895, 558, 1246}, {895, 0, 558}, {895, 558, 594}, {895, 558, 1052}, {895, 558, 1589}, {895, 558, 446}, {895, 309, 558}, {895, 53, 558}, {895, 1292, 558}, {895, 558, 1155}, {895, 558, 1569}, {895, 558, 301}, {895, 558, 950}, {895, 558, 1710}, {895, 1419, 558}, {681, 558, 716}, {283, 72, 1503}, {143, 693, 558}, {143, 1285, 558}, {1031, 558, 604}, {943, 1455, 1505}, {1566, 1240, 558}, {1566, 657, 863}, {710, 1507, 864}, {1133, 996, 558}, {1704, 856, 919}, {1704, 835, 558}, {581, 838, 558}, {397, 11, 1563}, {1557, 134, 558}, {283, 892, 208}, {862, 1130, 558}, {943, 657, 315}, {943, 133, 558}, {943, 161, 558}, {418, 558, 332}, {943, 740, 276}, {1466, 558, 1000}, {1257, 753, 558}, {1257, 711, 558}, {1257, 558, 569}, {24, 440, 558}, {64, 1025, 558}, {58, 558, 1107}, {943, 795, 360}, {739, 679, 1554}, {739, 558, 479}, {943, 868, 1631}, {0, 558, 272}, {298, 657, 1349}, {298, 657, 1349}, {298, 657, 1349}, {298, 657, 1349}, {659, 558, 195}, {659, 195, 558}, {659, 195, 558}, {659, 195, 558}, {659, 558, 195}, {659, 195, 558}, {1698, 54, 146}, {1698, 1150, 929}, {1698, 1618, 1287}, {1698, 1188, 1654}, {1698, 1405, 1344}, {1698, 166, 831}, {1698, 326, 1336}, {1698, 1592, 1001}, {1468, 1282, 694}, {943, 707, 642}, {780, 1722, 558}, {379, 558, 1704}, {1125, 1512, 558}, {1125, 558, 382}, {1125, 1173, 558}, {1125, 1543, 558}, {1125, 76, 558}, {1125, 245, 558}, {1125, 786, 558}, {1125, 1664, 558}, {1125, 682, 558}, {1125, 1482, 558}, {1125, 552, 558}, {1125, 1487, 558}, {1125, 764, 558}, {1125, 1057, 558}, {1125, 58, 558}, {1125, 1520, 558}, {1125, 1381, 558}, {1125, 257, 558}, {1125, 1324, 558}, {1125, 179, 558}, {1125, 558, 131}, {1125, 4, 558}, {1125, 1396, 558}, {1125, 167, 558}, {1125, 354, 558}, {1125, 1086, 558}, {1125, 1074, 558}, {1125, 558, 273}, {1125, 594, 558}, {1125, 677, 558}, {1125, 447, 558}, {1125, 1052, 558}, {1125, 558, 791}, {1125, 750, 558}, {1125, 932, 558}, {1125, 1589, 558}, {1125, 309, 558}, {1125, 1430, 558}, {1125, 1292, 558}, {1125, 1114, 558}, {1125, 1226, 558}, {1125, 1006, 558}, {1125, 1164, 558}, {1125, 950, 558}, {1125, 281, 558}, {1125, 1665, 558}, {1125, 607, 558}, {1125, 1419, 558}, {1125, 1050, 558}, {1255, 59, 558}, {781, 1546, 558}, {781, 558, 1457}, {897, 558, 1369}, {46, 1508, 558}, {530, 558, 1559}, {530, 558, 1632}, {434, 558, 510}, {1247, 414, 558}, {630, 152, 558}, {701, 558, 1572}, {701, 558, 193}, {335, 1352, 558}, {1696, 558, 1156}, {1696, 1156, 558}, {1696, 1156, 558}, {1696, 558, 1156}, {1696, 1156, 558}, {229, 407, 558}, {192, 506, 558}, {517, 925, 558}, {934, 139, 558}, {943, 1064, 1711}, {1545, 657, 1443}, {754, 648, 1181}, {754, 1595, 558}, {48, 292, 52}, {710, 590, 1178}, {1128, 558, 775}, {48, 1670, 407}, {713, 617, 558}, {713, 676, 558}, {943, 751, 1192}, {489, 657, 1639}, {489, 558, 1153}, {489, 659, 558}, {1018, 558, 100}, {1220, 1469, 558}, {231, 558, 778}, {1430, 558, 368}, {877, 911, 558}, {877, 911, 558}, {300, 558, 847}, {133, 558, 602}, {133, 657, 1263}, {709, 1201, 558}, {1216, 987, 558}, {318, 558, 1293}, {1393, 558, 1075}, {1704, 558, 1007}, {236, 176, 558}, {741, 1551, 652}, {741, 205, 1206}, {741, 948, 27}, {741, 49, 1301}, {741, 502, 1496}, {741, 584, 141}, {741, 1670, 1722}, {741, 292, 209}, {943, 515, 1411}, {665, 616, 558}, {203, 558, 315}, {203, 558, 1651}, {203, 558, 483}, {203, 558, 1160}, {1228, 550, 558}, {203, 558, 1539}, {203, 558, 13}, {360, 1230, 558}, {204, 1118, 558}, {1289, 632, 1058}, {197, 558, 198}, {197, 558, 198}, {888, 558, 1092}, {879, 1675, 74}, {879, 1609, 1378}, {270, 1692, 1082}, {407, 1668, 558}, {487, 558, 824}, {1068, 1432, 583}, {1068, 96, 1621}, {182, 1619, 558}, {943, 126, 1486}, {788, 152, 558}, {974, 558, 1492}, {1357, 378, 558}, {1161, 732, 558}, {1302, 558, 1621}, {646, 558, 182}, {607, 558, 347}, {710, 1267, 1298}, {1613, 558, 42}, {1613, 657, 643}, {901, 558, 1682}, {901, 558, 1362}, {943, 940, 378}, {248, 558, 187}, {248, 558, 1718}, {1623, 558, 837}, {747, 1163, 657}, {358, 558, 1715}, {438, 1437, 208}, {438, 72, 1630}, {438, 121, 1458}, {438, 1647, 1299}, {438, 413, 488}, {438, 976, 1282}, {438, 1242, 481}, {438, 723, 684}, {854, 975, 558}, {1345, 558, 1500}, {943, 635, 289}, {1404, 558, 133}, {1193, 558, 1242}, {833, 558, 1416}, {1276, 930, 558}, {1276, 930, 558}, {1400, 558, 83}, {1509, 611, 558}, {684, 558, 1507}, {839, 43, 657}, {943, 484, 536}, {43, 6, 558}, {1235, 1539, 1206}, {1235, 13, 652}, {1235, 483, 1301}, {1235, 1160, 27}, {1235, 315, 141}, {1235, 1651, 1496}, {1235, 52, 209}, {1235, 407, 1722}, {1440, 605, 779}, {1201, 558, 700}, {943, 1062, 381}, {710, 1129, 558}, {1642, 558, 1352}, {1041, 211, 657}, {1041, 657, 211}, {1041, 657, 211}, {1041, 657, 211}, {1041, 211, 657}, {178, 1254, 558}, {178, 1195, 558}, {178, 657, 1191}, {389, 300, 558}, {1541, 558, 491}, {1541, 437, 657}, {943, 558, 431}, {1639, 657, 195}, {475, 1237, 657}, {353, 558, 1072}, {353, 558, 1072}, {1008, 1189, 558}, {1008, 558, 1511}, {410, 344, 814}, {410, 557, 558}, {308, 558, 375}, {308, 558, 65}, {943, 706, 678}, {561, 558, 533}, {410, 558, 474}, {1423, 558, 1608}, {1423, 869, 657}, {710, 168, 836}, {1297, 1392, 558}, {943, 1699, 1024}, {364, 558, 1232}, {710, 468, 18}, {59, 404, 296}, {389, 1649, 558}, {1487, 558, 1464}, {59, 1632, 277}, {18, 558, 378}, {1570, 1480, 379}, {943, 833, 657}, {440, 1681, 905}, {943, 213, 576}, {943, 862, 537}, {710, 789, 158}, {1166, 1685, 558}, {1166, 1568, 558}, {1660, 558, 855}, {1660, 1100, 657}, {1134, 558, 1712}, {1050, 1006, 558}, {779, 656, 1594}, {297, 558, 1032}, {556, 558, 1344}, {1689, 558, 1196}, {1315, 558, 826}, {1265, 1202, 558}, {1265, 1334, 558}, {943, 733, 615}, {1639, 657, 195}, {158, 63, 558}, {1373, 558, 1703}, {1373, 558, 395}, {1153, 558, 1639}, {1153, 659, 657}, {314, 761, 558}, {781, 558, 1550}, {943, 967, 1269}, {1459, 558, 1390}, {1459, 558, 174}, {1396, 558, 11}, {943, 199, 327}, {943, 252, 338}, {710, 187, 1579}, {710, 627, 566}, {1247, 1186, 558}, {943, 306, 581}, {1157, 1564, 558}, {562, 558, 1374}, {1266, 1453, 558}, {1639, 195, 657}, {1473, 744, 558}, {893, 558, 314}, {1473, 558, 1573}, {625, 662, 558}, {625, 657, 1186}, {646, 558, 1172}, {1284, 558, 464}, {1284, 558, 464}, {1284, 558, 464}, {1122, 558, 505}, {1122, 558, 433}, {609, 558, 1213}, {97, 1325, 657}, {604, 558, 385}, {1145, 522, 558}, {737, 558, 5}, {1512, 558, 1717}, {943, 554, 17}, {940, 558, 1615}, {359, 399, 558}, {359, 399, 558}, {359, 558, 399}, {359, 399, 558}, {359, 558, 399}, {359, 399, 558}, {359, 399, 558}, {790, 191, 558}, {1204, 1107, 558}, {1591, 558, 1638}, {821, 768, 836}, {206, 558, 465}, {528, 558, 368}, {1167, 316, 558}, {1167, 558, 143}, {217, 696, 558}, {234, 210, 558}, {234, 172, 558}, {234, 1633, 657}, {419, 1618, 558}, {710, 43, 558}, {710, 558, 1247}, {710, 1247, 558}, {162, 558, 947}, {991, 558, 243}, {859, 1535, 493}, {859, 235, 833}, {1576, 60, 558}, {1576, 84, 558}, {1576, 271, 558}, {1576, 370, 558}, {1576, 1612, 558}, {1576, 784, 558}, {1576, 204, 558}, {1576, 804, 558}, {1576, 1311, 558}, {1576, 1428, 558}, {1576, 492, 558}, {1576, 1204, 558}, {1576, 1259, 558}, {1576, 342, 558}, {1576, 857, 558}, {1576, 712, 558}, {1576, 776, 558}, {1576, 1168, 558}, {1576, 1721, 558}, {1576, 487, 558}, {1576, 579, 558}, {1576, 1239, 558}, {1576, 285, 558}, {1576, 1524, 558}, {1576, 0, 558}, {1576, 1478, 558}, {1576, 1210, 558}, {1576, 461, 558}, {1576, 660, 558}, {1576, 1557, 558}, {1576, 259, 558}, {1576, 352, 558}, {1576, 446, 558}, {1576, 528, 558}, {1576, 904, 558}, {1576, 1569, 558}, {1576, 1710, 558}, {1576, 219, 558}, {1576, 1385, 558}, {710, 1147, 391}, {859, 1432, 991}, {859, 96, 1302}, {859, 1473, 704}, {859, 1678, 1503}, {859, 1645, 892}, {558, 806, 558}, {943, 589, 578}, {682, 1586, 558}, {943, 768, 994}, {1316, 1386, 426}, {1316, 914, 558}, {943, 657, 413}, {943, 1229, 780}, {1441, 41, 558}, {1535, 1318, 1695}, {1535, 558, 1398}, {1316, 558, 20}, {853, 558, 387}, {519, 670, 558}, {519, 558, 670}, {283, 723, 1302}, {283, 976, 991}, {283, 493, 1647}, {698, 558, 1481}, {846, 1371, 558}, {1201, 333, 558}, {21, 228, 558}, {21, 657, 48}, {943, 1530, 1110}, {1123, 765, 558}, {1607, 661, 558}, {1652, 1178, 558}, {943, 1121, 1225}, {1247, 549, 558}, {655, 783, 558}, {540, 227, 558}, {602, 1263, 558}, {710, 1661, 464}, {611, 255, 558}, {611, 741, 657}, {248, 917, 558}, {954, 558, 513}, {1026, 558, 322}, {1026, 171, 657}, {1051, 455, 1082}, {1200, 626, 1249}, {943, 456, 191}, {822, 558, 1455}, {404, 918, 558}, {404, 142, 558}, {943, 558, 1331}, {943, 558, 1698}, {842, 558, 1479}, {842, 657, 66}, {713, 657, 1140}, {1409, 1231, 558}, {1228, 11, 558}, {166, 1135, 558}, {1522, 1695, 558}, {1522, 558, 1398}, {943, 364, 86}, {70, 1117, 558}, {1211, 10, 558}, {637, 558, 1308}, {1608, 349, 657}, {1599, 807, 431}, {1335, 558, 1698}, {1665, 252, 558}, {1247, 558, 1263}, {1314, 1308, 1489}, {1314, 637, 558}, {596, 558, 819}, {565, 558, 658}, {1068, 1678, 1383}, {1068, 235, 351}, {1068, 1535, 423}, {1605, 1294, 558}, {927, 1112, 558}, {958, 1449, 558}, {943, 871, 777}, {919, 1229, 835}, {919, 1486, 1538}, {919, 558, 200}, {1211, 1655, 558}, {1077, 558, 809}, {1077, 558, 1410}, {710, 705, 1668}, {273, 1211, 558}, {1492, 558, 1445}, {1492, 558, 1457}, {266, 558, 525}, {1357, 558, 188}, {710, 246, 123}, {1415, 7, 657}, {217, 558, 413}, {440, 558, 813}, {335, 558, 1280}, {1234, 1549, 558}, {302, 851, 558}, {710, 1650, 94}, {943, 1602, 506}, {770, 558, 853}, {249, 163, 558}, {249, 1704, 558}, {1, 890, 558}, {1329, 558, 1601}, {1329, 558, 382}, {1329, 558, 1173}, {1329, 558, 1233}, {1329, 558, 1543}, {1329, 558, 76}, {1329, 558, 1540}, {1329, 245, 558}, {1329, 558, 786}, {1329, 558, 1482}, {1329, 558, 370}, {1329, 558, 552}, {1329, 558, 784}, {1329, 558, 1623}, {1329, 558, 403}, {1329, 1311, 558}, {1329, 558, 1355}, {1329, 558, 257}, {1329, 558, 179}, {1329, 558, 1086}, {1329, 558, 487}, {1329, 558, 145}, {1329, 558, 1478}, {1329, 1557, 558}, {1329, 558, 517}, {1329, 558, 352}, {1329, 558, 750}, {1329, 558, 932}, {1329, 558, 309}, {1329, 558, 1569}, {1329, 558, 301}, {199, 558, 941}, {256, 25, 558}, {943, 633, 1059}, {943, 1575, 40}, {61, 1554, 558}, {61, 558, 479}, {85, 485, 558}, {479, 679, 558}, {873, 1088, 558}, {259, 558, 134}, {823, 444, 558}, {840, 1433, 558}, {1315, 657, 381}, {83, 949, 523}, {83, 558, 1406}, {1220, 570, 558}, {943, 799, 264}, {943, 1693, 264}, {992, 46, 558}, {301, 558, 252}, {745, 558, 241}, {771, 558, 1446}, {771, 430, 465}, {1184, 474, 766}, {1184, 558, 410}, {1077, 1671, 558}, {1077, 558, 1460}, {838, 811, 558}, {1112, 558, 26}, {113, 558, 209}, {710, 187, 759}, {1108, 1687, 558}, {943, 558, 1035}, {541, 558, 1328}, {129, 872, 1150}, {1283, 587, 558}, {129, 401, 54}, {902, 558, 1109}, {902, 558, 1109}, {902, 558, 1289}, {830, 1047, 558}, {830, 534, 657}, {1643, 558, 766}, {1643, 1704, 558}, {1643, 558, 410}, {1077, 558, 1587}, {1077, 558, 540}, {1044, 1408, 1000}, {943, 1379, 215}, {986, 1279, 345}, {247, 1722, 1108}, {247, 991, 209}, {247, 1473, 1496}, {247, 141, 1302}, {247, 27, 892}, {247, 1301, 1503}, {247, 833, 652}, {247, 493, 1206}, {943, 1128, 869}, {1674, 772, 558}, {909, 446, 558}, {909, 528, 558}, {909, 0, 558}, {909, 1210, 558}, {909, 1385, 558}, {909, 370, 558}, {909, 784, 558}, {909, 776, 558}, {909, 1168, 558}, {943, 104, 1221}, {943, 558, 1186}, {943, 1263, 558}, {943, 558, 325}, {943, 558, 801}, {710, 47, 420}, {937, 558, 1706}, {937, 558, 1704}, {937, 558, 1345}, {1132, 717, 558}, {710, 666, 1380}, {1382, 334, 558}, {617, 676, 657}, {710, 1474, 527}, {630, 1705, 558}, {1518, 898, 558}, {996, 1710, 558}, {996, 558, 1601}, {996, 558, 382}, {996, 558, 1173}, {996, 1233, 558}, {996, 1658, 558}, {996, 1664, 558}, {996, 1482, 558}, {996, 665, 558}, {996, 558, 286}, {996, 558, 271}, {996, 558, 370}, {996, 552, 558}, {996, 1612, 558}, {996, 1487, 558}, {996, 784, 558}, {996, 764, 558}, {996, 558, 1582}, {996, 558, 1031}, {996, 558, 804}, {996, 1311, 558}, {996, 1520, 558}, {996, 857, 558}, {996, 712, 558}, {996, 1337, 558}, {996, 558, 1381}, {996, 558, 776}, {996, 558, 157}, {996, 257, 558}, {996, 131, 558}, {996, 4, 558}, {996, 303, 558}, {996, 1721, 558}, {996, 558, 1086}, {996, 558, 487}, {996, 558, 579}, {996, 1239, 558}, {996, 0, 558}, {996, 1478, 558}, {996, 594, 558}, {996, 660, 558}, {996, 558, 1557}, {996, 558, 259}, {996, 558, 1052}, {996, 791, 558}, {996, 352, 558}, {996, 750, 558}, {996, 932, 558}, {996, 1589, 558}, {996, 558, 446}, {996, 558, 528}, {996, 558, 309}, {996, 1430, 558}, {996, 1292, 558}, {996, 1646, 558}, {996, 1114, 558}, {996, 1476, 558}, {996, 558, 1226}, {996, 558, 1569}, {996, 558, 950}, {996, 1050, 558}, {996, 1419, 558}, {996, 1164, 558}, {312, 995, 558}, {312, 854, 742}, {988, 1425, 558}, {710, 1291, 1382}, {717, 558, 926}, {717, 558, 1087}, {1034, 558, 1545}, {1034, 994, 657}, {1690, 558, 1410}, {1302, 558, 744}, {40, 1558, 558}, {40, 558, 12}, {1282, 558, 1016}, {393, 551, 558}, {943, 596, 1085}, {943, 1175, 685}, {1291, 1312, 558}, {592, 1013, 532}, {592, 558, 1217}, {1021, 1510, 558}, {809, 365, 558}, {90, 558, 77}, {852, 1454, 558}, {852, 260, 558}, {324, 1107, 1555}, {769, 558, 1325}, {769, 657, 1072}, {900, 558, 1643}, {147, 1393, 1393}, {147, 1393, 558}, {147, 1393, 558}, {147, 558, 1393}, {147, 558, 1393}, {147, 558, 1393}, {147, 558, 1393}, {147, 558, 1393}, {147, 558, 1393}, {1473, 1376, 558}, {365, 558, 125}, {537, 363, 558}, {993, 731, 558}, {753, 263, 1203}, {753, 558, 1629}, {926, 827, 558}, {943, 632, 339}, {1364, 558, 108}, {1364, 657, 1666}, {425, 558, 953}, {1467, 943, 558}, {1467, 943, 558}, {1467, 943, 558}, {1467, 558, 943}, {56, 558, 720}, {260, 558, 1494}, {735, 1009, 558}, {1242, 935, 558}, {5, 558, 146}, {1462, 438, 558}, {1115, 1544, 558}, {1394, 558, 1658}, {1394, 558, 985}, {1394, 558, 1664}, {1394, 558, 682}, {1394, 558, 665}, {1394, 558, 286}, {1394, 558, 271}, {1394, 558, 1612}, {1394, 558, 1487}, {1394, 558, 244}, {1394, 558, 1520}, {1394, 558, 324}, {1394, 558, 712}, {1394, 558, 787}, {1394, 558, 575}, {1394, 558, 1466}, {1394, 558, 776}, {1394, 558, 822}, {1394, 558, 131}, {1394, 558, 1420}, {1394, 558, 4}, {1394, 558, 167}, {1394, 558, 303}, {1394, 558, 1504}, {1394, 558, 579}, {1394, 558, 0}, {1394, 558, 259}, {1394, 558, 528}, {1394, 558, 1430}, {1394, 558, 1646}, {1394, 558, 1155}, {1394, 558, 1476}, {1394, 558, 1226}, {1394, 558, 1164}, {1438, 1497, 558}, {1254, 887, 558}, {1254, 558, 887}, {1254, 558, 887}, {1254, 558, 887}, {540, 302, 558}, {540, 558, 365}, {540, 1294, 558}, {236, 558, 506}, {1580, 1656, 558}, {1580, 1159, 558}, {1573, 845, 1550}, {430, 959, 558}, {1263, 578, 166}, {1263, 1724, 1336}, {1256, 558, 574}, {1263, 1694, 1287}, {1263, 242, 1188}, {1263, 436, 1405}, {224, 558, 520}, {224, 657, 37}, {1719, 558, 831}, {1144, 558, 570}, {1329, 1394, 558}, {248, 558, 879}, {1599, 558, 538}, {1296, 657, 399}, {103, 558, 1599}, {943, 1391, 1577}, {531, 558, 1255}, {531, 657, 59}, {63, 657, 298}, {943, 668, 999}, {821, 1298, 907}, {943, 1106, 1404}, {498, 558, 240}, {498, 558, 240}, {498, 558, 240}, {1612, 558, 1464}, {712, 558, 1649}, {801, 767, 1150}, {1432, 841, 189}, {1432, 558, 155}, {662, 1186, 558}, {469, 558, 33}, {1232, 86, 558}, {1232, 558, 1676}, {1232, 634, 657}, {1434, 558, 1709}, {752, 558, 1389}, {681, 558, 216}, {130, 639, 558}, {275, 104, 558}, {1019, 1515, 851}, {1019, 231, 558}, {731, 1458, 558}, {248, 558, 1120}, {248, 1039, 2}, {342, 558, 300}, {1398, 117, 558}, {1398, 558, 1241}, {617, 558, 1140}, {1527, 1295, 558}, {125, 1515, 558}, {1625, 558, 90}, {1476, 1379, 558}, {1697, 275, 558}, {1168, 558, 595}, {143, 623, 558}, {782, 1347, 558}, {366, 934, 558}, {898, 622, 72}, {898, 900, 208}, {898, 1611, 1647}, {898, 377, 1458}, {898, 1022, 976}, {898, 1139, 488}, {898, 1359, 723}, {898, 655, 481}, {140, 483, 166}, {1468, 618, 121}, {483, 558, 254}, {336, 558, 1038}, {1542, 515, 1158}, {1542, 558, 1253}, {1247, 984, 558}, {576, 558, 870}, {576, 558, 870}, {576, 558, 870}, {1253, 558, 515}, {934, 558, 160}, {837, 1689, 558}, {590, 558, 910}, {1700, 332, 54}, {493, 558, 423}, {943, 974, 774}, {943, 934, 968}, {943, 1196, 415}, {943, 680, 1688}, {1528, 106, 558}, {303, 558, 669}, {437, 121, 235}, {437, 1299, 1535}, {1608, 349, 657}, {437, 1282, 1432}, {437, 1437, 1645}, {437, 1678, 1630}, {943, 1126, 1465}, {437, 684, 96}, {943, 19, 899}, {725, 558, 1179}, {930, 1286, 558}, {1005, 558, 718}, {558, 1591, 558}, {943, 1618, 978}, {945, 558, 111}, {943, 304, 1123}, {650, 896, 558}, {1002, 1211, 558}, {1416, 1470, 299}, {952, 152, 558}, {862, 558, 272}, {258, 1717, 1351}, {1263, 1709, 1150}, {669, 1228, 558}, {558, 1393, 558}, {943, 1374, 1252}, {1627, 1483, 558}, {1627, 558, 1084}, {936, 1707, 558}, {936, 388, 558}, {943, 727, 1344}, {502, 558, 1265}, {1640, 558, 1251}, {865, 558, 420}, {1032, 645, 558}, {1384, 60, 558}, {1384, 1512, 558}, {1384, 382, 558}, {1384, 1173, 558}, {1384, 84, 558}, {1384, 1543, 558}, {1384, 76, 558}, {1384, 245, 558}, {1384, 786, 558}, {1384, 1664, 558}, {1384, 682, 558}, {1384, 1482, 558}, {1384, 271, 558}, {1384, 370, 558}, {1384, 552, 558}, {1384, 1612, 558}, {1384, 1487, 558}, {1384, 784, 558}, {1384, 1582, 558}, {1384, 804, 558}, {1384, 1311, 558}, {1384, 1428, 558}, {1384, 492, 558}, {1384, 1204, 558}, {1384, 1520, 558}, {1384, 1259, 558}, {1384, 342, 558}, {1384, 857, 558}, {1384, 712, 558}, {1384, 776, 558}, {1384, 157, 558}, {1384, 257, 558}, {1384, 1324, 558}, {1384, 179, 558}, {1384, 131, 558}, {1384, 4, 558}, {1384, 1396, 558}, {1384, 167, 558}, {1384, 1168, 558}, {1384, 1721, 558}, {1384, 1086, 558}, {1384, 1074, 558}, {1384, 487, 558}, {1384, 579, 558}, {1384, 1239, 558}, {1384, 1524, 558}, {1384, 0, 558}, {1384, 1478, 558}, {1384, 1210, 558}, {1384, 461, 558}, {1384, 660, 558}, {1384, 1557, 558}, {1384, 259, 558}, {1384, 791, 558}, {1384, 352, 558}, {1384, 750, 558}, {1384, 932, 558}, {1384, 446, 558}, {1384, 528, 558}, {1384, 1430, 558}, {1384, 1292, 558}, {1384, 1114, 558}, {1384, 1226, 558}, {1384, 1569, 558}, {1384, 1665, 558}, {1384, 1050, 558}, {1384, 1419, 558}, {1384, 1385, 558}, {1384, 1164, 558}, {1384, 1006, 558}, {943, 1712, 45}, {1561, 558, 871}, {1210, 726, 558}, {1210, 558, 256}, {1463, 558, 1076}, {1463, 657, 147}, {183, 558, 1711}, {257, 558, 1455}, {943, 64, 564}, {943, 659, 429}, {1213, 1209, 558}, {228, 558, 48}, {1224, 558, 186}, {495, 558, 1414}, {1277, 558, 1441}, {1277, 657, 41}, {248, 558, 781}, {248, 558, 781}, {134, 930, 558}, {134, 467, 558}, {943, 449, 67}, {811, 1080, 558}, {811, 1205, 100}, {943, 991, 657}, {809, 558, 1641}, {609, 1192, 1547}, {609, 1209, 1264}, {1412, 558, 384}, {1349, 62, 558}, {710, 1338, 720}, {1464, 558, 1109}, {710, 227, 703}, {943, 166, 657}, {943, 548, 181}, {710, 1095, 1306}, {710, 558, 43}, {710, 558, 839}, {1049, 558, 507}, {338, 558, 954}, {549, 1001, 1522}, {615, 981, 558}, {598, 1260, 558}, {310, 558, 328}, {1539, 494, 558}, {943, 13, 657}, {943, 657, 1299}, {180, 501, 558}, {1102, 976, 558}, {1048, 239, 192}, {184, 558, 1531}, {943, 1199, 1485}, {943, 824, 56}, {943, 886, 558}, {639, 524, 1307}, {639, 577, 28}, {639, 738, 364}, {639, 463, 1513}, {1630, 1094, 558}, {264, 558, 1712}, {461, 261, 558}, {461, 726, 558}, {879, 380, 1077}, {1713, 238, 558}, {1628, 623, 1354}, {907, 558, 713}, {414, 1022, 1282}, {414, 413, 1139}, {414, 1359, 684}, {414, 1242, 655}, {414, 622, 1630}, {414, 1437, 900}, {414, 121, 377}, {248, 558, 1185}, {1108, 558, 744}, {1271, 140, 558}, {159, 558, 312}, {129, 1637, 1287}, {499, 558, 1659}, {499, 558, 743}, {950, 252, 558}, {1029, 558, 618}, {943, 1341, 695}, {475, 1237, 657}, {874, 1435, 1001}, {642, 1340, 558}, {642, 1340, 558}, {642, 1340, 558}, {642, 1340, 558}, {1002, 152, 558}, {572, 558, 1407}, {943, 1078, 334}, {1479, 451, 657}, {1479, 451, 657}, {1479, 451, 657}, {1479, 657, 451}, {1479, 451, 657}, {1648, 558, 1521}, {323, 14, 558}, {355, 558, 593}, {355, 657, 1700}, {392, 814, 558}, {392, 557, 558}, {794, 82, 558}, {794, 82, 558}, {794, 558, 82}, {794, 558, 82}, {794, 82, 558}, {794, 82, 558}, {794, 82, 558}, {943, 1155, 1436}, {943, 696, 610}, {1146, 811, 558}, {248, 1440, 558}, {841, 558, 936}, {63, 1501, 558}, {63, 23, 558}, {1247, 801, 558}, {43, 1230, 558}, {122, 570, 558}, {649, 1313, 558}, {649, 640, 558}, {1332, 452, 558}, {1332, 1691, 558}, {934, 1196, 558}, {943, 558, 1585}, {1270, 558, 1518}, {1270, 898, 657}, {1188, 432, 558}, {1188, 432, 558}, {906, 558, 714}, {906, 558, 214}, {1017, 558, 578}, {1338, 462, 558}, {1382, 1350, 558}, {7, 657, 1591}, {7, 657, 1591}, {7, 657, 1591}, {680, 558, 1526}, {943, 629, 760}, {967, 558, 1427}, {1001, 852, 558}, {1001, 852, 558}, {138, 211, 558}, {138, 211, 558}, {138, 211, 558}, {138, 211, 558}, {943, 1649, 1027}, {926, 558, 187}, {638, 1118, 604}, {1358, 396, 558}, {634, 657, 435}, {634, 657, 435}, {634, 657, 435}, {634, 657, 435}, {634, 435, 657}, {1542, 1099, 1568}, {1253, 1184, 1498}, {1253, 903, 558}, {827, 558, 1471}, {386, 392, 558}, {386, 1704, 558}, {943, 700, 1565}, {329, 1166, 558}, {329, 1704, 558}, {492, 1107, 558}, {1072, 1005, 558}, {1072, 558, 1005}, {1072, 1005, 558}, {1072, 558, 1005}, {1072, 1005, 558}, {1072, 558, 1005}, {1072, 1005, 558}, {1072, 558, 1005}, {1571, 486, 547}, {1571, 817, 558}, {826, 230, 657}, {218, 558, 1716}, {943, 1594, 688}, {1395, 558, 67}, {1395, 67, 558}, {215, 941, 1111}, {59, 155, 250}, {1504, 558, 669}, {6, 558, 282}, {6, 874, 657}, {145, 1280, 1037}, {43, 35, 558}, {991, 558, 583}, {448, 730, 558}, {678, 558, 1567}, {943, 361, 1319}, {943, 758, 93}, {951, 1152, 558}, {951, 642, 657}, {943, 1287, 657}, {943, 1190, 752}, {943, 892, 657}, {1258, 1130, 558}, {1619, 558, 586}, {923, 356, 558}, {923, 1334, 558}, {923, 810, 558} };