V:=Matrix(CC,8,64,[
    -0.318581065902782 + 0.0*i,
    0.224401267980698 + 0.0*i,
    0.158065479141683 + 0.0*i,
    -0.128014810918074 + 0.0*i,
    0.16430539287596 + 0.0*i,
    -0.197949517467935 + 0.0*i,
    0.098140421882963 + 0.0*i,
    0.136598831410591 + 0.0*i,
    -0.0491970762557956 + 0.0*i,
    0.234575171379779 + 0.0*i,
    -0.356125965355037 + 0.0*i,
    0.0632427971120999 + 0.0*i,
    0.911615471386609 + 0.0*i,
    -0.252905219907182 + 0.0*i,
    0.394699293671482 + 0.0*i,
    -0.190373799267315 + 0.0*i,
    0.270241930234971 + 0.0*i,
    -0.0952750028277391 + 0.0*i,
    0.213978754774554 + 0.0*i,
    0.310522873873913 + 0.0*i,
    -0.0718439767524189 + 0.0*i,
    -0.459210964716058 + 0.0*i,
    -0.142093044088843 + 0.0*i,
    -0.402373733454587 + 0.0*i,
    0.433566182397479 + 0.0*i,
    -0.340063193950263 + 0.0*i,
    -0.629642868213898 + 0.0*i,
    0.406099356336501 + 0.0*i,
    0.551641157518313 + 0.0*i,
    -0.122743824798119 + 0.0*i,
    0.132369824251782 + 0.0*i,
    0.819294400995863 + 0.0*i,
    -0.360765163615098 + 0.0*i,
    0.496003833801589 + 0.0*i,
    -0.343275942786773 + 0.0*i,
    -0.770131636166892 + 0.0*i,
    -0.102514214202779 + 0.0*i,
    -0.395553281342439 + 0.0*i,
    -0.306028825598043 + 0.0*i,
    -0.252703532735798 + 0.0*i,
    -0.378466099902908 + 0.0*i,
    0.552768235696202 + 0.0*i,
    0.297578521619583 + 0.0*i,
    -0.306902556738896 + 0.0*i,
    0.441521008913168 + 0.0*i,
    0.0149191360481263 + 0.0*i,
    0.303610557005305 + 0.0*i,
    -0.265736093243045 + 0.0*i,
    0.248412243673167 + 0.0*i,
    -0.514487119989773 + 0.0*i,
    0.105435187816219 + 0.0*i,
    -0.440833786563608 + 0.0*i,
    -0.0410201584324944 + 0.0*i,
    -0.198577979949733 + 0.0*i,
    -0.207524257391368 + 0.0*i,
    -0.00520280307252522 + 0.0*i,
    -0.515002720005712 + 0.0*i,
    0.46014488588509 + 0.0*i,
    -0.441899407341252 + 0.0*i,
    -0.379829047311804 + 0.0*i,
    0.160454753193393 + 0.0*i,
    0.122214788500983 + 0.0*i,
    0.325995351880918 + 0.0*i,
    -0.375053397012926 + 0.0*i,
    0.447494546308251 + 0.0*i,
    -0.308614308168506 + 0.0*i,
    -0.0937463287888812 + 0.0*i,
    0.786149161895586 + 0.0*i,
    0.25841518977805 + 0.0*i,
    0.45641643642428 + 0.0*i,
    -0.452117099498817 + 0.0*i,
    -0.422823090285721 + 0.0*i,
    0.111198948846709 + 0.0*i,
    -0.344294112227182 + 0.0*i,
    -0.310403900251029 + 0.0*i,
    0.0279106281005396 + 0.0*i,
    -0.0158279712959603 + 0.0*i,
    0.526201509325732 + 0.0*i,
    -0.228057627803345 + 0.0*i,
    -0.00706377000050553 + 0.0*i,
    -0.224058651880634 + 0.0*i,
    -0.0617880382321986 + 0.0*i,
    -0.743352825135045 + 0.0*i,
    0.344555698037925 + 0.0*i,
    0.127703857861092 + 0.0*i,
    -0.372572138837632 + 0.0*i,
    -0.356199887390903 + 0.0*i,
    -0.248994415240008 + 0.0*i,
    -0.00728453006914642 + 0.0*i,
    0.642056437020162 + 0.0*i,
    -0.275620583674825 + 0.0*i,
    -0.254884255036602 + 0.0*i,
    0.139433571832538 + 0.0*i,
    -0.393120232307339 + 0.0*i,
    0.164333831269665 + 0.0*i,
    -0.0732585931332265 + 0.0*i,
    0.358369989495585 + 0.0*i,
    -0.00473285059319444 + 0.0*i,
    0.46731426074084 + 0.0*i,
    0.0182775212210964 + 0.0*i,
    0.499868468071681 + 0.0*i,
    0.404805301737284 + 0.0*i,
    -0.608344408295504 + 0.0*i,
    0.364700704027042 + 0.0*i,
    -0.497245334020112 + 0.0*i,
    0.291861482408871 + 0.0*i,
    0.630694718072074 + 0.0*i,
    -0.84758090253388 + 0.0*i,
    0.691064363611604 + 0.0*i,
    -0.353139665827922 + 0.0*i,
    0.188171312630438 + 0.0*i,
    0.0799312045851769 + 0.0*i,
    -0.112555953231565 + 0.0*i,
    0.324393824692866 + 0.0*i,
    -0.177251296537436 + 0.0*i,
    -0.0401934108782637 + 0.0*i,
    0.0171638357719181 + 0.0*i,
    -0.453171465306977 + 0.0*i,
    0.156214003800577 + 0.0*i,
    0.00671111906613324 + 0.0*i,
    0.229945849560817 + 0.0*i,
    0.266247743985878 + 0.0*i,
    0.221242529614087 + 0.0*i,
    -0.228633664223685 + 0.0*i,
    -0.348729459558449 + 0.0*i,
    0.179850070922473 + 0.0*i,
    0.318166460930982 + 0.0*i,
    0.292952711967793 + 0.0*i,
    0.565955048497362 + 0.0*i,
    -0.0998017455842937 + 0.0*i,
    -0.0778262157942782 + 0.0*i,
    0.293181427665 + 0.0*i,
    0.310785120622812 + 0.0*i,
    -0.358811005928713 + 0.0*i,
    0.233821233409601 + 0.0*i,
    -0.565737887346802 + 0.0*i,
    0.901745761067076 + 0.0*i,
    0.28012599419361 + 0.0*i,
    -0.091647441066122 + 0.0*i,
    0.261074493462977 + 0.0*i,
    0.474906017884913 + 0.0*i,
    -0.606780836629469 + 0.0*i,
    -0.445652939776751 + 0.0*i,
    0.149226255650644 + 0.0*i,
    0.509401781099383 + 0.0*i,
    -0.364434318686827 + 0.0*i,
    -0.0743175308095591 + 0.0*i,
    -0.240515882372887 + 0.0*i,
    -0.541234511328326 + 0.0*i,
    0.14222307656325 + 0.0*i,
    0.0426155408259133 + 0.0*i,
    0.112791616094427 + 0.0*i,
    0.495742546600558 + 0.0*i,
    0.0216717465138193 + 0.0*i,
    0.270294158869851 + 0.0*i,
    -0.256115251976349 + 0.0*i,
    -0.0345868096474542 + 0.0*i,
    0.127082518575762 + 0.0*i,
    0.450462140544264 + 0.0*i,
    -0.201466863016372 + 0.0*i,
    -0.245790672405774 + 0.0*i,
    0.42549217763717 + 0.0*i,
    -0.300241671555481 + 0.0*i,
    0.0787229824360059 + 0.0*i,
    -0.242914006016021 + 0.0*i,
    0.534415260342043 + 0.0*i,
    -0.119726628544933 + 0.0*i,
    0.0582031924252706 + 0.0*i,
    -0.098785355978288 + 0.0*i,
    0.0446656067033096 + 0.0*i,
    -0.280289233310604 + 0.0*i,
    -0.360742694355431 + 0.0*i,
    -0.0973517253353524 + 0.0*i,
    -0.0955342660865877 + 0.0*i,
    0.527507109650343 + 0.0*i,
    -0.0707354341251857 + 0.0*i,
    -0.479175123159947 + 0.0*i,
    -0.0732558999864294 + 0.0*i,
    0.828579585956463 + 0.0*i,
    0.180215411178721 + 0.0*i,
    -0.574990090503909 + 0.0*i,
    0.37434570656327 + 0.0*i,
    -0.530274547707008 + 0.0*i,
    -0.218533346958487 + 0.0*i,
    0.057348400660504 + 0.0*i,
    -0.492743893440534 + 0.0*i,
    0.37624623364561 + 0.0*i,
    -0.476002284487977 + 0.0*i,
    -0.359029905468025 + 0.0*i,
    -0.347835032147508 + 0.0*i,
    0.105463127702264 + 0.0*i,
    0.135174723660571 + 0.0*i,
    -0.504679115177523 + 0.0*i,
    0.377272884004359 + 0.0*i,
    -0.522251974879446 + 0.0*i,
    0.062180335225515 + 0.0*i,
    -0.0526943298567058 + 0.0*i,
    -0.516198841137473 + 0.0*i,
    -0.00494861674197693 + 0.0*i,
    0.0497944424887244 + 0.0*i,
    0.152555250997466 + 0.0*i,
    -0.323757769444223 + 0.0*i,
    -0.044846045451607 + 0.0*i,
    -0.140320242262421 + 0.0*i,
    0.0178979295763767 + 0.0*i,
    0.100359896379268 + 0.0*i,
    -0.158592614220802 + 0.0*i,
    -0.138356995984991 + 0.0*i,
    0.0636357669605244 + 0.0*i,
    -0.0651396677308118 + 0.0*i,
    0.0275293378553163 + 0.0*i,
    -0.38342388764949 + 0.0*i,
    -0.722832522820867 + 0.0*i,
    0.0551409000683364 + 0.0*i,
    -0.766760800319139 + 0.0*i,
    -0.0167588426268314 + 0.0*i,
    -0.0120110431475109 + 0.0*i,
    0.389067620674309 + 0.0*i,
    -0.306332235897396 + 0.0*i,
    0.0881580647008503 + 0.0*i,
    -0.509933534206731 + 0.0*i,
    -0.178480661728352 + 0.0*i,
    -0.0809957277860723 + 0.0*i,
    0.0347141106031289 + 0.0*i,
    -0.214972525977143 + 0.0*i,
    -0.274713472465556 + 0.0*i,
    0.565700782235287 + 0.0*i,
    0.11498059697005 + 0.0*i,
    -0.337437308233458 + 0.0*i,
    0.135904312536268 + 0.0*i,
    0.349508825916413 + 0.0*i,
    -0.343328048521291 + 0.0*i,
    0.549609183228652 + 0.0*i,
    0.2761806787508 + 0.0*i,
    -0.245663768473877 + 0.0*i,
    -0.0501082151957865 + 0.0*i,
    0.0471291860307394 + 0.0*i,
    -0.267851003763522 + 0.0*i,
    -0.131433667034537 + 0.0*i,
    0.829315996055213 + 0.0*i,
    -0.199691828603573 + 0.0*i,
    -0.441375662171536 + 0.0*i,
    -0.0645886000687523 + 0.0*i,
    -0.330410340725053 + 0.0*i,
    0.629287461285552 + 0.0*i,
    -0.38328497120774 + 0.0*i,
    0.25086596692574 + 0.0*i,
    -0.0850442109240596 + 0.0*i,
    0.204453294038427 + 0.0*i,
    -0.53880361548471 + 0.0*i,
    -0.537119804159099 + 0.0*i,
    -0.681730755633758 + 0.0*i,
    -0.304958144836552 + 0.0*i,
    0.475386441937854 + 0.0*i,
    0.629274066491193 + 0.0*i,
    0.371976156362401 + 0.0*i,
    -0.226439446549352 + 0.0*i,
    0.457306382699732 + 0.0*i,
    0.105805078218613 + 0.0*i,
    -0.0798608700845807 + 0.0*i,
    0.682117873911296 + 0.0*i,
    -0.00295960069500144 + 0.0*i,
    0.332472648585796 + 0.0*i,
    0.414187956933032 + 0.0*i,
    0.0426439523341152 + 0.0*i,
    0.679598364455315 + 0.0*i,
    0.170023380529264 + 0.0*i,
    0.568092515697518 + 0.0*i,
    0.0808556358514344 + 0.0*i,
    -0.263807847870798 + 0.0*i,
    0.0778434654114173 + 0.0*i,
    -0.796863129719795 + 0.0*i,
    -0.387599356525356 + 0.0*i,
    -0.524935920251912 + 0.0*i,
    -0.0460414259330891 + 0.0*i,
    0.192614702404768 + 0.0*i,
    -0.0465434459114396 + 0.0*i,
    0.377205567663047 + 0.0*i,
    0.0496315518593074 + 0.0*i,
    0.517751985757796 + 0.0*i,
    -0.0984447558196688 + 0.0*i,
    0.577182631858125 + 0.0*i,
    0.0656190019925623 + 0.0*i,
    -0.0800704376735314 + 0.0*i,
    -0.203840065784155 + 0.0*i,
    -0.594189974949031 + 0.0*i,
    0.298131237928457 + 0.0*i,
    0.320013783431208 + 0.0*i,
    0.0710091942051509 + 0.0*i,
    -0.3029005090167 + 0.0*i,
    -0.202631225433331 + 0.0*i,
    0.448444609891455 + 0.0*i,
    -0.529856937547654 + 0.0*i,
    0.156468057321748 + 0.0*i,
    -0.292449677557086 + 0.0*i,
    0.472568060927575 + 0.0*i,
    0.404331094214762 + 0.0*i,
    0.389821487031985 + 0.0*i,
    -0.193380026410271 + 0.0*i,
    -0.0839152579099343 + 0.0*i,
    -0.134330946970183 + 0.0*i,
    -0.0270450216993919 + 0.0*i,
    -0.290113298461235 + 0.0*i,
    0.0671996607404051 + 0.0*i,
    0.590181334959364 + 0.0*i,
    -0.315250677839001 + 0.0*i,
    -0.432453269487635 + 0.0*i,
    -0.166772010323574 + 0.0*i,
    0.209519194357228 + 0.0*i,
    -0.54023018697673 + 0.0*i,
    -0.154435567430571 + 0.0*i,
    0.625394754664701 + 0.0*i,
    0.388484764568398 + 0.0*i,
    0.322227700613206 + 0.0*i,
    0.535913472398687 + 0.0*i,
    -0.250028871236209 + 0.0*i,
    0.254404736765981 + 0.0*i,
    0.00519447705624398 + 0.0*i,
    -0.605650165566507 + 0.0*i,
    -0.330286007179686 + 0.0*i,
    0.0670272141202757 + 0.0*i,
    0.307582188194724 + 0.0*i,
    -0.68482837456577 + 0.0*i,
    -0.0209046912942194 + 0.0*i,
    -0.334106026055216 + 0.0*i,
    0.137364969525356 + 0.0*i,
    -0.235145002210592 + 0.0*i,
    0.551829873508933 + 0.0*i,
    0.0934384516840245 + 0.0*i,
    -0.0921809267364279 + 0.0*i,
    0.638115879949016 + 0.0*i,
    0.486082057521086 + 0.0*i,
    0.140827402630167 + 0.0*i,
    -0.433662275950843 + 0.0*i,
    -0.650589246309556 + 0.0*i,
    0.113416925609891 + 0.0*i,
    -0.41713091125625 + 0.0*i,
    0.342260492783654 + 0.0*i,
    -0.0513905459337041 + 0.0*i,
    -0.432965506136195 + 0.0*i,
    0.490153881558018 + 0.0*i,
    -0.756810547242567 + 0.0*i,
    -0.427269219023879 + 0.0*i,
    0.500056856248603 + 0.0*i,
    -0.386125029090281 + 0.0*i,
    -0.177269691045734 + 0.0*i,
    -0.0482074904166302 + 0.0*i,
    0.143963042694539 + 0.0*i,
    0.15398518810729 + 0.0*i,
    -0.438380118410649 + 0.0*i,
    0.518613471920712 + 0.0*i,
    0.222313123484759 + 0.0*i,
    -0.211182099960059 + 0.0*i,
    -0.42528670465676 + 0.0*i,
    0.163134918616164 + 0.0*i,
    -0.00114843286090305 + 0.0*i,
    -0.3120947487549 + 0.0*i,
    -0.043689388185701 + 0.0*i,
    -0.382125127354854 + 0.0*i,
    0.304491214631868 + 0.0*i,
    -0.114113858510008 + 0.0*i,
    -0.107381488343951 + 0.0*i,
    -0.013209082453422 + 0.0*i,
    0.0386594652002589 + 0.0*i,
    -0.475186988759916 + 0.0*i,
    -0.677911679465816 + 0.0*i,
    0.0255427827404763 + 0.0*i,
    -0.346136285265511 + 0.0*i,
    -0.340196625392431 + 0.0*i,
    0.51019277678618 + 0.0*i,
    0.0182811377972906 + 0.0*i,
    -0.110858283281413 + 0.0*i,
    -0.0788699509741936 + 0.0*i,
    -0.185832275665699 + 0.0*i,
    0.148777162144749 + 0.0*i,
    -0.480923490674009 + 0.0*i,
    0.467069677732113 + 0.0*i,
    -0.0193085638717144 + 0.0*i,
    -0.381274274341636 + 0.0*i,
    -0.208643465302554 + 0.0*i,
    -0.219346232194423 + 0.0*i,
    0.198839187724053 + 0.0*i,
    -0.18957474829455 + 0.0*i,
    -0.584314415180614 + 0.0*i,
    0.0746107673351746 + 0.0*i,
    0.0627403610577336 + 0.0*i,
    -0.453575944480505 + 0.0*i,
    0.621684011472266 + 0.0*i,
    -0.42887425206835 + 0.0*i,
    -0.653589056096988 + 0.0*i,
    -0.337838712494493 + 0.0*i,
    -0.0638772356066128 + 0.0*i,
    0.364725336616936 + 0.0*i,
    0.267063197410536 + 0.0*i,
    -0.526114959131717 + 0.0*i,
    -0.35083699658926 + 0.0*i,
    -0.0886696027199874 + 0.0*i,
    0.101838039739038 + 0.0*i,
    -0.0411218199747541 + 0.0*i,
    -0.456681922130883 + 0.0*i,
    0.315473945412557 + 0.0*i,
    -0.572772323833338 + 0.0*i,
    0.0401148960775251 + 0.0*i,
    0.386359403535662 + 0.0*i,
    0.142999369308521 + 0.0*i,
    -0.071632884611545 + 0.0*i,
    -0.0287667406692375 + 0.0*i,
    0.363356300378178 + 0.0*i,
    0.112032844599227 + 0.0*i,
    0.0685121374684226 + 0.0*i,
    -0.185426019903606 + 0.0*i,
    0.145352391114984 + 0.0*i,
    -0.656315999618475 + 0.0*i,
    0.0501243389052859 + 0.0*i,
    -0.140439816128041 + 0.0*i,
    -0.286702252740921 + 0.0*i,
    -0.80089264657902 + 0.0*i,
    -0.272582917640026 + 0.0*i,
    0.239822752942992 + 0.0*i,
    -0.407600890948245 + 0.0*i,
    -0.214842377841381 + 0.0*i,
    -0.340223849486624 + 0.0*i,
    -0.0585930983925236 + 0.0*i,
    0.542942828095496 + 0.0*i,
    0.00116648672611152 + 0.0*i,
    -0.324558341880873 + 0.0*i,
    0.633154601166667 + 0.0*i,
    0.260987464631556 + 0.0*i,
    -0.196410811558107 + 0.0*i,
    0.491408319411249 + 0.0*i,
    0.126308949562593 + 0.0*i,
    -0.420301090256411 + 0.0*i,
    -0.227064023087033 + 0.0*i,
    0.0889795632081583 + 0.0*i,
    -0.370631381943701 + 0.0*i,
    0.782506637877823 + 0.0*i,
    0.491463083227956 + 0.0*i,
    0.145186754143582 + 0.0*i,
    0.415660113232721 + 0.0*i,
    -0.0444876277664619 + 0.0*i,
    0.222510959536126 + 0.0*i,
    -0.0293155697805442 + 0.0*i,
    0.0942673141721857 + 0.0*i,
    -0.0360376136048763 + 0.0*i,
    0.695407548963186 + 0.0*i,
    -0.429739317347768 + 0.0*i,
    0.131578275281834 + 0.0*i,
    6.3515426642084e-05 + 0.0*i,
    0.0754864648432229 + 0.0*i,
    0.617750758244894 + 0.0*i,
    0.176264420643058 + 0.0*i,
    -0.00960466816737401 + 0.0*i,
    0.189774319456442 + 0.0*i,
    -0.349582219675039 + 0.0*i,
    -0.528311838025733 + 0.0*i,
    -0.222557291981658 + 0.0*i,
    0.0765242550775963 + 0.0*i,
    0.372080549096941 + 0.0*i,
    0.0824082178700013 + 0.0*i,
    -0.460025546424535 + 0.0*i,
    0.0414467569909862 + 0.0*i,
    0.0486893196882788 + 0.0*i,
    -0.117018943394501 + 0.0*i,
    0.0179648871355253 + 0.0*i,
    -0.185875209438926 + 0.0*i,
    0.250608600167246 + 0.0*i,
    0.476496399990984 + 0.0*i,
    0.51796445478463 + 0.0*i,
    0.380711394344905 + 0.0*i,
    0.170694169937279 + 0.0*i,
    -0.25941120769909 + 0.0*i,
    -0.321359079170893 + 0.0*i,
    0.661243447908714 + 0.0*i,
    -0.169575945184238 + 0.0*i,
    -0.488943761989288 + 0.0*i,
    -0.809184269126714 + 0.0*i,
    0.0860446713642218 + 0.0*i,
    0.190810312170484 + 0.0*i,
    0.595539532476638 + 0.0*i,
    -0.171330648677256 + 0.0*i,
    0.255177439774405 + 0.0*i,
    -0.0450384013743773 + 0.0*i,
    -0.18978235122897 + 0.0*i,
    0.0970401410990646 + 0.0*i,
    0.197551075068798 + 0.0*i,
    -0.461029904999362 + 0.0*i,
    0.303375603018827 + 0.0*i,
    0.0830298057506136 + 0.0*i,
    -0.38520819522947 + 0.0*i,
    -0.457394120406451 + 0.0*i,
    -0.274004512623023 + 0.0*i,
    -0.280953403620285 + 0.0*i,
    -0.438459658274506 + 0.0*i,
    0.0488800070867048 + 0.0*i,
    -0.66773766300567 + 0.0*i,
    0.121534385582798 + 0.0*i,
    0.435158059584587 + 0.0*i,
    -0.122838198646537 + 0.0*i,
    0.161840659157048 + 0.0*i,
    -0.299519694722286 + 0.0*i,
    -0.160349310395357 + 0.0*i,
    -0.300339613165711 + 0.0*i,
    0.487956007210659 + 0.0*i,
    -0.670760583043347 + 0.0*i,
    0.445965830107016 + 0.0*i,
    -0.187153710008115 + 0.0*i,
    -0.0203667061034138 + 0.0*i,
    -0.230960940694978 + 0.0*i,
    -0.0590622715521606 + 0.0*i,
    -0.524512069228349 + 0.0*i,
    -0.0443976291731857 + 0.0*i,
    -0.287869264002201 + 0.0*i
]);