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