V:=Matrix(CC,4,94,[
    0.179316879279588 + 0.0*i,
    0.0765508771106238 + 0.0*i,
    0.330830362689367 + 0.0*i,
    -0.144459917345642 + 0.0*i,
    -0.0918193944299705 + 0.0*i,
    0.420251583360654 + 0.0*i,
    0.0809751944382738 + 0.0*i,
    0.135560934027217 + 0.0*i,
    0.345736426747041 + 0.0*i,
    -0.300216008088039 + 0.0*i,
    0.153696700370811 + 0.0*i,
    -0.0656632223006035 + 0.0*i,
    -0.356713298968561 + 0.0*i,
    -0.301064822697788 + 0.0*i,
    0.341810835021461 + 0.0*i,
    0.245047607468027 + 0.0*i,
    0.405400913346012 + 0.0*i,
    -0.220117890314803 + 0.0*i,
    0.0335102463083437 + 0.0*i,
    -0.320689015670215 + 0.0*i,
    0.179481378929077 + 0.0*i,
    0.131848647838047 + 0.0*i,
    -0.0316653740147691 + 0.0*i,
    0.0860449641045804 + 0.0*i,
    0.163094368938453 + 0.0*i,
    0.26166092464671 + 0.0*i,
    -0.162269538361055 + 0.0*i,
    0.442996408797168 + 0.0*i,
    -0.259383858297059 + 0.0*i,
    -0.0476925990361541 + 0.0*i,
    -0.0551403943296399 + 0.0*i,
    0.159089373597819 + 0.0*i,
    0.221950419512079 + 0.0*i,
    0.211134278467608 + 0.0*i,
    -0.267275271735428 + 0.0*i,
    0.0332627405820217 + 0.0*i,
    -0.300305243108494 + 0.0*i,
    0.0156345380667181 + 0.0*i,
    -0.0801095312941551 + 0.0*i,
    0.233890424636617 + 0.0*i,
    -0.0403681931434437 + 0.0*i,
    -0.0756880784979169 + 0.0*i,
    0.395618041741793 + 0.0*i,
    0.354782127126113 + 0.0*i,
    0.0617695593249828 + 0.0*i,
    -0.090366871548329 + 0.0*i,
    0.266440106128448 + 0.0*i,
    0.143031318434417 + 0.0*i,
    0.0330991779447618 + 0.0*i,
    -0.164821648894534 + 0.0*i,
    -0.0482895432413274 + 0.0*i,
    -0.22951641838511 + 0.0*i,
    0.293458202211907 + 0.0*i,
    -0.0419842237862693 + 0.0*i,
    0.249211578440503 + 0.0*i,
    -0.332839148323697 + 0.0*i,
    -0.422875098824762 + 0.0*i,
    -0.105503711752845 + 0.0*i,
    0.270429615754475 + 0.0*i,
    -0.00903144318143759 + 0.0*i,
    0.230314678557984 + 0.0*i,
    -0.357857027328536 + 0.0*i,
    0.0327874327500087 + 0.0*i,
    -0.181550967251063 + 0.0*i,
    -0.353371900349338 + 0.0*i,
    -0.219209732614787 + 0.0*i,
    -0.262121731020352 + 0.0*i,
    0.140972047653869 + 0.0*i,
    0.462290786470552 + 0.0*i,
    0.216085698203637 + 0.0*i,
    -0.163979914949632 + 0.0*i,
    0.124093209356525 + 0.0*i,
    -0.35881160286511 + 0.0*i,
    -0.0437878835507417 + 0.0*i,
    -0.128212748911913 + 0.0*i,
    0.042649878645253 + 0.0*i,
    -0.145233104772976 + 0.0*i,
    -0.225633027717116 + 0.0*i,
    -0.111078481843303 + 0.0*i,
    0.142650616526531 + 0.0*i,
    0.163959536072813 + 0.0*i,
    -0.104255871114026 + 0.0*i,
    0.0822667084999018 + 0.0*i,
    0.0112755451832363 + 0.0*i,
    0.336723218878192 + 0.0*i,
    0.147469591519016 + 0.0*i,
    0.431054340217139 + 0.0*i,
    0.407144391601766 + 0.0*i,
    -0.362524491698693 + 0.0*i,
    0.324857889036582 + 0.0*i,
    0.220624598872901 + 0.0*i,
    -0.29826159514255 + 0.0*i,
    0.401149694707987 + 0.0*i,
    -0.24777149739683 + 0.0*i,
    0.419369097905754 + 0.0*i,
    0.00240125363093467 + 0.0*i,
    -0.150640981797694 + 0.0*i,
    -0.405429222189861 + 0.0*i,
    0.0312873789732463 + 0.0*i,
    0.0120030360273679 + 0.0*i,
    0.0730974437819211 + 0.0*i,
    -0.0951315982639413 + 0.0*i,
    0.210531142468586 + 0.0*i,
    0.0625356545797568 + 0.0*i,
    -0.294329166693914 + 0.0*i,
    -0.192369651094868 + 0.0*i,
    0.303450197381006 + 0.0*i,
    -0.0174443066405948 + 0.0*i,
    -0.238889775992651 + 0.0*i,
    -0.188654102818824 + 0.0*i,
    0.0514952567111926 + 0.0*i,
    -0.333426819662559 + 0.0*i,
    0.413713217260847 + 0.0*i,
    -0.332676369275656 + 0.0*i,
    -0.0957212325677602 + 0.0*i,
    0.140946633137314 + 0.0*i,
    -0.304467709456728 + 0.0*i,
    0.113325159388521 + 0.0*i,
    -0.128644885308304 + 0.0*i,
    0.0753453258821697 + 0.0*i,
    0.383061226889682 + 0.0*i,
    0.143215688127857 + 0.0*i,
    -0.186883625831468 + 0.0*i,
    0.288141778726591 + 0.0*i,
    -0.38582096961177 + 0.0*i,
    -0.389017728190884 + 0.0*i,
    -0.390881682697141 + 0.0*i,
    -0.221171319517708 + 0.0*i,
    -0.0702403150016325 + 0.0*i,
    -0.287896348328899 + 0.0*i,
    -0.0138748889422543 + 0.0*i,
    0.274820499143718 + 0.0*i,
    0.0916622048310918 + 0.0*i,
    0.37184292433242 + 0.0*i,
    -0.00795525471883539 + 0.0*i,
    0.312583277098502 + 0.0*i,
    -0.14823251592445 + 0.0*i,
    0.266898332678029 + 0.0*i,
    0.104899342183846 + 0.0*i,
    0.105679352312731 + 0.0*i,
    -0.320748356517642 + 0.0*i,
    -0.253720863111357 + 0.0*i,
    -0.0897244025838867 + 0.0*i,
    0.428961132310778 + 0.0*i,
    -0.412158268786182 + 0.0*i,
    0.281101162953526 + 0.0*i,
    -0.00655309911935316 + 0.0*i,
    -0.239533543988054 + 0.0*i,
    0.158738084075239 + 0.0*i,
    0.0743613483514449 + 0.0*i,
    -0.081848909728378 + 0.0*i,
    -0.0982552732249331 + 0.0*i,
    -0.179006727191835 + 0.0*i,
    -0.471304113005628 + 0.0*i,
    0.0579248706377197 + 0.0*i,
    0.0803921148829842 + 0.0*i,
    0.200754426438404 + 0.0*i,
    0.188724164142008 + 0.0*i,
    0.240351291958634 + 0.0*i,
    -0.292601322845356 + 0.0*i,
    -0.045356736319624 + 0.0*i,
    0.35245835703118 + 0.0*i,
    -0.092087545830853 + 0.0*i,
    0.247695039808326 + 0.0*i,
    0.150458602227447 + 0.0*i,
    -0.256576082938258 + 0.0*i,
    -0.208017832673812 + 0.0*i,
    0.384393550927343 + 0.0*i,
    0.106323530707983 + 0.0*i,
    -0.406944641413739 + 0.0*i,
    -0.191069361124672 + 0.0*i,
    -0.247051316257171 + 0.0*i,
    -0.410868568734702 + 0.0*i,
    0.224780400325936 + 0.0*i,
    -0.389739251395758 + 0.0*i,
    -0.295812611758671 + 0.0*i,
    0.149804117694832 + 0.0*i,
    -0.309680571251084 + 0.0*i,
    0.21660623280502 + 0.0*i,
    -0.0402795283406542 + 0.0*i,
    -0.0732924578554897 + 0.0*i,
    -0.00479652271266277 + 0.0*i,
    0.23341528232165 + 0.0*i,
    0.10368702090217 + 0.0*i,
    0.264633529297048 + 0.0*i,
    0.243861859619944 + 0.0*i,
    0.1582775627272 + 0.0*i,
    -0.334841545883953 + 0.0*i,
    -0.0560839162859251 + 0.0*i,
    0.101768931843647 + 0.0*i,
    0.114331207223892 + 0.0*i,
    0.0765853482240397 + 0.0*i,
    -0.433893023516206 + 0.0*i,
    -0.195531821378121 + 0.0*i,
    0.401726056663373 + 0.0*i,
    0.271210064295914 + 0.0*i,
    0.171574568627121 + 0.0*i,
    -0.0920145789805729 + 0.0*i,
    0.151087576672573 + 0.0*i,
    0.415151183721615 + 0.0*i,
    0.0196802991352432 + 0.0*i,
    -0.301281466865935 + 0.0*i,
    -0.218584652740172 + 0.0*i,
    0.358436549125865 + 0.0*i,
    0.0441108175130271 + 0.0*i,
    0.0647531832345029 + 0.0*i,
    -0.209823257324925 + 0.0*i,
    -0.0169038733146543 + 0.0*i,
    -0.109265940516746 + 0.0*i,
    -0.135964509695677 + 0.0*i,
    0.350541041462827 + 0.0*i,
    -0.360331702992372 + 0.0*i,
    -0.00484895133912385 + 0.0*i,
    -0.163533538954274 + 0.0*i,
    -0.218469086011999 + 0.0*i,
    0.0316455668050676 + 0.0*i,
    -0.128442701079285 + 0.0*i,
    0.261153136497363 + 0.0*i,
    -0.267937966858056 + 0.0*i,
    -0.152381250184885 + 0.0*i,
    0.0172273644556056 + 0.0*i,
    -0.31195721512278 + 0.0*i,
    -0.0905508198257473 + 0.0*i,
    -0.11828142934145 + 0.0*i,
    -0.293975154299926 + 0.0*i,
    -0.208213498208415 + 0.0*i,
    0.420860376703332 + 0.0*i,
    0.134853675318635 + 0.0*i,
    -0.152347051419457 + 0.0*i,
    -0.305560063397082 + 0.0*i,
    0.151501378702635 + 0.0*i,
    -0.0122000169894091 + 0.0*i,
    -0.312432865846246 + 0.0*i,
    0.307168077459897 + 0.0*i,
    0.151567772577547 + 0.0*i,
    -0.365200585169768 + 0.0*i,
    0.458456797723833 + 0.0*i,
    -0.0252315415434551 + 0.0*i,
    0.131982093546601 + 0.0*i,
    0.0906291491669145 + 0.0*i,
    -0.268482324047503 + 0.0*i,
    -0.0370922379627956 + 0.0*i,
    -0.365633031661815 + 0.0*i,
    0.327585147468752 + 0.0*i,
    -0.0849480731641229 + 0.0*i,
    -0.285646938943339 + 0.0*i,
    -0.283285185260083 + 0.0*i,
    -0.0410475198907527 + 0.0*i,
    0.413216620927424 + 0.0*i,
    0.11925299275131 + 0.0*i,
    0.426578554404484 + 0.0*i,
    -0.362137769684853 + 0.0*i,
    -0.185605039460993 + 0.0*i,
    -0.0208306895946609 + 0.0*i,
    0.356914151351328 + 0.0*i,
    0.137175270999168 + 0.0*i,
    0.0122163788406166 + 0.0*i,
    -0.28776852767337 + 0.0*i,
    -0.280074494208734 + 0.0*i,
    0.100622017326156 + 0.0*i,
    0.13896804059126 + 0.0*i,
    0.0457987945664184 + 0.0*i,
    0.232329562113124 + 0.0*i,
    0.0542440238363845 + 0.0*i,
    -0.237907634273183 + 0.0*i,
    0.234937081058235 + 0.0*i,
    -0.135759677206389 + 0.0*i,
    0.357426144821652 + 0.0*i,
    -0.206524900242602 + 0.0*i,
    0.192386822524702 + 0.0*i,
    -0.0486487289170352 + 0.0*i,
    -0.299683838768461 + 0.0*i,
    0.241664626504095 + 0.0*i,
    -0.445293186817981 + 0.0*i,
    -0.0969346409668202 + 0.0*i,
    0.243719589854432 + 0.0*i,
    0.0799399832932684 + 0.0*i,
    -0.0874487128537856 + 0.0*i,
    0.301484144268439 + 0.0*i,
    0.0799289755914289 + 0.0*i,
    -0.184417760459454 + 0.0*i,
    0.217115748551284 + 0.0*i,
    -0.0225998974853658 + 0.0*i,
    -0.460204072430925 + 0.0*i,
    0.285855191881351 + 0.0*i,
    -0.147632691586527 + 0.0*i,
    0.164132115974796 + 0.0*i,
    0.0849789894327171 + 0.0*i,
    0.224062824592963 + 0.0*i,
    0.350692662643132 + 0.0*i,
    0.170610261383783 + 0.0*i,
    0.353129623687475 + 0.0*i,
    0.296949836058136 + 0.0*i,
    -0.104486125459514 + 0.0*i,
    0.03659194024616 + 0.0*i,
    0.208646546872702 + 0.0*i,
    -0.0260259281455966 + 0.0*i,
    -0.0599429624398411 + 0.0*i,
    0.217976158926563 + 0.0*i,
    0.235506735269294 + 0.0*i,
    0.0510613062721327 + 0.0*i,
    -0.0773371382158742 + 0.0*i,
    -0.413239400932516 + 0.0*i,
    -0.409992152223242 + 0.0*i,
    0.105555402383724 + 0.0*i,
    -0.2755671925267 + 0.0*i,
    0.43043788186125 + 0.0*i,
    0.352435375781061 + 0.0*i,
    -0.063232897047267 + 0.0*i,
    0.0281214878131274 + 0.0*i,
    0.328768077023817 + 0.0*i,
    -0.267238577282073 + 0.0*i,
    0.040102278656073 + 0.0*i,
    -0.156877009971137 + 0.0*i,
    0.1352467776761 + 0.0*i,
    -0.185860390610124 + 0.0*i,
    -0.373823930245442 + 0.0*i,
    -0.359529428811509 + 0.0*i,
    -0.221275894771253 + 0.0*i,
    -0.314916925439036 + 0.0*i,
    -0.180302560346994 + 0.0*i,
    -0.0659317000302589 + 0.0*i,
    -0.445599185821138 + 0.0*i,
    0.163336124931165 + 0.0*i,
    -0.149420087737786 + 0.0*i,
    -0.135067190609366 + 0.0*i,
    0.338248754313157 + 0.0*i,
    0.330192092507168 + 0.0*i,
    -0.170017740218358 + 0.0*i,
    0.0384168845931358 + 0.0*i,
    0.0635404539735593 + 0.0*i,
    0.0638516991364404 + 0.0*i,
    0.176393435735153 + 0.0*i,
    -0.282815569226341 + 0.0*i,
    -0.258481277553131 + 0.0*i,
    0.406172113748831 + 0.0*i,
    -0.0650284711606306 + 0.0*i,
    0.045847890078954 + 0.0*i,
    0.169115785659638 + 0.0*i,
    0.349650692854309 + 0.0*i,
    0.194034464141049 + 0.0*i,
    0.0408005764139765 + 0.0*i,
    0.0154420817399944 + 0.0*i,
    -0.270694477043768 + 0.0*i,
    0.0348257861999945 + 0.0*i,
    -0.165582351444337 + 0.0*i,
    -0.0973665802311924 + 0.0*i,
    -0.302223955746643 + 0.0*i,
    -0.170241983846212 + 0.0*i,
    -0.240438069015211 + 0.0*i,
    0.0508347680105654 + 0.0*i,
    0.159410733363538 + 0.0*i,
    0.311723737624652 + 0.0*i,
    -0.364433317432662 + 0.0*i,
    -0.18827016969587 + 0.0*i,
    -0.258568788103963 + 0.0*i,
    -0.379540052403 + 0.0*i,
    -0.223623446360372 + 0.0*i,
    -0.333095110180173 + 0.0*i,
    0.225807366610022 + 0.0*i,
    -0.162982085679101 + 0.0*i,
    -0.168271748943198 + 0.0*i,
    0.0701373305711366 + 0.0*i,
    -0.296806825950577 + 0.0*i,
    0.44051862118834 + 0.0*i,
    -0.1876901443415 + 0.0*i,
    -0.0866633585577111 + 0.0*i,
    -0.0742522019922806 + 0.0*i,
    -0.161594072207982 + 0.0*i,
    0.0311978042808141 + 0.0*i,
    -0.138621494698584 + 0.0*i,
    -0.318731471099106 + 0.0*i,
    0.113100663544756 + 0.0*i,
    0.269822720716455 + 0.0*i,
    -0.0776344989095259 + 0.0*i,
    0.00167631793622476 + 0.0*i
]);