V:=Matrix(CC,4,24,[
    -0.659555197283029 + 0.0*i,
    0.182306780698634 + 0.0*i,
    0.137643518413612 + 0.0*i,
    -0.0971743522163671 + 0.0*i,
    -0.396871507734284 + 0.0*i,
    -0.696171580123863 + 0.0*i,
    -0.616607263634969 + 0.0*i,
    -0.114941076263158 + 0.0*i,
    -0.548217267530432 + 0.0*i,
    -0.5224043679632 + 0.0*i,
    -0.622269975514918 + 0.0*i,
    0.273977334699368 + 0.0*i,
    0.00167059183065922 + 0.0*i,
    0.121235788609271 + 0.0*i,
    -0.0639900401346624 + 0.0*i,
    0.726026175788127 + 0.0*i,
    1.01166829084607 + 0.0*i,
    0.330728277819184 + 0.0*i,
    0.639022584586554 + 0.0*i,
    -0.0066822345924256 + 0.0*i,
    0.629896868512149 + 0.0*i,
    0.72213256945204 + 0.0*i,
    -0.1207813843077 + 0.0*i,
    0.547506580689084 + 0.0*i,
    -0.54621401515264 + 0.0*i,
    0.61316834592278 + 0.0*i,
    0.0984713643751457 + 0.0*i,
    -0.700244515687836 + 0.0*i,
    0.00433513268299227 + 0.0*i,
    0.162082414450396 + 0.0*i,
    0.189663108977966 + 0.0*i,
    0.564815410549377 + 0.0*i,
    0.62627645726088 + 0.0*i,
    0.698839683131584 + 0.0*i,
    -0.545079831822157 + 0.0*i,
    0.136230010177088 + 0.0*i,
    0.674553207205609 + 0.0*i,
    0.630557825950778 + 0.0*i,
    -1.02011952965892 + 0.0*i,
    0.632265684758722 + 0.0*i,
    -0.0912843797610686 + 0.0*i,
    -0.0964848269594772 + 0.0*i,
    -0.672817934702044 + 0.0*i,
    0.606425703131774 + 0.0*i,
    0.154580156371572 + 0.0*i,
    0.122557367554385 + 0.0*i,
    -0.0899312101901919 + 0.0*i,
    -0.321292365491119 + 0.0*i,
    0.3654506981521 + 0.0*i,
    -0.0604992203082074 + 0.0*i,
    -0.140192752226093 + 0.0*i,
    -0.41525303387108 + 0.0*i,
    0.93594596034625 + 0.0*i,
    -0.721933617908854 + 0.0*i,
    0.539407359315123 + 0.0*i,
    -0.679344544440808 + 0.0*i,
    -0.17163761505838 + 0.0*i,
    0.503637158254798 + 0.0*i,
    0.428266303835328 + 0.0*i,
    0.807982596319598 + 0.0*i,
    0.127313753750111 + 0.0*i,
    0.733686955180366 + 0.0*i,
    0.0750079256747197 + 0.0*i,
    0.322870841304932 + 0.0*i,
    -0.160338843841725 + 0.0*i,
    -0.457125008351553 + 0.0*i,
    0.188910364970793 + 0.0*i,
    -0.748949429859226 + 0.0*i,
    0.252785607168254 + 0.0*i,
    0.271269770932666 + 0.0*i,
    -0.796645887581669 + 0.0*i,
    0.116963736991289 + 0.0*i,
    0.351294463860443 + 0.0*i,
    -0.647471655159555 + 0.0*i,
    -0.975455601095109 + 0.0*i,
    0.535530917839031 + 0.0*i,
    -0.101432188293546 + 0.0*i,
    -0.0790751166093143 + 0.0*i,
    0.551873916244652 + 0.0*i,
    0.464575051157007 + 0.0*i,
    -0.564081937641271 + 0.0*i,
    -0.0865924809050108 + 0.0*i,
    -0.392718090667561 + 0.0*i,
    -0.480513858360958 + 0.0*i,
    0.762616269190403 + 0.0*i,
    0.193243508994701 + 0.0*i,
    -0.0376075142445036 + 0.0*i,
    0.0812830101899442 + 0.0*i,
    0.120436182998091 + 0.0*i,
    0.852741543117057 + 0.0*i,
    -0.277671514916059 + 0.0*i,
    -0.331848655354426 + 0.0*i,
    0.713923519283866 + 0.0*i,
    -0.626011412100336 + 0.0*i,
    -0.598184455353645 + 0.0*i,
    -0.596098084604421 + 0.0*i
]);