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