V:=Matrix(CC,4,83,[
    0.28993854724582 + 0.0*i,
    0.357205336430903 + 0.0*i,
    0.338528350899249 + 0.0*i,
    0.159552223481236 + 0.0*i,
    -0.225826990782409 + 0.0*i,
    -0.0786120191516234 + 0.0*i,
    -0.341261521461141 + 0.0*i,
    0.397470239894455 + 0.0*i,
    0.0823186792983219 + 0.0*i,
    -0.0956362795676285 + 0.0*i,
    0.265312246676515 + 0.0*i,
    -0.328886901049608 + 0.0*i,
    0.138633151235046 + 0.0*i,
    -0.123868000274827 + 0.0*i,
    -0.25091467057745 + 0.0*i,
    -0.16055303098604 + 0.0*i,
    -0.254919051443614 + 0.0*i,
    -0.227980396846242 + 0.0*i,
    -0.266594031377763 + 0.0*i,
    -0.347383367946676 + 0.0*i,
    0.0360005192052949 + 0.0*i,
    0.213971708013348 + 0.0*i,
    0.344853698772206 + 0.0*i,
    0.0732861677101986 + 0.0*i,
    0.124510780789227 + 0.0*i,
    -0.432760571171785 + 0.0*i,
    -0.388632539347308 + 0.0*i,
    -0.274751079214349 + 0.0*i,
    -0.26954866629232 + 0.0*i,
    0.180572377020065 + 0.0*i,
    -0.280001548706105 + 0.0*i,
    -0.268727071914711 + 0.0*i,
    -0.091950424092962 + 0.0*i,
    -0.420712270890039 + 0.0*i,
    -0.047449267946138 + 0.0*i,
    -0.324080952307467 + 0.0*i,
    -0.302565299601994 + 0.0*i,
    -0.115352983205046 + 0.0*i,
    -0.303005902061248 + 0.0*i,
    0.114511179876868 + 0.0*i,
    0.130246978834331 + 0.0*i,
    -0.0668932052213471 + 0.0*i,
    -0.0816666058487593 + 0.0*i,
    -0.142287538719859 + 0.0*i,
    0.0404209226342119 + 0.0*i,
    0.114999179887993 + 0.0*i,
    -0.0391185853098129 + 0.0*i,
    -0.0566518422654462 + 0.0*i,
    -0.0198278645291737 + 0.0*i,
    0.202603967338561 + 0.0*i,
    0.158250127068836 + 0.0*i,
    -0.382888544235111 + 0.0*i,
    0.173702748768356 + 0.0*i,
    -0.36259665329502 + 0.0*i,
    0.406500048267887 + 0.0*i,
    -0.14425067930299 + 0.0*i,
    -0.102163837260952 + 0.0*i,
    -0.0988283037366895 + 0.0*i,
    0.231864329480828 + 0.0*i,
    0.0306732728280471 + 0.0*i,
    0.111066887302895 + 0.0*i,
    -0.199120052983246 + 0.0*i,
    -0.31504766636753 + 0.0*i,
    -0.0609434972765337 + 0.0*i,
    0.0214011746674293 + 0.0*i,
    0.257183361228054 + 0.0*i,
    0.235364576030963 + 0.0*i,
    0.0267616731154474 + 0.0*i,
    0.112339119843902 + 0.0*i,
    -0.235398324115289 + 0.0*i,
    0.273158840605797 + 0.0*i,
    0.026968346974269 + 0.0*i,
    -0.377084311113863 + 0.0*i,
    0.218114855434401 + 0.0*i,
    -0.211880240867271 + 0.0*i,
    -0.118431293569108 + 0.0*i,
    0.314883370709642 + 0.0*i,
    0.190813515046125 + 0.0*i,
    0.131496090819905 + 0.0*i,
    0.118819168632263 + 0.0*i,
    -0.242610751051711 + 0.0*i,
    -0.0181066377129908 + 0.0*i,
    -0.0930809830731597 + 0.0*i,
    0.0307613180184838 + 0.0*i,
    0.116444396772712 + 0.0*i,
    -0.241344275371296 + 0.0*i,
    -0.0473424567007044 + 0.0*i,
    -0.0626558486635636 + 0.0*i,
    0.0828696799693192 + 0.0*i,
    -0.0441161627741126 + 0.0*i,
    -0.0240810023833901 + 0.0*i,
    -0.256336504319796 + 0.0*i,
    0.416757364157186 + 0.0*i,
    -0.0289145930917 + 0.0*i,
    0.114893987472809 + 0.0*i,
    0.151307557055576 + 0.0*i,
    0.0387455846869263 + 0.0*i,
    0.255578167423154 + 0.0*i,
    0.280758787179298 + 0.0*i,
    -0.287774823216605 + 0.0*i,
    0.210899441707947 + 0.0*i,
    0.121993452313588 + 0.0*i,
    -0.0918735423226158 + 0.0*i,
    0.136025718074665 + 0.0*i,
    0.23691489877297 + 0.0*i,
    0.167354853656686 + 0.0*i,
    0.181656723293633 + 0.0*i,
    -0.421375465432092 + 0.0*i,
    -0.0520643004176857 + 0.0*i,
    0.0945891618666883 + 0.0*i,
    0.0437055842203973 + 0.0*i,
    -0.33287658150217 + 0.0*i,
    -0.32670133010313 + 0.0*i,
    0.112903681082287 + 0.0*i,
    0.231696869573533 + 0.0*i,
    -0.420137381029174 + 0.0*i,
    0.111772086002109 + 0.0*i,
    -0.352612640247391 + 0.0*i,
    0.0701822260737658 + 0.0*i,
    0.270074255055409 + 0.0*i,
    -0.0297191206351101 + 0.0*i,
    0.316689548090866 + 0.0*i,
    0.23831127891372 + 0.0*i,
    0.335236181613517 + 0.0*i,
    0.103626190868806 + 0.0*i,
    -0.394999768261835 + 0.0*i,
    0.225395616963387 + 0.0*i,
    0.133119529166948 + 0.0*i,
    -0.0297252949647112 + 0.0*i,
    -0.340277800872115 + 0.0*i,
    0.0364735900583432 + 0.0*i,
    0.174481978318862 + 0.0*i,
    0.267664028822341 + 0.0*i,
    -0.373149801618451 + 0.0*i,
    -0.153175949068789 + 0.0*i,
    -0.346219671327971 + 0.0*i,
    0.0666103702774098 + 0.0*i,
    0.139332306728008 + 0.0*i,
    -0.119025297113071 + 0.0*i,
    0.289566761811149 + 0.0*i,
    -0.139724007380377 + 0.0*i,
    0.288753721577298 + 0.0*i,
    0.325375325484522 + 0.0*i,
    -0.146558339707183 + 0.0*i,
    -0.0731175774945236 + 0.0*i,
    -0.307376516131648 + 0.0*i,
    -0.18943268104767 + 0.0*i,
    -0.250579206818267 + 0.0*i,
    0.111755692509346 + 0.0*i,
    0.209347133409499 + 0.0*i,
    -0.238953828979635 + 0.0*i,
    0.415693265355267 + 0.0*i,
    -0.260083427722275 + 0.0*i,
    0.0638252481775592 + 0.0*i,
    -0.34748557594579 + 0.0*i,
    0.180232604259083 + 0.0*i,
    -0.187841930632465 + 0.0*i,
    -0.231868958106665 + 0.0*i,
    0.0413876048691765 + 0.0*i,
    0.227745271316473 + 0.0*i,
    -0.19125900204515 + 0.0*i,
    -0.233177233380011 + 0.0*i,
    -0.0671590520711873 + 0.0*i,
    -0.107126128501723 + 0.0*i,
    0.31724546494779 + 0.0*i,
    -0.170968565672753 + 0.0*i,
    0.109714642335831 + 0.0*i,
    0.0933243642832931 + 0.0*i,
    0.0041603856018313 + 0.0*i,
    -0.328920898997634 + 0.0*i,
    0.372147358126907 + 0.0*i,
    0.422304065304354 + 0.0*i,
    0.283675890178638 + 0.0*i,
    -0.0663246439603057 + 0.0*i,
    -0.246159424090765 + 0.0*i,
    -0.00818423589653654 + 0.0*i,
    -0.0382783166111556 + 0.0*i,
    0.226031346549238 + 0.0*i,
    0.212915395323701 + 0.0*i,
    0.0814636660776551 + 0.0*i,
    0.0597676977195935 + 0.0*i,
    0.157316836774222 + 0.0*i,
    0.224297315444529 + 0.0*i,
    -0.312573453864484 + 0.0*i,
    0.276579196568336 + 0.0*i,
    0.147585566109002 + 0.0*i,
    0.411501848127656 + 0.0*i,
    0.00116470487130976 + 0.0*i,
    -0.108227530436596 + 0.0*i,
    -0.00763219988079918 + 0.0*i,
    -0.0613541405101073 + 0.0*i,
    -0.103752992523358 + 0.0*i,
    -0.0239957212261131 + 0.0*i,
    -0.188686886357538 + 0.0*i,
    -0.0361886615516024 + 0.0*i,
    -0.195288602191915 + 0.0*i,
    0.0964716267972876 + 0.0*i,
    -0.191799315266328 + 0.0*i,
    0.120716970533162 + 0.0*i,
    0.10035296533758 + 0.0*i,
    -0.16785719584719 + 0.0*i,
    -0.28233380230253 + 0.0*i,
    0.184701041801697 + 0.0*i,
    -0.0612861123623546 + 0.0*i,
    -0.0197896154696795 + 0.0*i,
    0.350020178173485 + 0.0*i,
    -0.0514331750314993 + 0.0*i,
    0.278799946290805 + 0.0*i,
    0.0793816955228803 + 0.0*i,
    -0.343952503681718 + 0.0*i,
    -0.407180328128891 + 0.0*i,
    0.433420160630131 + 0.0*i,
    -0.126614731132017 + 0.0*i,
    -0.147904354232736 + 0.0*i,
    -0.25255798465544 + 0.0*i,
    0.249971863658585 + 0.0*i,
    0.18754323994793 + 0.0*i,
    -0.111332299378937 + 0.0*i,
    0.109220268853562 + 0.0*i,
    -0.173510956599825 + 0.0*i,
    -0.115089073857334 + 0.0*i,
    0.159218246195352 + 0.0*i,
    0.291455232778846 + 0.0*i,
    -0.258567120448015 + 0.0*i,
    0.170480546766844 + 0.0*i,
    -0.299292625919267 + 0.0*i,
    -0.125366962557305 + 0.0*i,
    0.318492622403842 + 0.0*i,
    0.023397985074195 + 0.0*i,
    -0.32330519014636 + 0.0*i,
    -0.0072989167259746 + 0.0*i,
    0.31383926841013 + 0.0*i,
    0.0603654083182935 + 0.0*i,
    0.254484683122884 + 0.0*i,
    0.128389908092054 + 0.0*i,
    0.18654462566079 + 0.0*i,
    0.333639894861499 + 0.0*i,
    -0.263887791810167 + 0.0*i,
    -0.142311584673196 + 0.0*i,
    0.112349706682025 + 0.0*i,
    0.253168792661495 + 0.0*i,
    -0.364147984156995 + 0.0*i,
    0.202738685693518 + 0.0*i,
    -0.357733916065277 + 0.0*i,
    0.103213977356525 + 0.0*i,
    0.336217059712307 + 0.0*i,
    0.143248548487854 + 0.0*i,
    -0.235745427381779 + 0.0*i,
    0.389716183927628 + 0.0*i,
    -0.320661040067017 + 0.0*i,
    0.220994656264192 + 0.0*i,
    -0.153907027391267 + 0.0*i,
    0.276390767916344 + 0.0*i,
    -0.0618742082006148 + 0.0*i,
    0.116397165618933 + 0.0*i,
    0.0534880172755603 + 0.0*i,
    -0.188876331805988 + 0.0*i,
    0.244673913256579 + 0.0*i,
    -0.156468086408727 + 0.0*i,
    0.349058977330542 + 0.0*i,
    -0.180332052296808 + 0.0*i,
    0.338543607230901 + 0.0*i,
    0.422911145437887 + 0.0*i,
    -0.258285433050711 + 0.0*i,
    0.270654758781275 + 0.0*i,
    0.0239731074221499 + 0.0*i,
    0.103063254205694 + 0.0*i,
    0.181586505283998 + 0.0*i,
    -0.223387277418525 + 0.0*i,
    -0.127336432722683 + 0.0*i,
    0.312436558367895 + 0.0*i,
    -0.174373345375237 + 0.0*i,
    -0.402067023285677 + 0.0*i,
    -0.077961587207619 + 0.0*i,
    -0.0320198449348818 + 0.0*i,
    -0.18914215048332 + 0.0*i,
    -0.289073921334125 + 0.0*i,
    0.10811565719342 + 0.0*i,
    0.11397541668623 + 0.0*i,
    0.298002551341074 + 0.0*i,
    -0.183396675189014 + 0.0*i,
    0.0377365432012731 + 0.0*i,
    -0.00702838904814014 + 0.0*i,
    -0.205307923968513 + 0.0*i,
    -0.0823654007584907 + 0.0*i,
    0.0431453606848554 + 0.0*i,
    -0.424491689041842 + 0.0*i,
    -0.0676750099686424 + 0.0*i,
    0.0473576027832672 + 0.0*i,
    -0.2507061549791 + 0.0*i,
    0.33233043032417 + 0.0*i,
    -0.192801010531209 + 0.0*i,
    -0.115456098416521 + 0.0*i,
    0.116380857335532 + 0.0*i,
    0.00206962769953044 + 0.0*i,
    0.25045493768936 + 0.0*i,
    0.41915353169934 + 0.0*i,
    -0.35191706197728 + 0.0*i,
    -0.166278450752431 + 0.0*i,
    -0.0101300228873021 + 0.0*i,
    0.122107471879021 + 0.0*i,
    -0.194785950695545 + 0.0*i,
    0.171753953052504 + 0.0*i,
    0.00864291413772622 + 0.0*i,
    -0.370772365952236 + 0.0*i,
    0.129438586885715 + 0.0*i,
    0.326158894443509 + 0.0*i,
    0.163961076587993 + 0.0*i,
    0.0646451316997561 + 0.0*i,
    0.38342975138676 + 0.0*i,
    0.226164995504216 + 0.0*i,
    -0.0932328828748535 + 0.0*i,
    -0.194296110591367 + 0.0*i,
    -0.375888350891045 + 0.0*i,
    0.139384813466013 + 0.0*i,
    -0.29621111050132 + 0.0*i,
    -0.280272077304574 + 0.0*i,
    -0.0150306860428197 + 0.0*i,
    0.198001727439546 + 0.0*i,
    -0.121351734583774 + 0.0*i,
    0.0497204512698894 + 0.0*i,
    0.0140214300876435 + 0.0*i,
    -0.322840027025355 + 0.0*i,
    -0.198968338069732 + 0.0*i,
    -0.225575011556326 + 0.0*i,
    0.0314002080812656 + 0.0*i,
    0.031437882056287 + 0.0*i,
    0.340856079017363 + 0.0*i,
    -0.266581850748861 + 0.0*i,
    0.327096536340015 + 0.0*i,
    -0.215465870749719 + 0.0*i,
    0.0984934087220355 + 0.0*i
]);