{"snippets": ["f01dea5fe22e6ec86881ab6562fd73dd55c74e173830f02d2b3f2673c0d1d521"]}

{"snippets": ["f01dea5fe22e6ec86881ab6562fd73dd55c74e173830f02d2b3f2673c0d1d521"]}

{"snippets": ["f01dea5fe22e6ec86881ab6562fd73dd55c74e173830f02d2b3f2673c0d1d521"]}

{"snippets": ["f01dea5fe22e6ec86881ab6562fd73dd55c74e173830f02d2b3f2673c0d1d521"]}

{"snippets": ["f01dea5fe22e6ec86881ab6562fd73dd55c74e173830f02d2b3f2673c0d1d521"]}

{"snippets": ["f01dea5fe22e6ec86881ab6562fd73dd55c74e173830f02d2b3f2673c0d1d521"]}

{"snippets": ["f01dea5fe22e6ec86881ab6562fd73dd55c74e173830f02d2b3f2673c0d1d521"]}

{"snippets": ["f01dea5fe22e6ec86881ab6562fd73dd55c74e173830f02d2b3f2673c0d1d521"]}

{"snippets": ["f01dea5fe22e6ec86881ab6562fd73dd55c74e173830f02d2b3f2673c0d1d521"]}

{"functions": ["asset_update_ownership", "asset_update_functions", "asset_create", "asset_batch_create"], "snippet": "def asset_create(info, args):\n    assert args['f'] == 'asset_create'\n\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    owner, _ = get('asset', 'owner', None, tick)\n    assert not owner\n\n    put(addr, 'asset', 'owner', addr, tick)\n    put(addr, 'asset', 'functions', ['asset_update_ownership', 'asset_update_functions'], tick)\n    event('AssetCreated', [tick])\n\n\ndef asset_update_ownership(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'asset_update_ownership'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    receiver = args['a'][1]\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    owner, _ = get('asset', 'owner', None, tick)\n    assert owner == addr\n\n    # DO THIS to change the owner using receiver's Zentra token\n    functions, _ = get('asset', 'functions', None, tick)\n    assert type(functions) is list\n    assert functions\n    put(receiver, 'asset', 'owner', receiver, tick)\n    put(receiver, 'asset', 'functions', functions, tick)\n    event('AssetOwnershipUpdated', [tick, receiver])\n\ndef asset_update_functions(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'asset_update_functions'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    owner, _ = get('asset', 'owner', None, tick)\n    assert owner == addr\n\n    functions = args['a'][1]\n    assert type(functions) is list\n    assert functions\n    put(addr, 'asset', 'functions', functions, tick)\n    event('AssetFunctionsUpdated', [tick, functions])\n\n\ndef asset_batch_create(info, args):\n    assert args['f'] == 'asset_batch_create'\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    committee_members, _ = get('committee', 'members', [])\n    committee_members = set(committee_members)\n    assert addr in committee_members\n\n    ticks = args['a'][0]\n    assert type(ticks) is list\n    for tick in ticks:\n        assert type(tick) is str\n        assert len(tick) > 0 and len(tick) < 42\n        assert tick[0] in string.ascii_uppercase\n        assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n        addr = handle_lookup(sender)\n        owner, _ = get('asset', 'owner', None, tick)\n\n        if not owner:\n            put(addr, 'asset', 'owner', addr, tick)\n            put(addr, 'asset', 'functions', ['asset_update_ownership', 'asset_update_functions'], tick)\n"}

{"votes": [], "snippets": ["6ca5dd4b49af31a27123ff3ff3622d81c1778f2e47255c5442c45064b9ed5ae8"], "functions": ["asset_create", "asset_update_ownership", "asset_update_functions", "asset_batch_create"]}

["asset_update_ownership", "asset_update_functions"]

"0xe1288759446298f250c3bce5616706d25525ba7f"

"0x78141a5a8C8Ba0595DC93c6dAb3A63270d6aA8B8"

