V:=Matrix(CC,8,25,[
    0.0517509489994898 + 0.0*i,
    -0.0486916273360713 + 0.0*i,
    -0.471687714964948 + 0.0*i,
    0.631665074587165 + 0.0*i,
    0.00528563118591817 + 0.0*i,
    0.752124516288791 + 0.0*i,
    -0.177547763021679 + 0.0*i,
    0.290021905186945 + 0.0*i,
    0.58750175859136 + 0.0*i,
    0.246484836254955 + 0.0*i,
    0.374116633517378 + 0.0*i,
    -0.537541231641738 + 0.0*i,
    0.183698535344339 + 0.0*i,
    0.143136068038211 + 0.0*i,
    0.00293965305625923 + 0.0*i,
    -0.0743551818387 + 0.0*i,
    0.107558114230033 + 0.0*i,
    0.243573015320021 + 0.0*i,
    0.552582066018315 + 0.0*i,
    0.238383818928048 + 0.0*i,
    0.00394719577289457 + 0.0*i,
    0.529391572168786 + 0.0*i,
    0.184174510918182 + 0.0*i,
    0.100419474688188 + 0.0*i,
    -0.245835938848316 + 0.0*i,
    -0.142506102740932 + 0.0*i,
    0.11495186618976 + 0.0*i,
    0.350019489131772 + 0.0*i,
    -0.0177756154749419 + 0.0*i,
    0.47877580416183 + 0.0*i,
    0.0804798850273824 + 0.0*i,
    -0.0176300202892396 + 0.0*i,
    -0.0160411054310637 + 0.0*i,
    0.335018877590933 + 0.0*i,
    -0.320578943185086 + 0.0*i,
    0.510397903922987 + 0.0*i,
    0.714090828844866 + 0.0*i,
    -0.540438790958217 + 0.0*i,
    -0.317140242329451 + 0.0*i,
    0.36630767249226 + 0.0*i,
    -0.021055578399448 + 0.0*i,
    0.475384107233833 + 0.0*i,
    -0.48604370719624 + 0.0*i,
    0.135123492228471 + 0.0*i,
    0.56387670332227 + 0.0*i,
    -0.212012038076803 + 0.0*i,
    -0.0143801119352133 + 0.0*i,
    -0.327806583404734 + 0.0*i,
    -0.369735040759706 + 0.0*i,
    -0.367618538634458 + 0.0*i,
    -0.517454689968398 + 0.0*i,
    -0.588797355905047 + 0.0*i,
    0.025180092976924 + 0.0*i,
    -0.547013576155739 + 0.0*i,
    0.338830777028399 + 0.0*i,
    -0.000760684585145545 + 0.0*i,
    0.0143489509092389 + 0.0*i,
    -0.651955114248734 + 0.0*i,
    0.260217519232025 + 0.0*i,
    0.0293385096483151 + 0.0*i,
    0.400509418597051 + 0.0*i,
    -0.0160937428362903 + 0.0*i,
    0.0384170583721688 + 0.0*i,
    0.375480323561882 + 0.0*i,
    -0.628005673510922 + 0.0*i,
    -0.331232848805611 + 0.0*i,
    -0.00367532793806615 + 0.0*i,
    0.0987907466224135 + 0.0*i,
    -0.258204602441398 + 0.0*i,
    0.531823677253372 + 0.0*i,
    0.569256191754192 + 0.0*i,
    -0.204500677180648 + 0.0*i,
    0.0753434061786702 + 0.0*i,
    0.281866747651067 + 0.0*i,
    0.190738189274199 + 0.0*i,
    -0.335430634121882 + 0.0*i,
    0.0679268665859575 + 0.0*i,
    -0.072839545868921 + 0.0*i,
    0.456141983847861 + 0.0*i,
    0.048594415988997 + 0.0*i,
    -0.525013769863611 + 0.0*i,
    -0.126686210912976 + 0.0*i,
    -0.185605298003118 + 0.0*i,
    0.342691262952584 + 0.0*i,
    0.10422583152298 + 0.0*i,
    0.135029153011964 + 0.0*i,
    -0.0506465298813285 + 0.0*i,
    0.289719492500066 + 0.0*i,
    -0.573350696451209 + 0.0*i,
    -0.12824516277121 + 0.0*i,
    0.54978616149876 + 0.0*i,
    0.719070496407357 + 0.0*i,
    -0.0820818361498515 + 0.0*i,
    -0.0377275024672638 + 0.0*i,
    -0.267289189084262 + 0.0*i,
    0.318331319297769 + 0.0*i,
    -0.214337420957054 + 0.0*i,
    -0.410331295600047 + 0.0*i,
    0.805814871103105 + 0.0*i,
    0.165973544854009 + 0.0*i,
    -0.431015593362423 + 0.0*i,
    0.187163142914162 + 0.0*i,
    -0.0843299900868376 + 0.0*i,
    -0.178437724442851 + 0.0*i,
    -0.288912896246266 + 0.0*i,
    0.0849084028669993 + 0.0*i,
    -0.341829264958482 + 0.0*i,
    0.247106647457338 + 0.0*i,
    0.0476530791082976 + 0.0*i,
    0.25635136741528 + 0.0*i,
    -0.359963797394249 + 0.0*i,
    -0.00447779921334357 + 0.0*i,
    -0.0405976057977551 + 0.0*i,
    -0.206097359620473 + 0.0*i,
    0.495088836910947 + 0.0*i,
    0.119870066157175 + 0.0*i,
    0.168696466737865 + 0.0*i,
    -0.600512171293463 + 0.0*i,
    0.23270760766308 + 0.0*i,
    0.425166890310891 + 0.0*i,
    0.357885522751614 + 0.0*i,
    -0.636041026235557 + 0.0*i,
    0.807166216494118 + 0.0*i,
    -0.0326318151548243 + 0.0*i,
    0.388944630348769 + 0.0*i,
    0.259585970371393 + 0.0*i,
    -0.614615995037772 + 0.0*i,
    -0.125735275793712 + 0.0*i,
    0.117726760153512 + 0.0*i,
    -0.736734982018413 + 0.0*i,
    0.378245956164017 + 0.0*i,
    -0.168104002520235 + 0.0*i,
    0.119827905238433 + 0.0*i,
    0.113744272636207 + 0.0*i,
    0.0864334404836219 + 0.0*i,
    0.336979057228604 + 0.0*i,
    -0.0423646663959334 + 0.0*i,
    -0.687342601931353 + 0.0*i,
    -0.387178983819988 + 0.0*i,
    0.162664735668375 + 0.0*i,
    0.304736612692532 + 0.0*i,
    -0.268073085917867 + 0.0*i,
    0.272962552034389 + 0.0*i,
    -0.547822321210629 + 0.0*i,
    6.63944004915884e-05 + 0.0*i,
    -0.350427396329651 + 0.0*i,
    -0.350923431813427 + 0.0*i,
    -0.180552431671546 + 0.0*i,
    0.310954012083204 + 0.0*i,
    0.310440840054449 + 0.0*i,
    0.462159690909826 + 0.0*i,
    -0.30203197312927 + 0.0*i,
    0.68276808362506 + 0.0*i,
    0.134604949721076 + 0.0*i,
    -0.08212142480471 + 0.0*i,
    0.102626823943782 + 0.0*i,
    -0.182309335060393 + 0.0*i,
    -0.470287147026842 + 0.0*i,
    -0.365259977848609 + 0.0*i,
    0.862274560253983 + 0.0*i,
    -0.173153765701861 + 0.0*i,
    0.0112031592499141 + 0.0*i,
    0.128967901433516 + 0.0*i,
    0.420030236246474 + 0.0*i,
    0.410548778314548 + 0.0*i,
    0.259226519383 + 0.0*i,
    0.355495535429593 + 0.0*i,
    0.245397078414712 + 0.0*i,
    0.293197718345337 + 0.0*i,
    0.319144925999464 + 0.0*i,
    0.213684653534389 + 0.0*i,
    -0.303007524600394 + 0.0*i,
    -0.0861472618044992 + 0.0*i,
    0.0316964039964167 + 0.0*i,
    -0.570856022973152 + 0.0*i,
    0.353906561150226 + 0.0*i,
    -0.387029292915083 + 0.0*i,
    0.39397833592161 + 0.0*i,
    -0.155906100220207 + 0.0*i,
    0.123777224326594 + 0.0*i,
    -0.0587511127579119 + 0.0*i,
    0.877875249313952 + 0.0*i,
    0.384066995769148 + 0.0*i,
    0.479438317406481 + 0.0*i,
    -0.0542071877114745 + 0.0*i,
    -0.38696188758187 + 0.0*i,
    -0.429325058148897 + 0.0*i,
    -0.344556303870074 + 0.0*i,
    0.187886649587162 + 0.0*i,
    -0.0987304226997007 + 0.0*i,
    0.636175592316277 + 0.0*i,
    -0.115782529912227 + 0.0*i,
    -0.424923193838184 + 0.0*i,
    0.405964781029399 + 0.0*i,
    -0.0194218121256317 + 0.0*i,
    0.470176804259213 + 0.0*i,
    0.0836540284487485 + 0.0*i,
    -0.141618398761431 + 0.0*i,
    -0.143360226543276 + 0.0*i,
    0.399579314240339 + 0.0*i
]);