TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b477e-c54c-70aa-85b9-ce432f14b010

complete
Chain ID
1
Address
Block Number
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
25553 artifact.fetch complete 1 / 3 3 months ago
25554 tool.cast_disasm complete 1 / 3 3 months ago
68726 analysis.bundle complete 1 / 3 2 weeks ago
68727 capability.graph complete 1 / 3 2 weeks ago
68728 detector.run complete 1 / 3 2 weeks ago
68729 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no
Implementation:
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
2
CALL-family (heavy)
6
EXT*/BALANCE
3
Total opcodes
8053
Flags
create_opcodes_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0452
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x023d
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb35513f7
00000024: GT
00000025: PUSH2 0x0138
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd7edb930
0000002f: GT
00000030: PUSH2 0x00bb
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf1c43f5f
0000003a: GT
0000003b: PUSH2 0x0082
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf1c43f5f
00000045: EQ
00000046: PUSH2 0x0df1
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0e06
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf8766f20
0000005b: EQ
0000005c: PUSH2 0x0e26
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf88b0e46
00000066: EQ
00000067: PUSH2 0x0e46
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0xfaf11fe9
00000071: EQ
00000072: PUSH2 0x0e5c
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0xfb272987
0000007c: EQ
0000007d: PUSH2 0x0ed2
00000080: JUMPI
00000081: STOP
00000082: JUMPDEST
00000083: DUP1
00000084: PUSH4 0xd7edb930
00000089: EQ
0000008a: PUSH2 0x0d36
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0xd9244997
00000094: EQ
00000095: PUSH2 0x0d56
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0xdd62ed3e
0000009f: EQ
000000a0: PUSH2 0x0d76
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0xe5a1ffe1
000000aa: EQ
000000ab: PUSH2 0x0dbc
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0xe798c012
000000b5: EQ
000000b6: PUSH2 0x0ddc
000000b9: JUMPI
000000ba: STOP
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0xc7639d80
000000c2: GT
000000c3: PUSH2 0x00ff
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0xc7639d80
000000cd: EQ
000000ce: PUSH2 0x0c78
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0xca9ec199
000000d8: EQ
000000d9: PUSH2 0x0ca0
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0xcd9a1b63
000000e3: EQ
000000e4: PUSH2 0x0cbf
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0xd255fd74
000000ee: EQ
000000ef: PUSH2 0x0cd5
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0xd28d8852
000000f9: EQ
000000fa: PUSH2 0x0cff
000000fd: JUMPI
000000fe: STOP
000000ff: JUMPDEST
00000100: DUP1
00000101: PUSH4 0xb35513f7
00000106: EQ
00000107: PUSH2 0x0be1
0000010a: JUMPI
0000010b: DUP1
0000010c: PUSH4 0xb411e996
00000111: EQ
00000112: PUSH2 0x0c02
00000115: JUMPI
00000116: DUP1
00000117: PUSH4 0xb51ec13e
0000011c: EQ
0000011d: PUSH2 0x0c22
00000120: JUMPI
00000121: DUP1
00000122: PUSH4 0xbc68fad9
00000127: EQ
00000128: PUSH2 0x0c42
0000012b: JUMPI
0000012c: DUP1
0000012d: PUSH4 0xc59718ca
00000132: EQ
00000133: PUSH2 0x0c58
00000136: JUMPI
00000137: STOP
00000138: JUMPDEST
00000139: DUP1
0000013a: PUSH4 0x95d89b41
0000013f: GT
00000140: PUSH2 0x01c0
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0xa9059cbb
0000014a: GT
0000014b: PUSH2 0x0187
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0xa9059cbb
00000155: EQ
00000156: PUSH2 0x0b31
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0xa9aab6b9
00000160: EQ
00000161: PUSH2 0x0b51
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0xaed04fae
0000016b: EQ
0000016c: PUSH2 0x0b71
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0xb09f1266
00000176: EQ
00000177: PUSH2 0x0b91
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0xb2e8a7d2
00000181: EQ
00000182: PUSH2 0x0bc1
00000185: JUMPI
00000186: STOP
00000187: JUMPDEST
00000188: DUP1
00000189: PUSH4 0x95d89b41
0000018e: EQ
0000018f: PUSH2 0x0a8e
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x98b1f164
00000199: EQ
0000019a: PUSH2 0x0abb
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x9d655369
000001a4: EQ
000001a5: PUSH2 0x0adb
000001a8: JUMPI
000001a9: DUP1
000001aa: PUSH4 0xa253c06e
000001af: EQ
000001b0: PUSH2 0x0afb
000001b3: JUMPI
000001b4: DUP1
000001b5: PUSH4 0xa457c2d7
000001ba: EQ
000001bb: PUSH2 0x0b11
000001be: JUMPI
000001bf: STOP
000001c0: JUMPDEST
000001c1: DUP1
000001c2: PUSH4 0x887c60fb
000001c7: GT
000001c8: PUSH2 0x0204
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0x887c60fb
000001d2: EQ
000001d3: PUSH2 0x0a10
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0x893d20e8
000001dd: EQ
000001de: PUSH2 0x0a2f
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0x8a982458
000001e8: EQ
000001e9: PUSH2 0x0a4d
000001ec: JUMPI
000001ed: DUP1
000001ee: PUSH4 0x8da5cb5b
000001f3: EQ
000001f4: PUSH2 0x0a2f
000001f7: JUMPI
000001f8: DUP1
000001f9: PUSH4 0x954ea665
000001fe: EQ
000001ff: PUSH2 0x0a6e
00000202: JUMPI
00000203: STOP
00000204: JUMPDEST
00000205: DUP1
00000206: PUSH4 0x715018a6
0000020b: EQ
0000020c: PUSH2 0x0995
0000020f: JUMPI
00000210: DUP1
00000211: PUSH4 0x762bb282
00000216: EQ
00000217: PUSH2 0x09aa
0000021a: JUMPI
0000021b: DUP1
0000021c: PUSH4 0x76a767ae
00000221: EQ
00000222: PUSH2 0x09c0
00000225: JUMPI
00000226: DUP1
00000227: PUSH4 0x82c4767b
0000022c: EQ
0000022d: PUSH2 0x09e0
00000230: JUMPI
00000231: DUP1
00000232: PUSH4 0x86d0ada8
00000237: EQ
00000238: PUSH2 0x09f6
0000023b: JUMPI
0000023c: STOP
0000023d: JUMPDEST
0000023e: DUP1
0000023f: PUSH4 0x382e329a
00000244: GT
00000245: PUSH2 0x034d
00000248: JUMPI
00000249: DUP1
0000024a: PUSH4 0x4cc40028
0000024f: GT
00000250: PUSH2 0x02d0
00000253: JUMPI
00000254: DUP1
00000255: PUSH4 0x5c0494bb
0000025a: GT
0000025b: PUSH2 0x0297
0000025e: JUMPI
0000025f: DUP1
00000260: PUSH4 0x5c0494bb
00000265: EQ
00000266: PUSH2 0x08d2
00000269: JUMPI
0000026a: DUP1
0000026b: PUSH4 0x6789f2dc
00000270: EQ
00000271: PUSH2 0x08f2
00000274: JUMPI
00000275: DUP1
00000276: PUSH4 0x6a911f4f
0000027b: EQ
0000027c: PUSH2 0x0912
0000027f: JUMPI
00000280: DUP1
00000281: PUSH4 0x6ebcf607
00000286: EQ
00000287: PUSH2 0x0932
0000028a: JUMPI
0000028b: DUP1
0000028c: PUSH4 0x70a08231
00000291: EQ
00000292: PUSH2 0x095f
00000295: JUMPI
00000296: STOP
00000297: JUMPDEST
00000298: DUP1
00000299: PUSH4 0x4cc40028
0000029e: EQ
0000029f: PUSH2 0x084f
000002a2: JUMPI
000002a3: DUP1
000002a4: PUSH4 0x4f91e48c
000002a9: EQ
000002aa: PUSH2 0x0870
000002ad: JUMPI
000002ae: DUP1
000002af: PUSH4 0x54d6b96e
000002b4: EQ
000002b5: PUSH2 0x0886
000002b8: JUMPI
000002b9: DUP1
000002ba: PUSH4 0x589210d9
000002bf: EQ
000002c0: PUSH2 0x08a6
000002c3: JUMPI
000002c4: DUP1
000002c5: PUSH4 0x58e55365
000002ca: EQ
000002cb: PUSH2 0x08bc
000002ce: JUMPI
000002cf: STOP
000002d0: JUMPDEST
000002d1: DUP1
000002d2: PUSH4 0x4089b170
000002d7: GT
000002d8: PUSH2 0x0314
000002db: JUMPI
000002dc: DUP1
000002dd: PUSH4 0x4089b170
000002e2: EQ
000002e3: PUSH2 0x07ca
000002e6: JUMPI
000002e7: DUP1
000002e8: PUSH4 0x42a11095
000002ed: EQ
000002ee: PUSH2 0x07e0
000002f1: JUMPI
000002f2: DUP1
000002f3: PUSH4 0x48e907b7
000002f8: EQ
000002f9: PUSH2 0x07fa
000002fc: JUMPI
000002fd: DUP1
000002fe: PUSH4 0x4953554d
00000303: EQ
00000304: PUSH2 0x0810
00000307: JUMPI
00000308: DUP1
00000309: PUSH4 0x4ada218b
0000030e: EQ
0000030f: PUSH2 0x0830
00000312: JUMPI
00000313: STOP
00000314: JUMPDEST
00000315: DUP1
00000316: PUSH4 0x382e329a
0000031b: EQ
0000031c: PUSH2 0x073e
0000031f: JUMPI
00000320: DUP1
00000321: PUSH4 0x39509351
00000326: EQ
00000327: PUSH2 0x075f
0000032a: JUMPI
0000032b: DUP1
0000032c: PUSH4 0x3ad10ef6
00000331: EQ
00000332: PUSH2 0x077f
00000335: JUMPI
00000336: DUP1
00000337: PUSH4 0x3b343ac0
0000033c: EQ
0000033d: PUSH2 0x079f
00000340: JUMPI
00000341: DUP1
00000342: PUSH4 0x3cc39b7a
00000347: EQ
00000348: PUSH2 0x07b4
0000034b: JUMPI
0000034c: STOP
0000034d: JUMPDEST
0000034e: DUP1
0000034f: PUSH4 0x18160ddd
00000354: GT
00000355: PUSH2 0x03d5
00000358: JUMPI
00000359: DUP1
0000035a: PUSH4 0x2d882863
0000035f: GT
00000360: PUSH2 0x039c
00000363: JUMPI
00000364: DUP1
00000365: PUSH4 0x2d882863
0000036a: EQ
0000036b: PUSH2 0x06b1
0000036e: JUMPI
0000036f: DUP1
00000370: PUSH4 0x311a8697
00000375: EQ
00000376: PUSH2 0x06d2
00000379: JUMPI
0000037a: DUP1
0000037b: PUSH4 0x313ce567
00000380: EQ
00000381: PUSH2 0x06f3
00000384: JUMPI
00000385: DUP1
00000386: PUSH4 0x32424aa3
0000038b: EQ
0000038c: PUSH2 0x0707
0000038f: JUMPI
00000390: DUP1
00000391: PUSH4 0x3478154b
00000396: EQ
00000397: PUSH2 0x071c
0000039a: JUMPI
0000039b: STOP
0000039c: JUMPDEST
0000039d: DUP1
0000039e: PUSH4 0x18160ddd
000003a3: EQ
000003a4: PUSH2 0x0608
000003a7: JUMPI
000003a8: DUP1
000003a9: PUSH4 0x1eb25d13
000003ae: EQ
000003af: PUSH2 0x061d
000003b2: JUMPI
000003b3: DUP1
000003b4: PUSH4 0x1f8b845e
000003b9: EQ
000003ba: PUSH2 0x0632
000003bd: JUMPI
000003be: DUP1
000003bf: PUSH4 0x23b872dd
000003c4: EQ
000003c5: PUSH2 0x0652
000003c8: JUMPI
000003c9: DUP1
000003ca: PUSH4 0x2a24e064
000003cf: EQ
000003d0: PUSH2 0x0672
000003d3: JUMPI
000003d4: STOP
000003d5: JUMPDEST
000003d6: DUP1
000003d7: PUSH4 0x095ea7b3
000003dc: GT
000003dd: PUSH2 0x0419
000003e0: JUMPI
000003e1: DUP1
000003e2: PUSH4 0x095ea7b3
000003e7: EQ
000003e8: PUSH2 0x054e
000003eb: JUMPI
000003ec: DUP1
000003ed: PUSH4 0x0ce0636c
000003f2: EQ
000003f3: PUSH2 0x057e
000003f6: JUMPI
000003f7: DUP1
000003f8: PUSH4 0x0fd99e16
000003fd: EQ
000003fe: PUSH2 0x059e
00000401: JUMPI
00000402: DUP1
00000403: PUSH4 0x156b2c5d
00000408: EQ
00000409: PUSH2 0x05d3
0000040c: JUMPI
0000040d: DUP1
0000040e: PUSH4 0x17391e49
00000413: EQ
00000414: PUSH2 0x05e8
00000417: JUMPI
00000418: STOP
00000419: JUMPDEST
0000041a: DUP1
0000041b: PUSH4 0x024c2ddd
00000420: EQ
00000421: PUSH2 0x045b
00000424: JUMPI
00000425: DUP1
00000426: PUSH4 0x05bf0a54
0000042b: EQ
0000042c: PUSH2 0x04a6
0000042f: JUMPI
00000430: DUP1
00000431: PUSH4 0x06fdde03
00000436: EQ
00000437: PUSH2 0x04d7
0000043a: JUMPI
0000043b: DUP1
0000043c: PUSH4 0x07a25f3c
00000441: EQ
00000442: PUSH2 0x0514
00000445: JUMPI
00000446: DUP1
00000447: PUSH4 0x09218ee7
0000044c: EQ
0000044d: PUSH2 0x0534
00000450: JUMPI
00000451: STOP
00000452: JUMPDEST
00000453: CALLDATASIZE
00000454: PUSH2 0x0459
00000457: JUMPI
00000458: STOP
00000459: JUMPDEST
0000045a: STOP
0000045b: JUMPDEST
0000045c: CALLVALUE
0000045d: DUP1
0000045e: ISZERO
0000045f: PUSH2 0x0467
00000462: JUMPI
00000463: PUSH1 0x00
00000465: DUP1
00000466: REVERT
00000467: JUMPDEST
00000468: POP
00000469: PUSH2 0x0493
0000046c: PUSH2 0x0476
0000046f: CALLDATASIZE
00000470: PUSH1 0x04
00000472: PUSH2 0x2c06
00000475: JUMP
00000476: JUMPDEST
00000477: PUSH1 0x02
00000479: PUSH1 0x20
0000047b: SWAP1
0000047c: DUP2
0000047d: MSTORE
0000047e: PUSH1 0x00
00000480: SWAP3
00000481: DUP4
00000482: MSTORE
00000483: PUSH1 0x40
00000485: DUP1
00000486: DUP5
00000487: KECCAK256
00000488: SWAP1
00000489: SWAP2
0000048a: MSTORE
0000048b: SWAP1
0000048c: DUP3
0000048d: MSTORE
0000048e: SWAP1
0000048f: KECCAK256
00000490: SLOAD
00000491: DUP2
00000492: JUMP
00000493: JUMPDEST
00000494: PUSH1 0x40
00000496: MLOAD
00000497: SWAP1
00000498: DUP2
00000499: MSTORE
0000049a: PUSH1 0x20
0000049c: ADD
0000049d: JUMPDEST
0000049e: PUSH1 0x40
000004a0: MLOAD
000004a1: DUP1
000004a2: SWAP2
000004a3: SUB
000004a4: SWAP1
000004a5: RETURN
000004a6: JUMPDEST
000004a7: CALLVALUE
000004a8: DUP1
000004a9: ISZERO
000004aa: PUSH2 0x04b2
000004ad: JUMPI
000004ae: PUSH1 0x00
000004b0: DUP1
000004b1: REVERT
000004b2: JUMPDEST
000004b3: POP
000004b4: PUSH1 0x14
000004b6: SLOAD
000004b7: PUSH2 0x04c5
000004ba: SWAP1
000004bb: PUSH2 0x0100
000004be: SWAP1
000004bf: DIV
000004c0: PUSH1 0xff
000004c2: AND
000004c3: DUP2
000004c4: JUMP
000004c5: JUMPDEST
000004c6: PUSH1 0x40
000004c8: MLOAD
000004c9: PUSH1 0xff
000004cb: SWAP1
000004cc: SWAP2
000004cd: AND
000004ce: DUP2
000004cf: MSTORE
000004d0: PUSH1 0x20
000004d2: ADD
000004d3: PUSH2 0x049d
000004d6: JUMP
000004d7: JUMPDEST
000004d8: CALLVALUE
000004d9: DUP1
000004da: ISZERO
000004db: PUSH2 0x04e3
000004de: JUMPI
000004df: PUSH1 0x00
000004e1: DUP1
000004e2: REVERT
000004e3: JUMPDEST
000004e4: POP
000004e5: PUSH1 0x40
000004e7: DUP1
000004e8: MLOAD
000004e9: DUP1
000004ea: DUP3
000004eb: ADD
000004ec: SWAP1
000004ed: SWAP2
000004ee: MSTORE
000004ef: PUSH1 0x0b
000004f1: DUP2
000004f2: MSTORE
000004f3: PUSH11 0x10dc9e5c1d1bc8131e5cdd
000004ff: PUSH1 0xaa
00000501: SHL
00000502: PUSH1 0x20
00000504: DUP3
00000505: ADD
00000506: MSTORE
00000507: JUMPDEST
00000508: PUSH1 0x40
0000050a: MLOAD
0000050b: PUSH2 0x049d
0000050e: SWAP2
0000050f: SWAP1
00000510: PUSH2 0x2e06
00000513: JUMP
00000514: JUMPDEST
00000515: CALLVALUE
00000516: DUP1
00000517: ISZERO
00000518: PUSH2 0x0520
0000051b: JUMPI
0000051c: PUSH1 0x00
0000051e: DUP1
0000051f: REVERT
00000520: JUMPDEST
00000521: POP
00000522: PUSH2 0x0459
00000525: PUSH2 0x052f
00000528: CALLDATASIZE
00000529: PUSH1 0x04
0000052b: PUSH2 0x2bce
0000052e: JUMP
0000052f: JUMPDEST
00000530: PUSH2 0x0eff
00000533: JUMP
00000534: JUMPDEST
00000535: CALLVALUE
00000536: DUP1
00000537: ISZERO
00000538: PUSH2 0x0540
0000053b: JUMPI
0000053c: PUSH1 0x00
0000053e: DUP1
0000053f: REVERT
00000540: JUMPDEST
00000541: POP
00000542: PUSH1 0x14
00000544: SLOAD
00000545: PUSH2 0x04c5
00000548: SWAP1
00000549: PUSH1 0xff
0000054b: AND
0000054c: DUP2
0000054d: JUMP
0000054e: JUMPDEST
0000054f: CALLVALUE
00000550: DUP1
00000551: ISZERO
00000552: PUSH2 0x055a
00000555: JUMPI
00000556: PUSH1 0x00
00000558: DUP1
00000559: REVERT
0000055a: JUMPDEST
0000055b: POP
0000055c: PUSH2 0x056e
0000055f: PUSH2 0x0569
00000562: CALLDATASIZE
00000563: PUSH1 0x04
00000565: PUSH2 0x2cb2
00000568: JUMP
00000569: JUMPDEST
0000056a: PUSH2 0x0f57
0000056d: JUMP
0000056e: JUMPDEST
0000056f: PUSH1 0x40
00000571: MLOAD
00000572: SWAP1
00000573: ISZERO
00000574: ISZERO
00000575: DUP2
00000576: MSTORE
00000577: PUSH1 0x20
00000579: ADD
0000057a: PUSH2 0x049d
0000057d: JUMP
0000057e: JUMPDEST
0000057f: CALLVALUE
00000580: DUP1
00000581: ISZERO
00000582: PUSH2 0x058a
00000585: JUMPI
00000586: PUSH1 0x00
00000588: DUP1
00000589: REVERT
0000058a: JUMPDEST
0000058b: POP
0000058c: PUSH2 0x0459
0000058f: PUSH2 0x0599
00000592: CALLDATASIZE
00000593: PUSH1 0x04
00000595: PUSH2 0x2cdd
00000598: JUMP
00000599: JUMPDEST
0000059a: PUSH2 0x0f6e
0000059d: JUMP
0000059e: JUMPDEST
0000059f: CALLVALUE
000005a0: DUP1
000005a1: ISZERO
000005a2: PUSH2 0x05aa
000005a5: JUMPI
000005a6: PUSH1 0x00
000005a8: DUP1
000005a9: REVERT
000005aa: JUMPDEST
000005ab: POP
000005ac: PUSH1 0x09
000005ae: SLOAD
000005af: PUSH2 0x05c0
000005b2: SWAP1
000005b3: PUSH1 0x01
000005b5: PUSH1 0x20
000005b7: SHL
000005b8: SWAP1
000005b9: DIV
000005ba: PUSH2 0xffff
000005bd: AND
000005be: DUP2
000005bf: JUMP
000005c0: JUMPDEST
000005c1: PUSH1 0x40
000005c3: MLOAD
000005c4: PUSH2 0xffff
000005c7: SWAP1
000005c8: SWAP2
000005c9: AND
000005ca: DUP2
000005cb: MSTORE
000005cc: PUSH1 0x20
000005ce: ADD
000005cf: PUSH2 0x049d
000005d2: JUMP
000005d3: JUMPDEST
000005d4: CALLVALUE
000005d5: DUP1
000005d6: ISZERO
000005d7: PUSH2 0x05df
000005da: JUMPI
000005db: PUSH1 0x00
000005dd: DUP1
000005de: REVERT
000005df: JUMPDEST
000005e0: POP
000005e1: PUSH2 0x0459
000005e4: PUSH2 0x0fa6
000005e7: JUMP
000005e8: JUMPDEST
000005e9: CALLVALUE
000005ea: DUP1
000005eb: ISZERO
000005ec: PUSH2 0x05f4
000005ef: JUMPI
000005f0: PUSH1 0x00
000005f2: DUP1
000005f3: REVERT
000005f4: JUMPDEST
000005f5: POP
000005f6: PUSH1 0x10
000005f8: SLOAD
000005f9: PUSH2 0x04c5
000005fc: SWAP1
000005fd: PUSH3 0x010000
00000601: SWAP1
00000602: DIV
00000603: PUSH1 0xff
00000605: AND
00000606: DUP2
00000607: JUMP
00000608: JUMPDEST
00000609: CALLVALUE
0000060a: DUP1
0000060b: ISZERO
0000060c: PUSH2 0x0614
0000060f: JUMPI
00000610: PUSH1 0x00
00000612: DUP1
00000613: REVERT
00000614: JUMPDEST
00000615: POP
00000616: PUSH1 0x0c
00000618: SLOAD
00000619: PUSH2 0x0493
0000061c: JUMP
0000061d: JUMPDEST
0000061e: CALLVALUE
0000061f: DUP1
00000620: ISZERO
00000621: PUSH2 0x0629
00000624: JUMPI
00000625: PUSH1 0x00
00000627: DUP1
00000628: REVERT
00000629: JUMPDEST
0000062a: POP
0000062b: PUSH2 0x0493
0000062e: PUSH2 0x1091
00000631: JUMP
00000632: JUMPDEST
00000633: CALLVALUE
00000634: DUP1
00000635: ISZERO
00000636: PUSH2 0x063e
00000639: JUMPI
0000063a: PUSH1 0x00
0000063c: DUP1
0000063d: REVERT
0000063e: JUMPDEST
0000063f: POP
00000640: PUSH1 0x09
00000642: SLOAD
00000643: PUSH2 0x05c0
00000646: SWAP1
00000647: PUSH2 0x0100
0000064a: SWAP1
0000064b: DIV
0000064c: PUSH2 0xffff
0000064f: AND
00000650: DUP2
00000651: JUMP
00000652: JUMPDEST
00000653: CALLVALUE
00000654: DUP1
00000655: ISZERO
00000656: PUSH2 0x065e
00000659: JUMPI
0000065a: PUSH1 0x00
0000065c: DUP1
0000065d: REVERT
0000065e: JUMPDEST
0000065f: POP
00000660: PUSH2 0x056e
00000663: PUSH2 0x066d
00000666: CALLDATASIZE
00000667: PUSH1 0x04
00000669: PUSH2 0x2c3e
0000066c: JUMP
0000066d: JUMPDEST
0000066e: PUSH2 0x10b0
00000671: JUMP
00000672: JUMPDEST
00000673: CALLVALUE
00000674: DUP1
00000675: ISZERO
00000676: PUSH2 0x067e
00000679: JUMPI
0000067a: PUSH1 0x00
0000067c: DUP1
0000067d: REVERT
0000067e: JUMPDEST
0000067f: POP
00000680: PUSH1 0x10
00000682: SLOAD
00000683: PUSH2 0x0699
00000686: SWAP1
00000687: PUSH1 0x01
00000689: PUSH1 0x48
0000068b: SHL
0000068c: SWAP1
0000068d: DIV
0000068e: PUSH1 0x01
00000690: PUSH1 0x01
00000692: PUSH1 0xa0
00000694: SHL
00000695: SUB
00000696: AND
00000697: DUP2
00000698: JUMP
00000699: JUMPDEST
0000069a: PUSH1 0x40
0000069c: MLOAD
0000069d: PUSH1 0x01
0000069f: PUSH1 0x01
000006a1: PUSH1 0xa0
000006a3: SHL
000006a4: SUB
000006a5: SWAP1
000006a6: SWAP2
000006a7: AND
000006a8: DUP2
000006a9: MSTORE
000006aa: PUSH1 0x20
000006ac: ADD
000006ad: PUSH2 0x049d
000006b0: JUMP
000006b1: JUMPDEST
000006b2: CALLVALUE
000006b3: DUP1
000006b4: ISZERO
000006b5: PUSH2 0x06bd
000006b8: JUMPI
000006b9: PUSH1 0x00
000006bb: DUP1
000006bc: REVERT
000006bd: JUMPDEST
000006be: POP
000006bf: PUSH1 0x10
000006c1: SLOAD
000006c2: PUSH2 0x04c5
000006c5: SWAP1
000006c6: PUSH1 0x01
000006c8: PUSH1 0x20
000006ca: SHL
000006cb: SWAP1
000006cc: DIV
000006cd: PUSH1 0xff
000006cf: AND
000006d0: DUP2
000006d1: JUMP
000006d2: JUMPDEST
000006d3: CALLVALUE
000006d4: DUP1
000006d5: ISZERO
000006d6: PUSH2 0x06de
000006d9: JUMPI
000006da: PUSH1 0x00
000006dc: DUP1
000006dd: REVERT
000006de: JUMPDEST
000006df: POP
000006e0: PUSH1 0x09
000006e2: SLOAD
000006e3: PUSH2 0x04c5
000006e6: SWAP1
000006e7: PUSH4 0x01000000
000006ec: SWAP1
000006ed: DIV
000006ee: PUSH1 0xff
000006f0: AND
000006f1: DUP2
000006f2: JUMP
000006f3: JUMPDEST
000006f4: CALLVALUE
000006f5: DUP1
000006f6: ISZERO
000006f7: PUSH2 0x06ff
000006fa: JUMPI
000006fb: PUSH1 0x00
000006fd: DUP1
000006fe: REVERT
000006ff: JUMPDEST
00000700: POP
00000701: PUSH1 0x12
00000703: PUSH2 0x04c5
00000706: JUMP
00000707: JUMPDEST
00000708: CALLVALUE
00000709: DUP1
0000070a: ISZERO
0000070b: PUSH2 0x0713
0000070e: JUMPI
0000070f: PUSH1 0x00
00000711: DUP1
00000712: REVERT
00000713: JUMPDEST
00000714: POP
00000715: PUSH2 0x04c5
00000718: PUSH1 0x12
0000071a: DUP2
0000071b: JUMP
0000071c: JUMPDEST
0000071d: CALLVALUE
0000071e: DUP1
0000071f: ISZERO
00000720: PUSH2 0x0728
00000723: JUMPI
00000724: PUSH1 0x00
00000726: DUP1
00000727: REVERT
00000728: JUMPDEST
00000729: POP
0000072a: PUSH1 0x09
0000072c: SLOAD
0000072d: PUSH2 0x05c0
00000730: SWAP1
00000731: PUSH1 0x01
00000733: PUSH1 0x30
00000735: SHL
00000736: SWAP1
00000737: DIV
00000738: PUSH2 0xffff
0000073b: AND
0000073c: DUP2
0000073d: JUMP
0000073e: JUMPDEST
0000073f: CALLVALUE
00000740: DUP1
00000741: ISZERO
00000742: PUSH2 0x074a
00000745: JUMPI
00000746: PUSH1 0x00
00000748: DUP1
00000749: REVERT
0000074a: JUMPDEST
0000074b: POP
0000074c: PUSH1 0x10
0000074e: SLOAD
0000074f: PUSH2 0x04c5
00000752: SWAP1
00000753: PUSH4 0x01000000
00000758: SWAP1
00000759: DIV
0000075a: PUSH1 0xff
0000075c: AND
0000075d: DUP2
0000075e: JUMP
0000075f: JUMPDEST
00000760: CALLVALUE
00000761: DUP1
00000762: ISZERO
00000763: PUSH2 0x076b
00000766: JUMPI
00000767: PUSH1 0x00
00000769: DUP1
0000076a: REVERT
0000076b: JUMPDEST
0000076c: POP
0000076d: PUSH2 0x056e
00000770: PUSH2 0x077a
00000773: CALLDATASIZE
00000774: PUSH1 0x04
00000776: PUSH2 0x2cb2
00000779: JUMP
0000077a: JUMPDEST
0000077b: PUSH2 0x1147
0000077e: JUMP
0000077f: JUMPDEST
00000780: CALLVALUE
00000781: DUP1
00000782: ISZERO
00000783: PUSH2 0x078b
00000786: JUMPI
00000787: PUSH1 0x00
00000789: DUP1
0000078a: REVERT
0000078b: JUMPDEST
0000078c: POP
0000078d: PUSH1 0x0b
0000078f: SLOAD
00000790: PUSH2 0x0699
00000793: SWAP1
00000794: PUSH1 0x01
00000796: PUSH1 0x01
00000798: PUSH1 0xa0
0000079a: SHL
0000079b: SUB
0000079c: AND
0000079d: DUP2
0000079e: JUMP
0000079f: JUMPDEST
000007a0: CALLVALUE
000007a1: DUP1
000007a2: ISZERO
000007a3: PUSH2 0x07ab
000007a6: JUMPI
000007a7: PUSH1 0x00
000007a9: DUP1
000007aa: REVERT
000007ab: JUMPDEST
000007ac: POP
000007ad: PUSH2 0x0459
000007b0: PUSH2 0x117e
000007b3: JUMP
000007b4: JUMPDEST
000007b5: CALLVALUE
000007b6: DUP1
000007b7: ISZERO
000007b8: PUSH2 0x07c0
000007bb: JUMPI
000007bc: PUSH1 0x00
000007be: DUP1
000007bf: REVERT
000007c0: JUMPDEST
000007c1: POP
000007c2: PUSH2 0x0493
000007c5: PUSH1 0x18
000007c7: SLOAD
000007c8: DUP2
000007c9: JUMP
000007ca: JUMPDEST
000007cb: CALLVALUE
000007cc: DUP1
000007cd: ISZERO
000007ce: PUSH2 0x07d6
000007d1: JUMPI
000007d2: PUSH1 0x00
000007d4: DUP1
000007d5: REVERT
000007d6: JUMPDEST
000007d7: POP
000007d8: PUSH2 0x0493
000007db: PUSH1 0x13
000007dd: SLOAD
000007de: DUP2
000007df: JUMP
000007e0: JUMPDEST
000007e1: CALLVALUE
000007e2: DUP1
000007e3: ISZERO
000007e4: PUSH2 0x07ec
000007e7: JUMPI
000007e8: PUSH1 0x00
000007ea: DUP1
000007eb: REVERT
000007ec: JUMPDEST
000007ed: POP
000007ee: PUSH1 0x10
000007f0: SLOAD
000007f1: PUSH2 0x04c5
000007f4: SWAP1
000007f5: PUSH1 0xff
000007f7: AND
000007f8: DUP2
000007f9: JUMP
000007fa: JUMPDEST
000007fb: CALLVALUE
000007fc: DUP1
000007fd: ISZERO
000007fe: PUSH2 0x0806
00000801: JUMPI
00000802: PUSH1 0x00
00000804: DUP1
00000805: REVERT
00000806: JUMPDEST
00000807: POP
00000808: PUSH2 0x0493
0000080b: PUSH1 0x12
0000080d: SLOAD
0000080e: DUP2
0000080f: JUMP
00000810: JUMPDEST
00000811: CALLVALUE
00000812: DUP1
00000813: ISZERO
00000814: PUSH2 0x081c
00000817: JUMPI
00000818: PUSH1 0x00
0000081a: DUP1
0000081b: REVERT
0000081c: JUMPDEST
0000081d: POP
0000081e: PUSH2 0x0459
00000821: PUSH2 0x082b
00000824: CALLDATASIZE
00000825: PUSH1 0x04
00000827: PUSH2 0x2cdd
0000082a: JUMP
0000082b: JUMPDEST
0000082c: PUSH2 0x11d1
0000082f: JUMP
00000830: JUMPDEST
00000831: CALLVALUE
00000832: DUP1
00000833: ISZERO
00000834: PUSH2 0x083c
00000837: JUMPI
00000838: PUSH1 0x00
0000083a: DUP1
0000083b: REVERT
0000083c: JUMPDEST
0000083d: POP
0000083e: PUSH1 0x1b
00000840: SLOAD
00000841: PUSH2 0x056e
00000844: SWAP1
00000845: PUSH2 0x0100
00000848: SWAP1
00000849: DIV
0000084a: PUSH1 0xff
0000084c: AND
0000084d: DUP2
0000084e: JUMP
0000084f: JUMPDEST
00000850: CALLVALUE
00000851: DUP1
00000852: ISZERO
00000853: PUSH2 0x085b
00000856: JUMPI
00000857: PUSH1 0x00
00000859: DUP1
0000085a: REVERT
0000085b: JUMPDEST
0000085c: POP
0000085d: PUSH1 0x10
0000085f: SLOAD
00000860: PUSH2 0x04c5
00000863: SWAP1
00000864: PUSH1 0x01
00000866: PUSH1 0x28
00000868: SHL
00000869: SWAP1
0000086a: DIV
0000086b: PUSH1 0xff
0000086d: AND
0000086e: DUP2
0000086f: JUMP
00000870: JUMPDEST
00000871: CALLVALUE
00000872: DUP1
00000873: ISZERO
00000874: PUSH2 0x087c
00000877: JUMPI
00000878: PUSH1 0x00
0000087a: DUP1
0000087b: REVERT
0000087c: JUMPDEST
0000087d: POP
0000087e: PUSH2 0x0493
00000881: PUSH1 0x0e
00000883: SLOAD
00000884: DUP2
00000885: JUMP
00000886: JUMPDEST
00000887: CALLVALUE
00000888: DUP1
00000889: ISZERO
0000088a: PUSH2 0x0892
0000088d: JUMPI
0000088e: PUSH1 0x00
00000890: DUP1
00000891: REVERT
00000892: JUMPDEST
00000893: POP
00000894: PUSH2 0x0459
00000897: PUSH2 0x08a1
0000089a: CALLDATASIZE
0000089b: PUSH1 0x04
0000089d: PUSH2 0x2bce
000008a0: JUMP
000008a1: JUMPDEST
000008a2: PUSH2 0x121c
000008a5: JUMP
000008a6: JUMPDEST
000008a7: CALLVALUE
000008a8: DUP1
000008a9: ISZERO
000008aa: PUSH2 0x08b2
000008ad: JUMPI
000008ae: PUSH1 0x00
000008b0: DUP1
000008b1: REVERT
000008b2: JUMPDEST
000008b3: POP
000008b4: PUSH2 0x0493
000008b7: PUSH1 0x0f
000008b9: SLOAD
000008ba: DUP2
000008bb: JUMP
000008bc: JUMPDEST
000008bd: CALLVALUE
000008be: DUP1
000008bf: ISZERO
000008c0: PUSH2 0x08c8
000008c3: JUMPI
000008c4: PUSH1 0x00
000008c6: DUP1
000008c7: REVERT
000008c8: JUMPDEST
000008c9: POP
000008ca: PUSH2 0x0493
000008cd: PUSH1 0x15
000008cf: SLOAD
000008d0: DUP2
000008d1: JUMP
000008d2: JUMPDEST
000008d3: CALLVALUE
000008d4: DUP1
000008d5: ISZERO
000008d6: PUSH2 0x08de
000008d9: JUMPI
000008da: PUSH1 0x00
000008dc: DUP1
000008dd: REVERT
000008de: JUMPDEST
000008df: POP
000008e0: PUSH2 0x0493
000008e3: PUSH2 0x08ed
000008e6: CALLDATASIZE
000008e7: PUSH1 0x04
000008e9: PUSH2 0x2bce
000008ec: JUMP
000008ed: JUMPDEST
000008ee: PUSH2 0x1250
000008f1: JUMP
000008f2: JUMPDEST
000008f3: CALLVALUE
000008f4: DUP1
000008f5: ISZERO
000008f6: PUSH2 0x08fe
000008f9: JUMPI
000008fa: PUSH1 0x00
000008fc: DUP1
000008fd: REVERT
000008fe: JUMPDEST
000008ff: POP
00000900: PUSH2 0x0459
00000903: PUSH2 0x090d
00000906: CALLDATASIZE
00000907: PUSH1 0x04
00000909: PUSH2 0x2d0f
0000090c: JUMP
0000090d: JUMPDEST
0000090e: PUSH2 0x128a
00000911: JUMP
00000912: JUMPDEST
00000913: CALLVALUE
00000914: DUP1
00000915: ISZERO
00000916: PUSH2 0x091e
00000919: JUMPI
0000091a: PUSH1 0x00
0000091c: DUP1
0000091d: REVERT
0000091e: JUMPDEST
0000091f: POP
00000920: PUSH2 0x0459
00000923: PUSH2 0x092d
00000926: CALLDATASIZE
00000927: PUSH1 0x04
00000929: PUSH2 0x2d67
0000092c: JUMP
0000092d: JUMPDEST
0000092e: PUSH2 0x13da
00000931: JUMP
00000932: JUMPDEST
00000933: CALLVALUE
00000934: DUP1
00000935: ISZERO
00000936: PUSH2 0x093e
00000939: JUMPI
0000093a: PUSH1 0x00
0000093c: DUP1
0000093d: REVERT
0000093e: JUMPDEST
0000093f: POP
00000940: PUSH2 0x0493
00000943: PUSH2 0x094d
00000946: CALLDATASIZE
00000947: PUSH1 0x04
00000949: PUSH2 0x2bce
0000094c: JUMP
0000094d: JUMPDEST
0000094e: PUSH1 0x01
00000950: PUSH1 0x20
00000952: MSTORE
00000953: PUSH1 0x00
00000955: SWAP1
00000956: DUP2
00000957: MSTORE
00000958: PUSH1 0x40
0000095a: SWAP1
0000095b: KECCAK256
0000095c: SLOAD
0000095d: DUP2
0000095e: JUMP
0000095f: JUMPDEST
00000960: CALLVALUE
00000961: DUP1
00000962: ISZERO
00000963: PUSH2 0x096b
00000966: JUMPI
00000967: PUSH1 0x00
00000969: DUP1
0000096a: REVERT
0000096b: JUMPDEST
0000096c: POP
0000096d: PUSH2 0x0493
00000970: PUSH2 0x097a
00000973: CALLDATASIZE
00000974: PUSH1 0x04
00000976: PUSH2 0x2bce
00000979: JUMP
0000097a: JUMPDEST
0000097b: PUSH1 0x01
0000097d: PUSH1 0x01
0000097f: PUSH1 0xa0
00000981: SHL
00000982: SUB
00000983: AND
00000984: PUSH1 0x00
00000986: SWAP1
00000987: DUP2
00000988: MSTORE
00000989: PUSH1 0x01
0000098b: PUSH1 0x20
0000098d: MSTORE
0000098e: PUSH1 0x40
00000990: SWAP1
00000991: KECCAK256
00000992: SLOAD
00000993: SWAP1
00000994: JUMP
00000995: JUMPDEST
00000996: CALLVALUE
00000997: DUP1
00000998: ISZERO
00000999: PUSH2 0x09a1
0000099c: JUMPI
0000099d: PUSH1 0x00
0000099f: DUP1
000009a0: REVERT
000009a1: JUMPDEST
000009a2: POP
000009a3: PUSH2 0x0459
000009a6: PUSH2 0x1415
000009a9: JUMP
000009aa: JUMPDEST
000009ab: CALLVALUE
000009ac: DUP1
000009ad: ISZERO
000009ae: PUSH2 0x09b6
000009b1: JUMPI
000009b2: PUSH1 0x00
000009b4: DUP1
000009b5: REVERT
000009b6: JUMPDEST
000009b7: POP
000009b8: PUSH2 0x0493
000009bb: PUSH1 0x0d
000009bd: SLOAD
000009be: DUP2
000009bf: JUMP
000009c0: JUMPDEST
000009c1: CALLVALUE
000009c2: DUP1
000009c3: ISZERO
000009c4: PUSH2 0x09cc
000009c7: JUMPI
000009c8: PUSH1 0x00
000009ca: DUP1
000009cb: REVERT
000009cc: JUMPDEST
000009cd: POP
000009ce: PUSH2 0x0459
000009d1: PUSH2 0x09db
000009d4: CALLDATASIZE
000009d5: PUSH1 0x04
000009d7: PUSH2 0x2d81
000009da: JUMP
000009db: JUMPDEST
000009dc: PUSH2 0x14c8
000009df: JUMP
000009e0: JUMPDEST
000009e1: CALLVALUE
000009e2: DUP1
000009e3: ISZERO
000009e4: PUSH2 0x09ec
000009e7: JUMPI
000009e8: PUSH1 0x00
000009ea: DUP1
000009eb: REVERT
000009ec: JUMPDEST
000009ed: POP
000009ee: PUSH2 0x0699
000009f1: PUSH2 0xdead
000009f4: DUP2
000009f5: JUMP
000009f6: JUMPDEST
000009f7: CALLVALUE
000009f8: DUP1
000009f9: ISZERO
000009fa: PUSH2 0x0a02
000009fd: JUMPI
000009fe: PUSH1 0x00
00000a00: DUP1
00000a01: REVERT
00000a02: JUMPDEST
00000a03: POP
00000a04: PUSH1 0x1b
00000a06: SLOAD
00000a07: PUSH2 0x056e
00000a0a: SWAP1
00000a0b: PUSH1 0xff
00000a0d: AND
00000a0e: DUP2
00000a0f: JUMP
00000a10: JUMPDEST
00000a11: CALLVALUE
00000a12: DUP1
00000a13: ISZERO
00000a14: PUSH2 0x0a1c
00000a17: JUMPI
00000a18: PUSH1 0x00
00000a1a: DUP1
00000a1b: REVERT
00000a1c: JUMPDEST
00000a1d: POP
00000a1e: PUSH1 0x19
00000a20: SLOAD
00000a21: PUSH2 0x056e
00000a24: SWAP1
00000a25: PUSH2 0x0100
00000a28: SWAP1
00000a29: DIV
00000a2a: PUSH1 0xff
00000a2c: AND
00000a2d: DUP2
00000a2e: JUMP
00000a2f: JUMPDEST
00000a30: CALLVALUE
00000a31: DUP1
00000a32: ISZERO
00000a33: PUSH2 0x0a3b
00000a36: JUMPI
00000a37: PUSH1 0x00
00000a39: DUP1
00000a3a: REVERT
00000a3b: JUMPDEST
00000a3c: POP
00000a3d: PUSH1 0x00
00000a3f: SLOAD
00000a40: PUSH1 0x01
00000a42: PUSH1 0x01
00000a44: PUSH1 0xa0
00000a46: SHL
00000a47: SUB
00000a48: AND
00000a49: PUSH2 0x0699
00000a4c: JUMP
00000a4d: JUMPDEST
00000a4e: CALLVALUE
00000a4f: DUP1
00000a50: ISZERO
00000a51: PUSH2 0x0a59
00000a54: JUMPI
00000a55: PUSH1 0x00
00000a57: DUP1
00000a58: REVERT
00000a59: JUMPDEST
00000a5a: POP
00000a5b: PUSH1 0x10
00000a5d: SLOAD
00000a5e: PUSH2 0x056e
00000a61: SWAP1
00000a62: PUSH1 0x01
00000a64: PUSH1 0x40
00000a66: SHL
00000a67: SWAP1
00000a68: DIV
00000a69: PUSH1 0xff
00000a6b: AND
00000a6c: DUP2
00000a6d: JUMP
00000a6e: JUMPDEST
00000a6f: CALLVALUE
00000a70: DUP1
00000a71: ISZERO
00000a72: PUSH2 0x0a7a
00000a75: JUMPI
00000a76: PUSH1 0x00
00000a78: DUP1
00000a79: REVERT
00000a7a: JUMPDEST
00000a7b: POP
00000a7c: PUSH1 0x11
00000a7e: SLOAD
00000a7f: PUSH2 0x0699
00000a82: SWAP1
00000a83: PUSH1 0x01
00000a85: PUSH1 0x01
00000a87: PUSH1 0xa0
00000a89: SHL
00000a8a: SUB
00000a8b: AND
00000a8c: DUP2
00000a8d: JUMP
00000a8e: JUMPDEST
00000a8f: CALLVALUE
00000a90: DUP1
00000a91: ISZERO
00000a92: PUSH2 0x0a9a
00000a95: JUMPI
00000a96: PUSH1 0x00
00000a98: DUP1
00000a99: REVERT
00000a9a: JUMPDEST
00000a9b: POP
00000a9c: PUSH1 0x40
00000a9e: DUP1
00000a9f: MLOAD
00000aa0: DUP1
00000aa1: DUP3
00000aa2: ADD
00000aa3: SWAP1
00000aa4: SWAP2
00000aa5: MSTORE
00000aa6: PUSH1 0x04
00000aa8: DUP2
00000aa9: MSTORE
00000aaa: PUSH4 0x131654d5
00000aaf: PUSH1 0xe2
00000ab1: SHL
00000ab2: PUSH1 0x20
00000ab4: DUP3
00000ab5: ADD
00000ab6: MSTORE
00000ab7: PUSH2 0x0507
00000aba: JUMP
00000abb: JUMPDEST
00000abc: CALLVALUE
00000abd: DUP1
00000abe: ISZERO
00000abf: PUSH2 0x0ac7
00000ac2: JUMPI
00000ac3: PUSH1 0x00
00000ac5: DUP1
00000ac6: REVERT
00000ac7: JUMPDEST
00000ac8: POP
00000ac9: PUSH2 0x0459
00000acc: PUSH2 0x0ad6
00000acf: CALLDATASIZE
00000ad0: PUSH1 0x04
00000ad2: PUSH2 0x2bce
00000ad5: JUMP
00000ad6: JUMPDEST
00000ad7: PUSH2 0x1673
00000ada: JUMP
00000adb: JUMPDEST
00000adc: CALLVALUE
00000add: DUP1
00000ade: ISZERO
00000adf: PUSH2 0x0ae7
00000ae2: JUMPI
00000ae3: PUSH1 0x00
00000ae5: DUP1
00000ae6: REVERT
00000ae7: JUMPDEST
00000ae8: POP
00000ae9: PUSH2 0x0459
00000aec: PUSH2 0x0af6
00000aef: CALLDATASIZE
00000af0: PUSH1 0x04
00000af2: PUSH2 0x2d67
00000af5: JUMP
00000af6: JUMPDEST
00000af7: PUSH2 0x16a3
00000afa: JUMP
00000afb: JUMPDEST
00000afc: CALLVALUE
00000afd: DUP1
00000afe: ISZERO
00000aff: PUSH2 0x0b07
00000b02: JUMPI
00000b03: PUSH1 0x00
00000b05: DUP1
00000b06: REVERT
00000b07: JUMPDEST
00000b08: POP
00000b09: PUSH2 0x0493
00000b0c: PUSH1 0x0c
00000b0e: SLOAD
00000b0f: DUP2
00000b10: JUMP
00000b11: JUMPDEST
00000b12: CALLVALUE
00000b13: DUP1
00000b14: ISZERO
00000b15: PUSH2 0x0b1d
00000b18: JUMPI
00000b19: PUSH1 0x00
00000b1b: DUP1
00000b1c: REVERT
00000b1d: JUMPDEST
00000b1e: POP
00000b1f: PUSH2 0x056e
00000b22: PUSH2 0x0b2c
00000b25: CALLDATASIZE
00000b26: PUSH1 0x04
00000b28: PUSH2 0x2cb2
00000b2b: JUMP
00000b2c: JUMPDEST
00000b2d: PUSH2 0x16e4
00000b30: JUMP
00000b31: JUMPDEST
00000b32: CALLVALUE
00000b33: DUP1
00000b34: ISZERO
00000b35: PUSH2 0x0b3d
00000b38: JUMPI
00000b39: PUSH1 0x00
00000b3b: DUP1
00000b3c: REVERT
00000b3d: JUMPDEST
00000b3e: POP
00000b3f: PUSH2 0x056e
00000b42: PUSH2 0x0b4c
00000b45: CALLDATASIZE
00000b46: PUSH1 0x04
00000b48: PUSH2 0x2cb2
00000b4b: JUMP
00000b4c: JUMPDEST
00000b4d: PUSH2 0x1760
00000b50: JUMP
00000b51: JUMPDEST
00000b52: CALLVALUE
00000b53: DUP1
00000b54: ISZERO
00000b55: PUSH2 0x0b5d
00000b58: JUMPI
00000b59: PUSH1 0x00
00000b5b: DUP1
00000b5c: REVERT
00000b5d: JUMPDEST
00000b5e: POP
00000b5f: PUSH2 0x0459
00000b62: PUSH2 0x0b6c
00000b65: CALLDATASIZE
00000b66: PUSH1 0x04
00000b68: PUSH2 0x2cf7
00000b6b: JUMP
00000b6c: JUMPDEST
00000b6d: PUSH2 0x176d
00000b70: JUMP
00000b71: JUMPDEST
00000b72: CALLVALUE
00000b73: DUP1
00000b74: ISZERO
00000b75: PUSH2 0x0b7d
00000b78: JUMPI
00000b79: PUSH1 0x00
00000b7b: DUP1
00000b7c: REVERT
00000b7d: JUMPDEST
00000b7e: POP
00000b7f: PUSH1 0x14
00000b81: SLOAD
00000b82: PUSH2 0x04c5
00000b85: SWAP1
00000b86: PUSH3 0x010000
00000b8a: SWAP1
00000b8b: DIV
00000b8c: PUSH1 0xff
00000b8e: AND
00000b8f: DUP2
00000b90: JUMP
00000b91: JUMPDEST
00000b92: CALLVALUE
00000b93: DUP1
00000b94: ISZERO
00000b95: PUSH2 0x0b9d
00000b98: JUMPI
00000b99: PUSH1 0x00
00000b9b: DUP1
00000b9c: REVERT
00000b9d: JUMPDEST
00000b9e: POP
00000b9f: PUSH2 0x0507
00000ba2: PUSH1 0x40
00000ba4: MLOAD
00000ba5: DUP1
00000ba6: PUSH1 0x40
00000ba8: ADD
00000ba9: PUSH1 0x40
00000bab: MSTORE
00000bac: DUP1
00000bad: PUSH1 0x04
00000baf: DUP2
00000bb0: MSTORE
00000bb1: PUSH1 0x20
00000bb3: ADD
00000bb4: PUSH4 0x131654d5
00000bb9: PUSH1 0xe2
00000bbb: SHL
00000bbc: DUP2
00000bbd: MSTORE
00000bbe: POP
00000bbf: DUP2
00000bc0: JUMP
00000bc1: JUMPDEST
00000bc2: CALLVALUE
00000bc3: DUP1
00000bc4: ISZERO
00000bc5: PUSH2 0x0bcd
00000bc8: JUMPI
00000bc9: PUSH1 0x00
00000bcb: DUP1
00000bcc: REVERT
00000bcd: JUMPDEST
00000bce: POP
00000bcf: PUSH2 0x0459
00000bd2: PUSH2 0x0bdc
00000bd5: CALLDATASIZE
00000bd6: PUSH1 0x04
00000bd8: PUSH2 0x2cdd
00000bdb: JUMP
00000bdc: JUMPDEST
00000bdd: PUSH2 0x1797
00000be0: JUMP
00000be1: JUMPDEST
00000be2: CALLVALUE
00000be3: DUP1
00000be4: ISZERO
00000be5: PUSH2 0x0bed
00000be8: JUMPI
00000be9: PUSH1 0x00
00000beb: DUP1
00000bec: REVERT
00000bed: JUMPDEST
00000bee: POP
00000bef: PUSH1 0x10
00000bf1: SLOAD
00000bf2: PUSH2 0x04c5
00000bf5: SWAP1
00000bf6: PUSH1 0x01
00000bf8: PUSH1 0x30
00000bfa: SHL
00000bfb: SWAP1
00000bfc: DIV
00000bfd: PUSH1 0xff
00000bff: AND
00000c00: DUP2
00000c01: JUMP
00000c02: JUMPDEST
00000c03: CALLVALUE
00000c04: DUP1
00000c05: ISZERO
00000c06: PUSH2 0x0c0e
00000c09: JUMPI
00000c0a: PUSH1 0x00
00000c0c: DUP1
00000c0d: REVERT
00000c0e: JUMPDEST
00000c0f: POP
00000c10: PUSH2 0x0459
00000c13: PUSH2 0x0c1d
00000c16: CALLDATASIZE
00000c17: PUSH1 0x04
00000c19: PUSH2 0x2cdd
00000c1c: JUMP
00000c1d: JUMPDEST
00000c1e: PUSH2 0x17d6
00000c21: JUMP
00000c22: JUMPDEST
00000c23: CALLVALUE
00000c24: DUP1
00000c25: ISZERO
00000c26: PUSH2 0x0c2e
00000c29: JUMPI
00000c2a: PUSH1 0x00
00000c2c: DUP1
00000c2d: REVERT
00000c2e: JUMPDEST
00000c2f: POP
00000c30: PUSH2 0x0459
00000c33: PUSH2 0x0c3d
00000c36: CALLDATASIZE
00000c37: PUSH1 0x04
00000c39: PUSH2 0x2cf7
00000c3c: JUMP
00000c3d: JUMPDEST
00000c3e: PUSH2 0x180e
00000c41: JUMP
00000c42: JUMPDEST
00000c43: CALLVALUE
00000c44: DUP1
00000c45: ISZERO
00000c46: PUSH2 0x0c4e
00000c49: JUMPI
00000c4a: PUSH1 0x00
00000c4c: DUP1
00000c4d: REVERT
00000c4e: JUMPDEST
00000c4f: POP
00000c50: PUSH2 0x0493
00000c53: PUSH1 0x16
00000c55: SLOAD
00000c56: DUP2
00000c57: JUMP
00000c58: JUMPDEST
00000c59: CALLVALUE
00000c5a: DUP1
00000c5b: ISZERO
00000c5c: PUSH2 0x0c64
00000c5f: JUMPI
00000c60: PUSH1 0x00
00000c62: DUP1
00000c63: REVERT
00000c64: JUMPDEST
00000c65: POP
00000c66: PUSH2 0x0459
00000c69: PUSH2 0x0c73
00000c6c: CALLDATASIZE
00000c6d: PUSH1 0x04
00000c6f: PUSH2 0x2bce
00000c72: JUMP
00000c73: JUMPDEST
00000c74: PUSH2 0x1838
00000c77: JUMP
00000c78: JUMPDEST
00000c79: CALLVALUE
00000c7a: DUP1
00000c7b: ISZERO
00000c7c: PUSH2 0x0c84
00000c7f: JUMPI
00000c80: PUSH1 0x00
00000c82: DUP1
00000c83: REVERT
00000c84: JUMPDEST
00000c85: POP
00000c86: PUSH2 0x0699
00000c89: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00000c9e: DUP2
00000c9f: JUMP
00000ca0: JUMPDEST
00000ca1: CALLVALUE
00000ca2: DUP1
00000ca3: ISZERO
00000ca4: PUSH2 0x0cac
00000ca7: JUMPI
00000ca8: PUSH1 0x00
00000caa: DUP1
00000cab: REVERT
00000cac: JUMPDEST
00000cad: POP
00000cae: PUSH1 0x10
00000cb0: SLOAD
00000cb1: PUSH2 0x04c5
00000cb4: SWAP1
00000cb5: PUSH2 0x0100
00000cb8: SWAP1
00000cb9: DIV
00000cba: PUSH1 0xff
00000cbc: AND
00000cbd: DUP2
00000cbe: JUMP
00000cbf: JUMPDEST
00000cc0: CALLVALUE
00000cc1: DUP1
00000cc2: ISZERO
00000cc3: PUSH2 0x0ccb
00000cc6: JUMPI
00000cc7: PUSH1 0x00
00000cc9: DUP1
00000cca: REVERT
00000ccb: JUMPDEST
00000ccc: POP
00000ccd: PUSH2 0x0493
00000cd0: PUSH1 0x17
00000cd2: SLOAD
00000cd3: DUP2
00000cd4: JUMP
00000cd5: JUMPDEST
00000cd6: CALLVALUE
00000cd7: DUP1
00000cd8: ISZERO
00000cd9: PUSH2 0x0ce1
00000cdc: JUMPI
00000cdd: PUSH1 0x00
00000cdf: DUP1
00000ce0: REVERT
00000ce1: JUMPDEST
00000ce2: POP
00000ce3: PUSH2 0x0cea
00000ce6: PUSH2 0x1868
00000ce9: JUMP
00000cea: JUMPDEST
00000ceb: PUSH1 0x40
00000ced: DUP1
00000cee: MLOAD
00000cef: SWAP3
00000cf0: DUP4
00000cf1: MSTORE
00000cf2: PUSH1 0x20
00000cf4: DUP4
00000cf5: ADD
00000cf6: SWAP2
00000cf7: SWAP1
00000cf8: SWAP2
00000cf9: MSTORE
00000cfa: ADD
00000cfb: PUSH2 0x049d
00000cfe: JUMP
00000cff: JUMPDEST
00000d00: CALLVALUE
00000d01: DUP1
00000d02: ISZERO
00000d03: PUSH2 0x0d0b
00000d06: JUMPI
00000d07: PUSH1 0x00
00000d09: DUP1
00000d0a: REVERT
00000d0b: JUMPDEST
00000d0c: POP
00000d0d: PUSH2 0x0507
00000d10: PUSH1 0x40
00000d12: MLOAD
00000d13: DUP1
00000d14: PUSH1 0x40
00000d16: ADD
00000d17: PUSH1 0x40
00000d19: MSTORE
00000d1a: DUP1
00000d1b: PUSH1 0x0b
00000d1d: DUP2
00000d1e: MSTORE
00000d1f: PUSH1 0x20
00000d21: ADD
00000d22: PUSH11 0x10dc9e5c1d1bc8131e5cdd
00000d2e: PUSH1 0xaa
00000d30: SHL
00000d31: DUP2
00000d32: MSTORE
00000d33: POP
00000d34: DUP2
00000d35: JUMP
00000d36: JUMPDEST
00000d37: CALLVALUE
00000d38: DUP1
00000d39: ISZERO
00000d3a: PUSH2 0x0d42
00000d3d: JUMPI
00000d3e: PUSH1 0x00
00000d40: DUP1
00000d41: REVERT
00000d42: JUMPDEST
00000d43: POP
00000d44: PUSH2 0x0459
00000d47: PUSH2 0x0d51
00000d4a: CALLDATASIZE
00000d4b: PUSH1 0x04
00000d4d: PUSH2 0x2cf7
00000d50: JUMP
00000d51: JUMPDEST
00000d52: PUSH2 0x18a5
00000d55: JUMP
00000d56: JUMPDEST
00000d57: CALLVALUE
00000d58: DUP1
00000d59: ISZERO
00000d5a: PUSH2 0x0d62
00000d5d: JUMPI
00000d5e: PUSH1 0x00
00000d60: DUP1
00000d61: REVERT
00000d62: JUMPDEST
00000d63: POP
00000d64: PUSH2 0x0459
00000d67: PUSH2 0x0d71
00000d6a: CALLDATASIZE
00000d6b: PUSH1 0x04
00000d6d: PUSH2 0x2bce
00000d70: JUMP
00000d71: JUMPDEST
00000d72: PUSH2 0x18e3
00000d75: JUMP
00000d76: JUMPDEST
00000d77: CALLVALUE
00000d78: DUP1
00000d79: ISZERO
00000d7a: PUSH2 0x0d82
00000d7d: JUMPI
00000d7e: PUSH1 0x00
00000d80: DUP1
00000d81: REVERT
00000d82: JUMPDEST
00000d83: POP
00000d84: PUSH2 0x0493
00000d87: PUSH2 0x0d91
00000d8a: CALLDATASIZE
00000d8b: PUSH1 0x04
00000d8d: PUSH2 0x2c06
00000d90: JUMP
00000d91: JUMPDEST
00000d92: PUSH1 0x01
00000d94: PUSH1 0x01
00000d96: PUSH1 0xa0
00000d98: SHL
00000d99: SUB
00000d9a: SWAP2
00000d9b: DUP3
00000d9c: AND
00000d9d: PUSH1 0x00
00000d9f: SWAP1
00000da0: DUP2
00000da1: MSTORE
00000da2: PUSH1 0x02
00000da4: PUSH1 0x20
00000da6: SWAP1
00000da7: DUP2
00000da8: MSTORE
00000da9: PUSH1 0x40
00000dab: DUP1
00000dac: DUP4
00000dad: KECCAK256
00000dae: SWAP4
00000daf: SWAP1
00000db0: SWAP5
00000db1: AND
00000db2: DUP3
00000db3: MSTORE
00000db4: SWAP2
00000db5: SWAP1
00000db6: SWAP2
00000db7: MSTORE
00000db8: KECCAK256
00000db9: SLOAD
00000dba: SWAP1
00000dbb: JUMP
00000dbc: JUMPDEST
00000dbd: CALLVALUE
00000dbe: DUP1
00000dbf: ISZERO
00000dc0: PUSH2 0x0dc8
00000dc3: JUMPI
00000dc4: PUSH1 0x00
00000dc6: DUP1
00000dc7: REVERT
00000dc8: JUMPDEST
00000dc9: POP
00000dca: PUSH2 0x0459
00000dcd: PUSH2 0x0dd7
00000dd0: CALLDATASIZE
00000dd1: PUSH1 0x04
00000dd3: PUSH2 0x2d67
00000dd6: JUMP
00000dd7: JUMPDEST
00000dd8: PUSH2 0x1913
00000ddb: JUMP
00000ddc: JUMPDEST
00000ddd: CALLVALUE
00000dde: DUP1
00000ddf: ISZERO
00000de0: PUSH2 0x0de8
00000de3: JUMPI
00000de4: PUSH1 0x00
00000de6: DUP1
00000de7: REVERT
00000de8: JUMPDEST
00000de9: POP
00000dea: PUSH2 0x0459
00000ded: PUSH2 0x1956
00000df0: JUMP
00000df1: JUMPDEST
00000df2: CALLVALUE
00000df3: DUP1
00000df4: ISZERO
00000df5: PUSH2 0x0dfd
00000df8: JUMPI
00000df9: PUSH1 0x00
00000dfb: DUP1
00000dfc: REVERT
00000dfd: JUMPDEST
00000dfe: POP
00000dff: PUSH1 0x1a
00000e01: SLOAD
00000e02: PUSH2 0x0493
00000e05: JUMP
00000e06: JUMPDEST
00000e07: CALLVALUE
00000e08: DUP1
00000e09: ISZERO
00000e0a: PUSH2 0x0e12
00000e0d: JUMPI
00000e0e: PUSH1 0x00
00000e10: DUP1
00000e11: REVERT
00000e12: JUMPDEST
00000e13: POP
00000e14: PUSH2 0x0459
00000e17: PUSH2 0x0e21
00000e1a: CALLDATASIZE
00000e1b: PUSH1 0x04
00000e1d: PUSH2 0x2bce
00000e20: JUMP
00000e21: JUMPDEST
00000e22: PUSH2 0x198c
00000e25: JUMP
00000e26: JUMPDEST
00000e27: CALLVALUE
00000e28: DUP1
00000e29: ISZERO
00000e2a: PUSH2 0x0e32
00000e2d: JUMPI
00000e2e: PUSH1 0x00
00000e30: DUP1
00000e31: REVERT
00000e32: JUMPDEST
00000e33: POP
00000e34: PUSH2 0x0459
00000e37: PUSH2 0x0e41
00000e3a: CALLDATASIZE
00000e3b: PUSH1 0x04
00000e3d: PUSH2 0x2c7e
00000e40: JUMP
00000e41: JUMPDEST
00000e42: PUSH2 0x1ab5
00000e45: JUMP
00000e46: JUMPDEST
00000e47: CALLVALUE
00000e48: DUP1
00000e49: ISZERO
00000e4a: PUSH2 0x0e52
00000e4d: JUMPI
00000e4e: PUSH1 0x00
00000e50: DUP1
00000e51: REVERT
00000e52: JUMPDEST
00000e53: POP
00000e54: PUSH2 0x0493
00000e57: PUSH1 0x1a
00000e59: SLOAD
00000e5a: DUP2
00000e5b: JUMP
00000e5c: JUMPDEST
00000e5d: CALLVALUE
00000e5e: DUP1
00000e5f: ISZERO
00000e60: PUSH2 0x0e68
00000e63: JUMPI
00000e64: PUSH1 0x00
00000e66: DUP1
00000e67: REVERT
00000e68: JUMPDEST
00000e69: POP
00000e6a: PUSH1 0x10
00000e6c: SLOAD
00000e6d: PUSH1 0x40
00000e6f: DUP1
00000e70: MLOAD
00000e71: PUSH1 0xff
00000e73: PUSH1 0x01
00000e75: PUSH1 0x30
00000e77: SHL
00000e78: DUP5
00000e79: DIV
00000e7a: DUP2
00000e7b: AND
00000e7c: DUP3
00000e7d: MSTORE
00000e7e: PUSH1 0x01
00000e80: PUSH1 0x28
00000e82: SHL
00000e83: DUP5
00000e84: DIV
00000e85: DUP2
00000e86: AND
00000e87: PUSH1 0x20
00000e89: DUP4
00000e8a: ADD
00000e8b: MSTORE
00000e8c: PUSH4 0x01000000
00000e91: DUP5
00000e92: DIV
00000e93: DUP2
00000e94: AND
00000e95: SWAP3
00000e96: DUP3
00000e97: ADD
00000e98: SWAP3
00000e99: SWAP1
00000e9a: SWAP3
00000e9b: MSTORE
00000e9c: PUSH1 0x01
00000e9e: PUSH1 0x20
00000ea0: SHL
00000ea1: DUP4
00000ea2: DIV
00000ea3: DUP3
00000ea4: AND
00000ea5: PUSH1 0x60
00000ea7: DUP3
00000ea8: ADD
00000ea9: MSTORE
00000eaa: DUP2
00000eab: DUP4
00000eac: AND
00000ead: PUSH1 0x80
00000eaf: DUP3
00000eb0: ADD
00000eb1: MSTORE
00000eb2: PUSH2 0x0100
00000eb5: DUP4
00000eb6: DIV
00000eb7: DUP3
00000eb8: AND
00000eb9: PUSH1 0xa0
00000ebb: DUP3
00000ebc: ADD
00000ebd: MSTORE
00000ebe: PUSH3 0x010000
00000ec2: SWAP1
00000ec3: SWAP3
00000ec4: DIV
00000ec5: AND
00000ec6: PUSH1 0xc0
00000ec8: DUP3
00000ec9: ADD
00000eca: MSTORE
00000ecb: PUSH1 0xe0
00000ecd: ADD
00000ece: PUSH2 0x049d
00000ed1: JUMP
00000ed2: JUMPDEST
00000ed3: CALLVALUE
00000ed4: DUP1
00000ed5: ISZERO
00000ed6: PUSH2 0x0ede
00000ed9: JUMPI
00000eda: PUSH1 0x00
00000edc: DUP1
00000edd: REVERT
00000ede: JUMPDEST
00000edf: POP
00000ee0: PUSH2 0x0493
00000ee3: PUSH2 0x0eed
00000ee6: CALLDATASIZE
00000ee7: PUSH1 0x04
00000ee9: PUSH2 0x2bce
00000eec: JUMP
00000eed: JUMPDEST
00000eee: PUSH1 0x03
00000ef0: PUSH1 0x20
00000ef2: MSTORE
00000ef3: PUSH1 0x00
00000ef5: SWAP1
00000ef6: DUP2
00000ef7: MSTORE
00000ef8: PUSH1 0x40
00000efa: SWAP1
00000efb: KECCAK256
00000efc: SLOAD
00000efd: DUP2
00000efe: JUMP
00000eff: JUMPDEST
00000f00: PUSH2 0x0f08
00000f03: CALLER
00000f04: PUSH2 0x1b1a
00000f07: JUMP
00000f08: JUMPDEST
00000f09: PUSH2 0x0f2d
00000f0c: JUMPI
00000f0d: PUSH1 0x40
00000f0f: MLOAD
00000f10: PUSH3 0x461bcd
00000f14: PUSH1 0xe5
00000f16: SHL
00000f17: DUP2
00000f18: MSTORE
00000f19: PUSH1 0x04
00000f1b: ADD
00000f1c: PUSH2 0x0f24
00000f1f: SWAP1
00000f20: PUSH2 0x2e85
00000f23: JUMP
00000f24: JUMPDEST
00000f25: PUSH1 0x40
00000f27: MLOAD
00000f28: DUP1
00000f29: SWAP2
00000f2a: SUB
00000f2b: SWAP1
00000f2c: REVERT
00000f2d: JUMPDEST
00000f2e: PUSH1 0x1b
00000f30: DUP1
00000f31: SLOAD
00000f32: PUSH1 0x01
00000f34: PUSH1 0x01
00000f36: PUSH1 0xa0
00000f38: SHL
00000f39: SUB
00000f3a: SWAP1
00000f3b: SWAP3
00000f3c: AND
00000f3d: PUSH3 0x010000
00000f41: MUL
00000f42: PUSH3 0x010000
00000f46: PUSH1 0x01
00000f48: PUSH1 0xb0
00000f4a: SHL
00000f4b: SUB
00000f4c: NOT
00000f4d: SWAP1
00000f4e: SWAP3
00000f4f: AND
00000f50: SWAP2
00000f51: SWAP1
00000f52: SWAP2
00000f53: OR
00000f54: SWAP1
00000f55: SSTORE
00000f56: JUMP
00000f57: JUMPDEST
00000f58: PUSH1 0x00
00000f5a: PUSH2 0x0f64
00000f5d: CALLER
00000f5e: DUP5
00000f5f: DUP5
00000f60: PUSH2 0x1b51
00000f63: JUMP
00000f64: JUMPDEST
00000f65: POP
00000f66: PUSH1 0x01
00000f68: JUMPDEST
00000f69: SWAP3
00000f6a: SWAP2
00000f6b: POP
00000f6c: POP
00000f6d: JUMP
00000f6e: JUMPDEST
00000f6f: PUSH2 0x0f77
00000f72: CALLER
00000f73: PUSH2 0x1b1a
00000f76: JUMP
00000f77: JUMPDEST
00000f78: PUSH2 0x0f93
00000f7b: JUMPI
00000f7c: PUSH1 0x40
00000f7e: MLOAD
00000f7f: PUSH3 0x461bcd
00000f83: PUSH1 0xe5
00000f85: SHL
00000f86: DUP2
00000f87: MSTORE
00000f88: PUSH1 0x04
00000f8a: ADD
00000f8b: PUSH2 0x0f24
00000f8e: SWAP1
00000f8f: PUSH2 0x2e85
00000f92: JUMP
00000f93: JUMPDEST
00000f94: PUSH1 0x09
00000f96: DUP1
00000f97: SLOAD
00000f98: PUSH1 0xff
00000f9a: NOT
00000f9b: AND
00000f9c: SWAP2
00000f9d: ISZERO
00000f9e: ISZERO
00000f9f: SWAP2
00000fa0: SWAP1
00000fa1: SWAP2
00000fa2: OR
00000fa3: SWAP1
00000fa4: SSTORE
00000fa5: JUMP
00000fa6: JUMPDEST
00000fa7: PUSH1 0x0b
00000fa9: SLOAD
00000faa: PUSH1 0x01
00000fac: PUSH1 0x01
00000fae: PUSH1 0xa0
00000fb0: SHL
00000fb1: SUB
00000fb2: AND
00000fb3: CALLER
00000fb4: EQ
00000fb5: PUSH2 0x0ff1
00000fb8: JUMPI
00000fb9: PUSH1 0x40
00000fbb: MLOAD
00000fbc: PUSH3 0x461bcd
00000fc0: PUSH1 0xe5
00000fc2: SHL
00000fc3: DUP2
00000fc4: MSTORE
00000fc5: PUSH1 0x20
00000fc7: PUSH1 0x04
00000fc9: DUP3
00000fca: ADD
00000fcb: MSTORE
00000fcc: PUSH1 0x0e
00000fce: PUSH1 0x24
00000fd0: DUP3
00000fd1: ADD
00000fd2: MSTORE
00000fd3: PUSH14 0x21b0b63632b9103737ba103232bb
00000fe2: PUSH1 0x91
00000fe4: SHL
00000fe5: PUSH1 0x44
00000fe7: DUP3
00000fe8: ADD
00000fe9: MSTORE
00000fea: PUSH1 0x64
00000fec: ADD
00000fed: PUSH2 0x0f24
00000ff0: JUMP
00000ff1: JUMPDEST
00000ff2: PUSH1 0x17
00000ff4: DUP1
00000ff5: SLOAD
00000ff6: PUSH1 0x00
00000ff8: SWAP2
00000ff9: DUP3
00000ffa: SWAP1
00000ffb: SSTORE
00000ffc: PUSH1 0x40
00000ffe: MLOAD
00000fff: SWAP1
00001000: SWAP2
00001001: CALLER
00001002: SWAP2
00001003: DUP3
00001004: SWAP1
00001005: DUP5
00001006: SWAP1
00001007: JUMPDEST
00001008: PUSH1 0x00
0000100a: PUSH1 0x40
0000100c: MLOAD
0000100d: DUP1
0000100e: DUP4
0000100f: SUB
00001010: DUP2
00001011: DUP6
00001012: DUP8
00001013: GAS
00001014: CALL
00001015: SWAP3
00001016: POP
00001017: POP
00001018: POP
00001019: RETURNDATASIZE
0000101a: DUP1
0000101b: PUSH1 0x00
0000101d: DUP2
0000101e: EQ
0000101f: PUSH2 0x1044
00001022: JUMPI
00001023: PUSH1 0x40
00001025: MLOAD
00001026: SWAP2
00001027: POP
00001028: PUSH1 0x1f
0000102a: NOT
0000102b: PUSH1 0x3f
0000102d: RETURNDATASIZE
0000102e: ADD
0000102f: AND
00001030: DUP3
00001031: ADD
00001032: PUSH1 0x40
00001034: MSTORE
00001035: RETURNDATASIZE
00001036: DUP3
00001037: MSTORE
00001038: RETURNDATASIZE
00001039: PUSH1 0x00
0000103b: PUSH1 0x20
0000103d: DUP5
0000103e: ADD
0000103f: RETURNDATACOPY
00001040: PUSH2 0x1049
00001043: JUMP
00001044: JUMPDEST
00001045: PUSH1 0x60
00001047: SWAP2
00001048: POP
00001049: JUMPDEST
0000104a: POP
0000104b: POP
0000104c: SWAP1
0000104d: POP
0000104e: DUP1
0000104f: PUSH2 0x108c
00001052: JUMPI
00001053: PUSH1 0x40
00001055: MLOAD
00001056: PUSH3 0x461bcd
0000105a: PUSH1 0xe5
0000105c: SHL
0000105d: DUP2
0000105e: MSTORE
0000105f: PUSH1 0x20
00001061: PUSH1 0x04
00001063: DUP3
00001064: ADD
00001065: MSTORE
00001066: PUSH1 0x0f
00001068: PUSH1 0x24
0000106a: DUP3
0000106b: ADD
0000106c: MSTORE
0000106d: PUSH15 0x1dda5d1a191c985dc819985a5b1959
0000107d: PUSH1 0x8a
0000107f: SHL
00001080: PUSH1 0x44
00001082: DUP3
00001083: ADD
00001084: MSTORE
00001085: PUSH1 0x64
00001087: ADD
00001088: PUSH2 0x0f24
0000108b: JUMP
0000108c: JUMPDEST
0000108d: POP
0000108e: POP
0000108f: POP
00001090: JUMP
00001091: JUMPDEST
00001092: PUSH2 0x109d
00001095: PUSH1 0x12
00001097: PUSH1 0x0a
00001099: PUSH2 0x3022
0000109c: JUMP
0000109d: JUMPDEST
0000109e: PUSH2 0x10ad
000010a1: SWAP1
000010a2: PUSH6 0x032ee841b800
000010a9: PUSH2 0x30cd
000010ac: JUMP
000010ad: JUMPDEST
000010ae: DUP2
000010af: JUMP
000010b0: JUMPDEST
000010b1: PUSH1 0x00
000010b3: PUSH2 0x10bd
000010b6: DUP5
000010b7: DUP5
000010b8: DUP5
000010b9: PUSH2 0x1c44
000010bc: JUMP
000010bd: JUMPDEST
000010be: PUSH1 0x01
000010c0: PUSH1 0x01
000010c2: PUSH1 0xa0
000010c4: SHL
000010c5: SUB
000010c6: DUP5
000010c7: AND
000010c8: PUSH1 0x00
000010ca: SWAP1
000010cb: DUP2
000010cc: MSTORE
000010cd: PUSH1 0x02
000010cf: PUSH1 0x20
000010d1: SWAP1
000010d2: DUP2
000010d3: MSTORE
000010d4: PUSH1 0x40
000010d6: DUP1
000010d7: DUP4
000010d8: KECCAK256
000010d9: CALLER
000010da: DUP5
000010db: MSTORE
000010dc: SWAP1
000010dd: SWAP2
000010de: MSTORE
000010df: SWAP1
000010e0: KECCAK256
000010e1: SLOAD
000010e2: DUP3
000010e3: DUP2
000010e4: LT
000010e5: ISZERO
000010e6: PUSH2 0x1128
000010e9: JUMPI
000010ea: PUSH1 0x40
000010ec: MLOAD
000010ed: PUSH3 0x461bcd
000010f1: PUSH1 0xe5
000010f3: SHL
000010f4: DUP2
000010f5: MSTORE
000010f6: PUSH1 0x20
000010f8: PUSH1 0x04
000010fa: DUP3
000010fb: ADD
000010fc: MSTORE
000010fd: PUSH1 0x14
000010ff: PUSH1 0x24
00001101: DUP3
00001102: ADD
00001103: MSTORE
00001104: PUSH20 0x5472616e73666572203e20616c6c6f77616e6365
00001119: PUSH1 0x60
0000111b: SHL
0000111c: PUSH1 0x44
0000111e: DUP3
0000111f: ADD
00001120: MSTORE
00001121: PUSH1 0x64
00001123: ADD
00001124: PUSH2 0x0f24
00001127: JUMP
00001128: JUMPDEST
00001129: PUSH2 0x113c
0000112c: DUP6
0000112d: CALLER
0000112e: PUSH2 0x1137
00001131: DUP7
00001132: DUP6
00001133: PUSH2 0x30ec
00001136: JUMP
00001137: JUMPDEST
00001138: PUSH2 0x1b51
0000113b: JUMP
0000113c: JUMPDEST
0000113d: POP
0000113e: PUSH1 0x01
00001140: SWAP5
00001141: SWAP4
00001142: POP
00001143: POP
00001144: POP
00001145: POP
00001146: JUMP
00001147: JUMPDEST
00001148: CALLER
00001149: PUSH1 0x00
0000114b: DUP2
0000114c: DUP2
0000114d: MSTORE
0000114e: PUSH1 0x02
00001150: PUSH1 0x20
00001152: SWAP1
00001153: DUP2
00001154: MSTORE
00001155: PUSH1 0x40
00001157: DUP1
00001158: DUP4
00001159: KECCAK256
0000115a: PUSH1 0x01
0000115c: PUSH1 0x01
0000115e: PUSH1 0xa0
00001160: SHL
00001161: SUB
00001162: DUP8
00001163: AND
00001164: DUP5
00001165: MSTORE
00001166: SWAP1
00001167: SWAP2
00001168: MSTORE
00001169: DUP2
0000116a: KECCAK256
0000116b: SLOAD
0000116c: SWAP1
0000116d: SWAP2
0000116e: PUSH2 0x0f64
00001171: SWAP2
00001172: DUP6
00001173: SWAP1
00001174: PUSH2 0x1137
00001177: SWAP1
00001178: DUP7
00001179: SWAP1
0000117a: PUSH2 0x2f82
0000117d: JUMP
0000117e: JUMPDEST
0000117f: PUSH2 0x1187
00001182: CALLER
00001183: PUSH2 0x1b1a
00001186: JUMP
00001187: JUMPDEST
00001188: PUSH2 0x11a3
0000118b: JUMPI
0000118c: PUSH1 0x40
0000118e: MLOAD
0000118f: PUSH3 0x461bcd
00001193: PUSH1 0xe5
00001195: SHL
00001196: DUP2
00001197: MSTORE
00001198: PUSH1 0x04
0000119a: ADD
0000119b: PUSH2 0x0f24
0000119e: SWAP1
0000119f: PUSH2 0x2e85
000011a2: JUMP
000011a3: JUMPDEST
000011a4: PUSH1 0x15
000011a6: DUP1
000011a7: SLOAD
000011a8: PUSH1 0x00
000011aa: SWAP2
000011ab: DUP3
000011ac: SWAP1
000011ad: SSTORE
000011ae: PUSH1 0x40
000011b0: MLOAD
000011b1: SWAP1
000011b2: SWAP2
000011b3: PUSH20 0xd489cef6c37cc23b50cdfd13493969fce005c753
000011c8: SWAP2
000011c9: DUP3
000011ca: SWAP1
000011cb: DUP5
000011cc: SWAP1
000011cd: PUSH2 0x1007
000011d0: JUMP
000011d1: JUMPDEST
000011d2: PUSH2 0x11da
000011d5: CALLER
000011d6: PUSH2 0x1b1a
000011d9: JUMP
000011da: JUMPDEST
000011db: PUSH2 0x11f6
000011de: JUMPI
000011df: PUSH1 0x40
000011e1: MLOAD
000011e2: PUSH3 0x461bcd
000011e6: PUSH1 0xe5
000011e8: SHL
000011e9: DUP2
000011ea: MSTORE
000011eb: PUSH1 0x04
000011ed: ADD
000011ee: PUSH2 0x0f24
000011f1: SWAP1
000011f2: PUSH2 0x2e85
000011f5: JUMP
000011f6: JUMPDEST
000011f7: PUSH1 0x10
000011f9: DUP1
000011fa: SLOAD
000011fb: SWAP2
000011fc: ISZERO
000011fd: ISZERO
000011fe: PUSH8 0x0100000000000000
00001207: MUL
00001208: PUSH8 0xff00000000000000
00001211: NOT
00001212: SWAP1
00001213: SWAP3
00001214: AND
00001215: SWAP2
00001216: SWAP1
00001217: SWAP2
00001218: OR
00001219: SWAP1
0000121a: SSTORE
0000121b: JUMP
0000121c: JUMPDEST
0000121d: PUSH2 0x1225
00001220: CALLER
00001221: PUSH2 0x1b1a
00001224: JUMP
00001225: JUMPDEST
00001226: PUSH2 0x1241
00001229: JUMPI
0000122a: PUSH1 0x40
0000122c: MLOAD
0000122d: PUSH3 0x461bcd
00001231: PUSH1 0xe5
00001233: SHL
00001234: DUP2
00001235: MSTORE
00001236: PUSH1 0x04
00001238: ADD
00001239: PUSH2 0x0f24
0000123c: SWAP1
0000123d: PUSH2 0x2e85
00001240: JUMP
00001241: JUMPDEST
00001242: PUSH2 0x124c
00001245: PUSH1 0x06
00001247: DUP3
00001248: PUSH2 0x1b05
0000124b: JUMP
0000124c: JUMPDEST
0000124d: POP
0000124e: POP
0000124f: JUMP
00001250: JUMPDEST
00001251: PUSH1 0x01
00001253: PUSH1 0x01
00001255: PUSH1 0xa0
00001257: SHL
00001258: SUB
00001259: DUP2
0000125a: AND
0000125b: PUSH1 0x00
0000125d: SWAP1
0000125e: DUP2
0000125f: MSTORE
00001260: PUSH1 0x03
00001262: PUSH1 0x20
00001264: MSTORE
00001265: PUSH1 0x40
00001267: DUP2
00001268: KECCAK256
00001269: SLOAD
0000126a: TIMESTAMP
0000126b: DUP2
0000126c: GT
0000126d: PUSH2 0x1279
00001270: JUMPI
00001271: POP
00001272: PUSH1 0x00
00001274: SWAP3
00001275: SWAP2
00001276: POP
00001277: POP
00001278: JUMP
00001279: JUMPDEST
0000127a: PUSH2 0x1283
0000127d: TIMESTAMP
0000127e: DUP3
0000127f: PUSH2 0x30ec
00001282: JUMP
00001283: JUMPDEST
00001284: SWAP4
00001285: SWAP3
00001286: POP
00001287: POP
00001288: POP
00001289: JUMP
0000128a: JUMPDEST
0000128b: PUSH2 0x1293
0000128e: CALLER
0000128f: PUSH2 0x1b1a
00001292: JUMP
00001293: JUMPDEST
00001294: PUSH2 0x12af
00001297: JUMPI
00001298: PUSH1 0x40
0000129a: MLOAD
0000129b: PUSH3 0x461bcd
0000129f: PUSH1 0xe5
000012a1: SHL
000012a2: DUP2
000012a3: MSTORE
000012a4: PUSH1 0x04
000012a6: ADD
000012a7: PUSH2 0x0f24
000012aa: SWAP1
000012ab: PUSH2 0x2e85
000012ae: JUMP
000012af: JUMPDEST
000012b0: PUSH2 0x12bb
000012b3: PUSH1 0x12
000012b5: PUSH1 0x0a
000012b7: PUSH2 0x3022
000012ba: JUMP
000012bb: JUMPDEST
000012bc: PUSH2 0x12c5
000012bf: SWAP1
000012c0: DUP5
000012c1: PUSH2 0x30cd
000012c4: JUMP
000012c5: JUMPDEST
000012c6: SWAP3
000012c7: POP
000012c8: PUSH2 0x12d3
000012cb: PUSH1 0x12
000012cd: PUSH1 0x0a
000012cf: PUSH2 0x3022
000012d2: JUMP
000012d3: JUMPDEST
000012d4: PUSH2 0x12dd
000012d7: SWAP1
000012d8: DUP4
000012d9: PUSH2 0x30cd
000012dc: JUMP
000012dd: JUMPDEST
000012de: SWAP2
000012df: POP
000012e0: PUSH2 0x12eb
000012e3: PUSH1 0x12
000012e5: PUSH1 0x0a
000012e7: PUSH2 0x3022
000012ea: JUMP
000012eb: JUMPDEST
000012ec: PUSH2 0x12f5
000012ef: SWAP1
000012f0: DUP3
000012f1: PUSH2 0x30cd
000012f4: JUMP
000012f5: JUMPDEST
000012f6: SWAP1
000012f7: POP
000012f8: PUSH1 0xc8
000012fa: PUSH2 0x1305
000012fd: PUSH1 0x12
000012ff: PUSH1 0x0a
00001301: PUSH2 0x3022
00001304: JUMP
00001305: JUMPDEST
00001306: PUSH2 0x1315
00001309: SWAP1
0000130a: PUSH6 0x032ee841b800
00001311: PUSH2 0x30cd
00001314: JUMP
00001315: JUMPDEST
00001316: PUSH2 0x131f
00001319: SWAP2
0000131a: SWAP1
0000131b: PUSH2 0x2fbf
0000131e: JUMP
0000131f: JUMPDEST
00001320: DUP2
00001321: LT
00001322: ISZERO
00001323: PUSH2 0x133e
00001326: JUMPI
00001327: PUSH1 0x40
00001329: MLOAD
0000132a: PUSH3 0x461bcd
0000132e: PUSH1 0xe5
00001330: SHL
00001331: DUP2
00001332: MSTORE
00001333: PUSH1 0x04
00001335: ADD
00001336: PUSH2 0x0f24
00001339: SWAP1
0000133a: PUSH2 0x2edb
0000133d: JUMP
0000133e: JUMPDEST
0000133f: PUSH1 0xc8
00001341: PUSH2 0x134c
00001344: PUSH1 0x12
00001346: PUSH1 0x0a
00001348: PUSH2 0x3022
0000134b: JUMP
0000134c: JUMPDEST
0000134d: PUSH2 0x135c
00001350: SWAP1
00001351: PUSH6 0x032ee841b800
00001358: PUSH2 0x30cd
0000135b: JUMP
0000135c: JUMPDEST
0000135d: PUSH2 0x1366
00001360: SWAP2
00001361: SWAP1
00001362: PUSH2 0x2fbf
00001365: JUMP
00001366: JUMPDEST
00001367: DUP3
00001368: LT
00001369: ISZERO
0000136a: PUSH2 0x1385
0000136d: JUMPI
0000136e: PUSH1 0x40
00001370: MLOAD
00001371: PUSH3 0x461bcd
00001375: PUSH1 0xe5
00001377: SHL
00001378: DUP2
00001379: MSTORE
0000137a: PUSH1 0x04
0000137c: ADD
0000137d: PUSH2 0x0f24
00001380: SWAP1
00001381: PUSH2 0x2edb
00001384: JUMP
00001385: JUMPDEST
00001386: PUSH1 0xc8
00001388: PUSH2 0x1393
0000138b: PUSH1 0x12
0000138d: PUSH1 0x0a
0000138f: PUSH2 0x3022
00001392: JUMP
00001393: JUMPDEST
00001394: PUSH2 0x13a3
00001397: SWAP1
00001398: PUSH6 0x032ee841b800
0000139f: PUSH2 0x30cd
000013a2: JUMP
000013a3: JUMPDEST
000013a4: PUSH2 0x13ad
000013a7: SWAP2
000013a8: SWAP1
000013a9: PUSH2 0x2fbf
000013ac: JUMP
000013ad: JUMPDEST
000013ae: DUP4
000013af: LT
000013b0: ISZERO
000013b1: PUSH2 0x13cc
000013b4: JUMPI
000013b5: PUSH1 0x40
000013b7: MLOAD
000013b8: PUSH3 0x461bcd
000013bc: PUSH1 0xe5
000013be: SHL
000013bf: DUP2
000013c0: MSTORE
000013c1: PUSH1 0x04
000013c3: ADD
000013c4: PUSH2 0x0f24
000013c7: SWAP1
000013c8: PUSH2 0x2edb
000013cb: JUMP
000013cc: JUMPDEST
000013cd: PUSH1 0x0f
000013cf: SWAP3
000013d0: SWAP1
000013d1: SWAP3
000013d2: SSTORE
000013d3: PUSH1 0x0d
000013d5: SSTORE
000013d6: PUSH1 0x0e
000013d8: SSTORE
000013d9: JUMP
000013da: JUMPDEST
000013db: PUSH2 0x13e3
000013de: CALLER
000013df: PUSH2 0x1b1a
000013e2: JUMP
000013e3: JUMPDEST
000013e4: PUSH2 0x13ff
000013e7: JUMPI
000013e8: PUSH1 0x40
000013ea: MLOAD
000013eb: PUSH3 0x461bcd
000013ef: PUSH1 0xe5
000013f1: SHL
000013f2: DUP2
000013f3: MSTORE
000013f4: PUSH1 0x04
000013f6: ADD
000013f7: PUSH2 0x0f24
000013fa: SWAP1
000013fb: PUSH2 0x2e85
000013fe: JUMP
000013ff: JUMPDEST
00001400: PUSH1 0x14
00001402: DUP1
00001403: SLOAD
00001404: PUSH1 0xff
00001406: NOT
00001407: AND
00001408: PUSH1 0xff
0000140a: SWAP3
0000140b: SWAP1
0000140c: SWAP3
0000140d: AND
0000140e: SWAP2
0000140f: SWAP1
00001410: SWAP2
00001411: OR
00001412: SWAP1
00001413: SSTORE
00001414: JUMP
00001415: JUMPDEST
00001416: CALLER
00001417: PUSH2 0x1428
0000141a: PUSH1 0x00
0000141c: SLOAD
0000141d: PUSH1 0x01
0000141f: PUSH1 0x01
00001421: PUSH1 0xa0
00001423: SHL
00001424: SUB
00001425: AND
00001426: SWAP1
00001427: JUMP
00001428: JUMPDEST
00001429: PUSH1 0x01
0000142b: PUSH1 0x01
0000142d: PUSH1 0xa0
0000142f: SHL
00001430: SUB
00001431: AND
00001432: EQ
00001433: PUSH2 0x147e
00001436: JUMPI
00001437: PUSH1 0x40
00001439: MLOAD
0000143a: PUSH3 0x461bcd
0000143e: PUSH1 0xe5
00001440: SHL
00001441: DUP2
00001442: MSTORE
00001443: PUSH1 0x20
00001445: PUSH1 0x04
00001447: DUP3
00001448: ADD
00001449: DUP2
0000144a: SWAP1
0000144b: MSTORE
0000144c: PUSH1 0x24
0000144e: DUP3
0000144f: ADD
00001450: MSTORE
00001451: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001472: PUSH1 0x44
00001474: DUP3
00001475: ADD
00001476: MSTORE
00001477: PUSH1 0x64
00001479: ADD
0000147a: PUSH2 0x0f24
0000147d: JUMP
0000147e: JUMPDEST
0000147f: PUSH1 0x00
00001481: DUP1
00001482: SLOAD
00001483: PUSH1 0x40
00001485: MLOAD
00001486: PUSH1 0x01
00001488: PUSH1 0x01
0000148a: PUSH1 0xa0
0000148c: SHL
0000148d: SUB
0000148e: SWAP1
0000148f: SWAP2
00001490: AND
00001491: SWAP1
00001492: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000014b3: SWAP1
000014b4: DUP4
000014b5: SWAP1
000014b6: LOG3
000014b7: PUSH1 0x00
000014b9: DUP1
000014ba: SLOAD
000014bb: PUSH1 0x01
000014bd: PUSH1 0x01
000014bf: PUSH1 0xa0
000014c1: SHL
000014c2: SUB
000014c3: NOT
000014c4: AND
000014c5: SWAP1
000014c6: SSTORE
000014c7: JUMP
000014c8: JUMPDEST
000014c9: PUSH2 0x14d1
000014cc: CALLER
000014cd: PUSH2 0x1b1a
000014d0: JUMP
000014d1: JUMPDEST
000014d2: PUSH2 0x14ed
000014d5: JUMPI
000014d6: PUSH1 0x40
000014d8: MLOAD
000014d9: PUSH3 0x461bcd
000014dd: PUSH1 0xe5
000014df: SHL
000014e0: DUP2
000014e1: MSTORE
000014e2: PUSH1 0x04
000014e4: ADD
000014e5: PUSH2 0x0f24
000014e8: SWAP1
000014e9: PUSH2 0x2e85
000014ec: JUMP
000014ed: JUMPDEST
000014ee: PUSH1 0x0f
000014f0: DUP4
000014f1: PUSH1 0xff
000014f3: AND
000014f4: GT
000014f5: ISZERO
000014f6: PUSH2 0x1511
000014f9: JUMPI
000014fa: PUSH1 0x40
000014fc: MLOAD
000014fd: PUSH3 0x461bcd
00001501: PUSH1 0xe5
00001503: SHL
00001504: DUP2
00001505: MSTORE
00001506: PUSH1 0x04
00001508: ADD
00001509: PUSH2 0x0f24
0000150c: SWAP1
0000150d: PUSH2 0x2e59
00001510: JUMP
00001511: JUMPDEST
00001512: PUSH1 0x0f
00001514: DUP3
00001515: PUSH1 0xff
00001517: AND
00001518: GT
00001519: ISZERO
0000151a: PUSH2 0x1535
0000151d: JUMPI
0000151e: PUSH1 0x40
00001520: MLOAD
00001521: PUSH3 0x461bcd
00001525: PUSH1 0xe5
00001527: SHL
00001528: DUP2
00001529: MSTORE
0000152a: PUSH1 0x04
0000152c: ADD
0000152d: PUSH2 0x0f24
00001530: SWAP1
00001531: PUSH2 0x2e59
00001534: JUMP
00001535: JUMPDEST
00001536: PUSH1 0x0f
00001538: DUP2
00001539: PUSH1 0xff
0000153b: AND
0000153c: GT
0000153d: ISZERO
0000153e: PUSH2 0x1559
00001541: JUMPI
00001542: PUSH1 0x40
00001544: MLOAD
00001545: PUSH3 0x461bcd
00001549: PUSH1 0xe5
0000154b: SHL
0000154c: DUP2
0000154d: MSTORE
0000154e: PUSH1 0x04
00001550: ADD
00001551: PUSH2 0x0f24
00001554: SWAP1
00001555: PUSH2 0x2e59
00001558: JUMP
00001559: JUMPDEST
0000155a: PUSH1 0x00
0000155c: DUP5
0000155d: DUP7
0000155e: PUSH2 0x1567
00001561: DUP10
00001562: DUP12
00001563: PUSH2 0x2f9a
00001566: JUMP
00001567: JUMPDEST
00001568: PUSH2 0x1571
0000156b: SWAP2
0000156c: SWAP1
0000156d: PUSH2 0x2f9a
00001570: JUMP
00001571: JUMPDEST
00001572: PUSH2 0x157b
00001575: SWAP2
00001576: SWAP1
00001577: PUSH2 0x2f9a
0000157a: JUMP
0000157b: JUMPDEST
0000157c: SWAP1
0000157d: POP
0000157e: DUP1
0000157f: PUSH1 0xff
00001581: AND
00001582: PUSH1 0x64
00001584: EQ
00001585: PUSH2 0x15df
00001588: JUMPI
00001589: PUSH1 0x40
0000158b: MLOAD
0000158c: PUSH3 0x461bcd
00001590: PUSH1 0xe5
00001592: SHL
00001593: DUP2
00001594: MSTORE
00001595: PUSH1 0x20
00001597: PUSH1 0x04
00001599: DUP3
0000159a: ADD
0000159b: MSTORE
0000159c: PUSH1 0x26
0000159e: PUSH1 0x24
000015a0: DUP3
000015a1: ADD
000015a2: MSTORE
000015a3: PUSH32 0x6275726e2b6c69712b6d61726b6574696e67206e6565647320746f2065717561
000015c4: PUSH1 0x44
000015c6: DUP3
000015c7: ADD
000015c8: MSTORE
000015c9: PUSH6 0x6c2031303025
000015d0: PUSH1 0xd0
000015d2: SHL
000015d3: PUSH1 0x64
000015d5: DUP3
000015d6: ADD
000015d7: MSTORE
000015d8: PUSH1 0x84
000015da: ADD
000015db: PUSH2 0x0f24
000015de: JUMP
000015df: JUMPDEST
000015e0: POP
000015e1: PUSH1 0x10
000015e3: DUP1
000015e4: SLOAD
000015e5: PUSH1 0xff
000015e7: SWAP3
000015e8: DUP4
000015e9: AND
000015ea: PUSH3 0x010000
000015ee: MUL
000015ef: PUSH3 0xff0000
000015f3: NOT
000015f4: SWAP5
000015f5: DUP5
000015f6: AND
000015f7: PUSH2 0x0100
000015fa: MUL
000015fb: PUSH2 0xffff
000015fe: NOT
000015ff: SWAP8
00001600: DUP6
00001601: AND
00001602: PUSH1 0x01
00001604: PUSH1 0x20
00001606: SHL
00001607: MUL
00001608: PUSH5 0xff00000000
0000160e: NOT
0000160f: SWAP10
00001610: DUP7
00001611: AND
00001612: PUSH4 0x01000000
00001617: MUL
00001618: SWAP10
00001619: SWAP1
0000161a: SWAP10
0000161b: AND
0000161c: PUSH5 0xffff000000
00001622: NOT
00001623: SWAP11
00001624: DUP7
00001625: AND
00001626: PUSH1 0x01
00001628: PUSH1 0x28
0000162a: SHL
0000162b: MUL
0000162c: PUSH6 0xff0000000000
00001633: NOT
00001634: SWAP13
00001635: DUP8
00001636: AND
00001637: PUSH1 0x01
00001639: PUSH1 0x30
0000163b: SHL
0000163c: MUL
0000163d: SWAP13
0000163e: SWAP1
0000163f: SWAP13
00001640: AND
00001641: PUSH7 0xffff0000000000
00001649: NOT
0000164a: SWAP1
0000164b: SWAP5
0000164c: AND
0000164d: SWAP4
0000164e: SWAP1
0000164f: SWAP4
00001650: OR
00001651: SWAP11
00001652: SWAP1
00001653: SWAP11
00001654: OR
00001655: SWAP9
00001656: SWAP1
00001657: SWAP9
00001658: AND
00001659: OR
0000165a: SWAP6
0000165b: SWAP1
0000165c: SWAP6
0000165d: OR
0000165e: SWAP4
0000165f: SWAP1
00001660: SWAP4
00001661: AND
00001662: SWAP2
00001663: SWAP1
00001664: SWAP3
00001665: AND
00001666: OR
00001667: SWAP4
00001668: SWAP1
00001669: SWAP4
0000166a: OR
0000166b: SWAP3
0000166c: SWAP1
0000166d: SWAP3
0000166e: AND
0000166f: OR
00001670: SWAP1
00001671: SSTORE
00001672: JUMP
00001673: JUMPDEST
00001674: PUSH2 0x167c
00001677: CALLER
00001678: PUSH2 0x1b1a
0000167b: JUMP
0000167c: JUMPDEST
0000167d: PUSH2 0x1698
00001680: JUMPI
00001681: PUSH1 0x40
00001683: MLOAD
00001684: PUSH3 0x461bcd
00001688: PUSH1 0xe5
0000168a: SHL
0000168b: DUP2
0000168c: MSTORE
0000168d: PUSH1 0x04
0000168f: ADD
00001690: PUSH2 0x0f24
00001693: SWAP1
00001694: PUSH2 0x2e85
00001697: JUMP
00001698: JUMPDEST
00001699: PUSH2 0x124c
0000169c: PUSH1 0x04
0000169e: DUP3
0000169f: PUSH2 0x1fa1
000016a2: JUMP
000016a3: JUMPDEST
000016a4: PUSH2 0x16ac
000016a7: CALLER
000016a8: PUSH2 0x1b1a
000016ab: JUMP
000016ac: JUMPDEST
000016ad: PUSH2 0x16c8
000016b0: JUMPI
000016b1: PUSH1 0x40
000016b3: MLOAD
000016b4: PUSH3 0x461bcd
000016b8: PUSH1 0xe5
000016ba: SHL
000016bb: DUP2
000016bc: MSTORE
000016bd: PUSH1 0x04
000016bf: ADD
000016c0: PUSH2 0x0f24
000016c3: SWAP1
000016c4: PUSH2 0x2e85
000016c7: JUMP
000016c8: JUMPDEST
000016c9: PUSH1 0x14
000016cb: DUP1
000016cc: SLOAD
000016cd: PUSH1 0xff
000016cf: SWAP1
000016d0: SWAP3
000016d1: AND
000016d2: PUSH2 0x0100
000016d5: MUL
000016d6: PUSH2 0xff00
000016d9: NOT
000016da: SWAP1
000016db: SWAP3
000016dc: AND
000016dd: SWAP2
000016de: SWAP1
000016df: SWAP2
000016e0: OR
000016e1: SWAP1
000016e2: SSTORE
000016e3: JUMP
000016e4: JUMPDEST
000016e5: CALLER
000016e6: PUSH1 0x00
000016e8: SWAP1
000016e9: DUP2
000016ea: MSTORE
000016eb: PUSH1 0x02
000016ed: PUSH1 0x20
000016ef: SWAP1
000016f0: DUP2
000016f1: MSTORE
000016f2: PUSH1 0x40
000016f4: DUP1
000016f5: DUP4
000016f6: KECCAK256
000016f7: PUSH1 0x01
000016f9: PUSH1 0x01
000016fb: PUSH1 0xa0
000016fd: SHL
000016fe: SUB
000016ff: DUP7
00001700: AND
00001701: DUP5
00001702: MSTORE
00001703: SWAP1
00001704: SWAP2
00001705: MSTORE
00001706: DUP2
00001707: KECCAK256
00001708: SLOAD
00001709: DUP3
0000170a: DUP2
0000170b: LT
0000170c: ISZERO
0000170d: PUSH2 0x1747
00001710: JUMPI
00001711: PUSH1 0x40
00001713: MLOAD
00001714: PUSH3 0x461bcd
00001718: PUSH1 0xe5
0000171a: SHL
0000171b: DUP2
0000171c: MSTORE
0000171d: PUSH1 0x20
0000171f: PUSH1 0x04
00001721: DUP3
00001722: ADD
00001723: MSTORE
00001724: PUSH1 0x0c
00001726: PUSH1 0x24
00001728: DUP3
00001729: ADD
0000172a: MSTORE
0000172b: PUSH12 0x3c3020616c6c6f77616e6365
00001738: PUSH1 0xa0
0000173a: SHL
0000173b: PUSH1 0x44
0000173d: DUP3
0000173e: ADD
0000173f: MSTORE
00001740: PUSH1 0x64
00001742: ADD
00001743: PUSH2 0x0f24
00001746: JUMP
00001747: JUMPDEST
00001748: PUSH2 0x1756
0000174b: CALLER
0000174c: DUP6
0000174d: PUSH2 0x1137
00001750: DUP7
00001751: DUP6
00001752: PUSH2 0x30ec
00001755: JUMP
00001756: JUMPDEST
00001757: POP
00001758: PUSH1 0x01
0000175a: SWAP4
0000175b: SWAP3
0000175c: POP
0000175d: POP
0000175e: POP
0000175f: JUMP
00001760: JUMPDEST
00001761: PUSH1 0x00
00001763: PUSH2 0x0f64
00001766: CALLER
00001767: DUP5
00001768: DUP5
00001769: PUSH2 0x1c44
0000176c: JUMP
0000176d: JUMPDEST
0000176e: PUSH2 0x1776
00001771: CALLER
00001772: PUSH2 0x1b1a
00001775: JUMP
00001776: JUMPDEST
00001777: PUSH2 0x1792
0000177a: JUMPI
0000177b: PUSH1 0x40
0000177d: MLOAD
0000177e: PUSH3 0x461bcd
00001782: PUSH1 0xe5
00001784: SHL
00001785: DUP2
00001786: MSTORE
00001787: PUSH1 0x04
00001789: ADD
0000178a: PUSH2 0x0f24
0000178d: SWAP1
0000178e: PUSH2 0x2e85
00001791: JUMP
00001792: JUMPDEST
00001793: PUSH1 0x1a
00001795: SSTORE
00001796: JUMP
00001797: JUMPDEST
00001798: PUSH2 0x17a0
0000179b: CALLER
0000179c: PUSH2 0x1b1a
0000179f: JUMP
000017a0: JUMPDEST
000017a1: PUSH2 0x17bc
000017a4: JUMPI
000017a5: PUSH1 0x40
000017a7: MLOAD
000017a8: PUSH3 0x461bcd
000017ac: PUSH1 0xe5
000017ae: SHL
000017af: DUP2
000017b0: MSTORE
000017b1: PUSH1 0x04
000017b3: ADD
000017b4: PUSH2 0x0f24
000017b7: SWAP1
000017b8: PUSH2 0x2e85
000017bb: JUMP
000017bc: JUMPDEST
000017bd: PUSH1 0x19
000017bf: DUP1
000017c0: SLOAD
000017c1: SWAP2
000017c2: ISZERO
000017c3: ISZERO
000017c4: PUSH2 0x0100
000017c7: MUL
000017c8: PUSH2 0xff00
000017cb: NOT
000017cc: SWAP1
000017cd: SWAP3
000017ce: AND
000017cf: SWAP2
000017d0: SWAP1
000017d1: SWAP2
000017d2: OR
000017d3: SWAP1
000017d4: SSTORE
000017d5: JUMP
000017d6: JUMPDEST
000017d7: PUSH2 0x17df
000017da: CALLER
000017db: PUSH2 0x1b1a
000017de: JUMP
000017df: JUMPDEST
000017e0: PUSH2 0x17fb
000017e3: JUMPI
000017e4: PUSH1 0x40
000017e6: MLOAD
000017e7: PUSH3 0x461bcd
000017eb: PUSH1 0xe5
000017ed: SHL
000017ee: DUP2
000017ef: MSTORE
000017f0: PUSH1 0x04
000017f2: ADD
000017f3: PUSH2 0x0f24
000017f6: SWAP1
000017f7: PUSH2 0x2e85
000017fa: JUMP
000017fb: JUMPDEST
000017fc: PUSH1 0x1b
000017fe: DUP1
000017ff: SLOAD
00001800: PUSH1 0xff
00001802: NOT
00001803: AND
00001804: SWAP2
00001805: ISZERO
00001806: ISZERO
00001807: SWAP2
00001808: SWAP1
00001809: SWAP2
0000180a: OR
0000180b: SWAP1
0000180c: SSTORE
0000180d: JUMP
0000180e: JUMPDEST
0000180f: PUSH2 0x1817
00001812: CALLER
00001813: PUSH2 0x1b1a
00001816: JUMP
00001817: JUMPDEST
00001818: PUSH2 0x1833
0000181b: JUMPI
0000181c: PUSH1 0x40
0000181e: MLOAD
0000181f: PUSH3 0x461bcd
00001823: PUSH1 0xe5
00001825: SHL
00001826: DUP2
00001827: MSTORE
00001828: PUSH1 0x04
0000182a: ADD
0000182b: PUSH2 0x0f24
0000182e: SWAP1
0000182f: PUSH2 0x2e85
00001832: JUMP
00001833: JUMPDEST
00001834: PUSH1 0x08
00001836: SSTORE
00001837: JUMP
00001838: JUMPDEST
00001839: PUSH2 0x1841
0000183c: CALLER
0000183d: PUSH2 0x1b1a
00001840: JUMP
00001841: JUMPDEST
00001842: PUSH2 0x185d
00001845: JUMPI
00001846: PUSH1 0x40
00001848: MLOAD
00001849: PUSH3 0x461bcd
0000184d: PUSH1 0xe5
0000184f: SHL
00001850: DUP2
00001851: MSTORE
00001852: PUSH1 0x04
00001854: ADD
00001855: PUSH2 0x0f24
00001858: SWAP1
00001859: PUSH2 0x2e85
0000185c: JUMP
0000185d: JUMPDEST
0000185e: PUSH2 0x124c
00001861: PUSH1 0x04
00001863: DUP3
00001864: PUSH2 0x1b05
00001867: JUMP
00001868: JUMPDEST
00001869: PUSH1 0x00
0000186b: DUP1
0000186c: PUSH2 0x1877
0000186f: PUSH1 0x12
00001871: PUSH1 0x0a
00001873: PUSH2 0x3022
00001876: JUMP
00001877: JUMPDEST
00001878: PUSH1 0x0d
0000187a: SLOAD
0000187b: PUSH2 0x1884
0000187e: SWAP2
0000187f: SWAP1
00001880: PUSH2 0x2fbf
00001883: JUMP
00001884: JUMPDEST
00001885: PUSH2 0x1890
00001888: PUSH1 0x12
0000188a: PUSH1 0x0a
0000188c: PUSH2 0x3022
0000188f: JUMP
00001890: JUMPDEST
00001891: PUSH1 0x0e
00001893: SLOAD
00001894: PUSH2 0x189d
00001897: SWAP2
00001898: SWAP1
00001899: PUSH2 0x2fbf
0000189c: JUMP
0000189d: JUMPDEST
0000189e: SWAP2
0000189f: POP
000018a0: SWAP2
000018a1: POP
000018a2: SWAP1
000018a3: SWAP2
000018a4: JUMP
000018a5: JUMPDEST
000018a6: PUSH2 0x18ae
000018a9: CALLER
000018aa: PUSH2 0x1b1a
000018ad: JUMP
000018ae: JUMPDEST
000018af: PUSH2 0x18ca
000018b2: JUMPI
000018b3: PUSH1 0x40
000018b5: MLOAD
000018b6: PUSH3 0x461bcd
000018ba: PUSH1 0xe5
000018bc: SHL
000018bd: DUP2
000018be: MSTORE
000018bf: PUSH1 0x04
000018c1: ADD
000018c2: PUSH2 0x0f24
000018c5: SWAP1
000018c6: PUSH2 0x2e85
000018c9: JUMP
000018ca: JUMPDEST
000018cb: PUSH2 0x18e0
000018ce: PUSH2 0x18db
000018d1: DUP3
000018d2: PUSH4 0x3b9aca00
000018d7: PUSH2 0x30cd
000018da: JUMP
000018db: JUMPDEST
000018dc: PUSH2 0x1fb6
000018df: JUMP
000018e0: JUMPDEST
000018e1: POP
000018e2: JUMP
000018e3: JUMPDEST
000018e4: PUSH2 0x18ec
000018e7: CALLER
000018e8: PUSH2 0x1b1a
000018eb: JUMP
000018ec: JUMPDEST
000018ed: PUSH2 0x1908
000018f0: JUMPI
000018f1: PUSH1 0x40
000018f3: MLOAD
000018f4: PUSH3 0x461bcd
000018f8: PUSH1 0xe5
000018fa: SHL
000018fb: DUP2
000018fc: MSTORE
000018fd: PUSH1 0x04
000018ff: ADD
00001900: PUSH2 0x0f24
00001903: SWAP1
00001904: PUSH2 0x2e85
00001907: JUMP
00001908: JUMPDEST
00001909: PUSH2 0x124c
0000190c: PUSH1 0x06
0000190e: DUP3
0000190f: PUSH2 0x1fa1
00001912: JUMP
00001913: JUMPDEST
00001914: PUSH2 0x191c
00001917: CALLER
00001918: PUSH2 0x1b1a
0000191b: JUMP
0000191c: JUMPDEST
0000191d: PUSH2 0x1938
00001920: JUMPI
00001921: PUSH1 0x40
00001923: MLOAD
00001924: PUSH3 0x461bcd
00001928: PUSH1 0xe5
0000192a: SHL
0000192b: DUP2
0000192c: MSTORE
0000192d: PUSH1 0x04
0000192f: ADD
00001930: PUSH2 0x0f24
00001933: SWAP1
00001934: PUSH2 0x2e85
00001937: JUMP
00001938: JUMPDEST
00001939: PUSH1 0x14
0000193b: DUP1
0000193c: SLOAD
0000193d: PUSH1 0xff
0000193f: SWAP1
00001940: SWAP3
00001941: AND
00001942: PUSH3 0x010000
00001946: MUL
00001947: PUSH3 0xff0000
0000194b: NOT
0000194c: SWAP1
0000194d: SWAP3
0000194e: AND
0000194f: SWAP2
00001950: SWAP1
00001951: SWAP2
00001952: OR
00001953: SWAP1
00001954: SSTORE
00001955: JUMP
00001956: JUMPDEST
00001957: PUSH2 0x195f
0000195a: CALLER
0000195b: PUSH2 0x1b1a
0000195e: JUMP
0000195f: JUMPDEST
00001960: PUSH2 0x197b
00001963: JUMPI
00001964: PUSH1 0x40
00001966: MLOAD
00001967: PUSH3 0x461bcd
0000196b: PUSH1 0xe5
0000196d: SHL
0000196e: DUP2
0000196f: MSTORE
00001970: PUSH1 0x04
00001972: ADD
00001973: PUSH2 0x0f24
00001976: SWAP1
00001977: PUSH2 0x2e85
0000197a: JUMP
0000197b: JUMPDEST
0000197c: PUSH1 0x1b
0000197e: DUP1
0000197f: SLOAD
00001980: PUSH2 0xff00
00001983: NOT
00001984: AND
00001985: PUSH2 0x0100
00001988: OR
00001989: SWAP1
0000198a: SSTORE
0000198b: JUMP
0000198c: JUMPDEST
0000198d: CALLER
0000198e: PUSH2 0x199f
00001991: PUSH1 0x00
00001993: SLOAD
00001994: PUSH1 0x01
00001996: PUSH1 0x01
00001998: PUSH1 0xa0
0000199a: SHL
0000199b: SUB
0000199c: AND
0000199d: SWAP1
0000199e: JUMP
0000199f: JUMPDEST
000019a0: PUSH1 0x01
000019a2: PUSH1 0x01
000019a4: PUSH1 0xa0
000019a6: SHL
000019a7: SUB
000019a8: AND
000019a9: EQ
000019aa: PUSH2 0x19f5
000019ad: JUMPI
000019ae: PUSH1 0x40
000019b0: MLOAD
000019b1: PUSH3 0x461bcd
000019b5: PUSH1 0xe5
000019b7: SHL
000019b8: DUP2
000019b9: MSTORE
000019ba: PUSH1 0x20
000019bc: PUSH1 0x04
000019be: DUP3
000019bf: ADD
000019c0: DUP2
000019c1: SWAP1
000019c2: MSTORE
000019c3: PUSH1 0x24
000019c5: DUP3
000019c6: ADD
000019c7: MSTORE
000019c8: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000019e9: PUSH1 0x44
000019eb: DUP3
000019ec: ADD
000019ed: MSTORE
000019ee: PUSH1 0x64
000019f0: ADD
000019f1: PUSH2 0x0f24
000019f4: JUMP
000019f5: JUMPDEST
000019f6: PUSH1 0x01
000019f8: PUSH1 0x01
000019fa: PUSH1 0xa0
000019fc: SHL
000019fd: SUB
000019fe: DUP2
000019ff: AND
00001a00: PUSH2 0x1a5a
00001a03: JUMPI
00001a04: PUSH1 0x40
00001a06: MLOAD
00001a07: PUSH3 0x461bcd
00001a0b: PUSH1 0xe5
00001a0d: SHL
00001a0e: DUP2
00001a0f: MSTORE
00001a10: PUSH1 0x20
00001a12: PUSH1 0x04
00001a14: DUP3
00001a15: ADD
00001a16: MSTORE
00001a17: PUSH1 0x26
00001a19: PUSH1 0x24
00001a1b: DUP3
00001a1c: ADD
00001a1d: MSTORE
00001a1e: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001a3f: PUSH1 0x44
00001a41: DUP3
00001a42: ADD
00001a43: MSTORE
00001a44: PUSH6 0x646472657373
00001a4b: PUSH1 0xd0
00001a4d: SHL
00001a4e: PUSH1 0x64
00001a50: DUP3
00001a51: ADD
00001a52: MSTORE
00001a53: PUSH1 0x84
00001a55: ADD
00001a56: PUSH2 0x0f24
00001a59: JUMP
00001a5a: JUMPDEST
00001a5b: PUSH1 0x00
00001a5d: DUP1
00001a5e: SLOAD
00001a5f: PUSH1 0x40
00001a61: MLOAD
00001a62: PUSH1 0x01
00001a64: PUSH1 0x01
00001a66: PUSH1 0xa0
00001a68: SHL
00001a69: SUB
00001a6a: DUP1
00001a6b: DUP6
00001a6c: AND
00001a6d: SWAP4
00001a6e: SWAP3
00001a6f: AND
00001a70: SWAP2
00001a71: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001a92: SWAP2
00001a93: LOG3
00001a94: PUSH1 0x00
00001a96: DUP1
00001a97: SLOAD
00001a98: PUSH1 0x01
00001a9a: PUSH1 0x01
00001a9c: PUSH1 0xa0
00001a9e: SHL
00001a9f: SUB
00001aa0: NOT
00001aa1: AND
00001aa2: PUSH1 0x01
00001aa4: PUSH1 0x01
00001aa6: PUSH1 0xa0
00001aa8: SHL
00001aa9: SUB
00001aaa: SWAP3
00001aab: SWAP1
00001aac: SWAP3
00001aad: AND
00001aae: SWAP2
00001aaf: SWAP1
00001ab0: SWAP2
00001ab1: OR
00001ab2: SWAP1
00001ab3: SSTORE
00001ab4: JUMP
00001ab5: JUMPDEST
00001ab6: PUSH2 0x1abe
00001ab9: CALLER
00001aba: PUSH2 0x1b1a
00001abd: JUMP
00001abe: JUMPDEST
00001abf: PUSH2 0x1ada
00001ac2: JUMPI
00001ac3: PUSH1 0x40
00001ac5: MLOAD
00001ac6: PUSH3 0x461bcd
00001aca: PUSH1 0xe5
00001acc: SHL
00001acd: DUP2
00001ace: MSTORE
00001acf: PUSH1 0x04
00001ad1: ADD
00001ad2: PUSH2 0x0f24
00001ad5: SWAP1
00001ad6: PUSH2 0x2e85
00001ad9: JUMP
00001ada: JUMPDEST
00001adb: PUSH1 0x01
00001add: PUSH1 0x01
00001adf: PUSH1 0xa0
00001ae1: SHL
00001ae2: SUB
00001ae3: SWAP2
00001ae4: SWAP1
00001ae5: SWAP2
00001ae6: AND
00001ae7: PUSH1 0x00
00001ae9: SWAP1
00001aea: DUP2
00001aeb: MSTORE
00001aec: PUSH1 0x0a
00001aee: PUSH1 0x20
00001af0: MSTORE
00001af1: PUSH1 0x40
00001af3: SWAP1
00001af4: KECCAK256
00001af5: DUP1
00001af6: SLOAD
00001af7: PUSH1 0xff
00001af9: NOT
00001afa: AND
00001afb: SWAP2
00001afc: ISZERO
00001afd: ISZERO
00001afe: SWAP2
00001aff: SWAP1
00001b00: SWAP2
00001b01: OR
00001b02: SWAP1
00001b03: SSTORE
00001b04: JUMP
00001b05: JUMPDEST
00001b06: PUSH1 0x00
00001b08: PUSH2 0x1283
00001b0b: DUP4
00001b0c: PUSH1 0x01
00001b0e: PUSH1 0x01
00001b10: PUSH1 0xa0
00001b12: SHL
00001b13: SUB
00001b14: DUP5
00001b15: AND
00001b16: PUSH2 0x21b2
00001b19: JUMP
00001b1a: JUMPDEST
00001b1b: PUSH1 0x00
00001b1d: DUP1
00001b1e: SLOAD
00001b1f: PUSH1 0x01
00001b21: PUSH1 0x01
00001b23: PUSH1 0xa0
00001b25: SHL
00001b26: SUB
00001b27: DUP4
00001b28: DUP2
00001b29: AND
00001b2a: SWAP2
00001b2b: AND
00001b2c: EQ
00001b2d: DUP1
00001b2e: PUSH2 0x0f68
00001b31: JUMPI
00001b32: POP
00001b33: POP
00001b34: PUSH1 0x01
00001b36: PUSH1 0x01
00001b38: PUSH1 0xa0
00001b3a: SHL
00001b3b: SUB
00001b3c: AND
00001b3d: PUSH1 0x00
00001b3f: SWAP1
00001b40: DUP2
00001b41: MSTORE
00001b42: PUSH1 0x0a
00001b44: PUSH1 0x20
00001b46: MSTORE
00001b47: PUSH1 0x40
00001b49: SWAP1
00001b4a: KECCAK256
00001b4b: SLOAD
00001b4c: PUSH1 0xff
00001b4e: AND
00001b4f: SWAP1
00001b50: JUMP
00001b51: JUMPDEST
00001b52: PUSH1 0x01
00001b54: PUSH1 0x01
00001b56: PUSH1 0xa0
00001b58: SHL
00001b59: SUB
00001b5a: DUP4
00001b5b: AND
00001b5c: PUSH2 0x1b9b
00001b5f: JUMPI
00001b60: PUSH1 0x40
00001b62: MLOAD
00001b63: PUSH3 0x461bcd
00001b67: PUSH1 0xe5
00001b69: SHL
00001b6a: DUP2
00001b6b: MSTORE
00001b6c: PUSH1 0x20
00001b6e: PUSH1 0x04
00001b70: DUP3
00001b71: ADD
00001b72: MSTORE
00001b73: PUSH1 0x11
00001b75: PUSH1 0x24
00001b77: DUP3
00001b78: ADD
00001b79: MSTORE
00001b7a: PUSH17 0x417070726f76652066726f6d207a65726f
00001b8c: PUSH1 0x78
00001b8e: SHL
00001b8f: PUSH1 0x44
00001b91: DUP3
00001b92: ADD
00001b93: MSTORE
00001b94: PUSH1 0x64
00001b96: ADD
00001b97: PUSH2 0x0f24
00001b9a: JUMP
00001b9b: JUMPDEST
00001b9c: PUSH1 0x01
00001b9e: PUSH1 0x01
00001ba0: PUSH1 0xa0
00001ba2: SHL
00001ba3: SUB
00001ba4: DUP3
00001ba5: AND
00001ba6: PUSH2 0x1be3
00001ba9: JUMPI
00001baa: PUSH1 0x40
00001bac: MLOAD
00001bad: PUSH3 0x461bcd
00001bb1: PUSH1 0xe5
00001bb3: SHL
00001bb4: DUP2
00001bb5: MSTORE
00001bb6: PUSH1 0x20
00001bb8: PUSH1 0x04
00001bba: DUP3
00001bbb: ADD
00001bbc: MSTORE
00001bbd: PUSH1 0x0f
00001bbf: PUSH1 0x24
00001bc1: DUP3
00001bc2: ADD
00001bc3: MSTORE
00001bc4: PUSH15 0x417070726f766520746f207a65726f
00001bd4: PUSH1 0x88
00001bd6: SHL
00001bd7: PUSH1 0x44
00001bd9: DUP3
00001bda: ADD
00001bdb: MSTORE
00001bdc: PUSH1 0x64
00001bde: ADD
00001bdf: PUSH2 0x0f24
00001be2: JUMP
00001be3: JUMPDEST
00001be4: PUSH1 0x01
00001be6: PUSH1 0x01
00001be8: PUSH1 0xa0
00001bea: SHL
00001beb: SUB
00001bec: DUP4
00001bed: DUP2
00001bee: AND
00001bef: PUSH1 0x00
00001bf1: DUP2
00001bf2: DUP2
00001bf3: MSTORE
00001bf4: PUSH1 0x02
00001bf6: PUSH1 0x20
00001bf8: SWAP1
00001bf9: DUP2
00001bfa: MSTORE
00001bfb: PUSH1 0x40
00001bfd: DUP1
00001bfe: DUP4
00001bff: KECCAK256
00001c00: SWAP5
00001c01: DUP8
00001c02: AND
00001c03: DUP1
00001c04: DUP5
00001c05: MSTORE
00001c06: SWAP5
00001c07: DUP3
00001c08: MSTORE
00001c09: SWAP2
00001c0a: DUP3
00001c0b: SWAP1
00001c0c: KECCAK256
00001c0d: DUP6
00001c0e: SWAP1
00001c0f: SSTORE
00001c10: SWAP1
00001c11: MLOAD
00001c12: DUP5
00001c13: DUP2
00001c14: MSTORE
00001c15: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001c36: SWAP2
00001c37: ADD
00001c38: PUSH1 0x40
00001c3a: MLOAD
00001c3b: DUP1
00001c3c: SWAP2
00001c3d: SUB
00001c3e: SWAP1
00001c3f: LOG3
00001c40: POP
00001c41: POP
00001c42: POP
00001c43: JUMP
00001c44: JUMPDEST
00001c45: PUSH1 0x01
00001c47: PUSH1 0x01
00001c49: PUSH1 0xa0
00001c4b: SHL
00001c4c: SUB
00001c4d: DUP4
00001c4e: AND
00001c4f: PUSH2 0x1c8f
00001c52: JUMPI
00001c53: PUSH1 0x40
00001c55: MLOAD
00001c56: PUSH3 0x461bcd
00001c5a: PUSH1 0xe5
00001c5c: SHL
00001c5d: DUP2
00001c5e: MSTORE
00001c5f: PUSH1 0x20
00001c61: PUSH1 0x04
00001c63: DUP3
00001c64: ADD
00001c65: MSTORE
00001c66: PUSH1 0x12
00001c68: PUSH1 0x24
00001c6a: DUP3
00001c6b: ADD
00001c6c: MSTORE
00001c6d: PUSH18 0x5472616e736665722066726f6d207a65726f
00001c80: PUSH1 0x70
00001c82: SHL
00001c83: PUSH1 0x44
00001c85: DUP3
00001c86: ADD
00001c87: MSTORE
00001c88: PUSH1 0x64
00001c8a: ADD
00001c8b: PUSH2 0x0f24
00001c8e: JUMP
00001c8f: JUMPDEST
00001c90: PUSH1 0x01
00001c92: PUSH1 0x01
00001c94: PUSH1 0xa0
00001c96: SHL
00001c97: SUB
00001c98: DUP3
00001c99: AND
00001c9a: PUSH2 0x1cd8
00001c9d: JUMPI
00001c9e: PUSH1 0x40
00001ca0: MLOAD
00001ca1: PUSH3 0x461bcd
00001ca5: PUSH1 0xe5
00001ca7: SHL
00001ca8: DUP2
00001ca9: MSTORE
00001caa: PUSH1 0x20
00001cac: PUSH1 0x04
00001cae: DUP3
00001caf: ADD
00001cb0: MSTORE
00001cb1: PUSH1 0x10
00001cb3: PUSH1 0x24
00001cb5: DUP3
00001cb6: ADD
00001cb7: MSTORE
00001cb8: PUSH16 0x5472616e7366657220746f207a65726f
00001cc9: PUSH1 0x80
00001ccb: SHL
00001ccc: PUSH1 0x44
00001cce: DUP3
00001ccf: ADD
00001cd0: MSTORE
00001cd1: PUSH1 0x64
00001cd3: ADD
00001cd4: PUSH2 0x0f24
00001cd7: JUMP
00001cd8: JUMPDEST
00001cd9: PUSH1 0x00
00001cdb: PUSH2 0x1ce5
00001cde: PUSH1 0x04
00001ce0: DUP6
00001ce1: PUSH2 0x2201
00001ce4: JUMP
00001ce5: JUMPDEST
00001ce6: DUP1
00001ce7: PUSH2 0x1cf6
00001cea: JUMPI
00001ceb: POP
00001cec: PUSH2 0x1cf6
00001cef: PUSH1 0x04
00001cf1: DUP5
00001cf2: PUSH2 0x2201
00001cf5: JUMP
00001cf6: JUMPDEST
00001cf7: DUP1
00001cf8: PUSH2 0x1d19
00001cfb: JUMPI
00001cfc: POP
00001cfd: PUSH1 0x01
00001cff: PUSH1 0x01
00001d01: PUSH1 0xa0
00001d03: SHL
00001d04: SUB
00001d05: DUP5
00001d06: AND
00001d07: PUSH1 0x00
00001d09: SWAP1
00001d0a: DUP2
00001d0b: MSTORE
00001d0c: PUSH1 0x0a
00001d0e: PUSH1 0x20
00001d10: MSTORE
00001d11: PUSH1 0x40
00001d13: SWAP1
00001d14: KECCAK256
00001d15: SLOAD
00001d16: PUSH1 0xff
00001d18: AND
00001d19: JUMPDEST
00001d1a: DUP1
00001d1b: PUSH2 0x1d3c
00001d1e: JUMPI
00001d1f: POP
00001d20: PUSH1 0x01
00001d22: PUSH1 0x01
00001d24: PUSH1 0xa0
00001d26: SHL
00001d27: SUB
00001d28: DUP4
00001d29: AND
00001d2a: PUSH1 0x00
00001d2c: SWAP1
00001d2d: DUP2
00001d2e: MSTORE
00001d2f: PUSH1 0x0a
00001d31: PUSH1 0x20
00001d33: MSTORE
00001d34: PUSH1 0x40
00001d36: SWAP1
00001d37: KECCAK256
00001d38: SLOAD
00001d39: PUSH1 0xff
00001d3b: AND
00001d3c: JUMPDEST
00001d3d: SWAP1
00001d3e: POP
00001d3f: PUSH1 0x00
00001d41: PUSH1 0x01
00001d43: PUSH1 0x01
00001d45: PUSH1 0xa0
00001d47: SHL
00001d48: SUB
00001d49: DUP6
00001d4a: AND
00001d4b: ADDRESS
00001d4c: EQ
00001d4d: DUP1
00001d4e: PUSH2 0x1d5f
00001d51: JUMPI
00001d52: POP
00001d53: PUSH1 0x01
00001d55: PUSH1 0x01
00001d57: PUSH1 0xa0
00001d59: SHL
00001d5a: SUB
00001d5b: DUP5
00001d5c: AND
00001d5d: ADDRESS
00001d5e: EQ
00001d5f: JUMPDEST
00001d60: PUSH1 0x10
00001d62: SLOAD
00001d63: SWAP1
00001d64: SWAP2
00001d65: POP
00001d66: PUSH1 0x00
00001d68: SWAP1
00001d69: PUSH1 0x01
00001d6b: PUSH1 0x01
00001d6d: PUSH1 0xa0
00001d6f: SHL
00001d70: SUB
00001d71: DUP8
00001d72: DUP2
00001d73: AND
00001d74: PUSH1 0x01
00001d76: PUSH1 0x48
00001d78: SHL
00001d79: SWAP1
00001d7a: SWAP3
00001d7b: DIV
00001d7c: AND
00001d7d: EQ
00001d7e: DUP1
00001d7f: ISZERO
00001d80: PUSH2 0x1da5
00001d83: JUMPI
00001d84: POP
00001d85: PUSH1 0x01
00001d87: PUSH1 0x01
00001d89: PUSH1 0xa0
00001d8b: SHL
00001d8c: SUB
00001d8d: DUP6
00001d8e: AND
00001d8f: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00001da4: EQ
00001da5: JUMPDEST
00001da6: DUP1
00001da7: PUSH2 0x1deb
00001daa: JUMPI
00001dab: POP
00001dac: PUSH1 0x10
00001dae: SLOAD
00001daf: PUSH1 0x01
00001db1: PUSH1 0x01
00001db3: PUSH1 0xa0
00001db5: SHL
00001db6: SUB
00001db7: DUP7
00001db8: DUP2
00001db9: AND
00001dba: PUSH1 0x01
00001dbc: PUSH1 0x48
00001dbe: SHL
00001dbf: SWAP1
00001dc0: SWAP3
00001dc1: DIV
00001dc2: AND
00001dc3: EQ
00001dc4: DUP1
00001dc5: ISZERO
00001dc6: PUSH2 0x1deb
00001dc9: JUMPI
00001dca: POP
00001dcb: PUSH1 0x01
00001dcd: PUSH1 0x01
00001dcf: PUSH1 0xa0
00001dd1: SHL
00001dd2: SUB
00001dd3: DUP7
00001dd4: AND
00001dd5: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00001dea: EQ
00001deb: JUMPDEST
00001dec: SWAP1
00001ded: POP
00001dee: DUP2
00001def: DUP1
00001df0: PUSH2 0x1df6
00001df3: JUMPI
00001df4: POP
00001df5: DUP1
00001df6: JUMPDEST
00001df7: DUP1
00001df8: PUSH2 0x1dfe
00001dfb: JUMPI
00001dfc: POP
00001dfd: DUP3
00001dfe: JUMPDEST
00001dff: ISZERO
00001e00: PUSH2 0x1e13
00001e03: JUMPI
00001e04: PUSH2 0x1e0e
00001e07: DUP7
00001e08: DUP7
00001e09: DUP7
00001e0a: PUSH2 0x2223
00001e0d: JUMP
00001e0e: JUMPDEST
00001e0f: PUSH2 0x1f99
00001e12: JUMP
00001e13: JUMPDEST
00001e14: PUSH1 0x1b
00001e16: SLOAD
00001e17: PUSH2 0x0100
00001e1a: SWAP1
00001e1b: DIV
00001e1c: PUSH1 0xff
00001e1e: AND
00001e1f: PUSH2 0x1f00
00001e22: JUMPI
00001e23: PUSH1 0x00
00001e25: SLOAD
00001e26: PUSH1 0x01
00001e28: PUSH1 0x01
00001e2a: PUSH1 0xa0
00001e2c: SHL
00001e2d: SUB
00001e2e: DUP8
00001e2f: DUP2
00001e30: AND
00001e31: SWAP2
00001e32: AND
00001e33: EQ
00001e34: DUP1
00001e35: ISZERO
00001e36: SWAP1
00001e37: PUSH2 0x1e4e
00001e3a: JUMPI
00001e3b: POP
00001e3c: PUSH1 0x00
00001e3e: SLOAD
00001e3f: PUSH1 0x01
00001e41: PUSH1 0x01
00001e43: PUSH1 0xa0
00001e45: SHL
00001e46: SUB
00001e47: DUP7
00001e48: DUP2
00001e49: AND
00001e4a: SWAP2
00001e4b: AND
00001e4c: EQ
00001e4d: ISZERO
00001e4e: JUMPDEST
00001e4f: ISZERO
00001e50: PUSH2 0x1f00
00001e53: JUMPI
00001e54: PUSH1 0x10
00001e56: SLOAD
00001e57: PUSH1 0x01
00001e59: PUSH1 0x40
00001e5b: SHL
00001e5c: SWAP1
00001e5d: DIV
00001e5e: PUSH1 0xff
00001e60: AND
00001e61: ISZERO
00001e62: PUSH2 0x1ea9
00001e65: JUMPI
00001e66: DUP5
00001e67: PUSH1 0x01
00001e69: PUSH1 0x01
00001e6b: PUSH1 0xa0
00001e6d: SHL
00001e6e: SUB
00001e6f: AND
00001e70: DUP7
00001e71: PUSH1 0x01
00001e73: PUSH1 0x01
00001e75: PUSH1 0xa0
00001e77: SHL
00001e78: SUB
00001e79: AND
00001e7a: PUSH1 0x00
00001e7c: DUP1
00001e7d: MLOAD
00001e7e: PUSH1 0x20
00001e80: PUSH2 0x312f
00001e83: DUP4
00001e84: CODECOPY
00001e85: DUP2
00001e86: MLOAD
00001e87: SWAP2
00001e88: MSTORE
00001e89: PUSH1 0x00
00001e8b: PUSH1 0x40
00001e8d: MLOAD
00001e8e: PUSH2 0x1e99
00001e91: SWAP2
00001e92: DUP2
00001e93: MSTORE
00001e94: PUSH1 0x20
00001e96: ADD
00001e97: SWAP1
00001e98: JUMP
00001e99: JUMPDEST
00001e9a: PUSH1 0x40
00001e9c: MLOAD
00001e9d: DUP1
00001e9e: SWAP2
00001e9f: SUB
00001ea0: SWAP1
00001ea1: LOG3
00001ea2: POP
00001ea3: POP
00001ea4: POP
00001ea5: POP
00001ea6: POP
00001ea7: POP
00001ea8: JUMP
00001ea9: JUMPDEST
00001eaa: PUSH1 0x1b
00001eac: SLOAD
00001ead: PUSH2 0x0100
00001eb0: SWAP1
00001eb1: DIV
00001eb2: PUSH1 0xff
00001eb4: AND
00001eb5: PUSH2 0x1f00
00001eb8: JUMPI
00001eb9: PUSH1 0x40
00001ebb: MLOAD
00001ebc: PUSH3 0x461bcd
00001ec0: PUSH1 0xe5
00001ec2: SHL
00001ec3: DUP2
00001ec4: MSTORE
00001ec5: PUSH1 0x20
00001ec7: PUSH1 0x04
00001ec9: DUP3
00001eca: ADD
00001ecb: MSTORE
00001ecc: PUSH1 0x17
00001ece: PUSH1 0x24
00001ed0: DUP3
00001ed1: ADD
00001ed2: MSTORE
00001ed3: PUSH32 0x74726164696e67206e6f742079657420656e61626c6564000000000000000000
00001ef4: PUSH1 0x44
00001ef6: DUP3
00001ef7: ADD
00001ef8: MSTORE
00001ef9: PUSH1 0x64
00001efb: ADD
00001efc: PUSH2 0x0f24
00001eff: JUMP
00001f00: JUMPDEST
00001f01: PUSH1 0x10
00001f03: SLOAD
00001f04: PUSH1 0x00
00001f06: SWAP1
00001f07: PUSH1 0x01
00001f09: PUSH1 0x01
00001f0b: PUSH1 0xa0
00001f0d: SHL
00001f0e: SUB
00001f0f: DUP9
00001f10: DUP2
00001f11: AND
00001f12: PUSH1 0x01
00001f14: PUSH1 0x48
00001f16: SHL
00001f17: SWAP1
00001f18: SWAP3
00001f19: DIV
00001f1a: AND
00001f1b: EQ
00001f1c: DUP1
00001f1d: PUSH2 0x1f42
00001f20: JUMPI
00001f21: POP
00001f22: PUSH1 0x01
00001f24: PUSH1 0x01
00001f26: PUSH1 0xa0
00001f28: SHL
00001f29: SUB
00001f2a: DUP8
00001f2b: AND
00001f2c: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00001f41: EQ
00001f42: JUMPDEST
00001f43: PUSH1 0x10
00001f45: SLOAD
00001f46: SWAP1
00001f47: SWAP2
00001f48: POP
00001f49: PUSH1 0x00
00001f4b: SWAP1
00001f4c: PUSH1 0x01
00001f4e: PUSH1 0x01
00001f50: PUSH1 0xa0
00001f52: SHL
00001f53: SUB
00001f54: DUP9
00001f55: DUP2
00001f56: AND
00001f57: PUSH1 0x01
00001f59: PUSH1 0x48
00001f5b: SHL
00001f5c: SWAP1
00001f5d: SWAP3
00001f5e: DIV
00001f5f: AND
00001f60: EQ
00001f61: DUP1
00001f62: PUSH2 0x1f87
00001f65: JUMPI
00001f66: POP
00001f67: PUSH1 0x01
00001f69: PUSH1 0x01
00001f6b: PUSH1 0xa0
00001f6d: SHL
00001f6e: SUB
00001f6f: DUP8
00001f70: AND
00001f71: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00001f86: EQ
00001f87: JUMPDEST
00001f88: SWAP1
00001f89: POP
00001f8a: PUSH2 0x1f96
00001f8d: DUP9
00001f8e: DUP9
00001f8f: DUP9
00001f90: DUP6
00001f91: DUP6
00001f92: PUSH2 0x22dc
00001f95: JUMP
00001f96: JUMPDEST
00001f97: POP
00001f98: POP
00001f99: JUMPDEST
00001f9a: POP
00001f9b: POP
00001f9c: POP
00001f9d: POP
00001f9e: POP
00001f9f: POP
00001fa0: JUMP
00001fa1: JUMPDEST
00001fa2: PUSH1 0x00
00001fa4: PUSH2 0x1283
00001fa7: DUP4
00001fa8: PUSH1 0x01
00001faa: PUSH1 0x01
00001fac: PUSH1 0xa0
00001fae: SHL
00001faf: SUB
00001fb0: DUP5
00001fb1: AND
00001fb2: PUSH2 0x269e
00001fb5: JUMP
00001fb6: JUMPDEST
00001fb7: PUSH1 0x19
00001fb9: DUP1
00001fba: SLOAD
00001fbb: PUSH1 0xff
00001fbd: NOT
00001fbe: AND
00001fbf: PUSH1 0x01
00001fc1: SWAP1
00001fc2: DUP2
00001fc3: OR
00001fc4: SWAP1
00001fc5: SWAP2
00001fc6: SSTORE
00001fc7: ADDRESS
00001fc8: PUSH1 0x00
00001fca: SWAP1
00001fcb: DUP2
00001fcc: MSTORE
00001fcd: PUSH1 0x20
00001fcf: SWAP2
00001fd0: SWAP1
00001fd1: SWAP2
00001fd2: MSTORE
00001fd3: PUSH1 0x40
00001fd5: DUP2
00001fd6: KECCAK256
00001fd7: SLOAD
00001fd8: PUSH1 0x10
00001fda: SLOAD
00001fdb: SWAP1
00001fdc: SWAP2
00001fdd: SWAP1
00001fde: PUSH2 0x1ffb
00001fe1: SWAP1
00001fe2: PUSH1 0x01
00001fe4: PUSH1 0x20
00001fe6: SHL
00001fe7: DUP2
00001fe8: DIV
00001fe9: PUSH1 0xff
00001feb: SWAP1
00001fec: DUP2
00001fed: AND
00001fee: SWAP2
00001fef: PUSH4 0x01000000
00001ff4: SWAP1
00001ff5: DIV
00001ff6: AND
00001ff7: PUSH2 0x2f9a
00001ffa: JUMP
00001ffb: JUMPDEST
00001ffc: PUSH1 0xff
00001ffe: AND
00001fff: SWAP1
00002000: POP
00002001: PUSH1 0x00
00002003: PUSH1 0x08
00002005: SLOAD
00002006: SWAP1
00002007: POP
00002008: DUP4
00002009: DUP2
0000200a: GT
0000200b: ISZERO
0000200c: PUSH2 0x201d
0000200f: JUMPI
00002010: PUSH1 0x09
00002012: SLOAD
00002013: PUSH1 0xff
00002015: AND
00002016: ISZERO
00002017: PUSH2 0x201d
0000201a: JUMPI
0000201b: POP
0000201c: DUP3
0000201d: JUMPDEST
0000201e: DUP1
0000201f: DUP4
00002020: LT
00002021: DUP1
00002022: PUSH2 0x202d
00002025: JUMPI
00002026: POP
00002027: PUSH2 0xffff
0000202a: DUP3
0000202b: AND
0000202c: ISZERO
0000202d: JUMPDEST
0000202e: ISZERO
0000202f: PUSH2 0x203a
00002032: JUMPI
00002033: POP
00002034: POP
00002035: POP
00002036: PUSH2 0x21a5
00002039: JUMP
0000203a: JUMPDEST
0000203b: PUSH1 0x10
0000203d: SLOAD
0000203e: PUSH1 0x00
00002040: SWAP1
00002041: PUSH2 0xffff
00002044: DUP5
00002045: AND
00002046: SWAP1
00002047: PUSH2 0x205a
0000204a: SWAP1
0000204b: PUSH4 0x01000000
00002050: SWAP1
00002051: DIV
00002052: PUSH1 0xff
00002054: AND
00002055: DUP5
00002056: PUSH2 0x30cd
00002059: JUMP
0000205a: JUMPDEST
0000205b: PUSH2 0x2064
0000205e: SWAP2
0000205f: SWAP1
00002060: PUSH2 0x2fbf
00002063: JUMP
00002064: JUMPDEST
00002065: PUSH1 0x10
00002067: SLOAD
00002068: SWAP1
00002069: SWAP2
0000206a: POP
0000206b: PUSH1 0x00
0000206d: SWAP1
0000206e: PUSH2 0xffff
00002071: DUP6
00002072: AND
00002073: SWAP1
00002074: PUSH2 0x2087
00002077: SWAP1
00002078: PUSH1 0x01
0000207a: PUSH1 0x20
0000207c: SHL
0000207d: SWAP1
0000207e: DIV
0000207f: PUSH1 0xff
00002081: AND
00002082: DUP6
00002083: PUSH2 0x30cd
00002086: JUMP
00002087: JUMPDEST
00002088: PUSH2 0x2091
0000208b: SWAP2
0000208c: SWAP1
0000208d: PUSH2 0x2fbf
00002090: JUMP
00002091: JUMPDEST
00002092: PUSH1 0x10
00002094: SLOAD
00002095: SWAP1
00002096: SWAP2
00002097: POP
00002098: PUSH1 0x00
0000209a: SWAP1
0000209b: PUSH2 0xffff
0000209e: DUP7
0000209f: AND
000020a0: SWAP1
000020a1: PUSH2 0x20b4
000020a4: SWAP1
000020a5: PUSH1 0x01
000020a7: PUSH1 0x30
000020a9: SHL
000020aa: SWAP1
000020ab: DIV
000020ac: PUSH1 0xff
000020ae: AND
000020af: DUP7
000020b0: PUSH2 0x30cd
000020b3: JUMP
000020b4: JUMPDEST
000020b5: PUSH2 0x20be
000020b8: SWAP2
000020b9: SWAP1
000020ba: PUSH2 0x2fbf
000020bd: JUMP
000020be: JUMPDEST
000020bf: PUSH1 0x10
000020c1: SLOAD
000020c2: SWAP1
000020c3: SWAP2
000020c4: POP
000020c5: PUSH1 0x00
000020c7: SWAP1
000020c8: PUSH2 0xffff
000020cb: DUP8
000020cc: AND
000020cd: SWAP1
000020ce: PUSH2 0x20e1
000020d1: SWAP1
000020d2: PUSH1 0x01
000020d4: PUSH1 0x28
000020d6: SHL
000020d7: SWAP1
000020d8: DIV
000020d9: PUSH1 0xff
000020db: AND
000020dc: DUP8
000020dd: PUSH2 0x30cd
000020e0: JUMP
000020e1: JUMPDEST
000020e2: PUSH2 0x20eb
000020e5: SWAP2
000020e6: SWAP1
000020e7: PUSH2 0x2fbf
000020ea: JUMP
000020eb: JUMPDEST
000020ec: SWAP1
000020ed: POP
000020ee: DUP1
000020ef: PUSH1 0x16
000020f1: PUSH1 0x00
000020f3: DUP3
000020f4: DUP3
000020f5: SLOAD
000020f6: PUSH2 0x20ff
000020f9: SWAP2
000020fa: SWAP1
000020fb: PUSH2 0x2f82
000020fe: JUMP
000020ff: JUMPDEST
00002100: SWAP1
00002101: SWAP2
00002102: SSTORE
00002103: POP
00002104: PUSH2 0x210e
00002107: SWAP1
00002108: POP
00002109: DUP2
0000210a: PUSH2 0x27b5
0000210d: JUMP
0000210e: JUMPDEST
0000210f: PUSH1 0x00
00002111: PUSH2 0x211b
00002114: PUSH1 0x02
00002116: DUP7
00002117: PUSH2 0x2fbf
0000211a: JUMP
0000211b: JUMPDEST
0000211c: SWAP1
0000211d: POP
0000211e: PUSH1 0x00
00002120: PUSH2 0x2129
00002123: DUP3
00002124: DUP8
00002125: PUSH2 0x30ec
00002128: JUMP
00002129: JUMPDEST
0000212a: SWAP1
0000212b: POP
0000212c: PUSH1 0x00
0000212e: DUP5
0000212f: PUSH2 0x2138
00002132: DUP8
00002133: DUP5
00002134: PUSH2 0x2f82
00002137: JUMP
00002138: JUMPDEST
00002139: PUSH2 0x2142
0000213c: SWAP2
0000213d: SWAP1
0000213e: PUSH2 0x2f82
00002141: JUMP
00002142: JUMPDEST
00002143: SWAP1
00002144: POP
00002145: SELFBALANCE
00002146: PUSH2 0x214e
00002149: DUP3
0000214a: PUSH2 0x2838
0000214d: JUMP
0000214e: JUMPDEST
0000214f: PUSH1 0x00
00002151: PUSH2 0x215a
00002154: DUP3
00002155: SELFBALANCE
00002156: PUSH2 0x30ec
00002159: JUMP
0000215a: JUMPDEST
0000215b: SWAP1
0000215c: POP
0000215d: PUSH1 0x00
0000215f: DUP4
00002160: PUSH2 0x2169
00002163: DUP7
00002164: DUP5
00002165: PUSH2 0x30cd
00002168: JUMP
00002169: JUMPDEST
0000216a: PUSH2 0x2173
0000216d: SWAP2
0000216e: SWAP1
0000216f: PUSH2 0x2fbf
00002172: JUMP
00002173: JUMPDEST
00002174: SWAP1
00002175: POP
00002176: PUSH2 0x217f
00002179: DUP7
0000217a: DUP3
0000217b: PUSH2 0x29b4
0000217e: JUMP
0000217f: JUMPDEST
00002180: PUSH1 0x00
00002182: PUSH2 0x218b
00002185: DUP5
00002186: SELFBALANCE
00002187: PUSH2 0x30ec
0000218a: JUMP
0000218b: JUMPDEST
0000218c: SWAP1
0000218d: POP
0000218e: PUSH2 0x2196
00002191: DUP2
00002192: PUSH2 0x2a8b
00002195: JUMP
00002196: JUMPDEST
00002197: POP
00002198: POP
00002199: POP
0000219a: POP
0000219b: POP
0000219c: POP
0000219d: POP
0000219e: POP
0000219f: POP
000021a0: POP
000021a1: POP
000021a2: POP
000021a3: POP
000021a4: POP
000021a5: JUMPDEST
000021a6: POP
000021a7: PUSH1 0x19
000021a9: DUP1
000021aa: SLOAD
000021ab: PUSH1 0xff
000021ad: NOT
000021ae: AND
000021af: SWAP1
000021b0: SSTORE
000021b1: JUMP
000021b2: JUMPDEST
000021b3: PUSH1 0x00
000021b5: DUP2
000021b6: DUP2
000021b7: MSTORE
000021b8: PUSH1 0x01
000021ba: DUP4
000021bb: ADD
000021bc: PUSH1 0x20
000021be: MSTORE
000021bf: PUSH1 0x40
000021c1: DUP2
000021c2: KECCAK256
000021c3: SLOAD
000021c4: PUSH2 0x21f9
000021c7: JUMPI
000021c8: POP
000021c9: DUP2
000021ca: SLOAD
000021cb: PUSH1 0x01
000021cd: DUP2
000021ce: DUP2
000021cf: ADD
000021d0: DUP5
000021d1: SSTORE
000021d2: PUSH1 0x00
000021d4: DUP5
000021d5: DUP2
000021d6: MSTORE
000021d7: PUSH1 0x20
000021d9: DUP1
000021da: DUP3
000021db: KECCAK256
000021dc: SWAP1
000021dd: SWAP4
000021de: ADD
000021df: DUP5
000021e0: SWAP1
000021e1: SSTORE
000021e2: DUP5
000021e3: SLOAD
000021e4: DUP5
000021e5: DUP3
000021e6: MSTORE
000021e7: DUP3
000021e8: DUP7
000021e9: ADD
000021ea: SWAP1
000021eb: SWAP4
000021ec: MSTORE
000021ed: PUSH1 0x40
000021ef: SWAP1
000021f0: KECCAK256
000021f1: SWAP2
000021f2: SWAP1
000021f3: SWAP2
000021f4: SSTORE
000021f5: PUSH2 0x0f68
000021f8: JUMP
000021f9: JUMPDEST
000021fa: POP
000021fb: PUSH1 0x00
000021fd: PUSH2 0x0f68
00002200: JUMP
00002201: JUMPDEST
00002202: PUSH1 0x01
00002204: PUSH1 0x01
00002206: PUSH1 0xa0
00002208: SHL
00002209: SUB
0000220a: DUP2
0000220b: AND
0000220c: PUSH1 0x00
0000220e: SWAP1
0000220f: DUP2
00002210: MSTORE
00002211: PUSH1 0x01
00002213: DUP4
00002214: ADD
00002215: PUSH1 0x20
00002217: MSTORE
00002218: PUSH1 0x40
0000221a: DUP2
0000221b: KECCAK256
0000221c: SLOAD
0000221d: ISZERO
0000221e: ISZERO
0000221f: PUSH2 0x1283
00002222: JUMP
00002223: JUMPDEST
00002224: PUSH1 0x01
00002226: PUSH1 0x01
00002228: PUSH1 0xa0
0000222a: SHL
0000222b: SUB
0000222c: DUP4
0000222d: AND
0000222e: PUSH1 0x00
00002230: SWAP1
00002231: DUP2
00002232: MSTORE
00002233: PUSH1 0x01
00002235: PUSH1 0x20
00002237: MSTORE
00002238: PUSH1 0x40
0000223a: SWAP1
0000223b: KECCAK256
0000223c: SLOAD
0000223d: DUP2
0000223e: DUP2
0000223f: LT
00002240: ISZERO
00002241: PUSH2 0x2287
00002244: JUMPI
00002245: PUSH1 0x40
00002247: MLOAD
00002248: PUSH3 0x461bcd
0000224c: PUSH1 0xe5
0000224e: SHL
0000224f: DUP2
00002250: MSTORE
00002251: PUSH1 0x20
00002253: PUSH1 0x04
00002255: DUP3
00002256: ADD
00002257: MSTORE
00002258: PUSH1 0x18
0000225a: PUSH1 0x24
0000225c: DUP3
0000225d: ADD
0000225e: MSTORE
0000225f: PUSH24 0x5472616e7366657220657863656564732062616c616e6365
00002278: PUSH1 0x40
0000227a: SHL
0000227b: PUSH1 0x44
0000227d: DUP3
0000227e: ADD
0000227f: MSTORE
00002280: PUSH1 0x64
00002282: ADD
00002283: PUSH2 0x0f24
00002286: JUMP
00002287: JUMPDEST
00002288: PUSH2 0x2291
0000228b: DUP5
0000228c: DUP4
0000228d: PUSH2 0x2b0b
00002290: JUMP
00002291: JUMPDEST
00002292: PUSH2 0x229b
00002295: DUP4
00002296: DUP4
00002297: PUSH2 0x2b50
0000229a: JUMP
0000229b: JUMPDEST
0000229c: DUP3
0000229d: PUSH1 0x01
0000229f: PUSH1 0x01
000022a1: PUSH1 0xa0
000022a3: SHL
000022a4: SUB
000022a5: AND
000022a6: DUP5
000022a7: PUSH1 0x01
000022a9: PUSH1 0x01
000022ab: PUSH1 0xa0
000022ad: SHL
000022ae: SUB
000022af: AND
000022b0: PUSH1 0x00
000022b2: DUP1
000022b3: MLOAD
000022b4: PUSH1 0x20
000022b6: PUSH2 0x312f
000022b9: DUP4
000022ba: CODECOPY
000022bb: DUP2
000022bc: MLOAD
000022bd: SWAP2
000022be: MSTORE
000022bf: DUP5
000022c0: PUSH1 0x40
000022c2: MLOAD
000022c3: PUSH2 0x22ce
000022c6: SWAP2
000022c7: DUP2
000022c8: MSTORE
000022c9: PUSH1 0x20
000022cb: ADD
000022cc: SWAP1
000022cd: JUMP
000022ce: JUMPDEST
000022cf: PUSH1 0x40
000022d1: MLOAD
000022d2: DUP1
000022d3: SWAP2
000022d4: SUB
000022d5: SWAP1
000022d6: LOG3
000022d7: POP
000022d8: POP
000022d9: POP
000022da: POP
000022db: JUMP
000022dc: JUMPDEST
000022dd: PUSH1 0x01
000022df: PUSH1 0x01
000022e1: PUSH1 0xa0
000022e3: SHL
000022e4: SUB
000022e5: DUP1
000022e6: DUP6
000022e7: AND
000022e8: PUSH1 0x00
000022ea: SWAP1
000022eb: DUP2
000022ec: MSTORE
000022ed: PUSH1 0x01
000022ef: PUSH1 0x20
000022f1: MSTORE
000022f2: PUSH1 0x40
000022f4: DUP1
000022f5: DUP3
000022f6: KECCAK256
000022f7: SLOAD
000022f8: SWAP3
000022f9: DUP9
000022fa: AND
000022fb: DUP3
000022fc: MSTORE
000022fd: SWAP1
000022fe: KECCAK256
000022ff: SLOAD
00002300: DUP5
00002301: DUP2
00002302: LT
00002303: ISZERO
00002304: PUSH2 0x234a
00002307: JUMPI
00002308: PUSH1 0x40
0000230a: MLOAD
0000230b: PUSH3 0x461bcd
0000230f: PUSH1 0xe5
00002311: SHL
00002312: DUP2
00002313: MSTORE
00002314: PUSH1 0x20
00002316: PUSH1 0x04
00002318: DUP3
00002319: ADD
0000231a: MSTORE
0000231b: PUSH1 0x18
0000231d: PUSH1 0x24
0000231f: DUP3
00002320: ADD
00002321: MSTORE
00002322: PUSH24 0x5472616e7366657220657863656564732062616c616e6365
0000233b: PUSH1 0x40
0000233d: SHL
0000233e: PUSH1 0x44
00002340: DUP3
00002341: ADD
00002342: MSTORE
00002343: PUSH1 0x64
00002345: ADD
00002346: PUSH2 0x0f24
00002349: JUMP
0000234a: JUMPDEST
0000234b: PUSH1 0x02
0000234d: PUSH1 0x0e
0000234f: SLOAD
00002350: PUSH2 0x2359
00002353: SWAP2
00002354: SWAP1
00002355: PUSH2 0x2fbf
00002358: JUMP
00002359: JUMPDEST
0000235a: PUSH1 0x08
0000235c: SSTORE
0000235d: PUSH1 0x00
0000235f: DUP4
00002360: ISZERO
00002361: PUSH2 0x245e
00002364: JUMPI
00002365: PUSH2 0x236f
00002368: PUSH1 0x06
0000236a: DUP10
0000236b: PUSH2 0x2201
0000236e: JUMP
0000236f: JUMPDEST
00002370: PUSH2 0x2409
00002373: JUMPI
00002374: PUSH1 0x01
00002376: PUSH1 0x01
00002378: PUSH1 0xa0
0000237a: SHL
0000237b: SUB
0000237c: DUP9
0000237d: AND
0000237e: PUSH1 0x00
00002380: SWAP1
00002381: DUP2
00002382: MSTORE
00002383: PUSH1 0x03
00002385: PUSH1 0x20
00002387: MSTORE
00002388: PUSH1 0x40
0000238a: SWAP1
0000238b: KECCAK256
0000238c: SLOAD
0000238d: TIMESTAMP
0000238e: LT
0000238f: ISZERO
00002390: DUP1
00002391: PUSH2 0x23a1
00002394: JUMPI
00002395: POP
00002396: PUSH1 0x19
00002398: SLOAD
00002399: PUSH2 0x0100
0000239c: SWAP1
0000239d: DIV
0000239e: PUSH1 0xff
000023a0: AND
000023a1: JUMPDEST
000023a2: PUSH2 0x23e2
000023a5: JUMPI
000023a6: PUSH1 0x40
000023a8: MLOAD
000023a9: PUSH3 0x461bcd
000023ad: PUSH1 0xe5
000023af: SHL
000023b0: DUP2
000023b1: MSTORE
000023b2: PUSH1 0x20
000023b4: PUSH1 0x04
000023b6: DUP3
000023b7: ADD
000023b8: MSTORE
000023b9: PUSH1 0x12
000023bb: PUSH1 0x24
000023bd: DUP3
000023be: ADD
000023bf: MSTORE
000023c0: PUSH18 0x53656c6c657220696e2073656c6c4c6f636b
000023d3: PUSH1 0x70
000023d5: SHL
000023d6: PUSH1 0x44
000023d8: DUP3
000023d9: ADD
000023da: MSTORE
000023db: PUSH1 0x64
000023dd: ADD
000023de: PUSH2 0x0f24
000023e1: JUMP
000023e2: JUMPDEST
000023e3: PUSH1 0x1a
000023e5: SLOAD
000023e6: PUSH2 0x23ef
000023e9: SWAP1
000023ea: TIMESTAMP
000023eb: PUSH2 0x2f82
000023ee: JUMP
000023ef: JUMPDEST
000023f0: PUSH1 0x01
000023f2: PUSH1 0x01
000023f4: PUSH1 0xa0
000023f6: SHL
000023f7: SUB
000023f8: DUP10
000023f9: AND
000023fa: PUSH1 0x00
000023fc: SWAP1
000023fd: DUP2
000023fe: MSTORE
000023ff: PUSH1 0x03
00002401: PUSH1 0x20
00002403: MSTORE
00002404: PUSH1 0x40
00002406: SWAP1
00002407: KECCAK256
00002408: SSTORE
00002409: JUMPDEST
0000240a: PUSH1 0x0e
0000240c: SLOAD
0000240d: DUP7
0000240e: GT
0000240f: ISZERO
00002410: PUSH2 0x244d
00002413: JUMPI
00002414: PUSH1 0x40
00002416: MLOAD
00002417: PUSH3 0x461bcd
0000241b: PUSH1 0xe5
0000241d: SHL
0000241e: DUP2
0000241f: MSTORE
00002420: PUSH1 0x20
00002422: PUSH1 0x04
00002424: DUP3
00002425: ADD
00002426: MSTORE
00002427: PUSH1 0x0f
00002429: PUSH1 0x24
0000242b: DUP3
0000242c: ADD
0000242d: MSTORE
0000242e: PUSH15 0x223ab6b810383937ba32b1ba34b7b7
0000243e: PUSH1 0x89
00002440: SHL
00002441: PUSH1 0x44
00002443: DUP3
00002444: ADD
00002445: MSTORE
00002446: PUSH1 0x64
00002448: ADD
00002449: PUSH2 0x0f24
0000244c: JUMP
0000244d: JUMPDEST
0000244e: POP
0000244f: PUSH1 0x10
00002451: SLOAD
00002452: PUSH2 0x0100
00002455: SWAP1
00002456: DIV
00002457: PUSH1 0xff
00002459: AND
0000245a: PUSH2 0x2570
0000245d: JUMP
0000245e: JUMPDEST
0000245f: DUP5
00002460: ISZERO
00002461: PUSH2 0x24bd
00002464: JUMPI
00002465: PUSH1 0x0d
00002467: SLOAD
00002468: PUSH2 0x2471
0000246b: DUP8
0000246c: DUP6
0000246d: PUSH2 0x2f82
00002470: JUMP
00002471: JUMPDEST
00002472: GT
00002473: ISZERO
00002474: PUSH2 0x248f
00002477: JUMPI
00002478: PUSH1 0x40
0000247a: MLOAD
0000247b: PUSH3 0x461bcd
0000247f: PUSH1 0xe5
00002481: SHL
00002482: DUP2
00002483: MSTORE
00002484: PUSH1 0x04
00002486: ADD
00002487: PUSH2 0x0f24
0000248a: SWAP1
0000248b: PUSH2 0x2eb1
0000248e: JUMP
0000248f: JUMPDEST
00002490: PUSH1 0x0f
00002492: SLOAD
00002493: DUP7
00002494: GT
00002495: ISZERO
00002496: PUSH2 0x24b1
00002499: JUMPI
0000249a: PUSH1 0x40
0000249c: MLOAD
0000249d: PUSH3 0x461bcd
000024a1: PUSH1 0xe5
000024a3: SHL
000024a4: DUP2
000024a5: MSTORE
000024a6: PUSH1 0x04
000024a8: ADD
000024a9: PUSH2 0x0f24
000024ac: SWAP1
000024ad: PUSH2 0x2eb1
000024b0: JUMP
000024b1: JUMPDEST
000024b2: POP
000024b3: PUSH1 0x10
000024b5: SLOAD
000024b6: PUSH1 0xff
000024b8: AND
000024b9: PUSH2 0x2570
000024bc: JUMP
000024bd: JUMPDEST
000024be: PUSH1 0x0d
000024c0: SLOAD
000024c1: PUSH2 0x24ca
000024c4: DUP8
000024c5: DUP6
000024c6: PUSH2 0x2f82
000024c9: JUMP
000024ca: JUMPDEST
000024cb: GT
000024cc: ISZERO
000024cd: PUSH2 0x24e8
000024d0: JUMPI
000024d1: PUSH1 0x40
000024d3: MLOAD
000024d4: PUSH3 0x461bcd
000024d8: PUSH1 0xe5
000024da: SHL
000024db: DUP2
000024dc: MSTORE
000024dd: PUSH1 0x04
000024df: ADD
000024e0: PUSH2 0x0f24
000024e3: SWAP1
000024e4: PUSH2 0x2eb1
000024e7: JUMP
000024e8: JUMPDEST
000024e9: PUSH2 0x24f3
000024ec: PUSH1 0x06
000024ee: DUP10
000024ef: PUSH2 0x2201
000024f2: JUMP
000024f3: JUMPDEST
000024f4: PUSH2 0x2562
000024f7: JUMPI
000024f8: PUSH1 0x01
000024fa: PUSH1 0x01
000024fc: PUSH1 0xa0
000024fe: SHL
000024ff: SUB
00002500: DUP9
00002501: AND
00002502: PUSH1 0x00
00002504: SWAP1
00002505: DUP2
00002506: MSTORE
00002507: PUSH1 0x03
00002509: PUSH1 0x20
0000250b: MSTORE
0000250c: PUSH1 0x40
0000250e: SWAP1
0000250f: KECCAK256
00002510: SLOAD
00002511: TIMESTAMP
00002512: LT
00002513: ISZERO
00002514: DUP1
00002515: PUSH2 0x2525
00002518: JUMPI
00002519: POP
0000251a: PUSH1 0x19
0000251c: SLOAD
0000251d: PUSH2 0x0100
00002520: SWAP1
00002521: DIV
00002522: PUSH1 0xff
00002524: AND
00002525: JUMPDEST
00002526: PUSH2 0x2562
00002529: JUMPI
0000252a: PUSH1 0x40
0000252c: MLOAD
0000252d: PUSH3 0x461bcd
00002531: PUSH1 0xe5
00002533: SHL
00002534: DUP2
00002535: MSTORE
00002536: PUSH1 0x20
00002538: PUSH1 0x04
0000253a: DUP3
0000253b: ADD
0000253c: MSTORE
0000253d: PUSH1 0x0e
0000253f: PUSH1 0x24
00002541: DUP3
00002542: ADD
00002543: MSTORE
00002544: PUSH14 0x53656e64657220696e204c6f636b
00002553: PUSH1 0x90
00002555: SHL
00002556: PUSH1 0x44
00002558: DUP3
00002559: ADD
0000255a: MSTORE
0000255b: PUSH1 0x64
0000255d: ADD
0000255e: PUSH2 0x0f24
00002561: JUMP
00002562: JUMPDEST
00002563: POP
00002564: PUSH1 0x10
00002566: SLOAD
00002567: PUSH3 0x010000
0000256b: SWAP1
0000256c: DIV
0000256d: PUSH1 0xff
0000256f: AND
00002570: JUMPDEST
00002571: PUSH1 0x10
00002573: SLOAD
00002574: PUSH1 0x01
00002576: PUSH1 0x01
00002578: PUSH1 0xa0
0000257a: SHL
0000257b: SUB
0000257c: DUP10
0000257d: DUP2
0000257e: AND
0000257f: PUSH1 0x01
00002581: PUSH1 0x48
00002583: SHL
00002584: SWAP1
00002585: SWAP3
00002586: DIV
00002587: AND
00002588: EQ
00002589: DUP1
0000258a: ISZERO
0000258b: SWAP1
0000258c: PUSH2 0x2598
0000258f: JUMPI
00002590: POP
00002591: PUSH1 0x1b
00002593: SLOAD
00002594: PUSH1 0xff
00002596: AND
00002597: ISZERO
00002598: JUMPDEST
00002599: DUP1
0000259a: ISZERO
0000259b: PUSH2 0x25a7
0000259e: JUMPI
0000259f: POP
000025a0: PUSH1 0x19
000025a2: SLOAD
000025a3: PUSH1 0xff
000025a5: AND
000025a6: ISZERO
000025a7: JUMPDEST
000025a8: ISZERO
000025a9: PUSH2 0x25b5
000025ac: JUMPI
000025ad: PUSH2 0x25b5
000025b0: DUP7
000025b1: PUSH2 0x1fb6
000025b4: JUMP
000025b5: JUMPDEST
000025b6: PUSH1 0x10
000025b8: SLOAD
000025b9: PUSH1 0x00
000025bb: SWAP1
000025bc: PUSH2 0x260e
000025bf: SWAP1
000025c0: DUP9
000025c1: SWAP1
000025c2: DUP5
000025c3: SWAP1
000025c4: PUSH1 0xff
000025c6: PUSH1 0x01
000025c8: PUSH1 0x30
000025ca: SHL
000025cb: DUP3
000025cc: DIV
000025cd: DUP2
000025ce: AND
000025cf: SWAP2
000025d0: PUSH1 0x01
000025d2: PUSH1 0x28
000025d4: SHL
000025d5: DUP2
000025d6: DIV
000025d7: DUP3
000025d8: AND
000025d9: SWAP2
000025da: PUSH2 0x25f5
000025dd: SWAP2
000025de: PUSH4 0x01000000
000025e3: DUP2
000025e4: DIV
000025e5: DUP3
000025e6: AND
000025e7: SWAP2
000025e8: PUSH1 0x01
000025ea: PUSH1 0x20
000025ec: SHL
000025ed: SWAP1
000025ee: SWAP2
000025ef: DIV
000025f0: AND
000025f1: PUSH2 0x2f9a
000025f4: JUMP
000025f5: JUMPDEST
000025f6: PUSH2 0x25ff
000025f9: SWAP2
000025fa: SWAP1
000025fb: PUSH2 0x2f9a
000025fe: JUMP
000025ff: JUMPDEST
00002600: PUSH2 0x2609
00002603: SWAP2
00002604: SWAP1
00002605: PUSH2 0x2f9a
00002608: JUMP
00002609: JUMPDEST
0000260a: PUSH2 0x2b74
0000260d: JUMP
0000260e: JUMPDEST
0000260f: SWAP1
00002610: POP
00002611: PUSH1 0x00
00002613: PUSH2 0x261c
00002616: DUP3
00002617: DUP10
00002618: PUSH2 0x30ec
0000261b: JUMP
0000261c: JUMPDEST
0000261d: SWAP1
0000261e: POP
0000261f: PUSH2 0x2628
00002622: DUP11
00002623: DUP10
00002624: PUSH2 0x2b0b
00002627: JUMP
00002628: JUMPDEST
00002629: ADDRESS
0000262a: PUSH1 0x00
0000262c: SWAP1
0000262d: DUP2
0000262e: MSTORE
0000262f: PUSH1 0x01
00002631: PUSH1 0x20
00002633: MSTORE
00002634: PUSH1 0x40
00002636: DUP2
00002637: KECCAK256
00002638: DUP1
00002639: SLOAD
0000263a: DUP5
0000263b: SWAP3
0000263c: SWAP1
0000263d: PUSH2 0x2647
00002640: SWAP1
00002641: DUP5
00002642: SWAP1
00002643: PUSH2 0x2f82
00002646: JUMP
00002647: JUMPDEST
00002648: SWAP1
00002649: SWAP2
0000264a: SSTORE
0000264b: POP
0000264c: PUSH2 0x2657
0000264f: SWAP1
00002650: POP
00002651: DUP10
00002652: DUP3
00002653: PUSH2 0x2b50
00002656: JUMP
00002657: JUMPDEST
00002658: DUP9
00002659: PUSH1 0x01
0000265b: PUSH1 0x01
0000265d: PUSH1 0xa0
0000265f: SHL
00002660: SUB
00002661: AND
00002662: DUP11
00002663: PUSH1 0x01
00002665: PUSH1 0x01
00002667: PUSH1 0xa0
00002669: SHL
0000266a: SUB
0000266b: AND
0000266c: PUSH1 0x00
0000266e: DUP1
0000266f: MLOAD
00002670: PUSH1 0x20
00002672: PUSH2 0x312f
00002675: DUP4
00002676: CODECOPY
00002677: DUP2
00002678: MLOAD
00002679: SWAP2
0000267a: MSTORE
0000267b: DUP4
0000267c: PUSH1 0x40
0000267e: MLOAD
0000267f: PUSH2 0x268a
00002682: SWAP2
00002683: DUP2
00002684: MSTORE
00002685: PUSH1 0x20
00002687: ADD
00002688: SWAP1
00002689: JUMP
0000268a: JUMPDEST
0000268b: PUSH1 0x40
0000268d: MLOAD
0000268e: DUP1
0000268f: SWAP2
00002690: SUB
00002691: SWAP1
00002692: LOG3
00002693: POP
00002694: POP
00002695: POP
00002696: POP
00002697: POP
00002698: POP
00002699: POP
0000269a: POP
0000269b: POP
0000269c: POP
0000269d: JUMP
0000269e: JUMPDEST
0000269f: PUSH1 0x00
000026a1: DUP2
000026a2: DUP2
000026a3: MSTORE
000026a4: PUSH1 0x01
000026a6: DUP4
000026a7: ADD
000026a8: PUSH1 0x20
000026aa: MSTORE
000026ab: PUSH1 0x40
000026ad: DUP2
000026ae: KECCAK256
000026af: SLOAD
000026b0: DUP1
000026b1: ISZERO
000026b2: PUSH2 0x27ab
000026b5: JUMPI
000026b6: PUSH1 0x00
000026b8: PUSH2 0x26c2
000026bb: PUSH1 0x01
000026bd: DUP4
000026be: PUSH2 0x30ec
000026c1: JUMP
000026c2: JUMPDEST
000026c3: DUP6
000026c4: SLOAD
000026c5: SWAP1
000026c6: SWAP2
000026c7: POP
000026c8: PUSH1 0x00
000026ca: SWAP1
000026cb: PUSH2 0x26d6
000026ce: SWAP1
000026cf: PUSH1 0x01
000026d1: SWAP1
000026d2: PUSH2 0x30ec
000026d5: JUMP
000026d6: JUMPDEST
000026d7: SWAP1
000026d8: POP
000026d9: PUSH1 0x00
000026db: DUP7
000026dc: PUSH1 0x00
000026de: ADD
000026df: DUP3
000026e0: DUP2
000026e1: SLOAD
000026e2: DUP2
000026e3: LT
000026e4: PUSH2 0x26fd
000026e7: JUMPI
000026e8: PUSH4 0x4e487b71
000026ed: PUSH1 0xe0
000026ef: SHL
000026f0: PUSH1 0x00
000026f2: MSTORE
000026f3: PUSH1 0x32
000026f5: PUSH1 0x04
000026f7: MSTORE
000026f8: PUSH1 0x24
000026fa: PUSH1 0x00
000026fc: REVERT
000026fd: JUMPDEST
000026fe: SWAP1
000026ff: PUSH1 0x00
00002701: MSTORE
00002702: PUSH1 0x20
00002704: PUSH1 0x00
00002706: KECCAK256
00002707: ADD
00002708: SLOAD
00002709: SWAP1
0000270a: POP
0000270b: DUP1
0000270c: DUP8
0000270d: PUSH1 0x00
0000270f: ADD
00002710: DUP5
00002711: DUP2
00002712: SLOAD
00002713: DUP2
00002714: LT
00002715: PUSH2 0x272e
00002718: JUMPI
00002719: PUSH4 0x4e487b71
0000271e: PUSH1 0xe0
00002720: SHL
00002721: PUSH1 0x00
00002723: MSTORE
00002724: PUSH1 0x32
00002726: PUSH1 0x04
00002728: MSTORE
00002729: PUSH1 0x24
0000272b: PUSH1 0x00
0000272d: REVERT
0000272e: JUMPDEST
0000272f: PUSH1 0x00
00002731: SWAP2
00002732: DUP3
00002733: MSTORE
00002734: PUSH1 0x20
00002736: DUP1
00002737: DUP4
00002738: KECCAK256
00002739: SWAP1
0000273a: SWAP2
0000273b: ADD
0000273c: SWAP3
0000273d: SWAP1
0000273e: SWAP3
0000273f: SSTORE
00002740: DUP3
00002741: DUP2
00002742: MSTORE
00002743: PUSH1 0x01
00002745: DUP10
00002746: ADD
00002747: SWAP1
00002748: SWAP2
00002749: MSTORE
0000274a: PUSH1 0x40
0000274c: SWAP1
0000274d: KECCAK256
0000274e: DUP5
0000274f: SWAP1
00002750: SSTORE
00002751: DUP7
00002752: SLOAD
00002753: DUP8
00002754: SWAP1
00002755: DUP1
00002756: PUSH2 0x276f
00002759: JUMPI
0000275a: PUSH4 0x4e487b71
0000275f: PUSH1 0xe0
00002761: SHL
00002762: PUSH1 0x00
00002764: MSTORE
00002765: PUSH1 0x31
00002767: PUSH1 0x04
00002769: MSTORE
0000276a: PUSH1 0x24
0000276c: PUSH1 0x00
0000276e: REVERT
0000276f: JUMPDEST
00002770: PUSH1 0x01
00002772: SWAP1
00002773: SUB
00002774: DUP2
00002775: DUP2
00002776: SWAP1
00002777: PUSH1 0x00
00002779: MSTORE
0000277a: PUSH1 0x20
0000277c: PUSH1 0x00
0000277e: KECCAK256
0000277f: ADD
00002780: PUSH1 0x00
00002782: SWAP1
00002783: SSTORE
00002784: SWAP1
00002785: SSTORE
00002786: DUP7
00002787: PUSH1 0x01
00002789: ADD
0000278a: PUSH1 0x00
0000278c: DUP8
0000278d: DUP2
0000278e: MSTORE
0000278f: PUSH1 0x20
00002791: ADD
00002792: SWAP1
00002793: DUP2
00002794: MSTORE
00002795: PUSH1 0x20
00002797: ADD
00002798: PUSH1 0x00
0000279a: KECCAK256
0000279b: PUSH1 0x00
0000279d: SWAP1
0000279e: SSTORE
0000279f: PUSH1 0x01
000027a1: SWAP5
000027a2: POP
000027a3: POP
000027a4: POP
000027a5: POP
000027a6: POP
000027a7: PUSH2 0x0f68
000027aa: JUMP
000027ab: JUMPDEST
000027ac: PUSH1 0x00
000027ae: SWAP2
000027af: POP
000027b0: POP
000027b1: PUSH2 0x0f68
000027b4: JUMP
000027b5: JUMPDEST
000027b6: ADDRESS
000027b7: PUSH1 0x00
000027b9: SWAP1
000027ba: DUP2
000027bb: MSTORE
000027bc: PUSH1 0x01
000027be: PUSH1 0x20
000027c0: MSTORE
000027c1: PUSH1 0x40
000027c3: SWAP1
000027c4: KECCAK256
000027c5: SLOAD
000027c6: DUP2
000027c7: GT
000027c8: ISZERO
000027c9: PUSH2 0x27d1
000027cc: JUMPI
000027cd: PUSH1 0x00
000027cf: DUP1
000027d0: REVERT
000027d1: JUMPDEST
000027d2: ADDRESS
000027d3: PUSH1 0x00
000027d5: SWAP1
000027d6: DUP2
000027d7: MSTORE
000027d8: PUSH1 0x01
000027da: PUSH1 0x20
000027dc: MSTORE
000027dd: PUSH1 0x40
000027df: DUP2
000027e0: KECCAK256
000027e1: DUP1
000027e2: SLOAD
000027e3: DUP4
000027e4: SWAP3
000027e5: SWAP1
000027e6: PUSH2 0x27f0
000027e9: SWAP1
000027ea: DUP5
000027eb: SWAP1
000027ec: PUSH2 0x30ec
000027ef: JUMP
000027f0: JUMPDEST
000027f1: SWAP3
000027f2: POP
000027f3: POP
000027f4: DUP2
000027f5: SWAP1
000027f6: SSTORE
000027f7: POP
000027f8: DUP1
000027f9: PUSH1 0x0c
000027fb: PUSH1 0x00
000027fd: DUP3
000027fe: DUP3
000027ff: SLOAD
00002800: PUSH2 0x2809
00002803: SWAP2
00002804: SWAP1
00002805: PUSH2 0x30ec
00002808: JUMP
00002809: JUMPDEST
0000280a: SWAP1
0000280b: SWAP2
0000280c: SSTORE
0000280d: POP
0000280e: POP
0000280f: PUSH1 0x40
00002811: MLOAD
00002812: DUP2
00002813: DUP2
00002814: MSTORE
00002815: PUSH2 0xdead
00002818: SWAP1
00002819: ADDRESS
0000281a: SWAP1
0000281b: PUSH1 0x00
0000281d: DUP1
0000281e: MLOAD
0000281f: PUSH1 0x20
00002821: PUSH2 0x312f
00002824: DUP4
00002825: CODECOPY
00002826: DUP2
00002827: MLOAD
00002828: SWAP2
00002829: MSTORE
0000282a: SWAP1
0000282b: PUSH1 0x20
0000282d: ADD
0000282e: PUSH1 0x40
00002830: MLOAD
00002831: DUP1
00002832: SWAP2
00002833: SUB
00002834: SWAP1
00002835: LOG3
00002836: POP
00002837: JUMP
00002838: JUMPDEST
00002839: PUSH1 0x11
0000283b: SLOAD
0000283c: PUSH2 0x2850
0000283f: SWAP1
00002840: ADDRESS
00002841: SWAP1
00002842: PUSH1 0x01
00002844: PUSH1 0x01
00002846: PUSH1 0xa0
00002848: SHL
00002849: SUB
0000284a: AND
0000284b: DUP4
0000284c: PUSH2 0x1b51
0000284f: JUMP
00002850: JUMPDEST
00002851: PUSH1 0x40
00002853: DUP1
00002854: MLOAD
00002855: PUSH1 0x02
00002857: DUP1
00002858: DUP3
00002859: MSTORE
0000285a: PUSH1 0x60
0000285c: DUP3
0000285d: ADD
0000285e: DUP4
0000285f: MSTORE
00002860: PUSH1 0x00
00002862: SWAP3
00002863: PUSH1 0x20
00002865: DUP4
00002866: ADD
00002867: SWAP1
00002868: DUP1
00002869: CALLDATASIZE
0000286a: DUP4
0000286b: CALLDATACOPY
0000286c: ADD
0000286d: SWAP1
0000286e: POP
0000286f: POP
00002870: SWAP1
00002871: POP
00002872: ADDRESS
00002873: DUP2
00002874: PUSH1 0x00
00002876: DUP2
00002877: MLOAD
00002878: DUP2
00002879: LT
0000287a: PUSH2 0x2893
0000287d: JUMPI
0000287e: PUSH4 0x4e487b71
00002883: PUSH1 0xe0
00002885: SHL
00002886: PUSH1 0x00
00002888: MSTORE
00002889: PUSH1 0x32
0000288b: PUSH1 0x04
0000288d: MSTORE
0000288e: PUSH1 0x24
00002890: PUSH1 0x00
00002892: REVERT
00002893: JUMPDEST
00002894: PUSH1 0x01
00002896: PUSH1 0x01
00002898: PUSH1 0xa0
0000289a: SHL
0000289b: SUB
0000289c: SWAP3
0000289d: DUP4
0000289e: AND
0000289f: PUSH1 0x20
000028a1: SWAP2
000028a2: DUP3
000028a3: MUL
000028a4: SWAP3
000028a5: SWAP1
000028a6: SWAP3
000028a7: ADD
000028a8: DUP2
000028a9: ADD
000028aa: SWAP2
000028ab: SWAP1
000028ac: SWAP2
000028ad: MSTORE
000028ae: PUSH1 0x11
000028b0: SLOAD
000028b1: PUSH1 0x40
000028b3: DUP1
000028b4: MLOAD
000028b5: PUSH4 0x15ab88c9
000028ba: PUSH1 0xe3
000028bc: SHL
000028bd: DUP2
000028be: MSTORE
000028bf: SWAP1
000028c0: MLOAD
000028c1: SWAP2
000028c2: SWAP1
000028c3: SWAP4
000028c4: AND
000028c5: SWAP3
000028c6: PUSH4 0xad5c4648
000028cb: SWAP3
000028cc: PUSH1 0x04
000028ce: DUP1
000028cf: DUP4
000028d0: ADD
000028d1: SWAP4
000028d2: SWAP2
000028d3: SWAP3
000028d4: DUP3
000028d5: SWAP1
000028d6: SUB
000028d7: ADD
000028d8: DUP2
000028d9: DUP7
000028da: DUP1
000028db: EXTCODESIZE
000028dc: ISZERO
000028dd: DUP1
000028de: ISZERO
000028df: PUSH2 0x28e7
000028e2: JUMPI
000028e3: PUSH1 0x00
000028e5: DUP1
000028e6: REVERT
000028e7: JUMPDEST
000028e8: POP
000028e9: GAS
000028ea: STATICCALL
000028eb: ISZERO
000028ec: DUP1
000028ed: ISZERO
000028ee: PUSH2 0x28fb
000028f1: JUMPI
000028f2: RETURNDATASIZE
000028f3: PUSH1 0x00
000028f5: DUP1
000028f6: RETURNDATACOPY
000028f7: RETURNDATASIZE
000028f8: PUSH1 0x00
000028fa: REVERT
000028fb: JUMPDEST
000028fc: POP
000028fd: POP
000028fe: POP
000028ff: POP
00002900: PUSH1 0x40
00002902: MLOAD
00002903: RETURNDATASIZE
00002904: PUSH1 0x1f
00002906: NOT
00002907: PUSH1 0x1f
00002909: DUP3
0000290a: ADD
0000290b: AND
0000290c: DUP3
0000290d: ADD
0000290e: DUP1
0000290f: PUSH1 0x40
00002911: MSTORE
00002912: POP
00002913: DUP2
00002914: ADD
00002915: SWAP1
00002916: PUSH2 0x291f
00002919: SWAP2
0000291a: SWAP1
0000291b: PUSH2 0x2bea
0000291e: JUMP
0000291f: JUMPDEST
00002920: DUP2
00002921: PUSH1 0x01
00002923: DUP2
00002924: MLOAD
00002925: DUP2
00002926: LT
00002927: PUSH2 0x2940
0000292a: JUMPI
0000292b: PUSH4 0x4e487b71
00002930: PUSH1 0xe0
00002932: SHL
00002933: PUSH1 0x00
00002935: MSTORE
00002936: PUSH1 0x32
00002938: PUSH1 0x04
0000293a: MSTORE
0000293b: PUSH1 0x24
0000293d: PUSH1 0x00
0000293f: REVERT
00002940: JUMPDEST
00002941: PUSH1 0x01
00002943: PUSH1 0x01
00002945: PUSH1 0xa0
00002947: SHL
00002948: SUB
00002949: SWAP3
0000294a: DUP4
0000294b: AND
0000294c: PUSH1 0x20
0000294e: SWAP2
0000294f: DUP3
00002950: MUL
00002951: SWAP3
00002952: SWAP1
00002953: SWAP3
00002954: ADD
00002955: ADD
00002956: MSTORE
00002957: PUSH1 0x11
00002959: SLOAD
0000295a: PUSH1 0x40
0000295c: MLOAD
0000295d: PUSH4 0x791ac947
00002962: PUSH1 0xe0
00002964: SHL
00002965: DUP2
00002966: MSTORE
00002967: SWAP2
00002968: AND
00002969: SWAP1
0000296a: PUSH4 0x791ac947
0000296f: SWAP1
00002970: PUSH2 0x2986
00002973: SWAP1
00002974: DUP6
00002975: SWAP1
00002976: PUSH1 0x00
00002978: SWAP1
00002979: DUP7
0000297a: SWAP1
0000297b: ADDRESS
0000297c: SWAP1
0000297d: TIMESTAMP
0000297e: SWAP1
0000297f: PUSH1 0x04
00002981: ADD
00002982: PUSH2 0x2f12
00002985: JUMP
00002986: JUMPDEST
00002987: PUSH1 0x00
00002989: PUSH1 0x40
0000298b: MLOAD
0000298c: DUP1
0000298d: DUP4
0000298e: SUB
0000298f: DUP2
00002990: PUSH1 0x00
00002992: DUP8
00002993: DUP1
00002994: EXTCODESIZE
00002995: ISZERO
00002996: DUP1
00002997: ISZERO
00002998: PUSH2 0x29a0
0000299b: JUMPI
0000299c: PUSH1 0x00
0000299e: DUP1
0000299f: REVERT
000029a0: JUMPDEST
000029a1: POP
000029a2: GAS
000029a3: CALL
000029a4: ISZERO
000029a5: DUP1
000029a6: ISZERO
000029a7: PUSH2 0x1f99
000029aa: JUMPI
000029ab: RETURNDATASIZE
000029ac: PUSH1 0x00
000029ae: DUP1
000029af: RETURNDATACOPY
000029b0: RETURNDATASIZE
000029b1: PUSH1 0x00
000029b3: REVERT
000029b4: JUMPDEST
000029b5: DUP1
000029b6: PUSH1 0x18
000029b8: PUSH1 0x00
000029ba: DUP3
000029bb: DUP3
000029bc: SLOAD
000029bd: PUSH2 0x29c6
000029c0: SWAP2
000029c1: SWAP1
000029c2: PUSH2 0x2f82
000029c5: JUMP
000029c6: JUMPDEST
000029c7: SWAP1
000029c8: SWAP2
000029c9: SSTORE
000029ca: POP
000029cb: POP
000029cc: PUSH1 0x11
000029ce: SLOAD
000029cf: PUSH2 0x29e3
000029d2: SWAP1
000029d3: ADDRESS
000029d4: SWAP1
000029d5: PUSH1 0x01
000029d7: PUSH1 0x01
000029d9: PUSH1 0xa0
000029db: SHL
000029dc: SUB
000029dd: AND
000029de: DUP5
000029df: PUSH2 0x1b51
000029e2: JUMP
000029e3: JUMPDEST
000029e4: PUSH1 0x11
000029e6: SLOAD
000029e7: PUSH1 0x40
000029e9: MLOAD
000029ea: PUSH4 0xf305d719
000029ef: PUSH1 0xe0
000029f1: SHL
000029f2: DUP2
000029f3: MSTORE
000029f4: ADDRESS
000029f5: PUSH1 0x04
000029f7: DUP3
000029f8: ADD
000029f9: DUP2
000029fa: SWAP1
000029fb: MSTORE
000029fc: PUSH1 0x24
000029fe: DUP3
000029ff: ADD
00002a00: DUP6
00002a01: SWAP1
00002a02: MSTORE
00002a03: PUSH1 0x00
00002a05: PUSH1 0x44
00002a07: DUP4
00002a08: ADD
00002a09: DUP2
00002a0a: SWAP1
00002a0b: MSTORE
00002a0c: PUSH1 0x64
00002a0e: DUP4
00002a0f: ADD
00002a10: MSTORE
00002a11: PUSH1 0x84
00002a13: DUP3
00002a14: ADD
00002a15: MSTORE
00002a16: TIMESTAMP
00002a17: PUSH1 0xa4
00002a19: DUP3
00002a1a: ADD
00002a1b: MSTORE
00002a1c: PUSH1 0x01
00002a1e: PUSH1 0x01
00002a20: PUSH1 0xa0
00002a22: SHL
00002a23: SUB
00002a24: SWAP1
00002a25: SWAP2
00002a26: AND
00002a27: SWAP1
00002a28: PUSH4 0xf305d719
00002a2d: SWAP1
00002a2e: DUP4
00002a2f: SWAP1
00002a30: PUSH1 0xc4
00002a32: ADD
00002a33: PUSH1 0x60
00002a35: PUSH1 0x40
00002a37: MLOAD
00002a38: DUP1
00002a39: DUP4
00002a3a: SUB
00002a3b: DUP2
00002a3c: DUP6
00002a3d: DUP9
00002a3e: DUP1
00002a3f: EXTCODESIZE
00002a40: ISZERO
00002a41: DUP1
00002a42: ISZERO
00002a43: PUSH2 0x2a4b
00002a46: JUMPI
00002a47: PUSH1 0x00
00002a49: DUP1
00002a4a: REVERT
00002a4b: JUMPDEST
00002a4c: POP
00002a4d: GAS
00002a4e: CALL
00002a4f: ISZERO
00002a50: DUP1
00002a51: ISZERO
00002a52: PUSH2 0x2a5f
00002a55: JUMPI
00002a56: RETURNDATASIZE
00002a57: PUSH1 0x00
00002a59: DUP1
00002a5a: RETURNDATACOPY
00002a5b: RETURNDATASIZE
00002a5c: PUSH1 0x00
00002a5e: REVERT
00002a5f: JUMPDEST
00002a60: POP
00002a61: POP
00002a62: POP
00002a63: POP
00002a64: POP
00002a65: PUSH1 0x40
00002a67: MLOAD
00002a68: RETURNDATASIZE
00002a69: PUSH1 0x1f
00002a6b: NOT
00002a6c: PUSH1 0x1f
00002a6e: DUP3
00002a6f: ADD
00002a70: AND
00002a71: DUP3
00002a72: ADD
00002a73: DUP1
00002a74: PUSH1 0x40
00002a76: MSTORE
00002a77: POP
00002a78: DUP2
00002a79: ADD
00002a7a: SWAP1
00002a7b: PUSH2 0x2a84
00002a7e: SWAP2
00002a7f: SWAP1
00002a80: PUSH2 0x2d3a
00002a83: JUMP
00002a84: JUMPDEST
00002a85: POP
00002a86: POP
00002a87: POP
00002a88: POP
00002a89: POP
00002a8a: JUMP
00002a8b: JUMPDEST
00002a8c: PUSH1 0x14
00002a8e: SLOAD
00002a8f: PUSH1 0x00
00002a91: SWAP1
00002a92: PUSH1 0x64
00002a94: SWAP1
00002a95: PUSH2 0x2aa1
00002a98: SWAP1
00002a99: PUSH1 0xff
00002a9b: AND
00002a9c: DUP5
00002a9d: PUSH2 0x30cd
00002aa0: JUMP
00002aa1: JUMPDEST
00002aa2: PUSH2 0x2aab
00002aa5: SWAP2
00002aa6: SWAP1
00002aa7: PUSH2 0x2fbf
00002aaa: JUMP
00002aab: JUMPDEST
00002aac: PUSH1 0x14
00002aae: SLOAD
00002aaf: SWAP1
00002ab0: SWAP2
00002ab1: POP
00002ab2: PUSH1 0x00
00002ab4: SWAP1
00002ab5: PUSH1 0x64
00002ab7: SWAP1
00002ab8: PUSH2 0x2aca
00002abb: SWAP1
00002abc: PUSH3 0x010000
00002ac0: SWAP1
00002ac1: DIV
00002ac2: PUSH1 0xff
00002ac4: AND
00002ac5: DUP6
00002ac6: PUSH2 0x30cd
00002ac9: JUMP
00002aca: JUMPDEST
00002acb: PUSH2 0x2ad4
00002ace: SWAP2
00002acf: SWAP1
00002ad0: PUSH2 0x2fbf
00002ad3: JUMP
00002ad4: JUMPDEST
00002ad5: SWAP1
00002ad6: POP
00002ad7: DUP2
00002ad8: PUSH1 0x15
00002ada: PUSH1 0x00
00002adc: DUP3
00002add: DUP3
00002ade: SLOAD
00002adf: PUSH2 0x2ae8
00002ae2: SWAP2
00002ae3: SWAP1
00002ae4: PUSH2 0x2f82
00002ae7: JUMP
00002ae8: JUMPDEST
00002ae9: SWAP3
00002aea: POP
00002aeb: POP
00002aec: DUP2
00002aed: SWAP1
00002aee: SSTORE
00002aef: POP
00002af0: DUP1
00002af1: PUSH1 0x17
00002af3: PUSH1 0x00
00002af5: DUP3
00002af6: DUP3
00002af7: SLOAD
00002af8: PUSH2 0x2b01
00002afb: SWAP2
00002afc: SWAP1
00002afd: PUSH2 0x2f82
00002b00: JUMP
00002b01: JUMPDEST
00002b02: SWAP1
00002b03: SWAP2
00002b04: SSTORE
00002b05: POP
00002b06: POP
00002b07: POP
00002b08: POP
00002b09: POP
00002b0a: JUMP
00002b0b: JUMPDEST
00002b0c: PUSH1 0x01
00002b0e: PUSH1 0x01
00002b10: PUSH1 0xa0
00002b12: SHL
00002b13: SUB
00002b14: DUP3
00002b15: AND
00002b16: PUSH1 0x00
00002b18: SWAP1
00002b19: DUP2
00002b1a: MSTORE
00002b1b: PUSH1 0x01
00002b1d: PUSH1 0x20
00002b1f: MSTORE
00002b20: PUSH1 0x40
00002b22: DUP2
00002b23: KECCAK256
00002b24: SLOAD
00002b25: PUSH2 0x2b2f
00002b28: SWAP1
00002b29: DUP4
00002b2a: SWAP1
00002b2b: PUSH2 0x30ec
00002b2e: JUMP
00002b2f: JUMPDEST
00002b30: PUSH1 0x01
00002b32: PUSH1 0x01
00002b34: PUSH1 0xa0
00002b36: SHL
00002b37: SUB
00002b38: SWAP1
00002b39: SWAP4
00002b3a: AND
00002b3b: PUSH1 0x00
00002b3d: SWAP1
00002b3e: DUP2
00002b3f: MSTORE
00002b40: PUSH1 0x01
00002b42: PUSH1 0x20
00002b44: MSTORE
00002b45: PUSH1 0x40
00002b47: SWAP1
00002b48: KECCAK256
00002b49: SWAP3
00002b4a: SWAP1
00002b4b: SWAP3
00002b4c: SSTORE
00002b4d: POP
00002b4e: POP
00002b4f: JUMP
00002b50: JUMPDEST
00002b51: PUSH1 0x01
00002b53: PUSH1 0x01
00002b55: PUSH1 0xa0
00002b57: SHL
00002b58: SUB
00002b59: DUP3
00002b5a: AND
00002b5b: PUSH1 0x00
00002b5d: SWAP1
00002b5e: DUP2
00002b5f: MSTORE
00002b60: PUSH1 0x01
00002b62: PUSH1 0x20
00002b64: MSTORE
00002b65: PUSH1 0x40
00002b67: DUP2
00002b68: KECCAK256
00002b69: SLOAD
00002b6a: PUSH2 0x2b2f
00002b6d: SWAP1
00002b6e: DUP4
00002b6f: SWAP1
00002b70: PUSH2 0x2f82
00002b73: JUMP
00002b74: JUMPDEST
00002b75: PUSH1 0x00
00002b77: PUSH2 0x2710
00002b7a: DUP3
00002b7b: PUSH1 0xff
00002b7d: AND
00002b7e: DUP5
00002b7f: PUSH1 0xff
00002b81: AND
00002b82: DUP7
00002b83: PUSH2 0x2b8c
00002b86: SWAP2
00002b87: SWAP1
00002b88: PUSH2 0x30cd
00002b8b: JUMP
00002b8c: JUMPDEST
00002b8d: PUSH2 0x2b96
00002b90: SWAP2
00002b91: SWAP1
00002b92: PUSH2 0x30cd
00002b95: JUMP
00002b96: JUMPDEST
00002b97: PUSH2 0x2ba0
00002b9a: SWAP2
00002b9b: SWAP1
00002b9c: PUSH2 0x2fbf
00002b9f: JUMP
00002ba0: JUMPDEST
00002ba1: SWAP5
00002ba2: SWAP4
00002ba3: POP
00002ba4: POP
00002ba5: POP
00002ba6: POP
00002ba7: JUMP
00002ba8: JUMPDEST
00002ba9: DUP1
00002baa: CALLDATALOAD
00002bab: DUP1
00002bac: ISZERO
00002bad: ISZERO
00002bae: DUP2
00002baf: EQ
00002bb0: PUSH2 0x2bb8
00002bb3: JUMPI
00002bb4: PUSH1 0x00
00002bb6: DUP1
00002bb7: REVERT
00002bb8: JUMPDEST
00002bb9: SWAP2
00002bba: SWAP1
00002bbb: POP
00002bbc: JUMP
00002bbd: JUMPDEST
00002bbe: DUP1
00002bbf: CALLDATALOAD
00002bc0: PUSH1 0xff
00002bc2: DUP2
00002bc3: AND
00002bc4: DUP2
00002bc5: EQ
00002bc6: PUSH2 0x2bb8
00002bc9: JUMPI
00002bca: PUSH1 0x00
00002bcc: DUP1
00002bcd: REVERT
00002bce: JUMPDEST
00002bcf: PUSH1 0x00
00002bd1: PUSH1 0x20
00002bd3: DUP3
00002bd4: DUP5
00002bd5: SUB
00002bd6: SLT
00002bd7: ISZERO
00002bd8: PUSH2 0x2bdf
00002bdb: JUMPI
00002bdc: DUP1
00002bdd: DUP2
00002bde: REVERT
00002bdf: JUMPDEST
00002be0: DUP2
00002be1: CALLDATALOAD
00002be2: PUSH2 0x1283
00002be5: DUP2
00002be6: PUSH2 0x3119
00002be9: JUMP
00002bea: JUMPDEST
00002beb: PUSH1 0x00
00002bed: PUSH1 0x20
00002bef: DUP3
00002bf0: DUP5
00002bf1: SUB
00002bf2: SLT
00002bf3: ISZERO
00002bf4: PUSH2 0x2bfb
00002bf7: JUMPI
00002bf8: DUP1
00002bf9: DUP2
00002bfa: REVERT
00002bfb: JUMPDEST
00002bfc: DUP2
00002bfd: MLOAD
00002bfe: PUSH2 0x1283
00002c01: DUP2
00002c02: PUSH2 0x3119
00002c05: JUMP
00002c06: JUMPDEST
00002c07: PUSH1 0x00
00002c09: DUP1
00002c0a: PUSH1 0x40
00002c0c: DUP4
00002c0d: DUP6
00002c0e: SUB
00002c0f: SLT
00002c10: ISZERO
00002c11: PUSH2 0x2c18
00002c14: JUMPI
00002c15: DUP1
00002c16: DUP2
00002c17: REVERT
00002c18: JUMPDEST
00002c19: DUP3
00002c1a: CALLDATALOAD
00002c1b: PUSH2 0x2c23
00002c1e: DUP2
00002c1f: PUSH2 0x3119
00002c22: JUMP
00002c23: JUMPDEST
00002c24: SWAP2
00002c25: POP
00002c26: PUSH1 0x20
00002c28: DUP4
00002c29: ADD
00002c2a: CALLDATALOAD
00002c2b: PUSH2 0x2c33
00002c2e: DUP2
00002c2f: PUSH2 0x3119
00002c32: JUMP
00002c33: JUMPDEST
00002c34: DUP1
00002c35: SWAP2
00002c36: POP
00002c37: POP
00002c38: SWAP3
00002c39: POP
00002c3a: SWAP3
00002c3b: SWAP1
00002c3c: POP
00002c3d: JUMP
00002c3e: JUMPDEST
00002c3f: PUSH1 0x00
00002c41: DUP1
00002c42: PUSH1 0x00
00002c44: PUSH1 0x60
00002c46: DUP5
00002c47: DUP7
00002c48: SUB
00002c49: SLT
00002c4a: ISZERO
00002c4b: PUSH2 0x2c52
00002c4e: JUMPI
00002c4f: DUP1
00002c50: DUP2
00002c51: REVERT
00002c52: JUMPDEST
00002c53: DUP4
00002c54: CALLDATALOAD
00002c55: PUSH2 0x2c5d
00002c58: DUP2
00002c59: PUSH2 0x3119
00002c5c: JUMP
00002c5d: JUMPDEST
00002c5e: SWAP3
00002c5f: POP
00002c60: PUSH1 0x20
00002c62: DUP5
00002c63: ADD
00002c64: CALLDATALOAD
00002c65: PUSH2 0x2c6d
00002c68: DUP2
00002c69: PUSH2 0x3119
00002c6c: JUMP
00002c6d: JUMPDEST
00002c6e: SWAP3
00002c6f: SWAP6
00002c70: SWAP3
00002c71: SWAP5
00002c72: POP
00002c73: POP
00002c74: POP
00002c75: PUSH1 0x40
00002c77: SWAP2
00002c78: SWAP1
00002c79: SWAP2
00002c7a: ADD
00002c7b: CALLDATALOAD
00002c7c: SWAP1
00002c7d: JUMP
00002c7e: JUMPDEST
00002c7f: PUSH1 0x00
00002c81: DUP1
00002c82: PUSH1 0x40
00002c84: DUP4
00002c85: DUP6
00002c86: SUB
00002c87: SLT
00002c88: ISZERO
00002c89: PUSH2 0x2c90
00002c8c: JUMPI
00002c8d: DUP2
00002c8e: DUP3
00002c8f: REVERT
00002c90: JUMPDEST
00002c91: DUP3
00002c92: CALLDATALOAD
00002c93: PUSH2 0x2c9b
00002c96: DUP2
00002c97: PUSH2 0x3119
00002c9a: JUMP
00002c9b: JUMPDEST
00002c9c: SWAP2
00002c9d: POP
00002c9e: PUSH2 0x2ca9
00002ca1: PUSH1 0x20
00002ca3: DUP5
00002ca4: ADD
00002ca5: PUSH2 0x2ba8
00002ca8: JUMP
00002ca9: JUMPDEST
00002caa: SWAP1
00002cab: POP
00002cac: SWAP3
00002cad: POP
00002cae: SWAP3
00002caf: SWAP1
00002cb0: POP
00002cb1: JUMP
00002cb2: JUMPDEST
00002cb3: PUSH1 0x00
00002cb5: DUP1
00002cb6: PUSH1 0x40
00002cb8: DUP4
00002cb9: DUP6
00002cba: SUB
00002cbb: SLT
00002cbc: ISZERO
00002cbd: PUSH2 0x2cc4
00002cc0: JUMPI
00002cc1: DUP2
00002cc2: DUP3
00002cc3: REVERT
00002cc4: JUMPDEST
00002cc5: DUP3
00002cc6: CALLDATALOAD
00002cc7: PUSH2 0x2ccf
00002cca: DUP2
00002ccb: PUSH2 0x3119
00002cce: JUMP
00002ccf: JUMPDEST
00002cd0: SWAP5
00002cd1: PUSH1 0x20
00002cd3: SWAP4
00002cd4: SWAP1
00002cd5: SWAP4
00002cd6: ADD
00002cd7: CALLDATALOAD
00002cd8: SWAP4
00002cd9: POP
00002cda: POP
00002cdb: POP
00002cdc: JUMP
00002cdd: JUMPDEST
00002cde: PUSH1 0x00
00002ce0: PUSH1 0x20
00002ce2: DUP3
00002ce3: DUP5
00002ce4: SUB
00002ce5: SLT
00002ce6: ISZERO
00002ce7: PUSH2 0x2cee
00002cea: JUMPI
00002ceb: DUP1
00002cec: DUP2
00002ced: REVERT
00002cee: JUMPDEST
00002cef: PUSH2 0x1283
00002cf2: DUP3
00002cf3: PUSH2 0x2ba8
00002cf6: JUMP
00002cf7: JUMPDEST
00002cf8: PUSH1 0x00
00002cfa: PUSH1 0x20
00002cfc: DUP3
00002cfd: DUP5
00002cfe: SUB
00002cff: SLT
00002d00: ISZERO
00002d01: PUSH2 0x2d08
00002d04: JUMPI
00002d05: DUP1
00002d06: DUP2
00002d07: REVERT
00002d08: JUMPDEST
00002d09: POP
00002d0a: CALLDATALOAD
00002d0b: SWAP2
00002d0c: SWAP1
00002d0d: POP
00002d0e: JUMP
00002d0f: JUMPDEST
00002d10: PUSH1 0x00
00002d12: DUP1
00002d13: PUSH1 0x00
00002d15: PUSH1 0x60
00002d17: DUP5
00002d18: DUP7
00002d19: SUB
00002d1a: SLT
00002d1b: ISZERO
00002d1c: PUSH2 0x2d23
00002d1f: JUMPI
00002d20: DUP3
00002d21: DUP4
00002d22: REVERT
00002d23: JUMPDEST
00002d24: POP
00002d25: POP
00002d26: DUP2
00002d27: CALLDATALOAD
00002d28: SWAP4
00002d29: PUSH1 0x20
00002d2b: DUP4
00002d2c: ADD
00002d2d: CALLDATALOAD
00002d2e: SWAP4
00002d2f: POP
00002d30: PUSH1 0x40
00002d32: SWAP1
00002d33: SWAP3
00002d34: ADD
00002d35: CALLDATALOAD
00002d36: SWAP2
00002d37: SWAP1
00002d38: POP
00002d39: JUMP
00002d3a: JUMPDEST
00002d3b: PUSH1 0x00
00002d3d: DUP1
00002d3e: PUSH1 0x00
00002d40: PUSH1 0x60
00002d42: DUP5
00002d43: DUP7
00002d44: SUB
00002d45: SLT
00002d46: ISZERO
00002d47: PUSH2 0x2d4e
00002d4a: JUMPI
00002d4b: DUP3
00002d4c: DUP4
00002d4d: REVERT
00002d4e: JUMPDEST
00002d4f: DUP4
00002d50: MLOAD
00002d51: SWAP3
00002d52: POP
00002d53: PUSH1 0x20
00002d55: DUP5
00002d56: ADD
00002d57: MLOAD
00002d58: SWAP2
00002d59: POP
00002d5a: PUSH1 0x40
00002d5c: DUP5
00002d5d: ADD
00002d5e: MLOAD
00002d5f: SWAP1
00002d60: POP
00002d61: SWAP3
00002d62: POP
00002d63: SWAP3
00002d64: POP
00002d65: SWAP3
00002d66: JUMP
00002d67: JUMPDEST
00002d68: PUSH1 0x00
00002d6a: PUSH1 0x20
00002d6c: DUP3
00002d6d: DUP5
00002d6e: SUB
00002d6f: SLT
00002d70: ISZERO
00002d71: PUSH2 0x2d78
00002d74: JUMPI
00002d75: DUP1
00002d76: DUP2
00002d77: REVERT
00002d78: JUMPDEST
00002d79: PUSH2 0x1283
00002d7c: DUP3
00002d7d: PUSH2 0x2bbd
00002d80: JUMP
00002d81: JUMPDEST
00002d82: PUSH1 0x00
00002d84: DUP1
00002d85: PUSH1 0x00
00002d87: DUP1
00002d88: PUSH1 0x00
00002d8a: DUP1
00002d8b: PUSH1 0x00
00002d8d: PUSH1 0xe0
00002d8f: DUP9
00002d90: DUP11
00002d91: SUB
00002d92: SLT
00002d93: ISZERO
00002d94: PUSH2 0x2d9b
00002d97: JUMPI
00002d98: DUP3
00002d99: DUP4
00002d9a: REVERT
00002d9b: JUMPDEST
00002d9c: PUSH2 0x2da4
00002d9f: DUP9
00002da0: PUSH2 0x2bbd
00002da3: JUMP
00002da4: JUMPDEST
00002da5: SWAP7
00002da6: POP
00002da7: PUSH2 0x2db2
00002daa: PUSH1 0x20
00002dac: DUP10
00002dad: ADD
00002dae: PUSH2 0x2bbd
00002db1: JUMP
00002db2: JUMPDEST
00002db3: SWAP6
00002db4: POP
00002db5: PUSH2 0x2dc0
00002db8: PUSH1 0x40
00002dba: DUP10
00002dbb: ADD
00002dbc: PUSH2 0x2bbd
00002dbf: JUMP
00002dc0: JUMPDEST
00002dc1: SWAP5
00002dc2: POP
00002dc3: PUSH2 0x2dce
00002dc6: PUSH1 0x60
00002dc8: DUP10
00002dc9: ADD
00002dca: PUSH2 0x2bbd
00002dcd: JUMP
00002dce: JUMPDEST
00002dcf: SWAP4
00002dd0: POP
00002dd1: PUSH2 0x2ddc
00002dd4: PUSH1 0x80
00002dd6: DUP10
00002dd7: ADD
00002dd8: PUSH2 0x2bbd
00002ddb: JUMP
00002ddc: JUMPDEST
00002ddd: SWAP3
00002dde: POP
00002ddf: PUSH2 0x2dea
00002de2: PUSH1 0xa0
00002de4: DUP10
00002de5: ADD
00002de6: PUSH2 0x2bbd
00002de9: JUMP
00002dea: JUMPDEST
00002deb: SWAP2
00002dec: POP
00002ded: PUSH2 0x2df8
00002df0: PUSH1 0xc0
00002df2: DUP10
00002df3: ADD
00002df4: PUSH2 0x2bbd
00002df7: JUMP
00002df8: JUMPDEST
00002df9: SWAP1
00002dfa: POP
00002dfb: SWAP3
00002dfc: SWAP6
00002dfd: SWAP9
00002dfe: SWAP2
00002dff: SWAP5
00002e00: SWAP8
00002e01: POP
00002e02: SWAP3
00002e03: SWAP6
00002e04: POP
00002e05: JUMP
00002e06: JUMPDEST
00002e07: PUSH1 0x00
00002e09: PUSH1 0x20
00002e0b: DUP1
00002e0c: DUP4
00002e0d: MSTORE
00002e0e: DUP4
00002e0f: MLOAD
00002e10: DUP1
00002e11: DUP3
00002e12: DUP6
00002e13: ADD
00002e14: MSTORE
00002e15: DUP3
00002e16: JUMPDEST
00002e17: DUP2
00002e18: DUP2
00002e19: LT
00002e1a: ISZERO
00002e1b: PUSH2 0x2e32
00002e1e: JUMPI
00002e1f: DUP6
00002e20: DUP2
00002e21: ADD
00002e22: DUP4
00002e23: ADD
00002e24: MLOAD
00002e25: DUP6
00002e26: DUP3
00002e27: ADD
00002e28: PUSH1 0x40
00002e2a: ADD
00002e2b: MSTORE
00002e2c: DUP3
00002e2d: ADD
00002e2e: PUSH2 0x2e16
00002e31: JUMP
00002e32: JUMPDEST
00002e33: DUP2
00002e34: DUP2
00002e35: GT
00002e36: ISZERO
00002e37: PUSH2 0x2e43
00002e3a: JUMPI
00002e3b: DUP4
00002e3c: PUSH1 0x40
00002e3e: DUP4
00002e3f: DUP8
00002e40: ADD
00002e41: ADD
00002e42: MSTORE
00002e43: JUMPDEST
00002e44: POP
00002e45: PUSH1 0x1f
00002e47: ADD
00002e48: PUSH1 0x1f
00002e4a: NOT
00002e4b: AND
00002e4c: SWAP3
00002e4d: SWAP1
00002e4e: SWAP3
00002e4f: ADD
00002e50: PUSH1 0x40
00002e52: ADD
00002e53: SWAP4
00002e54: SWAP3
00002e55: POP
00002e56: POP
00002e57: POP
00002e58: JUMP
00002e59: JUMPDEST
00002e5a: PUSH1 0x20
00002e5c: DUP1
00002e5d: DUP3
00002e5e: MSTORE
00002e5f: PUSH1 0x12
00002e61: SWAP1
00002e62: DUP3
00002e63: ADD
00002e64: MSTORE
00002e65: PUSH18 0x0a8c2f0cae640c2e4ca40e8dede40d0d2ced
00002e78: PUSH1 0x73
00002e7a: SHL
00002e7b: PUSH1 0x40
00002e7d: DUP3
00002e7e: ADD
00002e7f: MSTORE
00002e80: PUSH1 0x60
00002e82: ADD
00002e83: SWAP1
00002e84: JUMP
00002e85: JUMPDEST
00002e86: PUSH1 0x20
00002e88: DUP1
00002e89: DUP3
00002e8a: MSTORE
00002e8b: PUSH1 0x12
00002e8d: SWAP1
00002e8e: DUP3
00002e8f: ADD
00002e90: MSTORE
00002e91: PUSH18 0x43616c6c6572206e6f7420696e205465616d
00002ea4: PUSH1 0x70
00002ea6: SHL
00002ea7: PUSH1 0x40
00002ea9: DUP3
00002eaa: ADD
00002eab: MSTORE
00002eac: PUSH1 0x60
00002eae: ADD
00002eaf: SWAP1
00002eb0: JUMP
00002eb1: JUMPDEST
00002eb2: PUSH1 0x20
00002eb4: DUP1
00002eb5: DUP3
00002eb6: MSTORE
00002eb7: PUSH1 0x10
00002eb9: SWAP1
00002eba: DUP3
00002ebb: ADD
00002ebc: MSTORE
00002ebd: PUSH16 0x3bb430b63290383937ba32b1ba34b7b7
00002ece: PUSH1 0x81
00002ed0: SHL
00002ed1: PUSH1 0x40
00002ed3: DUP3
00002ed4: ADD
00002ed5: MSTORE
00002ed6: PUSH1 0x60
00002ed8: ADD
00002ed9: SWAP1
00002eda: JUMP
00002edb: JUMPDEST
00002edc: PUSH1 0x20
00002ede: DUP1
00002edf: DUP3
00002ee0: MSTORE
00002ee1: PUSH1 0x1c
00002ee3: SWAP1
00002ee4: DUP3
00002ee5: ADD
00002ee6: MSTORE
00002ee7: PUSH32 0x426c6f636b656420627920616e74697275672066756e6374696f6e7300000000
00002f08: PUSH1 0x40
00002f0a: DUP3
00002f0b: ADD
00002f0c: MSTORE
00002f0d: PUSH1 0x60
00002f0f: ADD
00002f10: SWAP1
00002f11: JUMP
00002f12: JUMPDEST
00002f13: PUSH1 0x00
00002f15: PUSH1 0xa0
00002f17: DUP3
00002f18: ADD
00002f19: DUP8
00002f1a: DUP4
00002f1b: MSTORE
00002f1c: PUSH1 0x20
00002f1e: DUP8
00002f1f: DUP2
00002f20: DUP6
00002f21: ADD
00002f22: MSTORE
00002f23: PUSH1 0xa0
00002f25: PUSH1 0x40
00002f27: DUP6
00002f28: ADD
00002f29: MSTORE
00002f2a: DUP2
00002f2b: DUP8
00002f2c: MLOAD
00002f2d: DUP1
00002f2e: DUP5
00002f2f: MSTORE
00002f30: PUSH1 0xc0
00002f32: DUP7
00002f33: ADD
00002f34: SWAP2
00002f35: POP
00002f36: DUP3
00002f37: DUP10
00002f38: ADD
00002f39: SWAP4
00002f3a: POP
00002f3b: DUP5
00002f3c: JUMPDEST
00002f3d: DUP2
00002f3e: DUP2
00002f3f: LT
00002f40: ISZERO
00002f41: PUSH2 0x2f61
00002f44: JUMPI
00002f45: DUP5
00002f46: MLOAD
00002f47: PUSH1 0x01
00002f49: PUSH1 0x01
00002f4b: PUSH1 0xa0
00002f4d: SHL
00002f4e: SUB
00002f4f: AND
00002f50: DUP4
00002f51: MSTORE
00002f52: SWAP4
00002f53: DUP4
00002f54: ADD
00002f55: SWAP4
00002f56: SWAP2
00002f57: DUP4
00002f58: ADD
00002f59: SWAP2
00002f5a: PUSH1 0x01
00002f5c: ADD
00002f5d: PUSH2 0x2f3c
00002f60: JUMP
00002f61: JUMPDEST
00002f62: POP
00002f63: POP
00002f64: PUSH1 0x01
00002f66: PUSH1 0x01
00002f68: PUSH1 0xa0
00002f6a: SHL
00002f6b: SUB
00002f6c: SWAP7
00002f6d: SWAP1
00002f6e: SWAP7
00002f6f: AND
00002f70: PUSH1 0x60
00002f72: DUP6
00002f73: ADD
00002f74: MSTORE
00002f75: POP
00002f76: POP
00002f77: POP
00002f78: PUSH1 0x80
00002f7a: ADD
00002f7b: MSTORE
00002f7c: SWAP4
00002f7d: SWAP3
00002f7e: POP
00002f7f: POP
00002f80: POP
00002f81: JUMP
00002f82: JUMPDEST
00002f83: PUSH1 0x00
00002f85: DUP3
00002f86: NOT
00002f87: DUP3
00002f88: GT
00002f89: ISZERO
00002f8a: PUSH2 0x2f95
00002f8d: JUMPI
00002f8e: PUSH2 0x2f95
00002f91: PUSH2 0x3103
00002f94: JUMP
00002f95: JUMPDEST
00002f96: POP
00002f97: ADD
00002f98: SWAP1
00002f99: JUMP
00002f9a: JUMPDEST
00002f9b: PUSH1 0x00
00002f9d: PUSH1 0xff
00002f9f: DUP3
00002fa0: AND
00002fa1: PUSH1 0xff
00002fa3: DUP5
00002fa4: AND
00002fa5: DUP1
00002fa6: PUSH1 0xff
00002fa8: SUB
00002fa9: DUP3
00002faa: GT
00002fab: ISZERO
00002fac: PUSH2 0x2fb7
00002faf: JUMPI
00002fb0: PUSH2 0x2fb7
00002fb3: PUSH2 0x3103
00002fb6: JUMP
00002fb7: JUMPDEST
00002fb8: ADD
00002fb9: SWAP4
00002fba: SWAP3
00002fbb: POP
00002fbc: POP
00002fbd: POP
00002fbe: JUMP
00002fbf: JUMPDEST
00002fc0: PUSH1 0x00
00002fc2: DUP3
00002fc3: PUSH2 0x2fda
00002fc6: JUMPI
00002fc7: PUSH4 0x4e487b71
00002fcc: PUSH1 0xe0
00002fce: SHL
00002fcf: DUP2
00002fd0: MSTORE
00002fd1: PUSH1 0x12
00002fd3: PUSH1 0x04
00002fd5: MSTORE
00002fd6: PUSH1 0x24
00002fd8: DUP2
00002fd9: REVERT
00002fda: JUMPDEST
00002fdb: POP
00002fdc: DIV
00002fdd: SWAP1
00002fde: JUMP
00002fdf: JUMPDEST
00002fe0: PUSH1 0x01
00002fe2: DUP2
00002fe3: DUP2
00002fe4: JUMPDEST
00002fe5: DUP1
00002fe6: DUP6
00002fe7: GT
00002fe8: ISZERO
00002fe9: PUSH2 0x301a
00002fec: JUMPI
00002fed: DUP2
00002fee: PUSH1 0x00
00002ff0: NOT
00002ff1: DIV
00002ff2: DUP3
00002ff3: GT
00002ff4: ISZERO
00002ff5: PUSH2 0x3000
00002ff8: JUMPI
00002ff9: PUSH2 0x3000
00002ffc: PUSH2 0x3103
00002fff: JUMP
00003000: JUMPDEST
00003001: DUP1
00003002: DUP6
00003003: AND
00003004: ISZERO
00003005: PUSH2 0x300d
00003008: JUMPI
00003009: SWAP2
0000300a: DUP2
0000300b: MUL
0000300c: SWAP2
0000300d: JUMPDEST
0000300e: SWAP4
0000300f: DUP5
00003010: SHR
00003011: SWAP4
00003012: SWAP1
00003013: DUP1
00003014: MUL
00003015: SWAP1
00003016: PUSH2 0x2fe4
00003019: JUMP
0000301a: JUMPDEST
0000301b: POP
0000301c: SWAP3
0000301d: POP
0000301e: SWAP3
0000301f: SWAP1
00003020: POP
00003021: JUMP
00003022: JUMPDEST
00003023: PUSH1 0x00
00003025: PUSH2 0x1283
00003028: PUSH1 0xff
0000302a: DUP5
0000302b: AND
0000302c: DUP4
0000302d: PUSH1 0x00
0000302f: DUP3
00003030: PUSH2 0x303b
00003033: JUMPI
00003034: POP
00003035: PUSH1 0x01
00003037: PUSH2 0x0f68
0000303a: JUMP
0000303b: JUMPDEST
0000303c: DUP2
0000303d: PUSH2 0x3048
00003040: JUMPI
00003041: POP
00003042: PUSH1 0x00
00003044: PUSH2 0x0f68
00003047: JUMP
00003048: JUMPDEST
00003049: DUP2
0000304a: PUSH1 0x01
0000304c: DUP2
0000304d: EQ
0000304e: PUSH2 0x305e
00003051: JUMPI
00003052: PUSH1 0x02
00003054: DUP2
00003055: EQ
00003056: PUSH2 0x3068
00003059: JUMPI
0000305a: PUSH2 0x3084
0000305d: JUMP
0000305e: JUMPDEST
0000305f: PUSH1 0x01
00003061: SWAP2
00003062: POP
00003063: POP
00003064: PUSH2 0x0f68
00003067: JUMP
00003068: JUMPDEST
00003069: PUSH1 0xff
0000306b: DUP5
0000306c: GT
0000306d: ISZERO
0000306e: PUSH2 0x3079
00003071: JUMPI
00003072: PUSH2 0x3079
00003075: PUSH2 0x3103
00003078: JUMP
00003079: JUMPDEST
0000307a: POP
0000307b: POP
0000307c: PUSH1 0x01
0000307e: DUP3
0000307f: SHL
00003080: PUSH2 0x0f68
00003083: JUMP
00003084: JUMPDEST
00003085: POP
00003086: PUSH1 0x20
00003088: DUP4
00003089: LT
0000308a: PUSH2 0x0133
0000308d: DUP4
0000308e: LT
0000308f: AND
00003090: PUSH1 0x4e
00003092: DUP5
00003093: LT
00003094: PUSH1 0x0b
00003096: DUP5
00003097: LT
00003098: AND
00003099: OR
0000309a: ISZERO
0000309b: PUSH2 0x30a7
0000309e: JUMPI
0000309f: POP
000030a0: DUP2
000030a1: DUP2
000030a2: EXP
000030a3: PUSH2 0x0f68
000030a6: JUMP
000030a7: JUMPDEST
000030a8: PUSH2 0x30b1
000030ab: DUP4
000030ac: DUP4
000030ad: PUSH2 0x2fdf
000030b0: JUMP
000030b1: JUMPDEST
000030b2: DUP1
000030b3: PUSH1 0x00
000030b5: NOT
000030b6: DIV
000030b7: DUP3
000030b8: GT
000030b9: ISZERO
000030ba: PUSH2 0x30c5
000030bd: JUMPI
000030be: PUSH2 0x30c5
000030c1: PUSH2 0x3103
000030c4: JUMP
000030c5: JUMPDEST
000030c6: MUL
000030c7: SWAP4
000030c8: SWAP3
000030c9: POP
000030ca: POP
000030cb: POP
000030cc: JUMP
000030cd: JUMPDEST
000030ce: PUSH1 0x00
000030d0: DUP2
000030d1: PUSH1 0x00
000030d3: NOT
000030d4: DIV
000030d5: DUP4
000030d6: GT
000030d7: DUP3
000030d8: ISZERO
000030d9: ISZERO
000030da: AND
000030db: ISZERO
000030dc: PUSH2 0x30e7
000030df: JUMPI
000030e0: PUSH2 0x30e7
000030e3: PUSH2 0x3103
000030e6: JUMP
000030e7: JUMPDEST
000030e8: POP
000030e9: MUL
000030ea: SWAP1
000030eb: JUMP
000030ec: JUMPDEST
000030ed: PUSH1 0x00
000030ef: DUP3
000030f0: DUP3
000030f1: LT
000030f2: ISZERO
000030f3: PUSH2 0x30fe
000030f6: JUMPI
000030f7: PUSH2 0x30fe
000030fa: PUSH2 0x3103
000030fd: JUMP
000030fe: JUMPDEST
000030ff: POP
00003100: SUB
00003101: SWAP1
00003102: JUMP
00003103: JUMPDEST
00003104: PUSH4 0x4e487b71
00003109: PUSH1 0xe0
0000310b: SHL
0000310c: PUSH1 0x00
0000310e: MSTORE
0000310f: PUSH1 0x11
00003111: PUSH1 0x04
00003113: MSTORE
00003114: PUSH1 0x24
00003116: PUSH1 0x00
00003118: REVERT
00003119: JUMPDEST
0000311a: PUSH1 0x01
0000311c: PUSH1 0x01
0000311e: PUSH1 0xa0
00003120: SHL
00003121: SUB
00003122: DUP2
00003123: AND
00003124: DUP2
00003125: EQ
00003126: PUSH2 0x18e0
00003129: JUMPI
0000312a: PUSH1 0x00
0000312c: DUP1
0000312d: REVERT
0000312e: INVALID
0000312f: UNKNOWN(0xDD)
00003130: CALLCODE
00003131: MSTORE
00003132: UNKNOWN(0xAD)
00003133: SHL
00003134: UNKNOWN(0xE2)
00003135: UNKNOWN(0xC8)
00003136: SWAP12
00003137: PUSH10 0xc2b068fc378daa952ba7
00003142: CALL
00003143: PUSH4 0xc4a11628
00003148: CREATE2
00003149: GAS
0000314a: UNKNOWN(0x4D)
0000314b: CREATE2
0000314c: UNKNOWN(0x23)
0000314d: UNKNOWN(0xB3)
0000314e: UNKNOWN(0xEF)
0000314f: LOG2
00003150: PUSH5 0x6970667358
00003156: UNKNOWN(0x22)
00003157: SLT
00003158: KECCAK256
00003159: PUSH24 0x42c2b4616d734909cad749db20f95819a86eb3d1e4bffa51
00003172: UNKNOWN(0xB3)
00003173: UNKNOWN(0x27)
00003174: CALLDATALOAD
00003175: SWAP2
00003176: PUSH25

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x39e4806e5fefcc67dbcd192d9cb5dbe91935c7154b7d701133ae09b1d5fdc325
call_targets: 0x7ccb2b7d0e8455b6be9c39417e5fe855aa831fd8
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x39e4806e5fefcc67dbcd192d9cb5dbe91935c7154b7d701133ae09b1d5fdc325",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7ccb2b7d0e8455b6be9c39417e5fe855aa831fd8"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xf1c43f5f",
            "selector": "0xf1c43f5f",
            "calldata_variants": [
                "0xf1c43f5f",
                "0xf1c43f5f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf8766f20",
            "selector": "0xf8766f20",
            "calldata_variants": [
                "0xf8766f20",
                "0xf8766f200000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf88b0e46",
            "selector": "0xf88b0e46",
            "calldata_variants": [
                "0xf88b0e46",
                "0xf88b0e460000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfaf11fe9",
            "selector": "0xfaf11fe9",
            "calldata_variants": [
                "0xfaf11fe9",
                "0xfaf11fe90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfb272987",
            "selector": "0xfb272987",
            "calldata_variants": [
                "0xfb272987",
                "0xfb2729870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7edb930",
            "selector": "0xd7edb930",
            "calldata_variants": [
                "0xd7edb930",
                "0xd7edb9300000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd9244997",
            "selector": "0xd9244997",
            "calldata_variants": [
                "0xd9244997",
                "0xd92449970000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 4116,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10659,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10830,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [],
    "untrusted_call_count": 5
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x39e4806e5fefcc67dbcd192d9cb5dbe91935c7154b7d701133ae09b1d5fdc325
call_targets: 0x7ccb2b7d0e8455b6be9c39417e5fe855aa831fd8
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x39e4806e5fefcc67dbcd192d9cb5dbe91935c7154b7d701133ae09b1d5fdc325",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7ccb2b7d0e8455b6be9c39417e5fe855aa831fd8"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xf1c43f5f",
            "selector": "0xf1c43f5f",
            "calldata_variants": [
                "0xf1c43f5f",
                "0xf1c43f5f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf8766f20",
            "selector": "0xf8766f20",
            "calldata_variants": [
                "0xf8766f20",
                "0xf8766f200000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf88b0e46",
            "selector": "0xf88b0e46",
            "calldata_variants": [
                "0xf88b0e46",
                "0xf88b0e460000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfaf11fe9",
            "selector": "0xfaf11fe9",
            "calldata_variants": [
                "0xfaf11fe9",
                "0xfaf11fe90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfb272987",
            "selector": "0xfb272987",
            "calldata_variants": [
                "0xfb272987",
                "0xfb2729870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7edb930",
            "selector": "0xd7edb930",
            "calldata_variants": [
                "0xd7edb930",
                "0xd7edb9300000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd9244997",
            "selector": "0xd9244997",
            "calldata_variants": [
                "0xd9244997",
                "0xd92449970000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 4116,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10659,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10830,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x9911e8dfb22ad1803545f5e63680f303adc2b74ea94a12aef496e13b49b9add1
validation_json
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x9911e8dfb22ad1803545f5e63680f303adc2b74ea94a12aef496e13b49b9add1",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xf1c43f5f",
            "selector": "0xf1c43f5f",
            "calldata_variants": [
                "0xf1c43f5f",
                "0xf1c43f5f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf8766f20",
            "selector": "0xf8766f20",
            "calldata_variants": [
                "0xf8766f20",
                "0xf8766f200000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf88b0e46",
            "selector": "0xf88b0e46",
            "calldata_variants": [
                "0xf88b0e46",
                "0xf88b0e460000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfaf11fe9",
            "selector": "0xfaf11fe9",
            "calldata_variants": [
                "0xfaf11fe9",
                "0xfaf11fe90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfb272987",
            "selector": "0xfb272987",
            "calldata_variants": [
                "0xfb272987",
                "0xfb2729870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7edb930",
            "selector": "0xd7edb930",
            "calldata_variants": [
                "0xd7edb930",
                "0xd7edb9300000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd9244997",
            "selector": "0xd9244997",
            "calldata_variants": [
                "0xd9244997",
                "0xd92449970000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "create_count": 0,
    "create2_count": 2
}