V:=Matrix(CC,4,40,[
    -0.797758095358308 + 0.0*i,
    -0.111765997843735 + 0.0*i,
    -0.007997526739429 + 0.0*i,
    0.516676918392729 + 0.0*i,
    0.316532348108453 + 0.0*i,
    0.00663421448677467 + 0.0*i,
    -0.477685134941454 + 0.0*i,
    -0.497735555966186 + 0.0*i,
    -0.647346403837438 + 0.0*i,
    0.120054350140099 + 0.0*i,
    -0.585122406819148 + 0.0*i,
    -0.499134282812852 + 0.0*i,
    -0.0582401630994354 + 0.0*i,
    -0.137435602366704 + 0.0*i,
    0.0835386619891439 + 0.0*i,
    -0.0236106975579809 + 0.0*i,
    0.583469004749176 + 0.0*i,
    0.42754480798323 + 0.0*i,
    -0.44086224858786 + 0.0*i,
    0.0530360636529265 + 0.0*i,
    -0.442715293711758 + 0.0*i,
    0.364990948224429 + 0.0*i,
    -0.716359686229143 + 0.0*i,
    -0.948519053059346 + 0.0*i,
    0.288370920934282 + 0.0*i,
    0.632584864561153 + 0.0*i,
    0.665630696663789 + 0.0*i,
    -0.500872460263828 + 0.0*i,
    0.820268767714961 + 0.0*i,
    -0.858026398371405 + 0.0*i,
    0.379974849646244 + 0.0*i,
    0.891852158353744 + 0.0*i,
    0.148059315950643 + 0.0*i,
    0.85266665229914 + 0.0*i,
    -0.362479459501756 + 0.0*i,
    0.486679338866702 + 0.0*i,
    -0.393467539601734 + 0.0*i,
    -0.00136457616104444 + 0.0*i,
    0.221160885132306 + 0.0*i,
    0.128257030562695 + 0.0*i,
    -0.557104837263177 + 0.0*i,
    0.0331620639552439 + 0.0*i,
    -0.72203968614597 + 0.0*i,
    -0.245925431516234 + 0.0*i,
    -0.176875068777224 + 0.0*i,
    0.297408097338456 + 0.0*i,
    0.0360213272758262 + 0.0*i,
    -0.412639546274332 + 0.0*i,
    0.261738898677037 + 0.0*i,
    -0.588117200544279 + 0.0*i,
    -0.449529208631476 + 0.0*i,
    0.569697574052403 + 0.0*i,
    0.929241912661597 + 0.0*i,
    0.149623130688187 + 0.0*i,
    -0.455588783368818 + 0.0*i,
    -0.00754435583912611 + 0.0*i,
    -0.728178144815785 + 0.0*i,
    0.665790976461944 + 0.0*i,
    0.776640826597152 + 0.0*i,
    -0.37438414381532 + 0.0*i,
    -0.864378880455979 + 0.0*i,
    -0.506089983542096 + 0.0*i,
    0.225774924104523 + 0.0*i,
    -0.0830842343480484 + 0.0*i,
    0.110254378444091 + 0.0*i,
    -0.051682803451321 + 0.0*i,
    -0.532332454363291 + 0.0*i,
    -0.308195312985445 + 0.0*i,
    0.312274585183751 + 0.0*i,
    0.0803812930178096 + 0.0*i,
    0.249795671275563 + 0.0*i,
    -0.43352876753784 + 0.0*i,
    -0.569988496529451 + 0.0*i,
    0.131763176000362 + 0.0*i,
    -0.579455938905128 + 0.0*i,
    0.631152638839983 + 0.0*i,
    -0.0177038718838719 + 0.0*i,
    -0.526911597267253 + 0.0*i,
    0.844766710535831 + 0.0*i,
    -0.939130144691051 + 0.0*i,
    -0.0750680397280292 + 0.0*i,
    0.897482872684456 + 0.0*i,
    0.440196037802787 + 0.0*i,
    0.791913789258901 + 0.0*i,
    0.511262450773072 + 0.0*i,
    -0.726169595723204 + 0.0*i,
    -0.524455539923643 + 0.0*i,
    -0.656240614525096 + 0.0*i,
    0.0872246529075867 + 0.0*i,
    0.210540330564238 + 0.0*i,
    0.641937132683528 + 0.0*i,
    -0.551841452388665 + 0.0*i,
    -0.334977358183179 + 0.0*i,
    0.37544577671771 + 0.0*i,
    -0.721095819656556 + 0.0*i,
    -0.000984476109906801 + 0.0*i,
    0.237761017316942 + 0.0*i,
    0.573044220909736 + 0.0*i,
    0.237839526510353 + 0.0*i,
    -0.404482442467409 + 0.0*i,
    0.0965919989492311 + 0.0*i,
    -0.0500884140450127 + 0.0*i,
    0.571676439580756 + 0.0*i,
    0.301814867497302 + 0.0*i,
    0.924146363674309 + 0.0*i,
    -0.455737921163053 + 0.0*i,
    -0.45107196419684 + 0.0*i,
    0.0123716111429459 + 0.0*i,
    -0.0660281923335977 + 0.0*i,
    -0.226373741554 + 0.0*i,
    -0.378069291796665 + 0.0*i,
    0.121696354926291 + 0.0*i,
    -0.791176911353098 + 0.0*i,
    0.472315425660479 + 0.0*i,
    -0.208214350789432 + 0.0*i,
    -0.470478549275983 + 0.0*i,
    0.901489098094479 + 0.0*i,
    0.838332119709249 + 0.0*i,
    0.240943451699993 + 0.0*i,
    -0.308387872322452 + 0.0*i,
    0.183914426791387 + 0.0*i,
    -0.485598444715394 + 0.0*i,
    -0.530387343763729 + 0.0*i,
    -0.227828223786712 + 0.0*i,
    -0.764985829794118 + 0.0*i,
    -0.607256016504314 + 0.0*i,
    -0.732619080052942 + 0.0*i,
    0.386344318045895 + 0.0*i,
    -0.696700816029518 + 0.0*i,
    0.762660863080163 + 0.0*i,
    -0.204789311178866 + 0.0*i,
    -0.343351206132086 + 0.0*i,
    -0.158044862211653 + 0.0*i,
    0.883968645643882 + 0.0*i,
    -0.483797736674124 + 0.0*i,
    -0.969172524665994 + 0.0*i,
    -0.263425860798888 + 0.0*i,
    0.210410937535294 + 0.0*i,
    -0.398091628100432 + 0.0*i,
    0.818280979188968 + 0.0*i,
    -0.190636389800022 + 0.0*i,
    -0.79809684747899 + 0.0*i,
    -0.326027972480708 + 0.0*i,
    0.0950011998597742 + 0.0*i,
    0.229774552139818 + 0.0*i,
    -0.612743786087648 + 0.0*i,
    -0.230887741583782 + 0.0*i,
    0.816194035933042 + 0.0*i,
    0.469852179465049 + 0.0*i,
    0.475254787844635 + 0.0*i,
    0.801340192688243 + 0.0*i,
    0.133017516047952 + 0.0*i,
    0.211565600422027 + 0.0*i,
    0.196204382316923 + 0.0*i,
    -0.694472415709547 + 0.0*i,
    -0.431374249395818 + 0.0*i,
    0.189738840544246 + 0.0*i,
    -0.0543726439846558 + 0.0*i,
    -0.429144536207612 + 0.0*i,
    -0.244643716582011 + 0.0*i
]);