V:=Matrix(CC,4,24,[
    -0.502064741676194 + 0.0*i,
    -0.0658090467391086 + 0.0*i,
    -0.146508616714322 + 0.0*i,
    -0.734278662221486 + 0.0*i,
    0.551745722385318 + 0.0*i,
    0.582779559779111 + 0.0*i,
    0.459512272498 + 0.0*i,
    -0.235662153544198 + 0.0*i,
    -1.13042930017224 + 0.0*i,
    -0.588654758017899 + 0.0*i,
    0.441445327254452 + 0.0*i,
    -0.128599197761612 + 0.0*i,
    -0.193905684944229 + 0.0*i,
    -0.259813129917633 + 0.0*i,
    -0.110410148643578 + 0.0*i,
    0.292563050093607 + 0.0*i,
    -0.489458395461391 + 0.0*i,
    0.151642921127547 + 0.0*i,
    -0.142227940561139 + 0.0*i,
    0.160659705227742 + 0.0*i,
    0.896778260409899 + 0.0*i,
    0.0180460966130765 + 0.0*i,
    0.581001989845315 + 0.0*i,
    -0.35855995304633 + 0.0*i,
    0.413167509865509 + 0.0*i,
    -0.238848579108215 + 0.0*i,
    1.18345209001659 + 0.0*i,
    -0.125685343695099 + 0.0*i,
    -0.306693219889524 + 0.0*i,
    -0.0929125106102465 + 0.0*i,
    -0.634252063209489 + 0.0*i,
    0.286291594476252 + 0.0*i,
    -0.225412894839751 + 0.0*i,
    0.39812793435714 + 0.0*i,
    0.191339819397565 + 0.0*i,
    -0.249904885280472 + 0.0*i,
    -0.524901547585544 + 0.0*i,
    0.554877077874258 + 0.0*i,
    0.349137142797226 + 0.0*i,
    0.315456681963006 + 0.0*i,
    -0.0480315534678572 + 0.0*i,
    0.862412961584951 + 0.0*i,
    -0.55301120107867 + 0.0*i,
    -0.127957340017528 + 0.0*i,
    -0.226971684060992 + 0.0*i,
    -0.280343891746165 + 0.0*i,
    0.655918163586403 + 0.0*i,
    -0.665166849696957 + 0.0*i,
    0.791300452608326 + 0.0*i,
    0.501888792071631 + 0.0*i,
    0.37827345030208 + 0.0*i,
    -0.179362040474537 + 0.0*i,
    -0.177427105143951 + 0.0*i,
    -0.159617841674807 + 0.0*i,
    0.214591605390708 + 0.0*i,
    0.73499256191486 + 0.0*i,
    0.198075156896019 + 0.0*i,
    -0.976416497584647 + 0.0*i,
    -0.360379707846443 + 0.0*i,
    -0.622845613791826 + 0.0*i,
    -0.277996218089253 + 0.0*i,
    -0.644960080569634 + 0.0*i,
    -0.55215558137715 + 0.0*i,
    0.0129875578236036 + 0.0*i,
    -0.00130502173282303 + 0.0*i,
    -0.11563108298767 + 0.0*i,
    -0.71465221344589 + 0.0*i,
    -0.527697643232724 + 0.0*i,
    0.153832115407491 + 0.0*i,
    -0.610569680631887 + 0.0*i,
    -0.62784460479024 + 0.0*i,
    0.805019873496886 + 0.0*i,
    0.155528044854107 + 0.0*i,
    -0.281037181286176 + 0.0*i,
    -0.0911788284651786 + 0.0*i,
    -0.182680261782426 + 0.0*i,
    0.443908154389822 + 0.0*i,
    -1.06031543658166 + 0.0*i,
    -0.463364119510742 + 0.0*i,
    -0.188363973738652 + 0.0*i,
    -0.0283868823685815 + 0.0*i,
    -0.257830679014985 + 0.0*i,
    -0.201633307594753 + 0.0*i,
    0.688583147996878 + 0.0*i,
    -0.0134876506988468 + 0.0*i,
    0.363292123451138 + 0.0*i,
    0.0202074258658245 + 0.0*i,
    -0.232613905419069 + 0.0*i,
    -1.21401690970465 + 0.0*i,
    -0.864348658846579 + 0.0*i,
    -0.699269404743309 + 0.0*i,
    0.609219869550515 + 0.0*i,
    0.0729307233430942 + 0.0*i,
    0.816755976588756 + 0.0*i,
    0.512089856696599 + 0.0*i,
    0.701150269126576 + 0.0*i
]);