V:=Matrix(CC,4,130,[
    0.288358334653863 + 0.0*i,
    -0.595341026276434 + 0.0*i,
    -0.155533003018985 + 0.0*i,
    0.842441268336631 + 0.0*i,
    0.367556457894706 + 0.0*i,
    -0.125882437303845 + 0.0*i,
    -0.124151517202998 + 0.0*i,
    0.499837787947016 + 0.0*i,
    -0.653884345370058 + 0.0*i,
    0.0872842737639432 + 0.0*i,
    -0.983054702435963 + 0.0*i,
    0.264062837915822 + 0.0*i,
    0.26754068405682 + 0.0*i,
    0.670869855665386 + 0.0*i,
    0.362348644071517 + 0.0*i,
    -0.729319942762694 + 0.0*i,
    0.984965393646582 + 0.0*i,
    -0.139079562923948 + 0.0*i,
    -0.245692048037244 + 0.0*i,
    -0.528293810324612 + 0.0*i,
    0.754237519136446 + 0.0*i,
    0.789030872737425 + 0.0*i,
    0.422714282692371 + 0.0*i,
    -0.462110737497737 + 0.0*i,
    -0.10084494454655 + 0.0*i,
    0.210506702442818 + 0.0*i,
    0.102462121720894 + 0.0*i,
    0.931222725707194 + 0.0*i,
    -0.347579246523925 + 0.0*i,
    -0.450150018163368 + 0.0*i,
    -0.793082362582132 + 0.0*i,
    0.873624447775684 + 0.0*i,
    -0.320203688648533 + 0.0*i,
    0.569848736820915 + 0.0*i,
    0.169749790852041 + 0.0*i,
    0.0106328913228675 + 0.0*i,
    1.22362288174097 + 0.0*i,
    -0.85921987102173 + 0.0*i,
    0.25762606757445 + 0.0*i,
    0.11435418896849 + 0.0*i,
    -0.111983140290105 + 0.0*i,
    -0.34099271575517 + 0.0*i,
    0.627038367232569 + 0.0*i,
    -0.0287016813991894 + 0.0*i,
    0.94176165254341 + 0.0*i,
    0.0931243665068555 + 0.0*i,
    -1.47078582833701 + 0.0*i,
    0.684145519013625 + 0.0*i,
    0.584219322907197 + 0.0*i,
    -0.35119216243512 + 0.0*i,
    -0.315744560759174 + 0.0*i,
    0.277909145020371 + 0.0*i,
    -0.304876820468205 + 0.0*i,
    0.0214717101422526 + 0.0*i,
    -0.0546660506963513 + 0.0*i,
    0.332782218088392 + 0.0*i,
    -0.305046586516829 + 0.0*i,
    0.395297668159338 + 0.0*i,
    0.0798731235381124 + 0.0*i,
    0.0648448256257572 + 0.0*i,
    0.24031431947614 + 0.0*i,
    0.475833275047094 + 0.0*i,
    -0.802255691890875 + 0.0*i,
    -0.314357140964724 + 0.0*i,
    0.403061294358101 + 0.0*i,
    -0.682505464850864 + 0.0*i,
    0.399338804069224 + 0.0*i,
    0.472252443351409 + 0.0*i,
    0.447863031495852 + 0.0*i,
    0.233896411112867 + 0.0*i,
    -0.455059110276732 + 0.0*i,
    0.108219356169292 + 0.0*i,
    -0.515929910672478 + 0.0*i,
    -0.0753695155245886 + 0.0*i,
    -0.735458442540955 + 0.0*i,
    -0.314134991511525 + 0.0*i,
    0.53491390114656 + 0.0*i,
    0.00839392342436831 + 0.0*i,
    0.362945965914416 + 0.0*i,
    -0.381572708199269 + 0.0*i,
    -0.159033879465206 + 0.0*i,
    -0.490771189309526 + 0.0*i,
    0.915010911041395 + 0.0*i,
    -0.258726601426334 + 0.0*i,
    0.277862688292299 + 0.0*i,
    0.19203575557482 + 0.0*i,
    -0.1014299250309 + 0.0*i,
    0.333610532675242 + 0.0*i,
    0.459236804133713 + 0.0*i,
    0.0443751843785297 + 0.0*i,
    0.426745718687139 + 0.0*i,
    -0.401089551397619 + 0.0*i,
    0.639199219300893 + 0.0*i,
    -0.203284575646297 + 0.0*i,
    0.403709494735501 + 0.0*i,
    -0.0479745985615165 + 0.0*i,
    0.128409028451189 + 0.0*i,
    -1.00417578691142 + 0.0*i,
    -0.563675855616773 + 0.0*i,
    -0.394997801703971 + 0.0*i,
    -0.455779499673832 + 0.0*i,
    -0.495706611763277 + 0.0*i,
    0.0852630677951582 + 0.0*i,
    0.933717634097983 + 0.0*i,
    -0.236702580025304 + 0.0*i,
    -0.0529873412098778 + 0.0*i,
    -0.426550197802791 + 0.0*i,
    0.100843550736032 + 0.0*i,
    -0.0250685866113325 + 0.0*i,
    0.0684369033076417 + 0.0*i,
    0.508434233470271 + 0.0*i,
    1.0017215489685 + 0.0*i,
    0.892571623443449 + 0.0*i,
    0.0938705346683056 + 0.0*i,
    -0.346575821556378 + 0.0*i,
    -0.24927749784112 + 0.0*i,
    -0.231857889476433 + 0.0*i,
    -0.314193361990198 + 0.0*i,
    -0.299667810502193 + 0.0*i,
    0.187607581554284 + 0.0*i,
    0.147228202073465 + 0.0*i,
    -0.907496765469014 + 0.0*i,
    0.608882873699003 + 0.0*i,
    0.376242211326766 + 0.0*i,
    -0.109506977450633 + 0.0*i,
    -0.147041226243448 + 0.0*i,
    0.977301574802146 + 0.0*i,
    -0.812482830713918 + 0.0*i,
    -0.112683275803902 + 0.0*i,
    0.480741442706664 + 0.0*i,
    1.27359841464999 + 0.0*i,
    1.12740615739015 + 0.0*i,
    -0.482376530130213 + 0.0*i,
    -0.452533869688694 + 0.0*i,
    0.184596965799616 + 0.0*i,
    0.113709726640345 + 0.0*i,
    0.52421914461714 + 0.0*i,
    -0.0818338466459067 + 0.0*i,
    -0.528129297461154 + 0.0*i,
    -0.476583513368781 + 0.0*i,
    -1.37206227742416 + 0.0*i,
    1.00207409077811 + 0.0*i,
    0.632599004942194 + 0.0*i,
    0.505370782648558 + 0.0*i,
    -0.570805046454968 + 0.0*i,
    -0.385737066833033 + 0.0*i,
    -0.182959665265752 + 0.0*i,
    -0.671091767765373 + 0.0*i,
    0.496591314348374 + 0.0*i,
    -0.821284223508723 + 0.0*i,
    -0.145043028184957 + 0.0*i,
    -0.319230798468692 + 0.0*i,
    -0.0878142625753949 + 0.0*i,
    0.328689252705726 + 0.0*i,
    -0.440407394922224 + 0.0*i,
    0.825142701184706 + 0.0*i,
    0.105573108064197 + 0.0*i,
    0.870554435878215 + 0.0*i,
    0.122556596248068 + 0.0*i,
    0.546528485724577 + 0.0*i,
    -0.693805702626438 + 0.0*i,
    0.175330215213269 + 0.0*i,
    0.638658556507427 + 0.0*i,
    -0.177527743054386 + 0.0*i,
    0.144752546272588 + 0.0*i,
    -0.411117274292178 + 0.0*i,
    -0.551578509099792 + 0.0*i,
    -0.0329212555167406 + 0.0*i,
    -0.186388874399261 + 0.0*i,
    0.210840195827378 + 0.0*i,
    -0.0450514310044471 + 0.0*i,
    -1.14003814264232 + 0.0*i,
    0.017223899680757 + 0.0*i,
    -0.269723236546237 + 0.0*i,
    -0.508874981297652 + 0.0*i,
    -0.189516538924351 + 0.0*i,
    -0.50952715105541 + 0.0*i,
    0.45670104992126 + 0.0*i,
    -0.210393335205396 + 0.0*i,
    -0.87029279738399 + 0.0*i,
    0.302912420104879 + 0.0*i,
    -0.158902109456337 + 0.0*i,
    -0.43341697611238 + 0.0*i,
    -0.356332409250614 + 0.0*i,
    0.43819471646267 + 0.0*i,
    0.0970095507525735 + 0.0*i,
    0.597487006211816 + 0.0*i,
    0.448705990842665 + 0.0*i,
    -0.432336690016977 + 0.0*i,
    -0.246054017020381 + 0.0*i,
    -0.110332229923468 + 0.0*i,
    -0.454823869869473 + 0.0*i,
    0.828513281785134 + 0.0*i,
    0.605723564175149 + 0.0*i,
    0.24650989538067 + 0.0*i,
    0.299663116588819 + 0.0*i,
    0.228647576456843 + 0.0*i,
    -0.554081675907291 + 0.0*i,
    0.580275127444508 + 0.0*i,
    0.339338734470341 + 0.0*i,
    -0.395776706690179 + 0.0*i,
    0.881432928526218 + 0.0*i,
    -0.14378428998893 + 0.0*i,
    0.216609677017905 + 0.0*i,
    -0.552211903003141 + 0.0*i,
    0.115196353395067 + 0.0*i,
    0.197510674085965 + 0.0*i,
    0.971283941680183 + 0.0*i,
    0.319454521826419 + 0.0*i,
    -0.415253935085381 + 0.0*i,
    0.841857211208869 + 0.0*i,
    0.411056632796451 + 0.0*i,
    -0.2141984090031 + 0.0*i,
    0.10302873073145 + 0.0*i,
    -1.08372353965553 + 0.0*i,
    0.383268009807172 + 0.0*i,
    -0.355820257752085 + 0.0*i,
    -0.381893421127374 + 0.0*i,
    -0.0222942761951819 + 0.0*i,
    -0.117092873632342 + 0.0*i,
    0.397769173068631 + 0.0*i,
    0.715119376389824 + 0.0*i,
    0.0314872625124507 + 0.0*i,
    -0.261199344708085 + 0.0*i,
    -0.533561102398318 + 0.0*i,
    0.252173786739554 + 0.0*i,
    0.0415942166792124 + 0.0*i,
    0.0410316601893203 + 0.0*i,
    0.381066604155238 + 0.0*i,
    1.18761846732454 + 0.0*i,
    0.816196528878008 + 0.0*i,
    -0.412816150183233 + 0.0*i,
    0.350505950995549 + 0.0*i,
    0.336359107805929 + 0.0*i,
    0.870384091533213 + 0.0*i,
    0.314021802407863 + 0.0*i,
    -0.0793447425327417 + 0.0*i,
    -0.0733934307253963 + 0.0*i,
    0.271095757069415 + 0.0*i,
    -0.0125001225942593 + 0.0*i,
    0.15355507325586 + 0.0*i,
    0.126018329232296 + 0.0*i,
    0.172043200524294 + 0.0*i,
    0.595716895907549 + 0.0*i,
    0.849990143393463 + 0.0*i,
    -0.179744625256918 + 0.0*i,
    0.0779159447193436 + 0.0*i,
    0.0755105907779074 + 0.0*i,
    0.81712164846887 + 0.0*i,
    -0.408193175667216 + 0.0*i,
    0.000526644959077953 + 0.0*i,
    -0.319270241706547 + 0.0*i,
    -0.16598963595641 + 0.0*i,
    -0.0265867429044448 + 0.0*i,
    -0.270381617872018 + 0.0*i,
    0.609867169839078 + 0.0*i,
    0.774575865649285 + 0.0*i,
    0.77588912593916 + 0.0*i,
    -0.376911710856596 + 0.0*i,
    0.131723740446495 + 0.0*i,
    -0.0334353107464741 + 0.0*i,
    -0.71616100046649 + 0.0*i,
    0.190137299585005 + 0.0*i,
    -0.551097123332628 + 0.0*i,
    -0.672910470543883 + 0.0*i,
    0.124332083027551 + 0.0*i,
    -0.583984086477311 + 0.0*i,
    -0.173454351495657 + 0.0*i,
    -0.482137052395384 + 0.0*i,
    0.25423960932002 + 0.0*i,
    -0.601803134944497 + 0.0*i,
    -0.193133012522057 + 0.0*i,
    0.278515131980709 + 0.0*i,
    0.426908307404781 + 0.0*i,
    -0.321319616179319 + 0.0*i,
    -0.677472051637193 + 0.0*i,
    -0.520128674666516 + 0.0*i,
    -0.20661330199286 + 0.0*i,
    0.704299625238978 + 0.0*i,
    -0.24194298561971 + 0.0*i,
    0.798839915626395 + 0.0*i,
    -0.0590041268592361 + 0.0*i,
    -0.207338871442424 + 0.0*i,
    0.230718161119152 + 0.0*i,
    1.24443056100818 + 0.0*i,
    0.839316681075221 + 0.0*i,
    0.249422649390297 + 0.0*i,
    0.850613673967463 + 0.0*i,
    -0.201825998615116 + 0.0*i,
    0.26308368138298 + 0.0*i,
    -0.072595172375771 + 0.0*i,
    1.11178420726984 + 0.0*i,
    0.0732972351092629 + 0.0*i,
    0.474946766160458 + 0.0*i,
    -0.635105753557549 + 0.0*i,
    -0.0522080642736629 + 0.0*i,
    0.503829079130061 + 0.0*i,
    0.804191352416182 + 0.0*i,
    0.725777456819005 + 0.0*i,
    0.956920242880556 + 0.0*i,
    -0.574900328199638 + 0.0*i,
    -0.106070105020965 + 0.0*i,
    -0.493915087502929 + 0.0*i,
    -0.0570244873827707 + 0.0*i,
    -0.716344655628828 + 0.0*i,
    -0.0265750820460391 + 0.0*i,
    -0.59491158366882 + 0.0*i,
    -0.305005364640661 + 0.0*i,
    0.293533914651318 + 0.0*i,
    -0.0398064687478415 + 0.0*i,
    -0.697266288165628 + 0.0*i,
    -0.575598293258708 + 0.0*i,
    -0.329932366126704 + 0.0*i,
    0.227924655010955 + 0.0*i,
    0.166557037081223 + 0.0*i,
    -0.322894054828063 + 0.0*i,
    0.873233596156308 + 0.0*i,
    -0.161806658613383 + 0.0*i,
    0.0656869704727176 + 0.0*i,
    0.509039305680359 + 0.0*i,
    -0.0303333194916706 + 0.0*i,
    0.105193579851118 + 0.0*i,
    0.432068290657103 + 0.0*i,
    0.363311598581695 + 0.0*i,
    -1.03587227533951 + 0.0*i,
    -0.331020920335343 + 0.0*i,
    -0.175467616228939 + 0.0*i,
    -0.53404285930424 + 0.0*i,
    0.335471433089089 + 0.0*i,
    -0.289499210825824 + 0.0*i,
    0.331273454590905 + 0.0*i,
    0.173886724533502 + 0.0*i,
    0.943343434131939 + 0.0*i,
    1.03129944490615 + 0.0*i,
    -0.401820264349808 + 0.0*i,
    0.568141563822072 + 0.0*i,
    -0.539322406481513 + 0.0*i,
    -0.813404219803967 + 0.0*i,
    -0.413193203894132 + 0.0*i,
    -0.60826715950176 + 0.0*i,
    1.018654406691 + 0.0*i,
    -0.0823245884542969 + 0.0*i,
    -0.0820677514921309 + 0.0*i,
    0.135579900800865 + 0.0*i,
    -0.577635408662767 + 0.0*i,
    -0.150116254079354 + 0.0*i,
    0.353045969654918 + 0.0*i,
    -0.173846253362785 + 0.0*i,
    -0.676263026361459 + 0.0*i,
    -0.927882936926034 + 0.0*i,
    0.223665191825686 + 0.0*i,
    -0.468149921785657 + 0.0*i,
    -0.144827743558925 + 0.0*i,
    0.262165783511275 + 0.0*i,
    0.217801609619653 + 0.0*i,
    -0.585438883919575 + 0.0*i,
    0.205745013957295 + 0.0*i,
    -0.716242145316801 + 0.0*i,
    -0.0818800785206475 + 0.0*i,
    0.273027662020246 + 0.0*i,
    0.139640435539783 + 0.0*i,
    0.0191255921920972 + 0.0*i,
    -0.698267069948286 + 0.0*i,
    0.188775146508833 + 0.0*i,
    -0.139014562493107 + 0.0*i,
    -0.543977145033835 + 0.0*i,
    -0.682554910148385 + 0.0*i,
    -0.220910359864354 + 0.0*i,
    -0.329497109805766 + 0.0*i,
    0.782924643934149 + 0.0*i,
    -0.452610425086451 + 0.0*i,
    0.0833123848703373 + 0.0*i,
    -0.342286043724231 + 0.0*i,
    -0.280297862502035 + 0.0*i,
    -1.0492278733097 + 0.0*i,
    0.42189618062246 + 0.0*i,
    0.571908659609222 + 0.0*i,
    -1.18439875778535 + 0.0*i,
    0.122328672425931 + 0.0*i,
    -0.90103189799764 + 0.0*i,
    -0.243286719763685 + 0.0*i,
    -0.257880785229999 + 0.0*i,
    -0.524424432143113 + 0.0*i,
    -0.575757731265404 + 0.0*i,
    -0.562714344181928 + 0.0*i,
    -0.231433803747092 + 0.0*i,
    -0.00367996089495849 + 0.0*i,
    -0.250463455876811 + 0.0*i,
    0.701683582821695 + 0.0*i,
    -0.0656099623418707 + 0.0*i,
    0.0661470029707613 + 0.0*i,
    -0.148203716776715 + 0.0*i,
    0.0222952885538854 + 0.0*i,
    0.964118369759404 + 0.0*i,
    -0.160759894426496 + 0.0*i,
    -0.25899340483529 + 0.0*i,
    -0.299100239322067 + 0.0*i,
    -1.26104834163975 + 0.0*i,
    0.281132009292635 + 0.0*i,
    0.281744491575203 + 0.0*i,
    -0.258469012056348 + 0.0*i,
    -0.102547967973305 + 0.0*i,
    -0.63023594286447 + 0.0*i,
    -0.293873006703943 + 0.0*i,
    -0.380785174598616 + 0.0*i,
    -0.357763665358664 + 0.0*i,
    0.389201843421687 + 0.0*i,
    0.287002318334985 + 0.0*i,
    -0.639470040603615 + 0.0*i,
    -0.393201909830107 + 0.0*i,
    0.61574819331178 + 0.0*i,
    -0.17386188461352 + 0.0*i,
    -0.0474565811233139 + 0.0*i,
    0.524594986700774 + 0.0*i,
    0.664336747304311 + 0.0*i,
    0.348241684884543 + 0.0*i,
    0.0993378667467835 + 0.0*i,
    0.469813784335109 + 0.0*i,
    0.0742737948848842 + 0.0*i,
    0.117011042988442 + 0.0*i,
    -0.125396549044562 + 0.0*i,
    0.277422795259715 + 0.0*i,
    0.0702519250682209 + 0.0*i,
    -0.346139123039497 + 0.0*i,
    0.519717865532294 + 0.0*i,
    0.268085292191018 + 0.0*i,
    -0.216676389597229 + 0.0*i,
    0.274476346278794 + 0.0*i,
    -0.604240929879872 + 0.0*i,
    -0.295705152666094 + 0.0*i,
    -0.207628153119522 + 0.0*i,
    0.0726449974426008 + 0.0*i,
    -0.180022082262091 + 0.0*i,
    -0.503536168966593 + 0.0*i,
    -0.208516030325483 + 0.0*i,
    0.0622352542619968 + 0.0*i,
    0.428379228492413 + 0.0*i,
    -0.510828862026498 + 0.0*i,
    -0.324301702013387 + 0.0*i,
    -0.184098363798861 + 0.0*i,
    0.00391976071978893 + 0.0*i,
    -0.305093207345311 + 0.0*i,
    0.75507057570685 + 0.0*i,
    0.682261591872368 + 0.0*i,
    -0.831311447865161 + 0.0*i,
    0.321575311113767 + 0.0*i,
    0.0665524901280465 + 0.0*i,
    0.335353578037736 + 0.0*i,
    -0.167979622272032 + 0.0*i,
    -0.697937686462548 + 0.0*i,
    0.372592996015894 + 0.0*i,
    0.691857604623525 + 0.0*i,
    -0.511554316461551 + 0.0*i,
    -0.368395787761154 + 0.0*i,
    0.236667607475148 + 0.0*i,
    0.194325519552039 + 0.0*i,
    1.09380964524052 + 0.0*i,
    0.0128672404278872 + 0.0*i,
    0.376981896259019 + 0.0*i,
    -0.0331561218979078 + 0.0*i,
    -0.631007363104994 + 0.0*i,
    -0.124176052299829 + 0.0*i,
    0.282926326501636 + 0.0*i,
    0.459560992737257 + 0.0*i,
    0.0322520745675652 + 0.0*i,
    -0.559972907542967 + 0.0*i,
    0.316134088642512 + 0.0*i,
    0.311845198920457 + 0.0*i,
    0.536716318690071 + 0.0*i,
    0.16152006840907 + 0.0*i,
    -0.252379483893909 + 0.0*i,
    -0.889566542236338 + 0.0*i,
    -0.437575327524202 + 0.0*i,
    -0.532238630627458 + 0.0*i,
    -0.187024970597723 + 0.0*i,
    -0.059810092713232 + 0.0*i,
    0.0236345073759164 + 0.0*i,
    0.180973847233042 + 0.0*i,
    0.271619262205098 + 0.0*i,
    0.126828791175931 + 0.0*i,
    0.00204814565049175 + 0.0*i,
    -0.413313089579883 + 0.0*i,
    -0.178634493501105 + 0.0*i,
    -0.445098624121929 + 0.0*i,
    0.507323438671649 + 0.0*i,
    -0.378691427061523 + 0.0*i,
    -0.331955869580538 + 0.0*i,
    0.0931802968725613 + 0.0*i,
    -0.533633588105778 + 0.0*i,
    0.0285788483547506 + 0.0*i,
    0.387294219330188 + 0.0*i,
    0.813027016921188 + 0.0*i,
    -0.188536669404197 + 0.0*i,
    0.078580565247749 + 0.0*i,
    -0.718673718167571 + 0.0*i,
    0.76202211108507 + 0.0*i,
    0.529007822235275 + 0.0*i,
    0.00541946562663806 + 0.0*i,
    0.674527154220802 + 0.0*i,
    -0.388543153730866 + 0.0*i,
    0.213896018967459 + 0.0*i,
    -0.750102812365912 + 0.0*i,
    -0.684646047105812 + 0.0*i,
    -0.678599542672172 + 0.0*i,
    0.263442815374036 + 0.0*i,
    -0.154864023755014 + 0.0*i,
    -0.446066220208163 + 0.0*i,
    0.569976368837407 + 0.0*i,
    0.00340788185822819 + 0.0*i,
    -0.245295813533309 + 0.0*i,
    -0.442035637490064 + 0.0*i,
    -0.0877379290218973 + 0.0*i,
    0.237011787979366 + 0.0*i,
    0.553277323809274 + 0.0*i,
    -0.792446960148154 + 0.0*i,
    1.70940451849 + 0.0*i,
    -0.215110325259379 + 0.0*i,
    1.15620903382256 + 0.0*i,
    0.5159781780609 + 0.0*i,
    -0.801680054066342 + 0.0*i
]);