V:=Matrix(CC,4,45,[
    -0.0327910728453986 + 0.0*i,
    -0.031854510890522 + 0.0*i,
    0.213404340769843 + 0.0*i,
    -0.342999444302872 + 0.0*i,
    -0.202230574532996 + 0.0*i,
    -0.0110169379311464 + 0.0*i,
    0.0841026068292885 + 0.0*i,
    0.0458069432545723 + 0.0*i,
    -0.20118999764087 + 0.0*i,
    0.00862647690015513 + 0.0*i,
    0.0855359978677091 + 0.0*i,
    -0.156957433784525 + 0.0*i,
    0.0366777384731218 + 0.0*i,
    0.241858000717607 + 0.0*i,
    0.370623010525532 + 0.0*i,
    -0.234070469197275 + 0.0*i,
    0.114404754422656 + 0.0*i,
    0.109577299842263 + 0.0*i,
    -0.393267671740939 + 0.0*i,
    0.343658174151453 + 0.0*i,
    0.37119009268992 + 0.0*i,
    -0.0584673563976663 + 0.0*i,
    -0.307218614225215 + 0.0*i,
    -0.218173565951298 + 0.0*i,
    0.22431239840315 + 0.0*i,
    -0.123512215572541 + 0.0*i,
    -0.230558303909827 + 0.0*i,
    0.0495237416916656 + 0.0*i,
    -0.228615221473079 + 0.0*i,
    -0.299512924831847 + 0.0*i,
    -0.0686296117523278 + 0.0*i,
    0.172203524508176 + 0.0*i,
    -0.0583549205636685 + 0.0*i,
    0.168854479863813 + 0.0*i,
    0.0318665685189999 + 0.0*i,
    -0.245994939870522 + 0.0*i,
    0.259228930081594 + 0.0*i,
    -0.138903100823477 + 0.0*i,
    0.130615503949582 + 0.0*i,
    -0.0862182924698964 + 0.0*i,
    0.0243501246817553 + 0.0*i,
    -0.398691491305445 + 0.0*i,
    -0.185949327457928 + 0.0*i,
    0.0959628052362087 + 0.0*i,
    -0.255103148133607 + 0.0*i,
    -0.393465630315598 + 0.0*i,
    -0.291089052925559 + 0.0*i,
    -0.0274982256191914 + 0.0*i,
    0.140722448563305 + 0.0*i,
    0.196111710890125 + 0.0*i,
    -0.101101647797582 + 0.0*i,
    0.28511273774148 + 0.0*i,
    0.252288353770039 + 0.0*i,
    -0.118756913285458 + 0.0*i,
    0.0666453334376984 + 0.0*i,
    -0.154973740736177 + 0.0*i,
    -0.103667257051802 + 0.0*i,
    0.100797158993503 + 0.0*i,
    0.291838408608561 + 0.0*i,
    0.0418486988671893 + 0.0*i,
    -0.24864945488515 + 0.0*i,
    -0.0673116206827712 + 0.0*i,
    0.298726709761649 + 0.0*i,
    0.0764212347935999 + 0.0*i,
    0.118034107306365 + 0.0*i,
    -0.147047362992937 + 0.0*i,
    -0.168917361552154 + 0.0*i,
    -0.0690460619122861 + 0.0*i,
    -0.114334753195934 + 0.0*i,
    -0.321145495137879 + 0.0*i,
    0.299708802991199 + 0.0*i,
    0.231435124635193 + 0.0*i,
    0.0318478144659825 + 0.0*i,
    0.0478221979322853 + 0.0*i,
    -0.254608983846501 + 0.0*i,
    -0.0340639682057137 + 0.0*i,
    -0.00957420774014419 + 0.0*i,
    0.134970530420623 + 0.0*i,
    -0.32830558017484 + 0.0*i,
    0.37255034536467 + 0.0*i,
    0.132711786935077 + 0.0*i,
    -0.157988783486745 + 0.0*i,
    0.268235694136321 + 0.0*i,
    0.395284445069362 + 0.0*i,
    -0.00157635517658248 + 0.0*i,
    0.151657986703623 + 0.0*i,
    -0.0565542188688211 + 0.0*i,
    0.376290650967854 + 0.0*i,
    0.180923544759405 + 0.0*i,
    0.142107150946459 + 0.0*i,
    -0.0937545198718962 + 0.0*i,
    0.0441816981511583 + 0.0*i,
    -0.11615106570572 + 0.0*i,
    -0.19136119216941 + 0.0*i,
    -0.0723064064871515 + 0.0*i,
    -0.122446415042976 + 0.0*i,
    0.218303247656761 + 0.0*i,
    -0.327482021928458 + 0.0*i,
    -0.330589480045528 + 0.0*i,
    0.0558130354900149 + 0.0*i,
    0.366706037672074 + 0.0*i,
    0.352550123332126 + 0.0*i,
    -0.191849835325291 + 0.0*i,
    0.190970268247719 + 0.0*i,
    -0.186327849889038 + 0.0*i,
    0.043252070031736 + 0.0*i,
    0.373903356255401 + 0.0*i,
    0.248730889457904 + 0.0*i,
    -0.000702329419492546 + 0.0*i,
    0.103604748520357 + 0.0*i,
    -0.0450669174226923 + 0.0*i,
    -0.377504641447105 + 0.0*i,
    -0.254624774341089 + 0.0*i,
    0.0987457494671987 + 0.0*i,
    -0.060833700012217 + 0.0*i,
    -0.184444219363186 + 0.0*i,
    0.105669037339451 + 0.0*i,
    0.308031423495217 + 0.0*i,
    0.312443025465024 + 0.0*i,
    0.123940653807632 + 0.0*i,
    -0.281541528036577 + 0.0*i,
    0.16132394995137 + 0.0*i,
    -0.216861286465003 + 0.0*i,
    -0.189601685849672 + 0.0*i,
    0.0314552096317474 + 0.0*i,
    -0.105945529966261 + 0.0*i,
    -0.286642764247871 + 0.0*i,
    -0.262270747467705 + 0.0*i,
    -0.177132634757139 + 0.0*i,
    0.40460710870175 + 0.0*i,
    0.355342729769007 + 0.0*i,
    -0.000327578928479361 + 0.0*i,
    -0.0878903553914098 + 0.0*i,
    -0.306167530077819 + 0.0*i,
    -0.238659073321284 + 0.0*i,
    0.0723515766392974 + 0.0*i,
    0.297611550804524 + 0.0*i,
    -0.341503759951968 + 0.0*i,
    0.0416578509683878 + 0.0*i,
    -0.295227689172947 + 0.0*i,
    -0.419839450244345 + 0.0*i,
    -0.2020275706506 + 0.0*i,
    -0.00125066234344354 + 0.0*i,
    -0.0974838726967384 + 0.0*i,
    -0.423198646936073 + 0.0*i,
    0.139809114776314 + 0.0*i,
    -0.150549178437018 + 0.0*i,
    -0.339976517822421 + 0.0*i,
    0.0477584491342524 + 0.0*i,
    -0.0489820432418588 + 0.0*i,
    0.238294778308242 + 0.0*i,
    -0.0670926843612302 + 0.0*i,
    0.178219994056896 + 0.0*i,
    -0.111033873064257 + 0.0*i,
    0.184914088963943 + 0.0*i,
    -0.0769618500567108 + 0.0*i,
    0.0327712747952429 + 0.0*i,
    0.179836339724822 + 0.0*i,
    -0.34922545521547 + 0.0*i,
    0.14793265403296 + 0.0*i,
    -0.171570464593351 + 0.0*i,
    0.276721813650419 + 0.0*i,
    0.234836491811429 + 0.0*i,
    0.192744049978304 + 0.0*i,
    -0.121182913624469 + 0.0*i,
    0.309993965555108 + 0.0*i,
    0.343847964254186 + 0.0*i,
    -0.282245859336724 + 0.0*i,
    -0.0692471225948937 + 0.0*i,
    0.200025804706512 + 0.0*i,
    0.294582045166663 + 0.0*i,
    0.018158406539478 + 0.0*i,
    0.184420419428122 + 0.0*i,
    -0.0383370442479715 + 0.0*i,
    0.0551237543496179 + 0.0*i,
    0.155032497966746 + 0.0*i,
    0.0888010737971603 + 0.0*i,
    0.0239404879591151 + 0.0*i,
    -0.207347451250787 + 0.0*i,
    -0.176411964910271 + 0.0*i
]);