V:=Matrix(CC,4,135,[
    0.235423734795534 + 0.0*i,
    -0.383053490856029 + 0.0*i,
    -0.0387317437595589 + 0.0*i,
    -0.319251821628776 + 0.0*i,
    0.233155662207145 + 0.0*i,
    0.104574409720662 + 0.0*i,
    -0.0996451141986574 + 0.0*i,
    -0.0646182459103207 + 0.0*i,
    -0.0419059400007371 + 0.0*i,
    -0.309040359677499 + 0.0*i,
    -0.121082028124579 + 0.0*i,
    0.338037486712789 + 0.0*i,
    0.139736869676658 + 0.0*i,
    0.295330436437647 + 0.0*i,
    0.456258551058655 + 0.0*i,
    0.153023438652461 + 0.0*i,
    0.220715694709835 + 0.0*i,
    0.384701351578944 + 0.0*i,
    -0.153499649771285 + 0.0*i,
    0.00492875682122152 + 0.0*i,
    0.471516569778192 + 0.0*i,
    -0.423813625462435 + 0.0*i,
    -0.0450442554198421 + 0.0*i,
    0.0876767758925648 + 0.0*i,
    0.212042584084357 + 0.0*i,
    0.368101069262102 + 0.0*i,
    -0.461664027983258 + 0.0*i,
    -0.0449295505893398 + 0.0*i,
    -0.339827241938676 + 0.0*i,
    0.00781292450709628 + 0.0*i,
    0.324305212343227 + 0.0*i,
    0.261260408598117 + 0.0*i,
    -0.237014288744063 + 0.0*i,
    -0.359716633339133 + 0.0*i,
    0.0880366565641734 + 0.0*i,
    0.469660266073445 + 0.0*i,
    -0.076386155445831 + 0.0*i,
    0.165770071614596 + 0.0*i,
    0.0117648653826202 + 0.0*i,
    -0.202968301879322 + 0.0*i,
    0.355487224520985 + 0.0*i,
    0.091017446398225 + 0.0*i,
    0.275254009354553 + 0.0*i,
    -0.138189956819127 + 0.0*i,
    -0.0533260231033165 + 0.0*i,
    0.223755600067944 + 0.0*i,
    0.234906584253291 + 0.0*i,
    -0.121986829116828 + 0.0*i,
    0.208549340657038 + 0.0*i,
    -0.425192507029773 + 0.0*i,
    -0.116820671189306 + 0.0*i,
    -0.317866573134202 + 0.0*i,
    0.220038190111926 + 0.0*i,
    -0.00648728156551331 + 0.0*i,
    -0.163161139608994 + 0.0*i,
    0.270231044116579 + 0.0*i,
    -0.183090558275618 + 0.0*i,
    -0.0962332997492614 + 0.0*i,
    -0.258506153348629 + 0.0*i,
    -0.188463368422367 + 0.0*i,
    -0.115733644988466 + 0.0*i,
    0.394241733928191 + 0.0*i,
    -0.00961715965414957 + 0.0*i,
    -0.0447195293706288 + 0.0*i,
    0.163165944851237 + 0.0*i,
    0.0208656025065648 + 0.0*i,
    -0.336902029537488 + 0.0*i,
    0.342191571059776 + 0.0*i,
    -0.245210600636763 + 0.0*i,
    0.3146746329433 + 0.0*i,
    -0.190558364827337 + 0.0*i,
    -0.367284635932851 + 0.0*i,
    0.252535447831464 + 0.0*i,
    -0.0666073780893281 + 0.0*i,
    -0.410054461583571 + 0.0*i,
    0.00792394825392311 + 0.0*i,
    -0.0148674148332361 + 0.0*i,
    0.293338071337259 + 0.0*i,
    0.18777558891296 + 0.0*i,
    0.0576926013036544 + 0.0*i,
    0.466614775677528 + 0.0*i,
    0.27119582662464 + 0.0*i,
    0.36247353273142 + 0.0*i,
    -0.427432625632846 + 0.0*i,
    0.031006519904828 + 0.0*i,
    0.136125368104037 + 0.0*i,
    -0.364709641450648 + 0.0*i,
    -0.194339704351098 + 0.0*i,
    0.115293548260549 + 0.0*i,
    -0.377153602661312 + 0.0*i,
    0.227872021306533 + 0.0*i,
    0.130388436888668 + 0.0*i,
    0.225061639253106 + 0.0*i,
    0.0954892736524415 + 0.0*i,
    0.172261687288874 + 0.0*i,
    -0.271935208858237 + 0.0*i,
    -0.311500506879278 + 0.0*i,
    0.0738833850920494 + 0.0*i,
    0.0508998746774751 + 0.0*i,
    -0.154536862001184 + 0.0*i,
    -0.0507436630802326 + 0.0*i,
    -0.0564599372258792 + 0.0*i,
    -0.0695823467623248 + 0.0*i,
    0.0380806415164969 + 0.0*i,
    -0.245004612038238 + 0.0*i,
    -0.223863878053692 + 0.0*i,
    -0.391603844478387 + 0.0*i,
    0.209380405814287 + 0.0*i,
    0.372981447734985 + 0.0*i,
    -0.204185218716591 + 0.0*i,
    -0.0490073241774938 + 0.0*i,
    -0.12031815454261 + 0.0*i,
    -0.312502018567322 + 0.0*i,
    0.356994883268247 + 0.0*i,
    -0.343600207806677 + 0.0*i,
    -0.407875582705638 + 0.0*i,
    -0.256481706892159 + 0.0*i,
    0.124580334986219 + 0.0*i,
    0.38185160514074 + 0.0*i,
    0.306545416842101 + 0.0*i,
    0.137477199317315 + 0.0*i,
    -0.22122411431457 + 0.0*i,
    0.0214529573261846 + 0.0*i,
    -0.414908458445737 + 0.0*i,
    0.155231419476646 + 0.0*i,
    0.251388211824444 + 0.0*i,
    0.00522448564808854 + 0.0*i,
    0.0444318254610386 + 0.0*i,
    0.161363348863627 + 0.0*i,
    -0.205803837633736 + 0.0*i,
    0.0446654359969115 + 0.0*i,
    -0.173288542336485 + 0.0*i,
    -0.143052665046258 + 0.0*i,
    0.287313408529177 + 0.0*i,
    0.15559810155923 + 0.0*i,
    -0.41546533964493 + 0.0*i,
    -0.274424662075143 + 0.0*i,
    -0.413986409135307 + 0.0*i,
    -0.350464108330477 + 0.0*i,
    0.323732387431966 + 0.0*i,
    -0.188930182572181 + 0.0*i,
    0.199830687600786 + 0.0*i,
    -0.144180614708646 + 0.0*i,
    0.251532786045483 + 0.0*i,
    0.147433979291075 + 0.0*i,
    -0.172826238704852 + 0.0*i,
    -0.0404805517183326 + 0.0*i,
    0.46269453637507 + 0.0*i,
    -0.30146331353042 + 0.0*i,
    0.0891089285120669 + 0.0*i,
    -0.192623334366514 + 0.0*i,
    0.133558488709264 + 0.0*i,
    0.027228978586951 + 0.0*i,
    0.318249789647978 + 0.0*i,
    -0.0716151304446357 + 0.0*i,
    -0.0220402366112175 + 0.0*i,
    -0.182257291759216 + 0.0*i,
    -0.131338386594603 + 0.0*i,
    -0.0783031590969864 + 0.0*i,
    -0.255554752778853 + 0.0*i,
    0.235467229863405 + 0.0*i,
    0.0644673755780505 + 0.0*i,
    0.489046622078956 + 0.0*i,
    -0.213495327190917 + 0.0*i,
    0.256960802048208 + 0.0*i,
    -0.000294225339426819 + 0.0*i,
    -0.0975701020383273 + 0.0*i,
    -0.134154354422299 + 0.0*i,
    0.119766144423692 + 0.0*i,
    0.344552151838481 + 0.0*i,
    0.126221721483065 + 0.0*i,
    0.349118214395679 + 0.0*i,
    -0.096763897742287 + 0.0*i,
    0.425757673152057 + 0.0*i,
    -0.177339308613098 + 0.0*i,
    0.0485362062441497 + 0.0*i,
    -0.377705370399646 + 0.0*i,
    0.237537486185421 + 0.0*i,
    -0.316834898573095 + 0.0*i,
    -0.441871611975377 + 0.0*i,
    0.0766682132641782 + 0.0*i,
    -0.0490722329972008 + 0.0*i,
    0.40541810352425 + 0.0*i,
    -0.424247966615181 + 0.0*i,
    0.171207547527946 + 0.0*i,
    0.410703563384952 + 0.0*i,
    0.108661509814324 + 0.0*i,
    0.258732594104186 + 0.0*i,
    -0.434016325499107 + 0.0*i,
    0.074117328674502 + 0.0*i,
    -0.101559930380661 + 0.0*i,
    -0.0234168536627952 + 0.0*i,
    0.287514961412785 + 0.0*i,
    0.378108684943734 + 0.0*i,
    0.107233470797116 + 0.0*i,
    0.306979861221344 + 0.0*i,
    0.0714629303537845 + 0.0*i,
    -0.10949128682325 + 0.0*i,
    -0.266874658119836 + 0.0*i,
    0.331873944366007 + 0.0*i,
    0.041194616414123 + 0.0*i,
    0.30130470152142 + 0.0*i,
    0.236168093853092 + 0.0*i,
    -0.0238355981539301 + 0.0*i,
    -0.285063114119115 + 0.0*i,
    0.028393335325055 + 0.0*i,
    -0.190635682373163 + 0.0*i,
    -0.226475405732576 + 0.0*i,
    -0.134525136154385 + 0.0*i,
    0.206686999485911 + 0.0*i,
    0.0384148617482225 + 0.0*i,
    0.134470375886093 + 0.0*i,
    0.311852752189775 + 0.0*i,
    0.0187693446663285 + 0.0*i,
    0.248912190623311 + 0.0*i,
    -0.0887332035448852 + 0.0*i,
    0.284645866425401 + 0.0*i,
    -0.135308151149352 + 0.0*i,
    -0.0884340081191633 + 0.0*i,
    0.0924943887330565 + 0.0*i,
    -0.155404855008112 + 0.0*i,
    -0.0924199007827149 + 0.0*i,
    -0.430357073829928 + 0.0*i,
    -0.438835156618632 + 0.0*i,
    0.303307582283677 + 0.0*i,
    0.207680141773795 + 0.0*i,
    0.118518672174952 + 0.0*i,
    0.409926848599441 + 0.0*i,
    -0.0105582403838046 + 0.0*i,
    -0.0913055597788377 + 0.0*i,
    0.281452213045691 + 0.0*i,
    -0.129795082528929 + 0.0*i,
    0.380028146314109 + 0.0*i,
    0.272212580394922 + 0.0*i,
    0.337138340429073 + 0.0*i,
    -0.326256955525903 + 0.0*i,
    -0.0494155952918308 + 0.0*i,
    0.230623228694233 + 0.0*i,
    0.325837140073728 + 0.0*i,
    0.244284263004951 + 0.0*i,
    -0.352935240834001 + 0.0*i,
    -0.0621549869509213 + 0.0*i,
    0.37436985336252 + 0.0*i,
    -0.0825059500453732 + 0.0*i,
    0.0226273228234842 + 0.0*i,
    -0.266636513675301 + 0.0*i,
    -0.327924417714079 + 0.0*i,
    -0.0945926153988493 + 0.0*i,
    0.312595205744315 + 0.0*i,
    0.195021491989137 + 0.0*i,
    0.0449474538475597 + 0.0*i,
    0.0941744621880606 + 0.0*i,
    -0.301956540779791 + 0.0*i,
    -0.112998425060443 + 0.0*i,
    -0.321321143301615 + 0.0*i,
    -0.18792654136347 + 0.0*i,
    -0.122724712495929 + 0.0*i,
    0.116542598532912 + 0.0*i,
    0.200302006578457 + 0.0*i,
    0.0127334180846855 + 0.0*i,
    0.122771490316513 + 0.0*i,
    -0.0431806244899931 + 0.0*i,
    0.449166439680012 + 0.0*i,
    -0.166482091305617 + 0.0*i,
    -0.192127298172597 + 0.0*i,
    0.177458731203561 + 0.0*i,
    0.297384016644309 + 0.0*i,
    0.40349813122538 + 0.0*i,
    -0.252775837151087 + 0.0*i,
    0.214862063444696 + 0.0*i,
    -0.00704623773300862 + 0.0*i,
    -0.100197114129523 + 0.0*i,
    0.09552430341104 + 0.0*i,
    0.062562526930125 + 0.0*i,
    -0.177668097286614 + 0.0*i,
    -0.08320473638194 + 0.0*i,
    0.273218293384255 + 0.0*i,
    -0.461430321672845 + 0.0*i,
    0.394004948120116 + 0.0*i,
    -0.0122740738308736 + 0.0*i,
    -0.114713771886226 + 0.0*i,
    -0.173997147684507 + 0.0*i,
    -0.080035776665844 + 0.0*i,
    -0.13816578415013 + 0.0*i,
    -0.116313438904522 + 0.0*i,
    0.127707854970768 + 0.0*i,
    -0.0890558160410486 + 0.0*i,
    0.128752031144774 + 0.0*i,
    0.0199594867606571 + 0.0*i,
    0.0550721820015928 + 0.0*i,
    0.0923931762196866 + 0.0*i,
    -0.0884239453086464 + 0.0*i,
    -0.297506179521453 + 0.0*i,
    -0.430594466675541 + 0.0*i,
    0.331861349171151 + 0.0*i,
    -0.219932759269568 + 0.0*i,
    -0.0773569796944775 + 0.0*i,
    0.00289856310156043 + 0.0*i,
    0.178917437203401 + 0.0*i,
    0.371850652118904 + 0.0*i,
    0.318281061010029 + 0.0*i,
    0.350794674299357 + 0.0*i,
    -0.297521420236945 + 0.0*i,
    -0.30819984400447 + 0.0*i,
    0.343059543728319 + 0.0*i,
    -0.0238160372974664 + 0.0*i,
    -0.323563035688992 + 0.0*i,
    0.430344739189613 + 0.0*i,
    -0.0144794088860831 + 0.0*i,
    -0.369903124307132 + 0.0*i,
    -0.316654975605571 + 0.0*i,
    -0.198841801950818 + 0.0*i,
    0.332317332900091 + 0.0*i,
    -0.228285141249673 + 0.0*i,
    -0.186449048572784 + 0.0*i,
    -0.424968047211606 + 0.0*i,
    -0.201493209751672 + 0.0*i,
    0.0739260128504479 + 0.0*i,
    -0.0966321816048445 + 0.0*i,
    0.0318841507850382 + 0.0*i,
    0.245443016870375 + 0.0*i,
    -0.0905585143533334 + 0.0*i,
    -0.321934552452804 + 0.0*i,
    0.194691872690623 + 0.0*i,
    0.160640636213161 + 0.0*i,
    -0.383240520261286 + 0.0*i,
    -0.289157952956258 + 0.0*i,
    0.225601399785114 + 0.0*i,
    -0.164574410787651 + 0.0*i,
    0.329158372660998 + 0.0*i,
    -0.305606565097401 + 0.0*i,
    -0.261490632358684 + 0.0*i,
    -0.174267189543217 + 0.0*i,
    0.118697618973571 + 0.0*i,
    -0.167342943443241 + 0.0*i,
    -0.490604116477765 + 0.0*i,
    0.194595302667919 + 0.0*i,
    0.150885934469448 + 0.0*i,
    -0.42229039045568 + 0.0*i,
    0.133635596260727 + 0.0*i,
    -0.0684545044924566 + 0.0*i,
    0.0902947307478383 + 0.0*i,
    -0.0729296018178199 + 0.0*i,
    -0.301520309110612 + 0.0*i,
    0.0362947078209105 + 0.0*i,
    -0.164737260526039 + 0.0*i,
    -0.418011670185883 + 0.0*i,
    0.21120481117218 + 0.0*i,
    -0.0373573887598342 + 0.0*i,
    -0.415751286606593 + 0.0*i,
    -0.125620664739598 + 0.0*i,
    0.0278796846860361 + 0.0*i,
    -0.279303599597697 + 0.0*i,
    -0.219027829341498 + 0.0*i,
    -0.275868568749233 + 0.0*i,
    -0.436568743039751 + 0.0*i,
    -0.287783247879612 + 0.0*i,
    -0.0157848819018874 + 0.0*i,
    0.1640523430083 + 0.0*i,
    -0.0116838992563211 + 0.0*i,
    -0.368506615856448 + 0.0*i,
    0.42831568452911 + 0.0*i,
    0.145151095214453 + 0.0*i,
    0.434300366674239 + 0.0*i,
    0.332946007662369 + 0.0*i,
    -0.27457549067699 + 0.0*i,
    -0.189104707427528 + 0.0*i,
    -0.282430792722678 + 0.0*i,
    -0.330181140890121 + 0.0*i,
    -0.101132805280339 + 0.0*i,
    -0.0685089817619744 + 0.0*i,
    0.331140793107557 + 0.0*i,
    -0.0510360596517333 + 0.0*i,
    0.0806762990855455 + 0.0*i,
    0.304180454189098 + 0.0*i,
    -0.0284808817315571 + 0.0*i,
    0.0126072478022291 + 0.0*i,
    -0.230676859153944 + 0.0*i,
    0.213486537226724 + 0.0*i,
    -0.179516843730919 + 0.0*i,
    0.250344642623293 + 0.0*i,
    -0.271215641322586 + 0.0*i,
    0.0224901390357194 + 0.0*i,
    -0.0503725056166991 + 0.0*i,
    -0.199754549199079 + 0.0*i,
    0.124791440268371 + 0.0*i,
    0.348269650208322 + 0.0*i,
    0.228377051384192 + 0.0*i,
    -0.23134398892134 + 0.0*i,
    0.021886766989341 + 0.0*i,
    0.422889073642662 + 0.0*i,
    0.297834178951415 + 0.0*i,
    0.107524549790214 + 0.0*i,
    -0.15440820897696 + 0.0*i,
    -0.435970990873461 + 0.0*i,
    -0.282700181251862 + 0.0*i,
    -0.410203414808717 + 0.0*i,
    0.117791865532487 + 0.0*i,
    0.258816165862291 + 0.0*i,
    -0.125918755182947 + 0.0*i,
    -0.409828960761307 + 0.0*i,
    0.342046547420128 + 0.0*i,
    -0.0934288240589435 + 0.0*i,
    -0.187241462506177 + 0.0*i,
    -0.105890517943082 + 0.0*i,
    -0.098199603141688 + 0.0*i,
    -0.046180725811349 + 0.0*i,
    -0.246827634492422 + 0.0*i,
    -0.0800362491159936 + 0.0*i,
    0.212414326584366 + 0.0*i,
    0.429200693298467 + 0.0*i,
    -0.341896635361274 + 0.0*i,
    0.0275905745376267 + 0.0*i,
    0.153731246768214 + 0.0*i,
    -0.351652004816696 + 0.0*i,
    0.42597287142043 + 0.0*i,
    -0.305471806252599 + 0.0*i,
    0.0519534646685865 + 0.0*i,
    -0.192371900879957 + 0.0*i,
    -0.106429855227221 + 0.0*i,
    0.392516321284557 + 0.0*i,
    -0.411886845648734 + 0.0*i,
    0.27771098822813 + 0.0*i,
    -0.329846235328069 + 0.0*i,
    0.483049526761464 + 0.0*i,
    -0.100343451546114 + 0.0*i,
    0.133404988867169 + 0.0*i,
    -0.367316057607462 + 0.0*i,
    0.200946839216318 + 0.0*i,
    0.128942664142579 + 0.0*i,
    0.0261152823419953 + 0.0*i,
    -0.118245039292286 + 0.0*i,
    -0.0189789424883573 + 0.0*i,
    0.216565341714818 + 0.0*i,
    -0.177032268926159 + 0.0*i,
    0.174859546506734 + 0.0*i,
    -0.190343787658389 + 0.0*i,
    -0.271688131314274 + 0.0*i,
    -0.0134651920792321 + 0.0*i,
    -0.00798417004539374 + 0.0*i,
    0.0881904590579894 + 0.0*i,
    -0.0484935604438083 + 0.0*i,
    0.110713892678864 + 0.0*i,
    -0.232237498892454 + 0.0*i,
    0.175655406961551 + 0.0*i,
    -0.111711345407986 + 0.0*i,
    0.225381258328913 + 0.0*i,
    0.0612252736377479 + 0.0*i,
    0.264767843709032 + 0.0*i,
    0.0955036029652496 + 0.0*i,
    0.0873638369747395 + 0.0*i,
    0.377360964111805 + 0.0*i,
    0.221701933902666 + 0.0*i,
    0.0931593626676596 + 0.0*i,
    0.178044500378853 + 0.0*i,
    0.0709735000234241 + 0.0*i,
    0.340559404374474 + 0.0*i,
    0.124606603532133 + 0.0*i,
    0.12097610595827 + 0.0*i,
    0.426463298937457 + 0.0*i,
    -0.0323155785108659 + 0.0*i,
    0.339599356982088 + 0.0*i,
    0.316498676919883 + 0.0*i,
    -0.0631965890960257 + 0.0*i,
    0.294735145463798 + 0.0*i,
    0.195048064726256 + 0.0*i,
    0.115159142617525 + 0.0*i,
    0.38695769013083 + 0.0*i,
    0.38927983929808 + 0.0*i,
    -0.273416172093379 + 0.0*i,
    -0.00268240508609778 + 0.0*i,
    -0.0135746425054326 + 0.0*i,
    0.211700459160061 + 0.0*i,
    0.0200355263943133 + 0.0*i,
    -0.209997000122644 + 0.0*i,
    0.449480659013389 + 0.0*i,
    -0.248452551246151 + 0.0*i,
    -0.348925978759326 + 0.0*i,
    0.341985579392554 + 0.0*i,
    -0.137728523938707 + 0.0*i,
    0.464672695928047 + 0.0*i,
    -0.199527711839509 + 0.0*i,
    -0.124555883726878 + 0.0*i,
    0.444997584450308 + 0.0*i,
    -0.0177027120505407 + 0.0*i,
    0.010981192328979 + 0.0*i,
    -0.295977632686627 + 0.0*i,
    0.077615946868777 + 0.0*i,
    -0.0565358704342359 + 0.0*i,
    -0.401146540984714 + 0.0*i,
    -0.0107902816264065 + 0.0*i,
    0.116224354001084 + 0.0*i,
    0.143790082753784 + 0.0*i,
    -0.0948917317389103 + 0.0*i,
    0.019497792291556 + 0.0*i,
    -0.0970722375997392 + 0.0*i,
    0.156443955124442 + 0.0*i,
    0.0589368543537693 + 0.0*i,
    -0.206346920821904 + 0.0*i,
    0.304029231597286 + 0.0*i,
    0.0792787192289149 + 0.0*i,
    0.31103237243644 + 0.0*i,
    0.102367118162489 + 0.0*i,
    -0.234654856631165 + 0.0*i,
    0.299248069142036 + 0.0*i,
    0.345653531122731 + 0.0*i,
    -0.355096642923511 + 0.0*i,
    0.427068029318299 + 0.0*i,
    0.354097284851514 + 0.0*i,
    0.154373789643125 + 0.0*i,
    -0.255773939485097 + 0.0*i,
    0.292740427009888 + 0.0*i,
    -0.0789828164584811 + 0.0*i,
    -0.212952515573578 + 0.0*i,
    -0.409137389428667 + 0.0*i,
    -0.325132712819913 + 0.0*i,
    -0.226754824859806 + 0.0*i,
    -0.349223229784153 + 0.0*i,
    -0.097716034417829 + 0.0*i,
    -0.224175563177428 + 0.0*i,
    -0.24604360544872 + 0.0*i,
    -0.209319045186699 + 0.0*i,
    0.289213583637413 + 0.0*i,
    -0.152623203495434 + 0.0*i,
    0.201930724465583 + 0.0*i,
    -0.0688555878682775 + 0.0*i,
    0.301052126170145 + 0.0*i,
    0.465166586438416 + 0.0*i,
    0.00565983369438479 + 0.0*i,
    -0.158112638703453 + 0.0*i,
    0.293904049284049 + 0.0*i,
    -0.247539589617952 + 0.0*i,
    0.147022667612255 + 0.0*i,
    -0.353584780980522 + 0.0*i,
    -0.382332789943041 + 0.0*i,
    0.201261512797221 + 0.0*i,
    -0.09346722623392 + 0.0*i,
    -0.189930093034429 + 0.0*i,
    0.251064914316598 + 0.0*i,
    0.403256383934784 + 0.0*i
]);