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