V:=Matrix(CC,4,72,[
    0.0315567396196662 + 0.0*i,
    0.42296905854679 + 0.0*i,
    0.691578295627927 + 0.0*i,
    0.493217389935438 + 0.0*i,
    -0.122287037484375 + 0.0*i,
    -0.0433853623606349 + 0.0*i,
    -0.396176107334451 + 0.0*i,
    0.5156039097876 + 0.0*i,
    -0.590471884015589 + 0.0*i,
    0.613203750421053 + 0.0*i,
    -0.489477875176067 + 0.0*i,
    -0.0864932541402955 + 0.0*i,
    -0.500973922614382 + 0.0*i,
    -0.375903041724734 + 0.0*i,
    -0.337821734970382 + 0.0*i,
    -0.0967082026900437 + 0.0*i,
    -0.441487671800627 + 0.0*i,
    -0.259665326383338 + 0.0*i,
    -0.255139737638063 + 0.0*i,
    -0.059732903247403 + 0.0*i,
    -0.689368545854469 + 0.0*i,
    -0.294249145117447 + 0.0*i,
    0.519226338873385 + 0.0*i,
    -0.199593248982561 + 0.0*i,
    0.791868804399086 + 0.0*i,
    0.280726692246129 + 0.0*i,
    -1.13784042488163 + 0.0*i,
    0.966701267485842 + 0.0*i,
    0.0297215040035745 + 0.0*i,
    0.0982073794897351 + 0.0*i,
    0.527682096638923 + 0.0*i,
    -0.260245535528121 + 0.0*i,
    0.608845992992686 + 0.0*i,
    0.413667245696431 + 0.0*i,
    -0.378454753802027 + 0.0*i,
    -0.0956122981058783 + 0.0*i,
    -0.0708752079538306 + 0.0*i,
    0.267849981514951 + 0.0*i,
    -0.337416758474217 + 0.0*i,
    -0.895880760629758 + 0.0*i,
    -0.850494732905366 + 0.0*i,
    -0.374139096348839 + 0.0*i,
    -0.106892619713941 + 0.0*i,
    0.534999693620323 + 0.0*i,
    -0.163578308840688 + 0.0*i,
    -0.822916124759501 + 0.0*i,
    -0.156017738728565 + 0.0*i,
    0.0722558365391998 + 0.0*i,
    0.334283416182459 + 0.0*i,
    0.661530305574517 + 0.0*i,
    -0.921993740176208 + 0.0*i,
    0.331705953061863 + 0.0*i,
    -0.017298935856262 + 0.0*i,
    -0.414900970786133 + 0.0*i,
    -0.135897994985005 + 0.0*i,
    -0.416470742248429 + 0.0*i,
    -0.370598370179771 + 0.0*i,
    0.355711990899413 + 0.0*i,
    0.328046340457463 + 0.0*i,
    -1.20842105888773 + 0.0*i,
    -0.575744979726492 + 0.0*i,
    0.58918256399513 + 0.0*i,
    -0.461249781169946 + 0.0*i,
    -0.134999431110582 + 0.0*i,
    0.0100211101999987 + 0.0*i,
    -0.655049106367141 + 0.0*i,
    -0.204103912432629 + 0.0*i,
    -0.626336089827922 + 0.0*i,
    -1.10587818431514 + 0.0*i,
    0.343877184982942 + 0.0*i,
    -0.175262656182777 + 0.0*i,
    -0.108290888499747 + 0.0*i,
    0.974109524447805 + 0.0*i,
    -0.432547351555761 + 0.0*i,
    -0.0300536385585687 + 0.0*i,
    0.38731346370496 + 0.0*i,
    0.969242423863035 + 0.0*i,
    0.180095119471779 + 0.0*i,
    -0.112890354949237 + 0.0*i,
    0.408901743861314 + 0.0*i,
    0.358345358135994 + 0.0*i,
    0.536633338263795 + 0.0*i,
    0.601097734706502 + 0.0*i,
    0.994566319571365 + 0.0*i,
    -0.713991965049284 + 0.0*i,
    0.12830027906218 + 0.0*i,
    0.0553981376791443 + 0.0*i,
    -0.553959259672325 + 0.0*i,
    -0.576957557068788 + 0.0*i,
    0.721645147932408 + 0.0*i,
    0.218237387109465 + 0.0*i,
    -0.345033012303572 + 0.0*i,
    0.304750174342221 + 0.0*i,
    0.030243276977843 + 0.0*i,
    0.756602793720262 + 0.0*i,
    -0.29879116086539 + 0.0*i,
    0.653221753116808 + 0.0*i,
    -0.0803972925997423 + 0.0*i,
    -0.00509060402920426 + 0.0*i,
    0.267193710317914 + 0.0*i,
    -0.107564171053719 + 0.0*i,
    0.195602404973547 + 0.0*i,
    -1.3027989514376 + 0.0*i,
    0.101163474431505 + 0.0*i,
    -0.508709816221409 + 0.0*i,
    0.373240675909742 + 0.0*i,
    0.537429938197101 + 0.0*i,
    -0.168814998790989 + 0.0*i,
    0.117985801866444 + 0.0*i,
    -0.0377632646567209 + 0.0*i,
    -0.274954388049572 + 0.0*i,
    -0.547817237240116 + 0.0*i,
    0.635234906905474 + 0.0*i,
    -0.143484723248697 + 0.0*i,
    -0.823973015069503 + 0.0*i,
    -0.144651734074632 + 0.0*i,
    -0.86278194515367 + 0.0*i,
    0.267476901474461 + 0.0*i,
    0.169987443020871 + 0.0*i,
    -0.144223914138955 + 0.0*i,
    0.205918161290665 + 0.0*i,
    0.522735879475753 + 0.0*i,
    -0.462733838486765 + 0.0*i,
    -0.0382010933052028 + 0.0*i,
    -0.695984837024256 + 0.0*i,
    -0.292974878790566 + 0.0*i,
    0.703410748144668 + 0.0*i,
    -0.0763438348781528 + 0.0*i,
    -0.902854554755192 + 0.0*i,
    -0.10097738027201 + 0.0*i,
    0.470024487778383 + 0.0*i,
    -0.382435491943565 + 0.0*i,
    0.0600541041653053 + 0.0*i,
    -0.238188149303569 + 0.0*i,
    -0.310709119049076 + 0.0*i,
    -0.443354716646031 + 0.0*i,
    -0.457767768876055 + 0.0*i,
    0.0637636198725985 + 0.0*i,
    1.17309200608671 + 0.0*i,
    0.10108181122149 + 0.0*i,
    0.465314594188812 + 0.0*i,
    0.547540842392212 + 0.0*i,
    -0.346052445996758 + 0.0*i,
    0.430093096457147 + 0.0*i,
    0.415260897710117 + 0.0*i,
    -0.0104498303075667 + 0.0*i,
    0.499228401630932 + 0.0*i,
    0.228647588267252 + 0.0*i,
    0.774084175941756 + 0.0*i,
    0.405859248934094 + 0.0*i,
    -1.26799581435129 + 0.0*i,
    0.13796155286863 + 0.0*i,
    -0.503858719045868 + 0.0*i,
    0.478668669881088 + 0.0*i,
    0.390409271851643 + 0.0*i,
    0.465938476883518 + 0.0*i,
    0.0612385852151474 + 0.0*i,
    0.557792005570342 + 0.0*i,
    0.206471320618836 + 0.0*i,
    -0.576019855478313 + 0.0*i,
    0.157791074648462 + 0.0*i,
    0.0755322292353799 + 0.0*i,
    -0.543734828508016 + 0.0*i,
    0.309386625035615 + 0.0*i,
    0.6040386288459 + 0.0*i,
    -0.172247986816445 + 0.0*i,
    0.0868447775851823 + 0.0*i,
    0.0922243227371524 + 0.0*i,
    -0.827458089666407 + 0.0*i,
    0.959785172905359 + 0.0*i,
    -0.471490202185955 + 0.0*i,
    0.231424396675061 + 0.0*i,
    -1.14398089236898 + 0.0*i,
    -0.141129363672668 + 0.0*i,
    0.483875896624981 + 0.0*i,
    0.229573431544841 + 0.0*i,
    0.702239951180152 + 0.0*i,
    -1.01614117519559 + 0.0*i,
    -0.00421629107043705 + 0.0*i,
    -0.586408623937345 + 0.0*i,
    0.402885948499996 + 0.0*i,
    0.294995618158122 + 0.0*i,
    -0.645238192061569 + 0.0*i,
    -0.0984585578066267 + 0.0*i,
    0.867335789049707 + 0.0*i,
    0.585272334264859 + 0.0*i,
    0.772474741854573 + 0.0*i,
    0.53782977173227 + 0.0*i,
    0.0832755417867654 + 0.0*i,
    -0.352897125989855 + 0.0*i,
    -0.871734209405923 + 0.0*i,
    0.494461837240534 + 0.0*i,
    0.218799822404398 + 0.0*i,
    0.791157453770857 + 0.0*i,
    0.428871555216452 + 0.0*i,
    -0.0658578704537608 + 0.0*i,
    -0.517350309569034 + 0.0*i,
    -0.19700995053231 + 0.0*i,
    -0.274845384017533 + 0.0*i,
    -0.630584661424634 + 0.0*i,
    0.626641044353519 + 0.0*i,
    0.830330628349573 + 0.0*i,
    0.203756147652083 + 0.0*i,
    -0.11234916718599 + 0.0*i,
    -0.207538257263263 + 0.0*i,
    0.26560461244396 + 0.0*i,
    -0.720497716970572 + 0.0*i,
    0.851682891592384 + 0.0*i,
    -0.209857219482985 + 0.0*i,
    -0.453049949313688 + 0.0*i,
    -0.262258397680481 + 0.0*i,
    -0.746460347946944 + 0.0*i,
    0.138896170989698 + 0.0*i,
    0.855290103378766 + 0.0*i,
    0.116243293928549 + 0.0*i,
    -0.33654153535979 + 0.0*i,
    0.0721575318919302 + 0.0*i,
    -0.493385182766108 + 0.0*i,
    0.423627825747694 + 0.0*i,
    0.683422458595961 + 0.0*i,
    -0.107620424559376 + 0.0*i,
    -0.144226778080524 + 0.0*i,
    0.232406852927233 + 0.0*i,
    0.321412177729106 + 0.0*i,
    -0.00344929908817242 + 0.0*i,
    -0.668718051714021 + 0.0*i,
    -0.648398467221051 + 0.0*i,
    -0.172963507959782 + 0.0*i,
    0.381520158203137 + 0.0*i,
    -1.07657780882481 + 0.0*i,
    0.357552189513931 + 0.0*i,
    0.399625197960471 + 0.0*i,
    0.144015056314159 + 0.0*i,
    -1.06566719025077 + 0.0*i,
    -0.451606582345691 + 0.0*i,
    -0.354788065319499 + 0.0*i,
    0.520409704537494 + 0.0*i,
    -0.066812975239239 + 0.0*i,
    -0.488675984101382 + 0.0*i,
    -0.0483315263991024 + 0.0*i,
    0.462926215169503 + 0.0*i,
    -0.116187941596289 + 0.0*i,
    -0.0743653574039147 + 0.0*i,
    0.279738105250108 + 0.0*i,
    -0.0547210527767059 + 0.0*i,
    -0.154978193381884 + 0.0*i,
    0.285828699019816 + 0.0*i,
    -0.748613129607777 + 0.0*i,
    -0.0665759917158527 + 0.0*i,
    -0.440894147185248 + 0.0*i,
    0.13473865204801 + 0.0*i,
    0.132934004518793 + 0.0*i,
    -0.661145604735551 + 0.0*i,
    -0.203223145294884 + 0.0*i,
    0.0787443934625297 + 0.0*i,
    0.54319559417958 + 0.0*i,
    0.122807819247909 + 0.0*i,
    0.154303654031437 + 0.0*i,
    0.63025359360617 + 0.0*i,
    0.221724740696548 + 0.0*i,
    0.482096790393741 + 0.0*i,
    0.716462520567109 + 0.0*i,
    0.158359197579925 + 0.0*i,
    -0.312546785443061 + 0.0*i,
    -0.232343419804023 + 0.0*i,
    -0.0513940870921174 + 0.0*i,
    0.63527690871572 + 0.0*i,
    -1.16799897902773 + 0.0*i,
    -0.0593196792866233 + 0.0*i,
    0.557590784799645 + 0.0*i,
    0.0407678218523788 + 0.0*i,
    0.0643231335748165 + 0.0*i,
    -0.063006241981463 + 0.0*i,
    -0.859089103255044 + 0.0*i,
    -0.760361860356203 + 0.0*i,
    -0.36730917621938 + 0.0*i,
    -0.415807887671695 + 0.0*i,
    0.0595777262267453 + 0.0*i,
    -0.0149451287409648 + 0.0*i,
    -0.0893576730050824 + 0.0*i,
    -0.0893167267199255 + 0.0*i,
    0.566616183143683 + 0.0*i,
    0.693790223809903 + 0.0*i,
    0.100095034038704 + 0.0*i,
    0.508738469669345 + 0.0*i,
    0.8923953030821 + 0.0*i,
    -1.23145567012981 + 0.0*i,
    -0.315406376349519 + 0.0*i
]);