Geodesic Rhombic Triacontahedron Pattern 28 [7,3]

C0   = 0.00949069725283262492093819809448
C1   = 0.0123290891569385370981745648769
C2   = 0.0129902497749603775124654033474
C3   = 0.0142209778856810924868724036104
C4   = 0.0166372087700552922509925481586
C5   = 0.0181476004984886109854143275067
C6   = 0.0195718734642523387071997429989
C7   = 0.0201058516322685520649323878003
C8   = 0.0206268585902373536904867403760
C9   = 0.0236176939364369955926576664527
C10  = 0.0308250471931869959578823915137
C11  = 0.03129658842967823863825066359147
C12  = 0.0316550351564702226755347380229
C13  = 0.0329835723225432210139594212612
C14  = 0.04019873205448969239768648337496
C15  = 0.0429741158972491548876225120873
C16  = 0.0455890895930930235984498035357
C17  = 0.0459045202081881618922673691949
C18  = 0.0477337698051655591468151371203
C19  = 0.0488038628643108547230324286918
C20  = 0.0514883879092813856943105222076
C21  = 0.0535870084179486897564134409992
C22  = 0.0556226111869582174994911284844
C23  = 0.0564424280484210044626118852782
C24  = 0.0588300361195769149549027200079
C25  = 0.0602912363605786284197431226507
C26  = 0.0642801607522214596522100848527
C27  = 0.0655343940424442275497360209371
C28  = 0.0744649161251436792860339283961
C29  = 0.0774665505092594428697275301411
C30  = 0.0775764169691196642295785658858
C31  = 0.0783651861879078000962784006652
C32  = 0.0793964335208108336587713748378
C33  = 0.0813748129652767824273840686821
C34  = 0.0830563058148776695820730832168
C35  = 0.0880369737132443212284784441257
C36  = 0.09374324985623448686895182178496
C37  = 0.0959208069030493963601587676146
C38  = 0.0967601181489547209684866258882
C39  = 0.100292250773592240417342950899
C40  = 0.102047396297787834558553819853
C41  = 0.10391933730464506822995781774454
C42  = 0.105411504155882021281096965709
C43  = 0.106733499631194864381417225132
C44  = 0.107952981196480785225861107539
C45  = 0.108382105556123452519743736780
C46  = 0.109651928750038006148031744008
C47  = 0.115438100366414478322210891220
C48  = 0.117249189831353999941981160318
C49  = 0.119968390807698469449931687987
C50  = 0.1276935971281436434326599213352
C51  = 0.128797098892663828541504428393
C52  = 0.132259939492743262017708976981
C53  = 0.136561871116957915369794629510
C54  = 0.142279786341696374562225115431
C55  = 0.143808654092331161484302170256
C56  = 0.1444900835917533269122112935495047
C57  = 0.148272341937380059384035932357
C58  = 0.149214438735279177091240926340
C59  = 0.150953060291899240462819042112
C60  = 0.151617003350494209387017811743
C61  = 0.151745514511919326958976354533
C62  = 0.153168684885554023987301460360
C63  = 0.153995697703590736130861964894
C64  = 0.156666808936616290733841124409
C65  = 0.157080411418039358379659570721
C66  = 0.158841363474536225297111598823
C67  = 0.165174038177580332949691445722
C68  = 0.168378193569648611448968320158
C69  = 0.169163324041533516584929506812
C70  = 0.171093279528121990810551527342
C71  = 0.173251141039553042723659795804
C72  = 0.173853518012562434238613449019
C73  = 0.180556558777608373990314683692
C74  = 0.181104527932907773770016609281
C75  = 0.187772411574206785060209501527
C76  = 0.188879036645085312635524768709
C77  = 0.1913260769551285789730504175851
C78  = 0.192376857926210757878349917588
C79  = 0.194464006305086292901475702083
C80  = 0.196657190735917969203797214034
C81  = 0.199883198780703425101177754522
C82  = 0.202931044147337089927614417142
C83  = 0.206198820342978751976303660078
C84  = 0.210253817354564980490254565409
C85  = 0.210575550631496241913879074541
C86  = 0.21206031388035149087445811254496
C87  = 0.213641943831269328228209716900
C88  = 0.219312049103635715051711129641
C89  = 0.221383575572963589548023305947
C90  = 0.225089592112821316366501899039
C91  = 0.2259866430992541425591426208048
C92  = 0.230031935424853982895583121827
C93  = 0.236126268009664297454594076469
C94  = 0.238456703507098664768199232038
C95  = 0.242246280329010992802247017570
C96  = 0.243399512092370108727286553203
C97  = 0.246480950152732589756120562213
C98  = 0.247999469113168975377841046072
C99  = 0.248765489700362297991436116380
C100 = 0.248952893282086002083986868430
C101 = 0.249352289815352654719620157823
C102 = 0.2519374667872589797435532166448
C103 = 0.253763122642859119185798161197
C104 = 0.260480497225109367541593743460
C105 = 0.260856982618040978853465513341
C106 = 0.261382918792174921581312176792
C107 = 0.262074397443535660360856898491
C108 = 0.263153300709579476084541044608
C109 = 0.264905137996235327314725446188
C110 = 0.268821810609701177387503606491
C111 = 0.271103803376426301592876413909
C112 = 0.273069136869731687510925088884
C113 = 0.273360877999307453976626252648
C114 = 0.276291728969325298239682737379
C115 = 0.276718989060572035490492923673
C116 = 0.279288018032356421966176931894
C117 = 0.281884241129125724062032314490
C118 = 0.290876805787190648957058208162
C119 = 0.292630419003240846243968669617
C120 = 0.292904421318646462785563598187
C121 = 0.294618434890611774909802152683
C122 = 0.304690347840222553538849523644
C123 = 0.307760846162989239619731555596
C124 = 0.307986689735259287617071097523
C125 = 0.309290352986563562491915503966
C126 = 0.314138083663475531848675687357
C127 = 0.321764698280277908823564953868
C128 = 0.323293872581307334376241460908
C129 = 0.323855891727010597336474690699
C130 = 0.3247061797677449056578747460148
C131 = 0.326467172820414068946850252234
C132 = 0.327265030300116500277572237180
C133 = 0.327439838013037722034736267392
C134 = 0.330331552457592401103319366525452
C135 = 0.3312865805601587679279118721752
C136 = 0.332886386158619018423080702357
C137 = 0.338872519791815639073012661766
C138 = 0.3397877484360351032170030851653
C139 = 0.341568941057980772323466927881
C140 = 0.341694674577406767984761051892
C141 = 0.342036375601648083941011720217
C142 = 0.345860628834142841116560755754
C143 = 0.348655892898907731612204128893
C144 = 0.350433103828013570774739367948
C145 = 0.350677870002407893923889049980
C146 = 0.354507129615061841409210700279
C147 = 0.355329291651358641989308925604
C148 = 0.355553214806323701485502801217
C149 = 0.356670839662463873521287104610
C150 = 0.356854146566928453712317899656
C151 = 0.357230850007152375586322987222
C152 = 0.359010629105601622940850736014
C153 = 0.364776485628123286753219642352
C154 = 0.372023121298004539498749524968
C155 = 0.372983621078519575006080553348
C156 = 0.383032557155468041935572805037
C157 = 0.385790083260214871874526119668
C158 = 0.386363111784501992809341870907
C159 = 0.386378261999510697443385192731
C160 = 0.387157279683800073278502930434
C161 = 0.387223708173021560696957856599
C162 = 0.388898806495824809703615040303
C163 = 0.393413696346755262441468858972
C164 = 0.398160714635993683328969928909
C165 = 0.398698085006179905691652556004
C166 = 0.399577652668868035682546126376
C167 = 0.400528734537228655105089952170
C168 = 0.404395467690209064341273606392
C169 = 0.408697832739623883148949652001
C170 = 0.412709652528092168521073723532
C171 = 0.417612210891097563097199328503
C172 = 0.419179380294230246880583425779
C173 = 0.420342300730740581749804353709
C174 = 0.420613657748335501607404815342
C175 = 0.420781812561078625151894030929
C176 = 0.421218913676544291215831527630
C177 = 0.422914788497511024023502213113
C178 = 0.423566331726123389127856436300
C179 = 0.424803741035713468364152369424
C180 = 0.425483718567066094245118184430
C181 = 0.426580124298909673266676613511
C182 = 0.431157769236624135737346731053
C183 = 0.4356371485592076339949137614948
C184 = 0.435992431407627906405336205167
C185 = 0.436368429450395780345836502616
C186 = 0.438611613873649313761010242170
C187 = 0.441669161061654588831504774440
C188 = 0.443099709285787756169440575343
C189 = 0.445047606208837537752099045887
C190 = 0.447813766608006092589786971359
C191 = 0.449775906984454391789430910479
C192 = 0.450145246981887732478296186398
C193 = 0.450299987898397226233540975587
C194 = 0.457320687171468848656312978953
C195 = 0.458407688788444950637448846384
C196 = 0.463189815532708750702915184654
C197 = 0.475434390908773554442807291276
C198 = 0.478979019913300092390782424001
C199 = 0.482100317033997021585800810423
C200 = 0.482976661342199439932041582507
C201 = 0.485567611258090165043620874662
C202 = 0.488842234821385256384205812318
C203 = 0.4888950554035394426967201372746
C204 = 0.489546122267587400370014713207
C205 = 0.4923811859733674025626362185253
C206 = 0.492557804782724402869721261974
C207 = 0.493361538277574590427920867487
C208 = 0.49356394930487279104188518766499
C209 = 0.493795579706674200802600800540
C210 = 0.493887083007039327274631135530
C211 = 0.497720769396804446149772023983
C212 = 0.499651881047850497374737424249
C213 = 0.500344820776698298914852262046
C214 = 0.500442303524712393738283423596
C215 = 0.501031406005899624769319522657
C216 = 0.505548054557684780382186665321
C217 = 0.507644044943692664720909310118
C218 = 0.514214075051501805319419814270
C219 = 0.518772183331714022884081607246
C220 = 0.519833568056623542663484497612
C221 = 0.521793929975353093168931011868
C222 = 0.523043974026931371258888843122
C223 = 0.524295927279186445891305325063
C224 = 0.525617153460549234652951130294
C225 = 0.527709306284460704799037760856
C226 = 0.536393831251993610080459218962
C227 = 0.541032750825118489490554046481
C228 = 0.542599442570985055525633229232
C229 = 0.543638282660644295703514063432
C230 = 0.543890517109637851430798981009
C231 = 0.544636698861446382583872783092
C232 = 0.544790803904894467763545779699
C233 = 0.546396643087077391813628880738
C234 = 0.547596743460200551735078537753
C235 = 0.55049431940975100957361880688546
C236 = 0.552281253353814718812111613574
C237 = 0.557279499601729666905264746324
C238 = 0.557384798551350807143234339239
C239 = 0.559403856824286234306093820897
C240 = 0.562656423611927241830501858094
C241 = 0.564208572325698721291072526091
C242 = 0.565896541520136386802935499430
C243 = 0.567328645782661416690060836200
C244 = 0.567901206306334651034473848554
C245 = 0.570834243996298529146087101679
C246 = 0.571512985067987573125232303756
C247 = 0.571838673663503448511892368658
C248 = 0.571845140995586162319092475031
C249 = 0.577402138171626840941799330704
C250 = 0.578897468245248836292200350121
C251 = 0.582376098149944918563936533786
C252 = 0.587850091612588990528162429026
C253 = 0.588550536278434012010899447013
C254 = 0.589052755040023241260526392319
C255 = 0.594108641990728387717843145843
C256 = 0.594253738977267277665302778027
C257 = 0.597006823748909536863154789829
C258 = 0.597583530605840499540920822614
C259 = 0.600022073475347590572807222274
C260 = 0.600335336147054290728120455820
C261 = 0.604110773045183744301868618708
C262 = 0.604370624977276517854304525324
C263 = 0.604583462357292995126577787179
C264 = 0.6079184434128657553557241482846
C265 = 0.6096796136302605949510131326954
C266 = 0.610097950321629603851356296339
C267 = 0.611817694218996034903329042039
C268 = 0.619955537046567766331130311657
C269 = 0.621213335473570851181076155683
C270 = 0.625909404234141475070294081193
C271 = 0.628303412178587775501405453420
C272 = 0.630596118085305562240058919117
C273 = 0.631032026268637017313413851109
C274 = 0.631573338652640532586852507641
C275 = 0.632724547776135887600666971889
C276 = 0.636110172965886075362489798864
C277 = 0.637082757887977542605465657930
C278 = 0.640524556425706742265588337427
C279 = 0.640858676007734799052294828831
C280 = 0.641575406782855975453145621544
C281 = 0.642540824501413185199491642483
C282 = 0.644045360618834719470049899449
C283 = 0.648387485742123625667126312031
C284 = 0.651141036505556803447849884537
C285 = 0.653536057871667344390988097543
C286 = 0.656071850266574380820888309387
C287 = 0.656660890786212155854172402004
C288 = 0.657227819040945873955036032018
C289 = 0.657592565926363924080955448372
C290 = 0.665256234924222059994184125541
C291 = 0.6670527787361516034945753223453
C292 = 0.670389186682208232271099418989
C293 = 0.673834522499171510777869636260
C294 = 0.6759021202538552755122349025452
C295 = 0.677449420569795011886565024943
C296 = 0.683935113270658101236435075537
C297 = 0.6873771035740116117524463585503
C298 = 0.689435468358036678994908421833
C299 = 0.694304851928986658906632924914
C300 = 0.694642098028103600313362669133
C301 = 0.696007971886123827577167290346
C302 = 0.698679885982830294050803685824
C303 = 0.698986875070101265879231497438
C304 = 0.700898553645481340327326285862
C305 = 0.7015678694295739430301506646847
C306 = 0.702082713769146712221849403043
C307 = 0.703937088909070832341799942028
C308 = 0.706766507044048723315772645038
C309 = 0.707992510759812087559608755783
C310 = 0.710202708992421762220219325401
C311 = 0.710356917116185474768912863009
C312 = 0.710575089091029754648523727260
C313 = 0.716694664242094393912661237433
C314 = 0.727359024318195644197993047549
C315 = 0.727421530917120200534283077259
C316 = 0.727867426721389976285198141451
C317 = 0.7358102296338837838441322052347
C318 = 0.737064530347868167619403355366
C319 = 0.740296050790353338969875801546
C320 = 0.741837755393535223326701524589
C321 = 0.743996233088250936448985595708
C322 = 0.746208661078818358399743674021
C323 = 0.746920402780230252483698737149
C324 = 0.749927463115944876406124053399
C325 = 0.751485120657826971877855807904
C326 = 0.758577752014845425003237537324
C327 = 0.761511903231008992310913266116
C328 = 0.761521646668799716142171400282
C329 = 0.763985836518579385893858050234
C330 = 0.7668123044891154465756639997547
C331 = 0.769100175033939438053129142198
C332 = 0.769669015320436416882947694923
C333 = 0.771574801450522198730012912627
C334 = 0.773835346275599237470854598525047
C335 = 0.777628678885054534630661659580
C336 = 0.779099788688126326575208481554
C337 = 0.781998104477374953981122259799
C338 = 0.782229058284538621462397258370
C339 = 0.791883184619390529362078120234
C340 = 0.793942430883983917546558811141
C341 = 0.798134265711499360272333922564
C342 = 0.798467339645585669251198737778
C343 = 0.802595079224584385539223776672
C344 = 0.803526625193003444284259270926
C345 = 0.809732656511275956230198927562
C346 = 0.812136554201544791083430460390
C347 = 0.813775697465259784989248133231
C348 = 0.813977279978323618956330172720
C349 = 0.815244653087956271046379028234
C350 = 0.817129065486180322427568343168
C351 = 0.826316836301041086142470111987
C352 = 0.829656889915707986314671473982
C353 = 0.835542216736547331037820366832
C354 = 0.836154168983965089232816103210
C355 = 0.836794938428284314216362579196
C356 = 0.844038785919687522164601291759
C357 = 0.844192335190007236363875942014
C358 = 0.845605042810643096349325586620
C359 = 0.846899688244426493721913766257
C360 = 0.853722914792629172573924683148
C361 = 0.8538515937478859067476112881853
C362 = 0.854692792584175089132430618951
C363 = 0.855205095854174198860240225466
C364 = 0.857105773794624856329101402388
C365 = 0.861711049783489178103145309841
C366 = 0.862242251580698388600318134778
C367 = 0.868721204666563646728630514549
C368 = 0.872367942074702838413601787014
C369 = 0.872840393082663700117844946458
C370 = 0.873477077854944942033628211069
C371 = 0.879310091507704012538984154168
C372 = 0.882124428207182317020465348377
C373 = 0.886884157980508123909271447644
C374 = 0.887012901816936677052223803846
C375 = 0.890913475893793848759227546702
C376 = 0.893464735675907362957177261906
C377 = 0.895833453097125959457563489483
C378 = 0.899270282233448929046920333842
C379 = 0.900781752426184765428504040383
C380 = 0.901528943403742880903514519860
C381 = 0.903708769193678463711156594230
C382 = 0.903801433010496090704396515713
C383 = 0.9046424755223722200977775965248
C384 = 0.907445962497648512514217088671
C385 = 0.911737185076954649750304687753
C386 = 0.912608791253088308894573671928
C387 = 0.915383455542853360214315082882
C388 = 0.920052824640163578434066868328
C389 = 0.921439422332851096877395513313
C390 = 0.923769478095651610417305584863
C391 = 0.9294327282658818347975145620351
C392 = 0.930716792038620535962226293297
C393 = 0.931031991048852650176140662679
C394 = 0.931212543212654131072363186140
C395 = 0.932993760018810329040254977064
C396 = 0.933535505357271192287487823394
C397 = 0.933620351260098952510586737338
C398 = 0.934256284738555294654117230360
C399 = 0.9388323393619699334678772017346
C400 = 0.939257532232033756938065309431
C401 = 0.945360261701476482296787448169
C402 = 0.946166476874908190634956767160
C403 = 0.946283605047175616846849379542
C404 = 0.949851446927567342411313154292
C405 = 0.952032050354094007087120996972
C406 = 0.952336115400268178852463715433
C407 = 0.953854069820644118844340762256
C408 = 0.9577863613829809995742672170348
C409 = 0.961254302019756868647864891789
C410 = 0.962140175779680741963772542046
C411 = 0.965408655305412960499509338823
C412 = 0.966738943817817973563433234447
C413 = 0.967247004269158090857366388498
C414 = 0.9696736997039812564542022326649
C415 = 0.971361087088675635803855592806
C416 = 0.971646439301584421955815523631
C417 = 0.974462666661629607740341011936
C418 = 0.982427617065715571375761756712
C419 = 0.98327008136026274343790667343548
C420 = 0.983402417778543781524556021870
C421 = 0.984207597859999702670246190321
C422 = 0.986385185259849583382149093181
C423 = 0.987248621284613917702552003017
C424 = 0.993749032493809553169589314792
C425 = 0.993908770081571089956737449711
C426 = 0.997328859562652256564210659461
C427 = 0.997372650444654943524509448231
C428 = 1.00088460704942478747656684719