797940913748321179498954721298671249725457349094951070033400900160484558896633276942593620719084540417952995985423957537276914989387908473860922136063891102892967479858736480043399243420053849865825790660069816488383892206510354143615367346420950854403671215282661073269764853318473705843343945490230958763251106137821608092837899033543352900773343833972376101943350386723783616817479111504223497063979268412701498002172819475721545833420252914962087565199776776041473363907565025197983374653346380377169299313754257295178084654259305091300776758065539885822182593851674992343714215376109246481060078340365989525218771711043326484073594139844583246858647379081564692390167973808909987073589116064212609687638660695176001486669538599472408793295719468027188979565950927923067135872718493745928792558227011342519143348481528063197774358619967782354677497646953593051465727100812345528244348513523145241172168624603384207910536284533784953181174333200276822061907920921416290000233555197880127856516230241576518071863696881506283907001061393158896170629534341300886552036005278005740906565092228613293677822405960868082842274595743030362395226438216775864140731992639798967021522764684573953071507992421977313201600644895242618728260601

"USDC"

24

{"functions": ["asset_update_ownership", "asset_update_functions", "asset_create", "asset_batch_create"], "snippet": "def asset_create(info, args):\n    assert args['f'] == 'asset_create'\n\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    owner, _ = get('asset', 'owner', None, tick)\n    assert not owner\n\n    put(addr, 'asset', 'owner', addr, tick)\n    put(addr, 'asset', 'functions', ['asset_update_ownership', 'asset_update_functions'], tick)\n    event('AssetCreated', [tick])\n\n\ndef asset_update_ownership(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'asset_update_ownership'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    receiver = args['a'][1].lower()\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    owner, _ = get('asset', 'owner', None, tick)\n    assert owner.lower() == addr\n\n    # DO THIS to change the owner using receiver's Zentra token\n    functions, _ = get('asset', 'functions', None, tick)\n    assert type(functions) is list\n    assert functions\n    put(receiver, 'asset', 'owner', receiver, tick)\n    put(receiver, 'asset', 'functions', functions, tick)\n    event('AssetOwnershipUpdated', [tick, receiver])\n\ndef asset_update_functions(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'asset_update_functions'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    owner, _ = get('asset', 'owner', None, tick)\n    assert owner == addr\n\n    functions = args['a'][1]\n    assert type(functions) is list\n    assert functions\n    put(addr, 'asset', 'functions', functions, tick)\n    event('AssetFunctionsUpdated', [tick, functions])\n\n\ndef asset_batch_create(info, args):\n    assert args['f'] == 'asset_batch_create'\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    committee_members, _ = get('committee', 'members', [])\n    committee_members = set(committee_members)\n    assert addr in committee_members\n\n    ticks = args['a'][0]\n    assert type(ticks) is list\n    for tick in ticks:\n        assert type(tick) is str\n        assert len(tick) > 0 and len(tick) < 42\n        assert tick[0] in string.ascii_uppercase\n        assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n        addr = handle_lookup(sender)\n        owner, _ = get('asset', 'owner', None, tick)\n\n        if not owner:\n            put(addr, 'asset', 'owner', addr, tick)\n            put(addr, 'asset', 'functions', ['asset_update_ownership', 'asset_update_functions'], tick)\n"}

{"votes": [], "snippets": ["427754609975ef08e86f59023f8ef035e51b4c42df41c6a4325781f63d9fd92e"], "functions": ["asset_create", "asset_update_ownership", "asset_update_functions", "asset_batch_create"]}

null

311189587341374132538511737438264131723524203173906377693063389191062516724054706799400272949808501630445684398449374537475170526620231148138550680887256254637165704971009241527389049766162871491967087172519849829529297379642088516104631513891673799500692339836279488246070092329620706251238266281120699139399481011105254129211338684206805581691270832609497377818421903394900953723044343161345262979435445664368328716512764397721127275399132587613972055162094701106284611403090278415884162800963239475477440872477931464901069260271158084814288639455709655933021926891042759815610571813662446945684202936722072779006270133852315541207142922890134229587929069251910595891257934161824434736270271482289254113276928179052131279146617344915277206098010401910054269354424236933374818578304110460213593893974663866636916012746609077545513870634411775085656844691165144237849307421826865042100425899293928967494690504262452038097996089779687451059208969396131219445895477401953794522789069018334088667694183054016885391341998546150653903817883062631818108652888854737906851498738258165078497873744765514679550231577819548872014538741583647431626286405814646629316180293442392559341279620635774233467511254640955583154740587719519509319454144127150483104333631287283343340049855635033766142801803760176153253378487916934586833185281743435122620917421757079313143816856183400914431826853064668670602900105170088549823507443843983165975390363941174183995446447213900723010299658713832114682517073103628161179815262014599109443283822721846156203318107562752023714560602316332741765300469819135457603498828966451776101737427481920906638712594757069630943177265067796894093429719664750574780248403937728520497442732659517910179228044860778829100372096018031731149001799803363119649015604076805895968286100561354877537682998178275284595681634013135363584155493903027880659656524350959972686806403892595582842000700625449001448157862043080707426368070093257775728028781694612865918734940843337279376460734854203911328938266441780445767541511555678677374032014330557874815572124937933840677024242292719984883162584271347990905531684218062378568281089663681511575050001240275023746991763438909590084248315276081565403920183625493958663172665016177333899649304140642443526986295436923644882743227105767033503848016240899157981098743198705783972687439406883763762344091340443018103241449145376643305706544140713848004019883885853722244388694602567501148887904412079524561293254746595858

