Canonical Truncated Truncated Icosidodecahedron

C0  = 0.0519562618785998307386477125801
C1  = 0.05798123872509291308098742523448
C2  = 0.0713730523151270641302819744487
C3  = 0.1326479105251216797547066900747
C4  = 0.163285339630118987566919047888
C5  = 0.172993734848382604262736178822
C6  = 0.182220312144922594691434953306
C7  = 0.193054516924761597940318566714
C8  = 0.224949996726982435001383891402
C9  = 0.234658391945246051697201022336
C10 = 0.286870131891783551975753479268
C11 = 0.297704336671622555224637092676
C12 = 0.325702427449883277695025256789
C13 = 0.3662117108062270772858812613252
C14 = 0.370350008791049005010117600126
C15 = 0.387622562614684394669394844654
C16 = 0.406184385032978045964565087446
C17 = 0.410322683017799973688801426247
C18 = 0.412557653350591870814239925933
C19 = 0.419518042416905231730460169343
C20 = 0.43957882449328422540804255723452
C21 = 0.494538570591771981466191901691
C22 = 0.496624650998556859915149451714
C23 = 0.529497050436346064852800309213
C24 = 0.561905566057725260568024021740
C25 = 0.578605568239736970567101427472
C26 = 0.584978836557350795416776265959
C27 = 0.620813212799279836371223753278
C28 = 0.644981074963046025386002448583
C29 = 0.674523912403902679032188355310
C30 = 0.719488567318754416467575793093
C31 = 0.731886812482861323659590344234
C32 = 0.745896964719029743162470329759
C33 = 0.751599303088119574829837606294
C34 = 0.789868051207954236740577769469
C35 = 0.813867729724041434311542319992
C36 = 0.827201387107968620077437401889
C37 = 0.852136477843876096222282483168
C38 = 0.871848968449134347392529745227
C39 = 0.884247213613241254584544296368
C40 = 0.9281172768639523378539052830648
C41 = 0.972228249075525234256825447987
C42 = 0.9911632215903288413813413534047

