Jan Klhůfek 56c86c13ca
New multipliers (#13)
* #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>
2022-04-17 16:00:00 +02:00

1 line
103 KiB
Plaintext

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