V:=Matrix(CC,4,40,[
    0.0592488347662753 + 0.0*i,
    0.228879995931496 + 0.0*i,
    0.314122024015269 + 0.0*i,
    0.177658037967928 + 0.0*i,
    -0.118829385813245 + 0.0*i,
    -0.87922575492494 + 0.0*i,
    0.147375606131619 + 0.0*i,
    -0.505619478575731 + 0.0*i,
    -0.15188819205819 + 0.0*i,
    0.328964977256283 + 0.0*i,
    -0.770445199315383 + 0.0*i,
    0.291388496073141 + 0.0*i,
    0.0897266391432137 + 0.0*i,
    -0.541098972139138 + 0.0*i,
    0.129412290690288 + 0.0*i,
    -0.172763687905476 + 0.0*i,
    -0.0111968366231281 + 0.0*i,
    0.383344553639404 + 0.0*i,
    -0.323560902217351 + 0.0*i,
    -0.503013666776263 + 0.0*i,
    0.301117261562825 + 0.0*i,
    -0.613909922518809 + 0.0*i,
    0.843909099073302 + 0.0*i,
    -0.709881653441414 + 0.0*i,
    -0.471108645760732 + 0.0*i,
    0.236366366386953 + 0.0*i,
    -0.308252712707902 + 0.0*i,
    -0.235528944962674 + 0.0*i,
    0.838054918963588 + 0.0*i,
    -0.645068055820303 + 0.0*i,
    0.44788156103607 + 0.0*i,
    -0.777170048489905 + 0.0*i,
    -0.691352345665309 + 0.0*i,
    0.672101722104677 + 0.0*i,
    0.970781552119143 + 0.0*i,
    -0.0920023944094573 + 0.0*i,
    0.577113808367258 + 0.0*i,
    -0.658290408770683 + 0.0*i,
    0.557461779913985 + 0.0*i,
    -0.39858368500995 + 0.0*i,
    0.327077677108678 + 0.0*i,
    0.468829448123966 + 0.0*i,
    0.366149486883542 + 0.0*i,
    -0.708138505814752 + 0.0*i,
    0.632734819277776 + 0.0*i,
    -0.470094292535068 + 0.0*i,
    0.61516002795101 + 0.0*i,
    -0.738021005249947 + 0.0*i,
    0.841552710515984 + 0.0*i,
    -0.227943233454008 + 0.0*i,
    -0.26854595274752 + 0.0*i,
    -0.176177806923393 + 0.0*i,
    -0.961944422135876 + 0.0*i,
    -0.559584133338957 + 0.0*i,
    -0.709033870169867 + 0.0*i,
    0.0310256880142687 + 0.0*i,
    0.40114405124335 + 0.0*i,
    0.20601680828742 + 0.0*i,
    -0.275799092774506 + 0.0*i,
    -0.580768904474655 + 0.0*i,
    0.901030103674356 + 0.0*i,
    0.355637693273072 + 0.0*i,
    -0.0380084147937017 + 0.0*i,
    0.532629464880474 + 0.0*i,
    -0.776429620039549 + 0.0*i,
    -0.0798909297084974 + 0.0*i,
    0.203352095311335 + 0.0*i,
    0.159358481071307 + 0.0*i,
    0.12392548223711 + 0.0*i,
    0.488731200559774 + 0.0*i,
    0.377896529764236 + 0.0*i,
    -0.185386020073733 + 0.0*i,
    0.00257857326232542 + 0.0*i,
    0.0208512333323154 + 0.0*i,
    -0.226491168963517 + 0.0*i,
    0.786845137798449 + 0.0*i,
    -0.615604002611647 + 0.0*i,
    0.39292930965126 + 0.0*i,
    -0.804929264427011 + 0.0*i,
    0.298324157439071 + 0.0*i,
    -0.486248235717941 + 0.0*i,
    0.837648807510266 + 0.0*i,
    -0.873157766529861 + 0.0*i,
    -0.443101164365681 + 0.0*i,
    -0.681938258917202 + 0.0*i,
    -0.0372928332691265 + 0.0*i,
    -0.151072172771273 + 0.0*i,
    0.410514595324978 + 0.0*i,
    0.511581229348582 + 0.0*i,
    -0.186482834478172 + 0.0*i,
    0.0678417805200062 + 0.0*i,
    0.506575533701115 + 0.0*i,
    0.0986482545780183 + 0.0*i,
    0.396596927541108 + 0.0*i,
    -0.0568185189420924 + 0.0*i,
    -0.948811699674491 + 0.0*i,
    0.659917260506646 + 0.0*i,
    -0.686702432678011 + 0.0*i,
    -0.476381506038807 + 0.0*i,
    -0.530485962873078 + 0.0*i,
    0.0288596426979183 + 0.0*i,
    -0.317700785093048 + 0.0*i,
    0.0923722411144876 + 0.0*i,
    0.409171060478703 + 0.0*i,
    -0.292497542584304 + 0.0*i,
    -0.133210390389748 + 0.0*i,
    -0.853645212710835 + 0.0*i,
    0.798687402047827 + 0.0*i,
    -0.529371096371973 + 0.0*i,
    -0.576083931273283 + 0.0*i,
    0.12268014770178 + 0.0*i,
    -0.550406781048306 + 0.0*i,
    0.463742527272802 + 0.0*i,
    0.623547478308853 + 0.0*i,
    0.0575440723065587 + 0.0*i,
    -0.538167247019526 + 0.0*i,
    0.156654382018228 + 0.0*i,
    0.39091152553886 + 0.0*i,
    0.0394995585174805 + 0.0*i,
    0.860391100151738 + 0.0*i,
    0.812023482289957 + 0.0*i,
    -0.154510054334422 + 0.0*i,
    0.112469505372535 + 0.0*i,
    0.517967068413373 + 0.0*i,
    -0.344946106989658 + 0.0*i,
    -0.108106064333008 + 0.0*i,
    -0.772031738961631 + 0.0*i,
    0.212047225627367 + 0.0*i,
    0.142403138714237 + 0.0*i,
    0.898835929367378 + 0.0*i,
    0.599788079421309 + 0.0*i,
    0.793305822514195 + 0.0*i,
    0.217552739182947 + 0.0*i,
    -0.462066931161863 + 0.0*i,
    -0.68954032330566 + 0.0*i,
    -0.244489885475011 + 0.0*i,
    0.636253545922256 + 0.0*i,
    -0.599748654503815 + 0.0*i,
    0.781003334339762 + 0.0*i,
    -0.333643097439304 + 0.0*i,
    0.278413917779209 + 0.0*i,
    0.64229581581436 + 0.0*i,
    0.498435460608968 + 0.0*i,
    -0.202681311355547 + 0.0*i,
    0.319524236958715 + 0.0*i,
    -0.972272873444338 + 0.0*i,
    0.361156201890447 + 0.0*i,
    -0.511989917318829 + 0.0*i,
    -0.078202857533108 + 0.0*i,
    -0.0261816039597476 + 0.0*i,
    0.805371272855279 + 0.0*i,
    0.249222013996767 + 0.0*i,
    -0.513082846544775 + 0.0*i,
    0.345301090197782 + 0.0*i,
    -0.0948554226418514 + 0.0*i,
    0.309987566169151 + 0.0*i,
    0.517348452323114 + 0.0*i,
    0.525172478880617 + 0.0*i,
    -0.175063943634163 + 0.0*i,
    0.0951851043119909 + 0.0*i
]);