V:=Matrix(CC,4,89,[
    0.0896999337583891 + 0.0*i,
    -0.0940195141746957 + 0.0*i,
    -0.043651085385932 + 0.0*i,
    0.144217847630987 + 0.0*i,
    -0.264839768871622 + 0.0*i,
    0.144459380132972 + 0.0*i,
    0.032558235490701 + 0.0*i,
    -0.129491748645193 + 0.0*i,
    0.171846989309213 + 0.0*i,
    0.046822304520824 + 0.0*i,
    -0.235395970396553 + 0.0*i,
    0.0822532576973252 + 0.0*i,
    -0.404268027988936 + 0.0*i,
    -0.0972355294294086 + 0.0*i,
    -0.0574401340485952 + 0.0*i,
    -0.299721803609373 + 0.0*i,
    -0.24032991604207 + 0.0*i,
    -0.145313193535252 + 0.0*i,
    -0.00198299587421932 + 0.0*i,
    -0.0390673949187021 + 0.0*i,
    -0.442305182236822 + 0.0*i,
    -0.113316720324539 + 0.0*i,
    0.172296140761228 + 0.0*i,
    -0.395348809703467 + 0.0*i,
    -0.280353578737766 + 0.0*i,
    -0.0892090892126809 + 0.0*i,
    0.0845555050737282 + 0.0*i,
    0.158857018108958 + 0.0*i,
    -0.142732712016865 + 0.0*i,
    0.250731076403409 + 0.0*i,
    -0.171669383478806 + 0.0*i,
    0.278477116442301 + 0.0*i,
    0.0446158031006561 + 0.0*i,
    0.31721635114669 + 0.0*i,
    0.201503186261761 + 0.0*i,
    -0.359857159919903 + 0.0*i,
    0.0225267733023719 + 0.0*i,
    -0.319145148937865 + 0.0*i,
    -0.0764552555148109 + 0.0*i,
    0.253087323945097 + 0.0*i,
    -0.0741753275879125 + 0.0*i,
    -0.42742115379176 + 0.0*i,
    0.137814154911025 + 0.0*i,
    -0.024899490822448 + 0.0*i,
    -0.336265611323994 + 0.0*i,
    -0.384710398340378 + 0.0*i,
    -0.278232501623751 + 0.0*i,
    -0.0707980530705428 + 0.0*i,
    -0.122857332342595 + 0.0*i,
    -0.279627636348113 + 0.0*i,
    -0.122823042155736 + 0.0*i,
    -0.393647844886407 + 0.0*i,
    0.303246380851584 + 0.0*i,
    0.103842416359221 + 0.0*i,
    -0.057446567486445 + 0.0*i,
    -0.112666674640368 + 0.0*i,
    0.317385065547031 + 0.0*i,
    0.04601448174276 + 0.0*i,
    0.116743729956024 + 0.0*i,
    0.334817616780674 + 0.0*i,
    -0.118443864631762 + 0.0*i,
    0.179917851398108 + 0.0*i,
    -0.181325859904371 + 0.0*i,
    -0.175863369391647 + 0.0*i,
    0.369189690009841 + 0.0*i,
    0.173719055205142 + 0.0*i,
    0.0556365317318969 + 0.0*i,
    0.263246246355399 + 0.0*i,
    -0.433321151609714 + 0.0*i,
    -0.118879160884827 + 0.0*i,
    0.0505311738056663 + 0.0*i,
    -0.0375442227932344 + 0.0*i,
    -0.0287638376556468 + 0.0*i,
    -0.374058274402869 + 0.0*i,
    0.276446170085919 + 0.0*i,
    0.253773431099234 + 0.0*i,
    0.272891492078354 + 0.0*i,
    0.237674634047 + 0.0*i,
    0.29982320621984 + 0.0*i,
    -0.41654638922012 + 0.0*i,
    0.191239963675827 + 0.0*i,
    -0.227615101482081 + 0.0*i,
    0.148543429606561 + 0.0*i,
    -0.346454331127597 + 0.0*i,
    -0.196178914635714 + 0.0*i,
    -0.338698619743997 + 0.0*i,
    -0.256432730035713 + 0.0*i,
    0.273764569314647 + 0.0*i,
    0.098893587979968 + 0.0*i,
    0.0880239887671781 + 0.0*i,
    -0.0370238215359514 + 0.0*i,
    0.159756697559109 + 0.0*i,
    0.186084193627155 + 0.0*i,
    0.177782353076521 + 0.0*i,
    0.30622079511497 + 0.0*i,
    0.326653822632695 + 0.0*i,
    0.0690958024228353 + 0.0*i,
    -0.412710977443985 + 0.0*i,
    0.374307594146432 + 0.0*i,
    -0.0445491780422204 + 0.0*i,
    0.353809959870388 + 0.0*i,
    -0.107771390381168 + 0.0*i,
    0.3359357531024 + 0.0*i,
    0.262781096896147 + 0.0*i,
    -0.147747250947317 + 0.0*i,
    0.114434513562434 + 0.0*i,
    0.259879003075498 + 0.0*i,
    0.0714990297877195 + 0.0*i,
    0.0334012246687689 + 0.0*i,
    0.0969274870239886 + 0.0*i,
    -0.139658811886328 + 0.0*i,
    -0.329092512695512 + 0.0*i,
    0.134735879366514 + 0.0*i,
    -0.325313976772311 + 0.0*i,
    0.346433541660752 + 0.0*i,
    -0.174462279245232 + 0.0*i,
    0.403367677187903 + 0.0*i,
    0.136722077499531 + 0.0*i,
    0.314761284979393 + 0.0*i,
    -0.157080110233654 + 0.0*i,
    -0.0471366108704362 + 0.0*i,
    -0.293499723792832 + 0.0*i,
    -0.237252992439493 + 0.0*i,
    0.36135021782128 + 0.0*i,
    -0.128538496196579 + 0.0*i,
    0.398134440224912 + 0.0*i,
    0.0195152612055701 + 0.0*i,
    -0.277534272802198 + 0.0*i,
    -0.0532764103693386 + 0.0*i,
    -0.0935410420759707 + 0.0*i,
    -0.153868232032977 + 0.0*i,
    0.26954493865064 + 0.0*i,
    0.0557307061317869 + 0.0*i,
    -0.306280126675434 + 0.0*i,
    0.0162220849335457 + 0.0*i,
    -0.284175608534496 + 0.0*i,
    0.0522095785489134 + 0.0*i,
    -0.109774443181997 + 0.0*i,
    0.269497505855993 + 0.0*i,
    -0.297903221372263 + 0.0*i,
    0.106303167460784 + 0.0*i,
    -0.0499612870743796 + 0.0*i,
    0.241828924837995 + 0.0*i,
    0.186891103676365 + 0.0*i,
    0.0499467065756342 + 0.0*i,
    0.141229989485314 + 0.0*i,
    0.0988563587071386 + 0.0*i,
    -0.303660148621401 + 0.0*i,
    0.135204848801077 + 0.0*i,
    0.404442295578634 + 0.0*i,
    0.05216910631292 + 0.0*i,
    -0.0956000847642706 + 0.0*i,
    0.127745134149109 + 0.0*i,
    -0.222900655165788 + 0.0*i,
    -0.376005089393679 + 0.0*i,
    -0.212248696431803 + 0.0*i,
    -0.330149711093975 + 0.0*i,
    -0.0734859858107844 + 0.0*i,
    -0.437092605162034 + 0.0*i,
    -0.444843961500861 + 0.0*i,
    0.409197122365933 + 0.0*i,
    0.191835094253316 + 0.0*i,
    0.0682815787507263 + 0.0*i,
    -0.194771046001241 + 0.0*i,
    -0.254175715904393 + 0.0*i,
    -0.266416687104562 + 0.0*i,
    0.186588147111112 + 0.0*i,
    -0.0180228322540357 + 0.0*i,
    0.0274237347300245 + 0.0*i,
    0.222969171452511 + 0.0*i,
    0.236491302076245 + 0.0*i,
    -0.167257043511513 + 0.0*i,
    0.311386372448074 + 0.0*i,
    0.00981050026358838 + 0.0*i,
    -0.209040465301751 + 0.0*i,
    -0.0968028178973674 + 0.0*i,
    0.228116333276156 + 0.0*i,
    0.397171538311415 + 0.0*i,
    0.278924558127356 + 0.0*i,
    0.241184316327696 + 0.0*i,
    -0.322394239408174 + 0.0*i,
    -0.295553773858778 + 0.0*i,
    -0.266558377427653 + 0.0*i,
    -0.269719393894568 + 0.0*i,
    -0.320068792600193 + 0.0*i,
    -0.426562745343389 + 0.0*i,
    -0.0395201596859125 + 0.0*i,
    -0.12901689691712 + 0.0*i,
    -0.0744270908338248 + 0.0*i,
    0.269778907190122 + 0.0*i,
    -0.166734082644364 + 0.0*i,
    0.0321978679595948 + 0.0*i,
    0.317352121212539 + 0.0*i,
    -0.0676494324426874 + 0.0*i,
    0.315581884763205 + 0.0*i,
    0.116628291292967 + 0.0*i,
    0.392760620827825 + 0.0*i,
    0.379903704751269 + 0.0*i,
    -0.0442758295008276 + 0.0*i,
    -0.396894143967251 + 0.0*i,
    0.189118140565867 + 0.0*i,
    0.163501656275507 + 0.0*i,
    -0.110119280946341 + 0.0*i,
    -0.253513691795112 + 0.0*i,
    0.333884325885553 + 0.0*i,
    -0.140866883669569 + 0.0*i,
    0.0699970898784395 + 0.0*i,
    -0.109517179553369 + 0.0*i,
    0.131549803697893 + 0.0*i,
    -0.0560686640226287 + 0.0*i,
    0.126629087486932 + 0.0*i,
    0.0563647591636997 + 0.0*i,
    0.0836344637299243 + 0.0*i,
    0.152068306615215 + 0.0*i,
    0.166846421362876 + 0.0*i,
    0.338311901722268 + 0.0*i,
    -0.134419647141761 + 0.0*i,
    -0.299420217120939 + 0.0*i,
    -0.0757478002387653 + 0.0*i,
    -0.0355665563922735 + 0.0*i,
    0.250791658165033 + 0.0*i,
    0.448041014842911 + 0.0*i,
    0.0664299520799798 + 0.0*i,
    -0.137343570998951 + 0.0*i,
    -0.223752796207705 + 0.0*i,
    0.184809431080716 + 0.0*i,
    0.421688526424135 + 0.0*i,
    0.121248154991441 + 0.0*i,
    -0.0577408636713368 + 0.0*i,
    0.132216729301855 + 0.0*i,
    0.267047534763367 + 0.0*i,
    0.37228954778179 + 0.0*i,
    -0.131693282783475 + 0.0*i,
    -0.231431710366191 + 0.0*i,
    0.268837467332355 + 0.0*i,
    -0.0275318014637514 + 0.0*i,
    -0.302322608426982 + 0.0*i,
    -0.221396366993416 + 0.0*i,
    0.168412950771607 + 0.0*i,
    0.26624655666107 + 0.0*i,
    0.382143755924819 + 0.0*i,
    -0.132789063976902 + 0.0*i,
    0.109878192311062 + 0.0*i,
    0.0430330824738551 + 0.0*i,
    -0.234425681066806 + 0.0*i,
    0.159767795975859 + 0.0*i,
    0.131534072615052 + 0.0*i,
    -0.0574174822316231 + 0.0*i,
    0.113368759569267 + 0.0*i,
    0.0827885771621696 + 0.0*i,
    -0.409998098506831 + 0.0*i,
    -0.263582899517462 + 0.0*i,
    0.0835011865693872 + 0.0*i,
    -0.204138050809998 + 0.0*i,
    -0.253187465131951 + 0.0*i,
    0.236163168460675 + 0.0*i,
    -0.138973905972291 + 0.0*i,
    -0.0158160911297482 + 0.0*i,
    -0.120734293057854 + 0.0*i,
    -0.319555285383222 + 0.0*i,
    -0.400951339700823 + 0.0*i,
    0.0524611434768979 + 0.0*i,
    -0.401458667464139 + 0.0*i,
    -0.0198330484269521 + 0.0*i,
    -0.349946021008789 + 0.0*i,
    -0.29145536405323 + 0.0*i,
    -0.0627852157752482 + 0.0*i,
    0.327560202426481 + 0.0*i,
    -0.383760715443651 + 0.0*i,
    0.284752949126923 + 0.0*i,
    -0.262416635185178 + 0.0*i,
    0.201476936687644 + 0.0*i,
    0.166234117130269 + 0.0*i,
    -0.0809951045497901 + 0.0*i,
    -0.091061305490872 + 0.0*i,
    0.114034738302023 + 0.0*i,
    -0.240405680687178 + 0.0*i,
    -0.392037995927125 + 0.0*i,
    0.0770527967885952 + 0.0*i,
    -0.0903924514633143 + 0.0*i,
    -0.292753451129485 + 0.0*i,
    0.200436842077325 + 0.0*i,
    0.307338675240694 + 0.0*i,
    -0.212503085598569 + 0.0*i,
    0.343693307655887 + 0.0*i,
    -0.228482427418649 + 0.0*i,
    0.247438050770705 + 0.0*i,
    0.036029339903868 + 0.0*i,
    -0.137892689482694 + 0.0*i,
    0.191874259603429 + 0.0*i,
    -0.0955080212303928 + 0.0*i,
    0.129445124621062 + 0.0*i,
    0.140051187629085 + 0.0*i,
    0.257308281720276 + 0.0*i,
    -0.00096614569260655 + 0.0*i,
    -0.403890442851212 + 0.0*i,
    -0.188188982227108 + 0.0*i,
    0.373242976763425 + 0.0*i,
    -0.364986557287795 + 0.0*i,
    -0.328884329855548 + 0.0*i,
    -0.228576843446835 + 0.0*i,
    0.163231791573714 + 0.0*i,
    0.208693697114211 + 0.0*i,
    -0.149985506176448 + 0.0*i,
    0.0367533401587242 + 0.0*i,
    -0.343840652468839 + 0.0*i,
    -0.244880087534378 + 0.0*i,
    0.440559983708731 + 0.0*i,
    0.0756827256829525 + 0.0*i,
    -0.234004329747819 + 0.0*i,
    -0.0353235780434971 + 0.0*i,
    -0.0500171292041579 + 0.0*i,
    0.211490913290422 + 0.0*i,
    -0.0591770881941458 + 0.0*i,
    0.417823796898659 + 0.0*i,
    0.0839313949941206 + 0.0*i,
    -0.222756392479388 + 0.0*i,
    0.323093445585751 + 0.0*i,
    0.176078215409311 + 0.0*i,
    0.227920425145684 + 0.0*i,
    -0.0716449001262529 + 0.0*i,
    -0.398748853634882 + 0.0*i,
    -0.356146756780823 + 0.0*i,
    -0.140005216335667 + 0.0*i,
    0.450212830880483 + 0.0*i,
    0.123669774001419 + 0.0*i,
    0.185833851885532 + 0.0*i,
    0.0609174889539174 + 0.0*i,
    -0.332437005974335 + 0.0*i,
    -0.159401814426292 + 0.0*i,
    0.384579613464954 + 0.0*i,
    0.104233379475128 + 0.0*i,
    -0.181891160753376 + 0.0*i,
    0.333224679038787 + 0.0*i,
    -0.0318135737278979 + 0.0*i,
    -0.0198288971215395 + 0.0*i,
    0.0418347305550719 + 0.0*i,
    0.0114447986700382 + 0.0*i,
    0.170396609519374 + 0.0*i,
    0.087466996154471 + 0.0*i,
    0.00353079685764551 + 0.0*i,
    0.300984592732918 + 0.0*i,
    -0.181848493155837 + 0.0*i,
    0.00422442977359447 + 0.0*i,
    0.253150675792234 + 0.0*i,
    0.319188960128719 + 0.0*i,
    -0.200901125625577 + 0.0*i,
    0.339882445079259 + 0.0*i,
    -0.037479965359493 + 0.0*i,
    -0.0460492756199235 + 0.0*i,
    0.0214828203218807 + 0.0*i,
    0.122578138362588 + 0.0*i,
    -0.243551753203059 + 0.0*i,
    -0.0607526772636459 + 0.0*i,
    -0.049575968282678 + 0.0*i,
    0.188574532232563 + 0.0*i
]);