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