Dual Geodesic Icosahedron Pattern 25 [8,0]

C0   = 0.0329124840188673946037433515891
C1   = 0.0402155979167856338053232942892
C2   = 0.0437254743859170663970801145388
C3   = 0.04526583972532374831874472990447
C4   = 0.0532535177967151799412289898253
C5   = 0.0693036320969422399777620439557
C6   = 0.0733742038343095108990827253544
C7   = 0.0747538475728635671626948164939
C8   = 0.0778969174949724243602072013473
C9   = 0.0785427802584001451917156150693
C10  = 0.0789214622672797732327223685457
C11  = 0.0790624091753271147303108967246
C12  = 0.0793002837548646684728596805403
C13  = 0.0844748302592296264792760686610
C14  = 0.0892832588343449998634917762528
C15  = 0.0907744628910587715098540195356
C16  = 0.120954266162722083334522285412
C17  = 0.1343738364042008608801615708247
C18  = 0.149698496676165581149381225929
C19  = 0.152351230193456325633557678599
C20  = 0.153975843587464668503063540007
C21  = 0.156167218319745959324352310203
C22  = 0.156769769608617546330302151307
C23  = 0.157746854754088555693374888362
C24  = 0.157983871442606887963033265270
C25  = 0.169366476086292711281616806257
C26  = 0.177205836583929312730633911179
C27  = 0.178270164210352163358359940980
C28  = 0.181070478988045222284823298882
C29  = 0.2031967859606052730721103002552
C30  = 0.2100573503876211372534494215349
C31  = 0.218081126830227799733911362579
C32  = 0.220447800406792331106410383444
C33  = 0.224943200525791376654188561846
C34  = 0.231150150234156757766245628569
C35  = 0.232170138065161252254722786801
C36  = 0.233434991079053548751090533141
C37  = 0.234624278662676271557554764726
C38  = 0.234666687103589970690509352654
C39  = 0.2554051022546872729472009277747
C40  = 0.274040714862417875646003290916
C41  = 0.285942730072716137653979078504
C42  = 0.298439191007789195830840574482
C43  = 0.303685178012928544551708599353
C44  = 0.304310024336063862216431918170
C45  = 0.305411805270040281347684426133
C46  = 0.305647325857523407777160524617
C47  = 0.310143061907210627827415850211
C48  = 0.310712918323561397446438401870
C49  = 0.312927745305881690212045491618
C50  = 0.312966559417425821213928121480
C51  = 0.338421407205300376104796688809
C52  = 0.352640808916092388016671780971
C53  = 0.352862675516185199252564865893
C54  = 0.357197896351771032163687579502
C55  = 0.366344102367347283853290613917
C56  = 0.370397764965981058033894770939
C57  = 0.377059381847238055450791324708
C58  = 0.380848646910322338915626854498
C59  = 0.381500444930925407236568063277
C60  = 0.383954585528440426539400041202
C61  = 0.393601495791279903569081947031
C62  = 0.414487044998086558351155389759
C63  = 0.420925014287510403609539897403
C64  = 0.434332528408947122898746930748
C65  = 0.436310251598553441059103019172
C66  = 0.439701397062923298011656814894
C67  = 0.441238299738763858390419414130
C68  = 0.442887206256193438469451445957
C69  = 0.448900841767065684383756806830
C70  = 0.450725044115969390386306004402
C71  = 0.451597950640949088872656012013
C72  = 0.4546064093275351551551928846853
C73  = 0.470404520353195703763953631403
C74  = 0.480566474194223203995511125740
C75  = 0.486656800310133798179269061096
C76  = 0.491663352379214676599212296537
C77  = 0.504771601370181918914056341763
C78  = 0.506327727927786935135134292826
C79  = 0.513742528400549681805158020888
C80  = 0.521949615431520553199762342682
C81  = 0.523113871975964830183592765224
C82  = 0.526506223730386067933112910419
C83  = 0.539910318106848978120498050922
C84  = 0.548009902316516087313309734992
C85  = 0.548217961972389053467210836331
C86  = 0.555286794571669206233269216160
C87  = 0.557968839971297352455747778578
C88  = 0.572822802125716372724241402511
C89  = 0.575985729796071368087526644420
C90  = 0.577958337007127596298396762599
C91  = 0.579688040719941283423163815533
C92  = 0.585628011682651603607993973366
C93  = 0.586297666595238748003655399034
C94  = 0.591105274375174582293682711198
C95  = 0.595786876559664933686056740046
C96  = 0.616907233646852610742290726074
C97  = 0.6195890176573454925780516413053
C98  = 0.630040642144532773395964032654
C99  = 0.632464484101925328397992252482
C100 = 0.634638282360669103313508215337
C101 = 0.646285362961154109757967969420
C102 = 0.649153732101676529041664742413
C103 = 0.649647223821821564562245561807
C104 = 0.657122831563638244547614020363
C105 = 0.659951529656226237061957888459
C106 = 0.663914237894280185598711469580
C107 = 0.668145860633320048590471250167
C108 = 0.6869753590009359206219069314346
C109 = 0.693815206327748160129554975979
C110 = 0.694569725865085912040135019646
C111 = 0.698510479924625265810774009851
C112 = 0.703744557698490531396497797242
C113 = 0.705964816726477609160585724693
C114 = 0.716939314361154954877268321143
C115 = 0.730568425245622333204710243360
C116 = 0.737540680713665226526635090517
C117 = 0.746042778128292472950678451514
C118 = 0.7467780421591679119152256471653
C119 = 0.749054516806233994704780621790
C120 = 0.751667403265408717031082470870
C121 = 0.759613760090627081830195208700
C122 = 0.7611305023930623394906676751449
C123 = 0.768588476670405349963097954239
C124 = 0.776522009655881704128158703449
C125 = 0.777518640958219300769222234670
C126 = 0.7930278165328355312599895734947
C127 = 0.800261206548618778261031509428
C128 = 0.804378793425466547737566761613
C129 = 0.8048795998159508301489399386048
C130 = 0.808155867861232620342249431221
C131 = 0.820152245993477422814308372520
C132 = 0.820339727776934248281630921083
C133 = 0.823719059548077816941049703589
C134 = 0.827423896312028692400024683394
C135 = 0.836673855677101501771288157364
C136 = 0.840680761554782033619116559319
C137 = 0.8458256417528239441059207474051
C138 = 0.851904965284121111000521694681
C139 = 0.8534217075865563686609941611251
C140 = 0.873593245573649428222859910909
C141 = 0.874590424347612941216434123653
C142 = 0.880399330063018568168368271902
C143 = 0.886041239669609577911244041694
C144 = 0.887035295714522831445409023574
C145 = 0.889544465382963778124523285681
C146 = 0.898472907120941384103744520083
C147 = 0.898555756988533293820039464984
C148 = 0.904627076252707049293584441181
C149 = 0.923453680450416642464962571697
C150 = 0.9243129423386446363090383924948
C151 = 0.928873239849338029761716382049
C152 = 0.935156233358898628462084342101
C153 = 0.937954952756698061244714760496
C154 = 0.947566027666550793525553706956
C155 = 0.948649552075850132938621605939
C156 = 0.949974828119773184987335947420
C157 = 0.972229826573437880594723422277
C158 = 0.972455884969383910806903168337
C159 = 0.972918089073652058275886009939
C160 = 0.984528213570942494526313855503
C161 = 0.984706770166454485862764658230
C162 = 0.996910744083581771697066541822

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

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