V:=Matrix(CC,4,48,[
    0.121096591328365 + 0.0*i,
    -0.141373730839595 + 0.0*i,
    0.701820800236501 + 0.0*i,
    -0.499938525874929 + 0.0*i,
    0.3083004936872 + 0.0*i,
    -0.344492222288061 + 0.0*i,
    -0.617240312301822 + 0.0*i,
    0.479906753092818 + 0.0*i,
    0.0129983186394943 + 0.0*i,
    -0.545765845767903 + 0.0*i,
    0.164113518044954 + 0.0*i,
    0.267511322973604 + 0.0*i,
    0.468514502919869 + 0.0*i,
    0.330268848619367 + 0.0*i,
    0.106171094855258 + 0.0*i,
    -0.236296692858911 + 0.0*i,
    0.862184862167325 + 0.0*i,
    0.969280525986715 + 0.0*i,
    0.470721577107789 + 0.0*i,
    0.80740687227163 + 0.0*i,
    0.815723804177774 + 0.0*i,
    0.849683460871393 + 0.0*i,
    0.673126115191636 + 0.0*i,
    0.211617962898774 + 0.0*i,
    -0.625769008812222 + 0.0*i,
    0.650493686754699 + 0.0*i,
    0.614729239329789 + 0.0*i,
    0.00218112655430377 + 0.0*i,
    0.485556904386452 + 0.0*i,
    -0.446057611030983 + 0.0*i,
    0.0934267036380654 + 0.0*i,
    -0.696510580643335 + 0.0*i,
    -0.446267788259811 + 0.0*i,
    -0.615915854668341 + 0.0*i,
    0.305564874936439 + 0.0*i,
    0.87329592013927 + 0.0*i,
    0.129754636245831 + 0.0*i,
    -0.101730666657907 + 0.0*i,
    -0.45596491431762 + 0.0*i,
    -0.781099750552102 + 0.0*i,
    0.428264447935163 + 0.0*i,
    0.77764207983121 + 0.0*i,
    -0.0782476529298889 + 0.0*i,
    0.0484614784862922 + 0.0*i,
    0.343523916608347 + 0.0*i,
    -0.26279642194438 + 0.0*i,
    0.0899340932209612 + 0.0*i,
    0.118919228190223 + 0.0*i,
    0.329162390941967 + 0.0*i,
    -0.68783905770115 + 0.0*i,
    -0.555265611409099 + 0.0*i,
    -0.568900457674117 + 0.0*i,
    -0.903737056290751 + 0.0*i,
    0.558988447562169 + 0.0*i,
    -0.0877257433866404 + 0.0*i,
    -0.204611050658737 + 0.0*i,
    0.0816380773210188 + 0.0*i,
    -0.142753875708275 + 0.0*i,
    -0.844650999174997 + 0.0*i,
    0.768727762453724 + 0.0*i,
    -0.0267559251549035 + 0.0*i,
    -0.841562098453867 + 0.0*i,
    0.176321820645237 + 0.0*i,
    0.416447628117895 + 0.0*i,
    -0.0943178776097882 + 0.0*i,
    0.180248628007718 + 0.0*i,
    0.482110912394701 + 0.0*i,
    0.34899165320878 + 0.0*i,
    -0.138712254431371 + 0.0*i,
    -0.104686410828144 + 0.0*i,
    0.480384811282688 + 0.0*i,
    0.881541692378639 + 0.0*i,
    0.410686327541413 + 0.0*i,
    -0.42065436123396 + 0.0*i,
    0.484995123310783 + 0.0*i,
    -0.470822091618327 + 0.0*i,
    -0.128714522577559 + 0.0*i,
    -0.430635617036653 + 0.0*i,
    -0.513511885418394 + 0.0*i,
    -0.704400613065788 + 0.0*i,
    0.724213506673798 + 0.0*i,
    0.647455244723305 + 0.0*i,
    0.275513472002318 + 0.0*i,
    -0.467013351505919 + 0.0*i,
    0.888588052345125 + 0.0*i,
    0.583060849873934 + 0.0*i,
    -0.766921536903098 + 0.0*i,
    0.0467044509591033 + 0.0*i,
    -0.183826034872705 + 0.0*i,
    0.27064782509819 + 0.0*i,
    -0.904559873586427 + 0.0*i,
    -0.421228343117952 + 0.0*i,
    0.0781078287108175 + 0.0*i,
    -0.209100803076833 + 0.0*i,
    -0.657873703307143 + 0.0*i,
    -0.198926273827386 + 0.0*i,
    0.160579318679395 + 0.0*i,
    -0.640501812034511 + 0.0*i,
    0.192888659881027 + 0.0*i,
    0.385964611405196 + 0.0*i,
    -0.0583588786974535 + 0.0*i,
    0.398068528629976 + 0.0*i,
    0.224969810491977 + 0.0*i,
    0.705721487558623 + 0.0*i,
    -0.492940642443002 + 0.0*i,
    -0.793648133441836 + 0.0*i,
    -0.413877563844316 + 0.0*i,
    -0.0863548495657931 + 0.0*i,
    -0.822398282111078 + 0.0*i,
    0.44412722339299 + 0.0*i,
    0.781749938587572 + 0.0*i,
    0.90128886265232 + 0.0*i,
    0.359727525626114 + 0.0*i,
    -0.139296082174124 + 0.0*i,
    -0.727730493007325 + 0.0*i,
    0.403783639877412 + 0.0*i,
    -0.294935211997993 + 0.0*i,
    0.231717667131294 + 0.0*i,
    -0.384263072890843 + 0.0*i,
    0.0992272625791348 + 0.0*i,
    0.415256737651212 + 0.0*i,
    0.598233845280691 + 0.0*i,
    0.324638084043483 + 0.0*i,
    -0.626192832738205 + 0.0*i,
    0.110028851232324 + 0.0*i,
    -0.389270775655195 + 0.0*i,
    0.702611368204816 + 0.0*i,
    0.103753642341114 + 0.0*i,
    -0.108907312889411 + 0.0*i,
    0.445990092051971 + 0.0*i,
    0.83782088536388 + 0.0*i,
    -0.0033839016171146 + 0.0*i,
    -0.44846194489238 + 0.0*i,
    -0.750756791949556 + 0.0*i,
    -0.427762261919426 + 0.0*i,
    0.598579473181597 + 0.0*i,
    0.343567927225688 + 0.0*i,
    0.138577152708424 + 0.0*i,
    -0.0433825077865192 + 0.0*i,
    -0.167562080082672 + 0.0*i,
    -0.812311315250337 + 0.0*i,
    0.383936538199676 + 0.0*i,
    0.235459648667506 + 0.0*i,
    0.990351454246806 + 0.0*i,
    -0.949013629825191 + 0.0*i,
    0.285333845658275 + 0.0*i,
    0.406471313828508 + 0.0*i,
    0.529059020884607 + 0.0*i,
    0.18513995740055 + 0.0*i,
    -0.657149798666851 + 0.0*i,
    0.762319912377165 + 0.0*i,
    0.48645431560801 + 0.0*i,
    -0.874942435697511 + 0.0*i,
    0.217841659430919 + 0.0*i,
    -0.263785854642601 + 0.0*i,
    0.580789052272032 + 0.0*i,
    0.388168843109803 + 0.0*i,
    0.0353546632047913 + 0.0*i,
    -0.621713597230852 + 0.0*i,
    0.0295453247941763 + 0.0*i,
    0.218060399809595 + 0.0*i,
    -0.092932184951375 + 0.0*i,
    -0.00482474260838122 + 0.0*i,
    0.0322323184482813 + 0.0*i,
    0.474373467908898 + 0.0*i,
    -0.439808619287136 + 0.0*i,
    0.410684108344898 + 0.0*i,
    -0.388594795112725 + 0.0*i,
    0.54140296105291 + 0.0*i,
    -0.188058289951776 + 0.0*i,
    -0.554029275862694 + 0.0*i,
    -0.623692378047927 + 0.0*i,
    0.859447121897292 + 0.0*i,
    -0.644871018196518 + 0.0*i,
    -0.516775787862162 + 0.0*i,
    0.0537531851417896 + 0.0*i,
    0.541324042353296 + 0.0*i,
    -0.108342753198447 + 0.0*i,
    0.314744304944328 + 0.0*i,
    -0.128619460833689 + 0.0*i,
    0.0785225790878793 + 0.0*i,
    -0.31079734596436 + 0.0*i,
    -0.141366499748078 + 0.0*i,
    0.133731393605003 + 0.0*i,
    -0.817338215533126 + 0.0*i,
    0.528479633966674 + 0.0*i,
    -0.130863793290205 + 0.0*i,
    -0.89979422871331 + 0.0*i,
    -0.496957110920688 + 0.0*i,
    -0.879767280470247 + 0.0*i,
    0.722788245243328 + 0.0*i,
    -0.0123215855415634 + 0.0*i
]);