V:=Matrix(CC,4,75,[
    0.406814603743663 + 0.0*i,
    -0.122440198433205 + 0.0*i,
    0.599607707975792 + 0.0*i,
    -0.0814230440524295 + 0.0*i,
    0.133124565358451 + 0.0*i,
    -0.591129563028853 + 0.0*i,
    -0.237126092580886 + 0.0*i,
    0.533006995778343 + 0.0*i,
    -0.0717818142878338 + 0.0*i,
    -0.576425346007533 + 0.0*i,
    -0.477750693059601 + 0.0*i,
    0.111099525864938 + 0.0*i,
    -0.165953678166478 + 0.0*i,
    0.350057234788569 + 0.0*i,
    -0.117042225605184 + 0.0*i,
    -0.0885084768079214 + 0.0*i,
    0.263613537903779 + 0.0*i,
    -0.0723613716840269 + 0.0*i,
    0.201436380731148 + 0.0*i,
    0.322155436939772 + 0.0*i,
    -0.265997208515687 + 0.0*i,
    -0.00706876977843067 + 0.0*i,
    -0.105911346189488 + 0.0*i,
    0.914880437832088 + 0.0*i,
    -0.177273758715942 + 0.0*i,
    0.1073629814669 + 0.0*i,
    -0.665842734744722 + 0.0*i,
    0.163020288188056 + 0.0*i,
    1.13863588159089 + 0.0*i,
    0.507627641010158 + 0.0*i,
    -0.221766867511465 + 0.0*i,
    -0.495161785019528 + 0.0*i,
    0.10233643326046 + 0.0*i,
    -0.534376130306285 + 0.0*i,
    -1.10895813213547 + 0.0*i,
    0.705806010417085 + 0.0*i,
    -0.902560224992137 + 0.0*i,
    0.962429681588431 + 0.0*i,
    -0.430376046806913 + 0.0*i,
    -0.844547619878113 + 0.0*i,
    0.28174589873207 + 0.0*i,
    -0.0732419678911137 + 0.0*i,
    -0.245290659110615 + 0.0*i,
    0.338110289189846 + 0.0*i,
    -0.0232232134786638 + 0.0*i,
    -0.0258275824864195 + 0.0*i,
    0.582899151991632 + 0.0*i,
    -0.0964257324045838 + 0.0*i,
    0.402644660152889 + 0.0*i,
    0.164346586593717 + 0.0*i,
    -0.868550793781116 + 0.0*i,
    0.52090426086783 + 0.0*i,
    -0.297176154238773 + 0.0*i,
    -0.73527632522305 + 0.0*i,
    -0.73795713559457 + 0.0*i,
    -0.041433683032546 + 0.0*i,
    -0.246591963716172 + 0.0*i,
    -0.0481246160669892 + 0.0*i,
    0.041476039656026 + 0.0*i,
    0.0359660598782073 + 0.0*i,
    0.939563222060885 + 0.0*i,
    -0.569167992086271 + 0.0*i,
    -0.270588628003459 + 0.0*i,
    -0.503748686021223 + 0.0*i,
    -0.0573365975208363 + 0.0*i,
    0.298346815267744 + 0.0*i,
    -0.0940163374554731 + 0.0*i,
    0.068749337977624 + 0.0*i,
    0.479066622967492 + 0.0*i,
    0.0263330010485265 + 0.0*i,
    -0.0294023320991296 + 0.0*i,
    -1.24682120370942 + 0.0*i,
    -0.121772329126428 + 0.0*i,
    0.518473226044372 + 0.0*i,
    0.429227588509709 + 0.0*i,
    0.0459177537933118 + 0.0*i,
    0.046603363172405 + 0.0*i,
    -0.195028152369084 + 0.0*i,
    -0.0253660564893641 + 0.0*i,
    0.138667131427841 + 0.0*i,
    -1.03864717761243 + 0.0*i,
    0.694338424684447 + 0.0*i,
    -0.0277248147330875 + 0.0*i,
    -0.802143445735446 + 0.0*i,
    -0.334116358079425 + 0.0*i,
    -0.0816744582992094 + 0.0*i,
    0.104799820732721 + 0.0*i,
    -0.157424999501291 + 0.0*i,
    -0.542340412350533 + 0.0*i,
    0.175728614703381 + 0.0*i,
    -0.256791598450472 + 0.0*i,
    1.1908375254992 + 0.0*i,
    0.694392700747524 + 0.0*i,
    -0.677177484652882 + 0.0*i,
    0.76672175073661 + 0.0*i,
    0.349097270197871 + 0.0*i,
    1.01901537050372 + 0.0*i,
    0.541943109517191 + 0.0*i,
    -0.371668030314028 + 0.0*i,
    0.729714660430896 + 0.0*i,
    -0.331791945658346 + 0.0*i,
    0.0698797392236063 + 0.0*i,
    -0.295680539612126 + 0.0*i,
    -0.191010997314666 + 0.0*i,
    0.0622424817236507 + 0.0*i,
    1.19421807804565 + 0.0*i,
    -0.277457267749522 + 0.0*i,
    0.258305790187309 + 0.0*i,
    -0.109352948485599 + 0.0*i,
    0.202243909866898 + 0.0*i,
    0.163584241055843 + 0.0*i,
    0.127796164572118 + 0.0*i,
    -0.139441429587867 + 0.0*i,
    0.685252299396505 + 0.0*i,
    -0.515992667138743 + 0.0*i,
    -0.503543609627133 + 0.0*i,
    -0.705286265997084 + 0.0*i,
    0.194464118984664 + 0.0*i,
    0.0821839818652432 + 0.0*i,
    0.0317324048055507 + 0.0*i,
    -0.236801969139101 + 0.0*i,
    0.93088254677264 + 0.0*i,
    0.48039822067835 + 0.0*i,
    0.358592323564862 + 0.0*i,
    0.434587234670953 + 0.0*i,
    1.12813336609402 + 0.0*i,
    -0.86091484749713 + 0.0*i,
    0.214957221960821 + 0.0*i,
    -0.0524870352011246 + 0.0*i,
    0.0784349139305352 + 0.0*i,
    0.371623375639465 + 0.0*i,
    0.224787790170875 + 0.0*i,
    0.283550012592751 + 0.0*i,
    -0.042764827491794 + 0.0*i,
    0.118732267617085 + 0.0*i,
    -0.14347079708327 + 0.0*i,
    -0.674055759904004 + 0.0*i,
    -0.285036874664057 + 0.0*i,
    -0.32564934108183 + 0.0*i,
    0.370582943345988 + 0.0*i,
    -0.259771652500194 + 0.0*i,
    -0.708807319934593 + 0.0*i,
    -0.437766169083525 + 0.0*i,
    0.503920374590671 + 0.0*i,
    0.676905323324242 + 0.0*i,
    -0.670827847684475 + 0.0*i,
    -0.604069045712783 + 0.0*i,
    0.0429750170194881 + 0.0*i,
    -0.714232002205168 + 0.0*i,
    0.409626511214319 + 0.0*i,
    -0.22424178710931 + 0.0*i,
    0.366010113258486 + 0.0*i,
    1.14930576223119 + 0.0*i,
    -0.570861224636418 + 0.0*i,
    -0.741110725235613 + 0.0*i,
    0.363654250860768 + 0.0*i,
    0.193493350973865 + 0.0*i,
    -1.14032278596054 + 0.0*i,
    -0.40459061106029 + 0.0*i,
    0.0457968784539282 + 0.0*i,
    0.370847855813542 + 0.0*i,
    -0.338367431840465 + 0.0*i,
    -0.340392502829634 + 0.0*i,
    0.259760126036653 + 0.0*i,
    -0.595053645475032 + 0.0*i,
    0.568888623408584 + 0.0*i,
    -0.586906764785227 + 0.0*i,
    0.551720266292813 + 0.0*i,
    -0.499518422601549 + 0.0*i,
    -1.03684589410093 + 0.0*i,
    -0.408632633197985 + 0.0*i,
    0.465879146557459 + 0.0*i,
    0.539801679054558 + 0.0*i,
    0.803594187719371 + 0.0*i,
    0.10311864079174 + 0.0*i,
    0.600534300324923 + 0.0*i,
    0.244299688110817 + 0.0*i,
    0.107492543181224 + 0.0*i,
    -0.671833596961468 + 0.0*i,
    0.216257629048593 + 0.0*i,
    0.539373280913297 + 0.0*i,
    0.00270335364991809 + 0.0*i,
    -0.210490672273101 + 0.0*i,
    0.716166663654731 + 0.0*i,
    -0.326614767476949 + 0.0*i,
    -0.596989214072327 + 0.0*i,
    0.396078406871891 + 0.0*i,
    -0.347513044172327 + 0.0*i,
    0.193613670148448 + 0.0*i,
    -0.671510543366873 + 0.0*i,
    -0.32417274098592 + 0.0*i,
    -0.219244826653929 + 0.0*i,
    0.745103591882544 + 0.0*i,
    -0.740274824225771 + 0.0*i,
    -0.877115493660884 + 0.0*i,
    0.0504783951660649 + 0.0*i,
    0.886141674987577 + 0.0*i,
    -0.171392828189437 + 0.0*i,
    0.222981373478097 + 0.0*i,
    -0.0964966609292127 + 0.0*i,
    -0.30546723656605 + 0.0*i,
    -0.464194326326031 + 0.0*i,
    0.266036458712416 + 0.0*i,
    -0.62142507499337 + 0.0*i,
    0.295460529953175 + 0.0*i,
    -0.317457554002411 + 0.0*i,
    -0.0484015438617474 + 0.0*i,
    -0.270172411451472 + 0.0*i,
    -0.292646843482969 + 0.0*i,
    1.29154320807279 + 0.0*i,
    0.166052345037798 + 0.0*i,
    -0.556475601862675 + 0.0*i,
    0.316574883379904 + 0.0*i,
    -0.0614066979063923 + 0.0*i,
    -0.440134581197169 + 0.0*i,
    -0.215188535761813 + 0.0*i,
    -0.910576901786347 + 0.0*i,
    -0.154406562195546 + 0.0*i,
    0.0374983364932987 + 0.0*i,
    0.163440863867429 + 0.0*i,
    -0.0613995744647759 + 0.0*i,
    0.0338500322418531 + 0.0*i,
    -0.664456923266253 + 0.0*i,
    0.182106898042539 + 0.0*i,
    0.702580536993329 + 0.0*i,
    0.511401654171626 + 0.0*i,
    0.32871739934713 + 0.0*i,
    -0.0477786258856844 + 0.0*i,
    -0.156706054764244 + 0.0*i,
    0.0130061154341416 + 0.0*i,
    0.611538638648581 + 0.0*i,
    0.26906506236328 + 0.0*i,
    0.377003952638709 + 0.0*i,
    0.193881395268103 + 0.0*i,
    0.137773502171362 + 0.0*i,
    -0.846586610872638 + 0.0*i,
    -0.208247284560224 + 0.0*i,
    0.260629584387373 + 0.0*i,
    -1.04841829777411 + 0.0*i,
    0.523251360208374 + 0.0*i,
    0.28094954480762 + 0.0*i,
    0.545914464752255 + 0.0*i,
    0.707443488237201 + 0.0*i,
    0.209320151526158 + 0.0*i,
    -0.377635195494733 + 0.0*i,
    0.423798213234569 + 0.0*i,
    -0.178323897079414 + 0.0*i,
    0.157189734562211 + 0.0*i,
    -0.444557815488149 + 0.0*i,
    -0.261159750656438 + 0.0*i,
    -0.560894947091815 + 0.0*i,
    -0.0227912161091087 + 0.0*i,
    -0.395778057542787 + 0.0*i,
    -0.00213724613868091 + 0.0*i,
    1.15874063484381 + 0.0*i,
    0.54837462641733 + 0.0*i,
    0.573116869397621 + 0.0*i,
    0.14562003299437 + 0.0*i,
    0.214597167329624 + 0.0*i,
    0.117903537754309 + 0.0*i,
    0.653891010037547 + 0.0*i,
    -0.756978047884448 + 0.0*i,
    -0.986241624597405 + 0.0*i,
    -0.923522005940417 + 0.0*i,
    0.47218932473254 + 0.0*i,
    0.230343681143557 + 0.0*i,
    -0.108261427419462 + 0.0*i,
    0.257576648959435 + 0.0*i,
    0.461928627526508 + 0.0*i,
    1.00381570529054 + 0.0*i,
    0.685132790946964 + 0.0*i,
    0.128990319940691 + 0.0*i,
    -0.188233750880387 + 0.0*i,
    -0.156192982258153 + 0.0*i,
    -1.27369920840973 + 0.0*i,
    -0.474495209827479 + 0.0*i,
    0.101235054146804 + 0.0*i,
    -0.311703148771929 + 0.0*i,
    -0.550420187312774 + 0.0*i,
    -0.0887728282687055 + 0.0*i,
    0.661133436992449 + 0.0*i,
    -0.350767861648293 + 0.0*i,
    -0.706690188129822 + 0.0*i,
    -0.49164486321945 + 0.0*i,
    0.511345507644551 + 0.0*i,
    0.163425898102705 + 0.0*i,
    -0.707295852436924 + 0.0*i,
    -0.065370737572475 + 0.0*i,
    -0.731890032534603 + 0.0*i,
    0.56808871266 + 0.0*i,
    0.739925022581584 + 0.0*i,
    0.57690069610606 + 0.0*i,
    -0.138436834299703 + 0.0*i,
    -0.66663698432439 + 0.0*i,
    -0.110579306745078 + 0.0*i,
    0.209035909185479 + 0.0*i,
    -0.237114803180307 + 0.0*i,
    0.0617415023037603 + 0.0*i,
    -0.436558713412491 + 0.0*i,
    0.356367534919997 + 0.0*i
]);