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

{32,32,1,1411,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,2)([1299]1293,36,4)([1300]1293,36,2)([1301]1299,1298,4)([1302]1299,1298,2)([1303]1300,1302,3)([1304]42,220,4)([1305]42,220,2)([1306]1304,1303,4)([1307]1304,1303,2)([1308]1305,1307,3)([1309]226,391,4)([1310]226,391,2)([1311]1309,1308,4)([1312]1309,1308,2)([1313]1310,1312,3)([1314]397,546,4)([1315]397,546,2)([1316]1314,1313,4)([1317]1314,1313,2)([1318]1315,1317,3)([1319]551,684,4)([1320]551,684,2)([1321]1319,1318,4)([1322]1319,1318,2)([1323]1320,1322,3)([1324]688,804,4)([1325]688,804,2)([1326]1324,1323,4)([1327]1324,1323,2)([1328]1325,1327,3)([1329]808,906,4)([1330]808,906,2)([1331]1329,1328,4)([1332]1329,1328,2)([1333]1330,1332,3)([1334]910,990,4)([1335]910,990,2)([1336]1334,1333,4)([1337]1334,1333,2)([1338]1335,1337,3)([1339]994,1057,4)([1340]994,1057,2)([1341]1339,1338,4)([1342]1339,1338,2)([1343]1340,1342,3)([1344]1061,1109,4)([1345]1061,1109,2)([1346]1344,1343,4)([1347]1344,1343,2)([1348]1345,1347,3)([1349]1113,1151,4)([1350]1113,1151,2)([1351]1349,1348,4)([1352]1349,1348,2)([1353]1350,1352,3)([1354]1155,1183,4)([1355]1155,1183,2)([1356]1354,1353,4)([1357]1354,1353,2)([1358]1355,1357,3)([1359]1187,1205,4)([1360]1187,1205,2)([1361]1359,1358,4)([1362]1359,1358,2)([1363]1360,1362,3)([1364]1209,1217,4)([1365]1209,1217,2)([1366]1364,1363,4)([1367]1364,1363,2)([1368]1365,1367,3)([1369]1214,1221,4)([1370]1214,1221,2)([1371]1369,1368,4)([1372]1369,1368,2)([1373]1370,1372,3)([1374]1202,1226,4)([1375]1202,1226,2)([1376]1374,1373,4)([1377]1374,1373,2)([1378]1375,1377,3)([1379]1180,1231,4)([1380]1180,1231,2)([1381]1379,1378,4)([1382]1379,1378,2)([1383]1380,1382,3)([1384]1148,1236,4)([1385]1148,1236,2)([1386]1384,1383,4)([1387]1384,1383,2)([1388]1385,1387,3)([1389]1106,1241,4)([1390]1106,1241,2)([1391]1389,1388,4)([1392]1389,1388,2)([1393]1390,1392,3)([1394]1054,1246,4)([1395]1054,1246,2)([1396]1394,1393,4)([1397]1394,1393,2)([1398]1395,1397,3)([1399]987,1251,4)([1400]987,1251,2)([1401]1399,1398,4)([1402]1399,1398,2)([1403]1400,1402,3)([1404]903,1256,4)([1405]903,1256,2)([1406]1404,1403,4)([1407]1404,1403,2)([1408]1405,1407,3)([1409]801,1261,4)([1410]801,1261,2)([1411]1409,1408,4)([1412]1409,1408,2)([1413]1410,1412,3)([1414]681,1266,4)([1415]681,1266,2)([1416]1414,1413,4)([1417]1414,1413,2)([1418]1415,1417,3)([1419]543,1271,4)([1420]543,1271,2)([1421]1419,1418,4)([1422]1419,1418,2)([1423]1420,1422,3)([1424]387,1276,4)([1425]387,1276,2)([1426]1424,1423,4)([1427]1424,1423,2)([1428]1425,1427,3)([1429]215,1282,4)([1430]215,1282,2)([1431]1429,1428,4)([1432]1429,1428,2)([1433]1430,1432,3)([1434]1294,1288,4)([1435]1294,1288,2)([1436]1434,1433,4)([1437]1434,1433,2)([1438]1435,1437,3)([1439]1290,1296,4)([1440]1290,1296,2)([1441]1439,1438,4)([1442]1439,1438,2)([1443]1440,1442,3)([1444]1443,1443,1)(1291,1297,1301,1306,1311,1316,1321,1326,1331,1336,1341,1346,1351,1356,1361,1366,1371,1376,1381,1386,1391,1396,1401,1406,1411,1416,1421,1426,1431,1436,1441,1444)