V:=Matrix(CC,4,126,[
    0.0500765476171035 + 0.0*i,
    0.142334475978635 + 0.0*i,
    0.0392257837163364 + 0.0*i,
    -0.333753127448668 + 0.0*i,
    0.222089363131267 + 0.0*i,
    -0.245363228778993 + 0.0*i,
    0.822166175317402 + 0.0*i,
    -0.843351314989358 + 0.0*i,
    0.774472231106337 + 0.0*i,
    -0.121503328284646 + 0.0*i,
    0.275382898778819 + 0.0*i,
    -0.183156373719432 + 0.0*i,
    -0.0904497360341766 + 0.0*i,
    0.431682493503421 + 0.0*i,
    0.675777448335748 + 0.0*i,
    0.414769466373962 + 0.0*i,
    -0.410282903914492 + 0.0*i,
    -0.142473083954991 + 0.0*i,
    0.147758967314003 + 0.0*i,
    0.216209246834729 + 0.0*i,
    -0.704811819749182 + 0.0*i,
    0.0188415154370988 + 0.0*i,
    -0.444719445331954 + 0.0*i,
    0.151852621254965 + 0.0*i,
    -0.512193019626646 + 0.0*i,
    0.173143877969765 + 0.0*i,
    -0.0271284854923897 + 0.0*i,
    -0.338264275652586 + 0.0*i,
    -0.0490274331150358 + 0.0*i,
    -0.14814332040405 + 0.0*i,
    0.821702054985277 + 0.0*i,
    -0.256940639721064 + 0.0*i,
    -0.600539942962601 + 0.0*i,
    0.807729226806867 + 0.0*i,
    -0.312372247333091 + 0.0*i,
    -0.65646020556455 + 0.0*i,
    0.595220573016874 + 0.0*i,
    -0.0365937638630099 + 0.0*i,
    0.102922439936865 + 0.0*i,
    -0.0111734733968938 + 0.0*i,
    0.534091977790395 + 0.0*i,
    0.0105913224496539 + 0.0*i,
    0.545869510942826 + 0.0*i,
    0.4686909341172 + 0.0*i,
    -0.828210188274492 + 0.0*i,
    -0.751490825742229 + 0.0*i,
    -0.652365392593776 + 0.0*i,
    -0.000280226515884082 + 0.0*i,
    0.00467835359581763 + 0.0*i,
    0.179579546860864 + 0.0*i,
    0.0158020483416049 + 0.0*i,
    -1.10825485711164 + 0.0*i,
    -0.286483768916736 + 0.0*i,
    -0.690841722915412 + 0.0*i,
    0.409106307063108 + 0.0*i,
    0.636352730241378 + 0.0*i,
    0.380761606558245 + 0.0*i,
    -0.32117042499044 + 0.0*i,
    0.480735348595667 + 0.0*i,
    -0.0102753567400092 + 0.0*i,
    -0.785242337191702 + 0.0*i,
    -0.837800063200443 + 0.0*i,
    0.020373878816609 + 0.0*i,
    -0.454713708571174 + 0.0*i,
    0.350785900380364 + 0.0*i,
    0.393770821095789 + 0.0*i,
    -0.624902224769088 + 0.0*i,
    0.0855116403988944 + 0.0*i,
    0.0506458195073448 + 0.0*i,
    -0.117378136586564 + 0.0*i,
    -0.678169295422874 + 0.0*i,
    0.981308946470408 + 0.0*i,
    1.05175926967392 + 0.0*i,
    0.169218831118175 + 0.0*i,
    -0.21229818775143 + 0.0*i,
    0.267248209014384 + 0.0*i,
    0.164638720323821 + 0.0*i,
    -0.160831233260687 + 0.0*i,
    0.288417983211342 + 0.0*i,
    -0.458925475450016 + 0.0*i,
    -0.0260734634605713 + 0.0*i,
    0.031225377971331 + 0.0*i,
    -1.72486033797205 + 0.0*i,
    0.83475316698837 + 0.0*i,
    0.139220003074568 + 0.0*i,
    -0.426424693845337 + 0.0*i,
    0.17905922829527 + 0.0*i,
    0.401812285234674 + 0.0*i,
    0.617611786911376 + 0.0*i,
    -1.00590657398788 + 0.0*i,
    -0.0332903338988237 + 0.0*i,
    0.390813132281342 + 0.0*i,
    0.684745894477085 + 0.0*i,
    -0.102108638928285 + 0.0*i,
    -0.0374060007492911 + 0.0*i,
    0.0466059644779497 + 0.0*i,
    -0.438707374198059 + 0.0*i,
    0.408160476662073 + 0.0*i,
    -0.110368990778854 + 0.0*i,
    0.576541108850042 + 0.0*i,
    -0.609413579784889 + 0.0*i,
    0.674581566414404 + 0.0*i,
    0.162824010173968 + 0.0*i,
    0.147513777505916 + 0.0*i,
    -0.759610562677829 + 0.0*i,
    0.988762807439592 + 0.0*i,
    -0.736403832441897 + 0.0*i,
    0.117457696644518 + 0.0*i,
    -0.569454567120541 + 0.0*i,
    -0.883458677190961 + 0.0*i,
    0.504523812715386 + 0.0*i,
    0.538443783028453 + 0.0*i,
    -0.0533940167753171 + 0.0*i,
    0.135081810077071 + 0.0*i,
    -0.0771466799537752 + 0.0*i,
    0.462940255584934 + 0.0*i,
    -0.372342631279441 + 0.0*i,
    0.686792529411503 + 0.0*i,
    0.892695475840484 + 0.0*i,
    0.22978763440442 + 0.0*i,
    0.415284623547878 + 0.0*i,
    -0.6476160029119 + 0.0*i,
    -0.476398453225096 + 0.0*i,
    -0.604952457442612 + 0.0*i,
    0.466898624624106 + 0.0*i,
    -0.19512050510622 + 0.0*i,
    0.232620323667537 + 0.0*i,
    0.642929877169825 + 0.0*i,
    0.782868854564628 + 0.0*i,
    0.296550828232158 + 0.0*i,
    -0.314975340245994 + 0.0*i,
    -0.16677837990729 + 0.0*i,
    -0.33794332211677 + 0.0*i,
    -0.678917080858732 + 0.0*i,
    -0.623441534918302 + 0.0*i,
    0.0295754591412157 + 0.0*i,
    0.382450816554367 + 0.0*i,
    -0.579684007688437 + 0.0*i,
    -0.157157552804991 + 0.0*i,
    -0.501387403483676 + 0.0*i,
    -1.09697091744238 + 0.0*i,
    0.833621239737907 + 0.0*i,
    -1.02341308339415 + 0.0*i,
    0.0939232765825241 + 0.0*i,
    0.615517486693227 + 0.0*i,
    -0.486013389495488 + 0.0*i,
    0.121856812168062 + 0.0*i,
    0.149284945157912 + 0.0*i,
    0.370942066983866 + 0.0*i,
    -0.0634787501947887 + 0.0*i,
    0.157831031016156 + 0.0*i,
    0.457360244862075 + 0.0*i,
    0.0036413236649677 + 0.0*i,
    -0.0286496757941378 + 0.0*i,
    0.198248787635318 + 0.0*i,
    -0.0932137585996188 + 0.0*i,
    0.0447962769543933 + 0.0*i,
    0.981606509804353 + 0.0*i,
    -0.371540191489071 + 0.0*i,
    -0.282777917539139 + 0.0*i,
    0.328067695377685 + 0.0*i,
    0.0809039315032808 + 0.0*i,
    0.0454156290571862 + 0.0*i,
    -0.802146016911767 + 0.0*i,
    0.268886044175014 + 0.0*i,
    -0.296948285918175 + 0.0*i,
    0.445620273236493 + 0.0*i,
    0.241553379784215 + 0.0*i,
    -0.552234697705018 + 0.0*i,
    -0.642264668254344 + 0.0*i,
    -0.0466697476214504 + 0.0*i,
    0.201829581229813 + 0.0*i,
    -0.918781387989119 + 0.0*i,
    0.283077498407566 + 0.0*i,
    0.5056160431241 + 0.0*i,
    -0.223882165314298 + 0.0*i,
    0.167303782571404 + 0.0*i,
    -0.0290010463253778 + 0.0*i,
    -0.627194767760457 + 0.0*i,
    0.740802201439702 + 0.0*i,
    -0.966598782115325 + 0.0*i,
    0.299929050325672 + 0.0*i,
    0.310061820446034 + 0.0*i,
    -0.721629217100092 + 0.0*i,
    -0.402690891212833 + 0.0*i,
    -1.18103605435985 + 0.0*i,
    0.217598893789258 + 0.0*i,
    0.0563187469277858 + 0.0*i,
    0.14433314456653 + 0.0*i,
    -0.255293971375379 + 0.0*i,
    -0.0125294252652212 + 0.0*i,
    0.859605121656793 + 0.0*i,
    0.391470129985924 + 0.0*i,
    0.226844844166216 + 0.0*i,
    0.756603857612637 + 0.0*i,
    -0.59593115449594 + 0.0*i,
    0.30726853766479 + 0.0*i,
    0.257208028352399 + 0.0*i,
    0.0138079212352127 + 0.0*i,
    -0.587110586499555 + 0.0*i,
    0.384725123120549 + 0.0*i,
    -0.269081756798072 + 0.0*i,
    0.150219744246269 + 0.0*i,
    -0.685460493131195 + 0.0*i,
    -0.42335632348063 + 0.0*i,
    0.703391515488314 + 0.0*i,
    0.35529898598937 + 0.0*i,
    -0.316721607455098 + 0.0*i,
    -0.348173178488381 + 0.0*i,
    -0.847820760323389 + 0.0*i,
    -0.390902922637889 + 0.0*i,
    -0.385778804023408 + 0.0*i,
    -0.233596681025839 + 0.0*i,
    -0.72966466662742 + 0.0*i,
    0.604373215296818 + 0.0*i,
    0.0827432971513201 + 0.0*i,
    0.00473816766434924 + 0.0*i,
    0.610814547858787 + 0.0*i,
    0.284196108522213 + 0.0*i,
    0.373404038020057 + 0.0*i,
    0.213032665440459 + 0.0*i,
    -0.137979463851633 + 0.0*i,
    0.199597039439986 + 0.0*i,
    -0.0684870377617293 + 0.0*i,
    0.232031443314945 + 0.0*i,
    0.672217766832714 + 0.0*i,
    1.44520642777849 + 0.0*i,
    -0.816041476188462 + 0.0*i,
    0.551539830887245 + 0.0*i,
    0.20486755719137 + 0.0*i,
    0.194307939487337 + 0.0*i,
    0.791242084761841 + 0.0*i,
    0.464086019515186 + 0.0*i,
    0.492884410724206 + 0.0*i,
    0.81152227543463 + 0.0*i,
    0.872881941118467 + 0.0*i,
    -0.24957303941307 + 0.0*i,
    -0.129369589283745 + 0.0*i,
    -0.0229358502105882 + 0.0*i,
    0.0532827932387608 + 0.0*i,
    0.02870267142791 + 0.0*i,
    -0.00218093358288592 + 0.0*i,
    0.0275649428558091 + 0.0*i,
    -0.0075366318730399 + 0.0*i,
    0.485406352303684 + 0.0*i,
    -0.0242797049029521 + 0.0*i,
    -0.207590298128707 + 0.0*i,
    -0.639811373061181 + 0.0*i,
    -0.558544967580146 + 0.0*i,
    -0.354430247231753 + 0.0*i,
    -0.580429417703519 + 0.0*i,
    -0.00828413790511746 + 0.0*i,
    -0.299821049682167 + 0.0*i,
    -0.380466727435863 + 0.0*i,
    0.299747419729075 + 0.0*i,
    0.482893011916624 + 0.0*i,
    -0.128268874344897 + 0.0*i,
    -1.19061326598482 + 0.0*i,
    0.492638528464663 + 0.0*i,
    0.441877319673749 + 0.0*i,
    0.553432532984631 + 0.0*i,
    -0.394893109453867 + 0.0*i,
    0.154182678678584 + 0.0*i,
    -0.0134927321662755 + 0.0*i,
    -0.647156261945635 + 0.0*i,
    0.620733890856692 + 0.0*i,
    -0.0571905662287303 + 0.0*i,
    0.373730438000858 + 0.0*i,
    0.950161396154694 + 0.0*i,
    -0.501990460137373 + 0.0*i,
    0.128558728692255 + 0.0*i,
    -0.483021116118995 + 0.0*i,
    -0.41186287445755 + 0.0*i,
    -0.951333416700549 + 0.0*i,
    0.600826761382843 + 0.0*i,
    -0.0222292043281638 + 0.0*i,
    0.255731845055359 + 0.0*i,
    -0.258479177646235 + 0.0*i,
    0.0290154950230476 + 0.0*i,
    -0.550099014102876 + 0.0*i,
    0.328914843665561 + 0.0*i,
    -0.524612087231629 + 0.0*i,
    0.471540596460964 + 0.0*i,
    -0.458474062929076 + 0.0*i,
    -0.0404087664447198 + 0.0*i,
    0.741885684632591 + 0.0*i,
    0.758693145400245 + 0.0*i,
    0.76769811816596 + 0.0*i,
    -0.665005274837207 + 0.0*i,
    0.703681749481984 + 0.0*i,
    0.799934884949118 + 0.0*i,
    -0.596247547618801 + 0.0*i,
    -0.229356301665283 + 0.0*i,
    0.397111617826032 + 0.0*i,
    -0.547264200915903 + 0.0*i,
    -0.651279584914609 + 0.0*i,
    0.0592380895542795 + 0.0*i,
    0.0475653190492362 + 0.0*i,
    0.526550611036953 + 0.0*i,
    0.0045162569525332 + 0.0*i,
    -0.193659196198185 + 0.0*i,
    0.0488529203551193 + 0.0*i,
    0.552021193204131 + 0.0*i,
    0.0394917713275308 + 0.0*i,
    -0.771146912831028 + 0.0*i,
    -0.341312099926747 + 0.0*i,
    -0.367633062431291 + 0.0*i,
    0.11044258148446 + 0.0*i,
    0.457588470377128 + 0.0*i,
    -1.45741175128096 + 0.0*i,
    -0.163835655604887 + 0.0*i,
    -0.723728607568517 + 0.0*i,
    -0.313284849942777 + 0.0*i,
    -0.143916853179394 + 0.0*i,
    -0.550009613845892 + 0.0*i,
    0.73658741806521 + 0.0*i,
    0.0799764947268874 + 0.0*i,
    0.230838725800401 + 0.0*i,
    -0.429656346134971 + 0.0*i,
    0.261867948345102 + 0.0*i,
    -0.655907688294282 + 0.0*i,
    -0.444350182087337 + 0.0*i,
    -0.0382997774856112 + 0.0*i,
    -0.00312862287779471 + 0.0*i,
    0.050650648742394 + 0.0*i,
    0.670322029009987 + 0.0*i,
    -1.19737483989372 + 0.0*i,
    0.73597517237012 + 0.0*i,
    -0.0237882312835036 + 0.0*i,
    -0.475304308484876 + 0.0*i,
    -0.101002475019515 + 0.0*i,
    0.156875915492804 + 0.0*i,
    -0.529924124943487 + 0.0*i,
    -0.851121552306214 + 0.0*i,
    -0.531030586664726 + 0.0*i,
    -0.263465430580631 + 0.0*i,
    -0.73316888861903 + 0.0*i,
    -0.00778991702794845 + 0.0*i,
    0.121687569996372 + 0.0*i,
    0.153315702310184 + 0.0*i,
    -0.25009063510858 + 0.0*i,
    -0.159237827552805 + 0.0*i,
    -0.541312780285637 + 0.0*i,
    -0.121013917913035 + 0.0*i,
    0.0576298618566842 + 0.0*i,
    0.00825675425310925 + 0.0*i,
    0.220641422183833 + 0.0*i,
    0.141393845151837 + 0.0*i,
    -0.186344563629054 + 0.0*i,
    0.676386561646009 + 0.0*i,
    0.144540285485811 + 0.0*i,
    -0.675892828052597 + 0.0*i,
    -1.06109184061133 + 0.0*i,
    -0.346254863565429 + 0.0*i,
    0.506447613235386 + 0.0*i,
    -0.414907672730223 + 0.0*i,
    -0.00756179845459506 + 0.0*i,
    0.278680620612596 + 0.0*i,
    0.883337579184045 + 0.0*i,
    0.131766787540291 + 0.0*i,
    -0.437801887987505 + 0.0*i,
    -0.859748369766771 + 0.0*i,
    -0.507663686611135 + 0.0*i,
    0.210045720462289 + 0.0*i,
    -0.241766573634369 + 0.0*i,
    -0.0732130933305506 + 0.0*i,
    0.12893741326776 + 0.0*i,
    -0.2257260839431 + 0.0*i,
    -0.352561868793733 + 0.0*i,
    0.0676075264332909 + 0.0*i,
    -0.655689203841679 + 0.0*i,
    0.909038297491795 + 0.0*i,
    0.047751982429155 + 0.0*i,
    -0.652295471919023 + 0.0*i,
    -0.0982772959259939 + 0.0*i,
    -0.767510754400574 + 0.0*i,
    0.804714184603068 + 0.0*i,
    -0.402874751361823 + 0.0*i,
    -0.060860756751793 + 0.0*i,
    -0.0180240559915748 + 0.0*i,
    -0.480173673133728 + 0.0*i,
    0.0879900306249286 + 0.0*i,
    0.0411170672491335 + 0.0*i,
    0.607475297252579 + 0.0*i,
    0.373882630053756 + 0.0*i,
    0.558035931739438 + 0.0*i,
    0.473558435084247 + 0.0*i,
    -0.605917032446796 + 0.0*i,
    0.10858764166084 + 0.0*i,
    0.157488300130208 + 0.0*i,
    -0.594735483834947 + 0.0*i,
    0.10927815556683 + 0.0*i,
    -0.500652891963881 + 0.0*i,
    -0.123035474569469 + 0.0*i,
    0.606709800078574 + 0.0*i,
    -0.382171073792202 + 0.0*i,
    0.844468180827129 + 0.0*i,
    0.268511781220811 + 0.0*i,
    0.925313822566568 + 0.0*i,
    -0.411269020370337 + 0.0*i,
    -0.0794455041658951 + 0.0*i,
    -0.292998027244326 + 0.0*i,
    0.362282947584081 + 0.0*i,
    -0.189497025203385 + 0.0*i,
    -0.675051737271184 + 0.0*i,
    -0.724067418298947 + 0.0*i,
    -0.747730898368979 + 0.0*i,
    0.172004935062463 + 0.0*i,
    0.716055652538552 + 0.0*i,
    0.0146313164381116 + 0.0*i,
    0.254198114304365 + 0.0*i,
    -0.297929985234167 + 0.0*i,
    0.125574840763814 + 0.0*i,
    0.14301741126132 + 0.0*i,
    0.386130338145689 + 0.0*i,
    0.193150723513194 + 0.0*i,
    0.643101636237557 + 0.0*i,
    0.352562413646951 + 0.0*i,
    -0.391117762759067 + 0.0*i,
    0.934403580495807 + 0.0*i,
    0.175892931597997 + 0.0*i,
    -0.663707625211901 + 0.0*i,
    -0.31679728246394 + 0.0*i,
    -0.626523357609246 + 0.0*i,
    0.565455760084677 + 0.0*i,
    0.0215066787121122 + 0.0*i,
    -0.263264619044096 + 0.0*i,
    0.420428553613887 + 0.0*i,
    0.563720430993065 + 0.0*i,
    -0.398920533030271 + 0.0*i,
    -0.158910707281728 + 0.0*i,
    -0.663224828737824 + 0.0*i,
    -0.104335025229491 + 0.0*i,
    0.215335086069369 + 0.0*i,
    0.224181536671318 + 0.0*i,
    -0.152924397705068 + 0.0*i,
    0.488226307541997 + 0.0*i,
    0.0907055112786836 + 0.0*i,
    0.391412809526776 + 0.0*i,
    -0.0468668160783304 + 0.0*i,
    -0.503708746104371 + 0.0*i,
    0.457639533124353 + 0.0*i,
    -0.356922098883853 + 0.0*i,
    0.256842464858783 + 0.0*i,
    0.0648721403747466 + 0.0*i,
    0.0320740723337068 + 0.0*i,
    0.10386933647802 + 0.0*i,
    1.37920730103768 + 0.0*i,
    0.576377125514802 + 0.0*i,
    0.347277418592506 + 0.0*i,
    -0.527338311783661 + 0.0*i,
    0.0157916171402837 + 0.0*i,
    -0.504846783237115 + 0.0*i,
    -0.156479101405835 + 0.0*i,
    0.864538698638647 + 0.0*i,
    -0.159236793980079 + 0.0*i,
    -0.158829409964923 + 0.0*i,
    -0.558473168646383 + 0.0*i,
    0.681928529729936 + 0.0*i,
    -0.00636635210789047 + 0.0*i,
    0.627203685005426 + 0.0*i,
    -0.775289250687774 + 0.0*i,
    0.637684447441757 + 0.0*i,
    0.587543990115641 + 0.0*i,
    -0.573061707953741 + 0.0*i,
    -0.505863377478498 + 0.0*i,
    0.0564989715300421 + 0.0*i,
    -0.936744836164651 + 0.0*i,
    -0.707578085186198 + 0.0*i,
    0.316461730460729 + 0.0*i,
    -0.731073142352359 + 0.0*i,
    0.229856140865591 + 0.0*i,
    -0.223280825799559 + 0.0*i,
    1.07802072610593 + 0.0*i,
    0.222249838611268 + 0.0*i,
    -0.0369502857509253 + 0.0*i,
    1.42109548983555 + 0.0*i,
    -0.202532220506812 + 0.0*i,
    -0.222940031174038 + 0.0*i,
    0.421146394230849 + 0.0*i,
    0.421398114337383 + 0.0*i,
    -0.528386540043206 + 0.0*i,
    0.154219371660801 + 0.0*i,
    -0.182207946988375 + 0.0*i,
    -0.350925259004608 + 0.0*i,
    0.32144142227537 + 0.0*i,
    -0.834232865982202 + 0.0*i,
    0.547412309004248 + 0.0*i,
    0.932972493933122 + 0.0*i,
    -0.41891839521611 + 0.0*i,
    -0.157985536624238 + 0.0*i,
    -0.484968865907461 + 0.0*i,
    0.310075808637755 + 0.0*i,
    -0.087733470101165 + 0.0*i,
    -0.271237036217407 + 0.0*i,
    -0.202545257089867 + 0.0*i,
    -0.626497517408402 + 0.0*i,
    -0.944253313255614 + 0.0*i,
    -0.108653493088829 + 0.0*i,
    0.13911220943008 + 0.0*i,
    -1.09196686849292 + 0.0*i,
    0.6928704148581 + 0.0*i,
    0.0675729536084573 + 0.0*i,
    0.30184073091132 + 0.0*i
]);