deth
Module0x04fc…a7e8
- Move path
- 0x04fc…a7e8::deth
- Functions
- 10 public, 0 entry
- Structs
- 1
- Friend modules
- None
deth
Bytecode216 lines
The on-chain disassembly. Offsets are bytecode positions within each function.
// Move bytecode v6
module 4fc5b6579e84080a5f9d3f87fbd3e9a53b8ff9e86f5a1281850b1063a4fa7e8.deth {
use a204bd0d48d49fc7b8b05c8ef3f3ae63d1b22d157526a88b91391b41e6053157::ipx_coin_standard;
use 0000000000000000000000000000000000000000000000000000000000000001::option;
use 0000000000000000000000000000000000000000000000000000000000000002::coin;
use 0000000000000000000000000000000000000000000000000000000000000002::transfer;
use 0000000000000000000000000000000000000000000000000000000000000002::tx_context;
use 0000000000000000000000000000000000000000000000000000000000000002::url;
struct DETH has drop {
dummy_field: bool
}
init(Arg0: DETH, Arg1: &mut TxContext) {
L2: loc0: vector<vector<u8>>
L3: loc1: DETH
L4: loc2: vector<u64>
L5: loc3: vector<u64>
L6: loc4: &mut TreasuryCap<DETH>
L7: loc5: vector<u64>
L8: loc6: vector<u64>
L9: loc7: &mut Witness
L10: loc8: vector<bool>
L11: loc9: vector<bool>
L12: loc10: vector<bool>
L13: loc11: vector<vector<u8>>
L14: loc12: vector<bool>
L15: loc13: vector<u8>
L16: loc14: vector<vector<u8>>
L17: loc15: vector<u8>
L18: loc16: vector<vector<u8>>
L19: loc17: vector<u8>
L20: loc18: vector<u64>
L21: loc19: u8
L22: loc20: IPXTreasuryStandard
L23: loc21: CoinMetadata<DETH>
L24: loc22: address
L25: loc23: TreasuryCap<DETH>
L26: loc24: Witness
B0:
0MoveLoc[0](Arg0: DETH)
1StLoc[3](loc1: DETH)
2LdConst[2](vector<u64>: 0309..)
3StLoc[20](loc18: vector<u64>)
4ImmBorrowLoc[20](loc18: vector<u64>)
5LdU64(0)
6VecImmBorrow(3)
7ReadRef
8CastU8
9StLoc[21](loc19: u8)
10LdConst[0](vector<vector<u8>>: 0404..)
11StLoc[18](loc16: vector<vector<u8>>)
12ImmBorrowLoc[18](loc16: vector<vector<u8>>)
13LdU64(0)
14VecImmBorrow(4)
15ReadRef
16StLoc[19](loc17: vector<u8>)
17LdConst[0](vector<vector<u8>>: 0404..)
18StLoc[16](loc14: vector<vector<u8>>)
19ImmBorrowLoc[16](loc14: vector<vector<u8>>)
20LdU64(1)
21VecImmBorrow(4)
22ReadRef
23StLoc[17](loc15: vector<u8>)
24LdConst[0](vector<vector<u8>>: 0404..)
25StLoc[13](loc11: vector<vector<u8>>)
26ImmBorrowLoc[13](loc11: vector<vector<u8>>)
27LdU64(2)
28VecImmBorrow(4)
29ReadRef
30StLoc[15](loc13: vector<u8>)
31LdConst[0](vector<vector<u8>>: 0404..)
32StLoc[2](loc0: vector<vector<u8>>)
33MoveLoc[3](loc1: DETH)
34MoveLoc[21](loc19: u8)
35MoveLoc[19](loc17: vector<u8>)
36MoveLoc[17](loc15: vector<u8>)
37MoveLoc[15](loc13: vector<u8>)
38ImmBorrowLoc[2](loc0: vector<vector<u8>>)
39LdU64(3)
40VecImmBorrow(4)
41ReadRef
42Call url::new_unsafe_from_bytes(vector<u8>): Url
43Call option::some<Url>(Url): Option<Url>
44CopyLoc[1](Arg1: &mut TxContext)
45Call coin::create_currency<DETH>(DETH, u8, vector<u8>, vector<u8>, vector<u8>, Option<Url>, &mut TxContext): TreasuryCap<DETH> * CoinMetadata<DETH>
46StLoc[23](loc21: CoinMetadata<DETH>)
47StLoc[25](loc23: TreasuryCap<DETH>)
48CopyLoc[1](Arg1: &mut TxContext)
49FreezeRef
50Call tx_context::sender(&TxContext): address
51StLoc[24](loc22: address)
52LdConst[2](vector<u64>: 0309..)
53StLoc[4](loc2: vector<u64>)
54ImmBorrowLoc[4](loc2: vector<u64>)
55LdU64(1)
56VecImmBorrow(3)
57ReadRef
58LdU64(0)
59Gt
60BrFalse(73)
B1:
61MutBorrowLoc[25](loc23: TreasuryCap<DETH>)
62StLoc[6](loc4: &mut TreasuryCap<DETH>)
63LdConst[2](vector<u64>: 0309..)
64StLoc[5](loc3: vector<u64>)
65MoveLoc[6](loc4: &mut TreasuryCap<DETH>)
66ImmBorrowLoc[5](loc3: vector<u64>)
67LdU64(1)
68VecImmBorrow(3)
69ReadRef
70CopyLoc[24](loc22: address)
71CopyLoc[1](Arg1: &mut TxContext)
72Call coin::mint_and_transfer<DETH>(&mut TreasuryCap<DETH>, u64, address, &mut TxContext)
B2:
73MoveLoc[25](loc23: TreasuryCap<DETH>)
74CopyLoc[1](Arg1: &mut TxContext)
75Call ipx_coin_standard::new<DETH>(TreasuryCap<DETH>, &mut TxContext): IPXTreasuryStandard * Witness
76StLoc[26](loc24: Witness)
77StLoc[22](loc20: IPXTreasuryStandard)
78LdConst[2](vector<u64>: 0309..)
79StLoc[7](loc5: vector<u64>)
80ImmBorrowLoc[7](loc5: vector<u64>)
81LdU64(2)
82VecImmBorrow(3)
83ReadRef
84LdU64(0)
85Gt
86BrFalse(97)
B3:
87MutBorrowLoc[26](loc24: Witness)
88StLoc[9](loc7: &mut Witness)
89LdConst[2](vector<u64>: 0309..)
90StLoc[8](loc6: vector<u64>)
91MoveLoc[9](loc7: &mut Witness)
92ImmBorrowLoc[8](loc6: vector<u64>)
93LdU64(2)
94VecImmBorrow(3)
95ReadRef
96Call ipx_coin_standard::set_maximum_supply(&mut Witness, u64)
B4:
97LdConst[1](vector<bool>: 0400..)
98StLoc[10](loc8: vector<bool>)
99ImmBorrowLoc[10](loc8: vector<bool>)
100LdU64(0)
101VecImmBorrow(17)
102ReadRef
103BrFalse(109)
B5:
104MutBorrowLoc[26](loc24: Witness)
105CopyLoc[1](Arg1: &mut TxContext)
106Call ipx_coin_standard::create_mint_cap(&mut Witness, &mut TxContext): MintCap
107CopyLoc[24](loc22: address)
108Call transfer::public_transfer<MintCap>(MintCap, address)
B6:
109LdConst[1](vector<bool>: 0400..)
110StLoc[11](loc9: vector<bool>)
111ImmBorrowLoc[11](loc9: vector<bool>)
112LdU64(1)
113VecImmBorrow(17)
114ReadRef
115BrFalse(121)
B7:
116MutBorrowLoc[26](loc24: Witness)
117CopyLoc[1](Arg1: &mut TxContext)
118Call ipx_coin_standard::create_burn_cap(&mut Witness, &mut TxContext): BurnCap
119CopyLoc[24](loc22: address)
120Call transfer::public_transfer<BurnCap>(BurnCap, address)
B8:
121LdConst[1](vector<bool>: 0400..)
122StLoc[12](loc10: vector<bool>)
123ImmBorrowLoc[12](loc10: vector<bool>)
124LdU64(2)
125VecImmBorrow(17)
126ReadRef
127BrFalse(134)
B9:
128MutBorrowLoc[26](loc24: Witness)
129MoveLoc[1](Arg1: &mut TxContext)
130Call ipx_coin_standard::create_metadata_cap(&mut Witness, &mut TxContext): MetadataCap
131MoveLoc[24](loc22: address)
132Call transfer::public_transfer<MetadataCap>(MetadataCap, address)
133Branch(136)
B10:
134MoveLoc[1](Arg1: &mut TxContext)
135Pop
B11:
136LdConst[1](vector<bool>: 0400..)
137StLoc[14](loc12: vector<bool>)
138ImmBorrowLoc[14](loc12: vector<bool>)
139LdU64(3)
140VecImmBorrow(17)
141ReadRef
142BrFalse(146)
B12:
143MutBorrowLoc[26](loc24: Witness)
144MutBorrowLoc[22](loc20: IPXTreasuryStandard)
145Call ipx_coin_standard::allow_public_burn(&mut Witness, &mut IPXTreasuryStandard)
B13:
146MutBorrowLoc[22](loc20: IPXTreasuryStandard)
147MoveLoc[26](loc24: Witness)
148Call ipx_coin_standard::destroy_witness<DETH>(&mut IPXTreasuryStandard, Witness)
149MoveLoc[22](loc20: IPXTreasuryStandard)
150Call transfer::public_share_object<IPXTreasuryStandard>(IPXTreasuryStandard)
151MoveLoc[23](loc21: CoinMetadata<DETH>)
152Call transfer::public_share_object<CoinMetadata<DETH>>(CoinMetadata<DETH>)
153Ret
}
Constants [
0 => vector<vector<u8>>: 0404644554480b446567656e20457468657214457468657220666f722074686520446567656e73ff6e646174613a696d6167652f6a7065673b6261736536342c2f396a2f34414151536b5a4a5267414241514141415141424141442f3467485953554e445831425354305a4a544555414151454141414849414141414141517741414274626e5279556b64434946685a576941483441414241414541414141414141426859334e77414141414141414141414141414141414141414141414141414141414141414141414141415141413974594141514141414144544c5141414141414141414141414141414141414141414141414141414141414141414141414141414141414141414141414141414141414141414141414141414141414141416c6b5a584e6a41414141384141414143527957466c6141414142464141414142526e57466c61414141424b4141414142526957466c614141414250414141414252336448423041414142554141414142527956464a44414141425a4141414143686e56464a44414141425a4141414143686956464a44414141425a4141414143686a63484a30414141426a414141414478746248566a4141414141414141414145414141414d5a57355655774141414167414141416341484d415567424841454a5957566f6741414141414141416236494141446a31414141446b46685a5769414141414141414142696d5141417434554141426a6157466c6149414141414141414143536741414150684141417473395957566f6741414141414141413974594141514141414144544c584268636d45414141414141415141414141435a6d594141504b6e4141414e5751414145394141414170624141414141414141414142746248566a4141414141414141414145414141414d5a5735565577414141434141414141634145634162774276414763416241426c414341415351427541474d414c674167414449414d4141784144622f3277424441415945425159464241594742515948427759494368414b43676b4a4368514f44777751467851594742635546685961485355664768736a48425957494377674979596e4b536f70475238744d43306f4d43556f4b536a2f327742444151634842776f4943684d4b43684d6f476859614b43676f4b43676f4b43676f4b43676f4b43676f4b43676f4b43676f4b43676f4b43676f4b43676f4b43676f4b43676f4b43676f4b43676f4b43676f4b43676f4b436a2f774141524341443641506f444153494141684542417845422f385141485141424141494341774542414141414141414141414141414163494251594242416b4441762f45414567514141454342414d464241554a425159474177414141414543417741454252454749544548456b465259516754496e45554d6b4b426b52556a4d314a69636f4b687352596b51364c4255354b5473734c524a545245592b487756594f552f38514146414542414141414141414141414141414141414141414141502f454142515241514141414141414141414141414141414141414141442f3267414d41774541416845444551412f414b715168434151684341516843415168484d4278484946346c335a72734478626a50757071615a4646704b382f5370784a43316a6d68724a537462676e644235785a2f4157776242574567303875514658714b4d2f5361674134416561572f555430794a7931674b59595132635975786570426f46436e5a6c6856725442523362502b4971796667596d6a44485a537138776c747a4564666b354d484e54556d305831655738726441507869337155684b516c494141794148434f59434536443261634130354c5a6e5761685648456d354d7a4d6c4950345739334b4e34704f797641744b413944777052376757436e5a5a4c71766975356a644934556f4a53536f6741635441592b576f644b6c662b5670736b7871666d356443646464423045643974435730424c61516c493041466848536d6131537055457a4e536b6d514e53342b6c50366d4f6e2b313248502f6e36542f774473622f33674f394d556d6e7a4b64325a6b5a56354831584755714835694d4a55396e7544366d6b6966777652586a39597954595638514c786c4a624556456d762b5772464f642b354d6f562b686a49747574756937613072484e4a7641524e57657a78733771567933534870425a4247394b544b302f6b6f6b666c4561596a374a7a5a5370654738537242396c6d66594242383345482f5446703451486e70692f596e6a76433457354e555232646c552f3954547a36516a7a736e784165615245634c517043696c61536c514e6944714448716b52654e4a78317375776a6a5a747731756b4d4762554d7031674270394a35373431386c584853413834595259666150325a4b35526b757a6d44356e355a6b306d2f6f7a6c6b544b5230396c667573656869414a36546d5a4362646c5a3658656c706c6f37726a54794368614479494f594d423134516841495168414951684149516841495168414951684149527a457662447469745432695443616855433754384e49565a5579452b4f59494f615762356443733341504d6930426f2b4163445637486c5a464f77374a6c3559414c72797a75744d4a2b737458415a484c553279426935657962594c687a42435a6565714345316976497372306839507a544b762b3067354333316c58566c6c62534a4c777268796c59556f6b765361444a74796b6b774c4a516a565234715564564b50456e4f4d7641414c516a5538663751634f34456b652f7230366c4c366b6c544d6d31343333726656522f553241346d4b6f37534f30646954454a666c4b41545136637265522b3772426d46707a46793737504132514d76724741746e6a4448754763484d372b4961784c53726839526a6533336c2f646254645231355242324b2b31524a4d715733686568726641336b69597144766469344e6751326a655551637a6d55785536626e7069626663656665577478773357705369564c2b38546d6665544857674a65722f61447837566e4475566630426b70494c636777686e2b5a572b726e784552335638553175734e7152553674555a784b7466534a7431792f6d464b492f4b4d4c43412b7670433757335776384a502b3063642b766b332f41496166396f2b635a4671697a377444647137557574636730386c686269526664576f58462b6830767a79674f6d4a6859396c722f43542f414c52334b5a5771685333564f552b62666c56714e7957486c7466354349783049435338503762636430514e4a6c38517a7a376144636f6e436d5a53656e6a473962385553746850745554714332316961697973796935436e704a7773724135376979556b2f6a4556656841656947434e7357433859426c755171714a576564414b5a4f65737736546139686332567839556d4a43424246786d493873454f72514c4a5634623333546d443774496b375a337473785a67783170706d66636e61616b6a656b3531526462746b4c4a5566476a496343526e3670675051474e4a326b374d634e62515a4974317953416e55494b575a356e77507465537661483256584766766a42624c747475477364705a6c564c2b536179355943536d6c697a68746339307652666c6b7270457077486e337464324e59673264504c6d5855696f554a53393175665a53624a7a79447166594a793567384477694d493954356d585a6d706431695a616265596453554f4e754a436b725352596767354545634446543975765a334d6d334d312f4144446a6a4975354d557049336c49346c5450456a37476f34583041566668484a4247736351434549514345495143454951434f593469582b7a31736c64326956777a7454537476445569734359576b6c4a6d463639796b2b56696f6a4d416a516b514761375047784e3347637731583853744c61773230723574764e4b7035514f59423144594f71754f67346b58576c4a5a69546c6d7065555a625959615345496262534570516b6141415a416449536b737a4a79724d744b744961595a51473232304379554a417341427741454a71595a6c4a5a32596d58554d734e4a4b31754f4b3355705342636b6b3643412b696945704a4a734272466364746661486c36514a6d6a594763626d5a37644b46314d3257323072537a616662497a385238497437576b6144742f323676596e4578514d4c754f4d5549335138384355726e422b71577a7931554e63736a587453697456314735674f395771764f316d6f544d37555a6c36596d7068652b363636737157346561696466304841434f6843454168434541684345423236544950564f6f79386c4c4164363872644639427a5075467a4671746d2b474b644d3459717548706c72764a427958517975347354666538575874587a767a694a4e6c644139446b5656536162732f4d437a4e2f5a6235394c2f70614a32325966535648377266366d4171586a504473356866455537537039507a6b75766443776d7958453670574f6847667848434d484672653052676356366743755344472f557163673934454a4738367871664d70506948546548474b70714253624857413468434541684345422b6d33464976593548496736474c446247753050557145746d6c59775539553656764a51334d5833706957546132707a6454666766454f4256704664345148714c5271724956756d4d56436b7a5455334a50703332336d6c58536f662b384937736566477876617456646e64594b6d695a6d6c5443775a7154577179584470766a676c64766134364b766b526576426d4b61566a47677939586f6b77485a5a3349704f53326c6a56437877554f58394943444f3056734c62726a55786958426b6f6c75724a75354e794c4b51424e3853744148385869523766337657703474436d316c4b77516f477842476b657155565a37556d78744b6d35764775474a6664576d3731556c57786b6f61716d456a6e78582f414876725843714d49356a6941516843415168484d42732b7a6242732f6a7646306c5136594e315470336e6e694c70596148724f4563626372356b6763593946734a346570324663507956476f7a41596b5a524734684f705045714a34714a7553655a694e4f7a5073352f596a42434a796f73626c63716f532f4d425138544c6572625853774f3852395a524841524d4d42777051534356477745557a3753573259596e6d584d4f345a6d4c304a6c646e5832315a54697764657259494e686f6f692b6c723737327139716e79544a75594f6f6236505335687638413469346858696162554d6d5262696f473675536676434b664c55564b4b6c616d4134555370524b6953546d53654d4951674549516745495167455a2f42564256587130327934464356624865504b3038494e7241387963766a796a424e6f4c6a69554a436c4b555141456935506b496e62424e43545161493279734430703335783958327558754758785047417a794568434570534c4a534c4163684739624d50704b6a3931763954476a7876477a4436536f2f64622f5577472b4b41556b685142424669446f597076747477562b782b4b33424c41696d7a6c33355339724a462f45332b456b44794b6555584a6a55747147456d385a59546d5a414a514a31763536555772494a64417942504a58716e6f59436a38492b30374c4f796330374c7a44616d33573146436b4b31535153434431424248756a34774345495143454951434a46324d625336687339784b334d73373739506673334e537539594f6f3457344259396b2b3435484b4f6f5148702f686d7655334531446b3676525a6c457a4954534e3974785077494934454734494f594974475263516c78436b4c53464a554c454b46775231696a2f5a7332724b775a585253617a4d4a54682b65574136705a734a5a773243585279484258537975427665494545584759674b493970505a616342346d2b5571557a7534637154685577456a4b586431557a35616c50544c50644a694759394d386659556b4d6159556e364856456a755a6c466b4f626f4b6d58423672696571546e317a47686a7a6778505135374457494a2b6a565a7275703653644c54716542493049504545574950454551474c684345416958757a4a67543973396f624d784f4e46644a7047374e7a4e39467276383032664e51755164556f56455241584d5838374e474468684c5a66494c6661434b6856414a3659754d77464435744a386b5779356b77457267576a5564716d4e5a58414f4335327454526255386b64314b7372587539382b7231552b57705049416d4e75696b6e617778352b30574e6c55535266337164526971584953724a63776670564778345a49467877587a674958726c556d367a565a6d65714579354e545437696e58486e4e56714a75564733506c774668776a6f516841495168414951684149516a7430696e7631576f735355716d3772717264414f4a5051444f4133505a62682f30756656564a70487a45736431744b686b707a2f774c65386a6c457452314b56494d55756e735363716e64616154756a6d54784a366b35783234424738624d50704b6a3931763954476a7876477a4436536f2f64622f41464d4276734951674b3264706242416c4a35474b4a427458637a6167334e705463684c74724a5862674641575032674f63514c462f363753705374306562706c51623779556d6d7930346e6f6549366a5552522f484f484a7643324935796c7a77753679764a793167346b3570574f68483533484341774549516745495167454951674f57314643776f57754f42304d5864374b2b30583970384c484439546d464f56616c49486472645543743657765a4a366c423842504c6450474b5178746d7a4446737a677247644f725571566b537a6c3357307174337252796352613447616232763751536545423654525633746c34453779566b735a794459336d7432546e6742716b33377477384d6a644a2b386e6c466d71644f79395370387450534c714870575a6153383034673343304b4677516552426a71596e6f7370694c4431526f39525146796b3677706877636752613436673249386f44792b684753784a52357167562b6f556d6f4a335a715366584c756369704a49754f68314851786a594462746b324754692f614a51714b55627a4d784d70552f6c6c33535047352f4b6b6a3378365370534570415341414d674277696f66596e6f435a6a454e66727a7141524b53364a526f6e367a684b6c45655151422b4b4c65774772375463546f776467537356745736585a5a67397767333862717643326e4c6d6f69504e79656d484a7162646565645536347452557078524a4b795463717a356b6b2b2b4c5939744c45716d4b665173504d4c413731533535394958596b4a384459493435715571782b70465234424345494243454942434549424575624c61414a4b6e6d71767049666d6b326242396c766e37794c2b566f305841314356584b7968436b6e30566b68623672323850316666703558696455704355684b51416b4377413451484d49516745627873772b6b715033572f774254476a7876477a4436536f2f64622f5577472b7768434152456e614677522b30574852574a466e6671644e51536f4a54645472477168314b5434682b4963596c754241497351434f526750504e514b5459367878456b3763634566736a697061354e737070633643394c57475350724e2f684e72665a493547493267454951674549516745636f55554c53704a736f47344d6351674c76646b6a46767933674632697a4468564e5564774a51436f6d37433771526d66716b4c52354a4554704645757972694d3050616e4953366c6b5339545375526442634946314466624e744364354676787865324170623279634d664a6d50704b75734e674d3165587334514e586d724a50544e42622b42697673587337576c4154574e6b6b314f4a51432f5370687562546258644a3774592b43372f6869696b42656a7369305955335a45784f46737058557074365a4a4f70534433616638682b4d5458476c37463664386c624b4d4b536f41422b546d5856416657576e665035714d626d7051536b71566b414c6d416f58326f363261787461713652756c7153377553515163774730377976356e46664349696a4e597a6e305658464655714c56696d636d33356a652b74767572554438434977734168434541684345416a394e6f57346f4a625370536962414a4679592f4d534273726f426d5a3031615a52387777536c6b4b48724c2b73504c39664b413372426c435251614b327751444d75664f5071357174703544543438347a30495143456665546b356d646444636f797431664a4976627a355274744b775174566c31522f6348396b79626e33714f5542707254626a717768707462697a6b456f5356452b34524a657a764439516c5554727237615546784b4c4e6b2b4c496d4d765436664b55357275354e684451346b616e7a4f706a59734f2f53502b512f7241593953564955557242536f61676930635273377a4c54777336324665596a477a4e4b397157566366565566304d42696f522b336d6e4756627271436b39592f45427175307643624f4d634b54564e5545706d6b2f4f797269765964417976304f6154304a696b632f4b75795534394b7a43464e764d724c626946616f5544597050554545523644525848744c34494c4d323369696e74664e7a43677a4f4158384c6d69462b53674e3039516e6d5943414951684149516841495168415a4844732b3753367a4b54387462767056314d77692f316d3142592f774173656e56506d6b5473684c54624a436d6e326b75704930495541522b736557374a536c357372463042514a4853505248594a55553154592f6856344b3369334a706c6c64464e45746b6679774779347a70534b37684b73307078472b6d636b33574c4457366b4543337674486d4d744b6b4c556c594b564a4e6944714448716b5938334d6459586e4a4c472b495a57585a54334c46526d476b5755414e314c716750794542364b554758544b5553516c3065717a4c74746a4f2b5151424835784a4d65693464716b78634475705631793536494a6a496a4b4e62326d4f7573624f73554f7344656452544a6c5342756c5759615662496177486d744e5737314e72656f6a2f414369506c4836634a4b686657772f53507a41495168414951684164326930352b71314b586c4a5a4e31754c4176612b364f4b694f514763574170636778544b657a4a7969416c6c704f364f764d6e71546e4748324d59417144744e4656564c467455346b643234384e304a62356a696437584c67424532556e4238684a6e666d795a747a6b7357515064783938426f6c4e704d37556c41536b75746162324b7a6b6b653878754e4a775577795175704f392b722b7a52634a3935315035527479454a51684b454a536c4363676c497342484d4238705757596c47457379725347576b364a516d776a36776841497a474876586638682f574d504759773936373975512f72415a723477482f414b4f554d723849652f6a41634c536c61436c7849556e6a635a526a70696b6f5663734b4b44794f596a4a65524849517936617747737a4575374c6d7a714342774f6f4d593274557956724e4a6d3664554777374b54545a6163547a5352775041385159336a585778766c48526d4b5979364c74664e7136616643413839736559616d634b596e6e61564e68524c4b2f413451624f6f4f61566738626a387752776a586f742f3269396e6378584d4d477253624f2f554b5968533164326b714c7247716b324764786265486b5278696f4b306c43696b384f584741346843454168434541692b665a5666533973686c554a4f544d354e49747975365666366f6f5a463575794e6e7371647a4a2f77434a54475a2f4441545772315435524265493844767a654961704d704a73394e4f7544357744565a504c724536783131535575705255706c736b6d354a534d344438307034544e4e6c5867536f4f4e495743645464494d645046724a6d4d4b316c6b5875354a5049467571434978757936654653326359586d77626c326d53366c5a6a31753753447031426a5a58327736773432723156704b5437386f4479316d685a774166555166355248796a4934676b484b5a56706d53654a4c6b73347468524f704b4671522f706a4851434549514345495145686250747174647768754d42307a394d542f3063776f6b415741384373796a54544d5a36635973706758614851635a4e424e506d4f356e674c716b337941344c616b634644714971524c59626471564a4d3952312b6b6c72777a4448746f504d6377637a7a3834777a547a386d2b433270786c31706478596c4b6b4b422b494f586e41656745497258733832357a73695735504653565438714c4a544d6f7433364d395661425930354b793478594b6756796d596870794a36697a724d354c4c3970733570504a51315365687a674d6c434549424759773739492f35442b7359654d7668373133373868415a753974534d686e433974534d686e416e584d514a317a45417662556a495a777662556a495a774a317a455937454663706d48716137554b33504d53556d33713438717738687a5051514752767a4f677a6a54646f473066447542706539596e417564556d37636b785a54792b704769553565736f6764596766616632693575644431507755303549736865365a353149373959427364784a42434152784e31644246664a6d5a6d36704f4b646d48585835683551333172555671577267535463714f75747a415362745032313467786b587052687730326b4b75424b7979794373572f694c31583543796569745969654e376432667a644777777575596e4a6b47584c496c4a553245784d4c4979736b2b6f6b616b717a734e4162526f68794a46373959424345494243454942463775796778334f795a4b7a6635326f544b726b363258752f36596f6f796a76486d3066575542486f4c32637165716e6247634e706355564c6661584e456b66326a696c6a386c43416b6c58716e79694c71786a6c6d557138394c4b6463425a6657325148774e4645615836524b5230696765304461464e4a783569524d7543575255706b4950687a54337172657a79674c52646c7172664b6d786d6a6f4f36584a4a62306f736a374b79552f797154457452566e73525677466e4574425771785370716561547a7664437a2b546678693030423536396f4f69436962574d52734962576c7479614d7969393762727151356c6637536c2f434933697a33625477367075735553767374724b4a70685571366f455743327a766f76357055352f6469734d4168434541684345426d634b313136673152755a5170616d54345857686f744e3950506950384179596c71733464704f4b4a4a4579416c4c6a715174756161413369447a352b2f386f67794e2f3259596b39446d6b306d63586157654e32564b50714c50447950362b634267735359527164434b6e48472b2f6b77636e3278636669477166303678314d4e346a716d484a394d33534a313656657975707457536879554e46446f66796977436b6853536c5142535259673859306645757a36546e6b7265704a544a7a46723933623574522f302b373451456737507475464f716957355446435736664e61656c707633437676635548346a7245794e725136326c62616b72516f5853704a75434f594d554b71744c6e364e4e397a504d4c5963396b3846446d434d6a47303442326c56334271304e53547766702b2f64636d2f6d30626d3533654b44726d4d7568674c6e526d4d4f2f53502b512f7245583444326d5548463762544c54336f64545550464a766b416b386478576978355a3877496c444476306a2f6b50367747612f4b2b6c342f4c6a6957304b577461556f534c6c5373674f704d614a744632715963774b307475656d544e565064336b794d7351584e64566b35494765716a6e77424d564f326c37583852593364635a666d50524b556262736a4c6b6873362b75636934644e637376563477452b62544f304652714332374b595637717231444e5070463779725a7471434d33504a4f584e516972654c7358317a463956394f724d394d5455786e75416e7774673275454a4753526c7739354d6458442b487176695766544b306d54656d3331577545444a41746b56485249793432365259625a2f735170744b44633569677431436247596c55333768476e7263566e344a3651454d594332625633474b6b757954415a6b4e367970782b3461466a59684e73316e58495a6379497362672f5a376876415567716f50627230314c4e4662302f4e572b6241463146493051504c506d54472b4e4e6f6162513230684b47304464536c4973414f51455634375247507653586a686d6b764a4d757972392b576e4d4c6346694737386b366e6d6244675943504e71324e5a6a47654a58706b3352497333616c5769665662767152775571774a39773452704d4353535354636d45416843454168434542324b6577354d7a61476d554b5736767749536e55714f535150655248707868696d4e305444644b70624173314a537255756b64454a4366365251767338596456694c616e516d43325679374c2f414b5738515259495a7376507a58335939386567304230367a4f6f7074496e5a3532336479724333314536414a535666306a79386d6e317a4d79382b3662754f724b314871546378667a744d317a3544324f56776f565a3664434a46765058764657562f494678352f7741424a585a31784c2b7a473171687a43316845744f4f6567506b3544636438494a50414265346664486f54486c61326f6f576c5353556b4734494e694f73656a2b782f46696361374f364e57564c337070786b4e545135506f384b387546794e346446434178766141776e2b312b7a437179724c4b585a3655416e5a55464e79584738796b6165736e65542b4b5050523147343455356b61676b57754f422b456571424149736378486e33326738444b775474436e324a646f707073326f7a6b6f516d795132736d365259657772655435626e4f416a4745495143454951434f556e6455434f42764845494361746e6d492f6c716d2b6a7a546d3950793441575471745042586e7750587a6a626f727052616c4d55696f74546b6f737063624f59344b48464a36474a396f74535971394d596e5a552f4e7569396a716b3851656f4d42395a2b526c61684c6c6964596266615073725466336a6b596a5445757a6c35674b666f616c506f3137686167464a7a3448694c634e664f4a55684156732b656c4a6a64556c62547261726c4b67556c4a48356778495568746c786c4a596565704c56566343484145695933515a6843414c626f644f59387943727247385968773554713830457a72566e552b7138336b745076346a6f59314f6737473672574b79354c737a6b736951514170553071393067337937765571793532363849434e795a7570544f51646564656330463146613148336c536a667154457a6250646873374f71626e63564c5849797041556d5652627631352b31714544546d727969593844375071466739734b7037486654785475716e48374b63493544676b6442473351474f6f4644706d48366569526f306b314b5379665a6247616a61313148565279314f635a47455937454e596b36425270717031467a753561585276486d6f38456a6d536241656342714f325048436348596355695563745635784b6b5331724574433262704235634f5a49367854393935623779334856715774524a4b6c6d354a50456e6965735a7a472b4a7033466d494a71707a354157365145747055564a61515056516e6f4c6e7a4a4a3478674942434549424345494243455a544446496e4b37585a4b6e55316f75546379366c6c6c4e6a626655624a766b63687165674d42616a735a3452394570645778504d73684c6b79524979796c4a463978427534516552585a502f414e6357576a44594d77394b59557772544b4854782b37794c4357676f6758575236797a626954636e7159796b322b314b797a723877734e7374494b31724f695567584a2b41674b6e647466457765716c4477797975365a64426e7067445466566444667641437a2b495257474e6f326d596f64786e6a717356313365435a74386c6c4b74554e447774703979516e33336a56344246696578356a6b556a464d7a68616563435a4f72664f537855636b5443527079472b6b456561556a6a46646f3745684e767945394c7a636d36706d5a5963533630346e5643306d34493869424165706b5254326a4e6e2f414f334f426e467954572f57615a765445714567627a6962654e7135487441416a37535578734f7944484d74744177504a56686f70544e32376d635a48384a394947385049354b4852516a6459447976645233626854634561676a694f426a387859667455624c31304b746e4531476c316d6c5642776c394b456a646c6e7a714d7339315a75523972654874434b38514345495143454951434e733265346b4e457151596d46326b4a6c51446d38636b4b344b2f6f656e6c4770774273516555425a63454558427544484d5239737578496d5a6c785235747a35396f6675354f572b67444e506d5030386f6b47415275657a6636576f6664522b706a544933505a763841533144377150314d427538495167486e4656747647507a695373696d55743639496b6c454a556e5235305842637679476966656549695374762b50506b4f6b716f4e4d65556970546a64336e4547785a5a4f566765436c5a6a6f4c6e6c46585645714e7a72416351684341516843415168434141456b4143354d577237482b7a79796e63613146734b516e656c366343456b46576a6a6f79766c596f4766312b596945646a6d7a3664326759746c36657758575a4e487a73314d6f53506d5767637a6e37523956505735396b78364630716e79744a706b72543663796869546c6d30744e4e4946676c4b5259434137555154327473636a443242453043546441714e62753272644f614a644e75385054654e6b43347a42567969624b705079744c703031503142354445704c4e4b656564586f684352636b2b5145656375316a47737a6a3747382f584a684a625a5751314b736e2b43796d2b346e7a7a4a50556d4131434f495167454951674a5437506d3070657a334753444f4f4c2b51716755737a79426d455a2b463064556b6d2f4e4a504730582b596462665a51367974446a5469517043304b436b71424677515271434938726f744432567472365a5254474373537a466d46713361584d75483146482b416f38696656766f547536464941576c7274496b71395235756c3156684d78497a625a616461566f704a2f513851654269676532725a6c5037504d526d58634b35696d763779355362492b6c514e5172376163743463665747524e7651714d466a6243744c786c68365a6f39615a3779586546307254594c61574e466f50425134482b6b42356c516951397275792b7362506132575a7473767944796a364e4e7470736834655873724131543778636152354149516841495168416657556d485a575a626659634c62714642535670315351645245395954726a5666704463306979586b2b42354831566a583348555241455a7643466458514b736959415570686667655144716e6e626d4e522f35674a396a63396d2f3074512b366a3954476b53377a637777323877744c6a546951704b6b6d34494f686a64396d2f77424c5550756f2f55774737787275507355797544384e7a46546d6431626f384575795657373177673254355a584a3441474d394d7674537375374d544c69476d476b6c626a697a5a4b5567584a4a3552547a61396a5a7a47654a464f746d314d6c727479625a5459684273537339565742364141633444553637564a717331616171452b38702b5a6d4843347478524f5a504c6b4e41427741413452304951674549516745495167455a76423247716c697576536c4b6f387371596d706865366c414e686c6d53547741475a504164624173495959716d4b36334c55756a536a6b7a4e506d795570797947704a4f5141346b35447a734466485931737570327a7169684b41334d316c3941394b6d7750667549354948784a7a4d426b746b32415a485a3568526d6c7969672f4e7273354f5452545976753231364a476952774135334d627043496437524731706e5a2f51545436553668654a5a35732b6a707956364d67354635512b4f3644715278414d42462f6133326f392b2b764131466450644e4b537570756f4f533143796b732b51795572725963444658592b6a377a6b773834382b3474783178525574613146536c456d354a4a314e342b634168434541684345416a6b4778764845494335485a78323470784169577776692b5a41724941626b3531773245337951732f7742727950742f653961786b6556714671516f4b516f70554d7752714974647347375171585178514e6f4d32457543794a65724f6b414b34424c35344868336e48327672454c49346c6f4e4d784e525a6d6c567555626d3546394e6c7472344867704a31536f61676a4d52532f6256734a7175433348366e525576564c4436556c616e7859755334484231493466624757586941314e346b71433068535343446d43493555416f45455842794d4235584c53554b4b564378456352647a617a3265614e6963544e51777774756b565a653873744545797a71794e536b5a746b6e557079346c4a69702b4f646e2b49734654786c3639546e7059465253323652764e4f362b6f3450437249615a4b2b79494455345155436c52436751526b516545494243454943524e6c324a424c7666493834734a5a644e35636e67733670392f4472357859665a76394c5550756f2f5578545643696851556b32554e44796961734b37566b556a42465157566734675545533751554c676e4f377038686e6269636f444c396f6e4874393743394a6549536b677a79304565493668727947525637687a6976704a4a4a4a755448306d486c7a44793358567257745a4b6c4b576f71555354636b6b366b6e4f506e414951684149516a4a304767314b7656467152704d6e4d5463323562645a59624b316b5a5a3247677a475a734f73426a4933335a687377722b50366d47615a4c464d6d323445544d34376b79786c667848326c6165424f656565364d346d375a58325a694f376e736675684b434c696d797a6e6949494754726f307a76345548385230697a744c70306e535a426d52706b717a4b53624b5168746c6c41536c493641514771624c396d3944326430706374534769374e76574d7a4f7567643638527779395649344a475138376d4e3168454f37634e74744c3266797a744f70686171474a564a384d7344644574635a4b6449303568477079304276415a6a6258745670757a61695850647a56636d5548304f537672773778793259624239366a6b4f4a46434d5231756f596a7263355671784d4b6d5a3662634c6a726973726e794751414667414d67426147497135557352316559716c626e485a79666d44764f504f47355041446b41426b414d6749786b41684345416843454168434541684345416a6d4f49514530374764764e597749327a5336756879713465526b6c6f712b656c682f3231485566594f5849694c6c344c786a51735a306f56444474515a6e474d67346c4a7374705831566f4f6154352b3638655a635a6244574971766869706f71464171457a4954694e48475632754f53686f6f6443434944302b6a725647516c4b6e4a4f7964526c574a7555655355754d766f43304c48496735474b7a374e6531464c7642715378394a4668656e796a4a6f4b6b65613274526c65355466376f6978324836395373525535452f51352b576e704e656a724467554c386a795051324d4244654f757a58686574426232486e33614a4d453733646850664d484f3967676b4b547839565148534947785a32656363304972584c303946566c30377837326e75685a73446c647457366f5a6374364c345167504c32703061667063783346516c6e5a562b323857356874544b68376c67474f6b575851674b4c61776b69344f3662576a31476e7043546e32693350537245793263743135734c48774d615256646a657a36706f4b58384b3035712f745371444c6b6552624967504f324558786d2b7a726746394a446246556c7879626e33442f6d4a6a4554485a657757362b584556477674444b79457a4c5a4174314b43667a674b53782b32326e48506f3231712b364c78656d56374f47424746457146586442344b6e6c416679326a4f557659627337707a696e455963596d4843626c553236342f77446b74524542352f4d536a7a3771573230336355726343426d712f4c644766355249654664696d4f63524c624d74515a706958557178656e4c5379414c612b507848334a4d58306f7548614c516d51315261544953445930544c5336572b7641526c4943732b426579334a79766454474d4b73715a64415356537450426252664f344c69764564665a4364496e374375466148685351456e68326c7974505979336779674253794261366c617150556b786d6f2b557a4d4d79724333356c3174706c417574787851536c49366b3543412b73645770314354706367394f314b615a6c5a526c4f38343838734951676379546b4968506150326b734d596553374b346153612f5552636237537479575165726c727134477951516672434b706251746f2b4a636654596478445071635951643571556147347730626170527a7a50694e7a31674a78327939704e783875306e5a3274624c56796c797172525a6178795a535234523970517679413169734c377a6b773834382b347478317852577461314652556f6d354a4a314a6a35776745495167454951674549516745495167454951674549516745495167455a4f6756367134666e784f30536f7a63684e444c764a5a31545a4976657874714f687549786b4943776544753146696d6d4a625a7848497964615a54367a6f2f64337a3730335166376f6961634d397044415659536c4d2f4e546448664f57374f4d45707630576a6548764e6f6f6e48494a47687441656e6c44784c513638684b364c574b665541526639326d554f48336747346a4c33382f68486c6368536b654e424b564a4949494e69493348422b4d635479745162616c6352316c6c6f3731304e7a7a715536486746644241656a2b384f596a6d495a32633169707a62437a4e564764664f3565376a366c6530655a695a552b71504b41354a413149686357764768592f6e357556616d444c5454374a43304164323455327936474b6862554d6159705250466c474a61326c6b366f452b36456e7770346233552f4741766655616e4930786e76616c4f53306f3172767a44715778385645524847493976577a326868514e645250764a2f685344616e696678437950356f6f4d394d767a6a716e5a743931397a64747675724b6a38544858756251466e385864713263643332734a554a6d585152595446515833692f4d4e6f4941506d6f694948786c6a33452b4d332b387848574a71635344644c4a5675736f503257303253504f3134316545427a4845495143454951434549514345495143454951482f2f5a
1 => vector<bool>: 0400000001
2 => vector<u64>: 03090000000000000000008a5d784563010000000000000000
]
}