mirror of
https://github.com/ehw-fit/ariths-gen.git
synced 2025-04-10 09:12:11 +01:00

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