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