
* #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,1408,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,4)([1296]1290,1293,2)([1297]1291,36,4)([1298]1291,36,2)([1299]1297,1296,4)([1300]1297,1296,2)([1301]1298,1300,3)([1302]42,222,4)([1303]42,222,2)([1304]1302,1301,4)([1305]1302,1301,2)([1306]1303,1305,3)([1307]228,393,4)([1308]228,393,2)([1309]1307,1306,4)([1310]1307,1306,2)([1311]1308,1310,3)([1312]399,548,4)([1313]399,548,2)([1314]1312,1311,4)([1315]1312,1311,2)([1316]1313,1315,3)([1317]553,686,4)([1318]553,686,2)([1319]1317,1316,4)([1320]1317,1316,2)([1321]1318,1320,3)([1322]690,806,4)([1323]690,806,2)([1324]1322,1321,4)([1325]1322,1321,2)([1326]1323,1325,3)([1327]810,908,4)([1328]810,908,2)([1329]1327,1326,4)([1330]1327,1326,2)([1331]1328,1330,3)([1332]912,992,4)([1333]912,992,2)([1334]1332,1331,4)([1335]1332,1331,2)([1336]1333,1335,3)([1337]996,1058,4)([1338]996,1058,2)([1339]1337,1336,4)([1340]1337,1336,2)([1341]1338,1340,3)([1342]1062,1110,4)([1343]1062,1110,2)([1344]1342,1341,4)([1345]1342,1341,2)([1346]1343,1345,3)([1347]1114,1152,4)([1348]1114,1152,2)([1349]1347,1346,4)([1350]1347,1346,2)([1351]1348,1350,3)([1352]1156,1184,4)([1353]1156,1184,2)([1354]1352,1351,4)([1355]1352,1351,2)([1356]1353,1355,3)([1357]1188,1206,4)([1358]1188,1206,2)([1359]1357,1356,4)([1360]1357,1356,2)([1361]1358,1360,3)([1362]1210,1218,4)([1363]1210,1218,2)([1364]1362,1361,4)([1365]1362,1361,2)([1366]1363,1365,3)([1367]1215,1220,4)([1368]1215,1220,2)([1369]1367,1366,4)([1370]1367,1366,2)([1371]1368,1370,3)([1372]1203,1224,4)([1373]1203,1224,2)([1374]1372,1371,4)([1375]1372,1371,2)([1376]1373,1375,3)([1377]1181,1229,4)([1378]1181,1229,2)([1379]1377,1376,4)([1380]1377,1376,2)([1381]1378,1380,3)([1382]1149,1234,4)([1383]1149,1234,2)([1384]1382,1381,4)([1385]1382,1381,2)([1386]1383,1385,3)([1387]1107,1239,4)([1388]1107,1239,2)([1389]1387,1386,4)([1390]1387,1386,2)([1391]1388,1390,3)([1392]1055,1244,4)([1393]1055,1244,2)([1394]1392,1391,4)([1395]1392,1391,2)([1396]1393,1395,3)([1397]989,1249,4)([1398]989,1249,2)([1399]1397,1396,4)([1400]1397,1396,2)([1401]1398,1400,3)([1402]905,1254,4)([1403]905,1254,2)([1404]1402,1401,4)([1405]1402,1401,2)([1406]1403,1405,3)([1407]803,1259,4)([1408]803,1259,2)([1409]1407,1406,4)([1410]1407,1406,2)([1411]1408,1410,3)([1412]683,1264,4)([1413]683,1264,2)([1414]1412,1411,4)([1415]1412,1411,2)([1416]1413,1415,3)([1417]545,1269,4)([1418]545,1269,2)([1419]1417,1416,4)([1420]1417,1416,2)([1421]1418,1420,3)([1422]389,1274,4)([1423]389,1274,2)([1424]1422,1421,4)([1425]1422,1421,2)([1426]1423,1425,3)([1427]217,1280,4)([1428]217,1280,2)([1429]1427,1426,4)([1430]1427,1426,2)([1431]1428,1430,3)([1432]1292,1286,4)([1433]1292,1286,2)([1434]1432,1431,4)([1435]1432,1431,2)([1436]1433,1435,3)([1437]1288,1294,4)([1438]1288,1294,2)([1439]1437,1436,4)([1440]1437,1436,2)([1441]1438,1440,3)(1289,1295,1299,1304,1309,1314,1319,1324,1329,1334,1339,1344,1349,1354,1359,1364,1369,1374,1379,1384,1389,1394,1399,1404,1409,1414,1419,1424,1429,1434,1439,1441) |