V:=Matrix(CC,8,64,[
    0.0918597901439311 + 0.0*i,
    -0.37745761577699 + 0.0*i,
    0.613124543214459 + 0.0*i,
    0.349182370791454 + 0.0*i,
    -0.33578772757374 + 0.0*i,
    0.681812244349741 + 0.0*i,
    -0.0602838789894904 + 0.0*i,
    -0.782596848614619 + 0.0*i,
    -0.0682231309851647 + 0.0*i,
    -0.196763023030347 + 0.0*i,
    -0.15879327889757 + 0.0*i,
    0.0100192729033311 + 0.0*i,
    -0.528458512882938 + 0.0*i,
    0.093067219959387 + 0.0*i,
    0.0952032342886405 + 0.0*i,
    -0.228390297322915 + 0.0*i,
    -0.172502323120417 + 0.0*i,
    -0.311040737162743 + 0.0*i,
    -0.550131710083554 + 0.0*i,
    0.273390123201919 + 0.0*i,
    -0.085370834107023 + 0.0*i,
    0.56500696865953 + 0.0*i,
    0.771158960240083 + 0.0*i,
    -0.0230137464245433 + 0.0*i,
    0.454870175865656 + 0.0*i,
    0.225020023927565 + 0.0*i,
    0.0493925713264605 + 0.0*i,
    0.0276952097952899 + 0.0*i,
    -0.233134090523011 + 0.0*i,
    0.286162617398114 + 0.0*i,
    0.572928659641241 + 0.0*i,
    0.296886827494226 + 0.0*i,
    -0.168674876526672 + 0.0*i,
    0.153771763844927 + 0.0*i,
    -0.0419530595699402 + 0.0*i,
    -0.250488148868097 + 0.0*i,
    0.442779877481572 + 0.0*i,
    -0.262386971617358 + 0.0*i,
    0.215256634840564 + 0.0*i,
    0.290783527121256 + 0.0*i,
    -0.27840448740238 + 0.0*i,
    0.344152951047399 + 0.0*i,
    -0.0470451233320098 + 0.0*i,
    0.271865043195556 + 0.0*i,
    0.142253844583103 + 0.0*i,
    0.563946291212999 + 0.0*i,
    0.500249354727419 + 0.0*i,
    0.237767952912361 + 0.0*i,
    -0.644029109599894 + 0.0*i,
    0.0185303035660692 + 0.0*i,
    -0.13718279719915 + 0.0*i,
    0.315697314127646 + 0.0*i,
    0.155826189050385 + 0.0*i,
    -0.100298888063709 + 0.0*i,
    -0.113794047469928 + 0.0*i,
    -0.327633106764566 + 0.0*i,
    0.360329557215126 + 0.0*i,
    0.0772653920034962 + 0.0*i,
    -0.0686533448012726 + 0.0*i,
    0.25553009008412 + 0.0*i,
    -0.124129149834536 + 0.0*i,
    0.461546842970987 + 0.0*i,
    0.144544035429953 + 0.0*i,
    0.200028372804302 + 0.0*i,
    -0.0194318352381094 + 0.0*i,
    0.167101115458933 + 0.0*i,
    -0.277062921116747 + 0.0*i,
    0.292068029428046 + 0.0*i,
    -0.87440455152965 + 0.0*i,
    0.100062710548129 + 0.0*i,
    0.190156448287704 + 0.0*i,
    -0.233866220164148 + 0.0*i,
    -0.263789821706652 + 0.0*i,
    -0.0171329754223048 + 0.0*i,
    -0.410408851386459 + 0.0*i,
    -0.423005121420958 + 0.0*i,
    0.0694346562397439 + 0.0*i,
    0.287218405056991 + 0.0*i,
    -0.281515930211043 + 0.0*i,
    -0.276302623838752 + 0.0*i,
    -0.074980653317123 + 0.0*i,
    -0.495508678601827 + 0.0*i,
    -0.145620480664051 + 0.0*i,
    -0.116834339010588 + 0.0*i,
    0.282576736335619 + 0.0*i,
    -0.753319657459161 + 0.0*i,
    0.284443454130508 + 0.0*i,
    0.0446814545319453 + 0.0*i,
    -0.217239222490762 + 0.0*i,
    -0.612261486987693 + 0.0*i,
    0.077841926138724 + 0.0*i,
    -0.052105453204543 + 0.0*i,
    0.288038544882422 + 0.0*i,
    -0.351487337876736 + 0.0*i,
    -0.0584827381486117 + 0.0*i,
    -0.0782726594152524 + 0.0*i,
    -0.229486767120172 + 0.0*i,
    -0.408004626359314 + 0.0*i,
    -0.392994914107911 + 0.0*i,
    -0.040891583130614 + 0.0*i,
    -0.144236088415517 + 0.0*i,
    -0.49745307699962 + 0.0*i,
    -0.173169233834912 + 0.0*i,
    0.550056231292101 + 0.0*i,
    -0.521747147239565 + 0.0*i,
    -0.030721835057544 + 0.0*i,
    -0.534413689041243 + 0.0*i,
    -0.403017268398373 + 0.0*i,
    -0.245668592122759 + 0.0*i,
    0.101763194573414 + 0.0*i,
    -0.0851285186554041 + 0.0*i,
    -0.0970451705668699 + 0.0*i,
    0.337043409717082 + 0.0*i,
    -0.276326908342479 + 0.0*i,
    -0.0459930027205226 + 0.0*i,
    0.598767088145695 + 0.0*i,
    -0.222668844253267 + 0.0*i,
    0.524033438360776 + 0.0*i,
    0.167140229877503 + 0.0*i,
    -0.120295780953515 + 0.0*i,
    0.284713307101362 + 0.0*i,
    -0.752646084452609 + 0.0*i,
    0.51904629568712 + 0.0*i,
    -0.509030413027511 + 0.0*i,
    -0.158249200972292 + 0.0*i,
    0.303160751023428 + 0.0*i,
    -0.220853719596597 + 0.0*i,
    0.240207876166248 + 0.0*i,
    -0.32620911203339 + 0.0*i,
    0.183603347915385 + 0.0*i,
    -0.0422061171126937 + 0.0*i,
    0.456111022990207 + 0.0*i,
    0.191109132207787 + 0.0*i,
    0.192856829849414 + 0.0*i,
    -0.575943595154689 + 0.0*i,
    -0.336807018338503 + 0.0*i,
    -0.380616110315925 + 0.0*i,
    0.702508113197391 + 0.0*i,
    -0.0318882899716194 + 0.0*i,
    -0.534902423118241 + 0.0*i,
    -0.156776613563242 + 0.0*i,
    -0.380507884260135 + 0.0*i,
    0.221907646999842 + 0.0*i,
    0.0500258693886877 + 0.0*i,
    -0.287169080031501 + 0.0*i,
    0.184652147885244 + 0.0*i,
    0.49396739729357 + 0.0*i,
    -0.526932127534533 + 0.0*i,
    -0.18196620845287 + 0.0*i,
    0.331795829551399 + 0.0*i,
    -0.295464943849575 + 0.0*i,
    0.781318343672702 + 0.0*i,
    0.450284784259213 + 0.0*i,
    0.637732527218513 + 0.0*i,
    -0.323575318548782 + 0.0*i,
    0.382821553781162 + 0.0*i,
    -0.254580597017914 + 0.0*i,
    -0.301988745946803 + 0.0*i,
    0.384218907525445 + 0.0*i,
    -0.429887581267305 + 0.0*i,
    0.110082025580003 + 0.0*i,
    -0.0957581333201885 + 0.0*i,
    -0.430825644856585 + 0.0*i,
    0.0812045525223355 + 0.0*i,
    0.717661137334371 + 0.0*i,
    -0.0824053006839732 + 0.0*i,
    0.17083210501384 + 0.0*i,
    -0.193919698582179 + 0.0*i,
    -0.304822165497265 + 0.0*i,
    -0.19305028365131 + 0.0*i,
    0.302047293728489 + 0.0*i,
    0.026071824072874 + 0.0*i,
    0.243628755044254 + 0.0*i,
    -0.327158392849993 + 0.0*i,
    -0.0857953699654139 + 0.0*i,
    -0.25661006350214 + 0.0*i,
    0.250126270707728 + 0.0*i,
    -0.0687910001019026 + 0.0*i,
    0.50450561860378 + 0.0*i,
    0.323135486855556 + 0.0*i,
    0.42678385342897 + 0.0*i,
    0.249456045840632 + 0.0*i,
    -0.248851224047057 + 0.0*i,
    0.446653275774082 + 0.0*i,
    -0.0977669897977741 + 0.0*i,
    -0.173571741711891 + 0.0*i,
    0.171120764724316 + 0.0*i,
    -0.709589455902686 + 0.0*i,
    -0.36407280773124 + 0.0*i,
    -0.293318264008662 + 0.0*i,
    -0.525269204653484 + 0.0*i,
    -0.528790942534646 + 0.0*i,
    -0.389497141630206 + 0.0*i,
    -0.148358361505373 + 0.0*i,
    0.0211095109781318 + 0.0*i,
    0.426407757043738 + 0.0*i,
    0.0513527480197557 + 0.0*i,
    -0.47919516408556 + 0.0*i,
    -0.414272386934066 + 0.0*i,
    -0.142625718102514 + 0.0*i,
    0.63256659776194 + 0.0*i,
    0.376527678919425 + 0.0*i,
    -0.41898742577841 + 0.0*i,
    0.569919683574851 + 0.0*i,
    -0.691657831660021 + 0.0*i,
    0.649688400916494 + 0.0*i,
    0.11219762547581 + 0.0*i,
    -0.387739922321843 + 0.0*i,
    -0.587412463333139 + 0.0*i,
    0.34586574862418 + 0.0*i,
    -0.117154427901651 + 0.0*i,
    -0.675819547435979 + 0.0*i,
    0.14551901429813 + 0.0*i,
    -0.0895081522363905 + 0.0*i,
    -0.0099269496742279 + 0.0*i,
    0.107352894767983 + 0.0*i,
    0.227794341908335 + 0.0*i,
    0.304379125860703 + 0.0*i,
    0.148403849082895 + 0.0*i,
    -0.681558655683363 + 0.0*i,
    -0.431620452436234 + 0.0*i,
    -0.63071701868735 + 0.0*i,
    0.141370599455606 + 0.0*i,
    0.0797003768237422 + 0.0*i,
    -0.028336845402355 + 0.0*i,
    0.342673929305884 + 0.0*i,
    -0.117086898573566 + 0.0*i,
    -0.719925231627884 + 0.0*i,
    -0.364043829517027 + 0.0*i,
    0.307200536174237 + 0.0*i,
    0.440570246975706 + 0.0*i,
    0.111825032497585 + 0.0*i,
    0.266598742247285 + 0.0*i,
    0.670633940159492 + 0.0*i,
    -0.40733179716324 + 0.0*i,
    -0.580911168370713 + 0.0*i,
    -0.195869735322419 + 0.0*i,
    -0.042493504819852 + 0.0*i,
    -0.0281421663608775 + 0.0*i,
    -0.315061465038317 + 0.0*i,
    0.318376473415778 + 0.0*i,
    -0.213219710214864 + 0.0*i,
    -0.545440724581014 + 0.0*i,
    -0.190730193941853 + 0.0*i,
    -0.0282046884626063 + 0.0*i,
    0.257933523387069 + 0.0*i,
    -0.012367948345863 + 0.0*i,
    -0.0859322787060997 + 0.0*i,
    -0.126609657212027 + 0.0*i,
    -0.0455102227858451 + 0.0*i,
    0.109807908440126 + 0.0*i,
    0.0983113148804827 + 0.0*i,
    0.0227595874626269 + 0.0*i,
    -0.451250617531909 + 0.0*i,
    0.0162220147382439 + 0.0*i,
    0.00695141138279115 + 0.0*i,
    0.163165636144296 + 0.0*i,
    -0.138442931669117 + 0.0*i,
    -0.36406921855201 + 0.0*i,
    0.316385848268369 + 0.0*i,
    -0.166955769227852 + 0.0*i,
    -0.16522816805817 + 0.0*i,
    -0.0153132227820418 + 0.0*i,
    0.262778805350982 + 0.0*i,
    0.278870356634788 + 0.0*i,
    -0.395163247628455 + 0.0*i,
    -0.0118756249441786 + 0.0*i,
    -0.14720989122408 + 0.0*i,
    0.317015125916992 + 0.0*i,
    -0.485035648505584 + 0.0*i,
    -0.5724686597205 + 0.0*i,
    0.256483418037209 + 0.0*i,
    0.556255989952402 + 0.0*i,
    0.712420701095677 + 0.0*i,
    0.222461657913455 + 0.0*i,
    -0.281516043873269 + 0.0*i,
    -0.509945951200916 + 0.0*i,
    0.294126763154029 + 0.0*i,
    0.40490512787621 + 0.0*i,
    0.264689465423589 + 0.0*i,
    0.330027039486088 + 0.0*i,
    -0.146356174610819 + 0.0*i,
    0.349775003250034 + 0.0*i,
    -0.261908664087286 + 0.0*i,
    -0.0719770859771828 + 0.0*i,
    0.106575931501746 + 0.0*i,
    0.158001103006328 + 0.0*i,
    0.273221028230038 + 0.0*i,
    -0.723764882561392 + 0.0*i,
    -0.565837909625829 + 0.0*i,
    0.628169815915343 + 0.0*i,
    -0.150657672758494 + 0.0*i,
    -0.196068155407666 + 0.0*i,
    -0.0285287183152456 + 0.0*i,
    0.537491832528369 + 0.0*i,
    -0.412233734960067 + 0.0*i,
    -0.445168272816966 + 0.0*i,
    0.10857741808278 + 0.0*i,
    -0.210351061056385 + 0.0*i,
    -0.627267626061803 + 0.0*i,
    -0.119567664982503 + 0.0*i,
    -0.250839352651977 + 0.0*i,
    -0.423552290828126 + 0.0*i,
    0.097833008045726 + 0.0*i,
    -0.153657601128387 + 0.0*i,
    -0.430107983592842 + 0.0*i,
    0.222928051876973 + 0.0*i,
    -0.146241001144892 + 0.0*i,
    0.124636524193387 + 0.0*i,
    0.470079322328322 + 0.0*i,
    0.341826252303031 + 0.0*i,
    0.550578707889748 + 0.0*i,
    0.491410813615019 + 0.0*i,
    -0.286924273022134 + 0.0*i,
    -0.163537674672772 + 0.0*i,
    0.0702457249534489 + 0.0*i,
    0.393059074936268 + 0.0*i,
    0.516380133545805 + 0.0*i,
    0.757464753290659 + 0.0*i,
    -0.188354709151601 + 0.0*i,
    0.431802925164976 + 0.0*i,
    0.565329508908522 + 0.0*i,
    -0.384931160370892 + 0.0*i,
    0.512958949793465 + 0.0*i,
    -0.29784228879625 + 0.0*i,
    0.362794605384798 + 0.0*i,
    0.0382044171314569 + 0.0*i,
    0.181430829392072 + 0.0*i,
    0.0783343830541279 + 0.0*i,
    0.0713536527561369 + 0.0*i,
    0.120528837453286 + 0.0*i,
    -0.264930467596449 + 0.0*i,
    -0.212811643504672 + 0.0*i,
    -0.112689665373535 + 0.0*i,
    0.40723291989553 + 0.0*i,
    -0.55783837996678 + 0.0*i,
    0.389777011025606 + 0.0*i,
    0.019140390814473 + 0.0*i,
    0.286212782971979 + 0.0*i,
    -0.00436423854318778 + 0.0*i,
    0.0814432047696363 + 0.0*i,
    0.108707751670081 + 0.0*i,
    0.07059264691763 + 0.0*i,
    0.282898137209707 + 0.0*i,
    -0.469992155693441 + 0.0*i,
    0.19626233709002 + 0.0*i,
    0.476894416880687 + 0.0*i,
    -0.00437000414840547 + 0.0*i,
    0.26244104581849 + 0.0*i,
    0.243366271267073 + 0.0*i,
    0.278115157013002 + 0.0*i,
    0.796955063818459 + 0.0*i,
    0.394918467461711 + 0.0*i,
    -0.476884774585189 + 0.0*i,
    -0.125536878185743 + 0.0*i,
    0.554224516668582 + 0.0*i,
    -0.304431093067096 + 0.0*i,
    0.672944344784219 + 0.0*i,
    -0.474540404711384 + 0.0*i,
    0.093898715108672 + 0.0*i,
    0.402442386755467 + 0.0*i,
    0.431928449546017 + 0.0*i,
    0.569619303531834 + 0.0*i,
    -0.214977374499548 + 0.0*i,
    -0.309536925066427 + 0.0*i,
    0.256218147472269 + 0.0*i,
    0.620959677400116 + 0.0*i,
    -0.717889881706949 + 0.0*i,
    0.427989169491412 + 0.0*i,
    0.274417414363069 + 0.0*i,
    -0.38095603315708 + 0.0*i,
    0.598017059435064 + 0.0*i,
    0.469941414225564 + 0.0*i,
    -0.0945106552785577 + 0.0*i,
    -0.283388209195574 + 0.0*i,
    -0.0750069034913917 + 0.0*i,
    0.362836396216398 + 0.0*i,
    -0.0498004997389968 + 0.0*i,
    -0.00854825124130718 + 0.0*i,
    0.102611192777828 + 0.0*i,
    0.210440296337789 + 0.0*i,
    -0.160299949710372 + 0.0*i,
    0.0857385531390238 + 0.0*i,
    -0.529452629564662 + 0.0*i,
    0.0174031766587491 + 0.0*i,
    -0.0513726217043175 + 0.0*i,
    -0.0977863549181869 + 0.0*i,
    0.184827853556594 + 0.0*i,
    0.144889867171327 + 0.0*i,
    -0.185182933021658 + 0.0*i,
    -0.427077969444629 + 0.0*i,
    0.055771128744022 + 0.0*i,
    -0.417643442114668 + 0.0*i,
    -0.411373873221222 + 0.0*i,
    -0.134174489390685 + 0.0*i,
    0.0226266404222373 + 0.0*i,
    0.25649234536633 + 0.0*i,
    -0.175453581143868 + 0.0*i,
    0.38731887989007 + 0.0*i,
    -0.426019771945837 + 0.0*i,
    -0.282319913702169 + 0.0*i,
    0.0747093000237706 + 0.0*i,
    -0.428615250970704 + 0.0*i,
    0.117735259619353 + 0.0*i,
    0.121233851081358 + 0.0*i,
    0.112880179806472 + 0.0*i,
    -0.270550255974595 + 0.0*i,
    0.279964410177108 + 0.0*i,
    -0.453270704435142 + 0.0*i,
    -0.138463940868067 + 0.0*i,
    -0.833520480066138 + 0.0*i,
    -0.412827859918784 + 0.0*i,
    -0.691772853712919 + 0.0*i,
    0.318098666966518 + 0.0*i,
    -0.313804334774379 + 0.0*i,
    -0.0605499029934441 + 0.0*i,
    -0.192134464795429 + 0.0*i,
    -0.241105192651783 + 0.0*i,
    -0.393932116015505 + 0.0*i,
    0.0967300057010269 + 0.0*i,
    0.055616233219212 + 0.0*i,
    0.357382621130684 + 0.0*i,
    0.122424006345936 + 0.0*i,
    0.0263864754905596 + 0.0*i,
    -0.330067683125603 + 0.0*i,
    -0.122045277060773 + 0.0*i,
    -0.211302481729276 + 0.0*i,
    -0.0556268236818416 + 0.0*i,
    -0.023291402650342 + 0.0*i,
    0.632154791112833 + 0.0*i,
    -0.272392510983621 + 0.0*i,
    0.508339007553319 + 0.0*i,
    0.260717541319469 + 0.0*i,
    0.572800574362883 + 0.0*i,
    -0.341886198007685 + 0.0*i,
    0.00777354756022864 + 0.0*i,
    -0.21962447160107 + 0.0*i,
    0.689310934464944 + 0.0*i,
    -0.364868384527886 + 0.0*i,
    0.463893353298006 + 0.0*i,
    0.419772292241681 + 0.0*i,
    0.52121154054761 + 0.0*i,
    0.706223645317661 + 0.0*i,
    -0.015702876107279 + 0.0*i,
    0.780611687977773 + 0.0*i,
    -0.12202935689745 + 0.0*i,
    0.046454717634087 + 0.0*i,
    -0.507566210383468 + 0.0*i,
    -0.685308045498677 + 0.0*i,
    0.329349895624932 + 0.0*i,
    0.517563378155844 + 0.0*i,
    -0.0738724397909038 + 0.0*i,
    -0.191405637464816 + 0.0*i,
    0.280417262580892 + 0.0*i,
    0.508996161716133 + 0.0*i,
    0.318418654437688 + 0.0*i,
    -0.377517774426464 + 0.0*i,
    0.0362948088727159 + 0.0*i,
    0.720451849805758 + 0.0*i,
    0.130621224645832 + 0.0*i,
    0.102656023029961 + 0.0*i,
    0.0859308817141891 + 0.0*i,
    0.00343852338644265 + 0.0*i,
    -0.365745262301871 + 0.0*i,
    -0.0472365221237105 + 0.0*i,
    0.222935206630084 + 0.0*i,
    0.319092531926641 + 0.0*i,
    -0.286840992381892 + 0.0*i,
    -0.770485384248802 + 0.0*i,
    -0.0641228427416047 + 0.0*i,
    -0.573250671331326 + 0.0*i,
    -0.137527284791087 + 0.0*i,
    0.0266019531144787 + 0.0*i,
    0.25010078729326 + 0.0*i,
    0.0875848565376861 + 0.0*i,
    -0.400552137384166 + 0.0*i,
    -0.242065795376362 + 0.0*i,
    0.340273001811858 + 0.0*i,
    0.580517942476592 + 0.0*i,
    0.000756201495660803 + 0.0*i,
    -0.393269648580095 + 0.0*i,
    -0.331471414028103 + 0.0*i,
    0.225286124719078 + 0.0*i,
    -0.251771987964699 + 0.0*i,
    -0.053728010184092 + 0.0*i,
    -0.0916727800064839 + 0.0*i,
    -0.381340140210863 + 0.0*i,
    0.487451567116332 + 0.0*i,
    0.154321983197034 + 0.0*i,
    0.371241999730654 + 0.0*i,
    0.112360406217912 + 0.0*i,
    0.137228826706616 + 0.0*i,
    -0.868276454053319 + 0.0*i,
    0.302174684525389 + 0.0*i,
    -0.309088856535708 + 0.0*i,
    0.154524702210113 + 0.0*i,
    0.243812393907071 + 0.0*i,
    -0.502674828015921 + 0.0*i,
    0.332490271912003 + 0.0*i,
    -0.20913589470768 + 0.0*i,
    -0.694905198914686 + 0.0*i,
    0.274255506399927 + 0.0*i,
    -0.706934954944209 + 0.0*i,
    -0.416359237913628 + 0.0*i,
    -0.396872744850502 + 0.0*i,
    0.113975219536201 + 0.0*i,
    0.301377090829376 + 0.0*i,
    0.40502802541226 + 0.0*i,
    0.0673481270671535 + 0.0*i,
    0.34235978615159 + 0.0*i,
    -0.303248231141963 + 0.0*i,
    -0.142308993328336 + 0.0*i
]);