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

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