V:=Matrix(CC,4,26,[
    -0.560386965206921 + 0.0*i,
    -0.658542497434782 + 0.0*i,
    0.447408849588883 + 0.0*i,
    -0.68925302591661 + 0.0*i,
    0.117555213140195 + 0.0*i,
    0.325041646512835 + 0.0*i,
    -0.707632510400827 + 0.0*i,
    0.443867385561968 + 0.0*i,
    0.344528848705533 + 0.0*i,
    -0.638117465244778 + 0.0*i,
    -0.534193979144654 + 0.0*i,
    -0.438560909184746 + 0.0*i,
    0.621038333753618 + 0.0*i,
    0.22972787021757 + 0.0*i,
    -0.531357471690198 + 0.0*i,
    -0.451059463412506 + 0.0*i,
    -0.911721546802309 + 0.0*i,
    0.241272082133162 + 0.0*i,
    -0.567370887009281 + 0.0*i,
    -0.374415904273364 + 0.0*i,
    0.193770288193165 + 0.0*i,
    0.955486923994946 + 0.0*i,
    -0.0537804673415185 + 0.0*i,
    0.402983945179054 + 0.0*i,
    0.401180345559197 + 0.0*i,
    0.0921648753493284 + 0.0*i,
    0.109775182437231 + 0.0*i,
    -0.0122744676004355 + 0.0*i,
    0.0454605831392553 + 0.0*i,
    -0.258968598222496 + 0.0*i,
    0.175212825189332 + 0.0*i,
    -0.3627867023362 + 0.0*i,
    -0.352485742222965 + 0.0*i,
    0.039454712251983 + 0.0*i,
    0.586894147475482 + 0.0*i,
    -0.438490406006997 + 0.0*i,
    -0.347851557968542 + 0.0*i,
    0.0813896408929225 + 0.0*i,
    0.318429440807729 + 0.0*i,
    0.333484014338317 + 0.0*i,
    -0.236279915941213 + 0.0*i,
    0.227282971498539 + 0.0*i,
    0.466004079752526 + 0.0*i,
    0.0613531886454853 + 0.0*i,
    -0.803714267097841 + 0.0*i,
    0.489006718100619 + 0.0*i,
    -0.658112988127739 + 0.0*i,
    0.047226692338129 + 0.0*i,
    -0.204114410669188 + 0.0*i,
    -0.279912630169974 + 0.0*i,
    0.0227612327708677 + 0.0*i,
    -0.210118000131286 + 0.0*i,
    0.262705355931689 + 0.0*i,
    -1.25154133773962 + 0.0*i,
    -0.346516130300617 + 0.0*i,
    -0.276228592607981 + 0.0*i,
    0.400965818233033 + 0.0*i,
    -0.930819957920955 + 0.0*i,
    -0.576127269770513 + 0.0*i,
    -0.274483050919838 + 0.0*i,
    0.256884352830495 + 0.0*i,
    -0.664687186965771 + 0.0*i,
    -0.197926090981443 + 0.0*i,
    0.284688747852804 + 0.0*i,
    0.55964578610886 + 0.0*i,
    -0.592505084492095 + 0.0*i,
    -0.118385319803105 + 0.0*i,
    0.117095017438193 + 0.0*i,
    -1.17233282773204 + 0.0*i,
    -0.232444853341603 + 0.0*i,
    -0.462663969625164 + 0.0*i,
    0.00946712068992141 + 0.0*i,
    -0.501248502146208 + 0.0*i,
    -1.06395095189312 + 0.0*i,
    0.569762022772182 + 0.0*i,
    -0.165129361172882 + 0.0*i,
    -0.366083516898226 + 0.0*i,
    0.428637572382271 + 0.0*i,
    0.384205191924593 + 0.0*i,
    -0.268331385470828 + 0.0*i,
    -0.476865176752441 + 0.0*i,
    -0.466766432674677 + 0.0*i,
    0.19474647506982 + 0.0*i,
    -0.470604322719282 + 0.0*i,
    -0.925925366395624 + 0.0*i,
    -0.879701775807784 + 0.0*i,
    0.181326781292557 + 0.0*i,
    -0.41988158367357 + 0.0*i,
    0.143492411764167 + 0.0*i,
    0.379039733115652 + 0.0*i,
    -0.0358846883198772 + 0.0*i,
    0.6123986378693 + 0.0*i,
    -0.626068683142782 + 0.0*i,
    -0.963394055323403 + 0.0*i,
    0.0704302106431069 + 0.0*i,
    0.115856822906102 + 0.0*i,
    0.938934688634121 + 0.0*i,
    -0.280195097213997 + 0.0*i,
    0.642701585583437 + 0.0*i,
    -0.851057128091558 + 0.0*i,
    -0.356915589667258 + 0.0*i,
    0.317079831845135 + 0.0*i,
    -0.392092542833919 + 0.0*i,
    -0.854838255613129 + 0.0*i
]);