V:=Matrix(CC,4,80,[
    0.469940216802939 + 0.0*i,
    -0.26234921809626 + 0.0*i,
    -0.088950551080788 + 0.0*i,
    -0.726156726592835 + 0.0*i,
    -0.790403995594449 + 0.0*i,
    -0.12809183161229 + 0.0*i,
    -1.07750775550353 + 0.0*i,
    -0.227355890551891 + 0.0*i,
    -0.295479216809281 + 0.0*i,
    -0.300364838749006 + 0.0*i,
    0.333480685988393 + 0.0*i,
    -0.773934693978306 + 0.0*i,
    -0.0303044421427485 + 0.0*i,
    -0.17195662692902 + 0.0*i,
    0.300655547160054 + 0.0*i,
    -0.515467444299264 + 0.0*i,
    0.799842041913195 + 0.0*i,
    0.0913279350210309 + 0.0*i,
    -0.36504233797456 + 0.0*i,
    -0.584159590814215 + 0.0*i,
    -0.222876107259358 + 0.0*i,
    0.91641427568876 + 0.0*i,
    0.218451861191489 + 0.0*i,
    -0.647806431253033 + 0.0*i,
    -0.247315223445393 + 0.0*i,
    0.63625506663725 + 0.0*i,
    0.510744392670019 + 0.0*i,
    -0.399248494961667 + 0.0*i,
    0.273018682687344 + 0.0*i,
    0.978006285953656 + 0.0*i,
    -0.0846486526426457 + 0.0*i,
    0.331560461543282 + 0.0*i,
    -0.536800871590687 + 0.0*i,
    0.342024263801802 + 0.0*i,
    -0.102884764144847 + 0.0*i,
    0.0869814497045787 + 0.0*i,
    0.304588983617322 + 0.0*i,
    -0.245776153216774 + 0.0*i,
    -0.298448315219513 + 0.0*i,
    0.867436677927104 + 0.0*i,
    -0.0964148374582899 + 0.0*i,
    0.211688558892133 + 0.0*i,
    -0.0112593025304125 + 0.0*i,
    0.0807446954371834 + 0.0*i,
    0.606376942784251 + 0.0*i,
    -0.0307159129745604 + 0.0*i,
    0.52135094839642 + 0.0*i,
    -0.791382752127973 + 0.0*i,
    -0.2802073616613 + 0.0*i,
    0.415150121025494 + 0.0*i,
    -0.354866814456314 + 0.0*i,
    0.246838936053726 + 0.0*i,
    -0.064146761407774 + 0.0*i,
    0.811082670011287 + 0.0*i,
    0.622428553804367 + 0.0*i,
    0.0391887947389781 + 0.0*i,
    0.0178535711530588 + 0.0*i,
    -0.930023061352904 + 0.0*i,
    0.325493246422069 + 0.0*i,
    -1.06070460394436 + 0.0*i,
    0.419295006524851 + 0.0*i,
    0.691950837583793 + 0.0*i,
    0.157000365817879 + 0.0*i,
    -0.552371799381219 + 0.0*i,
    -0.475825978059838 + 0.0*i,
    0.132360164733597 + 0.0*i,
    -0.256147200169187 + 0.0*i,
    1.08567850411437 + 0.0*i,
    0.316918528552218 + 0.0*i,
    0.430349229856178 + 0.0*i,
    0.39998211460844 + 0.0*i,
    0.589679599246613 + 0.0*i,
    0.538950755319323 + 0.0*i,
    -0.128565489983925 + 0.0*i,
    -0.0651084714234928 + 0.0*i,
    -0.464294481216346 + 0.0*i,
    -1.18826264518625 + 0.0*i,
    -0.343778953494339 + 0.0*i,
    -0.039337139734459 + 0.0*i,
    0.155918308350601 + 0.0*i,
    0.634302814645827 + 0.0*i,
    0.476173584811656 + 0.0*i,
    0.908182111999446 + 0.0*i,
    0.565632999106302 + 0.0*i,
    -0.243097601110755 + 0.0*i,
    0.0401425220482258 + 0.0*i,
    -0.72180313370044 + 0.0*i,
    1.58515944616853 + 0.0*i,
    0.228071242514971 + 0.0*i,
    0.96935543473138 + 0.0*i,
    -0.730117887315207 + 0.0*i,
    -0.545126693143486 + 0.0*i,
    0.52227809820352 + 0.0*i,
    -0.863553530524217 + 0.0*i,
    0.165319789743496 + 0.0*i,
    -0.0675979236993762 + 0.0*i,
    -0.35816496213144 + 0.0*i,
    0.164513970077259 + 0.0*i,
    -0.351519634690932 + 0.0*i,
    -0.267455701519992 + 0.0*i,
    0.0625127269508197 + 0.0*i,
    -0.473601776743809 + 0.0*i,
    0.226095386428884 + 0.0*i,
    -0.855854087214213 + 0.0*i,
    0.0161402064864493 + 0.0*i,
    0.443325270450153 + 0.0*i,
    -0.682085265632464 + 0.0*i,
    -0.0560912248958832 + 0.0*i,
    -0.127816736742581 + 0.0*i,
    -0.119943059508706 + 0.0*i,
    0.405519571484967 + 0.0*i,
    0.0569032023027706 + 0.0*i,
    0.177452395308741 + 0.0*i,
    -0.269940083779593 + 0.0*i,
    -0.33088682023764 + 0.0*i,
    0.664181783931034 + 0.0*i,
    0.247953766442587 + 0.0*i,
    -0.205045640544058 + 0.0*i,
    0.669469321033299 + 0.0*i,
    -0.231421460848325 + 0.0*i,
    0.274805420102358 + 0.0*i,
    0.953486809579813 + 0.0*i,
    1.0098261387913 + 0.0*i,
    0.145690971982818 + 0.0*i,
    -0.0222868002531893 + 0.0*i,
    0.842354961889359 + 0.0*i,
    0.427078665496612 + 0.0*i,
    -0.0606917358615077 + 0.0*i,
    -0.312027205892987 + 0.0*i,
    0.443962086753654 + 0.0*i,
    0.203766114043067 + 0.0*i,
    0.100550603289925 + 0.0*i,
    0.36963975686594 + 0.0*i,
    -0.803843968021696 + 0.0*i,
    0.338021882038549 + 0.0*i,
    -1.03386611668926 + 0.0*i,
    -0.787959056506256 + 0.0*i,
    -0.0479226595766106 + 0.0*i,
    0.167571982241962 + 0.0*i,
    0.634696556795518 + 0.0*i,
    0.305702494440533 + 0.0*i,
    -0.838356343132075 + 0.0*i,
    0.774738253443579 + 0.0*i,
    -0.633377249124753 + 0.0*i,
    -0.379434253058935 + 0.0*i,
    0.10785791054251 + 0.0*i,
    0.0274323180253161 + 0.0*i,
    -0.0438011638451228 + 0.0*i,
    0.336015490739704 + 0.0*i,
    -0.41699085561656 + 0.0*i,
    0.0505884072304818 + 0.0*i,
    0.222248838266369 + 0.0*i,
    0.400336701815549 + 0.0*i,
    -0.561024761081237 + 0.0*i,
    -0.584037829724038 + 0.0*i,
    -0.34767043217886 + 0.0*i,
    -0.475315853866188 + 0.0*i,
    0.405523099168694 + 0.0*i,
    0.333989071081374 + 0.0*i,
    -0.278230681810726 + 0.0*i,
    -0.353535801865645 + 0.0*i,
    -0.474407981288583 + 0.0*i,
    0.114175398955539 + 0.0*i,
    -0.47153398263198 + 0.0*i,
    -0.550727087429131 + 0.0*i,
    0.858301555457983 + 0.0*i,
    -0.511570643855998 + 0.0*i,
    -0.0261943597486263 + 0.0*i,
    -0.0947358329276789 + 0.0*i,
    0.19174263291412 + 0.0*i,
    0.659980092924253 + 0.0*i,
    -0.404139423156191 + 0.0*i,
    0.391656278260307 + 0.0*i,
    0.850073917068799 + 0.0*i,
    0.551500779429415 + 0.0*i,
    0.109377737580627 + 0.0*i,
    0.394235758589043 + 0.0*i,
    0.818539783960317 + 0.0*i,
    1.30360891350577 + 0.0*i,
    -0.0646635460521251 + 0.0*i,
    -0.0515592675613538 + 0.0*i,
    0.0484764075814575 + 0.0*i,
    0.471071895800028 + 0.0*i,
    -0.110977808408579 + 0.0*i,
    -0.275549588837142 + 0.0*i,
    -0.0474542189207185 + 0.0*i,
    -0.183882304758305 + 0.0*i,
    0.520143824082366 + 0.0*i,
    0.090016735742079 + 0.0*i,
    -0.234575768575289 + 0.0*i,
    -0.300811143690614 + 0.0*i,
    -0.217638353217188 + 0.0*i,
    -0.427261788275543 + 0.0*i,
    0.603525507414812 + 0.0*i,
    -0.472692465725174 + 0.0*i,
    0.295280626035681 + 0.0*i,
    0.553364878666103 + 0.0*i,
    -0.668298363914068 + 0.0*i,
    -0.272387358869621 + 0.0*i,
    -0.616937756536195 + 0.0*i,
    -0.735888129984566 + 0.0*i,
    -0.284926777849038 + 0.0*i,
    -0.284197457658206 + 0.0*i,
    0.532726783658275 + 0.0*i,
    0.361195802519636 + 0.0*i,
    0.632191787497422 + 0.0*i,
    -0.514712944710263 + 0.0*i,
    -0.305487052545383 + 0.0*i,
    0.481498535949182 + 0.0*i,
    0.728225630399964 + 0.0*i,
    0.180705633763811 + 0.0*i,
    0.0817553190244325 + 0.0*i,
    0.2704880677804 + 0.0*i,
    -0.455284088247346 + 0.0*i,
    -0.33389861293392 + 0.0*i,
    -0.423129679203125 + 0.0*i,
    0.142125503943539 + 0.0*i,
    -0.312821751351246 + 0.0*i,
    0.0566342171712768 + 0.0*i,
    -0.296013276158898 + 0.0*i,
    0.311222868837919 + 0.0*i,
    -0.176894513285108 + 0.0*i,
    -0.116513623637656 + 0.0*i,
    0.282924008982366 + 0.0*i,
    0.0716495932028093 + 0.0*i,
    0.127036717373702 + 0.0*i,
    -0.180308115915417 + 0.0*i,
    0.0794995140372852 + 0.0*i,
    0.890104449690503 + 0.0*i,
    0.413814514551807 + 0.0*i,
    -0.673356571047171 + 0.0*i,
    -0.647784092332203 + 0.0*i,
    -0.370788033030338 + 0.0*i,
    0.686227555946308 + 0.0*i,
    -0.547328467572611 + 0.0*i,
    1.18626681469448 + 0.0*i,
    0.654669957044566 + 0.0*i,
    0.345671363862073 + 0.0*i,
    0.135534314469409 + 0.0*i,
    -0.313178591675929 + 0.0*i,
    -0.251563667764056 + 0.0*i,
    0.0987659882835081 + 0.0*i,
    0.311577257163538 + 0.0*i,
    0.0879793898656179 + 0.0*i,
    -0.526581552455696 + 0.0*i,
    -0.720119834336856 + 0.0*i,
    0.0552268490191977 + 0.0*i,
    0.203981752480822 + 0.0*i,
    -0.927753300927994 + 0.0*i,
    0.700453301046091 + 0.0*i,
    0.396182330369496 + 0.0*i,
    -0.664516550642936 + 0.0*i,
    -0.942707399722025 + 0.0*i,
    -0.247136634423085 + 0.0*i,
    0.39637456708193 + 0.0*i,
    -0.968359068146432 + 0.0*i,
    0.4805647719744 + 0.0*i,
    0.709988972133329 + 0.0*i,
    -0.33383042690533 + 0.0*i,
    0.166941435888336 + 0.0*i,
    0.425865419962084 + 0.0*i,
    0.386725541320607 + 0.0*i,
    0.254559805725967 + 0.0*i,
    0.78983607189731 + 0.0*i,
    -0.786778618669795 + 0.0*i,
    -0.320912880932127 + 0.0*i,
    0.313371031541058 + 0.0*i,
    0.605211575577506 + 0.0*i,
    -0.482411142295847 + 0.0*i,
    0.344987150031229 + 0.0*i,
    0.714945708302952 + 0.0*i,
    -1.10123132134477 + 0.0*i,
    -0.979946417336249 + 0.0*i,
    0.456971812625398 + 0.0*i,
    0.53786654978923 + 0.0*i,
    0.743026386767645 + 0.0*i,
    -1.32365398792605 + 0.0*i,
    -0.0494485014545177 + 0.0*i,
    -0.863208723494506 + 0.0*i,
    -0.752151933782184 + 0.0*i,
    -0.0649879573147049 + 0.0*i,
    -0.342906084533537 + 0.0*i,
    -0.413688689389921 + 0.0*i,
    0.0749010351487381 + 0.0*i,
    0.362955349624944 + 0.0*i,
    -0.342739133855353 + 0.0*i,
    0.668368490278265 + 0.0*i,
    -0.0204255266956658 + 0.0*i,
    0.0490729219263711 + 0.0*i,
    -0.31735081111499 + 0.0*i,
    0.855873055395831 + 0.0*i,
    -0.544821190256189 + 0.0*i,
    -0.163493507155447 + 0.0*i,
    0.0388190091553976 + 0.0*i,
    0.296099093929001 + 0.0*i,
    0.0434700775635579 + 0.0*i,
    -0.282705167678227 + 0.0*i,
    -0.190097277304831 + 0.0*i,
    -0.00970681364980538 + 0.0*i,
    0.46862680420415 + 0.0*i,
    -0.0972379270655114 + 0.0*i,
    0.357979989038975 + 0.0*i,
    0.767890253831578 + 0.0*i,
    -0.406829168170866 + 0.0*i,
    -0.541038673089293 + 0.0*i,
    0.0855483433222539 + 0.0*i,
    -0.777917585435418 + 0.0*i,
    0.312838806639606 + 0.0*i,
    0.287963980404573 + 0.0*i,
    -0.0796460727895379 + 0.0*i,
    0.367105339569456 + 0.0*i,
    -0.682346080347706 + 0.0*i,
    0.0801896222797315 + 0.0*i,
    -0.237678623831944 + 0.0*i,
    0.0450016077323541 + 0.0*i,
    0.465540521162285 + 0.0*i,
    -0.302717150786667 + 0.0*i,
    0.164077390274093 + 0.0*i,
    0.139760362475037 + 0.0*i,
    -0.0294566731493137 + 0.0*i
]);