V:=Matrix(CC,4,19,[ -0.455301599692406 + 0.0*i, -0.511706397921617 + 0.0*i, -0.0267116942412693 + 0.0*i, -0.454967467389245 + 0.0*i, -0.139845050584914 + 0.0*i, 0.641367673843175 + 0.0*i, 0.106864043811211 + 0.0*i, 0.401132390979401 + 0.0*i, -0.153331740874063 + 0.0*i, 0.712624976739806 + 0.0*i, -0.552754567196574 + 0.0*i, 0.480918948632264 + 0.0*i, 0.0488753335211702 + 0.0*i, 0.725751893672285 + 0.0*i, -0.699354125158743 + 0.0*i, -0.275598797397392 + 0.0*i, -0.973896216503526 + 0.0*i, 0.0231749253686285 + 0.0*i, -0.600915704609374 + 0.0*i, -0.237181146825113 + 0.0*i, 0.0688742094770419 + 0.0*i, 0.373758826294363 + 0.0*i, 0.267060961885419 + 0.0*i, 0.818786091721895 + 0.0*i, -0.694057320245361 + 0.0*i, -0.280878036895246 + 0.0*i, 0.636860847217603 + 0.0*i, 0.367807514272165 + 0.0*i, -0.547586083562174 + 0.0*i, -0.365164532406448 + 0.0*i, -0.502028115748765 + 0.0*i, 0.693728161762714 + 0.0*i, 0.201988796075435 + 0.0*i, 0.16078553793911 + 0.0*i, -0.440883648503309 + 0.0*i, -0.0326200894709652 + 0.0*i, 0.933270128656946 + 0.0*i, -0.730158506095714 + 0.0*i, -0.588194000557281 + 0.0*i, 0.548935272576292 + 0.0*i, 0.952323463747048 + 0.0*i, -0.833499387299002 + 0.0*i, 0.371530610114115 + 0.0*i, -0.247566676245715 + 0.0*i, -0.12241689640892 + 0.0*i, -0.110928257696695 + 0.0*i, -0.649736572524752 + 0.0*i, 0.220049239030079 + 0.0*i, 0.721959341385488 + 0.0*i, 0.26160785836094 + 0.0*i, 0.463880781040857 + 0.0*i, 0.253806779852437 + 0.0*i, 0.536441301412985 + 0.0*i, 0.589090431730699 + 0.0*i, 0.0122222318862339 + 0.0*i, -0.36269979194979 + 0.0*i, -0.285529997405591 + 0.0*i, 0.592760782100434 + 0.0*i, 0.649349707280351 + 0.0*i, 0.0568354359264696 + 0.0*i, 0.0632645630072322 + 0.0*i, -0.372875307615183 + 0.0*i, -0.112823209622387 + 0.0*i, 1.01934584173992 + 0.0*i, -0.597460503526042 + 0.0*i, -0.639510610097707 + 0.0*i, 0.280615047194545 + 0.0*i, 0.138822465427169 + 0.0*i, -0.663722807013817 + 0.0*i, 0.640203328093069 + 0.0*i, 0.623987546164799 + 0.0*i, -0.404302768907488 + 0.0*i, -0.654345049486584 + 0.0*i, 0.192921325671855 + 0.0*i, 0.0604274540838717 + 0.0*i, 0.012497837613809 + 0.0*i ]);