V:=Matrix(CC,4,46,[
    1.0403878185362 + 0.0*i,
    -0.640904000347594 + 0.0*i,
    0.093810326440243 + 0.0*i,
    0.056821733540469 + 0.0*i,
    -0.258728159547792 + 0.0*i,
    -0.501941154235142 + 0.0*i,
    0.0566289584089749 + 0.0*i,
    0.2094854892031 + 0.0*i,
    -0.121371194849171 + 0.0*i,
    0.364172121989005 + 0.0*i,
    -0.371164892637737 + 0.0*i,
    0.939234530172729 + 0.0*i,
    0.0784889120234452 + 0.0*i,
    0.786770385374034 + 0.0*i,
    -0.104949038569588 + 0.0*i,
    0.3139532169344 + 0.0*i,
    0.886348230556029 + 0.0*i,
    0.765331736571734 + 0.0*i,
    -0.620327660683001 + 0.0*i,
    0.117231800174079 + 0.0*i,
    0.636699180707927 + 0.0*i,
    0.328364501085343 + 0.0*i,
    -0.366626553251125 + 0.0*i,
    0.188658864457725 + 0.0*i,
    -0.0813184473550584 + 0.0*i,
    -0.105891178387514 + 0.0*i,
    -0.649808712725751 + 0.0*i,
    -0.468818733861047 + 0.0*i,
    0.371795219888232 + 0.0*i,
    0.336000114796088 + 0.0*i,
    -0.500694174581726 + 0.0*i,
    -0.837930757358401 + 0.0*i,
    0.640057781302668 + 0.0*i,
    0.348224232209534 + 0.0*i,
    -0.683677356671015 + 0.0*i,
    -0.690563138200656 + 0.0*i,
    0.647929693494668 + 0.0*i,
    -0.0316352657632014 + 0.0*i,
    0.334800096905982 + 0.0*i,
    0.139830717570629 + 0.0*i,
    -0.706411859677945 + 0.0*i,
    -0.127608554438342 + 0.0*i,
    -0.502654621791486 + 0.0*i,
    0.00781294479107533 + 0.0*i,
    0.933103306625536 + 0.0*i,
    0.703913147757558 + 0.0*i,
    0.141947612299074 + 0.0*i,
    0.481694140617954 + 0.0*i,
    -0.918087526457135 + 0.0*i,
    0.276417264861689 + 0.0*i,
    -0.755928597684819 + 0.0*i,
    -0.625348329509963 + 0.0*i,
    -0.712001603195143 + 0.0*i,
    -0.511567204145538 + 0.0*i,
    -0.00534100072139042 + 0.0*i,
    0.296358037536136 + 0.0*i,
    -0.42706392217297 + 0.0*i,
    0.213473660616587 + 0.0*i,
    1.07838221118745 + 0.0*i,
    -0.394752012677568 + 0.0*i,
    -0.239176494201972 + 0.0*i,
    0.211907332318599 + 0.0*i,
    0.15282208507774 + 0.0*i,
    0.864627419803181 + 0.0*i,
    0.881905444329376 + 0.0*i,
    0.767767875191418 + 0.0*i,
    -0.596233070008942 + 0.0*i,
    -0.15279075659694 + 0.0*i,
    -0.267635889316388 + 0.0*i,
    -0.0615701443159664 + 0.0*i,
    0.0153004816050574 + 0.0*i,
    -0.0059577493969911 + 0.0*i,
    0.240133112603258 + 0.0*i,
    0.457981898613878 + 0.0*i,
    -0.41733720438482 + 0.0*i,
    0.355101090430775 + 0.0*i,
    0.233541135621428 + 0.0*i,
    0.446880107067448 + 0.0*i,
    -0.139732084826319 + 0.0*i,
    0.748176419980023 + 0.0*i,
    -0.354485901468139 + 0.0*i,
    0.591490113853592 + 0.0*i,
    -0.335159684295572 + 0.0*i,
    0.983372572222009 + 0.0*i,
    0.353846647794154 + 0.0*i,
    0.101023035894531 + 0.0*i,
    -0.462560170913556 + 0.0*i,
    -0.272474511521897 + 0.0*i,
    -0.130810248816716 + 0.0*i,
    -0.764461126426412 + 0.0*i,
    -0.200387183237506 + 0.0*i,
    0.480367880361022 + 0.0*i,
    0.0564668227994675 + 0.0*i,
    -0.991046823336089 + 0.0*i,
    -0.50334715578921 + 0.0*i,
    0.06686767900773 + 0.0*i,
    0.409846322046638 + 0.0*i,
    0.161651476154492 + 0.0*i,
    -0.279848932100839 + 0.0*i,
    0.406780310026428 + 0.0*i,
    -0.244949438088348 + 0.0*i,
    -0.143455894966771 + 0.0*i,
    0.122720518824956 + 0.0*i,
    -0.0168531605392932 + 0.0*i,
    -0.173356812812199 + 0.0*i,
    -0.551332402178644 + 0.0*i,
    -0.482310160404102 + 0.0*i,
    -0.298015105352812 + 0.0*i,
    -0.620592859961519 + 0.0*i,
    0.117903061083277 + 0.0*i,
    -0.0192170737795997 + 0.0*i,
    -0.0286266106839406 + 0.0*i,
    -0.335927185278412 + 0.0*i,
    -1.0273307368636 + 0.0*i,
    0.698361099261713 + 0.0*i,
    -1.06234959110661 + 0.0*i,
    0.16380375480019 + 0.0*i,
    -0.585133725310466 + 0.0*i,
    0.104151836127934 + 0.0*i,
    -0.353991359839632 + 0.0*i,
    0.750017216870624 + 0.0*i,
    0.406270353720763 + 0.0*i,
    -0.0230305789725066 + 0.0*i,
    0.091774059746623 + 0.0*i,
    0.180368831419368 + 0.0*i,
    -0.799160676118614 + 0.0*i,
    -0.892272166177675 + 0.0*i,
    0.155248382152742 + 0.0*i,
    -0.223267378146806 + 0.0*i,
    0.0890601609653237 + 0.0*i,
    -0.234250822054395 + 0.0*i,
    -0.310117962697712 + 0.0*i,
    0.387713734977434 + 0.0*i,
    -0.411479596934464 + 0.0*i,
    -0.489761620908412 + 0.0*i,
    -0.854580120851383 + 0.0*i,
    0.221679507953765 + 0.0*i,
    0.458438533414284 + 0.0*i,
    0.366336505677534 + 0.0*i,
    -0.191334410538665 + 0.0*i,
    0.404826841452953 + 0.0*i,
    0.452481684145719 + 0.0*i,
    -0.380292227464117 + 0.0*i,
    0.646568575880022 + 0.0*i,
    -0.0209936960331332 + 0.0*i,
    0.94908757314875 + 0.0*i,
    -0.6033548362879 + 0.0*i,
    0.237660269817493 + 0.0*i,
    -0.89961925628994 + 0.0*i,
    -0.602699187375943 + 0.0*i,
    -0.357143866192153 + 0.0*i,
    -0.230854286723629 + 0.0*i,
    -0.873815086828911 + 0.0*i,
    0.54121665896348 + 0.0*i,
    0.158998526293383 + 0.0*i,
    0.0987015747211936 + 0.0*i,
    -0.0800565292701858 + 0.0*i,
    0.209841554525931 + 0.0*i,
    -0.0304585328541303 + 0.0*i,
    0.540838303256616 + 0.0*i,
    0.708023086721901 + 0.0*i,
    -0.395058577772709 + 0.0*i,
    -0.0335013819875714 + 0.0*i,
    -0.0783015729836956 + 0.0*i,
    -0.696468259749642 + 0.0*i,
    0.729338836176365 + 0.0*i,
    -0.649322229331708 + 0.0*i,
    0.876034832936488 + 0.0*i,
    -0.370612642038217 + 0.0*i,
    0.619613411698424 + 0.0*i,
    0.440222799733788 + 0.0*i,
    0.134366652853055 + 0.0*i,
    0.423043371976071 + 0.0*i,
    -0.533121562930147 + 0.0*i,
    0.203089788628803 + 0.0*i,
    0.595134357239386 + 0.0*i,
    0.70839393980234 + 0.0*i,
    0.529996853485561 + 0.0*i,
    0.304280773251404 + 0.0*i,
    1.14896741319227 + 0.0*i,
    0.141903739293314 + 0.0*i,
    -0.24195598728163 + 0.0*i,
    0.310181598376039 + 0.0*i,
    0.331699935562514 + 0.0*i
]);