"This is the file a2data.txt: seed =",GetSeed();
"Magma version =",GetVersion();
"Please wait while the data is loaded and preliminary
calculations are done ...";
a:=RandomPrime(400);
repeat
b:=RandomPrime(400);
until b ne a;
m:=a*b;
phi:=(a-1)*(b-1);
delete a;
delete b;
pp:=13757108918322394164458016573129333872455528379805219377374495920732588883349563481138781068388882240453837007109465431549288806483306457838404297436740002736173279661010775966045596371935826073924543;
bb:=5;
mm:=8850544070339435143261919106080925607092796144470282732097724371330282323690799020468586173045058723956055687926803576068270737543599358586143836110567168190227192276128603888816008856530034748210744;
kk:=12845974485035338776692057218942942507088383288318452985249443205877792389691885740730069748487364620536812610055450239526206739411799085580901555118896449182189078352645682232417668410357615059463425;
ct:=<5423290236989185838838631895779438530754538333306883456865653006118292427226779521846823506459930809389678800502104688736482959643603166395748390024088565722180778618418037523326786755776801289741554,
 [11587785791932298292530948896196302858349718730795065920221573517953959097480159200048432038322015402158249393119842162330807072547217428043800003256118815224749502082262224234256184995567492376535505,
  8694427734106019609040721048989509879696571808649131375300742501220190363788833872366413298200195961042464261582327008876341423455226216533997937638727908141205963029533156346611631950291285076255663,
  13279399741940348062317502012952831286613398298054123476205611714954310667688481923994090426731609964853627286583814021827804078986887495284573021972719873882224168879326522154418709856962803018133942,
  8190086753361412559838499287127090853268718366730936383224452854053455738560671153025243727799922258954699653268143834711102259442323682553488247941593440124593488507082692776763455448472078915307054,
  174200278502844121134078467374583466078919795563465003716551013900658017828724004355236366718625799871598745916698805179296798050055157447234439536748646060953035487552576930081149609270006840875351,
  6549322747629369585840144027629652882504980647245046213307413943924227993923934903116502958183352214569193688153732079331187161814653102220956425571522275736797203223642701690490285460892564930903907,
  3183354009591059890544307189202454355270429428395388573979522516496040271965290503037625730808466354351480695340410104759957334444190350090388526672429779938915146946435961597487136067532629812435530,
  4492391590557538850321890960442898367953972322797548005291857364230301586002323410833881654064129859625171799585798637416517207788007739320420369935901798264063936025568215552160525014401277934197379,
  2040029727446440846985491774445752858330767663840863277155647380785872781738516014766569224131919848950050363154859943915381530573333628907525464365230594509393721219896622658893846345350244531233826,
  12283636655171855468961698295615300660392711898715668642034707757000773647390815151228649016334134840787435388831900403654105806753784989354334779189988396272550750737739754722100330011141516201403323,
  5630111727637451016570938516415809330611425738916213726546582349566151529944070697748290750614748125133184706695157595326980849453215233537890046862440797343060328773826116979731393286943250147433586,
  1809066862408278773304055722677422691949776049960093952584077287876145305961495163294948645856599877787588208601290448103995402912089806423695674515865003611461779990733174881549237715417736814827850,
  3404472905371887227964827314719765459534690163436364268067550569387050698411156563665204897926784403367729180121144284631923728960113529513717845626143443060847734423473203148774494563030923482695589,
  9207260114913032585059997641739545363548521099477337133856569492942895815802100055000082521881940683021531836896109881147880171824728301664202425729078830690273280900973114172015989639934181515497975,
  3691326142343964974977075633144032323920315367388201525141195359804988264643462319266749565202036043398813773281289092716989527980600934890990876661287039207193437896542568113288111588339614013964040,
  11953511889088659396153738160633540886217532107933768050613624476654719136928873253180110282438343266266891473225422954146139925366879539943092766791126483756273475283474621953512380580151266821193467,
  5576450374057635403722006755101149626484463366171389288541037197795975856216076066460141024373917261264896279872659970755600326754692949105024260968352112585075661144291259180865385532437598245625206,
  12674323330302914453377128520285988669754551176882878630464136869293800828783703053747968228190374570689572964864617603716335939611166449760491372779137332274832814379711592696604812169742141160376386,
  6887907228760809685012173062935368651994931754426713211010504921389200300605826637855983381544804122586226881950857835898476420247094109430417575332623435682304095466712906663476451471904356351604426,
  724275637494478752028894601871068291494293610124374297052737872025392802347524909482999791721041108332752463004958628097790942728285680681804733216567504953223214939487060486751162247934738003348379,
  3998912476410657056732010352252725052846918254813945585229905083905689968566595230957863323375061816744571089671864254802338488665797007460367350421764630243867528160373636719639851846037895779418385,
  6286218412057638790596091794314432918640509807564972690830083554286372094086448668194695243613677759559584299742335659220438065964285033766582205335232839262406806711401853255339684599231956986021956,
  8818811294732212692361970117522795109105123268702061181255309129125042558111706053943073537951824752023249453555725545959143159502375775051643105950499277135958945613831446549650789373114207687768081,
  9112347342246261822164540744575179738177135697464441614908591457428166214549006693495676039571957860510664964710844346217205820255640041011499221999601380779500805589179653137377641000547851074290590,
  10489487017363265485673502799124141325214000721572213113360614437656203244549508368284407633565326776707710054079129166168669164770916764445138224668910509630223756563346441582551246155220517748604511,
  13278307732652236353314033124280646359334273667951687167926359522170513572027127853269544770293131670314700181922979423202968352306549778343506884908273630031213165421923400759902258221094600979918635,
  10101681319244862203439959904746058376196018856484661406338581801066636490898696751801666090630655453442003549471252700187404723728471047044992719487215875336714387223813908267404634583857146758371346,
  6387155275003103442798874800164754915924920750216256192706093128597196538882787747742719131381345780905625100707646148243805519961562998118879797285548312391721597107717327758146881882406371294465864,
  10726852090384504607026193992431244720910588881653589416033217018587510941214936000638115824827522678062075177761229850213146553817937986039267101416516609017878486851851725066511664035861291228294385,
  10545333871465873795646556439223655972164881367653557876563626370069113638021347746718841535831494963033073848988562492123874422783554103713275748677068009606896054302603546299249929191432688359667027,
  1683705732426082672890760098270189578218241295366439874739473619865387254158846024424149085646328942978583541790188005006622879242104319426250779655461518075170243529734718758987059694300929309470030,
  10784548225691050245534907826527162155771986029003565521274623035698772310119852498321483932953839268672906714663750486047039977993931601338892185716946661666182721505129558119355516720109755095140256,
  2875162869042921526359716533274961786233799176267095466974658552845141621932992646129090636500647107496792608383328765955410098448385514199199202513247404287349783598318710040940350738236685204342178,
  7942263510299023440823555086668134650753240327460318939664209725132387786827408867417377708093570117583956860159607053324323116382330660843707992485763488012429060646641984101199220348028081192974572,
  11004052721297111563108573545291512365815023507521958020578823639405192731914695021443216216411269721547247384043903425809821080805016165333464031522706379201668788313949754124790066515401007299995952,
  5861824819691868360512374748904935711718873650842672548062749805672923641032660282589686804707352594323260259144308788312762761996472836930163268851522479099429027365315693645887871223309056667477935,
  6753852666430974732157725271495905602536823362371436200355073874449077617318752307238487377767849529840454166898412668908050003209242707329856135660329229055639874627383516860796483732169064687230800,
  5923223191208639000641452585203674646056827529209930155330327805945188215355361996057551898022648037558817424118453331089192123716734344661042363942475973552302871313682419526948154021292204249136022,
  9027957042163086249075762826538646743431446235728087699940335491273647406706546294342018468109292549009228528978310326313491715089169883611687086036895827050120453619762442262854326481746928981201573,
  2534837371640465251011834233287086124616989557109369250978299742211231251495224911862517715201324005692107335177295117515944021610027241632554207969250842012921111479973851076082290651432033085139697,
  6276179619346241683233214287800208501055636226522945965133887923058858835094464496977005746398223774085023705168033536950430123621559632820359199764998584825283210269501956247183012435742516015410889,
  13022300161580781628986820248868642309011387413837013075931463489626585497819517097640663994136620864192761843688342147841006214436415050960476759957565801529109635208437231058309587969312408867135434,
  11190750761946384728722442583760381784829661542393708177927334208974183491399994258218855069199349518806976756691876716689229296935991859911659326180333362983981090282420073255273169799823382242824976]>;