V:=Matrix(CC,4,42,[
    -0.229687158446927 + 0.0*i,
    0.996318815900864 + 0.0*i,
    0.234598281433112 + 0.0*i,
    -0.39335772708348 + 0.0*i,
    0.619689870659158 + 0.0*i,
    0.734909514294584 + 0.0*i,
    -0.242005464381297 + 0.0*i,
    0.829509935743021 + 0.0*i,
    1.11701700993566 + 0.0*i,
    -0.954822131147783 + 0.0*i,
    0.803043910933965 + 0.0*i,
    -0.232803848605083 + 0.0*i,
    0.0824295600887793 + 0.0*i,
    0.45722608837099 + 0.0*i,
    -0.556153420805353 + 0.0*i,
    -0.224318886657203 + 0.0*i,
    0.509476293802355 + 0.0*i,
    -0.313363649711857 + 0.0*i,
    0.157837767554846 + 0.0*i,
    -0.626961698377098 + 0.0*i,
    -0.382635615574969 + 0.0*i,
    0.58629241644463 + 0.0*i,
    0.24488709674237 + 0.0*i,
    -0.222383998249035 + 0.0*i,
    -0.0754058551317084 + 0.0*i,
    -0.0475308372681169 + 0.0*i,
    0.416633007007187 + 0.0*i,
    -0.281061477202099 + 0.0*i,
    -0.128310706763259 + 0.0*i,
    -0.0751415362348356 + 0.0*i,
    -0.248876844547644 + 0.0*i,
    0.570232382897199 + 0.0*i,
    -0.462717660552786 + 0.0*i,
    -0.0233819332304642 + 0.0*i,
    -0.17513518002059 + 0.0*i,
    -0.563727418415868 + 0.0*i,
    -0.141352692869051 + 0.0*i,
    0.425432845201532 + 0.0*i,
    -0.417143655821282 + 0.0*i,
    -0.109852983544609 + 0.0*i,
    -0.561197937195709 + 0.0*i,
    -0.102199147759491 + 0.0*i,
    0.987632999168872 + 0.0*i,
    -0.300134761361974 + 0.0*i,
    -0.609744491994158 + 0.0*i,
    0.11388841179454 + 0.0*i,
    -0.648082509823271 + 0.0*i,
    0.258806274195806 + 0.0*i,
    0.740901936939712 + 0.0*i,
    -0.69447364520176 + 0.0*i,
    -0.0257015736223748 + 0.0*i,
    -0.353262266459595 + 0.0*i,
    0.554620941073527 + 0.0*i,
    0.30818714200855 + 0.0*i,
    0.471926953776389 + 0.0*i,
    -0.324885051484377 + 0.0*i,
    -0.386742205123457 + 0.0*i,
    -0.270148524116793 + 0.0*i,
    -0.362248479125716 + 0.0*i,
    -0.288154001429376 + 0.0*i,
    0.433387565761817 + 0.0*i,
    -0.507208369789971 + 0.0*i,
    -0.00304027079138414 + 0.0*i,
    0.356839806705986 + 0.0*i,
    -0.133156851774434 + 0.0*i,
    0.624321933150141 + 0.0*i,
    -0.960955516117535 + 0.0*i,
    0.937132780558466 + 0.0*i,
    -0.642538733795296 + 0.0*i,
    0.380794231823035 + 0.0*i,
    -0.128413759288593 + 0.0*i,
    0.0825482936784907 + 0.0*i,
    -0.0898230194759855 + 0.0*i,
    -0.00368073832459563 + 0.0*i,
    0.371275525221278 + 0.0*i,
    0.894168910410387 + 0.0*i,
    -0.331108121364591 + 0.0*i,
    0.0482292935634082 + 0.0*i,
    -0.479047992483699 + 0.0*i,
    0.825911809350181 + 0.0*i,
    -0.480805010036368 + 0.0*i,
    -0.00168842299710643 + 0.0*i,
    -0.888179403252506 + 0.0*i,
    0.57424513595654 + 0.0*i,
    -0.332954995633152 + 0.0*i,
    0.389937166832315 + 0.0*i,
    -0.163266771816204 + 0.0*i,
    0.197377261235299 + 0.0*i,
    0.423174718101627 + 0.0*i,
    -0.335490475665365 + 0.0*i,
    -0.530811013539045 + 0.0*i,
    -0.378054753170709 + 0.0*i,
    -0.0701459618141649 + 0.0*i,
    0.302696201591766 + 0.0*i,
    0.40061303491943 + 0.0*i,
    0.467193308366918 + 0.0*i,
    -0.123107691959149 + 0.0*i,
    1.08053628164882 + 0.0*i,
    -0.534437709170018 + 0.0*i,
    -0.1052191433166 + 0.0*i,
    -0.736284573387246 + 0.0*i,
    -0.850269060163086 + 0.0*i,
    0.0306628949203097 + 0.0*i,
    -0.243585834613491 + 0.0*i,
    -0.214853869268258 + 0.0*i,
    0.69305340136635 + 0.0*i,
    0.480360678061357 + 0.0*i,
    0.242992213372454 + 0.0*i,
    -0.137219284901197 + 0.0*i,
    0.197019950475198 + 0.0*i,
    0.330121231561123 + 0.0*i,
    0.628138516140547 + 0.0*i,
    -0.858534991000237 + 0.0*i,
    0.515499655345208 + 0.0*i,
    0.0386858032107468 + 0.0*i,
    0.196551220374615 + 0.0*i,
    0.289718164431434 + 0.0*i,
    0.703609841573436 + 0.0*i,
    -0.440888488796816 + 0.0*i,
    1.07679213017841 + 0.0*i,
    -0.110122609139157 + 0.0*i,
    -0.612655952792055 + 0.0*i,
    0.756146592395229 + 0.0*i,
    -0.485147395559155 + 0.0*i,
    0.0168790827860604 + 0.0*i,
    -0.0309710472691253 + 0.0*i,
    0.0094753023558057 + 0.0*i,
    0.359183401974885 + 0.0*i,
    0.493757299311237 + 0.0*i,
    0.82496528754182 + 0.0*i,
    -0.607331019651194 + 0.0*i,
    0.734304923510894 + 0.0*i,
    -0.207529369226094 + 0.0*i,
    0.120329016266695 + 0.0*i,
    -0.426991322423393 + 0.0*i,
    0.00587327737737109 + 0.0*i,
    0.231983406481772 + 0.0*i,
    -0.303628827681112 + 0.0*i,
    -0.491011299660532 + 0.0*i,
    -0.11759007164265 + 0.0*i,
    0.264174147465889 + 0.0*i,
    0.516411573837614 + 0.0*i,
    -0.490325101921015 + 0.0*i,
    -0.393755326717257 + 0.0*i,
    0.436803102247196 + 0.0*i,
    -0.416481332106775 + 0.0*i,
    1.0331796925982 + 0.0*i,
    -0.534408520318467 + 0.0*i,
    0.895616759765239 + 0.0*i,
    0.393264371204607 + 0.0*i,
    -0.671464211933882 + 0.0*i,
    -0.467128907960077 + 0.0*i,
    0.630818795290088 + 0.0*i,
    -0.819676685619041 + 0.0*i,
    -0.323847770788859 + 0.0*i,
    -0.199602078331806 + 0.0*i,
    -1.03889908559554 + 0.0*i,
    -0.0268735558556986 + 0.0*i,
    0.651988084515572 + 0.0*i,
    -0.0344228683022919 + 0.0*i,
    -0.841595689939363 + 0.0*i,
    -0.21375424130575 + 0.0*i,
    0.191995729518365 + 0.0*i,
    0.343769487602207 + 0.0*i,
    0.637384769811175 + 0.0*i,
    0.359978773877895 + 0.0*i,
    0.391412395590359 + 0.0*i,
    -0.711289327236753 + 0.0*i
]);