V:=Matrix(CC,4,47,[
    0.645041278826819 + 0.0*i,
    -0.0884188087703801 + 0.0*i,
    0.154140956072682 + 0.0*i,
    0.421840819861139 + 0.0*i,
    -0.0410668012988672 + 0.0*i,
    -0.59419617193709 + 0.0*i,
    -0.832606708422433 + 0.0*i,
    0.729136321854545 + 0.0*i,
    0.155754369522703 + 0.0*i,
    0.68067093673172 + 0.0*i,
    0.527084164423785 + 0.0*i,
    0.0762680591137922 + 0.0*i,
    -0.346028632841799 + 0.0*i,
    -0.251305463103685 + 0.0*i,
    0.618927783411584 + 0.0*i,
    0.192529508854862 + 0.0*i,
    0.887362954862754 + 0.0*i,
    0.196069933510772 + 0.0*i,
    -0.921472274068644 + 0.0*i,
    -0.94793245228522 + 0.0*i,
    0.293141657599424 + 0.0*i,
    -0.517758731667372 + 0.0*i,
    0.43124550237173 + 0.0*i,
    -0.041504060486811 + 0.0*i,
    0.278942182826381 + 0.0*i,
    0.777951270537301 + 0.0*i,
    0.719612073920717 + 0.0*i,
    0.658761479073306 + 0.0*i,
    0.61157985734547 + 0.0*i,
    0.318067587984155 + 0.0*i,
    -0.0473444976726451 + 0.0*i,
    0.193741484849469 + 0.0*i,
    -0.156981314165718 + 0.0*i,
    -0.0357337692257506 + 0.0*i,
    0.493762043731294 + 0.0*i,
    0.489523571658067 + 0.0*i,
    -0.337747864099686 + 0.0*i,
    -0.815315436656526 + 0.0*i,
    0.407466367042268 + 0.0*i,
    0.365124043734251 + 0.0*i,
    0.429973688569139 + 0.0*i,
    0.00530101546312727 + 0.0*i,
    -0.226805189847048 + 0.0*i,
    0.742205143378198 + 0.0*i,
    -0.173952565898031 + 0.0*i,
    -0.413005061060619 + 0.0*i,
    0.455317986588924 + 0.0*i,
    -0.463385318596201 + 0.0*i,
    0.720573886182317 + 0.0*i,
    0.0718046521874993 + 0.0*i,
    0.152101948926141 + 0.0*i,
    0.984678890105109 + 0.0*i,
    -0.219004056392965 + 0.0*i,
    0.500950481673669 + 0.0*i,
    -0.240994122615723 + 0.0*i,
    -0.173620588601143 + 0.0*i,
    -0.0968263467086485 + 0.0*i,
    -0.42828842484456 + 0.0*i,
    -0.249958344434776 + 0.0*i,
    0.864948251235548 + 0.0*i,
    0.758514392533906 + 0.0*i,
    -0.361251474570746 + 0.0*i,
    0.736634988568119 + 0.0*i,
    0.139936096392082 + 0.0*i,
    -0.425990111174783 + 0.0*i,
    0.0893842634300401 + 0.0*i,
    0.0309056924007434 + 0.0*i,
    0.382432510675194 + 0.0*i,
    -0.776199054028749 + 0.0*i,
    0.330011032720828 + 0.0*i,
    -0.68513084152957 + 0.0*i,
    0.269929100444982 + 0.0*i,
    0.417587133766558 + 0.0*i,
    -0.130535116489397 + 0.0*i,
    -0.697713018687179 + 0.0*i,
    0.334536188530528 + 0.0*i,
    -0.173912613672052 + 0.0*i,
    -0.0506902708614245 + 0.0*i,
    -0.30230433574136 + 0.0*i,
    0.454284822142535 + 0.0*i,
    0.448035189226862 + 0.0*i,
    -0.213846682856615 + 0.0*i,
    0.312420756441258 + 0.0*i,
    -0.074896527177674 + 0.0*i,
    -0.525128801297938 + 0.0*i,
    -0.755669980582012 + 0.0*i,
    0.796291501069589 + 0.0*i,
    0.447205548435886 + 0.0*i,
    -0.820790412096746 + 0.0*i,
    -0.714681675623819 + 0.0*i,
    0.432084993552239 + 0.0*i,
    0.23188579394833 + 0.0*i,
    -0.83176393639449 + 0.0*i,
    -0.542078972558791 + 0.0*i,
    0.0218618351426176 + 0.0*i,
    0.616703501018437 + 0.0*i,
    -0.669847741043637 + 0.0*i,
    0.0875284073465644 + 0.0*i,
    0.0464306794430715 + 0.0*i,
    0.414861003108474 + 0.0*i,
    -0.249492204632702 + 0.0*i,
    0.186960938867437 + 0.0*i,
    -0.62317138482663 + 0.0*i,
    0.497303038579306 + 0.0*i,
    0.701096303887383 + 0.0*i,
    0.938155734022331 + 0.0*i,
    -0.21352162522939 + 0.0*i,
    -0.561091251059952 + 0.0*i,
    -0.474684633756331 + 0.0*i,
    -0.596543080926802 + 0.0*i,
    0.443925750509534 + 0.0*i,
    -0.847824171180677 + 0.0*i,
    0.110101468162735 + 0.0*i,
    0.237476558007793 + 0.0*i,
    -0.837984730639255 + 0.0*i,
    -0.374066471285965 + 0.0*i,
    0.853903317499208 + 0.0*i,
    -0.107050422857813 + 0.0*i,
    0.673446913387386 + 0.0*i,
    0.0856032838208047 + 0.0*i,
    -0.676848471821457 + 0.0*i,
    -0.317872969432107 + 0.0*i,
    -0.663477250484497 + 0.0*i,
    -0.869245350158181 + 0.0*i,
    -0.904655884435176 + 0.0*i,
    -0.268019848961752 + 0.0*i,
    -0.485091308413615 + 0.0*i,
    -0.42341805045577 + 0.0*i,
    0.744508859935427 + 0.0*i,
    -0.278508743713921 + 0.0*i,
    -0.253514823628004 + 0.0*i,
    0.26735402193826 + 0.0*i,
    0.0211283171719303 + 0.0*i,
    -0.344039393445265 + 0.0*i,
    0.580972638205899 + 0.0*i,
    -0.49936450285555 + 0.0*i,
    -0.146484324385565 + 0.0*i,
    0.210835478616324 + 0.0*i,
    0.0352829674300648 + 0.0*i,
    0.0896916144381877 + 0.0*i,
    -0.435916699259158 + 0.0*i,
    0.592556687972355 + 0.0*i,
    0.344847622827354 + 0.0*i,
    -0.682387092812696 + 0.0*i,
    0.897618983029917 + 0.0*i,
    0.106957107299653 + 0.0*i,
    -0.655887025412311 + 0.0*i,
    0.0431171972128176 + 0.0*i,
    -0.62764719686532 + 0.0*i,
    0.746155308308657 + 0.0*i,
    0.52333105692652 + 0.0*i,
    0.182409116975736 + 0.0*i,
    0.207481054378707 + 0.0*i,
    -0.319300522922392 + 0.0*i,
    0.245341899644918 + 0.0*i,
    -0.504110037763913 + 0.0*i,
    -0.257264581664744 + 0.0*i,
    -0.0725425827994549 + 0.0*i,
    0.146732105313996 + 0.0*i,
    -0.343048529823176 + 0.0*i,
    0.23064116054158 + 0.0*i,
    0.295270189293517 + 0.0*i,
    -0.0793867778257687 + 0.0*i,
    0.0817478161981786 + 0.0*i,
    0.723133253884926 + 0.0*i,
    0.621920809524431 + 0.0*i,
    -0.442281345013068 + 0.0*i,
    0.194519602611256 + 0.0*i,
    -0.00752245689080279 + 0.0*i,
    -0.283679481924179 + 0.0*i,
    -0.280410083161815 + 0.0*i,
    0.346993595253627 + 0.0*i,
    -0.900569159091604 + 0.0*i,
    -0.730760829118584 + 0.0*i,
    0.801325186379626 + 0.0*i,
    -0.410436890410714 + 0.0*i,
    -0.771015451737181 + 0.0*i,
    0.89674416856105 + 0.0*i,
    -0.098613247287505 + 0.0*i,
    -0.529471487463144 + 0.0*i,
    0.345894829814717 + 0.0*i,
    -0.535963809146648 + 0.0*i,
    0.285051992437092 + 0.0*i,
    -0.649896706979123 + 0.0*i,
    0.452855840875718 + 0.0*i,
    -0.94633765250592 + 0.0*i,
    0.350310899629075 + 0.0*i,
    0.528289418715106 + 0.0*i
]);