V:=Matrix(CC,4,24,[
    -0.101413370939449 + 0.0*i,
    0.0921798871181432 + 0.0*i,
    0.0469951463182479 + 0.0*i,
    -0.276266445335953 + 0.0*i,
    0.272310632841138 + 0.0*i,
    0.370872236386296 + 0.0*i,
    0.192930800156222 + 0.0*i,
    0.111030131362527 + 0.0*i,
    -0.144505360692662 + 0.0*i,
    0.140138633416139 + 0.0*i,
    -0.204926997914089 + 0.0*i,
    0.00763330137746431 + 0.0*i,
    -0.160446848922425 + 0.0*i,
    -0.223852615246518 + 0.0*i,
    -0.302210767964697 + 0.0*i,
    0.0184415172642732 + 0.0*i,
    -0.341518605952005 + 0.0*i,
    -0.123808655283544 + 0.0*i,
    -0.321408435896487 + 0.0*i,
    0.014565254046952 + 0.0*i,
    -0.0677516715967705 + 0.0*i,
    -0.0455903033734527 + 0.0*i,
    -0.200025360252708 + 0.0*i,
    -0.161120075798041 + 0.0*i,
    0.218144625598619 + 0.0*i,
    0.348665711776808 + 0.0*i,
    -0.0221106681223641 + 0.0*i,
    0.125059253005258 + 0.0*i,
    0.128163135754494 + 0.0*i,
    0.181310033496949 + 0.0*i,
    -0.340573037446689 + 0.0*i,
    0.256941968925992 + 0.0*i,
    -0.161702514859115 + 0.0*i,
    0.0610459279601704 + 0.0*i,
    -0.343443999344616 + 0.0*i,
    0.184333228469902 + 0.0*i,
    -0.231883111281284 + 0.0*i,
    0.264741089793736 + 0.0*i,
    0.00830063032600653 + 0.0*i,
    -0.247139591343177 + 0.0*i,
    0.101568118603615 + 0.0*i,
    0.241083033683663 + 0.0*i,
    -0.115910514155664 + 0.0*i,
    -0.297935445721415 + 0.0*i,
    0.0436841134319687 + 0.0*i,
    0.0656611569292349 + 0.0*i,
    -0.321139330322028 + 0.0*i,
    0.284965526783744 + 0.0*i,
    -0.333106845415747 + 0.0*i,
    0.194772039924658 + 0.0*i,
    0.371071835933794 + 0.0*i,
    -0.0623866585688391 + 0.0*i,
    0.215732619145026 + 0.0*i,
    0.0292634350643313 + 0.0*i,
    0.0274698640815489 + 0.0*i,
    -0.017040111500797 + 0.0*i,
    -0.0208876922727577 + 0.0*i,
    -0.0580749197394085 + 0.0*i,
    -0.0732608224306188 + 0.0*i,
    -0.166445635331373 + 0.0*i,
    0.26139789839813 + 0.0*i,
    -0.164942382092358 + 0.0*i,
    0.210865704907272 + 0.0*i,
    -0.302954201787945 + 0.0*i,
    -0.216139136612358 + 0.0*i,
    0.0242451419341808 + 0.0*i,
    -0.136659220291464 + 0.0*i,
    0.168949140409991 + 0.0*i,
    0.151687390202355 + 0.0*i,
    0.342129846257038 + 0.0*i,
    -0.0285015676264095 + 0.0*i,
    0.194505084530587 + 0.0*i,
    -0.058655528264847 + 0.0*i,
    -0.0476247848670817 + 0.0*i,
    0.180406997833985 + 0.0*i,
    -0.278088807755067 + 0.0*i,
    0.256924121344069 + 0.0*i,
    0.0320778358392865 + 0.0*i,
    0.140256202965065 + 0.0*i,
    0.299915658596654 + 0.0*i,
    0.354062080537216 + 0.0*i,
    0.381678347616861 + 0.0*i,
    0.0215620378989513 + 0.0*i,
    -0.323458724030162 + 0.0*i,
    0.155282993699746 + 0.0*i,
    0.161527559852724 + 0.0*i,
    0.196377391991518 + 0.0*i,
    -0.13117348346021 + 0.0*i,
    0.000543691233276054 + 0.0*i,
    0.311469496668485 + 0.0*i,
    0.195222218898313 + 0.0*i,
    0.220470448520533 + 0.0*i,
    0.377722047239773 + 0.0*i,
    -0.227484510293601 + 0.0*i,
    -0.152005175417598 + 0.0*i,
    0.157858279757844 + 0.0*i
]);