V:=Matrix(CC,4,136,[
    -0.0605931680957322 + 0.0*i,
    0.410173162529695 + 0.0*i,
    -0.0258089516477997 + 0.0*i,
    0.164363229495487 + 0.0*i,
    -0.0201667593704333 + 0.0*i,
    0.306565497719467 + 0.0*i,
    0.206548534707041 + 0.0*i,
    0.0495940756437857 + 0.0*i,
    0.102948653322886 + 0.0*i,
    0.385842888097519 + 0.0*i,
    -0.22693797432197 + 0.0*i,
    -0.021070104672189 + 0.0*i,
    -0.190940846819728 + 0.0*i,
    -0.0435825954399925 + 0.0*i,
    -0.0184217159976974 + 0.0*i,
    0.198623540450742 + 0.0*i,
    -0.282840648340233 + 0.0*i,
    0.435691748108988 + 0.0*i,
    -0.431238166415939 + 0.0*i,
    -0.198063795449764 + 0.0*i,
    0.083780351632092 + 0.0*i,
    0.00216007827870673 + 0.0*i,
    0.203283071741266 + 0.0*i,
    -0.480985109541867 + 0.0*i,
    0.326354350761003 + 0.0*i,
    0.349780604383062 + 0.0*i,
    0.408150277693315 + 0.0*i,
    0.324311070644068 + 0.0*i,
    0.436970275987151 + 0.0*i,
    0.105507076139008 + 0.0*i,
    -0.198940487838822 + 0.0*i,
    -0.324074180971631 + 0.0*i,
    -0.153571794228738 + 0.0*i,
    0.211897818027729 + 0.0*i,
    -0.314995130797891 + 0.0*i,
    0.0791540647512055 + 0.0*i,
    0.0776773076800691 + 0.0*i,
    -0.374085821200676 + 0.0*i,
    -0.121928875268831 + 0.0*i,
    -0.433132419174732 + 0.0*i,
    0.0214337163872147 + 0.0*i,
    -0.0796999179538449 + 0.0*i,
    0.110233479169034 + 0.0*i,
    0.0917747295672346 + 0.0*i,
    -0.125062743534283 + 0.0*i,
    -0.277211936799102 + 0.0*i,
    -0.161963406320087 + 0.0*i,
    -0.216634344290115 + 0.0*i,
    -0.209829195883756 + 0.0*i,
    -0.151576706465761 + 0.0*i,
    -0.0525791999678447 + 0.0*i,
    -0.0895687965702767 + 0.0*i,
    -0.307388862886215 + 0.0*i,
    -0.0634622010693625 + 0.0*i,
    0.365013129448654 + 0.0*i,
    0.124616885668806 + 0.0*i,
    -0.457368647562272 + 0.0*i,
    0.0316594328100587 + 0.0*i,
    0.00744644340212977 + 0.0*i,
    -0.222058744926282 + 0.0*i,
    -0.156064663434584 + 0.0*i,
    0.293963885059689 + 0.0*i,
    -0.413556767628433 + 0.0*i,
    -0.293304168979365 + 0.0*i,
    0.258359224696012 + 0.0*i,
    -0.217910461873078 + 0.0*i,
    0.30274422839972 + 0.0*i,
    -0.0781953166358799 + 0.0*i,
    0.294932547811926 + 0.0*i,
    0.314893710726954 + 0.0*i,
    -0.166318523191171 + 0.0*i,
    0.284572860327028 + 0.0*i,
    0.00543425578741732 + 0.0*i,
    -0.114156664043239 + 0.0*i,
    -0.25760873111293 + 0.0*i,
    0.146502115161431 + 0.0*i,
    -0.275023886873009 + 0.0*i,
    0.289057662181923 + 0.0*i,
    -0.38132031024678 + 0.0*i,
    0.176456684459237 + 0.0*i,
    -0.10692715640335 + 0.0*i,
    0.325969443875153 + 0.0*i,
    -0.038908492422337 + 0.0*i,
    -0.264370579609617 + 0.0*i,
    -0.220684483657018 + 0.0*i,
    -0.367235879098182 + 0.0*i,
    -0.137590263159375 + 0.0*i,
    -0.12460651239538 + 0.0*i,
    0.307595988711024 + 0.0*i,
    -0.180912415355608 + 0.0*i,
    -0.348602422114224 + 0.0*i,
    0.139589497372723 + 0.0*i,
    -0.0541333730609984 + 0.0*i,
    0.388080178152987 + 0.0*i,
    0.0411245678894812 + 0.0*i,
    -0.0287841469222698 + 0.0*i,
    -0.234721344058663 + 0.0*i,
    -0.114672622670418 + 0.0*i,
    -0.288451838771757 + 0.0*i,
    0.0119166471610973 + 0.0*i,
    0.281734419585522 + 0.0*i,
    -0.425291485206124 + 0.0*i,
    0.257715835953936 + 0.0*i,
    -0.195762417221985 + 0.0*i,
    0.0830536209414921 + 0.0*i,
    -0.427818494079165 + 0.0*i,
    -0.416254807526991 + 0.0*i,
    -0.321165717700926 + 0.0*i,
    0.168105999374682 + 0.0*i,
    -0.3547087306392 + 0.0*i,
    -0.279451502524292 + 0.0*i,
    0.00572498646901784 + 0.0*i,
    -0.201997329850367 + 0.0*i,
    0.354747813814262 + 0.0*i,
    -0.245277957345286 + 0.0*i,
    0.253791640917189 + 0.0*i,
    -0.463458625058499 + 0.0*i,
    -0.200493406561865 + 0.0*i,
    -0.374633224796962 + 0.0*i,
    -0.158080662582806 + 0.0*i,
    -0.14728844684454 + 0.0*i,
    0.107626338075881 + 0.0*i,
    -0.350218598447079 + 0.0*i,
    -0.107654009396845 + 0.0*i,
    -0.10558892411506 + 0.0*i,
    0.192186724951969 + 0.0*i,
    -0.0345672907232163 + 0.0*i,
    0.160032872381328 + 0.0*i,
    -0.0885043516420363 + 0.0*i,
    0.40761740034607 + 0.0*i,
    -0.0783007862125407 + 0.0*i,
    0.255257304619164 + 0.0*i,
    -0.0547760642108762 + 0.0*i,
    -0.137484431122477 + 0.0*i,
    0.19587912255059 + 0.0*i,
    0.0899953551166318 + 0.0*i,
    -0.416812409056796 + 0.0*i,
    0.0981901023101661 + 0.0*i,
    0.0123007895350342 + 0.0*i,
    -0.290980853417171 + 0.0*i,
    0.297939329148245 + 0.0*i,
    0.0787570219398701 + 0.0*i,
    -0.0610820795707373 + 0.0*i,
    -0.344101942814879 + 0.0*i,
    0.0753735362372004 + 0.0*i,
    -0.03339037896726 + 0.0*i,
    -0.0756329406516756 + 0.0*i,
    0.451135404110228 + 0.0*i,
    0.343656681414204 + 0.0*i,
    -0.301569253730713 + 0.0*i,
    -0.378741126648459 + 0.0*i,
    0.165722362988782 + 0.0*i,
    -0.262760632175771 + 0.0*i,
    -0.0621683762466323 + 0.0*i,
    0.176623230614422 + 0.0*i,
    -0.19966728208636 + 0.0*i,
    -0.126780068950478 + 0.0*i,
    0.415847571296866 + 0.0*i,
    -0.146572062746268 + 0.0*i,
    -0.0478098994389932 + 0.0*i,
    -0.100976017711582 + 0.0*i,
    0.0603607389869141 + 0.0*i,
    0.147476509317728 + 0.0*i,
    -0.0279343104165507 + 0.0*i,
    -0.00953855753603076 + 0.0*i,
    0.385263784841795 + 0.0*i,
    0.329439273389193 + 0.0*i,
    0.256219530698427 + 0.0*i,
    -0.151507111665525 + 0.0*i,
    -0.105012781203314 + 0.0*i,
    -0.354037054014343 + 0.0*i,
    -0.326854198177429 + 0.0*i,
    0.0665512040146146 + 0.0*i,
    -0.19519466079946 + 0.0*i,
    -0.468133158703795 + 0.0*i,
    0.111012800886814 + 0.0*i,
    -0.131056447973459 + 0.0*i,
    -0.28036342119648 + 0.0*i,
    0.228507693996918 + 0.0*i,
    0.185801493248031 + 0.0*i,
    0.280400461526032 + 0.0*i,
    0.113056408693814 + 0.0*i,
    -0.378994226885922 + 0.0*i,
    -0.182152446129213 + 0.0*i,
    0.433220148751924 + 0.0*i,
    -0.393564426832797 + 0.0*i,
    0.449850346108079 + 0.0*i,
    -0.34690929217844 + 0.0*i,
    0.220442531190769 + 0.0*i,
    0.158741500034433 + 0.0*i,
    -0.262248571541926 + 0.0*i,
    -0.28353961621608 + 0.0*i,
    -0.0844995873375745 + 0.0*i,
    0.21691591170637 + 0.0*i,
    -0.126822645417423 + 0.0*i,
    -0.328680240991047 + 0.0*i,
    -0.0644966689039903 + 0.0*i,
    0.143751296903253 + 0.0*i,
    0.0890612078166012 + 0.0*i,
    0.139691789074669 + 0.0*i,
    0.0267908089539256 + 0.0*i,
    0.20224608016905 + 0.0*i,
    0.344091259947155 + 0.0*i,
    -0.295024113148811 + 0.0*i,
    -0.28451735338566 + 0.0*i,
    -0.35709535832501 + 0.0*i,
    -0.429652509420625 + 0.0*i,
    0.0556683142875629 + 0.0*i,
    0.104032060548922 + 0.0*i,
    -0.0806482357636297 + 0.0*i,
    -0.289672429905377 + 0.0*i,
    -0.294143251411844 + 0.0*i,
    -0.228121799212637 + 0.0*i,
    -0.130064513530281 + 0.0*i,
    0.170513387990904 + 0.0*i,
    0.0417951187976438 + 0.0*i,
    0.306841825777348 + 0.0*i,
    0.125439212052608 + 0.0*i,
    0.482742214780621 + 0.0*i,
    0.216188911373544 + 0.0*i,
    -0.32783189542204 + 0.0*i,
    0.247093002677014 + 0.0*i,
    0.142883465741421 + 0.0*i,
    0.392780664864332 + 0.0*i,
    -0.0338342331887038 + 0.0*i,
    -0.108385120257018 + 0.0*i,
    -0.283828679437894 + 0.0*i,
    -0.21390965473965 + 0.0*i,
    -0.0606398507439626 + 0.0*i,
    -0.282200271038083 + 0.0*i,
    0.0167567800556763 + 0.0*i,
    -0.226950769575214 + 0.0*i,
    -0.0117537847286209 + 0.0*i,
    0.432497144280663 + 0.0*i,
    -0.293593888312558 + 0.0*i,
    0.148616708069475 + 0.0*i,
    0.0217762928745564 + 0.0*i,
    0.0565380391659188 + 0.0*i,
    0.399746185548338 + 0.0*i,
    0.313187095260462 + 0.0*i,
    0.0371311910775537 + 0.0*i,
    -0.179504485507282 + 0.0*i,
    -0.250333081327169 + 0.0*i,
    0.199455880397328 + 0.0*i,
    -0.199632600007659 + 0.0*i,
    -0.164163603174246 + 0.0*i,
    0.155893778473603 + 0.0*i,
    -0.364694230638884 + 0.0*i,
    0.0578300139574383 + 0.0*i,
    0.0398585349450269 + 0.0*i,
    0.354014760553545 + 0.0*i,
    0.215418396125926 + 0.0*i,
    0.114636728138477 + 0.0*i,
    0.411325223160902 + 0.0*i,
    -0.174752218514821 + 0.0*i,
    0.386078961318942 + 0.0*i,
    -0.0205325079821984 + 0.0*i,
    0.26520179634721 + 0.0*i,
    -0.0354128322116406 + 0.0*i,
    0.200698611346497 + 0.0*i,
    -0.432986739536199 + 0.0*i,
    0.266360994528484 + 0.0*i,
    -0.258040326115797 + 0.0*i,
    -0.0649389158395172 + 0.0*i,
    0.0815139384143844 + 0.0*i,
    0.0543735357407064 + 0.0*i,
    0.104677361849216 + 0.0*i,
    -0.363788943520651 + 0.0*i,
    -0.253548158084891 + 0.0*i,
    0.0642236929465993 + 0.0*i,
    0.181444108000712 + 0.0*i,
    -0.200651156105579 + 0.0*i,
    0.00244763665812969 + 0.0*i,
    -0.20593875213654 + 0.0*i,
    0.159670854425133 + 0.0*i,
    0.308393601450038 + 0.0*i,
    -0.0254545950057955 + 0.0*i,
    -0.372858285543541 + 0.0*i,
    0.0419996368063905 + 0.0*i,
    0.344770238805094 + 0.0*i,
    -0.333451208308931 + 0.0*i,
    -0.179258703237126 + 0.0*i,
    -0.209637546724386 + 0.0*i,
    -0.172543689739799 + 0.0*i,
    -0.108553429220642 + 0.0*i,
    0.282431897923475 + 0.0*i,
    -0.214806661385468 + 0.0*i,
    0.0670622918305696 + 0.0*i,
    -0.0648208624331258 + 0.0*i,
    0.0471686912736716 + 0.0*i,
    0.066582000593228 + 0.0*i,
    0.359499006359865 + 0.0*i,
    -0.37116010155087 + 0.0*i,
    0.264760032512656 + 0.0*i,
    -0.275164422447864 + 0.0*i,
    0.059472732413331 + 0.0*i,
    -0.303018431287314 + 0.0*i,
    0.00926940061388909 + 0.0*i,
    -0.0856870662540617 + 0.0*i,
    0.0968194268568586 + 0.0*i,
    0.203809672554436 + 0.0*i,
    -0.0612607783967796 + 0.0*i,
    -0.0989713930292838 + 0.0*i,
    0.193070564589718 + 0.0*i,
    -0.00417511103999408 + 0.0*i,
    -0.392154051178256 + 0.0*i,
    -0.0922635759277721 + 0.0*i,
    -0.262717766408233 + 0.0*i,
    -0.301857449571238 + 0.0*i,
    -0.239450968926381 + 0.0*i,
    0.00794486794734891 + 0.0*i,
    0.106392689360981 + 0.0*i,
    0.449766372629425 + 0.0*i,
    -0.372362256230012 + 0.0*i,
    -0.414842000743136 + 0.0*i,
    0.288892267487013 + 0.0*i,
    -0.321509896539456 + 0.0*i,
    -0.306765560273942 + 0.0*i,
    0.24232246940826 + 0.0*i,
    -0.39333704817943 + 0.0*i,
    -0.0436185942468163 + 0.0*i,
    -0.179958869903569 + 0.0*i,
    0.0954261600914992 + 0.0*i,
    0.298452256986791 + 0.0*i,
    0.00452259551786798 + 0.0*i,
    -0.449550345214957 + 0.0*i,
    -0.190367615493227 + 0.0*i,
    -0.253549848276532 + 0.0*i,
    -0.0976667453112091 + 0.0*i,
    -0.150373928845367 + 0.0*i,
    -0.0561264996862164 + 0.0*i,
    -0.0499611956746659 + 0.0*i,
    -0.410275892254761 + 0.0*i,
    -0.222993067826214 + 0.0*i,
    -0.1308884849797 + 0.0*i,
    -0.190210465232343 + 0.0*i,
    -0.29643665933743 + 0.0*i,
    -0.374763356961587 + 0.0*i,
    -0.0944460691796522 + 0.0*i,
    -0.137498920165588 + 0.0*i,
    0.176727139204756 + 0.0*i,
    -0.00289259498043039 + 0.0*i,
    -0.137546552334138 + 0.0*i,
    0.371515709953034 + 0.0*i,
    -0.0304731139637037 + 0.0*i,
    -0.42483961172926 + 0.0*i,
    0.169044178465081 + 0.0*i,
    -0.332340858610352 + 0.0*i,
    -0.274067574308806 + 0.0*i,
    0.340212330827726 + 0.0*i,
    -0.250524289654938 + 0.0*i,
    0.228668406375397 + 0.0*i,
    0.0444678213829959 + 0.0*i,
    0.226586599627151 + 0.0*i,
    0.0434979452919304 + 0.0*i,
    0.223117792321872 + 0.0*i,
    -0.280694865361061 + 0.0*i,
    -0.154823585364624 + 0.0*i,
    0.198109306453957 + 0.0*i,
    -0.123773220878737 + 0.0*i,
    -0.123491149213569 + 0.0*i,
    0.131543473299587 + 0.0*i,
    -0.118906859076379 + 0.0*i,
    -0.0971352641883903 + 0.0*i,
    -0.482508987344986 + 0.0*i,
    0.035518876146083 + 0.0*i,
    0.19918475625057 + 0.0*i,
    0.328611777122157 + 0.0*i,
    0.164796457894094 + 0.0*i,
    -0.138607963610079 + 0.0*i,
    0.263510896100369 + 0.0*i,
    0.31432819970641 + 0.0*i,
    -0.342601302544746 + 0.0*i,
    0.234924521349734 + 0.0*i,
    -0.0647694176468586 + 0.0*i,
    0.30250102483003 + 0.0*i,
    -0.443292932061271 + 0.0*i,
    -0.0953588998593365 + 0.0*i,
    0.0656848427426104 + 0.0*i,
    0.0345644666549046 + 0.0*i,
    0.170543984623968 + 0.0*i,
    0.0177922070736075 + 0.0*i,
    0.365071445132167 + 0.0*i,
    0.186308000478275 + 0.0*i,
    -0.432389967866019 + 0.0*i,
    0.217418091382835 + 0.0*i,
    -0.232341030504365 + 0.0*i,
    -0.182890671505934 + 0.0*i,
    -0.0460091468120049 + 0.0*i,
    0.170199402422058 + 0.0*i,
    0.237510322066315 + 0.0*i,
    0.0848022640268364 + 0.0*i,
    0.463178838220061 + 0.0*i,
    -0.152623389381481 + 0.0*i,
    -0.323257405349224 + 0.0*i,
    -0.188468703204037 + 0.0*i,
    0.149907917037878 + 0.0*i,
    0.277459859418989 + 0.0*i,
    -0.397729442880055 + 0.0*i,
    0.0212333752818469 + 0.0*i,
    0.436714741662002 + 0.0*i,
    -0.0463577640989727 + 0.0*i,
    -0.32630653485869 + 0.0*i,
    -0.0912676255192235 + 0.0*i,
    -0.148725295322895 + 0.0*i,
    -0.357571934122306 + 0.0*i,
    -0.363091454089339 + 0.0*i,
    -0.431715740939932 + 0.0*i,
    0.246528063722913 + 0.0*i,
    -0.133033060155921 + 0.0*i,
    -0.467557419657667 + 0.0*i,
    0.187658063807739 + 0.0*i,
    -0.373648445070625 + 0.0*i,
    -0.0269378340568175 + 0.0*i,
    0.437045275518162 + 0.0*i,
    -0.0118279988006429 + 0.0*i,
    0.337074416321424 + 0.0*i,
    0.241656797956666 + 0.0*i,
    -0.369128606156703 + 0.0*i,
    0.0757598944877771 + 0.0*i,
    -0.100994459902908 + 0.0*i,
    -0.258464219509499 + 0.0*i,
    0.221179379442943 + 0.0*i,
    -0.407670526171424 + 0.0*i,
    -0.300596103886883 + 0.0*i,
    0.20191684526168 + 0.0*i,
    -0.0971082423602791 + 0.0*i,
    -0.172759691127589 + 0.0*i,
    -0.279459591543523 + 0.0*i,
    0.00768400403300486 + 0.0*i,
    0.318024882054953 + 0.0*i,
    -0.0269643743805548 + 0.0*i,
    -0.151581944082764 + 0.0*i,
    0.334278229129688 + 0.0*i,
    0.188045817429514 + 0.0*i,
    -0.347768098733122 + 0.0*i,
    0.0670974541261623 + 0.0*i,
    0.288784094218401 + 0.0*i,
    -0.280554185987356 + 0.0*i,
    -0.176893401137744 + 0.0*i,
    -0.437717078306339 + 0.0*i,
    -0.131790588839126 + 0.0*i,
    -0.0713750349451254 + 0.0*i,
    -0.243012017731483 + 0.0*i,
    -0.367825156391739 + 0.0*i,
    0.00866502300505027 + 0.0*i,
    -0.0778402619511726 + 0.0*i,
    0.176106331638167 + 0.0*i,
    -0.156407889953957 + 0.0*i,
    -0.133321071128482 + 0.0*i,
    0.0121445396223286 + 0.0*i,
    0.332800435053395 + 0.0*i,
    0.194889763122861 + 0.0*i,
    0.2409662721992 + 0.0*i,
    -0.109494771953409 + 0.0*i,
    0.0326508618879303 + 0.0*i,
    0.0541450539561553 + 0.0*i,
    -0.176172175906977 + 0.0*i,
    0.167825251522876 + 0.0*i,
    0.127096556625421 + 0.0*i,
    0.312932018460876 + 0.0*i,
    -0.105555773802697 + 0.0*i,
    -0.0438787312960168 + 0.0*i,
    0.255108273267553 + 0.0*i,
    0.114059302033203 + 0.0*i,
    0.413124844930047 + 0.0*i,
    -0.457012180808316 + 0.0*i,
    0.279146780183237 + 0.0*i,
    0.218643499618229 + 0.0*i,
    -0.243729292205123 + 0.0*i,
    0.199165855284556 + 0.0*i,
    -0.310296643848894 + 0.0*i,
    -0.280979263127124 + 0.0*i,
    0.0500581184044488 + 0.0*i,
    0.148144025973459 + 0.0*i,
    -0.354124178905015 + 0.0*i,
    -0.196990372913894 + 0.0*i,
    0.104083162046725 + 0.0*i,
    0.0859548510086107 + 0.0*i,
    0.115754698498842 + 0.0*i,
    -0.47526357515635 + 0.0*i,
    -0.192267305233875 + 0.0*i,
    0.247271611715301 + 0.0*i,
    0.119335938925382 + 0.0*i,
    -0.198826885367971 + 0.0*i,
    0.146290279735143 + 0.0*i,
    0.036773457298562 + 0.0*i,
    -0.391496785642522 + 0.0*i,
    0.368683891831095 + 0.0*i,
    -0.257921503415488 + 0.0*i,
    -0.065108106375867 + 0.0*i,
    0.264623647038808 + 0.0*i,
    0.0240875633214567 + 0.0*i,
    -0.145316020890377 + 0.0*i,
    0.401036610386514 + 0.0*i,
    0.242684172374997 + 0.0*i,
    -0.354846061352441 + 0.0*i,
    0.418969610100017 + 0.0*i,
    0.147757792158436 + 0.0*i,
    0.404180399526796 + 0.0*i,
    -0.00282387232097331 + 0.0*i,
    -0.0855614506259247 + 0.0*i,
    0.441189518807689 + 0.0*i,
    0.273892697685348 + 0.0*i,
    -0.395724388759673 + 0.0*i,
    -0.122538965470597 + 0.0*i,
    0.0403466862662159 + 0.0*i,
    -0.346153834304413 + 0.0*i,
    0.203843900695248 + 0.0*i,
    -0.0307713914767513 + 0.0*i,
    -0.0864937847788005 + 0.0*i,
    0.0868990350207379 + 0.0*i,
    -0.178121693016221 + 0.0*i,
    -0.128026925235295 + 0.0*i,
    0.0565763487038948 + 0.0*i,
    -0.312972803210872 + 0.0*i,
    -0.378728117232703 + 0.0*i,
    0.290744591470895 + 0.0*i,
    -0.0763289873352815 + 0.0*i,
    0.240967951002847 + 0.0*i,
    0.0310827268507466 + 0.0*i,
    0.24169503556176 + 0.0*i,
    0.00137443263609831 + 0.0*i,
    0.318541329714284 + 0.0*i,
    0.0183108277204907 + 0.0*i,
    -0.0376327907581133 + 0.0*i,
    -0.104335403391488 + 0.0*i,
    -0.241780919253623 + 0.0*i,
    -0.0245394824204435 + 0.0*i,
    -0.357679347635608 + 0.0*i,
    0.0973955703620016 + 0.0*i,
    -0.390739665999965 + 0.0*i,
    0.0998093415782491 + 0.0*i,
    -0.238816790237836 + 0.0*i,
    0.121122464384926 + 0.0*i,
    -0.456984557817521 + 0.0*i,
    -0.193566640877591 + 0.0*i,
    -0.215296512272183 + 0.0*i,
    0.332566715214689 + 0.0*i,
    -0.182883665341519 + 0.0*i,
    0.381599559150746 + 0.0*i,
    -0.302301186862312 + 0.0*i,
    -0.176345094670703 + 0.0*i,
    -0.0544387067554893 + 0.0*i
]);