V:=Matrix(CC,8,23,[
    0.805847731192936 + 0.0*i,
    0.13432643255394 + 0.0*i,
    0.455202502165651 + 0.0*i,
    -0.644194170872289 + 0.0*i,
    0.0456007511752951 + 0.0*i,
    -0.0362215788575833 + 0.0*i,
    -0.523198247873111 + 0.0*i,
    -0.378316739297087 + 0.0*i,
    -0.240888054737383 + 0.0*i,
    0.0758249421845311 + 0.0*i,
    -0.0421535499104077 + 0.0*i,
    0.709487024101728 + 0.0*i,
    -0.754737958502071 + 0.0*i,
    -0.002240601179532 + 0.0*i,
    -0.286411889976557 + 0.0*i,
    -0.13271943787711 + 0.0*i,
    -0.0232729636583736 + 0.0*i,
    -0.264829783740689 + 0.0*i,
    0.10559834607383 + 0.0*i,
    -0.230443201233744 + 0.0*i,
    0.11110737350702 + 0.0*i,
    0.326821836343468 + 0.0*i,
    0.359743793994039 + 0.0*i,
    -0.783315950141919 + 0.0*i,
    0.37502523112155 + 0.0*i,
    -0.70205157032911 + 0.0*i,
    -0.261204274305615 + 0.0*i,
    -0.176749596298279 + 0.0*i,
    -0.352868979200381 + 0.0*i,
    -0.477176318321733 + 0.0*i,
    -0.149554057436645 + 0.0*i,
    0.0847087875950403 + 0.0*i,
    0.327426141629427 + 0.0*i,
    0.0593651789607934 + 0.0*i,
    -0.649024943469235 + 0.0*i,
    0.761709083360923 + 0.0*i,
    -0.145663540495796 + 0.0*i,
    -0.306548964183671 + 0.0*i,
    -0.311608491688362 + 0.0*i,
    -0.408051850111118 + 0.0*i,
    0.597514739953481 + 0.0*i,
    0.689057261657438 + 0.0*i,
    0.341753432367787 + 0.0*i,
    0.204123770665245 + 0.0*i,
    -0.119685975959026 + 0.0*i,
    0.538531381609668 + 0.0*i,
    -0.0287186210838552 + 0.0*i,
    -0.181498396263061 + 0.0*i,
    0.463801801815225 + 0.0*i,
    0.00276895877131438 + 0.0*i,
    0.28178520450708 + 0.0*i,
    -0.0581028929480897 + 0.0*i,
    -0.286958877875873 + 0.0*i,
    0.490453007938172 + 0.0*i,
    -0.0357842782039516 + 0.0*i,
    -0.128471459862176 + 0.0*i,
    -0.255887439341926 + 0.0*i,
    -0.0675863208971993 + 0.0*i,
    0.194468989333029 + 0.0*i,
    -0.135807960770891 + 0.0*i,
    0.276837767918149 + 0.0*i,
    -0.364095191289478 + 0.0*i,
    0.0903103778256259 + 0.0*i,
    -0.44618339542648 + 0.0*i,
    0.504027255479962 + 0.0*i,
    -0.15104429234374 + 0.0*i,
    -0.276736945988792 + 0.0*i,
    0.121290341232251 + 0.0*i,
    0.0449450664906022 + 0.0*i,
    -0.235312441195579 + 0.0*i,
    0.295521110824405 + 0.0*i,
    -0.0690906626995213 + 0.0*i,
    0.585146193870994 + 0.0*i,
    -0.172732522607764 + 0.0*i,
    0.141250050706906 + 0.0*i,
    0.570443951237942 + 0.0*i,
    -0.217653398471888 + 0.0*i,
    -0.188000672235101 + 0.0*i,
    -0.269029270823385 + 0.0*i,
    0.149797849044927 + 0.0*i,
    0.286999487206886 + 0.0*i,
    -0.137654893710277 + 0.0*i,
    -0.225899951296509 + 0.0*i,
    0.291351343184675 + 0.0*i,
    -0.0240092409334409 + 0.0*i,
    -0.433977988860975 + 0.0*i,
    -0.177269615049358 + 0.0*i,
    0.100244119049491 + 0.0*i,
    0.248477793290966 + 0.0*i,
    0.19366936549216 + 0.0*i,
    0.0438507520337485 + 0.0*i,
    -0.00284784792853722 + 0.0*i,
    0.0725675231480617 + 0.0*i,
    -0.70350587718514 + 0.0*i,
    0.123696278497434 + 0.0*i,
    0.579531098521152 + 0.0*i,
    -0.218411187735796 + 0.0*i,
    -0.246691030716357 + 0.0*i,
    -0.0596789476403531 + 0.0*i,
    -0.162915042012449 + 0.0*i,
    0.131022587750076 + 0.0*i,
    0.151373527367799 + 0.0*i,
    -0.225595768568984 + 0.0*i,
    -0.202837260845453 + 0.0*i,
    -0.11245187012373 + 0.0*i,
    -0.135398260839722 + 0.0*i,
    -0.58587685347285 + 0.0*i,
    -0.0853306216132504 + 0.0*i,
    0.139219219086558 + 0.0*i,
    0.819846687540262 + 0.0*i,
    0.203563275434354 + 0.0*i,
    0.135354733668656 + 0.0*i,
    0.347368320028557 + 0.0*i,
    0.0402043485031035 + 0.0*i,
    -0.377241243696245 + 0.0*i,
    0.211533007622333 + 0.0*i,
    0.537213854591512 + 0.0*i,
    0.546524487543482 + 0.0*i,
    0.43000675305248 + 0.0*i,
    0.260913180365837 + 0.0*i,
    0.469651185020015 + 0.0*i,
    -0.405523724760157 + 0.0*i,
    0.262713667335963 + 0.0*i,
    0.0907971675256443 + 0.0*i,
    -0.258933654043404 + 0.0*i,
    -0.0838100737110225 + 0.0*i,
    -0.396979665763821 + 0.0*i,
    -0.350131391698757 + 0.0*i,
    0.234330279662875 + 0.0*i,
    -0.246607430721639 + 0.0*i,
    0.0650297620696662 + 0.0*i,
    0.383826580266275 + 0.0*i,
    0.239546346310029 + 0.0*i,
    0.060285672851374 + 0.0*i,
    -0.144110199540742 + 0.0*i,
    0.187408569958769 + 0.0*i,
    -0.057328218976971 + 0.0*i,
    0.11428956524431 + 0.0*i,
    -0.160402037001655 + 0.0*i,
    -0.302836346485291 + 0.0*i,
    0.191140081814483 + 0.0*i,
    0.297092624233612 + 0.0*i,
    0.298908596957011 + 0.0*i,
    -0.459429006457573 + 0.0*i,
    -0.031223118841742 + 0.0*i,
    -0.638473548260004 + 0.0*i,
    0.0634243088445874 + 0.0*i,
    0.0990165378485741 + 0.0*i,
    -0.340119159428533 + 0.0*i,
    -0.316377595137041 + 0.0*i,
    0.00573852692982804 + 0.0*i,
    -0.0604097419369001 + 0.0*i,
    -0.0782525133248843 + 0.0*i,
    -0.120894585770778 + 0.0*i,
    0.159905132944775 + 0.0*i,
    0.432734472794841 + 0.0*i,
    -0.18861879097895 + 0.0*i,
    -0.626070357493591 + 0.0*i,
    -0.317837474451502 + 0.0*i,
    0.190207440062364 + 0.0*i,
    0.2235428931711 + 0.0*i,
    -0.626281591510807 + 0.0*i,
    0.0152404527983343 + 0.0*i,
    -0.420911999861497 + 0.0*i,
    0.677866157857897 + 0.0*i,
    -0.779106001398566 + 0.0*i,
    -0.57119730164724 + 0.0*i,
    -0.345559678761042 + 0.0*i,
    0.189743380836698 + 0.0*i,
    0.319697272233187 + 0.0*i,
    -0.108183624901558 + 0.0*i,
    -0.756188643165457 + 0.0*i,
    0.00395865895063288 + 0.0*i,
    -0.0527228623305563 + 0.0*i,
    -0.719719247817704 + 0.0*i,
    0.359460490226551 + 0.0*i,
    -0.0660627172490367 + 0.0*i,
    0.474212466288459 + 0.0*i,
    0.767668693729664 + 0.0*i,
    0.302469059976196 + 0.0*i,
    -0.779759786193061 + 0.0*i,
    0.0661836954767186 + 0.0*i,
    0.22483342927882 + 0.0*i,
    -0.526141722312788 + 0.0*i
]);