V:=Matrix(CC,4,134,[
    0.254172947198013 + 0.0*i,
    0.234144539334278 + 0.0*i,
    0.427903783972295 + 0.0*i,
    0.960382582960831 + 0.0*i,
    -0.23173504396846 + 0.0*i,
    -0.407905922870861 + 0.0*i,
    -0.667484245132261 + 0.0*i,
    -0.711915579035491 + 0.0*i,
    -0.0986147778177093 + 0.0*i,
    -0.229033224313085 + 0.0*i,
    0.385094459361699 + 0.0*i,
    -0.476994397634638 + 0.0*i,
    -0.242180419717667 + 0.0*i,
    -0.734971220098504 + 0.0*i,
    -0.223553738946987 + 0.0*i,
    0.77638014190995 + 0.0*i,
    -0.380308785381764 + 0.0*i,
    0.379229464502298 + 0.0*i,
    -0.488137206013039 + 0.0*i,
    -0.263746326944528 + 0.0*i,
    0.695502092911826 + 0.0*i,
    0.120236233856816 + 0.0*i,
    0.340026973175214 + 0.0*i,
    -0.546779629889847 + 0.0*i,
    0.477470449817035 + 0.0*i,
    -0.40550547142721 + 0.0*i,
    -0.0446594919153006 + 0.0*i,
    -0.925835603705245 + 0.0*i,
    0.457679492137207 + 0.0*i,
    0.0339977706878463 + 0.0*i,
    0.229210613109504 + 0.0*i,
    -0.00397835600776998 + 0.0*i,
    -1.07314698988488 + 0.0*i,
    1.07878573156485 + 0.0*i,
    -0.634453842769824 + 0.0*i,
    -0.0490061740092705 + 0.0*i,
    0.202757979725776 + 0.0*i,
    0.204238574694089 + 0.0*i,
    0.633110377019422 + 0.0*i,
    0.398742965400097 + 0.0*i,
    0.769323426188367 + 0.0*i,
    -0.0965238821443671 + 0.0*i,
    -0.586016901323023 + 0.0*i,
    0.263150821213975 + 0.0*i,
    0.203274379614362 + 0.0*i,
    0.0596006492229302 + 0.0*i,
    0.707964905900664 + 0.0*i,
    0.46287539366219 + 0.0*i,
    -0.131062444773242 + 0.0*i,
    0.785339882086817 + 0.0*i,
    0.013694668141805 + 0.0*i,
    -0.292015980878396 + 0.0*i,
    -0.119759536138187 + 0.0*i,
    0.00444692489368873 + 0.0*i,
    0.139719081326863 + 0.0*i,
    0.297618581668387 + 0.0*i,
    0.833737219821109 + 0.0*i,
    0.493900924442008 + 0.0*i,
    0.2559523909236 + 0.0*i,
    -0.581543350534666 + 0.0*i,
    0.364423976204555 + 0.0*i,
    -0.460426335152907 + 0.0*i,
    -0.126098750098232 + 0.0*i,
    0.915591346358441 + 0.0*i,
    0.64863158217644 + 0.0*i,
    -0.923526981358517 + 0.0*i,
    -0.0894564599472137 + 0.0*i,
    -0.537348280259206 + 0.0*i,
    -0.570390874375844 + 0.0*i,
    0.550166066007974 + 0.0*i,
    0.0361286407162614 + 0.0*i,
    0.0890712166998315 + 0.0*i,
    -0.135636084334515 + 0.0*i,
    -0.411551224109804 + 0.0*i,
    -0.0410591725354878 + 0.0*i,
    -0.11080417954693 + 0.0*i,
    0.348973998986281 + 0.0*i,
    0.0983858315326863 + 0.0*i,
    0.969665873388567 + 0.0*i,
    0.269065777594633 + 0.0*i,
    -1.01266304852849 + 0.0*i,
    -0.145285665132037 + 0.0*i,
    0.00540446368225325 + 0.0*i,
    -0.141181749320666 + 0.0*i,
    0.203831583045406 + 0.0*i,
    -0.674847383926413 + 0.0*i,
    -0.501933840061257 + 0.0*i,
    0.494307121451947 + 0.0*i,
    0.17351266982262 + 0.0*i,
    -0.611843876090449 + 0.0*i,
    -0.0697135797728236 + 0.0*i,
    0.211337033304801 + 0.0*i,
    0.213239062011685 + 0.0*i,
    -1.07786082431571 + 0.0*i,
    -0.039093611196908 + 0.0*i,
    0.422474930065271 + 0.0*i,
    0.11525920793403 + 0.0*i,
    -1.22121312926846 + 0.0*i,
    0.727217149067812 + 0.0*i,
    0.510334932192323 + 0.0*i,
    0.101090463392725 + 0.0*i,
    -0.87489071770368 + 0.0*i,
    -0.463849502939802 + 0.0*i,
    -0.665454047840333 + 0.0*i,
    -0.303052386898927 + 0.0*i,
    -0.0125469383326071 + 0.0*i,
    0.0536158042791229 + 0.0*i,
    -0.330543584264997 + 0.0*i,
    -0.244197597434824 + 0.0*i,
    -0.0776020257317844 + 0.0*i,
    0.257398075451186 + 0.0*i,
    0.229526293709091 + 0.0*i,
    0.89187592364415 + 0.0*i,
    -1.27929268056121 + 0.0*i,
    0.35467183210657 + 0.0*i,
    -0.164672748727996 + 0.0*i,
    -0.527678582693521 + 0.0*i,
    0.40695373183068 + 0.0*i,
    -0.626655992478514 + 0.0*i,
    -0.207507973254186 + 0.0*i,
    0.346722642337485 + 0.0*i,
    -0.00866563918902089 + 0.0*i,
    0.541746324715976 + 0.0*i,
    0.313743386092157 + 0.0*i,
    -0.268165776283377 + 0.0*i,
    0.000727210316332229 + 0.0*i,
    -0.41188389387446 + 0.0*i,
    0.338211483016289 + 0.0*i,
    0.242222002823859 + 0.0*i,
    0.101046643801563 + 0.0*i,
    0.125161865149741 + 0.0*i,
    -0.1007436440326 + 0.0*i,
    0.0308690028840232 + 0.0*i,
    -0.740562646361202 + 0.0*i,
    0.248093536648426 + 0.0*i,
    0.382925878489467 + 0.0*i,
    0.904530801096369 + 0.0*i,
    0.628257311234599 + 0.0*i,
    0.442047054411091 + 0.0*i,
    -0.234309202096249 + 0.0*i,
    -0.781966974652194 + 0.0*i,
    0.330547595374113 + 0.0*i,
    -0.258989844752524 + 0.0*i,
    -0.712839429728894 + 0.0*i,
    -0.0911096719917659 + 0.0*i,
    -0.0999337675265976 + 0.0*i,
    -0.0841896521960984 + 0.0*i,
    -0.0104724266584859 + 0.0*i,
    -0.977544562391431 + 0.0*i,
    0.446574218318463 + 0.0*i,
    0.14949707335442 + 0.0*i,
    -0.302944731867982 + 0.0*i,
    0.595826413079463 + 0.0*i,
    0.100161711834566 + 0.0*i,
    0.0118573388779862 + 0.0*i,
    0.99080223205322 + 0.0*i,
    0.27216296466868 + 0.0*i,
    -0.153270586422928 + 0.0*i,
    0.0348768513956553 + 0.0*i,
    -0.0653028601443885 + 0.0*i,
    0.597795451496078 + 0.0*i,
    0.501166275006718 + 0.0*i,
    0.490408429408573 + 0.0*i,
    -1.15624268485185 + 0.0*i,
    -0.430417209475273 + 0.0*i,
    0.24724861636307 + 0.0*i,
    0.828238672032268 + 0.0*i,
    0.34649328126642 + 0.0*i,
    0.093977004045456 + 0.0*i,
    0.465741275538897 + 0.0*i,
    -0.291803625929994 + 0.0*i,
    -0.0189493515178989 + 0.0*i,
    0.358262572175614 + 0.0*i,
    -0.0685620295528882 + 0.0*i,
    0.389380512153955 + 0.0*i,
    -0.524030319419301 + 0.0*i,
    -0.532683914357246 + 0.0*i,
    0.383231506207228 + 0.0*i,
    -0.150168103241602 + 0.0*i,
    -0.420767722621774 + 0.0*i,
    0.566646989970036 + 0.0*i,
    0.395089431408994 + 0.0*i,
    -0.280459513863344 + 0.0*i,
    0.393019882828197 + 0.0*i,
    -0.943153467767986 + 0.0*i,
    0.152441728002704 + 0.0*i,
    -0.0765819114337101 + 0.0*i,
    0.342260291119449 + 0.0*i,
    0.0389287164233225 + 0.0*i,
    -0.521499858487413 + 0.0*i,
    0.55033170684964 + 0.0*i,
    -0.428217246507669 + 0.0*i,
    -0.520883135378936 + 0.0*i,
    -0.075493772659635 + 0.0*i,
    -0.564187135166017 + 0.0*i,
    0.160178810619748 + 0.0*i,
    0.364073956671959 + 0.0*i,
    -0.304310494490616 + 0.0*i,
    0.242616471852156 + 0.0*i,
    0.80648521076863 + 0.0*i,
    0.499845262908157 + 0.0*i,
    0.00208389726881717 + 0.0*i,
    0.978000551292367 + 0.0*i,
    0.293173782428111 + 0.0*i,
    -0.39990416953998 + 0.0*i,
    -0.0723515659194112 + 0.0*i,
    0.413443958899658 + 0.0*i,
    -0.127915135170083 + 0.0*i,
    0.220346389281102 + 0.0*i,
    -0.570632363135466 + 0.0*i,
    0.446377972181982 + 0.0*i,
    -0.927800644078776 + 0.0*i,
    0.0636999877109379 + 0.0*i,
    -0.104814989857101 + 0.0*i,
    0.6522889847487 + 0.0*i,
    -0.0895244110371651 + 0.0*i,
    -0.212922180829676 + 0.0*i,
    0.0721275245469199 + 0.0*i,
    0.271233744887628 + 0.0*i,
    -0.600372044214066 + 0.0*i,
    -0.161155349267869 + 0.0*i,
    0.517171206361592 + 0.0*i,
    0.754905038186462 + 0.0*i,
    0.594615086589842 + 0.0*i,
    0.0984085761916647 + 0.0*i,
    -0.0338862589504542 + 0.0*i,
    -0.186140006322138 + 0.0*i,
    -0.137937121226816 + 0.0*i,
    -0.451037279892231 + 0.0*i,
    0.649591451413707 + 0.0*i,
    -0.283699323199682 + 0.0*i,
    -0.644074934531341 + 0.0*i,
    -0.153680908576399 + 0.0*i,
    0.687478851737457 + 0.0*i,
    -0.664811121793566 + 0.0*i,
    -0.436324324681387 + 0.0*i,
    0.540027428832238 + 0.0*i,
    -0.663364044372815 + 0.0*i,
    -0.29568889533978 + 0.0*i,
    0.220589105380886 + 0.0*i,
    -1.06066715744573 + 0.0*i,
    -0.0412567219147799 + 0.0*i,
    0.238394530516933 + 0.0*i,
    -0.732028697360388 + 0.0*i,
    0.195161283889587 + 0.0*i,
    -0.554004048796812 + 0.0*i,
    -0.169291038841898 + 0.0*i,
    0.177056290572527 + 0.0*i,
    -0.583979607613122 + 0.0*i,
    -0.453353597052446 + 0.0*i,
    -0.85497129956291 + 0.0*i,
    0.442767032490836 + 0.0*i,
    -0.0350083567082795 + 0.0*i,
    0.131363922174116 + 0.0*i,
    0.394967480064565 + 0.0*i,
    0.138727460232691 + 0.0*i,
    0.34624023574319 + 0.0*i,
    -0.317622270617831 + 0.0*i,
    -0.917643820802384 + 0.0*i,
    1.00740067202467 + 0.0*i,
    0.412577849799219 + 0.0*i,
    -0.264803243786976 + 0.0*i,
    0.553084453061022 + 0.0*i,
    -0.12685056623128 + 0.0*i,
    -0.254741396317041 + 0.0*i,
    -0.538156224930469 + 0.0*i,
    0.274120988818323 + 0.0*i,
    -0.423603415066151 + 0.0*i,
    -0.25530670628047 + 0.0*i,
    -0.661952305341179 + 0.0*i,
    0.510173299229395 + 0.0*i,
    -0.273617667355023 + 0.0*i,
    0.43671341859083 + 0.0*i,
    -0.511854458895941 + 0.0*i,
    0.514286897849087 + 0.0*i,
    -0.402487154752323 + 0.0*i,
    0.531868432728728 + 0.0*i,
    0.337053401942812 + 0.0*i,
    0.358679679646421 + 0.0*i,
    0.260539517872484 + 0.0*i,
    -0.538268490054703 + 0.0*i,
    -0.725347937730226 + 0.0*i,
    0.339094020153292 + 0.0*i,
    0.971650880022081 + 0.0*i,
    -0.046321251221151 + 0.0*i,
    0.583424256719055 + 0.0*i,
    -1.03394782893842 + 0.0*i,
    0.514861589651283 + 0.0*i,
    0.232751038077875 + 0.0*i,
    0.252761282643041 + 0.0*i,
    -0.0127604454714989 + 0.0*i,
    0.0383324278418717 + 0.0*i,
    0.32201457024602 + 0.0*i,
    -0.422006999371576 + 0.0*i,
    0.117785616031562 + 0.0*i,
    -0.545843204417298 + 0.0*i,
    0.280680519983379 + 0.0*i,
    -0.949358843285326 + 0.0*i,
    -0.591108587259886 + 0.0*i,
    0.58726621434746 + 0.0*i,
    -0.424812354966031 + 0.0*i,
    -0.213175826858267 + 0.0*i,
    0.688730850653408 + 0.0*i,
    -0.886199255115177 + 0.0*i,
    -0.0727370640615503 + 0.0*i,
    -0.668827757564477 + 0.0*i,
    -1.13680108876827 + 0.0*i,
    0.840404262022283 + 0.0*i,
    0.173419117223149 + 0.0*i,
    -0.730185403466906 + 0.0*i,
    -1.14750984399959 + 0.0*i,
    0.0385502640763261 + 0.0*i,
    0.30787643078744 + 0.0*i,
    0.953678243388549 + 0.0*i,
    0.777855075993309 + 0.0*i,
    0.74513419952207 + 0.0*i,
    1.33427604992708 + 0.0*i,
    -0.192162961979547 + 0.0*i,
    -0.101526324030113 + 0.0*i,
    0.119143406614803 + 0.0*i,
    0.107420047447301 + 0.0*i,
    -0.828743810521216 + 0.0*i,
    -0.241690341942939 + 0.0*i,
    0.316395220317548 + 0.0*i,
    -0.582924669961748 + 0.0*i,
    -0.759547326665056 + 0.0*i,
    0.17260878695829 + 0.0*i,
    0.611930414521828 + 0.0*i,
    -0.615827510261093 + 0.0*i,
    0.683350104607841 + 0.0*i,
    0.397371617229269 + 0.0*i,
    -0.360659859729149 + 0.0*i,
    -0.152123901936692 + 0.0*i,
    -0.160621843189241 + 0.0*i,
    -0.50860850257023 + 0.0*i,
    0.551239292894852 + 0.0*i,
    0.59074418864587 + 0.0*i,
    0.28501592042756 + 0.0*i,
    -1.09155132686157 + 0.0*i,
    0.149021238078267 + 0.0*i,
    -0.190039344565892 + 0.0*i,
    -0.734042770241647 + 0.0*i,
    0.67153551804127 + 0.0*i,
    0.426251811922675 + 0.0*i,
    -1.20561312829641 + 0.0*i,
    0.451069315123285 + 0.0*i,
    0.610644601193265 + 0.0*i,
    -0.268611450825563 + 0.0*i,
    -0.23017371152952 + 0.0*i,
    0.00111219119389599 + 0.0*i,
    0.369321697611359 + 0.0*i,
    -0.0703447033552675 + 0.0*i,
    0.271873440990995 + 0.0*i,
    0.938059503587242 + 0.0*i,
    0.674170879543636 + 0.0*i,
    -0.102567283842953 + 0.0*i,
    -0.174490537572625 + 0.0*i,
    0.94710184904784 + 0.0*i,
    -0.142336256036257 + 0.0*i,
    0.613903681953737 + 0.0*i,
    0.386943546115425 + 0.0*i,
    0.378671142421489 + 0.0*i,
    0.443004110695725 + 0.0*i,
    -1.05077573331217 + 0.0*i,
    0.176513240459507 + 0.0*i,
    0.166921492606452 + 0.0*i,
    0.480786130978716 + 0.0*i,
    0.268218517341978 + 0.0*i,
    0.095969476801553 + 0.0*i,
    0.375256383003274 + 0.0*i,
    -0.524301740339088 + 0.0*i,
    0.189436283578256 + 0.0*i,
    -0.61972987269656 + 0.0*i,
    -0.0540528653933347 + 0.0*i,
    -0.240417735208174 + 0.0*i,
    0.250336634891274 + 0.0*i,
    0.119673011830541 + 0.0*i,
    -0.321482935839464 + 0.0*i,
    -0.0132565900054289 + 0.0*i,
    -0.312233938403369 + 0.0*i,
    0.03689706079879 + 0.0*i,
    -0.451843922482149 + 0.0*i,
    -0.190268331198713 + 0.0*i,
    -0.166389457341633 + 0.0*i,
    0.217227723560557 + 0.0*i,
    0.56618529471938 + 0.0*i,
    0.0387737186831251 + 0.0*i,
    0.485823298198678 + 0.0*i,
    0.0291350238530198 + 0.0*i,
    -0.451336180039433 + 0.0*i,
    0.345053769589497 + 0.0*i,
    -0.542796937390394 + 0.0*i,
    0.252275557483517 + 0.0*i,
    -0.111344121841255 + 0.0*i,
    0.808047017526545 + 0.0*i,
    0.302323160585667 + 0.0*i,
    0.389394744212294 + 0.0*i,
    0.487269203319526 + 0.0*i,
    0.123832582059825 + 0.0*i,
    0.0998380121148597 + 0.0*i,
    -0.240057198620055 + 0.0*i,
    -0.772236205033514 + 0.0*i,
    0.145283115752515 + 0.0*i,
    -0.257899522241007 + 0.0*i,
    -0.567306925060478 + 0.0*i,
    0.309502672144962 + 0.0*i,
    -0.844516909589071 + 0.0*i,
    0.468272030515579 + 0.0*i,
    -0.278371338654689 + 0.0*i,
    0.224613784352973 + 0.0*i,
    -0.0101741551949568 + 0.0*i,
    -0.572719129769152 + 0.0*i,
    -1.23960648692579 + 0.0*i,
    1.07029753206239 + 0.0*i,
    1.01593729161296 + 0.0*i,
    0.307370581968925 + 0.0*i,
    -0.556288696056461 + 0.0*i,
    0.120727275912912 + 0.0*i,
    -0.485025514811255 + 0.0*i,
    -0.353397191964727 + 0.0*i,
    -0.703711855478763 + 0.0*i,
    -0.22860484930168 + 0.0*i,
    -0.460513239121373 + 0.0*i,
    -0.313030758496828 + 0.0*i,
    0.667462785416093 + 0.0*i,
    -0.024281648213808 + 0.0*i,
    -0.178523138944652 + 0.0*i,
    -0.411906876397479 + 0.0*i,
    0.442103008934431 + 0.0*i,
    -0.34346791597732 + 0.0*i,
    1.17019699897445 + 0.0*i,
    -0.405915993835908 + 0.0*i,
    0.0572827432646805 + 0.0*i,
    -0.751859536761851 + 0.0*i,
    0.0302833439592601 + 0.0*i,
    0.138442395744542 + 0.0*i,
    0.382438379892411 + 0.0*i,
    -0.366296683393127 + 0.0*i,
    0.306362201094885 + 0.0*i,
    -0.181397142178852 + 0.0*i,
    -0.616229302882595 + 0.0*i,
    -0.420025119042121 + 0.0*i,
    -0.345919161414681 + 0.0*i,
    0.17142211104983 + 0.0*i,
    0.271756423127462 + 0.0*i,
    0.521165650086235 + 0.0*i,
    0.390472082140503 + 0.0*i,
    -0.0868847046027373 + 0.0*i,
    0.102654520029888 + 0.0*i,
    -0.458559196015138 + 0.0*i,
    -0.21521508163401 + 0.0*i,
    0.566005867622437 + 0.0*i,
    0.631453327320855 + 0.0*i,
    0.157563907795473 + 0.0*i,
    -0.0866694623146521 + 0.0*i,
    0.73042297371672 + 0.0*i,
    0.284420256132259 + 0.0*i,
    0.525493868691233 + 0.0*i,
    0.332077744499666 + 0.0*i,
    0.714877907517879 + 0.0*i,
    -0.711806780839604 + 0.0*i,
    -0.313908421316498 + 0.0*i,
    0.198173817000574 + 0.0*i,
    0.328458035526381 + 0.0*i,
    0.39521489358438 + 0.0*i,
    1.02522628682082 + 0.0*i,
    -1.55547199521856 + 0.0*i,
    0.23239747395282 + 0.0*i,
    0.229020546005417 + 0.0*i,
    -1.01588394690432 + 0.0*i,
    0.618327679703161 + 0.0*i,
    0.693174519395834 + 0.0*i,
    -0.278534187294619 + 0.0*i,
    -1.00674823106443 + 0.0*i,
    0.290504477875564 + 0.0*i,
    -0.270324376464878 + 0.0*i,
    -0.579663948896623 + 0.0*i,
    -0.825846927522826 + 0.0*i,
    0.22889775586337 + 0.0*i,
    0.502524784490355 + 0.0*i,
    0.123293622948189 + 0.0*i,
    0.397219350987237 + 0.0*i,
    0.564693478144471 + 0.0*i,
    0.0959627189381666 + 0.0*i,
    0.294208267989258 + 0.0*i,
    -0.527673293650235 + 0.0*i,
    -0.0852359656207897 + 0.0*i,
    0.558394330197439 + 0.0*i,
    -0.196911059438353 + 0.0*i,
    -0.0218135103857578 + 0.0*i,
    0.382530390414729 + 0.0*i,
    -0.598165034409885 + 0.0*i,
    -0.4351383733137 + 0.0*i,
    -0.234365764870122 + 0.0*i,
    0.111794869663614 + 0.0*i,
    0.37520586125927 + 0.0*i,
    0.332502245232602 + 0.0*i,
    0.599410246470512 + 0.0*i,
    -0.164974756918539 + 0.0*i,
    0.444218028137919 + 0.0*i,
    0.0555836507400219 + 0.0*i,
    0.468909542497385 + 0.0*i,
    0.00667169569807431 + 0.0*i,
    0.744530634153905 + 0.0*i,
    0.471975028017631 + 0.0*i,
    0.0376514938660418 + 0.0*i,
    0.813230974728727 + 0.0*i,
    -1.09752988026461 + 0.0*i,
    -0.212638660194094 + 0.0*i,
    -0.36111466312941 + 0.0*i,
    0.5379337991852 + 0.0*i,
    -0.544355875186027 + 0.0*i,
    -0.303638844268878 + 0.0*i,
    0.330853325282491 + 0.0*i,
    -0.570857204380441 + 0.0*i,
    0.240902891948321 + 0.0*i,
    -0.108495842555183 + 0.0*i,
    0.312437088160265 + 0.0*i,
    0.279681774810726 + 0.0*i,
    0.525378473673279 + 0.0*i,
    -0.208561129545102 + 0.0*i,
    -0.530766481695839 + 0.0*i,
    0.571200959391008 + 0.0*i,
    -0.543537823740841 + 0.0*i,
    0.935067283419714 + 0.0*i,
    -0.775256692317578 + 0.0*i,
    -0.13632789909281 + 0.0*i,
    -0.39555956942807 + 0.0*i,
    -0.694871971885533 + 0.0*i,
    -0.50245549372727 + 0.0*i,
    0.0859386329315927 + 0.0*i,
    0.66296573051536 + 0.0*i,
    0.633433594457114 + 0.0*i,
    0.499530253174646 + 0.0*i,
    -0.274819695576952 + 0.0*i,
    0.118471828150072 + 0.0*i
]);