Q = (19583519921561224452558720370914740421002552814594920699766833963649829980580, 14751968256196242465201090886633211572283974246173939188361393153440426016252)

# m, rx, s
data = [('hello01', 17764417883302416544949914060767259644507875761970665085933944589825651878317, 52768048499848443421066091432250708352027163919282361935752778270264174594606), ('hello02', 601515140415381527802554384853685458000818995352535067906562063873218453238, 13817393743739077572378199597957784239930672112508391908758012128856422445636), ('hello03', 54990960377715588488369409725096957404567612625598717610488067771501699272508, 25652886573631530719375062020718568230597746914107443978646686581669164840144), ('hello04', 70301803754038632154299654454699814168048075704255579249804495556136660316284, 115194808322012961518786498209415799498914840983865132555776479856983216884207), ('hello05', 55784368904053683585185255862494807140934905087324946154306699963446061140578, 76065480903740471403289001733903251116508839370701416000573486696335449502200), ('hello06', 76247535170366723117479614588945501090171262709615732572972990681179780832753, 56399346264432362262731071707866918085715570400523661688410639849773612595368), ('hello07', 104386680723925804153043198553189646175440842654461429977551568568468371135375, 111239778829693838105539433866128688761692465426640730986589649891270851538056), ('hello08', 74240458325721240990713865845589374883964327612495024978678413447051053148157, 37486132665984931042628310030753810412483882208098842212541530644130306678118), ('hello09', 85467294421758612987513149040906857802118410023432754153817835627169185789226, 66763904600437912059021651691495897148120369900921649936363131538945047799156), ('hello10', 22522699009533122397466037653202366727697885606905609954455301940556707696586, 108447413954361284784509507583308902158450174851424503608699463197902535521965), ('hello11', 2334864656322861930671986876816736078090452539709962888990764008403875894909, 87765802326997840732544489255470644039155831566500814777620416918262791065304), ('hello12', 11289449654857495706025647515596214292850643911432307498017537626575426286203, 28741923669476187643875184801892295687232101104180250857537705275386425275116), ('hello13', 61747835916733427493592950552155472921115908689394913917478132536318859747632, 58727088513058079811869538228149887215284409615829494603485199985681248238067), ('hello14', 14970100619349168458077602317843517209922274134082452460365662065993047191832, 46037762956053264088499088266951170502253008305595226514562509663280702953084), ('hello15', 21980773232227274233530198978051478629526070065871009610145863062219545873727, 78667081787008515923197139069427236408549468866819867315516386577041080990236), ('hello16', 25222690028928047707494838888061586941366754697096797130078118779788141089822, 54295931443164617922739504330413858503110827856700948415181074547600886351182), ('hello17', 83233920399711921304540791183033646145645244116404640130213999627977830854727, 23234410240228920066099873701899111298428561841882000864356026232046994473395), ('hello18', 114841168757345993556642639297151004074594848326125481428879765370969203120514, 68251766248542965507979026337491623991138203589884176013441615643195997597763), ('hello19', 15905244604978682407201504548616970208928379041167910207157785098192566609826, 84820526760070923288912392156886798613505637002117709109006288736358374450833), ('hello20', 5458955774703095605230581379477868304539049403379722563602107346043736565901, 40441766973831347227261072455939797389774658821632298493285387022009974824120), ('hello21', 96418979356465174502738182138269819603299827983521357021417441657637840009433, 38463832619112557744118257567375859108435520250967187880495570518780545060386), ('hello22', 57911338197518571541523937065443008309441852815144278282668507282689694003659, 81376678089237907499605453173885318290211896453679055153726989449409185393674), ('hello23', 8801755777519380055896840617526726650796688084102404607763660351460298546386, 64259217085897536950529033033600136048773396535840137274483833736728118622954), ('hello24', 105231307879270038245178041648221355038402406876400664937983923637518414822705, 54379550689566388150367485473826275640570681638056425465312525859640744191657), ('hello25', 95248306011259315818392053743698966343195243765241111659718801678595068090992, 98315560795520032086416819625692439553116722175757506257170669799103167243281), ('hello26', 14218986689332022980957794362214043697251201724307334967954048983254125408286, 52053505182745760684902255455583441204281099607876213590962942219795377179451), ('hello27', 106665145837779396081736303600160873169847658117921845991916733941435819598312, 46682651516127066818542427329076775740299829287243358128487474192740803768140), ('hello28', 86209318619225706425130448080942590897159440830800420103092829187731796323122, 47786683075540629722763863320874255483622358484287455188198994023053595727499), ('hello29', 53987893413058473884041451557335613822896913750518789321555389720015564500095, 54908442202119282657186930251374469611010930691452875350996049234428902121533)]
