V:=Matrix(CC,4,19,[ 0.187606251332004 + 0.0*i, 0.763512505409011 + 0.0*i, 0.35238132620239 + 0.0*i, 0.756676712477574 + 0.0*i, 0.0486213600619427 + 0.0*i, 0.515316433135411 + 0.0*i, -0.713861630571136 + 0.0*i, -0.284432542719739 + 0.0*i, 0.766396637176778 + 0.0*i, 0.407086784089626 + 0.0*i, 0.132601006657086 + 0.0*i, -0.423160882345291 + 0.0*i, -0.106314314035075 + 0.0*i, -0.486296733178778 + 0.0*i, -0.909081774672097 + 0.0*i, -0.634415368448259 + 0.0*i, 0.25143026757894 + 0.0*i, -0.157738970397654 + 0.0*i, -0.124209413960884 + 0.0*i, -0.351649398068005 + 0.0*i, -0.10957151612826 + 0.0*i, 0.0474606899540965 + 0.0*i, 0.273409471244741 + 0.0*i, -0.830023850525302 + 0.0*i, 0.475697181055207 + 0.0*i, -0.658550378508969 + 0.0*i, 0.366226246732925 + 0.0*i, -0.589848896127072 + 0.0*i, -0.59655857532986 + 0.0*i, 0.181780590698731 + 0.0*i, -0.221238203752274 + 0.0*i, 0.763673907562818 + 0.0*i, -0.415952907132465 + 0.0*i, 0.123983551905598 + 0.0*i, 0.264031537558715 + 0.0*i, 0.855722499788027 + 0.0*i, 0.814147831582223 + 0.0*i, 0.0114270662404207 + 0.0*i, 0.861396821618383 + 0.0*i, -0.388933952428546 + 0.0*i, -0.345727067160145 + 0.0*i, -0.570171449137649 + 0.0*i, -0.183128442341802 + 0.0*i, 0.285131737990452 + 0.0*i, 0.0158906973243981 + 0.0*i, 0.817064453672788 + 0.0*i, -0.182241064529577 + 0.0*i, 0.15720006930953 + 0.0*i, -0.341215371112399 + 0.0*i, -0.427428989947574 + 0.0*i, -0.573608711027932 + 0.0*i, -0.759219391573775 + 0.0*i, -0.368010549356891 + 0.0*i, -0.40652362064414 + 0.0*i, -0.275960730039899 + 0.0*i, 0.474259214299546 + 0.0*i, 0.912255391721805 + 0.0*i, -0.324178368424169 + 0.0*i, -0.498409949767586 + 0.0*i, 0.87334195635079 + 0.0*i, 0.215232719069247 + 0.0*i, 0.530870390913872 + 0.0*i, 0.651147827452809 + 0.0*i, 0.261999471703492 + 0.0*i, -0.316188892833819 + 0.0*i, 0.186443013987588 + 0.0*i, -0.686619204434123 + 0.0*i, -0.915881700595355 + 0.0*i, 0.761390970270342 + 0.0*i, -0.281864979890765 + 0.0*i, -0.00708393660018535 + 0.0*i, 0.141654810653864 + 0.0*i, -0.590369669985316 + 0.0*i, 0.31707200963317 + 0.0*i, 0.299187413672137 + 0.0*i, 0.402205840290464 + 0.0*i ]);