V:=Matrix(CC,4,64,[
    0.10171618953972 + 0.0*i,
    -0.134057731958967 + 0.0*i,
    -0.487361450233486 + 0.0*i,
    0.375640172356176 + 0.0*i,
    0.42057563631619 + 0.0*i,
    -0.586604828021085 + 0.0*i,
    -0.677691633237818 + 0.0*i,
    -0.195524655812302 + 0.0*i,
    -0.258636650687555 + 0.0*i,
    -0.203536645474056 + 0.0*i,
    -0.629584970124905 + 0.0*i,
    0.356278187293851 + 0.0*i,
    -0.147326457369437 + 0.0*i,
    0.91696583405235 + 0.0*i,
    -0.25834889767619 + 0.0*i,
    0.705987600720821 + 0.0*i,
    0.728678288182377 + 0.0*i,
    0.450265671226022 + 0.0*i,
    -0.318997350019832 + 0.0*i,
    -0.0153875747516618 + 0.0*i,
    0.403142374855482 + 0.0*i,
    -0.112937140074259 + 0.0*i,
    0.986162108488805 + 0.0*i,
    -0.56523633323718 + 0.0*i,
    0.854106474181206 + 0.0*i,
    -0.502434816783799 + 0.0*i,
    0.178796908934628 + 0.0*i,
    0.714293054908024 + 0.0*i,
    -0.518815262597125 + 0.0*i,
    -0.159879287424008 + 0.0*i,
    -0.0442105985742761 + 0.0*i,
    -0.658767724760742 + 0.0*i,
    -0.162753112366527 + 0.0*i,
    0.0281146125921747 + 0.0*i,
    0.427659277897408 + 0.0*i,
    -0.334004229198145 + 0.0*i,
    -0.76889636308193 + 0.0*i,
    -0.261051645710859 + 0.0*i,
    -0.321454011733383 + 0.0*i,
    0.139336518440472 + 0.0*i,
    -0.147372395774623 + 0.0*i,
    -0.0724809092392091 + 0.0*i,
    0.0665017808252785 + 0.0*i,
    0.395303873429031 + 0.0*i,
    0.465303104881144 + 0.0*i,
    -0.518530225459175 + 0.0*i,
    0.816354670745849 + 0.0*i,
    -0.0607436916709881 + 0.0*i,
    0.887577647020548 + 0.0*i,
    0.218417899763235 + 0.0*i,
    -0.611922453178003 + 0.0*i,
    -0.0467917994954644 + 0.0*i,
    0.496964148958818 + 0.0*i,
    0.161238628063447 + 0.0*i,
    -0.595836201376784 + 0.0*i,
    0.779167470545649 + 0.0*i,
    -0.467238318871378 + 0.0*i,
    -0.350650569300585 + 0.0*i,
    0.670924900284309 + 0.0*i,
    0.390281050707311 + 0.0*i,
    -0.275583567789518 + 0.0*i,
    -0.827091552454776 + 0.0*i,
    0.869720664910465 + 0.0*i,
    -0.665784608321071 + 0.0*i,
    -0.0893879308642719 + 0.0*i,
    0.178107244076774 + 0.0*i,
    -0.712779923565151 + 0.0*i,
    0.877047065759831 + 0.0*i,
    0.0946820951680671 + 0.0*i,
    -0.518507570899423 + 0.0*i,
    -0.504020106252213 + 0.0*i,
    0.277449471516081 + 0.0*i,
    0.212503148270358 + 0.0*i,
    0.335159459151157 + 0.0*i,
    0.259579611459412 + 0.0*i,
    0.364142919970727 + 0.0*i,
    0.654856702814015 + 0.0*i,
    -0.336560671751698 + 0.0*i,
    -0.412210784665019 + 0.0*i,
    0.0162396890421952 + 0.0*i,
    -0.0606652865674795 + 0.0*i,
    0.138850733620746 + 0.0*i,
    -0.177870583522709 + 0.0*i,
    -0.510942958766288 + 0.0*i,
    -0.422933323410637 + 0.0*i,
    -0.711678412632974 + 0.0*i,
    0.106255251784612 + 0.0*i,
    -0.0122099663499628 + 0.0*i,
    -0.280980858992394 + 0.0*i,
    0.642369736822576 + 0.0*i,
    0.673450371149072 + 0.0*i,
    0.437302557724593 + 0.0*i,
    -0.222867489131078 + 0.0*i,
    0.788466286921908 + 0.0*i,
    -0.686824814871643 + 0.0*i,
    0.390533725529319 + 0.0*i,
    -0.219706310776091 + 0.0*i,
    -0.131852646790122 + 0.0*i,
    0.269836865016166 + 0.0*i,
    0.861697525620282 + 0.0*i,
    -0.319589243895456 + 0.0*i,
    0.570140750298704 + 0.0*i,
    -0.498422484066327 + 0.0*i,
    -0.971660833258299 + 0.0*i,
    0.303831111919135 + 0.0*i,
    0.917698000650933 + 0.0*i,
    0.608964180355603 + 0.0*i,
    -0.560713368159762 + 0.0*i,
    -0.119252618838029 + 0.0*i,
    -0.580670217620335 + 0.0*i,
    -0.468301608531448 + 0.0*i,
    -0.297751320537716 + 0.0*i,
    0.149571502231657 + 0.0*i,
    0.623301123370035 + 0.0*i,
    0.775936589442405 + 0.0*i,
    0.787670807319997 + 0.0*i,
    -0.607702831657535 + 0.0*i,
    -0.073882504517277 + 0.0*i,
    0.692485279448655 + 0.0*i,
    0.636535257054152 + 0.0*i,
    0.473160869039389 + 0.0*i,
    0.347290786090548 + 0.0*i,
    0.400303628729277 + 0.0*i,
    0.795331870564913 + 0.0*i,
    -0.924228357089584 + 0.0*i,
    0.147956426391244 + 0.0*i,
    0.225036166606666 + 0.0*i,
    0.0817328313269843 + 0.0*i,
    0.704575108583516 + 0.0*i,
    0.284677083665768 + 0.0*i,
    -0.351927126768189 + 0.0*i,
    0.258569789929368 + 0.0*i,
    0.887902724213472 + 0.0*i,
    0.185739913376576 + 0.0*i,
    -0.0673349241118398 + 0.0*i,
    -0.158592612805423 + 0.0*i,
    0.248104862542592 + 0.0*i,
    0.441400514595362 + 0.0*i,
    -0.447882927323792 + 0.0*i,
    -0.393055019666274 + 0.0*i,
    -0.490747167368813 + 0.0*i,
    0.0157839117380399 + 0.0*i,
    0.818938671752116 + 0.0*i,
    0.457916595051362 + 0.0*i,
    -0.14340093307065 + 0.0*i,
    -0.657816697996004 + 0.0*i,
    -0.182133133585164 + 0.0*i,
    -0.650905253081564 + 0.0*i,
    0.239769180238314 + 0.0*i,
    -0.0580242781718297 + 0.0*i,
    0.0546787545251857 + 0.0*i,
    0.835294178627376 + 0.0*i,
    -0.418795197086703 + 0.0*i,
    0.0105201649304303 + 0.0*i,
    -0.1600477935645 + 0.0*i,
    0.495807876444661 + 0.0*i,
    -0.746806473440387 + 0.0*i,
    0.49126071373652 + 0.0*i,
    -0.0846073496385687 + 0.0*i,
    0.533267773954211 + 0.0*i,
    0.227089054913689 + 0.0*i,
    -0.977653664894721 + 0.0*i,
    0.319521066601489 + 0.0*i,
    -0.20168224222639 + 0.0*i,
    0.473730511016828 + 0.0*i,
    0.329621304640491 + 0.0*i,
    -0.584023807915089 + 0.0*i,
    0.0855563130653124 + 0.0*i,
    0.876878615606587 + 0.0*i,
    0.343091390928778 + 0.0*i,
    -0.538577553275259 + 0.0*i,
    -0.73085467463304 + 0.0*i,
    -0.69468545842323 + 0.0*i,
    0.619976416758796 + 0.0*i,
    0.15687086814069 + 0.0*i,
    0.933152888810672 + 0.0*i,
    -0.374132347003342 + 0.0*i,
    0.762816246631147 + 0.0*i,
    0.205490116425069 + 0.0*i,
    -0.629891899301677 + 0.0*i,
    -0.304916201865672 + 0.0*i,
    0.690239089626 + 0.0*i,
    -0.401960741666697 + 0.0*i,
    -0.072039502323405 + 0.0*i,
    -0.673921742625185 + 0.0*i,
    -0.8517680201276 + 0.0*i,
    0.425321659054647 + 0.0*i,
    -0.347687965723138 + 0.0*i,
    0.166433540234902 + 0.0*i,
    -0.559201609057552 + 0.0*i,
    0.224418232765634 + 0.0*i,
    0.134253304326198 + 0.0*i,
    -0.70939141346261 + 0.0*i,
    -0.901348084664714 + 0.0*i,
    0.384968246669669 + 0.0*i,
    0.201407985576705 + 0.0*i,
    0.211756154322159 + 0.0*i,
    0.607040630297314 + 0.0*i,
    -0.547636656935752 + 0.0*i,
    0.937117914764436 + 0.0*i,
    -0.811621683926269 + 0.0*i,
    0.812115363467961 + 0.0*i,
    0.594293774915138 + 0.0*i,
    0.777360221680541 + 0.0*i,
    0.571943156853124 + 0.0*i,
    -0.252901837471013 + 0.0*i,
    -0.333388453588175 + 0.0*i,
    0.556166541426567 + 0.0*i,
    0.678966354157584 + 0.0*i,
    -0.603094016404 + 0.0*i,
    -0.923520890755079 + 0.0*i,
    0.577710847546081 + 0.0*i,
    0.786956059895179 + 0.0*i,
    -0.704089614721734 + 0.0*i,
    0.178614935238939 + 0.0*i,
    0.0311002806529396 + 0.0*i,
    0.185316659517419 + 0.0*i,
    0.586338934768648 + 0.0*i,
    -0.455699035204865 + 0.0*i,
    0.147421709982643 + 0.0*i,
    0.374542292363782 + 0.0*i,
    0.332761499794315 + 0.0*i,
    0.726639484377487 + 0.0*i,
    0.382057744091229 + 0.0*i,
    0.944592002597009 + 0.0*i,
    0.210258638833642 + 0.0*i,
    -0.812441482078195 + 0.0*i,
    -0.353202909257402 + 0.0*i,
    -0.317576399516105 + 0.0*i,
    0.504677185258592 + 0.0*i,
    -0.5701271341617 + 0.0*i,
    -0.220243172829104 + 0.0*i,
    0.37050480223067 + 0.0*i,
    -0.22893581428157 + 0.0*i,
    -0.589235975050685 + 0.0*i,
    0.118534831713454 + 0.0*i,
    0.552441322546942 + 0.0*i,
    0.170905458199717 + 0.0*i,
    0.329940747690062 + 0.0*i,
    0.234254681073258 + 0.0*i,
    -0.259861522529425 + 0.0*i,
    -0.0110689601200591 + 0.0*i,
    0.0239262233289865 + 0.0*i,
    -0.012901542477303 + 0.0*i,
    0.554232253895359 + 0.0*i,
    0.713382878323193 + 0.0*i,
    0.147170537446646 + 0.0*i,
    -0.038562325839054 + 0.0*i,
    -0.347846776182283 + 0.0*i,
    0.222113979633361 + 0.0*i,
    -0.0354858139774209 + 0.0*i,
    0.333855329304525 + 0.0*i,
    0.219919822556221 + 0.0*i,
    0.0254335275747968 + 0.0*i,
    -0.396090555574497 + 0.0*i,
    0.741980645313837 + 0.0*i
]);