V:=Matrix(CC,4,72,[
    0.0124515739761142 + 0.0*i,
    0.156830491961991 + 0.0*i,
    -0.11230255520993 + 0.0*i,
    -0.130025302673668 + 0.0*i,
    -0.160311031985175 + 0.0*i,
    -0.0472272375923756 + 0.0*i,
    0.128726816786111 + 0.0*i,
    -0.234613643602071 + 0.0*i,
    0.127229772045479 + 0.0*i,
    0.384996389853798 + 0.0*i,
    -0.309823753139177 + 0.0*i,
    0.0549932352331568 + 0.0*i,
    0.102931771544688 + 0.0*i,
    -0.160722689455514 + 0.0*i,
    0.102512577106846 + 0.0*i,
    0.0219513486975926 + 0.0*i,
    -0.0582233043649269 + 0.0*i,
    0.124092569520087 + 0.0*i,
    -0.417978819962688 + 0.0*i,
    0.0233262855423219 + 0.0*i,
    0.247613118451403 + 0.0*i,
    -0.177048029183067 + 0.0*i,
    -0.0930377199377077 + 0.0*i,
    0.186867391749628 + 0.0*i,
    -0.0458856397147916 + 0.0*i,
    -0.31911652198239 + 0.0*i,
    0.0495201664697146 + 0.0*i,
    -0.159324894528278 + 0.0*i,
    0.0982926979279793 + 0.0*i,
    -0.255238442254451 + 0.0*i,
    -0.0646877443868064 + 0.0*i,
    -0.336730291069503 + 0.0*i,
    0.293430122508093 + 0.0*i,
    -0.155639384206975 + 0.0*i,
    -0.235795352251347 + 0.0*i,
    -0.333830760137388 + 0.0*i,
    -0.271749292653981 + 0.0*i,
    -0.266371406581261 + 0.0*i,
    -0.233190677411094 + 0.0*i,
    0.367704970802338 + 0.0*i,
    0.0734958239959287 + 0.0*i,
    -0.21346042163018 + 0.0*i,
    0.0404020486918034 + 0.0*i,
    0.210161976006692 + 0.0*i,
    0.397783469419691 + 0.0*i,
    0.0518879048911001 + 0.0*i,
    0.139882182343849 + 0.0*i,
    0.264705304142723 + 0.0*i,
    0.0598801453161839 + 0.0*i,
    -0.204622714387904 + 0.0*i,
    -0.356525885514033 + 0.0*i,
    -0.143121769240849 + 0.0*i,
    -0.142319996448177 + 0.0*i,
    -0.0461102251777475 + 0.0*i,
    0.118580334368731 + 0.0*i,
    0.22131040596636 + 0.0*i,
    -0.118663612000235 + 0.0*i,
    0.367634721263241 + 0.0*i,
    0.249288246206834 + 0.0*i,
    0.312717390365267 + 0.0*i,
    0.301624784734338 + 0.0*i,
    0.39469620478536 + 0.0*i,
    0.236202841328597 + 0.0*i,
    0.103485882871456 + 0.0*i,
    0.0141237861556891 + 0.0*i,
    0.281017347174672 + 0.0*i,
    -0.287126048298316 + 0.0*i,
    0.032220673951222 + 0.0*i,
    -0.373228355086927 + 0.0*i,
    -0.296451301360367 + 0.0*i,
    0.0289279444566106 + 0.0*i,
    0.285088172977826 + 0.0*i,
    -0.105756630254159 + 0.0*i,
    0.307370168418709 + 0.0*i,
    -0.270804532746621 + 0.0*i,
    -0.131190814415649 + 0.0*i,
    -0.178464647268222 + 0.0*i,
    -0.0941759762232902 + 0.0*i,
    0.0174030353414834 + 0.0*i,
    0.125272723887484 + 0.0*i,
    0.353777244526272 + 0.0*i,
    0.150257023962173 + 0.0*i,
    -0.0549648995841978 + 0.0*i,
    -0.118781082074507 + 0.0*i,
    0.246151197809533 + 0.0*i,
    0.178525437201982 + 0.0*i,
    0.442472357294927 + 0.0*i,
    0.0152306742546904 + 0.0*i,
    -0.360366732734669 + 0.0*i,
    -0.169390977285792 + 0.0*i,
    -0.0592325729970479 + 0.0*i,
    0.376929783870009 + 0.0*i,
    -0.123274106851167 + 0.0*i,
    0.279145261028553 + 0.0*i,
    -0.0563092782219763 + 0.0*i,
    0.182092690669687 + 0.0*i,
    0.388731082053916 + 0.0*i,
    0.145966258272174 + 0.0*i,
    0.0523080834521065 + 0.0*i,
    0.0622131804413189 + 0.0*i,
    -0.260857699207738 + 0.0*i,
    -0.0672925040877051 + 0.0*i,
    0.359867716480698 + 0.0*i,
    -0.0911601002792566 + 0.0*i,
    0.303507712980644 + 0.0*i,
    0.396987052314989 + 0.0*i,
    0.307845494068747 + 0.0*i,
    -0.0230235570676127 + 0.0*i,
    0.055717743259092 + 0.0*i,
    0.125978446757123 + 0.0*i,
    0.00553511178560294 + 0.0*i,
    -0.148580942753713 + 0.0*i,
    -0.0267075005083259 + 0.0*i,
    -8.97617656254609e-05 + 0.0*i,
    -0.152390605245028 + 0.0*i,
    0.0138969799453938 + 0.0*i,
    -0.0583003949177675 + 0.0*i,
    -0.262517193138762 + 0.0*i,
    -0.0208912600915571 + 0.0*i,
    0.28454283877851 + 0.0*i,
    -0.236376112778566 + 0.0*i,
    0.24882048573579 + 0.0*i,
    0.221477665090483 + 0.0*i,
    -0.262167525943777 + 0.0*i,
    0.20896400325221 + 0.0*i,
    -0.159730869761589 + 0.0*i,
    0.178396653472931 + 0.0*i,
    0.111124184369565 + 0.0*i,
    -0.329954090623072 + 0.0*i,
    -0.123589883687902 + 0.0*i,
    -0.268751835371897 + 0.0*i,
    0.161245996407151 + 0.0*i,
    0.243157079143082 + 0.0*i,
    0.0943780333921354 + 0.0*i,
    -0.314659070183321 + 0.0*i,
    -0.36881676945306 + 0.0*i,
    0.301020446662417 + 0.0*i,
    0.192408838500713 + 0.0*i,
    -0.127531023982301 + 0.0*i,
    -0.0997366092028218 + 0.0*i,
    0.081119758723494 + 0.0*i,
    0.268835943195008 + 0.0*i,
    -0.261681487842035 + 0.0*i,
    -0.04484973043902 + 0.0*i,
    -0.218345883331255 + 0.0*i,
    0.220242992177391 + 0.0*i,
    -0.266135624967498 + 0.0*i,
    0.382916579740429 + 0.0*i,
    -0.358199172784215 + 0.0*i,
    0.362060113892326 + 0.0*i,
    0.345829120851131 + 0.0*i,
    0.252841133487901 + 0.0*i,
    -0.214014156431594 + 0.0*i,
    0.0194420641162803 + 0.0*i,
    -0.289528284935184 + 0.0*i,
    -0.405960657776852 + 0.0*i,
    -0.302707638906629 + 0.0*i,
    -0.14536031962904 + 0.0*i,
    -0.087456873018533 + 0.0*i,
    -0.219193450237482 + 0.0*i,
    -0.0660461070747851 + 0.0*i,
    -0.158332437252122 + 0.0*i,
    -0.0984008247497427 + 0.0*i,
    0.210812612482736 + 0.0*i,
    -0.0816046498020742 + 0.0*i,
    0.232870535531804 + 0.0*i,
    0.0375426592100574 + 0.0*i,
    0.0348946840351151 + 0.0*i,
    -0.0814575282566237 + 0.0*i,
    -0.11186046534487 + 0.0*i,
    -0.0516405871731389 + 0.0*i,
    -0.109482633574159 + 0.0*i,
    -0.329320108344195 + 0.0*i,
    -0.208577296293768 + 0.0*i,
    0.143150205440806 + 0.0*i,
    0.23007235198027 + 0.0*i,
    0.00222308110815936 + 0.0*i,
    0.0641664985977936 + 0.0*i,
    -0.0157718090733037 + 0.0*i,
    -0.132558695494467 + 0.0*i,
    0.328180175265926 + 0.0*i,
    -0.309051198672616 + 0.0*i,
    -0.313828532064632 + 0.0*i,
    0.124008159602783 + 0.0*i,
    0.428396224051706 + 0.0*i,
    -0.155885856979585 + 0.0*i,
    0.198409201440159 + 0.0*i,
    -0.252834033925417 + 0.0*i,
    -0.0922524519196405 + 0.0*i,
    0.333704612179166 + 0.0*i,
    -0.376744754712725 + 0.0*i,
    0.173265663774489 + 0.0*i,
    -0.0102558438773321 + 0.0*i,
    -0.265888961552143 + 0.0*i,
    -0.0419342323329403 + 0.0*i,
    0.171081081265109 + 0.0*i,
    -0.24869349868564 + 0.0*i,
    -0.339728708675617 + 0.0*i,
    0.147297372414542 + 0.0*i,
    -0.198298466595649 + 0.0*i,
    -0.110730328826531 + 0.0*i,
    -0.145213512010142 + 0.0*i,
    -0.0356126310297614 + 0.0*i,
    0.195403684001365 + 0.0*i,
    -0.123049145086762 + 0.0*i,
    -0.0990132704157462 + 0.0*i,
    0.131572802519052 + 0.0*i,
    0.183418476193485 + 0.0*i,
    -0.163995113961543 + 0.0*i,
    -0.259338266337001 + 0.0*i,
    0.0226722224880798 + 0.0*i,
    0.336147730284803 + 0.0*i,
    -0.111069169072298 + 0.0*i,
    0.16560210964136 + 0.0*i,
    0.0185749133857023 + 0.0*i,
    -0.0333916441265993 + 0.0*i,
    0.363823341600213 + 0.0*i,
    0.100826072602657 + 0.0*i,
    0.20064354434888 + 0.0*i,
    -0.00323241238933613 + 0.0*i,
    -0.00502153233839048 + 0.0*i,
    -0.210675609676461 + 0.0*i,
    -0.223216189517458 + 0.0*i,
    0.218104373548968 + 0.0*i,
    0.0373082756073152 + 0.0*i,
    -0.129560818748895 + 0.0*i,
    0.0297721759665741 + 0.0*i,
    0.0981969916849637 + 0.0*i,
    -0.145441262269051 + 0.0*i,
    -0.321686985365708 + 0.0*i,
    -0.0363190037280729 + 0.0*i,
    -0.36894235896726 + 0.0*i,
    0.234110495571831 + 0.0*i,
    -0.342050594687176 + 0.0*i,
    0.00444594242084274 + 0.0*i,
    -0.0320788334733657 + 0.0*i,
    0.324307421840037 + 0.0*i,
    -0.180981810453406 + 0.0*i,
    -0.4176072367396 + 0.0*i,
    -0.346860358982511 + 0.0*i,
    0.169792022441544 + 0.0*i,
    0.201646616743608 + 0.0*i,
    -0.420463644015961 + 0.0*i,
    0.380039484974254 + 0.0*i,
    -0.0695749309968918 + 0.0*i,
    0.256578273106781 + 0.0*i,
    0.174308551176859 + 0.0*i,
    0.106946578276437 + 0.0*i,
    0.1038053080765 + 0.0*i,
    -0.0287145327132667 + 0.0*i,
    -0.184631917894671 + 0.0*i,
    0.204201200717959 + 0.0*i,
    -0.0523306892123254 + 0.0*i,
    0.0585847695310267 + 0.0*i,
    -0.179287076246918 + 0.0*i,
    -0.033951969590183 + 0.0*i,
    0.0249721585705303 + 0.0*i,
    -0.333987994599337 + 0.0*i,
    -0.338873542523572 + 0.0*i,
    0.285049279096308 + 0.0*i,
    -0.140463777234436 + 0.0*i,
    -0.0624875944357767 + 0.0*i,
    -0.152515383663731 + 0.0*i,
    -0.100219717954671 + 0.0*i,
    0.351742205373268 + 0.0*i,
    -0.140418613407765 + 0.0*i,
    -0.0448661769928095 + 0.0*i,
    -0.266817463744502 + 0.0*i,
    0.248148577860467 + 0.0*i,
    -0.219711050699755 + 0.0*i,
    0.338537099113649 + 0.0*i,
    -0.29353199664985 + 0.0*i,
    -0.219446776796851 + 0.0*i,
    0.118333420068307 + 0.0*i,
    -0.225137811985597 + 0.0*i,
    0.158130868217068 + 0.0*i,
    -0.204699929131436 + 0.0*i,
    0.116880749507209 + 0.0*i,
    -0.0953318450717706 + 0.0*i,
    0.0802743259865301 + 0.0*i,
    -0.26446225273042 + 0.0*i,
    0.0819591005823263 + 0.0*i,
    -0.299604994494025 + 0.0*i,
    0.246518672907366 + 0.0*i,
    -0.177150305471062 + 0.0*i,
    0.0670922996535833 + 0.0*i,
    -0.334660424345072 + 0.0*i,
    -0.31575618527221 + 0.0*i
]);