mirror of
https://github.com/ehw-fit/ariths-gen.git
synced 2025-04-10 09:12:11 +01:00
56c86c13ca
* #10 CGP Circuits as inputs (#11) * CGP Circuits as inputs * #10 support of signed output in general circuit * input as output works * output connected to input (c) * automated verilog testing * output rename * Implemented CSA and Wallace tree multiplier composing of CSAs. Also did some code cleanup. * Typos fix and code cleanup. * Added new (approximate) multiplier architectures and did some minor changes regarding sign extension for c output formats. * Updated automated testing scripts. * Small bugfix in python code generation (I initially thought this line is useless). * Updated generated circuits folder. Co-authored-by: Vojta Mrazek <mrazek@fit.vutbr.cz>
1 line
56 KiB
Plaintext
1 line
56 KiB
Plaintext
{48,48,1,3267,2,1,0}([50]21,26,2)([51]20,27,2)([52]50,51,4)([53]50,51,2)([54]22,26,2)([55]21,27,2)([56]53,54,4)([57]53,54,2)([58]56,55,4)([59]56,55,2)([60]57,59,3)([61]20,28,2)([62]19,29,2)([63]61,62,4)([64]61,62,2)([65]23,26,2)([66]64,60,4)([67]64,60,2)([68]66,65,4)([69]66,65,2)([70]67,69,3)([71]22,27,2)([72]21,28,2)([73]20,29,2)([74]71,72,4)([75]71,72,2)([76]74,73,4)([77]74,73,2)([78]75,77,3)([79]19,30,2)([80]18,31,2)([81]79,80,4)([82]79,80,2)([83]82,78,4)([84]82,78,2)([85]83,70,4)([86]83,70,2)([87]84,86,3)([88]24,26,2)([89]23,27,2)([90]22,28,2)([91]88,89,4)([92]88,89,2)([93]91,90,4)([94]91,90,2)([95]92,94,3)([96]21,29,2)([97]20,30,2)([98]19,31,2)([99]96,97,4)([100]96,97,2)([101]99,98,4)([102]99,98,2)([103]100,102,3)([104]18,32,2)([105]17,33,2)([106]104,105,4)([107]104,105,2)([108]107,103,4)([109]107,103,2)([110]108,95,4)([111]108,95,2)([112]109,111,3)([113]25,26,5)([114]24,27,2)([115]87,113,4)([116]87,113,2)([117]115,114,4)([118]115,114,2)([119]116,118,3)([120]23,28,2)([121]22,29,2)([122]21,30,2)([123]120,121,4)([124]120,121,2)([125]123,122,4)([126]123,122,2)([127]124,126,3)([128]20,31,2)([129]19,32,2)([130]18,33,2)([131]128,129,4)([132]128,129,2)([133]131,130,4)([134]131,130,2)([135]132,134,3)([136]17,34,2)([137]16,35,2)([138]136,137,4)([139]136,137,2)([140]139,135,4)([141]139,135,2)([142]140,127,4)([143]140,127,2)([144]141,143,3)([145]119,112,4)([146]119,112,2)([147]145,145,1)([148]146,145,3)([149]25,27,5)([150]24,28,2)([151]23,29,2)([152]149,150,4)([153]149,150,2)([154]152,151,4)([155]152,151,2)([156]153,155,3)([157]22,30,2)([158]21,31,2)([159]20,32,2)([160]157,158,4)([161]157,158,2)([162]160,159,4)([163]160,159,2)([164]161,163,3)([165]19,33,2)([166]18,34,2)([167]17,35,2)([168]165,166,4)([169]165,166,2)([170]168,167,4)([171]168,167,2)([172]169,171,3)([173]172,164,4)([174]172,164,2)([175]173,156,4)([176]173,156,2)([177]174,176,3)([178]25,28,5)([179]148,144,4)([180]148,144,2)([181]179,178,4)([182]179,178,2)([183]180,182,3)([184]24,29,2)([185]23,30,2)([186]22,31,2)([187]184,185,4)([188]184,185,2)([189]187,186,4)([190]187,186,2)([191]188,190,3)([192]21,32,2)([193]20,33,2)([194]19,34,2)([195]192,193,4)([196]192,193,2)([197]195,194,4)([198]195,194,2)([199]196,198,3)([200]199,191,4)([201]199,191,2)([202]200,183,4)([203]200,183,2)([204]201,203,3)([205]25,29,5)([206]24,30,2)([207]177,205,4)([208]177,205,2)([209]207,206,4)([210]207,206,2)([211]208,210,3)([212]23,31,2)([213]22,32,2)([214]21,33,2)([215]212,213,4)([216]212,213,2)([217]215,214,4)([218]215,214,2)([219]216,218,3)([220]219,211,4)([221]219,211,2)([222]220,204,4)([223]220,204,2)([224]221,223,3)([225]25,30,5)([226]24,31,2)([227]23,32,2)([228]225,226,4)([229]225,226,2)([230]228,227,4)([231]228,227,2)([232]229,231,3)([233]25,31,5)([234]232,224,4)([235]232,224,2)([236]234,233,4)([237]234,233,2)([238]235,237,3)([239]8,26,2)([240]7,27,2)([241]239,240,4)([242]239,240,2)([243]9,26,2)([244]8,27,2)([245]242,243,4)([246]242,243,2)([247]245,244,4)([248]245,244,2)([249]246,248,3)([250]7,28,2)([251]6,29,2)([252]250,251,4)([253]250,251,2)([254]10,26,2)([255]253,249,4)([256]253,249,2)([257]255,254,4)([258]255,254,2)([259]256,258,3)([260]9,27,2)([261]8,28,2)([262]7,29,2)([263]260,261,4)([264]260,261,2)([265]263,262,4)([266]263,262,2)([267]264,266,3)([268]6,30,2)([269]5,31,2)([270]268,269,4)([271]268,269,2)([272]271,267,4)([273]271,267,2)([274]272,259,4)([275]272,259,2)([276]273,275,3)([277]11,26,2)([278]10,27,2)([279]9,28,2)([280]277,278,4)([281]277,278,2)([282]280,279,4)([283]280,279,2)([284]281,283,3)([285]8,29,2)([286]7,30,2)([287]6,31,2)([288]285,286,4)([289]285,286,2)([290]288,287,4)([291]288,287,2)([292]289,291,3)([293]5,32,2)([294]4,33,2)([295]293,294,4)([296]293,294,2)([297]296,292,4)([298]296,292,2)([299]297,284,4)([300]297,284,2)([301]298,300,3)([302]12,26,2)([303]11,27,2)([304]276,302,4)([305]276,302,2)([306]304,303,4)([307]304,303,2)([308]305,307,3)([309]10,28,2)([310]9,29,2)([311]8,30,2)([312]309,310,4)([313]309,310,2)([314]312,311,4)([315]312,311,2)([316]313,315,3)([317]7,31,2)([318]6,32,2)([319]5,33,2)([320]317,318,4)([321]317,318,2)([322]320,319,4)([323]320,319,2)([324]321,323,3)([325]4,34,2)([326]3,35,2)([327]325,326,4)([328]325,326,2)([329]328,324,4)([330]328,324,2)([331]329,316,4)([332]329,316,2)([333]330,332,3)([334]13,26,2)([335]308,301,4)([336]308,301,2)([337]335,334,4)([338]335,334,2)([339]336,338,3)([340]12,27,2)([341]11,28,2)([342]10,29,2)([343]340,341,4)([344]340,341,2)([345]343,342,4)([346]343,342,2)([347]344,346,3)([348]9,30,2)([349]8,31,2)([350]7,32,2)([351]348,349,4)([352]348,349,2)([353]351,350,4)([354]351,350,2)([355]352,354,3)([356]6,33,2)([357]5,34,2)([358]4,35,2)([359]356,357,4)([360]356,357,2)([361]359,358,4)([362]359,358,2)([363]360,362,3)([364]3,36,2)([365]2,37,2)([366]364,365,4)([367]364,365,2)([368]367,363,4)([369]367,363,2)([370]368,355,4)([371]368,355,2)([372]369,371,3)([373]347,339,4)([374]347,339,2)([375]373,333,4)([376]373,333,2)([377]374,376,3)([378]14,26,2)([379]13,27,2)([380]12,28,2)([381]378,379,4)([382]378,379,2)([383]381,380,4)([384]381,380,2)([385]382,384,3)([386]11,29,2)([387]10,30,2)([388]9,31,2)([389]386,387,4)([390]386,387,2)([391]389,388,4)([392]389,388,2)([393]390,392,3)([394]8,32,2)([395]7,33,2)([396]6,34,2)([397]394,395,4)([398]394,395,2)([399]397,396,4)([400]397,396,2)([401]398,400,3)([402]5,35,2)([403]4,36,2)([404]3,37,2)([405]402,403,4)([406]402,403,2)([407]405,404,4)([408]405,404,2)([409]406,408,3)([410]2,38,2)([411]410,370,4)([412]410,370,2)([413]412,409,4)([414]412,409,2)([415]413,401,4)([416]413,401,2)([417]414,416,3)([418]393,385,4)([419]393,385,2)([420]418,377,4)([421]418,377,2)([422]419,421,3)([423]15,26,2)([424]14,27,2)([425]372,423,4)([426]372,423,2)([427]425,424,4)([428]425,424,2)([429]426,428,3)([430]13,28,2)([431]12,29,2)([432]11,30,2)([433]430,431,4)([434]430,431,2)([435]433,432,4)([436]433,432,2)([437]434,436,3)([438]10,31,2)([439]9,32,2)([440]8,33,2)([441]438,439,4)([442]438,439,2)([443]441,440,4)([444]441,440,2)([445]442,444,3)([446]7,34,2)([447]6,35,2)([448]5,36,2)([449]446,447,4)([450]446,447,2)([451]449,448,4)([452]449,448,2)([453]450,452,3)([454]4,37,2)([455]3,38,2)([456]2,39,2)([457]454,455,4)([458]454,455,2)([459]457,456,4)([460]457,456,2)([461]458,460,3)([462]415,420,4)([463]415,420,2)([464]463,461,4)([465]463,461,2)([466]464,453,4)([467]464,453,2)([468]465,467,3)([469]445,437,4)([470]445,437,2)([471]469,429,4)([472]469,429,2)([473]470,472,3)([474]16,26,2)([475]422,417,4)([476]422,417,2)([477]475,474,4)([478]475,474,2)([479]476,478,3)([480]15,27,2)([481]14,28,2)([482]13,29,2)([483]480,481,4)([484]480,481,2)([485]483,482,4)([486]483,482,2)([487]484,486,3)([488]12,30,2)([489]11,31,2)([490]10,32,2)([491]488,489,4)([492]488,489,2)([493]491,490,4)([494]491,490,2)([495]492,494,3)([496]9,33,2)([497]8,34,2)([498]7,35,2)([499]496,497,4)([500]496,497,2)([501]499,498,4)([502]499,498,2)([503]500,502,3)([504]6,36,2)([505]5,37,2)([506]4,38,2)([507]504,505,4)([508]504,505,2)([509]507,506,4)([510]507,506,2)([511]508,510,3)([512]3,39,2)([513]2,40,2)([514]512,513,4)([515]512,513,2)([516]514,466,4)([517]514,466,2)([518]515,517,3)([519]471,477,4)([520]471,477,2)([521]520,518,4)([522]520,518,2)([523]521,511,4)([524]521,511,2)([525]522,524,3)([526]503,495,4)([527]503,495,2)([528]526,487,4)([529]526,487,2)([530]527,529,3)([531]479,473,4)([532]479,473,2)([533]531,468,4)([534]531,468,2)([535]532,534,3)([536]17,26,2)([537]16,27,2)([538]15,28,2)([539]536,537,4)([540]536,537,2)([541]539,538,4)([542]539,538,2)([543]540,542,3)([544]14,29,2)([545]13,30,2)([546]12,31,2)([547]544,545,4)([548]544,545,2)([549]547,546,4)([550]547,546,2)([551]548,550,3)([552]11,32,2)([553]10,33,2)([554]9,34,2)([555]552,553,4)([556]552,553,2)([557]555,554,4)([558]555,554,2)([559]556,558,3)([560]8,35,2)([561]7,36,2)([562]6,37,2)([563]560,561,4)([564]560,561,2)([565]563,562,4)([566]563,562,2)([567]564,566,3)([568]5,38,2)([569]4,39,2)([570]3,40,2)([571]568,569,4)([572]568,569,2)([573]571,570,4)([574]571,570,2)([575]572,574,3)([576]2,41,2)([577]576,523,4)([578]576,523,2)([579]577,528,4)([580]577,528,2)([581]578,580,3)([582]533,541,4)([583]533,541,2)([584]583,581,4)([585]583,581,2)([586]584,575,4)([587]584,575,2)([588]585,587,3)([589]567,559,4)([590]567,559,2)([591]589,551,4)([592]589,551,2)([593]590,592,3)([594]543,535,4)([595]543,535,2)([596]594,530,4)([597]594,530,2)([598]595,597,3)([599]18,26,2)([600]17,27,2)([601]525,599,4)([602]525,599,2)([603]601,600,4)([604]601,600,2)([605]602,604,3)([606]16,28,2)([607]15,29,2)([608]14,30,2)([609]606,607,4)([610]606,607,2)([611]609,608,4)([612]609,608,2)([613]610,612,3)([614]13,31,2)([615]12,32,2)([616]11,33,2)([617]614,615,4)([618]614,615,2)([619]617,616,4)([620]617,616,2)([621]618,620,3)([622]10,34,2)([623]9,35,2)([624]8,36,2)([625]622,623,4)([626]622,623,2)([627]625,624,4)([628]625,624,2)([629]626,628,3)([630]7,37,2)([631]6,38,2)([632]5,39,2)([633]630,631,4)([634]630,631,2)([635]633,632,4)([636]633,632,2)([637]634,636,3)([638]4,40,2)([639]3,41,2)([640]2,42,2)([641]638,639,4)([642]638,639,2)([643]641,640,4)([644]641,640,2)([645]642,644,3)([646]586,591,4)([647]586,591,2)([648]646,596,4)([649]646,596,2)([650]647,649,3)([651]603,611,4)([652]603,611,2)([653]652,650,4)([654]652,650,2)([655]653,645,4)([656]653,645,2)([657]654,656,3)([658]637,629,4)([659]637,629,2)([660]658,621,4)([661]658,621,2)([662]659,661,3)([663]613,605,4)([664]613,605,2)([665]663,598,4)([666]663,598,2)([667]664,666,3)([668]19,26,2)([669]593,588,4)([670]593,588,2)([671]669,668,4)([672]669,668,2)([673]670,672,3)([674]18,27,2)([675]17,28,2)([676]16,29,2)([677]674,675,4)([678]674,675,2)([679]677,676,4)([680]677,676,2)([681]678,680,3)([682]15,30,2)([683]14,31,2)([684]13,32,2)([685]682,683,4)([686]682,683,2)([687]685,684,4)([688]685,684,2)([689]686,688,3)([690]12,33,2)([691]11,34,2)([692]10,35,2)([693]690,691,4)([694]690,691,2)([695]693,692,4)([696]693,692,2)([697]694,696,3)([698]9,36,2)([699]8,37,2)([700]7,38,2)([701]698,699,4)([702]698,699,2)([703]701,700,4)([704]701,700,2)([705]702,704,3)([706]6,39,2)([707]5,40,2)([708]4,41,2)([709]706,707,4)([710]706,707,2)([711]709,708,4)([712]709,708,2)([713]710,712,3)([714]3,42,2)([715]2,43,2)([716]714,715,4)([717]714,715,2)([718]716,655,4)([719]716,655,2)([720]717,719,3)([721]660,665,4)([722]660,665,2)([723]721,671,4)([724]721,671,2)([725]722,724,3)([726]679,687,4)([727]679,687,2)([728]727,725,4)([729]727,725,2)([730]728,720,4)([731]728,720,2)([732]729,731,3)([733]713,705,4)([734]713,705,2)([735]733,697,4)([736]733,697,2)([737]734,736,3)([738]689,681,4)([739]689,681,2)([740]738,673,4)([741]738,673,2)([742]739,741,3)([743]667,662,4)([744]667,662,2)([745]743,657,4)([746]743,657,2)([747]744,746,3)([748]20,26,2)([749]19,27,2)([750]18,28,2)([751]748,749,4)([752]748,749,2)([753]751,750,4)([754]751,750,2)([755]752,754,3)([756]17,29,2)([757]16,30,2)([758]15,31,2)([759]756,757,4)([760]756,757,2)([761]759,758,4)([762]759,758,2)([763]760,762,3)([764]14,32,2)([765]13,33,2)([766]12,34,2)([767]764,765,4)([768]764,765,2)([769]767,766,4)([770]767,766,2)([771]768,770,3)([772]11,35,2)([773]10,36,2)([774]9,37,2)([775]772,773,4)([776]772,773,2)([777]775,774,4)([778]775,774,2)([779]776,778,3)([780]8,38,2)([781]7,39,2)([782]6,40,2)([783]780,781,4)([784]780,781,2)([785]783,782,4)([786]783,782,2)([787]784,786,3)([788]5,41,2)([789]4,42,2)([790]3,43,2)([791]788,789,4)([792]788,789,2)([793]791,790,4)([794]791,790,2)([795]792,794,3)([796]2,44,2)([797]796,730,4)([798]796,730,2)([799]797,735,4)([800]797,735,2)([801]798,800,3)([802]740,745,4)([803]740,745,2)([804]802,753,4)([805]802,753,2)([806]803,805,3)([807]761,769,4)([808]761,769,2)([809]808,806,4)([810]808,806,2)([811]809,801,4)([812]809,801,2)([813]810,812,3)([814]795,787,4)([815]795,787,2)([816]814,779,4)([817]814,779,2)([818]815,817,3)([819]771,763,4)([820]771,763,2)([821]819,755,4)([822]819,755,2)([823]820,822,3)([824]747,742,4)([825]747,742,2)([826]824,737,4)([827]824,737,2)([828]825,827,3)([829]19,28,2)([830]18,29,2)([831]732,829,4)([832]732,829,2)([833]831,830,4)([834]831,830,2)([835]832,834,3)([836]17,30,2)([837]16,31,2)([838]15,32,2)([839]836,837,4)([840]836,837,2)([841]839,838,4)([842]839,838,2)([843]840,842,3)([844]14,33,2)([845]13,34,2)([846]12,35,2)([847]844,845,4)([848]844,845,2)([849]847,846,4)([850]847,846,2)([851]848,850,3)([852]11,36,2)([853]10,37,2)([854]9,38,2)([855]852,853,4)([856]852,853,2)([857]855,854,4)([858]855,854,2)([859]856,858,3)([860]8,39,2)([861]7,40,2)([862]6,41,2)([863]860,861,4)([864]860,861,2)([865]863,862,4)([866]863,862,2)([867]864,866,3)([868]5,42,2)([869]4,43,2)([870]3,44,2)([871]868,869,4)([872]868,869,2)([873]871,870,4)([874]871,870,2)([875]872,874,3)([876]2,45,2)([877]876,52,4)([878]876,52,2)([879]877,811,4)([880]877,811,2)([881]878,880,3)([882]816,821,4)([883]816,821,2)([884]882,826,4)([885]882,826,2)([886]883,885,3)([887]833,841,4)([888]833,841,2)([889]887,849,4)([890]887,849,2)([891]888,890,3)([892]891,886,4)([893]891,886,2)([894]892,881,4)([895]892,881,2)([896]893,895,3)([897]875,867,4)([898]875,867,2)([899]897,859,4)([900]897,859,2)([901]898,900,3)([902]851,843,4)([903]851,843,2)([904]902,835,4)([905]902,835,2)([906]903,905,3)([907]828,823,4)([908]828,823,2)([909]907,818,4)([910]907,818,2)([911]908,910,3)([912]18,30,2)([913]17,31,2)([914]813,912,4)([915]813,912,2)([916]914,913,4)([917]914,913,2)([918]915,917,3)([919]16,32,2)([920]15,33,2)([921]14,34,2)([922]919,920,4)([923]919,920,2)([924]922,921,4)([925]922,921,2)([926]923,925,3)([927]13,35,2)([928]12,36,2)([929]11,37,2)([930]927,928,4)([931]927,928,2)([932]930,929,4)([933]930,929,2)([934]931,933,3)([935]10,38,2)([936]9,39,2)([937]8,40,2)([938]935,936,4)([939]935,936,2)([940]938,937,4)([941]938,937,2)([942]939,941,3)([943]7,41,2)([944]6,42,2)([945]5,43,2)([946]943,944,4)([947]943,944,2)([948]946,945,4)([949]946,945,2)([950]947,949,3)([951]4,44,2)([952]3,45,2)([953]2,46,2)([954]951,952,4)([955]951,952,2)([956]954,953,4)([957]954,953,2)([958]955,957,3)([959]58,63,4)([960]58,63,2)([961]959,894,4)([962]959,894,2)([963]960,962,3)([964]899,904,4)([965]899,904,2)([966]964,909,4)([967]964,909,2)([968]965,967,3)([969]916,924,4)([970]916,924,2)([971]969,932,4)([972]969,932,2)([973]970,972,3)([974]973,968,4)([975]973,968,2)([976]974,963,4)([977]974,963,2)([978]975,977,3)([979]958,950,4)([980]958,950,2)([981]979,942,4)([982]979,942,2)([983]980,982,3)([984]934,926,4)([985]934,926,2)([986]984,918,4)([987]984,918,2)([988]985,987,3)([989]911,906,4)([990]911,906,2)([991]989,901,4)([992]989,901,2)([993]990,992,3)([994]17,32,2)([995]16,33,2)([996]896,994,4)([997]896,994,2)([998]996,995,4)([999]996,995,2)([1000]997,999,3)([1001]15,34,2)([1002]14,35,2)([1003]13,36,2)([1004]1001,1002,4)([1005]1001,1002,2)([1006]1004,1003,4)([1007]1004,1003,2)([1008]1005,1007,3)([1009]12,37,2)([1010]11,38,2)([1011]10,39,2)([1012]1009,1010,4)([1013]1009,1010,2)([1014]1012,1011,4)([1015]1012,1011,2)([1016]1013,1015,3)([1017]9,40,2)([1018]8,41,2)([1019]7,42,2)([1020]1017,1018,4)([1021]1017,1018,2)([1022]1020,1019,4)([1023]1020,1019,2)([1024]1021,1023,3)([1025]6,43,2)([1026]5,44,2)([1027]4,45,2)([1028]1025,1026,4)([1029]1025,1026,2)([1030]1028,1027,4)([1031]1028,1027,2)([1032]1029,1031,3)([1033]3,46,2)([1034]2,47,2)([1035]1033,1034,4)([1036]1033,1034,2)([1037]1035,68,4)([1038]1035,68,2)([1039]1036,1038,3)([1040]76,81,4)([1041]76,81,2)([1042]1040,976,4)([1043]1040,976,2)([1044]1041,1043,3)([1045]981,986,4)([1046]981,986,2)([1047]1045,991,4)([1048]1045,991,2)([1049]1046,1048,3)([1050]998,1006,4)([1051]998,1006,2)([1052]1050,1014,4)([1053]1050,1014,2)([1054]1051,1053,3)([1055]1054,1049,4)([1056]1054,1049,2)([1057]1055,1044,4)([1058]1055,1044,2)([1059]1056,1058,3)([1060]1039,1032,4)([1061]1039,1032,2)([1062]1060,1024,4)([1063]1060,1024,2)([1064]1061,1063,3)([1065]1016,1008,4)([1066]1016,1008,2)([1067]1065,1000,4)([1068]1065,1000,2)([1069]1066,1068,3)([1070]993,988,4)([1071]993,988,2)([1072]1070,983,4)([1073]1070,983,2)([1074]1071,1073,3)([1075]16,34,2)([1076]15,35,2)([1077]978,1075,4)([1078]978,1075,2)([1079]1077,1076,4)([1080]1077,1076,2)([1081]1078,1080,3)([1082]14,36,2)([1083]13,37,2)([1084]12,38,2)([1085]1082,1083,4)([1086]1082,1083,2)([1087]1085,1084,4)([1088]1085,1084,2)([1089]1086,1088,3)([1090]11,39,2)([1091]10,40,2)([1092]9,41,2)([1093]1090,1091,4)([1094]1090,1091,2)([1095]1093,1092,4)([1096]1093,1092,2)([1097]1094,1096,3)([1098]8,42,2)([1099]7,43,2)([1100]6,44,2)([1101]1098,1099,4)([1102]1098,1099,2)([1103]1101,1100,4)([1104]1101,1100,2)([1105]1102,1104,3)([1106]5,45,2)([1107]4,46,2)([1108]3,47,2)([1109]1106,1107,4)([1110]1106,1107,2)([1111]1109,1108,4)([1112]1109,1108,2)([1113]1110,1112,3)([1114]2,48,2)([1115]1114,85,4)([1116]1114,85,2)([1117]1115,93,4)([1118]1115,93,2)([1119]1116,1118,3)([1120]101,106,4)([1121]101,106,2)([1122]1120,1057,4)([1123]1120,1057,2)([1124]1121,1123,3)([1125]1062,1067,4)([1126]1062,1067,2)([1127]1125,1072,4)([1128]1125,1072,2)([1129]1126,1128,3)([1130]1079,1087,4)([1131]1079,1087,2)([1132]1130,1095,4)([1133]1130,1095,2)([1134]1131,1133,3)([1135]1134,1129,4)([1136]1134,1129,2)([1137]1135,1124,4)([1138]1135,1124,2)([1139]1136,1138,3)([1140]1119,1113,4)([1141]1119,1113,2)([1142]1140,1105,4)([1143]1140,1105,2)([1144]1141,1143,3)([1145]1097,1089,4)([1146]1097,1089,2)([1147]1145,1081,4)([1148]1145,1081,2)([1149]1146,1148,3)([1150]1074,1069,4)([1151]1074,1069,2)([1152]1150,1064,4)([1153]1150,1064,2)([1154]1151,1153,3)([1155]15,36,2)([1156]14,37,2)([1157]1059,1155,4)([1158]1059,1155,2)([1159]1157,1156,4)([1160]1157,1156,2)([1161]1158,1160,3)([1162]13,38,2)([1163]12,39,2)([1164]11,40,2)([1165]1162,1163,4)([1166]1162,1163,2)([1167]1165,1164,4)([1168]1165,1164,2)([1169]1166,1168,3)([1170]10,41,2)([1171]9,42,2)([1172]8,43,2)([1173]1170,1171,4)([1174]1170,1171,2)([1175]1173,1172,4)([1176]1173,1172,2)([1177]1174,1176,3)([1178]7,44,2)([1179]6,45,2)([1180]5,46,2)([1181]1178,1179,4)([1182]1178,1179,2)([1183]1181,1180,4)([1184]1181,1180,2)([1185]1182,1184,3)([1186]4,47,2)([1187]3,48,2)([1188]2,49,5)([1189]1186,1187,4)([1190]1186,1187,2)([1191]1189,1188,4)([1192]1189,1188,2)([1193]1190,1192,3)([1194]110,117,4)([1195]110,117,2)([1196]1194,125,4)([1197]1194,125,2)([1198]1195,1197,3)([1199]133,138,4)([1200]133,138,2)([1201]1199,1137,4)([1202]1199,1137,2)([1203]1200,1202,3)([1204]1142,1147,4)([1205]1142,1147,2)([1206]1204,1152,4)([1207]1204,1152,2)([1208]1205,1207,3)([1209]1159,1167,4)([1210]1159,1167,2)([1211]1209,1175,4)([1212]1209,1175,2)([1213]1210,1212,3)([1214]1213,1208,4)([1215]1213,1208,2)([1216]1214,1203,4)([1217]1214,1203,2)([1218]1215,1217,3)([1219]1198,1193,4)([1220]1198,1193,2)([1221]1219,1185,4)([1222]1219,1185,2)([1223]1220,1222,3)([1224]1177,1169,4)([1225]1177,1169,2)([1226]1224,1161,4)([1227]1224,1161,2)([1228]1225,1227,3)([1229]1154,1149,4)([1230]1154,1149,2)([1231]1229,1144,4)([1232]1229,1144,2)([1233]1230,1232,3)([1234]16,36,2)([1235]15,37,2)([1236]1139,1234,4)([1237]1139,1234,2)([1238]1236,1235,4)([1239]1236,1235,2)([1240]1237,1239,3)([1241]14,38,2)([1242]13,39,2)([1243]12,40,2)([1244]1241,1242,4)([1245]1241,1242,2)([1246]1244,1243,4)([1247]1244,1243,2)([1248]1245,1247,3)([1249]11,41,2)([1250]10,42,2)([1251]9,43,2)([1252]1249,1250,4)([1253]1249,1250,2)([1254]1252,1251,4)([1255]1252,1251,2)([1256]1253,1255,3)([1257]8,44,2)([1258]7,45,2)([1259]6,46,2)([1260]1257,1258,4)([1261]1257,1258,2)([1262]1260,1259,4)([1263]1260,1259,2)([1264]1261,1263,3)([1265]5,47,2)([1266]4,48,2)([1267]3,49,5)([1268]1265,1266,4)([1269]1265,1266,2)([1270]1268,1267,4)([1271]1268,1267,2)([1272]1269,1271,3)([1273]142,147,4)([1274]142,147,2)([1275]1273,154,4)([1276]1273,154,2)([1277]1274,1276,3)([1278]162,170,4)([1279]162,170,2)([1280]1278,1216,4)([1281]1278,1216,2)([1282]1279,1281,3)([1283]1221,1226,4)([1284]1221,1226,2)([1285]1283,1231,4)([1286]1283,1231,2)([1287]1284,1286,3)([1288]1238,1246,4)([1289]1238,1246,2)([1290]1288,1254,4)([1291]1288,1254,2)([1292]1289,1291,3)([1293]1292,1287,4)([1294]1292,1287,2)([1295]1293,1282,4)([1296]1293,1282,2)([1297]1294,1296,3)([1298]1277,1272,4)([1299]1277,1272,2)([1300]1298,1264,4)([1301]1298,1264,2)([1302]1299,1301,3)([1303]1256,1248,4)([1304]1256,1248,2)([1305]1303,1240,4)([1306]1303,1240,2)([1307]1304,1306,3)([1308]1233,1228,4)([1309]1233,1228,2)([1310]1308,1223,4)([1311]1308,1223,2)([1312]1309,1311,3)([1313]18,35,2)([1314]17,36,2)([1315]1218,1313,4)([1316]1218,1313,2)([1317]1315,1314,4)([1318]1315,1314,2)([1319]1316,1318,3)([1320]16,37,2)([1321]15,38,2)([1322]14,39,2)([1323]1320,1321,4)([1324]1320,1321,2)([1325]1323,1322,4)([1326]1323,1322,2)([1327]1324,1326,3)([1328]13,40,2)([1329]12,41,2)([1330]11,42,2)([1331]1328,1329,4)([1332]1328,1329,2)([1333]1331,1330,4)([1334]1331,1330,2)([1335]1332,1334,3)([1336]10,43,2)([1337]9,44,2)([1338]8,45,2)([1339]1336,1337,4)([1340]1336,1337,2)([1341]1339,1338,4)([1342]1339,1338,2)([1343]1340,1342,3)([1344]7,46,2)([1345]6,47,2)([1346]5,48,2)([1347]1344,1345,4)([1348]1344,1345,2)([1349]1347,1346,4)([1350]1347,1346,2)([1351]1348,1350,3)([1352]4,49,5)([1353]1352,175,4)([1354]1352,175,2)([1355]1353,181,4)([1356]1353,181,2)([1357]1354,1356,3)([1358]189,197,4)([1359]189,197,2)([1360]1358,1295,4)([1361]1358,1295,2)([1362]1359,1361,3)([1363]1300,1305,4)([1364]1300,1305,2)([1365]1363,1310,4)([1366]1363,1310,2)([1367]1364,1366,3)([1368]1317,1325,4)([1369]1317,1325,2)([1370]1368,1333,4)([1371]1368,1333,2)([1372]1369,1371,3)([1373]1372,1367,4)([1374]1372,1367,2)([1375]1373,1362,4)([1376]1373,1362,2)([1377]1374,1376,3)([1378]1357,1351,4)([1379]1357,1351,2)([1380]1378,1343,4)([1381]1378,1343,2)([1382]1379,1381,3)([1383]1335,1327,4)([1384]1335,1327,2)([1385]1383,1319,4)([1386]1383,1319,2)([1387]1384,1386,3)([1388]1312,1307,4)([1389]1312,1307,2)([1390]1388,1302,4)([1391]1388,1302,2)([1392]1389,1391,3)([1393]20,34,2)([1394]19,35,2)([1395]1297,1393,4)([1396]1297,1393,2)([1397]1395,1394,4)([1398]1395,1394,2)([1399]1396,1398,3)([1400]18,36,2)([1401]17,37,2)([1402]16,38,2)([1403]1400,1401,4)([1404]1400,1401,2)([1405]1403,1402,4)([1406]1403,1402,2)([1407]1404,1406,3)([1408]15,39,2)([1409]14,40,2)([1410]13,41,2)([1411]1408,1409,4)([1412]1408,1409,2)([1413]1411,1410,4)([1414]1411,1410,2)([1415]1412,1414,3)([1416]12,42,2)([1417]11,43,2)([1418]10,44,2)([1419]1416,1417,4)([1420]1416,1417,2)([1421]1419,1418,4)([1422]1419,1418,2)([1423]1420,1422,3)([1424]9,45,2)([1425]8,46,2)([1426]7,47,2)([1427]1424,1425,4)([1428]1424,1425,2)([1429]1427,1426,4)([1430]1427,1426,2)([1431]1428,1430,3)([1432]6,48,2)([1433]5,49,5)([1434]1432,1433,4)([1435]1432,1433,2)([1436]1434,202,4)([1437]1434,202,2)([1438]1435,1437,3)([1439]209,217,4)([1440]209,217,2)([1441]1439,1375,4)([1442]1439,1375,2)([1443]1440,1442,3)([1444]1380,1385,4)([1445]1380,1385,2)([1446]1444,1390,4)([1447]1444,1390,2)([1448]1445,1447,3)([1449]1397,1405,4)([1450]1397,1405,2)([1451]1449,1413,4)([1452]1449,1413,2)([1453]1450,1452,3)([1454]1453,1448,4)([1455]1453,1448,2)([1456]1454,1443,4)([1457]1454,1443,2)([1458]1455,1457,3)([1459]1438,1431,4)([1460]1438,1431,2)([1461]1459,1423,4)([1462]1459,1423,2)([1463]1460,1462,3)([1464]1415,1407,4)([1465]1415,1407,2)([1466]1464,1399,4)([1467]1464,1399,2)([1468]1465,1467,3)([1469]1392,1387,4)([1470]1392,1387,2)([1471]1469,1382,4)([1472]1469,1382,2)([1473]1470,1472,3)([1474]22,33,2)([1475]21,34,2)([1476]1377,1474,4)([1477]1377,1474,2)([1478]1476,1475,4)([1479]1476,1475,2)([1480]1477,1479,3)([1481]20,35,2)([1482]19,36,2)([1483]18,37,2)([1484]1481,1482,4)([1485]1481,1482,2)([1486]1484,1483,4)([1487]1484,1483,2)([1488]1485,1487,3)([1489]17,38,2)([1490]16,39,2)([1491]15,40,2)([1492]1489,1490,4)([1493]1489,1490,2)([1494]1492,1491,4)([1495]1492,1491,2)([1496]1493,1495,3)([1497]14,41,2)([1498]13,42,2)([1499]12,43,2)([1500]1497,1498,4)([1501]1497,1498,2)([1502]1500,1499,4)([1503]1500,1499,2)([1504]1501,1503,3)([1505]11,44,2)([1506]10,45,2)([1507]9,46,2)([1508]1505,1506,4)([1509]1505,1506,2)([1510]1508,1507,4)([1511]1508,1507,2)([1512]1509,1511,3)([1513]8,47,2)([1514]7,48,2)([1515]6,49,5)([1516]1513,1514,4)([1517]1513,1514,2)([1518]1516,1515,4)([1519]1516,1515,2)([1520]1517,1519,3)([1521]222,230,4)([1522]222,230,2)([1523]1521,1456,4)([1524]1521,1456,2)([1525]1522,1524,3)([1526]1461,1466,4)([1527]1461,1466,2)([1528]1526,1471,4)([1529]1526,1471,2)([1530]1527,1529,3)([1531]1478,1486,4)([1532]1478,1486,2)([1533]1531,1494,4)([1534]1531,1494,2)([1535]1532,1534,3)([1536]1535,1530,4)([1537]1535,1530,2)([1538]1536,1525,4)([1539]1536,1525,2)([1540]1537,1539,3)([1541]1520,1512,4)([1542]1520,1512,2)([1543]1541,1504,4)([1544]1541,1504,2)([1545]1542,1544,3)([1546]1496,1488,4)([1547]1496,1488,2)([1548]1546,1480,4)([1549]1546,1480,2)([1550]1547,1549,3)([1551]1473,1468,4)([1552]1473,1468,2)([1553]1551,1463,4)([1554]1551,1463,2)([1555]1552,1554,3)([1556]24,32,2)([1557]23,33,2)([1558]1458,1556,4)([1559]1458,1556,2)([1560]1558,1557,4)([1561]1558,1557,2)([1562]1559,1561,3)([1563]22,34,2)([1564]21,35,2)([1565]20,36,2)([1566]1563,1564,4)([1567]1563,1564,2)([1568]1566,1565,4)([1569]1566,1565,2)([1570]1567,1569,3)([1571]19,37,2)([1572]18,38,2)([1573]17,39,2)([1574]1571,1572,4)([1575]1571,1572,2)([1576]1574,1573,4)([1577]1574,1573,2)([1578]1575,1577,3)([1579]16,40,2)([1580]15,41,2)([1581]14,42,2)([1582]1579,1580,4)([1583]1579,1580,2)([1584]1582,1581,4)([1585]1582,1581,2)([1586]1583,1585,3)([1587]13,43,2)([1588]12,44,2)([1589]11,45,2)([1590]1587,1588,4)([1591]1587,1588,2)([1592]1590,1589,4)([1593]1590,1589,2)([1594]1591,1593,3)([1595]10,46,2)([1596]9,47,2)([1597]8,48,2)([1598]1595,1596,4)([1599]1595,1596,2)([1600]1598,1597,4)([1601]1598,1597,2)([1602]1599,1601,3)([1603]7,49,5)([1604]1603,236,4)([1605]1603,236,2)([1606]1604,1538,4)([1607]1604,1538,2)([1608]1605,1607,3)([1609]1543,1548,4)([1610]1543,1548,2)([1611]1609,1553,4)([1612]1609,1553,2)([1613]1610,1612,3)([1614]1560,1568,4)([1615]1560,1568,2)([1616]1614,1576,4)([1617]1614,1576,2)([1618]1615,1617,3)([1619]1618,1613,4)([1620]1618,1613,2)([1621]1619,1608,4)([1622]1619,1608,2)([1623]1620,1622,3)([1624]1602,1594,4)([1625]1602,1594,2)([1626]1624,1586,4)([1627]1624,1586,2)([1628]1625,1627,3)([1629]1578,1570,4)([1630]1578,1570,2)([1631]1629,1562,4)([1632]1629,1562,2)([1633]1630,1632,3)([1634]1555,1550,4)([1635]1555,1550,2)([1636]1634,1545,4)([1637]1634,1545,2)([1638]1635,1637,3)([1639]25,32,5)([1640]1540,238,4)([1641]1540,238,2)([1642]1640,1639,4)([1643]1640,1639,2)([1644]1641,1643,3)([1645]24,33,2)([1646]23,34,2)([1647]22,35,2)([1648]1645,1646,4)([1649]1645,1646,2)([1650]1648,1647,4)([1651]1648,1647,2)([1652]1649,1651,3)([1653]21,36,2)([1654]20,37,2)([1655]19,38,2)([1656]1653,1654,4)([1657]1653,1654,2)([1658]1656,1655,4)([1659]1656,1655,2)([1660]1657,1659,3)([1661]18,39,2)([1662]17,40,2)([1663]16,41,2)([1664]1661,1662,4)([1665]1661,1662,2)([1666]1664,1663,4)([1667]1664,1663,2)([1668]1665,1667,3)([1669]15,42,2)([1670]14,43,2)([1671]13,44,2)([1672]1669,1670,4)([1673]1669,1670,2)([1674]1672,1671,4)([1675]1672,1671,2)([1676]1673,1675,3)([1677]12,45,2)([1678]11,46,2)([1679]10,47,2)([1680]1677,1678,4)([1681]1677,1678,2)([1682]1680,1679,4)([1683]1680,1679,2)([1684]1681,1683,3)([1685]9,48,2)([1686]8,49,5)([1687]1685,1686,4)([1688]1685,1686,2)([1689]1687,1621,4)([1690]1687,1621,2)([1691]1688,1690,3)([1692]1626,1631,4)([1693]1626,1631,2)([1694]1692,1636,4)([1695]1692,1636,2)([1696]1693,1695,3)([1697]1642,1650,4)([1698]1642,1650,2)([1699]1697,1658,4)([1700]1697,1658,2)([1701]1698,1700,3)([1702]1701,1696,4)([1703]1701,1696,2)([1704]1702,1691,4)([1705]1702,1691,2)([1706]1703,1705,3)([1707]1684,1676,4)([1708]1684,1676,2)([1709]1707,1668,4)([1710]1707,1668,2)([1711]1708,1710,3)([1712]1660,1652,4)([1713]1660,1652,2)([1714]1712,1644,4)([1715]1712,1644,2)([1716]1713,1715,3)([1717]1638,1633,4)([1718]1638,1633,2)([1719]1717,1628,4)([1720]1717,1628,2)([1721]1718,1720,3)([1722]25,33,5)([1723]24,34,2)([1724]1623,1722,4)([1725]1623,1722,2)([1726]1724,1723,4)([1727]1724,1723,2)([1728]1725,1727,3)([1729]23,35,2)([1730]22,36,2)([1731]21,37,2)([1732]1729,1730,4)([1733]1729,1730,2)([1734]1732,1731,4)([1735]1732,1731,2)([1736]1733,1735,3)([1737]20,38,2)([1738]19,39,2)([1739]18,40,2)([1740]1737,1738,4)([1741]1737,1738,2)([1742]1740,1739,4)([1743]1740,1739,2)([1744]1741,1743,3)([1745]17,41,2)([1746]16,42,2)([1747]15,43,2)([1748]1745,1746,4)([1749]1745,1746,2)([1750]1748,1747,4)([1751]1748,1747,2)([1752]1749,1751,3)([1753]14,44,2)([1754]13,45,2)([1755]12,46,2)([1756]1753,1754,4)([1757]1753,1754,2)([1758]1756,1755,4)([1759]1756,1755,2)([1760]1757,1759,3)([1761]11,47,2)([1762]10,48,2)([1763]9,49,5)([1764]1761,1762,4)([1765]1761,1762,2)([1766]1764,1763,4)([1767]1764,1763,2)([1768]1765,1767,3)([1769]1704,1709,4)([1770]1704,1709,2)([1771]1769,1714,4)([1772]1769,1714,2)([1773]1770,1772,3)([1774]1719,1726,4)([1775]1719,1726,2)([1776]1774,1734,4)([1777]1774,1734,2)([1778]1775,1777,3)([1779]1778,1773,4)([1780]1778,1773,2)([1781]1779,1768,4)([1782]1779,1768,2)([1783]1780,1782,3)([1784]1760,1752,4)([1785]1760,1752,2)([1786]1784,1744,4)([1787]1784,1744,2)([1788]1785,1787,3)([1789]1736,1728,4)([1790]1736,1728,2)([1791]1789,1721,4)([1792]1789,1721,2)([1793]1790,1792,3)([1794]1716,1711,4)([1795]1716,1711,2)([1796]1794,1706,4)([1797]1794,1706,2)([1798]1795,1797,3)([1799]25,34,5)([1800]24,35,2)([1801]23,36,2)([1802]1799,1800,4)([1803]1799,1800,2)([1804]1802,1801,4)([1805]1802,1801,2)([1806]1803,1805,3)([1807]22,37,2)([1808]21,38,2)([1809]20,39,2)([1810]1807,1808,4)([1811]1807,1808,2)([1812]1810,1809,4)([1813]1810,1809,2)([1814]1811,1813,3)([1815]19,40,2)([1816]18,41,2)([1817]17,42,2)([1818]1815,1816,4)([1819]1815,1816,2)([1820]1818,1817,4)([1821]1818,1817,2)([1822]1819,1821,3)([1823]16,43,2)([1824]15,44,2)([1825]14,45,2)([1826]1823,1824,4)([1827]1823,1824,2)([1828]1826,1825,4)([1829]1826,1825,2)([1830]1827,1829,3)([1831]13,46,2)([1832]12,47,2)([1833]11,48,2)([1834]1831,1832,4)([1835]1831,1832,2)([1836]1834,1833,4)([1837]1834,1833,2)([1838]1835,1837,3)([1839]10,49,5)([1840]1839,1781,4)([1841]1839,1781,2)([1842]1840,1786,4)([1843]1840,1786,2)([1844]1841,1843,3)([1845]1791,1796,4)([1846]1791,1796,2)([1847]1845,1804,4)([1848]1845,1804,2)([1849]1846,1848,3)([1850]1849,1844,4)([1851]1849,1844,2)([1852]1850,1838,4)([1853]1850,1838,2)([1854]1851,1853,3)([1855]1830,1822,4)([1856]1830,1822,2)([1857]1855,1814,4)([1858]1855,1814,2)([1859]1856,1858,3)([1860]1806,1798,4)([1861]1806,1798,2)([1862]1860,1793,4)([1863]1860,1793,2)([1864]1861,1863,3)([1865]25,35,5)([1866]1788,1783,4)([1867]1788,1783,2)([1868]1866,1865,4)([1869]1866,1865,2)([1870]1867,1869,3)([1871]24,36,2)([1872]23,37,2)([1873]22,38,2)([1874]1871,1872,4)([1875]1871,1872,2)([1876]1874,1873,4)([1877]1874,1873,2)([1878]1875,1877,3)([1879]21,39,2)([1880]20,40,2)([1881]19,41,2)([1882]1879,1880,4)([1883]1879,1880,2)([1884]1882,1881,4)([1885]1882,1881,2)([1886]1883,1885,3)([1887]18,42,2)([1888]17,43,2)([1889]16,44,2)([1890]1887,1888,4)([1891]1887,1888,2)([1892]1890,1889,4)([1893]1890,1889,2)([1894]1891,1893,3)([1895]15,45,2)([1896]14,46,2)([1897]13,47,2)([1898]1895,1896,4)([1899]1895,1896,2)([1900]1898,1897,4)([1901]1898,1897,2)([1902]1899,1901,3)([1903]12,48,2)([1904]11,49,5)([1905]1903,1904,4)([1906]1903,1904,2)([1907]1905,1852,4)([1908]1905,1852,2)([1909]1906,1908,3)([1910]1857,1862,4)([1911]1857,1862,2)([1912]1910,1868,4)([1913]1910,1868,2)([1914]1911,1913,3)([1915]1914,1909,4)([1916]1914,1909,2)([1917]1915,1902,4)([1918]1915,1902,2)([1919]1916,1918,3)([1920]1894,1886,4)([1921]1894,1886,2)([1922]1920,1878,4)([1923]1920,1878,2)([1924]1921,1923,3)([1925]1870,1864,4)([1926]1870,1864,2)([1927]1925,1859,4)([1928]1925,1859,2)([1929]1926,1928,3)([1930]25,36,5)([1931]24,37,2)([1932]1854,1930,4)([1933]1854,1930,2)([1934]1932,1931,4)([1935]1932,1931,2)([1936]1933,1935,3)([1937]23,38,2)([1938]22,39,2)([1939]21,40,2)([1940]1937,1938,4)([1941]1937,1938,2)([1942]1940,1939,4)([1943]1940,1939,2)([1944]1941,1943,3)([1945]20,41,2)([1946]19,42,2)([1947]18,43,2)([1948]1945,1946,4)([1949]1945,1946,2)([1950]1948,1947,4)([1951]1948,1947,2)([1952]1949,1951,3)([1953]17,44,2)([1954]16,45,2)([1955]15,46,2)([1956]1953,1954,4)([1957]1953,1954,2)([1958]1956,1955,4)([1959]1956,1955,2)([1960]1957,1959,3)([1961]14,47,2)([1962]13,48,2)([1963]12,49,5)([1964]1961,1962,4)([1965]1961,1962,2)([1966]1964,1963,4)([1967]1964,1963,2)([1968]1965,1967,3)([1969]1917,1922,4)([1970]1917,1922,2)([1971]1969,1927,4)([1972]1969,1927,2)([1973]1970,1972,3)([1974]1973,1968,4)([1975]1973,1968,2)([1976]1974,1960,4)([1977]1974,1960,2)([1978]1975,1977,3)([1979]1952,1944,4)([1980]1952,1944,2)([1981]1979,1936,4)([1982]1979,1936,2)([1983]1980,1982,3)([1984]1929,1924,4)([1985]1929,1924,2)([1986]1984,1919,4)([1987]1984,1919,2)([1988]1985,1987,3)([1989]25,37,5)([1990]24,38,2)([1991]23,39,2)([1992]1989,1990,4)([1993]1989,1990,2)([1994]1992,1991,4)([1995]1992,1991,2)([1996]1993,1995,3)([1997]22,40,2)([1998]21,41,2)([1999]20,42,2)([2000]1997,1998,4)([2001]1997,1998,2)([2002]2000,1999,4)([2003]2000,1999,2)([2004]2001,2003,3)([2005]19,43,2)([2006]18,44,2)([2007]17,45,2)([2008]2005,2006,4)([2009]2005,2006,2)([2010]2008,2007,4)([2011]2008,2007,2)([2012]2009,2011,3)([2013]16,46,2)([2014]15,47,2)([2015]14,48,2)([2016]2013,2014,4)([2017]2013,2014,2)([2018]2016,2015,4)([2019]2016,2015,2)([2020]2017,2019,3)([2021]13,49,5)([2022]2021,1976,4)([2023]2021,1976,2)([2024]2022,1981,4)([2025]2022,1981,2)([2026]2023,2025,3)([2027]2026,2020,4)([2028]2026,2020,2)([2029]2027,2012,4)([2030]2027,2012,2)([2031]2028,2030,3)([2032]2004,1996,4)([2033]2004,1996,2)([2034]2032,1988,4)([2035]2032,1988,2)([2036]2033,2035,3)([2037]25,38,5)([2038]1983,1978,4)([2039]1983,1978,2)([2040]2038,2037,4)([2041]2038,2037,2)([2042]2039,2041,3)([2043]24,39,2)([2044]23,40,2)([2045]22,41,2)([2046]2043,2044,4)([2047]2043,2044,2)([2048]2046,2045,4)([2049]2046,2045,2)([2050]2047,2049,3)([2051]21,42,2)([2052]20,43,2)([2053]19,44,2)([2054]2051,2052,4)([2055]2051,2052,2)([2056]2054,2053,4)([2057]2054,2053,2)([2058]2055,2057,3)([2059]18,45,2)([2060]17,46,2)([2061]16,47,2)([2062]2059,2060,4)([2063]2059,2060,2)([2064]2062,2061,4)([2065]2062,2061,2)([2066]2063,2065,3)([2067]15,48,2)([2068]14,49,5)([2069]2067,2068,4)([2070]2067,2068,2)([2071]2069,2029,4)([2072]2069,2029,2)([2073]2070,2072,3)([2074]2073,2066,4)([2075]2073,2066,2)([2076]2074,2058,4)([2077]2074,2058,2)([2078]2075,2077,3)([2079]2050,2042,4)([2080]2050,2042,2)([2081]2079,2036,4)([2082]2079,2036,2)([2083]2080,2082,3)([2084]25,39,5)([2085]24,40,2)([2086]2031,2084,4)([2087]2031,2084,2)([2088]2086,2085,4)([2089]2086,2085,2)([2090]2087,2089,3)([2091]23,41,2)([2092]22,42,2)([2093]21,43,2)([2094]2091,2092,4)([2095]2091,2092,2)([2096]2094,2093,4)([2097]2094,2093,2)([2098]2095,2097,3)([2099]20,44,2)([2100]19,45,2)([2101]18,46,2)([2102]2099,2100,4)([2103]2099,2100,2)([2104]2102,2101,4)([2105]2102,2101,2)([2106]2103,2105,3)([2107]17,47,2)([2108]16,48,2)([2109]15,49,5)([2110]2107,2108,4)([2111]2107,2108,2)([2112]2110,2109,4)([2113]2110,2109,2)([2114]2111,2113,3)([2115]2114,2106,4)([2116]2114,2106,2)([2117]2115,2098,4)([2118]2115,2098,2)([2119]2116,2118,3)([2120]2090,2083,4)([2121]2090,2083,2)([2122]2120,2078,4)([2123]2120,2078,2)([2124]2121,2123,3)([2125]25,40,5)([2126]24,41,2)([2127]23,42,2)([2128]2125,2126,4)([2129]2125,2126,2)([2130]2128,2127,4)([2131]2128,2127,2)([2132]2129,2131,3)([2133]22,43,2)([2134]21,44,2)([2135]20,45,2)([2136]2133,2134,4)([2137]2133,2134,2)([2138]2136,2135,4)([2139]2136,2135,2)([2140]2137,2139,3)([2141]19,46,2)([2142]18,47,2)([2143]17,48,2)([2144]2141,2142,4)([2145]2141,2142,2)([2146]2144,2143,4)([2147]2144,2143,2)([2148]2145,2147,3)([2149]2148,2140,4)([2150]2148,2140,2)([2151]2149,2132,4)([2152]2149,2132,2)([2153]2150,2152,3)([2154]25,41,5)([2155]2124,2119,4)([2156]2124,2119,2)([2157]2155,2154,4)([2158]2155,2154,2)([2159]2156,2158,3)([2160]24,42,2)([2161]23,43,2)([2162]22,44,2)([2163]2160,2161,4)([2164]2160,2161,2)([2165]2163,2162,4)([2166]2163,2162,2)([2167]2164,2166,3)([2168]21,45,2)([2169]20,46,2)([2170]19,47,2)([2171]2168,2169,4)([2172]2168,2169,2)([2173]2171,2170,4)([2174]2171,2170,2)([2175]2172,2174,3)([2176]2175,2167,4)([2177]2175,2167,2)([2178]2176,2159,4)([2179]2176,2159,2)([2180]2177,2179,3)([2181]25,42,5)([2182]24,43,2)([2183]2153,2181,4)([2184]2153,2181,2)([2185]2183,2182,4)([2186]2183,2182,2)([2187]2184,2186,3)([2188]23,44,2)([2189]22,45,2)([2190]21,46,2)([2191]2188,2189,4)([2192]2188,2189,2)([2193]2191,2190,4)([2194]2191,2190,2)([2195]2192,2194,3)([2196]2195,2187,4)([2197]2195,2187,2)([2198]2196,2180,4)([2199]2196,2180,2)([2200]2197,2199,3)([2201]25,43,5)([2202]24,44,2)([2203]23,45,2)([2204]2201,2202,4)([2205]2201,2202,2)([2206]2204,2203,4)([2207]2204,2203,2)([2208]2205,2207,3)([2209]25,44,5)([2210]2208,2200,4)([2211]2208,2200,2)([2212]2210,2209,4)([2213]2210,2209,2)([2214]2211,2213,3)([2215]6,26,2)([2216]5,27,2)([2217]2215,2216,4)([2218]2215,2216,2)([2219]7,26,2)([2220]6,27,2)([2221]2218,2219,4)([2222]2218,2219,2)([2223]2221,2220,4)([2224]2221,2220,2)([2225]2222,2224,3)([2226]5,28,2)([2227]4,29,2)([2228]2226,2227,4)([2229]2226,2227,2)([2230]6,28,2)([2231]2229,2225,4)([2232]2229,2225,2)([2233]2231,2230,4)([2234]2231,2230,2)([2235]2232,2234,3)([2236]5,29,2)([2237]4,30,2)([2238]3,31,2)([2239]2236,2237,4)([2240]2236,2237,2)([2241]2239,2238,4)([2242]2239,2238,2)([2243]2240,2242,3)([2244]5,30,2)([2245]2243,2235,4)([2246]2243,2235,2)([2247]2245,2244,4)([2248]2245,2244,2)([2249]2246,2248,3)([2250]4,31,2)([2251]3,32,2)([2252]2,33,2)([2253]2250,2251,4)([2254]2250,2251,2)([2255]2253,2252,4)([2256]2253,2252,2)([2257]2254,2256,3)([2258]4,32,2)([2259]2257,2249,4)([2260]2257,2249,2)([2261]2259,2258,4)([2262]2259,2258,2)([2263]2260,2262,3)([2264]3,33,2)([2265]2,34,2)([2266]2264,2265,4)([2267]2264,2265,2)([2268]2266,257,4)([2269]2266,257,2)([2270]2267,2269,3)([2271]3,34,2)([2272]2270,2263,4)([2273]2270,2263,2)([2274]2272,2271,4)([2275]2272,2271,2)([2276]2273,2275,3)([2277]2,35,2)([2278]2277,274,4)([2279]2277,274,2)([2280]2278,282,4)([2281]2278,282,2)([2282]2279,2281,3)([2283]2,36,2)([2284]2282,2276,4)([2285]2282,2276,2)([2286]2284,2283,4)([2287]2284,2283,2)([2288]2285,2287,3)([2289]299,306,4)([2290]299,306,2)([2291]2289,314,4)([2292]2289,314,2)([2293]2290,2292,3)([2294]2293,2288,4)([2295]2293,2288,2)([2296]2294,331,4)([2297]2294,331,2)([2298]2295,2297,3)([2299]337,345,4)([2300]337,345,2)([2301]2299,353,4)([2302]2299,353,2)([2303]2300,2302,3)([2304]2303,2298,4)([2305]2303,2298,2)([2306]2304,375,4)([2307]2304,375,2)([2308]2305,2307,3)([2309]383,391,4)([2310]383,391,2)([2311]2309,399,4)([2312]2309,399,2)([2313]2310,2312,3)([2314]2313,2308,4)([2315]2313,2308,2)([2316]2314,427,4)([2317]2314,427,2)([2318]2315,2317,3)([2319]435,443,4)([2320]435,443,2)([2321]2319,451,4)([2322]2319,451,2)([2323]2320,2322,3)([2324]2323,2318,4)([2325]2323,2318,2)([2326]2324,485,4)([2327]2324,485,2)([2328]2325,2327,3)([2329]493,501,4)([2330]493,501,2)([2331]2329,509,4)([2332]2329,509,2)([2333]2330,2332,3)([2334]2333,2328,4)([2335]2333,2328,2)([2336]2334,549,4)([2337]2334,549,2)([2338]2335,2337,3)([2339]557,565,4)([2340]557,565,2)([2341]2339,573,4)([2342]2339,573,2)([2343]2340,2342,3)([2344]2343,2338,4)([2345]2343,2338,2)([2346]2344,619,4)([2347]2344,619,2)([2348]2345,2347,3)([2349]627,635,4)([2350]627,635,2)([2351]2349,643,4)([2352]2349,643,2)([2353]2350,2352,3)([2354]2353,2348,4)([2355]2353,2348,2)([2356]2354,695,4)([2357]2354,695,2)([2358]2355,2357,3)([2359]703,711,4)([2360]703,711,2)([2361]2359,718,4)([2362]2359,718,2)([2363]2360,2362,3)([2364]2363,2358,4)([2365]2363,2358,2)([2366]2364,777,4)([2367]2364,777,2)([2368]2365,2367,3)([2369]785,793,4)([2370]785,793,2)([2371]2369,799,4)([2372]2369,799,2)([2373]2370,2372,3)([2374]2373,2368,4)([2375]2373,2368,2)([2376]2374,857,4)([2377]2374,857,2)([2378]2375,2377,3)([2379]865,873,4)([2380]865,873,2)([2381]2379,879,4)([2382]2379,879,2)([2383]2380,2382,3)([2384]2383,2378,4)([2385]2383,2378,2)([2386]2384,940,4)([2387]2384,940,2)([2388]2385,2387,3)([2389]948,956,4)([2390]948,956,2)([2391]2389,961,4)([2392]2389,961,2)([2393]2390,2392,3)([2394]2393,2388,4)([2395]2393,2388,2)([2396]2394,1022,4)([2397]2394,1022,2)([2398]2395,2397,3)([2399]1030,1037,4)([2400]1030,1037,2)([2401]2399,1042,4)([2402]2399,1042,2)([2403]2400,2402,3)([2404]2403,2398,4)([2405]2403,2398,2)([2406]2404,1103,4)([2407]2404,1103,2)([2408]2405,2407,3)([2409]1111,1117,4)([2410]1111,1117,2)([2411]2409,1122,4)([2412]2409,1122,2)([2413]2410,2412,3)([2414]2413,2408,4)([2415]2413,2408,2)([2416]2414,1183,4)([2417]2414,1183,2)([2418]2415,2417,3)([2419]1191,1196,4)([2420]1191,1196,2)([2421]2419,1201,4)([2422]2419,1201,2)([2423]2420,2422,3)([2424]2423,2418,4)([2425]2423,2418,2)([2426]2424,1262,4)([2427]2424,1262,2)([2428]2425,2427,3)([2429]1270,1275,4)([2430]1270,1275,2)([2431]2429,1280,4)([2432]2429,1280,2)([2433]2430,2432,3)([2434]2433,2428,4)([2435]2433,2428,2)([2436]2434,1341,4)([2437]2434,1341,2)([2438]2435,2437,3)([2439]1349,1355,4)([2440]1349,1355,2)([2441]2439,1360,4)([2442]2439,1360,2)([2443]2440,2442,3)([2444]2443,2438,4)([2445]2443,2438,2)([2446]2444,1421,4)([2447]2444,1421,2)([2448]2445,2447,3)([2449]1429,1436,4)([2450]1429,1436,2)([2451]2449,1441,4)([2452]2449,1441,2)([2453]2450,2452,3)([2454]2453,2448,4)([2455]2453,2448,2)([2456]2454,1502,4)([2457]2454,1502,2)([2458]2455,2457,3)([2459]1510,1518,4)([2460]1510,1518,2)([2461]2459,1523,4)([2462]2459,1523,2)([2463]2460,2462,3)([2464]2463,2458,4)([2465]2463,2458,2)([2466]2464,1584,4)([2467]2464,1584,2)([2468]2465,2467,3)([2469]1592,1600,4)([2470]1592,1600,2)([2471]2469,1606,4)([2472]2469,1606,2)([2473]2470,2472,3)([2474]2473,2468,4)([2475]2473,2468,2)([2476]2474,1666,4)([2477]2474,1666,2)([2478]2475,2477,3)([2479]1674,1682,4)([2480]1674,1682,2)([2481]2479,1689,4)([2482]2479,1689,2)([2483]2480,2482,3)([2484]2483,2478,4)([2485]2483,2478,2)([2486]2484,1742,4)([2487]2484,1742,2)([2488]2485,2487,3)([2489]1750,1758,4)([2490]1750,1758,2)([2491]2489,1766,4)([2492]2489,1766,2)([2493]2490,2492,3)([2494]2493,2488,4)([2495]2493,2488,2)([2496]2494,1812,4)([2497]2494,1812,2)([2498]2495,2497,3)([2499]1820,1828,4)([2500]1820,1828,2)([2501]2499,1836,4)([2502]2499,1836,2)([2503]2500,2502,3)([2504]2503,2498,4)([2505]2503,2498,2)([2506]2504,1876,4)([2507]2504,1876,2)([2508]2505,2507,3)([2509]1884,1892,4)([2510]1884,1892,2)([2511]2509,1900,4)([2512]2509,1900,2)([2513]2510,2512,3)([2514]2513,2508,4)([2515]2513,2508,2)([2516]2514,1934,4)([2517]2514,1934,2)([2518]2515,2517,3)([2519]1942,1950,4)([2520]1942,1950,2)([2521]2519,1958,4)([2522]2519,1958,2)([2523]2520,2522,3)([2524]2523,2518,4)([2525]2523,2518,2)([2526]2524,1986,4)([2527]2524,1986,2)([2528]2525,2527,3)([2529]1994,2002,4)([2530]1994,2002,2)([2531]2529,2010,4)([2532]2529,2010,2)([2533]2530,2532,3)([2534]2533,2528,4)([2535]2533,2528,2)([2536]2534,2034,4)([2537]2534,2034,2)([2538]2535,2537,3)([2539]2040,2048,4)([2540]2040,2048,2)([2541]2539,2056,4)([2542]2539,2056,2)([2543]2540,2542,3)([2544]2543,2538,4)([2545]2543,2538,2)([2546]2544,2076,4)([2547]2544,2076,2)([2548]2545,2547,3)([2549]2081,2088,4)([2550]2081,2088,2)([2551]2549,2096,4)([2552]2549,2096,2)([2553]2550,2552,3)([2554]16,49,5)([2555]2553,2548,4)([2556]2553,2548,2)([2557]2555,2554,4)([2558]2555,2554,2)([2559]2556,2558,3)([2560]2117,2122,4)([2561]2117,2122,2)([2562]2560,2130,4)([2563]2560,2130,2)([2564]2561,2563,3)([2565]18,48,2)([2566]2564,2559,4)([2567]2564,2559,2)([2568]2566,2565,4)([2569]2566,2565,2)([2570]2567,2569,3)([2571]17,49,5)([2572]2571,2151,4)([2573]2571,2151,2)([2574]2572,2157,4)([2575]2572,2157,2)([2576]2573,2575,3)([2577]20,47,2)([2578]2576,2570,4)([2579]2576,2570,2)([2580]2578,2577,4)([2581]2578,2577,2)([2582]2579,2581,3)([2583]19,48,2)([2584]18,49,5)([2585]2583,2584,4)([2586]2583,2584,2)([2587]2585,2178,4)([2588]2585,2178,2)([2589]2586,2588,3)([2590]22,46,2)([2591]2589,2582,4)([2592]2589,2582,2)([2593]2591,2590,4)([2594]2591,2590,2)([2595]2592,2594,3)([2596]21,47,2)([2597]20,48,2)([2598]19,49,5)([2599]2596,2597,4)([2600]2596,2597,2)([2601]2599,2598,4)([2602]2599,2598,2)([2603]2600,2602,3)([2604]24,45,2)([2605]2603,2595,4)([2606]2603,2595,2)([2607]2605,2604,4)([2608]2605,2604,2)([2609]2606,2608,3)([2610]23,46,2)([2611]22,47,2)([2612]21,48,2)([2613]2610,2611,4)([2614]2610,2611,2)([2615]2613,2612,4)([2616]2613,2612,2)([2617]2614,2616,3)([2618]2617,2609,4)([2619]2617,2609,2)([2620]2618,2214,4)([2621]2618,2214,2)([2622]2619,2621,3)([2623]25,45,5)([2624]24,46,2)([2625]23,47,2)([2626]2623,2624,4)([2627]2623,2624,2)([2628]2626,2625,4)([2629]2626,2625,2)([2630]2627,2629,3)([2631]25,46,5)([2632]2630,2622,4)([2633]2630,2622,2)([2634]2632,2631,4)([2635]2632,2631,2)([2636]2633,2635,3)([2637]5,26,2)([2638]4,27,2)([2639]2637,2638,4)([2640]2637,2638,2)([2641]4,28,2)([2642]3,29,2)([2643]2640,2641,4)([2644]2640,2641,2)([2645]2643,2642,4)([2646]2643,2642,2)([2647]2644,2646,3)([2648]3,30,2)([2649]2,31,2)([2650]2647,2648,4)([2651]2647,2648,2)([2652]2650,2649,4)([2653]2650,2649,2)([2654]2651,2653,3)([2655]2,32,2)([2656]2654,2655,4)([2657]2654,2655,2)([2658]2656,241,4)([2659]2656,241,2)([2660]2657,2659,3)([2661]2660,247,4)([2662]2660,247,2)([2663]2661,252,4)([2664]2661,252,2)([2665]2662,2664,3)([2666]2665,265,4)([2667]2665,265,2)([2668]2666,270,4)([2669]2666,270,2)([2670]2667,2669,3)([2671]2670,290,4)([2672]2670,290,2)([2673]2671,295,4)([2674]2671,295,2)([2675]2672,2674,3)([2676]2675,322,4)([2677]2675,322,2)([2678]2676,327,4)([2679]2676,327,2)([2680]2677,2679,3)([2681]2680,361,4)([2682]2680,361,2)([2683]2681,366,4)([2684]2681,366,2)([2685]2682,2684,3)([2686]2685,407,4)([2687]2685,407,2)([2688]2686,411,4)([2689]2686,411,2)([2690]2687,2689,3)([2691]2690,459,4)([2692]2690,459,2)([2693]2691,462,4)([2694]2691,462,2)([2695]2692,2694,3)([2696]2695,516,4)([2697]2695,516,2)([2698]2696,519,4)([2699]2696,519,2)([2700]2697,2699,3)([2701]2700,579,4)([2702]2700,579,2)([2703]2701,582,4)([2704]2701,582,2)([2705]2702,2704,3)([2706]2705,648,4)([2707]2705,648,2)([2708]2706,651,4)([2709]2706,651,2)([2710]2707,2709,3)([2711]2710,723,4)([2712]2710,723,2)([2713]2711,726,4)([2714]2711,726,2)([2715]2712,2714,3)([2716]2715,804,4)([2717]2715,804,2)([2718]2716,807,4)([2719]2716,807,2)([2720]2717,2719,3)([2721]2720,884,4)([2722]2720,884,2)([2723]2721,889,4)([2724]2721,889,2)([2725]2722,2724,3)([2726]2725,966,4)([2727]2725,966,2)([2728]2726,971,4)([2729]2726,971,2)([2730]2727,2729,3)([2731]2730,1047,4)([2732]2730,1047,2)([2733]2731,1052,4)([2734]2731,1052,2)([2735]2732,2734,3)([2736]2735,1127,4)([2737]2735,1127,2)([2738]2736,1132,4)([2739]2736,1132,2)([2740]2737,2739,3)([2741]2740,1206,4)([2742]2740,1206,2)([2743]2741,1211,4)([2744]2741,1211,2)([2745]2742,2744,3)([2746]2745,1285,4)([2747]2745,1285,2)([2748]2746,1290,4)([2749]2746,1290,2)([2750]2747,2749,3)([2751]2750,1365,4)([2752]2750,1365,2)([2753]2751,1370,4)([2754]2751,1370,2)([2755]2752,2754,3)([2756]2755,1446,4)([2757]2755,1446,2)([2758]2756,1451,4)([2759]2756,1451,2)([2760]2757,2759,3)([2761]2760,1528,4)([2762]2760,1528,2)([2763]2761,1533,4)([2764]2761,1533,2)([2765]2762,2764,3)([2766]2765,1611,4)([2767]2765,1611,2)([2768]2766,1616,4)([2769]2766,1616,2)([2770]2767,2769,3)([2771]2770,1694,4)([2772]2770,1694,2)([2773]2771,1699,4)([2774]2771,1699,2)([2775]2772,2774,3)([2776]2775,1771,4)([2777]2775,1771,2)([2778]2776,1776,4)([2779]2776,1776,2)([2780]2777,2779,3)([2781]2780,1842,4)([2782]2780,1842,2)([2783]2781,1847,4)([2784]2781,1847,2)([2785]2782,2784,3)([2786]2785,1907,4)([2787]2785,1907,2)([2788]2786,1912,4)([2789]2786,1912,2)([2790]2787,2789,3)([2791]2790,1966,4)([2792]2790,1966,2)([2793]2791,1971,4)([2794]2791,1971,2)([2795]2792,2794,3)([2796]2795,2018,4)([2797]2795,2018,2)([2798]2796,2024,4)([2799]2796,2024,2)([2800]2797,2799,3)([2801]2800,2064,4)([2802]2800,2064,2)([2803]2801,2071,4)([2804]2801,2071,2)([2805]2802,2804,3)([2806]2805,2104,4)([2807]2805,2104,2)([2808]2806,2112,4)([2809]2806,2112,2)([2810]2807,2809,3)([2811]2810,2138,4)([2812]2810,2138,2)([2813]2811,2146,4)([2814]2811,2146,2)([2815]2812,2814,3)([2816]2815,2165,4)([2817]2815,2165,2)([2818]2816,2173,4)([2819]2816,2173,2)([2820]2817,2819,3)([2821]2820,2185,4)([2822]2820,2185,2)([2823]2821,2193,4)([2824]2821,2193,2)([2825]2822,2824,3)([2826]2825,2198,4)([2827]2825,2198,2)([2828]2826,2206,4)([2829]2826,2206,2)([2830]2827,2829,3)([2831]20,49,5)([2832]2830,2831,4)([2833]2830,2831,2)([2834]2832,2212,4)([2835]2832,2212,2)([2836]2833,2835,3)([2837]22,48,2)([2838]21,49,5)([2839]2836,2837,4)([2840]2836,2837,2)([2841]2839,2838,4)([2842]2839,2838,2)([2843]2840,2842,3)([2844]24,47,2)([2845]23,48,2)([2846]2843,2844,4)([2847]2843,2844,2)([2848]2846,2845,4)([2849]2846,2845,2)([2850]2847,2849,3)([2851]25,47,5)([2852]2850,2636,4)([2853]2850,2636,2)([2854]2852,2851,4)([2855]2852,2851,2)([2856]2853,2855,3)([2857]4,26,2)([2858]3,27,2)([2859]2857,2858,4)([2860]2857,2858,2)([2861]3,28,2)([2862]2,29,2)([2863]2860,2861,4)([2864]2860,2861,2)([2865]2863,2862,4)([2866]2863,2862,2)([2867]2864,2866,3)([2868]2,30,2)([2869]2867,2868,4)([2870]2867,2868,2)([2871]2869,2217,4)([2872]2869,2217,2)([2873]2870,2872,3)([2874]2873,2223,4)([2875]2873,2223,2)([2876]2874,2228,4)([2877]2874,2228,2)([2878]2875,2877,3)([2879]2878,2233,4)([2880]2878,2233,2)([2881]2879,2241,4)([2882]2879,2241,2)([2883]2880,2882,3)([2884]2883,2247,4)([2885]2883,2247,2)([2886]2884,2255,4)([2887]2884,2255,2)([2888]2885,2887,3)([2889]2888,2261,4)([2890]2888,2261,2)([2891]2889,2268,4)([2892]2889,2268,2)([2893]2890,2892,3)([2894]2893,2274,4)([2895]2893,2274,2)([2896]2894,2280,4)([2897]2894,2280,2)([2898]2895,2897,3)([2899]2898,2286,4)([2900]2898,2286,2)([2901]2899,2291,4)([2902]2899,2291,2)([2903]2900,2902,3)([2904]2903,2296,4)([2905]2903,2296,2)([2906]2904,2301,4)([2907]2904,2301,2)([2908]2905,2907,3)([2909]2908,2306,4)([2910]2908,2306,2)([2911]2909,2311,4)([2912]2909,2311,2)([2913]2910,2912,3)([2914]2913,2316,4)([2915]2913,2316,2)([2916]2914,2321,4)([2917]2914,2321,2)([2918]2915,2917,3)([2919]2918,2326,4)([2920]2918,2326,2)([2921]2919,2331,4)([2922]2919,2331,2)([2923]2920,2922,3)([2924]2923,2336,4)([2925]2923,2336,2)([2926]2924,2341,4)([2927]2924,2341,2)([2928]2925,2927,3)([2929]2928,2346,4)([2930]2928,2346,2)([2931]2929,2351,4)([2932]2929,2351,2)([2933]2930,2932,3)([2934]2933,2356,4)([2935]2933,2356,2)([2936]2934,2361,4)([2937]2934,2361,2)([2938]2935,2937,3)([2939]2938,2366,4)([2940]2938,2366,2)([2941]2939,2371,4)([2942]2939,2371,2)([2943]2940,2942,3)([2944]2943,2376,4)([2945]2943,2376,2)([2946]2944,2381,4)([2947]2944,2381,2)([2948]2945,2947,3)([2949]2948,2386,4)([2950]2948,2386,2)([2951]2949,2391,4)([2952]2949,2391,2)([2953]2950,2952,3)([2954]2953,2396,4)([2955]2953,2396,2)([2956]2954,2401,4)([2957]2954,2401,2)([2958]2955,2957,3)([2959]2958,2406,4)([2960]2958,2406,2)([2961]2959,2411,4)([2962]2959,2411,2)([2963]2960,2962,3)([2964]2963,2416,4)([2965]2963,2416,2)([2966]2964,2421,4)([2967]2964,2421,2)([2968]2965,2967,3)([2969]2968,2426,4)([2970]2968,2426,2)([2971]2969,2431,4)([2972]2969,2431,2)([2973]2970,2972,3)([2974]2973,2436,4)([2975]2973,2436,2)([2976]2974,2441,4)([2977]2974,2441,2)([2978]2975,2977,3)([2979]2978,2446,4)([2980]2978,2446,2)([2981]2979,2451,4)([2982]2979,2451,2)([2983]2980,2982,3)([2984]2983,2456,4)([2985]2983,2456,2)([2986]2984,2461,4)([2987]2984,2461,2)([2988]2985,2987,3)([2989]2988,2466,4)([2990]2988,2466,2)([2991]2989,2471,4)([2992]2989,2471,2)([2993]2990,2992,3)([2994]2993,2476,4)([2995]2993,2476,2)([2996]2994,2481,4)([2997]2994,2481,2)([2998]2995,2997,3)([2999]2998,2486,4)([3000]2998,2486,2)([3001]2999,2491,4)([3002]2999,2491,2)([3003]3000,3002,3)([3004]3003,2496,4)([3005]3003,2496,2)([3006]3004,2501,4)([3007]3004,2501,2)([3008]3005,3007,3)([3009]3008,2506,4)([3010]3008,2506,2)([3011]3009,2511,4)([3012]3009,2511,2)([3013]3010,3012,3)([3014]3013,2516,4)([3015]3013,2516,2)([3016]3014,2521,4)([3017]3014,2521,2)([3018]3015,3017,3)([3019]3018,2526,4)([3020]3018,2526,2)([3021]3019,2531,4)([3022]3019,2531,2)([3023]3020,3022,3)([3024]3023,2536,4)([3025]3023,2536,2)([3026]3024,2541,4)([3027]3024,2541,2)([3028]3025,3027,3)([3029]3028,2546,4)([3030]3028,2546,2)([3031]3029,2551,4)([3032]3029,2551,2)([3033]3030,3032,3)([3034]3033,2557,4)([3035]3033,2557,2)([3036]3034,2562,4)([3037]3034,2562,2)([3038]3035,3037,3)([3039]3038,2568,4)([3040]3038,2568,2)([3041]3039,2574,4)([3042]3039,2574,2)([3043]3040,3042,3)([3044]3043,2580,4)([3045]3043,2580,2)([3046]3044,2587,4)([3047]3044,2587,2)([3048]3045,3047,3)([3049]3048,2593,4)([3050]3048,2593,2)([3051]3049,2601,4)([3052]3049,2601,2)([3053]3050,3052,3)([3054]3053,2607,4)([3055]3053,2607,2)([3056]3054,2615,4)([3057]3054,2615,2)([3058]3055,3057,3)([3059]3058,2620,4)([3060]3058,2620,2)([3061]3059,2628,4)([3062]3059,2628,2)([3063]3060,3062,3)([3064]22,49,5)([3065]3063,3064,4)([3066]3063,3064,2)([3067]3065,2634,4)([3068]3065,2634,2)([3069]3066,3068,3)([3070]24,48,2)([3071]23,49,5)([3072]3069,3070,4)([3073]3069,3070,2)([3074]3072,3071,4)([3075]3072,3071,2)([3076]3073,3075,3)([3077]25,48,5)([3078]3076,2856,4)([3079]3076,2856,2)([3080]3078,3077,4)([3081]3078,3077,2)([3082]3079,3081,3)([3083]2,26,2)([3084]3,26,2)([3085]2,28,2)([3086]24,49,5)([3087]2,27,2)([3088]25,49,2)([3089]3084,3087,4)([3090]3084,3087,2)([3091]3085,2859,4)([3092]3085,2859,2)([3093]3091,3090,4)([3094]3091,3090,2)([3095]3092,3094,3)([3096]2639,2865,4)([3097]2639,2865,2)([3098]3096,3095,4)([3099]3096,3095,2)([3100]3097,3099,3)([3101]2645,2871,4)([3102]2645,2871,2)([3103]3101,3100,4)([3104]3101,3100,2)([3105]3102,3104,3)([3106]2652,2876,4)([3107]2652,2876,2)([3108]3106,3105,4)([3109]3106,3105,2)([3110]3107,3109,3)([3111]2658,2881,4)([3112]2658,2881,2)([3113]3111,3110,4)([3114]3111,3110,2)([3115]3112,3114,3)([3116]2663,2886,4)([3117]2663,2886,2)([3118]3116,3115,4)([3119]3116,3115,2)([3120]3117,3119,3)([3121]2668,2891,4)([3122]2668,2891,2)([3123]3121,3120,4)([3124]3121,3120,2)([3125]3122,3124,3)([3126]2673,2896,4)([3127]2673,2896,2)([3128]3126,3125,4)([3129]3126,3125,2)([3130]3127,3129,3)([3131]2678,2901,4)([3132]2678,2901,2)([3133]3131,3130,4)([3134]3131,3130,2)([3135]3132,3134,3)([3136]2683,2906,4)([3137]2683,2906,2)([3138]3136,3135,4)([3139]3136,3135,2)([3140]3137,3139,3)([3141]2688,2911,4)([3142]2688,2911,2)([3143]3141,3140,4)([3144]3141,3140,2)([3145]3142,3144,3)([3146]2693,2916,4)([3147]2693,2916,2)([3148]3146,3145,4)([3149]3146,3145,2)([3150]3147,3149,3)([3151]2698,2921,4)([3152]2698,2921,2)([3153]3151,3150,4)([3154]3151,3150,2)([3155]3152,3154,3)([3156]2703,2926,4)([3157]2703,2926,2)([3158]3156,3155,4)([3159]3156,3155,2)([3160]3157,3159,3)([3161]2708,2931,4)([3162]2708,2931,2)([3163]3161,3160,4)([3164]3161,3160,2)([3165]3162,3164,3)([3166]2713,2936,4)([3167]2713,2936,2)([3168]3166,3165,4)([3169]3166,3165,2)([3170]3167,3169,3)([3171]2718,2941,4)([3172]2718,2941,2)([3173]3171,3170,4)([3174]3171,3170,2)([3175]3172,3174,3)([3176]2723,2946,4)([3177]2723,2946,2)([3178]3176,3175,4)([3179]3176,3175,2)([3180]3177,3179,3)([3181]2728,2951,4)([3182]2728,2951,2)([3183]3181,3180,4)([3184]3181,3180,2)([3185]3182,3184,3)([3186]2733,2956,4)([3187]2733,2956,2)([3188]3186,3185,4)([3189]3186,3185,2)([3190]3187,3189,3)([3191]2738,2961,4)([3192]2738,2961,2)([3193]3191,3190,4)([3194]3191,3190,2)([3195]3192,3194,3)([3196]2743,2966,4)([3197]2743,2966,2)([3198]3196,3195,4)([3199]3196,3195,2)([3200]3197,3199,3)([3201]2748,2971,4)([3202]2748,2971,2)([3203]3201,3200,4)([3204]3201,3200,2)([3205]3202,3204,3)([3206]2753,2976,4)([3207]2753,2976,2)([3208]3206,3205,4)([3209]3206,3205,2)([3210]3207,3209,3)([3211]2758,2981,4)([3212]2758,2981,2)([3213]3211,3210,4)([3214]3211,3210,2)([3215]3212,3214,3)([3216]2763,2986,4)([3217]2763,2986,2)([3218]3216,3215,4)([3219]3216,3215,2)([3220]3217,3219,3)([3221]2768,2991,4)([3222]2768,2991,2)([3223]3221,3220,4)([3224]3221,3220,2)([3225]3222,3224,3)([3226]2773,2996,4)([3227]2773,2996,2)([3228]3226,3225,4)([3229]3226,3225,2)([3230]3227,3229,3)([3231]2778,3001,4)([3232]2778,3001,2)([3233]3231,3230,4)([3234]3231,3230,2)([3235]3232,3234,3)([3236]2783,3006,4)([3237]2783,3006,2)([3238]3236,3235,4)([3239]3236,3235,2)([3240]3237,3239,3)([3241]2788,3011,4)([3242]2788,3011,2)([3243]3241,3240,4)([3244]3241,3240,2)([3245]3242,3244,3)([3246]2793,3016,4)([3247]2793,3016,2)([3248]3246,3245,4)([3249]3246,3245,2)([3250]3247,3249,3)([3251]2798,3021,4)([3252]2798,3021,2)([3253]3251,3250,4)([3254]3251,3250,2)([3255]3252,3254,3)([3256]2803,3026,4)([3257]2803,3026,2)([3258]3256,3255,4)([3259]3256,3255,2)([3260]3257,3259,3)([3261]2808,3031,4)([3262]2808,3031,2)([3263]3261,3260,4)([3264]3261,3260,2)([3265]3262,3264,3)([3266]2813,3036,4)([3267]2813,3036,2)([3268]3266,3265,4)([3269]3266,3265,2)([3270]3267,3269,3)([3271]2818,3041,4)([3272]2818,3041,2)([3273]3271,3270,4)([3274]3271,3270,2)([3275]3272,3274,3)([3276]2823,3046,4)([3277]2823,3046,2)([3278]3276,3275,4)([3279]3276,3275,2)([3280]3277,3279,3)([3281]2828,3051,4)([3282]2828,3051,2)([3283]3281,3280,4)([3284]3281,3280,2)([3285]3282,3284,3)([3286]2834,3056,4)([3287]2834,3056,2)([3288]3286,3285,4)([3289]3286,3285,2)([3290]3287,3289,3)([3291]2841,3061,4)([3292]2841,3061,2)([3293]3291,3290,4)([3294]3291,3290,2)([3295]3292,3294,3)([3296]2848,3067,4)([3297]2848,3067,2)([3298]3296,3295,4)([3299]3296,3295,2)([3300]3297,3299,3)([3301]2854,3074,4)([3302]2854,3074,2)([3303]3301,3300,4)([3304]3301,3300,2)([3305]3302,3304,3)([3306]3086,3080,4)([3307]3086,3080,2)([3308]3306,3305,4)([3309]3306,3305,2)([3310]3307,3309,3)([3311]3082,3088,4)([3312]3082,3088,2)([3313]3311,3310,4)([3314]3311,3310,2)([3315]3312,3314,3)([3316]3315,3315,1)(3083,3089,3093,3098,3103,3108,3113,3118,3123,3128,3133,3138,3143,3148,3153,3158,3163,3168,3173,3178,3183,3188,3193,3198,3203,3208,3213,3218,3223,3228,3233,3238,3243,3248,3253,3258,3263,3268,3273,3278,3283,3288,3293,3298,3303,3308,3313,3316) |