V:=Matrix(CC,4,130,[
    -0.116652330977137 + 0.0*i,
    -0.385658311302277 + 0.0*i,
    -0.120586042156059 + 0.0*i,
    0.400115927064132 + 0.0*i,
    -0.273469241667043 + 0.0*i,
    0.201110768728046 + 0.0*i,
    -0.134921649712982 + 0.0*i,
    -0.121243732558422 + 0.0*i,
    0.203723835359204 + 0.0*i,
    0.411606674133604 + 0.0*i,
    -0.415931874762891 + 0.0*i,
    -0.260407436515364 + 0.0*i,
    0.0821048502404448 + 0.0*i,
    0.0355221506545625 + 0.0*i,
    0.30531802079354 + 0.0*i,
    0.252686418637457 + 0.0*i,
    0.034135054433485 + 0.0*i,
    -0.207940338022159 + 0.0*i,
    0.065431463731886 + 0.0*i,
    0.269833850241391 + 0.0*i,
    0.313287452896982 + 0.0*i,
    0.339666011657924 + 0.0*i,
    -0.416148331000338 + 0.0*i,
    -0.0632458747790696 + 0.0*i,
    0.312749488496788 + 0.0*i,
    -0.0308753073735008 + 0.0*i,
    0.14768550998886 + 0.0*i,
    0.156296311675117 + 0.0*i,
    0.485810055799193 + 0.0*i,
    -0.0945776445195438 + 0.0*i,
    -0.211903216235887 + 0.0*i,
    -0.1689868380478 + 0.0*i,
    -0.153994764895151 + 0.0*i,
    0.407429828852151 + 0.0*i,
    0.122091858547981 + 0.0*i,
    0.27350050058628 + 0.0*i,
    -0.0727279227890537 + 0.0*i,
    0.0522477789510335 + 0.0*i,
    -0.163009562227418 + 0.0*i,
    0.44443049107393 + 0.0*i,
    0.0441987014346701 + 0.0*i,
    0.112909509452396 + 0.0*i,
    -0.229691927307717 + 0.0*i,
    -0.223954068774707 + 0.0*i,
    0.201256649072256 + 0.0*i,
    -0.237758184744113 + 0.0*i,
    -0.353502511311285 + 0.0*i,
    -0.072579067191509 + 0.0*i,
    0.290045057920453 + 0.0*i,
    -0.141370116544106 + 0.0*i,
    0.0701272589366171 + 0.0*i,
    -0.29957947216221 + 0.0*i,
    0.270157858665625 + 0.0*i,
    -0.26627623095621 + 0.0*i,
    0.120000774713075 + 0.0*i,
    0.288442597686728 + 0.0*i,
    0.287995863154969 + 0.0*i,
    0.349745048356097 + 0.0*i,
    0.0896642083095509 + 0.0*i,
    -0.0941986101233113 + 0.0*i,
    -0.164028884586065 + 0.0*i,
    0.26119173035771 + 0.0*i,
    0.00165644116046335 + 0.0*i,
    0.0338700649238469 + 0.0*i,
    -0.391390324177867 + 0.0*i,
    0.223507124626744 + 0.0*i,
    0.0966436350313759 + 0.0*i,
    -0.103355401834421 + 0.0*i,
    0.358258300471068 + 0.0*i,
    0.175243974579588 + 0.0*i,
    -0.0751795708825292 + 0.0*i,
    -0.279856296054912 + 0.0*i,
    0.174140821777636 + 0.0*i,
    0.452158746640251 + 0.0*i,
    -0.38668590833911 + 0.0*i,
    0.022812270207859 + 0.0*i,
    -0.0036277384616315 + 0.0*i,
    -0.0138061427171465 + 0.0*i,
    -0.349960387453108 + 0.0*i,
    0.260710198213028 + 0.0*i,
    0.149843837202404 + 0.0*i,
    0.463123302149628 + 0.0*i,
    0.418461508747785 + 0.0*i,
    0.315522341581803 + 0.0*i,
    0.0257757984170901 + 0.0*i,
    0.287493072650523 + 0.0*i,
    0.147171256688204 + 0.0*i,
    -0.0266796304634625 + 0.0*i,
    0.116829573377557 + 0.0*i,
    0.392774420758191 + 0.0*i,
    0.265453147919717 + 0.0*i,
    0.40671123147247 + 0.0*i,
    0.355915131063362 + 0.0*i,
    -0.0586943887394349 + 0.0*i,
    -0.311468986369749 + 0.0*i,
    0.12330552890477 + 0.0*i,
    0.212625297009534 + 0.0*i,
    -0.468228609787319 + 0.0*i,
    0.0363005497702606 + 0.0*i,
    0.260797555767288 + 0.0*i,
    0.187890542536381 + 0.0*i,
    -0.243985457489238 + 0.0*i,
    -0.0511510324197454 + 0.0*i,
    -0.0333222801252719 + 0.0*i,
    -0.140130902647253 + 0.0*i,
    -0.283132549856165 + 0.0*i,
    -0.27664485134188 + 0.0*i,
    0.156545790195088 + 0.0*i,
    0.133992078960302 + 0.0*i,
    0.0597828851303505 + 0.0*i,
    -0.101369174857883 + 0.0*i,
    -0.293897753270757 + 0.0*i,
    0.331695125894981 + 0.0*i,
    0.156498313590484 + 0.0*i,
    0.0609866722265903 + 0.0*i,
    0.397662810227015 + 0.0*i,
    0.41361330606963 + 0.0*i,
    -0.188958739102833 + 0.0*i,
    -0.101845263281091 + 0.0*i,
    0.38474851169362 + 0.0*i,
    0.182154747526337 + 0.0*i,
    -0.170224173470118 + 0.0*i,
    0.239245074532816 + 0.0*i,
    -0.274774166923547 + 0.0*i,
    -0.0645023953974175 + 0.0*i,
    -0.213890867600466 + 0.0*i,
    0.124085224672022 + 0.0*i,
    0.260033345775986 + 0.0*i,
    -0.00492090987186347 + 0.0*i,
    0.363558435145956 + 0.0*i,
    0.450914159516668 + 0.0*i,
    0.176740892269266 + 0.0*i,
    -0.405163805574883 + 0.0*i,
    0.0444605352801517 + 0.0*i,
    0.260901469934933 + 0.0*i,
    0.390525901206432 + 0.0*i,
    0.460147371913304 + 0.0*i,
    0.13771931580266 + 0.0*i,
    -0.386339208037059 + 0.0*i,
    0.0817701736494419 + 0.0*i,
    0.171776940973069 + 0.0*i,
    0.272368843324648 + 0.0*i,
    -0.159991668233728 + 0.0*i,
    0.457503385030561 + 0.0*i,
    0.186921770066636 + 0.0*i,
    0.0314212957016963 + 0.0*i,
    -0.168815981570365 + 0.0*i,
    0.132562064165731 + 0.0*i,
    0.0618805751316621 + 0.0*i,
    0.170132031578055 + 0.0*i,
    0.299258448877566 + 0.0*i,
    0.00687132372281055 + 0.0*i,
    0.108077055983883 + 0.0*i,
    -0.317871683149925 + 0.0*i,
    0.35184303765991 + 0.0*i,
    0.212966335052939 + 0.0*i,
    0.114534524482917 + 0.0*i,
    0.314353362708237 + 0.0*i,
    -0.00155005904746473 + 0.0*i,
    -0.297015624625732 + 0.0*i,
    -0.3514387665116 + 0.0*i,
    -0.415707432312815 + 0.0*i,
    -0.118380841023585 + 0.0*i,
    -0.125307032887104 + 0.0*i,
    -0.326782546662637 + 0.0*i,
    0.0253220641059892 + 0.0*i,
    0.149738969658522 + 0.0*i,
    0.180356303471744 + 0.0*i,
    -0.0182359550909889 + 0.0*i,
    0.200176316460056 + 0.0*i,
    0.379374977147604 + 0.0*i,
    -0.251675880955435 + 0.0*i,
    -0.132535413886226 + 0.0*i,
    0.184208520573222 + 0.0*i,
    0.286544522611258 + 0.0*i,
    -0.256626662978319 + 0.0*i,
    0.025639769262942 + 0.0*i,
    -0.489307838046075 + 0.0*i,
    0.182270487031186 + 0.0*i,
    0.134822389491074 + 0.0*i,
    0.0198315409171585 + 0.0*i,
    0.038411491160027 + 0.0*i,
    -0.146581644727797 + 0.0*i,
    0.328481708914101 + 0.0*i,
    -0.33984308476555 + 0.0*i,
    0.152528496831497 + 0.0*i,
    -0.281563945446038 + 0.0*i,
    -0.311707885120513 + 0.0*i,
    0.220346658103025 + 0.0*i,
    0.402514140737244 + 0.0*i,
    0.304649881839455 + 0.0*i,
    -0.174864194234345 + 0.0*i,
    0.455200897740466 + 0.0*i,
    0.00034905798530673 + 0.0*i,
    -0.094626664805435 + 0.0*i,
    0.189214800038349 + 0.0*i,
    -0.350382437850163 + 0.0*i,
    0.0530591731280489 + 0.0*i,
    0.14803256512136 + 0.0*i,
    0.0113805888762472 + 0.0*i,
    -0.401737161887305 + 0.0*i,
    0.350142974497256 + 0.0*i,
    0.298301608424149 + 0.0*i,
    -0.189152466438109 + 0.0*i,
    0.174269157013334 + 0.0*i,
    0.251836328498925 + 0.0*i,
    0.411181744619165 + 0.0*i,
    -0.211876741785715 + 0.0*i,
    0.267439142225099 + 0.0*i,
    0.0498463218572852 + 0.0*i,
    0.0991502815050059 + 0.0*i,
    0.0284904582087155 + 0.0*i,
    0.181014530272636 + 0.0*i,
    -0.00955020639838127 + 0.0*i,
    0.0458793930109513 + 0.0*i,
    0.280763627343761 + 0.0*i,
    -0.0770956982291765 + 0.0*i,
    0.38203057163785 + 0.0*i,
    -0.346428046398594 + 0.0*i,
    -0.0571688821655464 + 0.0*i,
    0.40395358799149 + 0.0*i,
    -0.167245322774394 + 0.0*i,
    0.204323526431589 + 0.0*i,
    0.34416049625003 + 0.0*i,
    0.055868217055527 + 0.0*i,
    0.0375209563922889 + 0.0*i,
    0.246957385401366 + 0.0*i,
    -0.00554785986149769 + 0.0*i,
    -0.0388651421332173 + 0.0*i,
    -0.183784454903102 + 0.0*i,
    -0.317091893858617 + 0.0*i,
    -0.0826381013071248 + 0.0*i,
    0.00198329863525752 + 0.0*i,
    -0.233678578823695 + 0.0*i,
    0.160028860503945 + 0.0*i,
    0.13003336145361 + 0.0*i,
    -0.244564010755337 + 0.0*i,
    0.0820851403497632 + 0.0*i,
    0.10319755033249 + 0.0*i,
    -0.0707156238050268 + 0.0*i,
    -0.232485950386525 + 0.0*i,
    0.219923186164849 + 0.0*i,
    -0.355026182576648 + 0.0*i,
    0.112792115683666 + 0.0*i,
    -0.228565801121339 + 0.0*i,
    0.242412354469993 + 0.0*i,
    0.124989297978084 + 0.0*i,
    0.124264620791231 + 0.0*i,
    -0.281980490489427 + 0.0*i,
    -0.0131582814285765 + 0.0*i,
    0.415969731805846 + 0.0*i,
    0.442889226167435 + 0.0*i,
    -0.377656209674135 + 0.0*i,
    -0.345334655019973 + 0.0*i,
    -0.327978881245345 + 0.0*i,
    0.103081817684532 + 0.0*i,
    -0.23148378138232 + 0.0*i,
    -0.076388792346043 + 0.0*i,
    -0.18330268708948 + 0.0*i,
    0.282728301614431 + 0.0*i,
    0.130302815607337 + 0.0*i,
    0.140109315602986 + 0.0*i,
    -0.11566935458313 + 0.0*i,
    0.0639032059015754 + 0.0*i,
    0.302709710210408 + 0.0*i,
    0.165504631034671 + 0.0*i,
    -0.0015768348740229 + 0.0*i,
    -0.218088574412289 + 0.0*i,
    -0.143292560617421 + 0.0*i,
    -0.235572385341559 + 0.0*i,
    -0.0662078910614605 + 0.0*i,
    -0.228886645455326 + 0.0*i,
    0.250035385091127 + 0.0*i,
    -0.0193871812365454 + 0.0*i,
    -0.172822920551942 + 0.0*i,
    0.231761973188704 + 0.0*i,
    0.411713217392165 + 0.0*i,
    0.42555396317904 + 0.0*i,
    0.349959054199113 + 0.0*i,
    -0.357972176637639 + 0.0*i,
    -0.22649515413051 + 0.0*i,
    -0.0977877786594844 + 0.0*i,
    -0.0563487762802388 + 0.0*i,
    0.378732480805404 + 0.0*i,
    -0.0109313195076328 + 0.0*i,
    -0.388702972574304 + 0.0*i,
    -0.351806887108907 + 0.0*i,
    -0.280116069710118 + 0.0*i,
    0.102900820161928 + 0.0*i,
    0.190052804946679 + 0.0*i,
    0.0563681954652263 + 0.0*i,
    0.120514168292091 + 0.0*i,
    0.445156678946004 + 0.0*i,
    -0.239383377233205 + 0.0*i,
    -0.167964514612906 + 0.0*i,
    0.390785940905667 + 0.0*i,
    -0.4641383765635 + 0.0*i,
    0.22624548228937 + 0.0*i,
    0.046557224185265 + 0.0*i,
    -0.056766389463426 + 0.0*i,
    0.229344017946521 + 0.0*i,
    -0.347613115203656 + 0.0*i,
    0.290773103052158 + 0.0*i,
    -0.36956711353891 + 0.0*i,
    -0.312585940572176 + 0.0*i,
    -0.347147781755956 + 0.0*i,
    0.133276332532059 + 0.0*i,
    -0.0529861714826738 + 0.0*i,
    0.274662325697693 + 0.0*i,
    0.0751158202369208 + 0.0*i,
    0.110798616876134 + 0.0*i,
    0.288695015579868 + 0.0*i,
    0.0912644393121886 + 0.0*i,
    0.0688027997625322 + 0.0*i,
    0.0760062130472902 + 0.0*i,
    0.312390906538794 + 0.0*i,
    -0.251016167321235 + 0.0*i,
    0.124496518514981 + 0.0*i,
    0.182696845036745 + 0.0*i,
    0.218974015485871 + 0.0*i,
    -0.11096870496512 + 0.0*i,
    -0.15269257987624 + 0.0*i,
    -0.188870745483672 + 0.0*i,
    0.449258755515647 + 0.0*i,
    -0.2816986127166 + 0.0*i,
    0.00666813045962046 + 0.0*i,
    0.28341282202912 + 0.0*i,
    0.247300935658259 + 0.0*i,
    -0.269720653866506 + 0.0*i,
    0.347539618275439 + 0.0*i,
    -0.274678508847486 + 0.0*i,
    0.0191583807039335 + 0.0*i,
    -0.073049572915722 + 0.0*i,
    -0.0145055883359688 + 0.0*i,
    -0.257782600398432 + 0.0*i,
    -0.251932639095613 + 0.0*i,
    -0.0902851380767171 + 0.0*i,
    0.0370187784428366 + 0.0*i,
    -0.108738748052546 + 0.0*i,
    0.166869022554898 + 0.0*i,
    -0.430093787942534 + 0.0*i,
    -0.123883420431233 + 0.0*i,
    0.112176038575806 + 0.0*i,
    -0.366285213657095 + 0.0*i,
    -0.285278026776811 + 0.0*i,
    0.0868050342092956 + 0.0*i,
    -0.417397594124652 + 0.0*i,
    -0.251115638916336 + 0.0*i,
    -0.318564116609242 + 0.0*i,
    0.232050112414198 + 0.0*i,
    0.0177092194009945 + 0.0*i,
    -0.142037637159804 + 0.0*i,
    -0.124201668575266 + 0.0*i,
    0.0966631950323545 + 0.0*i,
    0.328745231318972 + 0.0*i,
    0.449674903369642 + 0.0*i,
    0.182700611780505 + 0.0*i,
    0.062012026532051 + 0.0*i,
    -0.486208145829097 + 0.0*i,
    0.263463393830421 + 0.0*i,
    0.331484760398293 + 0.0*i,
    -0.0105995630677864 + 0.0*i,
    -0.105437847724998 + 0.0*i,
    -0.42433873738072 + 0.0*i,
    0.0662347372981822 + 0.0*i,
    -0.0632181849281878 + 0.0*i,
    -0.119040035989762 + 0.0*i,
    -0.154043470534908 + 0.0*i,
    -0.199363626487206 + 0.0*i,
    -0.399589655713066 + 0.0*i,
    -0.359199522571105 + 0.0*i,
    0.0964176899743244 + 0.0*i,
    -0.0891521469932885 + 0.0*i,
    0.439877161988401 + 0.0*i,
    -0.408095241378141 + 0.0*i,
    0.143562240800527 + 0.0*i,
    0.0525509354585057 + 0.0*i,
    0.25758176368698 + 0.0*i,
    -0.328322344127645 + 0.0*i,
    0.238371553969921 + 0.0*i,
    -0.171541458426747 + 0.0*i,
    -0.102280548710951 + 0.0*i,
    0.164228815292233 + 0.0*i,
    -0.198917545799902 + 0.0*i,
    -0.0715587103253676 + 0.0*i,
    -0.349520277389604 + 0.0*i,
    -0.283414397209213 + 0.0*i,
    0.399646596656575 + 0.0*i,
    0.0391618412940656 + 0.0*i,
    -0.0909389326717614 + 0.0*i,
    -0.106062679091147 + 0.0*i,
    0.191806400511304 + 0.0*i,
    -0.229253002760914 + 0.0*i,
    0.271471869488115 + 0.0*i,
    0.115488802248615 + 0.0*i,
    -0.135012760489698 + 0.0*i,
    0.116517525375171 + 0.0*i,
    0.389270661303538 + 0.0*i,
    -0.0348765653262174 + 0.0*i,
    0.0975976477420032 + 0.0*i,
    -0.189327362881307 + 0.0*i,
    -0.229138030183531 + 0.0*i,
    0.390404009557133 + 0.0*i,
    -0.18772654031796 + 0.0*i,
    -0.287701956881555 + 0.0*i,
    0.352837476183462 + 0.0*i,
    -0.214563089142729 + 0.0*i,
    -0.0498897838613447 + 0.0*i,
    0.338893697904807 + 0.0*i,
    0.0661863926873195 + 0.0*i,
    0.0525124015661045 + 0.0*i,
    -0.339250157115703 + 0.0*i,
    0.22377811704234 + 0.0*i,
    -0.0195914087196229 + 0.0*i,
    0.133456142426419 + 0.0*i,
    -0.216728770752324 + 0.0*i,
    -0.288678169838927 + 0.0*i,
    0.199832983033459 + 0.0*i,
    -0.0219772212540993 + 0.0*i,
    0.330887025680645 + 0.0*i,
    0.256658036977387 + 0.0*i,
    -0.145797461317721 + 0.0*i,
    0.0790421689112302 + 0.0*i,
    -0.0151323909836044 + 0.0*i,
    0.306324418335897 + 0.0*i,
    -0.0892207464165875 + 0.0*i,
    -0.0126820085259384 + 0.0*i,
    -0.401867807431652 + 0.0*i,
    0.450075678387699 + 0.0*i,
    0.0163404451551398 + 0.0*i,
    -0.197521379746307 + 0.0*i,
    0.199795907764207 + 0.0*i,
    -0.298592297676002 + 0.0*i,
    0.123114417761806 + 0.0*i,
    -0.150265775001491 + 0.0*i,
    0.0288376677210059 + 0.0*i,
    -0.317348688269331 + 0.0*i,
    -0.0316953633926524 + 0.0*i,
    -0.208473434395044 + 0.0*i,
    -0.445172539844036 + 0.0*i,
    0.477392906633815 + 0.0*i,
    0.261001510429424 + 0.0*i,
    0.378995358429962 + 0.0*i,
    0.24495579749528 + 0.0*i,
    0.334162801933606 + 0.0*i,
    0.200872160674597 + 0.0*i,
    0.134857717995617 + 0.0*i,
    0.05012870063864 + 0.0*i,
    0.392975240438077 + 0.0*i,
    0.159761616877478 + 0.0*i,
    0.33018096868129 + 0.0*i,
    -0.323486401138461 + 0.0*i,
    0.0239966723458645 + 0.0*i,
    0.184854006385685 + 0.0*i,
    -0.0149249187264725 + 0.0*i,
    -0.395134133317521 + 0.0*i,
    -0.17655715725976 + 0.0*i,
    0.402493649884593 + 0.0*i,
    -0.124998115288156 + 0.0*i,
    -0.303998742967418 + 0.0*i,
    -0.0224562025146138 + 0.0*i,
    -0.198973690045955 + 0.0*i,
    0.346563471125308 + 0.0*i,
    -0.0275413509676919 + 0.0*i,
    0.0191805214469774 + 0.0*i,
    0.334103536838188 + 0.0*i,
    0.251665568641814 + 0.0*i,
    -0.44294893684328 + 0.0*i,
    0.172633586995082 + 0.0*i,
    -0.379988586857174 + 0.0*i,
    0.152839850280803 + 0.0*i,
    -0.124418235813082 + 0.0*i,
    0.141045448012836 + 0.0*i,
    -0.0658649910788433 + 0.0*i,
    0.389806097967604 + 0.0*i,
    -0.225165146408278 + 0.0*i,
    -0.194480153287287 + 0.0*i,
    -0.189103103042578 + 0.0*i,
    0.0375298634141151 + 0.0*i,
    0.17561610081765 + 0.0*i,
    -0.0464549162413686 + 0.0*i,
    0.1427316341447 + 0.0*i,
    0.251644530026706 + 0.0*i,
    0.329267824769392 + 0.0*i,
    -0.18989929816679 + 0.0*i,
    -0.128817729567648 + 0.0*i,
    -0.291601216926849 + 0.0*i,
    -0.119853717427676 + 0.0*i,
    0.0392721986573061 + 0.0*i,
    -0.261761742271991 + 0.0*i,
    0.0461019015592813 + 0.0*i,
    -0.418202606218831 + 0.0*i,
    0.477772991538948 + 0.0*i,
    0.0379437341191807 + 0.0*i,
    0.431120262119074 + 0.0*i,
    0.371958445742822 + 0.0*i,
    -0.30433938178803 + 0.0*i,
    0.426916692355226 + 0.0*i,
    -0.403465568990077 + 0.0*i,
    0.283180987696195 + 0.0*i,
    0.216824059182796 + 0.0*i,
    -0.298010130891534 + 0.0*i,
    -0.0183697541162478 + 0.0*i,
    0.0988029594980489 + 0.0*i,
    -0.122879215310432 + 0.0*i,
    -0.0720167016797677 + 0.0*i,
    -0.237240803102358 + 0.0*i,
    -0.353699772512224 + 0.0*i,
    -0.222347023754097 + 0.0*i,
    -0.195864933087484 + 0.0*i,
    -0.0769234696111741 + 0.0*i,
    -0.0932669035500806 + 0.0*i,
    -0.108382624965011 + 0.0*i,
    -0.094396474352233 + 0.0*i,
    0.349203824638197 + 0.0*i,
    -0.241005324003499 + 0.0*i,
    -0.308468362546983 + 0.0*i,
    0.0803732559446543 + 0.0*i,
    0.4515209741284 + 0.0*i,
    -0.129292306815209 + 0.0*i
]);