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