V:=Matrix(CC,4,75,[
    -0.139707250802592 + 0.0*i,
    -0.154268231277319 + 0.0*i,
    0.192351527224617 + 0.0*i,
    -0.02325067328358 + 0.0*i,
    -0.0891774732277696 + 0.0*i,
    0.34481416614185 + 0.0*i,
    -0.256630657788188 + 0.0*i,
    0.0554957605288632 + 0.0*i,
    0.165935732226107 + 0.0*i,
    -0.108041605840145 + 0.0*i,
    0.14008615722045 + 0.0*i,
    -0.269553545416771 + 0.0*i,
    0.251573139185549 + 0.0*i,
    -0.00618052146865905 + 0.0*i,
    -0.0886247764261958 + 0.0*i,
    0.136233693023079 + 0.0*i,
    -0.176396600972019 + 0.0*i,
    -0.0606493282165644 + 0.0*i,
    0.301271674225631 + 0.0*i,
    0.0118130813068705 + 0.0*i,
    -0.12639670895823 + 0.0*i,
    0.0853996794304069 + 0.0*i,
    0.0413840035149831 + 0.0*i,
    0.282026604645003 + 0.0*i,
    -0.132567377857499 + 0.0*i,
    -0.0909079888610139 + 0.0*i,
    -0.133686951156346 + 0.0*i,
    -0.116480411222649 + 0.0*i,
    -0.309290226787983 + 0.0*i,
    0.17172671115625 + 0.0*i,
    0.00047365209728099 + 0.0*i,
    -0.348518906401052 + 0.0*i,
    -0.190205480514402 + 0.0*i,
    -0.276692352335612 + 0.0*i,
    0.0885632483909346 + 0.0*i,
    0.0452790656998746 + 0.0*i,
    0.111771151042488 + 0.0*i,
    -0.285256968702011 + 0.0*i,
    -0.21115547038673 + 0.0*i,
    0.409079497448297 + 0.0*i,
    -0.269450693740113 + 0.0*i,
    0.254880908439222 + 0.0*i,
    -0.378162456636012 + 0.0*i,
    0.395741343083387 + 0.0*i,
    0.0540734073799762 + 0.0*i,
    -0.135914959268306 + 0.0*i,
    0.313968158319781 + 0.0*i,
    -0.24392152920172 + 0.0*i,
    0.0247611524977075 + 0.0*i,
    -0.111066689318016 + 0.0*i,
    -0.0510025415575802 + 0.0*i,
    0.345270338003622 + 0.0*i,
    -0.0728645730042132 + 0.0*i,
    -0.420375028241661 + 0.0*i,
    0.115687000543379 + 0.0*i,
    0.207108332637935 + 0.0*i,
    -0.302071255329376 + 0.0*i,
    0.104940057022323 + 0.0*i,
    -0.357241602253016 + 0.0*i,
    0.0580265122975761 + 0.0*i,
    -0.410600142234718 + 0.0*i,
    -0.304826350224992 + 0.0*i,
    -0.168266208382651 + 0.0*i,
    0.1209046214551 + 0.0*i,
    -0.22306629582246 + 0.0*i,
    0.265728548580292 + 0.0*i,
    0.305319423321859 + 0.0*i,
    -0.0128685581944634 + 0.0*i,
    0.0146280386922926 + 0.0*i,
    0.294041899925283 + 0.0*i,
    0.203528294036552 + 0.0*i,
    -0.143239494845812 + 0.0*i,
    0.131681794721816 + 0.0*i,
    -0.369958817424536 + 0.0*i,
    -0.234306105109872 + 0.0*i,
    -0.0176585163870701 + 0.0*i,
    0.271612412192488 + 0.0*i,
    -0.068228914812103 + 0.0*i,
    0.268336709077406 + 0.0*i,
    -0.0972664377906307 + 0.0*i,
    0.260360273185593 + 0.0*i,
    -0.198384153537672 + 0.0*i,
    0.40282947867396 + 0.0*i,
    0.384499074330453 + 0.0*i,
    0.178701886443969 + 0.0*i,
    -0.0222490696842642 + 0.0*i,
    0.0237113958725491 + 0.0*i,
    0.00749162407919248 + 0.0*i,
    -0.249243034093983 + 0.0*i,
    0.401512883702544 + 0.0*i,
    0.0641738049506322 + 0.0*i,
    0.284432446865769 + 0.0*i,
    -0.170036687945837 + 0.0*i,
    -0.297412724944184 + 0.0*i,
    0.163002137594029 + 0.0*i,
    -0.257690423712441 + 0.0*i,
    0.00280310627714964 + 0.0*i,
    0.0933574943971594 + 0.0*i,
    -0.0590957276728412 + 0.0*i,
    -0.123467083567479 + 0.0*i,
    0.347256272033553 + 0.0*i,
    0.216874352668974 + 0.0*i,
    0.148473093962516 + 0.0*i,
    0.135010373102139 + 0.0*i,
    -0.334549574417087 + 0.0*i,
    -0.43302672327254 + 0.0*i,
    -0.0724341845304974 + 0.0*i,
    0.389978040163193 + 0.0*i,
    -0.0176426281344737 + 0.0*i,
    0.104900317039892 + 0.0*i,
    0.03995968048898 + 0.0*i,
    -0.10803799511239 + 0.0*i,
    -0.0723921735505937 + 0.0*i,
    -0.17725569632436 + 0.0*i,
    0.000901138582038844 + 0.0*i,
    -0.174468747362064 + 0.0*i,
    0.121666710699368 + 0.0*i,
    0.201783492369367 + 0.0*i,
    0.180094822870062 + 0.0*i,
    -0.0376055895704345 + 0.0*i,
    0.133824852274768 + 0.0*i,
    0.187885295502174 + 0.0*i,
    0.191942949042124 + 0.0*i,
    -0.0470142254940599 + 0.0*i,
    -0.13687154635505 + 0.0*i,
    -0.289277794658145 + 0.0*i,
    0.0364140703531084 + 0.0*i,
    -0.34081699495543 + 0.0*i,
    0.0501900641931061 + 0.0*i,
    -0.0170157407380454 + 0.0*i,
    0.260895825241395 + 0.0*i,
    0.18314079000966 + 0.0*i,
    -0.168738646789147 + 0.0*i,
    -0.17353844781405 + 0.0*i,
    -0.305208360910344 + 0.0*i,
    -0.04980502735861 + 0.0*i,
    -0.00036999707353941 + 0.0*i,
    -0.334296311919717 + 0.0*i,
    -0.293911761056151 + 0.0*i,
    -0.345343825240399 + 0.0*i,
    -0.0910811348029772 + 0.0*i,
    -0.237512003272287 + 0.0*i,
    -0.24713750007211 + 0.0*i,
    0.352170641271852 + 0.0*i,
    -0.221485391759111 + 0.0*i,
    0.263482634177383 + 0.0*i,
    0.1122607984791 + 0.0*i,
    0.212015141421035 + 0.0*i,
    0.11812727030054 + 0.0*i,
    -0.320997979464284 + 0.0*i,
    -0.229463994765129 + 0.0*i,
    -0.321771609457517 + 0.0*i,
    -0.340976374496701 + 0.0*i,
    0.228995338710318 + 0.0*i,
    0.380500334465188 + 0.0*i,
    -0.0636609759378362 + 0.0*i,
    0.128341918578537 + 0.0*i,
    0.0673559119323786 + 0.0*i,
    -0.132599741563785 + 0.0*i,
    0.141124548906845 + 0.0*i,
    -0.271921311487145 + 0.0*i,
    0.0096830922714967 + 0.0*i,
    0.203138119861385 + 0.0*i,
    0.339065155823056 + 0.0*i,
    -0.15304391194378 + 0.0*i,
    -0.410081733774635 + 0.0*i,
    0.240121971008761 + 0.0*i,
    0.199168198429607 + 0.0*i,
    0.0808494520330592 + 0.0*i,
    0.353709033325262 + 0.0*i,
    -0.208108662702959 + 0.0*i,
    -0.0378232014133764 + 0.0*i,
    0.378664343526693 + 0.0*i,
    -0.296056816518412 + 0.0*i,
    0.30342623957369 + 0.0*i,
    -0.123915762416314 + 0.0*i,
    -0.240773937386316 + 0.0*i,
    -0.0492676531582029 + 0.0*i,
    0.0589164738059208 + 0.0*i,
    -0.0113925917308674 + 0.0*i,
    -0.0564930915578929 + 0.0*i,
    0.253882542113745 + 0.0*i,
    0.0878440384453249 + 0.0*i,
    -0.308079449689984 + 0.0*i,
    -0.180707446571079 + 0.0*i,
    0.249148903327496 + 0.0*i,
    0.330404289332638 + 0.0*i,
    0.0820892865350362 + 0.0*i,
    -0.0847164304615619 + 0.0*i,
    0.103413488939707 + 0.0*i,
    0.248094910982629 + 0.0*i,
    0.305873185631061 + 0.0*i,
    0.0821825906643782 + 0.0*i,
    -0.0411345778378917 + 0.0*i,
    0.378747376646057 + 0.0*i,
    0.200796598595958 + 0.0*i,
    0.0935731524984046 + 0.0*i,
    -0.164549016146848 + 0.0*i,
    -0.122099935773775 + 0.0*i,
    -0.037105235222435 + 0.0*i,
    0.30073618070528 + 0.0*i,
    0.145719802082979 + 0.0*i,
    0.153381378743531 + 0.0*i,
    0.0255504831637624 + 0.0*i,
    0.421682781992732 + 0.0*i,
    -0.273630192277012 + 0.0*i,
    0.24811347278838 + 0.0*i,
    -0.389541589157664 + 0.0*i,
    -0.18124533128812 + 0.0*i,
    -0.0789201315498849 + 0.0*i,
    0.107066808862297 + 0.0*i,
    0.174671162515155 + 0.0*i,
    0.0716181669731335 + 0.0*i,
    -0.250974433824886 + 0.0*i,
    -0.143139358926904 + 0.0*i,
    0.316675248313316 + 0.0*i,
    0.142735262272156 + 0.0*i,
    0.0398520086196471 + 0.0*i,
    0.259248444235308 + 0.0*i,
    -0.0710022667111528 + 0.0*i,
    0.224068832724886 + 0.0*i,
    -0.0687790267011997 + 0.0*i,
    0.357961446328585 + 0.0*i,
    -0.191726549675063 + 0.0*i,
    -0.0205465725307499 + 0.0*i,
    -0.338829921609052 + 0.0*i,
    -0.042377812871052 + 0.0*i,
    0.171237828193352 + 0.0*i,
    0.275904783566754 + 0.0*i,
    0.156007897826489 + 0.0*i,
    -0.0535989128817992 + 0.0*i,
    -0.251105303630151 + 0.0*i,
    0.152114259300554 + 0.0*i,
    -0.0287842772333719 + 0.0*i,
    0.343638673316363 + 0.0*i,
    -0.309974211056803 + 0.0*i,
    -0.333514968228321 + 0.0*i,
    -0.295869124199182 + 0.0*i,
    -0.113493295733557 + 0.0*i,
    0.0422894065135379 + 0.0*i,
    0.017593128298978 + 0.0*i,
    0.15898072153867 + 0.0*i,
    0.347482576677244 + 0.0*i,
    0.0726618518221759 + 0.0*i,
    -0.188749562113912 + 0.0*i,
    0.259846051476507 + 0.0*i,
    0.414657440346474 + 0.0*i,
    0.205998474698038 + 0.0*i,
    -0.151138533175764 + 0.0*i,
    -0.248844455118572 + 0.0*i,
    -0.228006030773231 + 0.0*i,
    0.266464238271619 + 0.0*i,
    -0.38424613884251 + 0.0*i,
    0.275013481286673 + 0.0*i,
    -0.230313122621937 + 0.0*i,
    0.0862042750619074 + 0.0*i,
    -0.0592185455289315 + 0.0*i,
    -0.0141915008078734 + 0.0*i,
    -0.14651563667538 + 0.0*i,
    0.366053808070526 + 0.0*i,
    -0.350803613694247 + 0.0*i,
    0.23057747718523 + 0.0*i,
    0.316640248450835 + 0.0*i,
    -0.347308172692231 + 0.0*i,
    -0.119161538537194 + 0.0*i,
    0.157965243906489 + 0.0*i,
    -0.124295689884932 + 0.0*i,
    0.0712445308860359 + 0.0*i,
    0.0867393258916979 + 0.0*i,
    -0.20466042827786 + 0.0*i,
    -0.332898117787618 + 0.0*i,
    -0.219836581353177 + 0.0*i,
    -0.26426979925182 + 0.0*i,
    -0.411087769479349 + 0.0*i,
    0.403661524731153 + 0.0*i,
    0.134164580093614 + 0.0*i,
    0.219395323101115 + 0.0*i,
    -0.215728973488837 + 0.0*i,
    -0.11407435398492 + 0.0*i,
    -0.00146956411983557 + 0.0*i,
    0.0795828209203769 + 0.0*i,
    -0.0650444386244804 + 0.0*i,
    -0.0294690743494509 + 0.0*i,
    -0.0236984304202799 + 0.0*i,
    0.295389157356725 + 0.0*i,
    0.0969027649778316 + 0.0*i,
    -0.250801848193052 + 0.0*i,
    0.241006869291855 + 0.0*i,
    0.159573084478528 + 0.0*i,
    0.0623301089780285 + 0.0*i,
    -0.109143659647578 + 0.0*i,
    -0.153843466305965 + 0.0*i,
    -0.352364217682839 + 0.0*i,
    0.0143989490796651 + 0.0*i,
    0.228979267085229 + 0.0*i,
    0.17268748151246 + 0.0*i,
    0.389437888100238 + 0.0*i,
    0.00718571699907098 + 0.0*i,
    -0.0602967674638543 + 0.0*i,
    -0.169708142766146 + 0.0*i
]);