V:=Matrix(CC,4,87,[
    -0.0546950869914683 + 0.0*i,
    -0.407647790622944 + 0.0*i,
    -0.165794075915005 + 0.0*i,
    0.0317160927518227 + 0.0*i,
    0.162220093448432 + 0.0*i,
    -0.241650900814137 + 0.0*i,
    -0.295262366335625 + 0.0*i,
    0.135887386941707 + 0.0*i,
    0.258795315502675 + 0.0*i,
    0.384842597369261 + 0.0*i,
    0.00863603547498495 + 0.0*i,
    -0.278469702796621 + 0.0*i,
    0.39936150185887 + 0.0*i,
    -0.168607589018446 + 0.0*i,
    0.0310746018360256 + 0.0*i,
    0.169430346521684 + 0.0*i,
    -0.37436148509863 + 0.0*i,
    0.0133900980039208 + 0.0*i,
    0.326389638414272 + 0.0*i,
    0.100966243205289 + 0.0*i,
    0.198604318092561 + 0.0*i,
    0.254635999458054 + 0.0*i,
    0.297358211686148 + 0.0*i,
    -0.150398330309237 + 0.0*i,
    -0.109624735696307 + 0.0*i,
    0.044074348708561 + 0.0*i,
    0.289286604910641 + 0.0*i,
    0.209302413872137 + 0.0*i,
    -0.111797073243887 + 0.0*i,
    -0.0527395278538328 + 0.0*i,
    -0.0303111499738228 + 0.0*i,
    -0.144443656061813 + 0.0*i,
    -0.0204579864536981 + 0.0*i,
    -0.139214326149772 + 0.0*i,
    0.05364851035348 + 0.0*i,
    -0.0502596008602012 + 0.0*i,
    0.0744547699330917 + 0.0*i,
    -0.403555756410395 + 0.0*i,
    0.120330676991232 + 0.0*i,
    -0.10991220742431 + 0.0*i,
    -0.304986391418892 + 0.0*i,
    -0.311288610518952 + 0.0*i,
    -0.0681947072143202 + 0.0*i,
    0.362660334999002 + 0.0*i,
    0.196516348904302 + 0.0*i,
    -0.302472010566808 + 0.0*i,
    0.288348536066231 + 0.0*i,
    -0.183285139935093 + 0.0*i,
    0.176213071070351 + 0.0*i,
    -0.0363470623695081 + 0.0*i,
    0.204106197720662 + 0.0*i,
    0.10988185671301 + 0.0*i,
    0.272829987658333 + 0.0*i,
    -0.0632889465313766 + 0.0*i,
    0.14212095317019 + 0.0*i,
    -0.197293447620841 + 0.0*i,
    -0.128665391045858 + 0.0*i,
    -0.231120341913351 + 0.0*i,
    -0.134464649295304 + 0.0*i,
    -0.179463715521305 + 0.0*i,
    0.128001782822493 + 0.0*i,
    -0.0314547726021009 + 0.0*i,
    -0.0117614680941771 + 0.0*i,
    0.00729035002365151 + 0.0*i,
    -0.187168453497771 + 0.0*i,
    0.373864859700199 + 0.0*i,
    -0.00257562081755467 + 0.0*i,
    0.142747184845192 + 0.0*i,
    -0.24625959222403 + 0.0*i,
    -0.0348949307009175 + 0.0*i,
    0.345283809801534 + 0.0*i,
    -0.244887758601223 + 0.0*i,
    0.296276003345444 + 0.0*i,
    -0.205866632952543 + 0.0*i,
    -0.244375964471263 + 0.0*i,
    0.0295003169243538 + 0.0*i,
    -0.309573155409544 + 0.0*i,
    0.231718945972034 + 0.0*i,
    -0.0182151267257518 + 0.0*i,
    0.313462671293133 + 0.0*i,
    0.120211140569462 + 0.0*i,
    0.303837229663891 + 0.0*i,
    0.0878859947071393 + 0.0*i,
    -0.248564952365634 + 0.0*i,
    -0.13049046967078 + 0.0*i,
    0.143397448818653 + 0.0*i,
    0.328703859231499 + 0.0*i,
    0.157223413108293 + 0.0*i,
    -0.0465113506009207 + 0.0*i,
    0.113512852897931 + 0.0*i,
    0.0684231768269161 + 0.0*i,
    -0.0537809978128505 + 0.0*i,
    -0.0426526360350478 + 0.0*i,
    0.0578071075467148 + 0.0*i,
    0.0295857006431569 + 0.0*i,
    0.268074618019201 + 0.0*i,
    0.0813746479406975 + 0.0*i,
    -0.232220487367204 + 0.0*i,
    -0.111476820231013 + 0.0*i,
    0.0393662400397341 + 0.0*i,
    0.296894109031303 + 0.0*i,
    0.389417418405798 + 0.0*i,
    -0.0285823201417216 + 0.0*i,
    0.175807487963396 + 0.0*i,
    -0.306039469762508 + 0.0*i,
    -0.126073087263684 + 0.0*i,
    0.340313973779443 + 0.0*i,
    0.365144838441626 + 0.0*i,
    0.136024621368859 + 0.0*i,
    0.0121521635150855 + 0.0*i,
    0.0791145282393968 + 0.0*i,
    -0.39504718251339 + 0.0*i,
    -0.325534270432269 + 0.0*i,
    -0.237522080803985 + 0.0*i,
    0.0665353949438472 + 0.0*i,
    -0.245111093319741 + 0.0*i,
    -0.0119983069863796 + 0.0*i,
    0.126436068295327 + 0.0*i,
    0.123654907934015 + 0.0*i,
    0.159568263026684 + 0.0*i,
    0.395004369174555 + 0.0*i,
    -0.392708898561615 + 0.0*i,
    0.271510490355419 + 0.0*i,
    0.288587864225437 + 0.0*i,
    0.0813059007086898 + 0.0*i,
    0.19776585548911 + 0.0*i,
    0.267437490305388 + 0.0*i,
    0.0946998546211053 + 0.0*i,
    -0.145475484683222 + 0.0*i,
    0.325790448602141 + 0.0*i,
    0.212951708969185 + 0.0*i,
    -0.146701353541849 + 0.0*i,
    0.13725442451605 + 0.0*i,
    -0.154038942581236 + 0.0*i,
    -0.180727443332218 + 0.0*i,
    0.184445707015451 + 0.0*i,
    -0.104863301286335 + 0.0*i,
    -0.341407763662441 + 0.0*i,
    0.299856005888424 + 0.0*i,
    -0.0305221361514353 + 0.0*i,
    -0.0666548635579649 + 0.0*i,
    -0.258344207815517 + 0.0*i,
    0.159995585008064 + 0.0*i,
    0.258643167321064 + 0.0*i,
    0.300370097003343 + 0.0*i,
    0.058629711934401 + 0.0*i,
    -0.29131277346124 + 0.0*i,
    0.0967982791375588 + 0.0*i,
    -0.385285662377718 + 0.0*i,
    -0.134027781149545 + 0.0*i,
    -0.14419018819156 + 0.0*i,
    -0.160536756973465 + 0.0*i,
    -0.127297524479999 + 0.0*i,
    0.11395616029205 + 0.0*i,
    0.0611161937995933 + 0.0*i,
    -0.117665050636957 + 0.0*i,
    0.398080484107675 + 0.0*i,
    0.0301696584802543 + 0.0*i,
    -0.322334171227898 + 0.0*i,
    0.20269547899948 + 0.0*i,
    0.246232474627595 + 0.0*i,
    -0.282557284448686 + 0.0*i,
    0.0670467100609559 + 0.0*i,
    0.0149091899890246 + 0.0*i,
    -0.185715164264677 + 0.0*i,
    -0.235664658335698 + 0.0*i,
    0.226855898144163 + 0.0*i,
    0.28646662199417 + 0.0*i,
    -0.28800722273458 + 0.0*i,
    -0.198421144508026 + 0.0*i,
    0.288624714978298 + 0.0*i,
    -0.248992404949682 + 0.0*i,
    -0.0252205528200264 + 0.0*i,
    0.167829304807779 + 0.0*i,
    -0.262385058153314 + 0.0*i,
    0.00675451056552223 + 0.0*i,
    0.318880115054567 + 0.0*i,
    0.255885186620741 + 0.0*i,
    0.383257698226819 + 0.0*i,
    -0.253246791174283 + 0.0*i,
    0.269688507020972 + 0.0*i,
    -0.327373513411129 + 0.0*i,
    0.0571780615942648 + 0.0*i,
    -0.170998943377372 + 0.0*i,
    -0.291358011624865 + 0.0*i,
    -0.0669775402968895 + 0.0*i,
    0.135373332185353 + 0.0*i,
    0.22306216679069 + 0.0*i,
    -0.106681697781172 + 0.0*i,
    0.266650214611089 + 0.0*i,
    -0.105689957796778 + 0.0*i,
    -0.127540996951651 + 0.0*i,
    -0.230015520800156 + 0.0*i,
    0.175515679506934 + 0.0*i,
    0.04981498956954 + 0.0*i,
    -0.314124112404656 + 0.0*i,
    -0.176364200632907 + 0.0*i,
    0.392759278588164 + 0.0*i,
    -0.0282051783551329 + 0.0*i,
    -0.0959064411063521 + 0.0*i,
    -0.0311215449936673 + 0.0*i,
    -0.334508320655523 + 0.0*i,
    0.278034578235161 + 0.0*i,
    0.270779991725305 + 0.0*i,
    0.0708348600385777 + 0.0*i,
    -0.34286272582734 + 0.0*i,
    -0.158740900267899 + 0.0*i,
    0.00642378401704471 + 0.0*i,
    0.0238724047889493 + 0.0*i,
    -0.23783625908163 + 0.0*i,
    -0.305529047452765 + 0.0*i,
    0.0259175061300268 + 0.0*i,
    0.148534257883027 + 0.0*i,
    -0.085473149120453 + 0.0*i,
    -0.275749723702542 + 0.0*i,
    0.157849539299613 + 0.0*i,
    -0.212368066859405 + 0.0*i,
    -0.00535616694170556 + 0.0*i,
    -0.167256994802533 + 0.0*i,
    -0.072777430810569 + 0.0*i,
    0.160394841843126 + 0.0*i,
    -0.0839339616676946 + 0.0*i,
    -0.233376329000953 + 0.0*i,
    0.409246480018265 + 0.0*i,
    0.12276090786195 + 0.0*i,
    -0.064818616407414 + 0.0*i,
    -0.0877024951551431 + 0.0*i,
    -0.394591790555015 + 0.0*i,
    0.0570150005725856 + 0.0*i,
    0.120907045839378 + 0.0*i,
    -0.311092582270748 + 0.0*i,
    0.0888780029613041 + 0.0*i,
    -0.113970362197624 + 0.0*i,
    -0.23969528267524 + 0.0*i,
    -0.145008305233055 + 0.0*i,
    0.145386067569758 + 0.0*i,
    0.370683803369193 + 0.0*i,
    -0.23557828010916 + 0.0*i,
    -0.298127665001986 + 0.0*i,
    -0.103235690608932 + 0.0*i,
    0.035917960017126 + 0.0*i,
    -0.0859676658521287 + 0.0*i,
    -0.329480647623763 + 0.0*i,
    0.177267087726821 + 0.0*i,
    0.210482584663788 + 0.0*i,
    0.132407980714259 + 0.0*i,
    0.145670027368036 + 0.0*i,
    0.269546095481308 + 0.0*i,
    0.175947528994881 + 0.0*i,
    0.395808105876014 + 0.0*i,
    -0.0389283145412423 + 0.0*i,
    0.25583101303775 + 0.0*i,
    -0.356177253050857 + 0.0*i,
    0.151321852033401 + 0.0*i,
    -0.0686538765310098 + 0.0*i,
    -0.0721062794824989 + 0.0*i,
    -0.3056725976499 + 0.0*i,
    -0.158895756818473 + 0.0*i,
    -0.252499879354054 + 0.0*i,
    0.0724848437825875 + 0.0*i,
    -0.0420071237079339 + 0.0*i,
    -0.289681449982554 + 0.0*i,
    0.12062488790892 + 0.0*i,
    -0.191541068446188 + 0.0*i,
    0.334534513076565 + 0.0*i,
    -0.0646088915662071 + 0.0*i,
    -0.245615308648569 + 0.0*i,
    0.139024999737595 + 0.0*i,
    -0.242293408078158 + 0.0*i,
    -0.186050500833683 + 0.0*i,
    0.0351947708321231 + 0.0*i,
    0.174004041573774 + 0.0*i,
    0.295882282232335 + 0.0*i,
    0.079416307204119 + 0.0*i,
    -0.129221224840935 + 0.0*i,
    -0.100297577119468 + 0.0*i,
    -0.290954840105605 + 0.0*i,
    0.0508492122038595 + 0.0*i,
    -0.270839083869507 + 0.0*i,
    0.0884520864252227 + 0.0*i,
    -0.142901972908929 + 0.0*i,
    0.113823230786195 + 0.0*i,
    -0.0393767696325106 + 0.0*i,
    0.247062674243527 + 0.0*i,
    0.0119036013669869 + 0.0*i,
    0.0756105344882905 + 0.0*i,
    0.253346969758611 + 0.0*i,
    0.19768053881187 + 0.0*i,
    0.131540060642403 + 0.0*i,
    0.185019319294964 + 0.0*i,
    -0.32532259963351 + 0.0*i,
    0.401302575822815 + 0.0*i,
    -0.1605333247049 + 0.0*i,
    0.352092867232905 + 0.0*i,
    -0.0934588252444821 + 0.0*i,
    -0.137745255530397 + 0.0*i,
    0.216465751761145 + 0.0*i,
    0.0265045686350599 + 0.0*i,
    -0.108461488596145 + 0.0*i,
    -0.319288089462721 + 0.0*i,
    -0.304559513467385 + 0.0*i,
    -0.0408523154510081 + 0.0*i,
    0.211795022975031 + 0.0*i,
    -0.144993597421143 + 0.0*i,
    0.00543903253871311 + 0.0*i,
    -0.303545621404803 + 0.0*i,
    0.259948898159362 + 0.0*i,
    0.219703311933799 + 0.0*i,
    -0.330369794421401 + 0.0*i,
    0.247740522840906 + 0.0*i,
    0.0530626403334271 + 0.0*i,
    -0.0934489362552786 + 0.0*i,
    0.279269453372052 + 0.0*i,
    -0.299354949205297 + 0.0*i,
    -0.14024809708757 + 0.0*i,
    -0.301608371585364 + 0.0*i,
    -0.328380011272039 + 0.0*i,
    -0.0061003133301829 + 0.0*i,
    0.174225005183436 + 0.0*i,
    -0.384702995938743 + 0.0*i,
    -0.000656639883088206 + 0.0*i,
    -0.373313806584015 + 0.0*i,
    -0.0845282394379747 + 0.0*i,
    -0.166113155394389 + 0.0*i,
    0.30546545838331 + 0.0*i,
    0.179545000772452 + 0.0*i,
    -0.117080645163319 + 0.0*i,
    -0.410296417702578 + 0.0*i,
    0.389383414218867 + 0.0*i,
    -0.0359978306181301 + 0.0*i,
    0.0530178860944666 + 0.0*i,
    -0.149407244671461 + 0.0*i,
    0.0729791979735563 + 0.0*i,
    0.152944078841513 + 0.0*i,
    0.0652330981194263 + 0.0*i,
    -0.107452603306041 + 0.0*i,
    -0.13039756988886 + 0.0*i,
    -0.289314306046611 + 0.0*i,
    -0.164040812896593 + 0.0*i,
    -0.000918952574862333 + 0.0*i,
    -0.061084173825139 + 0.0*i,
    -0.291451149567038 + 0.0*i,
    0.00575848938026318 + 0.0*i,
    -0.201379259506361 + 0.0*i,
    -0.0907668938652325 + 0.0*i,
    -0.201148946472639 + 0.0*i,
    -0.391761827133426 + 0.0*i,
    0.211267246947883 + 0.0*i
]);