V:=Matrix(CC,4,57,[
    0.64448286830198 + 0.0*i,
    -0.462959229882405 + 0.0*i,
    -0.022523067824326 + 0.0*i,
    0.239886182040654 + 0.0*i,
    0.410307095714232 + 0.0*i,
    -0.581406487917159 + 0.0*i,
    0.21811292365621 + 0.0*i,
    0.863486859816607 + 0.0*i,
    0.540648604757565 + 0.0*i,
    -0.312823658367047 + 0.0*i,
    0.461849531423621 + 0.0*i,
    0.305108204392314 + 0.0*i,
    0.476923967284923 + 0.0*i,
    0.579885748881844 + 0.0*i,
    0.7850396488306 + 0.0*i,
    0.837502243090284 + 0.0*i,
    0.127497057820694 + 0.0*i,
    0.0949857209342186 + 0.0*i,
    -0.992005216039107 + 0.0*i,
    -0.418012736911971 + 0.0*i,
    -0.0565396515771346 + 0.0*i,
    0.037508046165624 + 0.0*i,
    -0.704946469496749 + 0.0*i,
    0.040752201489445 + 0.0*i,
    -0.0451918535689333 + 0.0*i,
    0.8255265730322 + 0.0*i,
    0.676594779091764 + 0.0*i,
    0.495568136040381 + 0.0*i,
    -0.234250285812912 + 0.0*i,
    -0.117728711498762 + 0.0*i,
    -0.30197754005874 + 0.0*i,
    0.0451687435845784 + 0.0*i,
    0.114214777569747 + 0.0*i,
    0.575146953104075 + 0.0*i,
    0.436703077459496 + 0.0*i,
    -0.554083598103558 + 0.0*i,
    -0.534078817048615 + 0.0*i,
    -0.853298595668218 + 0.0*i,
    0.334024209885787 + 0.0*i,
    0.516298544265342 + 0.0*i,
    -0.081238993755284 + 0.0*i,
    0.467629193219002 + 0.0*i,
    -0.389871471381366 + 0.0*i,
    0.823072776216513 + 0.0*i,
    0.221400552800743 + 0.0*i,
    0.37612276267994 + 0.0*i,
    -0.765275353205727 + 0.0*i,
    0.00572326156163689 + 0.0*i,
    0.257482927567555 + 0.0*i,
    -0.313153486880318 + 0.0*i,
    -0.853559031753316 + 0.0*i,
    -0.0433088824676172 + 0.0*i,
    0.558156963096873 + 0.0*i,
    0.326635335048771 + 0.0*i,
    0.169124885642216 + 0.0*i,
    0.72111945948136 + 0.0*i,
    0.371838340614475 + 0.0*i,
    -0.533472410101575 + 0.0*i,
    -0.45998381198427 + 0.0*i,
    -0.644362818006354 + 0.0*i,
    -0.20722814798109 + 0.0*i,
    0.417547891070001 + 0.0*i,
    0.38306965351452 + 0.0*i,
    -0.787859274793299 + 0.0*i,
    0.15956495569073 + 0.0*i,
    -0.345010800943701 + 0.0*i,
    -0.0710464650958985 + 0.0*i,
    -0.829199450763982 + 0.0*i,
    0.885564008221717 + 0.0*i,
    0.538761565446364 + 0.0*i,
    -0.46760470682235 + 0.0*i,
    0.492787919557922 + 0.0*i,
    -0.376708646277274 + 0.0*i,
    -0.223811057133474 + 0.0*i,
    0.817073915081032 + 0.0*i,
    0.0321381191013756 + 0.0*i,
    0.459204640117546 + 0.0*i,
    0.266485946754565 + 0.0*i,
    0.699107617127173 + 0.0*i,
    -0.695509345031309 + 0.0*i,
    -0.280715331174204 + 0.0*i,
    0.0895622965814577 + 0.0*i,
    -0.0318755382185051 + 0.0*i,
    0.0148732246357318 + 0.0*i,
    0.261083133698231 + 0.0*i,
    0.512368126065715 + 0.0*i,
    0.612350991577211 + 0.0*i,
    -0.354684488450434 + 0.0*i,
    0.290669559681678 + 0.0*i,
    -0.972452300261148 + 0.0*i,
    0.122824441659793 + 0.0*i,
    -0.672400224426127 + 0.0*i,
    -0.620272615938898 + 0.0*i,
    0.136362960970139 + 0.0*i,
    -0.254065496624838 + 0.0*i,
    0.283160421178708 + 0.0*i,
    -0.09384270479168 + 0.0*i,
    0.637352796795802 + 0.0*i,
    0.455914320696092 + 0.0*i,
    -0.648045715426361 + 0.0*i,
    0.357816353765989 + 0.0*i,
    0.917033807564895 + 0.0*i,
    0.798480075094118 + 0.0*i,
    0.606578955224 + 0.0*i,
    -0.313227611843787 + 0.0*i,
    0.400484411249898 + 0.0*i,
    0.621273601555713 + 0.0*i,
    0.35317744845197 + 0.0*i,
    -0.725848858335941 + 0.0*i,
    -0.0704700597060148 + 0.0*i,
    -0.21054361044995 + 0.0*i,
    0.0155581174222434 + 0.0*i,
    -0.0271408827302793 + 0.0*i,
    -0.860721414111874 + 0.0*i,
    -0.421767806312364 + 0.0*i,
    0.0492250955321828 + 0.0*i,
    0.167338255432496 + 0.0*i,
    -0.810466389885875 + 0.0*i,
    -0.587181975354867 + 0.0*i,
    -0.71080658822577 + 0.0*i,
    -0.603450703713857 + 0.0*i,
    0.427285789935359 + 0.0*i,
    -0.740132804165104 + 0.0*i,
    -0.822995291389798 + 0.0*i,
    0.313065401639948 + 0.0*i,
    -0.2625867917892 + 0.0*i,
    -0.0297652771460861 + 0.0*i,
    -0.319527532363073 + 0.0*i,
    -0.314662298355799 + 0.0*i,
    0.325822008158459 + 0.0*i,
    0.92318228142673 + 0.0*i,
    -0.405402361685325 + 0.0*i,
    0.089985782608737 + 0.0*i,
    -0.213108540433339 + 0.0*i,
    -0.00705069391686662 + 0.0*i,
    -0.181532414263101 + 0.0*i,
    -0.0984053734567389 + 0.0*i,
    -0.151198119265334 + 0.0*i,
    -0.50168222920151 + 0.0*i,
    -0.514982761970113 + 0.0*i,
    -0.0614203374824239 + 0.0*i,
    -0.833995604806726 + 0.0*i,
    -0.555980882240096 + 0.0*i,
    0.448639893653258 + 0.0*i,
    0.630329985595751 + 0.0*i,
    -0.914693473985659 + 0.0*i,
    -0.0998829122700181 + 0.0*i,
    0.806558039796864 + 0.0*i,
    -0.0129011397622375 + 0.0*i,
    0.478153134749677 + 0.0*i,
    0.288475221988519 + 0.0*i,
    0.118755165491157 + 0.0*i,
    0.319308426067699 + 0.0*i,
    0.331954362353546 + 0.0*i,
    0.523918868266752 + 0.0*i,
    0.458293944903661 + 0.0*i,
    -0.657237269233814 + 0.0*i,
    0.318558080508606 + 0.0*i,
    0.122174267363937 + 0.0*i,
    0.314461493703338 + 0.0*i,
    0.190479415969341 + 0.0*i,
    -0.952331073179298 + 0.0*i,
    0.735085474510504 + 0.0*i,
    -0.610805005760747 + 0.0*i,
    -0.15293715866623 + 0.0*i,
    0.672292513228972 + 0.0*i,
    0.603417436954174 + 0.0*i,
    -0.806255527494918 + 0.0*i,
    -0.558686179520744 + 0.0*i,
    -0.538706928702291 + 0.0*i,
    -0.0248087385724399 + 0.0*i,
    0.301724336981057 + 0.0*i,
    -0.76117097227417 + 0.0*i,
    -0.708442917961829 + 0.0*i,
    -0.431579833773209 + 0.0*i,
    -0.559913463584502 + 0.0*i,
    -0.165506717713008 + 0.0*i,
    0.0178191746304683 + 0.0*i,
    0.24854814469573 + 0.0*i,
    -0.112855734654403 + 0.0*i,
    -0.483659542577659 + 0.0*i,
    0.121897161505932 + 0.0*i,
    -0.213212682522064 + 0.0*i,
    -0.673019065921511 + 0.0*i,
    -0.575877465820459 + 0.0*i,
    -0.231304445539275 + 0.0*i,
    -0.286524378105451 + 0.0*i,
    -0.325833508598078 + 0.0*i,
    0.323912753755261 + 0.0*i,
    0.145806650933296 + 0.0*i,
    0.739047201018071 + 0.0*i,
    -0.972828890742292 + 0.0*i,
    -0.658771796484397 + 0.0*i,
    -0.156016329332332 + 0.0*i,
    -0.945121793895822 + 0.0*i,
    0.86897455329814 + 0.0*i,
    0.246669420515738 + 0.0*i,
    -0.76565578328607 + 0.0*i,
    0.033727968385895 + 0.0*i,
    -0.610781134483454 + 0.0*i,
    -0.642739758041818 + 0.0*i,
    -0.613278018107487 + 0.0*i,
    -0.23859340051849 + 0.0*i,
    0.174772537217833 + 0.0*i,
    -0.0547464435803039 + 0.0*i,
    0.578103415814198 + 0.0*i,
    -0.266379758685744 + 0.0*i,
    -0.809286146654616 + 0.0*i,
    -0.433182209150205 + 0.0*i,
    -0.792147219641589 + 0.0*i,
    0.79787851124854 + 0.0*i,
    0.579333748820032 + 0.0*i,
    0.599524166389299 + 0.0*i,
    -0.0988362529614928 + 0.0*i,
    -0.347293517052288 + 0.0*i,
    0.340671111992652 + 0.0*i,
    -0.347409349896783 + 0.0*i,
    0.0890830259728772 + 0.0*i,
    -0.00886658191811554 + 0.0*i,
    -0.480932682084731 + 0.0*i,
    0.376362792853323 + 0.0*i,
    -0.384225230825705 + 0.0*i,
    0.117013294752849 + 0.0*i,
    -0.569587700997781 + 0.0*i,
    0.460993554648022 + 0.0*i,
    -0.829768658271627 + 0.0*i,
    -0.395668944862023 + 0.0*i,
    -0.351013693750377 + 0.0*i
]);