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