V:=Matrix(CC,4,84,[
    0.336990908884759 + 0.0*i,
    -0.601210567570927 + 0.0*i,
    0.411025987464032 + 0.0*i,
    -0.639380376020078 + 0.0*i,
    0.250257680816045 + 0.0*i,
    -0.322202385209775 + 0.0*i,
    1.02998879151226 + 0.0*i,
    -0.18617344102472 + 0.0*i,
    0.388036255422321 + 0.0*i,
    0.472978701122414 + 0.0*i,
    -0.766425705061991 + 0.0*i,
    0.836732885972714 + 0.0*i,
    -0.326921252270559 + 0.0*i,
    0.418598595401315 + 0.0*i,
    -0.38743076726609 + 0.0*i,
    0.370737639438228 + 0.0*i,
    -0.0991165193761032 + 0.0*i,
    -0.895373295188703 + 0.0*i,
    0.430746161058277 + 0.0*i,
    0.911690776182417 + 0.0*i,
    -0.446206754324588 + 0.0*i,
    0.742052861536806 + 0.0*i,
    -0.159459141067448 + 0.0*i,
    0.478159216510992 + 0.0*i,
    -0.165496621196857 + 0.0*i,
    -0.0345619917843288 + 0.0*i,
    -0.0466994578309362 + 0.0*i,
    0.256126094017464 + 0.0*i,
    -0.0353567565904317 + 0.0*i,
    0.426894524135389 + 0.0*i,
    0.432862630227776 + 0.0*i,
    -0.549187757532874 + 0.0*i,
    0.0821640875401105 + 0.0*i,
    -0.126821814318578 + 0.0*i,
    -0.268250004245971 + 0.0*i,
    0.155805077014901 + 0.0*i,
    0.551482189372317 + 0.0*i,
    0.0188852136515878 + 0.0*i,
    -0.257754984991179 + 0.0*i,
    -0.300832008741306 + 0.0*i,
    0.14186068161503 + 0.0*i,
    0.335205470483282 + 0.0*i,
    -0.3326689524256 + 0.0*i,
    0.86007378477316 + 0.0*i,
    -0.10448529442283 + 0.0*i,
    0.360420309511652 + 0.0*i,
    -0.668077519355136 + 0.0*i,
    1.11051853923921 + 0.0*i,
    -0.185339858259869 + 0.0*i,
    0.402200201984951 + 0.0*i,
    0.99096657531518 + 0.0*i,
    0.637148480779031 + 0.0*i,
    0.213121191241826 + 0.0*i,
    -0.493938769320413 + 0.0*i,
    -0.532413430259747 + 0.0*i,
    -0.206225473514776 + 0.0*i,
    0.489791586435705 + 0.0*i,
    -0.0245765760572104 + 0.0*i,
    -0.261168362936671 + 0.0*i,
    0.717797800817567 + 0.0*i,
    -0.644388235943808 + 0.0*i,
    -0.968633674257616 + 0.0*i,
    -0.235152849123069 + 0.0*i,
    -0.154616648396294 + 0.0*i,
    0.284228284994759 + 0.0*i,
    -1.08302149890849 + 0.0*i,
    0.0868569715634102 + 0.0*i,
    -0.626287090213442 + 0.0*i,
    -0.145443628447518 + 0.0*i,
    -0.0122892701860635 + 0.0*i,
    0.451940694147543 + 0.0*i,
    -0.367442942340655 + 0.0*i,
    0.436699280477972 + 0.0*i,
    0.190667573337196 + 0.0*i,
    -0.0374973994154771 + 0.0*i,
    0.160433746350625 + 0.0*i,
    0.460472150599503 + 0.0*i,
    0.706557789185342 + 0.0*i,
    -0.00204165921774079 + 0.0*i,
    0.28548607745094 + 0.0*i,
    -0.227853722463511 + 0.0*i,
    0.467726143215518 + 0.0*i,
    -0.758147248910551 + 0.0*i,
    -0.580662586665155 + 0.0*i,
    -0.219466365981388 + 0.0*i,
    0.92349630174204 + 0.0*i,
    0.291907448687884 + 0.0*i,
    0.0321913912856547 + 0.0*i,
    -0.16105608172145 + 0.0*i,
    0.618649586421228 + 0.0*i,
    -0.454200901508908 + 0.0*i,
    -1.15307808314979 + 0.0*i,
    -0.536322537532888 + 0.0*i,
    -0.22490674637092 + 0.0*i,
    0.119631015518791 + 0.0*i,
    -0.112766053292718 + 0.0*i,
    -0.337765218234722 + 0.0*i,
    -0.330337041925292 + 0.0*i,
    -0.155480691965552 + 0.0*i,
    0.537841768392359 + 0.0*i,
    0.746952264791534 + 0.0*i,
    -1.0905103956779 + 0.0*i,
    0.0797171642443649 + 0.0*i,
    -0.510969255888817 + 0.0*i,
    0.779619238528882 + 0.0*i,
    -0.634063335929714 + 0.0*i,
    0.136571762894987 + 0.0*i,
    -0.68863039701289 + 0.0*i,
    0.0817739708534475 + 0.0*i,
    -0.0020600951239677 + 0.0*i,
    -0.433215527092984 + 0.0*i,
    0.0838123898859893 + 0.0*i,
    0.581665427236736 + 0.0*i,
    0.829448009235611 + 0.0*i,
    -0.52893724891216 + 0.0*i,
    0.429300524922164 + 0.0*i,
    -0.401055168884357 + 0.0*i,
    -0.188239581440052 + 0.0*i,
    1.23382432844129 + 0.0*i,
    -0.134069159583473 + 0.0*i,
    -0.0861132784498804 + 0.0*i,
    -0.105867061299566 + 0.0*i,
    0.354611321719384 + 0.0*i,
    -0.073111640453431 + 0.0*i,
    -0.634636741326388 + 0.0*i,
    -0.000550546475750201 + 0.0*i,
    -0.535844881129658 + 0.0*i,
    0.179334491933724 + 0.0*i,
    0.331490442743594 + 0.0*i,
    0.0753163226446879 + 0.0*i,
    -0.290534029373151 + 0.0*i,
    0.522320167291831 + 0.0*i,
    -0.55221538475013 + 0.0*i,
    0.291895753607027 + 0.0*i,
    -0.611076952723495 + 0.0*i,
    0.242679281425056 + 0.0*i,
    0.264866622941924 + 0.0*i,
    -0.271703960627525 + 0.0*i,
    0.341143483382694 + 0.0*i,
    0.58242161963225 + 0.0*i,
    -0.200796625244954 + 0.0*i,
    -0.0891374368405008 + 0.0*i,
    0.576767262349576 + 0.0*i,
    -0.115204720406142 + 0.0*i,
    -0.264248199331093 + 0.0*i,
    -0.016646536209054 + 0.0*i,
    -0.344097966849765 + 0.0*i,
    0.140504695429374 + 0.0*i,
    -0.172373118340432 + 0.0*i,
    -0.518228614884623 + 0.0*i,
    -0.140574085473038 + 0.0*i,
    0.0197068716323863 + 0.0*i,
    -0.612306558803542 + 0.0*i,
    -0.612213827998754 + 0.0*i,
    0.718524072349436 + 0.0*i,
    0.485634458467607 + 0.0*i,
    -0.269169245435492 + 0.0*i,
    -0.415529904847518 + 0.0*i,
    0.739766998862238 + 0.0*i,
    -0.646087094133171 + 0.0*i,
    0.392600870601871 + 0.0*i,
    -0.365765496765868 + 0.0*i,
    1.12378033247888 + 0.0*i,
    0.983696221377625 + 0.0*i,
    0.809777345405341 + 0.0*i,
    0.372398844797521 + 0.0*i,
    0.505044767593921 + 0.0*i,
    0.91685433055286 + 0.0*i,
    0.350757983210399 + 0.0*i,
    -0.087699142888574 + 0.0*i,
    -0.0945844389863256 + 0.0*i,
    0.0053737708780151 + 0.0*i,
    0.8577513825631 + 0.0*i,
    -0.986876303651147 + 0.0*i,
    -0.556541816445159 + 0.0*i,
    0.473130232956852 + 0.0*i,
    0.293890571213555 + 0.0*i,
    0.133942607417738 + 0.0*i,
    0.161524504762195 + 0.0*i,
    0.708368027981054 + 0.0*i,
    -0.680958583541524 + 0.0*i,
    -0.0304603853529862 + 0.0*i,
    0.240277390664622 + 0.0*i,
    1.0102120016484 + 0.0*i,
    -0.434210706097978 + 0.0*i,
    -0.119480851614167 + 0.0*i,
    0.751660599729634 + 0.0*i,
    0.756893066388921 + 0.0*i,
    -0.0300569727594049 + 0.0*i,
    0.737926818353055 + 0.0*i,
    -0.0710580049499412 + 0.0*i,
    0.314680163793212 + 0.0*i,
    0.430307877257251 + 0.0*i,
    -0.742162443289968 + 0.0*i,
    -0.730717138192431 + 0.0*i,
    -0.533420826985006 + 0.0*i,
    -0.411095104657507 + 0.0*i,
    -0.0685730225320093 + 0.0*i,
    -0.411622008033227 + 0.0*i,
    -0.658599099423916 + 0.0*i,
    -0.22996274991078 + 0.0*i,
    -0.305979612218839 + 0.0*i,
    0.474257479091709 + 0.0*i,
    -0.0187432860113951 + 0.0*i,
    0.203424059142863 + 0.0*i,
    0.356874352910912 + 0.0*i,
    -0.641841187569441 + 0.0*i,
    0.344252584004773 + 0.0*i,
    -0.186958002453208 + 0.0*i,
    -0.273016041957999 + 0.0*i,
    0.493622180457628 + 0.0*i,
    0.423460593687211 + 0.0*i,
    -0.0585695117698904 + 0.0*i,
    0.0183433131046732 + 0.0*i,
    1.03500803294988 + 0.0*i,
    -0.607540484961413 + 0.0*i,
    0.396476497942165 + 0.0*i,
    -0.149156258044486 + 0.0*i,
    -0.700758032246652 + 0.0*i,
    0.0366529197623144 + 0.0*i,
    0.36149078436131 + 0.0*i,
    0.0603598370147946 + 0.0*i,
    -0.782700348081648 + 0.0*i,
    -0.552640060613182 + 0.0*i,
    0.536192573143393 + 0.0*i,
    -0.918108658995771 + 0.0*i,
    -0.242520837046527 + 0.0*i,
    0.00749944919785571 + 0.0*i,
    -0.442924408870026 + 0.0*i,
    0.219879179880575 + 0.0*i,
    0.00381253570661364 + 0.0*i,
    -1.47837049431129 + 0.0*i,
    -1.07590611035831 + 0.0*i,
    -0.0294924583660736 + 0.0*i,
    0.00230341744591167 + 0.0*i,
    -0.157800652696026 + 0.0*i,
    -0.905772999824533 + 0.0*i,
    -0.110391857852529 + 0.0*i,
    0.695299167682416 + 0.0*i,
    -0.941022516601111 + 0.0*i,
    -0.252029030204838 + 0.0*i,
    0.45170662335705 + 0.0*i,
    -0.0150148551969189 + 0.0*i,
    0.477458276172596 + 0.0*i,
    0.217615554269787 + 0.0*i,
    0.358747079256358 + 0.0*i,
    -0.00840759418975242 + 0.0*i,
    0.368989285189701 + 0.0*i,
    -0.545765273640676 + 0.0*i,
    -0.00676667870982161 + 0.0*i,
    0.142100544679951 + 0.0*i,
    -0.270369358455761 + 0.0*i,
    -0.161086037726338 + 0.0*i,
    0.204488259628615 + 0.0*i,
    0.0664364095342249 + 0.0*i,
    0.131478557087443 + 0.0*i,
    -0.175022136744246 + 0.0*i,
    0.475698580021988 + 0.0*i,
    -0.717160830443048 + 0.0*i,
    0.579992347748298 + 0.0*i,
    -1.12719692847037 + 0.0*i,
    -0.452819140944005 + 0.0*i,
    0.0533343926329397 + 0.0*i,
    0.299234153572835 + 0.0*i,
    0.846489452089058 + 0.0*i,
    -0.0122938490540064 + 0.0*i,
    -0.406742279396094 + 0.0*i,
    0.100818943185365 + 0.0*i,
    -0.0271533014716842 + 0.0*i,
    -0.0874318702533112 + 0.0*i,
    0.659902620593651 + 0.0*i,
    -0.478610812083967 + 0.0*i,
    -0.764419158197924 + 0.0*i,
    0.704008946165704 + 0.0*i,
    -0.66579142619755 + 0.0*i,
    0.186942665495704 + 0.0*i,
    -0.222986867658616 + 0.0*i,
    0.0789088345554682 + 0.0*i,
    -0.240532056112914 + 0.0*i,
    0.313554520316475 + 0.0*i,
    -0.163947502186975 + 0.0*i,
    -0.321840358068588 + 0.0*i,
    1.0473070743954 + 0.0*i,
    0.324592326060041 + 0.0*i,
    -0.261642346390714 + 0.0*i,
    0.864041525948444 + 0.0*i,
    0.108791829129925 + 0.0*i,
    -0.00764110489450814 + 0.0*i,
    0.265713451268602 + 0.0*i,
    -0.137976072874149 + 0.0*i,
    -0.176495282385277 + 0.0*i,
    0.400472765696257 + 0.0*i,
    -0.0669796980573373 + 0.0*i,
    0.410251530744342 + 0.0*i,
    -0.0790330890764294 + 0.0*i,
    -0.276770085272916 + 0.0*i,
    -0.784155802197862 + 0.0*i,
    -0.135596341770223 + 0.0*i,
    -0.297882692457043 + 0.0*i,
    0.399120233457149 + 0.0*i,
    0.331675762709057 + 0.0*i,
    -0.427857229174693 + 0.0*i,
    0.0914515062003608 + 0.0*i,
    -0.497769116613839 + 0.0*i,
    0.67042537195005 + 0.0*i,
    0.466399860788426 + 0.0*i,
    -0.210623214340344 + 0.0*i,
    0.284026090855451 + 0.0*i,
    0.819392839446062 + 0.0*i,
    -0.19060304693464 + 0.0*i,
    -0.588789971455967 + 0.0*i,
    0.810677751085353 + 0.0*i,
    0.540200243300818 + 0.0*i,
    0.222354950275144 + 0.0*i,
    -0.555371326862845 + 0.0*i,
    0.417952760412655 + 0.0*i,
    -0.245040307545226 + 0.0*i,
    0.77627059557529 + 0.0*i,
    -0.243007810298735 + 0.0*i,
    0.167288107338135 + 0.0*i,
    -0.68541949023799 + 0.0*i,
    0.81401608845038 + 0.0*i,
    -0.566964143470251 + 0.0*i,
    0.222810816371211 + 0.0*i,
    -0.686108034019539 + 0.0*i,
    -0.397618327819209 + 0.0*i,
    0.0089505593374172 + 0.0*i,
    0.754301885212337 + 0.0*i,
    1.24013368543396 + 0.0*i,
    0.452660638235141 + 0.0*i,
    0.536669953097063 + 0.0*i,
    0.248841278125328 + 0.0*i,
    -0.0940682542069347 + 0.0*i,
    1.00739686410184 + 0.0*i,
    -0.273201703867602 + 0.0*i,
    -0.359985110754845 + 0.0*i
]);