V:=Matrix(CC,4,53,[
    -0.755269635523403 + 0.0*i,
    -0.0231558456049183 + 0.0*i,
    -0.701824211391169 + 0.0*i,
    -0.479979888235993 + 0.0*i,
    0.562204104259787 + 0.0*i,
    -0.254331811184278 + 0.0*i,
    -0.456338739952085 + 0.0*i,
    -0.75018924586769 + 0.0*i,
    -0.202358230998985 + 0.0*i,
    1.03273243596285 + 0.0*i,
    -0.20664338597837 + 0.0*i,
    0.0629453287332452 + 0.0*i,
    0.589577842490735 + 0.0*i,
    0.0451997530103931 + 0.0*i,
    -0.255392960156004 + 0.0*i,
    -0.554392290313364 + 0.0*i,
    0.0846197756516543 + 0.0*i,
    -0.266405682673219 + 0.0*i,
    0.599190187306662 + 0.0*i,
    -0.0286181684033004 + 0.0*i,
    0.195521098585837 + 0.0*i,
    0.516587459531 + 0.0*i,
    -0.617846821828784 + 0.0*i,
    -0.639051079570289 + 0.0*i,
    0.192812410774085 + 0.0*i,
    0.248028211333479 + 0.0*i,
    -0.70888268906415 + 0.0*i,
    -0.108275136066424 + 0.0*i,
    -0.192736329372701 + 0.0*i,
    0.755125482609433 + 0.0*i,
    -0.866833638385513 + 0.0*i,
    -0.416272672180306 + 0.0*i,
    0.20679504877352 + 0.0*i,
    0.63891576484708 + 0.0*i,
    0.177402484128094 + 0.0*i,
    0.439859038740328 + 0.0*i,
    0.237870477997613 + 0.0*i,
    -0.678367133162022 + 0.0*i,
    0.482193329464585 + 0.0*i,
    -0.403280005687026 + 0.0*i,
    0.310912784695499 + 0.0*i,
    -0.129552175152129 + 0.0*i,
    0.0267794864376837 + 0.0*i,
    -0.717279216385831 + 0.0*i,
    -0.329579206338655 + 0.0*i,
    -0.09448369737249 + 0.0*i,
    -0.613052273934346 + 0.0*i,
    0.352679941127045 + 0.0*i,
    -0.42612849701077 + 0.0*i,
    0.0333621923702135 + 0.0*i,
    -0.690312974497579 + 0.0*i,
    -0.867587862833963 + 0.0*i,
    -1.04758759059051 + 0.0*i,
    0.0807064337938802 + 0.0*i,
    0.223218564205115 + 0.0*i,
    0.719723095996823 + 0.0*i,
    0.490626783945893 + 0.0*i,
    0.527091759177921 + 0.0*i,
    -0.321942365793597 + 0.0*i,
    0.470634507052947 + 0.0*i,
    0.470639533135096 + 0.0*i,
    -0.347975763806433 + 0.0*i,
    0.564674349165131 + 0.0*i,
    0.00348595041931681 + 0.0*i,
    -0.257786475780362 + 0.0*i,
    0.379214718217364 + 0.0*i,
    0.0213656742830849 + 0.0*i,
    -0.0971952514083331 + 0.0*i,
    0.277539127998007 + 0.0*i,
    0.472150299343336 + 0.0*i,
    -0.17775338560127 + 0.0*i,
    0.587418359652344 + 0.0*i,
    -0.125466885481931 + 0.0*i,
    0.632256831037604 + 0.0*i,
    -0.335364281431521 + 0.0*i,
    -0.60173698679983 + 0.0*i,
    0.778867372227285 + 0.0*i,
    0.291177807777333 + 0.0*i,
    1.01863582530821 + 0.0*i,
    -0.00707203601966909 + 0.0*i,
    -0.527835495772072 + 0.0*i,
    -1.05292910445468 + 0.0*i,
    0.163992615075704 + 0.0*i,
    0.00537390126378742 + 0.0*i,
    -0.426868057310748 + 0.0*i,
    0.616988545517623 + 0.0*i,
    -0.729590824829578 + 0.0*i,
    -0.115152943822661 + 0.0*i,
    -0.22903206402516 + 0.0*i,
    -0.490611906149754 + 0.0*i,
    0.311414000183033 + 0.0*i,
    0.402638814596065 + 0.0*i,
    -0.813084193865018 + 0.0*i,
    0.413379180554142 + 0.0*i,
    0.270697953307775 + 0.0*i,
    0.197477701521568 + 0.0*i,
    0.090251232704516 + 0.0*i,
    -0.468951842169306 + 0.0*i,
    0.175948676258727 + 0.0*i,
    -0.629408569217528 + 0.0*i,
    0.501959395959124 + 0.0*i,
    0.9993153750901 + 0.0*i,
    0.960930559587999 + 0.0*i,
    -0.297810030665914 + 0.0*i,
    0.354834435173805 + 0.0*i,
    0.0788958943535971 + 0.0*i,
    -0.702254242625753 + 0.0*i,
    -0.560547059079999 + 0.0*i,
    -0.270691436820325 + 0.0*i,
    0.0942911900082832 + 0.0*i,
    0.31650333649322 + 0.0*i,
    0.603393730748392 + 0.0*i,
    -0.667317359917429 + 0.0*i,
    -0.17420802588924 + 0.0*i,
    -0.0789253341949346 + 0.0*i,
    0.171995312722438 + 0.0*i,
    0.68557583793251 + 0.0*i,
    -0.275863770632172 + 0.0*i,
    -0.297570429232692 + 0.0*i,
    -0.284094599076417 + 0.0*i,
    0.629393400021095 + 0.0*i,
    -0.894314385607155 + 0.0*i,
    0.140253180336207 + 0.0*i,
    0.176336361429387 + 0.0*i,
    -0.535800486821258 + 0.0*i,
    0.623820834594568 + 0.0*i,
    0.0912132131457701 + 0.0*i,
    -0.14728856709331 + 0.0*i,
    0.280785446669997 + 0.0*i,
    0.197891623191657 + 0.0*i,
    0.035262746883083 + 0.0*i,
    -0.0451063730101634 + 0.0*i,
    0.399488099297051 + 0.0*i,
    -0.843288392846777 + 0.0*i,
    -0.0818329435790678 + 0.0*i,
    -0.564570075607477 + 0.0*i,
    0.30849743704606 + 0.0*i,
    0.823867179984697 + 0.0*i,
    0.281277139436334 + 0.0*i,
    -0.798961139718391 + 0.0*i,
    0.0977600540448159 + 0.0*i,
    0.885263153309368 + 0.0*i,
    -0.309757973138439 + 0.0*i,
    -0.570018252326431 + 0.0*i,
    -0.745993046427068 + 0.0*i,
    -0.607120462335066 + 0.0*i,
    -0.145944094987958 + 0.0*i,
    -0.0827967301639198 + 0.0*i,
    1.24780232954387 + 0.0*i,
    0.19360211938173 + 0.0*i,
    0.378520890978255 + 0.0*i,
    0.593760507030075 + 0.0*i,
    0.266340002155473 + 0.0*i,
    0.543049293096443 + 0.0*i,
    -0.434689620964025 + 0.0*i,
    0.272645536582761 + 0.0*i,
    0.746023528680086 + 0.0*i,
    0.297450981189485 + 0.0*i,
    0.0321238381800305 + 0.0*i,
    -0.579526047850102 + 0.0*i,
    -1.057310015541 + 0.0*i,
    0.010252666557639 + 0.0*i,
    0.717518884665663 + 0.0*i,
    -0.766860088762031 + 0.0*i,
    -0.0846216441112465 + 0.0*i,
    -0.275333773088512 + 0.0*i,
    -0.446422991850383 + 0.0*i,
    -0.0950298596831044 + 0.0*i,
    -0.0542788824755144 + 0.0*i,
    -0.403023860762879 + 0.0*i,
    0.660957454362219 + 0.0*i,
    0.429419837844119 + 0.0*i,
    -0.898863614400076 + 0.0*i,
    -1.13890726280031 + 0.0*i,
    0.629893434944378 + 0.0*i,
    0.887117085888474 + 0.0*i,
    0.54998312354432 + 0.0*i,
    0.178873886570346 + 0.0*i,
    0.0115467457675429 + 0.0*i,
    -0.968005134010256 + 0.0*i,
    0.352941047515204 + 0.0*i,
    0.19033187634498 + 0.0*i,
    0.507073700151436 + 0.0*i,
    -0.52846286311532 + 0.0*i,
    0.442377231778845 + 0.0*i,
    -0.0258826755470215 + 0.0*i,
    0.381447925203699 + 0.0*i,
    0.188559861248671 + 0.0*i,
    -0.235145489087923 + 0.0*i,
    0.586729075769361 + 0.0*i,
    0.626459994221824 + 0.0*i,
    0.186243052656674 + 0.0*i,
    0.324027946049236 + 0.0*i,
    -0.851265289111533 + 0.0*i,
    0.374536023291359 + 0.0*i,
    -0.815066476616736 + 0.0*i,
    0.404217366531168 + 0.0*i,
    0.600481642376538 + 0.0*i,
    0.101677816820157 + 0.0*i,
    0.227296821131195 + 0.0*i,
    -0.333626543622073 + 0.0*i,
    0.285318250560399 + 0.0*i,
    0.414885031901537 + 0.0*i,
    -0.510971582214177 + 0.0*i,
    0.236239223764987 + 0.0*i,
    -0.28399726937055 + 0.0*i,
    0.806396209589056 + 0.0*i,
    -0.106944523715377 + 0.0*i,
    -0.0495663622763262 + 0.0*i,
    0.119694285977958 + 0.0*i,
    0.264293649133692 + 0.0*i,
    -0.53746461169125 + 0.0*i
]);