
* #10 CGP Circuits as inputs (#11) * CGP Circuits as inputs * #10 support of signed output in general circuit * input as output works * output connected to input (c) * automated verilog testing * output rename * Implemented CSA and Wallace tree multiplier composing of CSAs. Also did some code cleanup. * Typos fix and code cleanup. * Added new (approximate) multiplier architectures and did some minor changes regarding sign extension for c output formats. * Updated automated testing scripts. * Small bugfix in python code generation (I initially thought this line is useless). * Updated generated circuits folder. Co-authored-by: Vojta Mrazek <mrazek@fit.vutbr.cz>
1 line
104 KiB
Plaintext
1 line
104 KiB
Plaintext
{64,64,1,5953,2,1,0}([66]2,34,2)([67]3,34,2)([68]4,34,2)([69]5,34,2)([70]6,34,2)([71]7,34,2)([72]8,34,2)([73]9,34,2)([74]10,34,2)([75]11,34,2)([76]12,34,2)([77]13,34,2)([78]14,34,2)([79]15,34,2)([80]16,34,2)([81]17,34,2)([82]18,34,2)([83]19,34,2)([84]20,34,2)([85]21,34,2)([86]22,34,2)([87]23,34,2)([88]24,34,2)([89]25,34,2)([90]26,34,2)([91]27,34,2)([92]28,34,2)([93]29,34,2)([94]30,34,2)([95]31,34,2)([96]32,34,2)([97]33,34,5)([98]2,35,2)([99]98,67,4)([100]98,67,2)([101]3,35,2)([102]101,68,4)([103]101,68,2)([104]4,35,2)([105]104,69,4)([106]104,69,2)([107]5,35,2)([108]107,70,4)([109]107,70,2)([110]6,35,2)([111]110,71,4)([112]110,71,2)([113]7,35,2)([114]113,72,4)([115]113,72,2)([116]8,35,2)([117]116,73,4)([118]116,73,2)([119]9,35,2)([120]119,74,4)([121]119,74,2)([122]10,35,2)([123]122,75,4)([124]122,75,2)([125]11,35,2)([126]125,76,4)([127]125,76,2)([128]12,35,2)([129]128,77,4)([130]128,77,2)([131]13,35,2)([132]131,78,4)([133]131,78,2)([134]14,35,2)([135]134,79,4)([136]134,79,2)([137]15,35,2)([138]137,80,4)([139]137,80,2)([140]16,35,2)([141]140,81,4)([142]140,81,2)([143]17,35,2)([144]143,82,4)([145]143,82,2)([146]18,35,2)([147]146,83,4)([148]146,83,2)([149]19,35,2)([150]149,84,4)([151]149,84,2)([152]20,35,2)([153]152,85,4)([154]152,85,2)([155]21,35,2)([156]155,86,4)([157]155,86,2)([158]22,35,2)([159]158,87,4)([160]158,87,2)([161]23,35,2)([162]161,88,4)([163]161,88,2)([164]24,35,2)([165]164,89,4)([166]164,89,2)([167]25,35,2)([168]167,90,4)([169]167,90,2)([170]26,35,2)([171]170,91,4)([172]170,91,2)([173]27,35,2)([174]173,92,4)([175]173,92,2)([176]28,35,2)([177]176,93,4)([178]176,93,2)([179]29,35,2)([180]179,94,4)([181]179,94,2)([182]30,35,2)([183]182,95,4)([184]182,95,2)([185]31,35,2)([186]185,96,4)([187]185,96,2)([188]32,35,2)([189]188,97,4)([190]188,97,2)([191]33,35,5)([192]191,191,1)([193]2,36,2)([194]193,102,4)([195]193,102,2)([196]194,100,4)([197]194,100,2)([198]195,197,3)([199]3,36,2)([200]199,105,4)([201]199,105,2)([202]200,103,4)([203]200,103,2)([204]201,203,3)([205]4,36,2)([206]205,108,4)([207]205,108,2)([208]206,106,4)([209]206,106,2)([210]207,209,3)([211]5,36,2)([212]211,111,4)([213]211,111,2)([214]212,109,4)([215]212,109,2)([216]213,215,3)([217]6,36,2)([218]217,114,4)([219]217,114,2)([220]218,112,4)([221]218,112,2)([222]219,221,3)([223]7,36,2)([224]223,117,4)([225]223,117,2)([226]224,115,4)([227]224,115,2)([228]225,227,3)([229]8,36,2)([230]229,120,4)([231]229,120,2)([232]230,118,4)([233]230,118,2)([234]231,233,3)([235]9,36,2)([236]235,123,4)([237]235,123,2)([238]236,121,4)([239]236,121,2)([240]237,239,3)([241]10,36,2)([242]241,126,4)([243]241,126,2)([244]242,124,4)([245]242,124,2)([246]243,245,3)([247]11,36,2)([248]247,129,4)([249]247,129,2)([250]248,127,4)([251]248,127,2)([252]249,251,3)([253]12,36,2)([254]253,132,4)([255]253,132,2)([256]254,130,4)([257]254,130,2)([258]255,257,3)([259]13,36,2)([260]259,135,4)([261]259,135,2)([262]260,133,4)([263]260,133,2)([264]261,263,3)([265]14,36,2)([266]265,138,4)([267]265,138,2)([268]266,136,4)([269]266,136,2)([270]267,269,3)([271]15,36,2)([272]271,141,4)([273]271,141,2)([274]272,139,4)([275]272,139,2)([276]273,275,3)([277]16,36,2)([278]277,144,4)([279]277,144,2)([280]278,142,4)([281]278,142,2)([282]279,281,3)([283]17,36,2)([284]283,147,4)([285]283,147,2)([286]284,145,4)([287]284,145,2)([288]285,287,3)([289]18,36,2)([290]289,150,4)([291]289,150,2)([292]290,148,4)([293]290,148,2)([294]291,293,3)([295]19,36,2)([296]295,153,4)([297]295,153,2)([298]296,151,4)([299]296,151,2)([300]297,299,3)([301]20,36,2)([302]301,156,4)([303]301,156,2)([304]302,154,4)([305]302,154,2)([306]303,305,3)([307]21,36,2)([308]307,159,4)([309]307,159,2)([310]308,157,4)([311]308,157,2)([312]309,311,3)([313]22,36,2)([314]313,162,4)([315]313,162,2)([316]314,160,4)([317]314,160,2)([318]315,317,3)([319]23,36,2)([320]319,165,4)([321]319,165,2)([322]320,163,4)([323]320,163,2)([324]321,323,3)([325]24,36,2)([326]325,168,4)([327]325,168,2)([328]326,166,4)([329]326,166,2)([330]327,329,3)([331]25,36,2)([332]331,171,4)([333]331,171,2)([334]332,169,4)([335]332,169,2)([336]333,335,3)([337]26,36,2)([338]337,174,4)([339]337,174,2)([340]338,172,4)([341]338,172,2)([342]339,341,3)([343]27,36,2)([344]343,177,4)([345]343,177,2)([346]344,175,4)([347]344,175,2)([348]345,347,3)([349]28,36,2)([350]349,180,4)([351]349,180,2)([352]350,178,4)([353]350,178,2)([354]351,353,3)([355]29,36,2)([356]355,183,4)([357]355,183,2)([358]356,181,4)([359]356,181,2)([360]357,359,3)([361]30,36,2)([362]361,186,4)([363]361,186,2)([364]362,184,4)([365]362,184,2)([366]363,365,3)([367]31,36,2)([368]367,189,4)([369]367,189,2)([370]368,187,4)([371]368,187,2)([372]369,371,3)([373]32,36,2)([374]373,192,4)([375]373,192,2)([376]374,190,4)([377]374,190,2)([378]375,377,3)([379]33,36,5)([380]379,191,4)([381]379,191,2)([382]2,37,2)([383]382,202,4)([384]382,202,2)([385]383,198,4)([386]383,198,2)([387]384,386,3)([388]3,37,2)([389]388,208,4)([390]388,208,2)([391]389,204,4)([392]389,204,2)([393]390,392,3)([394]4,37,2)([395]394,214,4)([396]394,214,2)([397]395,210,4)([398]395,210,2)([399]396,398,3)([400]5,37,2)([401]400,220,4)([402]400,220,2)([403]401,216,4)([404]401,216,2)([405]402,404,3)([406]6,37,2)([407]406,226,4)([408]406,226,2)([409]407,222,4)([410]407,222,2)([411]408,410,3)([412]7,37,2)([413]412,232,4)([414]412,232,2)([415]413,228,4)([416]413,228,2)([417]414,416,3)([418]8,37,2)([419]418,238,4)([420]418,238,2)([421]419,234,4)([422]419,234,2)([423]420,422,3)([424]9,37,2)([425]424,244,4)([426]424,244,2)([427]425,240,4)([428]425,240,2)([429]426,428,3)([430]10,37,2)([431]430,250,4)([432]430,250,2)([433]431,246,4)([434]431,246,2)([435]432,434,3)([436]11,37,2)([437]436,256,4)([438]436,256,2)([439]437,252,4)([440]437,252,2)([441]438,440,3)([442]12,37,2)([443]442,262,4)([444]442,262,2)([445]443,258,4)([446]443,258,2)([447]444,446,3)([448]13,37,2)([449]448,268,4)([450]448,268,2)([451]449,264,4)([452]449,264,2)([453]450,452,3)([454]14,37,2)([455]454,274,4)([456]454,274,2)([457]455,270,4)([458]455,270,2)([459]456,458,3)([460]15,37,2)([461]460,280,4)([462]460,280,2)([463]461,276,4)([464]461,276,2)([465]462,464,3)([466]16,37,2)([467]466,286,4)([468]466,286,2)([469]467,282,4)([470]467,282,2)([471]468,470,3)([472]17,37,2)([473]472,292,4)([474]472,292,2)([475]473,288,4)([476]473,288,2)([477]474,476,3)([478]18,37,2)([479]478,298,4)([480]478,298,2)([481]479,294,4)([482]479,294,2)([483]480,482,3)([484]19,37,2)([485]484,304,4)([486]484,304,2)([487]485,300,4)([488]485,300,2)([489]486,488,3)([490]20,37,2)([491]490,310,4)([492]490,310,2)([493]491,306,4)([494]491,306,2)([495]492,494,3)([496]21,37,2)([497]496,316,4)([498]496,316,2)([499]497,312,4)([500]497,312,2)([501]498,500,3)([502]22,37,2)([503]502,322,4)([504]502,322,2)([505]503,318,4)([506]503,318,2)([507]504,506,3)([508]23,37,2)([509]508,328,4)([510]508,328,2)([511]509,324,4)([512]509,324,2)([513]510,512,3)([514]24,37,2)([515]514,334,4)([516]514,334,2)([517]515,330,4)([518]515,330,2)([519]516,518,3)([520]25,37,2)([521]520,340,4)([522]520,340,2)([523]521,336,4)([524]521,336,2)([525]522,524,3)([526]26,37,2)([527]526,346,4)([528]526,346,2)([529]527,342,4)([530]527,342,2)([531]528,530,3)([532]27,37,2)([533]532,352,4)([534]532,352,2)([535]533,348,4)([536]533,348,2)([537]534,536,3)([538]28,37,2)([539]538,358,4)([540]538,358,2)([541]539,354,4)([542]539,354,2)([543]540,542,3)([544]29,37,2)([545]544,364,4)([546]544,364,2)([547]545,360,4)([548]545,360,2)([549]546,548,3)([550]30,37,2)([551]550,370,4)([552]550,370,2)([553]551,366,4)([554]551,366,2)([555]552,554,3)([556]31,37,2)([557]556,376,4)([558]556,376,2)([559]557,372,4)([560]557,372,2)([561]558,560,3)([562]32,37,2)([563]562,380,4)([564]562,380,2)([565]563,378,4)([566]563,378,2)([567]564,566,3)([568]33,37,5)([569]568,381,4)([570]568,381,2)([571]2,38,2)([572]571,391,4)([573]571,391,2)([574]572,387,4)([575]572,387,2)([576]573,575,3)([577]3,38,2)([578]577,397,4)([579]577,397,2)([580]578,393,4)([581]578,393,2)([582]579,581,3)([583]4,38,2)([584]583,403,4)([585]583,403,2)([586]584,399,4)([587]584,399,2)([588]585,587,3)([589]5,38,2)([590]589,409,4)([591]589,409,2)([592]590,405,4)([593]590,405,2)([594]591,593,3)([595]6,38,2)([596]595,415,4)([597]595,415,2)([598]596,411,4)([599]596,411,2)([600]597,599,3)([601]7,38,2)([602]601,421,4)([603]601,421,2)([604]602,417,4)([605]602,417,2)([606]603,605,3)([607]8,38,2)([608]607,427,4)([609]607,427,2)([610]608,423,4)([611]608,423,2)([612]609,611,3)([613]9,38,2)([614]613,433,4)([615]613,433,2)([616]614,429,4)([617]614,429,2)([618]615,617,3)([619]10,38,2)([620]619,439,4)([621]619,439,2)([622]620,435,4)([623]620,435,2)([624]621,623,3)([625]11,38,2)([626]625,445,4)([627]625,445,2)([628]626,441,4)([629]626,441,2)([630]627,629,3)([631]12,38,2)([632]631,451,4)([633]631,451,2)([634]632,447,4)([635]632,447,2)([636]633,635,3)([637]13,38,2)([638]637,457,4)([639]637,457,2)([640]638,453,4)([641]638,453,2)([642]639,641,3)([643]14,38,2)([644]643,463,4)([645]643,463,2)([646]644,459,4)([647]644,459,2)([648]645,647,3)([649]15,38,2)([650]649,469,4)([651]649,469,2)([652]650,465,4)([653]650,465,2)([654]651,653,3)([655]16,38,2)([656]655,475,4)([657]655,475,2)([658]656,471,4)([659]656,471,2)([660]657,659,3)([661]17,38,2)([662]661,481,4)([663]661,481,2)([664]662,477,4)([665]662,477,2)([666]663,665,3)([667]18,38,2)([668]667,487,4)([669]667,487,2)([670]668,483,4)([671]668,483,2)([672]669,671,3)([673]19,38,2)([674]673,493,4)([675]673,493,2)([676]674,489,4)([677]674,489,2)([678]675,677,3)([679]20,38,2)([680]679,499,4)([681]679,499,2)([682]680,495,4)([683]680,495,2)([684]681,683,3)([685]21,38,2)([686]685,505,4)([687]685,505,2)([688]686,501,4)([689]686,501,2)([690]687,689,3)([691]22,38,2)([692]691,511,4)([693]691,511,2)([694]692,507,4)([695]692,507,2)([696]693,695,3)([697]23,38,2)([698]697,517,4)([699]697,517,2)([700]698,513,4)([701]698,513,2)([702]699,701,3)([703]24,38,2)([704]703,523,4)([705]703,523,2)([706]704,519,4)([707]704,519,2)([708]705,707,3)([709]25,38,2)([710]709,529,4)([711]709,529,2)([712]710,525,4)([713]710,525,2)([714]711,713,3)([715]26,38,2)([716]715,535,4)([717]715,535,2)([718]716,531,4)([719]716,531,2)([720]717,719,3)([721]27,38,2)([722]721,541,4)([723]721,541,2)([724]722,537,4)([725]722,537,2)([726]723,725,3)([727]28,38,2)([728]727,547,4)([729]727,547,2)([730]728,543,4)([731]728,543,2)([732]729,731,3)([733]29,38,2)([734]733,553,4)([735]733,553,2)([736]734,549,4)([737]734,549,2)([738]735,737,3)([739]30,38,2)([740]739,559,4)([741]739,559,2)([742]740,555,4)([743]740,555,2)([744]741,743,3)([745]31,38,2)([746]745,565,4)([747]745,565,2)([748]746,561,4)([749]746,561,2)([750]747,749,3)([751]32,38,2)([752]751,569,4)([753]751,569,2)([754]752,567,4)([755]752,567,2)([756]753,755,3)([757]33,38,5)([758]757,570,4)([759]757,570,2)([760]2,39,2)([761]760,580,4)([762]760,580,2)([763]761,576,4)([764]761,576,2)([765]762,764,3)([766]3,39,2)([767]766,586,4)([768]766,586,2)([769]767,582,4)([770]767,582,2)([771]768,770,3)([772]4,39,2)([773]772,592,4)([774]772,592,2)([775]773,588,4)([776]773,588,2)([777]774,776,3)([778]5,39,2)([779]778,598,4)([780]778,598,2)([781]779,594,4)([782]779,594,2)([783]780,782,3)([784]6,39,2)([785]784,604,4)([786]784,604,2)([787]785,600,4)([788]785,600,2)([789]786,788,3)([790]7,39,2)([791]790,610,4)([792]790,610,2)([793]791,606,4)([794]791,606,2)([795]792,794,3)([796]8,39,2)([797]796,616,4)([798]796,616,2)([799]797,612,4)([800]797,612,2)([801]798,800,3)([802]9,39,2)([803]802,622,4)([804]802,622,2)([805]803,618,4)([806]803,618,2)([807]804,806,3)([808]10,39,2)([809]808,628,4)([810]808,628,2)([811]809,624,4)([812]809,624,2)([813]810,812,3)([814]11,39,2)([815]814,634,4)([816]814,634,2)([817]815,630,4)([818]815,630,2)([819]816,818,3)([820]12,39,2)([821]820,640,4)([822]820,640,2)([823]821,636,4)([824]821,636,2)([825]822,824,3)([826]13,39,2)([827]826,646,4)([828]826,646,2)([829]827,642,4)([830]827,642,2)([831]828,830,3)([832]14,39,2)([833]832,652,4)([834]832,652,2)([835]833,648,4)([836]833,648,2)([837]834,836,3)([838]15,39,2)([839]838,658,4)([840]838,658,2)([841]839,654,4)([842]839,654,2)([843]840,842,3)([844]16,39,2)([845]844,664,4)([846]844,664,2)([847]845,660,4)([848]845,660,2)([849]846,848,3)([850]17,39,2)([851]850,670,4)([852]850,670,2)([853]851,666,4)([854]851,666,2)([855]852,854,3)([856]18,39,2)([857]856,676,4)([858]856,676,2)([859]857,672,4)([860]857,672,2)([861]858,860,3)([862]19,39,2)([863]862,682,4)([864]862,682,2)([865]863,678,4)([866]863,678,2)([867]864,866,3)([868]20,39,2)([869]868,688,4)([870]868,688,2)([871]869,684,4)([872]869,684,2)([873]870,872,3)([874]21,39,2)([875]874,694,4)([876]874,694,2)([877]875,690,4)([878]875,690,2)([879]876,878,3)([880]22,39,2)([881]880,700,4)([882]880,700,2)([883]881,696,4)([884]881,696,2)([885]882,884,3)([886]23,39,2)([887]886,706,4)([888]886,706,2)([889]887,702,4)([890]887,702,2)([891]888,890,3)([892]24,39,2)([893]892,712,4)([894]892,712,2)([895]893,708,4)([896]893,708,2)([897]894,896,3)([898]25,39,2)([899]898,718,4)([900]898,718,2)([901]899,714,4)([902]899,714,2)([903]900,902,3)([904]26,39,2)([905]904,724,4)([906]904,724,2)([907]905,720,4)([908]905,720,2)([909]906,908,3)([910]27,39,2)([911]910,730,4)([912]910,730,2)([913]911,726,4)([914]911,726,2)([915]912,914,3)([916]28,39,2)([917]916,736,4)([918]916,736,2)([919]917,732,4)([920]917,732,2)([921]918,920,3)([922]29,39,2)([923]922,742,4)([924]922,742,2)([925]923,738,4)([926]923,738,2)([927]924,926,3)([928]30,39,2)([929]928,748,4)([930]928,748,2)([931]929,744,4)([932]929,744,2)([933]930,932,3)([934]31,39,2)([935]934,754,4)([936]934,754,2)([937]935,750,4)([938]935,750,2)([939]936,938,3)([940]32,39,2)([941]940,758,4)([942]940,758,2)([943]941,756,4)([944]941,756,2)([945]942,944,3)([946]33,39,5)([947]946,759,4)([948]946,759,2)([949]2,40,2)([950]949,769,4)([951]949,769,2)([952]950,765,4)([953]950,765,2)([954]951,953,3)([955]3,40,2)([956]955,775,4)([957]955,775,2)([958]956,771,4)([959]956,771,2)([960]957,959,3)([961]4,40,2)([962]961,781,4)([963]961,781,2)([964]962,777,4)([965]962,777,2)([966]963,965,3)([967]5,40,2)([968]967,787,4)([969]967,787,2)([970]968,783,4)([971]968,783,2)([972]969,971,3)([973]6,40,2)([974]973,793,4)([975]973,793,2)([976]974,789,4)([977]974,789,2)([978]975,977,3)([979]7,40,2)([980]979,799,4)([981]979,799,2)([982]980,795,4)([983]980,795,2)([984]981,983,3)([985]8,40,2)([986]985,805,4)([987]985,805,2)([988]986,801,4)([989]986,801,2)([990]987,989,3)([991]9,40,2)([992]991,811,4)([993]991,811,2)([994]992,807,4)([995]992,807,2)([996]993,995,3)([997]10,40,2)([998]997,817,4)([999]997,817,2)([1000]998,813,4)([1001]998,813,2)([1002]999,1001,3)([1003]11,40,2)([1004]1003,823,4)([1005]1003,823,2)([1006]1004,819,4)([1007]1004,819,2)([1008]1005,1007,3)([1009]12,40,2)([1010]1009,829,4)([1011]1009,829,2)([1012]1010,825,4)([1013]1010,825,2)([1014]1011,1013,3)([1015]13,40,2)([1016]1015,835,4)([1017]1015,835,2)([1018]1016,831,4)([1019]1016,831,2)([1020]1017,1019,3)([1021]14,40,2)([1022]1021,841,4)([1023]1021,841,2)([1024]1022,837,4)([1025]1022,837,2)([1026]1023,1025,3)([1027]15,40,2)([1028]1027,847,4)([1029]1027,847,2)([1030]1028,843,4)([1031]1028,843,2)([1032]1029,1031,3)([1033]16,40,2)([1034]1033,853,4)([1035]1033,853,2)([1036]1034,849,4)([1037]1034,849,2)([1038]1035,1037,3)([1039]17,40,2)([1040]1039,859,4)([1041]1039,859,2)([1042]1040,855,4)([1043]1040,855,2)([1044]1041,1043,3)([1045]18,40,2)([1046]1045,865,4)([1047]1045,865,2)([1048]1046,861,4)([1049]1046,861,2)([1050]1047,1049,3)([1051]19,40,2)([1052]1051,871,4)([1053]1051,871,2)([1054]1052,867,4)([1055]1052,867,2)([1056]1053,1055,3)([1057]20,40,2)([1058]1057,877,4)([1059]1057,877,2)([1060]1058,873,4)([1061]1058,873,2)([1062]1059,1061,3)([1063]21,40,2)([1064]1063,883,4)([1065]1063,883,2)([1066]1064,879,4)([1067]1064,879,2)([1068]1065,1067,3)([1069]22,40,2)([1070]1069,889,4)([1071]1069,889,2)([1072]1070,885,4)([1073]1070,885,2)([1074]1071,1073,3)([1075]23,40,2)([1076]1075,895,4)([1077]1075,895,2)([1078]1076,891,4)([1079]1076,891,2)([1080]1077,1079,3)([1081]24,40,2)([1082]1081,901,4)([1083]1081,901,2)([1084]1082,897,4)([1085]1082,897,2)([1086]1083,1085,3)([1087]25,40,2)([1088]1087,907,4)([1089]1087,907,2)([1090]1088,903,4)([1091]1088,903,2)([1092]1089,1091,3)([1093]26,40,2)([1094]1093,913,4)([1095]1093,913,2)([1096]1094,909,4)([1097]1094,909,2)([1098]1095,1097,3)([1099]27,40,2)([1100]1099,919,4)([1101]1099,919,2)([1102]1100,915,4)([1103]1100,915,2)([1104]1101,1103,3)([1105]28,40,2)([1106]1105,925,4)([1107]1105,925,2)([1108]1106,921,4)([1109]1106,921,2)([1110]1107,1109,3)([1111]29,40,2)([1112]1111,931,4)([1113]1111,931,2)([1114]1112,927,4)([1115]1112,927,2)([1116]1113,1115,3)([1117]30,40,2)([1118]1117,937,4)([1119]1117,937,2)([1120]1118,933,4)([1121]1118,933,2)([1122]1119,1121,3)([1123]31,40,2)([1124]1123,943,4)([1125]1123,943,2)([1126]1124,939,4)([1127]1124,939,2)([1128]1125,1127,3)([1129]32,40,2)([1130]1129,947,4)([1131]1129,947,2)([1132]1130,945,4)([1133]1130,945,2)([1134]1131,1133,3)([1135]33,40,5)([1136]1135,948,4)([1137]1135,948,2)([1138]2,41,2)([1139]1138,958,4)([1140]1138,958,2)([1141]1139,954,4)([1142]1139,954,2)([1143]1140,1142,3)([1144]3,41,2)([1145]1144,964,4)([1146]1144,964,2)([1147]1145,960,4)([1148]1145,960,2)([1149]1146,1148,3)([1150]4,41,2)([1151]1150,970,4)([1152]1150,970,2)([1153]1151,966,4)([1154]1151,966,2)([1155]1152,1154,3)([1156]5,41,2)([1157]1156,976,4)([1158]1156,976,2)([1159]1157,972,4)([1160]1157,972,2)([1161]1158,1160,3)([1162]6,41,2)([1163]1162,982,4)([1164]1162,982,2)([1165]1163,978,4)([1166]1163,978,2)([1167]1164,1166,3)([1168]7,41,2)([1169]1168,988,4)([1170]1168,988,2)([1171]1169,984,4)([1172]1169,984,2)([1173]1170,1172,3)([1174]8,41,2)([1175]1174,994,4)([1176]1174,994,2)([1177]1175,990,4)([1178]1175,990,2)([1179]1176,1178,3)([1180]9,41,2)([1181]1180,1000,4)([1182]1180,1000,2)([1183]1181,996,4)([1184]1181,996,2)([1185]1182,1184,3)([1186]10,41,2)([1187]1186,1006,4)([1188]1186,1006,2)([1189]1187,1002,4)([1190]1187,1002,2)([1191]1188,1190,3)([1192]11,41,2)([1193]1192,1012,4)([1194]1192,1012,2)([1195]1193,1008,4)([1196]1193,1008,2)([1197]1194,1196,3)([1198]12,41,2)([1199]1198,1018,4)([1200]1198,1018,2)([1201]1199,1014,4)([1202]1199,1014,2)([1203]1200,1202,3)([1204]13,41,2)([1205]1204,1024,4)([1206]1204,1024,2)([1207]1205,1020,4)([1208]1205,1020,2)([1209]1206,1208,3)([1210]14,41,2)([1211]1210,1030,4)([1212]1210,1030,2)([1213]1211,1026,4)([1214]1211,1026,2)([1215]1212,1214,3)([1216]15,41,2)([1217]1216,1036,4)([1218]1216,1036,2)([1219]1217,1032,4)([1220]1217,1032,2)([1221]1218,1220,3)([1222]16,41,2)([1223]1222,1042,4)([1224]1222,1042,2)([1225]1223,1038,4)([1226]1223,1038,2)([1227]1224,1226,3)([1228]17,41,2)([1229]1228,1048,4)([1230]1228,1048,2)([1231]1229,1044,4)([1232]1229,1044,2)([1233]1230,1232,3)([1234]18,41,2)([1235]1234,1054,4)([1236]1234,1054,2)([1237]1235,1050,4)([1238]1235,1050,2)([1239]1236,1238,3)([1240]19,41,2)([1241]1240,1060,4)([1242]1240,1060,2)([1243]1241,1056,4)([1244]1241,1056,2)([1245]1242,1244,3)([1246]20,41,2)([1247]1246,1066,4)([1248]1246,1066,2)([1249]1247,1062,4)([1250]1247,1062,2)([1251]1248,1250,3)([1252]21,41,2)([1253]1252,1072,4)([1254]1252,1072,2)([1255]1253,1068,4)([1256]1253,1068,2)([1257]1254,1256,3)([1258]22,41,2)([1259]1258,1078,4)([1260]1258,1078,2)([1261]1259,1074,4)([1262]1259,1074,2)([1263]1260,1262,3)([1264]23,41,2)([1265]1264,1084,4)([1266]1264,1084,2)([1267]1265,1080,4)([1268]1265,1080,2)([1269]1266,1268,3)([1270]24,41,2)([1271]1270,1090,4)([1272]1270,1090,2)([1273]1271,1086,4)([1274]1271,1086,2)([1275]1272,1274,3)([1276]25,41,2)([1277]1276,1096,4)([1278]1276,1096,2)([1279]1277,1092,4)([1280]1277,1092,2)([1281]1278,1280,3)([1282]26,41,2)([1283]1282,1102,4)([1284]1282,1102,2)([1285]1283,1098,4)([1286]1283,1098,2)([1287]1284,1286,3)([1288]27,41,2)([1289]1288,1108,4)([1290]1288,1108,2)([1291]1289,1104,4)([1292]1289,1104,2)([1293]1290,1292,3)([1294]28,41,2)([1295]1294,1114,4)([1296]1294,1114,2)([1297]1295,1110,4)([1298]1295,1110,2)([1299]1296,1298,3)([1300]29,41,2)([1301]1300,1120,4)([1302]1300,1120,2)([1303]1301,1116,4)([1304]1301,1116,2)([1305]1302,1304,3)([1306]30,41,2)([1307]1306,1126,4)([1308]1306,1126,2)([1309]1307,1122,4)([1310]1307,1122,2)([1311]1308,1310,3)([1312]31,41,2)([1313]1312,1132,4)([1314]1312,1132,2)([1315]1313,1128,4)([1316]1313,1128,2)([1317]1314,1316,3)([1318]32,41,2)([1319]1318,1136,4)([1320]1318,1136,2)([1321]1319,1134,4)([1322]1319,1134,2)([1323]1320,1322,3)([1324]33,41,5)([1325]1324,1137,4)([1326]1324,1137,2)([1327]2,42,2)([1328]1327,1147,4)([1329]1327,1147,2)([1330]1328,1143,4)([1331]1328,1143,2)([1332]1329,1331,3)([1333]3,42,2)([1334]1333,1153,4)([1335]1333,1153,2)([1336]1334,1149,4)([1337]1334,1149,2)([1338]1335,1337,3)([1339]4,42,2)([1340]1339,1159,4)([1341]1339,1159,2)([1342]1340,1155,4)([1343]1340,1155,2)([1344]1341,1343,3)([1345]5,42,2)([1346]1345,1165,4)([1347]1345,1165,2)([1348]1346,1161,4)([1349]1346,1161,2)([1350]1347,1349,3)([1351]6,42,2)([1352]1351,1171,4)([1353]1351,1171,2)([1354]1352,1167,4)([1355]1352,1167,2)([1356]1353,1355,3)([1357]7,42,2)([1358]1357,1177,4)([1359]1357,1177,2)([1360]1358,1173,4)([1361]1358,1173,2)([1362]1359,1361,3)([1363]8,42,2)([1364]1363,1183,4)([1365]1363,1183,2)([1366]1364,1179,4)([1367]1364,1179,2)([1368]1365,1367,3)([1369]9,42,2)([1370]1369,1189,4)([1371]1369,1189,2)([1372]1370,1185,4)([1373]1370,1185,2)([1374]1371,1373,3)([1375]10,42,2)([1376]1375,1195,4)([1377]1375,1195,2)([1378]1376,1191,4)([1379]1376,1191,2)([1380]1377,1379,3)([1381]11,42,2)([1382]1381,1201,4)([1383]1381,1201,2)([1384]1382,1197,4)([1385]1382,1197,2)([1386]1383,1385,3)([1387]12,42,2)([1388]1387,1207,4)([1389]1387,1207,2)([1390]1388,1203,4)([1391]1388,1203,2)([1392]1389,1391,3)([1393]13,42,2)([1394]1393,1213,4)([1395]1393,1213,2)([1396]1394,1209,4)([1397]1394,1209,2)([1398]1395,1397,3)([1399]14,42,2)([1400]1399,1219,4)([1401]1399,1219,2)([1402]1400,1215,4)([1403]1400,1215,2)([1404]1401,1403,3)([1405]15,42,2)([1406]1405,1225,4)([1407]1405,1225,2)([1408]1406,1221,4)([1409]1406,1221,2)([1410]1407,1409,3)([1411]16,42,2)([1412]1411,1231,4)([1413]1411,1231,2)([1414]1412,1227,4)([1415]1412,1227,2)([1416]1413,1415,3)([1417]17,42,2)([1418]1417,1237,4)([1419]1417,1237,2)([1420]1418,1233,4)([1421]1418,1233,2)([1422]1419,1421,3)([1423]18,42,2)([1424]1423,1243,4)([1425]1423,1243,2)([1426]1424,1239,4)([1427]1424,1239,2)([1428]1425,1427,3)([1429]19,42,2)([1430]1429,1249,4)([1431]1429,1249,2)([1432]1430,1245,4)([1433]1430,1245,2)([1434]1431,1433,3)([1435]20,42,2)([1436]1435,1255,4)([1437]1435,1255,2)([1438]1436,1251,4)([1439]1436,1251,2)([1440]1437,1439,3)([1441]21,42,2)([1442]1441,1261,4)([1443]1441,1261,2)([1444]1442,1257,4)([1445]1442,1257,2)([1446]1443,1445,3)([1447]22,42,2)([1448]1447,1267,4)([1449]1447,1267,2)([1450]1448,1263,4)([1451]1448,1263,2)([1452]1449,1451,3)([1453]23,42,2)([1454]1453,1273,4)([1455]1453,1273,2)([1456]1454,1269,4)([1457]1454,1269,2)([1458]1455,1457,3)([1459]24,42,2)([1460]1459,1279,4)([1461]1459,1279,2)([1462]1460,1275,4)([1463]1460,1275,2)([1464]1461,1463,3)([1465]25,42,2)([1466]1465,1285,4)([1467]1465,1285,2)([1468]1466,1281,4)([1469]1466,1281,2)([1470]1467,1469,3)([1471]26,42,2)([1472]1471,1291,4)([1473]1471,1291,2)([1474]1472,1287,4)([1475]1472,1287,2)([1476]1473,1475,3)([1477]27,42,2)([1478]1477,1297,4)([1479]1477,1297,2)([1480]1478,1293,4)([1481]1478,1293,2)([1482]1479,1481,3)([1483]28,42,2)([1484]1483,1303,4)([1485]1483,1303,2)([1486]1484,1299,4)([1487]1484,1299,2)([1488]1485,1487,3)([1489]29,42,2)([1490]1489,1309,4)([1491]1489,1309,2)([1492]1490,1305,4)([1493]1490,1305,2)([1494]1491,1493,3)([1495]30,42,2)([1496]1495,1315,4)([1497]1495,1315,2)([1498]1496,1311,4)([1499]1496,1311,2)([1500]1497,1499,3)([1501]31,42,2)([1502]1501,1321,4)([1503]1501,1321,2)([1504]1502,1317,4)([1505]1502,1317,2)([1506]1503,1505,3)([1507]32,42,2)([1508]1507,1325,4)([1509]1507,1325,2)([1510]1508,1323,4)([1511]1508,1323,2)([1512]1509,1511,3)([1513]33,42,5)([1514]1513,1326,4)([1515]1513,1326,2)([1516]2,43,2)([1517]1516,1336,4)([1518]1516,1336,2)([1519]1517,1332,4)([1520]1517,1332,2)([1521]1518,1520,3)([1522]3,43,2)([1523]1522,1342,4)([1524]1522,1342,2)([1525]1523,1338,4)([1526]1523,1338,2)([1527]1524,1526,3)([1528]4,43,2)([1529]1528,1348,4)([1530]1528,1348,2)([1531]1529,1344,4)([1532]1529,1344,2)([1533]1530,1532,3)([1534]5,43,2)([1535]1534,1354,4)([1536]1534,1354,2)([1537]1535,1350,4)([1538]1535,1350,2)([1539]1536,1538,3)([1540]6,43,2)([1541]1540,1360,4)([1542]1540,1360,2)([1543]1541,1356,4)([1544]1541,1356,2)([1545]1542,1544,3)([1546]7,43,2)([1547]1546,1366,4)([1548]1546,1366,2)([1549]1547,1362,4)([1550]1547,1362,2)([1551]1548,1550,3)([1552]8,43,2)([1553]1552,1372,4)([1554]1552,1372,2)([1555]1553,1368,4)([1556]1553,1368,2)([1557]1554,1556,3)([1558]9,43,2)([1559]1558,1378,4)([1560]1558,1378,2)([1561]1559,1374,4)([1562]1559,1374,2)([1563]1560,1562,3)([1564]10,43,2)([1565]1564,1384,4)([1566]1564,1384,2)([1567]1565,1380,4)([1568]1565,1380,2)([1569]1566,1568,3)([1570]11,43,2)([1571]1570,1390,4)([1572]1570,1390,2)([1573]1571,1386,4)([1574]1571,1386,2)([1575]1572,1574,3)([1576]12,43,2)([1577]1576,1396,4)([1578]1576,1396,2)([1579]1577,1392,4)([1580]1577,1392,2)([1581]1578,1580,3)([1582]13,43,2)([1583]1582,1402,4)([1584]1582,1402,2)([1585]1583,1398,4)([1586]1583,1398,2)([1587]1584,1586,3)([1588]14,43,2)([1589]1588,1408,4)([1590]1588,1408,2)([1591]1589,1404,4)([1592]1589,1404,2)([1593]1590,1592,3)([1594]15,43,2)([1595]1594,1414,4)([1596]1594,1414,2)([1597]1595,1410,4)([1598]1595,1410,2)([1599]1596,1598,3)([1600]16,43,2)([1601]1600,1420,4)([1602]1600,1420,2)([1603]1601,1416,4)([1604]1601,1416,2)([1605]1602,1604,3)([1606]17,43,2)([1607]1606,1426,4)([1608]1606,1426,2)([1609]1607,1422,4)([1610]1607,1422,2)([1611]1608,1610,3)([1612]18,43,2)([1613]1612,1432,4)([1614]1612,1432,2)([1615]1613,1428,4)([1616]1613,1428,2)([1617]1614,1616,3)([1618]19,43,2)([1619]1618,1438,4)([1620]1618,1438,2)([1621]1619,1434,4)([1622]1619,1434,2)([1623]1620,1622,3)([1624]20,43,2)([1625]1624,1444,4)([1626]1624,1444,2)([1627]1625,1440,4)([1628]1625,1440,2)([1629]1626,1628,3)([1630]21,43,2)([1631]1630,1450,4)([1632]1630,1450,2)([1633]1631,1446,4)([1634]1631,1446,2)([1635]1632,1634,3)([1636]22,43,2)([1637]1636,1456,4)([1638]1636,1456,2)([1639]1637,1452,4)([1640]1637,1452,2)([1641]1638,1640,3)([1642]23,43,2)([1643]1642,1462,4)([1644]1642,1462,2)([1645]1643,1458,4)([1646]1643,1458,2)([1647]1644,1646,3)([1648]24,43,2)([1649]1648,1468,4)([1650]1648,1468,2)([1651]1649,1464,4)([1652]1649,1464,2)([1653]1650,1652,3)([1654]25,43,2)([1655]1654,1474,4)([1656]1654,1474,2)([1657]1655,1470,4)([1658]1655,1470,2)([1659]1656,1658,3)([1660]26,43,2)([1661]1660,1480,4)([1662]1660,1480,2)([1663]1661,1476,4)([1664]1661,1476,2)([1665]1662,1664,3)([1666]27,43,2)([1667]1666,1486,4)([1668]1666,1486,2)([1669]1667,1482,4)([1670]1667,1482,2)([1671]1668,1670,3)([1672]28,43,2)([1673]1672,1492,4)([1674]1672,1492,2)([1675]1673,1488,4)([1676]1673,1488,2)([1677]1674,1676,3)([1678]29,43,2)([1679]1678,1498,4)([1680]1678,1498,2)([1681]1679,1494,4)([1682]1679,1494,2)([1683]1680,1682,3)([1684]30,43,2)([1685]1684,1504,4)([1686]1684,1504,2)([1687]1685,1500,4)([1688]1685,1500,2)([1689]1686,1688,3)([1690]31,43,2)([1691]1690,1510,4)([1692]1690,1510,2)([1693]1691,1506,4)([1694]1691,1506,2)([1695]1692,1694,3)([1696]32,43,2)([1697]1696,1514,4)([1698]1696,1514,2)([1699]1697,1512,4)([1700]1697,1512,2)([1701]1698,1700,3)([1702]33,43,5)([1703]1702,1515,4)([1704]1702,1515,2)([1705]2,44,2)([1706]1705,1525,4)([1707]1705,1525,2)([1708]1706,1521,4)([1709]1706,1521,2)([1710]1707,1709,3)([1711]3,44,2)([1712]1711,1531,4)([1713]1711,1531,2)([1714]1712,1527,4)([1715]1712,1527,2)([1716]1713,1715,3)([1717]4,44,2)([1718]1717,1537,4)([1719]1717,1537,2)([1720]1718,1533,4)([1721]1718,1533,2)([1722]1719,1721,3)([1723]5,44,2)([1724]1723,1543,4)([1725]1723,1543,2)([1726]1724,1539,4)([1727]1724,1539,2)([1728]1725,1727,3)([1729]6,44,2)([1730]1729,1549,4)([1731]1729,1549,2)([1732]1730,1545,4)([1733]1730,1545,2)([1734]1731,1733,3)([1735]7,44,2)([1736]1735,1555,4)([1737]1735,1555,2)([1738]1736,1551,4)([1739]1736,1551,2)([1740]1737,1739,3)([1741]8,44,2)([1742]1741,1561,4)([1743]1741,1561,2)([1744]1742,1557,4)([1745]1742,1557,2)([1746]1743,1745,3)([1747]9,44,2)([1748]1747,1567,4)([1749]1747,1567,2)([1750]1748,1563,4)([1751]1748,1563,2)([1752]1749,1751,3)([1753]10,44,2)([1754]1753,1573,4)([1755]1753,1573,2)([1756]1754,1569,4)([1757]1754,1569,2)([1758]1755,1757,3)([1759]11,44,2)([1760]1759,1579,4)([1761]1759,1579,2)([1762]1760,1575,4)([1763]1760,1575,2)([1764]1761,1763,3)([1765]12,44,2)([1766]1765,1585,4)([1767]1765,1585,2)([1768]1766,1581,4)([1769]1766,1581,2)([1770]1767,1769,3)([1771]13,44,2)([1772]1771,1591,4)([1773]1771,1591,2)([1774]1772,1587,4)([1775]1772,1587,2)([1776]1773,1775,3)([1777]14,44,2)([1778]1777,1597,4)([1779]1777,1597,2)([1780]1778,1593,4)([1781]1778,1593,2)([1782]1779,1781,3)([1783]15,44,2)([1784]1783,1603,4)([1785]1783,1603,2)([1786]1784,1599,4)([1787]1784,1599,2)([1788]1785,1787,3)([1789]16,44,2)([1790]1789,1609,4)([1791]1789,1609,2)([1792]1790,1605,4)([1793]1790,1605,2)([1794]1791,1793,3)([1795]17,44,2)([1796]1795,1615,4)([1797]1795,1615,2)([1798]1796,1611,4)([1799]1796,1611,2)([1800]1797,1799,3)([1801]18,44,2)([1802]1801,1621,4)([1803]1801,1621,2)([1804]1802,1617,4)([1805]1802,1617,2)([1806]1803,1805,3)([1807]19,44,2)([1808]1807,1627,4)([1809]1807,1627,2)([1810]1808,1623,4)([1811]1808,1623,2)([1812]1809,1811,3)([1813]20,44,2)([1814]1813,1633,4)([1815]1813,1633,2)([1816]1814,1629,4)([1817]1814,1629,2)([1818]1815,1817,3)([1819]21,44,2)([1820]1819,1639,4)([1821]1819,1639,2)([1822]1820,1635,4)([1823]1820,1635,2)([1824]1821,1823,3)([1825]22,44,2)([1826]1825,1645,4)([1827]1825,1645,2)([1828]1826,1641,4)([1829]1826,1641,2)([1830]1827,1829,3)([1831]23,44,2)([1832]1831,1651,4)([1833]1831,1651,2)([1834]1832,1647,4)([1835]1832,1647,2)([1836]1833,1835,3)([1837]24,44,2)([1838]1837,1657,4)([1839]1837,1657,2)([1840]1838,1653,4)([1841]1838,1653,2)([1842]1839,1841,3)([1843]25,44,2)([1844]1843,1663,4)([1845]1843,1663,2)([1846]1844,1659,4)([1847]1844,1659,2)([1848]1845,1847,3)([1849]26,44,2)([1850]1849,1669,4)([1851]1849,1669,2)([1852]1850,1665,4)([1853]1850,1665,2)([1854]1851,1853,3)([1855]27,44,2)([1856]1855,1675,4)([1857]1855,1675,2)([1858]1856,1671,4)([1859]1856,1671,2)([1860]1857,1859,3)([1861]28,44,2)([1862]1861,1681,4)([1863]1861,1681,2)([1864]1862,1677,4)([1865]1862,1677,2)([1866]1863,1865,3)([1867]29,44,2)([1868]1867,1687,4)([1869]1867,1687,2)([1870]1868,1683,4)([1871]1868,1683,2)([1872]1869,1871,3)([1873]30,44,2)([1874]1873,1693,4)([1875]1873,1693,2)([1876]1874,1689,4)([1877]1874,1689,2)([1878]1875,1877,3)([1879]31,44,2)([1880]1879,1699,4)([1881]1879,1699,2)([1882]1880,1695,4)([1883]1880,1695,2)([1884]1881,1883,3)([1885]32,44,2)([1886]1885,1703,4)([1887]1885,1703,2)([1888]1886,1701,4)([1889]1886,1701,2)([1890]1887,1889,3)([1891]33,44,5)([1892]1891,1704,4)([1893]1891,1704,2)([1894]2,45,2)([1895]1894,1714,4)([1896]1894,1714,2)([1897]1895,1710,4)([1898]1895,1710,2)([1899]1896,1898,3)([1900]3,45,2)([1901]1900,1720,4)([1902]1900,1720,2)([1903]1901,1716,4)([1904]1901,1716,2)([1905]1902,1904,3)([1906]4,45,2)([1907]1906,1726,4)([1908]1906,1726,2)([1909]1907,1722,4)([1910]1907,1722,2)([1911]1908,1910,3)([1912]5,45,2)([1913]1912,1732,4)([1914]1912,1732,2)([1915]1913,1728,4)([1916]1913,1728,2)([1917]1914,1916,3)([1918]6,45,2)([1919]1918,1738,4)([1920]1918,1738,2)([1921]1919,1734,4)([1922]1919,1734,2)([1923]1920,1922,3)([1924]7,45,2)([1925]1924,1744,4)([1926]1924,1744,2)([1927]1925,1740,4)([1928]1925,1740,2)([1929]1926,1928,3)([1930]8,45,2)([1931]1930,1750,4)([1932]1930,1750,2)([1933]1931,1746,4)([1934]1931,1746,2)([1935]1932,1934,3)([1936]9,45,2)([1937]1936,1756,4)([1938]1936,1756,2)([1939]1937,1752,4)([1940]1937,1752,2)([1941]1938,1940,3)([1942]10,45,2)([1943]1942,1762,4)([1944]1942,1762,2)([1945]1943,1758,4)([1946]1943,1758,2)([1947]1944,1946,3)([1948]11,45,2)([1949]1948,1768,4)([1950]1948,1768,2)([1951]1949,1764,4)([1952]1949,1764,2)([1953]1950,1952,3)([1954]12,45,2)([1955]1954,1774,4)([1956]1954,1774,2)([1957]1955,1770,4)([1958]1955,1770,2)([1959]1956,1958,3)([1960]13,45,2)([1961]1960,1780,4)([1962]1960,1780,2)([1963]1961,1776,4)([1964]1961,1776,2)([1965]1962,1964,3)([1966]14,45,2)([1967]1966,1786,4)([1968]1966,1786,2)([1969]1967,1782,4)([1970]1967,1782,2)([1971]1968,1970,3)([1972]15,45,2)([1973]1972,1792,4)([1974]1972,1792,2)([1975]1973,1788,4)([1976]1973,1788,2)([1977]1974,1976,3)([1978]16,45,2)([1979]1978,1798,4)([1980]1978,1798,2)([1981]1979,1794,4)([1982]1979,1794,2)([1983]1980,1982,3)([1984]17,45,2)([1985]1984,1804,4)([1986]1984,1804,2)([1987]1985,1800,4)([1988]1985,1800,2)([1989]1986,1988,3)([1990]18,45,2)([1991]1990,1810,4)([1992]1990,1810,2)([1993]1991,1806,4)([1994]1991,1806,2)([1995]1992,1994,3)([1996]19,45,2)([1997]1996,1816,4)([1998]1996,1816,2)([1999]1997,1812,4)([2000]1997,1812,2)([2001]1998,2000,3)([2002]20,45,2)([2003]2002,1822,4)([2004]2002,1822,2)([2005]2003,1818,4)([2006]2003,1818,2)([2007]2004,2006,3)([2008]21,45,2)([2009]2008,1828,4)([2010]2008,1828,2)([2011]2009,1824,4)([2012]2009,1824,2)([2013]2010,2012,3)([2014]22,45,2)([2015]2014,1834,4)([2016]2014,1834,2)([2017]2015,1830,4)([2018]2015,1830,2)([2019]2016,2018,3)([2020]23,45,2)([2021]2020,1840,4)([2022]2020,1840,2)([2023]2021,1836,4)([2024]2021,1836,2)([2025]2022,2024,3)([2026]24,45,2)([2027]2026,1846,4)([2028]2026,1846,2)([2029]2027,1842,4)([2030]2027,1842,2)([2031]2028,2030,3)([2032]25,45,2)([2033]2032,1852,4)([2034]2032,1852,2)([2035]2033,1848,4)([2036]2033,1848,2)([2037]2034,2036,3)([2038]26,45,2)([2039]2038,1858,4)([2040]2038,1858,2)([2041]2039,1854,4)([2042]2039,1854,2)([2043]2040,2042,3)([2044]27,45,2)([2045]2044,1864,4)([2046]2044,1864,2)([2047]2045,1860,4)([2048]2045,1860,2)([2049]2046,2048,3)([2050]28,45,2)([2051]2050,1870,4)([2052]2050,1870,2)([2053]2051,1866,4)([2054]2051,1866,2)([2055]2052,2054,3)([2056]29,45,2)([2057]2056,1876,4)([2058]2056,1876,2)([2059]2057,1872,4)([2060]2057,1872,2)([2061]2058,2060,3)([2062]30,45,2)([2063]2062,1882,4)([2064]2062,1882,2)([2065]2063,1878,4)([2066]2063,1878,2)([2067]2064,2066,3)([2068]31,45,2)([2069]2068,1888,4)([2070]2068,1888,2)([2071]2069,1884,4)([2072]2069,1884,2)([2073]2070,2072,3)([2074]32,45,2)([2075]2074,1892,4)([2076]2074,1892,2)([2077]2075,1890,4)([2078]2075,1890,2)([2079]2076,2078,3)([2080]33,45,5)([2081]2080,1893,4)([2082]2080,1893,2)([2083]2,46,2)([2084]2083,1903,4)([2085]2083,1903,2)([2086]2084,1899,4)([2087]2084,1899,2)([2088]2085,2087,3)([2089]3,46,2)([2090]2089,1909,4)([2091]2089,1909,2)([2092]2090,1905,4)([2093]2090,1905,2)([2094]2091,2093,3)([2095]4,46,2)([2096]2095,1915,4)([2097]2095,1915,2)([2098]2096,1911,4)([2099]2096,1911,2)([2100]2097,2099,3)([2101]5,46,2)([2102]2101,1921,4)([2103]2101,1921,2)([2104]2102,1917,4)([2105]2102,1917,2)([2106]2103,2105,3)([2107]6,46,2)([2108]2107,1927,4)([2109]2107,1927,2)([2110]2108,1923,4)([2111]2108,1923,2)([2112]2109,2111,3)([2113]7,46,2)([2114]2113,1933,4)([2115]2113,1933,2)([2116]2114,1929,4)([2117]2114,1929,2)([2118]2115,2117,3)([2119]8,46,2)([2120]2119,1939,4)([2121]2119,1939,2)([2122]2120,1935,4)([2123]2120,1935,2)([2124]2121,2123,3)([2125]9,46,2)([2126]2125,1945,4)([2127]2125,1945,2)([2128]2126,1941,4)([2129]2126,1941,2)([2130]2127,2129,3)([2131]10,46,2)([2132]2131,1951,4)([2133]2131,1951,2)([2134]2132,1947,4)([2135]2132,1947,2)([2136]2133,2135,3)([2137]11,46,2)([2138]2137,1957,4)([2139]2137,1957,2)([2140]2138,1953,4)([2141]2138,1953,2)([2142]2139,2141,3)([2143]12,46,2)([2144]2143,1963,4)([2145]2143,1963,2)([2146]2144,1959,4)([2147]2144,1959,2)([2148]2145,2147,3)([2149]13,46,2)([2150]2149,1969,4)([2151]2149,1969,2)([2152]2150,1965,4)([2153]2150,1965,2)([2154]2151,2153,3)([2155]14,46,2)([2156]2155,1975,4)([2157]2155,1975,2)([2158]2156,1971,4)([2159]2156,1971,2)([2160]2157,2159,3)([2161]15,46,2)([2162]2161,1981,4)([2163]2161,1981,2)([2164]2162,1977,4)([2165]2162,1977,2)([2166]2163,2165,3)([2167]16,46,2)([2168]2167,1987,4)([2169]2167,1987,2)([2170]2168,1983,4)([2171]2168,1983,2)([2172]2169,2171,3)([2173]17,46,2)([2174]2173,1993,4)([2175]2173,1993,2)([2176]2174,1989,4)([2177]2174,1989,2)([2178]2175,2177,3)([2179]18,46,2)([2180]2179,1999,4)([2181]2179,1999,2)([2182]2180,1995,4)([2183]2180,1995,2)([2184]2181,2183,3)([2185]19,46,2)([2186]2185,2005,4)([2187]2185,2005,2)([2188]2186,2001,4)([2189]2186,2001,2)([2190]2187,2189,3)([2191]20,46,2)([2192]2191,2011,4)([2193]2191,2011,2)([2194]2192,2007,4)([2195]2192,2007,2)([2196]2193,2195,3)([2197]21,46,2)([2198]2197,2017,4)([2199]2197,2017,2)([2200]2198,2013,4)([2201]2198,2013,2)([2202]2199,2201,3)([2203]22,46,2)([2204]2203,2023,4)([2205]2203,2023,2)([2206]2204,2019,4)([2207]2204,2019,2)([2208]2205,2207,3)([2209]23,46,2)([2210]2209,2029,4)([2211]2209,2029,2)([2212]2210,2025,4)([2213]2210,2025,2)([2214]2211,2213,3)([2215]24,46,2)([2216]2215,2035,4)([2217]2215,2035,2)([2218]2216,2031,4)([2219]2216,2031,2)([2220]2217,2219,3)([2221]25,46,2)([2222]2221,2041,4)([2223]2221,2041,2)([2224]2222,2037,4)([2225]2222,2037,2)([2226]2223,2225,3)([2227]26,46,2)([2228]2227,2047,4)([2229]2227,2047,2)([2230]2228,2043,4)([2231]2228,2043,2)([2232]2229,2231,3)([2233]27,46,2)([2234]2233,2053,4)([2235]2233,2053,2)([2236]2234,2049,4)([2237]2234,2049,2)([2238]2235,2237,3)([2239]28,46,2)([2240]2239,2059,4)([2241]2239,2059,2)([2242]2240,2055,4)([2243]2240,2055,2)([2244]2241,2243,3)([2245]29,46,2)([2246]2245,2065,4)([2247]2245,2065,2)([2248]2246,2061,4)([2249]2246,2061,2)([2250]2247,2249,3)([2251]30,46,2)([2252]2251,2071,4)([2253]2251,2071,2)([2254]2252,2067,4)([2255]2252,2067,2)([2256]2253,2255,3)([2257]31,46,2)([2258]2257,2077,4)([2259]2257,2077,2)([2260]2258,2073,4)([2261]2258,2073,2)([2262]2259,2261,3)([2263]32,46,2)([2264]2263,2081,4)([2265]2263,2081,2)([2266]2264,2079,4)([2267]2264,2079,2)([2268]2265,2267,3)([2269]33,46,5)([2270]2269,2082,4)([2271]2269,2082,2)([2272]2,47,2)([2273]2272,2092,4)([2274]2272,2092,2)([2275]2273,2088,4)([2276]2273,2088,2)([2277]2274,2276,3)([2278]3,47,2)([2279]2278,2098,4)([2280]2278,2098,2)([2281]2279,2094,4)([2282]2279,2094,2)([2283]2280,2282,3)([2284]4,47,2)([2285]2284,2104,4)([2286]2284,2104,2)([2287]2285,2100,4)([2288]2285,2100,2)([2289]2286,2288,3)([2290]5,47,2)([2291]2290,2110,4)([2292]2290,2110,2)([2293]2291,2106,4)([2294]2291,2106,2)([2295]2292,2294,3)([2296]6,47,2)([2297]2296,2116,4)([2298]2296,2116,2)([2299]2297,2112,4)([2300]2297,2112,2)([2301]2298,2300,3)([2302]7,47,2)([2303]2302,2122,4)([2304]2302,2122,2)([2305]2303,2118,4)([2306]2303,2118,2)([2307]2304,2306,3)([2308]8,47,2)([2309]2308,2128,4)([2310]2308,2128,2)([2311]2309,2124,4)([2312]2309,2124,2)([2313]2310,2312,3)([2314]9,47,2)([2315]2314,2134,4)([2316]2314,2134,2)([2317]2315,2130,4)([2318]2315,2130,2)([2319]2316,2318,3)([2320]10,47,2)([2321]2320,2140,4)([2322]2320,2140,2)([2323]2321,2136,4)([2324]2321,2136,2)([2325]2322,2324,3)([2326]11,47,2)([2327]2326,2146,4)([2328]2326,2146,2)([2329]2327,2142,4)([2330]2327,2142,2)([2331]2328,2330,3)([2332]12,47,2)([2333]2332,2152,4)([2334]2332,2152,2)([2335]2333,2148,4)([2336]2333,2148,2)([2337]2334,2336,3)([2338]13,47,2)([2339]2338,2158,4)([2340]2338,2158,2)([2341]2339,2154,4)([2342]2339,2154,2)([2343]2340,2342,3)([2344]14,47,2)([2345]2344,2164,4)([2346]2344,2164,2)([2347]2345,2160,4)([2348]2345,2160,2)([2349]2346,2348,3)([2350]15,47,2)([2351]2350,2170,4)([2352]2350,2170,2)([2353]2351,2166,4)([2354]2351,2166,2)([2355]2352,2354,3)([2356]16,47,2)([2357]2356,2176,4)([2358]2356,2176,2)([2359]2357,2172,4)([2360]2357,2172,2)([2361]2358,2360,3)([2362]17,47,2)([2363]2362,2182,4)([2364]2362,2182,2)([2365]2363,2178,4)([2366]2363,2178,2)([2367]2364,2366,3)([2368]18,47,2)([2369]2368,2188,4)([2370]2368,2188,2)([2371]2369,2184,4)([2372]2369,2184,2)([2373]2370,2372,3)([2374]19,47,2)([2375]2374,2194,4)([2376]2374,2194,2)([2377]2375,2190,4)([2378]2375,2190,2)([2379]2376,2378,3)([2380]20,47,2)([2381]2380,2200,4)([2382]2380,2200,2)([2383]2381,2196,4)([2384]2381,2196,2)([2385]2382,2384,3)([2386]21,47,2)([2387]2386,2206,4)([2388]2386,2206,2)([2389]2387,2202,4)([2390]2387,2202,2)([2391]2388,2390,3)([2392]22,47,2)([2393]2392,2212,4)([2394]2392,2212,2)([2395]2393,2208,4)([2396]2393,2208,2)([2397]2394,2396,3)([2398]23,47,2)([2399]2398,2218,4)([2400]2398,2218,2)([2401]2399,2214,4)([2402]2399,2214,2)([2403]2400,2402,3)([2404]24,47,2)([2405]2404,2224,4)([2406]2404,2224,2)([2407]2405,2220,4)([2408]2405,2220,2)([2409]2406,2408,3)([2410]25,47,2)([2411]2410,2230,4)([2412]2410,2230,2)([2413]2411,2226,4)([2414]2411,2226,2)([2415]2412,2414,3)([2416]26,47,2)([2417]2416,2236,4)([2418]2416,2236,2)([2419]2417,2232,4)([2420]2417,2232,2)([2421]2418,2420,3)([2422]27,47,2)([2423]2422,2242,4)([2424]2422,2242,2)([2425]2423,2238,4)([2426]2423,2238,2)([2427]2424,2426,3)([2428]28,47,2)([2429]2428,2248,4)([2430]2428,2248,2)([2431]2429,2244,4)([2432]2429,2244,2)([2433]2430,2432,3)([2434]29,47,2)([2435]2434,2254,4)([2436]2434,2254,2)([2437]2435,2250,4)([2438]2435,2250,2)([2439]2436,2438,3)([2440]30,47,2)([2441]2440,2260,4)([2442]2440,2260,2)([2443]2441,2256,4)([2444]2441,2256,2)([2445]2442,2444,3)([2446]31,47,2)([2447]2446,2266,4)([2448]2446,2266,2)([2449]2447,2262,4)([2450]2447,2262,2)([2451]2448,2450,3)([2452]32,47,2)([2453]2452,2270,4)([2454]2452,2270,2)([2455]2453,2268,4)([2456]2453,2268,2)([2457]2454,2456,3)([2458]33,47,5)([2459]2458,2271,4)([2460]2458,2271,2)([2461]2,48,2)([2462]2461,2281,4)([2463]2461,2281,2)([2464]2462,2277,4)([2465]2462,2277,2)([2466]2463,2465,3)([2467]3,48,2)([2468]2467,2287,4)([2469]2467,2287,2)([2470]2468,2283,4)([2471]2468,2283,2)([2472]2469,2471,3)([2473]4,48,2)([2474]2473,2293,4)([2475]2473,2293,2)([2476]2474,2289,4)([2477]2474,2289,2)([2478]2475,2477,3)([2479]5,48,2)([2480]2479,2299,4)([2481]2479,2299,2)([2482]2480,2295,4)([2483]2480,2295,2)([2484]2481,2483,3)([2485]6,48,2)([2486]2485,2305,4)([2487]2485,2305,2)([2488]2486,2301,4)([2489]2486,2301,2)([2490]2487,2489,3)([2491]7,48,2)([2492]2491,2311,4)([2493]2491,2311,2)([2494]2492,2307,4)([2495]2492,2307,2)([2496]2493,2495,3)([2497]8,48,2)([2498]2497,2317,4)([2499]2497,2317,2)([2500]2498,2313,4)([2501]2498,2313,2)([2502]2499,2501,3)([2503]9,48,2)([2504]2503,2323,4)([2505]2503,2323,2)([2506]2504,2319,4)([2507]2504,2319,2)([2508]2505,2507,3)([2509]10,48,2)([2510]2509,2329,4)([2511]2509,2329,2)([2512]2510,2325,4)([2513]2510,2325,2)([2514]2511,2513,3)([2515]11,48,2)([2516]2515,2335,4)([2517]2515,2335,2)([2518]2516,2331,4)([2519]2516,2331,2)([2520]2517,2519,3)([2521]12,48,2)([2522]2521,2341,4)([2523]2521,2341,2)([2524]2522,2337,4)([2525]2522,2337,2)([2526]2523,2525,3)([2527]13,48,2)([2528]2527,2347,4)([2529]2527,2347,2)([2530]2528,2343,4)([2531]2528,2343,2)([2532]2529,2531,3)([2533]14,48,2)([2534]2533,2353,4)([2535]2533,2353,2)([2536]2534,2349,4)([2537]2534,2349,2)([2538]2535,2537,3)([2539]15,48,2)([2540]2539,2359,4)([2541]2539,2359,2)([2542]2540,2355,4)([2543]2540,2355,2)([2544]2541,2543,3)([2545]16,48,2)([2546]2545,2365,4)([2547]2545,2365,2)([2548]2546,2361,4)([2549]2546,2361,2)([2550]2547,2549,3)([2551]17,48,2)([2552]2551,2371,4)([2553]2551,2371,2)([2554]2552,2367,4)([2555]2552,2367,2)([2556]2553,2555,3)([2557]18,48,2)([2558]2557,2377,4)([2559]2557,2377,2)([2560]2558,2373,4)([2561]2558,2373,2)([2562]2559,2561,3)([2563]19,48,2)([2564]2563,2383,4)([2565]2563,2383,2)([2566]2564,2379,4)([2567]2564,2379,2)([2568]2565,2567,3)([2569]20,48,2)([2570]2569,2389,4)([2571]2569,2389,2)([2572]2570,2385,4)([2573]2570,2385,2)([2574]2571,2573,3)([2575]21,48,2)([2576]2575,2395,4)([2577]2575,2395,2)([2578]2576,2391,4)([2579]2576,2391,2)([2580]2577,2579,3)([2581]22,48,2)([2582]2581,2401,4)([2583]2581,2401,2)([2584]2582,2397,4)([2585]2582,2397,2)([2586]2583,2585,3)([2587]23,48,2)([2588]2587,2407,4)([2589]2587,2407,2)([2590]2588,2403,4)([2591]2588,2403,2)([2592]2589,2591,3)([2593]24,48,2)([2594]2593,2413,4)([2595]2593,2413,2)([2596]2594,2409,4)([2597]2594,2409,2)([2598]2595,2597,3)([2599]25,48,2)([2600]2599,2419,4)([2601]2599,2419,2)([2602]2600,2415,4)([2603]2600,2415,2)([2604]2601,2603,3)([2605]26,48,2)([2606]2605,2425,4)([2607]2605,2425,2)([2608]2606,2421,4)([2609]2606,2421,2)([2610]2607,2609,3)([2611]27,48,2)([2612]2611,2431,4)([2613]2611,2431,2)([2614]2612,2427,4)([2615]2612,2427,2)([2616]2613,2615,3)([2617]28,48,2)([2618]2617,2437,4)([2619]2617,2437,2)([2620]2618,2433,4)([2621]2618,2433,2)([2622]2619,2621,3)([2623]29,48,2)([2624]2623,2443,4)([2625]2623,2443,2)([2626]2624,2439,4)([2627]2624,2439,2)([2628]2625,2627,3)([2629]30,48,2)([2630]2629,2449,4)([2631]2629,2449,2)([2632]2630,2445,4)([2633]2630,2445,2)([2634]2631,2633,3)([2635]31,48,2)([2636]2635,2455,4)([2637]2635,2455,2)([2638]2636,2451,4)([2639]2636,2451,2)([2640]2637,2639,3)([2641]32,48,2)([2642]2641,2459,4)([2643]2641,2459,2)([2644]2642,2457,4)([2645]2642,2457,2)([2646]2643,2645,3)([2647]33,48,5)([2648]2647,2460,4)([2649]2647,2460,2)([2650]2,49,2)([2651]2650,2470,4)([2652]2650,2470,2)([2653]2651,2466,4)([2654]2651,2466,2)([2655]2652,2654,3)([2656]3,49,2)([2657]2656,2476,4)([2658]2656,2476,2)([2659]2657,2472,4)([2660]2657,2472,2)([2661]2658,2660,3)([2662]4,49,2)([2663]2662,2482,4)([2664]2662,2482,2)([2665]2663,2478,4)([2666]2663,2478,2)([2667]2664,2666,3)([2668]5,49,2)([2669]2668,2488,4)([2670]2668,2488,2)([2671]2669,2484,4)([2672]2669,2484,2)([2673]2670,2672,3)([2674]6,49,2)([2675]2674,2494,4)([2676]2674,2494,2)([2677]2675,2490,4)([2678]2675,2490,2)([2679]2676,2678,3)([2680]7,49,2)([2681]2680,2500,4)([2682]2680,2500,2)([2683]2681,2496,4)([2684]2681,2496,2)([2685]2682,2684,3)([2686]8,49,2)([2687]2686,2506,4)([2688]2686,2506,2)([2689]2687,2502,4)([2690]2687,2502,2)([2691]2688,2690,3)([2692]9,49,2)([2693]2692,2512,4)([2694]2692,2512,2)([2695]2693,2508,4)([2696]2693,2508,2)([2697]2694,2696,3)([2698]10,49,2)([2699]2698,2518,4)([2700]2698,2518,2)([2701]2699,2514,4)([2702]2699,2514,2)([2703]2700,2702,3)([2704]11,49,2)([2705]2704,2524,4)([2706]2704,2524,2)([2707]2705,2520,4)([2708]2705,2520,2)([2709]2706,2708,3)([2710]12,49,2)([2711]2710,2530,4)([2712]2710,2530,2)([2713]2711,2526,4)([2714]2711,2526,2)([2715]2712,2714,3)([2716]13,49,2)([2717]2716,2536,4)([2718]2716,2536,2)([2719]2717,2532,4)([2720]2717,2532,2)([2721]2718,2720,3)([2722]14,49,2)([2723]2722,2542,4)([2724]2722,2542,2)([2725]2723,2538,4)([2726]2723,2538,2)([2727]2724,2726,3)([2728]15,49,2)([2729]2728,2548,4)([2730]2728,2548,2)([2731]2729,2544,4)([2732]2729,2544,2)([2733]2730,2732,3)([2734]16,49,2)([2735]2734,2554,4)([2736]2734,2554,2)([2737]2735,2550,4)([2738]2735,2550,2)([2739]2736,2738,3)([2740]17,49,2)([2741]2740,2560,4)([2742]2740,2560,2)([2743]2741,2556,4)([2744]2741,2556,2)([2745]2742,2744,3)([2746]18,49,2)([2747]2746,2566,4)([2748]2746,2566,2)([2749]2747,2562,4)([2750]2747,2562,2)([2751]2748,2750,3)([2752]19,49,2)([2753]2752,2572,4)([2754]2752,2572,2)([2755]2753,2568,4)([2756]2753,2568,2)([2757]2754,2756,3)([2758]20,49,2)([2759]2758,2578,4)([2760]2758,2578,2)([2761]2759,2574,4)([2762]2759,2574,2)([2763]2760,2762,3)([2764]21,49,2)([2765]2764,2584,4)([2766]2764,2584,2)([2767]2765,2580,4)([2768]2765,2580,2)([2769]2766,2768,3)([2770]22,49,2)([2771]2770,2590,4)([2772]2770,2590,2)([2773]2771,2586,4)([2774]2771,2586,2)([2775]2772,2774,3)([2776]23,49,2)([2777]2776,2596,4)([2778]2776,2596,2)([2779]2777,2592,4)([2780]2777,2592,2)([2781]2778,2780,3)([2782]24,49,2)([2783]2782,2602,4)([2784]2782,2602,2)([2785]2783,2598,4)([2786]2783,2598,2)([2787]2784,2786,3)([2788]25,49,2)([2789]2788,2608,4)([2790]2788,2608,2)([2791]2789,2604,4)([2792]2789,2604,2)([2793]2790,2792,3)([2794]26,49,2)([2795]2794,2614,4)([2796]2794,2614,2)([2797]2795,2610,4)([2798]2795,2610,2)([2799]2796,2798,3)([2800]27,49,2)([2801]2800,2620,4)([2802]2800,2620,2)([2803]2801,2616,4)([2804]2801,2616,2)([2805]2802,2804,3)([2806]28,49,2)([2807]2806,2626,4)([2808]2806,2626,2)([2809]2807,2622,4)([2810]2807,2622,2)([2811]2808,2810,3)([2812]29,49,2)([2813]2812,2632,4)([2814]2812,2632,2)([2815]2813,2628,4)([2816]2813,2628,2)([2817]2814,2816,3)([2818]30,49,2)([2819]2818,2638,4)([2820]2818,2638,2)([2821]2819,2634,4)([2822]2819,2634,2)([2823]2820,2822,3)([2824]31,49,2)([2825]2824,2644,4)([2826]2824,2644,2)([2827]2825,2640,4)([2828]2825,2640,2)([2829]2826,2828,3)([2830]32,49,2)([2831]2830,2648,4)([2832]2830,2648,2)([2833]2831,2646,4)([2834]2831,2646,2)([2835]2832,2834,3)([2836]33,49,5)([2837]2836,2649,4)([2838]2836,2649,2)([2839]2,50,2)([2840]2839,2659,4)([2841]2839,2659,2)([2842]2840,2655,4)([2843]2840,2655,2)([2844]2841,2843,3)([2845]3,50,2)([2846]2845,2665,4)([2847]2845,2665,2)([2848]2846,2661,4)([2849]2846,2661,2)([2850]2847,2849,3)([2851]4,50,2)([2852]2851,2671,4)([2853]2851,2671,2)([2854]2852,2667,4)([2855]2852,2667,2)([2856]2853,2855,3)([2857]5,50,2)([2858]2857,2677,4)([2859]2857,2677,2)([2860]2858,2673,4)([2861]2858,2673,2)([2862]2859,2861,3)([2863]6,50,2)([2864]2863,2683,4)([2865]2863,2683,2)([2866]2864,2679,4)([2867]2864,2679,2)([2868]2865,2867,3)([2869]7,50,2)([2870]2869,2689,4)([2871]2869,2689,2)([2872]2870,2685,4)([2873]2870,2685,2)([2874]2871,2873,3)([2875]8,50,2)([2876]2875,2695,4)([2877]2875,2695,2)([2878]2876,2691,4)([2879]2876,2691,2)([2880]2877,2879,3)([2881]9,50,2)([2882]2881,2701,4)([2883]2881,2701,2)([2884]2882,2697,4)([2885]2882,2697,2)([2886]2883,2885,3)([2887]10,50,2)([2888]2887,2707,4)([2889]2887,2707,2)([2890]2888,2703,4)([2891]2888,2703,2)([2892]2889,2891,3)([2893]11,50,2)([2894]2893,2713,4)([2895]2893,2713,2)([2896]2894,2709,4)([2897]2894,2709,2)([2898]2895,2897,3)([2899]12,50,2)([2900]2899,2719,4)([2901]2899,2719,2)([2902]2900,2715,4)([2903]2900,2715,2)([2904]2901,2903,3)([2905]13,50,2)([2906]2905,2725,4)([2907]2905,2725,2)([2908]2906,2721,4)([2909]2906,2721,2)([2910]2907,2909,3)([2911]14,50,2)([2912]2911,2731,4)([2913]2911,2731,2)([2914]2912,2727,4)([2915]2912,2727,2)([2916]2913,2915,3)([2917]15,50,2)([2918]2917,2737,4)([2919]2917,2737,2)([2920]2918,2733,4)([2921]2918,2733,2)([2922]2919,2921,3)([2923]16,50,2)([2924]2923,2743,4)([2925]2923,2743,2)([2926]2924,2739,4)([2927]2924,2739,2)([2928]2925,2927,3)([2929]17,50,2)([2930]2929,2749,4)([2931]2929,2749,2)([2932]2930,2745,4)([2933]2930,2745,2)([2934]2931,2933,3)([2935]18,50,2)([2936]2935,2755,4)([2937]2935,2755,2)([2938]2936,2751,4)([2939]2936,2751,2)([2940]2937,2939,3)([2941]19,50,2)([2942]2941,2761,4)([2943]2941,2761,2)([2944]2942,2757,4)([2945]2942,2757,2)([2946]2943,2945,3)([2947]20,50,2)([2948]2947,2767,4)([2949]2947,2767,2)([2950]2948,2763,4)([2951]2948,2763,2)([2952]2949,2951,3)([2953]21,50,2)([2954]2953,2773,4)([2955]2953,2773,2)([2956]2954,2769,4)([2957]2954,2769,2)([2958]2955,2957,3)([2959]22,50,2)([2960]2959,2779,4)([2961]2959,2779,2)([2962]2960,2775,4)([2963]2960,2775,2)([2964]2961,2963,3)([2965]23,50,2)([2966]2965,2785,4)([2967]2965,2785,2)([2968]2966,2781,4)([2969]2966,2781,2)([2970]2967,2969,3)([2971]24,50,2)([2972]2971,2791,4)([2973]2971,2791,2)([2974]2972,2787,4)([2975]2972,2787,2)([2976]2973,2975,3)([2977]25,50,2)([2978]2977,2797,4)([2979]2977,2797,2)([2980]2978,2793,4)([2981]2978,2793,2)([2982]2979,2981,3)([2983]26,50,2)([2984]2983,2803,4)([2985]2983,2803,2)([2986]2984,2799,4)([2987]2984,2799,2)([2988]2985,2987,3)([2989]27,50,2)([2990]2989,2809,4)([2991]2989,2809,2)([2992]2990,2805,4)([2993]2990,2805,2)([2994]2991,2993,3)([2995]28,50,2)([2996]2995,2815,4)([2997]2995,2815,2)([2998]2996,2811,4)([2999]2996,2811,2)([3000]2997,2999,3)([3001]29,50,2)([3002]3001,2821,4)([3003]3001,2821,2)([3004]3002,2817,4)([3005]3002,2817,2)([3006]3003,3005,3)([3007]30,50,2)([3008]3007,2827,4)([3009]3007,2827,2)([3010]3008,2823,4)([3011]3008,2823,2)([3012]3009,3011,3)([3013]31,50,2)([3014]3013,2833,4)([3015]3013,2833,2)([3016]3014,2829,4)([3017]3014,2829,2)([3018]3015,3017,3)([3019]32,50,2)([3020]3019,2837,4)([3021]3019,2837,2)([3022]3020,2835,4)([3023]3020,2835,2)([3024]3021,3023,3)([3025]33,50,5)([3026]3025,2838,4)([3027]3025,2838,2)([3028]2,51,2)([3029]3028,2848,4)([3030]3028,2848,2)([3031]3029,2844,4)([3032]3029,2844,2)([3033]3030,3032,3)([3034]3,51,2)([3035]3034,2854,4)([3036]3034,2854,2)([3037]3035,2850,4)([3038]3035,2850,2)([3039]3036,3038,3)([3040]4,51,2)([3041]3040,2860,4)([3042]3040,2860,2)([3043]3041,2856,4)([3044]3041,2856,2)([3045]3042,3044,3)([3046]5,51,2)([3047]3046,2866,4)([3048]3046,2866,2)([3049]3047,2862,4)([3050]3047,2862,2)([3051]3048,3050,3)([3052]6,51,2)([3053]3052,2872,4)([3054]3052,2872,2)([3055]3053,2868,4)([3056]3053,2868,2)([3057]3054,3056,3)([3058]7,51,2)([3059]3058,2878,4)([3060]3058,2878,2)([3061]3059,2874,4)([3062]3059,2874,2)([3063]3060,3062,3)([3064]8,51,2)([3065]3064,2884,4)([3066]3064,2884,2)([3067]3065,2880,4)([3068]3065,2880,2)([3069]3066,3068,3)([3070]9,51,2)([3071]3070,2890,4)([3072]3070,2890,2)([3073]3071,2886,4)([3074]3071,2886,2)([3075]3072,3074,3)([3076]10,51,2)([3077]3076,2896,4)([3078]3076,2896,2)([3079]3077,2892,4)([3080]3077,2892,2)([3081]3078,3080,3)([3082]11,51,2)([3083]3082,2902,4)([3084]3082,2902,2)([3085]3083,2898,4)([3086]3083,2898,2)([3087]3084,3086,3)([3088]12,51,2)([3089]3088,2908,4)([3090]3088,2908,2)([3091]3089,2904,4)([3092]3089,2904,2)([3093]3090,3092,3)([3094]13,51,2)([3095]3094,2914,4)([3096]3094,2914,2)([3097]3095,2910,4)([3098]3095,2910,2)([3099]3096,3098,3)([3100]14,51,2)([3101]3100,2920,4)([3102]3100,2920,2)([3103]3101,2916,4)([3104]3101,2916,2)([3105]3102,3104,3)([3106]15,51,2)([3107]3106,2926,4)([3108]3106,2926,2)([3109]3107,2922,4)([3110]3107,2922,2)([3111]3108,3110,3)([3112]16,51,2)([3113]3112,2932,4)([3114]3112,2932,2)([3115]3113,2928,4)([3116]3113,2928,2)([3117]3114,3116,3)([3118]17,51,2)([3119]3118,2938,4)([3120]3118,2938,2)([3121]3119,2934,4)([3122]3119,2934,2)([3123]3120,3122,3)([3124]18,51,2)([3125]3124,2944,4)([3126]3124,2944,2)([3127]3125,2940,4)([3128]3125,2940,2)([3129]3126,3128,3)([3130]19,51,2)([3131]3130,2950,4)([3132]3130,2950,2)([3133]3131,2946,4)([3134]3131,2946,2)([3135]3132,3134,3)([3136]20,51,2)([3137]3136,2956,4)([3138]3136,2956,2)([3139]3137,2952,4)([3140]3137,2952,2)([3141]3138,3140,3)([3142]21,51,2)([3143]3142,2962,4)([3144]3142,2962,2)([3145]3143,2958,4)([3146]3143,2958,2)([3147]3144,3146,3)([3148]22,51,2)([3149]3148,2968,4)([3150]3148,2968,2)([3151]3149,2964,4)([3152]3149,2964,2)([3153]3150,3152,3)([3154]23,51,2)([3155]3154,2974,4)([3156]3154,2974,2)([3157]3155,2970,4)([3158]3155,2970,2)([3159]3156,3158,3)([3160]24,51,2)([3161]3160,2980,4)([3162]3160,2980,2)([3163]3161,2976,4)([3164]3161,2976,2)([3165]3162,3164,3)([3166]25,51,2)([3167]3166,2986,4)([3168]3166,2986,2)([3169]3167,2982,4)([3170]3167,2982,2)([3171]3168,3170,3)([3172]26,51,2)([3173]3172,2992,4)([3174]3172,2992,2)([3175]3173,2988,4)([3176]3173,2988,2)([3177]3174,3176,3)([3178]27,51,2)([3179]3178,2998,4)([3180]3178,2998,2)([3181]3179,2994,4)([3182]3179,2994,2)([3183]3180,3182,3)([3184]28,51,2)([3185]3184,3004,4)([3186]3184,3004,2)([3187]3185,3000,4)([3188]3185,3000,2)([3189]3186,3188,3)([3190]29,51,2)([3191]3190,3010,4)([3192]3190,3010,2)([3193]3191,3006,4)([3194]3191,3006,2)([3195]3192,3194,3)([3196]30,51,2)([3197]3196,3016,4)([3198]3196,3016,2)([3199]3197,3012,4)([3200]3197,3012,2)([3201]3198,3200,3)([3202]31,51,2)([3203]3202,3022,4)([3204]3202,3022,2)([3205]3203,3018,4)([3206]3203,3018,2)([3207]3204,3206,3)([3208]32,51,2)([3209]3208,3026,4)([3210]3208,3026,2)([3211]3209,3024,4)([3212]3209,3024,2)([3213]3210,3212,3)([3214]33,51,5)([3215]3214,3027,4)([3216]3214,3027,2)([3217]2,52,2)([3218]3217,3037,4)([3219]3217,3037,2)([3220]3218,3033,4)([3221]3218,3033,2)([3222]3219,3221,3)([3223]3,52,2)([3224]3223,3043,4)([3225]3223,3043,2)([3226]3224,3039,4)([3227]3224,3039,2)([3228]3225,3227,3)([3229]4,52,2)([3230]3229,3049,4)([3231]3229,3049,2)([3232]3230,3045,4)([3233]3230,3045,2)([3234]3231,3233,3)([3235]5,52,2)([3236]3235,3055,4)([3237]3235,3055,2)([3238]3236,3051,4)([3239]3236,3051,2)([3240]3237,3239,3)([3241]6,52,2)([3242]3241,3061,4)([3243]3241,3061,2)([3244]3242,3057,4)([3245]3242,3057,2)([3246]3243,3245,3)([3247]7,52,2)([3248]3247,3067,4)([3249]3247,3067,2)([3250]3248,3063,4)([3251]3248,3063,2)([3252]3249,3251,3)([3253]8,52,2)([3254]3253,3073,4)([3255]3253,3073,2)([3256]3254,3069,4)([3257]3254,3069,2)([3258]3255,3257,3)([3259]9,52,2)([3260]3259,3079,4)([3261]3259,3079,2)([3262]3260,3075,4)([3263]3260,3075,2)([3264]3261,3263,3)([3265]10,52,2)([3266]3265,3085,4)([3267]3265,3085,2)([3268]3266,3081,4)([3269]3266,3081,2)([3270]3267,3269,3)([3271]11,52,2)([3272]3271,3091,4)([3273]3271,3091,2)([3274]3272,3087,4)([3275]3272,3087,2)([3276]3273,3275,3)([3277]12,52,2)([3278]3277,3097,4)([3279]3277,3097,2)([3280]3278,3093,4)([3281]3278,3093,2)([3282]3279,3281,3)([3283]13,52,2)([3284]3283,3103,4)([3285]3283,3103,2)([3286]3284,3099,4)([3287]3284,3099,2)([3288]3285,3287,3)([3289]14,52,2)([3290]3289,3109,4)([3291]3289,3109,2)([3292]3290,3105,4)([3293]3290,3105,2)([3294]3291,3293,3)([3295]15,52,2)([3296]3295,3115,4)([3297]3295,3115,2)([3298]3296,3111,4)([3299]3296,3111,2)([3300]3297,3299,3)([3301]16,52,2)([3302]3301,3121,4)([3303]3301,3121,2)([3304]3302,3117,4)([3305]3302,3117,2)([3306]3303,3305,3)([3307]17,52,2)([3308]3307,3127,4)([3309]3307,3127,2)([3310]3308,3123,4)([3311]3308,3123,2)([3312]3309,3311,3)([3313]18,52,2)([3314]3313,3133,4)([3315]3313,3133,2)([3316]3314,3129,4)([3317]3314,3129,2)([3318]3315,3317,3)([3319]19,52,2)([3320]3319,3139,4)([3321]3319,3139,2)([3322]3320,3135,4)([3323]3320,3135,2)([3324]3321,3323,3)([3325]20,52,2)([3326]3325,3145,4)([3327]3325,3145,2)([3328]3326,3141,4)([3329]3326,3141,2)([3330]3327,3329,3)([3331]21,52,2)([3332]3331,3151,4)([3333]3331,3151,2)([3334]3332,3147,4)([3335]3332,3147,2)([3336]3333,3335,3)([3337]22,52,2)([3338]3337,3157,4)([3339]3337,3157,2)([3340]3338,3153,4)([3341]3338,3153,2)([3342]3339,3341,3)([3343]23,52,2)([3344]3343,3163,4)([3345]3343,3163,2)([3346]3344,3159,4)([3347]3344,3159,2)([3348]3345,3347,3)([3349]24,52,2)([3350]3349,3169,4)([3351]3349,3169,2)([3352]3350,3165,4)([3353]3350,3165,2)([3354]3351,3353,3)([3355]25,52,2)([3356]3355,3175,4)([3357]3355,3175,2)([3358]3356,3171,4)([3359]3356,3171,2)([3360]3357,3359,3)([3361]26,52,2)([3362]3361,3181,4)([3363]3361,3181,2)([3364]3362,3177,4)([3365]3362,3177,2)([3366]3363,3365,3)([3367]27,52,2)([3368]3367,3187,4)([3369]3367,3187,2)([3370]3368,3183,4)([3371]3368,3183,2)([3372]3369,3371,3)([3373]28,52,2)([3374]3373,3193,4)([3375]3373,3193,2)([3376]3374,3189,4)([3377]3374,3189,2)([3378]3375,3377,3)([3379]29,52,2)([3380]3379,3199,4)([3381]3379,3199,2)([3382]3380,3195,4)([3383]3380,3195,2)([3384]3381,3383,3)([3385]30,52,2)([3386]3385,3205,4)([3387]3385,3205,2)([3388]3386,3201,4)([3389]3386,3201,2)([3390]3387,3389,3)([3391]31,52,2)([3392]3391,3211,4)([3393]3391,3211,2)([3394]3392,3207,4)([3395]3392,3207,2)([3396]3393,3395,3)([3397]32,52,2)([3398]3397,3215,4)([3399]3397,3215,2)([3400]3398,3213,4)([3401]3398,3213,2)([3402]3399,3401,3)([3403]33,52,5)([3404]3403,3216,4)([3405]3403,3216,2)([3406]2,53,2)([3407]3406,3226,4)([3408]3406,3226,2)([3409]3407,3222,4)([3410]3407,3222,2)([3411]3408,3410,3)([3412]3,53,2)([3413]3412,3232,4)([3414]3412,3232,2)([3415]3413,3228,4)([3416]3413,3228,2)([3417]3414,3416,3)([3418]4,53,2)([3419]3418,3238,4)([3420]3418,3238,2)([3421]3419,3234,4)([3422]3419,3234,2)([3423]3420,3422,3)([3424]5,53,2)([3425]3424,3244,4)([3426]3424,3244,2)([3427]3425,3240,4)([3428]3425,3240,2)([3429]3426,3428,3)([3430]6,53,2)([3431]3430,3250,4)([3432]3430,3250,2)([3433]3431,3246,4)([3434]3431,3246,2)([3435]3432,3434,3)([3436]7,53,2)([3437]3436,3256,4)([3438]3436,3256,2)([3439]3437,3252,4)([3440]3437,3252,2)([3441]3438,3440,3)([3442]8,53,2)([3443]3442,3262,4)([3444]3442,3262,2)([3445]3443,3258,4)([3446]3443,3258,2)([3447]3444,3446,3)([3448]9,53,2)([3449]3448,3268,4)([3450]3448,3268,2)([3451]3449,3264,4)([3452]3449,3264,2)([3453]3450,3452,3)([3454]10,53,2)([3455]3454,3274,4)([3456]3454,3274,2)([3457]3455,3270,4)([3458]3455,3270,2)([3459]3456,3458,3)([3460]11,53,2)([3461]3460,3280,4)([3462]3460,3280,2)([3463]3461,3276,4)([3464]3461,3276,2)([3465]3462,3464,3)([3466]12,53,2)([3467]3466,3286,4)([3468]3466,3286,2)([3469]3467,3282,4)([3470]3467,3282,2)([3471]3468,3470,3)([3472]13,53,2)([3473]3472,3292,4)([3474]3472,3292,2)([3475]3473,3288,4)([3476]3473,3288,2)([3477]3474,3476,3)([3478]14,53,2)([3479]3478,3298,4)([3480]3478,3298,2)([3481]3479,3294,4)([3482]3479,3294,2)([3483]3480,3482,3)([3484]15,53,2)([3485]3484,3304,4)([3486]3484,3304,2)([3487]3485,3300,4)([3488]3485,3300,2)([3489]3486,3488,3)([3490]16,53,2)([3491]3490,3310,4)([3492]3490,3310,2)([3493]3491,3306,4)([3494]3491,3306,2)([3495]3492,3494,3)([3496]17,53,2)([3497]3496,3316,4)([3498]3496,3316,2)([3499]3497,3312,4)([3500]3497,3312,2)([3501]3498,3500,3)([3502]18,53,2)([3503]3502,3322,4)([3504]3502,3322,2)([3505]3503,3318,4)([3506]3503,3318,2)([3507]3504,3506,3)([3508]19,53,2)([3509]3508,3328,4)([3510]3508,3328,2)([3511]3509,3324,4)([3512]3509,3324,2)([3513]3510,3512,3)([3514]20,53,2)([3515]3514,3334,4)([3516]3514,3334,2)([3517]3515,3330,4)([3518]3515,3330,2)([3519]3516,3518,3)([3520]21,53,2)([3521]3520,3340,4)([3522]3520,3340,2)([3523]3521,3336,4)([3524]3521,3336,2)([3525]3522,3524,3)([3526]22,53,2)([3527]3526,3346,4)([3528]3526,3346,2)([3529]3527,3342,4)([3530]3527,3342,2)([3531]3528,3530,3)([3532]23,53,2)([3533]3532,3352,4)([3534]3532,3352,2)([3535]3533,3348,4)([3536]3533,3348,2)([3537]3534,3536,3)([3538]24,53,2)([3539]3538,3358,4)([3540]3538,3358,2)([3541]3539,3354,4)([3542]3539,3354,2)([3543]3540,3542,3)([3544]25,53,2)([3545]3544,3364,4)([3546]3544,3364,2)([3547]3545,3360,4)([3548]3545,3360,2)([3549]3546,3548,3)([3550]26,53,2)([3551]3550,3370,4)([3552]3550,3370,2)([3553]3551,3366,4)([3554]3551,3366,2)([3555]3552,3554,3)([3556]27,53,2)([3557]3556,3376,4)([3558]3556,3376,2)([3559]3557,3372,4)([3560]3557,3372,2)([3561]3558,3560,3)([3562]28,53,2)([3563]3562,3382,4)([3564]3562,3382,2)([3565]3563,3378,4)([3566]3563,3378,2)([3567]3564,3566,3)([3568]29,53,2)([3569]3568,3388,4)([3570]3568,3388,2)([3571]3569,3384,4)([3572]3569,3384,2)([3573]3570,3572,3)([3574]30,53,2)([3575]3574,3394,4)([3576]3574,3394,2)([3577]3575,3390,4)([3578]3575,3390,2)([3579]3576,3578,3)([3580]31,53,2)([3581]3580,3400,4)([3582]3580,3400,2)([3583]3581,3396,4)([3584]3581,3396,2)([3585]3582,3584,3)([3586]32,53,2)([3587]3586,3404,4)([3588]3586,3404,2)([3589]3587,3402,4)([3590]3587,3402,2)([3591]3588,3590,3)([3592]33,53,5)([3593]3592,3405,4)([3594]3592,3405,2)([3595]2,54,2)([3596]3595,3415,4)([3597]3595,3415,2)([3598]3596,3411,4)([3599]3596,3411,2)([3600]3597,3599,3)([3601]3,54,2)([3602]3601,3421,4)([3603]3601,3421,2)([3604]3602,3417,4)([3605]3602,3417,2)([3606]3603,3605,3)([3607]4,54,2)([3608]3607,3427,4)([3609]3607,3427,2)([3610]3608,3423,4)([3611]3608,3423,2)([3612]3609,3611,3)([3613]5,54,2)([3614]3613,3433,4)([3615]3613,3433,2)([3616]3614,3429,4)([3617]3614,3429,2)([3618]3615,3617,3)([3619]6,54,2)([3620]3619,3439,4)([3621]3619,3439,2)([3622]3620,3435,4)([3623]3620,3435,2)([3624]3621,3623,3)([3625]7,54,2)([3626]3625,3445,4)([3627]3625,3445,2)([3628]3626,3441,4)([3629]3626,3441,2)([3630]3627,3629,3)([3631]8,54,2)([3632]3631,3451,4)([3633]3631,3451,2)([3634]3632,3447,4)([3635]3632,3447,2)([3636]3633,3635,3)([3637]9,54,2)([3638]3637,3457,4)([3639]3637,3457,2)([3640]3638,3453,4)([3641]3638,3453,2)([3642]3639,3641,3)([3643]10,54,2)([3644]3643,3463,4)([3645]3643,3463,2)([3646]3644,3459,4)([3647]3644,3459,2)([3648]3645,3647,3)([3649]11,54,2)([3650]3649,3469,4)([3651]3649,3469,2)([3652]3650,3465,4)([3653]3650,3465,2)([3654]3651,3653,3)([3655]12,54,2)([3656]3655,3475,4)([3657]3655,3475,2)([3658]3656,3471,4)([3659]3656,3471,2)([3660]3657,3659,3)([3661]13,54,2)([3662]3661,3481,4)([3663]3661,3481,2)([3664]3662,3477,4)([3665]3662,3477,2)([3666]3663,3665,3)([3667]14,54,2)([3668]3667,3487,4)([3669]3667,3487,2)([3670]3668,3483,4)([3671]3668,3483,2)([3672]3669,3671,3)([3673]15,54,2)([3674]3673,3493,4)([3675]3673,3493,2)([3676]3674,3489,4)([3677]3674,3489,2)([3678]3675,3677,3)([3679]16,54,2)([3680]3679,3499,4)([3681]3679,3499,2)([3682]3680,3495,4)([3683]3680,3495,2)([3684]3681,3683,3)([3685]17,54,2)([3686]3685,3505,4)([3687]3685,3505,2)([3688]3686,3501,4)([3689]3686,3501,2)([3690]3687,3689,3)([3691]18,54,2)([3692]3691,3511,4)([3693]3691,3511,2)([3694]3692,3507,4)([3695]3692,3507,2)([3696]3693,3695,3)([3697]19,54,2)([3698]3697,3517,4)([3699]3697,3517,2)([3700]3698,3513,4)([3701]3698,3513,2)([3702]3699,3701,3)([3703]20,54,2)([3704]3703,3523,4)([3705]3703,3523,2)([3706]3704,3519,4)([3707]3704,3519,2)([3708]3705,3707,3)([3709]21,54,2)([3710]3709,3529,4)([3711]3709,3529,2)([3712]3710,3525,4)([3713]3710,3525,2)([3714]3711,3713,3)([3715]22,54,2)([3716]3715,3535,4)([3717]3715,3535,2)([3718]3716,3531,4)([3719]3716,3531,2)([3720]3717,3719,3)([3721]23,54,2)([3722]3721,3541,4)([3723]3721,3541,2)([3724]3722,3537,4)([3725]3722,3537,2)([3726]3723,3725,3)([3727]24,54,2)([3728]3727,3547,4)([3729]3727,3547,2)([3730]3728,3543,4)([3731]3728,3543,2)([3732]3729,3731,3)([3733]25,54,2)([3734]3733,3553,4)([3735]3733,3553,2)([3736]3734,3549,4)([3737]3734,3549,2)([3738]3735,3737,3)([3739]26,54,2)([3740]3739,3559,4)([3741]3739,3559,2)([3742]3740,3555,4)([3743]3740,3555,2)([3744]3741,3743,3)([3745]27,54,2)([3746]3745,3565,4)([3747]3745,3565,2)([3748]3746,3561,4)([3749]3746,3561,2)([3750]3747,3749,3)([3751]28,54,2)([3752]3751,3571,4)([3753]3751,3571,2)([3754]3752,3567,4)([3755]3752,3567,2)([3756]3753,3755,3)([3757]29,54,2)([3758]3757,3577,4)([3759]3757,3577,2)([3760]3758,3573,4)([3761]3758,3573,2)([3762]3759,3761,3)([3763]30,54,2)([3764]3763,3583,4)([3765]3763,3583,2)([3766]3764,3579,4)([3767]3764,3579,2)([3768]3765,3767,3)([3769]31,54,2)([3770]3769,3589,4)([3771]3769,3589,2)([3772]3770,3585,4)([3773]3770,3585,2)([3774]3771,3773,3)([3775]32,54,2)([3776]3775,3593,4)([3777]3775,3593,2)([3778]3776,3591,4)([3779]3776,3591,2)([3780]3777,3779,3)([3781]33,54,5)([3782]3781,3594,4)([3783]3781,3594,2)([3784]2,55,2)([3785]3784,3604,4)([3786]3784,3604,2)([3787]3785,3600,4)([3788]3785,3600,2)([3789]3786,3788,3)([3790]3,55,2)([3791]3790,3610,4)([3792]3790,3610,2)([3793]3791,3606,4)([3794]3791,3606,2)([3795]3792,3794,3)([3796]4,55,2)([3797]3796,3616,4)([3798]3796,3616,2)([3799]3797,3612,4)([3800]3797,3612,2)([3801]3798,3800,3)([3802]5,55,2)([3803]3802,3622,4)([3804]3802,3622,2)([3805]3803,3618,4)([3806]3803,3618,2)([3807]3804,3806,3)([3808]6,55,2)([3809]3808,3628,4)([3810]3808,3628,2)([3811]3809,3624,4)([3812]3809,3624,2)([3813]3810,3812,3)([3814]7,55,2)([3815]3814,3634,4)([3816]3814,3634,2)([3817]3815,3630,4)([3818]3815,3630,2)([3819]3816,3818,3)([3820]8,55,2)([3821]3820,3640,4)([3822]3820,3640,2)([3823]3821,3636,4)([3824]3821,3636,2)([3825]3822,3824,3)([3826]9,55,2)([3827]3826,3646,4)([3828]3826,3646,2)([3829]3827,3642,4)([3830]3827,3642,2)([3831]3828,3830,3)([3832]10,55,2)([3833]3832,3652,4)([3834]3832,3652,2)([3835]3833,3648,4)([3836]3833,3648,2)([3837]3834,3836,3)([3838]11,55,2)([3839]3838,3658,4)([3840]3838,3658,2)([3841]3839,3654,4)([3842]3839,3654,2)([3843]3840,3842,3)([3844]12,55,2)([3845]3844,3664,4)([3846]3844,3664,2)([3847]3845,3660,4)([3848]3845,3660,2)([3849]3846,3848,3)([3850]13,55,2)([3851]3850,3670,4)([3852]3850,3670,2)([3853]3851,3666,4)([3854]3851,3666,2)([3855]3852,3854,3)([3856]14,55,2)([3857]3856,3676,4)([3858]3856,3676,2)([3859]3857,3672,4)([3860]3857,3672,2)([3861]3858,3860,3)([3862]15,55,2)([3863]3862,3682,4)([3864]3862,3682,2)([3865]3863,3678,4)([3866]3863,3678,2)([3867]3864,3866,3)([3868]16,55,2)([3869]3868,3688,4)([3870]3868,3688,2)([3871]3869,3684,4)([3872]3869,3684,2)([3873]3870,3872,3)([3874]17,55,2)([3875]3874,3694,4)([3876]3874,3694,2)([3877]3875,3690,4)([3878]3875,3690,2)([3879]3876,3878,3)([3880]18,55,2)([3881]3880,3700,4)([3882]3880,3700,2)([3883]3881,3696,4)([3884]3881,3696,2)([3885]3882,3884,3)([3886]19,55,2)([3887]3886,3706,4)([3888]3886,3706,2)([3889]3887,3702,4)([3890]3887,3702,2)([3891]3888,3890,3)([3892]20,55,2)([3893]3892,3712,4)([3894]3892,3712,2)([3895]3893,3708,4)([3896]3893,3708,2)([3897]3894,3896,3)([3898]21,55,2)([3899]3898,3718,4)([3900]3898,3718,2)([3901]3899,3714,4)([3902]3899,3714,2)([3903]3900,3902,3)([3904]22,55,2)([3905]3904,3724,4)([3906]3904,3724,2)([3907]3905,3720,4)([3908]3905,3720,2)([3909]3906,3908,3)([3910]23,55,2)([3911]3910,3730,4)([3912]3910,3730,2)([3913]3911,3726,4)([3914]3911,3726,2)([3915]3912,3914,3)([3916]24,55,2)([3917]3916,3736,4)([3918]3916,3736,2)([3919]3917,3732,4)([3920]3917,3732,2)([3921]3918,3920,3)([3922]25,55,2)([3923]3922,3742,4)([3924]3922,3742,2)([3925]3923,3738,4)([3926]3923,3738,2)([3927]3924,3926,3)([3928]26,55,2)([3929]3928,3748,4)([3930]3928,3748,2)([3931]3929,3744,4)([3932]3929,3744,2)([3933]3930,3932,3)([3934]27,55,2)([3935]3934,3754,4)([3936]3934,3754,2)([3937]3935,3750,4)([3938]3935,3750,2)([3939]3936,3938,3)([3940]28,55,2)([3941]3940,3760,4)([3942]3940,3760,2)([3943]3941,3756,4)([3944]3941,3756,2)([3945]3942,3944,3)([3946]29,55,2)([3947]3946,3766,4)([3948]3946,3766,2)([3949]3947,3762,4)([3950]3947,3762,2)([3951]3948,3950,3)([3952]30,55,2)([3953]3952,3772,4)([3954]3952,3772,2)([3955]3953,3768,4)([3956]3953,3768,2)([3957]3954,3956,3)([3958]31,55,2)([3959]3958,3778,4)([3960]3958,3778,2)([3961]3959,3774,4)([3962]3959,3774,2)([3963]3960,3962,3)([3964]32,55,2)([3965]3964,3782,4)([3966]3964,3782,2)([3967]3965,3780,4)([3968]3965,3780,2)([3969]3966,3968,3)([3970]33,55,5)([3971]3970,3783,4)([3972]3970,3783,2)([3973]2,56,2)([3974]3973,3793,4)([3975]3973,3793,2)([3976]3974,3789,4)([3977]3974,3789,2)([3978]3975,3977,3)([3979]3,56,2)([3980]3979,3799,4)([3981]3979,3799,2)([3982]3980,3795,4)([3983]3980,3795,2)([3984]3981,3983,3)([3985]4,56,2)([3986]3985,3805,4)([3987]3985,3805,2)([3988]3986,3801,4)([3989]3986,3801,2)([3990]3987,3989,3)([3991]5,56,2)([3992]3991,3811,4)([3993]3991,3811,2)([3994]3992,3807,4)([3995]3992,3807,2)([3996]3993,3995,3)([3997]6,56,2)([3998]3997,3817,4)([3999]3997,3817,2)([4000]3998,3813,4)([4001]3998,3813,2)([4002]3999,4001,3)([4003]7,56,2)([4004]4003,3823,4)([4005]4003,3823,2)([4006]4004,3819,4)([4007]4004,3819,2)([4008]4005,4007,3)([4009]8,56,2)([4010]4009,3829,4)([4011]4009,3829,2)([4012]4010,3825,4)([4013]4010,3825,2)([4014]4011,4013,3)([4015]9,56,2)([4016]4015,3835,4)([4017]4015,3835,2)([4018]4016,3831,4)([4019]4016,3831,2)([4020]4017,4019,3)([4021]10,56,2)([4022]4021,3841,4)([4023]4021,3841,2)([4024]4022,3837,4)([4025]4022,3837,2)([4026]4023,4025,3)([4027]11,56,2)([4028]4027,3847,4)([4029]4027,3847,2)([4030]4028,3843,4)([4031]4028,3843,2)([4032]4029,4031,3)([4033]12,56,2)([4034]4033,3853,4)([4035]4033,3853,2)([4036]4034,3849,4)([4037]4034,3849,2)([4038]4035,4037,3)([4039]13,56,2)([4040]4039,3859,4)([4041]4039,3859,2)([4042]4040,3855,4)([4043]4040,3855,2)([4044]4041,4043,3)([4045]14,56,2)([4046]4045,3865,4)([4047]4045,3865,2)([4048]4046,3861,4)([4049]4046,3861,2)([4050]4047,4049,3)([4051]15,56,2)([4052]4051,3871,4)([4053]4051,3871,2)([4054]4052,3867,4)([4055]4052,3867,2)([4056]4053,4055,3)([4057]16,56,2)([4058]4057,3877,4)([4059]4057,3877,2)([4060]4058,3873,4)([4061]4058,3873,2)([4062]4059,4061,3)([4063]17,56,2)([4064]4063,3883,4)([4065]4063,3883,2)([4066]4064,3879,4)([4067]4064,3879,2)([4068]4065,4067,3)([4069]18,56,2)([4070]4069,3889,4)([4071]4069,3889,2)([4072]4070,3885,4)([4073]4070,3885,2)([4074]4071,4073,3)([4075]19,56,2)([4076]4075,3895,4)([4077]4075,3895,2)([4078]4076,3891,4)([4079]4076,3891,2)([4080]4077,4079,3)([4081]20,56,2)([4082]4081,3901,4)([4083]4081,3901,2)([4084]4082,3897,4)([4085]4082,3897,2)([4086]4083,4085,3)([4087]21,56,2)([4088]4087,3907,4)([4089]4087,3907,2)([4090]4088,3903,4)([4091]4088,3903,2)([4092]4089,4091,3)([4093]22,56,2)([4094]4093,3913,4)([4095]4093,3913,2)([4096]4094,3909,4)([4097]4094,3909,2)([4098]4095,4097,3)([4099]23,56,2)([4100]4099,3919,4)([4101]4099,3919,2)([4102]4100,3915,4)([4103]4100,3915,2)([4104]4101,4103,3)([4105]24,56,2)([4106]4105,3925,4)([4107]4105,3925,2)([4108]4106,3921,4)([4109]4106,3921,2)([4110]4107,4109,3)([4111]25,56,2)([4112]4111,3931,4)([4113]4111,3931,2)([4114]4112,3927,4)([4115]4112,3927,2)([4116]4113,4115,3)([4117]26,56,2)([4118]4117,3937,4)([4119]4117,3937,2)([4120]4118,3933,4)([4121]4118,3933,2)([4122]4119,4121,3)([4123]27,56,2)([4124]4123,3943,4)([4125]4123,3943,2)([4126]4124,3939,4)([4127]4124,3939,2)([4128]4125,4127,3)([4129]28,56,2)([4130]4129,3949,4)([4131]4129,3949,2)([4132]4130,3945,4)([4133]4130,3945,2)([4134]4131,4133,3)([4135]29,56,2)([4136]4135,3955,4)([4137]4135,3955,2)([4138]4136,3951,4)([4139]4136,3951,2)([4140]4137,4139,3)([4141]30,56,2)([4142]4141,3961,4)([4143]4141,3961,2)([4144]4142,3957,4)([4145]4142,3957,2)([4146]4143,4145,3)([4147]31,56,2)([4148]4147,3967,4)([4149]4147,3967,2)([4150]4148,3963,4)([4151]4148,3963,2)([4152]4149,4151,3)([4153]32,56,2)([4154]4153,3971,4)([4155]4153,3971,2)([4156]4154,3969,4)([4157]4154,3969,2)([4158]4155,4157,3)([4159]33,56,5)([4160]4159,3972,4)([4161]4159,3972,2)([4162]2,57,2)([4163]4162,3982,4)([4164]4162,3982,2)([4165]4163,3978,4)([4166]4163,3978,2)([4167]4164,4166,3)([4168]3,57,2)([4169]4168,3988,4)([4170]4168,3988,2)([4171]4169,3984,4)([4172]4169,3984,2)([4173]4170,4172,3)([4174]4,57,2)([4175]4174,3994,4)([4176]4174,3994,2)([4177]4175,3990,4)([4178]4175,3990,2)([4179]4176,4178,3)([4180]5,57,2)([4181]4180,4000,4)([4182]4180,4000,2)([4183]4181,3996,4)([4184]4181,3996,2)([4185]4182,4184,3)([4186]6,57,2)([4187]4186,4006,4)([4188]4186,4006,2)([4189]4187,4002,4)([4190]4187,4002,2)([4191]4188,4190,3)([4192]7,57,2)([4193]4192,4012,4)([4194]4192,4012,2)([4195]4193,4008,4)([4196]4193,4008,2)([4197]4194,4196,3)([4198]8,57,2)([4199]4198,4018,4)([4200]4198,4018,2)([4201]4199,4014,4)([4202]4199,4014,2)([4203]4200,4202,3)([4204]9,57,2)([4205]4204,4024,4)([4206]4204,4024,2)([4207]4205,4020,4)([4208]4205,4020,2)([4209]4206,4208,3)([4210]10,57,2)([4211]4210,4030,4)([4212]4210,4030,2)([4213]4211,4026,4)([4214]4211,4026,2)([4215]4212,4214,3)([4216]11,57,2)([4217]4216,4036,4)([4218]4216,4036,2)([4219]4217,4032,4)([4220]4217,4032,2)([4221]4218,4220,3)([4222]12,57,2)([4223]4222,4042,4)([4224]4222,4042,2)([4225]4223,4038,4)([4226]4223,4038,2)([4227]4224,4226,3)([4228]13,57,2)([4229]4228,4048,4)([4230]4228,4048,2)([4231]4229,4044,4)([4232]4229,4044,2)([4233]4230,4232,3)([4234]14,57,2)([4235]4234,4054,4)([4236]4234,4054,2)([4237]4235,4050,4)([4238]4235,4050,2)([4239]4236,4238,3)([4240]15,57,2)([4241]4240,4060,4)([4242]4240,4060,2)([4243]4241,4056,4)([4244]4241,4056,2)([4245]4242,4244,3)([4246]16,57,2)([4247]4246,4066,4)([4248]4246,4066,2)([4249]4247,4062,4)([4250]4247,4062,2)([4251]4248,4250,3)([4252]17,57,2)([4253]4252,4072,4)([4254]4252,4072,2)([4255]4253,4068,4)([4256]4253,4068,2)([4257]4254,4256,3)([4258]18,57,2)([4259]4258,4078,4)([4260]4258,4078,2)([4261]4259,4074,4)([4262]4259,4074,2)([4263]4260,4262,3)([4264]19,57,2)([4265]4264,4084,4)([4266]4264,4084,2)([4267]4265,4080,4)([4268]4265,4080,2)([4269]4266,4268,3)([4270]20,57,2)([4271]4270,4090,4)([4272]4270,4090,2)([4273]4271,4086,4)([4274]4271,4086,2)([4275]4272,4274,3)([4276]21,57,2)([4277]4276,4096,4)([4278]4276,4096,2)([4279]4277,4092,4)([4280]4277,4092,2)([4281]4278,4280,3)([4282]22,57,2)([4283]4282,4102,4)([4284]4282,4102,2)([4285]4283,4098,4)([4286]4283,4098,2)([4287]4284,4286,3)([4288]23,57,2)([4289]4288,4108,4)([4290]4288,4108,2)([4291]4289,4104,4)([4292]4289,4104,2)([4293]4290,4292,3)([4294]24,57,2)([4295]4294,4114,4)([4296]4294,4114,2)([4297]4295,4110,4)([4298]4295,4110,2)([4299]4296,4298,3)([4300]25,57,2)([4301]4300,4120,4)([4302]4300,4120,2)([4303]4301,4116,4)([4304]4301,4116,2)([4305]4302,4304,3)([4306]26,57,2)([4307]4306,4126,4)([4308]4306,4126,2)([4309]4307,4122,4)([4310]4307,4122,2)([4311]4308,4310,3)([4312]27,57,2)([4313]4312,4132,4)([4314]4312,4132,2)([4315]4313,4128,4)([4316]4313,4128,2)([4317]4314,4316,3)([4318]28,57,2)([4319]4318,4138,4)([4320]4318,4138,2)([4321]4319,4134,4)([4322]4319,4134,2)([4323]4320,4322,3)([4324]29,57,2)([4325]4324,4144,4)([4326]4324,4144,2)([4327]4325,4140,4)([4328]4325,4140,2)([4329]4326,4328,3)([4330]30,57,2)([4331]4330,4150,4)([4332]4330,4150,2)([4333]4331,4146,4)([4334]4331,4146,2)([4335]4332,4334,3)([4336]31,57,2)([4337]4336,4156,4)([4338]4336,4156,2)([4339]4337,4152,4)([4340]4337,4152,2)([4341]4338,4340,3)([4342]32,57,2)([4343]4342,4160,4)([4344]4342,4160,2)([4345]4343,4158,4)([4346]4343,4158,2)([4347]4344,4346,3)([4348]33,57,5)([4349]4348,4161,4)([4350]4348,4161,2)([4351]2,58,2)([4352]4351,4171,4)([4353]4351,4171,2)([4354]4352,4167,4)([4355]4352,4167,2)([4356]4353,4355,3)([4357]3,58,2)([4358]4357,4177,4)([4359]4357,4177,2)([4360]4358,4173,4)([4361]4358,4173,2)([4362]4359,4361,3)([4363]4,58,2)([4364]4363,4183,4)([4365]4363,4183,2)([4366]4364,4179,4)([4367]4364,4179,2)([4368]4365,4367,3)([4369]5,58,2)([4370]4369,4189,4)([4371]4369,4189,2)([4372]4370,4185,4)([4373]4370,4185,2)([4374]4371,4373,3)([4375]6,58,2)([4376]4375,4195,4)([4377]4375,4195,2)([4378]4376,4191,4)([4379]4376,4191,2)([4380]4377,4379,3)([4381]7,58,2)([4382]4381,4201,4)([4383]4381,4201,2)([4384]4382,4197,4)([4385]4382,4197,2)([4386]4383,4385,3)([4387]8,58,2)([4388]4387,4207,4)([4389]4387,4207,2)([4390]4388,4203,4)([4391]4388,4203,2)([4392]4389,4391,3)([4393]9,58,2)([4394]4393,4213,4)([4395]4393,4213,2)([4396]4394,4209,4)([4397]4394,4209,2)([4398]4395,4397,3)([4399]10,58,2)([4400]4399,4219,4)([4401]4399,4219,2)([4402]4400,4215,4)([4403]4400,4215,2)([4404]4401,4403,3)([4405]11,58,2)([4406]4405,4225,4)([4407]4405,4225,2)([4408]4406,4221,4)([4409]4406,4221,2)([4410]4407,4409,3)([4411]12,58,2)([4412]4411,4231,4)([4413]4411,4231,2)([4414]4412,4227,4)([4415]4412,4227,2)([4416]4413,4415,3)([4417]13,58,2)([4418]4417,4237,4)([4419]4417,4237,2)([4420]4418,4233,4)([4421]4418,4233,2)([4422]4419,4421,3)([4423]14,58,2)([4424]4423,4243,4)([4425]4423,4243,2)([4426]4424,4239,4)([4427]4424,4239,2)([4428]4425,4427,3)([4429]15,58,2)([4430]4429,4249,4)([4431]4429,4249,2)([4432]4430,4245,4)([4433]4430,4245,2)([4434]4431,4433,3)([4435]16,58,2)([4436]4435,4255,4)([4437]4435,4255,2)([4438]4436,4251,4)([4439]4436,4251,2)([4440]4437,4439,3)([4441]17,58,2)([4442]4441,4261,4)([4443]4441,4261,2)([4444]4442,4257,4)([4445]4442,4257,2)([4446]4443,4445,3)([4447]18,58,2)([4448]4447,4267,4)([4449]4447,4267,2)([4450]4448,4263,4)([4451]4448,4263,2)([4452]4449,4451,3)([4453]19,58,2)([4454]4453,4273,4)([4455]4453,4273,2)([4456]4454,4269,4)([4457]4454,4269,2)([4458]4455,4457,3)([4459]20,58,2)([4460]4459,4279,4)([4461]4459,4279,2)([4462]4460,4275,4)([4463]4460,4275,2)([4464]4461,4463,3)([4465]21,58,2)([4466]4465,4285,4)([4467]4465,4285,2)([4468]4466,4281,4)([4469]4466,4281,2)([4470]4467,4469,3)([4471]22,58,2)([4472]4471,4291,4)([4473]4471,4291,2)([4474]4472,4287,4)([4475]4472,4287,2)([4476]4473,4475,3)([4477]23,58,2)([4478]4477,4297,4)([4479]4477,4297,2)([4480]4478,4293,4)([4481]4478,4293,2)([4482]4479,4481,3)([4483]24,58,2)([4484]4483,4303,4)([4485]4483,4303,2)([4486]4484,4299,4)([4487]4484,4299,2)([4488]4485,4487,3)([4489]25,58,2)([4490]4489,4309,4)([4491]4489,4309,2)([4492]4490,4305,4)([4493]4490,4305,2)([4494]4491,4493,3)([4495]26,58,2)([4496]4495,4315,4)([4497]4495,4315,2)([4498]4496,4311,4)([4499]4496,4311,2)([4500]4497,4499,3)([4501]27,58,2)([4502]4501,4321,4)([4503]4501,4321,2)([4504]4502,4317,4)([4505]4502,4317,2)([4506]4503,4505,3)([4507]28,58,2)([4508]4507,4327,4)([4509]4507,4327,2)([4510]4508,4323,4)([4511]4508,4323,2)([4512]4509,4511,3)([4513]29,58,2)([4514]4513,4333,4)([4515]4513,4333,2)([4516]4514,4329,4)([4517]4514,4329,2)([4518]4515,4517,3)([4519]30,58,2)([4520]4519,4339,4)([4521]4519,4339,2)([4522]4520,4335,4)([4523]4520,4335,2)([4524]4521,4523,3)([4525]31,58,2)([4526]4525,4345,4)([4527]4525,4345,2)([4528]4526,4341,4)([4529]4526,4341,2)([4530]4527,4529,3)([4531]32,58,2)([4532]4531,4349,4)([4533]4531,4349,2)([4534]4532,4347,4)([4535]4532,4347,2)([4536]4533,4535,3)([4537]33,58,5)([4538]4537,4350,4)([4539]4537,4350,2)([4540]2,59,2)([4541]4540,4360,4)([4542]4540,4360,2)([4543]4541,4356,4)([4544]4541,4356,2)([4545]4542,4544,3)([4546]3,59,2)([4547]4546,4366,4)([4548]4546,4366,2)([4549]4547,4362,4)([4550]4547,4362,2)([4551]4548,4550,3)([4552]4,59,2)([4553]4552,4372,4)([4554]4552,4372,2)([4555]4553,4368,4)([4556]4553,4368,2)([4557]4554,4556,3)([4558]5,59,2)([4559]4558,4378,4)([4560]4558,4378,2)([4561]4559,4374,4)([4562]4559,4374,2)([4563]4560,4562,3)([4564]6,59,2)([4565]4564,4384,4)([4566]4564,4384,2)([4567]4565,4380,4)([4568]4565,4380,2)([4569]4566,4568,3)([4570]7,59,2)([4571]4570,4390,4)([4572]4570,4390,2)([4573]4571,4386,4)([4574]4571,4386,2)([4575]4572,4574,3)([4576]8,59,2)([4577]4576,4396,4)([4578]4576,4396,2)([4579]4577,4392,4)([4580]4577,4392,2)([4581]4578,4580,3)([4582]9,59,2)([4583]4582,4402,4)([4584]4582,4402,2)([4585]4583,4398,4)([4586]4583,4398,2)([4587]4584,4586,3)([4588]10,59,2)([4589]4588,4408,4)([4590]4588,4408,2)([4591]4589,4404,4)([4592]4589,4404,2)([4593]4590,4592,3)([4594]11,59,2)([4595]4594,4414,4)([4596]4594,4414,2)([4597]4595,4410,4)([4598]4595,4410,2)([4599]4596,4598,3)([4600]12,59,2)([4601]4600,4420,4)([4602]4600,4420,2)([4603]4601,4416,4)([4604]4601,4416,2)([4605]4602,4604,3)([4606]13,59,2)([4607]4606,4426,4)([4608]4606,4426,2)([4609]4607,4422,4)([4610]4607,4422,2)([4611]4608,4610,3)([4612]14,59,2)([4613]4612,4432,4)([4614]4612,4432,2)([4615]4613,4428,4)([4616]4613,4428,2)([4617]4614,4616,3)([4618]15,59,2)([4619]4618,4438,4)([4620]4618,4438,2)([4621]4619,4434,4)([4622]4619,4434,2)([4623]4620,4622,3)([4624]16,59,2)([4625]4624,4444,4)([4626]4624,4444,2)([4627]4625,4440,4)([4628]4625,4440,2)([4629]4626,4628,3)([4630]17,59,2)([4631]4630,4450,4)([4632]4630,4450,2)([4633]4631,4446,4)([4634]4631,4446,2)([4635]4632,4634,3)([4636]18,59,2)([4637]4636,4456,4)([4638]4636,4456,2)([4639]4637,4452,4)([4640]4637,4452,2)([4641]4638,4640,3)([4642]19,59,2)([4643]4642,4462,4)([4644]4642,4462,2)([4645]4643,4458,4)([4646]4643,4458,2)([4647]4644,4646,3)([4648]20,59,2)([4649]4648,4468,4)([4650]4648,4468,2)([4651]4649,4464,4)([4652]4649,4464,2)([4653]4650,4652,3)([4654]21,59,2)([4655]4654,4474,4)([4656]4654,4474,2)([4657]4655,4470,4)([4658]4655,4470,2)([4659]4656,4658,3)([4660]22,59,2)([4661]4660,4480,4)([4662]4660,4480,2)([4663]4661,4476,4)([4664]4661,4476,2)([4665]4662,4664,3)([4666]23,59,2)([4667]4666,4486,4)([4668]4666,4486,2)([4669]4667,4482,4)([4670]4667,4482,2)([4671]4668,4670,3)([4672]24,59,2)([4673]4672,4492,4)([4674]4672,4492,2)([4675]4673,4488,4)([4676]4673,4488,2)([4677]4674,4676,3)([4678]25,59,2)([4679]4678,4498,4)([4680]4678,4498,2)([4681]4679,4494,4)([4682]4679,4494,2)([4683]4680,4682,3)([4684]26,59,2)([4685]4684,4504,4)([4686]4684,4504,2)([4687]4685,4500,4)([4688]4685,4500,2)([4689]4686,4688,3)([4690]27,59,2)([4691]4690,4510,4)([4692]4690,4510,2)([4693]4691,4506,4)([4694]4691,4506,2)([4695]4692,4694,3)([4696]28,59,2)([4697]4696,4516,4)([4698]4696,4516,2)([4699]4697,4512,4)([4700]4697,4512,2)([4701]4698,4700,3)([4702]29,59,2)([4703]4702,4522,4)([4704]4702,4522,2)([4705]4703,4518,4)([4706]4703,4518,2)([4707]4704,4706,3)([4708]30,59,2)([4709]4708,4528,4)([4710]4708,4528,2)([4711]4709,4524,4)([4712]4709,4524,2)([4713]4710,4712,3)([4714]31,59,2)([4715]4714,4534,4)([4716]4714,4534,2)([4717]4715,4530,4)([4718]4715,4530,2)([4719]4716,4718,3)([4720]32,59,2)([4721]4720,4538,4)([4722]4720,4538,2)([4723]4721,4536,4)([4724]4721,4536,2)([4725]4722,4724,3)([4726]33,59,5)([4727]4726,4539,4)([4728]4726,4539,2)([4729]2,60,2)([4730]4729,4549,4)([4731]4729,4549,2)([4732]4730,4545,4)([4733]4730,4545,2)([4734]4731,4733,3)([4735]3,60,2)([4736]4735,4555,4)([4737]4735,4555,2)([4738]4736,4551,4)([4739]4736,4551,2)([4740]4737,4739,3)([4741]4,60,2)([4742]4741,4561,4)([4743]4741,4561,2)([4744]4742,4557,4)([4745]4742,4557,2)([4746]4743,4745,3)([4747]5,60,2)([4748]4747,4567,4)([4749]4747,4567,2)([4750]4748,4563,4)([4751]4748,4563,2)([4752]4749,4751,3)([4753]6,60,2)([4754]4753,4573,4)([4755]4753,4573,2)([4756]4754,4569,4)([4757]4754,4569,2)([4758]4755,4757,3)([4759]7,60,2)([4760]4759,4579,4)([4761]4759,4579,2)([4762]4760,4575,4)([4763]4760,4575,2)([4764]4761,4763,3)([4765]8,60,2)([4766]4765,4585,4)([4767]4765,4585,2)([4768]4766,4581,4)([4769]4766,4581,2)([4770]4767,4769,3)([4771]9,60,2)([4772]4771,4591,4)([4773]4771,4591,2)([4774]4772,4587,4)([4775]4772,4587,2)([4776]4773,4775,3)([4777]10,60,2)([4778]4777,4597,4)([4779]4777,4597,2)([4780]4778,4593,4)([4781]4778,4593,2)([4782]4779,4781,3)([4783]11,60,2)([4784]4783,4603,4)([4785]4783,4603,2)([4786]4784,4599,4)([4787]4784,4599,2)([4788]4785,4787,3)([4789]12,60,2)([4790]4789,4609,4)([4791]4789,4609,2)([4792]4790,4605,4)([4793]4790,4605,2)([4794]4791,4793,3)([4795]13,60,2)([4796]4795,4615,4)([4797]4795,4615,2)([4798]4796,4611,4)([4799]4796,4611,2)([4800]4797,4799,3)([4801]14,60,2)([4802]4801,4621,4)([4803]4801,4621,2)([4804]4802,4617,4)([4805]4802,4617,2)([4806]4803,4805,3)([4807]15,60,2)([4808]4807,4627,4)([4809]4807,4627,2)([4810]4808,4623,4)([4811]4808,4623,2)([4812]4809,4811,3)([4813]16,60,2)([4814]4813,4633,4)([4815]4813,4633,2)([4816]4814,4629,4)([4817]4814,4629,2)([4818]4815,4817,3)([4819]17,60,2)([4820]4819,4639,4)([4821]4819,4639,2)([4822]4820,4635,4)([4823]4820,4635,2)([4824]4821,4823,3)([4825]18,60,2)([4826]4825,4645,4)([4827]4825,4645,2)([4828]4826,4641,4)([4829]4826,4641,2)([4830]4827,4829,3)([4831]19,60,2)([4832]4831,4651,4)([4833]4831,4651,2)([4834]4832,4647,4)([4835]4832,4647,2)([4836]4833,4835,3)([4837]20,60,2)([4838]4837,4657,4)([4839]4837,4657,2)([4840]4838,4653,4)([4841]4838,4653,2)([4842]4839,4841,3)([4843]21,60,2)([4844]4843,4663,4)([4845]4843,4663,2)([4846]4844,4659,4)([4847]4844,4659,2)([4848]4845,4847,3)([4849]22,60,2)([4850]4849,4669,4)([4851]4849,4669,2)([4852]4850,4665,4)([4853]4850,4665,2)([4854]4851,4853,3)([4855]23,60,2)([4856]4855,4675,4)([4857]4855,4675,2)([4858]4856,4671,4)([4859]4856,4671,2)([4860]4857,4859,3)([4861]24,60,2)([4862]4861,4681,4)([4863]4861,4681,2)([4864]4862,4677,4)([4865]4862,4677,2)([4866]4863,4865,3)([4867]25,60,2)([4868]4867,4687,4)([4869]4867,4687,2)([4870]4868,4683,4)([4871]4868,4683,2)([4872]4869,4871,3)([4873]26,60,2)([4874]4873,4693,4)([4875]4873,4693,2)([4876]4874,4689,4)([4877]4874,4689,2)([4878]4875,4877,3)([4879]27,60,2)([4880]4879,4699,4)([4881]4879,4699,2)([4882]4880,4695,4)([4883]4880,4695,2)([4884]4881,4883,3)([4885]28,60,2)([4886]4885,4705,4)([4887]4885,4705,2)([4888]4886,4701,4)([4889]4886,4701,2)([4890]4887,4889,3)([4891]29,60,2)([4892]4891,4711,4)([4893]4891,4711,2)([4894]4892,4707,4)([4895]4892,4707,2)([4896]4893,4895,3)([4897]30,60,2)([4898]4897,4717,4)([4899]4897,4717,2)([4900]4898,4713,4)([4901]4898,4713,2)([4902]4899,4901,3)([4903]31,60,2)([4904]4903,4723,4)([4905]4903,4723,2)([4906]4904,4719,4)([4907]4904,4719,2)([4908]4905,4907,3)([4909]32,60,2)([4910]4909,4727,4)([4911]4909,4727,2)([4912]4910,4725,4)([4913]4910,4725,2)([4914]4911,4913,3)([4915]33,60,5)([4916]4915,4728,4)([4917]4915,4728,2)([4918]2,61,2)([4919]4918,4738,4)([4920]4918,4738,2)([4921]4919,4734,4)([4922]4919,4734,2)([4923]4920,4922,3)([4924]3,61,2)([4925]4924,4744,4)([4926]4924,4744,2)([4927]4925,4740,4)([4928]4925,4740,2)([4929]4926,4928,3)([4930]4,61,2)([4931]4930,4750,4)([4932]4930,4750,2)([4933]4931,4746,4)([4934]4931,4746,2)([4935]4932,4934,3)([4936]5,61,2)([4937]4936,4756,4)([4938]4936,4756,2)([4939]4937,4752,4)([4940]4937,4752,2)([4941]4938,4940,3)([4942]6,61,2)([4943]4942,4762,4)([4944]4942,4762,2)([4945]4943,4758,4)([4946]4943,4758,2)([4947]4944,4946,3)([4948]7,61,2)([4949]4948,4768,4)([4950]4948,4768,2)([4951]4949,4764,4)([4952]4949,4764,2)([4953]4950,4952,3)([4954]8,61,2)([4955]4954,4774,4)([4956]4954,4774,2)([4957]4955,4770,4)([4958]4955,4770,2)([4959]4956,4958,3)([4960]9,61,2)([4961]4960,4780,4)([4962]4960,4780,2)([4963]4961,4776,4)([4964]4961,4776,2)([4965]4962,4964,3)([4966]10,61,2)([4967]4966,4786,4)([4968]4966,4786,2)([4969]4967,4782,4)([4970]4967,4782,2)([4971]4968,4970,3)([4972]11,61,2)([4973]4972,4792,4)([4974]4972,4792,2)([4975]4973,4788,4)([4976]4973,4788,2)([4977]4974,4976,3)([4978]12,61,2)([4979]4978,4798,4)([4980]4978,4798,2)([4981]4979,4794,4)([4982]4979,4794,2)([4983]4980,4982,3)([4984]13,61,2)([4985]4984,4804,4)([4986]4984,4804,2)([4987]4985,4800,4)([4988]4985,4800,2)([4989]4986,4988,3)([4990]14,61,2)([4991]4990,4810,4)([4992]4990,4810,2)([4993]4991,4806,4)([4994]4991,4806,2)([4995]4992,4994,3)([4996]15,61,2)([4997]4996,4816,4)([4998]4996,4816,2)([4999]4997,4812,4)([5000]4997,4812,2)([5001]4998,5000,3)([5002]16,61,2)([5003]5002,4822,4)([5004]5002,4822,2)([5005]5003,4818,4)([5006]5003,4818,2)([5007]5004,5006,3)([5008]17,61,2)([5009]5008,4828,4)([5010]5008,4828,2)([5011]5009,4824,4)([5012]5009,4824,2)([5013]5010,5012,3)([5014]18,61,2)([5015]5014,4834,4)([5016]5014,4834,2)([5017]5015,4830,4)([5018]5015,4830,2)([5019]5016,5018,3)([5020]19,61,2)([5021]5020,4840,4)([5022]5020,4840,2)([5023]5021,4836,4)([5024]5021,4836,2)([5025]5022,5024,3)([5026]20,61,2)([5027]5026,4846,4)([5028]5026,4846,2)([5029]5027,4842,4)([5030]5027,4842,2)([5031]5028,5030,3)([5032]21,61,2)([5033]5032,4852,4)([5034]5032,4852,2)([5035]5033,4848,4)([5036]5033,4848,2)([5037]5034,5036,3)([5038]22,61,2)([5039]5038,4858,4)([5040]5038,4858,2)([5041]5039,4854,4)([5042]5039,4854,2)([5043]5040,5042,3)([5044]23,61,2)([5045]5044,4864,4)([5046]5044,4864,2)([5047]5045,4860,4)([5048]5045,4860,2)([5049]5046,5048,3)([5050]24,61,2)([5051]5050,4870,4)([5052]5050,4870,2)([5053]5051,4866,4)([5054]5051,4866,2)([5055]5052,5054,3)([5056]25,61,2)([5057]5056,4876,4)([5058]5056,4876,2)([5059]5057,4872,4)([5060]5057,4872,2)([5061]5058,5060,3)([5062]26,61,2)([5063]5062,4882,4)([5064]5062,4882,2)([5065]5063,4878,4)([5066]5063,4878,2)([5067]5064,5066,3)([5068]27,61,2)([5069]5068,4888,4)([5070]5068,4888,2)([5071]5069,4884,4)([5072]5069,4884,2)([5073]5070,5072,3)([5074]28,61,2)([5075]5074,4894,4)([5076]5074,4894,2)([5077]5075,4890,4)([5078]5075,4890,2)([5079]5076,5078,3)([5080]29,61,2)([5081]5080,4900,4)([5082]5080,4900,2)([5083]5081,4896,4)([5084]5081,4896,2)([5085]5082,5084,3)([5086]30,61,2)([5087]5086,4906,4)([5088]5086,4906,2)([5089]5087,4902,4)([5090]5087,4902,2)([5091]5088,5090,3)([5092]31,61,2)([5093]5092,4912,4)([5094]5092,4912,2)([5095]5093,4908,4)([5096]5093,4908,2)([5097]5094,5096,3)([5098]32,61,2)([5099]5098,4916,4)([5100]5098,4916,2)([5101]5099,4914,4)([5102]5099,4914,2)([5103]5100,5102,3)([5104]33,61,5)([5105]5104,4917,4)([5106]5104,4917,2)([5107]2,62,2)([5108]5107,4927,4)([5109]5107,4927,2)([5110]5108,4923,4)([5111]5108,4923,2)([5112]5109,5111,3)([5113]3,62,2)([5114]5113,4933,4)([5115]5113,4933,2)([5116]5114,4929,4)([5117]5114,4929,2)([5118]5115,5117,3)([5119]4,62,2)([5120]5119,4939,4)([5121]5119,4939,2)([5122]5120,4935,4)([5123]5120,4935,2)([5124]5121,5123,3)([5125]5,62,2)([5126]5125,4945,4)([5127]5125,4945,2)([5128]5126,4941,4)([5129]5126,4941,2)([5130]5127,5129,3)([5131]6,62,2)([5132]5131,4951,4)([5133]5131,4951,2)([5134]5132,4947,4)([5135]5132,4947,2)([5136]5133,5135,3)([5137]7,62,2)([5138]5137,4957,4)([5139]5137,4957,2)([5140]5138,4953,4)([5141]5138,4953,2)([5142]5139,5141,3)([5143]8,62,2)([5144]5143,4963,4)([5145]5143,4963,2)([5146]5144,4959,4)([5147]5144,4959,2)([5148]5145,5147,3)([5149]9,62,2)([5150]5149,4969,4)([5151]5149,4969,2)([5152]5150,4965,4)([5153]5150,4965,2)([5154]5151,5153,3)([5155]10,62,2)([5156]5155,4975,4)([5157]5155,4975,2)([5158]5156,4971,4)([5159]5156,4971,2)([5160]5157,5159,3)([5161]11,62,2)([5162]5161,4981,4)([5163]5161,4981,2)([5164]5162,4977,4)([5165]5162,4977,2)([5166]5163,5165,3)([5167]12,62,2)([5168]5167,4987,4)([5169]5167,4987,2)([5170]5168,4983,4)([5171]5168,4983,2)([5172]5169,5171,3)([5173]13,62,2)([5174]5173,4993,4)([5175]5173,4993,2)([5176]5174,4989,4)([5177]5174,4989,2)([5178]5175,5177,3)([5179]14,62,2)([5180]5179,4999,4)([5181]5179,4999,2)([5182]5180,4995,4)([5183]5180,4995,2)([5184]5181,5183,3)([5185]15,62,2)([5186]5185,5005,4)([5187]5185,5005,2)([5188]5186,5001,4)([5189]5186,5001,2)([5190]5187,5189,3)([5191]16,62,2)([5192]5191,5011,4)([5193]5191,5011,2)([5194]5192,5007,4)([5195]5192,5007,2)([5196]5193,5195,3)([5197]17,62,2)([5198]5197,5017,4)([5199]5197,5017,2)([5200]5198,5013,4)([5201]5198,5013,2)([5202]5199,5201,3)([5203]18,62,2)([5204]5203,5023,4)([5205]5203,5023,2)([5206]5204,5019,4)([5207]5204,5019,2)([5208]5205,5207,3)([5209]19,62,2)([5210]5209,5029,4)([5211]5209,5029,2)([5212]5210,5025,4)([5213]5210,5025,2)([5214]5211,5213,3)([5215]20,62,2)([5216]5215,5035,4)([5217]5215,5035,2)([5218]5216,5031,4)([5219]5216,5031,2)([5220]5217,5219,3)([5221]21,62,2)([5222]5221,5041,4)([5223]5221,5041,2)([5224]5222,5037,4)([5225]5222,5037,2)([5226]5223,5225,3)([5227]22,62,2)([5228]5227,5047,4)([5229]5227,5047,2)([5230]5228,5043,4)([5231]5228,5043,2)([5232]5229,5231,3)([5233]23,62,2)([5234]5233,5053,4)([5235]5233,5053,2)([5236]5234,5049,4)([5237]5234,5049,2)([5238]5235,5237,3)([5239]24,62,2)([5240]5239,5059,4)([5241]5239,5059,2)([5242]5240,5055,4)([5243]5240,5055,2)([5244]5241,5243,3)([5245]25,62,2)([5246]5245,5065,4)([5247]5245,5065,2)([5248]5246,5061,4)([5249]5246,5061,2)([5250]5247,5249,3)([5251]26,62,2)([5252]5251,5071,4)([5253]5251,5071,2)([5254]5252,5067,4)([5255]5252,5067,2)([5256]5253,5255,3)([5257]27,62,2)([5258]5257,5077,4)([5259]5257,5077,2)([5260]5258,5073,4)([5261]5258,5073,2)([5262]5259,5261,3)([5263]28,62,2)([5264]5263,5083,4)([5265]5263,5083,2)([5266]5264,5079,4)([5267]5264,5079,2)([5268]5265,5267,3)([5269]29,62,2)([5270]5269,5089,4)([5271]5269,5089,2)([5272]5270,5085,4)([5273]5270,5085,2)([5274]5271,5273,3)([5275]30,62,2)([5276]5275,5095,4)([5277]5275,5095,2)([5278]5276,5091,4)([5279]5276,5091,2)([5280]5277,5279,3)([5281]31,62,2)([5282]5281,5101,4)([5283]5281,5101,2)([5284]5282,5097,4)([5285]5282,5097,2)([5286]5283,5285,3)([5287]32,62,2)([5288]5287,5105,4)([5289]5287,5105,2)([5290]5288,5103,4)([5291]5288,5103,2)([5292]5289,5291,3)([5293]33,62,5)([5294]5293,5106,4)([5295]5293,5106,2)([5296]2,63,2)([5297]5296,5116,4)([5298]5296,5116,2)([5299]5297,5112,4)([5300]5297,5112,2)([5301]5298,5300,3)([5302]3,63,2)([5303]5302,5122,4)([5304]5302,5122,2)([5305]5303,5118,4)([5306]5303,5118,2)([5307]5304,5306,3)([5308]4,63,2)([5309]5308,5128,4)([5310]5308,5128,2)([5311]5309,5124,4)([5312]5309,5124,2)([5313]5310,5312,3)([5314]5,63,2)([5315]5314,5134,4)([5316]5314,5134,2)([5317]5315,5130,4)([5318]5315,5130,2)([5319]5316,5318,3)([5320]6,63,2)([5321]5320,5140,4)([5322]5320,5140,2)([5323]5321,5136,4)([5324]5321,5136,2)([5325]5322,5324,3)([5326]7,63,2)([5327]5326,5146,4)([5328]5326,5146,2)([5329]5327,5142,4)([5330]5327,5142,2)([5331]5328,5330,3)([5332]8,63,2)([5333]5332,5152,4)([5334]5332,5152,2)([5335]5333,5148,4)([5336]5333,5148,2)([5337]5334,5336,3)([5338]9,63,2)([5339]5338,5158,4)([5340]5338,5158,2)([5341]5339,5154,4)([5342]5339,5154,2)([5343]5340,5342,3)([5344]10,63,2)([5345]5344,5164,4)([5346]5344,5164,2)([5347]5345,5160,4)([5348]5345,5160,2)([5349]5346,5348,3)([5350]11,63,2)([5351]5350,5170,4)([5352]5350,5170,2)([5353]5351,5166,4)([5354]5351,5166,2)([5355]5352,5354,3)([5356]12,63,2)([5357]5356,5176,4)([5358]5356,5176,2)([5359]5357,5172,4)([5360]5357,5172,2)([5361]5358,5360,3)([5362]13,63,2)([5363]5362,5182,4)([5364]5362,5182,2)([5365]5363,5178,4)([5366]5363,5178,2)([5367]5364,5366,3)([5368]14,63,2)([5369]5368,5188,4)([5370]5368,5188,2)([5371]5369,5184,4)([5372]5369,5184,2)([5373]5370,5372,3)([5374]15,63,2)([5375]5374,5194,4)([5376]5374,5194,2)([5377]5375,5190,4)([5378]5375,5190,2)([5379]5376,5378,3)([5380]16,63,2)([5381]5380,5200,4)([5382]5380,5200,2)([5383]5381,5196,4)([5384]5381,5196,2)([5385]5382,5384,3)([5386]17,63,2)([5387]5386,5206,4)([5388]5386,5206,2)([5389]5387,5202,4)([5390]5387,5202,2)([5391]5388,5390,3)([5392]18,63,2)([5393]5392,5212,4)([5394]5392,5212,2)([5395]5393,5208,4)([5396]5393,5208,2)([5397]5394,5396,3)([5398]19,63,2)([5399]5398,5218,4)([5400]5398,5218,2)([5401]5399,5214,4)([5402]5399,5214,2)([5403]5400,5402,3)([5404]20,63,2)([5405]5404,5224,4)([5406]5404,5224,2)([5407]5405,5220,4)([5408]5405,5220,2)([5409]5406,5408,3)([5410]21,63,2)([5411]5410,5230,4)([5412]5410,5230,2)([5413]5411,5226,4)([5414]5411,5226,2)([5415]5412,5414,3)([5416]22,63,2)([5417]5416,5236,4)([5418]5416,5236,2)([5419]5417,5232,4)([5420]5417,5232,2)([5421]5418,5420,3)([5422]23,63,2)([5423]5422,5242,4)([5424]5422,5242,2)([5425]5423,5238,4)([5426]5423,5238,2)([5427]5424,5426,3)([5428]24,63,2)([5429]5428,5248,4)([5430]5428,5248,2)([5431]5429,5244,4)([5432]5429,5244,2)([5433]5430,5432,3)([5434]25,63,2)([5435]5434,5254,4)([5436]5434,5254,2)([5437]5435,5250,4)([5438]5435,5250,2)([5439]5436,5438,3)([5440]26,63,2)([5441]5440,5260,4)([5442]5440,5260,2)([5443]5441,5256,4)([5444]5441,5256,2)([5445]5442,5444,3)([5446]27,63,2)([5447]5446,5266,4)([5448]5446,5266,2)([5449]5447,5262,4)([5450]5447,5262,2)([5451]5448,5450,3)([5452]28,63,2)([5453]5452,5272,4)([5454]5452,5272,2)([5455]5453,5268,4)([5456]5453,5268,2)([5457]5454,5456,3)([5458]29,63,2)([5459]5458,5278,4)([5460]5458,5278,2)([5461]5459,5274,4)([5462]5459,5274,2)([5463]5460,5462,3)([5464]30,63,2)([5465]5464,5284,4)([5466]5464,5284,2)([5467]5465,5280,4)([5468]5465,5280,2)([5469]5466,5468,3)([5470]31,63,2)([5471]5470,5290,4)([5472]5470,5290,2)([5473]5471,5286,4)([5474]5471,5286,2)([5475]5472,5474,3)([5476]32,63,2)([5477]5476,5294,4)([5478]5476,5294,2)([5479]5477,5292,4)([5480]5477,5292,2)([5481]5478,5480,3)([5482]33,63,5)([5483]5482,5295,4)([5484]5482,5295,2)([5485]2,64,2)([5486]5485,5305,4)([5487]5485,5305,2)([5488]5486,5301,4)([5489]5486,5301,2)([5490]5487,5489,3)([5491]3,64,2)([5492]5491,5311,4)([5493]5491,5311,2)([5494]5492,5307,4)([5495]5492,5307,2)([5496]5493,5495,3)([5497]4,64,2)([5498]5497,5317,4)([5499]5497,5317,2)([5500]5498,5313,4)([5501]5498,5313,2)([5502]5499,5501,3)([5503]5,64,2)([5504]5503,5323,4)([5505]5503,5323,2)([5506]5504,5319,4)([5507]5504,5319,2)([5508]5505,5507,3)([5509]6,64,2)([5510]5509,5329,4)([5511]5509,5329,2)([5512]5510,5325,4)([5513]5510,5325,2)([5514]5511,5513,3)([5515]7,64,2)([5516]5515,5335,4)([5517]5515,5335,2)([5518]5516,5331,4)([5519]5516,5331,2)([5520]5517,5519,3)([5521]8,64,2)([5522]5521,5341,4)([5523]5521,5341,2)([5524]5522,5337,4)([5525]5522,5337,2)([5526]5523,5525,3)([5527]9,64,2)([5528]5527,5347,4)([5529]5527,5347,2)([5530]5528,5343,4)([5531]5528,5343,2)([5532]5529,5531,3)([5533]10,64,2)([5534]5533,5353,4)([5535]5533,5353,2)([5536]5534,5349,4)([5537]5534,5349,2)([5538]5535,5537,3)([5539]11,64,2)([5540]5539,5359,4)([5541]5539,5359,2)([5542]5540,5355,4)([5543]5540,5355,2)([5544]5541,5543,3)([5545]12,64,2)([5546]5545,5365,4)([5547]5545,5365,2)([5548]5546,5361,4)([5549]5546,5361,2)([5550]5547,5549,3)([5551]13,64,2)([5552]5551,5371,4)([5553]5551,5371,2)([5554]5552,5367,4)([5555]5552,5367,2)([5556]5553,5555,3)([5557]14,64,2)([5558]5557,5377,4)([5559]5557,5377,2)([5560]5558,5373,4)([5561]5558,5373,2)([5562]5559,5561,3)([5563]15,64,2)([5564]5563,5383,4)([5565]5563,5383,2)([5566]5564,5379,4)([5567]5564,5379,2)([5568]5565,5567,3)([5569]16,64,2)([5570]5569,5389,4)([5571]5569,5389,2)([5572]5570,5385,4)([5573]5570,5385,2)([5574]5571,5573,3)([5575]17,64,2)([5576]5575,5395,4)([5577]5575,5395,2)([5578]5576,5391,4)([5579]5576,5391,2)([5580]5577,5579,3)([5581]18,64,2)([5582]5581,5401,4)([5583]5581,5401,2)([5584]5582,5397,4)([5585]5582,5397,2)([5586]5583,5585,3)([5587]19,64,2)([5588]5587,5407,4)([5589]5587,5407,2)([5590]5588,5403,4)([5591]5588,5403,2)([5592]5589,5591,3)([5593]20,64,2)([5594]5593,5413,4)([5595]5593,5413,2)([5596]5594,5409,4)([5597]5594,5409,2)([5598]5595,5597,3)([5599]21,64,2)([5600]5599,5419,4)([5601]5599,5419,2)([5602]5600,5415,4)([5603]5600,5415,2)([5604]5601,5603,3)([5605]22,64,2)([5606]5605,5425,4)([5607]5605,5425,2)([5608]5606,5421,4)([5609]5606,5421,2)([5610]5607,5609,3)([5611]23,64,2)([5612]5611,5431,4)([5613]5611,5431,2)([5614]5612,5427,4)([5615]5612,5427,2)([5616]5613,5615,3)([5617]24,64,2)([5618]5617,5437,4)([5619]5617,5437,2)([5620]5618,5433,4)([5621]5618,5433,2)([5622]5619,5621,3)([5623]25,64,2)([5624]5623,5443,4)([5625]5623,5443,2)([5626]5624,5439,4)([5627]5624,5439,2)([5628]5625,5627,3)([5629]26,64,2)([5630]5629,5449,4)([5631]5629,5449,2)([5632]5630,5445,4)([5633]5630,5445,2)([5634]5631,5633,3)([5635]27,64,2)([5636]5635,5455,4)([5637]5635,5455,2)([5638]5636,5451,4)([5639]5636,5451,2)([5640]5637,5639,3)([5641]28,64,2)([5642]5641,5461,4)([5643]5641,5461,2)([5644]5642,5457,4)([5645]5642,5457,2)([5646]5643,5645,3)([5647]29,64,2)([5648]5647,5467,4)([5649]5647,5467,2)([5650]5648,5463,4)([5651]5648,5463,2)([5652]5649,5651,3)([5653]30,64,2)([5654]5653,5473,4)([5655]5653,5473,2)([5656]5654,5469,4)([5657]5654,5469,2)([5658]5655,5657,3)([5659]31,64,2)([5660]5659,5479,4)([5661]5659,5479,2)([5662]5660,5475,4)([5663]5660,5475,2)([5664]5661,5663,3)([5665]32,64,2)([5666]5665,5483,4)([5667]5665,5483,2)([5668]5666,5481,4)([5669]5666,5481,2)([5670]5667,5669,3)([5671]33,64,5)([5672]5671,5484,4)([5673]5671,5484,2)([5674]2,65,5)([5675]5674,5494,4)([5676]5674,5494,2)([5677]5675,5490,4)([5678]5675,5490,2)([5679]5676,5678,3)([5680]3,65,5)([5681]5680,5500,4)([5682]5680,5500,2)([5683]5681,5496,4)([5684]5681,5496,2)([5685]5682,5684,3)([5686]4,65,5)([5687]5686,5506,4)([5688]5686,5506,2)([5689]5687,5502,4)([5690]5687,5502,2)([5691]5688,5690,3)([5692]5,65,5)([5693]5692,5512,4)([5694]5692,5512,2)([5695]5693,5508,4)([5696]5693,5508,2)([5697]5694,5696,3)([5698]6,65,5)([5699]5698,5518,4)([5700]5698,5518,2)([5701]5699,5514,4)([5702]5699,5514,2)([5703]5700,5702,3)([5704]7,65,5)([5705]5704,5524,4)([5706]5704,5524,2)([5707]5705,5520,4)([5708]5705,5520,2)([5709]5706,5708,3)([5710]8,65,5)([5711]5710,5530,4)([5712]5710,5530,2)([5713]5711,5526,4)([5714]5711,5526,2)([5715]5712,5714,3)([5716]9,65,5)([5717]5716,5536,4)([5718]5716,5536,2)([5719]5717,5532,4)([5720]5717,5532,2)([5721]5718,5720,3)([5722]10,65,5)([5723]5722,5542,4)([5724]5722,5542,2)([5725]5723,5538,4)([5726]5723,5538,2)([5727]5724,5726,3)([5728]11,65,5)([5729]5728,5548,4)([5730]5728,5548,2)([5731]5729,5544,4)([5732]5729,5544,2)([5733]5730,5732,3)([5734]12,65,5)([5735]5734,5554,4)([5736]5734,5554,2)([5737]5735,5550,4)([5738]5735,5550,2)([5739]5736,5738,3)([5740]13,65,5)([5741]5740,5560,4)([5742]5740,5560,2)([5743]5741,5556,4)([5744]5741,5556,2)([5745]5742,5744,3)([5746]14,65,5)([5747]5746,5566,4)([5748]5746,5566,2)([5749]5747,5562,4)([5750]5747,5562,2)([5751]5748,5750,3)([5752]15,65,5)([5753]5752,5572,4)([5754]5752,5572,2)([5755]5753,5568,4)([5756]5753,5568,2)([5757]5754,5756,3)([5758]16,65,5)([5759]5758,5578,4)([5760]5758,5578,2)([5761]5759,5574,4)([5762]5759,5574,2)([5763]5760,5762,3)([5764]17,65,5)([5765]5764,5584,4)([5766]5764,5584,2)([5767]5765,5580,4)([5768]5765,5580,2)([5769]5766,5768,3)([5770]18,65,5)([5771]5770,5590,4)([5772]5770,5590,2)([5773]5771,5586,4)([5774]5771,5586,2)([5775]5772,5774,3)([5776]19,65,5)([5777]5776,5596,4)([5778]5776,5596,2)([5779]5777,5592,4)([5780]5777,5592,2)([5781]5778,5780,3)([5782]20,65,5)([5783]5782,5602,4)([5784]5782,5602,2)([5785]5783,5598,4)([5786]5783,5598,2)([5787]5784,5786,3)([5788]21,65,5)([5789]5788,5608,4)([5790]5788,5608,2)([5791]5789,5604,4)([5792]5789,5604,2)([5793]5790,5792,3)([5794]22,65,5)([5795]5794,5614,4)([5796]5794,5614,2)([5797]5795,5610,4)([5798]5795,5610,2)([5799]5796,5798,3)([5800]23,65,5)([5801]5800,5620,4)([5802]5800,5620,2)([5803]5801,5616,4)([5804]5801,5616,2)([5805]5802,5804,3)([5806]24,65,5)([5807]5806,5626,4)([5808]5806,5626,2)([5809]5807,5622,4)([5810]5807,5622,2)([5811]5808,5810,3)([5812]25,65,5)([5813]5812,5632,4)([5814]5812,5632,2)([5815]5813,5628,4)([5816]5813,5628,2)([5817]5814,5816,3)([5818]26,65,5)([5819]5818,5638,4)([5820]5818,5638,2)([5821]5819,5634,4)([5822]5819,5634,2)([5823]5820,5822,3)([5824]27,65,5)([5825]5824,5644,4)([5826]5824,5644,2)([5827]5825,5640,4)([5828]5825,5640,2)([5829]5826,5828,3)([5830]28,65,5)([5831]5830,5650,4)([5832]5830,5650,2)([5833]5831,5646,4)([5834]5831,5646,2)([5835]5832,5834,3)([5836]29,65,5)([5837]5836,5656,4)([5838]5836,5656,2)([5839]5837,5652,4)([5840]5837,5652,2)([5841]5838,5840,3)([5842]30,65,5)([5843]5842,5662,4)([5844]5842,5662,2)([5845]5843,5658,4)([5846]5843,5658,2)([5847]5844,5846,3)([5848]31,65,5)([5849]5848,5668,4)([5850]5848,5668,2)([5851]5849,5664,4)([5852]5849,5664,2)([5853]5850,5852,3)([5854]32,65,5)([5855]5854,5672,4)([5856]5854,5672,2)([5857]5855,5670,4)([5858]5855,5670,2)([5859]5856,5858,3)([5860]33,65,2)([5861]5860,5673,4)([5862]5860,5673,2)([5863]5683,5679,4)([5864]5683,5679,2)([5865]5689,5685,4)([5866]5689,5685,2)([5867]5865,5864,4)([5868]5865,5864,2)([5869]5866,5868,3)([5870]5695,5691,4)([5871]5695,5691,2)([5872]5870,5869,4)([5873]5870,5869,2)([5874]5871,5873,3)([5875]5701,5697,4)([5876]5701,5697,2)([5877]5875,5874,4)([5878]5875,5874,2)([5879]5876,5878,3)([5880]5707,5703,4)([5881]5707,5703,2)([5882]5880,5879,4)([5883]5880,5879,2)([5884]5881,5883,3)([5885]5713,5709,4)([5886]5713,5709,2)([5887]5885,5884,4)([5888]5885,5884,2)([5889]5886,5888,3)([5890]5719,5715,4)([5891]5719,5715,2)([5892]5890,5889,4)([5893]5890,5889,2)([5894]5891,5893,3)([5895]5725,5721,4)([5896]5725,5721,2)([5897]5895,5894,4)([5898]5895,5894,2)([5899]5896,5898,3)([5900]5731,5727,4)([5901]5731,5727,2)([5902]5900,5899,4)([5903]5900,5899,2)([5904]5901,5903,3)([5905]5737,5733,4)([5906]5737,5733,2)([5907]5905,5904,4)([5908]5905,5904,2)([5909]5906,5908,3)([5910]5743,5739,4)([5911]5743,5739,2)([5912]5910,5909,4)([5913]5910,5909,2)([5914]5911,5913,3)([5915]5749,5745,4)([5916]5749,5745,2)([5917]5915,5914,4)([5918]5915,5914,2)([5919]5916,5918,3)([5920]5755,5751,4)([5921]5755,5751,2)([5922]5920,5919,4)([5923]5920,5919,2)([5924]5921,5923,3)([5925]5761,5757,4)([5926]5761,5757,2)([5927]5925,5924,4)([5928]5925,5924,2)([5929]5926,5928,3)([5930]5767,5763,4)([5931]5767,5763,2)([5932]5930,5929,4)([5933]5930,5929,2)([5934]5931,5933,3)([5935]5773,5769,4)([5936]5773,5769,2)([5937]5935,5934,4)([5938]5935,5934,2)([5939]5936,5938,3)([5940]5779,5775,4)([5941]5779,5775,2)([5942]5940,5939,4)([5943]5940,5939,2)([5944]5941,5943,3)([5945]5785,5781,4)([5946]5785,5781,2)([5947]5945,5944,4)([5948]5945,5944,2)([5949]5946,5948,3)([5950]5791,5787,4)([5951]5791,5787,2)([5952]5950,5949,4)([5953]5950,5949,2)([5954]5951,5953,3)([5955]5797,5793,4)([5956]5797,5793,2)([5957]5955,5954,4)([5958]5955,5954,2)([5959]5956,5958,3)([5960]5803,5799,4)([5961]5803,5799,2)([5962]5960,5959,4)([5963]5960,5959,2)([5964]5961,5963,3)([5965]5809,5805,4)([5966]5809,5805,2)([5967]5965,5964,4)([5968]5965,5964,2)([5969]5966,5968,3)([5970]5815,5811,4)([5971]5815,5811,2)([5972]5970,5969,4)([5973]5970,5969,2)([5974]5971,5973,3)([5975]5821,5817,4)([5976]5821,5817,2)([5977]5975,5974,4)([5978]5975,5974,2)([5979]5976,5978,3)([5980]5827,5823,4)([5981]5827,5823,2)([5982]5980,5979,4)([5983]5980,5979,2)([5984]5981,5983,3)([5985]5833,5829,4)([5986]5833,5829,2)([5987]5985,5984,4)([5988]5985,5984,2)([5989]5986,5988,3)([5990]5839,5835,4)([5991]5839,5835,2)([5992]5990,5989,4)([5993]5990,5989,2)([5994]5991,5993,3)([5995]5845,5841,4)([5996]5845,5841,2)([5997]5995,5994,4)([5998]5995,5994,2)([5999]5996,5998,3)([6000]5851,5847,4)([6001]5851,5847,2)([6002]6000,5999,4)([6003]6000,5999,2)([6004]6001,6003,3)([6005]5857,5853,4)([6006]5857,5853,2)([6007]6005,6004,4)([6008]6005,6004,2)([6009]6006,6008,3)([6010]5861,5859,4)([6011]5861,5859,2)([6012]6010,6009,4)([6013]6010,6009,2)([6014]6011,6013,3)([6015]5862,5862,1)([6016]6015,6014,4)([6017]6015,6014,2)([6018]5862,6017,3)(66,99,196,385,574,763,952,1141,1330,1519,1708,1897,2086,2275,2464,2653,2842,3031,3220,3409,3598,3787,3976,4165,4354,4543,4732,4921,5110,5299,5488,5677,5863,5867,5872,5877,5882,5887,5892,5897,5902,5907,5912,5917,5922,5927,5932,5937,5942,5947,5952,5957,5962,5967,5972,5977,5982,5987,5992,5997,6002,6007,6012,6016) |