V:=Matrix(CC,4,87,[
    -1.20033251059291 + 0.0*i,
    0.772934633018011 + 0.0*i,
    -0.117353587995158 + 0.0*i,
    0.825987518205749 + 0.0*i,
    -0.522904926305225 + 0.0*i,
    0.0395593802112077 + 0.0*i,
    -0.238897381705061 + 0.0*i,
    -0.265701810184639 + 0.0*i,
    -0.367271496536971 + 0.0*i,
    0.290966903930824 + 0.0*i,
    0.526466663153225 + 0.0*i,
    0.387045178883702 + 0.0*i,
    0.585495044056512 + 0.0*i,
    -0.585977637410735 + 0.0*i,
    -0.0901134985394405 + 0.0*i,
    -0.761129707980948 + 0.0*i,
    1.02849912688551 + 0.0*i,
    -0.367493971355433 + 0.0*i,
    0.393637016003038 + 0.0*i,
    0.429360276540459 + 0.0*i,
    0.763447398660981 + 0.0*i,
    0.319932161006762 + 0.0*i,
    -0.609429143767109 + 0.0*i,
    0.245861115947467 + 0.0*i,
    0.661978939317527 + 0.0*i,
    -0.353006232658634 + 0.0*i,
    -0.314444723425048 + 0.0*i,
    -0.0526038878436109 + 0.0*i,
    -0.543968365987064 + 0.0*i,
    0.379294450232007 + 0.0*i,
    0.242284842105933 + 0.0*i,
    -0.0828866869886708 + 0.0*i,
    -0.712668357243723 + 0.0*i,
    0.0356087260470457 + 0.0*i,
    0.574138055348028 + 0.0*i,
    -0.155323200005562 + 0.0*i,
    0.462057126645796 + 0.0*i,
    -0.531214130701575 + 0.0*i,
    0.340232963913017 + 0.0*i,
    0.844636952668548 + 0.0*i,
    -0.212027315669769 + 0.0*i,
    0.760486296605232 + 0.0*i,
    0.505952846034583 + 0.0*i,
    0.26611062725683 + 0.0*i,
    0.0466405150129347 + 0.0*i,
    -0.60858093993095 + 0.0*i,
    0.0785933028870532 + 0.0*i,
    -0.224976281276504 + 0.0*i,
    -0.735679287151085 + 0.0*i,
    0.596297515141229 + 0.0*i,
    0.206552585799171 + 0.0*i,
    0.333587966699191 + 0.0*i,
    -0.286746116400698 + 0.0*i,
    0.360995658779806 + 0.0*i,
    -0.557216195174749 + 0.0*i,
    -0.829340244245772 + 0.0*i,
    -0.086792468236186 + 0.0*i,
    -0.0514492590796605 + 0.0*i,
    -0.62457669660155 + 0.0*i,
    -0.00422434504556918 + 0.0*i,
    0.183968348455624 + 0.0*i,
    1.46793980099923 + 0.0*i,
    -0.00248966522018536 + 0.0*i,
    -0.0786004937771637 + 0.0*i,
    -0.045968246023382 + 0.0*i,
    -0.962436000756529 + 0.0*i,
    0.705487075948199 + 0.0*i,
    -0.154104772373987 + 0.0*i,
    -0.0185765877514967 + 0.0*i,
    0.369943090220327 + 0.0*i,
    0.461398544041146 + 0.0*i,
    -0.0308611954170771 + 0.0*i,
    0.0180400938918252 + 0.0*i,
    0.0582550824322708 + 0.0*i,
    0.643080130997724 + 0.0*i,
    0.00615899960060838 + 0.0*i,
    -0.670815358869188 + 0.0*i,
    0.0521083418879271 + 0.0*i,
    -0.0172359376911017 + 0.0*i,
    -0.310103303047555 + 0.0*i,
    0.74064382841716 + 0.0*i,
    0.404189082895262 + 0.0*i,
    0.62183042271539 + 0.0*i,
    0.41065651278881 + 0.0*i,
    0.228209827325682 + 0.0*i,
    0.806769850806358 + 0.0*i,
    0.44791844994423 + 0.0*i,
    0.849253333496154 + 0.0*i,
    0.344374383489945 + 0.0*i,
    -0.551774495219088 + 0.0*i,
    0.631566254029365 + 0.0*i,
    0.452066403256823 + 0.0*i,
    -0.0133887527170376 + 0.0*i,
    -0.170817107603207 + 0.0*i,
    0.352234356973827 + 0.0*i,
    -0.347159250707197 + 0.0*i,
    -0.863137508667243 + 0.0*i,
    -0.223454548765704 + 0.0*i,
    0.118621847681143 + 0.0*i,
    -0.0905299993773509 + 0.0*i,
    -0.113724192498934 + 0.0*i,
    0.141836064886145 + 0.0*i,
    0.0989101495752948 + 0.0*i,
    -0.0871762603513276 + 0.0*i,
    -0.272608152878303 + 0.0*i,
    -0.299961290629788 + 0.0*i,
    -0.0576812583145324 + 0.0*i,
    -0.22490395325053 + 0.0*i,
    0.17168026386297 + 0.0*i,
    -0.693252916316517 + 0.0*i,
    0.800374998551532 + 0.0*i,
    -0.35320933824578 + 0.0*i,
    0.565189073330636 + 0.0*i,
    -0.61403762265993 + 0.0*i,
    0.183405113486537 + 0.0*i,
    0.180720630165749 + 0.0*i,
    -0.363221731068094 + 0.0*i,
    0.0904935332604523 + 0.0*i,
    0.264492493387472 + 0.0*i,
    -0.481408853800951 + 0.0*i,
    0.65157543250821 + 0.0*i,
    0.428261341162863 + 0.0*i,
    0.529728627299928 + 0.0*i,
    -0.104772689306043 + 0.0*i,
    -1.06149993374218 + 0.0*i,
    -0.211902932880742 + 0.0*i,
    0.504902882279115 + 0.0*i,
    -0.257421145775182 + 0.0*i,
    -0.22382670041711 + 0.0*i,
    -0.11795898928566 + 0.0*i,
    -0.0984347476267465 + 0.0*i,
    -1.15934080824481 + 0.0*i,
    -0.660622122935627 + 0.0*i,
    -1.03952696342158 + 0.0*i,
    0.26547309799262 + 0.0*i,
    0.579088115428976 + 0.0*i,
    0.572317786577616 + 0.0*i,
    0.704399031960271 + 0.0*i,
    -1.0985476006027 + 0.0*i,
    0.12234719454791 + 0.0*i,
    0.348976988369108 + 0.0*i,
    -0.264953041006738 + 0.0*i,
    0.821677555162305 + 0.0*i,
    0.318378560624302 + 0.0*i,
    0.00266723967721464 + 0.0*i,
    0.099289963476804 + 0.0*i,
    0.462800916155655 + 0.0*i,
    0.145375464626902 + 0.0*i,
    0.743183735620393 + 0.0*i,
    0.350917737348513 + 0.0*i,
    -0.870277662583357 + 0.0*i,
    0.484082085627156 + 0.0*i,
    0.632151283935459 + 0.0*i,
    0.81509111094713 + 0.0*i,
    -0.563314549165974 + 0.0*i,
    0.357386049977443 + 0.0*i,
    -0.0912505494013183 + 0.0*i,
    -0.602540042612044 + 0.0*i,
    0.0295345191486832 + 0.0*i,
    0.786355669172838 + 0.0*i,
    -0.630050248104134 + 0.0*i,
    0.00507628432095092 + 0.0*i,
    0.583137384809986 + 0.0*i,
    -0.0630447148906972 + 0.0*i,
    -0.546500156602659 + 0.0*i,
    1.05069513542796 + 0.0*i,
    0.100277473459828 + 0.0*i,
    0.109330944158209 + 0.0*i,
    -0.00994692191063907 + 0.0*i,
    0.695067830177884 + 0.0*i,
    -0.218005173819489 + 0.0*i,
    0.402680815041339 + 0.0*i,
    -0.00177229786508089 + 0.0*i,
    0.53393171809949 + 0.0*i,
    0.0931855808397913 + 0.0*i,
    -0.125848593688121 + 0.0*i,
    -0.796806850730864 + 0.0*i,
    -0.817571915433081 + 0.0*i,
    -0.5933171773693 + 0.0*i,
    -0.0707157870729375 + 0.0*i,
    0.271124679116737 + 0.0*i,
    -0.195081422604921 + 0.0*i,
    0.812631583821883 + 0.0*i,
    -0.189754242696545 + 0.0*i,
    0.171449502312301 + 0.0*i,
    -0.0220354184528434 + 0.0*i,
    0.215905636838294 + 0.0*i,
    0.000393325824501864 + 0.0*i,
    0.273355200296491 + 0.0*i,
    0.0705822201757514 + 0.0*i,
    0.353303633174623 + 0.0*i,
    0.554255899360797 + 0.0*i,
    1.15006637442924 + 0.0*i,
    -0.501339476825636 + 0.0*i,
    0.606786778706033 + 0.0*i,
    0.231704737293897 + 0.0*i,
    0.225431762815836 + 0.0*i,
    -0.174639184040576 + 0.0*i,
    0.312874698145177 + 0.0*i,
    0.901248025757725 + 0.0*i,
    -0.10953035127434 + 0.0*i,
    -0.106994323834334 + 0.0*i,
    -0.305355256920725 + 0.0*i,
    0.751952496240171 + 0.0*i,
    0.0829679346802319 + 0.0*i,
    -0.232002503286684 + 0.0*i,
    -0.609838276006118 + 0.0*i,
    0.593877638082906 + 0.0*i,
    0.49617795495033 + 0.0*i,
    -0.235269123915725 + 0.0*i,
    0.504264599137378 + 0.0*i,
    0.00435427339502053 + 0.0*i,
    -0.156813590646885 + 0.0*i,
    -0.257381878185215 + 0.0*i,
    -0.310024922952958 + 0.0*i,
    -0.175293608297137 + 0.0*i,
    -0.0710601850635054 + 0.0*i,
    -0.202591192759697 + 0.0*i,
    0.0638520395260696 + 0.0*i,
    -0.46720067976629 + 0.0*i,
    1.05298112921608 + 0.0*i,
    0.367572713324748 + 0.0*i,
    -0.772581998581794 + 0.0*i,
    0.344793963094739 + 0.0*i,
    -0.56888097744774 + 0.0*i,
    0.206430007614235 + 0.0*i,
    -0.162971889009453 + 0.0*i,
    -0.272021199927465 + 0.0*i,
    0.00814710919044631 + 0.0*i,
    0.759206853535439 + 0.0*i,
    0.530572560003397 + 0.0*i,
    1.25153488495703 + 0.0*i,
    0.230017712003793 + 0.0*i,
    0.0379282480957528 + 0.0*i,
    0.0613967132073506 + 0.0*i,
    -0.112427613898131 + 0.0*i,
    0.270961970774167 + 0.0*i,
    -0.533772023263761 + 0.0*i,
    0.882404658025365 + 0.0*i,
    0.383109510383015 + 0.0*i,
    -0.251432129019796 + 0.0*i,
    -0.147370955088525 + 0.0*i,
    -0.0233879602406261 + 0.0*i,
    -0.530945041685209 + 0.0*i,
    0.723669277044525 + 0.0*i,
    0.496103619506843 + 0.0*i,
    0.218433516008368 + 0.0*i,
    -0.104501716245441 + 0.0*i,
    -0.342644956549187 + 0.0*i,
    0.181731385347086 + 0.0*i,
    0.541509901182165 + 0.0*i,
    -0.705299109727059 + 0.0*i,
    0.311139352006632 + 0.0*i,
    0.0404575863123325 + 0.0*i,
    0.540462460300909 + 0.0*i,
    -0.779384845864245 + 0.0*i,
    0.250018627674892 + 0.0*i,
    0.126956511962285 + 0.0*i,
    0.155676004221287 + 0.0*i,
    -0.543917972465889 + 0.0*i,
    0.474938701623867 + 0.0*i,
    0.0260637263648893 + 0.0*i,
    -0.973870841231979 + 0.0*i,
    0.165256135074324 + 0.0*i,
    0.685115328491043 + 0.0*i,
    0.69829973145564 + 0.0*i,
    -0.23288831617574 + 0.0*i,
    -0.892827043243539 + 0.0*i,
    1.32463262373173 + 0.0*i,
    0.672464332030778 + 0.0*i,
    0.291256063463164 + 0.0*i,
    0.296103621138831 + 0.0*i,
    0.198860288489156 + 0.0*i,
    0.558153929395225 + 0.0*i,
    -0.232720129379501 + 0.0*i,
    -0.253261012796603 + 0.0*i,
    -0.188580380040389 + 0.0*i,
    0.90589034965493 + 0.0*i,
    0.407979868788693 + 0.0*i,
    -0.244667080016729 + 0.0*i,
    -0.373113568354023 + 0.0*i,
    -0.246114213713054 + 0.0*i,
    0.330863052352807 + 0.0*i,
    0.107306855567364 + 0.0*i,
    -0.16244341659126 + 0.0*i,
    0.328515850313761 + 0.0*i,
    -0.955761822791387 + 0.0*i,
    -0.836658669837444 + 0.0*i,
    0.0302662298273355 + 0.0*i,
    0.917708797912632 + 0.0*i,
    0.733297882409567 + 0.0*i,
    -1.59752336510478 + 0.0*i,
    -0.406648296384705 + 0.0*i,
    -0.441616126307026 + 0.0*i,
    0.718429200475282 + 0.0*i,
    -0.220407425211055 + 0.0*i,
    0.434712036097842 + 0.0*i,
    -0.656243595304787 + 0.0*i,
    -0.0370151041054985 + 0.0*i,
    0.433008464173129 + 0.0*i,
    0.104767507590379 + 0.0*i,
    -0.143197069327945 + 0.0*i,
    0.454837944714466 + 0.0*i,
    0.624987886032818 + 0.0*i,
    0.756022100394799 + 0.0*i,
    -0.407221783868132 + 0.0*i,
    0.748859114875648 + 0.0*i,
    -0.206709640500048 + 0.0*i,
    0.295315157810992 + 0.0*i,
    0.339442178168962 + 0.0*i,
    0.545606131148676 + 0.0*i,
    -0.590839057822778 + 0.0*i,
    0.827879709591213 + 0.0*i,
    -0.261362560568184 + 0.0*i,
    -0.122360115463372 + 0.0*i,
    0.40872416372335 + 0.0*i,
    0.377201663992402 + 0.0*i,
    0.823562065702629 + 0.0*i,
    0.315491701227863 + 0.0*i,
    0.337889311506622 + 0.0*i,
    0.677365702999127 + 0.0*i,
    -0.446117575554179 + 0.0*i,
    -0.0652646059820536 + 0.0*i,
    -0.394621679110875 + 0.0*i,
    -0.0319943754206071 + 0.0*i,
    -0.395870155173823 + 0.0*i,
    0.713135432661807 + 0.0*i,
    -0.375436592728546 + 0.0*i,
    0.689705187757527 + 0.0*i,
    -0.617300021375905 + 0.0*i,
    -0.559268461762156 + 0.0*i,
    0.0216346121481269 + 0.0*i,
    -0.57093262694774 + 0.0*i,
    0.0031267285611694 + 0.0*i,
    0.370453506115759 + 0.0*i,
    -0.302499029537334 + 0.0*i,
    0.357555044690266 + 0.0*i,
    -0.191823594700741 + 0.0*i,
    0.0447136536313154 + 0.0*i,
    -0.203919560010707 + 0.0*i,
    0.748642554619014 + 0.0*i,
    -0.12616782840246 + 0.0*i,
    -0.281555065342614 + 0.0*i,
    -0.763769584949972 + 0.0*i,
    -0.472431926312145 + 0.0*i,
    0.173238447946763 + 0.0*i,
    0.18387035191029 + 0.0*i,
    -0.0725742009874875 + 0.0*i
]);