V:=Matrix(CC,9,31,[
    -0.0884342429353195 + 0.0*i,
    0.337305945683584 + 0.0*i,
    0.19764274280381 + 0.0*i,
    0.144731237557033 + 0.0*i,
    -0.312860621106174 + 0.0*i,
    0.440636204817979 + 0.0*i,
    -0.0460062377546349 + 0.0*i,
    -0.116884236246404 + 0.0*i,
    0.102442226063666 + 0.0*i,
    -0.467246192643734 + 0.0*i,
    -0.0633466138091357 + 0.0*i,
    -0.115672948808689 + 0.0*i,
    -0.225158460359598 + 0.0*i,
    -0.133789515617757 + 0.0*i,
    0.784125903308847 + 0.0*i,
    -0.569919546176848 + 0.0*i,
    0.362034745361338 + 0.0*i,
    -0.122840006422492 + 0.0*i,
    -0.146666436054547 + 0.0*i,
    0.493113931300563 + 0.0*i,
    0.269347962711063 + 0.0*i,
    0.058970403359112 + 0.0*i,
    0.278111861704006 + 0.0*i,
    -0.12081994650556 + 0.0*i,
    0.356345860508679 + 0.0*i,
    -0.310000410400562 + 0.0*i,
    -0.466604032260494 + 0.0*i,
    -0.437797817252495 + 0.0*i,
    0.288812649047423 + 0.0*i,
    -0.0447952017675229 + 0.0*i,
    -0.403288901460003 + 0.0*i,
    0.606558425088879 + 0.0*i,
    0.373565156480872 + 0.0*i,
    0.0185236220563976 + 0.0*i,
    -0.0366719255201209 + 0.0*i,
    -0.135979680819091 + 0.0*i,
    0.252164455640079 + 0.0*i,
    -0.544044955307408 + 0.0*i,
    -0.237740970053268 + 0.0*i,
    -0.00391827079075067 + 0.0*i,
    0.0229195643811329 + 0.0*i,
    -0.490203964775512 + 0.0*i,
    0.318000345131307 + 0.0*i,
    0.128894054363667 + 0.0*i,
    0.410502720304341 + 0.0*i,
    0.281219890598034 + 0.0*i,
    0.0816983946488052 + 0.0*i,
    0.0390870362151155 + 0.0*i,
    -0.629839415629183 + 0.0*i,
    -0.272196469792988 + 0.0*i,
    -0.451780260325077 + 0.0*i,
    0.586976731877367 + 0.0*i,
    0.0118900212590349 + 0.0*i,
    -0.33723216953043 + 0.0*i,
    0.317406958866068 + 0.0*i,
    0.0403045470306718 + 0.0*i,
    0.24504921707244 + 0.0*i,
    0.549937940258413 + 0.0*i,
    -0.227057724078715 + 0.0*i,
    0.157525011598095 + 0.0*i,
    -0.40272532357316 + 0.0*i,
    -0.0047561331340978 + 0.0*i,
    0.0449764842890821 + 0.0*i,
    0.480064938582021 + 0.0*i,
    -0.0398565718327701 + 0.0*i,
    0.105585250420892 + 0.0*i,
    0.0590852930791887 + 0.0*i,
    0.0293575341562661 + 0.0*i,
    -0.265909661330893 + 0.0*i,
    0.00909021662807023 + 0.0*i,
    -0.526308968208064 + 0.0*i,
    -0.239178278309586 + 0.0*i,
    -0.150857564489312 + 0.0*i,
    -0.284464768422463 + 0.0*i,
    0.313889882776608 + 0.0*i,
    -0.364427305201188 + 0.0*i,
    -0.0487543822430022 + 0.0*i,
    -0.344434213603442 + 0.0*i,
    -0.578196922105445 + 0.0*i,
    0.383900488871121 + 0.0*i,
    -0.735136793342909 + 0.0*i,
    -0.251778686940619 + 0.0*i,
    0.486489899143477 + 0.0*i,
    -0.0336870318863895 + 0.0*i,
    -0.394286704144763 + 0.0*i,
    -0.224904867807488 + 0.0*i,
    -0.671248331181482 + 0.0*i,
    -0.512915761111326 + 0.0*i,
    -0.331655405492097 + 0.0*i,
    0.286965167768665 + 0.0*i,
    -0.229570526135536 + 0.0*i,
    0.0130289487923285 + 0.0*i,
    -0.0556005083285666 + 0.0*i,
    0.0817518599909981 + 0.0*i,
    -0.198247844568697 + 0.0*i,
    -0.465680361953188 + 0.0*i,
    0.31080613200684 + 0.0*i,
    -0.149078941830082 + 0.0*i,
    -0.385104039987441 + 0.0*i,
    -0.375715659844104 + 0.0*i,
    -0.617368634294028 + 0.0*i,
    0.0528102150835942 + 0.0*i,
    0.0955141255973467 + 0.0*i,
    0.203101516569814 + 0.0*i,
    -0.509250789739478 + 0.0*i,
    -0.14514147836768 + 0.0*i,
    -0.356262868259546 + 0.0*i,
    0.247607867365174 + 0.0*i,
    0.0075073508219526 + 0.0*i,
    0.289921277392856 + 0.0*i,
    -0.121933715063316 + 0.0*i,
    -0.356192251836469 + 0.0*i,
    0.274627427795454 + 0.0*i,
    -0.422061817673404 + 0.0*i,
    -0.10703084701973 + 0.0*i,
    -0.351371844036677 + 0.0*i,
    -0.687424476223585 + 0.0*i,
    0.356999946776012 + 0.0*i,
    0.24563296631413 + 0.0*i,
    0.453092852973065 + 0.0*i,
    0.425365684432432 + 0.0*i,
    0.257098544593596 + 0.0*i,
    -0.360701407407262 + 0.0*i,
    0.137684999401371 + 0.0*i,
    0.0809026969299492 + 0.0*i,
    0.135544117783796 + 0.0*i,
    0.688378637547151 + 0.0*i,
    0.369034234458167 + 0.0*i,
    0.436280160830298 + 0.0*i,
    0.428867120736526 + 0.0*i,
    -0.018591920860408 + 0.0*i,
    0.121247845061609 + 0.0*i,
    0.261567073213937 + 0.0*i,
    0.672240137290175 + 0.0*i,
    0.166853862998943 + 0.0*i,
    -0.388237686765868 + 0.0*i,
    0.0732453595551923 + 0.0*i,
    -0.0919021841086228 + 0.0*i,
    0.137619266861354 + 0.0*i,
    -0.100667896613089 + 0.0*i,
    -0.092581952374162 + 0.0*i,
    0.603488166876269 + 0.0*i,
    -0.404552249025274 + 0.0*i,
    -0.505559898565086 + 0.0*i,
    -0.142995702785921 + 0.0*i,
    -0.212557226558013 + 0.0*i,
    0.115535506055891 + 0.0*i,
    0.0881455148076018 + 0.0*i,
    0.111022211704497 + 0.0*i,
    0.358177757984175 + 0.0*i,
    -0.0688806339790307 + 0.0*i,
    -0.215268369584132 + 0.0*i,
    0.615584185181621 + 0.0*i,
    0.0398238774316968 + 0.0*i,
    0.383437422387624 + 0.0*i,
    -0.211072010932469 + 0.0*i,
    -0.359538758587542 + 0.0*i,
    -0.0565007093122746 + 0.0*i,
    -0.668492489396975 + 0.0*i,
    0.0503595094776495 + 0.0*i,
    0.416590273319478 + 0.0*i,
    0.179838090792369 + 0.0*i,
    -0.133603830053196 + 0.0*i,
    0.643232352631473 + 0.0*i,
    0.226163918098583 + 0.0*i,
    -0.124331858452333 + 0.0*i,
    0.239398092384276 + 0.0*i,
    0.742331970229709 + 0.0*i,
    0.243401391190773 + 0.0*i,
    -0.111974355620372 + 0.0*i,
    -0.53423211286213 + 0.0*i,
    -0.208711475024638 + 0.0*i,
    0.0159448562305145 + 0.0*i,
    -0.12598293441761 + 0.0*i,
    0.309900632625174 + 0.0*i,
    0.0192034666753772 + 0.0*i,
    0.0380213467435563 + 0.0*i,
    0.396500772945689 + 0.0*i,
    -0.227009022276549 + 0.0*i,
    0.00660741889439662 + 0.0*i,
    -0.340108437904135 + 0.0*i,
    0.164226358771849 + 0.0*i,
    0.548758574067399 + 0.0*i,
    0.261395272402178 + 0.0*i,
    -0.382518658932143 + 0.0*i,
    0.336953507310564 + 0.0*i,
    -0.464290816270631 + 0.0*i,
    -0.270517311984343 + 0.0*i,
    0.258760587614819 + 0.0*i,
    0.369329558172991 + 0.0*i,
    -0.293410270234683 + 0.0*i,
    -0.195564726110458 + 0.0*i,
    -0.19037468233628 + 0.0*i,
    0.485527533384918 + 0.0*i,
    0.295775006303691 + 0.0*i,
    -0.0027228700852518 + 0.0*i,
    0.678967317686273 + 0.0*i,
    -0.164213324076396 + 0.0*i,
    0.0635188504129846 + 0.0*i,
    0.387564644114715 + 0.0*i,
    0.381237723033093 + 0.0*i,
    0.0992353362470364 + 0.0*i,
    -0.228482327162078 + 0.0*i,
    -0.104602451518967 + 0.0*i,
    0.0831814905633187 + 0.0*i,
    0.0930778528273384 + 0.0*i,
    0.353351942221034 + 0.0*i,
    0.43673929410637 + 0.0*i,
    -0.409258337991076 + 0.0*i,
    0.215307948408145 + 0.0*i,
    -0.23372801335675 + 0.0*i,
    0.355654145659021 + 0.0*i,
    -0.193932426441175 + 0.0*i,
    0.244254210396898 + 0.0*i,
    0.191586681514658 + 0.0*i,
    -0.480585330023804 + 0.0*i,
    -0.23168265378937 + 0.0*i,
    -0.57491671669322 + 0.0*i,
    -0.100768883323774 + 0.0*i,
    0.28530981675052 + 0.0*i,
    0.110263048263969 + 0.0*i,
    -0.442945488726594 + 0.0*i,
    -0.412112988832145 + 0.0*i,
    -0.622443334810333 + 0.0*i,
    0.169828216844829 + 0.0*i,
    -0.162286215011718 + 0.0*i,
    -0.360144635186773 + 0.0*i,
    -0.436190147896664 + 0.0*i,
    -0.156455709757758 + 0.0*i,
    0.335807326633658 + 0.0*i,
    0.56643770911249 + 0.0*i,
    -0.164476396471998 + 0.0*i,
    -0.299883919886529 + 0.0*i,
    0.564087293274636 + 0.0*i,
    0.154642859562911 + 0.0*i,
    0.0854446703500541 + 0.0*i,
    -0.19088084872801 + 0.0*i,
    0.000823758145484121 + 0.0*i,
    -0.0584329357454397 + 0.0*i,
    0.362625430691453 + 0.0*i,
    -0.441560599874137 + 0.0*i,
    -0.341832616103009 + 0.0*i,
    0.0542468661552142 + 0.0*i,
    0.236537104533777 + 0.0*i,
    -0.130276955905291 + 0.0*i,
    0.42699423062751 + 0.0*i,
    0.396452938073506 + 0.0*i,
    0.556976190676023 + 0.0*i,
    0.150448789492055 + 0.0*i,
    -0.493973543099138 + 0.0*i,
    -0.340293909583435 + 0.0*i,
    0.366899501393735 + 0.0*i,
    -0.615498450642154 + 0.0*i,
    0.170642244980154 + 0.0*i,
    0.20082167195046 + 0.0*i,
    0.500464186579042 + 0.0*i,
    -0.324873179940933 + 0.0*i,
    0.268000248564692 + 0.0*i,
    -0.0545536612107974 + 0.0*i,
    0.531000052100723 + 0.0*i,
    0.374875235423311 + 0.0*i,
    -0.0896960010305123 + 0.0*i,
    -0.203347158352767 + 0.0*i,
    0.394964494824845 + 0.0*i,
    -0.156649087957185 + 0.0*i,
    0.188103217129276 + 0.0*i,
    -0.19753960061341 + 0.0*i,
    -0.104516883337649 + 0.0*i,
    0.145135350678077 + 0.0*i,
    -0.861340236312897 + 0.0*i,
    0.248392525117126 + 0.0*i,
    -0.244501314999717 + 0.0*i,
    0.33013747886719 + 0.0*i,
    -0.396587057833892 + 0.0*i,
    0.194082008737056 + 0.0*i,
    -0.275755234338761 + 0.0*i,
    0.329214154518871 + 0.0*i,
    -0.42121181078887 + 0.0*i,
    -0.435834183189045 + 0.0*i
]);