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
117 KiB
Plaintext
1 line
117 KiB
Plaintext
{64,64,1,6676,2,1,0}([66]2,34,2)([67]3,34,2)([68]4,34,2)([69]5,34,2)([70]6,34,2)([71]7,34,2)([72]8,34,2)([73]9,34,2)([74]10,34,2)([75]11,34,2)([76]12,34,2)([77]13,34,2)([78]14,34,2)([79]15,34,2)([80]16,34,2)([81]17,34,2)([82]18,34,2)([83]19,34,2)([84]20,34,2)([85]21,34,2)([86]22,34,2)([87]23,34,2)([88]24,34,2)([89]25,34,2)([90]26,34,2)([91]27,34,2)([92]28,34,2)([93]29,34,2)([94]30,34,2)([95]31,34,2)([96]32,34,2)([97]33,34,5)([98]2,35,2)([99]3,35,2)([100]4,35,2)([101]5,35,2)([102]6,35,2)([103]7,35,2)([104]8,35,2)([105]9,35,2)([106]10,35,2)([107]11,35,2)([108]12,35,2)([109]13,35,2)([110]14,35,2)([111]15,35,2)([112]16,35,2)([113]17,35,2)([114]18,35,2)([115]19,35,2)([116]20,35,2)([117]21,35,2)([118]22,35,2)([119]23,35,2)([120]24,35,2)([121]25,35,2)([122]26,35,2)([123]27,35,2)([124]28,35,2)([125]29,35,2)([126]30,35,2)([127]31,35,2)([128]32,35,2)([129]33,35,5)([130]2,36,2)([131]3,36,2)([132]4,36,2)([133]5,36,2)([134]6,36,2)([135]7,36,2)([136]8,36,2)([137]9,36,2)([138]10,36,2)([139]11,36,2)([140]12,36,2)([141]13,36,2)([142]14,36,2)([143]15,36,2)([144]16,36,2)([145]17,36,2)([146]18,36,2)([147]19,36,2)([148]20,36,2)([149]21,36,2)([150]22,36,2)([151]23,36,2)([152]24,36,2)([153]25,36,2)([154]26,36,2)([155]27,36,2)([156]28,36,2)([157]29,36,2)([158]30,36,2)([159]31,36,2)([160]32,36,2)([161]33,36,5)([162]2,37,2)([163]3,37,2)([164]4,37,2)([165]5,37,2)([166]6,37,2)([167]7,37,2)([168]8,37,2)([169]9,37,2)([170]10,37,2)([171]11,37,2)([172]12,37,2)([173]13,37,2)([174]14,37,2)([175]15,37,2)([176]16,37,2)([177]17,37,2)([178]18,37,2)([179]19,37,2)([180]20,37,2)([181]21,37,2)([182]22,37,2)([183]23,37,2)([184]24,37,2)([185]25,37,2)([186]26,37,2)([187]27,37,2)([188]28,37,2)([189]29,37,2)([190]30,37,2)([191]31,37,2)([192]32,37,2)([193]33,37,5)([194]2,38,2)([195]3,38,2)([196]4,38,2)([197]5,38,2)([198]6,38,2)([199]7,38,2)([200]8,38,2)([201]9,38,2)([202]10,38,2)([203]11,38,2)([204]12,38,2)([205]13,38,2)([206]14,38,2)([207]15,38,2)([208]16,38,2)([209]17,38,2)([210]18,38,2)([211]19,38,2)([212]20,38,2)([213]21,38,2)([214]22,38,2)([215]23,38,2)([216]24,38,2)([217]25,38,2)([218]26,38,2)([219]27,38,2)([220]28,38,2)([221]29,38,2)([222]30,38,2)([223]31,38,2)([224]32,38,2)([225]33,38,5)([226]2,39,2)([227]3,39,2)([228]4,39,2)([229]5,39,2)([230]6,39,2)([231]7,39,2)([232]8,39,2)([233]9,39,2)([234]10,39,2)([235]11,39,2)([236]12,39,2)([237]13,39,2)([238]14,39,2)([239]15,39,2)([240]16,39,2)([241]17,39,2)([242]18,39,2)([243]19,39,2)([244]20,39,2)([245]21,39,2)([246]22,39,2)([247]23,39,2)([248]24,39,2)([249]25,39,2)([250]26,39,2)([251]27,39,2)([252]28,39,2)([253]29,39,2)([254]30,39,2)([255]31,39,2)([256]32,39,2)([257]33,39,5)([258]2,40,2)([259]3,40,2)([260]4,40,2)([261]5,40,2)([262]6,40,2)([263]7,40,2)([264]8,40,2)([265]9,40,2)([266]10,40,2)([267]11,40,2)([268]12,40,2)([269]13,40,2)([270]14,40,2)([271]15,40,2)([272]16,40,2)([273]17,40,2)([274]18,40,2)([275]19,40,2)([276]20,40,2)([277]21,40,2)([278]22,40,2)([279]23,40,2)([280]24,40,2)([281]25,40,2)([282]26,40,2)([283]27,40,2)([284]28,40,2)([285]29,40,2)([286]30,40,2)([287]31,40,2)([288]32,40,2)([289]33,40,5)([290]2,41,2)([291]3,41,2)([292]4,41,2)([293]5,41,2)([294]6,41,2)([295]7,41,2)([296]8,41,2)([297]9,41,2)([298]10,41,2)([299]11,41,2)([300]12,41,2)([301]13,41,2)([302]14,41,2)([303]15,41,2)([304]16,41,2)([305]17,41,2)([306]18,41,2)([307]19,41,2)([308]20,41,2)([309]21,41,2)([310]22,41,2)([311]23,41,2)([312]24,41,2)([313]25,41,2)([314]26,41,2)([315]27,41,2)([316]28,41,2)([317]29,41,2)([318]30,41,2)([319]31,41,2)([320]32,41,2)([321]33,41,5)([322]2,42,2)([323]3,42,2)([324]4,42,2)([325]5,42,2)([326]6,42,2)([327]7,42,2)([328]8,42,2)([329]9,42,2)([330]10,42,2)([331]11,42,2)([332]12,42,2)([333]13,42,2)([334]14,42,2)([335]15,42,2)([336]16,42,2)([337]17,42,2)([338]18,42,2)([339]19,42,2)([340]20,42,2)([341]21,42,2)([342]22,42,2)([343]23,42,2)([344]24,42,2)([345]25,42,2)([346]26,42,2)([347]27,42,2)([348]28,42,2)([349]29,42,2)([350]30,42,2)([351]31,42,2)([352]32,42,2)([353]33,42,5)([354]2,43,2)([355]3,43,2)([356]4,43,2)([357]5,43,2)([358]6,43,2)([359]7,43,2)([360]8,43,2)([361]9,43,2)([362]10,43,2)([363]11,43,2)([364]12,43,2)([365]13,43,2)([366]14,43,2)([367]15,43,2)([368]16,43,2)([369]17,43,2)([370]18,43,2)([371]19,43,2)([372]20,43,2)([373]21,43,2)([374]22,43,2)([375]23,43,2)([376]24,43,2)([377]25,43,2)([378]26,43,2)([379]27,43,2)([380]28,43,2)([381]29,43,2)([382]30,43,2)([383]31,43,2)([384]32,43,2)([385]33,43,5)([386]2,44,2)([387]3,44,2)([388]4,44,2)([389]5,44,2)([390]6,44,2)([391]7,44,2)([392]8,44,2)([393]9,44,2)([394]10,44,2)([395]11,44,2)([396]12,44,2)([397]13,44,2)([398]14,44,2)([399]15,44,2)([400]16,44,2)([401]17,44,2)([402]18,44,2)([403]19,44,2)([404]20,44,2)([405]21,44,2)([406]22,44,2)([407]23,44,2)([408]24,44,2)([409]25,44,2)([410]26,44,2)([411]27,44,2)([412]28,44,2)([413]29,44,2)([414]30,44,2)([415]31,44,2)([416]32,44,2)([417]33,44,5)([418]2,45,2)([419]3,45,2)([420]4,45,2)([421]5,45,2)([422]6,45,2)([423]7,45,2)([424]8,45,2)([425]9,45,2)([426]10,45,2)([427]11,45,2)([428]12,45,2)([429]13,45,2)([430]14,45,2)([431]15,45,2)([432]16,45,2)([433]17,45,2)([434]18,45,2)([435]19,45,2)([436]20,45,2)([437]21,45,2)([438]22,45,2)([439]23,45,2)([440]24,45,2)([441]25,45,2)([442]26,45,2)([443]27,45,2)([444]28,45,2)([445]29,45,2)([446]30,45,2)([447]31,45,2)([448]32,45,2)([449]33,45,5)([450]2,46,2)([451]3,46,2)([452]4,46,2)([453]5,46,2)([454]6,46,2)([455]7,46,2)([456]8,46,2)([457]9,46,2)([458]10,46,2)([459]11,46,2)([460]12,46,2)([461]13,46,2)([462]14,46,2)([463]15,46,2)([464]16,46,2)([465]17,46,2)([466]18,46,2)([467]19,46,2)([468]20,46,2)([469]21,46,2)([470]22,46,2)([471]23,46,2)([472]24,46,2)([473]25,46,2)([474]26,46,2)([475]27,46,2)([476]28,46,2)([477]29,46,2)([478]30,46,2)([479]31,46,2)([480]32,46,2)([481]33,46,5)([482]2,47,2)([483]3,47,2)([484]4,47,2)([485]5,47,2)([486]6,47,2)([487]7,47,2)([488]8,47,2)([489]9,47,2)([490]10,47,2)([491]11,47,2)([492]12,47,2)([493]13,47,2)([494]14,47,2)([495]15,47,2)([496]16,47,2)([497]17,47,2)([498]18,47,2)([499]19,47,2)([500]20,47,2)([501]21,47,2)([502]22,47,2)([503]23,47,2)([504]24,47,2)([505]25,47,2)([506]26,47,2)([507]27,47,2)([508]28,47,2)([509]29,47,2)([510]30,47,2)([511]31,47,2)([512]32,47,2)([513]33,47,5)([514]2,48,2)([515]3,48,2)([516]4,48,2)([517]5,48,2)([518]6,48,2)([519]7,48,2)([520]8,48,2)([521]9,48,2)([522]10,48,2)([523]11,48,2)([524]12,48,2)([525]13,48,2)([526]14,48,2)([527]15,48,2)([528]16,48,2)([529]17,48,2)([530]18,48,2)([531]19,48,2)([532]20,48,2)([533]21,48,2)([534]22,48,2)([535]23,48,2)([536]24,48,2)([537]25,48,2)([538]26,48,2)([539]27,48,2)([540]28,48,2)([541]29,48,2)([542]30,48,2)([543]31,48,2)([544]32,48,2)([545]33,48,5)([546]2,49,2)([547]3,49,2)([548]4,49,2)([549]5,49,2)([550]6,49,2)([551]7,49,2)([552]8,49,2)([553]9,49,2)([554]10,49,2)([555]11,49,2)([556]12,49,2)([557]13,49,2)([558]14,49,2)([559]15,49,2)([560]16,49,2)([561]17,49,2)([562]18,49,2)([563]19,49,2)([564]20,49,2)([565]21,49,2)([566]22,49,2)([567]23,49,2)([568]24,49,2)([569]25,49,2)([570]26,49,2)([571]27,49,2)([572]28,49,2)([573]29,49,2)([574]30,49,2)([575]31,49,2)([576]32,49,2)([577]33,49,5)([578]2,50,2)([579]3,50,2)([580]4,50,2)([581]5,50,2)([582]6,50,2)([583]7,50,2)([584]8,50,2)([585]9,50,2)([586]10,50,2)([587]11,50,2)([588]12,50,2)([589]13,50,2)([590]14,50,2)([591]15,50,2)([592]16,50,2)([593]17,50,2)([594]18,50,2)([595]19,50,2)([596]20,50,2)([597]21,50,2)([598]22,50,2)([599]23,50,2)([600]24,50,2)([601]25,50,2)([602]26,50,2)([603]27,50,2)([604]28,50,2)([605]29,50,2)([606]30,50,2)([607]31,50,2)([608]32,50,2)([609]33,50,5)([610]2,51,2)([611]3,51,2)([612]4,51,2)([613]5,51,2)([614]6,51,2)([615]7,51,2)([616]8,51,2)([617]9,51,2)([618]10,51,2)([619]11,51,2)([620]12,51,2)([621]13,51,2)([622]14,51,2)([623]15,51,2)([624]16,51,2)([625]17,51,2)([626]18,51,2)([627]19,51,2)([628]20,51,2)([629]21,51,2)([630]22,51,2)([631]23,51,2)([632]24,51,2)([633]25,51,2)([634]26,51,2)([635]27,51,2)([636]28,51,2)([637]29,51,2)([638]30,51,2)([639]31,51,2)([640]32,51,2)([641]33,51,5)([642]2,52,2)([643]3,52,2)([644]4,52,2)([645]5,52,2)([646]6,52,2)([647]7,52,2)([648]8,52,2)([649]9,52,2)([650]10,52,2)([651]11,52,2)([652]12,52,2)([653]13,52,2)([654]14,52,2)([655]15,52,2)([656]16,52,2)([657]17,52,2)([658]18,52,2)([659]19,52,2)([660]20,52,2)([661]21,52,2)([662]22,52,2)([663]23,52,2)([664]24,52,2)([665]25,52,2)([666]26,52,2)([667]27,52,2)([668]28,52,2)([669]29,52,2)([670]30,52,2)([671]31,52,2)([672]32,52,2)([673]33,52,5)([674]2,53,2)([675]3,53,2)([676]4,53,2)([677]5,53,2)([678]6,53,2)([679]7,53,2)([680]8,53,2)([681]9,53,2)([682]10,53,2)([683]11,53,2)([684]12,53,2)([685]13,53,2)([686]14,53,2)([687]15,53,2)([688]16,53,2)([689]17,53,2)([690]18,53,2)([691]19,53,2)([692]20,53,2)([693]21,53,2)([694]22,53,2)([695]23,53,2)([696]24,53,2)([697]25,53,2)([698]26,53,2)([699]27,53,2)([700]28,53,2)([701]29,53,2)([702]30,53,2)([703]31,53,2)([704]32,53,2)([705]33,53,5)([706]2,54,2)([707]3,54,2)([708]4,54,2)([709]5,54,2)([710]6,54,2)([711]7,54,2)([712]8,54,2)([713]9,54,2)([714]10,54,2)([715]11,54,2)([716]12,54,2)([717]13,54,2)([718]14,54,2)([719]15,54,2)([720]16,54,2)([721]17,54,2)([722]18,54,2)([723]19,54,2)([724]20,54,2)([725]21,54,2)([726]22,54,2)([727]23,54,2)([728]24,54,2)([729]25,54,2)([730]26,54,2)([731]27,54,2)([732]28,54,2)([733]29,54,2)([734]30,54,2)([735]31,54,2)([736]32,54,2)([737]33,54,5)([738]2,55,2)([739]3,55,2)([740]4,55,2)([741]5,55,2)([742]6,55,2)([743]7,55,2)([744]8,55,2)([745]9,55,2)([746]10,55,2)([747]11,55,2)([748]12,55,2)([749]13,55,2)([750]14,55,2)([751]15,55,2)([752]16,55,2)([753]17,55,2)([754]18,55,2)([755]19,55,2)([756]20,55,2)([757]21,55,2)([758]22,55,2)([759]23,55,2)([760]24,55,2)([761]25,55,2)([762]26,55,2)([763]27,55,2)([764]28,55,2)([765]29,55,2)([766]30,55,2)([767]31,55,2)([768]32,55,2)([769]33,55,5)([770]2,56,2)([771]3,56,2)([772]4,56,2)([773]5,56,2)([774]6,56,2)([775]7,56,2)([776]8,56,2)([777]9,56,2)([778]10,56,2)([779]11,56,2)([780]12,56,2)([781]13,56,2)([782]14,56,2)([783]15,56,2)([784]16,56,2)([785]17,56,2)([786]18,56,2)([787]19,56,2)([788]20,56,2)([789]21,56,2)([790]22,56,2)([791]23,56,2)([792]24,56,2)([793]25,56,2)([794]26,56,2)([795]27,56,2)([796]28,56,2)([797]29,56,2)([798]30,56,2)([799]31,56,2)([800]32,56,2)([801]33,56,5)([802]2,57,2)([803]3,57,2)([804]4,57,2)([805]5,57,2)([806]6,57,2)([807]7,57,2)([808]8,57,2)([809]9,57,2)([810]10,57,2)([811]11,57,2)([812]12,57,2)([813]13,57,2)([814]14,57,2)([815]15,57,2)([816]16,57,2)([817]17,57,2)([818]18,57,2)([819]19,57,2)([820]20,57,2)([821]21,57,2)([822]22,57,2)([823]23,57,2)([824]24,57,2)([825]25,57,2)([826]26,57,2)([827]27,57,2)([828]28,57,2)([829]29,57,2)([830]30,57,2)([831]31,57,2)([832]32,57,2)([833]33,57,5)([834]2,58,2)([835]3,58,2)([836]4,58,2)([837]5,58,2)([838]6,58,2)([839]7,58,2)([840]8,58,2)([841]9,58,2)([842]10,58,2)([843]11,58,2)([844]12,58,2)([845]13,58,2)([846]14,58,2)([847]15,58,2)([848]16,58,2)([849]17,58,2)([850]18,58,2)([851]19,58,2)([852]20,58,2)([853]21,58,2)([854]22,58,2)([855]23,58,2)([856]24,58,2)([857]25,58,2)([858]26,58,2)([859]27,58,2)([860]28,58,2)([861]29,58,2)([862]30,58,2)([863]31,58,2)([864]32,58,2)([865]33,58,5)([866]2,59,2)([867]3,59,2)([868]4,59,2)([869]5,59,2)([870]6,59,2)([871]7,59,2)([872]8,59,2)([873]9,59,2)([874]10,59,2)([875]11,59,2)([876]12,59,2)([877]13,59,2)([878]14,59,2)([879]15,59,2)([880]16,59,2)([881]17,59,2)([882]18,59,2)([883]19,59,2)([884]20,59,2)([885]21,59,2)([886]22,59,2)([887]23,59,2)([888]24,59,2)([889]25,59,2)([890]26,59,2)([891]27,59,2)([892]28,59,2)([893]29,59,2)([894]30,59,2)([895]31,59,2)([896]32,59,2)([897]33,59,5)([898]2,60,2)([899]3,60,2)([900]4,60,2)([901]5,60,2)([902]6,60,2)([903]7,60,2)([904]8,60,2)([905]9,60,2)([906]10,60,2)([907]11,60,2)([908]12,60,2)([909]13,60,2)([910]14,60,2)([911]15,60,2)([912]16,60,2)([913]17,60,2)([914]18,60,2)([915]19,60,2)([916]20,60,2)([917]21,60,2)([918]22,60,2)([919]23,60,2)([920]24,60,2)([921]25,60,2)([922]26,60,2)([923]27,60,2)([924]28,60,2)([925]29,60,2)([926]30,60,2)([927]31,60,2)([928]32,60,2)([929]33,60,5)([930]2,61,2)([931]3,61,2)([932]4,61,2)([933]5,61,2)([934]6,61,2)([935]7,61,2)([936]8,61,2)([937]9,61,2)([938]10,61,2)([939]11,61,2)([940]12,61,2)([941]13,61,2)([942]14,61,2)([943]15,61,2)([944]16,61,2)([945]17,61,2)([946]18,61,2)([947]19,61,2)([948]20,61,2)([949]21,61,2)([950]22,61,2)([951]23,61,2)([952]24,61,2)([953]25,61,2)([954]26,61,2)([955]27,61,2)([956]28,61,2)([957]29,61,2)([958]30,61,2)([959]31,61,2)([960]32,61,2)([961]33,61,5)([962]2,62,2)([963]3,62,2)([964]4,62,2)([965]5,62,2)([966]6,62,2)([967]7,62,2)([968]8,62,2)([969]9,62,2)([970]10,62,2)([971]11,62,2)([972]12,62,2)([973]13,62,2)([974]14,62,2)([975]15,62,2)([976]16,62,2)([977]17,62,2)([978]18,62,2)([979]19,62,2)([980]20,62,2)([981]21,62,2)([982]22,62,2)([983]23,62,2)([984]24,62,2)([985]25,62,2)([986]26,62,2)([987]27,62,2)([988]28,62,2)([989]29,62,2)([990]30,62,2)([991]31,62,2)([992]32,62,2)([993]33,62,5)([994]2,63,2)([995]3,63,2)([996]4,63,2)([997]5,63,2)([998]6,63,2)([999]7,63,2)([1000]8,63,2)([1001]9,63,2)([1002]10,63,2)([1003]11,63,2)([1004]12,63,2)([1005]13,63,2)([1006]14,63,2)([1007]15,63,2)([1008]16,63,2)([1009]17,63,2)([1010]18,63,2)([1011]19,63,2)([1012]20,63,2)([1013]21,63,2)([1014]22,63,2)([1015]23,63,2)([1016]24,63,2)([1017]25,63,2)([1018]26,63,2)([1019]27,63,2)([1020]28,63,2)([1021]29,63,2)([1022]30,63,2)([1023]31,63,2)([1024]32,63,2)([1025]33,63,5)([1026]2,64,2)([1027]3,64,2)([1028]4,64,2)([1029]5,64,2)([1030]6,64,2)([1031]7,64,2)([1032]8,64,2)([1033]9,64,2)([1034]10,64,2)([1035]11,64,2)([1036]12,64,2)([1037]13,64,2)([1038]14,64,2)([1039]15,64,2)([1040]16,64,2)([1041]17,64,2)([1042]18,64,2)([1043]19,64,2)([1044]20,64,2)([1045]21,64,2)([1046]22,64,2)([1047]23,64,2)([1048]24,64,2)([1049]25,64,2)([1050]26,64,2)([1051]27,64,2)([1052]28,64,2)([1053]29,64,2)([1054]30,64,2)([1055]31,64,2)([1056]32,64,2)([1057]33,64,5)([1058]2,65,5)([1059]3,65,5)([1060]4,65,5)([1061]5,65,5)([1062]6,65,5)([1063]7,65,5)([1064]8,65,5)([1065]9,65,5)([1066]10,65,5)([1067]11,65,5)([1068]12,65,5)([1069]13,65,5)([1070]14,65,5)([1071]15,65,5)([1072]16,65,5)([1073]17,65,5)([1074]18,65,5)([1075]19,65,5)([1076]20,65,5)([1077]21,65,5)([1078]22,65,5)([1079]23,65,5)([1080]24,65,5)([1081]25,65,5)([1082]26,65,5)([1083]27,65,5)([1084]28,65,5)([1085]29,65,5)([1086]30,65,5)([1087]31,65,5)([1088]32,65,5)([1089]33,65,2)([1090]67,98,4)([1091]67,98,2)([1092]68,99,4)([1093]68,99,2)([1094]1092,130,4)([1095]1092,130,2)([1096]1093,1095,3)([1097]69,100,4)([1098]69,100,2)([1099]1097,131,4)([1100]1097,131,2)([1101]1098,1100,3)([1102]70,101,4)([1103]70,101,2)([1104]1102,132,4)([1105]1102,132,2)([1106]1103,1105,3)([1107]71,102,4)([1108]71,102,2)([1109]1107,133,4)([1110]1107,133,2)([1111]1108,1110,3)([1112]72,103,4)([1113]72,103,2)([1114]1112,134,4)([1115]1112,134,2)([1116]1113,1115,3)([1117]73,104,4)([1118]73,104,2)([1119]1117,135,4)([1120]1117,135,2)([1121]1118,1120,3)([1122]74,105,4)([1123]74,105,2)([1124]1122,136,4)([1125]1122,136,2)([1126]1123,1125,3)([1127]75,106,4)([1128]75,106,2)([1129]1127,137,4)([1130]1127,137,2)([1131]1128,1130,3)([1132]76,107,4)([1133]76,107,2)([1134]1132,138,4)([1135]1132,138,2)([1136]1133,1135,3)([1137]77,108,4)([1138]77,108,2)([1139]1137,139,4)([1140]1137,139,2)([1141]1138,1140,3)([1142]78,109,4)([1143]78,109,2)([1144]1142,140,4)([1145]1142,140,2)([1146]1143,1145,3)([1147]79,110,4)([1148]79,110,2)([1149]1147,141,4)([1150]1147,141,2)([1151]1148,1150,3)([1152]80,111,4)([1153]80,111,2)([1154]1152,142,4)([1155]1152,142,2)([1156]1153,1155,3)([1157]81,112,4)([1158]81,112,2)([1159]1157,143,4)([1160]1157,143,2)([1161]1158,1160,3)([1162]82,113,4)([1163]82,113,2)([1164]1162,144,4)([1165]1162,144,2)([1166]1163,1165,3)([1167]83,114,4)([1168]83,114,2)([1169]1167,145,4)([1170]1167,145,2)([1171]1168,1170,3)([1172]84,115,4)([1173]84,115,2)([1174]1172,146,4)([1175]1172,146,2)([1176]1173,1175,3)([1177]85,116,4)([1178]85,116,2)([1179]1177,147,4)([1180]1177,147,2)([1181]1178,1180,3)([1182]86,117,4)([1183]86,117,2)([1184]1182,148,4)([1185]1182,148,2)([1186]1183,1185,3)([1187]87,118,4)([1188]87,118,2)([1189]1187,149,4)([1190]1187,149,2)([1191]1188,1190,3)([1192]88,119,4)([1193]88,119,2)([1194]1192,150,4)([1195]1192,150,2)([1196]1193,1195,3)([1197]89,120,4)([1198]89,120,2)([1199]1197,151,4)([1200]1197,151,2)([1201]1198,1200,3)([1202]90,121,4)([1203]90,121,2)([1204]1202,152,4)([1205]1202,152,2)([1206]1203,1205,3)([1207]91,122,4)([1208]91,122,2)([1209]1207,153,4)([1210]1207,153,2)([1211]1208,1210,3)([1212]92,123,4)([1213]92,123,2)([1214]1212,154,4)([1215]1212,154,2)([1216]1213,1215,3)([1217]93,124,4)([1218]93,124,2)([1219]1217,155,4)([1220]1217,155,2)([1221]1218,1220,3)([1222]94,125,4)([1223]94,125,2)([1224]1222,156,4)([1225]1222,156,2)([1226]1223,1225,3)([1227]95,126,4)([1228]95,126,2)([1229]1227,157,4)([1230]1227,157,2)([1231]1228,1230,3)([1232]96,127,4)([1233]96,127,2)([1234]1232,158,4)([1235]1232,158,2)([1236]1233,1235,3)([1237]97,128,4)([1238]97,128,2)([1239]1237,159,4)([1240]1237,159,2)([1241]1238,1240,3)([1242]129,129,1)([1243]1242,160,4)([1244]1242,160,2)([1245]129,1244,3)([1246]163,194,4)([1247]163,194,2)([1248]164,195,4)([1249]164,195,2)([1250]1248,226,4)([1251]1248,226,2)([1252]1249,1251,3)([1253]165,196,4)([1254]165,196,2)([1255]1253,227,4)([1256]1253,227,2)([1257]1254,1256,3)([1258]166,197,4)([1259]166,197,2)([1260]1258,228,4)([1261]1258,228,2)([1262]1259,1261,3)([1263]167,198,4)([1264]167,198,2)([1265]1263,229,4)([1266]1263,229,2)([1267]1264,1266,3)([1268]168,199,4)([1269]168,199,2)([1270]1268,230,4)([1271]1268,230,2)([1272]1269,1271,3)([1273]169,200,4)([1274]169,200,2)([1275]1273,231,4)([1276]1273,231,2)([1277]1274,1276,3)([1278]170,201,4)([1279]170,201,2)([1280]1278,232,4)([1281]1278,232,2)([1282]1279,1281,3)([1283]171,202,4)([1284]171,202,2)([1285]1283,233,4)([1286]1283,233,2)([1287]1284,1286,3)([1288]172,203,4)([1289]172,203,2)([1290]1288,234,4)([1291]1288,234,2)([1292]1289,1291,3)([1293]173,204,4)([1294]173,204,2)([1295]1293,235,4)([1296]1293,235,2)([1297]1294,1296,3)([1298]174,205,4)([1299]174,205,2)([1300]1298,236,4)([1301]1298,236,2)([1302]1299,1301,3)([1303]175,206,4)([1304]175,206,2)([1305]1303,237,4)([1306]1303,237,2)([1307]1304,1306,3)([1308]176,207,4)([1309]176,207,2)([1310]1308,238,4)([1311]1308,238,2)([1312]1309,1311,3)([1313]177,208,4)([1314]177,208,2)([1315]1313,239,4)([1316]1313,239,2)([1317]1314,1316,3)([1318]178,209,4)([1319]178,209,2)([1320]1318,240,4)([1321]1318,240,2)([1322]1319,1321,3)([1323]179,210,4)([1324]179,210,2)([1325]1323,241,4)([1326]1323,241,2)([1327]1324,1326,3)([1328]180,211,4)([1329]180,211,2)([1330]1328,242,4)([1331]1328,242,2)([1332]1329,1331,3)([1333]181,212,4)([1334]181,212,2)([1335]1333,243,4)([1336]1333,243,2)([1337]1334,1336,3)([1338]182,213,4)([1339]182,213,2)([1340]1338,244,4)([1341]1338,244,2)([1342]1339,1341,3)([1343]183,214,4)([1344]183,214,2)([1345]1343,245,4)([1346]1343,245,2)([1347]1344,1346,3)([1348]184,215,4)([1349]184,215,2)([1350]1348,246,4)([1351]1348,246,2)([1352]1349,1351,3)([1353]185,216,4)([1354]185,216,2)([1355]1353,247,4)([1356]1353,247,2)([1357]1354,1356,3)([1358]186,217,4)([1359]186,217,2)([1360]1358,248,4)([1361]1358,248,2)([1362]1359,1361,3)([1363]187,218,4)([1364]187,218,2)([1365]1363,249,4)([1366]1363,249,2)([1367]1364,1366,3)([1368]188,219,4)([1369]188,219,2)([1370]1368,250,4)([1371]1368,250,2)([1372]1369,1371,3)([1373]189,220,4)([1374]189,220,2)([1375]1373,251,4)([1376]1373,251,2)([1377]1374,1376,3)([1378]190,221,4)([1379]190,221,2)([1380]1378,252,4)([1381]1378,252,2)([1382]1379,1381,3)([1383]191,222,4)([1384]191,222,2)([1385]1383,253,4)([1386]1383,253,2)([1387]1384,1386,3)([1388]192,223,4)([1389]192,223,2)([1390]1388,254,4)([1391]1388,254,2)([1392]1389,1391,3)([1393]193,224,4)([1394]193,224,2)([1395]1393,255,4)([1396]1393,255,2)([1397]1394,1396,3)([1398]225,225,1)([1399]1398,256,4)([1400]1398,256,2)([1401]225,1400,3)([1402]259,290,4)([1403]259,290,2)([1404]260,291,4)([1405]260,291,2)([1406]1404,322,4)([1407]1404,322,2)([1408]1405,1407,3)([1409]261,292,4)([1410]261,292,2)([1411]1409,323,4)([1412]1409,323,2)([1413]1410,1412,3)([1414]262,293,4)([1415]262,293,2)([1416]1414,324,4)([1417]1414,324,2)([1418]1415,1417,3)([1419]263,294,4)([1420]263,294,2)([1421]1419,325,4)([1422]1419,325,2)([1423]1420,1422,3)([1424]264,295,4)([1425]264,295,2)([1426]1424,326,4)([1427]1424,326,2)([1428]1425,1427,3)([1429]265,296,4)([1430]265,296,2)([1431]1429,327,4)([1432]1429,327,2)([1433]1430,1432,3)([1434]266,297,4)([1435]266,297,2)([1436]1434,328,4)([1437]1434,328,2)([1438]1435,1437,3)([1439]267,298,4)([1440]267,298,2)([1441]1439,329,4)([1442]1439,329,2)([1443]1440,1442,3)([1444]268,299,4)([1445]268,299,2)([1446]1444,330,4)([1447]1444,330,2)([1448]1445,1447,3)([1449]269,300,4)([1450]269,300,2)([1451]1449,331,4)([1452]1449,331,2)([1453]1450,1452,3)([1454]270,301,4)([1455]270,301,2)([1456]1454,332,4)([1457]1454,332,2)([1458]1455,1457,3)([1459]271,302,4)([1460]271,302,2)([1461]1459,333,4)([1462]1459,333,2)([1463]1460,1462,3)([1464]272,303,4)([1465]272,303,2)([1466]1464,334,4)([1467]1464,334,2)([1468]1465,1467,3)([1469]273,304,4)([1470]273,304,2)([1471]1469,335,4)([1472]1469,335,2)([1473]1470,1472,3)([1474]274,305,4)([1475]274,305,2)([1476]1474,336,4)([1477]1474,336,2)([1478]1475,1477,3)([1479]275,306,4)([1480]275,306,2)([1481]1479,337,4)([1482]1479,337,2)([1483]1480,1482,3)([1484]276,307,4)([1485]276,307,2)([1486]1484,338,4)([1487]1484,338,2)([1488]1485,1487,3)([1489]277,308,4)([1490]277,308,2)([1491]1489,339,4)([1492]1489,339,2)([1493]1490,1492,3)([1494]278,309,4)([1495]278,309,2)([1496]1494,340,4)([1497]1494,340,2)([1498]1495,1497,3)([1499]279,310,4)([1500]279,310,2)([1501]1499,341,4)([1502]1499,341,2)([1503]1500,1502,3)([1504]280,311,4)([1505]280,311,2)([1506]1504,342,4)([1507]1504,342,2)([1508]1505,1507,3)([1509]281,312,4)([1510]281,312,2)([1511]1509,343,4)([1512]1509,343,2)([1513]1510,1512,3)([1514]282,313,4)([1515]282,313,2)([1516]1514,344,4)([1517]1514,344,2)([1518]1515,1517,3)([1519]283,314,4)([1520]283,314,2)([1521]1519,345,4)([1522]1519,345,2)([1523]1520,1522,3)([1524]284,315,4)([1525]284,315,2)([1526]1524,346,4)([1527]1524,346,2)([1528]1525,1527,3)([1529]285,316,4)([1530]285,316,2)([1531]1529,347,4)([1532]1529,347,2)([1533]1530,1532,3)([1534]286,317,4)([1535]286,317,2)([1536]1534,348,4)([1537]1534,348,2)([1538]1535,1537,3)([1539]287,318,4)([1540]287,318,2)([1541]1539,349,4)([1542]1539,349,2)([1543]1540,1542,3)([1544]288,319,4)([1545]288,319,2)([1546]1544,350,4)([1547]1544,350,2)([1548]1545,1547,3)([1549]289,320,4)([1550]289,320,2)([1551]1549,351,4)([1552]1549,351,2)([1553]1550,1552,3)([1554]321,321,1)([1555]1554,352,4)([1556]1554,352,2)([1557]321,1556,3)([1558]355,386,4)([1559]355,386,2)([1560]356,387,4)([1561]356,387,2)([1562]1560,418,4)([1563]1560,418,2)([1564]1561,1563,3)([1565]357,388,4)([1566]357,388,2)([1567]1565,419,4)([1568]1565,419,2)([1569]1566,1568,3)([1570]358,389,4)([1571]358,389,2)([1572]1570,420,4)([1573]1570,420,2)([1574]1571,1573,3)([1575]359,390,4)([1576]359,390,2)([1577]1575,421,4)([1578]1575,421,2)([1579]1576,1578,3)([1580]360,391,4)([1581]360,391,2)([1582]1580,422,4)([1583]1580,422,2)([1584]1581,1583,3)([1585]361,392,4)([1586]361,392,2)([1587]1585,423,4)([1588]1585,423,2)([1589]1586,1588,3)([1590]362,393,4)([1591]362,393,2)([1592]1590,424,4)([1593]1590,424,2)([1594]1591,1593,3)([1595]363,394,4)([1596]363,394,2)([1597]1595,425,4)([1598]1595,425,2)([1599]1596,1598,3)([1600]364,395,4)([1601]364,395,2)([1602]1600,426,4)([1603]1600,426,2)([1604]1601,1603,3)([1605]365,396,4)([1606]365,396,2)([1607]1605,427,4)([1608]1605,427,2)([1609]1606,1608,3)([1610]366,397,4)([1611]366,397,2)([1612]1610,428,4)([1613]1610,428,2)([1614]1611,1613,3)([1615]367,398,4)([1616]367,398,2)([1617]1615,429,4)([1618]1615,429,2)([1619]1616,1618,3)([1620]368,399,4)([1621]368,399,2)([1622]1620,430,4)([1623]1620,430,2)([1624]1621,1623,3)([1625]369,400,4)([1626]369,400,2)([1627]1625,431,4)([1628]1625,431,2)([1629]1626,1628,3)([1630]370,401,4)([1631]370,401,2)([1632]1630,432,4)([1633]1630,432,2)([1634]1631,1633,3)([1635]371,402,4)([1636]371,402,2)([1637]1635,433,4)([1638]1635,433,2)([1639]1636,1638,3)([1640]372,403,4)([1641]372,403,2)([1642]1640,434,4)([1643]1640,434,2)([1644]1641,1643,3)([1645]373,404,4)([1646]373,404,2)([1647]1645,435,4)([1648]1645,435,2)([1649]1646,1648,3)([1650]374,405,4)([1651]374,405,2)([1652]1650,436,4)([1653]1650,436,2)([1654]1651,1653,3)([1655]375,406,4)([1656]375,406,2)([1657]1655,437,4)([1658]1655,437,2)([1659]1656,1658,3)([1660]376,407,4)([1661]376,407,2)([1662]1660,438,4)([1663]1660,438,2)([1664]1661,1663,3)([1665]377,408,4)([1666]377,408,2)([1667]1665,439,4)([1668]1665,439,2)([1669]1666,1668,3)([1670]378,409,4)([1671]378,409,2)([1672]1670,440,4)([1673]1670,440,2)([1674]1671,1673,3)([1675]379,410,4)([1676]379,410,2)([1677]1675,441,4)([1678]1675,441,2)([1679]1676,1678,3)([1680]380,411,4)([1681]380,411,2)([1682]1680,442,4)([1683]1680,442,2)([1684]1681,1683,3)([1685]381,412,4)([1686]381,412,2)([1687]1685,443,4)([1688]1685,443,2)([1689]1686,1688,3)([1690]382,413,4)([1691]382,413,2)([1692]1690,444,4)([1693]1690,444,2)([1694]1691,1693,3)([1695]383,414,4)([1696]383,414,2)([1697]1695,445,4)([1698]1695,445,2)([1699]1696,1698,3)([1700]384,415,4)([1701]384,415,2)([1702]1700,446,4)([1703]1700,446,2)([1704]1701,1703,3)([1705]385,416,4)([1706]385,416,2)([1707]1705,447,4)([1708]1705,447,2)([1709]1706,1708,3)([1710]417,417,1)([1711]1710,448,4)([1712]1710,448,2)([1713]417,1712,3)([1714]451,482,4)([1715]451,482,2)([1716]452,483,4)([1717]452,483,2)([1718]1716,514,4)([1719]1716,514,2)([1720]1717,1719,3)([1721]453,484,4)([1722]453,484,2)([1723]1721,515,4)([1724]1721,515,2)([1725]1722,1724,3)([1726]454,485,4)([1727]454,485,2)([1728]1726,516,4)([1729]1726,516,2)([1730]1727,1729,3)([1731]455,486,4)([1732]455,486,2)([1733]1731,517,4)([1734]1731,517,2)([1735]1732,1734,3)([1736]456,487,4)([1737]456,487,2)([1738]1736,518,4)([1739]1736,518,2)([1740]1737,1739,3)([1741]457,488,4)([1742]457,488,2)([1743]1741,519,4)([1744]1741,519,2)([1745]1742,1744,3)([1746]458,489,4)([1747]458,489,2)([1748]1746,520,4)([1749]1746,520,2)([1750]1747,1749,3)([1751]459,490,4)([1752]459,490,2)([1753]1751,521,4)([1754]1751,521,2)([1755]1752,1754,3)([1756]460,491,4)([1757]460,491,2)([1758]1756,522,4)([1759]1756,522,2)([1760]1757,1759,3)([1761]461,492,4)([1762]461,492,2)([1763]1761,523,4)([1764]1761,523,2)([1765]1762,1764,3)([1766]462,493,4)([1767]462,493,2)([1768]1766,524,4)([1769]1766,524,2)([1770]1767,1769,3)([1771]463,494,4)([1772]463,494,2)([1773]1771,525,4)([1774]1771,525,2)([1775]1772,1774,3)([1776]464,495,4)([1777]464,495,2)([1778]1776,526,4)([1779]1776,526,2)([1780]1777,1779,3)([1781]465,496,4)([1782]465,496,2)([1783]1781,527,4)([1784]1781,527,2)([1785]1782,1784,3)([1786]466,497,4)([1787]466,497,2)([1788]1786,528,4)([1789]1786,528,2)([1790]1787,1789,3)([1791]467,498,4)([1792]467,498,2)([1793]1791,529,4)([1794]1791,529,2)([1795]1792,1794,3)([1796]468,499,4)([1797]468,499,2)([1798]1796,530,4)([1799]1796,530,2)([1800]1797,1799,3)([1801]469,500,4)([1802]469,500,2)([1803]1801,531,4)([1804]1801,531,2)([1805]1802,1804,3)([1806]470,501,4)([1807]470,501,2)([1808]1806,532,4)([1809]1806,532,2)([1810]1807,1809,3)([1811]471,502,4)([1812]471,502,2)([1813]1811,533,4)([1814]1811,533,2)([1815]1812,1814,3)([1816]472,503,4)([1817]472,503,2)([1818]1816,534,4)([1819]1816,534,2)([1820]1817,1819,3)([1821]473,504,4)([1822]473,504,2)([1823]1821,535,4)([1824]1821,535,2)([1825]1822,1824,3)([1826]474,505,4)([1827]474,505,2)([1828]1826,536,4)([1829]1826,536,2)([1830]1827,1829,3)([1831]475,506,4)([1832]475,506,2)([1833]1831,537,4)([1834]1831,537,2)([1835]1832,1834,3)([1836]476,507,4)([1837]476,507,2)([1838]1836,538,4)([1839]1836,538,2)([1840]1837,1839,3)([1841]477,508,4)([1842]477,508,2)([1843]1841,539,4)([1844]1841,539,2)([1845]1842,1844,3)([1846]478,509,4)([1847]478,509,2)([1848]1846,540,4)([1849]1846,540,2)([1850]1847,1849,3)([1851]479,510,4)([1852]479,510,2)([1853]1851,541,4)([1854]1851,541,2)([1855]1852,1854,3)([1856]480,511,4)([1857]480,511,2)([1858]1856,542,4)([1859]1856,542,2)([1860]1857,1859,3)([1861]481,512,4)([1862]481,512,2)([1863]1861,543,4)([1864]1861,543,2)([1865]1862,1864,3)([1866]513,513,1)([1867]1866,544,4)([1868]1866,544,2)([1869]513,1868,3)([1870]547,578,4)([1871]547,578,2)([1872]548,579,4)([1873]548,579,2)([1874]1872,610,4)([1875]1872,610,2)([1876]1873,1875,3)([1877]549,580,4)([1878]549,580,2)([1879]1877,611,4)([1880]1877,611,2)([1881]1878,1880,3)([1882]550,581,4)([1883]550,581,2)([1884]1882,612,4)([1885]1882,612,2)([1886]1883,1885,3)([1887]551,582,4)([1888]551,582,2)([1889]1887,613,4)([1890]1887,613,2)([1891]1888,1890,3)([1892]552,583,4)([1893]552,583,2)([1894]1892,614,4)([1895]1892,614,2)([1896]1893,1895,3)([1897]553,584,4)([1898]553,584,2)([1899]1897,615,4)([1900]1897,615,2)([1901]1898,1900,3)([1902]554,585,4)([1903]554,585,2)([1904]1902,616,4)([1905]1902,616,2)([1906]1903,1905,3)([1907]555,586,4)([1908]555,586,2)([1909]1907,617,4)([1910]1907,617,2)([1911]1908,1910,3)([1912]556,587,4)([1913]556,587,2)([1914]1912,618,4)([1915]1912,618,2)([1916]1913,1915,3)([1917]557,588,4)([1918]557,588,2)([1919]1917,619,4)([1920]1917,619,2)([1921]1918,1920,3)([1922]558,589,4)([1923]558,589,2)([1924]1922,620,4)([1925]1922,620,2)([1926]1923,1925,3)([1927]559,590,4)([1928]559,590,2)([1929]1927,621,4)([1930]1927,621,2)([1931]1928,1930,3)([1932]560,591,4)([1933]560,591,2)([1934]1932,622,4)([1935]1932,622,2)([1936]1933,1935,3)([1937]561,592,4)([1938]561,592,2)([1939]1937,623,4)([1940]1937,623,2)([1941]1938,1940,3)([1942]562,593,4)([1943]562,593,2)([1944]1942,624,4)([1945]1942,624,2)([1946]1943,1945,3)([1947]563,594,4)([1948]563,594,2)([1949]1947,625,4)([1950]1947,625,2)([1951]1948,1950,3)([1952]564,595,4)([1953]564,595,2)([1954]1952,626,4)([1955]1952,626,2)([1956]1953,1955,3)([1957]565,596,4)([1958]565,596,2)([1959]1957,627,4)([1960]1957,627,2)([1961]1958,1960,3)([1962]566,597,4)([1963]566,597,2)([1964]1962,628,4)([1965]1962,628,2)([1966]1963,1965,3)([1967]567,598,4)([1968]567,598,2)([1969]1967,629,4)([1970]1967,629,2)([1971]1968,1970,3)([1972]568,599,4)([1973]568,599,2)([1974]1972,630,4)([1975]1972,630,2)([1976]1973,1975,3)([1977]569,600,4)([1978]569,600,2)([1979]1977,631,4)([1980]1977,631,2)([1981]1978,1980,3)([1982]570,601,4)([1983]570,601,2)([1984]1982,632,4)([1985]1982,632,2)([1986]1983,1985,3)([1987]571,602,4)([1988]571,602,2)([1989]1987,633,4)([1990]1987,633,2)([1991]1988,1990,3)([1992]572,603,4)([1993]572,603,2)([1994]1992,634,4)([1995]1992,634,2)([1996]1993,1995,3)([1997]573,604,4)([1998]573,604,2)([1999]1997,635,4)([2000]1997,635,2)([2001]1998,2000,3)([2002]574,605,4)([2003]574,605,2)([2004]2002,636,4)([2005]2002,636,2)([2006]2003,2005,3)([2007]575,606,4)([2008]575,606,2)([2009]2007,637,4)([2010]2007,637,2)([2011]2008,2010,3)([2012]576,607,4)([2013]576,607,2)([2014]2012,638,4)([2015]2012,638,2)([2016]2013,2015,3)([2017]577,608,4)([2018]577,608,2)([2019]2017,639,4)([2020]2017,639,2)([2021]2018,2020,3)([2022]609,609,1)([2023]2022,640,4)([2024]2022,640,2)([2025]609,2024,3)([2026]643,674,4)([2027]643,674,2)([2028]644,675,4)([2029]644,675,2)([2030]2028,706,4)([2031]2028,706,2)([2032]2029,2031,3)([2033]645,676,4)([2034]645,676,2)([2035]2033,707,4)([2036]2033,707,2)([2037]2034,2036,3)([2038]646,677,4)([2039]646,677,2)([2040]2038,708,4)([2041]2038,708,2)([2042]2039,2041,3)([2043]647,678,4)([2044]647,678,2)([2045]2043,709,4)([2046]2043,709,2)([2047]2044,2046,3)([2048]648,679,4)([2049]648,679,2)([2050]2048,710,4)([2051]2048,710,2)([2052]2049,2051,3)([2053]649,680,4)([2054]649,680,2)([2055]2053,711,4)([2056]2053,711,2)([2057]2054,2056,3)([2058]650,681,4)([2059]650,681,2)([2060]2058,712,4)([2061]2058,712,2)([2062]2059,2061,3)([2063]651,682,4)([2064]651,682,2)([2065]2063,713,4)([2066]2063,713,2)([2067]2064,2066,3)([2068]652,683,4)([2069]652,683,2)([2070]2068,714,4)([2071]2068,714,2)([2072]2069,2071,3)([2073]653,684,4)([2074]653,684,2)([2075]2073,715,4)([2076]2073,715,2)([2077]2074,2076,3)([2078]654,685,4)([2079]654,685,2)([2080]2078,716,4)([2081]2078,716,2)([2082]2079,2081,3)([2083]655,686,4)([2084]655,686,2)([2085]2083,717,4)([2086]2083,717,2)([2087]2084,2086,3)([2088]656,687,4)([2089]656,687,2)([2090]2088,718,4)([2091]2088,718,2)([2092]2089,2091,3)([2093]657,688,4)([2094]657,688,2)([2095]2093,719,4)([2096]2093,719,2)([2097]2094,2096,3)([2098]658,689,4)([2099]658,689,2)([2100]2098,720,4)([2101]2098,720,2)([2102]2099,2101,3)([2103]659,690,4)([2104]659,690,2)([2105]2103,721,4)([2106]2103,721,2)([2107]2104,2106,3)([2108]660,691,4)([2109]660,691,2)([2110]2108,722,4)([2111]2108,722,2)([2112]2109,2111,3)([2113]661,692,4)([2114]661,692,2)([2115]2113,723,4)([2116]2113,723,2)([2117]2114,2116,3)([2118]662,693,4)([2119]662,693,2)([2120]2118,724,4)([2121]2118,724,2)([2122]2119,2121,3)([2123]663,694,4)([2124]663,694,2)([2125]2123,725,4)([2126]2123,725,2)([2127]2124,2126,3)([2128]664,695,4)([2129]664,695,2)([2130]2128,726,4)([2131]2128,726,2)([2132]2129,2131,3)([2133]665,696,4)([2134]665,696,2)([2135]2133,727,4)([2136]2133,727,2)([2137]2134,2136,3)([2138]666,697,4)([2139]666,697,2)([2140]2138,728,4)([2141]2138,728,2)([2142]2139,2141,3)([2143]667,698,4)([2144]667,698,2)([2145]2143,729,4)([2146]2143,729,2)([2147]2144,2146,3)([2148]668,699,4)([2149]668,699,2)([2150]2148,730,4)([2151]2148,730,2)([2152]2149,2151,3)([2153]669,700,4)([2154]669,700,2)([2155]2153,731,4)([2156]2153,731,2)([2157]2154,2156,3)([2158]670,701,4)([2159]670,701,2)([2160]2158,732,4)([2161]2158,732,2)([2162]2159,2161,3)([2163]671,702,4)([2164]671,702,2)([2165]2163,733,4)([2166]2163,733,2)([2167]2164,2166,3)([2168]672,703,4)([2169]672,703,2)([2170]2168,734,4)([2171]2168,734,2)([2172]2169,2171,3)([2173]673,704,4)([2174]673,704,2)([2175]2173,735,4)([2176]2173,735,2)([2177]2174,2176,3)([2178]705,705,1)([2179]2178,736,4)([2180]2178,736,2)([2181]705,2180,3)([2182]739,770,4)([2183]739,770,2)([2184]740,771,4)([2185]740,771,2)([2186]2184,802,4)([2187]2184,802,2)([2188]2185,2187,3)([2189]741,772,4)([2190]741,772,2)([2191]2189,803,4)([2192]2189,803,2)([2193]2190,2192,3)([2194]742,773,4)([2195]742,773,2)([2196]2194,804,4)([2197]2194,804,2)([2198]2195,2197,3)([2199]743,774,4)([2200]743,774,2)([2201]2199,805,4)([2202]2199,805,2)([2203]2200,2202,3)([2204]744,775,4)([2205]744,775,2)([2206]2204,806,4)([2207]2204,806,2)([2208]2205,2207,3)([2209]745,776,4)([2210]745,776,2)([2211]2209,807,4)([2212]2209,807,2)([2213]2210,2212,3)([2214]746,777,4)([2215]746,777,2)([2216]2214,808,4)([2217]2214,808,2)([2218]2215,2217,3)([2219]747,778,4)([2220]747,778,2)([2221]2219,809,4)([2222]2219,809,2)([2223]2220,2222,3)([2224]748,779,4)([2225]748,779,2)([2226]2224,810,4)([2227]2224,810,2)([2228]2225,2227,3)([2229]749,780,4)([2230]749,780,2)([2231]2229,811,4)([2232]2229,811,2)([2233]2230,2232,3)([2234]750,781,4)([2235]750,781,2)([2236]2234,812,4)([2237]2234,812,2)([2238]2235,2237,3)([2239]751,782,4)([2240]751,782,2)([2241]2239,813,4)([2242]2239,813,2)([2243]2240,2242,3)([2244]752,783,4)([2245]752,783,2)([2246]2244,814,4)([2247]2244,814,2)([2248]2245,2247,3)([2249]753,784,4)([2250]753,784,2)([2251]2249,815,4)([2252]2249,815,2)([2253]2250,2252,3)([2254]754,785,4)([2255]754,785,2)([2256]2254,816,4)([2257]2254,816,2)([2258]2255,2257,3)([2259]755,786,4)([2260]755,786,2)([2261]2259,817,4)([2262]2259,817,2)([2263]2260,2262,3)([2264]756,787,4)([2265]756,787,2)([2266]2264,818,4)([2267]2264,818,2)([2268]2265,2267,3)([2269]757,788,4)([2270]757,788,2)([2271]2269,819,4)([2272]2269,819,2)([2273]2270,2272,3)([2274]758,789,4)([2275]758,789,2)([2276]2274,820,4)([2277]2274,820,2)([2278]2275,2277,3)([2279]759,790,4)([2280]759,790,2)([2281]2279,821,4)([2282]2279,821,2)([2283]2280,2282,3)([2284]760,791,4)([2285]760,791,2)([2286]2284,822,4)([2287]2284,822,2)([2288]2285,2287,3)([2289]761,792,4)([2290]761,792,2)([2291]2289,823,4)([2292]2289,823,2)([2293]2290,2292,3)([2294]762,793,4)([2295]762,793,2)([2296]2294,824,4)([2297]2294,824,2)([2298]2295,2297,3)([2299]763,794,4)([2300]763,794,2)([2301]2299,825,4)([2302]2299,825,2)([2303]2300,2302,3)([2304]764,795,4)([2305]764,795,2)([2306]2304,826,4)([2307]2304,826,2)([2308]2305,2307,3)([2309]765,796,4)([2310]765,796,2)([2311]2309,827,4)([2312]2309,827,2)([2313]2310,2312,3)([2314]766,797,4)([2315]766,797,2)([2316]2314,828,4)([2317]2314,828,2)([2318]2315,2317,3)([2319]767,798,4)([2320]767,798,2)([2321]2319,829,4)([2322]2319,829,2)([2323]2320,2322,3)([2324]768,799,4)([2325]768,799,2)([2326]2324,830,4)([2327]2324,830,2)([2328]2325,2327,3)([2329]769,800,4)([2330]769,800,2)([2331]2329,831,4)([2332]2329,831,2)([2333]2330,2332,3)([2334]801,801,1)([2335]2334,832,4)([2336]2334,832,2)([2337]801,2336,3)([2338]835,866,4)([2339]835,866,2)([2340]836,867,4)([2341]836,867,2)([2342]2340,898,4)([2343]2340,898,2)([2344]2341,2343,3)([2345]837,868,4)([2346]837,868,2)([2347]2345,899,4)([2348]2345,899,2)([2349]2346,2348,3)([2350]838,869,4)([2351]838,869,2)([2352]2350,900,4)([2353]2350,900,2)([2354]2351,2353,3)([2355]839,870,4)([2356]839,870,2)([2357]2355,901,4)([2358]2355,901,2)([2359]2356,2358,3)([2360]840,871,4)([2361]840,871,2)([2362]2360,902,4)([2363]2360,902,2)([2364]2361,2363,3)([2365]841,872,4)([2366]841,872,2)([2367]2365,903,4)([2368]2365,903,2)([2369]2366,2368,3)([2370]842,873,4)([2371]842,873,2)([2372]2370,904,4)([2373]2370,904,2)([2374]2371,2373,3)([2375]843,874,4)([2376]843,874,2)([2377]2375,905,4)([2378]2375,905,2)([2379]2376,2378,3)([2380]844,875,4)([2381]844,875,2)([2382]2380,906,4)([2383]2380,906,2)([2384]2381,2383,3)([2385]845,876,4)([2386]845,876,2)([2387]2385,907,4)([2388]2385,907,2)([2389]2386,2388,3)([2390]846,877,4)([2391]846,877,2)([2392]2390,908,4)([2393]2390,908,2)([2394]2391,2393,3)([2395]847,878,4)([2396]847,878,2)([2397]2395,909,4)([2398]2395,909,2)([2399]2396,2398,3)([2400]848,879,4)([2401]848,879,2)([2402]2400,910,4)([2403]2400,910,2)([2404]2401,2403,3)([2405]849,880,4)([2406]849,880,2)([2407]2405,911,4)([2408]2405,911,2)([2409]2406,2408,3)([2410]850,881,4)([2411]850,881,2)([2412]2410,912,4)([2413]2410,912,2)([2414]2411,2413,3)([2415]851,882,4)([2416]851,882,2)([2417]2415,913,4)([2418]2415,913,2)([2419]2416,2418,3)([2420]852,883,4)([2421]852,883,2)([2422]2420,914,4)([2423]2420,914,2)([2424]2421,2423,3)([2425]853,884,4)([2426]853,884,2)([2427]2425,915,4)([2428]2425,915,2)([2429]2426,2428,3)([2430]854,885,4)([2431]854,885,2)([2432]2430,916,4)([2433]2430,916,2)([2434]2431,2433,3)([2435]855,886,4)([2436]855,886,2)([2437]2435,917,4)([2438]2435,917,2)([2439]2436,2438,3)([2440]856,887,4)([2441]856,887,2)([2442]2440,918,4)([2443]2440,918,2)([2444]2441,2443,3)([2445]857,888,4)([2446]857,888,2)([2447]2445,919,4)([2448]2445,919,2)([2449]2446,2448,3)([2450]858,889,4)([2451]858,889,2)([2452]2450,920,4)([2453]2450,920,2)([2454]2451,2453,3)([2455]859,890,4)([2456]859,890,2)([2457]2455,921,4)([2458]2455,921,2)([2459]2456,2458,3)([2460]860,891,4)([2461]860,891,2)([2462]2460,922,4)([2463]2460,922,2)([2464]2461,2463,3)([2465]861,892,4)([2466]861,892,2)([2467]2465,923,4)([2468]2465,923,2)([2469]2466,2468,3)([2470]862,893,4)([2471]862,893,2)([2472]2470,924,4)([2473]2470,924,2)([2474]2471,2473,3)([2475]863,894,4)([2476]863,894,2)([2477]2475,925,4)([2478]2475,925,2)([2479]2476,2478,3)([2480]864,895,4)([2481]864,895,2)([2482]2480,926,4)([2483]2480,926,2)([2484]2481,2483,3)([2485]865,896,4)([2486]865,896,2)([2487]2485,927,4)([2488]2485,927,2)([2489]2486,2488,3)([2490]897,897,1)([2491]2490,928,4)([2492]2490,928,2)([2493]897,2492,3)([2494]931,962,4)([2495]931,962,2)([2496]932,963,4)([2497]932,963,2)([2498]2496,994,4)([2499]2496,994,2)([2500]2497,2499,3)([2501]933,964,4)([2502]933,964,2)([2503]2501,995,4)([2504]2501,995,2)([2505]2502,2504,3)([2506]934,965,4)([2507]934,965,2)([2508]2506,996,4)([2509]2506,996,2)([2510]2507,2509,3)([2511]935,966,4)([2512]935,966,2)([2513]2511,997,4)([2514]2511,997,2)([2515]2512,2514,3)([2516]936,967,4)([2517]936,967,2)([2518]2516,998,4)([2519]2516,998,2)([2520]2517,2519,3)([2521]937,968,4)([2522]937,968,2)([2523]2521,999,4)([2524]2521,999,2)([2525]2522,2524,3)([2526]938,969,4)([2527]938,969,2)([2528]2526,1000,4)([2529]2526,1000,2)([2530]2527,2529,3)([2531]939,970,4)([2532]939,970,2)([2533]2531,1001,4)([2534]2531,1001,2)([2535]2532,2534,3)([2536]940,971,4)([2537]940,971,2)([2538]2536,1002,4)([2539]2536,1002,2)([2540]2537,2539,3)([2541]941,972,4)([2542]941,972,2)([2543]2541,1003,4)([2544]2541,1003,2)([2545]2542,2544,3)([2546]942,973,4)([2547]942,973,2)([2548]2546,1004,4)([2549]2546,1004,2)([2550]2547,2549,3)([2551]943,974,4)([2552]943,974,2)([2553]2551,1005,4)([2554]2551,1005,2)([2555]2552,2554,3)([2556]944,975,4)([2557]944,975,2)([2558]2556,1006,4)([2559]2556,1006,2)([2560]2557,2559,3)([2561]945,976,4)([2562]945,976,2)([2563]2561,1007,4)([2564]2561,1007,2)([2565]2562,2564,3)([2566]946,977,4)([2567]946,977,2)([2568]2566,1008,4)([2569]2566,1008,2)([2570]2567,2569,3)([2571]947,978,4)([2572]947,978,2)([2573]2571,1009,4)([2574]2571,1009,2)([2575]2572,2574,3)([2576]948,979,4)([2577]948,979,2)([2578]2576,1010,4)([2579]2576,1010,2)([2580]2577,2579,3)([2581]949,980,4)([2582]949,980,2)([2583]2581,1011,4)([2584]2581,1011,2)([2585]2582,2584,3)([2586]950,981,4)([2587]950,981,2)([2588]2586,1012,4)([2589]2586,1012,2)([2590]2587,2589,3)([2591]951,982,4)([2592]951,982,2)([2593]2591,1013,4)([2594]2591,1013,2)([2595]2592,2594,3)([2596]952,983,4)([2597]952,983,2)([2598]2596,1014,4)([2599]2596,1014,2)([2600]2597,2599,3)([2601]953,984,4)([2602]953,984,2)([2603]2601,1015,4)([2604]2601,1015,2)([2605]2602,2604,3)([2606]954,985,4)([2607]954,985,2)([2608]2606,1016,4)([2609]2606,1016,2)([2610]2607,2609,3)([2611]955,986,4)([2612]955,986,2)([2613]2611,1017,4)([2614]2611,1017,2)([2615]2612,2614,3)([2616]956,987,4)([2617]956,987,2)([2618]2616,1018,4)([2619]2616,1018,2)([2620]2617,2619,3)([2621]957,988,4)([2622]957,988,2)([2623]2621,1019,4)([2624]2621,1019,2)([2625]2622,2624,3)([2626]958,989,4)([2627]958,989,2)([2628]2626,1020,4)([2629]2626,1020,2)([2630]2627,2629,3)([2631]959,990,4)([2632]959,990,2)([2633]2631,1021,4)([2634]2631,1021,2)([2635]2632,2634,3)([2636]960,991,4)([2637]960,991,2)([2638]2636,1022,4)([2639]2636,1022,2)([2640]2637,2639,3)([2641]961,992,4)([2642]961,992,2)([2643]2641,1023,4)([2644]2641,1023,2)([2645]2642,2644,3)([2646]993,993,1)([2647]2646,1024,4)([2648]2646,1024,2)([2649]993,2648,3)([2650]1094,1091,4)([2651]1094,1091,2)([2652]1099,1096,4)([2653]1099,1096,2)([2654]2652,162,4)([2655]2652,162,2)([2656]2653,2655,3)([2657]1104,1101,4)([2658]1104,1101,2)([2659]2657,1246,4)([2660]2657,1246,2)([2661]2658,2660,3)([2662]1109,1106,4)([2663]1109,1106,2)([2664]2662,1250,4)([2665]2662,1250,2)([2666]2663,2665,3)([2667]1114,1111,4)([2668]1114,1111,2)([2669]2667,1255,4)([2670]2667,1255,2)([2671]2668,2670,3)([2672]1119,1116,4)([2673]1119,1116,2)([2674]2672,1260,4)([2675]2672,1260,2)([2676]2673,2675,3)([2677]1124,1121,4)([2678]1124,1121,2)([2679]2677,1265,4)([2680]2677,1265,2)([2681]2678,2680,3)([2682]1129,1126,4)([2683]1129,1126,2)([2684]2682,1270,4)([2685]2682,1270,2)([2686]2683,2685,3)([2687]1134,1131,4)([2688]1134,1131,2)([2689]2687,1275,4)([2690]2687,1275,2)([2691]2688,2690,3)([2692]1139,1136,4)([2693]1139,1136,2)([2694]2692,1280,4)([2695]2692,1280,2)([2696]2693,2695,3)([2697]1144,1141,4)([2698]1144,1141,2)([2699]2697,1285,4)([2700]2697,1285,2)([2701]2698,2700,3)([2702]1149,1146,4)([2703]1149,1146,2)([2704]2702,1290,4)([2705]2702,1290,2)([2706]2703,2705,3)([2707]1154,1151,4)([2708]1154,1151,2)([2709]2707,1295,4)([2710]2707,1295,2)([2711]2708,2710,3)([2712]1159,1156,4)([2713]1159,1156,2)([2714]2712,1300,4)([2715]2712,1300,2)([2716]2713,2715,3)([2717]1164,1161,4)([2718]1164,1161,2)([2719]2717,1305,4)([2720]2717,1305,2)([2721]2718,2720,3)([2722]1169,1166,4)([2723]1169,1166,2)([2724]2722,1310,4)([2725]2722,1310,2)([2726]2723,2725,3)([2727]1174,1171,4)([2728]1174,1171,2)([2729]2727,1315,4)([2730]2727,1315,2)([2731]2728,2730,3)([2732]1179,1176,4)([2733]1179,1176,2)([2734]2732,1320,4)([2735]2732,1320,2)([2736]2733,2735,3)([2737]1184,1181,4)([2738]1184,1181,2)([2739]2737,1325,4)([2740]2737,1325,2)([2741]2738,2740,3)([2742]1189,1186,4)([2743]1189,1186,2)([2744]2742,1330,4)([2745]2742,1330,2)([2746]2743,2745,3)([2747]1194,1191,4)([2748]1194,1191,2)([2749]2747,1335,4)([2750]2747,1335,2)([2751]2748,2750,3)([2752]1199,1196,4)([2753]1199,1196,2)([2754]2752,1340,4)([2755]2752,1340,2)([2756]2753,2755,3)([2757]1204,1201,4)([2758]1204,1201,2)([2759]2757,1345,4)([2760]2757,1345,2)([2761]2758,2760,3)([2762]1209,1206,4)([2763]1209,1206,2)([2764]2762,1350,4)([2765]2762,1350,2)([2766]2763,2765,3)([2767]1214,1211,4)([2768]1214,1211,2)([2769]2767,1355,4)([2770]2767,1355,2)([2771]2768,2770,3)([2772]1219,1216,4)([2773]1219,1216,2)([2774]2772,1360,4)([2775]2772,1360,2)([2776]2773,2775,3)([2777]1224,1221,4)([2778]1224,1221,2)([2779]2777,1365,4)([2780]2777,1365,2)([2781]2778,2780,3)([2782]1229,1226,4)([2783]1229,1226,2)([2784]2782,1370,4)([2785]2782,1370,2)([2786]2783,2785,3)([2787]1234,1231,4)([2788]1234,1231,2)([2789]2787,1375,4)([2790]2787,1375,2)([2791]2788,2790,3)([2792]1239,1236,4)([2793]1239,1236,2)([2794]2792,1380,4)([2795]2792,1380,2)([2796]2793,2795,3)([2797]1243,1241,4)([2798]1243,1241,2)([2799]2797,1385,4)([2800]2797,1385,2)([2801]2798,2800,3)([2802]161,1245,4)([2803]161,1245,2)([2804]2802,1390,4)([2805]2802,1390,2)([2806]2803,2805,3)([2807]1252,258,4)([2808]1252,258,2)([2809]1257,1402,4)([2810]1257,1402,2)([2811]1262,1406,4)([2812]1262,1406,2)([2813]2811,1403,4)([2814]2811,1403,2)([2815]2812,2814,3)([2816]1267,1411,4)([2817]1267,1411,2)([2818]2816,1408,4)([2819]2816,1408,2)([2820]2817,2819,3)([2821]1272,1416,4)([2822]1272,1416,2)([2823]2821,1413,4)([2824]2821,1413,2)([2825]2822,2824,3)([2826]1277,1421,4)([2827]1277,1421,2)([2828]2826,1418,4)([2829]2826,1418,2)([2830]2827,2829,3)([2831]1282,1426,4)([2832]1282,1426,2)([2833]2831,1423,4)([2834]2831,1423,2)([2835]2832,2834,3)([2836]1287,1431,4)([2837]1287,1431,2)([2838]2836,1428,4)([2839]2836,1428,2)([2840]2837,2839,3)([2841]1292,1436,4)([2842]1292,1436,2)([2843]2841,1433,4)([2844]2841,1433,2)([2845]2842,2844,3)([2846]1297,1441,4)([2847]1297,1441,2)([2848]2846,1438,4)([2849]2846,1438,2)([2850]2847,2849,3)([2851]1302,1446,4)([2852]1302,1446,2)([2853]2851,1443,4)([2854]2851,1443,2)([2855]2852,2854,3)([2856]1307,1451,4)([2857]1307,1451,2)([2858]2856,1448,4)([2859]2856,1448,2)([2860]2857,2859,3)([2861]1312,1456,4)([2862]1312,1456,2)([2863]2861,1453,4)([2864]2861,1453,2)([2865]2862,2864,3)([2866]1317,1461,4)([2867]1317,1461,2)([2868]2866,1458,4)([2869]2866,1458,2)([2870]2867,2869,3)([2871]1322,1466,4)([2872]1322,1466,2)([2873]2871,1463,4)([2874]2871,1463,2)([2875]2872,2874,3)([2876]1327,1471,4)([2877]1327,1471,2)([2878]2876,1468,4)([2879]2876,1468,2)([2880]2877,2879,3)([2881]1332,1476,4)([2882]1332,1476,2)([2883]2881,1473,4)([2884]2881,1473,2)([2885]2882,2884,3)([2886]1337,1481,4)([2887]1337,1481,2)([2888]2886,1478,4)([2889]2886,1478,2)([2890]2887,2889,3)([2891]1342,1486,4)([2892]1342,1486,2)([2893]2891,1483,4)([2894]2891,1483,2)([2895]2892,2894,3)([2896]1347,1491,4)([2897]1347,1491,2)([2898]2896,1488,4)([2899]2896,1488,2)([2900]2897,2899,3)([2901]1352,1496,4)([2902]1352,1496,2)([2903]2901,1493,4)([2904]2901,1493,2)([2905]2902,2904,3)([2906]1357,1501,4)([2907]1357,1501,2)([2908]2906,1498,4)([2909]2906,1498,2)([2910]2907,2909,3)([2911]1362,1506,4)([2912]1362,1506,2)([2913]2911,1503,4)([2914]2911,1503,2)([2915]2912,2914,3)([2916]1367,1511,4)([2917]1367,1511,2)([2918]2916,1508,4)([2919]2916,1508,2)([2920]2917,2919,3)([2921]1372,1516,4)([2922]1372,1516,2)([2923]2921,1513,4)([2924]2921,1513,2)([2925]2922,2924,3)([2926]1377,1521,4)([2927]1377,1521,2)([2928]2926,1518,4)([2929]2926,1518,2)([2930]2927,2929,3)([2931]1382,1526,4)([2932]1382,1526,2)([2933]2931,1523,4)([2934]2931,1523,2)([2935]2932,2934,3)([2936]1387,1531,4)([2937]1387,1531,2)([2938]2936,1528,4)([2939]2936,1528,2)([2940]2937,2939,3)([2941]1392,1536,4)([2942]1392,1536,2)([2943]2941,1533,4)([2944]2941,1533,2)([2945]2942,2944,3)([2946]1397,1541,4)([2947]1397,1541,2)([2948]2946,1538,4)([2949]2946,1538,2)([2950]2947,2949,3)([2951]1401,1546,4)([2952]1401,1546,2)([2953]2951,1543,4)([2954]2951,1543,2)([2955]2952,2954,3)([2956]1551,1551,1)([2957]2956,1548,4)([2958]2956,1548,2)([2959]1551,2958,3)([2960]1555,1555,1)([2961]2960,1553,4)([2962]2960,1553,2)([2963]1555,2962,3)([2964]353,353,1)([2965]2964,1557,4)([2966]2964,1557,2)([2967]353,2966,3)([2968]1562,1559,4)([2969]1562,1559,2)([2970]1567,1564,4)([2971]1567,1564,2)([2972]2970,450,4)([2973]2970,450,2)([2974]2971,2973,3)([2975]1572,1569,4)([2976]1572,1569,2)([2977]2975,1714,4)([2978]2975,1714,2)([2979]2976,2978,3)([2980]1577,1574,4)([2981]1577,1574,2)([2982]2980,1718,4)([2983]2980,1718,2)([2984]2981,2983,3)([2985]1582,1579,4)([2986]1582,1579,2)([2987]2985,1723,4)([2988]2985,1723,2)([2989]2986,2988,3)([2990]1587,1584,4)([2991]1587,1584,2)([2992]2990,1728,4)([2993]2990,1728,2)([2994]2991,2993,3)([2995]1592,1589,4)([2996]1592,1589,2)([2997]2995,1733,4)([2998]2995,1733,2)([2999]2996,2998,3)([3000]1597,1594,4)([3001]1597,1594,2)([3002]3000,1738,4)([3003]3000,1738,2)([3004]3001,3003,3)([3005]1602,1599,4)([3006]1602,1599,2)([3007]3005,1743,4)([3008]3005,1743,2)([3009]3006,3008,3)([3010]1607,1604,4)([3011]1607,1604,2)([3012]3010,1748,4)([3013]3010,1748,2)([3014]3011,3013,3)([3015]1612,1609,4)([3016]1612,1609,2)([3017]3015,1753,4)([3018]3015,1753,2)([3019]3016,3018,3)([3020]1617,1614,4)([3021]1617,1614,2)([3022]3020,1758,4)([3023]3020,1758,2)([3024]3021,3023,3)([3025]1622,1619,4)([3026]1622,1619,2)([3027]3025,1763,4)([3028]3025,1763,2)([3029]3026,3028,3)([3030]1627,1624,4)([3031]1627,1624,2)([3032]3030,1768,4)([3033]3030,1768,2)([3034]3031,3033,3)([3035]1632,1629,4)([3036]1632,1629,2)([3037]3035,1773,4)([3038]3035,1773,2)([3039]3036,3038,3)([3040]1637,1634,4)([3041]1637,1634,2)([3042]3040,1778,4)([3043]3040,1778,2)([3044]3041,3043,3)([3045]1642,1639,4)([3046]1642,1639,2)([3047]3045,1783,4)([3048]3045,1783,2)([3049]3046,3048,3)([3050]1647,1644,4)([3051]1647,1644,2)([3052]3050,1788,4)([3053]3050,1788,2)([3054]3051,3053,3)([3055]1652,1649,4)([3056]1652,1649,2)([3057]3055,1793,4)([3058]3055,1793,2)([3059]3056,3058,3)([3060]1657,1654,4)([3061]1657,1654,2)([3062]3060,1798,4)([3063]3060,1798,2)([3064]3061,3063,3)([3065]1662,1659,4)([3066]1662,1659,2)([3067]3065,1803,4)([3068]3065,1803,2)([3069]3066,3068,3)([3070]1667,1664,4)([3071]1667,1664,2)([3072]3070,1808,4)([3073]3070,1808,2)([3074]3071,3073,3)([3075]1672,1669,4)([3076]1672,1669,2)([3077]3075,1813,4)([3078]3075,1813,2)([3079]3076,3078,3)([3080]1677,1674,4)([3081]1677,1674,2)([3082]3080,1818,4)([3083]3080,1818,2)([3084]3081,3083,3)([3085]1682,1679,4)([3086]1682,1679,2)([3087]3085,1823,4)([3088]3085,1823,2)([3089]3086,3088,3)([3090]1687,1684,4)([3091]1687,1684,2)([3092]3090,1828,4)([3093]3090,1828,2)([3094]3091,3093,3)([3095]1692,1689,4)([3096]1692,1689,2)([3097]3095,1833,4)([3098]3095,1833,2)([3099]3096,3098,3)([3100]1697,1694,4)([3101]1697,1694,2)([3102]3100,1838,4)([3103]3100,1838,2)([3104]3101,3103,3)([3105]1702,1699,4)([3106]1702,1699,2)([3107]3105,1843,4)([3108]3105,1843,2)([3109]3106,3108,3)([3110]1707,1704,4)([3111]1707,1704,2)([3112]3110,1848,4)([3113]3110,1848,2)([3114]3111,3113,3)([3115]1711,1709,4)([3116]1711,1709,2)([3117]3115,1853,4)([3118]3115,1853,2)([3119]3116,3118,3)([3120]449,1713,4)([3121]449,1713,2)([3122]3120,1858,4)([3123]3120,1858,2)([3124]3121,3123,3)([3125]1720,546,4)([3126]1720,546,2)([3127]1725,1870,4)([3128]1725,1870,2)([3129]1730,1874,4)([3130]1730,1874,2)([3131]3129,1871,4)([3132]3129,1871,2)([3133]3130,3132,3)([3134]1735,1879,4)([3135]1735,1879,2)([3136]3134,1876,4)([3137]3134,1876,2)([3138]3135,3137,3)([3139]1740,1884,4)([3140]1740,1884,2)([3141]3139,1881,4)([3142]3139,1881,2)([3143]3140,3142,3)([3144]1745,1889,4)([3145]1745,1889,2)([3146]3144,1886,4)([3147]3144,1886,2)([3148]3145,3147,3)([3149]1750,1894,4)([3150]1750,1894,2)([3151]3149,1891,4)([3152]3149,1891,2)([3153]3150,3152,3)([3154]1755,1899,4)([3155]1755,1899,2)([3156]3154,1896,4)([3157]3154,1896,2)([3158]3155,3157,3)([3159]1760,1904,4)([3160]1760,1904,2)([3161]3159,1901,4)([3162]3159,1901,2)([3163]3160,3162,3)([3164]1765,1909,4)([3165]1765,1909,2)([3166]3164,1906,4)([3167]3164,1906,2)([3168]3165,3167,3)([3169]1770,1914,4)([3170]1770,1914,2)([3171]3169,1911,4)([3172]3169,1911,2)([3173]3170,3172,3)([3174]1775,1919,4)([3175]1775,1919,2)([3176]3174,1916,4)([3177]3174,1916,2)([3178]3175,3177,3)([3179]1780,1924,4)([3180]1780,1924,2)([3181]3179,1921,4)([3182]3179,1921,2)([3183]3180,3182,3)([3184]1785,1929,4)([3185]1785,1929,2)([3186]3184,1926,4)([3187]3184,1926,2)([3188]3185,3187,3)([3189]1790,1934,4)([3190]1790,1934,2)([3191]3189,1931,4)([3192]3189,1931,2)([3193]3190,3192,3)([3194]1795,1939,4)([3195]1795,1939,2)([3196]3194,1936,4)([3197]3194,1936,2)([3198]3195,3197,3)([3199]1800,1944,4)([3200]1800,1944,2)([3201]3199,1941,4)([3202]3199,1941,2)([3203]3200,3202,3)([3204]1805,1949,4)([3205]1805,1949,2)([3206]3204,1946,4)([3207]3204,1946,2)([3208]3205,3207,3)([3209]1810,1954,4)([3210]1810,1954,2)([3211]3209,1951,4)([3212]3209,1951,2)([3213]3210,3212,3)([3214]1815,1959,4)([3215]1815,1959,2)([3216]3214,1956,4)([3217]3214,1956,2)([3218]3215,3217,3)([3219]1820,1964,4)([3220]1820,1964,2)([3221]3219,1961,4)([3222]3219,1961,2)([3223]3220,3222,3)([3224]1825,1969,4)([3225]1825,1969,2)([3226]3224,1966,4)([3227]3224,1966,2)([3228]3225,3227,3)([3229]1830,1974,4)([3230]1830,1974,2)([3231]3229,1971,4)([3232]3229,1971,2)([3233]3230,3232,3)([3234]1835,1979,4)([3235]1835,1979,2)([3236]3234,1976,4)([3237]3234,1976,2)([3238]3235,3237,3)([3239]1840,1984,4)([3240]1840,1984,2)([3241]3239,1981,4)([3242]3239,1981,2)([3243]3240,3242,3)([3244]1845,1989,4)([3245]1845,1989,2)([3246]3244,1986,4)([3247]3244,1986,2)([3248]3245,3247,3)([3249]1850,1994,4)([3250]1850,1994,2)([3251]3249,1991,4)([3252]3249,1991,2)([3253]3250,3252,3)([3254]1855,1999,4)([3255]1855,1999,2)([3256]3254,1996,4)([3257]3254,1996,2)([3258]3255,3257,3)([3259]1860,2004,4)([3260]1860,2004,2)([3261]3259,2001,4)([3262]3259,2001,2)([3263]3260,3262,3)([3264]1865,2009,4)([3265]1865,2009,2)([3266]3264,2006,4)([3267]3264,2006,2)([3268]3265,3267,3)([3269]1869,2014,4)([3270]1869,2014,2)([3271]3269,2011,4)([3272]3269,2011,2)([3273]3270,3272,3)([3274]2019,2019,1)([3275]3274,2016,4)([3276]3274,2016,2)([3277]2019,3276,3)([3278]2023,2023,1)([3279]3278,2021,4)([3280]3278,2021,2)([3281]2023,3280,3)([3282]641,641,1)([3283]3282,2025,4)([3284]3282,2025,2)([3285]641,3284,3)([3286]2030,2027,4)([3287]2030,2027,2)([3288]2035,2032,4)([3289]2035,2032,2)([3290]3288,738,4)([3291]3288,738,2)([3292]3289,3291,3)([3293]2040,2037,4)([3294]2040,2037,2)([3295]3293,2182,4)([3296]3293,2182,2)([3297]3294,3296,3)([3298]2045,2042,4)([3299]2045,2042,2)([3300]3298,2186,4)([3301]3298,2186,2)([3302]3299,3301,3)([3303]2050,2047,4)([3304]2050,2047,2)([3305]3303,2191,4)([3306]3303,2191,2)([3307]3304,3306,3)([3308]2055,2052,4)([3309]2055,2052,2)([3310]3308,2196,4)([3311]3308,2196,2)([3312]3309,3311,3)([3313]2060,2057,4)([3314]2060,2057,2)([3315]3313,2201,4)([3316]3313,2201,2)([3317]3314,3316,3)([3318]2065,2062,4)([3319]2065,2062,2)([3320]3318,2206,4)([3321]3318,2206,2)([3322]3319,3321,3)([3323]2070,2067,4)([3324]2070,2067,2)([3325]3323,2211,4)([3326]3323,2211,2)([3327]3324,3326,3)([3328]2075,2072,4)([3329]2075,2072,2)([3330]3328,2216,4)([3331]3328,2216,2)([3332]3329,3331,3)([3333]2080,2077,4)([3334]2080,2077,2)([3335]3333,2221,4)([3336]3333,2221,2)([3337]3334,3336,3)([3338]2085,2082,4)([3339]2085,2082,2)([3340]3338,2226,4)([3341]3338,2226,2)([3342]3339,3341,3)([3343]2090,2087,4)([3344]2090,2087,2)([3345]3343,2231,4)([3346]3343,2231,2)([3347]3344,3346,3)([3348]2095,2092,4)([3349]2095,2092,2)([3350]3348,2236,4)([3351]3348,2236,2)([3352]3349,3351,3)([3353]2100,2097,4)([3354]2100,2097,2)([3355]3353,2241,4)([3356]3353,2241,2)([3357]3354,3356,3)([3358]2105,2102,4)([3359]2105,2102,2)([3360]3358,2246,4)([3361]3358,2246,2)([3362]3359,3361,3)([3363]2110,2107,4)([3364]2110,2107,2)([3365]3363,2251,4)([3366]3363,2251,2)([3367]3364,3366,3)([3368]2115,2112,4)([3369]2115,2112,2)([3370]3368,2256,4)([3371]3368,2256,2)([3372]3369,3371,3)([3373]2120,2117,4)([3374]2120,2117,2)([3375]3373,2261,4)([3376]3373,2261,2)([3377]3374,3376,3)([3378]2125,2122,4)([3379]2125,2122,2)([3380]3378,2266,4)([3381]3378,2266,2)([3382]3379,3381,3)([3383]2130,2127,4)([3384]2130,2127,2)([3385]3383,2271,4)([3386]3383,2271,2)([3387]3384,3386,3)([3388]2135,2132,4)([3389]2135,2132,2)([3390]3388,2276,4)([3391]3388,2276,2)([3392]3389,3391,3)([3393]2140,2137,4)([3394]2140,2137,2)([3395]3393,2281,4)([3396]3393,2281,2)([3397]3394,3396,3)([3398]2145,2142,4)([3399]2145,2142,2)([3400]3398,2286,4)([3401]3398,2286,2)([3402]3399,3401,3)([3403]2150,2147,4)([3404]2150,2147,2)([3405]3403,2291,4)([3406]3403,2291,2)([3407]3404,3406,3)([3408]2155,2152,4)([3409]2155,2152,2)([3410]3408,2296,4)([3411]3408,2296,2)([3412]3409,3411,3)([3413]2160,2157,4)([3414]2160,2157,2)([3415]3413,2301,4)([3416]3413,2301,2)([3417]3414,3416,3)([3418]2165,2162,4)([3419]2165,2162,2)([3420]3418,2306,4)([3421]3418,2306,2)([3422]3419,3421,3)([3423]2170,2167,4)([3424]2170,2167,2)([3425]3423,2311,4)([3426]3423,2311,2)([3427]3424,3426,3)([3428]2175,2172,4)([3429]2175,2172,2)([3430]3428,2316,4)([3431]3428,2316,2)([3432]3429,3431,3)([3433]2179,2177,4)([3434]2179,2177,2)([3435]3433,2321,4)([3436]3433,2321,2)([3437]3434,3436,3)([3438]737,2181,4)([3439]737,2181,2)([3440]3438,2326,4)([3441]3438,2326,2)([3442]3439,3441,3)([3443]2188,834,4)([3444]2188,834,2)([3445]2193,2338,4)([3446]2193,2338,2)([3447]2198,2342,4)([3448]2198,2342,2)([3449]3447,2339,4)([3450]3447,2339,2)([3451]3448,3450,3)([3452]2203,2347,4)([3453]2203,2347,2)([3454]3452,2344,4)([3455]3452,2344,2)([3456]3453,3455,3)([3457]2208,2352,4)([3458]2208,2352,2)([3459]3457,2349,4)([3460]3457,2349,2)([3461]3458,3460,3)([3462]2213,2357,4)([3463]2213,2357,2)([3464]3462,2354,4)([3465]3462,2354,2)([3466]3463,3465,3)([3467]2218,2362,4)([3468]2218,2362,2)([3469]3467,2359,4)([3470]3467,2359,2)([3471]3468,3470,3)([3472]2223,2367,4)([3473]2223,2367,2)([3474]3472,2364,4)([3475]3472,2364,2)([3476]3473,3475,3)([3477]2228,2372,4)([3478]2228,2372,2)([3479]3477,2369,4)([3480]3477,2369,2)([3481]3478,3480,3)([3482]2233,2377,4)([3483]2233,2377,2)([3484]3482,2374,4)([3485]3482,2374,2)([3486]3483,3485,3)([3487]2238,2382,4)([3488]2238,2382,2)([3489]3487,2379,4)([3490]3487,2379,2)([3491]3488,3490,3)([3492]2243,2387,4)([3493]2243,2387,2)([3494]3492,2384,4)([3495]3492,2384,2)([3496]3493,3495,3)([3497]2248,2392,4)([3498]2248,2392,2)([3499]3497,2389,4)([3500]3497,2389,2)([3501]3498,3500,3)([3502]2253,2397,4)([3503]2253,2397,2)([3504]3502,2394,4)([3505]3502,2394,2)([3506]3503,3505,3)([3507]2258,2402,4)([3508]2258,2402,2)([3509]3507,2399,4)([3510]3507,2399,2)([3511]3508,3510,3)([3512]2263,2407,4)([3513]2263,2407,2)([3514]3512,2404,4)([3515]3512,2404,2)([3516]3513,3515,3)([3517]2268,2412,4)([3518]2268,2412,2)([3519]3517,2409,4)([3520]3517,2409,2)([3521]3518,3520,3)([3522]2273,2417,4)([3523]2273,2417,2)([3524]3522,2414,4)([3525]3522,2414,2)([3526]3523,3525,3)([3527]2278,2422,4)([3528]2278,2422,2)([3529]3527,2419,4)([3530]3527,2419,2)([3531]3528,3530,3)([3532]2283,2427,4)([3533]2283,2427,2)([3534]3532,2424,4)([3535]3532,2424,2)([3536]3533,3535,3)([3537]2288,2432,4)([3538]2288,2432,2)([3539]3537,2429,4)([3540]3537,2429,2)([3541]3538,3540,3)([3542]2293,2437,4)([3543]2293,2437,2)([3544]3542,2434,4)([3545]3542,2434,2)([3546]3543,3545,3)([3547]2298,2442,4)([3548]2298,2442,2)([3549]3547,2439,4)([3550]3547,2439,2)([3551]3548,3550,3)([3552]2303,2447,4)([3553]2303,2447,2)([3554]3552,2444,4)([3555]3552,2444,2)([3556]3553,3555,3)([3557]2308,2452,4)([3558]2308,2452,2)([3559]3557,2449,4)([3560]3557,2449,2)([3561]3558,3560,3)([3562]2313,2457,4)([3563]2313,2457,2)([3564]3562,2454,4)([3565]3562,2454,2)([3566]3563,3565,3)([3567]2318,2462,4)([3568]2318,2462,2)([3569]3567,2459,4)([3570]3567,2459,2)([3571]3568,3570,3)([3572]2323,2467,4)([3573]2323,2467,2)([3574]3572,2464,4)([3575]3572,2464,2)([3576]3573,3575,3)([3577]2328,2472,4)([3578]2328,2472,2)([3579]3577,2469,4)([3580]3577,2469,2)([3581]3578,3580,3)([3582]2333,2477,4)([3583]2333,2477,2)([3584]3582,2474,4)([3585]3582,2474,2)([3586]3583,3585,3)([3587]2337,2482,4)([3588]2337,2482,2)([3589]3587,2479,4)([3590]3587,2479,2)([3591]3588,3590,3)([3592]2487,2487,1)([3593]3592,2484,4)([3594]3592,2484,2)([3595]2487,3594,3)([3596]2491,2491,1)([3597]3596,2489,4)([3598]3596,2489,2)([3599]2491,3598,3)([3600]929,929,1)([3601]3600,2493,4)([3602]3600,2493,2)([3603]929,3602,3)([3604]2498,2495,4)([3605]2498,2495,2)([3606]2503,2500,4)([3607]2503,2500,2)([3608]3606,1026,4)([3609]3606,1026,2)([3610]3607,3609,3)([3611]2508,2505,4)([3612]2508,2505,2)([3613]3611,1027,4)([3614]3611,1027,2)([3615]3612,3614,3)([3616]2513,2510,4)([3617]2513,2510,2)([3618]3616,1028,4)([3619]3616,1028,2)([3620]3617,3619,3)([3621]2518,2515,4)([3622]2518,2515,2)([3623]3621,1029,4)([3624]3621,1029,2)([3625]3622,3624,3)([3626]2523,2520,4)([3627]2523,2520,2)([3628]3626,1030,4)([3629]3626,1030,2)([3630]3627,3629,3)([3631]2528,2525,4)([3632]2528,2525,2)([3633]3631,1031,4)([3634]3631,1031,2)([3635]3632,3634,3)([3636]2533,2530,4)([3637]2533,2530,2)([3638]3636,1032,4)([3639]3636,1032,2)([3640]3637,3639,3)([3641]2538,2535,4)([3642]2538,2535,2)([3643]3641,1033,4)([3644]3641,1033,2)([3645]3642,3644,3)([3646]2543,2540,4)([3647]2543,2540,2)([3648]3646,1034,4)([3649]3646,1034,2)([3650]3647,3649,3)([3651]2548,2545,4)([3652]2548,2545,2)([3653]3651,1035,4)([3654]3651,1035,2)([3655]3652,3654,3)([3656]2553,2550,4)([3657]2553,2550,2)([3658]3656,1036,4)([3659]3656,1036,2)([3660]3657,3659,3)([3661]2558,2555,4)([3662]2558,2555,2)([3663]3661,1037,4)([3664]3661,1037,2)([3665]3662,3664,3)([3666]2563,2560,4)([3667]2563,2560,2)([3668]3666,1038,4)([3669]3666,1038,2)([3670]3667,3669,3)([3671]2568,2565,4)([3672]2568,2565,2)([3673]3671,1039,4)([3674]3671,1039,2)([3675]3672,3674,3)([3676]2573,2570,4)([3677]2573,2570,2)([3678]3676,1040,4)([3679]3676,1040,2)([3680]3677,3679,3)([3681]2578,2575,4)([3682]2578,2575,2)([3683]3681,1041,4)([3684]3681,1041,2)([3685]3682,3684,3)([3686]2583,2580,4)([3687]2583,2580,2)([3688]3686,1042,4)([3689]3686,1042,2)([3690]3687,3689,3)([3691]2588,2585,4)([3692]2588,2585,2)([3693]3691,1043,4)([3694]3691,1043,2)([3695]3692,3694,3)([3696]2593,2590,4)([3697]2593,2590,2)([3698]3696,1044,4)([3699]3696,1044,2)([3700]3697,3699,3)([3701]2598,2595,4)([3702]2598,2595,2)([3703]3701,1045,4)([3704]3701,1045,2)([3705]3702,3704,3)([3706]2603,2600,4)([3707]2603,2600,2)([3708]3706,1046,4)([3709]3706,1046,2)([3710]3707,3709,3)([3711]2608,2605,4)([3712]2608,2605,2)([3713]3711,1047,4)([3714]3711,1047,2)([3715]3712,3714,3)([3716]2613,2610,4)([3717]2613,2610,2)([3718]3716,1048,4)([3719]3716,1048,2)([3720]3717,3719,3)([3721]2618,2615,4)([3722]2618,2615,2)([3723]3721,1049,4)([3724]3721,1049,2)([3725]3722,3724,3)([3726]2623,2620,4)([3727]2623,2620,2)([3728]3726,1050,4)([3729]3726,1050,2)([3730]3727,3729,3)([3731]2628,2625,4)([3732]2628,2625,2)([3733]3731,1051,4)([3734]3731,1051,2)([3735]3732,3734,3)([3736]2633,2630,4)([3737]2633,2630,2)([3738]3736,1052,4)([3739]3736,1052,2)([3740]3737,3739,3)([3741]2638,2635,4)([3742]2638,2635,2)([3743]3741,1053,4)([3744]3741,1053,2)([3745]3742,3744,3)([3746]2643,2640,4)([3747]2643,2640,2)([3748]3746,1054,4)([3749]3746,1054,2)([3750]3747,3749,3)([3751]2647,2645,4)([3752]2647,2645,2)([3753]3751,1055,4)([3754]3751,1055,2)([3755]3752,3754,3)([3756]1025,2649,4)([3757]1025,2649,2)([3758]3756,1056,4)([3759]3756,1056,2)([3760]3757,3759,3)([3761]2654,2651,4)([3762]2654,2651,2)([3763]2659,2656,4)([3764]2659,2656,2)([3765]2664,2661,4)([3766]2664,2661,2)([3767]3765,1247,4)([3768]3765,1247,2)([3769]3766,3768,3)([3770]2669,2666,4)([3771]2669,2666,2)([3772]3770,2807,4)([3773]3770,2807,2)([3774]3771,3773,3)([3775]2674,2671,4)([3776]2674,2671,2)([3777]3775,2809,4)([3778]3775,2809,2)([3779]3776,3778,3)([3780]2679,2676,4)([3781]2679,2676,2)([3782]3780,2813,4)([3783]3780,2813,2)([3784]3781,3783,3)([3785]2684,2681,4)([3786]2684,2681,2)([3787]3785,2818,4)([3788]3785,2818,2)([3789]3786,3788,3)([3790]2689,2686,4)([3791]2689,2686,2)([3792]3790,2823,4)([3793]3790,2823,2)([3794]3791,3793,3)([3795]2694,2691,4)([3796]2694,2691,2)([3797]3795,2828,4)([3798]3795,2828,2)([3799]3796,3798,3)([3800]2699,2696,4)([3801]2699,2696,2)([3802]3800,2833,4)([3803]3800,2833,2)([3804]3801,3803,3)([3805]2704,2701,4)([3806]2704,2701,2)([3807]3805,2838,4)([3808]3805,2838,2)([3809]3806,3808,3)([3810]2709,2706,4)([3811]2709,2706,2)([3812]3810,2843,4)([3813]3810,2843,2)([3814]3811,3813,3)([3815]2714,2711,4)([3816]2714,2711,2)([3817]3815,2848,4)([3818]3815,2848,2)([3819]3816,3818,3)([3820]2719,2716,4)([3821]2719,2716,2)([3822]3820,2853,4)([3823]3820,2853,2)([3824]3821,3823,3)([3825]2724,2721,4)([3826]2724,2721,2)([3827]3825,2858,4)([3828]3825,2858,2)([3829]3826,3828,3)([3830]2729,2726,4)([3831]2729,2726,2)([3832]3830,2863,4)([3833]3830,2863,2)([3834]3831,3833,3)([3835]2734,2731,4)([3836]2734,2731,2)([3837]3835,2868,4)([3838]3835,2868,2)([3839]3836,3838,3)([3840]2739,2736,4)([3841]2739,2736,2)([3842]3840,2873,4)([3843]3840,2873,2)([3844]3841,3843,3)([3845]2744,2741,4)([3846]2744,2741,2)([3847]3845,2878,4)([3848]3845,2878,2)([3849]3846,3848,3)([3850]2749,2746,4)([3851]2749,2746,2)([3852]3850,2883,4)([3853]3850,2883,2)([3854]3851,3853,3)([3855]2754,2751,4)([3856]2754,2751,2)([3857]3855,2888,4)([3858]3855,2888,2)([3859]3856,3858,3)([3860]2759,2756,4)([3861]2759,2756,2)([3862]3860,2893,4)([3863]3860,2893,2)([3864]3861,3863,3)([3865]2764,2761,4)([3866]2764,2761,2)([3867]3865,2898,4)([3868]3865,2898,2)([3869]3866,3868,3)([3870]2769,2766,4)([3871]2769,2766,2)([3872]3870,2903,4)([3873]3870,2903,2)([3874]3871,3873,3)([3875]2774,2771,4)([3876]2774,2771,2)([3877]3875,2908,4)([3878]3875,2908,2)([3879]3876,3878,3)([3880]2779,2776,4)([3881]2779,2776,2)([3882]3880,2913,4)([3883]3880,2913,2)([3884]3881,3883,3)([3885]2784,2781,4)([3886]2784,2781,2)([3887]3885,2918,4)([3888]3885,2918,2)([3889]3886,3888,3)([3890]2789,2786,4)([3891]2789,2786,2)([3892]3890,2923,4)([3893]3890,2923,2)([3894]3891,3893,3)([3895]2794,2791,4)([3896]2794,2791,2)([3897]3895,2928,4)([3898]3895,2928,2)([3899]3896,3898,3)([3900]2799,2796,4)([3901]2799,2796,2)([3902]3900,2933,4)([3903]3900,2933,2)([3904]3901,3903,3)([3905]2804,2801,4)([3906]2804,2801,2)([3907]3905,2938,4)([3908]3905,2938,2)([3909]3906,3908,3)([3910]1395,2806,4)([3911]1395,2806,2)([3912]3910,2943,4)([3913]3910,2943,2)([3914]3911,3913,3)([3915]1399,1399,1)([3916]3915,2948,4)([3917]3915,2948,2)([3918]1399,3917,3)([3919]257,257,1)([3920]3919,2953,4)([3921]3919,2953,2)([3922]257,3921,3)([3923]2815,354,4)([3924]2815,354,2)([3925]2820,1558,4)([3926]2820,1558,2)([3927]2825,2968,4)([3928]2825,2968,2)([3929]2830,2972,4)([3930]2830,2972,2)([3931]3929,2969,4)([3932]3929,2969,2)([3933]3930,3932,3)([3934]2835,2977,4)([3935]2835,2977,2)([3936]3934,2974,4)([3937]3934,2974,2)([3938]3935,3937,3)([3939]2840,2982,4)([3940]2840,2982,2)([3941]3939,2979,4)([3942]3939,2979,2)([3943]3940,3942,3)([3944]2845,2987,4)([3945]2845,2987,2)([3946]3944,2984,4)([3947]3944,2984,2)([3948]3945,3947,3)([3949]2850,2992,4)([3950]2850,2992,2)([3951]3949,2989,4)([3952]3949,2989,2)([3953]3950,3952,3)([3954]2855,2997,4)([3955]2855,2997,2)([3956]3954,2994,4)([3957]3954,2994,2)([3958]3955,3957,3)([3959]2860,3002,4)([3960]2860,3002,2)([3961]3959,2999,4)([3962]3959,2999,2)([3963]3960,3962,3)([3964]2865,3007,4)([3965]2865,3007,2)([3966]3964,3004,4)([3967]3964,3004,2)([3968]3965,3967,3)([3969]2870,3012,4)([3970]2870,3012,2)([3971]3969,3009,4)([3972]3969,3009,2)([3973]3970,3972,3)([3974]2875,3017,4)([3975]2875,3017,2)([3976]3974,3014,4)([3977]3974,3014,2)([3978]3975,3977,3)([3979]2880,3022,4)([3980]2880,3022,2)([3981]3979,3019,4)([3982]3979,3019,2)([3983]3980,3982,3)([3984]2885,3027,4)([3985]2885,3027,2)([3986]3984,3024,4)([3987]3984,3024,2)([3988]3985,3987,3)([3989]2890,3032,4)([3990]2890,3032,2)([3991]3989,3029,4)([3992]3989,3029,2)([3993]3990,3992,3)([3994]2895,3037,4)([3995]2895,3037,2)([3996]3994,3034,4)([3997]3994,3034,2)([3998]3995,3997,3)([3999]2900,3042,4)([4000]2900,3042,2)([4001]3999,3039,4)([4002]3999,3039,2)([4003]4000,4002,3)([4004]2905,3047,4)([4005]2905,3047,2)([4006]4004,3044,4)([4007]4004,3044,2)([4008]4005,4007,3)([4009]2910,3052,4)([4010]2910,3052,2)([4011]4009,3049,4)([4012]4009,3049,2)([4013]4010,4012,3)([4014]2915,3057,4)([4015]2915,3057,2)([4016]4014,3054,4)([4017]4014,3054,2)([4018]4015,4017,3)([4019]2920,3062,4)([4020]2920,3062,2)([4021]4019,3059,4)([4022]4019,3059,2)([4023]4020,4022,3)([4024]2925,3067,4)([4025]2925,3067,2)([4026]4024,3064,4)([4027]4024,3064,2)([4028]4025,4027,3)([4029]2930,3072,4)([4030]2930,3072,2)([4031]4029,3069,4)([4032]4029,3069,2)([4033]4030,4032,3)([4034]2935,3077,4)([4035]2935,3077,2)([4036]4034,3074,4)([4037]4034,3074,2)([4038]4035,4037,3)([4039]2940,3082,4)([4040]2940,3082,2)([4041]4039,3079,4)([4042]4039,3079,2)([4043]4040,4042,3)([4044]2945,3087,4)([4045]2945,3087,2)([4046]4044,3084,4)([4047]4044,3084,2)([4048]4045,4047,3)([4049]2950,3092,4)([4050]2950,3092,2)([4051]4049,3089,4)([4052]4049,3089,2)([4053]4050,4052,3)([4054]2955,3097,4)([4055]2955,3097,2)([4056]4054,3094,4)([4057]4054,3094,2)([4058]4055,4057,3)([4059]2959,3102,4)([4060]2959,3102,2)([4061]4059,3099,4)([4062]4059,3099,2)([4063]4060,4062,3)([4064]2963,3107,4)([4065]2963,3107,2)([4066]4064,3104,4)([4067]4064,3104,2)([4068]4065,4067,3)([4069]2967,3112,4)([4070]2967,3112,2)([4071]4069,3109,4)([4072]4069,3109,2)([4073]4070,4072,3)([4074]3117,3117,1)([4075]4074,3114,4)([4076]4074,3114,2)([4077]3117,4076,3)([4078]3122,3122,1)([4079]4078,3119,4)([4080]4078,3119,2)([4081]3122,4080,3)([4082]1863,1863,1)([4083]4082,3124,4)([4084]4082,3124,2)([4085]1863,4084,3)([4086]1867,1867,1)([4087]4086,4086,1)([4088]1867,4086,3)([4089]545,545,1)([4090]4089,4089,1)([4091]545,4089,3)([4092]3127,3126,4)([4093]3127,3126,2)([4094]3131,3128,4)([4095]3131,3128,2)([4096]3136,3133,4)([4097]3136,3133,2)([4098]4096,642,4)([4099]4096,642,2)([4100]4097,4099,3)([4101]3141,3138,4)([4102]3141,3138,2)([4103]4101,2026,4)([4104]4101,2026,2)([4105]4102,4104,3)([4106]3146,3143,4)([4107]3146,3143,2)([4108]4106,3286,4)([4109]4106,3286,2)([4110]4107,4109,3)([4111]3151,3148,4)([4112]3151,3148,2)([4113]4111,3290,4)([4114]4111,3290,2)([4115]4112,4114,3)([4116]3156,3153,4)([4117]3156,3153,2)([4118]4116,3295,4)([4119]4116,3295,2)([4120]4117,4119,3)([4121]3161,3158,4)([4122]3161,3158,2)([4123]4121,3300,4)([4124]4121,3300,2)([4125]4122,4124,3)([4126]3166,3163,4)([4127]3166,3163,2)([4128]4126,3305,4)([4129]4126,3305,2)([4130]4127,4129,3)([4131]3171,3168,4)([4132]3171,3168,2)([4133]4131,3310,4)([4134]4131,3310,2)([4135]4132,4134,3)([4136]3176,3173,4)([4137]3176,3173,2)([4138]4136,3315,4)([4139]4136,3315,2)([4140]4137,4139,3)([4141]3181,3178,4)([4142]3181,3178,2)([4143]4141,3320,4)([4144]4141,3320,2)([4145]4142,4144,3)([4146]3186,3183,4)([4147]3186,3183,2)([4148]4146,3325,4)([4149]4146,3325,2)([4150]4147,4149,3)([4151]3191,3188,4)([4152]3191,3188,2)([4153]4151,3330,4)([4154]4151,3330,2)([4155]4152,4154,3)([4156]3196,3193,4)([4157]3196,3193,2)([4158]4156,3335,4)([4159]4156,3335,2)([4160]4157,4159,3)([4161]3201,3198,4)([4162]3201,3198,2)([4163]4161,3340,4)([4164]4161,3340,2)([4165]4162,4164,3)([4166]3206,3203,4)([4167]3206,3203,2)([4168]4166,3345,4)([4169]4166,3345,2)([4170]4167,4169,3)([4171]3211,3208,4)([4172]3211,3208,2)([4173]4171,3350,4)([4174]4171,3350,2)([4175]4172,4174,3)([4176]3216,3213,4)([4177]3216,3213,2)([4178]4176,3355,4)([4179]4176,3355,2)([4180]4177,4179,3)([4181]3221,3218,4)([4182]3221,3218,2)([4183]4181,3360,4)([4184]4181,3360,2)([4185]4182,4184,3)([4186]3226,3223,4)([4187]3226,3223,2)([4188]4186,3365,4)([4189]4186,3365,2)([4190]4187,4189,3)([4191]3231,3228,4)([4192]3231,3228,2)([4193]4191,3370,4)([4194]4191,3370,2)([4195]4192,4194,3)([4196]3236,3233,4)([4197]3236,3233,2)([4198]4196,3375,4)([4199]4196,3375,2)([4200]4197,4199,3)([4201]3241,3238,4)([4202]3241,3238,2)([4203]4201,3380,4)([4204]4201,3380,2)([4205]4202,4204,3)([4206]3246,3243,4)([4207]3246,3243,2)([4208]4206,3385,4)([4209]4206,3385,2)([4210]4207,4209,3)([4211]3251,3248,4)([4212]3251,3248,2)([4213]4211,3390,4)([4214]4211,3390,2)([4215]4212,4214,3)([4216]3256,3253,4)([4217]3256,3253,2)([4218]4216,3395,4)([4219]4216,3395,2)([4220]4217,4219,3)([4221]3261,3258,4)([4222]3261,3258,2)([4223]4221,3400,4)([4224]4221,3400,2)([4225]4222,4224,3)([4226]3266,3263,4)([4227]3266,3263,2)([4228]4226,3405,4)([4229]4226,3405,2)([4230]4227,4229,3)([4231]3271,3268,4)([4232]3271,3268,2)([4233]4231,3410,4)([4234]4231,3410,2)([4235]4232,4234,3)([4236]3275,3273,4)([4237]3275,3273,2)([4238]4236,3415,4)([4239]4236,3415,2)([4240]4237,4239,3)([4241]3279,3277,4)([4242]3279,3277,2)([4243]4241,3420,4)([4244]4241,3420,2)([4245]4242,4244,3)([4246]3283,3281,4)([4247]3283,3281,2)([4248]4246,3425,4)([4249]4246,3425,2)([4250]4247,4249,3)([4251]3285,3285,1)([4252]4251,3430,4)([4253]4251,3430,2)([4254]3285,4253,3)([4255]3297,2183,4)([4256]3297,2183,2)([4257]3302,3443,4)([4258]3302,3443,2)([4259]3307,3445,4)([4260]3307,3445,2)([4261]4259,3444,4)([4262]4259,3444,2)([4263]4260,4262,3)([4264]3312,3449,4)([4265]3312,3449,2)([4266]4264,3446,4)([4267]4264,3446,2)([4268]4265,4267,3)([4269]3317,3454,4)([4270]3317,3454,2)([4271]4269,3451,4)([4272]4269,3451,2)([4273]4270,4272,3)([4274]3322,3459,4)([4275]3322,3459,2)([4276]4274,3456,4)([4277]4274,3456,2)([4278]4275,4277,3)([4279]3327,3464,4)([4280]3327,3464,2)([4281]4279,3461,4)([4282]4279,3461,2)([4283]4280,4282,3)([4284]3332,3469,4)([4285]3332,3469,2)([4286]4284,3466,4)([4287]4284,3466,2)([4288]4285,4287,3)([4289]3337,3474,4)([4290]3337,3474,2)([4291]4289,3471,4)([4292]4289,3471,2)([4293]4290,4292,3)([4294]3342,3479,4)([4295]3342,3479,2)([4296]4294,3476,4)([4297]4294,3476,2)([4298]4295,4297,3)([4299]3347,3484,4)([4300]3347,3484,2)([4301]4299,3481,4)([4302]4299,3481,2)([4303]4300,4302,3)([4304]3352,3489,4)([4305]3352,3489,2)([4306]4304,3486,4)([4307]4304,3486,2)([4308]4305,4307,3)([4309]3357,3494,4)([4310]3357,3494,2)([4311]4309,3491,4)([4312]4309,3491,2)([4313]4310,4312,3)([4314]3362,3499,4)([4315]3362,3499,2)([4316]4314,3496,4)([4317]4314,3496,2)([4318]4315,4317,3)([4319]3367,3504,4)([4320]3367,3504,2)([4321]4319,3501,4)([4322]4319,3501,2)([4323]4320,4322,3)([4324]3372,3509,4)([4325]3372,3509,2)([4326]4324,3506,4)([4327]4324,3506,2)([4328]4325,4327,3)([4329]3377,3514,4)([4330]3377,3514,2)([4331]4329,3511,4)([4332]4329,3511,2)([4333]4330,4332,3)([4334]3382,3519,4)([4335]3382,3519,2)([4336]4334,3516,4)([4337]4334,3516,2)([4338]4335,4337,3)([4339]3387,3524,4)([4340]3387,3524,2)([4341]4339,3521,4)([4342]4339,3521,2)([4343]4340,4342,3)([4344]3392,3529,4)([4345]3392,3529,2)([4346]4344,3526,4)([4347]4344,3526,2)([4348]4345,4347,3)([4349]3397,3534,4)([4350]3397,3534,2)([4351]4349,3531,4)([4352]4349,3531,2)([4353]4350,4352,3)([4354]3402,3539,4)([4355]3402,3539,2)([4356]4354,3536,4)([4357]4354,3536,2)([4358]4355,4357,3)([4359]3407,3544,4)([4360]3407,3544,2)([4361]4359,3541,4)([4362]4359,3541,2)([4363]4360,4362,3)([4364]3412,3549,4)([4365]3412,3549,2)([4366]4364,3546,4)([4367]4364,3546,2)([4368]4365,4367,3)([4369]3417,3554,4)([4370]3417,3554,2)([4371]4369,3551,4)([4372]4369,3551,2)([4373]4370,4372,3)([4374]3422,3559,4)([4375]3422,3559,2)([4376]4374,3556,4)([4377]4374,3556,2)([4378]4375,4377,3)([4379]3427,3564,4)([4380]3427,3564,2)([4381]4379,3561,4)([4382]4379,3561,2)([4383]4380,4382,3)([4384]3432,3569,4)([4385]3432,3569,2)([4386]4384,3566,4)([4387]4384,3566,2)([4388]4385,4387,3)([4389]3437,3574,4)([4390]3437,3574,2)([4391]4389,3571,4)([4392]4389,3571,2)([4393]4390,4392,3)([4394]3442,3579,4)([4395]3442,3579,2)([4396]4394,3576,4)([4397]4394,3576,2)([4398]4395,4397,3)([4399]3584,3584,1)([4400]4399,3581,4)([4401]4399,3581,2)([4402]3584,4401,3)([4403]3589,3589,1)([4404]4403,3586,4)([4405]4403,3586,2)([4406]3589,4405,3)([4407]3593,3593,1)([4408]4407,3591,4)([4409]4407,3591,2)([4410]3593,4409,3)([4411]3597,3597,1)([4412]4411,3595,4)([4413]4411,3595,2)([4414]3597,4413,3)([4415]3601,3601,1)([4416]4415,3599,4)([4417]4415,3599,2)([4418]3601,4417,3)([4419]3608,3605,4)([4420]3608,3605,2)([4421]3613,3610,4)([4422]3613,3610,2)([4423]4421,1058,4)([4424]4421,1058,2)([4425]4422,4424,3)([4426]3618,3615,4)([4427]3618,3615,2)([4428]4426,1059,4)([4429]4426,1059,2)([4430]4427,4429,3)([4431]3623,3620,4)([4432]3623,3620,2)([4433]4431,1060,4)([4434]4431,1060,2)([4435]4432,4434,3)([4436]3628,3625,4)([4437]3628,3625,2)([4438]4436,1061,4)([4439]4436,1061,2)([4440]4437,4439,3)([4441]3633,3630,4)([4442]3633,3630,2)([4443]4441,1062,4)([4444]4441,1062,2)([4445]4442,4444,3)([4446]3638,3635,4)([4447]3638,3635,2)([4448]4446,1063,4)([4449]4446,1063,2)([4450]4447,4449,3)([4451]3643,3640,4)([4452]3643,3640,2)([4453]4451,1064,4)([4454]4451,1064,2)([4455]4452,4454,3)([4456]3648,3645,4)([4457]3648,3645,2)([4458]4456,1065,4)([4459]4456,1065,2)([4460]4457,4459,3)([4461]3653,3650,4)([4462]3653,3650,2)([4463]4461,1066,4)([4464]4461,1066,2)([4465]4462,4464,3)([4466]3658,3655,4)([4467]3658,3655,2)([4468]4466,1067,4)([4469]4466,1067,2)([4470]4467,4469,3)([4471]3663,3660,4)([4472]3663,3660,2)([4473]4471,1068,4)([4474]4471,1068,2)([4475]4472,4474,3)([4476]3668,3665,4)([4477]3668,3665,2)([4478]4476,1069,4)([4479]4476,1069,2)([4480]4477,4479,3)([4481]3673,3670,4)([4482]3673,3670,2)([4483]4481,1070,4)([4484]4481,1070,2)([4485]4482,4484,3)([4486]3678,3675,4)([4487]3678,3675,2)([4488]4486,1071,4)([4489]4486,1071,2)([4490]4487,4489,3)([4491]3683,3680,4)([4492]3683,3680,2)([4493]4491,1072,4)([4494]4491,1072,2)([4495]4492,4494,3)([4496]3688,3685,4)([4497]3688,3685,2)([4498]4496,1073,4)([4499]4496,1073,2)([4500]4497,4499,3)([4501]3693,3690,4)([4502]3693,3690,2)([4503]4501,1074,4)([4504]4501,1074,2)([4505]4502,4504,3)([4506]3698,3695,4)([4507]3698,3695,2)([4508]4506,1075,4)([4509]4506,1075,2)([4510]4507,4509,3)([4511]3703,3700,4)([4512]3703,3700,2)([4513]4511,1076,4)([4514]4511,1076,2)([4515]4512,4514,3)([4516]3708,3705,4)([4517]3708,3705,2)([4518]4516,1077,4)([4519]4516,1077,2)([4520]4517,4519,3)([4521]3713,3710,4)([4522]3713,3710,2)([4523]4521,1078,4)([4524]4521,1078,2)([4525]4522,4524,3)([4526]3718,3715,4)([4527]3718,3715,2)([4528]4526,1079,4)([4529]4526,1079,2)([4530]4527,4529,3)([4531]3723,3720,4)([4532]3723,3720,2)([4533]4531,1080,4)([4534]4531,1080,2)([4535]4532,4534,3)([4536]3728,3725,4)([4537]3728,3725,2)([4538]4536,1081,4)([4539]4536,1081,2)([4540]4537,4539,3)([4541]3733,3730,4)([4542]3733,3730,2)([4543]4541,1082,4)([4544]4541,1082,2)([4545]4542,4544,3)([4546]3738,3735,4)([4547]3738,3735,2)([4548]4546,1083,4)([4549]4546,1083,2)([4550]4547,4549,3)([4551]3743,3740,4)([4552]3743,3740,2)([4553]4551,1084,4)([4554]4551,1084,2)([4555]4552,4554,3)([4556]3748,3745,4)([4557]3748,3745,2)([4558]4556,1085,4)([4559]4556,1085,2)([4560]4557,4559,3)([4561]3753,3750,4)([4562]3753,3750,2)([4563]4561,1086,4)([4564]4561,1086,2)([4565]4562,4564,3)([4566]3758,3755,4)([4567]3758,3755,2)([4568]4566,1087,4)([4569]4566,1087,2)([4570]4567,4569,3)([4571]1057,3760,4)([4572]1057,3760,2)([4573]4571,1088,4)([4574]4571,1088,2)([4575]4572,4574,3)([4576]3763,3762,4)([4577]3763,3762,2)([4578]3767,3764,4)([4579]3767,3764,2)([4580]3772,3769,4)([4581]3772,3769,2)([4582]3777,3774,4)([4583]3777,3774,2)([4584]4582,2808,4)([4585]4582,2808,2)([4586]4583,4585,3)([4587]3782,3779,4)([4588]3782,3779,2)([4589]4587,2810,4)([4590]4587,2810,2)([4591]4588,4590,3)([4592]3787,3784,4)([4593]3787,3784,2)([4594]4592,3923,4)([4595]4592,3923,2)([4596]4593,4595,3)([4597]3792,3789,4)([4598]3792,3789,2)([4599]4597,3925,4)([4600]4597,3925,2)([4601]4598,4600,3)([4602]3797,3794,4)([4603]3797,3794,2)([4604]4602,3927,4)([4605]4602,3927,2)([4606]4603,4605,3)([4607]3802,3799,4)([4608]3802,3799,2)([4609]4607,3931,4)([4610]4607,3931,2)([4611]4608,4610,3)([4612]3807,3804,4)([4613]3807,3804,2)([4614]4612,3936,4)([4615]4612,3936,2)([4616]4613,4615,3)([4617]3812,3809,4)([4618]3812,3809,2)([4619]4617,3941,4)([4620]4617,3941,2)([4621]4618,4620,3)([4622]3817,3814,4)([4623]3817,3814,2)([4624]4622,3946,4)([4625]4622,3946,2)([4626]4623,4625,3)([4627]3822,3819,4)([4628]3822,3819,2)([4629]4627,3951,4)([4630]4627,3951,2)([4631]4628,4630,3)([4632]3827,3824,4)([4633]3827,3824,2)([4634]4632,3956,4)([4635]4632,3956,2)([4636]4633,4635,3)([4637]3832,3829,4)([4638]3832,3829,2)([4639]4637,3961,4)([4640]4637,3961,2)([4641]4638,4640,3)([4642]3837,3834,4)([4643]3837,3834,2)([4644]4642,3966,4)([4645]4642,3966,2)([4646]4643,4645,3)([4647]3842,3839,4)([4648]3842,3839,2)([4649]4647,3971,4)([4650]4647,3971,2)([4651]4648,4650,3)([4652]3847,3844,4)([4653]3847,3844,2)([4654]4652,3976,4)([4655]4652,3976,2)([4656]4653,4655,3)([4657]3852,3849,4)([4658]3852,3849,2)([4659]4657,3981,4)([4660]4657,3981,2)([4661]4658,4660,3)([4662]3857,3854,4)([4663]3857,3854,2)([4664]4662,3986,4)([4665]4662,3986,2)([4666]4663,4665,3)([4667]3862,3859,4)([4668]3862,3859,2)([4669]4667,3991,4)([4670]4667,3991,2)([4671]4668,4670,3)([4672]3867,3864,4)([4673]3867,3864,2)([4674]4672,3996,4)([4675]4672,3996,2)([4676]4673,4675,3)([4677]3872,3869,4)([4678]3872,3869,2)([4679]4677,4001,4)([4680]4677,4001,2)([4681]4678,4680,3)([4682]3877,3874,4)([4683]3877,3874,2)([4684]4682,4006,4)([4685]4682,4006,2)([4686]4683,4685,3)([4687]3882,3879,4)([4688]3882,3879,2)([4689]4687,4011,4)([4690]4687,4011,2)([4691]4688,4690,3)([4692]3887,3884,4)([4693]3887,3884,2)([4694]4692,4016,4)([4695]4692,4016,2)([4696]4693,4695,3)([4697]3892,3889,4)([4698]3892,3889,2)([4699]4697,4021,4)([4700]4697,4021,2)([4701]4698,4700,3)([4702]3897,3894,4)([4703]3897,3894,2)([4704]4702,4026,4)([4705]4702,4026,2)([4706]4703,4705,3)([4707]3902,3899,4)([4708]3902,3899,2)([4709]4707,4031,4)([4710]4707,4031,2)([4711]4708,4710,3)([4712]3907,3904,4)([4713]3907,3904,2)([4714]4712,4036,4)([4715]4712,4036,2)([4716]4713,4715,3)([4717]3912,3909,4)([4718]3912,3909,2)([4719]4717,4041,4)([4720]4717,4041,2)([4721]4718,4720,3)([4722]3916,3914,4)([4723]3916,3914,2)([4724]4722,4046,4)([4725]4722,4046,2)([4726]4723,4725,3)([4727]3920,3918,4)([4728]3920,3918,2)([4729]4727,4051,4)([4730]4727,4051,2)([4731]4728,4730,3)([4732]2957,3922,4)([4733]2957,3922,2)([4734]4732,4056,4)([4735]4732,4056,2)([4736]4733,4735,3)([4737]2961,2961,1)([4738]4737,4061,4)([4739]4737,4061,2)([4740]2961,4739,3)([4741]2965,2965,1)([4742]4741,4066,4)([4743]4741,4066,2)([4744]2965,4743,3)([4745]3938,1715,4)([4746]3938,1715,2)([4747]3943,3125,4)([4748]3943,3125,2)([4749]3948,4092,4)([4750]3948,4092,2)([4751]3953,4094,4)([4752]3953,4094,2)([4753]4751,4093,4)([4754]4751,4093,2)([4755]4752,4754,3)([4756]3958,4098,4)([4757]3958,4098,2)([4758]4756,4095,4)([4759]4756,4095,2)([4760]4757,4759,3)([4761]3963,4103,4)([4762]3963,4103,2)([4763]4761,4100,4)([4764]4761,4100,2)([4765]4762,4764,3)([4766]3968,4108,4)([4767]3968,4108,2)([4768]4766,4105,4)([4769]4766,4105,2)([4770]4767,4769,3)([4771]3973,4113,4)([4772]3973,4113,2)([4773]4771,4110,4)([4774]4771,4110,2)([4775]4772,4774,3)([4776]3978,4118,4)([4777]3978,4118,2)([4778]4776,4115,4)([4779]4776,4115,2)([4780]4777,4779,3)([4781]3983,4123,4)([4782]3983,4123,2)([4783]4781,4120,4)([4784]4781,4120,2)([4785]4782,4784,3)([4786]3988,4128,4)([4787]3988,4128,2)([4788]4786,4125,4)([4789]4786,4125,2)([4790]4787,4789,3)([4791]3993,4133,4)([4792]3993,4133,2)([4793]4791,4130,4)([4794]4791,4130,2)([4795]4792,4794,3)([4796]3998,4138,4)([4797]3998,4138,2)([4798]4796,4135,4)([4799]4796,4135,2)([4800]4797,4799,3)([4801]4003,4143,4)([4802]4003,4143,2)([4803]4801,4140,4)([4804]4801,4140,2)([4805]4802,4804,3)([4806]4008,4148,4)([4807]4008,4148,2)([4808]4806,4145,4)([4809]4806,4145,2)([4810]4807,4809,3)([4811]4013,4153,4)([4812]4013,4153,2)([4813]4811,4150,4)([4814]4811,4150,2)([4815]4812,4814,3)([4816]4018,4158,4)([4817]4018,4158,2)([4818]4816,4155,4)([4819]4816,4155,2)([4820]4817,4819,3)([4821]4023,4163,4)([4822]4023,4163,2)([4823]4821,4160,4)([4824]4821,4160,2)([4825]4822,4824,3)([4826]4028,4168,4)([4827]4028,4168,2)([4828]4826,4165,4)([4829]4826,4165,2)([4830]4827,4829,3)([4831]4033,4173,4)([4832]4033,4173,2)([4833]4831,4170,4)([4834]4831,4170,2)([4835]4832,4834,3)([4836]4038,4178,4)([4837]4038,4178,2)([4838]4836,4175,4)([4839]4836,4175,2)([4840]4837,4839,3)([4841]4043,4183,4)([4842]4043,4183,2)([4843]4841,4180,4)([4844]4841,4180,2)([4845]4842,4844,3)([4846]4048,4188,4)([4847]4048,4188,2)([4848]4846,4185,4)([4849]4846,4185,2)([4850]4847,4849,3)([4851]4053,4193,4)([4852]4053,4193,2)([4853]4851,4190,4)([4854]4851,4190,2)([4855]4852,4854,3)([4856]4058,4198,4)([4857]4058,4198,2)([4858]4856,4195,4)([4859]4856,4195,2)([4860]4857,4859,3)([4861]4063,4203,4)([4862]4063,4203,2)([4863]4861,4200,4)([4864]4861,4200,2)([4865]4862,4864,3)([4866]4068,4208,4)([4867]4068,4208,2)([4868]4866,4205,4)([4869]4866,4205,2)([4870]4867,4869,3)([4871]4073,4213,4)([4872]4073,4213,2)([4873]4871,4210,4)([4874]4871,4210,2)([4875]4872,4874,3)([4876]4077,4218,4)([4877]4077,4218,2)([4878]4876,4215,4)([4879]4876,4215,2)([4880]4877,4879,3)([4881]4081,4223,4)([4882]4081,4223,2)([4883]4881,4220,4)([4884]4881,4220,2)([4885]4882,4884,3)([4886]4085,4228,4)([4887]4085,4228,2)([4888]4886,4225,4)([4889]4886,4225,2)([4890]4887,4889,3)([4891]4088,4233,4)([4892]4088,4233,2)([4893]4891,4230,4)([4894]4891,4230,2)([4895]4892,4894,3)([4896]4091,4238,4)([4897]4091,4238,2)([4898]4896,4235,4)([4899]4896,4235,2)([4900]4897,4899,3)([4901]4243,4243,1)([4902]4901,4240,4)([4903]4901,4240,2)([4904]4243,4903,3)([4905]4248,4248,1)([4906]4905,4245,4)([4907]4905,4245,2)([4908]4248,4907,3)([4909]4252,4252,1)([4910]4909,4250,4)([4911]4909,4250,2)([4912]4252,4911,3)([4913]3435,3435,1)([4914]4913,4254,4)([4915]4913,4254,2)([4916]3435,4915,3)([4917]3440,3440,1)([4918]4917,4917,1)([4919]3440,4917,3)([4920]2331,2331,1)([4921]4920,4920,1)([4922]2331,4920,3)([4923]2335,2335,1)([4924]4923,4923,1)([4925]2335,4923,3)([4926]833,833,1)([4927]4926,4926,1)([4928]833,4926,3)([4929]4257,4256,4)([4930]4257,4256,2)([4931]4261,4258,4)([4932]4261,4258,2)([4933]4266,4263,4)([4934]4266,4263,2)([4935]4271,4268,4)([4936]4271,4268,2)([4937]4935,930,4)([4938]4935,930,2)([4939]4936,4938,3)([4940]4276,4273,4)([4941]4276,4273,2)([4942]4940,2494,4)([4943]4940,2494,2)([4944]4941,4943,3)([4945]4281,4278,4)([4946]4281,4278,2)([4947]4945,3604,4)([4948]4945,3604,2)([4949]4946,4948,3)([4950]4286,4283,4)([4951]4286,4283,2)([4952]4950,4419,4)([4953]4950,4419,2)([4954]4951,4953,3)([4955]4291,4288,4)([4956]4291,4288,2)([4957]4955,4423,4)([4958]4955,4423,2)([4959]4956,4958,3)([4960]4296,4293,4)([4961]4296,4293,2)([4962]4960,4428,4)([4963]4960,4428,2)([4964]4961,4963,3)([4965]4301,4298,4)([4966]4301,4298,2)([4967]4965,4433,4)([4968]4965,4433,2)([4969]4966,4968,3)([4970]4306,4303,4)([4971]4306,4303,2)([4972]4970,4438,4)([4973]4970,4438,2)([4974]4971,4973,3)([4975]4311,4308,4)([4976]4311,4308,2)([4977]4975,4443,4)([4978]4975,4443,2)([4979]4976,4978,3)([4980]4316,4313,4)([4981]4316,4313,2)([4982]4980,4448,4)([4983]4980,4448,2)([4984]4981,4983,3)([4985]4321,4318,4)([4986]4321,4318,2)([4987]4985,4453,4)([4988]4985,4453,2)([4989]4986,4988,3)([4990]4326,4323,4)([4991]4326,4323,2)([4992]4990,4458,4)([4993]4990,4458,2)([4994]4991,4993,3)([4995]4331,4328,4)([4996]4331,4328,2)([4997]4995,4463,4)([4998]4995,4463,2)([4999]4996,4998,3)([5000]4336,4333,4)([5001]4336,4333,2)([5002]5000,4468,4)([5003]5000,4468,2)([5004]5001,5003,3)([5005]4341,4338,4)([5006]4341,4338,2)([5007]5005,4473,4)([5008]5005,4473,2)([5009]5006,5008,3)([5010]4346,4343,4)([5011]4346,4343,2)([5012]5010,4478,4)([5013]5010,4478,2)([5014]5011,5013,3)([5015]4351,4348,4)([5016]4351,4348,2)([5017]5015,4483,4)([5018]5015,4483,2)([5019]5016,5018,3)([5020]4356,4353,4)([5021]4356,4353,2)([5022]5020,4488,4)([5023]5020,4488,2)([5024]5021,5023,3)([5025]4361,4358,4)([5026]4361,4358,2)([5027]5025,4493,4)([5028]5025,4493,2)([5029]5026,5028,3)([5030]4366,4363,4)([5031]4366,4363,2)([5032]5030,4498,4)([5033]5030,4498,2)([5034]5031,5033,3)([5035]4371,4368,4)([5036]4371,4368,2)([5037]5035,4503,4)([5038]5035,4503,2)([5039]5036,5038,3)([5040]4376,4373,4)([5041]4376,4373,2)([5042]5040,4508,4)([5043]5040,4508,2)([5044]5041,5043,3)([5045]4381,4378,4)([5046]4381,4378,2)([5047]5045,4513,4)([5048]5045,4513,2)([5049]5046,5048,3)([5050]4386,4383,4)([5051]4386,4383,2)([5052]5050,4518,4)([5053]5050,4518,2)([5054]5051,5053,3)([5055]4391,4388,4)([5056]4391,4388,2)([5057]5055,4523,4)([5058]5055,4523,2)([5059]5056,5058,3)([5060]4396,4393,4)([5061]4396,4393,2)([5062]5060,4528,4)([5063]5060,4528,2)([5064]5061,5063,3)([5065]4400,4398,4)([5066]4400,4398,2)([5067]5065,4533,4)([5068]5065,4533,2)([5069]5066,5068,3)([5070]4404,4402,4)([5071]4404,4402,2)([5072]5070,4538,4)([5073]5070,4538,2)([5074]5071,5073,3)([5075]4408,4406,4)([5076]4408,4406,2)([5077]5075,4543,4)([5078]5075,4543,2)([5079]5076,5078,3)([5080]4412,4410,4)([5081]4412,4410,2)([5082]5080,4548,4)([5083]5080,4548,2)([5084]5081,5083,3)([5085]4416,4414,4)([5086]4416,4414,2)([5087]5085,4553,4)([5088]5085,4553,2)([5089]5086,5088,3)([5090]3603,4418,4)([5091]3603,4418,2)([5092]5090,4558,4)([5093]5090,4558,2)([5094]5091,5093,3)([5095]4578,4577,4)([5096]4578,4577,2)([5097]4580,4579,4)([5098]4580,4579,2)([5099]4584,4581,4)([5100]4584,4581,2)([5101]4589,4586,4)([5102]4589,4586,2)([5103]4594,4591,4)([5104]4594,4591,2)([5105]4599,4596,4)([5106]4599,4596,2)([5107]5105,3924,4)([5108]5105,3924,2)([5109]5106,5108,3)([5110]4604,4601,4)([5111]4604,4601,2)([5112]5110,3926,4)([5113]5110,3926,2)([5114]5111,5113,3)([5115]4609,4606,4)([5116]4609,4606,2)([5117]5115,3928,4)([5118]5115,3928,2)([5119]5116,5118,3)([5120]4614,4611,4)([5121]4614,4611,2)([5122]5120,3933,4)([5123]5120,3933,2)([5124]5121,5123,3)([5125]4619,4616,4)([5126]4619,4616,2)([5127]5125,4745,4)([5128]5125,4745,2)([5129]5126,5128,3)([5130]4624,4621,4)([5131]4624,4621,2)([5132]5130,4747,4)([5133]5130,4747,2)([5134]5131,5133,3)([5135]4629,4626,4)([5136]4629,4626,2)([5137]5135,4749,4)([5138]5135,4749,2)([5139]5136,5138,3)([5140]4634,4631,4)([5141]4634,4631,2)([5142]5140,4753,4)([5143]5140,4753,2)([5144]5141,5143,3)([5145]4639,4636,4)([5146]4639,4636,2)([5147]5145,4758,4)([5148]5145,4758,2)([5149]5146,5148,3)([5150]4644,4641,4)([5151]4644,4641,2)([5152]5150,4763,4)([5153]5150,4763,2)([5154]5151,5153,3)([5155]4649,4646,4)([5156]4649,4646,2)([5157]5155,4768,4)([5158]5155,4768,2)([5159]5156,5158,3)([5160]4654,4651,4)([5161]4654,4651,2)([5162]5160,4773,4)([5163]5160,4773,2)([5164]5161,5163,3)([5165]4659,4656,4)([5166]4659,4656,2)([5167]5165,4778,4)([5168]5165,4778,2)([5169]5166,5168,3)([5170]4664,4661,4)([5171]4664,4661,2)([5172]5170,4783,4)([5173]5170,4783,2)([5174]5171,5173,3)([5175]4669,4666,4)([5176]4669,4666,2)([5177]5175,4788,4)([5178]5175,4788,2)([5179]5176,5178,3)([5180]4674,4671,4)([5181]4674,4671,2)([5182]5180,4793,4)([5183]5180,4793,2)([5184]5181,5183,3)([5185]4679,4676,4)([5186]4679,4676,2)([5187]5185,4798,4)([5188]5185,4798,2)([5189]5186,5188,3)([5190]4684,4681,4)([5191]4684,4681,2)([5192]5190,4803,4)([5193]5190,4803,2)([5194]5191,5193,3)([5195]4689,4686,4)([5196]4689,4686,2)([5197]5195,4808,4)([5198]5195,4808,2)([5199]5196,5198,3)([5200]4694,4691,4)([5201]4694,4691,2)([5202]5200,4813,4)([5203]5200,4813,2)([5204]5201,5203,3)([5205]4699,4696,4)([5206]4699,4696,2)([5207]5205,4818,4)([5208]5205,4818,2)([5209]5206,5208,3)([5210]4704,4701,4)([5211]4704,4701,2)([5212]5210,4823,4)([5213]5210,4823,2)([5214]5211,5213,3)([5215]4709,4706,4)([5216]4709,4706,2)([5217]5215,4828,4)([5218]5215,4828,2)([5219]5216,5218,3)([5220]4714,4711,4)([5221]4714,4711,2)([5222]5220,4833,4)([5223]5220,4833,2)([5224]5221,5223,3)([5225]4719,4716,4)([5226]4719,4716,2)([5227]5225,4838,4)([5228]5225,4838,2)([5229]5226,5228,3)([5230]4724,4721,4)([5231]4724,4721,2)([5232]5230,4843,4)([5233]5230,4843,2)([5234]5231,5233,3)([5235]4729,4726,4)([5236]4729,4726,2)([5237]5235,4848,4)([5238]5235,4848,2)([5239]5236,5238,3)([5240]4734,4731,4)([5241]4734,4731,2)([5242]5240,4853,4)([5243]5240,4853,2)([5244]5241,5243,3)([5245]4738,4736,4)([5246]4738,4736,2)([5247]5245,4858,4)([5248]5245,4858,2)([5249]5246,5248,3)([5250]4742,4740,4)([5251]4742,4740,2)([5252]5250,4863,4)([5253]5250,4863,2)([5254]5251,5253,3)([5255]4071,4744,4)([5256]4071,4744,2)([5257]5255,4868,4)([5258]5255,4868,2)([5259]5256,5258,3)([5260]4075,4075,1)([5261]5260,4873,4)([5262]5260,4873,2)([5263]4075,5262,3)([5264]4079,4079,1)([5265]5264,4878,4)([5266]5264,4878,2)([5267]4079,5266,3)([5268]4083,4083,1)([5269]5268,4883,4)([5270]5268,4883,2)([5271]4083,5270,3)([5272]4087,4087,1)([5273]5272,4888,4)([5274]5272,4888,2)([5275]4087,5274,3)([5276]4090,4090,1)([5277]5276,4893,4)([5278]5276,4893,2)([5279]4090,5278,3)([5280]4770,3287,4)([5281]4770,3287,2)([5282]4775,3292,4)([5283]4775,3292,2)([5284]4780,4255,4)([5285]4780,4255,2)([5286]4785,4929,4)([5287]4785,4929,2)([5288]4790,4931,4)([5289]4790,4931,2)([5290]5288,4930,4)([5291]5288,4930,2)([5292]5289,5291,3)([5293]4795,4933,4)([5294]4795,4933,2)([5295]5293,4932,4)([5296]5293,4932,2)([5297]5294,5296,3)([5298]4800,4937,4)([5299]4800,4937,2)([5300]5298,4934,4)([5301]5298,4934,2)([5302]5299,5301,3)([5303]4805,4942,4)([5304]4805,4942,2)([5305]5303,4939,4)([5306]5303,4939,2)([5307]5304,5306,3)([5308]4810,4947,4)([5309]4810,4947,2)([5310]5308,4944,4)([5311]5308,4944,2)([5312]5309,5311,3)([5313]4815,4952,4)([5314]4815,4952,2)([5315]5313,4949,4)([5316]5313,4949,2)([5317]5314,5316,3)([5318]4820,4957,4)([5319]4820,4957,2)([5320]5318,4954,4)([5321]5318,4954,2)([5322]5319,5321,3)([5323]4825,4962,4)([5324]4825,4962,2)([5325]5323,4959,4)([5326]5323,4959,2)([5327]5324,5326,3)([5328]4830,4967,4)([5329]4830,4967,2)([5330]5328,4964,4)([5331]5328,4964,2)([5332]5329,5331,3)([5333]4835,4972,4)([5334]4835,4972,2)([5335]5333,4969,4)([5336]5333,4969,2)([5337]5334,5336,3)([5338]4840,4977,4)([5339]4840,4977,2)([5340]5338,4974,4)([5341]5338,4974,2)([5342]5339,5341,3)([5343]4845,4982,4)([5344]4845,4982,2)([5345]5343,4979,4)([5346]5343,4979,2)([5347]5344,5346,3)([5348]4850,4987,4)([5349]4850,4987,2)([5350]5348,4984,4)([5351]5348,4984,2)([5352]5349,5351,3)([5353]4855,4992,4)([5354]4855,4992,2)([5355]5353,4989,4)([5356]5353,4989,2)([5357]5354,5356,3)([5358]4860,4997,4)([5359]4860,4997,2)([5360]5358,4994,4)([5361]5358,4994,2)([5362]5359,5361,3)([5363]4865,5002,4)([5364]4865,5002,2)([5365]5363,4999,4)([5366]5363,4999,2)([5367]5364,5366,3)([5368]4870,5007,4)([5369]4870,5007,2)([5370]5368,5004,4)([5371]5368,5004,2)([5372]5369,5371,3)([5373]4875,5012,4)([5374]4875,5012,2)([5375]5373,5009,4)([5376]5373,5009,2)([5377]5374,5376,3)([5378]4880,5017,4)([5379]4880,5017,2)([5380]5378,5014,4)([5381]5378,5014,2)([5382]5379,5381,3)([5383]4885,5022,4)([5384]4885,5022,2)([5385]5383,5019,4)([5386]5383,5019,2)([5387]5384,5386,3)([5388]4890,5027,4)([5389]4890,5027,2)([5390]5388,5024,4)([5391]5388,5024,2)([5392]5389,5391,3)([5393]4895,5032,4)([5394]4895,5032,2)([5395]5393,5029,4)([5396]5393,5029,2)([5397]5394,5396,3)([5398]4900,5037,4)([5399]4900,5037,2)([5400]5398,5034,4)([5401]5398,5034,2)([5402]5399,5401,3)([5403]4904,5042,4)([5404]4904,5042,2)([5405]5403,5039,4)([5406]5403,5039,2)([5407]5404,5406,3)([5408]4908,5047,4)([5409]4908,5047,2)([5410]5408,5044,4)([5411]5408,5044,2)([5412]5409,5411,3)([5413]4912,5052,4)([5414]4912,5052,2)([5415]5413,5049,4)([5416]5413,5049,2)([5417]5414,5416,3)([5418]4916,5057,4)([5419]4916,5057,2)([5420]5418,5054,4)([5421]5418,5054,2)([5422]5419,5421,3)([5423]4919,5062,4)([5424]4919,5062,2)([5425]5423,5059,4)([5426]5423,5059,2)([5427]5424,5426,3)([5428]4922,5067,4)([5429]4922,5067,2)([5430]5428,5064,4)([5431]5428,5064,2)([5432]5429,5431,3)([5433]4925,5072,4)([5434]4925,5072,2)([5435]5433,5069,4)([5436]5433,5069,2)([5437]5434,5436,3)([5438]4928,5077,4)([5439]4928,5077,2)([5440]5438,5074,4)([5441]5438,5074,2)([5442]5439,5441,3)([5443]5082,5082,1)([5444]5443,5079,4)([5445]5443,5079,2)([5446]5082,5445,3)([5447]5087,5087,1)([5448]5447,5084,4)([5449]5447,5084,2)([5450]5087,5449,3)([5451]5092,5092,1)([5452]5451,5089,4)([5453]5451,5089,2)([5454]5092,5453,3)([5455]4563,4563,1)([5456]5455,5094,4)([5457]5455,5094,2)([5458]4563,5457,3)([5459]4568,4568,1)([5460]5459,5459,1)([5461]4568,5459,3)([5462]4573,4573,1)([5463]5462,5462,1)([5464]4573,5462,3)([5465]1089,1089,1)([5466]5465,5465,1)([5467]1089,5465,3)([5468]5097,5096,4)([5469]5097,5096,2)([5470]5099,5098,4)([5471]5099,5098,2)([5472]5101,5100,4)([5473]5101,5100,2)([5474]5103,5102,4)([5475]5103,5102,2)([5476]5107,5104,4)([5477]5107,5104,2)([5478]5112,5109,4)([5479]5112,5109,2)([5480]5117,5114,4)([5481]5117,5114,2)([5482]5122,5119,4)([5483]5122,5119,2)([5484]5127,5124,4)([5485]5127,5124,2)([5486]5132,5129,4)([5487]5132,5129,2)([5488]5486,4746,4)([5489]5486,4746,2)([5490]5487,5489,3)([5491]5137,5134,4)([5492]5137,5134,2)([5493]5491,4748,4)([5494]5491,4748,2)([5495]5492,5494,3)([5496]5142,5139,4)([5497]5142,5139,2)([5498]5496,4750,4)([5499]5496,4750,2)([5500]5497,5499,3)([5501]5147,5144,4)([5502]5147,5144,2)([5503]5501,4755,4)([5504]5501,4755,2)([5505]5502,5504,3)([5506]5152,5149,4)([5507]5152,5149,2)([5508]5506,4760,4)([5509]5506,4760,2)([5510]5507,5509,3)([5511]5157,5154,4)([5512]5157,5154,2)([5513]5511,4765,4)([5514]5511,4765,2)([5515]5512,5514,3)([5516]5162,5159,4)([5517]5162,5159,2)([5518]5516,5280,4)([5519]5516,5280,2)([5520]5517,5519,3)([5521]5167,5164,4)([5522]5167,5164,2)([5523]5521,5282,4)([5524]5521,5282,2)([5525]5522,5524,3)([5526]5172,5169,4)([5527]5172,5169,2)([5528]5526,5284,4)([5529]5526,5284,2)([5530]5527,5529,3)([5531]5177,5174,4)([5532]5177,5174,2)([5533]5531,5286,4)([5534]5531,5286,2)([5535]5532,5534,3)([5536]5182,5179,4)([5537]5182,5179,2)([5538]5536,5290,4)([5539]5536,5290,2)([5540]5537,5539,3)([5541]5187,5184,4)([5542]5187,5184,2)([5543]5541,5295,4)([5544]5541,5295,2)([5545]5542,5544,3)([5546]5192,5189,4)([5547]5192,5189,2)([5548]5546,5300,4)([5549]5546,5300,2)([5550]5547,5549,3)([5551]5197,5194,4)([5552]5197,5194,2)([5553]5551,5305,4)([5554]5551,5305,2)([5555]5552,5554,3)([5556]5202,5199,4)([5557]5202,5199,2)([5558]5556,5310,4)([5559]5556,5310,2)([5560]5557,5559,3)([5561]5207,5204,4)([5562]5207,5204,2)([5563]5561,5315,4)([5564]5561,5315,2)([5565]5562,5564,3)([5566]5212,5209,4)([5567]5212,5209,2)([5568]5566,5320,4)([5569]5566,5320,2)([5570]5567,5569,3)([5571]5217,5214,4)([5572]5217,5214,2)([5573]5571,5325,4)([5574]5571,5325,2)([5575]5572,5574,3)([5576]5222,5219,4)([5577]5222,5219,2)([5578]5576,5330,4)([5579]5576,5330,2)([5580]5577,5579,3)([5581]5227,5224,4)([5582]5227,5224,2)([5583]5581,5335,4)([5584]5581,5335,2)([5585]5582,5584,3)([5586]5232,5229,4)([5587]5232,5229,2)([5588]5586,5340,4)([5589]5586,5340,2)([5590]5587,5589,3)([5591]5237,5234,4)([5592]5237,5234,2)([5593]5591,5345,4)([5594]5591,5345,2)([5595]5592,5594,3)([5596]5242,5239,4)([5597]5242,5239,2)([5598]5596,5350,4)([5599]5596,5350,2)([5600]5597,5599,3)([5601]5247,5244,4)([5602]5247,5244,2)([5603]5601,5355,4)([5604]5601,5355,2)([5605]5602,5604,3)([5606]5252,5249,4)([5607]5252,5249,2)([5608]5606,5360,4)([5609]5606,5360,2)([5610]5607,5609,3)([5611]5257,5254,4)([5612]5257,5254,2)([5613]5611,5365,4)([5614]5611,5365,2)([5615]5612,5614,3)([5616]5261,5259,4)([5617]5261,5259,2)([5618]5616,5370,4)([5619]5616,5370,2)([5620]5617,5619,3)([5621]5265,5263,4)([5622]5265,5263,2)([5623]5621,5375,4)([5624]5621,5375,2)([5625]5622,5624,3)([5626]5269,5267,4)([5627]5269,5267,2)([5628]5626,5380,4)([5629]5626,5380,2)([5630]5627,5629,3)([5631]5273,5271,4)([5632]5273,5271,2)([5633]5631,5385,4)([5634]5631,5385,2)([5635]5632,5634,3)([5636]5277,5275,4)([5637]5277,5275,2)([5638]5636,5390,4)([5639]5636,5390,2)([5640]5637,5639,3)([5641]4898,5279,4)([5642]4898,5279,2)([5643]5641,5395,4)([5644]5641,5395,2)([5645]5642,5644,3)([5646]4902,4902,1)([5647]5646,5400,4)([5648]5646,5400,2)([5649]4902,5648,3)([5650]4906,4906,1)([5651]5650,5405,4)([5652]5650,5405,2)([5653]4906,5652,3)([5654]4910,4910,1)([5655]5654,5410,4)([5656]5654,5410,2)([5657]4910,5656,3)([5658]4914,4914,1)([5659]5658,5415,4)([5660]5658,5415,2)([5661]4914,5660,3)([5662]4918,4918,1)([5663]5662,5420,4)([5664]5662,5420,2)([5665]4918,5664,3)([5666]4921,4921,1)([5667]5666,5425,4)([5668]5666,5425,2)([5669]4921,5668,3)([5670]4924,4924,1)([5671]5670,5430,4)([5672]5670,5430,2)([5673]4924,5672,3)([5674]4927,4927,1)([5675]5674,5435,4)([5676]5674,5435,2)([5677]4927,5676,3)([5678]5470,5469,4)([5679]5470,5469,2)([5680]5472,5471,4)([5681]5472,5471,2)([5682]5474,5473,4)([5683]5474,5473,2)([5684]5476,5475,4)([5685]5476,5475,2)([5686]5478,5477,4)([5687]5478,5477,2)([5688]5480,5479,4)([5689]5480,5479,2)([5690]5482,5481,4)([5691]5482,5481,2)([5692]5484,5483,4)([5693]5484,5483,2)([5694]5488,5485,4)([5695]5488,5485,2)([5696]5493,5490,4)([5697]5493,5490,2)([5698]5498,5495,4)([5699]5498,5495,2)([5700]5503,5500,4)([5701]5503,5500,2)([5702]5508,5505,4)([5703]5508,5505,2)([5704]5513,5510,4)([5705]5513,5510,2)([5706]5518,5515,4)([5707]5518,5515,2)([5708]5523,5520,4)([5709]5523,5520,2)([5710]5708,5281,4)([5711]5708,5281,2)([5712]5709,5711,3)([5713]5528,5525,4)([5714]5528,5525,2)([5715]5713,5283,4)([5716]5713,5283,2)([5717]5714,5716,3)([5718]5533,5530,4)([5719]5533,5530,2)([5720]5718,5285,4)([5721]5718,5285,2)([5722]5719,5721,3)([5723]5538,5535,4)([5724]5538,5535,2)([5725]5723,5287,4)([5726]5723,5287,2)([5727]5724,5726,3)([5728]5543,5540,4)([5729]5543,5540,2)([5730]5728,5292,4)([5731]5728,5292,2)([5732]5729,5731,3)([5733]5548,5545,4)([5734]5548,5545,2)([5735]5733,5297,4)([5736]5733,5297,2)([5737]5734,5736,3)([5738]5553,5550,4)([5739]5553,5550,2)([5740]5738,5302,4)([5741]5738,5302,2)([5742]5739,5741,3)([5743]5558,5555,4)([5744]5558,5555,2)([5745]5743,5307,4)([5746]5743,5307,2)([5747]5744,5746,3)([5748]5563,5560,4)([5749]5563,5560,2)([5750]5748,5312,4)([5751]5748,5312,2)([5752]5749,5751,3)([5753]5568,5565,4)([5754]5568,5565,2)([5755]5753,5317,4)([5756]5753,5317,2)([5757]5754,5756,3)([5758]5573,5570,4)([5759]5573,5570,2)([5760]5758,5322,4)([5761]5758,5322,2)([5762]5759,5761,3)([5763]5578,5575,4)([5764]5578,5575,2)([5765]5763,5327,4)([5766]5763,5327,2)([5767]5764,5766,3)([5768]5583,5580,4)([5769]5583,5580,2)([5770]5768,5332,4)([5771]5768,5332,2)([5772]5769,5771,3)([5773]5588,5585,4)([5774]5588,5585,2)([5775]5773,5337,4)([5776]5773,5337,2)([5777]5774,5776,3)([5778]5593,5590,4)([5779]5593,5590,2)([5780]5778,5342,4)([5781]5778,5342,2)([5782]5779,5781,3)([5783]5598,5595,4)([5784]5598,5595,2)([5785]5783,5347,4)([5786]5783,5347,2)([5787]5784,5786,3)([5788]5603,5600,4)([5789]5603,5600,2)([5790]5788,5352,4)([5791]5788,5352,2)([5792]5789,5791,3)([5793]5608,5605,4)([5794]5608,5605,2)([5795]5793,5357,4)([5796]5793,5357,2)([5797]5794,5796,3)([5798]5613,5610,4)([5799]5613,5610,2)([5800]5798,5362,4)([5801]5798,5362,2)([5802]5799,5801,3)([5803]5618,5615,4)([5804]5618,5615,2)([5805]5803,5367,4)([5806]5803,5367,2)([5807]5804,5806,3)([5808]5623,5620,4)([5809]5623,5620,2)([5810]5808,5372,4)([5811]5808,5372,2)([5812]5809,5811,3)([5813]5628,5625,4)([5814]5628,5625,2)([5815]5813,5377,4)([5816]5813,5377,2)([5817]5814,5816,3)([5818]5633,5630,4)([5819]5633,5630,2)([5820]5818,5382,4)([5821]5818,5382,2)([5822]5819,5821,3)([5823]5638,5635,4)([5824]5638,5635,2)([5825]5823,5387,4)([5826]5823,5387,2)([5827]5824,5826,3)([5828]5643,5640,4)([5829]5643,5640,2)([5830]5828,5392,4)([5831]5828,5392,2)([5832]5829,5831,3)([5833]5647,5645,4)([5834]5647,5645,2)([5835]5833,5397,4)([5836]5833,5397,2)([5837]5834,5836,3)([5838]5651,5649,4)([5839]5651,5649,2)([5840]5838,5402,4)([5841]5838,5402,2)([5842]5839,5841,3)([5843]5655,5653,4)([5844]5655,5653,2)([5845]5843,5407,4)([5846]5843,5407,2)([5847]5844,5846,3)([5848]5659,5657,4)([5849]5659,5657,2)([5850]5848,5412,4)([5851]5848,5412,2)([5852]5849,5851,3)([5853]5663,5661,4)([5854]5663,5661,2)([5855]5853,5417,4)([5856]5853,5417,2)([5857]5854,5856,3)([5858]5667,5665,4)([5859]5667,5665,2)([5860]5858,5422,4)([5861]5858,5422,2)([5862]5859,5861,3)([5863]5671,5669,4)([5864]5671,5669,2)([5865]5863,5427,4)([5866]5863,5427,2)([5867]5864,5866,3)([5868]5675,5673,4)([5869]5675,5673,2)([5870]5868,5432,4)([5871]5868,5432,2)([5872]5869,5871,3)([5873]5440,5677,4)([5874]5440,5677,2)([5875]5873,5437,4)([5876]5873,5437,2)([5877]5874,5876,3)([5878]5444,5444,1)([5879]5878,5442,4)([5880]5878,5442,2)([5881]5444,5880,3)([5882]5448,5448,1)([5883]5882,5446,4)([5884]5882,5446,2)([5885]5448,5884,3)([5886]5452,5452,1)([5887]5886,5450,4)([5888]5886,5450,2)([5889]5452,5888,3)([5890]5456,5456,1)([5891]5890,5454,4)([5892]5890,5454,2)([5893]5456,5892,3)([5894]5460,5460,1)([5895]5894,5458,4)([5896]5894,5458,2)([5897]5460,5896,3)([5898]5463,5463,1)([5899]5898,5461,4)([5900]5898,5461,2)([5901]5463,5900,3)([5902]5466,5466,1)([5903]5902,5464,4)([5904]5902,5464,2)([5905]5466,5904,3)([5906]5680,5679,4)([5907]5680,5679,2)([5908]5682,5681,4)([5909]5682,5681,2)([5910]5684,5683,4)([5911]5684,5683,2)([5912]5686,5685,4)([5913]5686,5685,2)([5914]5688,5687,4)([5915]5688,5687,2)([5916]5690,5689,4)([5917]5690,5689,2)([5918]5692,5691,4)([5919]5692,5691,2)([5920]5694,5693,4)([5921]5694,5693,2)([5922]5696,5695,4)([5923]5696,5695,2)([5924]5698,5697,4)([5925]5698,5697,2)([5926]5700,5699,4)([5927]5700,5699,2)([5928]5702,5701,4)([5929]5702,5701,2)([5930]5704,5703,4)([5931]5704,5703,2)([5932]5706,5705,4)([5933]5706,5705,2)([5934]5710,5707,4)([5935]5710,5707,2)([5936]5715,5712,4)([5937]5715,5712,2)([5938]5720,5717,4)([5939]5720,5717,2)([5940]5725,5722,4)([5941]5725,5722,2)([5942]5730,5727,4)([5943]5730,5727,2)([5944]5735,5732,4)([5945]5735,5732,2)([5946]5740,5737,4)([5947]5740,5737,2)([5948]5745,5742,4)([5949]5745,5742,2)([5950]5750,5747,4)([5951]5750,5747,2)([5952]5755,5752,4)([5953]5755,5752,2)([5954]5952,4420,4)([5955]5952,4420,2)([5956]5953,5955,3)([5957]5760,5757,4)([5958]5760,5757,2)([5959]5957,4425,4)([5960]5957,4425,2)([5961]5958,5960,3)([5962]5765,5762,4)([5963]5765,5762,2)([5964]5962,4430,4)([5965]5962,4430,2)([5966]5963,5965,3)([5967]5770,5767,4)([5968]5770,5767,2)([5969]5967,4435,4)([5970]5967,4435,2)([5971]5968,5970,3)([5972]5775,5772,4)([5973]5775,5772,2)([5974]5972,4440,4)([5975]5972,4440,2)([5976]5973,5975,3)([5977]5780,5777,4)([5978]5780,5777,2)([5979]5977,4445,4)([5980]5977,4445,2)([5981]5978,5980,3)([5982]5785,5782,4)([5983]5785,5782,2)([5984]5982,4450,4)([5985]5982,4450,2)([5986]5983,5985,3)([5987]5790,5787,4)([5988]5790,5787,2)([5989]5987,4455,4)([5990]5987,4455,2)([5991]5988,5990,3)([5992]5795,5792,4)([5993]5795,5792,2)([5994]5992,4460,4)([5995]5992,4460,2)([5996]5993,5995,3)([5997]5800,5797,4)([5998]5800,5797,2)([5999]5997,4465,4)([6000]5997,4465,2)([6001]5998,6000,3)([6002]5805,5802,4)([6003]5805,5802,2)([6004]6002,4470,4)([6005]6002,4470,2)([6006]6003,6005,3)([6007]5810,5807,4)([6008]5810,5807,2)([6009]6007,4475,4)([6010]6007,4475,2)([6011]6008,6010,3)([6012]5815,5812,4)([6013]5815,5812,2)([6014]6012,4480,4)([6015]6012,4480,2)([6016]6013,6015,3)([6017]5820,5817,4)([6018]5820,5817,2)([6019]6017,4485,4)([6020]6017,4485,2)([6021]6018,6020,3)([6022]5825,5822,4)([6023]5825,5822,2)([6024]6022,4490,4)([6025]6022,4490,2)([6026]6023,6025,3)([6027]5830,5827,4)([6028]5830,5827,2)([6029]6027,4495,4)([6030]6027,4495,2)([6031]6028,6030,3)([6032]5835,5832,4)([6033]5835,5832,2)([6034]6032,4500,4)([6035]6032,4500,2)([6036]6033,6035,3)([6037]5840,5837,4)([6038]5840,5837,2)([6039]6037,4505,4)([6040]6037,4505,2)([6041]6038,6040,3)([6042]5845,5842,4)([6043]5845,5842,2)([6044]6042,4510,4)([6045]6042,4510,2)([6046]6043,6045,3)([6047]5850,5847,4)([6048]5850,5847,2)([6049]6047,4515,4)([6050]6047,4515,2)([6051]6048,6050,3)([6052]5855,5852,4)([6053]5855,5852,2)([6054]6052,4520,4)([6055]6052,4520,2)([6056]6053,6055,3)([6057]5860,5857,4)([6058]5860,5857,2)([6059]6057,4525,4)([6060]6057,4525,2)([6061]6058,6060,3)([6062]5865,5862,4)([6063]5865,5862,2)([6064]6062,4530,4)([6065]6062,4530,2)([6066]6063,6065,3)([6067]5870,5867,4)([6068]5870,5867,2)([6069]6067,4535,4)([6070]6067,4535,2)([6071]6068,6070,3)([6072]5875,5872,4)([6073]5875,5872,2)([6074]6072,4540,4)([6075]6072,4540,2)([6076]6073,6075,3)([6077]5879,5877,4)([6078]5879,5877,2)([6079]6077,4545,4)([6080]6077,4545,2)([6081]6078,6080,3)([6082]5883,5881,4)([6083]5883,5881,2)([6084]6082,4550,4)([6085]6082,4550,2)([6086]6083,6085,3)([6087]5887,5885,4)([6088]5887,5885,2)([6089]6087,4555,4)([6090]6087,4555,2)([6091]6088,6090,3)([6092]5891,5889,4)([6093]5891,5889,2)([6094]6092,4560,4)([6095]6092,4560,2)([6096]6093,6095,3)([6097]5895,5893,4)([6098]5895,5893,2)([6099]6097,4565,4)([6100]6097,4565,2)([6101]6098,6100,3)([6102]5899,5897,4)([6103]5899,5897,2)([6104]6102,4570,4)([6105]6102,4570,2)([6106]6103,6105,3)([6107]5903,5901,4)([6108]5903,5901,2)([6109]6107,4575,4)([6110]6107,4575,2)([6111]6108,6110,3)([6112]5467,5905,4)([6113]5467,5905,2)([6114]6112,6112,1)([6115]6113,6112,3)([6116]2650,66,2)([6117]3761,1090,2)([6118]3761,1090,2)([6119]5468,4576,2)([6120]5678,5095,2)([6121]5678,5095,2)([6122]5908,5907,3)([6123]5908,5907,2)([6124]5908,5907,4)([6125]5910,5909,3)([6126]5910,5909,2)([6127]5910,5909,4)([6128]6127,6123,4)([6129]6125,5906,2)([6130]6123,6125,2)([6131]6126,6130,3)([6132]5912,5911,3)([6133]5912,5911,2)([6134]5912,5911,4)([6135]6134,6131,4)([6136]6132,6122,2)([6137]6132,6122,2)([6138]6123,6132,2)([6139]6138,6125,2)([6140]6126,6132,2)([6141]6139,6140,3)([6142]6133,6141,3)([6143]5914,5913,3)([6144]5914,5913,2)([6145]5914,5913,4)([6146]6145,6142,4)([6147]6142,6143,2)([6148]6144,6147,3)([6149]5916,5915,3)([6150]5916,5915,2)([6151]5916,5915,4)([6152]6151,6148,4)([6153]6142,6149,2)([6154]6153,6143,2)([6155]6144,6149,2)([6156]6154,6155,3)([6157]6150,6156,3)([6158]5918,5917,3)([6159]5918,5917,2)([6160]5918,5917,4)([6161]6160,6157,4)([6162]6142,6149,2)([6163]6158,6143,2)([6164]6162,6163,2)([6165]6144,6158,2)([6166]6165,6149,2)([6167]6150,6158,2)([6168]6164,6166,3)([6169]6168,6167,3)([6170]6159,6169,3)([6171]5920,5919,3)([6172]5920,5919,2)([6173]5920,5919,4)([6174]6173,6170,4)([6175]6142,6158,2)([6176]6171,6149,2)([6177]6175,6176,2)([6178]6177,6143,2)([6179]6144,6158,2)([6180]6171,6149,2)([6181]6179,6180,2)([6182]6150,6171,2)([6183]6182,6158,2)([6184]6159,6171,2)([6185]6178,6183,3)([6186]6181,6184,3)([6187]6185,6186,3)([6188]6172,6187,3)([6189]5922,5921,3)([6190]5922,5921,2)([6191]5922,5921,4)([6192]6191,6188,4)([6193]6188,6189,2)([6194]6190,6193,3)([6195]5924,5923,3)([6196]5924,5923,2)([6197]5924,5923,4)([6198]6197,6194,4)([6199]6188,6195,2)([6200]6199,6189,2)([6201]6190,6195,2)([6202]6200,6201,3)([6203]6196,6202,3)([6204]5926,5925,3)([6205]5926,5925,2)([6206]5926,5925,4)([6207]6206,6203,4)([6208]6188,6195,2)([6209]6204,6189,2)([6210]6208,6209,2)([6211]6190,6204,2)([6212]6211,6195,2)([6213]6196,6204,2)([6214]6210,6212,3)([6215]6214,6213,3)([6216]6205,6215,3)([6217]5928,5927,3)([6218]5928,5927,2)([6219]5928,5927,4)([6220]6219,6216,4)([6221]6188,6204,2)([6222]6217,6195,2)([6223]6221,6222,2)([6224]6223,6189,2)([6225]6190,6204,2)([6226]6217,6195,2)([6227]6225,6226,2)([6228]6196,6217,2)([6229]6228,6204,2)([6230]6205,6217,2)([6231]6224,6229,3)([6232]6227,6230,3)([6233]6231,6232,3)([6234]6218,6233,3)([6235]5930,5929,3)([6236]5930,5929,2)([6237]5930,5929,4)([6238]6237,6234,4)([6239]6234,6235,2)([6240]6236,6239,3)([6241]5932,5931,3)([6242]5932,5931,2)([6243]5932,5931,4)([6244]6243,6240,4)([6245]6234,6241,2)([6246]6245,6235,2)([6247]6236,6241,2)([6248]6246,6247,3)([6249]6242,6248,3)([6250]5934,5933,3)([6251]5934,5933,2)([6252]5934,5933,4)([6253]6252,6249,4)([6254]6234,6241,2)([6255]6250,6235,2)([6256]6254,6255,2)([6257]6236,6250,2)([6258]6257,6241,2)([6259]6242,6250,2)([6260]6256,6258,3)([6261]6260,6259,3)([6262]6251,6261,3)([6263]5936,5935,3)([6264]5936,5935,2)([6265]5936,5935,4)([6266]6265,6262,4)([6267]6234,6250,2)([6268]6263,6241,2)([6269]6267,6268,2)([6270]6269,6235,2)([6271]6236,6250,2)([6272]6263,6241,2)([6273]6271,6272,2)([6274]6242,6263,2)([6275]6274,6250,2)([6276]6251,6263,2)([6277]6270,6275,3)([6278]6273,6276,3)([6279]6277,6278,3)([6280]6264,6279,3)([6281]5938,5937,3)([6282]5938,5937,2)([6283]5938,5937,4)([6284]6283,6280,4)([6285]6280,6281,2)([6286]6282,6285,3)([6287]5940,5939,3)([6288]5940,5939,2)([6289]5940,5939,4)([6290]6289,6286,4)([6291]6280,6287,2)([6292]6291,6281,2)([6293]6282,6287,2)([6294]6292,6293,3)([6295]6288,6294,3)([6296]5942,5941,3)([6297]5942,5941,2)([6298]5942,5941,4)([6299]6298,6295,4)([6300]6280,6287,2)([6301]6296,6281,2)([6302]6300,6301,2)([6303]6282,6296,2)([6304]6303,6287,2)([6305]6288,6296,2)([6306]6302,6304,3)([6307]6306,6305,3)([6308]6297,6307,3)([6309]5944,5943,3)([6310]5944,5943,2)([6311]5944,5943,4)([6312]6311,6308,4)([6313]6280,6296,2)([6314]6309,6287,2)([6315]6313,6314,2)([6316]6315,6281,2)([6317]6282,6296,2)([6318]6309,6287,2)([6319]6317,6318,2)([6320]6288,6309,2)([6321]6320,6296,2)([6322]6297,6309,2)([6323]6316,6321,3)([6324]6319,6322,3)([6325]6323,6324,3)([6326]6310,6325,3)([6327]5946,5945,3)([6328]5946,5945,2)([6329]5946,5945,4)([6330]6329,6326,4)([6331]6326,6327,2)([6332]6328,6331,3)([6333]5948,5947,3)([6334]5948,5947,2)([6335]5948,5947,4)([6336]6335,6332,4)([6337]6326,6333,2)([6338]6337,6327,2)([6339]6328,6333,2)([6340]6338,6339,3)([6341]6334,6340,3)([6342]5950,5949,3)([6343]5950,5949,2)([6344]5950,5949,4)([6345]6344,6341,4)([6346]6326,6333,2)([6347]6342,6327,2)([6348]6346,6347,2)([6349]6328,6342,2)([6350]6349,6333,2)([6351]6334,6342,2)([6352]6348,6350,3)([6353]6352,6351,3)([6354]6343,6353,3)([6355]5954,5951,3)([6356]5954,5951,2)([6357]5954,5951,4)([6358]6357,6354,4)([6359]6326,6342,2)([6360]6355,6333,2)([6361]6359,6360,2)([6362]6361,6327,2)([6363]6328,6342,2)([6364]6355,6333,2)([6365]6363,6364,2)([6366]6334,6355,2)([6367]6366,6342,2)([6368]6343,6355,2)([6369]6362,6367,3)([6370]6365,6368,3)([6371]6369,6370,3)([6372]6356,6371,3)([6373]5959,5956,3)([6374]5959,5956,2)([6375]5959,5956,4)([6376]6375,6372,4)([6377]6372,6373,2)([6378]6374,6377,3)([6379]5964,5961,3)([6380]5964,5961,2)([6381]5964,5961,4)([6382]6381,6378,4)([6383]6372,6379,2)([6384]6383,6373,2)([6385]6374,6379,2)([6386]6384,6385,3)([6387]6380,6386,3)([6388]5969,5966,3)([6389]5969,5966,2)([6390]5969,5966,4)([6391]6390,6387,4)([6392]6372,6379,2)([6393]6388,6373,2)([6394]6392,6393,2)([6395]6374,6388,2)([6396]6395,6379,2)([6397]6380,6388,2)([6398]6394,6396,3)([6399]6398,6397,3)([6400]6389,6399,3)([6401]5974,5971,3)([6402]5974,5971,2)([6403]5974,5971,4)([6404]6403,6400,4)([6405]6372,6388,2)([6406]6401,6379,2)([6407]6405,6406,2)([6408]6407,6373,2)([6409]6374,6388,2)([6410]6401,6379,2)([6411]6409,6410,2)([6412]6380,6401,2)([6413]6412,6388,2)([6414]6389,6401,2)([6415]6408,6413,3)([6416]6411,6414,3)([6417]6415,6416,3)([6418]6402,6417,3)([6419]5979,5976,3)([6420]5979,5976,2)([6421]5979,5976,4)([6422]6421,6418,4)([6423]6418,6419,2)([6424]6420,6423,3)([6425]5984,5981,3)([6426]5984,5981,2)([6427]5984,5981,4)([6428]6427,6424,4)([6429]6418,6425,2)([6430]6429,6419,2)([6431]6420,6425,2)([6432]6430,6431,3)([6433]6426,6432,3)([6434]5989,5986,3)([6435]5989,5986,2)([6436]5989,5986,4)([6437]6436,6433,4)([6438]6418,6425,2)([6439]6434,6419,2)([6440]6438,6439,2)([6441]6420,6434,2)([6442]6441,6425,2)([6443]6426,6434,2)([6444]6440,6442,3)([6445]6444,6443,3)([6446]6435,6445,3)([6447]5994,5991,3)([6448]5994,5991,2)([6449]5994,5991,4)([6450]6449,6446,4)([6451]6418,6434,2)([6452]6447,6425,2)([6453]6451,6452,2)([6454]6453,6419,2)([6455]6420,6434,2)([6456]6447,6425,2)([6457]6455,6456,2)([6458]6426,6447,2)([6459]6458,6434,2)([6460]6435,6447,2)([6461]6454,6459,3)([6462]6457,6460,3)([6463]6461,6462,3)([6464]6448,6463,3)([6465]5999,5996,3)([6466]5999,5996,2)([6467]5999,5996,4)([6468]6467,6464,4)([6469]6464,6465,2)([6470]6466,6469,3)([6471]6004,6001,3)([6472]6004,6001,2)([6473]6004,6001,4)([6474]6473,6470,4)([6475]6464,6471,2)([6476]6475,6465,2)([6477]6466,6471,2)([6478]6476,6477,3)([6479]6472,6478,3)([6480]6009,6006,3)([6481]6009,6006,2)([6482]6009,6006,4)([6483]6482,6479,4)([6484]6464,6471,2)([6485]6480,6465,2)([6486]6484,6485,2)([6487]6466,6480,2)([6488]6487,6471,2)([6489]6472,6480,2)([6490]6486,6488,3)([6491]6490,6489,3)([6492]6481,6491,3)([6493]6014,6011,3)([6494]6014,6011,2)([6495]6014,6011,4)([6496]6495,6492,4)([6497]6464,6480,2)([6498]6493,6471,2)([6499]6497,6498,2)([6500]6499,6465,2)([6501]6466,6480,2)([6502]6493,6471,2)([6503]6501,6502,2)([6504]6472,6493,2)([6505]6504,6480,2)([6506]6481,6493,2)([6507]6500,6505,3)([6508]6503,6506,3)([6509]6507,6508,3)([6510]6494,6509,3)([6511]6019,6016,3)([6512]6019,6016,2)([6513]6019,6016,4)([6514]6513,6510,4)([6515]6510,6511,2)([6516]6512,6515,3)([6517]6024,6021,3)([6518]6024,6021,2)([6519]6024,6021,4)([6520]6519,6516,4)([6521]6510,6517,2)([6522]6521,6511,2)([6523]6512,6517,2)([6524]6522,6523,3)([6525]6518,6524,3)([6526]6029,6026,3)([6527]6029,6026,2)([6528]6029,6026,4)([6529]6528,6525,4)([6530]6510,6517,2)([6531]6526,6511,2)([6532]6530,6531,2)([6533]6512,6526,2)([6534]6533,6517,2)([6535]6518,6526,2)([6536]6532,6534,3)([6537]6536,6535,3)([6538]6527,6537,3)([6539]6034,6031,3)([6540]6034,6031,2)([6541]6034,6031,4)([6542]6541,6538,4)([6543]6510,6526,2)([6544]6539,6517,2)([6545]6543,6544,2)([6546]6545,6511,2)([6547]6512,6526,2)([6548]6539,6517,2)([6549]6547,6548,2)([6550]6518,6539,2)([6551]6550,6526,2)([6552]6527,6539,2)([6553]6546,6551,3)([6554]6549,6552,3)([6555]6553,6554,3)([6556]6540,6555,3)([6557]6039,6036,3)([6558]6039,6036,2)([6559]6039,6036,4)([6560]6559,6556,4)([6561]6556,6557,2)([6562]6558,6561,3)([6563]6044,6041,3)([6564]6044,6041,2)([6565]6044,6041,4)([6566]6565,6562,4)([6567]6556,6563,2)([6568]6567,6557,2)([6569]6558,6563,2)([6570]6568,6569,3)([6571]6564,6570,3)([6572]6049,6046,3)([6573]6049,6046,2)([6574]6049,6046,4)([6575]6574,6571,4)([6576]6556,6563,2)([6577]6572,6557,2)([6578]6576,6577,2)([6579]6558,6572,2)([6580]6579,6563,2)([6581]6564,6572,2)([6582]6578,6580,3)([6583]6582,6581,3)([6584]6573,6583,3)([6585]6054,6051,3)([6586]6054,6051,2)([6587]6054,6051,4)([6588]6587,6584,4)([6589]6556,6572,2)([6590]6585,6563,2)([6591]6589,6590,2)([6592]6591,6557,2)([6593]6558,6572,2)([6594]6585,6563,2)([6595]6593,6594,2)([6596]6564,6585,2)([6597]6596,6572,2)([6598]6573,6585,2)([6599]6592,6597,3)([6600]6595,6598,3)([6601]6599,6600,3)([6602]6586,6601,3)([6603]6059,6056,3)([6604]6059,6056,2)([6605]6059,6056,4)([6606]6605,6602,4)([6607]6602,6603,2)([6608]6604,6607,3)([6609]6064,6061,3)([6610]6064,6061,2)([6611]6064,6061,4)([6612]6611,6608,4)([6613]6602,6609,2)([6614]6613,6603,2)([6615]6604,6609,2)([6616]6614,6615,3)([6617]6610,6616,3)([6618]6069,6066,3)([6619]6069,6066,2)([6620]6069,6066,4)([6621]6620,6617,4)([6622]6602,6609,2)([6623]6618,6603,2)([6624]6622,6623,2)([6625]6604,6618,2)([6626]6625,6609,2)([6627]6610,6618,2)([6628]6624,6626,3)([6629]6628,6627,3)([6630]6619,6629,3)([6631]6074,6071,3)([6632]6074,6071,2)([6633]6074,6071,4)([6634]6633,6630,4)([6635]6602,6618,2)([6636]6631,6609,2)([6637]6635,6636,2)([6638]6637,6603,2)([6639]6604,6618,2)([6640]6631,6609,2)([6641]6639,6640,2)([6642]6610,6631,2)([6643]6642,6618,2)([6644]6619,6631,2)([6645]6638,6643,3)([6646]6641,6644,3)([6647]6645,6646,3)([6648]6632,6647,3)([6649]6079,6076,3)([6650]6079,6076,2)([6651]6079,6076,4)([6652]6651,6648,4)([6653]6648,6649,2)([6654]6650,6653,3)([6655]6084,6081,3)([6656]6084,6081,2)([6657]6084,6081,4)([6658]6657,6654,4)([6659]6648,6655,2)([6660]6659,6649,2)([6661]6650,6655,2)([6662]6660,6661,3)([6663]6656,6662,3)([6664]6089,6086,3)([6665]6089,6086,2)([6666]6089,6086,4)([6667]6666,6663,4)([6668]6648,6655,2)([6669]6664,6649,2)([6670]6668,6669,2)([6671]6650,6664,2)([6672]6671,6655,2)([6673]6656,6664,2)([6674]6670,6672,3)([6675]6674,6673,3)([6676]6665,6675,3)([6677]6094,6091,3)([6678]6094,6091,2)([6679]6094,6091,4)([6680]6679,6676,4)([6681]6648,6664,2)([6682]6677,6655,2)([6683]6681,6682,2)([6684]6683,6649,2)([6685]6650,6664,2)([6686]6677,6655,2)([6687]6685,6686,2)([6688]6656,6677,2)([6689]6688,6664,2)([6690]6665,6677,2)([6691]6684,6689,3)([6692]6687,6690,3)([6693]6691,6692,3)([6694]6678,6693,3)([6695]6099,6096,3)([6696]6099,6096,2)([6697]6099,6096,4)([6698]6697,6694,4)([6699]6694,6695,2)([6700]6696,6699,3)([6701]6104,6101,3)([6702]6104,6101,2)([6703]6104,6101,4)([6704]6703,6700,4)([6705]6694,6701,2)([6706]6705,6695,2)([6707]6696,6701,2)([6708]6706,6707,3)([6709]6702,6708,3)([6710]6109,6106,3)([6711]6109,6106,2)([6712]6109,6106,4)([6713]6712,6709,4)([6714]6694,6701,2)([6715]6710,6695,2)([6716]6714,6715,2)([6717]6696,6710,2)([6718]6717,6701,2)([6719]6702,6710,2)([6720]6716,6718,3)([6721]6720,6719,3)([6722]6711,6721,3)([6723]6114,6111,3)([6724]6114,6111,2)([6725]6114,6111,4)([6726]6725,6722,4)([6727]6694,6710,2)([6728]6723,6701,2)([6729]6727,6728,2)([6730]6729,6695,2)([6731]6696,6710,2)([6732]6723,6701,2)([6733]6731,6732,2)([6734]6702,6723,2)([6735]6734,6710,2)([6736]6711,6723,2)([6737]6730,6735,3)([6738]6733,6736,3)([6739]6737,6738,3)([6740]6724,6739,3)([6741]6726,6726,1)(66,1090,2650,3761,4576,5095,5468,5678,5906,6124,6128,6135,6146,6152,6161,6174,6192,6198,6207,6220,6238,6244,6253,6266,6284,6290,6299,6312,6330,6336,6345,6358,6376,6382,6391,6404,6422,6428,6437,6450,6468,6474,6483,6496,6514,6520,6529,6542,6560,6566,6575,6588,6606,6612,6621,6634,6652,6658,6667,6680,6698,6704,6713,6741) |