V:=Matrix(CC,4,78,[
    -0.309547504166611 + 0.0*i,
    0.238770658853505 + 0.0*i,
    0.0510740914353385 + 0.0*i,
    -0.341985697764181 + 0.0*i,
    -0.0815054761848987 + 0.0*i,
    0.25646573826362 + 0.0*i,
    0.124285970998424 + 0.0*i,
    0.269026712499781 + 0.0*i,
    0.0471696636432001 + 0.0*i,
    -0.176162572546577 + 0.0*i,
    0.087432782116571 + 0.0*i,
    0.0792634110575522 + 0.0*i,
    0.0652403758979242 + 0.0*i,
    -0.397096512607193 + 0.0*i,
    -0.302495337346188 + 0.0*i,
    -0.322310266486019 + 0.0*i,
    -0.0830803960247417 + 0.0*i,
    -0.0103413162047045 + 0.0*i,
    -0.0459646150670083 + 0.0*i,
    0.343233820241935 + 0.0*i,
    0.195843189098053 + 0.0*i,
    -0.182769940318946 + 0.0*i,
    0.274625974736244 + 0.0*i,
    0.0995734707784219 + 0.0*i,
    -0.371461365675856 + 0.0*i,
    0.101182388571142 + 0.0*i,
    0.17496539010567 + 0.0*i,
    0.0389933846209991 + 0.0*i,
    0.307480846879814 + 0.0*i,
    -0.0464095866741979 + 0.0*i,
    0.16792166790413 + 0.0*i,
    -0.0277199285609935 + 0.0*i,
    0.146187875024634 + 0.0*i,
    -0.0144831559886199 + 0.0*i,
    -0.075819188614928 + 0.0*i,
    -0.261662859377706 + 0.0*i,
    0.134621131767214 + 0.0*i,
    0.29126483910924 + 0.0*i,
    -0.209827739929502 + 0.0*i,
    -0.248908379440371 + 0.0*i,
    0.201184621392272 + 0.0*i,
    -0.0768115065567085 + 0.0*i,
    0.086169521141524 + 0.0*i,
    0.274206814621298 + 0.0*i,
    -0.283068062043642 + 0.0*i,
    0.248035707226535 + 0.0*i,
    -0.123472763098727 + 0.0*i,
    0.129547817248055 + 0.0*i,
    -0.35714328248899 + 0.0*i,
    -0.184807892034354 + 0.0*i,
    -0.101460030573567 + 0.0*i,
    0.265544758487958 + 0.0*i,
    0.284579737420757 + 0.0*i,
    0.0266212943334565 + 0.0*i,
    -0.122035943642034 + 0.0*i,
    -0.0144843937470096 + 0.0*i,
    -0.109097207781115 + 0.0*i,
    0.361722453247651 + 0.0*i,
    -0.0498398110198885 + 0.0*i,
    0.231876981120704 + 0.0*i,
    -0.109451572949536 + 0.0*i,
    -0.0546650989575803 + 0.0*i,
    0.140264852298096 + 0.0*i,
    0.110797505651235 + 0.0*i,
    -0.369760907257483 + 0.0*i,
    -0.382974534350466 + 0.0*i,
    -0.159773152434043 + 0.0*i,
    -0.172866948178652 + 0.0*i,
    0.192070174778654 + 0.0*i,
    0.279850975187364 + 0.0*i,
    -0.0420805479685838 + 0.0*i,
    -0.217263150573971 + 0.0*i,
    0.143528209381613 + 0.0*i,
    0.260778061138841 + 0.0*i,
    -0.194687774392525 + 0.0*i,
    -0.00426717371794104 + 0.0*i,
    -0.172934440762592 + 0.0*i,
    0.0492565008989457 + 0.0*i,
    0.225991880335975 + 0.0*i,
    -0.333332188468573 + 0.0*i,
    -0.237400876368224 + 0.0*i,
    -0.000799467608964096 + 0.0*i,
    0.053599738738401 + 0.0*i,
    -0.231318782313995 + 0.0*i,
    -0.353045783430172 + 0.0*i,
    0.253054607285536 + 0.0*i,
    -0.0183015738505672 + 0.0*i,
    0.0547036971702335 + 0.0*i,
    0.317549787392083 + 0.0*i,
    0.285973058889469 + 0.0*i,
    0.0676870120249879 + 0.0*i,
    -0.00583581217470762 + 0.0*i,
    0.0590748919807178 + 0.0*i,
    -0.169489241013002 + 0.0*i,
    0.273699169370189 + 0.0*i,
    0.171146646254306 + 0.0*i,
    -0.0972774923142935 + 0.0*i,
    -0.0559455442627854 + 0.0*i,
    0.272115087935485 + 0.0*i,
    0.0675348193106024 + 0.0*i,
    0.0818573229571706 + 0.0*i,
    -0.207052398419363 + 0.0*i,
    -0.143169970406044 + 0.0*i,
    -0.333813819766192 + 0.0*i,
    -0.117225271989609 + 0.0*i,
    -0.394085039786935 + 0.0*i,
    0.0355051603190169 + 0.0*i,
    -0.338812521609548 + 0.0*i,
    -0.089301911952642 + 0.0*i,
    0.00851022902061548 + 0.0*i,
    0.0638601681303601 + 0.0*i,
    0.106996080671329 + 0.0*i,
    -0.261512830614938 + 0.0*i,
    -0.309909460769886 + 0.0*i,
    0.10615447550652 + 0.0*i,
    0.0892103577569897 + 0.0*i,
    0.282240791002289 + 0.0*i,
    -0.251316106259224 + 0.0*i,
    -0.0518440576434185 + 0.0*i,
    -0.393045629936318 + 0.0*i,
    -0.253254431170397 + 0.0*i,
    0.0917652211414856 + 0.0*i,
    0.198219928809054 + 0.0*i,
    0.249146937894242 + 0.0*i,
    0.289178847019851 + 0.0*i,
    0.245560636927756 + 0.0*i,
    0.177143189001171 + 0.0*i,
    -0.138033941520244 + 0.0*i,
    -0.368687215286851 + 0.0*i,
    0.106247995919887 + 0.0*i,
    -0.185919275574366 + 0.0*i,
    -0.244048321648397 + 0.0*i,
    -0.12919170334888 + 0.0*i,
    -0.333899583579495 + 0.0*i,
    0.368687418759023 + 0.0*i,
    -0.0323241820708352 + 0.0*i,
    0.199417053861545 + 0.0*i,
    -0.16440669121946 + 0.0*i,
    0.143852854856586 + 0.0*i,
    -0.0596512651737623 + 0.0*i,
    0.11474570860339 + 0.0*i,
    0.210394615370344 + 0.0*i,
    -0.143598178236382 + 0.0*i,
    0.0896501344479617 + 0.0*i,
    0.2423639961306 + 0.0*i,
    -0.258848903023911 + 0.0*i,
    0.0316835133214209 + 0.0*i,
    -0.0848651315474792 + 0.0*i,
    -0.186501869457235 + 0.0*i,
    -0.112964523995248 + 0.0*i,
    -0.0764528652833532 + 0.0*i,
    -0.216268967296962 + 0.0*i,
    0.0865948216631962 + 0.0*i,
    0.0486363651550536 + 0.0*i,
    -0.334639105580699 + 0.0*i,
    0.192785087699589 + 0.0*i,
    -0.0397859722522366 + 0.0*i,
    0.00472260210607738 + 0.0*i,
    0.330193777374375 + 0.0*i,
    -0.198403133902564 + 0.0*i,
    -0.324866803036308 + 0.0*i,
    0.22253995081801 + 0.0*i,
    0.134995483907707 + 0.0*i,
    -0.138621339930792 + 0.0*i,
    0.0166366575095727 + 0.0*i,
    -0.0901702116372229 + 0.0*i,
    -0.0805297772427353 + 0.0*i,
    -0.270373437647646 + 0.0*i,
    0.375451242662161 + 0.0*i,
    0.0445674502602397 + 0.0*i,
    -0.0132778193679893 + 0.0*i,
    -0.0454307806198936 + 0.0*i,
    0.170831282072016 + 0.0*i,
    0.025921354735796 + 0.0*i,
    0.39493895886585 + 0.0*i,
    -0.22557360473998 + 0.0*i,
    -0.220730567861919 + 0.0*i,
    0.127938970939918 + 0.0*i,
    -0.184132916744634 + 0.0*i,
    0.140751514619147 + 0.0*i,
    -0.098978961380991 + 0.0*i,
    0.187413851354441 + 0.0*i,
    -0.300702115112274 + 0.0*i,
    -0.0175221847659804 + 0.0*i,
    -0.214238315899709 + 0.0*i,
    0.0032253595893846 + 0.0*i,
    -0.363837757737956 + 0.0*i,
    0.20248921053976 + 0.0*i,
    0.235540063722388 + 0.0*i,
    0.230977035024885 + 0.0*i,
    0.199314939759518 + 0.0*i,
    -0.00455449265000158 + 0.0*i,
    -0.330058889733764 + 0.0*i,
    0.086632013829428 + 0.0*i,
    0.19870265277525 + 0.0*i,
    -0.20085186296906 + 0.0*i,
    0.359172072480432 + 0.0*i,
    0.103717496358303 + 0.0*i,
    -0.307009964863634 + 0.0*i,
    0.274940866661284 + 0.0*i,
    0.18476082599674 + 0.0*i,
    -0.02609072668843 + 0.0*i,
    0.00893166085764856 + 0.0*i,
    0.138007996746627 + 0.0*i,
    0.0470750214585663 + 0.0*i,
    0.0837375300074326 + 0.0*i,
    -0.127424541713513 + 0.0*i,
    -0.304188788004618 + 0.0*i,
    -0.101811287535603 + 0.0*i,
    -0.247367479033353 + 0.0*i,
    0.288801827022675 + 0.0*i,
    -0.207467443945309 + 0.0*i,
    0.111589284987363 + 0.0*i,
    -0.00890237211832496 + 0.0*i,
    -0.183916370696456 + 0.0*i,
    0.223822915153658 + 0.0*i,
    -0.324453185871119 + 0.0*i,
    0.217793231180077 + 0.0*i,
    -0.0636851609580794 + 0.0*i,
    0.329999134522118 + 0.0*i,
    0.0959614305443694 + 0.0*i,
    -0.11439194959914 + 0.0*i,
    0.0615577006477127 + 0.0*i,
    -0.19311614726755 + 0.0*i,
    0.157532935841316 + 0.0*i,
    0.21707340768265 + 0.0*i,
    -0.315115808144313 + 0.0*i,
    -0.288176605834267 + 0.0*i,
    -0.310008401316228 + 0.0*i,
    0.0979592486361087 + 0.0*i,
    0.111615389670868 + 0.0*i,
    0.393320517606388 + 0.0*i,
    -0.0455709323062102 + 0.0*i,
    0.0832620151178878 + 0.0*i,
    0.147056975982628 + 0.0*i,
    0.0371329851053172 + 0.0*i,
    -0.0820420433223328 + 0.0*i,
    0.121472559411655 + 0.0*i,
    0.232005835095973 + 0.0*i,
    0.0160196004478656 + 0.0*i,
    -0.12231783634437 + 0.0*i,
    -0.121977679647649 + 0.0*i,
    -0.41132370792135 + 0.0*i,
    -0.358092435574653 + 0.0*i,
    -0.233765331754046 + 0.0*i,
    -0.094306575226013 + 0.0*i,
    0.149467999318382 + 0.0*i,
    0.099781740983039 + 0.0*i,
    0.272698990251634 + 0.0*i,
    0.196438239308242 + 0.0*i,
    -0.22530411355568 + 0.0*i,
    -0.369130841586192 + 0.0*i,
    0.0473749002888902 + 0.0*i,
    0.0496245360218731 + 0.0*i,
    0.085774321754771 + 0.0*i,
    0.330226496281004 + 0.0*i,
    0.232206339962851 + 0.0*i,
    -0.318594371500154 + 0.0*i,
    -0.0442239701541318 + 0.0*i,
    0.122122421679745 + 0.0*i,
    0.190152013126707 + 0.0*i,
    0.0981945948087727 + 0.0*i,
    -0.180382033313151 + 0.0*i,
    -0.226069958367728 + 0.0*i,
    -0.0260831160414018 + 0.0*i,
    0.357743021506866 + 0.0*i,
    0.297674444256722 + 0.0*i,
    -0.315631652691912 + 0.0*i,
    -0.233071305431261 + 0.0*i,
    -0.0335843688368119 + 0.0*i,
    0.172935855144569 + 0.0*i,
    0.256160606112579 + 0.0*i,
    -0.0637918986579187 + 0.0*i,
    0.0542785778790246 + 0.0*i,
    -0.0199365247368829 + 0.0*i,
    -0.023892931443115 + 0.0*i,
    -0.0279428946502338 + 0.0*i,
    0.115436122790397 + 0.0*i,
    0.142579334582126 + 0.0*i,
    0.216362020447646 + 0.0*i,
    -0.25647261526626 + 0.0*i,
    -0.270715961386858 + 0.0*i,
    -0.019870054291777 + 0.0*i,
    0.336228670643165 + 0.0*i,
    -0.0577059239512307 + 0.0*i,
    -0.0127351099528378 + 0.0*i,
    0.192381794217375 + 0.0*i,
    -0.220813239097125 + 0.0*i,
    0.235420418032419 + 0.0*i,
    0.0953091122624633 + 0.0*i,
    0.111931326917076 + 0.0*i,
    0.189202487318914 + 0.0*i,
    -0.307585108126119 + 0.0*i,
    -0.188933727249419 + 0.0*i,
    -0.18735795862375 + 0.0*i,
    -0.328223787245348 + 0.0*i,
    0.35848779486729 + 0.0*i,
    0.0245558146681075 + 0.0*i,
    -0.058808066914293 + 0.0*i,
    -0.029550905097551 + 0.0*i,
    0.283851352982596 + 0.0*i,
    -0.192310842259067 + 0.0*i,
    -0.331733847987031 + 0.0*i,
    0.172516150959467 + 0.0*i,
    0.164443834402638 + 0.0*i,
    0.156822408419412 + 0.0*i,
    -0.212864526166247 + 0.0*i,
    0.209197276228901 + 0.0*i,
    -0.329873931609841 + 0.0*i,
    -0.0957603383750482 + 0.0*i,
    0.132192637217827 + 0.0*i,
    0.350338010559766 + 0.0*i
]);