V:=Matrix(CC,9,9,[
    0.142152268310753 + 0.0*i,
    0.318585190624244 + 0.0*i,
    0.714455535201395 + 0.0*i,
    0.179109455954272 + 0.0*i,
    0.112433066795635 + 0.0*i,
    0.00338851352300979 + 0.0*i,
    -0.487252320305428 + 0.0*i,
    -0.112919714526692 + 0.0*i,
    0.270094313205143 + 0.0*i,
    0.0362696681998242 + 0.0*i,
    -0.582276496125382 + 0.0*i,
    -0.195927130284251 + 0.0*i,
    0.0977047541021887 + 0.0*i,
    0.641812730984605 + 0.0*i,
    -0.0446031873587272 + 0.0*i,
    -0.262165177845078 + 0.0*i,
    -0.0700599677796272 + 0.0*i,
    0.352353413856206 + 0.0*i,
    0.0192953821043459 + 0.0*i,
    -0.195414443621171 + 0.0*i,
    0.180364162754882 + 0.0*i,
    0.304474969994349 + 0.0*i,
    -0.125294799291314 + 0.0*i,
    -0.855116170784683 + 0.0*i,
    0.140925409426417 + 0.0*i,
    0.261503123781002 + 0.0*i,
    -0.0322232379957408 + 0.0*i,
    -0.0978803861520092 + 0.0*i,
    0.138599075459016 + 0.0*i,
    -0.339363402786534 + 0.0*i,
    0.339107214885992 + 0.0*i,
    -0.253444355724014 + 0.0*i,
    0.183174793601357 + 0.0*i,
    -0.345141907149143 + 0.0*i,
    0.652281739333185 + 0.0*i,
    0.314113121943277 + 0.0*i,
    0.418324416543486 + 0.0*i,
    0.353809233774723 + 0.0*i,
    -0.243426001996536 + 0.0*i,
    0.64878948777757 + 0.0*i,
    0.314830148012004 + 0.0*i,
    0.0615128017154667 + 0.0*i,
    0.235731593358226 + 0.0*i,
    -0.15297246964424 + 0.0*i,
    -0.194339605617093 + 0.0*i,
    0.169923839554587 + 0.0*i,
    -0.353354850621937 + 0.0*i,
    -0.109593619569503 + 0.0*i,
    0.212534770887508 + 0.0*i,
    -0.38104696802303 + 0.0*i,
    0.0328232161614499 + 0.0*i,
    -0.56203972946143 + 0.0*i,
    -0.282098889675669 + 0.0*i,
    -0.49733474703924 + 0.0*i,
    -0.698580945169568 + 0.0*i,
    -0.159275242204419 + 0.0*i,
    0.15958217164392 + 0.0*i,
    0.518587541806915 + 0.0*i,
    -0.118918438139474 + 0.0*i,
    0.197892839850738 + 0.0*i,
    0.210398354718231 + 0.0*i,
    -0.29307095693035 + 0.0*i,
    0.0935699078658123 + 0.0*i,
    0.225231479622554 + 0.0*i,
    -0.412197485919465 + 0.0*i,
    0.45466689701776 + 0.0*i,
    0.109997271256733 + 0.0*i,
    0.0752665450828921 + 0.0*i,
    0.423528817102434 + 0.0*i,
    0.258078124509502 + 0.0*i,
    0.481384682406719 + 0.0*i,
    -0.277786586420608 + 0.0*i,
    0.475300303070493 + 0.0*i,
    -0.23821220641714 + 0.0*i,
    -0.00341489852072339 + 0.0*i,
    0.0595281943238747 + 0.0*i,
    -0.481020720445039 + 0.0*i,
    0.0991109470103197 + 0.0*i,
    0.269335962287319 + 0.0*i,
    -0.260544104474718 + 0.0*i,
    0.576333492305662 + 0.0*i
]);