V:=Matrix(CC,4,47,[
    0.0135558804981105 + 0.0*i,
    -0.201067725689217 + 0.0*i,
    -0.119285427260717 + 0.0*i,
    -0.461962654257684 + 0.0*i,
    -0.163962180113626 + 0.0*i,
    -0.548626314584597 + 0.0*i,
    -0.059435265655983 + 0.0*i,
    -0.465032343977812 + 0.0*i,
    0.161340054862222 + 0.0*i,
    -0.155544102304796 + 0.0*i,
    0.462465157721876 + 0.0*i,
    0.075628805153039 + 0.0*i,
    0.639561039205124 + 0.0*i,
    0.0049484847171711 + 0.0*i,
    0.788276388026982 + 0.0*i,
    -0.215708295694531 + 0.0*i,
    -0.266273579948817 + 0.0*i,
    0.0205559659714027 + 0.0*i,
    -0.728238374337543 + 0.0*i,
    -0.271239788918059 + 0.0*i,
    -0.965208453990018 + 0.0*i,
    0.964441746758606 + 0.0*i,
    0.150788152898182 + 0.0*i,
    0.148735443245321 + 0.0*i,
    -0.0357250919361765 + 0.0*i,
    0.656833755817839 + 0.0*i,
    0.859597818285348 + 0.0*i,
    -0.397105370213466 + 0.0*i,
    0.562090556660777 + 0.0*i,
    -0.116224827673779 + 0.0*i,
    -0.0173050033739571 + 0.0*i,
    -0.185978147270157 + 0.0*i,
    -0.492621452281627 + 0.0*i,
    0.704504580376319 + 0.0*i,
    0.697666794274754 + 0.0*i,
    0.05669702075985 + 0.0*i,
    -0.371373647328243 + 0.0*i,
    -0.750500700775441 + 0.0*i,
    0.10716920637112 + 0.0*i,
    0.633276455260445 + 0.0*i,
    -0.573643462732925 + 0.0*i,
    0.252812872765716 + 0.0*i,
    -0.157996259144932 + 0.0*i,
    -1.06833959058685 + 0.0*i,
    0.173415703956608 + 0.0*i,
    0.502416533161247 + 0.0*i,
    0.65779882944873 + 0.0*i,
    1.07765363352425 + 0.0*i,
    0.728509138504993 + 0.0*i,
    -0.556952144508313 + 0.0*i,
    -0.31429287058972 + 0.0*i,
    -0.907742946821616 + 0.0*i,
    -0.385018872150521 + 0.0*i,
    0.461979287470444 + 0.0*i,
    -0.756960681738117 + 0.0*i,
    -0.450185497790127 + 0.0*i,
    -0.645799174046317 + 0.0*i,
    -0.541076030315141 + 0.0*i,
    -0.347950213307514 + 0.0*i,
    -0.473325465789745 + 0.0*i,
    -0.396972833515548 + 0.0*i,
    -0.184866430329782 + 0.0*i,
    0.738751312751002 + 0.0*i,
    -0.39146861218084 + 0.0*i,
    0.280448149937749 + 0.0*i,
    -0.846587889006176 + 0.0*i,
    0.0822022612001005 + 0.0*i,
    -0.137543674240606 + 0.0*i,
    0.170135664578775 + 0.0*i,
    0.654519789722174 + 0.0*i,
    -0.337859175055434 + 0.0*i,
    -0.627521415705971 + 0.0*i,
    0.685417804707935 + 0.0*i,
    -0.634284404411064 + 0.0*i,
    -0.32758692724611 + 0.0*i,
    0.19898299440154 + 0.0*i,
    0.711238910033744 + 0.0*i,
    -0.614308164167272 + 0.0*i,
    -0.0855664988744613 + 0.0*i,
    0.458416446062087 + 0.0*i,
    -0.251120021515306 + 0.0*i,
    -0.59717014508248 + 0.0*i,
    -0.93562422755775 + 0.0*i,
    -0.247166168605577 + 0.0*i,
    0.361836076068963 + 0.0*i,
    -0.066640401246871 + 0.0*i,
    0.606622317007988 + 0.0*i,
    -0.333061309906623 + 0.0*i,
    -0.511551101296487 + 0.0*i,
    0.646113240099446 + 0.0*i,
    -0.0172501743268065 + 0.0*i,
    0.451909662861124 + 0.0*i,
    -0.82564394702974 + 0.0*i,
    0.00524705410259696 + 0.0*i,
    0.31996046729164 + 0.0*i,
    0.386316325652965 + 0.0*i,
    -0.252755334219065 + 0.0*i,
    -0.675167224049494 + 0.0*i,
    0.583744770211329 + 0.0*i,
    -0.278897827360611 + 0.0*i,
    0.810071307557641 + 0.0*i,
    -0.384282528295299 + 0.0*i,
    -1.13310436999127 + 0.0*i,
    0.258524839749094 + 0.0*i,
    0.559579231815765 + 0.0*i,
    0.502875258228084 + 0.0*i,
    0.736877193465151 + 0.0*i,
    0.424842185624315 + 0.0*i,
    0.619733426713367 + 0.0*i,
    0.0635792082473479 + 0.0*i,
    0.731933863369446 + 0.0*i,
    -0.218553119190319 + 0.0*i,
    0.127825006139323 + 0.0*i,
    0.122207630405096 + 0.0*i,
    0.165517415265095 + 0.0*i,
    -0.586945373324801 + 0.0*i,
    -0.0238137101166587 + 0.0*i,
    1.0427886766888 + 0.0*i,
    0.120827685329036 + 0.0*i,
    -0.17311876522117 + 0.0*i,
    -0.0163267199643048 + 0.0*i,
    0.506514826552705 + 0.0*i,
    -0.920269193223901 + 0.0*i,
    0.39644101792862 + 0.0*i,
    -0.573672223870908 + 0.0*i,
    -0.422492011214768 + 0.0*i,
    0.171826393795663 + 0.0*i,
    -0.332289856429361 + 0.0*i,
    -0.657125464722577 + 0.0*i,
    0.374414303903732 + 0.0*i,
    -0.991228361948623 + 0.0*i,
    0.197758261631897 + 0.0*i,
    -0.11523285692895 + 0.0*i,
    0.614467029671786 + 0.0*i,
    -0.0454893673569585 + 0.0*i,
    0.181828331985577 + 0.0*i,
    0.266119766913702 + 0.0*i,
    -0.380828509724264 + 0.0*i,
    -0.783795752356978 + 0.0*i,
    0.173204077815871 + 0.0*i,
    0.119305185427425 + 0.0*i,
    0.175846456077311 + 0.0*i,
    -0.315197092555815 + 0.0*i,
    0.0920722241605819 + 0.0*i,
    0.351170625574406 + 0.0*i,
    0.302760845263105 + 0.0*i,
    -0.950254290606692 + 0.0*i,
    0.631890049384227 + 0.0*i,
    0.674752905808984 + 0.0*i,
    0.40665339752265 + 0.0*i,
    -0.226587121038332 + 0.0*i,
    -0.446131023112267 + 0.0*i,
    -0.242469910655731 + 0.0*i,
    0.337767616703652 + 0.0*i,
    1.04249337985089 + 0.0*i,
    -0.486086244132811 + 0.0*i,
    0.491740139857451 + 0.0*i,
    -0.18842385288696 + 0.0*i,
    -0.580848874591464 + 0.0*i,
    -0.299786008704297 + 0.0*i,
    0.252085306198696 + 0.0*i,
    0.612284097450136 + 0.0*i,
    0.356492376764722 + 0.0*i,
    -0.244853092243384 + 0.0*i,
    0.0974273479003351 + 0.0*i,
    -0.63750850536088 + 0.0*i,
    -0.366259658826165 + 0.0*i,
    -0.02064870916706 + 0.0*i,
    0.0979570943079277 + 0.0*i,
    -0.437647812674923 + 0.0*i,
    -0.639917928127792 + 0.0*i,
    0.188230628883539 + 0.0*i,
    1.02573999251293 + 0.0*i,
    0.919551608351835 + 0.0*i,
    0.882537210503265 + 0.0*i,
    -0.152955360000333 + 0.0*i,
    -0.359539027292198 + 0.0*i,
    -0.17267963906132 + 0.0*i,
    0.147214418132823 + 0.0*i,
    -0.401858935852919 + 0.0*i,
    0.0978825066001652 + 0.0*i,
    0.085285186087086 + 0.0*i,
    -0.38543066389165 + 0.0*i,
    -0.140845561209422 + 0.0*i,
    -0.224454307701062 + 0.0*i,
    0.601531555219337 + 0.0*i,
    0.453356969188846 + 0.0*i,
    0.395105499017712 + 0.0*i
]);