V:=Matrix(CC,4,38,[
    -0.201668880889283 + 0.0*i,
    -0.386657373178539 + 0.0*i,
    0.144040814094482 + 0.0*i,
    0.460566944579664 + 0.0*i,
    0.334843144372945 + 0.0*i,
    -0.725055628070263 + 0.0*i,
    -0.198391946697364 + 0.0*i,
    0.652670919215831 + 0.0*i,
    0.168385943022154 + 0.0*i,
    -0.402528264506862 + 0.0*i,
    -0.286373836191327 + 0.0*i,
    -0.0407786791348988 + 0.0*i,
    -0.408730095340083 + 0.0*i,
    0.157685570521321 + 0.0*i,
    -0.429473234598295 + 0.0*i,
    0.551497149001859 + 0.0*i,
    -0.666431956941946 + 0.0*i,
    -0.917030274604415 + 0.0*i,
    -0.113696954307437 + 0.0*i,
    0.63425937153496 + 0.0*i,
    0.946099164051272 + 0.0*i,
    -0.694125316399466 + 0.0*i,
    0.018638175624677 + 0.0*i,
    -0.555144295960433 + 0.0*i,
    -0.21718567195743 + 0.0*i,
    -0.524618385182225 + 0.0*i,
    -0.0276962905348147 + 0.0*i,
    0.186929153989989 + 0.0*i,
    0.33924284642604 + 0.0*i,
    -0.107286011292844 + 0.0*i,
    0.515923401318505 + 0.0*i,
    -0.682054237931191 + 0.0*i,
    -0.739588804399674 + 0.0*i,
    0.558175915967358 + 0.0*i,
    -0.0358738062504203 + 0.0*i,
    0.86784208345417 + 0.0*i,
    -0.0724108116148675 + 0.0*i,
    0.722507064336009 + 0.0*i,
    -0.0542613242865211 + 0.0*i,
    -0.356405141392567 + 0.0*i,
    -0.0721577813223682 + 0.0*i,
    -0.744731004376031 + 0.0*i,
    0.409816337160793 + 0.0*i,
    -0.510812881917309 + 0.0*i,
    -0.693375627624478 + 0.0*i,
    0.573596367075297 + 0.0*i,
    -0.745690023034505 + 0.0*i,
    0.339705996432584 + 0.0*i,
    0.138928474984525 + 0.0*i,
    -0.675300178136515 + 0.0*i,
    0.557085731605549 + 0.0*i,
    0.686263291467757 + 0.0*i,
    -0.19097995337341 + 0.0*i,
    0.16150696740433 + 0.0*i,
    0.737983738359098 + 0.0*i,
    -0.0227559195947907 + 0.0*i,
    0.227081283422847 + 0.0*i,
    0.401172744075355 + 0.0*i,
    -0.157822785805173 + 0.0*i,
    0.226072779816435 + 0.0*i,
    0.905603277834267 + 0.0*i,
    0.331497007234941 + 0.0*i,
    -0.480754634895124 + 0.0*i,
    0.676283241220083 + 0.0*i,
    0.210593672491582 + 0.0*i,
    0.981686955533418 + 0.0*i,
    -0.294040691923059 + 0.0*i,
    -0.457044443441704 + 0.0*i,
    -0.300030456818884 + 0.0*i,
    -0.270962333309387 + 0.0*i,
    0.0422333756716934 + 0.0*i,
    -0.00409154864866185 + 0.0*i,
    -0.804141211237357 + 0.0*i,
    -0.181922983923169 + 0.0*i,
    -0.200594496428983 + 0.0*i,
    0.650070919661465 + 0.0*i,
    -0.426246027215832 + 0.0*i,
    -0.719197354235676 + 0.0*i,
    -0.961442427416711 + 0.0*i,
    0.50738699174246 + 0.0*i,
    0.829947445136037 + 0.0*i,
    0.315390279903529 + 0.0*i,
    0.688549520605081 + 0.0*i,
    -0.3223093438706 + 0.0*i,
    -0.606634902569141 + 0.0*i,
    0.786190419680239 + 0.0*i,
    0.646006490471232 + 0.0*i,
    0.406219735700337 + 0.0*i,
    -0.322244309508276 + 0.0*i,
    0.204171175836261 + 0.0*i,
    0.536016926578402 + 0.0*i,
    -0.843984926842521 + 0.0*i,
    0.158638613065011 + 0.0*i,
    0.329491190116001 + 0.0*i,
    -0.893466608856647 + 0.0*i,
    0.349899796594425 + 0.0*i,
    0.0280084340032418 + 0.0*i,
    0.620627024801269 + 0.0*i,
    -0.23169555674984 + 0.0*i,
    0.24106581001672 + 0.0*i,
    0.679225734157903 + 0.0*i,
    0.0909140055065143 + 0.0*i,
    -0.154072533255454 + 0.0*i,
    -0.0136205082997963 + 0.0*i,
    0.833269010477049 + 0.0*i,
    0.00301379074056415 + 0.0*i,
    0.458594220148492 + 0.0*i,
    -0.115807527652299 + 0.0*i,
    -0.651367202821458 + 0.0*i,
    -0.168544663663222 + 0.0*i,
    -0.452069842886809 + 0.0*i,
    0.327452237095141 + 0.0*i,
    -0.644723256816167 + 0.0*i,
    0.284665887400767 + 0.0*i,
    0.871719367534014 + 0.0*i,
    0.439112982153682 + 0.0*i,
    0.122232835189196 + 0.0*i,
    0.0938489170611962 + 0.0*i,
    0.118593601514167 + 0.0*i,
    -0.370129460435007 + 0.0*i,
    0.0814015570301107 + 0.0*i,
    -0.321153767601591 + 0.0*i,
    0.256711080945992 + 0.0*i,
    0.314422972408581 + 0.0*i,
    -0.676491022266208 + 0.0*i,
    0.592923898716106 + 0.0*i,
    0.635059381398972 + 0.0*i,
    -0.671961209544936 + 0.0*i,
    0.682401185275843 + 0.0*i,
    -0.189520781415085 + 0.0*i,
    0.157468148590022 + 0.0*i,
    0.204407865798148 + 0.0*i,
    -0.349604780766944 + 0.0*i,
    0.56627513006618 + 0.0*i,
    0.287539455299626 + 0.0*i,
    -0.259452885517162 + 0.0*i,
    0.365716499824562 + 0.0*i,
    0.727769548266772 + 0.0*i,
    -0.507022879214005 + 0.0*i,
    -0.524328062320347 + 0.0*i,
    -0.958208964488699 + 0.0*i,
    -0.140322635796919 + 0.0*i,
    -0.329688356857673 + 0.0*i,
    -0.891941424844517 + 0.0*i,
    0.649425099983317 + 0.0*i,
    0.664034979795298 + 0.0*i,
    -0.127643949565658 + 0.0*i,
    0.803801586962604 + 0.0*i,
    -0.418507096462013 + 0.0*i,
    -0.343019923743378 + 0.0*i,
    -0.722565140313124 + 0.0*i,
    -0.0682721855903537 + 0.0*i
]);