V:=Matrix(CC,4,23,[
    -0.0174976006070547 + 0.0*i,
    0.759226785427735 + 0.0*i,
    0.103434750097596 + 0.0*i,
    0.372280062161736 + 0.0*i,
    -0.181017815390765 + 0.0*i,
    0.440233660843168 + 0.0*i,
    -0.490189687364228 + 0.0*i,
    -0.0580470791038338 + 0.0*i,
    0.316215259510703 + 0.0*i,
    0.710078463345967 + 0.0*i,
    -0.0964336436456618 + 0.0*i,
    -0.205974710701999 + 0.0*i,
    -0.706159546007179 + 0.0*i,
    -0.0565615219482661 + 0.0*i,
    0.92743923018141 + 0.0*i,
    0.0528617735040427 + 0.0*i,
    -0.156889683225214 + 0.0*i,
    0.311395438812857 + 0.0*i,
    -0.754938349753044 + 0.0*i,
    0.690212363701596 + 0.0*i,
    -0.424155317498895 + 0.0*i,
    0.263000529841118 + 0.0*i,
    0.222390257283624 + 0.0*i,
    0.388782249007741 + 0.0*i,
    0.299331647706546 + 0.0*i,
    -0.227231964298681 + 0.0*i,
    -0.752093807012241 + 0.0*i,
    -0.36573879156333 + 0.0*i,
    0.144540464840596 + 0.0*i,
    0.0664590378337099 + 0.0*i,
    0.33347346968811 + 0.0*i,
    -0.250937613984241 + 0.0*i,
    -0.798963515786662 + 0.0*i,
    -0.530187156427654 + 0.0*i,
    0.386987228073108 + 0.0*i,
    -0.883858266021996 + 0.0*i,
    0.0985631168508181 + 0.0*i,
    0.179275236356935 + 0.0*i,
    -0.16671649470555 + 0.0*i,
    0.890667215294812 + 0.0*i,
    -0.585430837359563 + 0.0*i,
    -0.0554502171942321 + 0.0*i,
    -0.468683389451079 + 0.0*i,
    0.253250002569649 + 0.0*i,
    -0.362615320008699 + 0.0*i,
    -0.641531252403253 + 0.0*i,
    0.125267975151924 + 0.0*i,
    1.12186932224045 + 0.0*i,
    0.487115936707382 + 0.0*i,
    0.673006605494846 + 0.0*i,
    -0.599092924308287 + 0.0*i,
    0.0479022270312741 + 0.0*i,
    0.0833672524524321 + 0.0*i,
    0.447399942259366 + 0.0*i,
    0.795341251432294 + 0.0*i,
    0.273743876484098 + 0.0*i,
    0.572932067904734 + 0.0*i,
    0.298364915892649 + 0.0*i,
    -0.755631551419999 + 0.0*i,
    0.264464240612383 + 0.0*i,
    0.261621770285744 + 0.0*i,
    -0.379965084006999 + 0.0*i,
    0.128242044209567 + 0.0*i,
    0.38705140506713 + 0.0*i,
    1.43490113148994 + 0.0*i,
    -0.392204355505665 + 0.0*i,
    0.248887568057893 + 0.0*i,
    0.88317150247905 + 0.0*i,
    -0.877981805620628 + 0.0*i,
    0.404450617254909 + 0.0*i,
    0.246701058723321 + 0.0*i,
    -0.323471611209848 + 0.0*i,
    -0.810807300126208 + 0.0*i,
    -0.190291348822178 + 0.0*i,
    0.267442802660361 + 0.0*i,
    -0.0946050694974071 + 0.0*i,
    -0.631112562684911 + 0.0*i,
    -0.0399286439811453 + 0.0*i,
    0.0584246576982513 + 0.0*i,
    0.0842928497487167 + 0.0*i,
    -0.305878242622896 + 0.0*i,
    -0.476356600623792 + 0.0*i,
    -0.464063418645871 + 0.0*i,
    -0.514672311742958 + 0.0*i,
    0.536353020303529 + 0.0*i,
    0.16139737196729 + 0.0*i,
    -1.15239759640634 + 0.0*i,
    0.228366812309395 + 0.0*i,
    -0.626687582371532 + 0.0*i,
    0.501530185103949 + 0.0*i,
    0.0309151246770845 + 0.0*i,
    0.287620045325632 + 0.0*i
]);