parser.c

这是一个Linux下的集成开发环境

{1672, 2741}, { 417, 2356}, {1228, 2469}, {1228, 2454}, {2130, 2263}, 
{ 993,  652}, { 922, 2751}, { 467,  464}, { 993,  653}, {1576, 1260}, 
{ 993,  654}, {2130, 2705}, {1576, 4842}, {1576, 1779}, {1014, 2695}, 
{1014, 2696}, {1014, 2699}, { 993,  655}, { 993, 3583}, {1014, 2700}, 
{1228, 2461}, { 416, 2693}, {  83, 2748}, { 416, 2699}, { 416, 2697}, 
{ 416, 2698}, { 416, 2700}, { 416, 2706}, { 416, 2705}, { 604, 2693}, 
{  83, 4808}, {1576, 4842}, { 416, 3374}, { 605, 2693}, {1326, 5168}, 
{ 417,  418}, { 804, 2687}, {2139, 2606}, {1994, 2733}, { 416,  183}, 
{  82, 2659}, {1228, 2456}, {1109, 4214}, { 993,  656}, { 993,  657}, 
{ 624, 2699}, { 624, 2697}, { 624, 2698}, { 624, 2700}, {  34, 4808}, 
{1576, 4842}, { 988, 2707}, {1576, 5219}, { 993,  658}, { 725,  928}, 
{ 993,  659}, { 638, 2693}, {1671, 1870}, { 417,  419}, { 993, 2530}, 
{ 993,  660}, { 993,  661}, { 400, 2693}, { 922, 2985}, {2095, 2557}, 
{1997, 2708}, {1228, 1466}, { 638, 3578}, { 922, 4814}, { 400, 2705}, 
{ 184,  185}, { 184, 2678}, { 589,  743}, {1312, 2434}, {1736, 2781}, 
{2095, 4385}, { 596, 2694}, {1763, 5238}, { 184, 2680}, { 993,  662}, 
{ 400,  516}, { 589, 2758}, { 993,  663}, { 993,  664}, {1994, 2080}, 
{1400,  107}, { 589, 4828}, {1397, 2725}, {1763, 5239}, { 589,  744}, 
{ 616, 2300}, { 521, 4758}, {1057, 2748}, { 993,  665}, {  82, 2798}, 
{1312, 1222}, {1228, 2457}, {1994, 2081}, { 548,   61}, { 804, 2688}, 
{ 993,  666}, { 993,  667}, {1228, 2459}, { 852, 4616}, { 993,  668}, 
{ 638, 3578}, { 184,  186}, {1997, 2709}, { 548, 2708}, {1228, 2464}, 
{ 417, 2361}, { 417, 2363}, {1994, 2769}, { 988, 2711}, {1985,  284}, 
{ 988, 2712}, { 566,  284}, {1326, 1260}, {1228, 2460}, { 292, 2283}, 
{ 521, 2722}, {  83, 4808}, { 413, 2693}, {1272, 1481}, { 413, 2699}, 
{ 413, 2697}, { 413, 2698}, { 413, 2700}, { 413, 2706}, { 413, 2705}, 
{  82, 2800}, {1228, 1467}, {1953, 2786}, { 413, 3374}, {1272, 5162}, 
{ 993,  669}, { 725,  929}, {1228, 2465}, {1109, 4214}, { 993,  670}, 
{ 413,  183}, { 993,  671}, { 852, 4616}, { 184,  188}, { 342,  458}, 
{ 342,  459}, { 342,  460}, { 993,  672}, {1337, 4214}, { 195, 4792}, 
{ 548, 2709}, { 623, 2699}, { 623, 2697}, { 623, 2698}, { 623, 2700}, 
{ 292,  384}, {2157, 2263}, {1795, 2725}, {1994, 2082}, {1994, 2083}, 
{1326, 5169}, { 993,  673}, { 993,  674}, {2157, 2705}, {1228, 1468}, 
{1671, 4794}, {1198, 2743}, {  82, 2799}, {1671, 2741}, { 195, 4792}, 
{1228, 2466}, {1400,  224}, { 184,  247}, { 292,  385}, {1228, 2462}, 
{1997, 2710}, { 993,  675}, {  52, 4792}, { 195,  256}, {1453, 4824}, 
{1228, 2467}, {1994, 4850}, {1228, 2468}, { 183, 2693}, { 646,  804}, 
{1453, 4824}, {1057, 4770}, {1763, 4808}, { 417,  420}, {2126, 2765}, 
{ 183, 2717}, { 646, 2477}, {  82, 2661}, {1844, 2738}, { 639, 2693}, 
{1397, 4762}, { 993,  676}, { 416, 4840}, {1736, 1481}, {1228, 2470}, 
{  82, 2657}, { 993,  677}, { 993,  678}, { 993,  679}, {  77,  131}, 
{ 639, 3579}, {1397, 2795}, {1953, 1260}, { 292,  386}, {1736, 5233}, 
{1564, 5207}, { 417,  421}, { 317,  314}, { 993,  680}, {1702,   57}, 
{1702, 1897}, {1702, 2699}, { 417,  422}, { 548, 2710}, {1702, 2700}, 
{ 993,  284}, { 416, 2708}, {1576, 4842}, { 684,   57}, {1576, 5220}, 
{ 441, 2664}, {1109, 1355}, { 417,  423}, { 993,  681}, { 993,  682}, 
{  82, 2660}, { 725,  930}, {1702, 1898}, {1272, 4808}, { 993,  683}, 
{ 566,  112}, { 566,  113}, { 566,  114}, { 566,  115}, { 993, 2581}, 
{ 806,   57}, { 684,  886}, {1997, 2707}, { 639, 3579}, {1337, 4214}, 
{ 993,  684}, {1057, 4129}, { 806, 2705}, { 352, 3570}, { 417,  424}, 
{1953, 1261}, {1400, 2530}, { 993,  685}, {1795, 4762}, { 317,  315}, 
{ 195, 4792}, {2095, 4385}, { 993,  686}, { 993,  687}, {1813, 4603}, 
{1813, 4603}, { 993,  688}, { 400, 2708}, { 416, 2709}, { 707, 2695}, 
{ 707, 2696}, { 707, 2699}, {1795, 2786}, {1067, 4842}, { 707, 2700}, 
{ 993,  689}, {1662, 4782}, { 993,  690}, { 993,  691}, {1300, 1542}, 
{ 707, 2418}, { 707,  643}, { 993,  692}, { 707,  644}, { 993,  693}, 
{ 771,  977}, { 417,  425}, { 771,  978}, { 292, 4792}, { 674,  847}, 
{ 548, 2707}, { 993,  694}, {1067, 4842}, { 707,  645}, { 238,   57}, 
{1588, 2720}, { 238, 2699}, { 238, 2697}, { 238, 2698}, { 238, 2700}, 
{ 238, 2706}, { 771,  979}, {1566, 5210}, { 413, 4840}, { 495, 2347}, 
{ 993,  695}, { 292, 4792}, { 624,  785}, { 366, 4792}, { 400, 2709}, 
{ 993,  696}, { 993,  697}, { 238,   60}, {1736, 4808}, { 195, 4792}, 
{ 195, 2665}, { 521, 2723}, { 674,  848}, {1671, 2253}, { 707,  646}, 
{1397, 1647}, { 707,  647}, { 195, 2667}, {1014, 1244}, {1813, 4603}, 
{ 707,  648}, { 299, 2284}, { 413, 2708}, { 771,  980}, { 674,  849}, 
{ 993,  698}, { 184,  191}, { 707,  649}, { 292, 2740}, {1566, 4808}, 
{ 592, 3390}, { 416, 2710}, {1337, 1355}, { 292,  387}, { 707, 2485}, 
{ 624,  786}, {  77, 2827}, {1564, 5208}, { 888, 4842}, { 993, 5114}, 
{ 993, 5115}, { 993, 5116}, { 993, 5117}, {  77, 2834}, { 292,  388}, 
{ 195, 4792}, { 707,  650}, { 548, 2711}, {1564, 5209}, { 548, 2712}, 
{1967, 2557}, { 707, 2489}, { 184,  192}, { 184,  193}, { 184,  194}, 
{ 707,  224}, {1300, 1543}, { 299,  401}, { 184, 2677}, { 184, 2681}, 
{ 184, 2679}, { 417,  426}, {   6, 2234}, { 521, 4758}, { 413, 2709}, 
{ 417,  427}, {  37, 2882}, { 797,  996}, {1034, 1267}, { 195, 2740}, 
{1034, 1268}, {1067, 2551}, { 400, 2710}, {  82, 2662}, { 707,  651}, 
{  82, 2663}, {  82, 2801}, {  82, 2802}, {  82, 2803}, {  82, 2804}, 
{ 417,  428}, { 707,  652}, { 195, 4792}, { 183, 2714}, { 707,  653}, 
{1795, 1798}, { 707,  654}, {1681, 2693}, { 857, 2557}, {1681, 2699}, 
{ 674,  850}, { 416, 4840}, {1681, 2700}, { 707,  655}, {1681, 2705}, 
{  77, 2740}, {1453, 2756}, {  52, 2740}, { 416, 2707}, { 797, 4762}, 
{ 417,  429}, { 797, 4762}, {1293, 4774}, { 495,  583}, { 417,  430}, 
{1681,  516}, {2098, 2557}, { 195, 4792}, { 623,  782}, {1556, 2774}, 
{ 299,  402}, { 195, 5057}, {1400,  284}, { 592, 4800}, { 417,  431}, 
{ 195, 4792}, {1241, 4627}, {1100, 4627}, { 417,  432}, { 707,  656}, 
{ 707,  657}, { 317,  316}, {1566, 5211}, { 887, 4259}, { 292,  389}, 
{ 183, 2715}, { 292,  390}, { 265, 2693}, { 416, 4840}, { 707,  658}, 
{ 806,   61}, { 707,  659}, { 413, 2710}, {1566, 5212}, { 265, 2705}, 
{ 707, 2530}, { 707,  660}, { 707,  661}, {  37, 2863}, { 400, 2707}, 
{ 806, 2708}, { 623,  783}, { 292,  391}, { 366, 4792}, { 292,  392}, 
{ 195, 4792}, {   6, 2237}, {1564, 4808}, {  52, 2822}, { 592,  747}, 
{  52, 2821}, { 495,  584}, { 366, 2740}, {1293, 2731}, { 416, 2764}, 
{ 707,  662}, { 264, 2693}, {1662, 2735}, { 707,  663}, { 707,  664}, 
{ 416, 2711}, {1067, 5127}, { 416, 2712}, { 264, 2705}, { 797, 2774}, 
{1014, 2701}, {1014, 2702}, {1014, 2703}, {1014, 2704}, { 707,  665}, 
{ 567,  107}, { 521, 4758}, { 416, 2701}, { 416, 2702}, { 416, 2703}, 
{ 416, 2704}, { 707,  666}, { 707,  667}, { 807, 2777}, { 238,   61}, 
{ 707,  668}, {  37,   92}, { 806, 2709}, {1119,  817}, {1071,  996}, 
{1119, 2699}, {1119, 2697}, {1119, 2698}, {1119, 2700}, {1119, 2706}, 
{1119, 2705}, { 333,  446}, { 413, 4840}, { 183, 2716}, { 624, 2701}, 
{ 624, 2702}, { 624, 2703}, { 624, 2704}, {1119, 1368}, { 413, 2707}, 
{ 507, 4792}, {1119,  183}, { 797,  997}, {1304, 4627}, { 608,  606}, 
{1858,   57}, {1992, 2261}, {1858, 2699}, {1858, 2697}, {1858, 2698}, 
{1858, 2700}, { 707,  669}, { 746, 2693}, { 466, 2693}, { 843,   57}, 
{ 707,  670}, {1071, 4762}, { 707,  671}, {1071, 4762}, { 887, 4259}, 
{ 238,  133}, { 797,  998}, {1564,  204}, { 707,  672}, { 466, 3576}, 
{ 261, 2693}, { 888, 1115}, { 333,  447}, { 888, 4842}, { 413, 4840}, 
{1564,  205}, {1400,  112}, {1400,  113}, {1400,  114}, {1400,  115}, 
{ 299,  403}, { 292,  393}, { 707,  673}, { 707,  674}, {1034, 1269}, 
{1556, 5196}, {1813, 4603}, {1967, 2058}, {1538, 1534}, {1924, 1534}, 
{ 261, 2658}, {1813, 4603}, {1752, 2557}, {1241, 2775}, { 686, 2585}, 
{ 806, 2710}, {1556, 5197}, { 707,  675}, {1640, 1843}, {1813, 4603}, 
{ 413, 2764}, { 567,  224}, {1813, 4603}, {1813, 4603}, {1813, 4603}, 
{ 183, 2713}, { 413, 2711}, { 466, 3576}, { 413, 2712}, { 333,  448}, 
{ 195, 4792}, { 857, 1077}, { 592,  748}, { 319,  256}, {1588, 1791}, 
{ 797, 4762}, {1640, 1844}, { 707,  676}, { 413, 2701}, { 413, 2702}, 
{ 413, 2703}, { 413, 2704}, { 707,  677}, { 707,  678}, { 707,  679}, 
{2098, 2608}, {1071, 2774}, { 797,  999}, { 290, 4430}, {1321, 4627}, 
{1538, 1535}, {1924, 1535}, {1681, 2708}, { 195, 4792}, { 707,  680}, 
{ 195, 4792}, { 195, 4792}, { 195, 4792}, { 195, 4792}, { 195,  259}, 
{ 797, 1000}, { 707,  284}, { 195, 4792}, { 195, 4792}, { 195, 4792}, 
{ 623, 2701}, { 623, 2702}, { 623, 2703}, { 623, 2704}, { 707,  681}, 
{ 707,  682}, { 797, 5093}, { 494, 4430}, {2098, 2607}, { 996,   57}, 
{ 707,  683}, { 996, 2699}, { 996, 2697}, { 996, 2698}, { 996, 2700}, 
{ 707, 2581}, { 516, 2693}, { 806, 2707}, {2132, 2263}, {1071,  997}, 
{2098, 2605}, { 707,  684}, { 183, 2718}, { 516, 2717}, { 183, 2719}, 
{2132, 2705}, { 299,  404}, { 265, 2708}, { 707,  685}, {1681, 2709}, 
{1967, 1926}, { 261, 2659}, {1139, 1404}, { 707,  686}, { 707,  687}, 
{1858, 1659}, { 567, 2530}, { 707,  688}, {1071, 1312}, {1119, 1369}, 
{ 700, 5066}, { 700, 5067}, { 700, 5068}, {1696, 4798}, {1304, 2784}, 
{ 700, 5069}, { 707,  689}, {2161, 2693}, { 707,  690}, { 707,  691}, 
{ 686,  889}, { 700, 2418}, { 700,  643}, { 707,  692}, { 700,  644}, 
{ 707,  693}, { 264, 2708}, {1696, 4798}, {2161, 4390}, {1119, 1370}, 
{   6, 2235}, {   6, 2236}, { 707,  694}, {1751, 1534}, { 700,  645}, 
{1702, 2701}, {1702, 2702}, {1702, 2703}, {1702, 2704}, { 265, 2709}, 
{1917, 4627}, { 495,  585}, { 308, 2355}, {1119,   61}, {1794, 2725}, 
{ 996, 4761}, { 707,  695}, { 996, 4761}, {1241, 1481}, { 609,   57}, 
{ 495,  586}, { 707,  696}, { 707,  697}, {1119, 2708}, { 507, 4792}, 
{ 261,  339}, {2098, 2606}, {1071, 4762}, { 495,  587}, {1241, 5157}, 
{ 700,  646}, {1992, 2260}, { 700,  647}, { 746, 2349}, {  32, 2877}, 
{1858,   61}, { 700,  648}, {1681, 2710}, { 264, 2709}, {1071,  999}, 
{ 319, 2665}, { 707,  698}, { 592,  749}, { 700,  649}, { 843,   61}, 
{1751, 1535}, { 308,  418}, { 319, 2667}, {1538, 1536}, {1924, 1536}, 
{ 700, 2485}, { 592, 2758}, {1071, 5129}, {  27,   83}, {1119,  818}, 
{ 707, 2701}, { 707, 2702}, { 707, 2703}, { 707, 2704}, { 592,  750}, 
{ 507, 2740}, { 261,  340}, { 700,  650}, {1071, 5130}, {  27,   84}, 
{1119, 2709}, {  32, 4808}, { 700, 2489}, { 238, 2711}, { 308,  419}, 
{ 238, 2712}, { 700, 5070}, {  27, 4808}, {1639, 4627}, { 238,  134}, 
{ 238,  309}, { 238,  135}, { 265, 2710}, { 299,  405}, {1752, 1925}, 
{ 238, 2701}, { 238, 2702}, { 238, 2703}, { 238, 2704}, { 238,  136}, 
{1701, 2602}, {1119, 2586}, {1119, 2587}, {1992, 2259}, { 851,  847}, 
{ 700,  651}, {1701, 2601}, {1538, 1537}, {1924, 1537}, {1119, 1371}, 
{ 927, 1166}, {1119, 1372}, { 700,  652}, { 261,  341}, { 319, 2740}, 
{ 700,  653}, { 714, 3142}, { 700,  654}, {1019, 2735}, {1681, 2707}, 
{1304, 1481}, { 264, 2710}, { 797, 1002}, {1681, 2240}, { 700,  655}, 
{1794, 4762}, { 807, 1018}, { 888, 2765}, { 333,  449}, { 333,  450}, 
{ 333,  451}, {1304, 5163}, { 851,  848}, { 714, 3142}, { 290, 2687}, 
{ 625, 4808}, { 308, 2361}, { 308, 2363}, { 261, 2661}, {1794, 2786}, 
{1665, 4858}, {1446, 4798}, { 261,  348}, {1241, 4808}, { 851,  849}, 
{1009, 1236}, { 261, 2657}, {1009, 1237}, {1119, 2710}, {1601, 1801}, 
{ 700,  656}, { 700,  657}, { 567,  284}, {1481, 2748}, { 996,   61}, 
{1446, 4798}, {1451, 5183}, {1451, 5184}, {1451, 5185}, { 265, 2707}, 
{ 700,  658}, {1451, 5186}, { 700,  659}, {1917, 2781}, {1778, 4842}, 
{1601, 1802}, { 700, 5071}, { 700,  660}, { 700,  661}, {1249, 1489}, 
{2145, 5293}, { 516, 2714}, {1038,   57}, {1019, 4842}, {  32,   89}, 
{ 887, 1113}, { 261, 2660}, { 887, 4259}, {  27, 4808}, { 398, 2722}, 
{1778, 4842}, {1858, 1660}, {1752, 1926}, {1751, 1536}, {1601, 2569}, 
{  32, 2748}, { 700,  662}, {1898, 4816}, { 264, 2707}, { 700,  663}, 
{ 700,  664}, {1675, 2257}, {1019, 4842}, {1681, 2701}, {1681, 2702}, 
{1681, 2703}, {1681, 2704}, { 290, 2688}, { 924, 1149}, {1778, 4842}, 
{ 700,  665}, { 996, 4761}, {1696, 2743}, {1601, 1803}, {1414, 2231}, 
{1031, 2496}, {1031, 2497}, { 700,  666}, { 700,  667}, { 924, 2233}, 
{ 851,  850}, { 700,  668}, {1139, 1405}, { 516, 2715}, { 308,  420}, 
{1119, 2707}, {1386, 4627}, { 924, 1150}, {1778, 4842}, {1675, 1876}, 
{ 875,   57}, {1038, 2726}, { 875, 2699}, { 875, 2697}, { 875, 2698}, 
{ 875, 2700}, {1139, 1406}, {1751, 1537}, {1111, 2789}, {1016,  817}, 
{1304, 4808}, {1016, 2699}, {1016, 2697}, {1016, 2698}, {1016, 2700}, 
{1016, 2706}, {1016, 2705}, { 308,  421}, {1388,   57}, {1071, 5131}, 
{  27,   76}, { 520, 4758}, { 700,  669}, { 308,  422}, {1016, 1245}, 
{1388, 2705}, { 700,  670}, {1016,  183}, { 700,  671}, { 924, 1151}, 
{1226, 2440}, {1119, 1373}, {1481, 4808}, { 308,  423}, { 700,  672}, 
{1226, 2439}, {1388, 1637}, {1794, 1798}, { 610,   57}, { 924, 1152}, 
{ 290, 4430}, {1019, 4782}, { 240,   57}, {1246, 1245}, { 240, 2699}, 
{ 240, 2697}, { 240, 2698}, { 240, 2700}, { 700,  673}, { 700,  674}, 
{ 520, 2722}, { 567,  112}, { 567,  113}, { 567,  114}, { 567,  115}, 
{ 308,  424}, {1429, 2740}, {1119, 2711}, {1016, 2726}, {1119, 2712}, 
{ 240, 2689}, { 516, 2716}, { 924, 1153}, { 700,  675}, { 494, 4430}, 
{ 507, 4792}, {1451, 3584}, {1917, 1481}, {1865, 2265}, {1119, 2701}, 
{1119, 2702}, {1119, 2703}, {1119, 2704}, { 928, 4794}, {2145, 5294}, 
{ 924, 1154}, { 261,  343}, {1246, 2726}, {1917, 5255}, {1264, 2780}, 
{1111, 1260}, {1085, 5133}, {1250, 2776}, { 700,  676}, {   4, 2234}, 
{2145, 5295}, { 924, 1155}, { 308,  425}, { 700,  677}, { 700,  678}, 
{ 700,  679}, {1858, 2701}, {1858, 2702}, {1858, 2703}, {1858, 2704}, 
{1016, 4764}, {1009, 1238}, { 625, 4808}, { 290, 2621}, { 261, 2662}, 
{ 700,  680}, { 261, 2663}, { 261,  344}, { 261,  345}, { 261,  346}, 
{ 989,   57}, { 600,  760}, { 700, 5072}, { 261, 2666}, { 261, 2668}, 
{ 261, 2669}, {1264, 4808}, { 989, 2705}, {1139, 1407}, {1246, 4764}, 
{ 700,  681}, { 700,  682}, {1865, 2264}, {1250, 4808}, {1085, 1334}, 
{ 600,  761}, { 700,  683}, { 494, 2621}, {1111, 1261}, {1678, 4792}, 
{1446, 2743}, { 700, 2581}, {1663, 2249}, { 516, 2713}, {1663, 1664}, 
{1675, 2252}, {2169, 4804}, { 700,  684}, {2169, 4804}, {2169, 4804}, 
{2169, 4804}, {2169, 4804}, { 714, 3142}, {1085, 2772}, { 700,  685}, 
{1665, 4858}, {1663, 1665}, {1038,   61}, {1665, 4858}, { 700,  686}, 
{ 700,  687}, {1019, 5120}, {1386, 2793}, { 700,  688}, {1663, 1666}, 
{ 398, 2723}, { 560, 2695}, { 560, 2696}, { 560, 2699}, {2038, 4627}, 
{1601, 2573}, { 560, 2700}, { 700,  689}, {1081, 1328}, { 700,  690}, 
{ 700,  691}, {1639, 4842}, { 560, 2418}, { 560,  643}, { 700,  692}, 
{ 560,  644}, { 700,  693}, { 308,  426}, {   4, 2237}, {1563, 5204}, 
{1778, 4842}, { 308,  427}, {1778, 5241}, { 700,  694}, {1414, 2232}, 
{ 560,  645}, {1018,  817}, {1917, 4808}, {1018, 2699}, {1018, 2697}, 
{1018, 2698}, {1018, 2700}, {1018, 2706}, {1018, 2705}, {2145, 4808}, 
{1249, 1490}, { 308,  428}, { 700,  695}, { 625, 2748}, {1786, 5244}, 
{ 875,   61}, {1018, 1245}, { 700,  696}, { 700,  697}, {1018,  183}, 
{ 996, 2701}, { 996, 2702}, { 996, 2703}, { 996, 2704}, {1016,   61}, 
{1356, 4842}, { 560,  646}, {1429, 4792}, { 560,  647}, {1264, 1458}, 
{1563, 4808}, { 308,  429}, { 560,  648}, {1388,   61}, {1016, 2708}, 
{ 308,  430}, {1250, 1458}, { 700,  698}, {1356, 1260}, { 560,  649}, 
{1264, 5161}, {1356, 4842}, {1356, 1598}, {1388, 2708}, {1939, 2725}, 
{ 308,  431}, { 560, 2485}, {1250, 5159}, { 714, 3142}, { 308,  432}, 
{1018, 2726}, { 700, 5073}, { 700, 5074}, { 700, 5075}, { 700, 5076}, 
{1250, 4808}, { 468,  224}, { 221, 2940}, { 560,  650}, { 968, 1196}, 
{1356, 4842}, {1665, 2772}, {1898, 4816}, { 560, 2489}, { 714, 3142}, 
{1016,  818}, { 520, 2723}, { 560,  224}, {1023, 2779}, { 924, 1156}, 
{1885, 5253}, {1429, 4792}, {1885, 2699}, { 968,  761}, { 468,  559}, 
{1885, 2700}, {1016, 2709}, {1885, 2705}, {1647, 2725}, {1356, 4842}, 
{1029, 1030}, {1356, 5180}, { 600, 4842}, {1386, 1481}, {1288, 4808}, 
{1388, 2709}, { 560,  651}, {1018, 4764}, {1885,  516}, { 786, 2699}, 
{ 786, 2697}, { 786, 2698}, { 786, 2700}, { 560,  652}, {1386, 5182}, 
{1898, 2611}, { 560,  653}, {  29, 2874}, { 560,  654}, {1038, 4764}, 
{1223, 2774}, { 924, 2235}, { 924, 2236}, { 272,  351}, { 127,   57}, 
{ 560,  655}, { 127, 2699}, { 127, 2697}, { 127, 2698}, { 127, 2700}, 
{ 127, 2706}, {2038, 5269}, {1029, 4762}, { 221,  224}, {1029, 4762}, 
{1898, 2752}, {1249, 1491}, {  38, 2883}, { 928, 4794}, {1663, 2733}, 
{ 989,   61}, { 928, 2741}, { 127,  169}, {1563, 5205}, { 221, 2940}, 
{ 221, 2940}, {1786, 5245}, {1639, 2765}, {1625, 1828}, { 855,  804}, 
{ 989, 2708}, { 560,  656}, { 560,  657}, {  29, 4808}, {1563, 5206}, 
{ 600,  762}, { 855, 2477}, {1786, 5246}, {1223, 4808}, {2190, 2209}, 
{1939, 4762}, { 560,  658}, {1563, 4808}, { 560,  659}, {1016, 2710}, 
{1786, 4808}, {2169, 4804}, { 560, 2530}, { 560,  660}, { 560,  661}, 
{1663, 3122}, {1023, 1260}, {1081, 1329}, {1388, 2710}, {1939, 5264}, 
{ 894, 2693}, {1016, 4764}, { 894, 2699}, { 894, 2697}, { 894, 2698}, 
{ 894, 2700}, { 894, 2706}, { 894, 2705}, {1777, 4842}, {1597, 4842}, 
{1625, 1829}, { 285, 2220}, { 560,  662}, {1758, 4627}, {1678, 2740}, 
{ 560,  663}, { 560,  664}, { 989, 2709}, { 894,  183}, { 247,  320}, 
{1246, 4764}, {2169, 4804}, { 272,  103}, {1663, 3122}, {1777, 4842}, 
{1597, 4842}, { 560,  665}, {1663, 1667}, { 869,   57}, {1414, 2230}, 
{ 719, 2990}, {1647, 4762}, {  38, 2863}, { 560,  666}, { 560,  667}, 
{ 869, 2705}, {1018,   61}, { 560,  668}, {1386, 4808}, {1023, 1261}, 
{ 924, 1157}, { 719, 2990}, {1000, 4808}, {1777, 4842}, {1597, 4842}, 
{1322, 5167}, {1018, 2708}, {1000, 4808}, {2190, 2268}, { 719, 2990}, 
{1038, 4764}, {2190, 2269}, {   4, 2235}, {   4, 2236}, {1771, 4627}, 
{ 247,  321}, {1016, 2707}, {1451, 5187}, {1451, 5188}, {1451, 5189}, 
{1451, 5190}, {1650,  108}, {1777, 4842}, {1597, 4842}, {1663, 1668}, 
{1388, 2707}, {2169, 2746}, {1020, 2484}, { 560,  669}, { 875, 4842}, 
{1663, 1669}, {  29,   89}, { 560,  670}, {1663, 1670}, { 560,  671}, 
{  38,   92}, {1223, 1458}, {1018,  818}, { 285, 2223}, { 285, 2222}, 
{ 560,  672}, { 719, 2990}, {  29,   90}, {2190, 2272}, { 221, 2940}, 
{ 989, 2710}, {2038, 5270}, {1223, 5155}, {1018, 2709}, { 875, 4190}, 
{  29, 4808}, { 719, 2990}, { 247,  322}, {2169, 4804}, { 560,  673}, 
{ 560,  674}, {1356, 4842}, {2038, 5271}, {1356, 2765}, {1650,  224}, 
{1155, 4792}, { 875, 4190}, {1663, 1671}, {1929, 4627}, { 875, 5100}, 
{1383,   57}, {2131, 4778}, {1016, 4764}, { 968, 1197}, { 560,  675}, 
{1663, 1672}, { 651, 2557}, {1383, 2705}, {2131, 4778}, { 719, 2990}, 
{1885, 2708}, {1624, 4832}, {1939, 5265}, {1016, 2711}, {1288, 4808}, 
{1016, 2712}, { 875, 2701}, { 875, 2702}, { 875, 2703}, { 875, 2704}, 
{1663, 1673}, {1246, 4764}, { 719, 2990}, {1029, 4762}, { 560,  676}, 
{1016, 2701}, {1016, 2702}, {1016, 2703}, {1016, 2704}, { 560,  677}, 
{ 560,  678}, { 560,  679}, {1039,   57}, { 719, 2990}, { 127,   61}, 
{1029,  999}, { 661, 2534}, { 468,  284}, { 661,  833}, { 546, 2362}, 
{ 546, 2364}, { 560,  680}, {  33, 2878}, {1122, 2673}, { 884, 4858}, 
{ 600,  763}, {1000, 2748}, { 989, 2707}, { 560,  284}, {1663, 3122}, 
{1122, 2674}, {1018, 2710}, {1885, 2709}, { 240,  312}, {1663, 1674}, 
{ 661,  834}, { 560,  681}, { 560,  682}, { 240, 2701}, { 240, 2702}, 
{ 240, 2703}, { 240, 2704}, { 560,  683}, {1018, 4764}, {1663, 4778}, 
{ 703, 2420}, { 703,  643}, { 560, 2581}, { 703,  644}, {2133, 4778}, 
{1678, 4792}, { 600, 2765}, {1123, 2791}, { 560,  684}, {1650, 2530}, 
{ 127,  133}, {2133, 4778}, {1707, 4808}, { 703,  645}, {2183,   57}, 
{ 560,  685}, {1039, 2726}, {1707, 4808}, {2048, 4627}, {1020, 2483}, 
{ 560,  686}, { 560,  687}, { 894, 2536}, { 285, 2221}, { 560,  688}, 
{ 221, 2940}, {2038, 4808}, {1157, 4768}, { 931, 2302}, { 221,  284}, 
{ 894, 2708}, {1981, 2725}, {1288, 2748}, { 560,  689}, { 256,  330}, 
{ 560,  690}, { 560,  691}, {1122, 2740}, {1020, 1257}, { 703,  646}, 
{ 560,  692}, { 703,  647}, { 560,  693}, { 661, 2535}, { 989, 2711}, 
{ 703,  648}, { 989, 2712}, {1153, 3009}, { 869,   61}, { 560,  694}, 
{1625, 1830}, {1625, 1831}, { 703,  649}, {1018, 2707}, {1341, 5175}, 
{1885, 2710}, {1284, 2523}, { 221, 2940}, { 869, 2708}, { 703, 2485}, 
{1069, 4842}, { 931, 2321}, { 931,  368}, { 560,  695}, {1777, 4842}, 
{1597, 4842}, {1777, 5240}, {1597, 2765}, { 560,  696}, { 560,  697}, 
{ 256,  331}, { 703,  650}, { 894, 2709}, { 389, 2730}, {1929, 2784}, 
{ 884, 4858}, { 703, 2489}, {1123, 1260}, {2169, 4804}, {1069, 4842}, 
{ 703,  224}, {1155, 2740}, {2169, 4804}, {2169, 4804}, {2169, 4804}, 
{2169, 4804}, {2169, 4804}, {1157, 2728}, { 560,  698}, { 615, 2693}, 
{ 931, 2322}, { 931, 2326}, { 931, 2327}, { 931, 2328}, { 931, 2329}, 
{ 931, 2330}, { 931, 2331}, { 931, 2332}, { 931, 2333}, { 703,  651}, 
{ 869, 2709}, {  33,   86}, { 560, 2701}, { 560, 2702}, { 560, 2703}, 
{ 560, 2704}, { 703,  652}, { 256,  332}, { 968,  763}, { 703,  653}, 
{  49, 5044}, { 703,  654}, {  33, 2748}, {1569, 4627}, {2131, 2733}, 
{1018, 2711}, {  49,  107}, {1018, 2712}, { 703,  655}, { 651,  812}, 
{1123, 1261}, {1707, 2748}, {1885, 2707}, { 898,   57}, {1341, 1260}, 
{1383,   61}, { 719, 2990}, {1018, 2701}, {1018, 2702}, {1018, 2703}, 
{1018, 2704}, { 247,  323}, { 247,  324}, { 247,  325}, { 285, 2225}, 
{1383, 2708}, { 256,  333}, { 931, 2323}, { 931, 2335}, {1981, 4762}, 
{ 894, 2710}, { 141, 2871}, {1153, 4792}, {1029, 1031}, { 703,  656}, 
{ 703,  657}, {1688, 2693}, {2216,   57}, { 599, 2693}, {2216, 2699}, 
{2216, 2697}, {2216, 2698}, {2216, 2700}, { 141, 2872}, { 703,  658}, 
{1029, 1032}, { 703,  659}, {1039,   61}, { 719, 2990}, { 719, 2990}, 
{ 703, 2530}, { 703,  660}, { 703,  661}, { 884, 4858}, {  49,  108}, 
{1596, 4842}, { 285, 2224}, {1341, 5176}, { 869, 2710}, {2048, 5280}, 
{1650,  284}, {1258, 2778}, { 894, 2537}, {  43,   57}, { 522, 4758}, 
{1688, 2722}, { 132, 2825}, {1383, 2709}, {1274, 2726}, {1087, 4858}, 
{ 703,  662}, {1596, 4842}, {2133, 2733}, { 703,  663}, { 703,  664}, 
{1685, 2699}, {1685, 2697}, {1685, 2698}, {1685, 2700}, {1685, 2706}, 
{1685, 2705}, {2029, 2781}, { 931, 4792}, {1857, 1987}, { 703,  665}, 
{1929, 1481}, {1885, 2701}, {1885, 2702}, {1885, 2703}, {1885, 2704}, 
{1596, 4842}, { 703,  666}, { 703,  667}, { 522, 2722}, {2183,   61}, 
{ 703,  668}, {1929, 5256}, { 894, 2707}, { 389, 2740}, { 762,  966}, 
{ 931, 4792}, {  33, 4808}, { 132, 2832}, { 786, 2701}, { 786, 2702}, 
{ 786, 2703}, { 786, 2704}, {1934, 4627}, { 127, 2711}, {1596, 4842}, 
{ 127, 2712}, {1284, 2526}, {1624, 4832}, { 762,  761}, { 127,  134}, 
{ 931, 2324}, { 127,  135}, {1026, 2693}, { 179, 2828}, { 383,  496}, 
{ 127, 2701}, { 127, 2702}, { 127, 2703}, { 127, 2704}, { 127,  136}, 
{ 869, 2707}, { 703,  669}, { 931, 2740}, { 931,  369}, {1982,  107}, 
{ 703,  670}, { 383,  497}, { 703,  671}, { 500, 4758}, { 931,  370}, 
{1383, 2710}, {1408, 4830}, {1586, 4627}, { 703,  672}, { 132, 2838}, 
{ 503, 4758}, {1569, 5213}, { 719, 2990}, {1069, 5128}, {1413, 2248}, 
{1974,   57}, {1413, 1664}, {1974, 2699}, {1974, 2697}, {1974, 2698}, 
{1974, 2700}, { 884, 2772}, { 703,  673}, { 703,  674}, { 179, 2840}, 
{1284, 2524}, { 613, 2694}, {1153, 5137}, {1413, 1665}, { 894, 2711}, 
{1142, 2278}, { 894, 2712}, { 500, 2722}, {1974, 2689}, {1331, 1571}, 
{1087, 4858}, {1413, 1666}, { 703,  675}, { 132,  179}, { 503, 2722}, 
{2048, 5281}, { 894, 2701}, { 894, 2702}, { 894, 2703}, { 894, 2704}, 
{2082, 2263}, { 931,  371}, {1331, 2539}, {  49,  109}, {1039, 4764}, 
{ 256,  334}, {2048, 5282}, {2082, 2705}, { 705, 3608}, { 705,  643}, 
{ 614, 2694}, { 705,  644}, { 703,  676}, {1258, 1481}, { 481,  574}, 
{ 931, 2325}, { 179, 2835}, { 703,  677}, { 703,  678}, { 703,  679}, 
{1929, 4808}, { 705,  645}, {1383, 2594}, { 931,  372}, {1258, 5160}, 
{ 931, 2334}, {1026, 2237}, {1383, 2707}, { 898,   61}, { 703,  680}, 
{2029, 1481}, { 256,  335}, { 256,  336}, { 256,  337}, { 931, 2336}, 
{ 477,  224}, { 703,  284}, { 256, 2670}, { 256, 2671}, { 256, 2672}, 
{1982,  224}, {2029, 5268}, {1142, 2279}, {1142, 2280}, { 703,  681}, 
{ 703,  682}, {1408, 4830}, { 705,  646}, { 162, 2687}, { 705,  647}, 
{ 703,  683}, {1033, 1030}, {2216,   61}, { 705,  648}, {1641,   57}, 
{ 703, 2581}, {1641, 2699}, {1641, 2697}, {1641, 2698}, {1641, 2700}, 
{ 705,  649}, { 703,  684}, {1624, 2760}, {  28, 2873}, {1683, 2693}, 
{ 838, 4627}, {1683, 2699}, { 705, 2485}, { 703,  685}, {1683, 2700}, 
{1934, 5259}, {1683, 2705}, {1641, 2689}, { 703,  686}, { 703,  687}, 
{ 762, 4842}, { 615, 2299}, { 703,  688}, {1087, 4858}, { 705,  650}, 
{2041, 4627}, {1688, 2723}, {1683,  516}, {1033, 4762}, { 705, 2489}, 
{1033, 4762}, { 703,  689}, {1977, 2794}, { 703,  690}, { 703,  691}, 
{1569, 5214}, {1938, 2725}, {1254, 1489}, { 703,  692}, { 168,   57}, 
{ 703,  693}, { 168, 2699}, { 168, 2697}, { 168, 2698}, { 168, 2700}, 
{ 168, 2706}, {1569, 5215}, { 703,  694}, { 931,  373}, {1095, 1129}, 
{2048, 4808}, {1596, 4842}, { 705,  651}, {1596, 2765}, { 522, 2723}, 
{1039, 4764}, { 162, 2688}, { 168,   60}, {1586, 5222}, { 705,  652}, 
{ 477, 2530}, { 703,  695}, { 705,  653}, { 598, 2693}, { 705,  654}, 
{1982, 2530}, { 703,  696}, { 703,  697}, {1258, 4808}, { 705, 3608}, 
{ 931,  374}, { 705,  655}, {1717,   57}, { 762,  967}, {1717, 2699}, 
{1717, 2697}, {1717, 2698}, {1717, 2700}, {1717, 2706}, { 389, 4792}, 
{ 599, 2292}, {1413, 2733}, { 705, 3608}, {  49,  110}, { 881, 5101}, 
{2029, 4808}, { 703,  698}, { 931,  375}, {1600, 2725}, {1930, 2774}, 
{1717,   60}, {1030,   57}, { 132, 2830}, {1030, 2699}, {1030, 2697}, 
{1030, 2698}, {1030, 2700}, { 705,  656}, { 705,  657}, { 481,  575}, 
{1090, 4259}, { 931,  376}, { 392, 4758}, {2013, 2557}, {2033,  437}, 
{ 931,  377}, { 522, 4758}, { 705,  658}, {1158, 1149}, { 705,  659}, 
{  69, 2823}, {1274, 4764}, {1413, 3122}, { 705, 2530}, { 705,  660}, 
{ 705,  661}, { 162,  230}, {1284, 1526}, { 132, 2826}, { 132, 2839}, 
{ 132, 2833}, {1087, 2772}, { 881, 1105}, { 500, 2723}, { 132, 2831}, 
{ 132, 2837}, { 132, 2842}, {  49,  111}, {2033,  438}, { 615, 2298}, 
{ 503, 2723}, { 392, 2722}, {1938, 4762}, { 705,  662}, { 821, 1030}, 
{ 501, 4758}, { 705,  663}, { 705,  664}, {  28,   86}, {1934, 5260}, 
{1413, 3122}, { 881, 2772}, {1977, 1833}, {1258,  204}, {1413, 1667}, 
{1569, 4808}, {1938, 5262}, { 705,  665}, {1243, 4627}, {  28, 2748}, 
{1934, 5261}, {1258,  205}, { 929, 4794}, {1977, 5267}, { 705,  666}, 
{ 705,  667}, {1095, 4363}, {1030, 4761}, { 705,  668}, {1030, 4761}, 
{ 426, 2740}, {1977, 4808}, {  56, 4794}, {2041, 5272}, { 501, 2722}, 
{2182, 4792}, { 821, 4762}, { 426, 4792}, { 821, 4762}, {1586, 5223}, 
{ 179, 2829}, { 179, 2836}, { 179, 2841}, {1074,   57}, { 178, 2845}, 
{1074, 2699}, {1074, 2697}, {1074, 2698}, {1074, 2700}, {1074, 2706}, 
{1586, 5224}, {1413, 1668}, { 503, 4758}, {1471, 2774}, {1600, 4762}, 
{1026, 223