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

Analysis Run

019b477e-d812-7257-8f98-e0e41a868b47

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
29015 artifact.fetch complete 1 / 3 3 months ago
29016 tool.cast_disasm complete 1 / 3 3 months ago
72480 analysis.bundle complete 1 / 3 1 week ago
72481 capability.graph complete 1 / 3 1 week ago
72482 detector.run complete 1 / 3 1 week ago
72483 validation.fork complete 1 / 3 1 week 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
4
Total opcodes
8022
Flags
delegatecall_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x02cc
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x6fcfff45
00000018: GT
00000019: PUSH2 0x017b
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xa217fddf
00000023: GT
00000024: PUSH2 0x00d1
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xd5391393
0000002e: GT
0000002f: PUSH2 0x0087
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xe63ab1e9
00000039: GT
0000003a: PUSH2 0x0062
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xe63ab1e9
00000044: EQ
00000045: PUSH2 0x0918
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xf1127ed8
0000004f: EQ
00000050: PUSH2 0x094b
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xf72c0d8b
0000005a: EQ
0000005b: PUSH2 0x0996
0000005e: JUMPI
0000005f: PUSH0
00000060: DUP1
00000061: REVERT
00000062: JUMPDEST
00000063: DUP1
00000064: PUSH4 0xd5391393
00000069: EQ
0000006a: PUSH2 0x0863
0000006d: JUMPI
0000006e: DUP1
0000006f: PUSH4 0xd547741f
00000074: EQ
00000075: PUSH2 0x0896
00000078: JUMPI
00000079: DUP1
0000007a: PUSH4 0xdd62ed3e
0000007f: EQ
00000080: PUSH2 0x08b5
00000083: JUMPI
00000084: PUSH0
00000085: DUP1
00000086: REVERT
00000087: JUMPDEST
00000088: DUP1
00000089: PUSH4 0xad3cb1cc
0000008e: GT
0000008f: PUSH2 0x00b7
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xad3cb1cc
00000099: EQ
0000009a: PUSH2 0x07dd
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0xc3cda520
000000a4: EQ
000000a5: PUSH2 0x0825
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0xd505accf
000000af: EQ
000000b0: PUSH2 0x0844
000000b3: JUMPI
000000b4: PUSH0
000000b5: DUP1
000000b6: REVERT
000000b7: JUMPDEST
000000b8: DUP1
000000b9: PUSH4 0xa217fddf
000000be: EQ
000000bf: PUSH2 0x07ab
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0xa9059cbb
000000c9: EQ
000000ca: PUSH2 0x07be
000000cd: JUMPI
000000ce: PUSH0
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x84b0196e
000000d8: GT
000000d9: PUSH2 0x0131
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x91ddadf4
000000e3: GT
000000e4: PUSH2 0x010c
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x91ddadf4
000000ee: EQ
000000ef: PUSH2 0x0756
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x95d89b41
000000f9: EQ
000000fa: PUSH2 0x0778
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x9ab24eb0
00000104: EQ
00000105: PUSH2 0x078c
00000108: JUMPI
00000109: PUSH0
0000010a: DUP1
0000010b: REVERT
0000010c: JUMPDEST
0000010d: DUP1
0000010e: PUSH4 0x84b0196e
00000113: EQ
00000114: PUSH2 0x06ad
00000117: JUMPI
00000118: DUP1
00000119: PUSH4 0x8e539e8c
0000011e: EQ
0000011f: PUSH2 0x06d4
00000122: JUMPI
00000123: DUP1
00000124: PUSH4 0x91d14854
00000129: EQ
0000012a: PUSH2 0x06f3
0000012d: JUMPI
0000012e: PUSH0
0000012f: DUP1
00000130: REVERT
00000131: JUMPDEST
00000132: DUP1
00000133: PUSH4 0x79cc6790
00000138: GT
00000139: PUSH2 0x0161
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x79cc6790
00000143: EQ
00000144: PUSH2 0x065b
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0x7ecebe00
0000014e: EQ
0000014f: PUSH2 0x067a
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0x8456cb59
00000159: EQ
0000015a: PUSH2 0x0699
0000015d: JUMPI
0000015e: PUSH0
0000015f: DUP1
00000160: REVERT
00000161: JUMPDEST
00000162: DUP1
00000163: PUSH4 0x6fcfff45
00000168: EQ
00000169: PUSH2 0x0608
0000016c: JUMPI
0000016d: DUP1
0000016e: PUSH4 0x70a08231
00000173: EQ
00000174: PUSH2 0x063c
00000177: JUMPI
00000178: PUSH0
00000179: DUP1
0000017a: REVERT
0000017b: JUMPDEST
0000017c: DUP1
0000017d: PUSH4 0x3a46b1a8
00000182: GT
00000183: PUSH2 0x0230
00000186: JUMPI
00000187: DUP1
00000188: PUSH4 0x4bf5d7e9
0000018d: GT
0000018e: PUSH2 0x01e6
00000191: JUMPI
00000192: DUP1
00000193: PUSH4 0x587cde1e
00000198: GT
00000199: PUSH2 0x01c1
0000019c: JUMPI
0000019d: DUP1
0000019e: PUSH4 0x587cde1e
000001a3: EQ
000001a4: PUSH2 0x0558
000001a7: JUMPI
000001a8: DUP1
000001a9: PUSH4 0x5c19a95c
000001ae: EQ
000001af: PUSH2 0x05b3
000001b2: JUMPI
000001b3: DUP1
000001b4: PUSH4 0x5c975abb
000001b9: EQ
000001ba: PUSH2 0x05d2
000001bd: JUMPI
000001be: PUSH0
000001bf: DUP1
000001c0: REVERT
000001c1: JUMPDEST
000001c2: DUP1
000001c3: PUSH4 0x4bf5d7e9
000001c8: EQ
000001c9: PUSH2 0x04ec
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x4f1ef286
000001d3: EQ
000001d4: PUSH2 0x0531
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x52d1902d
000001de: EQ
000001df: PUSH2 0x0544
000001e2: JUMPI
000001e3: PUSH0
000001e4: DUP1
000001e5: REVERT
000001e6: JUMPDEST
000001e7: DUP1
000001e8: PUSH4 0x400ada75
000001ed: GT
000001ee: PUSH2 0x0216
000001f1: JUMPI
000001f2: DUP1
000001f3: PUSH4 0x400ada75
000001f8: EQ
000001f9: PUSH2 0x048f
000001fc: JUMPI
000001fd: DUP1
000001fe: PUSH4 0x40c10f19
00000203: EQ
00000204: PUSH2 0x04ae
00000207: JUMPI
00000208: DUP1
00000209: PUSH4 0x42966c68
0000020e: EQ
0000020f: PUSH2 0x04cd
00000212: JUMPI
00000213: PUSH0
00000214: DUP1
00000215: REVERT
00000216: JUMPDEST
00000217: DUP1
00000218: PUSH4 0x3a46b1a8
0000021d: EQ
0000021e: PUSH2 0x045c
00000221: JUMPI
00000222: DUP1
00000223: PUSH4 0x3f4ba83a
00000228: EQ
00000229: PUSH2 0x047b
0000022c: JUMPI
0000022d: PUSH0
0000022e: DUP1
0000022f: REVERT
00000230: JUMPDEST
00000231: DUP1
00000232: PUSH4 0x248a9ca3
00000237: GT
00000238: PUSH2 0x0285
0000023b: JUMPI
0000023c: DUP1
0000023d: PUSH4 0x313ce567
00000242: GT
00000243: PUSH2 0x026b
00000246: JUMPI
00000247: DUP1
00000248: PUSH4 0x313ce567
0000024d: EQ
0000024e: PUSH2 0x040e
00000251: JUMPI
00000252: DUP1
00000253: PUSH4 0x3644e515
00000258: EQ
00000259: PUSH2 0x0429
0000025c: JUMPI
0000025d: DUP1
0000025e: PUSH4 0x36568abe
00000263: EQ
00000264: PUSH2 0x043d
00000267: JUMPI
00000268: PUSH0
00000269: DUP1
0000026a: REVERT
0000026b: JUMPDEST
0000026c: DUP1
0000026d: PUSH4 0x248a9ca3
00000272: EQ
00000273: PUSH2 0x03a0
00000276: JUMPI
00000277: DUP1
00000278: PUSH4 0x2f2ff15d
0000027d: EQ
0000027e: PUSH2 0x03ed
00000281: JUMPI
00000282: PUSH0
00000283: DUP1
00000284: REVERT
00000285: JUMPDEST
00000286: DUP1
00000287: PUSH4 0x095ea7b3
0000028c: GT
0000028d: PUSH2 0x02b5
00000290: JUMPI
00000291: DUP1
00000292: PUSH4 0x095ea7b3
00000297: EQ
00000298: PUSH2 0x0325
0000029b: JUMPI
0000029c: DUP1
0000029d: PUSH4 0x18160ddd
000002a2: EQ
000002a3: PUSH2 0x0344
000002a6: JUMPI
000002a7: DUP1
000002a8: PUSH4 0x23b872dd
000002ad: EQ
000002ae: PUSH2 0x0381
000002b1: JUMPI
000002b2: PUSH0
000002b3: DUP1
000002b4: REVERT
000002b5: JUMPDEST
000002b6: DUP1
000002b7: PUSH4 0x01ffc9a7
000002bc: EQ
000002bd: PUSH2 0x02d0
000002c0: JUMPI
000002c1: DUP1
000002c2: PUSH4 0x06fdde03
000002c7: EQ
000002c8: PUSH2 0x0304
000002cb: JUMPI
000002cc: JUMPDEST
000002cd: PUSH0
000002ce: DUP1
000002cf: REVERT
000002d0: JUMPDEST
000002d1: CALLVALUE
000002d2: DUP1
000002d3: ISZERO
000002d4: PUSH2 0x02db
000002d7: JUMPI
000002d8: PUSH0
000002d9: DUP1
000002da: REVERT
000002db: JUMPDEST
000002dc: POP
000002dd: PUSH2 0x02ef
000002e0: PUSH2 0x02ea
000002e3: CALLDATASIZE
000002e4: PUSH1 0x04
000002e6: PUSH2 0x3216
000002e9: JUMP
000002ea: JUMPDEST
000002eb: PUSH2 0x09c9
000002ee: JUMP
000002ef: JUMPDEST
000002f0: PUSH1 0x40
000002f2: MLOAD
000002f3: SWAP1
000002f4: ISZERO
000002f5: ISZERO
000002f6: DUP2
000002f7: MSTORE
000002f8: PUSH1 0x20
000002fa: ADD
000002fb: JUMPDEST
000002fc: PUSH1 0x40
000002fe: MLOAD
000002ff: DUP1
00000300: SWAP2
00000301: SUB
00000302: SWAP1
00000303: RETURN
00000304: JUMPDEST
00000305: CALLVALUE
00000306: DUP1
00000307: ISZERO
00000308: PUSH2 0x030f
0000030b: JUMPI
0000030c: PUSH0
0000030d: DUP1
0000030e: REVERT
0000030f: JUMPDEST
00000310: POP
00000311: PUSH2 0x0318
00000314: PUSH2 0x0a61
00000317: JUMP
00000318: JUMPDEST
00000319: PUSH1 0x40
0000031b: MLOAD
0000031c: PUSH2 0x02fb
0000031f: SWAP2
00000320: SWAP1
00000321: PUSH2 0x32a2
00000324: JUMP
00000325: JUMPDEST
00000326: CALLVALUE
00000327: DUP1
00000328: ISZERO
00000329: PUSH2 0x0330
0000032c: JUMPI
0000032d: PUSH0
0000032e: DUP1
0000032f: REVERT
00000330: JUMPDEST
00000331: POP
00000332: PUSH2 0x02ef
00000335: PUSH2 0x033f
00000338: CALLDATASIZE
00000339: PUSH1 0x04
0000033b: PUSH2 0x32cf
0000033e: JUMP
0000033f: JUMPDEST
00000340: PUSH2 0x0b19
00000343: JUMP
00000344: JUMPDEST
00000345: CALLVALUE
00000346: DUP1
00000347: ISZERO
00000348: PUSH2 0x034f
0000034b: JUMPI
0000034c: PUSH0
0000034d: DUP1
0000034e: REVERT
0000034f: JUMPDEST
00000350: POP
00000351: PUSH32 0x52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace02
00000372: SLOAD
00000373: JUMPDEST
00000374: PUSH1 0x40
00000376: MLOAD
00000377: SWAP1
00000378: DUP2
00000379: MSTORE
0000037a: PUSH1 0x20
0000037c: ADD
0000037d: PUSH2 0x02fb
00000380: JUMP
00000381: JUMPDEST
00000382: CALLVALUE
00000383: DUP1
00000384: ISZERO
00000385: PUSH2 0x038c
00000388: JUMPI
00000389: PUSH0
0000038a: DUP1
0000038b: REVERT
0000038c: JUMPDEST
0000038d: POP
0000038e: PUSH2 0x02ef
00000391: PUSH2 0x039b
00000394: CALLDATASIZE
00000395: PUSH1 0x04
00000397: PUSH2 0x32f7
0000039a: JUMP
0000039b: JUMPDEST
0000039c: PUSH2 0x0b30
0000039f: JUMP
000003a0: JUMPDEST
000003a1: CALLVALUE
000003a2: DUP1
000003a3: ISZERO
000003a4: PUSH2 0x03ab
000003a7: JUMPI
000003a8: PUSH0
000003a9: DUP1
000003aa: REVERT
000003ab: JUMPDEST
000003ac: POP
000003ad: PUSH2 0x0373
000003b0: PUSH2 0x03ba
000003b3: CALLDATASIZE
000003b4: PUSH1 0x04
000003b6: PUSH2 0x3330
000003b9: JUMP
000003ba: JUMPDEST
000003bb: PUSH0
000003bc: SWAP1
000003bd: DUP2
000003be: MSTORE
000003bf: PUSH32 0x02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800
000003e0: PUSH1 0x20
000003e2: MSTORE
000003e3: PUSH1 0x40
000003e5: SWAP1
000003e6: KECCAK256
000003e7: PUSH1 0x01
000003e9: ADD
000003ea: SLOAD
000003eb: SWAP1
000003ec: JUMP
000003ed: JUMPDEST
000003ee: CALLVALUE
000003ef: DUP1
000003f0: ISZERO
000003f1: PUSH2 0x03f8
000003f4: JUMPI
000003f5: PUSH0
000003f6: DUP1
000003f7: REVERT
000003f8: JUMPDEST
000003f9: POP
000003fa: PUSH2 0x040c
000003fd: PUSH2 0x0407
00000400: CALLDATASIZE
00000401: PUSH1 0x04
00000403: PUSH2 0x3347
00000406: JUMP
00000407: JUMPDEST
00000408: PUSH2 0x0b55
0000040b: JUMP
0000040c: JUMPDEST
0000040d: STOP
0000040e: JUMPDEST
0000040f: CALLVALUE
00000410: DUP1
00000411: ISZERO
00000412: PUSH2 0x0419
00000415: JUMPI
00000416: PUSH0
00000417: DUP1
00000418: REVERT
00000419: JUMPDEST
0000041a: POP
0000041b: PUSH1 0x40
0000041d: MLOAD
0000041e: PUSH1 0x12
00000420: DUP2
00000421: MSTORE
00000422: PUSH1 0x20
00000424: ADD
00000425: PUSH2 0x02fb
00000428: JUMP
00000429: JUMPDEST
0000042a: CALLVALUE
0000042b: DUP1
0000042c: ISZERO
0000042d: PUSH2 0x0434
00000430: JUMPI
00000431: PUSH0
00000432: DUP1
00000433: REVERT
00000434: JUMPDEST
00000435: POP
00000436: PUSH2 0x0373
00000439: PUSH2 0x0b9e
0000043c: JUMP
0000043d: JUMPDEST
0000043e: CALLVALUE
0000043f: DUP1
00000440: ISZERO
00000441: PUSH2 0x0448
00000444: JUMPI
00000445: PUSH0
00000446: DUP1
00000447: REVERT
00000448: JUMPDEST
00000449: POP
0000044a: PUSH2 0x040c
0000044d: PUSH2 0x0457
00000450: CALLDATASIZE
00000451: PUSH1 0x04
00000453: PUSH2 0x3347
00000456: JUMP
00000457: JUMPDEST
00000458: PUSH2 0x0bac
0000045b: JUMP
0000045c: JUMPDEST
0000045d: CALLVALUE
0000045e: DUP1
0000045f: ISZERO
00000460: PUSH2 0x0467
00000463: JUMPI
00000464: PUSH0
00000465: DUP1
00000466: REVERT
00000467: JUMPDEST
00000468: POP
00000469: PUSH2 0x0373
0000046c: PUSH2 0x0476
0000046f: CALLDATASIZE
00000470: PUSH1 0x04
00000472: PUSH2 0x32cf
00000475: JUMP
00000476: JUMPDEST
00000477: PUSH2 0x0bfd
0000047a: JUMP
0000047b: JUMPDEST
0000047c: CALLVALUE
0000047d: DUP1
0000047e: ISZERO
0000047f: PUSH2 0x0486
00000482: JUMPI
00000483: PUSH0
00000484: DUP1
00000485: REVERT
00000486: JUMPDEST
00000487: POP
00000488: PUSH2 0x040c
0000048b: PUSH2 0x0c88
0000048e: JUMP
0000048f: JUMPDEST
00000490: CALLVALUE
00000491: DUP1
00000492: ISZERO
00000493: PUSH2 0x049a
00000496: JUMPI
00000497: PUSH0
00000498: DUP1
00000499: REVERT
0000049a: JUMPDEST
0000049b: POP
0000049c: PUSH2 0x040c
0000049f: PUSH2 0x04a9
000004a2: CALLDATASIZE
000004a3: PUSH1 0x04
000004a5: PUSH2 0x3371
000004a8: JUMP
000004a9: JUMPDEST
000004aa: PUSH2 0x0cbd
000004ad: JUMP
000004ae: JUMPDEST
000004af: CALLVALUE
000004b0: DUP1
000004b1: ISZERO
000004b2: PUSH2 0x04b9
000004b5: JUMPI
000004b6: PUSH0
000004b7: DUP1
000004b8: REVERT
000004b9: JUMPDEST
000004ba: POP
000004bb: PUSH2 0x040c
000004be: PUSH2 0x04c8
000004c1: CALLDATASIZE
000004c2: PUSH1 0x04
000004c4: PUSH2 0x32cf
000004c7: JUMP
000004c8: JUMPDEST
000004c9: PUSH2 0x0f4d
000004cc: JUMP
000004cd: JUMPDEST
000004ce: CALLVALUE
000004cf: DUP1
000004d0: ISZERO
000004d1: PUSH2 0x04d8
000004d4: JUMPI
000004d5: PUSH0
000004d6: DUP1
000004d7: REVERT
000004d8: JUMPDEST
000004d9: POP
000004da: PUSH2 0x040c
000004dd: PUSH2 0x04e7
000004e0: CALLDATASIZE
000004e1: PUSH1 0x04
000004e3: PUSH2 0x3330
000004e6: JUMP
000004e7: JUMPDEST
000004e8: PUSH2 0x0f89
000004eb: JUMP
000004ec: JUMPDEST
000004ed: CALLVALUE
000004ee: DUP1
000004ef: ISZERO
000004f0: PUSH2 0x04f7
000004f3: JUMPI
000004f4: PUSH0
000004f5: DUP1
000004f6: REVERT
000004f7: JUMPDEST
000004f8: POP
000004f9: PUSH1 0x40
000004fb: DUP1
000004fc: MLOAD
000004fd: DUP1
000004fe: DUP3
000004ff: ADD
00000500: SWAP1
00000501: SWAP2
00000502: MSTORE
00000503: PUSH1 0x0e
00000505: DUP2
00000506: MSTORE
00000507: PUSH32 0x6d6f64653d74696d657374616d70000000000000000000000000000000000000
00000528: PUSH1 0x20
0000052a: DUP3
0000052b: ADD
0000052c: MSTORE
0000052d: PUSH2 0x0318
00000530: JUMP
00000531: JUMPDEST
00000532: PUSH2 0x040c
00000535: PUSH2 0x053f
00000538: CALLDATASIZE
00000539: PUSH1 0x04
0000053b: PUSH2 0x33be
0000053e: JUMP
0000053f: JUMPDEST
00000540: PUSH2 0x0f93
00000543: JUMP
00000544: JUMPDEST
00000545: CALLVALUE
00000546: DUP1
00000547: ISZERO
00000548: PUSH2 0x054f
0000054b: JUMPI
0000054c: PUSH0
0000054d: DUP1
0000054e: REVERT
0000054f: JUMPDEST
00000550: POP
00000551: PUSH2 0x0373
00000554: PUSH2 0x0fb2
00000557: JUMP
00000558: JUMPDEST
00000559: CALLVALUE
0000055a: DUP1
0000055b: ISZERO
0000055c: PUSH2 0x0563
0000055f: JUMPI
00000560: PUSH0
00000561: DUP1
00000562: REVERT
00000563: JUMPDEST
00000564: POP
00000565: PUSH2 0x059b
00000568: PUSH2 0x0572
0000056b: CALLDATASIZE
0000056c: PUSH1 0x04
0000056e: PUSH2 0x347a
00000571: JUMP
00000572: JUMPDEST
00000573: PUSH1 0x01
00000575: PUSH1 0x01
00000577: PUSH1 0xa0
00000579: SHL
0000057a: SUB
0000057b: SWAP1
0000057c: DUP2
0000057d: AND
0000057e: PUSH0
0000057f: SWAP1
00000580: DUP2
00000581: MSTORE
00000582: PUSH0
00000583: DUP1
00000584: MLOAD
00000585: PUSH1 0x20
00000587: PUSH2 0x39b4
0000058a: DUP4
0000058b: CODECOPY
0000058c: DUP2
0000058d: MLOAD
0000058e: SWAP2
0000058f: MSTORE
00000590: PUSH1 0x20
00000592: MSTORE
00000593: PUSH1 0x40
00000595: SWAP1
00000596: KECCAK256
00000597: SLOAD
00000598: AND
00000599: SWAP1
0000059a: JUMP
0000059b: JUMPDEST
0000059c: PUSH1 0x40
0000059e: MLOAD
0000059f: PUSH1 0x01
000005a1: PUSH1 0x01
000005a3: PUSH1 0xa0
000005a5: SHL
000005a6: SUB
000005a7: SWAP1
000005a8: SWAP2
000005a9: AND
000005aa: DUP2
000005ab: MSTORE
000005ac: PUSH1 0x20
000005ae: ADD
000005af: PUSH2 0x02fb
000005b2: JUMP
000005b3: JUMPDEST
000005b4: CALLVALUE
000005b5: DUP1
000005b6: ISZERO
000005b7: PUSH2 0x05be
000005ba: JUMPI
000005bb: PUSH0
000005bc: DUP1
000005bd: REVERT
000005be: JUMPDEST
000005bf: POP
000005c0: PUSH2 0x040c
000005c3: PUSH2 0x05cd
000005c6: CALLDATASIZE
000005c7: PUSH1 0x04
000005c9: PUSH2 0x347a
000005cc: JUMP
000005cd: JUMPDEST
000005ce: PUSH2 0x0fe0
000005d1: JUMP
000005d2: JUMPDEST
000005d3: CALLVALUE
000005d4: DUP1
000005d5: ISZERO
000005d6: PUSH2 0x05dd
000005d9: JUMPI
000005da: PUSH0
000005db: DUP1
000005dc: REVERT
000005dd: JUMPDEST
000005de: POP
000005df: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00000600: SLOAD
00000601: PUSH1 0xff
00000603: AND
00000604: PUSH2 0x02ef
00000607: JUMP
00000608: JUMPDEST
00000609: CALLVALUE
0000060a: DUP1
0000060b: ISZERO
0000060c: PUSH2 0x0613
0000060f: JUMPI
00000610: PUSH0
00000611: DUP1
00000612: REVERT
00000613: JUMPDEST
00000614: POP
00000615: PUSH2 0x0627
00000618: PUSH2 0x0622
0000061b: CALLDATASIZE
0000061c: PUSH1 0x04
0000061e: PUSH2 0x347a
00000621: JUMP
00000622: JUMPDEST
00000623: PUSH2 0x0feb
00000626: JUMP
00000627: JUMPDEST
00000628: PUSH1 0x40
0000062a: MLOAD
0000062b: PUSH4 0xffffffff
00000630: SWAP1
00000631: SWAP2
00000632: AND
00000633: DUP2
00000634: MSTORE
00000635: PUSH1 0x20
00000637: ADD
00000638: PUSH2 0x02fb
0000063b: JUMP
0000063c: JUMPDEST
0000063d: CALLVALUE
0000063e: DUP1
0000063f: ISZERO
00000640: PUSH2 0x0647
00000643: JUMPI
00000644: PUSH0
00000645: DUP1
00000646: REVERT
00000647: JUMPDEST
00000648: POP
00000649: PUSH2 0x0373
0000064c: PUSH2 0x0656
0000064f: CALLDATASIZE
00000650: PUSH1 0x04
00000652: PUSH2 0x347a
00000655: JUMP
00000656: JUMPDEST
00000657: PUSH2 0x0ff5
0000065a: JUMP
0000065b: JUMPDEST
0000065c: CALLVALUE
0000065d: DUP1
0000065e: ISZERO
0000065f: PUSH2 0x0666
00000662: JUMPI
00000663: PUSH0
00000664: DUP1
00000665: REVERT
00000666: JUMPDEST
00000667: POP
00000668: PUSH2 0x040c
0000066b: PUSH2 0x0675
0000066e: CALLDATASIZE
0000066f: PUSH1 0x04
00000671: PUSH2 0x32cf
00000674: JUMP
00000675: JUMPDEST
00000676: PUSH2 0x1038
00000679: JUMP
0000067a: JUMPDEST
0000067b: CALLVALUE
0000067c: DUP1
0000067d: ISZERO
0000067e: PUSH2 0x0685
00000681: JUMPI
00000682: PUSH0
00000683: DUP1
00000684: REVERT
00000685: JUMPDEST
00000686: POP
00000687: PUSH2 0x0373
0000068a: PUSH2 0x0694
0000068d: CALLDATASIZE
0000068e: PUSH1 0x04
00000690: PUSH2 0x347a
00000693: JUMP
00000694: JUMPDEST
00000695: PUSH2 0x104d
00000698: JUMP
00000699: JUMPDEST
0000069a: CALLVALUE
0000069b: DUP1
0000069c: ISZERO
0000069d: PUSH2 0x06a4
000006a0: JUMPI
000006a1: PUSH0
000006a2: DUP1
000006a3: REVERT
000006a4: JUMPDEST
000006a5: POP
000006a6: PUSH2 0x040c
000006a9: PUSH2 0x1057
000006ac: JUMP
000006ad: JUMPDEST
000006ae: CALLVALUE
000006af: DUP1
000006b0: ISZERO
000006b1: PUSH2 0x06b8
000006b4: JUMPI
000006b5: PUSH0
000006b6: DUP1
000006b7: REVERT
000006b8: JUMPDEST
000006b9: POP
000006ba: PUSH2 0x06c1
000006bd: PUSH2 0x1089
000006c0: JUMP
000006c1: JUMPDEST
000006c2: PUSH1 0x40
000006c4: MLOAD
000006c5: PUSH2 0x02fb
000006c8: SWAP8
000006c9: SWAP7
000006ca: SWAP6
000006cb: SWAP5
000006cc: SWAP4
000006cd: SWAP3
000006ce: SWAP2
000006cf: SWAP1
000006d0: PUSH2 0x3493
000006d3: JUMP
000006d4: JUMPDEST
000006d5: CALLVALUE
000006d6: DUP1
000006d7: ISZERO
000006d8: PUSH2 0x06df
000006db: JUMPI
000006dc: PUSH0
000006dd: DUP1
000006de: REVERT
000006df: JUMPDEST
000006e0: POP
000006e1: PUSH2 0x0373
000006e4: PUSH2 0x06ee
000006e7: CALLDATASIZE
000006e8: PUSH1 0x04
000006ea: PUSH2 0x3330
000006ed: JUMP
000006ee: JUMPDEST
000006ef: PUSH2 0x1183
000006f2: JUMP
000006f3: JUMPDEST
000006f4: CALLVALUE
000006f5: DUP1
000006f6: ISZERO
000006f7: PUSH2 0x06fe
000006fa: JUMPI
000006fb: PUSH0
000006fc: DUP1
000006fd: REVERT
000006fe: JUMPDEST
000006ff: POP
00000700: PUSH2 0x02ef
00000703: PUSH2 0x070d
00000706: CALLDATASIZE
00000707: PUSH1 0x04
00000709: PUSH2 0x3347
0000070c: JUMP
0000070d: JUMPDEST
0000070e: PUSH0
0000070f: SWAP2
00000710: DUP3
00000711: MSTORE
00000712: PUSH32 0x02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800
00000733: PUSH1 0x20
00000735: SWAP1
00000736: DUP2
00000737: MSTORE
00000738: PUSH1 0x40
0000073a: DUP1
0000073b: DUP5
0000073c: KECCAK256
0000073d: PUSH1 0x01
0000073f: PUSH1 0x01
00000741: PUSH1 0xa0
00000743: SHL
00000744: SUB
00000745: SWAP4
00000746: SWAP1
00000747: SWAP4
00000748: AND
00000749: DUP5
0000074a: MSTORE
0000074b: SWAP2
0000074c: SWAP1
0000074d: MSTORE
0000074e: SWAP1
0000074f: KECCAK256
00000750: SLOAD
00000751: PUSH1 0xff
00000753: AND
00000754: SWAP1
00000755: JUMP
00000756: JUMPDEST
00000757: CALLVALUE
00000758: DUP1
00000759: ISZERO
0000075a: PUSH2 0x0761
0000075d: JUMPI
0000075e: PUSH0
0000075f: DUP1
00000760: REVERT
00000761: JUMPDEST
00000762: POP
00000763: PUSH1 0x40
00000765: MLOAD
00000766: PUSH6 0xffffffffffff
0000076d: TIMESTAMP
0000076e: AND
0000076f: DUP2
00000770: MSTORE
00000771: PUSH1 0x20
00000773: ADD
00000774: PUSH2 0x02fb
00000777: JUMP
00000778: JUMPDEST
00000779: CALLVALUE
0000077a: DUP1
0000077b: ISZERO
0000077c: PUSH2 0x0783
0000077f: JUMPI
00000780: PUSH0
00000781: DUP1
00000782: REVERT
00000783: JUMPDEST
00000784: POP
00000785: PUSH2 0x0318
00000788: PUSH2 0x11f3
0000078b: JUMP
0000078c: JUMPDEST
0000078d: CALLVALUE
0000078e: DUP1
0000078f: ISZERO
00000790: PUSH2 0x0797
00000793: JUMPI
00000794: PUSH0
00000795: DUP1
00000796: REVERT
00000797: JUMPDEST
00000798: POP
00000799: PUSH2 0x0373
0000079c: PUSH2 0x07a6
0000079f: CALLDATASIZE
000007a0: PUSH1 0x04
000007a2: PUSH2 0x347a
000007a5: JUMP
000007a6: JUMPDEST
000007a7: PUSH2 0x1244
000007aa: JUMP
000007ab: JUMPDEST
000007ac: CALLVALUE
000007ad: DUP1
000007ae: ISZERO
000007af: PUSH2 0x07b6
000007b2: JUMPI
000007b3: PUSH0
000007b4: DUP1
000007b5: REVERT
000007b6: JUMPDEST
000007b7: POP
000007b8: PUSH2 0x0373
000007bb: PUSH0
000007bc: DUP2
000007bd: JUMP
000007be: JUMPDEST
000007bf: CALLVALUE
000007c0: DUP1
000007c1: ISZERO
000007c2: PUSH2 0x07c9
000007c5: JUMPI
000007c6: PUSH0
000007c7: DUP1
000007c8: REVERT
000007c9: JUMPDEST
000007ca: POP
000007cb: PUSH2 0x02ef
000007ce: PUSH2 0x07d8
000007d1: CALLDATASIZE
000007d2: PUSH1 0x04
000007d4: PUSH2 0x32cf
000007d7: JUMP
000007d8: JUMPDEST
000007d9: PUSH2 0x12a2
000007dc: JUMP
000007dd: JUMPDEST
000007de: CALLVALUE
000007df: DUP1
000007e0: ISZERO
000007e1: PUSH2 0x07e8
000007e4: JUMPI
000007e5: PUSH0
000007e6: DUP1
000007e7: REVERT
000007e8: JUMPDEST
000007e9: POP
000007ea: PUSH2 0x0318
000007ed: PUSH1 0x40
000007ef: MLOAD
000007f0: DUP1
000007f1: PUSH1 0x40
000007f3: ADD
000007f4: PUSH1 0x40
000007f6: MSTORE
000007f7: DUP1
000007f8: PUSH1 0x05
000007fa: DUP2
000007fb: MSTORE
000007fc: PUSH1 0x20
000007fe: ADD
000007ff: PUSH32 0x352e302e30000000000000000000000000000000000000000000000000000000
00000820: DUP2
00000821: MSTORE
00000822: POP
00000823: DUP2
00000824: JUMP
00000825: JUMPDEST
00000826: CALLVALUE
00000827: DUP1
00000828: ISZERO
00000829: PUSH2 0x0830
0000082c: JUMPI
0000082d: PUSH0
0000082e: DUP1
0000082f: REVERT
00000830: JUMPDEST
00000831: POP
00000832: PUSH2 0x040c
00000835: PUSH2 0x083f
00000838: CALLDATASIZE
00000839: PUSH1 0x04
0000083b: PUSH2 0x3553
0000083e: JUMP
0000083f: JUMPDEST
00000840: PUSH2 0x12af
00000843: JUMP
00000844: JUMPDEST
00000845: CALLVALUE
00000846: DUP1
00000847: ISZERO
00000848: PUSH2 0x084f
0000084b: JUMPI
0000084c: PUSH0
0000084d: DUP1
0000084e: REVERT
0000084f: JUMPDEST
00000850: POP
00000851: PUSH2 0x040c
00000854: PUSH2 0x085e
00000857: CALLDATASIZE
00000858: PUSH1 0x04
0000085a: PUSH2 0x35a7
0000085d: JUMP
0000085e: JUMPDEST
0000085f: PUSH2 0x137b
00000862: JUMP
00000863: JUMPDEST
00000864: CALLVALUE
00000865: DUP1
00000866: ISZERO
00000867: PUSH2 0x086e
0000086a: JUMPI
0000086b: PUSH0
0000086c: DUP1
0000086d: REVERT
0000086e: JUMPDEST
0000086f: POP
00000870: PUSH2 0x0373
00000873: PUSH32 0x9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a6
00000894: DUP2
00000895: JUMP
00000896: JUMPDEST
00000897: CALLVALUE
00000898: DUP1
00000899: ISZERO
0000089a: PUSH2 0x08a1
0000089d: JUMPI
0000089e: PUSH0
0000089f: DUP1
000008a0: REVERT
000008a1: JUMPDEST
000008a2: POP
000008a3: PUSH2 0x040c
000008a6: PUSH2 0x08b0
000008a9: CALLDATASIZE
000008aa: PUSH1 0x04
000008ac: PUSH2 0x3347
000008af: JUMP
000008b0: JUMPDEST
000008b1: PUSH2 0x1502
000008b4: JUMP
000008b5: JUMPDEST
000008b6: CALLVALUE
000008b7: DUP1
000008b8: ISZERO
000008b9: PUSH2 0x08c0
000008bc: JUMPI
000008bd: PUSH0
000008be: DUP1
000008bf: REVERT
000008c0: JUMPDEST
000008c1: POP
000008c2: PUSH2 0x0373
000008c5: PUSH2 0x08cf
000008c8: CALLDATASIZE
000008c9: PUSH1 0x04
000008cb: PUSH2 0x360c
000008ce: JUMP
000008cf: JUMPDEST
000008d0: PUSH1 0x01
000008d2: PUSH1 0x01
000008d4: PUSH1 0xa0
000008d6: SHL
000008d7: SUB
000008d8: SWAP2
000008d9: DUP3
000008da: AND
000008db: PUSH0
000008dc: SWAP1
000008dd: DUP2
000008de: MSTORE
000008df: PUSH32 0x52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace01
00000900: PUSH1 0x20
00000902: SWAP1
00000903: DUP2
00000904: MSTORE
00000905: PUSH1 0x40
00000907: DUP1
00000908: DUP4
00000909: KECCAK256
0000090a: SWAP4
0000090b: SWAP1
0000090c: SWAP5
0000090d: AND
0000090e: DUP3
0000090f: MSTORE
00000910: SWAP2
00000911: SWAP1
00000912: SWAP2
00000913: MSTORE
00000914: KECCAK256
00000915: SLOAD
00000916: SWAP1
00000917: JUMP
00000918: JUMPDEST
00000919: CALLVALUE
0000091a: DUP1
0000091b: ISZERO
0000091c: PUSH2 0x0923
0000091f: JUMPI
00000920: PUSH0
00000921: DUP1
00000922: REVERT
00000923: JUMPDEST
00000924: POP
00000925: PUSH2 0x0373
00000928: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a
00000949: DUP2
0000094a: JUMP
0000094b: JUMPDEST
0000094c: CALLVALUE
0000094d: DUP1
0000094e: ISZERO
0000094f: PUSH2 0x0956
00000952: JUMPI
00000953: PUSH0
00000954: DUP1
00000955: REVERT
00000956: JUMPDEST
00000957: POP
00000958: PUSH2 0x096a
0000095b: PUSH2 0x0965
0000095e: CALLDATASIZE
0000095f: PUSH1 0x04
00000961: PUSH2 0x3634
00000964: JUMP
00000965: JUMPDEST
00000966: PUSH2 0x1545
00000969: JUMP
0000096a: JUMPDEST
0000096b: PUSH1 0x40
0000096d: DUP1
0000096e: MLOAD
0000096f: DUP3
00000970: MLOAD
00000971: PUSH6 0xffffffffffff
00000978: AND
00000979: DUP2
0000097a: MSTORE
0000097b: PUSH1 0x20
0000097d: SWAP3
0000097e: DUP4
0000097f: ADD
00000980: MLOAD
00000981: PUSH1 0x01
00000983: PUSH1 0x01
00000985: PUSH1 0xd0
00000987: SHL
00000988: SUB
00000989: AND
0000098a: SWAP3
0000098b: DUP2
0000098c: ADD
0000098d: SWAP3
0000098e: SWAP1
0000098f: SWAP3
00000990: MSTORE
00000991: ADD
00000992: PUSH2 0x02fb
00000995: JUMP
00000996: JUMPDEST
00000997: CALLVALUE
00000998: DUP1
00000999: ISZERO
0000099a: PUSH2 0x09a1
0000099d: JUMPI
0000099e: PUSH0
0000099f: DUP1
000009a0: REVERT
000009a1: JUMPDEST
000009a2: POP
000009a3: PUSH2 0x0373
000009a6: PUSH32 0x189ab7a9244df0848122154315af71fe140f3db0fe014031783b0946b8c9d2e3
000009c7: DUP2
000009c8: JUMP
000009c9: JUMPDEST
000009ca: PUSH0
000009cb: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000009ec: DUP3
000009ed: AND
000009ee: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000
00000a0f: EQ
00000a10: DUP1
00000a11: PUSH2 0x0a5b
00000a14: JUMPI
00000a15: POP
00000a16: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00000a37: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000a58: DUP4
00000a59: AND
00000a5a: EQ
00000a5b: JUMPDEST
00000a5c: SWAP3
00000a5d: SWAP2
00000a5e: POP
00000a5f: POP
00000a60: JUMP
00000a61: JUMPDEST
00000a62: PUSH1 0x60
00000a64: PUSH0
00000a65: PUSH32 0x52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00
00000a86: JUMPDEST
00000a87: SWAP1
00000a88: POP
00000a89: DUP1
00000a8a: PUSH1 0x03
00000a8c: ADD
00000a8d: DUP1
00000a8e: SLOAD
00000a8f: PUSH2 0x0a97
00000a92: SWAP1
00000a93: PUSH2 0x3666
00000a96: JUMP
00000a97: JUMPDEST
00000a98: DUP1
00000a99: PUSH1 0x1f
00000a9b: ADD
00000a9c: PUSH1 0x20
00000a9e: DUP1
00000a9f: SWAP2
00000aa0: DIV
00000aa1: MUL
00000aa2: PUSH1 0x20
00000aa4: ADD
00000aa5: PUSH1 0x40
00000aa7: MLOAD
00000aa8: SWAP1
00000aa9: DUP2
00000aaa: ADD
00000aab: PUSH1 0x40
00000aad: MSTORE
00000aae: DUP1
00000aaf: SWAP3
00000ab0: SWAP2
00000ab1: SWAP1
00000ab2: DUP2
00000ab3: DUP2
00000ab4: MSTORE
00000ab5: PUSH1 0x20
00000ab7: ADD
00000ab8: DUP3
00000ab9: DUP1
00000aba: SLOAD
00000abb: PUSH2 0x0ac3
00000abe: SWAP1
00000abf: PUSH2 0x3666
00000ac2: JUMP
00000ac3: JUMPDEST
00000ac4: DUP1
00000ac5: ISZERO
00000ac6: PUSH2 0x0b0e
00000ac9: JUMPI
00000aca: DUP1
00000acb: PUSH1 0x1f
00000acd: LT
00000ace: PUSH2 0x0ae5
00000ad1: JUMPI
00000ad2: PUSH2 0x0100
00000ad5: DUP1
00000ad6: DUP4
00000ad7: SLOAD
00000ad8: DIV
00000ad9: MUL
00000ada: DUP4
00000adb: MSTORE
00000adc: SWAP2
00000add: PUSH1 0x20
00000adf: ADD
00000ae0: SWAP2
00000ae1: PUSH2 0x0b0e
00000ae4: JUMP
00000ae5: JUMPDEST
00000ae6: DUP3
00000ae7: ADD
00000ae8: SWAP2
00000ae9: SWAP1
00000aea: PUSH0
00000aeb: MSTORE
00000aec: PUSH1 0x20
00000aee: PUSH0
00000aef: KECCAK256
00000af0: SWAP1
00000af1: JUMPDEST
00000af2: DUP2
00000af3: SLOAD
00000af4: DUP2
00000af5: MSTORE
00000af6: SWAP1
00000af7: PUSH1 0x01
00000af9: ADD
00000afa: SWAP1
00000afb: PUSH1 0x20
00000afd: ADD
00000afe: DUP1
00000aff: DUP4
00000b00: GT
00000b01: PUSH2 0x0af1
00000b04: JUMPI
00000b05: DUP3
00000b06: SWAP1
00000b07: SUB
00000b08: PUSH1 0x1f
00000b0a: AND
00000b0b: DUP3
00000b0c: ADD
00000b0d: SWAP2
00000b0e: JUMPDEST
00000b0f: POP
00000b10: POP
00000b11: POP
00000b12: POP
00000b13: POP
00000b14: SWAP2
00000b15: POP
00000b16: POP
00000b17: SWAP1
00000b18: JUMP
00000b19: JUMPDEST
00000b1a: PUSH0
00000b1b: CALLER
00000b1c: PUSH2 0x0b26
00000b1f: DUP2
00000b20: DUP6
00000b21: DUP6
00000b22: PUSH2 0x1562
00000b25: JUMP
00000b26: JUMPDEST
00000b27: POP
00000b28: PUSH1 0x01
00000b2a: SWAP4
00000b2b: SWAP3
00000b2c: POP
00000b2d: POP
00000b2e: POP
00000b2f: JUMP
00000b30: JUMPDEST
00000b31: PUSH0
00000b32: CALLER
00000b33: PUSH2 0x0b3d
00000b36: DUP6
00000b37: DUP3
00000b38: DUP6
00000b39: PUSH2 0x156f
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: PUSH2 0x0b48
00000b41: DUP6
00000b42: DUP6
00000b43: DUP6
00000b44: PUSH2 0x161c
00000b47: JUMP
00000b48: JUMPDEST
00000b49: PUSH1 0x01
00000b4b: SWAP2
00000b4c: POP
00000b4d: POP
00000b4e: JUMPDEST
00000b4f: SWAP4
00000b50: SWAP3
00000b51: POP
00000b52: POP
00000b53: POP
00000b54: JUMP
00000b55: JUMPDEST
00000b56: PUSH0
00000b57: DUP3
00000b58: DUP2
00000b59: MSTORE
00000b5a: PUSH32 0x02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800
00000b7b: PUSH1 0x20
00000b7d: MSTORE
00000b7e: PUSH1 0x40
00000b80: SWAP1
00000b81: KECCAK256
00000b82: PUSH1 0x01
00000b84: ADD
00000b85: SLOAD
00000b86: PUSH2 0x0b8e
00000b89: DUP2
00000b8a: PUSH2 0x1679
00000b8d: JUMP
00000b8e: JUMPDEST
00000b8f: PUSH2 0x0b98
00000b92: DUP4
00000b93: DUP4
00000b94: PUSH2 0x1683
00000b97: JUMP
00000b98: JUMPDEST
00000b99: POP
00000b9a: POP
00000b9b: POP
00000b9c: POP
00000b9d: JUMP
00000b9e: JUMPDEST
00000b9f: PUSH0
00000ba0: PUSH2 0x0ba7
00000ba3: PUSH2 0x1756
00000ba6: JUMP
00000ba7: JUMPDEST
00000ba8: SWAP1
00000ba9: POP
00000baa: SWAP1
00000bab: JUMP
00000bac: JUMPDEST
00000bad: PUSH1 0x01
00000baf: PUSH1 0x01
00000bb1: PUSH1 0xa0
00000bb3: SHL
00000bb4: SUB
00000bb5: DUP2
00000bb6: AND
00000bb7: CALLER
00000bb8: EQ
00000bb9: PUSH2 0x0bee
00000bbc: JUMPI
00000bbd: PUSH1 0x40
00000bbf: MLOAD
00000bc0: PUSH32 0x6697b23200000000000000000000000000000000000000000000000000000000
00000be1: DUP2
00000be2: MSTORE
00000be3: PUSH1 0x04
00000be5: ADD
00000be6: PUSH1 0x40
00000be8: MLOAD
00000be9: DUP1
00000bea: SWAP2
00000beb: SUB
00000bec: SWAP1
00000bed: REVERT
00000bee: JUMPDEST
00000bef: PUSH2 0x0bf8
00000bf2: DUP3
00000bf3: DUP3
00000bf4: PUSH2 0x175f
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: POP
00000bfa: POP
00000bfb: POP
00000bfc: JUMP
00000bfd: JUMPDEST
00000bfe: PUSH0
00000bff: PUSH0
00000c00: DUP1
00000c01: MLOAD
00000c02: PUSH1 0x20
00000c04: PUSH2 0x39b4
00000c07: DUP4
00000c08: CODECOPY
00000c09: DUP2
00000c0a: MLOAD
00000c0b: SWAP2
00000c0c: MSTORE
00000c0d: TIMESTAMP
00000c0e: PUSH6 0xffffffffffff
00000c15: DUP2
00000c16: AND
00000c17: DUP5
00000c18: LT
00000c19: PUSH2 0x0c4b
00000c1c: JUMPI
00000c1d: PUSH1 0x40
00000c1f: MLOAD
00000c20: PUSH4 0x7669fc0f
00000c25: PUSH1 0xe1
00000c27: SHL
00000c28: DUP2
00000c29: MSTORE
00000c2a: PUSH1 0x04
00000c2c: DUP2
00000c2d: ADD
00000c2e: DUP6
00000c2f: SWAP1
00000c30: MSTORE
00000c31: PUSH6 0xffffffffffff
00000c38: DUP3
00000c39: AND
00000c3a: PUSH1 0x24
00000c3c: DUP3
00000c3d: ADD
00000c3e: MSTORE
00000c3f: PUSH1 0x44
00000c41: ADD
00000c42: JUMPDEST
00000c43: PUSH1 0x40
00000c45: MLOAD
00000c46: DUP1
00000c47: SWAP2
00000c48: SUB
00000c49: SWAP1
00000c4a: REVERT
00000c4b: JUMPDEST
00000c4c: PUSH2 0x0c76
00000c4f: PUSH2 0x0c57
00000c52: DUP6
00000c53: PUSH2 0x1803
00000c56: JUMP
00000c57: JUMPDEST
00000c58: PUSH1 0x01
00000c5a: PUSH1 0x01
00000c5c: PUSH1 0xa0
00000c5e: SHL
00000c5f: SUB
00000c60: DUP8
00000c61: AND
00000c62: PUSH0
00000c63: SWAP1
00000c64: DUP2
00000c65: MSTORE
00000c66: PUSH1 0x01
00000c68: DUP6
00000c69: ADD
00000c6a: PUSH1 0x20
00000c6c: MSTORE
00000c6d: PUSH1 0x40
00000c6f: SWAP1
00000c70: KECCAK256
00000c71: SWAP1
00000c72: PUSH2 0x1839
00000c75: JUMP
00000c76: JUMPDEST
00000c77: PUSH1 0x01
00000c79: PUSH1 0x01
00000c7b: PUSH1 0xd0
00000c7d: SHL
00000c7e: SUB
00000c7f: AND
00000c80: SWAP6
00000c81: SWAP5
00000c82: POP
00000c83: POP
00000c84: POP
00000c85: POP
00000c86: POP
00000c87: JUMP
00000c88: JUMPDEST
00000c89: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a
00000caa: PUSH2 0x0cb2
00000cad: DUP2
00000cae: PUSH2 0x1679
00000cb1: JUMP
00000cb2: JUMPDEST
00000cb3: PUSH2 0x0cba
00000cb6: PUSH2 0x18ec
00000cb9: JUMP
00000cba: JUMPDEST
00000cbb: POP
00000cbc: JUMP
00000cbd: JUMPDEST
00000cbe: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00
00000cdf: DUP1
00000ce0: SLOAD
00000ce1: PUSH9 0x010000000000000000
00000ceb: DUP2
00000cec: DIV
00000ced: PUSH1 0xff
00000cef: AND
00000cf0: ISZERO
00000cf1: SWAP1
00000cf2: PUSH8 0xffffffffffffffff
00000cfb: AND
00000cfc: PUSH0
00000cfd: DUP2
00000cfe: ISZERO
00000cff: DUP1
00000d00: ISZERO
00000d01: PUSH2 0x0d07
00000d04: JUMPI
00000d05: POP
00000d06: DUP3
00000d07: JUMPDEST
00000d08: SWAP1
00000d09: POP
00000d0a: PUSH0
00000d0b: DUP3
00000d0c: PUSH8 0xffffffffffffffff
00000d15: AND
00000d16: PUSH1 0x01
00000d18: EQ
00000d19: DUP1
00000d1a: ISZERO
00000d1b: PUSH2 0x0d23
00000d1e: JUMPI
00000d1f: POP
00000d20: ADDRESS
00000d21: EXTCODESIZE
00000d22: ISZERO
00000d23: JUMPDEST
00000d24: SWAP1
00000d25: POP
00000d26: DUP2
00000d27: ISZERO
00000d28: DUP1
00000d29: ISZERO
00000d2a: PUSH2 0x0d31
00000d2d: JUMPI
00000d2e: POP
00000d2f: DUP1
00000d30: ISZERO
00000d31: JUMPDEST
00000d32: ISZERO
00000d33: PUSH2 0x0d68
00000d36: JUMPI
00000d37: PUSH1 0x40
00000d39: MLOAD
00000d3a: PUSH32 0xf92ee8a900000000000000000000000000000000000000000000000000000000
00000d5b: DUP2
00000d5c: MSTORE
00000d5d: PUSH1 0x04
00000d5f: ADD
00000d60: PUSH1 0x40
00000d62: MLOAD
00000d63: DUP1
00000d64: SWAP2
00000d65: SUB
00000d66: SWAP1
00000d67: REVERT
00000d68: JUMPDEST
00000d69: DUP5
00000d6a: SLOAD
00000d6b: PUSH8 0xffffffffffffffff
00000d74: NOT
00000d75: AND
00000d76: PUSH1 0x01
00000d78: OR
00000d79: DUP6
00000d7a: SSTORE
00000d7b: DUP4
00000d7c: ISZERO
00000d7d: PUSH2 0x0d9c
00000d80: JUMPI
00000d81: DUP5
00000d82: SLOAD
00000d83: PUSH9 0xff0000000000000000
00000d8d: NOT
00000d8e: AND
00000d8f: PUSH9 0x010000000000000000
00000d99: OR
00000d9a: DUP6
00000d9b: SSTORE
00000d9c: JUMPDEST
00000d9d: PUSH2 0x0df6
00000da0: PUSH1 0x40
00000da2: MLOAD
00000da3: DUP1
00000da4: PUSH1 0x40
00000da6: ADD
00000da7: PUSH1 0x40
00000da9: MSTORE
00000daa: DUP1
00000dab: PUSH1 0x03
00000dad: DUP2
00000dae: MSTORE
00000daf: PUSH1 0x20
00000db1: ADD
00000db2: PUSH3 0x4e7961
00000db6: PUSH1 0xe8
00000db8: SHL
00000db9: DUP2
00000dba: MSTORE
00000dbb: POP
00000dbc: PUSH1 0x40
00000dbe: MLOAD
00000dbf: DUP1
00000dc0: PUSH1 0x40
00000dc2: ADD
00000dc3: PUSH1 0x40
00000dc5: MSTORE
00000dc6: DUP1
00000dc7: PUSH1 0x03
00000dc9: DUP2
00000dca: MSTORE
00000dcb: PUSH1 0x20
00000dcd: ADD
00000dce: PUSH32 0x4e59410000000000000000000000000000000000000000000000000000000000
00000def: DUP2
00000df0: MSTORE
00000df1: POP
00000df2: PUSH2 0x195e
00000df5: JUMP
00000df6: JUMPDEST
00000df7: PUSH2 0x0dfe
00000dfa: PUSH2 0x1970
00000dfd: JUMP
00000dfe: JUMPDEST
00000dff: PUSH2 0x0e06
00000e02: PUSH2 0x197a
00000e05: JUMP
00000e06: JUMPDEST
00000e07: PUSH2 0x0e0e
00000e0a: PUSH2 0x1970
00000e0d: JUMP
00000e0e: JUMPDEST
00000e0f: PUSH2 0x0e32
00000e12: PUSH1 0x40
00000e14: MLOAD
00000e15: DUP1
00000e16: PUSH1 0x40
00000e18: ADD
00000e19: PUSH1 0x40
00000e1b: MSTORE
00000e1c: DUP1
00000e1d: PUSH1 0x03
00000e1f: DUP2
00000e20: MSTORE
00000e21: PUSH1 0x20
00000e23: ADD
00000e24: PUSH3 0x4e7961
00000e28: PUSH1 0xe8
00000e2a: SHL
00000e2b: DUP2
00000e2c: MSTORE
00000e2d: POP
00000e2e: PUSH2 0x198a
00000e31: JUMP
00000e32: JUMPDEST
00000e33: PUSH2 0x0e3a
00000e36: PUSH2 0x1970
00000e39: JUMP
00000e3a: JUMPDEST
00000e3b: PUSH2 0x0e42
00000e3e: PUSH2 0x1970
00000e41: JUMP
00000e42: JUMPDEST
00000e43: DUP6
00000e44: ISZERO
00000e45: PUSH2 0x0e6d
00000e48: JUMPI
00000e49: PUSH2 0x0e6d
00000e4c: DUP8
00000e4d: PUSH2 0x0e58
00000e50: PUSH1 0x12
00000e52: PUSH1 0x0a
00000e54: PUSH2 0x3792
00000e57: JUMP
00000e58: JUMPDEST
00000e59: PUSH2 0x0e68
00000e5c: SWAP1
00000e5d: PUSH6 0x5af3107a3fff
00000e64: PUSH2 0x37a0
00000e67: JUMP
00000e68: JUMPDEST
00000e69: PUSH2 0x19d1
00000e6c: JUMP
00000e6d: JUMPDEST
00000e6e: PUSH2 0x0e77
00000e71: PUSH0
00000e72: DUP9
00000e73: PUSH2 0x1683
00000e76: JUMP
00000e77: JUMPDEST
00000e78: POP
00000e79: PUSH2 0x0ea2
00000e7c: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a
00000e9d: DUP9
00000e9e: PUSH2 0x1683
00000ea1: JUMP
00000ea2: JUMPDEST
00000ea3: POP
00000ea4: PUSH2 0x0ecd
00000ea7: PUSH32 0x9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a6
00000ec8: DUP9
00000ec9: PUSH2 0x1683
00000ecc: JUMP
00000ecd: JUMPDEST
00000ece: POP
00000ecf: PUSH2 0x0ef8
00000ed2: PUSH32 0x189ab7a9244df0848122154315af71fe140f3db0fe014031783b0946b8c9d2e3
00000ef3: DUP9
00000ef4: PUSH2 0x1683
00000ef7: JUMP
00000ef8: JUMPDEST
00000ef9: POP
00000efa: DUP4
00000efb: ISZERO
00000efc: PUSH2 0x0f44
00000eff: JUMPI
00000f00: DUP5
00000f01: SLOAD
00000f02: PUSH9 0xff0000000000000000
00000f0c: NOT
00000f0d: AND
00000f0e: DUP6
00000f0f: SSTORE
00000f10: PUSH1 0x40
00000f12: MLOAD
00000f13: PUSH1 0x01
00000f15: DUP2
00000f16: MSTORE
00000f17: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2
00000f38: SWAP1
00000f39: PUSH1 0x20
00000f3b: ADD
00000f3c: PUSH1 0x40
00000f3e: MLOAD
00000f3f: DUP1
00000f40: SWAP2
00000f41: SUB
00000f42: SWAP1
00000f43: LOG1
00000f44: JUMPDEST
00000f45: POP
00000f46: POP
00000f47: POP
00000f48: POP
00000f49: POP
00000f4a: POP
00000f4b: POP
00000f4c: JUMP
00000f4d: JUMPDEST
00000f4e: PUSH32 0x9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a6
00000f6f: PUSH2 0x0f77
00000f72: DUP2
00000f73: PUSH2 0x1679
00000f76: JUMP
00000f77: JUMPDEST
00000f78: PUSH2 0x0f7f
00000f7b: PUSH2 0x1a05
00000f7e: JUMP
00000f7f: JUMPDEST
00000f80: PUSH2 0x0bf8
00000f83: DUP4
00000f84: DUP4
00000f85: PUSH2 0x19d1
00000f88: JUMP
00000f89: JUMPDEST
00000f8a: PUSH2 0x0cba
00000f8d: CALLER
00000f8e: DUP3
00000f8f: PUSH2 0x1a61
00000f92: JUMP
00000f93: JUMPDEST
00000f94: PUSH2 0x0f9b
00000f97: PUSH2 0x1a95
00000f9a: JUMP
00000f9b: JUMPDEST
00000f9c: PUSH2 0x0fa4
00000f9f: DUP3
00000fa0: PUSH2 0x1b4c
00000fa3: JUMP
00000fa4: JUMPDEST
00000fa5: PUSH2 0x0fae
00000fa8: DUP3
00000fa9: DUP3
00000faa: PUSH2 0x1b76
00000fad: JUMP
00000fae: JUMPDEST
00000faf: POP
00000fb0: POP
00000fb1: JUMP
00000fb2: JUMPDEST
00000fb3: PUSH0
00000fb4: PUSH2 0x0fbb
00000fb7: PUSH2 0x1c5e
00000fba: JUMP
00000fbb: JUMPDEST
00000fbc: POP
00000fbd: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00000fde: SWAP1
00000fdf: JUMP
00000fe0: JUMPDEST
00000fe1: CALLER
00000fe2: PUSH2 0x0fae
00000fe5: DUP2
00000fe6: DUP4
00000fe7: PUSH2 0x1ca7
00000fea: JUMP
00000feb: JUMPDEST
00000fec: PUSH0
00000fed: PUSH2 0x0a5b
00000ff0: DUP3
00000ff1: PUSH2 0x1d5f
00000ff4: JUMP
00000ff5: JUMPDEST
00000ff6: PUSH0
00000ff7: DUP1
00000ff8: PUSH32 0x52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00
00001019: JUMPDEST
0000101a: PUSH1 0x01
0000101c: PUSH1 0x01
0000101e: PUSH1 0xa0
00001020: SHL
00001021: SUB
00001022: SWAP1
00001023: SWAP4
00001024: AND
00001025: PUSH0
00001026: SWAP1
00001027: DUP2
00001028: MSTORE
00001029: PUSH1 0x20
0000102b: SWAP4
0000102c: SWAP1
0000102d: SWAP4
0000102e: MSTORE
0000102f: POP
00001030: POP
00001031: PUSH1 0x40
00001033: SWAP1
00001034: KECCAK256
00001035: SLOAD
00001036: SWAP1
00001037: JUMP
00001038: JUMPDEST
00001039: PUSH2 0x1043
0000103c: DUP3
0000103d: CALLER
0000103e: DUP4
0000103f: PUSH2 0x156f
00001042: JUMP
00001043: JUMPDEST
00001044: PUSH2 0x0fae
00001047: DUP3
00001048: DUP3
00001049: PUSH2 0x1a61
0000104c: JUMP
0000104d: JUMPDEST
0000104e: PUSH0
0000104f: PUSH2 0x0a5b
00001052: DUP3
00001053: PUSH2 0x1dae
00001056: JUMP
00001057: JUMPDEST
00001058: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a
00001079: PUSH2 0x1081
0000107c: DUP2
0000107d: PUSH2 0x1679
00001080: JUMP
00001081: JUMPDEST
00001082: PUSH2 0x0cba
00001085: PUSH2 0x1db8
00001088: JUMP
00001089: JUMPDEST
0000108a: PUSH0
0000108b: PUSH1 0x60
0000108d: DUP1
0000108e: DUP3
0000108f: DUP1
00001090: DUP1
00001091: DUP4
00001092: DUP2
00001093: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100
000010b4: DUP1
000010b5: SLOAD
000010b6: SWAP1
000010b7: SWAP2
000010b8: POP
000010b9: ISZERO
000010ba: DUP1
000010bb: ISZERO
000010bc: PUSH2 0x10c7
000010bf: JUMPI
000010c0: POP
000010c1: PUSH1 0x01
000010c3: DUP2
000010c4: ADD
000010c5: SLOAD
000010c6: ISZERO
000010c7: JUMPDEST
000010c8: PUSH2 0x112d
000010cb: JUMPI
000010cc: PUSH1 0x40
000010ce: MLOAD
000010cf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010f0: DUP2
000010f1: MSTORE
000010f2: PUSH1 0x20
000010f4: PUSH1 0x04
000010f6: DUP3
000010f7: ADD
000010f8: MSTORE
000010f9: PUSH1 0x15
000010fb: PUSH1 0x24
000010fd: DUP3
000010fe: ADD
000010ff: MSTORE
00001100: PUSH32 0x4549503731323a20556e696e697469616c697a65640000000000000000000000
00001121: PUSH1 0x44
00001123: DUP3
00001124: ADD
00001125: MSTORE
00001126: PUSH1 0x64
00001128: ADD
00001129: PUSH2 0x0c42
0000112c: JUMP
0000112d: JUMPDEST
0000112e: PUSH2 0x1135
00001131: PUSH2 0x1e13
00001134: JUMP
00001135: JUMPDEST
00001136: PUSH2 0x113d
00001139: PUSH2 0x1e64
0000113c: JUMP
0000113d: JUMPDEST
0000113e: PUSH1 0x40
00001140: DUP1
00001141: MLOAD
00001142: PUSH0
00001143: DUP1
00001144: DUP3
00001145: MSTORE
00001146: PUSH1 0x20
00001148: DUP3
00001149: ADD
0000114a: SWAP1
0000114b: SWAP3
0000114c: MSTORE
0000114d: PUSH32 0x0f00000000000000000000000000000000000000000000000000000000000000
0000116e: SWAP13
0000116f: SWAP4
00001170: SWAP12
00001171: POP
00001172: SWAP2
00001173: SWAP10
00001174: POP
00001175: CHAINID
00001176: SWAP9
00001177: POP
00001178: ADDRESS
00001179: SWAP8
0000117a: POP
0000117b: SWAP6
0000117c: POP
0000117d: SWAP4
0000117e: POP
0000117f: SWAP2
00001180: POP
00001181: POP
00001182: JUMP
00001183: JUMPDEST
00001184: PUSH0
00001185: PUSH0
00001186: DUP1
00001187: MLOAD
00001188: PUSH1 0x20
0000118a: PUSH2 0x39b4
0000118d: DUP4
0000118e: CODECOPY
0000118f: DUP2
00001190: MLOAD
00001191: SWAP2
00001192: MSTORE
00001193: TIMESTAMP
00001194: PUSH6 0xffffffffffff
0000119b: DUP2
0000119c: AND
0000119d: DUP5
0000119e: LT
0000119f: PUSH2 0x11cc
000011a2: JUMPI
000011a3: PUSH1 0x40
000011a5: MLOAD
000011a6: PUSH4 0x7669fc0f
000011ab: PUSH1 0xe1
000011ad: SHL
000011ae: DUP2
000011af: MSTORE
000011b0: PUSH1 0x04
000011b2: DUP2
000011b3: ADD
000011b4: DUP6
000011b5: SWAP1
000011b6: MSTORE
000011b7: PUSH6 0xffffffffffff
000011be: DUP3
000011bf: AND
000011c0: PUSH1 0x24
000011c2: DUP3
000011c3: ADD
000011c4: MSTORE
000011c5: PUSH1 0x44
000011c7: ADD
000011c8: PUSH2 0x0c42
000011cb: JUMP
000011cc: JUMPDEST
000011cd: PUSH2 0x11e2
000011d0: PUSH2 0x11d8
000011d3: DUP6
000011d4: PUSH2 0x1803
000011d7: JUMP
000011d8: JUMPDEST
000011d9: PUSH1 0x02
000011db: DUP5
000011dc: ADD
000011dd: SWAP1
000011de: PUSH2 0x1839
000011e1: JUMP
000011e2: JUMPDEST
000011e3: PUSH1 0x01
000011e5: PUSH1 0x01
000011e7: PUSH1 0xd0
000011e9: SHL
000011ea: SUB
000011eb: AND
000011ec: SWAP5
000011ed: SWAP4
000011ee: POP
000011ef: POP
000011f0: POP
000011f1: POP
000011f2: JUMP
000011f3: JUMPDEST
000011f4: PUSH32 0x52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace04
00001215: DUP1
00001216: SLOAD
00001217: PUSH1 0x60
00001219: SWAP2
0000121a: PUSH32 0x52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00
0000123b: SWAP2
0000123c: PUSH2 0x0a97
0000123f: SWAP1
00001240: PUSH2 0x3666
00001243: JUMP
00001244: JUMPDEST
00001245: PUSH1 0x01
00001247: PUSH1 0x01
00001249: PUSH1 0xa0
0000124b: SHL
0000124c: SUB
0000124d: DUP2
0000124e: AND
0000124f: PUSH0
00001250: SWAP1
00001251: DUP2
00001252: MSTORE
00001253: PUSH32 0xe8b26c30fad74198956032a3533d903385d56dd795af560196f9c78d4af40d01
00001274: PUSH1 0x20
00001276: MSTORE
00001277: PUSH1 0x40
00001279: DUP2
0000127a: KECCAK256
0000127b: PUSH0
0000127c: DUP1
0000127d: MLOAD
0000127e: PUSH1 0x20
00001280: PUSH2 0x39b4
00001283: DUP4
00001284: CODECOPY
00001285: DUP2
00001286: MLOAD
00001287: SWAP2
00001288: MSTORE
00001289: SWAP1
0000128a: PUSH2 0x1292
0000128d: SWAP1
0000128e: PUSH2 0x1e8d
00001291: JUMP
00001292: JUMPDEST
00001293: PUSH1 0x01
00001295: PUSH1 0x01
00001297: PUSH1 0xd0
00001299: SHL
0000129a: SUB
0000129b: AND
0000129c: SWAP4
0000129d: SWAP3
0000129e: POP
0000129f: POP
000012a0: POP
000012a1: JUMP
000012a2: JUMPDEST
000012a3: PUSH0
000012a4: CALLER
000012a5: PUSH2 0x0b26
000012a8: DUP2
000012a9: DUP6
000012aa: DUP6
000012ab: PUSH2 0x161c
000012ae: JUMP
000012af: JUMPDEST
000012b0: DUP4
000012b1: TIMESTAMP
000012b2: GT
000012b3: ISZERO
000012b4: PUSH2 0x12ec
000012b7: JUMPI
000012b8: PUSH1 0x40
000012ba: MLOAD
000012bb: PUSH32 0x4683af0e00000000000000000000000000000000000000000000000000000000
000012dc: DUP2
000012dd: MSTORE
000012de: PUSH1 0x04
000012e0: DUP2
000012e1: ADD
000012e2: DUP6
000012e3: SWAP1
000012e4: MSTORE
000012e5: PUSH1 0x24
000012e7: ADD
000012e8: PUSH2 0x0c42
000012eb: JUMP
000012ec: JUMPDEST
000012ed: PUSH1 0x40
000012ef: DUP1
000012f0: MLOAD
000012f1: PUSH32 0xe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf
00001312: PUSH1 0x20
00001314: DUP3
00001315: ADD
00001316: MSTORE
00001317: PUSH1 0x01
00001319: PUSH1 0x01
0000131b: PUSH1 0xa0
0000131d: SHL
0000131e: SUB
0000131f: DUP9
00001320: AND
00001321: SWAP2
00001322: DUP2
00001323: ADD
00001324: SWAP2
00001325: SWAP1
00001326: SWAP2
00001327: MSTORE
00001328: PUSH1 0x60
0000132a: DUP2
0000132b: ADD
0000132c: DUP7
0000132d: SWAP1
0000132e: MSTORE
0000132f: PUSH1 0x80
00001331: DUP2
00001332: ADD
00001333: DUP6
00001334: SWAP1
00001335: MSTORE
00001336: PUSH0
00001337: SWAP1
00001338: PUSH2 0x1365
0000133b: SWAP1
0000133c: PUSH2 0x135d
0000133f: SWAP1
00001340: PUSH1 0xa0
00001342: ADD
00001343: PUSH1 0x40
00001345: MLOAD
00001346: PUSH1 0x20
00001348: DUP2
00001349: DUP4
0000134a: SUB
0000134b: SUB
0000134c: DUP2
0000134d: MSTORE
0000134e: SWAP1
0000134f: PUSH1 0x40
00001351: MSTORE
00001352: DUP1
00001353: MLOAD
00001354: SWAP1
00001355: PUSH1 0x20
00001357: ADD
00001358: KECCAK256
00001359: PUSH2 0x1ec7
0000135c: JUMP
0000135d: JUMPDEST
0000135e: DUP6
0000135f: DUP6
00001360: DUP6
00001361: PUSH2 0x1f0e
00001364: JUMP
00001365: JUMPDEST
00001366: SWAP1
00001367: POP
00001368: PUSH2 0x1371
0000136b: DUP2
0000136c: DUP8
0000136d: PUSH2 0x1f3a
00001370: JUMP
00001371: JUMPDEST
00001372: PUSH2 0x0f44
00001375: DUP2
00001376: DUP9
00001377: PUSH2 0x1ca7
0000137a: JUMP
0000137b: JUMPDEST
0000137c: DUP4
0000137d: TIMESTAMP
0000137e: GT
0000137f: ISZERO
00001380: PUSH2 0x13b8
00001383: JUMPI
00001384: PUSH1 0x40
00001386: MLOAD
00001387: PUSH32 0x6279130200000000000000000000000000000000000000000000000000000000
000013a8: DUP2
000013a9: MSTORE
000013aa: PUSH1 0x04
000013ac: DUP2
000013ad: ADD
000013ae: DUP6
000013af: SWAP1
000013b0: MSTORE
000013b1: PUSH1 0x24
000013b3: ADD
000013b4: PUSH2 0x0c42
000013b7: JUMP
000013b8: JUMPDEST
000013b9: PUSH0
000013ba: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
000013db: DUP9
000013dc: DUP9
000013dd: DUP9
000013de: PUSH2 0x1422
000013e1: DUP13
000013e2: PUSH1 0x01
000013e4: PUSH1 0x01
000013e6: PUSH1 0xa0
000013e8: SHL
000013e9: SUB
000013ea: AND
000013eb: PUSH0
000013ec: SWAP1
000013ed: DUP2
000013ee: MSTORE
000013ef: PUSH32 0x5ab42ced628888259c08ac98db1eb0cf702fc1501344311d8b100cd1bfe4bb00
00001410: PUSH1 0x20
00001412: MSTORE
00001413: PUSH1 0x40
00001415: SWAP1
00001416: KECCAK256
00001417: DUP1
00001418: SLOAD
00001419: PUSH1 0x01
0000141b: DUP2
0000141c: ADD
0000141d: SWAP1
0000141e: SWAP2
0000141f: SSTORE
00001420: SWAP1
00001421: JUMP
00001422: JUMPDEST
00001423: PUSH1 0x40
00001425: DUP1
00001426: MLOAD
00001427: PUSH1 0x20
00001429: DUP2
0000142a: ADD
0000142b: SWAP7
0000142c: SWAP1
0000142d: SWAP7
0000142e: MSTORE
0000142f: PUSH1 0x01
00001431: PUSH1 0x01
00001433: PUSH1 0xa0
00001435: SHL
00001436: SUB
00001437: SWAP5
00001438: DUP6
00001439: AND
0000143a: SWAP1
0000143b: DUP7
0000143c: ADD
0000143d: MSTORE
0000143e: SWAP3
0000143f: SWAP1
00001440: SWAP2
00001441: AND
00001442: PUSH1 0x60
00001444: DUP5
00001445: ADD
00001446: MSTORE
00001447: PUSH1 0x80
00001449: DUP4
0000144a: ADD
0000144b: MSTORE
0000144c: PUSH1 0xa0
0000144e: DUP3
0000144f: ADD
00001450: MSTORE
00001451: PUSH1 0xc0
00001453: DUP2
00001454: ADD
00001455: DUP7
00001456: SWAP1
00001457: MSTORE
00001458: PUSH1 0xe0
0000145a: ADD
0000145b: PUSH1 0x40
0000145d: MLOAD
0000145e: PUSH1 0x20
00001460: DUP2
00001461: DUP4
00001462: SUB
00001463: SUB
00001464: DUP2
00001465: MSTORE
00001466: SWAP1
00001467: PUSH1 0x40
00001469: MSTORE
0000146a: DUP1
0000146b: MLOAD
0000146c: SWAP1
0000146d: PUSH1 0x20
0000146f: ADD
00001470: KECCAK256
00001471: SWAP1
00001472: POP
00001473: PUSH0
00001474: PUSH2 0x147c
00001477: DUP3
00001478: PUSH2 0x1ec7
0000147b: JUMP
0000147c: JUMPDEST
0000147d: SWAP1
0000147e: POP
0000147f: PUSH0
00001480: PUSH2 0x148b
00001483: DUP3
00001484: DUP8
00001485: DUP8
00001486: DUP8
00001487: PUSH2 0x1f0e
0000148a: JUMP
0000148b: JUMPDEST
0000148c: SWAP1
0000148d: POP
0000148e: DUP10
0000148f: PUSH1 0x01
00001491: PUSH1 0x01
00001493: PUSH1 0xa0
00001495: SHL
00001496: SUB
00001497: AND
00001498: DUP2
00001499: PUSH1 0x01
0000149b: PUSH1 0x01
0000149d: PUSH1 0xa0
0000149f: SHL
000014a0: SUB
000014a1: AND
000014a2: EQ
000014a3: PUSH2 0x14eb
000014a6: JUMPI
000014a7: PUSH1 0x40
000014a9: MLOAD
000014aa: PUSH32 0x4b800e4600000000000000000000000000000000000000000000000000000000
000014cb: DUP2
000014cc: MSTORE
000014cd: PUSH1 0x01
000014cf: PUSH1 0x01
000014d1: PUSH1 0xa0
000014d3: SHL
000014d4: SUB
000014d5: DUP1
000014d6: DUP4
000014d7: AND
000014d8: PUSH1 0x04
000014da: DUP4
000014db: ADD
000014dc: MSTORE
000014dd: DUP12
000014de: AND
000014df: PUSH1 0x24
000014e1: DUP3
000014e2: ADD
000014e3: MSTORE
000014e4: PUSH1 0x44
000014e6: ADD
000014e7: PUSH2 0x0c42
000014ea: JUMP
000014eb: JUMPDEST
000014ec: PUSH2 0x14f6
000014ef: DUP11
000014f0: DUP11
000014f1: DUP11
000014f2: PUSH2 0x1562
000014f5: JUMP
000014f6: JUMPDEST
000014f7: POP
000014f8: POP
000014f9: POP
000014fa: POP
000014fb: POP
000014fc: POP
000014fd: POP
000014fe: POP
000014ff: POP
00001500: POP
00001501: JUMP
00001502: JUMPDEST
00001503: PUSH0
00001504: DUP3
00001505: DUP2
00001506: MSTORE
00001507: PUSH32 0x02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800
00001528: PUSH1 0x20
0000152a: MSTORE
0000152b: PUSH1 0x40
0000152d: SWAP1
0000152e: KECCAK256
0000152f: PUSH1 0x01
00001531: ADD
00001532: SLOAD
00001533: PUSH2 0x153b
00001536: DUP2
00001537: PUSH2 0x1679
0000153a: JUMP
0000153b: JUMPDEST
0000153c: PUSH2 0x0b98
0000153f: DUP4
00001540: DUP4
00001541: PUSH2 0x175f
00001544: JUMP
00001545: JUMPDEST
00001546: PUSH1 0x40
00001548: DUP1
00001549: MLOAD
0000154a: DUP1
0000154b: DUP3
0000154c: ADD
0000154d: SWAP1
0000154e: SWAP2
0000154f: MSTORE
00001550: PUSH0
00001551: DUP1
00001552: DUP3
00001553: MSTORE
00001554: PUSH1 0x20
00001556: DUP3
00001557: ADD
00001558: MSTORE
00001559: PUSH2 0x0b4e
0000155c: DUP4
0000155d: DUP4
0000155e: PUSH2 0x1fc4
00001561: JUMP
00001562: JUMPDEST
00001563: PUSH2 0x0bf8
00001566: DUP4
00001567: DUP4
00001568: DUP4
00001569: PUSH1 0x01
0000156b: PUSH2 0x202d
0000156e: JUMP
0000156f: JUMPDEST
00001570: PUSH1 0x01
00001572: PUSH1 0x01
00001574: PUSH1 0xa0
00001576: SHL
00001577: SUB
00001578: DUP4
00001579: DUP2
0000157a: AND
0000157b: PUSH0
0000157c: SWAP1
0000157d: DUP2
0000157e: MSTORE
0000157f: PUSH32 0x52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace01
000015a0: PUSH1 0x20
000015a2: SWAP1
000015a3: DUP2
000015a4: MSTORE
000015a5: PUSH1 0x40
000015a7: DUP1
000015a8: DUP4
000015a9: KECCAK256
000015aa: SWAP4
000015ab: DUP7
000015ac: AND
000015ad: DUP4
000015ae: MSTORE
000015af: SWAP3
000015b0: SWAP1
000015b1: MSTORE
000015b2: KECCAK256
000015b3: SLOAD
000015b4: PUSH0
000015b5: NOT
000015b6: DUP2
000015b7: EQ
000015b8: PUSH2 0x0b98
000015bb: JUMPI
000015bc: DUP2
000015bd: DUP2
000015be: LT
000015bf: ISZERO
000015c0: PUSH2 0x160e
000015c3: JUMPI
000015c4: PUSH1 0x40
000015c6: MLOAD
000015c7: PUSH32 0xfb8f41b200000000000000000000000000000000000000000000000000000000
000015e8: DUP2
000015e9: MSTORE
000015ea: PUSH1 0x01
000015ec: PUSH1 0x01
000015ee: PUSH1 0xa0
000015f0: SHL
000015f1: SUB
000015f2: DUP5
000015f3: AND
000015f4: PUSH1 0x04
000015f6: DUP3
000015f7: ADD
000015f8: MSTORE
000015f9: PUSH1 0x24
000015fb: DUP2
000015fc: ADD
000015fd: DUP3
000015fe: SWAP1
000015ff: MSTORE
00001600: PUSH1 0x44
00001602: DUP2
00001603: ADD
00001604: DUP4
00001605: SWAP1
00001606: MSTORE
00001607: PUSH1 0x64
00001609: ADD
0000160a: PUSH2 0x0c42
0000160d: JUMP
0000160e: JUMPDEST
0000160f: PUSH2 0x0b98
00001612: DUP5
00001613: DUP5
00001614: DUP5
00001615: DUP5
00001616: SUB
00001617: PUSH0
00001618: PUSH2 0x202d
0000161b: JUMP
0000161c: JUMPDEST
0000161d: PUSH1 0x01
0000161f: PUSH1 0x01
00001621: PUSH1 0xa0
00001623: SHL
00001624: SUB
00001625: DUP4
00001626: AND
00001627: PUSH2 0x1645
0000162a: JUMPI
0000162b: PUSH1 0x40
0000162d: MLOAD
0000162e: PUSH4 0x4b637e8f
00001633: PUSH1 0xe1
00001635: SHL
00001636: DUP2
00001637: MSTORE
00001638: PUSH0
00001639: PUSH1 0x04
0000163b: DUP3
0000163c: ADD
0000163d: MSTORE
0000163e: PUSH1 0x24
00001640: ADD
00001641: PUSH2 0x0c42
00001644: JUMP
00001645: JUMPDEST
00001646: PUSH1 0x01
00001648: PUSH1 0x01
0000164a: PUSH1 0xa0
0000164c: SHL
0000164d: SUB
0000164e: DUP3
0000164f: AND
00001650: PUSH2 0x166e
00001653: JUMPI
00001654: PUSH1 0x40
00001656: MLOAD
00001657: PUSH4 0xec442f05
0000165c: PUSH1 0xe0
0000165e: SHL
0000165f: DUP2
00001660: MSTORE
00001661: PUSH0
00001662: PUSH1 0x04
00001664: DUP3
00001665: ADD
00001666: MSTORE
00001667: PUSH1 0x24
00001669: ADD
0000166a: PUSH2 0x0c42
0000166d: JUMP
0000166e: JUMPDEST
0000166f: PUSH2 0x0bf8
00001672: DUP4
00001673: DUP4
00001674: DUP4
00001675: PUSH2 0x2156
00001678: JUMP
00001679: JUMPDEST
0000167a: PUSH2 0x0cba
0000167d: DUP2
0000167e: CALLER
0000167f: PUSH2 0x2161
00001682: JUMP
00001683: JUMPDEST
00001684: PUSH0
00001685: DUP3
00001686: DUP2
00001687: MSTORE
00001688: PUSH32 0x02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800
000016a9: PUSH1 0x20
000016ab: DUP2
000016ac: DUP2
000016ad: MSTORE
000016ae: PUSH1 0x40
000016b0: DUP1
000016b1: DUP5
000016b2: KECCAK256
000016b3: PUSH1 0x01
000016b5: PUSH1 0x01
000016b7: PUSH1 0xa0
000016b9: SHL
000016ba: SUB
000016bb: DUP7
000016bc: AND
000016bd: DUP6
000016be: MSTORE
000016bf: SWAP1
000016c0: SWAP2
000016c1: MSTORE
000016c2: DUP3
000016c3: KECCAK256
000016c4: SLOAD
000016c5: PUSH1 0xff
000016c7: AND
000016c8: PUSH2 0x1746
000016cb: JUMPI
000016cc: PUSH0
000016cd: DUP5
000016ce: DUP2
000016cf: MSTORE
000016d0: PUSH1 0x20
000016d2: DUP3
000016d3: DUP2
000016d4: MSTORE
000016d5: PUSH1 0x40
000016d7: DUP1
000016d8: DUP4
000016d9: KECCAK256
000016da: PUSH1 0x01
000016dc: PUSH1 0x01
000016de: PUSH1 0xa0
000016e0: SHL
000016e1: SUB
000016e2: DUP8
000016e3: AND
000016e4: DUP5
000016e5: MSTORE
000016e6: SWAP1
000016e7: SWAP2
000016e8: MSTORE
000016e9: SWAP1
000016ea: KECCAK256
000016eb: DUP1
000016ec: SLOAD
000016ed: PUSH1 0xff
000016ef: NOT
000016f0: AND
000016f1: PUSH1 0x01
000016f3: OR
000016f4: SWAP1
000016f5: SSTORE
000016f6: PUSH2 0x16fc
000016f9: CALLER
000016fa: SWAP1
000016fb: JUMP
000016fc: JUMPDEST
000016fd: PUSH1 0x01
000016ff: PUSH1 0x01
00001701: PUSH1 0xa0
00001703: SHL
00001704: SUB
00001705: AND
00001706: DUP4
00001707: PUSH1 0x01
00001709: PUSH1 0x01
0000170b: PUSH1 0xa0
0000170d: SHL
0000170e: SUB
0000170f: AND
00001710: DUP6
00001711: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
00001732: PUSH1 0x40
00001734: MLOAD
00001735: PUSH1 0x40
00001737: MLOAD
00001738: DUP1
00001739: SWAP2
0000173a: SUB
0000173b: SWAP1
0000173c: LOG4
0000173d: PUSH1 0x01
0000173f: SWAP2
00001740: POP
00001741: POP
00001742: PUSH2 0x0a5b
00001745: JUMP
00001746: JUMPDEST
00001747: PUSH0
00001748: SWAP2
00001749: POP
0000174a: POP
0000174b: PUSH2 0x0a5b
0000174e: JUMP
0000174f: JUMPDEST
00001750: POP
00001751: SWAP3
00001752: SWAP2
00001753: POP
00001754: POP
00001755: JUMP
00001756: JUMPDEST
00001757: PUSH0
00001758: PUSH2 0x0ba7
0000175b: PUSH2 0x21ed
0000175e: JUMP
0000175f: JUMPDEST
00001760: PUSH0
00001761: DUP3
00001762: DUP2
00001763: MSTORE
00001764: PUSH32 0x02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800
00001785: PUSH1 0x20
00001787: DUP2
00001788: DUP2
00001789: MSTORE
0000178a: PUSH1 0x40
0000178c: DUP1
0000178d: DUP5
0000178e: KECCAK256
0000178f: PUSH1 0x01
00001791: PUSH1 0x01
00001793: PUSH1 0xa0
00001795: SHL
00001796: SUB
00001797: DUP7
00001798: AND
00001799: DUP6
0000179a: MSTORE
0000179b: SWAP1
0000179c: SWAP2
0000179d: MSTORE
0000179e: DUP3
0000179f: KECCAK256
000017a0: SLOAD
000017a1: PUSH1 0xff
000017a3: AND
000017a4: ISZERO
000017a5: PUSH2 0x1746
000017a8: JUMPI
000017a9: PUSH0
000017aa: DUP5
000017ab: DUP2
000017ac: MSTORE
000017ad: PUSH1 0x20
000017af: DUP3
000017b0: DUP2
000017b1: MSTORE
000017b2: PUSH1 0x40
000017b4: DUP1
000017b5: DUP4
000017b6: KECCAK256
000017b7: PUSH1 0x01
000017b9: PUSH1 0x01
000017bb: PUSH1 0xa0
000017bd: SHL
000017be: SUB
000017bf: DUP8
000017c0: AND
000017c1: DUP1
000017c2: DUP6
000017c3: MSTORE
000017c4: SWAP3
000017c5: MSTORE
000017c6: DUP1
000017c7: DUP4
000017c8: KECCAK256
000017c9: DUP1
000017ca: SLOAD
000017cb: PUSH1 0xff
000017cd: NOT
000017ce: AND
000017cf: SWAP1
000017d0: SSTORE
000017d1: MLOAD
000017d2: CALLER
000017d3: SWAP3
000017d4: DUP8
000017d5: SWAP2
000017d6: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
000017f7: SWAP2
000017f8: SWAP1
000017f9: LOG4
000017fa: PUSH1 0x01
000017fc: SWAP2
000017fd: POP
000017fe: POP
000017ff: PUSH2 0x0a5b
00001802: JUMP
00001803: JUMPDEST
00001804: PUSH0
00001805: PUSH6 0xffffffffffff
0000180c: DUP3
0000180d: GT
0000180e: ISZERO
0000180f: PUSH2 0x1835
00001812: JUMPI
00001813: PUSH1 0x40
00001815: MLOAD
00001816: PUSH4 0x06dfcc65
0000181b: PUSH1 0xe4
0000181d: SHL
0000181e: DUP2
0000181f: MSTORE
00001820: PUSH1 0x30
00001822: PUSH1 0x04
00001824: DUP3
00001825: ADD
00001826: MSTORE
00001827: PUSH1 0x24
00001829: DUP2
0000182a: ADD
0000182b: DUP4
0000182c: SWAP1
0000182d: MSTORE
0000182e: PUSH1 0x44
00001830: ADD
00001831: PUSH2 0x0c42
00001834: JUMP
00001835: JUMPDEST
00001836: POP
00001837: SWAP1
00001838: JUMP
00001839: JUMPDEST
0000183a: DUP2
0000183b: SLOAD
0000183c: PUSH0
0000183d: SWAP1
0000183e: DUP2
0000183f: DUP2
00001840: PUSH1 0x05
00001842: DUP2
00001843: GT
00001844: ISZERO
00001845: PUSH2 0x1895
00001848: JUMPI
00001849: PUSH0
0000184a: PUSH2 0x1852
0000184d: DUP5
0000184e: PUSH2 0x2260
00001851: JUMP
00001852: JUMPDEST
00001853: PUSH2 0x185c
00001856: SWAP1
00001857: DUP6
00001858: PUSH2 0x37b7
0000185b: JUMP
0000185c: JUMPDEST
0000185d: PUSH0
0000185e: DUP9
0000185f: DUP2
00001860: MSTORE
00001861: PUSH1 0x20
00001863: SWAP1
00001864: KECCAK256
00001865: SWAP1
00001866: SWAP2
00001867: POP
00001868: DUP2
00001869: ADD
0000186a: SLOAD
0000186b: PUSH6 0xffffffffffff
00001872: SWAP1
00001873: DUP2
00001874: AND
00001875: SWAP1
00001876: DUP8
00001877: AND
00001878: LT
00001879: ISZERO
0000187a: PUSH2 0x1885
0000187d: JUMPI
0000187e: DUP1
0000187f: SWAP2
00001880: POP
00001881: PUSH2 0x1893
00001884: JUMP
00001885: JUMPDEST
00001886: PUSH2 0x1890
00001889: DUP2
0000188a: PUSH1 0x01
0000188c: PUSH2 0x37ca
0000188f: JUMP
00001890: JUMPDEST
00001891: SWAP3
00001892: POP
00001893: JUMPDEST
00001894: POP
00001895: JUMPDEST
00001896: PUSH0
00001897: PUSH2 0x18a2
0000189a: DUP8
0000189b: DUP8
0000189c: DUP6
0000189d: DUP6
0000189e: PUSH2 0x2344
000018a1: JUMP
000018a2: JUMPDEST
000018a3: SWAP1
000018a4: POP
000018a5: DUP1
000018a6: ISZERO
000018a7: PUSH2 0x18df
000018aa: JUMPI
000018ab: PUSH2 0x18c6
000018ae: DUP8
000018af: PUSH2 0x18b9
000018b2: PUSH1 0x01
000018b4: DUP5
000018b5: PUSH2 0x37b7
000018b8: JUMP
000018b9: JUMPDEST
000018ba: PUSH0
000018bb: SWAP2
000018bc: DUP3
000018bd: MSTORE
000018be: PUSH1 0x20
000018c0: SWAP1
000018c1: SWAP2
000018c2: KECCAK256
000018c3: ADD
000018c4: SWAP1
000018c5: JUMP
000018c6: JUMPDEST
000018c7: SLOAD
000018c8: PUSH7 0x01000000000000
000018d0: SWAP1
000018d1: DIV
000018d2: PUSH1 0x01
000018d4: PUSH1 0x01
000018d6: PUSH1 0xd0
000018d8: SHL
000018d9: SUB
000018da: AND
000018db: PUSH2 0x18e1
000018de: JUMP
000018df: JUMPDEST
000018e0: PUSH0
000018e1: JUMPDEST
000018e2: SWAP8
000018e3: SWAP7
000018e4: POP
000018e5: POP
000018e6: POP
000018e7: POP
000018e8: POP
000018e9: POP
000018ea: POP
000018eb: JUMP
000018ec: JUMPDEST
000018ed: PUSH2 0x18f4
000018f0: PUSH2 0x23a3
000018f3: JUMP
000018f4: JUMPDEST
000018f5: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00001916: DUP1
00001917: SLOAD
00001918: PUSH1 0xff
0000191a: NOT
0000191b: AND
0000191c: DUP2
0000191d: SSTORE
0000191e: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
0000193f: CALLER
00001940: JUMPDEST
00001941: PUSH1 0x40
00001943: MLOAD
00001944: PUSH1 0x01
00001946: PUSH1 0x01
00001948: PUSH1 0xa0
0000194a: SHL
0000194b: SUB
0000194c: SWAP1
0000194d: SWAP2
0000194e: AND
0000194f: DUP2
00001950: MSTORE
00001951: PUSH1 0x20
00001953: ADD
00001954: PUSH1 0x40
00001956: MLOAD
00001957: DUP1
00001958: SWAP2
00001959: SUB
0000195a: SWAP1
0000195b: LOG1
0000195c: POP
0000195d: JUMP
0000195e: JUMPDEST
0000195f: PUSH2 0x1966
00001962: PUSH2 0x23fe
00001965: JUMP
00001966: JUMPDEST
00001967: PUSH2 0x0fae
0000196a: DUP3
0000196b: DUP3
0000196c: PUSH2 0x2465
0000196f: JUMP
00001970: JUMPDEST
00001971: PUSH2 0x1978
00001974: PUSH2 0x23fe
00001977: JUMP
00001978: JUMPDEST
00001979: JUMP
0000197a: JUMPDEST
0000197b: PUSH2 0x1982
0000197e: PUSH2 0x23fe
00001981: JUMP
00001982: JUMPDEST
00001983: PUSH2 0x1978
00001986: PUSH2 0x24c8
00001989: JUMP
0000198a: JUMPDEST
0000198b: PUSH2 0x1992
0000198e: PUSH2 0x23fe
00001991: JUMP
00001992: JUMPDEST
00001993: PUSH2 0x0cba
00001996: DUP2
00001997: PUSH1 0x40
00001999: MLOAD
0000199a: DUP1
0000199b: PUSH1 0x40
0000199d: ADD
0000199e: PUSH1 0x40
000019a0: MSTORE
000019a1: DUP1
000019a2: PUSH1 0x01
000019a4: DUP2
000019a5: MSTORE
000019a6: PUSH1 0x20
000019a8: ADD
000019a9: PUSH32 0x3100000000000000000000000000000000000000000000000000000000000000
000019ca: DUP2
000019cb: MSTORE
000019cc: POP
000019cd: PUSH2 0x24fb
000019d0: JUMP
000019d1: JUMPDEST
000019d2: PUSH1 0x01
000019d4: PUSH1 0x01
000019d6: PUSH1 0xa0
000019d8: SHL
000019d9: SUB
000019da: DUP3
000019db: AND
000019dc: PUSH2 0x19fa
000019df: JUMPI
000019e0: PUSH1 0x40
000019e2: MLOAD
000019e3: PUSH4 0xec442f05
000019e8: PUSH1 0xe0
000019ea: SHL
000019eb: DUP2
000019ec: MSTORE
000019ed: PUSH0
000019ee: PUSH1 0x04
000019f0: DUP3
000019f1: ADD
000019f2: MSTORE
000019f3: PUSH1 0x24
000019f5: ADD
000019f6: PUSH2 0x0c42
000019f9: JUMP
000019fa: JUMPDEST
000019fb: PUSH2 0x0fae
000019fe: PUSH0
000019ff: DUP4
00001a00: DUP4
00001a01: PUSH2 0x2156
00001a04: JUMP
00001a05: JUMPDEST
00001a06: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00001a27: SLOAD
00001a28: PUSH1 0xff
00001a2a: AND
00001a2b: ISZERO
00001a2c: PUSH2 0x1978
00001a2f: JUMPI
00001a30: PUSH1 0x40
00001a32: MLOAD
00001a33: PUSH32 0xd93c066500000000000000000000000000000000000000000000000000000000
00001a54: DUP2
00001a55: MSTORE
00001a56: PUSH1 0x04
00001a58: ADD
00001a59: PUSH1 0x40
00001a5b: MLOAD
00001a5c: DUP1
00001a5d: SWAP2
00001a5e: SUB
00001a5f: SWAP1
00001a60: REVERT
00001a61: JUMPDEST
00001a62: PUSH1 0x01
00001a64: PUSH1 0x01
00001a66: PUSH1 0xa0
00001a68: SHL
00001a69: SUB
00001a6a: DUP3
00001a6b: AND
00001a6c: PUSH2 0x1a8a
00001a6f: JUMPI
00001a70: PUSH1 0x40
00001a72: MLOAD
00001a73: PUSH4 0x4b637e8f
00001a78: PUSH1 0xe1
00001a7a: SHL
00001a7b: DUP2
00001a7c: MSTORE
00001a7d: PUSH0
00001a7e: PUSH1 0x04
00001a80: DUP3
00001a81: ADD
00001a82: MSTORE
00001a83: PUSH1 0x24
00001a85: ADD
00001a86: PUSH2 0x0c42
00001a89: JUMP
00001a8a: JUMPDEST
00001a8b: PUSH2 0x0fae
00001a8e: DUP3
00001a8f: PUSH0
00001a90: DUP4
00001a91: PUSH2 0x2156
00001a94: JUMP
00001a95: JUMPDEST
00001a96: ADDRESS
00001a97: PUSH1 0x01
00001a99: PUSH1 0x01
00001a9b: PUSH1 0xa0
00001a9d: SHL
00001a9e: SUB
00001a9f: PUSH32 0x00000000000000000000000079ebc9a2ce02277a4b5b3a768b1c0a4ed75bd936
00001ac0: AND
00001ac1: EQ
00001ac2: DUP1
00001ac3: PUSH2 0x1b2e
00001ac6: JUMPI
00001ac7: POP
00001ac8: PUSH32 0x00000000000000000000000079ebc9a2ce02277a4b5b3a768b1c0a4ed75bd936
00001ae9: PUSH1 0x01
00001aeb: PUSH1 0x01
00001aed: PUSH1 0xa0
00001aef: SHL
00001af0: SUB
00001af1: AND
00001af2: PUSH2 0x1b22
00001af5: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00001b16: SLOAD
00001b17: PUSH1 0x01
00001b19: PUSH1 0x01
00001b1b: PUSH1 0xa0
00001b1d: SHL
00001b1e: SUB
00001b1f: AND
00001b20: SWAP1
00001b21: JUMP
00001b22: JUMPDEST
00001b23: PUSH1 0x01
00001b25: PUSH1 0x01
00001b27: PUSH1 0xa0
00001b29: SHL
00001b2a: SUB
00001b2b: AND
00001b2c: EQ
00001b2d: ISZERO
00001b2e: JUMPDEST
00001b2f: ISZERO
00001b30: PUSH2 0x1978
00001b33: JUMPI
00001b34: PUSH1 0x40
00001b36: MLOAD
00001b37: PUSH4 0x703e46dd
00001b3c: PUSH1 0xe1
00001b3e: SHL
00001b3f: DUP2
00001b40: MSTORE
00001b41: PUSH1 0x04
00001b43: ADD
00001b44: PUSH1 0x40
00001b46: MLOAD
00001b47: DUP1
00001b48: SWAP2
00001b49: SUB
00001b4a: SWAP1
00001b4b: REVERT
00001b4c: JUMPDEST
00001b4d: PUSH32 0x189ab7a9244df0848122154315af71fe140f3db0fe014031783b0946b8c9d2e3
00001b6e: PUSH2 0x0fae
00001b71: DUP2
00001b72: PUSH2 0x1679
00001b75: JUMP
00001b76: JUMPDEST
00001b77: DUP2
00001b78: PUSH1 0x01
00001b7a: PUSH1 0x01
00001b7c: PUSH1 0xa0
00001b7e: SHL
00001b7f: SUB
00001b80: AND
00001b81: PUSH4 0x52d1902d
00001b86: PUSH1 0x40
00001b88: MLOAD
00001b89: DUP2
00001b8a: PUSH4 0xffffffff
00001b8f: AND
00001b90: PUSH1 0xe0
00001b92: SHL
00001b93: DUP2
00001b94: MSTORE
00001b95: PUSH1 0x04
00001b97: ADD
00001b98: PUSH1 0x20
00001b9a: PUSH1 0x40
00001b9c: MLOAD
00001b9d: DUP1
00001b9e: DUP4
00001b9f: SUB
00001ba0: DUP2
00001ba1: DUP7
00001ba2: GAS
00001ba3: STATICCALL
00001ba4: SWAP3
00001ba5: POP
00001ba6: POP
00001ba7: POP
00001ba8: DUP1
00001ba9: ISZERO
00001baa: PUSH2 0x1bd0
00001bad: JUMPI
00001bae: POP
00001baf: PUSH1 0x40
00001bb1: DUP1
00001bb2: MLOAD
00001bb3: PUSH1 0x1f
00001bb5: RETURNDATASIZE
00001bb6: SWAP1
00001bb7: DUP2
00001bb8: ADD
00001bb9: PUSH1 0x1f
00001bbb: NOT
00001bbc: AND
00001bbd: DUP3
00001bbe: ADD
00001bbf: SWAP1
00001bc0: SWAP3
00001bc1: MSTORE
00001bc2: PUSH2 0x1bcd
00001bc5: SWAP2
00001bc6: DUP2
00001bc7: ADD
00001bc8: SWAP1
00001bc9: PUSH2 0x37dd
00001bcc: JUMP
00001bcd: JUMPDEST
00001bce: PUSH1 0x01
00001bd0: JUMPDEST
00001bd1: PUSH2 0x1bf8
00001bd4: JUMPI
00001bd5: PUSH1 0x40
00001bd7: MLOAD
00001bd8: PUSH4 0x4c9c8ce3
00001bdd: PUSH1 0xe0
00001bdf: SHL
00001be0: DUP2
00001be1: MSTORE
00001be2: PUSH1 0x01
00001be4: PUSH1 0x01
00001be6: PUSH1 0xa0
00001be8: SHL
00001be9: SUB
00001bea: DUP4
00001beb: AND
00001bec: PUSH1 0x04
00001bee: DUP3
00001bef: ADD
00001bf0: MSTORE
00001bf1: PUSH1 0x24
00001bf3: ADD
00001bf4: PUSH2 0x0c42
00001bf7: JUMP
00001bf8: JUMPDEST
00001bf9: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00001c1a: DUP2
00001c1b: EQ
00001c1c: PUSH2 0x1c54
00001c1f: JUMPI
00001c20: PUSH1 0x40
00001c22: MLOAD
00001c23: PUSH32 0xaa1d49a400000000000000000000000000000000000000000000000000000000
00001c44: DUP2
00001c45: MSTORE
00001c46: PUSH1 0x04
00001c48: DUP2
00001c49: ADD
00001c4a: DUP3
00001c4b: SWAP1
00001c4c: MSTORE
00001c4d: PUSH1 0x24
00001c4f: ADD
00001c50: PUSH2 0x0c42
00001c53: JUMP
00001c54: JUMPDEST
00001c55: PUSH2 0x0bf8
00001c58: DUP4
00001c59: DUP4
00001c5a: PUSH2 0x256d
00001c5d: JUMP
00001c5e: JUMPDEST
00001c5f: ADDRESS
00001c60: PUSH1 0x01
00001c62: PUSH1 0x01
00001c64: PUSH1 0xa0
00001c66: SHL
00001c67: SUB
00001c68: PUSH32 0x00000000000000000000000079ebc9a2ce02277a4b5b3a768b1c0a4ed75bd936
00001c89: AND
00001c8a: EQ
00001c8b: PUSH2 0x1978
00001c8e: JUMPI
00001c8f: PUSH1 0x40
00001c91: MLOAD
00001c92: PUSH4 0x703e46dd
00001c97: PUSH1 0xe1
00001c99: SHL
00001c9a: DUP2
00001c9b: MSTORE
00001c9c: PUSH1 0x04
00001c9e: ADD
00001c9f: PUSH1 0x40
00001ca1: MLOAD
00001ca2: DUP1
00001ca3: SWAP2
00001ca4: SUB
00001ca5: SWAP1
00001ca6: REVERT
00001ca7: JUMPDEST
00001ca8: PUSH0
00001ca9: DUP1
00001caa: MLOAD
00001cab: PUSH1 0x20
00001cad: PUSH2 0x39b4
00001cb0: DUP4
00001cb1: CODECOPY
00001cb2: DUP2
00001cb3: MLOAD
00001cb4: SWAP2
00001cb5: MSTORE
00001cb6: PUSH0
00001cb7: PUSH2 0x1ce3
00001cba: DUP5
00001cbb: PUSH1 0x01
00001cbd: PUSH1 0x01
00001cbf: PUSH1 0xa0
00001cc1: SHL
00001cc2: SUB
00001cc3: SWAP1
00001cc4: DUP2
00001cc5: AND
00001cc6: PUSH0
00001cc7: SWAP1
00001cc8: DUP2
00001cc9: MSTORE
00001cca: PUSH0
00001ccb: DUP1
00001ccc: MLOAD
00001ccd: PUSH1 0x20
00001ccf: PUSH2 0x39b4
00001cd2: DUP4
00001cd3: CODECOPY
00001cd4: DUP2
00001cd5: MLOAD
00001cd6: SWAP2
00001cd7: MSTORE
00001cd8: PUSH1 0x20
00001cda: MSTORE
00001cdb: PUSH1 0x40
00001cdd: SWAP1
00001cde: KECCAK256
00001cdf: SLOAD
00001ce0: AND
00001ce1: SWAP1
00001ce2: JUMP
00001ce3: JUMPDEST
00001ce4: PUSH1 0x01
00001ce6: PUSH1 0x01
00001ce8: PUSH1 0xa0
00001cea: SHL
00001ceb: SUB
00001cec: DUP6
00001ced: DUP2
00001cee: AND
00001cef: PUSH0
00001cf0: DUP2
00001cf1: DUP2
00001cf2: MSTORE
00001cf3: PUSH1 0x20
00001cf5: DUP7
00001cf6: SWAP1
00001cf7: MSTORE
00001cf8: PUSH1 0x40
00001cfa: DUP1
00001cfb: DUP3
00001cfc: KECCAK256
00001cfd: DUP1
00001cfe: SLOAD
00001cff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d14: NOT
00001d15: AND
00001d16: DUP10
00001d17: DUP7
00001d18: AND
00001d19: SWAP1
00001d1a: DUP2
00001d1b: OR
00001d1c: SWAP1
00001d1d: SWAP2
00001d1e: SSTORE
00001d1f: SWAP1
00001d20: MLOAD
00001d21: SWAP5
00001d22: SWAP6
00001d23: POP
00001d24: SWAP4
00001d25: SWAP3
00001d26: DUP6
00001d27: AND
00001d28: SWAP3
00001d29: PUSH32 0x3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f
00001d4a: SWAP2
00001d4b: SWAP1
00001d4c: LOG4
00001d4d: PUSH2 0x0b98
00001d50: DUP2
00001d51: DUP5
00001d52: PUSH2 0x1d5a
00001d55: DUP8
00001d56: PUSH2 0x25c2
00001d59: JUMP
00001d5a: JUMPDEST
00001d5b: PUSH2 0x25cc
00001d5e: JUMP
00001d5f: JUMPDEST
00001d60: PUSH1 0x01
00001d62: PUSH1 0x01
00001d64: PUSH1 0xa0
00001d66: SHL
00001d67: SUB
00001d68: DUP2
00001d69: AND
00001d6a: PUSH0
00001d6b: SWAP1
00001d6c: DUP2
00001d6d: MSTORE
00001d6e: PUSH32 0xe8b26c30fad74198956032a3533d903385d56dd795af560196f9c78d4af40d01
00001d8f: PUSH1 0x20
00001d91: MSTORE
00001d92: PUSH1 0x40
00001d94: DUP2
00001d95: KECCAK256
00001d96: SLOAD
00001d97: PUSH0
00001d98: DUP1
00001d99: MLOAD
00001d9a: PUSH1 0x20
00001d9c: PUSH2 0x39b4
00001d9f: DUP4
00001da0: CODECOPY
00001da1: DUP2
00001da2: MLOAD
00001da3: SWAP2
00001da4: MSTORE
00001da5: SWAP1
00001da6: PUSH2 0x0b4e
00001da9: SWAP1
00001daa: PUSH2 0x2742
00001dad: JUMP
00001dae: JUMPDEST
00001daf: PUSH0
00001db0: PUSH2 0x0a5b
00001db3: DUP3
00001db4: PUSH2 0x2772
00001db7: JUMP
00001db8: JUMPDEST
00001db9: PUSH2 0x1dc0
00001dbc: PUSH2 0x1a05
00001dbf: JUMP
00001dc0: JUMPDEST
00001dc1: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00001de2: DUP1
00001de3: SLOAD
00001de4: PUSH1 0xff
00001de6: NOT
00001de7: AND
00001de8: PUSH1 0x01
00001dea: OR
00001deb: DUP2
00001dec: SSTORE
00001ded: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00001e0e: CALLER
00001e0f: PUSH2 0x1940
00001e12: JUMP
00001e13: JUMPDEST
00001e14: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d102
00001e35: DUP1
00001e36: SLOAD
00001e37: PUSH1 0x60
00001e39: SWAP2
00001e3a: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100
00001e5b: SWAP2
00001e5c: PUSH2 0x0a97
00001e5f: SWAP1
00001e60: PUSH2 0x3666
00001e63: JUMP
00001e64: JUMPDEST
00001e65: PUSH1 0x60
00001e67: PUSH0
00001e68: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100
00001e89: PUSH2 0x0a86
00001e8c: JUMP
00001e8d: JUMPDEST
00001e8e: DUP1
00001e8f: SLOAD
00001e90: PUSH0
00001e91: SWAP1
00001e92: DUP1
00001e93: ISZERO
00001e94: PUSH2 0x1ebf
00001e97: JUMPI
00001e98: PUSH2 0x1ea6
00001e9b: DUP4
00001e9c: PUSH2 0x18b9
00001e9f: PUSH1 0x01
00001ea1: DUP5
00001ea2: PUSH2 0x37b7
00001ea5: JUMP
00001ea6: JUMPDEST
00001ea7: SLOAD
00001ea8: PUSH7 0x01000000000000
00001eb0: SWAP1
00001eb1: DIV
00001eb2: PUSH1 0x01
00001eb4: PUSH1 0x01
00001eb6: PUSH1 0xd0
00001eb8: SHL
00001eb9: SUB
00001eba: AND
00001ebb: PUSH2 0x0b4e
00001ebe: JUMP
00001ebf: JUMPDEST
00001ec0: PUSH0
00001ec1: SWAP4
00001ec2: SWAP3
00001ec3: POP
00001ec4: POP
00001ec5: POP
00001ec6: JUMP
00001ec7: JUMPDEST
00001ec8: PUSH0
00001ec9: PUSH2 0x0a5b
00001ecc: PUSH2 0x1ed3
00001ecf: PUSH2 0x1756
00001ed2: JUMP
00001ed3: JUMPDEST
00001ed4: DUP4
00001ed5: PUSH1 0x40
00001ed7: MLOAD
00001ed8: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
00001ef9: DUP2
00001efa: MSTORE
00001efb: PUSH1 0x02
00001efd: DUP2
00001efe: ADD
00001eff: SWAP3
00001f00: SWAP1
00001f01: SWAP3
00001f02: MSTORE
00001f03: PUSH1 0x22
00001f05: DUP3
00001f06: ADD
00001f07: MSTORE
00001f08: PUSH1 0x42
00001f0a: SWAP1
00001f0b: KECCAK256
00001f0c: SWAP1
00001f0d: JUMP
00001f0e: JUMPDEST
00001f0f: PUSH0
00001f10: DUP1
00001f11: PUSH0
00001f12: DUP1
00001f13: PUSH2 0x1f1e
00001f16: DUP9
00001f17: DUP9
00001f18: DUP9
00001f19: DUP9
00001f1a: PUSH2 0x279a
00001f1d: JUMP
00001f1e: JUMPDEST
00001f1f: SWAP3
00001f20: POP
00001f21: SWAP3
00001f22: POP
00001f23: SWAP3
00001f24: POP
00001f25: PUSH2 0x1f2e
00001f28: DUP3
00001f29: DUP3
00001f2a: PUSH2 0x2862
00001f2d: JUMP
00001f2e: JUMPDEST
00001f2f: POP
00001f30: SWAP1
00001f31: SWAP7
00001f32: SWAP6
00001f33: POP
00001f34: POP
00001f35: POP
00001f36: POP
00001f37: POP
00001f38: POP
00001f39: JUMP
00001f3a: JUMPDEST
00001f3b: PUSH1 0x01
00001f3d: PUSH1 0x01
00001f3f: PUSH1 0xa0
00001f41: SHL
00001f42: SUB
00001f43: DUP3
00001f44: AND
00001f45: PUSH0
00001f46: SWAP1
00001f47: DUP2
00001f48: MSTORE
00001f49: PUSH32 0x5ab42ced628888259c08ac98db1eb0cf702fc1501344311d8b100cd1bfe4bb00
00001f6a: PUSH1 0x20
00001f6c: MSTORE
00001f6d: PUSH1 0x40
00001f6f: SWAP1
00001f70: KECCAK256
00001f71: DUP1
00001f72: SLOAD
00001f73: PUSH1 0x01
00001f75: DUP2
00001f76: ADD
00001f77: SWAP1
00001f78: SWAP2
00001f79: SSTORE
00001f7a: DUP2
00001f7b: DUP2
00001f7c: EQ
00001f7d: PUSH2 0x0bf8
00001f80: JUMPI
00001f81: PUSH1 0x40
00001f83: MLOAD
00001f84: PUSH32 0x752d88c000000000000000000000000000000000000000000000000000000000
00001fa5: DUP2
00001fa6: MSTORE
00001fa7: PUSH1 0x01
00001fa9: PUSH1 0x01
00001fab: PUSH1 0xa0
00001fad: SHL
00001fae: SUB
00001faf: DUP5
00001fb0: AND
00001fb1: PUSH1 0x04
00001fb3: DUP3
00001fb4: ADD
00001fb5: MSTORE
00001fb6: PUSH1 0x24
00001fb8: DUP2
00001fb9: ADD
00001fba: DUP3
00001fbb: SWAP1
00001fbc: MSTORE
00001fbd: PUSH1 0x44
00001fbf: ADD
00001fc0: PUSH2 0x0c42
00001fc3: JUMP
00001fc4: JUMPDEST
00001fc5: PUSH1 0x40
00001fc7: DUP1
00001fc8: MLOAD
00001fc9: DUP1
00001fca: DUP3
00001fcb: ADD
00001fcc: DUP3
00001fcd: MSTORE
00001fce: PUSH0
00001fcf: DUP1
00001fd0: DUP3
00001fd1: MSTORE
00001fd2: PUSH1 0x20
00001fd4: DUP1
00001fd5: DUP4
00001fd6: ADD
00001fd7: DUP3
00001fd8: SWAP1
00001fd9: MSTORE
00001fda: PUSH1 0x01
00001fdc: PUSH1 0x01
00001fde: PUSH1 0xa0
00001fe0: SHL
00001fe1: SUB
00001fe2: DUP7
00001fe3: AND
00001fe4: DUP3
00001fe5: MSTORE
00001fe6: PUSH32 0xe8b26c30fad74198956032a3533d903385d56dd795af560196f9c78d4af40d01
00002007: SWAP1
00002008: MSTORE
00002009: SWAP2
0000200a: SWAP1
0000200b: SWAP2
0000200c: KECCAK256
0000200d: PUSH0
0000200e: DUP1
0000200f: MLOAD
00002010: PUSH1 0x20
00002012: PUSH2 0x39b4
00002015: DUP4
00002016: CODECOPY
00002017: DUP2
00002018: MLOAD
00002019: SWAP2
0000201a: MSTORE
0000201b: SWAP1
0000201c: PUSH2 0x2025
0000201f: SWAP1
00002020: DUP5
00002021: PUSH2 0x2965
00002024: JUMP
00002025: JUMPDEST
00002026: SWAP5
00002027: SWAP4
00002028: POP
00002029: POP
0000202a: POP
0000202b: POP
0000202c: JUMP
0000202d: JUMPDEST
0000202e: PUSH32 0x52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00
0000204f: PUSH1 0x01
00002051: PUSH1 0x01
00002053: PUSH1 0xa0
00002055: SHL
00002056: SUB
00002057: DUP6
00002058: AND
00002059: PUSH2 0x2090
0000205c: JUMPI
0000205d: PUSH1 0x40
0000205f: MLOAD
00002060: PUSH32 0xe602df0500000000000000000000000000000000000000000000000000000000
00002081: DUP2
00002082: MSTORE
00002083: PUSH0
00002084: PUSH1 0x04
00002086: DUP3
00002087: ADD
00002088: MSTORE
00002089: PUSH1 0x24
0000208b: ADD
0000208c: PUSH2 0x0c42
0000208f: JUMP
00002090: JUMPDEST
00002091: PUSH1 0x01
00002093: PUSH1 0x01
00002095: PUSH1 0xa0
00002097: SHL
00002098: SUB
00002099: DUP5
0000209a: AND
0000209b: PUSH2 0x20d2
0000209e: JUMPI
0000209f: PUSH1 0x40
000020a1: MLOAD
000020a2: PUSH32 0x94280d6200000000000000000000000000000000000000000000000000000000
000020c3: DUP2
000020c4: MSTORE
000020c5: PUSH0
000020c6: PUSH1 0x04
000020c8: DUP3
000020c9: ADD
000020ca: MSTORE
000020cb: PUSH1 0x24
000020cd: ADD
000020ce: PUSH2 0x0c42
000020d1: JUMP
000020d2: JUMPDEST
000020d3: PUSH1 0x01
000020d5: PUSH1 0x01
000020d7: PUSH1 0xa0
000020d9: SHL
000020da: SUB
000020db: DUP1
000020dc: DUP7
000020dd: AND
000020de: PUSH0
000020df: SWAP1
000020e0: DUP2
000020e1: MSTORE
000020e2: PUSH1 0x01
000020e4: DUP4
000020e5: ADD
000020e6: PUSH1 0x20
000020e8: SWAP1
000020e9: DUP2
000020ea: MSTORE
000020eb: PUSH1 0x40
000020ed: DUP1
000020ee: DUP4
000020ef: KECCAK256
000020f0: SWAP4
000020f1: DUP9
000020f2: AND
000020f3: DUP4
000020f4: MSTORE
000020f5: SWAP3
000020f6: SWAP1
000020f7: MSTORE
000020f8: KECCAK256
000020f9: DUP4
000020fa: SWAP1
000020fb: SSTORE
000020fc: DUP2
000020fd: ISZERO
000020fe: PUSH2 0x214f
00002101: JUMPI
00002102: DUP4
00002103: PUSH1 0x01
00002105: PUSH1 0x01
00002107: PUSH1 0xa0
00002109: SHL
0000210a: SUB
0000210b: AND
0000210c: DUP6
0000210d: PUSH1 0x01
0000210f: PUSH1 0x01
00002111: PUSH1 0xa0
00002113: SHL
00002114: SUB
00002115: AND
00002116: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00002137: DUP6
00002138: PUSH1 0x40
0000213a: MLOAD
0000213b: PUSH2 0x2146
0000213e: SWAP2
0000213f: DUP2
00002140: MSTORE
00002141: PUSH1 0x20
00002143: ADD
00002144: SWAP1
00002145: JUMP
00002146: JUMPDEST
00002147: PUSH1 0x40
00002149: MLOAD
0000214a: DUP1
0000214b: SWAP2
0000214c: SUB
0000214d: SWAP1
0000214e: LOG3
0000214f: JUMPDEST
00002150: POP
00002151: POP
00002152: POP
00002153: POP
00002154: POP
00002155: JUMP
00002156: JUMPDEST
00002157: PUSH2 0x0bf8
0000215a: DUP4
0000215b: DUP4
0000215c: DUP4
0000215d: PUSH2 0x29d5
00002160: JUMP
00002161: JUMPDEST
00002162: PUSH0
00002163: DUP3
00002164: DUP2
00002165: MSTORE
00002166: PUSH32 0x02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800
00002187: PUSH1 0x20
00002189: SWAP1
0000218a: DUP2
0000218b: MSTORE
0000218c: PUSH1 0x40
0000218e: DUP1
0000218f: DUP4
00002190: KECCAK256
00002191: PUSH1 0x01
00002193: PUSH1 0x01
00002195: PUSH1 0xa0
00002197: SHL
00002198: SUB
00002199: DUP6
0000219a: AND
0000219b: DUP5
0000219c: MSTORE
0000219d: SWAP1
0000219e: SWAP2
0000219f: MSTORE
000021a0: SWAP1
000021a1: KECCAK256
000021a2: SLOAD
000021a3: PUSH1 0xff
000021a5: AND
000021a6: PUSH2 0x0fae
000021a9: JUMPI
000021aa: PUSH1 0x40
000021ac: MLOAD
000021ad: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000
000021ce: DUP2
000021cf: MSTORE
000021d0: PUSH1 0x01
000021d2: PUSH1 0x01
000021d4: PUSH1 0xa0
000021d6: SHL
000021d7: SUB
000021d8: DUP3
000021d9: AND
000021da: PUSH1 0x04
000021dc: DUP3
000021dd: ADD
000021de: MSTORE
000021df: PUSH1 0x24
000021e1: DUP2
000021e2: ADD
000021e3: DUP4
000021e4: SWAP1
000021e5: MSTORE
000021e6: PUSH1 0x44
000021e8: ADD
000021e9: PUSH2 0x0c42
000021ec: JUMP
000021ed: JUMPDEST
000021ee: PUSH0
000021ef: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
00002210: PUSH2 0x2217
00002213: PUSH2 0x2a73
00002216: JUMP
00002217: JUMPDEST
00002218: PUSH2 0x221f
0000221b: PUSH2 0x2aee
0000221e: JUMP
0000221f: JUMPDEST
00002220: PUSH1 0x40
00002222: DUP1
00002223: MLOAD
00002224: PUSH1 0x20
00002226: DUP2
00002227: ADD
00002228: SWAP5
00002229: SWAP1
0000222a: SWAP5
0000222b: MSTORE
0000222c: DUP4
0000222d: ADD
0000222e: SWAP2
0000222f: SWAP1
00002230: SWAP2
00002231: MSTORE
00002232: PUSH1 0x60
00002234: DUP3
00002235: ADD
00002236: MSTORE
00002237: CHAINID
00002238: PUSH1 0x80
0000223a: DUP3
0000223b: ADD
0000223c: MSTORE
0000223d: ADDRESS
0000223e: PUSH1 0xa0
00002240: DUP3
00002241: ADD
00002242: MSTORE
00002243: PUSH1 0xc0
00002245: ADD
00002246: PUSH1 0x40
00002248: MLOAD
00002249: PUSH1 0x20
0000224b: DUP2
0000224c: DUP4
0000224d: SUB
0000224e: SUB
0000224f: DUP2
00002250: MSTORE
00002251: SWAP1
00002252: PUSH1 0x40
00002254: MSTORE
00002255: DUP1
00002256: MLOAD
00002257: SWAP1
00002258: PUSH1 0x20
0000225a: ADD
0000225b: KECCAK256
0000225c: SWAP1
0000225d: POP
0000225e: SWAP1
0000225f: JUMP
00002260: JUMPDEST
00002261: PUSH0
00002262: DUP2
00002263: PUSH0
00002264: SUB
00002265: PUSH2 0x226f
00002268: JUMPI
00002269: POP
0000226a: PUSH0
0000226b: SWAP2
0000226c: SWAP1
0000226d: POP
0000226e: JUMP
0000226f: JUMPDEST
00002270: PUSH0
00002271: PUSH1 0x01
00002273: PUSH2 0x227b
00002276: DUP5
00002277: PUSH2 0x2b43
0000227a: JUMP
0000227b: JUMPDEST
0000227c: SWAP1
0000227d: SHR
0000227e: PUSH1 0x01
00002280: SWAP1
00002281: SHL
00002282: SWAP1
00002283: POP
00002284: PUSH1 0x01
00002286: DUP2
00002287: DUP5
00002288: DUP2
00002289: PUSH2 0x2294
0000228c: JUMPI
0000228d: PUSH2 0x2294
00002290: PUSH2 0x37f4
00002293: JUMP
00002294: JUMPDEST
00002295: DIV
00002296: DUP3
00002297: ADD
00002298: SWAP1
00002299: SHR
0000229a: SWAP1
0000229b: POP
0000229c: PUSH1 0x01
0000229e: DUP2
0000229f: DUP5
000022a0: DUP2
000022a1: PUSH2 0x22ac
000022a4: JUMPI
000022a5: PUSH2 0x22ac
000022a8: PUSH2 0x37f4
000022ab: JUMP
000022ac: JUMPDEST
000022ad: DIV
000022ae: DUP3
000022af: ADD
000022b0: SWAP1
000022b1: SHR
000022b2: SWAP1
000022b3: POP
000022b4: PUSH1 0x01
000022b6: DUP2
000022b7: DUP5
000022b8: DUP2
000022b9: PUSH2 0x22c4
000022bc: JUMPI
000022bd: PUSH2 0x22c4
000022c0: PUSH2 0x37f4
000022c3: JUMP
000022c4: JUMPDEST
000022c5: DIV
000022c6: DUP3
000022c7: ADD
000022c8: SWAP1
000022c9: SHR
000022ca: SWAP1
000022cb: POP
000022cc: PUSH1 0x01
000022ce: DUP2
000022cf: DUP5
000022d0: DUP2
000022d1: PUSH2 0x22dc
000022d4: JUMPI
000022d5: PUSH2 0x22dc
000022d8: PUSH2 0x37f4
000022db: JUMP
000022dc: JUMPDEST
000022dd: DIV
000022de: DUP3
000022df: ADD
000022e0: SWAP1
000022e1: SHR
000022e2: SWAP1
000022e3: POP
000022e4: PUSH1 0x01
000022e6: DUP2
000022e7: DUP5
000022e8: DUP2
000022e9: PUSH2 0x22f4
000022ec: JUMPI
000022ed: PUSH2 0x22f4
000022f0: PUSH2 0x37f4
000022f3: JUMP
000022f4: JUMPDEST
000022f5: DIV
000022f6: DUP3
000022f7: ADD
000022f8: SWAP1
000022f9: SHR
000022fa: SWAP1
000022fb: POP
000022fc: PUSH1 0x01
000022fe: DUP2
000022ff: DUP5
00002300: DUP2
00002301: PUSH2 0x230c
00002304: JUMPI
00002305: PUSH2 0x230c
00002308: PUSH2 0x37f4
0000230b: JUMP
0000230c: JUMPDEST
0000230d: DIV
0000230e: DUP3
0000230f: ADD
00002310: SWAP1
00002311: SHR
00002312: SWAP1
00002313: POP
00002314: PUSH1 0x01
00002316: DUP2
00002317: DUP5
00002318: DUP2
00002319: PUSH2 0x2324
0000231c: JUMPI
0000231d: PUSH2 0x2324
00002320: PUSH2 0x37f4
00002323: JUMP
00002324: JUMPDEST
00002325: DIV
00002326: DUP3
00002327: ADD
00002328: SWAP1
00002329: SHR
0000232a: SWAP1
0000232b: POP
0000232c: PUSH2 0x0b4e
0000232f: DUP2
00002330: DUP3
00002331: DUP6
00002332: DUP2
00002333: PUSH2 0x233e
00002336: JUMPI
00002337: PUSH2 0x233e
0000233a: PUSH2 0x37f4
0000233d: JUMP
0000233e: JUMPDEST
0000233f: DIV
00002340: PUSH2 0x2bd6
00002343: JUMP
00002344: JUMPDEST
00002345: PUSH0
00002346: JUMPDEST
00002347: DUP2
00002348: DUP4
00002349: LT
0000234a: ISZERO
0000234b: PUSH2 0x239b
0000234e: JUMPI
0000234f: PUSH0
00002350: PUSH2 0x2359
00002353: DUP5
00002354: DUP5
00002355: PUSH2 0x2beb
00002358: JUMP
00002359: JUMPDEST
0000235a: PUSH0
0000235b: DUP8
0000235c: DUP2
0000235d: MSTORE
0000235e: PUSH1 0x20
00002360: SWAP1
00002361: KECCAK256
00002362: SWAP1
00002363: SWAP2
00002364: POP
00002365: PUSH6 0xffffffffffff
0000236c: DUP7
0000236d: AND
0000236e: SWAP1
0000236f: DUP3
00002370: ADD
00002371: SLOAD
00002372: PUSH6 0xffffffffffff
00002379: AND
0000237a: GT
0000237b: ISZERO
0000237c: PUSH2 0x2387
0000237f: JUMPI
00002380: DUP1
00002381: SWAP3
00002382: POP
00002383: PUSH2 0x2395
00002386: JUMP
00002387: JUMPDEST
00002388: PUSH2 0x2392
0000238b: DUP2
0000238c: PUSH1 0x01
0000238e: PUSH2 0x37ca
00002391: JUMP
00002392: JUMPDEST
00002393: SWAP4
00002394: POP
00002395: JUMPDEST
00002396: POP
00002397: PUSH2 0x2346
0000239a: JUMP
0000239b: JUMPDEST
0000239c: POP
0000239d: SWAP4
0000239e: SWAP3
0000239f: POP
000023a0: POP
000023a1: POP
000023a2: JUMP
000023a3: JUMPDEST
000023a4: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
000023c5: SLOAD
000023c6: PUSH1 0xff
000023c8: AND
000023c9: PUSH2 0x1978
000023cc: JUMPI
000023cd: PUSH1 0x40
000023cf: MLOAD
000023d0: PUSH32 0x8dfc202b00000000000000000000000000000000000000000000000000000000
000023f1: DUP2
000023f2: MSTORE
000023f3: PUSH1 0x04
000023f5: ADD
000023f6: PUSH1 0x40
000023f8: MLOAD
000023f9: DUP1
000023fa: SWAP2
000023fb: SUB
000023fc: SWAP1
000023fd: REVERT
000023fe: JUMPDEST
000023ff: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00
00002420: SLOAD
00002421: PUSH9 0x010000000000000000
0000242b: SWAP1
0000242c: DIV
0000242d: PUSH1 0xff
0000242f: AND
00002430: PUSH2 0x1978
00002433: JUMPI
00002434: PUSH1 0x40
00002436: MLOAD
00002437: PUSH32 0xd7e6bcf800000000000000000000000000000000000000000000000000000000
00002458: DUP2
00002459: MSTORE
0000245a: PUSH1 0x04
0000245c: ADD
0000245d: PUSH1 0x40
0000245f: MLOAD
00002460: DUP1
00002461: SWAP2
00002462: SUB
00002463: SWAP1
00002464: REVERT
00002465: JUMPDEST
00002466: PUSH2 0x246d
00002469: PUSH2 0x23fe
0000246c: JUMP
0000246d: JUMPDEST
0000246e: PUSH32 0x52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00
0000248f: PUSH32 0x52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace03
000024b0: PUSH2 0x24b9
000024b3: DUP5
000024b4: DUP3
000024b5: PUSH2 0x3855
000024b8: JUMP
000024b9: JUMPDEST
000024ba: POP
000024bb: PUSH1 0x04
000024bd: DUP2
000024be: ADD
000024bf: PUSH2 0x0b98
000024c2: DUP4
000024c3: DUP3
000024c4: PUSH2 0x3855
000024c7: JUMP
000024c8: JUMPDEST
000024c9: PUSH2 0x24d0
000024cc: PUSH2 0x23fe
000024cf: JUMP
000024d0: JUMPDEST
000024d1: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
000024f2: DUP1
000024f3: SLOAD
000024f4: PUSH1 0xff
000024f6: NOT
000024f7: AND
000024f8: SWAP1
000024f9: SSTORE
000024fa: JUMP
000024fb: JUMPDEST
000024fc: PUSH2 0x2503
000024ff: PUSH2 0x23fe
00002502: JUMP
00002503: JUMPDEST
00002504: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100
00002525: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d102
00002546: PUSH2 0x254f
00002549: DUP5
0000254a: DUP3
0000254b: PUSH2 0x3855
0000254e: JUMP
0000254f: JUMPDEST
00002550: POP
00002551: PUSH1 0x03
00002553: DUP2
00002554: ADD
00002555: PUSH2 0x255e
00002558: DUP4
00002559: DUP3
0000255a: PUSH2 0x3855
0000255d: JUMP
0000255e: JUMPDEST
0000255f: POP
00002560: PUSH0
00002561: DUP1
00002562: DUP3
00002563: SSTORE
00002564: PUSH1 0x01
00002566: SWAP1
00002567: SWAP2
00002568: ADD
00002569: SSTORE
0000256a: POP
0000256b: POP
0000256c: JUMP
0000256d: JUMPDEST
0000256e: PUSH2 0x2576
00002571: DUP3
00002572: PUSH2 0x2c05
00002575: JUMP
00002576: JUMPDEST
00002577: PUSH1 0x40
00002579: MLOAD
0000257a: PUSH1 0x01
0000257c: PUSH1 0x01
0000257e: PUSH1 0xa0
00002580: SHL
00002581: SUB
00002582: DUP4
00002583: AND
00002584: SWAP1
00002585: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b
000025a6: SWAP1
000025a7: PUSH0
000025a8: SWAP1
000025a9: LOG2
000025aa: DUP1
000025ab: MLOAD
000025ac: ISZERO
000025ad: PUSH2 0x25ba
000025b0: JUMPI
000025b1: PUSH2 0x0bf8
000025b4: DUP3
000025b5: DUP3
000025b6: PUSH2 0x2c88
000025b9: JUMP
000025ba: JUMPDEST
000025bb: PUSH2 0x0fae
000025be: PUSH2 0x2cfa
000025c1: JUMP
000025c2: JUMPDEST
000025c3: PUSH0
000025c4: PUSH2 0x0a5b
000025c7: DUP3
000025c8: PUSH2 0x0ff5
000025cb: JUMP
000025cc: JUMPDEST
000025cd: PUSH0
000025ce: DUP1
000025cf: MLOAD
000025d0: PUSH1 0x20
000025d2: PUSH2 0x39b4
000025d5: DUP4
000025d6: CODECOPY
000025d7: DUP2
000025d8: MLOAD
000025d9: SWAP2
000025da: MSTORE
000025db: PUSH1 0x01
000025dd: PUSH1 0x01
000025df: PUSH1 0xa0
000025e1: SHL
000025e2: SUB
000025e3: DUP5
000025e4: DUP2
000025e5: AND
000025e6: SWAP1
000025e7: DUP5
000025e8: AND
000025e9: EQ
000025ea: DUP1
000025eb: ISZERO
000025ec: SWAP1
000025ed: PUSH2 0x25f5
000025f0: JUMPI
000025f1: POP
000025f2: PUSH0
000025f3: DUP3
000025f4: GT
000025f5: JUMPDEST
000025f6: ISZERO
000025f7: PUSH2 0x0b98
000025fa: JUMPI
000025fb: PUSH1 0x01
000025fd: PUSH1 0x01
000025ff: PUSH1 0xa0
00002601: SHL
00002602: SUB
00002603: DUP5
00002604: AND
00002605: ISZERO
00002606: PUSH2 0x269e
00002609: JUMPI
0000260a: PUSH1 0x01
0000260c: PUSH1 0x01
0000260e: PUSH1 0xa0
00002610: SHL
00002611: SUB
00002612: DUP5
00002613: AND
00002614: PUSH0
00002615: SWAP1
00002616: DUP2
00002617: MSTORE
00002618: PUSH1 0x01
0000261a: DUP3
0000261b: ADD
0000261c: PUSH1 0x20
0000261e: MSTORE
0000261f: PUSH1 0x40
00002621: DUP2
00002622: KECCAK256
00002623: DUP2
00002624: SWAP1
00002625: PUSH2 0x2639
00002628: SWAP1
00002629: PUSH2 0x2d32
0000262c: PUSH2 0x2634
0000262f: DUP8
00002630: PUSH2 0x2d3d
00002633: JUMP
00002634: JUMPDEST
00002635: PUSH2 0x2d70
00002638: JUMP
00002639: JUMPDEST
0000263a: PUSH1 0x01
0000263c: PUSH1 0x01
0000263e: PUSH1 0xd0
00002640: SHL
00002641: SUB
00002642: AND
00002643: SWAP2
00002644: POP
00002645: PUSH1 0x01
00002647: PUSH1 0x01
00002649: PUSH1 0xd0
0000264b: SHL
0000264c: SUB
0000264d: AND
0000264e: SWAP2
0000264f: POP
00002650: DUP6
00002651: PUSH1 0x01
00002653: PUSH1 0x01
00002655: PUSH1 0xa0
00002657: SHL
00002658: SUB
00002659: AND
0000265a: PUSH32 0xdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724
0000267b: DUP4
0000267c: DUP4
0000267d: PUSH1 0x40
0000267f: MLOAD
00002680: PUSH2 0x2693
00002683: SWAP3
00002684: SWAP2
00002685: SWAP1
00002686: SWAP2
00002687: DUP3
00002688: MSTORE
00002689: PUSH1 0x20
0000268b: DUP3
0000268c: ADD
0000268d: MSTORE
0000268e: PUSH1 0x40
00002690: ADD
00002691: SWAP1
00002692: JUMP
00002693: JUMPDEST
00002694: PUSH1 0x40
00002696: MLOAD
00002697: DUP1
00002698: SWAP2
00002699: SUB
0000269a: SWAP1
0000269b: LOG2
0000269c: POP
0000269d: POP
0000269e: JUMPDEST
0000269f: PUSH1 0x01
000026a1: PUSH1 0x01
000026a3: PUSH1 0xa0
000026a5: SHL
000026a6: SUB
000026a7: DUP4
000026a8: AND
000026a9: ISZERO
000026aa: PUSH2 0x0b98
000026ad: JUMPI
000026ae: PUSH1 0x01
000026b0: PUSH1 0x01
000026b2: PUSH1 0xa0
000026b4: SHL
000026b5: SUB
000026b6: DUP4
000026b7: AND
000026b8: PUSH0
000026b9: SWAP1
000026ba: DUP2
000026bb: MSTORE
000026bc: PUSH1 0x01
000026be: DUP3
000026bf: ADD
000026c0: PUSH1 0x20
000026c2: MSTORE
000026c3: PUSH1 0x40
000026c5: DUP2
000026c6: KECCAK256
000026c7: DUP2
000026c8: SWAP1
000026c9: PUSH2 0x26d8
000026cc: SWAP1
000026cd: PUSH2 0x2da1
000026d0: PUSH2 0x2634
000026d3: DUP8
000026d4: PUSH2 0x2d3d
000026d7: JUMP
000026d8: JUMPDEST
000026d9: PUSH1 0x01
000026db: PUSH1 0x01
000026dd: PUSH1 0xd0
000026df: SHL
000026e0: SUB
000026e1: AND
000026e2: SWAP2
000026e3: POP
000026e4: PUSH1 0x01
000026e6: PUSH1 0x01
000026e8: PUSH1 0xd0
000026ea: SHL
000026eb: SUB
000026ec: AND
000026ed: SWAP2
000026ee: POP
000026ef: DUP5
000026f0: PUSH1 0x01
000026f2: PUSH1 0x01
000026f4: PUSH1 0xa0
000026f6: SHL
000026f7: SUB
000026f8: AND
000026f9: PUSH32 0xdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724
0000271a: DUP4
0000271b: DUP4
0000271c: PUSH1 0x40
0000271e: MLOAD
0000271f: PUSH2 0x2732
00002722: SWAP3
00002723: SWAP2
00002724: SWAP1
00002725: SWAP2
00002726: DUP3
00002727: MSTORE
00002728: PUSH1 0x20
0000272a: DUP3
0000272b: ADD
0000272c: MSTORE
0000272d: PUSH1 0x40
0000272f: ADD
00002730: SWAP1
00002731: JUMP
00002732: JUMPDEST
00002733: PUSH1 0x40
00002735: MLOAD
00002736: DUP1
00002737: SWAP2
00002738: SUB
00002739: SWAP1
0000273a: LOG2
0000273b: POP
0000273c: POP
0000273d: POP
0000273e: POP
0000273f: POP
00002740: POP
00002741: JUMP
00002742: JUMPDEST
00002743: PUSH0
00002744: PUSH4 0xffffffff
00002749: DUP3
0000274a: GT
0000274b: ISZERO
0000274c: PUSH2 0x1835
0000274f: JUMPI
00002750: PUSH1 0x40
00002752: MLOAD
00002753: PUSH4 0x06dfcc65
00002758: PUSH1 0xe4
0000275a: SHL
0000275b: DUP2
0000275c: MSTORE
0000275d: PUSH1 0x20
0000275f: PUSH1 0x04
00002761: DUP3
00002762: ADD
00002763: MSTORE
00002764: PUSH1 0x24
00002766: DUP2
00002767: ADD
00002768: DUP4
00002769: SWAP1
0000276a: MSTORE
0000276b: PUSH1 0x44
0000276d: ADD
0000276e: PUSH2 0x0c42
00002771: JUMP
00002772: JUMPDEST
00002773: PUSH0
00002774: DUP1
00002775: PUSH32 0x5ab42ced628888259c08ac98db1eb0cf702fc1501344311d8b100cd1bfe4bb00
00002796: PUSH2 0x1019
00002799: JUMP
0000279a: JUMPDEST
0000279b: PUSH0
0000279c: DUP1
0000279d: DUP1
0000279e: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0
000027bf: DUP5
000027c0: GT
000027c1: ISZERO
000027c2: PUSH2 0x27d3
000027c5: JUMPI
000027c6: POP
000027c7: PUSH0
000027c8: SWAP2
000027c9: POP
000027ca: PUSH1 0x03
000027cc: SWAP1
000027cd: POP
000027ce: DUP3
000027cf: PUSH2 0x2858
000027d2: JUMP
000027d3: JUMPDEST
000027d4: PUSH1 0x40
000027d6: DUP1
000027d7: MLOAD
000027d8: PUSH0
000027d9: DUP1
000027da: DUP3
000027db: MSTORE
000027dc: PUSH1 0x20
000027de: DUP3
000027df: ADD
000027e0: DUP1
000027e1: DUP5
000027e2: MSTORE
000027e3: DUP11
000027e4: SWAP1
000027e5: MSTORE
000027e6: PUSH1 0xff
000027e8: DUP10
000027e9: AND
000027ea: SWAP3
000027eb: DUP3
000027ec: ADD
000027ed: SWAP3
000027ee: SWAP1
000027ef: SWAP3
000027f0: MSTORE
000027f1: PUSH1 0x60
000027f3: DUP2
000027f4: ADD
000027f5: DUP8
000027f6: SWAP1
000027f7: MSTORE
000027f8: PUSH1 0x80
000027fa: DUP2
000027fb: ADD
000027fc: DUP7
000027fd: SWAP1
000027fe: MSTORE
000027ff: PUSH1 0x01
00002801: SWAP1
00002802: PUSH1 0xa0
00002804: ADD
00002805: PUSH1 0x20
00002807: PUSH1 0x40
00002809: MLOAD
0000280a: PUSH1 0x20
0000280c: DUP2
0000280d: SUB
0000280e: SWAP1
0000280f: DUP1
00002810: DUP5
00002811: SUB
00002812: SWAP1
00002813: DUP6
00002814: GAS
00002815: STATICCALL
00002816: ISZERO
00002817: DUP1
00002818: ISZERO
00002819: PUSH2 0x2824
0000281c: JUMPI
0000281d: RETURNDATASIZE
0000281e: PUSH0
0000281f: DUP1
00002820: RETURNDATACOPY
00002821: RETURNDATASIZE
00002822: PUSH0
00002823: REVERT
00002824: JUMPDEST
00002825: POP
00002826: POP
00002827: PUSH1 0x40
00002829: MLOAD
0000282a: PUSH1 0x1f
0000282c: NOT
0000282d: ADD
0000282e: MLOAD
0000282f: SWAP2
00002830: POP
00002831: POP
00002832: PUSH1 0x01
00002834: PUSH1 0x01
00002836: PUSH1 0xa0
00002838: SHL
00002839: SUB
0000283a: DUP2
0000283b: AND
0000283c: PUSH2 0x284f
0000283f: JUMPI
00002840: POP
00002841: PUSH0
00002842: SWAP3
00002843: POP
00002844: PUSH1 0x01
00002846: SWAP2
00002847: POP
00002848: DUP3
00002849: SWAP1
0000284a: POP
0000284b: PUSH2 0x2858
0000284e: JUMP
0000284f: JUMPDEST
00002850: SWAP3
00002851: POP
00002852: PUSH0
00002853: SWAP2
00002854: POP
00002855: DUP2
00002856: SWAP1
00002857: POP
00002858: JUMPDEST
00002859: SWAP5
0000285a: POP
0000285b: SWAP5
0000285c: POP
0000285d: SWAP5
0000285e: SWAP2
0000285f: POP
00002860: POP
00002861: JUMP
00002862: JUMPDEST
00002863: PUSH0
00002864: DUP3
00002865: PUSH1 0x03
00002867: DUP2
00002868: GT
00002869: ISZERO
0000286a: PUSH2 0x2875
0000286d: JUMPI
0000286e: PUSH2 0x2875
00002871: PUSH2 0x3911
00002874: JUMP
00002875: JUMPDEST
00002876: SUB
00002877: PUSH2 0x287e
0000287a: JUMPI
0000287b: POP
0000287c: POP
0000287d: JUMP
0000287e: JUMPDEST
0000287f: PUSH1 0x01
00002881: DUP3
00002882: PUSH1 0x03
00002884: DUP2
00002885: GT
00002886: ISZERO
00002887: PUSH2 0x2892
0000288a: JUMPI
0000288b: PUSH2 0x2892
0000288e: PUSH2 0x3911
00002891: JUMP
00002892: JUMPDEST
00002893: SUB
00002894: PUSH2 0x28c9
00002897: JUMPI
00002898: PUSH1 0x40
0000289a: MLOAD
0000289b: PUSH32 0xf645eedf00000000000000000000000000000000000000000000000000000000
000028bc: DUP2
000028bd: MSTORE
000028be: PUSH1 0x04
000028c0: ADD
000028c1: PUSH1 0x40
000028c3: MLOAD
000028c4: DUP1
000028c5: SWAP2
000028c6: SUB
000028c7: SWAP1
000028c8: REVERT
000028c9: JUMPDEST
000028ca: PUSH1 0x02
000028cc: DUP3
000028cd: PUSH1 0x03
000028cf: DUP2
000028d0: GT
000028d1: ISZERO
000028d2: PUSH2 0x28dd
000028d5: JUMPI
000028d6: PUSH2 0x28dd
000028d9: PUSH2 0x3911
000028dc: JUMP
000028dd: JUMPDEST
000028de: SUB
000028df: PUSH2 0x2917
000028e2: JUMPI
000028e3: PUSH1 0x40
000028e5: MLOAD
000028e6: PUSH32 0xfce698f700000000000000000000000000000000000000000000000000000000
00002907: DUP2
00002908: MSTORE
00002909: PUSH1 0x04
0000290b: DUP2
0000290c: ADD
0000290d: DUP3
0000290e: SWAP1
0000290f: MSTORE
00002910: PUSH1 0x24
00002912: ADD
00002913: PUSH2 0x0c42
00002916: JUMP
00002917: JUMPDEST
00002918: PUSH1 0x03
0000291a: DUP3
0000291b: PUSH1 0x03
0000291d: DUP2
0000291e: GT
0000291f: ISZERO
00002920: PUSH2 0x292b
00002923: JUMPI
00002924: PUSH2 0x292b
00002927: PUSH2 0x3911
0000292a: JUMP
0000292b: JUMPDEST
0000292c: SUB
0000292d: PUSH2 0x0fae
00002930: JUMPI
00002931: PUSH1 0x40
00002933: MLOAD
00002934: PUSH32 0xd78bce0c00000000000000000000000000000000000000000000000000000000
00002955: DUP2
00002956: MSTORE
00002957: PUSH1 0x04
00002959: DUP2
0000295a: ADD
0000295b: DUP3
0000295c: SWAP1
0000295d: MSTORE
0000295e: PUSH1 0x24
00002960: ADD
00002961: PUSH2 0x0c42
00002964: JUMP
00002965: JUMPDEST
00002966: PUSH1 0x40
00002968: DUP1
00002969: MLOAD
0000296a: DUP1
0000296b: DUP3
0000296c: ADD
0000296d: SWAP1
0000296e: SWAP2
0000296f: MSTORE
00002970: PUSH0
00002971: DUP1
00002972: DUP3
00002973: MSTORE
00002974: PUSH1 0x20
00002976: DUP3
00002977: ADD
00002978: MSTORE
00002979: DUP3
0000297a: PUSH0
0000297b: ADD
0000297c: DUP3
0000297d: PUSH4 0xffffffff
00002982: AND
00002983: DUP2
00002984: SLOAD
00002985: DUP2
00002986: LT
00002987: PUSH2 0x2992
0000298a: JUMPI
0000298b: PUSH2 0x2992
0000298e: PUSH2 0x3925
00002991: JUMP
00002992: JUMPDEST
00002993: PUSH0
00002994: SWAP2
00002995: DUP3
00002996: MSTORE
00002997: PUSH1 0x20
00002999: SWAP2
0000299a: DUP3
0000299b: SWAP1
0000299c: KECCAK256
0000299d: PUSH1 0x40
0000299f: DUP1
000029a0: MLOAD
000029a1: DUP1
000029a2: DUP3
000029a3: ADD
000029a4: SWAP1
000029a5: SWAP2
000029a6: MSTORE
000029a7: SWAP2
000029a8: ADD
000029a9: SLOAD
000029aa: PUSH6 0xffffffffffff
000029b1: DUP2
000029b2: AND
000029b3: DUP3
000029b4: MSTORE
000029b5: PUSH7 0x01000000000000
000029bd: SWAP1
000029be: DIV
000029bf: PUSH1 0x01
000029c1: PUSH1 0x01
000029c3: PUSH1 0xd0
000029c5: SHL
000029c6: SUB
000029c7: AND
000029c8: SWAP2
000029c9: DUP2
000029ca: ADD
000029cb: SWAP2
000029cc: SWAP1
000029cd: SWAP2
000029ce: MSTORE
000029cf: SWAP4
000029d0: SWAP3
000029d1: POP
000029d2: POP
000029d3: POP
000029d4: JUMP
000029d5: JUMPDEST
000029d6: PUSH2 0x29e0
000029d9: DUP4
000029da: DUP4
000029db: DUP4
000029dc: PUSH2 0x2dac
000029df: JUMP
000029e0: JUMPDEST
000029e1: PUSH1 0x01
000029e3: PUSH1 0x01
000029e5: PUSH1 0xa0
000029e7: SHL
000029e8: SUB
000029e9: DUP4
000029ea: AND
000029eb: PUSH2 0x2a68
000029ee: JUMPI
000029ef: PUSH0
000029f0: PUSH2 0x2a17
000029f3: PUSH32 0x52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace02
00002a14: SLOAD
00002a15: SWAP1
00002a16: JUMP
00002a17: JUMPDEST
00002a18: SWAP1
00002a19: POP
00002a1a: PUSH1 0x01
00002a1c: PUSH1 0x01
00002a1e: PUSH1 0xd0
00002a20: SHL
00002a21: SUB
00002a22: DUP1
00002a23: DUP3
00002a24: GT
00002a25: ISZERO
00002a26: PUSH2 0x2a65
00002a29: JUMPI
00002a2a: PUSH1 0x40
00002a2c: MLOAD
00002a2d: PUSH32 0x1cb15d2600000000000000000000000000000000000000000000000000000000
00002a4e: DUP2
00002a4f: MSTORE
00002a50: PUSH1 0x04
00002a52: DUP2
00002a53: ADD
00002a54: DUP4
00002a55: SWAP1
00002a56: MSTORE
00002a57: PUSH1 0x24
00002a59: DUP2
00002a5a: ADD
00002a5b: DUP3
00002a5c: SWAP1
00002a5d: MSTORE
00002a5e: PUSH1 0x44
00002a60: ADD
00002a61: PUSH2 0x0c42
00002a64: JUMP
00002a65: JUMPDEST
00002a66: POP
00002a67: POP
00002a68: JUMPDEST
00002a69: PUSH2 0x0bf8
00002a6c: DUP4
00002a6d: DUP4
00002a6e: DUP4
00002a6f: PUSH2 0x2dbf
00002a72: JUMP
00002a73: JUMPDEST
00002a74: PUSH0
00002a75: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100
00002a96: DUP2
00002a97: PUSH2 0x2a9e
00002a9a: PUSH2 0x1e13
00002a9d: JUMP
00002a9e: JUMPDEST
00002a9f: DUP1
00002aa0: MLOAD
00002aa1: SWAP1
00002aa2: SWAP2
00002aa3: POP
00002aa4: ISZERO
00002aa5: PUSH2 0x2ab6
00002aa8: JUMPI
00002aa9: DUP1
00002aaa: MLOAD
00002aab: PUSH1 0x20
00002aad: SWAP1
00002aae: SWAP2
00002aaf: ADD
00002ab0: KECCAK256
00002ab1: SWAP3
00002ab2: SWAP2
00002ab3: POP
00002ab4: POP
00002ab5: JUMP
00002ab6: JUMPDEST
00002ab7: DUP2
00002ab8: SLOAD
00002ab9: DUP1
00002aba: ISZERO
00002abb: PUSH2 0x2ac5
00002abe: JUMPI
00002abf: SWAP4
00002ac0: SWAP3
00002ac1: POP
00002ac2: POP
00002ac3: POP
00002ac4: JUMP
00002ac5: JUMPDEST
00002ac6: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
00002ae7: SWAP4
00002ae8: POP
00002ae9: POP
00002aea: POP
00002aeb: POP
00002aec: SWAP1
00002aed: JUMP
00002aee: JUMPDEST
00002aef: PUSH0
00002af0: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100
00002b11: DUP2
00002b12: PUSH2 0x2b19
00002b15: PUSH2 0x1e64
00002b18: JUMP
00002b19: JUMPDEST
00002b1a: DUP1
00002b1b: MLOAD
00002b1c: SWAP1
00002b1d: SWAP2
00002b1e: POP
00002b1f: ISZERO
00002b20: PUSH2 0x2b31
00002b23: JUMPI
00002b24: DUP1
00002b25: MLOAD
00002b26: PUSH1 0x20
00002b28: SWAP1
00002b29: SWAP2
00002b2a: ADD
00002b2b: KECCAK256
00002b2c: SWAP3
00002b2d: SWAP2
00002b2e: POP
00002b2f: POP
00002b30: JUMP
00002b31: JUMPDEST
00002b32: PUSH1 0x01
00002b34: DUP3
00002b35: ADD
00002b36: SLOAD
00002b37: DUP1
00002b38: ISZERO
00002b39: PUSH2 0x2ac5
00002b3c: JUMPI
00002b3d: SWAP4
00002b3e: SWAP3
00002b3f: POP
00002b40: POP
00002b41: POP
00002b42: JUMP
00002b43: JUMPDEST
00002b44: PUSH0
00002b45: DUP1
00002b46: PUSH1 0x80
00002b48: DUP4
00002b49: SWAP1
00002b4a: SHR
00002b4b: ISZERO
00002b4c: PUSH2 0x2b57
00002b4f: JUMPI
00002b50: PUSH1 0x80
00002b52: SWAP3
00002b53: DUP4
00002b54: SHR
00002b55: SWAP3
00002b56: ADD
00002b57: JUMPDEST
00002b58: PUSH1 0x40
00002b5a: DUP4
00002b5b: SWAP1
00002b5c: SHR
00002b5d: ISZERO
00002b5e: PUSH2 0x2b69
00002b61: JUMPI
00002b62: PUSH1 0x40
00002b64: SWAP3
00002b65: DUP4
00002b66: SHR
00002b67: SWAP3
00002b68: ADD
00002b69: JUMPDEST
00002b6a: PUSH1 0x20
00002b6c: DUP4
00002b6d: SWAP1
00002b6e: SHR
00002b6f: ISZERO
00002b70: PUSH2 0x2b7b
00002b73: JUMPI
00002b74: PUSH1 0x20
00002b76: SWAP3
00002b77: DUP4
00002b78: SHR
00002b79: SWAP3
00002b7a: ADD
00002b7b: JUMPDEST
00002b7c: PUSH1 0x10
00002b7e: DUP4
00002b7f: SWAP1
00002b80: SHR
00002b81: ISZERO
00002b82: PUSH2 0x2b8d
00002b85: JUMPI
00002b86: PUSH1 0x10
00002b88: SWAP3
00002b89: DUP4
00002b8a: SHR
00002b8b: SWAP3
00002b8c: ADD
00002b8d: JUMPDEST
00002b8e: PUSH1 0x08
00002b90: DUP4
00002b91: SWAP1
00002b92: SHR
00002b93: ISZERO
00002b94: PUSH2 0x2b9f
00002b97: JUMPI
00002b98: PUSH1 0x08
00002b9a: SWAP3
00002b9b: DUP4
00002b9c: SHR
00002b9d: SWAP3
00002b9e: ADD
00002b9f: JUMPDEST
00002ba0: PUSH1 0x04
00002ba2: DUP4
00002ba3: SWAP1
00002ba4: SHR
00002ba5: ISZERO
00002ba6: PUSH2 0x2bb1
00002ba9: JUMPI
00002baa: PUSH1 0x04
00002bac: SWAP3
00002bad: DUP4
00002bae: SHR
00002baf: SWAP3
00002bb0: ADD
00002bb1: JUMPDEST
00002bb2: PUSH1 0x02
00002bb4: DUP4
00002bb5: SWAP1
00002bb6: SHR
00002bb7: ISZERO
00002bb8: PUSH2 0x2bc3
00002bbb: JUMPI
00002bbc: PUSH1 0x02
00002bbe: SWAP3
00002bbf: DUP4
00002bc0: SHR
00002bc1: SWAP3
00002bc2: ADD
00002bc3: JUMPDEST
00002bc4: PUSH1 0x01
00002bc6: DUP4
00002bc7: SWAP1
00002bc8: SHR
00002bc9: ISZERO
00002bca: PUSH2 0x0a5b
00002bcd: JUMPI
00002bce: PUSH1 0x01
00002bd0: ADD
00002bd1: SWAP3
00002bd2: SWAP2
00002bd3: POP
00002bd4: POP
00002bd5: JUMP
00002bd6: JUMPDEST
00002bd7: PUSH0
00002bd8: DUP2
00002bd9: DUP4
00002bda: LT
00002bdb: PUSH2 0x2be4
00002bde: JUMPI
00002bdf: DUP2
00002be0: PUSH2 0x0b4e
00002be3: JUMP
00002be4: JUMPDEST
00002be5: POP
00002be6: SWAP1
00002be7: SWAP2
00002be8: SWAP1
00002be9: POP
00002bea: JUMP
00002beb: JUMPDEST
00002bec: PUSH0
00002bed: PUSH2 0x2bf9
00002bf0: PUSH1 0x02
00002bf2: DUP5
00002bf3: DUP5
00002bf4: XOR
00002bf5: PUSH2 0x3939
00002bf8: JUMP
00002bf9: JUMPDEST
00002bfa: PUSH2 0x0b4e
00002bfd: SWAP1
00002bfe: DUP5
00002bff: DUP5
00002c00: AND
00002c01: PUSH2 0x37ca
00002c04: JUMP
00002c05: JUMPDEST
00002c06: DUP1
00002c07: PUSH1 0x01
00002c09: PUSH1 0x01
00002c0b: PUSH1 0xa0
00002c0d: SHL
00002c0e: SUB
00002c0f: AND
00002c10: EXTCODESIZE
00002c11: PUSH0
00002c12: SUB
00002c13: PUSH2 0x2c3a
00002c16: JUMPI
00002c17: PUSH1 0x40
00002c19: MLOAD
00002c1a: PUSH4 0x4c9c8ce3
00002c1f: PUSH1 0xe0
00002c21: SHL
00002c22: DUP2
00002c23: MSTORE
00002c24: PUSH1 0x01
00002c26: PUSH1 0x01
00002c28: PUSH1 0xa0
00002c2a: SHL
00002c2b: SUB
00002c2c: DUP3
00002c2d: AND
00002c2e: PUSH1 0x04
00002c30: DUP3
00002c31: ADD
00002c32: MSTORE
00002c33: PUSH1 0x24
00002c35: ADD
00002c36: PUSH2 0x0c42
00002c39: JUMP
00002c3a: JUMPDEST
00002c3b: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00002c5c: DUP1
00002c5d: SLOAD
00002c5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c73: NOT
00002c74: AND
00002c75: PUSH1 0x01
00002c77: PUSH1 0x01
00002c79: PUSH1 0xa0
00002c7b: SHL
00002c7c: SUB
00002c7d: SWAP3
00002c7e: SWAP1
00002c7f: SWAP3
00002c80: AND
00002c81: SWAP2
00002c82: SWAP1
00002c83: SWAP2
00002c84: OR
00002c85: SWAP1
00002c86: SSTORE
00002c87: JUMP
00002c88: JUMPDEST
00002c89: PUSH1 0x60
00002c8b: PUSH0
00002c8c: DUP1
00002c8d: DUP5
00002c8e: PUSH1 0x01
00002c90: PUSH1 0x01
00002c92: PUSH1 0xa0
00002c94: SHL
00002c95: SUB
00002c96: AND
00002c97: DUP5
00002c98: PUSH1 0x40
00002c9a: MLOAD
00002c9b: PUSH2 0x2ca4
00002c9e: SWAP2
00002c9f: SWAP1
00002ca0: PUSH2 0x3958
00002ca3: JUMP
00002ca4: JUMPDEST
00002ca5: PUSH0
00002ca6: PUSH1 0x40
00002ca8: MLOAD
00002ca9: DUP1
00002caa: DUP4
00002cab: SUB
00002cac: DUP2
00002cad: DUP6
00002cae: GAS
00002caf: DELEGATECALL
00002cb0: SWAP2
00002cb1: POP
00002cb2: POP
00002cb3: RETURNDATASIZE
00002cb4: DUP1
00002cb5: PUSH0
00002cb6: DUP2
00002cb7: EQ
00002cb8: PUSH2 0x2cdc
00002cbb: JUMPI
00002cbc: PUSH1 0x40
00002cbe: MLOAD
00002cbf: SWAP2
00002cc0: POP
00002cc1: PUSH1 0x1f
00002cc3: NOT
00002cc4: PUSH1 0x3f
00002cc6: RETURNDATASIZE
00002cc7: ADD
00002cc8: AND
00002cc9: DUP3
00002cca: ADD
00002ccb: PUSH1 0x40
00002ccd: MSTORE
00002cce: RETURNDATASIZE
00002ccf: DUP3
00002cd0: MSTORE
00002cd1: RETURNDATASIZE
00002cd2: PUSH0
00002cd3: PUSH1 0x20
00002cd5: DUP5
00002cd6: ADD
00002cd7: RETURNDATACOPY
00002cd8: PUSH2 0x2ce1
00002cdb: JUMP
00002cdc: JUMPDEST
00002cdd: PUSH1 0x60
00002cdf: SWAP2
00002ce0: POP
00002ce1: JUMPDEST
00002ce2: POP
00002ce3: SWAP2
00002ce4: POP
00002ce5: SWAP2
00002ce6: POP
00002ce7: PUSH2 0x2cf1
00002cea: DUP6
00002ceb: DUP4
00002cec: DUP4
00002ced: PUSH2 0x2e52
00002cf0: JUMP
00002cf1: JUMPDEST
00002cf2: SWAP6
00002cf3: SWAP5
00002cf4: POP
00002cf5: POP
00002cf6: POP
00002cf7: POP
00002cf8: POP
00002cf9: JUMP
00002cfa: JUMPDEST
00002cfb: CALLVALUE
00002cfc: ISZERO
00002cfd: PUSH2 0x1978
00002d00: JUMPI
00002d01: PUSH1 0x40
00002d03: MLOAD
00002d04: PUSH32 0xb398979f00000000000000000000000000000000000000000000000000000000
00002d25: DUP2
00002d26: MSTORE
00002d27: PUSH1 0x04
00002d29: ADD
00002d2a: PUSH1 0x40
00002d2c: MLOAD
00002d2d: DUP1
00002d2e: SWAP2
00002d2f: SUB
00002d30: SWAP1
00002d31: REVERT
00002d32: JUMPDEST
00002d33: PUSH0
00002d34: PUSH2 0x0b4e
00002d37: DUP3
00002d38: DUP5
00002d39: PUSH2 0x3973
00002d3c: JUMP
00002d3d: JUMPDEST
00002d3e: PUSH0
00002d3f: PUSH1 0x01
00002d41: PUSH1 0x01
00002d43: PUSH1 0xd0
00002d45: SHL
00002d46: SUB
00002d47: DUP3
00002d48: GT
00002d49: ISZERO
00002d4a: PUSH2 0x1835
00002d4d: JUMPI
00002d4e: PUSH1 0x40
00002d50: MLOAD
00002d51: PUSH4 0x06dfcc65
00002d56: PUSH1 0xe4
00002d58: SHL
00002d59: DUP2
00002d5a: MSTORE
00002d5b: PUSH1 0xd0
00002d5d: PUSH1 0x04
00002d5f: DUP3
00002d60: ADD
00002d61: MSTORE
00002d62: PUSH1 0x24
00002d64: DUP2
00002d65: ADD
00002d66: DUP4
00002d67: SWAP1
00002d68: MSTORE
00002d69: PUSH1 0x44
00002d6b: ADD
00002d6c: PUSH2 0x0c42
00002d6f: JUMP
00002d70: JUMPDEST
00002d71: PUSH0
00002d72: DUP1
00002d73: PUSH2 0x2d94
00002d76: TIMESTAMP
00002d77: PUSH2 0x2d8c
00002d7a: PUSH2 0x2d82
00002d7d: DUP9
00002d7e: PUSH2 0x1e8d
00002d81: JUMP
00002d82: JUMPDEST
00002d83: DUP7
00002d84: DUP9
00002d85: PUSH4 0xffffffff
00002d8a: AND
00002d8b: JUMP
00002d8c: JUMPDEST
00002d8d: DUP8
00002d8e: SWAP2
00002d8f: SWAP1
00002d90: PUSH2 0x2ec7
00002d93: JUMP
00002d94: JUMPDEST
00002d95: SWAP2
00002d96: POP
00002d97: SWAP2
00002d98: POP
00002d99: JUMPDEST
00002d9a: SWAP4
00002d9b: POP
00002d9c: SWAP4
00002d9d: SWAP2
00002d9e: POP
00002d9f: POP
00002da0: JUMP
00002da1: JUMPDEST
00002da2: PUSH0
00002da3: PUSH2 0x0b4e
00002da6: DUP3
00002da7: DUP5
00002da8: PUSH2 0x3993
00002dab: JUMP
00002dac: JUMPDEST
00002dad: PUSH2 0x2db4
00002db0: PUSH2 0x1a05
00002db3: JUMP
00002db4: JUMPDEST
00002db5: PUSH2 0x0bf8
00002db8: DUP4
00002db9: DUP4
00002dba: DUP4
00002dbb: PUSH2 0x2ed4
00002dbe: JUMP
00002dbf: JUMPDEST
00002dc0: PUSH0
00002dc1: DUP1
00002dc2: MLOAD
00002dc3: PUSH1 0x20
00002dc5: PUSH2 0x39b4
00002dc8: DUP4
00002dc9: CODECOPY
00002dca: DUP2
00002dcb: MLOAD
00002dcc: SWAP2
00002dcd: MSTORE
00002dce: PUSH1 0x01
00002dd0: PUSH1 0x01
00002dd2: PUSH1 0xa0
00002dd4: SHL
00002dd5: SUB
00002dd6: DUP5
00002dd7: AND
00002dd8: PUSH2 0x2df1
00002ddb: JUMPI
00002ddc: PUSH2 0x2dee
00002ddf: DUP2
00002de0: PUSH1 0x02
00002de2: ADD
00002de3: PUSH2 0x2da1
00002de6: PUSH2 0x2634
00002de9: DUP6
00002dea: PUSH2 0x2d3d
00002ded: JUMP
00002dee: JUMPDEST
00002def: POP
00002df0: POP
00002df1: JUMPDEST
00002df2: PUSH1 0x01
00002df4: PUSH1 0x01
00002df6: PUSH1 0xa0
00002df8: SHL
00002df9: SUB
00002dfa: DUP4
00002dfb: AND
00002dfc: PUSH2 0x2e15
00002dff: JUMPI
00002e00: PUSH2 0x2e12
00002e03: DUP2
00002e04: PUSH1 0x02
00002e06: ADD
00002e07: PUSH2 0x2d32
00002e0a: PUSH2 0x2634
00002e0d: DUP6
00002e0e: PUSH2 0x2d3d
00002e11: JUMP
00002e12: JUMPDEST
00002e13: POP
00002e14: POP
00002e15: JUMPDEST
00002e16: PUSH1 0x01
00002e18: PUSH1 0x01
00002e1a: PUSH1 0xa0
00002e1c: SHL
00002e1d: SUB
00002e1e: DUP5
00002e1f: DUP2
00002e20: AND
00002e21: PUSH0
00002e22: SWAP1
00002e23: DUP2
00002e24: MSTORE
00002e25: PUSH0
00002e26: DUP1
00002e27: MLOAD
00002e28: PUSH1 0x20
00002e2a: PUSH2 0x39b4
00002e2d: DUP4
00002e2e: CODECOPY
00002e2f: DUP2
00002e30: MLOAD
00002e31: SWAP2
00002e32: MSTORE
00002e33: PUSH1 0x20
00002e35: MSTORE
00002e36: PUSH1 0x40
00002e38: DUP1
00002e39: DUP3
00002e3a: KECCAK256
00002e3b: SLOAD
00002e3c: DUP7
00002e3d: DUP5
00002e3e: AND
00002e3f: DUP4
00002e40: MSTORE
00002e41: SWAP2
00002e42: KECCAK256
00002e43: SLOAD
00002e44: PUSH2 0x0b98
00002e47: SWAP3
00002e48: SWAP2
00002e49: DUP3
00002e4a: AND
00002e4b: SWAP2
00002e4c: AND
00002e4d: DUP5
00002e4e: PUSH2 0x25cc
00002e51: JUMP
00002e52: JUMPDEST
00002e53: PUSH1 0x60
00002e55: DUP3
00002e56: PUSH2 0x2e67
00002e59: JUMPI
00002e5a: PUSH2 0x2e62
00002e5d: DUP3
00002e5e: PUSH2 0x3039
00002e61: JUMP
00002e62: JUMPDEST
00002e63: PUSH2 0x0b4e
00002e66: JUMP
00002e67: JUMPDEST
00002e68: DUP2
00002e69: MLOAD
00002e6a: ISZERO
00002e6b: DUP1
00002e6c: ISZERO
00002e6d: PUSH2 0x2e7e
00002e70: JUMPI
00002e71: POP
00002e72: PUSH1 0x01
00002e74: PUSH1 0x01
00002e76: PUSH1 0xa0
00002e78: SHL
00002e79: SUB
00002e7a: DUP5
00002e7b: AND
00002e7c: EXTCODESIZE
00002e7d: ISZERO
00002e7e: JUMPDEST
00002e7f: ISZERO
00002e80: PUSH2 0x2ec0
00002e83: JUMPI
00002e84: PUSH1 0x40
00002e86: MLOAD
00002e87: PUSH32 0x9996b31500000000000000000000000000000000000000000000000000000000
00002ea8: DUP2
00002ea9: MSTORE
00002eaa: PUSH1 0x01
00002eac: PUSH1 0x01
00002eae: PUSH1 0xa0
00002eb0: SHL
00002eb1: SUB
00002eb2: DUP6
00002eb3: AND
00002eb4: PUSH1 0x04
00002eb6: DUP3
00002eb7: ADD
00002eb8: MSTORE
00002eb9: PUSH1 0x24
00002ebb: ADD
00002ebc: PUSH2 0x0c42
00002ebf: JUMP
00002ec0: JUMPDEST
00002ec1: POP
00002ec2: DUP1
00002ec3: PUSH2 0x0b4e
00002ec6: JUMP
00002ec7: JUMPDEST
00002ec8: PUSH0
00002ec9: DUP1
00002eca: PUSH2 0x2d94
00002ecd: DUP6
00002ece: DUP6
00002ecf: DUP6
00002ed0: PUSH2 0x307b
00002ed3: JUMP
00002ed4: JUMPDEST
00002ed5: PUSH32 0x52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00
00002ef6: PUSH1 0x01
00002ef8: PUSH1 0x01
00002efa: PUSH1 0xa0
00002efc: SHL
00002efd: SUB
00002efe: DUP5
00002eff: AND
00002f00: PUSH2 0x2f21
00002f03: JUMPI
00002f04: DUP2
00002f05: DUP2
00002f06: PUSH1 0x02
00002f08: ADD
00002f09: PUSH0
00002f0a: DUP3
00002f0b: DUP3
00002f0c: SLOAD
00002f0d: PUSH2 0x2f16
00002f10: SWAP2
00002f11: SWAP1
00002f12: PUSH2 0x37ca
00002f15: JUMP
00002f16: JUMPDEST
00002f17: SWAP1
00002f18: SWAP2
00002f19: SSTORE
00002f1a: POP
00002f1b: PUSH2 0x2faa
00002f1e: SWAP1
00002f1f: POP
00002f20: JUMP
00002f21: JUMPDEST
00002f22: PUSH1 0x01
00002f24: PUSH1 0x01
00002f26: PUSH1 0xa0
00002f28: SHL
00002f29: SUB
00002f2a: DUP5
00002f2b: AND
00002f2c: PUSH0
00002f2d: SWAP1
00002f2e: DUP2
00002f2f: MSTORE
00002f30: PUSH1 0x20
00002f32: DUP3
00002f33: SWAP1
00002f34: MSTORE
00002f35: PUSH1 0x40
00002f37: SWAP1
00002f38: KECCAK256
00002f39: SLOAD
00002f3a: DUP3
00002f3b: DUP2
00002f3c: LT
00002f3d: ISZERO
00002f3e: PUSH2 0x2f8c
00002f41: JUMPI
00002f42: PUSH1 0x40
00002f44: MLOAD
00002f45: PUSH32 0xe450d38c00000000000000000000000000000000000000000000000000000000
00002f66: DUP2
00002f67: MSTORE
00002f68: PUSH1 0x01
00002f6a: PUSH1 0x01
00002f6c: PUSH1 0xa0
00002f6e: SHL
00002f6f: SUB
00002f70: DUP7
00002f71: AND
00002f72: PUSH1 0x04
00002f74: DUP3
00002f75: ADD
00002f76: MSTORE
00002f77: PUSH1 0x24
00002f79: DUP2
00002f7a: ADD
00002f7b: DUP3
00002f7c: SWAP1
00002f7d: MSTORE
00002f7e: PUSH1 0x44
00002f80: DUP2
00002f81: ADD
00002f82: DUP5
00002f83: SWAP1
00002f84: MSTORE
00002f85: PUSH1 0x64
00002f87: ADD
00002f88: PUSH2 0x0c42
00002f8b: JUMP
00002f8c: JUMPDEST
00002f8d: PUSH1 0x01
00002f8f: PUSH1 0x01
00002f91: PUSH1 0xa0
00002f93: SHL
00002f94: SUB
00002f95: DUP6
00002f96: AND
00002f97: PUSH0
00002f98: SWAP1
00002f99: DUP2
00002f9a: MSTORE
00002f9b: PUSH1 0x20
00002f9d: DUP4
00002f9e: SWAP1
00002f9f: MSTORE
00002fa0: PUSH1 0x40
00002fa2: SWAP1
00002fa3: KECCAK256
00002fa4: SWAP1
00002fa5: DUP4
00002fa6: SWAP1
00002fa7: SUB
00002fa8: SWAP1
00002fa9: SSTORE
00002faa: JUMPDEST
00002fab: PUSH1 0x01
00002fad: PUSH1 0x01
00002faf: PUSH1 0xa0
00002fb1: SHL
00002fb2: SUB
00002fb3: DUP4
00002fb4: AND
00002fb5: PUSH2 0x2fc8
00002fb8: JUMPI
00002fb9: PUSH1 0x02
00002fbb: DUP2
00002fbc: ADD
00002fbd: DUP1
00002fbe: SLOAD
00002fbf: DUP4
00002fc0: SWAP1
00002fc1: SUB
00002fc2: SWAP1
00002fc3: SSTORE
00002fc4: PUSH2 0x2fe6
00002fc7: JUMP
00002fc8: JUMPDEST
00002fc9: PUSH1 0x01
00002fcb: PUSH1 0x01
00002fcd: PUSH1 0xa0
00002fcf: SHL
00002fd0: SUB
00002fd1: DUP4
00002fd2: AND
00002fd3: PUSH0
00002fd4: SWAP1
00002fd5: DUP2
00002fd6: MSTORE
00002fd7: PUSH1 0x20
00002fd9: DUP3
00002fda: SWAP1
00002fdb: MSTORE
00002fdc: PUSH1 0x40
00002fde: SWAP1
00002fdf: KECCAK256
00002fe0: DUP1
00002fe1: SLOAD
00002fe2: DUP4
00002fe3: ADD
00002fe4: SWAP1
00002fe5: SSTORE
00002fe6: JUMPDEST
00002fe7: DUP3
00002fe8: PUSH1 0x01
00002fea: PUSH1 0x01
00002fec: PUSH1 0xa0
00002fee: SHL
00002fef: SUB
00002ff0: AND
00002ff1: DUP5
00002ff2: PUSH1 0x01
00002ff4: PUSH1 0x01
00002ff6: PUSH1 0xa0
00002ff8: SHL
00002ff9: SUB
00002ffa: AND
00002ffb: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000301c: DUP5
0000301d: PUSH1 0x40
0000301f: MLOAD
00003020: PUSH2 0x302b
00003023: SWAP2
00003024: DUP2
00003025: MSTORE
00003026: PUSH1 0x20
00003028: ADD
00003029: SWAP1
0000302a: JUMP
0000302b: JUMPDEST
0000302c: PUSH1 0x40
0000302e: MLOAD
0000302f: DUP1
00003030: SWAP2
00003031: SUB
00003032: SWAP1
00003033: LOG3
00003034: POP
00003035: POP
00003036: POP
00003037: POP
00003038: JUMP
00003039: JUMPDEST
0000303a: DUP1
0000303b: MLOAD
0000303c: ISZERO
0000303d: PUSH2 0x3049
00003040: JUMPI
00003041: DUP1
00003042: MLOAD
00003043: DUP1
00003044: DUP3
00003045: PUSH1 0x20
00003047: ADD
00003048: REVERT
00003049: JUMPDEST
0000304a: PUSH1 0x40
0000304c: MLOAD
0000304d: PUSH32 0x1425ea4200000000000000000000000000000000000000000000000000000000
0000306e: DUP2
0000306f: MSTORE
00003070: PUSH1 0x04
00003072: ADD
00003073: PUSH1 0x40
00003075: MLOAD
00003076: DUP1
00003077: SWAP2
00003078: SUB
00003079: SWAP1
0000307a: REVERT
0000307b: JUMPDEST
0000307c: DUP3
0000307d: SLOAD
0000307e: PUSH0
0000307f: SWAP1
00003080: DUP2
00003081: SWAP1
00003082: DUP1
00003083: ISZERO
00003084: PUSH2 0x31b9
00003087: JUMPI
00003088: PUSH0
00003089: PUSH2 0x3097
0000308c: DUP8
0000308d: PUSH2 0x18b9
00003090: PUSH1 0x01
00003092: DUP6
00003093: PUSH2 0x37b7
00003096: JUMP
00003097: JUMPDEST
00003098: PUSH1 0x40
0000309a: DUP1
0000309b: MLOAD
0000309c: DUP1
0000309d: DUP3
0000309e: ADD
0000309f: SWAP1
000030a0: SWAP2
000030a1: MSTORE
000030a2: SWAP1
000030a3: SLOAD
000030a4: PUSH6 0xffffffffffff
000030ab: DUP1
000030ac: DUP3
000030ad: AND
000030ae: DUP1
000030af: DUP5
000030b0: MSTORE
000030b1: PUSH7 0x01000000000000
000030b9: SWAP1
000030ba: SWAP3
000030bb: DIV
000030bc: PUSH1 0x01
000030be: PUSH1 0x01
000030c0: PUSH1 0xd0
000030c2: SHL
000030c3: SUB
000030c4: AND
000030c5: PUSH1 0x20
000030c7: DUP5
000030c8: ADD
000030c9: MSTORE
000030ca: SWAP2
000030cb: SWAP3
000030cc: POP
000030cd: SWAP1
000030ce: DUP8
000030cf: AND
000030d0: LT
000030d1: ISZERO
000030d2: PUSH2 0x3107
000030d5: JUMPI
000030d6: PUSH1 0x40
000030d8: MLOAD
000030d9: PUSH32 0x2520601d00000000000000000000000000000000000000000000000000000000
000030fa: DUP2
000030fb: MSTORE
000030fc: PUSH1 0x04
000030fe: ADD
000030ff: PUSH1 0x40
00003101: MLOAD
00003102: DUP1
00003103: SWAP2
00003104: SUB
00003105: SWAP1
00003106: REVERT
00003107: JUMPDEST
00003108: DUP1
00003109: MLOAD
0000310a: PUSH6 0xffffffffffff
00003111: DUP1
00003112: DUP9
00003113: AND
00003114: SWAP2
00003115: AND
00003116: SUB
00003117: PUSH2 0x3156
0000311a: JUMPI
0000311b: DUP5
0000311c: PUSH2 0x312a
0000311f: DUP9
00003120: PUSH2 0x18b9
00003123: PUSH1 0x01
00003125: DUP7
00003126: PUSH2 0x37b7
00003129: JUMP
0000312a: JUMPDEST
0000312b: DUP1
0000312c: SLOAD
0000312d: PUSH1 0x01
0000312f: PUSH1 0x01
00003131: PUSH1 0xd0
00003133: SHL
00003134: SUB
00003135: SWAP3
00003136: SWAP1
00003137: SWAP3
00003138: AND
00003139: PUSH7 0x01000000000000
00003141: MUL
00003142: PUSH6 0xffffffffffff
00003149: SWAP1
0000314a: SWAP3
0000314b: AND
0000314c: SWAP2
0000314d: SWAP1
0000314e: SWAP2
0000314f: OR
00003150: SWAP1
00003151: SSTORE
00003152: PUSH2 0x31a9
00003155: JUMP
00003156: JUMPDEST
00003157: PUSH1 0x40
00003159: DUP1
0000315a: MLOAD
0000315b: DUP1
0000315c: DUP3
0000315d: ADD
0000315e: SWAP1
0000315f: SWAP2
00003160: MSTORE
00003161: PUSH6 0xffffffffffff
00003168: DUP1
00003169: DUP9
0000316a: AND
0000316b: DUP3
0000316c: MSTORE
0000316d: PUSH1 0x01
0000316f: PUSH1 0x01
00003171: PUSH1 0xd0
00003173: SHL
00003174: SUB
00003175: DUP1
00003176: DUP9
00003177: AND
00003178: PUSH1 0x20
0000317a: DUP1
0000317b: DUP6
0000317c: ADD
0000317d: SWAP2
0000317e: DUP3
0000317f: MSTORE
00003180: DUP12
00003181: SLOAD
00003182: PUSH1 0x01
00003184: DUP2
00003185: ADD
00003186: DUP14
00003187: SSTORE
00003188: PUSH0
00003189: DUP14
0000318a: DUP2
0000318b: MSTORE
0000318c: SWAP2
0000318d: SWAP1
0000318e: SWAP2
0000318f: KECCAK256
00003190: SWAP5
00003191: MLOAD
00003192: SWAP2
00003193: MLOAD
00003194: SWAP1
00003195: SWAP3
00003196: AND
00003197: PUSH7 0x01000000000000
0000319f: MUL
000031a0: SWAP3
000031a1: AND
000031a2: SWAP2
000031a3: SWAP1
000031a4: SWAP2
000031a5: OR
000031a6: SWAP2
000031a7: ADD
000031a8: SSTORE
000031a9: JUMPDEST
000031aa: PUSH1 0x20
000031ac: ADD
000031ad: MLOAD
000031ae: SWAP3
000031af: POP
000031b0: DUP4
000031b1: SWAP2
000031b2: POP
000031b3: PUSH2 0x2d99
000031b6: SWAP1
000031b7: POP
000031b8: JUMP
000031b9: JUMPDEST
000031ba: POP
000031bb: POP
000031bc: PUSH1 0x40
000031be: DUP1
000031bf: MLOAD
000031c0: DUP1
000031c1: DUP3
000031c2: ADD
000031c3: SWAP1
000031c4: SWAP2
000031c5: MSTORE
000031c6: PUSH6 0xffffffffffff
000031cd: DUP1
000031ce: DUP6
000031cf: AND
000031d0: DUP3
000031d1: MSTORE
000031d2: PUSH1 0x01
000031d4: PUSH1 0x01
000031d6: PUSH1 0xd0
000031d8: SHL
000031d9: SUB
000031da: DUP1
000031db: DUP6
000031dc: AND
000031dd: PUSH1 0x20
000031df: DUP1
000031e0: DUP6
000031e1: ADD
000031e2: SWAP2
000031e3: DUP3
000031e4: MSTORE
000031e5: DUP9
000031e6: SLOAD
000031e7: PUSH1 0x01
000031e9: DUP2
000031ea: ADD
000031eb: DUP11
000031ec: SSTORE
000031ed: PUSH0
000031ee: DUP11
000031ef: DUP2
000031f0: MSTORE
000031f1: SWAP2
000031f2: DUP3
000031f3: KECCAK256
000031f4: SWAP6
000031f5: MLOAD
000031f6: SWAP3
000031f7: MLOAD
000031f8: SWAP1
000031f9: SWAP4
000031fa: AND
000031fb: PUSH7 0x01000000000000
00003203: MUL
00003204: SWAP2
00003205: SWAP1
00003206: SWAP4
00003207: AND
00003208: OR
00003209: SWAP3
0000320a: ADD
0000320b: SWAP2
0000320c: SWAP1
0000320d: SWAP2
0000320e: SSTORE
0000320f: SWAP1
00003210: POP
00003211: DUP2
00003212: PUSH2 0x2d99
00003215: JUMP
00003216: JUMPDEST
00003217: PUSH0
00003218: PUSH1 0x20
0000321a: DUP3
0000321b: DUP5
0000321c: SUB
0000321d: SLT
0000321e: ISZERO
0000321f: PUSH2 0x3226
00003222: JUMPI
00003223: PUSH0
00003224: DUP1
00003225: REVERT
00003226: JUMPDEST
00003227: DUP2
00003228: CALLDATALOAD
00003229: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000324a: DUP2
0000324b: AND
0000324c: DUP2
0000324d: EQ
0000324e: PUSH2 0x0b4e
00003251: JUMPI
00003252: PUSH0
00003253: DUP1
00003254: REVERT
00003255: JUMPDEST
00003256: PUSH0
00003257: JUMPDEST
00003258: DUP4
00003259: DUP2
0000325a: LT
0000325b: ISZERO
0000325c: PUSH2 0x326f
0000325f: JUMPI
00003260: DUP2
00003261: DUP2
00003262: ADD
00003263: MLOAD
00003264: DUP4
00003265: DUP3
00003266: ADD
00003267: MSTORE
00003268: PUSH1 0x20
0000326a: ADD
0000326b: PUSH2 0x3257
0000326e: JUMP
0000326f: JUMPDEST
00003270: POP
00003271: POP
00003272: PUSH0
00003273: SWAP2
00003274: ADD
00003275: MSTORE
00003276: JUMP
00003277: JUMPDEST
00003278: PUSH0
00003279: DUP2
0000327a: MLOAD
0000327b: DUP1
0000327c: DUP5
0000327d: MSTORE
0000327e: PUSH2 0x328e
00003281: DUP2
00003282: PUSH1 0x20
00003284: DUP7
00003285: ADD
00003286: PUSH1 0x20
00003288: DUP7
00003289: ADD
0000328a: PUSH2 0x3255
0000328d: JUMP
0000328e: JUMPDEST
0000328f: PUSH1 0x1f
00003291: ADD
00003292: PUSH1 0x1f
00003294: NOT
00003295: AND
00003296: SWAP3
00003297: SWAP1
00003298: SWAP3
00003299: ADD
0000329a: PUSH1 0x20
0000329c: ADD
0000329d: SWAP3
0000329e: SWAP2
0000329f: POP
000032a0: POP
000032a1: JUMP
000032a2: JUMPDEST
000032a3: PUSH1 0x20
000032a5: DUP2
000032a6: MSTORE
000032a7: PUSH0
000032a8: PUSH2 0x0b4e
000032ab: PUSH1 0x20
000032ad: DUP4
000032ae: ADD
000032af: DUP5
000032b0: PUSH2 0x3277
000032b3: JUMP
000032b4: JUMPDEST
000032b5: DUP1
000032b6: CALLDATALOAD
000032b7: PUSH1 0x01
000032b9: PUSH1 0x01
000032bb: PUSH1 0xa0
000032bd: SHL
000032be: SUB
000032bf: DUP2
000032c0: AND
000032c1: DUP2
000032c2: EQ
000032c3: PUSH2 0x32ca
000032c6: JUMPI
000032c7: PUSH0
000032c8: DUP1
000032c9: REVERT
000032ca: JUMPDEST
000032cb: SWAP2
000032cc: SWAP1
000032cd: POP
000032ce: JUMP
000032cf: JUMPDEST
000032d0: PUSH0
000032d1: DUP1
000032d2: PUSH1 0x40
000032d4: DUP4
000032d5: DUP6
000032d6: SUB
000032d7: SLT
000032d8: ISZERO
000032d9: PUSH2 0x32e0
000032dc: JUMPI
000032dd: PUSH0
000032de: DUP1
000032df: REVERT
000032e0: JUMPDEST
000032e1: PUSH2 0x32e9
000032e4: DUP4
000032e5: PUSH2 0x32b4
000032e8: JUMP
000032e9: JUMPDEST
000032ea: SWAP5
000032eb: PUSH1 0x20
000032ed: SWAP4
000032ee: SWAP1
000032ef: SWAP4
000032f0: ADD
000032f1: CALLDATALOAD
000032f2: SWAP4
000032f3: POP
000032f4: POP
000032f5: POP
000032f6: JUMP
000032f7: JUMPDEST
000032f8: PUSH0
000032f9: DUP1
000032fa: PUSH0
000032fb: PUSH1 0x60
000032fd: DUP5
000032fe: DUP7
000032ff: SUB
00003300: SLT
00003301: ISZERO
00003302: PUSH2 0x3309
00003305: JUMPI
00003306: PUSH0
00003307: DUP1
00003308: REVERT
00003309: JUMPDEST
0000330a: PUSH2 0x3312
0000330d: DUP5
0000330e: PUSH2 0x32b4
00003311: JUMP
00003312: JUMPDEST
00003313: SWAP3
00003314: POP
00003315: PUSH2 0x3320
00003318: PUSH1 0x20
0000331a: DUP6
0000331b: ADD
0000331c: PUSH2 0x32b4
0000331f: JUMP
00003320: JUMPDEST
00003321: SWAP2
00003322: POP
00003323: PUSH1 0x40
00003325: DUP5
00003326: ADD
00003327: CALLDATALOAD
00003328: SWAP1
00003329: POP
0000332a: SWAP3
0000332b: POP
0000332c: SWAP3
0000332d: POP
0000332e: SWAP3
0000332f: JUMP
00003330: JUMPDEST
00003331: PUSH0
00003332: PUSH1 0x20
00003334: DUP3
00003335: DUP5
00003336: SUB
00003337: SLT
00003338: ISZERO
00003339: PUSH2 0x3340
0000333c: JUMPI
0000333d: PUSH0
0000333e: DUP1
0000333f: REVERT
00003340: JUMPDEST
00003341: POP
00003342: CALLDATALOAD
00003343: SWAP2
00003344: SWAP1
00003345: POP
00003346: JUMP
00003347: JUMPDEST
00003348: PUSH0
00003349: DUP1
0000334a: PUSH1 0x40
0000334c: DUP4
0000334d: DUP6
0000334e: SUB
0000334f: SLT
00003350: ISZERO
00003351: PUSH2 0x3358
00003354: JUMPI
00003355: PUSH0
00003356: DUP1
00003357: REVERT
00003358: JUMPDEST
00003359: DUP3
0000335a: CALLDATALOAD
0000335b: SWAP2
0000335c: POP
0000335d: PUSH2 0x3368
00003360: PUSH1 0x20
00003362: DUP5
00003363: ADD
00003364: PUSH2 0x32b4
00003367: JUMP
00003368: JUMPDEST
00003369: SWAP1
0000336a: POP
0000336b: SWAP3
0000336c: POP
0000336d: SWAP3
0000336e: SWAP1
0000336f: POP
00003370: JUMP
00003371: JUMPDEST
00003372: PUSH0
00003373: DUP1
00003374: PUSH1 0x40
00003376: DUP4
00003377: DUP6
00003378: SUB
00003379: SLT
0000337a: ISZERO
0000337b: PUSH2 0x3382
0000337e: JUMPI
0000337f: PUSH0
00003380: DUP1
00003381: REVERT
00003382: JUMPDEST
00003383: PUSH2 0x338b
00003386: DUP4
00003387: PUSH2 0x32b4
0000338a: JUMP
0000338b: JUMPDEST
0000338c: SWAP2
0000338d: POP
0000338e: PUSH1 0x20
00003390: DUP4
00003391: ADD
00003392: CALLDATALOAD
00003393: DUP1
00003394: ISZERO
00003395: ISZERO
00003396: DUP2
00003397: EQ
00003398: PUSH2 0x339f
0000339b: JUMPI
0000339c: PUSH0
0000339d: DUP1
0000339e: REVERT
0000339f: JUMPDEST
000033a0: DUP1
000033a1: SWAP2
000033a2: POP
000033a3: POP
000033a4: SWAP3
000033a5: POP
000033a6: SWAP3
000033a7: SWAP1
000033a8: POP
000033a9: JUMP
000033aa: JUMPDEST
000033ab: PUSH4 0x4e487b71
000033b0: PUSH1 0xe0
000033b2: SHL
000033b3: PUSH0
000033b4: MSTORE
000033b5: PUSH1 0x41
000033b7: PUSH1 0x04
000033b9: MSTORE
000033ba: PUSH1 0x24
000033bc: PUSH0
000033bd: REVERT
000033be: JUMPDEST
000033bf: PUSH0
000033c0: DUP1
000033c1: PUSH1 0x40
000033c3: DUP4
000033c4: DUP6
000033c5: SUB
000033c6: SLT
000033c7: ISZERO
000033c8: PUSH2 0x33cf
000033cb: JUMPI
000033cc: PUSH0
000033cd: DUP1
000033ce: REVERT
000033cf: JUMPDEST
000033d0: PUSH2 0x33d8
000033d3: DUP4
000033d4: PUSH2 0x32b4
000033d7: JUMP
000033d8: JUMPDEST
000033d9: SWAP2
000033da: POP
000033db: PUSH1 0x20
000033dd: DUP4
000033de: ADD
000033df: CALLDATALOAD
000033e0: PUSH8 0xffffffffffffffff
000033e9: DUP1
000033ea: DUP3
000033eb: GT
000033ec: ISZERO
000033ed: PUSH2 0x33f4
000033f0: JUMPI
000033f1: PUSH0
000033f2: DUP1
000033f3: REVERT
000033f4: JUMPDEST
000033f5: DUP2
000033f6: DUP6
000033f7: ADD
000033f8: SWAP2
000033f9: POP
000033fa: DUP6
000033fb: PUSH1 0x1f
000033fd: DUP4
000033fe: ADD
000033ff: SLT
00003400: PUSH2 0x3407
00003403: JUMPI
00003404: PUSH0
00003405: DUP1
00003406: REVERT
00003407: JUMPDEST
00003408: DUP2
00003409: CALLDATALOAD
0000340a: DUP2
0000340b: DUP2
0000340c: GT
0000340d: ISZERO
0000340e: PUSH2 0x3419
00003411: JUMPI
00003412: PUSH2 0x3419
00003415: PUSH2 0x33aa
00003418: JUMP
00003419: JUMPDEST
0000341a: PUSH1 0x40
0000341c: MLOAD
0000341d: PUSH1 0x1f
0000341f: DUP3
00003420: ADD
00003421: PUSH1 0x1f
00003423: NOT
00003424: SWAP1
00003425: DUP2
00003426: AND
00003427: PUSH1 0x3f
00003429: ADD
0000342a: AND
0000342b: DUP2
0000342c: ADD
0000342d: SWAP1
0000342e: DUP4
0000342f: DUP3
00003430: GT
00003431: DUP2
00003432: DUP4
00003433: LT
00003434: OR
00003435: ISZERO
00003436: PUSH2 0x3441
00003439: JUMPI
0000343a: PUSH2 0x3441
0000343d: PUSH2 0x33aa
00003440: JUMP
00003441: JUMPDEST
00003442: DUP2
00003443: PUSH1 0x40
00003445: MSTORE
00003446: DUP3
00003447: DUP2
00003448: MSTORE
00003449: DUP9
0000344a: PUSH1 0x20
0000344c: DUP5
0000344d: DUP8
0000344e: ADD
0000344f: ADD
00003450: GT
00003451: ISZERO
00003452: PUSH2 0x3459
00003455: JUMPI
00003456: PUSH0
00003457: DUP1
00003458: REVERT
00003459: JUMPDEST
0000345a: DUP3
0000345b: PUSH1 0x20
0000345d: DUP7
0000345e: ADD
0000345f: PUSH1 0x20
00003461: DUP4
00003462: ADD
00003463: CALLDATACOPY
00003464: PUSH0
00003465: PUSH1 0x20
00003467: DUP5
00003468: DUP4
00003469: ADD
0000346a: ADD
0000346b: MSTORE
0000346c: DUP1
0000346d: SWAP6
0000346e: POP
0000346f: POP
00003470: POP
00003471: POP
00003472: POP
00003473: POP
00003474: SWAP3
00003475: POP
00003476: SWAP3
00003477: SWAP1
00003478: POP
00003479: JUMP
0000347a: JUMPDEST
0000347b: PUSH0
0000347c: PUSH1 0x20
0000347e: DUP3
0000347f: DUP5
00003480: SUB
00003481: SLT
00003482: ISZERO
00003483: PUSH2 0x348a
00003486: JUMPI
00003487: PUSH0
00003488: DUP1
00003489: REVERT
0000348a: JUMPDEST
0000348b: PUSH2 0x0b4e
0000348e: DUP3
0000348f: PUSH2 0x32b4
00003492: JUMP
00003493: JUMPDEST
00003494: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
000034b5: DUP9
000034b6: AND
000034b7: DUP2
000034b8: MSTORE
000034b9: PUSH0
000034ba: PUSH1 0x20
000034bc: PUSH1 0xe0
000034be: DUP2
000034bf: DUP5
000034c0: ADD
000034c1: MSTORE
000034c2: PUSH2 0x34ce
000034c5: PUSH1 0xe0
000034c7: DUP5
000034c8: ADD
000034c9: DUP11
000034ca: PUSH2 0x3277
000034cd: JUMP
000034ce: JUMPDEST
000034cf: DUP4
000034d0: DUP2
000034d1: SUB
000034d2: PUSH1 0x40
000034d4: DUP6
000034d5: ADD
000034d6: MSTORE
000034d7: PUSH2 0x34e0
000034da: DUP2
000034db: DUP11
000034dc: PUSH2 0x3277
000034df: JUMP
000034e0: JUMPDEST
000034e1: PUSH1 0x60
000034e3: DUP6
000034e4: ADD
000034e5: DUP10
000034e6: SWAP1
000034e7: MSTORE
000034e8: PUSH1 0x01
000034ea: PUSH1 0x01
000034ec: PUSH1 0xa0
000034ee: SHL
000034ef: SUB
000034f0: DUP9
000034f1: AND
000034f2: PUSH1 0x80
000034f4: DUP7
000034f5: ADD
000034f6: MSTORE
000034f7: PUSH1 0xa0
000034f9: DUP6
000034fa: ADD
000034fb: DUP8
000034fc: SWAP1
000034fd: MSTORE
000034fe: DUP5
000034ff: DUP2
00003500: SUB
00003501: PUSH1 0xc0
00003503: DUP7
00003504: ADD
00003505: MSTORE
00003506: DUP6
00003507: MLOAD
00003508: DUP1
00003509: DUP3
0000350a: MSTORE
0000350b: DUP4
0000350c: DUP8
0000350d: ADD
0000350e: SWAP3
0000350f: POP
00003510: SWAP1
00003511: DUP4
00003512: ADD
00003513: SWAP1
00003514: PUSH0
00003515: JUMPDEST
00003516: DUP2
00003517: DUP2
00003518: LT
00003519: ISZERO
0000351a: PUSH2 0x3531
0000351d: JUMPI
0000351e: DUP4
0000351f: MLOAD
00003520: DUP4
00003521: MSTORE
00003522: SWAP3
00003523: DUP5
00003524: ADD
00003525: SWAP3
00003526: SWAP2
00003527: DUP5
00003528: ADD
00003529: SWAP2
0000352a: PUSH1 0x01
0000352c: ADD
0000352d: PUSH2 0x3515
00003530: JUMP
00003531: JUMPDEST
00003532: POP
00003533: SWAP1
00003534: SWAP13
00003535: SWAP12
00003536: POP
00003537: POP
00003538: POP
00003539: POP
0000353a: POP
0000353b: POP
0000353c: POP
0000353d: POP
0000353e: POP
0000353f: POP
00003540: POP
00003541: POP
00003542: JUMP
00003543: JUMPDEST
00003544: DUP1
00003545: CALLDATALOAD
00003546: PUSH1 0xff
00003548: DUP2
00003549: AND
0000354a: DUP2
0000354b: EQ
0000354c: PUSH2 0x32ca
0000354f: JUMPI
00003550: PUSH0
00003551: DUP1
00003552: REVERT
00003553: JUMPDEST
00003554: PUSH0
00003555: DUP1
00003556: PUSH0
00003557: DUP1
00003558: PUSH0
00003559: DUP1
0000355a: PUSH1 0xc0
0000355c: DUP8
0000355d: DUP10
0000355e: SUB
0000355f: SLT
00003560: ISZERO
00003561: PUSH2 0x3568
00003564: JUMPI
00003565: PUSH0
00003566: DUP1
00003567: REVERT
00003568: JUMPDEST
00003569: PUSH2 0x3571
0000356c: DUP8
0000356d: PUSH2 0x32b4
00003570: JUMP
00003571: JUMPDEST
00003572: SWAP6
00003573: POP
00003574: PUSH1 0x20
00003576: DUP8
00003577: ADD
00003578: CALLDATALOAD
00003579: SWAP5
0000357a: POP
0000357b: PUSH1 0x40
0000357d: DUP8
0000357e: ADD
0000357f: CALLDATALOAD
00003580: SWAP4
00003581: POP
00003582: PUSH2 0x358d
00003585: PUSH1 0x60
00003587: DUP9
00003588: ADD
00003589: PUSH2 0x3543
0000358c: JUMP
0000358d: JUMPDEST
0000358e: SWAP3
0000358f: POP
00003590: PUSH1 0x80
00003592: DUP8
00003593: ADD
00003594: CALLDATALOAD
00003595: SWAP2
00003596: POP
00003597: PUSH1 0xa0
00003599: DUP8
0000359a: ADD
0000359b: CALLDATALOAD
0000359c: SWAP1
0000359d: POP
0000359e: SWAP3
0000359f: SWAP6
000035a0: POP
000035a1: SWAP3
000035a2: SWAP6
000035a3: POP
000035a4: SWAP3
000035a5: SWAP6
000035a6: JUMP
000035a7: JUMPDEST
000035a8: PUSH0
000035a9: DUP1
000035aa: PUSH0
000035ab: DUP1
000035ac: PUSH0
000035ad: DUP1
000035ae: PUSH0
000035af: PUSH1 0xe0
000035b1: DUP9
000035b2: DUP11
000035b3: SUB
000035b4: SLT
000035b5: ISZERO
000035b6: PUSH2 0x35bd
000035b9: JUMPI
000035ba: PUSH0
000035bb: DUP1
000035bc: REVERT
000035bd: JUMPDEST
000035be: PUSH2 0x35c6
000035c1: DUP9
000035c2: PUSH2 0x32b4
000035c5: JUMP
000035c6: JUMPDEST
000035c7: SWAP7
000035c8: POP
000035c9: PUSH2 0x35d4
000035cc: PUSH1 0x20
000035ce: DUP10
000035cf: ADD
000035d0: PUSH2 0x32b4
000035d3: JUMP
000035d4: JUMPDEST
000035d5: SWAP6
000035d6: POP
000035d7: PUSH1 0x40
000035d9: DUP9
000035da: ADD
000035db: CALLDATALOAD
000035dc: SWAP5
000035dd: POP
000035de: PUSH1 0x60
000035e0: DUP9
000035e1: ADD
000035e2: CALLDATALOAD
000035e3: SWAP4
000035e4: POP
000035e5: PUSH2 0x35f0
000035e8: PUSH1 0x80
000035ea: DUP10
000035eb: ADD
000035ec: PUSH2 0x3543
000035ef: JUMP
000035f0: JUMPDEST
000035f1: SWAP3
000035f2: POP
000035f3: PUSH1 0xa0
000035f5: DUP9
000035f6: ADD
000035f7: CALLDATALOAD
000035f8: SWAP2
000035f9: POP
000035fa: PUSH1 0xc0
000035fc: DUP9
000035fd: ADD
000035fe: CALLDATALOAD
000035ff: SWAP1
00003600: POP
00003601: SWAP3
00003602: SWAP6
00003603: SWAP9
00003604: SWAP2
00003605: SWAP5
00003606: SWAP8
00003607: POP
00003608: SWAP3
00003609: SWAP6
0000360a: POP
0000360b: JUMP
0000360c: JUMPDEST
0000360d: PUSH0
0000360e: DUP1
0000360f: PUSH1 0x40
00003611: DUP4
00003612: DUP6
00003613: SUB
00003614: SLT
00003615: ISZERO
00003616: PUSH2 0x361d
00003619: JUMPI
0000361a: PUSH0
0000361b: DUP1
0000361c: REVERT
0000361d: JUMPDEST
0000361e: PUSH2 0x3626
00003621: DUP4
00003622: PUSH2 0x32b4
00003625: JUMP
00003626: JUMPDEST
00003627: SWAP2
00003628: POP
00003629: PUSH2 0x3368
0000362c: PUSH1 0x20
0000362e: DUP5
0000362f: ADD
00003630: PUSH2 0x32b4
00003633: JUMP
00003634: JUMPDEST
00003635: PUSH0
00003636: DUP1
00003637: PUSH1 0x40
00003639: DUP4
0000363a: DUP6
0000363b: SUB
0000363c: SLT
0000363d: ISZERO
0000363e: PUSH2 0x3645
00003641: JUMPI
00003642: PUSH0
00003643: DUP1
00003644: REVERT
00003645: JUMPDEST
00003646: PUSH2 0x364e
00003649: DUP4
0000364a: PUSH2 0x32b4
0000364d: JUMP
0000364e: JUMPDEST
0000364f: SWAP2
00003650: POP
00003651: PUSH1 0x20
00003653: DUP4
00003654: ADD
00003655: CALLDATALOAD
00003656: PUSH4 0xffffffff
0000365b: DUP2
0000365c: AND
0000365d: DUP2
0000365e: EQ
0000365f: PUSH2 0x339f
00003662: JUMPI
00003663: PUSH0
00003664: DUP1
00003665: REVERT
00003666: JUMPDEST
00003667: PUSH1 0x01
00003669: DUP2
0000366a: DUP2
0000366b: SHR
0000366c: SWAP1
0000366d: DUP3
0000366e: AND
0000366f: DUP1
00003670: PUSH2 0x367a
00003673: JUMPI
00003674: PUSH1 0x7f
00003676: DUP3
00003677: AND
00003678: SWAP2
00003679: POP
0000367a: JUMPDEST
0000367b: PUSH1 0x20
0000367d: DUP3
0000367e: LT
0000367f: DUP2
00003680: SUB
00003681: PUSH2 0x3698
00003684: JUMPI
00003685: PUSH4 0x4e487b71
0000368a: PUSH1 0xe0
0000368c: SHL
0000368d: PUSH0
0000368e: MSTORE
0000368f: PUSH1 0x22
00003691: PUSH1 0x04
00003693: MSTORE
00003694: PUSH1 0x24
00003696: PUSH0
00003697: REVERT
00003698: JUMPDEST
00003699: POP
0000369a: SWAP2
0000369b: SWAP1
0000369c: POP
0000369d: JUMP
0000369e: JUMPDEST
0000369f: PUSH4 0x4e487b71
000036a4: PUSH1 0xe0
000036a6: SHL
000036a7: PUSH0
000036a8: MSTORE
000036a9: PUSH1 0x11
000036ab: PUSH1 0x04
000036ad: MSTORE
000036ae: PUSH1 0x24
000036b0: PUSH0
000036b1: REVERT
000036b2: JUMPDEST
000036b3: PUSH1 0x01
000036b5: DUP2
000036b6: DUP2
000036b7: JUMPDEST
000036b8: DUP1
000036b9: DUP6
000036ba: GT
000036bb: ISZERO
000036bc: PUSH2 0x36ec
000036bf: JUMPI
000036c0: DUP2
000036c1: PUSH0
000036c2: NOT
000036c3: DIV
000036c4: DUP3
000036c5: GT
000036c6: ISZERO
000036c7: PUSH2 0x36d2
000036ca: JUMPI
000036cb: PUSH2 0x36d2
000036ce: PUSH2 0x369e
000036d1: JUMP
000036d2: JUMPDEST
000036d3: DUP1
000036d4: DUP6
000036d5: AND
000036d6: ISZERO
000036d7: PUSH2 0x36df
000036da: JUMPI
000036db: SWAP2
000036dc: DUP2
000036dd: MUL
000036de: SWAP2
000036df: JUMPDEST
000036e0: SWAP4
000036e1: DUP5
000036e2: SHR
000036e3: SWAP4
000036e4: SWAP1
000036e5: DUP1
000036e6: MUL
000036e7: SWAP1
000036e8: PUSH2 0x36b7
000036eb: JUMP
000036ec: JUMPDEST
000036ed: POP
000036ee: SWAP3
000036ef: POP
000036f0: SWAP3
000036f1: SWAP1
000036f2: POP
000036f3: JUMP
000036f4: JUMPDEST
000036f5: PUSH0
000036f6: DUP3
000036f7: PUSH2 0x3702
000036fa: JUMPI
000036fb: POP
000036fc: PUSH1 0x01
000036fe: PUSH2 0x0a5b
00003701: JUMP
00003702: JUMPDEST
00003703: DUP2
00003704: PUSH2 0x370e
00003707: JUMPI
00003708: POP
00003709: PUSH0
0000370a: PUSH2 0x0a5b
0000370d: JUMP
0000370e: JUMPDEST
0000370f: DUP2
00003710: PUSH1 0x01
00003712: DUP2
00003713: EQ
00003714: PUSH2 0x3724
00003717: JUMPI
00003718: PUSH1 0x02
0000371a: DUP2
0000371b: EQ
0000371c: PUSH2 0x372e
0000371f: JUMPI
00003720: PUSH2 0x374a
00003723: JUMP
00003724: JUMPDEST
00003725: PUSH1 0x01
00003727: SWAP2
00003728: POP
00003729: POP
0000372a: PUSH2 0x0a5b
0000372d: JUMP
0000372e: JUMPDEST
0000372f: PUSH1 0xff
00003731: DUP5
00003732: GT
00003733: ISZERO
00003734: PUSH2 0x373f
00003737: JUMPI
00003738: PUSH2 0x373f
0000373b: PUSH2 0x369e
0000373e: JUMP
0000373f: JUMPDEST
00003740: POP
00003741: POP
00003742: PUSH1 0x01
00003744: DUP3
00003745: SHL
00003746: PUSH2 0x0a5b
00003749: JUMP
0000374a: JUMPDEST
0000374b: POP
0000374c: PUSH1 0x20
0000374e: DUP4
0000374f: LT
00003750: PUSH2 0x0133
00003753: DUP4
00003754: LT
00003755: AND
00003756: PUSH1 0x4e
00003758: DUP5
00003759: LT
0000375a: PUSH1 0x0b
0000375c: DUP5
0000375d: LT
0000375e: AND
0000375f: OR
00003760: ISZERO
00003761: PUSH2 0x376d
00003764: JUMPI
00003765: POP
00003766: DUP2
00003767: DUP2
00003768: EXP
00003769: PUSH2 0x0a5b
0000376c: JUMP
0000376d: JUMPDEST
0000376e: PUSH2 0x3777
00003771: DUP4
00003772: DUP4
00003773: PUSH2 0x36b2
00003776: JUMP
00003777: JUMPDEST
00003778: DUP1
00003779: PUSH0
0000377a: NOT
0000377b: DIV
0000377c: DUP3
0000377d: GT
0000377e: ISZERO
0000377f: PUSH2 0x378a
00003782: JUMPI
00003783: PUSH2 0x378a
00003786: PUSH2 0x369e
00003789: JUMP
0000378a: JUMPDEST
0000378b: MUL
0000378c: SWAP4
0000378d: SWAP3
0000378e: POP
0000378f: POP
00003790: POP
00003791: JUMP
00003792: JUMPDEST
00003793: PUSH0
00003794: PUSH2 0x0b4e
00003797: PUSH1 0xff
00003799: DUP5
0000379a: AND
0000379b: DUP4
0000379c: PUSH2 0x36f4
0000379f: JUMP
000037a0: JUMPDEST
000037a1: DUP1
000037a2: DUP3
000037a3: MUL
000037a4: DUP2
000037a5: ISZERO
000037a6: DUP3
000037a7: DUP3
000037a8: DIV
000037a9: DUP5
000037aa: EQ
000037ab: OR
000037ac: PUSH2 0x0a5b
000037af: JUMPI
000037b0: PUSH2 0x0a5b
000037b3: PUSH2 0x369e
000037b6: JUMP
000037b7: JUMPDEST
000037b8: DUP2
000037b9: DUP2
000037ba: SUB
000037bb: DUP2
000037bc: DUP2
000037bd: GT
000037be: ISZERO
000037bf: PUSH2 0x0a5b
000037c2: JUMPI
000037c3: PUSH2 0x0a5b
000037c6: PUSH2 0x369e
000037c9: JUMP
000037ca: JUMPDEST
000037cb: DUP1
000037cc: DUP3
000037cd: ADD
000037ce: DUP1
000037cf: DUP3
000037d0: GT
000037d1: ISZERO
000037d2: PUSH2 0x0a5b
000037d5: JUMPI
000037d6: PUSH2 0x0a5b
000037d9: PUSH2 0x369e
000037dc: JUMP
000037dd: JUMPDEST
000037de: PUSH0
000037df: PUSH1 0x20
000037e1: DUP3
000037e2: DUP5
000037e3: SUB
000037e4: SLT
000037e5: ISZERO
000037e6: PUSH2 0x37ed
000037e9: JUMPI
000037ea: PUSH0
000037eb: DUP1
000037ec: REVERT
000037ed: JUMPDEST
000037ee: POP
000037ef: MLOAD
000037f0: SWAP2
000037f1: SWAP1
000037f2: POP
000037f3: JUMP
000037f4: JUMPDEST
000037f5: PUSH4 0x4e487b71
000037fa: PUSH1 0xe0
000037fc: SHL
000037fd: PUSH0
000037fe: MSTORE
000037ff: PUSH1 0x12
00003801: PUSH1 0x04
00003803: MSTORE
00003804: PUSH1 0x24
00003806: PUSH0
00003807: REVERT
00003808: JUMPDEST
00003809: PUSH1 0x1f
0000380b: DUP3
0000380c: GT
0000380d: ISZERO
0000380e: PUSH2 0x0bf8
00003811: JUMPI
00003812: PUSH0
00003813: DUP2
00003814: DUP2
00003815: MSTORE
00003816: PUSH1 0x20
00003818: DUP2
00003819: KECCAK256
0000381a: PUSH1 0x1f
0000381c: DUP6
0000381d: ADD
0000381e: PUSH1 0x05
00003820: SHR
00003821: DUP2
00003822: ADD
00003823: PUSH1 0x20
00003825: DUP7
00003826: LT
00003827: ISZERO
00003828: PUSH2 0x382e
0000382b: JUMPI
0000382c: POP
0000382d: DUP1
0000382e: JUMPDEST
0000382f: PUSH1 0x1f
00003831: DUP6
00003832: ADD
00003833: PUSH1 0x05
00003835: SHR
00003836: DUP3
00003837: ADD
00003838: SWAP2
00003839: POP
0000383a: JUMPDEST
0000383b: DUP2
0000383c: DUP2
0000383d: LT
0000383e: ISZERO
0000383f: PUSH2 0x384d
00003842: JUMPI
00003843: DUP3
00003844: DUP2
00003845: SSTORE
00003846: PUSH1 0x01
00003848: ADD
00003849: PUSH2 0x383a
0000384c: JUMP
0000384d: JUMPDEST
0000384e: POP
0000384f: POP
00003850: POP
00003851: POP
00003852: POP
00003853: POP
00003854: JUMP
00003855: JUMPDEST
00003856: DUP2
00003857: MLOAD
00003858: PUSH8 0xffffffffffffffff
00003861: DUP2
00003862: GT
00003863: ISZERO
00003864: PUSH2 0x386f
00003867: JUMPI
00003868: PUSH2 0x386f
0000386b: PUSH2 0x33aa
0000386e: JUMP
0000386f: JUMPDEST
00003870: PUSH2 0x3883
00003873: DUP2
00003874: PUSH2 0x387d
00003877: DUP5
00003878: SLOAD
00003879: PUSH2 0x3666
0000387c: JUMP
0000387d: JUMPDEST
0000387e: DUP5
0000387f: PUSH2 0x3808
00003882: JUMP
00003883: JUMPDEST
00003884: PUSH1 0x20
00003886: DUP1
00003887: PUSH1 0x1f
00003889: DUP4
0000388a: GT
0000388b: PUSH1 0x01
0000388d: DUP2
0000388e: EQ
0000388f: PUSH2 0x38b6
00003892: JUMPI
00003893: PUSH0
00003894: DUP5
00003895: ISZERO
00003896: PUSH2 0x389f
00003899: JUMPI
0000389a: POP
0000389b: DUP6
0000389c: DUP4
0000389d: ADD
0000389e: MLOAD
0000389f: JUMPDEST
000038a0: PUSH0
000038a1: NOT
000038a2: PUSH1 0x03
000038a4: DUP7
000038a5: SWAP1
000038a6: SHL
000038a7: SHR
000038a8: NOT
000038a9: AND
000038aa: PUSH1 0x01
000038ac: DUP6
000038ad: SWAP1
000038ae: SHL
000038af: OR
000038b0: DUP6
000038b1: SSTORE
000038b2: PUSH2 0x384d
000038b5: JUMP
000038b6: JUMPDEST
000038b7: PUSH0
000038b8: DUP6
000038b9: DUP2
000038ba: MSTORE
000038bb: PUSH1 0x20
000038bd: DUP2
000038be: KECCAK256
000038bf: PUSH1 0x1f
000038c1: NOT
000038c2: DUP7
000038c3: AND
000038c4: SWAP2
000038c5: JUMPDEST
000038c6: DUP3
000038c7: DUP2
000038c8: LT
000038c9: ISZERO
000038ca: PUSH2 0x38e4
000038cd: JUMPI
000038ce: DUP9
000038cf: DUP7
000038d0: ADD
000038d1: MLOAD
000038d2: DUP3
000038d3: SSTORE
000038d4: SWAP5
000038d5: DUP5
000038d6: ADD
000038d7: SWAP5
000038d8: PUSH1 0x01
000038da: SWAP1
000038db: SWAP2
000038dc: ADD
000038dd: SWAP1
000038de: DUP5
000038df: ADD
000038e0: PUSH2 0x38c5
000038e3: JUMP
000038e4: JUMPDEST
000038e5: POP
000038e6: DUP6
000038e7: DUP3
000038e8: LT
000038e9: ISZERO
000038ea: PUSH2 0x3901
000038ed: JUMPI
000038ee: DUP8
000038ef: DUP6
000038f0: ADD
000038f1: MLOAD
000038f2: PUSH0
000038f3: NOT
000038f4: PUSH1 0x03
000038f6: DUP9
000038f7: SWAP1
000038f8: SHL
000038f9: PUSH1 0xf8
000038fb: AND
000038fc: SHR
000038fd: NOT
000038fe: AND
000038ff: DUP2
00003900: SSTORE
00003901: JUMPDEST
00003902: POP
00003903: POP
00003904: POP
00003905: POP
00003906: POP
00003907: PUSH1 0x01
00003909: SWAP1
0000390a: DUP2
0000390b: SHL
0000390c: ADD
0000390d: SWAP1
0000390e: SSTORE
0000390f: POP
00003910: JUMP
00003911: JUMPDEST
00003912: PUSH4 0x4e487b71
00003917: PUSH1 0xe0
00003919: SHL
0000391a: PUSH0
0000391b: MSTORE
0000391c: PUSH1 0x21
0000391e: PUSH1 0x04
00003920: MSTORE
00003921: PUSH1 0x24
00003923: PUSH0
00003924: REVERT
00003925: JUMPDEST
00003926: PUSH4 0x4e487b71
0000392b: PUSH1 0xe0
0000392d: SHL
0000392e: PUSH0
0000392f: MSTORE
00003930: PUSH1 0x32
00003932: PUSH1 0x04
00003934: MSTORE
00003935: PUSH1 0x24
00003937: PUSH0
00003938: REVERT
00003939: JUMPDEST
0000393a: PUSH0
0000393b: DUP3
0000393c: PUSH2 0x3953
0000393f: JUMPI
00003940: PUSH4 0x4e487b71
00003945: PUSH1 0xe0
00003947: SHL
00003948: PUSH0
00003949: MSTORE
0000394a: PUSH1 0x12
0000394c: PUSH1 0x04
0000394e: MSTORE
0000394f: PUSH1 0x24
00003951: PUSH0
00003952: REVERT
00003953: JUMPDEST
00003954: POP
00003955: DIV
00003956: SWAP1
00003957: JUMP
00003958: JUMPDEST
00003959: PUSH0
0000395a: DUP3
0000395b: MLOAD
0000395c: PUSH2 0x3969
0000395f: DUP2
00003960: DUP5
00003961: PUSH1 0x20
00003963: DUP8
00003964: ADD
00003965: PUSH2 0x3255
00003968: JUMP
00003969: JUMPDEST
0000396a: SWAP2
0000396b: SWAP1
0000396c: SWAP2
0000396d: ADD
0000396e: SWAP3
0000396f: SWAP2
00003970: POP
00003971: POP
00003972: JUMP
00003973: JUMPDEST
00003974: PUSH1 0x01
00003976: PUSH1 0x01
00003978: PUSH1 0xd0
0000397a: SHL
0000397b: SUB
0000397c: DUP3
0000397d: DUP2
0000397e: AND
0000397f: DUP3
00003980: DUP3
00003981: AND
00003982: SUB
00003983: SWAP1
00003984: DUP1
00003985: DUP3
00003986: GT
00003987: ISZERO
00003988: PUSH2 0x174f
0000398b: JUMPI
0000398c: PUSH2 0x174f
0000398f: PUSH2 0x369e
00003992: JUMP
00003993: JUMPDEST
00003994: PUSH1 0x01
00003996: PUSH1 0x01
00003998: PUSH1 0xd0
0000399a: SHL
0000399b: SUB
0000399c: DUP2
0000399d: DUP2
0000399e: AND
0000399f: DUP4
000039a0: DUP3
000039a1: AND
000039a2: ADD
000039a3: SWAP1
000039a4: DUP1
000039a5: DUP3
000039a6: GT
000039a7: ISZERO
000039a8: PUSH2 0x174f
000039ab: JUMPI
000039ac: PUSH2 0x174f
000039af: PUSH2 0x369e
000039b2: JUMP
000039b3: INVALID
000039b4: UNKNOWN(0xE8)
000039b5: UNKNOWN(0xB2)
000039b6: PUSH13 0x30fad74198956032a3533d9033
000039c4: DUP6
000039c5: UNKNOWN(0xD5)
000039c6: PUSH14 0xd795af560196f9c78d4af40d00a2
000039d5: PUSH5 0x6970667358
000039db: UNKNOWN(0x22)
000039dc: SLT
000039dd: KECCAK256
000039de: UNKNOWN(0xA8)
000039df: UNKNOWN(0xC0)
000039e0: EXTCODECOPY
000039e1: JUMPDEST
000039e2: XOR
000039e3: UNKNOWN(0xEB)
000039e4: SWAP13
000039e5: BYTE
000039e6: DUP14
000039e7: CALLER
000039e8: UNKNOWN(0xD3)
000039e9: UNKNOWN(0xBC)
000039ea: MOD
000039eb: UNKNOWN(0x2D)
000039ec: AND
000039ed: DUP6
000039ee: TLOAD
000039ef: CODECOPY
000039f0: UNKNOWN(0x2B)
000039f1: MSTORE
000039f2: UNKNOWN(0xCE)
000039f3: UNKNOWN(0x29)
000039f4: DUP9
000039f5: UNKNOWN(0xA8)
000039f6: PUSH7 0xdecec8cffa6144
000039fe: PUSH5 0x736f6c6343
00003a04: STOP
00003a05: ADDMOD
00003a06: EQ
00003a07: STOP
00003a08: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 0x4143aa8f9902fa4e26cbf6c088dae99ee8c48d562f976431902cad6a9e401897
validation_json
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0x4143aa8f9902fa4e26cbf6c088dae99ee8c48d562f976431902cad6a9e401897",
    "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": "0xe63ab1e9",
            "selector": "0xe63ab1e9",
            "calldata_variants": [
                "0xe63ab1e9",
                "0xe63ab1e90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf1127ed8",
            "selector": "0xf1127ed8",
            "calldata_variants": [
                "0xf1127ed8",
                "0xf1127ed80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf72c0d8b",
            "selector": "0xf72c0d8b",
            "calldata_variants": [
                "0xf72c0d8b",
                "0xf72c0d8b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5391393",
            "selector": "0xd5391393",
            "calldata_variants": [
                "0xd5391393",
                "0xd53913930000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd547741f",
            "selector": "0xd547741f",
            "calldata_variants": [
                "0xd547741f",
                "0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xad3cb1cc",
            "selector": "0xad3cb1cc",
            "calldata_variants": [
                "0xad3cb1cc",
                "0xad3cb1cc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc3cda520",
            "selector": "0xc3cda520",
            "calldata_variants": [
                "0xc3cda520",
                "0xc3cda5200000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 11439,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}