V:=Matrix(CC,4,96,[
    0.467057076127958 + 0.0*i,
    0.876545050839865 + 0.0*i,
    0.449209743500339 + 0.0*i,
    0.333455403208364 + 0.0*i,
    -0.277253486887467 + 0.0*i,
    -0.130631836374678 + 0.0*i,
    0.11866692403856 + 0.0*i,
    -0.00246851651045748 + 0.0*i,
    0.311147939375739 + 0.0*i,
    0.41631713695466 + 0.0*i,
    0.251170222830249 + 0.0*i,
    0.293869967407893 + 0.0*i,
    0.480321708114853 + 0.0*i,
    0.804477583203181 + 0.0*i,
    -0.563415708597203 + 0.0*i,
    -0.489837546769102 + 0.0*i,
    -0.215482183780949 + 0.0*i,
    -0.309567960121934 + 0.0*i,
    0.791443539400464 + 0.0*i,
    0.276835978529073 + 0.0*i,
    0.878780971814879 + 0.0*i,
    -0.269034485439955 + 0.0*i,
    0.0786716969378534 + 0.0*i,
    -0.467251937365425 + 0.0*i,
    -0.229478147459494 + 0.0*i,
    0.286045544947962 + 0.0*i,
    -0.0220979955766947 + 0.0*i,
    -0.226599238433012 + 0.0*i,
    -0.00929356336984669 + 0.0*i,
    0.549323730572471 + 0.0*i,
    0.0898657300398695 + 0.0*i,
    -0.423073866329076 + 0.0*i,
    0.0795365594714813 + 0.0*i,
    -0.430625535513122 + 0.0*i,
    -0.0394769394094481 + 0.0*i,
    -0.26325537408265 + 0.0*i,
    -0.869509118884829 + 0.0*i,
    -0.747761736008468 + 0.0*i,
    0.256759242841762 + 0.0*i,
    0.0577783614688139 + 0.0*i,
    0.0442762510589798 + 0.0*i,
    0.514773702704438 + 0.0*i,
    0.619320654915144 + 0.0*i,
    0.0424816673526301 + 0.0*i,
    0.485449796152716 + 0.0*i,
    -0.369009796463761 + 0.0*i,
    -0.599356838824762 + 0.0*i,
    -0.521536535098949 + 0.0*i,
    0.245265991242623 + 0.0*i,
    0.197582807645755 + 0.0*i,
    0.546249452018003 + 0.0*i,
    -0.197394160618587 + 0.0*i,
    -0.519282031397243 + 0.0*i,
    -0.386573316057602 + 0.0*i,
    -0.403754219016715 + 0.0*i,
    -1.38020130798243 + 0.0*i,
    0.419577499598284 + 0.0*i,
    0.0538575535382376 + 0.0*i,
    -0.187907345866882 + 0.0*i,
    -0.00149860531571911 + 0.0*i,
    -0.403193346043501 + 0.0*i,
    0.767240211911447 + 0.0*i,
    -0.818585590101965 + 0.0*i,
    0.719094192607016 + 0.0*i,
    0.162935268008187 + 0.0*i,
    -0.351545922194801 + 0.0*i,
    0.238171242468286 + 0.0*i,
    0.150191070885605 + 0.0*i,
    1.40250280502653 + 0.0*i,
    0.63508440563444 + 0.0*i,
    0.534080959935721 + 0.0*i,
    0.982239066307992 + 0.0*i,
    -0.139679170076368 + 0.0*i,
    -0.480216131154764 + 0.0*i,
    -0.274805133424775 + 0.0*i,
    -0.610461519060277 + 0.0*i,
    -0.12351007630417 + 0.0*i,
    0.151182548978293 + 0.0*i,
    -0.387024872339033 + 0.0*i,
    -0.674665451768403 + 0.0*i,
    0.342733899778073 + 0.0*i,
    0.706958611481555 + 0.0*i,
    0.0290222828267499 + 0.0*i,
    -0.180854033666387 + 0.0*i,
    -0.26805372410991 + 0.0*i,
    -0.233132125032858 + 0.0*i,
    0.978353297768528 + 0.0*i,
    -0.467638850916857 + 0.0*i,
    -1.10928014231986 + 0.0*i,
    0.344753955143943 + 0.0*i,
    -0.422838430734515 + 0.0*i,
    0.414833337980319 + 0.0*i,
    0.044565557610525 + 0.0*i,
    0.0978219419533766 + 0.0*i,
    -0.270724538424741 + 0.0*i,
    0.0533879707780298 + 0.0*i,
    -0.0254272076344131 + 0.0*i,
    -0.406013856263363 + 0.0*i,
    -0.264743813904622 + 0.0*i,
    0.721847864808672 + 0.0*i,
    -0.864499684962827 + 0.0*i,
    -0.740840723125033 + 0.0*i,
    0.374649373298552 + 0.0*i,
    0.0308293927225759 + 0.0*i,
    -0.485508669161847 + 0.0*i,
    -0.597758522629159 + 0.0*i,
    1.27888211766068 + 0.0*i,
    -0.0108386461297168 + 0.0*i,
    -0.310536453539764 + 0.0*i,
    -0.207161733426632 + 0.0*i,
    -0.0335578583103411 + 0.0*i,
    -0.225942248327899 + 0.0*i,
    -0.195214893449322 + 0.0*i,
    -0.327261274833502 + 0.0*i,
    -0.15559388801877 + 0.0*i,
    -0.388421651385225 + 0.0*i,
    0.339110458224353 + 0.0*i,
    0.198725954155955 + 0.0*i,
    0.440053109139407 + 0.0*i,
    0.967058635508967 + 0.0*i,
    -1.14903399237313 + 0.0*i,
    0.484353325908969 + 0.0*i,
    -0.453790305342179 + 0.0*i,
    -1.20978002277819 + 0.0*i,
    -0.213257134139222 + 0.0*i,
    -0.00204350626077616 + 0.0*i,
    -0.200783758736727 + 0.0*i,
    0.0521315278238386 + 0.0*i,
    -0.883415572897826 + 0.0*i,
    0.703248549190683 + 0.0*i,
    0.605134488953291 + 0.0*i,
    -0.528801889194486 + 0.0*i,
    0.0576792992366747 + 0.0*i,
    0.163135698778602 + 0.0*i,
    -0.199163530346792 + 0.0*i,
    -0.124220802641605 + 0.0*i,
    0.414829408968756 + 0.0*i,
    -0.699652810969082 + 0.0*i,
    0.0179572583148779 + 0.0*i,
    0.245417591239354 + 0.0*i,
    0.443883325849473 + 0.0*i,
    0.631960499938378 + 0.0*i,
    0.0357394629115087 + 0.0*i,
    -0.745278011594205 + 0.0*i,
    -0.208799936190527 + 0.0*i,
    0.860083120168431 + 0.0*i,
    -0.298223459762698 + 0.0*i,
    0.293186147831817 + 0.0*i,
    0.459880551447728 + 0.0*i,
    0.678482474607416 + 0.0*i,
    0.537689578607242 + 0.0*i,
    -0.525045284430021 + 0.0*i,
    -0.22907620746127 + 0.0*i,
    -0.286598284576268 + 0.0*i,
    0.365191869083828 + 0.0*i,
    -0.0687585641607208 + 0.0*i,
    0.567996359060824 + 0.0*i,
    -0.0258287894873204 + 0.0*i,
    -0.439623902286732 + 0.0*i,
    0.464850860306005 + 0.0*i,
    -0.531365945522659 + 0.0*i,
    -0.624533541631034 + 0.0*i,
    -0.0842142493483556 + 0.0*i,
    0.346664619458186 + 0.0*i,
    0.542831130980967 + 0.0*i,
    0.964111833684545 + 0.0*i,
    -0.598732677763474 + 0.0*i,
    -0.301341004477049 + 0.0*i,
    -0.00428082738725836 + 0.0*i,
    0.242702042001188 + 0.0*i,
    -1.00438829168762 + 0.0*i,
    -0.551060922116152 + 0.0*i,
    0.0299570977894101 + 0.0*i,
    0.180394465688742 + 0.0*i,
    -0.103207160629771 + 0.0*i,
    0.998718644210877 + 0.0*i,
    -0.323172383280354 + 0.0*i,
    0.140272048235269 + 0.0*i,
    0.0428206325288899 + 0.0*i,
    -0.245783836225645 + 0.0*i,
    0.989052057225264 + 0.0*i,
    -1.11180987886163 + 0.0*i,
    0.277591761169415 + 0.0*i,
    -0.0484548895865658 + 0.0*i,
    -0.114599130041718 + 0.0*i,
    -0.503619903516494 + 0.0*i,
    -0.470584352455942 + 0.0*i,
    0.750600367677106 + 0.0*i,
    0.230789823291885 + 0.0*i,
    0.0575795375134656 + 0.0*i,
    0.138071786136993 + 0.0*i,
    1.19965850746014 + 0.0*i,
    -1.33878405551111 + 0.0*i,
    0.065932893826313 + 0.0*i,
    0.361073726526803 + 0.0*i,
    -0.441798852233203 + 0.0*i,
    0.216745081545104 + 0.0*i,
    0.00558109755636348 + 0.0*i,
    -0.0135141078294638 + 0.0*i,
    -0.106103282017088 + 0.0*i,
    -0.107810143259062 + 0.0*i,
    0.498452202294879 + 0.0*i,
    0.743497121464347 + 0.0*i,
    -0.00356863339884835 + 0.0*i,
    0.413448276562824 + 0.0*i,
    0.768421865351382 + 0.0*i,
    0.646416819899623 + 0.0*i,
    -0.116748564004411 + 0.0*i,
    0.90125363847269 + 0.0*i,
    -0.200302384469185 + 0.0*i,
    -0.764768909507373 + 0.0*i,
    0.689090276960636 + 0.0*i,
    0.118241336069166 + 0.0*i,
    0.675301975545513 + 0.0*i,
    0.0415413416125121 + 0.0*i,
    -0.156104032704849 + 0.0*i,
    -0.0606663996351221 + 0.0*i,
    -0.42428574979969 + 0.0*i,
    -0.141148633415813 + 0.0*i,
    -0.787004714574325 + 0.0*i,
    0.153020239758006 + 0.0*i,
    -0.368260185780788 + 0.0*i,
    0.787202586015924 + 0.0*i,
    -1.21959051430732 + 0.0*i,
    -0.509908998716821 + 0.0*i,
    0.0374406562392152 + 0.0*i,
    -0.519302657125916 + 0.0*i,
    -0.617427181443206 + 0.0*i,
    -0.495254809435075 + 0.0*i,
    -0.0996265395543652 + 0.0*i,
    -1.05089877999135 + 0.0*i,
    0.491583723171284 + 0.0*i,
    0.421926066683278 + 0.0*i,
    0.472066837678526 + 0.0*i,
    -0.666141835115231 + 0.0*i,
    0.421856810965695 + 0.0*i,
    0.163688562391256 + 0.0*i,
    -0.167388437290214 + 0.0*i,
    -0.503078592707324 + 0.0*i,
    -0.590505954562313 + 0.0*i,
    0.356686128906681 + 0.0*i,
    -0.282691612779273 + 0.0*i,
    -0.564138699765121 + 0.0*i,
    -0.17688653997302 + 0.0*i,
    0.321535936388578 + 0.0*i,
    -0.46091374990964 + 0.0*i,
    0.395421026445643 + 0.0*i,
    0.284392655265382 + 0.0*i,
    0.0218164320326391 + 0.0*i,
    0.319469807420351 + 0.0*i,
    1.13811873025085 + 0.0*i,
    -0.17371863846561 + 0.0*i,
    0.5894399717063 + 0.0*i,
    -0.173196817740823 + 0.0*i,
    -0.0727155293490121 + 0.0*i,
    -0.188950126515705 + 0.0*i,
    -0.0608403670478451 + 0.0*i,
    -0.308679845603251 + 0.0*i,
    -0.460503933061566 + 0.0*i,
    -0.427722191202692 + 0.0*i,
    -0.743429144951286 + 0.0*i,
    -0.143366910505694 + 0.0*i,
    0.142131585395809 + 0.0*i,
    -0.340492030647463 + 0.0*i,
    1.09646850444831 + 0.0*i,
    0.0260394221102035 + 0.0*i,
    -0.70993914817355 + 0.0*i,
    -0.34347624488914 + 0.0*i,
    0.194491659885822 + 0.0*i,
    0.61909426500312 + 0.0*i,
    0.367316294876984 + 0.0*i,
    -0.368511164852141 + 0.0*i,
    0.382037618098127 + 0.0*i,
    -0.415612828925013 + 0.0*i,
    0.502091359552058 + 0.0*i,
    -0.241059222758443 + 0.0*i,
    0.139731607615419 + 0.0*i,
    0.186090435676604 + 0.0*i,
    0.787036087712983 + 0.0*i,
    0.537600943724752 + 0.0*i,
    -0.0366726387016956 + 0.0*i,
    0.532846253744301 + 0.0*i,
    0.231306654256568 + 0.0*i,
    -0.112171170352543 + 0.0*i,
    0.848446009577259 + 0.0*i,
    -0.766002608475929 + 0.0*i,
    0.303284948597503 + 0.0*i,
    -0.545947777673953 + 0.0*i,
    -0.233251852483936 + 0.0*i,
    0.156399769665044 + 0.0*i,
    0.163570535642534 + 0.0*i,
    0.618542742933732 + 0.0*i,
    -0.239329611216718 + 0.0*i,
    0.166206919115883 + 0.0*i,
    -0.537493691715739 + 0.0*i,
    -0.0127228984039996 + 0.0*i,
    -0.113335431188726 + 0.0*i,
    0.50640961928235 + 0.0*i,
    -0.856804350471617 + 0.0*i,
    0.0837793720306807 + 0.0*i,
    -0.0877920435854431 + 0.0*i,
    0.663138637749544 + 0.0*i,
    -0.877047462670848 + 0.0*i,
    0.089658805411035 + 0.0*i,
    0.376709624125471 + 0.0*i,
    -0.242150476938623 + 0.0*i,
    -0.103414187736015 + 0.0*i,
    1.17769021014213 + 0.0*i,
    -0.406139136888414 + 0.0*i,
    1.04353752780973 + 0.0*i,
    0.534074305640267 + 0.0*i,
    -0.440738993615294 + 0.0*i,
    -0.0458221743106701 + 0.0*i,
    -0.0772276491822855 + 0.0*i,
    -0.669038737264869 + 0.0*i,
    0.0954633327934827 + 0.0*i,
    0.0672369521290955 + 0.0*i,
    0.0984749027277235 + 0.0*i,
    -0.401566231497687 + 0.0*i,
    0.578453009892644 + 0.0*i,
    -0.697753349946123 + 0.0*i,
    0.76023277949628 + 0.0*i,
    -0.151919573014584 + 0.0*i,
    0.0237497795643258 + 0.0*i,
    0.810666594811759 + 0.0*i,
    -0.614347363184989 + 0.0*i,
    -0.185498674504557 + 0.0*i,
    -0.340018835767381 + 0.0*i,
    0.465625624266233 + 0.0*i,
    0.114494087834958 + 0.0*i,
    -0.366130941581851 + 0.0*i,
    0.600438693314808 + 0.0*i,
    1.25283442013753 + 0.0*i,
    -0.782097079338589 + 0.0*i,
    0.775472512475775 + 0.0*i,
    0.0237093043096038 + 0.0*i,
    0.190225093193046 + 0.0*i,
    -0.113918542777311 + 0.0*i,
    0.149548399310532 + 0.0*i,
    -0.112179099544247 + 0.0*i,
    0.616023272613846 + 0.0*i,
    -0.164544724636922 + 0.0*i,
    0.456415474394634 + 0.0*i,
    -0.243080678934603 + 0.0*i,
    0.113885959584136 + 0.0*i,
    -0.69053498477628 + 0.0*i,
    -0.00331628781329864 + 0.0*i,
    0.180868661017734 + 0.0*i,
    -0.479994870761201 + 0.0*i,
    -0.222709525312159 + 0.0*i,
    -0.931241713951312 + 0.0*i,
    -1.13538897882713 + 0.0*i,
    -0.118154932762633 + 0.0*i,
    0.845292792750254 + 0.0*i,
    0.139416557663153 + 0.0*i,
    0.0260846289533128 + 0.0*i,
    0.0173137865230961 + 0.0*i,
    0.109554321404263 + 0.0*i,
    0.429005893799238 + 0.0*i,
    -0.40425080299882 + 0.0*i,
    -0.405463891569889 + 0.0*i,
    -0.0551642543263817 + 0.0*i,
    -0.503246515658232 + 0.0*i,
    -0.0764794202364269 + 0.0*i,
    -0.413433513244996 + 0.0*i,
    0.245909041114663 + 0.0*i,
    0.033387250538753 + 0.0*i,
    0.649510951893981 + 0.0*i,
    0.254442087436895 + 0.0*i,
    -1.05592281379956 + 0.0*i,
    -0.277946299905864 + 0.0*i,
    0.565422966393709 + 0.0*i,
    -0.153742806842417 + 0.0*i,
    0.0153599329258238 + 0.0*i,
    -0.115506561522434 + 0.0*i,
    -0.359818853249117 + 0.0*i,
    0.0065395476704609 + 0.0*i,
    -0.457666765339795 + 0.0*i,
    0.272827640054978 + 0.0*i,
    -0.305144682137259 + 0.0*i,
    0.371052741706899 + 0.0*i,
    -0.0472341670553415 + 0.0*i,
    -0.59752599744091 + 0.0*i,
    -0.626139830807009 + 0.0*i
]);