C0  = (35 - 15 * sqrt(5) - sqrt(30 * (85 - 38 * sqrt(5)))) / 10
C1  = (9 * sqrt(5) - 3 - sqrt(6 * (25 + 2 * sqrt(5)))) / 66
C2  = (2 * sqrt(5) - 14 + sqrt(6 * (25 - 2 * sqrt(5)))) / 22
C3  = sqrt(30 * (5 - 2 * sqrt(5))) / 30
C4  = (35 - 5 * sqrt(5) - sqrt(30 * (265 - 118 * sqrt(5)))) / 110
C5  = (15 * sqrt(5) - 35 + 2 * sqrt(15 * (25 - 11 * sqrt(5)))) / 20
C6  = (3 + 9 * sqrt(5) - sqrt(6 * (25 - 2 * sqrt(5)))) / 66
C7  = (4 * sqrt(6 * (25 + 2 * sqrt(5))) - 21 - 3 * sqrt(5)) / 132
C8  = (35 - 15 * sqrt(5) + 2 * sqrt(15 * (65 - 29 * sqrt(5)))) / 20
C9  = (5 * sqrt(5) - 35 + 2 * sqrt(30 * (25 - 2 * sqrt(5)))) / 110
C10 = (21 + 3 * sqrt(5) + 2 * sqrt(3 * (145 - 61 * sqrt(5)))) / 132
C11 = (sqrt(3 * (545 + 29 * sqrt(5))) - 3 - 9 * sqrt(5)) / 66
C12 = (2 * sqrt(30 * (1985 - 422 * sqrt(5))) - 105 - 15 * sqrt(5)) / 660
C13 = (12 * sqrt(5) - 18 + sqrt(15 * (85 - 31 * sqrt(5)))) / 66
C14 = (3 * sqrt(5) - 12 + sqrt(30 * (25 + 2 * sqrt(5)))) / 66
C15 = (45 * sqrt(5) - 105 + 2 * sqrt(30 * (145 - 62 * sqrt(5)))) / 60
C16 = (12 - 3 * sqrt(5) + sqrt(3 * (85 + 31 * sqrt(5)))) / 66
C17 = (9 - 6 * sqrt(5) + sqrt(3 * (65 + 19 * sqrt(5)))) / 33
C18 = (30 - 15 * sqrt(5) + 4 * sqrt(30 * (5 - 2 * sqrt(5)))) / 30
C19 = (105 + 15 * sqrt(5) + 2 * sqrt(15 * (3805 - 1559 * sqrt(5)))) / 660
C20 = (21 - 9 * sqrt(5) + 4 * sqrt(3 * (25 - 11 * sqrt(5)))) / 12
C21 = (30 - 15 * sqrt(5) + sqrt(15 * (65 - 19 * sqrt(5)))) / 30
C22 = (15 * sqrt(5) - 30 + sqrt(15 * (145 - 61 * sqrt(5)))) / 30
C23 = (15 + 45 * sqrt(5) + sqrt(15 * (745 - 229 * sqrt(5)))) / 330
C24 = sqrt(30 * (5 + 2 * sqrt(5))) / 30
C25 = (15 * sqrt(5) - 30 + sqrt(30 * (145 - 62 * sqrt(5)))) / 30
C26 = (15 * sqrt(5) - 60 + sqrt(15 * (3505 - 131 * sqrt(5)))) / 330
C27 = (20 - 5 * sqrt(5) + 2 * sqrt(30 * (25 + 2 * sqrt(5)))) / 110
C28 = (2 * sqrt(15 * (1465 + 149 * sqrt(5))) - 15 - 45 * sqrt(5)) / 330
C29 = (105 - 15 * sqrt(5) + sqrt(15 * (1525 - sqrt(5)))) / 330
C30 = (165 - 75 * sqrt(5) + 2 * sqrt(30 * (505 - 218 * sqrt(5)))) / 60
C31 = (15 - 45 * sqrt(5) + 2 * sqrt(15 * (4985 + 181 * sqrt(5)))) / 660
C32 = (15 * sqrt(5) - 105 + sqrt(15 * (7465 - 331 * sqrt(5)))) / 330
C33 = (15 * sqrt(5) - 33 + 2 * sqrt(3 * (205 - 89 * sqrt(5)))) / 12
C34 = (45 * sqrt(5) - 15 + 2 * sqrt(15 * (3005 + 71 * sqrt(5)))) / 660
C35 = (15 - 45 * sqrt(5) + 8 * sqrt(15 * (205 + 89 * sqrt(5)))) / 660
C36 = sqrt(30 * (25 - 2 * sqrt(5))) / 30
C37 = (165 - 75 * sqrt(5) + 4 * sqrt(15 * (305 - 131 * sqrt(5)))) / 60
C38 = (45 * sqrt(5) - 15 + 2 * sqrt(30 * (1145 + 382 * sqrt(5)))) / 660
C39 = (75 * sqrt(5) - 165 + 2 * sqrt(15 * (845 - 359 * sqrt(5)))) / 60
C40 = (60 * sqrt(5) - 90 + sqrt(15 * (4985 - 181 * sqrt(5)))) / 330
C41 = (90 - 60 * sqrt(5) + sqrt(30 * (2245 + 982 * sqrt(5)))) / 330
C42 = sqrt(30 * (25 + 2 * sqrt(5))) / 30

