V:=Matrix(CC,4,132,[
    -0.851779364212742 + 0.0*i,
    0.910187468925443 + 0.0*i,
    0.681070313577932 + 0.0*i,
    0.593805287367206 + 0.0*i,
    -0.568634409205881 + 0.0*i,
    -0.0301186342135583 + 0.0*i,
    -0.544539493978668 + 0.0*i,
    -0.372532408125092 + 0.0*i,
    0.161645290142243 + 0.0*i,
    -0.84984839282429 + 0.0*i,
    0.516780032973682 + 0.0*i,
    -0.303361646028444 + 0.0*i,
    -0.38282705353178 + 0.0*i,
    -0.4314507943249 + 0.0*i,
    -0.250538466363963 + 0.0*i,
    -0.661301974365479 + 0.0*i,
    0.144287884680178 + 0.0*i,
    -0.162270555177644 + 0.0*i,
    0.251827531981826 + 0.0*i,
    0.659143294182246 + 0.0*i,
    -0.980286593466048 + 0.0*i,
    -0.754937145084856 + 0.0*i,
    0.131364972402772 + 0.0*i,
    -0.00191769203314002 + 0.0*i,
    0.61227966192481 + 0.0*i,
    0.320113034790212 + 0.0*i,
    -0.718854426662367 + 0.0*i,
    1.07303068434496 + 0.0*i,
    0.0233980081242815 + 0.0*i,
    -0.344895680536642 + 0.0*i,
    0.194950574168387 + 0.0*i,
    0.638040950435521 + 0.0*i,
    0.778050595299457 + 0.0*i,
    -0.937072240894768 + 0.0*i,
    -0.165399973860538 + 0.0*i,
    -0.49954513261533 + 0.0*i,
    0.187883967228971 + 0.0*i,
    -0.925054421498398 + 0.0*i,
    -0.841831329021028 + 0.0*i,
    0.503933368481397 + 0.0*i,
    -0.00633484453522639 + 0.0*i,
    0.494246442137868 + 0.0*i,
    0.261753529002299 + 0.0*i,
    0.0341874764092272 + 0.0*i,
    0.502921867148975 + 0.0*i,
    0.740901688947952 + 0.0*i,
    -0.324428906147566 + 0.0*i,
    0.103432797205705 + 0.0*i,
    0.225532641922145 + 0.0*i,
    0.243806956255203 + 0.0*i,
    0.914164787326059 + 0.0*i,
    0.175747210198846 + 0.0*i,
    -0.612434706912535 + 0.0*i,
    -0.778565434032797 + 0.0*i,
    -0.670957981201102 + 0.0*i,
    0.0221762326719111 + 0.0*i,
    -0.178194391729022 + 0.0*i,
    0.445216394231249 + 0.0*i,
    -0.757957018389577 + 0.0*i,
    0.474232261685787 + 0.0*i,
    -0.231762905976308 + 0.0*i,
    -0.396975222652621 + 0.0*i,
    -0.413158887158127 + 0.0*i,
    0.195448852953926 + 0.0*i,
    0.54994879520122 + 0.0*i,
    0.110785536961802 + 0.0*i,
    0.731074875185364 + 0.0*i,
    0.139544472281756 + 0.0*i,
    0.379057587477102 + 0.0*i,
    -0.499230132180249 + 0.0*i,
    0.400031614598763 + 0.0*i,
    -0.0184840725391856 + 0.0*i,
    -9.50945185257986e-05 + 0.0*i,
    0.0269471194095879 + 0.0*i,
    -0.109219804148133 + 0.0*i,
    0.41680856058191 + 0.0*i,
    -0.426314752441903 + 0.0*i,
    -0.531540838628716 + 0.0*i,
    0.15988511515898 + 0.0*i,
    -0.469467004525237 + 0.0*i,
    0.397122551957008 + 0.0*i,
    0.0543806080148422 + 0.0*i,
    0.108532933643433 + 0.0*i,
    0.00292330631444313 + 0.0*i,
    -0.839276029492436 + 0.0*i,
    0.520143505607352 + 0.0*i,
    -0.428364480300768 + 0.0*i,
    -0.324738632037793 + 0.0*i,
    0.195410613939206 + 0.0*i,
    -0.162379606762164 + 0.0*i,
    -0.0402516785160109 + 0.0*i,
    0.347305671374382 + 0.0*i,
    0.0291176260480922 + 0.0*i,
    -0.0185585541955089 + 0.0*i,
    -0.0301516428499413 + 0.0*i,
    -0.202068607352716 + 0.0*i,
    0.176788409134811 + 0.0*i,
    -0.542583998195982 + 0.0*i,
    -0.440229960320322 + 0.0*i,
    0.151127010396583 + 0.0*i,
    0.308679314156468 + 0.0*i,
    0.00145247361215939 + 0.0*i,
    0.309949819727764 + 0.0*i,
    -0.162568443021758 + 0.0*i,
    0.242377181887429 + 0.0*i,
    -0.799750593090668 + 0.0*i,
    0.115504702973995 + 0.0*i,
    0.110587915459396 + 0.0*i,
    -0.312380554260007 + 0.0*i,
    0.400896193425646 + 0.0*i,
    0.597192785268336 + 0.0*i,
    -0.369793300050746 + 0.0*i,
    -1.41497459342149 + 0.0*i,
    0.755260966925553 + 0.0*i,
    0.508355089389797 + 0.0*i,
    0.265542059321731 + 0.0*i,
    -0.493183906055139 + 0.0*i,
    0.592679543912772 + 0.0*i,
    -0.0350833888861795 + 0.0*i,
    0.0159250173390596 + 0.0*i,
    0.324547638407545 + 0.0*i,
    -0.32480314948676 + 0.0*i,
    -0.266050139646419 + 0.0*i,
    0.0393645169156795 + 0.0*i,
    0.194896373473537 + 0.0*i,
    -0.457995630579537 + 0.0*i,
    0.171939582859952 + 0.0*i,
    0.550373036019002 + 0.0*i,
    0.17212446325855 + 0.0*i,
    -0.13178988536331 + 0.0*i,
    -0.912718759645336 + 0.0*i,
    0.228667463951994 + 0.0*i,
    0.0101249634480633 + 0.0*i,
    -0.244713894117888 + 0.0*i,
    1.06619959847247 + 0.0*i,
    0.0672255717419803 + 0.0*i,
    0.118814793569885 + 0.0*i,
    0.336268869770354 + 0.0*i,
    0.420214947224036 + 0.0*i,
    0.88499607576473 + 0.0*i,
    0.293282668497916 + 0.0*i,
    -0.896369676649659 + 0.0*i,
    0.869033887559335 + 0.0*i,
    -0.396930408014469 + 0.0*i,
    0.228237693442309 + 0.0*i,
    0.24884735701003 + 0.0*i,
    -0.23731382845485 + 0.0*i,
    0.828704758234146 + 0.0*i,
    -0.0473532873710753 + 0.0*i,
    -0.519409186413372 + 0.0*i,
    -0.0876469602239029 + 0.0*i,
    0.940428867964144 + 0.0*i,
    -0.708099301670556 + 0.0*i,
    0.119212342683948 + 0.0*i,
    0.394867672354345 + 0.0*i,
    -0.155238977875875 + 0.0*i,
    -0.706431311428738 + 0.0*i,
    0.824593317935049 + 0.0*i,
    0.803198625406316 + 0.0*i,
    0.172350337698895 + 0.0*i,
    0.344601674016521 + 0.0*i,
    -0.242055612258728 + 0.0*i,
    0.2977880244194 + 0.0*i,
    -0.427271513802499 + 0.0*i,
    -0.106969171227034 + 0.0*i,
    0.499994077379118 + 0.0*i,
    0.0754759256474036 + 0.0*i,
    0.292233049243399 + 0.0*i,
    0.687910600547837 + 0.0*i,
    0.198689006635736 + 0.0*i,
    0.125643696774323 + 0.0*i,
    -0.112994046946325 + 0.0*i,
    0.319537480424691 + 0.0*i,
    0.402498019719032 + 0.0*i,
    -0.551837270153693 + 0.0*i,
    0.567983477906298 + 0.0*i,
    -0.668983894422952 + 0.0*i,
    0.511445956470873 + 0.0*i,
    0.262171003655832 + 0.0*i,
    -0.0905155305931618 + 0.0*i,
    0.433097627577612 + 0.0*i,
    -0.672491902517538 + 0.0*i,
    0.101469145708944 + 0.0*i,
    0.299879213234464 + 0.0*i,
    -1.09746326382262 + 0.0*i,
    -0.378419172112031 + 0.0*i,
    0.206738033204986 + 0.0*i,
    0.445402036694085 + 0.0*i,
    -0.212573770420154 + 0.0*i,
    0.9013512994283 + 0.0*i,
    0.22809156571049 + 0.0*i,
    0.479637809744819 + 0.0*i,
    -0.277085445890223 + 0.0*i,
    0.624775489237102 + 0.0*i,
    -0.177144663646091 + 0.0*i,
    0.994501435552494 + 0.0*i,
    0.182815362780747 + 0.0*i,
    0.369981433045703 + 0.0*i,
    -0.66466012501648 + 0.0*i,
    0.344361451113043 + 0.0*i,
    -0.120022658545635 + 0.0*i,
    -1.13692718923295 + 0.0*i,
    -0.0293829072414757 + 0.0*i,
    -0.262688616349146 + 0.0*i,
    0.381450247729324 + 0.0*i,
    0.555325002251786 + 0.0*i,
    0.362717093926625 + 0.0*i,
    -0.0619999736714528 + 0.0*i,
    -0.371466945112119 + 0.0*i,
    -0.265144436871566 + 0.0*i,
    -0.139521317630817 + 0.0*i,
    0.612468277105136 + 0.0*i,
    0.469693022562638 + 0.0*i,
    -0.452972545685459 + 0.0*i,
    -0.398680954920843 + 0.0*i,
    -0.247495955709243 + 0.0*i,
    0.587811042519169 + 0.0*i,
    -0.371564619574136 + 0.0*i,
    -0.961031481913708 + 0.0*i,
    0.16393826928687 + 0.0*i,
    -0.318818929270177 + 0.0*i,
    0.657849348553077 + 0.0*i,
    -0.326740611565707 + 0.0*i,
    0.492530557557752 + 0.0*i,
    0.238716907617142 + 0.0*i,
    -0.306343493973247 + 0.0*i,
    -0.0565547693525109 + 0.0*i,
    -0.172037115999045 + 0.0*i,
    0.0694021991083214 + 0.0*i,
    0.433959855418728 + 0.0*i,
    -0.107254453433994 + 0.0*i,
    -0.343393426987932 + 0.0*i,
    0.207479115067378 + 0.0*i,
    0.141935636831727 + 0.0*i,
    0.254712592991385 + 0.0*i,
    0.677053085464163 + 0.0*i,
    1.03784869715943 + 0.0*i,
    -0.105724292730255 + 0.0*i,
    0.792941900394002 + 0.0*i,
    1.14726585239768 + 0.0*i,
    -0.0512601504453405 + 0.0*i,
    0.331929972551299 + 0.0*i,
    -0.583761152692872 + 0.0*i,
    -0.168397258768489 + 0.0*i,
    -0.16343027938324 + 0.0*i,
    0.227403582300909 + 0.0*i,
    0.666370210797147 + 0.0*i,
    -0.384514758548289 + 0.0*i,
    -0.498399959231805 + 0.0*i,
    -0.633054141768928 + 0.0*i,
    -0.0303339468886027 + 0.0*i,
    0.976655444340087 + 0.0*i,
    -0.318931576357067 + 0.0*i,
    0.83697654146897 + 0.0*i,
    -0.494778319223763 + 0.0*i,
    0.336814311092709 + 0.0*i,
    0.455530188942422 + 0.0*i,
    -0.141032830804873 + 0.0*i,
    -0.440768793324351 + 0.0*i,
    0.532746292173238 + 0.0*i,
    0.401086602878432 + 0.0*i,
    0.353868663521586 + 0.0*i,
    -0.220495818024574 + 0.0*i,
    -0.394097422980683 + 0.0*i,
    0.490123187833634 + 0.0*i,
    -0.093996608796331 + 0.0*i,
    0.623754820782023 + 0.0*i,
    -0.437647911272953 + 0.0*i,
    -0.500757952669073 + 0.0*i,
    -0.736138063147958 + 0.0*i,
    0.726061384113473 + 0.0*i,
    0.540429743988386 + 0.0*i,
    0.0577256246286518 + 0.0*i,
    0.625994592202184 + 0.0*i,
    -0.281698659585894 + 0.0*i,
    -0.0995318263828778 + 0.0*i,
    0.0809442720758742 + 0.0*i,
    0.882959179967337 + 0.0*i,
    -0.672179196983551 + 0.0*i,
    0.208726556573197 + 0.0*i,
    -0.623002838940087 + 0.0*i,
    -0.478464161897547 + 0.0*i,
    -0.443617648747217 + 0.0*i,
    0.405691371761619 + 0.0*i,
    -1.26324982694459 + 0.0*i,
    0.523204231434221 + 0.0*i,
    0.622238603219703 + 0.0*i,
    -1.3407885061056 + 0.0*i,
    -0.0375903290960351 + 0.0*i,
    -0.756635545979165 + 0.0*i,
    0.779311130148005 + 0.0*i,
    0.121627730142951 + 0.0*i,
    0.956034853938008 + 0.0*i,
    -0.285880899216767 + 0.0*i,
    -0.179818763495411 + 0.0*i,
    -0.263593284135945 + 0.0*i,
    0.780524382104541 + 0.0*i,
    -0.508003811309251 + 0.0*i,
    -0.0901107835199067 + 0.0*i,
    0.151509138571569 + 0.0*i,
    0.00928113210143868 + 0.0*i,
    -0.190240191730965 + 0.0*i,
    -0.649020222743311 + 0.0*i,
    0.229567971012602 + 0.0*i,
    -0.609679768828349 + 0.0*i,
    -0.300857231173674 + 0.0*i,
    -0.396673138261261 + 0.0*i,
    -0.347372351633538 + 0.0*i,
    0.223158299085702 + 0.0*i,
    -0.534278527638784 + 0.0*i,
    0.305095455785655 + 0.0*i,
    -0.124069251386225 + 0.0*i,
    0.106740573441171 + 0.0*i,
    0.533767300049346 + 0.0*i,
    -0.438269316065691 + 0.0*i,
    0.775955077872313 + 0.0*i,
    -0.761148355926864 + 0.0*i,
    0.974116890026554 + 0.0*i,
    0.0600548026812858 + 0.0*i,
    0.844122919919217 + 0.0*i,
    -0.34035859735906 + 0.0*i,
    -0.143674523170211 + 0.0*i,
    -0.295665387497929 + 0.0*i,
    0.388874945139335 + 0.0*i,
    -0.169088157640097 + 0.0*i,
    -0.041239602649084 + 0.0*i,
    0.383316223283349 + 0.0*i,
    -0.0793408359195203 + 0.0*i,
    0.538523639538842 + 0.0*i,
    0.0968011309775731 + 0.0*i,
    0.110294974896324 + 0.0*i,
    -0.261131624359787 + 0.0*i,
    0.7017902999075 + 0.0*i,
    0.287681287537299 + 0.0*i,
    0.577520844129058 + 0.0*i,
    -0.174818905988944 + 0.0*i,
    -0.576524787597927 + 0.0*i,
    -0.21032637747647 + 0.0*i,
    0.00730117372537391 + 0.0*i,
    0.359986300633602 + 0.0*i,
    -0.0219463777983302 + 0.0*i,
    -0.0772117419918418 + 0.0*i,
    -0.284325777094232 + 0.0*i,
    -1.07256426008623 + 0.0*i,
    0.134964374467875 + 0.0*i,
    -0.0532319397875101 + 0.0*i,
    0.00460486372198259 + 0.0*i,
    -1.19078109009837 + 0.0*i,
    -0.540989293392863 + 0.0*i,
    0.125265879466686 + 0.0*i,
    -0.225368710730446 + 0.0*i,
    -0.0239821968814632 + 0.0*i,
    -0.489464331435855 + 0.0*i,
    0.0248926997224508 + 0.0*i,
    1.07926026537835 + 0.0*i,
    -0.210980935472174 + 0.0*i,
    0.431367385560537 + 0.0*i,
    0.544913744298224 + 0.0*i,
    0.443456331907393 + 0.0*i,
    -0.291522076561105 + 0.0*i,
    0.593308757887298 + 0.0*i,
    0.1847605062541 + 0.0*i,
    0.834241196238667 + 0.0*i,
    0.127206422919019 + 0.0*i,
    0.0410290858659322 + 0.0*i,
    0.636194170747285 + 0.0*i,
    0.48608705082238 + 0.0*i,
    -0.15057925845342 + 0.0*i,
    -0.784470478638342 + 0.0*i,
    -0.0600032140019241 + 0.0*i,
    -0.134531634213549 + 0.0*i,
    -0.301385510687556 + 0.0*i,
    0.993529157114566 + 0.0*i,
    0.212527108423799 + 0.0*i,
    -0.876711012780564 + 0.0*i,
    -0.361186330620796 + 0.0*i,
    0.321995321499426 + 0.0*i,
    0.658759174168955 + 0.0*i,
    0.372322643083506 + 0.0*i,
    0.423836251287058 + 0.0*i,
    -0.101663482689051 + 0.0*i,
    0.542148871612225 + 0.0*i,
    -0.62871773341243 + 0.0*i,
    -0.436748564489985 + 0.0*i,
    -0.280481060930711 + 0.0*i,
    0.367474866833641 + 0.0*i,
    0.883038086551414 + 0.0*i,
    0.18378426234673 + 0.0*i,
    0.191627395432221 + 0.0*i,
    0.211105548843557 + 0.0*i,
    -0.68618244649334 + 0.0*i,
    0.197065007316776 + 0.0*i,
    -0.0161775260990915 + 0.0*i,
    -0.252207796924976 + 0.0*i,
    -0.825070918788286 + 0.0*i,
    -0.846591254259387 + 0.0*i,
    0.164061941508816 + 0.0*i,
    -1.24471693291665 + 0.0*i,
    0.0807173039879057 + 0.0*i,
    -0.285870028999069 + 0.0*i,
    -0.418993797060324 + 0.0*i,
    0.363954759975198 + 0.0*i,
    1.47952750271701 + 0.0*i,
    0.384300649827415 + 0.0*i,
    0.895467203023723 + 0.0*i,
    -0.668400614730351 + 0.0*i,
    -0.116990254775083 + 0.0*i,
    1.01521588876345 + 0.0*i,
    0.111316745706849 + 0.0*i,
    0.693391363192097 + 0.0*i,
    -0.390738753354214 + 0.0*i,
    0.535860002630252 + 0.0*i,
    -0.437849786266621 + 0.0*i,
    -0.0979768103764494 + 0.0*i,
    0.214137291950144 + 0.0*i,
    0.00237773026201437 + 0.0*i,
    -0.589341328568771 + 0.0*i,
    0.2791140932169 + 0.0*i,
    -0.42782912391148 + 0.0*i,
    0.512159786256106 + 0.0*i,
    0.539133140417299 + 0.0*i,
    0.397612541600153 + 0.0*i,
    -0.519129965196907 + 0.0*i,
    0.366331437602455 + 0.0*i,
    0.118515989750241 + 0.0*i,
    0.123210946484867 + 0.0*i,
    -0.13800740302297 + 0.0*i,
    -0.230737409253926 + 0.0*i,
    -0.724285870339494 + 0.0*i,
    -0.0495703850231596 + 0.0*i,
    0.157083958728096 + 0.0*i,
    -1.02710655178467 + 0.0*i,
    -0.059630265623235 + 0.0*i,
    0.142889088235956 + 0.0*i,
    -0.0621379562566098 + 0.0*i,
    -0.645645925342586 + 0.0*i,
    -0.587373642223042 + 0.0*i,
    0.382749401422054 + 0.0*i,
    -0.249719955797265 + 0.0*i,
    0.275923729206061 + 0.0*i,
    0.0032816074123424 + 0.0*i,
    -0.273848725846433 + 0.0*i,
    -0.0843599792206719 + 0.0*i,
    0.721311644877389 + 0.0*i,
    -0.291330713224268 + 0.0*i,
    -0.355776770620471 + 0.0*i,
    0.0627843490429034 + 0.0*i,
    -1.08553686784485 + 0.0*i,
    -0.0764192211859047 + 0.0*i,
    0.083344559910196 + 0.0*i,
    0.617884705922141 + 0.0*i,
    0.553236978858994 + 0.0*i,
    -0.193440041043123 + 0.0*i,
    0.642237172036691 + 0.0*i,
    -0.08890978211221 + 0.0*i,
    0.0457270432380076 + 0.0*i,
    -1.08906684023852 + 0.0*i,
    -0.049585396188659 + 0.0*i,
    0.672949793737753 + 0.0*i,
    -0.0373764180712262 + 0.0*i,
    0.244083473333774 + 0.0*i,
    -0.236915610701173 + 0.0*i,
    0.0948970864493542 + 0.0*i,
    -0.0620659830979496 + 0.0*i,
    -0.435729674163946 + 0.0*i,
    0.282169455380673 + 0.0*i,
    -0.38539716339742 + 0.0*i,
    -0.109458260987445 + 0.0*i,
    -0.773732892559144 + 0.0*i,
    0.44075912540826 + 0.0*i,
    0.12262858384374 + 0.0*i,
    -0.383307850100489 + 0.0*i,
    0.39943218475767 + 0.0*i,
    0.389120505398602 + 0.0*i,
    0.833657555224993 + 0.0*i,
    -0.243734262998637 + 0.0*i,
    0.449498550553897 + 0.0*i,
    -0.901011471452908 + 0.0*i,
    0.936115161213665 + 0.0*i,
    0.0452013455562289 + 0.0*i,
    0.0140972043530049 + 0.0*i,
    -0.373221445035746 + 0.0*i,
    0.648847131182106 + 0.0*i,
    0.0733674964516159 + 0.0*i,
    -0.176195485840324 + 0.0*i,
    -0.799955676061871 + 0.0*i,
    0.511226405269552 + 0.0*i,
    0.169970622745332 + 0.0*i,
    0.107876064185696 + 0.0*i,
    -0.581323641594824 + 0.0*i,
    0.11422173398343 + 0.0*i,
    -0.036876065899157 + 0.0*i,
    0.304427381833457 + 0.0*i,
    0.61948761245613 + 0.0*i,
    0.248172453374939 + 0.0*i,
    0.140762998301584 + 0.0*i,
    -1.3166649582141 + 0.0*i,
    -0.959528222732984 + 0.0*i,
    -0.209240678052068 + 0.0*i,
    -1.04181341214182 + 0.0*i,
    -0.626937865267234 + 0.0*i,
    -0.464678047367188 + 0.0*i,
    -0.00477630111590082 + 0.0*i,
    0.422081182887179 + 0.0*i,
    1.03565492701563 + 0.0*i,
    -0.392341218514557 + 0.0*i,
    -0.160305762734377 + 0.0*i,
    -1.05968713523976 + 0.0*i,
    0.356017863353343 + 0.0*i,
    0.116235677607219 + 0.0*i,
    -0.219741132205794 + 0.0*i,
    -0.596691711517798 + 0.0*i,
    0.186235835949657 + 0.0*i,
    0.0674415864307917 + 0.0*i,
    0.175949789454181 + 0.0*i,
    0.238517030571845 + 0.0*i,
    -0.824045285836486 + 0.0*i,
    -0.688095555148497 + 0.0*i,
    -0.341894787162503 + 0.0*i,
    -0.664718497124875 + 0.0*i,
    -0.74408349268912 + 0.0*i,
    -0.685713712879145 + 0.0*i,
    0.223974431573378 + 0.0*i,
    0.355157926053037 + 0.0*i,
    -0.190955960234152 + 0.0*i,
    0.796818683559562 + 0.0*i,
    -0.139227679182359 + 0.0*i,
    -0.445095151091314 + 0.0*i
]);