V:=Matrix(CC,4,43,[
    -1.13741838548732 + 0.0*i,
    0.612124354729645 + 0.0*i,
    -0.0223932311214284 + 0.0*i,
    -0.0968755544346896 + 0.0*i,
    0.131466555666648 + 0.0*i,
    0.364616864344073 + 0.0*i,
    0.0375532181376556 + 0.0*i,
    -0.354223692239676 + 0.0*i,
    0.486089872853898 + 0.0*i,
    0.059344638464426 + 0.0*i,
    0.543186549858194 + 0.0*i,
    -0.890302426176973 + 0.0*i,
    0.0579418180955439 + 0.0*i,
    -0.55311018152716 + 0.0*i,
    -0.656568144687486 + 0.0*i,
    -0.549831568339395 + 0.0*i,
    -0.211487056350142 + 0.0*i,
    0.187914884609897 + 0.0*i,
    0.0577521790677719 + 0.0*i,
    -0.0418682419804162 + 0.0*i,
    -0.224825471664955 + 0.0*i,
    -0.00128091558244174 + 0.0*i,
    -0.345124071454388 + 0.0*i,
    -0.402791133449124 + 0.0*i,
    0.85236347042575 + 0.0*i,
    -0.617383161879773 + 0.0*i,
    -0.231657599309886 + 0.0*i,
    -0.252658048190321 + 0.0*i,
    1.13912761009996 + 0.0*i,
    -0.183659315691888 + 0.0*i,
    -0.10474477194962 + 0.0*i,
    -0.316531546351018 + 0.0*i,
    -0.469731072924852 + 0.0*i,
    -0.125549842642854 + 0.0*i,
    0.0827255621792829 + 0.0*i,
    -0.0156481053858096 + 0.0*i,
    0.137467562308666 + 0.0*i,
    -0.568524336719643 + 0.0*i,
    -0.270231079376503 + 0.0*i,
    -0.827888306072359 + 0.0*i,
    -0.754395852398539 + 0.0*i,
    0.309727952945343 + 0.0*i,
    0.119056758369854 + 0.0*i,
    -0.499215446672956 + 0.0*i,
    0.377023637185937 + 0.0*i,
    0.267398664152161 + 0.0*i,
    0.701929360804358 + 0.0*i,
    -0.598268697108082 + 0.0*i,
    -0.933330846035825 + 0.0*i,
    -0.398774608982705 + 0.0*i,
    -0.0598655680850136 + 0.0*i,
    0.729311700856362 + 0.0*i,
    -0.40958161110953 + 0.0*i,
    0.253883551076127 + 0.0*i,
    -0.644735855837425 + 0.0*i,
    0.761213724432535 + 0.0*i,
    0.638626920245744 + 0.0*i,
    0.152060493615326 + 0.0*i,
    -0.712414344661385 + 0.0*i,
    1.17686574215908 + 0.0*i,
    1.20650174071165 + 0.0*i,
    -0.290867178242623 + 0.0*i,
    -0.0437745165861062 + 0.0*i,
    -0.670004895429752 + 0.0*i,
    0.0840500854659884 + 0.0*i,
    0.314598747356738 + 0.0*i,
    -0.0808038815999002 + 0.0*i,
    -0.807170051295761 + 0.0*i,
    0.451872515239637 + 0.0*i,
    0.777961027671092 + 0.0*i,
    -0.378396742439769 + 0.0*i,
    0.145969123794504 + 0.0*i,
    -0.433997743827879 + 0.0*i,
    0.921073444649309 + 0.0*i,
    -0.220547384859341 + 0.0*i,
    0.483222169007531 + 0.0*i,
    -0.0257247778440586 + 0.0*i,
    -0.221717392037718 + 0.0*i,
    -0.386607381063884 + 0.0*i,
    0.0597902178724334 + 0.0*i,
    0.532016881411007 + 0.0*i,
    -0.0672097339697508 + 0.0*i,
    0.125207138460285 + 0.0*i,
    -0.0529393250082103 + 0.0*i,
    0.647443444019668 + 0.0*i,
    0.131197065278996 + 0.0*i,
    0.0865521910796286 + 0.0*i,
    -0.24434447402645 + 0.0*i,
    0.116583968111247 + 0.0*i,
    0.774830232751215 + 0.0*i,
    -0.610686938627349 + 0.0*i,
    0.0789703864739523 + 0.0*i,
    -0.526956610212995 + 0.0*i,
    -0.142469213212608 + 0.0*i,
    -0.210674476558454 + 0.0*i,
    0.591384080980183 + 0.0*i,
    -0.500287655569678 + 0.0*i,
    -0.037649634753443 + 0.0*i,
    -0.824362372890561 + 0.0*i,
    -0.73269943317319 + 0.0*i,
    -0.381617345704414 + 0.0*i,
    -0.111285369502219 + 0.0*i,
    0.323392816457187 + 0.0*i,
    -0.35768057063626 + 0.0*i,
    -0.301681424174867 + 0.0*i,
    0.474546394688844 + 0.0*i,
    -1.11568176530161 + 0.0*i,
    0.107092462147987 + 0.0*i,
    -1.0946624842361 + 0.0*i,
    -0.236379876177509 + 0.0*i,
    0.319701601518143 + 0.0*i,
    -0.070724502588919 + 0.0*i,
    0.549883051005437 + 0.0*i,
    0.191485912325969 + 0.0*i,
    -0.336243088771588 + 0.0*i,
    -0.92406198382355 + 0.0*i,
    -0.647852321560436 + 0.0*i,
    -0.122720915322526 + 0.0*i,
    0.571678004913242 + 0.0*i,
    -0.210830889928174 + 0.0*i,
    0.435205267130813 + 0.0*i,
    0.456601829223837 + 0.0*i,
    0.651350196505386 + 0.0*i,
    0.69518753912018 + 0.0*i,
    -0.342003120238021 + 0.0*i,
    0.279254675634136 + 0.0*i,
    -0.740577056987598 + 0.0*i,
    0.247656350287023 + 0.0*i,
    -0.27473979854708 + 0.0*i,
    -0.873139400021424 + 0.0*i,
    -0.424683719768105 + 0.0*i,
    0.031746600502846 + 0.0*i,
    -0.125550725865534 + 0.0*i,
    0.250602445922271 + 0.0*i,
    0.858281149500643 + 0.0*i,
    0.83259845611235 + 0.0*i,
    0.0583654796099431 + 0.0*i,
    0.139781564010967 + 0.0*i,
    -0.247599338922402 + 0.0*i,
    -0.259315958175874 + 0.0*i,
    0.0789316237886948 + 0.0*i,
    0.127959567824947 + 0.0*i,
    0.0566839426833415 + 0.0*i,
    0.321208517151524 + 0.0*i,
    0.275345015127323 + 0.0*i,
    0.172678958829793 + 0.0*i,
    -1.12597067216007 + 0.0*i,
    -0.345303599176162 + 0.0*i,
    0.0944805562921545 + 0.0*i,
    0.132431960723362 + 0.0*i,
    0.177906305841864 + 0.0*i,
    0.465703116743618 + 0.0*i,
    0.297168077523881 + 0.0*i,
    -0.594995033920936 + 0.0*i,
    0.336580731768337 + 0.0*i,
    0.130910696397286 + 0.0*i,
    -0.388935346504338 + 0.0*i,
    -0.596303439562438 + 0.0*i,
    -0.496573895970784 + 0.0*i,
    0.121412166045657 + 0.0*i,
    0.540451265023818 + 0.0*i,
    0.885521399485128 + 0.0*i,
    -1.02696851507457 + 0.0*i,
    -0.134598055349456 + 0.0*i,
    -0.322255463655951 + 0.0*i,
    -0.304130789266033 + 0.0*i,
    -0.772910841446348 + 0.0*i,
    -0.686966323952484 + 0.0*i,
    0.240224018885882 + 0.0*i,
    -0.169333588519074 + 0.0*i,
    0.779054868666603 + 0.0*i,
    -0.592820275167492 + 0.0*i
]);