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

Analysis Run

019b477e-bb85-717f-8b04-e79ca68ae743

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

What survived the funnel

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

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted DELEGATECALL target 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
23923 artifact.fetch complete 1 / 3 3 months ago
23924 tool.cast_disasm complete 1 / 3 3 months ago
67046 analysis.bundle complete 1 / 3 2 weeks ago
67047 capability.graph complete 1 / 3 2 weeks ago
67048 detector.run complete 1 / 3 2 weeks ago
67049 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
2
EXT*/BALANCE
3
Total opcodes
8421
Flags
delegatecall_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x03b4
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: DUP1
00000031: PUSH4 0x70e1d99b
00000036: GT
00000037: PUSH2 0x01f9
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0xa217fddf
00000041: GT
00000042: PUSH2 0x011f
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0xc7dab436
0000004c: GT
0000004d: PUSH2 0x00bd
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0xd547741f
00000057: GT
00000058: PUSH2 0x008c
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0xd547741f
00000062: EQ
00000063: PUSH2 0x0d3b
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0xdd62ed3e
0000006d: EQ
0000006e: PUSH2 0x0d74
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0xf80f5dd5
00000078: EQ
00000079: PUSH2 0x0daf
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xfdea8e0b
00000083: EQ
00000084: PUSH2 0x0de2
00000087: JUMPI
00000088: PUSH2 0x03b4
0000008b: JUMP
0000008c: JUMPDEST
0000008d: DUP1
0000008e: PUSH4 0xc7dab436
00000093: EQ
00000094: PUSH2 0x0b87
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xca15c873
0000009e: EQ
0000009f: PUSH2 0x0b9c
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xd001fb8e
000000a9: EQ
000000aa: PUSH2 0x0bc6
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xd0170ecc
000000b4: EQ
000000b5: PUSH2 0x0cfa
000000b8: JUMPI
000000b9: PUSH2 0x03b4
000000bc: JUMP
000000bd: JUMPDEST
000000be: DUP1
000000bf: PUSH4 0xa9059cbb
000000c4: GT
000000c5: PUSH2 0x00f9
000000c8: JUMPI
000000c9: DUP1
000000ca: PUSH4 0xa9059cbb
000000cf: EQ
000000d0: PUSH2 0x0aad
000000d3: JUMPI
000000d4: DUP1
000000d5: PUSH4 0xac307773
000000da: EQ
000000db: PUSH2 0x0ae6
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0xb5605c92
000000e5: EQ
000000e6: PUSH2 0x0afb
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0xbe53a511
000000f0: EQ
000000f1: PUSH2 0x0b54
000000f4: JUMPI
000000f5: PUSH2 0x03b4
000000f8: JUMP
000000f9: JUMPDEST
000000fa: DUP1
000000fb: PUSH4 0xa217fddf
00000100: EQ
00000101: PUSH2 0x0a4a
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0xa457c2d7
0000010b: EQ
0000010c: PUSH2 0x0a5f
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0xa46985cc
00000116: EQ
00000117: PUSH2 0x0a98
0000011a: JUMPI
0000011b: PUSH2 0x03b4
0000011e: JUMP
0000011f: JUMPDEST
00000120: DUP1
00000121: PUSH4 0x83e71f30
00000126: GT
00000127: PUSH2 0x0197
0000012a: JUMPI
0000012b: DUP1
0000012c: PUSH4 0x91e7cd44
00000131: GT
00000132: PUSH2 0x0166
00000135: JUMPI
00000136: DUP1
00000137: PUSH4 0x91e7cd44
0000013c: EQ
0000013d: PUSH2 0x09d8
00000140: JUMPI
00000141: DUP1
00000142: PUSH4 0x95364a84
00000147: EQ
00000148: PUSH2 0x09ed
0000014b: JUMPI
0000014c: DUP1
0000014d: PUSH4 0x95d89b41
00000152: EQ
00000153: PUSH2 0x0a02
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x9cf071d1
0000015d: EQ
0000015e: PUSH2 0x0a17
00000161: JUMPI
00000162: PUSH2 0x03b4
00000165: JUMP
00000166: JUMPDEST
00000167: DUP1
00000168: PUSH4 0x83e71f30
0000016d: EQ
0000016e: PUSH2 0x0945
00000171: JUMPI
00000172: DUP1
00000173: PUSH4 0x9010d07c
00000178: EQ
00000179: PUSH2 0x095a
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0x9103a0e0
00000183: EQ
00000184: PUSH2 0x098a
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x91d14854
0000018e: EQ
0000018f: PUSH2 0x099f
00000192: JUMPI
00000193: PUSH2 0x03b4
00000196: JUMP
00000197: JUMPDEST
00000198: DUP1
00000199: PUSH4 0x7a9d0758
0000019e: GT
0000019f: PUSH2 0x01d3
000001a2: JUMPI
000001a3: DUP1
000001a4: PUSH4 0x7a9d0758
000001a9: EQ
000001aa: PUSH2 0x08dc
000001ad: JUMPI
000001ae: DUP1
000001af: PUSH4 0x7ad8fdc1
000001b4: EQ
000001b5: PUSH2 0x08f1
000001b8: JUMPI
000001b9: DUP1
000001ba: PUSH4 0x7ede036d
000001bf: EQ
000001c0: PUSH2 0x0906
000001c3: JUMPI
000001c4: DUP1
000001c5: PUSH4 0x80292160
000001ca: EQ
000001cb: PUSH2 0x091b
000001ce: JUMPI
000001cf: PUSH2 0x03b4
000001d2: JUMP
000001d3: JUMPDEST
000001d4: DUP1
000001d5: PUSH4 0x70e1d99b
000001da: EQ
000001db: PUSH2 0x089d
000001de: JUMPI
000001df: DUP1
000001e0: PUSH4 0x79b36943
000001e5: EQ
000001e6: PUSH2 0x08b2
000001e9: JUMPI
000001ea: DUP1
000001eb: PUSH4 0x7a997ab7
000001f0: EQ
000001f1: PUSH2 0x08c7
000001f4: JUMPI
000001f5: PUSH2 0x03b4
000001f8: JUMP
000001f9: JUMPDEST
000001fa: DUP1
000001fb: PUSH4 0x248a9ca3
00000200: GT
00000201: PUSH2 0x02de
00000204: JUMPI
00000205: DUP1
00000206: PUSH4 0x39d794cf
0000020b: GT
0000020c: PUSH2 0x027c
0000020f: JUMPI
00000210: DUP1
00000211: PUSH4 0x6a76822e
00000216: GT
00000217: PUSH2 0x024b
0000021a: JUMPI
0000021b: DUP1
0000021c: PUSH4 0x6a76822e
00000221: EQ
00000222: PUSH2 0x07dd
00000225: JUMPI
00000226: DUP1
00000227: PUSH4 0x6d91c0e2
0000022c: EQ
0000022d: PUSH2 0x07f2
00000230: JUMPI
00000231: DUP1
00000232: PUSH4 0x6fa7279d
00000237: EQ
00000238: PUSH2 0x0837
0000023b: JUMPI
0000023c: DUP1
0000023d: PUSH4 0x70a08231
00000242: EQ
00000243: PUSH2 0x086a
00000246: JUMPI
00000247: PUSH2 0x03b4
0000024a: JUMP
0000024b: JUMPDEST
0000024c: DUP1
0000024d: PUSH4 0x39d794cf
00000252: EQ
00000253: PUSH2 0x0747
00000256: JUMPI
00000257: DUP1
00000258: PUSH4 0x3a0a5eac
0000025d: EQ
0000025e: PUSH2 0x075c
00000261: JUMPI
00000262: DUP1
00000263: PUSH4 0x40c10f19
00000268: EQ
00000269: PUSH2 0x0771
0000026c: JUMPI
0000026d: DUP1
0000026e: PUSH4 0x477f1eba
00000273: EQ
00000274: PUSH2 0x07aa
00000277: JUMPI
00000278: PUSH2 0x03b4
0000027b: JUMP
0000027c: JUMPDEST
0000027d: DUP1
0000027e: PUSH4 0x313ce567
00000283: GT
00000284: PUSH2 0x02b8
00000287: JUMPI
00000288: DUP1
00000289: PUSH4 0x313ce567
0000028e: EQ
0000028f: PUSH2 0x0695
00000292: JUMPI
00000293: DUP1
00000294: PUSH4 0x36568abe
00000299: EQ
0000029a: PUSH2 0x06c0
0000029d: JUMPI
0000029e: DUP1
0000029f: PUSH4 0x38bdff54
000002a4: EQ
000002a5: PUSH2 0x06f9
000002a8: JUMPI
000002a9: DUP1
000002aa: PUSH4 0x39509351
000002af: EQ
000002b0: PUSH2 0x070e
000002b3: JUMPI
000002b4: PUSH2 0x03b4
000002b7: JUMP
000002b8: JUMPDEST
000002b9: DUP1
000002ba: PUSH4 0x248a9ca3
000002bf: EQ
000002c0: PUSH2 0x061d
000002c3: JUMPI
000002c4: DUP1
000002c5: PUSH4 0x28160668
000002ca: EQ
000002cb: PUSH2 0x0647
000002ce: JUMPI
000002cf: DUP1
000002d0: PUSH4 0x2f2ff15d
000002d5: EQ
000002d6: PUSH2 0x065c
000002d9: JUMPI
000002da: PUSH2 0x03b4
000002dd: JUMP
000002de: JUMPDEST
000002df: DUP1
000002e0: PUSH4 0x098d3228
000002e5: GT
000002e6: PUSH2 0x0356
000002e9: JUMPI
000002ea: DUP1
000002eb: PUSH4 0x18160ddd
000002f0: GT
000002f1: PUSH2 0x0325
000002f4: JUMPI
000002f5: DUP1
000002f6: PUSH4 0x18160ddd
000002fb: EQ
000002fc: PUSH2 0x059b
000002ff: JUMPI
00000300: DUP1
00000301: PUSH4 0x1ad2ad1a
00000306: EQ
00000307: PUSH2 0x05b0
0000030a: JUMPI
0000030b: DUP1
0000030c: PUSH4 0x214039ab
00000311: EQ
00000312: PUSH2 0x05c5
00000315: JUMPI
00000316: DUP1
00000317: PUSH4 0x23b872dd
0000031c: EQ
0000031d: PUSH2 0x05da
00000320: JUMPI
00000321: PUSH2 0x03b4
00000324: JUMP
00000325: JUMPDEST
00000326: DUP1
00000327: PUSH4 0x098d3228
0000032c: EQ
0000032d: PUSH2 0x0529
00000330: JUMPI
00000331: DUP1
00000332: PUSH4 0x0aca2e11
00000337: EQ
00000338: PUSH2 0x053e
0000033b: JUMPI
0000033c: DUP1
0000033d: PUSH4 0x0cd2da38
00000342: EQ
00000343: PUSH2 0x0553
00000346: JUMPI
00000347: DUP1
00000348: PUSH4 0x12cc63dc
0000034d: EQ
0000034e: PUSH2 0x0586
00000351: JUMPI
00000352: PUSH2 0x03b4
00000355: JUMP
00000356: JUMPDEST
00000357: DUP1
00000358: PUSH4 0x057fa3a0
0000035d: GT
0000035e: PUSH2 0x0392
00000361: JUMPI
00000362: DUP1
00000363: PUSH4 0x057fa3a0
00000368: EQ
00000369: PUSH2 0x0420
0000036c: JUMPI
0000036d: DUP1
0000036e: PUSH4 0x06fdde03
00000373: EQ
00000374: PUSH2 0x0435
00000377: JUMPI
00000378: DUP1
00000379: PUSH4 0x08ef2424
0000037e: EQ
0000037f: PUSH2 0x04bf
00000382: JUMPI
00000383: DUP1
00000384: PUSH4 0x095ea7b3
00000389: EQ
0000038a: PUSH2 0x04f0
0000038d: JUMPI
0000038e: PUSH2 0x03b4
00000391: JUMP
00000392: JUMPDEST
00000393: DUP1
00000394: PUSH4 0x046ef9a5
00000399: EQ
0000039a: PUSH2 0x03b9
0000039d: JUMPI
0000039e: DUP1
0000039f: PUSH4 0x0480e58b
000003a4: EQ
000003a5: PUSH2 0x03e2
000003a8: JUMPI
000003a9: DUP1
000003aa: PUSH4 0x04c98b2b
000003af: EQ
000003b0: PUSH2 0x0409
000003b3: JUMPI
000003b4: JUMPDEST
000003b5: PUSH1 0x00
000003b7: DUP1
000003b8: REVERT
000003b9: JUMPDEST
000003ba: CALLVALUE
000003bb: DUP1
000003bc: ISZERO
000003bd: PUSH2 0x03c5
000003c0: JUMPI
000003c1: PUSH1 0x00
000003c3: DUP1
000003c4: REVERT
000003c5: JUMPDEST
000003c6: POP
000003c7: PUSH2 0x03ce
000003ca: PUSH2 0x0dea
000003cd: JUMP
000003ce: JUMPDEST
000003cf: PUSH1 0x40
000003d1: DUP1
000003d2: MLOAD
000003d3: SWAP2
000003d4: ISZERO
000003d5: ISZERO
000003d6: DUP3
000003d7: MSTORE
000003d8: MLOAD
000003d9: SWAP1
000003da: DUP2
000003db: SWAP1
000003dc: SUB
000003dd: PUSH1 0x20
000003df: ADD
000003e0: SWAP1
000003e1: RETURN
000003e2: JUMPDEST
000003e3: CALLVALUE
000003e4: DUP1
000003e5: ISZERO
000003e6: PUSH2 0x03ee
000003e9: JUMPI
000003ea: PUSH1 0x00
000003ec: DUP1
000003ed: REVERT
000003ee: JUMPDEST
000003ef: POP
000003f0: PUSH2 0x03f7
000003f3: PUSH2 0x0ec5
000003f6: JUMP
000003f7: JUMPDEST
000003f8: PUSH1 0x40
000003fa: DUP1
000003fb: MLOAD
000003fc: SWAP2
000003fd: DUP3
000003fe: MSTORE
000003ff: MLOAD
00000400: SWAP1
00000401: DUP2
00000402: SWAP1
00000403: SUB
00000404: PUSH1 0x20
00000406: ADD
00000407: SWAP1
00000408: RETURN
00000409: JUMPDEST
0000040a: CALLVALUE
0000040b: DUP1
0000040c: ISZERO
0000040d: PUSH2 0x0415
00000410: JUMPI
00000411: PUSH1 0x00
00000413: DUP1
00000414: REVERT
00000415: JUMPDEST
00000416: POP
00000417: PUSH2 0x041e
0000041a: PUSH2 0x0ecb
0000041d: JUMP
0000041e: JUMPDEST
0000041f: STOP
00000420: JUMPDEST
00000421: CALLVALUE
00000422: DUP1
00000423: ISZERO
00000424: PUSH2 0x042c
00000427: JUMPI
00000428: PUSH1 0x00
0000042a: DUP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: POP
0000042e: PUSH2 0x03f7
00000431: PUSH2 0x0f88
00000434: JUMP
00000435: JUMPDEST
00000436: CALLVALUE
00000437: DUP1
00000438: ISZERO
00000439: PUSH2 0x0441
0000043c: JUMPI
0000043d: PUSH1 0x00
0000043f: DUP1
00000440: REVERT
00000441: JUMPDEST
00000442: POP
00000443: PUSH2 0x044a
00000446: PUSH2 0x0f8e
00000449: JUMP
0000044a: JUMPDEST
0000044b: PUSH1 0x40
0000044d: DUP1
0000044e: MLOAD
0000044f: PUSH1 0x20
00000451: DUP1
00000452: DUP3
00000453: MSTORE
00000454: DUP4
00000455: MLOAD
00000456: DUP2
00000457: DUP4
00000458: ADD
00000459: MSTORE
0000045a: DUP4
0000045b: MLOAD
0000045c: SWAP2
0000045d: SWAP3
0000045e: DUP4
0000045f: SWAP3
00000460: SWAP1
00000461: DUP4
00000462: ADD
00000463: SWAP2
00000464: DUP6
00000465: ADD
00000466: SWAP1
00000467: DUP1
00000468: DUP4
00000469: DUP4
0000046a: PUSH1 0x00
0000046c: JUMPDEST
0000046d: DUP4
0000046e: DUP2
0000046f: LT
00000470: ISZERO
00000471: PUSH2 0x0484
00000474: JUMPI
00000475: DUP2
00000476: DUP2
00000477: ADD
00000478: MLOAD
00000479: DUP4
0000047a: DUP3
0000047b: ADD
0000047c: MSTORE
0000047d: PUSH1 0x20
0000047f: ADD
00000480: PUSH2 0x046c
00000483: JUMP
00000484: JUMPDEST
00000485: POP
00000486: POP
00000487: POP
00000488: POP
00000489: SWAP1
0000048a: POP
0000048b: SWAP1
0000048c: DUP2
0000048d: ADD
0000048e: SWAP1
0000048f: PUSH1 0x1f
00000491: AND
00000492: DUP1
00000493: ISZERO
00000494: PUSH2 0x04b1
00000497: JUMPI
00000498: DUP1
00000499: DUP3
0000049a: SUB
0000049b: DUP1
0000049c: MLOAD
0000049d: PUSH1 0x01
0000049f: DUP4
000004a0: PUSH1 0x20
000004a2: SUB
000004a3: PUSH2 0x0100
000004a6: EXP
000004a7: SUB
000004a8: NOT
000004a9: AND
000004aa: DUP2
000004ab: MSTORE
000004ac: PUSH1 0x20
000004ae: ADD
000004af: SWAP2
000004b0: POP
000004b1: JUMPDEST
000004b2: POP
000004b3: SWAP3
000004b4: POP
000004b5: POP
000004b6: POP
000004b7: PUSH1 0x40
000004b9: MLOAD
000004ba: DUP1
000004bb: SWAP2
000004bc: SUB
000004bd: SWAP1
000004be: RETURN
000004bf: JUMPDEST
000004c0: CALLVALUE
000004c1: DUP1
000004c2: ISZERO
000004c3: PUSH2 0x04cb
000004c6: JUMPI
000004c7: PUSH1 0x00
000004c9: DUP1
000004ca: REVERT
000004cb: JUMPDEST
000004cc: POP
000004cd: PUSH2 0x04d4
000004d0: PUSH2 0x1024
000004d3: JUMP
000004d4: JUMPDEST
000004d5: PUSH1 0x40
000004d7: DUP1
000004d8: MLOAD
000004d9: PUSH1 0x01
000004db: PUSH1 0xa0
000004dd: PUSH1 0x02
000004df: EXP
000004e0: SUB
000004e1: SWAP1
000004e2: SWAP3
000004e3: AND
000004e4: DUP3
000004e5: MSTORE
000004e6: MLOAD
000004e7: SWAP1
000004e8: DUP2
000004e9: SWAP1
000004ea: SUB
000004eb: PUSH1 0x20
000004ed: ADD
000004ee: SWAP1
000004ef: RETURN
000004f0: JUMPDEST
000004f1: CALLVALUE
000004f2: DUP1
000004f3: ISZERO
000004f4: PUSH2 0x04fc
000004f7: JUMPI
000004f8: PUSH1 0x00
000004fa: DUP1
000004fb: REVERT
000004fc: JUMPDEST
000004fd: POP
000004fe: PUSH2 0x03ce
00000501: PUSH1 0x04
00000503: DUP1
00000504: CALLDATASIZE
00000505: SUB
00000506: PUSH1 0x40
00000508: DUP2
00000509: LT
0000050a: ISZERO
0000050b: PUSH2 0x0513
0000050e: JUMPI
0000050f: PUSH1 0x00
00000511: DUP1
00000512: REVERT
00000513: JUMPDEST
00000514: POP
00000515: PUSH1 0x01
00000517: PUSH1 0xa0
00000519: PUSH1 0x02
0000051b: EXP
0000051c: SUB
0000051d: DUP2
0000051e: CALLDATALOAD
0000051f: AND
00000520: SWAP1
00000521: PUSH1 0x20
00000523: ADD
00000524: CALLDATALOAD
00000525: PUSH2 0x103c
00000528: JUMP
00000529: JUMPDEST
0000052a: CALLVALUE
0000052b: DUP1
0000052c: ISZERO
0000052d: PUSH2 0x0535
00000530: JUMPI
00000531: PUSH1 0x00
00000533: DUP1
00000534: REVERT
00000535: JUMPDEST
00000536: POP
00000537: PUSH2 0x03f7
0000053a: PUSH2 0x105a
0000053d: JUMP
0000053e: JUMPDEST
0000053f: CALLVALUE
00000540: DUP1
00000541: ISZERO
00000542: PUSH2 0x054a
00000545: JUMPI
00000546: PUSH1 0x00
00000548: DUP1
00000549: REVERT
0000054a: JUMPDEST
0000054b: POP
0000054c: PUSH2 0x03f7
0000054f: PUSH2 0x1060
00000552: JUMP
00000553: JUMPDEST
00000554: CALLVALUE
00000555: DUP1
00000556: ISZERO
00000557: PUSH2 0x055f
0000055a: JUMPI
0000055b: PUSH1 0x00
0000055d: DUP1
0000055e: REVERT
0000055f: JUMPDEST
00000560: POP
00000561: PUSH2 0x041e
00000564: PUSH1 0x04
00000566: DUP1
00000567: CALLDATASIZE
00000568: SUB
00000569: PUSH1 0x20
0000056b: DUP2
0000056c: LT
0000056d: ISZERO
0000056e: PUSH2 0x0576
00000571: JUMPI
00000572: PUSH1 0x00
00000574: DUP1
00000575: REVERT
00000576: JUMPDEST
00000577: POP
00000578: CALLDATALOAD
00000579: PUSH1 0x01
0000057b: PUSH1 0xa0
0000057d: PUSH1 0x02
0000057f: EXP
00000580: SUB
00000581: AND
00000582: PUSH2 0x1066
00000585: JUMP
00000586: JUMPDEST
00000587: CALLVALUE
00000588: DUP1
00000589: ISZERO
0000058a: PUSH2 0x0592
0000058d: JUMPI
0000058e: PUSH1 0x00
00000590: DUP1
00000591: REVERT
00000592: JUMPDEST
00000593: POP
00000594: PUSH2 0x03f7
00000597: PUSH2 0x1125
0000059a: JUMP
0000059b: JUMPDEST
0000059c: CALLVALUE
0000059d: DUP1
0000059e: ISZERO
0000059f: PUSH2 0x05a7
000005a2: JUMPI
000005a3: PUSH1 0x00
000005a5: DUP1
000005a6: REVERT
000005a7: JUMPDEST
000005a8: POP
000005a9: PUSH2 0x03f7
000005ac: PUSH2 0x1149
000005af: JUMP
000005b0: JUMPDEST
000005b1: CALLVALUE
000005b2: DUP1
000005b3: ISZERO
000005b4: PUSH2 0x05bc
000005b7: JUMPI
000005b8: PUSH1 0x00
000005ba: DUP1
000005bb: REVERT
000005bc: JUMPDEST
000005bd: POP
000005be: PUSH2 0x041e
000005c1: PUSH2 0x114f
000005c4: JUMP
000005c5: JUMPDEST
000005c6: CALLVALUE
000005c7: DUP1
000005c8: ISZERO
000005c9: PUSH2 0x05d1
000005cc: JUMPI
000005cd: PUSH1 0x00
000005cf: DUP1
000005d0: REVERT
000005d1: JUMPDEST
000005d2: POP
000005d3: PUSH2 0x04d4
000005d6: PUSH2 0x122e
000005d9: JUMP
000005da: JUMPDEST
000005db: CALLVALUE
000005dc: DUP1
000005dd: ISZERO
000005de: PUSH2 0x05e6
000005e1: JUMPI
000005e2: PUSH1 0x00
000005e4: DUP1
000005e5: REVERT
000005e6: JUMPDEST
000005e7: POP
000005e8: PUSH2 0x03ce
000005eb: PUSH1 0x04
000005ed: DUP1
000005ee: CALLDATASIZE
000005ef: SUB
000005f0: PUSH1 0x60
000005f2: DUP2
000005f3: LT
000005f4: ISZERO
000005f5: PUSH2 0x05fd
000005f8: JUMPI
000005f9: PUSH1 0x00
000005fb: DUP1
000005fc: REVERT
000005fd: JUMPDEST
000005fe: POP
000005ff: PUSH1 0x01
00000601: PUSH1 0xa0
00000603: PUSH1 0x02
00000605: EXP
00000606: SUB
00000607: DUP2
00000608: CALLDATALOAD
00000609: DUP2
0000060a: AND
0000060b: SWAP2
0000060c: PUSH1 0x20
0000060e: DUP2
0000060f: ADD
00000610: CALLDATALOAD
00000611: SWAP1
00000612: SWAP2
00000613: AND
00000614: SWAP1
00000615: PUSH1 0x40
00000617: ADD
00000618: CALLDATALOAD
00000619: PUSH2 0x123d
0000061c: JUMP
0000061d: JUMPDEST
0000061e: CALLVALUE
0000061f: DUP1
00000620: ISZERO
00000621: PUSH2 0x0629
00000624: JUMPI
00000625: PUSH1 0x00
00000627: DUP1
00000628: REVERT
00000629: JUMPDEST
0000062a: POP
0000062b: PUSH2 0x03f7
0000062e: PUSH1 0x04
00000630: DUP1
00000631: CALLDATASIZE
00000632: SUB
00000633: PUSH1 0x20
00000635: DUP2
00000636: LT
00000637: ISZERO
00000638: PUSH2 0x0640
0000063b: JUMPI
0000063c: PUSH1 0x00
0000063e: DUP1
0000063f: REVERT
00000640: JUMPDEST
00000641: POP
00000642: CALLDATALOAD
00000643: PUSH2 0x1254
00000646: JUMP
00000647: JUMPDEST
00000648: CALLVALUE
00000649: DUP1
0000064a: ISZERO
0000064b: PUSH2 0x0653
0000064e: JUMPI
0000064f: PUSH1 0x00
00000651: DUP1
00000652: REVERT
00000653: JUMPDEST
00000654: POP
00000655: PUSH2 0x03f7
00000658: PUSH2 0x1269
0000065b: JUMP
0000065c: JUMPDEST
0000065d: CALLVALUE
0000065e: DUP1
0000065f: ISZERO
00000660: PUSH2 0x0668
00000663: JUMPI
00000664: PUSH1 0x00
00000666: DUP1
00000667: REVERT
00000668: JUMPDEST
00000669: POP
0000066a: PUSH2 0x041e
0000066d: PUSH1 0x04
0000066f: DUP1
00000670: CALLDATASIZE
00000671: SUB
00000672: PUSH1 0x40
00000674: DUP2
00000675: LT
00000676: ISZERO
00000677: PUSH2 0x067f
0000067a: JUMPI
0000067b: PUSH1 0x00
0000067d: DUP1
0000067e: REVERT
0000067f: JUMPDEST
00000680: POP
00000681: DUP1
00000682: CALLDATALOAD
00000683: SWAP1
00000684: PUSH1 0x20
00000686: ADD
00000687: CALLDATALOAD
00000688: PUSH1 0x01
0000068a: PUSH1 0xa0
0000068c: PUSH1 0x02
0000068e: EXP
0000068f: SUB
00000690: AND
00000691: PUSH2 0x126f
00000694: JUMP
00000695: JUMPDEST
00000696: CALLVALUE
00000697: DUP1
00000698: ISZERO
00000699: PUSH2 0x06a1
0000069c: JUMPI
0000069d: PUSH1 0x00
0000069f: DUP1
000006a0: REVERT
000006a1: JUMPDEST
000006a2: POP
000006a3: PUSH2 0x06aa
000006a6: PUSH2 0x12de
000006a9: JUMP
000006aa: JUMPDEST
000006ab: PUSH1 0x40
000006ad: DUP1
000006ae: MLOAD
000006af: PUSH1 0xff
000006b1: SWAP1
000006b2: SWAP3
000006b3: AND
000006b4: DUP3
000006b5: MSTORE
000006b6: MLOAD
000006b7: SWAP1
000006b8: DUP2
000006b9: SWAP1
000006ba: SUB
000006bb: PUSH1 0x20
000006bd: ADD
000006be: SWAP1
000006bf: RETURN
000006c0: JUMPDEST
000006c1: CALLVALUE
000006c2: DUP1
000006c3: ISZERO
000006c4: PUSH2 0x06cc
000006c7: JUMPI
000006c8: PUSH1 0x00
000006ca: DUP1
000006cb: REVERT
000006cc: JUMPDEST
000006cd: POP
000006ce: PUSH2 0x041e
000006d1: PUSH1 0x04
000006d3: DUP1
000006d4: CALLDATASIZE
000006d5: SUB
000006d6: PUSH1 0x40
000006d8: DUP2
000006d9: LT
000006da: ISZERO
000006db: PUSH2 0x06e3
000006de: JUMPI
000006df: PUSH1 0x00
000006e1: DUP1
000006e2: REVERT
000006e3: JUMPDEST
000006e4: POP
000006e5: DUP1
000006e6: CALLDATALOAD
000006e7: SWAP1
000006e8: PUSH1 0x20
000006ea: ADD
000006eb: CALLDATALOAD
000006ec: PUSH1 0x01
000006ee: PUSH1 0xa0
000006f0: PUSH1 0x02
000006f2: EXP
000006f3: SUB
000006f4: AND
000006f5: PUSH2 0x12e7
000006f8: JUMP
000006f9: JUMPDEST
000006fa: CALLVALUE
000006fb: DUP1
000006fc: ISZERO
000006fd: PUSH2 0x0705
00000700: JUMPI
00000701: PUSH1 0x00
00000703: DUP1
00000704: REVERT
00000705: JUMPDEST
00000706: POP
00000707: PUSH2 0x03f7
0000070a: PUSH2 0x134b
0000070d: JUMP
0000070e: JUMPDEST
0000070f: CALLVALUE
00000710: DUP1
00000711: ISZERO
00000712: PUSH2 0x071a
00000715: JUMPI
00000716: PUSH1 0x00
00000718: DUP1
00000719: REVERT
0000071a: JUMPDEST
0000071b: POP
0000071c: PUSH2 0x03ce
0000071f: PUSH1 0x04
00000721: DUP1
00000722: CALLDATASIZE
00000723: SUB
00000724: PUSH1 0x40
00000726: DUP2
00000727: LT
00000728: ISZERO
00000729: PUSH2 0x0731
0000072c: JUMPI
0000072d: PUSH1 0x00
0000072f: DUP1
00000730: REVERT
00000731: JUMPDEST
00000732: POP
00000733: PUSH1 0x01
00000735: PUSH1 0xa0
00000737: PUSH1 0x02
00000739: EXP
0000073a: SUB
0000073b: DUP2
0000073c: CALLDATALOAD
0000073d: AND
0000073e: SWAP1
0000073f: PUSH1 0x20
00000741: ADD
00000742: CALLDATALOAD
00000743: PUSH2 0x136f
00000746: JUMP
00000747: JUMPDEST
00000748: CALLVALUE
00000749: DUP1
0000074a: ISZERO
0000074b: PUSH2 0x0753
0000074e: JUMPI
0000074f: PUSH1 0x00
00000751: DUP1
00000752: REVERT
00000753: JUMPDEST
00000754: POP
00000755: PUSH2 0x04d4
00000758: PUSH2 0x13c2
0000075b: JUMP
0000075c: JUMPDEST
0000075d: CALLVALUE
0000075e: DUP1
0000075f: ISZERO
00000760: PUSH2 0x0768
00000763: JUMPI
00000764: PUSH1 0x00
00000766: DUP1
00000767: REVERT
00000768: JUMPDEST
00000769: POP
0000076a: PUSH2 0x03f7
0000076d: PUSH2 0x13d1
00000770: JUMP
00000771: JUMPDEST
00000772: CALLVALUE
00000773: DUP1
00000774: ISZERO
00000775: PUSH2 0x077d
00000778: JUMPI
00000779: PUSH1 0x00
0000077b: DUP1
0000077c: REVERT
0000077d: JUMPDEST
0000077e: POP
0000077f: PUSH2 0x041e
00000782: PUSH1 0x04
00000784: DUP1
00000785: CALLDATASIZE
00000786: SUB
00000787: PUSH1 0x40
00000789: DUP2
0000078a: LT
0000078b: ISZERO
0000078c: PUSH2 0x0794
0000078f: JUMPI
00000790: PUSH1 0x00
00000792: DUP1
00000793: REVERT
00000794: JUMPDEST
00000795: POP
00000796: PUSH1 0x01
00000798: PUSH1 0xa0
0000079a: PUSH1 0x02
0000079c: EXP
0000079d: SUB
0000079e: DUP2
0000079f: CALLDATALOAD
000007a0: AND
000007a1: SWAP1
000007a2: PUSH1 0x20
000007a4: ADD
000007a5: CALLDATALOAD
000007a6: PUSH2 0x13f5
000007a9: JUMP
000007aa: JUMPDEST
000007ab: CALLVALUE
000007ac: DUP1
000007ad: ISZERO
000007ae: PUSH2 0x07b6
000007b1: JUMPI
000007b2: PUSH1 0x00
000007b4: DUP1
000007b5: REVERT
000007b6: JUMPDEST
000007b7: POP
000007b8: PUSH2 0x03f7
000007bb: PUSH1 0x04
000007bd: DUP1
000007be: CALLDATASIZE
000007bf: SUB
000007c0: PUSH1 0x20
000007c2: DUP2
000007c3: LT
000007c4: ISZERO
000007c5: PUSH2 0x07cd
000007c8: JUMPI
000007c9: PUSH1 0x00
000007cb: DUP1
000007cc: REVERT
000007cd: JUMPDEST
000007ce: POP
000007cf: CALLDATALOAD
000007d0: PUSH1 0x01
000007d2: PUSH1 0xa0
000007d4: PUSH1 0x02
000007d6: EXP
000007d7: SUB
000007d8: AND
000007d9: PUSH2 0x14f6
000007dc: JUMP
000007dd: JUMPDEST
000007de: CALLVALUE
000007df: DUP1
000007e0: ISZERO
000007e1: PUSH2 0x07e9
000007e4: JUMPI
000007e5: PUSH1 0x00
000007e7: DUP1
000007e8: REVERT
000007e9: JUMPDEST
000007ea: POP
000007eb: PUSH2 0x03f7
000007ee: PUSH2 0x1508
000007f1: JUMP
000007f2: JUMPDEST
000007f3: CALLVALUE
000007f4: DUP1
000007f5: ISZERO
000007f6: PUSH2 0x07fe
000007f9: JUMPI
000007fa: PUSH1 0x00
000007fc: DUP1
000007fd: REVERT
000007fe: JUMPDEST
000007ff: POP
00000800: PUSH2 0x04d4
00000803: PUSH1 0x04
00000805: DUP1
00000806: CALLDATASIZE
00000807: SUB
00000808: PUSH1 0x60
0000080a: DUP2
0000080b: LT
0000080c: ISZERO
0000080d: PUSH2 0x0815
00000810: JUMPI
00000811: PUSH1 0x00
00000813: DUP1
00000814: REVERT
00000815: JUMPDEST
00000816: POP
00000817: PUSH1 0x01
00000819: PUSH1 0xa0
0000081b: PUSH1 0x02
0000081d: EXP
0000081e: SUB
0000081f: DUP2
00000820: CALLDATALOAD
00000821: DUP2
00000822: AND
00000823: SWAP2
00000824: PUSH1 0x20
00000826: DUP2
00000827: ADD
00000828: CALLDATALOAD
00000829: DUP3
0000082a: AND
0000082b: SWAP2
0000082c: PUSH1 0x40
0000082e: SWAP1
0000082f: SWAP2
00000830: ADD
00000831: CALLDATALOAD
00000832: AND
00000833: PUSH2 0x150e
00000836: JUMP
00000837: JUMPDEST
00000838: CALLVALUE
00000839: DUP1
0000083a: ISZERO
0000083b: PUSH2 0x0843
0000083e: JUMPI
0000083f: PUSH1 0x00
00000841: DUP1
00000842: REVERT
00000843: JUMPDEST
00000844: POP
00000845: PUSH2 0x041e
00000848: PUSH1 0x04
0000084a: DUP1
0000084b: CALLDATASIZE
0000084c: SUB
0000084d: PUSH1 0x20
0000084f: DUP2
00000850: LT
00000851: ISZERO
00000852: PUSH2 0x085a
00000855: JUMPI
00000856: PUSH1 0x00
00000858: DUP1
00000859: REVERT
0000085a: JUMPDEST
0000085b: POP
0000085c: CALLDATALOAD
0000085d: PUSH1 0x01
0000085f: PUSH1 0xa0
00000861: PUSH1 0x02
00000863: EXP
00000864: SUB
00000865: AND
00000866: PUSH2 0x1605
00000869: JUMP
0000086a: JUMPDEST
0000086b: CALLVALUE
0000086c: DUP1
0000086d: ISZERO
0000086e: PUSH2 0x0876
00000871: JUMPI
00000872: PUSH1 0x00
00000874: DUP1
00000875: REVERT
00000876: JUMPDEST
00000877: POP
00000878: PUSH2 0x03f7
0000087b: PUSH1 0x04
0000087d: DUP1
0000087e: CALLDATASIZE
0000087f: SUB
00000880: PUSH1 0x20
00000882: DUP2
00000883: LT
00000884: ISZERO
00000885: PUSH2 0x088d
00000888: JUMPI
00000889: PUSH1 0x00
0000088b: DUP1
0000088c: REVERT
0000088d: JUMPDEST
0000088e: POP
0000088f: CALLDATALOAD
00000890: PUSH1 0x01
00000892: PUSH1 0xa0
00000894: PUSH1 0x02
00000896: EXP
00000897: SUB
00000898: AND
00000899: PUSH2 0x168c
0000089c: JUMP
0000089d: JUMPDEST
0000089e: CALLVALUE
0000089f: DUP1
000008a0: ISZERO
000008a1: PUSH2 0x08a9
000008a4: JUMPI
000008a5: PUSH1 0x00
000008a7: DUP1
000008a8: REVERT
000008a9: JUMPDEST
000008aa: POP
000008ab: PUSH2 0x041e
000008ae: PUSH2 0x16a7
000008b1: JUMP
000008b2: JUMPDEST
000008b3: CALLVALUE
000008b4: DUP1
000008b5: ISZERO
000008b6: PUSH2 0x08be
000008b9: JUMPI
000008ba: PUSH1 0x00
000008bc: DUP1
000008bd: REVERT
000008be: JUMPDEST
000008bf: POP
000008c0: PUSH2 0x04d4
000008c3: PUSH2 0x17ba
000008c6: JUMP
000008c7: JUMPDEST
000008c8: CALLVALUE
000008c9: DUP1
000008ca: ISZERO
000008cb: PUSH2 0x08d3
000008ce: JUMPI
000008cf: PUSH1 0x00
000008d1: DUP1
000008d2: REVERT
000008d3: JUMPDEST
000008d4: POP
000008d5: PUSH2 0x03f7
000008d8: PUSH2 0x17d2
000008db: JUMP
000008dc: JUMPDEST
000008dd: CALLVALUE
000008de: DUP1
000008df: ISZERO
000008e0: PUSH2 0x08e8
000008e3: JUMPI
000008e4: PUSH1 0x00
000008e6: DUP1
000008e7: REVERT
000008e8: JUMPDEST
000008e9: POP
000008ea: PUSH2 0x04d4
000008ed: PUSH2 0x17e4
000008f0: JUMP
000008f1: JUMPDEST
000008f2: CALLVALUE
000008f3: DUP1
000008f4: ISZERO
000008f5: PUSH2 0x08fd
000008f8: JUMPI
000008f9: PUSH1 0x00
000008fb: DUP1
000008fc: REVERT
000008fd: JUMPDEST
000008fe: POP
000008ff: PUSH2 0x041e
00000902: PUSH2 0x17f3
00000905: JUMP
00000906: JUMPDEST
00000907: CALLVALUE
00000908: DUP1
00000909: ISZERO
0000090a: PUSH2 0x0912
0000090d: JUMPI
0000090e: PUSH1 0x00
00000910: DUP1
00000911: REVERT
00000912: JUMPDEST
00000913: POP
00000914: PUSH2 0x03f7
00000917: PUSH2 0x1aca
0000091a: JUMP
0000091b: JUMPDEST
0000091c: CALLVALUE
0000091d: DUP1
0000091e: ISZERO
0000091f: PUSH2 0x0927
00000922: JUMPI
00000923: PUSH1 0x00
00000925: DUP1
00000926: REVERT
00000927: JUMPDEST
00000928: POP
00000929: PUSH2 0x041e
0000092c: PUSH1 0x04
0000092e: DUP1
0000092f: CALLDATASIZE
00000930: SUB
00000931: PUSH1 0x20
00000933: DUP2
00000934: LT
00000935: ISZERO
00000936: PUSH2 0x093e
00000939: JUMPI
0000093a: PUSH1 0x00
0000093c: DUP1
0000093d: REVERT
0000093e: JUMPDEST
0000093f: POP
00000940: CALLDATALOAD
00000941: PUSH2 0x1ad0
00000944: JUMP
00000945: JUMPDEST
00000946: CALLVALUE
00000947: DUP1
00000948: ISZERO
00000949: PUSH2 0x0951
0000094c: JUMPI
0000094d: PUSH1 0x00
0000094f: DUP1
00000950: REVERT
00000951: JUMPDEST
00000952: POP
00000953: PUSH2 0x03f7
00000956: PUSH2 0x1b2f
00000959: JUMP
0000095a: JUMPDEST
0000095b: CALLVALUE
0000095c: DUP1
0000095d: ISZERO
0000095e: PUSH2 0x0966
00000961: JUMPI
00000962: PUSH1 0x00
00000964: DUP1
00000965: REVERT
00000966: JUMPDEST
00000967: POP
00000968: PUSH2 0x04d4
0000096b: PUSH1 0x04
0000096d: DUP1
0000096e: CALLDATASIZE
0000096f: SUB
00000970: PUSH1 0x40
00000972: DUP2
00000973: LT
00000974: ISZERO
00000975: PUSH2 0x097d
00000978: JUMPI
00000979: PUSH1 0x00
0000097b: DUP1
0000097c: REVERT
0000097d: JUMPDEST
0000097e: POP
0000097f: DUP1
00000980: CALLDATALOAD
00000981: SWAP1
00000982: PUSH1 0x20
00000984: ADD
00000985: CALLDATALOAD
00000986: PUSH2 0x1b35
00000989: JUMP
0000098a: JUMPDEST
0000098b: CALLVALUE
0000098c: DUP1
0000098d: ISZERO
0000098e: PUSH2 0x0996
00000991: JUMPI
00000992: PUSH1 0x00
00000994: DUP1
00000995: REVERT
00000996: JUMPDEST
00000997: POP
00000998: PUSH2 0x03f7
0000099b: PUSH2 0x1b4d
0000099e: JUMP
0000099f: JUMPDEST
000009a0: CALLVALUE
000009a1: DUP1
000009a2: ISZERO
000009a3: PUSH2 0x09ab
000009a6: JUMPI
000009a7: PUSH1 0x00
000009a9: DUP1
000009aa: REVERT
000009ab: JUMPDEST
000009ac: POP
000009ad: PUSH2 0x03ce
000009b0: PUSH1 0x04
000009b2: DUP1
000009b3: CALLDATASIZE
000009b4: SUB
000009b5: PUSH1 0x40
000009b7: DUP2
000009b8: LT
000009b9: ISZERO
000009ba: PUSH2 0x09c2
000009bd: JUMPI
000009be: PUSH1 0x00
000009c0: DUP1
000009c1: REVERT
000009c2: JUMPDEST
000009c3: POP
000009c4: DUP1
000009c5: CALLDATALOAD
000009c6: SWAP1
000009c7: PUSH1 0x20
000009c9: ADD
000009ca: CALLDATALOAD
000009cb: PUSH1 0x01
000009cd: PUSH1 0xa0
000009cf: PUSH1 0x02
000009d1: EXP
000009d2: SUB
000009d3: AND
000009d4: PUSH2 0x1b5f
000009d7: JUMP
000009d8: JUMPDEST
000009d9: CALLVALUE
000009da: DUP1
000009db: ISZERO
000009dc: PUSH2 0x09e4
000009df: JUMPI
000009e0: PUSH1 0x00
000009e2: DUP1
000009e3: REVERT
000009e4: JUMPDEST
000009e5: POP
000009e6: PUSH2 0x03f7
000009e9: PUSH2 0x1b77
000009ec: JUMP
000009ed: JUMPDEST
000009ee: CALLVALUE
000009ef: DUP1
000009f0: ISZERO
000009f1: PUSH2 0x09f9
000009f4: JUMPI
000009f5: PUSH1 0x00
000009f7: DUP1
000009f8: REVERT
000009f9: JUMPDEST
000009fa: POP
000009fb: PUSH2 0x03ce
000009fe: PUSH2 0x1b7d
00000a01: JUMP
00000a02: JUMPDEST
00000a03: CALLVALUE
00000a04: DUP1
00000a05: ISZERO
00000a06: PUSH2 0x0a0e
00000a09: JUMPI
00000a0a: PUSH1 0x00
00000a0c: DUP1
00000a0d: REVERT
00000a0e: JUMPDEST
00000a0f: POP
00000a10: PUSH2 0x044a
00000a13: PUSH2 0x1b86
00000a16: JUMP
00000a17: JUMPDEST
00000a18: CALLVALUE
00000a19: DUP1
00000a1a: ISZERO
00000a1b: PUSH2 0x0a23
00000a1e: JUMPI
00000a1f: PUSH1 0x00
00000a21: DUP1
00000a22: REVERT
00000a23: JUMPDEST
00000a24: POP
00000a25: PUSH2 0x041e
00000a28: PUSH1 0x04
00000a2a: DUP1
00000a2b: CALLDATASIZE
00000a2c: SUB
00000a2d: PUSH1 0x20
00000a2f: DUP2
00000a30: LT
00000a31: ISZERO
00000a32: PUSH2 0x0a3a
00000a35: JUMPI
00000a36: PUSH1 0x00
00000a38: DUP1
00000a39: REVERT
00000a3a: JUMPDEST
00000a3b: POP
00000a3c: CALLDATALOAD
00000a3d: PUSH1 0x01
00000a3f: PUSH1 0xa0
00000a41: PUSH1 0x02
00000a43: EXP
00000a44: SUB
00000a45: AND
00000a46: PUSH2 0x1be7
00000a49: JUMP
00000a4a: JUMPDEST
00000a4b: CALLVALUE
00000a4c: DUP1
00000a4d: ISZERO
00000a4e: PUSH2 0x0a56
00000a51: JUMPI
00000a52: PUSH1 0x00
00000a54: DUP1
00000a55: REVERT
00000a56: JUMPDEST
00000a57: POP
00000a58: PUSH2 0x03f7
00000a5b: PUSH2 0x1cb9
00000a5e: JUMP
00000a5f: JUMPDEST
00000a60: CALLVALUE
00000a61: DUP1
00000a62: ISZERO
00000a63: PUSH2 0x0a6b
00000a66: JUMPI
00000a67: PUSH1 0x00
00000a69: DUP1
00000a6a: REVERT
00000a6b: JUMPDEST
00000a6c: POP
00000a6d: PUSH2 0x03ce
00000a70: PUSH1 0x04
00000a72: DUP1
00000a73: CALLDATASIZE
00000a74: SUB
00000a75: PUSH1 0x40
00000a77: DUP2
00000a78: LT
00000a79: ISZERO
00000a7a: PUSH2 0x0a82
00000a7d: JUMPI
00000a7e: PUSH1 0x00
00000a80: DUP1
00000a81: REVERT
00000a82: JUMPDEST
00000a83: POP
00000a84: PUSH1 0x01
00000a86: PUSH1 0xa0
00000a88: PUSH1 0x02
00000a8a: EXP
00000a8b: SUB
00000a8c: DUP2
00000a8d: CALLDATALOAD
00000a8e: AND
00000a8f: SWAP1
00000a90: PUSH1 0x20
00000a92: ADD
00000a93: CALLDATALOAD
00000a94: PUSH2 0x1cbe
00000a97: JUMP
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 0x04d4
00000aa9: PUSH2 0x1d26
00000aac: JUMP
00000aad: JUMPDEST
00000aae: CALLVALUE
00000aaf: DUP1
00000ab0: ISZERO
00000ab1: PUSH2 0x0ab9
00000ab4: JUMPI
00000ab5: PUSH1 0x00
00000ab7: DUP1
00000ab8: REVERT
00000ab9: JUMPDEST
00000aba: POP
00000abb: PUSH2 0x03ce
00000abe: PUSH1 0x04
00000ac0: DUP1
00000ac1: CALLDATASIZE
00000ac2: SUB
00000ac3: PUSH1 0x40
00000ac5: DUP2
00000ac6: LT
00000ac7: ISZERO
00000ac8: PUSH2 0x0ad0
00000acb: JUMPI
00000acc: PUSH1 0x00
00000ace: DUP1
00000acf: REVERT
00000ad0: JUMPDEST
00000ad1: POP
00000ad2: PUSH1 0x01
00000ad4: PUSH1 0xa0
00000ad6: PUSH1 0x02
00000ad8: EXP
00000ad9: SUB
00000ada: DUP2
00000adb: CALLDATALOAD
00000adc: AND
00000add: SWAP1
00000ade: PUSH1 0x20
00000ae0: ADD
00000ae1: CALLDATALOAD
00000ae2: PUSH2 0x1d35
00000ae5: JUMP
00000ae6: JUMPDEST
00000ae7: CALLVALUE
00000ae8: DUP1
00000ae9: ISZERO
00000aea: PUSH2 0x0af2
00000aed: JUMPI
00000aee: PUSH1 0x00
00000af0: DUP1
00000af1: REVERT
00000af2: JUMPDEST
00000af3: POP
00000af4: PUSH2 0x041e
00000af7: PUSH2 0x1d41
00000afa: JUMP
00000afb: JUMPDEST
00000afc: CALLVALUE
00000afd: DUP1
00000afe: ISZERO
00000aff: PUSH2 0x0b07
00000b02: JUMPI
00000b03: PUSH1 0x00
00000b05: DUP1
00000b06: REVERT
00000b07: JUMPDEST
00000b08: POP
00000b09: PUSH2 0x0b2e
00000b0c: PUSH1 0x04
00000b0e: DUP1
00000b0f: CALLDATASIZE
00000b10: SUB
00000b11: PUSH1 0x20
00000b13: DUP2
00000b14: LT
00000b15: ISZERO
00000b16: PUSH2 0x0b1e
00000b19: JUMPI
00000b1a: PUSH1 0x00
00000b1c: DUP1
00000b1d: REVERT
00000b1e: JUMPDEST
00000b1f: POP
00000b20: CALLDATALOAD
00000b21: PUSH1 0x01
00000b23: PUSH1 0xa0
00000b25: PUSH1 0x02
00000b27: EXP
00000b28: SUB
00000b29: AND
00000b2a: PUSH2 0x1e48
00000b2d: JUMP
00000b2e: JUMPDEST
00000b2f: PUSH1 0x40
00000b31: DUP1
00000b32: MLOAD
00000b33: SWAP5
00000b34: DUP6
00000b35: MSTORE
00000b36: PUSH1 0x20
00000b38: DUP6
00000b39: ADD
00000b3a: SWAP4
00000b3b: SWAP1
00000b3c: SWAP4
00000b3d: MSTORE
00000b3e: DUP4
00000b3f: DUP4
00000b40: ADD
00000b41: SWAP2
00000b42: SWAP1
00000b43: SWAP2
00000b44: MSTORE
00000b45: PUSH1 0x60
00000b47: DUP4
00000b48: ADD
00000b49: MSTORE
00000b4a: MLOAD
00000b4b: SWAP1
00000b4c: DUP2
00000b4d: SWAP1
00000b4e: SUB
00000b4f: PUSH1 0x80
00000b51: ADD
00000b52: SWAP1
00000b53: RETURN
00000b54: JUMPDEST
00000b55: CALLVALUE
00000b56: DUP1
00000b57: ISZERO
00000b58: PUSH2 0x0b60
00000b5b: JUMPI
00000b5c: PUSH1 0x00
00000b5e: DUP1
00000b5f: REVERT
00000b60: JUMPDEST
00000b61: POP
00000b62: PUSH2 0x041e
00000b65: PUSH1 0x04
00000b67: DUP1
00000b68: CALLDATASIZE
00000b69: SUB
00000b6a: PUSH1 0x20
00000b6c: DUP2
00000b6d: LT
00000b6e: ISZERO
00000b6f: PUSH2 0x0b77
00000b72: JUMPI
00000b73: PUSH1 0x00
00000b75: DUP1
00000b76: REVERT
00000b77: JUMPDEST
00000b78: POP
00000b79: CALLDATALOAD
00000b7a: PUSH1 0x01
00000b7c: PUSH1 0xa0
00000b7e: PUSH1 0x02
00000b80: EXP
00000b81: SUB
00000b82: AND
00000b83: PUSH2 0x1e6f
00000b86: JUMP
00000b87: JUMPDEST
00000b88: CALLVALUE
00000b89: DUP1
00000b8a: ISZERO
00000b8b: PUSH2 0x0b93
00000b8e: JUMPI
00000b8f: PUSH1 0x00
00000b91: DUP1
00000b92: REVERT
00000b93: JUMPDEST
00000b94: POP
00000b95: PUSH2 0x03f7
00000b98: PUSH2 0x1ef3
00000b9b: JUMP
00000b9c: JUMPDEST
00000b9d: CALLVALUE
00000b9e: DUP1
00000b9f: ISZERO
00000ba0: PUSH2 0x0ba8
00000ba3: JUMPI
00000ba4: PUSH1 0x00
00000ba6: DUP1
00000ba7: REVERT
00000ba8: JUMPDEST
00000ba9: POP
00000baa: PUSH2 0x03f7
00000bad: PUSH1 0x04
00000baf: DUP1
00000bb0: CALLDATASIZE
00000bb1: SUB
00000bb2: PUSH1 0x20
00000bb4: DUP2
00000bb5: LT
00000bb6: ISZERO
00000bb7: PUSH2 0x0bbf
00000bba: JUMPI
00000bbb: PUSH1 0x00
00000bbd: DUP1
00000bbe: REVERT
00000bbf: JUMPDEST
00000bc0: POP
00000bc1: CALLDATALOAD
00000bc2: PUSH2 0x1ef9
00000bc5: JUMP
00000bc6: JUMPDEST
00000bc7: CALLVALUE
00000bc8: DUP1
00000bc9: ISZERO
00000bca: PUSH2 0x0bd2
00000bcd: JUMPI
00000bce: PUSH1 0x00
00000bd0: DUP1
00000bd1: REVERT
00000bd2: JUMPDEST
00000bd3: POP
00000bd4: PUSH2 0x041e
00000bd7: PUSH1 0x04
00000bd9: DUP1
00000bda: CALLDATASIZE
00000bdb: SUB
00000bdc: PUSH1 0x40
00000bde: DUP2
00000bdf: LT
00000be0: ISZERO
00000be1: PUSH2 0x0be9
00000be4: JUMPI
00000be5: PUSH1 0x00
00000be7: DUP1
00000be8: REVERT
00000be9: JUMPDEST
00000bea: DUP2
00000beb: ADD
00000bec: SWAP1
00000bed: PUSH1 0x20
00000bef: DUP2
00000bf0: ADD
00000bf1: DUP2
00000bf2: CALLDATALOAD
00000bf3: PUSH5 0x0100000000
00000bf9: DUP2
00000bfa: GT
00000bfb: ISZERO
00000bfc: PUSH2 0x0c04
00000bff: JUMPI
00000c00: PUSH1 0x00
00000c02: DUP1
00000c03: REVERT
00000c04: JUMPDEST
00000c05: DUP3
00000c06: ADD
00000c07: DUP4
00000c08: PUSH1 0x20
00000c0a: DUP3
00000c0b: ADD
00000c0c: GT
00000c0d: ISZERO
00000c0e: PUSH2 0x0c16
00000c11: JUMPI
00000c12: PUSH1 0x00
00000c14: DUP1
00000c15: REVERT
00000c16: JUMPDEST
00000c17: DUP1
00000c18: CALLDATALOAD
00000c19: SWAP1
00000c1a: PUSH1 0x20
00000c1c: ADD
00000c1d: SWAP2
00000c1e: DUP5
00000c1f: PUSH1 0x20
00000c21: DUP4
00000c22: MUL
00000c23: DUP5
00000c24: ADD
00000c25: GT
00000c26: PUSH5 0x0100000000
00000c2c: DUP4
00000c2d: GT
00000c2e: OR
00000c2f: ISZERO
00000c30: PUSH2 0x0c38
00000c33: JUMPI
00000c34: PUSH1 0x00
00000c36: DUP1
00000c37: REVERT
00000c38: JUMPDEST
00000c39: SWAP2
00000c3a: SWAP1
00000c3b: DUP1
00000c3c: DUP1
00000c3d: PUSH1 0x20
00000c3f: MUL
00000c40: PUSH1 0x20
00000c42: ADD
00000c43: PUSH1 0x40
00000c45: MLOAD
00000c46: SWAP1
00000c47: DUP2
00000c48: ADD
00000c49: PUSH1 0x40
00000c4b: MSTORE
00000c4c: DUP1
00000c4d: SWAP4
00000c4e: SWAP3
00000c4f: SWAP2
00000c50: SWAP1
00000c51: DUP2
00000c52: DUP2
00000c53: MSTORE
00000c54: PUSH1 0x20
00000c56: ADD
00000c57: DUP4
00000c58: DUP4
00000c59: PUSH1 0x20
00000c5b: MUL
00000c5c: DUP1
00000c5d: DUP3
00000c5e: DUP5
00000c5f: CALLDATACOPY
00000c60: PUSH1 0x00
00000c62: SWAP3
00000c63: ADD
00000c64: SWAP2
00000c65: SWAP1
00000c66: SWAP2
00000c67: MSTORE
00000c68: POP
00000c69: SWAP3
00000c6a: SWAP6
00000c6b: SWAP5
00000c6c: SWAP4
00000c6d: PUSH1 0x20
00000c6f: DUP2
00000c70: ADD
00000c71: SWAP4
00000c72: POP
00000c73: CALLDATALOAD
00000c74: SWAP2
00000c75: POP
00000c76: POP
00000c77: PUSH5 0x0100000000
00000c7d: DUP2
00000c7e: GT
00000c7f: ISZERO
00000c80: PUSH2 0x0c88
00000c83: JUMPI
00000c84: PUSH1 0x00
00000c86: DUP1
00000c87: REVERT
00000c88: JUMPDEST
00000c89: DUP3
00000c8a: ADD
00000c8b: DUP4
00000c8c: PUSH1 0x20
00000c8e: DUP3
00000c8f: ADD
00000c90: GT
00000c91: ISZERO
00000c92: PUSH2 0x0c9a
00000c95: JUMPI
00000c96: PUSH1 0x00
00000c98: DUP1
00000c99: REVERT
00000c9a: JUMPDEST
00000c9b: DUP1
00000c9c: CALLDATALOAD
00000c9d: SWAP1
00000c9e: PUSH1 0x20
00000ca0: ADD
00000ca1: SWAP2
00000ca2: DUP5
00000ca3: PUSH1 0x20
00000ca5: DUP4
00000ca6: MUL
00000ca7: DUP5
00000ca8: ADD
00000ca9: GT
00000caa: PUSH5 0x0100000000
00000cb0: DUP4
00000cb1: GT
00000cb2: OR
00000cb3: ISZERO
00000cb4: PUSH2 0x0cbc
00000cb7: JUMPI
00000cb8: PUSH1 0x00
00000cba: DUP1
00000cbb: REVERT
00000cbc: JUMPDEST
00000cbd: SWAP2
00000cbe: SWAP1
00000cbf: DUP1
00000cc0: DUP1
00000cc1: PUSH1 0x20
00000cc3: MUL
00000cc4: PUSH1 0x20
00000cc6: ADD
00000cc7: PUSH1 0x40
00000cc9: MLOAD
00000cca: SWAP1
00000ccb: DUP2
00000ccc: ADD
00000ccd: PUSH1 0x40
00000ccf: MSTORE
00000cd0: DUP1
00000cd1: SWAP4
00000cd2: SWAP3
00000cd3: SWAP2
00000cd4: SWAP1
00000cd5: DUP2
00000cd6: DUP2
00000cd7: MSTORE
00000cd8: PUSH1 0x20
00000cda: ADD
00000cdb: DUP4
00000cdc: DUP4
00000cdd: PUSH1 0x20
00000cdf: MUL
00000ce0: DUP1
00000ce1: DUP3
00000ce2: DUP5
00000ce3: CALLDATACOPY
00000ce4: PUSH1 0x00
00000ce6: SWAP3
00000ce7: ADD
00000ce8: SWAP2
00000ce9: SWAP1
00000cea: SWAP2
00000ceb: MSTORE
00000cec: POP
00000ced: SWAP3
00000cee: SWAP6
00000cef: POP
00000cf0: PUSH2 0x1f10
00000cf3: SWAP5
00000cf4: POP
00000cf5: POP
00000cf6: POP
00000cf7: POP
00000cf8: POP
00000cf9: JUMP
00000cfa: JUMPDEST
00000cfb: CALLVALUE
00000cfc: DUP1
00000cfd: ISZERO
00000cfe: PUSH2 0x0d06
00000d01: JUMPI
00000d02: PUSH1 0x00
00000d04: DUP1
00000d05: REVERT
00000d06: JUMPDEST
00000d07: POP
00000d08: PUSH2 0x03f7
00000d0b: PUSH1 0x04
00000d0d: DUP1
00000d0e: CALLDATASIZE
00000d0f: SUB
00000d10: PUSH1 0x60
00000d12: DUP2
00000d13: LT
00000d14: ISZERO
00000d15: PUSH2 0x0d1d
00000d18: JUMPI
00000d19: PUSH1 0x00
00000d1b: DUP1
00000d1c: REVERT
00000d1d: JUMPDEST
00000d1e: POP
00000d1f: DUP1
00000d20: CALLDATALOAD
00000d21: SWAP1
00000d22: PUSH1 0x01
00000d24: PUSH1 0xa0
00000d26: PUSH1 0x02
00000d28: EXP
00000d29: SUB
00000d2a: PUSH1 0x20
00000d2c: DUP3
00000d2d: ADD
00000d2e: CALLDATALOAD
00000d2f: DUP2
00000d30: AND
00000d31: SWAP2
00000d32: PUSH1 0x40
00000d34: ADD
00000d35: CALLDATALOAD
00000d36: AND
00000d37: PUSH2 0x200d
00000d3a: JUMP
00000d3b: JUMPDEST
00000d3c: CALLVALUE
00000d3d: DUP1
00000d3e: ISZERO
00000d3f: PUSH2 0x0d47
00000d42: JUMPI
00000d43: PUSH1 0x00
00000d45: DUP1
00000d46: REVERT
00000d47: JUMPDEST
00000d48: POP
00000d49: PUSH2 0x041e
00000d4c: PUSH1 0x04
00000d4e: DUP1
00000d4f: CALLDATASIZE
00000d50: SUB
00000d51: PUSH1 0x40
00000d53: DUP2
00000d54: LT
00000d55: ISZERO
00000d56: PUSH2 0x0d5e
00000d59: JUMPI
00000d5a: PUSH1 0x00
00000d5c: DUP1
00000d5d: REVERT
00000d5e: JUMPDEST
00000d5f: POP
00000d60: DUP1
00000d61: CALLDATALOAD
00000d62: SWAP1
00000d63: PUSH1 0x20
00000d65: ADD
00000d66: CALLDATALOAD
00000d67: PUSH1 0x01
00000d69: PUSH1 0xa0
00000d6b: PUSH1 0x02
00000d6d: EXP
00000d6e: SUB
00000d6f: AND
00000d70: PUSH2 0x20cf
00000d73: JUMP
00000d74: JUMPDEST
00000d75: CALLVALUE
00000d76: DUP1
00000d77: ISZERO
00000d78: PUSH2 0x0d80
00000d7b: JUMPI
00000d7c: PUSH1 0x00
00000d7e: DUP1
00000d7f: REVERT
00000d80: JUMPDEST
00000d81: POP
00000d82: PUSH2 0x03f7
00000d85: PUSH1 0x04
00000d87: DUP1
00000d88: CALLDATASIZE
00000d89: SUB
00000d8a: PUSH1 0x40
00000d8c: DUP2
00000d8d: LT
00000d8e: ISZERO
00000d8f: PUSH2 0x0d97
00000d92: JUMPI
00000d93: PUSH1 0x00
00000d95: DUP1
00000d96: REVERT
00000d97: JUMPDEST
00000d98: POP
00000d99: PUSH1 0x01
00000d9b: PUSH1 0xa0
00000d9d: PUSH1 0x02
00000d9f: EXP
00000da0: SUB
00000da1: DUP2
00000da2: CALLDATALOAD
00000da3: DUP2
00000da4: AND
00000da5: SWAP2
00000da6: PUSH1 0x20
00000da8: ADD
00000da9: CALLDATALOAD
00000daa: AND
00000dab: PUSH2 0x212b
00000dae: JUMP
00000daf: JUMPDEST
00000db0: CALLVALUE
00000db1: DUP1
00000db2: ISZERO
00000db3: PUSH2 0x0dbb
00000db6: JUMPI
00000db7: PUSH1 0x00
00000db9: DUP1
00000dba: REVERT
00000dbb: JUMPDEST
00000dbc: POP
00000dbd: PUSH2 0x041e
00000dc0: PUSH1 0x04
00000dc2: DUP1
00000dc3: CALLDATASIZE
00000dc4: SUB
00000dc5: PUSH1 0x20
00000dc7: DUP2
00000dc8: LT
00000dc9: ISZERO
00000dca: PUSH2 0x0dd2
00000dcd: JUMPI
00000dce: PUSH1 0x00
00000dd0: DUP1
00000dd1: REVERT
00000dd2: JUMPDEST
00000dd3: POP
00000dd4: CALLDATALOAD
00000dd5: PUSH1 0x01
00000dd7: PUSH1 0xa0
00000dd9: PUSH1 0x02
00000ddb: EXP
00000ddc: SUB
00000ddd: AND
00000dde: PUSH2 0x2156
00000de1: JUMP
00000de2: JUMPDEST
00000de3: PUSH2 0x03ce
00000de6: PUSH2 0x21c8
00000de9: JUMP
00000dea: JUMPDEST
00000deb: PUSH1 0x01
00000ded: SLOAD
00000dee: PUSH1 0x00
00000df0: SWAP1
00000df1: PUSH2 0x0e02
00000df4: SWAP1
00000df5: PUSH1 0x01
00000df7: PUSH1 0xa0
00000df9: PUSH1 0x02
00000dfb: EXP
00000dfc: SUB
00000dfd: AND
00000dfe: PUSH2 0x2658
00000e01: JUMP
00000e02: JUMPDEST
00000e03: PUSH2 0x0e40
00000e06: JUMPI
00000e07: PUSH1 0x40
00000e09: MLOAD
00000e0a: PUSH1 0xe5
00000e0c: PUSH1 0x02
00000e0e: EXP
00000e0f: PUSH3 0x461bcd
00000e13: MUL
00000e14: DUP2
00000e15: MSTORE
00000e16: PUSH1 0x04
00000e18: ADD
00000e19: DUP1
00000e1a: DUP1
00000e1b: PUSH1 0x20
00000e1d: ADD
00000e1e: DUP3
00000e1f: DUP2
00000e20: SUB
00000e21: DUP3
00000e22: MSTORE
00000e23: PUSH1 0x37
00000e25: DUP2
00000e26: MSTORE
00000e27: PUSH1 0x20
00000e29: ADD
00000e2a: DUP1
00000e2b: PUSH2 0x33e7
00000e2e: PUSH1 0x37
00000e30: SWAP2
00000e31: CODECOPY
00000e32: PUSH1 0x40
00000e34: ADD
00000e35: SWAP2
00000e36: POP
00000e37: POP
00000e38: PUSH1 0x40
00000e3a: MLOAD
00000e3b: DUP1
00000e3c: SWAP2
00000e3d: SUB
00000e3e: SWAP1
00000e3f: REVERT
00000e40: JUMPDEST
00000e41: PUSH1 0x02
00000e43: PUSH1 0x04
00000e45: SLOAD
00000e46: EQ
00000e47: ISZERO
00000e48: PUSH2 0x0e9b
00000e4b: JUMPI
00000e4c: PUSH1 0x40
00000e4e: DUP1
00000e4f: MLOAD
00000e50: PUSH1 0xe5
00000e52: PUSH1 0x02
00000e54: EXP
00000e55: PUSH3 0x461bcd
00000e59: MUL
00000e5a: DUP2
00000e5b: MSTORE
00000e5c: PUSH1 0x20
00000e5e: PUSH1 0x04
00000e60: DUP3
00000e61: ADD
00000e62: MSTORE
00000e63: PUSH1 0x1f
00000e65: PUSH1 0x24
00000e67: DUP3
00000e68: ADD
00000e69: MSTORE
00000e6a: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000e8b: PUSH1 0x44
00000e8d: DUP3
00000e8e: ADD
00000e8f: MSTORE
00000e90: SWAP1
00000e91: MLOAD
00000e92: SWAP1
00000e93: DUP2
00000e94: SWAP1
00000e95: SUB
00000e96: PUSH1 0x64
00000e98: ADD
00000e99: SWAP1
00000e9a: REVERT
00000e9b: JUMPDEST
00000e9c: PUSH1 0x02
00000e9e: PUSH1 0x04
00000ea0: SSTORE
00000ea1: PUSH1 0x00
00000ea3: PUSH2 0x0eaa
00000ea6: PUSH2 0x2664
00000ea9: JUMP
00000eaa: JUMPDEST
00000eab: SWAP1
00000eac: POP
00000ead: DUP1
00000eae: ISZERO
00000eaf: PUSH2 0x0ebc
00000eb2: JUMPI
00000eb3: PUSH2 0x0ebc
00000eb6: CALLER
00000eb7: DUP3
00000eb8: PUSH2 0x267b
00000ebb: JUMP
00000ebc: JUMPDEST
00000ebd: POP
00000ebe: PUSH1 0x01
00000ec0: PUSH1 0x04
00000ec2: SSTORE
00000ec3: SWAP1
00000ec4: JUMP
00000ec5: JUMPDEST
00000ec6: PUSH1 0x0c
00000ec8: SLOAD
00000ec9: DUP2
00000eca: JUMP
00000ecb: JUMPDEST
00000ecc: PUSH1 0x01
00000ece: SLOAD
00000ecf: PUSH2 0x0ee0
00000ed2: SWAP1
00000ed3: PUSH1 0x01
00000ed5: PUSH1 0xa0
00000ed7: PUSH1 0x02
00000ed9: EXP
00000eda: SUB
00000edb: AND
00000edc: PUSH2 0x2658
00000edf: JUMP
00000ee0: JUMPDEST
00000ee1: ISZERO
00000ee2: PUSH2 0x0f1f
00000ee5: JUMPI
00000ee6: PUSH1 0x40
00000ee8: MLOAD
00000ee9: PUSH1 0xe5
00000eeb: PUSH1 0x02
00000eed: EXP
00000eee: PUSH3 0x461bcd
00000ef2: MUL
00000ef3: DUP2
00000ef4: MSTORE
00000ef5: PUSH1 0x04
00000ef7: ADD
00000ef8: DUP1
00000ef9: DUP1
00000efa: PUSH1 0x20
00000efc: ADD
00000efd: DUP3
00000efe: DUP2
00000eff: SUB
00000f00: DUP3
00000f01: MSTORE
00000f02: PUSH1 0x37
00000f04: DUP2
00000f05: MSTORE
00000f06: PUSH1 0x20
00000f08: ADD
00000f09: DUP1
00000f0a: PUSH2 0x352f
00000f0d: PUSH1 0x37
00000f0f: SWAP2
00000f10: CODECOPY
00000f11: PUSH1 0x40
00000f13: ADD
00000f14: SWAP2
00000f15: POP
00000f16: POP
00000f17: PUSH1 0x40
00000f19: MLOAD
00000f1a: DUP1
00000f1b: SWAP2
00000f1c: SUB
00000f1d: SWAP1
00000f1e: REVERT
00000f1f: JUMPDEST
00000f20: PUSH2 0x0f37
00000f23: PUSH1 0x00
00000f25: DUP1
00000f26: MLOAD
00000f27: PUSH1 0x20
00000f29: PUSH2 0x33c7
00000f2c: DUP4
00000f2d: CODECOPY
00000f2e: DUP2
00000f2f: MLOAD
00000f30: SWAP2
00000f31: MSTORE
00000f32: CALLER
00000f33: PUSH2 0x1b5f
00000f36: JUMP
00000f37: JUMPDEST
00000f38: PUSH2 0x0f79
00000f3b: JUMPI
00000f3c: PUSH1 0x40
00000f3e: DUP1
00000f3f: MLOAD
00000f40: PUSH1 0xe5
00000f42: PUSH1 0x02
00000f44: EXP
00000f45: PUSH3 0x461bcd
00000f49: MUL
00000f4a: DUP2
00000f4b: MSTORE
00000f4c: PUSH1 0x20
00000f4e: PUSH1 0x04
00000f50: DUP3
00000f51: ADD
00000f52: MSTORE
00000f53: PUSH1 0x17
00000f55: PUSH1 0x24
00000f57: DUP3
00000f58: ADD
00000f59: MSTORE
00000f5a: PUSH1 0x00
00000f5c: DUP1
00000f5d: MLOAD
00000f5e: PUSH1 0x20
00000f60: PUSH2 0x3361
00000f63: DUP4
00000f64: CODECOPY
00000f65: DUP2
00000f66: MLOAD
00000f67: SWAP2
00000f68: MSTORE
00000f69: PUSH1 0x44
00000f6b: DUP3
00000f6c: ADD
00000f6d: MSTORE
00000f6e: SWAP1
00000f6f: MLOAD
00000f70: SWAP1
00000f71: DUP2
00000f72: SWAP1
00000f73: SUB
00000f74: PUSH1 0x64
00000f76: ADD
00000f77: SWAP1
00000f78: REVERT
00000f79: JUMPDEST
00000f7a: PUSH1 0x10
00000f7c: DUP1
00000f7d: SLOAD
00000f7e: PUSH1 0xff
00000f80: NOT
00000f81: AND
00000f82: PUSH1 0x01
00000f84: OR
00000f85: SWAP1
00000f86: SSTORE
00000f87: JUMP
00000f88: JUMPDEST
00000f89: PUSH1 0x14
00000f8b: SLOAD
00000f8c: DUP2
00000f8d: JUMP
00000f8e: JUMPDEST
00000f8f: PUSH1 0x08
00000f91: DUP1
00000f92: SLOAD
00000f93: PUSH1 0x40
00000f95: DUP1
00000f96: MLOAD
00000f97: PUSH1 0x20
00000f99: PUSH1 0x1f
00000f9b: PUSH1 0x02
00000f9d: PUSH1 0x00
00000f9f: NOT
00000fa0: PUSH2 0x0100
00000fa3: PUSH1 0x01
00000fa5: DUP9
00000fa6: AND
00000fa7: ISZERO
00000fa8: MUL
00000fa9: ADD
00000faa: SWAP1
00000fab: SWAP6
00000fac: AND
00000fad: SWAP5
00000fae: SWAP1
00000faf: SWAP5
00000fb0: DIV
00000fb1: SWAP4
00000fb2: DUP5
00000fb3: ADD
00000fb4: DUP2
00000fb5: SWAP1
00000fb6: DIV
00000fb7: DUP2
00000fb8: MUL
00000fb9: DUP3
00000fba: ADD
00000fbb: DUP2
00000fbc: ADD
00000fbd: SWAP1
00000fbe: SWAP3
00000fbf: MSTORE
00000fc0: DUP3
00000fc1: DUP2
00000fc2: MSTORE
00000fc3: PUSH1 0x60
00000fc5: SWAP4
00000fc6: SWAP1
00000fc7: SWAP3
00000fc8: SWAP1
00000fc9: SWAP2
00000fca: DUP4
00000fcb: ADD
00000fcc: DUP3
00000fcd: DUP3
00000fce: DUP1
00000fcf: ISZERO
00000fd0: PUSH2 0x101a
00000fd3: JUMPI
00000fd4: DUP1
00000fd5: PUSH1 0x1f
00000fd7: LT
00000fd8: PUSH2 0x0fef
00000fdb: JUMPI
00000fdc: PUSH2 0x0100
00000fdf: DUP1
00000fe0: DUP4
00000fe1: SLOAD
00000fe2: DIV
00000fe3: MUL
00000fe4: DUP4
00000fe5: MSTORE
00000fe6: SWAP2
00000fe7: PUSH1 0x20
00000fe9: ADD
00000fea: SWAP2
00000feb: PUSH2 0x101a
00000fee: JUMP
00000fef: JUMPDEST
00000ff0: DUP3
00000ff1: ADD
00000ff2: SWAP2
00000ff3: SWAP1
00000ff4: PUSH1 0x00
00000ff6: MSTORE
00000ff7: PUSH1 0x20
00000ff9: PUSH1 0x00
00000ffb: KECCAK256
00000ffc: SWAP1
00000ffd: JUMPDEST
00000ffe: DUP2
00000fff: SLOAD
00001000: DUP2
00001001: MSTORE
00001002: SWAP1
00001003: PUSH1 0x01
00001005: ADD
00001006: SWAP1
00001007: PUSH1 0x20
00001009: ADD
0000100a: DUP1
0000100b: DUP4
0000100c: GT
0000100d: PUSH2 0x0ffd
00001010: JUMPI
00001011: DUP3
00001012: SWAP1
00001013: SUB
00001014: PUSH1 0x1f
00001016: AND
00001017: DUP3
00001018: ADD
00001019: SWAP2
0000101a: JUMPDEST
0000101b: POP
0000101c: POP
0000101d: POP
0000101e: POP
0000101f: POP
00001020: SWAP1
00001021: POP
00001022: SWAP1
00001023: JUMP
00001024: JUMPDEST
00001025: PUSH20 0x8f951903c9360345b4e1b536c7f5ae8f88a64e79
0000103a: DUP2
0000103b: JUMP
0000103c: JUMPDEST
0000103d: PUSH1 0x00
0000103f: PUSH2 0x1050
00001042: PUSH2 0x1049
00001045: PUSH2 0x2770
00001048: JUMP
00001049: JUMPDEST
0000104a: DUP5
0000104b: DUP5
0000104c: PUSH2 0x2774
0000104f: JUMP
00001050: JUMPDEST
00001051: POP
00001052: PUSH1 0x01
00001054: JUMPDEST
00001055: SWAP3
00001056: SWAP2
00001057: POP
00001058: POP
00001059: JUMP
0000105a: JUMPDEST
0000105b: PUSH1 0x00
0000105d: NOT
0000105e: DUP2
0000105f: JUMP
00001060: JUMPDEST
00001061: PUSH1 0x1a
00001063: SLOAD
00001064: DUP2
00001065: JUMP
00001066: JUMPDEST
00001067: PUSH2 0x107e
0000106a: PUSH1 0x00
0000106c: DUP1
0000106d: MLOAD
0000106e: PUSH1 0x20
00001070: PUSH2 0x33c7
00001073: DUP4
00001074: CODECOPY
00001075: DUP2
00001076: MLOAD
00001077: SWAP2
00001078: MSTORE
00001079: CALLER
0000107a: PUSH2 0x1b5f
0000107d: JUMP
0000107e: JUMPDEST
0000107f: PUSH2 0x10c0
00001082: JUMPI
00001083: PUSH1 0x40
00001085: DUP1
00001086: MLOAD
00001087: PUSH1 0xe5
00001089: PUSH1 0x02
0000108b: EXP
0000108c: PUSH3 0x461bcd
00001090: MUL
00001091: DUP2
00001092: MSTORE
00001093: PUSH1 0x20
00001095: PUSH1 0x04
00001097: DUP3
00001098: ADD
00001099: MSTORE
0000109a: PUSH1 0x17
0000109c: PUSH1 0x24
0000109e: DUP3
0000109f: ADD
000010a0: MSTORE
000010a1: PUSH1 0x00
000010a3: DUP1
000010a4: MLOAD
000010a5: PUSH1 0x20
000010a7: PUSH2 0x3361
000010aa: DUP4
000010ab: CODECOPY
000010ac: DUP2
000010ad: MLOAD
000010ae: SWAP2
000010af: MSTORE
000010b0: PUSH1 0x44
000010b2: DUP3
000010b3: ADD
000010b4: MSTORE
000010b5: SWAP1
000010b6: MLOAD
000010b7: SWAP1
000010b8: DUP2
000010b9: SWAP1
000010ba: SUB
000010bb: PUSH1 0x64
000010bd: ADD
000010be: SWAP1
000010bf: REVERT
000010c0: JUMPDEST
000010c1: TIMESTAMP
000010c2: PUSH1 0x1a
000010c4: SSTORE
000010c5: PUSH1 0x1b
000010c7: DUP1
000010c8: SLOAD
000010c9: PUSH1 0x01
000010cb: PUSH1 0xa0
000010cd: PUSH1 0x02
000010cf: EXP
000010d0: SUB
000010d1: DUP4
000010d2: AND
000010d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010e8: NOT
000010e9: SWAP1
000010ea: SWAP2
000010eb: AND
000010ec: DUP2
000010ed: OR
000010ee: SWAP1
000010ef: SWAP2
000010f0: SSTORE
000010f1: PUSH1 0x40
000010f3: DUP1
000010f4: MLOAD
000010f5: SWAP2
000010f6: DUP3
000010f7: MSTORE
000010f8: MLOAD
000010f9: PUSH32 0x8d5ebd975d9211b464a772dce4b499da8a0a853b034f87f22e20a7734f169e93
0000111a: SWAP2
0000111b: DUP2
0000111c: SWAP1
0000111d: SUB
0000111e: PUSH1 0x20
00001120: ADD
00001121: SWAP1
00001122: LOG1
00001123: POP
00001124: JUMP
00001125: JUMPDEST
00001126: PUSH32 0xdc6620a9e291af8d2d6799199d9a28fda5ae9826fd9a55fbee69a1275b027489
00001147: DUP2
00001148: JUMP
00001149: JUMPDEST
0000114a: PUSH1 0x07
0000114c: SLOAD
0000114d: SWAP1
0000114e: JUMP
0000114f: JUMPDEST
00001150: PUSH2 0x1167
00001153: PUSH1 0x00
00001155: DUP1
00001156: MLOAD
00001157: PUSH1 0x20
00001159: PUSH2 0x33c7
0000115c: DUP4
0000115d: CODECOPY
0000115e: DUP2
0000115f: MLOAD
00001160: SWAP2
00001161: MSTORE
00001162: CALLER
00001163: PUSH2 0x1b5f
00001166: JUMP
00001167: JUMPDEST
00001168: PUSH2 0x11a9
0000116b: JUMPI
0000116c: PUSH1 0x40
0000116e: DUP1
0000116f: MLOAD
00001170: PUSH1 0xe5
00001172: PUSH1 0x02
00001174: EXP
00001175: PUSH3 0x461bcd
00001179: MUL
0000117a: DUP2
0000117b: MSTORE
0000117c: PUSH1 0x20
0000117e: PUSH1 0x04
00001180: DUP3
00001181: ADD
00001182: MSTORE
00001183: PUSH1 0x17
00001185: PUSH1 0x24
00001187: DUP3
00001188: ADD
00001189: MSTORE
0000118a: PUSH1 0x00
0000118c: DUP1
0000118d: MLOAD
0000118e: PUSH1 0x20
00001190: PUSH2 0x3361
00001193: DUP4
00001194: CODECOPY
00001195: DUP2
00001196: MLOAD
00001197: SWAP2
00001198: MSTORE
00001199: PUSH1 0x44
0000119b: DUP3
0000119c: ADD
0000119d: MSTORE
0000119e: SWAP1
0000119f: MLOAD
000011a0: SWAP1
000011a1: DUP2
000011a2: SWAP1
000011a3: SUB
000011a4: PUSH1 0x64
000011a6: ADD
000011a7: SWAP1
000011a8: REVERT
000011a9: JUMPDEST
000011aa: PUSH1 0x10
000011ac: SLOAD
000011ad: PUSH1 0xff
000011af: AND
000011b0: ISZERO
000011b1: ISZERO
000011b2: PUSH1 0x01
000011b4: EQ
000011b5: DUP1
000011b6: PUSH2 0x11ce
000011b9: JUMPI
000011ba: POP
000011bb: CALLER
000011bc: PUSH1 0x00
000011be: SWAP1
000011bf: DUP2
000011c0: MSTORE
000011c1: PUSH1 0x17
000011c3: PUSH1 0x20
000011c5: MSTORE
000011c6: PUSH1 0x40
000011c8: SWAP1
000011c9: KECCAK256
000011ca: SLOAD
000011cb: PUSH1 0xff
000011cd: AND
000011ce: JUMPDEST
000011cf: PUSH2 0x1222
000011d2: JUMPI
000011d3: PUSH1 0x40
000011d5: DUP1
000011d6: MLOAD
000011d7: PUSH1 0xe5
000011d9: PUSH1 0x02
000011db: EXP
000011dc: PUSH3 0x461bcd
000011e0: MUL
000011e1: DUP2
000011e2: MSTORE
000011e3: PUSH1 0x20
000011e5: PUSH1 0x04
000011e7: DUP3
000011e8: ADD
000011e9: MSTORE
000011ea: PUSH1 0x19
000011ec: PUSH1 0x24
000011ee: DUP3
000011ef: ADD
000011f0: MSTORE
000011f1: PUSH32 0x5468652070726573616c65206973206e6f742061637469766500000000000000
00001212: PUSH1 0x44
00001214: DUP3
00001215: ADD
00001216: MSTORE
00001217: SWAP1
00001218: MLOAD
00001219: SWAP1
0000121a: DUP2
0000121b: SWAP1
0000121c: SUB
0000121d: PUSH1 0x64
0000121f: ADD
00001220: SWAP1
00001221: REVERT
00001222: JUMPDEST
00001223: PUSH1 0x10
00001225: DUP1
00001226: SLOAD
00001227: PUSH1 0xff
00001229: NOT
0000122a: AND
0000122b: SWAP1
0000122c: SSTORE
0000122d: JUMP
0000122e: JUMPDEST
0000122f: PUSH1 0x1b
00001231: SLOAD
00001232: PUSH1 0x01
00001234: PUSH1 0xa0
00001236: PUSH1 0x02
00001238: EXP
00001239: SUB
0000123a: AND
0000123b: DUP2
0000123c: JUMP
0000123d: JUMPDEST
0000123e: PUSH1 0x00
00001240: PUSH2 0x124a
00001243: DUP5
00001244: DUP5
00001245: DUP5
00001246: PUSH2 0x2866
00001249: JUMP
0000124a: JUMPDEST
0000124b: SWAP1
0000124c: POP
0000124d: JUMPDEST
0000124e: SWAP4
0000124f: SWAP3
00001250: POP
00001251: POP
00001252: POP
00001253: JUMP
00001254: JUMPDEST
00001255: PUSH1 0x00
00001257: SWAP1
00001258: DUP2
00001259: MSTORE
0000125a: PUSH1 0x20
0000125c: DUP2
0000125d: SWAP1
0000125e: MSTORE
0000125f: PUSH1 0x40
00001261: SWAP1
00001262: KECCAK256
00001263: PUSH1 0x02
00001265: ADD
00001266: SLOAD
00001267: SWAP1
00001268: JUMP
00001269: JUMPDEST
0000126a: PUSH1 0x12
0000126c: SLOAD
0000126d: DUP2
0000126e: JUMP
0000126f: JUMPDEST
00001270: PUSH1 0x00
00001272: DUP3
00001273: DUP2
00001274: MSTORE
00001275: PUSH1 0x20
00001277: DUP2
00001278: SWAP1
00001279: MSTORE
0000127a: PUSH1 0x40
0000127c: SWAP1
0000127d: KECCAK256
0000127e: PUSH1 0x02
00001280: ADD
00001281: SLOAD
00001282: PUSH2 0x1292
00001285: SWAP1
00001286: PUSH2 0x128d
00001289: PUSH2 0x2770
0000128c: JUMP
0000128d: JUMPDEST
0000128e: PUSH2 0x1b5f
00001291: JUMP
00001292: JUMPDEST
00001293: PUSH2 0x12d0
00001296: JUMPI
00001297: PUSH1 0x40
00001299: MLOAD
0000129a: PUSH1 0xe5
0000129c: PUSH1 0x02
0000129e: EXP
0000129f: PUSH3 0x461bcd
000012a3: MUL
000012a4: DUP2
000012a5: MSTORE
000012a6: PUSH1 0x04
000012a8: ADD
000012a9: DUP1
000012aa: DUP1
000012ab: PUSH1 0x20
000012ad: ADD
000012ae: DUP3
000012af: DUP2
000012b0: SUB
000012b1: DUP3
000012b2: MSTORE
000012b3: PUSH1 0x2f
000012b5: DUP2
000012b6: MSTORE
000012b7: PUSH1 0x20
000012b9: ADD
000012ba: DUP1
000012bb: PUSH2 0x32ee
000012be: PUSH1 0x2f
000012c0: SWAP2
000012c1: CODECOPY
000012c2: PUSH1 0x40
000012c4: ADD
000012c5: SWAP2
000012c6: POP
000012c7: POP
000012c8: PUSH1 0x40
000012ca: MLOAD
000012cb: DUP1
000012cc: SWAP2
000012cd: SUB
000012ce: SWAP1
000012cf: REVERT
000012d0: JUMPDEST
000012d1: PUSH2 0x12da
000012d4: DUP3
000012d5: DUP3
000012d6: PUSH2 0x287d
000012d9: JUMP
000012da: JUMPDEST
000012db: POP
000012dc: POP
000012dd: JUMP
000012de: JUMPDEST
000012df: PUSH1 0x0a
000012e1: SLOAD
000012e2: PUSH1 0xff
000012e4: AND
000012e5: SWAP1
000012e6: JUMP
000012e7: JUMPDEST
000012e8: PUSH2 0x12ef
000012eb: PUSH2 0x2770
000012ee: JUMP
000012ef: JUMPDEST
000012f0: PUSH1 0x01
000012f2: PUSH1 0xa0
000012f4: PUSH1 0x02
000012f6: EXP
000012f7: SUB
000012f8: AND
000012f9: DUP2
000012fa: PUSH1 0x01
000012fc: PUSH1 0xa0
000012fe: PUSH1 0x02
00001300: EXP
00001301: SUB
00001302: AND
00001303: EQ
00001304: PUSH2 0x1341
00001307: JUMPI
00001308: PUSH1 0x40
0000130a: MLOAD
0000130b: PUSH1 0xe5
0000130d: PUSH1 0x02
0000130f: EXP
00001310: PUSH3 0x461bcd
00001314: MUL
00001315: DUP2
00001316: MSTORE
00001317: PUSH1 0x04
00001319: ADD
0000131a: DUP1
0000131b: DUP1
0000131c: PUSH1 0x20
0000131e: ADD
0000131f: DUP3
00001320: DUP2
00001321: SUB
00001322: DUP3
00001323: MSTORE
00001324: PUSH1 0x2f
00001326: DUP2
00001327: MSTORE
00001328: PUSH1 0x20
0000132a: ADD
0000132b: DUP1
0000132c: PUSH2 0x358b
0000132f: PUSH1 0x2f
00001331: SWAP2
00001332: CODECOPY
00001333: PUSH1 0x40
00001335: ADD
00001336: SWAP2
00001337: POP
00001338: POP
00001339: PUSH1 0x40
0000133b: MLOAD
0000133c: DUP1
0000133d: SWAP2
0000133e: SUB
0000133f: SWAP1
00001340: REVERT
00001341: JUMPDEST
00001342: PUSH2 0x12da
00001345: DUP3
00001346: DUP3
00001347: PUSH2 0x28e6
0000134a: JUMP
0000134b: JUMPDEST
0000134c: PUSH32 0xfb1d7521264a126cafd9b576286638679b3b1108a05b47da7156d35bfcb2bb83
0000136d: DUP2
0000136e: JUMP
0000136f: JUMPDEST
00001370: PUSH1 0x00
00001372: PUSH2 0x1050
00001375: PUSH2 0x137c
00001378: PUSH2 0x2770
0000137b: JUMP
0000137c: JUMPDEST
0000137d: DUP5
0000137e: PUSH2 0x13bd
00001381: DUP6
00001382: PUSH1 0x06
00001384: PUSH1 0x00
00001386: PUSH2 0x138d
00001389: PUSH2 0x2770
0000138c: JUMP
0000138d: JUMPDEST
0000138e: PUSH1 0x01
00001390: PUSH1 0xa0
00001392: PUSH1 0x02
00001394: EXP
00001395: SUB
00001396: SWAP1
00001397: DUP2
00001398: AND
00001399: DUP3
0000139a: MSTORE
0000139b: PUSH1 0x20
0000139d: DUP1
0000139e: DUP4
0000139f: ADD
000013a0: SWAP4
000013a1: SWAP1
000013a2: SWAP4
000013a3: MSTORE
000013a4: PUSH1 0x40
000013a6: SWAP2
000013a7: DUP3
000013a8: ADD
000013a9: PUSH1 0x00
000013ab: SWAP1
000013ac: DUP2
000013ad: KECCAK256
000013ae: SWAP2
000013af: DUP13
000013b0: AND
000013b1: DUP2
000013b2: MSTORE
000013b3: SWAP3
000013b4: MSTORE
000013b5: SWAP1
000013b6: KECCAK256
000013b7: SLOAD
000013b8: SWAP1
000013b9: PUSH2 0x258f
000013bc: JUMP
000013bd: JUMPDEST
000013be: PUSH2 0x2774
000013c1: JUMP
000013c2: JUMPDEST
000013c3: PUSH1 0x01
000013c5: SLOAD
000013c6: PUSH1 0x01
000013c8: PUSH1 0xa0
000013ca: PUSH1 0x02
000013cc: EXP
000013cd: SUB
000013ce: AND
000013cf: DUP2
000013d0: JUMP
000013d1: JUMPDEST
000013d2: PUSH32 0x83e1446b95f1c1d5ef26abb4f97d0668a474fa1461910124bfb15edcb7ae5ed2
000013f3: DUP2
000013f4: JUMP
000013f5: JUMPDEST
000013f6: PUSH2 0x141f
000013f9: PUSH32 0xdc6620a9e291af8d2d6799199d9a28fda5ae9826fd9a55fbee69a1275b027489
0000141a: CALLER
0000141b: PUSH2 0x1b5f
0000141e: JUMP
0000141f: JUMPDEST
00001420: PUSH2 0x1473
00001423: JUMPI
00001424: PUSH1 0x40
00001426: DUP1
00001427: MLOAD
00001428: PUSH1 0xe5
0000142a: PUSH1 0x02
0000142c: EXP
0000142d: PUSH3 0x461bcd
00001431: MUL
00001432: DUP2
00001433: MSTORE
00001434: PUSH1 0x20
00001436: PUSH1 0x04
00001438: DUP3
00001439: ADD
0000143a: MSTORE
0000143b: PUSH1 0x1c
0000143d: PUSH1 0x24
0000143f: DUP3
00001440: ADD
00001441: MSTORE
00001442: PUSH32 0x43616c6c6572206973206e6f742061207374616b696e6720706f6f6c00000000
00001463: PUSH1 0x44
00001465: DUP3
00001466: ADD
00001467: MSTORE
00001468: SWAP1
00001469: MLOAD
0000146a: SWAP1
0000146b: DUP2
0000146c: SWAP1
0000146d: SUB
0000146e: PUSH1 0x64
00001470: ADD
00001471: SWAP1
00001472: REVERT
00001473: JUMPDEST
00001474: PUSH1 0x02
00001476: PUSH1 0x04
00001478: SLOAD
00001479: EQ
0000147a: ISZERO
0000147b: PUSH2 0x14ce
0000147e: JUMPI
0000147f: PUSH1 0x40
00001481: DUP1
00001482: MLOAD
00001483: PUSH1 0xe5
00001485: PUSH1 0x02
00001487: EXP
00001488: PUSH3 0x461bcd
0000148c: MUL
0000148d: DUP2
0000148e: MSTORE
0000148f: PUSH1 0x20
00001491: PUSH1 0x04
00001493: DUP3
00001494: ADD
00001495: MSTORE
00001496: PUSH1 0x1f
00001498: PUSH1 0x24
0000149a: DUP3
0000149b: ADD
0000149c: MSTORE
0000149d: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000014be: PUSH1 0x44
000014c0: DUP3
000014c1: ADD
000014c2: MSTORE
000014c3: SWAP1
000014c4: MLOAD
000014c5: SWAP1
000014c6: DUP2
000014c7: SWAP1
000014c8: SUB
000014c9: PUSH1 0x64
000014cb: ADD
000014cc: SWAP1
000014cd: REVERT
000014ce: JUMPDEST
000014cf: PUSH1 0x02
000014d1: PUSH1 0x04
000014d3: SSTORE
000014d4: PUSH1 0x0c
000014d6: SLOAD
000014d7: PUSH2 0x14de
000014da: PUSH2 0x1149
000014dd: JUMP
000014de: JUMPDEST
000014df: GT
000014e0: PUSH2 0x14ed
000014e3: JUMPI
000014e4: PUSH2 0x14ed
000014e7: DUP3
000014e8: DUP3
000014e9: PUSH2 0x267b
000014ec: JUMP
000014ed: JUMPDEST
000014ee: POP
000014ef: POP
000014f0: PUSH1 0x01
000014f2: PUSH1 0x04
000014f4: SSTORE
000014f5: JUMP
000014f6: JUMPDEST
000014f7: PUSH1 0x18
000014f9: PUSH1 0x20
000014fb: MSTORE
000014fc: PUSH1 0x00
000014fe: SWAP1
000014ff: DUP2
00001500: MSTORE
00001501: PUSH1 0x40
00001503: SWAP1
00001504: KECCAK256
00001505: SLOAD
00001506: DUP2
00001507: JUMP
00001508: JUMPDEST
00001509: PUSH1 0x13
0000150b: SLOAD
0000150c: DUP2
0000150d: JUMP
0000150e: JUMPDEST
0000150f: PUSH1 0x00
00001511: DUP1
00001512: PUSH1 0x00
00001514: DUP4
00001515: PUSH1 0x01
00001517: PUSH1 0xa0
00001519: PUSH1 0x02
0000151b: EXP
0000151c: SUB
0000151d: AND
0000151e: DUP6
0000151f: PUSH1 0x01
00001521: PUSH1 0xa0
00001523: PUSH1 0x02
00001525: EXP
00001526: SUB
00001527: AND
00001528: LT
00001529: PUSH2 0x1533
0000152c: JUMPI
0000152d: DUP4
0000152e: DUP6
0000152f: PUSH2 0x1536
00001532: JUMP
00001533: JUMPDEST
00001534: DUP5
00001535: DUP5
00001536: JUMPDEST
00001537: PUSH1 0x40
00001539: DUP1
0000153a: MLOAD
0000153b: PUSH13 0x01000000000000000000000000
00001549: PUSH1 0x01
0000154b: PUSH1 0xa0
0000154d: PUSH1 0x02
0000154f: EXP
00001550: SUB
00001551: SWAP5
00001552: DUP6
00001553: AND
00001554: DUP2
00001555: MUL
00001556: PUSH1 0x20
00001558: DUP1
00001559: DUP5
0000155a: ADD
0000155b: SWAP2
0000155c: SWAP1
0000155d: SWAP2
0000155e: MSTORE
0000155f: SWAP4
00001560: DUP6
00001561: AND
00001562: DUP2
00001563: MUL
00001564: PUSH1 0x34
00001566: DUP4
00001567: ADD
00001568: MSTORE
00001569: DUP3
0000156a: MLOAD
0000156b: PUSH1 0x28
0000156d: DUP2
0000156e: DUP5
0000156f: SUB
00001570: ADD
00001571: DUP2
00001572: MSTORE
00001573: PUSH1 0x48
00001575: DUP4
00001576: ADD
00001577: DUP5
00001578: MSTORE
00001579: DUP1
0000157a: MLOAD
0000157b: SWAP1
0000157c: DUP6
0000157d: ADD
0000157e: KECCAK256
0000157f: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
000015a0: PUSH1 0x68
000015a2: DUP5
000015a3: ADD
000015a4: MSTORE
000015a5: SWAP5
000015a6: SWAP1
000015a7: SWAP11
000015a8: AND
000015a9: SWAP1
000015aa: SWAP10
000015ab: MUL
000015ac: PUSH1 0x69
000015ae: DUP11
000015af: ADD
000015b0: MSTORE
000015b1: PUSH1 0x7d
000015b3: DUP10
000015b4: ADD
000015b5: SWAP3
000015b6: SWAP1
000015b7: SWAP3
000015b8: MSTORE
000015b9: PUSH32 0x96e8ac4277198ff8b6f785478aa9a39f403cb768dd02cbee326c3e7da348845f
000015da: PUSH1 0x9d
000015dc: DUP1
000015dd: DUP11
000015de: ADD
000015df: SWAP2
000015e0: SWAP1
000015e1: SWAP2
000015e2: MSTORE
000015e3: DUP3
000015e4: MLOAD
000015e5: DUP1
000015e6: DUP11
000015e7: SUB
000015e8: SWAP1
000015e9: SWAP2
000015ea: ADD
000015eb: DUP2
000015ec: MSTORE
000015ed: PUSH1 0xbd
000015ef: SWAP1
000015f0: SWAP9
000015f1: ADD
000015f2: SWAP1
000015f3: SWAP2
000015f4: MSTORE
000015f5: DUP7
000015f6: MLOAD
000015f7: SWAP7
000015f8: ADD
000015f9: SWAP6
000015fa: SWAP1
000015fb: SWAP6
000015fc: KECCAK256
000015fd: SWAP6
000015fe: SWAP5
000015ff: POP
00001600: POP
00001601: POP
00001602: POP
00001603: POP
00001604: JUMP
00001605: JUMPDEST
00001606: PUSH2 0x161d
00001609: PUSH1 0x00
0000160b: DUP1
0000160c: MLOAD
0000160d: PUSH1 0x20
0000160f: PUSH2 0x33c7
00001612: DUP4
00001613: CODECOPY
00001614: DUP2
00001615: MLOAD
00001616: SWAP2
00001617: MSTORE
00001618: CALLER
00001619: PUSH2 0x1b5f
0000161c: JUMP
0000161d: JUMPDEST
0000161e: PUSH2 0x165f
00001621: JUMPI
00001622: PUSH1 0x40
00001624: DUP1
00001625: MLOAD
00001626: PUSH1 0xe5
00001628: PUSH1 0x02
0000162a: EXP
0000162b: PUSH3 0x461bcd
0000162f: MUL
00001630: DUP2
00001631: MSTORE
00001632: PUSH1 0x20
00001634: PUSH1 0x04
00001636: DUP3
00001637: ADD
00001638: MSTORE
00001639: PUSH1 0x17
0000163b: PUSH1 0x24
0000163d: DUP3
0000163e: ADD
0000163f: MSTORE
00001640: PUSH1 0x00
00001642: DUP1
00001643: MLOAD
00001644: PUSH1 0x20
00001646: PUSH2 0x3361
00001649: DUP4
0000164a: CODECOPY
0000164b: DUP2
0000164c: MLOAD
0000164d: SWAP2
0000164e: MSTORE
0000164f: PUSH1 0x44
00001651: DUP3
00001652: ADD
00001653: MSTORE
00001654: SWAP1
00001655: MLOAD
00001656: SWAP1
00001657: DUP2
00001658: SWAP1
00001659: SUB
0000165a: PUSH1 0x64
0000165c: ADD
0000165d: SWAP1
0000165e: REVERT
0000165f: JUMPDEST
00001660: PUSH2 0x1689
00001663: PUSH32 0xfb1d7521264a126cafd9b576286638679b3b1108a05b47da7156d35bfcb2bb83
00001684: DUP3
00001685: PUSH2 0x126f
00001688: JUMP
00001689: JUMPDEST
0000168a: POP
0000168b: JUMP
0000168c: JUMPDEST
0000168d: PUSH1 0x01
0000168f: PUSH1 0xa0
00001691: PUSH1 0x02
00001693: EXP
00001694: SUB
00001695: AND
00001696: PUSH1 0x00
00001698: SWAP1
00001699: DUP2
0000169a: MSTORE
0000169b: PUSH1 0x05
0000169d: PUSH1 0x20
0000169f: MSTORE
000016a0: PUSH1 0x40
000016a2: SWAP1
000016a3: KECCAK256
000016a4: SLOAD
000016a5: SWAP1
000016a6: JUMP
000016a7: JUMPDEST
000016a8: PUSH2 0x16bf
000016ab: PUSH1 0x00
000016ad: DUP1
000016ae: MLOAD
000016af: PUSH1 0x20
000016b1: PUSH2 0x33c7
000016b4: DUP4
000016b5: CODECOPY
000016b6: DUP2
000016b7: MLOAD
000016b8: SWAP2
000016b9: MSTORE
000016ba: CALLER
000016bb: PUSH2 0x1b5f
000016be: JUMP
000016bf: JUMPDEST
000016c0: PUSH2 0x1701
000016c3: JUMPI
000016c4: PUSH1 0x40
000016c6: DUP1
000016c7: MLOAD
000016c8: PUSH1 0xe5
000016ca: PUSH1 0x02
000016cc: EXP
000016cd: PUSH3 0x461bcd
000016d1: MUL
000016d2: DUP2
000016d3: MSTORE
000016d4: PUSH1 0x20
000016d6: PUSH1 0x04
000016d8: DUP3
000016d9: ADD
000016da: MSTORE
000016db: PUSH1 0x17
000016dd: PUSH1 0x24
000016df: DUP3
000016e0: ADD
000016e1: MSTORE
000016e2: PUSH1 0x00
000016e4: DUP1
000016e5: MLOAD
000016e6: PUSH1 0x20
000016e8: PUSH2 0x3361
000016eb: DUP4
000016ec: CODECOPY
000016ed: DUP2
000016ee: MLOAD
000016ef: SWAP2
000016f0: MSTORE
000016f1: PUSH1 0x44
000016f3: DUP3
000016f4: ADD
000016f5: MSTORE
000016f6: SWAP1
000016f7: MLOAD
000016f8: SWAP1
000016f9: DUP2
000016fa: SWAP1
000016fb: SUB
000016fc: PUSH1 0x64
000016fe: ADD
000016ff: SWAP1
00001700: REVERT
00001701: JUMPDEST
00001702: PUSH1 0x1a
00001704: SLOAD
00001705: PUSH2 0x1711
00001708: SWAP1
00001709: PUSH3 0x015180
0000170d: PUSH2 0x258f
00001710: JUMP
00001711: JUMPDEST
00001712: TIMESTAMP
00001713: LT
00001714: ISZERO
00001715: PUSH2 0x171d
00001718: JUMPI
00001719: PUSH1 0x00
0000171b: DUP1
0000171c: REVERT
0000171d: JUMPDEST
0000171e: PUSH1 0x1b
00001720: SLOAD
00001721: PUSH2 0x1754
00001724: SWAP1
00001725: PUSH32 0xdc6620a9e291af8d2d6799199d9a28fda5ae9826fd9a55fbee69a1275b027489
00001746: SWAP1
00001747: PUSH1 0x01
00001749: PUSH1 0xa0
0000174b: PUSH1 0x02
0000174d: EXP
0000174e: SUB
0000174f: AND
00001750: PUSH2 0x126f
00001753: JUMP
00001754: JUMPDEST
00001755: PUSH1 0x1b
00001757: SLOAD
00001758: PUSH2 0x1779
0000175b: SWAP1
0000175c: PUSH1 0x00
0000175e: DUP1
0000175f: MLOAD
00001760: PUSH1 0x20
00001762: PUSH2 0x33a7
00001765: DUP4
00001766: CODECOPY
00001767: DUP2
00001768: MLOAD
00001769: SWAP2
0000176a: MSTORE
0000176b: SWAP1
0000176c: PUSH1 0x01
0000176e: PUSH1 0xa0
00001770: PUSH1 0x02
00001772: EXP
00001773: SUB
00001774: AND
00001775: PUSH2 0x126f
00001778: JUMP
00001779: JUMPDEST
0000177a: PUSH1 0x1b
0000177c: SLOAD
0000177d: PUSH1 0x40
0000177f: DUP1
00001780: MLOAD
00001781: PUSH1 0x01
00001783: PUSH1 0xa0
00001785: PUSH1 0x02
00001787: EXP
00001788: SUB
00001789: SWAP1
0000178a: SWAP3
0000178b: AND
0000178c: DUP3
0000178d: MSTORE
0000178e: MLOAD
0000178f: PUSH32 0xf061281be1aea8bc07e834f42cea49373e1d59969fb72d39674f05a638049379
000017b0: SWAP2
000017b1: DUP2
000017b2: SWAP1
000017b3: SUB
000017b4: PUSH1 0x20
000017b6: ADD
000017b7: SWAP1
000017b8: LOG1
000017b9: JUMP
000017ba: JUMPDEST
000017bb: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
000017d0: DUP2
000017d1: JUMP
000017d2: JUMPDEST
000017d3: PUSH1 0x00
000017d5: DUP1
000017d6: MLOAD
000017d7: PUSH1 0x20
000017d9: PUSH2 0x33a7
000017dc: DUP4
000017dd: CODECOPY
000017de: DUP2
000017df: MLOAD
000017e0: SWAP2
000017e1: MSTORE
000017e2: DUP2
000017e3: JUMP
000017e4: JUMPDEST
000017e5: PUSH1 0x03
000017e7: SLOAD
000017e8: PUSH1 0x01
000017ea: PUSH1 0xa0
000017ec: PUSH1 0x02
000017ee: EXP
000017ef: SUB
000017f0: AND
000017f1: DUP2
000017f2: JUMP
000017f3: JUMPDEST
000017f4: PUSH2 0x180b
000017f7: PUSH1 0x00
000017f9: DUP1
000017fa: MLOAD
000017fb: PUSH1 0x20
000017fd: PUSH2 0x33c7
00001800: DUP4
00001801: CODECOPY
00001802: DUP2
00001803: MLOAD
00001804: SWAP2
00001805: MSTORE
00001806: CALLER
00001807: PUSH2 0x1b5f
0000180a: JUMP
0000180b: JUMPDEST
0000180c: PUSH2 0x184d
0000180f: JUMPI
00001810: PUSH1 0x40
00001812: DUP1
00001813: MLOAD
00001814: PUSH1 0xe5
00001816: PUSH1 0x02
00001818: EXP
00001819: PUSH3 0x461bcd
0000181d: MUL
0000181e: DUP2
0000181f: MSTORE
00001820: PUSH1 0x20
00001822: PUSH1 0x04
00001824: DUP3
00001825: ADD
00001826: MSTORE
00001827: PUSH1 0x17
00001829: PUSH1 0x24
0000182b: DUP3
0000182c: ADD
0000182d: MSTORE
0000182e: PUSH1 0x00
00001830: DUP1
00001831: MLOAD
00001832: PUSH1 0x20
00001834: PUSH2 0x3361
00001837: DUP4
00001838: CODECOPY
00001839: DUP2
0000183a: MLOAD
0000183b: SWAP2
0000183c: MSTORE
0000183d: PUSH1 0x44
0000183f: DUP3
00001840: ADD
00001841: MSTORE
00001842: SWAP1
00001843: MLOAD
00001844: SWAP1
00001845: DUP2
00001846: SWAP1
00001847: SUB
00001848: PUSH1 0x64
0000184a: ADD
0000184b: SWAP1
0000184c: REVERT
0000184d: JUMPDEST
0000184e: PUSH1 0x01
00001850: SLOAD
00001851: PUSH2 0x1862
00001854: SWAP1
00001855: PUSH1 0x01
00001857: PUSH1 0xa0
00001859: PUSH1 0x02
0000185b: EXP
0000185c: SUB
0000185d: AND
0000185e: PUSH2 0x2658
00001861: JUMP
00001862: JUMPDEST
00001863: ISZERO
00001864: PUSH2 0x18a1
00001867: JUMPI
00001868: PUSH1 0x40
0000186a: MLOAD
0000186b: PUSH1 0xe5
0000186d: PUSH1 0x02
0000186f: EXP
00001870: PUSH3 0x461bcd
00001874: MUL
00001875: DUP2
00001876: MSTORE
00001877: PUSH1 0x04
00001879: ADD
0000187a: DUP1
0000187b: DUP1
0000187c: PUSH1 0x20
0000187e: ADD
0000187f: DUP3
00001880: DUP2
00001881: SUB
00001882: DUP3
00001883: MSTORE
00001884: PUSH1 0x37
00001886: DUP2
00001887: MSTORE
00001888: PUSH1 0x20
0000188a: ADD
0000188b: DUP1
0000188c: PUSH2 0x352f
0000188f: PUSH1 0x37
00001891: SWAP2
00001892: CODECOPY
00001893: PUSH1 0x40
00001895: ADD
00001896: SWAP2
00001897: POP
00001898: POP
00001899: PUSH1 0x40
0000189b: MLOAD
0000189c: DUP1
0000189d: SWAP2
0000189e: SUB
0000189f: SWAP1
000018a0: REVERT
000018a1: JUMPDEST
000018a2: TIMESTAMP
000018a3: PUSH1 0x0d
000018a5: SSTORE
000018a6: PUSH1 0x01
000018a8: SLOAD
000018a9: PUSH2 0x18ba
000018ac: SWAP1
000018ad: PUSH1 0x01
000018af: PUSH1 0xa0
000018b1: PUSH1 0x02
000018b3: EXP
000018b4: SUB
000018b5: AND
000018b6: PUSH2 0x2156
000018b9: JUMP
000018ba: JUMPDEST
000018bb: PUSH1 0x12
000018bd: SLOAD
000018be: ADDRESS
000018bf: BALANCE
000018c0: SWAP1
000018c1: PUSH1 0x00
000018c3: SWAP1
000018c4: PUSH2 0x18ce
000018c7: SWAP1
000018c8: DUP4
000018c9: SWAP1
000018ca: PUSH2 0x24f1
000018cd: JUMP
000018ce: JUMPDEST
000018cf: SWAP1
000018d0: POP
000018d1: PUSH2 0x18da
000018d4: ADDRESS
000018d5: DUP3
000018d6: PUSH2 0x267b
000018d9: JUMP
000018da: JUMPDEST
000018db: PUSH1 0x19
000018dd: SLOAD
000018de: PUSH2 0x18f2
000018e1: SWAP1
000018e2: ADDRESS
000018e3: SWAP1
000018e4: PUSH1 0x01
000018e6: PUSH1 0xa0
000018e8: PUSH1 0x02
000018ea: EXP
000018eb: SUB
000018ec: AND
000018ed: DUP4
000018ee: PUSH2 0x2774
000018f1: JUMP
000018f2: JUMPDEST
000018f3: PUSH1 0x19
000018f5: SLOAD
000018f6: PUSH1 0x00
000018f8: SWAP1
000018f9: DUP2
000018fa: SWAP1
000018fb: DUP2
000018fc: SWAP1
000018fd: PUSH1 0x01
000018ff: PUSH1 0xa0
00001901: PUSH1 0x02
00001903: EXP
00001904: SUB
00001905: AND
00001906: PUSH4 0xf305d719
0000190b: DUP7
0000190c: ADDRESS
0000190d: DUP8
0000190e: DUP1
0000190f: DUP4
00001910: DUP8
00001911: PUSH2 0x191c
00001914: PUSH1 0x05
00001916: PUSH1 0x3c
00001918: PUSH2 0x24f1
0000191b: JUMP
0000191c: JUMPDEST
0000191d: TIMESTAMP
0000191e: ADD
0000191f: PUSH1 0x40
00001921: MLOAD
00001922: DUP9
00001923: PUSH4 0xffffffff
00001928: AND
00001929: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001947: MUL
00001948: DUP2
00001949: MSTORE
0000194a: PUSH1 0x04
0000194c: ADD
0000194d: DUP1
0000194e: DUP8
0000194f: PUSH1 0x01
00001951: PUSH1 0xa0
00001953: PUSH1 0x02
00001955: EXP
00001956: SUB
00001957: AND
00001958: DUP2
00001959: MSTORE
0000195a: PUSH1 0x20
0000195c: ADD
0000195d: DUP7
0000195e: DUP2
0000195f: MSTORE
00001960: PUSH1 0x20
00001962: ADD
00001963: DUP6
00001964: DUP2
00001965: MSTORE
00001966: PUSH1 0x20
00001968: ADD
00001969: DUP5
0000196a: DUP2
0000196b: MSTORE
0000196c: PUSH1 0x20
0000196e: ADD
0000196f: DUP4
00001970: PUSH1 0x01
00001972: PUSH1 0xa0
00001974: PUSH1 0x02
00001976: EXP
00001977: SUB
00001978: AND
00001979: DUP2
0000197a: MSTORE
0000197b: PUSH1 0x20
0000197d: ADD
0000197e: DUP3
0000197f: DUP2
00001980: MSTORE
00001981: PUSH1 0x20
00001983: ADD
00001984: SWAP7
00001985: POP
00001986: POP
00001987: POP
00001988: POP
00001989: POP
0000198a: POP
0000198b: POP
0000198c: PUSH1 0x60
0000198e: PUSH1 0x40
00001990: MLOAD
00001991: DUP1
00001992: DUP4
00001993: SUB
00001994: DUP2
00001995: DUP6
00001996: DUP9
00001997: DUP1
00001998: EXTCODESIZE
00001999: ISZERO
0000199a: DUP1
0000199b: ISZERO
0000199c: PUSH2 0x19a4
0000199f: JUMPI
000019a0: PUSH1 0x00
000019a2: DUP1
000019a3: REVERT
000019a4: JUMPDEST
000019a5: POP
000019a6: GAS
000019a7: CALL
000019a8: ISZERO
000019a9: DUP1
000019aa: ISZERO
000019ab: PUSH2 0x19b8
000019ae: JUMPI
000019af: RETURNDATASIZE
000019b0: PUSH1 0x00
000019b2: DUP1
000019b3: RETURNDATACOPY
000019b4: RETURNDATASIZE
000019b5: PUSH1 0x00
000019b7: REVERT
000019b8: JUMPDEST
000019b9: POP
000019ba: POP
000019bb: POP
000019bc: POP
000019bd: POP
000019be: PUSH1 0x40
000019c0: MLOAD
000019c1: RETURNDATASIZE
000019c2: PUSH1 0x60
000019c4: DUP2
000019c5: LT
000019c6: ISZERO
000019c7: PUSH2 0x19cf
000019ca: JUMPI
000019cb: PUSH1 0x00
000019cd: DUP1
000019ce: REVERT
000019cf: JUMPDEST
000019d0: POP
000019d1: DUP1
000019d2: MLOAD
000019d3: PUSH1 0x20
000019d5: DUP3
000019d6: ADD
000019d7: MLOAD
000019d8: PUSH1 0x40
000019da: SWAP1
000019db: SWAP3
000019dc: ADD
000019dd: MLOAD
000019de: PUSH1 0x01
000019e0: SLOAD
000019e1: SWAP2
000019e2: SWAP6
000019e3: POP
000019e4: SWAP2
000019e5: SWAP4
000019e6: POP
000019e7: SWAP1
000019e8: SWAP2
000019e9: POP
000019ea: PUSH2 0x1a0b
000019ed: SWAP1
000019ee: PUSH1 0x00
000019f0: DUP1
000019f1: MLOAD
000019f2: PUSH1 0x20
000019f4: PUSH2 0x33a7
000019f7: DUP4
000019f8: CODECOPY
000019f9: DUP2
000019fa: MLOAD
000019fb: SWAP2
000019fc: MSTORE
000019fd: SWAP1
000019fe: PUSH1 0x01
00001a00: PUSH1 0xa0
00001a02: PUSH1 0x02
00001a04: EXP
00001a05: SUB
00001a06: AND
00001a07: PUSH2 0x20cf
00001a0a: JUMP
00001a0b: JUMPDEST
00001a0c: PUSH2 0x1a37
00001a0f: PUSH1 0x00
00001a11: DUP1
00001a12: MLOAD
00001a13: PUSH1 0x20
00001a15: PUSH2 0x33a7
00001a18: DUP4
00001a19: CODECOPY
00001a1a: DUP2
00001a1b: MLOAD
00001a1c: SWAP2
00001a1d: MSTORE
00001a1e: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00001a33: PUSH2 0x20cf
00001a36: JUMP
00001a37: JUMPDEST
00001a38: PUSH1 0x01
00001a3a: SLOAD
00001a3b: PUSH2 0x1a4c
00001a3e: SWAP1
00001a3f: PUSH1 0x01
00001a41: PUSH1 0xa0
00001a43: PUSH1 0x02
00001a45: EXP
00001a46: SUB
00001a47: AND
00001a48: PUSH2 0x1e6f
00001a4b: JUMP
00001a4c: JUMPDEST
00001a4d: PUSH2 0x1a54
00001a50: PUSH2 0x114f
00001a53: JUMP
00001a54: JUMPDEST
00001a55: PUSH1 0x01
00001a57: SLOAD
00001a58: PUSH1 0x02
00001a5a: DUP1
00001a5b: SLOAD
00001a5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a71: NOT
00001a72: AND
00001a73: PUSH1 0x01
00001a75: PUSH1 0xa0
00001a77: PUSH1 0x02
00001a79: EXP
00001a7a: SUB
00001a7b: SWAP1
00001a7c: SWAP3
00001a7d: AND
00001a7e: SWAP2
00001a7f: SWAP1
00001a80: SWAP2
00001a81: OR
00001a82: SWAP1
00001a83: SSTORE
00001a84: PUSH1 0x40
00001a86: DUP1
00001a87: MLOAD
00001a88: DUP5
00001a89: DUP2
00001a8a: MSTORE
00001a8b: PUSH1 0x20
00001a8d: DUP2
00001a8e: ADD
00001a8f: DUP5
00001a90: SWAP1
00001a91: MSTORE
00001a92: DUP1
00001a93: DUP3
00001a94: ADD
00001a95: DUP4
00001a96: SWAP1
00001a97: MSTORE
00001a98: SWAP1
00001a99: MLOAD
00001a9a: PUSH32 0xd7f28048575eead8851d024ead087913957dfb4fd1a02b4d1573f5352a5a2be3
00001abb: SWAP2
00001abc: DUP2
00001abd: SWAP1
00001abe: SUB
00001abf: PUSH1 0x60
00001ac1: ADD
00001ac2: SWAP1
00001ac3: LOG1
00001ac4: POP
00001ac5: POP
00001ac6: POP
00001ac7: POP
00001ac8: POP
00001ac9: JUMP
00001aca: JUMPDEST
00001acb: PUSH1 0x0b
00001acd: SLOAD
00001ace: DUP2
00001acf: JUMP
00001ad0: JUMPDEST
00001ad1: PUSH2 0x1ae8
00001ad4: PUSH1 0x00
00001ad6: DUP1
00001ad7: MLOAD
00001ad8: PUSH1 0x20
00001ada: PUSH2 0x33c7
00001add: DUP4
00001ade: CODECOPY
00001adf: DUP2
00001ae0: MLOAD
00001ae1: SWAP2
00001ae2: MSTORE
00001ae3: CALLER
00001ae4: PUSH2 0x1b5f
00001ae7: JUMP
00001ae8: JUMPDEST
00001ae9: PUSH2 0x1b2a
00001aec: JUMPI
00001aed: PUSH1 0x40
00001aef: DUP1
00001af0: MLOAD
00001af1: PUSH1 0xe5
00001af3: PUSH1 0x02
00001af5: EXP
00001af6: PUSH3 0x461bcd
00001afa: MUL
00001afb: DUP2
00001afc: MSTORE
00001afd: PUSH1 0x20
00001aff: PUSH1 0x04
00001b01: DUP3
00001b02: ADD
00001b03: MSTORE
00001b04: PUSH1 0x17
00001b06: PUSH1 0x24
00001b08: DUP3
00001b09: ADD
00001b0a: MSTORE
00001b0b: PUSH1 0x00
00001b0d: DUP1
00001b0e: MLOAD
00001b0f: PUSH1 0x20
00001b11: PUSH2 0x3361
00001b14: DUP4
00001b15: CODECOPY
00001b16: DUP2
00001b17: MLOAD
00001b18: SWAP2
00001b19: MSTORE
00001b1a: PUSH1 0x44
00001b1c: DUP3
00001b1d: ADD
00001b1e: MSTORE
00001b1f: SWAP1
00001b20: MLOAD
00001b21: SWAP1
00001b22: DUP2
00001b23: SWAP1
00001b24: SUB
00001b25: PUSH1 0x64
00001b27: ADD
00001b28: SWAP1
00001b29: REVERT
00001b2a: JUMPDEST
00001b2b: PUSH1 0x0e
00001b2d: SSTORE
00001b2e: JUMP
00001b2f: JUMPDEST
00001b30: PUSH1 0x11
00001b32: SLOAD
00001b33: DUP2
00001b34: JUMP
00001b35: JUMPDEST
00001b36: PUSH1 0x00
00001b38: DUP3
00001b39: DUP2
00001b3a: MSTORE
00001b3b: PUSH1 0x20
00001b3d: DUP2
00001b3e: SWAP1
00001b3f: MSTORE
00001b40: PUSH1 0x40
00001b42: DUP2
00001b43: KECCAK256
00001b44: PUSH2 0x124d
00001b47: SWAP1
00001b48: DUP4
00001b49: PUSH2 0x294f
00001b4c: JUMP
00001b4d: JUMPDEST
00001b4e: PUSH1 0x00
00001b50: DUP1
00001b51: MLOAD
00001b52: PUSH1 0x20
00001b54: PUSH2 0x33c7
00001b57: DUP4
00001b58: CODECOPY
00001b59: DUP2
00001b5a: MLOAD
00001b5b: SWAP2
00001b5c: MSTORE
00001b5d: DUP2
00001b5e: JUMP
00001b5f: JUMPDEST
00001b60: PUSH1 0x00
00001b62: DUP3
00001b63: DUP2
00001b64: MSTORE
00001b65: PUSH1 0x20
00001b67: DUP2
00001b68: SWAP1
00001b69: MSTORE
00001b6a: PUSH1 0x40
00001b6c: DUP2
00001b6d: KECCAK256
00001b6e: PUSH2 0x124d
00001b71: SWAP1
00001b72: DUP4
00001b73: PUSH2 0x2601
00001b76: JUMP
00001b77: JUMPDEST
00001b78: PUSH1 0x0d
00001b7a: SLOAD
00001b7b: DUP2
00001b7c: JUMP
00001b7d: JUMPDEST
00001b7e: PUSH1 0x10
00001b80: SLOAD
00001b81: PUSH1 0xff
00001b83: AND
00001b84: DUP2
00001b85: JUMP
00001b86: JUMPDEST
00001b87: PUSH1 0x09
00001b89: DUP1
00001b8a: SLOAD
00001b8b: PUSH1 0x40
00001b8d: DUP1
00001b8e: MLOAD
00001b8f: PUSH1 0x20
00001b91: PUSH1 0x1f
00001b93: PUSH1 0x02
00001b95: PUSH1 0x00
00001b97: NOT
00001b98: PUSH2 0x0100
00001b9b: PUSH1 0x01
00001b9d: DUP9
00001b9e: AND
00001b9f: ISZERO
00001ba0: MUL
00001ba1: ADD
00001ba2: SWAP1
00001ba3: SWAP6
00001ba4: AND
00001ba5: SWAP5
00001ba6: SWAP1
00001ba7: SWAP5
00001ba8: DIV
00001ba9: SWAP4
00001baa: DUP5
00001bab: ADD
00001bac: DUP2
00001bad: SWAP1
00001bae: DIV
00001baf: DUP2
00001bb0: MUL
00001bb1: DUP3
00001bb2: ADD
00001bb3: DUP2
00001bb4: ADD
00001bb5: SWAP1
00001bb6: SWAP3
00001bb7: MSTORE
00001bb8: DUP3
00001bb9: DUP2
00001bba: MSTORE
00001bbb: PUSH1 0x60
00001bbd: SWAP4
00001bbe: SWAP1
00001bbf: SWAP3
00001bc0: SWAP1
00001bc1: SWAP2
00001bc2: DUP4
00001bc3: ADD
00001bc4: DUP3
00001bc5: DUP3
00001bc6: DUP1
00001bc7: ISZERO
00001bc8: PUSH2 0x101a
00001bcb: JUMPI
00001bcc: DUP1
00001bcd: PUSH1 0x1f
00001bcf: LT
00001bd0: PUSH2 0x0fef
00001bd3: JUMPI
00001bd4: PUSH2 0x0100
00001bd7: DUP1
00001bd8: DUP4
00001bd9: SLOAD
00001bda: DIV
00001bdb: MUL
00001bdc: DUP4
00001bdd: MSTORE
00001bde: SWAP2
00001bdf: PUSH1 0x20
00001be1: ADD
00001be2: SWAP2
00001be3: PUSH2 0x101a
00001be6: JUMP
00001be7: JUMPDEST
00001be8: PUSH1 0x01
00001bea: SLOAD
00001beb: PUSH2 0x1bfc
00001bee: SWAP1
00001bef: PUSH1 0x01
00001bf1: PUSH1 0xa0
00001bf3: PUSH1 0x02
00001bf5: EXP
00001bf6: SUB
00001bf7: AND
00001bf8: PUSH2 0x2658
00001bfb: JUMP
00001bfc: JUMPDEST
00001bfd: ISZERO
00001bfe: PUSH2 0x1c3b
00001c01: JUMPI
00001c02: PUSH1 0x40
00001c04: MLOAD
00001c05: PUSH1 0xe5
00001c07: PUSH1 0x02
00001c09: EXP
00001c0a: PUSH3 0x461bcd
00001c0e: MUL
00001c0f: DUP2
00001c10: MSTORE
00001c11: PUSH1 0x04
00001c13: ADD
00001c14: DUP1
00001c15: DUP1
00001c16: PUSH1 0x20
00001c18: ADD
00001c19: DUP3
00001c1a: DUP2
00001c1b: SUB
00001c1c: DUP3
00001c1d: MSTORE
00001c1e: PUSH1 0x37
00001c20: DUP2
00001c21: MSTORE
00001c22: PUSH1 0x20
00001c24: ADD
00001c25: DUP1
00001c26: PUSH2 0x352f
00001c29: PUSH1 0x37
00001c2b: SWAP2
00001c2c: CODECOPY
00001c2d: PUSH1 0x40
00001c2f: ADD
00001c30: SWAP2
00001c31: POP
00001c32: POP
00001c33: PUSH1 0x40
00001c35: MLOAD
00001c36: DUP1
00001c37: SWAP2
00001c38: SUB
00001c39: SWAP1
00001c3a: REVERT
00001c3b: JUMPDEST
00001c3c: PUSH2 0x1c53
00001c3f: PUSH1 0x00
00001c41: DUP1
00001c42: MLOAD
00001c43: PUSH1 0x20
00001c45: PUSH2 0x33c7
00001c48: DUP4
00001c49: CODECOPY
00001c4a: DUP2
00001c4b: MLOAD
00001c4c: SWAP2
00001c4d: MSTORE
00001c4e: CALLER
00001c4f: PUSH2 0x1b5f
00001c52: JUMP
00001c53: JUMPDEST
00001c54: PUSH2 0x1c95
00001c57: JUMPI
00001c58: PUSH1 0x40
00001c5a: DUP1
00001c5b: MLOAD
00001c5c: PUSH1 0xe5
00001c5e: PUSH1 0x02
00001c60: EXP
00001c61: PUSH3 0x461bcd
00001c65: MUL
00001c66: DUP2
00001c67: MSTORE
00001c68: PUSH1 0x20
00001c6a: PUSH1 0x04
00001c6c: DUP3
00001c6d: ADD
00001c6e: MSTORE
00001c6f: PUSH1 0x17
00001c71: PUSH1 0x24
00001c73: DUP3
00001c74: ADD
00001c75: MSTORE
00001c76: PUSH1 0x00
00001c78: DUP1
00001c79: MLOAD
00001c7a: PUSH1 0x20
00001c7c: PUSH2 0x3361
00001c7f: DUP4
00001c80: CODECOPY
00001c81: DUP2
00001c82: MLOAD
00001c83: SWAP2
00001c84: MSTORE
00001c85: PUSH1 0x44
00001c87: DUP3
00001c88: ADD
00001c89: MSTORE
00001c8a: SWAP1
00001c8b: MLOAD
00001c8c: SWAP1
00001c8d: DUP2
00001c8e: SWAP1
00001c8f: SUB
00001c90: PUSH1 0x64
00001c92: ADD
00001c93: SWAP1
00001c94: REVERT
00001c95: JUMPDEST
00001c96: PUSH1 0x01
00001c98: PUSH1 0xa0
00001c9a: PUSH1 0x02
00001c9c: EXP
00001c9d: SUB
00001c9e: AND
00001c9f: PUSH1 0x00
00001ca1: SWAP1
00001ca2: DUP2
00001ca3: MSTORE
00001ca4: PUSH1 0x17
00001ca6: PUSH1 0x20
00001ca8: MSTORE
00001ca9: PUSH1 0x40
00001cab: SWAP1
00001cac: KECCAK256
00001cad: DUP1
00001cae: SLOAD
00001caf: PUSH1 0xff
00001cb1: NOT
00001cb2: AND
00001cb3: PUSH1 0x01
00001cb5: OR
00001cb6: SWAP1
00001cb7: SSTORE
00001cb8: JUMP
00001cb9: JUMPDEST
00001cba: PUSH1 0x00
00001cbc: DUP2
00001cbd: JUMP
00001cbe: JUMPDEST
00001cbf: PUSH1 0x00
00001cc1: PUSH2 0x1050
00001cc4: PUSH2 0x1ccb
00001cc7: PUSH2 0x2770
00001cca: JUMP
00001ccb: JUMPDEST
00001ccc: DUP5
00001ccd: PUSH2 0x13bd
00001cd0: DUP6
00001cd1: PUSH1 0x40
00001cd3: MLOAD
00001cd4: DUP1
00001cd5: PUSH1 0x60
00001cd7: ADD
00001cd8: PUSH1 0x40
00001cda: MSTORE
00001cdb: DUP1
00001cdc: PUSH1 0x25
00001cde: DUP2
00001cdf: MSTORE
00001ce0: PUSH1 0x20
00001ce2: ADD
00001ce3: PUSH2 0x3566
00001ce6: PUSH1 0x25
00001ce8: SWAP2
00001ce9: CODECOPY
00001cea: PUSH1 0x06
00001cec: PUSH1 0x00
00001cee: PUSH2 0x1cf5
00001cf1: PUSH2 0x2770
00001cf4: JUMP
00001cf5: JUMPDEST
00001cf6: PUSH1 0x01
00001cf8: PUSH1 0xa0
00001cfa: PUSH1 0x02
00001cfc: EXP
00001cfd: SUB
00001cfe: SWAP1
00001cff: DUP2
00001d00: AND
00001d01: DUP3
00001d02: MSTORE
00001d03: PUSH1 0x20
00001d05: DUP1
00001d06: DUP4
00001d07: ADD
00001d08: SWAP4
00001d09: SWAP1
00001d0a: SWAP4
00001d0b: MSTORE
00001d0c: PUSH1 0x40
00001d0e: SWAP2
00001d0f: DUP3
00001d10: ADD
00001d11: PUSH1 0x00
00001d13: SWAP1
00001d14: DUP2
00001d15: KECCAK256
00001d16: SWAP2
00001d17: DUP14
00001d18: AND
00001d19: DUP2
00001d1a: MSTORE
00001d1b: SWAP3
00001d1c: MSTORE
00001d1d: SWAP1
00001d1e: KECCAK256
00001d1f: SLOAD
00001d20: SWAP2
00001d21: SWAP1
00001d22: PUSH2 0x295b
00001d25: JUMP
00001d26: JUMPDEST
00001d27: PUSH1 0x02
00001d29: SLOAD
00001d2a: PUSH1 0x01
00001d2c: PUSH1 0xa0
00001d2e: PUSH1 0x02
00001d30: EXP
00001d31: SUB
00001d32: AND
00001d33: DUP2
00001d34: JUMP
00001d35: JUMPDEST
00001d36: PUSH1 0x00
00001d38: PUSH2 0x124d
00001d3b: DUP4
00001d3c: DUP4
00001d3d: PUSH2 0x29f5
00001d40: JUMP
00001d41: JUMPDEST
00001d42: PUSH2 0x1d49
00001d45: PUSH2 0x3247
00001d48: JUMP
00001d49: JUMPDEST
00001d4a: POP
00001d4b: CALLER
00001d4c: PUSH1 0x00
00001d4e: SWAP1
00001d4f: DUP2
00001d50: MSTORE
00001d51: PUSH1 0x0f
00001d53: PUSH1 0x20
00001d55: SWAP1
00001d56: DUP2
00001d57: MSTORE
00001d58: PUSH1 0x40
00001d5a: SWAP2
00001d5b: DUP3
00001d5c: SWAP1
00001d5d: KECCAK256
00001d5e: DUP3
00001d5f: MLOAD
00001d60: PUSH1 0x80
00001d62: DUP2
00001d63: ADD
00001d64: DUP5
00001d65: MSTORE
00001d66: DUP2
00001d67: SLOAD
00001d68: DUP2
00001d69: MSTORE
00001d6a: PUSH1 0x01
00001d6c: DUP3
00001d6d: ADD
00001d6e: SLOAD
00001d6f: SWAP3
00001d70: DUP2
00001d71: ADD
00001d72: SWAP3
00001d73: SWAP1
00001d74: SWAP3
00001d75: MSTORE
00001d76: PUSH1 0x02
00001d78: DUP2
00001d79: ADD
00001d7a: SLOAD
00001d7b: SWAP3
00001d7c: DUP3
00001d7d: ADD
00001d7e: SWAP3
00001d7f: SWAP1
00001d80: SWAP3
00001d81: MSTORE
00001d82: PUSH1 0x03
00001d84: SWAP1
00001d85: SWAP2
00001d86: ADD
00001d87: SLOAD
00001d88: PUSH1 0x60
00001d8a: DUP3
00001d8b: ADD
00001d8c: DUP2
00001d8d: SWAP1
00001d8e: MSTORE
00001d8f: ISZERO
00001d90: DUP1
00001d91: ISZERO
00001d92: SWAP1
00001d93: PUSH2 0x1dc5
00001d96: JUMPI
00001d97: POP
00001d98: DUP1
00001d99: MLOAD
00001d9a: PUSH1 0x60
00001d9c: DUP3
00001d9d: ADD
00001d9e: MLOAD
00001d9f: PUSH2 0x1da7
00001da2: SWAP2
00001da3: PUSH2 0x258f
00001da6: JUMP
00001da7: JUMPDEST
00001da8: TIMESTAMP
00001da9: LT
00001daa: ISZERO
00001dab: DUP1
00001dac: PUSH2 0x1dc5
00001daf: JUMPI
00001db0: POP
00001db1: PUSH1 0x0e
00001db3: SLOAD
00001db4: PUSH1 0x60
00001db6: DUP3
00001db7: ADD
00001db8: MLOAD
00001db9: PUSH2 0x1dc1
00001dbc: SWAP2
00001dbd: PUSH2 0x258f
00001dc0: JUMP
00001dc1: JUMPDEST
00001dc2: TIMESTAMP
00001dc3: LT
00001dc4: ISZERO
00001dc5: JUMPDEST
00001dc6: PUSH2 0x1e03
00001dc9: JUMPI
00001dca: PUSH1 0x40
00001dcc: MLOAD
00001dcd: PUSH1 0xe5
00001dcf: PUSH1 0x02
00001dd1: EXP
00001dd2: PUSH3 0x461bcd
00001dd6: MUL
00001dd7: DUP2
00001dd8: MSTORE
00001dd9: PUSH1 0x04
00001ddb: ADD
00001ddc: DUP1
00001ddd: DUP1
00001dde: PUSH1 0x20
00001de0: ADD
00001de1: DUP3
00001de2: DUP2
00001de3: SUB
00001de4: DUP3
00001de5: MSTORE
00001de6: PUSH1 0x2e
00001de8: DUP2
00001de9: MSTORE
00001dea: PUSH1 0x20
00001dec: ADD
00001ded: DUP1
00001dee: PUSH2 0x341e
00001df1: PUSH1 0x2e
00001df3: SWAP2
00001df4: CODECOPY
00001df5: PUSH1 0x40
00001df7: ADD
00001df8: SWAP2
00001df9: POP
00001dfa: POP
00001dfb: PUSH1 0x40
00001dfd: MLOAD
00001dfe: DUP1
00001dff: SWAP2
00001e00: SUB
00001e01: SWAP1
00001e02: REVERT
00001e03: JUMPDEST
00001e04: TIMESTAMP
00001e05: PUSH1 0x60
00001e07: DUP3
00001e08: ADD
00001e09: SWAP1
00001e0a: DUP2
00001e0b: MSTORE
00001e0c: CALLER
00001e0d: PUSH1 0x00
00001e0f: DUP2
00001e10: DUP2
00001e11: MSTORE
00001e12: PUSH1 0x0f
00001e14: PUSH1 0x20
00001e16: SWAP1
00001e17: DUP2
00001e18: MSTORE
00001e19: PUSH1 0x40
00001e1b: SWAP2
00001e1c: DUP3
00001e1d: SWAP1
00001e1e: KECCAK256
00001e1f: DUP6
00001e20: MLOAD
00001e21: DUP2
00001e22: SSTORE
00001e23: SWAP1
00001e24: DUP6
00001e25: ADD
00001e26: MLOAD
00001e27: PUSH1 0x01
00001e29: DUP3
00001e2a: ADD
00001e2b: SSTORE
00001e2c: SWAP1
00001e2d: DUP5
00001e2e: ADD
00001e2f: MLOAD
00001e30: PUSH1 0x02
00001e32: DUP3
00001e33: ADD
00001e34: SSTORE
00001e35: SWAP2
00001e36: MLOAD
00001e37: PUSH1 0x03
00001e39: SWAP1
00001e3a: SWAP3
00001e3b: ADD
00001e3c: SWAP2
00001e3d: SWAP1
00001e3e: SWAP2
00001e3f: SSTORE
00001e40: PUSH2 0x1689
00001e43: SWAP1
00001e44: PUSH2 0x2a0b
00001e47: JUMP
00001e48: JUMPDEST
00001e49: PUSH1 0x0f
00001e4b: PUSH1 0x20
00001e4d: MSTORE
00001e4e: PUSH1 0x00
00001e50: SWAP1
00001e51: DUP2
00001e52: MSTORE
00001e53: PUSH1 0x40
00001e55: SWAP1
00001e56: KECCAK256
00001e57: DUP1
00001e58: SLOAD
00001e59: PUSH1 0x01
00001e5b: DUP3
00001e5c: ADD
00001e5d: SLOAD
00001e5e: PUSH1 0x02
00001e60: DUP4
00001e61: ADD
00001e62: SLOAD
00001e63: PUSH1 0x03
00001e65: SWAP1
00001e66: SWAP4
00001e67: ADD
00001e68: SLOAD
00001e69: SWAP2
00001e6a: SWAP3
00001e6b: SWAP1
00001e6c: SWAP2
00001e6d: DUP5
00001e6e: JUMP
00001e6f: JUMPDEST
00001e70: PUSH2 0x1e87
00001e73: PUSH1 0x00
00001e75: DUP1
00001e76: MLOAD
00001e77: PUSH1 0x20
00001e79: PUSH2 0x33c7
00001e7c: DUP4
00001e7d: CODECOPY
00001e7e: DUP2
00001e7f: MLOAD
00001e80: SWAP2
00001e81: MSTORE
00001e82: CALLER
00001e83: PUSH2 0x1b5f
00001e86: JUMP
00001e87: JUMPDEST
00001e88: PUSH2 0x1ec9
00001e8b: JUMPI
00001e8c: PUSH1 0x40
00001e8e: DUP1
00001e8f: MLOAD
00001e90: PUSH1 0xe5
00001e92: PUSH1 0x02
00001e94: EXP
00001e95: PUSH3 0x461bcd
00001e99: MUL
00001e9a: DUP2
00001e9b: MSTORE
00001e9c: PUSH1 0x20
00001e9e: PUSH1 0x04
00001ea0: DUP3
00001ea1: ADD
00001ea2: MSTORE
00001ea3: PUSH1 0x17
00001ea5: PUSH1 0x24
00001ea7: DUP3
00001ea8: ADD
00001ea9: MSTORE
00001eaa: PUSH1 0x00
00001eac: DUP1
00001ead: MLOAD
00001eae: PUSH1 0x20
00001eb0: PUSH2 0x3361
00001eb3: DUP4
00001eb4: CODECOPY
00001eb5: DUP2
00001eb6: MLOAD
00001eb7: SWAP2
00001eb8: MSTORE
00001eb9: PUSH1 0x44
00001ebb: DUP3
00001ebc: ADD
00001ebd: MSTORE
00001ebe: SWAP1
00001ebf: MLOAD
00001ec0: SWAP1
00001ec1: DUP2
00001ec2: SWAP1
00001ec3: SUB
00001ec4: PUSH1 0x64
00001ec6: ADD
00001ec7: SWAP1
00001ec8: REVERT
00001ec9: JUMPDEST
00001eca: PUSH2 0x1689
00001ecd: PUSH32 0x83e1446b95f1c1d5ef26abb4f97d0668a474fa1461910124bfb15edcb7ae5ed2
00001eee: DUP3
00001eef: PUSH2 0x126f
00001ef2: JUMP
00001ef3: JUMPDEST
00001ef4: PUSH1 0x0e
00001ef6: SLOAD
00001ef7: DUP2
00001ef8: JUMP
00001ef9: JUMPDEST
00001efa: PUSH1 0x00
00001efc: DUP2
00001efd: DUP2
00001efe: MSTORE
00001eff: PUSH1 0x20
00001f01: DUP2
00001f02: SWAP1
00001f03: MSTORE
00001f04: PUSH1 0x40
00001f06: DUP2
00001f07: KECCAK256
00001f08: PUSH2 0x1054
00001f0b: SWAP1
00001f0c: PUSH2 0x2b28
00001f0f: JUMP
00001f10: JUMPDEST
00001f11: PUSH2 0x1f28
00001f14: PUSH1 0x00
00001f16: DUP1
00001f17: MLOAD
00001f18: PUSH1 0x20
00001f1a: PUSH2 0x33c7
00001f1d: DUP4
00001f1e: CODECOPY
00001f1f: DUP2
00001f20: MLOAD
00001f21: SWAP2
00001f22: MSTORE
00001f23: CALLER
00001f24: PUSH2 0x1b5f
00001f27: JUMP
00001f28: JUMPDEST
00001f29: PUSH2 0x1f6a
00001f2c: JUMPI
00001f2d: PUSH1 0x40
00001f2f: DUP1
00001f30: MLOAD
00001f31: PUSH1 0xe5
00001f33: PUSH1 0x02
00001f35: EXP
00001f36: PUSH3 0x461bcd
00001f3a: MUL
00001f3b: DUP2
00001f3c: MSTORE
00001f3d: PUSH1 0x20
00001f3f: PUSH1 0x04
00001f41: DUP3
00001f42: ADD
00001f43: MSTORE
00001f44: PUSH1 0x17
00001f46: PUSH1 0x24
00001f48: DUP3
00001f49: ADD
00001f4a: MSTORE
00001f4b: PUSH1 0x00
00001f4d: DUP1
00001f4e: MLOAD
00001f4f: PUSH1 0x20
00001f51: PUSH2 0x3361
00001f54: DUP4
00001f55: CODECOPY
00001f56: DUP2
00001f57: MLOAD
00001f58: SWAP2
00001f59: MSTORE
00001f5a: PUSH1 0x44
00001f5c: DUP3
00001f5d: ADD
00001f5e: MSTORE
00001f5f: SWAP1
00001f60: MLOAD
00001f61: SWAP1
00001f62: DUP2
00001f63: SWAP1
00001f64: SUB
00001f65: PUSH1 0x64
00001f67: ADD
00001f68: SWAP1
00001f69: REVERT
00001f6a: JUMPDEST
00001f6b: PUSH1 0x01
00001f6d: SLOAD
00001f6e: PUSH2 0x1f7f
00001f71: SWAP1
00001f72: PUSH1 0x01
00001f74: PUSH1 0xa0
00001f76: PUSH1 0x02
00001f78: EXP
00001f79: SUB
00001f7a: AND
00001f7b: PUSH2 0x2658
00001f7e: JUMP
00001f7f: JUMPDEST
00001f80: ISZERO
00001f81: PUSH2 0x1fbe
00001f84: JUMPI
00001f85: PUSH1 0x40
00001f87: MLOAD
00001f88: PUSH1 0xe5
00001f8a: PUSH1 0x02
00001f8c: EXP
00001f8d: PUSH3 0x461bcd
00001f91: MUL
00001f92: DUP2
00001f93: MSTORE
00001f94: PUSH1 0x04
00001f96: ADD
00001f97: DUP1
00001f98: DUP1
00001f99: PUSH1 0x20
00001f9b: ADD
00001f9c: DUP3
00001f9d: DUP2
00001f9e: SUB
00001f9f: DUP3
00001fa0: MSTORE
00001fa1: PUSH1 0x37
00001fa3: DUP2
00001fa4: MSTORE
00001fa5: PUSH1 0x20
00001fa7: ADD
00001fa8: DUP1
00001fa9: PUSH2 0x352f
00001fac: PUSH1 0x37
00001fae: SWAP2
00001faf: CODECOPY
00001fb0: PUSH1 0x40
00001fb2: ADD
00001fb3: SWAP2
00001fb4: POP
00001fb5: POP
00001fb6: PUSH1 0x40
00001fb8: MLOAD
00001fb9: DUP1
00001fba: SWAP2
00001fbb: SUB
00001fbc: SWAP1
00001fbd: REVERT
00001fbe: JUMPDEST
00001fbf: PUSH1 0x00
00001fc1: JUMPDEST
00001fc2: DUP3
00001fc3: MLOAD
00001fc4: DUP2
00001fc5: LT
00001fc6: ISZERO
00001fc7: PUSH2 0x2008
00001fca: JUMPI
00001fcb: PUSH2 0x2000
00001fce: DUP4
00001fcf: DUP3
00001fd0: DUP2
00001fd1: MLOAD
00001fd2: DUP2
00001fd3: LT
00001fd4: PUSH2 0x1fd9
00001fd7: JUMPI
00001fd8: INVALID
00001fd9: JUMPDEST
00001fda: PUSH1 0x20
00001fdc: MUL
00001fdd: PUSH1 0x20
00001fdf: ADD
00001fe0: ADD
00001fe1: MLOAD
00001fe2: DUP4
00001fe3: DUP4
00001fe4: DUP2
00001fe5: MLOAD
00001fe6: DUP2
00001fe7: LT
00001fe8: PUSH2 0x1fed
00001feb: JUMPI
00001fec: INVALID
00001fed: JUMPDEST
00001fee: PUSH1 0x20
00001ff0: MUL
00001ff1: PUSH1 0x20
00001ff3: ADD
00001ff4: ADD
00001ff5: MLOAD
00001ff6: PUSH3 0x054600
00001ffa: PUSH1 0x00
00001ffc: PUSH2 0x2b33
00001fff: JUMP
00002000: JUMPDEST
00002001: PUSH1 0x01
00002003: ADD
00002004: PUSH2 0x1fc1
00002007: JUMP
00002008: JUMPDEST
00002009: POP
0000200a: POP
0000200b: POP
0000200c: JUMP
0000200d: JUMPDEST
0000200e: PUSH1 0x0d
00002010: SLOAD
00002011: PUSH1 0x00
00002013: SWAP1
00002014: DUP2
00002015: SWAP1
00002016: DUP2
00002017: SWAP1
00002018: ISZERO
00002019: PUSH2 0x207e
0000201c: JUMPI
0000201d: PUSH1 0x00
0000201f: PUSH2 0x2048
00002022: PUSH2 0x2037
00002025: PUSH1 0x01
00002027: PUSH1 0x0d
00002029: SLOAD
0000202a: PUSH2 0x258f
0000202d: SWAP1
0000202e: SWAP2
0000202f: SWAP1
00002030: PUSH4 0xffffffff
00002035: AND
00002036: JUMP
00002037: JUMPDEST
00002038: PUSH2 0x2042
0000203b: TIMESTAMP
0000203c: PUSH1 0x01
0000203e: PUSH2 0x258f
00002041: JUMP
00002042: JUMPDEST
00002043: SWAP1
00002044: PUSH2 0x2616
00002047: JUMP
00002048: JUMPDEST
00002049: SWAP1
0000204a: POP
0000204b: PUSH1 0x00
0000204d: PUSH2 0x2059
00002050: DUP3
00002051: PUSH3 0x015180
00002055: PUSH2 0x254d
00002058: JUMP
00002059: JUMPDEST
0000205a: SWAP1
0000205b: POP
0000205c: PUSH1 0x0a
0000205e: DUP2
0000205f: GT
00002060: ISZERO
00002061: PUSH2 0x206d
00002064: JUMPI
00002065: PUSH1 0x05
00002067: SWAP3
00002068: POP
00002069: PUSH2 0x207b
0000206c: JUMP
0000206d: JUMPDEST
0000206e: PUSH2 0x2078
00002071: PUSH1 0x0f
00002073: DUP3
00002074: PUSH2 0x2616
00002077: JUMP
00002078: JUMPDEST
00002079: SWAP3
0000207a: POP
0000207b: JUMPDEST
0000207c: POP
0000207d: POP
0000207e: JUMPDEST
0000207f: PUSH1 0x0b
00002081: SLOAD
00002082: PUSH2 0x2089
00002085: PUSH2 0x1149
00002088: JUMP
00002089: JUMPDEST
0000208a: GT
0000208b: ISZERO
0000208c: PUSH2 0x20c6
0000208f: JUMPI
00002090: PUSH2 0x20a4
00002093: PUSH1 0x64
00002095: PUSH2 0x209e
00002098: DUP9
00002099: DUP5
0000209a: PUSH2 0x24f1
0000209d: JUMP
0000209e: JUMPDEST
0000209f: SWAP1
000020a0: PUSH2 0x254d
000020a3: JUMP
000020a4: JUMPDEST
000020a5: SWAP2
000020a6: POP
000020a7: PUSH1 0x00
000020a9: PUSH2 0x20b6
000020ac: PUSH1 0x0b
000020ae: SLOAD
000020af: PUSH2 0x2042
000020b2: PUSH2 0x1149
000020b5: JUMP
000020b6: JUMPDEST
000020b7: SWAP1
000020b8: POP
000020b9: DUP1
000020ba: DUP4
000020bb: GT
000020bc: ISZERO
000020bd: PUSH2 0x20c4
000020c0: JUMPI
000020c1: DUP1
000020c2: SWAP3
000020c3: POP
000020c4: JUMPDEST
000020c5: POP
000020c6: JUMPDEST
000020c7: POP
000020c8: SWAP5
000020c9: SWAP4
000020ca: POP
000020cb: POP
000020cc: POP
000020cd: POP
000020ce: JUMP
000020cf: JUMPDEST
000020d0: PUSH1 0x00
000020d2: DUP3
000020d3: DUP2
000020d4: MSTORE
000020d5: PUSH1 0x20
000020d7: DUP2
000020d8: SWAP1
000020d9: MSTORE
000020da: PUSH1 0x40
000020dc: SWAP1
000020dd: KECCAK256
000020de: PUSH1 0x02
000020e0: ADD
000020e1: SLOAD
000020e2: PUSH2 0x20ed
000020e5: SWAP1
000020e6: PUSH2 0x128d
000020e9: PUSH2 0x2770
000020ec: JUMP
000020ed: JUMPDEST
000020ee: PUSH2 0x1341
000020f1: JUMPI
000020f2: PUSH1 0x40
000020f4: MLOAD
000020f5: PUSH1 0xe5
000020f7: PUSH1 0x02
000020f9: EXP
000020fa: PUSH3 0x461bcd
000020fe: MUL
000020ff: DUP2
00002100: MSTORE
00002101: PUSH1 0x04
00002103: ADD
00002104: DUP1
00002105: DUP1
00002106: PUSH1 0x20
00002108: ADD
00002109: DUP3
0000210a: DUP2
0000210b: SUB
0000210c: DUP3
0000210d: MSTORE
0000210e: PUSH1 0x30
00002110: DUP2
00002111: MSTORE
00002112: PUSH1 0x20
00002114: ADD
00002115: DUP1
00002116: PUSH2 0x344c
00002119: PUSH1 0x30
0000211b: SWAP2
0000211c: CODECOPY
0000211d: PUSH1 0x40
0000211f: ADD
00002120: SWAP2
00002121: POP
00002122: POP
00002123: PUSH1 0x40
00002125: MLOAD
00002126: DUP1
00002127: SWAP2
00002128: SUB
00002129: SWAP1
0000212a: REVERT
0000212b: JUMPDEST
0000212c: PUSH1 0x01
0000212e: PUSH1 0xa0
00002130: PUSH1 0x02
00002132: EXP
00002133: SUB
00002134: SWAP2
00002135: DUP3
00002136: AND
00002137: PUSH1 0x00
00002139: SWAP1
0000213a: DUP2
0000213b: MSTORE
0000213c: PUSH1 0x06
0000213e: PUSH1 0x20
00002140: SWAP1
00002141: DUP2
00002142: MSTORE
00002143: PUSH1 0x40
00002145: DUP1
00002146: DUP4
00002147: KECCAK256
00002148: SWAP4
00002149: SWAP1
0000214a: SWAP5
0000214b: AND
0000214c: DUP3
0000214d: MSTORE
0000214e: SWAP2
0000214f: SWAP1
00002150: SWAP2
00002151: MSTORE
00002152: KECCAK256
00002153: SLOAD
00002154: SWAP1
00002155: JUMP
00002156: JUMPDEST
00002157: PUSH2 0x216e
0000215a: PUSH1 0x00
0000215c: DUP1
0000215d: MLOAD
0000215e: PUSH1 0x20
00002160: PUSH2 0x33c7
00002163: DUP4
00002164: CODECOPY
00002165: DUP2
00002166: MLOAD
00002167: SWAP2
00002168: MSTORE
00002169: CALLER
0000216a: PUSH2 0x1b5f
0000216d: JUMP
0000216e: JUMPDEST
0000216f: PUSH2 0x21b0
00002172: JUMPI
00002173: PUSH1 0x40
00002175: DUP1
00002176: MLOAD
00002177: PUSH1 0xe5
00002179: PUSH1 0x02
0000217b: EXP
0000217c: PUSH3 0x461bcd
00002180: MUL
00002181: DUP2
00002182: MSTORE
00002183: PUSH1 0x20
00002185: PUSH1 0x04
00002187: DUP3
00002188: ADD
00002189: MSTORE
0000218a: PUSH1 0x17
0000218c: PUSH1 0x24
0000218e: DUP3
0000218f: ADD
00002190: MSTORE
00002191: PUSH1 0x00
00002193: DUP1
00002194: MLOAD
00002195: PUSH1 0x20
00002197: PUSH2 0x3361
0000219a: DUP4
0000219b: CODECOPY
0000219c: DUP2
0000219d: MLOAD
0000219e: SWAP2
0000219f: MSTORE
000021a0: PUSH1 0x44
000021a2: DUP3
000021a3: ADD
000021a4: MSTORE
000021a5: SWAP1
000021a6: MLOAD
000021a7: SWAP1
000021a8: DUP2
000021a9: SWAP1
000021aa: SUB
000021ab: PUSH1 0x64
000021ad: ADD
000021ae: SWAP1
000021af: REVERT
000021b0: JUMPDEST
000021b1: PUSH2 0x1689
000021b4: PUSH1 0x00
000021b6: DUP1
000021b7: MLOAD
000021b8: PUSH1 0x20
000021ba: PUSH2 0x33a7
000021bd: DUP4
000021be: CODECOPY
000021bf: DUP2
000021c0: MLOAD
000021c1: SWAP2
000021c2: MSTORE
000021c3: DUP3
000021c4: PUSH2 0x126f
000021c7: JUMP
000021c8: JUMPDEST
000021c9: PUSH1 0x10
000021cb: SLOAD
000021cc: PUSH1 0x00
000021ce: SWAP1
000021cf: PUSH1 0xff
000021d1: AND
000021d2: ISZERO
000021d3: ISZERO
000021d4: PUSH1 0x01
000021d6: EQ
000021d7: DUP1
000021d8: PUSH2 0x21f0
000021db: JUMPI
000021dc: POP
000021dd: CALLER
000021de: PUSH1 0x00
000021e0: SWAP1
000021e1: DUP2
000021e2: MSTORE
000021e3: PUSH1 0x17
000021e5: PUSH1 0x20
000021e7: MSTORE
000021e8: PUSH1 0x40
000021ea: SWAP1
000021eb: KECCAK256
000021ec: SLOAD
000021ed: PUSH1 0xff
000021ef: AND
000021f0: JUMPDEST
000021f1: PUSH2 0x2244
000021f4: JUMPI
000021f5: PUSH1 0x40
000021f7: DUP1
000021f8: MLOAD
000021f9: PUSH1 0xe5
000021fb: PUSH1 0x02
000021fd: EXP
000021fe: PUSH3 0x461bcd
00002202: MUL
00002203: DUP2
00002204: MSTORE
00002205: PUSH1 0x20
00002207: PUSH1 0x04
00002209: DUP3
0000220a: ADD
0000220b: MSTORE
0000220c: PUSH1 0x19
0000220e: PUSH1 0x24
00002210: DUP3
00002211: ADD
00002212: MSTORE
00002213: PUSH32 0x5468652070726573616c65206973206e6f742061637469766500000000000000
00002234: PUSH1 0x44
00002236: DUP3
00002237: ADD
00002238: MSTORE
00002239: SWAP1
0000223a: MLOAD
0000223b: SWAP1
0000223c: DUP2
0000223d: SWAP1
0000223e: SUB
0000223f: PUSH1 0x64
00002241: ADD
00002242: SWAP1
00002243: REVERT
00002244: JUMPDEST
00002245: PUSH1 0x02
00002247: PUSH1 0x04
00002249: SLOAD
0000224a: EQ
0000224b: ISZERO
0000224c: PUSH2 0x229f
0000224f: JUMPI
00002250: PUSH1 0x40
00002252: DUP1
00002253: MLOAD
00002254: PUSH1 0xe5
00002256: PUSH1 0x02
00002258: EXP
00002259: PUSH3 0x461bcd
0000225d: MUL
0000225e: DUP2
0000225f: MSTORE
00002260: PUSH1 0x20
00002262: PUSH1 0x04
00002264: DUP3
00002265: ADD
00002266: MSTORE
00002267: PUSH1 0x1f
00002269: PUSH1 0x24
0000226b: DUP3
0000226c: ADD
0000226d: MSTORE
0000226e: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
0000228f: PUSH1 0x44
00002291: DUP3
00002292: ADD
00002293: MSTORE
00002294: SWAP1
00002295: MLOAD
00002296: SWAP1
00002297: DUP2
00002298: SWAP1
00002299: SUB
0000229a: PUSH1 0x64
0000229c: ADD
0000229d: SWAP1
0000229e: REVERT
0000229f: JUMPDEST
000022a0: PUSH1 0x02
000022a2: PUSH1 0x04
000022a4: SSTORE
000022a5: PUSH1 0x15
000022a7: SLOAD
000022a8: CALLVALUE
000022a9: LT
000022aa: ISZERO
000022ab: PUSH2 0x22fe
000022ae: JUMPI
000022af: PUSH1 0x40
000022b1: DUP1
000022b2: MLOAD
000022b3: PUSH1 0xe5
000022b5: PUSH1 0x02
000022b7: EXP
000022b8: PUSH3 0x461bcd
000022bc: MUL
000022bd: DUP2
000022be: MSTORE
000022bf: PUSH1 0x20
000022c1: PUSH1 0x04
000022c3: DUP3
000022c4: ADD
000022c5: MSTORE
000022c6: PUSH1 0x1f
000022c8: PUSH1 0x24
000022ca: DUP3
000022cb: ADD
000022cc: MSTORE
000022cd: PUSH32 0x4d696e696d756d20707572636861736520616d6f756e74206e6f74206d657400
000022ee: PUSH1 0x44
000022f0: DUP3
000022f1: ADD
000022f2: MSTORE
000022f3: SWAP1
000022f4: MLOAD
000022f5: SWAP1
000022f6: DUP2
000022f7: SWAP1
000022f8: SUB
000022f9: PUSH1 0x64
000022fb: ADD
000022fc: SWAP1
000022fd: REVERT
000022fe: JUMPDEST
000022ff: PUSH1 0x14
00002301: SLOAD
00002302: PUSH1 0x13
00002304: SLOAD
00002305: PUSH2 0x230e
00002308: SWAP1
00002309: CALLVALUE
0000230a: PUSH2 0x258f
0000230d: JUMP
0000230e: JUMPDEST
0000230f: GT
00002310: ISZERO
00002311: DUP1
00002312: PUSH2 0x232a
00002315: JUMPI
00002316: POP
00002317: CALLER
00002318: PUSH1 0x00
0000231a: SWAP1
0000231b: DUP2
0000231c: MSTORE
0000231d: PUSH1 0x17
0000231f: PUSH1 0x20
00002321: MSTORE
00002322: PUSH1 0x40
00002324: SWAP1
00002325: KECCAK256
00002326: SLOAD
00002327: PUSH1 0xff
00002329: AND
0000232a: JUMPDEST
0000232b: PUSH2 0x237e
0000232e: JUMPI
0000232f: PUSH1 0x40
00002331: DUP1
00002332: MLOAD
00002333: PUSH1 0xe5
00002335: PUSH1 0x02
00002337: EXP
00002338: PUSH3 0x461bcd
0000233c: MUL
0000233d: DUP2
0000233e: MSTORE
0000233f: PUSH1 0x20
00002341: PUSH1 0x04
00002343: DUP3
00002344: ADD
00002345: DUP2
00002346: SWAP1
00002347: MSTORE
00002348: PUSH1 0x24
0000234a: DUP3
0000234b: ADD
0000234c: MSTORE
0000234d: PUSH32 0x50726573616c65206d6178696d756d20616c7265616479206163686965766564
0000236e: PUSH1 0x44
00002370: DUP3
00002371: ADD
00002372: MSTORE
00002373: SWAP1
00002374: MLOAD
00002375: SWAP1
00002376: DUP2
00002377: SWAP1
00002378: SUB
00002379: PUSH1 0x64
0000237b: ADD
0000237c: SWAP1
0000237d: REVERT
0000237e: JUMPDEST
0000237f: PUSH1 0x11
00002381: SLOAD
00002382: PUSH1 0x16
00002384: SLOAD
00002385: PUSH2 0x238d
00002388: SWAP2
00002389: PUSH2 0x24f1
0000238c: JUMP
0000238d: JUMPDEST
0000238e: PUSH2 0x23bb
00002391: PUSH2 0x23a5
00002394: PUSH1 0x11
00002396: SLOAD
00002397: CALLVALUE
00002398: PUSH2 0x24f1
0000239b: SWAP1
0000239c: SWAP2
0000239d: SWAP1
0000239e: PUSH4 0xffffffff
000023a3: AND
000023a4: JUMP
000023a5: JUMPDEST
000023a6: CALLER
000023a7: PUSH1 0x00
000023a9: SWAP1
000023aa: DUP2
000023ab: MSTORE
000023ac: PUSH1 0x18
000023ae: PUSH1 0x20
000023b0: MSTORE
000023b1: PUSH1 0x40
000023b3: SWAP1
000023b4: KECCAK256
000023b5: SLOAD
000023b6: SWAP1
000023b7: PUSH2 0x258f
000023ba: JUMP
000023bb: JUMPDEST
000023bc: GT
000023bd: ISZERO
000023be: PUSH2 0x2411
000023c1: JUMPI
000023c2: PUSH1 0x40
000023c4: DUP1
000023c5: MLOAD
000023c6: PUSH1 0xe5
000023c8: PUSH1 0x02
000023ca: EXP
000023cb: PUSH3 0x461bcd
000023cf: MUL
000023d0: DUP2
000023d1: MSTORE
000023d2: PUSH1 0x20
000023d4: PUSH1 0x04
000023d6: DUP3
000023d7: ADD
000023d8: MSTORE
000023d9: PUSH1 0x1d
000023db: PUSH1 0x24
000023dd: DUP3
000023de: ADD
000023df: MSTORE
000023e0: PUSH32 0x416d6f756e74206f662065746865722073656e7420746f6f2068696768000000
00002401: PUSH1 0x44
00002403: DUP3
00002404: ADD
00002405: MSTORE
00002406: SWAP1
00002407: MLOAD
00002408: SWAP1
00002409: DUP2
0000240a: SWAP1
0000240b: SUB
0000240c: PUSH1 0x64
0000240e: ADD
0000240f: SWAP1
00002410: REVERT
00002411: JUMPDEST
00002412: PUSH2 0x2429
00002415: PUSH2 0x23a5
00002418: PUSH1 0x11
0000241a: SLOAD
0000241b: CALLVALUE
0000241c: PUSH2 0x24f1
0000241f: SWAP1
00002420: SWAP2
00002421: SWAP1
00002422: PUSH4 0xffffffff
00002427: AND
00002428: JUMP
00002429: JUMPDEST
0000242a: CALLER
0000242b: PUSH1 0x00
0000242d: SWAP1
0000242e: DUP2
0000242f: MSTORE
00002430: PUSH1 0x18
00002432: PUSH1 0x20
00002434: SWAP1
00002435: DUP2
00002436: MSTORE
00002437: PUSH1 0x40
00002439: DUP1
0000243a: DUP4
0000243b: KECCAK256
0000243c: SWAP4
0000243d: SWAP1
0000243e: SWAP4
0000243f: SSTORE
00002440: PUSH1 0x17
00002442: SWAP1
00002443: MSTORE
00002444: KECCAK256
00002445: SLOAD
00002446: PUSH1 0xff
00002448: AND
00002449: PUSH2 0x245d
0000244c: JUMPI
0000244d: PUSH1 0x13
0000244f: SLOAD
00002450: PUSH2 0x2459
00002453: SWAP1
00002454: CALLVALUE
00002455: PUSH2 0x258f
00002458: JUMP
00002459: JUMPDEST
0000245a: PUSH1 0x13
0000245c: SSTORE
0000245d: JUMPDEST
0000245e: CALLER
0000245f: PUSH1 0x00
00002461: DUP2
00002462: DUP2
00002463: MSTORE
00002464: PUSH1 0x18
00002466: PUSH1 0x20
00002468: SWAP1
00002469: DUP2
0000246a: MSTORE
0000246b: PUSH1 0x40
0000246d: SWAP2
0000246e: DUP3
0000246f: SWAP1
00002470: KECCAK256
00002471: SLOAD
00002472: DUP3
00002473: MLOAD
00002474: SWAP4
00002475: DUP5
00002476: MSTORE
00002477: SWAP1
00002478: DUP4
00002479: ADD
0000247a: MSTORE
0000247b: CALLVALUE
0000247c: DUP3
0000247d: DUP3
0000247e: ADD
0000247f: MSTORE
00002480: MLOAD
00002481: PUSH32 0x531c8e55a96ff0523b632a56c0fa5421bb41070dbcf7257b046152cc0fa16a30
000024a2: SWAP2
000024a3: DUP2
000024a4: SWAP1
000024a5: SUB
000024a6: PUSH1 0x60
000024a8: ADD
000024a9: SWAP1
000024aa: LOG1
000024ab: PUSH1 0x03
000024ad: SLOAD
000024ae: PUSH1 0x01
000024b0: PUSH1 0xa0
000024b2: PUSH1 0x02
000024b4: EXP
000024b5: SUB
000024b6: AND
000024b7: PUSH2 0x08fc
000024ba: PUSH2 0x24c9
000024bd: PUSH1 0x0a
000024bf: PUSH2 0x209e
000024c2: CALLVALUE
000024c3: PUSH1 0x02
000024c5: PUSH2 0x24f1
000024c8: JUMP
000024c9: JUMPDEST
000024ca: PUSH1 0x40
000024cc: MLOAD
000024cd: DUP2
000024ce: ISZERO
000024cf: SWAP1
000024d0: SWAP3
000024d1: MUL
000024d2: SWAP2
000024d3: PUSH1 0x00
000024d5: DUP2
000024d6: DUP2
000024d7: DUP2
000024d8: DUP6
000024d9: DUP9
000024da: DUP9
000024db: CALL
000024dc: SWAP4
000024dd: POP
000024de: POP
000024df: POP
000024e0: POP
000024e1: ISZERO
000024e2: DUP1
000024e3: ISZERO
000024e4: PUSH2 0x0ebc
000024e7: JUMPI
000024e8: RETURNDATASIZE
000024e9: PUSH1 0x00
000024eb: DUP1
000024ec: RETURNDATACOPY
000024ed: RETURNDATASIZE
000024ee: PUSH1 0x00
000024f0: REVERT
000024f1: JUMPDEST
000024f2: PUSH1 0x00
000024f4: DUP3
000024f5: PUSH2 0x2500
000024f8: JUMPI
000024f9: POP
000024fa: PUSH1 0x00
000024fc: PUSH2 0x1054
000024ff: JUMP
00002500: JUMPDEST
00002501: DUP3
00002502: DUP3
00002503: MUL
00002504: DUP3
00002505: DUP5
00002506: DUP3
00002507: DUP2
00002508: PUSH2 0x250d
0000250b: JUMPI
0000250c: INVALID
0000250d: JUMPDEST
0000250e: DIV
0000250f: EQ
00002510: PUSH2 0x124d
00002513: JUMPI
00002514: PUSH1 0x40
00002516: MLOAD
00002517: PUSH1 0xe5
00002519: PUSH1 0x02
0000251b: EXP
0000251c: PUSH3 0x461bcd
00002520: MUL
00002521: DUP2
00002522: MSTORE
00002523: PUSH1 0x04
00002525: ADD
00002526: DUP1
00002527: DUP1
00002528: PUSH1 0x20
0000252a: ADD
0000252b: DUP3
0000252c: DUP2
0000252d: SUB
0000252e: DUP3
0000252f: MSTORE
00002530: PUSH1 0x21
00002532: DUP2
00002533: MSTORE
00002534: PUSH1 0x20
00002536: ADD
00002537: DUP1
00002538: PUSH2 0x347c
0000253b: PUSH1 0x21
0000253d: SWAP2
0000253e: CODECOPY
0000253f: PUSH1 0x40
00002541: ADD
00002542: SWAP2
00002543: POP
00002544: POP
00002545: PUSH1 0x40
00002547: MLOAD
00002548: DUP1
00002549: SWAP2
0000254a: SUB
0000254b: SWAP1
0000254c: REVERT
0000254d: JUMPDEST
0000254e: PUSH1 0x00
00002550: PUSH2 0x124d
00002553: DUP4
00002554: DUP4
00002555: PUSH1 0x40
00002557: MLOAD
00002558: DUP1
00002559: PUSH1 0x40
0000255b: ADD
0000255c: PUSH1 0x40
0000255e: MSTORE
0000255f: DUP1
00002560: PUSH1 0x1a
00002562: DUP2
00002563: MSTORE
00002564: PUSH1 0x20
00002566: ADD
00002567: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002588: DUP2
00002589: MSTORE
0000258a: POP
0000258b: PUSH2 0x2c01
0000258e: JUMP
0000258f: JUMPDEST
00002590: PUSH1 0x00
00002592: DUP3
00002593: DUP3
00002594: ADD
00002595: DUP4
00002596: DUP2
00002597: LT
00002598: ISZERO
00002599: PUSH2 0x124d
0000259c: JUMPI
0000259d: PUSH1 0x40
0000259f: DUP1
000025a0: MLOAD
000025a1: PUSH1 0xe5
000025a3: PUSH1 0x02
000025a5: EXP
000025a6: PUSH3 0x461bcd
000025aa: MUL
000025ab: DUP2
000025ac: MSTORE
000025ad: PUSH1 0x20
000025af: PUSH1 0x04
000025b1: DUP3
000025b2: ADD
000025b3: MSTORE
000025b4: PUSH1 0x1b
000025b6: PUSH1 0x24
000025b8: DUP3
000025b9: ADD
000025ba: MSTORE
000025bb: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
000025dc: PUSH1 0x44
000025de: DUP3
000025df: ADD
000025e0: MSTORE
000025e1: SWAP1
000025e2: MLOAD
000025e3: SWAP1
000025e4: DUP2
000025e5: SWAP1
000025e6: SUB
000025e7: PUSH1 0x64
000025e9: ADD
000025ea: SWAP1
000025eb: REVERT
000025ec: JUMPDEST
000025ed: PUSH1 0x00
000025ef: PUSH2 0x124d
000025f2: DUP4
000025f3: PUSH1 0x01
000025f5: PUSH1 0xa0
000025f7: PUSH1 0x02
000025f9: EXP
000025fa: SUB
000025fb: DUP5
000025fc: AND
000025fd: PUSH2 0x2c69
00002600: JUMP
00002601: JUMPDEST
00002602: PUSH1 0x00
00002604: PUSH2 0x124d
00002607: DUP4
00002608: PUSH1 0x01
0000260a: PUSH1 0xa0
0000260c: PUSH1 0x02
0000260e: EXP
0000260f: SUB
00002610: DUP5
00002611: AND
00002612: PUSH2 0x2cb3
00002615: JUMP
00002616: JUMPDEST
00002617: PUSH1 0x00
00002619: PUSH2 0x124d
0000261c: DUP4
0000261d: DUP4
0000261e: PUSH1 0x40
00002620: MLOAD
00002621: DUP1
00002622: PUSH1 0x40
00002624: ADD
00002625: PUSH1 0x40
00002627: MSTORE
00002628: DUP1
00002629: PUSH1 0x1e
0000262b: DUP2
0000262c: MSTORE
0000262d: PUSH1 0x20
0000262f: ADD
00002630: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00002651: DUP2
00002652: MSTORE
00002653: POP
00002654: PUSH2 0x295b
00002657: JUMP
00002658: JUMPDEST
00002659: EXTCODESIZE
0000265a: PUSH4 0xffffffff
0000265f: AND
00002660: ISZERO
00002661: ISZERO
00002662: SWAP1
00002663: JUMP
00002664: JUMPDEST
00002665: CALLER
00002666: PUSH1 0x00
00002668: SWAP1
00002669: DUP2
0000266a: MSTORE
0000266b: PUSH1 0x18
0000266d: PUSH1 0x20
0000266f: MSTORE
00002670: PUSH1 0x40
00002672: DUP2
00002673: KECCAK256
00002674: DUP1
00002675: SLOAD
00002676: SWAP2
00002677: SWAP1
00002678: SSTORE
00002679: SWAP1
0000267a: JUMP
0000267b: JUMPDEST
0000267c: PUSH1 0x01
0000267e: PUSH1 0xa0
00002680: PUSH1 0x02
00002682: EXP
00002683: SUB
00002684: DUP3
00002685: AND
00002686: PUSH2 0x26d9
00002689: JUMPI
0000268a: PUSH1 0x40
0000268c: DUP1
0000268d: MLOAD
0000268e: PUSH1 0xe5
00002690: PUSH1 0x02
00002692: EXP
00002693: PUSH3 0x461bcd
00002697: MUL
00002698: DUP2
00002699: MSTORE
0000269a: PUSH1 0x20
0000269c: PUSH1 0x04
0000269e: DUP3
0000269f: ADD
000026a0: MSTORE
000026a1: PUSH1 0x1f
000026a3: PUSH1 0x24
000026a5: DUP3
000026a6: ADD
000026a7: MSTORE
000026a8: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
000026c9: PUSH1 0x44
000026cb: DUP3
000026cc: ADD
000026cd: MSTORE
000026ce: SWAP1
000026cf: MLOAD
000026d0: SWAP1
000026d1: DUP2
000026d2: SWAP1
000026d3: SUB
000026d4: PUSH1 0x64
000026d6: ADD
000026d7: SWAP1
000026d8: REVERT
000026d9: JUMPDEST
000026da: PUSH2 0x26e5
000026dd: PUSH1 0x00
000026df: DUP4
000026e0: DUP4
000026e1: PUSH2 0x2008
000026e4: JUMP
000026e5: JUMPDEST
000026e6: PUSH1 0x07
000026e8: SLOAD
000026e9: PUSH2 0x26f2
000026ec: SWAP1
000026ed: DUP3
000026ee: PUSH2 0x258f
000026f1: JUMP
000026f2: JUMPDEST
000026f3: PUSH1 0x07
000026f5: SSTORE
000026f6: PUSH1 0x01
000026f8: PUSH1 0xa0
000026fa: PUSH1 0x02
000026fc: EXP
000026fd: SUB
000026fe: DUP3
000026ff: AND
00002700: PUSH1 0x00
00002702: SWAP1
00002703: DUP2
00002704: MSTORE
00002705: PUSH1 0x05
00002707: PUSH1 0x20
00002709: MSTORE
0000270a: PUSH1 0x40
0000270c: SWAP1
0000270d: KECCAK256
0000270e: SLOAD
0000270f: PUSH2 0x2718
00002712: SWAP1
00002713: DUP3
00002714: PUSH2 0x258f
00002717: JUMP
00002718: JUMPDEST
00002719: PUSH1 0x01
0000271b: PUSH1 0xa0
0000271d: PUSH1 0x02
0000271f: EXP
00002720: SUB
00002721: DUP4
00002722: AND
00002723: PUSH1 0x00
00002725: DUP2
00002726: DUP2
00002727: MSTORE
00002728: PUSH1 0x05
0000272a: PUSH1 0x20
0000272c: SWAP1
0000272d: DUP2
0000272e: MSTORE
0000272f: PUSH1 0x40
00002731: DUP1
00002732: DUP4
00002733: KECCAK256
00002734: SWAP5
00002735: SWAP1
00002736: SWAP5
00002737: SSTORE
00002738: DUP4
00002739: MLOAD
0000273a: DUP6
0000273b: DUP2
0000273c: MSTORE
0000273d: SWAP4
0000273e: MLOAD
0000273f: SWAP3
00002740: SWAP4
00002741: SWAP2
00002742: SWAP3
00002743: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002764: SWAP3
00002765: DUP2
00002766: SWAP1
00002767: SUB
00002768: SWAP1
00002769: SWAP2
0000276a: ADD
0000276b: SWAP1
0000276c: LOG3
0000276d: POP
0000276e: POP
0000276f: JUMP
00002770: JUMPDEST
00002771: CALLER
00002772: SWAP1
00002773: JUMP
00002774: JUMPDEST
00002775: PUSH1 0x01
00002777: PUSH1 0xa0
00002779: PUSH1 0x02
0000277b: EXP
0000277c: SUB
0000277d: DUP4
0000277e: AND
0000277f: PUSH2 0x27bc
00002782: JUMPI
00002783: PUSH1 0x40
00002785: MLOAD
00002786: PUSH1 0xe5
00002788: PUSH1 0x02
0000278a: EXP
0000278b: PUSH3 0x461bcd
0000278f: MUL
00002790: DUP2
00002791: MSTORE
00002792: PUSH1 0x04
00002794: ADD
00002795: DUP1
00002796: DUP1
00002797: PUSH1 0x20
00002799: ADD
0000279a: DUP3
0000279b: DUP2
0000279c: SUB
0000279d: DUP3
0000279e: MSTORE
0000279f: PUSH1 0x24
000027a1: DUP2
000027a2: MSTORE
000027a3: PUSH1 0x20
000027a5: ADD
000027a6: DUP1
000027a7: PUSH2 0x350b
000027aa: PUSH1 0x24
000027ac: SWAP2
000027ad: CODECOPY
000027ae: PUSH1 0x40
000027b0: ADD
000027b1: SWAP2
000027b2: POP
000027b3: POP
000027b4: PUSH1 0x40
000027b6: MLOAD
000027b7: DUP1
000027b8: SWAP2
000027b9: SUB
000027ba: SWAP1
000027bb: REVERT
000027bc: JUMPDEST
000027bd: PUSH1 0x01
000027bf: PUSH1 0xa0
000027c1: PUSH1 0x02
000027c3: EXP
000027c4: SUB
000027c5: DUP3
000027c6: AND
000027c7: PUSH2 0x2804
000027ca: JUMPI
000027cb: PUSH1 0x40
000027cd: MLOAD
000027ce: PUSH1 0xe5
000027d0: PUSH1 0x02
000027d2: EXP
000027d3: PUSH3 0x461bcd
000027d7: MUL
000027d8: DUP2
000027d9: MSTORE
000027da: PUSH1 0x04
000027dc: ADD
000027dd: DUP1
000027de: DUP1
000027df: PUSH1 0x20
000027e1: ADD
000027e2: DUP3
000027e3: DUP2
000027e4: SUB
000027e5: DUP3
000027e6: MSTORE
000027e7: PUSH1 0x22
000027e9: DUP2
000027ea: MSTORE
000027eb: PUSH1 0x20
000027ed: ADD
000027ee: DUP1
000027ef: PUSH2 0x333f
000027f2: PUSH1 0x22
000027f4: SWAP2
000027f5: CODECOPY
000027f6: PUSH1 0x40
000027f8: ADD
000027f9: SWAP2
000027fa: POP
000027fb: POP
000027fc: PUSH1 0x40
000027fe: MLOAD
000027ff: DUP1
00002800: SWAP2
00002801: SUB
00002802: SWAP1
00002803: REVERT
00002804: JUMPDEST
00002805: PUSH1 0x01
00002807: PUSH1 0xa0
00002809: PUSH1 0x02
0000280b: EXP
0000280c: SUB
0000280d: DUP1
0000280e: DUP5
0000280f: AND
00002810: PUSH1 0x00
00002812: DUP2
00002813: DUP2
00002814: MSTORE
00002815: PUSH1 0x06
00002817: PUSH1 0x20
00002819: SWAP1
0000281a: DUP2
0000281b: MSTORE
0000281c: PUSH1 0x40
0000281e: DUP1
0000281f: DUP4
00002820: KECCAK256
00002821: SWAP5
00002822: DUP8
00002823: AND
00002824: DUP1
00002825: DUP5
00002826: MSTORE
00002827: SWAP5
00002828: DUP3
00002829: MSTORE
0000282a: SWAP2
0000282b: DUP3
0000282c: SWAP1
0000282d: KECCAK256
0000282e: DUP6
0000282f: SWAP1
00002830: SSTORE
00002831: DUP2
00002832: MLOAD
00002833: DUP6
00002834: DUP2
00002835: MSTORE
00002836: SWAP2
00002837: MLOAD
00002838: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00002859: SWAP3
0000285a: DUP2
0000285b: SWAP1
0000285c: SUB
0000285d: SWAP1
0000285e: SWAP2
0000285f: ADD
00002860: SWAP1
00002861: LOG3
00002862: POP
00002863: POP
00002864: POP
00002865: JUMP
00002866: JUMPDEST
00002867: PUSH1 0x00
00002869: PUSH2 0x124a
0000286c: DUP5
0000286d: DUP5
0000286e: PUSH2 0x2878
00002871: DUP6
00002872: DUP8
00002873: DUP10
00002874: PUSH2 0x2ccb
00002877: JUMP
00002878: JUMPDEST
00002879: PUSH2 0x2d53
0000287c: JUMP
0000287d: JUMPDEST
0000287e: PUSH1 0x00
00002880: DUP3
00002881: DUP2
00002882: MSTORE
00002883: PUSH1 0x20
00002885: DUP2
00002886: SWAP1
00002887: MSTORE
00002888: PUSH1 0x40
0000288a: SWAP1
0000288b: KECCAK256
0000288c: PUSH2 0x2895
0000288f: SWAP1
00002890: DUP3
00002891: PUSH2 0x25ec
00002894: JUMP
00002895: JUMPDEST
00002896: ISZERO
00002897: PUSH2 0x12da
0000289a: JUMPI
0000289b: PUSH2 0x28a2
0000289e: PUSH2 0x2770
000028a1: JUMP
000028a2: JUMPDEST
000028a3: PUSH1 0x01
000028a5: PUSH1 0xa0
000028a7: PUSH1 0x02
000028a9: EXP
000028aa: SUB
000028ab: AND
000028ac: DUP2
000028ad: PUSH1 0x01
000028af: PUSH1 0xa0
000028b1: PUSH1 0x02
000028b3: EXP
000028b4: SUB
000028b5: AND
000028b6: DUP4
000028b7: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
000028d8: PUSH1 0x40
000028da: MLOAD
000028db: PUSH1 0x40
000028dd: MLOAD
000028de: DUP1
000028df: SWAP2
000028e0: SUB
000028e1: SWAP1
000028e2: LOG4
000028e3: POP
000028e4: POP
000028e5: JUMP
000028e6: JUMPDEST
000028e7: PUSH1 0x00
000028e9: DUP3
000028ea: DUP2
000028eb: MSTORE
000028ec: PUSH1 0x20
000028ee: DUP2
000028ef: SWAP1
000028f0: MSTORE
000028f1: PUSH1 0x40
000028f3: SWAP1
000028f4: KECCAK256
000028f5: PUSH2 0x28fe
000028f8: SWAP1
000028f9: DUP3
000028fa: PUSH2 0x2dd5
000028fd: JUMP
000028fe: JUMPDEST
000028ff: ISZERO
00002900: PUSH2 0x12da
00002903: JUMPI
00002904: PUSH2 0x290b
00002907: PUSH2 0x2770
0000290a: JUMP
0000290b: JUMPDEST
0000290c: PUSH1 0x01
0000290e: PUSH1 0xa0
00002910: PUSH1 0x02
00002912: EXP
00002913: SUB
00002914: AND
00002915: DUP2
00002916: PUSH1 0x01
00002918: PUSH1 0xa0
0000291a: PUSH1 0x02
0000291c: EXP
0000291d: SUB
0000291e: AND
0000291f: DUP4
00002920: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00002941: PUSH1 0x40
00002943: MLOAD
00002944: PUSH1 0x40
00002946: MLOAD
00002947: DUP1
00002948: SWAP2
00002949: SUB
0000294a: SWAP1
0000294b: LOG4
0000294c: POP
0000294d: POP
0000294e: JUMP
0000294f: JUMPDEST
00002950: PUSH1 0x00
00002952: PUSH2 0x124d
00002955: DUP4
00002956: DUP4
00002957: PUSH2 0x2dea
0000295a: JUMP
0000295b: JUMPDEST
0000295c: PUSH1 0x00
0000295e: DUP2
0000295f: DUP5
00002960: DUP5
00002961: GT
00002962: ISZERO
00002963: PUSH2 0x29ed
00002966: JUMPI
00002967: PUSH1 0x40
00002969: MLOAD
0000296a: PUSH1 0xe5
0000296c: PUSH1 0x02
0000296e: EXP
0000296f: PUSH3 0x461bcd
00002973: MUL
00002974: DUP2
00002975: MSTORE
00002976: PUSH1 0x04
00002978: ADD
00002979: DUP1
0000297a: DUP1
0000297b: PUSH1 0x20
0000297d: ADD
0000297e: DUP3
0000297f: DUP2
00002980: SUB
00002981: DUP3
00002982: MSTORE
00002983: DUP4
00002984: DUP2
00002985: DUP2
00002986: MLOAD
00002987: DUP2
00002988: MSTORE
00002989: PUSH1 0x20
0000298b: ADD
0000298c: SWAP2
0000298d: POP
0000298e: DUP1
0000298f: MLOAD
00002990: SWAP1
00002991: PUSH1 0x20
00002993: ADD
00002994: SWAP1
00002995: DUP1
00002996: DUP4
00002997: DUP4
00002998: PUSH1 0x00
0000299a: JUMPDEST
0000299b: DUP4
0000299c: DUP2
0000299d: LT
0000299e: ISZERO
0000299f: PUSH2 0x29b2
000029a2: JUMPI
000029a3: DUP2
000029a4: DUP2
000029a5: ADD
000029a6: MLOAD
000029a7: DUP4
000029a8: DUP3
000029a9: ADD
000029aa: MSTORE
000029ab: PUSH1 0x20
000029ad: ADD
000029ae: PUSH2 0x299a
000029b1: JUMP
000029b2: JUMPDEST
000029b3: POP
000029b4: POP
000029b5: POP
000029b6: POP
000029b7: SWAP1
000029b8: POP
000029b9: SWAP1
000029ba: DUP2
000029bb: ADD
000029bc: SWAP1
000029bd: PUSH1 0x1f
000029bf: AND
000029c0: DUP1
000029c1: ISZERO
000029c2: PUSH2 0x29df
000029c5: JUMPI
000029c6: DUP1
000029c7: DUP3
000029c8: SUB
000029c9: DUP1
000029ca: MLOAD
000029cb: PUSH1 0x01
000029cd: DUP4
000029ce: PUSH1 0x20
000029d0: SUB
000029d1: PUSH2 0x0100
000029d4: EXP
000029d5: SUB
000029d6: NOT
000029d7: AND
000029d8: DUP2
000029d9: MSTORE
000029da: PUSH1 0x20
000029dc: ADD
000029dd: SWAP2
000029de: POP
000029df: JUMPDEST
000029e0: POP
000029e1: SWAP3
000029e2: POP
000029e3: POP
000029e4: POP
000029e5: PUSH1 0x40
000029e7: MLOAD
000029e8: DUP1
000029e9: SWAP2
000029ea: SUB
000029eb: SWAP1
000029ec: REVERT
000029ed: JUMPDEST
000029ee: POP
000029ef: POP
000029f0: POP
000029f1: SWAP1
000029f2: SUB
000029f3: SWAP1
000029f4: JUMP
000029f5: JUMPDEST
000029f6: PUSH1 0x00
000029f8: PUSH2 0x124d
000029fb: DUP4
000029fc: PUSH2 0x2a06
000029ff: DUP5
00002a00: DUP7
00002a01: CALLER
00002a02: PUSH2 0x2ccb
00002a05: JUMP
00002a06: JUMPDEST
00002a07: PUSH2 0x2e51
00002a0a: JUMP
00002a0b: JUMPDEST
00002a0c: PUSH2 0x2a13
00002a0f: PUSH2 0x3247
00002a12: JUMP
00002a13: JUMPDEST
00002a14: POP
00002a15: PUSH1 0x01
00002a17: PUSH1 0xa0
00002a19: PUSH1 0x02
00002a1b: EXP
00002a1c: SUB
00002a1d: DUP2
00002a1e: AND
00002a1f: PUSH1 0x00
00002a21: SWAP1
00002a22: DUP2
00002a23: MSTORE
00002a24: PUSH1 0x0f
00002a26: PUSH1 0x20
00002a28: SWAP1
00002a29: DUP2
00002a2a: MSTORE
00002a2b: PUSH1 0x40
00002a2d: SWAP2
00002a2e: DUP3
00002a2f: SWAP1
00002a30: KECCAK256
00002a31: DUP3
00002a32: MLOAD
00002a33: PUSH1 0x80
00002a35: DUP2
00002a36: ADD
00002a37: DUP5
00002a38: MSTORE
00002a39: DUP2
00002a3a: SLOAD
00002a3b: DUP2
00002a3c: MSTORE
00002a3d: PUSH1 0x01
00002a3f: DUP3
00002a40: ADD
00002a41: SLOAD
00002a42: SWAP3
00002a43: DUP2
00002a44: ADD
00002a45: DUP4
00002a46: SWAP1
00002a47: MSTORE
00002a48: PUSH1 0x02
00002a4a: DUP3
00002a4b: ADD
00002a4c: SLOAD
00002a4d: SWAP4
00002a4e: DUP2
00002a4f: ADD
00002a50: SWAP4
00002a51: SWAP1
00002a52: SWAP4
00002a53: MSTORE
00002a54: PUSH1 0x03
00002a56: ADD
00002a57: SLOAD
00002a58: PUSH1 0x60
00002a5a: DUP4
00002a5b: ADD
00002a5c: MSTORE
00002a5d: ISZERO
00002a5e: DUP1
00002a5f: ISZERO
00002a60: SWAP1
00002a61: PUSH2 0x2a72
00002a64: JUMPI
00002a65: POP
00002a66: DUP1
00002a67: PUSH1 0x40
00002a69: ADD
00002a6a: MLOAD
00002a6b: DUP2
00002a6c: PUSH1 0x20
00002a6e: ADD
00002a6f: MLOAD
00002a70: LT
00002a71: ISZERO
00002a72: JUMPDEST
00002a73: PUSH2 0x2ab0
00002a76: JUMPI
00002a77: PUSH1 0x40
00002a79: MLOAD
00002a7a: PUSH1 0xe5
00002a7c: PUSH1 0x02
00002a7e: EXP
00002a7f: PUSH3 0x461bcd
00002a83: MUL
00002a84: DUP2
00002a85: MSTORE
00002a86: PUSH1 0x04
00002a88: ADD
00002a89: DUP1
00002a8a: DUP1
00002a8b: PUSH1 0x20
00002a8d: ADD
00002a8e: DUP3
00002a8f: DUP2
00002a90: SUB
00002a91: DUP3
00002a92: MSTORE
00002a93: PUSH1 0x39
00002a95: DUP2
00002a96: MSTORE
00002a97: PUSH1 0x20
00002a99: ADD
00002a9a: DUP1
00002a9b: PUSH2 0x3292
00002a9e: PUSH1 0x39
00002aa0: SWAP2
00002aa1: CODECOPY
00002aa2: PUSH1 0x40
00002aa4: ADD
00002aa5: SWAP2
00002aa6: POP
00002aa7: POP
00002aa8: PUSH1 0x40
00002aaa: MLOAD
00002aab: DUP1
00002aac: SWAP2
00002aad: SUB
00002aae: SWAP1
00002aaf: REVERT
00002ab0: JUMPDEST
00002ab1: PUSH1 0x40
00002ab3: DUP2
00002ab4: ADD
00002ab5: MLOAD
00002ab6: PUSH1 0x20
00002ab8: DUP3
00002ab9: ADD
00002aba: MLOAD
00002abb: PUSH2 0x2ac3
00002abe: SWAP2
00002abf: PUSH2 0x2616
00002ac2: JUMP
00002ac3: JUMPDEST
00002ac4: PUSH1 0x20
00002ac6: DUP1
00002ac7: DUP4
00002ac8: ADD
00002ac9: SWAP2
00002aca: DUP3
00002acb: MSTORE
00002acc: PUSH1 0x01
00002ace: PUSH1 0xa0
00002ad0: PUSH1 0x02
00002ad2: EXP
00002ad3: SUB
00002ad4: DUP5
00002ad5: AND
00002ad6: PUSH1 0x00
00002ad8: SWAP1
00002ad9: DUP2
00002ada: MSTORE
00002adb: PUSH1 0x0f
00002add: SWAP1
00002ade: SWAP2
00002adf: MSTORE
00002ae0: PUSH1 0x40
00002ae2: SWAP1
00002ae3: DUP2
00002ae4: SWAP1
00002ae5: KECCAK256
00002ae6: DUP4
00002ae7: MLOAD
00002ae8: DUP2
00002ae9: SSTORE
00002aea: SWAP2
00002aeb: MLOAD
00002aec: PUSH1 0x01
00002aee: DUP4
00002aef: ADD
00002af0: SSTORE
00002af1: DUP3
00002af2: ADD
00002af3: MLOAD
00002af4: PUSH1 0x02
00002af6: DUP3
00002af7: ADD
00002af8: SSTORE
00002af9: PUSH1 0x60
00002afb: DUP3
00002afc: ADD
00002afd: MLOAD
00002afe: PUSH1 0x03
00002b00: SWAP1
00002b01: SWAP2
00002b02: ADD
00002b03: SSTORE
00002b04: PUSH2 0x12da
00002b07: DUP3
00002b08: PUSH2 0x2b23
00002b0b: PUSH2 0x2b12
00002b0e: PUSH2 0x12de
00002b11: JUMP
00002b12: JUMPDEST
00002b13: PUSH1 0x40
00002b15: DUP6
00002b16: ADD
00002b17: MLOAD
00002b18: SWAP1
00002b19: PUSH1 0xff
00002b1b: AND
00002b1c: PUSH1 0x0a
00002b1e: EXP
00002b1f: PUSH2 0x24f1
00002b22: JUMP
00002b23: JUMPDEST
00002b24: PUSH2 0x267b
00002b27: JUMP
00002b28: JUMPDEST
00002b29: PUSH1 0x00
00002b2b: PUSH2 0x1054
00002b2e: DUP3
00002b2f: PUSH2 0x2e65
00002b32: JUMP
00002b33: JUMPDEST
00002b34: PUSH1 0x01
00002b36: SLOAD
00002b37: PUSH2 0x2b48
00002b3a: SWAP1
00002b3b: PUSH1 0x01
00002b3d: PUSH1 0xa0
00002b3f: PUSH1 0x02
00002b41: EXP
00002b42: SUB
00002b43: AND
00002b44: PUSH2 0x2658
00002b47: JUMP
00002b48: JUMPDEST
00002b49: ISZERO
00002b4a: PUSH2 0x2b87
00002b4d: JUMPI
00002b4e: PUSH1 0x40
00002b50: MLOAD
00002b51: PUSH1 0xe5
00002b53: PUSH1 0x02
00002b55: EXP
00002b56: PUSH3 0x461bcd
00002b5a: MUL
00002b5b: DUP2
00002b5c: MSTORE
00002b5d: PUSH1 0x04
00002b5f: ADD
00002b60: DUP1
00002b61: DUP1
00002b62: PUSH1 0x20
00002b64: ADD
00002b65: DUP3
00002b66: DUP2
00002b67: SUB
00002b68: DUP3
00002b69: MSTORE
00002b6a: PUSH1 0x37
00002b6c: DUP2
00002b6d: MSTORE
00002b6e: PUSH1 0x20
00002b70: ADD
00002b71: DUP1
00002b72: PUSH2 0x352f
00002b75: PUSH1 0x37
00002b77: SWAP2
00002b78: CODECOPY
00002b79: PUSH1 0x40
00002b7b: ADD
00002b7c: SWAP2
00002b7d: POP
00002b7e: POP
00002b7f: PUSH1 0x40
00002b81: MLOAD
00002b82: DUP1
00002b83: SWAP2
00002b84: SUB
00002b85: SWAP1
00002b86: REVERT
00002b87: JUMPDEST
00002b88: PUSH1 0x40
00002b8a: DUP1
00002b8b: MLOAD
00002b8c: PUSH1 0x80
00002b8e: DUP2
00002b8f: ADD
00002b90: DUP3
00002b91: MSTORE
00002b92: DUP4
00002b93: DUP2
00002b94: MSTORE
00002b95: PUSH1 0x20
00002b97: DUP2
00002b98: ADD
00002b99: DUP6
00002b9a: SWAP1
00002b9b: MSTORE
00002b9c: SWAP1
00002b9d: DUP2
00002b9e: ADD
00002b9f: PUSH2 0x2ba9
00002ba2: DUP6
00002ba3: PUSH1 0x0a
00002ba5: PUSH2 0x254d
00002ba8: JUMP
00002ba9: JUMPDEST
00002baa: DUP2
00002bab: MSTORE
00002bac: TIMESTAMP
00002bad: PUSH1 0x20
00002baf: SWAP2
00002bb0: DUP3
00002bb1: ADD
00002bb2: MSTORE
00002bb3: PUSH1 0x01
00002bb5: PUSH1 0xa0
00002bb7: PUSH1 0x02
00002bb9: EXP
00002bba: SUB
00002bbb: DUP7
00002bbc: AND
00002bbd: PUSH1 0x00
00002bbf: SWAP1
00002bc0: DUP2
00002bc1: MSTORE
00002bc2: PUSH1 0x0f
00002bc4: DUP3
00002bc5: MSTORE
00002bc6: PUSH1 0x40
00002bc8: SWAP1
00002bc9: DUP2
00002bca: SWAP1
00002bcb: KECCAK256
00002bcc: DUP4
00002bcd: MLOAD
00002bce: DUP2
00002bcf: SSTORE
00002bd0: SWAP2
00002bd1: DUP4
00002bd2: ADD
00002bd3: MLOAD
00002bd4: PUSH1 0x01
00002bd6: DUP4
00002bd7: ADD
00002bd8: SSTORE
00002bd9: DUP3
00002bda: ADD
00002bdb: MLOAD
00002bdc: PUSH1 0x02
00002bde: DUP3
00002bdf: ADD
00002be0: SSTORE
00002be1: PUSH1 0x60
00002be3: SWAP1
00002be4: SWAP2
00002be5: ADD
00002be6: MLOAD
00002be7: PUSH1 0x03
00002be9: SWAP1
00002bea: SWAP2
00002beb: ADD
00002bec: SSTORE
00002bed: DUP1
00002bee: ISZERO
00002bef: PUSH2 0x2bfb
00002bf2: JUMPI
00002bf3: PUSH2 0x2bfb
00002bf6: DUP5
00002bf7: PUSH2 0x2a0b
00002bfa: JUMP
00002bfb: JUMPDEST
00002bfc: POP
00002bfd: POP
00002bfe: POP
00002bff: POP
00002c00: JUMP
00002c01: JUMPDEST
00002c02: PUSH1 0x00
00002c04: DUP2
00002c05: DUP4
00002c06: PUSH2 0x2c53
00002c09: JUMPI
00002c0a: PUSH1 0x40
00002c0c: MLOAD
00002c0d: PUSH1 0xe5
00002c0f: PUSH1 0x02
00002c11: EXP
00002c12: PUSH3 0x461bcd
00002c16: MUL
00002c17: DUP2
00002c18: MSTORE
00002c19: PUSH1 0x20
00002c1b: PUSH1 0x04
00002c1d: DUP3
00002c1e: ADD
00002c1f: DUP2
00002c20: DUP2
00002c21: MSTORE
00002c22: DUP4
00002c23: MLOAD
00002c24: PUSH1 0x24
00002c26: DUP5
00002c27: ADD
00002c28: MSTORE
00002c29: DUP4
00002c2a: MLOAD
00002c2b: SWAP1
00002c2c: SWAP3
00002c2d: DUP4
00002c2e: SWAP3
00002c2f: PUSH1 0x44
00002c31: SWAP1
00002c32: SWAP2
00002c33: ADD
00002c34: SWAP2
00002c35: SWAP1
00002c36: DUP6
00002c37: ADD
00002c38: SWAP1
00002c39: DUP1
00002c3a: DUP4
00002c3b: DUP4
00002c3c: PUSH1 0x00
00002c3e: DUP4
00002c3f: ISZERO
00002c40: PUSH2 0x29b2
00002c43: JUMPI
00002c44: DUP2
00002c45: DUP2
00002c46: ADD
00002c47: MLOAD
00002c48: DUP4
00002c49: DUP3
00002c4a: ADD
00002c4b: MSTORE
00002c4c: PUSH1 0x20
00002c4e: ADD
00002c4f: PUSH2 0x299a
00002c52: JUMP
00002c53: JUMPDEST
00002c54: POP
00002c55: PUSH1 0x00
00002c57: DUP4
00002c58: DUP6
00002c59: DUP2
00002c5a: PUSH2 0x2c5f
00002c5d: JUMPI
00002c5e: INVALID
00002c5f: JUMPDEST
00002c60: DIV
00002c61: SWAP6
00002c62: SWAP5
00002c63: POP
00002c64: POP
00002c65: POP
00002c66: POP
00002c67: POP
00002c68: JUMP
00002c69: JUMPDEST
00002c6a: PUSH1 0x00
00002c6c: PUSH2 0x2c75
00002c6f: DUP4
00002c70: DUP4
00002c71: PUSH2 0x2cb3
00002c74: JUMP
00002c75: JUMPDEST
00002c76: PUSH2 0x2cab
00002c79: JUMPI
00002c7a: POP
00002c7b: DUP2
00002c7c: SLOAD
00002c7d: PUSH1 0x01
00002c7f: DUP2
00002c80: DUP2
00002c81: ADD
00002c82: DUP5
00002c83: SSTORE
00002c84: PUSH1 0x00
00002c86: DUP5
00002c87: DUP2
00002c88: MSTORE
00002c89: PUSH1 0x20
00002c8b: DUP1
00002c8c: DUP3
00002c8d: KECCAK256
00002c8e: SWAP1
00002c8f: SWAP4
00002c90: ADD
00002c91: DUP5
00002c92: SWAP1
00002c93: SSTORE
00002c94: DUP5
00002c95: SLOAD
00002c96: DUP5
00002c97: DUP3
00002c98: MSTORE
00002c99: DUP3
00002c9a: DUP7
00002c9b: ADD
00002c9c: SWAP1
00002c9d: SWAP4
00002c9e: MSTORE
00002c9f: PUSH1 0x40
00002ca1: SWAP1
00002ca2: KECCAK256
00002ca3: SWAP2
00002ca4: SWAP1
00002ca5: SWAP2
00002ca6: SSTORE
00002ca7: PUSH2 0x1054
00002caa: JUMP
00002cab: JUMPDEST
00002cac: POP
00002cad: PUSH1 0x00
00002caf: PUSH2 0x1054
00002cb2: JUMP
00002cb3: JUMPDEST
00002cb4: PUSH1 0x00
00002cb6: SWAP1
00002cb7: DUP2
00002cb8: MSTORE
00002cb9: PUSH1 0x01
00002cbb: SWAP2
00002cbc: SWAP1
00002cbd: SWAP2
00002cbe: ADD
00002cbf: PUSH1 0x20
00002cc1: MSTORE
00002cc2: PUSH1 0x40
00002cc4: SWAP1
00002cc5: KECCAK256
00002cc6: SLOAD
00002cc7: ISZERO
00002cc8: ISZERO
00002cc9: SWAP1
00002cca: JUMP
00002ccb: JUMPDEST
00002ccc: PUSH1 0x00
00002cce: PUSH2 0x2cd7
00002cd1: DUP3
00002cd2: DUP5
00002cd3: PUSH2 0x2e69
00002cd6: JUMP
00002cd7: JUMPDEST
00002cd8: ISZERO
00002cd9: PUSH2 0x2ce3
00002cdc: JUMPI
00002cdd: POP
00002cde: DUP3
00002cdf: PUSH2 0x124d
00002ce2: JUMP
00002ce3: JUMPDEST
00002ce4: PUSH1 0x00
00002ce6: PUSH2 0x2cf0
00002ce9: DUP6
00002cea: DUP6
00002ceb: DUP6
00002cec: PUSH2 0x200d
00002cef: JUMP
00002cf0: JUMPDEST
00002cf1: SWAP1
00002cf2: POP
00002cf3: DUP1
00002cf4: ISZERO
00002cf5: PUSH2 0x2d40
00002cf8: JUMPI
00002cf9: PUSH2 0x2d02
00002cfc: DUP4
00002cfd: DUP3
00002cfe: PUSH2 0x2f1f
00002d01: JUMP
00002d02: JUMPDEST
00002d03: PUSH2 0x2d25
00002d06: PUSH20 0x8f951903c9360345b4e1b536c7f5ae8f88a64e79
00002d1b: PUSH2 0x2b23
00002d1e: DUP4
00002d1f: PUSH1 0x19
00002d21: PUSH2 0x254d
00002d24: JUMP
00002d25: JUMPDEST
00002d26: PUSH1 0x03
00002d28: SLOAD
00002d29: PUSH2 0x2d40
00002d2c: SWAP1
00002d2d: PUSH1 0x01
00002d2f: PUSH1 0xa0
00002d31: PUSH1 0x02
00002d33: EXP
00002d34: SUB
00002d35: AND
00002d36: PUSH2 0x2b23
00002d39: DUP4
00002d3a: PUSH1 0x19
00002d3c: PUSH2 0x254d
00002d3f: JUMP
00002d40: JUMPDEST
00002d41: PUSH2 0x2d4a
00002d44: DUP6
00002d45: DUP3
00002d46: PUSH2 0x2616
00002d49: JUMP
00002d4a: JUMPDEST
00002d4b: SWAP6
00002d4c: SWAP5
00002d4d: POP
00002d4e: POP
00002d4f: POP
00002d50: POP
00002d51: POP
00002d52: JUMP
00002d53: JUMPDEST
00002d54: PUSH1 0x00
00002d56: PUSH2 0x2d60
00002d59: DUP5
00002d5a: DUP5
00002d5b: DUP5
00002d5c: PUSH2 0x301e
00002d5f: JUMP
00002d60: JUMPDEST
00002d61: PUSH2 0x2dcb
00002d64: DUP5
00002d65: PUSH2 0x2d6c
00002d68: PUSH2 0x2770
00002d6b: JUMP
00002d6c: JUMPDEST
00002d6d: PUSH2 0x13bd
00002d70: DUP6
00002d71: PUSH1 0x40
00002d73: MLOAD
00002d74: DUP1
00002d75: PUSH1 0x60
00002d77: ADD
00002d78: PUSH1 0x40
00002d7a: MSTORE
00002d7b: DUP1
00002d7c: PUSH1 0x28
00002d7e: DUP2
00002d7f: MSTORE
00002d80: PUSH1 0x20
00002d82: ADD
00002d83: PUSH2 0x349d
00002d86: PUSH1 0x28
00002d88: SWAP2
00002d89: CODECOPY
00002d8a: PUSH1 0x01
00002d8c: PUSH1 0xa0
00002d8e: PUSH1 0x02
00002d90: EXP
00002d91: SUB
00002d92: DUP11
00002d93: AND
00002d94: PUSH1 0x00
00002d96: SWAP1
00002d97: DUP2
00002d98: MSTORE
00002d99: PUSH1 0x06
00002d9b: PUSH1 0x20
00002d9d: MSTORE
00002d9e: PUSH1 0x40
00002da0: DUP2
00002da1: KECCAK256
00002da2: SWAP1
00002da3: PUSH2 0x2daa
00002da6: PUSH2 0x2770
00002da9: JUMP
00002daa: JUMPDEST
00002dab: PUSH1 0x01
00002dad: PUSH1 0xa0
00002daf: PUSH1 0x02
00002db1: EXP
00002db2: SUB
00002db3: AND
00002db4: DUP2
00002db5: MSTORE
00002db6: PUSH1 0x20
00002db8: DUP2
00002db9: ADD
00002dba: SWAP2
00002dbb: SWAP1
00002dbc: SWAP2
00002dbd: MSTORE
00002dbe: PUSH1 0x40
00002dc0: ADD
00002dc1: PUSH1 0x00
00002dc3: KECCAK256
00002dc4: SLOAD
00002dc5: SWAP2
00002dc6: SWAP1
00002dc7: PUSH2 0x295b
00002dca: JUMP
00002dcb: JUMPDEST
00002dcc: POP
00002dcd: PUSH1 0x01
00002dcf: SWAP4
00002dd0: SWAP3
00002dd1: POP
00002dd2: POP
00002dd3: POP
00002dd4: JUMP
00002dd5: JUMPDEST
00002dd6: PUSH1 0x00
00002dd8: PUSH2 0x124d
00002ddb: DUP4
00002ddc: PUSH1 0x01
00002dde: PUSH1 0xa0
00002de0: PUSH1 0x02
00002de2: EXP
00002de3: SUB
00002de4: DUP5
00002de5: AND
00002de6: PUSH2 0x3181
00002de9: JUMP
00002dea: JUMPDEST
00002deb: DUP2
00002dec: SLOAD
00002ded: PUSH1 0x00
00002def: SWAP1
00002df0: DUP3
00002df1: LT
00002df2: PUSH2 0x2e2f
00002df5: JUMPI
00002df6: PUSH1 0x40
00002df8: MLOAD
00002df9: PUSH1 0xe5
00002dfb: PUSH1 0x02
00002dfd: EXP
00002dfe: PUSH3 0x461bcd
00002e02: MUL
00002e03: DUP2
00002e04: MSTORE
00002e05: PUSH1 0x04
00002e07: ADD
00002e08: DUP1
00002e09: DUP1
00002e0a: PUSH1 0x20
00002e0c: ADD
00002e0d: DUP3
00002e0e: DUP2
00002e0f: SUB
00002e10: DUP3
00002e11: MSTORE
00002e12: PUSH1 0x22
00002e14: DUP2
00002e15: MSTORE
00002e16: PUSH1 0x20
00002e18: ADD
00002e19: DUP1
00002e1a: PUSH2 0x3270
00002e1d: PUSH1 0x22
00002e1f: SWAP2
00002e20: CODECOPY
00002e21: PUSH1 0x40
00002e23: ADD
00002e24: SWAP2
00002e25: POP
00002e26: POP
00002e27: PUSH1 0x40
00002e29: MLOAD
00002e2a: DUP1
00002e2b: SWAP2
00002e2c: SUB
00002e2d: SWAP1
00002e2e: REVERT
00002e2f: JUMPDEST
00002e30: DUP3
00002e31: PUSH1 0x00
00002e33: ADD
00002e34: DUP3
00002e35: DUP2
00002e36: SLOAD
00002e37: DUP2
00002e38: LT
00002e39: PUSH2 0x2e3e
00002e3c: JUMPI
00002e3d: INVALID
00002e3e: JUMPDEST
00002e3f: SWAP1
00002e40: PUSH1 0x00
00002e42: MSTORE
00002e43: PUSH1 0x20
00002e45: PUSH1 0x00
00002e47: KECCAK256
00002e48: ADD
00002e49: SLOAD
00002e4a: SWAP1
00002e4b: POP
00002e4c: SWAP3
00002e4d: SWAP2
00002e4e: POP
00002e4f: POP
00002e50: JUMP
00002e51: JUMPDEST
00002e52: PUSH1 0x00
00002e54: PUSH2 0x1050
00002e57: PUSH2 0x2e5e
00002e5a: PUSH2 0x2770
00002e5d: JUMP
00002e5e: JUMPDEST
00002e5f: DUP5
00002e60: DUP5
00002e61: PUSH2 0x301e
00002e64: JUMP
00002e65: JUMPDEST
00002e66: SLOAD
00002e67: SWAP1
00002e68: JUMP
00002e69: JUMPDEST
00002e6a: PUSH1 0x00
00002e6c: PUSH2 0x2e83
00002e6f: PUSH1 0x00
00002e71: DUP1
00002e72: MLOAD
00002e73: PUSH1 0x20
00002e75: PUSH2 0x33a7
00002e78: DUP4
00002e79: CODECOPY
00002e7a: DUP2
00002e7b: MLOAD
00002e7c: SWAP2
00002e7d: MSTORE
00002e7e: DUP5
00002e7f: PUSH2 0x1b5f
00002e82: JUMP
00002e83: JUMPDEST
00002e84: DUP1
00002e85: PUSH2 0x2ea1
00002e88: JUMPI
00002e89: POP
00002e8a: PUSH2 0x2ea1
00002e8d: PUSH1 0x00
00002e8f: DUP1
00002e90: MLOAD
00002e91: PUSH1 0x20
00002e93: PUSH2 0x33a7
00002e96: DUP4
00002e97: CODECOPY
00002e98: DUP2
00002e99: MLOAD
00002e9a: SWAP2
00002e9b: MSTORE
00002e9c: DUP4
00002e9d: PUSH2 0x1b5f
00002ea0: JUMP
00002ea1: JUMPDEST
00002ea2: DUP1
00002ea3: PUSH2 0x2ebf
00002ea6: JUMPI
00002ea7: POP
00002ea8: PUSH2 0x2ebf
00002eab: PUSH1 0x00
00002ead: DUP1
00002eae: MLOAD
00002eaf: PUSH1 0x20
00002eb1: PUSH2 0x33a7
00002eb4: DUP4
00002eb5: CODECOPY
00002eb6: DUP2
00002eb7: MLOAD
00002eb8: SWAP2
00002eb9: MSTORE
00002eba: CALLER
00002ebb: PUSH2 0x1b5f
00002ebe: JUMP
00002ebf: JUMPDEST
00002ec0: DUP1
00002ec1: PUSH2 0x2eef
00002ec4: JUMPI
00002ec5: POP
00002ec6: PUSH2 0x2eef
00002ec9: PUSH32 0xfb1d7521264a126cafd9b576286638679b3b1108a05b47da7156d35bfcb2bb83
00002eea: DUP4
00002eeb: PUSH2 0x1b5f
00002eee: JUMP
00002eef: JUMPDEST
00002ef0: DUP1
00002ef1: PUSH2 0x124d
00002ef4: JUMPI
00002ef5: POP
00002ef6: PUSH2 0x124d
00002ef9: PUSH32 0x83e1446b95f1c1d5ef26abb4f97d0668a474fa1461910124bfb15edcb7ae5ed2
00002f1a: DUP5
00002f1b: PUSH2 0x1b5f
00002f1e: JUMP
00002f1f: JUMPDEST
00002f20: PUSH1 0x01
00002f22: PUSH1 0xa0
00002f24: PUSH1 0x02
00002f26: EXP
00002f27: SUB
00002f28: DUP3
00002f29: AND
00002f2a: PUSH2 0x2f67
00002f2d: JUMPI
00002f2e: PUSH1 0x40
00002f30: MLOAD
00002f31: PUSH1 0xe5
00002f33: PUSH1 0x02
00002f35: EXP
00002f36: PUSH3 0x461bcd
00002f3a: MUL
00002f3b: DUP2
00002f3c: MSTORE
00002f3d: PUSH1 0x04
00002f3f: ADD
00002f40: DUP1
00002f41: DUP1
00002f42: PUSH1 0x20
00002f44: ADD
00002f45: DUP3
00002f46: DUP2
00002f47: SUB
00002f48: DUP3
00002f49: MSTORE
00002f4a: PUSH1 0x21
00002f4c: DUP2
00002f4d: MSTORE
00002f4e: PUSH1 0x20
00002f50: ADD
00002f51: DUP1
00002f52: PUSH2 0x34c5
00002f55: PUSH1 0x21
00002f57: SWAP2
00002f58: CODECOPY
00002f59: PUSH1 0x40
00002f5b: ADD
00002f5c: SWAP2
00002f5d: POP
00002f5e: POP
00002f5f: PUSH1 0x40
00002f61: MLOAD
00002f62: DUP1
00002f63: SWAP2
00002f64: SUB
00002f65: SWAP1
00002f66: REVERT
00002f67: JUMPDEST
00002f68: PUSH2 0x2f73
00002f6b: DUP3
00002f6c: PUSH1 0x00
00002f6e: DUP4
00002f6f: PUSH2 0x2008
00002f72: JUMP
00002f73: JUMPDEST
00002f74: PUSH2 0x2fb0
00002f77: DUP2
00002f78: PUSH1 0x40
00002f7a: MLOAD
00002f7b: DUP1
00002f7c: PUSH1 0x60
00002f7e: ADD
00002f7f: PUSH1 0x40
00002f81: MSTORE
00002f82: DUP1
00002f83: PUSH1 0x22
00002f85: DUP2
00002f86: MSTORE
00002f87: PUSH1 0x20
00002f89: ADD
00002f8a: PUSH2 0x331d
00002f8d: PUSH1 0x22
00002f8f: SWAP2
00002f90: CODECOPY
00002f91: PUSH1 0x01
00002f93: PUSH1 0xa0
00002f95: PUSH1 0x02
00002f97: EXP
00002f98: SUB
00002f99: DUP6
00002f9a: AND
00002f9b: PUSH1 0x00
00002f9d: SWAP1
00002f9e: DUP2
00002f9f: MSTORE
00002fa0: PUSH1 0x05
00002fa2: PUSH1 0x20
00002fa4: MSTORE
00002fa5: PUSH1 0x40
00002fa7: SWAP1
00002fa8: KECCAK256
00002fa9: SLOAD
00002faa: SWAP2
00002fab: SWAP1
00002fac: PUSH2 0x295b
00002faf: JUMP
00002fb0: JUMPDEST
00002fb1: PUSH1 0x01
00002fb3: PUSH1 0xa0
00002fb5: PUSH1 0x02
00002fb7: EXP
00002fb8: SUB
00002fb9: DUP4
00002fba: AND
00002fbb: PUSH1 0x00
00002fbd: SWAP1
00002fbe: DUP2
00002fbf: MSTORE
00002fc0: PUSH1 0x05
00002fc2: PUSH1 0x20
00002fc4: MSTORE
00002fc5: PUSH1 0x40
00002fc7: SWAP1
00002fc8: KECCAK256
00002fc9: SSTORE
00002fca: PUSH1 0x07
00002fcc: SLOAD
00002fcd: PUSH2 0x2fd6
00002fd0: SWAP1
00002fd1: DUP3
00002fd2: PUSH2 0x2616
00002fd5: JUMP
00002fd6: JUMPDEST
00002fd7: PUSH1 0x07
00002fd9: SSTORE
00002fda: PUSH1 0x40
00002fdc: DUP1
00002fdd: MLOAD
00002fde: DUP3
00002fdf: DUP2
00002fe0: MSTORE
00002fe1: SWAP1
00002fe2: MLOAD
00002fe3: PUSH1 0x00
00002fe5: SWAP2
00002fe6: PUSH1 0x01
00002fe8: PUSH1 0xa0
00002fea: PUSH1 0x02
00002fec: EXP
00002fed: SUB
00002fee: DUP6
00002fef: AND
00002ff0: SWAP2
00002ff1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003012: SWAP2
00003013: DUP2
00003014: SWAP1
00003015: SUB
00003016: PUSH1 0x20
00003018: ADD
00003019: SWAP1
0000301a: LOG3
0000301b: POP
0000301c: POP
0000301d: JUMP
0000301e: JUMPDEST
0000301f: PUSH1 0x01
00003021: PUSH1 0xa0
00003023: PUSH1 0x02
00003025: EXP
00003026: SUB
00003027: DUP4
00003028: AND
00003029: PUSH2 0x3066
0000302c: JUMPI
0000302d: PUSH1 0x40
0000302f: MLOAD
00003030: PUSH1 0xe5
00003032: PUSH1 0x02
00003034: EXP
00003035: PUSH3 0x461bcd
00003039: MUL
0000303a: DUP2
0000303b: MSTORE
0000303c: PUSH1 0x04
0000303e: ADD
0000303f: DUP1
00003040: DUP1
00003041: PUSH1 0x20
00003043: ADD
00003044: DUP3
00003045: DUP2
00003046: SUB
00003047: DUP3
00003048: MSTORE
00003049: PUSH1 0x25
0000304b: DUP2
0000304c: MSTORE
0000304d: PUSH1 0x20
0000304f: ADD
00003050: DUP1
00003051: PUSH2 0x34e6
00003054: PUSH1 0x25
00003056: SWAP2
00003057: CODECOPY
00003058: PUSH1 0x40
0000305a: ADD
0000305b: SWAP2
0000305c: POP
0000305d: POP
0000305e: PUSH1 0x40
00003060: MLOAD
00003061: DUP1
00003062: SWAP2
00003063: SUB
00003064: SWAP1
00003065: REVERT
00003066: JUMPDEST
00003067: PUSH1 0x01
00003069: PUSH1 0xa0
0000306b: PUSH1 0x02
0000306d: EXP
0000306e: SUB
0000306f: DUP3
00003070: AND
00003071: PUSH2 0x30ae
00003074: JUMPI
00003075: PUSH1 0x40
00003077: MLOAD
00003078: PUSH1 0xe5
0000307a: PUSH1 0x02
0000307c: EXP
0000307d: PUSH3 0x461bcd
00003081: MUL
00003082: DUP2
00003083: MSTORE
00003084: PUSH1 0x04
00003086: ADD
00003087: DUP1
00003088: DUP1
00003089: PUSH1 0x20
0000308b: ADD
0000308c: DUP3
0000308d: DUP2
0000308e: SUB
0000308f: DUP3
00003090: MSTORE
00003091: PUSH1 0x23
00003093: DUP2
00003094: MSTORE
00003095: PUSH1 0x20
00003097: ADD
00003098: DUP1
00003099: PUSH2 0x32cb
0000309c: PUSH1 0x23
0000309e: SWAP2
0000309f: CODECOPY
000030a0: PUSH1 0x40
000030a2: ADD
000030a3: SWAP2
000030a4: POP
000030a5: POP
000030a6: PUSH1 0x40
000030a8: MLOAD
000030a9: DUP1
000030aa: SWAP2
000030ab: SUB
000030ac: SWAP1
000030ad: REVERT
000030ae: JUMPDEST
000030af: PUSH2 0x30b9
000030b2: DUP4
000030b3: DUP4
000030b4: DUP4
000030b5: PUSH2 0x2008
000030b8: JUMP
000030b9: JUMPDEST
000030ba: PUSH2 0x30f6
000030bd: DUP2
000030be: PUSH1 0x40
000030c0: MLOAD
000030c1: DUP1
000030c2: PUSH1 0x60
000030c4: ADD
000030c5: PUSH1 0x40
000030c7: MSTORE
000030c8: DUP1
000030c9: PUSH1 0x26
000030cb: DUP2
000030cc: MSTORE
000030cd: PUSH1 0x20
000030cf: ADD
000030d0: PUSH2 0x3381
000030d3: PUSH1 0x26
000030d5: SWAP2
000030d6: CODECOPY
000030d7: PUSH1 0x01
000030d9: PUSH1 0xa0
000030db: PUSH1 0x02
000030dd: EXP
000030de: SUB
000030df: DUP7
000030e0: AND
000030e1: PUSH1 0x00
000030e3: SWAP1
000030e4: DUP2
000030e5: MSTORE
000030e6: PUSH1 0x05
000030e8: PUSH1 0x20
000030ea: MSTORE
000030eb: PUSH1 0x40
000030ed: SWAP1
000030ee: KECCAK256
000030ef: SLOAD
000030f0: SWAP2
000030f1: SWAP1
000030f2: PUSH2 0x295b
000030f5: JUMP
000030f6: JUMPDEST
000030f7: PUSH1 0x01
000030f9: PUSH1 0xa0
000030fb: PUSH1 0x02
000030fd: EXP
000030fe: SUB
000030ff: DUP1
00003100: DUP6
00003101: AND
00003102: PUSH1 0x00
00003104: SWAP1
00003105: DUP2
00003106: MSTORE
00003107: PUSH1 0x05
00003109: PUSH1 0x20
0000310b: MSTORE
0000310c: PUSH1 0x40
0000310e: DUP1
0000310f: DUP3
00003110: KECCAK256
00003111: SWAP4
00003112: SWAP1
00003113: SWAP4
00003114: SSTORE
00003115: SWAP1
00003116: DUP5
00003117: AND
00003118: DUP2
00003119: MSTORE
0000311a: KECCAK256
0000311b: SLOAD
0000311c: PUSH2 0x3125
0000311f: SWAP1
00003120: DUP3
00003121: PUSH2 0x258f
00003124: JUMP
00003125: JUMPDEST
00003126: PUSH1 0x01
00003128: PUSH1 0xa0
0000312a: PUSH1 0x02
0000312c: EXP
0000312d: SUB
0000312e: DUP1
0000312f: DUP5
00003130: AND
00003131: PUSH1 0x00
00003133: DUP2
00003134: DUP2
00003135: MSTORE
00003136: PUSH1 0x05
00003138: PUSH1 0x20
0000313a: SWAP1
0000313b: DUP2
0000313c: MSTORE
0000313d: PUSH1 0x40
0000313f: SWAP2
00003140: DUP3
00003141: SWAP1
00003142: KECCAK256
00003143: SWAP5
00003144: SWAP1
00003145: SWAP5
00003146: SSTORE
00003147: DUP1
00003148: MLOAD
00003149: DUP6
0000314a: DUP2
0000314b: MSTORE
0000314c: SWAP1
0000314d: MLOAD
0000314e: SWAP2
0000314f: SWAP4
00003150: SWAP3
00003151: DUP8
00003152: AND
00003153: SWAP3
00003154: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003175: SWAP3
00003176: SWAP2
00003177: DUP3
00003178: SWAP1
00003179: SUB
0000317a: ADD
0000317b: SWAP1
0000317c: LOG3
0000317d: POP
0000317e: POP
0000317f: POP
00003180: JUMP
00003181: JUMPDEST
00003182: PUSH1 0x00
00003184: DUP2
00003185: DUP2
00003186: MSTORE
00003187: PUSH1 0x01
00003189: DUP4
0000318a: ADD
0000318b: PUSH1 0x20
0000318d: MSTORE
0000318e: PUSH1 0x40
00003190: DUP2
00003191: KECCAK256
00003192: SLOAD
00003193: DUP1
00003194: ISZERO
00003195: PUSH2 0x323d
00003198: JUMPI
00003199: DUP4
0000319a: SLOAD
0000319b: PUSH1 0x00
0000319d: NOT
0000319e: DUP1
0000319f: DUP4
000031a0: ADD
000031a1: SWAP2
000031a2: SWAP1
000031a3: DUP2
000031a4: ADD
000031a5: SWAP1
000031a6: PUSH1 0x00
000031a8: SWAP1
000031a9: DUP8
000031aa: SWAP1
000031ab: DUP4
000031ac: SWAP1
000031ad: DUP2
000031ae: LT
000031af: PUSH2 0x31b4
000031b2: JUMPI
000031b3: INVALID
000031b4: JUMPDEST
000031b5: SWAP1
000031b6: PUSH1 0x00
000031b8: MSTORE
000031b9: PUSH1 0x20
000031bb: PUSH1 0x00
000031bd: KECCAK256
000031be: ADD
000031bf: SLOAD
000031c0: SWAP1
000031c1: POP
000031c2: DUP1
000031c3: DUP8
000031c4: PUSH1 0x00
000031c6: ADD
000031c7: DUP5
000031c8: DUP2
000031c9: SLOAD
000031ca: DUP2
000031cb: LT
000031cc: PUSH2 0x31d1
000031cf: JUMPI
000031d0: INVALID
000031d1: JUMPDEST
000031d2: PUSH1 0x00
000031d4: SWAP2
000031d5: DUP3
000031d6: MSTORE
000031d7: PUSH1 0x20
000031d9: DUP1
000031da: DUP4
000031db: KECCAK256
000031dc: SWAP1
000031dd: SWAP2
000031de: ADD
000031df: SWAP3
000031e0: SWAP1
000031e1: SWAP3
000031e2: SSTORE
000031e3: DUP3
000031e4: DUP2
000031e5: MSTORE
000031e6: PUSH1 0x01
000031e8: DUP10
000031e9: DUP2
000031ea: ADD
000031eb: SWAP1
000031ec: SWAP3
000031ed: MSTORE
000031ee: PUSH1 0x40
000031f0: SWAP1
000031f1: KECCAK256
000031f2: SWAP1
000031f3: DUP5
000031f4: ADD
000031f5: SWAP1
000031f6: SSTORE
000031f7: DUP7
000031f8: SLOAD
000031f9: DUP8
000031fa: SWAP1
000031fb: DUP1
000031fc: PUSH2 0x3201
000031ff: JUMPI
00003200: INVALID
00003201: JUMPDEST
00003202: PUSH1 0x01
00003204: SWAP1
00003205: SUB
00003206: DUP2
00003207: DUP2
00003208: SWAP1
00003209: PUSH1 0x00
0000320b: MSTORE
0000320c: PUSH1 0x20
0000320e: PUSH1 0x00
00003210: KECCAK256
00003211: ADD
00003212: PUSH1 0x00
00003214: SWAP1
00003215: SSTORE
00003216: SWAP1
00003217: SSTORE
00003218: DUP7
00003219: PUSH1 0x01
0000321b: ADD
0000321c: PUSH1 0x00
0000321e: DUP8
0000321f: DUP2
00003220: MSTORE
00003221: PUSH1 0x20
00003223: ADD
00003224: SWAP1
00003225: DUP2
00003226: MSTORE
00003227: PUSH1 0x20
00003229: ADD
0000322a: PUSH1 0x00
0000322c: KECCAK256
0000322d: PUSH1 0x00
0000322f: SWAP1
00003230: SSTORE
00003231: PUSH1 0x01
00003233: SWAP5
00003234: POP
00003235: POP
00003236: POP
00003237: POP
00003238: POP
00003239: PUSH2 0x1054
0000323c: JUMP
0000323d: JUMPDEST
0000323e: PUSH1 0x00
00003240: SWAP2
00003241: POP
00003242: POP
00003243: PUSH2 0x1054
00003246: JUMP
00003247: JUMPDEST
00003248: PUSH1 0x40
0000324a: MLOAD
0000324b: DUP1
0000324c: PUSH1 0x80
0000324e: ADD
0000324f: PUSH1 0x40
00003251: MSTORE
00003252: DUP1
00003253: PUSH1 0x00
00003255: DUP2
00003256: MSTORE
00003257: PUSH1 0x20
00003259: ADD
0000325a: PUSH1 0x00
0000325c: DUP2
0000325d: MSTORE
0000325e: PUSH1 0x20
00003260: ADD
00003261: PUSH1 0x00
00003263: DUP2
00003264: MSTORE
00003265: PUSH1 0x20
00003267: ADD
00003268: PUSH1 0x00
0000326a: DUP2
0000326b: MSTORE
0000326c: POP
0000326d: SWAP1
0000326e: JUMP
0000326f: INVALID
00003270: GASLIMIT
00003271: PUSH15 0x756d657261626c655365743a20696e
00003281: PUSH5 0x6578206f75
00003287: PUSH21 0x206f6620626f756e6473456e7469726520616c6c6f
0000329d: PUSH24 0x616e636520616c726561647920636c61696d65642c206f72
000032b6: KECCAK256
000032b7: PUSH15 0x6f20696e697469616c20616c6c6f77
000032c7: PUSH2 0x6e63
000032ca: PUSH6 0x45524332303a
000032d1: KECCAK256
000032d2: PUSH21 0x72616e7366657220746f20746865207a65726f2061
000032e8: PUSH5 0x6472657373
000032ee: COINBASE
000032ef: PUSH4 0x63657373
000032f4: NUMBER
000032f5: PUSH16 0x6e74726f6c3a2073656e646572206d75
00003306: PUSH20 0x7420626520616e2061646d696e20746f20677261
0000331b: PUSH15 0x7445524332303a206275726e20616d
0000332b: PUSH16 0x756e7420657863656564732062616c61
0000333c: PUSH15 0x636545524332303a20617070726f76
0000334c: PUSH6 0x20746f207468
00003353: PUSH6 0x207a65726f20
0000335a: PUSH2 0x6464
0000335d: PUSH19 0x65737343616c6c6572206973206e6f74206465
00003371: PUSH23 0x656c6f70657200000000000000000045524332303a2074
00003389: PUSH19 0x616e7366657220616d6f756e74206578636565
0000339d: PUSH5 0x732062616c
000033a3: PUSH2 0x6e63
000033a6: PUSH6 0xdc72ed553f25
000033ad: DIFFICULTY
000033ae: UNKNOWN(0xC3)
000033af: DIFFICULTY
000033b0: PUSH6 0xaf23b847953e
000033b7: INVALID
000033b8: UNKNOWN(0xB8)
000033b9: SGT
000033ba: TIMESTAMP
000033bb: DUP2
000033bc: PUSH3 0xd767f9
000033c0: UNKNOWN(0xBA)
000033c1: PUSH0
000033c2: BLOCKHASH
000033c3: SGT
000033c4: UNKNOWN(0xBE)
000033c5: PUSH8 0x604504b9dfd7400a
000033ce: ISZERO
000033cf: UNKNOWN(0x22)
000033d0: DELEGATECALL
000033d1: SWAP11
000033d2: DUP12
000033d3: BLOBBASEFEE
000033d4: LT
000033d5: SDIV
000033d6: MSTORE
000033d7: UNKNOWN(0xDA)
000033d8: SWAP3
000033d9: CALLDATASIZE
000033da: DUP5
000033db: SWAP6
000033dc: DUP2
000033dd: REVERT
000033de: MSIZE
000033df: UNKNOWN(0xB7)
000033e0: CALLDATASIZE
000033e1: RETURNDATACOPY
000033e2: UNKNOWN(0xB4)
000033e3: DUP13
000033e4: PUSH11 0x474c596f752063616e2774
000033f0: KECCAK256
000033f1: PUSH17 0x6572666f726d207468697320616374696f
00003403: PUSH15 0x20756e74696c2074686520556e6973
00003413: PUSH24 0x6170206c697374696e67416c6c6f77616e636520616c7265
0000342c: PUSH2 0x6479
0000342f: KECCAK256
00003430: PUSH4 0x6c61696d
00003435: PUSH6 0x6420666f7220
0000343c: PUSH21 0x6869732074696d6520706572696f64416363657373
00003452: NUMBER
00003453: PUSH16 0x6e74726f6c3a2073656e646572206d75
00003464: PUSH20 0x7420626520616e2061646d696e20746f20726576
00003479: PUSH16 0x6b65536166654d6174683a206d756c74
0000348a: PUSH10 0x706c69636174696f6e20
00003495: PUSH16 0x766572666c6f7745524332303a207472
000034a6: PUSH2 0x6e73
000034a9: PUSH7 0x657220616d6f75
000034b1: PUSH15 0x74206578636565647320616c6c6f77
000034c1: PUSH2 0x6e63
000034c4: PUSH6 0x45524332303a
000034cb: KECCAK256
000034cc: PUSH3 0x75726e
000034d0: KECCAK256
000034d1: PUSH7 0x726f6d20746865
000034d9: KECCAK256
000034da: PUSH27 0x65726f206164647265737345524332303a207472616e7366657220
000034f6: PUSH7 0x726f6d20746865
000034fe: KECCAK256
000034ff: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066
0000351b: PUSH19 0x6f6d20746865207a65726f2061646472657373
0000352f: MSIZE
00003530: PUSH16 0x752063616e277420706572666f726d20
00003541: PUSH21 0x68697320616374696f6e2061667465722074686520
00003557: SSTORE
00003558: PUSH15 0x6973776170206c697374696e674552
00003568: NUMBER
00003569: ORIGIN
0000356a: ADDRESS
0000356b: GASPRICE
0000356c: KECCAK256
0000356d: PUSH5 0x6563726561
00003573: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a
00003588: PUSH6 0x726f41636365
0000358f: PUSH20 0x73436f6e74726f6c3a2063616e206f6e6c792072
000035a4: PUSH6 0x6e6f756e6365
000035ab: KECCAK256
000035ac: PUSH19 0x6f6c657320666f722073656c66a26469706673
000035c0: PC
000035c1: UNKNOWN(0x22)
000035c2: SLT
000035c3: KECCAK256
000035c4: MUL
000035c5: INVALID
000035c6: SWAP12
000035c7: SWAP8
000035c8: SWAP10
000035c9: UNKNOWN(0xF6)
000035ca: UNKNOWN(0x25)
000035cb: LT
000035cc: TLOAD
000035cd: UNKNOWN(0xB4)
000035ce: UNKNOWN(0xA8)
000035cf: ADD
000035d0: UNKNOWN(0xAF)
000035d1: ADDRESS
000035d2: UNKNOWN(0x4D)
000035d3: UNKNOWN(0xAA)
000035d4: UNKNOWN(0xB9)
000035d5: SWAP2
000035d6: DIFFICULTY
000035d7: PUSH12 0xebfd889ec90e5a05b3c3a7f5
000035e4: PUSH5 0x736f6c6343
000035ea: STOP
000035eb: MOD
000035ec: UNKNOWN(0x0C)
000035ed: STOP
000035ee: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high upgradeability detector Untrusted DELEGATECALL target reachable 55 no no
view
trace_id: 0x00a9ae9fdbc3dbc34f5c34223ac04dd919fad6b8d6822d203251dd414b783784
validation_json
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0x00a9ae9fdbc3dbc34f5c34223ac04dd919fad6b8d6822d203251dd414b783784",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xd547741f",
            "selector": "0xd547741f",
            "calldata_variants": [
                "0xd547741f",
                "0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf80f5dd5",
            "selector": "0xf80f5dd5",
            "calldata_variants": [
                "0xf80f5dd5",
                "0xf80f5dd50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfdea8e0b",
            "selector": "0xfdea8e0b",
            "calldata_variants": [
                "0xfdea8e0b",
                "0xfdea8e0b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc7dab436",
            "selector": "0xc7dab436",
            "calldata_variants": [
                "0xc7dab436",
                "0xc7dab4360000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xca15c873",
            "selector": "0xca15c873",
            "calldata_variants": [
                "0xca15c873",
                "0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd001fb8e",
            "selector": "0xd001fb8e",
            "calldata_variants": [
                "0xd001fb8e",
                "0xd001fb8e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0170ecc",
            "selector": "0xd0170ecc",
            "calldata_variants": [
                "0xd0170ecc",
                "0xd0170ecc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 13264,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [
        {
            "pc": 13673,
            "type": "tx_origin_used"
        }
    ],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xd547741f",
            "selector": "0xd547741f",
            "calldata_variants": [
                "0xd547741f",
                "0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf80f5dd5",
            "selector": "0xf80f5dd5",
            "calldata_variants": [
                "0xf80f5dd5",
                "0xf80f5dd50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfdea8e0b",
            "selector": "0xfdea8e0b",
            "calldata_variants": [
                "0xfdea8e0b",
                "0xfdea8e0b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc7dab436",
            "selector": "0xc7dab436",
            "calldata_variants": [
                "0xc7dab436",
                "0xc7dab4360000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xca15c873",
            "selector": "0xca15c873",
            "calldata_variants": [
                "0xca15c873",
                "0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd001fb8e",
            "selector": "0xd001fb8e",
            "calldata_variants": [
                "0xd001fb8e",
                "0xd001fb8e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0170ecc",
            "selector": "0xd0170ecc",
            "calldata_variants": [
                "0xd0170ecc",
                "0xd0170ecc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 13673,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x5257285d67cfbbc1ab7b1033ae2826533d7154a57fb539622bd5140218fe4f05
call_targets: 0x22ad3fab750fb53118e4d6aa85343056a736394b
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5257285d67cfbbc1ab7b1033ae2826533d7154a57fb539622bd5140218fe4f05",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x22ad3fab750fb53118e4d6aa85343056a736394b"
    ],
    "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": "0xd547741f",
            "selector": "0xd547741f",
            "calldata_variants": [
                "0xd547741f",
                "0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf80f5dd5",
            "selector": "0xf80f5dd5",
            "calldata_variants": [
                "0xf80f5dd5",
                "0xf80f5dd50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfdea8e0b",
            "selector": "0xfdea8e0b",
            "calldata_variants": [
                "0xfdea8e0b",
                "0xfdea8e0b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc7dab436",
            "selector": "0xc7dab436",
            "calldata_variants": [
                "0xc7dab436",
                "0xc7dab4360000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xca15c873",
            "selector": "0xca15c873",
            "calldata_variants": [
                "0xca15c873",
                "0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd001fb8e",
            "selector": "0xd001fb8e",
            "calldata_variants": [
                "0xd001fb8e",
                "0xd001fb8e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0170ecc",
            "selector": "0xd0170ecc",
            "calldata_variants": [
                "0xd0170ecc",
                "0xd0170ecc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 6567,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9435,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 13673,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x5257285d67cfbbc1ab7b1033ae2826533d7154a57fb539622bd5140218fe4f05
call_targets: 0x22ad3fab750fb53118e4d6aa85343056a736394b
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5257285d67cfbbc1ab7b1033ae2826533d7154a57fb539622bd5140218fe4f05",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x22ad3fab750fb53118e4d6aa85343056a736394b"
    ],
    "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": "0xd547741f",
            "selector": "0xd547741f",
            "calldata_variants": [
                "0xd547741f",
                "0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf80f5dd5",
            "selector": "0xf80f5dd5",
            "calldata_variants": [
                "0xf80f5dd5",
                "0xf80f5dd50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfdea8e0b",
            "selector": "0xfdea8e0b",
            "calldata_variants": [
                "0xfdea8e0b",
                "0xfdea8e0b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc7dab436",
            "selector": "0xc7dab436",
            "calldata_variants": [
                "0xc7dab436",
                "0xc7dab4360000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xca15c873",
            "selector": "0xca15c873",
            "calldata_variants": [
                "0xca15c873",
                "0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd001fb8e",
            "selector": "0xd001fb8e",
            "calldata_variants": [
                "0xd001fb8e",
                "0xd001fb8e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0170ecc",
            "selector": "0xd0170ecc",
            "calldata_variants": [
                "0xd0170ecc",
                "0xd0170ecc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 6567,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9435,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 13673,
            "type": "tx_origin_used"
        }
    ]
}