V:=Matrix(CC,4,81,[
    -0.137556532572531 + 0.0*i,
    0.307233076190741 + 0.0*i,
    -0.0176879242384946 + 0.0*i,
    0.092810399531341 + 0.0*i,
    0.104837463825585 + 0.0*i,
    -0.135750269536447 + 0.0*i,
    -0.128056593940816 + 0.0*i,
    0.339518465064745 + 0.0*i,
    -0.245134030894166 + 0.0*i,
    -0.240185832805892 + 0.0*i,
    0.236281592968958 + 0.0*i,
    0.314834174306158 + 0.0*i,
    0.328796527154972 + 0.0*i,
    -0.0270817541482604 + 0.0*i,
    -0.195408006002202 + 0.0*i,
    0.355017824112765 + 0.0*i,
    -0.211628104858232 + 0.0*i,
    0.225075341873693 + 0.0*i,
    0.351377431828761 + 0.0*i,
    -0.414794227285578 + 0.0*i,
    0.0768944921717174 + 0.0*i,
    0.214156756671857 + 0.0*i,
    0.352255376399797 + 0.0*i,
    0.0906523133475731 + 0.0*i,
    -0.278993801619139 + 0.0*i,
    0.115804022356463 + 0.0*i,
    -0.105963025748655 + 0.0*i,
    -0.180897857823387 + 0.0*i,
    -0.10974304661351 + 0.0*i,
    0.0620577631566298 + 0.0*i,
    -0.100363504857068 + 0.0*i,
    0.0695157949103604 + 0.0*i,
    0.176184049948548 + 0.0*i,
    -0.202922442649598 + 0.0*i,
    -0.393255294364684 + 0.0*i,
    -0.364602446547517 + 0.0*i,
    0.0643659359879958 + 0.0*i,
    -0.0336368896126296 + 0.0*i,
    0.134200218614562 + 0.0*i,
    0.120522051894389 + 0.0*i,
    0.0267933143504112 + 0.0*i,
    0.135498207890876 + 0.0*i,
    -0.128093207019664 + 0.0*i,
    -0.174090757658266 + 0.0*i,
    -0.101094799858347 + 0.0*i,
    0.196420114721067 + 0.0*i,
    -0.0523905593472179 + 0.0*i,
    0.0761806998504677 + 0.0*i,
    0.0564150952669743 + 0.0*i,
    -0.103712965156184 + 0.0*i,
    0.383965013327129 + 0.0*i,
    0.342211777383671 + 0.0*i,
    0.0301130382565119 + 0.0*i,
    0.238852274287321 + 0.0*i,
    0.299430195078614 + 0.0*i,
    -0.13185259436449 + 0.0*i,
    -0.333893170559894 + 0.0*i,
    0.0382177689961257 + 0.0*i,
    -0.238687165597942 + 0.0*i,
    -0.25001403892607 + 0.0*i,
    0.0159649506685359 + 0.0*i,
    -0.077204965919803 + 0.0*i,
    -0.254279573678398 + 0.0*i,
    -0.244166645333369 + 0.0*i,
    -0.224372534675764 + 0.0*i,
    0.252159017599537 + 0.0*i,
    -0.0281303752571328 + 0.0*i,
    0.222076419955497 + 0.0*i,
    0.31631491413949 + 0.0*i,
    0.0778167477181273 + 0.0*i,
    -0.222007123825789 + 0.0*i,
    0.281377527289798 + 0.0*i,
    -0.254792490999964 + 0.0*i,
    0.0717031438763182 + 0.0*i,
    -0.190767637785654 + 0.0*i,
    0.105642847052705 + 0.0*i,
    -0.0003176364978843 + 0.0*i,
    0.403945253957275 + 0.0*i,
    -0.118733358163024 + 0.0*i,
    0.0248322625933591 + 0.0*i,
    0.219896012558581 + 0.0*i,
    -0.381216799789549 + 0.0*i,
    -0.207294751827955 + 0.0*i,
    -0.161380878504478 + 0.0*i,
    -0.181635565600371 + 0.0*i,
    -0.0801636586632252 + 0.0*i,
    0.091837994481193 + 0.0*i,
    -0.000698121139396446 + 0.0*i,
    -0.24063897302319 + 0.0*i,
    -0.166728218058188 + 0.0*i,
    -0.331696835773527 + 0.0*i,
    -0.346242333665354 + 0.0*i,
    0.284764296641489 + 0.0*i,
    0.0109822706561534 + 0.0*i,
    -0.268747907101466 + 0.0*i,
    -0.225066761892745 + 0.0*i,
    -0.145285879671543 + 0.0*i,
    -0.326566364435913 + 0.0*i,
    -0.075621503655012 + 0.0*i,
    0.143770316880751 + 0.0*i,
    -0.0997376183808605 + 0.0*i,
    0.0241314241713349 + 0.0*i,
    0.106253905209078 + 0.0*i,
    0.0142130415594248 + 0.0*i,
    -0.367861610802926 + 0.0*i,
    -0.223831454453986 + 0.0*i,
    0.33506513228726 + 0.0*i,
    -0.311454751667063 + 0.0*i,
    -0.135396850589801 + 0.0*i,
    0.264226563101828 + 0.0*i,
    -0.336247870077211 + 0.0*i,
    0.289485199106425 + 0.0*i,
    -0.0504174682522225 + 0.0*i,
    0.0809168054421281 + 0.0*i,
    0.279588151710898 + 0.0*i,
    0.0163623763457859 + 0.0*i,
    -0.0827895105380859 + 0.0*i,
    0.14273790785282 + 0.0*i,
    -0.38546847524085 + 0.0*i,
    0.281979688569871 + 0.0*i,
    -0.255844014111754 + 0.0*i,
    -0.253203170483751 + 0.0*i,
    -0.391921345112871 + 0.0*i,
    0.122267748007171 + 0.0*i,
    0.0950203420103378 + 0.0*i,
    0.212947965164759 + 0.0*i,
    -0.179482138675887 + 0.0*i,
    -0.418823876421606 + 0.0*i,
    0.279851956429556 + 0.0*i,
    0.274552442753847 + 0.0*i,
    -0.297351324006672 + 0.0*i,
    -0.0566030669536514 + 0.0*i,
    0.154317893301927 + 0.0*i,
    -0.134157379036291 + 0.0*i,
    -0.303462910525215 + 0.0*i,
    -0.0893737160015085 + 0.0*i,
    -0.0737811097368938 + 0.0*i,
    -0.190474844648814 + 0.0*i,
    0.0668076073316387 + 0.0*i,
    -0.194354122616653 + 0.0*i,
    0.199830327176873 + 0.0*i,
    0.0922493747252452 + 0.0*i,
    0.384461668766447 + 0.0*i,
    0.0411491263968278 + 0.0*i,
    0.0096146549997566 + 0.0*i,
    -0.111703463459375 + 0.0*i,
    -0.136805104058396 + 0.0*i,
    -0.182858086435136 + 0.0*i,
    0.145325175742576 + 0.0*i,
    -0.0475171678813371 + 0.0*i,
    0.173072232810734 + 0.0*i,
    0.028953812083251 + 0.0*i,
    -0.22859614236472 + 0.0*i,
    -0.0816114445168476 + 0.0*i,
    -0.201962111917411 + 0.0*i,
    -0.272220998063641 + 0.0*i,
    0.118071895423189 + 0.0*i,
    -0.0149769310274133 + 0.0*i,
    -0.121831796450916 + 0.0*i,
    0.0277681863574975 + 0.0*i,
    -0.360662839468686 + 0.0*i,
    -0.270977865508749 + 0.0*i,
    0.113646161966858 + 0.0*i,
    0.216605421951569 + 0.0*i,
    -0.30282677053171 + 0.0*i,
    -0.370543627228117 + 0.0*i,
    0.336615564887662 + 0.0*i,
    0.126866976673004 + 0.0*i,
    0.315136064026575 + 0.0*i,
    0.0310713851511935 + 0.0*i,
    0.23017810523822 + 0.0*i,
    -0.0537340085231914 + 0.0*i,
    0.0318911802602729 + 0.0*i,
    -0.0693170704713843 + 0.0*i,
    0.206799867719598 + 0.0*i,
    -0.310992443676863 + 0.0*i,
    -0.186731898389993 + 0.0*i,
    -0.189420205341859 + 0.0*i,
    -0.143775583181822 + 0.0*i,
    0.0153669912392202 + 0.0*i,
    0.0684997176652274 + 0.0*i,
    0.0196053298131136 + 0.0*i,
    0.205947010633915 + 0.0*i,
    0.141021481200776 + 0.0*i,
    -0.20564315404693 + 0.0*i,
    -0.177056691872261 + 0.0*i,
    0.180987725357247 + 0.0*i,
    -0.163521598474534 + 0.0*i,
    -0.265468352042564 + 0.0*i,
    -0.356588095936723 + 0.0*i,
    -0.265129463333896 + 0.0*i,
    0.0550201535597999 + 0.0*i,
    0.241558574096978 + 0.0*i,
    -0.155564661922878 + 0.0*i,
    0.107318439466338 + 0.0*i,
    -0.217543817196745 + 0.0*i,
    -0.163730503036277 + 0.0*i,
    0.177450381384266 + 0.0*i,
    0.00168853993870473 + 0.0*i,
    -0.123491277906092 + 0.0*i,
    -0.0468398478922068 + 0.0*i,
    -0.122106117630271 + 0.0*i,
    -0.105413178652243 + 0.0*i,
    -0.0124111615419373 + 0.0*i,
    -0.0793904425707061 + 0.0*i,
    -0.341607395181807 + 0.0*i,
    -0.153415306093909 + 0.0*i,
    -0.318749518487125 + 0.0*i,
    -0.0270529793308686 + 0.0*i,
    0.157237169774204 + 0.0*i,
    -0.266670318650746 + 0.0*i,
    0.271196642018287 + 0.0*i,
    -0.0414951791866318 + 0.0*i,
    0.0301204343704075 + 0.0*i,
    -0.308120814498647 + 0.0*i,
    -0.176411855647717 + 0.0*i,
    0.192250951498219 + 0.0*i,
    0.390013965231471 + 0.0*i,
    -0.197738087175991 + 0.0*i,
    0.410273433229374 + 0.0*i,
    0.285929783208336 + 0.0*i,
    -0.124908027445835 + 0.0*i,
    -0.0484738101716173 + 0.0*i,
    -0.179808211113278 + 0.0*i,
    -0.340313129814245 + 0.0*i,
    0.350939746830214 + 0.0*i,
    0.0938775564589635 + 0.0*i,
    -0.217241156820149 + 0.0*i,
    0.217908464539517 + 0.0*i,
    0.298364816829302 + 0.0*i,
    -0.0274629764773049 + 0.0*i,
    -0.354355361139918 + 0.0*i,
    0.262837615075649 + 0.0*i,
    -0.127321027743217 + 0.0*i,
    0.116496976277966 + 0.0*i,
    0.374461992263781 + 0.0*i,
    0.0280240676578235 + 0.0*i,
    -0.252656924335522 + 0.0*i,
    0.413699815948202 + 0.0*i,
    0.00661073655100714 + 0.0*i,
    -0.283434626434524 + 0.0*i,
    0.092033250276884 + 0.0*i,
    -0.0303169158453194 + 0.0*i,
    0.0610852101105835 + 0.0*i,
    -0.0442309775623491 + 0.0*i,
    0.254241292329557 + 0.0*i,
    0.0682043224344341 + 0.0*i,
    0.233696724591174 + 0.0*i,
    0.370220205357165 + 0.0*i,
    -0.254038073183623 + 0.0*i,
    0.0930138597898022 + 0.0*i,
    -0.192219223420945 + 0.0*i,
    0.110184669078277 + 0.0*i,
    -0.0958670643089412 + 0.0*i,
    0.0574797796382295 + 0.0*i,
    -0.194421013133006 + 0.0*i,
    -0.0987575479130575 + 0.0*i,
    0.244873121909508 + 0.0*i,
    0.0214765923887197 + 0.0*i,
    -0.107553622901621 + 0.0*i,
    0.357159945049848 + 0.0*i,
    0.193228974608619 + 0.0*i,
    0.0307586246891225 + 0.0*i,
    0.362265481253218 + 0.0*i,
    0.316006320940188 + 0.0*i,
    -0.132390804343019 + 0.0*i,
    -0.0972827767301728 + 0.0*i,
    0.159661271693806 + 0.0*i,
    0.165704761112471 + 0.0*i,
    0.0504208180600592 + 0.0*i,
    0.0907271600941422 + 0.0*i,
    0.171885170873778 + 0.0*i,
    -0.256984714460808 + 0.0*i,
    -0.163547042594271 + 0.0*i,
    0.390604485672013 + 0.0*i,
    -0.367472246576097 + 0.0*i,
    -0.137781802949521 + 0.0*i,
    -0.0414814376555991 + 0.0*i,
    -0.090501866129867 + 0.0*i,
    0.40125119264148 + 0.0*i,
    0.135694275480629 + 0.0*i,
    -0.291586386425091 + 0.0*i,
    -0.287623226316936 + 0.0*i,
    0.330357584012352 + 0.0*i,
    0.0851781187423077 + 0.0*i,
    0.374665463033185 + 0.0*i,
    0.145509939824794 + 0.0*i,
    -0.322119829485978 + 0.0*i,
    -0.110661270750285 + 0.0*i,
    -0.0820950825614224 + 0.0*i,
    0.272245507031845 + 0.0*i,
    -0.184891814642429 + 0.0*i,
    -0.0191088480316974 + 0.0*i,
    0.181294271439603 + 0.0*i,
    -0.198634144128186 + 0.0*i,
    -0.265800635723883 + 0.0*i,
    0.0482776408561943 + 0.0*i,
    0.229001632340714 + 0.0*i,
    0.112442240194647 + 0.0*i,
    0.0217225624389425 + 0.0*i,
    0.0871876212980594 + 0.0*i,
    0.0103616376717131 + 0.0*i,
    0.257002918077842 + 0.0*i,
    -0.417373848029552 + 0.0*i,
    0.0286296307309795 + 0.0*i,
    -0.0430786499563381 + 0.0*i,
    -0.0602882433377614 + 0.0*i,
    0.322462905744856 + 0.0*i,
    0.239833699273174 + 0.0*i,
    -0.322246011162347 + 0.0*i,
    0.17010703050306 + 0.0*i,
    -0.283732970167843 + 0.0*i,
    0.138063017449187 + 0.0*i,
    0.239948561787559 + 0.0*i,
    -0.189430458611561 + 0.0*i,
    -0.312676753875272 + 0.0*i,
    0.0350668861445616 + 0.0*i,
    -0.265651629974751 + 0.0*i,
    -0.308161814150991 + 0.0*i,
    -0.099917443544829 + 0.0*i,
    -0.0898916059063308 + 0.0*i,
    0.296931868227921 + 0.0*i,
    0.197554472604655 + 0.0*i,
    0.250714385859834 + 0.0*i
]);