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

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