V:=Matrix(CC,4,131,[
    0.160600336987865 + 0.0*i,
    0.395752208740906 + 0.0*i,
    -0.213309765833814 + 0.0*i,
    0.346774367957827 + 0.0*i,
    0.282281624540035 + 0.0*i,
    0.0341447605185713 + 0.0*i,
    -0.75702774620345 + 0.0*i,
    -0.352348259777519 + 0.0*i,
    -0.0726448113002542 + 0.0*i,
    -0.675043900561818 + 0.0*i,
    0.442280910142926 + 0.0*i,
    0.0910332036771804 + 0.0*i,
    0.329210811499431 + 0.0*i,
    -0.827298609155156 + 0.0*i,
    -1.10746574002026 + 0.0*i,
    0.416993066642678 + 0.0*i,
    -0.246491751784512 + 0.0*i,
    0.246186932661146 + 0.0*i,
    -0.845017422819456 + 0.0*i,
    0.190980041585093 + 0.0*i,
    -0.381099272010029 + 0.0*i,
    -0.125828651700323 + 0.0*i,
    -0.23215121809245 + 0.0*i,
    0.123602188435653 + 0.0*i,
    0.342297292371988 + 0.0*i,
    0.130796220085103 + 0.0*i,
    -1.19781793944175 + 0.0*i,
    -0.549889664643883 + 0.0*i,
    0.350069523156455 + 0.0*i,
    0.515821106231292 + 0.0*i,
    -0.640552398079551 + 0.0*i,
    0.258603949564497 + 0.0*i,
    -0.226113643740605 + 0.0*i,
    0.0242570171330024 + 0.0*i,
    -0.0408001632235183 + 0.0*i,
    0.625926282327948 + 0.0*i,
    0.581296261678793 + 0.0*i,
    -0.0102724600364507 + 0.0*i,
    0.166638173086673 + 0.0*i,
    -0.000163875595186002 + 0.0*i,
    -0.022879101649893 + 0.0*i,
    -0.184889107412846 + 0.0*i,
    0.194892782370001 + 0.0*i,
    -0.0209987958094812 + 0.0*i,
    -0.0922564534885886 + 0.0*i,
    -0.271489420962407 + 0.0*i,
    -0.213255019455996 + 0.0*i,
    -0.858248159966872 + 0.0*i,
    0.457817899960497 + 0.0*i,
    -0.618729363142644 + 0.0*i,
    -0.0864550197464353 + 0.0*i,
    -0.508982696935124 + 0.0*i,
    0.208954586155658 + 0.0*i,
    0.0498391997723072 + 0.0*i,
    -0.111364959056741 + 0.0*i,
    -0.162424204880822 + 0.0*i,
    -0.470122372490449 + 0.0*i,
    -0.0197575946093894 + 0.0*i,
    0.068928904058417 + 0.0*i,
    1.08433998953835 + 0.0*i,
    -1.04038133825333 + 0.0*i,
    0.487216136281387 + 0.0*i,
    -0.164244170831936 + 0.0*i,
    -0.10568909154276 + 0.0*i,
    0.286435867806541 + 0.0*i,
    0.636406544357747 + 0.0*i,
    -0.0947298294554977 + 0.0*i,
    0.160939218966121 + 0.0*i,
    0.713344088047767 + 0.0*i,
    -0.810950101742692 + 0.0*i,
    -0.36032860218942 + 0.0*i,
    0.969932652430924 + 0.0*i,
    0.213527808158447 + 0.0*i,
    -0.396215971188876 + 0.0*i,
    -0.487425399810003 + 0.0*i,
    -0.91430238789933 + 0.0*i,
    -0.0410917622925545 + 0.0*i,
    0.17250945366417 + 0.0*i,
    -0.106450582922948 + 0.0*i,
    0.221404760299331 + 0.0*i,
    0.360303551320368 + 0.0*i,
    -0.452250510922362 + 0.0*i,
    0.262222151627765 + 0.0*i,
    0.495179019235701 + 0.0*i,
    -1.06394017892465 + 0.0*i,
    -0.177301916055393 + 0.0*i,
    -0.187208905307691 + 0.0*i,
    -0.592752563236226 + 0.0*i,
    -0.36961526285648 + 0.0*i,
    -0.32199392961883 + 0.0*i,
    -0.1891859842814 + 0.0*i,
    -0.622779047204624 + 0.0*i,
    -0.0421021728290701 + 0.0*i,
    0.390543781224555 + 0.0*i,
    -0.346456390681622 + 0.0*i,
    -0.0240367950093646 + 0.0*i,
    -0.057347001723156 + 0.0*i,
    0.0529402194869233 + 0.0*i,
    0.206949218606973 + 0.0*i,
    0.220095364775334 + 0.0*i,
    -0.247755861527988 + 0.0*i,
    0.942507563925224 + 0.0*i,
    -0.454154151803401 + 0.0*i,
    -0.674995118954437 + 0.0*i,
    0.419859513528627 + 0.0*i,
    0.511265407693743 + 0.0*i,
    0.643457630030844 + 0.0*i,
    -0.47495936376626 + 0.0*i,
    -0.418327942634718 + 0.0*i,
    0.383755873286694 + 0.0*i,
    0.596558200019099 + 0.0*i,
    0.457375070224197 + 0.0*i,
    -0.612900331420066 + 0.0*i,
    0.428578538021895 + 0.0*i,
    -0.541175585245181 + 0.0*i,
    -0.916379703212422 + 0.0*i,
    -0.83765489496353 + 0.0*i,
    -0.18105690437865 + 0.0*i,
    0.947910716627044 + 0.0*i,
    -0.222163756116631 + 0.0*i,
    -0.360042130641179 + 0.0*i,
    -0.167415928005271 + 0.0*i,
    -0.149804373913681 + 0.0*i,
    0.333542674065177 + 0.0*i,
    -0.21725485197558 + 0.0*i,
    0.459298066485424 + 0.0*i,
    0.305041526836947 + 0.0*i,
    0.134227569905198 + 0.0*i,
    -0.302915984752558 + 0.0*i,
    -0.0377962358996068 + 0.0*i,
    -0.494809743528079 + 0.0*i,
    -0.570948156645635 + 0.0*i,
    0.22111938905665 + 0.0*i,
    -0.127411886277566 + 0.0*i,
    -0.026393222102216 + 0.0*i,
    1.28073652640011 + 0.0*i,
    1.1082869838994 + 0.0*i,
    -0.148116497174156 + 0.0*i,
    0.303078409858319 + 0.0*i,
    -0.356225331108227 + 0.0*i,
    0.998827558545305 + 0.0*i,
    0.841007865600565 + 0.0*i,
    0.454614012694927 + 0.0*i,
    -0.518414017007675 + 0.0*i,
    -0.0132421958326785 + 0.0*i,
    -0.578387151262887 + 0.0*i,
    -0.205708145314367 + 0.0*i,
    0.299551553021058 + 0.0*i,
    -0.912732445118086 + 0.0*i,
    -0.00741073996966129 + 0.0*i,
    -0.141370491574384 + 0.0*i,
    0.267532985439321 + 0.0*i,
    -0.0841834930473138 + 0.0*i,
    0.917501467135798 + 0.0*i,
    -0.580277356021051 + 0.0*i,
    0.080173196272982 + 0.0*i,
    0.0202207678631295 + 0.0*i,
    0.53886985070514 + 0.0*i,
    -0.16692770804646 + 0.0*i,
    0.383745819248558 + 0.0*i,
    0.445508397863478 + 0.0*i,
    0.713142118874481 + 0.0*i,
    -0.5010934186167 + 0.0*i,
    -0.0271537050310218 + 0.0*i,
    0.777266758224113 + 0.0*i,
    0.162904390294258 + 0.0*i,
    -0.310642637414937 + 0.0*i,
    -0.158142826016509 + 0.0*i,
    0.434083941467876 + 0.0*i,
    0.410021604012643 + 0.0*i,
    -0.500120631981001 + 0.0*i,
    -0.360902973198046 + 0.0*i,
    0.0824967537696029 + 0.0*i,
    -0.652861647131477 + 0.0*i,
    -0.323233820798039 + 0.0*i,
    0.1102332493352 + 0.0*i,
    0.877286025023835 + 0.0*i,
    0.697428616584633 + 0.0*i,
    -0.601705813677181 + 0.0*i,
    0.332590248743633 + 0.0*i,
    0.281792125675977 + 0.0*i,
    -0.978506304131201 + 0.0*i,
    -0.562277030565453 + 0.0*i,
    0.202739096287539 + 0.0*i,
    -0.477421456918899 + 0.0*i,
    0.347736810142429 + 0.0*i,
    -0.180546875339874 + 0.0*i,
    -0.414615799424366 + 0.0*i,
    0.0556489077350451 + 0.0*i,
    0.0308915503845558 + 0.0*i,
    0.377605226765009 + 0.0*i,
    0.128237070426039 + 0.0*i,
    0.590625392238576 + 0.0*i,
    0.274685613079368 + 0.0*i,
    -0.622813608958625 + 0.0*i,
    -0.392051635332402 + 0.0*i,
    0.0212001723950976 + 0.0*i,
    0.0726319226987413 + 0.0*i,
    0.377674733804367 + 0.0*i,
    0.0810205681477693 + 0.0*i,
    0.102296991290738 + 0.0*i,
    -0.469891348120934 + 0.0*i,
    -1.11376521389583 + 0.0*i,
    -0.384461877508464 + 0.0*i,
    0.277069990463691 + 0.0*i,
    0.00374111137597255 + 0.0*i,
    -0.354731203050706 + 0.0*i,
    0.261248723633432 + 0.0*i,
    -0.776009801824366 + 0.0*i,
    0.527117460629459 + 0.0*i,
    -0.0182634469603589 + 0.0*i,
    -0.0649347716220715 + 0.0*i,
    -1.08609389103312 + 0.0*i,
    -0.590527171564411 + 0.0*i,
    0.213255520398054 + 0.0*i,
    -0.0651561210169908 + 0.0*i,
    0.425518388455503 + 0.0*i,
    0.013552271782539 + 0.0*i,
    -0.588478982512712 + 0.0*i,
    -0.204622168947265 + 0.0*i,
    -0.377579933144521 + 0.0*i,
    0.753767439811898 + 0.0*i,
    -0.241805257121426 + 0.0*i,
    -0.46207632309123 + 0.0*i,
    0.527572017317641 + 0.0*i,
    1.10386209263495 + 0.0*i,
    0.0405229668197074 + 0.0*i,
    0.139887515084701 + 0.0*i,
    -0.67971641484561 + 0.0*i,
    0.574113255429448 + 0.0*i,
    0.0239743216633841 + 0.0*i,
    -0.544556372767158 + 0.0*i,
    -0.0258103242044536 + 0.0*i,
    -0.0772203512842828 + 0.0*i,
    -0.328741642859282 + 0.0*i,
    -1.10526946596499 + 0.0*i,
    0.23255311093531 + 0.0*i,
    -1.04320709343998 + 0.0*i,
    -0.555813482929466 + 0.0*i,
    -0.98309035577853 + 0.0*i,
    -0.0503439712172048 + 0.0*i,
    -0.56263474340172 + 0.0*i,
    0.337738714229838 + 0.0*i,
    0.704010349924499 + 0.0*i,
    0.507076930316615 + 0.0*i,
    0.793561748079748 + 0.0*i,
    -0.693797713564268 + 0.0*i,
    -0.363218851313901 + 0.0*i,
    -0.552564537208421 + 0.0*i,
    0.208974024559625 + 0.0*i,
    0.689172067432819 + 0.0*i,
    0.553501132544838 + 0.0*i,
    0.317366404109638 + 0.0*i,
    -0.481004885714221 + 0.0*i,
    -0.378663090992436 + 0.0*i,
    -1.29825683549596 + 0.0*i,
    -0.610354051752754 + 0.0*i,
    -0.756879179162291 + 0.0*i,
    0.407309900003103 + 0.0*i,
    -0.38176261054158 + 0.0*i,
    0.517567728029957 + 0.0*i,
    0.856227692339643 + 0.0*i,
    0.585062333609258 + 0.0*i,
    0.107614370926424 + 0.0*i,
    -1.00117929245928 + 0.0*i,
    0.176421693372126 + 0.0*i,
    0.186097752188768 + 0.0*i,
    0.357382888414044 + 0.0*i,
    1.14201438995533 + 0.0*i,
    0.52575675710336 + 0.0*i,
    0.835048091881092 + 0.0*i,
    0.514627793504189 + 0.0*i,
    -0.535308498012821 + 0.0*i,
    -0.0326300422272785 + 0.0*i,
    -0.252967199286222 + 0.0*i,
    -0.43321868056697 + 0.0*i,
    -0.660940145097612 + 0.0*i,
    0.532295517507819 + 0.0*i,
    0.834932145563149 + 0.0*i,
    -0.506001250551457 + 0.0*i,
    -0.509497647892488 + 0.0*i,
    -0.0622938009630983 + 0.0*i,
    -0.484390872661373 + 0.0*i,
    -0.725319009389648 + 0.0*i,
    0.450636770793199 + 0.0*i,
    -0.475761375849717 + 0.0*i,
    1.44312831505674 + 0.0*i,
    -0.68853742832567 + 0.0*i,
    -0.382075811533964 + 0.0*i,
    0.422497895680804 + 0.0*i,
    -0.211011554604976 + 0.0*i,
    0.0595037564192334 + 0.0*i,
    -0.28854961197589 + 0.0*i,
    -0.226227322234581 + 0.0*i,
    0.538406984274026 + 0.0*i,
    0.324592691260786 + 0.0*i,
    0.161596024278567 + 0.0*i,
    0.211368521214987 + 0.0*i,
    1.01932814098214 + 0.0*i,
    -0.29056385080284 + 0.0*i,
    0.331311592203061 + 0.0*i,
    0.361775703257465 + 0.0*i,
    0.620110311047102 + 0.0*i,
    -0.583874281140631 + 0.0*i,
    -0.219435220519789 + 0.0*i,
    -0.45094758327426 + 0.0*i,
    -0.639506740245799 + 0.0*i,
    0.157815680613281 + 0.0*i,
    0.499522462699888 + 0.0*i,
    0.085407395651001 + 0.0*i,
    0.316550121155288 + 0.0*i,
    -0.62917657245772 + 0.0*i,
    -0.34935447720248 + 0.0*i,
    0.253533747036621 + 0.0*i,
    -0.589254008539417 + 0.0*i,
    0.406407002030082 + 0.0*i,
    -0.147234354275018 + 0.0*i,
    0.514483090728197 + 0.0*i,
    -0.165176078398001 + 0.0*i,
    0.939415869948377 + 0.0*i,
    -1.07924204284235 + 0.0*i,
    0.466539064961791 + 0.0*i,
    -0.210984829247752 + 0.0*i,
    -0.112079841153384 + 0.0*i,
    -0.209744356413015 + 0.0*i,
    0.463011559543021 + 0.0*i,
    0.30888650671576 + 0.0*i,
    0.151898515723942 + 0.0*i,
    -0.206621491921486 + 0.0*i,
    -0.56192187666357 + 0.0*i,
    0.84761689294094 + 0.0*i,
    0.219959515256213 + 0.0*i,
    -0.0565385474272982 + 0.0*i,
    0.163128870730425 + 0.0*i,
    -0.78580231240769 + 0.0*i,
    -0.190271234993745 + 0.0*i,
    -0.568685433456266 + 0.0*i,
    -0.0934573775090714 + 0.0*i,
    0.387136652970302 + 0.0*i,
    0.278801812841133 + 0.0*i,
    0.58002469632275 + 0.0*i,
    -0.294312352186291 + 0.0*i,
    0.709223089960515 + 0.0*i,
    -0.523385957301088 + 0.0*i,
    -0.0612312633534279 + 0.0*i,
    -0.254406100546869 + 0.0*i,
    -0.698848667506859 + 0.0*i,
    -0.469586153586602 + 0.0*i,
    0.333597723567904 + 0.0*i,
    -0.214870411793476 + 0.0*i,
    -0.170706546729252 + 0.0*i,
    -0.398125035836898 + 0.0*i,
    0.152690910751193 + 0.0*i,
    -0.315635725111898 + 0.0*i,
    0.0884800141496683 + 0.0*i,
    0.252177366056134 + 0.0*i,
    0.134170386957496 + 0.0*i,
    -0.252376312025472 + 0.0*i,
    -0.880929528251461 + 0.0*i,
    0.255109810142271 + 0.0*i,
    0.435118495876331 + 0.0*i,
    -0.0787690962597156 + 0.0*i,
    0.0337265193694294 + 0.0*i,
    0.10268476089696 + 0.0*i,
    -0.504100785725874 + 0.0*i,
    0.241620200718672 + 0.0*i,
    0.124845305085243 + 0.0*i,
    0.603141754391178 + 0.0*i,
    -0.25863202495443 + 0.0*i,
    -0.136218937407423 + 0.0*i,
    -0.429115287290196 + 0.0*i,
    0.536691705952874 + 0.0*i,
    -0.397685089850547 + 0.0*i,
    0.427460951651449 + 0.0*i,
    0.404652536089661 + 0.0*i,
    -1.02586202949265 + 0.0*i,
    -0.244358764546113 + 0.0*i,
    -0.269886048985734 + 0.0*i,
    0.249062670268776 + 0.0*i,
    0.332969543944668 + 0.0*i,
    0.842447730981481 + 0.0*i,
    -0.324810259465509 + 0.0*i,
    0.035013327324767 + 0.0*i,
    0.363110206572384 + 0.0*i,
    -0.986698804051568 + 0.0*i,
    1.01104582394626 + 0.0*i,
    0.84975912503615 + 0.0*i,
    -0.929423519622055 + 0.0*i,
    -0.849816204275271 + 0.0*i,
    -0.284230629967916 + 0.0*i,
    -1.20907602004668 + 0.0*i,
    -0.145280309618828 + 0.0*i,
    0.873659705139616 + 0.0*i,
    0.102454419132375 + 0.0*i,
    0.075783238368182 + 0.0*i,
    0.422921070005516 + 0.0*i,
    0.068011558864362 + 0.0*i,
    0.179775297488172 + 0.0*i,
    0.458202871392818 + 0.0*i,
    -0.278592831634554 + 0.0*i,
    0.143739694708432 + 0.0*i,
    -1.1708173032909 + 0.0*i,
    -0.242119773472496 + 0.0*i,
    -0.558282728189834 + 0.0*i,
    0.00437020382642061 + 0.0*i,
    -0.782615508902304 + 0.0*i,
    -0.466626278522472 + 0.0*i,
    -0.00211592447740581 + 0.0*i,
    0.309341646738109 + 0.0*i,
    0.716679981319311 + 0.0*i,
    -0.0592913097404755 + 0.0*i,
    0.231435005893889 + 0.0*i,
    0.244710727395393 + 0.0*i,
    -0.277220710843234 + 0.0*i,
    -1.06967998141752 + 0.0*i,
    -0.0432081162291714 + 0.0*i,
    -0.231674045063967 + 0.0*i,
    0.628427436940561 + 0.0*i,
    -1.30715783962223 + 0.0*i,
    -0.933672963243406 + 0.0*i,
    0.748692653706578 + 0.0*i,
    0.082193137810285 + 0.0*i,
    -0.139369468748403 + 0.0*i,
    -0.391963539387224 + 0.0*i,
    -0.339183624653658 + 0.0*i,
    0.447218090676891 + 0.0*i,
    -0.0185657250829618 + 0.0*i,
    0.585833652896456 + 0.0*i,
    0.0205772709520507 + 0.0*i,
    0.152462064023502 + 0.0*i,
    -0.838742177758814 + 0.0*i,
    -0.182217383527244 + 0.0*i,
    0.913727417369564 + 0.0*i,
    -0.583485514108779 + 0.0*i,
    0.62914077679602 + 0.0*i,
    -0.354269598832256 + 0.0*i,
    -0.742214695127719 + 0.0*i,
    -0.0991016278893704 + 0.0*i,
    0.977524087961436 + 0.0*i,
    0.165626883092301 + 0.0*i,
    0.729410465899827 + 0.0*i,
    -0.0059502485547943 + 0.0*i,
    -0.417567734795328 + 0.0*i,
    -0.0442624145402651 + 0.0*i,
    0.633336509919662 + 0.0*i,
    -0.340971768370841 + 0.0*i,
    -0.529101122640841 + 0.0*i,
    -0.430074877969293 + 0.0*i,
    0.0639836902428374 + 0.0*i,
    -0.351531511020544 + 0.0*i,
    -0.299996417183714 + 0.0*i,
    -0.688525349800253 + 0.0*i,
    0.0617756077232962 + 0.0*i,
    0.068591333993538 + 0.0*i,
    -0.322837157500921 + 0.0*i,
    -0.910261025325895 + 0.0*i,
    -0.306303413529989 + 0.0*i,
    -0.098778360149255 + 0.0*i,
    -0.0559166806647687 + 0.0*i,
    -0.397944123287936 + 0.0*i,
    -0.236732351029369 + 0.0*i,
    -0.0377171262857421 + 0.0*i,
    0.14608586122158 + 0.0*i,
    -0.13831895011716 + 0.0*i,
    0.259059556383905 + 0.0*i,
    0.650211097879773 + 0.0*i,
    -0.152599072691303 + 0.0*i,
    -0.192639143995431 + 0.0*i,
    0.189731463186161 + 0.0*i,
    0.949611836832827 + 0.0*i,
    -0.411683270084114 + 0.0*i,
    0.0108091538370775 + 0.0*i,
    -1.03809688301001 + 0.0*i,
    0.0916793627175833 + 0.0*i,
    0.625455103276167 + 0.0*i,
    0.304558348133834 + 0.0*i,
    -0.148300081834984 + 0.0*i,
    -0.34717919990092 + 0.0*i,
    0.0293330198262155 + 0.0*i,
    -0.480280221508562 + 0.0*i,
    0.772571124145047 + 0.0*i,
    -0.0663104279178563 + 0.0*i,
    -0.649299188493778 + 0.0*i,
    0.33069696842356 + 0.0*i,
    0.672970123822224 + 0.0*i,
    0.490232088084069 + 0.0*i,
    -0.0972477564287473 + 0.0*i,
    0.398057734840266 + 0.0*i,
    0.230366130672097 + 0.0*i,
    -0.211357468574111 + 0.0*i,
    0.625329053659918 + 0.0*i,
    0.362597190126591 + 0.0*i,
    0.366044983631169 + 0.0*i,
    -0.717954813753001 + 0.0*i,
    -0.705990059786982 + 0.0*i,
    -0.181008116507482 + 0.0*i,
    0.168208841330875 + 0.0*i,
    0.0488005127940257 + 0.0*i,
    -0.65698666076562 + 0.0*i,
    -0.840141137864213 + 0.0*i,
    0.0606345629348371 + 0.0*i,
    0.358472917596752 + 0.0*i,
    -0.420131491737123 + 0.0*i,
    0.176774286675734 + 0.0*i,
    0.0346680498179519 + 0.0*i,
    0.377495004802794 + 0.0*i,
    0.26320043750368 + 0.0*i,
    0.578818393469029 + 0.0*i,
    -0.0280303970945473 + 0.0*i,
    -0.282499234785339 + 0.0*i,
    0.129254764012554 + 0.0*i,
    0.832898101549642 + 0.0*i,
    -0.501749047459022 + 0.0*i,
    -0.242892255518926 + 0.0*i,
    0.142314109892161 + 0.0*i,
    -0.584532904231958 + 0.0*i,
    -0.33107937727515 + 0.0*i,
    -0.96293265383918 + 0.0*i,
    -0.194568007232127 + 0.0*i,
    -0.873714604823378 + 0.0*i,
    0.159053863241906 + 0.0*i,
    0.394310968351779 + 0.0*i,
    -0.355819245977012 + 0.0*i,
    0.0970530805775027 + 0.0*i
]);