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

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