V:=Matrix(CC,4,46,[
    -0.557387646413996 + 0.0*i,
    -0.139974249898429 + 0.0*i,
    0.278711414841354 + 0.0*i,
    -0.757791119171872 + 0.0*i,
    0.0198712443582844 + 0.0*i,
    0.300282096132276 + 0.0*i,
    0.893116083262938 + 0.0*i,
    0.429943818884928 + 0.0*i,
    0.0452522877677447 + 0.0*i,
    0.562429117843404 + 0.0*i,
    0.201021860792974 + 0.0*i,
    0.830164817378196 + 0.0*i,
    -0.156973673244374 + 0.0*i,
    0.199838746641306 + 0.0*i,
    -0.930288963627064 + 0.0*i,
    -0.243956838200107 + 0.0*i,
    -0.187202200094378 + 0.0*i,
    -0.108087532274028 + 0.0*i,
    -0.64483786788881 + 0.0*i,
    -0.0311249437955571 + 0.0*i,
    0.951039376872966 + 0.0*i,
    -0.305136403307291 + 0.0*i,
    0.727553267053067 + 0.0*i,
    0.508983691426182 + 0.0*i,
    -0.0340790137356229 + 0.0*i,
    -1.03450773534183 + 0.0*i,
    -0.228967624820623 + 0.0*i,
    -0.0506094856154733 + 0.0*i,
    0.966736439181281 + 0.0*i,
    -0.458867787841919 + 0.0*i,
    0.18733970552027 + 0.0*i,
    -0.304500449760421 + 0.0*i,
    -0.296850331196616 + 0.0*i,
    -0.132614412883369 + 0.0*i,
    0.21898120479702 + 0.0*i,
    0.596025748207543 + 0.0*i,
    -0.548829268006897 + 0.0*i,
    0.8924770258817 + 0.0*i,
    0.163608819637027 + 0.0*i,
    -0.0219185592422928 + 0.0*i,
    0.337591990043042 + 0.0*i,
    -0.705660295305004 + 0.0*i,
    0.214382084486333 + 0.0*i,
    0.897051398243016 + 0.0*i,
    -0.73960390877603 + 0.0*i,
    0.335120827127352 + 0.0*i,
    0.108122312170419 + 0.0*i,
    -0.0650127397619436 + 0.0*i,
    0.551428536933546 + 0.0*i,
    -0.264723718498687 + 0.0*i,
    0.075578874494775 + 0.0*i,
    -0.978553543580413 + 0.0*i,
    0.00489404426370154 + 0.0*i,
    0.383277112260339 + 0.0*i,
    0.324538108138136 + 0.0*i,
    1.07054996200609 + 0.0*i,
    0.392732129317987 + 0.0*i,
    -0.567957429303152 + 0.0*i,
    -0.223533694682886 + 0.0*i,
    0.502049999628613 + 0.0*i,
    0.447649313419715 + 0.0*i,
    0.401974530586534 + 0.0*i,
    -0.447637974175175 + 0.0*i,
    0.578712298195203 + 0.0*i,
    0.198679546404421 + 0.0*i,
    0.0488654963595247 + 0.0*i,
    0.0430109424484305 + 0.0*i,
    -0.740575499518036 + 0.0*i,
    0.280199021083739 + 0.0*i,
    -1.06076271736473 + 0.0*i,
    0.14730307447584 + 0.0*i,
    -0.203148158411622 + 0.0*i,
    0.741129312092229 + 0.0*i,
    -0.509524735619904 + 0.0*i,
    -0.5013232759026 + 0.0*i,
    0.266196708593013 + 0.0*i,
    -0.32802086863898 + 0.0*i,
    -0.0324600133904798 + 0.0*i,
    0.113047513490997 + 0.0*i,
    -0.110064324025361 + 0.0*i,
    0.749203886781346 + 0.0*i,
    0.242135710844202 + 0.0*i,
    -0.73310417861724 + 0.0*i,
    0.334596782890435 + 0.0*i,
    -0.345707081612364 + 0.0*i,
    -0.287701793642287 + 0.0*i,
    0.526474206872429 + 0.0*i,
    -0.292836573899955 + 0.0*i,
    -0.536903407779377 + 0.0*i,
    0.0129861013309864 + 0.0*i,
    0.563294417331187 + 0.0*i,
    -0.937156682723723 + 0.0*i,
    0.145733978901218 + 0.0*i,
    -1.04855656205856 + 0.0*i,
    0.0789835099315074 + 0.0*i,
    -0.251510615710233 + 0.0*i,
    -0.30886162371998 + 0.0*i,
    0.0611165957345784 + 0.0*i,
    -0.0546642316158242 + 0.0*i,
    -0.353719822598804 + 0.0*i,
    -0.723869037286406 + 0.0*i,
    -0.312164389516649 + 0.0*i,
    -0.198839917778865 + 0.0*i,
    -0.017609555696894 + 0.0*i,
    0.0796626221636017 + 0.0*i,
    0.950162800437107 + 0.0*i,
    -0.155249075286271 + 0.0*i,
    -0.59852037558873 + 0.0*i,
    -0.0950087631312666 + 0.0*i,
    -0.621647126517647 + 0.0*i,
    0.856079844572147 + 0.0*i,
    0.0592316499922103 + 0.0*i,
    0.453387053102857 + 0.0*i,
    -0.681503347646604 + 0.0*i,
    0.242864909389689 + 0.0*i,
    0.252564938353955 + 0.0*i,
    -0.0454842190320891 + 0.0*i,
    0.498705779626423 + 0.0*i,
    -0.316869043484663 + 0.0*i,
    -0.284903714620523 + 0.0*i,
    0.455067646405676 + 0.0*i,
    0.486335825958069 + 0.0*i,
    0.160826413534881 + 0.0*i,
    0.896939875768337 + 0.0*i,
    0.0937855890409662 + 0.0*i,
    -0.915790839669788 + 0.0*i,
    0.328437105431658 + 0.0*i,
    -0.825843495088133 + 0.0*i,
    -0.325941039599893 + 0.0*i,
    0.593779728010365 + 0.0*i,
    0.266047562339131 + 0.0*i,
    -0.266395908093211 + 0.0*i,
    -0.21191040932889 + 0.0*i,
    0.13441175921155 + 0.0*i,
    1.07526171512195 + 0.0*i,
    -0.163894986894446 + 0.0*i,
    0.407395483702471 + 0.0*i,
    -0.593997401237792 + 0.0*i,
    0.355859414076446 + 0.0*i,
    -0.479214987582039 + 0.0*i,
    0.301245632811828 + 0.0*i,
    0.318460646528516 + 0.0*i,
    0.882684356708024 + 0.0*i,
    -0.37655056425756 + 0.0*i,
    0.115590646995363 + 0.0*i,
    0.99803623961898 + 0.0*i,
    0.050227072639701 + 0.0*i,
    -0.135137881957994 + 0.0*i,
    0.268157290448086 + 0.0*i,
    -0.255256296028633 + 0.0*i,
    -0.594689284625746 + 0.0*i,
    -0.136217057056561 + 0.0*i,
    0.447515175244143 + 0.0*i,
    -0.285100253401199 + 0.0*i,
    -0.161309936660486 + 0.0*i,
    -0.699043453755826 + 0.0*i,
    0.0977708539544121 + 0.0*i,
    0.210020954341801 + 0.0*i,
    0.575293879783589 + 0.0*i,
    -0.00971221719071108 + 0.0*i,
    -0.806646716340288 + 0.0*i,
    0.260630117438013 + 0.0*i,
    -0.0588450651694098 + 0.0*i,
    0.248966317484869 + 0.0*i,
    0.74779782298577 + 0.0*i,
    -0.607329370307685 + 0.0*i,
    -0.175738471005538 + 0.0*i,
    1.00989323332546 + 0.0*i,
    1.07669419592931 + 0.0*i,
    -0.364025406336058 + 0.0*i,
    0.411365625786148 + 0.0*i,
    0.678233583883792 + 0.0*i,
    -0.790233351245422 + 0.0*i,
    0.322219426133676 + 0.0*i,
    -0.692157530126038 + 0.0*i,
    -0.169692834657161 + 0.0*i,
    0.38320251042919 + 0.0*i,
    0.787048349484615 + 0.0*i,
    0.286550308843825 + 0.0*i,
    -0.0662044589744893 + 0.0*i,
    -0.31914164885845 + 0.0*i,
    0.33736742715427 + 0.0*i,
    -0.655834512618362 + 0.0*i,
    -0.143144976022684 + 0.0*i
]);