V0   = (  C3,   C1,  C42)
V1   = (  C3,   C1, -C42)
V2   = (  C3,  -C1,  C42)
V3   = (  C3,  -C1, -C42)
V4   = ( -C3,   C1,  C42)
V5   = ( -C3,   C1, -C42)
V6   = ( -C3,  -C1,  C42)
V7   = ( -C3,  -C1, -C42)
V8   = ( C42,   C3,   C1)
V9   = ( C42,   C3,  -C1)
V10  = ( C42,  -C3,   C1)
V11  = ( C42,  -C3,  -C1)
V12  = (-C42,   C3,   C1)
V13  = (-C42,   C3,  -C1)
V14  = (-C42,  -C3,   C1)
V15  = (-C42,  -C3,  -C1)
V16  = (  C1,  C42,   C3)
V17  = (  C1,  C42,  -C3)
V18  = (  C1, -C42,   C3)
V19  = (  C1, -C42,  -C3)
V20  = ( -C1,  C42,   C3)
V21  = ( -C1,  C42,  -C3)
V22  = ( -C1, -C42,   C3)
V23  = ( -C1, -C42,  -C3)
V24  = (  C0,   C3,  C42)
V25  = (  C0,   C3, -C42)
V26  = (  C0,  -C3,  C42)
V27  = (  C0,  -C3, -C42)
V28  = ( -C0,   C3,  C42)
V29  = ( -C0,   C3, -C42)
V30  = ( -C0,  -C3,  C42)
V31  = ( -C0,  -C3, -C42)
V32  = ( C42,   C0,   C3)
V33  = ( C42,   C0,  -C3)
V34  = ( C42,  -C0,   C3)
V35  = ( C42,  -C0,  -C3)
V36  = (-C42,   C0,   C3)
V37  = (-C42,   C0,  -C3)
V38  = (-C42,  -C0,   C3)
V39  = (-C42,  -C0,  -C3)
V40  = (  C3,  C42,   C0)
V41  = (  C3,  C42,  -C0)
V42  = (  C3, -C42,   C0)
V43  = (  C3, -C42,  -C0)
V44  = ( -C3,  C42,   C0)
V45  = ( -C3,  C42,  -C0)
V46  = ( -C3, -C42,   C0)
V47  = ( -C3, -C42,  -C0)
V48  = (  C4,   C6,  C41)
V49  = (  C4,   C6, -C41)
V50  = (  C4,  -C6,  C41)
V51  = (  C4,  -C6, -C41)
V52  = ( -C4,   C6,  C41)
V53  = ( -C4,   C6, -C41)
V54  = ( -C4,  -C6,  C41)
V55  = ( -C4,  -C6, -C41)
V56  = ( C41,   C4,   C6)
V57  = ( C41,   C4,  -C6)
V58  = ( C41,  -C4,   C6)
V59  = ( C41,  -C4,  -C6)
V60  = (-C41,   C4,   C6)
V61  = (-C41,   C4,  -C6)
V62  = (-C41,  -C4,   C6)
V63  = (-C41,  -C4,  -C6)
V64  = (  C6,  C41,   C4)
V65  = (  C6,  C41,  -C4)
V66  = (  C6, -C41,   C4)
V67  = (  C6, -C41,  -C4)
V68  = ( -C6,  C41,   C4)
V69  = ( -C6,  C41,  -C4)
V70  = ( -C6, -C41,   C4)
V71  = ( -C6, -C41,  -C4)
V72  = (  C9,  C11,  C40)
V73  = (  C9,  C11, -C40)
V74  = (  C9, -C11,  C40)
V75  = (  C9, -C11, -C40)
V76  = ( -C9,  C11,  C40)
V77  = ( -C9,  C11, -C40)
V78  = ( -C9, -C11,  C40)
V79  = ( -C9, -C11, -C40)
V80  = ( C40,   C9,  C11)
V81  = ( C40,   C9, -C11)
V82  = ( C40,  -C9,  C11)
V83  = ( C40,  -C9, -C11)
V84  = (-C40,   C9,  C11)
V85  = (-C40,   C9, -C11)
V86  = (-C40,  -C9,  C11)
V87  = (-C40,  -C9, -C11)
V88  = ( C11,  C40,   C9)
V89  = ( C11,  C40,  -C9)
V90  = ( C11, -C40,   C9)
V91  = ( C11, -C40,  -C9)
V92  = (-C11,  C40,   C9)
V93  = (-C11,  C40,  -C9)
V94  = (-C11, -C40,   C9)
V95  = (-C11, -C40,  -C9)
V96  = (  C8,  C18,  C39)
V97  = (  C8,  C18, -C39)
V98  = (  C8, -C18,  C39)
V99  = (  C8, -C18, -C39)
V100 = ( -C8,  C18,  C39)
V101 = ( -C8,  C18, -C39)
V102 = ( -C8, -C18,  C39)
V103 = ( -C8, -C18, -C39)
V104 = ( C39,   C8,  C18)
V105 = ( C39,   C8, -C18)
V106 = ( C39,  -C8,  C18)
V107 = ( C39,  -C8, -C18)
V108 = (-C39,   C8,  C18)
V109 = (-C39,   C8, -C18)
V110 = (-C39,  -C8,  C18)
V111 = (-C39,  -C8, -C18)
V112 = ( C18,  C39,   C8)
V113 = ( C18,  C39,  -C8)
V114 = ( C18, -C39,   C8)
V115 = ( C18, -C39,  -C8)
V116 = (-C18,  C39,   C8)
V117 = (-C18,  C39,  -C8)
V118 = (-C18, -C39,   C8)
V119 = (-C18, -C39,  -C8)
V120 = ( C12,  C14,  C38)
V121 = ( C12,  C14, -C38)
V122 = ( C12, -C14,  C38)
V123 = ( C12, -C14, -C38)
V124 = (-C12,  C14,  C38)
V125 = (-C12,  C14, -C38)
V126 = (-C12, -C14,  C38)
V127 = (-C12, -C14, -C38)
V128 = ( C38,  C12,  C14)
V129 = ( C38,  C12, -C14)
V130 = ( C38, -C12,  C14)
V131 = ( C38, -C12, -C14)
V132 = (-C38,  C12,  C14)
V133 = (-C38,  C12, -C14)
V134 = (-C38, -C12,  C14)
V135 = (-C38, -C12, -C14)
V136 = ( C14,  C38,  C12)
V137 = ( C14,  C38, -C12)
V138 = ( C14, -C38,  C12)
V139 = ( C14, -C38, -C12)
V140 = (-C14,  C38,  C12)
V141 = (-C14,  C38, -C12)
V142 = (-C14, -C38,  C12)
V143 = (-C14, -C38, -C12)
V144 = (  C5,  C22,  C37)
V145 = (  C5,  C22, -C37)
V146 = (  C5, -C22,  C37)
V147 = (  C5, -C22, -C37)
V148 = ( -C5,  C22,  C37)
V149 = ( -C5,  C22, -C37)
V150 = ( -C5, -C22,  C37)
V151 = ( -C5, -C22, -C37)
V152 = ( C37,   C5,  C22)
V153 = ( C37,   C5, -C22)
V154 = ( C37,  -C5,  C22)
V155 = ( C37,  -C5, -C22)
V156 = (-C37,   C5,  C22)
V157 = (-C37,   C5, -C22)
V158 = (-C37,  -C5,  C22)
V159 = (-C37,  -C5, -C22)
V160 = ( C22,  C37,   C5)
V161 = ( C22,  C37,  -C5)
V162 = ( C22, -C37,   C5)
V163 = ( C22, -C37,  -C5)
V164 = (-C22,  C37,   C5)
V165 = (-C22,  C37,  -C5)
V166 = (-C22, -C37,   C5)
V167 = (-C22, -C37,  -C5)
V168 = (  C2,  C24,  C36)
V169 = (  C2,  C24, -C36)
V170 = (  C2, -C24,  C36)
V171 = (  C2, -C24, -C36)
V172 = ( -C2,  C24,  C36)
V173 = ( -C2,  C24, -C36)
V174 = ( -C2, -C24,  C36)
V175 = ( -C2, -C24, -C36)
V176 = ( C36,   C2,  C24)
V177 = ( C36,   C2, -C24)
V178 = ( C36,  -C2,  C24)
V179 = ( C36,  -C2, -C24)
V180 = (-C36,   C2,  C24)
V181 = (-C36,   C2, -C24)
V182 = (-C36,  -C2,  C24)
V183 = (-C36,  -C2, -C24)
V184 = ( C24,  C36,   C2)
V185 = ( C24,  C36,  -C2)
V186 = ( C24, -C36,   C2)
V187 = ( C24, -C36,  -C2)
V188 = (-C24,  C36,   C2)
V189 = (-C24,  C36,  -C2)
V190 = (-C24, -C36,   C2)
V191 = (-C24, -C36,  -C2)
V192 = ( C19,  C16,  C35)
V193 = ( C19,  C16, -C35)
V194 = ( C19, -C16,  C35)
V195 = ( C19, -C16, -C35)
V196 = (-C19,  C16,  C35)
V197 = (-C19,  C16, -C35)
V198 = (-C19, -C16,  C35)
V199 = (-C19, -C16, -C35)
V200 = ( C35,  C19,  C16)
V201 = ( C35,  C19, -C16)
V202 = ( C35, -C19,  C16)
V203 = ( C35, -C19, -C16)
V204 = (-C35,  C19,  C16)
V205 = (-C35,  C19, -C16)
V206 = (-C35, -C19,  C16)
V207 = (-C35, -C19, -C16)
V208 = ( C16,  C35,  C19)
V209 = ( C16,  C35, -C19)
V210 = ( C16, -C35,  C19)
V211 = ( C16, -C35, -C19)
V212 = (-C16,  C35,  C19)
V213 = (-C16,  C35, -C19)
V214 = (-C16, -C35,  C19)
V215 = (-C16, -C35, -C19)
V216 = (  C7,  C26,  C34)
V217 = (  C7,  C26, -C34)
V218 = (  C7, -C26,  C34)
V219 = (  C7, -C26, -C34)
V220 = ( -C7,  C26,  C34)
V221 = ( -C7,  C26, -C34)
V222 = ( -C7, -C26,  C34)
V223 = ( -C7, -C26, -C34)
V224 = ( C34,   C7,  C26)
V225 = ( C34,   C7, -C26)
V226 = ( C34,  -C7,  C26)
V227 = ( C34,  -C7, -C26)
V228 = (-C34,   C7,  C26)
V229 = (-C34,   C7, -C26)
V230 = (-C34,  -C7,  C26)
V231 = (-C34,  -C7, -C26)
V232 = ( C26,  C34,   C7)
V233 = ( C26,  C34,  -C7)
V234 = ( C26, -C34,   C7)
V235 = ( C26, -C34,  -C7)
V236 = (-C26,  C34,   C7)
V237 = (-C26,  C34,  -C7)
V238 = (-C26, -C34,   C7)
V239 = (-C26, -C34,  -C7)
V240 = ( C20,  C21,  C33)
V241 = ( C20,  C21, -C33)
V242 = ( C20, -C21,  C33)
V243 = ( C20, -C21, -C33)
V244 = (-C20,  C21,  C33)
V245 = (-C20,  C21, -C33)
V246 = (-C20, -C21,  C33)
V247 = (-C20, -C21, -C33)
V248 = ( C33,  C20,  C21)
V249 = ( C33,  C20, -C21)
V250 = ( C33, -C20,  C21)
V251 = ( C33, -C20, -C21)
V252 = (-C33,  C20,  C21)
V253 = (-C33,  C20, -C21)
V254 = (-C33, -C20,  C21)
V255 = (-C33, -C20, -C21)
V256 = ( C21,  C33,  C20)
V257 = ( C21,  C33, -C20)
V258 = ( C21, -C33,  C20)
V259 = ( C21, -C33, -C20)
V260 = (-C21,  C33,  C20)
V261 = (-C21,  C33, -C20)
V262 = (-C21, -C33,  C20)
V263 = (-C21, -C33, -C20)
V264 = ( C23,  C17,  C32)
V265 = ( C23,  C17, -C32)
V266 = ( C23, -C17,  C32)
V267 = ( C23, -C17, -C32)
V268 = (-C23,  C17,  C32)
V269 = (-C23,  C17, -C32)
V270 = (-C23, -C17,  C32)
V271 = (-C23, -C17, -C32)
V272 = ( C32,  C23,  C17)
V273 = ( C32,  C23, -C17)
V274 = ( C32, -C23,  C17)
V275 = ( C32, -C23, -C17)
V276 = (-C32,  C23,  C17)
V277 = (-C32,  C23, -C17)
V278 = (-C32, -C23,  C17)
V279 = (-C32, -C23, -C17)
V280 = ( C17,  C32,  C23)
V281 = ( C17,  C32, -C23)
V282 = ( C17, -C32,  C23)
V283 = ( C17, -C32, -C23)
V284 = (-C17,  C32,  C23)
V285 = (-C17,  C32, -C23)
V286 = (-C17, -C32,  C23)
V287 = (-C17, -C32, -C23)
V288 = ( C10,  C27,  C31)
V289 = ( C10,  C27, -C31)
V290 = ( C10, -C27,  C31)
V291 = ( C10, -C27, -C31)
V292 = (-C10,  C27,  C31)
V293 = (-C10,  C27, -C31)
V294 = (-C10, -C27,  C31)
V295 = (-C10, -C27, -C31)
V296 = ( C31,  C10,  C27)
V297 = ( C31,  C10, -C27)
V298 = ( C31, -C10,  C27)
V299 = ( C31, -C10, -C27)
V300 = (-C31,  C10,  C27)
V301 = (-C31,  C10, -C27)
V302 = (-C31, -C10,  C27)
V303 = (-C31, -C10, -C27)
V304 = ( C27,  C31,  C10)
V305 = ( C27,  C31, -C10)
V306 = ( C27, -C31,  C10)
V307 = ( C27, -C31, -C10)
V308 = (-C27,  C31,  C10)
V309 = (-C27,  C31, -C10)
V310 = (-C27, -C31,  C10)
V311 = (-C27, -C31, -C10)
V312 = ( C15,  C25,  C30)
V313 = ( C15,  C25, -C30)
V314 = ( C15, -C25,  C30)
V315 = ( C15, -C25, -C30)
V316 = (-C15,  C25,  C30)
V317 = (-C15,  C25, -C30)
V318 = (-C15, -C25,  C30)
V319 = (-C15, -C25, -C30)
V320 = ( C30,  C15,  C25)
V321 = ( C30,  C15, -C25)
V322 = ( C30, -C15,  C25)
V323 = ( C30, -C15, -C25)
V324 = (-C30,  C15,  C25)
V325 = (-C30,  C15, -C25)
V326 = (-C30, -C15,  C25)
V327 = (-C30, -C15, -C25)
V328 = ( C25,  C30,  C15)
V329 = ( C25,  C30, -C15)
V330 = ( C25, -C30,  C15)
V331 = ( C25, -C30, -C15)
V332 = (-C25,  C30,  C15)
V333 = (-C25,  C30, -C15)
V334 = (-C25, -C30,  C15)
V335 = (-C25, -C30, -C15)
V336 = ( C28,  C13,  C29)
V337 = ( C28,  C13, -C29)
V338 = ( C28, -C13,  C29)
V339 = ( C28, -C13, -C29)
V340 = (-C28,  C13,  C29)
V341 = (-C28,  C13, -C29)
V342 = (-C28, -C13,  C29)
V343 = (-C28, -C13, -C29)
V344 = ( C29,  C28,  C13)
V345 = ( C29,  C28, -C13)
V346 = ( C29, -C28,  C13)
V347 = ( C29, -C28, -C13)
V348 = (-C29,  C28,  C13)
V349 = (-C29,  C28, -C13)
V350 = (-C29, -C28,  C13)
V351 = (-C29, -C28, -C13)
V352 = ( C13,  C29,  C28)
V353 = ( C13,  C29, -C28)
V354 = ( C13, -C29,  C28)
V355 = ( C13, -C29, -C28)
V356 = (-C13,  C29,  C28)
V357 = (-C13,  C29, -C28)
V358 = (-C13, -C29,  C28)
V359 = (-C13, -C29, -C28)

