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