V:=Matrix(CC,4,42,[
    0.712730646255501 + 0.0*i,
    0.224262820438861 + 0.0*i,
    -0.394826307007035 + 0.0*i,
    -0.249707296079073 + 0.0*i,
    0.214689960334293 + 0.0*i,
    -0.814663298886633 + 0.0*i,
    -0.730486640102716 + 0.0*i,
    -0.545434117566435 + 0.0*i,
    0.686811623579051 + 0.0*i,
    -0.326359154350962 + 0.0*i,
    0.334218542924935 + 0.0*i,
    -0.123693236525275 + 0.0*i,
    0.511717888019507 + 0.0*i,
    0.528331148548207 + 0.0*i,
    0.074511282048398 + 0.0*i,
    0.282327781545452 + 0.0*i,
    0.863076984286602 + 0.0*i,
    0.097269069392224 + 0.0*i,
    -0.645044398887483 + 0.0*i,
    0.106977693697162 + 0.0*i,
    0.916420092567423 + 0.0*i,
    0.51409139971148 + 0.0*i,
    -0.0613011492011871 + 0.0*i,
    -0.303488078619171 + 0.0*i,
    0.758322582898822 + 0.0*i,
    0.122086942074247 + 0.0*i,
    0.285069262752925 + 0.0*i,
    -0.538386885864351 + 0.0*i,
    0.891934091742917 + 0.0*i,
    -0.0131542087602392 + 0.0*i,
    -0.900029998517477 + 0.0*i,
    -0.59341008294693 + 0.0*i,
    0.552585371162723 + 0.0*i,
    0.0292495218658722 + 0.0*i,
    -0.635435269041497 + 0.0*i,
    0.68602412126633 + 0.0*i,
    -0.404481960269135 + 0.0*i,
    0.280629291185528 + 0.0*i,
    -0.237449458241162 + 0.0*i,
    -0.54514402132796 + 0.0*i,
    -0.206880683426584 + 0.0*i,
    0.410010250170363 + 0.0*i,
    0.572573475282929 + 0.0*i,
    0.710857902803435 + 0.0*i,
    0.342829897906003 + 0.0*i,
    -0.299557365846044 + 0.0*i,
    -0.912262517730276 + 0.0*i,
    0.0920240123641081 + 0.0*i,
    0.0539666703849804 + 0.0*i,
    -0.0344272735809699 + 0.0*i,
    0.580402654713214 + 0.0*i,
    -0.943447231102137 + 0.0*i,
    -0.285453196143979 + 0.0*i,
    0.382331360745886 + 0.0*i,
    0.19010113383242 + 0.0*i,
    0.365079205369176 + 0.0*i,
    0.635324270074579 + 0.0*i,
    -0.904770788009405 + 0.0*i,
    -0.359614742503089 + 0.0*i,
    0.0304438508747011 + 0.0*i,
    -0.604031311531115 + 0.0*i,
    0.0800675969267563 + 0.0*i,
    0.144667997701255 + 0.0*i,
    -0.690140696583021 + 0.0*i,
    -0.826764153100817 + 0.0*i,
    -0.363394401908812 + 0.0*i,
    -0.549227281332681 + 0.0*i,
    -0.249898036837003 + 0.0*i,
    -0.43596457041007 + 0.0*i,
    0.430016620873038 + 0.0*i,
    0.267564111798214 + 0.0*i,
    -0.284919475849115 + 0.0*i,
    0.120865847226451 + 0.0*i,
    0.686981422835493 + 0.0*i,
    0.14207627653357 + 0.0*i,
    0.789705922313474 + 0.0*i,
    -0.219489033668314 + 0.0*i,
    -0.147259469970024 + 0.0*i,
    0.519960717747097 + 0.0*i,
    0.209750629071377 + 0.0*i,
    0.591370639769528 + 0.0*i,
    0.457340013159683 + 0.0*i,
    -0.689990588459737 + 0.0*i,
    0.698560522257596 + 0.0*i,
    0.33618235529102 + 0.0*i,
    0.645834889371418 + 0.0*i,
    -0.53505569878996 + 0.0*i,
    -0.406235113353876 + 0.0*i,
    0.347950507403819 + 0.0*i,
    0.302552695439514 + 0.0*i,
    0.00747378256234892 + 0.0*i,
    0.67325235194526 + 0.0*i,
    0.0906452528146506 + 0.0*i,
    -0.0133804330886115 + 0.0*i,
    -0.00897538023073001 + 0.0*i,
    0.894308760522051 + 0.0*i,
    0.809019470630819 + 0.0*i,
    0.126367474729907 + 0.0*i,
    -0.717841605411324 + 0.0*i,
    -0.334980647970307 + 0.0*i,
    -0.30570394807892 + 0.0*i,
    0.943165551786823 + 0.0*i,
    0.324071034596765 + 0.0*i,
    0.627453581194784 + 0.0*i,
    0.145578437243086 + 0.0*i,
    -0.141474473472124 + 0.0*i,
    -0.0777213911715324 + 0.0*i,
    0.299575423555894 + 0.0*i,
    0.168764345243917 + 0.0*i,
    -0.0241111422126228 + 0.0*i,
    -0.640529408311128 + 0.0*i,
    -0.732710839530173 + 0.0*i,
    -0.31652537576026 + 0.0*i,
    0.921295359882885 + 0.0*i,
    -0.321481411550027 + 0.0*i,
    -0.142247878037837 + 0.0*i,
    -0.818587329160032 + 0.0*i,
    -0.137221871320758 + 0.0*i,
    -0.622444127673302 + 0.0*i,
    0.435955090554556 + 0.0*i,
    0.41368626750344 + 0.0*i,
    -0.534338475317142 + 0.0*i,
    -0.514092287238461 + 0.0*i,
    0.651329763097476 + 0.0*i,
    -0.494100190345052 + 0.0*i,
    -0.53443333156791 + 0.0*i,
    -0.157607518765423 + 0.0*i,
    0.226356265857549 + 0.0*i,
    -0.668124832995052 + 0.0*i,
    -0.83822544926265 + 0.0*i,
    -0.0496492450333986 + 0.0*i,
    0.507980653519907 + 0.0*i,
    -0.69140134664211 + 0.0*i,
    -0.501304247614742 + 0.0*i,
    0.436773880619342 + 0.0*i,
    0.0444613297022054 + 0.0*i,
    -0.911079950464154 + 0.0*i,
    -0.197687025408218 + 0.0*i,
    -0.237192148634321 + 0.0*i,
    -0.762939868273818 + 0.0*i,
    -0.291897452813992 + 0.0*i,
    0.0718388254422089 + 0.0*i,
    0.136421538449551 + 0.0*i,
    0.351115731633878 + 0.0*i,
    0.352027727191702 + 0.0*i,
    -0.780956912608853 + 0.0*i,
    -0.205292833650141 + 0.0*i,
    -0.440784445605939 + 0.0*i,
    -0.566340810516147 + 0.0*i,
    -0.833435399912621 + 0.0*i,
    -0.211133797379682 + 0.0*i,
    0.96600157055296 + 0.0*i,
    -0.562504692468237 + 0.0*i,
    -0.029687726226904 + 0.0*i,
    0.153223570498067 + 0.0*i,
    -0.278355543293942 + 0.0*i,
    -0.188537606395962 + 0.0*i,
    -0.389940172871564 + 0.0*i,
    -0.168496663719572 + 0.0*i,
    -0.613822820000156 + 0.0*i,
    -0.368607924079132 + 0.0*i,
    -0.549294574655363 + 0.0*i,
    -0.629930667494794 + 0.0*i,
    -0.787154141911523 + 0.0*i,
    0.574787469541205 + 0.0*i,
    0.0527715316013275 + 0.0*i,
    0.485025787906712 + 0.0*i,
    0.284451110980614 + 0.0*i
]);