V:=Matrix(CC,4,57,[
    -0.0432106029126911 + 0.0*i,
    -0.175999762327264 + 0.0*i,
    0.166427963233304 + 0.0*i,
    0.105216910506894 + 0.0*i,
    -0.236353356828364 + 0.0*i,
    0.182292966977179 + 0.0*i,
    -0.685446407126868 + 0.0*i,
    -0.990704113450858 + 0.0*i,
    0.108459344183367 + 0.0*i,
    -0.263846018928926 + 0.0*i,
    0.153651242991051 + 0.0*i,
    -0.660492362319894 + 0.0*i,
    -0.064263704137533 + 0.0*i,
    -0.167782284775578 + 0.0*i,
    0.841424660709711 + 0.0*i,
    0.6373264189068 + 0.0*i,
    -0.0615557443268524 + 0.0*i,
    -0.631856980536341 + 0.0*i,
    0.182232803846481 + 0.0*i,
    0.0847124212614602 + 0.0*i,
    -0.551430284437829 + 0.0*i,
    -0.118459699472735 + 0.0*i,
    0.0591991488639329 + 0.0*i,
    -0.530934815531491 + 0.0*i,
    0.572464680750544 + 0.0*i,
    -0.972401765717511 + 0.0*i,
    0.788900168869716 + 0.0*i,
    -0.42249557421407 + 0.0*i,
    0.179302342361158 + 0.0*i,
    0.0167333111925224 + 0.0*i,
    0.463550370063589 + 0.0*i,
    -0.454481830302546 + 0.0*i,
    0.253083679138316 + 0.0*i,
    -0.504367104791306 + 0.0*i,
    0.930254922215115 + 0.0*i,
    -0.23102597318581 + 0.0*i,
    -0.165051299339128 + 0.0*i,
    -0.513305171810108 + 0.0*i,
    -0.698268495395462 + 0.0*i,
    -1.13066870184348 + 0.0*i,
    0.122463903923371 + 0.0*i,
    -0.384557725010931 + 0.0*i,
    0.648400697736841 + 0.0*i,
    0.80968909932664 + 0.0*i,
    -0.135260634600882 + 0.0*i,
    0.439565448500991 + 0.0*i,
    -0.410817387673191 + 0.0*i,
    -0.0117682463462138 + 0.0*i,
    0.11286736484308 + 0.0*i,
    0.117242999904135 + 0.0*i,
    -0.798631963379592 + 0.0*i,
    0.215431789344079 + 0.0*i,
    -0.663673979020896 + 0.0*i,
    -0.243958943663083 + 0.0*i,
    -0.923958565378931 + 0.0*i,
    -0.617208123958919 + 0.0*i,
    0.377219419400541 + 0.0*i,
    -0.149159890990267 + 0.0*i,
    0.334841137440473 + 0.0*i,
    -0.440095197404761 + 0.0*i,
    0.239539582023755 + 0.0*i,
    0.0512664491857763 + 0.0*i,
    0.362938235213321 + 0.0*i,
    0.723212734034883 + 0.0*i,
    1.20743850392962 + 0.0*i,
    0.773990751845234 + 0.0*i,
    0.250544654063106 + 0.0*i,
    -0.162207145779355 + 0.0*i,
    0.175721600979812 + 0.0*i,
    -0.464264612680906 + 0.0*i,
    1.09106435416575 + 0.0*i,
    -0.960801450260619 + 0.0*i,
    -0.0429842395636169 + 0.0*i,
    0.0912854599604303 + 0.0*i,
    -0.511305636338077 + 0.0*i,
    -0.204140491679024 + 0.0*i,
    0.187835133691462 + 0.0*i,
    -0.382909754556996 + 0.0*i,
    -0.685872120521515 + 0.0*i,
    0.00835842563973912 + 0.0*i,
    0.631553609337231 + 0.0*i,
    0.130910038294832 + 0.0*i,
    -0.440787397041486 + 0.0*i,
    0.246379223338509 + 0.0*i,
    -0.151409023699383 + 0.0*i,
    -0.290759143831524 + 0.0*i,
    -0.227155558861674 + 0.0*i,
    -0.339961080543983 + 0.0*i,
    -0.458436236332538 + 0.0*i,
    -0.610755370268483 + 0.0*i,
    -0.00996415335622777 + 0.0*i,
    0.752014781877638 + 0.0*i,
    0.192905093589783 + 0.0*i,
    0.7432938019059 + 0.0*i,
    -0.16126026975888 + 0.0*i,
    -1.22255812151948 + 0.0*i,
    0.492301217238728 + 0.0*i,
    0.247561458989173 + 0.0*i,
    0.240162849723452 + 0.0*i,
    -0.0719478804676231 + 0.0*i,
    0.643521806018258 + 0.0*i,
    0.546247876588936 + 0.0*i,
    0.0758146454540867 + 0.0*i,
    -0.344843565015596 + 0.0*i,
    0.428926092884981 + 0.0*i,
    -0.0956509278393171 + 0.0*i,
    0.305182222704701 + 0.0*i,
    0.125448813936352 + 0.0*i,
    -0.518354445645629 + 0.0*i,
    -0.222388832942251 + 0.0*i,
    -0.266841458915618 + 0.0*i,
    0.221265767856669 + 0.0*i,
    0.592352252297323 + 0.0*i,
    0.300407248973423 + 0.0*i,
    0.0680194820904804 + 0.0*i,
    -0.303420311957899 + 0.0*i,
    0.740684206576576 + 0.0*i,
    0.609488009960123 + 0.0*i,
    0.478661645012794 + 0.0*i,
    -0.324027810587921 + 0.0*i,
    0.364012683738291 + 0.0*i,
    0.215409785714774 + 0.0*i,
    0.248427661842399 + 0.0*i,
    0.381106658478604 + 0.0*i,
    -0.12055126628247 + 0.0*i,
    -0.417561788071961 + 0.0*i,
    -0.244232815914397 + 0.0*i,
    0.204570667700114 + 0.0*i,
    -0.121156997374506 + 0.0*i,
    0.119550178144311 + 0.0*i,
    -0.085468924275833 + 0.0*i,
    -0.821126761735057 + 0.0*i,
    -0.14559044698194 + 0.0*i,
    0.091266449619998 + 0.0*i,
    0.318311547683759 + 0.0*i,
    -0.777265796843623 + 0.0*i,
    -0.793661567361392 + 0.0*i,
    1.06693093016671 + 0.0*i,
    -0.168872158452699 + 0.0*i,
    0.552664664662743 + 0.0*i,
    0.334608404164632 + 0.0*i,
    0.641119569908256 + 0.0*i,
    -0.753534026090865 + 0.0*i,
    -0.497594181998714 + 0.0*i,
    -0.19795770740675 + 0.0*i,
    -0.53893407126314 + 0.0*i,
    1.71370817378685 + 0.0*i,
    -0.751012455496803 + 0.0*i,
    0.557589221533532 + 0.0*i,
    -0.102008990909255 + 0.0*i,
    0.153117658743463 + 0.0*i,
    -0.418609580601524 + 0.0*i,
    0.831014857185391 + 0.0*i,
    -0.461870607201183 + 0.0*i,
    0.564122508897533 + 0.0*i,
    -0.129662757974121 + 0.0*i,
    -1.37013176798264 + 0.0*i,
    0.140717418955278 + 0.0*i,
    0.00630080240715268 + 0.0*i,
    0.463211787740304 + 0.0*i,
    0.360437062572756 + 0.0*i,
    0.147582055294215 + 0.0*i,
    0.36634339202559 + 0.0*i,
    0.595911948461185 + 0.0*i,
    0.876677043920313 + 0.0*i,
    0.305889989882372 + 0.0*i,
    -0.478366840091266 + 0.0*i,
    0.327106535535368 + 0.0*i,
    0.291252891089375 + 0.0*i,
    -0.464093460468231 + 0.0*i,
    0.0393942284643141 + 0.0*i,
    0.104907627973551 + 0.0*i,
    -0.13789308723209 + 0.0*i,
    -0.244737911296614 + 0.0*i,
    0.057478539009017 + 0.0*i,
    -0.085861375409845 + 0.0*i,
    0.811554068903755 + 0.0*i,
    0.606328590497012 + 0.0*i,
    -1.05658074907498 + 0.0*i,
    -0.146956627159324 + 0.0*i,
    -0.16818039317021 + 0.0*i,
    0.439939984904985 + 0.0*i,
    0.332287925364673 + 0.0*i,
    0.606975648642573 + 0.0*i,
    0.226290723056964 + 0.0*i,
    0.462110252539624 + 0.0*i,
    0.492483737411721 + 0.0*i,
    0.653837493251819 + 0.0*i,
    -0.540783460782182 + 0.0*i,
    0.0888121399213008 + 0.0*i,
    -0.13997698570987 + 0.0*i,
    -0.0636018764117379 + 0.0*i,
    0.395815301352075 + 0.0*i,
    -0.217981801964245 + 0.0*i,
    0.534253120395773 + 0.0*i,
    0.34166462759089 + 0.0*i,
    0.133695709358892 + 0.0*i,
    0.639712438931076 + 0.0*i,
    0.00787465074151441 + 0.0*i,
    0.496766095097309 + 0.0*i,
    0.225527817447886 + 0.0*i,
    0.171406229592869 + 0.0*i,
    0.540863157483397 + 0.0*i,
    -0.0464890535140821 + 0.0*i,
    -0.469760352543253 + 0.0*i,
    -0.730968891288849 + 0.0*i,
    0.933143890529399 + 0.0*i,
    0.538989022112388 + 0.0*i,
    -0.380197525430367 + 0.0*i,
    -0.517810285147426 + 0.0*i,
    0.604994209113288 + 0.0*i,
    -0.035650152229387 + 0.0*i,
    -0.503513625088819 + 0.0*i,
    -0.141296938852895 + 0.0*i,
    0.377816249551919 + 0.0*i,
    -0.21319155409146 + 0.0*i,
    -0.0938079163187692 + 0.0*i,
    -0.472713507214758 + 0.0*i,
    0.886696858128663 + 0.0*i,
    0.904847620436887 + 0.0*i,
    -0.0675739413242149 + 0.0*i,
    -0.13681500155187 + 0.0*i,
    0.377057057982191 + 0.0*i,
    0.669719507717391 + 0.0*i,
    -0.363799683844121 + 0.0*i,
    -0.52374566491661 + 0.0*i,
    0.209370269604478 + 0.0*i,
    0.908773813514277 + 0.0*i
]);