V:=Matrix(CC,4,48,[
    0.0281546693910179 + 0.0*i,
    -0.368233412960116 + 0.0*i,
    0.173185010289967 + 0.0*i,
    -0.990870472118219 + 0.0*i,
    -0.275038669254775 + 0.0*i,
    -0.129142816106891 + 0.0*i,
    -0.442217698962715 + 0.0*i,
    0.225197714470297 + 0.0*i,
    -0.130638274368053 + 0.0*i,
    0.248771051416664 + 0.0*i,
    0.146286297688352 + 0.0*i,
    1.17328263502963 + 0.0*i,
    -0.157371602100326 + 0.0*i,
    -0.815122903714667 + 0.0*i,
    0.451006262868524 + 0.0*i,
    -0.6879212952371 + 0.0*i,
    0.569063123758843 + 0.0*i,
    -0.517738039609093 + 0.0*i,
    0.0544787353968801 + 0.0*i,
    0.281689245456488 + 0.0*i,
    -0.177354985988271 + 0.0*i,
    0.580307184541742 + 0.0*i,
    0.196175123322535 + 0.0*i,
    -0.476385133236357 + 0.0*i,
    -1.05545992879911 + 0.0*i,
    0.133215418507581 + 0.0*i,
    -0.627413869054625 + 0.0*i,
    0.19588561751788 + 0.0*i,
    0.213397821308034 + 0.0*i,
    0.0351444063235562 + 0.0*i,
    -0.548360038046802 + 0.0*i,
    0.787028092117198 + 0.0*i,
    -0.0419764738537569 + 0.0*i,
    0.370543990951645 + 0.0*i,
    -0.365639616777922 + 0.0*i,
    0.68301161149756 + 0.0*i,
    0.496130184640326 + 0.0*i,
    0.0330954372980216 + 0.0*i,
    0.50947109888771 + 0.0*i,
    0.0586778459924995 + 0.0*i,
    0.61613719332124 + 0.0*i,
    0.453102018917994 + 0.0*i,
    0.179482956082661 + 0.0*i,
    -0.473808310245412 + 0.0*i,
    -0.0343971104221198 + 0.0*i,
    0.328800531598273 + 0.0*i,
    1.43093220911564 + 0.0*i,
    0.350596214020362 + 0.0*i,
    -0.106011028895325 + 0.0*i,
    0.02435147435996 + 0.0*i,
    -0.699531430357304 + 0.0*i,
    0.30106969253063 + 0.0*i,
    0.70588874730025 + 0.0*i,
    -0.191447176622571 + 0.0*i,
    -0.264634311671821 + 0.0*i,
    -0.302596903653808 + 0.0*i,
    0.609397506720496 + 0.0*i,
    0.289311167313211 + 0.0*i,
    -0.234638062137824 + 0.0*i,
    0.0545739338510894 + 0.0*i,
    0.602953479590986 + 0.0*i,
    0.560052670021227 + 0.0*i,
    -0.236712229675393 + 0.0*i,
    -0.978873695228188 + 0.0*i,
    0.224784401749386 + 0.0*i,
    0.118072805935995 + 0.0*i,
    0.0315424025300337 + 0.0*i,
    -0.67728653733589 + 0.0*i,
    -1.07492471129037 + 0.0*i,
    0.241326856449373 + 0.0*i,
    -0.526298532619028 + 0.0*i,
    0.53114498939594 + 0.0*i,
    -0.177172772457477 + 0.0*i,
    -0.618739247864067 + 0.0*i,
    0.619702041512656 + 0.0*i,
    0.117761315341026 + 0.0*i,
    0.427609922216728 + 0.0*i,
    -0.210046197827198 + 0.0*i,
    -0.800792050517051 + 0.0*i,
    -0.482159628962737 + 0.0*i,
    -0.383386681442258 + 0.0*i,
    -0.583849302765882 + 0.0*i,
    0.00577022760236776 + 0.0*i,
    0.115090778528592 + 0.0*i,
    0.547512001547023 + 0.0*i,
    -0.252355612965476 + 0.0*i,
    0.812325277599011 + 0.0*i,
    0.25575184212873 + 0.0*i,
    0.00767526480437768 + 0.0*i,
    1.03451923267595 + 0.0*i,
    -0.320174636050159 + 0.0*i,
    -0.279246532058039 + 0.0*i,
    -0.609465227687179 + 0.0*i,
    0.453775611336645 + 0.0*i,
    -0.0148929791217641 + 0.0*i,
    -0.213451934311559 + 0.0*i,
    -0.388801132695635 + 0.0*i,
    -0.354300794434807 + 0.0*i,
    -0.337365684902174 + 0.0*i,
    -0.62990248843585 + 0.0*i,
    0.162740768098796 + 0.0*i,
    0.435073206240361 + 0.0*i,
    -0.107636489266031 + 0.0*i,
    0.00611231210160054 + 0.0*i,
    0.760415855924088 + 0.0*i,
    -0.244147469413506 + 0.0*i,
    0.223883536171294 + 0.0*i,
    0.278081791802814 + 0.0*i,
    -0.197074631933583 + 0.0*i,
    0.139371786907384 + 0.0*i,
    1.14852259368702 + 0.0*i,
    1.02477475250439 + 0.0*i,
    -0.240649714565756 + 0.0*i,
    0.510336551732266 + 0.0*i,
    -0.258792452302918 + 0.0*i,
    0.334880577220536 + 0.0*i,
    -0.714498956404658 + 0.0*i,
    0.0528247427854358 + 0.0*i,
    -0.169992600332851 + 0.0*i,
    0.491237818679629 + 0.0*i,
    0.451691577651957 + 0.0*i,
    0.18965096281454 + 0.0*i,
    0.536481063696584 + 0.0*i,
    -0.164784406994491 + 0.0*i,
    -0.225782851855808 + 0.0*i,
    0.286085433415932 + 0.0*i,
    -0.129447851421386 + 0.0*i,
    -0.201985748645108 + 0.0*i,
    -0.473974089614581 + 0.0*i,
    -0.331605796076195 + 0.0*i,
    0.0749819193807425 + 0.0*i,
    0.203078667514067 + 0.0*i,
    0.476807860000716 + 0.0*i,
    -1.54323679577199 + 0.0*i,
    -0.131665514413315 + 0.0*i,
    0.510972362544562 + 0.0*i,
    0.319181402821779 + 0.0*i,
    1.05769158135169 + 0.0*i,
    -0.560283669811647 + 0.0*i,
    -0.50438946361287 + 0.0*i,
    -0.862277473799483 + 0.0*i,
    -0.848516676026552 + 0.0*i,
    0.201270748682086 + 0.0*i,
    0.00288474348631307 + 0.0*i,
    -0.563920699496566 + 0.0*i,
    0.0630058727733857 + 0.0*i,
    -0.118401863449255 + 0.0*i,
    0.58841883253175 + 0.0*i,
    -0.0644127980325279 + 0.0*i,
    -0.602934573730254 + 0.0*i,
    -0.278456787338149 + 0.0*i,
    -1.16082161054332 + 0.0*i,
    1.05664075002732 + 0.0*i,
    -0.291047680840552 + 0.0*i,
    -0.407066355278979 + 0.0*i,
    0.133238909592165 + 0.0*i,
    -0.254891327544496 + 0.0*i,
    -0.725386617048935 + 0.0*i,
    0.150204889419351 + 0.0*i,
    0.0438838889525435 + 0.0*i,
    0.403119068170168 + 0.0*i,
    -0.405920269555952 + 0.0*i,
    -0.235275477891085 + 0.0*i,
    -0.128489483355334 + 0.0*i,
    -0.841914556634071 + 0.0*i,
    0.270484255428305 + 0.0*i,
    -0.339019447616449 + 0.0*i,
    0.0920753480729745 + 0.0*i,
    -0.355987673178296 + 0.0*i,
    -0.115073306717745 + 0.0*i,
    0.333712469603874 + 0.0*i,
    -0.279021336391159 + 0.0*i,
    -0.528962665038001 + 0.0*i,
    -0.0686421790912994 + 0.0*i,
    -0.532448767400108 + 0.0*i,
    -0.133674829919534 + 0.0*i,
    -0.672786615013688 + 0.0*i,
    -0.917985194702159 + 0.0*i,
    -0.498837456686778 + 0.0*i,
    0.476183917890922 + 0.0*i,
    0.437630982163664 + 0.0*i,
    -0.312930371957409 + 0.0*i,
    -0.486021968234063 + 0.0*i,
    0.322393133859646 + 0.0*i,
    -0.726202718191235 + 0.0*i,
    -0.772746260147076 + 0.0*i,
    -0.0865778515269617 + 0.0*i,
    -0.163833196338287 + 0.0*i,
    1.01978711162989 + 0.0*i,
    -0.280723010993934 + 0.0*i,
    0.316208861375494 + 0.0*i,
    0.160968265821141 + 0.0*i
]);