V:=Matrix(CC,4,88,[
    0.323331956276975 + 0.0*i,
    0.0624950488558274 + 0.0*i,
    0.324973646266779 + 0.0*i,
    -0.293757608687704 + 0.0*i,
    -0.419960541563199 + 0.0*i,
    0.116645778402687 + 0.0*i,
    0.128554968008031 + 0.0*i,
    0.259973312225065 + 0.0*i,
    -0.20131587074959 + 0.0*i,
    0.036065431722168 + 0.0*i,
    -0.437523347407513 + 0.0*i,
    0.210850002863653 + 0.0*i,
    -0.027639271467785 + 0.0*i,
    0.333370378852142 + 0.0*i,
    0.0520665501711795 + 0.0*i,
    0.285060036590926 + 0.0*i,
    -0.0374564297396671 + 0.0*i,
    0.0845277841794655 + 0.0*i,
    -0.0870398531157223 + 0.0*i,
    0.365853668143813 + 0.0*i,
    -0.227395753151231 + 0.0*i,
    0.13301265975487 + 0.0*i,
    -0.0475748852476275 + 0.0*i,
    0.14854341618476 + 0.0*i,
    -0.155091662304128 + 0.0*i,
    0.176206011370089 + 0.0*i,
    0.0875017587600038 + 0.0*i,
    0.369220972941473 + 0.0*i,
    0.230504844626068 + 0.0*i,
    -0.012764465776796 + 0.0*i,
    0.0899188349787601 + 0.0*i,
    -0.240034523296608 + 0.0*i,
    -0.214060660821115 + 0.0*i,
    0.395413720802866 + 0.0*i,
    -0.266866460050125 + 0.0*i,
    -0.359888273893761 + 0.0*i,
    0.294639851067097 + 0.0*i,
    0.0435929342093151 + 0.0*i,
    0.271891890687123 + 0.0*i,
    -0.252556255499171 + 0.0*i,
    -0.145155663026494 + 0.0*i,
    0.114743730585994 + 0.0*i,
    0.181826056152353 + 0.0*i,
    -0.13612037996432 + 0.0*i,
    0.142738201383101 + 0.0*i,
    0.154504161073899 + 0.0*i,
    -0.103746556969827 + 0.0*i,
    0.270756882576564 + 0.0*i,
    0.160545822313635 + 0.0*i,
    0.167812311483917 + 0.0*i,
    -0.201163356790621 + 0.0*i,
    0.316506038574274 + 0.0*i,
    0.00177373607656067 + 0.0*i,
    -0.16753463611246 + 0.0*i,
    -0.274697055656406 + 0.0*i,
    -0.375274243256733 + 0.0*i,
    -0.0575146654110062 + 0.0*i,
    0.343989904493366 + 0.0*i,
    0.00107518395156169 + 0.0*i,
    0.00920202878429134 + 0.0*i,
    0.0504912280406768 + 0.0*i,
    -0.378523790281237 + 0.0*i,
    -0.0618355956419016 + 0.0*i,
    0.192172198241493 + 0.0*i,
    0.243290449693458 + 0.0*i,
    0.197998853305525 + 0.0*i,
    0.101988455932134 + 0.0*i,
    -0.121599689794629 + 0.0*i,
    0.407982279068679 + 0.0*i,
    0.0489988295795091 + 0.0*i,
    -0.133192412634958 + 0.0*i,
    -0.152372400078298 + 0.0*i,
    -0.263447780848511 + 0.0*i,
    -0.151316053990432 + 0.0*i,
    0.340946139648897 + 0.0*i,
    -0.287180350954864 + 0.0*i,
    -0.306899011134765 + 0.0*i,
    0.141018615557537 + 0.0*i,
    -0.218023448646213 + 0.0*i,
    0.0456599676755223 + 0.0*i,
    0.254479472570213 + 0.0*i,
    -0.438503490408123 + 0.0*i,
    0.0920537724146622 + 0.0*i,
    0.000950679022313884 + 0.0*i,
    -0.10303014805274 + 0.0*i,
    -0.0524045578832502 + 0.0*i,
    -0.271861122560267 + 0.0*i,
    0.393616966835177 + 0.0*i,
    0.0929907473408327 + 0.0*i,
    -0.179044550885277 + 0.0*i,
    0.272947036739508 + 0.0*i,
    -0.0340172997350322 + 0.0*i,
    -0.0698451343378548 + 0.0*i,
    0.0165682067582283 + 0.0*i,
    0.226610177065184 + 0.0*i,
    -0.247576076949025 + 0.0*i,
    0.187799680956446 + 0.0*i,
    0.159616642731801 + 0.0*i,
    0.125499525433912 + 0.0*i,
    -0.0918689099852119 + 0.0*i,
    -0.402805520618296 + 0.0*i,
    0.145815572841062 + 0.0*i,
    0.046663740777774 + 0.0*i,
    -0.0608870066039381 + 0.0*i,
    -0.0629676064708184 + 0.0*i,
    0.276028298699291 + 0.0*i,
    0.217700950672565 + 0.0*i,
    -0.00621644420878504 + 0.0*i,
    -0.178521691274279 + 0.0*i,
    0.17329051414646 + 0.0*i,
    -0.284818790366223 + 0.0*i,
    -0.347437062960186 + 0.0*i,
    0.146511751995534 + 0.0*i,
    -0.410214503230148 + 0.0*i,
    -0.436927828330568 + 0.0*i,
    -0.16622954845088 + 0.0*i,
    0.00631069470250019 + 0.0*i,
    0.200171542228812 + 0.0*i,
    0.326027746806953 + 0.0*i,
    -0.12754706050882 + 0.0*i,
    0.146518126833666 + 0.0*i,
    0.0273229987092904 + 0.0*i,
    0.22193409433012 + 0.0*i,
    -0.22143463418018 + 0.0*i,
    0.108822580545469 + 0.0*i,
    -0.185831677029773 + 0.0*i,
    -0.234116874439468 + 0.0*i,
    -0.173252848959711 + 0.0*i,
    -0.319511830262299 + 0.0*i,
    0.30447051434714 + 0.0*i,
    0.402885032240149 + 0.0*i,
    0.173796655435523 + 0.0*i,
    -0.349169125353673 + 0.0*i,
    0.389822976538859 + 0.0*i,
    0.19633900612405 + 0.0*i,
    -0.0861599223916718 + 0.0*i,
    0.307792193875789 + 0.0*i,
    0.0335079152422336 + 0.0*i,
    -0.0901500907143247 + 0.0*i,
    -0.227403028504297 + 0.0*i,
    0.415588573289642 + 0.0*i,
    -0.355892514643613 + 0.0*i,
    -0.274455950202044 + 0.0*i,
    -0.113228024705536 + 0.0*i,
    0.360901483356008 + 0.0*i,
    0.28264400972997 + 0.0*i,
    0.0833586339407477 + 0.0*i,
    -0.110841712291 + 0.0*i,
    -0.339974748704904 + 0.0*i,
    0.0432142899227165 + 0.0*i,
    0.302496896550835 + 0.0*i,
    -0.0328163230632829 + 0.0*i,
    -0.356410420278153 + 0.0*i,
    0.249072731841357 + 0.0*i,
    0.0463971695689789 + 0.0*i,
    -0.0162457947142997 + 0.0*i,
    -0.0788016677012867 + 0.0*i,
    -0.114460099193085 + 0.0*i,
    -0.239629772526435 + 0.0*i,
    0.300536171499465 + 0.0*i,
    0.0793736609066586 + 0.0*i,
    0.324164205703042 + 0.0*i,
    -0.299632490368536 + 0.0*i,
    0.282549164639108 + 0.0*i,
    -0.241453869444683 + 0.0*i,
    0.133279355408825 + 0.0*i,
    -0.362861385063881 + 0.0*i,
    -0.19978238718524 + 0.0*i,
    0.167048912268728 + 0.0*i,
    -0.106358058249169 + 0.0*i,
    0.0396193810240562 + 0.0*i,
    0.380634462901272 + 0.0*i,
    -0.0178059289341705 + 0.0*i,
    -0.435583864778214 + 0.0*i,
    0.0763823847808782 + 0.0*i,
    -0.103966947723591 + 0.0*i,
    0.146287735628522 + 0.0*i,
    0.298848052592785 + 0.0*i,
    -0.0561588804920199 + 0.0*i,
    0.0529311951973473 + 0.0*i,
    -0.00644012234736055 + 0.0*i,
    0.403347020057367 + 0.0*i,
    0.0164386501965355 + 0.0*i,
    0.273192192957044 + 0.0*i,
    0.0327472732300458 + 0.0*i,
    0.0888850854913864 + 0.0*i,
    0.0560073626066896 + 0.0*i,
    -0.16593101427718 + 0.0*i,
    -0.124838480603277 + 0.0*i,
    0.192250494411904 + 0.0*i,
    -0.0482707192171166 + 0.0*i,
    0.334951718703569 + 0.0*i,
    0.406566676514162 + 0.0*i,
    -0.325712556092619 + 0.0*i,
    0.21280148437118 + 0.0*i,
    -0.269656711026048 + 0.0*i,
    0.230001129105999 + 0.0*i,
    0.264659012880091 + 0.0*i,
    -0.344498556074291 + 0.0*i,
    0.204260451462671 + 0.0*i,
    0.39984393153249 + 0.0*i,
    -0.0212405814908466 + 0.0*i,
    0.0637205819499593 + 0.0*i,
    -0.0742259305299549 + 0.0*i,
    0.178321759949733 + 0.0*i,
    0.390350419366129 + 0.0*i,
    -0.141109070317946 + 0.0*i,
    0.352019152628576 + 0.0*i,
    0.327143816920607 + 0.0*i,
    -0.179259459521762 + 0.0*i,
    -0.144360023409788 + 0.0*i,
    0.176797302872767 + 0.0*i,
    -0.220509410750847 + 0.0*i,
    0.418307693328628 + 0.0*i,
    0.0888216204193518 + 0.0*i,
    -0.0445747051090261 + 0.0*i,
    -0.0336180537421332 + 0.0*i,
    -0.183874414268646 + 0.0*i,
    0.0689226076928746 + 0.0*i,
    -0.360366509321745 + 0.0*i,
    -0.252851867759975 + 0.0*i,
    -0.100531135549132 + 0.0*i,
    0.0170205092300646 + 0.0*i,
    -0.279407475305857 + 0.0*i,
    0.274681967611577 + 0.0*i,
    -0.420783093246522 + 0.0*i,
    -0.356709141390925 + 0.0*i,
    -0.240444704707345 + 0.0*i,
    0.170107691356994 + 0.0*i,
    -0.108623523932154 + 0.0*i,
    -0.218174255638479 + 0.0*i,
    -0.228393772683152 + 0.0*i,
    0.00984596928474631 + 0.0*i,
    0.0786837328134496 + 0.0*i,
    0.216088427200602 + 0.0*i,
    -0.369057913390529 + 0.0*i,
    0.0578468031396955 + 0.0*i,
    0.0604305422086188 + 0.0*i,
    0.210901620625125 + 0.0*i,
    0.0654198021349583 + 0.0*i,
    -0.0528506697250229 + 0.0*i,
    -0.31362675511849 + 0.0*i,
    -0.35702770367173 + 0.0*i,
    0.246585360080489 + 0.0*i,
    0.153532152468638 + 0.0*i,
    0.129791631748852 + 0.0*i,
    -0.217939100792088 + 0.0*i,
    0.225405609271958 + 0.0*i,
    -0.229375140435211 + 0.0*i,
    -0.254500115706711 + 0.0*i,
    0.0744622860341075 + 0.0*i,
    0.123193598737251 + 0.0*i,
    0.0331386835988622 + 0.0*i,
    -0.133541630871389 + 0.0*i,
    0.145714735643118 + 0.0*i,
    0.225441594923037 + 0.0*i,
    0.326751164646865 + 0.0*i,
    -0.0109220490277354 + 0.0*i,
    0.457101907519846 + 0.0*i,
    -0.257459915673929 + 0.0*i,
    -0.262798191071662 + 0.0*i,
    0.0548469477879046 + 0.0*i,
    -0.325092526393359 + 0.0*i,
    0.163445837242744 + 0.0*i,
    0.261545590669878 + 0.0*i,
    -0.295723101636593 + 0.0*i,
    0.168640956661613 + 0.0*i,
    0.349543210283173 + 0.0*i,
    0.147270545648864 + 0.0*i,
    -0.18404183416892 + 0.0*i,
    -0.377308635209063 + 0.0*i,
    0.00963370930871269 + 0.0*i,
    0.368877886677779 + 0.0*i,
    0.414162314787947 + 0.0*i,
    -0.0332403028029151 + 0.0*i,
    0.355247335491308 + 0.0*i,
    -0.176716662703556 + 0.0*i,
    -0.201050958254457 + 0.0*i,
    -0.450685136084292 + 0.0*i,
    0.0641678685669786 + 0.0*i,
    0.191340844149836 + 0.0*i,
    -0.137867132014179 + 0.0*i,
    0.318281017686037 + 0.0*i,
    0.075864754256351 + 0.0*i,
    0.264799564579603 + 0.0*i,
    -0.30295406147456 + 0.0*i,
    -0.0945004456021824 + 0.0*i,
    0.167345206244153 + 0.0*i,
    0.0784294829471582 + 0.0*i,
    0.0805144160089004 + 0.0*i,
    -0.080170820105937 + 0.0*i,
    -0.200405157350923 + 0.0*i,
    -0.359241416854451 + 0.0*i,
    -0.133550669694906 + 0.0*i,
    -0.26562931656997 + 0.0*i,
    0.101340164689462 + 0.0*i,
    -0.195737408089569 + 0.0*i,
    -0.133625755205812 + 0.0*i,
    0.263383791378807 + 0.0*i,
    0.0105837784969412 + 0.0*i,
    0.252609436468612 + 0.0*i,
    -0.0474366193967633 + 0.0*i,
    0.271457936206656 + 0.0*i,
    -0.327826758459543 + 0.0*i,
    -0.269904293163536 + 0.0*i,
    0.26603819049521 + 0.0*i,
    0.0350185437327122 + 0.0*i,
    -0.170690455549823 + 0.0*i,
    0.0215190424665193 + 0.0*i,
    0.122423691469045 + 0.0*i,
    -0.395227892890606 + 0.0*i,
    -0.225294369435399 + 0.0*i,
    -0.0920024914673627 + 0.0*i,
    0.0582834459931346 + 0.0*i,
    -0.178470926713112 + 0.0*i,
    -0.00782965031390002 + 0.0*i,
    -0.0577508881010796 + 0.0*i,
    0.203603618087592 + 0.0*i,
    -0.119595004495905 + 0.0*i,
    -0.0486274360497708 + 0.0*i,
    -0.267140401178739 + 0.0*i,
    -0.043309810797399 + 0.0*i,
    -0.395782357644809 + 0.0*i,
    -0.22905123392355 + 0.0*i,
    -0.303960069328 + 0.0*i,
    -0.25457383137522 + 0.0*i,
    -0.267523790637016 + 0.0*i,
    0.405937889941037 + 0.0*i,
    -0.140354532479113 + 0.0*i,
    0.110725483818702 + 0.0*i,
    0.271158718176013 + 0.0*i,
    0.367098404471256 + 0.0*i,
    -0.124947280416602 + 0.0*i,
    -0.415064650704654 + 0.0*i,
    -0.298075250445353 + 0.0*i,
    0.201417816216443 + 0.0*i,
    -0.26958435382669 + 0.0*i,
    0.135021964779666 + 0.0*i,
    0.00249341261783276 + 0.0*i,
    -0.189887285247531 + 0.0*i,
    0.229899744490173 + 0.0*i,
    0.391528108544853 + 0.0*i,
    0.0791115773437201 + 0.0*i,
    0.342642764307732 + 0.0*i,
    -0.0733108932127974 + 0.0*i,
    -0.088911524274823 + 0.0*i,
    -0.00849068458145123 + 0.0*i,
    0.0408433827222235 + 0.0*i,
    -0.353728201952484 + 0.0*i,
    0.0957309836475736 + 0.0*i,
    0.153163948762536 + 0.0*i,
    0.119581494048115 + 0.0*i
]);