89140000000

9900000000000

null

181584477021143716469956668239704050905230806832992863156002225399591096623461719175013423870159035675768760188127395071334913438342515082428034244162932761213951572530215109428784876292851517979661219569771070305547195028301283275663062041596091920423105711081472060096630781859843879419021441221699485092093964006570856626959621413663973917779192297716593211613273287801214957308153573159591554607870846499298524109311135397899444038208288607092010710807159410462316380976124942325214646735732607396186092233997363262839945515380616551493435659998189373712806931768739066889285014329652927678119497663253330516170820360218802775165231986776431601509132755915308413368045510505504241954829785307787042406980040727159197735890620777483303040282752720896758529929669844970794185763351633523131470789700064727626068395831457143255462909055212420020853247291831913653051927447648086221408573962871580888338369750017644362488334710940853575048004515316844376420720050906641032911468595380835005635842753902467161006782553305058022117165337565712154259796482782592898591570927587756525777281908285321355662438752000678816243461023242541333731435462970199059317401585022184120672509349765502681524518762148482352901038623378705099845783534196658186766446607626993135962635187137960562129908328941512387566359514726791352276784490716587585867363670601241786577283012564713103738826817859453140393204007806366698738388518769311582680831484143670334766433981352403823244194844579681514028833118251445559770850183579921898197848035056367347813571462488329796302726509549396161870735114011276859215811416879476174812188382908283140878219690309415304325066964423147062976255652369349031325673236682196858686716584358894808182522030202728491789315830324292024130422797280782890480595856912746033820121377621415713890495970316333698762664329935380766472200594488865249780087901132468032450036273615662350355295009713996800105900350421336748620089736782374899823276864020661854513635482965892365943131696839409275481657731712365254881410884826699751640833759386392474818016299690723795957998565310809963013870072858964862222867582822691096580879333541090725200079724686498841435719759957744518252295613120480929617273695793127823908412864651623467895004720697118435419052369705799536173902736965159084804935142943507740126331781735664983870127800609411412354961126403634890571361268970295217243256927229346677635117992156689851104717480593329533768216085873467448092035752892822542

99999999999999999999999999999999999999999900000000000000

null

118030958954709917779067313834451047332589642656952756209208071767493971312037132888888952236113023502256166752569107076558430857490134383651995980258573405146464186123575719323221994694929094888199403382088985427678993154245116186667029308727894967813945021111791503772739935146205766821864043415356615413306011549524446070573955731793856242977197171484582550781513756956268226350379525757298429097350208279820593189062190986218013167047992316576158746527558130454124863662692587705881601372117889201198818638567130182618219372197752447692834203713702200713632802535969464292449072544877406123054903679439503518130606114677705147843325216729792294570073373424682112518921930069161945148670206247511322900338059705829479755260761777559125832800087326698593690572472293399117744239449027213453793098885558363687061137319752297817147700914576649778652033086858747737966717999907853553038376616973190372062830419202075090603270378511604781913183388106729275195360000236005057002585805097786707494712349872810265862836211656606907801986179707024804827816505293635983196135608607416134923768948629208934565589397722880866256793825934302025992117409027957137542816769180696290884351179016705552584529986887029255870125366266226438458419020457066454993616958849710695801914362023767509313723309564425830180536978446536444671241420366193013896507392647264833309567001944968238922990470909447504246909655316868588349084560774200411745435947265981604812338294614491453590422761338387356119835664614137288658953531807506387396719513134223493248416596975267490058796708588203519898965611466999850750304317774728115897019934797555840339848915362082736667208634712462192431480544874967301011429309813823337732825113680484935084294477602374870160343010663589931787132873618091810162546754336405690555060029223279249922500287114167825564919057553833709271987660736245508338417471381624801200950104430620054187359469188728656989212379546244353165467518632579252952636696109069830616884658569528102638146101891264258731989284558722406834944380571249282280983701079716321369584205159665347070108942032350739827556470332666044681030268329800572151108715303152692103199281841710545700289186207523224522861556694166825569047781128664844797480709398583199603282117840978828268479341472680622720449876906475654902965734996339698327135005819992970695920765481846147734939135643942984414618305669372891560745758727629945718651020763784322531989798887726031334575288980172744896993409427426028

