V:=Matrix(CC,4,19,[ 0.245095224529688 + 0.0*i, 0.453099836153493 + 0.0*i, -0.853068891666125 + 0.0*i, 0.417565115843776 + 0.0*i, -0.152795285727943 + 0.0*i, -0.629940792872324 + 0.0*i, -0.838301085038603 + 0.0*i, 0.622357103834627 + 0.0*i, -0.472968214300913 + 0.0*i, -0.176535140077647 + 0.0*i, 0.51896157459674 + 0.0*i, -0.333019650238681 + 0.0*i, -0.347292304437465 + 0.0*i, -0.433203001693166 + 0.0*i, 0.0558586144345701 + 0.0*i, -0.0234325161366695 + 0.0*i, -0.813489964391905 + 0.0*i, 0.934654349730842 + 0.0*i, 0.441292586391434 + 0.0*i, 0.0908985643521271 + 0.0*i, 0.705677259776569 + 0.0*i, 0.207741125014717 + 0.0*i, 0.482225836657073 + 0.0*i, 0.373186630705014 + 0.0*i, 0.631615117009969 + 0.0*i, -0.548884758789288 + 0.0*i, -0.0402057926050329 + 0.0*i, 0.841916467644522 + 0.0*i, -0.957456001042543 + 0.0*i, 0.639886247650708 + 0.0*i, 0.560194255556082 + 0.0*i, 0.0276958304587102 + 0.0*i, -0.257036467007061 + 0.0*i, 0.369696421928656 + 0.0*i, -0.393861330281 + 0.0*i, 0.310458468728536 + 0.0*i, -0.0793427924229394 + 0.0*i, -0.58383692210951 + 0.0*i, 0.731070703899801 + 0.0*i, -0.459270962357752 + 0.0*i, -0.308040631853339 + 0.0*i, -0.554067606104582 + 0.0*i, 0.00176791931683965 + 0.0*i, 0.308663844575928 + 0.0*i, -0.260196982794081 + 0.0*i, -0.280997630906949 + 0.0*i, -0.102120494644179 + 0.0*i, -0.210471506920116 + 0.0*i, 0.141103108190809 + 0.0*i, 0.63160954012391 + 0.0*i, 0.906348681877317 + 0.0*i, -0.778003561018143 + 0.0*i, -0.611257078352309 + 0.0*i, -0.118360381484273 + 0.0*i, -0.0685375990461854 + 0.0*i, -0.381824173765594 + 0.0*i, 0.713947519436831 + 0.0*i, -0.651537536289756 + 0.0*i, -0.201323782282074 + 0.0*i, 0.279506432657646 + 0.0*i, 0.545011131868741 + 0.0*i, -0.900182185719297 + 0.0*i, 0.261669847501268 + 0.0*i, -0.21305032776445 + 0.0*i, -0.7099965960984 + 0.0*i, -0.176148748683213 + 0.0*i, 0.113077710513158 + 0.0*i, -0.542195869425932 + 0.0*i, -0.445781490045303 + 0.0*i, 0.138974656596068 + 0.0*i, -0.48438057471234 + 0.0*i, -0.646711507301825 + 0.0*i, -0.92022818506364 + 0.0*i, -0.457104534399082 + 0.0*i, -0.0282045977995884 + 0.0*i, -0.00484051723008501 + 0.0*i ]);