V:=Matrix(CC,6,64,[
    -0.325589343217019 + 0.0*i,
    0.3724965287516 + 0.0*i,
    -0.199784787892177 + 0.0*i,
    -0.613907643845311 + 0.0*i,
    0.374197203854023 + 0.0*i,
    0.646695865222914 + 0.0*i,
    -0.281306821277461 + 0.0*i,
    -0.0630385054287512 + 0.0*i,
    -0.0460929535677487 + 0.0*i,
    0.00568961321054662 + 0.0*i,
    0.209996585720712 + 0.0*i,
    -0.911114989467701 + 0.0*i,
    -0.0107466318781069 + 0.0*i,
    0.0974929904775581 + 0.0*i,
    0.774780605817793 + 0.0*i,
    -0.126212372579414 + 0.0*i,
    -0.485271810747169 + 0.0*i,
    0.439533989065297 + 0.0*i,
    0.0309577600745146 + 0.0*i,
    -0.0268749625137148 + 0.0*i,
    0.468713545040427 + 0.0*i,
    -0.34487366665013 + 0.0*i,
    0.0355135677545879 + 0.0*i,
    0.154341165777443 + 0.0*i,
    0.531073076501618 + 0.0*i,
    0.0407348614997721 + 0.0*i,
    -0.565511425558105 + 0.0*i,
    0.245084573068889 + 0.0*i,
    0.0216904683656985 + 0.0*i,
    0.0404386849516044 + 0.0*i,
    -0.488366583717902 + 0.0*i,
    0.865395644697997 + 0.0*i,
    0.242535274109117 + 0.0*i,
    0.0917373217226442 + 0.0*i,
    -0.0104437827597361 + 0.0*i,
    -0.458059588164766 + 0.0*i,
    -0.0204127592649874 + 0.0*i,
    -0.331920276055202 + 0.0*i,
    -0.415355172765079 + 0.0*i,
    0.356955847772478 + 0.0*i,
    -0.305854215186292 + 0.0*i,
    -0.575783043340199 + 0.0*i,
    0.198252945808803 + 0.0*i,
    0.742462799200276 + 0.0*i,
    -0.120216856545161 + 0.0*i,
    -0.652121770418371 + 0.0*i,
    0.0158388127094841 + 0.0*i,
    0.113457619399493 + 0.0*i,
    0.257408994546422 + 0.0*i,
    0.480465160843796 + 0.0*i,
    -0.274382925466414 + 0.0*i,
    -0.480581440809945 + 0.0*i,
    -0.156606792436518 + 0.0*i,
    -0.0297588202445492 + 0.0*i,
    0.116008391229727 + 0.0*i,
    -0.193617240175428 + 0.0*i,
    0.111950038264226 + 0.0*i,
    0.00366393981631953 + 0.0*i,
    0.127573624115453 + 0.0*i,
    0.273375130979282 + 0.0*i,
    0.406533423882099 + 0.0*i,
    -0.468955438694472 + 0.0*i,
    -0.82259632560897 + 0.0*i,
    0.528426103696133 + 0.0*i,
    -0.475830167784119 + 0.0*i,
    -0.253503555278837 + 0.0*i,
    -0.268071919409666 + 0.0*i,
    0.0345108436015277 + 0.0*i,
    -0.352124529596384 + 0.0*i,
    0.0339721766337683 + 0.0*i,
    0.373762399401231 + 0.0*i,
    0.359909846242028 + 0.0*i,
    -0.563491909290275 + 0.0*i,
    -0.643391574278122 + 0.0*i,
    0.518649894629887 + 0.0*i,
    0.11264755803423 + 0.0*i,
    0.798196351760373 + 0.0*i,
    -0.430370185977337 + 0.0*i,
    0.592302348131336 + 0.0*i,
    -0.483014789446072 + 0.0*i,
    -0.0701122720922485 + 0.0*i,
    0.552778715196138 + 0.0*i,
    0.238074882848997 + 0.0*i,
    -0.254618434710583 + 0.0*i,
    -0.255693809235937 + 0.0*i,
    -0.146709750038061 + 0.0*i,
    0.742380499386275 + 0.0*i,
    0.367902631688041 + 0.0*i,
    -0.215487288624087 + 0.0*i,
    0.0139662668693988 + 0.0*i,
    0.205834745432699 + 0.0*i,
    0.380104764528072 + 0.0*i,
    -0.462124367999749 + 0.0*i,
    -0.680076883512229 + 0.0*i,
    0.642568088462501 + 0.0*i,
    0.0960015379690089 + 0.0*i,
    0.0108109398824455 + 0.0*i,
    0.265233495959025 + 0.0*i,
    0.811569904356693 + 0.0*i,
    0.759872950252425 + 0.0*i,
    0.290054781567357 + 0.0*i,
    -0.461440279085192 + 0.0*i,
    -0.209684196048425 + 0.0*i,
    -0.807833314061893 + 0.0*i,
    -0.245756184702677 + 0.0*i,
    -0.0144640805809244 + 0.0*i,
    -0.536156956826403 + 0.0*i,
    0.706562706095422 + 0.0*i,
    0.0527781491171692 + 0.0*i,
    -0.0380809495537491 + 0.0*i,
    0.0444366901724867 + 0.0*i,
    -0.269079139481877 + 0.0*i,
    -0.434276710049549 + 0.0*i,
    -0.212504507034925 + 0.0*i,
    0.568679723517104 + 0.0*i,
    0.519275595240655 + 0.0*i,
    0.206495913568123 + 0.0*i,
    -0.215102776521435 + 0.0*i,
    0.437940314524123 + 0.0*i,
    0.494056164522006 + 0.0*i,
    0.122431642827617 + 0.0*i,
    -0.547956026823913 + 0.0*i,
    0.830726866471114 + 0.0*i,
    -0.0587554708051155 + 0.0*i,
    -0.224090119799336 + 0.0*i,
    -0.0986859033275989 + 0.0*i,
    0.395293022045955 + 0.0*i,
    -0.417684093042972 + 0.0*i,
    -0.440140969515582 + 0.0*i,
    0.138957831117626 + 0.0*i,
    -0.0205628259647855 + 0.0*i,
    0.445123362101753 + 0.0*i,
    0.0541078966065207 + 0.0*i,
    -0.428485722809304 + 0.0*i,
    -0.159005511769023 + 0.0*i,
    -0.194333479004054 + 0.0*i,
    -0.292992959666871 + 0.0*i,
    0.250269961242704 + 0.0*i,
    -0.0172246884620093 + 0.0*i,
    -0.440561235526746 + 0.0*i,
    -0.0919312742865035 + 0.0*i,
    0.0539933537429372 + 0.0*i,
    -0.219149148728568 + 0.0*i,
    0.352917163621379 + 0.0*i,
    -0.315654611053436 + 0.0*i,
    0.0357172853931659 + 0.0*i,
    0.155514374887474 + 0.0*i,
    -0.259596078107555 + 0.0*i,
    0.404811849031946 + 0.0*i,
    -0.536799032661094 + 0.0*i,
    -0.00735553845662894 + 0.0*i,
    -0.534603733380368 + 0.0*i,
    -0.0821301351290835 + 0.0*i,
    -0.335209205029882 + 0.0*i,
    0.526317510162202 + 0.0*i,
    -0.458268493518781 + 0.0*i,
    0.894532963564056 + 0.0*i,
    0.139276233183244 + 0.0*i,
    -0.00142759155530759 + 0.0*i,
    -0.267113045428935 + 0.0*i,
    0.292054973847499 + 0.0*i,
    -0.670177918787794 + 0.0*i,
    -0.573966931461622 + 0.0*i,
    -0.211071766281017 + 0.0*i,
    0.174816991131913 + 0.0*i,
    -0.407697145763544 + 0.0*i,
    0.402937299063223 + 0.0*i,
    0.150942098675493 + 0.0*i,
    0.342035601790671 + 0.0*i,
    -0.737844904477267 + 0.0*i,
    -0.512592884224842 + 0.0*i,
    -0.207950209146041 + 0.0*i,
    0.896945106231998 + 0.0*i,
    -0.449705630891562 + 0.0*i,
    -0.405478069360209 + 0.0*i,
    -0.227073568648849 + 0.0*i,
    0.460577944196482 + 0.0*i,
    0.0858089424858407 + 0.0*i,
    0.479111282295383 + 0.0*i,
    0.503140958690174 + 0.0*i,
    0.365688519537866 + 0.0*i,
    -0.438142040859512 + 0.0*i,
    0.732190755616258 + 0.0*i,
    0.0125748500552066 + 0.0*i,
    -0.805236442905934 + 0.0*i,
    0.385467979912901 + 0.0*i,
    0.454966454576128 + 0.0*i,
    0.553583345790614 + 0.0*i,
    0.152628206727881 + 0.0*i,
    -0.0111691343511408 + 0.0*i,
    0.293078159539015 + 0.0*i,
    -0.0910315912518287 + 0.0*i,
    0.583619522531499 + 0.0*i,
    -0.463557935939684 + 0.0*i,
    -0.399705789932868 + 0.0*i,
    0.543987952253645 + 0.0*i,
    0.548951744079255 + 0.0*i,
    0.519309563140783 + 0.0*i,
    0.933400891169642 + 0.0*i,
    -0.254958588770336 + 0.0*i,
    0.170304686249657 + 0.0*i,
    -0.41190174211536 + 0.0*i,
    0.460155861944817 + 0.0*i,
    0.174876004118897 + 0.0*i,
    0.421135064863913 + 0.0*i,
    0.274891922038265 + 0.0*i,
    0.631068395616316 + 0.0*i,
    0.854097533815792 + 0.0*i,
    -0.441723491328586 + 0.0*i,
    -0.0521248759253284 + 0.0*i,
    -0.34414742575544 + 0.0*i,
    0.706984809305779 + 0.0*i,
    -0.647532725920663 + 0.0*i,
    0.526321714290293 + 0.0*i,
    0.138433501801096 + 0.0*i,
    0.228166919762073 + 0.0*i,
    -0.307001527429189 + 0.0*i,
    -0.27569560092687 + 0.0*i,
    0.0106566132814319 + 0.0*i,
    0.275365898653564 + 0.0*i,
    0.172806008420589 + 0.0*i,
    -0.255008451118786 + 0.0*i,
    -0.424431465016229 + 0.0*i,
    -0.123934252603211 + 0.0*i,
    -0.685120342404042 + 0.0*i,
    -0.15501578182507 + 0.0*i,
    0.190311452905515 + 0.0*i,
    -0.184472813035988 + 0.0*i,
    -0.00416452790882773 + 0.0*i,
    0.357659604305346 + 0.0*i,
    0.00106292325359716 + 0.0*i,
    0.215336248844829 + 0.0*i,
    -0.859853446287524 + 0.0*i,
    -0.332234563510515 + 0.0*i,
    0.305355503290215 + 0.0*i,
    -0.372823198098227 + 0.0*i,
    0.316422010440175 + 0.0*i,
    -0.303358385348849 + 0.0*i,
    -0.212096084543489 + 0.0*i,
    0.59214725741929 + 0.0*i,
    -0.496424098538852 + 0.0*i,
    0.721109106191163 + 0.0*i,
    -0.305569735329257 + 0.0*i,
    -0.21429141869307 + 0.0*i,
    0.77391609803075 + 0.0*i,
    -0.721768703306412 + 0.0*i,
    -0.0246028213279691 + 0.0*i,
    0.411911363883341 + 0.0*i,
    0.330572275098947 + 0.0*i,
    0.159623367411043 + 0.0*i,
    0.2424274835014 + 0.0*i,
    -0.334183506756736 + 0.0*i,
    0.184241296929145 + 0.0*i,
    0.214090844929743 + 0.0*i,
    0.153602742915278 + 0.0*i,
    -0.384904800164373 + 0.0*i,
    0.118930311456842 + 0.0*i,
    -0.178039611906236 + 0.0*i,
    -0.0162384017586334 + 0.0*i,
    -0.459702163436195 + 0.0*i,
    -0.271015250808795 + 0.0*i,
    -0.12017849166614 + 0.0*i,
    0.10471340626473 + 0.0*i,
    0.476027356781865 + 0.0*i,
    -0.0329946546525591 + 0.0*i,
    -0.634970132747506 + 0.0*i,
    -0.767415763513207 + 0.0*i,
    -0.331938199138066 + 0.0*i,
    0.0170494108620839 + 0.0*i,
    -0.806370808750295 + 0.0*i,
    0.0490534816584253 + 0.0*i,
    -0.245429264453602 + 0.0*i,
    -0.0603641899254789 + 0.0*i,
    0.511058992891646 + 0.0*i,
    -0.804628409045813 + 0.0*i,
    -0.458261015095655 + 0.0*i,
    -0.25168111025959 + 0.0*i,
    0.464938661118378 + 0.0*i,
    -0.0457176312472808 + 0.0*i,
    -0.137907720897523 + 0.0*i,
    -0.395166731172168 + 0.0*i,
    -0.725960010984149 + 0.0*i,
    -0.396510746096205 + 0.0*i,
    0.379495597486672 + 0.0*i,
    0.286518256124275 + 0.0*i,
    -0.120734038413474 + 0.0*i,
    -0.00380960551626447 + 0.0*i,
    -0.411911639020531 + 0.0*i,
    0.469024114428776 + 0.0*i,
    -0.728558730872343 + 0.0*i,
    -0.209893515229654 + 0.0*i,
    0.0727489995509501 + 0.0*i,
    -0.579181084555389 + 0.0*i,
    -0.0656727114148323 + 0.0*i,
    -0.732037678353447 + 0.0*i,
    -0.142149645402069 + 0.0*i,
    0.197252877142133 + 0.0*i,
    0.307808754151719 + 0.0*i,
    -0.292738499428344 + 0.0*i,
    -0.0662354049799816 + 0.0*i,
    -0.234621549740877 + 0.0*i,
    0.575269231131344 + 0.0*i,
    0.755196340103089 + 0.0*i,
    0.408848689987291 + 0.0*i,
    0.146151513372214 + 0.0*i,
    0.364432153722583 + 0.0*i,
    -0.402539567511314 + 0.0*i,
    0.411114429055431 + 0.0*i,
    0.106435656608503 + 0.0*i,
    -0.239266521182208 + 0.0*i,
    0.618620145676853 + 0.0*i,
    -0.58943979315044 + 0.0*i,
    0.175283305909808 + 0.0*i,
    0.313488181792111 + 0.0*i,
    -0.147065539232334 + 0.0*i,
    -0.120973831303668 + 0.0*i,
    0.82972315070049 + 0.0*i,
    -0.0183763506687705 + 0.0*i,
    -0.25712976663817 + 0.0*i,
    -0.668130219921194 + 0.0*i,
    -0.0586583163228257 + 0.0*i,
    -0.714477812620454 + 0.0*i,
    -0.699708798756327 + 0.0*i,
    0.159803934969899 + 0.0*i,
    -0.507395555687342 + 0.0*i,
    0.467934481643825 + 0.0*i,
    -0.799853493687094 + 0.0*i,
    0.641656183330509 + 0.0*i,
    -0.894807409304588 + 0.0*i,
    -0.14690150420578 + 0.0*i,
    -0.403803545891471 + 0.0*i,
    0.108131146673621 + 0.0*i,
    0.0749416829784621 + 0.0*i,
    0.0686433219725549 + 0.0*i,
    -0.363284624189317 + 0.0*i,
    0.300473753132038 + 0.0*i,
    0.131325280924241 + 0.0*i,
    -0.500901551794758 + 0.0*i,
    -0.192969201424416 + 0.0*i,
    -0.12916168170006 + 0.0*i,
    0.0361241994355041 + 0.0*i,
    -0.109763427471935 + 0.0*i,
    -0.383723566943739 + 0.0*i,
    0.681684467452964 + 0.0*i,
    -0.0495244551312597 + 0.0*i,
    0.830490287201435 + 0.0*i,
    0.482650361842572 + 0.0*i,
    -0.506702644920309 + 0.0*i,
    0.0419596888575713 + 0.0*i,
    0.211030444140183 + 0.0*i,
    -0.0893572159836257 + 0.0*i,
    -0.393176339494332 + 0.0*i,
    0.142105126156465 + 0.0*i,
    0.257875445857557 + 0.0*i,
    0.0847551362914002 + 0.0*i,
    -0.11860780470269 + 0.0*i,
    -0.124256266530768 + 0.0*i,
    0.597463079554547 + 0.0*i,
    -0.374210809176178 + 0.0*i,
    -0.0623738598270161 + 0.0*i,
    -0.218553049026877 + 0.0*i,
    0.401609241942139 + 0.0*i,
    0.546902531469361 + 0.0*i,
    0.277498422314696 + 0.0*i,
    -0.462586522313862 + 0.0*i,
    -0.615237126153193 + 0.0*i,
    0.0496622138040942 + 0.0*i,
    0.434772102075379 + 0.0*i,
    -0.0477234946373748 + 0.0*i,
    -0.254632896710624 + 0.0*i,
    0.314933912031897 + 0.0*i,
    0.178829274545578 + 0.0*i,
    -0.320659023349518 + 0.0*i,
    -0.31270015421584 + 0.0*i,
    0.399437999169318 + 0.0*i,
    0.383764228572459 + 0.0*i,
    -0.27200520722845 + 0.0*i,
    0.810158095924183 + 0.0*i,
    -0.0137044210523336 + 0.0*i,
    -0.426162541728788 + 0.0*i,
    -0.00566740834798393 + 0.0*i,
    0.539120307121822 + 0.0*i,
    -0.51648733342889 + 0.0*i,
    -0.0803564065121595 + 0.0*i
]);