V:=Matrix(CC,4,43,[
    0.248341664104501 + 0.0*i,
    0.862141579265001 + 0.0*i,
    -0.0380676403444928 + 0.0*i,
    -0.808435426272852 + 0.0*i,
    0.0291878148747371 + 0.0*i,
    0.0888963541285679 + 0.0*i,
    0.287842494592848 + 0.0*i,
    -0.476057688651625 + 0.0*i,
    0.112459849660629 + 0.0*i,
    0.179894990361172 + 0.0*i,
    -0.368481314287653 + 0.0*i,
    -0.575865681337839 + 0.0*i,
    0.773640996556929 + 0.0*i,
    -0.630203634253465 + 0.0*i,
    -0.00528136958745274 + 0.0*i,
    0.283628502171773 + 0.0*i,
    0.052929652700797 + 0.0*i,
    -0.235049206795747 + 0.0*i,
    -0.587570166897428 + 0.0*i,
    0.353440031456227 + 0.0*i,
    0.0489352578991005 + 0.0*i,
    -0.480162200713343 + 0.0*i,
    1.08237059677193 + 0.0*i,
    0.227107765464981 + 0.0*i,
    -0.0873918683474406 + 0.0*i,
    -1.02613223762676 + 0.0*i,
    -0.312878381840321 + 0.0*i,
    0.165697329519159 + 0.0*i,
    0.219531413967841 + 0.0*i,
    0.229146925587294 + 0.0*i,
    -0.370523099870489 + 0.0*i,
    0.0670517068098915 + 0.0*i,
    -0.669302815224236 + 0.0*i,
    -0.737146789946831 + 0.0*i,
    -0.382598532895881 + 0.0*i,
    -0.56862406648503 + 0.0*i,
    -0.225622162560999 + 0.0*i,
    -0.0474652866789717 + 0.0*i,
    0.0614939002514809 + 0.0*i,
    0.238934460507116 + 0.0*i,
    0.391107906691282 + 0.0*i,
    0.419996424007697 + 0.0*i,
    -0.525641932953069 + 0.0*i,
    -0.847012595596072 + 0.0*i,
    -0.0686706298623928 + 0.0*i,
    -0.976955822258678 + 0.0*i,
    0.517023643931019 + 0.0*i,
    -0.187459322578935 + 0.0*i,
    -0.608580038880818 + 0.0*i,
    -0.100102180573842 + 0.0*i,
    -0.531661527634562 + 0.0*i,
    -0.18649417555438 + 0.0*i,
    -0.135045681555557 + 0.0*i,
    0.295076498731557 + 0.0*i,
    -0.00483186135026663 + 0.0*i,
    0.158397935338852 + 0.0*i,
    -0.673240510795315 + 0.0*i,
    0.690396298189347 + 0.0*i,
    0.0931431323109135 + 0.0*i,
    -0.710123757420943 + 0.0*i,
    0.303915396974705 + 0.0*i,
    -0.375699540412427 + 0.0*i,
    -0.390794565730726 + 0.0*i,
    -0.144387051067241 + 0.0*i,
    -1.01074126355164 + 0.0*i,
    0.617914921983205 + 0.0*i,
    0.702714662447428 + 0.0*i,
    -0.0849491865156622 + 0.0*i,
    -0.665869440517132 + 0.0*i,
    -0.569259187087909 + 0.0*i,
    -0.408217434099355 + 0.0*i,
    0.425187837426521 + 0.0*i,
    -0.123611095902849 + 0.0*i,
    -0.547090687822125 + 0.0*i,
    0.107482417403311 + 0.0*i,
    -0.0297408388949893 + 0.0*i,
    -0.365205773340754 + 0.0*i,
    0.0625100571823463 + 0.0*i,
    -0.706245528926646 + 0.0*i,
    -0.528311481099681 + 0.0*i,
    0.522456389527979 + 0.0*i,
    0.0874386849384732 + 0.0*i,
    -0.409632096873002 + 0.0*i,
    -0.494324876192171 + 0.0*i,
    -0.0921232244557403 + 0.0*i,
    -0.412138855747971 + 0.0*i,
    0.415558439562488 + 0.0*i,
    0.333408719561159 + 0.0*i,
    -0.0762758723180134 + 0.0*i,
    0.77537968273609 + 0.0*i,
    -0.455846019763113 + 0.0*i,
    -0.0826104928496208 + 0.0*i,
    -0.0864344358521527 + 0.0*i,
    0.438558395601408 + 0.0*i,
    0.672982497612585 + 0.0*i,
    0.256297790690857 + 0.0*i,
    0.323449917316948 + 0.0*i,
    0.418632479091049 + 0.0*i,
    0.604858280806814 + 0.0*i,
    0.383705425861518 + 0.0*i,
    -0.0849789376899351 + 0.0*i,
    0.573662624655205 + 0.0*i,
    -0.64341228772799 + 0.0*i,
    0.0847361605441603 + 0.0*i,
    1.02329981861425 + 0.0*i,
    0.669771561879342 + 0.0*i,
    -0.0576155860697802 + 0.0*i,
    -0.355985251155588 + 0.0*i,
    0.193096779415604 + 0.0*i,
    -0.31429946877168 + 0.0*i,
    0.409963259156575 + 0.0*i,
    -0.160864222301888 + 0.0*i,
    0.821582168745369 + 0.0*i,
    0.739727227409008 + 0.0*i,
    0.544305136185225 + 0.0*i,
    -0.174800662784648 + 0.0*i,
    0.181134212593677 + 0.0*i,
    0.301844411114348 + 0.0*i,
    0.0617599540820793 + 0.0*i,
    -0.117864438559968 + 0.0*i,
    -0.689169068954196 + 0.0*i,
    -0.378474471435455 + 0.0*i,
    0.732762600945933 + 0.0*i,
    0.21370328563404 + 0.0*i,
    0.288451641532447 + 0.0*i,
    0.577295854537645 + 0.0*i,
    -0.509700966733125 + 0.0*i,
    -0.000982067467344074 + 0.0*i,
    0.6094817926306 + 0.0*i,
    0.631674531698303 + 0.0*i,
    -0.195539903101643 + 0.0*i,
    0.742300118246163 + 0.0*i,
    0.209873704786991 + 0.0*i,
    -0.633877075006741 + 0.0*i,
    0.512414081428042 + 0.0*i,
    -0.950702796506203 + 0.0*i,
    0.188964149068591 + 0.0*i,
    0.492574755922599 + 0.0*i,
    0.00677491307748555 + 0.0*i,
    -0.587045880864278 + 0.0*i,
    0.448921659500325 + 0.0*i,
    0.682524814556606 + 0.0*i,
    0.225440094434866 + 0.0*i,
    -0.668212176349145 + 0.0*i,
    0.133920195681186 + 0.0*i,
    -0.757153223295867 + 0.0*i,
    0.0231658092406991 + 0.0*i,
    0.369823063969956 + 0.0*i,
    -0.678983787445233 + 0.0*i,
    0.760564783547852 + 0.0*i,
    -0.246296152784336 + 0.0*i,
    0.712741225923312 + 0.0*i,
    0.348291566898556 + 0.0*i,
    0.670691130351606 + 0.0*i,
    1.1815184660707 + 0.0*i,
    0.0189104774863224 + 0.0*i,
    -0.692921642681335 + 0.0*i,
    -0.69952183479721 + 0.0*i,
    0.205834991136525 + 0.0*i,
    0.145888839960718 + 0.0*i,
    0.930153174753252 + 0.0*i,
    -0.588674778538225 + 0.0*i,
    0.148557917440483 + 0.0*i,
    -1.43397318390251 + 0.0*i,
    -0.152730095903832 + 0.0*i,
    -0.364161026769732 + 0.0*i,
    0.446846673690293 + 0.0*i,
    -0.150869560277189 + 0.0*i,
    0.200828882790907 + 0.0*i,
    -0.37809857361619 + 0.0*i,
    -0.498970863137538 + 0.0*i,
    1.07444706068502 + 0.0*i
]);