dissertation_thesis/ariths-gen-mig
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
ariths-gen-mig/generated_circuits/cgp_circuits/flat/s_csamul_cla24.cgp
Jan Klhůfek 56c86c13ca
New multipliers (#13) 
* #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>
2022-04-17 16:00:00 +02:00

1 line
59 KiB
Plaintext
Raw Permalink Blame History

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