A x:=381566076341269936150140949175129199758917594650695; B d:=87504651861298282691191259240234124495607543257780391999467338638758959953; C d:=9767676258409495415330177985606090292492152673930912; D x:=45823481861828130194601978769121905821303777745036176967666309; E d:=2582878595679746894700637526808475774379026917443732874101615257215879828719916377; F d:=567913926150878551; G x:=54044142650498806431597; H d:=795015737320568841853369333596216473100378971212914636499138555289279785875348203099671390288617997; I d:=95426313893210856044; J x:=33910192182683834979164337477478896807849732920524332778585243961553655668657; K d:=6936908430248777831982143967808749409445583840473222393080445510988229917253; L d:=1052236775879410441701172467028974437643506868501615123504583064720462473243; M x:=2854153660885208756875861837697283035759811227901741354806138908074035437; N d:=1152010121090512472256253633559493191541472114617883487385336623790963018366687316589593944891150061; O d:=6663328376913706697753565699464846179969369393654205271438700; P d:=142695160129312202897310725856277209205027442000098283301396333209701487636498946310190025747225969435270339855043368157845349175857687006352311886570440692410671722340714043714722398471820369813192279214794090347904616340053182476039102785519757901370851540946352934649661014049807306764992044583158414095453; Q d:=42;