V:=Matrix(CC,4,135,[
    -0.400424470142959 + 0.0*i,
    0.454770289319044 + 0.0*i,
    -0.148466932614798 + 0.0*i,
    -0.602439860190369 + 0.0*i,
    0.815769802524076 + 0.0*i,
    0.360774308147074 + 0.0*i,
    0.50773313230892 + 0.0*i,
    0.00301778555245143 + 0.0*i,
    0.357566737189384 + 0.0*i,
    -0.532431380361488 + 0.0*i,
    -0.731354079627071 + 0.0*i,
    0.258854750281882 + 0.0*i,
    -0.416526213533719 + 0.0*i,
    0.741642995543815 + 0.0*i,
    -0.26224915874961 + 0.0*i,
    -0.304264694600479 + 0.0*i,
    0.242135891317781 + 0.0*i,
    -0.106333914476321 + 0.0*i,
    -0.215945110392453 + 0.0*i,
    0.082337635706937 + 0.0*i,
    -0.350608716699233 + 0.0*i,
    0.6183644853311 + 0.0*i,
    -0.341796134827124 + 0.0*i,
    0.303136024909309 + 0.0*i,
    -0.459658369897877 + 0.0*i,
    -0.529569876849187 + 0.0*i,
    0.325826127599251 + 0.0*i,
    0.142699690355479 + 0.0*i,
    1.23926747920575 + 0.0*i,
    -0.640893564451176 + 0.0*i,
    -0.428519685990039 + 0.0*i,
    0.10038199845113 + 0.0*i,
    -0.862733736051231 + 0.0*i,
    1.05129108135714 + 0.0*i,
    -0.378248352572272 + 0.0*i,
    -0.179244239262637 + 0.0*i,
    1.02094735215512 + 0.0*i,
    0.386763568377462 + 0.0*i,
    -0.183936710624317 + 0.0*i,
    1.09363053097151 + 0.0*i,
    -0.646359103675229 + 0.0*i,
    -0.115935066369133 + 0.0*i,
    0.413601477721028 + 0.0*i,
    0.361024341243462 + 0.0*i,
    -1.14302592728322 + 0.0*i,
    0.438262006119304 + 0.0*i,
    -0.902890445869221 + 0.0*i,
    0.102617015185702 + 0.0*i,
    0.275406380870981 + 0.0*i,
    -1.14617570273117 + 0.0*i,
    0.673819586591308 + 0.0*i,
    0.760309873011325 + 0.0*i,
    0.0971688589646638 + 0.0*i,
    0.268803484118675 + 0.0*i,
    -0.312329632868164 + 0.0*i,
    0.154962832052313 + 0.0*i,
    0.451349886467884 + 0.0*i,
    0.0787695669958599 + 0.0*i,
    -0.190179469557917 + 0.0*i,
    0.73290596414028 + 0.0*i,
    -0.468930000711472 + 0.0*i,
    0.0836691371233694 + 0.0*i,
    -0.0628115135817637 + 0.0*i,
    0.585082397220958 + 0.0*i,
    -0.681943080862195 + 0.0*i,
    0.198231198401304 + 0.0*i,
    0.664426608180168 + 0.0*i,
    0.0183373690293278 + 0.0*i,
    0.268634482414715 + 0.0*i,
    0.175101786674949 + 0.0*i,
    0.522014150364887 + 0.0*i,
    0.444155015346552 + 0.0*i,
    0.957549264706697 + 0.0*i,
    0.0947692379336564 + 0.0*i,
    0.428623638342527 + 0.0*i,
    0.155701736216634 + 0.0*i,
    0.510306869211293 + 0.0*i,
    0.217632302405401 + 0.0*i,
    0.957761408898963 + 0.0*i,
    0.361076681509259 + 0.0*i,
    0.866261586104143 + 0.0*i,
    -0.299744083346783 + 0.0*i,
    -0.490665238525411 + 0.0*i,
    -0.47874569744423 + 0.0*i,
    0.273607093033636 + 0.0*i,
    0.643713076098969 + 0.0*i,
    -0.350969010416375 + 0.0*i,
    -0.758563315071982 + 0.0*i,
    0.963318476865765 + 0.0*i,
    0.282355657144348 + 0.0*i,
    0.145244307992745 + 0.0*i,
    -0.539337300198395 + 0.0*i,
    0.486257898869373 + 0.0*i,
    -0.0518376898217118 + 0.0*i,
    -0.991417720533652 + 0.0*i,
    0.170823046503239 + 0.0*i,
    0.139978843916191 + 0.0*i,
    -0.332583461523449 + 0.0*i,
    -0.634749387903295 + 0.0*i,
    -0.68803709518899 + 0.0*i,
    -0.521979332139662 + 0.0*i,
    0.175559905016352 + 0.0*i,
    -0.889538404288705 + 0.0*i,
    0.00336104333477848 + 0.0*i,
    -0.926237348506962 + 0.0*i,
    0.348915690009901 + 0.0*i,
    0.580619125183965 + 0.0*i,
    -0.623118671783398 + 0.0*i,
    0.419316867492999 + 0.0*i,
    0.914073945610999 + 0.0*i,
    -0.635404427047429 + 0.0*i,
    -0.535469904511938 + 0.0*i,
    0.42976578881586 + 0.0*i,
    -0.0560047957095233 + 0.0*i,
    -0.0544196747461702 + 0.0*i,
    -0.0251755154774478 + 0.0*i,
    0.181556956096441 + 0.0*i,
    -0.0121611071315998 + 0.0*i,
    -0.113983604932751 + 0.0*i,
    -0.269474164566788 + 0.0*i,
    -0.15665239731741 + 0.0*i,
    -0.167588675335768 + 0.0*i,
    0.218151467339712 + 0.0*i,
    0.846667065494921 + 0.0*i,
    -1.21399901027772 + 0.0*i,
    0.834017484759205 + 0.0*i,
    0.864609115874396 + 0.0*i,
    -0.0887575563498401 + 0.0*i,
    -0.333663091889331 + 0.0*i,
    -0.0406984847318931 + 0.0*i,
    -0.156493292336597 + 0.0*i,
    -0.798682962165997 + 0.0*i,
    -0.23702459386592 + 0.0*i,
    0.359308665480084 + 0.0*i,
    0.022810093455164 + 0.0*i,
    -0.671060530902648 + 0.0*i,
    -0.174373629797038 + 0.0*i,
    0.519639127308854 + 0.0*i,
    1.06505664890113 + 0.0*i,
    0.562268950203273 + 0.0*i,
    0.649220366120671 + 0.0*i,
    -0.315680682555366 + 0.0*i,
    -0.651418784168853 + 0.0*i,
    -0.0378052695592359 + 0.0*i,
    -0.887032175767987 + 0.0*i,
    -0.319483591094497 + 0.0*i,
    0.229119884377524 + 0.0*i,
    0.550510204515271 + 0.0*i,
    -0.0881851441703711 + 0.0*i,
    0.0464648078619301 + 0.0*i,
    -0.14699394952571 + 0.0*i,
    -0.260265943320272 + 0.0*i,
    0.749692078037792 + 0.0*i,
    0.820289593758542 + 0.0*i,
    0.135264604521364 + 0.0*i,
    -0.4084628577 + 0.0*i,
    0.276266784199358 + 0.0*i,
    -0.454121577255903 + 0.0*i,
    -0.00182970718756584 + 0.0*i,
    0.219632052638255 + 0.0*i,
    -0.61022611800836 + 0.0*i,
    0.000345934429609193 + 0.0*i,
    -0.438598060411879 + 0.0*i,
    0.740835860404493 + 0.0*i,
    0.0184305573701372 + 0.0*i,
    0.343098314777893 + 0.0*i,
    -0.131841744359168 + 0.0*i,
    0.187365054254025 + 0.0*i,
    0.771902617594567 + 0.0*i,
    -0.783419699161836 + 0.0*i,
    0.427792408663788 + 0.0*i,
    0.641281160369409 + 0.0*i,
    -0.183411633388349 + 0.0*i,
    0.134553464186578 + 0.0*i,
    0.826802926874324 + 0.0*i,
    0.988026864215123 + 0.0*i,
    0.5759816499414 + 0.0*i,
    0.436197358210837 + 0.0*i,
    -0.128149985401607 + 0.0*i,
    -0.623045339131167 + 0.0*i,
    0.245843027513297 + 0.0*i,
    -0.124772543460502 + 0.0*i,
    0.444988942743449 + 0.0*i,
    0.276257852849499 + 0.0*i,
    -0.811726713980738 + 0.0*i,
    0.626008424519042 + 0.0*i,
    -0.2340268752442 + 0.0*i,
    -0.329300466123262 + 0.0*i,
    -0.00200281288126932 + 0.0*i,
    -0.387101914390019 + 0.0*i,
    -0.558684705986732 + 0.0*i,
    0.196786678405913 + 0.0*i,
    -0.297960230029189 + 0.0*i,
    -0.348459371972404 + 0.0*i,
    0.150874910347871 + 0.0*i,
    -0.203110921821988 + 0.0*i,
    0.131183382586771 + 0.0*i,
    0.499546081478645 + 0.0*i,
    1.1571383658241 + 0.0*i,
    0.701089286189038 + 0.0*i,
    -0.0559476831007515 + 0.0*i,
    -0.293045201218765 + 0.0*i,
    -0.83723431918269 + 0.0*i,
    -0.429885891811206 + 0.0*i,
    -0.0240542199233629 + 0.0*i,
    -0.564339277632741 + 0.0*i,
    0.438590998117446 + 0.0*i,
    0.442167751665132 + 0.0*i,
    0.0824530197769605 + 0.0*i,
    -0.0734583107983554 + 0.0*i,
    -0.465490079449452 + 0.0*i,
    -0.0525908345035842 + 0.0*i,
    0.0334197706621778 + 0.0*i,
    0.273714811664856 + 0.0*i,
    -0.491543527443348 + 0.0*i,
    0.127346140198383 + 0.0*i,
    0.0451653057031176 + 0.0*i,
    0.74744358016383 + 0.0*i,
    0.295266492333948 + 0.0*i,
    -0.223918242779593 + 0.0*i,
    -0.11686434170655 + 0.0*i,
    0.0210423112603936 + 0.0*i,
    0.171721612545118 + 0.0*i,
    0.385791439541316 + 0.0*i,
    -1.19645462902183 + 0.0*i,
    0.536801091943199 + 0.0*i,
    -0.464758729188842 + 0.0*i,
    1.33784433768765 + 0.0*i,
    0.46030566001282 + 0.0*i,
    0.285092076164233 + 0.0*i,
    -0.296481166030609 + 0.0*i,
    -0.0917857427647413 + 0.0*i,
    0.177890185578135 + 0.0*i,
    0.149159677839744 + 0.0*i,
    0.384774433105407 + 0.0*i,
    0.0876329533173111 + 0.0*i,
    0.0660322682585124 + 0.0*i,
    -0.0895999847728137 + 0.0*i,
    0.154245326155653 + 0.0*i,
    0.2654690605059 + 0.0*i,
    -0.137710333475052 + 0.0*i,
    0.206031137045474 + 0.0*i,
    -0.00411684399251662 + 0.0*i,
    -0.0371252170614013 + 0.0*i,
    0.0551241325851888 + 0.0*i,
    0.212362785467702 + 0.0*i,
    0.649669997517295 + 0.0*i,
    0.244778821830433 + 0.0*i,
    0.272210870214301 + 0.0*i,
    0.355087932818361 + 0.0*i,
    -0.685809548167237 + 0.0*i,
    -0.23865421330629 + 0.0*i,
    -0.0662110371138258 + 0.0*i,
    0.327625806560345 + 0.0*i,
    0.0132140557096431 + 0.0*i,
    0.194446939897103 + 0.0*i,
    0.395676483621752 + 0.0*i,
    0.495433467838398 + 0.0*i,
    -0.157693827574296 + 0.0*i,
    -0.384082520077867 + 0.0*i,
    -0.209651616160693 + 0.0*i,
    -0.210690140898505 + 0.0*i,
    0.475442755487759 + 0.0*i,
    0.681177333184272 + 0.0*i,
    -0.964459977963321 + 0.0*i,
    0.24338895240187 + 0.0*i,
    0.313325110735536 + 0.0*i,
    -0.412928443734754 + 0.0*i,
    0.00742895550870915 + 0.0*i,
    -0.462845380421722 + 0.0*i,
    1.12966279895398 + 0.0*i,
    0.320508433816642 + 0.0*i,
    -0.122353107535202 + 0.0*i,
    -0.31302270560902 + 0.0*i,
    -0.0978082131462953 + 0.0*i,
    0.111282739320969 + 0.0*i,
    0.978967618857939 + 0.0*i,
    0.179804443940054 + 0.0*i,
    -0.0441882857035186 + 0.0*i,
    -0.170698984474009 + 0.0*i,
    0.289334388846608 + 0.0*i,
    0.948688496364913 + 0.0*i,
    -0.0906705759126493 + 0.0*i,
    -0.227151643338294 + 0.0*i,
    -0.724265297771447 + 0.0*i,
    -0.239480361426361 + 0.0*i,
    -0.171519252679184 + 0.0*i,
    0.16399675034301 + 0.0*i,
    -0.357363664608813 + 0.0*i,
    0.133550408463207 + 0.0*i,
    -0.387864479648098 + 0.0*i,
    -0.279844026049493 + 0.0*i,
    -0.200668057867411 + 0.0*i,
    0.0349942537707997 + 0.0*i,
    0.0799653738664016 + 0.0*i,
    1.62622403437206 + 0.0*i,
    -0.105910644062642 + 0.0*i,
    0.188541849658944 + 0.0*i,
    0.305082873212542 + 0.0*i,
    0.556248197141737 + 0.0*i,
    0.155692016669046 + 0.0*i,
    0.946249092784161 + 0.0*i,
    0.159649043272816 + 0.0*i,
    0.324122041167878 + 0.0*i,
    -0.181605278670343 + 0.0*i,
    -0.054417926131486 + 0.0*i,
    0.107562870052028 + 0.0*i,
    -0.808437293114489 + 0.0*i,
    0.278507717866141 + 0.0*i,
    -0.25806023819623 + 0.0*i,
    0.358815236972697 + 0.0*i,
    -0.221622135143706 + 0.0*i,
    0.0307061183179551 + 0.0*i,
    0.225904383803442 + 0.0*i,
    -0.0402946089973279 + 0.0*i,
    0.176228244808723 + 0.0*i,
    0.620170925125109 + 0.0*i,
    -0.418423346027251 + 0.0*i,
    0.0310053311240948 + 0.0*i,
    -0.278283973579347 + 0.0*i,
    -0.122305379469927 + 0.0*i,
    -0.14265897152521 + 0.0*i,
    0.186517165052554 + 0.0*i,
    -0.268891801749769 + 0.0*i,
    0.41170435025969 + 0.0*i,
    0.946135242022489 + 0.0*i,
    -1.13428878233185 + 0.0*i,
    -0.720714032722745 + 0.0*i,
    0.47956232132032 + 0.0*i,
    1.02137576731018 + 0.0*i,
    -0.236090267922002 + 0.0*i,
    -0.104515135248595 + 0.0*i,
    -0.154575222029511 + 0.0*i,
    0.190026900265944 + 0.0*i,
    -0.185565105678522 + 0.0*i,
    0.0893039949493587 + 0.0*i,
    0.0932925380667062 + 0.0*i,
    1.04365200099904 + 0.0*i,
    -0.690897838750146 + 0.0*i,
    0.33210332612412 + 0.0*i,
    -0.342787105094901 + 0.0*i,
    0.0124952055597564 + 0.0*i,
    -0.229454983442243 + 0.0*i,
    0.147994289286498 + 0.0*i,
    -0.102836065546149 + 0.0*i,
    -0.371823990027934 + 0.0*i,
    0.870904845012406 + 0.0*i,
    -0.571591586265692 + 0.0*i,
    -0.346676696626391 + 0.0*i,
    -0.511313693578506 + 0.0*i,
    0.0371430830294775 + 0.0*i,
    -0.672327108165782 + 0.0*i,
    0.258720033356141 + 0.0*i,
    -0.0445551059070994 + 0.0*i,
    0.990291783342526 + 0.0*i,
    0.582060200221028 + 0.0*i,
    -0.106069159375217 + 0.0*i,
    -0.793983390162478 + 0.0*i,
    0.0780820328406171 + 0.0*i,
    -0.920347501864028 + 0.0*i,
    -0.266984124637175 + 0.0*i,
    0.648008006627509 + 0.0*i,
    0.0828535625157696 + 0.0*i,
    -0.156102959755848 + 0.0*i,
    -0.318132382321368 + 0.0*i,
    -0.572079196698956 + 0.0*i,
    0.205837648679989 + 0.0*i,
    -0.13520647509436 + 0.0*i,
    -0.70559206911015 + 0.0*i,
    -0.397611550331089 + 0.0*i,
    -0.161145833922523 + 0.0*i,
    -0.708751055687234 + 0.0*i,
    -0.344118938071601 + 0.0*i,
    0.856733268131148 + 0.0*i,
    -0.226176589935218 + 0.0*i,
    -0.551005465943401 + 0.0*i,
    -0.117638787619116 + 0.0*i,
    0.248368892363276 + 0.0*i,
    0.195642636985244 + 0.0*i,
    -0.414688593830178 + 0.0*i,
    -0.659714693009856 + 0.0*i,
    -0.436000949928088 + 0.0*i,
    -0.253947641388713 + 0.0*i,
    -0.255079670130655 + 0.0*i,
    -0.38321470630462 + 0.0*i,
    0.412665043313538 + 0.0*i,
    0.124470472412443 + 0.0*i,
    0.552434890783464 + 0.0*i,
    0.219224197794886 + 0.0*i,
    -1.02686421838025 + 0.0*i,
    -0.0783520581480262 + 0.0*i,
    -0.272894188129455 + 0.0*i,
    0.626734864113638 + 0.0*i,
    -0.353761745703003 + 0.0*i,
    -0.530034308539775 + 0.0*i,
    0.0726732021873396 + 0.0*i,
    -0.105071895481829 + 0.0*i,
    -0.201777722943718 + 0.0*i,
    0.54247489567559 + 0.0*i,
    -0.503155112329672 + 0.0*i,
    -0.557327931575531 + 0.0*i,
    0.224270590885323 + 0.0*i,
    0.359207720136046 + 0.0*i,
    0.180614054476288 + 0.0*i,
    -0.16371046333787 + 0.0*i,
    -0.338315126135904 + 0.0*i,
    -0.791797885551283 + 0.0*i,
    -0.0628547848253889 + 0.0*i,
    -0.290223508208179 + 0.0*i,
    -0.0229384580055594 + 0.0*i,
    0.29498973983342 + 0.0*i,
    0.688246521853505 + 0.0*i,
    -0.17619824787059 + 0.0*i,
    -0.883091683110543 + 0.0*i,
    0.266773286840677 + 0.0*i,
    0.700960173605124 + 0.0*i,
    0.43636186661197 + 0.0*i,
    0.565343081277462 + 0.0*i,
    -0.66179057812029 + 0.0*i,
    0.510513021966579 + 0.0*i,
    -0.172352221165705 + 0.0*i,
    -0.00259987336172628 + 0.0*i,
    0.425531882443896 + 0.0*i,
    -0.777379005343383 + 0.0*i,
    0.253179914391741 + 0.0*i,
    -0.0841862151223994 + 0.0*i,
    0.136184485029976 + 0.0*i,
    -0.10009344121507 + 0.0*i,
    0.0338075072813629 + 0.0*i,
    -0.446027728323857 + 0.0*i,
    0.0438309783878366 + 0.0*i,
    0.593926347023838 + 0.0*i,
    0.800418050380303 + 0.0*i,
    -0.135887714813122 + 0.0*i,
    -0.868197752310567 + 0.0*i,
    -0.161458095802034 + 0.0*i,
    -0.74480921159136 + 0.0*i,
    -0.147996405378205 + 0.0*i,
    0.649881816385397 + 0.0*i,
    -0.146116349463753 + 0.0*i,
    0.355411043482408 + 0.0*i,
    0.620343904417125 + 0.0*i,
    0.0102849761661449 + 0.0*i,
    -0.0401099706124535 + 0.0*i,
    -0.328849534293625 + 0.0*i,
    -0.864758018525811 + 0.0*i,
    0.394878514251264 + 0.0*i,
    -0.198311282594598 + 0.0*i,
    -0.0184764964927643 + 0.0*i,
    0.747717665996023 + 0.0*i,
    0.890923144871151 + 0.0*i,
    0.0374837713441717 + 0.0*i,
    -0.33388030652414 + 0.0*i,
    -0.491118655448779 + 0.0*i,
    -0.701193616496282 + 0.0*i,
    -0.683192317557939 + 0.0*i,
    0.0880673573796786 + 0.0*i,
    -0.476449695973417 + 0.0*i,
    0.0431232638766127 + 0.0*i,
    -0.797174794466271 + 0.0*i,
    -0.50523354680197 + 0.0*i,
    0.507265548127891 + 0.0*i,
    -0.330776284105642 + 0.0*i,
    -0.891080044434895 + 0.0*i,
    -0.386070371486907 + 0.0*i,
    0.219695396330998 + 0.0*i,
    0.0603193526271666 + 0.0*i,
    0.0788749472943807 + 0.0*i,
    -0.731500572941079 + 0.0*i,
    -0.0718099225846546 + 0.0*i,
    -0.905947961761508 + 0.0*i,
    -0.283315677592292 + 0.0*i,
    0.124530504539456 + 0.0*i,
    -0.109566264215474 + 0.0*i,
    -0.218368971243954 + 0.0*i,
    -0.796997226416941 + 0.0*i,
    0.211229707112228 + 0.0*i,
    -1.02800549740364 + 0.0*i,
    -0.548741789517952 + 0.0*i,
    0.171825701075391 + 0.0*i,
    -1.30936143831607 + 0.0*i,
    0.078999022113891 + 0.0*i,
    -0.300936068461568 + 0.0*i,
    -0.505581820257524 + 0.0*i,
    0.0533465168029821 + 0.0*i,
    -0.0246536200172052 + 0.0*i,
    0.36581027681225 + 0.0*i,
    -0.0393519818807379 + 0.0*i,
    -0.637069151075215 + 0.0*i,
    1.06989388747548 + 0.0*i,
    -0.418184925858736 + 0.0*i,
    0.998949163877252 + 0.0*i,
    -0.520063314242518 + 0.0*i,
    0.743539144879289 + 0.0*i,
    -0.427718954635693 + 0.0*i,
    -0.0290637997812819 + 0.0*i,
    0.140704121124584 + 0.0*i,
    0.904332077957725 + 0.0*i,
    -0.540237870291864 + 0.0*i,
    -0.607351908925163 + 0.0*i,
    0.410870837337106 + 0.0*i,
    -0.245441183780393 + 0.0*i,
    0.248014038748842 + 0.0*i,
    0.504301339030375 + 0.0*i,
    -0.501285001543523 + 0.0*i,
    -0.441648321266071 + 0.0*i,
    0.700316485898198 + 0.0*i,
    0.245639635734665 + 0.0*i,
    -0.130700954975313 + 0.0*i,
    -0.41129043523678 + 0.0*i,
    -0.571185869348018 + 0.0*i,
    0.329556593370909 + 0.0*i,
    0.298840151359938 + 0.0*i,
    0.268964543120222 + 0.0*i,
    0.66468982131321 + 0.0*i,
    0.793676213264292 + 0.0*i,
    0.0802219038372709 + 0.0*i,
    -0.0775549521278832 + 0.0*i,
    -1.18965978199519 + 0.0*i,
    -0.774273650822749 + 0.0*i,
    1.36593392939821 + 0.0*i,
    -0.32472689055501 + 0.0*i,
    0.170265545212507 + 0.0*i,
    0.596239649260091 + 0.0*i,
    -0.0865068332440772 + 0.0*i,
    -0.354329912543727 + 0.0*i,
    0.0408680670421912 + 0.0*i,
    -0.0705064767104155 + 0.0*i,
    -0.155288145318209 + 0.0*i,
    -1.00373954871866 + 0.0*i,
    0.0822244083709641 + 0.0*i,
    0.360987956477855 + 0.0*i,
    -0.862733498392109 + 0.0*i,
    -0.818243440693476 + 0.0*i,
    0.421084106114557 + 0.0*i,
    0.108619222645645 + 0.0*i,
    0.418145834622521 + 0.0*i,
    0.903195599040328 + 0.0*i,
    -0.332715141314393 + 0.0*i,
    0.937495948012589 + 0.0*i
]);