null

140223029800994220455703723749147356496780514579121678381648512292472977771801341179013765106674651812920682534268709359493620634827151961357458649322543000346323260155482358416153414963601530692978364215200939211236201242353688123388389990718172216369274352566676964396563858980527924900534040435757266331225550231111007850510697041843666960630847753647790744849217738094060900233680989001157595548719069537492334859636363878662899308210343066274281561107374446934392062644142670194367640052292603917606746511139501300713286706967342222483578912960987910456760925445295788906919080253574204893557642034990736163845714684277293942566962887763986623472211597389398769094786089745531171113264519120834549576118849287050607375466387090238678026521710930727130840958384348255668910352932749776839032978984307150510660244735085937207679031543857894851027388783959627778401777369072615512936410176301313346961236294449076817311196764970832814315931879381590573392889621966086477651808831066240331400315261162411192136619682019105756639377151200679320502921950975959972908674557788932115359905733862759720646629969188600574685201847972245735703663494190433947966433772193470115254542779771905844784920949265898002319633635665622332211053236112700083487560895375740839366351225118623294952390740747014728258471875368426900722228091675094349133812843011229359965820508922430155345955697188583218711322655171071907327673160001711919531959980479724243595639564174463845597477573623187939540278417622792891534214555635969977029608977348541769084011128720864591082544989303787199436487437625150621948641281217070299505125041786765802625731568947301513779220456754445696816900086337201414020252318256577619069620110861237531037242644816018380894778216204432538003612009039373037489401024429056875199851895829952070856787395458430007279037292138267874514008881717430968451961745411799772397692684317539750801910524867211589940267785058454714660137985591021458832432628680866894575750724635496175939642554016326139301451254884429359755438263731540516227890486048631831878493889373742796979323859392106759913647914935396436820418696023867255638373874925128343880890306040090614331318003980252106962227240735743759666684915167332966715147485464271293314034018924825835009652645978829816854273942367230856345367356293567185870515432506403590862080344745884915553187552879188130613855399025137933141444115375830057742318804161628145746825842318094853946576918063371872370535660975690636

