V:=Matrix(CC,4,24,[
    0.38417160283339 + 0.0*i,
    -0.136107826718829 + 0.0*i,
    -0.211802772401245 + 0.0*i,
    0.602868795168536 + 0.0*i,
    0.16714599336082 + 0.0*i,
    -0.0424153385184546 + 0.0*i,
    -0.219826228798141 + 0.0*i,
    0.363119020493362 + 0.0*i,
    -1.33409708970153 + 0.0*i,
    0.328969858291156 + 0.0*i,
    0.365394435866974 + 0.0*i,
    0.179867631064156 + 0.0*i,
    -0.364734831141652 + 0.0*i,
    -0.601694491864448 + 0.0*i,
    0.71049601207303 + 0.0*i,
    0.0149383319100095 + 0.0*i,
    -0.453310137719314 + 0.0*i,
    -0.126861213015617 + 0.0*i,
    0.215992156368108 + 0.0*i,
    0.715421047331586 + 0.0*i,
    0.330843779676536 + 0.0*i,
    0.410438655734268 + 0.0*i,
    -0.949973272922502 + 0.0*i,
    -0.16610588423148 + 0.0*i,
    -0.186941969773973 + 0.0*i,
    -0.275937465666798 + 0.0*i,
    1.18657399559352 + 0.0*i,
    0.628985174899008 + 0.0*i,
    0.295163408332699 + 0.0*i,
    -0.551346196529953 + 0.0*i,
    0.108748283785253 + 0.0*i,
    -0.311611830163255 + 0.0*i,
    0.161416259889173 + 0.0*i,
    0.0605585828886634 + 0.0*i,
    0.480333619616683 + 0.0*i,
    0.811687698502943 + 0.0*i,
    -0.635929526134059 + 0.0*i,
    -0.049419148193421 + 0.0*i,
    0.286096655888139 + 0.0*i,
    -0.0685882371229611 + 0.0*i,
    0.0343462742303512 + 0.0*i,
    -0.118876342460079 + 0.0*i,
    1.19343034007394 + 0.0*i,
    -0.473760950998873 + 0.0*i,
    0.135831462144 + 0.0*i,
    0.832206012179954 + 0.0*i,
    -0.215452589260309 + 0.0*i,
    -1.25714329511197 + 0.0*i,
    -0.218230544373459 + 0.0*i,
    0.356004795486553 + 0.0*i,
    -0.383503982233171 + 0.0*i,
    -0.171428932520459 + 0.0*i,
    0.292545161799682 + 0.0*i,
    -0.13168732659391 + 0.0*i,
    0.551410800548133 + 0.0*i,
    0.416683798813903 + 0.0*i,
    0.0199354410441227 + 0.0*i,
    -0.196194168045201 + 0.0*i,
    0.633683710025896 + 0.0*i,
    0.111401120802143 + 0.0*i,
    0.0666746190982912 + 0.0*i,
    -0.598258713575678 + 0.0*i,
    -0.295487241160307 + 0.0*i,
    0.269591031777012 + 0.0*i,
    -0.321929735985385 + 0.0*i,
    -0.608019590129601 + 0.0*i,
    0.5422886125872 + 0.0*i,
    -0.410656252276612 + 0.0*i,
    -0.507217113706383 + 0.0*i,
    0.187388957969231 + 0.0*i,
    0.423562853888372 + 0.0*i,
    -0.960176562889309 + 0.0*i,
    0.629720678995367 + 0.0*i,
    -0.205102053145699 + 0.0*i,
    0.413104932949149 + 0.0*i,
    -0.315399284147059 + 0.0*i,
    0.29909615127042 + 0.0*i,
    0.235415638459509 + 0.0*i,
    0.378483733823256 + 0.0*i,
    -1.47922422541686 + 0.0*i,
    0.364034153929862 + 0.0*i,
    0.181945592267548 + 0.0*i,
    -0.58437085992402 + 0.0*i,
    -0.411714633958946 + 0.0*i,
    -0.143814789608037 + 0.0*i,
    -0.476747269296029 + 0.0*i,
    -0.256992665934734 + 0.0*i,
    0.481038873930014 + 0.0*i,
    -0.912083777706181 + 0.0*i,
    0.387358678352829 + 0.0*i,
    -0.567353898221925 + 0.0*i,
    0.169683163673999 + 0.0*i,
    0.529411519634654 + 0.0*i,
    0.0437231549634979 + 0.0*i,
    0.286591552151809 + 0.0*i,
    -0.0632329997253828 + 0.0*i
]);