Geodesic Rhombic Triacontahedron Pattern 25 [5,5]

C0   = 0.0384833389498218787333765106803
C1   = 0.0533835597975290307355732652433
C2   = 0.0615438259718810770657462033343
C3   = 0.06331838684194895310282970102646
C4   = 0.0730499828702025130290681438056
C5   = 0.0747867057526049046578119959782
C6   = 0.0838605437742760865831396503273
C7   = 0.0894536370705061239224727290252
C8   = 0.0895690718724971778950149562354
C9   = 0.08964294832285894194362410193952
C10  = 0.0911844666595982555565531877656
C11  = 0.0913736059461016974388383346871
C12  = 0.0958369832240672986756722863981
C13  = 0.0959067353155050047300011369057
C14  = 0.103971534666314197900527282044
C15  = 0.117431639965804471584490798343
C16  = 0.117561964815736324236025024551
C17  = 0.128170265550133935393385261221
C18  = 0.134728208004476973806936483564
C19  = 0.144925802630482621823868494427
C20  = 0.1521756669409650660363812835651
C21  = 0.154938968404050091762839983113
C22  = 0.163090999576452923662310227699
C23  = 0.169771901901135051453098067236
C24  = 0.174826843615829207897112944892
C25  = 0.177876076547556373579413036744
C26  = 0.181108831687126305027543800891
C27  = 0.185102137226832999830368901226
C28  = 0.186803024706141871960295693487
C29  = 0.188306708007229224474971520041
C30  = 0.190219254856080641620206192836
C31  = 0.201292183740080558167630448670
C32  = 0.201348661066833598875022101419
C33  = 0.2114955029079776669122844704148
C34  = 0.222168889827899462240370552672
C35  = 0.233090288743084004555927768262
C36  = 0.235555731755784104641566102014
C37  = 0.241279459822786842125273152570
C38  = 0.2506965170595990995191243472946
C39  = 0.251417609728974880843989052439
C40  = 0.256193749728432230758632863547
C41  = 0.258829634517177716743720431818
C42  = 0.262367346161185263361042298456
C43  = 0.26950490943357098107180063559501
C44  = 0.276905689332814996419484842562
C45  = 0.277760345077735348397444249067
C46  = 0.283667804970939819622696835188
C47  = 0.286426832114169593436048279393
C48  = 0.289254326729229394331094827256
C49  = 0.289795704240271342650719113601
C50  = 0.309334542941767305674293820574
C51  = 0.313831803018676687549074528130
C52  = 0.315114731644754889831681444701
C53  = 0.3158370396916032788344802844548
C54  = 0.322916395810412346160698629407
C55  = 0.325788977195419426147054308989
C56  = 0.3358462743084907901753000769447
C57  = 0.3422069121728600894581499537949
C58  = 0.342570163921296657376475564159
C59  = 0.349955672203017509448552986367
C60  = 0.353740952107286960799880633143
C61  = 0.356861266385338803970753902366
C62  = 0.365572030017772840140702262833
C63  = 0.367884461366868548192071999027
C64  = 0.373062316030403757717184871768
C65  = 0.377382082066149373788481370854
C66  = 0.37834443770964936470553281576548
C67  = 0.380601068993920255161250607063
C68  = 0.3909532381244590904405465785152
C69  = 0.395871120524897120680925177994
C70  = 0.396597640134810666742653371641
C71  = 0.404704945198911409408671695576
C72  = 0.405241177605228735803863563832
C73  = 0.406597967219501848602449768169
C74  = 0.4224963980306244591822365660749
C75  = 0.424519283626907003706279865367
C76  = 0.425299911378996914097772805970
C77  = 0.436068103598480018734756729968
C78  = 0.438606773374989911385536818301
C79  = 0.438713624189724743235618828794
C80  = 0.445966774692727146198336264356
C81  = 0.452226220166560430824700547132
C82  = 0.463577595735648678006385639331
C83  = 0.467913754563416523121266860080
C84  = 0.470780128548570568552550708294
C85  = 0.470904535927397647678262914492
C86  = 0.477817922458736438832031727772
C87  = 0.480522309996956268335561534751
C88  = 0.489101721379504822387003214159
C89  = 0.500513804374193385491944501028
C90  = 0.500906608958751919003536295449
C91  = 0.502708973227242600617495221597
C92  = 0.503573671508695646123187616444
C93  = 0.515730310804736196100456758066
C94  = 0.518185149155601838544757995132
C95  = 0.522489703945861322001853138531
C96  = 0.526182517463847777128611111403
C97  = 0.527954493108843612107606249160
C98  = 0.535343931918907891593800330069
C99  = 0.540610145722273603141961322073
C100 = 0.542700460316021427779078856058
C101 = 0.546762555690169757874531920560
C102 = 0.548349685106837346264005270911
C103 = 0.561982595402264563645954800421
C104 = 0.563951034339978797965891964351
C105 = 0.568563692565730006325739008602
C106 = 0.572133696578409951487428686384
C107 = 0.572364883722339042627670507507
C108 = 0.577413658279808514906079440641
C109 = 0.584033529917742399067599341866
C110 = 0.584618611712597142890774740807
C111 = 0.588243770539445084771138013533
C112 = 0.596965245363936913285736691211
C113 = 0.606872048351231010979023320746
C114 = 0.610617035528231830220805197064
C115 = 0.613507132600563536763147345190
C116 = 0.620143807011340123889706118524
C117 = 0.621914040773103939633446370621
C118 = 0.622069706166073435023391075199
C119 = 0.625448112627438890159430029177
C120 = 0.629076874508885854396921556671
C121 = 0.636382504317187102884601265761
C122 = 0.637795233941995413964599463838
C123 = 0.641708461596123087881745604776
C124 = 0.657889330717769568375955937327
C125 = 0.666102561362958081147133664384
C126 = 0.670211706846613320032413114939
C127 = 0.675297600570632970369019635864
C128 = 0.679110106198816996999662176442
C129 = 0.679401652809660813043468832671
C130 = 0.682293504969645233763412852439
C131 = 0.686125657381466330561764033153
C132 = 0.688899355722007036551665156223
C133 = 0.6893032904345890109046611655954
C134 = 0.709680667016656105520448421532
C135 = 0.709853555266622681536842148258
C136 = 0.729736124484416416577512001399
C137 = 0.729986565244295779222144796199
C138 = 0.730938772566368008347638143532
C139 = 0.734469649132883451228090841660
C140 = 0.738804552307670756200803325436
C141 = 0.740354038983501300785128547804
C142 = 0.742720039651609766146298533697
C143 = 0.744584123139925951161738326093
C144 = 0.761738249219631881770177213417
C145 = 0.777501429927688623430671691842
C146 = 0.778260235734193964506160498510
C147 = 0.784736338946074335227337442621
C148 = 0.785271953371166137760708211252
C149 = 0.785967272779430741765796842226
C150 = 0.800830769367435054954070147948
C151 = 0.802393414524760733961693169684
C152 = 0.8075196320030859642571589854652
C153 = 0.809848347315960691166238321603
C154 = 0.821171031903894034778697983964
C155 = 0.8245982586481372859248951573248
C156 = 0.834732229883524305988712805963
C157 = 0.851381197542490823713801315356
C158 = 0.853203964504100754794030075191
C159 = 0.854248314363331102235581090854
C160 = 0.856986182746373370579075213186
C161 = 0.857748679973016065842938649128
C162 = 0.8646196354207061972832884046451
C163 = 0.867070501800185801325686648078
C164 = 0.876456420030764393317261399018
C165 = 0.8846803988824518894339550931504
C166 = 0.885270624237318085155554420217
C167 = 0.896667752591502353629742434346
C168 = 0.906949925728154745228297971273
C169 = 0.908814849113924381927051180276
C170 = 0.909306940446744449219944989766
C171 = 0.911491166669400162157686267509
C172 = 0.9199553793404970581977181942352
C173 = 0.922427232558171245254540186269
C174 = 0.92573176717298672005248664176501
C175 = 0.9295230643577516381065942271846
C176 = 0.931491350299065201127652499411
C177 = 0.934274924665147318876833343007
C178 = 0.944986101976485781184089704606
C179 = 0.945932784206759550036760427513
C180 = 0.949515778644559325275910057238
C181 = 0.951798414403216214835213488034
C182 = 0.956638538960782913468461394332
C183 = 0.960377184076255205039572768827
C184 = 0.964484204694400597009921934780
C185 = 0.968580562621766412248404568590
C186 = 0.968655979538890207374563659927
C187 = 0.979934364381634768696208192514
C188 = 0.981391593967432084955219344217
C189 = 0.983915373768983177339895558571
C190 = 0.985476179879894501110150749354
C191 = 0.99283636588883403396666186920497
C192 = 0.996884167349246046333950372874
C193 = 0.996962646012418345681161819697
C194 = 1.00102760874838677098388900206

