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

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