ariths-gen/generated_circuits/cgp_circuits/flat/u_arrmul16.cgp

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