V:=Matrix(CC,4,60,[
    0.832797679783286 + 0.0*i,
    -0.197581380644236 + 0.0*i,
    -0.380313238580659 + 0.0*i,
    0.706168822221511 + 0.0*i,
    0.732135200076645 + 0.0*i,
    0.175423444410926 + 0.0*i,
    0.713477237561058 + 0.0*i,
    0.519214120511708 + 0.0*i,
    0.478450817973815 + 0.0*i,
    0.410469956698833 + 0.0*i,
    0.645548968728888 + 0.0*i,
    0.22354775821414 + 0.0*i,
    -0.333163995591077 + 0.0*i,
    0.156765483029897 + 0.0*i,
    -0.373004823836713 + 0.0*i,
    0.235079013513325 + 0.0*i,
    -0.0186579653431192 + 0.0*i,
    0.00730841224849909 + 0.0*i,
    0.0606198538068309 + 0.0*i,
    -0.410502461946471 + 0.0*i,
    -0.635216299415845 + 0.0*i,
    0.537131316724621 + 0.0*i,
    0.556711757363562 + 0.0*i,
    0.042014485717949 + 0.0*i,
    -0.828280829757963 + 0.0*i,
    -0.676032196634281 + 0.0*i,
    0.459792856447547 + 0.0*i,
    -0.736652052725666 + 0.0*i,
    -0.0961456299177777 + 0.0*i,
    -0.694637567966676 + 0.0*i,
    -0.164126490460328 + 0.0*i,
    0.671515349094316 + 0.0*i,
    0.295666362679939 + 0.0*i,
    0.224746347696138 + 0.0*i,
    -0.0374976365615569 + 0.0*i,
    -0.652857383944742 + 0.0*i,
    -0.92971658077313 + 0.0*i,
    0.193064531002164 + 0.0*i,
    -0.314324322985179 + 0.0*i,
    0.216239343472328 + 0.0*i,
    -0.870295314557492 + 0.0*i,
    -0.114803592384802 + 0.0*i,
    0.967181710417039 + 0.0*i,
    -0.030483230369339 + 0.0*i,
    -0.634017714454652 + 0.0*i,
    0.851455645449172 + 0.0*i,
    0.417778370771153 + 0.0*i,
    0.187248710715997 + 0.0*i,
    0.440985689389104 + 0.0*i,
    -0.126628858156475 + 0.0*i,
    -0.291149514598614 + 0.0*i,
    0.156818075624935 + 0.0*i,
    0.422327726339121 + 0.0*i,
    -0.488730890732632 + 0.0*i,
    0.321632742721849 + 0.0*i,
    0.507388856008861 + 0.0*i,
    0.447967590138024 + 0.0*i,
    -0.549403340470247 + 0.0*i,
    0.217437930409983 + 0.0*i,
    0.858764060802811 + 0.0*i,
    -0.116820511158116 + 0.0*i,
    0.670049127123286 + 0.0*i,
    0.380694050998 + 0.0*i,
    0.705836337149331 + 0.0*i,
    0.426956360422569 + 0.0*i,
    0.950392688470596 + 0.0*i,
    0.0447987234816429 + 0.0*i,
    -0.480742760262673 + 0.0*i,
    -0.0150064384713826 + 0.0*i,
    0.715110824188485 + 0.0*i,
    0.00236812398602374 + 0.0*i,
    -0.948929106615745 + 0.0*i,
    -0.42549277712161 + 0.0*i,
    0.56823505336408 + 0.0*i,
    -0.280343560987038 + 0.0*i,
    -0.712742700448294 + 0.0*i,
    -0.382157632208537 + 0.0*i,
    -0.661037612193412 + 0.0*i,
    0.703468210827328 + 0.0*i,
    -0.237649989242944 + 0.0*i,
    -0.5532286184345 + 0.0*i,
    -0.585006860025238 + 0.0*i,
    -0.523436329903885 + 0.0*i,
    -0.45123728593171 + 0.0*i,
    -0.291723201977909 + 0.0*i,
    0.68505556622469 + 0.0*i,
    -0.397164071380346 + 0.0*i,
    -0.0184126462527935 + 0.0*i,
    0.135233154631612 + 0.0*i,
    -0.469649929191536 + 0.0*i,
    0.865350419749355 + 0.0*i,
    -0.276511849222317 + 0.0*i,
    0.468186345449245 + 0.0*i,
    -0.161882204838677 + 0.0*i,
    0.0426935715590893 + 0.0*i,
    0.658669487140288 + 0.0*i,
    0.243092771184755 + 0.0*i,
    -0.261505414756189 + 0.0*i,
    -0.850343982993523 + 0.0*i,
    -0.287891494735918 + 0.0*i,
    0.159514079701547 + 0.0*i,
    -0.246924477540321 + 0.0*i,
    0.191674495076182 + 0.0*i,
    0.687423690594462 + 0.0*i,
    0.233818282171075 + 0.0*i,
    0.265337123478474 + 0.0*i,
    0.0540732107073629 + 0.0*i,
    -0.119188638531729 + 0.0*i,
    -0.449773702733547 + 0.0*i,
    0.822656847713538 + 0.0*i,
    -0.876730060114904 + 0.0*i,
    -0.204312809803579 + 0.0*i,
    -0.83193133536982 + 0.0*i,
    -0.206680932676394 + 0.0*i,
    0.189306369421239 + 0.0*i,
    0.588838566759995 + 0.0*i,
    0.67241725362756 + 0.0*i,
    -0.137601282011258 + 0.0*i,
    0.499155405140196 + 0.0*i,
    -0.395700489228493 + 0.0*i,
    -0.0310564528687356 + 0.0*i,
    0.561283973336361 + 0.0*i,
    0.206991590279441 + 0.0*i,
    -0.0541933801754451 + 0.0*i,
    0.284669034215325 + 0.0*i,
    -0.244427927053394 + 0.0*i,
    0.544526927779062 + 0.0*i,
    0.350835556181357 + 0.0*i,
    0.514797549404381 + 0.0*i,
    -0.372355761412708 + 0.0*i,
    -0.75537833669819 + 0.0*i,
    -0.222421561546891 + 0.0*i,
    -0.751518517682824 + 0.0*i,
    0.0154299711967868 + 0.0*i,
    0.80571189879909 + 0.0*i,
    -0.383022570985058 + 0.0*i,
    0.259857898702551 + 0.0*i,
    0.598720308949339 + 0.0*i,
    0.701184956208858 + 0.0*i,
    0.627450497555905 + 0.0*i,
    -0.530227519879364 + 0.0*i,
    -0.604313569630124 + 0.0*i,
    0.529096957445993 + 0.0*i,
    0.548290901481587 + 0.0*i,
    0.401085954116417 + 0.0*i,
    0.0464864245257529 + 0.0*i,
    0.77465544442705 + 0.0*i,
    -0.654698530325027 + 0.0*i,
    0.685754983664546 + 0.0*i,
    -0.1064076298727 + 0.0*i,
    -0.201398327899062 + 0.0*i,
    -0.416515924269404 + 0.0*i,
    0.573257119661319 + 0.0*i,
    0.902583283430113 + 0.0*i,
    -0.178261398058898 + 0.0*i,
    0.15665802769571 + 0.0*i,
    0.276614941492259 + 0.0*i,
    -0.93131347343057 + 0.0*i,
    -0.313399222698793 + 0.0*i,
    -0.821141868180085 + 0.0*i,
    -0.147204945791269 + 0.0*i,
    0.945612880975886 + 0.0*i,
    0.156741196685168 + 0.0*i,
    -0.708891912637559 + 0.0*i,
    0.594777322670516 + 0.0*i,
    -0.290914347289652 + 0.0*i,
    0.226364546142697 + 0.0*i,
    0.724321885437832 + 0.0*i,
    0.0814414148485672 + 0.0*i,
    -0.023136929892454 + 0.0*i,
    -0.203227616154426 + 0.0*i,
    -0.397321981303724 + 0.0*i,
    0.341299310808127 + 0.0*i,
    0.358056356250029 + 0.0*i,
    0.912119530190205 + 0.0*i,
    -0.617914251477324 + 0.0*i,
    -0.194094361321698 + 0.0*i,
    0.0696233512495932 + 0.0*i,
    0.303862974488632 + 0.0*i,
    0.30780595617835 + 0.0*i,
    -0.540218927339226 + 0.0*i,
    0.443797325971875 + 0.0*i,
    0.817060806579664 + 0.0*i,
    0.0135549705665202 + 0.0*i,
    0.447939567422167 + 0.0*i,
    0.0789641775048666 + 0.0*i,
    -0.438672692083919 + 0.0*i,
    -0.613365721274997 + 0.0*i,
    0.711226479197616 + 0.0*i,
    -0.42600717214489 + 0.0*i,
    0.112536613637218 + 0.0*i,
    -0.00941272404350674 + 0.0*i,
    -0.378388115879635 + 0.0*i,
    -0.80764808143621 + 0.0*i,
    0.364833147262162 + 0.0*i,
    0.53854378696562 + 0.0*i,
    -0.88661225851886 + 0.0*i,
    -0.452227657300663 + 0.0*i,
    -0.0989816491387116 + 0.0*i,
    -0.617507963078665 + 0.0*i,
    0.0964216047578159 + 0.0*i,
    0.063734071562886 + 0.0*i,
    0.368975388571269 + 0.0*i,
    0.702849046472533 + 0.0*i,
    0.260726864541687 + 0.0*i,
    -0.267429154418901 + 0.0*i,
    -0.17538578044962 + 0.0*i,
    -0.168447505363784 + 0.0*i,
    0.708666433602816 + 0.0*i,
    0.534401543302976 + 0.0*i,
    -0.428567217234652 + 0.0*i,
    0.546921217361695 + 0.0*i,
    -0.603952997071878 + 0.0*i,
    0.329585569202189 + 0.0*i,
    -0.982341111916789 + 0.0*i,
    0.339691043887924 + 0.0*i,
    -0.00414224292749454 + 0.0*i,
    -0.16430526202406 + 0.0*i,
    -0.282659260910399 + 0.0*i,
    0.442814934159966 + 0.0*i,
    -0.442122186472059 + 0.0*i,
    -0.177945825743311 + 0.0*i,
    -0.0570317826633736 + 0.0*i,
    -0.154892538467169 + 0.0*i,
    0.435419895178389 + 0.0*i,
    0.346393327415437 + 0.0*i,
    -0.878234827964144 + 0.0*i,
    -0.652755540042314 + 0.0*i,
    0.772400501055531 + 0.0*i,
    0.553773893992091 + 0.0*i,
    0.3244609342773 + 0.0*i,
    0.880794874008893 + 0.0*i,
    -0.114211756123941 + 0.0*i,
    0.768258260131745 + 0.0*i,
    -0.169568393137903 + 0.0*i,
    0.11835399830708 + 0.0*i,
    0.556333941183731 + 0.0*i,
    -0.821203047747491 + 0.0*i,
    0.781813226207686 + 0.0*i,
    -0.105834323538867 + 0.0*i
]);