V:=Matrix(CC,4,137,[
    -0.347815500669428 + 0.0*i,
    -1.15185412372765 + 0.0*i,
    -0.235502101914811 + 0.0*i,
    0.0159158382248797 + 0.0*i,
    0.0626388899103529 + 0.0*i,
    -0.813193397685925 + 0.0*i,
    -0.0279384667984547 + 0.0*i,
    0.3845128422298 + 0.0*i,
    0.132390319518785 + 0.0*i,
    -0.125871993209487 + 0.0*i,
    -0.287205389978939 + 0.0*i,
    -0.447377958598397 + 0.0*i,
    0.344230639476895 + 0.0*i,
    0.712997105876919 + 0.0*i,
    -0.685415983424269 + 0.0*i,
    -0.0364930314097401 + 0.0*i,
    0.542935393258935 + 0.0*i,
    0.618173346291403 + 0.0*i,
    0.870109182011731 + 0.0*i,
    -0.622649679240177 + 0.0*i,
    0.345546054771943 + 0.0*i,
    -0.277828216061478 + 0.0*i,
    0.0525265646484773 + 0.0*i,
    -0.31775490254302 + 0.0*i,
    -0.0227191850142797 + 0.0*i,
    0.475383453427352 + 0.0*i,
    -0.40469666457537 + 0.0*i,
    -0.804289945911075 + 0.0*i,
    0.981623082550451 + 0.0*i,
    -0.101125983995977 + 0.0*i,
    0.0325899837734544 + 0.0*i,
    0.0595593835108445 + 0.0*i,
    0.395114273957942 + 0.0*i,
    0.469985277649149 + 0.0*i,
    -0.335197285499495 + 0.0*i,
    0.0935318365430352 + 0.0*i,
    -0.260267429144489 + 0.0*i,
    -0.294567670121423 + 0.0*i,
    0.857424574441678 + 0.0*i,
    -0.388499180415736 + 0.0*i,
    -0.227983282075168 + 0.0*i,
    -0.341038753091131 + 0.0*i,
    -0.304653977017175 + 0.0*i,
    -0.18835439925198 + 0.0*i,
    -0.820466812216367 + 0.0*i,
    0.0592422005803787 + 0.0*i,
    -0.0140661747581902 + 0.0*i,
    -0.0906313688894017 + 0.0*i,
    0.174556954249431 + 0.0*i,
    -0.215045127918995 + 0.0*i,
    0.808904019535425 + 0.0*i,
    -0.757125540659776 + 0.0*i,
    -0.270640787895107 + 0.0*i,
    0.432651490728493 + 0.0*i,
    0.0260077486739397 + 0.0*i,
    0.361362423303844 + 0.0*i,
    1.38183286354107 + 0.0*i,
    0.0281882358716617 + 0.0*i,
    -0.0508758537980889 + 0.0*i,
    0.459914435165054 + 0.0*i,
    0.257627656073519 + 0.0*i,
    0.00434408186328116 + 0.0*i,
    0.200282482862195 + 0.0*i,
    -0.691408152301945 + 0.0*i,
    -0.865191885873353 + 0.0*i,
    -0.61177017249039 + 0.0*i,
    -0.227599175134183 + 0.0*i,
    -0.532842602968909 + 0.0*i,
    -0.353566053819821 + 0.0*i,
    0.124316954072945 + 0.0*i,
    0.328596407429809 + 0.0*i,
    0.294863922861099 + 0.0*i,
    0.664261872205872 + 0.0*i,
    0.191709661955409 + 0.0*i,
    0.315827587561617 + 0.0*i,
    0.354835212626111 + 0.0*i,
    0.127489378217563 + 0.0*i,
    0.196970715305438 + 0.0*i,
    0.173312245558234 + 0.0*i,
    -0.522674529878647 + 0.0*i,
    -0.239548556006545 + 0.0*i,
    -0.0873196005947609 + 0.0*i,
    0.249229733167682 + 0.0*i,
    -0.718841701214511 + 0.0*i,
    0.170736961452415 + 0.0*i,
    0.0608933518287356 + 0.0*i,
    -0.533961907399757 + 0.0*i,
    0.102948269994712 + 0.0*i,
    -0.95017240977715 + 0.0*i,
    -0.286288425935746 + 0.0*i,
    -0.190099096779249 + 0.0*i,
    0.248361136817578 + 0.0*i,
    -0.0425993225536478 + 0.0*i,
    -0.493086832933173 + 0.0*i,
    0.0694599358387478 + 0.0*i,
    -0.0438337942158532 + 0.0*i,
    -0.852348490056602 + 0.0*i,
    0.00620551468108984 + 0.0*i,
    -0.113292854509477 + 0.0*i,
    0.11354186297556 + 0.0*i,
    -0.0236849945660471 + 0.0*i,
    0.089617015833681 + 0.0*i,
    0.240825458528682 + 0.0*i,
    -0.231251094309473 + 0.0*i,
    -1.27510791024326 + 0.0*i,
    0.57953691870931 + 0.0*i,
    -0.825994291343175 + 0.0*i,
    0.566234413434709 + 0.0*i,
    0.219541828154864 + 0.0*i,
    -0.0353755447451358 + 0.0*i,
    -0.298591990675998 + 0.0*i,
    -0.376081950593694 + 0.0*i,
    -0.756194842578447 + 0.0*i,
    -0.325612078110847 + 0.0*i,
    -0.395908218373574 + 0.0*i,
    0.217099791678931 + 0.0*i,
    -0.228444075980484 + 0.0*i,
    -0.69047406738866 + 0.0*i,
    0.215211264189085 + 0.0*i,
    -0.842091290639857 + 0.0*i,
    0.262217480964909 + 0.0*i,
    -0.214231961889763 + 0.0*i,
    -0.547330610255814 + 0.0*i,
    0.190407972831156 + 0.0*i,
    -0.272400533324005 + 0.0*i,
    -0.698289361507592 + 0.0*i,
    0.401231056061677 + 0.0*i,
    0.807842600348722 + 0.0*i,
    -0.782074186106669 + 0.0*i,
    -0.790680579604895 + 0.0*i,
    0.648690128398202 + 0.0*i,
    0.460988049073577 + 0.0*i,
    -0.0569189803884255 + 0.0*i,
    0.784441375216255 + 0.0*i,
    1.11088361250075 + 0.0*i,
    -0.228790997679212 + 0.0*i,
    -0.307267406851716 + 0.0*i,
    0.0983563859382173 + 0.0*i,
    -0.203668832665448 + 0.0*i,
    0.908883925013221 + 0.0*i,
    0.30188027541232 + 0.0*i,
    -0.328662028384634 + 0.0*i,
    0.50525165048467 + 0.0*i,
    0.290882768471241 + 0.0*i,
    -0.11358997241496 + 0.0*i,
    -1.12046694148343 + 0.0*i,
    0.952049078376043 + 0.0*i,
    0.763188738556299 + 0.0*i,
    0.395885428684197 + 0.0*i,
    -0.0333093204775562 + 0.0*i,
    -0.170640888326658 + 0.0*i,
    0.125622041752348 + 0.0*i,
    0.340062288710042 + 0.0*i,
    1.0538423348997 + 0.0*i,
    -0.222838902759053 + 0.0*i,
    0.95628472073378 + 0.0*i,
    0.0308704415067266 + 0.0*i,
    0.114771072462301 + 0.0*i,
    -0.112580203485547 + 0.0*i,
    0.144726319082727 + 0.0*i,
    -0.503617815486847 + 0.0*i,
    0.130674474526982 + 0.0*i,
    -0.090787408834509 + 0.0*i,
    -0.335691814309201 + 0.0*i,
    0.206364619100656 + 0.0*i,
    -0.410355739280472 + 0.0*i,
    -0.712775588305233 + 0.0*i,
    0.115655331891343 + 0.0*i,
    -0.251595389208122 + 0.0*i,
    0.133004877252096 + 0.0*i,
    0.731169791348185 + 0.0*i,
    -0.165072726013976 + 0.0*i,
    0.25310457178346 + 0.0*i,
    0.146885162272499 + 0.0*i,
    0.249594745875084 + 0.0*i,
    0.477513164117763 + 0.0*i,
    -0.122662258354421 + 0.0*i,
    -0.206259261749266 + 0.0*i,
    -0.850735722446244 + 0.0*i,
    0.350733250046944 + 0.0*i,
    -0.48033736919086 + 0.0*i,
    0.690204889370643 + 0.0*i,
    0.291744522179074 + 0.0*i,
    0.771850249250283 + 0.0*i,
    -0.0709112837486507 + 0.0*i,
    0.760041973445905 + 0.0*i,
    0.683172565975737 + 0.0*i,
    -0.648235748038417 + 0.0*i,
    0.207487976213347 + 0.0*i,
    -0.0949680903258783 + 0.0*i,
    0.059929108361405 + 0.0*i,
    -0.0157022449303321 + 0.0*i,
    0.421010639758962 + 0.0*i,
    0.0911853061222437 + 0.0*i,
    -1.23907973892807 + 0.0*i,
    0.130824118567703 + 0.0*i,
    0.761883114090961 + 0.0*i,
    -0.32010333825192 + 0.0*i,
    -0.442972785790757 + 0.0*i,
    0.119636749777049 + 0.0*i,
    0.231354614684151 + 0.0*i,
    -0.0889271614144616 + 0.0*i,
    -0.352455973230771 + 0.0*i,
    0.446908139365631 + 0.0*i,
    0.547382961211807 + 0.0*i,
    0.349107727672446 + 0.0*i,
    -0.330308967143541 + 0.0*i,
    -0.0490460807785632 + 0.0*i,
    -0.00844043805735575 + 0.0*i,
    0.212993548400438 + 0.0*i,
    -0.113649387502015 + 0.0*i,
    -0.541995740416 + 0.0*i,
    -0.622189858490974 + 0.0*i,
    0.651396178074394 + 0.0*i,
    0.745261362204752 + 0.0*i,
    0.175988697595468 + 0.0*i,
    -0.469895655832806 + 0.0*i,
    0.21943975657689 + 0.0*i,
    -0.15178167082302 + 0.0*i,
    0.0737746221250709 + 0.0*i,
    -0.584729235598792 + 0.0*i,
    -0.64819409301892 + 0.0*i,
    0.578344369680887 + 0.0*i,
    0.344584058331911 + 0.0*i,
    0.175363198260852 + 0.0*i,
    0.37730697636626 + 0.0*i,
    -0.0956441869605054 + 0.0*i,
    -0.730838348467705 + 0.0*i,
    -0.0517590246995133 + 0.0*i,
    0.235265233742396 + 0.0*i,
    -0.0711405034701784 + 0.0*i,
    0.502504834363049 + 0.0*i,
    0.418108017428324 + 0.0*i,
    -0.361590170532714 + 0.0*i,
    -0.133232946005367 + 0.0*i,
    0.475587426957385 + 0.0*i,
    -0.503194696534136 + 0.0*i,
    0.0382639529931324 + 0.0*i,
    0.189231024917322 + 0.0*i,
    -0.0920639863285125 + 0.0*i,
    -0.306356332862581 + 0.0*i,
    -0.390338316544355 + 0.0*i,
    -0.0442344049054963 + 0.0*i,
    0.470349428151744 + 0.0*i,
    -0.140318838154699 + 0.0*i,
    -0.202277472850598 + 0.0*i,
    0.72584988365075 + 0.0*i,
    -0.026274207439535 + 0.0*i,
    0.233957661174006 + 0.0*i,
    0.382170610255518 + 0.0*i,
    -0.192141647424999 + 0.0*i,
    -0.394663510983182 + 0.0*i,
    -0.683071727779131 + 0.0*i,
    0.263733606148647 + 0.0*i,
    -0.470004231066034 + 0.0*i,
    0.591814378508628 + 0.0*i,
    0.689442964643135 + 0.0*i,
    0.434682876483894 + 0.0*i,
    -0.273719510102519 + 0.0*i,
    -0.275321488859721 + 0.0*i,
    0.00230132477786175 + 0.0*i,
    0.00268108665577891 + 0.0*i,
    0.299724464635576 + 0.0*i,
    0.353207282337798 + 0.0*i,
    -0.207674287831549 + 0.0*i,
    -0.166333456302566 + 0.0*i,
    -0.077448783632747 + 0.0*i,
    0.0762734173932964 + 0.0*i,
    -0.129024756180975 + 0.0*i,
    0.13774960362117 + 0.0*i,
    -0.719191305882588 + 0.0*i,
    1.01071608194684 + 0.0*i,
    -0.357122256279556 + 0.0*i,
    0.0180562434956744 + 0.0*i,
    0.103093255249988 + 0.0*i,
    0.55760461780458 + 0.0*i,
    0.901353344045212 + 0.0*i,
    -0.0339346112217167 + 0.0*i,
    -0.542664119062209 + 0.0*i,
    0.564729709596841 + 0.0*i,
    0.605902215473226 + 0.0*i,
    0.160592547356326 + 0.0*i,
    -0.239128805521355 + 0.0*i,
    0.00673161664387166 + 0.0*i,
    -0.74307646134334 + 0.0*i,
    0.590690116021267 + 0.0*i,
    0.627917006731202 + 0.0*i,
    0.57042345641807 + 0.0*i,
    0.11841752635807 + 0.0*i,
    -0.259161298599126 + 0.0*i,
    0.167909864260828 + 0.0*i,
    -0.317184829963191 + 0.0*i,
    -0.372769327845521 + 0.0*i,
    0.404955124114768 + 0.0*i,
    0.0639976479588772 + 0.0*i,
    0.321956549880457 + 0.0*i,
    0.026875892548536 + 0.0*i,
    -0.12776430459837 + 0.0*i,
    0.345144049976848 + 0.0*i,
    -0.497748359541778 + 0.0*i,
    -0.344878442861895 + 0.0*i,
    0.628029836669443 + 0.0*i,
    -1.0341069699617 + 0.0*i,
    -1.21709083287735 + 0.0*i,
    0.559212455167704 + 0.0*i,
    0.361352953811439 + 0.0*i,
    0.0427525908300653 + 0.0*i,
    -0.783482316737101 + 0.0*i,
    1.00533646065805 + 0.0*i,
    0.0683472539298539 + 0.0*i,
    -0.624567199972244 + 0.0*i,
    0.146172697177028 + 0.0*i,
    0.712386779532684 + 0.0*i,
    -0.0404016519390823 + 0.0*i,
    0.686202023418897 + 0.0*i,
    -0.670543849881166 + 0.0*i,
    -0.662150936383961 + 0.0*i,
    0.00326955288270665 + 0.0*i,
    0.435953515577953 + 0.0*i,
    0.509812517709953 + 0.0*i,
    -0.179566823745694 + 0.0*i,
    -0.646579980631689 + 0.0*i,
    -0.686716835366663 + 0.0*i,
    0.238402821908795 + 0.0*i,
    -0.239850249383049 + 0.0*i,
    0.281398680682253 + 0.0*i,
    0.483294901876959 + 0.0*i,
    0.694677128938049 + 0.0*i,
    -0.0674275748711611 + 0.0*i,
    0.641511252819422 + 0.0*i,
    -0.239261422804498 + 0.0*i,
    0.0970498443456595 + 0.0*i,
    0.558386987050138 + 0.0*i,
    0.241606371455803 + 0.0*i,
    -0.168871285971982 + 0.0*i,
    0.0666993269035851 + 0.0*i,
    -0.19872159674476 + 0.0*i,
    -0.080138401885862 + 0.0*i,
    -0.681084944433414 + 0.0*i,
    0.451715774850019 + 0.0*i,
    -0.0902228099527161 + 0.0*i,
    0.434309597152857 + 0.0*i,
    0.529403684981793 + 0.0*i,
    0.492738310827934 + 0.0*i,
    -0.253319547118662 + 0.0*i,
    0.446948917456355 + 0.0*i,
    -0.417947010513267 + 0.0*i,
    -0.255149964974111 + 0.0*i,
    0.528243936404926 + 0.0*i,
    -0.495294169444512 + 0.0*i,
    0.351597815375637 + 0.0*i,
    -0.161718720513336 + 0.0*i,
    0.989945694023883 + 0.0*i,
    -0.00702971999224896 + 0.0*i,
    -0.647534361223634 + 0.0*i,
    1.00125316944636 + 0.0*i,
    -1.29813943696983 + 0.0*i,
    0.368793512794709 + 0.0*i,
    0.265538221707363 + 0.0*i,
    -0.371030257275256 + 0.0*i,
    0.621369864190628 + 0.0*i,
    -0.658003519638047 + 0.0*i,
    0.159078214327059 + 0.0*i,
    -0.0254581762017389 + 0.0*i,
    -0.0666035527432332 + 0.0*i,
    -0.675111086217606 + 0.0*i,
    -0.751791117291904 + 0.0*i,
    -0.75806281388492 + 0.0*i,
    0.638804029509843 + 0.0*i,
    -0.491772704672233 + 0.0*i,
    -0.502995675277718 + 0.0*i,
    -0.541937925015199 + 0.0*i,
    -0.173153200083237 + 0.0*i,
    -0.161352308111829 + 0.0*i,
    -0.395872977129381 + 0.0*i,
    -1.03136442866459 + 0.0*i,
    -0.774372601111672 + 0.0*i,
    -0.48224753198576 + 0.0*i,
    -0.032791413247686 + 0.0*i,
    0.201861237284523 + 0.0*i,
    0.493004789645049 + 0.0*i,
    0.78497963605839 + 0.0*i,
    0.326633573883746 + 0.0*i,
    -0.847679066582029 + 0.0*i,
    0.316453499555694 + 0.0*i,
    -0.174461575273972 + 0.0*i,
    -0.255259170312197 + 0.0*i,
    -0.0570269108459003 + 0.0*i,
    0.292447351336043 + 0.0*i,
    0.0301953237298528 + 0.0*i,
    -0.222425424650763 + 0.0*i,
    -0.880328471890093 + 0.0*i,
    -0.378085488077183 + 0.0*i,
    0.460140822826164 + 0.0*i,
    -0.585593970678322 + 0.0*i,
    0.170751242308476 + 0.0*i,
    0.202677758090064 + 0.0*i,
    0.0962402434132429 + 0.0*i,
    -0.0125648138063699 + 0.0*i,
    0.0865240560043361 + 0.0*i,
    -0.601715999052123 + 0.0*i,
    0.42545441851619 + 0.0*i,
    0.497226889844769 + 0.0*i,
    0.132113640349563 + 0.0*i,
    0.722937434738383 + 0.0*i,
    -0.275350924098708 + 0.0*i,
    -0.345607828493607 + 0.0*i,
    0.50782631921287 + 0.0*i,
    -0.448564913920777 + 0.0*i,
    -0.641987079338889 + 0.0*i,
    0.0544207815360095 + 0.0*i,
    0.654087299687238 + 0.0*i,
    -0.732095834570907 + 0.0*i,
    0.0400914072512217 + 0.0*i,
    -0.181839799378144 + 0.0*i,
    -0.0575654539771518 + 0.0*i,
    0.0522278652345118 + 0.0*i,
    0.625584248896015 + 0.0*i,
    0.503290800071138 + 0.0*i,
    0.147396885154385 + 0.0*i,
    -0.181123806321643 + 0.0*i,
    0.861706437757466 + 0.0*i,
    0.540767666397614 + 0.0*i,
    0.188056537588227 + 0.0*i,
    0.519900718528111 + 0.0*i,
    0.487600847125819 + 0.0*i,
    0.577552390798062 + 0.0*i,
    -1.09753519803804 + 0.0*i,
    0.814629797206285 + 0.0*i,
    0.181961040850171 + 0.0*i,
    -0.950623644279682 + 0.0*i,
    0.544499245676124 + 0.0*i,
    -0.863023975494826 + 0.0*i,
    1.08987425802438 + 0.0*i,
    -0.204218665068967 + 0.0*i,
    -0.920708456111504 + 0.0*i,
    -0.82450189901027 + 0.0*i,
    -0.0254083527704604 + 0.0*i,
    -0.499533692063452 + 0.0*i,
    0.0466929407993444 + 0.0*i,
    -0.714151711026543 + 0.0*i,
    0.0298476446892236 + 0.0*i,
    -0.0938099771887265 + 0.0*i,
    -0.393532331536811 + 0.0*i,
    -0.373226935072543 + 0.0*i,
    0.0155215284565472 + 0.0*i,
    0.922821099828098 + 0.0*i,
    0.242509330261237 + 0.0*i,
    -0.6704589858861 + 0.0*i,
    -0.522372138168811 + 0.0*i,
    -0.683281149024096 + 0.0*i,
    -0.0805226315556311 + 0.0*i,
    -0.80369284307684 + 0.0*i,
    0.936526998301082 + 0.0*i,
    -0.0564207520198099 + 0.0*i,
    -0.278422614490499 + 0.0*i,
    -0.383471715298847 + 0.0*i,
    0.112454989745733 + 0.0*i,
    0.34236475706755 + 0.0*i,
    -0.451168093189188 + 0.0*i,
    -0.683990115826732 + 0.0*i,
    0.180772748852658 + 0.0*i,
    1.15052085628462 + 0.0*i,
    0.126309333564648 + 0.0*i,
    0.652926375998404 + 0.0*i,
    0.287521801696246 + 0.0*i,
    -0.0820652062758971 + 0.0*i,
    -0.864951814236993 + 0.0*i,
    -0.635750174334668 + 0.0*i,
    0.50022801656522 + 0.0*i,
    0.0923607418978992 + 0.0*i,
    0.528594766429557 + 0.0*i,
    -0.244132882083635 + 0.0*i,
    -0.65954423946055 + 0.0*i,
    0.468731998373061 + 0.0*i,
    -0.61959958206894 + 0.0*i,
    -0.246318531996535 + 0.0*i,
    0.154977518835514 + 0.0*i,
    -0.517345602723615 + 0.0*i,
    -0.170039812242682 + 0.0*i,
    0.0358444126636336 + 0.0*i,
    0.4271544511471 + 0.0*i,
    0.353367470184347 + 0.0*i,
    0.168855693025708 + 0.0*i,
    0.440005985242233 + 0.0*i,
    0.0427184379531741 + 0.0*i,
    0.538852293319286 + 0.0*i,
    -0.453455086267429 + 0.0*i,
    0.465184717171724 + 0.0*i,
    -1.01830480181459 + 0.0*i,
    -0.360249182407673 + 0.0*i,
    -0.552738590487074 + 0.0*i,
    0.210753802132456 + 0.0*i,
    -0.535103309976732 + 0.0*i,
    0.0556275667469291 + 0.0*i,
    0.167532692666464 + 0.0*i,
    -0.129950335446622 + 0.0*i,
    -0.221916717894464 + 0.0*i,
    0.710798618853795 + 0.0*i,
    0.704486030208497 + 0.0*i,
    -0.0814257180780294 + 0.0*i,
    -0.125735535378999 + 0.0*i,
    -0.40439834720874 + 0.0*i,
    0.363608959912141 + 0.0*i,
    -1.10322619452725 + 0.0*i,
    -1.08785528843696 + 0.0*i,
    0.528805245503453 + 0.0*i,
    -0.283663470465742 + 0.0*i,
    0.453632942992101 + 0.0*i,
    -0.288081974826145 + 0.0*i,
    -0.138608227839305 + 0.0*i,
    0.790103846451479 + 0.0*i,
    1.1724635980283 + 0.0*i,
    -0.479883345202329 + 0.0*i,
    0.290093448785648 + 0.0*i,
    -0.761467426280198 + 0.0*i,
    -0.438072102134333 + 0.0*i,
    -0.626049569679794 + 0.0*i,
    0.810947434218123 + 0.0*i,
    0.490711803810867 + 0.0*i,
    0.221717799199176 + 0.0*i,
    0.615548035777557 + 0.0*i,
    0.0222277627928713 + 0.0*i,
    0.370669143843822 + 0.0*i,
    0.845700371553244 + 0.0*i,
    -1.03250096999365 + 0.0*i,
    0.583772357307521 + 0.0*i,
    -0.817784696926275 + 0.0*i,
    -1.01941531660018 + 0.0*i,
    0.285751270127264 + 0.0*i,
    0.203927202538528 + 0.0*i,
    -0.699137585650278 + 0.0*i,
    -0.0611285128644452 + 0.0*i,
    0.803988406896961 + 0.0*i,
    -1.1424027744458 + 0.0*i,
    1.02456803486494 + 0.0*i,
    -0.965957029484725 + 0.0*i,
    0.176904086937276 + 0.0*i,
    0.509102403405566 + 0.0*i,
    0.922039247426042 + 0.0*i,
    -0.335109494292259 + 0.0*i,
    -0.341214040337513 + 0.0*i,
    0.102016140343231 + 0.0*i,
    -0.105973209368325 + 0.0*i,
    0.152909697613672 + 0.0*i,
    0.905368350456286 + 0.0*i,
    -0.321573574601611 + 0.0*i,
    0.0802224492190073 + 0.0*i
]);