V:=Matrix(CC,4,126,[
    0.0491828085016175 + 0.0*i,
    -0.0277940225863578 + 0.0*i,
    -0.809058406361928 + 0.0*i,
    0.253692327942134 + 0.0*i,
    -0.0250455079980852 + 0.0*i,
    -0.0675685743265278 + 0.0*i,
    -0.550971858761385 + 0.0*i,
    -0.473178461517887 + 0.0*i,
    0.45454799823921 + 0.0*i,
    -0.630911137705967 + 0.0*i,
    0.0459125197798477 + 0.0*i,
    -0.772186270841552 + 0.0*i,
    0.466913241373798 + 0.0*i,
    0.601993366001157 + 0.0*i,
    0.205790165126243 + 0.0*i,
    0.143919345993698 + 0.0*i,
    -0.296738163709018 + 0.0*i,
    0.17768296675618 + 0.0*i,
    0.384501036225312 + 0.0*i,
    -0.0646042725793663 + 0.0*i,
    0.444046813144511 + 0.0*i,
    0.515229154093907 + 0.0*i,
    0.160816870566567 + 0.0*i,
    1.19021807556983 + 0.0*i,
    -0.334818626629715 + 0.0*i,
    0.336056866644836 + 0.0*i,
    -0.348392559966294 + 0.0*i,
    0.124945885571519 + 0.0*i,
    -0.12039374761724 + 0.0*i,
    1.08711586507357 + 0.0*i,
    -0.286615217405686 + 0.0*i,
    0.497778884856232 + 0.0*i,
    -0.782957853428208 + 0.0*i,
    -0.26565400035189 + 0.0*i,
    0.263800107400573 + 0.0*i,
    -0.685804038275996 + 0.0*i,
    -0.795960482688217 + 0.0*i,
    -0.915635730448284 + 0.0*i,
    0.361725469292378 + 0.0*i,
    0.275394629428485 + 0.0*i,
    0.741435026517243 + 0.0*i,
    0.448360375895501 + 0.0*i,
    -1.10021587980244 + 0.0*i,
    -0.038152632741489 + 0.0*i,
    -0.784735754329722 + 0.0*i,
    0.6107941748742 + 0.0*i,
    0.159738072286996 + 0.0*i,
    -0.541677305842108 + 0.0*i,
    0.691899663221364 + 0.0*i,
    0.366672840587897 + 0.0*i,
    1.29485920297998 + 0.0*i,
    -0.292466250077645 + 0.0*i,
    -0.308278195477415 + 0.0*i,
    -0.162051070012123 + 0.0*i,
    0.749674031695977 + 0.0*i,
    0.464769751293511 + 0.0*i,
    0.208324839753403 + 0.0*i,
    0.27866504575061 + 0.0*i,
    -0.304666439762622 + 0.0*i,
    0.0391053215127921 + 0.0*i,
    -0.34096003885447 + 0.0*i,
    0.153490286668923 + 0.0*i,
    -0.19312465725065 + 0.0*i,
    -0.757631426763407 + 0.0*i,
    -0.205836505211033 + 0.0*i,
    -0.229074957399974 + 0.0*i,
    0.4402486411702 + 0.0*i,
    0.897267733495859 + 0.0*i,
    -0.178520806393794 + 0.0*i,
    -0.550569378745532 + 0.0*i,
    -0.706612149213642 + 0.0*i,
    -0.516719821673508 + 0.0*i,
    -0.00215710811546654 + 0.0*i,
    -0.289247465960786 + 0.0*i,
    -0.759213874595337 + 0.0*i,
    0.288722552887564 + 0.0*i,
    -0.370551676021557 + 0.0*i,
    0.136636749544511 + 0.0*i,
    -0.270172803739983 + 0.0*i,
    0.291765829230232 + 0.0*i,
    0.143650313713713 + 0.0*i,
    -0.16607573567385 + 0.0*i,
    -0.998342281001653 + 0.0*i,
    -0.146962703782098 + 0.0*i,
    0.463065382539698 + 0.0*i,
    0.718757388446782 + 0.0*i,
    0.163430437309858 + 0.0*i,
    -0.235852458418068 + 0.0*i,
    -0.502791916019087 + 0.0*i,
    -0.571334208539745 + 0.0*i,
    -0.227417363438514 + 0.0*i,
    -1.01031457915343 + 0.0*i,
    -0.118070471718107 + 0.0*i,
    0.561826535693383 + 0.0*i,
    -0.557239451341635 + 0.0*i,
    -0.207854556200979 + 0.0*i,
    0.198937305121477 + 0.0*i,
    0.681194331480438 + 0.0*i,
    0.438325845914274 + 0.0*i,
    -0.0603025005703415 + 0.0*i,
    -0.454130571499909 + 0.0*i,
    -0.270689633905959 + 0.0*i,
    -0.982748122181659 + 0.0*i,
    -0.33424834256524 + 0.0*i,
    0.806399570896962 + 0.0*i,
    0.153196900172319 + 0.0*i,
    0.421002855231963 + 0.0*i,
    0.162036177167996 + 0.0*i,
    0.739684103465128 + 0.0*i,
    0.372098525143558 + 0.0*i,
    -0.671886698927038 + 0.0*i,
    0.449649729242747 + 0.0*i,
    0.172184343574892 + 0.0*i,
    0.676028925746394 + 0.0*i,
    0.655650388964186 + 0.0*i,
    0.307355576702008 + 0.0*i,
    1.13608694922489 + 0.0*i,
    -0.413536153218997 + 0.0*i,
    -0.222329714459853 + 0.0*i,
    -0.165908676315751 + 0.0*i,
    0.259036765531647 + 0.0*i,
    0.884927617277358 + 0.0*i,
    0.471981282405872 + 0.0*i,
    -0.0123598547991708 + 0.0*i,
    0.482457734200616 + 0.0*i,
    0.233152354698039 + 0.0*i,
    -0.377040235348426 + 0.0*i,
    0.950641476388839 + 0.0*i,
    -0.19336444897281 + 0.0*i,
    -0.41495601180333 + 0.0*i,
    -0.196839813121224 + 0.0*i,
    0.251375635981546 + 0.0*i,
    0.390058363676607 + 0.0*i,
    0.463995576988583 + 0.0*i,
    -0.497572763247582 + 0.0*i,
    -0.647014049013306 + 0.0*i,
    0.350693678274689 + 0.0*i,
    0.355985160408461 + 0.0*i,
    0.241436148129823 + 0.0*i,
    0.0147713320600363 + 0.0*i,
    0.826170830865114 + 0.0*i,
    -0.410914874863917 + 0.0*i,
    0.22504507437285 + 0.0*i,
    0.350527339668737 + 0.0*i,
    0.319297903933301 + 0.0*i,
    -0.0968906882053392 + 0.0*i,
    -0.337512096413681 + 0.0*i,
    0.0988135281996593 + 0.0*i,
    0.269145270780834 + 0.0*i,
    0.283923870111926 + 0.0*i,
    0.437258541747348 + 0.0*i,
    0.634052319096453 + 0.0*i,
    -0.244174782130148 + 0.0*i,
    -0.49070366076471 + 0.0*i,
    -0.641620050597531 + 0.0*i,
    -0.140353201070863 + 0.0*i,
    0.052418713395346 + 0.0*i,
    0.533770286301512 + 0.0*i,
    0.822966442437078 + 0.0*i,
    -0.387162147277949 + 0.0*i,
    0.130425478192734 + 0.0*i,
    0.591835971912827 + 0.0*i,
    -0.153254240326755 + 0.0*i,
    0.505723123310476 + 0.0*i,
    0.0453255026383878 + 0.0*i,
    0.257912905412555 + 0.0*i,
    0.283950808275699 + 0.0*i,
    -0.118593133757012 + 0.0*i,
    0.668346595021095 + 0.0*i,
    -0.372783817539865 + 0.0*i,
    0.203190225322914 + 0.0*i,
    -0.112633055849442 + 0.0*i,
    -0.299351478039981 + 0.0*i,
    -0.0348374089272235 + 0.0*i,
    0.232983684680575 + 0.0*i,
    -0.250784594644242 + 0.0*i,
    0.257789402027025 + 0.0*i,
    0.589861118145531 + 0.0*i,
    0.223093050951298 + 0.0*i,
    -0.172181154589224 + 0.0*i,
    0.229271309618289 + 0.0*i,
    0.591175246026486 + 0.0*i,
    0.266202212358411 + 0.0*i,
    0.0889425539989657 + 0.0*i,
    0.156805936412895 + 0.0*i,
    -0.152115071052589 + 0.0*i,
    0.542397531898691 + 0.0*i,
    0.273080892772833 + 0.0*i,
    -0.436805530257519 + 0.0*i,
    -0.0537646000775043 + 0.0*i,
    1.16367271279343 + 0.0*i,
    -0.305837555707766 + 0.0*i,
    -0.0306485343126538 + 0.0*i,
    0.700815453417647 + 0.0*i,
    -0.195132018084633 + 0.0*i,
    0.97432792551008 + 0.0*i,
    -0.215363038163567 + 0.0*i,
    0.306717896641863 + 0.0*i,
    0.326336633580053 + 0.0*i,
    -0.337998949059441 + 0.0*i,
    -0.338913600622573 + 0.0*i,
    0.422360818142035 + 0.0*i,
    0.600088207935106 + 0.0*i,
    0.221016273175711 + 0.0*i,
    0.0705125497391164 + 0.0*i,
    -0.0556654998048345 + 0.0*i,
    0.473798815718743 + 0.0*i,
    -0.142704947745426 + 0.0*i,
    -0.448978969792471 + 0.0*i,
    -1.09868736332738 + 0.0*i,
    -0.0200115307227127 + 0.0*i,
    0.318484016725894 + 0.0*i,
    0.575518356406606 + 0.0*i,
    0.593803460013885 + 0.0*i,
    -0.42046946394574 + 0.0*i,
    0.109845905593569 + 0.0*i,
    0.848097837370709 + 0.0*i,
    -0.285774190641572 + 0.0*i,
    -0.032238409449804 + 0.0*i,
    -0.193849631627951 + 0.0*i,
    0.227808063054669 + 0.0*i,
    -0.685475709518252 + 0.0*i,
    -0.792238767200227 + 0.0*i,
    0.711365600058415 + 0.0*i,
    0.140580741182376 + 0.0*i,
    0.0436643514496628 + 0.0*i,
    -1.22817286804676 + 0.0*i,
    -0.0759873126882809 + 0.0*i,
    -0.358838447128352 + 0.0*i,
    -0.39729479403319 + 0.0*i,
    -0.127095765339625 + 0.0*i,
    0.978301406728176 + 0.0*i,
    0.0507127852135291 + 0.0*i,
    0.630066868193123 + 0.0*i,
    -0.572753028891554 + 0.0*i,
    -0.533902060227612 + 0.0*i,
    0.245933780304849 + 0.0*i,
    -0.0847590272279637 + 0.0*i,
    -0.458263828732119 + 0.0*i,
    -0.2391954929774 + 0.0*i,
    0.223553839715687 + 0.0*i,
    -0.243643048122405 + 0.0*i,
    -0.16143226089833 + 0.0*i,
    1.14983010180702 + 0.0*i,
    -0.607004463402648 + 0.0*i,
    -0.345698225428207 + 0.0*i,
    0.0758290616585624 + 0.0*i,
    0.422982519070607 + 0.0*i,
    0.3928109651249 + 0.0*i,
    -0.976667856342151 + 0.0*i,
    0.421868846577324 + 0.0*i,
    -0.39811436180495 + 0.0*i,
    -0.185833138438824 + 0.0*i,
    -0.202112425183278 + 0.0*i,
    -0.0241621776792979 + 0.0*i,
    0.366241790596147 + 0.0*i,
    0.242426447430089 + 0.0*i,
    -0.450405481275111 + 0.0*i,
    0.0969389923048293 + 0.0*i,
    0.171444219343802 + 0.0*i,
    0.293565457887308 + 0.0*i,
    0.293272765044247 + 0.0*i,
    -0.324334723859457 + 0.0*i,
    0.381374857742896 + 0.0*i,
    -0.581081565577672 + 0.0*i,
    0.214108532413305 + 0.0*i,
    0.590169053047995 + 0.0*i,
    -0.215593755631884 + 0.0*i,
    -0.881654386459672 + 0.0*i,
    -0.339698343178867 + 0.0*i,
    0.350598909339933 + 0.0*i,
    -0.241384191690129 + 0.0*i,
    0.0207907578836939 + 0.0*i,
    -0.546786998858462 + 0.0*i,
    -0.545896787469157 + 0.0*i,
    0.983671701410955 + 0.0*i,
    0.369923931265843 + 0.0*i,
    0.435461471440619 + 0.0*i,
    -0.0582690346964978 + 0.0*i,
    0.139203642046905 + 0.0*i,
    -1.00675489243154 + 0.0*i,
    0.250811149577942 + 0.0*i,
    0.0344133580777351 + 0.0*i,
    0.0337801325843414 + 0.0*i,
    0.565896619424505 + 0.0*i,
    -0.285843092982403 + 0.0*i,
    0.161367466905714 + 0.0*i,
    0.246154274506718 + 0.0*i,
    0.587308228986519 + 0.0*i,
    -3.92588740131002e-05 + 0.0*i,
    0.219731433091432 + 0.0*i,
    -0.0465428263327636 + 0.0*i,
    0.02023412001598 + 0.0*i,
    0.099358481275554 + 0.0*i,
    0.637889887539029 + 0.0*i,
    0.946432750190059 + 0.0*i,
    0.478928935090571 + 0.0*i,
    -1.18716126495604 + 0.0*i,
    -0.00472996568070277 + 0.0*i,
    0.136762109287903 + 0.0*i,
    0.558179091318594 + 0.0*i,
    0.0842676611983634 + 0.0*i,
    -0.341942105261643 + 0.0*i,
    -1.26648095440623 + 0.0*i,
    -0.544106492205728 + 0.0*i,
    0.547468527558529 + 0.0*i,
    0.662141164933337 + 0.0*i,
    -0.253559150220362 + 0.0*i,
    -0.894481763701346 + 0.0*i,
    -0.177066992264971 + 0.0*i,
    -0.767409383449935 + 0.0*i,
    -0.72831666625877 + 0.0*i,
    0.0735725230969293 + 0.0*i,
    -0.219430202390724 + 0.0*i,
    -0.0157918446829416 + 0.0*i,
    0.713115723531995 + 0.0*i,
    -0.205834644461942 + 0.0*i,
    -0.109861826524538 + 0.0*i,
    -0.0205352365715058 + 0.0*i,
    0.140344294190205 + 0.0*i,
    0.589108938358114 + 0.0*i,
    -0.263249694256348 + 0.0*i,
    0.148013190407978 + 0.0*i,
    0.209789862486519 + 0.0*i,
    -0.119370377417746 + 0.0*i,
    0.55972084126667 + 0.0*i,
    0.381326989836431 + 0.0*i,
    0.937269350253759 + 0.0*i,
    0.248145424746435 + 0.0*i,
    0.413645997760564 + 0.0*i,
    0.372786087673523 + 0.0*i,
    -0.75080298020205 + 0.0*i,
    0.494880570570813 + 0.0*i,
    -0.0924707964854959 + 0.0*i,
    -0.060930903622923 + 0.0*i,
    -0.246723100222788 + 0.0*i,
    0.434696485719533 + 0.0*i,
    -0.70269330462271 + 0.0*i,
    -0.0231313572654352 + 0.0*i,
    -0.35439843327388 + 0.0*i,
    0.727158556403503 + 0.0*i,
    0.25395517113006 + 0.0*i,
    0.156877904393593 + 0.0*i,
    0.285617031572717 + 0.0*i,
    -1.01169058560071 + 0.0*i,
    -0.364616591795245 + 0.0*i,
    0.986274974095178 + 0.0*i,
    -0.916045489803612 + 0.0*i,
    0.737266065964236 + 0.0*i,
    0.356184258828979 + 0.0*i,
    -0.680015987778229 + 0.0*i,
    -0.107954974220401 + 0.0*i,
    -0.536995471876942 + 0.0*i,
    1.26328316258168 + 0.0*i,
    0.635562548370071 + 0.0*i,
    -1.2836283401147 + 0.0*i,
    -0.00678128744269724 + 0.0*i,
    0.713836498378025 + 0.0*i,
    -0.0368369532837188 + 0.0*i,
    -0.513981445761887 + 0.0*i,
    0.274244365866228 + 0.0*i,
    0.0946342168376096 + 0.0*i,
    -0.169488515057952 + 0.0*i,
    -1.03088588136682 + 0.0*i,
    -0.65478415581964 + 0.0*i,
    0.316394962524862 + 0.0*i,
    -0.0130211893622176 + 0.0*i,
    -0.595814427879595 + 0.0*i,
    -0.0180706316835377 + 0.0*i,
    0.301788955585608 + 0.0*i,
    0.774677405244428 + 0.0*i,
    0.321715152188953 + 0.0*i,
    -0.317087177740335 + 0.0*i,
    -0.526171624390869 + 0.0*i,
    -0.369786380037378 + 0.0*i,
    1.10272466591805 + 0.0*i,
    0.715055356116575 + 0.0*i,
    -0.203335632569576 + 0.0*i,
    0.611929030414561 + 0.0*i,
    0.499070674521983 + 0.0*i,
    -0.0533576002994458 + 0.0*i,
    -0.246796851500053 + 0.0*i,
    -0.545299294019143 + 0.0*i,
    -0.45153621031896 + 0.0*i,
    -0.856164251998162 + 0.0*i,
    0.199046359691382 + 0.0*i,
    -0.0708773388948401 + 0.0*i,
    -0.713350755648837 + 0.0*i,
    -0.632093925843267 + 0.0*i,
    0.0444841645279666 + 0.0*i,
    -0.189814115875256 + 0.0*i,
    -0.293323909982527 + 0.0*i,
    0.0409968615570748 + 0.0*i,
    -0.898539844920234 + 0.0*i,
    0.942622950897164 + 0.0*i,
    0.896615203238613 + 0.0*i,
    -0.529358208109619 + 0.0*i,
    0.743213252446985 + 0.0*i,
    -0.0411867113448614 + 0.0*i,
    1.15429843206201 + 0.0*i,
    -0.0113476429706166 + 0.0*i,
    0.0229828654965131 + 0.0*i,
    -0.268926655969791 + 0.0*i,
    0.231095714204928 + 0.0*i,
    0.462367447587398 + 0.0*i,
    0.366749513835261 + 0.0*i,
    -0.482362925090658 + 0.0*i,
    -0.314324757582302 + 0.0*i,
    0.60108002419995 + 0.0*i,
    -0.207066204807004 + 0.0*i,
    0.392552891780331 + 0.0*i,
    0.544492338089062 + 0.0*i,
    0.701638464094551 + 0.0*i,
    0.173892326462491 + 0.0*i,
    -0.482697687727693 + 0.0*i,
    0.534322404571837 + 0.0*i,
    -0.192454629519869 + 0.0*i,
    1.04481622339536 + 0.0*i,
    0.00358076208862215 + 0.0*i,
    -0.323020392404364 + 0.0*i,
    -0.630420725456964 + 0.0*i,
    0.380000787815349 + 0.0*i,
    -0.424739735377035 + 0.0*i,
    -0.286032630033407 + 0.0*i,
    0.339147184096951 + 0.0*i,
    -0.255066822013929 + 0.0*i,
    0.203829974545534 + 0.0*i,
    -0.206679013235816 + 0.0*i,
    -0.0561468144862877 + 0.0*i,
    -0.85046425261711 + 0.0*i,
    0.146024572355983 + 0.0*i,
    0.999089782046451 + 0.0*i,
    0.389597114458248 + 0.0*i,
    1.06038444603775 + 0.0*i,
    -0.106014341417099 + 0.0*i,
    0.116597356458184 + 0.0*i,
    0.825503935895122 + 0.0*i,
    -1.04032755850721 + 0.0*i,
    -0.127205463153127 + 0.0*i,
    0.328201518954446 + 0.0*i,
    0.221788325388585 + 0.0*i,
    -0.558852558785077 + 0.0*i,
    -0.511948741985779 + 0.0*i,
    -0.238702815556678 + 0.0*i,
    0.424417369679808 + 0.0*i,
    -0.137992877005233 + 0.0*i,
    -0.294333878037017 + 0.0*i,
    0.0875238188104221 + 0.0*i,
    0.040020793655404 + 0.0*i,
    0.518511088579665 + 0.0*i,
    -0.338321149622116 + 0.0*i,
    0.222635993126686 + 0.0*i,
    0.179587350451781 + 0.0*i,
    -0.762865800236055 + 0.0*i,
    -0.255933453363407 + 0.0*i,
    -0.416802963696405 + 0.0*i,
    0.196624449728084 + 0.0*i,
    0.201511114759617 + 0.0*i,
    -0.240920545282956 + 0.0*i,
    0.672156469035697 + 0.0*i,
    -0.0385424338215457 + 0.0*i,
    0.794514418074483 + 0.0*i,
    -0.227029104560085 + 0.0*i,
    -1.04240037522118 + 0.0*i,
    0.630245822493471 + 0.0*i,
    1.40726481774808 + 0.0*i,
    0.0312201879644304 + 0.0*i,
    -0.617591376640451 + 0.0*i,
    0.230798509213267 + 0.0*i,
    0.430085814939406 + 0.0*i,
    0.145128068210678 + 0.0*i,
    -0.762105265167868 + 0.0*i,
    0.000290994269075202 + 0.0*i,
    1.47773334021589 + 0.0*i,
    -0.00569450080686383 + 0.0*i,
    -0.36848928712448 + 0.0*i,
    -0.172716296308987 + 0.0*i,
    -0.152880898967257 + 0.0*i,
    0.205659179123844 + 0.0*i,
    0.273441487883829 + 0.0*i,
    0.140625348125721 + 0.0*i,
    -0.750144934129289 + 0.0*i,
    -0.211426863822718 + 0.0*i,
    0.362002451709522 + 0.0*i,
    0.0304514575063417 + 0.0*i,
    -0.608614731864525 + 0.0*i,
    0.42912787849923 + 0.0*i,
    -0.626249839971513 + 0.0*i,
    -0.102158132584035 + 0.0*i,
    0.587359925888352 + 0.0*i,
    -0.540400513229295 + 0.0*i,
    0.524661233789191 + 0.0*i,
    0.0735749008281836 + 0.0*i,
    -0.248185057175663 + 0.0*i,
    0.0942407875371065 + 0.0*i,
    0.834091601473538 + 0.0*i,
    0.363021705708948 + 0.0*i,
    -0.179085011167718 + 0.0*i,
    -0.51904679866718 + 0.0*i,
    -0.13304193789786 + 0.0*i,
    0.0549245679836806 + 0.0*i,
    -0.180324929693256 + 0.0*i,
    -0.0957739848374007 + 0.0*i,
    -0.0873139397640133 + 0.0*i
]);