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
24 KiB
Plaintext

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