"226497665746917731508403044206381763973288603012038175013028308069490798334775853906962411854707965132107080382771425249823642932694002203997676624489882070187023720838391228970261814563534486305417513125123127522897687038890847557941153237205898998661667478851232278388518488889087042946862655319422522149544960320151677800173487567571162920720500707019233223209507140687248101247125840444364988887173850765947485243998973843814202856666247385185248065763874555034023915036177223189002586213071577704880695764546715968246693587223196012175495939475159443089151550899673548833552894307269810390420907644424367244398138836958296263204501416790020601479363367258587453149129248117513185190232133590960244610250188401642220838943982917768077833802759622305072799180144346015339903532898408909016910355820069839497609231681009817322502259303429727969153961158392962014088513693837379216559516914173576205425308565404021562265795262001805934057871655761449310303512460613064202309713058723454070725521994720368910967623722401515470651726546844575392387721544443505703199017746825050616471689130933076388449004197755671701594931928680146109371338558054128128384860917632255768366719398610168488641166431714901097711170789563012996560522561342630494484315515810746993615833163875362305826559096252067149207142990843664994546773810314141964674178552771445257911150564987288550883281202982792215234213111723903921210949763688939329477655270872608240053188966791859323449527754346201462304644338225673714401361064063267700043964861151165633350873969250313160461655459055991527184659684975714351954764889555196441082475781367874071813772784957510990190626406092966083125179584582861577220431772540714908454952971384042903707404397172138993820807212367673484093037255955145637752606222164212150602767542827117024488510530925717356164346029764391082216993231592793358940536854144018592604626349071587247901667025541306780739965550314533814079965964807198407251849026763886645188229560795498152053203971287350336650515495869643783229789276169402192561695661322800973412534765597564278997951441073804425560543625121821947638755261734900787962637431409913506986947024669258623014911953566383830001811168936917449064856187397564376284609642294041308936484946350243911218801379156783033770043031261015136579646782887712047588164942755367381785015060719324143398016380012880145060242415754237287066018200852500727766891788466329419399610820310283432251520209717542228027736879676011358,100559732564976017819344715810343253812746447089523068383456463740363451138733105653846660421776508413119942388720598530003481533045817163061853782400386625054009706141935033202780773423898683149605177724287711699063468755809252942906538238257711859226596787604923634621814383102959884463096553132440356382941348778972022900501229899286864885397527993085801712255689042780556035245412637136218639719837942201976879283221078820181601800302982598566584726281562730998024513892369576076319076544195593243284896976760440392361385302919283634071082576239148373886462719355017334274068792516541664391052835221122977415995508809125921728310621426961345842076173415401064756283062579133683135350921078876551691092738914838457358001947933124737511800886374180741071778830460106825392347507390116506456418406493295254103133096842485518075980333339817206782935613333273154187250233261248421273767122901854986363229681012619126453671126604788224551464114400024203979542984344244442321353009200300425568477786127391986612287696349559452716829350885067672179701268189467278646462252500469498733017930085610708305234196296277966557134745266964190720529135059278095459989714254415271299721206821347983566506269357371540039138871805384506400381756453769212210523778788884197130777152299180944829856846253347626806979665993465528014131938472466240137739025403385408266303066417435664685112575293857716793025578380306760317525572962971391880161370714686510638651858990936844538894804791045850662188141662616605884029763812658130386454088106942547525986750215423334301000182251570086572109028322818422664565075011461655733777049258244464773743931942411602339888835252948722859364908914395675543327970920750702654025569484166737073831782532119317289436733577378076277225294474495044119987774826515454763136238702848980374170598722226211625519999058760170461180742330273985709376664748303934673074129140519348297780232060820030821925301371342349287765530319655904375093111397972529845604631063326133505425604334478194490616950012303509478797065771840372058962076818298349679087123874210736678265040506807869405893388935655028396587418327153996181042563685866134606359919205709577118360103600854788578522735196600301449530923249015544228095902758439549023602859640006212940469948194721211057979413512331799069340931699738632218096237754020355785088596599129755626563264812798996808412880739021729239048040658366288172297967423162049096695303630781532009259941376392793953835219311683065765,0x9c6f65948049c6e6855ea92c237eb9dda525db2c,1,24"

32769000000

null

119072408778932547711220192436390434584172034875310314085457853653197484361947044729016335217395293877332843784465363054127663577515710789407380077641598300352200769653772369411097047322334377599776115310540127856280195336526752340942934850766704460156042994331845616130896510574923773529322102420979539454440224987585035117049514164962410131191177127828770709269660013439878446661148475078878039445824372908447216540776858726942890516545280270658586186913340330818950884643791604045602702770539128595148998760734853892340822061422602552374267628052266562567803795042144142467292858044595226198667360398210040240831368837808769701196943258032081146845228647421113525497995255332736724471580105468438099272762361389135496987595993067867245807470456830605140657142641877753348867037875896138389082507790891485616909528517541987999790454052617550379486672891088336860796408519112055696452236730683971793976760861305025924007352630834669066819450317907320476974595278497133439336048736257910858415164369575894730698388309180821070341177284686869489513102717291709316889687026374214543212986645385128928874396097926278018994466433465031180269134962020113613442855553653756551739940515082257565403290713496010468047152163778694407325120756570925034516528894145144132630919453909280861255993039751094906080244427921356583491050144894725793522773575493049851583421872205264486505305795090995404529417456891143188180134718492688897896586704230997864543323428283125271854732644914134390716012389890487108924443719117555858282253431170331654603441949239908142968708471154923192288146434433983528979333720091934578435553164992233177558905654829792055485561174849722052985044265256497456427594395390178670392841444017406485404712667536865549643023198078129180285009993683221817630523498342727680541383784751785475898923429663804891598058773117891731817021950752743756295644847292073597796465345450638756447612342236633197845703465143848538193719465413474769457022934164589287340067981863158299059123388767176913360447063181259100699496159187536568886548975684531749315613425141164563831930488479692563790857116189504031903211951086295542281826997225689665022277520060303735131935382955700813211172811498027753480673808018833894822474457827992510730092460044461636875494739573955263798344226217528659150545540635263892911428933708644551971628512231499402109524426989377466542570905407174622694357964366309278222208675377225595471465859127743726140384060820409702407233430997268490

