V:=Matrix(CC,4,126,[
    0.362674597899854 + 0.0*i,
    -0.379004702975114 + 0.0*i,
    -0.0535444630746949 + 0.0*i,
    -0.0461751999336088 + 0.0*i,
    -0.134120256159143 + 0.0*i,
    -0.178747656474138 + 0.0*i,
    -0.0168016768455242 + 0.0*i,
    0.159165171061983 + 0.0*i,
    -0.284842236921008 + 0.0*i,
    0.166533312451709 + 0.0*i,
    0.147727572134718 + 0.0*i,
    0.11815471164317 + 0.0*i,
    -0.102017422476934 + 0.0*i,
    0.332980059187951 + 0.0*i,
    -0.258819560359211 + 0.0*i,
    -0.106423770377581 + 0.0*i,
    -0.0955212187582053 + 0.0*i,
    -0.238805208953293 + 0.0*i,
    -0.319782939341531 + 0.0*i,
    -0.279705343751399 + 0.0*i,
    0.236628170188111 + 0.0*i,
    0.120291841958869 + 0.0*i,
    0.133283495232708 + 0.0*i,
    -0.422544160409466 + 0.0*i,
    0.354034171328543 + 0.0*i,
    -0.349330428808902 + 0.0*i,
    -0.0542234721894095 + 0.0*i,
    0.226895652965522 + 0.0*i,
    0.332704690944176 + 0.0*i,
    0.0185371934085573 + 0.0*i,
    -0.394326792525661 + 0.0*i,
    0.433758489103252 + 0.0*i,
    -0.309615781773103 + 0.0*i,
    -0.128772209201304 + 0.0*i,
    -0.294145940635672 + 0.0*i,
    -0.162657118525989 + 0.0*i,
    -0.163247966064273 + 0.0*i,
    0.394501246206962 + 0.0*i,
    0.290198063491152 + 0.0*i,
    -0.104972958770902 + 0.0*i,
    -0.0217615967759765 + 0.0*i,
    0.210060691456778 + 0.0*i,
    -0.0549609528238204 + 0.0*i,
    -0.423922207047109 + 0.0*i,
    0.400121425702098 + 0.0*i,
    0.355432993835702 + 0.0*i,
    0.0428735959231238 + 0.0*i,
    -0.427830883723262 + 0.0*i,
    0.302410909793662 + 0.0*i,
    0.121267071473249 + 0.0*i,
    -0.0152296113109525 + 0.0*i,
    -0.44263299497054 + 0.0*i,
    0.30693689501597 + 0.0*i,
    0.340982127486575 + 0.0*i,
    -0.0762935763286927 + 0.0*i,
    0.28383575413683 + 0.0*i,
    0.206377781241224 + 0.0*i,
    -0.442559659502082 + 0.0*i,
    -0.337477974615394 + 0.0*i,
    2.37414151378443e-05 + 0.0*i,
    -0.0133267197719678 + 0.0*i,
    0.267762358364912 + 0.0*i,
    0.0942663942541687 + 0.0*i,
    0.253583753546262 + 0.0*i,
    -0.0526899210067578 + 0.0*i,
    -0.343804524851426 + 0.0*i,
    0.186199316565287 + 0.0*i,
    -0.275636931845281 + 0.0*i,
    0.218141885043019 + 0.0*i,
    -0.0466374476719197 + 0.0*i,
    -0.18700785804585 + 0.0*i,
    -0.259213538560511 + 0.0*i,
    -0.0837364597032539 + 0.0*i,
    0.392851766865479 + 0.0*i,
    0.186553303658359 + 0.0*i,
    0.129551770397352 + 0.0*i,
    -0.339373368292692 + 0.0*i,
    -0.0505644727344171 + 0.0*i,
    -0.145800892248734 + 0.0*i,
    0.0390363712834227 + 0.0*i,
    -0.149047897929328 + 0.0*i,
    0.137064132061541 + 0.0*i,
    0.209957637324785 + 0.0*i,
    0.28555707380684 + 0.0*i,
    0.479029067391168 + 0.0*i,
    0.0841053196148852 + 0.0*i,
    0.0635902847060153 + 0.0*i,
    0.190144514298481 + 0.0*i,
    -0.304163560801236 + 0.0*i,
    -0.14173987461067 + 0.0*i,
    -0.131861680889248 + 0.0*i,
    -0.252913623726717 + 0.0*i,
    0.148770706182496 + 0.0*i,
    -0.39106993875837 + 0.0*i,
    -0.253535178737774 + 0.0*i,
    0.264364890901815 + 0.0*i,
    0.230532154959727 + 0.0*i,
    -0.407761741095535 + 0.0*i,
    -0.441325020277042 + 0.0*i,
    -0.070311084960621 + 0.0*i,
    0.0500336794551091 + 0.0*i,
    -0.0251986743978979 + 0.0*i,
    0.250738847916905 + 0.0*i,
    -0.297411500745113 + 0.0*i,
    0.286445069052342 + 0.0*i,
    0.0644721145058902 + 0.0*i,
    0.164822691958682 + 0.0*i,
    -0.00326952158879711 + 0.0*i,
    0.168357792805635 + 0.0*i,
    0.20676743486853 + 0.0*i,
    -0.0360890983941806 + 0.0*i,
    -0.0270152009396869 + 0.0*i,
    -0.234537528275477 + 0.0*i,
    0.0788024941666991 + 0.0*i,
    0.0650019169563181 + 0.0*i,
    -0.113066926507552 + 0.0*i,
    0.19226541453783 + 0.0*i,
    0.365330683558752 + 0.0*i,
    0.210230425591329 + 0.0*i,
    0.174842849578772 + 0.0*i,
    -0.105868376785462 + 0.0*i,
    0.311462778132595 + 0.0*i,
    0.0726316182313762 + 0.0*i,
    0.145306469273868 + 0.0*i,
    -0.250608245905683 + 0.0*i,
    -0.0288449610273346 + 0.0*i,
    0.261478466655648 + 0.0*i,
    0.216890018706416 + 0.0*i,
    -0.283144721697251 + 0.0*i,
    0.00717579152823389 + 0.0*i,
    -0.0484697431648608 + 0.0*i,
    0.294780848262028 + 0.0*i,
    -0.302970934246713 + 0.0*i,
    0.0256577214178978 + 0.0*i,
    0.00487468088583332 + 0.0*i,
    0.226235914350935 + 0.0*i,
    0.0667879443758394 + 0.0*i,
    -0.00870573702448852 + 0.0*i,
    -0.0437837345499056 + 0.0*i,
    0.0671792445310937 + 0.0*i,
    -0.315727374855457 + 0.0*i,
    0.195579733145574 + 0.0*i,
    -0.127497481051451 + 0.0*i,
    0.190161968803275 + 0.0*i,
    0.0417949905675027 + 0.0*i,
    -0.264489660270324 + 0.0*i,
    0.14477884117867 + 0.0*i,
    0.397964267544213 + 0.0*i,
    -0.276646966137856 + 0.0*i,
    -0.158756619185198 + 0.0*i,
    -0.173504051441243 + 0.0*i,
    -0.144559317359277 + 0.0*i,
    -0.410938769672297 + 0.0*i,
    0.0368749081843036 + 0.0*i,
    -0.28998426302492 + 0.0*i,
    -0.219662204417926 + 0.0*i,
    -0.0457133928258467 + 0.0*i,
    0.140585092856109 + 0.0*i,
    -0.147544927584853 + 0.0*i,
    -0.113483461045895 + 0.0*i,
    0.116779388841921 + 0.0*i,
    -0.34600475321288 + 0.0*i,
    -0.42981923387206 + 0.0*i,
    0.113249949874168 + 0.0*i,
    -0.0417200104991705 + 0.0*i,
    0.100183686308559 + 0.0*i,
    -0.0636260917011996 + 0.0*i,
    0.0777815473889114 + 0.0*i,
    -0.15860670096635 + 0.0*i,
    0.0353167855802141 + 0.0*i,
    -0.103144997066284 + 0.0*i,
    -0.0955241212376606 + 0.0*i,
    -0.0850691330288675 + 0.0*i,
    -0.187858913596457 + 0.0*i,
    0.280763782532416 + 0.0*i,
    -0.342122363253132 + 0.0*i,
    0.147925016527479 + 0.0*i,
    0.161963081177523 + 0.0*i,
    0.111694801157225 + 0.0*i,
    0.159506862095029 + 0.0*i,
    -0.257236736899081 + 0.0*i,
    -0.281789717777347 + 0.0*i,
    0.413352362529701 + 0.0*i,
    -0.0599669363320024 + 0.0*i,
    -0.337551090451335 + 0.0*i,
    0.273545209204818 + 0.0*i,
    -0.37706894790361 + 0.0*i,
    0.0250211201189321 + 0.0*i,
    -0.140137569272528 + 0.0*i,
    0.157892144388874 + 0.0*i,
    0.430122810774337 + 0.0*i,
    -0.244192260067013 + 0.0*i,
    0.0437666016771427 + 0.0*i,
    0.166381904694807 + 0.0*i,
    -0.136855347828015 + 0.0*i,
    -0.158654246857587 + 0.0*i,
    -0.179877985388493 + 0.0*i,
    0.0738667260077927 + 0.0*i,
    -0.373949354452049 + 0.0*i,
    -0.174283475021054 + 0.0*i,
    -0.328242813880981 + 0.0*i,
    0.329261083947061 + 0.0*i,
    -0.108655656227981 + 0.0*i,
    -0.400667243432271 + 0.0*i,
    0.0735769812585975 + 0.0*i,
    -0.154705214539781 + 0.0*i,
    -0.438450249899725 + 0.0*i,
    0.25282656936856 + 0.0*i,
    -0.149242122319997 + 0.0*i,
    -0.285771820709486 + 0.0*i,
    -0.0281407521082669 + 0.0*i,
    -0.203803973191307 + 0.0*i,
    -0.327921565071818 + 0.0*i,
    0.108908454861724 + 0.0*i,
    -0.0497011785730656 + 0.0*i,
    0.350602338035795 + 0.0*i,
    0.133835196011643 + 0.0*i,
    -0.339305133845568 + 0.0*i,
    -0.422657671954377 + 0.0*i,
    0.271568477660813 + 0.0*i,
    -0.0155528052554493 + 0.0*i,
    -0.100714726397226 + 0.0*i,
    -0.299816564209182 + 0.0*i,
    0.0833345051093336 + 0.0*i,
    0.00411231046248453 + 0.0*i,
    -0.396595880778132 + 0.0*i,
    -0.435967629180635 + 0.0*i,
    0.120827806474082 + 0.0*i,
    -0.399038272573334 + 0.0*i,
    -0.32930462099397 + 0.0*i,
    -0.366247452526424 + 0.0*i,
    -0.0219722301112159 + 0.0*i,
    0.240466905205912 + 0.0*i,
    -0.47893510704043 + 0.0*i,
    -0.187904723984828 + 0.0*i,
    -0.147936388958897 + 0.0*i,
    0.319423455635216 + 0.0*i,
    0.212621445923813 + 0.0*i,
    0.245245193837001 + 0.0*i,
    -0.345503456092266 + 0.0*i,
    0.192262199931752 + 0.0*i,
    0.45196741425584 + 0.0*i,
    -0.397811631598251 + 0.0*i,
    -0.0392659924113489 + 0.0*i,
    0.261015839214439 + 0.0*i,
    0.284516976292796 + 0.0*i,
    0.0384413173036703 + 0.0*i,
    -0.251064256868162 + 0.0*i,
    -0.285487454037186 + 0.0*i,
    0.241710902535489 + 0.0*i,
    -0.277329374717333 + 0.0*i,
    0.0244647721011253 + 0.0*i,
    -0.0219000903926622 + 0.0*i,
    0.180603752084591 + 0.0*i,
    -0.342426351620335 + 0.0*i,
    0.218048139476981 + 0.0*i,
    -0.0532399739170524 + 0.0*i,
    0.312587867601462 + 0.0*i,
    0.370648298813263 + 0.0*i,
    0.0444950547354051 + 0.0*i,
    0.0775481545823311 + 0.0*i,
    0.167855086991383 + 0.0*i,
    0.297897038408434 + 0.0*i,
    -0.326301388909012 + 0.0*i,
    -0.427739529348142 + 0.0*i,
    0.241899471437555 + 0.0*i,
    -0.00365076525751024 + 0.0*i,
    -0.404367734368044 + 0.0*i,
    0.420607655244236 + 0.0*i,
    0.231741662048193 + 0.0*i,
    0.315733577413307 + 0.0*i,
    -0.236336369147258 + 0.0*i,
    -0.288717669191968 + 0.0*i,
    -0.211892786239837 + 0.0*i,
    0.102302866263229 + 0.0*i,
    -0.0729504162558543 + 0.0*i,
    -0.250157592211661 + 0.0*i,
    0.258591468305544 + 0.0*i,
    -0.177397975602016 + 0.0*i,
    0.205894395006481 + 0.0*i,
    0.111389565918628 + 0.0*i,
    0.291835521107674 + 0.0*i,
    -0.267810534154062 + 0.0*i,
    0.108374578715958 + 0.0*i,
    0.334177525642729 + 0.0*i,
    0.449930548857409 + 0.0*i,
    -0.045708309789159 + 0.0*i,
    -0.292252097339438 + 0.0*i,
    -0.121114177573483 + 0.0*i,
    -0.141559786187445 + 0.0*i,
    -0.379065140123584 + 0.0*i,
    -0.15120583308093 + 0.0*i,
    0.170364639178455 + 0.0*i,
    -0.203595024845656 + 0.0*i,
    0.0242873411299907 + 0.0*i,
    -0.164179432092329 + 0.0*i,
    0.146068609348456 + 0.0*i,
    0.0642938929977889 + 0.0*i,
    -0.0281783934066729 + 0.0*i,
    0.106674205607255 + 0.0*i,
    -0.163017225345744 + 0.0*i,
    -0.169230184482386 + 0.0*i,
    -0.318182101466245 + 0.0*i,
    0.0347578457963483 + 0.0*i,
    -0.0291050675826977 + 0.0*i,
    0.155590157473019 + 0.0*i,
    0.167023556016454 + 0.0*i,
    0.183938691679884 + 0.0*i,
    -0.0136469776845385 + 0.0*i,
    0.044257979509876 + 0.0*i,
    -0.0419801631743699 + 0.0*i,
    -0.0141254848063969 + 0.0*i,
    0.142009455922324 + 0.0*i,
    -0.153459729389595 + 0.0*i,
    -0.442257482584693 + 0.0*i,
    0.370470996678937 + 0.0*i,
    0.206672216594943 + 0.0*i,
    -0.218559008379848 + 0.0*i,
    -0.369881929472129 + 0.0*i,
    -0.281217180784075 + 0.0*i,
    -0.0924100032391363 + 0.0*i,
    -0.226259895758298 + 0.0*i,
    0.0474940481723838 + 0.0*i,
    -0.39540538362727 + 0.0*i,
    -0.15887756195537 + 0.0*i,
    0.222514145615686 + 0.0*i,
    0.0367461999309578 + 0.0*i,
    -0.289581205831952 + 0.0*i,
    -0.0420831108142458 + 0.0*i,
    0.0600717337952467 + 0.0*i,
    0.4398321809982 + 0.0*i,
    -0.378460369858678 + 0.0*i,
    0.102316861356182 + 0.0*i,
    -0.335914745609604 + 0.0*i,
    -0.294582376619896 + 0.0*i,
    -0.0450806887710651 + 0.0*i,
    0.0281602402293867 + 0.0*i,
    0.408673048950112 + 0.0*i,
    -0.0941294531716645 + 0.0*i,
    0.403333593378884 + 0.0*i,
    -0.316507395839283 + 0.0*i,
    -0.239215788123178 + 0.0*i,
    0.0947268541941536 + 0.0*i,
    -0.147635813200038 + 0.0*i,
    0.0508146509566761 + 0.0*i,
    -0.0234771352022982 + 0.0*i,
    -0.18004294600091 + 0.0*i,
    0.358267088104776 + 0.0*i,
    0.302865099899103 + 0.0*i,
    0.0885634534598628 + 0.0*i,
    0.1994455723793 + 0.0*i,
    -0.0159915426747187 + 0.0*i,
    0.202483032277556 + 0.0*i,
    0.346247373647313 + 0.0*i,
    0.093114738057483 + 0.0*i,
    0.1764275176672 + 0.0*i,
    -0.121674894157249 + 0.0*i,
    0.476514562593742 + 0.0*i,
    0.312459959023574 + 0.0*i,
    -0.0148148395841736 + 0.0*i,
    0.149886303250129 + 0.0*i,
    0.273670156838662 + 0.0*i,
    0.349061667376374 + 0.0*i,
    0.192396636921927 + 0.0*i,
    0.333959222378062 + 0.0*i,
    0.259442604993921 + 0.0*i,
    0.430797576503246 + 0.0*i,
    0.00117437385847647 + 0.0*i,
    -0.159303928162283 + 0.0*i,
    -0.181016612155014 + 0.0*i,
    -0.321041583617528 + 0.0*i,
    0.076688154529689 + 0.0*i,
    -0.340493654047915 + 0.0*i,
    -0.104100951869511 + 0.0*i,
    -0.278027958687292 + 0.0*i,
    -0.181220790438532 + 0.0*i,
    0.146493793249539 + 0.0*i,
    -0.428311385767331 + 0.0*i,
    -0.167632826602187 + 0.0*i,
    -0.0894760868648973 + 0.0*i,
    -0.189989515165161 + 0.0*i,
    0.423627898371513 + 0.0*i,
    -0.457861398076104 + 0.0*i,
    0.122103340264531 + 0.0*i,
    -0.016067724334728 + 0.0*i,
    -0.444424217800095 + 0.0*i,
    0.0374484719478492 + 0.0*i,
    0.352282040175335 + 0.0*i,
    0.336647636795787 + 0.0*i,
    0.33856554860232 + 0.0*i,
    0.182506383482337 + 0.0*i,
    0.224502032159569 + 0.0*i,
    -0.256675289166435 + 0.0*i,
    0.134372798642448 + 0.0*i,
    -0.178815131028475 + 0.0*i,
    -0.296078669586195 + 0.0*i,
    -0.174738469196536 + 0.0*i,
    -0.178031515617002 + 0.0*i,
    0.253693747252777 + 0.0*i,
    -0.111108007668665 + 0.0*i,
    0.354880426995424 + 0.0*i,
    -0.14982700230613 + 0.0*i,
    -0.100302703195263 + 0.0*i,
    0.162367795897539 + 0.0*i,
    0.177439197184503 + 0.0*i,
    -0.367873226278985 + 0.0*i,
    -0.162457064013812 + 0.0*i,
    -0.312290797194919 + 0.0*i,
    -0.0438565934280277 + 0.0*i,
    -0.0572689476646131 + 0.0*i,
    -0.0593865108503936 + 0.0*i,
    0.0401163030459431 + 0.0*i,
    -0.35955317370528 + 0.0*i,
    0.00238019487333741 + 0.0*i,
    -0.0607230052459506 + 0.0*i,
    0.202690063690683 + 0.0*i,
    -0.0644618835392496 + 0.0*i,
    -0.422102747147521 + 0.0*i,
    -0.448999770201156 + 0.0*i,
    -0.374324139700708 + 0.0*i,
    0.44995465118437 + 0.0*i,
    0.147846311369924 + 0.0*i,
    0.20080984276515 + 0.0*i,
    -0.310539131226287 + 0.0*i,
    -0.459009002756147 + 0.0*i,
    -0.00786743404672908 + 0.0*i,
    0.175700634322175 + 0.0*i,
    -0.268177748448827 + 0.0*i,
    -0.326691392432385 + 0.0*i,
    0.101446683422455 + 0.0*i,
    -0.352550978652723 + 0.0*i,
    -0.25506178388684 + 0.0*i,
    0.358109720410396 + 0.0*i,
    0.193472532194986 + 0.0*i,
    -0.12051452183695 + 0.0*i,
    0.173050063247924 + 0.0*i,
    -0.0547526645343019 + 0.0*i,
    0.397733213665895 + 0.0*i,
    -0.249499622664652 + 0.0*i,
    0.369998992903041 + 0.0*i,
    -0.101501300720005 + 0.0*i,
    -0.0286817382152885 + 0.0*i,
    0.0550166801724469 + 0.0*i,
    0.0404875663715278 + 0.0*i,
    -0.241329329889915 + 0.0*i,
    0.228159913365808 + 0.0*i,
    -0.398516482030994 + 0.0*i,
    0.395333166485226 + 0.0*i,
    -0.386276651202731 + 0.0*i,
    0.0426229074808166 + 0.0*i,
    -0.226241578655866 + 0.0*i,
    -0.010120034904852 + 0.0*i,
    -0.292437877780483 + 0.0*i,
    0.154649685985435 + 0.0*i,
    -0.318485733471167 + 0.0*i,
    0.253433967531556 + 0.0*i,
    -0.111642853145423 + 0.0*i,
    0.232410322377208 + 0.0*i,
    -0.0932887216247555 + 0.0*i,
    -0.199915135970334 + 0.0*i,
    -0.280453704943202 + 0.0*i,
    0.259494885746206 + 0.0*i,
    0.0553882083970254 + 0.0*i,
    0.120499776459302 + 0.0*i,
    0.335509989973259 + 0.0*i,
    0.15282839887569 + 0.0*i,
    0.186352693966615 + 0.0*i,
    0.182234731352946 + 0.0*i,
    -0.435861878371117 + 0.0*i,
    0.155708979229133 + 0.0*i,
    0.168332805752723 + 0.0*i,
    -0.0755190385219191 + 0.0*i,
    -0.338984579651458 + 0.0*i,
    0.14943166549677 + 0.0*i,
    0.0131165338197789 + 0.0*i,
    -0.227301275740587 + 0.0*i,
    -0.00833775901074505 + 0.0*i,
    -0.241106165240825 + 0.0*i,
    -0.00731412494495087 + 0.0*i,
    0.295768890962304 + 0.0*i,
    0.000401745109179703 + 0.0*i,
    0.0245905997162192 + 0.0*i,
    -0.0634000496823921 + 0.0*i,
    0.00171489122606006 + 0.0*i,
    -0.234137866221215 + 0.0*i,
    0.0476554257635954 + 0.0*i,
    -0.384221355480402 + 0.0*i,
    0.296269255194061 + 0.0*i,
    -0.0617744779697426 + 0.0*i,
    0.379484185610256 + 0.0*i,
    -0.0794078589878612 + 0.0*i,
    0.20534345732105 + 0.0*i,
    -0.0296237124374534 + 0.0*i,
    0.131590471090578 + 0.0*i,
    0.126667511019883 + 0.0*i,
    -0.252962902495111 + 0.0*i,
    -0.0189864103455658 + 0.0*i,
    -0.346283665399708 + 0.0*i,
    0.318185860153791 + 0.0*i,
    -0.239687171878406 + 0.0*i,
    0.247776043887633 + 0.0*i,
    0.338441450621645 + 0.0*i,
    0.2641973089351 + 0.0*i,
    -0.209969687531704 + 0.0*i
]);