V0    = (  0.0,   0.0,  C428)
V1    = (  0.0,   0.0, -C428)
V2    = ( C428,   0.0,   0.0)
V3    = (-C428,   0.0,   0.0)
V4    = (  0.0,  C428,   0.0)
V5    = (  0.0, -C428,   0.0)
V6    = (  C10,  -C30,  C427)
V7    = (  C10,   C30, -C427)
V8    = ( -C10,   C30,  C427)
V9    = ( -C10,  -C30, -C427)
V10   = ( C427,  -C10,   C30)
V11   = ( C427,   C10,  -C30)
V12   = (-C427,   C10,   C30)
V13   = (-C427,  -C10,  -C30)
V14   = (  C30, -C427,   C10)
V15   = (  C30,  C427,  -C10)
V16   = ( -C30,  C427,   C10)
V17   = ( -C30, -C427,  -C10)
V18   = (  C31,   C12,  C426)
V19   = (  C31,  -C12, -C426)
V20   = ( -C31,  -C12,  C426)
V21   = ( -C31,   C12, -C426)
V22   = ( C426,   C31,   C12)
V23   = ( C426,  -C31,  -C12)
V24   = (-C426,  -C31,   C12)
V25   = (-C426,   C31,  -C12)
V26   = (  C12,  C426,   C31)
V27   = (  C12, -C426,  -C31)
V28   = ( -C12, -C426,   C31)
V29   = ( -C12,  C426,  -C31)
V30   = (  C16,   C45,  C425)
V31   = (  C16,  -C45, -C425)
V32   = ( -C16,  -C45,  C425)
V33   = ( -C16,   C45, -C425)
V34   = ( C425,   C16,   C45)
V35   = ( C425,  -C16,  -C45)
V36   = (-C425,  -C16,   C45)
V37   = (-C425,   C16,  -C45)
V38   = (  C45,  C425,   C16)
V39   = (  C45, -C425,  -C16)
V40   = ( -C45, -C425,   C16)
V41   = ( -C45,  C425,  -C16)
V42   = (  C46,  -C18,  C424)
V43   = (  C46,   C18, -C424)
V44   = ( -C46,   C18,  C424)
V45   = ( -C46,  -C18, -C424)
V46   = ( C424,  -C46,   C18)
V47   = ( C424,   C46,  -C18)
V48   = (-C424,   C46,   C18)
V49   = (-C424,  -C46,  -C18)
V50   = (  C18, -C424,   C46)
V51   = (  C18,  C424,  -C46)
V52   = ( -C18,  C424,   C46)
V53   = ( -C18, -C424,  -C46)
V54   = (  C24,  -C62,  C423)
V55   = (  C24,   C62, -C423)
V56   = ( -C24,   C62,  C423)
V57   = ( -C24,  -C62, -C423)
V58   = ( C423,  -C24,   C62)
V59   = ( C423,   C24,  -C62)
V60   = (-C423,   C24,   C62)
V61   = (-C423,  -C24,  -C62)
V62   = (  C62, -C423,   C24)
V63   = (  C62,  C423,  -C24)
V64   = ( -C62,  C423,   C24)
V65   = ( -C62, -C423,  -C24)
V66   = (  C65,   C27,  C422)
V67   = (  C65,  -C27, -C422)
V68   = ( -C65,  -C27,  C422)
V69   = ( -C65,   C27, -C422)
V70   = ( C422,   C65,   C27)
V71   = ( C422,  -C65,  -C27)
V72   = (-C422,  -C65,   C27)
V73   = (-C422,   C65,  -C27)
V74   = (  C27,  C422,   C65)
V75   = (  C27, -C422,  -C65)
V76   = ( -C27, -C422,   C65)
V77   = ( -C27,  C422,  -C65)
V78   = (   C3,   C73,  C421)
V79   = (   C3,  -C73, -C421)
V80   = (  -C3,  -C73,  C421)
V81   = (  -C3,   C73, -C421)
V82   = ( C421,    C3,   C73)
V83   = ( C421,   -C3,  -C73)
V84   = (-C421,   -C3,   C73)
V85   = (-C421,    C3,  -C73)
V86   = (  C73,  C421,    C3)
V87   = (  C73, -C421,   -C3)
V88   = ( -C73, -C421,    C3)
V89   = ( -C73,  C421,   -C3)
V90   = (  C49,   C54,  C420)
V91   = (  C49,  -C54, -C420)
V92   = ( -C49,  -C54,  C420)
V93   = ( -C49,   C54, -C420)
V94   = ( C420,   C49,   C54)
V95   = ( C420,  -C49,  -C54)
V96   = (-C420,  -C49,   C54)
V97   = (-C420,   C49,  -C54)
V98   = (  C54,  C420,   C49)
V99   = (  C54, -C420,  -C49)
V100  = ( -C54, -C420,   C49)
V101  = ( -C54,  C420,  -C49)
V102  = (  C53,  -C50,  C419)
V103  = (  C53,   C50, -C419)
V104  = ( -C53,   C50,  C419)
V105  = ( -C53,  -C50, -C419)
V106  = ( C419,  -C53,   C50)
V107  = ( C419,   C53,  -C50)
V108  = (-C419,   C53,   C50)
V109  = (-C419,  -C53,  -C50)
V110  = (  C50, -C419,   C53)
V111  = (  C50,  C419,  -C53)
V112  = ( -C50,  C419,   C53)
V113  = ( -C50, -C419,  -C53)
V114  = (  C77,   -C4,  C418)
V115  = (  C77,    C4, -C418)
V116  = ( -C77,    C4,  C418)
V117  = ( -C77,   -C4, -C418)
V118  = ( C418,  -C77,    C4)
V119  = ( C418,   C77,   -C4)
V120  = (-C418,   C77,    C4)
V121  = (-C418,  -C77,   -C4)
V122  = (   C4, -C418,   C77)
V123  = (   C4,  C418,  -C77)
V124  = (  -C4,  C418,   C77)
V125  = (  -C4, -C418,  -C77)
V126  = (  C34,   C86,  C417)
V127  = (  C34,  -C86, -C417)
V128  = ( -C34,  -C86,  C417)
V129  = ( -C34,   C86, -C417)
V130  = ( C417,   C34,   C86)
V131  = ( C417,  -C34,  -C86)
V132  = (-C417,  -C34,   C86)
V133  = (-C417,   C34,  -C86)
V134  = (  C86,  C417,   C34)
V135  = (  C86, -C417,  -C34)
V136  = ( -C86, -C417,   C34)
V137  = ( -C86,  C417,  -C34)
V138  = (  C33,  -C90,  C416)
V139  = (  C33,   C90, -C416)
V140  = ( -C33,   C90,  C416)
V141  = ( -C33,  -C90, -C416)
V142  = ( C416,  -C33,   C90)
V143  = ( C416,   C33,  -C90)
V144  = (-C416,   C33,   C90)
V145  = (-C416,  -C33,  -C90)
V146  = (  C90, -C416,   C33)
V147  = (  C90,  C416,  -C33)
V148  = ( -C90,  C416,   C33)
V149  = ( -C90, -C416,  -C33)
V150  = (  C88,  -C40,  C415)
V151  = (  C88,   C40, -C415)
V152  = ( -C88,   C40,  C415)
V153  = ( -C88,  -C40, -C415)
V154  = ( C415,  -C88,   C40)
V155  = ( C415,   C88,  -C40)
V156  = (-C415,   C88,   C40)
V157  = (-C415,  -C88,  -C40)
V158  = (  C40, -C415,   C88)
V159  = (  C40,  C415,  -C88)
V160  = ( -C40,  C415,   C88)
V161  = ( -C40, -C415,  -C88)
V162  = (   C2,  -C97,  C414)
V163  = (   C2,   C97, -C414)
V164  = (  -C2,   C97,  C414)
V165  = (  -C2,  -C97, -C414)
V166  = ( C414,   -C2,   C97)
V167  = ( C414,    C2,  -C97)
V168  = (-C414,    C2,   C97)
V169  = (-C414,   -C2,  -C97)
V170  = (  C97, -C414,    C2)
V171  = (  C97,  C414,   -C2)
V172  = ( -C97,  C414,    C2)
V173  = ( -C97, -C414,   -C2)
V174  = (  C93,   C41,  C413)
V175  = (  C93,  -C41, -C413)
V176  = ( -C93,  -C41,  C413)
V177  = ( -C93,   C41, -C413)
V178  = ( C413,   C93,   C41)
V179  = ( C413,  -C93,  -C41)
V180  = (-C413,  -C93,   C41)
V181  = (-C413,   C93,  -C41)
V182  = (  C41,  C413,   C93)
V183  = (  C41, -C413,  -C93)
V184  = ( -C41, -C413,   C93)
V185  = ( -C41,  C413,  -C93)
V186  = (  C64,  -C83,  C412)
V187  = (  C64,   C83, -C412)
V188  = ( -C64,   C83,  C412)
V189  = ( -C64,  -C83, -C412)
V190  = ( C412,  -C64,   C83)
V191  = ( C412,   C64,  -C83)
V192  = (-C412,   C64,   C83)
V193  = (-C412,  -C64,  -C83)
V194  = (  C83, -C412,   C64)
V195  = (  C83,  C412,  -C64)
V196  = ( -C83,  C412,   C64)
V197  = ( -C83, -C412,  -C64)
V198  = (  C78,   C74,  C411)
V199  = (  C78,  -C74, -C411)
V200  = ( -C78,  -C74,  C411)
V201  = ( -C78,   C74, -C411)
V202  = ( C411,   C78,   C74)
V203  = ( C411,  -C78,  -C74)
V204  = (-C411,  -C78,   C74)
V205  = (-C411,   C78,  -C74)
V206  = (  C74,  C411,   C78)
V207  = (  C74, -C411,  -C78)
V208  = ( -C74, -C411,   C78)
V209  = ( -C74,  C411,  -C78)
V210  = ( C114,    C5,  C410)
V211  = ( C114,   -C5, -C410)
V212  = (-C114,   -C5,  C410)
V213  = (-C114,    C5, -C410)
V214  = ( C410,  C114,    C5)
V215  = ( C410, -C114,   -C5)
V216  = (-C410, -C114,    C5)
V217  = (-C410,  C114,   -C5)
V218  = (   C5,  C410,  C114)
V219  = (   C5, -C410, -C114)
V220  = (  -C5, -C410,  C114)
V221  = (  -C5,  C410, -C114)
V222  = (  C19,  C113,  C409)
V223  = (  C19, -C113, -C409)
V224  = ( -C19, -C113,  C409)
V225  = ( -C19,  C113, -C409)
V226  = ( C409,   C19,  C113)
V227  = ( C409,  -C19, -C113)
V228  = (-C409,  -C19,  C113)
V229  = (-C409,   C19, -C113)
V230  = ( C113,  C409,   C19)
V231  = ( C113, -C409,  -C19)
V232  = (-C113, -C409,   C19)
V233  = (-C113,  C409,  -C19)
V234  = (  C57,  C101,  C408)
V235  = (  C57, -C101, -C408)
V236  = ( -C57, -C101,  C408)
V237  = ( -C57,  C101, -C408)
V238  = ( C408,   C57,  C101)
V239  = ( C408,  -C57, -C101)
V240  = (-C408,  -C57,  C101)
V241  = (-C408,   C57, -C101)
V242  = ( C101,  C408,   C57)
V243  = ( C101, -C408,  -C57)
V244  = (-C101, -C408,   C57)
V245  = (-C101,  C408,  -C57)
V246  = (  C94,  -C75,  C407)
V247  = (  C94,   C75, -C407)
V248  = ( -C94,   C75,  C407)
V249  = ( -C94,  -C75, -C407)
V250  = ( C407,  -C94,   C75)
V251  = ( C407,   C94,  -C75)
V252  = (-C407,   C94,   C75)
V253  = (-C407,  -C94,  -C75)
V254  = (  C75, -C407,   C94)
V255  = (  C75,  C407,  -C94)
V256  = ( -C75,  C407,   C94)
V257  = ( -C75, -C407,  -C94)
V258  = (  C13, -C122,  C406)
V259  = (  C13,  C122, -C406)
V260  = ( -C13,  C122,  C406)
V261  = ( -C13, -C122, -C406)
V262  = ( C406,  -C13,  C122)
V263  = ( C406,   C13, -C122)
V264  = (-C406,   C13,  C122)
V265  = (-C406,  -C13, -C122)
V266  = ( C122, -C406,   C13)
V267  = ( C122,  C406,  -C13)
V268  = (-C122,  C406,   C13)
V269  = (-C122, -C406,  -C13)
V270  = (  C37, -C119,  C405)
V271  = (  C37,  C119, -C405)
V272  = ( -C37,  C119,  C405)
V273  = ( -C37, -C119, -C405)
V274  = ( C405,  -C37,  C119)
V275  = ( C405,   C37, -C119)
V276  = (-C405,   C37,  C119)
V277  = (-C405,  -C37, -C119)
V278  = ( C119, -C405,   C37)
V279  = ( C119,  C405,  -C37)
V280  = (-C119,  C405,   C37)
V281  = (-C119, -C405,  -C37)
V282  = ( C123,  -C28,  C404)
V283  = ( C123,   C28, -C404)
V284  = (-C123,   C28,  C404)
V285  = (-C123,  -C28, -C404)
V286  = ( C404, -C123,   C28)
V287  = ( C404,  C123,  -C28)
V288  = (-C404,  C123,   C28)
V289  = (-C404, -C123,  -C28)
V290  = (  C28, -C404,  C123)
V291  = (  C28,  C404, -C123)
V292  = ( -C28,  C404,  C123)
V293  = ( -C28, -C404, -C123)
V294  = (   C6,  C129,  C403)
V295  = (   C6, -C129, -C403)
V296  = (  -C6, -C129,  C403)
V297  = (  -C6,  C129, -C403)
V298  = ( C403,    C6,  C129)
V299  = ( C403,   -C6, -C129)
V300  = (-C403,   -C6,  C129)
V301  = (-C403,    C6, -C129)
V302  = ( C129,  C403,    C6)
V303  = ( C129, -C403,   -C6)
V304  = (-C129, -C403,    C6)
V305  = (-C129,  C403,   -C6)
V306  = (  C42,  C124,  C402)
V307  = (  C42, -C124, -C402)
V308  = ( -C42, -C124,  C402)
V309  = ( -C42,  C124, -C402)
V310  = ( C402,   C42,  C124)
V311  = ( C402,  -C42, -C124)
V312  = (-C402,  -C42,  C124)
V313  = (-C402,   C42, -C124)
V314  = ( C124,  C402,   C42)
V315  = ( C124, -C402,  -C42)
V316  = (-C124, -C402,   C42)
V317  = (-C124,  C402,  -C42)
V318  = (  C68, -C117,  C401)
V319  = (  C68,  C117, -C401)
V320  = ( -C68,  C117,  C401)
V321  = ( -C68, -C117, -C401)
V322  = ( C401,  -C68,  C117)
V323  = ( C401,   C68, -C117)
V324  = (-C401,   C68,  C117)
V325  = (-C401,  -C68, -C117)
V326  = ( C117, -C401,   C68)
V327  = ( C117,  C401,  -C68)
V328  = (-C117,  C401,   C68)
V329  = (-C117, -C401,  -C68)
V330  = ( C107,   C91,  C400)
V331  = ( C107,  -C91, -C400)
V332  = (-C107,  -C91,  C400)
V333  = (-C107,   C91, -C400)
V334  = ( C400,  C107,   C91)
V335  = ( C400, -C107,  -C91)
V336  = (-C400, -C107,   C91)
V337  = (-C400,  C107,  -C91)
V338  = (  C91,  C400,  C107)
V339  = (  C91, -C400, -C107)
V340  = ( -C91, -C400,  C107)
V341  = ( -C91,  C400, -C107)
V342  = ( C126,   C58,  C399)
V343  = ( C126,  -C58, -C399)
V344  = (-C126,  -C58,  C399)
V345  = (-C126,   C58, -C399)
V346  = ( C399,  C126,   C58)
V347  = ( C399, -C126,  -C58)
V348  = (-C399, -C126,   C58)
V349  = (-C399,  C126,  -C58)
V350  = (  C58,  C399,  C126)
V351  = (  C58, -C399, -C126)
V352  = ( -C58, -C399,  C126)
V353  = ( -C58,  C399, -C126)
V354  = (  0.0,  C150,  C398)
V355  = (  0.0,  C150, -C398)
V356  = (  0.0, -C150,  C398)
V357  = (  0.0, -C150, -C398)
V358  = ( C398,   0.0,  C150)
V359  = ( C398,   0.0, -C150)
V360  = (-C398,   0.0,  C150)
V361  = (-C398,   0.0, -C150)
V362  = ( C150,  C398,   0.0)
V363  = ( C150, -C398,   0.0)
V364  = (-C150,  C398,   0.0)
V365  = (-C150, -C398,   0.0)
V366  = (  C84,  C120,  C397)
V367  = (  C84, -C120, -C397)
V368  = ( -C84, -C120,  C397)
V369  = ( -C84,  C120, -C397)
V370  = ( C397,   C84,  C120)
V371  = ( C397,  -C84, -C120)
V372  = (-C397,  -C84,  C120)
V373  = (-C397,   C84, -C120)
V374  = ( C120,  C397,   C84)
V375  = ( C120, -C397,  -C84)
V376  = (-C120, -C397,   C84)
V377  = (-C120,  C397,  -C84)
V378  = (  C14, -C151,  C396)
V379  = (  C14,  C151, -C396)
V380  = ( -C14,  C151,  C396)
V381  = ( -C14, -C151, -C396)
V382  = ( C396,  -C14,  C151)
V383  = ( C396,   C14, -C151)
V384  = (-C396,   C14,  C151)
V385  = (-C396,  -C14, -C151)
V386  = ( C151, -C396,   C14)
V387  = ( C151,  C396,  -C14)
V388  = (-C151,  C396,   C14)
V389  = (-C151, -C396,  -C14)
V390  = (  C26,  C147,  C395)
V391  = (  C26, -C147, -C395)
V392  = ( -C26, -C147,  C395)
V393  = ( -C26,  C147, -C395)
V394  = ( C395,   C26,  C147)
V395  = ( C395,  -C26, -C147)
V396  = (-C395,  -C26,  C147)
V397  = (-C395,   C26, -C147)
V398  = ( C147,  C395,   C26)
V399  = ( C147, -C395,  -C26)
V400  = (-C147, -C395,   C26)
V401  = (-C147,  C395,  -C26)
V402  = ( C131,  -C69,  C394)
V403  = ( C131,   C69, -C394)
V404  = (-C131,   C69,  C394)
V405  = (-C131,  -C69, -C394)
V406  = ( C394, -C131,   C69)
V407  = ( C394,  C131,  -C69)
V408  = (-C394,  C131,   C69)
V409  = (-C394, -C131,  -C69)
V410  = (  C69, -C394,  C131)
V411  = (  C69,  C394, -C131)
V412  = ( -C69,  C394,  C131)
V413  = ( -C69, -C394, -C131)
V414  = (  C98, -C111,  C393)
V415  = (  C98,  C111, -C393)
V416  = ( -C98,  C111,  C393)
V417  = ( -C98, -C111, -C393)
V418  = ( C393,  -C98,  C111)
V419  = ( C393,   C98, -C111)
V420  = (-C393,   C98,  C111)
V421  = (-C393,  -C98, -C111)
V422  = ( C111, -C393,   C98)
V423  = ( C111,  C393,  -C98)
V424  = (-C111,  C393,   C98)
V425  = (-C111, -C393,  -C98)
V426  = ( C153,   C25,  C392)
V427  = ( C153,  -C25, -C392)
V428  = (-C153,  -C25,  C392)
V429  = (-C153,   C25, -C392)
V430  = ( C392,  C153,   C25)
V431  = ( C392, -C153,  -C25)
V432  = (-C392, -C153,   C25)
V433  = (-C392,  C153,  -C25)
V434  = (  C25,  C392,  C153)
V435  = (  C25, -C392, -C153)
V436  = ( -C25, -C392,  C153)
V437  = ( -C25,  C392, -C153)
V438  = (  C39, -C149,  C391)
V439  = (  C39,  C149, -C391)
V440  = ( -C39,  C149,  C391)
V441  = ( -C39, -C149, -C391)
V442  = ( C391,  -C39,  C149)
V443  = ( C391,   C39, -C149)
V444  = (-C391,   C39,  C149)
V445  = (-C391,  -C39, -C149)
V446  = ( C149, -C391,   C39)
V447  = ( C149,  C391,  -C39)
V448  = (-C149,  C391,   C39)
V449  = (-C149, -C391,  -C39)
V450  = (  C66,  C144,  C390)
V451  = (  C66, -C144, -C390)
V452  = ( -C66, -C144,  C390)
V453  = ( -C66,  C144, -C390)
V454  = ( C390,   C66,  C144)
V455  = ( C390,  -C66, -C144)
V456  = (-C390,  -C66,  C144)
V457  = (-C390,   C66, -C144)
V458  = ( C144,  C390,   C66)
V459  = ( C144, -C390,  -C66)
V460  = (-C144, -C390,   C66)
V461  = (-C144,  C390,  -C66)
V462  = (   C8,  C162,  C389)
V463  = (   C8, -C162, -C389)
V464  = (  -C8, -C162,  C389)
V465  = (  -C8,  C162, -C389)
V466  = ( C389,    C8,  C162)
V467  = ( C389,   -C8, -C162)
V468  = (-C389,   -C8,  C162)
V469  = (-C389,    C8, -C162)
V470  = ( C162,  C389,    C8)
V471  = ( C162, -C389,   -C8)
V472  = (-C162, -C389,    C8)
V473  = (-C162,  C389,   -C8)
V474  = (  C70, -C146,  C388)
V475  = (  C70,  C146, -C388)
V476  = ( -C70,  C146,  C388)
V477  = ( -C70, -C146, -C388)
V478  = ( C388,  -C70,  C146)
V479  = ( C388,   C70, -C146)
V480  = (-C388,   C70,  C146)
V481  = (-C388,  -C70, -C146)
V482  = ( C146, -C388,   C70)
V483  = ( C146,  C388,  -C70)
V484  = (-C146,  C388,   C70)
V485  = (-C146, -C388,  -C70)
V486  = ( C168,  -C15,  C387)
V487  = ( C168,   C15, -C387)
V488  = (-C168,   C15,  C387)
V489  = (-C168,  -C15, -C387)
V490  = ( C387, -C168,   C15)
V491  = ( C387,  C168,  -C15)
V492  = (-C387,  C168,   C15)
V493  = (-C387, -C168,  -C15)
V494  = (  C15, -C387,  C168)
V495  = (  C15,  C387, -C168)
V496  = ( -C15,  C387,  C168)
V497  = ( -C15, -C387, -C168)
V498  = (  C11, -C169,  C386)
V499  = (  C11,  C169, -C386)
V500  = ( -C11,  C169,  C386)
V501  = ( -C11, -C169, -C386)
V502  = ( C386,  -C11,  C169)
V503  = ( C386,   C11, -C169)
V504  = (-C386,   C11,  C169)
V505  = (-C386,  -C11, -C169)
V506  = ( C169, -C386,   C11)
V507  = ( C169,  C386,  -C11)
V508  = (-C169,  C386,   C11)
V509  = (-C169, -C386,  -C11)
V510  = (  C43,  C164,  C385)
V511  = (  C43, -C164, -C385)
V512  = ( -C43, -C164,  C385)
V513  = ( -C43,  C164, -C385)
V514  = ( C385,   C43,  C164)
V515  = ( C385,  -C43, -C164)
V516  = (-C385,  -C43,  C164)
V517  = (-C385,   C43, -C164)
V518  = ( C164,  C385,   C43)
V519  = ( C164, -C385,  -C43)
V520  = (-C164, -C385,   C43)
V521  = (-C164,  C385,  -C43)
V522  = ( C136, -C104,  C384)
V523  = ( C136,  C104, -C384)
V524  = (-C136,  C104,  C384)
V525  = (-C136, -C104, -C384)
V526  = ( C384, -C136,  C104)
V527  = ( C384,  C136, -C104)
V528  = (-C384,  C136,  C104)
V529  = (-C384, -C136, -C104)
V530  = ( C104, -C384,  C136)
V531  = ( C104,  C384, -C136)
V532  = (-C104,  C384,  C136)
V533  = (-C104, -C384, -C136)
V534  = ( C132,  C115,  C383)
V535  = ( C132, -C115, -C383)
V536  = (-C132, -C115,  C383)
V537  = (-C132,  C115, -C383)
V538  = ( C383,  C132,  C115)
V539  = ( C383, -C132, -C115)
V540  = (-C383, -C132,  C115)
V541  = (-C383,  C132, -C115)
V542  = ( C115,  C383,  C132)
V543  = ( C115, -C383, -C132)
V544  = (-C115, -C383,  C132)
V545  = (-C115,  C383, -C132)
V546  = (  C99, -C145,  C382)
V547  = (  C99,  C145, -C382)
V548  = ( -C99,  C145,  C382)
V549  = ( -C99, -C145, -C382)
V550  = ( C382,  -C99,  C145)
V551  = ( C382,   C99, -C145)
V552  = (-C382,   C99,  C145)
V553  = (-C382,  -C99, -C145)
V554  = ( C145, -C382,   C99)
V555  = ( C145,  C382,  -C99)
V556  = (-C145,  C382,   C99)
V557  = (-C145, -C382,  -C99)
V558  = (  C36, -C172,  C381)
V559  = (  C36,  C172, -C381)
V560  = ( -C36,  C172,  C381)
V561  = ( -C36, -C172, -C381)
V562  = ( C381,  -C36,  C172)
V563  = ( C381,   C36, -C172)
V564  = (-C381,   C36,  C172)
V565  = (-C381,  -C36, -C172)
V566  = ( C172, -C381,   C36)
V567  = ( C172,  C381,  -C36)
V568  = (-C172,  C381,   C36)
V569  = (-C172, -C381,  -C36)
V570  = ( C110,  C140,  C380)
V571  = ( C110, -C140, -C380)
V572  = (-C110, -C140,  C380)
V573  = (-C110,  C140, -C380)
V574  = ( C380,  C110,  C140)
V575  = ( C380, -C110, -C140)
V576  = (-C380, -C110,  C140)
V577  = (-C380,  C110, -C140)
V578  = ( C140,  C380,  C110)
V579  = ( C140, -C380, -C110)
V580  = (-C140, -C380,  C110)
V581  = (-C140,  C380, -C110)
V582  = ( C160,   C82,  C379)
V583  = ( C160,  -C82, -C379)
V584  = (-C160,  -C82,  C379)
V585  = (-C160,   C82, -C379)
V586  = ( C379,  C160,   C82)
V587  = ( C379, -C160,  -C82)
V588  = (-C379, -C160,   C82)
V589  = (-C379,  C160,  -C82)
V590  = (  C82,  C379,  C160)
V591  = (  C82, -C379, -C160)
V592  = ( -C82, -C379,  C160)
V593  = ( -C82,  C379, -C160)
V594  = (  C20,  C183,  C378)
V595  = (  C20, -C183, -C378)
V596  = ( -C20, -C183,  C378)
V597  = ( -C20,  C183, -C378)
V598  = ( C378,   C20,  C183)
V599  = ( C378,  -C20, -C183)
V600  = (-C378,  -C20,  C183)
V601  = (-C378,   C20, -C183)
V602  = ( C183,  C378,   C20)
V603  = ( C183, -C378,  -C20)
V604  = (-C183, -C378,   C20)
V605  = (-C183,  C378,  -C20)
V606  = ( C176,  -C60,  C377)
V607  = ( C176,   C60, -C377)
V608  = (-C176,   C60,  C377)
V609  = (-C176,  -C60, -C377)
V610  = ( C377, -C176,   C60)
V611  = ( C377,  C176,  -C60)
V612  = (-C377,  C176,   C60)
V613  = (-C377, -C176,  -C60)
V614  = (  C60, -C377,  C176)
V615  = (  C60,  C377, -C176)
V616  = ( -C60,  C377,  C176)
V617  = ( -C60, -C377, -C176)
V618  = (  C85,  C165,  C376)
V619  = (  C85, -C165, -C376)
V620  = ( -C85, -C165,  C376)
V621  = ( -C85,  C165, -C376)
V622  = ( C376,   C85,  C165)
V623  = ( C376,  -C85, -C165)
V624  = (-C376,  -C85,  C165)
V625  = (-C376,   C85, -C165)
V626  = ( C165,  C376,   C85)
V627  = ( C165, -C376,  -C85)
V628  = (-C165, -C376,   C85)
V629  = (-C165,  C376,  -C85)
V630  = (  C67, -C179,  C375)
V631  = (  C67,  C179, -C375)
V632  = ( -C67,  C179,  C375)
V633  = ( -C67, -C179, -C375)
V634  = ( C375,  -C67,  C179)
V635  = ( C375,   C67, -C179)
V636  = (-C375,   C67,  C179)
V637  = (-C375,  -C67, -C179)
V638  = ( C179, -C375,   C67)
V639  = ( C179,  C375,  -C67)
V640  = (-C179,  C375,   C67)
V641  = (-C179, -C375,  -C67)
V642  = ( C193,   C48,  C374)
V643  = ( C193,  -C48, -C374)
V644  = (-C193,  -C48,  C374)
V645  = (-C193,   C48, -C374)
V646  = ( C374,  C193,   C48)
V647  = ( C374, -C193,  -C48)
V648  = (-C374, -C193,   C48)
V649  = (-C374,  C193,  -C48)
V650  = (  C48,  C374,  C193)
V651  = (  C48, -C374, -C193)
V652  = ( -C48, -C374,  C193)
V653  = ( -C48,  C374, -C193)
V654  = (   C0, -C196,  C373)
V655  = (   C0,  C196, -C373)
V656  = (  -C0,  C196,  C373)
V657  = (  -C0, -C196, -C373)
V658  = ( C373,   -C0,  C196)
V659  = ( C373,    C0, -C196)
V660  = (-C373,    C0,  C196)
V661  = (-C373,   -C0, -C196)
V662  = ( C196, -C373,    C0)
V663  = ( C196,  C373,   -C0)
V664  = (-C196,  C373,    C0)
V665  = (-C196, -C373,   -C0)
V666  = (  C59,  C190,  C372)
V667  = (  C59, -C190, -C372)
V668  = ( -C59, -C190,  C372)
V669  = ( -C59,  C190, -C372)
V670  = ( C372,   C59,  C190)
V671  = ( C372,  -C59, -C190)
V672  = (-C372,  -C59,  C190)
V673  = (-C372,   C59, -C190)
V674  = ( C190,  C372,   C59)
V675  = ( C190, -C372,  -C59)
V676  = (-C190, -C372,   C59)
V677  = (-C190,  C372,  -C59)
V678  = ( C134, -C142,  C371)
V679  = ( C134,  C142, -C371)
V680  = (-C134,  C142,  C371)
V681  = (-C134, -C142, -C371)
V682  = ( C371, -C134,  C142)
V683  = ( C371,  C134, -C142)
V684  = (-C371,  C134,  C142)
V685  = (-C371, -C134, -C142)
V686  = ( C142, -C371,  C134)
V687  = ( C142,  C371, -C134)
V688  = (-C142,  C371,  C134)
V689  = (-C142, -C371, -C134)
V690  = (  C29, -C199,  C370)
V691  = (  C29,  C199, -C370)
V692  = ( -C29,  C199,  C370)
V693  = ( -C29, -C199, -C370)
V694  = ( C370,  -C29,  C199)
V695  = ( C370,   C29, -C199)
V696  = (-C370,   C29,  C199)
V697  = (-C370,  -C29, -C199)
V698  = ( C199, -C370,   C29)
V699  = ( C199,  C370,  -C29)
V700  = (-C199,  C370,   C29)
V701  = (-C199, -C370,  -C29)
V702  = ( C175, -C102,  C369)
V703  = ( C175,  C102, -C369)
V704  = (-C175,  C102,  C369)
V705  = (-C175, -C102, -C369)
V706  = ( C369, -C175,  C102)
V707  = ( C369,  C175, -C102)
V708  = (-C369,  C175,  C102)
V709  = (-C369, -C175, -C102)
V710  = ( C102, -C369,  C175)
V711  = ( C102,  C369, -C175)
V712  = (-C102,  C369,  C175)
V713  = (-C102, -C369, -C175)
V714  = (  C95, -C181,  C368)
V715  = (  C95,  C181, -C368)
V716  = ( -C95,  C181,  C368)
V717  = ( -C95, -C181, -C368)
V718  = ( C368,  -C95,  C181)
V719  = ( C368,   C95, -C181)
V720  = (-C368,   C95,  C181)
V721  = (-C368,  -C95, -C181)
V722  = ( C181, -C368,   C95)
V723  = ( C181,  C368,  -C95)
V724  = (-C181,  C368,   C95)
V725  = (-C181, -C368,  -C95)
V726  = (  C35,  C203,  C367)
V727  = (  C35, -C203, -C367)
V728  = ( -C35, -C203,  C367)
V729  = ( -C35,  C203, -C367)
V730  = ( C367,   C35,  C203)
V731  = ( C367,  -C35, -C203)
V732  = (-C367,  -C35,  C203)
V733  = (-C367,   C35, -C203)
V734  = ( C203,  C367,   C35)
V735  = ( C203, -C367,  -C35)
V736  = (-C203, -C367,   C35)
V737  = (-C203,  C367,  -C35)
V738  = ( C157,  C135,  C366)
V739  = ( C157, -C135, -C366)
V740  = (-C157, -C135,  C366)
V741  = (-C157,  C135, -C366)
V742  = ( C366,  C157,  C135)
V743  = ( C366, -C157, -C135)
V744  = (-C366, -C157,  C135)
V745  = (-C366,  C157, -C135)
V746  = ( C135,  C366,  C157)
V747  = ( C135, -C366, -C157)
V748  = (-C135, -C366,  C157)
V749  = (-C135,  C366, -C157)
V750  = ( C128,  C163,  C365)
V751  = ( C128, -C163, -C365)
V752  = (-C128, -C163,  C365)
V753  = (-C128,  C163, -C365)
V754  = ( C365,  C128,  C163)
V755  = ( C365, -C128, -C163)
V756  = (-C365, -C128,  C163)
V757  = (-C365,  C128, -C163)
V758  = ( C163,  C365,  C128)
V759  = ( C163, -C365, -C128)
V760  = (-C163, -C365,  C128)
V761  = (-C163,  C365, -C128)
V762  = (  C61, -C210,  C364)
V763  = (  C61,  C210, -C364)
V764  = ( -C61,  C210,  C364)
V765  = ( -C61, -C210, -C364)
V766  = ( C364,  -C61,  C210)
V767  = ( C364,   C61, -C210)
V768  = (-C364,   C61,  C210)
V769  = (-C364,  -C61, -C210)
V770  = ( C210, -C364,   C61)
V771  = ( C210,  C364,  -C61)
V772  = (-C210,  C364,   C61)
V773  = (-C210, -C364,  -C61)
V774  = ( C105,  C191,  C363)
V775  = ( C105, -C191, -C363)
V776  = (-C105, -C191,  C363)
V777  = (-C105,  C191, -C363)
V778  = ( C363,  C105,  C191)
V779  = ( C363, -C105, -C191)
V780  = (-C363, -C105,  C191)
V781  = (-C363,  C105, -C191)
V782  = ( C191,  C363,  C105)
V783  = ( C191, -C363, -C105)
V784  = (-C191, -C363,  C105)
V785  = (-C191,  C363, -C105)
V786  = ( C192,  C108,  C362)
V787  = ( C192, -C108, -C362)
V788  = (-C192, -C108,  C362)
V789  = (-C192,  C108, -C362)
V790  = ( C362,  C192,  C108)
V791  = ( C362, -C192, -C108)
V792  = (-C362, -C192,  C108)
V793  = (-C362,  C192, -C108)
V794  = ( C108,  C362,  C192)
V795  = ( C108, -C362, -C192)
V796  = (-C108, -C362,  C192)
V797  = (-C108,  C362, -C192)
V798  = ( C225,   0.0,  C361)
V799  = ( C225,   0.0, -C361)
V800  = (-C225,   0.0,  C361)
V801  = (-C225,   0.0, -C361)
V802  = ( C361,  C225,   0.0)
V803  = ( C361, -C225,   0.0)
V804  = (-C361,  C225,   0.0)
V805  = (-C361, -C225,   0.0)
V806  = (  0.0,  C361,  C225)
V807  = (  0.0,  C361, -C225)
V808  = (  0.0, -C361,  C225)
V809  = (  0.0, -C361, -C225)
V810  = (   C7,  C221,  C360)
V811  = (   C7, -C221, -C360)
V812  = (  -C7, -C221,  C360)
V813  = (  -C7,  C221, -C360)
V814  = ( C360,    C7,  C221)
V815  = ( C360,   -C7, -C221)
V816  = (-C360,   -C7,  C221)
V817  = (-C360,    C7, -C221)
V818  = ( C221,  C360,    C7)
V819  = ( C221, -C360,   -C7)
V820  = (-C221, -C360,    C7)
V821  = (-C221,  C360,   -C7)
V822  = ( C127, -C180,  C359)
V823  = ( C127,  C180, -C359)
V824  = (-C127,  C180,  C359)
V825  = (-C127, -C180, -C359)
V826  = ( C359, -C127,  C180)
V827  = ( C359,  C127, -C180)
V828  = (-C359,  C127,  C180)
V829  = (-C359, -C127, -C180)
V830  = ( C180, -C359,  C127)
V831  = ( C180,  C359, -C127)
V832  = (-C180,  C359,  C127)
V833  = (-C180, -C359, -C127)
V834  = ( C170, -C139,  C358)
V835  = ( C170,  C139, -C358)
V836  = (-C170,  C139,  C358)
V837  = (-C170, -C139, -C358)
V838  = ( C358, -C170,  C139)
V839  = ( C358,  C170, -C139)
V840  = (-C358,  C170,  C139)
V841  = (-C358, -C170, -C139)
V842  = ( C139, -C358,  C170)
V843  = ( C139,  C358, -C170)
V844  = (-C139,  C358,  C170)
V845  = (-C139, -C358, -C170)
V846  = (  C80,  C213,  C357)
V847  = (  C80, -C213, -C357)
V848  = ( -C80, -C213,  C357)
V849  = ( -C80,  C213, -C357)
V850  = ( C357,   C80,  C213)
V851  = ( C357,  -C80, -C213)
V852  = (-C357,  -C80,  C213)
V853  = (-C357,   C80, -C213)
V854  = ( C213,  C357,   C80)
V855  = ( C213, -C357,  -C80)
V856  = (-C213, -C357,   C80)
V857  = (-C213,  C357,  -C80)
V858  = ( C220,  -C55,  C356)
V859  = ( C220,   C55, -C356)
V860  = (-C220,   C55,  C356)
V861  = (-C220,  -C55, -C356)
V862  = ( C356, -C220,   C55)
V863  = ( C356,  C220,  -C55)
V864  = (-C356,  C220,   C55)
V865  = (-C356, -C220,  -C55)
V866  = (  C55, -C356,  C220)
V867  = (  C55,  C356, -C220)
V868  = ( -C55,  C356,  C220)
V869  = ( -C55, -C356, -C220)
V870  = (  C21, -C233,  C355)
V871  = (  C21,  C233, -C355)
V872  = ( -C21,  C233,  C355)
V873  = ( -C21, -C233, -C355)
V874  = ( C355,  -C21,  C233)
V875  = ( C355,   C21, -C233)
V876  = (-C355,   C21,  C233)
V877  = (-C355,  -C21, -C233)
V878  = ( C233, -C355,   C21)
V879  = ( C233,  C355,  -C21)
V880  = (-C233,  C355,   C21)
V881  = (-C233, -C355,  -C21)
V882  = (  C92, -C212,  C354)
V883  = (  C92,  C212, -C354)
V884  = ( -C92,  C212,  C354)
V885  = ( -C92, -C212, -C354)
V886  = ( C354,  -C92,  C212)
V887  = ( C354,   C92, -C212)
V888  = (-C354,   C92,  C212)
V889  = (-C354,  -C92, -C212)
V890  = ( C212, -C354,   C92)
V891  = ( C212,  C354,  -C92)
V892  = (-C212,  C354,   C92)
V893  = (-C212, -C354,  -C92)
V894  = ( C219,   C76,  C353)
V895  = ( C219,  -C76, -C353)
V896  = (-C219,  -C76,  C353)
V897  = (-C219,   C76, -C353)
V898  = ( C353,  C219,   C76)
V899  = ( C353, -C219,  -C76)
V900  = (-C353, -C219,   C76)
V901  = (-C353,  C219,  -C76)
V902  = (  C76,  C353,  C219)
V903  = (  C76, -C353, -C219)
V904  = ( -C76, -C353,  C219)
V905  = ( -C76,  C353, -C219)
V906  = (  C51,  C232,  C352)
V907  = (  C51, -C232, -C352)
V908  = ( -C51, -C232,  C352)
V909  = ( -C51,  C232, -C352)
V910  = ( C352,   C51,  C232)
V911  = ( C352,  -C51, -C232)
V912  = (-C352,  -C51,  C232)
V913  = (-C352,   C51, -C232)
V914  = ( C232,  C352,   C51)
V915  = ( C232, -C352,  -C51)
V916  = (-C232, -C352,   C51)
V917  = (-C232,  C352,  -C51)
V918  = ( C217, -C100,  C351)
V919  = ( C217,  C100, -C351)
V920  = (-C217,  C100,  C351)
V921  = (-C217, -C100, -C351)
V922  = ( C351, -C217,  C100)
V923  = ( C351,  C217, -C100)
V924  = (-C351,  C217,  C100)
V925  = (-C351, -C217, -C100)
V926  = ( C100, -C351,  C217)
V927  = ( C100,  C351, -C217)
V928  = (-C100,  C351,  C217)
V929  = (-C100, -C351, -C217)
V930  = (  C52, -C240,  C350)
V931  = (  C52,  C240, -C350)
V932  = ( -C52,  C240,  C350)
V933  = ( -C52, -C240, -C350)
V934  = ( C350,  -C52,  C240)
V935  = ( C350,   C52, -C240)
V936  = (-C350,   C52,  C240)
V937  = (-C350,  -C52, -C240)
V938  = ( C240, -C350,   C52)
V939  = ( C240,  C350,  -C52)
V940  = (-C240,  C350,   C52)
V941  = (-C240, -C350,  -C52)
V942  = ( C155,  C189,  C349)
V943  = ( C155, -C189, -C349)
V944  = (-C155, -C189,  C349)
V945  = (-C155,  C189, -C349)
V946  = ( C349,  C155,  C189)
V947  = ( C349, -C155, -C189)
V948  = (-C349, -C155,  C189)
V949  = (-C349,  C155, -C189)
V950  = ( C189,  C349,  C155)
V951  = ( C189, -C349, -C155)
V952  = (-C189, -C349,  C155)
V953  = (-C189,  C349, -C155)
V954  = ( C167, -C177,  C348)
V955  = ( C167,  C177, -C348)
V956  = (-C167,  C177,  C348)
V957  = (-C167, -C177, -C348)
V958  = ( C348, -C167,  C177)
V959  = ( C348,  C167, -C177)
V960  = (-C348,  C167,  C177)
V961  = (-C348, -C167, -C177)
V962  = ( C177, -C348,  C167)
V963  = ( C177,  C348, -C167)
V964  = (-C177,  C348,  C167)
V965  = (-C177, -C348, -C167)
V966  = ( C185,  C158,  C347)
V967  = ( C185, -C158, -C347)
V968  = (-C185, -C158,  C347)
V969  = (-C185,  C158, -C347)
V970  = ( C347,  C185,  C158)
V971  = ( C347, -C185, -C158)
V972  = (-C347, -C185,  C158)
V973  = (-C347,  C185, -C158)
V974  = ( C158,  C347,  C185)
V975  = ( C158, -C347, -C185)
V976  = (-C158, -C347,  C185)
V977  = (-C158,  C347, -C185)
V978  = (  C22,  C251,  C346)
V979  = (  C22, -C251, -C346)
V980  = ( -C22, -C251,  C346)
V981  = ( -C22,  C251, -C346)
V982  = ( C346,   C22,  C251)
V983  = ( C346,  -C22, -C251)
V984  = (-C346,  -C22,  C251)
V985  = (-C346,   C22, -C251)
V986  = ( C251,  C346,   C22)
V987  = ( C251, -C346,  -C22)
V988  = (-C251, -C346,   C22)
V989  = (-C251,  C346,  -C22)
V990  = ( C125,  C214,  C345)
V991  = ( C125,  C214, -C345)
V992  = ( C125, -C214,  C345)
V993  = ( C125, -C214, -C345)
V994  = (-C125,  C214,  C345)
V995  = (-C125,  C214, -C345)
V996  = (-C125, -C214,  C345)
V997  = (-C125, -C214, -C345)
V998  = ( C345,  C125,  C214)
V999  = ( C345,  C125, -C214)
V1000 = ( C345, -C125,  C214)
V1001 = ( C345, -C125, -C214)
V1002 = (-C345,  C125,  C214)
V1003 = (-C345,  C125, -C214)
V1004 = (-C345, -C125,  C214)
V1005 = (-C345, -C125, -C214)
V1006 = ( C214,  C345,  C125)
V1007 = ( C214,  C345, -C125)
V1008 = ( C214, -C345,  C125)
V1009 = ( C214, -C345, -C125)
V1010 = (-C214,  C345,  C125)
V1011 = (-C214,  C345, -C125)
V1012 = (-C214, -C345,  C125)
V1013 = (-C214, -C345, -C125)
V1014 = ( C215,  C130,  C344)
V1015 = ( C215, -C130, -C344)
V1016 = (-C215, -C130,  C344)
V1017 = (-C215,  C130, -C344)
V1018 = ( C344,  C215,  C130)
V1019 = ( C344, -C215, -C130)
V1020 = (-C344, -C215,  C130)
V1021 = (-C344,  C215, -C130)
V1022 = ( C130,  C344,  C215)
V1023 = ( C130, -C344, -C215)
V1024 = (-C130, -C344,  C215)
V1025 = (-C130,  C344, -C215)
V1026 = ( C205, -C138,  C343)
V1027 = ( C205,  C138, -C343)
V1028 = (-C205,  C138,  C343)
V1029 = (-C205, -C138, -C343)
V1030 = ( C343, -C205,  C138)
V1031 = ( C343,  C205, -C138)
V1032 = (-C343,  C205,  C138)
V1033 = (-C343, -C205, -C138)
V1034 = ( C138, -C343,  C205)
V1035 = ( C138,  C343, -C205)
V1036 = (-C138,  C343,  C205)
V1037 = (-C138, -C343, -C205)
V1038 = (  C96,  C236,  C342)
V1039 = (  C96, -C236, -C342)
V1040 = ( -C96, -C236,  C342)
V1041 = ( -C96,  C236, -C342)
V1042 = ( C342,   C96,  C236)
V1043 = ( C342,  -C96, -C236)
V1044 = (-C342,  -C96,  C236)
V1045 = (-C342,   C96, -C236)
V1046 = ( C236,  C342,   C96)
V1047 = ( C236, -C342,  -C96)
V1048 = (-C236, -C342,   C96)
V1049 = (-C236,  C342,  -C96)
V1050 = ( C255,   C47,  C341)
V1051 = ( C255,  -C47, -C341)
V1052 = (-C255,  -C47,  C341)
V1053 = (-C255,   C47, -C341)
V1054 = ( C341,  C255,   C47)
V1055 = ( C341, -C255,  -C47)
V1056 = (-C341, -C255,   C47)
V1057 = (-C341,  C255,  -C47)
V1058 = (  C47,  C341,  C255)
V1059 = (  C47, -C341, -C255)
V1060 = ( -C47, -C341,  C255)
V1061 = ( -C47,  C341, -C255)
V1062 = (  C87, -C245,  C340)
V1063 = (  C87,  C245, -C340)
V1064 = ( -C87,  C245,  C340)
V1065 = ( -C87, -C245, -C340)
V1066 = ( C340,  -C87,  C245)
V1067 = ( C340,   C87, -C245)
V1068 = (-C340,   C87,  C245)
V1069 = (-C340,  -C87, -C245)
V1070 = ( C245, -C340,   C87)
V1071 = ( C245,  C340,  -C87)
V1072 = (-C245,  C340,   C87)
V1073 = (-C245, -C340,  -C87)
V1074 = (   C9, -C267,  C339)
V1075 = (   C9,  C267, -C339)
V1076 = (  -C9,  C267,  C339)
V1077 = (  -C9, -C267, -C339)
V1078 = ( C339,   -C9,  C267)
V1079 = ( C339,    C9, -C267)
V1080 = (-C339,    C9,  C267)
V1081 = (-C339,   -C9, -C267)
V1082 = ( C267, -C339,    C9)
V1083 = ( C267,  C339,   -C9)
V1084 = (-C267,  C339,    C9)
V1085 = (-C267, -C339,   -C9)
V1086 = (  C71,  C259,  C338)
V1087 = (  C71, -C259, -C338)
V1088 = ( -C71, -C259,  C338)
V1089 = ( -C71,  C259, -C338)
V1090 = ( C338,   C71,  C259)
V1091 = ( C338,  -C71, -C259)
V1092 = (-C338,  -C71,  C259)
V1093 = (-C338,   C71, -C259)
V1094 = ( C259,  C338,   C71)
V1095 = ( C259, -C338,  -C71)
V1096 = (-C259, -C338,   C71)
V1097 = (-C259,  C338,  -C71)
V1098 = ( C244,  C106,  C337)
V1099 = ( C244, -C106, -C337)
V1100 = (-C244, -C106,  C337)
V1101 = (-C244,  C106, -C337)
V1102 = ( C337,  C244,  C106)
V1103 = ( C337, -C244, -C106)
V1104 = (-C337, -C244,  C106)
V1105 = (-C337,  C244, -C106)
V1106 = ( C106,  C337,  C244)
V1107 = ( C106, -C337, -C244)
V1108 = (-C106, -C337,  C244)
V1109 = (-C106,  C337, -C244)
V1110 = ( C266,  -C63,  C336)
V1111 = ( C266,   C63, -C336)
V1112 = (-C266,   C63,  C336)
V1113 = (-C266,  -C63, -C336)
V1114 = ( C336, -C266,   C63)
V1115 = ( C336,  C266,  -C63)
V1116 = (-C336,  C266,   C63)
V1117 = (-C336, -C266,  -C63)
V1118 = (  C63, -C336,  C266)
V1119 = (  C63,  C336, -C266)
V1120 = ( -C63,  C336,  C266)
V1121 = ( -C63, -C336, -C266)
V1122 = ( C159, -C211,  C335)
V1123 = ( C159,  C211, -C335)
V1124 = (-C159,  C211,  C335)
V1125 = (-C159, -C211, -C335)
V1126 = ( C335, -C159,  C211)
V1127 = ( C335,  C159, -C211)
V1128 = (-C335,  C159,  C211)
V1129 = (-C335, -C159, -C211)
V1130 = ( C211, -C335,  C159)
V1131 = ( C211,  C335, -C159)
V1132 = (-C211,  C335,  C159)
V1133 = (-C211, -C335, -C159)
V1134 = ( C197, -C174,  C334)
V1135 = ( C197,  C174, -C334)
V1136 = (-C197,  C174,  C334)
V1137 = (-C197, -C174, -C334)
V1138 = ( C334, -C197,  C174)
V1139 = ( C334,  C197, -C174)
V1140 = (-C334,  C197,  C174)
V1141 = (-C334, -C197, -C174)
V1142 = ( C174, -C334,  C197)
V1143 = ( C174,  C334, -C197)
V1144 = (-C174,  C334,  C197)
V1145 = (-C174, -C334, -C197)
V1146 = ( C277,  -C17,  C333)
V1147 = ( C277,   C17, -C333)
V1148 = (-C277,   C17,  C333)
V1149 = (-C277,  -C17, -C333)
V1150 = ( C333, -C277,   C17)
V1151 = ( C333,  C277,  -C17)
V1152 = (-C333,  C277,   C17)
V1153 = (-C333, -C277,  -C17)
V1154 = (  C17, -C333,  C277)
V1155 = (  C17,  C333, -C277)
V1156 = ( -C17,  C333,  C277)
V1157 = ( -C17, -C333, -C277)
V1158 = ( C252, -C103,  C332)
V1159 = ( C252,  C103, -C332)
V1160 = (-C252,  C103,  C332)
V1161 = (-C252, -C103, -C332)
V1162 = ( C332, -C252,  C103)
V1163 = ( C332,  C252, -C103)
V1164 = (-C332,  C252,  C103)
V1165 = (-C332, -C252, -C103)
V1166 = ( C103, -C332,  C252)
V1167 = ( C103,  C332, -C252)
V1168 = (-C103,  C332,  C252)
V1169 = (-C103, -C332, -C252)
V1170 = (  C44, -C274,  C331)
V1171 = (  C44,  C274, -C331)
V1172 = ( -C44,  C274,  C331)
V1173 = ( -C44, -C274, -C331)
V1174 = ( C331,  -C44,  C274)
V1175 = ( C331,   C44, -C274)
V1176 = (-C331,   C44,  C274)
V1177 = (-C331,  -C44, -C274)
V1178 = ( C274, -C331,   C44)
V1179 = ( C274,  C331,  -C44)
V1180 = (-C274,  C331,   C44)
V1181 = (-C274, -C331,  -C44)
V1182 = ( C121, -C248,  C330)
V1183 = ( C121,  C248, -C330)
V1184 = (-C121,  C248,  C330)
V1185 = (-C121, -C248, -C330)
V1186 = ( C330, -C121,  C248)
V1187 = ( C330,  C121, -C248)
V1188 = (-C330,  C121,  C248)
V1189 = (-C330, -C121, -C248)
V1190 = ( C248, -C330,  C121)
V1191 = ( C248,  C330, -C121)
V1192 = (-C248,  C330,  C121)
V1193 = (-C248, -C330, -C121)
V1194 = ( C171,  C208,  C329)
V1195 = ( C171, -C208, -C329)
V1196 = (-C171, -C208,  C329)
V1197 = (-C171,  C208, -C329)
V1198 = ( C329,  C171,  C208)
V1199 = ( C329, -C171, -C208)
V1200 = (-C329, -C171,  C208)
V1201 = (-C329,  C171, -C208)
V1202 = ( C208,  C329,  C171)
V1203 = ( C208, -C329, -C171)
V1204 = (-C208, -C329,  C171)
V1205 = (-C208,  C329, -C171)
V1206 = ( C198,  C186,  C328)
V1207 = ( C198, -C186, -C328)
V1208 = (-C198, -C186,  C328)
V1209 = (-C198,  C186, -C328)
V1210 = ( C328,  C198,  C186)
V1211 = ( C328, -C198, -C186)
V1212 = (-C328, -C198,  C186)
V1213 = (-C328,  C198, -C186)
V1214 = ( C186,  C328,  C198)
V1215 = ( C186, -C328, -C198)
V1216 = (-C186, -C328,  C198)
V1217 = (-C186,  C328, -C198)
V1218 = (  C38,  C281,  C327)
V1219 = (  C38, -C281, -C327)
V1220 = ( -C38, -C281,  C327)
V1221 = ( -C38,  C281, -C327)
V1222 = ( C327,   C38,  C281)
V1223 = ( C327,  -C38, -C281)
V1224 = (-C327,  -C38,  C281)
V1225 = (-C327,   C38, -C281)
V1226 = ( C281,  C327,   C38)
V1227 = ( C281, -C327,  -C38)
V1228 = (-C281, -C327,   C38)
V1229 = (-C281,  C327,  -C38)
V1230 = ( C148,  C234,  C326)
V1231 = ( C148, -C234, -C326)
V1232 = (-C148, -C234,  C326)
V1233 = (-C148,  C234, -C326)
V1234 = ( C326,  C148,  C234)
V1235 = ( C326, -C148, -C234)
V1236 = (-C326, -C148,  C234)
V1237 = (-C326,  C148, -C234)
V1238 = ( C234,  C326,  C148)
V1239 = ( C234, -C326, -C148)
V1240 = (-C234, -C326,  C148)
V1241 = (-C234,  C326, -C148)
V1242 = ( C242, -C141,  C325)
V1243 = ( C242,  C141, -C325)
V1244 = (-C242,  C141,  C325)
V1245 = (-C242, -C141, -C325)
V1246 = ( C325, -C242,  C141)
V1247 = ( C325,  C242, -C141)
V1248 = (-C325,  C242,  C141)
V1249 = (-C325, -C242, -C141)
V1250 = ( C141, -C325,  C242)
V1251 = ( C141,  C325, -C242)
V1252 = (-C141,  C325,  C242)
V1253 = (-C141, -C325, -C242)
V1254 = ( C227,  C156,  C324)
V1255 = ( C227, -C156, -C324)
V1256 = (-C227, -C156,  C324)
V1257 = (-C227,  C156, -C324)
V1258 = ( C324,  C227,  C156)
V1259 = ( C324, -C227, -C156)
V1260 = (-C324, -C227,  C156)
V1261 = (-C324,  C227, -C156)
V1262 = ( C156,  C324,  C227)
V1263 = ( C156, -C324, -C227)
V1264 = (-C156, -C324,  C227)
V1265 = (-C156,  C324, -C227)
V1266 = ( C276,   C81,  C323)
V1267 = ( C276,  -C81, -C323)
V1268 = (-C276,  -C81,  C323)
V1269 = (-C276,   C81, -C323)
V1270 = ( C323,  C276,   C81)
V1271 = ( C323, -C276,  -C81)
V1272 = (-C323, -C276,   C81)
V1273 = (-C323,  C276,  -C81)
V1274 = (  C81,  C323,  C276)
V1275 = (  C81, -C323, -C276)
V1276 = ( -C81, -C323,  C276)
V1277 = ( -C81,  C323, -C276)
V1278 = ( C118,  C260,  C322)
V1279 = ( C118, -C260, -C322)
V1280 = (-C118, -C260,  C322)
V1281 = (-C118,  C260, -C322)
V1282 = ( C322,  C118,  C260)
V1283 = ( C322, -C118, -C260)
V1284 = (-C322, -C118,  C260)
V1285 = (-C322,  C118, -C260)
V1286 = ( C260,  C322,  C118)
V1287 = ( C260, -C322, -C118)
V1288 = (-C260, -C322,  C118)
V1289 = (-C260,  C322, -C118)
V1290 = (  C79, -C279,  C321)
V1291 = (  C79,  C279, -C321)
V1292 = ( -C79,  C279,  C321)
V1293 = ( -C79, -C279, -C321)
V1294 = ( C321,  -C79,  C279)
V1295 = ( C321,   C79, -C279)
V1296 = (-C321,   C79,  C279)
V1297 = (-C321,  -C79, -C279)
V1298 = ( C279, -C321,   C79)
V1299 = ( C279,  C321,  -C79)
V1300 = (-C279,  C321,   C79)
V1301 = (-C279, -C321,  -C79)
V1302 = ( C292,   C23,  C320)
V1303 = ( C292,  -C23, -C320)
V1304 = (-C292,  -C23,  C320)
V1305 = (-C292,   C23, -C320)
V1306 = ( C320,  C292,   C23)
V1307 = ( C320, -C292,  -C23)
V1308 = (-C320, -C292,   C23)
V1309 = (-C320,  C292,  -C23)
V1310 = (  C23,  C320,  C292)
V1311 = (  C23, -C320, -C292)
V1312 = ( -C23, -C320,  C292)
V1313 = ( -C23,  C320, -C292)
V1314 = ( C195, -C207,  C319)
V1315 = ( C195,  C207, -C319)
V1316 = (-C195,  C207,  C319)
V1317 = (-C195, -C207, -C319)
V1318 = ( C319, -C195,  C207)
V1319 = ( C319,  C195, -C207)
V1320 = (-C319,  C195,  C207)
V1321 = (-C319, -C195, -C207)
V1322 = ( C207, -C319,  C195)
V1323 = ( C207,  C319, -C195)
V1324 = (-C207,  C319,  C195)
V1325 = (-C207, -C319, -C195)
V1326 = (   C1,  C295,  C318)
V1327 = (   C1, -C295, -C318)
V1328 = (  -C1, -C295,  C318)
V1329 = (  -C1,  C295, -C318)
V1330 = ( C318,    C1,  C295)
V1331 = ( C318,   -C1, -C295)
V1332 = (-C318,   -C1,  C295)
V1333 = (-C318,    C1, -C295)
V1334 = ( C295,  C318,    C1)
V1335 = ( C295, -C318,   -C1)
V1336 = (-C295, -C318,    C1)
V1337 = (-C295,  C318,   -C1)
V1338 = ( C154, -C243,  C317)
V1339 = ( C154,  C243, -C317)
V1340 = (-C154,  C243,  C317)
V1341 = (-C154, -C243, -C317)
V1342 = ( C317, -C154,  C243)
V1343 = ( C317,  C154, -C243)
V1344 = (-C317,  C154,  C243)
V1345 = (-C317, -C154, -C243)
V1346 = ( C243, -C317,  C154)
V1347 = ( C243,  C317, -C154)
V1348 = (-C243,  C317,  C154)
V1349 = (-C243, -C317, -C154)
V1350 = ( C261,  C133,  C316)
V1351 = ( C261, -C133, -C316)
V1352 = (-C261, -C133,  C316)
V1353 = (-C261,  C133, -C316)
V1354 = ( C316,  C261,  C133)
V1355 = ( C316, -C261, -C133)
V1356 = (-C316, -C261,  C133)
V1357 = (-C316,  C261, -C133)
V1358 = ( C133,  C316,  C261)
V1359 = ( C133, -C316, -C261)
V1360 = (-C133, -C316,  C261)
V1361 = (-C133,  C316, -C261)
V1362 = ( C230, -C173,  C315)
V1363 = ( C230,  C173, -C315)
V1364 = (-C230,  C173,  C315)
V1365 = (-C230, -C173, -C315)
V1366 = ( C315, -C230,  C173)
V1367 = ( C315,  C230, -C173)
V1368 = (-C315,  C230,  C173)
V1369 = (-C315, -C230, -C173)
V1370 = ( C173, -C315,  C230)
V1371 = ( C173,  C315, -C230)
V1372 = (-C173,  C315,  C230)
V1373 = (-C173, -C315, -C230)
V1374 = (  C89,  C284,  C314)
V1375 = (  C89, -C284, -C314)
V1376 = ( -C89, -C284,  C314)
V1377 = ( -C89,  C284, -C314)
V1378 = ( C314,   C89,  C284)
V1379 = ( C314,  -C89, -C284)
V1380 = (-C314,  -C89,  C284)
V1381 = (-C314,   C89, -C284)
V1382 = ( C284,  C314,   C89)
V1383 = ( C284, -C314,  -C89)
V1384 = (-C284, -C314,   C89)
V1385 = (-C284,  C314,  -C89)
V1386 = ( C116, -C278,  C313)
V1387 = ( C116,  C278, -C313)
V1388 = (-C116,  C278,  C313)
V1389 = (-C116, -C278, -C313)
V1390 = ( C313, -C116,  C278)
V1391 = ( C313,  C116, -C278)
V1392 = (-C313,  C116,  C278)
V1393 = (-C313, -C116, -C278)
V1394 = ( C278, -C313,  C116)
V1395 = ( C278,  C313, -C116)
V1396 = (-C278,  C313,  C116)
V1397 = (-C278, -C313, -C116)
V1398 = (  C32, -C304,  C312)
V1399 = (  C32,  C304, -C312)
V1400 = ( -C32,  C304,  C312)
V1401 = ( -C32, -C304, -C312)
V1402 = ( C312,  -C32,  C304)
V1403 = ( C312,   C32, -C304)
V1404 = (-C312,   C32,  C304)
V1405 = (-C312,  -C32, -C304)
V1406 = ( C304, -C312,   C32)
V1407 = ( C304,  C312,  -C32)
V1408 = (-C304,  C312,   C32)
V1409 = (-C304, -C312,  -C32)
V1410 = ( C194,  C226,  C311)
V1411 = ( C194, -C226, -C311)
V1412 = (-C194, -C226,  C311)
V1413 = (-C194,  C226, -C311)
V1414 = ( C311,  C194,  C226)
V1415 = ( C311, -C194, -C226)
V1416 = (-C311, -C194,  C226)
V1417 = (-C311,  C194, -C226)
V1418 = ( C226,  C311,  C194)
V1419 = ( C226, -C311, -C194)
V1420 = (-C226, -C311,  C194)
V1421 = (-C226,  C311, -C194)
V1422 = ( C296,  -C72,  C310)
V1423 = ( C296,   C72, -C310)
V1424 = (-C296,   C72,  C310)
V1425 = (-C296,  -C72, -C310)
V1426 = ( C310, -C296,   C72)
V1427 = ( C310,  C296,  -C72)
V1428 = (-C310,  C296,   C72)
V1429 = (-C310, -C296,  -C72)
V1430 = (  C72, -C310,  C296)
V1431 = (  C72,  C310, -C296)
V1432 = ( -C72,  C310,  C296)
V1433 = ( -C72, -C310, -C296)
V1434 = ( C218,  C201,  C309)
V1435 = ( C218, -C201, -C309)
V1436 = (-C218, -C201,  C309)
V1437 = (-C218,  C201, -C309)
V1438 = ( C309,  C218,  C201)
V1439 = ( C309, -C218, -C201)
V1440 = (-C309, -C218,  C201)
V1441 = (-C309,  C218, -C201)
V1442 = ( C201,  C309,  C218)
V1443 = ( C201, -C309, -C218)
V1444 = (-C201, -C309,  C218)
V1445 = (-C201,  C309, -C218)
V1446 = ( C289, -C109,  C308)
V1447 = ( C289,  C109, -C308)
V1448 = (-C289,  C109,  C308)
V1449 = (-C289, -C109, -C308)
V1450 = ( C308, -C289,  C109)
V1451 = ( C308,  C289, -C109)
V1452 = (-C308,  C289,  C109)
V1453 = (-C308, -C289, -C109)
V1454 = ( C109, -C308,  C289)
V1455 = ( C109,  C308, -C289)
V1456 = (-C109,  C308,  C289)
V1457 = (-C109, -C308, -C289)
V1458 = ( C166,  C253,  C307)
V1459 = ( C166, -C253, -C307)
V1460 = (-C166, -C253,  C307)
V1461 = (-C166,  C253, -C307)
V1462 = ( C307,  C166,  C253)
V1463 = ( C307, -C166, -C253)
V1464 = (-C307, -C166,  C253)
V1465 = (-C307,  C166, -C253)
V1466 = ( C253,  C307,  C166)
V1467 = ( C253, -C307, -C166)
V1468 = (-C253, -C307,  C166)
V1469 = (-C253,  C307, -C166)
V1470 = (  C56,  C303,  C306)
V1471 = (  C56, -C303, -C306)
V1472 = ( -C56, -C303,  C306)
V1473 = ( -C56,  C303, -C306)
V1474 = ( C306,   C56,  C303)
V1475 = ( C306,  -C56, -C303)
V1476 = (-C306,  -C56,  C303)
V1477 = (-C306,   C56, -C303)
V1478 = ( C303,  C306,   C56)
V1479 = ( C303, -C306,  -C56)
V1480 = (-C303, -C306,   C56)
V1481 = (-C303,  C306,  -C56)
V1482 = ( C188, -C239,  C305)
V1483 = ( C188,  C239, -C305)
V1484 = (-C188,  C239,  C305)
V1485 = (-C188, -C239, -C305)
V1486 = ( C305, -C188,  C239)
V1487 = ( C305,  C188, -C239)
V1488 = (-C305,  C188,  C239)
V1489 = (-C305, -C188, -C239)
V1490 = ( C239, -C305,  C188)
V1491 = ( C239,  C305, -C188)
V1492 = (-C239,  C305,  C188)
V1493 = (-C239, -C305, -C188)
V1494 = ( C222, -C204,  C302)
V1495 = ( C222,  C204, -C302)
V1496 = (-C222,  C204,  C302)
V1497 = (-C222, -C204, -C302)
V1498 = ( C302, -C222,  C204)
V1499 = ( C302,  C222, -C204)
V1500 = (-C302,  C222,  C204)
V1501 = (-C302, -C222, -C204)
V1502 = ( C204, -C302,  C222)
V1503 = ( C204,  C302, -C222)
V1504 = (-C204,  C302,  C222)
V1505 = (-C204, -C302, -C222)
V1506 = ( C247,  C184,  C301)
V1507 = ( C247, -C184, -C301)
V1508 = (-C247, -C184,  C301)
V1509 = (-C247,  C184, -C301)
V1510 = ( C301,  C247,  C184)
V1511 = ( C301, -C247, -C184)
V1512 = (-C301, -C247,  C184)
V1513 = (-C301,  C247, -C184)
V1514 = ( C184,  C301,  C247)
V1515 = ( C184, -C301, -C247)
V1516 = (-C184, -C301,  C247)
V1517 = (-C184,  C301, -C247)
V1518 = ( C291,  C112,  C300)
V1519 = ( C291, -C112, -C300)
V1520 = (-C291, -C112,  C300)
V1521 = (-C291,  C112, -C300)
V1522 = ( C300,  C291,  C112)
V1523 = ( C300, -C291, -C112)
V1524 = (-C300, -C291,  C112)
V1525 = (-C300,  C291, -C112)
V1526 = ( C112,  C300,  C291)
V1527 = ( C112, -C300, -C291)
V1528 = (-C112, -C300,  C291)
V1529 = (-C112,  C300, -C291)
V1530 = ( C273, -C143,  C299)
V1531 = ( C273,  C143, -C299)
V1532 = (-C273,  C143,  C299)
V1533 = (-C273, -C143, -C299)
V1534 = ( C299, -C273,  C143)
V1535 = ( C299,  C273, -C143)
V1536 = (-C299,  C273,  C143)
V1537 = (-C299, -C273, -C143)
V1538 = ( C143, -C299,  C273)
V1539 = ( C143,  C299, -C273)
V1540 = (-C143,  C299,  C273)
V1541 = (-C143, -C299, -C273)
V1542 = ( C137,  C280,  C298)
V1543 = ( C137, -C280, -C298)
V1544 = (-C137, -C280,  C298)
V1545 = (-C137,  C280, -C298)
V1546 = ( C298,  C137,  C280)
V1547 = ( C298, -C137, -C280)
V1548 = (-C298, -C137,  C280)
V1549 = (-C298,  C137, -C280)
V1550 = ( C280,  C298,  C137)
V1551 = ( C280, -C298, -C137)
V1552 = (-C280, -C298,  C137)
V1553 = (-C280,  C298, -C137)
V1554 = ( C152, -C275,  C297)
V1555 = ( C152,  C275, -C297)
V1556 = (-C152,  C275,  C297)
V1557 = (-C152, -C275, -C297)
V1558 = ( C297, -C152,  C275)
V1559 = ( C297,  C152, -C275)
V1560 = (-C297,  C152,  C275)
V1561 = (-C297, -C152, -C275)
V1562 = ( C275, -C297,  C152)
V1563 = ( C275,  C297, -C152)
V1564 = (-C275,  C297,  C152)
V1565 = (-C275, -C297, -C152)
V1566 = ( C262, -C178,  C294)
V1567 = ( C262,  C178, -C294)
V1568 = (-C262,  C178,  C294)
V1569 = (-C262, -C178, -C294)
V1570 = ( C294, -C262,  C178)
V1571 = ( C294,  C262, -C178)
V1572 = (-C294,  C262,  C178)
V1573 = (-C294, -C262, -C178)
V1574 = ( C178, -C294,  C262)
V1575 = ( C178,  C294, -C262)
V1576 = (-C178,  C294,  C262)
V1577 = (-C178, -C294, -C262)
V1578 = ( C272,  C161,  C293)
V1579 = ( C272, -C161, -C293)
V1580 = (-C272, -C161,  C293)
V1581 = (-C272,  C161, -C293)
V1582 = ( C293,  C272,  C161)
V1583 = ( C293, -C272, -C161)
V1584 = (-C293, -C272,  C161)
V1585 = (-C293,  C272, -C161)
V1586 = ( C161,  C293,  C272)
V1587 = ( C161, -C293, -C272)
V1588 = (-C161, -C293,  C272)
V1589 = (-C161,  C293, -C272)
V1590 = ( C216, -C235,  C290)
V1591 = ( C216,  C235, -C290)
V1592 = (-C216,  C235,  C290)
V1593 = (-C216, -C235, -C290)
V1594 = ( C290, -C216,  C235)
V1595 = ( C290,  C216, -C235)
V1596 = (-C290,  C216,  C235)
V1597 = (-C290, -C216, -C235)
V1598 = ( C235, -C290,  C216)
V1599 = ( C235,  C290, -C216)
V1600 = (-C235,  C290,  C216)
V1601 = (-C235, -C290, -C216)
V1602 = ( C206,  C246,  C288)
V1603 = ( C206, -C246, -C288)
V1604 = (-C206, -C246,  C288)
V1605 = (-C206,  C246, -C288)
V1606 = ( C288,  C206,  C246)
V1607 = ( C288, -C206, -C246)
V1608 = (-C288, -C206,  C246)
V1609 = (-C288,  C206, -C246)
V1610 = ( C246,  C288,  C206)
V1611 = ( C246, -C288, -C206)
V1612 = (-C246, -C288,  C206)
V1613 = (-C246,  C288, -C206)
V1614 = ( C182, -C268,  C287)
V1615 = ( C182,  C268, -C287)
V1616 = (-C182,  C268,  C287)
V1617 = (-C182, -C268, -C287)
V1618 = ( C287, -C182,  C268)
V1619 = ( C287,  C182, -C268)
V1620 = (-C287,  C182,  C268)
V1621 = (-C287, -C182, -C268)
V1622 = ( C268, -C287,  C182)
V1623 = ( C268,  C287, -C182)
V1624 = (-C268,  C287,  C182)
V1625 = (-C268, -C287, -C182)
V1626 = ( C228,  C224,  C286)
V1627 = ( C228, -C224, -C286)
V1628 = (-C228, -C224,  C286)
V1629 = (-C228,  C224, -C286)
V1630 = ( C286,  C228,  C224)
V1631 = ( C286, -C228, -C224)
V1632 = (-C286, -C228,  C224)
V1633 = (-C286,  C228, -C224)
V1634 = ( C224,  C286,  C228)
V1635 = ( C224, -C286, -C228)
V1636 = (-C224, -C286,  C228)
V1637 = (-C224,  C286, -C228)
V1638 = ( C250, -C202,  C285)
V1639 = ( C250,  C202, -C285)
V1640 = (-C250,  C202,  C285)
V1641 = (-C250, -C202, -C285)
V1642 = ( C285, -C250,  C202)
V1643 = ( C285,  C250, -C202)
V1644 = (-C285,  C250,  C202)
V1645 = (-C285, -C250, -C202)
V1646 = ( C202, -C285,  C250)
V1647 = ( C202,  C285, -C250)
V1648 = (-C202,  C285,  C250)
V1649 = (-C202, -C285, -C250)
V1650 = ( C187,  C269,  C283)
V1651 = ( C187, -C269, -C283)
V1652 = (-C187, -C269,  C283)
V1653 = (-C187,  C269, -C283)
V1654 = ( C283,  C187,  C269)
V1655 = ( C283, -C187, -C269)
V1656 = (-C283, -C187,  C269)
V1657 = (-C283,  C187, -C269)
V1658 = ( C269,  C283,  C187)
V1659 = ( C269, -C283, -C187)
V1660 = (-C269, -C283,  C187)
V1661 = (-C269,  C283, -C187)
V1662 = ( C256,  C200,  C282)
V1663 = ( C256, -C200, -C282)
V1664 = (-C256, -C200,  C282)
V1665 = (-C256,  C200, -C282)
V1666 = ( C282,  C256,  C200)
V1667 = ( C282, -C256, -C200)
V1668 = (-C282, -C256,  C200)
V1669 = (-C282,  C256, -C200)
V1670 = ( C200,  C282,  C256)
V1671 = ( C200, -C282, -C256)
V1672 = (-C200, -C282,  C256)
V1673 = (-C200,  C282, -C256)
V1674 = ( C237, -C229,  C271)
V1675 = ( C237,  C229, -C271)
V1676 = (-C237,  C229,  C271)
V1677 = (-C237, -C229, -C271)
V1678 = ( C271, -C237,  C229)
V1679 = ( C271,  C237, -C229)
V1680 = (-C271,  C237,  C229)
V1681 = (-C271, -C237, -C229)
V1682 = ( C229, -C271,  C237)
V1683 = ( C229,  C271, -C237)
V1684 = (-C229,  C271,  C237)
V1685 = (-C229, -C271, -C237)
V1686 = ( C209, -C263,  C270)
V1687 = ( C209,  C263, -C270)
V1688 = (-C209,  C263,  C270)
V1689 = (-C209, -C263, -C270)
V1690 = ( C270, -C209,  C263)
V1691 = ( C270,  C209, -C263)
V1692 = (-C270,  C209,  C263)
V1693 = (-C270, -C209, -C263)
V1694 = ( C263, -C270,  C209)
V1695 = ( C263,  C270, -C209)
V1696 = (-C263,  C270,  C209)
V1697 = (-C263, -C270, -C209)
V1698 = ( C241,  C238,  C265)
V1699 = ( C241, -C238, -C265)
V1700 = (-C241, -C238,  C265)
V1701 = (-C241,  C238, -C265)
V1702 = ( C265,  C241,  C238)
V1703 = ( C265, -C241, -C238)
V1704 = (-C265, -C241,  C238)
V1705 = (-C265,  C241, -C238)
V1706 = ( C238,  C265,  C241)
V1707 = ( C238, -C265, -C241)
V1708 = (-C238, -C265,  C241)
V1709 = (-C238,  C265, -C241)
V1710 = ( C223,  C257,  C264)
V1711 = ( C223, -C257, -C264)
V1712 = (-C223, -C257,  C264)
V1713 = (-C223,  C257, -C264)
V1714 = ( C264,  C223,  C257)
V1715 = ( C264, -C223, -C257)
V1716 = (-C264, -C223,  C257)
V1717 = (-C264,  C223, -C257)
V1718 = ( C257,  C264,  C223)
V1719 = ( C257, -C264, -C223)
V1720 = (-C257, -C264,  C223)
V1721 = (-C257,  C264, -C223)
V1722 = ( C231, -C254,  C258)
V1723 = ( C231,  C254, -C258)
V1724 = (-C231,  C254,  C258)
V1725 = (-C231, -C254, -C258)
V1726 = ( C258, -C231,  C254)
V1727 = ( C258,  C231, -C254)
V1728 = (-C258,  C231,  C254)
V1729 = (-C258, -C231, -C254)
V1730 = ( C254, -C258,  C231)
V1731 = ( C254,  C258, -C231)
V1732 = (-C254,  C258,  C231)
V1733 = (-C254, -C258, -C231)
V1734 = ( C249,  C249,  C249)
V1735 = ( C249,  C249, -C249)
V1736 = ( C249, -C249,  C249)
V1737 = ( C249, -C249, -C249)
V1738 = (-C249,  C249,  C249)
V1739 = (-C249,  C249, -C249)
V1740 = (-C249, -C249,  C249)
V1741 = (-C249, -C249, -C249)

