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