V:=Matrix(CC,4,94,[
    -0.278036536757196 + 0.0*i,
    -0.137830168849611 + 0.0*i,
    -0.133027572209908 + 0.0*i,
    -0.224076213499888 + 0.0*i,
    -0.303644322215791 + 0.0*i,
    -0.0170413130066257 + 0.0*i,
    -0.794734859498556 + 0.0*i,
    -0.892652824735516 + 0.0*i,
    0.458810564261663 + 0.0*i,
    -0.69587542409518 + 0.0*i,
    0.276415543968322 + 0.0*i,
    -0.636229557379424 + 0.0*i,
    -0.631565173843458 + 0.0*i,
    0.00679487551708078 + 0.0*i,
    0.641175634753045 + 0.0*i,
    0.304391526834049 + 0.0*i,
    -0.368353675511637 + 0.0*i,
    -0.292454720663493 + 0.0*i,
    0.303506427803494 + 0.0*i,
    -0.137189290412052 + 0.0*i,
    0.222663869596222 + 0.0*i,
    -0.206502909367693 + 0.0*i,
    0.181054274628911 + 0.0*i,
    -1.07693396494698 + 0.0*i,
    -0.724896576931652 + 0.0*i,
    -0.714240892954661 + 0.0*i,
    -0.823634274881085 + 0.0*i,
    -0.761462512047317 + 0.0*i,
    0.152399257067487 + 0.0*i,
    1.3019191958137 + 0.0*i,
    0.0565275565104576 + 0.0*i,
    0.299167534178576 + 0.0*i,
    -0.352419995083913 + 0.0*i,
    -0.223275088092208 + 0.0*i,
    0.429196088754152 + 0.0*i,
    -0.806760890179586 + 0.0*i,
    -0.201096988101523 + 0.0*i,
    0.211037141487738 + 0.0*i,
    0.36576344321853 + 0.0*i,
    -0.749463906796137 + 0.0*i,
    0.97069230133733 + 0.0*i,
    0.451329226231611 + 0.0*i,
    -0.170346378354712 + 0.0*i,
    0.568338243816365 + 0.0*i,
    -0.375597171806648 + 0.0*i,
    -0.296059586882649 + 0.0*i,
    0.726326090441165 + 0.0*i,
    0.529917180241181 + 0.0*i,
    -0.388539527631075 + 0.0*i,
    0.878338884539464 + 0.0*i,
    0.194207301797306 + 0.0*i,
    -0.311739510454116 + 0.0*i,
    -0.0969142074355635 + 0.0*i,
    0.442321155397217 + 0.0*i,
    0.653885155779323 + 0.0*i,
    -0.856866477698383 + 0.0*i,
    -0.226336410637003 + 0.0*i,
    0.0415319890873629 + 0.0*i,
    -0.11515695063462 + 0.0*i,
    0.621590691161305 + 0.0*i,
    -0.206079523104031 + 0.0*i,
    0.102183515526736 + 0.0*i,
    0.35098142328979 + 0.0*i,
    -0.174128964813212 + 0.0*i,
    0.377986030791233 + 0.0*i,
    -0.866560763321456 + 0.0*i,
    -0.585527140464442 + 0.0*i,
    -0.264081819580745 + 0.0*i,
    0.0550669017120627 + 0.0*i,
    -0.305180168619745 + 0.0*i,
    -0.429989954802648 + 0.0*i,
    -0.19364712448638 + 0.0*i,
    0.135171816057555 + 0.0*i,
    0.0325112492104302 + 0.0*i,
    -0.0114094003296082 + 0.0*i,
    -0.511513639223198 + 0.0*i,
    -0.877339901091013 + 0.0*i,
    -1.14264726947849 + 0.0*i,
    -0.168835710714595 + 0.0*i,
    0.051100789212696 + 0.0*i,
    -0.949443121695794 + 0.0*i,
    -0.156171510829127 + 0.0*i,
    -0.474369859306451 + 0.0*i,
    -0.193021264551495 + 0.0*i,
    -0.313550741563931 + 0.0*i,
    0.190822240355957 + 0.0*i,
    1.11239280398797 + 0.0*i,
    -0.727155803271625 + 0.0*i,
    -0.402311517213779 + 0.0*i,
    0.125127230506163 + 0.0*i,
    -0.611550528003902 + 0.0*i,
    0.772926367164295 + 0.0*i,
    0.091707960506284 + 0.0*i,
    0.339863798245678 + 0.0*i,
    -1.04724689823638 + 0.0*i,
    0.432822684868582 + 0.0*i,
    -0.161544108863872 + 0.0*i,
    0.722889393163517 + 0.0*i,
    -1.14178181379369 + 0.0*i,
    0.00331491194515209 + 0.0*i,
    0.655199513132525 + 0.0*i,
    -0.167883449517243 + 0.0*i,
    -0.566458703345875 + 0.0*i,
    0.245216638318598 + 0.0*i,
    -0.208313374234639 + 0.0*i,
    -0.458906698582549 + 0.0*i,
    0.460270294082811 + 0.0*i,
    -0.583248159516853 + 0.0*i,
    -0.167907959294593 + 0.0*i,
    -0.181431239713425 + 0.0*i,
    0.0658462076710352 + 0.0*i,
    0.236476136071319 + 0.0*i,
    -0.170640406540628 + 0.0*i,
    0.540722803492986 + 0.0*i,
    0.00155058537533128 + 0.0*i,
    0.22676304753779 + 0.0*i,
    0.195618619019296 + 0.0*i,
    0.262747878866778 + 0.0*i,
    0.757739622915569 + 0.0*i,
    -0.415233494719718 + 0.0*i,
    0.463603249007321 + 0.0*i,
    0.0314466725066457 + 0.0*i,
    -0.214036606776002 + 0.0*i,
    -0.319038758482246 + 0.0*i,
    0.178075270013523 + 0.0*i,
    0.222136542942658 + 0.0*i,
    0.0941385752253589 + 0.0*i,
    0.122786057888568 + 0.0*i,
    0.0486247983134118 + 0.0*i,
    -0.557034523906248 + 0.0*i,
    -0.0107907351823149 + 0.0*i,
    0.343639631701005 + 0.0*i,
    0.460073602830759 + 0.0*i,
    -0.722968906498683 + 0.0*i,
    -0.327613153854695 + 0.0*i,
    0.0938650384322572 + 0.0*i,
    -0.118349123208306 + 0.0*i,
    -0.475871752734183 + 0.0*i,
    0.435281192715552 + 0.0*i,
    -0.760764375198636 + 0.0*i,
    1.13537729703964 + 0.0*i,
    -0.203028973371984 + 0.0*i,
    0.302534742180215 + 0.0*i,
    0.0406527767770798 + 0.0*i,
    -0.707982961664879 + 0.0*i,
    0.519000211971119 + 0.0*i,
    -0.332466240609403 + 0.0*i,
    0.533355060066509 + 0.0*i,
    0.197515835710612 + 0.0*i,
    0.437533039845378 + 0.0*i,
    -0.6192852028305 + 0.0*i,
    -0.455717388032854 + 0.0*i,
    0.483306075602133 + 0.0*i,
    -0.0136461321012393 + 0.0*i,
    0.338063504001265 + 0.0*i,
    0.165886141246062 + 0.0*i,
    0.79427032833675 + 0.0*i,
    -0.098674689424933 + 0.0*i,
    -0.368372776524552 + 0.0*i,
    0.281728963175367 + 0.0*i,
    0.446140245291098 + 0.0*i,
    0.552432489973961 + 0.0*i,
    1.05802202254844 + 0.0*i,
    0.422588198579787 + 0.0*i,
    1.04471809175893 + 0.0*i,
    0.170518502774239 + 0.0*i,
    -0.52784071401986 + 0.0*i,
    0.0163994476378999 + 0.0*i,
    -0.447041617004853 + 0.0*i,
    -0.0396483931835526 + 0.0*i,
    -0.509977594149815 + 0.0*i,
    0.291849811191128 + 0.0*i,
    -0.403997831803629 + 0.0*i,
    0.543935873994205 + 0.0*i,
    -0.186933046743338 + 0.0*i,
    -0.284631722993861 + 0.0*i,
    -0.374542920849543 + 0.0*i,
    0.202549564907915 + 0.0*i,
    1.32161534316632 + 0.0*i,
    0.426762189197827 + 0.0*i,
    0.544439870145494 + 0.0*i,
    0.0595450799426079 + 0.0*i,
    -0.970789078741875 + 0.0*i,
    -0.0362985200265445 + 0.0*i,
    0.866641957335174 + 0.0*i,
    0.479306216365041 + 0.0*i,
    -0.681696609860463 + 0.0*i,
    -0.981841723751876 + 0.0*i,
    -0.454095958651333 + 0.0*i,
    -0.455784418257272 + 0.0*i,
    0.553557763952004 + 0.0*i,
    0.908118411796021 + 0.0*i,
    -0.468338425009097 + 0.0*i,
    -0.568671356410399 + 0.0*i,
    0.688718542231208 + 0.0*i,
    -0.200654135515233 + 0.0*i,
    0.710736055857017 + 0.0*i,
    -0.601796326529369 + 0.0*i,
    -0.141874753766454 + 0.0*i,
    -0.17597113574781 + 0.0*i,
    -0.548419953579691 + 0.0*i,
    -0.738658531035062 + 0.0*i,
    0.56123867383188 + 0.0*i,
    -1.17337594925833 + 0.0*i,
    0.144915374592267 + 0.0*i,
    -0.34079736701867 + 0.0*i,
    0.335667887734095 + 0.0*i,
    0.239748126699643 + 0.0*i,
    -0.213527881516281 + 0.0*i,
    -0.622256528762529 + 0.0*i,
    0.319487586412234 + 0.0*i,
    0.433728145275195 + 0.0*i,
    -0.267418027331577 + 0.0*i,
    0.155952841514374 + 0.0*i,
    -0.246304931515557 + 0.0*i,
    0.483777575444152 + 0.0*i,
    -0.684728806931671 + 0.0*i,
    0.488262151121021 + 0.0*i,
    -0.10214716811891 + 0.0*i,
    0.0457923580662892 + 0.0*i,
    0.869948899443175 + 0.0*i,
    -0.131371357390463 + 0.0*i,
    -0.162462503253567 + 0.0*i,
    0.139134566598535 + 0.0*i,
    -0.477508906547224 + 0.0*i,
    -0.129060933562195 + 0.0*i,
    0.0458734704650967 + 0.0*i,
    -0.00325392160904199 + 0.0*i,
    0.154112881302327 + 0.0*i,
    0.894118669647219 + 0.0*i,
    -0.306880691060178 + 0.0*i,
    0.483372221844844 + 0.0*i,
    0.367614881034207 + 0.0*i,
    -0.535866721210066 + 0.0*i,
    -0.884606442693772 + 0.0*i,
    -0.0491574179031139 + 0.0*i,
    -0.238082944116064 + 0.0*i,
    0.173471562212414 + 0.0*i,
    -0.667296104450624 + 0.0*i,
    -0.433555518837525 + 0.0*i,
    -0.191210998225473 + 0.0*i,
    0.5950065624348 + 0.0*i,
    -0.20434112380808 + 0.0*i,
    0.711758479454836 + 0.0*i,
    -0.203716080385809 + 0.0*i,
    0.498360653046635 + 0.0*i,
    -0.317384981583144 + 0.0*i,
    1.52509625088868 + 0.0*i,
    0.352919740324128 + 0.0*i,
    0.245192960498979 + 0.0*i,
    -0.00434263928780554 + 0.0*i,
    -0.790795437786092 + 0.0*i,
    0.746689451570648 + 0.0*i,
    -0.0636703665904364 + 0.0*i,
    0.034093539035061 + 0.0*i,
    -0.517424311217021 + 0.0*i,
    -0.380823599735099 + 0.0*i,
    0.139375925434719 + 0.0*i,
    0.330658399476151 + 0.0*i,
    -0.271038478236484 + 0.0*i,
    -0.95341255025242 + 0.0*i,
    -0.257315542575832 + 0.0*i,
    0.317010095361106 + 0.0*i,
    0.227194281417089 + 0.0*i,
    -0.163146465712497 + 0.0*i,
    -0.665666418732741 + 0.0*i,
    -0.710613467484984 + 0.0*i,
    0.250752617109652 + 0.0*i,
    -0.468585243297784 + 0.0*i,
    0.067026754638939 + 0.0*i,
    -0.243624565358213 + 0.0*i,
    -0.372179676100704 + 0.0*i,
    -0.360510953334984 + 0.0*i,
    -0.27620040219708 + 0.0*i,
    -0.425430968717577 + 0.0*i,
    -0.0602923801957628 + 0.0*i,
    0.380086515806744 + 0.0*i,
    0.186021868493255 + 0.0*i,
    0.0384576076884948 + 0.0*i,
    0.162111439590586 + 0.0*i,
    -0.416239161571391 + 0.0*i,
    0.110717027098664 + 0.0*i,
    0.353884184629276 + 0.0*i,
    0.267615545299707 + 0.0*i,
    -0.513621760748093 + 0.0*i,
    0.453551456781134 + 0.0*i,
    -0.318137980732476 + 0.0*i,
    1.20075565038042 + 0.0*i,
    0.326690757153932 + 0.0*i,
    0.223778101144939 + 0.0*i,
    0.719537347862196 + 0.0*i,
    0.569295998245203 + 0.0*i,
    -0.385668597306509 + 0.0*i,
    0.929995229116004 + 0.0*i,
    -0.0605835872605917 + 0.0*i,
    0.206718165705819 + 0.0*i,
    0.0291848882538609 + 0.0*i,
    -0.0687732254224677 + 0.0*i,
    -0.195970618648383 + 0.0*i,
    0.0607090346743833 + 0.0*i,
    -0.131895174050083 + 0.0*i,
    -0.329871370502048 + 0.0*i,
    -0.433838820183075 + 0.0*i,
    0.17317945345054 + 0.0*i,
    0.149963533969286 + 0.0*i,
    0.91762573930936 + 0.0*i,
    0.0147726112306344 + 0.0*i,
    -0.423158635549902 + 0.0*i,
    0.393437314049876 + 0.0*i,
    -0.731180631449795 + 0.0*i,
    0.45010497638616 + 0.0*i,
    -0.0529003933160082 + 0.0*i,
    -0.681784983553645 + 0.0*i,
    0.219702449235191 + 0.0*i,
    0.815991277173716 + 0.0*i,
    0.143049755080305 + 0.0*i,
    0.859883597716545 + 0.0*i,
    0.491487402894639 + 0.0*i,
    -0.401021714471103 + 0.0*i,
    0.00315138846370131 + 0.0*i,
    0.219071008304873 + 0.0*i,
    0.425660896350389 + 0.0*i,
    0.0397189869936512 + 0.0*i,
    0.521520433486343 + 0.0*i,
    -0.0170130129782126 + 0.0*i,
    0.403821197904143 + 0.0*i,
    0.979779028717254 + 0.0*i,
    0.27529725522128 + 0.0*i,
    0.734820842842558 + 0.0*i,
    1.18814237387204 + 0.0*i,
    -0.315142642797915 + 0.0*i,
    -0.469669433029837 + 0.0*i,
    0.106902076519319 + 0.0*i,
    0.573116997283032 + 0.0*i,
    0.86158114016579 + 0.0*i,
    1.0278763662324 + 0.0*i,
    0.672351251028625 + 0.0*i,
    -0.0693336087660491 + 0.0*i,
    -0.841143053600705 + 0.0*i,
    -0.547521742453495 + 0.0*i,
    -0.320111914285995 + 0.0*i,
    -0.0608584087152978 + 0.0*i,
    0.216730259291203 + 0.0*i,
    0.398804325604905 + 0.0*i,
    -0.416278245023795 + 0.0*i,
    -0.199908264813275 + 0.0*i,
    0.157897288801636 + 0.0*i,
    0.319361195228339 + 0.0*i,
    -0.0238871469480988 + 0.0*i,
    -0.362005200611891 + 0.0*i,
    -0.591694794247789 + 0.0*i,
    -0.549666503007332 + 0.0*i,
    0.151846322997328 + 0.0*i,
    0.444025543603227 + 0.0*i,
    0.621823602355342 + 0.0*i,
    -0.0153583411243131 + 0.0*i,
    0.884009900633197 + 0.0*i,
    -0.618842495864858 + 0.0*i,
    0.203514552220545 + 0.0*i,
    -0.26473608470463 + 0.0*i,
    0.604260910052364 + 0.0*i,
    -0.0820555909070986 + 0.0*i,
    0.391161985917519 + 0.0*i,
    -0.583737829983018 + 0.0*i,
    0.275553270487941 + 0.0*i,
    0.748061239383946 + 0.0*i,
    0.00306374277993832 + 0.0*i,
    -1.09070033207364 + 0.0*i,
    -0.213342703556513 + 0.0*i,
    0.124369997747476 + 0.0*i,
    -0.198082603841677 + 0.0*i,
    0.415863409410529 + 0.0*i,
    -0.8066659447491 + 0.0*i,
    -0.0727983045688506 + 0.0*i,
    0.521718746731271 + 0.0*i,
    -0.175052942523094 + 0.0*i
]);