V:=Matrix(CC,8,23,[
    -0.440578365929343 + 0.0*i,
    0.563888004362937 + 0.0*i,
    0.424604273605901 + 0.0*i,
    0.326871079841919 + 0.0*i,
    0.224992833348911 + 0.0*i,
    -0.399066774651103 + 0.0*i,
    0.255806295186454 + 0.0*i,
    0.108305250549364 + 0.0*i,
    -0.229487936459423 + 0.0*i,
    -0.559891124577019 + 0.0*i,
    -0.208680560301344 + 0.0*i,
    0.521027220095465 + 0.0*i,
    -0.0856024894739637 + 0.0*i,
    0.239445616677491 + 0.0*i,
    0.537171854611047 + 0.0*i,
    0.0310776351199875 + 0.0*i,
    0.210128773037075 + 0.0*i,
    0.375460478288523 + 0.0*i,
    -0.415381638629052 + 0.0*i,
    0.180697589272658 + 0.0*i,
    -0.124344212946946 + 0.0*i,
    -0.535584133185202 + 0.0*i,
    0.413738540007831 + 0.0*i,
    0.605537999831362 + 0.0*i,
    0.0535701065390371 + 0.0*i,
    0.688470144346596 + 0.0*i,
    -0.218998829842936 + 0.0*i,
    -0.354286143350623 + 0.0*i,
    0.291991571205034 + 0.0*i,
    0.286438769349603 + 0.0*i,
    0.0260925190058153 + 0.0*i,
    0.360490441597986 + 0.0*i,
    -0.127233590518813 + 0.0*i,
    0.706942019031942 + 0.0*i,
    0.194476262745994 + 0.0*i,
    0.12527185941756 + 0.0*i,
    -0.0671581510819804 + 0.0*i,
    0.543430756924751 + 0.0*i,
    0.192408314697395 + 0.0*i,
    0.417851512769566 + 0.0*i,
    -0.265996361444293 + 0.0*i,
    -0.060667448188817 + 0.0*i,
    -0.0378524504190637 + 0.0*i,
    -0.372764386398603 + 0.0*i,
    0.518027729107512 + 0.0*i,
    0.163044067680274 + 0.0*i,
    -0.188626353636467 + 0.0*i,
    -0.00665983931427068 + 0.0*i,
    -0.159006899859737 + 0.0*i,
    -0.362356051611469 + 0.0*i,
    -0.336007223815319 + 0.0*i,
    -0.14780769346787 + 0.0*i,
    -0.450195679824116 + 0.0*i,
    0.152402280310858 + 0.0*i,
    0.236701876382397 + 0.0*i,
    -0.201165624727855 + 0.0*i,
    0.396789814946348 + 0.0*i,
    -0.0730960407786307 + 0.0*i,
    0.510955499921937 + 0.0*i,
    -0.511141466267604 + 0.0*i,
    -0.0129519649920039 + 0.0*i,
    -0.106656005275635 + 0.0*i,
    -0.524584073575213 + 0.0*i,
    0.0542668630247137 + 0.0*i,
    -0.208588360208461 + 0.0*i,
    -0.375985627062927 + 0.0*i,
    -0.212149567100625 + 0.0*i,
    -0.323622545427685 + 0.0*i,
    0.873512309096044 + 0.0*i,
    -0.442994159216285 + 0.0*i,
    -0.174171252211026 + 0.0*i,
    -0.132403208878701 + 0.0*i,
    0.192885341864349 + 0.0*i,
    0.071067720642758 + 0.0*i,
    0.065655888187852 + 0.0*i,
    0.698793194663605 + 0.0*i,
    -0.381588961622816 + 0.0*i,
    -0.0400048306400993 + 0.0*i,
    -0.369328328938906 + 0.0*i,
    0.488660750812993 + 0.0*i,
    -0.627687404465152 + 0.0*i,
    -0.231837783020959 + 0.0*i,
    0.137573995372129 + 0.0*i,
    -0.0738406957040424 + 0.0*i,
    -0.779138066789544 + 0.0*i,
    0.234714989587037 + 0.0*i,
    -0.0347589183689186 + 0.0*i,
    -0.494071704702415 + 0.0*i,
    -0.437606594580717 + 0.0*i,
    -0.16863213519105 + 0.0*i,
    0.226454267598791 + 0.0*i,
    -0.0352509930014846 + 0.0*i,
    0.220296117251913 + 0.0*i,
    -0.198453268399733 + 0.0*i,
    -0.516479597869024 + 0.0*i,
    0.540302392873205 + 0.0*i,
    0.40630885174763 + 0.0*i,
    0.43543688374086 + 0.0*i,
    -0.085031647829205 + 0.0*i,
    -0.452189572236186 + 0.0*i,
    0.565771524429472 + 0.0*i,
    0.215655582341258 + 0.0*i,
    0.0800614643217945 + 0.0*i,
    0.108742349082861 + 0.0*i,
    0.322562708175724 + 0.0*i,
    -0.572697816819381 + 0.0*i,
    0.589997737395299 + 0.0*i,
    -0.0894568832834027 + 0.0*i,
    0.237099396027846 + 0.0*i,
    0.537535562489504 + 0.0*i,
    -0.0509321996178533 + 0.0*i,
    0.191293857364937 + 0.0*i,
    -0.025918227729005 + 0.0*i,
    -0.293568934218042 + 0.0*i,
    -0.0381904328811252 + 0.0*i,
    0.034155755358636 + 0.0*i,
    0.633733266958797 + 0.0*i,
    -0.136643199201004 + 0.0*i,
    0.39933214061175 + 0.0*i,
    0.0860689751406216 + 0.0*i,
    0.556409637929914 + 0.0*i,
    0.273527986406281 + 0.0*i,
    -0.344351955535778 + 0.0*i,
    -0.201257014187543 + 0.0*i,
    -0.405544910576316 + 0.0*i,
    0.040452914584327 + 0.0*i,
    0.00248794272240962 + 0.0*i,
    0.671204006171686 + 0.0*i,
    0.146669635065658 + 0.0*i,
    0.127683876951232 + 0.0*i,
    0.239410229952549 + 0.0*i,
    -0.365907680021578 + 0.0*i,
    -0.657192846970059 + 0.0*i,
    0.429888217605897 + 0.0*i,
    -0.434086486416234 + 0.0*i,
    0.219975788118354 + 0.0*i,
    -0.203030140960661 + 0.0*i,
    -0.136967854347263 + 0.0*i,
    0.36165372343435 + 0.0*i,
    -0.403623113420185 + 0.0*i,
    0.126109471622211 + 0.0*i,
    -0.301864028065064 + 0.0*i,
    -0.0505550792208785 + 0.0*i,
    -0.297618361985564 + 0.0*i,
    -0.104523075057725 + 0.0*i,
    -0.703919339816357 + 0.0*i,
    -0.510244277512035 + 0.0*i,
    -0.363193845291171 + 0.0*i,
    0.212802435242699 + 0.0*i,
    -0.0758798747206016 + 0.0*i,
    0.145859029521458 + 0.0*i,
    -0.267195870943786 + 0.0*i,
    0.0846608339493491 + 0.0*i,
    0.0534282960397406 + 0.0*i,
    0.181729702868582 + 0.0*i,
    -0.270745293051503 + 0.0*i,
    -0.459865554498389 + 0.0*i,
    0.607613465708025 + 0.0*i,
    0.544428022075216 + 0.0*i,
    -0.39178447841298 + 0.0*i,
    -0.14029394223862 + 0.0*i,
    -0.160938362360183 + 0.0*i,
    0.208427967020475 + 0.0*i,
    0.112824404307055 + 0.0*i,
    -0.382643563393817 + 0.0*i,
    0.72371004730061 + 0.0*i,
    0.366675559649821 + 0.0*i,
    0.249196452627399 + 0.0*i,
    -0.0593898577365617 + 0.0*i,
    -0.388060675023911 + 0.0*i,
    0.38255888474266 + 0.0*i,
    0.00376827242163422 + 0.0*i,
    -0.5230417791771 + 0.0*i,
    -0.288042703421269 + 0.0*i,
    -0.480221260341241 + 0.0*i,
    0.196799026328219 + 0.0*i,
    0.520665113449003 + 0.0*i,
    -0.479428752634801 + 0.0*i,
    -0.0419601271742493 + 0.0*i,
    -0.360804816099302 + 0.0*i,
    0.194504309547135 + 0.0*i,
    -0.655740982790694 + 0.0*i,
    -0.0673482292409044 + 0.0*i,
    -0.0535465267862188 + 0.0*i
]);