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