V:=Matrix(CC,4,64,[
    -0.142065803475673 + 0.0*i,
    0.116656950484739 + 0.0*i,
    -0.480333497233981 + 0.0*i,
    -0.135952400380479 + 0.0*i,
    -0.24675309112564 + 0.0*i,
    0.303151581099424 + 0.0*i,
    -0.279027702451932 + 0.0*i,
    -0.544631211808981 + 0.0*i,
    -0.37020527814439 + 0.0*i,
    0.439154548682408 + 0.0*i,
    -0.519407635740419 + 0.0*i,
    0.687042352534965 + 0.0*i,
    0.612703773564795 + 0.0*i,
    0.382205359861148 + 0.0*i,
    0.970867148894002 + 0.0*i,
    0.975467069850941 + 0.0*i,
    -0.00548708794481231 + 0.0*i,
    -0.47724954895186 + 0.0*i,
    0.399097015421071 + 0.0*i,
    0.324370168662117 + 0.0*i,
    0.0757794646012728 + 0.0*i,
    -0.864897679861457 + 0.0*i,
    0.101541363273996 + 0.0*i,
    0.00717851490952134 + 0.0*i,
    -0.20081957241479 + 0.0*i,
    -0.562461406129912 + 0.0*i,
    0.6461310677144 + 0.0*i,
    -0.580377116807838 + 0.0*i,
    0.494259891145531 + 0.0*i,
    0.35182319353575 + 0.0*i,
    -0.271166544725131 + 0.0*i,
    -0.205295995562827 + 0.0*i,
    0.150060748048956 + 0.0*i,
    -0.280502627506889 + 0.0*i,
    -0.335904321388007 + 0.0*i,
    -1.17747016585387 + 0.0*i,
    -0.0263642660858782 + 0.0*i,
    0.0427923307379048 + 0.0*i,
    -0.422532138057095 + 0.0*i,
    -0.202590117562821 + 0.0*i,
    0.781457203432637 + 0.0*i,
    -0.431033003034438 + 0.0*i,
    0.34710899148874 + 0.0*i,
    -0.350998927601846 + 0.0*i,
    -0.740517732327167 + 0.0*i,
    -0.515700496799457 + 0.0*i,
    -0.142413617984035 + 0.0*i,
    0.292212744659372 + 0.0*i,
    0.654017893622145 + 0.0*i,
    -0.49181998106786 + 0.0*i,
    0.0364453170623725 + 0.0*i,
    -0.783010718552919 + 0.0*i,
    -0.373602124796253 + 0.0*i,
    -0.232469462236853 + 0.0*i,
    -0.435652959409636 + 0.0*i,
    -0.510634567235147 + 0.0*i,
    1.02769057868239 + 0.0*i,
    0.968154436300985 + 0.0*i,
    -0.501081674224841 + 0.0*i,
    -0.146021309218693 + 0.0*i,
    0.0101055282339492 + 0.0*i,
    -0.536019290646767 + 0.0*i,
    -0.189008418328397 + 0.0*i,
    -0.92335312211691 + 0.0*i,
    -0.218354705587181 + 0.0*i,
    0.0846725614653849 + 0.0*i,
    0.120649268044074 + 0.0*i,
    -0.42770114629859 + 0.0*i,
    0.150877408190844 + 0.0*i,
    0.14163642538692 + 0.0*i,
    -0.349963413694316 + 0.0*i,
    -0.257992558601191 + 0.0*i,
    0.604668887326815 + 0.0*i,
    0.358817237298521 + 0.0*i,
    0.383376226016452 + 0.0*i,
    0.830191563749219 + 0.0*i,
    0.703111052693712 + 0.0*i,
    -0.567367836875419 + 0.0*i,
    0.521581014271409 + 0.0*i,
    0.596087652922237 + 0.0*i,
    0.183739478135391 + 0.0*i,
    -0.563885289910143 + 0.0*i,
    -0.490889414487658 + 0.0*i,
    -0.254679184993726 + 0.0*i,
    1.00982624626072 + 0.0*i,
    -0.07386710841897 + 0.0*i,
    -0.102818639631827 + 0.0*i,
    0.595225618470275 + 0.0*i,
    -0.0369280539639185 + 0.0*i,
    -0.38619802784284 + 0.0*i,
    0.152301315144404 + 0.0*i,
    -0.0868133921758137 + 0.0*i,
    -1.25218774397136 + 0.0*i,
    0.487030618667338 + 0.0*i,
    0.839074750409336 + 0.0*i,
    0.815420129922891 + 0.0*i,
    -0.300440654300879 + 0.0*i,
    -0.474955588689521 + 0.0*i,
    -0.123138646512576 + 0.0*i,
    0.406694575625169 + 0.0*i,
    0.210654791374373 + 0.0*i,
    -0.0349818872140821 + 0.0*i,
    -0.271780546819485 + 0.0*i,
    0.683694336860418 + 0.0*i,
    -0.160986687469468 + 0.0*i,
    0.20031186665681 + 0.0*i,
    0.197086558942363 + 0.0*i,
    -0.27131385718273 + 0.0*i,
    0.287169920363329 + 0.0*i,
    -1.03159792530142 + 0.0*i,
    -0.532696033324679 + 0.0*i,
    0.974881463321987 + 0.0*i,
    -0.0701463422707395 + 0.0*i,
    0.981590488198796 + 0.0*i,
    0.619211214321992 + 0.0*i,
    -0.00984117013421716 + 0.0*i,
    -0.379767557740464 + 0.0*i,
    -0.44307228723506 + 0.0*i,
    0.449793249665943 + 0.0*i,
    0.164646981883132 + 0.0*i,
    -0.446387664170539 + 0.0*i,
    -0.107368150100652 + 0.0*i,
    -0.431320194014192 + 0.0*i,
    -0.229294046043671 + 0.0*i,
    -0.197327201507262 + 0.0*i,
    0.215316214110388 + 0.0*i,
    0.243179615351803 + 0.0*i,
    -0.29228335614615 + 0.0*i,
    0.130203646134513 + 0.0*i,
    -0.25078030037751 + 0.0*i,
    -0.467257560904966 + 0.0*i,
    0.893268670983692 + 0.0*i,
    0.631274130001808 + 0.0*i,
    -1.02940915529031 + 0.0*i,
    -0.678739163178991 + 0.0*i,
    0.8091609324917 + 0.0*i,
    1.03042131356502 + 0.0*i,
    -0.530830797083065 + 0.0*i,
    0.489068668877954 + 0.0*i,
    0.268112433999442 + 0.0*i,
    -0.343027155974084 + 0.0*i,
    0.41221971922187 + 0.0*i,
    0.289868673202293 + 0.0*i,
    0.0998931109263456 + 0.0*i,
    0.653928129812876 + 0.0*i,
    -1.10572425813475 + 0.0*i,
    -0.119559632681792 + 0.0*i,
    0.12031902785848 + 0.0*i,
    -0.48967701522688 + 0.0*i,
    0.107280384081038 + 0.0*i,
    -0.250665114545851 + 0.0*i,
    -0.790858992307444 + 0.0*i,
    -0.0980947064004996 + 0.0*i,
    0.230495382321931 + 0.0*i,
    -0.264591443395263 + 0.0*i,
    0.254197279907206 + 0.0*i,
    -0.258220787455058 + 0.0*i,
    -0.116494780559778 + 0.0*i,
    -0.424958914867095 + 0.0*i,
    -0.621036528612662 + 0.0*i,
    -0.857263789591945 + 0.0*i,
    0.612887283643014 + 0.0*i,
    0.407607971128424 + 0.0*i,
    0.0131519547286707 + 0.0*i,
    0.218181077708035 + 0.0*i,
    -1.02195038627977 + 0.0*i,
    -0.0982499961898579 + 0.0*i,
    -0.514755187322394 + 0.0*i,
    -0.437579133124403 + 0.0*i,
    -0.0188164541724087 + 0.0*i,
    0.500184859965665 + 0.0*i,
    -0.283895294730043 + 0.0*i,
    0.398551783107289 + 0.0*i,
    -0.179691101598432 + 0.0*i,
    -0.193917009842986 + 0.0*i,
    -0.189041491622887 + 0.0*i,
    -0.0430072024658329 + 0.0*i,
    0.368101497516136 + 0.0*i,
    -0.534403839476487 + 0.0*i,
    -0.662684414905706 + 0.0*i,
    0.283351295680546 + 0.0*i,
    -0.251189016637217 + 0.0*i,
    -1.02482687359626 + 0.0*i,
    -0.163013166545701 + 0.0*i,
    0.661194879525384 + 0.0*i,
    -0.15226048804126 + 0.0*i,
    0.305477452552001 + 0.0*i,
    -0.419512804802309 + 0.0*i,
    -0.258531490041386 + 0.0*i,
    -0.0661957223904781 + 0.0*i,
    -0.0433808617544222 + 0.0*i,
    0.851012055838982 + 0.0*i,
    -0.629218631857918 + 0.0*i,
    0.710645695139127 + 0.0*i,
    -0.646375989120422 + 0.0*i,
    0.499025362484908 + 0.0*i,
    -0.561392312935064 + 0.0*i,
    -0.365109905408793 + 0.0*i,
    -1.06143752301703 + 0.0*i,
    -0.623095051505833 + 0.0*i,
    -0.0619044356940634 + 0.0*i,
    -0.574614817843996 + 0.0*i,
    0.0811526594111496 + 0.0*i,
    -0.612219469097787 + 0.0*i,
    0.628049513365525 + 0.0*i,
    -0.428725343949895 + 0.0*i,
    0.111270550146741 + 0.0*i,
    0.0134781266601965 + 0.0*i,
    -0.000252351217957978 + 0.0*i,
    0.00766434158475416 + 0.0*i,
    -0.712551465545548 + 0.0*i,
    -0.682462039497913 + 0.0*i,
    0.19578164664787 + 0.0*i,
    -0.0126038191693463 + 0.0*i,
    -0.247624698128893 + 0.0*i,
    0.217858325140871 + 0.0*i,
    0.0111742757789088 + 0.0*i,
    0.368517492238576 + 0.0*i,
    0.59723747447195 + 0.0*i,
    0.353421937359027 + 0.0*i,
    -0.197416506845154 + 0.0*i,
    -0.579005702925113 + 0.0*i,
    0.837044900310799 + 0.0*i,
    -0.53992164658172 + 0.0*i,
    -0.360989973530081 + 0.0*i,
    0.239860675616995 + 0.0*i,
    -0.108106802411856 + 0.0*i,
    0.282994888102769 + 0.0*i,
    -1.24481844146115 + 0.0*i,
    0.688833151474753 + 0.0*i,
    -0.300064972274351 + 0.0*i,
    -0.432855491634133 + 0.0*i,
    -0.932345992431256 + 0.0*i,
    -0.833579380668668 + 0.0*i,
    -0.0192719586041897 + 0.0*i,
    0.372036117327423 + 0.0*i,
    -0.425804598641267 + 0.0*i,
    -0.490496220879804 + 0.0*i,
    0.238542799780728 + 0.0*i,
    -0.152817395225027 + 0.0*i,
    0.67007640046861 + 0.0*i,
    -0.82189607921484 + 0.0*i,
    -0.77961327253515 + 0.0*i,
    0.789280897322563 + 0.0*i,
    0.71477861883404 + 0.0*i,
    -0.21774577189489 + 0.0*i,
    0.178969165668333 + 0.0*i,
    -0.105280910937431 + 0.0*i,
    0.326376450449787 + 0.0*i,
    0.693628843796319 + 0.0*i,
    -0.137680396385945 + 0.0*i,
    -0.391148546584084 + 0.0*i,
    -0.34969676417203 + 0.0*i,
    0.122177349264539 + 0.0*i,
    0.0341017271360375 + 0.0*i,
    0.0475079813598208 + 0.0*i
]);