V:=Matrix(CC,4,30,[ -0.242573732980087 + 0.0*i, -0.0395409605026161 + 0.0*i, 0.268296651532214 + 0.0*i, 0.565471037710755 + 0.0*i, -0.253743187578304 + 0.0*i, 0.268591857121834 + 0.0*i, 0.319095070680112 + 0.0*i, -0.407684383042067 + 0.0*i, -0.549714092971216 + 0.0*i, -0.112625740140296 + 0.0*i, -0.103980028747037 + 0.0*i, 0.318013273771741 + 0.0*i, 0.103220255750723 + 0.0*i, 0.534347419949005 + 0.0*i, -0.248279059280513 + 0.0*i, -0.792907577199453 + 0.0*i, -0.612739360269963 + 0.0*i, 1.27945166037333 + 0.0*i, 0.273801030936088 + 0.0*i, -0.613816481954186 + 0.0*i, 0.320796859542066 + 0.0*i, -0.472165091529439 + 0.0*i, -0.57538044159653 + 0.0*i, 0.182745674846164 + 0.0*i, 0.125569252106065 + 0.0*i, -0.0712628303103929 + 0.0*i, 0.0284964498246572 + 0.0*i, -0.525252317468855 + 0.0*i, -0.213329823480797 + 0.0*i, 1.19534166116672 + 0.0*i, -0.211734337532438 + 0.0*i, 0.345564958413476 + 0.0*i, -0.10877064917804 + 0.0*i, -0.627179942766743 + 0.0*i, -0.0949804997380225 + 0.0*i, 0.231954028567116 + 0.0*i, 0.073296920436359 + 0.0*i, -0.178243345431115 + 0.0*i, -0.313748181918274 + 0.0*i, -0.0462040800694188 + 0.0*i, -0.0694983734121048 + 0.0*i, 0.451693728910029 + 0.0*i, -0.966876877418258 + 0.0*i, -0.00623971704596636 + 0.0*i, -1.07542710736631 + 0.0*i, 0.598322920752847 + 0.0*i, -0.251388460809456 + 0.0*i, 0.433403603407741 + 0.0*i, -0.286263665959241 + 0.0*i, -0.142647532454988 + 0.0*i, -0.231122264132082 + 0.0*i, 0.777247839376126 + 0.0*i, 0.754946116198322 + 0.0*i, 0.723574906077704 + 0.0*i, 0.0720951091827332 + 0.0*i, 0.161298611990214 + 0.0*i, 0.318109131711843 + 0.0*i, 0.0490185249914582 + 0.0*i, -0.855986279424802 + 0.0*i, -0.47881805399841 + 0.0*i, -0.300313120534302 + 0.0*i, 0.454857394979319 + 0.0*i, 0.800169476347862 + 0.0*i, 0.375236705397478 + 0.0*i, 1.1311937130347 + 0.0*i, -0.0829776002500335 + 0.0*i, 0.790512675944148 + 0.0*i, -0.630855890846275 + 0.0*i, -0.41864859918193 + 0.0*i, 0.791418911112333 + 0.0*i, 0.10411618203993 + 0.0*i, 0.262231128732959 + 0.0*i, 0.312403739651852 + 0.0*i, -0.698404555549144 + 0.0*i, 0.123352790979617 + 0.0*i, -0.511011868914018 + 0.0*i, -0.825654939078389 + 0.0*i, 0.10849141593455 + 0.0*i, 0.0759427203910425 + 0.0*i, -0.236194446892329 + 0.0*i, -0.471924032575334 + 0.0*i, 0.747680443262096 + 0.0*i, 0.144154076857975 + 0.0*i, -0.322339025287297 + 0.0*i, 0.140021345806288 + 0.0*i, -0.0386535613712754 + 0.0*i, -0.353576214378998 + 0.0*i, -0.62823403083913 + 0.0*i, 1.07511116963867 + 0.0*i, 0.0679899054730983 + 0.0*i, 0.284367643748932 + 0.0*i, 0.353019058979226 + 0.0*i, -0.452310432978741 + 0.0*i, 0.166007366749911 + 0.0*i, -0.251981785490664 + 0.0*i, -0.660898757086479 + 0.0*i, -0.0438841300983814 + 0.0*i, 0.348704267849272 + 0.0*i, 0.114332790410812 + 0.0*i, -0.54928900797224 + 0.0*i, 0.767869832150784 + 0.0*i, -0.455748685712618 + 0.0*i, 0.527807178849335 + 0.0*i, -0.353406430126442 + 0.0*i, -0.360587246316234 + 0.0*i, 0.839359311719076 + 0.0*i, -0.906028406264721 + 0.0*i, 0.239184231239928 + 0.0*i, 0.526619593208669 + 0.0*i, -0.161841018488229 + 0.0*i, -0.209469613915632 + 0.0*i, -0.620049946287916 + 0.0*i, 0.484229918776461 + 0.0*i, -0.222332508525981 + 0.0*i, 0.0925910108424968 + 0.0*i, -1.26641396412373 + 0.0*i, 0.0502166564445686 + 0.0*i, 0.854505873175082 + 0.0*i, 0.173692560386338 + 0.0*i, -0.0163575201147778 + 0.0*i ]);