V:=Matrix(CC,4,64,[
    0.0916376311225331 + 0.0*i,
    -0.244310117426351 + 0.0*i,
    0.349866638017677 + 0.0*i,
    0.0633994790488918 + 0.0*i,
    0.163771866585249 + 0.0*i,
    -0.230748893499602 + 0.0*i,
    -0.39081689851293 + 0.0*i,
    -0.0702952505857265 + 0.0*i,
    0.276624065700877 + 0.0*i,
    0.124961723366459 + 0.0*i,
    -0.00274234979357659 + 0.0*i,
    0.187993506329419 + 0.0*i,
    -0.0165941089236318 + 0.0*i,
    0.180550994012138 + 0.0*i,
    0.148204405059599 + 0.0*i,
    0.150852902406169 + 0.0*i,
    0.157680355000942 + 0.0*i,
    -0.340363541075866 + 0.0*i,
    0.264728461446014 + 0.0*i,
    0.147110931256143 + 0.0*i,
    -0.237784660206185 + 0.0*i,
    -0.339245988044525 + 0.0*i,
    -0.253526271755178 + 0.0*i,
    0.074257798396053 + 0.0*i,
    -0.194233074647285 + 0.0*i,
    -0.356502577578059 + 0.0*i,
    0.00675288703009964 + 0.0*i,
    0.0878640311308361 + 0.0*i,
    -0.0436278778905299 + 0.0*i,
    -0.208632305401759 + 0.0*i,
    -0.111168526698715 + 0.0*i,
    0.141871542139705 + 0.0*i,
    0.115341962101814 + 0.0*i,
    -0.332307472262844 + 0.0*i,
    -0.234429225868042 + 0.0*i,
    0.0280158916263287 + 0.0*i,
    0.332929160384747 + 0.0*i,
    0.0373467376980831 + 0.0*i,
    -0.168552360884899 + 0.0*i,
    -0.0352615655676062 + 0.0*i,
    -0.173159632598585 + 0.0*i,
    -0.0555094087546658 + 0.0*i,
    0.177560418023216 + 0.0*i,
    -0.0520493503143418 + 0.0*i,
    0.0882395892100723 + 0.0*i,
    0.210258521011069 + 0.0*i,
    0.232558718471634 + 0.0*i,
    0.0739240277508918 + 0.0*i,
    0.267097879844631 + 0.0*i,
    -0.275530352159734 + 0.0*i,
    0.0371205723321317 + 0.0*i,
    -0.11561417816564 + 0.0*i,
    0.262582771445319 + 0.0*i,
    -0.298693960501078 + 0.0*i,
    -0.218588582948983 + 0.0*i,
    0.158052736174862 + 0.0*i,
    0.156119843059984 + 0.0*i,
    -0.0368856195939496 + 0.0*i,
    0.0583744602494954 + 0.0*i,
    0.0507681057854449 + 0.0*i,
    0.173536859631891 + 0.0*i,
    0.0560947695121051 + 0.0*i,
    -0.324703261201243 + 0.0*i,
    0.0168632172783069 + 0.0*i,
    0.275619310121242 + 0.0*i,
    -0.0777706487145174 + 0.0*i,
    0.18247992182565 + 0.0*i,
    0.0607490506945535 + 0.0*i,
    0.124187849408119 + 0.0*i,
    -0.175274223036489 + 0.0*i,
    0.0149760012749462 + 0.0*i,
    0.216976483400055 + 0.0*i,
    -0.0774917881113693 + 0.0*i,
    0.0504020305372357 + 0.0*i,
    0.133042092928174 + 0.0*i,
    -0.104361409375793 + 0.0*i,
    0.372297859825466 + 0.0*i,
    -0.212594792138217 + 0.0*i,
    -0.245552410833279 + 0.0*i,
    -0.0662734267222284 + 0.0*i,
    -0.267405655980294 + 0.0*i,
    0.0843038392236224 + 0.0*i,
    -0.0647029579626548 + 0.0*i,
    0.018598496884384 + 0.0*i,
    -0.136473472950861 + 0.0*i,
    -0.105092359349983 + 0.0*i,
    0.253382699860893 + 0.0*i,
    0.0795153618890161 + 0.0*i,
    -0.180615251927818 + 0.0*i,
    0.155645895342997 + 0.0*i,
    -0.140365231889186 + 0.0*i,
    0.210209889295279 + 0.0*i,
    0.142234546403504 + 0.0*i,
    0.329787157973771 + 0.0*i,
    -0.231225475835253 + 0.0*i,
    0.328936716941937 + 0.0*i,
    -0.150077714977085 + 0.0*i,
    -0.203929947955576 + 0.0*i,
    0.166314855389811 + 0.0*i,
    -0.306592095665818 + 0.0*i,
    0.0432967505271302 + 0.0*i,
    -0.277100148806869 + 0.0*i,
    -0.0614131337095312 + 0.0*i,
    0.0519493057837152 + 0.0*i,
    -0.00718793765439616 + 0.0*i,
    0.321319999881349 + 0.0*i,
    0.34286805907933 + 0.0*i,
    0.128331670706927 + 0.0*i,
    -0.0533299675235107 + 0.0*i,
    0.1095143222936 + 0.0*i,
    0.173831812336087 + 0.0*i,
    -0.377619071152441 + 0.0*i,
    -0.251636844367568 + 0.0*i,
    0.0677922453669079 + 0.0*i,
    0.232563948206318 + 0.0*i,
    -0.274023178971012 + 0.0*i,
    -0.252575307693557 + 0.0*i,
    0.0213870164133823 + 0.0*i,
    -0.266164947871268 + 0.0*i,
    0.351775479015709 + 0.0*i,
    -0.135750755427964 + 0.0*i,
    -0.259704725293303 + 0.0*i,
    0.168684424501227 + 0.0*i,
    0.0415451869870588 + 0.0*i,
    -0.213244535982336 + 0.0*i,
    0.00961947530973941 + 0.0*i,
    0.0138451559532588 + 0.0*i,
    -0.368141262666535 + 0.0*i,
    -0.246942942941765 + 0.0*i,
    0.250848909623505 + 0.0*i,
    0.0819902355140923 + 0.0*i,
    0.000105750358219735 + 0.0*i,
    -0.342575759326035 + 0.0*i,
    0.0683893634081752 + 0.0*i,
    0.0513988638046619 + 0.0*i,
    0.122613741561334 + 0.0*i,
    0.276153745921368 + 0.0*i,
    -0.0871937306132084 + 0.0*i,
    -0.210705040173521 + 0.0*i,
    0.0405752109792121 + 0.0*i,
    -0.133314875789806 + 0.0*i,
    0.218923785237649 + 0.0*i,
    -0.154490512539166 + 0.0*i,
    -0.185945035412455 + 0.0*i,
    0.250024523783661 + 0.0*i,
    0.139526738788662 + 0.0*i,
    -0.00459100997962588 + 0.0*i,
    0.290935036979387 + 0.0*i,
    -0.294986200851066 + 0.0*i,
    0.0123000576185297 + 0.0*i,
    0.00702468550102269 + 0.0*i,
    0.111844959754724 + 0.0*i,
    0.0923662686584346 + 0.0*i,
    -0.105648805726698 + 0.0*i,
    0.211393408585242 + 0.0*i,
    0.28363112650588 + 0.0*i,
    -0.33007687434734 + 0.0*i,
    -0.0677469340368314 + 0.0*i,
    -0.0710077657716373 + 0.0*i,
    0.182059677322134 + 0.0*i,
    0.0370276427548524 + 0.0*i,
    0.125361138139174 + 0.0*i,
    -0.187537910801489 + 0.0*i,
    0.0873262337537363 + 0.0*i,
    0.163097594245354 + 0.0*i,
    -0.280782940044327 + 0.0*i,
    -0.166713506491295 + 0.0*i,
    0.227613230507056 + 0.0*i,
    -0.310432895594491 + 0.0*i,
    -0.0996682754164302 + 0.0*i,
    -0.0541878390249318 + 0.0*i,
    -0.369854659399662 + 0.0*i,
    -0.34894126927951 + 0.0*i,
    -0.243678857196707 + 0.0*i,
    0.136818831791688 + 0.0*i,
    -0.0807290321605048 + 0.0*i,
    -0.162744463237731 + 0.0*i,
    0.152543618320696 + 0.0*i,
    0.221925688526633 + 0.0*i,
    0.271885399081744 + 0.0*i,
    -0.00483479495627456 + 0.0*i,
    0.255711006890147 + 0.0*i,
    -0.132265094492733 + 0.0*i,
    -0.00608888759729227 + 0.0*i,
    -0.339699129949174 + 0.0*i,
    -0.0158894548906429 + 0.0*i,
    0.309576270183805 + 0.0*i,
    0.393779891153852 + 0.0*i,
    -0.237651200549632 + 0.0*i,
    -0.327382996342647 + 0.0*i,
    -0.106407144282356 + 0.0*i,
    -0.0939307397562416 + 0.0*i,
    -0.12454163218153 + 0.0*i,
    0.178673129616804 + 0.0*i,
    0.0377256675246871 + 0.0*i,
    -0.386665886407154 + 0.0*i,
    0.00040900228544271 + 0.0*i,
    -0.27054137318679 + 0.0*i,
    -0.0761111534723817 + 0.0*i,
    -0.305826262520435 + 0.0*i,
    0.0364495429492228 + 0.0*i,
    0.365826734577531 + 0.0*i,
    -0.318763667689256 + 0.0*i,
    0.331669344215217 + 0.0*i,
    -0.0161938069999215 + 0.0*i,
    0.186117604236719 + 0.0*i,
    -0.224879453819152 + 0.0*i,
    -0.313985160151805 + 0.0*i,
    -0.0267597932037748 + 0.0*i,
    0.130276364788836 + 0.0*i,
    -0.286641822682891 + 0.0*i,
    0.239176087327313 + 0.0*i,
    -0.0279213533483352 + 0.0*i,
    0.180897794985401 + 0.0*i,
    0.157451994007753 + 0.0*i,
    0.363046454430739 + 0.0*i,
    0.282702788964311 + 0.0*i,
    0.0121993393688697 + 0.0*i,
    -0.306732667285927 + 0.0*i,
    -0.166900711715447 + 0.0*i,
    0.151601266380392 + 0.0*i,
    -0.0159849231206907 + 0.0*i,
    0.279193545303342 + 0.0*i,
    0.0332935390412706 + 0.0*i,
    -0.342231977542036 + 0.0*i,
    -0.0114897044868476 + 0.0*i,
    0.218919490818073 + 0.0*i,
    0.239086758850382 + 0.0*i,
    -0.137890884409574 + 0.0*i,
    -0.00440491153753141 + 0.0*i,
    0.312213892068322 + 0.0*i,
    -0.312500344107499 + 0.0*i,
    0.169331051613332 + 0.0*i,
    0.21069521526641 + 0.0*i,
    -0.0914636713033168 + 0.0*i,
    -0.0741368772368926 + 0.0*i,
    0.16449319589717 + 0.0*i,
    0.198982194275151 + 0.0*i,
    0.241069835880267 + 0.0*i,
    -0.0723439359383344 + 0.0*i,
    0.00154756898260101 + 0.0*i,
    -0.238363397744761 + 0.0*i,
    0.233595695471243 + 0.0*i,
    -0.10141108287841 + 0.0*i,
    0.173696419615469 + 0.0*i,
    -0.0429649719962411 + 0.0*i,
    0.148798575324422 + 0.0*i,
    0.152246755852024 + 0.0*i,
    -0.0808660096142997 + 0.0*i,
    -0.294773674692324 + 0.0*i,
    0.125656549141049 + 0.0*i,
    -0.021027397090397 + 0.0*i,
    0.150266199762621 + 0.0*i,
    -0.212124918695323 + 0.0*i,
    -0.208996540008183 + 0.0*i,
    0.132576790907141 + 0.0*i
]);