Jan Klhůfek 56c86c13ca
New multipliers (#13)
* #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>
2022-04-17 16:00:00 +02:00

1 line
26 KiB
Plaintext

{32,32,1,1585,2,1,0}([34]4,18,2)([35]3,19,2)([36]34,35,4)([37]34,35,2)([38]5,18,2)([39]4,19,2)([40]37,38,4)([41]37,38,2)([42]40,39,4)([43]40,39,2)([44]41,43,3)([45]6,18,2)([46]5,19,2)([47]44,45,4)([48]44,45,2)([49]47,46,4)([50]47,46,2)([51]48,50,3)([52]7,18,2)([53]6,19,2)([54]51,52,4)([55]51,52,2)([56]54,53,4)([57]54,53,2)([58]55,57,3)([59]8,18,2)([60]7,19,2)([61]58,59,4)([62]58,59,2)([63]61,60,4)([64]61,60,2)([65]62,64,3)([66]9,18,2)([67]8,19,2)([68]65,66,4)([69]65,66,2)([70]68,67,4)([71]68,67,2)([72]69,71,3)([73]10,18,2)([74]9,19,2)([75]72,73,4)([76]72,73,2)([77]75,74,4)([78]75,74,2)([79]76,78,3)([80]11,18,2)([81]10,19,2)([82]79,80,4)([83]79,80,2)([84]82,81,4)([85]82,81,2)([86]83,85,3)([87]12,18,2)([88]11,19,2)([89]86,87,4)([90]86,87,2)([91]89,88,4)([92]89,88,2)([93]90,92,3)([94]13,18,2)([95]12,19,2)([96]93,94,4)([97]93,94,2)([98]96,95,4)([99]96,95,2)([100]97,99,3)([101]14,18,2)([102]13,19,2)([103]100,101,4)([104]100,101,2)([105]103,102,4)([106]103,102,2)([107]104,106,3)([108]15,18,2)([109]14,19,2)([110]107,108,4)([111]107,108,2)([112]110,109,4)([113]110,109,2)([114]111,113,3)([115]16,18,2)([116]15,19,2)([117]114,115,4)([118]114,115,2)([119]117,116,4)([120]117,116,2)([121]118,120,3)([122]17,18,2)([123]16,19,2)([124]121,122,4)([125]121,122,2)([126]124,123,4)([127]124,123,2)([128]125,127,3)([129]17,19,2)([130]16,20,2)([131]128,129,4)([132]128,129,2)([133]131,130,4)([134]131,130,2)([135]132,134,3)([136]17,20,2)([137]16,21,2)([138]135,136,4)([139]135,136,2)([140]138,137,4)([141]138,137,2)([142]139,141,3)([143]17,21,2)([144]16,22,2)([145]142,143,4)([146]142,143,2)([147]145,144,4)([148]145,144,2)([149]146,148,3)([150]17,22,2)([151]16,23,2)([152]149,150,4)([153]149,150,2)([154]152,151,4)([155]152,151,2)([156]153,155,3)([157]17,23,2)([158]16,24,2)([159]156,157,4)([160]156,157,2)([161]159,158,4)([162]159,158,2)([163]160,162,3)([164]17,24,2)([165]16,25,2)([166]163,164,4)([167]163,164,2)([168]166,165,4)([169]166,165,2)([170]167,169,3)([171]17,25,2)([172]16,26,2)([173]170,171,4)([174]170,171,2)([175]173,172,4)([176]173,172,2)([177]174,176,3)([178]17,26,2)([179]16,27,2)([180]177,178,4)([181]177,178,2)([182]180,179,4)([183]180,179,2)([184]181,183,3)([185]17,27,2)([186]16,28,2)([187]184,185,4)([188]184,185,2)([189]187,186,4)([190]187,186,2)([191]188,190,3)([192]17,28,2)([193]16,29,2)([194]191,192,4)([195]191,192,2)([196]194,193,4)([197]194,193,2)([198]195,197,3)([199]17,29,2)([200]16,30,2)([201]198,199,4)([202]198,199,2)([203]201,200,4)([204]201,200,2)([205]202,204,3)([206]17,30,2)([207]16,31,2)([208]205,206,4)([209]205,206,2)([210]208,207,4)([211]208,207,2)([212]209,211,3)([213]17,31,2)([214]16,32,2)([215]212,213,4)([216]212,213,2)([217]215,214,4)([218]215,214,2)([219]216,218,3)([220]3,20,2)([221]2,21,2)([222]220,221,4)([223]220,221,2)([224]4,20,2)([225]3,21,2)([226]223,224,4)([227]223,224,2)([228]226,225,4)([229]226,225,2)([230]227,229,3)([231]5,20,2)([232]4,21,2)([233]230,231,4)([234]230,231,2)([235]233,232,4)([236]233,232,2)([237]234,236,3)([238]6,20,2)([239]5,21,2)([240]237,238,4)([241]237,238,2)([242]240,239,4)([243]240,239,2)([244]241,243,3)([245]7,20,2)([246]6,21,2)([247]244,245,4)([248]244,245,2)([249]247,246,4)([250]247,246,2)([251]248,250,3)([252]8,20,2)([253]7,21,2)([254]251,252,4)([255]251,252,2)([256]254,253,4)([257]254,253,2)([258]255,257,3)([259]9,20,2)([260]8,21,2)([261]258,259,4)([262]258,259,2)([263]261,260,4)([264]261,260,2)([265]262,264,3)([266]10,20,2)([267]9,21,2)([268]265,266,4)([269]265,266,2)([270]268,267,4)([271]268,267,2)([272]269,271,3)([273]11,20,2)([274]10,21,2)([275]272,273,4)([276]272,273,2)([277]275,274,4)([278]275,274,2)([279]276,278,3)([280]12,20,2)([281]11,21,2)([282]279,280,4)([283]279,280,2)([284]282,281,4)([285]282,281,2)([286]283,285,3)([287]13,20,2)([288]12,21,2)([289]286,287,4)([290]286,287,2)([291]289,288,4)([292]289,288,2)([293]290,292,3)([294]14,20,2)([295]13,21,2)([296]293,294,4)([297]293,294,2)([298]296,295,4)([299]296,295,2)([300]297,299,3)([301]15,20,2)([302]14,21,2)([303]300,301,4)([304]300,301,2)([305]303,302,4)([306]303,302,2)([307]304,306,3)([308]15,21,2)([309]14,22,2)([310]307,308,4)([311]307,308,2)([312]310,309,4)([313]310,309,2)([314]311,313,3)([315]15,22,2)([316]14,23,2)([317]314,315,4)([318]314,315,2)([319]317,316,4)([320]317,316,2)([321]318,320,3)([322]15,23,2)([323]14,24,2)([324]321,322,4)([325]321,322,2)([326]324,323,4)([327]324,323,2)([328]325,327,3)([329]15,24,2)([330]14,25,2)([331]328,329,4)([332]328,329,2)([333]331,330,4)([334]331,330,2)([335]332,334,3)([336]15,25,2)([337]14,26,2)([338]335,336,4)([339]335,336,2)([340]338,337,4)([341]338,337,2)([342]339,341,3)([343]15,26,2)([344]14,27,2)([345]342,343,4)([346]342,343,2)([347]345,344,4)([348]345,344,2)([349]346,348,3)([350]15,27,2)([351]14,28,2)([352]349,350,4)([353]349,350,2)([354]352,351,4)([355]352,351,2)([356]353,355,3)([357]15,28,2)([358]14,29,2)([359]356,357,4)([360]356,357,2)([361]359,358,4)([362]359,358,2)([363]360,362,3)([364]15,29,2)([365]14,30,2)([366]363,364,4)([367]363,364,2)([368]366,365,4)([369]366,365,2)([370]367,369,3)([371]15,30,2)([372]14,31,2)([373]370,371,4)([374]370,371,2)([375]373,372,4)([376]373,372,2)([377]374,376,3)([378]15,31,2)([379]14,32,2)([380]377,378,4)([381]377,378,2)([382]380,379,4)([383]380,379,2)([384]381,383,3)([385]15,32,2)([386]14,33,2)([387]384,385,4)([388]384,385,2)([389]387,386,4)([390]387,386,2)([391]388,390,3)([392]2,22,2)([393]392,49,4)([394]392,49,2)([395]3,22,2)([396]2,23,2)([397]394,395,4)([398]394,395,2)([399]397,396,4)([400]397,396,2)([401]398,400,3)([402]4,22,2)([403]3,23,2)([404]401,402,4)([405]401,402,2)([406]404,403,4)([407]404,403,2)([408]405,407,3)([409]5,22,2)([410]4,23,2)([411]408,409,4)([412]408,409,2)([413]411,410,4)([414]411,410,2)([415]412,414,3)([416]6,22,2)([417]5,23,2)([418]415,416,4)([419]415,416,2)([420]418,417,4)([421]418,417,2)([422]419,421,3)([423]7,22,2)([424]6,23,2)([425]422,423,4)([426]422,423,2)([427]425,424,4)([428]425,424,2)([429]426,428,3)([430]8,22,2)([431]7,23,2)([432]429,430,4)([433]429,430,2)([434]432,431,4)([435]432,431,2)([436]433,435,3)([437]9,22,2)([438]8,23,2)([439]436,437,4)([440]436,437,2)([441]439,438,4)([442]439,438,2)([443]440,442,3)([444]10,22,2)([445]9,23,2)([446]443,444,4)([447]443,444,2)([448]446,445,4)([449]446,445,2)([450]447,449,3)([451]11,22,2)([452]10,23,2)([453]450,451,4)([454]450,451,2)([455]453,452,4)([456]453,452,2)([457]454,456,3)([458]12,22,2)([459]11,23,2)([460]457,458,4)([461]457,458,2)([462]460,459,4)([463]460,459,2)([464]461,463,3)([465]13,22,2)([466]12,23,2)([467]464,465,4)([468]464,465,2)([469]467,466,4)([470]467,466,2)([471]468,470,3)([472]13,23,2)([473]12,24,2)([474]471,472,4)([475]471,472,2)([476]474,473,4)([477]474,473,2)([478]475,477,3)([479]13,24,2)([480]12,25,2)([481]478,479,4)([482]478,479,2)([483]481,480,4)([484]481,480,2)([485]482,484,3)([486]13,25,2)([487]12,26,2)([488]485,486,4)([489]485,486,2)([490]488,487,4)([491]488,487,2)([492]489,491,3)([493]13,26,2)([494]12,27,2)([495]492,493,4)([496]492,493,2)([497]495,494,4)([498]495,494,2)([499]496,498,3)([500]13,27,2)([501]12,28,2)([502]499,500,4)([503]499,500,2)([504]502,501,4)([505]502,501,2)([506]503,505,3)([507]13,28,2)([508]12,29,2)([509]506,507,4)([510]506,507,2)([511]509,508,4)([512]509,508,2)([513]510,512,3)([514]13,29,2)([515]12,30,2)([516]513,514,4)([517]513,514,2)([518]516,515,4)([519]516,515,2)([520]517,519,3)([521]13,30,2)([522]12,31,2)([523]520,521,4)([524]520,521,2)([525]523,522,4)([526]523,522,2)([527]524,526,3)([528]13,31,2)([529]12,32,2)([530]527,528,4)([531]527,528,2)([532]530,529,4)([533]530,529,2)([534]531,533,3)([535]13,32,2)([536]12,33,2)([537]534,535,4)([538]534,535,2)([539]537,536,4)([540]537,536,2)([541]538,540,3)([542]13,33,2)([543]541,542,4)([544]541,542,2)([545]543,203,4)([546]543,203,2)([547]544,546,3)([548]56,235,4)([549]56,235,2)([550]2,24,2)([551]549,550,4)([552]549,550,2)([553]551,63,4)([554]551,63,2)([555]552,554,3)([556]3,24,2)([557]2,25,2)([558]555,556,4)([559]555,556,2)([560]558,557,4)([561]558,557,2)([562]559,561,3)([563]4,24,2)([564]3,25,2)([565]562,563,4)([566]562,563,2)([567]565,564,4)([568]565,564,2)([569]566,568,3)([570]5,24,2)([571]4,25,2)([572]569,570,4)([573]569,570,2)([574]572,571,4)([575]572,571,2)([576]573,575,3)([577]6,24,2)([578]5,25,2)([579]576,577,4)([580]576,577,2)([581]579,578,4)([582]579,578,2)([583]580,582,3)([584]7,24,2)([585]6,25,2)([586]583,584,4)([587]583,584,2)([588]586,585,4)([589]586,585,2)([590]587,589,3)([591]8,24,2)([592]7,25,2)([593]590,591,4)([594]590,591,2)([595]593,592,4)([596]593,592,2)([597]594,596,3)([598]9,24,2)([599]8,25,2)([600]597,598,4)([601]597,598,2)([602]600,599,4)([603]600,599,2)([604]601,603,3)([605]10,24,2)([606]9,25,2)([607]604,605,4)([608]604,605,2)([609]607,606,4)([610]607,606,2)([611]608,610,3)([612]11,24,2)([613]10,25,2)([614]611,612,4)([615]611,612,2)([616]614,613,4)([617]614,613,2)([618]615,617,3)([619]11,25,2)([620]10,26,2)([621]618,619,4)([622]618,619,2)([623]621,620,4)([624]621,620,2)([625]622,624,3)([626]11,26,2)([627]10,27,2)([628]625,626,4)([629]625,626,2)([630]628,627,4)([631]628,627,2)([632]629,631,3)([633]11,27,2)([634]10,28,2)([635]632,633,4)([636]632,633,2)([637]635,634,4)([638]635,634,2)([639]636,638,3)([640]11,28,2)([641]10,29,2)([642]639,640,4)([643]639,640,2)([644]642,641,4)([645]642,641,2)([646]643,645,3)([647]11,29,2)([648]10,30,2)([649]646,647,4)([650]646,647,2)([651]649,648,4)([652]649,648,2)([653]650,652,3)([654]11,30,2)([655]10,31,2)([656]653,654,4)([657]653,654,2)([658]656,655,4)([659]656,655,2)([660]657,659,3)([661]11,31,2)([662]10,32,2)([663]660,661,4)([664]660,661,2)([665]663,662,4)([666]663,662,2)([667]664,666,3)([668]11,32,2)([669]10,33,2)([670]667,668,4)([671]667,668,2)([672]670,669,4)([673]670,669,2)([674]671,673,3)([675]11,33,2)([676]674,675,4)([677]674,675,2)([678]676,189,4)([679]676,189,2)([680]677,679,3)([681]680,196,4)([682]680,196,2)([683]681,375,4)([684]681,375,2)([685]682,684,3)([686]242,406,4)([687]242,406,2)([688]687,70,4)([689]687,70,2)([690]688,249,4)([691]688,249,2)([692]689,691,3)([693]2,26,2)([694]692,693,4)([695]692,693,2)([696]694,77,4)([697]694,77,2)([698]695,697,3)([699]3,26,2)([700]2,27,2)([701]698,699,4)([702]698,699,2)([703]701,700,4)([704]701,700,2)([705]702,704,3)([706]4,26,2)([707]3,27,2)([708]705,706,4)([709]705,706,2)([710]708,707,4)([711]708,707,2)([712]709,711,3)([713]5,26,2)([714]4,27,2)([715]712,713,4)([716]712,713,2)([717]715,714,4)([718]715,714,2)([719]716,718,3)([720]6,26,2)([721]5,27,2)([722]719,720,4)([723]719,720,2)([724]722,721,4)([725]722,721,2)([726]723,725,3)([727]7,26,2)([728]6,27,2)([729]726,727,4)([730]726,727,2)([731]729,728,4)([732]729,728,2)([733]730,732,3)([734]8,26,2)([735]7,27,2)([736]733,734,4)([737]733,734,2)([738]736,735,4)([739]736,735,2)([740]737,739,3)([741]9,26,2)([742]8,27,2)([743]740,741,4)([744]740,741,2)([745]743,742,4)([746]743,742,2)([747]744,746,3)([748]9,27,2)([749]8,28,2)([750]747,748,4)([751]747,748,2)([752]750,749,4)([753]750,749,2)([754]751,753,3)([755]9,28,2)([756]8,29,2)([757]754,755,4)([758]754,755,2)([759]757,756,4)([760]757,756,2)([761]758,760,3)([762]9,29,2)([763]8,30,2)([764]761,762,4)([765]761,762,2)([766]764,763,4)([767]764,763,2)([768]765,767,3)([769]9,30,2)([770]8,31,2)([771]768,769,4)([772]768,769,2)([773]771,770,4)([774]771,770,2)([775]772,774,3)([776]9,31,2)([777]8,32,2)([778]775,776,4)([779]775,776,2)([780]778,777,4)([781]778,777,2)([782]779,781,3)([783]9,32,2)([784]8,33,2)([785]782,783,4)([786]782,783,2)([787]785,784,4)([788]785,784,2)([789]786,788,3)([790]9,33,2)([791]789,790,4)([792]789,790,2)([793]791,175,4)([794]791,175,2)([795]792,794,3)([796]795,182,4)([797]795,182,2)([798]796,361,4)([799]796,361,2)([800]797,799,3)([801]800,368,4)([802]800,368,2)([803]801,532,4)([804]801,532,2)([805]802,804,3)([806]413,560,4)([807]413,560,2)([808]807,256,4)([809]807,256,2)([810]808,420,4)([811]808,420,2)([812]809,811,3)([813]812,84,4)([814]812,84,2)([815]813,263,4)([816]813,263,2)([817]814,816,3)([818]2,28,2)([819]817,818,4)([820]817,818,2)([821]819,91,4)([822]819,91,2)([823]820,822,3)([824]3,28,2)([825]2,29,2)([826]823,824,4)([827]823,824,2)([828]826,825,4)([829]826,825,2)([830]827,829,3)([831]4,28,2)([832]3,29,2)([833]830,831,4)([834]830,831,2)([835]833,832,4)([836]833,832,2)([837]834,836,3)([838]5,28,2)([839]4,29,2)([840]837,838,4)([841]837,838,2)([842]840,839,4)([843]840,839,2)([844]841,843,3)([845]6,28,2)([846]5,29,2)([847]844,845,4)([848]844,845,2)([849]847,846,4)([850]847,846,2)([851]848,850,3)([852]7,28,2)([853]6,29,2)([854]851,852,4)([855]851,852,2)([856]854,853,4)([857]854,853,2)([858]855,857,3)([859]7,29,2)([860]6,30,2)([861]858,859,4)([862]858,859,2)([863]861,860,4)([864]861,860,2)([865]862,864,3)([866]7,30,2)([867]6,31,2)([868]865,866,4)([869]865,866,2)([870]868,867,4)([871]868,867,2)([872]869,871,3)([873]7,31,2)([874]6,32,2)([875]872,873,4)([876]872,873,2)([877]875,874,4)([878]875,874,2)([879]876,878,3)([880]7,32,2)([881]6,33,2)([882]879,880,4)([883]879,880,2)([884]882,881,4)([885]882,881,2)([886]883,885,3)([887]7,33,2)([888]886,887,4)([889]886,887,2)([890]888,161,4)([891]888,161,2)([892]889,891,3)([893]892,168,4)([894]892,168,2)([895]893,347,4)([896]893,347,2)([897]894,896,3)([898]897,354,4)([899]897,354,2)([900]898,518,4)([901]898,518,2)([902]899,901,3)([903]902,525,4)([904]902,525,2)([905]903,672,4)([906]903,672,2)([907]904,906,3)([908]567,696,4)([909]567,696,2)([910]909,427,4)([911]909,427,2)([912]910,574,4)([913]910,574,2)([914]911,913,3)([915]914,270,4)([916]914,270,2)([917]915,434,4)([918]915,434,2)([919]916,918,3)([920]919,98,4)([921]919,98,2)([922]920,277,4)([923]920,277,2)([924]921,923,3)([925]2,30,2)([926]924,925,4)([927]924,925,2)([928]926,105,4)([929]926,105,2)([930]927,929,3)([931]3,30,2)([932]2,31,2)([933]930,931,4)([934]930,931,2)([935]933,932,4)([936]933,932,2)([937]934,936,3)([938]4,30,2)([939]3,31,2)([940]937,938,4)([941]937,938,2)([942]940,939,4)([943]940,939,2)([944]941,943,3)([945]5,30,2)([946]4,31,2)([947]944,945,4)([948]944,945,2)([949]947,946,4)([950]947,946,2)([951]948,950,3)([952]5,31,2)([953]4,32,2)([954]951,952,4)([955]951,952,2)([956]954,953,4)([957]954,953,2)([958]955,957,3)([959]5,32,2)([960]4,33,2)([961]958,959,4)([962]958,959,2)([963]961,960,4)([964]961,960,2)([965]962,964,3)([966]5,33,2)([967]965,966,4)([968]965,966,2)([969]967,147,4)([970]967,147,2)([971]968,970,3)([972]971,154,4)([973]971,154,2)([974]972,333,4)([975]972,333,2)([976]973,975,3)([977]976,340,4)([978]976,340,2)([979]977,504,4)([980]977,504,2)([981]978,980,3)([982]981,511,4)([983]981,511,2)([984]982,658,4)([985]982,658,2)([986]983,985,3)([987]986,665,4)([988]986,665,2)([989]987,793,4)([990]987,793,2)([991]988,990,3)([992]703,815,4)([993]703,815,2)([994]993,581,4)([995]993,581,2)([996]994,710,4)([997]994,710,2)([998]995,997,3)([999]998,441,4)([1000]998,441,2)([1001]999,588,4)([1002]999,588,2)([1003]1000,1002,3)([1004]1003,284,4)([1005]1003,284,2)([1006]1004,448,4)([1007]1004,448,2)([1008]1005,1007,3)([1009]1008,112,4)([1010]1008,112,2)([1011]1009,291,4)([1012]1009,291,2)([1013]1010,1012,3)([1014]2,32,2)([1015]1013,1014,4)([1016]1013,1014,2)([1017]1015,119,4)([1018]1015,119,2)([1019]1016,1018,3)([1020]3,32,2)([1021]2,33,2)([1022]1019,1020,4)([1023]1019,1020,2)([1024]1022,1021,4)([1025]1022,1021,2)([1026]1023,1025,3)([1027]3,33,2)([1028]1026,1027,4)([1029]1026,1027,2)([1030]1028,133,4)([1031]1028,133,2)([1032]1029,1031,3)([1033]1032,140,4)([1034]1032,140,2)([1035]1033,319,4)([1036]1033,319,2)([1037]1034,1036,3)([1038]1037,326,4)([1039]1037,326,2)([1040]1038,490,4)([1041]1038,490,2)([1042]1039,1041,3)([1043]1042,497,4)([1044]1042,497,2)([1045]1043,644,4)([1046]1043,644,2)([1047]1044,1046,3)([1048]1047,651,4)([1049]1047,651,2)([1050]1048,780,4)([1051]1048,780,2)([1052]1049,1051,3)([1053]1052,787,4)([1054]1052,787,2)([1055]1053,895,4)([1056]1053,895,2)([1057]1054,1056,3)([1058]821,917,4)([1059]821,917,2)([1060]1059,717,4)([1061]1059,717,2)([1062]1060,828,4)([1063]1060,828,2)([1064]1061,1063,3)([1065]1064,595,4)([1066]1064,595,2)([1067]1065,724,4)([1068]1065,724,2)([1069]1066,1068,3)([1070]1069,455,4)([1071]1069,455,2)([1072]1070,602,4)([1073]1070,602,2)([1074]1071,1073,3)([1075]1074,298,4)([1076]1074,298,2)([1077]1075,462,4)([1078]1075,462,2)([1079]1076,1078,3)([1080]1079,126,4)([1081]1079,126,2)([1082]1080,305,4)([1083]1080,305,2)([1084]1081,1083,3)([1085]1084,312,4)([1086]1084,312,2)([1087]1085,476,4)([1088]1085,476,2)([1089]1086,1088,3)([1090]1089,483,4)([1091]1089,483,2)([1092]1090,630,4)([1093]1090,630,2)([1094]1091,1093,3)([1095]1094,637,4)([1096]1094,637,2)([1097]1095,766,4)([1098]1095,766,2)([1099]1096,1098,3)([1100]1099,773,4)([1101]1099,773,2)([1102]1100,884,4)([1103]1100,884,2)([1104]1101,1103,3)([1105]1104,890,4)([1106]1104,890,2)([1107]1105,979,4)([1108]1105,979,2)([1109]1106,1108,3)([1110]922,1001,4)([1111]922,1001,2)([1112]1111,835,4)([1113]1111,835,2)([1114]1112,928,4)([1115]1112,928,2)([1116]1113,1115,3)([1117]1116,731,4)([1118]1116,731,2)([1119]1117,842,4)([1120]1117,842,2)([1121]1118,1120,3)([1122]1121,609,4)([1123]1121,609,2)([1124]1122,738,4)([1125]1122,738,2)([1126]1123,1125,3)([1127]1126,469,4)([1128]1126,469,2)([1129]1127,616,4)([1130]1127,616,2)([1131]1128,1130,3)([1132]1131,623,4)([1133]1131,623,2)([1134]1132,752,4)([1135]1132,752,2)([1136]1133,1135,3)([1137]1136,759,4)([1138]1136,759,2)([1139]1137,870,4)([1140]1137,870,2)([1141]1138,1140,3)([1142]1141,877,4)([1143]1141,877,2)([1144]1142,969,4)([1145]1142,969,2)([1146]1143,1145,3)([1147]1146,974,4)([1148]1146,974,2)([1149]1147,1045,4)([1150]1147,1045,2)([1151]1148,1150,3)([1152]1006,1067,4)([1153]1006,1067,2)([1154]1153,935,4)([1155]1153,935,2)([1156]1154,1011,4)([1157]1154,1011,2)([1158]1155,1157,3)([1159]1158,849,4)([1160]1158,849,2)([1161]1159,942,4)([1162]1159,942,2)([1163]1160,1162,3)([1164]1163,745,4)([1165]1163,745,2)([1166]1164,856,4)([1167]1164,856,2)([1168]1165,1167,3)([1169]1168,863,4)([1170]1168,863,2)([1171]1169,956,4)([1172]1169,956,2)([1173]1170,1172,3)([1174]1173,963,4)([1175]1173,963,2)([1176]1174,1035,4)([1177]1174,1035,2)([1178]1175,1177,3)([1179]1178,1040,4)([1180]1178,1040,2)([1181]1179,1097,4)([1182]1179,1097,2)([1183]1180,1182,3)([1184]1072,1119,4)([1185]1072,1119,2)([1186]1185,1017,4)([1187]1185,1017,2)([1188]1186,1077,4)([1189]1186,1077,2)([1190]1187,1189,3)([1191]1190,949,4)([1192]1190,949,2)([1193]1191,1024,4)([1194]1191,1024,2)([1195]1192,1194,3)([1196]1195,1030,4)([1197]1195,1030,2)([1198]1196,1087,4)([1199]1196,1087,2)([1200]1197,1199,3)([1201]1200,1092,4)([1202]1200,1092,2)([1203]1201,1139,4)([1204]1201,1139,2)([1205]1202,1204,3)([1206]1124,1161,4)([1207]1124,1161,2)([1208]1207,1082,4)([1209]1207,1082,2)([1210]1208,1129,4)([1211]1208,1129,2)([1212]1209,1211,3)([1213]1212,1134,4)([1214]1212,1134,2)([1215]1213,1171,4)([1216]1213,1171,2)([1217]1214,1216,3)([1218]1166,1193,4)([1219]1166,1193,2)([1220]1219,1198,4)([1221]1219,1198,2)([1222]1221,1217,4)([1223]1221,1217,2)([1224]1222,1176,4)([1225]1222,1176,2)([1226]1223,1225,3)([1227]1226,1205,4)([1228]1226,1205,2)([1229]1227,1144,4)([1230]1227,1144,2)([1231]1228,1230,3)([1232]1231,1183,4)([1233]1231,1183,2)([1234]1232,1102,4)([1235]1232,1102,2)([1236]1233,1235,3)([1237]1236,1151,4)([1238]1236,1151,2)([1239]1237,1050,4)([1240]1237,1050,2)([1241]1238,1240,3)([1242]1241,1109,4)([1243]1241,1109,2)([1244]1242,984,4)([1245]1242,984,2)([1246]1243,1245,3)([1247]1246,1057,4)([1248]1246,1057,2)([1249]1247,900,4)([1250]1247,900,2)([1251]1248,1250,3)([1252]1251,991,4)([1253]1251,991,2)([1254]1252,798,4)([1255]1252,798,2)([1256]1253,1255,3)([1257]1256,907,4)([1258]1256,907,2)([1259]1257,678,4)([1260]1257,678,2)([1261]1258,1260,3)([1262]1261,805,4)([1263]1261,805,2)([1264]1262,539,4)([1265]1262,539,2)([1266]1263,1265,3)([1267]1266,685,4)([1268]1266,685,2)([1269]1267,382,4)([1270]1267,382,2)([1271]1268,1270,3)([1272]1271,547,4)([1273]1271,547,2)([1274]1272,210,4)([1275]1272,210,2)([1276]1273,1275,3)([1277]15,33,2)([1278]1276,391,4)([1279]1276,391,2)([1280]1278,1277,4)([1281]1278,1277,2)([1282]1279,1281,3)([1283]17,32,2)([1284]1282,219,4)([1285]1282,219,2)([1286]1284,1283,4)([1287]1284,1283,2)([1288]1285,1287,3)([1289]2,18,2)([1290]3,18,2)([1291]2,20,2)([1292]16,33,2)([1293]2,19,2)([1294]17,33,2)([1295]1290,1293,3)([1296]1290,1293,2)([1297]1290,1293,4)([1298]1291,36,3)([1299]1291,36,2)([1300]1291,36,4)([1301]1300,1296,4)([1302]1296,1298,2)([1303]1299,1302,3)([1304]42,222,3)([1305]42,222,2)([1306]42,222,4)([1307]1306,1303,4)([1308]1304,1295,2)([1309]1296,1304,2)([1310]1309,1298,2)([1311]1299,1304,2)([1312]1310,1311,3)([1313]1305,1312,3)([1314]228,393,3)([1315]228,393,2)([1316]228,393,4)([1317]1316,1313,4)([1318]1314,1298,2)([1319]1296,1304,2)([1320]1314,1298,2)([1321]1319,1320,2)([1322]1299,1314,2)([1323]1322,1304,2)([1324]1305,1314,2)([1325]1321,1324,3)([1326]1323,1325,3)([1327]1315,1326,3)([1328]399,548,3)([1329]399,548,2)([1330]399,548,4)([1331]1330,1327,4)([1332]1327,1328,2)([1333]1329,1332,3)([1334]553,686,3)([1335]553,686,2)([1336]553,686,4)([1337]1336,1333,4)([1338]1327,1334,2)([1339]1338,1328,2)([1340]1329,1334,2)([1341]1339,1340,3)([1342]1335,1341,3)([1343]690,806,3)([1344]690,806,2)([1345]690,806,4)([1346]1345,1342,4)([1347]1327,1334,2)([1348]1343,1328,2)([1349]1347,1348,2)([1350]1329,1343,2)([1351]1350,1334,2)([1352]1335,1343,2)([1353]1349,1351,3)([1354]1353,1352,3)([1355]1344,1354,3)([1356]810,908,3)([1357]810,908,2)([1358]810,908,4)([1359]1358,1355,4)([1360]1327,1343,2)([1361]1356,1334,2)([1362]1360,1361,2)([1363]1362,1328,2)([1364]1329,1343,2)([1365]1356,1334,2)([1366]1364,1365,2)([1367]1335,1356,2)([1368]1367,1343,2)([1369]1344,1356,2)([1370]1363,1368,3)([1371]1366,1369,3)([1372]1370,1371,3)([1373]1357,1372,3)([1374]912,992,3)([1375]912,992,2)([1376]912,992,4)([1377]1376,1373,4)([1378]1373,1374,2)([1379]1375,1378,3)([1380]996,1058,3)([1381]996,1058,2)([1382]996,1058,4)([1383]1382,1379,4)([1384]1373,1380,2)([1385]1384,1374,2)([1386]1375,1380,2)([1387]1385,1386,3)([1388]1381,1387,3)([1389]1062,1110,3)([1390]1062,1110,2)([1391]1062,1110,4)([1392]1391,1388,4)([1393]1373,1380,2)([1394]1389,1374,2)([1395]1393,1394,2)([1396]1375,1389,2)([1397]1396,1380,2)([1398]1381,1389,2)([1399]1395,1397,3)([1400]1399,1398,3)([1401]1390,1400,3)([1402]1114,1152,3)([1403]1114,1152,2)([1404]1114,1152,4)([1405]1404,1401,4)([1406]1373,1389,2)([1407]1402,1380,2)([1408]1406,1407,2)([1409]1408,1374,2)([1410]1375,1389,2)([1411]1402,1380,2)([1412]1410,1411,2)([1413]1381,1402,2)([1414]1413,1389,2)([1415]1390,1402,2)([1416]1409,1414,3)([1417]1412,1415,3)([1418]1416,1417,3)([1419]1403,1418,3)([1420]1156,1184,3)([1421]1156,1184,2)([1422]1156,1184,4)([1423]1422,1419,4)([1424]1419,1420,2)([1425]1421,1424,3)([1426]1188,1206,3)([1427]1188,1206,2)([1428]1188,1206,4)([1429]1428,1425,4)([1430]1419,1426,2)([1431]1430,1420,2)([1432]1421,1426,2)([1433]1431,1432,3)([1434]1427,1433,3)([1435]1210,1218,3)([1436]1210,1218,2)([1437]1210,1218,4)([1438]1437,1434,4)([1439]1419,1426,2)([1440]1435,1420,2)([1441]1439,1440,2)([1442]1421,1435,2)([1443]1442,1426,2)([1444]1427,1435,2)([1445]1441,1443,3)([1446]1445,1444,3)([1447]1436,1446,3)([1448]1215,1220,3)([1449]1215,1220,2)([1450]1215,1220,4)([1451]1450,1447,4)([1452]1419,1435,2)([1453]1448,1426,2)([1454]1452,1453,2)([1455]1454,1420,2)([1456]1421,1435,2)([1457]1448,1426,2)([1458]1456,1457,2)([1459]1427,1448,2)([1460]1459,1435,2)([1461]1436,1448,2)([1462]1455,1460,3)([1463]1458,1461,3)([1464]1462,1463,3)([1465]1449,1464,3)([1466]1203,1224,3)([1467]1203,1224,2)([1468]1203,1224,4)([1469]1468,1465,4)([1470]1465,1466,2)([1471]1467,1470,3)([1472]1181,1229,3)([1473]1181,1229,2)([1474]1181,1229,4)([1475]1474,1471,4)([1476]1465,1472,2)([1477]1476,1466,2)([1478]1467,1472,2)([1479]1477,1478,3)([1480]1473,1479,3)([1481]1149,1234,3)([1482]1149,1234,2)([1483]1149,1234,4)([1484]1483,1480,4)([1485]1465,1472,2)([1486]1481,1466,2)([1487]1485,1486,2)([1488]1467,1481,2)([1489]1488,1472,2)([1490]1473,1481,2)([1491]1487,1489,3)([1492]1491,1490,3)([1493]1482,1492,3)([1494]1107,1239,3)([1495]1107,1239,2)([1496]1107,1239,4)([1497]1496,1493,4)([1498]1465,1481,2)([1499]1494,1472,2)([1500]1498,1499,2)([1501]1500,1466,2)([1502]1467,1481,2)([1503]1494,1472,2)([1504]1502,1503,2)([1505]1473,1494,2)([1506]1505,1481,2)([1507]1482,1494,2)([1508]1501,1506,3)([1509]1504,1507,3)([1510]1508,1509,3)([1511]1495,1510,3)([1512]1055,1244,3)([1513]1055,1244,2)([1514]1055,1244,4)([1515]1514,1511,4)([1516]1511,1512,2)([1517]1513,1516,3)([1518]989,1249,3)([1519]989,1249,2)([1520]989,1249,4)([1521]1520,1517,4)([1522]1511,1518,2)([1523]1522,1512,2)([1524]1513,1518,2)([1525]1523,1524,3)([1526]1519,1525,3)([1527]905,1254,3)([1528]905,1254,2)([1529]905,1254,4)([1530]1529,1526,4)([1531]1511,1518,2)([1532]1527,1512,2)([1533]1531,1532,2)([1534]1513,1527,2)([1535]1534,1518,2)([1536]1519,1527,2)([1537]1533,1535,3)([1538]1537,1536,3)([1539]1528,1538,3)([1540]803,1259,3)([1541]803,1259,2)([1542]803,1259,4)([1543]1542,1539,4)([1544]1511,1527,2)([1545]1540,1518,2)([1546]1544,1545,2)([1547]1546,1512,2)([1548]1513,1527,2)([1549]1540,1518,2)([1550]1548,1549,2)([1551]1519,1540,2)([1552]1551,1527,2)([1553]1528,1540,2)([1554]1547,1552,3)([1555]1550,1553,3)([1556]1554,1555,3)([1557]1541,1556,3)([1558]683,1264,3)([1559]683,1264,2)([1560]683,1264,4)([1561]1560,1557,4)([1562]1557,1558,2)([1563]1559,1562,3)([1564]545,1269,3)([1565]545,1269,2)([1566]545,1269,4)([1567]1566,1563,4)([1568]1557,1564,2)([1569]1568,1558,2)([1570]1559,1564,2)([1571]1569,1570,3)([1572]1565,1571,3)([1573]389,1274,3)([1574]389,1274,2)([1575]389,1274,4)([1576]1575,1572,4)([1577]1557,1564,2)([1578]1573,1558,2)([1579]1577,1578,2)([1580]1559,1573,2)([1581]1580,1564,2)([1582]1565,1573,2)([1583]1579,1581,3)([1584]1583,1582,3)([1585]1574,1584,3)([1586]217,1280,3)([1587]217,1280,2)([1588]217,1280,4)([1589]1588,1585,4)([1590]1557,1573,2)([1591]1586,1564,2)([1592]1590,1591,2)([1593]1592,1558,2)([1594]1559,1573,2)([1595]1586,1564,2)([1596]1594,1595,2)([1597]1565,1586,2)([1598]1597,1573,2)([1599]1574,1586,2)([1600]1593,1598,3)([1601]1596,1599,3)([1602]1600,1601,3)([1603]1587,1602,3)([1604]1292,1286,3)([1605]1292,1286,2)([1606]1292,1286,4)([1607]1606,1603,4)([1608]1603,1604,2)([1609]1605,1608,3)([1610]1288,1294,3)([1611]1288,1294,2)([1612]1288,1294,4)([1613]1612,1609,4)([1614]1603,1610,2)([1615]1614,1604,2)([1616]1605,1610,2)([1617]1615,1616,3)([1618]1611,1617,3)(1289,1297,1301,1307,1317,1331,1337,1346,1359,1377,1383,1392,1405,1423,1429,1438,1451,1469,1475,1484,1497,1515,1521,1530,1543,1561,1567,1576,1589,1607,1613,1618)