V:=Matrix(CC,4,84,[
    0.283796036249911 + 0.0*i,
    -0.390816961037714 + 0.0*i,
    -0.217751445042076 + 0.0*i,
    -0.303707069660908 + 0.0*i,
    0.0873550983885792 + 0.0*i,
    -0.418623115863526 + 0.0*i,
    0.0634505207821207 + 0.0*i,
    -0.13130404517799 + 0.0*i,
    -0.100968398690635 + 0.0*i,
    0.12276771749626 + 0.0*i,
    0.318973255785166 + 0.0*i,
    -0.349189915214135 + 0.0*i,
    0.0272024290841217 + 0.0*i,
    0.228652928863569 + 0.0*i,
    -0.272211832861147 + 0.0*i,
    0.169655215578225 + 0.0*i,
    -0.375436820213696 + 0.0*i,
    -0.367158396538033 + 0.0*i,
    0.390047038056617 + 0.0*i,
    0.169057908706784 + 0.0*i,
    0.389393069221699 + 0.0*i,
    0.100026589988117 + 0.0*i,
    0.205403437640593 + 0.0*i,
    0.113829649566397 + 0.0*i,
    0.232082546599013 + 0.0*i,
    -0.0548010226653584 + 0.0*i,
    0.091849998883116 + 0.0*i,
    0.236872053952267 + 0.0*i,
    -0.227591860571371 + 0.0*i,
    0.0855709272198895 + 0.0*i,
    -0.057256535598969 + 0.0*i,
    -0.352596418339684 + 0.0*i,
    0.272437875870102 + 0.0*i,
    0.309032870481495 + 0.0*i,
    0.0437051613916467 + 0.0*i,
    0.0249808875504669 + 0.0*i,
    0.0963102755283541 + 0.0*i,
    0.243729311750579 + 0.0*i,
    0.132094250102111 + 0.0*i,
    0.141953401954949 + 0.0*i,
    0.138962785340717 + 0.0*i,
    -0.155077487268273 + 0.0*i,
    0.00568670476216277 + 0.0*i,
    0.239934714137994 + 0.0*i,
    -0.0904093486742333 + 0.0*i,
    0.396155362485696 + 0.0*i,
    -0.448846501604742 + 0.0*i,
    -0.0604980616965939 + 0.0*i,
    0.051924295720547 + 0.0*i,
    0.0599738374377603 + 0.0*i,
    0.354789589460935 + 0.0*i,
    -0.0812586745776146 + 0.0*i,
    0.25798348751917 + 0.0*i,
    0.284435195473707 + 0.0*i,
    0.0064224155620647 + 0.0*i,
    -0.0651047676923595 + 0.0*i,
    0.240317674850857 + 0.0*i,
    -0.199360160406401 + 0.0*i,
    -0.186119430798291 + 0.0*i,
    -0.264508489931675 + 0.0*i,
    -0.297197275772746 + 0.0*i,
    -0.359677007275207 + 0.0*i,
    -0.109461710412318 + 0.0*i,
    -0.173312575938975 + 0.0*i,
    0.138922266644743 + 0.0*i,
    -0.110102854189357 + 0.0*i,
    -0.00426019726545938 + 0.0*i,
    0.267859418017941 + 0.0*i,
    -0.385567922363769 + 0.0*i,
    0.275008730201458 + 0.0*i,
    0.279475009309371 + 0.0*i,
    -0.206126599954082 + 0.0*i,
    0.360420892349771 + 0.0*i,
    -0.0389348836422285 + 0.0*i,
    -0.0977727791339058 + 0.0*i,
    -0.245504110561626 + 0.0*i,
    -0.188999397253239 + 0.0*i,
    0.191107853878883 + 0.0*i,
    -0.194878574213315 + 0.0*i,
    0.111005200453838 + 0.0*i,
    -0.0188032800210031 + 0.0*i,
    -0.295208795473283 + 0.0*i,
    0.0152415401694919 + 0.0*i,
    -0.0578023659807891 + 0.0*i,
    -0.262946864770175 + 0.0*i,
    -0.0300641558867313 + 0.0*i,
    -0.305416466271434 + 0.0*i,
    -0.0621151361823286 + 0.0*i,
    -0.223178531146048 + 0.0*i,
    0.153569727595642 + 0.0*i,
    -0.359491757864565 + 0.0*i,
    -0.312113793843918 + 0.0*i,
    -0.174597928335959 + 0.0*i,
    0.244253833990702 + 0.0*i,
    -0.314564656449792 + 0.0*i,
    -0.196661919738013 + 0.0*i,
    0.0384425741000163 + 0.0*i,
    0.135913418975224 + 0.0*i,
    -0.00842853597424432 + 0.0*i,
    0.196071940999678 + 0.0*i,
    0.0231867728363662 + 0.0*i,
    0.176812037150299 + 0.0*i,
    0.146606849156238 + 0.0*i,
    -0.126256076917492 + 0.0*i,
    -0.0733393182637237 + 0.0*i,
    -0.00247866451600894 + 0.0*i,
    -0.30571164838191 + 0.0*i,
    -0.0143926356824759 + 0.0*i,
    0.092161813809812 + 0.0*i,
    -0.036959539542747 + 0.0*i,
    0.217143708101515 + 0.0*i,
    -0.179406128594522 + 0.0*i,
    -0.323278251855785 + 0.0*i,
    -0.265839689992636 + 0.0*i,
    0.243327075101539 + 0.0*i,
    -0.218850674427089 + 0.0*i,
    0.261163125720811 + 0.0*i,
    0.333990630757407 + 0.0*i,
    0.0615532631652051 + 0.0*i,
    -0.201431969801977 + 0.0*i,
    -0.381957730030392 + 0.0*i,
    0.303100629242025 + 0.0*i,
    0.339471041763408 + 0.0*i,
    -0.417261931977342 + 0.0*i,
    0.40679581833718 + 0.0*i,
    0.403733254345351 + 0.0*i,
    -0.326510258051725 + 0.0*i,
    -0.269868044810242 + 0.0*i,
    -0.00117627885649658 + 0.0*i,
    0.0817662061559735 + 0.0*i,
    -0.0522998035753174 + 0.0*i,
    0.0428774337695459 + 0.0*i,
    0.420949300780717 + 0.0*i,
    -0.140357645126133 + 0.0*i,
    -0.124451836676026 + 0.0*i,
    0.269679664102477 + 0.0*i,
    -0.196881199993832 + 0.0*i,
    0.048571518560275 + 0.0*i,
    -0.379517869626633 + 0.0*i,
    -0.109007732333033 + 0.0*i,
    -0.223164811350501 + 0.0*i,
    0.0927878840783656 + 0.0*i,
    0.0909221950171168 + 0.0*i,
    0.133259495522 + 0.0*i,
    -0.0838533990767126 + 0.0*i,
    -0.184512707426648 + 0.0*i,
    -0.171084920410226 + 0.0*i,
    0.156369392473695 + 0.0*i,
    -0.105171334015711 + 0.0*i,
    -0.369256108664826 + 0.0*i,
    0.340172442863039 + 0.0*i,
    -0.0364118254322055 + 0.0*i,
    0.111038944348116 + 0.0*i,
    0.104764717379634 + 0.0*i,
    0.0734520309603473 + 0.0*i,
    0.31379504494813 + 0.0*i,
    -0.0745831663867402 + 0.0*i,
    -0.234013644668445 + 0.0*i,
    -0.0949764323907496 + 0.0*i,
    -0.0807709927806592 + 0.0*i,
    -0.210665840445469 + 0.0*i,
    -0.115521788394838 + 0.0*i,
    -0.19566690674824 + 0.0*i,
    -0.344364977209731 + 0.0*i,
    0.200875019768658 + 0.0*i,
    0.297266696802865 + 0.0*i,
    0.245973537761332 + 0.0*i,
    -0.43912439197467 + 0.0*i,
    -0.132925981660256 + 0.0*i,
    -0.178044777789852 + 0.0*i,
    -0.227785521680226 + 0.0*i,
    0.0537736998577517 + 0.0*i,
    0.370682923244274 + 0.0*i,
    0.0487560139617217 + 0.0*i,
    0.144787769836383 + 0.0*i,
    0.191408359298911 + 0.0*i,
    -0.242115814127829 + 0.0*i,
    -0.307285352784268 + 0.0*i,
    0.0575275079121941 + 0.0*i,
    -0.0604087525782448 + 0.0*i,
    0.349851182559574 + 0.0*i,
    -0.313720979812089 + 0.0*i,
    -0.171222499686542 + 0.0*i,
    0.350267844432007 + 0.0*i,
    0.217409916725311 + 0.0*i,
    -0.120947345440536 + 0.0*i,
    -0.153486420416139 + 0.0*i,
    -0.124436554808771 + 0.0*i,
    -0.060752320012729 + 0.0*i,
    0.439761047608628 + 0.0*i,
    0.228423539776513 + 0.0*i,
    -0.433487883001795 + 0.0*i,
    0.300822355766852 + 0.0*i,
    -0.130121855950223 + 0.0*i,
    -0.376334365956927 + 0.0*i,
    -0.335308702819235 + 0.0*i,
    0.21551056635299 + 0.0*i,
    -0.262394186361027 + 0.0*i,
    0.367342441562412 + 0.0*i,
    0.117542753495932 + 0.0*i,
    0.113888661213136 + 0.0*i,
    0.0260297317380297 + 0.0*i,
    -0.418227190884185 + 0.0*i,
    0.360029147813801 + 0.0*i,
    -0.198501272055426 + 0.0*i,
    -0.11790387588659 + 0.0*i,
    0.240119060705397 + 0.0*i,
    -0.009903135990429 + 0.0*i,
    0.00347906018202671 + 0.0*i,
    -0.00848345066213292 + 0.0*i,
    -0.0862484938823266 + 0.0*i,
    0.0272269294633192 + 0.0*i,
    -0.0616203455909275 + 0.0*i,
    0.0418721227686813 + 0.0*i,
    -0.0086140219486276 + 0.0*i,
    0.273815133070413 + 0.0*i,
    0.135376017776331 + 0.0*i,
    0.273401307860241 + 0.0*i,
    -0.0112680475601299 + 0.0*i,
    -8.92510794634187e-08 + 0.0*i,
    -0.1812338263554 + 0.0*i,
    -0.118628997954695 + 0.0*i,
    0.24286609311907 + 0.0*i,
    -0.397963188364979 + 0.0*i,
    0.128645714335112 + 0.0*i,
    -0.356582743894127 + 0.0*i,
    0.36079641235047 + 0.0*i,
    -0.3342566667152 + 0.0*i,
    -0.267548174524558 + 0.0*i,
    -0.188159705189859 + 0.0*i,
    0.095448321888851 + 0.0*i,
    -0.254878474974543 + 0.0*i,
    -0.0844550325459236 + 0.0*i,
    -0.0456044473639367 + 0.0*i,
    -0.178371247055342 + 0.0*i,
    0.120677067444484 + 0.0*i,
    -0.19923480595835 + 0.0*i,
    -0.341787224792507 + 0.0*i,
    0.338463836301401 + 0.0*i,
    -0.224488507528413 + 0.0*i,
    -0.235660167088153 + 0.0*i,
    -0.361595464412875 + 0.0*i,
    0.24933513279136 + 0.0*i,
    0.252780578948445 + 0.0*i,
    0.00791156694289198 + 0.0*i,
    -0.311171505836594 + 0.0*i,
    -0.121316535168494 + 0.0*i,
    -0.223807431573982 + 0.0*i,
    -0.099564465327707 + 0.0*i,
    0.168973054769092 + 0.0*i,
    0.217452959799246 + 0.0*i,
    0.0796952052292232 + 0.0*i,
    0.194980432847241 + 0.0*i,
    0.130798200084942 + 0.0*i,
    0.117683962564394 + 0.0*i,
    0.318186436113235 + 0.0*i,
    0.0678478555132298 + 0.0*i,
    -0.0284398257562731 + 0.0*i,
    -0.210226362399284 + 0.0*i,
    -0.234163198235801 + 0.0*i,
    -0.327856340333002 + 0.0*i,
    -0.185916278087025 + 0.0*i,
    0.0112720542044222 + 0.0*i,
    0.191207647495046 + 0.0*i,
    -0.280584542384447 + 0.0*i,
    0.184942248774825 + 0.0*i,
    -0.327795196332677 + 0.0*i,
    0.0426003656491983 + 0.0*i,
    -0.132821075484041 + 0.0*i,
    0.149448624814139 + 0.0*i,
    -0.0903052295688067 + 0.0*i,
    0.376711989528743 + 0.0*i,
    -0.20069037031147 + 0.0*i,
    -0.0582660810206889 + 0.0*i,
    0.11878435401861 + 0.0*i,
    0.0742798624033239 + 0.0*i,
    -0.228435113288105 + 0.0*i,
    0.429379119976746 + 0.0*i,
    0.0276165266033867 + 0.0*i,
    0.0345595746717182 + 0.0*i,
    -0.00928016865780257 + 0.0*i,
    -0.230621067408086 + 0.0*i,
    0.0411976513196612 + 0.0*i,
    -0.147567676574912 + 0.0*i,
    0.219713105715722 + 0.0*i,
    -0.00460301397040796 + 0.0*i,
    -0.155201341438546 + 0.0*i,
    -0.184915231083698 + 0.0*i,
    -0.0734861118552027 + 0.0*i,
    -0.204033942502334 + 0.0*i,
    0.124347265680749 + 0.0*i,
    -0.104969450948265 + 0.0*i,
    0.143594416194147 + 0.0*i,
    -0.143921074682824 + 0.0*i,
    -0.307670672284903 + 0.0*i,
    -0.275690534923041 + 0.0*i,
    -0.446945014506737 + 0.0*i,
    0.188628895090843 + 0.0*i,
    -0.00479732971605516 + 0.0*i,
    0.350235907247406 + 0.0*i,
    -0.0509871743337812 + 0.0*i,
    0.331604285611859 + 0.0*i,
    0.240813561030884 + 0.0*i,
    -0.356817150199544 + 0.0*i,
    -0.255496955039751 + 0.0*i,
    0.333195988978404 + 0.0*i,
    -0.013141478704213 + 0.0*i,
    -0.168689612389912 + 0.0*i,
    0.28484230959939 + 0.0*i,
    -0.167858163779099 + 0.0*i,
    0.172436330504549 + 0.0*i,
    0.0857134538622748 + 0.0*i,
    -0.216845976685792 + 0.0*i,
    -0.0320730081084954 + 0.0*i,
    0.396564219678705 + 0.0*i,
    0.296219123306225 + 0.0*i,
    -0.413911300143872 + 0.0*i,
    0.233222309436257 + 0.0*i,
    -0.235037493711861 + 0.0*i,
    -0.338588665745436 + 0.0*i,
    -0.0960262253480719 + 0.0*i,
    -0.0421584456836361 + 0.0*i,
    -0.0164679097177976 + 0.0*i,
    0.0966872675802617 + 0.0*i,
    -0.0878831073248854 + 0.0*i,
    0.133388244464698 + 0.0*i,
    -0.350708191831721 + 0.0*i,
    0.279011948319024 + 0.0*i,
    -0.349340502006957 + 0.0*i,
    0.241236690173808 + 0.0*i,
    0.331962401897733 + 0.0*i,
    0.158440797694627 + 0.0*i,
    0.392890342507097 + 0.0*i,
    0.0506916332771074 + 0.0*i,
    -0.309878968833144 + 0.0*i,
    0.0418981987298283 + 0.0*i
]);