V:=Matrix(CC,4,56,[
    -0.589130437400984 + 0.0*i,
    -0.717811011377936 + 0.0*i,
    -0.487565625040901 + 0.0*i,
    -0.580864339757524 + 0.0*i,
    -0.119516413526844 + 0.0*i,
    0.229676743993056 + 0.0*i,
    -0.977351226483662 + 0.0*i,
    0.310404674360243 + 0.0*i,
    0.740801642790993 + 0.0*i,
    0.108799777688172 + 0.0*i,
    0.334673422315278 + 0.0*i,
    0.179915112783244 + 0.0*i,
    -0.54742883040378 + 0.0*i,
    -0.112469447076435 + 0.0*i,
    0.654812337082635 + 0.0*i,
    0.131732076661005 + 0.0*i,
    0.145685805227095 + 0.0*i,
    0.149443198964541 + 0.0*i,
    -0.477030810091347 + 0.0*i,
    0.052611943645126 + 0.0*i,
    -1.20086448650116 + 0.0*i,
    -0.0466326885885842 + 0.0*i,
    -0.594336901494239 + 0.0*i,
    -0.248178197713309 + 0.0*i,
    0.293603824188181 + 0.0*i,
    -0.306747126206791 + 0.0*i,
    -0.630751769602923 + 0.0*i,
    -0.598051252004616 + 0.0*i,
    -0.843356078849277 + 0.0*i,
    -0.0465781857692733 + 0.0*i,
    0.361073643268814 + 0.0*i,
    0.307034165688796 + 0.0*i,
    0.0681045180113696 + 0.0*i,
    0.530892519762291 + 0.0*i,
    -0.062701029389549 + 0.0*i,
    -0.271960412439725 + 0.0*i,
    -0.0311966467988477 + 0.0*i,
    -0.961834028084608 + 0.0*i,
    0.268775715813262 + 0.0*i,
    0.309825117340546 + 0.0*i,
    -0.521404090482522 + 0.0*i,
    -0.736754451678568 + 0.0*i,
    -0.130046335066932 + 0.0*i,
    0.252577976379984 + 0.0*i,
    -0.0841966963996972 + 0.0*i,
    -0.441121756515085 + 0.0*i,
    0.699239007956714 + 0.0*i,
    -0.959976258969767 + 0.0*i,
    0.439908256590897 + 0.0*i,
    -0.509667026830249 + 0.0*i,
    -0.33622452559649 + 0.0*i,
    -0.330368010786912 + 0.0*i,
    -0.342887586076285 + 0.0*i,
    -0.597197286111122 + 0.0*i,
    0.612549934191291 + 0.0*i,
    -0.271945024521291 + 0.0*i,
    0.435160137921246 + 0.0*i,
    0.056557870257018 + 0.0*i,
    0.637069863264676 + 0.0*i,
    0.15842774958602 + 0.0*i,
    -0.38395034214776 + 0.0*i,
    -0.248143243702949 + 0.0*i,
    0.0494547395068733 + 0.0*i,
    0.257980306679069 + 0.0*i,
    0.175941226504995 + 0.0*i,
    -0.0104395885638905 + 0.0*i,
    -1.18400363886254 + 0.0*i,
    0.269504488300622 + 0.0*i,
    0.348875080217386 + 0.0*i,
    -0.000546799398330766 + 0.0*i,
    0.664492794498346 + 0.0*i,
    0.742943957653541 + 0.0*i,
    -0.126530193521163 + 0.0*i,
    -0.352333697095501 + 0.0*i,
    -0.502930818071231 + 0.0*i,
    0.839125539045947 + 0.0*i,
    -0.326239878996346 + 0.0*i,
    -0.251240204798269 + 0.0*i,
    -0.404996796709068 + 0.0*i,
    -0.190625711291301 + 0.0*i,
    0.53988682451353 + 0.0*i,
    0.978236510061066 + 0.0*i,
    0.0703006879011103 + 0.0*i,
    -0.703954366363148 + 0.0*i,
    0.0980424284890778 + 0.0*i,
    0.0587259453699819 + 0.0*i,
    0.0994464605677316 + 0.0*i,
    0.465023694381671 + 0.0*i,
    0.551394483742503 + 0.0*i,
    -0.182149437144637 + 0.0*i,
    -0.538330989634787 + 0.0*i,
    0.107667512948988 + 0.0*i,
    -0.510346038839628 + 0.0*i,
    0.621250370148789 + 0.0*i,
    1.1747465635477 + 0.0*i,
    0.591610147271564 + 0.0*i,
    0.282334490788785 + 0.0*i,
    -0.422433748425248 + 0.0*i,
    -0.0549602303087679 + 0.0*i,
    0.55117990288602 + 0.0*i,
    0.509549517963014 + 0.0*i,
    -0.871492606085579 + 0.0*i,
    -0.662494696773097 + 0.0*i,
    0.32570863735525 + 0.0*i,
    0.21724189356956 + 0.0*i,
    -0.438392271638999 + 0.0*i,
    -0.608908734934361 + 0.0*i,
    -0.563672143740558 + 0.0*i,
    -0.667949158030602 + 0.0*i,
    -0.256603179444353 + 0.0*i,
    0.682403041128533 + 0.0*i,
    0.363960668495457 + 0.0*i,
    0.276199470176539 + 0.0*i,
    -0.404589309040174 + 0.0*i,
    -0.790092954018206 + 0.0*i,
    -0.406133227241098 + 0.0*i,
    0.102948417696495 + 0.0*i,
    -0.837499224167209 + 0.0*i,
    -0.679888384436041 + 0.0*i,
    0.238213980952722 + 0.0*i,
    0.125779358155496 + 0.0*i,
    0.0427338192419521 + 0.0*i,
    0.0874950742214148 + 0.0*i,
    0.627577963889566 + 0.0*i,
    0.458126612483954 + 0.0*i,
    0.265806764523266 + 0.0*i,
    -0.551140395945316 + 0.0*i,
    -1.06801240967604 + 0.0*i,
    -0.301106490795181 + 0.0*i,
    -0.660144849730916 + 0.0*i,
    -0.945347577363514 + 0.0*i,
    -0.673576456203463 + 0.0*i,
    0.211755328722083 + 0.0*i,
    0.161828660278687 + 0.0*i,
    0.120342832422657 + 0.0*i,
    0.0937112408412736 + 0.0*i,
    0.574633221488783 + 0.0*i,
    0.560577558727461 + 0.0*i,
    -0.742060215697349 + 0.0*i,
    -0.332415225659536 + 0.0*i,
    0.182498889542119 + 0.0*i,
    0.0912864713410334 + 0.0*i,
    -0.727058874072846 + 0.0*i,
    1.01355614865656 + 0.0*i,
    0.622875366537968 + 0.0*i,
    0.353470635354729 + 0.0*i,
    0.344536798988155 + 0.0*i,
    -0.573093802766228 + 0.0*i,
    0.575724737611913 + 0.0*i,
    0.372736173120988 + 0.0*i,
    -0.293482797573732 + 0.0*i,
    0.460362142117863 + 0.0*i,
    -0.377370655772291 + 0.0*i,
    -0.303628779764767 + 0.0*i,
    -0.189522390720241 + 0.0*i,
    -0.330559545864109 + 0.0*i,
    0.443069141696509 + 0.0*i,
    -0.361790194921045 + 0.0*i,
    0.223930761448303 + 0.0*i,
    0.152377017267576 + 0.0*i,
    -0.0974505565859574 + 0.0*i,
    0.677517995177618 + 0.0*i,
    0.494721721514377 + 0.0*i,
    0.169024170262205 + 0.0*i,
    -0.175895733981065 + 0.0*i,
    0.955534060930671 + 0.0*i,
    0.298308386034853 + 0.0*i,
    1.03823361293893 + 0.0*i,
    0.903543962369281 + 0.0*i,
    0.678284859556723 + 0.0*i,
    0.303652168985935 + 0.0*i,
    -1.01824306756749 + 0.0*i,
    -0.473598261020565 + 0.0*i,
    0.672699749223685 + 0.0*i,
    -0.174794475329497 + 0.0*i,
    0.042822067931322 + 0.0*i,
    -0.0947878165903075 + 0.0*i,
    0.777672412456638 + 0.0*i,
    -0.494682041485543 + 0.0*i,
    0.0765165640999333 + 0.0*i,
    0.758610744966202 + 0.0*i,
    0.547837670134078 + 0.0*i,
    0.539396052667516 + 0.0*i,
    -0.286784262193621 + 0.0*i,
    -0.0919895175028943 + 0.0*i,
    0.723842260444047 + 0.0*i,
    0.0819662792767265 + 0.0*i,
    -0.497934739768922 + 0.0*i,
    0.353006708282648 + 0.0*i,
    0.149007457116121 + 0.0*i,
    -0.415535828030345 + 0.0*i,
    0.316297929811352 + 0.0*i,
    0.823234439350237 + 0.0*i,
    -0.292763517197828 + 0.0*i,
    0.639833586264685 + 0.0*i,
    -0.0321934537231798 + 0.0*i,
    -0.644047331197521 + 0.0*i,
    0.778543959537549 + 0.0*i,
    -0.508144971023493 + 0.0*i,
    -0.184622559482334 + 0.0*i,
    0.343881541689279 + 0.0*i,
    0.0988388127148061 + 0.0*i,
    -0.928190885813811 + 0.0*i,
    -0.247061130898576 + 0.0*i,
    0.284558342642854 + 0.0*i,
    0.231146686336719 + 0.0*i,
    0.0814934121771581 + 0.0*i,
    0.262280584976859 + 0.0*i,
    0.661525346960779 + 0.0*i,
    -0.238540693795287 + 0.0*i,
    0.841214577773922 + 0.0*i,
    0.0879631910427881 + 0.0*i,
    0.344593080074043 + 0.0*i,
    0.644824081010429 + 0.0*i,
    0.405800141045414 + 0.0*i,
    -0.619097769519439 + 0.0*i,
    -0.159725988199976 + 0.0*i,
    0.0388095163203243 + 0.0*i,
    0.836128983760745 + 0.0*i,
    0.0808525741738332 + 0.0*i,
    0.150409422009939 + 0.0*i,
    0.147135467640724 + 0.0*i,
    0.494549165808719 + 0.0*i,
    0.340287088958611 + 0.0*i
]);