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

{48,48,1,3267,2,1,0}([50]2,26,2)([51]3,26,2)([52]4,26,2)([53]5,26,2)([54]6,26,2)([55]7,26,2)([56]8,26,2)([57]9,26,2)([58]10,26,2)([59]11,26,2)([60]12,26,2)([61]13,26,2)([62]14,26,2)([63]15,26,2)([64]16,26,2)([65]17,26,2)([66]18,26,2)([67]19,26,2)([68]20,26,2)([69]21,26,2)([70]22,26,2)([71]23,26,2)([72]24,26,2)([73]25,26,5)([74]2,27,2)([75]74,51,4)([76]74,51,2)([77]3,27,2)([78]77,52,4)([79]77,52,2)([80]78,76,4)([81]78,76,2)([82]79,81,3)([83]4,27,2)([84]83,53,4)([85]83,53,2)([86]84,82,4)([87]84,82,2)([88]85,87,3)([89]5,27,2)([90]89,54,4)([91]89,54,2)([92]90,88,4)([93]90,88,2)([94]91,93,3)([95]6,27,2)([96]95,55,4)([97]95,55,2)([98]96,94,4)([99]96,94,2)([100]97,99,3)([101]7,27,2)([102]101,56,4)([103]101,56,2)([104]102,100,4)([105]102,100,2)([106]103,105,3)([107]8,27,2)([108]107,57,4)([109]107,57,2)([110]108,106,4)([111]108,106,2)([112]109,111,3)([113]9,27,2)([114]113,58,4)([115]113,58,2)([116]114,112,4)([117]114,112,2)([118]115,117,3)([119]10,27,2)([120]119,59,4)([121]119,59,2)([122]120,118,4)([123]120,118,2)([124]121,123,3)([125]11,27,2)([126]125,60,4)([127]125,60,2)([128]126,124,4)([129]126,124,2)([130]127,129,3)([131]12,27,2)([132]131,61,4)([133]131,61,2)([134]132,130,4)([135]132,130,2)([136]133,135,3)([137]13,27,2)([138]137,62,4)([139]137,62,2)([140]138,136,4)([141]138,136,2)([142]139,141,3)([143]14,27,2)([144]143,63,4)([145]143,63,2)([146]144,142,4)([147]144,142,2)([148]145,147,3)([149]15,27,2)([150]149,64,4)([151]149,64,2)([152]150,148,4)([153]150,148,2)([154]151,153,3)([155]16,27,2)([156]155,65,4)([157]155,65,2)([158]156,154,4)([159]156,154,2)([160]157,159,3)([161]17,27,2)([162]161,66,4)([163]161,66,2)([164]162,160,4)([165]162,160,2)([166]163,165,3)([167]18,27,2)([168]167,67,4)([169]167,67,2)([170]168,166,4)([171]168,166,2)([172]169,171,3)([173]19,27,2)([174]173,68,4)([175]173,68,2)([176]174,172,4)([177]174,172,2)([178]175,177,3)([179]20,27,2)([180]179,69,4)([181]179,69,2)([182]180,178,4)([183]180,178,2)([184]181,183,3)([185]21,27,2)([186]185,70,4)([187]185,70,2)([188]186,184,4)([189]186,184,2)([190]187,189,3)([191]22,27,2)([192]191,71,4)([193]191,71,2)([194]192,190,4)([195]192,190,2)([196]193,195,3)([197]23,27,2)([198]197,72,4)([199]197,72,2)([200]198,196,4)([201]198,196,2)([202]199,201,3)([203]24,27,2)([204]203,73,4)([205]203,73,2)([206]204,202,4)([207]204,202,2)([208]205,207,3)([209]25,27,5)([210]209,209,1)([211]210,208,4)([212]210,208,2)([213]209,212,3)([214]2,28,2)([215]214,80,4)([216]214,80,2)([217]3,28,2)([218]217,86,4)([219]217,86,2)([220]218,216,4)([221]218,216,2)([222]219,221,3)([223]4,28,2)([224]223,92,4)([225]223,92,2)([226]224,222,4)([227]224,222,2)([228]225,227,3)([229]5,28,2)([230]229,98,4)([231]229,98,2)([232]230,228,4)([233]230,228,2)([234]231,233,3)([235]6,28,2)([236]235,104,4)([237]235,104,2)([238]236,234,4)([239]236,234,2)([240]237,239,3)([241]7,28,2)([242]241,110,4)([243]241,110,2)([244]242,240,4)([245]242,240,2)([246]243,245,3)([247]8,28,2)([248]247,116,4)([249]247,116,2)([250]248,246,4)([251]248,246,2)([252]249,251,3)([253]9,28,2)([254]253,122,4)([255]253,122,2)([256]254,252,4)([257]254,252,2)([258]255,257,3)([259]10,28,2)([260]259,128,4)([261]259,128,2)([262]260,258,4)([263]260,258,2)([264]261,263,3)([265]11,28,2)([266]265,134,4)([267]265,134,2)([268]266,264,4)([269]266,264,2)([270]267,269,3)([271]12,28,2)([272]271,140,4)([273]271,140,2)([274]272,270,4)([275]272,270,2)([276]273,275,3)([277]13,28,2)([278]277,146,4)([279]277,146,2)([280]278,276,4)([281]278,276,2)([282]279,281,3)([283]14,28,2)([284]283,152,4)([285]283,152,2)([286]284,282,4)([287]284,282,2)([288]285,287,3)([289]15,28,2)([290]289,158,4)([291]289,158,2)([292]290,288,4)([293]290,288,2)([294]291,293,3)([295]16,28,2)([296]295,164,4)([297]295,164,2)([298]296,294,4)([299]296,294,2)([300]297,299,3)([301]17,28,2)([302]301,170,4)([303]301,170,2)([304]302,300,4)([305]302,300,2)([306]303,305,3)([307]18,28,2)([308]307,176,4)([309]307,176,2)([310]308,306,4)([311]308,306,2)([312]309,311,3)([313]19,28,2)([314]313,182,4)([315]313,182,2)([316]314,312,4)([317]314,312,2)([318]315,317,3)([319]20,28,2)([320]319,188,4)([321]319,188,2)([322]320,318,4)([323]320,318,2)([324]321,323,3)([325]21,28,2)([326]325,194,4)([327]325,194,2)([328]326,324,4)([329]326,324,2)([330]327,329,3)([331]22,28,2)([332]331,200,4)([333]331,200,2)([334]332,330,4)([335]332,330,2)([336]333,335,3)([337]23,28,2)([338]337,206,4)([339]337,206,2)([340]338,336,4)([341]338,336,2)([342]339,341,3)([343]24,28,2)([344]343,211,4)([345]343,211,2)([346]344,342,4)([347]344,342,2)([348]345,347,3)([349]25,28,5)([350]349,213,4)([351]349,213,2)([352]350,348,4)([353]350,348,2)([354]351,353,3)([355]2,29,2)([356]355,220,4)([357]355,220,2)([358]3,29,2)([359]358,226,4)([360]358,226,2)([361]359,357,4)([362]359,357,2)([363]360,362,3)([364]4,29,2)([365]364,232,4)([366]364,232,2)([367]365,363,4)([368]365,363,2)([369]366,368,3)([370]5,29,2)([371]370,238,4)([372]370,238,2)([373]371,369,4)([374]371,369,2)([375]372,374,3)([376]6,29,2)([377]376,244,4)([378]376,244,2)([379]377,375,4)([380]377,375,2)([381]378,380,3)([382]7,29,2)([383]382,250,4)([384]382,250,2)([385]383,381,4)([386]383,381,2)([387]384,386,3)([388]8,29,2)([389]388,256,4)([390]388,256,2)([391]389,387,4)([392]389,387,2)([393]390,392,3)([394]9,29,2)([395]394,262,4)([396]394,262,2)([397]395,393,4)([398]395,393,2)([399]396,398,3)([400]10,29,2)([401]400,268,4)([402]400,268,2)([403]401,399,4)([404]401,399,2)([405]402,404,3)([406]11,29,2)([407]406,274,4)([408]406,274,2)([409]407,405,4)([410]407,405,2)([411]408,410,3)([412]12,29,2)([413]412,280,4)([414]412,280,2)([415]413,411,4)([416]413,411,2)([417]414,416,3)([418]13,29,2)([419]418,286,4)([420]418,286,2)([421]419,417,4)([422]419,417,2)([423]420,422,3)([424]14,29,2)([425]424,292,4)([426]424,292,2)([427]425,423,4)([428]425,423,2)([429]426,428,3)([430]15,29,2)([431]430,298,4)([432]430,298,2)([433]431,429,4)([434]431,429,2)([435]432,434,3)([436]16,29,2)([437]436,304,4)([438]436,304,2)([439]437,435,4)([440]437,435,2)([441]438,440,3)([442]17,29,2)([443]442,310,4)([444]442,310,2)([445]443,441,4)([446]443,441,2)([447]444,446,3)([448]18,29,2)([449]448,316,4)([450]448,316,2)([451]449,447,4)([452]449,447,2)([453]450,452,3)([454]19,29,2)([455]454,322,4)([456]454,322,2)([457]455,453,4)([458]455,453,2)([459]456,458,3)([460]20,29,2)([461]460,328,4)([462]460,328,2)([463]461,459,4)([464]461,459,2)([465]462,464,3)([466]21,29,2)([467]466,334,4)([468]466,334,2)([469]467,465,4)([470]467,465,2)([471]468,470,3)([472]22,29,2)([473]472,340,4)([474]472,340,2)([475]473,471,4)([476]473,471,2)([477]474,476,3)([478]23,29,2)([479]478,346,4)([480]478,346,2)([481]479,477,4)([482]479,477,2)([483]480,482,3)([484]24,29,2)([485]484,352,4)([486]484,352,2)([487]485,483,4)([488]485,483,2)([489]486,488,3)([490]25,29,5)([491]490,354,4)([492]490,354,2)([493]491,489,4)([494]491,489,2)([495]492,494,3)([496]2,30,2)([497]496,361,4)([498]496,361,2)([499]3,30,2)([500]499,367,4)([501]499,367,2)([502]500,498,4)([503]500,498,2)([504]501,503,3)([505]4,30,2)([506]505,373,4)([507]505,373,2)([508]506,504,4)([509]506,504,2)([510]507,509,3)([511]5,30,2)([512]511,379,4)([513]511,379,2)([514]512,510,4)([515]512,510,2)([516]513,515,3)([517]6,30,2)([518]517,385,4)([519]517,385,2)([520]518,516,4)([521]518,516,2)([522]519,521,3)([523]7,30,2)([524]523,391,4)([525]523,391,2)([526]524,522,4)([527]524,522,2)([528]525,527,3)([529]8,30,2)([530]529,397,4)([531]529,397,2)([532]530,528,4)([533]530,528,2)([534]531,533,3)([535]9,30,2)([536]535,403,4)([537]535,403,2)([538]536,534,4)([539]536,534,2)([540]537,539,3)([541]10,30,2)([542]541,409,4)([543]541,409,2)([544]542,540,4)([545]542,540,2)([546]543,545,3)([547]11,30,2)([548]547,415,4)([549]547,415,2)([550]548,546,4)([551]548,546,2)([552]549,551,3)([553]12,30,2)([554]553,421,4)([555]553,421,2)([556]554,552,4)([557]554,552,2)([558]555,557,3)([559]13,30,2)([560]559,427,4)([561]559,427,2)([562]560,558,4)([563]560,558,2)([564]561,563,3)([565]14,30,2)([566]565,433,4)([567]565,433,2)([568]566,564,4)([569]566,564,2)([570]567,569,3)([571]15,30,2)([572]571,439,4)([573]571,439,2)([574]572,570,4)([575]572,570,2)([576]573,575,3)([577]16,30,2)([578]577,445,4)([579]577,445,2)([580]578,576,4)([581]578,576,2)([582]579,581,3)([583]17,30,2)([584]583,451,4)([585]583,451,2)([586]584,582,4)([587]584,582,2)([588]585,587,3)([589]18,30,2)([590]589,457,4)([591]589,457,2)([592]590,588,4)([593]590,588,2)([594]591,593,3)([595]19,30,2)([596]595,463,4)([597]595,463,2)([598]596,594,4)([599]596,594,2)([600]597,599,3)([601]20,30,2)([602]601,469,4)([603]601,469,2)([604]602,600,4)([605]602,600,2)([606]603,605,3)([607]21,30,2)([608]607,475,4)([609]607,475,2)([610]608,606,4)([611]608,606,2)([612]609,611,3)([613]22,30,2)([614]613,481,4)([615]613,481,2)([616]614,612,4)([617]614,612,2)([618]615,617,3)([619]23,30,2)([620]619,487,4)([621]619,487,2)([622]620,618,4)([623]620,618,2)([624]621,623,3)([625]24,30,2)([626]625,493,4)([627]625,493,2)([628]626,624,4)([629]626,624,2)([630]627,629,3)([631]25,30,5)([632]631,495,4)([633]631,495,2)([634]632,630,4)([635]632,630,2)([636]633,635,3)([637]2,31,2)([638]637,502,4)([639]637,502,2)([640]3,31,2)([641]640,508,4)([642]640,508,2)([643]641,639,4)([644]641,639,2)([645]642,644,3)([646]4,31,2)([647]646,514,4)([648]646,514,2)([649]647,645,4)([650]647,645,2)([651]648,650,3)([652]5,31,2)([653]652,520,4)([654]652,520,2)([655]653,651,4)([656]653,651,2)([657]654,656,3)([658]6,31,2)([659]658,526,4)([660]658,526,2)([661]659,657,4)([662]659,657,2)([663]660,662,3)([664]7,31,2)([665]664,532,4)([666]664,532,2)([667]665,663,4)([668]665,663,2)([669]666,668,3)([670]8,31,2)([671]670,538,4)([672]670,538,2)([673]671,669,4)([674]671,669,2)([675]672,674,3)([676]9,31,2)([677]676,544,4)([678]676,544,2)([679]677,675,4)([680]677,675,2)([681]678,680,3)([682]10,31,2)([683]682,550,4)([684]682,550,2)([685]683,681,4)([686]683,681,2)([687]684,686,3)([688]11,31,2)([689]688,556,4)([690]688,556,2)([691]689,687,4)([692]689,687,2)([693]690,692,3)([694]12,31,2)([695]694,562,4)([696]694,562,2)([697]695,693,4)([698]695,693,2)([699]696,698,3)([700]13,31,2)([701]700,568,4)([702]700,568,2)([703]701,699,4)([704]701,699,2)([705]702,704,3)([706]14,31,2)([707]706,574,4)([708]706,574,2)([709]707,705,4)([710]707,705,2)([711]708,710,3)([712]15,31,2)([713]712,580,4)([714]712,580,2)([715]713,711,4)([716]713,711,2)([717]714,716,3)([718]16,31,2)([719]718,586,4)([720]718,586,2)([721]719,717,4)([722]719,717,2)([723]720,722,3)([724]17,31,2)([725]724,592,4)([726]724,592,2)([727]725,723,4)([728]725,723,2)([729]726,728,3)([730]18,31,2)([731]730,598,4)([732]730,598,2)([733]731,729,4)([734]731,729,2)([735]732,734,3)([736]19,31,2)([737]736,604,4)([738]736,604,2)([739]737,735,4)([740]737,735,2)([741]738,740,3)([742]20,31,2)([743]742,610,4)([744]742,610,2)([745]743,741,4)([746]743,741,2)([747]744,746,3)([748]21,31,2)([749]748,616,4)([750]748,616,2)([751]749,747,4)([752]749,747,2)([753]750,752,3)([754]22,31,2)([755]754,622,4)([756]754,622,2)([757]755,753,4)([758]755,753,2)([759]756,758,3)([760]23,31,2)([761]760,628,4)([762]760,628,2)([763]761,759,4)([764]761,759,2)([765]762,764,3)([766]24,31,2)([767]766,634,4)([768]766,634,2)([769]767,765,4)([770]767,765,2)([771]768,770,3)([772]25,31,5)([773]772,636,4)([774]772,636,2)([775]773,771,4)([776]773,771,2)([777]774,776,3)([778]2,32,2)([779]778,643,4)([780]778,643,2)([781]3,32,2)([782]781,649,4)([783]781,649,2)([784]782,780,4)([785]782,780,2)([786]783,785,3)([787]4,32,2)([788]787,655,4)([789]787,655,2)([790]788,786,4)([791]788,786,2)([792]789,791,3)([793]5,32,2)([794]793,661,4)([795]793,661,2)([796]794,792,4)([797]794,792,2)([798]795,797,3)([799]6,32,2)([800]799,667,4)([801]799,667,2)([802]800,798,4)([803]800,798,2)([804]801,803,3)([805]7,32,2)([806]805,673,4)([807]805,673,2)([808]806,804,4)([809]806,804,2)([810]807,809,3)([811]8,32,2)([812]811,679,4)([813]811,679,2)([814]812,810,4)([815]812,810,2)([816]813,815,3)([817]9,32,2)([818]817,685,4)([819]817,685,2)([820]818,816,4)([821]818,816,2)([822]819,821,3)([823]10,32,2)([824]823,691,4)([825]823,691,2)([826]824,822,4)([827]824,822,2)([828]825,827,3)([829]11,32,2)([830]829,697,4)([831]829,697,2)([832]830,828,4)([833]830,828,2)([834]831,833,3)([835]12,32,2)([836]835,703,4)([837]835,703,2)([838]836,834,4)([839]836,834,2)([840]837,839,3)([841]13,32,2)([842]841,709,4)([843]841,709,2)([844]842,840,4)([845]842,840,2)([846]843,845,3)([847]14,32,2)([848]847,715,4)([849]847,715,2)([850]848,846,4)([851]848,846,2)([852]849,851,3)([853]15,32,2)([854]853,721,4)([855]853,721,2)([856]854,852,4)([857]854,852,2)([858]855,857,3)([859]16,32,2)([860]859,727,4)([861]859,727,2)([862]860,858,4)([863]860,858,2)([864]861,863,3)([865]17,32,2)([866]865,733,4)([867]865,733,2)([868]866,864,4)([869]866,864,2)([870]867,869,3)([871]18,32,2)([872]871,739,4)([873]871,739,2)([874]872,870,4)([875]872,870,2)([876]873,875,3)([877]19,32,2)([878]877,745,4)([879]877,745,2)([880]878,876,4)([881]878,876,2)([882]879,881,3)([883]20,32,2)([884]883,751,4)([885]883,751,2)([886]884,882,4)([887]884,882,2)([888]885,887,3)([889]21,32,2)([890]889,757,4)([891]889,757,2)([892]890,888,4)([893]890,888,2)([894]891,893,3)([895]22,32,2)([896]895,763,4)([897]895,763,2)([898]896,894,4)([899]896,894,2)([900]897,899,3)([901]23,32,2)([902]901,769,4)([903]901,769,2)([904]902,900,4)([905]902,900,2)([906]903,905,3)([907]24,32,2)([908]907,775,4)([909]907,775,2)([910]908,906,4)([911]908,906,2)([912]909,911,3)([913]25,32,5)([914]913,777,4)([915]913,777,2)([916]914,912,4)([917]914,912,2)([918]915,917,3)([919]2,33,2)([920]919,784,4)([921]919,784,2)([922]3,33,2)([923]922,790,4)([924]922,790,2)([925]923,921,4)([926]923,921,2)([927]924,926,3)([928]4,33,2)([929]928,796,4)([930]928,796,2)([931]929,927,4)([932]929,927,2)([933]930,932,3)([934]5,33,2)([935]934,802,4)([936]934,802,2)([937]935,933,4)([938]935,933,2)([939]936,938,3)([940]6,33,2)([941]940,808,4)([942]940,808,2)([943]941,939,4)([944]941,939,2)([945]942,944,3)([946]7,33,2)([947]946,814,4)([948]946,814,2)([949]947,945,4)([950]947,945,2)([951]948,950,3)([952]8,33,2)([953]952,820,4)([954]952,820,2)([955]953,951,4)([956]953,951,2)([957]954,956,3)([958]9,33,2)([959]958,826,4)([960]958,826,2)([961]959,957,4)([962]959,957,2)([963]960,962,3)([964]10,33,2)([965]964,832,4)([966]964,832,2)([967]965,963,4)([968]965,963,2)([969]966,968,3)([970]11,33,2)([971]970,838,4)([972]970,838,2)([973]971,969,4)([974]971,969,2)([975]972,974,3)([976]12,33,2)([977]976,844,4)([978]976,844,2)([979]977,975,4)([980]977,975,2)([981]978,980,3)([982]13,33,2)([983]982,850,4)([984]982,850,2)([985]983,981,4)([986]983,981,2)([987]984,986,3)([988]14,33,2)([989]988,856,4)([990]988,856,2)([991]989,987,4)([992]989,987,2)([993]990,992,3)([994]15,33,2)([995]994,862,4)([996]994,862,2)([997]995,993,4)([998]995,993,2)([999]996,998,3)([1000]16,33,2)([1001]1000,868,4)([1002]1000,868,2)([1003]1001,999,4)([1004]1001,999,2)([1005]1002,1004,3)([1006]17,33,2)([1007]1006,874,4)([1008]1006,874,2)([1009]1007,1005,4)([1010]1007,1005,2)([1011]1008,1010,3)([1012]18,33,2)([1013]1012,880,4)([1014]1012,880,2)([1015]1013,1011,4)([1016]1013,1011,2)([1017]1014,1016,3)([1018]19,33,2)([1019]1018,886,4)([1020]1018,886,2)([1021]1019,1017,4)([1022]1019,1017,2)([1023]1020,1022,3)([1024]20,33,2)([1025]1024,892,4)([1026]1024,892,2)([1027]1025,1023,4)([1028]1025,1023,2)([1029]1026,1028,3)([1030]21,33,2)([1031]1030,898,4)([1032]1030,898,2)([1033]1031,1029,4)([1034]1031,1029,2)([1035]1032,1034,3)([1036]22,33,2)([1037]1036,904,4)([1038]1036,904,2)([1039]1037,1035,4)([1040]1037,1035,2)([1041]1038,1040,3)([1042]23,33,2)([1043]1042,910,4)([1044]1042,910,2)([1045]1043,1041,4)([1046]1043,1041,2)([1047]1044,1046,3)([1048]24,33,2)([1049]1048,916,4)([1050]1048,916,2)([1051]1049,1047,4)([1052]1049,1047,2)([1053]1050,1052,3)([1054]25,33,5)([1055]1054,918,4)([1056]1054,918,2)([1057]1055,1053,4)([1058]1055,1053,2)([1059]1056,1058,3)([1060]2,34,2)([1061]1060,925,4)([1062]1060,925,2)([1063]3,34,2)([1064]1063,931,4)([1065]1063,931,2)([1066]1064,1062,4)([1067]1064,1062,2)([1068]1065,1067,3)([1069]4,34,2)([1070]1069,937,4)([1071]1069,937,2)([1072]1070,1068,4)([1073]1070,1068,2)([1074]1071,1073,3)([1075]5,34,2)([1076]1075,943,4)([1077]1075,943,2)([1078]1076,1074,4)([1079]1076,1074,2)([1080]1077,1079,3)([1081]6,34,2)([1082]1081,949,4)([1083]1081,949,2)([1084]1082,1080,4)([1085]1082,1080,2)([1086]1083,1085,3)([1087]7,34,2)([1088]1087,955,4)([1089]1087,955,2)([1090]1088,1086,4)([1091]1088,1086,2)([1092]1089,1091,3)([1093]8,34,2)([1094]1093,961,4)([1095]1093,961,2)([1096]1094,1092,4)([1097]1094,1092,2)([1098]1095,1097,3)([1099]9,34,2)([1100]1099,967,4)([1101]1099,967,2)([1102]1100,1098,4)([1103]1100,1098,2)([1104]1101,1103,3)([1105]10,34,2)([1106]1105,973,4)([1107]1105,973,2)([1108]1106,1104,4)([1109]1106,1104,2)([1110]1107,1109,3)([1111]11,34,2)([1112]1111,979,4)([1113]1111,979,2)([1114]1112,1110,4)([1115]1112,1110,2)([1116]1113,1115,3)([1117]12,34,2)([1118]1117,985,4)([1119]1117,985,2)([1120]1118,1116,4)([1121]1118,1116,2)([1122]1119,1121,3)([1123]13,34,2)([1124]1123,991,4)([1125]1123,991,2)([1126]1124,1122,4)([1127]1124,1122,2)([1128]1125,1127,3)([1129]14,34,2)([1130]1129,997,4)([1131]1129,997,2)([1132]1130,1128,4)([1133]1130,1128,2)([1134]1131,1133,3)([1135]15,34,2)([1136]1135,1003,4)([1137]1135,1003,2)([1138]1136,1134,4)([1139]1136,1134,2)([1140]1137,1139,3)([1141]16,34,2)([1142]1141,1009,4)([1143]1141,1009,2)([1144]1142,1140,4)([1145]1142,1140,2)([1146]1143,1145,3)([1147]17,34,2)([1148]1147,1015,4)([1149]1147,1015,2)([1150]1148,1146,4)([1151]1148,1146,2)([1152]1149,1151,3)([1153]18,34,2)([1154]1153,1021,4)([1155]1153,1021,2)([1156]1154,1152,4)([1157]1154,1152,2)([1158]1155,1157,3)([1159]19,34,2)([1160]1159,1027,4)([1161]1159,1027,2)([1162]1160,1158,4)([1163]1160,1158,2)([1164]1161,1163,3)([1165]20,34,2)([1166]1165,1033,4)([1167]1165,1033,2)([1168]1166,1164,4)([1169]1166,1164,2)([1170]1167,1169,3)([1171]21,34,2)([1172]1171,1039,4)([1173]1171,1039,2)([1174]1172,1170,4)([1175]1172,1170,2)([1176]1173,1175,3)([1177]22,34,2)([1178]1177,1045,4)([1179]1177,1045,2)([1180]1178,1176,4)([1181]1178,1176,2)([1182]1179,1181,3)([1183]23,34,2)([1184]1183,1051,4)([1185]1183,1051,2)([1186]1184,1182,4)([1187]1184,1182,2)([1188]1185,1187,3)([1189]24,34,2)([1190]1189,1057,4)([1191]1189,1057,2)([1192]1190,1188,4)([1193]1190,1188,2)([1194]1191,1193,3)([1195]25,34,5)([1196]1195,1059,4)([1197]1195,1059,2)([1198]1196,1194,4)([1199]1196,1194,2)([1200]1197,1199,3)([1201]2,35,2)([1202]1201,1066,4)([1203]1201,1066,2)([1204]3,35,2)([1205]1204,1072,4)([1206]1204,1072,2)([1207]1205,1203,4)([1208]1205,1203,2)([1209]1206,1208,3)([1210]4,35,2)([1211]1210,1078,4)([1212]1210,1078,2)([1213]1211,1209,4)([1214]1211,1209,2)([1215]1212,1214,3)([1216]5,35,2)([1217]1216,1084,4)([1218]1216,1084,2)([1219]1217,1215,4)([1220]1217,1215,2)([1221]1218,1220,3)([1222]6,35,2)([1223]1222,1090,4)([1224]1222,1090,2)([1225]1223,1221,4)([1226]1223,1221,2)([1227]1224,1226,3)([1228]7,35,2)([1229]1228,1096,4)([1230]1228,1096,2)([1231]1229,1227,4)([1232]1229,1227,2)([1233]1230,1232,3)([1234]8,35,2)([1235]1234,1102,4)([1236]1234,1102,2)([1237]1235,1233,4)([1238]1235,1233,2)([1239]1236,1238,3)([1240]9,35,2)([1241]1240,1108,4)([1242]1240,1108,2)([1243]1241,1239,4)([1244]1241,1239,2)([1245]1242,1244,3)([1246]10,35,2)([1247]1246,1114,4)([1248]1246,1114,2)([1249]1247,1245,4)([1250]1247,1245,2)([1251]1248,1250,3)([1252]11,35,2)([1253]1252,1120,4)([1254]1252,1120,2)([1255]1253,1251,4)([1256]1253,1251,2)([1257]1254,1256,3)([1258]12,35,2)([1259]1258,1126,4)([1260]1258,1126,2)([1261]1259,1257,4)([1262]1259,1257,2)([1263]1260,1262,3)([1264]13,35,2)([1265]1264,1132,4)([1266]1264,1132,2)([1267]1265,1263,4)([1268]1265,1263,2)([1269]1266,1268,3)([1270]14,35,2)([1271]1270,1138,4)([1272]1270,1138,2)([1273]1271,1269,4)([1274]1271,1269,2)([1275]1272,1274,3)([1276]15,35,2)([1277]1276,1144,4)([1278]1276,1144,2)([1279]1277,1275,4)([1280]1277,1275,2)([1281]1278,1280,3)([1282]16,35,2)([1283]1282,1150,4)([1284]1282,1150,2)([1285]1283,1281,4)([1286]1283,1281,2)([1287]1284,1286,3)([1288]17,35,2)([1289]1288,1156,4)([1290]1288,1156,2)([1291]1289,1287,4)([1292]1289,1287,2)([1293]1290,1292,3)([1294]18,35,2)([1295]1294,1162,4)([1296]1294,1162,2)([1297]1295,1293,4)([1298]1295,1293,2)([1299]1296,1298,3)([1300]19,35,2)([1301]1300,1168,4)([1302]1300,1168,2)([1303]1301,1299,4)([1304]1301,1299,2)([1305]1302,1304,3)([1306]20,35,2)([1307]1306,1174,4)([1308]1306,1174,2)([1309]1307,1305,4)([1310]1307,1305,2)([1311]1308,1310,3)([1312]21,35,2)([1313]1312,1180,4)([1314]1312,1180,2)([1315]1313,1311,4)([1316]1313,1311,2)([1317]1314,1316,3)([1318]22,35,2)([1319]1318,1186,4)([1320]1318,1186,2)([1321]1319,1317,4)([1322]1319,1317,2)([1323]1320,1322,3)([1324]23,35,2)([1325]1324,1192,4)([1326]1324,1192,2)([1327]1325,1323,4)([1328]1325,1323,2)([1329]1326,1328,3)([1330]24,35,2)([1331]1330,1198,4)([1332]1330,1198,2)([1333]1331,1329,4)([1334]1331,1329,2)([1335]1332,1334,3)([1336]25,35,5)([1337]1336,1200,4)([1338]1336,1200,2)([1339]1337,1335,4)([1340]1337,1335,2)([1341]1338,1340,3)([1342]2,36,2)([1343]1342,1207,4)([1344]1342,1207,2)([1345]3,36,2)([1346]1345,1213,4)([1347]1345,1213,2)([1348]1346,1344,4)([1349]1346,1344,2)([1350]1347,1349,3)([1351]4,36,2)([1352]1351,1219,4)([1353]1351,1219,2)([1354]1352,1350,4)([1355]1352,1350,2)([1356]1353,1355,3)([1357]5,36,2)([1358]1357,1225,4)([1359]1357,1225,2)([1360]1358,1356,4)([1361]1358,1356,2)([1362]1359,1361,3)([1363]6,36,2)([1364]1363,1231,4)([1365]1363,1231,2)([1366]1364,1362,4)([1367]1364,1362,2)([1368]1365,1367,3)([1369]7,36,2)([1370]1369,1237,4)([1371]1369,1237,2)([1372]1370,1368,4)([1373]1370,1368,2)([1374]1371,1373,3)([1375]8,36,2)([1376]1375,1243,4)([1377]1375,1243,2)([1378]1376,1374,4)([1379]1376,1374,2)([1380]1377,1379,3)([1381]9,36,2)([1382]1381,1249,4)([1383]1381,1249,2)([1384]1382,1380,4)([1385]1382,1380,2)([1386]1383,1385,3)([1387]10,36,2)([1388]1387,1255,4)([1389]1387,1255,2)([1390]1388,1386,4)([1391]1388,1386,2)([1392]1389,1391,3)([1393]11,36,2)([1394]1393,1261,4)([1395]1393,1261,2)([1396]1394,1392,4)([1397]1394,1392,2)([1398]1395,1397,3)([1399]12,36,2)([1400]1399,1267,4)([1401]1399,1267,2)([1402]1400,1398,4)([1403]1400,1398,2)([1404]1401,1403,3)([1405]13,36,2)([1406]1405,1273,4)([1407]1405,1273,2)([1408]1406,1404,4)([1409]1406,1404,2)([1410]1407,1409,3)([1411]14,36,2)([1412]1411,1279,4)([1413]1411,1279,2)([1414]1412,1410,4)([1415]1412,1410,2)([1416]1413,1415,3)([1417]15,36,2)([1418]1417,1285,4)([1419]1417,1285,2)([1420]1418,1416,4)([1421]1418,1416,2)([1422]1419,1421,3)([1423]16,36,2)([1424]1423,1291,4)([1425]1423,1291,2)([1426]1424,1422,4)([1427]1424,1422,2)([1428]1425,1427,3)([1429]17,36,2)([1430]1429,1297,4)([1431]1429,1297,2)([1432]1430,1428,4)([1433]1430,1428,2)([1434]1431,1433,3)([1435]18,36,2)([1436]1435,1303,4)([1437]1435,1303,2)([1438]1436,1434,4)([1439]1436,1434,2)([1440]1437,1439,3)([1441]19,36,2)([1442]1441,1309,4)([1443]1441,1309,2)([1444]1442,1440,4)([1445]1442,1440,2)([1446]1443,1445,3)([1447]20,36,2)([1448]1447,1315,4)([1449]1447,1315,2)([1450]1448,1446,4)([1451]1448,1446,2)([1452]1449,1451,3)([1453]21,36,2)([1454]1453,1321,4)([1455]1453,1321,2)([1456]1454,1452,4)([1457]1454,1452,2)([1458]1455,1457,3)([1459]22,36,2)([1460]1459,1327,4)([1461]1459,1327,2)([1462]1460,1458,4)([1463]1460,1458,2)([1464]1461,1463,3)([1465]23,36,2)([1466]1465,1333,4)([1467]1465,1333,2)([1468]1466,1464,4)([1469]1466,1464,2)([1470]1467,1469,3)([1471]24,36,2)([1472]1471,1339,4)([1473]1471,1339,2)([1474]1472,1470,4)([1475]1472,1470,2)([1476]1473,1475,3)([1477]25,36,5)([1478]1477,1341,4)([1479]1477,1341,2)([1480]1478,1476,4)([1481]1478,1476,2)([1482]1479,1481,3)([1483]2,37,2)([1484]1483,1348,4)([1485]1483,1348,2)([1486]3,37,2)([1487]1486,1354,4)([1488]1486,1354,2)([1489]1487,1485,4)([1490]1487,1485,2)([1491]1488,1490,3)([1492]4,37,2)([1493]1492,1360,4)([1494]1492,1360,2)([1495]1493,1491,4)([1496]1493,1491,2)([1497]1494,1496,3)([1498]5,37,2)([1499]1498,1366,4)([1500]1498,1366,2)([1501]1499,1497,4)([1502]1499,1497,2)([1503]1500,1502,3)([1504]6,37,2)([1505]1504,1372,4)([1506]1504,1372,2)([1507]1505,1503,4)([1508]1505,1503,2)([1509]1506,1508,3)([1510]7,37,2)([1511]1510,1378,4)([1512]1510,1378,2)([1513]1511,1509,4)([1514]1511,1509,2)([1515]1512,1514,3)([1516]8,37,2)([1517]1516,1384,4)([1518]1516,1384,2)([1519]1517,1515,4)([1520]1517,1515,2)([1521]1518,1520,3)([1522]9,37,2)([1523]1522,1390,4)([1524]1522,1390,2)([1525]1523,1521,4)([1526]1523,1521,2)([1527]1524,1526,3)([1528]10,37,2)([1529]1528,1396,4)([1530]1528,1396,2)([1531]1529,1527,4)([1532]1529,1527,2)([1533]1530,1532,3)([1534]11,37,2)([1535]1534,1402,4)([1536]1534,1402,2)([1537]1535,1533,4)([1538]1535,1533,2)([1539]1536,1538,3)([1540]12,37,2)([1541]1540,1408,4)([1542]1540,1408,2)([1543]1541,1539,4)([1544]1541,1539,2)([1545]1542,1544,3)([1546]13,37,2)([1547]1546,1414,4)([1548]1546,1414,2)([1549]1547,1545,4)([1550]1547,1545,2)([1551]1548,1550,3)([1552]14,37,2)([1553]1552,1420,4)([1554]1552,1420,2)([1555]1553,1551,4)([1556]1553,1551,2)([1557]1554,1556,3)([1558]15,37,2)([1559]1558,1426,4)([1560]1558,1426,2)([1561]1559,1557,4)([1562]1559,1557,2)([1563]1560,1562,3)([1564]16,37,2)([1565]1564,1432,4)([1566]1564,1432,2)([1567]1565,1563,4)([1568]1565,1563,2)([1569]1566,1568,3)([1570]17,37,2)([1571]1570,1438,4)([1572]1570,1438,2)([1573]1571,1569,4)([1574]1571,1569,2)([1575]1572,1574,3)([1576]18,37,2)([1577]1576,1444,4)([1578]1576,1444,2)([1579]1577,1575,4)([1580]1577,1575,2)([1581]1578,1580,3)([1582]19,37,2)([1583]1582,1450,4)([1584]1582,1450,2)([1585]1583,1581,4)([1586]1583,1581,2)([1587]1584,1586,3)([1588]20,37,2)([1589]1588,1456,4)([1590]1588,1456,2)([1591]1589,1587,4)([1592]1589,1587,2)([1593]1590,1592,3)([1594]21,37,2)([1595]1594,1462,4)([1596]1594,1462,2)([1597]1595,1593,4)([1598]1595,1593,2)([1599]1596,1598,3)([1600]22,37,2)([1601]1600,1468,4)([1602]1600,1468,2)([1603]1601,1599,4)([1604]1601,1599,2)([1605]1602,1604,3)([1606]23,37,2)([1607]1606,1474,4)([1608]1606,1474,2)([1609]1607,1605,4)([1610]1607,1605,2)([1611]1608,1610,3)([1612]24,37,2)([1613]1612,1480,4)([1614]1612,1480,2)([1615]1613,1611,4)([1616]1613,1611,2)([1617]1614,1616,3)([1618]25,37,5)([1619]1618,1482,4)([1620]1618,1482,2)([1621]1619,1617,4)([1622]1619,1617,2)([1623]1620,1622,3)([1624]2,38,2)([1625]1624,1489,4)([1626]1624,1489,2)([1627]3,38,2)([1628]1627,1495,4)([1629]1627,1495,2)([1630]1628,1626,4)([1631]1628,1626,2)([1632]1629,1631,3)([1633]4,38,2)([1634]1633,1501,4)([1635]1633,1501,2)([1636]1634,1632,4)([1637]1634,1632,2)([1638]1635,1637,3)([1639]5,38,2)([1640]1639,1507,4)([1641]1639,1507,2)([1642]1640,1638,4)([1643]1640,1638,2)([1644]1641,1643,3)([1645]6,38,2)([1646]1645,1513,4)([1647]1645,1513,2)([1648]1646,1644,4)([1649]1646,1644,2)([1650]1647,1649,3)([1651]7,38,2)([1652]1651,1519,4)([1653]1651,1519,2)([1654]1652,1650,4)([1655]1652,1650,2)([1656]1653,1655,3)([1657]8,38,2)([1658]1657,1525,4)([1659]1657,1525,2)([1660]1658,1656,4)([1661]1658,1656,2)([1662]1659,1661,3)([1663]9,38,2)([1664]1663,1531,4)([1665]1663,1531,2)([1666]1664,1662,4)([1667]1664,1662,2)([1668]1665,1667,3)([1669]10,38,2)([1670]1669,1537,4)([1671]1669,1537,2)([1672]1670,1668,4)([1673]1670,1668,2)([1674]1671,1673,3)([1675]11,38,2)([1676]1675,1543,4)([1677]1675,1543,2)([1678]1676,1674,4)([1679]1676,1674,2)([1680]1677,1679,3)([1681]12,38,2)([1682]1681,1549,4)([1683]1681,1549,2)([1684]1682,1680,4)([1685]1682,1680,2)([1686]1683,1685,3)([1687]13,38,2)([1688]1687,1555,4)([1689]1687,1555,2)([1690]1688,1686,4)([1691]1688,1686,2)([1692]1689,1691,3)([1693]14,38,2)([1694]1693,1561,4)([1695]1693,1561,2)([1696]1694,1692,4)([1697]1694,1692,2)([1698]1695,1697,3)([1699]15,38,2)([1700]1699,1567,4)([1701]1699,1567,2)([1702]1700,1698,4)([1703]1700,1698,2)([1704]1701,1703,3)([1705]16,38,2)([1706]1705,1573,4)([1707]1705,1573,2)([1708]1706,1704,4)([1709]1706,1704,2)([1710]1707,1709,3)([1711]17,38,2)([1712]1711,1579,4)([1713]1711,1579,2)([1714]1712,1710,4)([1715]1712,1710,2)([1716]1713,1715,3)([1717]18,38,2)([1718]1717,1585,4)([1719]1717,1585,2)([1720]1718,1716,4)([1721]1718,1716,2)([1722]1719,1721,3)([1723]19,38,2)([1724]1723,1591,4)([1725]1723,1591,2)([1726]1724,1722,4)([1727]1724,1722,2)([1728]1725,1727,3)([1729]20,38,2)([1730]1729,1597,4)([1731]1729,1597,2)([1732]1730,1728,4)([1733]1730,1728,2)([1734]1731,1733,3)([1735]21,38,2)([1736]1735,1603,4)([1737]1735,1603,2)([1738]1736,1734,4)([1739]1736,1734,2)([1740]1737,1739,3)([1741]22,38,2)([1742]1741,1609,4)([1743]1741,1609,2)([1744]1742,1740,4)([1745]1742,1740,2)([1746]1743,1745,3)([1747]23,38,2)([1748]1747,1615,4)([1749]1747,1615,2)([1750]1748,1746,4)([1751]1748,1746,2)([1752]1749,1751,3)([1753]24,38,2)([1754]1753,1621,4)([1755]1753,1621,2)([1756]1754,1752,4)([1757]1754,1752,2)([1758]1755,1757,3)([1759]25,38,5)([1760]1759,1623,4)([1761]1759,1623,2)([1762]1760,1758,4)([1763]1760,1758,2)([1764]1761,1763,3)([1765]2,39,2)([1766]1765,1630,4)([1767]1765,1630,2)([1768]3,39,2)([1769]1768,1636,4)([1770]1768,1636,2)([1771]1769,1767,4)([1772]1769,1767,2)([1773]1770,1772,3)([1774]4,39,2)([1775]1774,1642,4)([1776]1774,1642,2)([1777]1775,1773,4)([1778]1775,1773,2)([1779]1776,1778,3)([1780]5,39,2)([1781]1780,1648,4)([1782]1780,1648,2)([1783]1781,1779,4)([1784]1781,1779,2)([1785]1782,1784,3)([1786]6,39,2)([1787]1786,1654,4)([1788]1786,1654,2)([1789]1787,1785,4)([1790]1787,1785,2)([1791]1788,1790,3)([1792]7,39,2)([1793]1792,1660,4)([1794]1792,1660,2)([1795]1793,1791,4)([1796]1793,1791,2)([1797]1794,1796,3)([1798]8,39,2)([1799]1798,1666,4)([1800]1798,1666,2)([1801]1799,1797,4)([1802]1799,1797,2)([1803]1800,1802,3)([1804]9,39,2)([1805]1804,1672,4)([1806]1804,1672,2)([1807]1805,1803,4)([1808]1805,1803,2)([1809]1806,1808,3)([1810]10,39,2)([1811]1810,1678,4)([1812]1810,1678,2)([1813]1811,1809,4)([1814]1811,1809,2)([1815]1812,1814,3)([1816]11,39,2)([1817]1816,1684,4)([1818]1816,1684,2)([1819]1817,1815,4)([1820]1817,1815,2)([1821]1818,1820,3)([1822]12,39,2)([1823]1822,1690,4)([1824]1822,1690,2)([1825]1823,1821,4)([1826]1823,1821,2)([1827]1824,1826,3)([1828]13,39,2)([1829]1828,1696,4)([1830]1828,1696,2)([1831]1829,1827,4)([1832]1829,1827,2)([1833]1830,1832,3)([1834]14,39,2)([1835]1834,1702,4)([1836]1834,1702,2)([1837]1835,1833,4)([1838]1835,1833,2)([1839]1836,1838,3)([1840]15,39,2)([1841]1840,1708,4)([1842]1840,1708,2)([1843]1841,1839,4)([1844]1841,1839,2)([1845]1842,1844,3)([1846]16,39,2)([1847]1846,1714,4)([1848]1846,1714,2)([1849]1847,1845,4)([1850]1847,1845,2)([1851]1848,1850,3)([1852]17,39,2)([1853]1852,1720,4)([1854]1852,1720,2)([1855]1853,1851,4)([1856]1853,1851,2)([1857]1854,1856,3)([1858]18,39,2)([1859]1858,1726,4)([1860]1858,1726,2)([1861]1859,1857,4)([1862]1859,1857,2)([1863]1860,1862,3)([1864]19,39,2)([1865]1864,1732,4)([1866]1864,1732,2)([1867]1865,1863,4)([1868]1865,1863,2)([1869]1866,1868,3)([1870]20,39,2)([1871]1870,1738,4)([1872]1870,1738,2)([1873]1871,1869,4)([1874]1871,1869,2)([1875]1872,1874,3)([1876]21,39,2)([1877]1876,1744,4)([1878]1876,1744,2)([1879]1877,1875,4)([1880]1877,1875,2)([1881]1878,1880,3)([1882]22,39,2)([1883]1882,1750,4)([1884]1882,1750,2)([1885]1883,1881,4)([1886]1883,1881,2)([1887]1884,1886,3)([1888]23,39,2)([1889]1888,1756,4)([1890]1888,1756,2)([1891]1889,1887,4)([1892]1889,1887,2)([1893]1890,1892,3)([1894]24,39,2)([1895]1894,1762,4)([1896]1894,1762,2)([1897]1895,1893,4)([1898]1895,1893,2)([1899]1896,1898,3)([1900]25,39,5)([1901]1900,1764,4)([1902]1900,1764,2)([1903]1901,1899,4)([1904]1901,1899,2)([1905]1902,1904,3)([1906]2,40,2)([1907]1906,1771,4)([1908]1906,1771,2)([1909]3,40,2)([1910]1909,1777,4)([1911]1909,1777,2)([1912]1910,1908,4)([1913]1910,1908,2)([1914]1911,1913,3)([1915]4,40,2)([1916]1915,1783,4)([1917]1915,1783,2)([1918]1916,1914,4)([1919]1916,1914,2)([1920]1917,1919,3)([1921]5,40,2)([1922]1921,1789,4)([1923]1921,1789,2)([1924]1922,1920,4)([1925]1922,1920,2)([1926]1923,1925,3)([1927]6,40,2)([1928]1927,1795,4)([1929]1927,1795,2)([1930]1928,1926,4)([1931]1928,1926,2)([1932]1929,1931,3)([1933]7,40,2)([1934]1933,1801,4)([1935]1933,1801,2)([1936]1934,1932,4)([1937]1934,1932,2)([1938]1935,1937,3)([1939]8,40,2)([1940]1939,1807,4)([1941]1939,1807,2)([1942]1940,1938,4)([1943]1940,1938,2)([1944]1941,1943,3)([1945]9,40,2)([1946]1945,1813,4)([1947]1945,1813,2)([1948]1946,1944,4)([1949]1946,1944,2)([1950]1947,1949,3)([1951]10,40,2)([1952]1951,1819,4)([1953]1951,1819,2)([1954]1952,1950,4)([1955]1952,1950,2)([1956]1953,1955,3)([1957]11,40,2)([1958]1957,1825,4)([1959]1957,1825,2)([1960]1958,1956,4)([1961]1958,1956,2)([1962]1959,1961,3)([1963]12,40,2)([1964]1963,1831,4)([1965]1963,1831,2)([1966]1964,1962,4)([1967]1964,1962,2)([1968]1965,1967,3)([1969]13,40,2)([1970]1969,1837,4)([1971]1969,1837,2)([1972]1970,1968,4)([1973]1970,1968,2)([1974]1971,1973,3)([1975]14,40,2)([1976]1975,1843,4)([1977]1975,1843,2)([1978]1976,1974,4)([1979]1976,1974,2)([1980]1977,1979,3)([1981]15,40,2)([1982]1981,1849,4)([1983]1981,1849,2)([1984]1982,1980,4)([1985]1982,1980,2)([1986]1983,1985,3)([1987]16,40,2)([1988]1987,1855,4)([1989]1987,1855,2)([1990]1988,1986,4)([1991]1988,1986,2)([1992]1989,1991,3)([1993]17,40,2)([1994]1993,1861,4)([1995]1993,1861,2)([1996]1994,1992,4)([1997]1994,1992,2)([1998]1995,1997,3)([1999]18,40,2)([2000]1999,1867,4)([2001]1999,1867,2)([2002]2000,1998,4)([2003]2000,1998,2)([2004]2001,2003,3)([2005]19,40,2)([2006]2005,1873,4)([2007]2005,1873,2)([2008]2006,2004,4)([2009]2006,2004,2)([2010]2007,2009,3)([2011]20,40,2)([2012]2011,1879,4)([2013]2011,1879,2)([2014]2012,2010,4)([2015]2012,2010,2)([2016]2013,2015,3)([2017]21,40,2)([2018]2017,1885,4)([2019]2017,1885,2)([2020]2018,2016,4)([2021]2018,2016,2)([2022]2019,2021,3)([2023]22,40,2)([2024]2023,1891,4)([2025]2023,1891,2)([2026]2024,2022,4)([2027]2024,2022,2)([2028]2025,2027,3)([2029]23,40,2)([2030]2029,1897,4)([2031]2029,1897,2)([2032]2030,2028,4)([2033]2030,2028,2)([2034]2031,2033,3)([2035]24,40,2)([2036]2035,1903,4)([2037]2035,1903,2)([2038]2036,2034,4)([2039]2036,2034,2)([2040]2037,2039,3)([2041]25,40,5)([2042]2041,1905,4)([2043]2041,1905,2)([2044]2042,2040,4)([2045]2042,2040,2)([2046]2043,2045,3)([2047]2,41,2)([2048]2047,1912,4)([2049]2047,1912,2)([2050]3,41,2)([2051]2050,1918,4)([2052]2050,1918,2)([2053]2051,2049,4)([2054]2051,2049,2)([2055]2052,2054,3)([2056]4,41,2)([2057]2056,1924,4)([2058]2056,1924,2)([2059]2057,2055,4)([2060]2057,2055,2)([2061]2058,2060,3)([2062]5,41,2)([2063]2062,1930,4)([2064]2062,1930,2)([2065]2063,2061,4)([2066]2063,2061,2)([2067]2064,2066,3)([2068]6,41,2)([2069]2068,1936,4)([2070]2068,1936,2)([2071]2069,2067,4)([2072]2069,2067,2)([2073]2070,2072,3)([2074]7,41,2)([2075]2074,1942,4)([2076]2074,1942,2)([2077]2075,2073,4)([2078]2075,2073,2)([2079]2076,2078,3)([2080]8,41,2)([2081]2080,1948,4)([2082]2080,1948,2)([2083]2081,2079,4)([2084]2081,2079,2)([2085]2082,2084,3)([2086]9,41,2)([2087]2086,1954,4)([2088]2086,1954,2)([2089]2087,2085,4)([2090]2087,2085,2)([2091]2088,2090,3)([2092]10,41,2)([2093]2092,1960,4)([2094]2092,1960,2)([2095]2093,2091,4)([2096]2093,2091,2)([2097]2094,2096,3)([2098]11,41,2)([2099]2098,1966,4)([2100]2098,1966,2)([2101]2099,2097,4)([2102]2099,2097,2)([2103]2100,2102,3)([2104]12,41,2)([2105]2104,1972,4)([2106]2104,1972,2)([2107]2105,2103,4)([2108]2105,2103,2)([2109]2106,2108,3)([2110]13,41,2)([2111]2110,1978,4)([2112]2110,1978,2)([2113]2111,2109,4)([2114]2111,2109,2)([2115]2112,2114,3)([2116]14,41,2)([2117]2116,1984,4)([2118]2116,1984,2)([2119]2117,2115,4)([2120]2117,2115,2)([2121]2118,2120,3)([2122]15,41,2)([2123]2122,1990,4)([2124]2122,1990,2)([2125]2123,2121,4)([2126]2123,2121,2)([2127]2124,2126,3)([2128]16,41,2)([2129]2128,1996,4)([2130]2128,1996,2)([2131]2129,2127,4)([2132]2129,2127,2)([2133]2130,2132,3)([2134]17,41,2)([2135]2134,2002,4)([2136]2134,2002,2)([2137]2135,2133,4)([2138]2135,2133,2)([2139]2136,2138,3)([2140]18,41,2)([2141]2140,2008,4)([2142]2140,2008,2)([2143]2141,2139,4)([2144]2141,2139,2)([2145]2142,2144,3)([2146]19,41,2)([2147]2146,2014,4)([2148]2146,2014,2)([2149]2147,2145,4)([2150]2147,2145,2)([2151]2148,2150,3)([2152]20,41,2)([2153]2152,2020,4)([2154]2152,2020,2)([2155]2153,2151,4)([2156]2153,2151,2)([2157]2154,2156,3)([2158]21,41,2)([2159]2158,2026,4)([2160]2158,2026,2)([2161]2159,2157,4)([2162]2159,2157,2)([2163]2160,2162,3)([2164]22,41,2)([2165]2164,2032,4)([2166]2164,2032,2)([2167]2165,2163,4)([2168]2165,2163,2)([2169]2166,2168,3)([2170]23,41,2)([2171]2170,2038,4)([2172]2170,2038,2)([2173]2171,2169,4)([2174]2171,2169,2)([2175]2172,2174,3)([2176]24,41,2)([2177]2176,2044,4)([2178]2176,2044,2)([2179]2177,2175,4)([2180]2177,2175,2)([2181]2178,2180,3)([2182]25,41,5)([2183]2182,2046,4)([2184]2182,2046,2)([2185]2183,2181,4)([2186]2183,2181,2)([2187]2184,2186,3)([2188]2,42,2)([2189]2188,2053,4)([2190]2188,2053,2)([2191]3,42,2)([2192]2191,2059,4)([2193]2191,2059,2)([2194]2192,2190,4)([2195]2192,2190,2)([2196]2193,2195,3)([2197]4,42,2)([2198]2197,2065,4)([2199]2197,2065,2)([2200]2198,2196,4)([2201]2198,2196,2)([2202]2199,2201,3)([2203]5,42,2)([2204]2203,2071,4)([2205]2203,2071,2)([2206]2204,2202,4)([2207]2204,2202,2)([2208]2205,2207,3)([2209]6,42,2)([2210]2209,2077,4)([2211]2209,2077,2)([2212]2210,2208,4)([2213]2210,2208,2)([2214]2211,2213,3)([2215]7,42,2)([2216]2215,2083,4)([2217]2215,2083,2)([2218]2216,2214,4)([2219]2216,2214,2)([2220]2217,2219,3)([2221]8,42,2)([2222]2221,2089,4)([2223]2221,2089,2)([2224]2222,2220,4)([2225]2222,2220,2)([2226]2223,2225,3)([2227]9,42,2)([2228]2227,2095,4)([2229]2227,2095,2)([2230]2228,2226,4)([2231]2228,2226,2)([2232]2229,2231,3)([2233]10,42,2)([2234]2233,2101,4)([2235]2233,2101,2)([2236]2234,2232,4)([2237]2234,2232,2)([2238]2235,2237,3)([2239]11,42,2)([2240]2239,2107,4)([2241]2239,2107,2)([2242]2240,2238,4)([2243]2240,2238,2)([2244]2241,2243,3)([2245]12,42,2)([2246]2245,2113,4)([2247]2245,2113,2)([2248]2246,2244,4)([2249]2246,2244,2)([2250]2247,2249,3)([2251]13,42,2)([2252]2251,2119,4)([2253]2251,2119,2)([2254]2252,2250,4)([2255]2252,2250,2)([2256]2253,2255,3)([2257]14,42,2)([2258]2257,2125,4)([2259]2257,2125,2)([2260]2258,2256,4)([2261]2258,2256,2)([2262]2259,2261,3)([2263]15,42,2)([2264]2263,2131,4)([2265]2263,2131,2)([2266]2264,2262,4)([2267]2264,2262,2)([2268]2265,2267,3)([2269]16,42,2)([2270]2269,2137,4)([2271]2269,2137,2)([2272]2270,2268,4)([2273]2270,2268,2)([2274]2271,2273,3)([2275]17,42,2)([2276]2275,2143,4)([2277]2275,2143,2)([2278]2276,2274,4)([2279]2276,2274,2)([2280]2277,2279,3)([2281]18,42,2)([2282]2281,2149,4)([2283]2281,2149,2)([2284]2282,2280,4)([2285]2282,2280,2)([2286]2283,2285,3)([2287]19,42,2)([2288]2287,2155,4)([2289]2287,2155,2)([2290]2288,2286,4)([2291]2288,2286,2)([2292]2289,2291,3)([2293]20,42,2)([2294]2293,2161,4)([2295]2293,2161,2)([2296]2294,2292,4)([2297]2294,2292,2)([2298]2295,2297,3)([2299]21,42,2)([2300]2299,2167,4)([2301]2299,2167,2)([2302]2300,2298,4)([2303]2300,2298,2)([2304]2301,2303,3)([2305]22,42,2)([2306]2305,2173,4)([2307]2305,2173,2)([2308]2306,2304,4)([2309]2306,2304,2)([2310]2307,2309,3)([2311]23,42,2)([2312]2311,2179,4)([2313]2311,2179,2)([2314]2312,2310,4)([2315]2312,2310,2)([2316]2313,2315,3)([2317]24,42,2)([2318]2317,2185,4)([2319]2317,2185,2)([2320]2318,2316,4)([2321]2318,2316,2)([2322]2319,2321,3)([2323]25,42,5)([2324]2323,2187,4)([2325]2323,2187,2)([2326]2324,2322,4)([2327]2324,2322,2)([2328]2325,2327,3)([2329]2,43,2)([2330]2329,2194,4)([2331]2329,2194,2)([2332]3,43,2)([2333]2332,2200,4)([2334]2332,2200,2)([2335]2333,2331,4)([2336]2333,2331,2)([2337]2334,2336,3)([2338]4,43,2)([2339]2338,2206,4)([2340]2338,2206,2)([2341]2339,2337,4)([2342]2339,2337,2)([2343]2340,2342,3)([2344]5,43,2)([2345]2344,2212,4)([2346]2344,2212,2)([2347]2345,2343,4)([2348]2345,2343,2)([2349]2346,2348,3)([2350]6,43,2)([2351]2350,2218,4)([2352]2350,2218,2)([2353]2351,2349,4)([2354]2351,2349,2)([2355]2352,2354,3)([2356]7,43,2)([2357]2356,2224,4)([2358]2356,2224,2)([2359]2357,2355,4)([2360]2357,2355,2)([2361]2358,2360,3)([2362]8,43,2)([2363]2362,2230,4)([2364]2362,2230,2)([2365]2363,2361,4)([2366]2363,2361,2)([2367]2364,2366,3)([2368]9,43,2)([2369]2368,2236,4)([2370]2368,2236,2)([2371]2369,2367,4)([2372]2369,2367,2)([2373]2370,2372,3)([2374]10,43,2)([2375]2374,2242,4)([2376]2374,2242,2)([2377]2375,2373,4)([2378]2375,2373,2)([2379]2376,2378,3)([2380]11,43,2)([2381]2380,2248,4)([2382]2380,2248,2)([2383]2381,2379,4)([2384]2381,2379,2)([2385]2382,2384,3)([2386]12,43,2)([2387]2386,2254,4)([2388]2386,2254,2)([2389]2387,2385,4)([2390]2387,2385,2)([2391]2388,2390,3)([2392]13,43,2)([2393]2392,2260,4)([2394]2392,2260,2)([2395]2393,2391,4)([2396]2393,2391,2)([2397]2394,2396,3)([2398]14,43,2)([2399]2398,2266,4)([2400]2398,2266,2)([2401]2399,2397,4)([2402]2399,2397,2)([2403]2400,2402,3)([2404]15,43,2)([2405]2404,2272,4)([2406]2404,2272,2)([2407]2405,2403,4)([2408]2405,2403,2)([2409]2406,2408,3)([2410]16,43,2)([2411]2410,2278,4)([2412]2410,2278,2)([2413]2411,2409,4)([2414]2411,2409,2)([2415]2412,2414,3)([2416]17,43,2)([2417]2416,2284,4)([2418]2416,2284,2)([2419]2417,2415,4)([2420]2417,2415,2)([2421]2418,2420,3)([2422]18,43,2)([2423]2422,2290,4)([2424]2422,2290,2)([2425]2423,2421,4)([2426]2423,2421,2)([2427]2424,2426,3)([2428]19,43,2)([2429]2428,2296,4)([2430]2428,2296,2)([2431]2429,2427,4)([2432]2429,2427,2)([2433]2430,2432,3)([2434]20,43,2)([2435]2434,2302,4)([2436]2434,2302,2)([2437]2435,2433,4)([2438]2435,2433,2)([2439]2436,2438,3)([2440]21,43,2)([2441]2440,2308,4)([2442]2440,2308,2)([2443]2441,2439,4)([2444]2441,2439,2)([2445]2442,2444,3)([2446]22,43,2)([2447]2446,2314,4)([2448]2446,2314,2)([2449]2447,2445,4)([2450]2447,2445,2)([2451]2448,2450,3)([2452]23,43,2)([2453]2452,2320,4)([2454]2452,2320,2)([2455]2453,2451,4)([2456]2453,2451,2)([2457]2454,2456,3)([2458]24,43,2)([2459]2458,2326,4)([2460]2458,2326,2)([2461]2459,2457,4)([2462]2459,2457,2)([2463]2460,2462,3)([2464]25,43,5)([2465]2464,2328,4)([2466]2464,2328,2)([2467]2465,2463,4)([2468]2465,2463,2)([2469]2466,2468,3)([2470]2,44,2)([2471]2470,2335,4)([2472]2470,2335,2)([2473]3,44,2)([2474]2473,2341,4)([2475]2473,2341,2)([2476]2474,2472,4)([2477]2474,2472,2)([2478]2475,2477,3)([2479]4,44,2)([2480]2479,2347,4)([2481]2479,2347,2)([2482]2480,2478,4)([2483]2480,2478,2)([2484]2481,2483,3)([2485]5,44,2)([2486]2485,2353,4)([2487]2485,2353,2)([2488]2486,2484,4)([2489]2486,2484,2)([2490]2487,2489,3)([2491]6,44,2)([2492]2491,2359,4)([2493]2491,2359,2)([2494]2492,2490,4)([2495]2492,2490,2)([2496]2493,2495,3)([2497]7,44,2)([2498]2497,2365,4)([2499]2497,2365,2)([2500]2498,2496,4)([2501]2498,2496,2)([2502]2499,2501,3)([2503]8,44,2)([2504]2503,2371,4)([2505]2503,2371,2)([2506]2504,2502,4)([2507]2504,2502,2)([2508]2505,2507,3)([2509]9,44,2)([2510]2509,2377,4)([2511]2509,2377,2)([2512]2510,2508,4)([2513]2510,2508,2)([2514]2511,2513,3)([2515]10,44,2)([2516]2515,2383,4)([2517]2515,2383,2)([2518]2516,2514,4)([2519]2516,2514,2)([2520]2517,2519,3)([2521]11,44,2)([2522]2521,2389,4)([2523]2521,2389,2)([2524]2522,2520,4)([2525]2522,2520,2)([2526]2523,2525,3)([2527]12,44,2)([2528]2527,2395,4)([2529]2527,2395,2)([2530]2528,2526,4)([2531]2528,2526,2)([2532]2529,2531,3)([2533]13,44,2)([2534]2533,2401,4)([2535]2533,2401,2)([2536]2534,2532,4)([2537]2534,2532,2)([2538]2535,2537,3)([2539]14,44,2)([2540]2539,2407,4)([2541]2539,2407,2)([2542]2540,2538,4)([2543]2540,2538,2)([2544]2541,2543,3)([2545]15,44,2)([2546]2545,2413,4)([2547]2545,2413,2)([2548]2546,2544,4)([2549]2546,2544,2)([2550]2547,2549,3)([2551]16,44,2)([2552]2551,2419,4)([2553]2551,2419,2)([2554]2552,2550,4)([2555]2552,2550,2)([2556]2553,2555,3)([2557]17,44,2)([2558]2557,2425,4)([2559]2557,2425,2)([2560]2558,2556,4)([2561]2558,2556,2)([2562]2559,2561,3)([2563]18,44,2)([2564]2563,2431,4)([2565]2563,2431,2)([2566]2564,2562,4)([2567]2564,2562,2)([2568]2565,2567,3)([2569]19,44,2)([2570]2569,2437,4)([2571]2569,2437,2)([2572]2570,2568,4)([2573]2570,2568,2)([2574]2571,2573,3)([2575]20,44,2)([2576]2575,2443,4)([2577]2575,2443,2)([2578]2576,2574,4)([2579]2576,2574,2)([2580]2577,2579,3)([2581]21,44,2)([2582]2581,2449,4)([2583]2581,2449,2)([2584]2582,2580,4)([2585]2582,2580,2)([2586]2583,2585,3)([2587]22,44,2)([2588]2587,2455,4)([2589]2587,2455,2)([2590]2588,2586,4)([2591]2588,2586,2)([2592]2589,2591,3)([2593]23,44,2)([2594]2593,2461,4)([2595]2593,2461,2)([2596]2594,2592,4)([2597]2594,2592,2)([2598]2595,2597,3)([2599]24,44,2)([2600]2599,2467,4)([2601]2599,2467,2)([2602]2600,2598,4)([2603]2600,2598,2)([2604]2601,2603,3)([2605]25,44,5)([2606]2605,2469,4)([2607]2605,2469,2)([2608]2606,2604,4)([2609]2606,2604,2)([2610]2607,2609,3)([2611]2,45,2)([2612]2611,2476,4)([2613]2611,2476,2)([2614]3,45,2)([2615]2614,2482,4)([2616]2614,2482,2)([2617]2615,2613,4)([2618]2615,2613,2)([2619]2616,2618,3)([2620]4,45,2)([2621]2620,2488,4)([2622]2620,2488,2)([2623]2621,2619,4)([2624]2621,2619,2)([2625]2622,2624,3)([2626]5,45,2)([2627]2626,2494,4)([2628]2626,2494,2)([2629]2627,2625,4)([2630]2627,2625,2)([2631]2628,2630,3)([2632]6,45,2)([2633]2632,2500,4)([2634]2632,2500,2)([2635]2633,2631,4)([2636]2633,2631,2)([2637]2634,2636,3)([2638]7,45,2)([2639]2638,2506,4)([2640]2638,2506,2)([2641]2639,2637,4)([2642]2639,2637,2)([2643]2640,2642,3)([2644]8,45,2)([2645]2644,2512,4)([2646]2644,2512,2)([2647]2645,2643,4)([2648]2645,2643,2)([2649]2646,2648,3)([2650]9,45,2)([2651]2650,2518,4)([2652]2650,2518,2)([2653]2651,2649,4)([2654]2651,2649,2)([2655]2652,2654,3)([2656]10,45,2)([2657]2656,2524,4)([2658]2656,2524,2)([2659]2657,2655,4)([2660]2657,2655,2)([2661]2658,2660,3)([2662]11,45,2)([2663]2662,2530,4)([2664]2662,2530,2)([2665]2663,2661,4)([2666]2663,2661,2)([2667]2664,2666,3)([2668]12,45,2)([2669]2668,2536,4)([2670]2668,2536,2)([2671]2669,2667,4)([2672]2669,2667,2)([2673]2670,2672,3)([2674]13,45,2)([2675]2674,2542,4)([2676]2674,2542,2)([2677]2675,2673,4)([2678]2675,2673,2)([2679]2676,2678,3)([2680]14,45,2)([2681]2680,2548,4)([2682]2680,2548,2)([2683]2681,2679,4)([2684]2681,2679,2)([2685]2682,2684,3)([2686]15,45,2)([2687]2686,2554,4)([2688]2686,2554,2)([2689]2687,2685,4)([2690]2687,2685,2)([2691]2688,2690,3)([2692]16,45,2)([2693]2692,2560,4)([2694]2692,2560,2)([2695]2693,2691,4)([2696]2693,2691,2)([2697]2694,2696,3)([2698]17,45,2)([2699]2698,2566,4)([2700]2698,2566,2)([2701]2699,2697,4)([2702]2699,2697,2)([2703]2700,2702,3)([2704]18,45,2)([2705]2704,2572,4)([2706]2704,2572,2)([2707]2705,2703,4)([2708]2705,2703,2)([2709]2706,2708,3)([2710]19,45,2)([2711]2710,2578,4)([2712]2710,2578,2)([2713]2711,2709,4)([2714]2711,2709,2)([2715]2712,2714,3)([2716]20,45,2)([2717]2716,2584,4)([2718]2716,2584,2)([2719]2717,2715,4)([2720]2717,2715,2)([2721]2718,2720,3)([2722]21,45,2)([2723]2722,2590,4)([2724]2722,2590,2)([2725]2723,2721,4)([2726]2723,2721,2)([2727]2724,2726,3)([2728]22,45,2)([2729]2728,2596,4)([2730]2728,2596,2)([2731]2729,2727,4)([2732]2729,2727,2)([2733]2730,2732,3)([2734]23,45,2)([2735]2734,2602,4)([2736]2734,2602,2)([2737]2735,2733,4)([2738]2735,2733,2)([2739]2736,2738,3)([2740]24,45,2)([2741]2740,2608,4)([2742]2740,2608,2)([2743]2741,2739,4)([2744]2741,2739,2)([2745]2742,2744,3)([2746]25,45,5)([2747]2746,2610,4)([2748]2746,2610,2)([2749]2747,2745,4)([2750]2747,2745,2)([2751]2748,2750,3)([2752]2,46,2)([2753]2752,2617,4)([2754]2752,2617,2)([2755]3,46,2)([2756]2755,2623,4)([2757]2755,2623,2)([2758]2756,2754,4)([2759]2756,2754,2)([2760]2757,2759,3)([2761]4,46,2)([2762]2761,2629,4)([2763]2761,2629,2)([2764]2762,2760,4)([2765]2762,2760,2)([2766]2763,2765,3)([2767]5,46,2)([2768]2767,2635,4)([2769]2767,2635,2)([2770]2768,2766,4)([2771]2768,2766,2)([2772]2769,2771,3)([2773]6,46,2)([2774]2773,2641,4)([2775]2773,2641,2)([2776]2774,2772,4)([2777]2774,2772,2)([2778]2775,2777,3)([2779]7,46,2)([2780]2779,2647,4)([2781]2779,2647,2)([2782]2780,2778,4)([2783]2780,2778,2)([2784]2781,2783,3)([2785]8,46,2)([2786]2785,2653,4)([2787]2785,2653,2)([2788]2786,2784,4)([2789]2786,2784,2)([2790]2787,2789,3)([2791]9,46,2)([2792]2791,2659,4)([2793]2791,2659,2)([2794]2792,2790,4)([2795]2792,2790,2)([2796]2793,2795,3)([2797]10,46,2)([2798]2797,2665,4)([2799]2797,2665,2)([2800]2798,2796,4)([2801]2798,2796,2)([2802]2799,2801,3)([2803]11,46,2)([2804]2803,2671,4)([2805]2803,2671,2)([2806]2804,2802,4)([2807]2804,2802,2)([2808]2805,2807,3)([2809]12,46,2)([2810]2809,2677,4)([2811]2809,2677,2)([2812]2810,2808,4)([2813]2810,2808,2)([2814]2811,2813,3)([2815]13,46,2)([2816]2815,2683,4)([2817]2815,2683,2)([2818]2816,2814,4)([2819]2816,2814,2)([2820]2817,2819,3)([2821]14,46,2)([2822]2821,2689,4)([2823]2821,2689,2)([2824]2822,2820,4)([2825]2822,2820,2)([2826]2823,2825,3)([2827]15,46,2)([2828]2827,2695,4)([2829]2827,2695,2)([2830]2828,2826,4)([2831]2828,2826,2)([2832]2829,2831,3)([2833]16,46,2)([2834]2833,2701,4)([2835]2833,2701,2)([2836]2834,2832,4)([2837]2834,2832,2)([2838]2835,2837,3)([2839]17,46,2)([2840]2839,2707,4)([2841]2839,2707,2)([2842]2840,2838,4)([2843]2840,2838,2)([2844]2841,2843,3)([2845]18,46,2)([2846]2845,2713,4)([2847]2845,2713,2)([2848]2846,2844,4)([2849]2846,2844,2)([2850]2847,2849,3)([2851]19,46,2)([2852]2851,2719,4)([2853]2851,2719,2)([2854]2852,2850,4)([2855]2852,2850,2)([2856]2853,2855,3)([2857]20,46,2)([2858]2857,2725,4)([2859]2857,2725,2)([2860]2858,2856,4)([2861]2858,2856,2)([2862]2859,2861,3)([2863]21,46,2)([2864]2863,2731,4)([2865]2863,2731,2)([2866]2864,2862,4)([2867]2864,2862,2)([2868]2865,2867,3)([2869]22,46,2)([2870]2869,2737,4)([2871]2869,2737,2)([2872]2870,2868,4)([2873]2870,2868,2)([2874]2871,2873,3)([2875]23,46,2)([2876]2875,2743,4)([2877]2875,2743,2)([2878]2876,2874,4)([2879]2876,2874,2)([2880]2877,2879,3)([2881]24,46,2)([2882]2881,2749,4)([2883]2881,2749,2)([2884]2882,2880,4)([2885]2882,2880,2)([2886]2883,2885,3)([2887]25,46,5)([2888]2887,2751,4)([2889]2887,2751,2)([2890]2888,2886,4)([2891]2888,2886,2)([2892]2889,2891,3)([2893]2,47,2)([2894]2893,2758,4)([2895]2893,2758,2)([2896]3,47,2)([2897]2896,2764,4)([2898]2896,2764,2)([2899]2897,2895,4)([2900]2897,2895,2)([2901]2898,2900,3)([2902]4,47,2)([2903]2902,2770,4)([2904]2902,2770,2)([2905]2903,2901,4)([2906]2903,2901,2)([2907]2904,2906,3)([2908]5,47,2)([2909]2908,2776,4)([2910]2908,2776,2)([2911]2909,2907,4)([2912]2909,2907,2)([2913]2910,2912,3)([2914]6,47,2)([2915]2914,2782,4)([2916]2914,2782,2)([2917]2915,2913,4)([2918]2915,2913,2)([2919]2916,2918,3)([2920]7,47,2)([2921]2920,2788,4)([2922]2920,2788,2)([2923]2921,2919,4)([2924]2921,2919,2)([2925]2922,2924,3)([2926]8,47,2)([2927]2926,2794,4)([2928]2926,2794,2)([2929]2927,2925,4)([2930]2927,2925,2)([2931]2928,2930,3)([2932]9,47,2)([2933]2932,2800,4)([2934]2932,2800,2)([2935]2933,2931,4)([2936]2933,2931,2)([2937]2934,2936,3)([2938]10,47,2)([2939]2938,2806,4)([2940]2938,2806,2)([2941]2939,2937,4)([2942]2939,2937,2)([2943]2940,2942,3)([2944]11,47,2)([2945]2944,2812,4)([2946]2944,2812,2)([2947]2945,2943,4)([2948]2945,2943,2)([2949]2946,2948,3)([2950]12,47,2)([2951]2950,2818,4)([2952]2950,2818,2)([2953]2951,2949,4)([2954]2951,2949,2)([2955]2952,2954,3)([2956]13,47,2)([2957]2956,2824,4)([2958]2956,2824,2)([2959]2957,2955,4)([2960]2957,2955,2)([2961]2958,2960,3)([2962]14,47,2)([2963]2962,2830,4)([2964]2962,2830,2)([2965]2963,2961,4)([2966]2963,2961,2)([2967]2964,2966,3)([2968]15,47,2)([2969]2968,2836,4)([2970]2968,2836,2)([2971]2969,2967,4)([2972]2969,2967,2)([2973]2970,2972,3)([2974]16,47,2)([2975]2974,2842,4)([2976]2974,2842,2)([2977]2975,2973,4)([2978]2975,2973,2)([2979]2976,2978,3)([2980]17,47,2)([2981]2980,2848,4)([2982]2980,2848,2)([2983]2981,2979,4)([2984]2981,2979,2)([2985]2982,2984,3)([2986]18,47,2)([2987]2986,2854,4)([2988]2986,2854,2)([2989]2987,2985,4)([2990]2987,2985,2)([2991]2988,2990,3)([2992]19,47,2)([2993]2992,2860,4)([2994]2992,2860,2)([2995]2993,2991,4)([2996]2993,2991,2)([2997]2994,2996,3)([2998]20,47,2)([2999]2998,2866,4)([3000]2998,2866,2)([3001]2999,2997,4)([3002]2999,2997,2)([3003]3000,3002,3)([3004]21,47,2)([3005]3004,2872,4)([3006]3004,2872,2)([3007]3005,3003,4)([3008]3005,3003,2)([3009]3006,3008,3)([3010]22,47,2)([3011]3010,2878,4)([3012]3010,2878,2)([3013]3011,3009,4)([3014]3011,3009,2)([3015]3012,3014,3)([3016]23,47,2)([3017]3016,2884,4)([3018]3016,2884,2)([3019]3017,3015,4)([3020]3017,3015,2)([3021]3018,3020,3)([3022]24,47,2)([3023]3022,2890,4)([3024]3022,2890,2)([3025]3023,3021,4)([3026]3023,3021,2)([3027]3024,3026,3)([3028]25,47,5)([3029]3028,2892,4)([3030]3028,2892,2)([3031]3029,3027,4)([3032]3029,3027,2)([3033]3030,3032,3)([3034]2,48,2)([3035]3034,2899,4)([3036]3034,2899,2)([3037]3,48,2)([3038]3037,2905,4)([3039]3037,2905,2)([3040]3038,3036,4)([3041]3038,3036,2)([3042]3039,3041,3)([3043]4,48,2)([3044]3043,2911,4)([3045]3043,2911,2)([3046]3044,3042,4)([3047]3044,3042,2)([3048]3045,3047,3)([3049]5,48,2)([3050]3049,2917,4)([3051]3049,2917,2)([3052]3050,3048,4)([3053]3050,3048,2)([3054]3051,3053,3)([3055]6,48,2)([3056]3055,2923,4)([3057]3055,2923,2)([3058]3056,3054,4)([3059]3056,3054,2)([3060]3057,3059,3)([3061]7,48,2)([3062]3061,2929,4)([3063]3061,2929,2)([3064]3062,3060,4)([3065]3062,3060,2)([3066]3063,3065,3)([3067]8,48,2)([3068]3067,2935,4)([3069]3067,2935,2)([3070]3068,3066,4)([3071]3068,3066,2)([3072]3069,3071,3)([3073]9,48,2)([3074]3073,2941,4)([3075]3073,2941,2)([3076]3074,3072,4)([3077]3074,3072,2)([3078]3075,3077,3)([3079]10,48,2)([3080]3079,2947,4)([3081]3079,2947,2)([3082]3080,3078,4)([3083]3080,3078,2)([3084]3081,3083,3)([3085]11,48,2)([3086]3085,2953,4)([3087]3085,2953,2)([3088]3086,3084,4)([3089]3086,3084,2)([3090]3087,3089,3)([3091]12,48,2)([3092]3091,2959,4)([3093]3091,2959,2)([3094]3092,3090,4)([3095]3092,3090,2)([3096]3093,3095,3)([3097]13,48,2)([3098]3097,2965,4)([3099]3097,2965,2)([3100]3098,3096,4)([3101]3098,3096,2)([3102]3099,3101,3)([3103]14,48,2)([3104]3103,2971,4)([3105]3103,2971,2)([3106]3104,3102,4)([3107]3104,3102,2)([3108]3105,3107,3)([3109]15,48,2)([3110]3109,2977,4)([3111]3109,2977,2)([3112]3110,3108,4)([3113]3110,3108,2)([3114]3111,3113,3)([3115]16,48,2)([3116]3115,2983,4)([3117]3115,2983,2)([3118]3116,3114,4)([3119]3116,3114,2)([3120]3117,3119,3)([3121]17,48,2)([3122]3121,2989,4)([3123]3121,2989,2)([3124]3122,3120,4)([3125]3122,3120,2)([3126]3123,3125,3)([3127]18,48,2)([3128]3127,2995,4)([3129]3127,2995,2)([3130]3128,3126,4)([3131]3128,3126,2)([3132]3129,3131,3)([3133]19,48,2)([3134]3133,3001,4)([3135]3133,3001,2)([3136]3134,3132,4)([3137]3134,3132,2)([3138]3135,3137,3)([3139]20,48,2)([3140]3139,3007,4)([3141]3139,3007,2)([3142]3140,3138,4)([3143]3140,3138,2)([3144]3141,3143,3)([3145]21,48,2)([3146]3145,3013,4)([3147]3145,3013,2)([3148]3146,3144,4)([3149]3146,3144,2)([3150]3147,3149,3)([3151]22,48,2)([3152]3151,3019,4)([3153]3151,3019,2)([3154]3152,3150,4)([3155]3152,3150,2)([3156]3153,3155,3)([3157]23,48,2)([3158]3157,3025,4)([3159]3157,3025,2)([3160]3158,3156,4)([3161]3158,3156,2)([3162]3159,3161,3)([3163]24,48,2)([3164]3163,3031,4)([3165]3163,3031,2)([3166]3164,3162,4)([3167]3164,3162,2)([3168]3165,3167,3)([3169]25,48,5)([3170]3169,3033,4)([3171]3169,3033,2)([3172]3170,3168,4)([3173]3170,3168,2)([3174]3171,3173,3)([3175]2,49,5)([3176]3175,3040,4)([3177]3175,3040,2)([3178]3,49,5)([3179]3178,3046,4)([3180]3178,3046,2)([3181]3179,3177,4)([3182]3179,3177,2)([3183]3180,3182,3)([3184]4,49,5)([3185]3184,3052,4)([3186]3184,3052,2)([3187]3185,3183,4)([3188]3185,3183,2)([3189]3186,3188,3)([3190]5,49,5)([3191]3190,3058,4)([3192]3190,3058,2)([3193]3191,3189,4)([3194]3191,3189,2)([3195]3192,3194,3)([3196]6,49,5)([3197]3196,3064,4)([3198]3196,3064,2)([3199]3197,3195,4)([3200]3197,3195,2)([3201]3198,3200,3)([3202]7,49,5)([3203]3202,3070,4)([3204]3202,3070,2)([3205]3203,3201,4)([3206]3203,3201,2)([3207]3204,3206,3)([3208]8,49,5)([3209]3208,3076,4)([3210]3208,3076,2)([3211]3209,3207,4)([3212]3209,3207,2)([3213]3210,3212,3)([3214]9,49,5)([3215]3214,3082,4)([3216]3214,3082,2)([3217]3215,3213,4)([3218]3215,3213,2)([3219]3216,3218,3)([3220]10,49,5)([3221]3220,3088,4)([3222]3220,3088,2)([3223]3221,3219,4)([3224]3221,3219,2)([3225]3222,3224,3)([3226]11,49,5)([3227]3226,3094,4)([3228]3226,3094,2)([3229]3227,3225,4)([3230]3227,3225,2)([3231]3228,3230,3)([3232]12,49,5)([3233]3232,3100,4)([3234]3232,3100,2)([3235]3233,3231,4)([3236]3233,3231,2)([3237]3234,3236,3)([3238]13,49,5)([3239]3238,3106,4)([3240]3238,3106,2)([3241]3239,3237,4)([3242]3239,3237,2)([3243]3240,3242,3)([3244]14,49,5)([3245]3244,3112,4)([3246]3244,3112,2)([3247]3245,3243,4)([3248]3245,3243,2)([3249]3246,3248,3)([3250]15,49,5)([3251]3250,3118,4)([3252]3250,3118,2)([3253]3251,3249,4)([3254]3251,3249,2)([3255]3252,3254,3)([3256]16,49,5)([3257]3256,3124,4)([3258]3256,3124,2)([3259]3257,3255,4)([3260]3257,3255,2)([3261]3258,3260,3)([3262]17,49,5)([3263]3262,3130,4)([3264]3262,3130,2)([3265]3263,3261,4)([3266]3263,3261,2)([3267]3264,3266,3)([3268]18,49,5)([3269]3268,3136,4)([3270]3268,3136,2)([3271]3269,3267,4)([3272]3269,3267,2)([3273]3270,3272,3)([3274]19,49,5)([3275]3274,3142,4)([3276]3274,3142,2)([3277]3275,3273,4)([3278]3275,3273,2)([3279]3276,3278,3)([3280]20,49,5)([3281]3280,3148,4)([3282]3280,3148,2)([3283]3281,3279,4)([3284]3281,3279,2)([3285]3282,3284,3)([3286]21,49,5)([3287]3286,3154,4)([3288]3286,3154,2)([3289]3287,3285,4)([3290]3287,3285,2)([3291]3288,3290,3)([3292]22,49,5)([3293]3292,3160,4)([3294]3292,3160,2)([3295]3293,3291,4)([3296]3293,3291,2)([3297]3294,3296,3)([3298]23,49,5)([3299]3298,3166,4)([3300]3298,3166,2)([3301]3299,3297,4)([3302]3299,3297,2)([3303]3300,3302,3)([3304]24,49,5)([3305]3304,3172,4)([3306]3304,3172,2)([3307]3305,3303,4)([3308]3305,3303,2)([3309]3306,3308,3)([3310]25,49,2)([3311]3310,3174,4)([3312]3310,3174,2)([3313]3311,3309,4)([3314]3311,3309,2)([3315]3312,3314,3)([3316]3315,3315,1)(50,75,215,356,497,638,779,920,1061,1202,1343,1484,1625,1766,1907,2048,2189,2330,2471,2612,2753,2894,3035,3176,3181,3187,3193,3199,3205,3211,3217,3223,3229,3235,3241,3247,3253,3259,3265,3271,3277,3283,3289,3295,3301,3307,3313,3316)