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

Analysis Run

019b477e-b606-73b0-b00a-117e736dfe38

complete
Chain ID
1
Address
0x07c0bf5cbdef4d4df71365f9a8be6ef9bf48f791
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?

back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
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
23043 artifact.fetch complete 1 / 3 4 months ago
23044 tool.cast_disasm complete 1 / 3 4 months ago
66830 analysis.bundle complete 1 / 3 2 weeks ago
66831 capability.graph complete 1 / 3 2 weeks ago
66832 detector.run complete 1 / 3 2 weeks ago
66833 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

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
0
CALL-family (heavy)
4
EXT*/BALANCE
2
Total opcodes
7929
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01a6
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: DUP1
00000031: PUSH4 0x0111f34a
00000036: EQ
00000037: PUSH2 0x0396
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x06fdde03
00000041: EQ
00000042: PUSH2 0x03e7
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x095ea7b3
0000004c: EQ
0000004d: PUSH2 0x0477
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x152f094b
00000057: EQ
00000058: PUSH2 0x04ea
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x16537786
00000062: EQ
00000063: PUSH2 0x053b
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x18160ddd
0000006d: EQ
0000006e: PUSH2 0x058c
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x1e9a6950
00000078: EQ
00000079: PUSH2 0x05b7
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x23b872dd
00000083: EQ
00000084: PUSH2 0x0605
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x2e1a7d4d
0000008e: EQ
0000008f: PUSH2 0x0698
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x313ce567
00000099: EQ
0000009a: PUSH2 0x06d3
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x39509351
000000a4: EQ
000000a5: PUSH2 0x0704
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x3b7f8f15
000000af: EQ
000000b0: PUSH2 0x0777
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x3e33139a
000000ba: EQ
000000bb: PUSH2 0x07e5
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0x4353bb14
000000c5: EQ
000000c6: PUSH2 0x084e
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0x4458bbc0
000000d0: EQ
000000d1: PUSH2 0x08b3
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0x4c0c53b7
000000db: EQ
000000dc: PUSH2 0x08f8
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0x55810e0e
000000e6: EQ
000000e7: PUSH2 0x0927
000000ea: JUMPI
000000eb: DUP1
000000ec: PUSH4 0x70a08231
000000f1: EQ
000000f2: PUSH2 0x0978
000000f5: JUMPI
000000f6: DUP1
000000f7: PUSH4 0x856ed703
000000fc: EQ
000000fd: PUSH2 0x09dd
00000100: JUMPI
00000101: DUP1
00000102: PUSH4 0x95d89b41
00000107: EQ
00000108: PUSH2 0x0a08
0000010b: JUMPI
0000010c: DUP1
0000010d: PUSH4 0x99288dbb
00000112: EQ
00000113: PUSH2 0x0a98
00000116: JUMPI
00000117: DUP1
00000118: PUSH4 0xa035b1fe
0000011d: EQ
0000011e: PUSH2 0x0ac7
00000121: JUMPI
00000122: DUP1
00000123: PUSH4 0xa457c2d7
00000128: EQ
00000129: PUSH2 0x0af2
0000012c: JUMPI
0000012d: DUP1
0000012e: PUSH4 0xa4c89322
00000133: EQ
00000134: PUSH2 0x0b65
00000137: JUMPI
00000138: DUP1
00000139: PUSH4 0xa9059cbb
0000013e: EQ
0000013f: PUSH2 0x0bb4
00000142: JUMPI
00000143: DUP1
00000144: PUSH4 0xade2240a
00000149: EQ
0000014a: PUSH2 0x0c27
0000014d: JUMPI
0000014e: DUP1
0000014f: PUSH4 0xb66a0e5d
00000154: EQ
00000155: PUSH2 0x0c62
00000158: JUMPI
00000159: DUP1
0000015a: PUSH4 0xb9186d7d
0000015f: EQ
00000160: PUSH2 0x0c79
00000163: JUMPI
00000164: DUP1
00000165: PUSH4 0xdc29f1de
0000016a: EQ
0000016b: PUSH2 0x0cc8
0000016e: JUMPI
0000016f: DUP1
00000170: PUSH4 0xdd62ed3e
00000175: EQ
00000176: PUSH2 0x0cd2
00000179: JUMPI
0000017a: DUP1
0000017b: PUSH4 0xe36b0b37
00000180: EQ
00000181: PUSH2 0x0d57
00000184: JUMPI
00000185: DUP1
00000186: PUSH4 0xea319a9e
0000018b: EQ
0000018c: PUSH2 0x0d6e
0000018f: JUMPI
00000190: DUP1
00000191: PUSH4 0xf28e91d7
00000196: EQ
00000197: PUSH2 0x0dd3
0000019a: JUMPI
0000019b: DUP1
0000019c: PUSH4 0xfa832bc9
000001a1: EQ
000001a2: PUSH2 0x0e24
000001a5: JUMPI
000001a6: JUMPDEST
000001a7: PUSH8 0x06f05b59d3b20000
000001b0: CALLVALUE
000001b1: LT
000001b2: ISZERO
000001b3: ISZERO
000001b4: ISZERO
000001b5: PUSH2 0x024c
000001b8: JUMPI
000001b9: PUSH1 0x40
000001bb: MLOAD
000001bc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000001dd: DUP2
000001de: MSTORE
000001df: PUSH1 0x04
000001e1: ADD
000001e2: DUP1
000001e3: DUP1
000001e4: PUSH1 0x20
000001e6: ADD
000001e7: DUP3
000001e8: DUP2
000001e9: SUB
000001ea: DUP3
000001eb: MSTORE
000001ec: PUSH1 0x29
000001ee: DUP2
000001ef: MSTORE
000001f0: PUSH1 0x20
000001f2: ADD
000001f3: DUP1
000001f4: PUSH32 0x4d696e696d616c20696e766573746d656e74206f6620302e3520455448206973
00000215: DUP2
00000216: MSTORE
00000217: PUSH1 0x20
00000219: ADD
0000021a: PUSH32 0x20616c6c6f7765642e0000000000000000000000000000000000000000000000
0000023b: DUP2
0000023c: MSTORE
0000023d: POP
0000023e: PUSH1 0x40
00000240: ADD
00000241: SWAP2
00000242: POP
00000243: POP
00000244: PUSH1 0x40
00000246: MLOAD
00000247: DUP1
00000248: SWAP2
00000249: SUB
0000024a: SWAP1
0000024b: REVERT
0000024c: JUMPDEST
0000024d: PUSH2 0x02c0
00000250: CALLVALUE
00000251: PUSH1 0x0e
00000253: PUSH1 0x00
00000255: PUSH1 0x0a
00000257: PUSH1 0x00
00000259: SWAP1
0000025a: SLOAD
0000025b: SWAP1
0000025c: PUSH2 0x0100
0000025f: EXP
00000260: SWAP1
00000261: DIV
00000262: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000277: AND
00000278: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000028d: AND
0000028e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002a3: AND
000002a4: DUP2
000002a5: MSTORE
000002a6: PUSH1 0x20
000002a8: ADD
000002a9: SWAP1
000002aa: DUP2
000002ab: MSTORE
000002ac: PUSH1 0x20
000002ae: ADD
000002af: PUSH1 0x00
000002b1: KECCAK256
000002b2: SLOAD
000002b3: PUSH2 0x0e75
000002b6: SWAP1
000002b7: SWAP2
000002b8: SWAP1
000002b9: PUSH4 0xffffffff
000002be: AND
000002bf: JUMP
000002c0: JUMPDEST
000002c1: PUSH1 0x0e
000002c3: PUSH1 0x00
000002c5: PUSH1 0x0a
000002c7: PUSH1 0x00
000002c9: SWAP1
000002ca: SLOAD
000002cb: SWAP1
000002cc: PUSH2 0x0100
000002cf: EXP
000002d0: SWAP1
000002d1: DIV
000002d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002e7: AND
000002e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002fd: AND
000002fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000313: AND
00000314: DUP2
00000315: MSTORE
00000316: PUSH1 0x20
00000318: ADD
00000319: SWAP1
0000031a: DUP2
0000031b: MSTORE
0000031c: PUSH1 0x20
0000031e: ADD
0000031f: PUSH1 0x00
00000321: KECCAK256
00000322: DUP2
00000323: SWAP1
00000324: SSTORE
00000325: POP
00000326: CALLER
00000327: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000033c: AND
0000033d: PUSH32 0x43ebac4a7e8b5a68e51ed4651c8d710a56c86aecb3df2870ada03c2cd63a2280
0000035e: CALLVALUE
0000035f: PUSH1 0x07
00000361: SLOAD
00000362: PUSH2 0x0369
00000365: PUSH2 0x0eff
00000368: JUMP
00000369: JUMPDEST
0000036a: TIMESTAMP
0000036b: PUSH1 0x40
0000036d: MLOAD
0000036e: DUP1
0000036f: DUP6
00000370: DUP2
00000371: MSTORE
00000372: PUSH1 0x20
00000374: ADD
00000375: DUP5
00000376: DUP2
00000377: MSTORE
00000378: PUSH1 0x20
0000037a: ADD
0000037b: DUP4
0000037c: DUP2
0000037d: MSTORE
0000037e: PUSH1 0x20
00000380: ADD
00000381: DUP3
00000382: DUP2
00000383: MSTORE
00000384: PUSH1 0x20
00000386: ADD
00000387: SWAP5
00000388: POP
00000389: POP
0000038a: POP
0000038b: POP
0000038c: POP
0000038d: PUSH1 0x40
0000038f: MLOAD
00000390: DUP1
00000391: SWAP2
00000392: SUB
00000393: SWAP1
00000394: LOG2
00000395: STOP
00000396: JUMPDEST
00000397: CALLVALUE
00000398: DUP1
00000399: ISZERO
0000039a: PUSH2 0x03a2
0000039d: JUMPI
0000039e: PUSH1 0x00
000003a0: DUP1
000003a1: REVERT
000003a2: JUMPDEST
000003a3: POP
000003a4: PUSH2 0x03e5
000003a7: PUSH1 0x04
000003a9: DUP1
000003aa: CALLDATASIZE
000003ab: SUB
000003ac: PUSH1 0x20
000003ae: DUP2
000003af: LT
000003b0: ISZERO
000003b1: PUSH2 0x03b9
000003b4: JUMPI
000003b5: PUSH1 0x00
000003b7: DUP1
000003b8: REVERT
000003b9: JUMPDEST
000003ba: DUP2
000003bb: ADD
000003bc: SWAP1
000003bd: DUP1
000003be: DUP1
000003bf: CALLDATALOAD
000003c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003d5: AND
000003d6: SWAP1
000003d7: PUSH1 0x20
000003d9: ADD
000003da: SWAP1
000003db: SWAP3
000003dc: SWAP2
000003dd: SWAP1
000003de: POP
000003df: POP
000003e0: POP
000003e1: PUSH2 0x0f58
000003e4: JUMP
000003e5: JUMPDEST
000003e6: STOP
000003e7: JUMPDEST
000003e8: CALLVALUE
000003e9: DUP1
000003ea: ISZERO
000003eb: PUSH2 0x03f3
000003ee: JUMPI
000003ef: PUSH1 0x00
000003f1: DUP1
000003f2: REVERT
000003f3: JUMPDEST
000003f4: POP
000003f5: PUSH2 0x03fc
000003f8: PUSH2 0x1103
000003fb: JUMP
000003fc: JUMPDEST
000003fd: PUSH1 0x40
000003ff: MLOAD
00000400: DUP1
00000401: DUP1
00000402: PUSH1 0x20
00000404: ADD
00000405: DUP3
00000406: DUP2
00000407: SUB
00000408: DUP3
00000409: MSTORE
0000040a: DUP4
0000040b: DUP2
0000040c: DUP2
0000040d: MLOAD
0000040e: DUP2
0000040f: MSTORE
00000410: PUSH1 0x20
00000412: ADD
00000413: SWAP2
00000414: POP
00000415: DUP1
00000416: MLOAD
00000417: SWAP1
00000418: PUSH1 0x20
0000041a: ADD
0000041b: SWAP1
0000041c: DUP1
0000041d: DUP4
0000041e: DUP4
0000041f: PUSH1 0x00
00000421: JUMPDEST
00000422: DUP4
00000423: DUP2
00000424: LT
00000425: ISZERO
00000426: PUSH2 0x043c
00000429: JUMPI
0000042a: DUP1
0000042b: DUP3
0000042c: ADD
0000042d: MLOAD
0000042e: DUP2
0000042f: DUP5
00000430: ADD
00000431: MSTORE
00000432: PUSH1 0x20
00000434: DUP2
00000435: ADD
00000436: SWAP1
00000437: POP
00000438: PUSH2 0x0421
0000043b: JUMP
0000043c: JUMPDEST
0000043d: POP
0000043e: POP
0000043f: POP
00000440: POP
00000441: SWAP1
00000442: POP
00000443: SWAP1
00000444: DUP2
00000445: ADD
00000446: SWAP1
00000447: PUSH1 0x1f
00000449: AND
0000044a: DUP1
0000044b: ISZERO
0000044c: PUSH2 0x0469
0000044f: JUMPI
00000450: DUP1
00000451: DUP3
00000452: SUB
00000453: DUP1
00000454: MLOAD
00000455: PUSH1 0x01
00000457: DUP4
00000458: PUSH1 0x20
0000045a: SUB
0000045b: PUSH2 0x0100
0000045e: EXP
0000045f: SUB
00000460: NOT
00000461: AND
00000462: DUP2
00000463: MSTORE
00000464: PUSH1 0x20
00000466: ADD
00000467: SWAP2
00000468: POP
00000469: JUMPDEST
0000046a: POP
0000046b: SWAP3
0000046c: POP
0000046d: POP
0000046e: POP
0000046f: PUSH1 0x40
00000471: MLOAD
00000472: DUP1
00000473: SWAP2
00000474: SUB
00000475: SWAP1
00000476: RETURN
00000477: JUMPDEST
00000478: CALLVALUE
00000479: DUP1
0000047a: ISZERO
0000047b: PUSH2 0x0483
0000047e: JUMPI
0000047f: PUSH1 0x00
00000481: DUP1
00000482: REVERT
00000483: JUMPDEST
00000484: POP
00000485: PUSH2 0x04d0
00000488: PUSH1 0x04
0000048a: DUP1
0000048b: CALLDATASIZE
0000048c: SUB
0000048d: PUSH1 0x40
0000048f: DUP2
00000490: LT
00000491: ISZERO
00000492: PUSH2 0x049a
00000495: JUMPI
00000496: PUSH1 0x00
00000498: DUP1
00000499: REVERT
0000049a: JUMPDEST
0000049b: DUP2
0000049c: ADD
0000049d: SWAP1
0000049e: DUP1
0000049f: DUP1
000004a0: CALLDATALOAD
000004a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004b6: AND
000004b7: SWAP1
000004b8: PUSH1 0x20
000004ba: ADD
000004bb: SWAP1
000004bc: SWAP3
000004bd: SWAP2
000004be: SWAP1
000004bf: DUP1
000004c0: CALLDATALOAD
000004c1: SWAP1
000004c2: PUSH1 0x20
000004c4: ADD
000004c5: SWAP1
000004c6: SWAP3
000004c7: SWAP2
000004c8: SWAP1
000004c9: POP
000004ca: POP
000004cb: POP
000004cc: PUSH2 0x11a1
000004cf: JUMP
000004d0: JUMPDEST
000004d1: PUSH1 0x40
000004d3: MLOAD
000004d4: DUP1
000004d5: DUP3
000004d6: ISZERO
000004d7: ISZERO
000004d8: ISZERO
000004d9: ISZERO
000004da: DUP2
000004db: MSTORE
000004dc: PUSH1 0x20
000004de: ADD
000004df: SWAP2
000004e0: POP
000004e1: POP
000004e2: PUSH1 0x40
000004e4: MLOAD
000004e5: DUP1
000004e6: SWAP2
000004e7: SUB
000004e8: SWAP1
000004e9: RETURN
000004ea: JUMPDEST
000004eb: CALLVALUE
000004ec: DUP1
000004ed: ISZERO
000004ee: PUSH2 0x04f6
000004f1: JUMPI
000004f2: PUSH1 0x00
000004f4: DUP1
000004f5: REVERT
000004f6: JUMPDEST
000004f7: POP
000004f8: PUSH2 0x0539
000004fb: PUSH1 0x04
000004fd: DUP1
000004fe: CALLDATASIZE
000004ff: SUB
00000500: PUSH1 0x20
00000502: DUP2
00000503: LT
00000504: ISZERO
00000505: PUSH2 0x050d
00000508: JUMPI
00000509: PUSH1 0x00
0000050b: DUP1
0000050c: REVERT
0000050d: JUMPDEST
0000050e: DUP2
0000050f: ADD
00000510: SWAP1
00000511: DUP1
00000512: DUP1
00000513: CALLDATALOAD
00000514: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000529: AND
0000052a: SWAP1
0000052b: PUSH1 0x20
0000052d: ADD
0000052e: SWAP1
0000052f: SWAP3
00000530: SWAP2
00000531: SWAP1
00000532: POP
00000533: POP
00000534: POP
00000535: PUSH2 0x11bf
00000538: JUMP
00000539: JUMPDEST
0000053a: STOP
0000053b: JUMPDEST
0000053c: CALLVALUE
0000053d: DUP1
0000053e: ISZERO
0000053f: PUSH2 0x0547
00000542: JUMPI
00000543: PUSH1 0x00
00000545: DUP1
00000546: REVERT
00000547: JUMPDEST
00000548: POP
00000549: PUSH2 0x058a
0000054c: PUSH1 0x04
0000054e: DUP1
0000054f: CALLDATASIZE
00000550: SUB
00000551: PUSH1 0x20
00000553: DUP2
00000554: LT
00000555: ISZERO
00000556: PUSH2 0x055e
00000559: JUMPI
0000055a: PUSH1 0x00
0000055c: DUP1
0000055d: REVERT
0000055e: JUMPDEST
0000055f: DUP2
00000560: ADD
00000561: SWAP1
00000562: DUP1
00000563: DUP1
00000564: CALLDATALOAD
00000565: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000057a: AND
0000057b: SWAP1
0000057c: PUSH1 0x20
0000057e: ADD
0000057f: SWAP1
00000580: SWAP3
00000581: SWAP2
00000582: SWAP1
00000583: POP
00000584: POP
00000585: POP
00000586: PUSH2 0x134f
00000589: JUMP
0000058a: JUMPDEST
0000058b: STOP
0000058c: JUMPDEST
0000058d: CALLVALUE
0000058e: DUP1
0000058f: ISZERO
00000590: PUSH2 0x0598
00000593: JUMPI
00000594: PUSH1 0x00
00000596: DUP1
00000597: REVERT
00000598: JUMPDEST
00000599: POP
0000059a: PUSH2 0x05a1
0000059d: PUSH2 0x14bd
000005a0: JUMP
000005a1: JUMPDEST
000005a2: PUSH1 0x40
000005a4: MLOAD
000005a5: DUP1
000005a6: DUP3
000005a7: DUP2
000005a8: MSTORE
000005a9: PUSH1 0x20
000005ab: ADD
000005ac: SWAP2
000005ad: POP
000005ae: POP
000005af: PUSH1 0x40
000005b1: MLOAD
000005b2: DUP1
000005b3: SWAP2
000005b4: SUB
000005b5: SWAP1
000005b6: RETURN
000005b7: JUMPDEST
000005b8: PUSH2 0x0603
000005bb: PUSH1 0x04
000005bd: DUP1
000005be: CALLDATASIZE
000005bf: SUB
000005c0: PUSH1 0x40
000005c2: DUP2
000005c3: LT
000005c4: ISZERO
000005c5: PUSH2 0x05cd
000005c8: JUMPI
000005c9: PUSH1 0x00
000005cb: DUP1
000005cc: REVERT
000005cd: JUMPDEST
000005ce: DUP2
000005cf: ADD
000005d0: SWAP1
000005d1: DUP1
000005d2: DUP1
000005d3: CALLDATALOAD
000005d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e9: AND
000005ea: SWAP1
000005eb: PUSH1 0x20
000005ed: ADD
000005ee: SWAP1
000005ef: SWAP3
000005f0: SWAP2
000005f1: SWAP1
000005f2: DUP1
000005f3: CALLDATALOAD
000005f4: SWAP1
000005f5: PUSH1 0x20
000005f7: ADD
000005f8: SWAP1
000005f9: SWAP3
000005fa: SWAP2
000005fb: SWAP1
000005fc: POP
000005fd: POP
000005fe: POP
000005ff: PUSH2 0x14c7
00000602: JUMP
00000603: JUMPDEST
00000604: STOP
00000605: JUMPDEST
00000606: CALLVALUE
00000607: DUP1
00000608: ISZERO
00000609: PUSH2 0x0611
0000060c: JUMPI
0000060d: PUSH1 0x00
0000060f: DUP1
00000610: REVERT
00000611: JUMPDEST
00000612: POP
00000613: PUSH2 0x067e
00000616: PUSH1 0x04
00000618: DUP1
00000619: CALLDATASIZE
0000061a: SUB
0000061b: PUSH1 0x60
0000061d: DUP2
0000061e: LT
0000061f: ISZERO
00000620: PUSH2 0x0628
00000623: JUMPI
00000624: PUSH1 0x00
00000626: DUP1
00000627: REVERT
00000628: JUMPDEST
00000629: DUP2
0000062a: ADD
0000062b: SWAP1
0000062c: DUP1
0000062d: DUP1
0000062e: CALLDATALOAD
0000062f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000644: AND
00000645: SWAP1
00000646: PUSH1 0x20
00000648: ADD
00000649: SWAP1
0000064a: SWAP3
0000064b: SWAP2
0000064c: SWAP1
0000064d: DUP1
0000064e: CALLDATALOAD
0000064f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000664: AND
00000665: SWAP1
00000666: PUSH1 0x20
00000668: ADD
00000669: SWAP1
0000066a: SWAP3
0000066b: SWAP2
0000066c: SWAP1
0000066d: DUP1
0000066e: CALLDATALOAD
0000066f: SWAP1
00000670: PUSH1 0x20
00000672: ADD
00000673: SWAP1
00000674: SWAP3
00000675: SWAP2
00000676: SWAP1
00000677: POP
00000678: POP
00000679: POP
0000067a: PUSH2 0x170c
0000067d: JUMP
0000067e: JUMPDEST
0000067f: PUSH1 0x40
00000681: MLOAD
00000682: DUP1
00000683: DUP3
00000684: ISZERO
00000685: ISZERO
00000686: ISZERO
00000687: ISZERO
00000688: DUP2
00000689: MSTORE
0000068a: PUSH1 0x20
0000068c: ADD
0000068d: SWAP2
0000068e: POP
0000068f: POP
00000690: PUSH1 0x40
00000692: MLOAD
00000693: DUP1
00000694: SWAP2
00000695: SUB
00000696: SWAP1
00000697: RETURN
00000698: JUMPDEST
00000699: CALLVALUE
0000069a: DUP1
0000069b: ISZERO
0000069c: PUSH2 0x06a4
0000069f: JUMPI
000006a0: PUSH1 0x00
000006a2: DUP1
000006a3: REVERT
000006a4: JUMPDEST
000006a5: POP
000006a6: PUSH2 0x06d1
000006a9: PUSH1 0x04
000006ab: DUP1
000006ac: CALLDATASIZE
000006ad: SUB
000006ae: PUSH1 0x20
000006b0: DUP2
000006b1: LT
000006b2: ISZERO
000006b3: PUSH2 0x06bb
000006b6: JUMPI
000006b7: PUSH1 0x00
000006b9: DUP1
000006ba: REVERT
000006bb: JUMPDEST
000006bc: DUP2
000006bd: ADD
000006be: SWAP1
000006bf: DUP1
000006c0: DUP1
000006c1: CALLDATALOAD
000006c2: SWAP1
000006c3: PUSH1 0x20
000006c5: ADD
000006c6: SWAP1
000006c7: SWAP3
000006c8: SWAP2
000006c9: SWAP1
000006ca: POP
000006cb: POP
000006cc: POP
000006cd: PUSH2 0x1829
000006d0: JUMP
000006d1: JUMPDEST
000006d2: STOP
000006d3: JUMPDEST
000006d4: CALLVALUE
000006d5: DUP1
000006d6: ISZERO
000006d7: PUSH2 0x06df
000006da: JUMPI
000006db: PUSH1 0x00
000006dd: DUP1
000006de: REVERT
000006df: JUMPDEST
000006e0: POP
000006e1: PUSH2 0x06e8
000006e4: PUSH2 0x1b05
000006e7: JUMP
000006e8: JUMPDEST
000006e9: PUSH1 0x40
000006eb: MLOAD
000006ec: DUP1
000006ed: DUP3
000006ee: PUSH1 0xff
000006f0: AND
000006f1: PUSH1 0xff
000006f3: AND
000006f4: DUP2
000006f5: MSTORE
000006f6: PUSH1 0x20
000006f8: ADD
000006f9: SWAP2
000006fa: POP
000006fb: POP
000006fc: PUSH1 0x40
000006fe: MLOAD
000006ff: DUP1
00000700: SWAP2
00000701: SUB
00000702: SWAP1
00000703: RETURN
00000704: JUMPDEST
00000705: CALLVALUE
00000706: DUP1
00000707: ISZERO
00000708: PUSH2 0x0710
0000070b: JUMPI
0000070c: PUSH1 0x00
0000070e: DUP1
0000070f: REVERT
00000710: JUMPDEST
00000711: POP
00000712: PUSH2 0x075d
00000715: PUSH1 0x04
00000717: DUP1
00000718: CALLDATASIZE
00000719: SUB
0000071a: PUSH1 0x40
0000071c: DUP2
0000071d: LT
0000071e: ISZERO
0000071f: PUSH2 0x0727
00000722: JUMPI
00000723: PUSH1 0x00
00000725: DUP1
00000726: REVERT
00000727: JUMPDEST
00000728: DUP2
00000729: ADD
0000072a: SWAP1
0000072b: DUP1
0000072c: DUP1
0000072d: CALLDATALOAD
0000072e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000743: AND
00000744: SWAP1
00000745: PUSH1 0x20
00000747: ADD
00000748: SWAP1
00000749: SWAP3
0000074a: SWAP2
0000074b: SWAP1
0000074c: DUP1
0000074d: CALLDATALOAD
0000074e: SWAP1
0000074f: PUSH1 0x20
00000751: ADD
00000752: SWAP1
00000753: SWAP3
00000754: SWAP2
00000755: SWAP1
00000756: POP
00000757: POP
00000758: POP
00000759: PUSH2 0x1b18
0000075c: JUMP
0000075d: JUMPDEST
0000075e: PUSH1 0x40
00000760: MLOAD
00000761: DUP1
00000762: DUP3
00000763: ISZERO
00000764: ISZERO
00000765: ISZERO
00000766: ISZERO
00000767: DUP2
00000768: MSTORE
00000769: PUSH1 0x20
0000076b: ADD
0000076c: SWAP2
0000076d: POP
0000076e: POP
0000076f: PUSH1 0x40
00000771: MLOAD
00000772: DUP1
00000773: SWAP2
00000774: SUB
00000775: SWAP1
00000776: RETURN
00000777: JUMPDEST
00000778: PUSH2 0x07e3
0000077b: PUSH1 0x04
0000077d: DUP1
0000077e: CALLDATASIZE
0000077f: SUB
00000780: PUSH1 0x60
00000782: DUP2
00000783: LT
00000784: ISZERO
00000785: PUSH2 0x078d
00000788: JUMPI
00000789: PUSH1 0x00
0000078b: DUP1
0000078c: REVERT
0000078d: JUMPDEST
0000078e: DUP2
0000078f: ADD
00000790: SWAP1
00000791: DUP1
00000792: DUP1
00000793: CALLDATALOAD
00000794: SWAP1
00000795: PUSH1 0x20
00000797: ADD
00000798: SWAP1
00000799: SWAP3
0000079a: SWAP2
0000079b: SWAP1
0000079c: DUP1
0000079d: CALLDATALOAD
0000079e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007b3: AND
000007b4: SWAP1
000007b5: PUSH1 0x20
000007b7: ADD
000007b8: SWAP1
000007b9: SWAP3
000007ba: SWAP2
000007bb: SWAP1
000007bc: DUP1
000007bd: CALLDATALOAD
000007be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d3: AND
000007d4: SWAP1
000007d5: PUSH1 0x20
000007d7: ADD
000007d8: SWAP1
000007d9: SWAP3
000007da: SWAP2
000007db: SWAP1
000007dc: POP
000007dd: POP
000007de: POP
000007df: PUSH2 0x1bcb
000007e2: JUMP
000007e3: JUMPDEST
000007e4: STOP
000007e5: JUMPDEST
000007e6: CALLVALUE
000007e7: DUP1
000007e8: ISZERO
000007e9: PUSH2 0x07f1
000007ec: JUMPI
000007ed: PUSH1 0x00
000007ef: DUP1
000007f0: REVERT
000007f1: JUMPDEST
000007f2: POP
000007f3: PUSH2 0x0834
000007f6: PUSH1 0x04
000007f8: DUP1
000007f9: CALLDATASIZE
000007fa: SUB
000007fb: PUSH1 0x20
000007fd: DUP2
000007fe: LT
000007ff: ISZERO
00000800: PUSH2 0x0808
00000803: JUMPI
00000804: PUSH1 0x00
00000806: DUP1
00000807: REVERT
00000808: JUMPDEST
00000809: DUP2
0000080a: ADD
0000080b: SWAP1
0000080c: DUP1
0000080d: DUP1
0000080e: CALLDATALOAD
0000080f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000824: AND
00000825: SWAP1
00000826: PUSH1 0x20
00000828: ADD
00000829: SWAP1
0000082a: SWAP3
0000082b: SWAP2
0000082c: SWAP1
0000082d: POP
0000082e: POP
0000082f: POP
00000830: PUSH2 0x1c83
00000833: JUMP
00000834: JUMPDEST
00000835: PUSH1 0x40
00000837: MLOAD
00000838: DUP1
00000839: DUP3
0000083a: ISZERO
0000083b: ISZERO
0000083c: ISZERO
0000083d: ISZERO
0000083e: DUP2
0000083f: MSTORE
00000840: PUSH1 0x20
00000842: ADD
00000843: SWAP2
00000844: POP
00000845: POP
00000846: PUSH1 0x40
00000848: MLOAD
00000849: DUP1
0000084a: SWAP2
0000084b: SUB
0000084c: SWAP1
0000084d: RETURN
0000084e: JUMPDEST
0000084f: CALLVALUE
00000850: DUP1
00000851: ISZERO
00000852: PUSH2 0x085a
00000855: JUMPI
00000856: PUSH1 0x00
00000858: DUP1
00000859: REVERT
0000085a: JUMPDEST
0000085b: POP
0000085c: PUSH2 0x089d
0000085f: PUSH1 0x04
00000861: DUP1
00000862: CALLDATASIZE
00000863: SUB
00000864: PUSH1 0x20
00000866: DUP2
00000867: LT
00000868: ISZERO
00000869: PUSH2 0x0871
0000086c: JUMPI
0000086d: PUSH1 0x00
0000086f: DUP1
00000870: REVERT
00000871: JUMPDEST
00000872: DUP2
00000873: ADD
00000874: SWAP1
00000875: DUP1
00000876: DUP1
00000877: CALLDATALOAD
00000878: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000088d: AND
0000088e: SWAP1
0000088f: PUSH1 0x20
00000891: ADD
00000892: SWAP1
00000893: SWAP3
00000894: SWAP2
00000895: SWAP1
00000896: POP
00000897: POP
00000898: POP
00000899: PUSH2 0x1ca3
0000089c: JUMP
0000089d: JUMPDEST
0000089e: PUSH1 0x40
000008a0: MLOAD
000008a1: DUP1
000008a2: DUP3
000008a3: DUP2
000008a4: MSTORE
000008a5: PUSH1 0x20
000008a7: ADD
000008a8: SWAP2
000008a9: POP
000008aa: POP
000008ab: PUSH1 0x40
000008ad: MLOAD
000008ae: DUP1
000008af: SWAP2
000008b0: SUB
000008b1: SWAP1
000008b2: RETURN
000008b3: JUMPDEST
000008b4: CALLVALUE
000008b5: DUP1
000008b6: ISZERO
000008b7: PUSH2 0x08bf
000008ba: JUMPI
000008bb: PUSH1 0x00
000008bd: DUP1
000008be: REVERT
000008bf: JUMPDEST
000008c0: POP
000008c1: PUSH2 0x08f6
000008c4: PUSH1 0x04
000008c6: DUP1
000008c7: CALLDATASIZE
000008c8: SUB
000008c9: PUSH1 0x40
000008cb: DUP2
000008cc: LT
000008cd: ISZERO
000008ce: PUSH2 0x08d6
000008d1: JUMPI
000008d2: PUSH1 0x00
000008d4: DUP1
000008d5: REVERT
000008d6: JUMPDEST
000008d7: DUP2
000008d8: ADD
000008d9: SWAP1
000008da: DUP1
000008db: DUP1
000008dc: CALLDATALOAD
000008dd: SWAP1
000008de: PUSH1 0x20
000008e0: ADD
000008e1: SWAP1
000008e2: SWAP3
000008e3: SWAP2
000008e4: SWAP1
000008e5: DUP1
000008e6: CALLDATALOAD
000008e7: SWAP1
000008e8: PUSH1 0x20
000008ea: ADD
000008eb: SWAP1
000008ec: SWAP3
000008ed: SWAP2
000008ee: SWAP1
000008ef: POP
000008f0: POP
000008f1: POP
000008f2: PUSH2 0x1cbb
000008f5: JUMP
000008f6: JUMPDEST
000008f7: STOP
000008f8: JUMPDEST
000008f9: CALLVALUE
000008fa: DUP1
000008fb: ISZERO
000008fc: PUSH2 0x0904
000008ff: JUMPI
00000900: PUSH1 0x00
00000902: DUP1
00000903: REVERT
00000904: JUMPDEST
00000905: POP
00000906: PUSH2 0x090d
00000909: PUSH2 0x1f5f
0000090c: JUMP
0000090d: JUMPDEST
0000090e: PUSH1 0x40
00000910: MLOAD
00000911: DUP1
00000912: DUP3
00000913: ISZERO
00000914: ISZERO
00000915: ISZERO
00000916: ISZERO
00000917: DUP2
00000918: MSTORE
00000919: PUSH1 0x20
0000091b: ADD
0000091c: SWAP2
0000091d: POP
0000091e: POP
0000091f: PUSH1 0x40
00000921: MLOAD
00000922: DUP1
00000923: SWAP2
00000924: SUB
00000925: SWAP1
00000926: RETURN
00000927: JUMPDEST
00000928: PUSH2 0x0976
0000092b: PUSH1 0x04
0000092d: DUP1
0000092e: CALLDATASIZE
0000092f: SUB
00000930: PUSH1 0x40
00000932: DUP2
00000933: LT
00000934: ISZERO
00000935: PUSH2 0x093d
00000938: JUMPI
00000939: PUSH1 0x00
0000093b: DUP1
0000093c: REVERT
0000093d: JUMPDEST
0000093e: DUP2
0000093f: ADD
00000940: SWAP1
00000941: DUP1
00000942: DUP1
00000943: CALLDATALOAD
00000944: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000959: AND
0000095a: SWAP1
0000095b: PUSH1 0x20
0000095d: ADD
0000095e: SWAP1
0000095f: SWAP3
00000960: SWAP2
00000961: SWAP1
00000962: DUP1
00000963: CALLDATALOAD
00000964: PUSH1 0xff
00000966: AND
00000967: SWAP1
00000968: PUSH1 0x20
0000096a: ADD
0000096b: SWAP1
0000096c: SWAP3
0000096d: SWAP2
0000096e: SWAP1
0000096f: POP
00000970: POP
00000971: POP
00000972: PUSH2 0x1f72
00000975: JUMP
00000976: JUMPDEST
00000977: STOP
00000978: JUMPDEST
00000979: CALLVALUE
0000097a: DUP1
0000097b: ISZERO
0000097c: PUSH2 0x0984
0000097f: JUMPI
00000980: PUSH1 0x00
00000982: DUP1
00000983: REVERT
00000984: JUMPDEST
00000985: POP
00000986: PUSH2 0x09c7
00000989: PUSH1 0x04
0000098b: DUP1
0000098c: CALLDATASIZE
0000098d: SUB
0000098e: PUSH1 0x20
00000990: DUP2
00000991: LT
00000992: ISZERO
00000993: PUSH2 0x099b
00000996: JUMPI
00000997: PUSH1 0x00
00000999: DUP1
0000099a: REVERT
0000099b: JUMPDEST
0000099c: DUP2
0000099d: ADD
0000099e: SWAP1
0000099f: DUP1
000009a0: DUP1
000009a1: CALLDATALOAD
000009a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b7: AND
000009b8: SWAP1
000009b9: PUSH1 0x20
000009bb: ADD
000009bc: SWAP1
000009bd: SWAP3
000009be: SWAP2
000009bf: SWAP1
000009c0: POP
000009c1: POP
000009c2: POP
000009c3: PUSH2 0x20fe
000009c6: JUMP
000009c7: JUMPDEST
000009c8: PUSH1 0x40
000009ca: MLOAD
000009cb: DUP1
000009cc: DUP3
000009cd: DUP2
000009ce: MSTORE
000009cf: PUSH1 0x20
000009d1: ADD
000009d2: SWAP2
000009d3: POP
000009d4: POP
000009d5: PUSH1 0x40
000009d7: MLOAD
000009d8: DUP1
000009d9: SWAP2
000009da: SUB
000009db: SWAP1
000009dc: RETURN
000009dd: JUMPDEST
000009de: CALLVALUE
000009df: DUP1
000009e0: ISZERO
000009e1: PUSH2 0x09e9
000009e4: JUMPI
000009e5: PUSH1 0x00
000009e7: DUP1
000009e8: REVERT
000009e9: JUMPDEST
000009ea: POP
000009eb: PUSH2 0x09f2
000009ee: PUSH2 0x2146
000009f1: JUMP
000009f2: JUMPDEST
000009f3: PUSH1 0x40
000009f5: MLOAD
000009f6: DUP1
000009f7: DUP3
000009f8: DUP2
000009f9: MSTORE
000009fa: PUSH1 0x20
000009fc: ADD
000009fd: SWAP2
000009fe: POP
000009ff: POP
00000a00: PUSH1 0x40
00000a02: MLOAD
00000a03: DUP1
00000a04: SWAP2
00000a05: SUB
00000a06: SWAP1
00000a07: RETURN
00000a08: JUMPDEST
00000a09: CALLVALUE
00000a0a: DUP1
00000a0b: ISZERO
00000a0c: PUSH2 0x0a14
00000a0f: JUMPI
00000a10: PUSH1 0x00
00000a12: DUP1
00000a13: REVERT
00000a14: JUMPDEST
00000a15: POP
00000a16: PUSH2 0x0a1d
00000a19: PUSH2 0x214c
00000a1c: JUMP
00000a1d: JUMPDEST
00000a1e: PUSH1 0x40
00000a20: MLOAD
00000a21: DUP1
00000a22: DUP1
00000a23: PUSH1 0x20
00000a25: ADD
00000a26: DUP3
00000a27: DUP2
00000a28: SUB
00000a29: DUP3
00000a2a: MSTORE
00000a2b: DUP4
00000a2c: DUP2
00000a2d: DUP2
00000a2e: MLOAD
00000a2f: DUP2
00000a30: MSTORE
00000a31: PUSH1 0x20
00000a33: ADD
00000a34: SWAP2
00000a35: POP
00000a36: DUP1
00000a37: MLOAD
00000a38: SWAP1
00000a39: PUSH1 0x20
00000a3b: ADD
00000a3c: SWAP1
00000a3d: DUP1
00000a3e: DUP4
00000a3f: DUP4
00000a40: PUSH1 0x00
00000a42: JUMPDEST
00000a43: DUP4
00000a44: DUP2
00000a45: LT
00000a46: ISZERO
00000a47: PUSH2 0x0a5d
00000a4a: JUMPI
00000a4b: DUP1
00000a4c: DUP3
00000a4d: ADD
00000a4e: MLOAD
00000a4f: DUP2
00000a50: DUP5
00000a51: ADD
00000a52: MSTORE
00000a53: PUSH1 0x20
00000a55: DUP2
00000a56: ADD
00000a57: SWAP1
00000a58: POP
00000a59: PUSH2 0x0a42
00000a5c: JUMP
00000a5d: JUMPDEST
00000a5e: POP
00000a5f: POP
00000a60: POP
00000a61: POP
00000a62: SWAP1
00000a63: POP
00000a64: SWAP1
00000a65: DUP2
00000a66: ADD
00000a67: SWAP1
00000a68: PUSH1 0x1f
00000a6a: AND
00000a6b: DUP1
00000a6c: ISZERO
00000a6d: PUSH2 0x0a8a
00000a70: JUMPI
00000a71: DUP1
00000a72: DUP3
00000a73: SUB
00000a74: DUP1
00000a75: MLOAD
00000a76: PUSH1 0x01
00000a78: DUP4
00000a79: PUSH1 0x20
00000a7b: SUB
00000a7c: PUSH2 0x0100
00000a7f: EXP
00000a80: SUB
00000a81: NOT
00000a82: AND
00000a83: DUP2
00000a84: MSTORE
00000a85: PUSH1 0x20
00000a87: ADD
00000a88: SWAP2
00000a89: POP
00000a8a: JUMPDEST
00000a8b: POP
00000a8c: SWAP3
00000a8d: POP
00000a8e: POP
00000a8f: POP
00000a90: PUSH1 0x40
00000a92: MLOAD
00000a93: DUP1
00000a94: SWAP2
00000a95: SUB
00000a96: SWAP1
00000a97: RETURN
00000a98: JUMPDEST
00000a99: CALLVALUE
00000a9a: DUP1
00000a9b: ISZERO
00000a9c: PUSH2 0x0aa4
00000a9f: JUMPI
00000aa0: PUSH1 0x00
00000aa2: DUP1
00000aa3: REVERT
00000aa4: JUMPDEST
00000aa5: POP
00000aa6: PUSH2 0x0aad
00000aa9: PUSH2 0x21ea
00000aac: JUMP
00000aad: JUMPDEST
00000aae: PUSH1 0x40
00000ab0: MLOAD
00000ab1: DUP1
00000ab2: DUP3
00000ab3: ISZERO
00000ab4: ISZERO
00000ab5: ISZERO
00000ab6: ISZERO
00000ab7: DUP2
00000ab8: MSTORE
00000ab9: PUSH1 0x20
00000abb: ADD
00000abc: SWAP2
00000abd: POP
00000abe: POP
00000abf: PUSH1 0x40
00000ac1: MLOAD
00000ac2: DUP1
00000ac3: SWAP2
00000ac4: SUB
00000ac5: SWAP1
00000ac6: RETURN
00000ac7: JUMPDEST
00000ac8: CALLVALUE
00000ac9: DUP1
00000aca: ISZERO
00000acb: PUSH2 0x0ad3
00000ace: JUMPI
00000acf: PUSH1 0x00
00000ad1: DUP1
00000ad2: REVERT
00000ad3: JUMPDEST
00000ad4: POP
00000ad5: PUSH2 0x0adc
00000ad8: PUSH2 0x0eff
00000adb: JUMP
00000adc: JUMPDEST
00000add: PUSH1 0x40
00000adf: MLOAD
00000ae0: DUP1
00000ae1: DUP3
00000ae2: DUP2
00000ae3: MSTORE
00000ae4: PUSH1 0x20
00000ae6: ADD
00000ae7: SWAP2
00000ae8: POP
00000ae9: POP
00000aea: PUSH1 0x40
00000aec: MLOAD
00000aed: DUP1
00000aee: SWAP2
00000aef: SUB
00000af0: SWAP1
00000af1: RETURN
00000af2: JUMPDEST
00000af3: CALLVALUE
00000af4: DUP1
00000af5: ISZERO
00000af6: PUSH2 0x0afe
00000af9: JUMPI
00000afa: PUSH1 0x00
00000afc: DUP1
00000afd: REVERT
00000afe: JUMPDEST
00000aff: POP
00000b00: PUSH2 0x0b4b
00000b03: PUSH1 0x04
00000b05: DUP1
00000b06: CALLDATASIZE
00000b07: SUB
00000b08: PUSH1 0x40
00000b0a: DUP2
00000b0b: LT
00000b0c: ISZERO
00000b0d: PUSH2 0x0b15
00000b10: JUMPI
00000b11: PUSH1 0x00
00000b13: DUP1
00000b14: REVERT
00000b15: JUMPDEST
00000b16: DUP2
00000b17: ADD
00000b18: SWAP1
00000b19: DUP1
00000b1a: DUP1
00000b1b: CALLDATALOAD
00000b1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b31: AND
00000b32: SWAP1
00000b33: PUSH1 0x20
00000b35: ADD
00000b36: SWAP1
00000b37: SWAP3
00000b38: SWAP2
00000b39: SWAP1
00000b3a: DUP1
00000b3b: CALLDATALOAD
00000b3c: SWAP1
00000b3d: PUSH1 0x20
00000b3f: ADD
00000b40: SWAP1
00000b41: SWAP3
00000b42: SWAP2
00000b43: SWAP1
00000b44: POP
00000b45: POP
00000b46: POP
00000b47: PUSH2 0x21fd
00000b4a: JUMP
00000b4b: JUMPDEST
00000b4c: PUSH1 0x40
00000b4e: MLOAD
00000b4f: DUP1
00000b50: DUP3
00000b51: ISZERO
00000b52: ISZERO
00000b53: ISZERO
00000b54: ISZERO
00000b55: DUP2
00000b56: MSTORE
00000b57: PUSH1 0x20
00000b59: ADD
00000b5a: SWAP2
00000b5b: POP
00000b5c: POP
00000b5d: PUSH1 0x40
00000b5f: MLOAD
00000b60: DUP1
00000b61: SWAP2
00000b62: SUB
00000b63: SWAP1
00000b64: RETURN
00000b65: JUMPDEST
00000b66: CALLVALUE
00000b67: DUP1
00000b68: ISZERO
00000b69: PUSH2 0x0b71
00000b6c: JUMPI
00000b6d: PUSH1 0x00
00000b6f: DUP1
00000b70: REVERT
00000b71: JUMPDEST
00000b72: POP
00000b73: PUSH2 0x0b9e
00000b76: PUSH1 0x04
00000b78: DUP1
00000b79: CALLDATASIZE
00000b7a: SUB
00000b7b: PUSH1 0x20
00000b7d: DUP2
00000b7e: LT
00000b7f: ISZERO
00000b80: PUSH2 0x0b88
00000b83: JUMPI
00000b84: PUSH1 0x00
00000b86: DUP1
00000b87: REVERT
00000b88: JUMPDEST
00000b89: DUP2
00000b8a: ADD
00000b8b: SWAP1
00000b8c: DUP1
00000b8d: DUP1
00000b8e: CALLDATALOAD
00000b8f: SWAP1
00000b90: PUSH1 0x20
00000b92: ADD
00000b93: SWAP1
00000b94: SWAP3
00000b95: SWAP2
00000b96: SWAP1
00000b97: POP
00000b98: POP
00000b99: POP
00000b9a: PUSH2 0x230e
00000b9d: JUMP
00000b9e: JUMPDEST
00000b9f: PUSH1 0x40
00000ba1: MLOAD
00000ba2: DUP1
00000ba3: DUP3
00000ba4: DUP2
00000ba5: MSTORE
00000ba6: PUSH1 0x20
00000ba8: ADD
00000ba9: SWAP2
00000baa: POP
00000bab: POP
00000bac: PUSH1 0x40
00000bae: MLOAD
00000baf: DUP1
00000bb0: SWAP2
00000bb1: SUB
00000bb2: SWAP1
00000bb3: RETURN
00000bb4: JUMPDEST
00000bb5: CALLVALUE
00000bb6: DUP1
00000bb7: ISZERO
00000bb8: PUSH2 0x0bc0
00000bbb: JUMPI
00000bbc: PUSH1 0x00
00000bbe: DUP1
00000bbf: REVERT
00000bc0: JUMPDEST
00000bc1: POP
00000bc2: PUSH2 0x0c0d
00000bc5: PUSH1 0x04
00000bc7: DUP1
00000bc8: CALLDATASIZE
00000bc9: SUB
00000bca: PUSH1 0x40
00000bcc: DUP2
00000bcd: LT
00000bce: ISZERO
00000bcf: PUSH2 0x0bd7
00000bd2: JUMPI
00000bd3: PUSH1 0x00
00000bd5: DUP1
00000bd6: REVERT
00000bd7: JUMPDEST
00000bd8: DUP2
00000bd9: ADD
00000bda: SWAP1
00000bdb: DUP1
00000bdc: DUP1
00000bdd: CALLDATALOAD
00000bde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf3: AND
00000bf4: SWAP1
00000bf5: PUSH1 0x20
00000bf7: ADD
00000bf8: SWAP1
00000bf9: SWAP3
00000bfa: SWAP2
00000bfb: SWAP1
00000bfc: DUP1
00000bfd: CALLDATALOAD
00000bfe: SWAP1
00000bff: PUSH1 0x20
00000c01: ADD
00000c02: SWAP1
00000c03: SWAP3
00000c04: SWAP2
00000c05: SWAP1
00000c06: POP
00000c07: POP
00000c08: POP
00000c09: PUSH2 0x24b1
00000c0c: JUMP
00000c0d: JUMPDEST
00000c0e: PUSH1 0x40
00000c10: MLOAD
00000c11: DUP1
00000c12: DUP3
00000c13: ISZERO
00000c14: ISZERO
00000c15: ISZERO
00000c16: ISZERO
00000c17: DUP2
00000c18: MSTORE
00000c19: PUSH1 0x20
00000c1b: ADD
00000c1c: SWAP2
00000c1d: POP
00000c1e: POP
00000c1f: PUSH1 0x40
00000c21: MLOAD
00000c22: DUP1
00000c23: SWAP2
00000c24: SUB
00000c25: SWAP1
00000c26: RETURN
00000c27: JUMPDEST
00000c28: CALLVALUE
00000c29: DUP1
00000c2a: ISZERO
00000c2b: PUSH2 0x0c33
00000c2e: JUMPI
00000c2f: PUSH1 0x00
00000c31: DUP1
00000c32: REVERT
00000c33: JUMPDEST
00000c34: POP
00000c35: PUSH2 0x0c60
00000c38: PUSH1 0x04
00000c3a: DUP1
00000c3b: CALLDATASIZE
00000c3c: SUB
00000c3d: PUSH1 0x20
00000c3f: DUP2
00000c40: LT
00000c41: ISZERO
00000c42: PUSH2 0x0c4a
00000c45: JUMPI
00000c46: PUSH1 0x00
00000c48: DUP1
00000c49: REVERT
00000c4a: JUMPDEST
00000c4b: DUP2
00000c4c: ADD
00000c4d: SWAP1
00000c4e: DUP1
00000c4f: DUP1
00000c50: CALLDATALOAD
00000c51: SWAP1
00000c52: PUSH1 0x20
00000c54: ADD
00000c55: SWAP1
00000c56: SWAP3
00000c57: SWAP2
00000c58: SWAP1
00000c59: POP
00000c5a: POP
00000c5b: POP
00000c5c: PUSH2 0x24cf
00000c5f: JUMP
00000c60: JUMPDEST
00000c61: STOP
00000c62: JUMPDEST
00000c63: CALLVALUE
00000c64: DUP1
00000c65: ISZERO
00000c66: PUSH2 0x0c6e
00000c69: JUMPI
00000c6a: PUSH1 0x00
00000c6c: DUP1
00000c6d: REVERT
00000c6e: JUMPDEST
00000c6f: POP
00000c70: PUSH2 0x0c77
00000c73: PUSH2 0x25e7
00000c76: JUMP
00000c77: JUMPDEST
00000c78: STOP
00000c79: JUMPDEST
00000c7a: CALLVALUE
00000c7b: DUP1
00000c7c: ISZERO
00000c7d: PUSH2 0x0c85
00000c80: JUMPI
00000c81: PUSH1 0x00
00000c83: DUP1
00000c84: REVERT
00000c85: JUMPDEST
00000c86: POP
00000c87: PUSH2 0x0cb2
00000c8a: PUSH1 0x04
00000c8c: DUP1
00000c8d: CALLDATASIZE
00000c8e: SUB
00000c8f: PUSH1 0x20
00000c91: DUP2
00000c92: LT
00000c93: ISZERO
00000c94: PUSH2 0x0c9c
00000c97: JUMPI
00000c98: PUSH1 0x00
00000c9a: DUP1
00000c9b: REVERT
00000c9c: JUMPDEST
00000c9d: DUP2
00000c9e: ADD
00000c9f: SWAP1
00000ca0: DUP1
00000ca1: DUP1
00000ca2: CALLDATALOAD
00000ca3: SWAP1
00000ca4: PUSH1 0x20
00000ca6: ADD
00000ca7: SWAP1
00000ca8: SWAP3
00000ca9: SWAP2
00000caa: SWAP1
00000cab: POP
00000cac: POP
00000cad: POP
00000cae: PUSH2 0x26c9
00000cb1: JUMP
00000cb2: JUMPDEST
00000cb3: PUSH1 0x40
00000cb5: MLOAD
00000cb6: DUP1
00000cb7: DUP3
00000cb8: DUP2
00000cb9: MSTORE
00000cba: PUSH1 0x20
00000cbc: ADD
00000cbd: SWAP2
00000cbe: POP
00000cbf: POP
00000cc0: PUSH1 0x40
00000cc2: MLOAD
00000cc3: DUP1
00000cc4: SWAP2
00000cc5: SUB
00000cc6: SWAP1
00000cc7: RETURN
00000cc8: JUMPDEST
00000cc9: PUSH2 0x0cd0
00000ccc: PUSH2 0x2749
00000ccf: JUMP
00000cd0: JUMPDEST
00000cd1: STOP
00000cd2: JUMPDEST
00000cd3: CALLVALUE
00000cd4: DUP1
00000cd5: ISZERO
00000cd6: PUSH2 0x0cde
00000cd9: JUMPI
00000cda: PUSH1 0x00
00000cdc: DUP1
00000cdd: REVERT
00000cde: JUMPDEST
00000cdf: POP
00000ce0: PUSH2 0x0d41
00000ce3: PUSH1 0x04
00000ce5: DUP1
00000ce6: CALLDATASIZE
00000ce7: SUB
00000ce8: PUSH1 0x40
00000cea: DUP2
00000ceb: LT
00000cec: ISZERO
00000ced: PUSH2 0x0cf5
00000cf0: JUMPI
00000cf1: PUSH1 0x00
00000cf3: DUP1
00000cf4: REVERT
00000cf5: JUMPDEST
00000cf6: DUP2
00000cf7: ADD
00000cf8: SWAP1
00000cf9: DUP1
00000cfa: DUP1
00000cfb: CALLDATALOAD
00000cfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d11: AND
00000d12: SWAP1
00000d13: PUSH1 0x20
00000d15: ADD
00000d16: SWAP1
00000d17: SWAP3
00000d18: SWAP2
00000d19: SWAP1
00000d1a: DUP1
00000d1b: CALLDATALOAD
00000d1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d31: AND
00000d32: SWAP1
00000d33: PUSH1 0x20
00000d35: ADD
00000d36: SWAP1
00000d37: SWAP3
00000d38: SWAP2
00000d39: SWAP1
00000d3a: POP
00000d3b: POP
00000d3c: POP
00000d3d: PUSH2 0x28ed
00000d40: JUMP
00000d41: JUMPDEST
00000d42: PUSH1 0x40
00000d44: MLOAD
00000d45: DUP1
00000d46: DUP3
00000d47: DUP2
00000d48: MSTORE
00000d49: PUSH1 0x20
00000d4b: ADD
00000d4c: SWAP2
00000d4d: POP
00000d4e: POP
00000d4f: PUSH1 0x40
00000d51: MLOAD
00000d52: DUP1
00000d53: SWAP2
00000d54: SUB
00000d55: SWAP1
00000d56: RETURN
00000d57: JUMPDEST
00000d58: CALLVALUE
00000d59: DUP1
00000d5a: ISZERO
00000d5b: PUSH2 0x0d63
00000d5e: JUMPI
00000d5f: PUSH1 0x00
00000d61: DUP1
00000d62: REVERT
00000d63: JUMPDEST
00000d64: POP
00000d65: PUSH2 0x0d6c
00000d68: PUSH2 0x2974
00000d6b: JUMP
00000d6c: JUMPDEST
00000d6d: STOP
00000d6e: JUMPDEST
00000d6f: CALLVALUE
00000d70: DUP1
00000d71: ISZERO
00000d72: PUSH2 0x0d7a
00000d75: JUMPI
00000d76: PUSH1 0x00
00000d78: DUP1
00000d79: REVERT
00000d7a: JUMPDEST
00000d7b: POP
00000d7c: PUSH2 0x0dbd
00000d7f: PUSH1 0x04
00000d81: DUP1
00000d82: CALLDATASIZE
00000d83: SUB
00000d84: PUSH1 0x20
00000d86: DUP2
00000d87: LT
00000d88: ISZERO
00000d89: PUSH2 0x0d91
00000d8c: JUMPI
00000d8d: PUSH1 0x00
00000d8f: DUP1
00000d90: REVERT
00000d91: JUMPDEST
00000d92: DUP2
00000d93: ADD
00000d94: SWAP1
00000d95: DUP1
00000d96: DUP1
00000d97: CALLDATALOAD
00000d98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dad: AND
00000dae: SWAP1
00000daf: PUSH1 0x20
00000db1: ADD
00000db2: SWAP1
00000db3: SWAP3
00000db4: SWAP2
00000db5: SWAP1
00000db6: POP
00000db7: POP
00000db8: POP
00000db9: PUSH2 0x2a56
00000dbc: JUMP
00000dbd: JUMPDEST
00000dbe: PUSH1 0x40
00000dc0: MLOAD
00000dc1: DUP1
00000dc2: DUP3
00000dc3: DUP2
00000dc4: MSTORE
00000dc5: PUSH1 0x20
00000dc7: ADD
00000dc8: SWAP2
00000dc9: POP
00000dca: POP
00000dcb: PUSH1 0x40
00000dcd: MLOAD
00000dce: DUP1
00000dcf: SWAP2
00000dd0: SUB
00000dd1: SWAP1
00000dd2: RETURN
00000dd3: JUMPDEST
00000dd4: CALLVALUE
00000dd5: DUP1
00000dd6: ISZERO
00000dd7: PUSH2 0x0ddf
00000dda: JUMPI
00000ddb: PUSH1 0x00
00000ddd: DUP1
00000dde: REVERT
00000ddf: JUMPDEST
00000de0: POP
00000de1: PUSH2 0x0e22
00000de4: PUSH1 0x04
00000de6: DUP1
00000de7: CALLDATASIZE
00000de8: SUB
00000de9: PUSH1 0x20
00000deb: DUP2
00000dec: LT
00000ded: ISZERO
00000dee: PUSH2 0x0df6
00000df1: JUMPI
00000df2: PUSH1 0x00
00000df4: DUP1
00000df5: REVERT
00000df6: JUMPDEST
00000df7: DUP2
00000df8: ADD
00000df9: SWAP1
00000dfa: DUP1
00000dfb: DUP1
00000dfc: CALLDATALOAD
00000dfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e12: AND
00000e13: SWAP1
00000e14: PUSH1 0x20
00000e16: ADD
00000e17: SWAP1
00000e18: SWAP3
00000e19: SWAP2
00000e1a: SWAP1
00000e1b: POP
00000e1c: POP
00000e1d: POP
00000e1e: PUSH2 0x2a6e
00000e21: JUMP
00000e22: JUMPDEST
00000e23: STOP
00000e24: JUMPDEST
00000e25: CALLVALUE
00000e26: DUP1
00000e27: ISZERO
00000e28: PUSH2 0x0e30
00000e2b: JUMPI
00000e2c: PUSH1 0x00
00000e2e: DUP1
00000e2f: REVERT
00000e30: JUMPDEST
00000e31: POP
00000e32: PUSH2 0x0e73
00000e35: PUSH1 0x04
00000e37: DUP1
00000e38: CALLDATASIZE
00000e39: SUB
00000e3a: PUSH1 0x20
00000e3c: DUP2
00000e3d: LT
00000e3e: ISZERO
00000e3f: PUSH2 0x0e47
00000e42: JUMPI
00000e43: PUSH1 0x00
00000e45: DUP1
00000e46: REVERT
00000e47: JUMPDEST
00000e48: DUP2
00000e49: ADD
00000e4a: SWAP1
00000e4b: DUP1
00000e4c: DUP1
00000e4d: CALLDATALOAD
00000e4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e63: AND
00000e64: SWAP1
00000e65: PUSH1 0x20
00000e67: ADD
00000e68: SWAP1
00000e69: SWAP3
00000e6a: SWAP2
00000e6b: SWAP1
00000e6c: POP
00000e6d: POP
00000e6e: POP
00000e6f: PUSH2 0x2b3f
00000e72: JUMP
00000e73: JUMPDEST
00000e74: STOP
00000e75: JUMPDEST
00000e76: PUSH1 0x00
00000e78: DUP1
00000e79: DUP3
00000e7a: DUP5
00000e7b: ADD
00000e7c: SWAP1
00000e7d: POP
00000e7e: DUP4
00000e7f: DUP2
00000e80: LT
00000e81: ISZERO
00000e82: ISZERO
00000e83: ISZERO
00000e84: PUSH2 0x0ef5
00000e87: JUMPI
00000e88: PUSH1 0x40
00000e8a: MLOAD
00000e8b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000eac: DUP2
00000ead: MSTORE
00000eae: PUSH1 0x04
00000eb0: ADD
00000eb1: DUP1
00000eb2: DUP1
00000eb3: PUSH1 0x20
00000eb5: ADD
00000eb6: DUP3
00000eb7: DUP2
00000eb8: SUB
00000eb9: DUP3
00000eba: MSTORE
00000ebb: PUSH1 0x1b
00000ebd: DUP2
00000ebe: MSTORE
00000ebf: PUSH1 0x20
00000ec1: ADD
00000ec2: DUP1
00000ec3: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00000ee4: DUP2
00000ee5: MSTORE
00000ee6: POP
00000ee7: PUSH1 0x20
00000ee9: ADD
00000eea: SWAP2
00000eeb: POP
00000eec: POP
00000eed: PUSH1 0x40
00000eef: MLOAD
00000ef0: DUP1
00000ef1: SWAP2
00000ef2: SUB
00000ef3: SWAP1
00000ef4: REVERT
00000ef5: JUMPDEST
00000ef6: DUP1
00000ef7: SWAP2
00000ef8: POP
00000ef9: POP
00000efa: SWAP3
00000efb: SWAP2
00000efc: POP
00000efd: POP
00000efe: JUMP
00000eff: JUMPDEST
00000f00: PUSH1 0x00
00000f02: DUP1
00000f03: PUSH2 0x0f38
00000f06: PUSH1 0x08
00000f08: SLOAD
00000f09: PUSH2 0x0f2a
00000f0c: PUSH5 0xcec0ecb000
00000f12: PUSH6 0x50c35c74c000
00000f19: SUB
00000f1a: PUSH1 0x07
00000f1c: SLOAD
00000f1d: PUSH2 0x2ccf
00000f20: SWAP1
00000f21: SWAP2
00000f22: SWAP1
00000f23: PUSH4 0xffffffff
00000f28: AND
00000f29: JUMP
00000f2a: JUMPDEST
00000f2b: PUSH2 0x2d9c
00000f2e: SWAP1
00000f2f: SWAP2
00000f30: SWAP1
00000f31: PUSH4 0xffffffff
00000f36: AND
00000f37: JUMP
00000f38: JUMPDEST
00000f39: SWAP1
00000f3a: POP
00000f3b: PUSH2 0x0f52
00000f3e: DUP2
00000f3f: PUSH5 0xcec0ecb000
00000f45: PUSH2 0x0e75
00000f48: SWAP1
00000f49: SWAP2
00000f4a: SWAP1
00000f4b: PUSH4 0xffffffff
00000f50: AND
00000f51: JUMP
00000f52: JUMPDEST
00000f53: SWAP2
00000f54: POP
00000f55: POP
00000f56: SWAP1
00000f57: JUMP
00000f58: JUMPDEST
00000f59: PUSH1 0x09
00000f5b: PUSH1 0x02
00000f5d: SWAP1
00000f5e: SLOAD
00000f5f: SWAP1
00000f60: PUSH2 0x0100
00000f63: EXP
00000f64: SWAP1
00000f65: DIV
00000f66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7b: AND
00000f7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f91: AND
00000f92: CALLER
00000f93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fa8: AND
00000fa9: EQ
00000faa: ISZERO
00000fab: ISZERO
00000fac: PUSH2 0x101d
00000faf: JUMPI
00000fb0: PUSH1 0x40
00000fb2: MLOAD
00000fb3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fd4: DUP2
00000fd5: MSTORE
00000fd6: PUSH1 0x04
00000fd8: ADD
00000fd9: DUP1
00000fda: DUP1
00000fdb: PUSH1 0x20
00000fdd: ADD
00000fde: DUP3
00000fdf: DUP2
00000fe0: SUB
00000fe1: DUP3
00000fe2: MSTORE
00000fe3: PUSH1 0x1f
00000fe5: DUP2
00000fe6: MSTORE
00000fe7: PUSH1 0x20
00000fe9: ADD
00000fea: DUP1
00000feb: PUSH32 0x4f6e6c792061646d696e2063616e2063616c6c20746865206d6574686f642e00
0000100c: DUP2
0000100d: MSTORE
0000100e: POP
0000100f: PUSH1 0x20
00001011: ADD
00001012: SWAP2
00001013: POP
00001014: POP
00001015: PUSH1 0x40
00001017: MLOAD
00001018: DUP1
00001019: SWAP2
0000101a: SUB
0000101b: SWAP1
0000101c: REVERT
0000101d: JUMPDEST
0000101e: DUP1
0000101f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001034: AND
00001035: PUSH1 0x0b
00001037: PUSH1 0x00
00001039: SWAP1
0000103a: SLOAD
0000103b: SWAP1
0000103c: PUSH2 0x0100
0000103f: EXP
00001040: SWAP1
00001041: DIV
00001042: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001057: AND
00001058: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000106d: AND
0000106e: PUSH32 0xc7d14c4b639f0f6ab3dd724cb29ab1e94950710452fe912278c1204a7183c424
0000108f: TIMESTAMP
00001090: PUSH1 0x40
00001092: MLOAD
00001093: DUP1
00001094: DUP3
00001095: DUP2
00001096: MSTORE
00001097: PUSH1 0x20
00001099: ADD
0000109a: SWAP2
0000109b: POP
0000109c: POP
0000109d: PUSH1 0x40
0000109f: MLOAD
000010a0: DUP1
000010a1: SWAP2
000010a2: SUB
000010a3: SWAP1
000010a4: LOG3
000010a5: PUSH1 0x01
000010a7: PUSH1 0x09
000010a9: PUSH1 0x01
000010ab: PUSH2 0x0100
000010ae: EXP
000010af: DUP2
000010b0: SLOAD
000010b1: DUP2
000010b2: PUSH1 0xff
000010b4: MUL
000010b5: NOT
000010b6: AND
000010b7: SWAP1
000010b8: DUP4
000010b9: ISZERO
000010ba: ISZERO
000010bb: MUL
000010bc: OR
000010bd: SWAP1
000010be: SSTORE
000010bf: POP
000010c0: DUP1
000010c1: PUSH1 0x0b
000010c3: PUSH1 0x00
000010c5: PUSH2 0x0100
000010c8: EXP
000010c9: DUP2
000010ca: SLOAD
000010cb: DUP2
000010cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010e1: MUL
000010e2: NOT
000010e3: AND
000010e4: SWAP1
000010e5: DUP4
000010e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010fb: AND
000010fc: MUL
000010fd: OR
000010fe: SWAP1
000010ff: SSTORE
00001100: POP
00001101: POP
00001102: JUMP
00001103: JUMPDEST
00001104: PUSH1 0x03
00001106: DUP1
00001107: SLOAD
00001108: PUSH1 0x01
0000110a: DUP2
0000110b: PUSH1 0x01
0000110d: AND
0000110e: ISZERO
0000110f: PUSH2 0x0100
00001112: MUL
00001113: SUB
00001114: AND
00001115: PUSH1 0x02
00001117: SWAP1
00001118: DIV
00001119: DUP1
0000111a: PUSH1 0x1f
0000111c: ADD
0000111d: PUSH1 0x20
0000111f: DUP1
00001120: SWAP2
00001121: DIV
00001122: MUL
00001123: PUSH1 0x20
00001125: ADD
00001126: PUSH1 0x40
00001128: MLOAD
00001129: SWAP1
0000112a: DUP2
0000112b: ADD
0000112c: PUSH1 0x40
0000112e: MSTORE
0000112f: DUP1
00001130: SWAP3
00001131: SWAP2
00001132: SWAP1
00001133: DUP2
00001134: DUP2
00001135: MSTORE
00001136: PUSH1 0x20
00001138: ADD
00001139: DUP3
0000113a: DUP1
0000113b: SLOAD
0000113c: PUSH1 0x01
0000113e: DUP2
0000113f: PUSH1 0x01
00001141: AND
00001142: ISZERO
00001143: PUSH2 0x0100
00001146: MUL
00001147: SUB
00001148: AND
00001149: PUSH1 0x02
0000114b: SWAP1
0000114c: DIV
0000114d: DUP1
0000114e: ISZERO
0000114f: PUSH2 0x1199
00001152: JUMPI
00001153: DUP1
00001154: PUSH1 0x1f
00001156: LT
00001157: PUSH2 0x116e
0000115a: JUMPI
0000115b: PUSH2 0x0100
0000115e: DUP1
0000115f: DUP4
00001160: SLOAD
00001161: DIV
00001162: MUL
00001163: DUP4
00001164: MSTORE
00001165: SWAP2
00001166: PUSH1 0x20
00001168: ADD
00001169: SWAP2
0000116a: PUSH2 0x1199
0000116d: JUMP
0000116e: JUMPDEST
0000116f: DUP3
00001170: ADD
00001171: SWAP2
00001172: SWAP1
00001173: PUSH1 0x00
00001175: MSTORE
00001176: PUSH1 0x20
00001178: PUSH1 0x00
0000117a: KECCAK256
0000117b: SWAP1
0000117c: JUMPDEST
0000117d: DUP2
0000117e: SLOAD
0000117f: DUP2
00001180: MSTORE
00001181: SWAP1
00001182: PUSH1 0x01
00001184: ADD
00001185: SWAP1
00001186: PUSH1 0x20
00001188: ADD
00001189: DUP1
0000118a: DUP4
0000118b: GT
0000118c: PUSH2 0x117c
0000118f: JUMPI
00001190: DUP3
00001191: SWAP1
00001192: SUB
00001193: PUSH1 0x1f
00001195: AND
00001196: DUP3
00001197: ADD
00001198: SWAP2
00001199: JUMPDEST
0000119a: POP
0000119b: POP
0000119c: POP
0000119d: POP
0000119e: POP
0000119f: DUP2
000011a0: JUMP
000011a1: JUMPDEST
000011a2: PUSH1 0x00
000011a4: PUSH2 0x11b5
000011a7: PUSH2 0x11ae
000011aa: PUSH2 0x2de6
000011ad: JUMP
000011ae: JUMPDEST
000011af: DUP5
000011b0: DUP5
000011b1: PUSH2 0x2dee
000011b4: JUMP
000011b5: JUMPDEST
000011b6: PUSH1 0x01
000011b8: SWAP1
000011b9: POP
000011ba: SWAP3
000011bb: SWAP2
000011bc: POP
000011bd: POP
000011be: JUMP
000011bf: JUMPDEST
000011c0: PUSH1 0x09
000011c2: PUSH1 0x02
000011c4: SWAP1
000011c5: SLOAD
000011c6: SWAP1
000011c7: PUSH2 0x0100
000011ca: EXP
000011cb: SWAP1
000011cc: DIV
000011cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e2: AND
000011e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011f8: AND
000011f9: CALLER
000011fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000120f: AND
00001210: EQ
00001211: ISZERO
00001212: ISZERO
00001213: PUSH2 0x1284
00001216: JUMPI
00001217: PUSH1 0x40
00001219: MLOAD
0000121a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000123b: DUP2
0000123c: MSTORE
0000123d: PUSH1 0x04
0000123f: ADD
00001240: DUP1
00001241: DUP1
00001242: PUSH1 0x20
00001244: ADD
00001245: DUP3
00001246: DUP2
00001247: SUB
00001248: DUP3
00001249: MSTORE
0000124a: PUSH1 0x1f
0000124c: DUP2
0000124d: MSTORE
0000124e: PUSH1 0x20
00001250: ADD
00001251: DUP1
00001252: PUSH32 0x4f6e6c792061646d696e2063616e2063616c6c20746865206d6574686f642e00
00001273: DUP2
00001274: MSTORE
00001275: POP
00001276: PUSH1 0x20
00001278: ADD
00001279: SWAP2
0000127a: POP
0000127b: POP
0000127c: PUSH1 0x40
0000127e: MLOAD
0000127f: DUP1
00001280: SWAP2
00001281: SUB
00001282: SWAP1
00001283: REVERT
00001284: JUMPDEST
00001285: DUP1
00001286: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000129b: AND
0000129c: PUSH1 0x10
0000129e: PUSH1 0x00
000012a0: SWAP1
000012a1: SLOAD
000012a2: SWAP1
000012a3: PUSH2 0x0100
000012a6: EXP
000012a7: SWAP1
000012a8: DIV
000012a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012be: AND
000012bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012d4: AND
000012d5: PUSH32 0xa84503fe9a93c9a406d87a05763918a08669f452449983aaf4290d2fbf989947
000012f6: TIMESTAMP
000012f7: PUSH1 0x40
000012f9: MLOAD
000012fa: DUP1
000012fb: DUP3
000012fc: DUP2
000012fd: MSTORE
000012fe: PUSH1 0x20
00001300: ADD
00001301: SWAP2
00001302: POP
00001303: POP
00001304: PUSH1 0x40
00001306: MLOAD
00001307: DUP1
00001308: SWAP2
00001309: SUB
0000130a: SWAP1
0000130b: LOG3
0000130c: DUP1
0000130d: PUSH1 0x10
0000130f: PUSH1 0x00
00001311: PUSH2 0x0100
00001314: EXP
00001315: DUP2
00001316: SLOAD
00001317: DUP2
00001318: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000132d: MUL
0000132e: NOT
0000132f: AND
00001330: SWAP1
00001331: DUP4
00001332: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001347: AND
00001348: MUL
00001349: OR
0000134a: SWAP1
0000134b: SSTORE
0000134c: POP
0000134d: POP
0000134e: JUMP
0000134f: JUMPDEST
00001350: PUSH1 0x09
00001352: PUSH1 0x02
00001354: SWAP1
00001355: SLOAD
00001356: SWAP1
00001357: PUSH2 0x0100
0000135a: EXP
0000135b: SWAP1
0000135c: DIV
0000135d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001372: AND
00001373: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001388: AND
00001389: CALLER
0000138a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000139f: AND
000013a0: EQ
000013a1: ISZERO
000013a2: ISZERO
000013a3: PUSH2 0x1414
000013a6: JUMPI
000013a7: PUSH1 0x40
000013a9: MLOAD
000013aa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013cb: DUP2
000013cc: MSTORE
000013cd: PUSH1 0x04
000013cf: ADD
000013d0: DUP1
000013d1: DUP1
000013d2: PUSH1 0x20
000013d4: ADD
000013d5: DUP3
000013d6: DUP2
000013d7: SUB
000013d8: DUP3
000013d9: MSTORE
000013da: PUSH1 0x1f
000013dc: DUP2
000013dd: MSTORE
000013de: PUSH1 0x20
000013e0: ADD
000013e1: DUP1
000013e2: PUSH32 0x4f6e6c792061646d696e2063616e2063616c6c20746865206d6574686f642e00
00001403: DUP2
00001404: MSTORE
00001405: POP
00001406: PUSH1 0x20
00001408: ADD
00001409: SWAP2
0000140a: POP
0000140b: POP
0000140c: PUSH1 0x40
0000140e: MLOAD
0000140f: DUP1
00001410: SWAP2
00001411: SUB
00001412: SWAP1
00001413: REVERT
00001414: JUMPDEST
00001415: PUSH1 0x00
00001417: PUSH1 0x0f
00001419: PUSH1 0x00
0000141b: DUP4
0000141c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001431: AND
00001432: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001447: AND
00001448: DUP2
00001449: MSTORE
0000144a: PUSH1 0x20
0000144c: ADD
0000144d: SWAP1
0000144e: DUP2
0000144f: MSTORE
00001450: PUSH1 0x20
00001452: ADD
00001453: PUSH1 0x00
00001455: KECCAK256
00001456: PUSH1 0x00
00001458: PUSH2 0x0100
0000145b: EXP
0000145c: DUP2
0000145d: SLOAD
0000145e: DUP2
0000145f: PUSH1 0xff
00001461: MUL
00001462: NOT
00001463: AND
00001464: SWAP1
00001465: DUP4
00001466: ISZERO
00001467: ISZERO
00001468: MUL
00001469: OR
0000146a: SWAP1
0000146b: SSTORE
0000146c: POP
0000146d: DUP1
0000146e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001483: AND
00001484: PUSH32 0xb629e2ba713162a858f62c0eb7184395645f38c08e6e743f0b7fda4a9c458d02
000014a5: TIMESTAMP
000014a6: PUSH1 0x40
000014a8: MLOAD
000014a9: DUP1
000014aa: DUP3
000014ab: DUP2
000014ac: MSTORE
000014ad: PUSH1 0x20
000014af: ADD
000014b0: SWAP2
000014b1: POP
000014b2: POP
000014b3: PUSH1 0x40
000014b5: MLOAD
000014b6: DUP1
000014b7: SWAP2
000014b8: SUB
000014b9: SWAP1
000014ba: LOG2
000014bb: POP
000014bc: JUMP
000014bd: JUMPDEST
000014be: PUSH1 0x00
000014c0: PUSH1 0x02
000014c2: SLOAD
000014c3: SWAP1
000014c4: POP
000014c5: SWAP1
000014c6: JUMP
000014c7: JUMPDEST
000014c8: PUSH1 0x0f
000014ca: PUSH1 0x00
000014cc: CALLER
000014cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e2: AND
000014e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f8: AND
000014f9: DUP2
000014fa: MSTORE
000014fb: PUSH1 0x20
000014fd: ADD
000014fe: SWAP1
000014ff: DUP2
00001500: MSTORE
00001501: PUSH1 0x20
00001503: ADD
00001504: PUSH1 0x00
00001506: KECCAK256
00001507: PUSH1 0x00
00001509: SWAP1
0000150a: SLOAD
0000150b: SWAP1
0000150c: PUSH2 0x0100
0000150f: EXP
00001510: SWAP1
00001511: DIV
00001512: PUSH1 0xff
00001514: AND
00001515: ISZERO
00001516: ISZERO
00001517: PUSH2 0x15ae
0000151a: JUMPI
0000151b: PUSH1 0x40
0000151d: MLOAD
0000151e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000153f: DUP2
00001540: MSTORE
00001541: PUSH1 0x04
00001543: ADD
00001544: DUP1
00001545: DUP1
00001546: PUSH1 0x20
00001548: ADD
00001549: DUP3
0000154a: DUP2
0000154b: SUB
0000154c: DUP3
0000154d: MSTORE
0000154e: PUSH1 0x2a
00001550: DUP2
00001551: MSTORE
00001552: PUSH1 0x20
00001554: ADD
00001555: DUP1
00001556: PUSH32 0x4f7065726174696f6e206973206e6f7420616c6c6f77656420666f7220796f75
00001577: DUP2
00001578: MSTORE
00001579: PUSH1 0x20
0000157b: ADD
0000157c: PUSH32 0x7220616464726573732e00000000000000000000000000000000000000000000
0000159d: DUP2
0000159e: MSTORE
0000159f: POP
000015a0: PUSH1 0x40
000015a2: ADD
000015a3: SWAP2
000015a4: POP
000015a5: POP
000015a6: PUSH1 0x40
000015a8: MLOAD
000015a9: DUP1
000015aa: SWAP2
000015ab: SUB
000015ac: SWAP1
000015ad: REVERT
000015ae: JUMPDEST
000015af: DUP1
000015b0: PUSH2 0x15b9
000015b3: DUP4
000015b4: CALLER
000015b5: PUSH2 0x28ed
000015b8: JUMP
000015b9: JUMPDEST
000015ba: LT
000015bb: ISZERO
000015bc: ISZERO
000015bd: ISZERO
000015be: PUSH2 0x15c6
000015c1: JUMPI
000015c2: PUSH1 0x00
000015c4: DUP1
000015c5: REVERT
000015c6: JUMPDEST
000015c7: PUSH2 0x15f3
000015ca: DUP3
000015cb: PUSH1 0x0a
000015cd: PUSH1 0x00
000015cf: SWAP1
000015d0: SLOAD
000015d1: SWAP1
000015d2: PUSH2 0x0100
000015d5: EXP
000015d6: SWAP1
000015d7: DIV
000015d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ed: AND
000015ee: DUP4
000015ef: PUSH2 0x170c
000015f2: JUMP
000015f3: JUMPDEST
000015f4: POP
000015f5: PUSH1 0x00
000015f7: CALLVALUE
000015f8: GT
000015f9: ISZERO
000015fa: PUSH2 0x1693
000015fd: JUMPI
000015fe: PUSH2 0x164f
00001601: CALLVALUE
00001602: PUSH1 0x0e
00001604: PUSH1 0x00
00001606: DUP6
00001607: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000161c: AND
0000161d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001632: AND
00001633: DUP2
00001634: MSTORE
00001635: PUSH1 0x20
00001637: ADD
00001638: SWAP1
00001639: DUP2
0000163a: MSTORE
0000163b: PUSH1 0x20
0000163d: ADD
0000163e: PUSH1 0x00
00001640: KECCAK256
00001641: SLOAD
00001642: PUSH2 0x0e75
00001645: SWAP1
00001646: SWAP2
00001647: SWAP1
00001648: PUSH4 0xffffffff
0000164d: AND
0000164e: JUMP
0000164f: JUMPDEST
00001650: PUSH1 0x0e
00001652: PUSH1 0x00
00001654: DUP5
00001655: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000166a: AND
0000166b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001680: AND
00001681: DUP2
00001682: MSTORE
00001683: PUSH1 0x20
00001685: ADD
00001686: SWAP1
00001687: DUP2
00001688: MSTORE
00001689: PUSH1 0x20
0000168b: ADD
0000168c: PUSH1 0x00
0000168e: KECCAK256
0000168f: DUP2
00001690: SWAP1
00001691: SSTORE
00001692: POP
00001693: JUMPDEST
00001694: CALLER
00001695: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016aa: AND
000016ab: DUP3
000016ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016c1: AND
000016c2: PUSH32 0x3c7fa95f90e3c9a04b26dd1baab8f2face2f0efc15ee0f1f575286332d2f3ce0
000016e3: DUP4
000016e4: CALLVALUE
000016e5: TIMESTAMP
000016e6: PUSH1 0x40
000016e8: MLOAD
000016e9: DUP1
000016ea: DUP5
000016eb: DUP2
000016ec: MSTORE
000016ed: PUSH1 0x20
000016ef: ADD
000016f0: DUP4
000016f1: DUP2
000016f2: MSTORE
000016f3: PUSH1 0x20
000016f5: ADD
000016f6: DUP3
000016f7: DUP2
000016f8: MSTORE
000016f9: PUSH1 0x20
000016fb: ADD
000016fc: SWAP4
000016fd: POP
000016fe: POP
000016ff: POP
00001700: POP
00001701: PUSH1 0x40
00001703: MLOAD
00001704: DUP1
00001705: SWAP2
00001706: SUB
00001707: SWAP1
00001708: LOG3
00001709: POP
0000170a: POP
0000170b: JUMP
0000170c: JUMPDEST
0000170d: PUSH1 0x00
0000170f: PUSH2 0x1719
00001712: DUP5
00001713: DUP5
00001714: DUP5
00001715: PUSH2 0x306f
00001718: JUMP
00001719: JUMPDEST
0000171a: PUSH2 0x181e
0000171d: DUP5
0000171e: PUSH2 0x1725
00001721: PUSH2 0x2de6
00001724: JUMP
00001725: JUMPDEST
00001726: PUSH2 0x1819
00001729: DUP6
0000172a: PUSH1 0x60
0000172c: PUSH1 0x40
0000172e: MLOAD
0000172f: SWAP1
00001730: DUP2
00001731: ADD
00001732: PUSH1 0x40
00001734: MSTORE
00001735: DUP1
00001736: PUSH1 0x28
00001738: DUP2
00001739: MSTORE
0000173a: PUSH1 0x20
0000173c: ADD
0000173d: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732061
0000175e: DUP2
0000175f: MSTORE
00001760: PUSH1 0x20
00001762: ADD
00001763: PUSH32 0x6c6c6f77616e6365000000000000000000000000000000000000000000000000
00001784: DUP2
00001785: MSTORE
00001786: POP
00001787: PUSH1 0x01
00001789: PUSH1 0x00
0000178b: DUP12
0000178c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017a1: AND
000017a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017b7: AND
000017b8: DUP2
000017b9: MSTORE
000017ba: PUSH1 0x20
000017bc: ADD
000017bd: SWAP1
000017be: DUP2
000017bf: MSTORE
000017c0: PUSH1 0x20
000017c2: ADD
000017c3: PUSH1 0x00
000017c5: KECCAK256
000017c6: PUSH1 0x00
000017c8: PUSH2 0x17cf
000017cb: PUSH2 0x2de6
000017ce: JUMP
000017cf: JUMPDEST
000017d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017e5: AND
000017e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017fb: AND
000017fc: DUP2
000017fd: MSTORE
000017fe: PUSH1 0x20
00001800: ADD
00001801: SWAP1
00001802: DUP2
00001803: MSTORE
00001804: PUSH1 0x20
00001806: ADD
00001807: PUSH1 0x00
00001809: KECCAK256
0000180a: SLOAD
0000180b: PUSH2 0x33f3
0000180e: SWAP1
0000180f: SWAP3
00001810: SWAP2
00001811: SWAP1
00001812: PUSH4 0xffffffff
00001817: AND
00001818: JUMP
00001819: JUMPDEST
0000181a: PUSH2 0x2dee
0000181d: JUMP
0000181e: JUMPDEST
0000181f: PUSH1 0x01
00001821: SWAP1
00001822: POP
00001823: SWAP4
00001824: SWAP3
00001825: POP
00001826: POP
00001827: POP
00001828: JUMP
00001829: JUMPDEST
0000182a: PUSH1 0x00
0000182c: DUP2
0000182d: SWAP1
0000182e: POP
0000182f: PUSH1 0x00
00001831: DUP2
00001832: EQ
00001833: ISZERO
00001834: PUSH2 0x187a
00001837: JUMPI
00001838: PUSH1 0x0e
0000183a: PUSH1 0x00
0000183c: CALLER
0000183d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001852: AND
00001853: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001868: AND
00001869: DUP2
0000186a: MSTORE
0000186b: PUSH1 0x20
0000186d: ADD
0000186e: SWAP1
0000186f: DUP2
00001870: MSTORE
00001871: PUSH1 0x20
00001873: ADD
00001874: PUSH1 0x00
00001876: KECCAK256
00001877: SLOAD
00001878: SWAP1
00001879: POP
0000187a: JUMPDEST
0000187b: PUSH1 0x00
0000187d: DUP2
0000187e: GT
0000187f: ISZERO
00001880: ISZERO
00001881: PUSH2 0x18f2
00001884: JUMPI
00001885: PUSH1 0x40
00001887: MLOAD
00001888: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018a9: DUP2
000018aa: MSTORE
000018ab: PUSH1 0x04
000018ad: ADD
000018ae: DUP1
000018af: DUP1
000018b0: PUSH1 0x20
000018b2: ADD
000018b3: DUP3
000018b4: DUP2
000018b5: SUB
000018b6: DUP3
000018b7: MSTORE
000018b8: PUSH1 0x15
000018ba: DUP2
000018bb: MSTORE
000018bc: PUSH1 0x20
000018be: ADD
000018bf: DUP1
000018c0: PUSH32 0x4e6f2066756e647320746f2077697468647261772e0000000000000000000000
000018e1: DUP2
000018e2: MSTORE
000018e3: POP
000018e4: PUSH1 0x20
000018e6: ADD
000018e7: SWAP2
000018e8: POP
000018e9: POP
000018ea: PUSH1 0x40
000018ec: MLOAD
000018ed: DUP1
000018ee: SWAP2
000018ef: SUB
000018f0: SWAP1
000018f1: REVERT
000018f2: JUMPDEST
000018f3: PUSH1 0x0e
000018f5: PUSH1 0x00
000018f7: CALLER
000018f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000190d: AND
0000190e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001923: AND
00001924: DUP2
00001925: MSTORE
00001926: PUSH1 0x20
00001928: ADD
00001929: SWAP1
0000192a: DUP2
0000192b: MSTORE
0000192c: PUSH1 0x20
0000192e: ADD
0000192f: PUSH1 0x00
00001931: KECCAK256
00001932: SLOAD
00001933: DUP2
00001934: GT
00001935: ISZERO
00001936: ISZERO
00001937: ISZERO
00001938: PUSH2 0x19cf
0000193b: JUMPI
0000193c: PUSH1 0x40
0000193e: MLOAD
0000193f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001960: DUP2
00001961: MSTORE
00001962: PUSH1 0x04
00001964: ADD
00001965: DUP1
00001966: DUP1
00001967: PUSH1 0x20
00001969: ADD
0000196a: DUP3
0000196b: DUP2
0000196c: SUB
0000196d: DUP3
0000196e: MSTORE
0000196f: PUSH1 0x26
00001971: DUP2
00001972: MSTORE
00001973: PUSH1 0x20
00001975: ADD
00001976: DUP1
00001977: PUSH32 0x57697468647261772069732061626f7665207468652063757272656e74206261
00001998: DUP2
00001999: MSTORE
0000199a: PUSH1 0x20
0000199c: ADD
0000199d: PUSH32 0x6c616e63652e0000000000000000000000000000000000000000000000000000
000019be: DUP2
000019bf: MSTORE
000019c0: POP
000019c1: PUSH1 0x40
000019c3: ADD
000019c4: SWAP2
000019c5: POP
000019c6: POP
000019c7: PUSH1 0x40
000019c9: MLOAD
000019ca: DUP1
000019cb: SWAP2
000019cc: SUB
000019cd: SWAP1
000019ce: REVERT
000019cf: JUMPDEST
000019d0: PUSH2 0x1a21
000019d3: DUP2
000019d4: PUSH1 0x0e
000019d6: PUSH1 0x00
000019d8: CALLER
000019d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ee: AND
000019ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a04: AND
00001a05: DUP2
00001a06: MSTORE
00001a07: PUSH1 0x20
00001a09: ADD
00001a0a: SWAP1
00001a0b: DUP2
00001a0c: MSTORE
00001a0d: PUSH1 0x20
00001a0f: ADD
00001a10: PUSH1 0x00
00001a12: KECCAK256
00001a13: SLOAD
00001a14: PUSH2 0x34b5
00001a17: SWAP1
00001a18: SWAP2
00001a19: SWAP1
00001a1a: PUSH4 0xffffffff
00001a1f: AND
00001a20: JUMP
00001a21: JUMPDEST
00001a22: PUSH1 0x0e
00001a24: PUSH1 0x00
00001a26: CALLER
00001a27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a3c: AND
00001a3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a52: AND
00001a53: DUP2
00001a54: MSTORE
00001a55: PUSH1 0x20
00001a57: ADD
00001a58: SWAP1
00001a59: DUP2
00001a5a: MSTORE
00001a5b: PUSH1 0x20
00001a5d: ADD
00001a5e: PUSH1 0x00
00001a60: KECCAK256
00001a61: DUP2
00001a62: SWAP1
00001a63: SSTORE
00001a64: POP
00001a65: CALLER
00001a66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a7b: AND
00001a7c: PUSH2 0x08fc
00001a7f: DUP3
00001a80: SWAP1
00001a81: DUP2
00001a82: ISZERO
00001a83: MUL
00001a84: SWAP1
00001a85: PUSH1 0x40
00001a87: MLOAD
00001a88: PUSH1 0x00
00001a8a: PUSH1 0x40
00001a8c: MLOAD
00001a8d: DUP1
00001a8e: DUP4
00001a8f: SUB
00001a90: DUP2
00001a91: DUP6
00001a92: DUP9
00001a93: DUP9
00001a94: CALL
00001a95: SWAP4
00001a96: POP
00001a97: POP
00001a98: POP
00001a99: POP
00001a9a: ISZERO
00001a9b: DUP1
00001a9c: ISZERO
00001a9d: PUSH2 0x1aaa
00001aa0: JUMPI
00001aa1: RETURNDATASIZE
00001aa2: PUSH1 0x00
00001aa4: DUP1
00001aa5: RETURNDATACOPY
00001aa6: RETURNDATASIZE
00001aa7: PUSH1 0x00
00001aa9: REVERT
00001aaa: JUMPDEST
00001aab: POP
00001aac: CALLER
00001aad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac2: AND
00001ac3: PUSH32 0x2062721aee90a8bb8a5f4bd9268516248f25c0d9eddeda19278dca76aaea84d3
00001ae4: DUP3
00001ae5: TIMESTAMP
00001ae6: PUSH1 0x40
00001ae8: MLOAD
00001ae9: DUP1
00001aea: DUP4
00001aeb: DUP2
00001aec: MSTORE
00001aed: PUSH1 0x20
00001aef: ADD
00001af0: DUP3
00001af1: DUP2
00001af2: MSTORE
00001af3: PUSH1 0x20
00001af5: ADD
00001af6: SWAP3
00001af7: POP
00001af8: POP
00001af9: POP
00001afa: PUSH1 0x40
00001afc: MLOAD
00001afd: DUP1
00001afe: SWAP2
00001aff: SUB
00001b00: SWAP1
00001b01: LOG2
00001b02: POP
00001b03: POP
00001b04: JUMP
00001b05: JUMPDEST
00001b06: PUSH1 0x05
00001b08: PUSH1 0x00
00001b0a: SWAP1
00001b0b: SLOAD
00001b0c: SWAP1
00001b0d: PUSH2 0x0100
00001b10: EXP
00001b11: SWAP1
00001b12: DIV
00001b13: PUSH1 0xff
00001b15: AND
00001b16: DUP2
00001b17: JUMP
00001b18: JUMPDEST
00001b19: PUSH1 0x00
00001b1b: PUSH2 0x1bc1
00001b1e: PUSH2 0x1b25
00001b21: PUSH2 0x2de6
00001b24: JUMP
00001b25: JUMPDEST
00001b26: DUP5
00001b27: PUSH2 0x1bbc
00001b2a: DUP6
00001b2b: PUSH1 0x01
00001b2d: PUSH1 0x00
00001b2f: PUSH2 0x1b36
00001b32: PUSH2 0x2de6
00001b35: JUMP
00001b36: JUMPDEST
00001b37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b4c: AND
00001b4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b62: AND
00001b63: DUP2
00001b64: MSTORE
00001b65: PUSH1 0x20
00001b67: ADD
00001b68: SWAP1
00001b69: DUP2
00001b6a: MSTORE
00001b6b: PUSH1 0x20
00001b6d: ADD
00001b6e: PUSH1 0x00
00001b70: KECCAK256
00001b71: PUSH1 0x00
00001b73: DUP10
00001b74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b89: AND
00001b8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b9f: AND
00001ba0: DUP2
00001ba1: MSTORE
00001ba2: PUSH1 0x20
00001ba4: ADD
00001ba5: SWAP1
00001ba6: DUP2
00001ba7: MSTORE
00001ba8: PUSH1 0x20
00001baa: ADD
00001bab: PUSH1 0x00
00001bad: KECCAK256
00001bae: SLOAD
00001baf: PUSH2 0x0e75
00001bb2: SWAP1
00001bb3: SWAP2
00001bb4: SWAP1
00001bb5: PUSH4 0xffffffff
00001bba: AND
00001bbb: JUMP
00001bbc: JUMPDEST
00001bbd: PUSH2 0x2dee
00001bc0: JUMP
00001bc1: JUMPDEST
00001bc2: PUSH1 0x01
00001bc4: SWAP1
00001bc5: POP
00001bc6: SWAP3
00001bc7: SWAP2
00001bc8: POP
00001bc9: POP
00001bca: JUMP
00001bcb: JUMPDEST
00001bcc: PUSH8 0x06f05b59d3b20000
00001bd5: CALLVALUE
00001bd6: LT
00001bd7: ISZERO
00001bd8: ISZERO
00001bd9: ISZERO
00001bda: PUSH2 0x1c71
00001bdd: JUMPI
00001bde: PUSH1 0x40
00001be0: MLOAD
00001be1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c02: DUP2
00001c03: MSTORE
00001c04: PUSH1 0x04
00001c06: ADD
00001c07: DUP1
00001c08: DUP1
00001c09: PUSH1 0x20
00001c0b: ADD
00001c0c: DUP3
00001c0d: DUP2
00001c0e: SUB
00001c0f: DUP3
00001c10: MSTORE
00001c11: PUSH1 0x29
00001c13: DUP2
00001c14: MSTORE
00001c15: PUSH1 0x20
00001c17: ADD
00001c18: DUP1
00001c19: PUSH32 0x4d696e696d616c20696e766573746d656e74206f6620302e3520455448206973
00001c3a: DUP2
00001c3b: MSTORE
00001c3c: PUSH1 0x20
00001c3e: ADD
00001c3f: PUSH32 0x20616c6c6f7765642e0000000000000000000000000000000000000000000000
00001c60: DUP2
00001c61: MSTORE
00001c62: POP
00001c63: PUSH1 0x40
00001c65: ADD
00001c66: SWAP2
00001c67: POP
00001c68: POP
00001c69: PUSH1 0x40
00001c6b: MLOAD
00001c6c: DUP1
00001c6d: SWAP2
00001c6e: SUB
00001c6f: SWAP1
00001c70: REVERT
00001c71: JUMPDEST
00001c72: PUSH2 0x1c7e
00001c75: DUP4
00001c76: CALLVALUE
00001c77: CALLER
00001c78: DUP6
00001c79: DUP6
00001c7a: PUSH2 0x34ff
00001c7d: JUMP
00001c7e: JUMPDEST
00001c7f: POP
00001c80: POP
00001c81: POP
00001c82: JUMP
00001c83: JUMPDEST
00001c84: PUSH1 0x0f
00001c86: PUSH1 0x20
00001c88: MSTORE
00001c89: DUP1
00001c8a: PUSH1 0x00
00001c8c: MSTORE
00001c8d: PUSH1 0x40
00001c8f: PUSH1 0x00
00001c91: KECCAK256
00001c92: PUSH1 0x00
00001c94: SWAP2
00001c95: POP
00001c96: SLOAD
00001c97: SWAP1
00001c98: PUSH2 0x0100
00001c9b: EXP
00001c9c: SWAP1
00001c9d: DIV
00001c9e: PUSH1 0xff
00001ca0: AND
00001ca1: DUP2
00001ca2: JUMP
00001ca3: JUMPDEST
00001ca4: PUSH1 0x0e
00001ca6: PUSH1 0x20
00001ca8: MSTORE
00001ca9: DUP1
00001caa: PUSH1 0x00
00001cac: MSTORE
00001cad: PUSH1 0x40
00001caf: PUSH1 0x00
00001cb1: KECCAK256
00001cb2: PUSH1 0x00
00001cb4: SWAP2
00001cb5: POP
00001cb6: SWAP1
00001cb7: POP
00001cb8: SLOAD
00001cb9: DUP2
00001cba: JUMP
00001cbb: JUMPDEST
00001cbc: PUSH1 0x00
00001cbe: DUP2
00001cbf: SWAP1
00001cc0: POP
00001cc1: PUSH1 0x00
00001cc3: DUP2
00001cc4: EQ
00001cc5: ISZERO
00001cc6: PUSH2 0x1d0c
00001cc9: JUMPI
00001cca: PUSH1 0x0e
00001ccc: PUSH1 0x00
00001cce: CALLER
00001ccf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ce4: AND
00001ce5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cfa: AND
00001cfb: DUP2
00001cfc: MSTORE
00001cfd: PUSH1 0x20
00001cff: ADD
00001d00: SWAP1
00001d01: DUP2
00001d02: MSTORE
00001d03: PUSH1 0x20
00001d05: ADD
00001d06: PUSH1 0x00
00001d08: KECCAK256
00001d09: SLOAD
00001d0a: SWAP1
00001d0b: POP
00001d0c: JUMPDEST
00001d0d: PUSH1 0x00
00001d0f: DUP2
00001d10: GT
00001d11: ISZERO
00001d12: ISZERO
00001d13: PUSH2 0x1d84
00001d16: JUMPI
00001d17: PUSH1 0x40
00001d19: MLOAD
00001d1a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d3b: DUP2
00001d3c: MSTORE
00001d3d: PUSH1 0x04
00001d3f: ADD
00001d40: DUP1
00001d41: DUP1
00001d42: PUSH1 0x20
00001d44: ADD
00001d45: DUP3
00001d46: DUP2
00001d47: SUB
00001d48: DUP3
00001d49: MSTORE
00001d4a: PUSH1 0x15
00001d4c: DUP2
00001d4d: MSTORE
00001d4e: PUSH1 0x20
00001d50: ADD
00001d51: DUP1
00001d52: PUSH32 0x4e6f2066756e647320746f207265696e766573742e0000000000000000000000
00001d73: DUP2
00001d74: MSTORE
00001d75: POP
00001d76: PUSH1 0x20
00001d78: ADD
00001d79: SWAP2
00001d7a: POP
00001d7b: POP
00001d7c: PUSH1 0x40
00001d7e: MLOAD
00001d7f: DUP1
00001d80: SWAP2
00001d81: SUB
00001d82: SWAP1
00001d83: REVERT
00001d84: JUMPDEST
00001d85: PUSH1 0x0e
00001d87: PUSH1 0x00
00001d89: CALLER
00001d8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d9f: AND
00001da0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001db5: AND
00001db6: DUP2
00001db7: MSTORE
00001db8: PUSH1 0x20
00001dba: ADD
00001dbb: SWAP1
00001dbc: DUP2
00001dbd: MSTORE
00001dbe: PUSH1 0x20
00001dc0: ADD
00001dc1: PUSH1 0x00
00001dc3: KECCAK256
00001dc4: SLOAD
00001dc5: DUP2
00001dc6: GT
00001dc7: ISZERO
00001dc8: ISZERO
00001dc9: ISZERO
00001dca: PUSH2 0x1e61
00001dcd: JUMPI
00001dce: PUSH1 0x40
00001dd0: MLOAD
00001dd1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001df2: DUP2
00001df3: MSTORE
00001df4: PUSH1 0x04
00001df6: ADD
00001df7: DUP1
00001df8: DUP1
00001df9: PUSH1 0x20
00001dfb: ADD
00001dfc: DUP3
00001dfd: DUP2
00001dfe: SUB
00001dff: DUP3
00001e00: MSTORE
00001e01: PUSH1 0x26
00001e03: DUP2
00001e04: MSTORE
00001e05: PUSH1 0x20
00001e07: ADD
00001e08: DUP1
00001e09: PUSH32 0x5265696e766573742069732061626f7665207468652063757272656e74206261
00001e2a: DUP2
00001e2b: MSTORE
00001e2c: PUSH1 0x20
00001e2e: ADD
00001e2f: PUSH32 0x6c616e63652e0000000000000000000000000000000000000000000000000000
00001e50: DUP2
00001e51: MSTORE
00001e52: POP
00001e53: PUSH1 0x40
00001e55: ADD
00001e56: SWAP2
00001e57: POP
00001e58: POP
00001e59: PUSH1 0x40
00001e5b: MLOAD
00001e5c: DUP1
00001e5d: SWAP2
00001e5e: SUB
00001e5f: SWAP1
00001e60: REVERT
00001e61: JUMPDEST
00001e62: PUSH2 0x1eb3
00001e65: DUP2
00001e66: PUSH1 0x0e
00001e68: PUSH1 0x00
00001e6a: CALLER
00001e6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e80: AND
00001e81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e96: AND
00001e97: DUP2
00001e98: MSTORE
00001e99: PUSH1 0x20
00001e9b: ADD
00001e9c: SWAP1
00001e9d: DUP2
00001e9e: MSTORE
00001e9f: PUSH1 0x20
00001ea1: ADD
00001ea2: PUSH1 0x00
00001ea4: KECCAK256
00001ea5: SLOAD
00001ea6: PUSH2 0x34b5
00001ea9: SWAP1
00001eaa: SWAP2
00001eab: SWAP1
00001eac: PUSH4 0xffffffff
00001eb1: AND
00001eb2: JUMP
00001eb3: JUMPDEST
00001eb4: PUSH1 0x0e
00001eb6: PUSH1 0x00
00001eb8: CALLER
00001eb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ece: AND
00001ecf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ee4: AND
00001ee5: DUP2
00001ee6: MSTORE
00001ee7: PUSH1 0x20
00001ee9: ADD
00001eea: SWAP1
00001eeb: DUP2
00001eec: MSTORE
00001eed: PUSH1 0x20
00001eef: ADD
00001ef0: PUSH1 0x00
00001ef2: KECCAK256
00001ef3: DUP2
00001ef4: SWAP1
00001ef5: SSTORE
00001ef6: POP
00001ef7: PUSH2 0x1f04
00001efa: DUP4
00001efb: DUP3
00001efc: CALLER
00001efd: PUSH1 0x00
00001eff: DUP1
00001f00: PUSH2 0x34ff
00001f03: JUMP
00001f04: JUMPDEST
00001f05: CALLER
00001f06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f1b: AND
00001f1c: PUSH32 0xc7baba15468fd1418314fb422f04b4c098e4537c6272e621667aff807222a480
00001f3d: DUP3
00001f3e: TIMESTAMP
00001f3f: PUSH1 0x40
00001f41: MLOAD
00001f42: DUP1
00001f43: DUP4
00001f44: DUP2
00001f45: MSTORE
00001f46: PUSH1 0x20
00001f48: ADD
00001f49: DUP3
00001f4a: DUP2
00001f4b: MSTORE
00001f4c: PUSH1 0x20
00001f4e: ADD
00001f4f: SWAP3
00001f50: POP
00001f51: POP
00001f52: POP
00001f53: PUSH1 0x40
00001f55: MLOAD
00001f56: DUP1
00001f57: SWAP2
00001f58: SUB
00001f59: SWAP1
00001f5a: LOG2
00001f5b: POP
00001f5c: POP
00001f5d: POP
00001f5e: JUMP
00001f5f: JUMPDEST
00001f60: PUSH1 0x09
00001f62: PUSH1 0x01
00001f64: SWAP1
00001f65: SLOAD
00001f66: SWAP1
00001f67: PUSH2 0x0100
00001f6a: EXP
00001f6b: SWAP1
00001f6c: DIV
00001f6d: PUSH1 0xff
00001f6f: AND
00001f70: DUP2
00001f71: JUMP
00001f72: JUMPDEST
00001f73: PUSH1 0x00
00001f75: CALLVALUE
00001f76: GT
00001f77: ISZERO
00001f78: ISZERO
00001f79: PUSH2 0x1fea
00001f7c: JUMPI
00001f7d: PUSH1 0x40
00001f7f: MLOAD
00001f80: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fa1: DUP2
00001fa2: MSTORE
00001fa3: PUSH1 0x04
00001fa5: ADD
00001fa6: DUP1
00001fa7: DUP1
00001fa8: PUSH1 0x20
00001faa: ADD
00001fab: DUP3
00001fac: DUP2
00001fad: SUB
00001fae: DUP3
00001faf: MSTORE
00001fb0: PUSH1 0x1d
00001fb2: DUP2
00001fb3: MSTORE
00001fb4: PUSH1 0x20
00001fb6: ADD
00001fb7: DUP1
00001fb8: PUSH32 0x536f6d6520457468657265756d2073686f756c642062652073656e742e000000
00001fd9: DUP2
00001fda: MSTORE
00001fdb: POP
00001fdc: PUSH1 0x20
00001fde: ADD
00001fdf: SWAP2
00001fe0: POP
00001fe1: POP
00001fe2: PUSH1 0x40
00001fe4: MLOAD
00001fe5: DUP1
00001fe6: SWAP2
00001fe7: SUB
00001fe8: SWAP1
00001fe9: REVERT
00001fea: JUMPDEST
00001feb: PUSH2 0x203c
00001fee: CALLVALUE
00001fef: PUSH1 0x0e
00001ff1: PUSH1 0x00
00001ff3: DUP6
00001ff4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002009: AND
0000200a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000201f: AND
00002020: DUP2
00002021: MSTORE
00002022: PUSH1 0x20
00002024: ADD
00002025: SWAP1
00002026: DUP2
00002027: MSTORE
00002028: PUSH1 0x20
0000202a: ADD
0000202b: PUSH1 0x00
0000202d: KECCAK256
0000202e: SLOAD
0000202f: PUSH2 0x0e75
00002032: SWAP1
00002033: SWAP2
00002034: SWAP1
00002035: PUSH4 0xffffffff
0000203a: AND
0000203b: JUMP
0000203c: JUMPDEST
0000203d: PUSH1 0x0e
0000203f: PUSH1 0x00
00002041: DUP5
00002042: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002057: AND
00002058: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000206d: AND
0000206e: DUP2
0000206f: MSTORE
00002070: PUSH1 0x20
00002072: ADD
00002073: SWAP1
00002074: DUP2
00002075: MSTORE
00002076: PUSH1 0x20
00002078: ADD
00002079: PUSH1 0x00
0000207b: KECCAK256
0000207c: DUP2
0000207d: SWAP1
0000207e: SSTORE
0000207f: POP
00002080: CALLER
00002081: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002096: AND
00002097: DUP3
00002098: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ad: AND
000020ae: PUSH32 0x951505fa0d3726b7d6858d90d4d9fe852ca95c0ebcff9fda0f81859ad156a78b
000020cf: CALLVALUE
000020d0: DUP5
000020d1: TIMESTAMP
000020d2: PUSH1 0x40
000020d4: MLOAD
000020d5: DUP1
000020d6: DUP5
000020d7: DUP2
000020d8: MSTORE
000020d9: PUSH1 0x20
000020db: ADD
000020dc: DUP4
000020dd: PUSH1 0xff
000020df: AND
000020e0: PUSH1 0xff
000020e2: AND
000020e3: DUP2
000020e4: MSTORE
000020e5: PUSH1 0x20
000020e7: ADD
000020e8: DUP3
000020e9: DUP2
000020ea: MSTORE
000020eb: PUSH1 0x20
000020ed: ADD
000020ee: SWAP4
000020ef: POP
000020f0: POP
000020f1: POP
000020f2: POP
000020f3: PUSH1 0x40
000020f5: MLOAD
000020f6: DUP1
000020f7: SWAP2
000020f8: SUB
000020f9: SWAP1
000020fa: LOG3
000020fb: POP
000020fc: POP
000020fd: JUMP
000020fe: JUMPDEST
000020ff: PUSH1 0x00
00002101: DUP1
00002102: PUSH1 0x00
00002104: DUP4
00002105: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000211a: AND
0000211b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002130: AND
00002131: DUP2
00002132: MSTORE
00002133: PUSH1 0x20
00002135: ADD
00002136: SWAP1
00002137: DUP2
00002138: MSTORE
00002139: PUSH1 0x20
0000213b: ADD
0000213c: PUSH1 0x00
0000213e: KECCAK256
0000213f: SLOAD
00002140: SWAP1
00002141: POP
00002142: SWAP2
00002143: SWAP1
00002144: POP
00002145: JUMP
00002146: JUMPDEST
00002147: PUSH1 0x07
00002149: SLOAD
0000214a: DUP2
0000214b: JUMP
0000214c: JUMPDEST
0000214d: PUSH1 0x04
0000214f: DUP1
00002150: SLOAD
00002151: PUSH1 0x01
00002153: DUP2
00002154: PUSH1 0x01
00002156: AND
00002157: ISZERO
00002158: PUSH2 0x0100
0000215b: MUL
0000215c: SUB
0000215d: AND
0000215e: PUSH1 0x02
00002160: SWAP1
00002161: DIV
00002162: DUP1
00002163: PUSH1 0x1f
00002165: ADD
00002166: PUSH1 0x20
00002168: DUP1
00002169: SWAP2
0000216a: DIV
0000216b: MUL
0000216c: PUSH1 0x20
0000216e: ADD
0000216f: PUSH1 0x40
00002171: MLOAD
00002172: SWAP1
00002173: DUP2
00002174: ADD
00002175: PUSH1 0x40
00002177: MSTORE
00002178: DUP1
00002179: SWAP3
0000217a: SWAP2
0000217b: SWAP1
0000217c: DUP2
0000217d: DUP2
0000217e: MSTORE
0000217f: PUSH1 0x20
00002181: ADD
00002182: DUP3
00002183: DUP1
00002184: SLOAD
00002185: PUSH1 0x01
00002187: DUP2
00002188: PUSH1 0x01
0000218a: AND
0000218b: ISZERO
0000218c: PUSH2 0x0100
0000218f: MUL
00002190: SUB
00002191: AND
00002192: PUSH1 0x02
00002194: SWAP1
00002195: DIV
00002196: DUP1
00002197: ISZERO
00002198: PUSH2 0x21e2
0000219b: JUMPI
0000219c: DUP1
0000219d: PUSH1 0x1f
0000219f: LT
000021a0: PUSH2 0x21b7
000021a3: JUMPI
000021a4: PUSH2 0x0100
000021a7: DUP1
000021a8: DUP4
000021a9: SLOAD
000021aa: DIV
000021ab: MUL
000021ac: DUP4
000021ad: MSTORE
000021ae: SWAP2
000021af: PUSH1 0x20
000021b1: ADD
000021b2: SWAP2
000021b3: PUSH2 0x21e2
000021b6: JUMP
000021b7: JUMPDEST
000021b8: DUP3
000021b9: ADD
000021ba: SWAP2
000021bb: SWAP1
000021bc: PUSH1 0x00
000021be: MSTORE
000021bf: PUSH1 0x20
000021c1: PUSH1 0x00
000021c3: KECCAK256
000021c4: SWAP1
000021c5: JUMPDEST
000021c6: DUP2
000021c7: SLOAD
000021c8: DUP2
000021c9: MSTORE
000021ca: SWAP1
000021cb: PUSH1 0x01
000021cd: ADD
000021ce: SWAP1
000021cf: PUSH1 0x20
000021d1: ADD
000021d2: DUP1
000021d3: DUP4
000021d4: GT
000021d5: PUSH2 0x21c5
000021d8: JUMPI
000021d9: DUP3
000021da: SWAP1
000021db: SUB
000021dc: PUSH1 0x1f
000021de: AND
000021df: DUP3
000021e0: ADD
000021e1: SWAP2
000021e2: JUMPDEST
000021e3: POP
000021e4: POP
000021e5: POP
000021e6: POP
000021e7: POP
000021e8: DUP2
000021e9: JUMP
000021ea: JUMPDEST
000021eb: PUSH1 0x09
000021ed: PUSH1 0x00
000021ef: SWAP1
000021f0: SLOAD
000021f1: SWAP1
000021f2: PUSH2 0x0100
000021f5: EXP
000021f6: SWAP1
000021f7: DIV
000021f8: PUSH1 0xff
000021fa: AND
000021fb: DUP2
000021fc: JUMP
000021fd: JUMPDEST
000021fe: PUSH1 0x00
00002200: PUSH2 0x2304
00002203: PUSH2 0x220a
00002206: PUSH2 0x2de6
00002209: JUMP
0000220a: JUMPDEST
0000220b: DUP5
0000220c: PUSH2 0x22ff
0000220f: DUP6
00002210: PUSH1 0x60
00002212: PUSH1 0x40
00002214: MLOAD
00002215: SWAP1
00002216: DUP2
00002217: ADD
00002218: PUSH1 0x40
0000221a: MSTORE
0000221b: DUP1
0000221c: PUSH1 0x25
0000221e: DUP2
0000221f: MSTORE
00002220: PUSH1 0x20
00002222: ADD
00002223: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
00002244: DUP2
00002245: MSTORE
00002246: PUSH1 0x20
00002248: ADD
00002249: PUSH32 0x207a65726f000000000000000000000000000000000000000000000000000000
0000226a: DUP2
0000226b: MSTORE
0000226c: POP
0000226d: PUSH1 0x01
0000226f: PUSH1 0x00
00002271: PUSH2 0x2278
00002274: PUSH2 0x2de6
00002277: JUMP
00002278: JUMPDEST
00002279: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000228e: AND
0000228f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022a4: AND
000022a5: DUP2
000022a6: MSTORE
000022a7: PUSH1 0x20
000022a9: ADD
000022aa: SWAP1
000022ab: DUP2
000022ac: MSTORE
000022ad: PUSH1 0x20
000022af: ADD
000022b0: PUSH1 0x00
000022b2: KECCAK256
000022b3: PUSH1 0x00
000022b5: DUP11
000022b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022cb: AND
000022cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022e1: AND
000022e2: DUP2
000022e3: MSTORE
000022e4: PUSH1 0x20
000022e6: ADD
000022e7: SWAP1
000022e8: DUP2
000022e9: MSTORE
000022ea: PUSH1 0x20
000022ec: ADD
000022ed: PUSH1 0x00
000022ef: KECCAK256
000022f0: SLOAD
000022f1: PUSH2 0x33f3
000022f4: SWAP1
000022f5: SWAP3
000022f6: SWAP2
000022f7: SWAP1
000022f8: PUSH4 0xffffffff
000022fd: AND
000022fe: JUMP
000022ff: JUMPDEST
00002300: PUSH2 0x2dee
00002303: JUMP
00002304: JUMPDEST
00002305: PUSH1 0x01
00002307: SWAP1
00002308: POP
00002309: SWAP3
0000230a: SWAP2
0000230b: POP
0000230c: POP
0000230d: JUMP
0000230e: JUMPDEST
0000230f: PUSH1 0x00
00002311: DUP1
00002312: PUSH2 0x2319
00002315: PUSH2 0x0eff
00002318: JUMP
00002319: JUMPDEST
0000231a: SWAP1
0000231b: POP
0000231c: PUSH1 0x00
0000231e: PUSH2 0x234a
00002321: DUP3
00002322: PUSH2 0x233c
00002325: PUSH8 0x0de0b6b3a7640000
0000232e: DUP8
0000232f: PUSH2 0x2ccf
00002332: SWAP1
00002333: SWAP2
00002334: SWAP1
00002335: PUSH4 0xffffffff
0000233a: AND
0000233b: JUMP
0000233c: JUMPDEST
0000233d: PUSH2 0x2d9c
00002340: SWAP1
00002341: SWAP2
00002342: SWAP1
00002343: PUSH4 0xffffffff
00002348: AND
00002349: JUMP
0000234a: JUMPDEST
0000234b: SWAP1
0000234c: POP
0000234d: PUSH1 0x00
0000234f: PUSH2 0x2382
00002352: PUSH1 0x08
00002354: SLOAD
00002355: PUSH2 0x2374
00002358: PUSH5 0xcec0ecb000
0000235e: PUSH6 0x50c35c74c000
00002365: SUB
00002366: DUP6
00002367: PUSH2 0x2ccf
0000236a: SWAP1
0000236b: SWAP2
0000236c: SWAP1
0000236d: PUSH4 0xffffffff
00002372: AND
00002373: JUMP
00002374: JUMPDEST
00002375: PUSH2 0x2d9c
00002378: SWAP1
00002379: SWAP2
0000237a: SWAP1
0000237b: PUSH4 0xffffffff
00002380: AND
00002381: JUMP
00002382: JUMPDEST
00002383: SWAP1
00002384: POP
00002385: PUSH1 0x00
00002387: PUSH2 0x23d8
0000238a: PUSH8 0x0de0b6b3a7640000
00002393: PUSH2 0x23ca
00002396: PUSH2 0x23bb
00002399: PUSH2 0x23ac
0000239c: PUSH1 0x02
0000239e: DUP8
0000239f: PUSH2 0x2d9c
000023a2: SWAP1
000023a3: SWAP2
000023a4: SWAP1
000023a5: PUSH4 0xffffffff
000023aa: AND
000023ab: JUMP
000023ac: JUMPDEST
000023ad: DUP9
000023ae: PUSH2 0x0e75
000023b1: SWAP1
000023b2: SWAP2
000023b3: SWAP1
000023b4: PUSH4 0xffffffff
000023b9: AND
000023ba: JUMP
000023bb: JUMPDEST
000023bc: DUP7
000023bd: PUSH2 0x2ccf
000023c0: SWAP1
000023c1: SWAP2
000023c2: SWAP1
000023c3: PUSH4 0xffffffff
000023c8: AND
000023c9: JUMP
000023ca: JUMPDEST
000023cb: PUSH2 0x2d9c
000023ce: SWAP1
000023cf: SWAP2
000023d0: SWAP1
000023d1: PUSH4 0xffffffff
000023d6: AND
000023d7: JUMP
000023d8: JUMPDEST
000023d9: SWAP1
000023da: POP
000023db: JUMPDEST
000023dc: DUP6
000023dd: DUP2
000023de: EQ
000023df: ISZERO
000023e0: ISZERO
000023e1: PUSH2 0x24a5
000023e4: JUMPI
000023e5: PUSH2 0x2414
000023e8: PUSH1 0x02
000023ea: PUSH2 0x2406
000023ed: DUP6
000023ee: PUSH2 0x23f8
000023f1: DUP11
000023f2: DUP10
000023f3: DUP9
000023f4: PUSH2 0x45f9
000023f7: JUMP
000023f8: JUMPDEST
000023f9: PUSH2 0x0e75
000023fc: SWAP1
000023fd: SWAP2
000023fe: SWAP1
000023ff: PUSH4 0xffffffff
00002404: AND
00002405: JUMP
00002406: JUMPDEST
00002407: PUSH2 0x2d9c
0000240a: SWAP1
0000240b: SWAP2
0000240c: SWAP1
0000240d: PUSH4 0xffffffff
00002412: AND
00002413: JUMP
00002414: JUMPDEST
00002415: SWAP3
00002416: POP
00002417: PUSH2 0x244a
0000241a: PUSH1 0x08
0000241c: SLOAD
0000241d: PUSH2 0x243c
00002420: PUSH5 0xcec0ecb000
00002426: PUSH6 0x50c35c74c000
0000242d: SUB
0000242e: DUP7
0000242f: PUSH2 0x2ccf
00002432: SWAP1
00002433: SWAP2
00002434: SWAP1
00002435: PUSH4 0xffffffff
0000243a: AND
0000243b: JUMP
0000243c: JUMPDEST
0000243d: PUSH2 0x2d9c
00002440: SWAP1
00002441: SWAP2
00002442: SWAP1
00002443: PUSH4 0xffffffff
00002448: AND
00002449: JUMP
0000244a: JUMPDEST
0000244b: SWAP2
0000244c: POP
0000244d: PUSH2 0x249e
00002450: PUSH8 0x0de0b6b3a7640000
00002459: PUSH2 0x2490
0000245c: PUSH2 0x2481
0000245f: PUSH2 0x2472
00002462: PUSH1 0x02
00002464: DUP8
00002465: PUSH2 0x2d9c
00002468: SWAP1
00002469: SWAP2
0000246a: SWAP1
0000246b: PUSH4 0xffffffff
00002470: AND
00002471: JUMP
00002472: JUMPDEST
00002473: DUP9
00002474: PUSH2 0x0e75
00002477: SWAP1
00002478: SWAP2
00002479: SWAP1
0000247a: PUSH4 0xffffffff
0000247f: AND
00002480: JUMP
00002481: JUMPDEST
00002482: DUP7
00002483: PUSH2 0x2ccf
00002486: SWAP1
00002487: SWAP2
00002488: SWAP1
00002489: PUSH4 0xffffffff
0000248e: AND
0000248f: JUMP
00002490: JUMPDEST
00002491: PUSH2 0x2d9c
00002494: SWAP1
00002495: SWAP2
00002496: SWAP1
00002497: PUSH4 0xffffffff
0000249c: AND
0000249d: JUMP
0000249e: JUMPDEST
0000249f: SWAP1
000024a0: POP
000024a1: PUSH2 0x23db
000024a4: JUMP
000024a5: JUMPDEST
000024a6: DUP3
000024a7: SWAP5
000024a8: POP
000024a9: POP
000024aa: POP
000024ab: POP
000024ac: POP
000024ad: SWAP2
000024ae: SWAP1
000024af: POP
000024b0: JUMP
000024b1: JUMPDEST
000024b2: PUSH1 0x00
000024b4: PUSH2 0x24c5
000024b7: PUSH2 0x24be
000024ba: PUSH2 0x2de6
000024bd: JUMP
000024be: JUMPDEST
000024bf: DUP5
000024c0: DUP5
000024c1: PUSH2 0x306f
000024c4: JUMP
000024c5: JUMPDEST
000024c6: PUSH1 0x01
000024c8: SWAP1
000024c9: POP
000024ca: SWAP3
000024cb: SWAP2
000024cc: POP
000024cd: POP
000024ce: JUMP
000024cf: JUMPDEST
000024d0: PUSH1 0x09
000024d2: PUSH1 0x02
000024d4: SWAP1
000024d5: SLOAD
000024d6: SWAP1
000024d7: PUSH2 0x0100
000024da: EXP
000024db: SWAP1
000024dc: DIV
000024dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024f2: AND
000024f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002508: AND
00002509: CALLER
0000250a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000251f: AND
00002520: EQ
00002521: ISZERO
00002522: ISZERO
00002523: PUSH2 0x2594
00002526: JUMPI
00002527: PUSH1 0x40
00002529: MLOAD
0000252a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000254b: DUP2
0000254c: MSTORE
0000254d: PUSH1 0x04
0000254f: ADD
00002550: DUP1
00002551: DUP1
00002552: PUSH1 0x20
00002554: ADD
00002555: DUP3
00002556: DUP2
00002557: SUB
00002558: DUP3
00002559: MSTORE
0000255a: PUSH1 0x1f
0000255c: DUP2
0000255d: MSTORE
0000255e: PUSH1 0x20
00002560: ADD
00002561: DUP1
00002562: PUSH32 0x4f6e6c792061646d696e2063616e2063616c6c20746865206d6574686f642e00
00002583: DUP2
00002584: MSTORE
00002585: POP
00002586: PUSH1 0x20
00002588: ADD
00002589: SWAP2
0000258a: POP
0000258b: POP
0000258c: PUSH1 0x40
0000258e: MLOAD
0000258f: DUP1
00002590: SWAP2
00002591: SUB
00002592: SWAP1
00002593: REVERT
00002594: JUMPDEST
00002595: PUSH32 0xcb0903588b01c4edf997fb95d49c26d0cc967b7499e28fcc6c15ec0dba7aee24
000025b6: PUSH1 0x07
000025b8: SLOAD
000025b9: DUP3
000025ba: TIMESTAMP
000025bb: PUSH1 0x40
000025bd: MLOAD
000025be: DUP1
000025bf: DUP5
000025c0: DUP2
000025c1: MSTORE
000025c2: PUSH1 0x20
000025c4: ADD
000025c5: DUP4
000025c6: DUP2
000025c7: MSTORE
000025c8: PUSH1 0x20
000025ca: ADD
000025cb: DUP3
000025cc: DUP2
000025cd: MSTORE
000025ce: PUSH1 0x20
000025d0: ADD
000025d1: SWAP4
000025d2: POP
000025d3: POP
000025d4: POP
000025d5: POP
000025d6: PUSH1 0x40
000025d8: MLOAD
000025d9: DUP1
000025da: SWAP2
000025db: SUB
000025dc: SWAP1
000025dd: LOG1
000025de: DUP1
000025df: PUSH1 0x07
000025e1: DUP2
000025e2: SWAP1
000025e3: SSTORE
000025e4: POP
000025e5: POP
000025e6: JUMP
000025e7: JUMPDEST
000025e8: PUSH1 0x09
000025ea: PUSH1 0x02
000025ec: SWAP1
000025ed: SLOAD
000025ee: SWAP1
000025ef: PUSH2 0x0100
000025f2: EXP
000025f3: SWAP1
000025f4: DIV
000025f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000260a: AND
0000260b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002620: AND
00002621: CALLER
00002622: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002637: AND
00002638: EQ
00002639: ISZERO
0000263a: ISZERO
0000263b: PUSH2 0x26ac
0000263e: JUMPI
0000263f: PUSH1 0x40
00002641: MLOAD
00002642: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002663: DUP2
00002664: MSTORE
00002665: PUSH1 0x04
00002667: ADD
00002668: DUP1
00002669: DUP1
0000266a: PUSH1 0x20
0000266c: ADD
0000266d: DUP3
0000266e: DUP2
0000266f: SUB
00002670: DUP3
00002671: MSTORE
00002672: PUSH1 0x1f
00002674: DUP2
00002675: MSTORE
00002676: PUSH1 0x20
00002678: ADD
00002679: DUP1
0000267a: PUSH32 0x4f6e6c792061646d696e2063616e2063616c6c20746865206d6574686f642e00
0000269b: DUP2
0000269c: MSTORE
0000269d: POP
0000269e: PUSH1 0x20
000026a0: ADD
000026a1: SWAP2
000026a2: POP
000026a3: POP
000026a4: PUSH1 0x40
000026a6: MLOAD
000026a7: DUP1
000026a8: SWAP2
000026a9: SUB
000026aa: SWAP1
000026ab: REVERT
000026ac: JUMPDEST
000026ad: PUSH1 0x01
000026af: PUSH1 0x09
000026b1: PUSH1 0x00
000026b3: PUSH2 0x0100
000026b6: EXP
000026b7: DUP2
000026b8: SLOAD
000026b9: DUP2
000026ba: PUSH1 0xff
000026bc: MUL
000026bd: NOT
000026be: AND
000026bf: SWAP1
000026c0: DUP4
000026c1: ISZERO
000026c2: ISZERO
000026c3: MUL
000026c4: OR
000026c5: SWAP1
000026c6: SSTORE
000026c7: POP
000026c8: JUMP
000026c9: JUMPDEST
000026ca: PUSH1 0x00
000026cc: DUP1
000026cd: PUSH2 0x2727
000026d0: PUSH1 0x08
000026d2: SLOAD
000026d3: PUSH2 0x2719
000026d6: PUSH5 0xcec0ecb000
000026dc: PUSH6 0x50c35c74c000
000026e3: SUB
000026e4: PUSH2 0x270b
000026e7: PUSH2 0x26fa
000026ea: PUSH1 0x02
000026ec: DUP10
000026ed: PUSH2 0x2d9c
000026f0: SWAP1
000026f1: SWAP2
000026f2: SWAP1
000026f3: PUSH4 0xffffffff
000026f8: AND
000026f9: JUMP
000026fa: JUMPDEST
000026fb: PUSH1 0x07
000026fd: SLOAD
000026fe: PUSH2 0x0e75
00002701: SWAP1
00002702: SWAP2
00002703: SWAP1
00002704: PUSH4 0xffffffff
00002709: AND
0000270a: JUMP
0000270b: JUMPDEST
0000270c: PUSH2 0x2ccf
0000270f: SWAP1
00002710: SWAP2
00002711: SWAP1
00002712: PUSH4 0xffffffff
00002717: AND
00002718: JUMP
00002719: JUMPDEST
0000271a: PUSH2 0x2d9c
0000271d: SWAP1
0000271e: SWAP2
0000271f: SWAP1
00002720: PUSH4 0xffffffff
00002725: AND
00002726: JUMP
00002727: JUMPDEST
00002728: SWAP1
00002729: POP
0000272a: PUSH2 0x2741
0000272d: DUP2
0000272e: PUSH5 0xcec0ecb000
00002734: PUSH2 0x0e75
00002737: SWAP1
00002738: SWAP2
00002739: SWAP1
0000273a: PUSH4 0xffffffff
0000273f: AND
00002740: JUMP
00002741: JUMPDEST
00002742: SWAP2
00002743: POP
00002744: POP
00002745: SWAP2
00002746: SWAP1
00002747: POP
00002748: JUMP
00002749: JUMPDEST
0000274a: PUSH1 0x00
0000274c: CALLVALUE
0000274d: GT
0000274e: ISZERO
0000274f: ISZERO
00002750: PUSH2 0x27e7
00002753: JUMPI
00002754: PUSH1 0x40
00002756: MLOAD
00002757: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002778: DUP2
00002779: MSTORE
0000277a: PUSH1 0x04
0000277c: ADD
0000277d: DUP1
0000277e: DUP1
0000277f: PUSH1 0x20
00002781: ADD
00002782: DUP3
00002783: DUP2
00002784: SUB
00002785: DUP3
00002786: MSTORE
00002787: PUSH1 0x22
00002789: DUP2
0000278a: MSTORE
0000278b: PUSH1 0x20
0000278d: ADD
0000278e: DUP1
0000278f: PUSH32 0x53656e6420736f6d6520457468657265756d2073686f756c642062652073656e
000027b0: DUP2
000027b1: MSTORE
000027b2: PUSH1 0x20
000027b4: ADD
000027b5: PUSH32 0x742e000000000000000000000000000000000000000000000000000000000000
000027d6: DUP2
000027d7: MSTORE
000027d8: POP
000027d9: PUSH1 0x40
000027db: ADD
000027dc: SWAP2
000027dd: POP
000027de: POP
000027df: PUSH1 0x40
000027e1: MLOAD
000027e2: DUP1
000027e3: SWAP2
000027e4: SUB
000027e5: SWAP1
000027e6: REVERT
000027e7: JUMPDEST
000027e8: PUSH2 0x2839
000027eb: CALLVALUE
000027ec: PUSH1 0x0e
000027ee: PUSH1 0x00
000027f0: CALLER
000027f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002806: AND
00002807: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000281c: AND
0000281d: DUP2
0000281e: MSTORE
0000281f: PUSH1 0x20
00002821: ADD
00002822: SWAP1
00002823: DUP2
00002824: MSTORE
00002825: PUSH1 0x20
00002827: ADD
00002828: PUSH1 0x00
0000282a: KECCAK256
0000282b: SLOAD
0000282c: PUSH2 0x0e75
0000282f: SWAP1
00002830: SWAP2
00002831: SWAP1
00002832: PUSH4 0xffffffff
00002837: AND
00002838: JUMP
00002839: JUMPDEST
0000283a: PUSH1 0x0e
0000283c: PUSH1 0x00
0000283e: CALLER
0000283f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002854: AND
00002855: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000286a: AND
0000286b: DUP2
0000286c: MSTORE
0000286d: PUSH1 0x20
0000286f: ADD
00002870: SWAP1
00002871: DUP2
00002872: MSTORE
00002873: PUSH1 0x20
00002875: ADD
00002876: PUSH1 0x00
00002878: KECCAK256
00002879: DUP2
0000287a: SWAP1
0000287b: SSTORE
0000287c: POP
0000287d: CALLER
0000287e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002893: AND
00002894: PUSH32 0x7450f8b06e15b9d21e44acd9d2645e408681e62600f87f8d66f2f461a10d882f
000028b5: CALLVALUE
000028b6: PUSH1 0x07
000028b8: SLOAD
000028b9: PUSH2 0x28c0
000028bc: PUSH2 0x0eff
000028bf: JUMP
000028c0: JUMPDEST
000028c1: TIMESTAMP
000028c2: PUSH1 0x40
000028c4: MLOAD
000028c5: DUP1
000028c6: DUP6
000028c7: DUP2
000028c8: MSTORE
000028c9: PUSH1 0x20
000028cb: ADD
000028cc: DUP5
000028cd: DUP2
000028ce: MSTORE
000028cf: PUSH1 0x20
000028d1: ADD
000028d2: DUP4
000028d3: DUP2
000028d4: MSTORE
000028d5: PUSH1 0x20
000028d7: ADD
000028d8: DUP3
000028d9: DUP2
000028da: MSTORE
000028db: PUSH1 0x20
000028dd: ADD
000028de: SWAP5
000028df: POP
000028e0: POP
000028e1: POP
000028e2: POP
000028e3: POP
000028e4: PUSH1 0x40
000028e6: MLOAD
000028e7: DUP1
000028e8: SWAP2
000028e9: SUB
000028ea: SWAP1
000028eb: LOG2
000028ec: JUMP
000028ed: JUMPDEST
000028ee: PUSH1 0x00
000028f0: PUSH1 0x01
000028f2: PUSH1 0x00
000028f4: DUP5
000028f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000290a: AND
0000290b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002920: AND
00002921: DUP2
00002922: MSTORE
00002923: PUSH1 0x20
00002925: ADD
00002926: SWAP1
00002927: DUP2
00002928: MSTORE
00002929: PUSH1 0x20
0000292b: ADD
0000292c: PUSH1 0x00
0000292e: KECCAK256
0000292f: PUSH1 0x00
00002931: DUP4
00002932: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002947: AND
00002948: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000295d: AND
0000295e: DUP2
0000295f: MSTORE
00002960: PUSH1 0x20
00002962: ADD
00002963: SWAP1
00002964: DUP2
00002965: MSTORE
00002966: PUSH1 0x20
00002968: ADD
00002969: PUSH1 0x00
0000296b: KECCAK256
0000296c: SLOAD
0000296d: SWAP1
0000296e: POP
0000296f: SWAP3
00002970: SWAP2
00002971: POP
00002972: POP
00002973: JUMP
00002974: JUMPDEST
00002975: PUSH1 0x09
00002977: PUSH1 0x02
00002979: SWAP1
0000297a: SLOAD
0000297b: SWAP1
0000297c: PUSH2 0x0100
0000297f: EXP
00002980: SWAP1
00002981: DIV
00002982: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002997: AND
00002998: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029ad: AND
000029ae: CALLER
000029af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029c4: AND
000029c5: EQ
000029c6: ISZERO
000029c7: ISZERO
000029c8: PUSH2 0x2a39
000029cb: JUMPI
000029cc: PUSH1 0x40
000029ce: MLOAD
000029cf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000029f0: DUP2
000029f1: MSTORE
000029f2: PUSH1 0x04
000029f4: ADD
000029f5: DUP1
000029f6: DUP1
000029f7: PUSH1 0x20
000029f9: ADD
000029fa: DUP3
000029fb: DUP2
000029fc: SUB
000029fd: DUP3
000029fe: MSTORE
000029ff: PUSH1 0x1f
00002a01: DUP2
00002a02: MSTORE
00002a03: PUSH1 0x20
00002a05: ADD
00002a06: DUP1
00002a07: PUSH32 0x4f6e6c792061646d696e2063616e2063616c6c20746865206d6574686f642e00
00002a28: DUP2
00002a29: MSTORE
00002a2a: POP
00002a2b: PUSH1 0x20
00002a2d: ADD
00002a2e: SWAP2
00002a2f: POP
00002a30: POP
00002a31: PUSH1 0x40
00002a33: MLOAD
00002a34: DUP1
00002a35: SWAP2
00002a36: SUB
00002a37: SWAP1
00002a38: REVERT
00002a39: JUMPDEST
00002a3a: PUSH1 0x00
00002a3c: PUSH1 0x09
00002a3e: PUSH1 0x00
00002a40: PUSH2 0x0100
00002a43: EXP
00002a44: DUP2
00002a45: SLOAD
00002a46: DUP2
00002a47: PUSH1 0xff
00002a49: MUL
00002a4a: NOT
00002a4b: AND
00002a4c: SWAP1
00002a4d: DUP4
00002a4e: ISZERO
00002a4f: ISZERO
00002a50: MUL
00002a51: OR
00002a52: SWAP1
00002a53: SSTORE
00002a54: POP
00002a55: JUMP
00002a56: JUMPDEST
00002a57: PUSH1 0x11
00002a59: PUSH1 0x20
00002a5b: MSTORE
00002a5c: DUP1
00002a5d: PUSH1 0x00
00002a5f: MSTORE
00002a60: PUSH1 0x40
00002a62: PUSH1 0x00
00002a64: KECCAK256
00002a65: PUSH1 0x00
00002a67: SWAP2
00002a68: POP
00002a69: SWAP1
00002a6a: POP
00002a6b: SLOAD
00002a6c: DUP2
00002a6d: JUMP
00002a6e: JUMPDEST
00002a6f: PUSH1 0x09
00002a71: PUSH1 0x02
00002a73: SWAP1
00002a74: SLOAD
00002a75: SWAP1
00002a76: PUSH2 0x0100
00002a79: EXP
00002a7a: SWAP1
00002a7b: DIV
00002a7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a91: AND
00002a92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002aa7: AND
00002aa8: CALLER
00002aa9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002abe: AND
00002abf: EQ
00002ac0: ISZERO
00002ac1: ISZERO
00002ac2: PUSH2 0x2b33
00002ac5: JUMPI
00002ac6: PUSH1 0x40
00002ac8: MLOAD
00002ac9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002aea: DUP2
00002aeb: MSTORE
00002aec: PUSH1 0x04
00002aee: ADD
00002aef: DUP1
00002af0: DUP1
00002af1: PUSH1 0x20
00002af3: ADD
00002af4: DUP3
00002af5: DUP2
00002af6: SUB
00002af7: DUP3
00002af8: MSTORE
00002af9: PUSH1 0x1f
00002afb: DUP2
00002afc: MSTORE
00002afd: PUSH1 0x20
00002aff: ADD
00002b00: DUP1
00002b01: PUSH32 0x4f6e6c792061646d696e2063616e2063616c6c20746865206d6574686f642e00
00002b22: DUP2
00002b23: MSTORE
00002b24: POP
00002b25: PUSH1 0x20
00002b27: ADD
00002b28: SWAP2
00002b29: POP
00002b2a: POP
00002b2b: PUSH1 0x40
00002b2d: MLOAD
00002b2e: DUP1
00002b2f: SWAP2
00002b30: SUB
00002b31: SWAP1
00002b32: REVERT
00002b33: JUMPDEST
00002b34: PUSH2 0x2b3c
00002b37: DUP2
00002b38: PUSH2 0x4656
00002b3b: JUMP
00002b3c: JUMPDEST
00002b3d: POP
00002b3e: JUMP
00002b3f: JUMPDEST
00002b40: PUSH1 0x09
00002b42: PUSH1 0x02
00002b44: SWAP1
00002b45: SLOAD
00002b46: SWAP1
00002b47: PUSH2 0x0100
00002b4a: EXP
00002b4b: SWAP1
00002b4c: DIV
00002b4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b62: AND
00002b63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b78: AND
00002b79: CALLER
00002b7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b8f: AND
00002b90: EQ
00002b91: ISZERO
00002b92: ISZERO
00002b93: PUSH2 0x2c04
00002b96: JUMPI
00002b97: PUSH1 0x40
00002b99: MLOAD
00002b9a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002bbb: DUP2
00002bbc: MSTORE
00002bbd: PUSH1 0x04
00002bbf: ADD
00002bc0: DUP1
00002bc1: DUP1
00002bc2: PUSH1 0x20
00002bc4: ADD
00002bc5: DUP3
00002bc6: DUP2
00002bc7: SUB
00002bc8: DUP3
00002bc9: MSTORE
00002bca: PUSH1 0x1f
00002bcc: DUP2
00002bcd: MSTORE
00002bce: PUSH1 0x20
00002bd0: ADD
00002bd1: DUP1
00002bd2: PUSH32 0x4f6e6c792061646d696e2063616e2063616c6c20746865206d6574686f642e00
00002bf3: DUP2
00002bf4: MSTORE
00002bf5: POP
00002bf6: PUSH1 0x20
00002bf8: ADD
00002bf9: SWAP2
00002bfa: POP
00002bfb: POP
00002bfc: PUSH1 0x40
00002bfe: MLOAD
00002bff: DUP1
00002c00: SWAP2
00002c01: SUB
00002c02: SWAP1
00002c03: REVERT
00002c04: JUMPDEST
00002c05: DUP1
00002c06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c1b: AND
00002c1c: PUSH1 0x0d
00002c1e: PUSH1 0x00
00002c20: SWAP1
00002c21: SLOAD
00002c22: SWAP1
00002c23: PUSH2 0x0100
00002c26: EXP
00002c27: SWAP1
00002c28: DIV
00002c29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c3e: AND
00002c3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c54: AND
00002c55: PUSH32 0xa1a10c446d5429f58e1bd19c90256b738b89f5d585a45b59a6e80fad49c3c3d1
00002c76: TIMESTAMP
00002c77: PUSH1 0x40
00002c79: MLOAD
00002c7a: DUP1
00002c7b: DUP3
00002c7c: DUP2
00002c7d: MSTORE
00002c7e: PUSH1 0x20
00002c80: ADD
00002c81: SWAP2
00002c82: POP
00002c83: POP
00002c84: PUSH1 0x40
00002c86: MLOAD
00002c87: DUP1
00002c88: SWAP2
00002c89: SUB
00002c8a: SWAP1
00002c8b: LOG3
00002c8c: DUP1
00002c8d: PUSH1 0x0d
00002c8f: PUSH1 0x00
00002c91: PUSH2 0x0100
00002c94: EXP
00002c95: DUP2
00002c96: SLOAD
00002c97: DUP2
00002c98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cad: MUL
00002cae: NOT
00002caf: AND
00002cb0: SWAP1
00002cb1: DUP4
00002cb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cc7: AND
00002cc8: MUL
00002cc9: OR
00002cca: SWAP1
00002ccb: SSTORE
00002ccc: POP
00002ccd: POP
00002cce: JUMP
00002ccf: JUMPDEST
00002cd0: PUSH1 0x00
00002cd2: DUP1
00002cd3: DUP4
00002cd4: EQ
00002cd5: ISZERO
00002cd6: PUSH2 0x2ce2
00002cd9: JUMPI
00002cda: PUSH1 0x00
00002cdc: SWAP1
00002cdd: POP
00002cde: PUSH2 0x2d96
00002ce1: JUMP
00002ce2: JUMPDEST
00002ce3: PUSH1 0x00
00002ce5: DUP3
00002ce6: DUP5
00002ce7: MUL
00002ce8: SWAP1
00002ce9: POP
00002cea: DUP3
00002ceb: DUP5
00002cec: DUP3
00002ced: DUP2
00002cee: ISZERO
00002cef: ISZERO
00002cf0: PUSH2 0x2cf5
00002cf3: JUMPI
00002cf4: INVALID
00002cf5: JUMPDEST
00002cf6: DIV
00002cf7: EQ
00002cf8: ISZERO
00002cf9: ISZERO
00002cfa: PUSH2 0x2d91
00002cfd: JUMPI
00002cfe: PUSH1 0x40
00002d00: MLOAD
00002d01: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d22: DUP2
00002d23: MSTORE
00002d24: PUSH1 0x04
00002d26: ADD
00002d27: DUP1
00002d28: DUP1
00002d29: PUSH1 0x20
00002d2b: ADD
00002d2c: DUP3
00002d2d: DUP2
00002d2e: SUB
00002d2f: DUP3
00002d30: MSTORE
00002d31: PUSH1 0x21
00002d33: DUP2
00002d34: MSTORE
00002d35: PUSH1 0x20
00002d37: ADD
00002d38: DUP1
00002d39: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
00002d5a: DUP2
00002d5b: MSTORE
00002d5c: PUSH1 0x20
00002d5e: ADD
00002d5f: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000
00002d80: DUP2
00002d81: MSTORE
00002d82: POP
00002d83: PUSH1 0x40
00002d85: ADD
00002d86: SWAP2
00002d87: POP
00002d88: POP
00002d89: PUSH1 0x40
00002d8b: MLOAD
00002d8c: DUP1
00002d8d: SWAP2
00002d8e: SUB
00002d8f: SWAP1
00002d90: REVERT
00002d91: JUMPDEST
00002d92: DUP1
00002d93: SWAP2
00002d94: POP
00002d95: POP
00002d96: JUMPDEST
00002d97: SWAP3
00002d98: SWAP2
00002d99: POP
00002d9a: POP
00002d9b: JUMP
00002d9c: JUMPDEST
00002d9d: PUSH1 0x00
00002d9f: PUSH2 0x2dde
00002da2: DUP4
00002da3: DUP4
00002da4: PUSH1 0x40
00002da6: DUP1
00002da7: MLOAD
00002da8: SWAP1
00002da9: DUP2
00002daa: ADD
00002dab: PUSH1 0x40
00002dad: MSTORE
00002dae: DUP1
00002daf: PUSH1 0x1a
00002db1: DUP2
00002db2: MSTORE
00002db3: PUSH1 0x20
00002db5: ADD
00002db6: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002dd7: DUP2
00002dd8: MSTORE
00002dd9: POP
00002dda: PUSH2 0x46ff
00002ddd: JUMP
00002dde: JUMPDEST
00002ddf: SWAP1
00002de0: POP
00002de1: SWAP3
00002de2: SWAP2
00002de3: POP
00002de4: POP
00002de5: JUMP
00002de6: JUMPDEST
00002de7: PUSH1 0x00
00002de9: CALLER
00002dea: SWAP1
00002deb: POP
00002dec: SWAP1
00002ded: JUMP
00002dee: JUMPDEST
00002def: PUSH1 0x00
00002df1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e06: AND
00002e07: DUP4
00002e08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e1d: AND
00002e1e: EQ
00002e1f: ISZERO
00002e20: ISZERO
00002e21: ISZERO
00002e22: PUSH2 0x2eb9
00002e25: JUMPI
00002e26: PUSH1 0x40
00002e28: MLOAD
00002e29: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002e4a: DUP2
00002e4b: MSTORE
00002e4c: PUSH1 0x04
00002e4e: ADD
00002e4f: DUP1
00002e50: DUP1
00002e51: PUSH1 0x20
00002e53: ADD
00002e54: DUP3
00002e55: DUP2
00002e56: SUB
00002e57: DUP3
00002e58: MSTORE
00002e59: PUSH1 0x24
00002e5b: DUP2
00002e5c: MSTORE
00002e5d: PUSH1 0x20
00002e5f: ADD
00002e60: DUP1
00002e61: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00002e82: DUP2
00002e83: MSTORE
00002e84: PUSH1 0x20
00002e86: ADD
00002e87: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
00002ea8: DUP2
00002ea9: MSTORE
00002eaa: POP
00002eab: PUSH1 0x40
00002ead: ADD
00002eae: SWAP2
00002eaf: POP
00002eb0: POP
00002eb1: PUSH1 0x40
00002eb3: MLOAD
00002eb4: DUP1
00002eb5: SWAP2
00002eb6: SUB
00002eb7: SWAP1
00002eb8: REVERT
00002eb9: JUMPDEST
00002eba: PUSH1 0x00
00002ebc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ed1: AND
00002ed2: DUP3
00002ed3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ee8: AND
00002ee9: EQ
00002eea: ISZERO
00002eeb: ISZERO
00002eec: ISZERO
00002eed: PUSH2 0x2f84
00002ef0: JUMPI
00002ef1: PUSH1 0x40
00002ef3: MLOAD
00002ef4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002f15: DUP2
00002f16: MSTORE
00002f17: PUSH1 0x04
00002f19: ADD
00002f1a: DUP1
00002f1b: DUP1
00002f1c: PUSH1 0x20
00002f1e: ADD
00002f1f: DUP3
00002f20: DUP2
00002f21: SUB
00002f22: DUP3
00002f23: MSTORE
00002f24: PUSH1 0x22
00002f26: DUP2
00002f27: MSTORE
00002f28: PUSH1 0x20
00002f2a: ADD
00002f2b: DUP1
00002f2c: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00002f4d: DUP2
00002f4e: MSTORE
00002f4f: PUSH1 0x20
00002f51: ADD
00002f52: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
00002f73: DUP2
00002f74: MSTORE
00002f75: POP
00002f76: PUSH1 0x40
00002f78: ADD
00002f79: SWAP2
00002f7a: POP
00002f7b: POP
00002f7c: PUSH1 0x40
00002f7e: MLOAD
00002f7f: DUP1
00002f80: SWAP2
00002f81: SUB
00002f82: SWAP1
00002f83: REVERT
00002f84: JUMPDEST
00002f85: DUP1
00002f86: PUSH1 0x01
00002f88: PUSH1 0x00
00002f8a: DUP6
00002f8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fa0: AND
00002fa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fb6: AND
00002fb7: DUP2
00002fb8: MSTORE
00002fb9: PUSH1 0x20
00002fbb: ADD
00002fbc: SWAP1
00002fbd: DUP2
00002fbe: MSTORE
00002fbf: PUSH1 0x20
00002fc1: ADD
00002fc2: PUSH1 0x00
00002fc4: KECCAK256
00002fc5: PUSH1 0x00
00002fc7: DUP5
00002fc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fdd: AND
00002fde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ff3: AND
00002ff4: DUP2
00002ff5: MSTORE
00002ff6: PUSH1 0x20
00002ff8: ADD
00002ff9: SWAP1
00002ffa: DUP2
00002ffb: MSTORE
00002ffc: PUSH1 0x20
00002ffe: ADD
00002fff: PUSH1 0x00
00003001: KECCAK256
00003002: DUP2
00003003: SWAP1
00003004: SSTORE
00003005: POP
00003006: DUP2
00003007: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000301c: AND
0000301d: DUP4
0000301e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003033: AND
00003034: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00003055: DUP4
00003056: PUSH1 0x40
00003058: MLOAD
00003059: DUP1
0000305a: DUP3
0000305b: DUP2
0000305c: MSTORE
0000305d: PUSH1 0x20
0000305f: ADD
00003060: SWAP2
00003061: POP
00003062: POP
00003063: PUSH1 0x40
00003065: MLOAD
00003066: DUP1
00003067: SWAP2
00003068: SUB
00003069: SWAP1
0000306a: LOG3
0000306b: POP
0000306c: POP
0000306d: POP
0000306e: JUMP
0000306f: JUMPDEST
00003070: PUSH1 0x00
00003072: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003087: AND
00003088: DUP4
00003089: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000309e: AND
0000309f: EQ
000030a0: ISZERO
000030a1: ISZERO
000030a2: ISZERO
000030a3: PUSH2 0x313a
000030a6: JUMPI
000030a7: PUSH1 0x40
000030a9: MLOAD
000030aa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000030cb: DUP2
000030cc: MSTORE
000030cd: PUSH1 0x04
000030cf: ADD
000030d0: DUP1
000030d1: DUP1
000030d2: PUSH1 0x20
000030d4: ADD
000030d5: DUP3
000030d6: DUP2
000030d7: SUB
000030d8: DUP3
000030d9: MSTORE
000030da: PUSH1 0x25
000030dc: DUP2
000030dd: MSTORE
000030de: PUSH1 0x20
000030e0: ADD
000030e1: DUP1
000030e2: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00003103: DUP2
00003104: MSTORE
00003105: PUSH1 0x20
00003107: ADD
00003108: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
00003129: DUP2
0000312a: MSTORE
0000312b: POP
0000312c: PUSH1 0x40
0000312e: ADD
0000312f: SWAP2
00003130: POP
00003131: POP
00003132: PUSH1 0x40
00003134: MLOAD
00003135: DUP1
00003136: SWAP2
00003137: SUB
00003138: SWAP1
00003139: REVERT
0000313a: JUMPDEST
0000313b: PUSH1 0x00
0000313d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003152: AND
00003153: DUP3
00003154: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003169: AND
0000316a: EQ
0000316b: ISZERO
0000316c: ISZERO
0000316d: ISZERO
0000316e: PUSH2 0x3205
00003171: JUMPI
00003172: PUSH1 0x40
00003174: MLOAD
00003175: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003196: DUP2
00003197: MSTORE
00003198: PUSH1 0x04
0000319a: ADD
0000319b: DUP1
0000319c: DUP1
0000319d: PUSH1 0x20
0000319f: ADD
000031a0: DUP3
000031a1: DUP2
000031a2: SUB
000031a3: DUP3
000031a4: MSTORE
000031a5: PUSH1 0x23
000031a7: DUP2
000031a8: MSTORE
000031a9: PUSH1 0x20
000031ab: ADD
000031ac: DUP1
000031ad: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
000031ce: DUP2
000031cf: MSTORE
000031d0: PUSH1 0x20
000031d2: ADD
000031d3: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000
000031f4: DUP2
000031f5: MSTORE
000031f6: POP
000031f7: PUSH1 0x40
000031f9: ADD
000031fa: SWAP2
000031fb: POP
000031fc: POP
000031fd: PUSH1 0x40
000031ff: MLOAD
00003200: DUP1
00003201: SWAP2
00003202: SUB
00003203: SWAP1
00003204: REVERT
00003205: JUMPDEST
00003206: PUSH2 0x32b4
00003209: DUP2
0000320a: PUSH1 0x60
0000320c: PUSH1 0x40
0000320e: MLOAD
0000320f: SWAP1
00003210: DUP2
00003211: ADD
00003212: PUSH1 0x40
00003214: MSTORE
00003215: DUP1
00003216: PUSH1 0x26
00003218: DUP2
00003219: MSTORE
0000321a: PUSH1 0x20
0000321c: ADD
0000321d: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062
0000323e: DUP2
0000323f: MSTORE
00003240: PUSH1 0x20
00003242: ADD
00003243: PUSH32 0x616c616e63650000000000000000000000000000000000000000000000000000
00003264: DUP2
00003265: MSTORE
00003266: POP
00003267: PUSH1 0x00
00003269: DUP1
0000326a: DUP8
0000326b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003280: AND
00003281: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003296: AND
00003297: DUP2
00003298: MSTORE
00003299: PUSH1 0x20
0000329b: ADD
0000329c: SWAP1
0000329d: DUP2
0000329e: MSTORE
0000329f: PUSH1 0x20
000032a1: ADD
000032a2: PUSH1 0x00
000032a4: KECCAK256
000032a5: SLOAD
000032a6: PUSH2 0x33f3
000032a9: SWAP1
000032aa: SWAP3
000032ab: SWAP2
000032ac: SWAP1
000032ad: PUSH4 0xffffffff
000032b2: AND
000032b3: JUMP
000032b4: JUMPDEST
000032b5: PUSH1 0x00
000032b7: DUP1
000032b8: DUP6
000032b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032ce: AND
000032cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032e4: AND
000032e5: DUP2
000032e6: MSTORE
000032e7: PUSH1 0x20
000032e9: ADD
000032ea: SWAP1
000032eb: DUP2
000032ec: MSTORE
000032ed: PUSH1 0x20
000032ef: ADD
000032f0: PUSH1 0x00
000032f2: KECCAK256
000032f3: DUP2
000032f4: SWAP1
000032f5: SSTORE
000032f6: POP
000032f7: PUSH2 0x3347
000032fa: DUP2
000032fb: PUSH1 0x00
000032fd: DUP1
000032fe: DUP6
000032ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003314: AND
00003315: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000332a: AND
0000332b: DUP2
0000332c: MSTORE
0000332d: PUSH1 0x20
0000332f: ADD
00003330: SWAP1
00003331: DUP2
00003332: MSTORE
00003333: PUSH1 0x20
00003335: ADD
00003336: PUSH1 0x00
00003338: KECCAK256
00003339: SLOAD
0000333a: PUSH2 0x0e75
0000333d: SWAP1
0000333e: SWAP2
0000333f: SWAP1
00003340: PUSH4 0xffffffff
00003345: AND
00003346: JUMP
00003347: JUMPDEST
00003348: PUSH1 0x00
0000334a: DUP1
0000334b: DUP5
0000334c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003361: AND
00003362: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003377: AND
00003378: DUP2
00003379: MSTORE
0000337a: PUSH1 0x20
0000337c: ADD
0000337d: SWAP1
0000337e: DUP2
0000337f: MSTORE
00003380: PUSH1 0x20
00003382: ADD
00003383: PUSH1 0x00
00003385: KECCAK256
00003386: DUP2
00003387: SWAP1
00003388: SSTORE
00003389: POP
0000338a: DUP2
0000338b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033a0: AND
000033a1: DUP4
000033a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033b7: AND
000033b8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000033d9: DUP4
000033da: PUSH1 0x40
000033dc: MLOAD
000033dd: DUP1
000033de: DUP3
000033df: DUP2
000033e0: MSTORE
000033e1: PUSH1 0x20
000033e3: ADD
000033e4: SWAP2
000033e5: POP
000033e6: POP
000033e7: PUSH1 0x40
000033e9: MLOAD
000033ea: DUP1
000033eb: SWAP2
000033ec: SUB
000033ed: SWAP1
000033ee: LOG3
000033ef: POP
000033f0: POP
000033f1: POP
000033f2: JUMP
000033f3: JUMPDEST
000033f4: PUSH1 0x00
000033f6: DUP4
000033f7: DUP4
000033f8: GT
000033f9: ISZERO
000033fa: DUP3
000033fb: SWAP1
000033fc: ISZERO
000033fd: ISZERO
000033fe: PUSH2 0x34a2
00003401: JUMPI
00003402: PUSH1 0x40
00003404: MLOAD
00003405: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003426: DUP2
00003427: MSTORE
00003428: PUSH1 0x04
0000342a: ADD
0000342b: DUP1
0000342c: DUP1
0000342d: PUSH1 0x20
0000342f: ADD
00003430: DUP3
00003431: DUP2
00003432: SUB
00003433: DUP3
00003434: MSTORE
00003435: DUP4
00003436: DUP2
00003437: DUP2
00003438: MLOAD
00003439: DUP2
0000343a: MSTORE
0000343b: PUSH1 0x20
0000343d: ADD
0000343e: SWAP2
0000343f: POP
00003440: DUP1
00003441: MLOAD
00003442: SWAP1
00003443: PUSH1 0x20
00003445: ADD
00003446: SWAP1
00003447: DUP1
00003448: DUP4
00003449: DUP4
0000344a: PUSH1 0x00
0000344c: JUMPDEST
0000344d: DUP4
0000344e: DUP2
0000344f: LT
00003450: ISZERO
00003451: PUSH2 0x3467
00003454: JUMPI
00003455: DUP1
00003456: DUP3
00003457: ADD
00003458: MLOAD
00003459: DUP2
0000345a: DUP5
0000345b: ADD
0000345c: MSTORE
0000345d: PUSH1 0x20
0000345f: DUP2
00003460: ADD
00003461: SWAP1
00003462: POP
00003463: PUSH2 0x344c
00003466: JUMP
00003467: JUMPDEST
00003468: POP
00003469: POP
0000346a: POP
0000346b: POP
0000346c: SWAP1
0000346d: POP
0000346e: SWAP1
0000346f: DUP2
00003470: ADD
00003471: SWAP1
00003472: PUSH1 0x1f
00003474: AND
00003475: DUP1
00003476: ISZERO
00003477: PUSH2 0x3494
0000347a: JUMPI
0000347b: DUP1
0000347c: DUP3
0000347d: SUB
0000347e: DUP1
0000347f: MLOAD
00003480: PUSH1 0x01
00003482: DUP4
00003483: PUSH1 0x20
00003485: SUB
00003486: PUSH2 0x0100
00003489: EXP
0000348a: SUB
0000348b: NOT
0000348c: AND
0000348d: DUP2
0000348e: MSTORE
0000348f: PUSH1 0x20
00003491: ADD
00003492: SWAP2
00003493: POP
00003494: JUMPDEST
00003495: POP
00003496: SWAP3
00003497: POP
00003498: POP
00003499: POP
0000349a: PUSH1 0x40
0000349c: MLOAD
0000349d: DUP1
0000349e: SWAP2
0000349f: SUB
000034a0: SWAP1
000034a1: REVERT
000034a2: JUMPDEST
000034a3: POP
000034a4: PUSH1 0x00
000034a6: DUP4
000034a7: DUP6
000034a8: SUB
000034a9: SWAP1
000034aa: POP
000034ab: DUP1
000034ac: SWAP2
000034ad: POP
000034ae: POP
000034af: SWAP4
000034b0: SWAP3
000034b1: POP
000034b2: POP
000034b3: POP
000034b4: JUMP
000034b5: JUMPDEST
000034b6: PUSH1 0x00
000034b8: PUSH2 0x34f7
000034bb: DUP4
000034bc: DUP4
000034bd: PUSH1 0x40
000034bf: DUP1
000034c0: MLOAD
000034c1: SWAP1
000034c2: DUP2
000034c3: ADD
000034c4: PUSH1 0x40
000034c6: MSTORE
000034c7: DUP1
000034c8: PUSH1 0x1e
000034ca: DUP2
000034cb: MSTORE
000034cc: PUSH1 0x20
000034ce: ADD
000034cf: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000034f0: DUP2
000034f1: MSTORE
000034f2: POP
000034f3: PUSH2 0x33f3
000034f6: JUMP
000034f7: JUMPDEST
000034f8: SWAP1
000034f9: POP
000034fa: SWAP3
000034fb: SWAP2
000034fc: POP
000034fd: POP
000034fe: JUMP
000034ff: JUMPDEST
00003500: PUSH1 0x09
00003502: PUSH1 0x00
00003504: SWAP1
00003505: SLOAD
00003506: SWAP1
00003507: PUSH2 0x0100
0000350a: EXP
0000350b: SWAP1
0000350c: DIV
0000350d: PUSH1 0xff
0000350f: AND
00003510: ISZERO
00003511: ISZERO
00003512: PUSH2 0x3583
00003515: JUMPI
00003516: PUSH1 0x40
00003518: MLOAD
00003519: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000353a: DUP2
0000353b: MSTORE
0000353c: PUSH1 0x04
0000353e: ADD
0000353f: DUP1
00003540: DUP1
00003541: PUSH1 0x20
00003543: ADD
00003544: DUP3
00003545: DUP2
00003546: SUB
00003547: DUP3
00003548: MSTORE
00003549: PUSH1 0x10
0000354b: DUP2
0000354c: MSTORE
0000354d: PUSH1 0x20
0000354f: ADD
00003550: DUP1
00003551: PUSH32 0x53616c652069732073746f707065642e00000000000000000000000000000000
00003572: DUP2
00003573: MSTORE
00003574: POP
00003575: PUSH1 0x20
00003577: ADD
00003578: SWAP2
00003579: POP
0000357a: POP
0000357b: PUSH1 0x40
0000357d: MLOAD
0000357e: DUP1
0000357f: SWAP2
00003580: SUB
00003581: SWAP1
00003582: REVERT
00003583: JUMPDEST
00003584: PUSH1 0x00
00003586: PUSH2 0x35a2
00003589: PUSH20 0x5b1fa2c7f369e7cbc8abebc033068d47033f1466
0000359e: PUSH2 0x20fe
000035a1: JUMP
000035a2: JUMPDEST
000035a3: GT
000035a4: ISZERO
000035a5: ISZERO
000035a6: PUSH2 0x3617
000035a9: JUMPI
000035aa: PUSH1 0x40
000035ac: MLOAD
000035ad: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000035ce: DUP2
000035cf: MSTORE
000035d0: PUSH1 0x04
000035d2: ADD
000035d3: DUP1
000035d4: DUP1
000035d5: PUSH1 0x20
000035d7: ADD
000035d8: DUP3
000035d9: DUP2
000035da: SUB
000035db: DUP3
000035dc: MSTORE
000035dd: PUSH1 0x0d
000035df: DUP2
000035e0: MSTORE
000035e1: PUSH1 0x20
000035e3: ADD
000035e4: DUP1
000035e5: PUSH32 0x4f7574206f662073746f636b2e00000000000000000000000000000000000000
00003606: DUP2
00003607: MSTORE
00003608: POP
00003609: PUSH1 0x20
0000360b: ADD
0000360c: SWAP2
0000360d: POP
0000360e: POP
0000360f: PUSH1 0x40
00003611: MLOAD
00003612: DUP1
00003613: SWAP2
00003614: SUB
00003615: SWAP1
00003616: REVERT
00003617: JUMPDEST
00003618: PUSH1 0x00
0000361a: PUSH2 0x3622
0000361d: DUP7
0000361e: PUSH2 0x26c9
00003621: JUMP
00003622: JUMPDEST
00003623: SWAP1
00003624: POP
00003625: DUP5
00003626: PUSH2 0x3652
00003629: PUSH8 0x0de0b6b3a7640000
00003632: PUSH2 0x3644
00003635: DUP5
00003636: DUP11
00003637: PUSH2 0x2ccf
0000363a: SWAP1
0000363b: SWAP2
0000363c: SWAP1
0000363d: PUSH4 0xffffffff
00003642: AND
00003643: JUMP
00003644: JUMPDEST
00003645: PUSH2 0x2d9c
00003648: SWAP1
00003649: SWAP2
0000364a: SWAP1
0000364b: PUSH4 0xffffffff
00003650: AND
00003651: JUMP
00003652: JUMPDEST
00003653: EQ
00003654: ISZERO
00003655: ISZERO
00003656: PUSH2 0x36ed
00003659: JUMPI
0000365a: PUSH1 0x40
0000365c: MLOAD
0000365d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000367e: DUP2
0000367f: MSTORE
00003680: PUSH1 0x04
00003682: ADD
00003683: DUP1
00003684: DUP1
00003685: PUSH1 0x20
00003687: ADD
00003688: DUP3
00003689: DUP2
0000368a: SUB
0000368b: DUP3
0000368c: MSTORE
0000368d: PUSH1 0x29
0000368f: DUP2
00003690: MSTORE
00003691: PUSH1 0x20
00003693: ADD
00003694: DUP1
00003695: PUSH32 0x5061737365642076616c7565206973206e6f7420657175616c206f6620746f6b
000036b6: DUP2
000036b7: MSTORE
000036b8: PUSH1 0x20
000036ba: ADD
000036bb: PUSH32 0x656e7320636f73742e0000000000000000000000000000000000000000000000
000036dc: DUP2
000036dd: MSTORE
000036de: POP
000036df: PUSH1 0x40
000036e1: ADD
000036e2: SWAP2
000036e3: POP
000036e4: POP
000036e5: PUSH1 0x40
000036e7: MLOAD
000036e8: DUP1
000036e9: SWAP2
000036ea: SUB
000036eb: SWAP1
000036ec: REVERT
000036ed: JUMPDEST
000036ee: PUSH2 0x370a
000036f1: PUSH20 0x5b1fa2c7f369e7cbc8abebc033068d47033f1466
00003706: PUSH2 0x20fe
00003709: JUMP
0000370a: JUMPDEST
0000370b: DUP7
0000370c: GT
0000370d: ISZERO
0000370e: PUSH2 0x3731
00003711: JUMPI
00003712: PUSH2 0x372e
00003715: PUSH20 0x5b1fa2c7f369e7cbc8abebc033068d47033f1466
0000372a: PUSH2 0x20fe
0000372d: JUMP
0000372e: JUMPDEST
0000372f: SWAP6
00003730: POP
00003731: JUMPDEST
00003732: PUSH1 0x00
00003734: PUSH2 0x375d
00003737: PUSH1 0x64
00003739: PUSH2 0x374f
0000373c: PUSH1 0x04
0000373e: PUSH1 0xff
00003740: AND
00003741: DUP10
00003742: PUSH2 0x2ccf
00003745: SWAP1
00003746: SWAP2
00003747: SWAP1
00003748: PUSH4 0xffffffff
0000374d: AND
0000374e: JUMP
0000374f: JUMPDEST
00003750: PUSH2 0x2d9c
00003753: SWAP1
00003754: SWAP2
00003755: SWAP1
00003756: PUSH4 0xffffffff
0000375b: AND
0000375c: JUMP
0000375d: JUMPDEST
0000375e: SWAP1
0000375f: POP
00003760: PUSH1 0x00
00003762: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003777: AND
00003778: DUP5
00003779: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000378e: AND
0000378f: EQ
00003790: DUP1
00003791: PUSH2 0x37aa
00003794: JUMPI
00003795: POP
00003796: PUSH9 0xd8d726b7177a800000
000037a0: PUSH2 0x37a8
000037a3: DUP6
000037a4: PUSH2 0x20fe
000037a7: JUMP
000037a8: JUMPDEST
000037a9: LT
000037aa: JUMPDEST
000037ab: ISZERO
000037ac: PUSH2 0x388d
000037af: JUMPI
000037b0: PUSH2 0x3823
000037b3: DUP2
000037b4: PUSH1 0x0e
000037b6: PUSH1 0x00
000037b8: PUSH1 0x0a
000037ba: PUSH1 0x00
000037bc: SWAP1
000037bd: SLOAD
000037be: SWAP1
000037bf: PUSH2 0x0100
000037c2: EXP
000037c3: SWAP1
000037c4: DIV
000037c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037da: AND
000037db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037f0: AND
000037f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003806: AND
00003807: DUP2
00003808: MSTORE
00003809: PUSH1 0x20
0000380b: ADD
0000380c: SWAP1
0000380d: DUP2
0000380e: MSTORE
0000380f: PUSH1 0x20
00003811: ADD
00003812: PUSH1 0x00
00003814: KECCAK256
00003815: SLOAD
00003816: PUSH2 0x0e75
00003819: SWAP1
0000381a: SWAP2
0000381b: SWAP1
0000381c: PUSH4 0xffffffff
00003821: AND
00003822: JUMP
00003823: JUMPDEST
00003824: PUSH1 0x0e
00003826: PUSH1 0x00
00003828: PUSH1 0x0a
0000382a: PUSH1 0x00
0000382c: SWAP1
0000382d: SLOAD
0000382e: SWAP1
0000382f: PUSH2 0x0100
00003832: EXP
00003833: SWAP1
00003834: DIV
00003835: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000384a: AND
0000384b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003860: AND
00003861: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003876: AND
00003877: DUP2
00003878: MSTORE
00003879: PUSH1 0x20
0000387b: ADD
0000387c: SWAP1
0000387d: DUP2
0000387e: MSTORE
0000387f: PUSH1 0x20
00003881: ADD
00003882: PUSH1 0x00
00003884: KECCAK256
00003885: DUP2
00003886: SWAP1
00003887: SSTORE
00003888: POP
00003889: PUSH2 0x3a62
0000388c: JUMP
0000388d: JUMPDEST
0000388e: PUSH1 0x00
00003890: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038a5: AND
000038a6: PUSH1 0x10
000038a8: PUSH1 0x00
000038aa: SWAP1
000038ab: SLOAD
000038ac: SWAP1
000038ad: PUSH2 0x0100
000038b0: EXP
000038b1: SWAP1
000038b2: DIV
000038b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038c8: AND
000038c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038de: AND
000038df: EQ
000038e0: ISZERO
000038e1: PUSH2 0x397e
000038e4: JUMPI
000038e5: PUSH2 0x3936
000038e8: DUP2
000038e9: PUSH1 0x0e
000038eb: PUSH1 0x00
000038ed: DUP8
000038ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003903: AND
00003904: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003919: AND
0000391a: DUP2
0000391b: MSTORE
0000391c: PUSH1 0x20
0000391e: ADD
0000391f: SWAP1
00003920: DUP2
00003921: MSTORE
00003922: PUSH1 0x20
00003924: ADD
00003925: PUSH1 0x00
00003927: KECCAK256
00003928: SLOAD
00003929: PUSH2 0x0e75
0000392c: SWAP1
0000392d: SWAP2
0000392e: SWAP1
0000392f: PUSH4 0xffffffff
00003934: AND
00003935: JUMP
00003936: JUMPDEST
00003937: PUSH1 0x0e
00003939: PUSH1 0x00
0000393b: DUP7
0000393c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003951: AND
00003952: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003967: AND
00003968: DUP2
00003969: MSTORE
0000396a: PUSH1 0x20
0000396c: ADD
0000396d: SWAP1
0000396e: DUP2
0000396f: MSTORE
00003970: PUSH1 0x20
00003972: ADD
00003973: PUSH1 0x00
00003975: KECCAK256
00003976: DUP2
00003977: SWAP1
00003978: SSTORE
00003979: POP
0000397a: PUSH2 0x3a61
0000397d: JUMP
0000397e: JUMPDEST
0000397f: PUSH1 0x10
00003981: PUSH1 0x00
00003983: SWAP1
00003984: SLOAD
00003985: SWAP1
00003986: PUSH2 0x0100
00003989: EXP
0000398a: SWAP1
0000398b: DIV
0000398c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000039a1: AND
000039a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000039b7: AND
000039b8: PUSH4 0x55810e0e
000039bd: DUP3
000039be: DUP7
000039bf: PUSH1 0x01
000039c1: PUSH1 0x40
000039c3: MLOAD
000039c4: DUP5
000039c5: PUSH4 0xffffffff
000039ca: AND
000039cb: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000039e9: MUL
000039ea: DUP2
000039eb: MSTORE
000039ec: PUSH1 0x04
000039ee: ADD
000039ef: DUP1
000039f0: DUP4
000039f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a06: AND
00003a07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a1c: AND
00003a1d: DUP2
00003a1e: MSTORE
00003a1f: PUSH1 0x20
00003a21: ADD
00003a22: DUP3
00003a23: PUSH1 0xff
00003a25: AND
00003a26: DUP2
00003a27: MSTORE
00003a28: PUSH1 0x20
00003a2a: ADD
00003a2b: SWAP3
00003a2c: POP
00003a2d: POP
00003a2e: POP
00003a2f: PUSH1 0x00
00003a31: PUSH1 0x40
00003a33: MLOAD
00003a34: DUP1
00003a35: DUP4
00003a36: SUB
00003a37: DUP2
00003a38: DUP6
00003a39: DUP9
00003a3a: DUP1
00003a3b: EXTCODESIZE
00003a3c: ISZERO
00003a3d: DUP1
00003a3e: ISZERO
00003a3f: PUSH2 0x3a47
00003a42: JUMPI
00003a43: PUSH1 0x00
00003a45: DUP1
00003a46: REVERT
00003a47: JUMPDEST
00003a48: POP
00003a49: GAS
00003a4a: CALL
00003a4b: ISZERO
00003a4c: DUP1
00003a4d: ISZERO
00003a4e: PUSH2 0x3a5b
00003a51: JUMPI
00003a52: RETURNDATASIZE
00003a53: PUSH1 0x00
00003a55: DUP1
00003a56: RETURNDATACOPY
00003a57: RETURNDATASIZE
00003a58: PUSH1 0x00
00003a5a: REVERT
00003a5b: JUMPDEST
00003a5c: POP
00003a5d: POP
00003a5e: POP
00003a5f: POP
00003a60: POP
00003a61: JUMPDEST
00003a62: JUMPDEST
00003a63: PUSH1 0x00
00003a65: PUSH2 0x3a8e
00003a68: PUSH1 0x64
00003a6a: PUSH2 0x3a80
00003a6d: PUSH1 0x02
00003a6f: PUSH1 0xff
00003a71: AND
00003a72: DUP11
00003a73: PUSH2 0x2ccf
00003a76: SWAP1
00003a77: SWAP2
00003a78: SWAP1
00003a79: PUSH4 0xffffffff
00003a7e: AND
00003a7f: JUMP
00003a80: JUMPDEST
00003a81: PUSH2 0x2d9c
00003a84: SWAP1
00003a85: SWAP2
00003a86: SWAP1
00003a87: PUSH4 0xffffffff
00003a8c: AND
00003a8d: JUMP
00003a8e: JUMPDEST
00003a8f: SWAP1
00003a90: POP
00003a91: PUSH1 0x00
00003a93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003aa8: AND
00003aa9: DUP5
00003aaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003abf: AND
00003ac0: EQ
00003ac1: DUP1
00003ac2: PUSH2 0x3adb
00003ac5: JUMPI
00003ac6: POP
00003ac7: PUSH9 0xd8d726b7177a800000
00003ad1: PUSH2 0x3ad9
00003ad4: DUP6
00003ad5: PUSH2 0x20fe
00003ad8: JUMP
00003ad9: JUMPDEST
00003ada: LT
00003adb: JUMPDEST
00003adc: ISZERO
00003add: PUSH2 0x3bbe
00003ae0: JUMPI
00003ae1: PUSH2 0x3b54
00003ae4: DUP2
00003ae5: PUSH1 0x0e
00003ae7: PUSH1 0x00
00003ae9: PUSH1 0x0a
00003aeb: PUSH1 0x00
00003aed: SWAP1
00003aee: SLOAD
00003aef: SWAP1
00003af0: PUSH2 0x0100
00003af3: EXP
00003af4: SWAP1
00003af5: DIV
00003af6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b0b: AND
00003b0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b21: AND
00003b22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b37: AND
00003b38: DUP2
00003b39: MSTORE
00003b3a: PUSH1 0x20
00003b3c: ADD
00003b3d: SWAP1
00003b3e: DUP2
00003b3f: MSTORE
00003b40: PUSH1 0x20
00003b42: ADD
00003b43: PUSH1 0x00
00003b45: KECCAK256
00003b46: SLOAD
00003b47: PUSH2 0x0e75
00003b4a: SWAP1
00003b4b: SWAP2
00003b4c: SWAP1
00003b4d: PUSH4 0xffffffff
00003b52: AND
00003b53: JUMP
00003b54: JUMPDEST
00003b55: PUSH1 0x0e
00003b57: PUSH1 0x00
00003b59: PUSH1 0x0a
00003b5b: PUSH1 0x00
00003b5d: SWAP1
00003b5e: SLOAD
00003b5f: SWAP1
00003b60: PUSH2 0x0100
00003b63: EXP
00003b64: SWAP1
00003b65: DIV
00003b66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b7b: AND
00003b7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b91: AND
00003b92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ba7: AND
00003ba8: DUP2
00003ba9: MSTORE
00003baa: PUSH1 0x20
00003bac: ADD
00003bad: SWAP1
00003bae: DUP2
00003baf: MSTORE
00003bb0: PUSH1 0x20
00003bb2: ADD
00003bb3: PUSH1 0x00
00003bb5: KECCAK256
00003bb6: DUP2
00003bb7: SWAP1
00003bb8: SSTORE
00003bb9: POP
00003bba: PUSH2 0x3d93
00003bbd: JUMP
00003bbe: JUMPDEST
00003bbf: PUSH1 0x00
00003bc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bd6: AND
00003bd7: PUSH1 0x10
00003bd9: PUSH1 0x00
00003bdb: SWAP1
00003bdc: SLOAD
00003bdd: SWAP1
00003bde: PUSH2 0x0100
00003be1: EXP
00003be2: SWAP1
00003be3: DIV
00003be4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bf9: AND
00003bfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c0f: AND
00003c10: EQ
00003c11: ISZERO
00003c12: PUSH2 0x3caf
00003c15: JUMPI
00003c16: PUSH2 0x3c67
00003c19: DUP2
00003c1a: PUSH1 0x0e
00003c1c: PUSH1 0x00
00003c1e: DUP8
00003c1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c34: AND
00003c35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c4a: AND
00003c4b: DUP2
00003c4c: MSTORE
00003c4d: PUSH1 0x20
00003c4f: ADD
00003c50: SWAP1
00003c51: DUP2
00003c52: MSTORE
00003c53: PUSH1 0x20
00003c55: ADD
00003c56: PUSH1 0x00
00003c58: KECCAK256
00003c59: SLOAD
00003c5a: PUSH2 0x0e75
00003c5d: SWAP1
00003c5e: SWAP2
00003c5f: SWAP1
00003c60: PUSH4 0xffffffff
00003c65: AND
00003c66: JUMP
00003c67: JUMPDEST
00003c68: PUSH1 0x0e
00003c6a: PUSH1 0x00
00003c6c: DUP7
00003c6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c82: AND
00003c83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c98: AND
00003c99: DUP2
00003c9a: MSTORE
00003c9b: PUSH1 0x20
00003c9d: ADD
00003c9e: SWAP1
00003c9f: DUP2
00003ca0: MSTORE
00003ca1: PUSH1 0x20
00003ca3: ADD
00003ca4: PUSH1 0x00
00003ca6: KECCAK256
00003ca7: DUP2
00003ca8: SWAP1
00003ca9: SSTORE
00003caa: POP
00003cab: PUSH2 0x3d92
00003cae: JUMP
00003caf: JUMPDEST
00003cb0: PUSH1 0x10
00003cb2: PUSH1 0x00
00003cb4: SWAP1
00003cb5: SLOAD
00003cb6: SWAP1
00003cb7: PUSH2 0x0100
00003cba: EXP
00003cbb: SWAP1
00003cbc: DIV
00003cbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003cd2: AND
00003cd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ce8: AND
00003ce9: PUSH4 0x55810e0e
00003cee: DUP3
00003cef: DUP7
00003cf0: PUSH1 0x02
00003cf2: PUSH1 0x40
00003cf4: MLOAD
00003cf5: DUP5
00003cf6: PUSH4 0xffffffff
00003cfb: AND
00003cfc: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00003d1a: MUL
00003d1b: DUP2
00003d1c: MSTORE
00003d1d: PUSH1 0x04
00003d1f: ADD
00003d20: DUP1
00003d21: DUP4
00003d22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d37: AND
00003d38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d4d: AND
00003d4e: DUP2
00003d4f: MSTORE
00003d50: PUSH1 0x20
00003d52: ADD
00003d53: DUP3
00003d54: PUSH1 0xff
00003d56: AND
00003d57: DUP2
00003d58: MSTORE
00003d59: PUSH1 0x20
00003d5b: ADD
00003d5c: SWAP3
00003d5d: POP
00003d5e: POP
00003d5f: POP
00003d60: PUSH1 0x00
00003d62: PUSH1 0x40
00003d64: MLOAD
00003d65: DUP1
00003d66: DUP4
00003d67: SUB
00003d68: DUP2
00003d69: DUP6
00003d6a: DUP9
00003d6b: DUP1
00003d6c: EXTCODESIZE
00003d6d: ISZERO
00003d6e: DUP1
00003d6f: ISZERO
00003d70: PUSH2 0x3d78
00003d73: JUMPI
00003d74: PUSH1 0x00
00003d76: DUP1
00003d77: REVERT
00003d78: JUMPDEST
00003d79: POP
00003d7a: GAS
00003d7b: CALL
00003d7c: ISZERO
00003d7d: DUP1
00003d7e: ISZERO
00003d7f: PUSH2 0x3d8c
00003d82: JUMPI
00003d83: RETURNDATASIZE
00003d84: PUSH1 0x00
00003d86: DUP1
00003d87: RETURNDATACOPY
00003d88: RETURNDATASIZE
00003d89: PUSH1 0x00
00003d8b: REVERT
00003d8c: JUMPDEST
00003d8d: POP
00003d8e: POP
00003d8f: POP
00003d90: POP
00003d91: POP
00003d92: JUMPDEST
00003d93: JUMPDEST
00003d94: PUSH1 0x00
00003d96: PUSH2 0x3dbf
00003d99: PUSH1 0x64
00003d9b: PUSH2 0x3db1
00003d9e: PUSH1 0x02
00003da0: PUSH1 0xff
00003da2: AND
00003da3: DUP12
00003da4: PUSH2 0x2ccf
00003da7: SWAP1
00003da8: SWAP2
00003da9: SWAP1
00003daa: PUSH4 0xffffffff
00003daf: AND
00003db0: JUMP
00003db1: JUMPDEST
00003db2: PUSH2 0x2d9c
00003db5: SWAP1
00003db6: SWAP2
00003db7: SWAP1
00003db8: PUSH4 0xffffffff
00003dbd: AND
00003dbe: JUMP
00003dbf: JUMPDEST
00003dc0: SWAP1
00003dc1: POP
00003dc2: PUSH1 0x0d
00003dc4: PUSH1 0x00
00003dc6: SWAP1
00003dc7: SLOAD
00003dc8: SWAP1
00003dc9: PUSH2 0x0100
00003dcc: EXP
00003dcd: SWAP1
00003dce: DIV
00003dcf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003de4: AND
00003de5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003dfa: AND
00003dfb: PUSH2 0x08fc
00003dfe: DUP3
00003dff: SWAP1
00003e00: DUP2
00003e01: ISZERO
00003e02: MUL
00003e03: SWAP1
00003e04: PUSH1 0x40
00003e06: MLOAD
00003e07: PUSH1 0x00
00003e09: PUSH1 0x40
00003e0b: MLOAD
00003e0c: DUP1
00003e0d: DUP4
00003e0e: SUB
00003e0f: DUP2
00003e10: DUP6
00003e11: DUP9
00003e12: DUP9
00003e13: CALL
00003e14: SWAP4
00003e15: POP
00003e16: POP
00003e17: POP
00003e18: POP
00003e19: ISZERO
00003e1a: DUP1
00003e1b: ISZERO
00003e1c: PUSH2 0x3e29
00003e1f: JUMPI
00003e20: RETURNDATASIZE
00003e21: PUSH1 0x00
00003e23: DUP1
00003e24: RETURNDATACOPY
00003e25: RETURNDATASIZE
00003e26: PUSH1 0x00
00003e28: REVERT
00003e29: JUMPDEST
00003e2a: POP
00003e2b: PUSH1 0x00
00003e2d: PUSH2 0x3e63
00003e30: DUP3
00003e31: PUSH2 0x3e55
00003e34: DUP6
00003e35: PUSH2 0x3e47
00003e38: DUP9
00003e39: DUP15
00003e3a: PUSH2 0x34b5
00003e3d: SWAP1
00003e3e: SWAP2
00003e3f: SWAP1
00003e40: PUSH4 0xffffffff
00003e45: AND
00003e46: JUMP
00003e47: JUMPDEST
00003e48: PUSH2 0x34b5
00003e4b: SWAP1
00003e4c: SWAP2
00003e4d: SWAP1
00003e4e: PUSH4 0xffffffff
00003e53: AND
00003e54: JUMP
00003e55: JUMPDEST
00003e56: PUSH2 0x34b5
00003e59: SWAP1
00003e5a: SWAP2
00003e5b: SWAP1
00003e5c: PUSH4 0xffffffff
00003e61: AND
00003e62: JUMP
00003e63: JUMPDEST
00003e64: SWAP1
00003e65: POP
00003e66: PUSH9 0x02b5e3af16b1880000
00003e70: PUSH2 0x3ee3
00003e73: DUP3
00003e74: PUSH1 0x11
00003e76: PUSH1 0x00
00003e78: PUSH1 0x0b
00003e7a: PUSH1 0x00
00003e7c: SWAP1
00003e7d: SLOAD
00003e7e: SWAP1
00003e7f: PUSH2 0x0100
00003e82: EXP
00003e83: SWAP1
00003e84: DIV
00003e85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e9a: AND
00003e9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003eb0: AND
00003eb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ec6: AND
00003ec7: DUP2
00003ec8: MSTORE
00003ec9: PUSH1 0x20
00003ecb: ADD
00003ecc: SWAP1
00003ecd: DUP2
00003ece: MSTORE
00003ecf: PUSH1 0x20
00003ed1: ADD
00003ed2: PUSH1 0x00
00003ed4: KECCAK256
00003ed5: SLOAD
00003ed6: PUSH2 0x0e75
00003ed9: SWAP1
00003eda: SWAP2
00003edb: SWAP1
00003edc: PUSH4 0xffffffff
00003ee1: AND
00003ee2: JUMP
00003ee3: JUMPDEST
00003ee4: LT
00003ee5: DUP1
00003ee6: PUSH2 0x3efb
00003ee9: JUMPI
00003eea: POP
00003eeb: PUSH1 0x09
00003eed: PUSH1 0x01
00003eef: SWAP1
00003ef0: SLOAD
00003ef1: SWAP1
00003ef2: PUSH2 0x0100
00003ef5: EXP
00003ef6: SWAP1
00003ef7: DIV
00003ef8: PUSH1 0xff
00003efa: AND
00003efb: JUMPDEST
00003efc: ISZERO
00003efd: PUSH2 0x40b7
00003f00: JUMPI
00003f01: PUSH2 0x3f74
00003f04: DUP2
00003f05: PUSH1 0x0e
00003f07: PUSH1 0x00
00003f09: PUSH1 0x0b
00003f0b: PUSH1 0x00
00003f0d: SWAP1
00003f0e: SLOAD
00003f0f: SWAP1
00003f10: PUSH2 0x0100
00003f13: EXP
00003f14: SWAP1
00003f15: DIV
00003f16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f2b: AND
00003f2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f41: AND
00003f42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f57: AND
00003f58: DUP2
00003f59: MSTORE
00003f5a: PUSH1 0x20
00003f5c: ADD
00003f5d: SWAP1
00003f5e: DUP2
00003f5f: MSTORE
00003f60: PUSH1 0x20
00003f62: ADD
00003f63: PUSH1 0x00
00003f65: KECCAK256
00003f66: SLOAD
00003f67: PUSH2 0x0e75
00003f6a: SWAP1
00003f6b: SWAP2
00003f6c: SWAP1
00003f6d: PUSH4 0xffffffff
00003f72: AND
00003f73: JUMP
00003f74: JUMPDEST
00003f75: PUSH1 0x0e
00003f77: PUSH1 0x00
00003f79: PUSH1 0x0b
00003f7b: PUSH1 0x00
00003f7d: SWAP1
00003f7e: SLOAD
00003f7f: SWAP1
00003f80: PUSH2 0x0100
00003f83: EXP
00003f84: SWAP1
00003f85: DIV
00003f86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f9b: AND
00003f9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003fb1: AND
00003fb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003fc7: AND
00003fc8: DUP2
00003fc9: MSTORE
00003fca: PUSH1 0x20
00003fcc: ADD
00003fcd: SWAP1
00003fce: DUP2
00003fcf: MSTORE
00003fd0: PUSH1 0x20
00003fd2: ADD
00003fd3: PUSH1 0x00
00003fd5: KECCAK256
00003fd6: DUP2
00003fd7: SWAP1
00003fd8: SSTORE
00003fd9: POP
00003fda: PUSH2 0x404d
00003fdd: DUP2
00003fde: PUSH1 0x11
00003fe0: PUSH1 0x00
00003fe2: PUSH1 0x0b
00003fe4: PUSH1 0x00
00003fe6: SWAP1
00003fe7: SLOAD
00003fe8: SWAP1
00003fe9: PUSH2 0x0100
00003fec: EXP
00003fed: SWAP1
00003fee: DIV
00003fef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004004: AND
00004005: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000401a: AND
0000401b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004030: AND
00004031: DUP2
00004032: MSTORE
00004033: PUSH1 0x20
00004035: ADD
00004036: SWAP1
00004037: DUP2
00004038: MSTORE
00004039: PUSH1 0x20
0000403b: ADD
0000403c: PUSH1 0x00
0000403e: KECCAK256
0000403f: SLOAD
00004040: PUSH2 0x0e75
00004043: SWAP1
00004044: SWAP2
00004045: SWAP1
00004046: PUSH4 0xffffffff
0000404b: AND
0000404c: JUMP
0000404d: JUMPDEST
0000404e: PUSH1 0x11
00004050: PUSH1 0x00
00004052: PUSH1 0x0b
00004054: PUSH1 0x00
00004056: SWAP1
00004057: SLOAD
00004058: SWAP1
00004059: PUSH2 0x0100
0000405c: EXP
0000405d: SWAP1
0000405e: DIV
0000405f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004074: AND
00004075: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000408a: AND
0000408b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040a0: AND
000040a1: DUP2
000040a2: MSTORE
000040a3: PUSH1 0x20
000040a5: ADD
000040a6: SWAP1
000040a7: DUP2
000040a8: MSTORE
000040a9: PUSH1 0x20
000040ab: ADD
000040ac: PUSH1 0x00
000040ae: KECCAK256
000040af: DUP2
000040b0: SWAP1
000040b1: SSTORE
000040b2: POP
000040b3: PUSH2 0x4515
000040b6: JUMP
000040b7: JUMPDEST
000040b8: PUSH1 0x00
000040ba: PUSH2 0x4136
000040bd: PUSH1 0x11
000040bf: PUSH1 0x00
000040c1: PUSH1 0x0b
000040c3: PUSH1 0x00
000040c5: SWAP1
000040c6: SLOAD
000040c7: SWAP1
000040c8: PUSH2 0x0100
000040cb: EXP
000040cc: SWAP1
000040cd: DIV
000040ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040e3: AND
000040e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040f9: AND
000040fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000410f: AND
00004110: DUP2
00004111: MSTORE
00004112: PUSH1 0x20
00004114: ADD
00004115: SWAP1
00004116: DUP2
00004117: MSTORE
00004118: PUSH1 0x20
0000411a: ADD
0000411b: PUSH1 0x00
0000411d: KECCAK256
0000411e: SLOAD
0000411f: PUSH9 0x02b5e3af16b1880000
00004129: PUSH2 0x34b5
0000412c: SWAP1
0000412d: SWAP2
0000412e: SWAP1
0000412f: PUSH4 0xffffffff
00004134: AND
00004135: JUMP
00004136: JUMPDEST
00004137: SWAP1
00004138: POP
00004139: PUSH1 0x00
0000413b: PUSH2 0x414d
0000413e: DUP3
0000413f: DUP5
00004140: PUSH2 0x34b5
00004143: SWAP1
00004144: SWAP2
00004145: SWAP1
00004146: PUSH4 0xffffffff
0000414b: AND
0000414c: JUMP
0000414d: JUMPDEST
0000414e: SWAP1
0000414f: POP
00004150: PUSH1 0x00
00004152: DUP3
00004153: LT
00004154: ISZERO
00004155: ISZERO
00004156: ISZERO
00004157: PUSH2 0x415f
0000415a: JUMPI
0000415b: PUSH1 0x00
0000415d: DUP1
0000415e: REVERT
0000415f: JUMPDEST
00004160: PUSH1 0x00
00004162: DUP2
00004163: LT
00004164: ISZERO
00004165: ISZERO
00004166: ISZERO
00004167: PUSH2 0x416f
0000416a: JUMPI
0000416b: PUSH1 0x00
0000416d: DUP1
0000416e: REVERT
0000416f: JUMPDEST
00004170: PUSH1 0x00
00004172: DUP3
00004173: GT
00004174: ISZERO
00004175: PUSH2 0x432b
00004178: JUMPI
00004179: PUSH2 0x41ec
0000417c: DUP3
0000417d: PUSH1 0x0e
0000417f: PUSH1 0x00
00004181: PUSH1 0x0b
00004183: PUSH1 0x00
00004185: SWAP1
00004186: SLOAD
00004187: SWAP1
00004188: PUSH2 0x0100
0000418b: EXP
0000418c: SWAP1
0000418d: DIV
0000418e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000041a3: AND
000041a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000041b9: AND
000041ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000041cf: AND
000041d0: DUP2
000041d1: MSTORE
000041d2: PUSH1 0x20
000041d4: ADD
000041d5: SWAP1
000041d6: DUP2
000041d7: MSTORE
000041d8: PUSH1 0x20
000041da: ADD
000041db: PUSH1 0x00
000041dd: KECCAK256
000041de: SLOAD
000041df: PUSH2 0x0e75
000041e2: SWAP1
000041e3: SWAP2
000041e4: SWAP1
000041e5: PUSH4 0xffffffff
000041ea: AND
000041eb: JUMP
000041ec: JUMPDEST
000041ed: PUSH1 0x0e
000041ef: PUSH1 0x00
000041f1: PUSH1 0x0b
000041f3: PUSH1 0x00
000041f5: SWAP1
000041f6: SLOAD
000041f7: SWAP1
000041f8: PUSH2 0x0100
000041fb: EXP
000041fc: SWAP1
000041fd: DIV
000041fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004213: AND
00004214: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004229: AND
0000422a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000423f: AND
00004240: DUP2
00004241: MSTORE
00004242: PUSH1 0x20
00004244: ADD
00004245: SWAP1
00004246: DUP2
00004247: MSTORE
00004248: PUSH1 0x20
0000424a: ADD
0000424b: PUSH1 0x00
0000424d: KECCAK256
0000424e: DUP2
0000424f: SWAP1
00004250: SSTORE
00004251: POP
00004252: PUSH2 0x42c5
00004255: DUP3
00004256: PUSH1 0x11
00004258: PUSH1 0x00
0000425a: PUSH1 0x0b
0000425c: PUSH1 0x00
0000425e: SWAP1
0000425f: SLOAD
00004260: SWAP1
00004261: PUSH2 0x0100
00004264: EXP
00004265: SWAP1
00004266: DIV
00004267: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000427c: AND
0000427d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004292: AND
00004293: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000042a8: AND
000042a9: DUP2
000042aa: MSTORE
000042ab: PUSH1 0x20
000042ad: ADD
000042ae: SWAP1
000042af: DUP2
000042b0: MSTORE
000042b1: PUSH1 0x20
000042b3: ADD
000042b4: PUSH1 0x00
000042b6: KECCAK256
000042b7: SLOAD
000042b8: PUSH2 0x0e75
000042bb: SWAP1
000042bc: SWAP2
000042bd: SWAP1
000042be: PUSH4 0xffffffff
000042c3: AND
000042c4: JUMP
000042c5: JUMPDEST
000042c6: PUSH1 0x11
000042c8: PUSH1 0x00
000042ca: PUSH1 0x0b
000042cc: PUSH1 0x00
000042ce: SWAP1
000042cf: SLOAD
000042d0: SWAP1
000042d1: PUSH2 0x0100
000042d4: EXP
000042d5: SWAP1
000042d6: DIV
000042d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000042ec: AND
000042ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004302: AND
00004303: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004318: AND
00004319: DUP2
0000431a: MSTORE
0000431b: PUSH1 0x20
0000431d: ADD
0000431e: SWAP1
0000431f: DUP2
00004320: MSTORE
00004321: PUSH1 0x20
00004323: ADD
00004324: PUSH1 0x00
00004326: KECCAK256
00004327: DUP2
00004328: SWAP1
00004329: SSTORE
0000432a: POP
0000432b: JUMPDEST
0000432c: PUSH2 0x4356
0000432f: PUSH1 0x0c
00004331: PUSH1 0x00
00004333: SWAP1
00004334: SLOAD
00004335: SWAP1
00004336: PUSH2 0x0100
00004339: EXP
0000433a: SWAP1
0000433b: DIV
0000433c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004351: AND
00004352: PUSH2 0x0f58
00004355: JUMP
00004356: JUMPDEST
00004357: PUSH1 0x00
00004359: DUP2
0000435a: GT
0000435b: ISZERO
0000435c: PUSH2 0x4512
0000435f: JUMPI
00004360: PUSH2 0x43d3
00004363: DUP2
00004364: PUSH1 0x0e
00004366: PUSH1 0x00
00004368: PUSH1 0x0b
0000436a: PUSH1 0x00
0000436c: SWAP1
0000436d: SLOAD
0000436e: SWAP1
0000436f: PUSH2 0x0100
00004372: EXP
00004373: SWAP1
00004374: DIV
00004375: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000438a: AND
0000438b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043a0: AND
000043a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043b6: AND
000043b7: DUP2
000043b8: MSTORE
000043b9: PUSH1 0x20
000043bb: ADD
000043bc: SWAP1
000043bd: DUP2
000043be: MSTORE
000043bf: PUSH1 0x20
000043c1: ADD
000043c2: PUSH1 0x00
000043c4: KECCAK256
000043c5: SLOAD
000043c6: PUSH2 0x0e75
000043c9: SWAP1
000043ca: SWAP2
000043cb: SWAP1
000043cc: PUSH4 0xffffffff
000043d1: AND
000043d2: JUMP
000043d3: JUMPDEST
000043d4: PUSH1 0x0e
000043d6: PUSH1 0x00
000043d8: PUSH1 0x0b
000043da: PUSH1 0x00
000043dc: SWAP1
000043dd: SLOAD
000043de: SWAP1
000043df: PUSH2 0x0100
000043e2: EXP
000043e3: SWAP1
000043e4: DIV
000043e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043fa: AND
000043fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004410: AND
00004411: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004426: AND
00004427: DUP2
00004428: MSTORE
00004429: PUSH1 0x20
0000442b: ADD
0000442c: SWAP1
0000442d: DUP2
0000442e: MSTORE
0000442f: PUSH1 0x20
00004431: ADD
00004432: PUSH1 0x00
00004434: KECCAK256
00004435: DUP2
00004436: SWAP1
00004437: SSTORE
00004438: POP
00004439: PUSH2 0x44ac
0000443c: DUP2
0000443d: PUSH1 0x11
0000443f: PUSH1 0x00
00004441: PUSH1 0x0b
00004443: PUSH1 0x00
00004445: SWAP1
00004446: SLOAD
00004447: SWAP1
00004448: PUSH2 0x0100
0000444b: EXP
0000444c: SWAP1
0000444d: DIV
0000444e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004463: AND
00004464: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004479: AND
0000447a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000448f: AND
00004490: DUP2
00004491: MSTORE
00004492: PUSH1 0x20
00004494: ADD
00004495: SWAP1
00004496: DUP2
00004497: MSTORE
00004498: PUSH1 0x20
0000449a: ADD
0000449b: PUSH1 0x00
0000449d: KECCAK256
0000449e: SLOAD
0000449f: PUSH2 0x0e75
000044a2: SWAP1
000044a3: SWAP2
000044a4: SWAP1
000044a5: PUSH4 0xffffffff
000044aa: AND
000044ab: JUMP
000044ac: JUMPDEST
000044ad: PUSH1 0x11
000044af: PUSH1 0x00
000044b1: PUSH1 0x0b
000044b3: PUSH1 0x00
000044b5: SWAP1
000044b6: SLOAD
000044b7: SWAP1
000044b8: PUSH2 0x0100
000044bb: EXP
000044bc: SWAP1
000044bd: DIV
000044be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000044d3: AND
000044d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000044e9: AND
000044ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000044ff: AND
00004500: DUP2
00004501: MSTORE
00004502: PUSH1 0x20
00004504: ADD
00004505: SWAP1
00004506: DUP2
00004507: MSTORE
00004508: PUSH1 0x20
0000450a: ADD
0000450b: PUSH1 0x00
0000450d: KECCAK256
0000450e: DUP2
0000450f: SWAP1
00004510: SSTORE
00004511: POP
00004512: JUMPDEST
00004513: POP
00004514: POP
00004515: JUMPDEST
00004516: PUSH2 0x4534
00004519: PUSH20 0x5b1fa2c7f369e7cbc8abebc033068d47033f1466
0000452e: DUP10
0000452f: DUP13
00004530: PUSH2 0x306f
00004533: JUMP
00004534: JUMPDEST
00004535: DUP6
00004536: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000454b: AND
0000454c: DUP8
0000454d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004562: AND
00004563: DUP10
00004564: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004579: AND
0000457a: PUSH32 0x599a9d477992a84460cdd96d0290c131f8cdd115f5ce83b780f384f6b4365a58
0000459b: DUP13
0000459c: DUP15
0000459d: PUSH1 0x07
0000459f: SLOAD
000045a0: DUP12
000045a1: TIMESTAMP
000045a2: PUSH1 0x40
000045a4: MLOAD
000045a5: DUP1
000045a6: DUP7
000045a7: DUP2
000045a8: MSTORE
000045a9: PUSH1 0x20
000045ab: ADD
000045ac: DUP6
000045ad: DUP2
000045ae: MSTORE
000045af: PUSH1 0x20
000045b1: ADD
000045b2: DUP5
000045b3: DUP2
000045b4: MSTORE
000045b5: PUSH1 0x20
000045b7: ADD
000045b8: DUP4
000045b9: DUP2
000045ba: MSTORE
000045bb: PUSH1 0x20
000045bd: ADD
000045be: DUP3
000045bf: DUP2
000045c0: MSTORE
000045c1: PUSH1 0x20
000045c3: ADD
000045c4: SWAP6
000045c5: POP
000045c6: POP
000045c7: POP
000045c8: POP
000045c9: POP
000045ca: POP
000045cb: PUSH1 0x40
000045cd: MLOAD
000045ce: DUP1
000045cf: SWAP2
000045d0: SUB
000045d1: SWAP1
000045d2: LOG4
000045d3: PUSH2 0x45e7
000045d6: DUP11
000045d7: PUSH1 0x07
000045d9: SLOAD
000045da: PUSH2 0x0e75
000045dd: SWAP1
000045de: SWAP2
000045df: SWAP1
000045e0: PUSH4 0xffffffff
000045e5: AND
000045e6: JUMP
000045e7: JUMPDEST
000045e8: PUSH1 0x07
000045ea: DUP2
000045eb: SWAP1
000045ec: SSTORE
000045ed: POP
000045ee: POP
000045ef: POP
000045f0: POP
000045f1: POP
000045f2: POP
000045f3: POP
000045f4: POP
000045f5: POP
000045f6: POP
000045f7: POP
000045f8: JUMP
000045f9: JUMPDEST
000045fa: PUSH1 0x00
000045fc: PUSH2 0x464d
000045ff: PUSH2 0x4624
00004602: PUSH2 0x4615
00004605: PUSH1 0x02
00004607: DUP6
00004608: PUSH2 0x2d9c
0000460b: SWAP1
0000460c: SWAP2
0000460d: SWAP1
0000460e: PUSH4 0xffffffff
00004613: AND
00004614: JUMP
00004615: JUMPDEST
00004616: DUP6
00004617: PUSH2 0x0e75
0000461a: SWAP1
0000461b: SWAP2
0000461c: SWAP1
0000461d: PUSH4 0xffffffff
00004622: AND
00004623: JUMP
00004624: JUMPDEST
00004625: PUSH2 0x463f
00004628: PUSH8 0x0de0b6b3a7640000
00004631: DUP8
00004632: PUSH2 0x2ccf
00004635: SWAP1
00004636: SWAP2
00004637: SWAP1
00004638: PUSH4 0xffffffff
0000463d: AND
0000463e: JUMP
0000463f: JUMPDEST
00004640: PUSH2 0x2d9c
00004643: SWAP1
00004644: SWAP2
00004645: SWAP1
00004646: PUSH4 0xffffffff
0000464b: AND
0000464c: JUMP
0000464d: JUMPDEST
0000464e: SWAP1
0000464f: POP
00004650: SWAP4
00004651: SWAP3
00004652: POP
00004653: POP
00004654: POP
00004655: JUMP
00004656: JUMPDEST
00004657: PUSH1 0x01
00004659: PUSH1 0x0f
0000465b: PUSH1 0x00
0000465d: DUP4
0000465e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004673: AND
00004674: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004689: AND
0000468a: DUP2
0000468b: MSTORE
0000468c: PUSH1 0x20
0000468e: ADD
0000468f: SWAP1
00004690: DUP2
00004691: MSTORE
00004692: PUSH1 0x20
00004694: ADD
00004695: PUSH1 0x00
00004697: KECCAK256
00004698: PUSH1 0x00
0000469a: PUSH2 0x0100
0000469d: EXP
0000469e: DUP2
0000469f: SLOAD
000046a0: DUP2
000046a1: PUSH1 0xff
000046a3: MUL
000046a4: NOT
000046a5: AND
000046a6: SWAP1
000046a7: DUP4
000046a8: ISZERO
000046a9: ISZERO
000046aa: MUL
000046ab: OR
000046ac: SWAP1
000046ad: SSTORE
000046ae: POP
000046af: DUP1
000046b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000046c5: AND
000046c6: PUSH32 0xc818f6782517f858523d5fad36842a3152355bf2408b14267b118474c610682e
000046e7: TIMESTAMP
000046e8: PUSH1 0x40
000046ea: MLOAD
000046eb: DUP1
000046ec: DUP3
000046ed: DUP2
000046ee: MSTORE
000046ef: PUSH1 0x20
000046f1: ADD
000046f2: SWAP2
000046f3: POP
000046f4: POP
000046f5: PUSH1 0x40
000046f7: MLOAD
000046f8: DUP1
000046f9: SWAP2
000046fa: SUB
000046fb: SWAP1
000046fc: LOG2
000046fd: POP
000046fe: JUMP
000046ff: JUMPDEST
00004700: PUSH1 0x00
00004702: DUP1
00004703: DUP4
00004704: GT
00004705: DUP3
00004706: SWAP1
00004707: ISZERO
00004708: ISZERO
00004709: PUSH2 0x47ad
0000470c: JUMPI
0000470d: PUSH1 0x40
0000470f: MLOAD
00004710: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00004731: DUP2
00004732: MSTORE
00004733: PUSH1 0x04
00004735: ADD
00004736: DUP1
00004737: DUP1
00004738: PUSH1 0x20
0000473a: ADD
0000473b: DUP3
0000473c: DUP2
0000473d: SUB
0000473e: DUP3
0000473f: MSTORE
00004740: DUP4
00004741: DUP2
00004742: DUP2
00004743: MLOAD
00004744: DUP2
00004745: MSTORE
00004746: PUSH1 0x20
00004748: ADD
00004749: SWAP2
0000474a: POP
0000474b: DUP1
0000474c: MLOAD
0000474d: SWAP1
0000474e: PUSH1 0x20
00004750: ADD
00004751: SWAP1
00004752: DUP1
00004753: DUP4
00004754: DUP4
00004755: PUSH1 0x00
00004757: JUMPDEST
00004758: DUP4
00004759: DUP2
0000475a: LT
0000475b: ISZERO
0000475c: PUSH2 0x4772
0000475f: JUMPI
00004760: DUP1
00004761: DUP3
00004762: ADD
00004763: MLOAD
00004764: DUP2
00004765: DUP5
00004766: ADD
00004767: MSTORE
00004768: PUSH1 0x20
0000476a: DUP2
0000476b: ADD
0000476c: SWAP1
0000476d: POP
0000476e: PUSH2 0x4757
00004771: JUMP
00004772: JUMPDEST
00004773: POP
00004774: POP
00004775: POP
00004776: POP
00004777: SWAP1
00004778: POP
00004779: SWAP1
0000477a: DUP2
0000477b: ADD
0000477c: SWAP1
0000477d: PUSH1 0x1f
0000477f: AND
00004780: DUP1
00004781: ISZERO
00004782: PUSH2 0x479f
00004785: JUMPI
00004786: DUP1
00004787: DUP3
00004788: SUB
00004789: DUP1
0000478a: MLOAD
0000478b: PUSH1 0x01
0000478d: DUP4
0000478e: PUSH1 0x20
00004790: SUB
00004791: PUSH2 0x0100
00004794: EXP
00004795: SUB
00004796: NOT
00004797: AND
00004798: DUP2
00004799: MSTORE
0000479a: PUSH1 0x20
0000479c: ADD
0000479d: SWAP2
0000479e: POP
0000479f: JUMPDEST
000047a0: POP
000047a1: SWAP3
000047a2: POP
000047a3: POP
000047a4: POP
000047a5: PUSH1 0x40
000047a7: MLOAD
000047a8: DUP1
000047a9: SWAP2
000047aa: SUB
000047ab: SWAP1
000047ac: REVERT
000047ad: JUMPDEST
000047ae: POP
000047af: PUSH1 0x00
000047b1: DUP4
000047b2: DUP6
000047b3: DUP2
000047b4: ISZERO
000047b5: ISZERO
000047b6: PUSH2 0x47bb
000047b9: JUMPI
000047ba: INVALID
000047bb: JUMPDEST
000047bc: DIV
000047bd: SWAP1
000047be: POP
000047bf: DUP1
000047c0: SWAP2
000047c1: POP
000047c2: POP
000047c3: SWAP4
000047c4: SWAP3
000047c5: POP
000047c6: POP
000047c7: POP
000047c8: JUMP
000047c9: INVALID
000047ca: LOG1
000047cb: PUSH6 0x627a7a723058
000047d2: KECCAK256
000047d3: UNKNOWN(0xAB)
000047d4: UNKNOWN(0xFB)
000047d5: UNKNOWN(0xCF)
000047d6: MSTORE8
000047d7: DUP9
000047d8: PUSH24 0x9ce456a619c89701b33aed40ea0924c41d3de7d91649dc16
000047f1: SMOD
000047f2: SWAP14
000047f3: STOP
000047f4: UNKNOWN(0x29)

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x645a0c99cad07b3867714e19438053b126323fe1210a093a0bf87b21af50cbaf
call_targets: 0x07c0bf5cbdef4d4df71365f9a8be6ef9bf48f791
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x645a0c99cad07b3867714e19438053b126323fe1210a093a0bf87b21af50cbaf",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x07c0bf5cbdef4d4df71365f9a8be6ef9bf48f791"
    ],
    "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": "0x0111f34a",
            "selector": "0x0111f34a",
            "calldata_variants": [
                "0x0111f34a",
                "0x0111f34a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x152f094b",
            "selector": "0x152f094b",
            "calldata_variants": [
                "0x152f094b",
                "0x152f094b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x16537786",
            "selector": "0x16537786",
            "calldata_variants": [
                "0x16537786",
                "0x165377860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1e9a6950",
            "selector": "0x1e9a6950",
            "calldata_variants": [
                "0x1e9a6950",
                "0x1e9a69500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 6804,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 14922,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 15739,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [
        {
            "pc": 3986,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4601,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5001,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 9481,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 9761,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 10670,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 10920,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 11129,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 4
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x645a0c99cad07b3867714e19438053b126323fe1210a093a0bf87b21af50cbaf
call_targets: 0x07c0bf5cbdef4d4df71365f9a8be6ef9bf48f791
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x645a0c99cad07b3867714e19438053b126323fe1210a093a0bf87b21af50cbaf",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x07c0bf5cbdef4d4df71365f9a8be6ef9bf48f791"
    ],
    "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": "0x0111f34a",
            "selector": "0x0111f34a",
            "calldata_variants": [
                "0x0111f34a",
                "0x0111f34a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x152f094b",
            "selector": "0x152f094b",
            "calldata_variants": [
                "0x152f094b",
                "0x152f094b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x16537786",
            "selector": "0x16537786",
            "calldata_variants": [
                "0x16537786",
                "0x165377860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1e9a6950",
            "selector": "0x1e9a6950",
            "calldata_variants": [
                "0x1e9a6950",
                "0x1e9a69500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 6804,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 14922,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 15739,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": [
        {
            "pc": 3986,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4601,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5001,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 9481,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 9761,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 10670,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 10920,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 11129,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}