Faces:
{  798,  486,  606,  858 }
{  798,  858, 1110, 1146 }
{  798, 1146, 1302, 1050 }
{  798, 1050,  894,  642 }
{  798,  642,  426,  486 }
{  799,  487,  607,  859 }
{  799,  859, 1111, 1147 }
{  799, 1147, 1303, 1051 }
{  799, 1051,  895,  643 }
{  799,  643,  427,  487 }
{  800,  488,  608,  860 }
{  800,  860, 1112, 1148 }
{  800, 1148, 1304, 1052 }
{  800, 1052,  896,  644 }
{  800,  644,  428,  488 }
{  801,  489,  609,  861 }
{  801,  861, 1113, 1149 }
{  801, 1149, 1305, 1053 }
{  801, 1053,  897,  645 }
{  801,  645,  429,  489 }
{  802,  491,  611,  863 }
{  802,  863, 1115, 1151 }
{  802, 1151, 1306, 1054 }
{  802, 1054,  898,  646 }
{  802,  646,  430,  491 }
{  803,  490,  610,  862 }
{  803,  862, 1114, 1150 }
{  803, 1150, 1307, 1055 }
{  803, 1055,  899,  647 }
{  803,  647,  431,  490 }
{  804,  492,  612,  864 }
{  804,  864, 1116, 1152 }
{  804, 1152, 1309, 1057 }
{  804, 1057,  901,  649 }
{  804,  649,  433,  492 }
{  805,  493,  613,  865 }
{  805,  865, 1117, 1153 }
{  805, 1153, 1308, 1056 }
{  805, 1056,  900,  648 }
{  805,  648,  432,  493 }
{  806,  496,  616,  868 }
{  806,  868, 1120, 1156 }
{  806, 1156, 1310, 1058 }
{  806, 1058,  902,  650 }
{  806,  650,  434,  496 }
{  807,  495,  615,  867 }
{  807,  867, 1119, 1155 }
{  807, 1155, 1313, 1061 }
{  807, 1061,  905,  653 }
{  807,  653,  437,  495 }
{  808,  494,  614,  866 }
{  808,  866, 1118, 1154 }
{  808, 1154, 1312, 1060 }
{  808, 1060,  904,  652 }
{  808,  652,  436,  494 }
{  809,  497,  617,  869 }
{  809,  869, 1121, 1157 }
{  809, 1157, 1311, 1059 }
{  809, 1059,  903,  651 }
{  809,  651,  435,  497 }
{  354,  294,  390,  462 }
{  354,  462,  500,  380 }
{  354,  380,  260,  294 }
{  355,  297,  393,  465 }
{  355,  465,  499,  379 }
{  355,  379,  259,  297 }
{  356,  296,  392,  464 }
{  356,  464,  498,  378 }
{  356,  378,  258,  296 }
{  357,  295,  391,  463 }
{  357,  463,  501,  381 }
{  357,  381,  261,  295 }
{  358,  298,  394,  466 }
{  358,  466,  502,  382 }
{  358,  382,  262,  298 }
{  359,  299,  395,  467 }
{  359,  467,  503,  383 }
{  359,  383,  263,  299 }
{  360,  300,  396,  468 }
{  360,  468,  504,  384 }
{  360,  384,  264,  300 }
{  361,  301,  397,  469 }
{  361,  469,  505,  385 }
{  361,  385,  265,  301 }
{  362,  302,  398,  470 }
{  362,  470,  507,  387 }
{  362,  387,  267,  302 }
{  363,  303,  399,  471 }
{  363,  471,  506,  386 }
{  363,  386,  266,  303 }
{  364,  305,  401,  473 }
{  364,  473,  508,  388 }
{  364,  388,  268,  305 }
{  365,  304,  400,  472 }
{  365,  472,  509,  389 }
{  365,  389,  269,  304 }
{ 1734, 1698, 1714, 1702 }
{ 1734, 1702, 1718, 1706 }
{ 1734, 1706, 1710, 1698 }
{ 1735, 1723, 1683, 1731 }
{ 1735, 1731, 1679, 1727 }
{ 1735, 1727, 1675, 1723 }
{ 1736, 1722, 1682, 1730 }
{ 1736, 1730, 1678, 1726 }
{ 1736, 1726, 1674, 1722 }
{ 1737, 1699, 1715, 1703 }
{ 1737, 1703, 1719, 1707 }
{ 1737, 1707, 1711, 1699 }
{ 1738, 1724, 1684, 1732 }
{ 1738, 1732, 1680, 1728 }
{ 1738, 1728, 1676, 1724 }
{ 1739, 1701, 1717, 1705 }
{ 1739, 1705, 1721, 1709 }
{ 1739, 1709, 1713, 1701 }
{ 1740, 1700, 1716, 1704 }
{ 1740, 1704, 1720, 1708 }
{ 1740, 1708, 1712, 1700 }
{ 1741, 1725, 1685, 1733 }
{ 1741, 1733, 1681, 1729 }
{ 1741, 1729, 1677, 1725 }
{  210,  282,  486,  426 }
{  211,  283,  487,  427 }
{  212,  284,  488,  428 }
{  213,  285,  489,  429 }
{  214,  287,  491,  430 }
{  215,  286,  490,  431 }
{  216,  289,  493,  432 }
{  217,  288,  492,  433 }
{  218,  292,  496,  434 }
{  219,  293,  497,  435 }
{  220,  290,  494,  436 }
{  221,  291,  495,  437 }
{  582,  642,  894,  786 }
{  583,  643,  895,  787 }
{  584,  644,  896,  788 }
{  585,  645,  897,  789 }
{  586,  646,  898,  790 }
{  587,  647,  899,  791 }
{  588,  648,  900,  792 }
{  589,  649,  901,  793 }
{  590,  650,  902,  794 }
{  591,  651,  903,  795 }
{  592,  652,  904,  796 }
{  593,  653,  905,  797 }
{  606,  702,  918,  858 }
{  607,  703,  919,  859 }
{  608,  704,  920,  860 }
{  609,  705,  921,  861 }
{  610,  706,  922,  862 }
{  611,  707,  923,  863 }
{  612,  708,  924,  864 }
{  613,  709,  925,  865 }
{  614,  710,  926,  866 }
{  615,  711,  927,  867 }
{  616,  712,  928,  868 }
{  617,  713,  929,  869 }
{ 1110, 1422, 1402, 1146 }
{ 1111, 1423, 1403, 1147 }
{ 1112, 1424, 1404, 1148 }
{ 1113, 1425, 1405, 1149 }
{ 1114, 1426, 1406, 1150 }
{ 1115, 1427, 1407, 1151 }
{ 1116, 1428, 1408, 1152 }
{ 1117, 1429, 1409, 1153 }
{ 1118, 1430, 1398, 1154 }
{ 1119, 1431, 1399, 1155 }
{ 1120, 1432, 1400, 1156 }
{ 1121, 1433, 1401, 1157 }
{ 1266, 1050, 1302, 1474 }
{ 1267, 1051, 1303, 1475 }
{ 1268, 1052, 1304, 1476 }
{ 1269, 1053, 1305, 1477 }
{ 1270, 1054, 1306, 1478 }
{ 1271, 1055, 1307, 1479 }
{ 1272, 1056, 1308, 1480 }
{ 1273, 1057, 1309, 1481 }
{ 1274, 1058, 1310, 1470 }
{ 1275, 1059, 1311, 1471 }
{ 1276, 1060, 1312, 1472 }
{ 1277, 1061, 1313, 1473 }
{  282,  402,  606,  486 }
{  283,  403,  607,  487 }
{  284,  404,  608,  488 }
{  285,  405,  609,  489 }
{  286,  406,  610,  490 }
{  287,  407,  611,  491 }
{  288,  408,  612,  492 }
{  289,  409,  613,  493 }
{  290,  410,  614,  494 }
{  291,  411,  615,  495 }
{  292,  412,  616,  496 }
{  293,  413,  617,  497 }
{  342,  426,  642,  582 }
{  343,  427,  643,  583 }
{  344,  428,  644,  584 }
{  345,  429,  645,  585 }
{  346,  430,  646,  586 }
{  347,  431,  647,  587 }
{  348,  432,  648,  588 }
{  349,  433,  649,  589 }
{  350,  434,  650,  590 }
{  351,  435,  651,  591 }
{  352,  436,  652,  592 }
{  353,  437,  653,  593 }
{  894, 1050, 1266, 1098 }
{  895, 1051, 1267, 1099 }
{  896, 1052, 1268, 1100 }
{  897, 1053, 1269, 1101 }
{  898, 1054, 1270, 1102 }
{  899, 1055, 1271, 1103 }
{  900, 1056, 1272, 1104 }
{  901, 1057, 1273, 1105 }
{  902, 1058, 1274, 1106 }
{  903, 1059, 1275, 1107 }
{  904, 1060, 1276, 1108 }
{  905, 1061, 1277, 1109 }
{  918, 1158, 1110,  858 }
{  919, 1159, 1111,  859 }
{  920, 1160, 1112,  860 }
{  921, 1161, 1113,  861 }
{  922, 1162, 1114,  862 }
{  923, 1163, 1115,  863 }
{  924, 1164, 1116,  864 }
{  925, 1165, 1117,  865 }
{  926, 1166, 1118,  866 }
{  927, 1167, 1119,  867 }
{  928, 1168, 1120,  868 }
{  929, 1169, 1121,  869 }
{ 1302, 1146, 1402, 1330 }
{ 1303, 1147, 1403, 1331 }
{ 1304, 1148, 1404, 1332 }
{ 1305, 1149, 1405, 1333 }
{ 1306, 1151, 1407, 1334 }
{ 1307, 1150, 1406, 1335 }
{ 1308, 1153, 1409, 1336 }
{ 1309, 1152, 1408, 1337 }
{ 1310, 1156, 1400, 1326 }
{ 1311, 1157, 1401, 1327 }
{ 1312, 1154, 1398, 1328 }
{ 1313, 1155, 1399, 1329 }
{  174,  210,  426,  342 }
{  175,  211,  427,  343 }
{  176,  212,  428,  344 }
{  177,  213,  429,  345 }
{  178,  214,  430,  346 }
{  179,  215,  431,  347 }
{  180,  216,  432,  348 }
{  181,  217,  433,  349 }
{  182,  218,  434,  350 }
{  183,  219,  435,  351 }
{  184,  220,  436,  352 }
{  185,  221,  437,  353 }
{  402,  522,  702,  606 }
{  403,  523,  703,  607 }
{  404,  524,  704,  608 }
{  405,  525,  705,  609 }
{  406,  526,  706,  610 }
{  407,  527,  707,  611 }
{  408,  528,  708,  612 }
{  409,  529,  709,  613 }
{  410,  530,  710,  614 }
{  411,  531,  711,  615 }
{  412,  532,  712,  616 }
{  413,  533,  713,  617 }
{  786,  894, 1098, 1014 }
{  787,  895, 1099, 1015 }
{  788,  896, 1100, 1016 }
{  789,  897, 1101, 1017 }
{  790,  898, 1102, 1018 }
{  791,  899, 1103, 1019 }
{  792,  900, 1104, 1020 }
{  793,  901, 1105, 1021 }
{  794,  902, 1106, 1022 }
{  795,  903, 1107, 1023 }
{  796,  904, 1108, 1024 }
{  797,  905, 1109, 1025 }
{ 1110, 1158, 1446, 1422 }
{ 1111, 1159, 1447, 1423 }
{ 1112, 1160, 1448, 1424 }
{ 1113, 1161, 1449, 1425 }
{ 1114, 1162, 1450, 1426 }
{ 1115, 1163, 1451, 1427 }
{ 1116, 1164, 1452, 1428 }
{ 1117, 1165, 1453, 1429 }
{ 1118, 1166, 1454, 1430 }
{ 1119, 1167, 1455, 1431 }
{ 1120, 1168, 1456, 1432 }
{ 1121, 1169, 1457, 1433 }
{ 1218, 1470, 1310, 1326 }
{ 1219, 1471, 1311, 1327 }
{ 1220, 1472, 1312, 1328 }
{ 1221, 1473, 1313, 1329 }
{ 1222, 1474, 1302, 1330 }
{ 1223, 1475, 1303, 1331 }
{ 1224, 1476, 1304, 1332 }
{ 1225, 1477, 1305, 1333 }
{ 1226, 1478, 1306, 1334 }
{ 1227, 1479, 1307, 1335 }
{ 1228, 1480, 1308, 1336 }
{ 1229, 1481, 1309, 1337 }
{  150,  246,  402,  282 }
{  151,  247,  403,  283 }
{  152,  248,  404,  284 }
{  153,  249,  405,  285 }
{  154,  250,  406,  286 }
{  155,  251,  407,  287 }
{  156,  252,  408,  288 }
{  157,  253,  409,  289 }
{  158,  254,  410,  290 }
{  159,  255,  411,  291 }
{  160,  256,  412,  292 }
{  161,  257,  413,  293 }
{  330,  342,  582,  534 }
{  331,  343,  583,  535 }
{  332,  344,  584,  536 }
{  333,  345,  585,  537 }
{  334,  346,  586,  538 }
{  335,  347,  587,  539 }
{  336,  348,  588,  540 }
{  337,  349,  589,  541 }
{  338,  350,  590,  542 }
{  339,  351,  591,  543 }
{  340,  352,  592,  544 }
{  341,  353,  593,  545 }
{  918, 1026, 1242, 1158 }
{  919, 1027, 1243, 1159 }
{  920, 1028, 1244, 1160 }
{  921, 1029, 1245, 1161 }
{  922, 1030, 1246, 1162 }
{  923, 1031, 1247, 1163 }
{  924, 1032, 1248, 1164 }
{  925, 1033, 1249, 1165 }
{  926, 1034, 1250, 1166 }
{  927, 1035, 1251, 1167 }
{  928, 1036, 1252, 1168 }
{  929, 1037, 1253, 1169 }
{ 1074, 1328, 1398, 1170 }
{ 1075, 1329, 1399, 1171 }
{ 1076, 1326, 1400, 1172 }
{ 1077, 1327, 1401, 1173 }
{ 1078, 1330, 1402, 1174 }
{ 1079, 1331, 1403, 1175 }
{ 1080, 1332, 1404, 1176 }
{ 1081, 1333, 1405, 1177 }
{ 1082, 1335, 1406, 1178 }
{ 1083, 1334, 1407, 1179 }
{ 1084, 1337, 1408, 1180 }
{ 1085, 1336, 1409, 1181 }
{ 1098, 1266, 1518, 1350 }
{ 1099, 1267, 1519, 1351 }
{ 1100, 1268, 1520, 1352 }
{ 1101, 1269, 1521, 1353 }
{ 1102, 1270, 1522, 1354 }
{ 1103, 1271, 1523, 1355 }
{ 1104, 1272, 1524, 1356 }
{ 1105, 1273, 1525, 1357 }
{ 1106, 1274, 1526, 1358 }
{ 1107, 1275, 1527, 1359 }
{ 1108, 1276, 1528, 1360 }
{ 1109, 1277, 1529, 1361 }
{  174,  342,  330,  198 }
{  175,  343,  331,  199 }
{  176,  344,  332,  200 }
{  177,  345,  333,  201 }
{  178,  346,  334,  202 }
{  179,  347,  335,  203 }
{  180,  348,  336,  204 }
{  181,  349,  337,  205 }
{  182,  350,  338,  206 }
{  183,  351,  339,  207 }
{  184,  352,  340,  208 }
{  185,  353,  341,  209 }
{  246,  414,  522,  402 }
{  247,  415,  523,  403 }
{  248,  416,  524,  404 }
{  249,  417,  525,  405 }
{  250,  418,  526,  406 }
{  251,  419,  527,  407 }
{  252,  420,  528,  408 }
{  253,  421,  529,  409 }
{  254,  422,  530,  410 }
{  255,  423,  531,  411 }
{  256,  424,  532,  412 }
{  257,  425,  533,  413 }
{  978, 1218, 1326, 1076 }
{  979, 1219, 1327, 1077 }
{  980, 1220, 1328, 1074 }
{  981, 1221, 1329, 1075 }
{  982, 1222, 1330, 1078 }
{  983, 1223, 1331, 1079 }
{  984, 1224, 1332, 1080 }
{  985, 1225, 1333, 1081 }
{  986, 1226, 1334, 1083 }
{  987, 1227, 1335, 1082 }
{  988, 1228, 1336, 1085 }
{  989, 1229, 1337, 1084 }
{ 1014, 1098, 1350, 1254 }
{ 1015, 1099, 1351, 1255 }
{ 1016, 1100, 1352, 1256 }
{ 1017, 1101, 1353, 1257 }
{ 1018, 1102, 1354, 1258 }
{ 1019, 1103, 1355, 1259 }
{ 1020, 1104, 1356, 1260 }
{ 1021, 1105, 1357, 1261 }
{ 1022, 1106, 1358, 1262 }
{ 1023, 1107, 1359, 1263 }
{ 1024, 1108, 1360, 1264 }
{ 1025, 1109, 1361, 1265 }
{ 1158, 1242, 1530, 1446 }
{ 1159, 1243, 1531, 1447 }
{ 1160, 1244, 1532, 1448 }
{ 1161, 1245, 1533, 1449 }
{ 1162, 1246, 1534, 1450 }
{ 1163, 1247, 1535, 1451 }
{ 1164, 1248, 1536, 1452 }
{ 1165, 1249, 1537, 1453 }
{ 1166, 1250, 1538, 1454 }
{ 1167, 1251, 1539, 1455 }
{ 1168, 1252, 1540, 1456 }
{ 1169, 1253, 1541, 1457 }
{  114,  150,  282,  210 }
{  115,  151,  283,  211 }
{  116,  152,  284,  212 }
{  117,  153,  285,  213 }
{  118,  154,  286,  215 }
{  119,  155,  287,  214 }
{  120,  156,  288,  217 }
{  121,  157,  289,  216 }
{  122,  158,  290,  220 }
{  123,  159,  291,  221 }
{  124,  160,  292,  218 }
{  125,  161,  293,  219 }
{  534,  582,  786,  738 }
{  535,  583,  787,  739 }
{  536,  584,  788,  740 }
{  537,  585,  789,  741 }
{  538,  586,  790,  742 }
{  539,  587,  791,  743 }
{  540,  588,  792,  744 }
{  541,  589,  793,  745 }
{  542,  590,  794,  746 }
{  543,  591,  795,  747 }
{  544,  592,  796,  748 }
{  545,  593,  797,  749 }
{  702,  834, 1026,  918 }
{  703,  835, 1027,  919 }
{  704,  836, 1028,  920 }
{  705,  837, 1029,  921 }
{  706,  838, 1030,  922 }
{  707,  839, 1031,  923 }
{  708,  840, 1032,  924 }
{  709,  841, 1033,  925 }
{  710,  842, 1034,  926 }
{  711,  843, 1035,  927 }
{  712,  844, 1036,  928 }
{  713,  845, 1037,  929 }
{ 1170, 1398, 1430, 1290 }
{ 1171, 1399, 1431, 1291 }
{ 1172, 1400, 1432, 1292 }
{ 1173, 1401, 1433, 1293 }
{ 1174, 1402, 1422, 1294 }
{ 1175, 1403, 1423, 1295 }
{ 1176, 1404, 1424, 1296 }
{ 1177, 1405, 1425, 1297 }
{ 1178, 1406, 1426, 1298 }
{ 1179, 1407, 1427, 1299 }
{ 1180, 1408, 1428, 1300 }
{ 1181, 1409, 1429, 1301 }
{ 1266, 1474, 1378, 1518 }
{ 1267, 1475, 1379, 1519 }
{ 1268, 1476, 1380, 1520 }
{ 1269, 1477, 1381, 1521 }
{ 1270, 1478, 1382, 1522 }
{ 1271, 1479, 1383, 1523 }
{ 1272, 1480, 1384, 1524 }
{ 1273, 1481, 1385, 1525 }
{ 1274, 1470, 1374, 1526 }
{ 1275, 1471, 1375, 1527 }
{ 1276, 1472, 1376, 1528 }
{ 1277, 1473, 1377, 1529 }
{   66,  114,  210,  174 }
{   67,  115,  211,  175 }
{   68,  116,  212,  176 }
{   69,  117,  213,  177 }
{   70,  119,  214,  178 }
{   71,  118,  215,  179 }
{   72,  121,  216,  180 }
{   73,  120,  217,  181 }
{   74,  124,  218,  182 }
{   75,  125,  219,  183 }
{   76,  122,  220,  184 }
{   77,  123,  221,  185 }
{  522,  678,  834,  702 }
{  523,  679,  835,  703 }
{  524,  680,  836,  704 }
{  525,  681,  837,  705 }
{  526,  682,  838,  706 }
{  527,  683,  839,  707 }
{  528,  684,  840,  708 }
{  529,  685,  841,  709 }
{  530,  686,  842,  710 }
{  531,  687,  843,  711 }
{  532,  688,  844,  712 }
{  533,  689,  845,  713 }
{  738,  786, 1014,  966 }
{  739,  787, 1015,  967 }
{  740,  788, 1016,  968 }
{  741,  789, 1017,  969 }
{  742,  790, 1018,  970 }
{  743,  791, 1019,  971 }
{  744,  792, 1020,  972 }
{  745,  793, 1021,  973 }
{  746,  794, 1022,  974 }
{  747,  795, 1023,  975 }
{  748,  796, 1024,  976 }
{  749,  797, 1025,  977 }
{ 1086, 1374, 1470, 1218 }
{ 1087, 1375, 1471, 1219 }
{ 1088, 1376, 1472, 1220 }
{ 1089, 1377, 1473, 1221 }
{ 1090, 1378, 1474, 1222 }
{ 1091, 1379, 1475, 1223 }
{ 1092, 1380, 1476, 1224 }
{ 1093, 1381, 1477, 1225 }
{ 1094, 1382, 1478, 1226 }
{ 1095, 1383, 1479, 1227 }
{ 1096, 1384, 1480, 1228 }
{ 1097, 1385, 1481, 1229 }
{ 1290, 1430, 1454, 1386 }
{ 1291, 1431, 1455, 1387 }
{ 1292, 1432, 1456, 1388 }
{ 1293, 1433, 1457, 1389 }
{ 1294, 1422, 1446, 1390 }
{ 1295, 1423, 1447, 1391 }
{ 1296, 1424, 1448, 1392 }
{ 1297, 1425, 1449, 1393 }
{ 1298, 1426, 1450, 1394 }
{ 1299, 1427, 1451, 1395 }
{ 1300, 1428, 1452, 1396 }
{ 1301, 1429, 1453, 1397 }
{   66,  174,  198,   90 }
{   67,  175,  199,   91 }
{   68,  176,  200,   92 }
{   69,  177,  201,   93 }
{   70,  178,  202,   94 }
{   71,  179,  203,   95 }
{   72,  180,  204,   96 }
{   73,  181,  205,   97 }
{   74,  182,  206,   98 }
{   75,  183,  207,   99 }
{   76,  184,  208,  100 }
{   77,  185,  209,  101 }
{  414,  546,  678,  522 }
{  415,  547,  679,  523 }
{  416,  548,  680,  524 }
{  417,  549,  681,  525 }
{  418,  550,  682,  526 }
{  419,  551,  683,  527 }
{  420,  552,  684,  528 }
{  421,  553,  685,  529 }
{  422,  554,  686,  530 }
{  423,  555,  687,  531 }
{  424,  556,  688,  532 }
{  425,  557,  689,  533 }
{  906, 1086, 1218,  978 }
{  907, 1087, 1219,  979 }
{  908, 1088, 1220,  980 }
{  909, 1089, 1221,  981 }
{  910, 1090, 1222,  982 }
{  911, 1091, 1223,  983 }
{  912, 1092, 1224,  984 }
{  913, 1093, 1225,  985 }
{  914, 1094, 1226,  986 }
{  915, 1095, 1227,  987 }
{  916, 1096, 1228,  988 }
{  917, 1097, 1229,  989 }
{  966, 1014, 1254, 1206 }
{  967, 1015, 1255, 1207 }
{  968, 1016, 1256, 1208 }
{  969, 1017, 1257, 1209 }
{  970, 1018, 1258, 1210 }
{  971, 1019, 1259, 1211 }
{  972, 1020, 1260, 1212 }
{  973, 1021, 1261, 1213 }
{  974, 1022, 1262, 1214 }
{  975, 1023, 1263, 1215 }
{  976, 1024, 1264, 1216 }
{  977, 1025, 1265, 1217 }
{ 1386, 1454, 1538, 1554 }
{ 1387, 1455, 1539, 1555 }
{ 1388, 1456, 1540, 1556 }
{ 1389, 1457, 1541, 1557 }
{ 1390, 1446, 1530, 1558 }
{ 1391, 1447, 1531, 1559 }
{ 1392, 1448, 1532, 1560 }
{ 1393, 1449, 1533, 1561 }
{ 1394, 1450, 1534, 1562 }
{ 1395, 1451, 1535, 1563 }
{ 1396, 1452, 1536, 1564 }
{ 1397, 1453, 1537, 1565 }
{  186,  318,  414,  246 }
{  187,  319,  415,  247 }
{  188,  320,  416,  248 }
{  189,  321,  417,  249 }
{  190,  322,  418,  250 }
{  191,  323,  419,  251 }
{  192,  324,  420,  252 }
{  193,  325,  421,  253 }
{  194,  326,  422,  254 }
{  195,  327,  423,  255 }
{  196,  328,  424,  256 }
{  197,  329,  425,  257 }
{  198,  330,  366,  234 }
{  199,  331,  367,  235 }
{  200,  332,  368,  236 }
{  201,  333,  369,  237 }
{  202,  334,  370,  238 }
{  203,  335,  371,  239 }
{  204,  336,  372,  240 }
{  205,  337,  373,  241 }
{  206,  338,  374,  242 }
{  207,  339,  375,  243 }
{  208,  340,  376,  244 }
{  209,  341,  377,  245 }
{  810,  978, 1076,  872 }
{  811,  979, 1077,  873 }
{  812,  980, 1074,  870 }
{  813,  981, 1075,  871 }
{  814,  982, 1078,  874 }
{  815,  983, 1079,  875 }
{  816,  984, 1080,  876 }
{  817,  985, 1081,  877 }
{  818,  986, 1083,  879 }
{  819,  987, 1082,  878 }
{  820,  988, 1085,  881 }
{  821,  989, 1084,  880 }
{ 1242, 1362, 1566, 1530 }
{ 1243, 1363, 1567, 1531 }
{ 1244, 1364, 1568, 1532 }
{ 1245, 1365, 1569, 1533 }
{ 1246, 1366, 1570, 1534 }
{ 1247, 1367, 1571, 1535 }
{ 1248, 1368, 1572, 1536 }
{ 1249, 1369, 1573, 1537 }
{ 1250, 1370, 1574, 1538 }
{ 1251, 1371, 1575, 1539 }
{ 1252, 1372, 1576, 1540 }
{ 1253, 1373, 1577, 1541 }
{ 1254, 1350, 1578, 1506 }
{ 1255, 1351, 1579, 1507 }
{ 1256, 1352, 1580, 1508 }
{ 1257, 1353, 1581, 1509 }
{ 1258, 1354, 1582, 1510 }
{ 1259, 1355, 1583, 1511 }
{ 1260, 1356, 1584, 1512 }
{ 1261, 1357, 1585, 1513 }
{ 1262, 1358, 1586, 1514 }
{ 1263, 1359, 1587, 1515 }
{ 1264, 1360, 1588, 1516 }
{ 1265, 1361, 1589, 1517 }
{   90,  198,  234,  126 }
{   91,  199,  235,  127 }
{   92,  200,  236,  128 }
{   93,  201,  237,  129 }
{   94,  202,  238,  130 }
{   95,  203,  239,  131 }
{   96,  204,  240,  132 }
{   97,  205,  241,  133 }
{   98,  206,  242,  134 }
{   99,  207,  243,  135 }
{  100,  208,  244,  136 }
{  101,  209,  245,  137 }
{  318,  474,  546,  414 }
{  319,  475,  547,  415 }
{  320,  476,  548,  416 }
{  321,  477,  549,  417 }
{  322,  478,  550,  418 }
{  323,  479,  551,  419 }
{  324,  480,  552,  420 }
{  325,  481,  553,  421 }
{  326,  482,  554,  422 }
{  327,  483,  555,  423 }
{  328,  484,  556,  424 }
{  329,  485,  557,  425 }
{  726,  906,  978,  810 }
{  727,  907,  979,  811 }
{  728,  908,  980,  812 }
{  729,  909,  981,  813 }
{  730,  910,  982,  814 }
{  731,  911,  983,  815 }
{  732,  912,  984,  816 }
{  733,  913,  985,  817 }
{  734,  914,  986,  818 }
{  735,  915,  987,  819 }
{  736,  916,  988,  820 }
{  737,  917,  989,  821 }
{ 1206, 1254, 1506, 1434 }
{ 1207, 1255, 1507, 1435 }
{ 1208, 1256, 1508, 1436 }
{ 1209, 1257, 1509, 1437 }
{ 1210, 1258, 1510, 1438 }
{ 1211, 1259, 1511, 1439 }
{ 1212, 1260, 1512, 1440 }
{ 1213, 1261, 1513, 1441 }
{ 1214, 1262, 1514, 1442 }
{ 1215, 1263, 1515, 1443 }
{ 1216, 1264, 1516, 1444 }
{ 1217, 1265, 1517, 1445 }
{ 1530, 1566, 1618, 1558 }
{ 1531, 1567, 1619, 1559 }
{ 1532, 1568, 1620, 1560 }
{ 1533, 1569, 1621, 1561 }
{ 1534, 1570, 1622, 1562 }
{ 1535, 1571, 1623, 1563 }
{ 1536, 1572, 1624, 1564 }
{ 1537, 1573, 1625, 1565 }
{ 1538, 1574, 1614, 1554 }
{ 1539, 1575, 1615, 1555 }
{ 1540, 1576, 1616, 1556 }
{ 1541, 1577, 1617, 1557 }
{  138,  270,  318,  186 }
{  139,  271,  319,  187 }
{  140,  272,  320,  188 }
{  141,  273,  321,  189 }
{  142,  274,  322,  190 }
{  143,  275,  323,  191 }
{  144,  276,  324,  192 }
{  145,  277,  325,  193 }
{  146,  278,  326,  194 }
{  147,  279,  327,  195 }
{  148,  280,  328,  196 }
{  149,  281,  329,  197 }
{  234,  366,  450,  306 }
{  235,  367,  451,  307 }
{  236,  368,  452,  308 }
{  237,  369,  453,  309 }
{  238,  370,  454,  310 }
{  239,  371,  455,  311 }
{  240,  372,  456,  312 }
{  241,  373,  457,  313 }
{  242,  374,  458,  314 }
{  243,  375,  459,  315 }
{  244,  376,  460,  316 }
{  245,  377,  461,  317 }
{  654,  812,  870,  690 }
{  655,  813,  871,  691 }
{  656,  810,  872,  692 }
{  657,  811,  873,  693 }
{  658,  814,  874,  694 }
{  659,  815,  875,  695 }
{  660,  816,  876,  696 }
{  661,  817,  877,  697 }
{  662,  819,  878,  698 }
{  663,  818,  879,  699 }
{  664,  821,  880,  700 }
{  665,  820,  881,  701 }
{ 1362, 1494, 1638, 1566 }
{ 1363, 1495, 1639, 1567 }
{ 1364, 1496, 1640, 1568 }
{ 1365, 1497, 1641, 1569 }
{ 1366, 1498, 1642, 1570 }
{ 1367, 1499, 1643, 1571 }
{ 1368, 1500, 1644, 1572 }
{ 1369, 1501, 1645, 1573 }
{ 1370, 1502, 1646, 1574 }
{ 1371, 1503, 1647, 1575 }
{ 1372, 1504, 1648, 1576 }
{ 1373, 1505, 1649, 1577 }
{ 1506, 1578, 1654, 1662 }
{ 1507, 1579, 1655, 1663 }
{ 1508, 1580, 1656, 1664 }
{ 1509, 1581, 1657, 1665 }
{ 1510, 1582, 1658, 1666 }
{ 1511, 1583, 1659, 1667 }
{ 1512, 1584, 1660, 1668 }
{ 1513, 1585, 1661, 1669 }
{ 1514, 1586, 1650, 1670 }
{ 1515, 1587, 1651, 1671 }
{ 1516, 1588, 1652, 1672 }
{ 1517, 1589, 1653, 1673 }
{  126,  234,  306,  222 }
{  127,  235,  307,  223 }
{  128,  236,  308,  224 }
{  129,  237,  309,  225 }
{  130,  238,  310,  226 }
{  131,  239,  311,  227 }
{  132,  240,  312,  228 }
{  133,  241,  313,  229 }
{  134,  242,  314,  230 }
{  135,  243,  315,  231 }
{  136,  244,  316,  232 }
{  137,  245,  317,  233 }
{  270,  438,  474,  318 }
{  271,  439,  475,  319 }
{  272,  440,  476,  320 }
{  273,  441,  477,  321 }
{  274,  442,  478,  322 }
{  275,  443,  479,  323 }
{  276,  444,  480,  324 }
{  277,  445,  481,  325 }
{  278,  446,  482,  326 }
{  279,  447,  483,  327 }
{  280,  448,  484,  328 }
{  281,  449,  485,  329 }
{  594,  726,  810,  656 }
{  595,  727,  811,  657 }
{  596,  728,  812,  654 }
{  597,  729,  813,  655 }
{  598,  730,  814,  658 }
{  599,  731,  815,  659 }
{  600,  732,  816,  660 }
{  601,  733,  817,  661 }
{  602,  734,  818,  663 }
{  603,  735,  819,  662 }
{  604,  736,  820,  665 }
{  605,  737,  821,  664 }
{ 1434, 1506, 1662, 1626 }
{ 1435, 1507, 1663, 1627 }
{ 1436, 1508, 1664, 1628 }
{ 1437, 1509, 1665, 1629 }
{ 1438, 1510, 1666, 1630 }
{ 1439, 1511, 1667, 1631 }
{ 1440, 1512, 1668, 1632 }
{ 1441, 1513, 1669, 1633 }
{ 1442, 1514, 1670, 1634 }
{ 1443, 1515, 1671, 1635 }
{ 1444, 1516, 1672, 1636 }
{ 1445, 1517, 1673, 1637 }
{ 1566, 1638, 1690, 1618 }
{ 1567, 1639, 1691, 1619 }
{ 1568, 1640, 1692, 1620 }
{ 1569, 1641, 1693, 1621 }
{ 1570, 1642, 1694, 1622 }
{ 1571, 1643, 1695, 1623 }
{ 1572, 1644, 1696, 1624 }
{ 1573, 1645, 1697, 1625 }
{ 1574, 1646, 1686, 1614 }
{ 1575, 1647, 1687, 1615 }
{ 1576, 1648, 1688, 1616 }
{ 1577, 1649, 1689, 1617 }
{  102,  186,  246,  150 }
{  103,  187,  247,  151 }
{  104,  188,  248,  152 }
{  105,  189,  249,  153 }
{  106,  190,  250,  154 }
{  107,  191,  251,  155 }
{  108,  192,  252,  156 }
{  109,  193,  253,  157 }
{  110,  194,  254,  158 }
{  111,  195,  255,  159 }
{  112,  196,  256,  160 }
{  113,  197,  257,  161 }
{  330,  534,  570,  366 }
{  331,  535,  571,  367 }
{  332,  536,  572,  368 }
{  333,  537,  573,  369 }
{  334,  538,  574,  370 }
{  335,  539,  575,  371 }
{  336,  540,  576,  372 }
{  337,  541,  577,  373 }
{  338,  542,  578,  374 }
{  339,  543,  579,  375 }
{  340,  544,  580,  376 }
{  341,  545,  581,  377 }
{  870, 1074, 1170,  930 }
{  871, 1075, 1171,  931 }
{  872, 1076, 1172,  932 }
{  873, 1077, 1173,  933 }
{  874, 1078, 1174,  934 }
{  875, 1079, 1175,  935 }
{  876, 1080, 1176,  936 }
{  877, 1081, 1177,  937 }
{  878, 1082, 1178,  938 }
{  879, 1083, 1179,  939 }
{  880, 1084, 1180,  940 }
{  881, 1085, 1181,  941 }
{ 1026, 1134, 1362, 1242 }
{ 1027, 1135, 1363, 1243 }
{ 1028, 1136, 1364, 1244 }
{ 1029, 1137, 1365, 1245 }
{ 1030, 1138, 1366, 1246 }
{ 1031, 1139, 1367, 1247 }
{ 1032, 1140, 1368, 1248 }
{ 1033, 1141, 1369, 1249 }
{ 1034, 1142, 1370, 1250 }
{ 1035, 1143, 1371, 1251 }
{ 1036, 1144, 1372, 1252 }
{ 1037, 1145, 1373, 1253 }
{ 1350, 1518, 1546, 1578 }
{ 1351, 1519, 1547, 1579 }
{ 1352, 1520, 1548, 1580 }
{ 1353, 1521, 1549, 1581 }
{ 1354, 1522, 1550, 1582 }
{ 1355, 1523, 1551, 1583 }
{ 1356, 1524, 1552, 1584 }
{ 1357, 1525, 1553, 1585 }
{ 1358, 1526, 1542, 1586 }
{ 1359, 1527, 1543, 1587 }
{ 1360, 1528, 1544, 1588 }
{ 1361, 1529, 1545, 1589 }
{   42,  102,  150,  114 }
{   43,  103,  151,  115 }
{   44,  104,  152,  116 }
{   45,  105,  153,  117 }
{   46,  106,  154,  118 }
{   47,  107,  155,  119 }
{   48,  108,  156,  120 }
{   49,  109,  157,  121 }
{   50,  110,  158,  122 }
{   51,  111,  159,  123 }
{   52,  112,  160,  124 }
{   53,  113,  161,  125 }
{  534,  738,  750,  570 }
{  535,  739,  751,  571 }
{  536,  740,  752,  572 }
{  537,  741,  753,  573 }
{  538,  742,  754,  574 }
{  539,  743,  755,  575 }
{  540,  744,  756,  576 }
{  541,  745,  757,  577 }
{  542,  746,  758,  578 }
{  543,  747,  759,  579 }
{  544,  748,  760,  580 }
{  545,  749,  761,  581 }
{  834,  954, 1134, 1026 }
{  835,  955, 1135, 1027 }
{  836,  956, 1136, 1028 }
{  837,  957, 1137, 1029 }
{  838,  958, 1138, 1030 }
{  839,  959, 1139, 1031 }
{  840,  960, 1140, 1032 }
{  841,  961, 1141, 1033 }
{  842,  962, 1142, 1034 }
{  843,  963, 1143, 1035 }
{  844,  964, 1144, 1036 }
{  845,  965, 1145, 1037 }
{  930, 1170, 1290, 1062 }
{  931, 1171, 1291, 1063 }
{  932, 1172, 1292, 1064 }
{  933, 1173, 1293, 1065 }
{  934, 1174, 1294, 1066 }
{  935, 1175, 1295, 1067 }
{  936, 1176, 1296, 1068 }
{  937, 1177, 1297, 1069 }
{  938, 1178, 1298, 1070 }
{  939, 1179, 1299, 1071 }
{  940, 1180, 1300, 1072 }
{  941, 1181, 1301, 1073 }
{ 1278, 1542, 1526, 1374 }
{ 1279, 1543, 1527, 1375 }
{ 1280, 1544, 1528, 1376 }
{ 1281, 1545, 1529, 1377 }
{ 1282, 1546, 1518, 1378 }
{ 1283, 1547, 1519, 1379 }
{ 1284, 1548, 1520, 1380 }
{ 1285, 1549, 1521, 1381 }
{ 1286, 1550, 1522, 1382 }
{ 1287, 1551, 1523, 1383 }
{ 1288, 1552, 1524, 1384 }
{ 1289, 1553, 1525, 1385 }
{   18,   42,  114,   66 }
{   19,   43,  115,   67 }
{   20,   44,  116,   68 }
{   21,   45,  117,   69 }
{   22,   47,  119,   70 }
{   23,   46,  118,   71 }
{   24,   49,  121,   72 }
{   25,   48,  120,   73 }
{   26,   52,  124,   74 }
{   27,   53,  125,   75 }
{   28,   50,  122,   76 }
{   29,   51,  123,   77 }
{  678,  822,  954,  834 }
{  679,  823,  955,  835 }
{  680,  824,  956,  836 }
{  681,  825,  957,  837 }
{  682,  826,  958,  838 }
{  683,  827,  959,  839 }
{  684,  828,  960,  840 }
{  685,  829,  961,  841 }
{  686,  830,  962,  842 }
{  687,  831,  963,  843 }
{  688,  832,  964,  844 }
{  689,  833,  965,  845 }
{  738,  966,  942,  750 }
{  739,  967,  943,  751 }
{  740,  968,  944,  752 }
{  741,  969,  945,  753 }
{  742,  970,  946,  754 }
{  743,  971,  947,  755 }
{  744,  972,  948,  756 }
{  745,  973,  949,  757 }
{  746,  974,  950,  758 }
{  747,  975,  951,  759 }
{  748,  976,  952,  760 }
{  749,  977,  953,  761 }
{ 1038, 1278, 1374, 1086 }
{ 1039, 1279, 1375, 1087 }
{ 1040, 1280, 1376, 1088 }
{ 1041, 1281, 1377, 1089 }
{ 1042, 1282, 1378, 1090 }
{ 1043, 1283, 1379, 1091 }
{ 1044, 1284, 1380, 1092 }
{ 1045, 1285, 1381, 1093 }
{ 1046, 1286, 1382, 1094 }
{ 1047, 1287, 1383, 1095 }
{ 1048, 1288, 1384, 1096 }
{ 1049, 1289, 1385, 1097 }
{ 1062, 1290, 1386, 1182 }
{ 1063, 1291, 1387, 1183 }
{ 1064, 1292, 1388, 1184 }
{ 1065, 1293, 1389, 1185 }
{ 1066, 1294, 1390, 1186 }
{ 1067, 1295, 1391, 1187 }
{ 1068, 1296, 1392, 1188 }
{ 1069, 1297, 1393, 1189 }
{ 1070, 1298, 1394, 1190 }
{ 1071, 1299, 1395, 1191 }
{ 1072, 1300, 1396, 1192 }
{ 1073, 1301, 1397, 1193 }
{   18,   66,   90,   30 }
{   19,   67,   91,   31 }
{   20,   68,   92,   32 }
{   21,   69,   93,   33 }
{   22,   70,   94,   34 }
{   23,   71,   95,   35 }
{   24,   72,   96,   36 }
{   25,   73,   97,   37 }
{   26,   74,   98,   38 }
{   27,   75,   99,   39 }
{   28,   76,  100,   40 }
{   29,   77,  101,   41 }
{  546,  714,  822,  678 }
{  547,  715,  823,  679 }
{  548,  716,  824,  680 }
{  549,  717,  825,  681 }
{  550,  718,  826,  682 }
{  551,  719,  827,  683 }
{  552,  720,  828,  684 }
{  553,  721,  829,  685 }
{  554,  722,  830,  686 }
{  555,  723,  831,  687 }
{  556,  724,  832,  688 }
{  557,  725,  833,  689 }
{  846, 1038, 1086,  906 }
{  847, 1039, 1087,  907 }
{  848, 1040, 1088,  908 }
{  849, 1041, 1089,  909 }
{  850, 1042, 1090,  910 }
{  851, 1043, 1091,  911 }
{  852, 1044, 1092,  912 }
{  853, 1045, 1093,  913 }
{  854, 1046, 1094,  914 }
{  855, 1047, 1095,  915 }
{  856, 1048, 1096,  916 }
{  857, 1049, 1097,  917 }
{  942,  966, 1206, 1194 }
{  943,  967, 1207, 1195 }
{  944,  968, 1208, 1196 }
{  945,  969, 1209, 1197 }
{  946,  970, 1210, 1198 }
{  947,  971, 1211, 1199 }
{  948,  972, 1212, 1200 }
{  949,  973, 1213, 1201 }
{  950,  974, 1214, 1202 }
{  951,  975, 1215, 1203 }
{  952,  976, 1216, 1204 }
{  953,  977, 1217, 1205 }
{ 1182, 1386, 1554, 1338 }
{ 1183, 1387, 1555, 1339 }
{ 1184, 1388, 1556, 1340 }
{ 1185, 1389, 1557, 1341 }
{ 1186, 1390, 1558, 1342 }
{ 1187, 1391, 1559, 1343 }
{ 1188, 1392, 1560, 1344 }
{ 1189, 1393, 1561, 1345 }
{ 1190, 1394, 1562, 1346 }
{ 1191, 1395, 1563, 1347 }
{ 1192, 1396, 1564, 1348 }
{ 1193, 1397, 1565, 1349 }
{   30,   90,  126,   78 }
{   31,   91,  127,   79 }
{   32,   92,  128,   80 }
{   33,   93,  129,   81 }
{   34,   94,  130,   82 }
{   35,   95,  131,   83 }
{   36,   96,  132,   84 }
{   37,   97,  133,   85 }
{   38,   98,  134,   86 }
{   39,   99,  135,   87 }
{   40,  100,  136,   88 }
{   41,  101,  137,   89 }
{  474,  630,  714,  546 }
{  475,  631,  715,  547 }
{  476,  632,  716,  548 }
{  477,  633,  717,  549 }
{  478,  634,  718,  550 }
{  479,  635,  719,  551 }
{  480,  636,  720,  552 }
{  481,  637,  721,  553 }
{  482,  638,  722,  554 }
{  483,  639,  723,  555 }
{  484,  640,  724,  556 }
{  485,  641,  725,  557 }
{  666,  846,  906,  726 }
{  667,  847,  907,  727 }
{  668,  848,  908,  728 }
{  669,  849,  909,  729 }
{  670,  850,  910,  730 }
{  671,  851,  911,  731 }
{  672,  852,  912,  732 }
{  673,  853,  913,  733 }
{  674,  854,  914,  734 }
{  675,  855,  915,  735 }
{  676,  856,  916,  736 }
{  677,  857,  917,  737 }
{ 1194, 1206, 1434, 1410 }
{ 1195, 1207, 1435, 1411 }
{ 1196, 1208, 1436, 1412 }
{ 1197, 1209, 1437, 1413 }
{ 1198, 1210, 1438, 1414 }
{ 1199, 1211, 1439, 1415 }
{ 1200, 1212, 1440, 1416 }
{ 1201, 1213, 1441, 1417 }
{ 1202, 1214, 1442, 1418 }
{ 1203, 1215, 1443, 1419 }
{ 1204, 1216, 1444, 1420 }
{ 1205, 1217, 1445, 1421 }
{ 1338, 1554, 1614, 1482 }
{ 1339, 1555, 1615, 1483 }
{ 1340, 1556, 1616, 1484 }
{ 1341, 1557, 1617, 1485 }
{ 1342, 1558, 1618, 1486 }
{ 1343, 1559, 1619, 1487 }
{ 1344, 1560, 1620, 1488 }
{ 1345, 1561, 1621, 1489 }
{ 1346, 1562, 1622, 1490 }
{ 1347, 1563, 1623, 1491 }
{ 1348, 1564, 1624, 1492 }
{ 1349, 1565, 1625, 1493 }
{   78,  126,  222,  164 }
{   79,  127,  223,  165 }
{   80,  128,  224,  162 }
{   81,  129,  225,  163 }
{   82,  130,  226,  166 }
{   83,  131,  227,  167 }
{   84,  132,  228,  168 }
{   85,  133,  229,  169 }
{   86,  134,  230,  171 }
{   87,  135,  231,  170 }
{   88,  136,  232,  173 }
{   89,  137,  233,  172 }
{  438,  558,  630,  474 }
{  439,  559,  631,  475 }
{  440,  560,  632,  476 }
{  441,  561,  633,  477 }
{  442,  562,  634,  478 }
{  443,  563,  635,  479 }
{  444,  564,  636,  480 }
{  445,  565,  637,  481 }
{  446,  566,  638,  482 }
{  447,  567,  639,  483 }
{  448,  568,  640,  484 }
{  449,  569,  641,  485 }
{  510,  666,  726,  594 }
{  511,  667,  727,  595 }
{  512,  668,  728,  596 }
{  513,  669,  729,  597 }
{  514,  670,  730,  598 }
{  515,  671,  731,  599 }
{  516,  672,  732,  600 }
{  517,  673,  733,  601 }
{  518,  674,  734,  602 }
{  519,  675,  735,  603 }
{  520,  676,  736,  604 }
{  521,  677,  737,  605 }
{ 1410, 1434, 1626, 1602 }
{ 1411, 1435, 1627, 1603 }
{ 1412, 1436, 1628, 1604 }
{ 1413, 1437, 1629, 1605 }
{ 1414, 1438, 1630, 1606 }
{ 1415, 1439, 1631, 1607 }
{ 1416, 1440, 1632, 1608 }
{ 1417, 1441, 1633, 1609 }
{ 1418, 1442, 1634, 1610 }
{ 1419, 1443, 1635, 1611 }
{ 1420, 1444, 1636, 1612 }
{ 1421, 1445, 1637, 1613 }
{ 1482, 1614, 1686, 1590 }
{ 1483, 1615, 1687, 1591 }
{ 1484, 1616, 1688, 1592 }
{ 1485, 1617, 1689, 1593 }
{ 1486, 1618, 1690, 1594 }
{ 1487, 1619, 1691, 1595 }
{ 1488, 1620, 1692, 1596 }
{ 1489, 1621, 1693, 1597 }
{ 1490, 1622, 1694, 1598 }
{ 1491, 1623, 1695, 1599 }
{ 1492, 1624, 1696, 1600 }
{ 1493, 1625, 1697, 1601 }
{  222,  306,  390,  294 }
{  223,  307,  391,  295 }
{  224,  308,  392,  296 }
{  225,  309,  393,  297 }
{  226,  310,  394,  298 }
{  227,  311,  395,  299 }
{  228,  312,  396,  300 }
{  229,  313,  397,  301 }
{  230,  314,  398,  302 }
{  231,  315,  399,  303 }
{  232,  316,  400,  304 }
{  233,  317,  401,  305 }
{  258,  378,  438,  270 }
{  259,  379,  439,  271 }
{  260,  380,  440,  272 }
{  261,  381,  441,  273 }
{  262,  382,  442,  274 }
{  263,  383,  443,  275 }
{  264,  384,  444,  276 }
{  265,  385,  445,  277 }
{  266,  386,  446,  278 }
{  267,  387,  447,  279 }
{  268,  388,  448,  280 }
{  269,  389,  449,  281 }
{  498,  464,  596,  654 }
{  499,  465,  597,  655 }
{  500,  462,  594,  656 }
{  501,  463,  595,  657 }
{  502,  466,  598,  658 }
{  503,  467,  599,  659 }
{  504,  468,  600,  660 }
{  505,  469,  601,  661 }
{  506,  471,  603,  662 }
{  507,  470,  602,  663 }
{  508,  473,  605,  664 }
{  509,  472,  604,  665 }
{ 1626, 1662, 1714, 1698 }
{ 1627, 1663, 1715, 1699 }
{ 1628, 1664, 1716, 1700 }
{ 1629, 1665, 1717, 1701 }
{ 1630, 1666, 1718, 1702 }
{ 1631, 1667, 1719, 1703 }
{ 1632, 1668, 1720, 1704 }
{ 1633, 1669, 1721, 1705 }
{ 1634, 1670, 1710, 1706 }
{ 1635, 1671, 1711, 1707 }
{ 1636, 1672, 1712, 1708 }
{ 1637, 1673, 1713, 1709 }
{ 1638, 1674, 1726, 1690 }
{ 1639, 1675, 1727, 1691 }
{ 1640, 1676, 1728, 1692 }
{ 1641, 1677, 1729, 1693 }
{ 1642, 1678, 1730, 1694 }
{ 1643, 1679, 1731, 1695 }
{ 1644, 1680, 1732, 1696 }
{ 1645, 1681, 1733, 1697 }
{ 1646, 1682, 1722, 1686 }
{ 1647, 1683, 1723, 1687 }
{ 1648, 1684, 1724, 1688 }
{ 1649, 1685, 1725, 1689 }
{  162,  224,  296,  258 }
{  163,  225,  297,  259 }
{  164,  222,  294,  260 }
{  165,  223,  295,  261 }
{  166,  226,  298,  262 }
{  167,  227,  299,  263 }
{  168,  228,  300,  264 }
{  169,  229,  301,  265 }
{  170,  231,  303,  266 }
{  171,  230,  302,  267 }
{  172,  233,  305,  268 }
{  173,  232,  304,  269 }
{  390,  510,  594,  462 }
{  391,  511,  595,  463 }
{  392,  512,  596,  464 }
{  393,  513,  597,  465 }
{  394,  514,  598,  466 }
{  395,  515,  599,  467 }
{  396,  516,  600,  468 }
{  397,  517,  601,  469 }
{  398,  518,  602,  470 }
{  399,  519,  603,  471 }
{  400,  520,  604,  472 }
{  401,  521,  605,  473 }
{  438,  378,  498,  558 }
{  439,  379,  499,  559 }
{  440,  380,  500,  560 }
{  441,  381,  501,  561 }
{  442,  382,  502,  562 }
{  443,  383,  503,  563 }
{  444,  384,  504,  564 }
{  445,  385,  505,  565 }
{  446,  386,  506,  566 }
{  447,  387,  507,  567 }
{  448,  388,  508,  568 }
{  449,  389,  509,  569 }
{ 1590, 1686, 1722, 1674 }
{ 1591, 1687, 1723, 1675 }
{ 1592, 1688, 1724, 1676 }
{ 1593, 1689, 1725, 1677 }
{ 1594, 1690, 1726, 1678 }
{ 1595, 1691, 1727, 1679 }
{ 1596, 1692, 1728, 1680 }
{ 1597, 1693, 1729, 1681 }
{ 1598, 1694, 1730, 1682 }
{ 1599, 1695, 1731, 1683 }
{ 1600, 1696, 1732, 1684 }
{ 1601, 1697, 1733, 1685 }
{ 1602, 1626, 1698, 1710 }
{ 1603, 1627, 1699, 1711 }
{ 1604, 1628, 1700, 1712 }
{ 1605, 1629, 1701, 1713 }
{ 1606, 1630, 1702, 1714 }
{ 1607, 1631, 1703, 1715 }
{ 1608, 1632, 1704, 1716 }
{ 1609, 1633, 1705, 1717 }
{ 1610, 1634, 1706, 1718 }
{ 1611, 1635, 1707, 1719 }
{ 1612, 1636, 1708, 1720 }
{ 1613, 1637, 1709, 1721 }
{   54,  138,  186,  102 }
{   55,  139,  187,  103 }
{   56,  140,  188,  104 }
{   57,  141,  189,  105 }
{   58,  142,  190,  106 }
{   59,  143,  191,  107 }
{   60,  144,  192,  108 }
{   61,  145,  193,  109 }
{   62,  146,  194,  110 }
{   63,  147,  195,  111 }
{   64,  148,  196,  112 }
{   65,  149,  197,  113 }
{  366,  570,  618,  450 }
{  367,  571,  619,  451 }
{  368,  572,  620,  452 }
{  369,  573,  621,  453 }
{  370,  574,  622,  454 }
{  371,  575,  623,  455 }
{  372,  576,  624,  456 }
{  373,  577,  625,  457 }
{  374,  578,  626,  458 }
{  375,  579,  627,  459 }
{  376,  580,  628,  460 }
{  377,  581,  629,  461 }
{  690,  870,  930,  762 }
{  691,  871,  931,  763 }
{  692,  872,  932,  764 }
{  693,  873,  933,  765 }
{  694,  874,  934,  766 }
{  695,  875,  935,  767 }
{  696,  876,  936,  768 }
{  697,  877,  937,  769 }
{  698,  878,  938,  770 }
{  699,  879,  939,  771 }
{  700,  880,  940,  772 }
{  701,  881,  941,  773 }
{ 1134, 1314, 1494, 1362 }
{ 1135, 1315, 1495, 1363 }
{ 1136, 1316, 1496, 1364 }
{ 1137, 1317, 1497, 1365 }
{ 1138, 1318, 1498, 1366 }
{ 1139, 1319, 1499, 1367 }
{ 1140, 1320, 1500, 1368 }
{ 1141, 1321, 1501, 1369 }
{ 1142, 1322, 1502, 1370 }
{ 1143, 1323, 1503, 1371 }
{ 1144, 1324, 1504, 1372 }
{ 1145, 1325, 1505, 1373 }
{ 1458, 1650, 1586, 1542 }
{ 1459, 1651, 1587, 1543 }
{ 1460, 1652, 1588, 1544 }
{ 1461, 1653, 1589, 1545 }
{ 1462, 1654, 1578, 1546 }
{ 1463, 1655, 1579, 1547 }
{ 1464, 1656, 1580, 1548 }
{ 1465, 1657, 1581, 1549 }
{ 1466, 1658, 1582, 1550 }
{ 1467, 1659, 1583, 1551 }
{ 1468, 1660, 1584, 1552 }
{ 1469, 1661, 1585, 1553 }
{    6,   54,  102,   42 }
{    7,   55,  103,   43 }
{    8,   56,  104,   44 }
{    9,   57,  105,   45 }
{   10,   58,  106,   46 }
{   11,   59,  107,   47 }
{   12,   60,  108,   48 }
{   13,   61,  109,   49 }
{   14,   62,  110,   50 }
{   15,   63,  111,   51 }
{   16,   64,  112,   52 }
{   17,   65,  113,   53 }
{  570,  750,  774,  618 }
{  571,  751,  775,  619 }
{  572,  752,  776,  620 }
{  573,  753,  777,  621 }
{  574,  754,  778,  622 }
{  575,  755,  779,  623 }
{  576,  756,  780,  624 }
{  577,  757,  781,  625 }
{  578,  758,  782,  626 }
{  579,  759,  783,  627 }
{  580,  760,  784,  628 }
{  581,  761,  785,  629 }
{  762,  930, 1062,  882 }
{  763,  931, 1063,  883 }
{  764,  932, 1064,  884 }
{  765,  933, 1065,  885 }
{  766,  934, 1066,  886 }
{  767,  935, 1067,  887 }
{  768,  936, 1068,  888 }
{  769,  937, 1069,  889 }
{  770,  938, 1070,  890 }
{  771,  939, 1071,  891 }
{  772,  940, 1072,  892 }
{  773,  941, 1073,  893 }
{  954, 1122, 1314, 1134 }
{  955, 1123, 1315, 1135 }
{  956, 1124, 1316, 1136 }
{  957, 1125, 1317, 1137 }
{  958, 1126, 1318, 1138 }
{  959, 1127, 1319, 1139 }
{  960, 1128, 1320, 1140 }
{  961, 1129, 1321, 1141 }
{  962, 1130, 1322, 1142 }
{  963, 1131, 1323, 1143 }
{  964, 1132, 1324, 1144 }
{  965, 1133, 1325, 1145 }
{ 1230, 1458, 1542, 1278 }
{ 1231, 1459, 1543, 1279 }
{ 1232, 1460, 1544, 1280 }
{ 1233, 1461, 1545, 1281 }
{ 1234, 1462, 1546, 1282 }
{ 1235, 1463, 1547, 1283 }
{ 1236, 1464, 1548, 1284 }
{ 1237, 1465, 1549, 1285 }
{ 1238, 1466, 1550, 1286 }
{ 1239, 1467, 1551, 1287 }
{ 1240, 1468, 1552, 1288 }
{ 1241, 1469, 1553, 1289 }
{    6,   42,   18,    0 }
{    7,   43,   19,    1 }
{    8,   44,   20,    0 }
{    9,   45,   21,    1 }
{   10,   46,   23,    2 }
{   11,   47,   22,    2 }
{   12,   48,   25,    3 }
{   13,   49,   24,    3 }
{   14,   50,   28,    5 }
{   15,   51,   29,    4 }
{   16,   52,   26,    4 }
{   17,   53,   27,    5 }
{  750,  942,  990,  774 }
{  751,  943,  993,  775 }
{  752,  944,  996,  776 }
{  753,  945,  995,  777 }
{  754,  946,  998,  778 }
{  755,  947, 1001,  779 }
{  756,  948, 1004,  780 }
{  757,  949, 1003,  781 }
{  758,  950, 1006,  782 }
{  759,  951, 1009,  783 }
{  760,  952, 1012,  784 }
{  761,  953, 1011,  785 }
{  822,  992, 1122,  954 }
{  823,  991, 1123,  955 }
{  824,  994, 1124,  956 }
{  825,  997, 1125,  957 }
{  826, 1000, 1126,  958 }
{  827,  999, 1127,  959 }
{  828, 1002, 1128,  960 }
{  829, 1005, 1129,  961 }
{  830, 1008, 1130,  962 }
{  831, 1007, 1131,  963 }
{  832, 1010, 1132,  964 }
{  833, 1013, 1133,  965 }
{  882, 1062, 1182,  992 }
{  883, 1063, 1183,  991 }
{  884, 1064, 1184,  994 }
{  885, 1065, 1185,  997 }
{  886, 1066, 1186, 1000 }
{  887, 1067, 1187,  999 }
{  888, 1068, 1188, 1002 }
{  889, 1069, 1189, 1005 }
{  890, 1070, 1190, 1008 }
{  891, 1071, 1191, 1007 }
{  892, 1072, 1192, 1010 }
{  893, 1073, 1193, 1013 }
{ 1038,  990, 1230, 1278 }
{ 1039,  993, 1231, 1279 }
{ 1040,  996, 1232, 1280 }
{ 1041,  995, 1233, 1281 }
{ 1042,  998, 1234, 1282 }
{ 1043, 1001, 1235, 1283 }
{ 1044, 1004, 1236, 1284 }
{ 1045, 1003, 1237, 1285 }
{ 1046, 1006, 1238, 1286 }
{ 1047, 1009, 1239, 1287 }
{ 1048, 1012, 1240, 1288 }
{ 1049, 1011, 1241, 1289 }
{    6,    0,   20,   32 }
{    7,    1,   21,   33 }
{    8,    0,   18,   30 }
{    9,    1,   19,   31 }
{   10,    2,   22,   34 }
{   11,    2,   23,   35 }
{   12,    3,   24,   36 }
{   13,    3,   25,   37 }
{   14,    5,   27,   39 }
{   15,    4,   26,   38 }
{   16,    4,   29,   41 }
{   17,    5,   28,   40 }
{  714,  882,  992,  822 }
{  715,  883,  991,  823 }
{  716,  884,  994,  824 }
{  717,  885,  997,  825 }
{  718,  886, 1000,  826 }
{  719,  887,  999,  827 }
{  720,  888, 1002,  828 }
{  721,  889, 1005,  829 }
{  722,  890, 1008,  830 }
{  723,  891, 1007,  831 }
{  724,  892, 1010,  832 }
{  725,  893, 1013,  833 }
{  774,  990, 1038,  846 }
{  775,  993, 1039,  847 }
{  776,  996, 1040,  848 }
{  777,  995, 1041,  849 }
{  778,  998, 1042,  850 }
{  779, 1001, 1043,  851 }
{  780, 1004, 1044,  852 }
{  781, 1003, 1045,  853 }
{  782, 1006, 1046,  854 }
{  783, 1009, 1047,  855 }
{  784, 1012, 1048,  856 }
{  785, 1011, 1049,  857 }
{  942, 1194, 1230,  990 }
{  943, 1195, 1231,  993 }
{  944, 1196, 1232,  996 }
{  945, 1197, 1233,  995 }
{  946, 1198, 1234,  998 }
{  947, 1199, 1235, 1001 }
{  948, 1200, 1236, 1004 }
{  949, 1201, 1237, 1003 }
{  950, 1202, 1238, 1006 }
{  951, 1203, 1239, 1009 }
{  952, 1204, 1240, 1012 }
{  953, 1205, 1241, 1011 }
{ 1122,  992, 1182, 1338 }
{ 1123,  991, 1183, 1339 }
{ 1124,  994, 1184, 1340 }
{ 1125,  997, 1185, 1341 }
{ 1126, 1000, 1186, 1342 }
{ 1127,  999, 1187, 1343 }
{ 1128, 1002, 1188, 1344 }
{ 1129, 1005, 1189, 1345 }
{ 1130, 1008, 1190, 1346 }
{ 1131, 1007, 1191, 1347 }
{ 1132, 1010, 1192, 1348 }
{ 1133, 1013, 1193, 1349 }
{    6,   32,   80,   54 }
{    7,   33,   81,   55 }
{    8,   30,   78,   56 }
{    9,   31,   79,   57 }
{   10,   34,   82,   58 }
{   11,   35,   83,   59 }
{   12,   36,   84,   60 }
{   13,   37,   85,   61 }
{   14,   39,   87,   62 }
{   15,   38,   86,   63 }
{   16,   41,   89,   64 }
{   17,   40,   88,   65 }
{  618,  774,  846,  666 }
{  619,  775,  847,  667 }
{  620,  776,  848,  668 }
{  621,  777,  849,  669 }
{  622,  778,  850,  670 }
{  623,  779,  851,  671 }
{  624,  780,  852,  672 }
{  625,  781,  853,  673 }
{  626,  782,  854,  674 }
{  627,  783,  855,  675 }
{  628,  784,  856,  676 }
{  629,  785,  857,  677 }
{  630,  762,  882,  714 }
{  631,  763,  883,  715 }
{  632,  764,  884,  716 }
{  633,  765,  885,  717 }
{  634,  766,  886,  718 }
{  635,  767,  887,  719 }
{  636,  768,  888,  720 }
{  637,  769,  889,  721 }
{  638,  770,  890,  722 }
{  639,  771,  891,  723 }
{  640,  772,  892,  724 }
{  641,  773,  893,  725 }
{ 1122, 1338, 1482, 1314 }
{ 1123, 1339, 1483, 1315 }
{ 1124, 1340, 1484, 1316 }
{ 1125, 1341, 1485, 1317 }
{ 1126, 1342, 1486, 1318 }
{ 1127, 1343, 1487, 1319 }
{ 1128, 1344, 1488, 1320 }
{ 1129, 1345, 1489, 1321 }
{ 1130, 1346, 1490, 1322 }
{ 1131, 1347, 1491, 1323 }
{ 1132, 1348, 1492, 1324 }
{ 1133, 1349, 1493, 1325 }
{ 1194, 1410, 1458, 1230 }
{ 1195, 1411, 1459, 1231 }
{ 1196, 1412, 1460, 1232 }
{ 1197, 1413, 1461, 1233 }
{ 1198, 1414, 1462, 1234 }
{ 1199, 1415, 1463, 1235 }
{ 1200, 1416, 1464, 1236 }
{ 1201, 1417, 1465, 1237 }
{ 1202, 1418, 1466, 1238 }
{ 1203, 1419, 1467, 1239 }
{ 1204, 1420, 1468, 1240 }
{ 1205, 1421, 1469, 1241 }
{   54,   80,  162,  138 }
{   55,   81,  163,  139 }
{   56,   78,  164,  140 }
{   57,   79,  165,  141 }
{   58,   82,  166,  142 }
{   59,   83,  167,  143 }
{   60,   84,  168,  144 }
{   61,   85,  169,  145 }
{   62,   87,  170,  146 }
{   63,   86,  171,  147 }
{   64,   89,  172,  148 }
{   65,   88,  173,  149 }
{  450,  618,  666,  510 }
{  451,  619,  667,  511 }
{  452,  620,  668,  512 }
{  453,  621,  669,  513 }
{  454,  622,  670,  514 }
{  455,  623,  671,  515 }
{  456,  624,  672,  516 }
{  457,  625,  673,  517 }
{  458,  626,  674,  518 }
{  459,  627,  675,  519 }
{  460,  628,  676,  520 }
{  461,  629,  677,  521 }
{  558,  690,  762,  630 }
{  559,  691,  763,  631 }
{  560,  692,  764,  632 }
{  561,  693,  765,  633 }
{  562,  694,  766,  634 }
{  563,  695,  767,  635 }
{  564,  696,  768,  636 }
{  565,  697,  769,  637 }
{  566,  698,  770,  638 }
{  567,  699,  771,  639 }
{  568,  700,  772,  640 }
{  569,  701,  773,  641 }
{ 1314, 1482, 1590, 1494 }
{ 1315, 1483, 1591, 1495 }
{ 1316, 1484, 1592, 1496 }
{ 1317, 1485, 1593, 1497 }
{ 1318, 1486, 1594, 1498 }
{ 1319, 1487, 1595, 1499 }
{ 1320, 1488, 1596, 1500 }
{ 1321, 1489, 1597, 1501 }
{ 1322, 1490, 1598, 1502 }
{ 1323, 1491, 1599, 1503 }
{ 1324, 1492, 1600, 1504 }
{ 1325, 1493, 1601, 1505 }
{ 1410, 1602, 1650, 1458 }
{ 1411, 1603, 1651, 1459 }
{ 1412, 1604, 1652, 1460 }
{ 1413, 1605, 1653, 1461 }
{ 1414, 1606, 1654, 1462 }
{ 1415, 1607, 1655, 1463 }
{ 1416, 1608, 1656, 1464 }
{ 1417, 1609, 1657, 1465 }
{ 1418, 1610, 1658, 1466 }
{ 1419, 1611, 1659, 1467 }
{ 1420, 1612, 1660, 1468 }
{ 1421, 1613, 1661, 1469 }
{  138,  162,  258,  270 }
{  139,  163,  259,  271 }
{  140,  164,  260,  272 }
{  141,  165,  261,  273 }
{  142,  166,  262,  274 }
{  143,  167,  263,  275 }
{  144,  168,  264,  276 }
{  145,  169,  265,  277 }
{  146,  170,  266,  278 }
{  147,  171,  267,  279 }
{  148,  172,  268,  280 }
{  149,  173,  269,  281 }
{  306,  450,  510,  390 }
{  307,  451,  511,  391 }
{  308,  452,  512,  392 }
{  309,  453,  513,  393 }
{  310,  454,  514,  394 }
{  311,  455,  515,  395 }
{  312,  456,  516,  396 }
{  313,  457,  517,  397 }
{  314,  458,  518,  398 }
{  315,  459,  519,  399 }
{  316,  460,  520,  400 }
{  317,  461,  521,  401 }
{  498,  654,  690,  558 }
{  499,  655,  691,  559 }
{  500,  656,  692,  560 }
{  501,  657,  693,  561 }
{  502,  658,  694,  562 }
{  503,  659,  695,  563 }
{  504,  660,  696,  564 }
{  505,  661,  697,  565 }
{  506,  662,  698,  566 }
{  507,  663,  699,  567 }
{  508,  664,  700,  568 }
{  509,  665,  701,  569 }
{ 1494, 1590, 1674, 1638 }
{ 1495, 1591, 1675, 1639 }
{ 1496, 1592, 1676, 1640 }
{ 1497, 1593, 1677, 1641 }
{ 1498, 1594, 1678, 1642 }
{ 1499, 1595, 1679, 1643 }
{ 1500, 1596, 1680, 1644 }
{ 1501, 1597, 1681, 1645 }
{ 1502, 1598, 1682, 1646 }
{ 1503, 1599, 1683, 1647 }
{ 1504, 1600, 1684, 1648 }
{ 1505, 1601, 1685, 1649 }
{ 1602, 1710, 1670, 1650 }
{ 1603, 1711, 1671, 1651 }
{ 1604, 1712, 1672, 1652 }
{ 1605, 1713, 1673, 1653 }
{ 1606, 1714, 1662, 1654 }
{ 1607, 1715, 1663, 1655 }
{ 1608, 1716, 1664, 1656 }
{ 1609, 1717, 1665, 1657 }
{ 1610, 1718, 1666, 1658 }
{ 1611, 1719, 1667, 1659 }
{ 1612, 1720, 1668, 1660 }
{ 1613, 1721, 1669, 1661 }
