V:=Matrix(CC,4,71,[
    0.897121253000216 + 0.0*i,
    0.463109853245903 + 0.0*i,
    -0.93464816544234 + 0.0*i,
    -0.0886652374236107 + 0.0*i,
    0.00168675463692149 + 0.0*i,
    -0.0117559876292056 + 0.0*i,
    -0.227573303191493 + 0.0*i,
    0.0088866497922092 + 0.0*i,
    0.377012159427042 + 0.0*i,
    0.292999802568203 + 0.0*i,
    0.466281408346672 + 0.0*i,
    0.689900923825402 + 0.0*i,
    0.187242779131474 + 0.0*i,
    -0.917168601576192 + 0.0*i,
    0.270681330023217 + 0.0*i,
    0.28544534007271 + 0.0*i,
    -0.105561910011558 + 0.0*i,
    0.288182863962011 + 0.0*i,
    -0.332496172095862 + 0.0*i,
    -0.30969589268324 + 0.0*i,
    0.102165035228643 + 0.0*i,
    0.012165210367845 + 0.0*i,
    -0.00454564335690148 + 0.0*i,
    -0.260721624787583 + 0.0*i,
    -0.145304559840678 + 0.0*i,
    0.256663364545291 + 0.0*i,
    -0.255544468255193 + 0.0*i,
    -0.197040772935491 + 0.0*i,
    0.478104681886553 + 0.0*i,
    0.317309561947359 + 0.0*i,
    0.142370132856749 + 0.0*i,
    -0.652784055030247 + 0.0*i,
    -1.08954848055724 + 0.0*i,
    -0.790637621306782 + 0.0*i,
    -0.379345269379774 + 0.0*i,
    1.01734468009159 + 0.0*i,
    -0.490521803360711 + 0.0*i,
    0.132598627743354 + 0.0*i,
    -0.178509785290047 + 0.0*i,
    0.227796852884899 + 0.0*i,
    -0.511427761181913 + 0.0*i,
    -0.579788967019178 + 0.0*i,
    -0.205911943973111 + 0.0*i,
    -0.642904952242146 + 0.0*i,
    0.211000213898177 + 0.0*i,
    0.110077075441106 + 0.0*i,
    0.286074753670065 + 0.0*i,
    0.0219811858369195 + 0.0*i,
    1.23190587027486 + 0.0*i,
    0.913882994942259 + 0.0*i,
    -0.397851709320702 + 0.0*i,
    0.518873865006446 + 0.0*i,
    0.0148061678228705 + 0.0*i,
    -0.704692551337503 + 0.0*i,
    -0.833435117958297 + 0.0*i,
    -0.386718593611065 + 0.0*i,
    -0.425766193226009 + 0.0*i,
    0.115010328159909 + 0.0*i,
    0.731056490135411 + 0.0*i,
    -0.422020022967379 + 0.0*i,
    0.32673702599279 + 0.0*i,
    0.34723225703541 + 0.0*i,
    -0.335828275959415 + 0.0*i,
    0.0103397630445026 + 0.0*i,
    -0.0168181174882486 + 0.0*i,
    0.0944677873229688 + 0.0*i,
    -0.638438129944437 + 0.0*i,
    -0.170119948337165 + 0.0*i,
    -0.904441156115443 + 0.0*i,
    -0.464297672215926 + 0.0*i,
    -0.278763312266641 + 0.0*i,
    -0.452854396272158 + 0.0*i,
    0.177157027308562 + 0.0*i,
    0.388840170489294 + 0.0*i,
    -0.267967202471458 + 0.0*i,
    -0.675015940560408 + 0.0*i,
    1.03861483507026 + 0.0*i,
    -0.675734767462876 + 0.0*i,
    -0.204737957958649 + 0.0*i,
    0.0995946025012666 + 0.0*i,
    0.516932705234795 + 0.0*i,
    0.741535576051306 + 0.0*i,
    0.601571033757123 + 0.0*i,
    -0.0116426050547116 + 0.0*i,
    0.109454892056569 + 0.0*i,
    -0.681670416649316 + 0.0*i,
    0.706754526293818 + 0.0*i,
    -0.957098898017472 + 0.0*i,
    0.067828873673418 + 0.0*i,
    -0.342178986992627 + 0.0*i,
    0.278547252601822 + 0.0*i,
    0.353186648889383 + 0.0*i,
    0.730245876084101 + 0.0*i,
    -0.0925165768190899 + 0.0*i,
    -0.0552099101982403 + 0.0*i,
    0.541146266057604 + 0.0*i,
    0.0951375068267233 + 0.0*i,
    0.27525222445285 + 0.0*i,
    0.325698616253218 + 0.0*i,
    -0.990137041143039 + 0.0*i,
    0.0736335177755764 + 0.0*i,
    -0.688153095030717 + 0.0*i,
    0.444573869668751 + 0.0*i,
    0.705118418071803 + 0.0*i,
    0.251600744278203 + 0.0*i,
    0.307894687670389 + 0.0*i,
    -0.261298982495397 + 0.0*i,
    -0.329530301494198 + 0.0*i,
    1.00579190172068 + 0.0*i,
    -0.918500947881083 + 0.0*i,
    -0.514575122480409 + 0.0*i,
    0.354225808607859 + 0.0*i,
    0.275289875277887 + 0.0*i,
    -0.0501528990129777 + 0.0*i,
    0.266668705348892 + 0.0*i,
    -0.74838171046618 + 0.0*i,
    0.2167832670894 + 0.0*i,
    0.54024330045121 + 0.0*i,
    -0.22728862422405 + 0.0*i,
    0.168831918034808 + 0.0*i,
    0.529574387779492 + 0.0*i,
    0.62515482471344 + 0.0*i,
    -0.967772817105695 + 0.0*i,
    -0.30165096025933 + 0.0*i,
    -0.667129709190877 + 0.0*i,
    -0.455561903570391 + 0.0*i,
    0.0294085243489612 + 0.0*i,
    -0.115262127033003 + 0.0*i,
    -0.515591295074495 + 0.0*i,
    0.740252615635787 + 0.0*i,
    -0.753917191883662 + 0.0*i,
    -0.217244959202499 + 0.0*i,
    0.64772760254552 + 0.0*i,
    -0.572323212073324 + 0.0*i,
    1.38045594177706 + 0.0*i,
    -0.307112725341361 + 0.0*i,
    -0.360423441615749 + 0.0*i,
    0.0233827702260846 + 0.0*i,
    0.140428361031243 + 0.0*i,
    -0.308631506218949 + 0.0*i,
    -0.116071929092001 + 0.0*i,
    0.262095093264652 + 0.0*i,
    -0.71408699848894 + 0.0*i,
    0.257293951863114 + 0.0*i,
    -0.254786487810753 + 0.0*i,
    0.306869448888262 + 0.0*i,
    0.146872497174163 + 0.0*i,
    0.223834727272617 + 0.0*i,
    -0.164974748326493 + 0.0*i,
    -0.592990910338161 + 0.0*i,
    -0.466926216978034 + 0.0*i,
    0.0657318148724162 + 0.0*i,
    -0.401276025597717 + 0.0*i,
    0.355569044064179 + 0.0*i,
    0.503838393324842 + 0.0*i,
    0.75490279933938 + 0.0*i,
    0.204384021443836 + 0.0*i,
    -1.04522820765856 + 0.0*i,
    0.0107744532317272 + 0.0*i,
    -0.0705279594577266 + 0.0*i,
    -0.459885427973665 + 0.0*i,
    0.35704114634607 + 0.0*i,
    -0.345229817008433 + 0.0*i,
    0.338655935183773 + 0.0*i,
    -0.497267473520795 + 0.0*i,
    -0.361845542620198 + 0.0*i,
    -0.470902557358327 + 0.0*i,
    0.466358206479134 + 0.0*i,
    -0.386446268684341 + 0.0*i,
    -0.806135635447097 + 0.0*i,
    -0.884360484644452 + 0.0*i,
    -0.0274582464498196 + 0.0*i,
    -0.0403789157478058 + 0.0*i,
    0.470541885008627 + 0.0*i,
    -0.0687862624588614 + 0.0*i,
    -0.721285247631411 + 0.0*i,
    -0.699882689702642 + 0.0*i,
    0.652558840653996 + 0.0*i,
    -0.12648087608141 + 0.0*i,
    0.257072019868528 + 0.0*i,
    0.357218345174977 + 0.0*i,
    0.608761016817456 + 0.0*i,
    0.0684315127897763 + 0.0*i,
    0.0574750954459948 + 0.0*i,
    -1.27148335895412 + 0.0*i,
    -0.438002372836184 + 0.0*i,
    0.311480749262052 + 0.0*i,
    0.841836431277416 + 0.0*i,
    -0.0939226905502103 + 0.0*i,
    0.081615479089557 + 0.0*i,
    -0.240827590386819 + 0.0*i,
    0.730899113255342 + 0.0*i,
    0.33485296563793 + 0.0*i,
    0.582374804063018 + 0.0*i,
    -1.10679656245746 + 0.0*i,
    0.495488653758997 + 0.0*i,
    0.544888973592495 + 0.0*i,
    0.57437193476571 + 0.0*i,
    -0.222341149398162 + 0.0*i,
    0.127494093385707 + 0.0*i,
    0.41353467903434 + 0.0*i,
    0.0265639972089533 + 0.0*i,
    0.70483497043913 + 0.0*i,
    -0.638099656014471 + 0.0*i,
    -0.135843225158558 + 0.0*i,
    0.189795642292375 + 0.0*i,
    -0.0546632813782787 + 0.0*i,
    0.00572076323167587 + 0.0*i,
    0.685779300377018 + 0.0*i,
    0.233942135707308 + 0.0*i,
    -0.0394717473097145 + 0.0*i,
    0.419123868746669 + 0.0*i,
    0.511144715106317 + 0.0*i,
    0.223430777443508 + 0.0*i,
    -0.229645796107225 + 0.0*i,
    -0.77447839841555 + 0.0*i,
    0.178979522861759 + 0.0*i,
    0.150632283817081 + 0.0*i,
    -0.0517426921150879 + 0.0*i,
    -1.00678777569923 + 0.0*i,
    0.294631542612808 + 0.0*i,
    -0.731747144247153 + 0.0*i,
    0.191004479393343 + 0.0*i,
    -0.0935909749037972 + 0.0*i,
    0.277660586229922 + 0.0*i,
    -0.428413671774772 + 0.0*i,
    0.0233228698616978 + 0.0*i,
    -0.239010483817589 + 0.0*i,
    0.41816221143095 + 0.0*i,
    -0.0796060539876165 + 0.0*i,
    0.361406545866636 + 0.0*i,
    0.273566207344665 + 0.0*i,
    -0.248878311578971 + 0.0*i,
    0.706044440552601 + 0.0*i,
    -0.36554818938465 + 0.0*i,
    0.37141624438382 + 0.0*i,
    -0.990272242722025 + 0.0*i,
    0.20108851698277 + 0.0*i,
    0.948472520627868 + 0.0*i,
    -0.696654481642383 + 0.0*i,
    -0.554721379125648 + 0.0*i,
    -0.515958821038884 + 0.0*i,
    -0.0408245834469198 + 0.0*i,
    1.04422435518017 + 0.0*i,
    -0.0544075062226714 + 0.0*i,
    0.177029672766656 + 0.0*i,
    0.478414174631969 + 0.0*i,
    0.181021763068944 + 0.0*i,
    0.0499683533456136 + 0.0*i,
    0.0197085788993228 + 0.0*i,
    0.378865052812556 + 0.0*i,
    0.0142730872747558 + 0.0*i,
    0.297886206010069 + 0.0*i,
    -0.876676281802954 + 0.0*i,
    1.20912325740069 + 0.0*i,
    -0.390339212576995 + 0.0*i,
    0.69156753251913 + 0.0*i,
    -0.618814425395812 + 0.0*i,
    0.361845027503534 + 0.0*i,
    0.456167300566346 + 0.0*i,
    -0.435291810333684 + 0.0*i,
    -0.114757089179817 + 0.0*i,
    0.356479512070092 + 0.0*i,
    -0.351008759821799 + 0.0*i,
    0.264157258722959 + 0.0*i,
    0.958286293977552 + 0.0*i,
    0.646855635670367 + 0.0*i,
    -0.626749165175027 + 0.0*i,
    0.580427357537302 + 0.0*i,
    0.199752450964612 + 0.0*i,
    -0.668819689035923 + 0.0*i,
    -0.615027179737778 + 0.0*i,
    0.0685128719144164 + 0.0*i,
    0.306250274044804 + 0.0*i,
    -0.470577274225564 + 0.0*i,
    -0.351321902120259 + 0.0*i,
    -0.44045828526674 + 0.0*i,
    0.537751083269869 + 0.0*i,
    -0.440100983735273 + 0.0*i,
    0.219741236794882 + 0.0*i,
    0.58023573741938 + 0.0*i,
    -0.701600151185491 + 0.0*i,
    -0.4195629594041 + 0.0*i,
    -0.174460815592051 + 0.0*i
]);