V:=Matrix(CC,4,30,[
    -0.649724956339156 + 0.0*i,
    0.162130008900155 + 0.0*i,
    -0.311414634495757 + 0.0*i,
    -0.0865545470465804 + 0.0*i,
    0.175649847128264 + 0.0*i,
    0.0393436871177476 + 0.0*i,
    -0.765628167178436 + 0.0*i,
    -0.838526690562256 + 0.0*i,
    -0.648115063791176 + 0.0*i,
    -0.639564116140779 + 0.0*i,
    0.496253137718845 + 0.0*i,
    0.300706079908809 + 0.0*i,
    0.330130820883682 + 0.0*i,
    0.0331969591681774 + 0.0*i,
    0.299388160782163 + 0.0*i,
    0.33938142239866 + 0.0*i,
    -0.643549698801759 + 0.0*i,
    0.20093732430143 + 0.0*i,
    0.264599475417065 + 0.0*i,
    -0.803613077285275 + 0.0*i,
    0.0946373649793379 + 0.0*i,
    0.242487009545481 + 0.0*i,
    0.0386203410804341 + 0.0*i,
    0.363334026694747 + 0.0*i,
    -1.08149946929294 + 0.0*i,
    0.667249868296424 + 0.0*i,
    0.200978912721313 + 0.0*i,
    -0.448089167416859 + 0.0*i,
    -0.227219422001562 + 0.0*i,
    0.627748573987323 + 0.0*i,
    0.887986385906213 + 0.0*i,
    0.0661677610583577 + 0.0*i,
    -1.25177453846078 + 0.0*i,
    0.841963237269556 + 0.0*i,
    0.167851036852876 + 0.0*i,
    -0.833961294676424 + 0.0*i,
    -0.324352429615381 + 0.0*i,
    -0.371247696421812 + 0.0*i,
    0.381417671520805 + 0.0*i,
    0.199028099120356 + 0.0*i,
    -0.875436763920223 + 0.0*i,
    -0.812990007845348 + 0.0*i,
    1.0704015814982 + 0.0*i,
    0.40015245270581 + 0.0*i,
    -0.0803124367354514 + 0.0*i,
    -0.646100696107726 + 0.0*i,
    0.563870934592732 + 0.0*i,
    -0.567241753808352 + 0.0*i,
    0.0123488397482162 + 0.0*i,
    -0.00361120593701823 + 0.0*i,
    -0.0633300791339049 + 0.0*i,
    -0.671001058610921 + 0.0*i,
    -0.137017851368228 + 0.0*i,
    0.442679362503213 + 0.0*i,
    0.208953464719949 + 0.0*i,
    -0.250864392722441 + 0.0*i,
    -0.265451961269368 + 0.0*i,
    0.263837658408484 + 0.0*i,
    -0.0468455448105805 + 0.0*i,
    -0.279160109502838 + 0.0*i,
    0.268145414730351 + 0.0*i,
    0.344897465184362 + 0.0*i,
    0.270129503964249 + 0.0*i,
    0.471251529494789 + 0.0*i,
    -0.699089269931475 + 0.0*i,
    0.80647146866772 + 0.0*i,
    -0.460974473419616 + 0.0*i,
    0.627186568403328 + 0.0*i,
    0.291644990759948 + 0.0*i,
    -0.542037865620624 + 0.0*i,
    0.289936823239681 + 0.0*i,
    -0.202914529974016 + 0.0*i,
    -0.186531191066976 + 0.0*i,
    0.29595614292836 + 0.0*i,
    -0.240061605593174 + 0.0*i,
    -0.59298279347897 + 0.0*i,
    -0.373297280193044 + 0.0*i,
    0.153277266086508 + 0.0*i,
    0.586704118075677 + 0.0*i,
    0.00887066400187373 + 0.0*i,
    -0.535767657541928 + 0.0*i,
    -1.12133464111181 + 0.0*i,
    -0.232617335542914 + 0.0*i,
    0.30239185473365 + 0.0*i,
    0.284271172714232 + 0.0*i,
    0.427335303101477 + 0.0*i,
    0.314354312911916 + 0.0*i,
    -0.014322681020814 + 0.0*i,
    0.173374798633397 + 0.0*i,
    0.612048833856967 + 0.0*i,
    -0.409323998547141 + 0.0*i,
    -0.64561043053529 + 0.0*i,
    0.678801884466782 + 0.0*i,
    0.681725582372937 + 0.0*i,
    -0.343114815429886 + 0.0*i,
    -0.366170384684556 + 0.0*i,
    -0.029164571564531 + 0.0*i,
    -0.554065457355535 + 0.0*i,
    0.202303420122961 + 0.0*i,
    -0.471748787635446 + 0.0*i,
    -0.153012108578865 + 0.0*i,
    -0.313701427516224 + 0.0*i,
    -0.00282873846298479 + 0.0*i,
    -0.634667204688577 + 0.0*i,
    1.31073144713639 + 0.0*i,
    -0.561884653182871 + 0.0*i,
    -0.143308971246645 + 0.0*i,
    -0.263253588430136 + 0.0*i,
    0.773475100989046 + 0.0*i,
    0.161166385249754 + 0.0*i,
    -0.284673075395411 + 0.0*i,
    0.497279561504843 + 0.0*i,
    0.65626105781552 + 0.0*i,
    0.256834743732653 + 0.0*i,
    -0.149560171711723 + 0.0*i,
    -0.565462246045662 + 0.0*i,
    -0.104829758141332 + 0.0*i,
    0.42090078025088 + 0.0*i,
    -0.63877899700124 + 0.0*i,
    0.598718036280342 + 0.0*i
]);