V:=Matrix(CC,9,18,[
    0.0440701188704737 + 0.0*i,
    0.110296217559646 + 0.0*i,
    -0.48142899292028 + 0.0*i,
    0.292478793239725 + 0.0*i,
    0.667616438869641 + 0.0*i,
    -0.248951415503751 + 0.0*i,
    -0.241737277282336 + 0.0*i,
    0.644935496456089 + 0.0*i,
    -0.340764572498429 + 0.0*i,
    0.00684415333149166 + 0.0*i,
    0.175003568396554 + 0.0*i,
    0.513713231258381 + 0.0*i,
    0.036303693215551 + 0.0*i,
    -0.380280296300956 + 0.0*i,
    0.252592405147351 + 0.0*i,
    0.0247515417827722 + 0.0*i,
    -0.369410551856486 + 0.0*i,
    0.181147254736948 + 0.0*i,
    0.624488917222916 + 0.0*i,
    -0.113234737183156 + 0.0*i,
    0.144063221190085 + 0.0*i,
    -0.581136189638278 + 0.0*i,
    -0.309566657226445 + 0.0*i,
    -0.13224746602754 + 0.0*i,
    0.662523710431965 + 0.0*i,
    0.337826980945285 + 0.0*i,
    -0.0390169487022114 + 0.0*i,
    0.0627178401542008 + 0.0*i,
    0.113228788878235 + 0.0*i,
    0.24212271474517 + 0.0*i,
    -0.0993548054701155 + 0.0*i,
    -0.0818288517190456 + 0.0*i,
    0.596059606535757 + 0.0*i,
    0.00827930979328125 + 0.0*i,
    -0.236517404894142 + 0.0*i,
    -0.0651226750556124 + 0.0*i,
    0.156162048217899 + 0.0*i,
    0.108581585429906 + 0.0*i,
    -0.0209444580431954 + 0.0*i,
    -0.24023769460416 + 0.0*i,
    -0.349605463271013 + 0.0*i,
    -0.22449748457877 + 0.0*i,
    -0.407429864295623 + 0.0*i,
    0.495438891158483 + 0.0*i,
    -0.449688458957145 + 0.0*i,
    0.42359609591365 + 0.0*i,
    -0.201183232742476 + 0.0*i,
    -0.39387248361507 + 0.0*i,
    -0.464371034730901 + 0.0*i,
    -0.29211836283321 + 0.0*i,
    -0.180883708777442 + 0.0*i,
    0.261483175433461 + 0.0*i,
    0.531722276232552 + 0.0*i,
    0.110000124728932 + 0.0*i,
    -0.0206271629191041 + 0.0*i,
    -0.431423516612424 + 0.0*i,
    0.104606517345986 + 0.0*i,
    -0.0694997376183875 + 0.0*i,
    0.176976927692711 + 0.0*i,
    0.00758590136748785 + 0.0*i,
    0.0177046048779496 + 0.0*i,
    0.397693680141306 + 0.0*i,
    0.462516226601484 + 0.0*i,
    -0.0428046464705791 + 0.0*i,
    -0.622691036442144 + 0.0*i,
    0.299139795023889 + 0.0*i,
    -0.323770490654261 + 0.0*i,
    0.600909106792345 + 0.0*i,
    -0.179904950743923 + 0.0*i,
    0.193094302095005 + 0.0*i,
    -0.0486314192970845 + 0.0*i,
    0.617735553722774 + 0.0*i,
    0.255900628284977 + 0.0*i,
    -0.0193499702602924 + 0.0*i,
    0.0396580332133813 + 0.0*i,
    -0.43241215582409 + 0.0*i,
    0.400034289344324 + 0.0*i,
    -0.202709958414515 + 0.0*i,
    -0.076729648939515 + 0.0*i,
    0.0367999404583896 + 0.0*i,
    0.464360346861709 + 0.0*i,
    -0.619648059599388 + 0.0*i,
    -0.144277782002071 + 0.0*i,
    -0.353046254317844 + 0.0*i,
    0.392545712736193 + 0.0*i,
    -0.622433333253025 + 0.0*i,
    0.0111372324001053 + 0.0*i,
    -0.0611943443818392 + 0.0*i,
    0.355702453117419 + 0.0*i,
    0.231447016860842 + 0.0*i,
    0.202045916857065 + 0.0*i,
    -0.726838667068435 + 0.0*i,
    -0.163428801937539 + 0.0*i,
    -0.142970078357981 + 0.0*i,
    -0.0898809228078276 + 0.0*i,
    0.653457144830278 + 0.0*i,
    -0.55731477892678 + 0.0*i,
    0.199512464079504 + 0.0*i,
    -0.170274457996324 + 0.0*i,
    -0.0312347155133825 + 0.0*i,
    -0.258239260999266 + 0.0*i,
    0.0485191896528019 + 0.0*i,
    0.410810407250429 + 0.0*i,
    -0.0616318250371031 + 0.0*i,
    0.209029003500961 + 0.0*i,
    0.00341446889953276 + 0.0*i,
    -0.0428245915617651 + 0.0*i,
    -0.547110309540967 + 0.0*i,
    0.275871409748882 + 0.0*i,
    0.332480429886803 + 0.0*i,
    0.241074691041682 + 0.0*i,
    0.12965743602757 + 0.0*i,
    0.0913482894359782 + 0.0*i,
    0.601682366889712 + 0.0*i,
    0.0917993563150178 + 0.0*i,
    -0.127909777589432 + 0.0*i,
    -0.43965084230041 + 0.0*i,
    -0.244203527660558 + 0.0*i,
    -0.239483253743062 + 0.0*i,
    0.418319347221574 + 0.0*i,
    -0.213835382609066 + 0.0*i,
    -0.0332584109422649 + 0.0*i,
    0.270940675030044 + 0.0*i,
    -0.601746972913811 + 0.0*i,
    0.605061675199626 + 0.0*i,
    0.263589058349329 + 0.0*i,
    -0.630796920572355 + 0.0*i,
    0.194658530594536 + 0.0*i,
    -0.229999065859955 + 0.0*i,
    -0.409517133091902 + 0.0*i,
    0.291133536422958 + 0.0*i,
    -0.150517442108424 + 0.0*i,
    0.012371633251914 + 0.0*i,
    0.065009533810333 + 0.0*i,
    0.115094483571184 + 0.0*i,
    0.291687100535281 + 0.0*i,
    -0.545516485119835 + 0.0*i,
    -0.195073556149999 + 0.0*i,
    -0.321216958206218 + 0.0*i,
    -0.0719160948453879 + 0.0*i,
    0.369729077054725 + 0.0*i,
    -0.639465760296754 + 0.0*i,
    -0.113218967599147 + 0.0*i,
    -0.374376233974945 + 0.0*i,
    -0.034413206230859 + 0.0*i,
    -0.319102788121196 + 0.0*i,
    -0.76970582994653 + 0.0*i,
    -0.353882019872717 + 0.0*i,
    -0.213736881074966 + 0.0*i,
    -0.123716390921862 + 0.0*i,
    0.121300898669763 + 0.0*i,
    -0.0573305109027192 + 0.0*i,
    -0.118673417170009 + 0.0*i,
    -0.533555571784251 + 0.0*i,
    0.299475959871723 + 0.0*i,
    0.30131573269864 + 0.0*i,
    -0.443274208339522 + 0.0*i,
    -0.0354610838191267 + 0.0*i,
    -0.513135341697792 + 0.0*i,
    -0.340686797868351 + 0.0*i,
    0.129337778646505 + 0.0*i,
    -0.0946045156083575 + 0.0*i
]);