V:=Matrix(CC,4,57,[
    0.371577891481122 + 0.0*i,
    0.0301720048032459 + 0.0*i,
    -0.0607165645570392 + 0.0*i,
    -0.0139783159951518 + 0.0*i,
    -0.283511328072424 + 0.0*i,
    0.21038768215022 + 0.0*i,
    -0.296969719133845 + 0.0*i,
    0.23157714908579 + 0.0*i,
    0.201941765986722 + 0.0*i,
    0.0281817911841108 + 0.0*i,
    0.0944085408387876 + 0.0*i,
    -0.0285742824216099 + 0.0*i,
    0.00361931204378477 + 0.0*i,
    0.302806534603471 + 0.0*i,
    0.130459153410943 + 0.0*i,
    0.060712119895394 + 0.0*i,
    -0.383977230300702 + 0.0*i,
    -0.180217279743653 + 0.0*i,
    0.0653172536467167 + 0.0*i,
    0.247531124139177 + 0.0*i,
    0.320975774405469 + 0.0*i,
    -0.0447276478380916 + 0.0*i,
    -0.0410923941220839 + 0.0*i,
    0.21190594400212 + 0.0*i,
    0.11839103823683 + 0.0*i,
    0.142078289908866 + 0.0*i,
    -0.0504336769391514 + 0.0*i,
    0.171603965357699 + 0.0*i,
    -0.221574610584821 + 0.0*i,
    0.136928377190555 + 0.0*i,
    0.0969293773792027 + 0.0*i,
    0.183109023263048 + 0.0*i,
    -0.0972796350072782 + 0.0*i,
    -0.219071023971541 + 0.0*i,
    -0.100202517358016 + 0.0*i,
    -0.197709938156921 + 0.0*i,
    0.346102098690638 + 0.0*i,
    -0.313905388434118 + 0.0*i,
    -0.0537509933018399 + 0.0*i,
    -0.00468434184587724 + 0.0*i,
    0.403795310882027 + 0.0*i,
    0.354415760169065 + 0.0*i,
    -0.414479875753411 + 0.0*i,
    -0.399335579719139 + 0.0*i,
    0.116781714004177 + 0.0*i,
    -0.122594051464325 + 0.0*i,
    0.0638099832827478 + 0.0*i,
    -0.210344933383403 + 0.0*i,
    -0.322364461094408 + 0.0*i,
    0.159878876621895 + 0.0*i,
    -0.254899211715824 + 0.0*i,
    -0.0846681449181166 + 0.0*i,
    0.297133642465369 + 0.0*i,
    -0.264098177135954 + 0.0*i,
    0.18289985381995 + 0.0*i,
    -0.228625837070984 + 0.0*i,
    0.203679305900007 + 0.0*i,
    0.0202498765476709 + 0.0*i,
    0.183919063025155 + 0.0*i,
    -0.110126588114621 + 0.0*i,
    0.170466077534287 + 0.0*i,
    -0.283408363636063 + 0.0*i,
    0.244689474091992 + 0.0*i,
    0.29283729874503 + 0.0*i,
    -0.104370430994554 + 0.0*i,
    0.231942811107476 + 0.0*i,
    0.104930310374376 + 0.0*i,
    -0.41202841765082 + 0.0*i,
    0.344790078514947 + 0.0*i,
    0.351628910782864 + 0.0*i,
    0.07836964785847 + 0.0*i,
    -0.349989424034688 + 0.0*i,
    0.148620438243111 + 0.0*i,
    -0.113600192954425 + 0.0*i,
    0.0509405153049735 + 0.0*i,
    0.426024219164283 + 0.0*i,
    0.115154902512387 + 0.0*i,
    -0.205287516256306 + 0.0*i,
    -0.239975180042965 + 0.0*i,
    0.169993857980806 + 0.0*i,
    -0.0449946762446771 + 0.0*i,
    -0.0392429272284352 + 0.0*i,
    0.287208582695668 + 0.0*i,
    0.274669473778386 + 0.0*i,
    -0.254246923464457 + 0.0*i,
    -0.199231267613664 + 0.0*i,
    -0.281365433855278 + 0.0*i,
    0.348574719667943 + 0.0*i,
    -0.0164884675019607 + 0.0*i,
    -0.363085360249409 + 0.0*i,
    0.205610427135882 + 0.0*i,
    0.270508716151997 + 0.0*i,
    -0.153127448833864 + 0.0*i,
    -0.125383840809788 + 0.0*i,
    -0.272217696422584 + 0.0*i,
    -0.00139142002342624 + 0.0*i,
    0.0310570012350969 + 0.0*i,
    0.0621990408428516 + 0.0*i,
    -0.202137342195237 + 0.0*i,
    0.114364867791321 + 0.0*i,
    -0.0849406385872269 + 0.0*i,
    0.100008530376438 + 0.0*i,
    0.165850680135651 + 0.0*i,
    0.035032725413981 + 0.0*i,
    0.321426500822206 + 0.0*i,
    0.111996121190592 + 0.0*i,
    -0.201929065947569 + 0.0*i,
    -0.195160496132241 + 0.0*i,
    -0.252649888771225 + 0.0*i,
    0.0329984244766608 + 0.0*i,
    0.0402296606977504 + 0.0*i,
    -0.362130162176304 + 0.0*i,
    0.0199742709875936 + 0.0*i,
    0.365189369048128 + 0.0*i,
    0.214031015503044 + 0.0*i,
    0.377683772992643 + 0.0*i,
    -0.28840331653696 + 0.0*i,
    -0.318865834266548 + 0.0*i,
    0.085729012344616 + 0.0*i,
    -0.100165775492108 + 0.0*i,
    0.0551581702027581 + 0.0*i,
    -0.331771203520985 + 0.0*i,
    0.222114576871344 + 0.0*i,
    -0.412434438720301 + 0.0*i,
    -0.0823485341923317 + 0.0*i,
    -0.189600172209188 + 0.0*i,
    0.0926334211676157 + 0.0*i,
    -0.164720697250929 + 0.0*i,
    0.0308273147778317 + 0.0*i,
    -0.0296741514271441 + 0.0*i,
    0.172880194958921 + 0.0*i,
    0.22415727001782 + 0.0*i,
    -0.0917837527713678 + 0.0*i,
    -0.317567467335932 + 0.0*i,
    0.131267644836581 + 0.0*i,
    -0.326541064239877 + 0.0*i,
    0.0505471525788234 + 0.0*i,
    0.283342039557244 + 0.0*i,
    -0.393406245911775 + 0.0*i,
    -0.286604202603 + 0.0*i,
    -0.27612304230531 + 0.0*i,
    -0.224985753023742 + 0.0*i,
    -0.309154748586241 + 0.0*i,
    -0.279479764128389 + 0.0*i,
    0.0989595561567798 + 0.0*i,
    0.388822152411715 + 0.0*i,
    -0.211395007510644 + 0.0*i,
    -0.307691387420104 + 0.0*i,
    -0.0787569991630464 + 0.0*i,
    0.298930357725418 + 0.0*i,
    -0.142182993725374 + 0.0*i,
    -0.109427009768149 + 0.0*i,
    0.330911150267684 + 0.0*i,
    -0.11755300748597 + 0.0*i,
    0.0136888305373691 + 0.0*i,
    0.143292625232238 + 0.0*i,
    0.0461533731052101 + 0.0*i,
    -0.103529515315913 + 0.0*i,
    0.121723853631498 + 0.0*i,
    0.222276849565364 + 0.0*i,
    -0.126535889624764 + 0.0*i,
    0.0573645054631753 + 0.0*i,
    0.241173808204003 + 0.0*i,
    0.215164548760955 + 0.0*i,
    -0.127504419210992 + 0.0*i,
    0.189392363904335 + 0.0*i,
    -0.0175097792490733 + 0.0*i,
    -0.0389967676459345 + 0.0*i,
    0.134873706253609 + 0.0*i,
    -0.309235231168456 + 0.0*i,
    -0.0214497624223636 + 0.0*i,
    0.0737105959687018 + 0.0*i,
    -0.120872542144106 + 0.0*i,
    -0.304135558409898 + 0.0*i,
    -0.235694170693321 + 0.0*i,
    -0.140346056546399 + 0.0*i,
    -0.302202606473476 + 0.0*i,
    0.0748696679376411 + 0.0*i,
    0.0936346094371014 + 0.0*i,
    -0.215752827662353 + 0.0*i,
    0.0385138310796898 + 0.0*i,
    -0.00359675698848259 + 0.0*i,
    -0.167845213497894 + 0.0*i,
    -0.229669502361115 + 0.0*i,
    0.261566564640162 + 0.0*i,
    -0.226914616065716 + 0.0*i,
    -0.071448051559443 + 0.0*i,
    0.0355122538455052 + 0.0*i,
    0.300060770613429 + 0.0*i,
    0.062667258756455 + 0.0*i,
    0.0982037843078787 + 0.0*i,
    0.155174827487808 + 0.0*i,
    -0.118186895376076 + 0.0*i,
    0.402867795763196 + 0.0*i,
    0.278339455426877 + 0.0*i,
    -0.123825694960242 + 0.0*i,
    0.0242219781673075 + 0.0*i,
    0.199107129209295 + 0.0*i,
    -0.231302016408336 + 0.0*i,
    -0.0460665553176347 + 0.0*i,
    0.0453392712532147 + 0.0*i,
    0.220393806668787 + 0.0*i,
    0.0567555488589784 + 0.0*i,
    0.0085063314800628 + 0.0*i,
    -0.0515543910602008 + 0.0*i,
    -0.324892928445721 + 0.0*i,
    0.186836108976694 + 0.0*i,
    0.166139513172667 + 0.0*i,
    -0.0259538443159956 + 0.0*i,
    -0.268007891897611 + 0.0*i,
    -0.412311676107923 + 0.0*i,
    0.126803155230493 + 0.0*i,
    -0.10790041067199 + 0.0*i,
    0.0312711784928359 + 0.0*i,
    0.102966111122354 + 0.0*i,
    -0.395959559798634 + 0.0*i,
    -0.309739600853993 + 0.0*i,
    0.409999225082656 + 0.0*i,
    -0.174739944289626 + 0.0*i,
    0.105621697691906 + 0.0*i,
    -0.309974527362481 + 0.0*i,
    -0.263905050391843 + 0.0*i,
    -0.302275948379253 + 0.0*i,
    -0.335249663131861 + 0.0*i,
    -0.362327667309109 + 0.0*i,
    0.00474455295521587 + 0.0*i,
    0.203719414129602 + 0.0*i,
    -0.0909382447524182 + 0.0*i
]);