
* #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
58 KiB
Plaintext
1 line
58 KiB
Plaintext
{48,48,1,3390,2,1,0}([50]21,26,2)([51]20,27,2)([52]50,51,4)([53]50,51,2)([54]22,26,2)([55]21,27,2)([56]53,54,4)([57]53,54,2)([58]56,55,4)([59]56,55,2)([60]57,59,3)([61]20,28,2)([62]19,29,2)([63]61,62,4)([64]61,62,2)([65]23,26,2)([66]64,60,4)([67]64,60,2)([68]66,65,4)([69]66,65,2)([70]67,69,3)([71]22,27,2)([72]21,28,2)([73]20,29,2)([74]71,72,4)([75]71,72,2)([76]74,73,4)([77]74,73,2)([78]75,77,3)([79]19,30,2)([80]18,31,2)([81]79,80,4)([82]79,80,2)([83]82,78,4)([84]82,78,2)([85]83,70,4)([86]83,70,2)([87]84,86,3)([88]24,26,2)([89]23,27,2)([90]22,28,2)([91]88,89,4)([92]88,89,2)([93]91,90,4)([94]91,90,2)([95]92,94,3)([96]21,29,2)([97]20,30,2)([98]19,31,2)([99]96,97,4)([100]96,97,2)([101]99,98,4)([102]99,98,2)([103]100,102,3)([104]18,32,2)([105]17,33,2)([106]104,105,4)([107]104,105,2)([108]107,103,4)([109]107,103,2)([110]108,95,4)([111]108,95,2)([112]109,111,3)([113]25,26,2)([114]24,27,2)([115]87,113,4)([116]87,113,2)([117]115,114,4)([118]115,114,2)([119]116,118,3)([120]23,28,2)([121]22,29,2)([122]21,30,2)([123]120,121,4)([124]120,121,2)([125]123,122,4)([126]123,122,2)([127]124,126,3)([128]20,31,2)([129]19,32,2)([130]18,33,2)([131]128,129,4)([132]128,129,2)([133]131,130,4)([134]131,130,2)([135]132,134,3)([136]17,34,2)([137]16,35,2)([138]136,137,4)([139]136,137,2)([140]139,135,4)([141]139,135,2)([142]140,127,4)([143]140,127,2)([144]141,143,3)([145]25,27,2)([146]119,112,4)([147]119,112,2)([148]146,145,4)([149]146,145,2)([150]147,149,3)([151]24,28,2)([152]23,29,2)([153]22,30,2)([154]151,152,4)([155]151,152,2)([156]154,153,4)([157]154,153,2)([158]155,157,3)([159]21,31,2)([160]20,32,2)([161]19,33,2)([162]159,160,4)([163]159,160,2)([164]162,161,4)([165]162,161,2)([166]163,165,3)([167]18,34,2)([168]17,35,2)([169]167,168,4)([170]167,168,2)([171]170,166,4)([172]170,166,2)([173]171,158,4)([174]171,158,2)([175]172,174,3)([176]25,28,2)([177]150,144,4)([178]150,144,2)([179]177,176,4)([180]177,176,2)([181]178,180,3)([182]24,29,2)([183]23,30,2)([184]22,31,2)([185]182,183,4)([186]182,183,2)([187]185,184,4)([188]185,184,2)([189]186,188,3)([190]21,32,2)([191]20,33,2)([192]19,34,2)([193]190,191,4)([194]190,191,2)([195]193,192,4)([196]193,192,2)([197]194,196,3)([198]197,189,4)([199]197,189,2)([200]198,181,4)([201]198,181,2)([202]199,201,3)([203]25,29,2)([204]24,30,2)([205]175,203,4)([206]175,203,2)([207]205,204,4)([208]205,204,2)([209]206,208,3)([210]23,31,2)([211]22,32,2)([212]21,33,2)([213]210,211,4)([214]210,211,2)([215]213,212,4)([216]213,212,2)([217]214,216,3)([218]217,209,4)([219]217,209,2)([220]218,202,4)([221]218,202,2)([222]219,221,3)([223]25,30,2)([224]24,31,2)([225]23,32,2)([226]223,224,4)([227]223,224,2)([228]226,225,4)([229]226,225,2)([230]227,229,3)([231]25,31,2)([232]230,222,4)([233]230,222,2)([234]232,231,4)([235]232,231,2)([236]233,235,3)([237]8,26,2)([238]7,27,2)([239]237,238,4)([240]237,238,2)([241]9,26,2)([242]8,27,2)([243]240,241,4)([244]240,241,2)([245]243,242,4)([246]243,242,2)([247]244,246,3)([248]7,28,2)([249]6,29,2)([250]248,249,4)([251]248,249,2)([252]10,26,2)([253]251,247,4)([254]251,247,2)([255]253,252,4)([256]253,252,2)([257]254,256,3)([258]9,27,2)([259]8,28,2)([260]7,29,2)([261]258,259,4)([262]258,259,2)([263]261,260,4)([264]261,260,2)([265]262,264,3)([266]6,30,2)([267]5,31,2)([268]266,267,4)([269]266,267,2)([270]269,265,4)([271]269,265,2)([272]270,257,4)([273]270,257,2)([274]271,273,3)([275]11,26,2)([276]10,27,2)([277]9,28,2)([278]275,276,4)([279]275,276,2)([280]278,277,4)([281]278,277,2)([282]279,281,3)([283]8,29,2)([284]7,30,2)([285]6,31,2)([286]283,284,4)([287]283,284,2)([288]286,285,4)([289]286,285,2)([290]287,289,3)([291]5,32,2)([292]4,33,2)([293]291,292,4)([294]291,292,2)([295]294,290,4)([296]294,290,2)([297]295,282,4)([298]295,282,2)([299]296,298,3)([300]12,26,2)([301]11,27,2)([302]274,300,4)([303]274,300,2)([304]302,301,4)([305]302,301,2)([306]303,305,3)([307]10,28,2)([308]9,29,2)([309]8,30,2)([310]307,308,4)([311]307,308,2)([312]310,309,4)([313]310,309,2)([314]311,313,3)([315]7,31,2)([316]6,32,2)([317]5,33,2)([318]315,316,4)([319]315,316,2)([320]318,317,4)([321]318,317,2)([322]319,321,3)([323]4,34,2)([324]3,35,2)([325]323,324,4)([326]323,324,2)([327]326,322,4)([328]326,322,2)([329]327,314,4)([330]327,314,2)([331]328,330,3)([332]13,26,2)([333]306,299,4)([334]306,299,2)([335]333,332,4)([336]333,332,2)([337]334,336,3)([338]12,27,2)([339]11,28,2)([340]10,29,2)([341]338,339,4)([342]338,339,2)([343]341,340,4)([344]341,340,2)([345]342,344,3)([346]9,30,2)([347]8,31,2)([348]7,32,2)([349]346,347,4)([350]346,347,2)([351]349,348,4)([352]349,348,2)([353]350,352,3)([354]6,33,2)([355]5,34,2)([356]4,35,2)([357]354,355,4)([358]354,355,2)([359]357,356,4)([360]357,356,2)([361]358,360,3)([362]3,36,2)([363]2,37,2)([364]362,363,4)([365]362,363,2)([366]365,361,4)([367]365,361,2)([368]366,353,4)([369]366,353,2)([370]367,369,3)([371]345,337,4)([372]345,337,2)([373]371,331,4)([374]371,331,2)([375]372,374,3)([376]14,26,2)([377]13,27,2)([378]12,28,2)([379]376,377,4)([380]376,377,2)([381]379,378,4)([382]379,378,2)([383]380,382,3)([384]11,29,2)([385]10,30,2)([386]9,31,2)([387]384,385,4)([388]384,385,2)([389]387,386,4)([390]387,386,2)([391]388,390,3)([392]8,32,2)([393]7,33,2)([394]6,34,2)([395]392,393,4)([396]392,393,2)([397]395,394,4)([398]395,394,2)([399]396,398,3)([400]5,35,2)([401]4,36,2)([402]3,37,2)([403]400,401,4)([404]400,401,2)([405]403,402,4)([406]403,402,2)([407]404,406,3)([408]2,38,2)([409]408,368,4)([410]408,368,2)([411]410,407,4)([412]410,407,2)([413]411,399,4)([414]411,399,2)([415]412,414,3)([416]391,383,4)([417]391,383,2)([418]416,375,4)([419]416,375,2)([420]417,419,3)([421]15,26,2)([422]14,27,2)([423]370,421,4)([424]370,421,2)([425]423,422,4)([426]423,422,2)([427]424,426,3)([428]13,28,2)([429]12,29,2)([430]11,30,2)([431]428,429,4)([432]428,429,2)([433]431,430,4)([434]431,430,2)([435]432,434,3)([436]10,31,2)([437]9,32,2)([438]8,33,2)([439]436,437,4)([440]436,437,2)([441]439,438,4)([442]439,438,2)([443]440,442,3)([444]7,34,2)([445]6,35,2)([446]5,36,2)([447]444,445,4)([448]444,445,2)([449]447,446,4)([450]447,446,2)([451]448,450,3)([452]4,37,2)([453]3,38,2)([454]2,39,2)([455]452,453,4)([456]452,453,2)([457]455,454,4)([458]455,454,2)([459]456,458,3)([460]413,418,4)([461]413,418,2)([462]461,459,4)([463]461,459,2)([464]462,451,4)([465]462,451,2)([466]463,465,3)([467]443,435,4)([468]443,435,2)([469]467,427,4)([470]467,427,2)([471]468,470,3)([472]16,26,2)([473]420,415,4)([474]420,415,2)([475]473,472,4)([476]473,472,2)([477]474,476,3)([478]15,27,2)([479]14,28,2)([480]13,29,2)([481]478,479,4)([482]478,479,2)([483]481,480,4)([484]481,480,2)([485]482,484,3)([486]12,30,2)([487]11,31,2)([488]10,32,2)([489]486,487,4)([490]486,487,2)([491]489,488,4)([492]489,488,2)([493]490,492,3)([494]9,33,2)([495]8,34,2)([496]7,35,2)([497]494,495,4)([498]494,495,2)([499]497,496,4)([500]497,496,2)([501]498,500,3)([502]6,36,2)([503]5,37,2)([504]4,38,2)([505]502,503,4)([506]502,503,2)([507]505,504,4)([508]505,504,2)([509]506,508,3)([510]3,39,2)([511]2,40,2)([512]510,511,4)([513]510,511,2)([514]512,464,4)([515]512,464,2)([516]513,515,3)([517]469,475,4)([518]469,475,2)([519]518,516,4)([520]518,516,2)([521]519,509,4)([522]519,509,2)([523]520,522,3)([524]501,493,4)([525]501,493,2)([526]524,485,4)([527]524,485,2)([528]525,527,3)([529]477,471,4)([530]477,471,2)([531]529,466,4)([532]529,466,2)([533]530,532,3)([534]17,26,2)([535]16,27,2)([536]15,28,2)([537]534,535,4)([538]534,535,2)([539]537,536,4)([540]537,536,2)([541]538,540,3)([542]14,29,2)([543]13,30,2)([544]12,31,2)([545]542,543,4)([546]542,543,2)([547]545,544,4)([548]545,544,2)([549]546,548,3)([550]11,32,2)([551]10,33,2)([552]9,34,2)([553]550,551,4)([554]550,551,2)([555]553,552,4)([556]553,552,2)([557]554,556,3)([558]8,35,2)([559]7,36,2)([560]6,37,2)([561]558,559,4)([562]558,559,2)([563]561,560,4)([564]561,560,2)([565]562,564,3)([566]5,38,2)([567]4,39,2)([568]3,40,2)([569]566,567,4)([570]566,567,2)([571]569,568,4)([572]569,568,2)([573]570,572,3)([574]2,41,2)([575]574,521,4)([576]574,521,2)([577]575,526,4)([578]575,526,2)([579]576,578,3)([580]531,539,4)([581]531,539,2)([582]581,579,4)([583]581,579,2)([584]582,573,4)([585]582,573,2)([586]583,585,3)([587]565,557,4)([588]565,557,2)([589]587,549,4)([590]587,549,2)([591]588,590,3)([592]541,533,4)([593]541,533,2)([594]592,528,4)([595]592,528,2)([596]593,595,3)([597]18,26,2)([598]17,27,2)([599]523,597,4)([600]523,597,2)([601]599,598,4)([602]599,598,2)([603]600,602,3)([604]16,28,2)([605]15,29,2)([606]14,30,2)([607]604,605,4)([608]604,605,2)([609]607,606,4)([610]607,606,2)([611]608,610,3)([612]13,31,2)([613]12,32,2)([614]11,33,2)([615]612,613,4)([616]612,613,2)([617]615,614,4)([618]615,614,2)([619]616,618,3)([620]10,34,2)([621]9,35,2)([622]8,36,2)([623]620,621,4)([624]620,621,2)([625]623,622,4)([626]623,622,2)([627]624,626,3)([628]7,37,2)([629]6,38,2)([630]5,39,2)([631]628,629,4)([632]628,629,2)([633]631,630,4)([634]631,630,2)([635]632,634,3)([636]4,40,2)([637]3,41,2)([638]2,42,2)([639]636,637,4)([640]636,637,2)([641]639,638,4)([642]639,638,2)([643]640,642,3)([644]584,589,4)([645]584,589,2)([646]644,594,4)([647]644,594,2)([648]645,647,3)([649]601,609,4)([650]601,609,2)([651]650,648,4)([652]650,648,2)([653]651,643,4)([654]651,643,2)([655]652,654,3)([656]635,627,4)([657]635,627,2)([658]656,619,4)([659]656,619,2)([660]657,659,3)([661]611,603,4)([662]611,603,2)([663]661,596,4)([664]661,596,2)([665]662,664,3)([666]19,26,2)([667]591,586,4)([668]591,586,2)([669]667,666,4)([670]667,666,2)([671]668,670,3)([672]18,27,2)([673]17,28,2)([674]16,29,2)([675]672,673,4)([676]672,673,2)([677]675,674,4)([678]675,674,2)([679]676,678,3)([680]15,30,2)([681]14,31,2)([682]13,32,2)([683]680,681,4)([684]680,681,2)([685]683,682,4)([686]683,682,2)([687]684,686,3)([688]12,33,2)([689]11,34,2)([690]10,35,2)([691]688,689,4)([692]688,689,2)([693]691,690,4)([694]691,690,2)([695]692,694,3)([696]9,36,2)([697]8,37,2)([698]7,38,2)([699]696,697,4)([700]696,697,2)([701]699,698,4)([702]699,698,2)([703]700,702,3)([704]6,39,2)([705]5,40,2)([706]4,41,2)([707]704,705,4)([708]704,705,2)([709]707,706,4)([710]707,706,2)([711]708,710,3)([712]3,42,2)([713]2,43,2)([714]712,713,4)([715]712,713,2)([716]714,653,4)([717]714,653,2)([718]715,717,3)([719]658,663,4)([720]658,663,2)([721]719,669,4)([722]719,669,2)([723]720,722,3)([724]677,685,4)([725]677,685,2)([726]725,723,4)([727]725,723,2)([728]726,718,4)([729]726,718,2)([730]727,729,3)([731]711,703,4)([732]711,703,2)([733]731,695,4)([734]731,695,2)([735]732,734,3)([736]687,679,4)([737]687,679,2)([738]736,671,4)([739]736,671,2)([740]737,739,3)([741]665,660,4)([742]665,660,2)([743]741,655,4)([744]741,655,2)([745]742,744,3)([746]20,26,2)([747]19,27,2)([748]18,28,2)([749]746,747,4)([750]746,747,2)([751]749,748,4)([752]749,748,2)([753]750,752,3)([754]17,29,2)([755]16,30,2)([756]15,31,2)([757]754,755,4)([758]754,755,2)([759]757,756,4)([760]757,756,2)([761]758,760,3)([762]14,32,2)([763]13,33,2)([764]12,34,2)([765]762,763,4)([766]762,763,2)([767]765,764,4)([768]765,764,2)([769]766,768,3)([770]11,35,2)([771]10,36,2)([772]9,37,2)([773]770,771,4)([774]770,771,2)([775]773,772,4)([776]773,772,2)([777]774,776,3)([778]8,38,2)([779]7,39,2)([780]6,40,2)([781]778,779,4)([782]778,779,2)([783]781,780,4)([784]781,780,2)([785]782,784,3)([786]5,41,2)([787]4,42,2)([788]3,43,2)([789]786,787,4)([790]786,787,2)([791]789,788,4)([792]789,788,2)([793]790,792,3)([794]2,44,2)([795]794,728,4)([796]794,728,2)([797]795,733,4)([798]795,733,2)([799]796,798,3)([800]738,743,4)([801]738,743,2)([802]800,751,4)([803]800,751,2)([804]801,803,3)([805]759,767,4)([806]759,767,2)([807]806,804,4)([808]806,804,2)([809]807,799,4)([810]807,799,2)([811]808,810,3)([812]793,785,4)([813]793,785,2)([814]812,777,4)([815]812,777,2)([816]813,815,3)([817]769,761,4)([818]769,761,2)([819]817,753,4)([820]817,753,2)([821]818,820,3)([822]745,740,4)([823]745,740,2)([824]822,735,4)([825]822,735,2)([826]823,825,3)([827]19,28,2)([828]18,29,2)([829]730,827,4)([830]730,827,2)([831]829,828,4)([832]829,828,2)([833]830,832,3)([834]17,30,2)([835]16,31,2)([836]15,32,2)([837]834,835,4)([838]834,835,2)([839]837,836,4)([840]837,836,2)([841]838,840,3)([842]14,33,2)([843]13,34,2)([844]12,35,2)([845]842,843,4)([846]842,843,2)([847]845,844,4)([848]845,844,2)([849]846,848,3)([850]11,36,2)([851]10,37,2)([852]9,38,2)([853]850,851,4)([854]850,851,2)([855]853,852,4)([856]853,852,2)([857]854,856,3)([858]8,39,2)([859]7,40,2)([860]6,41,2)([861]858,859,4)([862]858,859,2)([863]861,860,4)([864]861,860,2)([865]862,864,3)([866]5,42,2)([867]4,43,2)([868]3,44,2)([869]866,867,4)([870]866,867,2)([871]869,868,4)([872]869,868,2)([873]870,872,3)([874]2,45,2)([875]874,52,4)([876]874,52,2)([877]875,809,4)([878]875,809,2)([879]876,878,3)([880]814,819,4)([881]814,819,2)([882]880,824,4)([883]880,824,2)([884]881,883,3)([885]831,839,4)([886]831,839,2)([887]885,847,4)([888]885,847,2)([889]886,888,3)([890]889,884,4)([891]889,884,2)([892]890,879,4)([893]890,879,2)([894]891,893,3)([895]873,865,4)([896]873,865,2)([897]895,857,4)([898]895,857,2)([899]896,898,3)([900]849,841,4)([901]849,841,2)([902]900,833,4)([903]900,833,2)([904]901,903,3)([905]826,821,4)([906]826,821,2)([907]905,816,4)([908]905,816,2)([909]906,908,3)([910]18,30,2)([911]17,31,2)([912]811,910,4)([913]811,910,2)([914]912,911,4)([915]912,911,2)([916]913,915,3)([917]16,32,2)([918]15,33,2)([919]14,34,2)([920]917,918,4)([921]917,918,2)([922]920,919,4)([923]920,919,2)([924]921,923,3)([925]13,35,2)([926]12,36,2)([927]11,37,2)([928]925,926,4)([929]925,926,2)([930]928,927,4)([931]928,927,2)([932]929,931,3)([933]10,38,2)([934]9,39,2)([935]8,40,2)([936]933,934,4)([937]933,934,2)([938]936,935,4)([939]936,935,2)([940]937,939,3)([941]7,41,2)([942]6,42,2)([943]5,43,2)([944]941,942,4)([945]941,942,2)([946]944,943,4)([947]944,943,2)([948]945,947,3)([949]4,44,2)([950]3,45,2)([951]2,46,2)([952]949,950,4)([953]949,950,2)([954]952,951,4)([955]952,951,2)([956]953,955,3)([957]58,63,4)([958]58,63,2)([959]957,892,4)([960]957,892,2)([961]958,960,3)([962]897,902,4)([963]897,902,2)([964]962,907,4)([965]962,907,2)([966]963,965,3)([967]914,922,4)([968]914,922,2)([969]967,930,4)([970]967,930,2)([971]968,970,3)([972]971,966,4)([973]971,966,2)([974]972,961,4)([975]972,961,2)([976]973,975,3)([977]956,948,4)([978]956,948,2)([979]977,940,4)([980]977,940,2)([981]978,980,3)([982]932,924,4)([983]932,924,2)([984]982,916,4)([985]982,916,2)([986]983,985,3)([987]909,904,4)([988]909,904,2)([989]987,899,4)([990]987,899,2)([991]988,990,3)([992]17,32,2)([993]16,33,2)([994]894,992,4)([995]894,992,2)([996]994,993,4)([997]994,993,2)([998]995,997,3)([999]15,34,2)([1000]14,35,2)([1001]13,36,2)([1002]999,1000,4)([1003]999,1000,2)([1004]1002,1001,4)([1005]1002,1001,2)([1006]1003,1005,3)([1007]12,37,2)([1008]11,38,2)([1009]10,39,2)([1010]1007,1008,4)([1011]1007,1008,2)([1012]1010,1009,4)([1013]1010,1009,2)([1014]1011,1013,3)([1015]9,40,2)([1016]8,41,2)([1017]7,42,2)([1018]1015,1016,4)([1019]1015,1016,2)([1020]1018,1017,4)([1021]1018,1017,2)([1022]1019,1021,3)([1023]6,43,2)([1024]5,44,2)([1025]4,45,2)([1026]1023,1024,4)([1027]1023,1024,2)([1028]1026,1025,4)([1029]1026,1025,2)([1030]1027,1029,3)([1031]3,46,2)([1032]2,47,2)([1033]1031,1032,4)([1034]1031,1032,2)([1035]1033,68,4)([1036]1033,68,2)([1037]1034,1036,3)([1038]76,81,4)([1039]76,81,2)([1040]1038,974,4)([1041]1038,974,2)([1042]1039,1041,3)([1043]979,984,4)([1044]979,984,2)([1045]1043,989,4)([1046]1043,989,2)([1047]1044,1046,3)([1048]996,1004,4)([1049]996,1004,2)([1050]1048,1012,4)([1051]1048,1012,2)([1052]1049,1051,3)([1053]1052,1047,4)([1054]1052,1047,2)([1055]1053,1042,4)([1056]1053,1042,2)([1057]1054,1056,3)([1058]1037,1030,4)([1059]1037,1030,2)([1060]1058,1022,4)([1061]1058,1022,2)([1062]1059,1061,3)([1063]1014,1006,4)([1064]1014,1006,2)([1065]1063,998,4)([1066]1063,998,2)([1067]1064,1066,3)([1068]991,986,4)([1069]991,986,2)([1070]1068,981,4)([1071]1068,981,2)([1072]1069,1071,3)([1073]16,34,2)([1074]15,35,2)([1075]976,1073,4)([1076]976,1073,2)([1077]1075,1074,4)([1078]1075,1074,2)([1079]1076,1078,3)([1080]14,36,2)([1081]13,37,2)([1082]12,38,2)([1083]1080,1081,4)([1084]1080,1081,2)([1085]1083,1082,4)([1086]1083,1082,2)([1087]1084,1086,3)([1088]11,39,2)([1089]10,40,2)([1090]9,41,2)([1091]1088,1089,4)([1092]1088,1089,2)([1093]1091,1090,4)([1094]1091,1090,2)([1095]1092,1094,3)([1096]8,42,2)([1097]7,43,2)([1098]6,44,2)([1099]1096,1097,4)([1100]1096,1097,2)([1101]1099,1098,4)([1102]1099,1098,2)([1103]1100,1102,3)([1104]5,45,2)([1105]4,46,2)([1106]3,47,2)([1107]1104,1105,4)([1108]1104,1105,2)([1109]1107,1106,4)([1110]1107,1106,2)([1111]1108,1110,3)([1112]2,48,2)([1113]1112,85,4)([1114]1112,85,2)([1115]1113,93,4)([1116]1113,93,2)([1117]1114,1116,3)([1118]101,106,4)([1119]101,106,2)([1120]1118,1055,4)([1121]1118,1055,2)([1122]1119,1121,3)([1123]1060,1065,4)([1124]1060,1065,2)([1125]1123,1070,4)([1126]1123,1070,2)([1127]1124,1126,3)([1128]1077,1085,4)([1129]1077,1085,2)([1130]1128,1093,4)([1131]1128,1093,2)([1132]1129,1131,3)([1133]1132,1127,4)([1134]1132,1127,2)([1135]1133,1122,4)([1136]1133,1122,2)([1137]1134,1136,3)([1138]1117,1111,4)([1139]1117,1111,2)([1140]1138,1103,4)([1141]1138,1103,2)([1142]1139,1141,3)([1143]1095,1087,4)([1144]1095,1087,2)([1145]1143,1079,4)([1146]1143,1079,2)([1147]1144,1146,3)([1148]1072,1067,4)([1149]1072,1067,2)([1150]1148,1062,4)([1151]1148,1062,2)([1152]1149,1151,3)([1153]15,36,2)([1154]14,37,2)([1155]1057,1153,4)([1156]1057,1153,2)([1157]1155,1154,4)([1158]1155,1154,2)([1159]1156,1158,3)([1160]13,38,2)([1161]12,39,2)([1162]11,40,2)([1163]1160,1161,4)([1164]1160,1161,2)([1165]1163,1162,4)([1166]1163,1162,2)([1167]1164,1166,3)([1168]10,41,2)([1169]9,42,2)([1170]8,43,2)([1171]1168,1169,4)([1172]1168,1169,2)([1173]1171,1170,4)([1174]1171,1170,2)([1175]1172,1174,3)([1176]7,44,2)([1177]6,45,2)([1178]5,46,2)([1179]1176,1177,4)([1180]1176,1177,2)([1181]1179,1178,4)([1182]1179,1178,2)([1183]1180,1182,3)([1184]4,47,2)([1185]3,48,2)([1186]2,49,2)([1187]1184,1185,4)([1188]1184,1185,2)([1189]1187,1186,4)([1190]1187,1186,2)([1191]1188,1190,3)([1192]110,117,4)([1193]110,117,2)([1194]1192,125,4)([1195]1192,125,2)([1196]1193,1195,3)([1197]133,138,4)([1198]133,138,2)([1199]1197,1135,4)([1200]1197,1135,2)([1201]1198,1200,3)([1202]1140,1145,4)([1203]1140,1145,2)([1204]1202,1150,4)([1205]1202,1150,2)([1206]1203,1205,3)([1207]1157,1165,4)([1208]1157,1165,2)([1209]1207,1173,4)([1210]1207,1173,2)([1211]1208,1210,3)([1212]1211,1206,4)([1213]1211,1206,2)([1214]1212,1201,4)([1215]1212,1201,2)([1216]1213,1215,3)([1217]1196,1191,4)([1218]1196,1191,2)([1219]1217,1183,4)([1220]1217,1183,2)([1221]1218,1220,3)([1222]1175,1167,4)([1223]1175,1167,2)([1224]1222,1159,4)([1225]1222,1159,2)([1226]1223,1225,3)([1227]1152,1147,4)([1228]1152,1147,2)([1229]1227,1142,4)([1230]1227,1142,2)([1231]1228,1230,3)([1232]16,36,2)([1233]15,37,2)([1234]1137,1232,4)([1235]1137,1232,2)([1236]1234,1233,4)([1237]1234,1233,2)([1238]1235,1237,3)([1239]14,38,2)([1240]13,39,2)([1241]12,40,2)([1242]1239,1240,4)([1243]1239,1240,2)([1244]1242,1241,4)([1245]1242,1241,2)([1246]1243,1245,3)([1247]11,41,2)([1248]10,42,2)([1249]9,43,2)([1250]1247,1248,4)([1251]1247,1248,2)([1252]1250,1249,4)([1253]1250,1249,2)([1254]1251,1253,3)([1255]8,44,2)([1256]7,45,2)([1257]6,46,2)([1258]1255,1256,4)([1259]1255,1256,2)([1260]1258,1257,4)([1261]1258,1257,2)([1262]1259,1261,3)([1263]5,47,2)([1264]4,48,2)([1265]3,49,2)([1266]1263,1264,4)([1267]1263,1264,2)([1268]1266,1265,4)([1269]1266,1265,2)([1270]1267,1269,3)([1271]142,148,4)([1272]142,148,2)([1273]1271,156,4)([1274]1271,156,2)([1275]1272,1274,3)([1276]164,169,4)([1277]164,169,2)([1278]1276,1214,4)([1279]1276,1214,2)([1280]1277,1279,3)([1281]1219,1224,4)([1282]1219,1224,2)([1283]1281,1229,4)([1284]1281,1229,2)([1285]1282,1284,3)([1286]1236,1244,4)([1287]1236,1244,2)([1288]1286,1252,4)([1289]1286,1252,2)([1290]1287,1289,3)([1291]1290,1285,4)([1292]1290,1285,2)([1293]1291,1280,4)([1294]1291,1280,2)([1295]1292,1294,3)([1296]1275,1270,4)([1297]1275,1270,2)([1298]1296,1262,4)([1299]1296,1262,2)([1300]1297,1299,3)([1301]1254,1246,4)([1302]1254,1246,2)([1303]1301,1238,4)([1304]1301,1238,2)([1305]1302,1304,3)([1306]1231,1226,4)([1307]1231,1226,2)([1308]1306,1221,4)([1309]1306,1221,2)([1310]1307,1309,3)([1311]18,35,2)([1312]17,36,2)([1313]1216,1311,4)([1314]1216,1311,2)([1315]1313,1312,4)([1316]1313,1312,2)([1317]1314,1316,3)([1318]16,37,2)([1319]15,38,2)([1320]14,39,2)([1321]1318,1319,4)([1322]1318,1319,2)([1323]1321,1320,4)([1324]1321,1320,2)([1325]1322,1324,3)([1326]13,40,2)([1327]12,41,2)([1328]11,42,2)([1329]1326,1327,4)([1330]1326,1327,2)([1331]1329,1328,4)([1332]1329,1328,2)([1333]1330,1332,3)([1334]10,43,2)([1335]9,44,2)([1336]8,45,2)([1337]1334,1335,4)([1338]1334,1335,2)([1339]1337,1336,4)([1340]1337,1336,2)([1341]1338,1340,3)([1342]7,46,2)([1343]6,47,2)([1344]5,48,2)([1345]1342,1343,4)([1346]1342,1343,2)([1347]1345,1344,4)([1348]1345,1344,2)([1349]1346,1348,3)([1350]4,49,2)([1351]1350,173,4)([1352]1350,173,2)([1353]1351,179,4)([1354]1351,179,2)([1355]1352,1354,3)([1356]187,195,4)([1357]187,195,2)([1358]1356,1293,4)([1359]1356,1293,2)([1360]1357,1359,3)([1361]1298,1303,4)([1362]1298,1303,2)([1363]1361,1308,4)([1364]1361,1308,2)([1365]1362,1364,3)([1366]1315,1323,4)([1367]1315,1323,2)([1368]1366,1331,4)([1369]1366,1331,2)([1370]1367,1369,3)([1371]1370,1365,4)([1372]1370,1365,2)([1373]1371,1360,4)([1374]1371,1360,2)([1375]1372,1374,3)([1376]1355,1349,4)([1377]1355,1349,2)([1378]1376,1341,4)([1379]1376,1341,2)([1380]1377,1379,3)([1381]1333,1325,4)([1382]1333,1325,2)([1383]1381,1317,4)([1384]1381,1317,2)([1385]1382,1384,3)([1386]1310,1305,4)([1387]1310,1305,2)([1388]1386,1300,4)([1389]1386,1300,2)([1390]1387,1389,3)([1391]20,34,2)([1392]19,35,2)([1393]1295,1391,4)([1394]1295,1391,2)([1395]1393,1392,4)([1396]1393,1392,2)([1397]1394,1396,3)([1398]18,36,2)([1399]17,37,2)([1400]16,38,2)([1401]1398,1399,4)([1402]1398,1399,2)([1403]1401,1400,4)([1404]1401,1400,2)([1405]1402,1404,3)([1406]15,39,2)([1407]14,40,2)([1408]13,41,2)([1409]1406,1407,4)([1410]1406,1407,2)([1411]1409,1408,4)([1412]1409,1408,2)([1413]1410,1412,3)([1414]12,42,2)([1415]11,43,2)([1416]10,44,2)([1417]1414,1415,4)([1418]1414,1415,2)([1419]1417,1416,4)([1420]1417,1416,2)([1421]1418,1420,3)([1422]9,45,2)([1423]8,46,2)([1424]7,47,2)([1425]1422,1423,4)([1426]1422,1423,2)([1427]1425,1424,4)([1428]1425,1424,2)([1429]1426,1428,3)([1430]6,48,2)([1431]5,49,2)([1432]1430,1431,4)([1433]1430,1431,2)([1434]1432,200,4)([1435]1432,200,2)([1436]1433,1435,3)([1437]207,215,4)([1438]207,215,2)([1439]1437,1373,4)([1440]1437,1373,2)([1441]1438,1440,3)([1442]1378,1383,4)([1443]1378,1383,2)([1444]1442,1388,4)([1445]1442,1388,2)([1446]1443,1445,3)([1447]1395,1403,4)([1448]1395,1403,2)([1449]1447,1411,4)([1450]1447,1411,2)([1451]1448,1450,3)([1452]1451,1446,4)([1453]1451,1446,2)([1454]1452,1441,4)([1455]1452,1441,2)([1456]1453,1455,3)([1457]1436,1429,4)([1458]1436,1429,2)([1459]1457,1421,4)([1460]1457,1421,2)([1461]1458,1460,3)([1462]1413,1405,4)([1463]1413,1405,2)([1464]1462,1397,4)([1465]1462,1397,2)([1466]1463,1465,3)([1467]1390,1385,4)([1468]1390,1385,2)([1469]1467,1380,4)([1470]1467,1380,2)([1471]1468,1470,3)([1472]22,33,2)([1473]21,34,2)([1474]1375,1472,4)([1475]1375,1472,2)([1476]1474,1473,4)([1477]1474,1473,2)([1478]1475,1477,3)([1479]20,35,2)([1480]19,36,2)([1481]18,37,2)([1482]1479,1480,4)([1483]1479,1480,2)([1484]1482,1481,4)([1485]1482,1481,2)([1486]1483,1485,3)([1487]17,38,2)([1488]16,39,2)([1489]15,40,2)([1490]1487,1488,4)([1491]1487,1488,2)([1492]1490,1489,4)([1493]1490,1489,2)([1494]1491,1493,3)([1495]14,41,2)([1496]13,42,2)([1497]12,43,2)([1498]1495,1496,4)([1499]1495,1496,2)([1500]1498,1497,4)([1501]1498,1497,2)([1502]1499,1501,3)([1503]11,44,2)([1504]10,45,2)([1505]9,46,2)([1506]1503,1504,4)([1507]1503,1504,2)([1508]1506,1505,4)([1509]1506,1505,2)([1510]1507,1509,3)([1511]8,47,2)([1512]7,48,2)([1513]6,49,2)([1514]1511,1512,4)([1515]1511,1512,2)([1516]1514,1513,4)([1517]1514,1513,2)([1518]1515,1517,3)([1519]220,228,4)([1520]220,228,2)([1521]1519,1454,4)([1522]1519,1454,2)([1523]1520,1522,3)([1524]1459,1464,4)([1525]1459,1464,2)([1526]1524,1469,4)([1527]1524,1469,2)([1528]1525,1527,3)([1529]1476,1484,4)([1530]1476,1484,2)([1531]1529,1492,4)([1532]1529,1492,2)([1533]1530,1532,3)([1534]1533,1528,4)([1535]1533,1528,2)([1536]1534,1523,4)([1537]1534,1523,2)([1538]1535,1537,3)([1539]1518,1510,4)([1540]1518,1510,2)([1541]1539,1502,4)([1542]1539,1502,2)([1543]1540,1542,3)([1544]1494,1486,4)([1545]1494,1486,2)([1546]1544,1478,4)([1547]1544,1478,2)([1548]1545,1547,3)([1549]1471,1466,4)([1550]1471,1466,2)([1551]1549,1461,4)([1552]1549,1461,2)([1553]1550,1552,3)([1554]24,32,2)([1555]23,33,2)([1556]1456,1554,4)([1557]1456,1554,2)([1558]1556,1555,4)([1559]1556,1555,2)([1560]1557,1559,3)([1561]22,34,2)([1562]21,35,2)([1563]20,36,2)([1564]1561,1562,4)([1565]1561,1562,2)([1566]1564,1563,4)([1567]1564,1563,2)([1568]1565,1567,3)([1569]19,37,2)([1570]18,38,2)([1571]17,39,2)([1572]1569,1570,4)([1573]1569,1570,2)([1574]1572,1571,4)([1575]1572,1571,2)([1576]1573,1575,3)([1577]16,40,2)([1578]15,41,2)([1579]14,42,2)([1580]1577,1578,4)([1581]1577,1578,2)([1582]1580,1579,4)([1583]1580,1579,2)([1584]1581,1583,3)([1585]13,43,2)([1586]12,44,2)([1587]11,45,2)([1588]1585,1586,4)([1589]1585,1586,2)([1590]1588,1587,4)([1591]1588,1587,2)([1592]1589,1591,3)([1593]10,46,2)([1594]9,47,2)([1595]8,48,2)([1596]1593,1594,4)([1597]1593,1594,2)([1598]1596,1595,4)([1599]1596,1595,2)([1600]1597,1599,3)([1601]7,49,2)([1602]1601,234,4)([1603]1601,234,2)([1604]1602,1536,4)([1605]1602,1536,2)([1606]1603,1605,3)([1607]1541,1546,4)([1608]1541,1546,2)([1609]1607,1551,4)([1610]1607,1551,2)([1611]1608,1610,3)([1612]1558,1566,4)([1613]1558,1566,2)([1614]1612,1574,4)([1615]1612,1574,2)([1616]1613,1615,3)([1617]1616,1611,4)([1618]1616,1611,2)([1619]1617,1606,4)([1620]1617,1606,2)([1621]1618,1620,3)([1622]1600,1592,4)([1623]1600,1592,2)([1624]1622,1584,4)([1625]1622,1584,2)([1626]1623,1625,3)([1627]1576,1568,4)([1628]1576,1568,2)([1629]1627,1560,4)([1630]1627,1560,2)([1631]1628,1630,3)([1632]1553,1548,4)([1633]1553,1548,2)([1634]1632,1543,4)([1635]1632,1543,2)([1636]1633,1635,3)([1637]25,32,2)([1638]1538,236,4)([1639]1538,236,2)([1640]1638,1637,4)([1641]1638,1637,2)([1642]1639,1641,3)([1643]24,33,2)([1644]23,34,2)([1645]22,35,2)([1646]1643,1644,4)([1647]1643,1644,2)([1648]1646,1645,4)([1649]1646,1645,2)([1650]1647,1649,3)([1651]21,36,2)([1652]20,37,2)([1653]19,38,2)([1654]1651,1652,4)([1655]1651,1652,2)([1656]1654,1653,4)([1657]1654,1653,2)([1658]1655,1657,3)([1659]18,39,2)([1660]17,40,2)([1661]16,41,2)([1662]1659,1660,4)([1663]1659,1660,2)([1664]1662,1661,4)([1665]1662,1661,2)([1666]1663,1665,3)([1667]15,42,2)([1668]14,43,2)([1669]13,44,2)([1670]1667,1668,4)([1671]1667,1668,2)([1672]1670,1669,4)([1673]1670,1669,2)([1674]1671,1673,3)([1675]12,45,2)([1676]11,46,2)([1677]10,47,2)([1678]1675,1676,4)([1679]1675,1676,2)([1680]1678,1677,4)([1681]1678,1677,2)([1682]1679,1681,3)([1683]9,48,2)([1684]8,49,2)([1685]1683,1684,4)([1686]1683,1684,2)([1687]1685,1619,4)([1688]1685,1619,2)([1689]1686,1688,3)([1690]1624,1629,4)([1691]1624,1629,2)([1692]1690,1634,4)([1693]1690,1634,2)([1694]1691,1693,3)([1695]1640,1648,4)([1696]1640,1648,2)([1697]1695,1656,4)([1698]1695,1656,2)([1699]1696,1698,3)([1700]1699,1694,4)([1701]1699,1694,2)([1702]1700,1689,4)([1703]1700,1689,2)([1704]1701,1703,3)([1705]1682,1674,4)([1706]1682,1674,2)([1707]1705,1666,4)([1708]1705,1666,2)([1709]1706,1708,3)([1710]1658,1650,4)([1711]1658,1650,2)([1712]1710,1642,4)([1713]1710,1642,2)([1714]1711,1713,3)([1715]1636,1631,4)([1716]1636,1631,2)([1717]1715,1626,4)([1718]1715,1626,2)([1719]1716,1718,3)([1720]25,33,2)([1721]24,34,2)([1722]1621,1720,4)([1723]1621,1720,2)([1724]1722,1721,4)([1725]1722,1721,2)([1726]1723,1725,3)([1727]23,35,2)([1728]22,36,2)([1729]21,37,2)([1730]1727,1728,4)([1731]1727,1728,2)([1732]1730,1729,4)([1733]1730,1729,2)([1734]1731,1733,3)([1735]20,38,2)([1736]19,39,2)([1737]18,40,2)([1738]1735,1736,4)([1739]1735,1736,2)([1740]1738,1737,4)([1741]1738,1737,2)([1742]1739,1741,3)([1743]17,41,2)([1744]16,42,2)([1745]15,43,2)([1746]1743,1744,4)([1747]1743,1744,2)([1748]1746,1745,4)([1749]1746,1745,2)([1750]1747,1749,3)([1751]14,44,2)([1752]13,45,2)([1753]12,46,2)([1754]1751,1752,4)([1755]1751,1752,2)([1756]1754,1753,4)([1757]1754,1753,2)([1758]1755,1757,3)([1759]11,47,2)([1760]10,48,2)([1761]9,49,2)([1762]1759,1760,4)([1763]1759,1760,2)([1764]1762,1761,4)([1765]1762,1761,2)([1766]1763,1765,3)([1767]1702,1707,4)([1768]1702,1707,2)([1769]1767,1712,4)([1770]1767,1712,2)([1771]1768,1770,3)([1772]1717,1724,4)([1773]1717,1724,2)([1774]1772,1732,4)([1775]1772,1732,2)([1776]1773,1775,3)([1777]1776,1771,4)([1778]1776,1771,2)([1779]1777,1766,4)([1780]1777,1766,2)([1781]1778,1780,3)([1782]1758,1750,4)([1783]1758,1750,2)([1784]1782,1742,4)([1785]1782,1742,2)([1786]1783,1785,3)([1787]1734,1726,4)([1788]1734,1726,2)([1789]1787,1719,4)([1790]1787,1719,2)([1791]1788,1790,3)([1792]1714,1709,4)([1793]1714,1709,2)([1794]1792,1704,4)([1795]1792,1704,2)([1796]1793,1795,3)([1797]25,34,2)([1798]24,35,2)([1799]23,36,2)([1800]1797,1798,4)([1801]1797,1798,2)([1802]1800,1799,4)([1803]1800,1799,2)([1804]1801,1803,3)([1805]22,37,2)([1806]21,38,2)([1807]20,39,2)([1808]1805,1806,4)([1809]1805,1806,2)([1810]1808,1807,4)([1811]1808,1807,2)([1812]1809,1811,3)([1813]19,40,2)([1814]18,41,2)([1815]17,42,2)([1816]1813,1814,4)([1817]1813,1814,2)([1818]1816,1815,4)([1819]1816,1815,2)([1820]1817,1819,3)([1821]16,43,2)([1822]15,44,2)([1823]14,45,2)([1824]1821,1822,4)([1825]1821,1822,2)([1826]1824,1823,4)([1827]1824,1823,2)([1828]1825,1827,3)([1829]13,46,2)([1830]12,47,2)([1831]11,48,2)([1832]1829,1830,4)([1833]1829,1830,2)([1834]1832,1831,4)([1835]1832,1831,2)([1836]1833,1835,3)([1837]10,49,2)([1838]1837,1779,4)([1839]1837,1779,2)([1840]1838,1784,4)([1841]1838,1784,2)([1842]1839,1841,3)([1843]1789,1794,4)([1844]1789,1794,2)([1845]1843,1802,4)([1846]1843,1802,2)([1847]1844,1846,3)([1848]1847,1842,4)([1849]1847,1842,2)([1850]1848,1836,4)([1851]1848,1836,2)([1852]1849,1851,3)([1853]1828,1820,4)([1854]1828,1820,2)([1855]1853,1812,4)([1856]1853,1812,2)([1857]1854,1856,3)([1858]1804,1796,4)([1859]1804,1796,2)([1860]1858,1791,4)([1861]1858,1791,2)([1862]1859,1861,3)([1863]25,35,2)([1864]1786,1781,4)([1865]1786,1781,2)([1866]1864,1863,4)([1867]1864,1863,2)([1868]1865,1867,3)([1869]24,36,2)([1870]23,37,2)([1871]22,38,2)([1872]1869,1870,4)([1873]1869,1870,2)([1874]1872,1871,4)([1875]1872,1871,2)([1876]1873,1875,3)([1877]21,39,2)([1878]20,40,2)([1879]19,41,2)([1880]1877,1878,4)([1881]1877,1878,2)([1882]1880,1879,4)([1883]1880,1879,2)([1884]1881,1883,3)([1885]18,42,2)([1886]17,43,2)([1887]16,44,2)([1888]1885,1886,4)([1889]1885,1886,2)([1890]1888,1887,4)([1891]1888,1887,2)([1892]1889,1891,3)([1893]15,45,2)([1894]14,46,2)([1895]13,47,2)([1896]1893,1894,4)([1897]1893,1894,2)([1898]1896,1895,4)([1899]1896,1895,2)([1900]1897,1899,3)([1901]12,48,2)([1902]11,49,2)([1903]1901,1902,4)([1904]1901,1902,2)([1905]1903,1850,4)([1906]1903,1850,2)([1907]1904,1906,3)([1908]1855,1860,4)([1909]1855,1860,2)([1910]1908,1866,4)([1911]1908,1866,2)([1912]1909,1911,3)([1913]1912,1907,4)([1914]1912,1907,2)([1915]1913,1900,4)([1916]1913,1900,2)([1917]1914,1916,3)([1918]1892,1884,4)([1919]1892,1884,2)([1920]1918,1876,4)([1921]1918,1876,2)([1922]1919,1921,3)([1923]1868,1862,4)([1924]1868,1862,2)([1925]1923,1857,4)([1926]1923,1857,2)([1927]1924,1926,3)([1928]25,36,2)([1929]24,37,2)([1930]1852,1928,4)([1931]1852,1928,2)([1932]1930,1929,4)([1933]1930,1929,2)([1934]1931,1933,3)([1935]23,38,2)([1936]22,39,2)([1937]21,40,2)([1938]1935,1936,4)([1939]1935,1936,2)([1940]1938,1937,4)([1941]1938,1937,2)([1942]1939,1941,3)([1943]20,41,2)([1944]19,42,2)([1945]18,43,2)([1946]1943,1944,4)([1947]1943,1944,2)([1948]1946,1945,4)([1949]1946,1945,2)([1950]1947,1949,3)([1951]17,44,2)([1952]16,45,2)([1953]15,46,2)([1954]1951,1952,4)([1955]1951,1952,2)([1956]1954,1953,4)([1957]1954,1953,2)([1958]1955,1957,3)([1959]14,47,2)([1960]13,48,2)([1961]12,49,2)([1962]1959,1960,4)([1963]1959,1960,2)([1964]1962,1961,4)([1965]1962,1961,2)([1966]1963,1965,3)([1967]1915,1920,4)([1968]1915,1920,2)([1969]1967,1925,4)([1970]1967,1925,2)([1971]1968,1970,3)([1972]1971,1966,4)([1973]1971,1966,2)([1974]1972,1958,4)([1975]1972,1958,2)([1976]1973,1975,3)([1977]1950,1942,4)([1978]1950,1942,2)([1979]1977,1934,4)([1980]1977,1934,2)([1981]1978,1980,3)([1982]1927,1922,4)([1983]1927,1922,2)([1984]1982,1917,4)([1985]1982,1917,2)([1986]1983,1985,3)([1987]25,37,2)([1988]24,38,2)([1989]23,39,2)([1990]1987,1988,4)([1991]1987,1988,2)([1992]1990,1989,4)([1993]1990,1989,2)([1994]1991,1993,3)([1995]22,40,2)([1996]21,41,2)([1997]20,42,2)([1998]1995,1996,4)([1999]1995,1996,2)([2000]1998,1997,4)([2001]1998,1997,2)([2002]1999,2001,3)([2003]19,43,2)([2004]18,44,2)([2005]17,45,2)([2006]2003,2004,4)([2007]2003,2004,2)([2008]2006,2005,4)([2009]2006,2005,2)([2010]2007,2009,3)([2011]16,46,2)([2012]15,47,2)([2013]14,48,2)([2014]2011,2012,4)([2015]2011,2012,2)([2016]2014,2013,4)([2017]2014,2013,2)([2018]2015,2017,3)([2019]13,49,2)([2020]2019,1974,4)([2021]2019,1974,2)([2022]2020,1979,4)([2023]2020,1979,2)([2024]2021,2023,3)([2025]2024,2018,4)([2026]2024,2018,2)([2027]2025,2010,4)([2028]2025,2010,2)([2029]2026,2028,3)([2030]2002,1994,4)([2031]2002,1994,2)([2032]2030,1986,4)([2033]2030,1986,2)([2034]2031,2033,3)([2035]25,38,2)([2036]1981,1976,4)([2037]1981,1976,2)([2038]2036,2035,4)([2039]2036,2035,2)([2040]2037,2039,3)([2041]24,39,2)([2042]23,40,2)([2043]22,41,2)([2044]2041,2042,4)([2045]2041,2042,2)([2046]2044,2043,4)([2047]2044,2043,2)([2048]2045,2047,3)([2049]21,42,2)([2050]20,43,2)([2051]19,44,2)([2052]2049,2050,4)([2053]2049,2050,2)([2054]2052,2051,4)([2055]2052,2051,2)([2056]2053,2055,3)([2057]18,45,2)([2058]17,46,2)([2059]16,47,2)([2060]2057,2058,4)([2061]2057,2058,2)([2062]2060,2059,4)([2063]2060,2059,2)([2064]2061,2063,3)([2065]15,48,2)([2066]14,49,2)([2067]2065,2066,4)([2068]2065,2066,2)([2069]2067,2027,4)([2070]2067,2027,2)([2071]2068,2070,3)([2072]2071,2064,4)([2073]2071,2064,2)([2074]2072,2056,4)([2075]2072,2056,2)([2076]2073,2075,3)([2077]2048,2040,4)([2078]2048,2040,2)([2079]2077,2034,4)([2080]2077,2034,2)([2081]2078,2080,3)([2082]25,39,2)([2083]24,40,2)([2084]2029,2082,4)([2085]2029,2082,2)([2086]2084,2083,4)([2087]2084,2083,2)([2088]2085,2087,3)([2089]23,41,2)([2090]22,42,2)([2091]21,43,2)([2092]2089,2090,4)([2093]2089,2090,2)([2094]2092,2091,4)([2095]2092,2091,2)([2096]2093,2095,3)([2097]20,44,2)([2098]19,45,2)([2099]18,46,2)([2100]2097,2098,4)([2101]2097,2098,2)([2102]2100,2099,4)([2103]2100,2099,2)([2104]2101,2103,3)([2105]17,47,2)([2106]16,48,2)([2107]15,49,2)([2108]2105,2106,4)([2109]2105,2106,2)([2110]2108,2107,4)([2111]2108,2107,2)([2112]2109,2111,3)([2113]2112,2104,4)([2114]2112,2104,2)([2115]2113,2096,4)([2116]2113,2096,2)([2117]2114,2116,3)([2118]2088,2081,4)([2119]2088,2081,2)([2120]2118,2076,4)([2121]2118,2076,2)([2122]2119,2121,3)([2123]25,40,2)([2124]24,41,2)([2125]23,42,2)([2126]2123,2124,4)([2127]2123,2124,2)([2128]2126,2125,4)([2129]2126,2125,2)([2130]2127,2129,3)([2131]22,43,2)([2132]21,44,2)([2133]20,45,2)([2134]2131,2132,4)([2135]2131,2132,2)([2136]2134,2133,4)([2137]2134,2133,2)([2138]2135,2137,3)([2139]19,46,2)([2140]18,47,2)([2141]17,48,2)([2142]2139,2140,4)([2143]2139,2140,2)([2144]2142,2141,4)([2145]2142,2141,2)([2146]2143,2145,3)([2147]2146,2138,4)([2148]2146,2138,2)([2149]2147,2130,4)([2150]2147,2130,2)([2151]2148,2150,3)([2152]25,41,2)([2153]2122,2117,4)([2154]2122,2117,2)([2155]2153,2152,4)([2156]2153,2152,2)([2157]2154,2156,3)([2158]24,42,2)([2159]23,43,2)([2160]22,44,2)([2161]2158,2159,4)([2162]2158,2159,2)([2163]2161,2160,4)([2164]2161,2160,2)([2165]2162,2164,3)([2166]21,45,2)([2167]20,46,2)([2168]19,47,2)([2169]2166,2167,4)([2170]2166,2167,2)([2171]2169,2168,4)([2172]2169,2168,2)([2173]2170,2172,3)([2174]2173,2165,4)([2175]2173,2165,2)([2176]2174,2157,4)([2177]2174,2157,2)([2178]2175,2177,3)([2179]25,42,2)([2180]24,43,2)([2181]2151,2179,4)([2182]2151,2179,2)([2183]2181,2180,4)([2184]2181,2180,2)([2185]2182,2184,3)([2186]23,44,2)([2187]22,45,2)([2188]21,46,2)([2189]2186,2187,4)([2190]2186,2187,2)([2191]2189,2188,4)([2192]2189,2188,2)([2193]2190,2192,3)([2194]2193,2185,4)([2195]2193,2185,2)([2196]2194,2178,4)([2197]2194,2178,2)([2198]2195,2197,3)([2199]25,43,2)([2200]24,44,2)([2201]23,45,2)([2202]2199,2200,4)([2203]2199,2200,2)([2204]2202,2201,4)([2205]2202,2201,2)([2206]2203,2205,3)([2207]25,44,2)([2208]2206,2198,4)([2209]2206,2198,2)([2210]2208,2207,4)([2211]2208,2207,2)([2212]2209,2211,3)([2213]6,26,2)([2214]5,27,2)([2215]2213,2214,4)([2216]2213,2214,2)([2217]7,26,2)([2218]6,27,2)([2219]2216,2217,4)([2220]2216,2217,2)([2221]2219,2218,4)([2222]2219,2218,2)([2223]2220,2222,3)([2224]5,28,2)([2225]4,29,2)([2226]2224,2225,4)([2227]2224,2225,2)([2228]6,28,2)([2229]2227,2223,4)([2230]2227,2223,2)([2231]2229,2228,4)([2232]2229,2228,2)([2233]2230,2232,3)([2234]5,29,2)([2235]4,30,2)([2236]3,31,2)([2237]2234,2235,4)([2238]2234,2235,2)([2239]2237,2236,4)([2240]2237,2236,2)([2241]2238,2240,3)([2242]5,30,2)([2243]2241,2233,4)([2244]2241,2233,2)([2245]2243,2242,4)([2246]2243,2242,2)([2247]2244,2246,3)([2248]4,31,2)([2249]3,32,2)([2250]2,33,2)([2251]2248,2249,4)([2252]2248,2249,2)([2253]2251,2250,4)([2254]2251,2250,2)([2255]2252,2254,3)([2256]4,32,2)([2257]2255,2247,4)([2258]2255,2247,2)([2259]2257,2256,4)([2260]2257,2256,2)([2261]2258,2260,3)([2262]3,33,2)([2263]2,34,2)([2264]2262,2263,4)([2265]2262,2263,2)([2266]2264,255,4)([2267]2264,255,2)([2268]2265,2267,3)([2269]3,34,2)([2270]2268,2261,4)([2271]2268,2261,2)([2272]2270,2269,4)([2273]2270,2269,2)([2274]2271,2273,3)([2275]2,35,2)([2276]2275,272,4)([2277]2275,272,2)([2278]2276,280,4)([2279]2276,280,2)([2280]2277,2279,3)([2281]2,36,2)([2282]2280,2274,4)([2283]2280,2274,2)([2284]2282,2281,4)([2285]2282,2281,2)([2286]2283,2285,3)([2287]297,304,4)([2288]297,304,2)([2289]2287,312,4)([2290]2287,312,2)([2291]2288,2290,3)([2292]2291,2286,4)([2293]2291,2286,2)([2294]2292,329,4)([2295]2292,329,2)([2296]2293,2295,3)([2297]335,343,4)([2298]335,343,2)([2299]2297,351,4)([2300]2297,351,2)([2301]2298,2300,3)([2302]2301,2296,4)([2303]2301,2296,2)([2304]2302,373,4)([2305]2302,373,2)([2306]2303,2305,3)([2307]381,389,4)([2308]381,389,2)([2309]2307,397,4)([2310]2307,397,2)([2311]2308,2310,3)([2312]2311,2306,4)([2313]2311,2306,2)([2314]2312,425,4)([2315]2312,425,2)([2316]2313,2315,3)([2317]433,441,4)([2318]433,441,2)([2319]2317,449,4)([2320]2317,449,2)([2321]2318,2320,3)([2322]2321,2316,4)([2323]2321,2316,2)([2324]2322,483,4)([2325]2322,483,2)([2326]2323,2325,3)([2327]491,499,4)([2328]491,499,2)([2329]2327,507,4)([2330]2327,507,2)([2331]2328,2330,3)([2332]2331,2326,4)([2333]2331,2326,2)([2334]2332,547,4)([2335]2332,547,2)([2336]2333,2335,3)([2337]555,563,4)([2338]555,563,2)([2339]2337,571,4)([2340]2337,571,2)([2341]2338,2340,3)([2342]2341,2336,4)([2343]2341,2336,2)([2344]2342,617,4)([2345]2342,617,2)([2346]2343,2345,3)([2347]625,633,4)([2348]625,633,2)([2349]2347,641,4)([2350]2347,641,2)([2351]2348,2350,3)([2352]2351,2346,4)([2353]2351,2346,2)([2354]2352,693,4)([2355]2352,693,2)([2356]2353,2355,3)([2357]701,709,4)([2358]701,709,2)([2359]2357,716,4)([2360]2357,716,2)([2361]2358,2360,3)([2362]2361,2356,4)([2363]2361,2356,2)([2364]2362,775,4)([2365]2362,775,2)([2366]2363,2365,3)([2367]783,791,4)([2368]783,791,2)([2369]2367,797,4)([2370]2367,797,2)([2371]2368,2370,3)([2372]2371,2366,4)([2373]2371,2366,2)([2374]2372,855,4)([2375]2372,855,2)([2376]2373,2375,3)([2377]863,871,4)([2378]863,871,2)([2379]2377,877,4)([2380]2377,877,2)([2381]2378,2380,3)([2382]2381,2376,4)([2383]2381,2376,2)([2384]2382,938,4)([2385]2382,938,2)([2386]2383,2385,3)([2387]946,954,4)([2388]946,954,2)([2389]2387,959,4)([2390]2387,959,2)([2391]2388,2390,3)([2392]2391,2386,4)([2393]2391,2386,2)([2394]2392,1020,4)([2395]2392,1020,2)([2396]2393,2395,3)([2397]1028,1035,4)([2398]1028,1035,2)([2399]2397,1040,4)([2400]2397,1040,2)([2401]2398,2400,3)([2402]2401,2396,4)([2403]2401,2396,2)([2404]2402,1101,4)([2405]2402,1101,2)([2406]2403,2405,3)([2407]1109,1115,4)([2408]1109,1115,2)([2409]2407,1120,4)([2410]2407,1120,2)([2411]2408,2410,3)([2412]2411,2406,4)([2413]2411,2406,2)([2414]2412,1181,4)([2415]2412,1181,2)([2416]2413,2415,3)([2417]1189,1194,4)([2418]1189,1194,2)([2419]2417,1199,4)([2420]2417,1199,2)([2421]2418,2420,3)([2422]2421,2416,4)([2423]2421,2416,2)([2424]2422,1260,4)([2425]2422,1260,2)([2426]2423,2425,3)([2427]1268,1273,4)([2428]1268,1273,2)([2429]2427,1278,4)([2430]2427,1278,2)([2431]2428,2430,3)([2432]2431,2426,4)([2433]2431,2426,2)([2434]2432,1339,4)([2435]2432,1339,2)([2436]2433,2435,3)([2437]1347,1353,4)([2438]1347,1353,2)([2439]2437,1358,4)([2440]2437,1358,2)([2441]2438,2440,3)([2442]2441,2436,4)([2443]2441,2436,2)([2444]2442,1419,4)([2445]2442,1419,2)([2446]2443,2445,3)([2447]1427,1434,4)([2448]1427,1434,2)([2449]2447,1439,4)([2450]2447,1439,2)([2451]2448,2450,3)([2452]2451,2446,4)([2453]2451,2446,2)([2454]2452,1500,4)([2455]2452,1500,2)([2456]2453,2455,3)([2457]1508,1516,4)([2458]1508,1516,2)([2459]2457,1521,4)([2460]2457,1521,2)([2461]2458,2460,3)([2462]2461,2456,4)([2463]2461,2456,2)([2464]2462,1582,4)([2465]2462,1582,2)([2466]2463,2465,3)([2467]1590,1598,4)([2468]1590,1598,2)([2469]2467,1604,4)([2470]2467,1604,2)([2471]2468,2470,3)([2472]2471,2466,4)([2473]2471,2466,2)([2474]2472,1664,4)([2475]2472,1664,2)([2476]2473,2475,3)([2477]1672,1680,4)([2478]1672,1680,2)([2479]2477,1687,4)([2480]2477,1687,2)([2481]2478,2480,3)([2482]2481,2476,4)([2483]2481,2476,2)([2484]2482,1740,4)([2485]2482,1740,2)([2486]2483,2485,3)([2487]1748,1756,4)([2488]1748,1756,2)([2489]2487,1764,4)([2490]2487,1764,2)([2491]2488,2490,3)([2492]2491,2486,4)([2493]2491,2486,2)([2494]2492,1810,4)([2495]2492,1810,2)([2496]2493,2495,3)([2497]1818,1826,4)([2498]1818,1826,2)([2499]2497,1834,4)([2500]2497,1834,2)([2501]2498,2500,3)([2502]2501,2496,4)([2503]2501,2496,2)([2504]2502,1874,4)([2505]2502,1874,2)([2506]2503,2505,3)([2507]1882,1890,4)([2508]1882,1890,2)([2509]2507,1898,4)([2510]2507,1898,2)([2511]2508,2510,3)([2512]2511,2506,4)([2513]2511,2506,2)([2514]2512,1932,4)([2515]2512,1932,2)([2516]2513,2515,3)([2517]1940,1948,4)([2518]1940,1948,2)([2519]2517,1956,4)([2520]2517,1956,2)([2521]2518,2520,3)([2522]2521,2516,4)([2523]2521,2516,2)([2524]2522,1984,4)([2525]2522,1984,2)([2526]2523,2525,3)([2527]1992,2000,4)([2528]1992,2000,2)([2529]2527,2008,4)([2530]2527,2008,2)([2531]2528,2530,3)([2532]2531,2526,4)([2533]2531,2526,2)([2534]2532,2032,4)([2535]2532,2032,2)([2536]2533,2535,3)([2537]2038,2046,4)([2538]2038,2046,2)([2539]2537,2054,4)([2540]2537,2054,2)([2541]2538,2540,3)([2542]2541,2536,4)([2543]2541,2536,2)([2544]2542,2074,4)([2545]2542,2074,2)([2546]2543,2545,3)([2547]2079,2086,4)([2548]2079,2086,2)([2549]2547,2094,4)([2550]2547,2094,2)([2551]2548,2550,3)([2552]16,49,2)([2553]2551,2546,4)([2554]2551,2546,2)([2555]2553,2552,4)([2556]2553,2552,2)([2557]2554,2556,3)([2558]2115,2120,4)([2559]2115,2120,2)([2560]2558,2128,4)([2561]2558,2128,2)([2562]2559,2561,3)([2563]18,48,2)([2564]2562,2557,4)([2565]2562,2557,2)([2566]2564,2563,4)([2567]2564,2563,2)([2568]2565,2567,3)([2569]17,49,2)([2570]2569,2149,4)([2571]2569,2149,2)([2572]2570,2155,4)([2573]2570,2155,2)([2574]2571,2573,3)([2575]20,47,2)([2576]2574,2568,4)([2577]2574,2568,2)([2578]2576,2575,4)([2579]2576,2575,2)([2580]2577,2579,3)([2581]19,48,2)([2582]18,49,2)([2583]2581,2582,4)([2584]2581,2582,2)([2585]2583,2176,4)([2586]2583,2176,2)([2587]2584,2586,3)([2588]22,46,2)([2589]2587,2580,4)([2590]2587,2580,2)([2591]2589,2588,4)([2592]2589,2588,2)([2593]2590,2592,3)([2594]21,47,2)([2595]20,48,2)([2596]19,49,2)([2597]2594,2595,4)([2598]2594,2595,2)([2599]2597,2596,4)([2600]2597,2596,2)([2601]2598,2600,3)([2602]24,45,2)([2603]2601,2593,4)([2604]2601,2593,2)([2605]2603,2602,4)([2606]2603,2602,2)([2607]2604,2606,3)([2608]23,46,2)([2609]22,47,2)([2610]21,48,2)([2611]2608,2609,4)([2612]2608,2609,2)([2613]2611,2610,4)([2614]2611,2610,2)([2615]2612,2614,3)([2616]2615,2607,4)([2617]2615,2607,2)([2618]2616,2212,4)([2619]2616,2212,2)([2620]2617,2619,3)([2621]25,45,2)([2622]24,46,2)([2623]23,47,2)([2624]2621,2622,4)([2625]2621,2622,2)([2626]2624,2623,4)([2627]2624,2623,2)([2628]2625,2627,3)([2629]25,46,2)([2630]2628,2620,4)([2631]2628,2620,2)([2632]2630,2629,4)([2633]2630,2629,2)([2634]2631,2633,3)([2635]5,26,2)([2636]4,27,2)([2637]2635,2636,4)([2638]2635,2636,2)([2639]4,28,2)([2640]3,29,2)([2641]2638,2639,4)([2642]2638,2639,2)([2643]2641,2640,4)([2644]2641,2640,2)([2645]2642,2644,3)([2646]3,30,2)([2647]2,31,2)([2648]2645,2646,4)([2649]2645,2646,2)([2650]2648,2647,4)([2651]2648,2647,2)([2652]2649,2651,3)([2653]2,32,2)([2654]2652,2653,4)([2655]2652,2653,2)([2656]2654,239,4)([2657]2654,239,2)([2658]2655,2657,3)([2659]2658,245,4)([2660]2658,245,2)([2661]2659,250,4)([2662]2659,250,2)([2663]2660,2662,3)([2664]2663,263,4)([2665]2663,263,2)([2666]2664,268,4)([2667]2664,268,2)([2668]2665,2667,3)([2669]2668,288,4)([2670]2668,288,2)([2671]2669,293,4)([2672]2669,293,2)([2673]2670,2672,3)([2674]2673,320,4)([2675]2673,320,2)([2676]2674,325,4)([2677]2674,325,2)([2678]2675,2677,3)([2679]2678,359,4)([2680]2678,359,2)([2681]2679,364,4)([2682]2679,364,2)([2683]2680,2682,3)([2684]2683,405,4)([2685]2683,405,2)([2686]2684,409,4)([2687]2684,409,2)([2688]2685,2687,3)([2689]2688,457,4)([2690]2688,457,2)([2691]2689,460,4)([2692]2689,460,2)([2693]2690,2692,3)([2694]2693,514,4)([2695]2693,514,2)([2696]2694,517,4)([2697]2694,517,2)([2698]2695,2697,3)([2699]2698,577,4)([2700]2698,577,2)([2701]2699,580,4)([2702]2699,580,2)([2703]2700,2702,3)([2704]2703,646,4)([2705]2703,646,2)([2706]2704,649,4)([2707]2704,649,2)([2708]2705,2707,3)([2709]2708,721,4)([2710]2708,721,2)([2711]2709,724,4)([2712]2709,724,2)([2713]2710,2712,3)([2714]2713,802,4)([2715]2713,802,2)([2716]2714,805,4)([2717]2714,805,2)([2718]2715,2717,3)([2719]2718,882,4)([2720]2718,882,2)([2721]2719,887,4)([2722]2719,887,2)([2723]2720,2722,3)([2724]2723,964,4)([2725]2723,964,2)([2726]2724,969,4)([2727]2724,969,2)([2728]2725,2727,3)([2729]2728,1045,4)([2730]2728,1045,2)([2731]2729,1050,4)([2732]2729,1050,2)([2733]2730,2732,3)([2734]2733,1125,4)([2735]2733,1125,2)([2736]2734,1130,4)([2737]2734,1130,2)([2738]2735,2737,3)([2739]2738,1204,4)([2740]2738,1204,2)([2741]2739,1209,4)([2742]2739,1209,2)([2743]2740,2742,3)([2744]2743,1283,4)([2745]2743,1283,2)([2746]2744,1288,4)([2747]2744,1288,2)([2748]2745,2747,3)([2749]2748,1363,4)([2750]2748,1363,2)([2751]2749,1368,4)([2752]2749,1368,2)([2753]2750,2752,3)([2754]2753,1444,4)([2755]2753,1444,2)([2756]2754,1449,4)([2757]2754,1449,2)([2758]2755,2757,3)([2759]2758,1526,4)([2760]2758,1526,2)([2761]2759,1531,4)([2762]2759,1531,2)([2763]2760,2762,3)([2764]2763,1609,4)([2765]2763,1609,2)([2766]2764,1614,4)([2767]2764,1614,2)([2768]2765,2767,3)([2769]2768,1692,4)([2770]2768,1692,2)([2771]2769,1697,4)([2772]2769,1697,2)([2773]2770,2772,3)([2774]2773,1769,4)([2775]2773,1769,2)([2776]2774,1774,4)([2777]2774,1774,2)([2778]2775,2777,3)([2779]2778,1840,4)([2780]2778,1840,2)([2781]2779,1845,4)([2782]2779,1845,2)([2783]2780,2782,3)([2784]2783,1905,4)([2785]2783,1905,2)([2786]2784,1910,4)([2787]2784,1910,2)([2788]2785,2787,3)([2789]2788,1964,4)([2790]2788,1964,2)([2791]2789,1969,4)([2792]2789,1969,2)([2793]2790,2792,3)([2794]2793,2016,4)([2795]2793,2016,2)([2796]2794,2022,4)([2797]2794,2022,2)([2798]2795,2797,3)([2799]2798,2062,4)([2800]2798,2062,2)([2801]2799,2069,4)([2802]2799,2069,2)([2803]2800,2802,3)([2804]2803,2102,4)([2805]2803,2102,2)([2806]2804,2110,4)([2807]2804,2110,2)([2808]2805,2807,3)([2809]2808,2136,4)([2810]2808,2136,2)([2811]2809,2144,4)([2812]2809,2144,2)([2813]2810,2812,3)([2814]2813,2163,4)([2815]2813,2163,2)([2816]2814,2171,4)([2817]2814,2171,2)([2818]2815,2817,3)([2819]2818,2183,4)([2820]2818,2183,2)([2821]2819,2191,4)([2822]2819,2191,2)([2823]2820,2822,3)([2824]2823,2196,4)([2825]2823,2196,2)([2826]2824,2204,4)([2827]2824,2204,2)([2828]2825,2827,3)([2829]20,49,2)([2830]2828,2829,4)([2831]2828,2829,2)([2832]2830,2210,4)([2833]2830,2210,2)([2834]2831,2833,3)([2835]22,48,2)([2836]21,49,2)([2837]2834,2835,4)([2838]2834,2835,2)([2839]2837,2836,4)([2840]2837,2836,2)([2841]2838,2840,3)([2842]24,47,2)([2843]23,48,2)([2844]2841,2842,4)([2845]2841,2842,2)([2846]2844,2843,4)([2847]2844,2843,2)([2848]2845,2847,3)([2849]25,47,2)([2850]2848,2634,4)([2851]2848,2634,2)([2852]2850,2849,4)([2853]2850,2849,2)([2854]2851,2853,3)([2855]4,26,2)([2856]3,27,2)([2857]2855,2856,4)([2858]2855,2856,2)([2859]3,28,2)([2860]2,29,2)([2861]2858,2859,4)([2862]2858,2859,2)([2863]2861,2860,4)([2864]2861,2860,2)([2865]2862,2864,3)([2866]2,30,2)([2867]2865,2866,4)([2868]2865,2866,2)([2869]2867,2215,4)([2870]2867,2215,2)([2871]2868,2870,3)([2872]2871,2221,4)([2873]2871,2221,2)([2874]2872,2226,4)([2875]2872,2226,2)([2876]2873,2875,3)([2877]2876,2231,4)([2878]2876,2231,2)([2879]2877,2239,4)([2880]2877,2239,2)([2881]2878,2880,3)([2882]2881,2245,4)([2883]2881,2245,2)([2884]2882,2253,4)([2885]2882,2253,2)([2886]2883,2885,3)([2887]2886,2259,4)([2888]2886,2259,2)([2889]2887,2266,4)([2890]2887,2266,2)([2891]2888,2890,3)([2892]2891,2272,4)([2893]2891,2272,2)([2894]2892,2278,4)([2895]2892,2278,2)([2896]2893,2895,3)([2897]2896,2284,4)([2898]2896,2284,2)([2899]2897,2289,4)([2900]2897,2289,2)([2901]2898,2900,3)([2902]2901,2294,4)([2903]2901,2294,2)([2904]2902,2299,4)([2905]2902,2299,2)([2906]2903,2905,3)([2907]2906,2304,4)([2908]2906,2304,2)([2909]2907,2309,4)([2910]2907,2309,2)([2911]2908,2910,3)([2912]2911,2314,4)([2913]2911,2314,2)([2914]2912,2319,4)([2915]2912,2319,2)([2916]2913,2915,3)([2917]2916,2324,4)([2918]2916,2324,2)([2919]2917,2329,4)([2920]2917,2329,2)([2921]2918,2920,3)([2922]2921,2334,4)([2923]2921,2334,2)([2924]2922,2339,4)([2925]2922,2339,2)([2926]2923,2925,3)([2927]2926,2344,4)([2928]2926,2344,2)([2929]2927,2349,4)([2930]2927,2349,2)([2931]2928,2930,3)([2932]2931,2354,4)([2933]2931,2354,2)([2934]2932,2359,4)([2935]2932,2359,2)([2936]2933,2935,3)([2937]2936,2364,4)([2938]2936,2364,2)([2939]2937,2369,4)([2940]2937,2369,2)([2941]2938,2940,3)([2942]2941,2374,4)([2943]2941,2374,2)([2944]2942,2379,4)([2945]2942,2379,2)([2946]2943,2945,3)([2947]2946,2384,4)([2948]2946,2384,2)([2949]2947,2389,4)([2950]2947,2389,2)([2951]2948,2950,3)([2952]2951,2394,4)([2953]2951,2394,2)([2954]2952,2399,4)([2955]2952,2399,2)([2956]2953,2955,3)([2957]2956,2404,4)([2958]2956,2404,2)([2959]2957,2409,4)([2960]2957,2409,2)([2961]2958,2960,3)([2962]2961,2414,4)([2963]2961,2414,2)([2964]2962,2419,4)([2965]2962,2419,2)([2966]2963,2965,3)([2967]2966,2424,4)([2968]2966,2424,2)([2969]2967,2429,4)([2970]2967,2429,2)([2971]2968,2970,3)([2972]2971,2434,4)([2973]2971,2434,2)([2974]2972,2439,4)([2975]2972,2439,2)([2976]2973,2975,3)([2977]2976,2444,4)([2978]2976,2444,2)([2979]2977,2449,4)([2980]2977,2449,2)([2981]2978,2980,3)([2982]2981,2454,4)([2983]2981,2454,2)([2984]2982,2459,4)([2985]2982,2459,2)([2986]2983,2985,3)([2987]2986,2464,4)([2988]2986,2464,2)([2989]2987,2469,4)([2990]2987,2469,2)([2991]2988,2990,3)([2992]2991,2474,4)([2993]2991,2474,2)([2994]2992,2479,4)([2995]2992,2479,2)([2996]2993,2995,3)([2997]2996,2484,4)([2998]2996,2484,2)([2999]2997,2489,4)([3000]2997,2489,2)([3001]2998,3000,3)([3002]3001,2494,4)([3003]3001,2494,2)([3004]3002,2499,4)([3005]3002,2499,2)([3006]3003,3005,3)([3007]3006,2504,4)([3008]3006,2504,2)([3009]3007,2509,4)([3010]3007,2509,2)([3011]3008,3010,3)([3012]3011,2514,4)([3013]3011,2514,2)([3014]3012,2519,4)([3015]3012,2519,2)([3016]3013,3015,3)([3017]3016,2524,4)([3018]3016,2524,2)([3019]3017,2529,4)([3020]3017,2529,2)([3021]3018,3020,3)([3022]3021,2534,4)([3023]3021,2534,2)([3024]3022,2539,4)([3025]3022,2539,2)([3026]3023,3025,3)([3027]3026,2544,4)([3028]3026,2544,2)([3029]3027,2549,4)([3030]3027,2549,2)([3031]3028,3030,3)([3032]3031,2555,4)([3033]3031,2555,2)([3034]3032,2560,4)([3035]3032,2560,2)([3036]3033,3035,3)([3037]3036,2566,4)([3038]3036,2566,2)([3039]3037,2572,4)([3040]3037,2572,2)([3041]3038,3040,3)([3042]3041,2578,4)([3043]3041,2578,2)([3044]3042,2585,4)([3045]3042,2585,2)([3046]3043,3045,3)([3047]3046,2591,4)([3048]3046,2591,2)([3049]3047,2599,4)([3050]3047,2599,2)([3051]3048,3050,3)([3052]3051,2605,4)([3053]3051,2605,2)([3054]3052,2613,4)([3055]3052,2613,2)([3056]3053,3055,3)([3057]3056,2618,4)([3058]3056,2618,2)([3059]3057,2626,4)([3060]3057,2626,2)([3061]3058,3060,3)([3062]22,49,2)([3063]3061,3062,4)([3064]3061,3062,2)([3065]3063,2632,4)([3066]3063,2632,2)([3067]3064,3066,3)([3068]24,48,2)([3069]23,49,2)([3070]3067,3068,4)([3071]3067,3068,2)([3072]3070,3069,4)([3073]3070,3069,2)([3074]3071,3073,3)([3075]25,48,2)([3076]3074,2854,4)([3077]3074,2854,2)([3078]3076,3075,4)([3079]3076,3075,2)([3080]3077,3079,3)([3081]2,26,2)([3082]3,26,2)([3083]2,28,2)([3084]24,49,2)([3085]2,27,2)([3086]25,49,2)([3087]3082,3085,4)([3088]3082,3085,4)([3089]3082,3085,2)([3090]3083,2857,4)([3091]3083,2857,4)([3092]3083,2857,2)([3093]3091,3089,4)([3094]3091,3089,2)([3095]3092,3094,3)([3096]2637,2863,4)([3097]2637,2863,4)([3098]2637,2863,2)([3099]3097,3095,4)([3100]3097,3095,2)([3101]3098,3100,3)([3102]2643,2869,4)([3103]2643,2869,4)([3104]2643,2869,2)([3105]3103,3101,4)([3106]3103,3101,2)([3107]3104,3106,3)([3108]3087,3096,2)([3109]3090,3102,2)([3110]3108,3109,2)([3111]3110,3110,1)([3112]3107,3111,2)([3113]2650,2874,4)([3114]2650,2874,4)([3115]2650,2874,2)([3116]3114,3112,4)([3117]3114,3112,2)([3118]3115,3117,3)([3119]2656,2879,4)([3120]2656,2879,4)([3121]2656,2879,2)([3122]3120,3118,4)([3123]3120,3118,2)([3124]3121,3123,3)([3125]2661,2884,4)([3126]2661,2884,4)([3127]2661,2884,2)([3128]3126,3124,4)([3129]3126,3124,2)([3130]3127,3129,3)([3131]2666,2889,4)([3132]2666,2889,4)([3133]2666,2889,2)([3134]3132,3130,4)([3135]3132,3130,2)([3136]3133,3135,3)([3137]3113,3125,2)([3138]3119,3131,2)([3139]3137,3138,2)([3140]3112,3139,2)([3141]3139,3139,1)([3142]3136,3141,2)([3143]3140,3142,4)([3144]2671,2894,4)([3145]2671,2894,4)([3146]2671,2894,2)([3147]3145,3143,4)([3148]3145,3143,2)([3149]3146,3148,3)([3150]2676,2899,4)([3151]2676,2899,4)([3152]2676,2899,2)([3153]3151,3149,4)([3154]3151,3149,2)([3155]3152,3154,3)([3156]2681,2904,4)([3157]2681,2904,4)([3158]2681,2904,2)([3159]3157,3155,4)([3160]3157,3155,2)([3161]3158,3160,3)([3162]2686,2909,4)([3163]2686,2909,4)([3164]2686,2909,2)([3165]3163,3161,4)([3166]3163,3161,2)([3167]3164,3166,3)([3168]3144,3156,2)([3169]3150,3162,2)([3170]3168,3169,2)([3171]3143,3170,2)([3172]3170,3170,1)([3173]3167,3172,2)([3174]3171,3173,4)([3175]2691,2914,4)([3176]2691,2914,4)([3177]2691,2914,2)([3178]3176,3174,4)([3179]3176,3174,2)([3180]3177,3179,3)([3181]2696,2919,4)([3182]2696,2919,4)([3183]2696,2919,2)([3184]3182,3180,4)([3185]3182,3180,2)([3186]3183,3185,3)([3187]2701,2924,4)([3188]2701,2924,4)([3189]2701,2924,2)([3190]3188,3186,4)([3191]3188,3186,2)([3192]3189,3191,3)([3193]2706,2929,4)([3194]2706,2929,4)([3195]2706,2929,2)([3196]3194,3192,4)([3197]3194,3192,2)([3198]3195,3197,3)([3199]3175,3187,2)([3200]3181,3193,2)([3201]3199,3200,2)([3202]3174,3201,2)([3203]3201,3201,1)([3204]3198,3203,2)([3205]3202,3204,4)([3206]2711,2934,4)([3207]2711,2934,4)([3208]2711,2934,2)([3209]3207,3205,4)([3210]3207,3205,2)([3211]3208,3210,3)([3212]2716,2939,4)([3213]2716,2939,4)([3214]2716,2939,2)([3215]3213,3211,4)([3216]3213,3211,2)([3217]3214,3216,3)([3218]2721,2944,4)([3219]2721,2944,4)([3220]2721,2944,2)([3221]3219,3217,4)([3222]3219,3217,2)([3223]3220,3222,3)([3224]2726,2949,4)([3225]2726,2949,4)([3226]2726,2949,2)([3227]3225,3223,4)([3228]3225,3223,2)([3229]3226,3228,3)([3230]3206,3218,2)([3231]3212,3224,2)([3232]3230,3231,2)([3233]3205,3232,2)([3234]3232,3232,1)([3235]3229,3234,2)([3236]3233,3235,4)([3237]2731,2954,4)([3238]2731,2954,4)([3239]2731,2954,2)([3240]3238,3236,4)([3241]3238,3236,2)([3242]3239,3241,3)([3243]2736,2959,4)([3244]2736,2959,4)([3245]2736,2959,2)([3246]3244,3242,4)([3247]3244,3242,2)([3248]3245,3247,3)([3249]2741,2964,4)([3250]2741,2964,4)([3251]2741,2964,2)([3252]3250,3248,4)([3253]3250,3248,2)([3254]3251,3253,3)([3255]2746,2969,4)([3256]2746,2969,4)([3257]2746,2969,2)([3258]3256,3254,4)([3259]3256,3254,2)([3260]3257,3259,3)([3261]3237,3249,2)([3262]3243,3255,2)([3263]3261,3262,2)([3264]3236,3263,2)([3265]3263,3263,1)([3266]3260,3265,2)([3267]3264,3266,4)([3268]2751,2974,4)([3269]2751,2974,4)([3270]2751,2974,2)([3271]3269,3267,4)([3272]3269,3267,2)([3273]3270,3272,3)([3274]2756,2979,4)([3275]2756,2979,4)([3276]2756,2979,2)([3277]3275,3273,4)([3278]3275,3273,2)([3279]3276,3278,3)([3280]2761,2984,4)([3281]2761,2984,4)([3282]2761,2984,2)([3283]3281,3279,4)([3284]3281,3279,2)([3285]3282,3284,3)([3286]2766,2989,4)([3287]2766,2989,4)([3288]2766,2989,2)([3289]3287,3285,4)([3290]3287,3285,2)([3291]3288,3290,3)([3292]3268,3280,2)([3293]3274,3286,2)([3294]3292,3293,2)([3295]3267,3294,2)([3296]3294,3294,1)([3297]3291,3296,2)([3298]3295,3297,4)([3299]2771,2994,4)([3300]2771,2994,4)([3301]2771,2994,2)([3302]3300,3298,4)([3303]3300,3298,2)([3304]3301,3303,3)([3305]2776,2999,4)([3306]2776,2999,4)([3307]2776,2999,2)([3308]3306,3304,4)([3309]3306,3304,2)([3310]3307,3309,3)([3311]2781,3004,4)([3312]2781,3004,4)([3313]2781,3004,2)([3314]3312,3310,4)([3315]3312,3310,2)([3316]3313,3315,3)([3317]2786,3009,4)([3318]2786,3009,4)([3319]2786,3009,2)([3320]3318,3316,4)([3321]3318,3316,2)([3322]3319,3321,3)([3323]3299,3311,2)([3324]3305,3317,2)([3325]3323,3324,2)([3326]3298,3325,2)([3327]3325,3325,1)([3328]3322,3327,2)([3329]3326,3328,4)([3330]2791,3014,4)([3331]2791,3014,4)([3332]2791,3014,2)([3333]3331,3329,4)([3334]3331,3329,2)([3335]3332,3334,3)([3336]2796,3019,4)([3337]2796,3019,4)([3338]2796,3019,2)([3339]3337,3335,4)([3340]3337,3335,2)([3341]3338,3340,3)([3342]2801,3024,4)([3343]2801,3024,4)([3344]2801,3024,2)([3345]3343,3341,4)([3346]3343,3341,2)([3347]3344,3346,3)([3348]2806,3029,4)([3349]2806,3029,4)([3350]2806,3029,2)([3351]3349,3347,4)([3352]3349,3347,2)([3353]3350,3352,3)([3354]3330,3342,2)([3355]3336,3348,2)([3356]3354,3355,2)([3357]3329,3356,2)([3358]3356,3356,1)([3359]3353,3358,2)([3360]3357,3359,4)([3361]2811,3034,4)([3362]2811,3034,4)([3363]2811,3034,2)([3364]3362,3360,4)([3365]3362,3360,2)([3366]3363,3365,3)([3367]2816,3039,4)([3368]2816,3039,4)([3369]2816,3039,2)([3370]3368,3366,4)([3371]3368,3366,2)([3372]3369,3371,3)([3373]2821,3044,4)([3374]2821,3044,4)([3375]2821,3044,2)([3376]3374,3372,4)([3377]3374,3372,2)([3378]3375,3377,3)([3379]2826,3049,4)([3380]2826,3049,4)([3381]2826,3049,2)([3382]3380,3378,4)([3383]3380,3378,2)([3384]3381,3383,3)([3385]3361,3373,2)([3386]3367,3379,2)([3387]3385,3386,2)([3388]3360,3387,2)([3389]3387,3387,1)([3390]3384,3389,2)([3391]3388,3390,4)([3392]2832,3054,4)([3393]2832,3054,4)([3394]2832,3054,2)([3395]3393,3391,4)([3396]3393,3391,2)([3397]3394,3396,3)([3398]2839,3059,4)([3399]2839,3059,4)([3400]2839,3059,2)([3401]3399,3397,4)([3402]3399,3397,2)([3403]3400,3402,3)([3404]2846,3065,4)([3405]2846,3065,4)([3406]2846,3065,2)([3407]3405,3403,4)([3408]3405,3403,2)([3409]3406,3408,3)([3410]2852,3072,4)([3411]2852,3072,4)([3412]2852,3072,2)([3413]3411,3409,4)([3414]3411,3409,2)([3415]3412,3414,3)([3416]3392,3404,2)([3417]3398,3410,2)([3418]3416,3417,2)([3419]3391,3418,2)([3420]3418,3418,1)([3421]3415,3420,2)([3422]3419,3421,4)([3423]3084,3078,4)([3424]3084,3078,4)([3425]3084,3078,2)([3426]3424,3422,4)([3427]3424,3422,2)([3428]3425,3427,3)([3429]3080,3086,4)([3430]3080,3086,4)([3431]3080,3086,2)([3432]3430,3428,4)([3433]3430,3428,2)([3434]3431,3433,3)([3435]3423,3429,2)([3436]3422,3435,2)([3437]3435,3435,1)([3438]3434,3437,2)([3439]3436,3438,4)(3081,3088,3093,3099,3105,3116,3122,3128,3134,3147,3153,3159,3165,3178,3184,3190,3196,3209,3215,3221,3227,3240,3246,3252,3258,3271,3277,3283,3289,3302,3308,3314,3320,3333,3339,3345,3351,3364,3370,3376,3382,3395,3401,3407,3413,3426,3432,3439) |