V:=Matrix(CC,4,87,[
    -0.206460719671256 + 0.0*i,
    -0.196182229932439 + 0.0*i,
    -0.157391670314282 + 0.0*i,
    -0.346040653407242 + 0.0*i,
    0.0404971269261591 + 0.0*i,
    0.188018248748675 + 0.0*i,
    -0.190780673677659 + 0.0*i,
    0.08676415702909 + 0.0*i,
    0.0328620452491444 + 0.0*i,
    -0.213892320983466 + 0.0*i,
    -0.294925907064885 + 0.0*i,
    -0.372423791440321 + 0.0*i,
    -0.341435106031918 + 0.0*i,
    0.0471453306293639 + 0.0*i,
    -0.370342505516842 + 0.0*i,
    -0.0620143939303174 + 0.0*i,
    -0.137962661167692 + 0.0*i,
    0.309757960113232 + 0.0*i,
    0.0338585095099094 + 0.0*i,
    -0.095794130402221 + 0.0*i,
    -0.336450138150969 + 0.0*i,
    -0.362930052997626 + 0.0*i,
    0.0608243849932983 + 0.0*i,
    0.1650526723639 + 0.0*i,
    -0.177612151631698 + 0.0*i,
    0.267661674277877 + 0.0*i,
    -0.40091939481217 + 0.0*i,
    0.124746671720288 + 0.0*i,
    0.198349683963877 + 0.0*i,
    0.156746780243026 + 0.0*i,
    0.0063151957004192 + 0.0*i,
    -0.11186085753362 + 0.0*i,
    0.213843428986366 + 0.0*i,
    0.432659022876549 + 0.0*i,
    -0.184751077845356 + 0.0*i,
    -0.142232229879186 + 0.0*i,
    -0.0421550982083172 + 0.0*i,
    0.231517091671186 + 0.0*i,
    -0.0163240622319004 + 0.0*i,
    0.0567864083521601 + 0.0*i,
    0.103087345652161 + 0.0*i,
    -0.0222815811304811 + 0.0*i,
    0.0273221191211396 + 0.0*i,
    -0.287652115745711 + 0.0*i,
    -0.0183160912570097 + 0.0*i,
    0.312958626735015 + 0.0*i,
    0.196165648137742 + 0.0*i,
    0.209909546846363 + 0.0*i,
    0.157031913226456 + 0.0*i,
    -0.208231862914491 + 0.0*i,
    0.00842431914069481 + 0.0*i,
    -0.269997750328672 + 0.0*i,
    -0.371952683270105 + 0.0*i,
    0.158203048762241 + 0.0*i,
    0.110616077666123 + 0.0*i,
    -0.172603658237348 + 0.0*i,
    -0.105690906921494 + 0.0*i,
    -0.226349337842273 + 0.0*i,
    -0.374071099609041 + 0.0*i,
    0.10026971406765 + 0.0*i,
    0.243937717039381 + 0.0*i,
    -0.0110393589196217 + 0.0*i,
    -0.0325231160560553 + 0.0*i,
    -0.0467676298670978 + 0.0*i,
    -0.240704204650273 + 0.0*i,
    -0.227284374577907 + 0.0*i,
    -0.429481492636998 + 0.0*i,
    -0.31256808977226 + 0.0*i,
    0.34166690810376 + 0.0*i,
    -0.301058761785605 + 0.0*i,
    0.429256357943213 + 0.0*i,
    0.291399261882593 + 0.0*i,
    -0.190898761455114 + 0.0*i,
    -0.434498650168034 + 0.0*i,
    0.201590339988112 + 0.0*i,
    0.0162692043334778 + 0.0*i,
    -0.131338312613239 + 0.0*i,
    0.0815846958105936 + 0.0*i,
    0.209689274950212 + 0.0*i,
    0.329382714216544 + 0.0*i,
    -0.0146994127085162 + 0.0*i,
    0.0450280836804572 + 0.0*i,
    0.341463580184187 + 0.0*i,
    -0.231959987212735 + 0.0*i,
    0.322036399236838 + 0.0*i,
    -0.0636656374538438 + 0.0*i,
    -0.144837424749595 + 0.0*i,
    -0.14664003087852 + 0.0*i,
    -0.365810844064593 + 0.0*i,
    -0.425067608927072 + 0.0*i,
    0.266137618630027 + 0.0*i,
    0.397851829152265 + 0.0*i,
    -0.137492361397092 + 0.0*i,
    -0.259992113998019 + 0.0*i,
    -0.140859303457313 + 0.0*i,
    0.266898348026325 + 0.0*i,
    0.309489273039023 + 0.0*i,
    0.121957271260515 + 0.0*i,
    -0.131480625854602 + 0.0*i,
    -0.147722429026529 + 0.0*i,
    -0.443078934324673 + 0.0*i,
    -0.271642980586958 + 0.0*i,
    0.269553470171214 + 0.0*i,
    0.368318460404864 + 0.0*i,
    -0.0335349795528544 + 0.0*i,
    0.408252777093806 + 0.0*i,
    -0.0907963972206693 + 0.0*i,
    -0.00611377666140508 + 0.0*i,
    -0.0237028490842549 + 0.0*i,
    0.327926402892366 + 0.0*i,
    0.12249230859038 + 0.0*i,
    0.392849986510223 + 0.0*i,
    -0.190622685837275 + 0.0*i,
    0.206962101700993 + 0.0*i,
    0.0579884104781834 + 0.0*i,
    0.15027682615392 + 0.0*i,
    -0.074793813156304 + 0.0*i,
    -0.111318219812904 + 0.0*i,
    -0.276933423686271 + 0.0*i,
    0.0170851784081038 + 0.0*i,
    0.0804907990431314 + 0.0*i,
    0.102079792566373 + 0.0*i,
    -0.122975186774929 + 0.0*i,
    0.419869732498702 + 0.0*i,
    -0.38069754252545 + 0.0*i,
    -0.144144664099845 + 0.0*i,
    0.409474162394424 + 0.0*i,
    0.337434249560249 + 0.0*i,
    -0.211889008546462 + 0.0*i,
    -0.0986724127731116 + 0.0*i,
    0.058870862354667 + 0.0*i,
    0.0977000730001517 + 0.0*i,
    0.1854668684614 + 0.0*i,
    -0.125878674420576 + 0.0*i,
    -0.261570880902934 + 0.0*i,
    -0.116296576591613 + 0.0*i,
    -0.279701545306929 + 0.0*i,
    0.152677919132006 + 0.0*i,
    -0.112786318597737 + 0.0*i,
    -0.173541542794614 + 0.0*i,
    0.262250685622324 + 0.0*i,
    -0.278886627779511 + 0.0*i,
    -0.259423927903361 + 0.0*i,
    -0.0330364798076961 + 0.0*i,
    0.361299098511326 + 0.0*i,
    0.0827197215097933 + 0.0*i,
    -0.320552808370642 + 0.0*i,
    0.0442596641023736 + 0.0*i,
    -0.0959994213837077 + 0.0*i,
    0.302495245532294 + 0.0*i,
    0.396129315503938 + 0.0*i,
    -0.362876623597958 + 0.0*i,
    0.227192001588465 + 0.0*i,
    0.0635624851991767 + 0.0*i,
    0.222763293119434 + 0.0*i,
    -0.105612935655332 + 0.0*i,
    -0.272082076384212 + 0.0*i,
    -0.0832138517470245 + 0.0*i,
    0.277180982283765 + 0.0*i,
    0.246916178380971 + 0.0*i,
    -0.0731861875967048 + 0.0*i,
    0.098303881916777 + 0.0*i,
    0.0371137093142274 + 0.0*i,
    0.105967714458856 + 0.0*i,
    -0.0186327844266417 + 0.0*i,
    0.0309026507956967 + 0.0*i,
    -0.265397207971044 + 0.0*i,
    -0.281330982050639 + 0.0*i,
    0.11892295078367 + 0.0*i,
    -0.129235804720479 + 0.0*i,
    -0.314843520616788 + 0.0*i,
    0.0668755956663181 + 0.0*i,
    0.281681664625712 + 0.0*i,
    0.203896198980379 + 0.0*i,
    0.0671341491040912 + 0.0*i,
    0.0436638015123766 + 0.0*i,
    -0.0981067988079017 + 0.0*i,
    0.0751207367721433 + 0.0*i,
    0.108926162836661 + 0.0*i,
    0.26294631339125 + 0.0*i,
    -0.18634422144457 + 0.0*i,
    -0.401199920307781 + 0.0*i,
    -0.345117081894005 + 0.0*i,
    -0.23950238821619 + 0.0*i,
    0.0815990769626366 + 0.0*i,
    -0.015479669916486 + 0.0*i,
    0.216168705753864 + 0.0*i,
    -0.0106274002296059 + 0.0*i,
    0.0128980769198212 + 0.0*i,
    0.246226225567377 + 0.0*i,
    -0.0535312949036756 + 0.0*i,
    0.029243450737656 + 0.0*i,
    -0.191388445786112 + 0.0*i,
    -0.314436379007043 + 0.0*i,
    0.20733433247388 + 0.0*i,
    -0.204610450374913 + 0.0*i,
    0.319839852895316 + 0.0*i,
    0.405713539250687 + 0.0*i,
    0.170320316645051 + 0.0*i,
    -0.24804276840795 + 0.0*i,
    -0.0938440197744769 + 0.0*i,
    -0.314269413114075 + 0.0*i,
    0.184223366186781 + 0.0*i,
    -0.202801154268895 + 0.0*i,
    -0.439106622582892 + 0.0*i,
    -0.306230900620898 + 0.0*i,
    -0.396448458385279 + 0.0*i,
    -0.10554792041919 + 0.0*i,
    -0.231789632969898 + 0.0*i,
    0.283803522036181 + 0.0*i,
    -0.0495945800670886 + 0.0*i,
    0.101775686215176 + 0.0*i,
    0.384706789041545 + 0.0*i,
    -0.131586646002397 + 0.0*i,
    0.0584662700166462 + 0.0*i,
    -0.0172252170906218 + 0.0*i,
    -0.243548796693144 + 0.0*i,
    0.238793170920085 + 0.0*i,
    -0.188168888785758 + 0.0*i,
    -0.269715060947771 + 0.0*i,
    0.380664397029719 + 0.0*i,
    0.0386603160556655 + 0.0*i,
    0.392959294338202 + 0.0*i,
    0.199260507913688 + 0.0*i,
    -0.160051540516225 + 0.0*i,
    -0.349424986392616 + 0.0*i,
    0.0316578112326819 + 0.0*i,
    -0.34345027709304 + 0.0*i,
    -0.155506218613954 + 0.0*i,
    0.219041400054915 + 0.0*i,
    -0.372705524575318 + 0.0*i,
    -0.00217067703397826 + 0.0*i,
    0.263233678916769 + 0.0*i,
    0.307257162489536 + 0.0*i,
    0.109251065710506 + 0.0*i,
    0.445524340643367 + 0.0*i,
    -0.169423388222372 + 0.0*i,
    0.184990304704603 + 0.0*i,
    0.144381466977843 + 0.0*i,
    0.0268973796737816 + 0.0*i,
    0.0513573601978723 + 0.0*i,
    -0.194914279355023 + 0.0*i,
    0.28951987579277 + 0.0*i,
    -0.15601646857942 + 0.0*i,
    -0.00891401071959758 + 0.0*i,
    0.212634910185694 + 0.0*i,
    0.335432712539679 + 0.0*i,
    -0.138551821184326 + 0.0*i,
    -0.107384776413156 + 0.0*i,
    -0.379798546455953 + 0.0*i,
    0.0166507837782395 + 0.0*i,
    0.04508460539813 + 0.0*i,
    -0.38924588792053 + 0.0*i,
    -0.153683689327873 + 0.0*i,
    -0.00918501994976237 + 0.0*i,
    0.109931252971927 + 0.0*i,
    0.126292034218879 + 0.0*i,
    0.0184065569414884 + 0.0*i,
    0.257068096519844 + 0.0*i,
    -0.229849798355518 + 0.0*i,
    0.327007874817222 + 0.0*i,
    0.377266030973559 + 0.0*i,
    0.160207805781339 + 0.0*i,
    0.0075685654060755 + 0.0*i,
    0.114842841436945 + 0.0*i,
    0.190906153518726 + 0.0*i,
    0.290926731119276 + 0.0*i,
    -0.268133799700459 + 0.0*i,
    -0.147321307075722 + 0.0*i,
    -0.150354361958485 + 0.0*i,
    -0.119650105086744 + 0.0*i,
    -0.30698518599962 + 0.0*i,
    -0.239646733601189 + 0.0*i,
    -0.166264774933066 + 0.0*i,
    -0.0158428405077498 + 0.0*i,
    -0.0348615554281066 + 0.0*i,
    0.274769638307802 + 0.0*i,
    0.23284965818417 + 0.0*i,
    -0.333967034555029 + 0.0*i,
    -0.0544103048715718 + 0.0*i,
    -0.320557904803623 + 0.0*i,
    0.237831521092808 + 0.0*i,
    0.195700921800223 + 0.0*i,
    0.0549381129605762 + 0.0*i,
    0.0924311702029728 + 0.0*i,
    0.0773222776543103 + 0.0*i,
    -0.195379712399497 + 0.0*i,
    -0.0439293258583839 + 0.0*i,
    0.302144826856887 + 0.0*i,
    -0.342480003834244 + 0.0*i,
    -0.376531888245558 + 0.0*i,
    0.0797017206506083 + 0.0*i,
    0.181545347750562 + 0.0*i,
    0.105292513225802 + 0.0*i,
    -0.0201035431020122 + 0.0*i,
    0.336768800014931 + 0.0*i,
    0.293340611642428 + 0.0*i,
    -0.163579515761016 + 0.0*i,
    -0.0468372562736279 + 0.0*i,
    -0.196788319716963 + 0.0*i,
    0.149389524061461 + 0.0*i,
    -0.284829226364455 + 0.0*i,
    0.395632921964765 + 0.0*i,
    0.379694826177822 + 0.0*i,
    -0.25834582044637 + 0.0*i,
    -0.406499007177855 + 0.0*i,
    -0.0704883773363162 + 0.0*i,
    -0.107960787184246 + 0.0*i,
    0.304777567534088 + 0.0*i,
    0.124780414183326 + 0.0*i,
    0.223021500473321 + 0.0*i,
    0.391176923680313 + 0.0*i,
    0.0759289552202043 + 0.0*i,
    0.206684180125386 + 0.0*i,
    0.0576659301618646 + 0.0*i,
    0.305338821233975 + 0.0*i,
    -0.25030788145585 + 0.0*i,
    0.244155785371019 + 0.0*i,
    -0.152561117687432 + 0.0*i,
    -0.00296892444083717 + 0.0*i,
    -0.0700686593535449 + 0.0*i,
    0.370460694171995 + 0.0*i,
    0.0124710504542079 + 0.0*i,
    -0.29818369069673 + 0.0*i,
    -0.138189731319888 + 0.0*i,
    -0.0174354041825713 + 0.0*i,
    0.332210466421011 + 0.0*i,
    -0.139962016662786 + 0.0*i,
    0.176412494604172 + 0.0*i,
    0.0359869112035319 + 0.0*i,
    0.160520392980783 + 0.0*i,
    -0.138657852632645 + 0.0*i,
    0.0694689426065943 + 0.0*i,
    -0.00620873067392395 + 0.0*i,
    -0.0165749340612573 + 0.0*i,
    0.388928804637252 + 0.0*i,
    -0.245494387019419 + 0.0*i,
    -0.417826815416285 + 0.0*i,
    -0.452389047844141 + 0.0*i,
    -0.122697857338244 + 0.0*i,
    0.119214244760769 + 0.0*i,
    -0.363501629370039 + 0.0*i,
    0.419926392216386 + 0.0*i,
    0.242285443065251 + 0.0*i,
    -0.242159901161857 + 0.0*i,
    0.193284861704996 + 0.0*i,
    0.269383922968889 + 0.0*i,
    -0.201186871763395 + 0.0*i
]);