V:=Matrix(CC,4,85,[
    -0.23138210848963 + 0.0*i,
    0.249308518188113 + 0.0*i,
    0.168801166467293 + 0.0*i,
    -0.394014900865921 + 0.0*i,
    0.216226199753518 + 0.0*i,
    0.170320135173715 + 0.0*i,
    0.305142117776294 + 0.0*i,
    -0.139738292124234 + 0.0*i,
    0.113196448276084 + 0.0*i,
    0.177449842710059 + 0.0*i,
    -0.0210912006934501 + 0.0*i,
    0.206045842689792 + 0.0*i,
    -0.28900106485951 + 0.0*i,
    0.0664657591411526 + 0.0*i,
    -0.18661983364539 + 0.0*i,
    -0.0546715169912815 + 0.0*i,
    0.0895190182176803 + 0.0*i,
    -0.328463001877808 + 0.0*i,
    0.263618326032374 + 0.0*i,
    0.0356882676319881 + 0.0*i,
    0.355041406909044 + 0.0*i,
    0.149043148438309 + 0.0*i,
    0.0383381692527643 + 0.0*i,
    -0.322674329026205 + 0.0*i,
    0.0228549548949787 + 0.0*i,
    -0.161143061756433 + 0.0*i,
    0.201837099392205 + 0.0*i,
    0.179269718635029 + 0.0*i,
    0.0906555607848816 + 0.0*i,
    0.188780252780115 + 0.0*i,
    0.0350417771751388 + 0.0*i,
    0.347170058783649 + 0.0*i,
    0.167351416519527 + 0.0*i,
    0.283531625431026 + 0.0*i,
    0.0252225063486679 + 0.0*i,
    0.323524023182636 + 0.0*i,
    0.0274275421413605 + 0.0*i,
    0.136658328561516 + 0.0*i,
    -0.22384270305142 + 0.0*i,
    -0.0370099749661509 + 0.0*i,
    0.350072560854017 + 0.0*i,
    0.00152564749723248 + 0.0*i,
    0.343355581252205 + 0.0*i,
    -0.130894914369668 + 0.0*i,
    -0.190646590173689 + 0.0*i,
    0.32504529020037 + 0.0*i,
    -0.0170586406746281 + 0.0*i,
    -0.245765646418393 + 0.0*i,
    0.042926257443002 + 0.0*i,
    -0.299979563290381 + 0.0*i,
    0.162019456649172 + 0.0*i,
    -0.139299068028776 + 0.0*i,
    -0.290915152482398 + 0.0*i,
    -0.327244264483318 + 0.0*i,
    -0.236255859743214 + 0.0*i,
    0.298478539838525 + 0.0*i,
    -0.0137925558548252 + 0.0*i,
    0.0914258146422949 + 0.0*i,
    -0.0473046607493424 + 0.0*i,
    0.0717916067007689 + 0.0*i,
    -0.215149021974082 + 0.0*i,
    0.414949764873122 + 0.0*i,
    0.191286496511296 + 0.0*i,
    -0.0401044841780047 + 0.0*i,
    -0.23847287174557 + 0.0*i,
    0.198799202959987 + 0.0*i,
    -0.10068390055563 + 0.0*i,
    0.342352664781655 + 0.0*i,
    0.0907429062624494 + 0.0*i,
    -0.431908787951776 + 0.0*i,
    -0.0483810727781802 + 0.0*i,
    0.357483696100277 + 0.0*i,
    0.0991055448654546 + 0.0*i,
    -0.0103577473364409 + 0.0*i,
    0.425183309360517 + 0.0*i,
    0.351607319018261 + 0.0*i,
    0.14069317361058 + 0.0*i,
    -0.168501757992136 + 0.0*i,
    -0.155718588391543 + 0.0*i,
    0.222066022549125 + 0.0*i,
    -0.327845884357089 + 0.0*i,
    0.0906308784414042 + 0.0*i,
    0.0538963960349069 + 0.0*i,
    -0.149151974021067 + 0.0*i,
    -0.175997560207227 + 0.0*i,
    -0.0490739492705568 + 0.0*i,
    0.342331157851797 + 0.0*i,
    -0.384119562146599 + 0.0*i,
    -0.00617143995907166 + 0.0*i,
    -0.0656047042475407 + 0.0*i,
    -0.376199724951821 + 0.0*i,
    -0.208374664805693 + 0.0*i,
    -0.0535760461845514 + 0.0*i,
    0.19501908195551 + 0.0*i,
    -0.091201908703085 + 0.0*i,
    -0.143054274460297 + 0.0*i,
    0.339316249353943 + 0.0*i,
    0.0911062135629854 + 0.0*i,
    0.107612725585071 + 0.0*i,
    0.158666857305118 + 0.0*i,
    -0.100220126294571 + 0.0*i,
    0.313984681183117 + 0.0*i,
    0.0208576936825162 + 0.0*i,
    -0.333366079767074 + 0.0*i,
    -0.131056518485289 + 0.0*i,
    -0.275655875006231 + 0.0*i,
    -0.3469276056486 + 0.0*i,
    -0.0760161334163947 + 0.0*i,
    -0.025475317799801 + 0.0*i,
    -0.0708960795708407 + 0.0*i,
    0.0176243957555929 + 0.0*i,
    0.161315695161016 + 0.0*i,
    -0.109630515138829 + 0.0*i,
    0.328252111898194 + 0.0*i,
    -0.284585520143899 + 0.0*i,
    -0.219102400928152 + 0.0*i,
    -0.160165999879214 + 0.0*i,
    -0.255254633508835 + 0.0*i,
    0.238108702851627 + 0.0*i,
    -0.0345717261738085 + 0.0*i,
    0.245002439639915 + 0.0*i,
    0.0456492306382654 + 0.0*i,
    0.0615078585062712 + 0.0*i,
    -0.193245448405124 + 0.0*i,
    0.165844002477164 + 0.0*i,
    0.162318119809409 + 0.0*i,
    0.383867987652809 + 0.0*i,
    -0.107914766316109 + 0.0*i,
    0.21379522849901 + 0.0*i,
    0.175529101117362 + 0.0*i,
    -0.244796244824069 + 0.0*i,
    -0.438017398876001 + 0.0*i,
    -0.16491250056847 + 0.0*i,
    0.297275558923007 + 0.0*i,
    0.0309829668168998 + 0.0*i,
    -0.271837722248983 + 0.0*i,
    -0.369992162238532 + 0.0*i,
    0.157353019362859 + 0.0*i,
    -0.256321263536009 + 0.0*i,
    -0.213142302508513 + 0.0*i,
    -0.14633667816394 + 0.0*i,
    -0.159900984784506 + 0.0*i,
    -0.306976443375175 + 0.0*i,
    -0.345007526468386 + 0.0*i,
    -0.233314918380247 + 0.0*i,
    -0.00358088656327732 + 0.0*i,
    0.158250485382522 + 0.0*i,
    0.12798357537848 + 0.0*i,
    -0.338616987972363 + 0.0*i,
    -0.117928635425425 + 0.0*i,
    -0.0368563385639416 + 0.0*i,
    -0.231485165998939 + 0.0*i,
    0.0355971234278839 + 0.0*i,
    -0.0370288674225146 + 0.0*i,
    0.0772143500585214 + 0.0*i,
    -0.179004702387696 + 0.0*i,
    0.0765156707750019 + 0.0*i,
    0.0150325616458846 + 0.0*i,
    -0.27655919511277 + 0.0*i,
    0.00488456111808244 + 0.0*i,
    0.0969549261692489 + 0.0*i,
    -0.0843425113560015 + 0.0*i,
    0.268016534420817 + 0.0*i,
    0.243784482624995 + 0.0*i,
    0.203325345773717 + 0.0*i,
    0.187236938190018 + 0.0*i,
    -0.365599243041312 + 0.0*i,
    -0.411646729962729 + 0.0*i,
    -0.246998070739988 + 0.0*i,
    -0.3860218624678 + 0.0*i,
    0.351434750897478 + 0.0*i,
    -0.0649734096265938 + 0.0*i,
    0.114218080997463 + 0.0*i,
    0.206958724406418 + 0.0*i,
    0.273370582225552 + 0.0*i,
    -0.131307168677859 + 0.0*i,
    0.216548364314392 + 0.0*i,
    -0.318382154767725 + 0.0*i,
    -0.376557625138401 + 0.0*i,
    0.36960608634145 + 0.0*i,
    0.0370173718180846 + 0.0*i,
    0.14099704650024 + 0.0*i,
    0.0854494375662694 + 0.0*i,
    0.403090503511167 + 0.0*i,
    -0.304919766659525 + 0.0*i,
    -0.100348672034882 + 0.0*i,
    -0.0347075082840647 + 0.0*i,
    -0.104910306936884 + 0.0*i,
    0.0160522666352581 + 0.0*i,
    -0.399184842378411 + 0.0*i,
    -0.0324547137618813 + 0.0*i,
    -0.0354809127559666 + 0.0*i,
    0.225464169401266 + 0.0*i,
    0.223584636683885 + 0.0*i,
    0.429948029963574 + 0.0*i,
    0.403208123794813 + 0.0*i,
    -0.169171417238757 + 0.0*i,
    -0.295755651817295 + 0.0*i,
    -0.115920737205831 + 0.0*i,
    -0.249054253508628 + 0.0*i,
    0.341709733141842 + 0.0*i,
    -0.163352581468494 + 0.0*i,
    0.317388653214823 + 0.0*i,
    -0.23003645240441 + 0.0*i,
    0.278145261722847 + 0.0*i,
    -0.0822748182513209 + 0.0*i,
    -0.372716817474586 + 0.0*i,
    -0.222462460480373 + 0.0*i,
    -0.310783460428097 + 0.0*i,
    -0.100658162806083 + 0.0*i,
    0.107855818351369 + 0.0*i,
    0.218202469320417 + 0.0*i,
    0.233577502477895 + 0.0*i,
    0.116542250305158 + 0.0*i,
    -0.0860143755973256 + 0.0*i,
    0.113769812468511 + 0.0*i,
    0.0174592076974735 + 0.0*i,
    0.297531510082099 + 0.0*i,
    0.0724631988027624 + 0.0*i,
    -0.140654732798463 + 0.0*i,
    -0.0539307516651206 + 0.0*i,
    0.17327296274889 + 0.0*i,
    0.297513160723125 + 0.0*i,
    -0.134672054401921 + 0.0*i,
    -0.149300202279382 + 0.0*i,
    0.0611539822693295 + 0.0*i,
    -0.26643975055022 + 0.0*i,
    0.173450139326188 + 0.0*i,
    0.258859335386412 + 0.0*i,
    -0.36068971152412 + 0.0*i,
    -0.379926726795926 + 0.0*i,
    -0.0287059427108784 + 0.0*i,
    0.253892433065166 + 0.0*i,
    -0.220401811191359 + 0.0*i,
    0.0555389304296096 + 0.0*i,
    -0.0272733210757913 + 0.0*i,
    0.235409619264728 + 0.0*i,
    0.251689450728345 + 0.0*i,
    -0.0893664355756241 + 0.0*i,
    -0.0403564856188302 + 0.0*i,
    0.334021276405158 + 0.0*i,
    -0.106971220745159 + 0.0*i,
    0.143675911603964 + 0.0*i,
    -0.207287677138853 + 0.0*i,
    0.00263280901376791 + 0.0*i,
    0.218746826454213 + 0.0*i,
    -0.252087213082248 + 0.0*i,
    0.242257131420117 + 0.0*i,
    -0.188713922349069 + 0.0*i,
    0.0642949688175662 + 0.0*i,
    0.131064195715577 + 0.0*i,
    0.200089995034247 + 0.0*i,
    -0.00831289532707075 + 0.0*i,
    -0.330990035639236 + 0.0*i,
    -0.069782680128131 + 0.0*i,
    -0.149705391570519 + 0.0*i,
    0.122546413915742 + 0.0*i,
    -0.0746264627621768 + 0.0*i,
    -0.00789475570214591 + 0.0*i,
    0.255771027702768 + 0.0*i,
    -0.0460369694728776 + 0.0*i,
    0.109494813210609 + 0.0*i,
    0.270873801412274 + 0.0*i,
    -0.0102844382411977 + 0.0*i,
    0.103401116755074 + 0.0*i,
    -0.412446122952765 + 0.0*i,
    0.116877008049891 + 0.0*i,
    0.293025223434291 + 0.0*i,
    0.115932744366396 + 0.0*i,
    0.200249324240146 + 0.0*i,
    0.422023992911339 + 0.0*i,
    -0.297458474956141 + 0.0*i,
    -0.257769765800414 + 0.0*i,
    0.124007372665083 + 0.0*i,
    0.154146404492113 + 0.0*i,
    -0.0501182448756237 + 0.0*i,
    -0.215939329540905 + 0.0*i,
    -0.363463302222283 + 0.0*i,
    0.190878363856017 + 0.0*i,
    -0.0582175124865015 + 0.0*i,
    0.0699057278178126 + 0.0*i,
    0.321272856863173 + 0.0*i,
    -0.248618054306563 + 0.0*i,
    0.249094489376489 + 0.0*i,
    0.140194547415633 + 0.0*i,
    0.154034738274951 + 0.0*i,
    0.185528521492168 + 0.0*i,
    -0.0257299993823347 + 0.0*i,
    0.0858126823563601 + 0.0*i,
    0.317527831261169 + 0.0*i,
    -0.169541382912976 + 0.0*i,
    -0.21578720591985 + 0.0*i,
    -0.332929723001272 + 0.0*i,
    -0.1038472536389 + 0.0*i,
    -0.388076726479793 + 0.0*i,
    0.166267385628126 + 0.0*i,
    -0.0412881320413901 + 0.0*i,
    -0.0736400969013038 + 0.0*i,
    0.334889278871645 + 0.0*i,
    0.344362271911003 + 0.0*i,
    -0.13187895034758 + 0.0*i,
    -0.0772831444973405 + 0.0*i,
    0.131521107400656 + 0.0*i,
    0.302996310567066 + 0.0*i,
    0.295487057142339 + 0.0*i,
    0.308396837641135 + 0.0*i,
    0.104325872810071 + 0.0*i,
    -0.0160146592909172 + 0.0*i,
    0.0487410116399521 + 0.0*i,
    0.26710171272993 + 0.0*i,
    0.267569723360751 + 0.0*i,
    -0.310530236346229 + 0.0*i,
    -0.246516073682155 + 0.0*i,
    -0.0684253915656422 + 0.0*i,
    -0.061835954546323 + 0.0*i,
    0.0616208792577098 + 0.0*i,
    0.0154177394177517 + 0.0*i,
    0.272676737564958 + 0.0*i,
    -0.175536642956352 + 0.0*i,
    0.354227680361373 + 0.0*i,
    0.394507554586553 + 0.0*i,
    0.272022640566074 + 0.0*i,
    0.0958686849212606 + 0.0*i,
    -0.41557810445287 + 0.0*i,
    -0.0770804703345761 + 0.0*i,
    -0.229156723753864 + 0.0*i,
    0.22411920222829 + 0.0*i,
    0.395428572346804 + 0.0*i,
    0.283859211716046 + 0.0*i,
    -0.148024883247804 + 0.0*i,
    -0.116979878532787 + 0.0*i,
    0.334473534731477 + 0.0*i,
    0.153741563433135 + 0.0*i,
    -0.283277910814425 + 0.0*i,
    0.321703169692039 + 0.0*i,
    0.175694917020808 + 0.0*i,
    0.099642821457084 + 0.0*i,
    0.15368152729873 + 0.0*i,
    0.0973238845738329 + 0.0*i,
    0.10495128003336 + 0.0*i
]);