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
44 KiB
Plaintext
1 line
44 KiB
Plaintext
{32,16,1,2587,2,1,0}([34]17,18,4)([35]17,17,1)([36]35,18,2)([37]34,34,1)([38]36,19,4)([39]19,19,1)([40]39,36,2)([41]40,19,3)([42]41,20,4)([43]20,20,1)([44]43,41,2)([45]44,20,3)([46]45,21,4)([47]21,21,1)([48]47,45,2)([49]48,21,3)([50]49,22,4)([51]22,22,1)([52]51,49,2)([53]52,22,3)([54]53,23,4)([55]23,23,1)([56]55,53,2)([57]56,23,3)([58]57,24,4)([59]24,24,1)([60]59,57,2)([61]60,24,3)([62]61,25,4)([63]25,25,1)([64]63,61,2)([65]64,25,3)([66]65,26,4)([67]26,26,1)([68]67,65,2)([69]68,26,3)([70]69,27,4)([71]27,27,1)([72]71,69,2)([73]72,27,3)([74]73,28,4)([75]28,28,1)([76]75,73,2)([77]76,28,3)([78]77,29,4)([79]29,29,1)([80]79,77,2)([81]80,29,3)([82]81,30,4)([83]30,30,1)([84]83,81,2)([85]84,30,3)([86]85,31,4)([87]31,31,1)([88]87,85,2)([89]88,31,3)([90]89,32,4)([91]32,32,1)([92]91,89,2)([93]92,32,3)([94]93,33,4)([95]33,33,1)([96]95,93,2)([97]96,33,3)([98]17,97,2)([99]97,97,1)([100]34,99,2)([101]98,100,4)([102]97,97,1)([103]38,102,2)([104]97,97,1)([105]42,104,2)([106]97,97,1)([107]46,106,2)([108]97,97,1)([109]50,108,2)([110]97,97,1)([111]54,110,2)([112]97,97,1)([113]58,112,2)([114]97,97,1)([115]62,114,2)([116]97,97,1)([117]66,116,2)([118]97,97,1)([119]70,118,2)([120]97,97,1)([121]74,120,2)([122]97,97,1)([123]78,122,2)([124]97,97,1)([125]82,124,2)([126]97,97,1)([127]86,126,2)([128]97,97,1)([129]90,128,2)([130]97,97,1)([131]16,18,4)([132]16,16,1)([133]132,18,2)([134]131,131,1)([135]101,19,4)([136]101,101,1)([137]136,19,2)([138]133,135,4)([139]135,135,1)([140]139,133,2)([141]140,137,3)([142]103,20,4)([143]103,103,1)([144]143,20,2)([145]141,142,4)([146]142,142,1)([147]146,141,2)([148]147,144,3)([149]105,21,4)([150]105,105,1)([151]150,21,2)([152]148,149,4)([153]149,149,1)([154]153,148,2)([155]154,151,3)([156]107,22,4)([157]107,107,1)([158]157,22,2)([159]155,156,4)([160]156,156,1)([161]160,155,2)([162]161,158,3)([163]109,23,4)([164]109,109,1)([165]164,23,2)([166]162,163,4)([167]163,163,1)([168]167,162,2)([169]168,165,3)([170]111,24,4)([171]111,111,1)([172]171,24,2)([173]169,170,4)([174]170,170,1)([175]174,169,2)([176]175,172,3)([177]113,25,4)([178]113,113,1)([179]178,25,2)([180]176,177,4)([181]177,177,1)([182]181,176,2)([183]182,179,3)([184]115,26,4)([185]115,115,1)([186]185,26,2)([187]183,184,4)([188]184,184,1)([189]188,183,2)([190]189,186,3)([191]117,27,4)([192]117,117,1)([193]192,27,2)([194]190,191,4)([195]191,191,1)([196]195,190,2)([197]196,193,3)([198]119,28,4)([199]119,119,1)([200]199,28,2)([201]197,198,4)([202]198,198,1)([203]202,197,2)([204]203,200,3)([205]121,29,4)([206]121,121,1)([207]206,29,2)([208]204,205,4)([209]205,205,1)([210]209,204,2)([211]210,207,3)([212]123,30,4)([213]123,123,1)([214]213,30,2)([215]211,212,4)([216]212,212,1)([217]216,211,2)([218]217,214,3)([219]125,31,4)([220]125,125,1)([221]220,31,2)([222]218,219,4)([223]219,219,1)([224]223,218,2)([225]224,221,3)([226]127,32,4)([227]127,127,1)([228]227,32,2)([229]225,226,4)([230]226,226,1)([231]230,225,2)([232]231,228,3)([233]129,33,4)([234]129,129,1)([235]234,33,2)([236]232,233,4)([237]233,233,1)([238]237,232,2)([239]238,235,3)([240]16,239,2)([241]239,239,1)([242]131,241,2)([243]240,242,4)([244]101,239,2)([245]239,239,1)([246]138,245,2)([247]244,246,4)([248]103,239,2)([249]239,239,1)([250]145,249,2)([251]248,250,4)([252]105,239,2)([253]239,239,1)([254]152,253,2)([255]252,254,4)([256]107,239,2)([257]239,239,1)([258]159,257,2)([259]256,258,4)([260]109,239,2)([261]239,239,1)([262]166,261,2)([263]260,262,4)([264]111,239,2)([265]239,239,1)([266]173,265,2)([267]264,266,4)([268]113,239,2)([269]239,239,1)([270]180,269,2)([271]268,270,4)([272]115,239,2)([273]239,239,1)([274]187,273,2)([275]272,274,4)([276]117,239,2)([277]239,239,1)([278]194,277,2)([279]276,278,4)([280]119,239,2)([281]239,239,1)([282]201,281,2)([283]280,282,4)([284]121,239,2)([285]239,239,1)([286]208,285,2)([287]284,286,4)([288]123,239,2)([289]239,239,1)([290]215,289,2)([291]288,290,4)([292]125,239,2)([293]239,239,1)([294]222,293,2)([295]292,294,4)([296]127,239,2)([297]239,239,1)([298]229,297,2)([299]296,298,4)([300]239,239,1)([301]15,18,4)([302]15,15,1)([303]302,18,2)([304]301,301,1)([305]243,19,4)([306]243,243,1)([307]306,19,2)([308]303,305,4)([309]305,305,1)([310]309,303,2)([311]310,307,3)([312]247,20,4)([313]247,247,1)([314]313,20,2)([315]311,312,4)([316]312,312,1)([317]316,311,2)([318]317,314,3)([319]251,21,4)([320]251,251,1)([321]320,21,2)([322]318,319,4)([323]319,319,1)([324]323,318,2)([325]324,321,3)([326]255,22,4)([327]255,255,1)([328]327,22,2)([329]325,326,4)([330]326,326,1)([331]330,325,2)([332]331,328,3)([333]259,23,4)([334]259,259,1)([335]334,23,2)([336]332,333,4)([337]333,333,1)([338]337,332,2)([339]338,335,3)([340]263,24,4)([341]263,263,1)([342]341,24,2)([343]339,340,4)([344]340,340,1)([345]344,339,2)([346]345,342,3)([347]267,25,4)([348]267,267,1)([349]348,25,2)([350]346,347,4)([351]347,347,1)([352]351,346,2)([353]352,349,3)([354]271,26,4)([355]271,271,1)([356]355,26,2)([357]353,354,4)([358]354,354,1)([359]358,353,2)([360]359,356,3)([361]275,27,4)([362]275,275,1)([363]362,27,2)([364]360,361,4)([365]361,361,1)([366]365,360,2)([367]366,363,3)([368]279,28,4)([369]279,279,1)([370]369,28,2)([371]367,368,4)([372]368,368,1)([373]372,367,2)([374]373,370,3)([375]283,29,4)([376]283,283,1)([377]376,29,2)([378]374,375,4)([379]375,375,1)([380]379,374,2)([381]380,377,3)([382]287,30,4)([383]287,287,1)([384]383,30,2)([385]381,382,4)([386]382,382,1)([387]386,381,2)([388]387,384,3)([389]291,31,4)([390]291,291,1)([391]390,31,2)([392]388,389,4)([393]389,389,1)([394]393,388,2)([395]394,391,3)([396]295,32,4)([397]295,295,1)([398]397,32,2)([399]395,396,4)([400]396,396,1)([401]400,395,2)([402]401,398,3)([403]299,33,4)([404]299,299,1)([405]404,33,2)([406]402,403,4)([407]403,403,1)([408]407,402,2)([409]408,405,3)([410]15,409,2)([411]409,409,1)([412]301,411,2)([413]410,412,4)([414]243,409,2)([415]409,409,1)([416]308,415,2)([417]414,416,4)([418]247,409,2)([419]409,409,1)([420]315,419,2)([421]418,420,4)([422]251,409,2)([423]409,409,1)([424]322,423,2)([425]422,424,4)([426]255,409,2)([427]409,409,1)([428]329,427,2)([429]426,428,4)([430]259,409,2)([431]409,409,1)([432]336,431,2)([433]430,432,4)([434]263,409,2)([435]409,409,1)([436]343,435,2)([437]434,436,4)([438]267,409,2)([439]409,409,1)([440]350,439,2)([441]438,440,4)([442]271,409,2)([443]409,409,1)([444]357,443,2)([445]442,444,4)([446]275,409,2)([447]409,409,1)([448]364,447,2)([449]446,448,4)([450]279,409,2)([451]409,409,1)([452]371,451,2)([453]450,452,4)([454]283,409,2)([455]409,409,1)([456]378,455,2)([457]454,456,4)([458]287,409,2)([459]409,409,1)([460]385,459,2)([461]458,460,4)([462]291,409,2)([463]409,409,1)([464]392,463,2)([465]462,464,4)([466]295,409,2)([467]409,409,1)([468]399,467,2)([469]466,468,4)([470]409,409,1)([471]14,18,4)([472]14,14,1)([473]472,18,2)([474]471,471,1)([475]413,19,4)([476]413,413,1)([477]476,19,2)([478]473,475,4)([479]475,475,1)([480]479,473,2)([481]480,477,3)([482]417,20,4)([483]417,417,1)([484]483,20,2)([485]481,482,4)([486]482,482,1)([487]486,481,2)([488]487,484,3)([489]421,21,4)([490]421,421,1)([491]490,21,2)([492]488,489,4)([493]489,489,1)([494]493,488,2)([495]494,491,3)([496]425,22,4)([497]425,425,1)([498]497,22,2)([499]495,496,4)([500]496,496,1)([501]500,495,2)([502]501,498,3)([503]429,23,4)([504]429,429,1)([505]504,23,2)([506]502,503,4)([507]503,503,1)([508]507,502,2)([509]508,505,3)([510]433,24,4)([511]433,433,1)([512]511,24,2)([513]509,510,4)([514]510,510,1)([515]514,509,2)([516]515,512,3)([517]437,25,4)([518]437,437,1)([519]518,25,2)([520]516,517,4)([521]517,517,1)([522]521,516,2)([523]522,519,3)([524]441,26,4)([525]441,441,1)([526]525,26,2)([527]523,524,4)([528]524,524,1)([529]528,523,2)([530]529,526,3)([531]445,27,4)([532]445,445,1)([533]532,27,2)([534]530,531,4)([535]531,531,1)([536]535,530,2)([537]536,533,3)([538]449,28,4)([539]449,449,1)([540]539,28,2)([541]537,538,4)([542]538,538,1)([543]542,537,2)([544]543,540,3)([545]453,29,4)([546]453,453,1)([547]546,29,2)([548]544,545,4)([549]545,545,1)([550]549,544,2)([551]550,547,3)([552]457,30,4)([553]457,457,1)([554]553,30,2)([555]551,552,4)([556]552,552,1)([557]556,551,2)([558]557,554,3)([559]461,31,4)([560]461,461,1)([561]560,31,2)([562]558,559,4)([563]559,559,1)([564]563,558,2)([565]564,561,3)([566]465,32,4)([567]465,465,1)([568]567,32,2)([569]565,566,4)([570]566,566,1)([571]570,565,2)([572]571,568,3)([573]469,33,4)([574]469,469,1)([575]574,33,2)([576]572,573,4)([577]573,573,1)([578]577,572,2)([579]578,575,3)([580]14,579,2)([581]579,579,1)([582]471,581,2)([583]580,582,4)([584]413,579,2)([585]579,579,1)([586]478,585,2)([587]584,586,4)([588]417,579,2)([589]579,579,1)([590]485,589,2)([591]588,590,4)([592]421,579,2)([593]579,579,1)([594]492,593,2)([595]592,594,4)([596]425,579,2)([597]579,579,1)([598]499,597,2)([599]596,598,4)([600]429,579,2)([601]579,579,1)([602]506,601,2)([603]600,602,4)([604]433,579,2)([605]579,579,1)([606]513,605,2)([607]604,606,4)([608]437,579,2)([609]579,579,1)([610]520,609,2)([611]608,610,4)([612]441,579,2)([613]579,579,1)([614]527,613,2)([615]612,614,4)([616]445,579,2)([617]579,579,1)([618]534,617,2)([619]616,618,4)([620]449,579,2)([621]579,579,1)([622]541,621,2)([623]620,622,4)([624]453,579,2)([625]579,579,1)([626]548,625,2)([627]624,626,4)([628]457,579,2)([629]579,579,1)([630]555,629,2)([631]628,630,4)([632]461,579,2)([633]579,579,1)([634]562,633,2)([635]632,634,4)([636]465,579,2)([637]579,579,1)([638]569,637,2)([639]636,638,4)([640]579,579,1)([641]13,18,4)([642]13,13,1)([643]642,18,2)([644]641,641,1)([645]583,19,4)([646]583,583,1)([647]646,19,2)([648]643,645,4)([649]645,645,1)([650]649,643,2)([651]650,647,3)([652]587,20,4)([653]587,587,1)([654]653,20,2)([655]651,652,4)([656]652,652,1)([657]656,651,2)([658]657,654,3)([659]591,21,4)([660]591,591,1)([661]660,21,2)([662]658,659,4)([663]659,659,1)([664]663,658,2)([665]664,661,3)([666]595,22,4)([667]595,595,1)([668]667,22,2)([669]665,666,4)([670]666,666,1)([671]670,665,2)([672]671,668,3)([673]599,23,4)([674]599,599,1)([675]674,23,2)([676]672,673,4)([677]673,673,1)([678]677,672,2)([679]678,675,3)([680]603,24,4)([681]603,603,1)([682]681,24,2)([683]679,680,4)([684]680,680,1)([685]684,679,2)([686]685,682,3)([687]607,25,4)([688]607,607,1)([689]688,25,2)([690]686,687,4)([691]687,687,1)([692]691,686,2)([693]692,689,3)([694]611,26,4)([695]611,611,1)([696]695,26,2)([697]693,694,4)([698]694,694,1)([699]698,693,2)([700]699,696,3)([701]615,27,4)([702]615,615,1)([703]702,27,2)([704]700,701,4)([705]701,701,1)([706]705,700,2)([707]706,703,3)([708]619,28,4)([709]619,619,1)([710]709,28,2)([711]707,708,4)([712]708,708,1)([713]712,707,2)([714]713,710,3)([715]623,29,4)([716]623,623,1)([717]716,29,2)([718]714,715,4)([719]715,715,1)([720]719,714,2)([721]720,717,3)([722]627,30,4)([723]627,627,1)([724]723,30,2)([725]721,722,4)([726]722,722,1)([727]726,721,2)([728]727,724,3)([729]631,31,4)([730]631,631,1)([731]730,31,2)([732]728,729,4)([733]729,729,1)([734]733,728,2)([735]734,731,3)([736]635,32,4)([737]635,635,1)([738]737,32,2)([739]735,736,4)([740]736,736,1)([741]740,735,2)([742]741,738,3)([743]639,33,4)([744]639,639,1)([745]744,33,2)([746]742,743,4)([747]743,743,1)([748]747,742,2)([749]748,745,3)([750]13,749,2)([751]749,749,1)([752]641,751,2)([753]750,752,4)([754]583,749,2)([755]749,749,1)([756]648,755,2)([757]754,756,4)([758]587,749,2)([759]749,749,1)([760]655,759,2)([761]758,760,4)([762]591,749,2)([763]749,749,1)([764]662,763,2)([765]762,764,4)([766]595,749,2)([767]749,749,1)([768]669,767,2)([769]766,768,4)([770]599,749,2)([771]749,749,1)([772]676,771,2)([773]770,772,4)([774]603,749,2)([775]749,749,1)([776]683,775,2)([777]774,776,4)([778]607,749,2)([779]749,749,1)([780]690,779,2)([781]778,780,4)([782]611,749,2)([783]749,749,1)([784]697,783,2)([785]782,784,4)([786]615,749,2)([787]749,749,1)([788]704,787,2)([789]786,788,4)([790]619,749,2)([791]749,749,1)([792]711,791,2)([793]790,792,4)([794]623,749,2)([795]749,749,1)([796]718,795,2)([797]794,796,4)([798]627,749,2)([799]749,749,1)([800]725,799,2)([801]798,800,4)([802]631,749,2)([803]749,749,1)([804]732,803,2)([805]802,804,4)([806]635,749,2)([807]749,749,1)([808]739,807,2)([809]806,808,4)([810]749,749,1)([811]12,18,4)([812]12,12,1)([813]812,18,2)([814]811,811,1)([815]753,19,4)([816]753,753,1)([817]816,19,2)([818]813,815,4)([819]815,815,1)([820]819,813,2)([821]820,817,3)([822]757,20,4)([823]757,757,1)([824]823,20,2)([825]821,822,4)([826]822,822,1)([827]826,821,2)([828]827,824,3)([829]761,21,4)([830]761,761,1)([831]830,21,2)([832]828,829,4)([833]829,829,1)([834]833,828,2)([835]834,831,3)([836]765,22,4)([837]765,765,1)([838]837,22,2)([839]835,836,4)([840]836,836,1)([841]840,835,2)([842]841,838,3)([843]769,23,4)([844]769,769,1)([845]844,23,2)([846]842,843,4)([847]843,843,1)([848]847,842,2)([849]848,845,3)([850]773,24,4)([851]773,773,1)([852]851,24,2)([853]849,850,4)([854]850,850,1)([855]854,849,2)([856]855,852,3)([857]777,25,4)([858]777,777,1)([859]858,25,2)([860]856,857,4)([861]857,857,1)([862]861,856,2)([863]862,859,3)([864]781,26,4)([865]781,781,1)([866]865,26,2)([867]863,864,4)([868]864,864,1)([869]868,863,2)([870]869,866,3)([871]785,27,4)([872]785,785,1)([873]872,27,2)([874]870,871,4)([875]871,871,1)([876]875,870,2)([877]876,873,3)([878]789,28,4)([879]789,789,1)([880]879,28,2)([881]877,878,4)([882]878,878,1)([883]882,877,2)([884]883,880,3)([885]793,29,4)([886]793,793,1)([887]886,29,2)([888]884,885,4)([889]885,885,1)([890]889,884,2)([891]890,887,3)([892]797,30,4)([893]797,797,1)([894]893,30,2)([895]891,892,4)([896]892,892,1)([897]896,891,2)([898]897,894,3)([899]801,31,4)([900]801,801,1)([901]900,31,2)([902]898,899,4)([903]899,899,1)([904]903,898,2)([905]904,901,3)([906]805,32,4)([907]805,805,1)([908]907,32,2)([909]905,906,4)([910]906,906,1)([911]910,905,2)([912]911,908,3)([913]809,33,4)([914]809,809,1)([915]914,33,2)([916]912,913,4)([917]913,913,1)([918]917,912,2)([919]918,915,3)([920]12,919,2)([921]919,919,1)([922]811,921,2)([923]920,922,4)([924]753,919,2)([925]919,919,1)([926]818,925,2)([927]924,926,4)([928]757,919,2)([929]919,919,1)([930]825,929,2)([931]928,930,4)([932]761,919,2)([933]919,919,1)([934]832,933,2)([935]932,934,4)([936]765,919,2)([937]919,919,1)([938]839,937,2)([939]936,938,4)([940]769,919,2)([941]919,919,1)([942]846,941,2)([943]940,942,4)([944]773,919,2)([945]919,919,1)([946]853,945,2)([947]944,946,4)([948]777,919,2)([949]919,919,1)([950]860,949,2)([951]948,950,4)([952]781,919,2)([953]919,919,1)([954]867,953,2)([955]952,954,4)([956]785,919,2)([957]919,919,1)([958]874,957,2)([959]956,958,4)([960]789,919,2)([961]919,919,1)([962]881,961,2)([963]960,962,4)([964]793,919,2)([965]919,919,1)([966]888,965,2)([967]964,966,4)([968]797,919,2)([969]919,919,1)([970]895,969,2)([971]968,970,4)([972]801,919,2)([973]919,919,1)([974]902,973,2)([975]972,974,4)([976]805,919,2)([977]919,919,1)([978]909,977,2)([979]976,978,4)([980]919,919,1)([981]11,18,4)([982]11,11,1)([983]982,18,2)([984]981,981,1)([985]923,19,4)([986]923,923,1)([987]986,19,2)([988]983,985,4)([989]985,985,1)([990]989,983,2)([991]990,987,3)([992]927,20,4)([993]927,927,1)([994]993,20,2)([995]991,992,4)([996]992,992,1)([997]996,991,2)([998]997,994,3)([999]931,21,4)([1000]931,931,1)([1001]1000,21,2)([1002]998,999,4)([1003]999,999,1)([1004]1003,998,2)([1005]1004,1001,3)([1006]935,22,4)([1007]935,935,1)([1008]1007,22,2)([1009]1005,1006,4)([1010]1006,1006,1)([1011]1010,1005,2)([1012]1011,1008,3)([1013]939,23,4)([1014]939,939,1)([1015]1014,23,2)([1016]1012,1013,4)([1017]1013,1013,1)([1018]1017,1012,2)([1019]1018,1015,3)([1020]943,24,4)([1021]943,943,1)([1022]1021,24,2)([1023]1019,1020,4)([1024]1020,1020,1)([1025]1024,1019,2)([1026]1025,1022,3)([1027]947,25,4)([1028]947,947,1)([1029]1028,25,2)([1030]1026,1027,4)([1031]1027,1027,1)([1032]1031,1026,2)([1033]1032,1029,3)([1034]951,26,4)([1035]951,951,1)([1036]1035,26,2)([1037]1033,1034,4)([1038]1034,1034,1)([1039]1038,1033,2)([1040]1039,1036,3)([1041]955,27,4)([1042]955,955,1)([1043]1042,27,2)([1044]1040,1041,4)([1045]1041,1041,1)([1046]1045,1040,2)([1047]1046,1043,3)([1048]959,28,4)([1049]959,959,1)([1050]1049,28,2)([1051]1047,1048,4)([1052]1048,1048,1)([1053]1052,1047,2)([1054]1053,1050,3)([1055]963,29,4)([1056]963,963,1)([1057]1056,29,2)([1058]1054,1055,4)([1059]1055,1055,1)([1060]1059,1054,2)([1061]1060,1057,3)([1062]967,30,4)([1063]967,967,1)([1064]1063,30,2)([1065]1061,1062,4)([1066]1062,1062,1)([1067]1066,1061,2)([1068]1067,1064,3)([1069]971,31,4)([1070]971,971,1)([1071]1070,31,2)([1072]1068,1069,4)([1073]1069,1069,1)([1074]1073,1068,2)([1075]1074,1071,3)([1076]975,32,4)([1077]975,975,1)([1078]1077,32,2)([1079]1075,1076,4)([1080]1076,1076,1)([1081]1080,1075,2)([1082]1081,1078,3)([1083]979,33,4)([1084]979,979,1)([1085]1084,33,2)([1086]1082,1083,4)([1087]1083,1083,1)([1088]1087,1082,2)([1089]1088,1085,3)([1090]11,1089,2)([1091]1089,1089,1)([1092]981,1091,2)([1093]1090,1092,4)([1094]923,1089,2)([1095]1089,1089,1)([1096]988,1095,2)([1097]1094,1096,4)([1098]927,1089,2)([1099]1089,1089,1)([1100]995,1099,2)([1101]1098,1100,4)([1102]931,1089,2)([1103]1089,1089,1)([1104]1002,1103,2)([1105]1102,1104,4)([1106]935,1089,2)([1107]1089,1089,1)([1108]1009,1107,2)([1109]1106,1108,4)([1110]939,1089,2)([1111]1089,1089,1)([1112]1016,1111,2)([1113]1110,1112,4)([1114]943,1089,2)([1115]1089,1089,1)([1116]1023,1115,2)([1117]1114,1116,4)([1118]947,1089,2)([1119]1089,1089,1)([1120]1030,1119,2)([1121]1118,1120,4)([1122]951,1089,2)([1123]1089,1089,1)([1124]1037,1123,2)([1125]1122,1124,4)([1126]955,1089,2)([1127]1089,1089,1)([1128]1044,1127,2)([1129]1126,1128,4)([1130]959,1089,2)([1131]1089,1089,1)([1132]1051,1131,2)([1133]1130,1132,4)([1134]963,1089,2)([1135]1089,1089,1)([1136]1058,1135,2)([1137]1134,1136,4)([1138]967,1089,2)([1139]1089,1089,1)([1140]1065,1139,2)([1141]1138,1140,4)([1142]971,1089,2)([1143]1089,1089,1)([1144]1072,1143,2)([1145]1142,1144,4)([1146]975,1089,2)([1147]1089,1089,1)([1148]1079,1147,2)([1149]1146,1148,4)([1150]1089,1089,1)([1151]10,18,4)([1152]10,10,1)([1153]1152,18,2)([1154]1151,1151,1)([1155]1093,19,4)([1156]1093,1093,1)([1157]1156,19,2)([1158]1153,1155,4)([1159]1155,1155,1)([1160]1159,1153,2)([1161]1160,1157,3)([1162]1097,20,4)([1163]1097,1097,1)([1164]1163,20,2)([1165]1161,1162,4)([1166]1162,1162,1)([1167]1166,1161,2)([1168]1167,1164,3)([1169]1101,21,4)([1170]1101,1101,1)([1171]1170,21,2)([1172]1168,1169,4)([1173]1169,1169,1)([1174]1173,1168,2)([1175]1174,1171,3)([1176]1105,22,4)([1177]1105,1105,1)([1178]1177,22,2)([1179]1175,1176,4)([1180]1176,1176,1)([1181]1180,1175,2)([1182]1181,1178,3)([1183]1109,23,4)([1184]1109,1109,1)([1185]1184,23,2)([1186]1182,1183,4)([1187]1183,1183,1)([1188]1187,1182,2)([1189]1188,1185,3)([1190]1113,24,4)([1191]1113,1113,1)([1192]1191,24,2)([1193]1189,1190,4)([1194]1190,1190,1)([1195]1194,1189,2)([1196]1195,1192,3)([1197]1117,25,4)([1198]1117,1117,1)([1199]1198,25,2)([1200]1196,1197,4)([1201]1197,1197,1)([1202]1201,1196,2)([1203]1202,1199,3)([1204]1121,26,4)([1205]1121,1121,1)([1206]1205,26,2)([1207]1203,1204,4)([1208]1204,1204,1)([1209]1208,1203,2)([1210]1209,1206,3)([1211]1125,27,4)([1212]1125,1125,1)([1213]1212,27,2)([1214]1210,1211,4)([1215]1211,1211,1)([1216]1215,1210,2)([1217]1216,1213,3)([1218]1129,28,4)([1219]1129,1129,1)([1220]1219,28,2)([1221]1217,1218,4)([1222]1218,1218,1)([1223]1222,1217,2)([1224]1223,1220,3)([1225]1133,29,4)([1226]1133,1133,1)([1227]1226,29,2)([1228]1224,1225,4)([1229]1225,1225,1)([1230]1229,1224,2)([1231]1230,1227,3)([1232]1137,30,4)([1233]1137,1137,1)([1234]1233,30,2)([1235]1231,1232,4)([1236]1232,1232,1)([1237]1236,1231,2)([1238]1237,1234,3)([1239]1141,31,4)([1240]1141,1141,1)([1241]1240,31,2)([1242]1238,1239,4)([1243]1239,1239,1)([1244]1243,1238,2)([1245]1244,1241,3)([1246]1145,32,4)([1247]1145,1145,1)([1248]1247,32,2)([1249]1245,1246,4)([1250]1246,1246,1)([1251]1250,1245,2)([1252]1251,1248,3)([1253]1149,33,4)([1254]1149,1149,1)([1255]1254,33,2)([1256]1252,1253,4)([1257]1253,1253,1)([1258]1257,1252,2)([1259]1258,1255,3)([1260]10,1259,2)([1261]1259,1259,1)([1262]1151,1261,2)([1263]1260,1262,4)([1264]1093,1259,2)([1265]1259,1259,1)([1266]1158,1265,2)([1267]1264,1266,4)([1268]1097,1259,2)([1269]1259,1259,1)([1270]1165,1269,2)([1271]1268,1270,4)([1272]1101,1259,2)([1273]1259,1259,1)([1274]1172,1273,2)([1275]1272,1274,4)([1276]1105,1259,2)([1277]1259,1259,1)([1278]1179,1277,2)([1279]1276,1278,4)([1280]1109,1259,2)([1281]1259,1259,1)([1282]1186,1281,2)([1283]1280,1282,4)([1284]1113,1259,2)([1285]1259,1259,1)([1286]1193,1285,2)([1287]1284,1286,4)([1288]1117,1259,2)([1289]1259,1259,1)([1290]1200,1289,2)([1291]1288,1290,4)([1292]1121,1259,2)([1293]1259,1259,1)([1294]1207,1293,2)([1295]1292,1294,4)([1296]1125,1259,2)([1297]1259,1259,1)([1298]1214,1297,2)([1299]1296,1298,4)([1300]1129,1259,2)([1301]1259,1259,1)([1302]1221,1301,2)([1303]1300,1302,4)([1304]1133,1259,2)([1305]1259,1259,1)([1306]1228,1305,2)([1307]1304,1306,4)([1308]1137,1259,2)([1309]1259,1259,1)([1310]1235,1309,2)([1311]1308,1310,4)([1312]1141,1259,2)([1313]1259,1259,1)([1314]1242,1313,2)([1315]1312,1314,4)([1316]1145,1259,2)([1317]1259,1259,1)([1318]1249,1317,2)([1319]1316,1318,4)([1320]1259,1259,1)([1321]9,18,4)([1322]9,9,1)([1323]1322,18,2)([1324]1321,1321,1)([1325]1263,19,4)([1326]1263,1263,1)([1327]1326,19,2)([1328]1323,1325,4)([1329]1325,1325,1)([1330]1329,1323,2)([1331]1330,1327,3)([1332]1267,20,4)([1333]1267,1267,1)([1334]1333,20,2)([1335]1331,1332,4)([1336]1332,1332,1)([1337]1336,1331,2)([1338]1337,1334,3)([1339]1271,21,4)([1340]1271,1271,1)([1341]1340,21,2)([1342]1338,1339,4)([1343]1339,1339,1)([1344]1343,1338,2)([1345]1344,1341,3)([1346]1275,22,4)([1347]1275,1275,1)([1348]1347,22,2)([1349]1345,1346,4)([1350]1346,1346,1)([1351]1350,1345,2)([1352]1351,1348,3)([1353]1279,23,4)([1354]1279,1279,1)([1355]1354,23,2)([1356]1352,1353,4)([1357]1353,1353,1)([1358]1357,1352,2)([1359]1358,1355,3)([1360]1283,24,4)([1361]1283,1283,1)([1362]1361,24,2)([1363]1359,1360,4)([1364]1360,1360,1)([1365]1364,1359,2)([1366]1365,1362,3)([1367]1287,25,4)([1368]1287,1287,1)([1369]1368,25,2)([1370]1366,1367,4)([1371]1367,1367,1)([1372]1371,1366,2)([1373]1372,1369,3)([1374]1291,26,4)([1375]1291,1291,1)([1376]1375,26,2)([1377]1373,1374,4)([1378]1374,1374,1)([1379]1378,1373,2)([1380]1379,1376,3)([1381]1295,27,4)([1382]1295,1295,1)([1383]1382,27,2)([1384]1380,1381,4)([1385]1381,1381,1)([1386]1385,1380,2)([1387]1386,1383,3)([1388]1299,28,4)([1389]1299,1299,1)([1390]1389,28,2)([1391]1387,1388,4)([1392]1388,1388,1)([1393]1392,1387,2)([1394]1393,1390,3)([1395]1303,29,4)([1396]1303,1303,1)([1397]1396,29,2)([1398]1394,1395,4)([1399]1395,1395,1)([1400]1399,1394,2)([1401]1400,1397,3)([1402]1307,30,4)([1403]1307,1307,1)([1404]1403,30,2)([1405]1401,1402,4)([1406]1402,1402,1)([1407]1406,1401,2)([1408]1407,1404,3)([1409]1311,31,4)([1410]1311,1311,1)([1411]1410,31,2)([1412]1408,1409,4)([1413]1409,1409,1)([1414]1413,1408,2)([1415]1414,1411,3)([1416]1315,32,4)([1417]1315,1315,1)([1418]1417,32,2)([1419]1415,1416,4)([1420]1416,1416,1)([1421]1420,1415,2)([1422]1421,1418,3)([1423]1319,33,4)([1424]1319,1319,1)([1425]1424,33,2)([1426]1422,1423,4)([1427]1423,1423,1)([1428]1427,1422,2)([1429]1428,1425,3)([1430]9,1429,2)([1431]1429,1429,1)([1432]1321,1431,2)([1433]1430,1432,4)([1434]1263,1429,2)([1435]1429,1429,1)([1436]1328,1435,2)([1437]1434,1436,4)([1438]1267,1429,2)([1439]1429,1429,1)([1440]1335,1439,2)([1441]1438,1440,4)([1442]1271,1429,2)([1443]1429,1429,1)([1444]1342,1443,2)([1445]1442,1444,4)([1446]1275,1429,2)([1447]1429,1429,1)([1448]1349,1447,2)([1449]1446,1448,4)([1450]1279,1429,2)([1451]1429,1429,1)([1452]1356,1451,2)([1453]1450,1452,4)([1454]1283,1429,2)([1455]1429,1429,1)([1456]1363,1455,2)([1457]1454,1456,4)([1458]1287,1429,2)([1459]1429,1429,1)([1460]1370,1459,2)([1461]1458,1460,4)([1462]1291,1429,2)([1463]1429,1429,1)([1464]1377,1463,2)([1465]1462,1464,4)([1466]1295,1429,2)([1467]1429,1429,1)([1468]1384,1467,2)([1469]1466,1468,4)([1470]1299,1429,2)([1471]1429,1429,1)([1472]1391,1471,2)([1473]1470,1472,4)([1474]1303,1429,2)([1475]1429,1429,1)([1476]1398,1475,2)([1477]1474,1476,4)([1478]1307,1429,2)([1479]1429,1429,1)([1480]1405,1479,2)([1481]1478,1480,4)([1482]1311,1429,2)([1483]1429,1429,1)([1484]1412,1483,2)([1485]1482,1484,4)([1486]1315,1429,2)([1487]1429,1429,1)([1488]1419,1487,2)([1489]1486,1488,4)([1490]1429,1429,1)([1491]8,18,4)([1492]8,8,1)([1493]1492,18,2)([1494]1491,1491,1)([1495]1433,19,4)([1496]1433,1433,1)([1497]1496,19,2)([1498]1493,1495,4)([1499]1495,1495,1)([1500]1499,1493,2)([1501]1500,1497,3)([1502]1437,20,4)([1503]1437,1437,1)([1504]1503,20,2)([1505]1501,1502,4)([1506]1502,1502,1)([1507]1506,1501,2)([1508]1507,1504,3)([1509]1441,21,4)([1510]1441,1441,1)([1511]1510,21,2)([1512]1508,1509,4)([1513]1509,1509,1)([1514]1513,1508,2)([1515]1514,1511,3)([1516]1445,22,4)([1517]1445,1445,1)([1518]1517,22,2)([1519]1515,1516,4)([1520]1516,1516,1)([1521]1520,1515,2)([1522]1521,1518,3)([1523]1449,23,4)([1524]1449,1449,1)([1525]1524,23,2)([1526]1522,1523,4)([1527]1523,1523,1)([1528]1527,1522,2)([1529]1528,1525,3)([1530]1453,24,4)([1531]1453,1453,1)([1532]1531,24,2)([1533]1529,1530,4)([1534]1530,1530,1)([1535]1534,1529,2)([1536]1535,1532,3)([1537]1457,25,4)([1538]1457,1457,1)([1539]1538,25,2)([1540]1536,1537,4)([1541]1537,1537,1)([1542]1541,1536,2)([1543]1542,1539,3)([1544]1461,26,4)([1545]1461,1461,1)([1546]1545,26,2)([1547]1543,1544,4)([1548]1544,1544,1)([1549]1548,1543,2)([1550]1549,1546,3)([1551]1465,27,4)([1552]1465,1465,1)([1553]1552,27,2)([1554]1550,1551,4)([1555]1551,1551,1)([1556]1555,1550,2)([1557]1556,1553,3)([1558]1469,28,4)([1559]1469,1469,1)([1560]1559,28,2)([1561]1557,1558,4)([1562]1558,1558,1)([1563]1562,1557,2)([1564]1563,1560,3)([1565]1473,29,4)([1566]1473,1473,1)([1567]1566,29,2)([1568]1564,1565,4)([1569]1565,1565,1)([1570]1569,1564,2)([1571]1570,1567,3)([1572]1477,30,4)([1573]1477,1477,1)([1574]1573,30,2)([1575]1571,1572,4)([1576]1572,1572,1)([1577]1576,1571,2)([1578]1577,1574,3)([1579]1481,31,4)([1580]1481,1481,1)([1581]1580,31,2)([1582]1578,1579,4)([1583]1579,1579,1)([1584]1583,1578,2)([1585]1584,1581,3)([1586]1485,32,4)([1587]1485,1485,1)([1588]1587,32,2)([1589]1585,1586,4)([1590]1586,1586,1)([1591]1590,1585,2)([1592]1591,1588,3)([1593]1489,33,4)([1594]1489,1489,1)([1595]1594,33,2)([1596]1592,1593,4)([1597]1593,1593,1)([1598]1597,1592,2)([1599]1598,1595,3)([1600]8,1599,2)([1601]1599,1599,1)([1602]1491,1601,2)([1603]1600,1602,4)([1604]1433,1599,2)([1605]1599,1599,1)([1606]1498,1605,2)([1607]1604,1606,4)([1608]1437,1599,2)([1609]1599,1599,1)([1610]1505,1609,2)([1611]1608,1610,4)([1612]1441,1599,2)([1613]1599,1599,1)([1614]1512,1613,2)([1615]1612,1614,4)([1616]1445,1599,2)([1617]1599,1599,1)([1618]1519,1617,2)([1619]1616,1618,4)([1620]1449,1599,2)([1621]1599,1599,1)([1622]1526,1621,2)([1623]1620,1622,4)([1624]1453,1599,2)([1625]1599,1599,1)([1626]1533,1625,2)([1627]1624,1626,4)([1628]1457,1599,2)([1629]1599,1599,1)([1630]1540,1629,2)([1631]1628,1630,4)([1632]1461,1599,2)([1633]1599,1599,1)([1634]1547,1633,2)([1635]1632,1634,4)([1636]1465,1599,2)([1637]1599,1599,1)([1638]1554,1637,2)([1639]1636,1638,4)([1640]1469,1599,2)([1641]1599,1599,1)([1642]1561,1641,2)([1643]1640,1642,4)([1644]1473,1599,2)([1645]1599,1599,1)([1646]1568,1645,2)([1647]1644,1646,4)([1648]1477,1599,2)([1649]1599,1599,1)([1650]1575,1649,2)([1651]1648,1650,4)([1652]1481,1599,2)([1653]1599,1599,1)([1654]1582,1653,2)([1655]1652,1654,4)([1656]1485,1599,2)([1657]1599,1599,1)([1658]1589,1657,2)([1659]1656,1658,4)([1660]1599,1599,1)([1661]7,18,4)([1662]7,7,1)([1663]1662,18,2)([1664]1661,1661,1)([1665]1603,19,4)([1666]1603,1603,1)([1667]1666,19,2)([1668]1663,1665,4)([1669]1665,1665,1)([1670]1669,1663,2)([1671]1670,1667,3)([1672]1607,20,4)([1673]1607,1607,1)([1674]1673,20,2)([1675]1671,1672,4)([1676]1672,1672,1)([1677]1676,1671,2)([1678]1677,1674,3)([1679]1611,21,4)([1680]1611,1611,1)([1681]1680,21,2)([1682]1678,1679,4)([1683]1679,1679,1)([1684]1683,1678,2)([1685]1684,1681,3)([1686]1615,22,4)([1687]1615,1615,1)([1688]1687,22,2)([1689]1685,1686,4)([1690]1686,1686,1)([1691]1690,1685,2)([1692]1691,1688,3)([1693]1619,23,4)([1694]1619,1619,1)([1695]1694,23,2)([1696]1692,1693,4)([1697]1693,1693,1)([1698]1697,1692,2)([1699]1698,1695,3)([1700]1623,24,4)([1701]1623,1623,1)([1702]1701,24,2)([1703]1699,1700,4)([1704]1700,1700,1)([1705]1704,1699,2)([1706]1705,1702,3)([1707]1627,25,4)([1708]1627,1627,1)([1709]1708,25,2)([1710]1706,1707,4)([1711]1707,1707,1)([1712]1711,1706,2)([1713]1712,1709,3)([1714]1631,26,4)([1715]1631,1631,1)([1716]1715,26,2)([1717]1713,1714,4)([1718]1714,1714,1)([1719]1718,1713,2)([1720]1719,1716,3)([1721]1635,27,4)([1722]1635,1635,1)([1723]1722,27,2)([1724]1720,1721,4)([1725]1721,1721,1)([1726]1725,1720,2)([1727]1726,1723,3)([1728]1639,28,4)([1729]1639,1639,1)([1730]1729,28,2)([1731]1727,1728,4)([1732]1728,1728,1)([1733]1732,1727,2)([1734]1733,1730,3)([1735]1643,29,4)([1736]1643,1643,1)([1737]1736,29,2)([1738]1734,1735,4)([1739]1735,1735,1)([1740]1739,1734,2)([1741]1740,1737,3)([1742]1647,30,4)([1743]1647,1647,1)([1744]1743,30,2)([1745]1741,1742,4)([1746]1742,1742,1)([1747]1746,1741,2)([1748]1747,1744,3)([1749]1651,31,4)([1750]1651,1651,1)([1751]1750,31,2)([1752]1748,1749,4)([1753]1749,1749,1)([1754]1753,1748,2)([1755]1754,1751,3)([1756]1655,32,4)([1757]1655,1655,1)([1758]1757,32,2)([1759]1755,1756,4)([1760]1756,1756,1)([1761]1760,1755,2)([1762]1761,1758,3)([1763]1659,33,4)([1764]1659,1659,1)([1765]1764,33,2)([1766]1762,1763,4)([1767]1763,1763,1)([1768]1767,1762,2)([1769]1768,1765,3)([1770]7,1769,2)([1771]1769,1769,1)([1772]1661,1771,2)([1773]1770,1772,4)([1774]1603,1769,2)([1775]1769,1769,1)([1776]1668,1775,2)([1777]1774,1776,4)([1778]1607,1769,2)([1779]1769,1769,1)([1780]1675,1779,2)([1781]1778,1780,4)([1782]1611,1769,2)([1783]1769,1769,1)([1784]1682,1783,2)([1785]1782,1784,4)([1786]1615,1769,2)([1787]1769,1769,1)([1788]1689,1787,2)([1789]1786,1788,4)([1790]1619,1769,2)([1791]1769,1769,1)([1792]1696,1791,2)([1793]1790,1792,4)([1794]1623,1769,2)([1795]1769,1769,1)([1796]1703,1795,2)([1797]1794,1796,4)([1798]1627,1769,2)([1799]1769,1769,1)([1800]1710,1799,2)([1801]1798,1800,4)([1802]1631,1769,2)([1803]1769,1769,1)([1804]1717,1803,2)([1805]1802,1804,4)([1806]1635,1769,2)([1807]1769,1769,1)([1808]1724,1807,2)([1809]1806,1808,4)([1810]1639,1769,2)([1811]1769,1769,1)([1812]1731,1811,2)([1813]1810,1812,4)([1814]1643,1769,2)([1815]1769,1769,1)([1816]1738,1815,2)([1817]1814,1816,4)([1818]1647,1769,2)([1819]1769,1769,1)([1820]1745,1819,2)([1821]1818,1820,4)([1822]1651,1769,2)([1823]1769,1769,1)([1824]1752,1823,2)([1825]1822,1824,4)([1826]1655,1769,2)([1827]1769,1769,1)([1828]1759,1827,2)([1829]1826,1828,4)([1830]1769,1769,1)([1831]6,18,4)([1832]6,6,1)([1833]1832,18,2)([1834]1831,1831,1)([1835]1773,19,4)([1836]1773,1773,1)([1837]1836,19,2)([1838]1833,1835,4)([1839]1835,1835,1)([1840]1839,1833,2)([1841]1840,1837,3)([1842]1777,20,4)([1843]1777,1777,1)([1844]1843,20,2)([1845]1841,1842,4)([1846]1842,1842,1)([1847]1846,1841,2)([1848]1847,1844,3)([1849]1781,21,4)([1850]1781,1781,1)([1851]1850,21,2)([1852]1848,1849,4)([1853]1849,1849,1)([1854]1853,1848,2)([1855]1854,1851,3)([1856]1785,22,4)([1857]1785,1785,1)([1858]1857,22,2)([1859]1855,1856,4)([1860]1856,1856,1)([1861]1860,1855,2)([1862]1861,1858,3)([1863]1789,23,4)([1864]1789,1789,1)([1865]1864,23,2)([1866]1862,1863,4)([1867]1863,1863,1)([1868]1867,1862,2)([1869]1868,1865,3)([1870]1793,24,4)([1871]1793,1793,1)([1872]1871,24,2)([1873]1869,1870,4)([1874]1870,1870,1)([1875]1874,1869,2)([1876]1875,1872,3)([1877]1797,25,4)([1878]1797,1797,1)([1879]1878,25,2)([1880]1876,1877,4)([1881]1877,1877,1)([1882]1881,1876,2)([1883]1882,1879,3)([1884]1801,26,4)([1885]1801,1801,1)([1886]1885,26,2)([1887]1883,1884,4)([1888]1884,1884,1)([1889]1888,1883,2)([1890]1889,1886,3)([1891]1805,27,4)([1892]1805,1805,1)([1893]1892,27,2)([1894]1890,1891,4)([1895]1891,1891,1)([1896]1895,1890,2)([1897]1896,1893,3)([1898]1809,28,4)([1899]1809,1809,1)([1900]1899,28,2)([1901]1897,1898,4)([1902]1898,1898,1)([1903]1902,1897,2)([1904]1903,1900,3)([1905]1813,29,4)([1906]1813,1813,1)([1907]1906,29,2)([1908]1904,1905,4)([1909]1905,1905,1)([1910]1909,1904,2)([1911]1910,1907,3)([1912]1817,30,4)([1913]1817,1817,1)([1914]1913,30,2)([1915]1911,1912,4)([1916]1912,1912,1)([1917]1916,1911,2)([1918]1917,1914,3)([1919]1821,31,4)([1920]1821,1821,1)([1921]1920,31,2)([1922]1918,1919,4)([1923]1919,1919,1)([1924]1923,1918,2)([1925]1924,1921,3)([1926]1825,32,4)([1927]1825,1825,1)([1928]1927,32,2)([1929]1925,1926,4)([1930]1926,1926,1)([1931]1930,1925,2)([1932]1931,1928,3)([1933]1829,33,4)([1934]1829,1829,1)([1935]1934,33,2)([1936]1932,1933,4)([1937]1933,1933,1)([1938]1937,1932,2)([1939]1938,1935,3)([1940]6,1939,2)([1941]1939,1939,1)([1942]1831,1941,2)([1943]1940,1942,4)([1944]1773,1939,2)([1945]1939,1939,1)([1946]1838,1945,2)([1947]1944,1946,4)([1948]1777,1939,2)([1949]1939,1939,1)([1950]1845,1949,2)([1951]1948,1950,4)([1952]1781,1939,2)([1953]1939,1939,1)([1954]1852,1953,2)([1955]1952,1954,4)([1956]1785,1939,2)([1957]1939,1939,1)([1958]1859,1957,2)([1959]1956,1958,4)([1960]1789,1939,2)([1961]1939,1939,1)([1962]1866,1961,2)([1963]1960,1962,4)([1964]1793,1939,2)([1965]1939,1939,1)([1966]1873,1965,2)([1967]1964,1966,4)([1968]1797,1939,2)([1969]1939,1939,1)([1970]1880,1969,2)([1971]1968,1970,4)([1972]1801,1939,2)([1973]1939,1939,1)([1974]1887,1973,2)([1975]1972,1974,4)([1976]1805,1939,2)([1977]1939,1939,1)([1978]1894,1977,2)([1979]1976,1978,4)([1980]1809,1939,2)([1981]1939,1939,1)([1982]1901,1981,2)([1983]1980,1982,4)([1984]1813,1939,2)([1985]1939,1939,1)([1986]1908,1985,2)([1987]1984,1986,4)([1988]1817,1939,2)([1989]1939,1939,1)([1990]1915,1989,2)([1991]1988,1990,4)([1992]1821,1939,2)([1993]1939,1939,1)([1994]1922,1993,2)([1995]1992,1994,4)([1996]1825,1939,2)([1997]1939,1939,1)([1998]1929,1997,2)([1999]1996,1998,4)([2000]1939,1939,1)([2001]5,18,4)([2002]5,5,1)([2003]2002,18,2)([2004]2001,2001,1)([2005]1943,19,4)([2006]1943,1943,1)([2007]2006,19,2)([2008]2003,2005,4)([2009]2005,2005,1)([2010]2009,2003,2)([2011]2010,2007,3)([2012]1947,20,4)([2013]1947,1947,1)([2014]2013,20,2)([2015]2011,2012,4)([2016]2012,2012,1)([2017]2016,2011,2)([2018]2017,2014,3)([2019]1951,21,4)([2020]1951,1951,1)([2021]2020,21,2)([2022]2018,2019,4)([2023]2019,2019,1)([2024]2023,2018,2)([2025]2024,2021,3)([2026]1955,22,4)([2027]1955,1955,1)([2028]2027,22,2)([2029]2025,2026,4)([2030]2026,2026,1)([2031]2030,2025,2)([2032]2031,2028,3)([2033]1959,23,4)([2034]1959,1959,1)([2035]2034,23,2)([2036]2032,2033,4)([2037]2033,2033,1)([2038]2037,2032,2)([2039]2038,2035,3)([2040]1963,24,4)([2041]1963,1963,1)([2042]2041,24,2)([2043]2039,2040,4)([2044]2040,2040,1)([2045]2044,2039,2)([2046]2045,2042,3)([2047]1967,25,4)([2048]1967,1967,1)([2049]2048,25,2)([2050]2046,2047,4)([2051]2047,2047,1)([2052]2051,2046,2)([2053]2052,2049,3)([2054]1971,26,4)([2055]1971,1971,1)([2056]2055,26,2)([2057]2053,2054,4)([2058]2054,2054,1)([2059]2058,2053,2)([2060]2059,2056,3)([2061]1975,27,4)([2062]1975,1975,1)([2063]2062,27,2)([2064]2060,2061,4)([2065]2061,2061,1)([2066]2065,2060,2)([2067]2066,2063,3)([2068]1979,28,4)([2069]1979,1979,1)([2070]2069,28,2)([2071]2067,2068,4)([2072]2068,2068,1)([2073]2072,2067,2)([2074]2073,2070,3)([2075]1983,29,4)([2076]1983,1983,1)([2077]2076,29,2)([2078]2074,2075,4)([2079]2075,2075,1)([2080]2079,2074,2)([2081]2080,2077,3)([2082]1987,30,4)([2083]1987,1987,1)([2084]2083,30,2)([2085]2081,2082,4)([2086]2082,2082,1)([2087]2086,2081,2)([2088]2087,2084,3)([2089]1991,31,4)([2090]1991,1991,1)([2091]2090,31,2)([2092]2088,2089,4)([2093]2089,2089,1)([2094]2093,2088,2)([2095]2094,2091,3)([2096]1995,32,4)([2097]1995,1995,1)([2098]2097,32,2)([2099]2095,2096,4)([2100]2096,2096,1)([2101]2100,2095,2)([2102]2101,2098,3)([2103]1999,33,4)([2104]1999,1999,1)([2105]2104,33,2)([2106]2102,2103,4)([2107]2103,2103,1)([2108]2107,2102,2)([2109]2108,2105,3)([2110]5,2109,2)([2111]2109,2109,1)([2112]2001,2111,2)([2113]2110,2112,4)([2114]1943,2109,2)([2115]2109,2109,1)([2116]2008,2115,2)([2117]2114,2116,4)([2118]1947,2109,2)([2119]2109,2109,1)([2120]2015,2119,2)([2121]2118,2120,4)([2122]1951,2109,2)([2123]2109,2109,1)([2124]2022,2123,2)([2125]2122,2124,4)([2126]1955,2109,2)([2127]2109,2109,1)([2128]2029,2127,2)([2129]2126,2128,4)([2130]1959,2109,2)([2131]2109,2109,1)([2132]2036,2131,2)([2133]2130,2132,4)([2134]1963,2109,2)([2135]2109,2109,1)([2136]2043,2135,2)([2137]2134,2136,4)([2138]1967,2109,2)([2139]2109,2109,1)([2140]2050,2139,2)([2141]2138,2140,4)([2142]1971,2109,2)([2143]2109,2109,1)([2144]2057,2143,2)([2145]2142,2144,4)([2146]1975,2109,2)([2147]2109,2109,1)([2148]2064,2147,2)([2149]2146,2148,4)([2150]1979,2109,2)([2151]2109,2109,1)([2152]2071,2151,2)([2153]2150,2152,4)([2154]1983,2109,2)([2155]2109,2109,1)([2156]2078,2155,2)([2157]2154,2156,4)([2158]1987,2109,2)([2159]2109,2109,1)([2160]2085,2159,2)([2161]2158,2160,4)([2162]1991,2109,2)([2163]2109,2109,1)([2164]2092,2163,2)([2165]2162,2164,4)([2166]1995,2109,2)([2167]2109,2109,1)([2168]2099,2167,2)([2169]2166,2168,4)([2170]2109,2109,1)([2171]4,18,4)([2172]4,4,1)([2173]2172,18,2)([2174]2171,2171,1)([2175]2113,19,4)([2176]2113,2113,1)([2177]2176,19,2)([2178]2173,2175,4)([2179]2175,2175,1)([2180]2179,2173,2)([2181]2180,2177,3)([2182]2117,20,4)([2183]2117,2117,1)([2184]2183,20,2)([2185]2181,2182,4)([2186]2182,2182,1)([2187]2186,2181,2)([2188]2187,2184,3)([2189]2121,21,4)([2190]2121,2121,1)([2191]2190,21,2)([2192]2188,2189,4)([2193]2189,2189,1)([2194]2193,2188,2)([2195]2194,2191,3)([2196]2125,22,4)([2197]2125,2125,1)([2198]2197,22,2)([2199]2195,2196,4)([2200]2196,2196,1)([2201]2200,2195,2)([2202]2201,2198,3)([2203]2129,23,4)([2204]2129,2129,1)([2205]2204,23,2)([2206]2202,2203,4)([2207]2203,2203,1)([2208]2207,2202,2)([2209]2208,2205,3)([2210]2133,24,4)([2211]2133,2133,1)([2212]2211,24,2)([2213]2209,2210,4)([2214]2210,2210,1)([2215]2214,2209,2)([2216]2215,2212,3)([2217]2137,25,4)([2218]2137,2137,1)([2219]2218,25,2)([2220]2216,2217,4)([2221]2217,2217,1)([2222]2221,2216,2)([2223]2222,2219,3)([2224]2141,26,4)([2225]2141,2141,1)([2226]2225,26,2)([2227]2223,2224,4)([2228]2224,2224,1)([2229]2228,2223,2)([2230]2229,2226,3)([2231]2145,27,4)([2232]2145,2145,1)([2233]2232,27,2)([2234]2230,2231,4)([2235]2231,2231,1)([2236]2235,2230,2)([2237]2236,2233,3)([2238]2149,28,4)([2239]2149,2149,1)([2240]2239,28,2)([2241]2237,2238,4)([2242]2238,2238,1)([2243]2242,2237,2)([2244]2243,2240,3)([2245]2153,29,4)([2246]2153,2153,1)([2247]2246,29,2)([2248]2244,2245,4)([2249]2245,2245,1)([2250]2249,2244,2)([2251]2250,2247,3)([2252]2157,30,4)([2253]2157,2157,1)([2254]2253,30,2)([2255]2251,2252,4)([2256]2252,2252,1)([2257]2256,2251,2)([2258]2257,2254,3)([2259]2161,31,4)([2260]2161,2161,1)([2261]2260,31,2)([2262]2258,2259,4)([2263]2259,2259,1)([2264]2263,2258,2)([2265]2264,2261,3)([2266]2165,32,4)([2267]2165,2165,1)([2268]2267,32,2)([2269]2265,2266,4)([2270]2266,2266,1)([2271]2270,2265,2)([2272]2271,2268,3)([2273]2169,33,4)([2274]2169,2169,1)([2275]2274,33,2)([2276]2272,2273,4)([2277]2273,2273,1)([2278]2277,2272,2)([2279]2278,2275,3)([2280]4,2279,2)([2281]2279,2279,1)([2282]2171,2281,2)([2283]2280,2282,4)([2284]2113,2279,2)([2285]2279,2279,1)([2286]2178,2285,2)([2287]2284,2286,4)([2288]2117,2279,2)([2289]2279,2279,1)([2290]2185,2289,2)([2291]2288,2290,4)([2292]2121,2279,2)([2293]2279,2279,1)([2294]2192,2293,2)([2295]2292,2294,4)([2296]2125,2279,2)([2297]2279,2279,1)([2298]2199,2297,2)([2299]2296,2298,4)([2300]2129,2279,2)([2301]2279,2279,1)([2302]2206,2301,2)([2303]2300,2302,4)([2304]2133,2279,2)([2305]2279,2279,1)([2306]2213,2305,2)([2307]2304,2306,4)([2308]2137,2279,2)([2309]2279,2279,1)([2310]2220,2309,2)([2311]2308,2310,4)([2312]2141,2279,2)([2313]2279,2279,1)([2314]2227,2313,2)([2315]2312,2314,4)([2316]2145,2279,2)([2317]2279,2279,1)([2318]2234,2317,2)([2319]2316,2318,4)([2320]2149,2279,2)([2321]2279,2279,1)([2322]2241,2321,2)([2323]2320,2322,4)([2324]2153,2279,2)([2325]2279,2279,1)([2326]2248,2325,2)([2327]2324,2326,4)([2328]2157,2279,2)([2329]2279,2279,1)([2330]2255,2329,2)([2331]2328,2330,4)([2332]2161,2279,2)([2333]2279,2279,1)([2334]2262,2333,2)([2335]2332,2334,4)([2336]2165,2279,2)([2337]2279,2279,1)([2338]2269,2337,2)([2339]2336,2338,4)([2340]2279,2279,1)([2341]3,18,4)([2342]3,3,1)([2343]2342,18,2)([2344]2341,2341,1)([2345]2283,19,4)([2346]2283,2283,1)([2347]2346,19,2)([2348]2343,2345,4)([2349]2345,2345,1)([2350]2349,2343,2)([2351]2350,2347,3)([2352]2287,20,4)([2353]2287,2287,1)([2354]2353,20,2)([2355]2351,2352,4)([2356]2352,2352,1)([2357]2356,2351,2)([2358]2357,2354,3)([2359]2291,21,4)([2360]2291,2291,1)([2361]2360,21,2)([2362]2358,2359,4)([2363]2359,2359,1)([2364]2363,2358,2)([2365]2364,2361,3)([2366]2295,22,4)([2367]2295,2295,1)([2368]2367,22,2)([2369]2365,2366,4)([2370]2366,2366,1)([2371]2370,2365,2)([2372]2371,2368,3)([2373]2299,23,4)([2374]2299,2299,1)([2375]2374,23,2)([2376]2372,2373,4)([2377]2373,2373,1)([2378]2377,2372,2)([2379]2378,2375,3)([2380]2303,24,4)([2381]2303,2303,1)([2382]2381,24,2)([2383]2379,2380,4)([2384]2380,2380,1)([2385]2384,2379,2)([2386]2385,2382,3)([2387]2307,25,4)([2388]2307,2307,1)([2389]2388,25,2)([2390]2386,2387,4)([2391]2387,2387,1)([2392]2391,2386,2)([2393]2392,2389,3)([2394]2311,26,4)([2395]2311,2311,1)([2396]2395,26,2)([2397]2393,2394,4)([2398]2394,2394,1)([2399]2398,2393,2)([2400]2399,2396,3)([2401]2315,27,4)([2402]2315,2315,1)([2403]2402,27,2)([2404]2400,2401,4)([2405]2401,2401,1)([2406]2405,2400,2)([2407]2406,2403,3)([2408]2319,28,4)([2409]2319,2319,1)([2410]2409,28,2)([2411]2407,2408,4)([2412]2408,2408,1)([2413]2412,2407,2)([2414]2413,2410,3)([2415]2323,29,4)([2416]2323,2323,1)([2417]2416,29,2)([2418]2414,2415,4)([2419]2415,2415,1)([2420]2419,2414,2)([2421]2420,2417,3)([2422]2327,30,4)([2423]2327,2327,1)([2424]2423,30,2)([2425]2421,2422,4)([2426]2422,2422,1)([2427]2426,2421,2)([2428]2427,2424,3)([2429]2331,31,4)([2430]2331,2331,1)([2431]2430,31,2)([2432]2428,2429,4)([2433]2429,2429,1)([2434]2433,2428,2)([2435]2434,2431,3)([2436]2335,32,4)([2437]2335,2335,1)([2438]2437,32,2)([2439]2435,2436,4)([2440]2436,2436,1)([2441]2440,2435,2)([2442]2441,2438,3)([2443]2339,33,4)([2444]2339,2339,1)([2445]2444,33,2)([2446]2442,2443,4)([2447]2443,2443,1)([2448]2447,2442,2)([2449]2448,2445,3)([2450]3,2449,2)([2451]2449,2449,1)([2452]2341,2451,2)([2453]2450,2452,4)([2454]2283,2449,2)([2455]2449,2449,1)([2456]2348,2455,2)([2457]2454,2456,4)([2458]2287,2449,2)([2459]2449,2449,1)([2460]2355,2459,2)([2461]2458,2460,4)([2462]2291,2449,2)([2463]2449,2449,1)([2464]2362,2463,2)([2465]2462,2464,4)([2466]2295,2449,2)([2467]2449,2449,1)([2468]2369,2467,2)([2469]2466,2468,4)([2470]2299,2449,2)([2471]2449,2449,1)([2472]2376,2471,2)([2473]2470,2472,4)([2474]2303,2449,2)([2475]2449,2449,1)([2476]2383,2475,2)([2477]2474,2476,4)([2478]2307,2449,2)([2479]2449,2449,1)([2480]2390,2479,2)([2481]2478,2480,4)([2482]2311,2449,2)([2483]2449,2449,1)([2484]2397,2483,2)([2485]2482,2484,4)([2486]2315,2449,2)([2487]2449,2449,1)([2488]2404,2487,2)([2489]2486,2488,4)([2490]2319,2449,2)([2491]2449,2449,1)([2492]2411,2491,2)([2493]2490,2492,4)([2494]2323,2449,2)([2495]2449,2449,1)([2496]2418,2495,2)([2497]2494,2496,4)([2498]2327,2449,2)([2499]2449,2449,1)([2500]2425,2499,2)([2501]2498,2500,4)([2502]2331,2449,2)([2503]2449,2449,1)([2504]2432,2503,2)([2505]2502,2504,4)([2506]2335,2449,2)([2507]2449,2449,1)([2508]2439,2507,2)([2509]2506,2508,4)([2510]2449,2449,1)([2511]2,18,4)([2512]2,2,1)([2513]2512,18,2)([2514]2511,2511,1)([2515]2453,19,4)([2516]2453,2453,1)([2517]2516,19,2)([2518]2513,2515,4)([2519]2515,2515,1)([2520]2519,2513,2)([2521]2520,2517,3)([2522]2457,20,4)([2523]2457,2457,1)([2524]2523,20,2)([2525]2521,2522,4)([2526]2522,2522,1)([2527]2526,2521,2)([2528]2527,2524,3)([2529]2461,21,4)([2530]2461,2461,1)([2531]2530,21,2)([2532]2528,2529,4)([2533]2529,2529,1)([2534]2533,2528,2)([2535]2534,2531,3)([2536]2465,22,4)([2537]2465,2465,1)([2538]2537,22,2)([2539]2535,2536,4)([2540]2536,2536,1)([2541]2540,2535,2)([2542]2541,2538,3)([2543]2469,23,4)([2544]2469,2469,1)([2545]2544,23,2)([2546]2542,2543,4)([2547]2543,2543,1)([2548]2547,2542,2)([2549]2548,2545,3)([2550]2473,24,4)([2551]2473,2473,1)([2552]2551,24,2)([2553]2549,2550,4)([2554]2550,2550,1)([2555]2554,2549,2)([2556]2555,2552,3)([2557]2477,25,4)([2558]2477,2477,1)([2559]2558,25,2)([2560]2556,2557,4)([2561]2557,2557,1)([2562]2561,2556,2)([2563]2562,2559,3)([2564]2481,26,4)([2565]2481,2481,1)([2566]2565,26,2)([2567]2563,2564,4)([2568]2564,2564,1)([2569]2568,2563,2)([2570]2569,2566,3)([2571]2485,27,4)([2572]2485,2485,1)([2573]2572,27,2)([2574]2570,2571,4)([2575]2571,2571,1)([2576]2575,2570,2)([2577]2576,2573,3)([2578]2489,28,4)([2579]2489,2489,1)([2580]2579,28,2)([2581]2577,2578,4)([2582]2578,2578,1)([2583]2582,2577,2)([2584]2583,2580,3)([2585]2493,29,4)([2586]2493,2493,1)([2587]2586,29,2)([2588]2584,2585,4)([2589]2585,2585,1)([2590]2589,2584,2)([2591]2590,2587,3)([2592]2497,30,4)([2593]2497,2497,1)([2594]2593,30,2)([2595]2591,2592,4)([2596]2592,2592,1)([2597]2596,2591,2)([2598]2597,2594,3)([2599]2501,31,4)([2600]2501,2501,1)([2601]2600,31,2)([2602]2598,2599,4)([2603]2599,2599,1)([2604]2603,2598,2)([2605]2604,2601,3)([2606]2505,32,4)([2607]2505,2505,1)([2608]2607,32,2)([2609]2605,2606,4)([2610]2606,2606,1)([2611]2610,2605,2)([2612]2611,2608,3)([2613]2509,33,4)([2614]2509,2509,1)([2615]2614,33,2)([2616]2612,2613,4)([2617]2613,2613,1)([2618]2617,2612,2)([2619]2618,2615,3)([2620]2619,2619,1)(2620,2510,2340,2170,2000,1830,1660,1490,1320,1150,980,810,640,470,300,130) |