"199486332582062045320246906552777366777483084127617730379226203289451177833658662615822585328787934625530840016490962117789513926626512182460650295945293197294898205159879493129627281421546260423776426174707443086236963700230902242464911087475487716770479302278668414309626646153296166240325853183090673278417487896026687712039555711537831004870070563667545062701245993155400565547312826494466757133376436075305747980188825434132211742603784638037820224758209618638167961363009653396440277405241664229500641423679254065425998997438728859701147720599659998994632897684124318418223452186877550950577652084031308764600133860384847632708870625470314765514280235003218412886646299182558926860257875130154917508529954137420812466784517745781126019238449560702061174132714658070936400020971498294954383862538070705278371116955088083891272887648329940560878526234785281810987799536739918692377992906107274262423464894614158251202729248641295433181812567634730276528793119502294558378367571440146586256339653833177672320688256284844197294735257790515144000595380888281417277191179159961173805915896666443462273399402441840987503116938459132569958715887782921086318410509079318322659291024886204238859653878181473633198234642543273603316967379623538141280155651302830932348429436207142522727302181564389592875576927067880802371483235852326259661350565347300697367092162128667475577493639104615197947370807052634765776128061611909964138590965819836845868435337384575066055410771871467453498399727763170740328383651718640996259787440425308928153633816722334500893995741332691187566270692750250715698360982159687393028481736667104799070414292751127502341307690174390941749809205230378393507961949577790753611541382627778067444666773877798160885018163225598036890980100002733540042379276799400226943186496386829814208766420631617278667869882117725906089663079732316199284151624319776141257564031901596518297324209606997904351893622916694842865469897997102909763613880855449615151797604678091274342277483687808390800975303140778169222846289549581453573844111820845190725557154673523044909352798033524543874109857941427548042853542219202138746660106065366234711381268060730119808774179777793895220749993152305007988041254769430969777098864200207936090509754989181783927069636800615560030017760918221899802007789527055585026018556151156239702019719749865741956244553618044289443363124475412768546424941580961760714359214489777430774098038398311225492307776340389420633510658620199916,352213451489704532182148722787334266767801020498456645404015089748207216236242463655192364778346321032449928946362803229898032301193256785299396460912953093176022171012232570035193511678541686543136347908352819832316235461784932914079056658449706219992281559022135704925855100973207764997016434148349401788866902661306559659419237816936559238135568475984553751673933674132087888144887242110405054277532656112147559859260328445224226381813675360247380610154135981338354902421866805306116332343562996807534646103464618263636649578890274646028612166622470146314908371540703269702437870852759210496263640922519391180025172346106783495977726776940334321091854668229588875950032471972909795216810604060893810944435246897231984057035319919156204706958821006854320015069966460833754872563703780409784655028540140460958472354523294775398231381903975871426978130651725309385524980149438811686782496107644188231690801718584922924271461340865526147130017210664587344176648405131584258639150418532452969962421563605551542123768669117631507095408600132895913396647016858497655791126053741525640429877139217907412127728841717175685931896660730060631171759774852198413205225324489141973987768248513529020542390166712160211766641988677901110043942473907366801601181395454968008585503220216640882264942562877284160748516796468760451670490426506750611356807782924414801149587391981035296354362286270507387331038222179009183692229090793318155216473854910878984539339032873964493548202526357803431029094253903865460846323698196288284303639548070067777061064592099589507697093376267683914320663090285345158400450438993946424485961193028648836464857562516298416279644845820504528884960242817336618783886243071995778422243546624957731943989513098182813732218707719707038581597097525974910967435956483377129918481622278804889129974560549730699621122374270717306841060965681670182921086169824012849275936452888232162348539055081563192950826122427564722268761656862808547102560811541642022806446323606115425733133195066552372069679122170173662504549336551053979729442935974728027579598198821607266270098683616215317551596689486975815182056518617274893505500018293937662903751817772296010836972254679980125368762419738292128738078666820122531259227240056898649473922838944194918074773599273126873874603025883054968812976422671722064823140356439111132389135299302711485564460801747062463504572876493114478416632303233503687444955127937125683588241098368375303141659622841878898148712746657731831,0x719c8d75faf8f1b117ea56205414892caab4a1b7,3,23"