V0    = (  0.0,   0.0,  C194)
V1    = (  0.0,   0.0, -C194)
V2    = ( C194,   0.0,   0.0)
V3    = (-C194,   0.0,   0.0)
V4    = (  0.0,  C194,   0.0)
V5    = (  0.0, -C194,   0.0)
V6    = (  0.0,    C9,  C193)
V7    = (  0.0,    C9, -C193)
V8    = (  0.0,   -C9,  C193)
V9    = (  0.0,   -C9, -C193)
V10   = ( C193,   0.0,    C9)
V11   = ( C193,   0.0,   -C9)
V12   = (-C193,   0.0,    C9)
V13   = (-C193,   0.0,   -C9)
V14   = (   C9,  C193,   0.0)
V15   = (   C9, -C193,   0.0)
V16   = (  -C9,  C193,   0.0)
V17   = (  -C9, -C193,   0.0)
V18   = (  C11,   0.0,  C192)
V19   = (  C11,   0.0, -C192)
V20   = ( -C11,   0.0,  C192)
V21   = ( -C11,   0.0, -C192)
V22   = ( C192,   C11,   0.0)
V23   = ( C192,  -C11,   0.0)
V24   = (-C192,   C11,   0.0)
V25   = (-C192,  -C11,   0.0)
V26   = (  0.0,  C192,   C11)
V27   = (  0.0,  C192,  -C11)
V28   = (  0.0, -C192,   C11)
V29   = (  0.0, -C192,  -C11)
V30   = (   C7,   C10,  C191)
V31   = (   C7,   C10, -C191)
V32   = (   C7,  -C10,  C191)
V33   = (   C7,  -C10, -C191)
V34   = (  -C7,   C10,  C191)
V35   = (  -C7,   C10, -C191)
V36   = (  -C7,  -C10,  C191)
V37   = (  -C7,  -C10, -C191)
V38   = ( C191,    C7,   C10)
V39   = ( C191,    C7,  -C10)
V40   = ( C191,   -C7,   C10)
V41   = ( C191,   -C7,  -C10)
V42   = (-C191,    C7,   C10)
V43   = (-C191,    C7,  -C10)
V44   = (-C191,   -C7,   C10)
V45   = (-C191,   -C7,  -C10)
V46   = (  C10,  C191,    C7)
V47   = (  C10,  C191,   -C7)
V48   = (  C10, -C191,    C7)
V49   = (  C10, -C191,   -C7)
V50   = ( -C10,  C191,    C7)
V51   = ( -C10,  C191,   -C7)
V52   = ( -C10, -C191,    C7)
V53   = ( -C10, -C191,   -C7)
V54   = (  0.0,   C24,  C190)
V55   = (  0.0,   C24, -C190)
V56   = (  0.0,  -C24,  C190)
V57   = (  0.0,  -C24, -C190)
V58   = ( C190,   0.0,   C24)
V59   = ( C190,   0.0,  -C24)
V60   = (-C190,   0.0,   C24)
V61   = (-C190,   0.0,  -C24)
V62   = (  C24,  C190,   0.0)
V63   = (  C24, -C190,   0.0)
V64   = ( -C24,  C190,   0.0)
V65   = ( -C24, -C190,   0.0)
V66   = (  C27,   0.0,  C189)
V67   = (  C27,   0.0, -C189)
V68   = ( -C27,   0.0,  C189)
V69   = ( -C27,   0.0, -C189)
V70   = ( C189,   C27,   0.0)
V71   = ( C189,  -C27,   0.0)
V72   = (-C189,   C27,   0.0)
V73   = (-C189,  -C27,   0.0)
V74   = (  0.0,  C189,   C27)
V75   = (  0.0,  C189,  -C27)
V76   = (  0.0, -C189,   C27)
V77   = (  0.0, -C189,  -C27)
V78   = (   C6,   C25,  C188)
V79   = (   C6,   C25, -C188)
V80   = (   C6,  -C25,  C188)
V81   = (   C6,  -C25, -C188)
V82   = (  -C6,   C25,  C188)
V83   = (  -C6,   C25, -C188)
V84   = (  -C6,  -C25,  C188)
V85   = (  -C6,  -C25, -C188)
V86   = ( C188,    C6,   C25)
V87   = ( C188,    C6,  -C25)
V88   = ( C188,   -C6,   C25)
V89   = ( C188,   -C6,  -C25)
V90   = (-C188,    C6,   C25)
V91   = (-C188,    C6,  -C25)
V92   = (-C188,   -C6,   C25)
V93   = (-C188,   -C6,  -C25)
V94   = (  C25,  C188,    C6)
V95   = (  C25,  C188,   -C6)
V96   = (  C25, -C188,    C6)
V97   = (  C25, -C188,   -C6)
V98   = ( -C25,  C188,    C6)
V99   = ( -C25,  C188,   -C6)
V100  = ( -C25, -C188,    C6)
V101  = ( -C25, -C188,   -C6)
V102  = (  C26,   C12,  C187)
V103  = (  C26,   C12, -C187)
V104  = (  C26,  -C12,  C187)
V105  = (  C26,  -C12, -C187)
V106  = ( -C26,   C12,  C187)
V107  = ( -C26,   C12, -C187)
V108  = ( -C26,  -C12,  C187)
V109  = ( -C26,  -C12, -C187)
V110  = ( C187,   C26,   C12)
V111  = ( C187,   C26,  -C12)
V112  = ( C187,  -C26,   C12)
V113  = ( C187,  -C26,  -C12)
V114  = (-C187,   C26,   C12)
V115  = (-C187,   C26,  -C12)
V116  = (-C187,  -C26,   C12)
V117  = (-C187,  -C26,  -C12)
V118  = (  C12,  C187,   C26)
V119  = (  C12,  C187,  -C26)
V120  = (  C12, -C187,   C26)
V121  = (  C12, -C187,  -C26)
V122  = ( -C12,  C187,   C26)
V123  = ( -C12,  C187,  -C26)
V124  = ( -C12, -C187,   C26)
V125  = ( -C12, -C187,  -C26)
V126  = (  C23,   C28,  C186)
V127  = (  C23,   C28, -C186)
V128  = (  C23,  -C28,  C186)
V129  = (  C23,  -C28, -C186)
V130  = ( -C23,   C28,  C186)
V131  = ( -C23,   C28, -C186)
V132  = ( -C23,  -C28,  C186)
V133  = ( -C23,  -C28, -C186)
V134  = ( C186,   C23,   C28)
V135  = ( C186,   C23,  -C28)
V136  = ( C186,  -C23,   C28)
V137  = ( C186,  -C23,  -C28)
V138  = (-C186,   C23,   C28)
V139  = (-C186,   C23,  -C28)
V140  = (-C186,  -C23,   C28)
V141  = (-C186,  -C23,  -C28)
V142  = (  C28,  C186,   C23)
V143  = (  C28,  C186,  -C23)
V144  = (  C28, -C186,   C23)
V145  = (  C28, -C186,  -C23)
V146  = ( -C28,  C186,   C23)
V147  = ( -C28,  C186,  -C23)
V148  = ( -C28, -C186,   C23)
V149  = ( -C28, -C186,  -C23)
V150  = (  0.0,   C39,  C185)
V151  = (  0.0,   C39, -C185)
V152  = (  0.0,  -C39,  C185)
V153  = (  0.0,  -C39, -C185)
V154  = ( C185,   0.0,   C39)
V155  = ( C185,   0.0,  -C39)
V156  = (-C185,   0.0,   C39)
V157  = (-C185,   0.0,  -C39)
V158  = (  C39,  C185,   0.0)
V159  = (  C39, -C185,   0.0)
V160  = ( -C39,  C185,   0.0)
V161  = ( -C39, -C185,   0.0)
V162  = (   C5,   C40,  C184)
V163  = (   C5,   C40, -C184)
V164  = (   C5,  -C40,  C184)
V165  = (   C5,  -C40, -C184)
V166  = (  -C5,   C40,  C184)
V167  = (  -C5,   C40, -C184)
V168  = (  -C5,  -C40,  C184)
V169  = (  -C5,  -C40, -C184)
V170  = ( C184,    C5,   C40)
V171  = ( C184,    C5,  -C40)
V172  = ( C184,   -C5,   C40)
V173  = ( C184,   -C5,  -C40)
V174  = (-C184,    C5,   C40)
V175  = (-C184,    C5,  -C40)
V176  = (-C184,   -C5,   C40)
V177  = (-C184,   -C5,  -C40)
V178  = (  C40,  C184,    C5)
V179  = (  C40,  C184,   -C5)
V180  = (  C40, -C184,    C5)
V181  = (  C40, -C184,   -C5)
V182  = ( -C40,  C184,    C5)
V183  = ( -C40,  C184,   -C5)
V184  = ( -C40, -C184,    C5)
V185  = ( -C40, -C184,   -C5)
V186  = (  C46,   0.0,  C183)
V187  = (  C46,   0.0, -C183)
V188  = ( -C46,   0.0,  C183)
V189  = ( -C46,   0.0, -C183)
V190  = ( C183,   C46,   0.0)
V191  = ( C183,  -C46,   0.0)
V192  = (-C183,   C46,   0.0)
V193  = (-C183,  -C46,   0.0)
V194  = (  0.0,  C183,   C46)
V195  = (  0.0,  C183,  -C46)
V196  = (  0.0, -C183,   C46)
V197  = (  0.0, -C183,  -C46)
V198  = (  C44,   C14,  C182)
V199  = (  C44,   C14, -C182)
V200  = (  C44,  -C14,  C182)
V201  = (  C44,  -C14, -C182)
V202  = ( -C44,   C14,  C182)
V203  = ( -C44,   C14, -C182)
V204  = ( -C44,  -C14,  C182)
V205  = ( -C44,  -C14, -C182)
V206  = ( C182,   C44,   C14)
V207  = ( C182,   C44,  -C14)
V208  = ( C182,  -C44,   C14)
V209  = ( C182,  -C44,  -C14)
V210  = (-C182,   C44,   C14)
V211  = (-C182,   C44,  -C14)
V212  = (-C182,  -C44,   C14)
V213  = (-C182,  -C44,  -C14)
V214  = (  C14,  C182,   C44)
V215  = (  C14,  C182,  -C44)
V216  = (  C14, -C182,   C44)
V217  = (  C14, -C182,  -C44)
V218  = ( -C14,  C182,   C44)
V219  = ( -C14,  C182,  -C44)
V220  = ( -C14, -C182,   C44)
V221  = ( -C14, -C182,  -C44)
V222  = (  C20,   C43,  C181)
V223  = (  C20,   C43, -C181)
V224  = (  C20,  -C43,  C181)
V225  = (  C20,  -C43, -C181)
V226  = ( -C20,   C43,  C181)
V227  = ( -C20,   C43, -C181)
V228  = ( -C20,  -C43,  C181)
V229  = ( -C20,  -C43, -C181)
V230  = ( C181,   C20,   C43)
V231  = ( C181,   C20,  -C43)
V232  = ( C181,  -C20,   C43)
V233  = ( C181,  -C20,  -C43)
V234  = (-C181,   C20,   C43)
V235  = (-C181,   C20,  -C43)
V236  = (-C181,  -C20,   C43)
V237  = (-C181,  -C20,  -C43)
V238  = (  C43,  C181,   C20)
V239  = (  C43,  C181,  -C20)
V240  = (  C43, -C181,   C20)
V241  = (  C43, -C181,  -C20)
V242  = ( -C43,  C181,   C20)
V243  = ( -C43,  C181,  -C20)
V244  = ( -C43, -C181,   C20)
V245  = ( -C43, -C181,  -C20)
V246  = (  0.0,   C52,  C180)
V247  = (  0.0,   C52, -C180)
V248  = (  0.0,  -C52,  C180)
V249  = (  0.0,  -C52, -C180)
V250  = ( C180,   0.0,   C52)
V251  = ( C180,   0.0,  -C52)
V252  = (-C180,   0.0,   C52)
V253  = (-C180,   0.0,  -C52)
V254  = (  C52,  C180,   0.0)
V255  = (  C52, -C180,   0.0)
V256  = ( -C52,  C180,   0.0)
V257  = ( -C52, -C180,   0.0)
V258  = (  C41,   C32,  C179)
V259  = (  C41,   C32, -C179)
V260  = (  C41,  -C32,  C179)
V261  = (  C41,  -C32, -C179)
V262  = ( -C41,   C32,  C179)
V263  = ( -C41,   C32, -C179)
V264  = ( -C41,  -C32,  C179)
V265  = ( -C41,  -C32, -C179)
V266  = ( C179,   C41,   C32)
V267  = ( C179,   C41,  -C32)
V268  = ( C179,  -C41,   C32)
V269  = ( C179,  -C41,  -C32)
V270  = (-C179,   C41,   C32)
V271  = (-C179,   C41,  -C32)
V272  = (-C179,  -C41,   C32)
V273  = (-C179,  -C41,  -C32)
V274  = (  C32,  C179,   C41)
V275  = (  C32,  C179,  -C41)
V276  = (  C32, -C179,   C41)
V277  = (  C32, -C179,  -C41)
V278  = ( -C32,  C179,   C41)
V279  = ( -C32,  C179,  -C41)
V280  = ( -C32, -C179,   C41)
V281  = ( -C32, -C179,  -C41)
V282  = (   C2,   C54,  C178)
V283  = (   C2,   C54, -C178)
V284  = (   C2,  -C54,  C178)
V285  = (   C2,  -C54, -C178)
V286  = (  -C2,   C54,  C178)
V287  = (  -C2,   C54, -C178)
V288  = (  -C2,  -C54,  C178)
V289  = (  -C2,  -C54, -C178)
V290  = ( C178,    C2,   C54)
V291  = ( C178,    C2,  -C54)
V292  = ( C178,   -C2,   C54)
V293  = ( C178,   -C2,  -C54)
V294  = (-C178,    C2,   C54)
V295  = (-C178,    C2,  -C54)
V296  = (-C178,   -C2,   C54)
V297  = (-C178,   -C2,  -C54)
V298  = (  C54,  C178,    C2)
V299  = (  C54,  C178,   -C2)
V300  = (  C54, -C178,    C2)
V301  = (  C54, -C178,   -C2)
V302  = ( -C54,  C178,    C2)
V303  = ( -C54,  C178,   -C2)
V304  = ( -C54, -C178,    C2)
V305  = ( -C54, -C178,   -C2)
V306  = (  0.0,   C61,  C177)
V307  = (  0.0,   C61, -C177)
V308  = (  0.0,  -C61,  C177)
V309  = (  0.0,  -C61, -C177)
V310  = ( C177,   0.0,   C61)
V311  = ( C177,   0.0,  -C61)
V312  = (-C177,   0.0,   C61)
V313  = (-C177,   0.0,  -C61)
V314  = (  C61,  C177,   0.0)
V315  = (  C61, -C177,   0.0)
V316  = ( -C61,  C177,   0.0)
V317  = ( -C61, -C177,   0.0)
V318  = (  C17,   C58,  C176)
V319  = (  C17,   C58, -C176)
V320  = (  C17,  -C58,  C176)
V321  = (  C17,  -C58, -C176)
V322  = ( -C17,   C58,  C176)
V323  = ( -C17,   C58, -C176)
V324  = ( -C17,  -C58,  C176)
V325  = ( -C17,  -C58, -C176)
V326  = ( C176,   C17,   C58)
V327  = ( C176,   C17,  -C58)
V328  = ( C176,  -C17,   C58)
V329  = ( C176,  -C17,  -C58)
V330  = (-C176,   C17,   C58)
V331  = (-C176,   C17,  -C58)
V332  = (-C176,  -C17,   C58)
V333  = (-C176,  -C17,  -C58)
V334  = (  C58,  C176,   C17)
V335  = (  C58,  C176,  -C17)
V336  = (  C58, -C176,   C17)
V337  = (  C58, -C176,  -C17)
V338  = ( -C58,  C176,   C17)
V339  = ( -C58,  C176,  -C17)
V340  = ( -C58, -C176,   C17)
V341  = ( -C58, -C176,  -C17)
V342  = (  C35,   C48,  C175)
V343  = (  C35,   C48, -C175)
V344  = (  C35,  -C48,  C175)
V345  = (  C35,  -C48, -C175)
V346  = ( -C35,   C48,  C175)
V347  = ( -C35,   C48, -C175)
V348  = ( -C35,  -C48,  C175)
V349  = ( -C35,  -C48, -C175)
V350  = ( C175,   C35,   C48)
V351  = ( C175,   C35,  -C48)
V352  = ( C175,  -C35,   C48)
V353  = ( C175,  -C35,  -C48)
V354  = (-C175,   C35,   C48)
V355  = (-C175,   C35,  -C48)
V356  = (-C175,  -C35,   C48)
V357  = (-C175,  -C35,  -C48)
V358  = (  C48,  C175,   C35)
V359  = (  C48,  C175,  -C35)
V360  = (  C48, -C175,   C35)
V361  = (  C48, -C175,  -C35)
V362  = ( -C48,  C175,   C35)
V363  = ( -C48,  C175,  -C35)
V364  = ( -C48, -C175,   C35)
V365  = ( -C48, -C175,  -C35)
V366  = (   C0,   C65,  C174)
V367  = (   C0,   C65, -C174)
V368  = (   C0,  -C65,  C174)
V369  = (   C0,  -C65, -C174)
V370  = (  -C0,   C65,  C174)
V371  = (  -C0,   C65, -C174)
V372  = (  -C0,  -C65,  C174)
V373  = (  -C0,  -C65, -C174)
V374  = ( C174,    C0,   C65)
V375  = ( C174,    C0,  -C65)
V376  = ( C174,   -C0,   C65)
V377  = ( C174,   -C0,  -C65)
V378  = (-C174,    C0,   C65)
V379  = (-C174,    C0,  -C65)
V380  = (-C174,   -C0,   C65)
V381  = (-C174,   -C0,  -C65)
V382  = (  C65,  C174,    C0)
V383  = (  C65,  C174,   -C0)
V384  = (  C65, -C174,    C0)
V385  = (  C65, -C174,   -C0)
V386  = ( -C65,  C174,    C0)
V387  = ( -C65,  C174,   -C0)
V388  = ( -C65, -C174,    C0)
V389  = ( -C65, -C174,   -C0)
V390  = (  C68,   0.0,  C173)
V391  = (  C68,   0.0, -C173)
V392  = ( -C68,   0.0,  C173)
V393  = ( -C68,   0.0, -C173)
V394  = ( C173,   C68,   0.0)
V395  = ( C173,  -C68,   0.0)
V396  = (-C173,   C68,   0.0)
V397  = (-C173,  -C68,   0.0)
V398  = (  0.0,  C173,   C68)
V399  = (  0.0,  C173,  -C68)
V400  = (  0.0, -C173,   C68)
V401  = (  0.0, -C173,  -C68)
V402  = (  C66,   C16,  C172)
V403  = (  C66,   C16, -C172)
V404  = (  C66,  -C16,  C172)
V405  = (  C66,  -C16, -C172)
V406  = ( -C66,   C16,  C172)
V407  = ( -C66,   C16, -C172)
V408  = ( -C66,  -C16,  C172)
V409  = ( -C66,  -C16, -C172)
V410  = ( C172,   C66,   C16)
V411  = ( C172,   C66,  -C16)
V412  = ( C172,  -C66,   C16)
V413  = ( C172,  -C66,  -C16)
V414  = (-C172,   C66,   C16)
V415  = (-C172,   C66,  -C16)
V416  = (-C172,  -C66,   C16)
V417  = (-C172,  -C66,  -C16)
V418  = (  C16,  C172,   C66)
V419  = (  C16,  C172,  -C66)
V420  = (  C16, -C172,   C66)
V421  = (  C16, -C172,  -C66)
V422  = ( -C16,  C172,   C66)
V423  = ( -C16,  C172,  -C66)
V424  = ( -C16, -C172,   C66)
V425  = ( -C16, -C172,  -C66)
V426  = (  C59,   C34,  C171)
V427  = (  C59,   C34, -C171)
V428  = (  C59,  -C34,  C171)
V429  = (  C59,  -C34, -C171)
V430  = ( -C59,   C34,  C171)
V431  = ( -C59,   C34, -C171)
V432  = ( -C59,  -C34,  C171)
V433  = ( -C59,  -C34, -C171)
V434  = ( C171,   C59,   C34)
V435  = ( C171,   C59,  -C34)
V436  = ( C171,  -C59,   C34)
V437  = ( C171,  -C59,  -C34)
V438  = (-C171,   C59,   C34)
V439  = (-C171,   C59,  -C34)
V440  = (-C171,  -C59,   C34)
V441  = (-C171,  -C59,  -C34)
V442  = (  C34,  C171,   C59)
V443  = (  C34,  C171,  -C59)
V444  = (  C34, -C171,   C59)
V445  = (  C34, -C171,  -C59)
V446  = ( -C34,  C171,   C59)
V447  = ( -C34,  C171,  -C59)
V448  = ( -C34, -C171,   C59)
V449  = ( -C34, -C171,  -C59)
V450  = (  C13,   C73,  C170)
V451  = (  C13,   C73, -C170)
V452  = (  C13,  -C73,  C170)
V453  = (  C13,  -C73, -C170)
V454  = ( -C13,   C73,  C170)
V455  = ( -C13,   C73, -C170)
V456  = ( -C13,  -C73,  C170)
V457  = ( -C13,  -C73, -C170)
V458  = ( C170,   C13,   C73)
V459  = ( C170,   C13,  -C73)
V460  = ( C170,  -C13,   C73)
V461  = ( C170,  -C13,  -C73)
V462  = (-C170,   C13,   C73)
V463  = (-C170,   C13,  -C73)
V464  = (-C170,  -C13,   C73)
V465  = (-C170,  -C13,  -C73)
V466  = (  C73,  C170,   C13)
V467  = (  C73,  C170,  -C13)
V468  = (  C73, -C170,   C13)
V469  = (  C73, -C170,  -C13)
V470  = ( -C73,  C170,   C13)
V471  = ( -C73,  C170,  -C13)
V472  = ( -C73, -C170,   C13)
V473  = ( -C73, -C170,  -C13)
V474  = (  C31,   C63,  C169)
V475  = (  C31,   C63, -C169)
V476  = (  C31,  -C63,  C169)
V477  = (  C31,  -C63, -C169)
V478  = ( -C31,   C63,  C169)
V479  = ( -C31,   C63, -C169)
V480  = ( -C31,  -C63,  C169)
V481  = ( -C31,  -C63, -C169)
V482  = ( C169,   C31,   C63)
V483  = ( C169,   C31,  -C63)
V484  = ( C169,  -C31,   C63)
V485  = ( C169,  -C31,  -C63)
V486  = (-C169,   C31,   C63)
V487  = (-C169,   C31,  -C63)
V488  = (-C169,  -C31,   C63)
V489  = (-C169,  -C31,  -C63)
V490  = (  C63,  C169,   C31)
V491  = (  C63,  C169,  -C31)
V492  = (  C63, -C169,   C31)
V493  = (  C63, -C169,  -C31)
V494  = ( -C63,  C169,   C31)
V495  = ( -C63,  C169,  -C31)
V496  = ( -C63, -C169,   C31)
V497  = ( -C63, -C169,  -C31)
V498  = (  0.0,   C74,  C168)
V499  = (  0.0,   C74, -C168)
V500  = (  0.0,  -C74,  C168)
V501  = (  0.0,  -C74, -C168)
V502  = ( C168,   0.0,   C74)
V503  = ( C168,   0.0,  -C74)
V504  = (-C168,   0.0,   C74)
V505  = (-C168,   0.0,  -C74)
V506  = (  C74,  C168,   0.0)
V507  = (  C74, -C168,   0.0)
V508  = ( -C74,  C168,   0.0)
V509  = ( -C74, -C168,   0.0)
V510  = (  C53,   C51,  C167)
V511  = (  C53,   C51, -C167)
V512  = (  C53,  -C51,  C167)
V513  = (  C53,  -C51, -C167)
V514  = ( -C53,   C51,  C167)
V515  = ( -C53,   C51, -C167)
V516  = ( -C53,  -C51,  C167)
V517  = ( -C53,  -C51, -C167)
V518  = ( C167,   C53,   C51)
V519  = ( C167,   C53,  -C51)
V520  = ( C167,  -C53,   C51)
V521  = ( C167,  -C53,  -C51)
V522  = (-C167,   C53,   C51)
V523  = (-C167,   C53,  -C51)
V524  = (-C167,  -C53,   C51)
V525  = (-C167,  -C53,  -C51)
V526  = (  C51,  C167,   C53)
V527  = (  C51,  C167,  -C53)
V528  = (  C51, -C167,   C53)
V529  = (  C51, -C167,  -C53)
V530  = ( -C51,  C167,   C53)
V531  = ( -C51,  C167,  -C53)
V532  = ( -C51, -C167,   C53)
V533  = ( -C51, -C167,  -C53)
V534  = (   C1,   C82,  C166)
V535  = (   C1,   C82, -C166)
V536  = (   C1,  -C82,  C166)
V537  = (   C1,  -C82, -C166)
V538  = (  -C1,   C82,  C166)
V539  = (  -C1,   C82, -C166)
V540  = (  -C1,  -C82,  C166)
V541  = (  -C1,  -C82, -C166)
V542  = ( C166,    C1,   C82)
V543  = ( C166,    C1,  -C82)
V544  = ( C166,   -C1,   C82)
V545  = ( C166,   -C1,  -C82)
V546  = (-C166,    C1,   C82)
V547  = (-C166,    C1,  -C82)
V548  = (-C166,   -C1,   C82)
V549  = (-C166,   -C1,  -C82)
V550  = (  C82,  C166,    C1)
V551  = (  C82,  C166,   -C1)
V552  = (  C82, -C166,    C1)
V553  = (  C82, -C166,   -C1)
V554  = ( -C82,  C166,    C1)
V555  = ( -C82,  C166,   -C1)
V556  = ( -C82, -C166,    C1)
V557  = ( -C82, -C166,   -C1)
V558  = (  C22,   C79,  C165)
V559  = (  C22,   C79, -C165)
V560  = (  C22,  -C79,  C165)
V561  = (  C22,  -C79, -C165)
V562  = ( -C22,   C79,  C165)
V563  = ( -C22,   C79, -C165)
V564  = ( -C22,  -C79,  C165)
V565  = ( -C22,  -C79, -C165)
V566  = ( C165,   C22,   C79)
V567  = ( C165,   C22,  -C79)
V568  = ( C165,  -C22,   C79)
V569  = ( C165,  -C22,  -C79)
V570  = (-C165,   C22,   C79)
V571  = (-C165,   C22,  -C79)
V572  = (-C165,  -C22,   C79)
V573  = (-C165,  -C22,  -C79)
V574  = (  C79,  C165,   C22)
V575  = (  C79,  C165,  -C22)
V576  = (  C79, -C165,   C22)
V577  = (  C79, -C165,  -C22)
V578  = ( -C79,  C165,   C22)
V579  = ( -C79,  C165,  -C22)
V580  = ( -C79, -C165,   C22)
V581  = ( -C79, -C165,  -C22)
V582  = (  C45,   C69,  C164)
V583  = (  C45,   C69, -C164)
V584  = (  C45,  -C69,  C164)
V585  = (  C45,  -C69, -C164)
V586  = ( -C45,   C69,  C164)
V587  = ( -C45,   C69, -C164)
V588  = ( -C45,  -C69,  C164)
V589  = ( -C45,  -C69, -C164)
V590  = ( C164,   C45,   C69)
V591  = ( C164,   C45,  -C69)
V592  = ( C164,  -C45,   C69)
V593  = ( C164,  -C45,  -C69)
V594  = (-C164,   C45,   C69)
V595  = (-C164,   C45,  -C69)
V596  = (-C164,  -C45,   C69)
V597  = (-C164,  -C45,  -C69)
V598  = (  C69,  C164,   C45)
V599  = (  C69,  C164,  -C45)
V600  = (  C69, -C164,   C45)
V601  = (  C69, -C164,  -C45)
V602  = ( -C69,  C164,   C45)
V603  = ( -C69,  C164,  -C45)
V604  = ( -C69, -C164,   C45)
V605  = ( -C69, -C164,  -C45)
V606  = (  C87,   C19,  C163)
V607  = (  C87,   C19, -C163)
V608  = (  C87,  -C19,  C163)
V609  = (  C87,  -C19, -C163)
V610  = ( -C87,   C19,  C163)
V611  = ( -C87,   C19, -C163)
V612  = ( -C87,  -C19,  C163)
V613  = ( -C87,  -C19, -C163)
V614  = ( C163,   C87,   C19)
V615  = ( C163,   C87,  -C19)
V616  = ( C163,  -C87,   C19)
V617  = ( C163,  -C87,  -C19)
V618  = (-C163,   C87,   C19)
V619  = (-C163,   C87,  -C19)
V620  = (-C163,  -C87,   C19)
V621  = (-C163,  -C87,  -C19)
V622  = (  C19,  C163,   C87)
V623  = (  C19,  C163,  -C87)
V624  = (  C19, -C163,   C87)
V625  = (  C19, -C163,  -C87)
V626  = ( -C19,  C163,   C87)
V627  = ( -C19,  C163,  -C87)
V628  = ( -C19, -C163,   C87)
V629  = ( -C19, -C163,  -C87)
V630  = (  C78,   C38,  C162)
V631  = (  C78,   C38, -C162)
V632  = (  C78,  -C38,  C162)
V633  = (  C78,  -C38, -C162)
V634  = ( -C78,   C38,  C162)
V635  = ( -C78,   C38, -C162)
V636  = ( -C78,  -C38,  C162)
V637  = ( -C78,  -C38, -C162)
V638  = ( C162,   C78,   C38)
V639  = ( C162,   C78,  -C38)
V640  = ( C162,  -C78,   C38)
V641  = ( C162,  -C78,  -C38)
V642  = (-C162,   C78,   C38)
V643  = (-C162,   C78,  -C38)
V644  = (-C162,  -C78,   C38)
V645  = (-C162,  -C78,  -C38)
V646  = (  C38,  C162,   C78)
V647  = (  C38,  C162,  -C78)
V648  = (  C38, -C162,   C78)
V649  = (  C38, -C162,  -C78)
V650  = ( -C38,  C162,   C78)
V651  = ( -C38,  C162,  -C78)
V652  = ( -C38, -C162,   C78)
V653  = ( -C38, -C162,  -C78)
V654  = (  0.0,   C93,  C161)
V655  = (  0.0,   C93, -C161)
V656  = (  0.0,  -C93,  C161)
V657  = (  0.0,  -C93, -C161)
V658  = ( C161,   0.0,   C93)
V659  = ( C161,   0.0,  -C93)
V660  = (-C161,   0.0,   C93)
V661  = (-C161,   0.0,  -C93)
V662  = (  C93,  C161,   0.0)
V663  = (  C93, -C161,   0.0)
V664  = ( -C93,  C161,   0.0)
V665  = ( -C93, -C161,   0.0)
V666  = (  C15,   C92,  C160)
V667  = (  C15,   C92, -C160)
V668  = (  C15,  -C92,  C160)
V669  = (  C15,  -C92, -C160)
V670  = ( -C15,   C92,  C160)
V671  = ( -C15,   C92, -C160)
V672  = ( -C15,  -C92,  C160)
V673  = ( -C15,  -C92, -C160)
V674  = ( C160,   C15,   C92)
V675  = ( C160,   C15,  -C92)
V676  = ( C160,  -C15,   C92)
V677  = ( C160,  -C15,  -C92)
V678  = (-C160,   C15,   C92)
V679  = (-C160,   C15,  -C92)
V680  = (-C160,  -C15,   C92)
V681  = (-C160,  -C15,  -C92)
V682  = (  C92,  C160,   C15)
V683  = (  C92,  C160,  -C15)
V684  = (  C92, -C160,   C15)
V685  = (  C92, -C160,  -C15)
V686  = ( -C92,  C160,   C15)
V687  = ( -C92,  C160,  -C15)
V688  = ( -C92, -C160,   C15)
V689  = ( -C92, -C160,  -C15)
V690  = (  C97,   0.0,  C159)
V691  = (  C97,   0.0, -C159)
V692  = ( -C97,   0.0,  C159)
V693  = ( -C97,   0.0, -C159)
V694  = ( C159,   C97,   0.0)
V695  = ( C159,  -C97,   0.0)
V696  = (-C159,   C97,   0.0)
V697  = (-C159,  -C97,   0.0)
V698  = (  0.0,  C159,   C97)
V699  = (  0.0,  C159,  -C97)
V700  = (  0.0, -C159,   C97)
V701  = (  0.0, -C159,  -C97)
V702  = (  C70,   C57,  C158)
V703  = (  C70,   C57, -C158)
V704  = (  C70,  -C57,  C158)
V705  = (  C70,  -C57, -C158)
V706  = ( -C70,   C57,  C158)
V707  = ( -C70,   C57, -C158)
V708  = ( -C70,  -C57,  C158)
V709  = ( -C70,  -C57, -C158)
V710  = ( C158,   C70,   C57)
V711  = ( C158,   C70,  -C57)
V712  = ( C158,  -C70,   C57)
V713  = ( C158,  -C70,  -C57)
V714  = (-C158,   C70,   C57)
V715  = (-C158,   C70,  -C57)
V716  = (-C158,  -C70,   C57)
V717  = (-C158,  -C70,  -C57)
V718  = (  C57,  C158,   C70)
V719  = (  C57,  C158,  -C70)
V720  = (  C57, -C158,   C70)
V721  = (  C57, -C158,  -C70)
V722  = ( -C57,  C158,   C70)
V723  = ( -C57,  C158,  -C70)
V724  = ( -C57, -C158,   C70)
V725  = ( -C57, -C158,  -C70)
V726  = (  C36,   C84,  C157)
V727  = (  C36,   C84, -C157)
V728  = (  C36,  -C84,  C157)
V729  = (  C36,  -C84, -C157)
V730  = ( -C36,   C84,  C157)
V731  = ( -C36,   C84, -C157)
V732  = ( -C36,  -C84,  C157)
V733  = ( -C36,  -C84, -C157)
V734  = ( C157,   C36,   C84)
V735  = ( C157,   C36,  -C84)
V736  = ( C157,  -C36,   C84)
V737  = ( C157,  -C36,  -C84)
V738  = (-C157,   C36,   C84)
V739  = (-C157,   C36,  -C84)
V740  = (-C157,  -C36,   C84)
V741  = (-C157,  -C36,  -C84)
V742  = (  C84,  C157,   C36)
V743  = (  C84,  C157,  -C36)
V744  = (  C84, -C157,   C36)
V745  = (  C84, -C157,  -C36)
V746  = ( -C84,  C157,   C36)
V747  = ( -C84,  C157,  -C36)
V748  = ( -C84, -C157,   C36)
V749  = ( -C84, -C157,  -C36)
V750  = (  C60,   C75,  C156)
V751  = (  C60,   C75, -C156)
V752  = (  C60,  -C75,  C156)
V753  = (  C60,  -C75, -C156)
V754  = ( -C60,   C75,  C156)
V755  = ( -C60,   C75, -C156)
V756  = ( -C60,  -C75,  C156)
V757  = ( -C60,  -C75, -C156)
V758  = ( C156,   C60,   C75)
V759  = ( C156,   C60,  -C75)
V760  = ( C156,  -C60,   C75)
V761  = ( C156,  -C60,  -C75)
V762  = (-C156,   C60,   C75)
V763  = (-C156,   C60,  -C75)
V764  = (-C156,  -C60,   C75)
V765  = (-C156,  -C60,  -C75)
V766  = (  C75,  C156,   C60)
V767  = (  C75,  C156,  -C60)
V768  = (  C75, -C156,   C60)
V769  = (  C75, -C156,  -C60)
V770  = ( -C75,  C156,   C60)
V771  = ( -C75,  C156,  -C60)
V772  = ( -C75, -C156,   C60)
V773  = ( -C75, -C156,  -C60)
V774  = (   C3,  C104,  C155)
V775  = (   C3,  C104, -C155)
V776  = (   C3, -C104,  C155)
V777  = (   C3, -C104, -C155)
V778  = (  -C3,  C104,  C155)
V779  = (  -C3,  C104, -C155)
V780  = (  -C3, -C104,  C155)
V781  = (  -C3, -C104, -C155)
V782  = ( C155,    C3,  C104)
V783  = ( C155,    C3, -C104)
V784  = ( C155,   -C3,  C104)
V785  = ( C155,   -C3, -C104)
V786  = (-C155,    C3,  C104)
V787  = (-C155,    C3, -C104)
V788  = (-C155,   -C3,  C104)
V789  = (-C155,   -C3, -C104)
V790  = ( C104,  C155,    C3)
V791  = ( C104,  C155,   -C3)
V792  = ( C104, -C155,    C3)
V793  = ( C104, -C155,   -C3)
V794  = (-C104,  C155,    C3)
V795  = (-C104,  C155,   -C3)
V796  = (-C104, -C155,    C3)
V797  = (-C104, -C155,   -C3)
V798  = (  C29,   C99,  C154)
V799  = (  C29,   C99, -C154)
V800  = (  C29,  -C99,  C154)
V801  = (  C29,  -C99, -C154)
V802  = ( -C29,   C99,  C154)
V803  = ( -C29,   C99, -C154)
V804  = ( -C29,  -C99,  C154)
V805  = ( -C29,  -C99, -C154)
V806  = ( C154,   C29,   C99)
V807  = ( C154,   C29,  -C99)
V808  = ( C154,  -C29,   C99)
V809  = ( C154,  -C29,  -C99)
V810  = (-C154,   C29,   C99)
V811  = (-C154,   C29,  -C99)
V812  = (-C154,  -C29,   C99)
V813  = (-C154,  -C29,  -C99)
V814  = (  C99,  C154,   C29)
V815  = (  C99,  C154,  -C29)
V816  = (  C99, -C154,   C29)
V817  = (  C99, -C154,  -C29)
V818  = ( -C99,  C154,   C29)
V819  = ( -C99,  C154,  -C29)
V820  = ( -C99, -C154,   C29)
V821  = ( -C99, -C154,  -C29)
V822  = (  C50,   C89,  C153)
V823  = (  C50,   C89, -C153)
V824  = (  C50,  -C89,  C153)
V825  = (  C50,  -C89, -C153)
V826  = ( -C50,   C89,  C153)
V827  = ( -C50,   C89, -C153)
V828  = ( -C50,  -C89,  C153)
V829  = ( -C50,  -C89, -C153)
V830  = ( C153,   C50,   C89)
V831  = ( C153,   C50,  -C89)
V832  = ( C153,  -C50,   C89)
V833  = ( C153,  -C50,  -C89)
V834  = (-C153,   C50,   C89)
V835  = (-C153,   C50,  -C89)
V836  = (-C153,  -C50,   C89)
V837  = (-C153,  -C50,  -C89)
V838  = (  C89,  C153,   C50)
V839  = (  C89,  C153,  -C50)
V840  = (  C89, -C153,   C50)
V841  = (  C89, -C153,  -C50)
V842  = ( -C89,  C153,   C50)
V843  = ( -C89,  C153,  -C50)
V844  = ( -C89, -C153,   C50)
V845  = ( -C89, -C153,  -C50)
V846  = (  C94,   C47,  C152)
V847  = (  C94,   C47, -C152)
V848  = (  C94,  -C47,  C152)
V849  = (  C94,  -C47, -C152)
V850  = ( -C94,   C47,  C152)
V851  = ( -C94,   C47, -C152)
V852  = ( -C94,  -C47,  C152)
V853  = ( -C94,  -C47, -C152)
V854  = ( C152,   C94,   C47)
V855  = ( C152,   C94,  -C47)
V856  = ( C152,  -C94,   C47)
V857  = ( C152,  -C94,  -C47)
V858  = (-C152,   C94,   C47)
V859  = (-C152,   C94,  -C47)
V860  = (-C152,  -C94,   C47)
V861  = (-C152,  -C94,  -C47)
V862  = (  C47,  C152,   C94)
V863  = (  C47,  C152,  -C94)
V864  = (  C47, -C152,   C94)
V865  = (  C47, -C152,  -C94)
V866  = ( -C47,  C152,   C94)
V867  = ( -C47,  C152,  -C94)
V868  = ( -C47, -C152,   C94)
V869  = ( -C47, -C152,  -C94)
V870  = ( C105,   C30,  C151)
V871  = ( C105,   C30, -C151)
V872  = ( C105,  -C30,  C151)
V873  = ( C105,  -C30, -C151)
V874  = (-C105,   C30,  C151)
V875  = (-C105,   C30, -C151)
V876  = (-C105,  -C30,  C151)
V877  = (-C105,  -C30, -C151)
V878  = ( C151,  C105,   C30)
V879  = ( C151,  C105,  -C30)
V880  = ( C151, -C105,   C30)
V881  = ( C151, -C105,  -C30)
V882  = (-C151,  C105,   C30)
V883  = (-C151,  C105,  -C30)
V884  = (-C151, -C105,   C30)
V885  = (-C151, -C105,  -C30)
V886  = (  C30,  C151,  C105)
V887  = (  C30,  C151, -C105)
V888  = (  C30, -C151,  C105)
V889  = (  C30, -C151, -C105)
V890  = ( -C30,  C151,  C105)
V891  = ( -C30,  C151, -C105)
V892  = ( -C30, -C151,  C105)
V893  = ( -C30, -C151, -C105)
V894  = (  C85,   C64,  C150)
V895  = (  C85,   C64, -C150)
V896  = (  C85,  -C64,  C150)
V897  = (  C85,  -C64, -C150)
V898  = ( -C85,   C64,  C150)
V899  = ( -C85,   C64, -C150)
V900  = ( -C85,  -C64,  C150)
V901  = ( -C85,  -C64, -C150)
V902  = ( C150,   C85,   C64)
V903  = ( C150,   C85,  -C64)
V904  = ( C150,  -C85,   C64)
V905  = ( C150,  -C85,  -C64)
V906  = (-C150,   C85,   C64)
V907  = (-C150,   C85,  -C64)
V908  = (-C150,  -C85,   C64)
V909  = (-C150,  -C85,  -C64)
V910  = (  C64,  C150,   C85)
V911  = (  C64,  C150,  -C85)
V912  = (  C64, -C150,   C85)
V913  = (  C64, -C150,  -C85)
V914  = ( -C64,  C150,   C85)
V915  = ( -C64,  C150,  -C85)
V916  = ( -C64, -C150,   C85)
V917  = ( -C64, -C150,  -C85)
V918  = (  0.0,  C116,  C149)
V919  = (  0.0,  C116, -C149)
V920  = (  0.0, -C116,  C149)
V921  = (  0.0, -C116, -C149)
V922  = ( C149,   0.0,  C116)
V923  = ( C149,   0.0, -C116)
V924  = (-C149,   0.0,  C116)
V925  = (-C149,   0.0, -C116)
V926  = ( C116,  C149,   0.0)
V927  = ( C116, -C149,   0.0)
V928  = (-C116,  C149,   0.0)
V929  = (-C116, -C149,   0.0)
V930  = (  C76,   C81,  C148)
V931  = (  C76,   C81, -C148)
V932  = (  C76,  -C81,  C148)
V933  = (  C76,  -C81, -C148)
V934  = ( -C76,   C81,  C148)
V935  = ( -C76,   C81, -C148)
V936  = ( -C76,  -C81,  C148)
V937  = ( -C76,  -C81, -C148)
V938  = ( C148,   C76,   C81)
V939  = ( C148,   C76,  -C81)
V940  = ( C148,  -C76,   C81)
V941  = ( C148,  -C76,  -C81)
V942  = (-C148,   C76,   C81)
V943  = (-C148,   C76,  -C81)
V944  = (-C148,  -C76,   C81)
V945  = (-C148,  -C76,  -C81)
V946  = (  C81,  C148,   C76)
V947  = (  C81,  C148,  -C76)
V948  = (  C81, -C148,   C76)
V949  = (  C81, -C148,  -C76)
V950  = ( -C81,  C148,   C76)
V951  = ( -C81,  C148,  -C76)
V952  = ( -C81, -C148,   C76)
V953  = ( -C81, -C148,  -C76)
V954  = (  C18,  C113,  C147)
V955  = (  C18,  C113, -C147)
V956  = (  C18, -C113,  C147)
V957  = (  C18, -C113, -C147)
V958  = ( -C18,  C113,  C147)
V959  = ( -C18,  C113, -C147)
V960  = ( -C18, -C113,  C147)
V961  = ( -C18, -C113, -C147)
V962  = ( C147,   C18,  C113)
V963  = ( C147,   C18, -C113)
V964  = ( C147,  -C18,  C113)
V965  = ( C147,  -C18, -C113)
V966  = (-C147,   C18,  C113)
V967  = (-C147,   C18, -C113)
V968  = (-C147,  -C18,  C113)
V969  = (-C147,  -C18, -C113)
V970  = ( C113,  C147,   C18)
V971  = ( C113,  C147,  -C18)
V972  = ( C113, -C147,   C18)
V973  = ( C113, -C147,  -C18)
V974  = (-C113,  C147,   C18)
V975  = (-C113,  C147,  -C18)
V976  = (-C113, -C147,   C18)
V977  = (-C113, -C147,  -C18)
V978  = (  C42,  C107,  C146)
V979  = (  C42,  C107, -C146)
V980  = (  C42, -C107,  C146)
V981  = (  C42, -C107, -C146)
V982  = ( -C42,  C107,  C146)
V983  = ( -C42,  C107, -C146)
V984  = ( -C42, -C107,  C146)
V985  = ( -C42, -C107, -C146)
V986  = ( C146,   C42,  C107)
V987  = ( C146,   C42, -C107)
V988  = ( C146,  -C42,  C107)
V989  = ( C146,  -C42, -C107)
V990  = (-C146,   C42,  C107)
V991  = (-C146,   C42, -C107)
V992  = (-C146,  -C42,  C107)
V993  = (-C146,  -C42, -C107)
V994  = ( C107,  C146,   C42)
V995  = ( C107,  C146,  -C42)
V996  = ( C107, -C146,   C42)
V997  = ( C107, -C146,  -C42)
V998  = (-C107,  C146,   C42)
V999  = (-C107,  C146,  -C42)
V1000 = (-C107, -C146,   C42)
V1001 = (-C107, -C146,  -C42)
V1002 = ( C119,    C8,  C145)
V1003 = ( C119,    C8, -C145)
V1004 = ( C119,   -C8,  C145)
V1005 = ( C119,   -C8, -C145)
V1006 = (-C119,    C8,  C145)
V1007 = (-C119,    C8, -C145)
V1008 = (-C119,   -C8,  C145)
V1009 = (-C119,   -C8, -C145)
V1010 = ( C145,  C119,    C8)
V1011 = ( C145,  C119,   -C8)
V1012 = ( C145, -C119,    C8)
V1013 = ( C145, -C119,   -C8)
V1014 = (-C145,  C119,    C8)
V1015 = (-C145,  C119,   -C8)
V1016 = (-C145, -C119,    C8)
V1017 = (-C145, -C119,   -C8)
V1018 = (   C8,  C145,  C119)
V1019 = (   C8,  C145, -C119)
V1020 = (   C8, -C145,  C119)
V1021 = (   C8, -C145, -C119)
V1022 = (  -C8,  C145,  C119)
V1023 = (  -C8,  C145, -C119)
V1024 = (  -C8, -C145,  C119)
V1025 = (  -C8, -C145, -C119)
V1026 = (  C67,   C96,  C144)
V1027 = (  C67,   C96, -C144)
V1028 = (  C67,  -C96,  C144)
V1029 = (  C67,  -C96, -C144)
V1030 = ( -C67,   C96,  C144)
V1031 = ( -C67,   C96, -C144)
V1032 = ( -C67,  -C96,  C144)
V1033 = ( -C67,  -C96, -C144)
V1034 = ( C144,   C67,   C96)
V1035 = ( C144,   C67,  -C96)
V1036 = ( C144,  -C67,   C96)
V1037 = ( C144,  -C67,  -C96)
V1038 = (-C144,   C67,   C96)
V1039 = (-C144,   C67,  -C96)
V1040 = (-C144,  -C67,   C96)
V1041 = (-C144,  -C67,  -C96)
V1042 = (  C96,  C144,   C67)
V1043 = (  C96,  C144,  -C67)
V1044 = (  C96, -C144,   C67)
V1045 = (  C96, -C144,  -C67)
V1046 = ( -C96,  C144,   C67)
V1047 = ( -C96,  C144,  -C67)
V1048 = ( -C96, -C144,   C67)
V1049 = ( -C96, -C144,  -C67)
V1050 = ( C110,   C55,  C143)
V1051 = ( C110,   C55, -C143)
V1052 = ( C110,  -C55,  C143)
V1053 = ( C110,  -C55, -C143)
V1054 = (-C110,   C55,  C143)
V1055 = (-C110,   C55, -C143)
V1056 = (-C110,  -C55,  C143)
V1057 = (-C110,  -C55, -C143)
V1058 = ( C143,  C110,   C55)
V1059 = ( C143,  C110,  -C55)
V1060 = ( C143, -C110,   C55)
V1061 = ( C143, -C110,  -C55)
V1062 = (-C143,  C110,   C55)
V1063 = (-C143,  C110,  -C55)
V1064 = (-C143, -C110,   C55)
V1065 = (-C143, -C110,  -C55)
V1066 = (  C55,  C143,  C110)
V1067 = (  C55,  C143, -C110)
V1068 = (  C55, -C143,  C110)
V1069 = (  C55, -C143, -C110)
V1070 = ( -C55,  C143,  C110)
V1071 = ( -C55,  C143, -C110)
V1072 = ( -C55, -C143,  C110)
V1073 = ( -C55, -C143, -C110)
V1074 = (  C98,   C71,  C142)
V1075 = (  C98,   C71, -C142)
V1076 = (  C98,  -C71,  C142)
V1077 = (  C98,  -C71, -C142)
V1078 = ( -C98,   C71,  C142)
V1079 = ( -C98,   C71, -C142)
V1080 = ( -C98,  -C71,  C142)
V1081 = ( -C98,  -C71, -C142)
V1082 = ( C142,   C98,   C71)
V1083 = ( C142,   C98,  -C71)
V1084 = ( C142,  -C98,   C71)
V1085 = ( C142,  -C98,  -C71)
V1086 = (-C142,   C98,   C71)
V1087 = (-C142,   C98,  -C71)
V1088 = (-C142,  -C98,   C71)
V1089 = (-C142,  -C98,  -C71)
V1090 = (  C71,  C142,   C98)
V1091 = (  C71,  C142,  -C98)
V1092 = (  C71, -C142,   C98)
V1093 = (  C71, -C142,  -C98)
V1094 = ( -C71,  C142,   C98)
V1095 = ( -C71,  C142,  -C98)
V1096 = ( -C71, -C142,   C98)
V1097 = ( -C71, -C142,  -C98)
V1098 = (   C4,  C126,  C141)
V1099 = (   C4,  C126, -C141)
V1100 = (   C4, -C126,  C141)
V1101 = (   C4, -C126, -C141)
V1102 = (  -C4,  C126,  C141)
V1103 = (  -C4,  C126, -C141)
V1104 = (  -C4, -C126,  C141)
V1105 = (  -C4, -C126, -C141)
V1106 = ( C141,    C4,  C126)
V1107 = ( C141,    C4, -C126)
V1108 = ( C141,   -C4,  C126)
V1109 = ( C141,   -C4, -C126)
V1110 = (-C141,    C4,  C126)
V1111 = (-C141,    C4, -C126)
V1112 = (-C141,   -C4,  C126)
V1113 = (-C141,   -C4, -C126)
V1114 = ( C126,  C141,    C4)
V1115 = ( C126,  C141,   -C4)
V1116 = ( C126, -C141,    C4)
V1117 = ( C126, -C141,   -C4)
V1118 = (-C126,  C141,    C4)
V1119 = (-C126,  C141,   -C4)
V1120 = (-C126, -C141,    C4)
V1121 = (-C126, -C141,   -C4)
V1122 = (  C33,  C123,  C140)
V1123 = (  C33,  C123, -C140)
V1124 = (  C33, -C123,  C140)
V1125 = (  C33, -C123, -C140)
V1126 = ( -C33,  C123,  C140)
V1127 = ( -C33,  C123, -C140)
V1128 = ( -C33, -C123,  C140)
V1129 = ( -C33, -C123, -C140)
V1130 = ( C140,   C33,  C123)
V1131 = ( C140,   C33, -C123)
V1132 = ( C140,  -C33,  C123)
V1133 = ( C140,  -C33, -C123)
V1134 = (-C140,   C33,  C123)
V1135 = (-C140,   C33, -C123)
V1136 = (-C140,  -C33,  C123)
V1137 = (-C140,  -C33, -C123)
V1138 = ( C123,  C140,   C33)
V1139 = ( C123,  C140,  -C33)
V1140 = ( C123, -C140,   C33)
V1141 = ( C123, -C140,  -C33)
V1142 = (-C123,  C140,   C33)
V1143 = (-C123,  C140,  -C33)
V1144 = (-C123, -C140,   C33)
V1145 = (-C123, -C140,  -C33)
V1146 = ( C121,   C37,  C139)
V1147 = ( C121,   C37, -C139)
V1148 = ( C121,  -C37,  C139)
V1149 = ( C121,  -C37, -C139)
V1150 = (-C121,   C37,  C139)
V1151 = (-C121,   C37, -C139)
V1152 = (-C121,  -C37,  C139)
V1153 = (-C121,  -C37, -C139)
V1154 = ( C139,  C121,   C37)
V1155 = ( C139,  C121,  -C37)
V1156 = ( C139, -C121,   C37)
V1157 = ( C139, -C121,  -C37)
V1158 = (-C139,  C121,   C37)
V1159 = (-C139,  C121,  -C37)
V1160 = (-C139, -C121,   C37)
V1161 = (-C139, -C121,  -C37)
V1162 = (  C37,  C139,  C121)
V1163 = (  C37,  C139, -C121)
V1164 = (  C37, -C139,  C121)
V1165 = (  C37, -C139, -C121)
V1166 = ( -C37,  C139,  C121)
V1167 = ( -C37,  C139, -C121)
V1168 = ( -C37, -C139,  C121)
V1169 = ( -C37, -C139, -C121)
V1170 = (  C88,   C86,  C138)
V1171 = (  C88,   C86, -C138)
V1172 = (  C88,  -C86,  C138)
V1173 = (  C88,  -C86, -C138)
V1174 = ( -C88,   C86,  C138)
V1175 = ( -C88,   C86, -C138)
V1176 = ( -C88,  -C86,  C138)
V1177 = ( -C88,  -C86, -C138)
V1178 = ( C138,   C88,   C86)
V1179 = ( C138,   C88,  -C86)
V1180 = ( C138,  -C88,   C86)
V1181 = ( C138,  -C88,  -C86)
V1182 = (-C138,   C88,   C86)
V1183 = (-C138,   C88,  -C86)
V1184 = (-C138,  -C88,   C86)
V1185 = (-C138,  -C88,  -C86)
V1186 = (  C86,  C138,   C88)
V1187 = (  C86,  C138,  -C88)
V1188 = (  C86, -C138,   C88)
V1189 = (  C86, -C138,  -C88)
V1190 = ( -C86,  C138,   C88)
V1191 = ( -C86,  C138,  -C88)
V1192 = ( -C86, -C138,   C88)
V1193 = ( -C86, -C138,  -C88)
V1194 = (  C56,  C112,  C137)
V1195 = (  C56,  C112, -C137)
V1196 = (  C56, -C112,  C137)
V1197 = (  C56, -C112, -C137)
V1198 = ( -C56,  C112,  C137)
V1199 = ( -C56,  C112, -C137)
V1200 = ( -C56, -C112,  C137)
V1201 = ( -C56, -C112, -C137)
V1202 = ( C137,   C56,  C112)
V1203 = ( C137,   C56, -C112)
V1204 = ( C137,  -C56,  C112)
V1205 = ( C137,  -C56, -C112)
V1206 = (-C137,   C56,  C112)
V1207 = (-C137,   C56, -C112)
V1208 = (-C137,  -C56,  C112)
V1209 = (-C137,  -C56, -C112)
V1210 = ( C112,  C137,   C56)
V1211 = ( C112,  C137,  -C56)
V1212 = ( C112, -C137,   C56)
V1213 = ( C112, -C137,  -C56)
V1214 = (-C112,  C137,   C56)
V1215 = (-C112,  C137,  -C56)
V1216 = (-C112, -C137,   C56)
V1217 = (-C112, -C137,  -C56)
V1218 = ( C131,   0.0,  C136)
V1219 = ( C131,   0.0, -C136)
V1220 = (-C131,   0.0,  C136)
V1221 = (-C131,   0.0, -C136)
V1222 = ( C136,  C131,   0.0)
V1223 = ( C136, -C131,   0.0)
V1224 = (-C136,  C131,   0.0)
V1225 = (-C136, -C131,   0.0)
V1226 = (  0.0,  C136,  C131)
V1227 = (  0.0,  C136, -C131)
V1228 = (  0.0, -C136,  C131)
V1229 = (  0.0, -C136, -C131)
V1230 = (  C80,  C101,  C135)
V1231 = (  C80,  C101, -C135)
V1232 = (  C80, -C101,  C135)
V1233 = (  C80, -C101, -C135)
V1234 = ( -C80,  C101,  C135)
V1235 = ( -C80,  C101, -C135)
V1236 = ( -C80, -C101,  C135)
V1237 = ( -C80, -C101, -C135)
V1238 = ( C135,   C80,  C101)
V1239 = ( C135,   C80, -C101)
V1240 = ( C135,  -C80,  C101)
V1241 = ( C135,  -C80, -C101)
V1242 = (-C135,   C80,  C101)
V1243 = (-C135,   C80, -C101)
V1244 = (-C135,  -C80,  C101)
V1245 = (-C135,  -C80, -C101)
V1246 = ( C101,  C135,   C80)
V1247 = ( C101,  C135,  -C80)
V1248 = ( C101, -C135,   C80)
V1249 = ( C101, -C135,  -C80)
V1250 = (-C101,  C135,   C80)
V1251 = (-C101,  C135,  -C80)
V1252 = (-C101, -C135,   C80)
V1253 = (-C101, -C135,  -C80)
V1254 = ( C133,   C21,  C134)
V1255 = ( C133,   C21, -C134)
V1256 = ( C133,  -C21,  C134)
V1257 = ( C133,  -C21, -C134)
V1258 = (-C133,   C21,  C134)
V1259 = (-C133,   C21, -C134)
V1260 = (-C133,  -C21,  C134)
V1261 = (-C133,  -C21, -C134)
V1262 = ( C134,  C133,   C21)
V1263 = ( C134,  C133,  -C21)
V1264 = ( C134, -C133,   C21)
V1265 = ( C134, -C133,  -C21)
V1266 = (-C134,  C133,   C21)
V1267 = (-C134,  C133,  -C21)
V1268 = (-C134, -C133,   C21)
V1269 = (-C134, -C133,  -C21)
V1270 = (  C21,  C134,  C133)
V1271 = (  C21,  C134, -C133)
V1272 = (  C21, -C134,  C133)
V1273 = (  C21, -C134, -C133)
V1274 = ( -C21,  C134,  C133)
V1275 = ( -C21,  C134, -C133)
V1276 = ( -C21, -C134,  C133)
V1277 = ( -C21, -C134, -C133)
V1278 = (  C49,  C125,  C132)
V1279 = (  C49,  C125, -C132)
V1280 = (  C49, -C125,  C132)
V1281 = (  C49, -C125, -C132)
V1282 = ( -C49,  C125,  C132)
V1283 = ( -C49,  C125, -C132)
V1284 = ( -C49, -C125,  C132)
V1285 = ( -C49, -C125, -C132)
V1286 = ( C132,   C49,  C125)
V1287 = ( C132,   C49, -C125)
V1288 = ( C132,  -C49,  C125)
V1289 = ( C132,  -C49, -C125)
V1290 = (-C132,   C49,  C125)
V1291 = (-C132,   C49, -C125)
V1292 = (-C132,  -C49,  C125)
V1293 = (-C132,  -C49, -C125)
V1294 = ( C125,  C132,   C49)
V1295 = ( C125,  C132,  -C49)
V1296 = ( C125, -C132,   C49)
V1297 = ( C125, -C132,  -C49)
V1298 = (-C125,  C132,   C49)
V1299 = (-C125,  C132,  -C49)
V1300 = (-C125, -C132,   C49)
V1301 = (-C125, -C132,  -C49)
V1302 = ( C111,   C77,  C130)
V1303 = ( C111,   C77, -C130)
V1304 = ( C111,  -C77,  C130)
V1305 = ( C111,  -C77, -C130)
V1306 = (-C111,   C77,  C130)
V1307 = (-C111,   C77, -C130)
V1308 = (-C111,  -C77,  C130)
V1309 = (-C111,  -C77, -C130)
V1310 = ( C130,  C111,   C77)
V1311 = ( C130,  C111,  -C77)
V1312 = ( C130, -C111,   C77)
V1313 = ( C130, -C111,  -C77)
V1314 = (-C130,  C111,   C77)
V1315 = (-C130,  C111,  -C77)
V1316 = (-C130, -C111,   C77)
V1317 = (-C130, -C111,  -C77)
V1318 = (  C77,  C130,  C111)
V1319 = (  C77,  C130, -C111)
V1320 = (  C77, -C130,  C111)
V1321 = (  C77, -C130, -C111)
V1322 = ( -C77,  C130,  C111)
V1323 = ( -C77,  C130, -C111)
V1324 = ( -C77, -C130,  C111)
V1325 = ( -C77, -C130, -C111)
V1326 = ( C122,   C62,  C129)
V1327 = ( C122,   C62, -C129)
V1328 = ( C122,  -C62,  C129)
V1329 = ( C122,  -C62, -C129)
V1330 = (-C122,   C62,  C129)
V1331 = (-C122,   C62, -C129)
V1332 = (-C122,  -C62,  C129)
V1333 = (-C122,  -C62, -C129)
V1334 = ( C129,  C122,   C62)
V1335 = ( C129,  C122,  -C62)
V1336 = ( C129, -C122,   C62)
V1337 = ( C129, -C122,  -C62)
V1338 = (-C129,  C122,   C62)
V1339 = (-C129,  C122,  -C62)
V1340 = (-C129, -C122,   C62)
V1341 = (-C129, -C122,  -C62)
V1342 = (  C62,  C129,  C122)
V1343 = (  C62,  C129, -C122)
V1344 = (  C62, -C129,  C122)
V1345 = (  C62, -C129, -C122)
V1346 = ( -C62,  C129,  C122)
V1347 = ( -C62,  C129, -C122)
V1348 = ( -C62, -C129,  C122)
V1349 = ( -C62, -C129, -C122)
V1350 = (  C72,  C115,  C128)
V1351 = (  C72,  C115, -C128)
V1352 = (  C72, -C115,  C128)
V1353 = (  C72, -C115, -C128)
V1354 = ( -C72,  C115,  C128)
V1355 = ( -C72,  C115, -C128)
V1356 = ( -C72, -C115,  C128)
V1357 = ( -C72, -C115, -C128)
V1358 = ( C128,   C72,  C115)
V1359 = ( C128,   C72, -C115)
V1360 = ( C128,  -C72,  C115)
V1361 = ( C128,  -C72, -C115)
V1362 = (-C128,   C72,  C115)
V1363 = (-C128,   C72, -C115)
V1364 = (-C128,  -C72,  C115)
V1365 = (-C128,  -C72, -C115)
V1366 = ( C115,  C128,   C72)
V1367 = ( C115,  C128,  -C72)
V1368 = ( C115, -C128,   C72)
V1369 = ( C115, -C128,  -C72)
V1370 = (-C115,  C128,   C72)
V1371 = (-C115,  C128,  -C72)
V1372 = (-C115, -C128,   C72)
V1373 = (-C115, -C128,  -C72)
V1374 = ( C100,   C90,  C127)
V1375 = ( C100,   C90, -C127)
V1376 = ( C100,  -C90,  C127)
V1377 = ( C100,  -C90, -C127)
V1378 = (-C100,   C90,  C127)
V1379 = (-C100,   C90, -C127)
V1380 = (-C100,  -C90,  C127)
V1381 = (-C100,  -C90, -C127)
V1382 = ( C127,  C100,   C90)
V1383 = ( C127,  C100,  -C90)
V1384 = ( C127, -C100,   C90)
V1385 = ( C127, -C100,  -C90)
V1386 = (-C127,  C100,   C90)
V1387 = (-C127,  C100,  -C90)
V1388 = (-C127, -C100,   C90)
V1389 = (-C127, -C100,  -C90)
V1390 = (  C90,  C127,  C100)
V1391 = (  C90,  C127, -C100)
V1392 = (  C90, -C127,  C100)
V1393 = (  C90, -C127, -C100)
V1394 = ( -C90,  C127,  C100)
V1395 = ( -C90,  C127, -C100)
V1396 = ( -C90, -C127,  C100)
V1397 = ( -C90, -C127, -C100)
V1398 = (  C91,  C103,  C124)
V1399 = (  C91,  C103, -C124)
V1400 = (  C91, -C103,  C124)
V1401 = (  C91, -C103, -C124)
V1402 = ( -C91,  C103,  C124)
V1403 = ( -C91,  C103, -C124)
V1404 = ( -C91, -C103,  C124)
V1405 = ( -C91, -C103, -C124)
V1406 = ( C124,   C91,  C103)
V1407 = ( C124,   C91, -C103)
V1408 = ( C124,  -C91,  C103)
V1409 = ( C124,  -C91, -C103)
V1410 = (-C124,   C91,  C103)
V1411 = (-C124,   C91, -C103)
V1412 = (-C124,  -C91,  C103)
V1413 = (-C124,  -C91, -C103)
V1414 = ( C103,  C124,   C91)
V1415 = ( C103,  C124,  -C91)
V1416 = ( C103, -C124,   C91)
V1417 = ( C103, -C124,  -C91)
V1418 = (-C103,  C124,   C91)
V1419 = (-C103,  C124,  -C91)
V1420 = (-C103, -C124,   C91)
V1421 = (-C103, -C124,  -C91)
V1422 = (  C83,  C117,  C120)
V1423 = (  C83,  C117, -C120)
V1424 = (  C83, -C117,  C120)
V1425 = (  C83, -C117, -C120)
V1426 = ( -C83,  C117,  C120)
V1427 = ( -C83,  C117, -C120)
V1428 = ( -C83, -C117,  C120)
V1429 = ( -C83, -C117, -C120)
V1430 = ( C120,   C83,  C117)
V1431 = ( C120,   C83, -C117)
V1432 = ( C120,  -C83,  C117)
V1433 = ( C120,  -C83, -C117)
V1434 = (-C120,   C83,  C117)
V1435 = (-C120,   C83, -C117)
V1436 = (-C120,  -C83,  C117)
V1437 = (-C120,  -C83, -C117)
V1438 = ( C117,  C120,   C83)
V1439 = ( C117,  C120,  -C83)
V1440 = ( C117, -C120,   C83)
V1441 = ( C117, -C120,  -C83)
V1442 = (-C117,  C120,   C83)
V1443 = (-C117,  C120,  -C83)
V1444 = (-C117, -C120,   C83)
V1445 = (-C117, -C120,  -C83)
V1446 = ( C109,   C95,  C118)
V1447 = ( C109,   C95, -C118)
V1448 = ( C109,  -C95,  C118)
V1449 = ( C109,  -C95, -C118)
V1450 = (-C109,   C95,  C118)
V1451 = (-C109,   C95, -C118)
V1452 = (-C109,  -C95,  C118)
V1453 = (-C109,  -C95, -C118)
V1454 = ( C118,  C109,   C95)
V1455 = ( C118,  C109,  -C95)
V1456 = ( C118, -C109,   C95)
V1457 = ( C118, -C109,  -C95)
V1458 = (-C118,  C109,   C95)
V1459 = (-C118,  C109,  -C95)
V1460 = (-C118, -C109,   C95)
V1461 = (-C118, -C109,  -C95)
V1462 = (  C95,  C118,  C109)
V1463 = (  C95,  C118, -C109)
V1464 = (  C95, -C118,  C109)
V1465 = (  C95, -C118, -C109)
V1466 = ( -C95,  C118,  C109)
V1467 = ( -C95,  C118, -C109)
V1468 = ( -C95, -C118,  C109)
V1469 = ( -C95, -C118, -C109)
V1470 = ( C102,  C106,  C114)
V1471 = ( C102,  C106, -C114)
V1472 = ( C102, -C106,  C114)
V1473 = ( C102, -C106, -C114)
V1474 = (-C102,  C106,  C114)
V1475 = (-C102,  C106, -C114)
V1476 = (-C102, -C106,  C114)
V1477 = (-C102, -C106, -C114)
V1478 = ( C114,  C102,  C106)
V1479 = ( C114,  C102, -C106)
V1480 = ( C114, -C102,  C106)
V1481 = ( C114, -C102, -C106)
V1482 = (-C114,  C102,  C106)
V1483 = (-C114,  C102, -C106)
V1484 = (-C114, -C102,  C106)
V1485 = (-C114, -C102, -C106)
V1486 = ( C106,  C114,  C102)
V1487 = ( C106,  C114, -C102)
V1488 = ( C106, -C114,  C102)
V1489 = ( C106, -C114, -C102)
V1490 = (-C106,  C114,  C102)
V1491 = (-C106,  C114, -C102)
V1492 = (-C106, -C114,  C102)
V1493 = (-C106, -C114, -C102)
V1494 = ( C108,  C108,  C108)
V1495 = ( C108,  C108, -C108)
V1496 = ( C108, -C108,  C108)
V1497 = ( C108, -C108, -C108)
V1498 = (-C108,  C108,  C108)
V1499 = (-C108,  C108, -C108)
V1500 = (-C108, -C108,  C108)
V1501 = (-C108, -C108, -C108)

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