V:=Matrix(CC,7,31,[
    0.379398699861527 + 0.0*i,
    -0.369540190887881 + 0.0*i,
    0.219416877918381 + 0.0*i,
    0.109372880486507 + 0.0*i,
    -0.646541196254316 + 0.0*i,
    0.457699218872911 + 0.0*i,
    -0.119851088676853 + 0.0*i,
    -0.5028869997832 + 0.0*i,
    -0.034201819426537 + 0.0*i,
    -0.624676193591788 + 0.0*i,
    -0.104512136595207 + 0.0*i,
    0.699277376168951 + 0.0*i,
    -0.365661570601476 + 0.0*i,
    0.374567397828857 + 0.0*i,
    0.280283503294509 + 0.0*i,
    -0.256701329965394 + 0.0*i,
    -0.0524151407172029 + 0.0*i,
    -0.0642574263318895 + 0.0*i,
    -0.519966455098209 + 0.0*i,
    0.258606279838138 + 0.0*i,
    -0.580657985883723 + 0.0*i,
    -0.0572377455388012 + 0.0*i,
    -0.434796698188912 + 0.0*i,
    0.062383352067055 + 0.0*i,
    0.0405089163419517 + 0.0*i,
    0.104844666096014 + 0.0*i,
    0.319067344109431 + 0.0*i,
    -0.42390743644687 + 0.0*i,
    0.415670338364286 + 0.0*i,
    0.819056023615303 + 0.0*i,
    0.407773631694298 + 0.0*i,
    0.13441392153367 + 0.0*i,
    0.55145500276239 + 0.0*i,
    -0.0181093736197148 + 0.0*i,
    -0.0301365379388153 + 0.0*i,
    0.119055251052869 + 0.0*i,
    0.403500627539234 + 0.0*i,
    -0.418858970900079 + 0.0*i,
    -0.538171432760897 + 0.0*i,
    -0.333468539688656 + 0.0*i,
    0.415759124347513 + 0.0*i,
    -0.195376659603182 + 0.0*i,
    -0.307493684683033 + 0.0*i,
    -0.0561100663708095 + 0.0*i,
    -0.227149300713296 + 0.0*i,
    -0.141201186562996 + 0.0*i,
    0.917247775158497 + 0.0*i,
    0.0605245612868981 + 0.0*i,
    0.399601556166632 + 0.0*i,
    -0.617303849436385 + 0.0*i,
    -0.205311873228546 + 0.0*i,
    -0.328688008500677 + 0.0*i,
    -0.893804116691623 + 0.0*i,
    -0.868249640397502 + 0.0*i,
    -0.100866664544372 + 0.0*i,
    -0.0399767561299287 + 0.0*i,
    0.160071779184171 + 0.0*i,
    -0.218756212354556 + 0.0*i,
    0.179627770979122 + 0.0*i,
    -0.742979221100186 + 0.0*i,
    0.0252899281182596 + 0.0*i,
    0.210888807387794 + 0.0*i,
    0.28898539649037 + 0.0*i,
    -0.379060870518195 + 0.0*i,
    -0.635603889999872 + 0.0*i,
    0.092933762388562 + 0.0*i,
    -0.520758506329122 + 0.0*i,
    -0.450372982909449 + 0.0*i,
    -0.418790482432936 + 0.0*i,
    0.0327162091165754 + 0.0*i,
    -0.548640075594796 + 0.0*i,
    -0.570821487876203 + 0.0*i,
    -0.130125432287085 + 0.0*i,
    0.276291026402365 + 0.0*i,
    0.53185135079268 + 0.0*i,
    -0.369250462292262 + 0.0*i,
    0.468517817332041 + 0.0*i,
    0.471318317158978 + 0.0*i,
    0.329062292592278 + 0.0*i,
    0.643206489139096 + 0.0*i,
    0.126884887462269 + 0.0*i,
    0.0970343908720447 + 0.0*i,
    0.139696073319426 + 0.0*i,
    0.397402325216681 + 0.0*i,
    -0.558898660665188 + 0.0*i,
    0.595192438264945 + 0.0*i,
    -0.532006154424403 + 0.0*i,
    0.0101797234730471 + 0.0*i,
    -0.434266339097916 + 0.0*i,
    0.138524166052128 + 0.0*i,
    0.182278177985359 + 0.0*i,
    -0.677754041038521 + 0.0*i,
    -0.42317818740042 + 0.0*i,
    -0.558659530843199 + 0.0*i,
    0.222140026611411 + 0.0*i,
    0.0485092939403036 + 0.0*i,
    -0.325537900219309 + 0.0*i,
    0.532581036695272 + 0.0*i,
    0.28091746114994 + 0.0*i,
    0.294021826738589 + 0.0*i,
    -0.35025814876756 + 0.0*i,
    0.471994472287095 + 0.0*i,
    -0.163416002352878 + 0.0*i,
    0.286335690703286 + 0.0*i,
    0.642666235773417 + 0.0*i,
    0.305987581044585 + 0.0*i,
    -0.505665450311927 + 0.0*i,
    0.123732807686761 + 0.0*i,
    -0.171419274827325 + 0.0*i,
    -0.0800152175407106 + 0.0*i,
    0.237507744085034 + 0.0*i,
    0.389455783231232 + 0.0*i,
    0.27827405401293 + 0.0*i,
    -0.474819909901336 + 0.0*i,
    0.39130146193227 + 0.0*i,
    -0.586022181427949 + 0.0*i,
    -0.0121997288932615 + 0.0*i,
    0.213829655558987 + 0.0*i,
    0.0627660922759957 + 0.0*i,
    0.40875933616435 + 0.0*i,
    -0.54817836181657 + 0.0*i,
    0.51422004506234 + 0.0*i,
    -0.262450779035491 + 0.0*i,
    0.755672198769481 + 0.0*i,
    -0.154217001668142 + 0.0*i,
    0.0284451156953539 + 0.0*i,
    0.138167050061013 + 0.0*i,
    -0.0347129732253042 + 0.0*i,
    -0.549602805759658 + 0.0*i,
    0.203152639488035 + 0.0*i,
    -0.0649457111927926 + 0.0*i,
    -0.518583661181279 + 0.0*i,
    -0.12171673620673 + 0.0*i,
    -0.186757668168393 + 0.0*i,
    0.285488723794409 + 0.0*i,
    -0.51097629263467 + 0.0*i,
    -0.0936238461714232 + 0.0*i,
    0.0524869971481826 + 0.0*i,
    0.0956963003720391 + 0.0*i,
    -0.56844186955175 + 0.0*i,
    -0.0470117888615037 + 0.0*i,
    0.253427071239288 + 0.0*i,
    -0.76113529260227 + 0.0*i,
    -0.28462261417462 + 0.0*i,
    0.329730351809327 + 0.0*i,
    0.0863824786335735 + 0.0*i,
    0.0810725520796151 + 0.0*i,
    -0.756803145633966 + 0.0*i,
    -0.304277726375891 + 0.0*i,
    0.0562806928362345 + 0.0*i,
    -0.558694835469894 + 0.0*i,
    0.169189363555762 + 0.0*i,
    0.225392828501834 + 0.0*i,
    -0.38328384611554 + 0.0*i,
    0.276877385815127 + 0.0*i,
    0.758334977217299 + 0.0*i,
    0.0600558879096807 + 0.0*i,
    -0.291412719631622 + 0.0*i,
    0.511105322916343 + 0.0*i,
    0.302262558925865 + 0.0*i,
    -0.151549553379705 + 0.0*i,
    -0.0719277332986138 + 0.0*i,
    0.555890402816782 + 0.0*i,
    0.037097589396782 + 0.0*i,
    -0.506179205258428 + 0.0*i,
    0.0456167009510603 + 0.0*i,
    -0.194802655649825 + 0.0*i,
    0.128122281096236 + 0.0*i,
    0.386284861960721 + 0.0*i,
    -0.269900959288992 + 0.0*i,
    0.243519245121126 + 0.0*i,
    0.107972933666112 + 0.0*i,
    0.262459878883789 + 0.0*i,
    0.0420999812383584 + 0.0*i,
    0.30572162213097 + 0.0*i,
    0.236700861339804 + 0.0*i,
    0.116024328915586 + 0.0*i,
    -0.290076514076293 + 0.0*i,
    0.266774406824426 + 0.0*i,
    -0.435361145825324 + 0.0*i,
    -0.0175862579767537 + 0.0*i,
    0.701219055140801 + 0.0*i,
    -0.346216146224956 + 0.0*i,
    0.387043920508678 + 0.0*i,
    -0.198447704692699 + 0.0*i,
    0.332837008212663 + 0.0*i,
    0.0615288989556446 + 0.0*i,
    -0.344754198805737 + 0.0*i,
    -0.396585852300012 + 0.0*i,
    -0.00582561122842098 + 0.0*i,
    0.0308536998290216 + 0.0*i,
    0.285650732523096 + 0.0*i,
    -0.157324378215955 + 0.0*i,
    0.040542328553355 + 0.0*i,
    -0.352736555958807 + 0.0*i,
    0.230458394069191 + 0.0*i,
    0.342713831702573 + 0.0*i,
    -0.123518572383458 + 0.0*i,
    0.573133627437779 + 0.0*i,
    0.0213911252420676 + 0.0*i,
    -0.0171204814067052 + 0.0*i,
    -0.257374390598864 + 0.0*i,
    0.143858097532737 + 0.0*i,
    0.283243555117151 + 0.0*i,
    0.142869699686008 + 0.0*i,
    -0.901045283695266 + 0.0*i,
    0.602883483720444 + 0.0*i,
    -0.321829187419963 + 0.0*i,
    0.237869955362354 + 0.0*i,
    -0.523991232449349 + 0.0*i,
    0.422729756907493 + 0.0*i,
    0.0316234135161928 + 0.0*i,
    -0.202814787331063 + 0.0*i,
    0.581012585158807 + 0.0*i,
    0.502331536551112 + 0.0*i,
    -0.415731780969371 + 0.0*i,
    -0.425488860679081 + 0.0*i
]);