Jan Klhůfek 56c86c13ca
New multipliers (#13)
* #10 CGP Circuits as inputs (#11)

* CGP Circuits as inputs

* #10 support of signed output in general circuit

* input as output works

* output connected to input (c)

* automated verilog testing

* output rename

* Implemented CSA and Wallace tree multiplier composing of CSAs. Also did some code cleanup.

* Typos fix and code cleanup.

* Added new (approximate) multiplier architectures and did some minor changes regarding sign extension for c output formats.

* Updated automated testing scripts.

* Small bugfix in python code generation (I initially thought this line is useless).

* Updated generated circuits folder.

Co-authored-by: Vojta Mrazek <mrazek@fit.vutbr.cz>
2022-04-17 16:00:00 +02:00

1 line
106 KiB
Plaintext

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