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

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