V:=Matrix(CC,4,25,[
    0.840088089333102 + 0.0*i,
    0.172846314519104 + 0.0*i,
    -0.269788896807187 + 0.0*i,
    -0.207060097788614 + 0.0*i,
    -0.36196086422042 + 0.0*i,
    -0.758785521354706 + 0.0*i,
    0.649579740163382 + 0.0*i,
    0.303430476307678 + 0.0*i,
    0.900289726729329 + 0.0*i,
    -0.267910096234769 + 0.0*i,
    0.454803757944718 + 0.0*i,
    0.159362929324307 + 0.0*i,
    0.086209029682072 + 0.0*i,
    0.413328696541321 + 0.0*i,
    -0.733546150556909 + 0.0*i,
    -0.0193199138541454 + 0.0*i,
    0.00708506172995456 + 0.0*i,
    -0.603171342856843 + 0.0*i,
    0.392058558925285 + 0.0*i,
    -0.298629383124904 + 0.0*i,
    0.445183243389809 + 0.0*i,
    -0.0905127765582537 + 0.0*i,
    -0.337378391329174 + 0.0*i,
    -0.627232095560125 + 0.0*i,
    0.904675459755809 + 0.0*i,
    0.0518185557603091 + 0.0*i,
    0.00857200644266907 + 0.0*i,
    0.756903791940829 + 0.0*i,
    0.26055643174356 + 0.0*i,
    0.370142112272441 + 0.0*i,
    -0.460598822270191 + 0.0*i,
    -0.189523327757148 + 0.0*i,
    0.320154804360554 + 0.0*i,
    0.491662853482972 + 0.0*i,
    -1.001576332709 + 0.0*i,
    0.409180838089577 + 0.0*i,
    0.474010984491741 + 0.0*i,
    0.210224149345358 + 0.0*i,
    0.480027168847052 + 0.0*i,
    0.0542912781226384 + 0.0*i,
    0.824768742454344 + 0.0*i,
    0.0579410408067967 + 0.0*i,
    0.137743789646421 + 0.0*i,
    -0.819994533999192 + 0.0*i,
    0.799293258576149 + 0.0*i,
    -0.546102138164364 + 0.0*i,
    -0.605209240159756 + 0.0*i,
    -0.597022230721117 + 0.0*i,
    0.302831954840354 + 0.0*i,
    -0.53001927707494 + 0.0*i,
    0.430995680561773 + 0.0*i,
    -0.0437406965543037 + 0.0*i,
    0.234493874447078 + 0.0*i,
    -0.926511378773219 + 0.0*i,
    0.8245054218934 + 0.0*i,
    -0.198988651837253 + 0.0*i,
    0.583214044991753 + 0.0*i,
    -0.85764502478773 + 0.0*i,
    -0.254004068616769 + 0.0*i,
    0.123577627337934 + 0.0*i,
    0.344244976072321 + 0.0*i,
    -0.374979731249364 + 0.0*i,
    0.717560870352763 + 0.0*i,
    0.771432045404294 + 0.0*i,
    0.371169022706695 + 0.0*i,
    0.522098816209947 + 0.0*i,
    0.673145748115583 + 0.0*i,
    0.0835671602149903 + 0.0*i,
    -0.103260442086096 + 0.0*i,
    -0.483360406640577 + 0.0*i,
    0.494936889859468 + 0.0*i,
    -0.154986033681033 + 0.0*i,
    0.507278128391227 + 0.0*i,
    0.587432186683664 + 0.0*i,
    -0.0925909059206706 + 0.0*i,
    0.247594631453491 + 0.0*i,
    -0.960983805882521 + 0.0*i,
    0.571370886647133 + 0.0*i,
    -0.202859378865127 + 0.0*i,
    0.187261474819542 + 0.0*i,
    0.423265923925193 + 0.0*i,
    -0.452346679848284 + 0.0*i,
    0.254109121724778 + 0.0*i,
    0.114006967179357 + 0.0*i,
    -0.119780445645702 + 0.0*i,
    0.685877371249956 + 0.0*i,
    0.785946181548683 + 0.0*i,
    -0.641239690924483 + 0.0*i,
    0.030438514707742 + 0.0*i,
    0.568009911974528 + 0.0*i,
    -0.11424036326809 + 0.0*i,
    0.700059922603825 + 0.0*i,
    -0.764385345732311 + 0.0*i,
    0.350478065599398 + 0.0*i,
    0.199026003537588 + 0.0*i,
    0.492776980226686 + 0.0*i,
    0.741317068195137 + 0.0*i,
    0.531211250076159 + 0.0*i,
    -0.390949955133541 + 0.0*i,
    0.0398454067123708 + 0.0*i
]);