V:=Matrix(CC,4,72,[
    0.0153141471382347 + 0.0*i,
    -0.218716189152991 + 0.0*i,
    -0.21066192955516 + 0.0*i,
    -0.227213846908386 + 0.0*i,
    -0.172347479231358 + 0.0*i,
    -0.148293038992824 + 0.0*i,
    0.28435531525307 + 0.0*i,
    0.298042375306053 + 0.0*i,
    -0.0982663014250734 + 0.0*i,
    0.0357522872869448 + 0.0*i,
    -0.0417691218542721 + 0.0*i,
    -0.0889372989129057 + 0.0*i,
    0.0184553942739874 + 0.0*i,
    -0.25385913387999 + 0.0*i,
    -0.352786545455514 + 0.0*i,
    0.220443844150319 + 0.0*i,
    -0.0927309583417938 + 0.0*i,
    0.138629164868704 + 0.0*i,
    0.156995832781166 + 0.0*i,
    -0.0924345302467123 + 0.0*i,
    -0.310912374924349 + 0.0*i,
    0.0866872974385971 + 0.0*i,
    -0.219056516212509 + 0.0*i,
    -0.217773649086561 + 0.0*i,
    -0.0837300510549486 + 0.0*i,
    0.0366389238380233 + 0.0*i,
    -0.125867709417991 + 0.0*i,
    0.153515672764872 + 0.0*i,
    -0.241221502989201 + 0.0*i,
    0.111685565391784 + 0.0*i,
    0.0692804170022105 + 0.0*i,
    -0.0362939918680661 + 0.0*i,
    0.106600915806209 + 0.0*i,
    0.0250722362756705 + 0.0*i,
    0.183958810931775 + 0.0*i,
    -0.0141092178575868 + 0.0*i,
    -0.00235001083042562 + 0.0*i,
    0.136936458304479 + 0.0*i,
    0.319591028820054 + 0.0*i,
    0.228026696805851 + 0.0*i,
    0.280665141812676 + 0.0*i,
    0.207741198509408 + 0.0*i,
    0.179979686326773 + 0.0*i,
    0.210701757443918 + 0.0*i,
    -0.0414390965024647 + 0.0*i,
    -0.337986461744675 + 0.0*i,
    0.194289793218816 + 0.0*i,
    0.278931454600955 + 0.0*i,
    0.0430361114382935 + 0.0*i,
    -0.408908124335162 + 0.0*i,
    0.0735646475126803 + 0.0*i,
    0.0445052249423366 + 0.0*i,
    0.118234362009077 + 0.0*i,
    0.0877117648291632 + 0.0*i,
    -0.243488692920333 + 0.0*i,
    -0.16711135247074 + 0.0*i,
    0.348503067060006 + 0.0*i,
    -0.00877438089809935 + 0.0*i,
    -0.109599980852207 + 0.0*i,
    -0.0510366184499725 + 0.0*i,
    0.174496426049762 + 0.0*i,
    -0.164712805635999 + 0.0*i,
    0.284969662224333 + 0.0*i,
    0.331679281300299 + 0.0*i,
    -0.362012015468442 + 0.0*i,
    0.156681278229847 + 0.0*i,
    -0.228188601102917 + 0.0*i,
    0.350571442365449 + 0.0*i,
    -0.319438838360819 + 0.0*i,
    -0.352966085333214 + 0.0*i,
    -0.361523546750869 + 0.0*i,
    0.220030671745581 + 0.0*i,
    -0.0193037607228409 + 0.0*i,
    -0.207136913811893 + 0.0*i,
    -0.0452801282096848 + 0.0*i,
    0.045036312813848 + 0.0*i,
    0.352260149568338 + 0.0*i,
    0.0442408273854525 + 0.0*i,
    0.136996696136616 + 0.0*i,
    0.103698435702817 + 0.0*i,
    0.268636764380318 + 0.0*i,
    0.0803201880297531 + 0.0*i,
    0.0694700863894149 + 0.0*i,
    -0.244203185706988 + 0.0*i,
    0.0189864131326589 + 0.0*i,
    -0.138493548146503 + 0.0*i,
    -0.0303780393769534 + 0.0*i,
    0.313712353869988 + 0.0*i,
    0.141056160762764 + 0.0*i,
    0.0571006256323094 + 0.0*i,
    -0.199314419751127 + 0.0*i,
    -0.153732194378605 + 0.0*i,
    -0.129182808651198 + 0.0*i,
    -0.368696276522295 + 0.0*i,
    0.212188576431647 + 0.0*i,
    0.251097738423284 + 0.0*i,
    -0.275122879247598 + 0.0*i,
    0.121163539702027 + 0.0*i,
    -0.161079383286266 + 0.0*i,
    0.00466361830185369 + 0.0*i,
    -0.122170608634546 + 0.0*i,
    -0.104001687972943 + 0.0*i,
    0.391176102563068 + 0.0*i,
    -0.376872584319956 + 0.0*i,
    0.366772843126844 + 0.0*i,
    0.319054639331749 + 0.0*i,
    0.22299651655818 + 0.0*i,
    -0.109329510860964 + 0.0*i,
    -0.248008639818417 + 0.0*i,
    -0.106374749917502 + 0.0*i,
    -0.205928535492396 + 0.0*i,
    0.317916341369642 + 0.0*i,
    -0.11135534021842 + 0.0*i,
    0.0341304486729541 + 0.0*i,
    0.0859673647003528 + 0.0*i,
    -0.231736307762188 + 0.0*i,
    0.298659239931162 + 0.0*i,
    0.104246917338306 + 0.0*i,
    -0.127162149357366 + 0.0*i,
    -0.0893826567942407 + 0.0*i,
    -0.105081482490109 + 0.0*i,
    0.0412644753007685 + 0.0*i,
    0.233756784315287 + 0.0*i,
    -0.231427418531512 + 0.0*i,
    0.272521949726434 + 0.0*i,
    -0.363121560834157 + 0.0*i,
    -0.276375675985915 + 0.0*i,
    -0.307791027992449 + 0.0*i,
    -0.040040870008592 + 0.0*i,
    0.345203732770113 + 0.0*i,
    0.258266112849964 + 0.0*i,
    -0.198179098316781 + 0.0*i,
    -0.344690466026766 + 0.0*i,
    -0.104179949841893 + 0.0*i,
    -0.251873782720601 + 0.0*i,
    -0.0817916409184281 + 0.0*i,
    0.0690113782459172 + 0.0*i,
    -0.263413276523145 + 0.0*i,
    -0.0175714326984227 + 0.0*i,
    0.129536975848037 + 0.0*i,
    0.243081096216599 + 0.0*i,
    -0.125052888897092 + 0.0*i,
    -0.203320768675365 + 0.0*i,
    -0.075934695208741 + 0.0*i,
    -0.268627929297546 + 0.0*i,
    -0.230772187600716 + 0.0*i,
    -0.349224692407674 + 0.0*i,
    -0.276996727704034 + 0.0*i,
    -0.0527560602377491 + 0.0*i,
    0.377144758543596 + 0.0*i,
    -0.263896480587863 + 0.0*i,
    0.0697118669534029 + 0.0*i,
    0.285988944718022 + 0.0*i,
    0.391502575440322 + 0.0*i,
    0.118434239410869 + 0.0*i,
    -0.000455399964178788 + 0.0*i,
    -0.308330015747414 + 0.0*i,
    -0.258296022826334 + 0.0*i,
    0.120788806700641 + 0.0*i,
    -0.0964653079146052 + 0.0*i,
    -0.0975608039187274 + 0.0*i,
    -0.0690334466205409 + 0.0*i,
    -0.300483730707935 + 0.0*i,
    0.352492862166665 + 0.0*i,
    0.154653586543735 + 0.0*i,
    -0.152735907499872 + 0.0*i,
    -0.280115139273221 + 0.0*i,
    -0.134106626313135 + 0.0*i,
    -0.299849952136612 + 0.0*i,
    0.356475943486802 + 0.0*i,
    0.165523651837459 + 0.0*i,
    -0.330666276551402 + 0.0*i,
    0.173829503593389 + 0.0*i,
    0.154856164668525 + 0.0*i,
    -0.0628328853054883 + 0.0*i,
    -0.0795798808219971 + 0.0*i,
    0.10761475805195 + 0.0*i,
    -0.0979358742913689 + 0.0*i,
    0.041917060817767 + 0.0*i,
    -0.0555779997442438 + 0.0*i,
    -0.204395041173338 + 0.0*i,
    0.334810233652484 + 0.0*i,
    -0.0888763088530629 + 0.0*i,
    0.123930258320354 + 0.0*i,
    -0.265410484603348 + 0.0*i,
    0.191301741920526 + 0.0*i,
    -0.322668618067163 + 0.0*i,
    0.172139537501397 + 0.0*i,
    -0.259403442181704 + 0.0*i,
    -0.0146678243448055 + 0.0*i,
    -0.194128815992911 + 0.0*i,
    0.00281828244877192 + 0.0*i,
    0.393441182738 + 0.0*i,
    0.0118355974455614 + 0.0*i,
    0.244672247702301 + 0.0*i,
    0.288757881992197 + 0.0*i,
    -0.27208261577804 + 0.0*i,
    0.148418811095041 + 0.0*i,
    0.0061620696603981 + 0.0*i,
    0.183057461587483 + 0.0*i,
    -0.192606589526235 + 0.0*i,
    -0.0930744914103592 + 0.0*i,
    0.0571738946559372 + 0.0*i,
    0.226364015183801 + 0.0*i,
    -0.0606682315084286 + 0.0*i,
    -0.173723352975146 + 0.0*i,
    -0.135842681099932 + 0.0*i,
    0.233505479027532 + 0.0*i,
    -0.127159885389149 + 0.0*i,
    -0.0636885369220219 + 0.0*i,
    0.029534985311009 + 0.0*i,
    0.065182084943021 + 0.0*i,
    -0.0794933833255323 + 0.0*i,
    -0.152895809636227 + 0.0*i,
    0.0429024118660777 + 0.0*i,
    -0.21381007824418 + 0.0*i,
    0.313885164528933 + 0.0*i,
    -0.157118451784864 + 0.0*i,
    -0.0280228669029538 + 0.0*i,
    -0.202456398105302 + 0.0*i,
    0.0763852473336452 + 0.0*i,
    0.0271917120687561 + 0.0*i,
    0.0314916289824421 + 0.0*i,
    0.243893238042342 + 0.0*i,
    -0.121442448291957 + 0.0*i,
    -0.109056877377396 + 0.0*i,
    0.389916762801196 + 0.0*i,
    -0.319377076897767 + 0.0*i,
    -0.273781977451834 + 0.0*i,
    0.122043733162132 + 0.0*i,
    -0.157319963475566 + 0.0*i,
    -0.115042897781797 + 0.0*i,
    0.366125775339593 + 0.0*i,
    0.377841618387213 + 0.0*i,
    -0.118989706912554 + 0.0*i,
    -0.0997168188962702 + 0.0*i,
    0.175069464131517 + 0.0*i,
    -0.0632563003719608 + 0.0*i,
    -0.0289445033025834 + 0.0*i,
    -0.206728998195994 + 0.0*i,
    -0.00263515180235433 + 0.0*i,
    0.165138218815343 + 0.0*i,
    0.320680961800094 + 0.0*i,
    0.179174230454668 + 0.0*i,
    -0.254558396825918 + 0.0*i,
    0.355237329598387 + 0.0*i,
    0.0158689148968164 + 0.0*i,
    0.143105405688276 + 0.0*i,
    0.126842422349913 + 0.0*i,
    -0.237654419814742 + 0.0*i,
    -0.29343462796399 + 0.0*i,
    0.397955452997285 + 0.0*i,
    -0.25663035997274 + 0.0*i,
    -0.176896184285496 + 0.0*i,
    0.126780733982753 + 0.0*i,
    -0.0600045823913284 + 0.0*i,
    0.0751449311256765 + 0.0*i,
    -0.303284912496531 + 0.0*i,
    -0.149196803474439 + 0.0*i,
    -0.205576623169073 + 0.0*i,
    0.0860000463089752 + 0.0*i,
    0.217552360045365 + 0.0*i,
    0.276475759135553 + 0.0*i,
    0.288733059453192 + 0.0*i,
    0.0537428014951061 + 0.0*i,
    0.0113492871033433 + 0.0*i,
    -0.240175485654803 + 0.0*i,
    0.179437656461279 + 0.0*i,
    -0.081643888140881 + 0.0*i,
    0.0617534525151057 + 0.0*i,
    -0.177097374589384 + 0.0*i,
    -0.101138425377564 + 0.0*i,
    -0.0913322419582337 + 0.0*i,
    0.204033888948051 + 0.0*i,
    -0.295619225581003 + 0.0*i,
    -0.272127087557356 + 0.0*i,
    0.113445728192412 + 0.0*i,
    -0.312150823999938 + 0.0*i,
    -0.0828995965516825 + 0.0*i,
    -0.0885510869604906 + 0.0*i,
    -0.127481122656945 + 0.0*i,
    -0.277509308459176 + 0.0*i,
    0.338899438022673 + 0.0*i,
    -0.170753567115262 + 0.0*i,
    0.0299849815528005 + 0.0*i,
    -0.04841641915295 + 0.0*i,
    -0.0331537744618691 + 0.0*i,
    -0.26667857329506 + 0.0*i
]);