Faces:
{   0,   2,  50,  74, 122, 194, 266, 338, 298, 226, 178, 176, 224, 296, 336, 264, 192, 120,  72,  48 }
{   1,  49,  73, 121, 193, 265, 337, 297, 225, 177, 179, 227, 299, 339, 267, 195, 123,  75,  51,   3 }
{   4,  52,  76, 124, 196, 268, 340, 300, 228, 180, 182, 230, 302, 342, 270, 198, 126,  78,  54,   6 }
{   5,   7,  55,  79, 127, 199, 271, 343, 303, 231, 183, 181, 229, 301, 341, 269, 197, 125,  77,  53 }
{   8,   9,  57,  81, 129, 201, 273, 345, 305, 233, 185, 184, 232, 304, 344, 272, 200, 128,  80,  56 }
{  10,  58,  82, 130, 202, 274, 346, 306, 234, 186, 187, 235, 307, 347, 275, 203, 131,  83,  59,  11 }
{  12,  60,  84, 132, 204, 276, 348, 308, 236, 188, 189, 237, 309, 349, 277, 205, 133,  85,  61,  13 }
{  14,  15,  63,  87, 135, 207, 279, 351, 311, 239, 191, 190, 238, 310, 350, 278, 206, 134,  86,  62 }
{  16,  20,  68,  92, 140, 212, 284, 356, 292, 220, 172, 168, 216, 288, 352, 280, 208, 136,  88,  64 }
{  17,  65,  89, 137, 209, 281, 353, 289, 217, 169, 173, 221, 293, 357, 285, 213, 141,  93,  69,  21 }
{  18,  66,  90, 138, 210, 282, 354, 290, 218, 170, 174, 222, 294, 358, 286, 214, 142,  94,  70,  22 }
{  19,  23,  71,  95, 143, 215, 287, 359, 295, 223, 175, 171, 219, 291, 355, 283, 211, 139,  91,  67 }
{  24,  48,  72,  96, 144, 168, 172, 148, 100,  76,  52,  28 }
{  25,  29,  53,  77, 101, 149, 173, 169, 145,  97,  73,  49 }
{  26,  30,  54,  78, 102, 150, 174, 170, 146,  98,  74,  50 }
{  27,  51,  75,  99, 147, 171, 175, 151, 103,  79,  55,  31 }
{  32,  56,  80, 104, 152, 176, 178, 154, 106,  82,  58,  34 }
{  33,  35,  59,  83, 107, 155, 179, 177, 153, 105,  81,  57 }
{  36,  38,  62,  86, 110, 158, 182, 180, 156, 108,  84,  60 }
{  37,  61,  85, 109, 157, 181, 183, 159, 111,  87,  63,  39 }
{  40,  64,  88, 112, 160, 184, 185, 161, 113,  89,  65,  41 }
{  42,  43,  67,  91, 115, 163, 187, 186, 162, 114,  90,  66 }
{  44,  45,  69,  93, 117, 165, 189, 188, 164, 116,  92,  68 }
{  46,  70,  94, 118, 166, 190, 191, 167, 119,  95,  71,  47 }
{ 240, 264, 336, 320, 248, 272, 344, 328, 256, 280, 352, 312 }
{ 241, 313, 353, 281, 257, 329, 345, 273, 249, 321, 337, 265 }
{ 242, 314, 354, 282, 258, 330, 346, 274, 250, 322, 338, 266 }
{ 243, 267, 339, 323, 251, 275, 347, 331, 259, 283, 355, 315 }
{ 244, 316, 356, 284, 260, 332, 348, 276, 252, 324, 340, 268 }
{ 245, 269, 341, 325, 253, 277, 349, 333, 261, 285, 357, 317 }
{ 246, 270, 342, 326, 254, 278, 350, 334, 262, 286, 358, 318 }
{ 247, 319, 359, 287, 263, 335, 351, 279, 255, 327, 343, 271 }
{   0,  24,  28,   4,   6,  30,  26,   2 }
{   1,   3,  27,  31,   7,   5,  29,  25 }
{   8,  32,  34,  10,  11,  35,  33,   9 }
{  12,  13,  37,  39,  15,  14,  38,  36 }
{  16,  40,  41,  17,  21,  45,  44,  20 }
{  18,  22,  46,  47,  23,  19,  43,  42 }
{  96, 120, 192, 240, 312, 288, 216, 144 }
{  97, 145, 217, 289, 313, 241, 193, 121 }
{  98, 146, 218, 290, 314, 242, 194, 122 }
{  99, 123, 195, 243, 315, 291, 219, 147 }
{ 100, 148, 220, 292, 316, 244, 196, 124 }
{ 101, 125, 197, 245, 317, 293, 221, 149 }
{ 102, 126, 198, 246, 318, 294, 222, 150 }
{ 103, 151, 223, 295, 319, 247, 199, 127 }
{ 104, 128, 200, 248, 320, 296, 224, 152 }
{ 105, 153, 225, 297, 321, 249, 201, 129 }
{ 106, 154, 226, 298, 322, 250, 202, 130 }
{ 107, 131, 203, 251, 323, 299, 227, 155 }
{ 108, 156, 228, 300, 324, 252, 204, 132 }
{ 109, 133, 205, 253, 325, 301, 229, 157 }
{ 110, 134, 206, 254, 326, 302, 230, 158 }
{ 111, 159, 231, 303, 327, 255, 207, 135 }
{ 112, 136, 208, 256, 328, 304, 232, 160 }
{ 113, 161, 233, 305, 329, 257, 209, 137 }
{ 114, 162, 234, 306, 330, 258, 210, 138 }
{ 115, 139, 211, 259, 331, 307, 235, 163 }
{ 116, 164, 236, 308, 332, 260, 212, 140 }
{ 117, 141, 213, 261, 333, 309, 237, 165 }
{ 118, 142, 214, 262, 334, 310, 238, 166 }
{ 119, 167, 239, 311, 335, 263, 215, 143 }
{   0,  48,  24 }
{   1,  25,  49 }
{   2,  26,  50 }
{   3,  51,  27 }
{   4,  28,  52 }
{   5,  53,  29 }
{   6,  54,  30 }
{   7,  31,  55 }
{   8,  56,  32 }
{   9,  33,  57 }
{  10,  34,  58 }
{  11,  59,  35 }
{  12,  36,  60 }
{  13,  61,  37 }
{  14,  62,  38 }
{  15,  39,  63 }
{  16,  64,  40 }
{  17,  41,  65 }
{  18,  42,  66 }
{  19,  67,  43 }
{  20,  44,  68 }
{  21,  69,  45 }
{  22,  70,  46 }
{  23,  47,  71 }
{  72, 120,  96 }
{  73,  97, 121 }
{  74,  98, 122 }
{  75, 123,  99 }
{  76, 100, 124 }
{  77, 125, 101 }
{  78, 126, 102 }
{  79, 103, 127 }
{  80, 128, 104 }
{  81, 105, 129 }
{  82, 106, 130 }
{  83, 131, 107 }
{  84, 108, 132 }
{  85, 133, 109 }
{  86, 134, 110 }
{  87, 111, 135 }
{  88, 136, 112 }
{  89, 113, 137 }
{  90, 114, 138 }
{  91, 139, 115 }
{  92, 116, 140 }
{  93, 141, 117 }
{  94, 142, 118 }
{  95, 119, 143 }
{ 144, 216, 168 }
{ 145, 169, 217 }
{ 146, 170, 218 }
{ 147, 219, 171 }
{ 148, 172, 220 }
{ 149, 221, 173 }
{ 150, 222, 174 }
{ 151, 175, 223 }
{ 152, 224, 176 }
{ 153, 177, 225 }
{ 154, 178, 226 }
{ 155, 227, 179 }
{ 156, 180, 228 }
{ 157, 229, 181 }
{ 158, 230, 182 }
{ 159, 183, 231 }
{ 160, 232, 184 }
{ 161, 185, 233 }
{ 162, 186, 234 }
{ 163, 235, 187 }
{ 164, 188, 236 }
{ 165, 237, 189 }
{ 166, 238, 190 }
{ 167, 191, 239 }
{ 192, 264, 240 }
{ 193, 241, 265 }
{ 194, 242, 266 }
{ 195, 267, 243 }
{ 196, 244, 268 }
{ 197, 269, 245 }
{ 198, 270, 246 }
{ 199, 247, 271 }
{ 200, 272, 248 }
{ 201, 249, 273 }
{ 202, 250, 274 }
{ 203, 275, 251 }
{ 204, 252, 276 }
{ 205, 277, 253 }
{ 206, 278, 254 }
{ 207, 255, 279 }
{ 208, 280, 256 }
{ 209, 257, 281 }
{ 210, 258, 282 }
{ 211, 283, 259 }
{ 212, 260, 284 }
{ 213, 285, 261 }
{ 214, 286, 262 }
{ 215, 263, 287 }
{ 288, 312, 352 }
{ 289, 353, 313 }
{ 290, 354, 314 }
{ 291, 315, 355 }
{ 292, 356, 316 }
{ 293, 317, 357 }
{ 294, 318, 358 }
{ 295, 359, 319 }
{ 296, 320, 336 }
{ 297, 337, 321 }
{ 298, 338, 322 }
{ 299, 323, 339 }
{ 300, 340, 324 }
{ 301, 325, 341 }
{ 302, 326, 342 }
{ 303, 343, 327 }
{ 304, 328, 344 }
{ 305, 345, 329 }
{ 306, 346, 330 }
{ 307, 331, 347 }
{ 308, 348, 332 }
{ 309, 333, 349 }
{ 310, 334, 350 }
{ 311, 351, 335 }
