V:=Matrix(CC,4,65,[
    0.135196932588495 + 0.0*i,
    -0.444185264353639 + 0.0*i,
    -0.00435179115078499 + 0.0*i,
    0.309809245230077 + 0.0*i,
    -0.0592816217731473 + 0.0*i,
    0.580990367608326 + 0.0*i,
    -0.190458386882871 + 0.0*i,
    -0.263585010624204 + 0.0*i,
    -0.00593357705530648 + 0.0*i,
    -0.565912585184101 + 0.0*i,
    0.669170735645875 + 0.0*i,
    -0.249309884167629 + 0.0*i,
    0.0307620914072019 + 0.0*i,
    0.634150866802646 + 0.0*i,
    0.354844494294074 + 0.0*i,
    -0.942468730857321 + 0.0*i,
    0.758092872011492 + 0.0*i,
    0.175713583229603 + 0.0*i,
    0.71932727535023 + 0.0*i,
    0.0483440408626225 + 0.0*i,
    0.173978583247029 + 0.0*i,
    0.446589579187439 + 0.0*i,
    0.848196905998602 + 0.0*i,
    -0.211136034154767 + 0.0*i,
    -0.910348118828881 + 0.0*i,
    -0.328299179749393 + 0.0*i,
    0.0670615949553709 + 0.0*i,
    0.703383338134971 + 0.0*i,
    -0.3874339077758 + 0.0*i,
    0.473953522695919 + 0.0*i,
    0.141725340414197 + 0.0*i,
    0.492084415941789 + 0.0*i,
    0.419841951665279 + 0.0*i,
    -0.62146714580332 + 0.0*i,
    -0.528188035407031 + 0.0*i,
    -0.0784322774405885 + 0.0*i,
    0.598624066609171 + 0.0*i,
    0.237536971489248 + 0.0*i,
    0.381659697078447 + 0.0*i,
    -0.333913216546431 + 0.0*i,
    -0.0972910750444522 + 0.0*i,
    0.860723253320595 + 0.0*i,
    -0.209092882454975 + 0.0*i,
    -0.228817571125486 + 0.0*i,
    0.720039532291228 + 0.0*i,
    0.364528903508574 + 0.0*i,
    0.700289485631103 + 0.0*i,
    0.387357478650422 + 0.0*i,
    -0.603996819966625 + 0.0*i,
    -0.177410725204532 + 0.0*i,
    -1.23336975546915 + 0.0*i,
    0.328956771289494 + 0.0*i,
    -0.0790487467809013 + 0.0*i,
    0.318707456159004 + 0.0*i,
    0.502095063154798 + 0.0*i,
    -0.306003582886795 + 0.0*i,
    0.292767410429593 + 0.0*i,
    0.398671517535947 + 0.0*i,
    -0.0342853086050889 + 0.0*i,
    -0.0577896346396043 + 0.0*i,
    -0.248894990181134 + 0.0*i,
    0.0454491790445328 + 0.0*i,
    -0.999462509861359 + 0.0*i,
    0.212079415425387 + 0.0*i,
    -1.15106613971773 + 0.0*i,
    -0.0835722662126481 + 0.0*i,
    -0.0521869270997806 + 0.0*i,
    0.397765778601719 + 0.0*i,
    -0.247304407790223 + 0.0*i,
    -1.05960809441283 + 0.0*i,
    -0.659983315134762 + 0.0*i,
    -1.24858603478963 + 0.0*i,
    -0.0248945275726073 + 0.0*i,
    0.0658686608921209 + 0.0*i,
    0.439959703594975 + 0.0*i,
    0.465700180780006 + 0.0*i,
    0.474414761960831 + 0.0*i,
    -0.230392020498262 + 0.0*i,
    0.489082691771267 + 0.0*i,
    0.837508569975727 + 0.0*i,
    0.421714316493682 + 0.0*i,
    1.00527741604681 + 0.0*i,
    -0.421278582117651 + 0.0*i,
    -0.0895031917340779 + 0.0*i,
    0.269027385615547 + 0.0*i,
    0.512067085228852 + 0.0*i,
    0.0977497447492262 + 0.0*i,
    -0.837823364306605 + 0.0*i,
    -0.0402857653320821 + 0.0*i,
    -0.0800888628654887 + 0.0*i,
    0.188300378445253 + 0.0*i,
    0.316659355318271 + 0.0*i,
    -0.546060995153981 + 0.0*i,
    -0.408972843263928 + 0.0*i,
    -0.927919911383663 + 0.0*i,
    0.184046630411979 + 0.0*i,
    -0.677619642367651 + 0.0*i,
    -0.742381313090275 + 0.0*i,
    0.0330552241432508 + 0.0*i,
    -0.357381757542965 + 0.0*i,
    0.771790317098707 + 0.0*i,
    -0.139338150293725 + 0.0*i,
    -0.44530422373238 + 0.0*i,
    -0.592416748161188 + 0.0*i,
    0.640704231288772 + 0.0*i,
    0.235813042028692 + 0.0*i,
    0.295754156780417 + 0.0*i,
    -0.35678361065756 + 0.0*i,
    -0.390898309062283 + 0.0*i,
    0.079520060698267 + 0.0*i,
    0.376486571238223 + 0.0*i,
    0.2385935557709 + 0.0*i,
    0.324374845827237 + 0.0*i,
    -0.306981531271382 + 0.0*i,
    -0.486084121523191 + 0.0*i,
    -0.255613692091816 + 0.0*i,
    -0.451902503546709 + 0.0*i,
    0.217040170021603 + 0.0*i,
    -0.0874667313525547 + 0.0*i,
    0.282025136336554 + 0.0*i,
    1.18212841859429 + 0.0*i,
    0.233807567026168 + 0.0*i,
    0.0366623918356414 + 0.0*i,
    0.00240426688840228 + 0.0*i,
    -0.629306853953617 + 0.0*i,
    -0.587208408014082 + 0.0*i,
    -0.865231402026284 + 0.0*i,
    0.463429609014125 + 0.0*i,
    0.446904802589996 + 0.0*i,
    0.0934858752729395 + 0.0*i,
    -0.0483770382498204 + 0.0*i,
    -0.91727746041387 + 0.0*i,
    -0.051855880648744 + 0.0*i,
    0.568764577848584 + 0.0*i,
    -0.194038273779453 + 0.0*i,
    0.196157492058806 + 0.0*i,
    0.0762878282368303 + 0.0*i,
    0.452497725868682 + 0.0*i,
    0.353647791052747 + 0.0*i,
    0.093898034920355 + 0.0*i,
    0.0677592675477303 + 0.0*i,
    0.269685965053532 + 0.0*i,
    -0.10023555950656 + 0.0*i,
    0.194200649743045 + 0.0*i,
    0.260988166468536 + 0.0*i,
    -0.62015077671895 + 0.0*i,
    0.219071430813842 + 0.0*i,
    -0.850977152875703 + 0.0*i,
    0.0879767830820456 + 0.0*i,
    0.146552529317653 + 0.0*i,
    -1.03819081228441 + 0.0*i,
    -0.171329216141673 + 0.0*i,
    -0.213844079570172 + 0.0*i,
    -1.44483539403402 + 0.0*i,
    0.00930163157381944 + 0.0*i,
    0.369595942806001 + 0.0*i,
    0.417395056676255 + 0.0*i,
    -0.157396372924736 + 0.0*i,
    -0.0542026661322306 + 0.0*i,
    0.236893600224413 + 0.0*i,
    -0.0629278823587528 + 0.0*i,
    0.810268827438585 + 0.0*i,
    -0.452885799746509 + 0.0*i,
    -0.314513383474254 + 0.0*i,
    0.491407918667605 + 0.0*i,
    -0.495985822101502 + 0.0*i,
    -0.141341328842402 + 0.0*i,
    0.289383038337616 + 0.0*i,
    0.0774314705760658 + 0.0*i,
    0.183552739066297 + 0.0*i,
    0.625458975402899 + 0.0*i,
    0.211098156929657 + 0.0*i,
    0.648011800323955 + 0.0*i,
    0.075591625652747 + 0.0*i,
    0.372745084485186 + 0.0*i,
    0.296895902630394 + 0.0*i,
    -0.0712843693364319 + 0.0*i,
    -0.107662121713437 + 0.0*i,
    -0.51008536869284 + 0.0*i,
    0.742134350519568 + 0.0*i,
    0.784711457184396 + 0.0*i,
    -0.766549360021681 + 0.0*i,
    -0.507537427681912 + 0.0*i,
    0.15963992912528 + 0.0*i,
    -0.30413765408501 + 0.0*i,
    0.143365847352197 + 0.0*i,
    0.412503130219633 + 0.0*i,
    -0.276566985722145 + 0.0*i,
    0.0630403017501116 + 0.0*i,
    0.614883610462913 + 0.0*i,
    0.725018598676485 + 0.0*i,
    -0.848179927688696 + 0.0*i,
    0.270859928173457 + 0.0*i,
    -0.78798382460249 + 0.0*i,
    -0.592212500817423 + 0.0*i,
    0.0899014581895476 + 0.0*i,
    -0.703985310586898 + 0.0*i,
    -0.511605694315617 + 0.0*i,
    -0.322151308530088 + 0.0*i,
    0.258725313592376 + 0.0*i,
    -0.706379064794704 + 0.0*i,
    -0.272814089370047 + 0.0*i,
    -0.622076331635432 + 0.0*i,
    0.0108673001776608 + 0.0*i,
    -0.188849847543088 + 0.0*i,
    0.463878159856868 + 0.0*i,
    -0.532568291619429 + 0.0*i,
    0.831653192580572 + 0.0*i,
    0.860372090924336 + 0.0*i,
    0.644366017209685 + 0.0*i,
    0.0417056645867924 + 0.0*i,
    -0.400378208452862 + 0.0*i,
    -0.418284540407733 + 0.0*i,
    0.493833610193058 + 0.0*i,
    -0.664733960414734 + 0.0*i,
    -0.370171971845166 + 0.0*i,
    0.604709017078697 + 0.0*i,
    -0.387570897341969 + 0.0*i,
    0.105028567636224 + 0.0*i,
    0.900958176207322 + 0.0*i,
    -0.7834377546889 + 0.0*i,
    1.19162110395559 + 0.0*i,
    0.0751014151129688 + 0.0*i,
    -0.0996274316977356 + 0.0*i,
    0.84006213460106 + 0.0*i,
    -0.275767420463788 + 0.0*i,
    -0.0683433978562488 + 0.0*i,
    -0.0254658606980527 + 0.0*i,
    -0.572515604484073 + 0.0*i,
    1.01094408103426 + 0.0*i,
    -0.0478970882249821 + 0.0*i,
    -0.461194159485617 + 0.0*i,
    -0.0858242526736595 + 0.0*i,
    -0.278838307684112 + 0.0*i,
    0.749570056203618 + 0.0*i,
    -0.173850729213214 + 0.0*i,
    -0.006001866891166 + 0.0*i,
    0.535759243241855 + 0.0*i,
    0.529329110612555 + 0.0*i,
    0.609389664197725 + 0.0*i,
    0.156004954142664 + 0.0*i,
    -0.435780448578936 + 0.0*i,
    0.282280732643704 + 0.0*i,
    0.493213995674821 + 0.0*i,
    -1.03217139426439 + 0.0*i,
    -0.138356821392634 + 0.0*i,
    -0.290407742722343 + 0.0*i,
    -0.328499357329682 + 0.0*i,
    0.77873624826095 + 0.0*i,
    -0.457104531626535 + 0.0*i,
    0.488063575345945 + 0.0*i,
    -1.04581265843854 + 0.0*i,
    0.590577307566911 + 0.0*i,
    0.247428641988328 + 0.0*i,
    -0.0980000341282434 + 0.0*i,
    0.153239397311257 + 0.0*i,
    0.62884567296344 + 0.0*i,
    -0.517343443378718 + 0.0*i,
    -0.17293812957845 + 0.0*i,
    0.0718427852902818 + 0.0*i
]);