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

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