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