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