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

Analysis Run

019b477e-c4a5-721f-a29c-6235225194f4

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

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
25447 artifact.fetch complete 1 / 3 3 months ago
25448 tool.cast_disasm complete 1 / 3 3 months ago
90901 analysis.bundle complete 1 / 3 2 weeks ago
90902 capability.graph complete 1 / 3 2 weeks ago
90903 detector.run complete 1 / 3 2 weeks ago
90904 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
4
EXT*/BALANCE
1
Total opcodes
9369
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0246
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x0139
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa8fef4a7
00000024: GT
00000025: PUSH2 0x00b6
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd0c4e7fb
0000002f: GT
00000030: PUSH2 0x007a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd0c4e7fb
0000003a: EQ
0000003b: PUSH2 0x0714
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd7f3d6af
00000045: EQ
00000046: PUSH2 0x0727
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe43082f7
00000050: EQ
00000051: PUSH2 0x0747
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe858ad03
0000005b: EQ
0000005c: PUSH2 0x0767
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xe985e9c5
00000066: EQ
00000067: PUSH2 0x0787
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0xf2fde38b
00000071: EQ
00000072: PUSH2 0x07a7
00000075: JUMPI
00000076: PUSH1 0x00
00000078: DUP1
00000079: REVERT
0000007a: JUMPDEST
0000007b: DUP1
0000007c: PUSH4 0xa8fef4a7
00000081: EQ
00000082: PUSH2 0x0649
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xae5303dd
0000008c: EQ
0000008d: PUSH2 0x069f
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xb88d4fde
00000097: EQ
00000098: PUSH2 0x06bf
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xc1aef4f2
000000a2: EQ
000000a3: PUSH2 0x06df
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xc87b56dd
000000ad: EQ
000000ae: PUSH2 0x06f4
000000b1: JUMPI
000000b2: PUSH1 0x00
000000b4: DUP1
000000b5: REVERT
000000b6: JUMPDEST
000000b7: DUP1
000000b8: PUSH4 0x9246149b
000000bd: GT
000000be: PUSH2 0x00fd
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x9246149b
000000c8: EQ
000000c9: PUSH2 0x05ce
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x95d89b41
000000d3: EQ
000000d4: PUSH2 0x05e1
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x97254e55
000000de: EQ
000000df: PUSH2 0x05f6
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x99ac9afa
000000e9: EQ
000000ea: PUSH2 0x0609
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0xa22cb465
000000f4: EQ
000000f5: PUSH2 0x0629
000000f8: JUMPI
000000f9: PUSH1 0x00
000000fb: DUP1
000000fc: REVERT
000000fd: JUMPDEST
000000fe: DUP1
000000ff: PUSH4 0x715018a6
00000104: EQ
00000105: PUSH2 0x04e7
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x7b6dbcd0
0000010f: EQ
00000110: PUSH2 0x04fc
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x872f7807
0000011a: EQ
0000011b: PUSH2 0x051c
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x8d92becd
00000125: EQ
00000126: PUSH2 0x0590
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x8da5cb5b
00000130: EQ
00000131: PUSH2 0x05b0
00000134: JUMPI
00000135: PUSH1 0x00
00000137: DUP1
00000138: REVERT
00000139: JUMPDEST
0000013a: DUP1
0000013b: PUSH4 0x3ccfd60b
00000140: GT
00000141: PUSH2 0x01c7
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x4f9ec996
0000014b: GT
0000014c: PUSH2 0x018b
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x4f9ec996
00000156: EQ
00000157: PUSH2 0x046c
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x59242b6a
00000161: EQ
00000162: PUSH2 0x0474
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x6352211e
0000016c: EQ
0000016d: PUSH2 0x0487
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x6e569bee
00000177: EQ
00000178: PUSH2 0x04a7
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0x70a08231
00000182: EQ
00000183: PUSH2 0x04c7
00000186: JUMPI
00000187: PUSH1 0x00
00000189: DUP1
0000018a: REVERT
0000018b: JUMPDEST
0000018c: DUP1
0000018d: PUSH4 0x3ccfd60b
00000192: EQ
00000193: PUSH2 0x03a4
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x4128929b
0000019d: EQ
0000019e: PUSH2 0x03b9
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x42842e0e
000001a8: EQ
000001a9: PUSH2 0x03d9
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x4898fe8a
000001b3: EQ
000001b4: PUSH2 0x03f9
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x4f6ccce7
000001be: EQ
000001bf: PUSH2 0x044c
000001c2: JUMPI
000001c3: PUSH1 0x00
000001c5: DUP1
000001c6: REVERT
000001c7: JUMPDEST
000001c8: DUP1
000001c9: PUSH4 0x18160ddd
000001ce: GT
000001cf: PUSH2 0x020e
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x18160ddd
000001d9: EQ
000001da: PUSH2 0x030f
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x23b872dd
000001e4: EQ
000001e5: PUSH2 0x032e
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x29f02103
000001ef: EQ
000001f0: PUSH2 0x034e
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x2eb4a7ab
000001fa: EQ
000001fb: PUSH2 0x036e
000001fe: JUMPI
000001ff: DUP1
00000200: PUSH4 0x2f745c59
00000205: EQ
00000206: PUSH2 0x0384
00000209: JUMPI
0000020a: PUSH1 0x00
0000020c: DUP1
0000020d: REVERT
0000020e: JUMPDEST
0000020f: DUP1
00000210: PUSH4 0x01ffc9a7
00000215: EQ
00000216: PUSH2 0x024b
00000219: JUMPI
0000021a: DUP1
0000021b: PUSH4 0x06fdde03
00000220: EQ
00000221: PUSH2 0x0280
00000224: JUMPI
00000225: DUP1
00000226: PUSH4 0x081812fc
0000022b: EQ
0000022c: PUSH2 0x02a2
0000022f: JUMPI
00000230: DUP1
00000231: PUSH4 0x095ea7b3
00000236: EQ
00000237: PUSH2 0x02da
0000023a: JUMPI
0000023b: DUP1
0000023c: PUSH4 0x0f574ba7
00000241: EQ
00000242: PUSH2 0x02fc
00000245: JUMPI
00000246: JUMPDEST
00000247: PUSH1 0x00
00000249: DUP1
0000024a: REVERT
0000024b: JUMPDEST
0000024c: CALLVALUE
0000024d: DUP1
0000024e: ISZERO
0000024f: PUSH2 0x0257
00000252: JUMPI
00000253: PUSH1 0x00
00000255: DUP1
00000256: REVERT
00000257: JUMPDEST
00000258: POP
00000259: PUSH2 0x026b
0000025c: PUSH2 0x0266
0000025f: CALLDATASIZE
00000260: PUSH1 0x04
00000262: PUSH2 0x2f87
00000265: JUMP
00000266: JUMPDEST
00000267: PUSH2 0x07c7
0000026a: JUMP
0000026b: JUMPDEST
0000026c: PUSH1 0x40
0000026e: MLOAD
0000026f: SWAP1
00000270: ISZERO
00000271: ISZERO
00000272: DUP2
00000273: MSTORE
00000274: PUSH1 0x20
00000276: ADD
00000277: JUMPDEST
00000278: PUSH1 0x40
0000027a: MLOAD
0000027b: DUP1
0000027c: SWAP2
0000027d: SUB
0000027e: SWAP1
0000027f: RETURN
00000280: JUMPDEST
00000281: CALLVALUE
00000282: DUP1
00000283: ISZERO
00000284: PUSH2 0x028c
00000287: JUMPI
00000288: PUSH1 0x00
0000028a: DUP1
0000028b: REVERT
0000028c: JUMPDEST
0000028d: POP
0000028e: PUSH2 0x0295
00000291: PUSH2 0x07d8
00000294: JUMP
00000295: JUMPDEST
00000296: PUSH1 0x40
00000298: MLOAD
00000299: PUSH2 0x0277
0000029c: SWAP2
0000029d: SWAP1
0000029e: PUSH2 0x3003
000002a1: JUMP
000002a2: JUMPDEST
000002a3: CALLVALUE
000002a4: DUP1
000002a5: ISZERO
000002a6: PUSH2 0x02ae
000002a9: JUMPI
000002aa: PUSH1 0x00
000002ac: DUP1
000002ad: REVERT
000002ae: JUMPDEST
000002af: POP
000002b0: PUSH2 0x02c2
000002b3: PUSH2 0x02bd
000002b6: CALLDATASIZE
000002b7: PUSH1 0x04
000002b9: PUSH2 0x3016
000002bc: JUMP
000002bd: JUMPDEST
000002be: PUSH2 0x086a
000002c1: JUMP
000002c2: JUMPDEST
000002c3: PUSH1 0x40
000002c5: MLOAD
000002c6: PUSH1 0x01
000002c8: PUSH1 0x01
000002ca: PUSH1 0xa0
000002cc: SHL
000002cd: SUB
000002ce: SWAP1
000002cf: SWAP2
000002d0: AND
000002d1: DUP2
000002d2: MSTORE
000002d3: PUSH1 0x20
000002d5: ADD
000002d6: PUSH2 0x0277
000002d9: JUMP
000002da: JUMPDEST
000002db: CALLVALUE
000002dc: DUP1
000002dd: ISZERO
000002de: PUSH2 0x02e6
000002e1: JUMPI
000002e2: PUSH1 0x00
000002e4: DUP1
000002e5: REVERT
000002e6: JUMPDEST
000002e7: POP
000002e8: PUSH2 0x02fa
000002eb: PUSH2 0x02f5
000002ee: CALLDATASIZE
000002ef: PUSH1 0x04
000002f1: PUSH2 0x3044
000002f4: JUMP
000002f5: JUMPDEST
000002f6: PUSH2 0x0904
000002f9: JUMP
000002fa: JUMPDEST
000002fb: STOP
000002fc: JUMPDEST
000002fd: PUSH2 0x02fa
00000300: PUSH2 0x030a
00000303: CALLDATASIZE
00000304: PUSH1 0x04
00000306: PUSH2 0x3016
00000309: JUMP
0000030a: JUMPDEST
0000030b: PUSH2 0x0a1a
0000030e: JUMP
0000030f: JUMPDEST
00000310: CALLVALUE
00000311: DUP1
00000312: ISZERO
00000313: PUSH2 0x031b
00000316: JUMPI
00000317: PUSH1 0x00
00000319: DUP1
0000031a: REVERT
0000031b: JUMPDEST
0000031c: POP
0000031d: PUSH1 0x08
0000031f: SLOAD
00000320: JUMPDEST
00000321: PUSH1 0x40
00000323: MLOAD
00000324: SWAP1
00000325: DUP2
00000326: MSTORE
00000327: PUSH1 0x20
00000329: ADD
0000032a: PUSH2 0x0277
0000032d: JUMP
0000032e: JUMPDEST
0000032f: CALLVALUE
00000330: DUP1
00000331: ISZERO
00000332: PUSH2 0x033a
00000335: JUMPI
00000336: PUSH1 0x00
00000338: DUP1
00000339: REVERT
0000033a: JUMPDEST
0000033b: POP
0000033c: PUSH2 0x02fa
0000033f: PUSH2 0x0349
00000342: CALLDATASIZE
00000343: PUSH1 0x04
00000345: PUSH2 0x3070
00000348: JUMP
00000349: JUMPDEST
0000034a: PUSH2 0x0beb
0000034d: JUMP
0000034e: JUMPDEST
0000034f: CALLVALUE
00000350: DUP1
00000351: ISZERO
00000352: PUSH2 0x035a
00000355: JUMPI
00000356: PUSH1 0x00
00000358: DUP1
00000359: REVERT
0000035a: JUMPDEST
0000035b: POP
0000035c: PUSH2 0x0320
0000035f: PUSH2 0x0369
00000362: CALLDATASIZE
00000363: PUSH1 0x04
00000365: PUSH2 0x30b1
00000368: JUMP
00000369: JUMPDEST
0000036a: PUSH2 0x0c1c
0000036d: JUMP
0000036e: JUMPDEST
0000036f: CALLVALUE
00000370: DUP1
00000371: ISZERO
00000372: PUSH2 0x037a
00000375: JUMPI
00000376: PUSH1 0x00
00000378: DUP1
00000379: REVERT
0000037a: JUMPDEST
0000037b: POP
0000037c: PUSH2 0x0320
0000037f: PUSH1 0x10
00000381: SLOAD
00000382: DUP2
00000383: JUMP
00000384: JUMPDEST
00000385: CALLVALUE
00000386: DUP1
00000387: ISZERO
00000388: PUSH2 0x0390
0000038b: JUMPI
0000038c: PUSH1 0x00
0000038e: DUP1
0000038f: REVERT
00000390: JUMPDEST
00000391: POP
00000392: PUSH2 0x0320
00000395: PUSH2 0x039f
00000398: CALLDATASIZE
00000399: PUSH1 0x04
0000039b: PUSH2 0x3044
0000039e: JUMP
0000039f: JUMPDEST
000003a0: PUSH2 0x0c90
000003a3: JUMP
000003a4: JUMPDEST
000003a5: CALLVALUE
000003a6: DUP1
000003a7: ISZERO
000003a8: PUSH2 0x03b0
000003ab: JUMPI
000003ac: PUSH1 0x00
000003ae: DUP1
000003af: REVERT
000003b0: JUMPDEST
000003b1: POP
000003b2: PUSH2 0x02fa
000003b5: PUSH2 0x0d26
000003b8: JUMP
000003b9: JUMPDEST
000003ba: CALLVALUE
000003bb: DUP1
000003bc: ISZERO
000003bd: PUSH2 0x03c5
000003c0: JUMPI
000003c1: PUSH1 0x00
000003c3: DUP1
000003c4: REVERT
000003c5: JUMPDEST
000003c6: POP
000003c7: PUSH2 0x0320
000003ca: PUSH2 0x03d4
000003cd: CALLDATASIZE
000003ce: PUSH1 0x04
000003d0: PUSH2 0x3044
000003d3: JUMP
000003d4: JUMPDEST
000003d5: PUSH2 0x0d83
000003d8: JUMP
000003d9: JUMPDEST
000003da: CALLVALUE
000003db: DUP1
000003dc: ISZERO
000003dd: PUSH2 0x03e5
000003e0: JUMPI
000003e1: PUSH1 0x00
000003e3: DUP1
000003e4: REVERT
000003e5: JUMPDEST
000003e6: POP
000003e7: PUSH2 0x02fa
000003ea: PUSH2 0x03f4
000003ed: CALLDATASIZE
000003ee: PUSH1 0x04
000003f0: PUSH2 0x3070
000003f3: JUMP
000003f4: JUMPDEST
000003f5: PUSH2 0x0e14
000003f8: JUMP
000003f9: JUMPDEST
000003fa: CALLVALUE
000003fb: DUP1
000003fc: ISZERO
000003fd: PUSH2 0x0405
00000400: JUMPI
00000401: PUSH1 0x00
00000403: DUP1
00000404: REVERT
00000405: JUMPDEST
00000406: POP
00000407: PUSH2 0x0419
0000040a: PUSH2 0x0414
0000040d: CALLDATASIZE
0000040e: PUSH1 0x04
00000410: PUSH2 0x3016
00000413: JUMP
00000414: JUMPDEST
00000415: PUSH2 0x0e2f
00000418: JUMP
00000419: JUMPDEST
0000041a: PUSH1 0x40
0000041c: MLOAD
0000041d: PUSH2 0x0277
00000420: SWAP2
00000421: SWAP1
00000422: DUP2
00000423: MLOAD
00000424: DUP2
00000425: MSTORE
00000426: PUSH1 0x20
00000428: DUP1
00000429: DUP4
0000042a: ADD
0000042b: MLOAD
0000042c: SWAP1
0000042d: DUP3
0000042e: ADD
0000042f: MSTORE
00000430: PUSH1 0x40
00000432: DUP1
00000433: DUP4
00000434: ADD
00000435: MLOAD
00000436: SWAP1
00000437: DUP3
00000438: ADD
00000439: MSTORE
0000043a: PUSH1 0x60
0000043c: SWAP2
0000043d: DUP3
0000043e: ADD
0000043f: MLOAD
00000440: SWAP2
00000441: DUP2
00000442: ADD
00000443: SWAP2
00000444: SWAP1
00000445: SWAP2
00000446: MSTORE
00000447: PUSH1 0x80
00000449: ADD
0000044a: SWAP1
0000044b: JUMP
0000044c: JUMPDEST
0000044d: CALLVALUE
0000044e: DUP1
0000044f: ISZERO
00000450: PUSH2 0x0458
00000453: JUMPI
00000454: PUSH1 0x00
00000456: DUP1
00000457: REVERT
00000458: JUMPDEST
00000459: POP
0000045a: PUSH2 0x0320
0000045d: PUSH2 0x0467
00000460: CALLDATASIZE
00000461: PUSH1 0x04
00000463: PUSH2 0x3016
00000466: JUMP
00000467: JUMPDEST
00000468: PUSH2 0x0ee7
0000046b: JUMP
0000046c: JUMPDEST
0000046d: PUSH2 0x02fa
00000470: PUSH2 0x0f7a
00000473: JUMP
00000474: JUMPDEST
00000475: PUSH2 0x02fa
00000478: PUSH2 0x0482
0000047b: CALLDATASIZE
0000047c: PUSH1 0x04
0000047e: PUSH2 0x3016
00000481: JUMP
00000482: JUMPDEST
00000483: PUSH2 0x1238
00000486: JUMP
00000487: JUMPDEST
00000488: CALLVALUE
00000489: DUP1
0000048a: ISZERO
0000048b: PUSH2 0x0493
0000048e: JUMPI
0000048f: PUSH1 0x00
00000491: DUP1
00000492: REVERT
00000493: JUMPDEST
00000494: POP
00000495: PUSH2 0x02c2
00000498: PUSH2 0x04a2
0000049b: CALLDATASIZE
0000049c: PUSH1 0x04
0000049e: PUSH2 0x3016
000004a1: JUMP
000004a2: JUMPDEST
000004a3: PUSH2 0x1303
000004a6: JUMP
000004a7: JUMPDEST
000004a8: CALLVALUE
000004a9: DUP1
000004aa: ISZERO
000004ab: PUSH2 0x04b3
000004ae: JUMPI
000004af: PUSH1 0x00
000004b1: DUP1
000004b2: REVERT
000004b3: JUMPDEST
000004b4: POP
000004b5: PUSH2 0x02fa
000004b8: PUSH2 0x04c2
000004bb: CALLDATASIZE
000004bc: PUSH1 0x04
000004be: PUSH2 0x30ce
000004c1: JUMP
000004c2: JUMPDEST
000004c3: PUSH2 0x137a
000004c6: JUMP
000004c7: JUMPDEST
000004c8: CALLVALUE
000004c9: DUP1
000004ca: ISZERO
000004cb: PUSH2 0x04d3
000004ce: JUMPI
000004cf: PUSH1 0x00
000004d1: DUP1
000004d2: REVERT
000004d3: JUMPDEST
000004d4: POP
000004d5: PUSH2 0x0320
000004d8: PUSH2 0x04e2
000004db: CALLDATASIZE
000004dc: PUSH1 0x04
000004de: PUSH2 0x30b1
000004e1: JUMP
000004e2: JUMPDEST
000004e3: PUSH2 0x1455
000004e6: JUMP
000004e7: JUMPDEST
000004e8: CALLVALUE
000004e9: DUP1
000004ea: ISZERO
000004eb: PUSH2 0x04f3
000004ee: JUMPI
000004ef: PUSH1 0x00
000004f1: DUP1
000004f2: REVERT
000004f3: JUMPDEST
000004f4: POP
000004f5: PUSH2 0x02fa
000004f8: PUSH2 0x14dc
000004fb: JUMP
000004fc: JUMPDEST
000004fd: CALLVALUE
000004fe: DUP1
000004ff: ISZERO
00000500: PUSH2 0x0508
00000503: JUMPI
00000504: PUSH1 0x00
00000506: DUP1
00000507: REVERT
00000508: JUMPDEST
00000509: POP
0000050a: PUSH2 0x02fa
0000050d: PUSH2 0x0517
00000510: CALLDATASIZE
00000511: PUSH1 0x04
00000513: PUSH2 0x30b1
00000516: JUMP
00000517: JUMPDEST
00000518: PUSH2 0x1512
0000051b: JUMP
0000051c: JUMPDEST
0000051d: CALLVALUE
0000051e: DUP1
0000051f: ISZERO
00000520: PUSH2 0x0528
00000523: JUMPI
00000524: PUSH1 0x00
00000526: DUP1
00000527: REVERT
00000528: JUMPDEST
00000529: POP
0000052a: PUSH2 0x0575
0000052d: PUSH2 0x0537
00000530: CALLDATASIZE
00000531: PUSH1 0x04
00000533: PUSH2 0x3016
00000536: JUMP
00000537: JUMPDEST
00000538: PUSH1 0x40
0000053a: DUP1
0000053b: MLOAD
0000053c: DUP1
0000053d: DUP3
0000053e: ADD
0000053f: SWAP1
00000540: SWAP2
00000541: MSTORE
00000542: PUSH1 0x00
00000544: DUP1
00000545: DUP3
00000546: MSTORE
00000547: PUSH1 0x20
00000549: DUP3
0000054a: ADD
0000054b: MSTORE
0000054c: POP
0000054d: PUSH1 0x00
0000054f: SWAP1
00000550: DUP2
00000551: MSTORE
00000552: PUSH1 0x0c
00000554: PUSH1 0x20
00000556: SWAP1
00000557: DUP2
00000558: MSTORE
00000559: PUSH1 0x40
0000055b: SWAP2
0000055c: DUP3
0000055d: SWAP1
0000055e: KECCAK256
0000055f: DUP3
00000560: MLOAD
00000561: DUP1
00000562: DUP5
00000563: ADD
00000564: SWAP1
00000565: SWAP4
00000566: MSTORE
00000567: DUP1
00000568: SLOAD
00000569: DUP4
0000056a: MSTORE
0000056b: PUSH1 0x01
0000056d: ADD
0000056e: SLOAD
0000056f: SWAP1
00000570: DUP3
00000571: ADD
00000572: MSTORE
00000573: SWAP1
00000574: JUMP
00000575: JUMPDEST
00000576: PUSH1 0x40
00000578: DUP1
00000579: MLOAD
0000057a: DUP3
0000057b: MLOAD
0000057c: DUP2
0000057d: MSTORE
0000057e: PUSH1 0x20
00000580: SWAP3
00000581: DUP4
00000582: ADD
00000583: MLOAD
00000584: SWAP3
00000585: DUP2
00000586: ADD
00000587: SWAP3
00000588: SWAP1
00000589: SWAP3
0000058a: MSTORE
0000058b: ADD
0000058c: PUSH2 0x0277
0000058f: JUMP
00000590: JUMPDEST
00000591: CALLVALUE
00000592: DUP1
00000593: ISZERO
00000594: PUSH2 0x059c
00000597: JUMPI
00000598: PUSH1 0x00
0000059a: DUP1
0000059b: REVERT
0000059c: JUMPDEST
0000059d: POP
0000059e: PUSH2 0x02fa
000005a1: PUSH2 0x05ab
000005a4: CALLDATASIZE
000005a5: PUSH1 0x04
000005a7: PUSH2 0x3119
000005aa: JUMP
000005ab: JUMPDEST
000005ac: PUSH2 0x155e
000005af: JUMP
000005b0: JUMPDEST
000005b1: CALLVALUE
000005b2: DUP1
000005b3: ISZERO
000005b4: PUSH2 0x05bc
000005b7: JUMPI
000005b8: PUSH1 0x00
000005ba: DUP1
000005bb: REVERT
000005bc: JUMPDEST
000005bd: POP
000005be: PUSH1 0x0a
000005c0: SLOAD
000005c1: PUSH1 0x01
000005c3: PUSH1 0x01
000005c5: PUSH1 0xa0
000005c7: SHL
000005c8: SUB
000005c9: AND
000005ca: PUSH2 0x02c2
000005cd: JUMP
000005ce: JUMPDEST
000005cf: PUSH2 0x02fa
000005d2: PUSH2 0x05dc
000005d5: CALLDATASIZE
000005d6: PUSH1 0x04
000005d8: PUSH2 0x317b
000005db: JUMP
000005dc: JUMPDEST
000005dd: PUSH2 0x15a6
000005e0: JUMP
000005e1: JUMPDEST
000005e2: CALLVALUE
000005e3: DUP1
000005e4: ISZERO
000005e5: PUSH2 0x05ed
000005e8: JUMPI
000005e9: PUSH1 0x00
000005eb: DUP1
000005ec: REVERT
000005ed: JUMPDEST
000005ee: POP
000005ef: PUSH2 0x0295
000005f2: PUSH2 0x176f
000005f5: JUMP
000005f6: JUMPDEST
000005f7: PUSH2 0x02fa
000005fa: PUSH2 0x0604
000005fd: CALLDATASIZE
000005fe: PUSH1 0x04
00000600: PUSH2 0x323d
00000603: JUMP
00000604: JUMPDEST
00000605: PUSH2 0x177e
00000608: JUMP
00000609: JUMPDEST
0000060a: CALLVALUE
0000060b: DUP1
0000060c: ISZERO
0000060d: PUSH2 0x0615
00000610: JUMPI
00000611: PUSH1 0x00
00000613: DUP1
00000614: REVERT
00000615: JUMPDEST
00000616: POP
00000617: PUSH2 0x02fa
0000061a: PUSH2 0x0624
0000061d: CALLDATASIZE
0000061e: PUSH1 0x04
00000620: PUSH2 0x330a
00000623: JUMP
00000624: JUMPDEST
00000625: PUSH2 0x19e1
00000628: JUMP
00000629: JUMPDEST
0000062a: CALLVALUE
0000062b: DUP1
0000062c: ISZERO
0000062d: PUSH2 0x0635
00000630: JUMPI
00000631: PUSH1 0x00
00000633: DUP1
00000634: REVERT
00000635: JUMPDEST
00000636: POP
00000637: PUSH2 0x02fa
0000063a: PUSH2 0x0644
0000063d: CALLDATASIZE
0000063e: PUSH1 0x04
00000640: PUSH2 0x3353
00000643: JUMP
00000644: JUMPDEST
00000645: PUSH2 0x1a1e
00000648: JUMP
00000649: JUMPDEST
0000064a: CALLVALUE
0000064b: DUP1
0000064c: ISZERO
0000064d: PUSH2 0x0655
00000650: JUMPI
00000651: PUSH1 0x00
00000653: DUP1
00000654: REVERT
00000655: JUMPDEST
00000656: POP
00000657: PUSH2 0x026b
0000065a: PUSH2 0x0664
0000065d: CALLDATASIZE
0000065e: PUSH1 0x04
00000660: PUSH2 0x3016
00000663: JUMP
00000664: JUMPDEST
00000665: PUSH1 0x40
00000667: DUP1
00000668: MLOAD
00000669: DUP1
0000066a: DUP3
0000066b: ADD
0000066c: DUP3
0000066d: MSTORE
0000066e: PUSH1 0x00
00000670: DUP1
00000671: DUP3
00000672: MSTORE
00000673: PUSH1 0x20
00000675: SWAP2
00000676: DUP3
00000677: ADD
00000678: DUP2
00000679: SWAP1
0000067a: MSTORE
0000067b: SWAP3
0000067c: DUP4
0000067d: MSTORE
0000067e: PUSH1 0x0c
00000680: DUP2
00000681: MSTORE
00000682: SWAP2
00000683: DUP2
00000684: SWAP1
00000685: KECCAK256
00000686: DUP2
00000687: MLOAD
00000688: DUP1
00000689: DUP4
0000068a: ADD
0000068b: SWAP1
0000068c: SWAP3
0000068d: MSTORE
0000068e: DUP1
0000068f: SLOAD
00000690: DUP3
00000691: MSTORE
00000692: PUSH1 0x01
00000694: ADD
00000695: SLOAD
00000696: SWAP2
00000697: ADD
00000698: DUP2
00000699: SWAP1
0000069a: MSTORE
0000069b: TIMESTAMP
0000069c: LT
0000069d: SWAP1
0000069e: JUMP
0000069f: JUMPDEST
000006a0: CALLVALUE
000006a1: DUP1
000006a2: ISZERO
000006a3: PUSH2 0x06ab
000006a6: JUMPI
000006a7: PUSH1 0x00
000006a9: DUP1
000006aa: REVERT
000006ab: JUMPDEST
000006ac: POP
000006ad: PUSH2 0x02fa
000006b0: PUSH2 0x06ba
000006b3: CALLDATASIZE
000006b4: PUSH1 0x04
000006b6: PUSH2 0x30ce
000006b9: JUMP
000006ba: JUMPDEST
000006bb: PUSH2 0x1a29
000006be: JUMP
000006bf: JUMPDEST
000006c0: CALLVALUE
000006c1: DUP1
000006c2: ISZERO
000006c3: PUSH2 0x06cb
000006c6: JUMPI
000006c7: PUSH1 0x00
000006c9: DUP1
000006ca: REVERT
000006cb: JUMPDEST
000006cc: POP
000006cd: PUSH2 0x02fa
000006d0: PUSH2 0x06da
000006d3: CALLDATASIZE
000006d4: PUSH1 0x04
000006d6: PUSH2 0x3388
000006d9: JUMP
000006da: JUMPDEST
000006db: PUSH2 0x1af3
000006de: JUMP
000006df: JUMPDEST
000006e0: CALLVALUE
000006e1: DUP1
000006e2: ISZERO
000006e3: PUSH2 0x06eb
000006e6: JUMPI
000006e7: PUSH1 0x00
000006e9: DUP1
000006ea: REVERT
000006eb: JUMPDEST
000006ec: POP
000006ed: PUSH2 0x0295
000006f0: PUSH2 0x1b25
000006f3: JUMP
000006f4: JUMPDEST
000006f5: CALLVALUE
000006f6: DUP1
000006f7: ISZERO
000006f8: PUSH2 0x0700
000006fb: JUMPI
000006fc: PUSH1 0x00
000006fe: DUP1
000006ff: REVERT
00000700: JUMPDEST
00000701: POP
00000702: PUSH2 0x0295
00000705: PUSH2 0x070f
00000708: CALLDATASIZE
00000709: PUSH1 0x04
0000070b: PUSH2 0x3016
0000070e: JUMP
0000070f: JUMPDEST
00000710: PUSH2 0x1bb3
00000713: JUMP
00000714: JUMPDEST
00000715: PUSH2 0x02fa
00000718: PUSH2 0x0722
0000071b: CALLDATASIZE
0000071c: PUSH1 0x04
0000071e: PUSH2 0x3016
00000721: JUMP
00000722: JUMPDEST
00000723: PUSH2 0x1c92
00000726: JUMP
00000727: JUMPDEST
00000728: CALLVALUE
00000729: DUP1
0000072a: ISZERO
0000072b: PUSH2 0x0733
0000072e: JUMPI
0000072f: PUSH1 0x00
00000731: DUP1
00000732: REVERT
00000733: JUMPDEST
00000734: POP
00000735: PUSH2 0x02fa
00000738: PUSH2 0x0742
0000073b: CALLDATASIZE
0000073c: PUSH1 0x04
0000073e: PUSH2 0x3119
00000741: JUMP
00000742: JUMPDEST
00000743: PUSH2 0x1e42
00000746: JUMP
00000747: JUMPDEST
00000748: CALLVALUE
00000749: DUP1
0000074a: ISZERO
0000074b: PUSH2 0x0753
0000074e: JUMPI
0000074f: PUSH1 0x00
00000751: DUP1
00000752: REVERT
00000753: JUMPDEST
00000754: POP
00000755: PUSH2 0x02fa
00000758: PUSH2 0x0762
0000075b: CALLDATASIZE
0000075c: PUSH1 0x04
0000075e: PUSH2 0x3119
00000761: JUMP
00000762: JUMPDEST
00000763: PUSH2 0x1e8a
00000766: JUMP
00000767: JUMPDEST
00000768: CALLVALUE
00000769: DUP1
0000076a: ISZERO
0000076b: PUSH2 0x0773
0000076e: JUMPI
0000076f: PUSH1 0x00
00000771: DUP1
00000772: REVERT
00000773: JUMPDEST
00000774: POP
00000775: PUSH2 0x02fa
00000778: PUSH2 0x0782
0000077b: CALLDATASIZE
0000077c: PUSH1 0x04
0000077e: PUSH2 0x3016
00000781: JUMP
00000782: JUMPDEST
00000783: PUSH2 0x1ed2
00000786: JUMP
00000787: JUMPDEST
00000788: CALLVALUE
00000789: DUP1
0000078a: ISZERO
0000078b: PUSH2 0x0793
0000078e: JUMPI
0000078f: PUSH1 0x00
00000791: DUP1
00000792: REVERT
00000793: JUMPDEST
00000794: POP
00000795: PUSH2 0x026b
00000798: PUSH2 0x07a2
0000079b: CALLDATASIZE
0000079c: PUSH1 0x04
0000079e: PUSH2 0x3408
000007a1: JUMP
000007a2: JUMPDEST
000007a3: PUSH2 0x1f01
000007a6: JUMP
000007a7: JUMPDEST
000007a8: CALLVALUE
000007a9: DUP1
000007aa: ISZERO
000007ab: PUSH2 0x07b3
000007ae: JUMPI
000007af: PUSH1 0x00
000007b1: DUP1
000007b2: REVERT
000007b3: JUMPDEST
000007b4: POP
000007b5: PUSH2 0x02fa
000007b8: PUSH2 0x07c2
000007bb: CALLDATASIZE
000007bc: PUSH1 0x04
000007be: PUSH2 0x30b1
000007c1: JUMP
000007c2: JUMPDEST
000007c3: PUSH2 0x1fde
000007c6: JUMP
000007c7: JUMPDEST
000007c8: PUSH1 0x00
000007ca: PUSH2 0x07d2
000007cd: DUP3
000007ce: PUSH2 0x2079
000007d1: JUMP
000007d2: JUMPDEST
000007d3: SWAP3
000007d4: SWAP2
000007d5: POP
000007d6: POP
000007d7: JUMP
000007d8: JUMPDEST
000007d9: PUSH1 0x60
000007db: PUSH1 0x00
000007dd: DUP1
000007de: SLOAD
000007df: PUSH2 0x07e7
000007e2: SWAP1
000007e3: PUSH2 0x3441
000007e6: JUMP
000007e7: JUMPDEST
000007e8: DUP1
000007e9: PUSH1 0x1f
000007eb: ADD
000007ec: PUSH1 0x20
000007ee: DUP1
000007ef: SWAP2
000007f0: DIV
000007f1: MUL
000007f2: PUSH1 0x20
000007f4: ADD
000007f5: PUSH1 0x40
000007f7: MLOAD
000007f8: SWAP1
000007f9: DUP2
000007fa: ADD
000007fb: PUSH1 0x40
000007fd: MSTORE
000007fe: DUP1
000007ff: SWAP3
00000800: SWAP2
00000801: SWAP1
00000802: DUP2
00000803: DUP2
00000804: MSTORE
00000805: PUSH1 0x20
00000807: ADD
00000808: DUP3
00000809: DUP1
0000080a: SLOAD
0000080b: PUSH2 0x0813
0000080e: SWAP1
0000080f: PUSH2 0x3441
00000812: JUMP
00000813: JUMPDEST
00000814: DUP1
00000815: ISZERO
00000816: PUSH2 0x0860
00000819: JUMPI
0000081a: DUP1
0000081b: PUSH1 0x1f
0000081d: LT
0000081e: PUSH2 0x0835
00000821: JUMPI
00000822: PUSH2 0x0100
00000825: DUP1
00000826: DUP4
00000827: SLOAD
00000828: DIV
00000829: MUL
0000082a: DUP4
0000082b: MSTORE
0000082c: SWAP2
0000082d: PUSH1 0x20
0000082f: ADD
00000830: SWAP2
00000831: PUSH2 0x0860
00000834: JUMP
00000835: JUMPDEST
00000836: DUP3
00000837: ADD
00000838: SWAP2
00000839: SWAP1
0000083a: PUSH1 0x00
0000083c: MSTORE
0000083d: PUSH1 0x20
0000083f: PUSH1 0x00
00000841: KECCAK256
00000842: SWAP1
00000843: JUMPDEST
00000844: DUP2
00000845: SLOAD
00000846: DUP2
00000847: MSTORE
00000848: SWAP1
00000849: PUSH1 0x01
0000084b: ADD
0000084c: SWAP1
0000084d: PUSH1 0x20
0000084f: ADD
00000850: DUP1
00000851: DUP4
00000852: GT
00000853: PUSH2 0x0843
00000856: JUMPI
00000857: DUP3
00000858: SWAP1
00000859: SUB
0000085a: PUSH1 0x1f
0000085c: AND
0000085d: DUP3
0000085e: ADD
0000085f: SWAP2
00000860: JUMPDEST
00000861: POP
00000862: POP
00000863: POP
00000864: POP
00000865: POP
00000866: SWAP1
00000867: POP
00000868: SWAP1
00000869: JUMP
0000086a: JUMPDEST
0000086b: PUSH1 0x00
0000086d: DUP2
0000086e: DUP2
0000086f: MSTORE
00000870: PUSH1 0x02
00000872: PUSH1 0x20
00000874: MSTORE
00000875: PUSH1 0x40
00000877: DUP2
00000878: KECCAK256
00000879: SLOAD
0000087a: PUSH1 0x01
0000087c: PUSH1 0x01
0000087e: PUSH1 0xa0
00000880: SHL
00000881: SUB
00000882: AND
00000883: PUSH2 0x08e8
00000886: JUMPI
00000887: PUSH1 0x40
00000889: MLOAD
0000088a: PUSH3 0x461bcd
0000088e: PUSH1 0xe5
00000890: SHL
00000891: DUP2
00000892: MSTORE
00000893: PUSH1 0x20
00000895: PUSH1 0x04
00000897: DUP3
00000898: ADD
00000899: MSTORE
0000089a: PUSH1 0x2c
0000089c: PUSH1 0x24
0000089e: DUP3
0000089f: ADD
000008a0: MSTORE
000008a1: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578
000008c2: PUSH1 0x44
000008c4: DUP3
000008c5: ADD
000008c6: MSTORE
000008c7: PUSH12 0x34b9ba32b73a103a37b5b2b7
000008d4: PUSH1 0xa1
000008d6: SHL
000008d7: PUSH1 0x64
000008d9: DUP3
000008da: ADD
000008db: MSTORE
000008dc: PUSH1 0x84
000008de: ADD
000008df: JUMPDEST
000008e0: PUSH1 0x40
000008e2: MLOAD
000008e3: DUP1
000008e4: SWAP2
000008e5: SUB
000008e6: SWAP1
000008e7: REVERT
000008e8: JUMPDEST
000008e9: POP
000008ea: PUSH1 0x00
000008ec: SWAP1
000008ed: DUP2
000008ee: MSTORE
000008ef: PUSH1 0x04
000008f1: PUSH1 0x20
000008f3: MSTORE
000008f4: PUSH1 0x40
000008f6: SWAP1
000008f7: KECCAK256
000008f8: SLOAD
000008f9: PUSH1 0x01
000008fb: PUSH1 0x01
000008fd: PUSH1 0xa0
000008ff: SHL
00000900: SUB
00000901: AND
00000902: SWAP1
00000903: JUMP
00000904: JUMPDEST
00000905: PUSH1 0x00
00000907: PUSH2 0x090f
0000090a: DUP3
0000090b: PUSH2 0x1303
0000090e: JUMP
0000090f: JUMPDEST
00000910: SWAP1
00000911: POP
00000912: DUP1
00000913: PUSH1 0x01
00000915: PUSH1 0x01
00000917: PUSH1 0xa0
00000919: SHL
0000091a: SUB
0000091b: AND
0000091c: DUP4
0000091d: PUSH1 0x01
0000091f: PUSH1 0x01
00000921: PUSH1 0xa0
00000923: SHL
00000924: SUB
00000925: AND
00000926: EQ
00000927: ISZERO
00000928: PUSH2 0x097d
0000092b: JUMPI
0000092c: PUSH1 0x40
0000092e: MLOAD
0000092f: PUSH3 0x461bcd
00000933: PUSH1 0xe5
00000935: SHL
00000936: DUP2
00000937: MSTORE
00000938: PUSH1 0x20
0000093a: PUSH1 0x04
0000093c: DUP3
0000093d: ADD
0000093e: MSTORE
0000093f: PUSH1 0x21
00000941: PUSH1 0x24
00000943: DUP3
00000944: ADD
00000945: MSTORE
00000946: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
00000967: PUSH1 0x44
00000969: DUP3
0000096a: ADD
0000096b: MSTORE
0000096c: PUSH1 0x39
0000096e: PUSH1 0xf9
00000970: SHL
00000971: PUSH1 0x64
00000973: DUP3
00000974: ADD
00000975: MSTORE
00000976: PUSH1 0x84
00000978: ADD
00000979: PUSH2 0x08df
0000097c: JUMP
0000097d: JUMPDEST
0000097e: CALLER
0000097f: PUSH1 0x01
00000981: PUSH1 0x01
00000983: PUSH1 0xa0
00000985: SHL
00000986: SUB
00000987: DUP3
00000988: AND
00000989: EQ
0000098a: DUP1
0000098b: PUSH2 0x0999
0000098e: JUMPI
0000098f: POP
00000990: PUSH2 0x0999
00000993: DUP2
00000994: CALLER
00000995: PUSH2 0x1f01
00000998: JUMP
00000999: JUMPDEST
0000099a: PUSH2 0x0a0b
0000099d: JUMPI
0000099e: PUSH1 0x40
000009a0: MLOAD
000009a1: PUSH3 0x461bcd
000009a5: PUSH1 0xe5
000009a7: SHL
000009a8: DUP2
000009a9: MSTORE
000009aa: PUSH1 0x20
000009ac: PUSH1 0x04
000009ae: DUP3
000009af: ADD
000009b0: MSTORE
000009b1: PUSH1 0x38
000009b3: PUSH1 0x24
000009b5: DUP3
000009b6: ADD
000009b7: MSTORE
000009b8: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77
000009d9: PUSH1 0x44
000009db: DUP3
000009dc: ADD
000009dd: MSTORE
000009de: PUSH32 0x6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000
000009ff: PUSH1 0x64
00000a01: DUP3
00000a02: ADD
00000a03: MSTORE
00000a04: PUSH1 0x84
00000a06: ADD
00000a07: PUSH2 0x08df
00000a0a: JUMP
00000a0b: JUMPDEST
00000a0c: PUSH2 0x0a15
00000a0f: DUP4
00000a10: DUP4
00000a11: PUSH2 0x209e
00000a14: JUMP
00000a15: JUMPDEST
00000a16: POP
00000a17: POP
00000a18: POP
00000a19: JUMP
00000a1a: JUMPDEST
00000a1b: PUSH1 0x00
00000a1d: DUP2
00000a1e: DUP2
00000a1f: MSTORE
00000a20: PUSH1 0x0c
00000a22: PUSH1 0x20
00000a24: SWAP1
00000a25: DUP2
00000a26: MSTORE
00000a27: PUSH1 0x40
00000a29: DUP1
00000a2a: DUP4
00000a2b: KECCAK256
00000a2c: SLOAD
00000a2d: DUP1
00000a2e: DUP5
00000a2f: MSTORE
00000a30: PUSH1 0x0b
00000a32: DUP4
00000a33: MSTORE
00000a34: SWAP3
00000a35: DUP2
00000a36: SWAP1
00000a37: KECCAK256
00000a38: DUP2
00000a39: MLOAD
00000a3a: PUSH1 0x80
00000a3c: DUP2
00000a3d: ADD
00000a3e: DUP4
00000a3f: MSTORE
00000a40: DUP2
00000a41: SLOAD
00000a42: DUP2
00000a43: MSTORE
00000a44: PUSH1 0x01
00000a46: DUP3
00000a47: ADD
00000a48: SLOAD
00000a49: SWAP4
00000a4a: DUP2
00000a4b: ADD
00000a4c: SWAP4
00000a4d: SWAP1
00000a4e: SWAP4
00000a4f: MSTORE
00000a50: PUSH1 0x02
00000a52: DUP2
00000a53: ADD
00000a54: SLOAD
00000a55: SWAP2
00000a56: DUP4
00000a57: ADD
00000a58: DUP3
00000a59: SWAP1
00000a5a: MSTORE
00000a5b: PUSH1 0x03
00000a5d: ADD
00000a5e: SLOAD
00000a5f: PUSH1 0x60
00000a61: DUP4
00000a62: ADD
00000a63: MSTORE
00000a64: PUSH2 0x0a7f
00000a67: JUMPI
00000a68: PUSH1 0x40
00000a6a: MLOAD
00000a6b: PUSH3 0x461bcd
00000a6f: PUSH1 0xe5
00000a71: SHL
00000a72: DUP2
00000a73: MSTORE
00000a74: PUSH1 0x04
00000a76: ADD
00000a77: PUSH2 0x08df
00000a7a: SWAP1
00000a7b: PUSH2 0x347c
00000a7e: JUMP
00000a7f: JUMPDEST
00000a80: DUP1
00000a81: PUSH1 0x20
00000a83: ADD
00000a84: MLOAD
00000a85: CALLVALUE
00000a86: LT
00000a87: ISZERO
00000a88: PUSH2 0x0ad3
00000a8b: JUMPI
00000a8c: PUSH1 0x40
00000a8e: MLOAD
00000a8f: PUSH3 0x461bcd
00000a93: PUSH1 0xe5
00000a95: SHL
00000a96: DUP2
00000a97: MSTORE
00000a98: PUSH1 0x20
00000a9a: PUSH1 0x04
00000a9c: DUP3
00000a9d: ADD
00000a9e: DUP2
00000a9f: SWAP1
00000aa0: MSTORE
00000aa1: PUSH1 0x24
00000aa3: DUP3
00000aa4: ADD
00000aa5: MSTORE
00000aa6: PUSH32 0x496e636f72726563742076616c75652073656e7420666f722072656e6577616c
00000ac7: PUSH1 0x44
00000ac9: DUP3
00000aca: ADD
00000acb: MSTORE
00000acc: PUSH1 0x64
00000ace: ADD
00000acf: PUSH2 0x08df
00000ad2: JUMP
00000ad3: JUMPDEST
00000ad4: CALLER
00000ad5: PUSH2 0x0add
00000ad8: DUP5
00000ad9: PUSH2 0x1303
00000adc: JUMP
00000add: JUMPDEST
00000ade: PUSH1 0x01
00000ae0: PUSH1 0x01
00000ae2: PUSH1 0xa0
00000ae4: SHL
00000ae5: SUB
00000ae6: AND
00000ae7: EQ
00000ae8: PUSH2 0x0b33
00000aeb: JUMPI
00000aec: PUSH1 0x40
00000aee: MLOAD
00000aef: PUSH3 0x461bcd
00000af3: PUSH1 0xe5
00000af5: SHL
00000af6: DUP2
00000af7: MSTORE
00000af8: PUSH1 0x20
00000afa: PUSH1 0x04
00000afc: DUP3
00000afd: ADD
00000afe: MSTORE
00000aff: PUSH1 0x1a
00000b01: PUSH1 0x24
00000b03: DUP3
00000b04: ADD
00000b05: MSTORE
00000b06: PUSH32 0x596f7520646f206e6f74206f776e207468697320746f6b656e2e000000000000
00000b27: PUSH1 0x44
00000b29: DUP3
00000b2a: ADD
00000b2b: MSTORE
00000b2c: PUSH1 0x64
00000b2e: ADD
00000b2f: PUSH2 0x08df
00000b32: JUMP
00000b33: JUMPDEST
00000b34: PUSH1 0x00
00000b36: DUP4
00000b37: DUP2
00000b38: MSTORE
00000b39: PUSH1 0x0c
00000b3b: PUSH1 0x20
00000b3d: MSTORE
00000b3e: PUSH1 0x40
00000b40: SWAP1
00000b41: KECCAK256
00000b42: PUSH1 0x01
00000b44: ADD
00000b45: SLOAD
00000b46: TIMESTAMP
00000b47: SWAP1
00000b48: DUP2
00000b49: GT
00000b4a: ISZERO
00000b4b: PUSH2 0x0b94
00000b4e: JUMPI
00000b4f: PUSH1 0x00
00000b51: DUP3
00000b52: PUSH1 0x40
00000b54: ADD
00000b55: MLOAD
00000b56: DUP3
00000b57: PUSH2 0x0b60
00000b5a: SWAP2
00000b5b: SWAP1
00000b5c: PUSH2 0x34bf
00000b5f: JUMP
00000b60: JUMPDEST
00000b61: PUSH1 0x40
00000b63: DUP1
00000b64: MLOAD
00000b65: DUP1
00000b66: DUP3
00000b67: ADD
00000b68: DUP3
00000b69: MSTORE
00000b6a: DUP7
00000b6b: DUP2
00000b6c: MSTORE
00000b6d: PUSH1 0x20
00000b6f: DUP1
00000b70: DUP3
00000b71: ADD
00000b72: SWAP4
00000b73: DUP5
00000b74: MSTORE
00000b75: PUSH1 0x00
00000b77: DUP10
00000b78: DUP2
00000b79: MSTORE
00000b7a: PUSH1 0x0c
00000b7c: SWAP1
00000b7d: SWAP2
00000b7e: MSTORE
00000b7f: SWAP2
00000b80: SWAP1
00000b81: SWAP2
00000b82: KECCAK256
00000b83: SWAP1
00000b84: MLOAD
00000b85: DUP2
00000b86: SSTORE
00000b87: SWAP1
00000b88: MLOAD
00000b89: PUSH1 0x01
00000b8b: SWAP1
00000b8c: SWAP2
00000b8d: ADD
00000b8e: SSTORE
00000b8f: POP
00000b90: PUSH2 0x0be5
00000b93: JUMP
00000b94: JUMPDEST
00000b95: PUSH1 0x40
00000b97: DUP1
00000b98: DUP4
00000b99: ADD
00000b9a: MLOAD
00000b9b: PUSH1 0x00
00000b9d: DUP7
00000b9e: DUP2
00000b9f: MSTORE
00000ba0: PUSH1 0x0c
00000ba2: PUSH1 0x20
00000ba4: MSTORE
00000ba5: SWAP2
00000ba6: DUP3
00000ba7: KECCAK256
00000ba8: PUSH1 0x01
00000baa: ADD
00000bab: SLOAD
00000bac: PUSH2 0x0bb5
00000baf: SWAP2
00000bb0: SWAP1
00000bb1: PUSH2 0x34bf
00000bb4: JUMP
00000bb5: JUMPDEST
00000bb6: PUSH1 0x40
00000bb8: DUP1
00000bb9: MLOAD
00000bba: DUP1
00000bbb: DUP3
00000bbc: ADD
00000bbd: DUP3
00000bbe: MSTORE
00000bbf: DUP7
00000bc0: DUP2
00000bc1: MSTORE
00000bc2: PUSH1 0x20
00000bc4: DUP1
00000bc5: DUP3
00000bc6: ADD
00000bc7: SWAP4
00000bc8: DUP5
00000bc9: MSTORE
00000bca: PUSH1 0x00
00000bcc: DUP10
00000bcd: DUP2
00000bce: MSTORE
00000bcf: PUSH1 0x0c
00000bd1: SWAP1
00000bd2: SWAP2
00000bd3: MSTORE
00000bd4: SWAP2
00000bd5: SWAP1
00000bd6: SWAP2
00000bd7: KECCAK256
00000bd8: SWAP1
00000bd9: MLOAD
00000bda: DUP2
00000bdb: SSTORE
00000bdc: SWAP1
00000bdd: MLOAD
00000bde: PUSH1 0x01
00000be0: SWAP1
00000be1: SWAP2
00000be2: ADD
00000be3: SSTORE
00000be4: POP
00000be5: JUMPDEST
00000be6: POP
00000be7: POP
00000be8: POP
00000be9: POP
00000bea: JUMP
00000beb: JUMPDEST
00000bec: PUSH2 0x0bf5
00000bef: CALLER
00000bf0: DUP3
00000bf1: PUSH2 0x210c
00000bf4: JUMP
00000bf5: JUMPDEST
00000bf6: PUSH2 0x0c11
00000bf9: JUMPI
00000bfa: PUSH1 0x40
00000bfc: MLOAD
00000bfd: PUSH3 0x461bcd
00000c01: PUSH1 0xe5
00000c03: SHL
00000c04: DUP2
00000c05: MSTORE
00000c06: PUSH1 0x04
00000c08: ADD
00000c09: PUSH2 0x08df
00000c0c: SWAP1
00000c0d: PUSH2 0x34d7
00000c10: JUMP
00000c11: JUMPDEST
00000c12: PUSH2 0x0a15
00000c15: DUP4
00000c16: DUP4
00000c17: DUP4
00000c18: PUSH2 0x21db
00000c1b: JUMP
00000c1c: JUMPDEST
00000c1d: PUSH1 0x12
00000c1f: SLOAD
00000c20: PUSH1 0x40
00000c22: MLOAD
00000c23: PUSH3 0x7eeac7
00000c27: PUSH1 0xe1
00000c29: SHL
00000c2a: DUP2
00000c2b: MSTORE
00000c2c: PUSH1 0x01
00000c2e: PUSH1 0x01
00000c30: PUSH1 0xa0
00000c32: SHL
00000c33: SUB
00000c34: DUP4
00000c35: DUP2
00000c36: AND
00000c37: PUSH1 0x04
00000c39: DUP4
00000c3a: ADD
00000c3b: MSTORE
00000c3c: PUSH1 0x00
00000c3e: PUSH1 0x24
00000c40: DUP4
00000c41: ADD
00000c42: DUP2
00000c43: SWAP1
00000c44: MSTORE
00000c45: SWAP3
00000c46: AND
00000c47: SWAP1
00000c48: PUSH3 0xfdd58e
00000c4c: SWAP1
00000c4d: PUSH1 0x44
00000c4f: ADD
00000c50: PUSH1 0x20
00000c52: PUSH1 0x40
00000c54: MLOAD
00000c55: DUP1
00000c56: DUP4
00000c57: SUB
00000c58: DUP2
00000c59: DUP7
00000c5a: GAS
00000c5b: STATICCALL
00000c5c: ISZERO
00000c5d: DUP1
00000c5e: ISZERO
00000c5f: PUSH2 0x0c6c
00000c62: JUMPI
00000c63: RETURNDATASIZE
00000c64: PUSH1 0x00
00000c66: DUP1
00000c67: RETURNDATACOPY
00000c68: RETURNDATASIZE
00000c69: PUSH1 0x00
00000c6b: REVERT
00000c6c: JUMPDEST
00000c6d: POP
00000c6e: POP
00000c6f: POP
00000c70: POP
00000c71: PUSH1 0x40
00000c73: MLOAD
00000c74: RETURNDATASIZE
00000c75: PUSH1 0x1f
00000c77: NOT
00000c78: PUSH1 0x1f
00000c7a: DUP3
00000c7b: ADD
00000c7c: AND
00000c7d: DUP3
00000c7e: ADD
00000c7f: DUP1
00000c80: PUSH1 0x40
00000c82: MSTORE
00000c83: POP
00000c84: DUP2
00000c85: ADD
00000c86: SWAP1
00000c87: PUSH2 0x07d2
00000c8a: SWAP2
00000c8b: SWAP1
00000c8c: PUSH2 0x3528
00000c8f: JUMP
00000c90: JUMPDEST
00000c91: PUSH1 0x00
00000c93: PUSH2 0x0c9b
00000c96: DUP4
00000c97: PUSH2 0x1455
00000c9a: JUMP
00000c9b: JUMPDEST
00000c9c: DUP3
00000c9d: LT
00000c9e: PUSH2 0x0cfd
00000ca1: JUMPI
00000ca2: PUSH1 0x40
00000ca4: MLOAD
00000ca5: PUSH3 0x461bcd
00000ca9: PUSH1 0xe5
00000cab: SHL
00000cac: DUP2
00000cad: MSTORE
00000cae: PUSH1 0x20
00000cb0: PUSH1 0x04
00000cb2: DUP3
00000cb3: ADD
00000cb4: MSTORE
00000cb5: PUSH1 0x2b
00000cb7: PUSH1 0x24
00000cb9: DUP3
00000cba: ADD
00000cbb: MSTORE
00000cbc: PUSH32 0x455243373231456e756d657261626c653a206f776e657220696e646578206f75
00000cdd: PUSH1 0x44
00000cdf: DUP3
00000ce0: ADD
00000ce1: MSTORE
00000ce2: PUSH11 0x74206f6620626f756e6473
00000cee: PUSH1 0xa8
00000cf0: SHL
00000cf1: PUSH1 0x64
00000cf3: DUP3
00000cf4: ADD
00000cf5: MSTORE
00000cf6: PUSH1 0x84
00000cf8: ADD
00000cf9: PUSH2 0x08df
00000cfc: JUMP
00000cfd: JUMPDEST
00000cfe: POP
00000cff: PUSH1 0x01
00000d01: PUSH1 0x01
00000d03: PUSH1 0xa0
00000d05: SHL
00000d06: SUB
00000d07: SWAP2
00000d08: SWAP1
00000d09: SWAP2
00000d0a: AND
00000d0b: PUSH1 0x00
00000d0d: SWAP1
00000d0e: DUP2
00000d0f: MSTORE
00000d10: PUSH1 0x06
00000d12: PUSH1 0x20
00000d14: SWAP1
00000d15: DUP2
00000d16: MSTORE
00000d17: PUSH1 0x40
00000d19: DUP1
00000d1a: DUP4
00000d1b: KECCAK256
00000d1c: SWAP4
00000d1d: DUP4
00000d1e: MSTORE
00000d1f: SWAP3
00000d20: SWAP1
00000d21: MSTORE
00000d22: KECCAK256
00000d23: SLOAD
00000d24: SWAP1
00000d25: JUMP
00000d26: JUMPDEST
00000d27: PUSH1 0x0a
00000d29: SLOAD
00000d2a: PUSH1 0x01
00000d2c: PUSH1 0x01
00000d2e: PUSH1 0xa0
00000d30: SHL
00000d31: SUB
00000d32: AND
00000d33: CALLER
00000d34: EQ
00000d35: PUSH2 0x0d50
00000d38: JUMPI
00000d39: PUSH1 0x40
00000d3b: MLOAD
00000d3c: PUSH3 0x461bcd
00000d40: PUSH1 0xe5
00000d42: SHL
00000d43: DUP2
00000d44: MSTORE
00000d45: PUSH1 0x04
00000d47: ADD
00000d48: PUSH2 0x08df
00000d4b: SWAP1
00000d4c: PUSH2 0x3541
00000d4f: JUMP
00000d50: JUMPDEST
00000d51: PUSH1 0x40
00000d53: MLOAD
00000d54: SELFBALANCE
00000d55: SWAP1
00000d56: CALLER
00000d57: SWAP1
00000d58: DUP3
00000d59: ISZERO
00000d5a: PUSH2 0x08fc
00000d5d: MUL
00000d5e: SWAP1
00000d5f: DUP4
00000d60: SWAP1
00000d61: PUSH1 0x00
00000d63: DUP2
00000d64: DUP2
00000d65: DUP2
00000d66: DUP6
00000d67: DUP9
00000d68: DUP9
00000d69: CALL
00000d6a: SWAP4
00000d6b: POP
00000d6c: POP
00000d6d: POP
00000d6e: POP
00000d6f: ISZERO
00000d70: DUP1
00000d71: ISZERO
00000d72: PUSH2 0x0d7f
00000d75: JUMPI
00000d76: RETURNDATASIZE
00000d77: PUSH1 0x00
00000d79: DUP1
00000d7a: RETURNDATACOPY
00000d7b: RETURNDATASIZE
00000d7c: PUSH1 0x00
00000d7e: REVERT
00000d7f: JUMPDEST
00000d80: POP
00000d81: POP
00000d82: JUMP
00000d83: JUMPDEST
00000d84: PUSH1 0x00
00000d86: DUP1
00000d87: JUMPDEST
00000d88: PUSH2 0x0d90
00000d8b: DUP5
00000d8c: PUSH2 0x1455
00000d8f: JUMP
00000d90: JUMPDEST
00000d91: DUP2
00000d92: LT
00000d93: ISZERO
00000d94: PUSH2 0x0e0a
00000d97: JUMPI
00000d98: PUSH2 0x0da4
00000d9b: PUSH2 0x0664
00000d9e: DUP6
00000d9f: DUP4
00000da0: PUSH2 0x0c90
00000da3: JUMP
00000da4: JUMPDEST
00000da5: ISZERO
00000da6: PUSH2 0x0df8
00000da9: JUMPI
00000daa: DUP3
00000dab: PUSH1 0x0c
00000dad: PUSH1 0x00
00000daf: PUSH2 0x0db8
00000db2: DUP8
00000db3: DUP6
00000db4: PUSH2 0x0c90
00000db7: JUMP
00000db8: JUMPDEST
00000db9: DUP2
00000dba: MSTORE
00000dbb: PUSH1 0x20
00000dbd: ADD
00000dbe: SWAP1
00000dbf: DUP2
00000dc0: MSTORE
00000dc1: PUSH1 0x20
00000dc3: ADD
00000dc4: PUSH1 0x00
00000dc6: KECCAK256
00000dc7: PUSH1 0x00
00000dc9: ADD
00000dca: SLOAD
00000dcb: EQ
00000dcc: ISZERO
00000dcd: PUSH2 0x0df8
00000dd0: JUMPI
00000dd1: PUSH1 0x0c
00000dd3: PUSH1 0x00
00000dd5: PUSH2 0x0dde
00000dd8: DUP7
00000dd9: DUP5
00000dda: PUSH2 0x0c90
00000ddd: JUMP
00000dde: JUMPDEST
00000ddf: DUP2
00000de0: MSTORE
00000de1: PUSH1 0x20
00000de3: ADD
00000de4: SWAP1
00000de5: DUP2
00000de6: MSTORE
00000de7: PUSH1 0x20
00000de9: ADD
00000dea: PUSH1 0x00
00000dec: KECCAK256
00000ded: PUSH1 0x01
00000def: ADD
00000df0: SLOAD
00000df1: SWAP2
00000df2: POP
00000df3: POP
00000df4: PUSH2 0x07d2
00000df7: JUMP
00000df8: JUMPDEST
00000df9: DUP1
00000dfa: PUSH2 0x0e02
00000dfd: DUP2
00000dfe: PUSH2 0x3576
00000e01: JUMP
00000e02: JUMPDEST
00000e03: SWAP2
00000e04: POP
00000e05: POP
00000e06: PUSH2 0x0d87
00000e09: JUMP
00000e0a: JUMPDEST
00000e0b: POP
00000e0c: PUSH1 0x00
00000e0e: SWAP4
00000e0f: SWAP3
00000e10: POP
00000e11: POP
00000e12: POP
00000e13: JUMP
00000e14: JUMPDEST
00000e15: PUSH2 0x0a15
00000e18: DUP4
00000e19: DUP4
00000e1a: DUP4
00000e1b: PUSH1 0x40
00000e1d: MLOAD
00000e1e: DUP1
00000e1f: PUSH1 0x20
00000e21: ADD
00000e22: PUSH1 0x40
00000e24: MSTORE
00000e25: DUP1
00000e26: PUSH1 0x00
00000e28: DUP2
00000e29: MSTORE
00000e2a: POP
00000e2b: PUSH2 0x1af3
00000e2e: JUMP
00000e2f: JUMPDEST
00000e30: PUSH2 0x0e5a
00000e33: PUSH1 0x40
00000e35: MLOAD
00000e36: DUP1
00000e37: PUSH1 0x80
00000e39: ADD
00000e3a: PUSH1 0x40
00000e3c: MSTORE
00000e3d: DUP1
00000e3e: PUSH1 0x00
00000e40: DUP2
00000e41: MSTORE
00000e42: PUSH1 0x20
00000e44: ADD
00000e45: PUSH1 0x00
00000e47: DUP2
00000e48: MSTORE
00000e49: PUSH1 0x20
00000e4b: ADD
00000e4c: PUSH1 0x00
00000e4e: DUP2
00000e4f: MSTORE
00000e50: PUSH1 0x20
00000e52: ADD
00000e53: PUSH1 0x00
00000e55: DUP2
00000e56: MSTORE
00000e57: POP
00000e58: SWAP1
00000e59: JUMP
00000e5a: JUMPDEST
00000e5b: PUSH1 0x0a
00000e5d: SLOAD
00000e5e: PUSH1 0x01
00000e60: PUSH1 0x01
00000e62: PUSH1 0xa0
00000e64: SHL
00000e65: SUB
00000e66: AND
00000e67: CALLER
00000e68: EQ
00000e69: PUSH2 0x0e84
00000e6c: JUMPI
00000e6d: PUSH1 0x40
00000e6f: MLOAD
00000e70: PUSH3 0x461bcd
00000e74: PUSH1 0xe5
00000e76: SHL
00000e77: DUP2
00000e78: MSTORE
00000e79: PUSH1 0x04
00000e7b: ADD
00000e7c: PUSH2 0x08df
00000e7f: SWAP1
00000e80: PUSH2 0x3541
00000e83: JUMP
00000e84: JUMPDEST
00000e85: PUSH1 0x00
00000e87: DUP3
00000e88: DUP2
00000e89: MSTORE
00000e8a: PUSH1 0x0b
00000e8c: PUSH1 0x20
00000e8e: SWAP1
00000e8f: DUP2
00000e90: MSTORE
00000e91: PUSH1 0x40
00000e93: SWAP2
00000e94: DUP3
00000e95: SWAP1
00000e96: KECCAK256
00000e97: DUP3
00000e98: MLOAD
00000e99: PUSH1 0x80
00000e9b: DUP2
00000e9c: ADD
00000e9d: DUP5
00000e9e: MSTORE
00000e9f: DUP2
00000ea0: SLOAD
00000ea1: DUP2
00000ea2: MSTORE
00000ea3: PUSH1 0x01
00000ea5: DUP3
00000ea6: ADD
00000ea7: SLOAD
00000ea8: SWAP3
00000ea9: DUP2
00000eaa: ADD
00000eab: SWAP3
00000eac: SWAP1
00000ead: SWAP3
00000eae: MSTORE
00000eaf: PUSH1 0x02
00000eb1: DUP2
00000eb2: ADD
00000eb3: SLOAD
00000eb4: SWAP3
00000eb5: DUP3
00000eb6: ADD
00000eb7: DUP4
00000eb8: SWAP1
00000eb9: MSTORE
00000eba: PUSH1 0x03
00000ebc: ADD
00000ebd: SLOAD
00000ebe: PUSH1 0x60
00000ec0: DUP3
00000ec1: ADD
00000ec2: MSTORE
00000ec3: SWAP1
00000ec4: PUSH2 0x0edf
00000ec7: JUMPI
00000ec8: PUSH1 0x40
00000eca: MLOAD
00000ecb: PUSH3 0x461bcd
00000ecf: PUSH1 0xe5
00000ed1: SHL
00000ed2: DUP2
00000ed3: MSTORE
00000ed4: PUSH1 0x04
00000ed6: ADD
00000ed7: PUSH2 0x08df
00000eda: SWAP1
00000edb: PUSH2 0x347c
00000ede: JUMP
00000edf: JUMPDEST
00000ee0: SWAP1
00000ee1: POP
00000ee2: JUMPDEST
00000ee3: SWAP2
00000ee4: SWAP1
00000ee5: POP
00000ee6: JUMP
00000ee7: JUMPDEST
00000ee8: PUSH1 0x00
00000eea: PUSH2 0x0ef2
00000eed: PUSH1 0x08
00000eef: SLOAD
00000ef0: SWAP1
00000ef1: JUMP
00000ef2: JUMPDEST
00000ef3: DUP3
00000ef4: LT
00000ef5: PUSH2 0x0f55
00000ef8: JUMPI
00000ef9: PUSH1 0x40
00000efb: MLOAD
00000efc: PUSH3 0x461bcd
00000f00: PUSH1 0xe5
00000f02: SHL
00000f03: DUP2
00000f04: MSTORE
00000f05: PUSH1 0x20
00000f07: PUSH1 0x04
00000f09: DUP3
00000f0a: ADD
00000f0b: MSTORE
00000f0c: PUSH1 0x2c
00000f0e: PUSH1 0x24
00000f10: DUP3
00000f11: ADD
00000f12: MSTORE
00000f13: PUSH32 0x455243373231456e756d657261626c653a20676c6f62616c20696e646578206f
00000f34: PUSH1 0x44
00000f36: DUP3
00000f37: ADD
00000f38: MSTORE
00000f39: PUSH12 0x7574206f6620626f756e6473
00000f46: PUSH1 0xa0
00000f48: SHL
00000f49: PUSH1 0x64
00000f4b: DUP3
00000f4c: ADD
00000f4d: MSTORE
00000f4e: PUSH1 0x84
00000f50: ADD
00000f51: PUSH2 0x08df
00000f54: JUMP
00000f55: JUMPDEST
00000f56: PUSH1 0x08
00000f58: DUP3
00000f59: DUP2
00000f5a: SLOAD
00000f5b: DUP2
00000f5c: LT
00000f5d: PUSH2 0x0f68
00000f60: JUMPI
00000f61: PUSH2 0x0f68
00000f64: PUSH2 0x3591
00000f67: JUMP
00000f68: JUMPDEST
00000f69: SWAP1
00000f6a: PUSH1 0x00
00000f6c: MSTORE
00000f6d: PUSH1 0x20
00000f6f: PUSH1 0x00
00000f71: KECCAK256
00000f72: ADD
00000f73: SLOAD
00000f74: SWAP1
00000f75: POP
00000f76: SWAP2
00000f77: SWAP1
00000f78: POP
00000f79: JUMP
00000f7a: JUMPDEST
00000f7b: PUSH1 0x40
00000f7d: DUP1
00000f7e: MLOAD
00000f7f: PUSH1 0x80
00000f81: DUP2
00000f82: ADD
00000f83: DUP3
00000f84: MSTORE
00000f85: PUSH32 0x72c6bfb7988af3a1efa6568f02a999bc52252641c659d85961ca3d372b57d5cf
00000fa6: SLOAD
00000fa7: DUP2
00000fa8: MSTORE
00000fa9: PUSH32 0x72c6bfb7988af3a1efa6568f02a999bc52252641c659d85961ca3d372b57d5d0
00000fca: SLOAD
00000fcb: PUSH1 0x20
00000fcd: DUP1
00000fce: DUP4
00000fcf: ADD
00000fd0: SWAP2
00000fd1: SWAP1
00000fd2: SWAP2
00000fd3: MSTORE
00000fd4: PUSH32 0x72c6bfb7988af3a1efa6568f02a999bc52252641c659d85961ca3d372b57d5d1
00000ff5: SLOAD
00000ff6: SWAP3
00000ff7: DUP3
00000ff8: ADD
00000ff9: SWAP3
00000ffa: SWAP1
00000ffb: SWAP3
00000ffc: MSTORE
00000ffd: PUSH32 0x72c6bfb7988af3a1efa6568f02a999bc52252641c659d85961ca3d372b57d5d2
0000101e: SLOAD
0000101f: PUSH1 0x60
00001021: DUP3
00001022: ADD
00001023: MSTORE
00001024: PUSH1 0x01
00001026: PUSH1 0x00
00001028: MSTORE
00001029: PUSH1 0x0d
0000102b: SWAP1
0000102c: SWAP2
0000102d: MSTORE
0000102e: PUSH1 0x00
00001030: DUP1
00001031: MLOAD
00001032: PUSH1 0x20
00001034: PUSH2 0x39ec
00001037: DUP4
00001038: CODECOPY
00001039: DUP2
0000103a: MLOAD
0000103b: SWAP2
0000103c: MSTORE
0000103d: SLOAD
0000103e: PUSH1 0x12
00001040: SLOAD
00001041: PUSH1 0x01
00001043: PUSH1 0xa0
00001045: SHL
00001046: SWAP1
00001047: DIV
00001048: PUSH1 0xff
0000104a: AND
0000104b: PUSH2 0x1087
0000104e: JUMPI
0000104f: PUSH1 0x40
00001051: MLOAD
00001052: PUSH3 0x461bcd
00001056: PUSH1 0xe5
00001058: SHL
00001059: DUP2
0000105a: MSTORE
0000105b: PUSH1 0x20
0000105d: PUSH1 0x04
0000105f: DUP3
00001060: ADD
00001061: MSTORE
00001062: PUSH1 0x0e
00001064: PUSH1 0x24
00001066: DUP3
00001067: ADD
00001068: MSTORE
00001069: PUSH14 0x2132ba309036b4b73a1037bb32b9
00001078: PUSH1 0x91
0000107a: SHL
0000107b: PUSH1 0x44
0000107d: DUP3
0000107e: ADD
0000107f: MSTORE
00001080: PUSH1 0x64
00001082: ADD
00001083: PUSH2 0x08df
00001086: JUMP
00001087: JUMPDEST
00001088: PUSH1 0x00
0000108a: PUSH2 0x1092
0000108d: CALLER
0000108e: PUSH2 0x0c1c
00001091: JUMP
00001092: JUMPDEST
00001093: GT
00001094: PUSH2 0x10cf
00001097: JUMPI
00001098: PUSH1 0x40
0000109a: MLOAD
0000109b: PUSH3 0x461bcd
0000109f: PUSH1 0xe5
000010a1: SHL
000010a2: DUP2
000010a3: MSTORE
000010a4: PUSH1 0x20
000010a6: PUSH1 0x04
000010a8: DUP3
000010a9: ADD
000010aa: MSTORE
000010ab: PUSH1 0x0d
000010ad: PUSH1 0x24
000010af: DUP3
000010b0: ADD
000010b1: MSTORE
000010b2: PUSH13 0x2737ba103132ba30903ab9b2b9
000010c0: PUSH1 0x99
000010c2: SHL
000010c3: PUSH1 0x44
000010c5: DUP3
000010c6: ADD
000010c7: MSTORE
000010c8: PUSH1 0x64
000010ca: ADD
000010cb: PUSH2 0x08df
000010ce: JUMP
000010cf: JUMPDEST
000010d0: DUP1
000010d1: DUP3
000010d2: PUSH1 0x60
000010d4: ADD
000010d5: MLOAD
000010d6: GT
000010d7: PUSH2 0x10f2
000010da: JUMPI
000010db: PUSH1 0x40
000010dd: MLOAD
000010de: PUSH3 0x461bcd
000010e2: PUSH1 0xe5
000010e4: SHL
000010e5: DUP2
000010e6: MSTORE
000010e7: PUSH1 0x04
000010e9: ADD
000010ea: PUSH2 0x08df
000010ed: SWAP1
000010ee: PUSH2 0x35a7
000010f1: JUMP
000010f2: JUMPDEST
000010f3: DUP2
000010f4: MLOAD
000010f5: CALLVALUE
000010f6: LT
000010f7: ISZERO
000010f8: PUSH2 0x1113
000010fb: JUMPI
000010fc: PUSH1 0x40
000010fe: MLOAD
000010ff: PUSH3 0x461bcd
00001103: PUSH1 0xe5
00001105: SHL
00001106: DUP2
00001107: MSTORE
00001108: PUSH1 0x04
0000110a: ADD
0000110b: PUSH2 0x08df
0000110e: SWAP1
0000110f: PUSH2 0x35cd
00001112: JUMP
00001113: JUMPDEST
00001114: CALLER
00001115: PUSH1 0x00
00001117: SWAP1
00001118: DUP2
00001119: MSTORE
0000111a: PUSH1 0x0e
0000111c: PUSH1 0x20
0000111e: MSTORE
0000111f: PUSH1 0x40
00001121: SWAP1
00001122: KECCAK256
00001123: SLOAD
00001124: PUSH1 0xff
00001126: AND
00001127: ISZERO
00001128: PUSH2 0x1173
0000112b: JUMPI
0000112c: PUSH1 0x40
0000112e: MLOAD
0000112f: PUSH3 0x461bcd
00001133: PUSH1 0xe5
00001135: SHL
00001136: DUP2
00001137: MSTORE
00001138: PUSH1 0x20
0000113a: PUSH1 0x04
0000113c: DUP3
0000113d: ADD
0000113e: MSTORE
0000113f: PUSH1 0x1b
00001141: PUSH1 0x24
00001143: DUP3
00001144: ADD
00001145: MSTORE
00001146: PUSH32 0x416c726561647920636c61696d6564204265746120626f6e75732e0000000000
00001167: PUSH1 0x44
00001169: DUP3
0000116a: ADD
0000116b: MSTORE
0000116c: PUSH1 0x64
0000116e: ADD
0000116f: PUSH2 0x08df
00001172: JUMP
00001173: JUMPDEST
00001174: PUSH3 0x0f4240
00001178: PUSH1 0x00
0000117a: PUSH2 0x1183
0000117d: DUP4
0000117e: DUP4
0000117f: PUSH2 0x34bf
00001182: JUMP
00001183: JUMPDEST
00001184: PUSH2 0x118e
00001187: SWAP1
00001188: PUSH1 0x01
0000118a: PUSH2 0x34bf
0000118d: JUMP
0000118e: JUMPDEST
0000118f: SWAP1
00001190: POP
00001191: PUSH1 0x00
00001193: DUP5
00001194: PUSH1 0x40
00001196: ADD
00001197: MLOAD
00001198: PUSH1 0x03
0000119a: PUSH2 0x11a3
0000119d: SWAP2
0000119e: SWAP1
0000119f: PUSH2 0x3604
000011a2: JUMP
000011a3: JUMPDEST
000011a4: PUSH2 0x11ad
000011a7: SWAP1
000011a8: TIMESTAMP
000011a9: PUSH2 0x34bf
000011ac: JUMP
000011ad: JUMPDEST
000011ae: PUSH1 0x40
000011b0: DUP1
000011b1: MLOAD
000011b2: DUP1
000011b3: DUP3
000011b4: ADD
000011b5: DUP3
000011b6: MSTORE
000011b7: PUSH1 0x01
000011b9: DUP1
000011ba: DUP3
000011bb: MSTORE
000011bc: PUSH1 0x20
000011be: DUP1
000011bf: DUP4
000011c0: ADD
000011c1: DUP6
000011c2: DUP2
000011c3: MSTORE
000011c4: PUSH1 0x00
000011c6: DUP9
000011c7: DUP2
000011c8: MSTORE
000011c9: PUSH1 0x0c
000011cb: DUP4
000011cc: MSTORE
000011cd: DUP6
000011ce: DUP2
000011cf: KECCAK256
000011d0: SWAP5
000011d1: MLOAD
000011d2: DUP6
000011d3: SSTORE
000011d4: SWAP1
000011d5: MLOAD
000011d6: SWAP4
000011d7: DUP4
000011d8: ADD
000011d9: SWAP4
000011da: SWAP1
000011db: SWAP4
000011dc: SSTORE
000011dd: CALLER
000011de: DUP1
000011df: DUP5
000011e0: MSTORE
000011e1: PUSH1 0x0e
000011e3: SWAP1
000011e4: SWAP2
000011e5: MSTORE
000011e6: SWAP3
000011e7: SWAP1
000011e8: SWAP2
000011e9: KECCAK256
000011ea: DUP1
000011eb: SLOAD
000011ec: PUSH1 0xff
000011ee: NOT
000011ef: AND
000011f0: SWAP1
000011f1: SWAP2
000011f2: OR
000011f3: SWAP1
000011f4: SSTORE
000011f5: SWAP1
000011f6: SWAP2
000011f7: POP
000011f8: PUSH2 0x1201
000011fb: SWAP1
000011fc: DUP4
000011fd: PUSH2 0x2386
00001200: JUMP
00001201: JUMPDEST
00001202: PUSH1 0x01
00001204: PUSH1 0x00
00001206: DUP2
00001207: DUP2
00001208: MSTORE
00001209: PUSH1 0x0d
0000120b: PUSH1 0x20
0000120d: MSTORE
0000120e: PUSH1 0x00
00001210: DUP1
00001211: MLOAD
00001212: PUSH1 0x20
00001214: PUSH2 0x39ec
00001217: DUP4
00001218: CODECOPY
00001219: DUP2
0000121a: MLOAD
0000121b: SWAP2
0000121c: MSTORE
0000121d: DUP1
0000121e: SLOAD
0000121f: SWAP1
00001220: SWAP2
00001221: SWAP1
00001222: PUSH2 0x122c
00001225: SWAP1
00001226: DUP5
00001227: SWAP1
00001228: PUSH2 0x34bf
0000122b: JUMP
0000122c: JUMPDEST
0000122d: SWAP1
0000122e: SWAP2
0000122f: SSTORE
00001230: POP
00001231: POP
00001232: POP
00001233: POP
00001234: POP
00001235: POP
00001236: POP
00001237: JUMP
00001238: JUMPDEST
00001239: PUSH1 0x00
0000123b: DUP2
0000123c: DUP2
0000123d: MSTORE
0000123e: PUSH1 0x0c
00001240: PUSH1 0x20
00001242: SWAP1
00001243: DUP2
00001244: MSTORE
00001245: PUSH1 0x40
00001247: DUP1
00001248: DUP4
00001249: KECCAK256
0000124a: SLOAD
0000124b: DUP1
0000124c: DUP5
0000124d: MSTORE
0000124e: PUSH1 0x0b
00001250: DUP4
00001251: MSTORE
00001252: SWAP3
00001253: DUP2
00001254: SWAP1
00001255: KECCAK256
00001256: DUP2
00001257: MLOAD
00001258: PUSH1 0x80
0000125a: DUP2
0000125b: ADD
0000125c: DUP4
0000125d: MSTORE
0000125e: DUP2
0000125f: SLOAD
00001260: DUP2
00001261: MSTORE
00001262: PUSH1 0x01
00001264: DUP3
00001265: ADD
00001266: SLOAD
00001267: SWAP4
00001268: DUP2
00001269: ADD
0000126a: SWAP4
0000126b: SWAP1
0000126c: SWAP4
0000126d: MSTORE
0000126e: PUSH1 0x02
00001270: DUP2
00001271: ADD
00001272: SLOAD
00001273: SWAP2
00001274: DUP4
00001275: ADD
00001276: DUP3
00001277: SWAP1
00001278: MSTORE
00001279: PUSH1 0x03
0000127b: ADD
0000127c: SLOAD
0000127d: PUSH1 0x60
0000127f: DUP4
00001280: ADD
00001281: MSTORE
00001282: PUSH2 0x129d
00001285: JUMPI
00001286: PUSH1 0x40
00001288: MLOAD
00001289: PUSH3 0x461bcd
0000128d: PUSH1 0xe5
0000128f: SHL
00001290: DUP2
00001291: MSTORE
00001292: PUSH1 0x04
00001294: ADD
00001295: PUSH2 0x08df
00001298: SWAP1
00001299: PUSH2 0x347c
0000129c: JUMP
0000129d: JUMPDEST
0000129e: PUSH1 0x0a
000012a0: SLOAD
000012a1: PUSH1 0x01
000012a3: PUSH1 0x01
000012a5: PUSH1 0xa0
000012a7: SHL
000012a8: SUB
000012a9: AND
000012aa: CALLER
000012ab: EQ
000012ac: PUSH2 0x0b33
000012af: JUMPI
000012b0: DUP1
000012b1: PUSH1 0x20
000012b3: ADD
000012b4: MLOAD
000012b5: CALLVALUE
000012b6: LT
000012b7: ISZERO
000012b8: PUSH2 0x0b33
000012bb: JUMPI
000012bc: PUSH1 0x40
000012be: MLOAD
000012bf: PUSH3 0x461bcd
000012c3: PUSH1 0xe5
000012c5: SHL
000012c6: DUP2
000012c7: MSTORE
000012c8: PUSH1 0x20
000012ca: PUSH1 0x04
000012cc: DUP3
000012cd: ADD
000012ce: DUP2
000012cf: SWAP1
000012d0: MSTORE
000012d1: PUSH1 0x24
000012d3: DUP3
000012d4: ADD
000012d5: MSTORE
000012d6: PUSH32 0x496e636f72726563742076616c75652073656e7420666f722072656e6577616c
000012f7: PUSH1 0x44
000012f9: DUP3
000012fa: ADD
000012fb: MSTORE
000012fc: PUSH1 0x64
000012fe: ADD
000012ff: PUSH2 0x08df
00001302: JUMP
00001303: JUMPDEST
00001304: PUSH1 0x00
00001306: DUP2
00001307: DUP2
00001308: MSTORE
00001309: PUSH1 0x02
0000130b: PUSH1 0x20
0000130d: MSTORE
0000130e: PUSH1 0x40
00001310: DUP2
00001311: KECCAK256
00001312: SLOAD
00001313: PUSH1 0x01
00001315: PUSH1 0x01
00001317: PUSH1 0xa0
00001319: SHL
0000131a: SUB
0000131b: AND
0000131c: DUP1
0000131d: PUSH2 0x0edf
00001320: JUMPI
00001321: PUSH1 0x40
00001323: MLOAD
00001324: PUSH3 0x461bcd
00001328: PUSH1 0xe5
0000132a: SHL
0000132b: DUP2
0000132c: MSTORE
0000132d: PUSH1 0x20
0000132f: PUSH1 0x04
00001331: DUP3
00001332: ADD
00001333: MSTORE
00001334: PUSH1 0x29
00001336: PUSH1 0x24
00001338: DUP3
00001339: ADD
0000133a: MSTORE
0000133b: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374
0000135c: PUSH1 0x44
0000135e: DUP3
0000135f: ADD
00001360: MSTORE
00001361: PUSH9 0x32b73a103a37b5b2b7
0000136b: PUSH1 0xb9
0000136d: SHL
0000136e: PUSH1 0x64
00001370: DUP3
00001371: ADD
00001372: MSTORE
00001373: PUSH1 0x84
00001375: ADD
00001376: PUSH2 0x08df
00001379: JUMP
0000137a: JUMPDEST
0000137b: PUSH1 0x0a
0000137d: SLOAD
0000137e: PUSH1 0x01
00001380: PUSH1 0x01
00001382: PUSH1 0xa0
00001384: SHL
00001385: SUB
00001386: AND
00001387: CALLER
00001388: EQ
00001389: PUSH2 0x13a4
0000138c: JUMPI
0000138d: PUSH1 0x40
0000138f: MLOAD
00001390: PUSH3 0x461bcd
00001394: PUSH1 0xe5
00001396: SHL
00001397: DUP2
00001398: MSTORE
00001399: PUSH1 0x04
0000139b: ADD
0000139c: PUSH2 0x08df
0000139f: SWAP1
000013a0: PUSH2 0x3541
000013a3: JUMP
000013a4: JUMPDEST
000013a5: PUSH1 0x00
000013a7: DUP6
000013a8: DUP2
000013a9: MSTORE
000013aa: PUSH1 0x0b
000013ac: PUSH1 0x20
000013ae: MSTORE
000013af: PUSH1 0x40
000013b1: SWAP1
000013b2: KECCAK256
000013b3: PUSH1 0x02
000013b5: DUP2
000013b6: ADD
000013b7: SLOAD
000013b8: PUSH2 0x13d3
000013bb: JUMPI
000013bc: PUSH1 0x40
000013be: MLOAD
000013bf: PUSH3 0x461bcd
000013c3: PUSH1 0xe5
000013c5: SHL
000013c6: DUP2
000013c7: MSTORE
000013c8: PUSH1 0x04
000013ca: ADD
000013cb: PUSH2 0x08df
000013ce: SWAP1
000013cf: PUSH2 0x347c
000013d2: JUMP
000013d3: JUMPDEST
000013d4: DUP1
000013d5: SLOAD
000013d6: DUP6
000013d7: EQ
000013d8: PUSH2 0x13ed
000013db: JUMPI
000013dc: PUSH1 0x00
000013de: DUP7
000013df: DUP2
000013e0: MSTORE
000013e1: PUSH1 0x0b
000013e3: PUSH1 0x20
000013e5: MSTORE
000013e6: PUSH1 0x40
000013e8: SWAP1
000013e9: KECCAK256
000013ea: DUP6
000013eb: SWAP1
000013ec: SSTORE
000013ed: JUMPDEST
000013ee: DUP1
000013ef: PUSH1 0x01
000013f1: ADD
000013f2: SLOAD
000013f3: DUP5
000013f4: EQ
000013f5: PUSH2 0x140d
000013f8: JUMPI
000013f9: PUSH1 0x00
000013fb: DUP7
000013fc: DUP2
000013fd: MSTORE
000013fe: PUSH1 0x0b
00001400: PUSH1 0x20
00001402: MSTORE
00001403: PUSH1 0x40
00001405: SWAP1
00001406: KECCAK256
00001407: PUSH1 0x01
00001409: ADD
0000140a: DUP5
0000140b: SWAP1
0000140c: SSTORE
0000140d: JUMPDEST
0000140e: DUP1
0000140f: PUSH1 0x02
00001411: ADD
00001412: SLOAD
00001413: DUP4
00001414: EQ
00001415: PUSH2 0x142d
00001418: JUMPI
00001419: PUSH1 0x00
0000141b: DUP7
0000141c: DUP2
0000141d: MSTORE
0000141e: PUSH1 0x0b
00001420: PUSH1 0x20
00001422: MSTORE
00001423: PUSH1 0x40
00001425: SWAP1
00001426: KECCAK256
00001427: PUSH1 0x02
00001429: ADD
0000142a: DUP4
0000142b: SWAP1
0000142c: SSTORE
0000142d: JUMPDEST
0000142e: DUP1
0000142f: PUSH1 0x03
00001431: ADD
00001432: SLOAD
00001433: DUP3
00001434: EQ
00001435: PUSH2 0x144d
00001438: JUMPI
00001439: PUSH1 0x00
0000143b: DUP7
0000143c: DUP2
0000143d: MSTORE
0000143e: PUSH1 0x0b
00001440: PUSH1 0x20
00001442: MSTORE
00001443: PUSH1 0x40
00001445: SWAP1
00001446: KECCAK256
00001447: PUSH1 0x03
00001449: ADD
0000144a: DUP3
0000144b: SWAP1
0000144c: SSTORE
0000144d: JUMPDEST
0000144e: POP
0000144f: POP
00001450: POP
00001451: POP
00001452: POP
00001453: POP
00001454: JUMP
00001455: JUMPDEST
00001456: PUSH1 0x00
00001458: PUSH1 0x01
0000145a: PUSH1 0x01
0000145c: PUSH1 0xa0
0000145e: SHL
0000145f: SUB
00001460: DUP3
00001461: AND
00001462: PUSH2 0x14c0
00001465: JUMPI
00001466: PUSH1 0x40
00001468: MLOAD
00001469: PUSH3 0x461bcd
0000146d: PUSH1 0xe5
0000146f: SHL
00001470: DUP2
00001471: MSTORE
00001472: PUSH1 0x20
00001474: PUSH1 0x04
00001476: DUP3
00001477: ADD
00001478: MSTORE
00001479: PUSH1 0x2a
0000147b: PUSH1 0x24
0000147d: DUP3
0000147e: ADD
0000147f: MSTORE
00001480: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65
000014a1: PUSH1 0x44
000014a3: DUP3
000014a4: ADD
000014a5: MSTORE
000014a6: PUSH10 0x726f2061646472657373
000014b1: PUSH1 0xb0
000014b3: SHL
000014b4: PUSH1 0x64
000014b6: DUP3
000014b7: ADD
000014b8: MSTORE
000014b9: PUSH1 0x84
000014bb: ADD
000014bc: PUSH2 0x08df
000014bf: JUMP
000014c0: JUMPDEST
000014c1: POP
000014c2: PUSH1 0x01
000014c4: PUSH1 0x01
000014c6: PUSH1 0xa0
000014c8: SHL
000014c9: SUB
000014ca: AND
000014cb: PUSH1 0x00
000014cd: SWAP1
000014ce: DUP2
000014cf: MSTORE
000014d0: PUSH1 0x03
000014d2: PUSH1 0x20
000014d4: MSTORE
000014d5: PUSH1 0x40
000014d7: SWAP1
000014d8: KECCAK256
000014d9: SLOAD
000014da: SWAP1
000014db: JUMP
000014dc: JUMPDEST
000014dd: PUSH1 0x0a
000014df: SLOAD
000014e0: PUSH1 0x01
000014e2: PUSH1 0x01
000014e4: PUSH1 0xa0
000014e6: SHL
000014e7: SUB
000014e8: AND
000014e9: CALLER
000014ea: EQ
000014eb: PUSH2 0x1506
000014ee: JUMPI
000014ef: PUSH1 0x40
000014f1: MLOAD
000014f2: PUSH3 0x461bcd
000014f6: PUSH1 0xe5
000014f8: SHL
000014f9: DUP2
000014fa: MSTORE
000014fb: PUSH1 0x04
000014fd: ADD
000014fe: PUSH2 0x08df
00001501: SWAP1
00001502: PUSH2 0x3541
00001505: JUMP
00001506: JUMPDEST
00001507: PUSH2 0x1510
0000150a: PUSH1 0x00
0000150c: PUSH2 0x23a0
0000150f: JUMP
00001510: JUMPDEST
00001511: JUMP
00001512: JUMPDEST
00001513: PUSH1 0x0a
00001515: SLOAD
00001516: PUSH1 0x01
00001518: PUSH1 0x01
0000151a: PUSH1 0xa0
0000151c: SHL
0000151d: SUB
0000151e: AND
0000151f: CALLER
00001520: EQ
00001521: PUSH2 0x153c
00001524: JUMPI
00001525: PUSH1 0x40
00001527: MLOAD
00001528: PUSH3 0x461bcd
0000152c: PUSH1 0xe5
0000152e: SHL
0000152f: DUP2
00001530: MSTORE
00001531: PUSH1 0x04
00001533: ADD
00001534: PUSH2 0x08df
00001537: SWAP1
00001538: PUSH2 0x3541
0000153b: JUMP
0000153c: JUMPDEST
0000153d: PUSH1 0x11
0000153f: DUP1
00001540: SLOAD
00001541: PUSH1 0x01
00001543: PUSH1 0x01
00001545: PUSH1 0xa0
00001547: SHL
00001548: SUB
00001549: NOT
0000154a: AND
0000154b: PUSH1 0x01
0000154d: PUSH1 0x01
0000154f: PUSH1 0xa0
00001551: SHL
00001552: SUB
00001553: SWAP3
00001554: SWAP1
00001555: SWAP3
00001556: AND
00001557: SWAP2
00001558: SWAP1
00001559: SWAP2
0000155a: OR
0000155b: SWAP1
0000155c: SSTORE
0000155d: JUMP
0000155e: JUMPDEST
0000155f: PUSH1 0x0a
00001561: SLOAD
00001562: PUSH1 0x01
00001564: PUSH1 0x01
00001566: PUSH1 0xa0
00001568: SHL
00001569: SUB
0000156a: AND
0000156b: CALLER
0000156c: EQ
0000156d: PUSH2 0x1588
00001570: JUMPI
00001571: PUSH1 0x40
00001573: MLOAD
00001574: PUSH3 0x461bcd
00001578: PUSH1 0xe5
0000157a: SHL
0000157b: DUP2
0000157c: MSTORE
0000157d: PUSH1 0x04
0000157f: ADD
00001580: PUSH2 0x08df
00001583: SWAP1
00001584: PUSH2 0x3541
00001587: JUMP
00001588: JUMPDEST
00001589: PUSH1 0x12
0000158b: DUP1
0000158c: SLOAD
0000158d: SWAP2
0000158e: ISZERO
0000158f: ISZERO
00001590: PUSH1 0x01
00001592: PUSH1 0xa8
00001594: SHL
00001595: MUL
00001596: PUSH1 0xff
00001598: PUSH1 0xa8
0000159a: SHL
0000159b: NOT
0000159c: SWAP1
0000159d: SWAP3
0000159e: AND
0000159f: SWAP2
000015a0: SWAP1
000015a1: SWAP2
000015a2: OR
000015a3: SWAP1
000015a4: SSTORE
000015a5: JUMP
000015a6: JUMPDEST
000015a7: PUSH1 0x0a
000015a9: SLOAD
000015aa: PUSH1 0x01
000015ac: PUSH1 0x01
000015ae: PUSH1 0xa0
000015b0: SHL
000015b1: SUB
000015b2: AND
000015b3: CALLER
000015b4: EQ
000015b5: PUSH2 0x15d0
000015b8: JUMPI
000015b9: PUSH1 0x40
000015bb: MLOAD
000015bc: PUSH3 0x461bcd
000015c0: PUSH1 0xe5
000015c2: SHL
000015c3: DUP2
000015c4: MSTORE
000015c5: PUSH1 0x04
000015c7: ADD
000015c8: PUSH2 0x08df
000015cb: SWAP1
000015cc: PUSH2 0x3541
000015cf: JUMP
000015d0: JUMPDEST
000015d1: PUSH1 0x00
000015d3: DUP3
000015d4: DUP2
000015d5: MSTORE
000015d6: PUSH1 0x0b
000015d8: PUSH1 0x20
000015da: SWAP1
000015db: DUP2
000015dc: MSTORE
000015dd: PUSH1 0x40
000015df: DUP1
000015e0: DUP4
000015e1: KECCAK256
000015e2: DUP2
000015e3: MLOAD
000015e4: PUSH1 0x80
000015e6: DUP2
000015e7: ADD
000015e8: DUP4
000015e9: MSTORE
000015ea: DUP2
000015eb: SLOAD
000015ec: DUP2
000015ed: MSTORE
000015ee: PUSH1 0x01
000015f0: DUP3
000015f1: ADD
000015f2: SLOAD
000015f3: DUP2
000015f4: DUP6
000015f5: ADD
000015f6: MSTORE
000015f7: PUSH1 0x02
000015f9: DUP3
000015fa: ADD
000015fb: SLOAD
000015fc: DUP2
000015fd: DUP5
000015fe: ADD
000015ff: MSTORE
00001600: PUSH1 0x03
00001602: SWAP1
00001603: SWAP2
00001604: ADD
00001605: SLOAD
00001606: PUSH1 0x60
00001608: DUP3
00001609: ADD
0000160a: MSTORE
0000160b: DUP6
0000160c: DUP5
0000160d: MSTORE
0000160e: PUSH1 0x0d
00001610: SWAP1
00001611: SWAP3
00001612: MSTORE
00001613: DUP3
00001614: KECCAK256
00001615: SLOAD
00001616: SWAP1
00001617: SWAP2
00001618: POP
00001619: PUSH1 0x00
0000161b: DUP3
0000161c: PUSH1 0x40
0000161e: ADD
0000161f: MLOAD
00001620: GT
00001621: PUSH2 0x163c
00001624: JUMPI
00001625: PUSH1 0x40
00001627: MLOAD
00001628: PUSH3 0x461bcd
0000162c: PUSH1 0xe5
0000162e: SHL
0000162f: DUP2
00001630: MSTORE
00001631: PUSH1 0x04
00001633: ADD
00001634: PUSH2 0x08df
00001637: SWAP1
00001638: PUSH2 0x347c
0000163b: JUMP
0000163c: JUMPDEST
0000163d: DUP5
0000163e: MLOAD
0000163f: PUSH2 0x1648
00001642: SWAP1
00001643: DUP3
00001644: PUSH2 0x34bf
00001647: JUMP
00001648: JUMPDEST
00001649: DUP3
0000164a: PUSH1 0x60
0000164c: ADD
0000164d: MLOAD
0000164e: LT
0000164f: ISZERO
00001650: PUSH2 0x166b
00001653: JUMPI
00001654: PUSH1 0x40
00001656: MLOAD
00001657: PUSH3 0x461bcd
0000165b: PUSH1 0xe5
0000165d: SHL
0000165e: DUP2
0000165f: MSTORE
00001660: PUSH1 0x04
00001662: ADD
00001663: PUSH2 0x08df
00001666: SWAP1
00001667: PUSH2 0x35a7
0000166a: JUMP
0000166b: JUMPDEST
0000166c: PUSH1 0x00
0000166e: JUMPDEST
0000166f: DUP6
00001670: MLOAD
00001671: DUP2
00001672: LT
00001673: ISZERO
00001674: PUSH2 0x144d
00001677: JUMPI
00001678: PUSH1 0x00
0000167a: PUSH2 0x1686
0000167d: DUP7
0000167e: PUSH3 0x0f4240
00001682: PUSH2 0x3604
00001685: JUMP
00001686: JUMPDEST
00001687: SWAP1
00001688: POP
00001689: PUSH1 0x00
0000168b: PUSH2 0x1694
0000168e: DUP5
0000168f: DUP4
00001690: PUSH2 0x34bf
00001693: JUMP
00001694: JUMPDEST
00001695: PUSH2 0x169f
00001698: SWAP1
00001699: PUSH1 0x01
0000169b: PUSH2 0x34bf
0000169e: JUMP
0000169f: JUMPDEST
000016a0: SWAP1
000016a1: POP
000016a2: PUSH1 0x00
000016a4: DUP7
000016a5: DUP7
000016a6: PUSH1 0x40
000016a8: ADD
000016a9: MLOAD
000016aa: PUSH2 0x16b3
000016ad: SWAP2
000016ae: SWAP1
000016af: PUSH2 0x3604
000016b2: JUMP
000016b3: JUMPDEST
000016b4: PUSH2 0x16bd
000016b7: SWAP1
000016b8: TIMESTAMP
000016b9: PUSH2 0x34bf
000016bc: JUMP
000016bd: JUMPDEST
000016be: SWAP1
000016bf: POP
000016c0: PUSH1 0x40
000016c2: MLOAD
000016c3: DUP1
000016c4: PUSH1 0x40
000016c6: ADD
000016c7: PUSH1 0x40
000016c9: MSTORE
000016ca: DUP1
000016cb: DUP10
000016cc: DUP2
000016cd: MSTORE
000016ce: PUSH1 0x20
000016d0: ADD
000016d1: DUP3
000016d2: DUP2
000016d3: MSTORE
000016d4: POP
000016d5: PUSH1 0x0c
000016d7: PUSH1 0x00
000016d9: DUP7
000016da: DUP6
000016db: PUSH2 0x16e4
000016de: SWAP2
000016df: SWAP1
000016e0: PUSH2 0x34bf
000016e3: JUMP
000016e4: JUMPDEST
000016e5: DUP2
000016e6: MSTORE
000016e7: PUSH1 0x20
000016e9: DUP1
000016ea: DUP3
000016eb: ADD
000016ec: SWAP3
000016ed: SWAP1
000016ee: SWAP3
000016ef: MSTORE
000016f0: PUSH1 0x40
000016f2: ADD
000016f3: PUSH1 0x00
000016f5: KECCAK256
000016f6: DUP3
000016f7: MLOAD
000016f8: DUP2
000016f9: SSTORE
000016fa: SWAP2
000016fb: ADD
000016fc: MLOAD
000016fd: PUSH1 0x01
000016ff: SWAP1
00001700: SWAP2
00001701: ADD
00001702: SSTORE
00001703: DUP9
00001704: MLOAD
00001705: PUSH2 0x1733
00001708: SWAP1
00001709: DUP11
0000170a: SWAP1
0000170b: DUP7
0000170c: SWAP1
0000170d: DUP2
0000170e: LT
0000170f: PUSH2 0x171a
00001712: JUMPI
00001713: PUSH2 0x171a
00001716: PUSH2 0x3591
00001719: JUMP
0000171a: JUMPDEST
0000171b: PUSH1 0x20
0000171d: MUL
0000171e: PUSH1 0x20
00001720: ADD
00001721: ADD
00001722: MLOAD
00001723: DUP6
00001724: DUP5
00001725: PUSH2 0x172e
00001728: SWAP2
00001729: SWAP1
0000172a: PUSH2 0x34bf
0000172d: JUMP
0000172e: JUMPDEST
0000172f: PUSH2 0x2386
00001732: JUMP
00001733: JUMPDEST
00001734: PUSH1 0x00
00001736: DUP9
00001737: DUP2
00001738: MSTORE
00001739: PUSH1 0x0d
0000173b: PUSH1 0x20
0000173d: MSTORE
0000173e: PUSH1 0x40
00001740: DUP2
00001741: KECCAK256
00001742: DUP1
00001743: SLOAD
00001744: PUSH1 0x01
00001746: SWAP3
00001747: SWAP1
00001748: PUSH2 0x1752
0000174b: SWAP1
0000174c: DUP5
0000174d: SWAP1
0000174e: PUSH2 0x34bf
00001751: JUMP
00001752: JUMPDEST
00001753: SWAP3
00001754: POP
00001755: POP
00001756: DUP2
00001757: SWAP1
00001758: SSTORE
00001759: POP
0000175a: POP
0000175b: POP
0000175c: POP
0000175d: DUP1
0000175e: DUP1
0000175f: PUSH2 0x1767
00001762: SWAP1
00001763: PUSH2 0x3576
00001766: JUMP
00001767: JUMPDEST
00001768: SWAP2
00001769: POP
0000176a: POP
0000176b: PUSH2 0x166e
0000176e: JUMP
0000176f: JUMPDEST
00001770: PUSH1 0x60
00001772: PUSH1 0x01
00001774: DUP1
00001775: SLOAD
00001776: PUSH2 0x07e7
00001779: SWAP1
0000177a: PUSH2 0x3441
0000177d: JUMP
0000177e: JUMPDEST
0000177f: PUSH1 0x40
00001781: DUP1
00001782: MLOAD
00001783: PUSH1 0x80
00001785: DUP2
00001786: ADD
00001787: DUP3
00001788: MSTORE
00001789: PUSH32 0x72c6bfb7988af3a1efa6568f02a999bc52252641c659d85961ca3d372b57d5cf
000017aa: SLOAD
000017ab: DUP2
000017ac: MSTORE
000017ad: PUSH32 0x72c6bfb7988af3a1efa6568f02a999bc52252641c659d85961ca3d372b57d5d0
000017ce: SLOAD
000017cf: PUSH1 0x20
000017d1: DUP1
000017d2: DUP4
000017d3: ADD
000017d4: SWAP2
000017d5: SWAP1
000017d6: SWAP2
000017d7: MSTORE
000017d8: PUSH32 0x72c6bfb7988af3a1efa6568f02a999bc52252641c659d85961ca3d372b57d5d1
000017f9: SLOAD
000017fa: DUP3
000017fb: DUP5
000017fc: ADD
000017fd: MSTORE
000017fe: PUSH32 0x72c6bfb7988af3a1efa6568f02a999bc52252641c659d85961ca3d372b57d5d2
0000181f: SLOAD
00001820: PUSH1 0x60
00001822: DUP1
00001823: DUP5
00001824: ADD
00001825: SWAP2
00001826: SWAP1
00001827: SWAP2
00001828: MSTORE
00001829: PUSH1 0x01
0000182b: PUSH1 0x00
0000182d: MSTORE
0000182e: PUSH1 0x0d
00001830: DUP3
00001831: MSTORE
00001832: PUSH1 0x00
00001834: DUP1
00001835: MLOAD
00001836: PUSH1 0x20
00001838: PUSH2 0x39ec
0000183b: DUP4
0000183c: CODECOPY
0000183d: DUP2
0000183e: MLOAD
0000183f: SWAP2
00001840: MSTORE
00001841: SLOAD
00001842: DUP5
00001843: MLOAD
00001844: CALLER
00001845: SWAP1
00001846: SWAP3
00001847: SHL
00001848: PUSH12 0xffffffffffffffffffffffff
00001855: NOT
00001856: AND
00001857: DUP3
00001858: DUP5
00001859: ADD
0000185a: MSTORE
0000185b: DUP5
0000185c: MLOAD
0000185d: PUSH1 0x14
0000185f: DUP2
00001860: DUP5
00001861: SUB
00001862: ADD
00001863: DUP2
00001864: MSTORE
00001865: PUSH1 0x34
00001867: DUP4
00001868: ADD
00001869: DUP1
0000186a: DUP8
0000186b: MSTORE
0000186c: DUP2
0000186d: MLOAD
0000186e: SWAP2
0000186f: DUP6
00001870: ADD
00001871: SWAP2
00001872: SWAP1
00001873: SWAP2
00001874: KECCAK256
00001875: PUSH1 0x54
00001877: SWAP5
00001878: DUP9
00001879: MUL
0000187a: DUP1
0000187b: DUP6
0000187c: ADD
0000187d: DUP7
0000187e: ADD
0000187f: SWAP1
00001880: SWAP8
00001881: MSTORE
00001882: DUP8
00001883: DUP3
00001884: MSTORE
00001885: SWAP5
00001886: SWAP6
00001887: SWAP2
00001888: SWAP5
00001889: SWAP4
0000188a: PUSH2 0x18b5
0000188d: SWAP4
0000188e: SWAP2
0000188f: SWAP3
00001890: DUP10
00001891: SWAP3
00001892: DUP10
00001893: SWAP3
00001894: DUP4
00001895: SWAP3
00001896: SWAP2
00001897: ADD
00001898: SWAP1
00001899: DUP5
0000189a: SWAP1
0000189b: DUP1
0000189c: DUP3
0000189d: DUP5
0000189e: CALLDATACOPY
0000189f: PUSH1 0x00
000018a1: SWAP3
000018a2: ADD
000018a3: SWAP2
000018a4: SWAP1
000018a5: SWAP2
000018a6: MSTORE
000018a7: POP
000018a8: POP
000018a9: PUSH1 0x10
000018ab: SLOAD
000018ac: SWAP2
000018ad: POP
000018ae: DUP5
000018af: SWAP1
000018b0: POP
000018b1: PUSH2 0x23f2
000018b4: JUMP
000018b5: JUMPDEST
000018b6: PUSH2 0x18f1
000018b9: JUMPI
000018ba: PUSH1 0x40
000018bc: MLOAD
000018bd: PUSH3 0x461bcd
000018c1: PUSH1 0xe5
000018c3: SHL
000018c4: DUP2
000018c5: MSTORE
000018c6: PUSH1 0x20
000018c8: PUSH1 0x04
000018ca: DUP3
000018cb: ADD
000018cc: MSTORE
000018cd: PUSH1 0x0d
000018cf: PUSH1 0x24
000018d1: DUP3
000018d2: ADD
000018d3: MSTORE
000018d4: PUSH13 0x24b73b30b634b210383937b7b3
000018e2: PUSH1 0x99
000018e4: SHL
000018e5: PUSH1 0x44
000018e7: DUP3
000018e8: ADD
000018e9: MSTORE
000018ea: PUSH1 0x64
000018ec: ADD
000018ed: PUSH2 0x08df
000018f0: JUMP
000018f1: JUMPDEST
000018f2: DUP2
000018f3: DUP4
000018f4: PUSH1 0x60
000018f6: ADD
000018f7: MLOAD
000018f8: GT
000018f9: PUSH2 0x1914
000018fc: JUMPI
000018fd: PUSH1 0x40
000018ff: MLOAD
00001900: PUSH3 0x461bcd
00001904: PUSH1 0xe5
00001906: SHL
00001907: DUP2
00001908: MSTORE
00001909: PUSH1 0x04
0000190b: ADD
0000190c: PUSH2 0x08df
0000190f: SWAP1
00001910: PUSH2 0x35a7
00001913: JUMP
00001914: JUMPDEST
00001915: DUP3
00001916: MLOAD
00001917: CALLVALUE
00001918: LT
00001919: ISZERO
0000191a: PUSH2 0x1935
0000191d: JUMPI
0000191e: PUSH1 0x40
00001920: MLOAD
00001921: PUSH3 0x461bcd
00001925: PUSH1 0xe5
00001927: SHL
00001928: DUP2
00001929: MSTORE
0000192a: PUSH1 0x04
0000192c: ADD
0000192d: PUSH2 0x08df
00001930: SWAP1
00001931: PUSH2 0x35cd
00001934: JUMP
00001935: JUMPDEST
00001936: PUSH3 0x0f4240
0000193a: PUSH1 0x00
0000193c: PUSH2 0x1945
0000193f: DUP5
00001940: DUP4
00001941: PUSH2 0x34bf
00001944: JUMP
00001945: JUMPDEST
00001946: PUSH2 0x1950
00001949: SWAP1
0000194a: PUSH1 0x01
0000194c: PUSH2 0x34bf
0000194f: JUMP
00001950: JUMPDEST
00001951: SWAP1
00001952: POP
00001953: PUSH1 0x00
00001955: DUP6
00001956: PUSH1 0x40
00001958: ADD
00001959: MLOAD
0000195a: PUSH1 0x02
0000195c: PUSH2 0x1965
0000195f: SWAP2
00001960: SWAP1
00001961: PUSH2 0x3604
00001964: JUMP
00001965: JUMPDEST
00001966: PUSH2 0x196f
00001969: SWAP1
0000196a: TIMESTAMP
0000196b: PUSH2 0x34bf
0000196e: JUMP
0000196f: JUMPDEST
00001970: PUSH1 0x40
00001972: DUP1
00001973: MLOAD
00001974: DUP1
00001975: DUP3
00001976: ADD
00001977: DUP3
00001978: MSTORE
00001979: PUSH1 0x01
0000197b: DUP1
0000197c: DUP3
0000197d: MSTORE
0000197e: PUSH1 0x20
00001980: DUP1
00001981: DUP4
00001982: ADD
00001983: DUP6
00001984: DUP2
00001985: MSTORE
00001986: PUSH1 0x00
00001988: DUP9
00001989: DUP2
0000198a: MSTORE
0000198b: PUSH1 0x0c
0000198d: SWAP1
0000198e: SWAP3
0000198f: MSTORE
00001990: SWAP4
00001991: SWAP1
00001992: KECCAK256
00001993: SWAP2
00001994: MLOAD
00001995: DUP3
00001996: SSTORE
00001997: SWAP2
00001998: MLOAD
00001999: SWAP2
0000199a: ADD
0000199b: SSTORE
0000199c: SWAP1
0000199d: POP
0000199e: PUSH2 0x19a7
000019a1: CALLER
000019a2: DUP4
000019a3: PUSH2 0x2386
000019a6: JUMP
000019a7: JUMPDEST
000019a8: PUSH1 0x01
000019aa: PUSH1 0x00
000019ac: DUP2
000019ad: DUP2
000019ae: MSTORE
000019af: PUSH1 0x0d
000019b1: PUSH1 0x20
000019b3: MSTORE
000019b4: PUSH1 0x00
000019b6: DUP1
000019b7: MLOAD
000019b8: PUSH1 0x20
000019ba: PUSH2 0x39ec
000019bd: DUP4
000019be: CODECOPY
000019bf: DUP2
000019c0: MLOAD
000019c1: SWAP2
000019c2: MSTORE
000019c3: DUP1
000019c4: SLOAD
000019c5: SWAP1
000019c6: SWAP2
000019c7: SWAP1
000019c8: PUSH2 0x19d2
000019cb: SWAP1
000019cc: DUP5
000019cd: SWAP1
000019ce: PUSH2 0x34bf
000019d1: JUMP
000019d2: JUMPDEST
000019d3: SWAP1
000019d4: SWAP2
000019d5: SSTORE
000019d6: POP
000019d7: POP
000019d8: POP
000019d9: POP
000019da: POP
000019db: POP
000019dc: POP
000019dd: POP
000019de: POP
000019df: POP
000019e0: JUMP
000019e1: JUMPDEST
000019e2: PUSH1 0x0a
000019e4: SLOAD
000019e5: PUSH1 0x01
000019e7: PUSH1 0x01
000019e9: PUSH1 0xa0
000019eb: SHL
000019ec: SUB
000019ed: AND
000019ee: CALLER
000019ef: EQ
000019f0: PUSH2 0x1a0b
000019f3: JUMPI
000019f4: PUSH1 0x40
000019f6: MLOAD
000019f7: PUSH3 0x461bcd
000019fb: PUSH1 0xe5
000019fd: SHL
000019fe: DUP2
000019ff: MSTORE
00001a00: PUSH1 0x04
00001a02: ADD
00001a03: PUSH2 0x08df
00001a06: SWAP1
00001a07: PUSH2 0x3541
00001a0a: JUMP
00001a0b: JUMPDEST
00001a0c: DUP1
00001a0d: MLOAD
00001a0e: PUSH2 0x0d7f
00001a11: SWAP1
00001a12: PUSH1 0x0f
00001a14: SWAP1
00001a15: PUSH1 0x20
00001a17: DUP5
00001a18: ADD
00001a19: SWAP1
00001a1a: PUSH2 0x2eb1
00001a1d: JUMP
00001a1e: JUMPDEST
00001a1f: PUSH2 0x0d7f
00001a22: CALLER
00001a23: DUP4
00001a24: DUP4
00001a25: PUSH2 0x2408
00001a28: JUMP
00001a29: JUMPDEST
00001a2a: PUSH1 0x0a
00001a2c: SLOAD
00001a2d: PUSH1 0x01
00001a2f: PUSH1 0x01
00001a31: PUSH1 0xa0
00001a33: SHL
00001a34: SUB
00001a35: AND
00001a36: CALLER
00001a37: EQ
00001a38: PUSH2 0x1a53
00001a3b: JUMPI
00001a3c: PUSH1 0x40
00001a3e: MLOAD
00001a3f: PUSH3 0x461bcd
00001a43: PUSH1 0xe5
00001a45: SHL
00001a46: DUP2
00001a47: MSTORE
00001a48: PUSH1 0x04
00001a4a: ADD
00001a4b: PUSH2 0x08df
00001a4e: SWAP1
00001a4f: PUSH2 0x3541
00001a52: JUMP
00001a53: JUMPDEST
00001a54: PUSH1 0x00
00001a56: DUP6
00001a57: DUP2
00001a58: MSTORE
00001a59: PUSH1 0x0b
00001a5b: PUSH1 0x20
00001a5d: MSTORE
00001a5e: PUSH1 0x40
00001a60: SWAP1
00001a61: KECCAK256
00001a62: PUSH1 0x02
00001a64: ADD
00001a65: SLOAD
00001a66: PUSH1 0x01
00001a68: GT
00001a69: PUSH2 0x1aaa
00001a6c: JUMPI
00001a6d: PUSH1 0x40
00001a6f: MLOAD
00001a70: PUSH3 0x461bcd
00001a74: PUSH1 0xe5
00001a76: SHL
00001a77: DUP2
00001a78: MSTORE
00001a79: PUSH1 0x20
00001a7b: PUSH1 0x04
00001a7d: DUP3
00001a7e: ADD
00001a7f: MSTORE
00001a80: PUSH1 0x13
00001a82: PUSH1 0x24
00001a84: DUP3
00001a85: ADD
00001a86: MSTORE
00001a87: PUSH19 0x506c616e20616c726561647920657869737473
00001a9b: PUSH1 0x68
00001a9d: SHL
00001a9e: PUSH1 0x44
00001aa0: DUP3
00001aa1: ADD
00001aa2: MSTORE
00001aa3: PUSH1 0x64
00001aa5: ADD
00001aa6: PUSH2 0x08df
00001aa9: JUMP
00001aaa: JUMPDEST
00001aab: PUSH1 0x40
00001aad: DUP1
00001aae: MLOAD
00001aaf: PUSH1 0x80
00001ab1: DUP2
00001ab2: ADD
00001ab3: DUP3
00001ab4: MSTORE
00001ab5: SWAP5
00001ab6: DUP6
00001ab7: MSTORE
00001ab8: PUSH1 0x20
00001aba: DUP1
00001abb: DUP7
00001abc: ADD
00001abd: SWAP5
00001abe: DUP6
00001abf: MSTORE
00001ac0: DUP6
00001ac1: DUP3
00001ac2: ADD
00001ac3: SWAP4
00001ac4: DUP5
00001ac5: MSTORE
00001ac6: PUSH1 0x60
00001ac8: DUP7
00001ac9: ADD
00001aca: SWAP3
00001acb: DUP4
00001acc: MSTORE
00001acd: PUSH1 0x00
00001acf: SWAP7
00001ad0: DUP8
00001ad1: MSTORE
00001ad2: PUSH1 0x0b
00001ad4: SWAP1
00001ad5: MSTORE
00001ad6: SWAP1
00001ad7: SWAP5
00001ad8: KECCAK256
00001ad9: SWAP3
00001ada: MLOAD
00001adb: DUP4
00001adc: SSTORE
00001add: SWAP1
00001ade: MLOAD
00001adf: PUSH1 0x01
00001ae1: DUP4
00001ae2: ADD
00001ae3: SSTORE
00001ae4: MLOAD
00001ae5: PUSH1 0x02
00001ae7: DUP3
00001ae8: ADD
00001ae9: SSTORE
00001aea: SWAP1
00001aeb: MLOAD
00001aec: PUSH1 0x03
00001aee: SWAP1
00001aef: SWAP2
00001af0: ADD
00001af1: SSTORE
00001af2: JUMP
00001af3: JUMPDEST
00001af4: PUSH2 0x1afd
00001af7: CALLER
00001af8: DUP4
00001af9: PUSH2 0x210c
00001afc: JUMP
00001afd: JUMPDEST
00001afe: PUSH2 0x1b19
00001b01: JUMPI
00001b02: PUSH1 0x40
00001b04: MLOAD
00001b05: PUSH3 0x461bcd
00001b09: PUSH1 0xe5
00001b0b: SHL
00001b0c: DUP2
00001b0d: MSTORE
00001b0e: PUSH1 0x04
00001b10: ADD
00001b11: PUSH2 0x08df
00001b14: SWAP1
00001b15: PUSH2 0x34d7
00001b18: JUMP
00001b19: JUMPDEST
00001b1a: PUSH2 0x0be5
00001b1d: DUP5
00001b1e: DUP5
00001b1f: DUP5
00001b20: DUP5
00001b21: PUSH2 0x24d7
00001b24: JUMP
00001b25: JUMPDEST
00001b26: PUSH1 0x0f
00001b28: DUP1
00001b29: SLOAD
00001b2a: PUSH2 0x1b32
00001b2d: SWAP1
00001b2e: PUSH2 0x3441
00001b31: JUMP
00001b32: JUMPDEST
00001b33: DUP1
00001b34: PUSH1 0x1f
00001b36: ADD
00001b37: PUSH1 0x20
00001b39: DUP1
00001b3a: SWAP2
00001b3b: DIV
00001b3c: MUL
00001b3d: PUSH1 0x20
00001b3f: ADD
00001b40: PUSH1 0x40
00001b42: MLOAD
00001b43: SWAP1
00001b44: DUP2
00001b45: ADD
00001b46: PUSH1 0x40
00001b48: MSTORE
00001b49: DUP1
00001b4a: SWAP3
00001b4b: SWAP2
00001b4c: SWAP1
00001b4d: DUP2
00001b4e: DUP2
00001b4f: MSTORE
00001b50: PUSH1 0x20
00001b52: ADD
00001b53: DUP3
00001b54: DUP1
00001b55: SLOAD
00001b56: PUSH2 0x1b5e
00001b59: SWAP1
00001b5a: PUSH2 0x3441
00001b5d: JUMP
00001b5e: JUMPDEST
00001b5f: DUP1
00001b60: ISZERO
00001b61: PUSH2 0x1bab
00001b64: JUMPI
00001b65: DUP1
00001b66: PUSH1 0x1f
00001b68: LT
00001b69: PUSH2 0x1b80
00001b6c: JUMPI
00001b6d: PUSH2 0x0100
00001b70: DUP1
00001b71: DUP4
00001b72: SLOAD
00001b73: DIV
00001b74: MUL
00001b75: DUP4
00001b76: MSTORE
00001b77: SWAP2
00001b78: PUSH1 0x20
00001b7a: ADD
00001b7b: SWAP2
00001b7c: PUSH2 0x1bab
00001b7f: JUMP
00001b80: JUMPDEST
00001b81: DUP3
00001b82: ADD
00001b83: SWAP2
00001b84: SWAP1
00001b85: PUSH1 0x00
00001b87: MSTORE
00001b88: PUSH1 0x20
00001b8a: PUSH1 0x00
00001b8c: KECCAK256
00001b8d: SWAP1
00001b8e: JUMPDEST
00001b8f: DUP2
00001b90: SLOAD
00001b91: DUP2
00001b92: MSTORE
00001b93: SWAP1
00001b94: PUSH1 0x01
00001b96: ADD
00001b97: SWAP1
00001b98: PUSH1 0x20
00001b9a: ADD
00001b9b: DUP1
00001b9c: DUP4
00001b9d: GT
00001b9e: PUSH2 0x1b8e
00001ba1: JUMPI
00001ba2: DUP3
00001ba3: SWAP1
00001ba4: SUB
00001ba5: PUSH1 0x1f
00001ba7: AND
00001ba8: DUP3
00001ba9: ADD
00001baa: SWAP2
00001bab: JUMPDEST
00001bac: POP
00001bad: POP
00001bae: POP
00001baf: POP
00001bb0: POP
00001bb1: DUP2
00001bb2: JUMP
00001bb3: JUMPDEST
00001bb4: PUSH1 0x00
00001bb6: DUP2
00001bb7: DUP2
00001bb8: MSTORE
00001bb9: PUSH1 0x02
00001bbb: PUSH1 0x20
00001bbd: MSTORE
00001bbe: PUSH1 0x40
00001bc0: SWAP1
00001bc1: KECCAK256
00001bc2: SLOAD
00001bc3: PUSH1 0x60
00001bc5: SWAP1
00001bc6: PUSH1 0x01
00001bc8: PUSH1 0x01
00001bca: PUSH1 0xa0
00001bcc: SHL
00001bcd: SUB
00001bce: AND
00001bcf: PUSH2 0x1c33
00001bd2: JUMPI
00001bd3: PUSH1 0x40
00001bd5: MLOAD
00001bd6: PUSH3 0x461bcd
00001bda: PUSH1 0xe5
00001bdc: SHL
00001bdd: DUP2
00001bde: MSTORE
00001bdf: PUSH1 0x20
00001be1: PUSH1 0x04
00001be3: DUP3
00001be4: ADD
00001be5: MSTORE
00001be6: PUSH1 0x30
00001be8: PUSH1 0x24
00001bea: DUP3
00001beb: ADD
00001bec: MSTORE
00001bed: PUSH32 0x4552433732314d657461646174613a2055524920717565727920666f72206e6f
00001c0e: PUSH1 0x44
00001c10: DUP3
00001c11: ADD
00001c12: MSTORE
00001c13: PUSH16 0x3732bc34b9ba32b73a103a37b5b2b717
00001c24: PUSH1 0x81
00001c26: SHL
00001c27: PUSH1 0x64
00001c29: DUP3
00001c2a: ADD
00001c2b: MSTORE
00001c2c: PUSH1 0x84
00001c2e: ADD
00001c2f: PUSH2 0x08df
00001c32: JUMP
00001c33: JUMPDEST
00001c34: PUSH1 0x00
00001c36: PUSH2 0x1c68
00001c39: PUSH2 0x1c41
00001c3c: DUP5
00001c3d: PUSH2 0x250a
00001c40: JUMP
00001c41: JUMPDEST
00001c42: PUSH1 0x0f
00001c44: PUSH1 0x40
00001c46: MLOAD
00001c47: PUSH1 0x20
00001c49: ADD
00001c4a: PUSH2 0x1c54
00001c4d: SWAP3
00001c4e: SWAP2
00001c4f: SWAP1
00001c50: PUSH2 0x3623
00001c53: JUMP
00001c54: JUMPDEST
00001c55: PUSH1 0x40
00001c57: MLOAD
00001c58: PUSH1 0x20
00001c5a: DUP2
00001c5b: DUP4
00001c5c: SUB
00001c5d: SUB
00001c5e: DUP2
00001c5f: MSTORE
00001c60: SWAP1
00001c61: PUSH1 0x40
00001c63: MSTORE
00001c64: PUSH2 0x267f
00001c67: JUMP
00001c68: JUMPDEST
00001c69: SWAP1
00001c6a: POP
00001c6b: DUP1
00001c6c: PUSH1 0x40
00001c6e: MLOAD
00001c6f: PUSH1 0x20
00001c71: ADD
00001c72: PUSH2 0x1c7b
00001c75: SWAP2
00001c76: SWAP1
00001c77: PUSH2 0x3785
00001c7a: JUMP
00001c7b: JUMPDEST
00001c7c: PUSH1 0x40
00001c7e: DUP1
00001c7f: MLOAD
00001c80: PUSH1 0x1f
00001c82: NOT
00001c83: DUP2
00001c84: DUP5
00001c85: SUB
00001c86: ADD
00001c87: DUP2
00001c88: MSTORE
00001c89: SWAP2
00001c8a: SWAP1
00001c8b: MSTORE
00001c8c: SWAP4
00001c8d: SWAP3
00001c8e: POP
00001c8f: POP
00001c90: POP
00001c91: JUMP
00001c92: JUMPDEST
00001c93: PUSH1 0x00
00001c95: DUP2
00001c96: DUP2
00001c97: MSTORE
00001c98: PUSH1 0x0b
00001c9a: PUSH1 0x20
00001c9c: SWAP1
00001c9d: DUP2
00001c9e: MSTORE
00001c9f: PUSH1 0x40
00001ca1: DUP1
00001ca2: DUP4
00001ca3: KECCAK256
00001ca4: DUP2
00001ca5: MLOAD
00001ca6: PUSH1 0x80
00001ca8: DUP2
00001ca9: ADD
00001caa: DUP4
00001cab: MSTORE
00001cac: DUP2
00001cad: SLOAD
00001cae: DUP2
00001caf: MSTORE
00001cb0: PUSH1 0x01
00001cb2: DUP3
00001cb3: ADD
00001cb4: SLOAD
00001cb5: DUP2
00001cb6: DUP6
00001cb7: ADD
00001cb8: MSTORE
00001cb9: PUSH1 0x02
00001cbb: DUP3
00001cbc: ADD
00001cbd: SLOAD
00001cbe: DUP2
00001cbf: DUP5
00001cc0: ADD
00001cc1: MSTORE
00001cc2: PUSH1 0x03
00001cc4: SWAP1
00001cc5: SWAP2
00001cc6: ADD
00001cc7: SLOAD
00001cc8: PUSH1 0x60
00001cca: DUP3
00001ccb: ADD
00001ccc: MSTORE
00001ccd: DUP5
00001cce: DUP5
00001ccf: MSTORE
00001cd0: PUSH1 0x0d
00001cd2: SWAP1
00001cd3: SWAP3
00001cd4: MSTORE
00001cd5: DUP3
00001cd6: KECCAK256
00001cd7: SLOAD
00001cd8: SWAP1
00001cd9: SWAP2
00001cda: POP
00001cdb: PUSH1 0x00
00001cdd: DUP3
00001cde: PUSH1 0x40
00001ce0: ADD
00001ce1: MLOAD
00001ce2: GT
00001ce3: PUSH2 0x1cfe
00001ce6: JUMPI
00001ce7: PUSH1 0x40
00001ce9: MLOAD
00001cea: PUSH3 0x461bcd
00001cee: PUSH1 0xe5
00001cf0: SHL
00001cf1: DUP2
00001cf2: MSTORE
00001cf3: PUSH1 0x04
00001cf5: ADD
00001cf6: PUSH2 0x08df
00001cf9: SWAP1
00001cfa: PUSH2 0x347c
00001cfd: JUMP
00001cfe: JUMPDEST
00001cff: DUP1
00001d00: DUP3
00001d01: PUSH1 0x60
00001d03: ADD
00001d04: MLOAD
00001d05: GT
00001d06: PUSH2 0x1d21
00001d09: JUMPI
00001d0a: PUSH1 0x40
00001d0c: MLOAD
00001d0d: PUSH3 0x461bcd
00001d11: PUSH1 0xe5
00001d13: SHL
00001d14: DUP2
00001d15: MSTORE
00001d16: PUSH1 0x04
00001d18: ADD
00001d19: PUSH2 0x08df
00001d1c: SWAP1
00001d1d: PUSH2 0x35a7
00001d20: JUMP
00001d21: JUMPDEST
00001d22: PUSH1 0x0a
00001d24: SLOAD
00001d25: PUSH1 0x01
00001d27: PUSH1 0x01
00001d29: PUSH1 0xa0
00001d2b: SHL
00001d2c: SUB
00001d2d: AND
00001d2e: CALLER
00001d2f: EQ
00001d30: PUSH2 0x1d54
00001d33: JUMPI
00001d34: DUP2
00001d35: MLOAD
00001d36: CALLVALUE
00001d37: LT
00001d38: ISZERO
00001d39: PUSH2 0x1d54
00001d3c: JUMPI
00001d3d: PUSH1 0x40
00001d3f: MLOAD
00001d40: PUSH3 0x461bcd
00001d44: PUSH1 0xe5
00001d46: SHL
00001d47: DUP2
00001d48: MSTORE
00001d49: PUSH1 0x04
00001d4b: ADD
00001d4c: PUSH2 0x08df
00001d4f: SWAP1
00001d50: PUSH2 0x35cd
00001d53: JUMP
00001d54: JUMPDEST
00001d55: PUSH1 0x12
00001d57: SLOAD
00001d58: PUSH1 0x01
00001d5a: PUSH1 0xa8
00001d5c: SHL
00001d5d: SWAP1
00001d5e: DIV
00001d5f: PUSH1 0xff
00001d61: AND
00001d62: ISZERO
00001d63: PUSH2 0x1da1
00001d66: JUMPI
00001d67: PUSH1 0x40
00001d69: MLOAD
00001d6a: PUSH3 0x461bcd
00001d6e: PUSH1 0xe5
00001d70: SHL
00001d71: DUP2
00001d72: MSTORE
00001d73: PUSH1 0x20
00001d75: PUSH1 0x04
00001d77: DUP3
00001d78: ADD
00001d79: MSTORE
00001d7a: PUSH1 0x10
00001d7c: PUSH1 0x24
00001d7e: DUP3
00001d7f: ADD
00001d80: MSTORE
00001d81: PUSH16 0x14d85b195cc8185c99481c185d5cd959
00001d92: PUSH1 0x82
00001d94: SHL
00001d95: PUSH1 0x44
00001d97: DUP3
00001d98: ADD
00001d99: MSTORE
00001d9a: PUSH1 0x64
00001d9c: ADD
00001d9d: PUSH2 0x08df
00001da0: JUMP
00001da1: JUMPDEST
00001da2: PUSH1 0x00
00001da4: PUSH2 0x1db0
00001da7: DUP5
00001da8: PUSH3 0x0f4240
00001dac: PUSH2 0x3604
00001daf: JUMP
00001db0: JUMPDEST
00001db1: SWAP1
00001db2: POP
00001db3: PUSH1 0x00
00001db5: PUSH2 0x1dbe
00001db8: DUP4
00001db9: DUP4
00001dba: PUSH2 0x34bf
00001dbd: JUMP
00001dbe: JUMPDEST
00001dbf: PUSH2 0x1dc9
00001dc2: SWAP1
00001dc3: PUSH1 0x01
00001dc5: PUSH2 0x34bf
00001dc8: JUMP
00001dc9: JUMPDEST
00001dca: SWAP1
00001dcb: POP
00001dcc: PUSH1 0x00
00001dce: DUP5
00001dcf: PUSH1 0x40
00001dd1: ADD
00001dd2: MLOAD
00001dd3: TIMESTAMP
00001dd4: PUSH2 0x1ddd
00001dd7: SWAP2
00001dd8: SWAP1
00001dd9: PUSH2 0x34bf
00001ddc: JUMP
00001ddd: JUMPDEST
00001dde: PUSH1 0x40
00001de0: DUP1
00001de1: MLOAD
00001de2: DUP1
00001de3: DUP3
00001de4: ADD
00001de5: DUP3
00001de6: MSTORE
00001de7: DUP9
00001de8: DUP2
00001de9: MSTORE
00001dea: PUSH1 0x20
00001dec: DUP1
00001ded: DUP3
00001dee: ADD
00001def: DUP5
00001df0: DUP2
00001df1: MSTORE
00001df2: PUSH1 0x00
00001df4: DUP8
00001df5: DUP2
00001df6: MSTORE
00001df7: PUSH1 0x0c
00001df9: SWAP1
00001dfa: SWAP3
00001dfb: MSTORE
00001dfc: SWAP3
00001dfd: SWAP1
00001dfe: KECCAK256
00001dff: SWAP1
00001e00: MLOAD
00001e01: DUP2
00001e02: SSTORE
00001e03: SWAP1
00001e04: MLOAD
00001e05: PUSH1 0x01
00001e07: SWAP1
00001e08: SWAP2
00001e09: ADD
00001e0a: SSTORE
00001e0b: SWAP1
00001e0c: POP
00001e0d: PUSH2 0x1e16
00001e10: CALLER
00001e11: DUP4
00001e12: PUSH2 0x2386
00001e15: JUMP
00001e16: JUMPDEST
00001e17: PUSH1 0x00
00001e19: DUP7
00001e1a: DUP2
00001e1b: MSTORE
00001e1c: PUSH1 0x0d
00001e1e: PUSH1 0x20
00001e20: MSTORE
00001e21: PUSH1 0x40
00001e23: DUP2
00001e24: KECCAK256
00001e25: DUP1
00001e26: SLOAD
00001e27: PUSH1 0x01
00001e29: SWAP3
00001e2a: SWAP1
00001e2b: PUSH2 0x1e35
00001e2e: SWAP1
00001e2f: DUP5
00001e30: SWAP1
00001e31: PUSH2 0x34bf
00001e34: JUMP
00001e35: JUMPDEST
00001e36: SWAP1
00001e37: SWAP2
00001e38: SSTORE
00001e39: POP
00001e3a: POP
00001e3b: POP
00001e3c: POP
00001e3d: POP
00001e3e: POP
00001e3f: POP
00001e40: POP
00001e41: JUMP
00001e42: JUMPDEST
00001e43: PUSH1 0x0a
00001e45: SLOAD
00001e46: PUSH1 0x01
00001e48: PUSH1 0x01
00001e4a: PUSH1 0xa0
00001e4c: SHL
00001e4d: SUB
00001e4e: AND
00001e4f: CALLER
00001e50: EQ
00001e51: PUSH2 0x1e6c
00001e54: JUMPI
00001e55: PUSH1 0x40
00001e57: MLOAD
00001e58: PUSH3 0x461bcd
00001e5c: PUSH1 0xe5
00001e5e: SHL
00001e5f: DUP2
00001e60: MSTORE
00001e61: PUSH1 0x04
00001e63: ADD
00001e64: PUSH2 0x08df
00001e67: SWAP1
00001e68: PUSH2 0x3541
00001e6b: JUMP
00001e6c: JUMPDEST
00001e6d: PUSH1 0x12
00001e6f: DUP1
00001e70: SLOAD
00001e71: SWAP2
00001e72: ISZERO
00001e73: ISZERO
00001e74: PUSH1 0x01
00001e76: PUSH1 0xa0
00001e78: SHL
00001e79: MUL
00001e7a: PUSH1 0xff
00001e7c: PUSH1 0xa0
00001e7e: SHL
00001e7f: NOT
00001e80: SWAP1
00001e81: SWAP3
00001e82: AND
00001e83: SWAP2
00001e84: SWAP1
00001e85: SWAP2
00001e86: OR
00001e87: SWAP1
00001e88: SSTORE
00001e89: JUMP
00001e8a: JUMPDEST
00001e8b: PUSH1 0x0a
00001e8d: SLOAD
00001e8e: PUSH1 0x01
00001e90: PUSH1 0x01
00001e92: PUSH1 0xa0
00001e94: SHL
00001e95: SUB
00001e96: AND
00001e97: CALLER
00001e98: EQ
00001e99: PUSH2 0x1eb4
00001e9c: JUMPI
00001e9d: PUSH1 0x40
00001e9f: MLOAD
00001ea0: PUSH3 0x461bcd
00001ea4: PUSH1 0xe5
00001ea6: SHL
00001ea7: DUP2
00001ea8: MSTORE
00001ea9: PUSH1 0x04
00001eab: ADD
00001eac: PUSH2 0x08df
00001eaf: SWAP1
00001eb0: PUSH2 0x3541
00001eb3: JUMP
00001eb4: JUMPDEST
00001eb5: PUSH1 0x11
00001eb7: DUP1
00001eb8: SLOAD
00001eb9: SWAP2
00001eba: ISZERO
00001ebb: ISZERO
00001ebc: PUSH1 0x01
00001ebe: PUSH1 0xa0
00001ec0: SHL
00001ec1: MUL
00001ec2: PUSH1 0xff
00001ec4: PUSH1 0xa0
00001ec6: SHL
00001ec7: NOT
00001ec8: SWAP1
00001ec9: SWAP3
00001eca: AND
00001ecb: SWAP2
00001ecc: SWAP1
00001ecd: SWAP2
00001ece: OR
00001ecf: SWAP1
00001ed0: SSTORE
00001ed1: JUMP
00001ed2: JUMPDEST
00001ed3: PUSH1 0x0a
00001ed5: SLOAD
00001ed6: PUSH1 0x01
00001ed8: PUSH1 0x01
00001eda: PUSH1 0xa0
00001edc: SHL
00001edd: SUB
00001ede: AND
00001edf: CALLER
00001ee0: EQ
00001ee1: PUSH2 0x1efc
00001ee4: JUMPI
00001ee5: PUSH1 0x40
00001ee7: MLOAD
00001ee8: PUSH3 0x461bcd
00001eec: PUSH1 0xe5
00001eee: SHL
00001eef: DUP2
00001ef0: MSTORE
00001ef1: PUSH1 0x04
00001ef3: ADD
00001ef4: PUSH2 0x08df
00001ef7: SWAP1
00001ef8: PUSH2 0x3541
00001efb: JUMP
00001efc: JUMPDEST
00001efd: PUSH1 0x10
00001eff: SSTORE
00001f00: JUMP
00001f01: JUMPDEST
00001f02: PUSH1 0x11
00001f04: SLOAD
00001f05: PUSH1 0x00
00001f07: SWAP1
00001f08: PUSH1 0x01
00001f0a: PUSH1 0x01
00001f0c: PUSH1 0xa0
00001f0e: SHL
00001f0f: SUB
00001f10: DUP2
00001f11: AND
00001f12: SWAP1
00001f13: PUSH1 0x01
00001f15: PUSH1 0xa0
00001f17: SHL
00001f18: SWAP1
00001f19: DIV
00001f1a: PUSH1 0xff
00001f1c: AND
00001f1d: DUP1
00001f1e: ISZERO
00001f1f: PUSH2 0x1f9d
00001f22: JUMPI
00001f23: POP
00001f24: PUSH1 0x40
00001f26: MLOAD
00001f27: PUSH4 0xc4552791
00001f2c: PUSH1 0xe0
00001f2e: SHL
00001f2f: DUP2
00001f30: MSTORE
00001f31: PUSH1 0x01
00001f33: PUSH1 0x01
00001f35: PUSH1 0xa0
00001f37: SHL
00001f38: SUB
00001f39: DUP6
00001f3a: DUP2
00001f3b: AND
00001f3c: PUSH1 0x04
00001f3e: DUP4
00001f3f: ADD
00001f40: MSTORE
00001f41: DUP1
00001f42: DUP6
00001f43: AND
00001f44: SWAP2
00001f45: SWAP1
00001f46: DUP4
00001f47: AND
00001f48: SWAP1
00001f49: PUSH4 0xc4552791
00001f4e: SWAP1
00001f4f: PUSH1 0x24
00001f51: ADD
00001f52: PUSH1 0x20
00001f54: PUSH1 0x40
00001f56: MLOAD
00001f57: DUP1
00001f58: DUP4
00001f59: SUB
00001f5a: DUP2
00001f5b: DUP7
00001f5c: GAS
00001f5d: STATICCALL
00001f5e: ISZERO
00001f5f: DUP1
00001f60: ISZERO
00001f61: PUSH2 0x1f6e
00001f64: JUMPI
00001f65: RETURNDATASIZE
00001f66: PUSH1 0x00
00001f68: DUP1
00001f69: RETURNDATACOPY
00001f6a: RETURNDATASIZE
00001f6b: PUSH1 0x00
00001f6d: REVERT
00001f6e: JUMPDEST
00001f6f: POP
00001f70: POP
00001f71: POP
00001f72: POP
00001f73: PUSH1 0x40
00001f75: MLOAD
00001f76: RETURNDATASIZE
00001f77: PUSH1 0x1f
00001f79: NOT
00001f7a: PUSH1 0x1f
00001f7c: DUP3
00001f7d: ADD
00001f7e: AND
00001f7f: DUP3
00001f80: ADD
00001f81: DUP1
00001f82: PUSH1 0x40
00001f84: MSTORE
00001f85: POP
00001f86: DUP2
00001f87: ADD
00001f88: SWAP1
00001f89: PUSH2 0x1f92
00001f8c: SWAP2
00001f8d: SWAP1
00001f8e: PUSH2 0x37ca
00001f91: JUMP
00001f92: JUMPDEST
00001f93: PUSH1 0x01
00001f95: PUSH1 0x01
00001f97: PUSH1 0xa0
00001f99: SHL
00001f9a: SUB
00001f9b: AND
00001f9c: EQ
00001f9d: JUMPDEST
00001f9e: ISZERO
00001f9f: PUSH2 0x1fac
00001fa2: JUMPI
00001fa3: PUSH1 0x01
00001fa5: SWAP2
00001fa6: POP
00001fa7: POP
00001fa8: PUSH2 0x07d2
00001fab: JUMP
00001fac: JUMPDEST
00001fad: PUSH1 0x01
00001faf: PUSH1 0x01
00001fb1: PUSH1 0xa0
00001fb3: SHL
00001fb4: SUB
00001fb5: DUP1
00001fb6: DUP6
00001fb7: AND
00001fb8: PUSH1 0x00
00001fba: SWAP1
00001fbb: DUP2
00001fbc: MSTORE
00001fbd: PUSH1 0x05
00001fbf: PUSH1 0x20
00001fc1: SWAP1
00001fc2: DUP2
00001fc3: MSTORE
00001fc4: PUSH1 0x40
00001fc6: DUP1
00001fc7: DUP4
00001fc8: KECCAK256
00001fc9: SWAP4
00001fca: DUP8
00001fcb: AND
00001fcc: DUP4
00001fcd: MSTORE
00001fce: SWAP3
00001fcf: SWAP1
00001fd0: MSTORE
00001fd1: KECCAK256
00001fd2: SLOAD
00001fd3: PUSH1 0xff
00001fd5: AND
00001fd6: JUMPDEST
00001fd7: SWAP5
00001fd8: SWAP4
00001fd9: POP
00001fda: POP
00001fdb: POP
00001fdc: POP
00001fdd: JUMP
00001fde: JUMPDEST
00001fdf: PUSH1 0x0a
00001fe1: SLOAD
00001fe2: PUSH1 0x01
00001fe4: PUSH1 0x01
00001fe6: PUSH1 0xa0
00001fe8: SHL
00001fe9: SUB
00001fea: AND
00001feb: CALLER
00001fec: EQ
00001fed: PUSH2 0x2008
00001ff0: JUMPI
00001ff1: PUSH1 0x40
00001ff3: MLOAD
00001ff4: PUSH3 0x461bcd
00001ff8: PUSH1 0xe5
00001ffa: SHL
00001ffb: DUP2
00001ffc: MSTORE
00001ffd: PUSH1 0x04
00001fff: ADD
00002000: PUSH2 0x08df
00002003: SWAP1
00002004: PUSH2 0x3541
00002007: JUMP
00002008: JUMPDEST
00002009: PUSH1 0x01
0000200b: PUSH1 0x01
0000200d: PUSH1 0xa0
0000200f: SHL
00002010: SUB
00002011: DUP2
00002012: AND
00002013: PUSH2 0x206d
00002016: JUMPI
00002017: PUSH1 0x40
00002019: MLOAD
0000201a: PUSH3 0x461bcd
0000201e: PUSH1 0xe5
00002020: SHL
00002021: DUP2
00002022: MSTORE
00002023: PUSH1 0x20
00002025: PUSH1 0x04
00002027: DUP3
00002028: ADD
00002029: MSTORE
0000202a: PUSH1 0x26
0000202c: PUSH1 0x24
0000202e: DUP3
0000202f: ADD
00002030: MSTORE
00002031: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00002052: PUSH1 0x44
00002054: DUP3
00002055: ADD
00002056: MSTORE
00002057: PUSH6 0x646472657373
0000205e: PUSH1 0xd0
00002060: SHL
00002061: PUSH1 0x64
00002063: DUP3
00002064: ADD
00002065: MSTORE
00002066: PUSH1 0x84
00002068: ADD
00002069: PUSH2 0x08df
0000206c: JUMP
0000206d: JUMPDEST
0000206e: PUSH2 0x2076
00002071: DUP2
00002072: PUSH2 0x23a0
00002075: JUMP
00002076: JUMPDEST
00002077: POP
00002078: JUMP
00002079: JUMPDEST
0000207a: PUSH1 0x00
0000207c: PUSH1 0x01
0000207e: PUSH1 0x01
00002080: PUSH1 0xe0
00002082: SHL
00002083: SUB
00002084: NOT
00002085: DUP3
00002086: AND
00002087: PUSH4 0x780e9d63
0000208c: PUSH1 0xe0
0000208e: SHL
0000208f: EQ
00002090: DUP1
00002091: PUSH2 0x07d2
00002094: JUMPI
00002095: POP
00002096: PUSH2 0x07d2
00002099: DUP3
0000209a: PUSH2 0x27e5
0000209d: JUMP
0000209e: JUMPDEST
0000209f: PUSH1 0x00
000020a1: DUP2
000020a2: DUP2
000020a3: MSTORE
000020a4: PUSH1 0x04
000020a6: PUSH1 0x20
000020a8: MSTORE
000020a9: PUSH1 0x40
000020ab: SWAP1
000020ac: KECCAK256
000020ad: DUP1
000020ae: SLOAD
000020af: PUSH1 0x01
000020b1: PUSH1 0x01
000020b3: PUSH1 0xa0
000020b5: SHL
000020b6: SUB
000020b7: NOT
000020b8: AND
000020b9: PUSH1 0x01
000020bb: PUSH1 0x01
000020bd: PUSH1 0xa0
000020bf: SHL
000020c0: SUB
000020c1: DUP5
000020c2: AND
000020c3: SWAP1
000020c4: DUP2
000020c5: OR
000020c6: SWAP1
000020c7: SWAP2
000020c8: SSTORE
000020c9: DUP2
000020ca: SWAP1
000020cb: PUSH2 0x20d3
000020ce: DUP3
000020cf: PUSH2 0x1303
000020d2: JUMP
000020d3: JUMPDEST
000020d4: PUSH1 0x01
000020d6: PUSH1 0x01
000020d8: PUSH1 0xa0
000020da: SHL
000020db: SUB
000020dc: AND
000020dd: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000020fe: PUSH1 0x40
00002100: MLOAD
00002101: PUSH1 0x40
00002103: MLOAD
00002104: DUP1
00002105: SWAP2
00002106: SUB
00002107: SWAP1
00002108: LOG4
00002109: POP
0000210a: POP
0000210b: JUMP
0000210c: JUMPDEST
0000210d: PUSH1 0x00
0000210f: DUP2
00002110: DUP2
00002111: MSTORE
00002112: PUSH1 0x02
00002114: PUSH1 0x20
00002116: MSTORE
00002117: PUSH1 0x40
00002119: DUP2
0000211a: KECCAK256
0000211b: SLOAD
0000211c: PUSH1 0x01
0000211e: PUSH1 0x01
00002120: PUSH1 0xa0
00002122: SHL
00002123: SUB
00002124: AND
00002125: PUSH2 0x2185
00002128: JUMPI
00002129: PUSH1 0x40
0000212b: MLOAD
0000212c: PUSH3 0x461bcd
00002130: PUSH1 0xe5
00002132: SHL
00002133: DUP2
00002134: MSTORE
00002135: PUSH1 0x20
00002137: PUSH1 0x04
00002139: DUP3
0000213a: ADD
0000213b: MSTORE
0000213c: PUSH1 0x2c
0000213e: PUSH1 0x24
00002140: DUP3
00002141: ADD
00002142: MSTORE
00002143: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578
00002164: PUSH1 0x44
00002166: DUP3
00002167: ADD
00002168: MSTORE
00002169: PUSH12 0x34b9ba32b73a103a37b5b2b7
00002176: PUSH1 0xa1
00002178: SHL
00002179: PUSH1 0x64
0000217b: DUP3
0000217c: ADD
0000217d: MSTORE
0000217e: PUSH1 0x84
00002180: ADD
00002181: PUSH2 0x08df
00002184: JUMP
00002185: JUMPDEST
00002186: PUSH1 0x00
00002188: PUSH2 0x2190
0000218b: DUP4
0000218c: PUSH2 0x1303
0000218f: JUMP
00002190: JUMPDEST
00002191: SWAP1
00002192: POP
00002193: DUP1
00002194: PUSH1 0x01
00002196: PUSH1 0x01
00002198: PUSH1 0xa0
0000219a: SHL
0000219b: SUB
0000219c: AND
0000219d: DUP5
0000219e: PUSH1 0x01
000021a0: PUSH1 0x01
000021a2: PUSH1 0xa0
000021a4: SHL
000021a5: SUB
000021a6: AND
000021a7: EQ
000021a8: DUP1
000021a9: PUSH2 0x21cb
000021ac: JUMPI
000021ad: POP
000021ae: DUP4
000021af: PUSH1 0x01
000021b1: PUSH1 0x01
000021b3: PUSH1 0xa0
000021b5: SHL
000021b6: SUB
000021b7: AND
000021b8: PUSH2 0x21c0
000021bb: DUP5
000021bc: PUSH2 0x086a
000021bf: JUMP
000021c0: JUMPDEST
000021c1: PUSH1 0x01
000021c3: PUSH1 0x01
000021c5: PUSH1 0xa0
000021c7: SHL
000021c8: SUB
000021c9: AND
000021ca: EQ
000021cb: JUMPDEST
000021cc: DUP1
000021cd: PUSH2 0x1fd6
000021d0: JUMPI
000021d1: POP
000021d2: PUSH2 0x1fd6
000021d5: DUP2
000021d6: DUP6
000021d7: PUSH2 0x1f01
000021da: JUMP
000021db: JUMPDEST
000021dc: DUP3
000021dd: PUSH1 0x01
000021df: PUSH1 0x01
000021e1: PUSH1 0xa0
000021e3: SHL
000021e4: SUB
000021e5: AND
000021e6: PUSH2 0x21ee
000021e9: DUP3
000021ea: PUSH2 0x1303
000021ed: JUMP
000021ee: JUMPDEST
000021ef: PUSH1 0x01
000021f1: PUSH1 0x01
000021f3: PUSH1 0xa0
000021f5: SHL
000021f6: SUB
000021f7: AND
000021f8: EQ
000021f9: PUSH2 0x2256
000021fc: JUMPI
000021fd: PUSH1 0x40
000021ff: MLOAD
00002200: PUSH3 0x461bcd
00002204: PUSH1 0xe5
00002206: SHL
00002207: DUP2
00002208: MSTORE
00002209: PUSH1 0x20
0000220b: PUSH1 0x04
0000220d: DUP3
0000220e: ADD
0000220f: MSTORE
00002210: PUSH1 0x29
00002212: PUSH1 0x24
00002214: DUP3
00002215: ADD
00002216: MSTORE
00002217: PUSH32 0x4552433732313a207472616e73666572206f6620746f6b656e20746861742069
00002238: PUSH1 0x44
0000223a: DUP3
0000223b: ADD
0000223c: MSTORE
0000223d: PUSH9 0x39903737ba1037bbb7
00002247: PUSH1 0xb9
00002249: SHL
0000224a: PUSH1 0x64
0000224c: DUP3
0000224d: ADD
0000224e: MSTORE
0000224f: PUSH1 0x84
00002251: ADD
00002252: PUSH2 0x08df
00002255: JUMP
00002256: JUMPDEST
00002257: PUSH1 0x01
00002259: PUSH1 0x01
0000225b: PUSH1 0xa0
0000225d: SHL
0000225e: SUB
0000225f: DUP3
00002260: AND
00002261: PUSH2 0x22b8
00002264: JUMPI
00002265: PUSH1 0x40
00002267: MLOAD
00002268: PUSH3 0x461bcd
0000226c: PUSH1 0xe5
0000226e: SHL
0000226f: DUP2
00002270: MSTORE
00002271: PUSH1 0x20
00002273: PUSH1 0x04
00002275: DUP3
00002276: ADD
00002277: MSTORE
00002278: PUSH1 0x24
0000227a: DUP1
0000227b: DUP3
0000227c: ADD
0000227d: MSTORE
0000227e: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
0000229f: PUSH1 0x44
000022a1: DUP3
000022a2: ADD
000022a3: MSTORE
000022a4: PUSH4 0x72657373
000022a9: PUSH1 0xe0
000022ab: SHL
000022ac: PUSH1 0x64
000022ae: DUP3
000022af: ADD
000022b0: MSTORE
000022b1: PUSH1 0x84
000022b3: ADD
000022b4: PUSH2 0x08df
000022b7: JUMP
000022b8: JUMPDEST
000022b9: PUSH2 0x22c3
000022bc: DUP4
000022bd: DUP4
000022be: DUP4
000022bf: PUSH2 0x2835
000022c2: JUMP
000022c3: JUMPDEST
000022c4: PUSH2 0x22ce
000022c7: PUSH1 0x00
000022c9: DUP3
000022ca: PUSH2 0x209e
000022cd: JUMP
000022ce: JUMPDEST
000022cf: PUSH1 0x01
000022d1: PUSH1 0x01
000022d3: PUSH1 0xa0
000022d5: SHL
000022d6: SUB
000022d7: DUP4
000022d8: AND
000022d9: PUSH1 0x00
000022db: SWAP1
000022dc: DUP2
000022dd: MSTORE
000022de: PUSH1 0x03
000022e0: PUSH1 0x20
000022e2: MSTORE
000022e3: PUSH1 0x40
000022e5: DUP2
000022e6: KECCAK256
000022e7: DUP1
000022e8: SLOAD
000022e9: PUSH1 0x01
000022eb: SWAP3
000022ec: SWAP1
000022ed: PUSH2 0x22f7
000022f0: SWAP1
000022f1: DUP5
000022f2: SWAP1
000022f3: PUSH2 0x37e7
000022f6: JUMP
000022f7: JUMPDEST
000022f8: SWAP1
000022f9: SWAP2
000022fa: SSTORE
000022fb: POP
000022fc: POP
000022fd: PUSH1 0x01
000022ff: PUSH1 0x01
00002301: PUSH1 0xa0
00002303: SHL
00002304: SUB
00002305: DUP3
00002306: AND
00002307: PUSH1 0x00
00002309: SWAP1
0000230a: DUP2
0000230b: MSTORE
0000230c: PUSH1 0x03
0000230e: PUSH1 0x20
00002310: MSTORE
00002311: PUSH1 0x40
00002313: DUP2
00002314: KECCAK256
00002315: DUP1
00002316: SLOAD
00002317: PUSH1 0x01
00002319: SWAP3
0000231a: SWAP1
0000231b: PUSH2 0x2325
0000231e: SWAP1
0000231f: DUP5
00002320: SWAP1
00002321: PUSH2 0x34bf
00002324: JUMP
00002325: JUMPDEST
00002326: SWAP1
00002327: SWAP2
00002328: SSTORE
00002329: POP
0000232a: POP
0000232b: PUSH1 0x00
0000232d: DUP2
0000232e: DUP2
0000232f: MSTORE
00002330: PUSH1 0x02
00002332: PUSH1 0x20
00002334: MSTORE
00002335: PUSH1 0x40
00002337: DUP1
00002338: DUP3
00002339: KECCAK256
0000233a: DUP1
0000233b: SLOAD
0000233c: PUSH1 0x01
0000233e: PUSH1 0x01
00002340: PUSH1 0xa0
00002342: SHL
00002343: SUB
00002344: NOT
00002345: AND
00002346: PUSH1 0x01
00002348: PUSH1 0x01
0000234a: PUSH1 0xa0
0000234c: SHL
0000234d: SUB
0000234e: DUP7
0000234f: DUP2
00002350: AND
00002351: SWAP2
00002352: DUP3
00002353: OR
00002354: SWAP1
00002355: SWAP3
00002356: SSTORE
00002357: SWAP2
00002358: MLOAD
00002359: DUP5
0000235a: SWAP4
0000235b: SWAP2
0000235c: DUP8
0000235d: AND
0000235e: SWAP2
0000235f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002380: SWAP2
00002381: LOG4
00002382: POP
00002383: POP
00002384: POP
00002385: JUMP
00002386: JUMPDEST
00002387: PUSH2 0x0d7f
0000238a: DUP3
0000238b: DUP3
0000238c: PUSH1 0x40
0000238e: MLOAD
0000238f: DUP1
00002390: PUSH1 0x20
00002392: ADD
00002393: PUSH1 0x40
00002395: MSTORE
00002396: DUP1
00002397: PUSH1 0x00
00002399: DUP2
0000239a: MSTORE
0000239b: POP
0000239c: PUSH2 0x2840
0000239f: JUMP
000023a0: JUMPDEST
000023a1: PUSH1 0x0a
000023a3: DUP1
000023a4: SLOAD
000023a5: PUSH1 0x01
000023a7: PUSH1 0x01
000023a9: PUSH1 0xa0
000023ab: SHL
000023ac: SUB
000023ad: DUP4
000023ae: DUP2
000023af: AND
000023b0: PUSH1 0x01
000023b2: PUSH1 0x01
000023b4: PUSH1 0xa0
000023b6: SHL
000023b7: SUB
000023b8: NOT
000023b9: DUP4
000023ba: AND
000023bb: DUP2
000023bc: OR
000023bd: SWAP1
000023be: SWAP4
000023bf: SSTORE
000023c0: PUSH1 0x40
000023c2: MLOAD
000023c3: SWAP2
000023c4: AND
000023c5: SWAP2
000023c6: SWAP1
000023c7: DUP3
000023c8: SWAP1
000023c9: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000023ea: SWAP1
000023eb: PUSH1 0x00
000023ed: SWAP1
000023ee: LOG3
000023ef: POP
000023f0: POP
000023f1: JUMP
000023f2: JUMPDEST
000023f3: PUSH1 0x00
000023f5: DUP3
000023f6: PUSH2 0x23ff
000023f9: DUP6
000023fa: DUP5
000023fb: PUSH2 0x2873
000023fe: JUMP
000023ff: JUMPDEST
00002400: EQ
00002401: SWAP5
00002402: SWAP4
00002403: POP
00002404: POP
00002405: POP
00002406: POP
00002407: JUMP
00002408: JUMPDEST
00002409: DUP2
0000240a: PUSH1 0x01
0000240c: PUSH1 0x01
0000240e: PUSH1 0xa0
00002410: SHL
00002411: SUB
00002412: AND
00002413: DUP4
00002414: PUSH1 0x01
00002416: PUSH1 0x01
00002418: PUSH1 0xa0
0000241a: SHL
0000241b: SUB
0000241c: AND
0000241d: EQ
0000241e: ISZERO
0000241f: PUSH2 0x246a
00002422: JUMPI
00002423: PUSH1 0x40
00002425: MLOAD
00002426: PUSH3 0x461bcd
0000242a: PUSH1 0xe5
0000242c: SHL
0000242d: DUP2
0000242e: MSTORE
0000242f: PUSH1 0x20
00002431: PUSH1 0x04
00002433: DUP3
00002434: ADD
00002435: MSTORE
00002436: PUSH1 0x19
00002438: PUSH1 0x24
0000243a: DUP3
0000243b: ADD
0000243c: MSTORE
0000243d: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
0000245e: PUSH1 0x44
00002460: DUP3
00002461: ADD
00002462: MSTORE
00002463: PUSH1 0x64
00002465: ADD
00002466: PUSH2 0x08df
00002469: JUMP
0000246a: JUMPDEST
0000246b: PUSH1 0x01
0000246d: PUSH1 0x01
0000246f: PUSH1 0xa0
00002471: SHL
00002472: SUB
00002473: DUP4
00002474: DUP2
00002475: AND
00002476: PUSH1 0x00
00002478: DUP2
00002479: DUP2
0000247a: MSTORE
0000247b: PUSH1 0x05
0000247d: PUSH1 0x20
0000247f: SWAP1
00002480: DUP2
00002481: MSTORE
00002482: PUSH1 0x40
00002484: DUP1
00002485: DUP4
00002486: KECCAK256
00002487: SWAP5
00002488: DUP8
00002489: AND
0000248a: DUP1
0000248b: DUP5
0000248c: MSTORE
0000248d: SWAP5
0000248e: DUP3
0000248f: MSTORE
00002490: SWAP2
00002491: DUP3
00002492: SWAP1
00002493: KECCAK256
00002494: DUP1
00002495: SLOAD
00002496: PUSH1 0xff
00002498: NOT
00002499: AND
0000249a: DUP7
0000249b: ISZERO
0000249c: ISZERO
0000249d: SWAP1
0000249e: DUP2
0000249f: OR
000024a0: SWAP1
000024a1: SWAP2
000024a2: SSTORE
000024a3: SWAP2
000024a4: MLOAD
000024a5: SWAP2
000024a6: DUP3
000024a7: MSTORE
000024a8: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
000024c9: SWAP2
000024ca: ADD
000024cb: PUSH1 0x40
000024cd: MLOAD
000024ce: DUP1
000024cf: SWAP2
000024d0: SUB
000024d1: SWAP1
000024d2: LOG3
000024d3: POP
000024d4: POP
000024d5: POP
000024d6: JUMP
000024d7: JUMPDEST
000024d8: PUSH2 0x24e2
000024db: DUP5
000024dc: DUP5
000024dd: DUP5
000024de: PUSH2 0x21db
000024e1: JUMP
000024e2: JUMPDEST
000024e3: PUSH2 0x24ee
000024e6: DUP5
000024e7: DUP5
000024e8: DUP5
000024e9: DUP5
000024ea: PUSH2 0x291f
000024ed: JUMP
000024ee: JUMPDEST
000024ef: PUSH2 0x0be5
000024f2: JUMPI
000024f3: PUSH1 0x40
000024f5: MLOAD
000024f6: PUSH3 0x461bcd
000024fa: PUSH1 0xe5
000024fc: SHL
000024fd: DUP2
000024fe: MSTORE
000024ff: PUSH1 0x04
00002501: ADD
00002502: PUSH2 0x08df
00002505: SWAP1
00002506: PUSH2 0x37fe
00002509: JUMP
0000250a: JUMPDEST
0000250b: PUSH1 0x00
0000250d: DUP2
0000250e: DUP2
0000250f: MSTORE
00002510: PUSH1 0x0c
00002512: PUSH1 0x20
00002514: SWAP1
00002515: DUP2
00002516: MSTORE
00002517: PUSH1 0x40
00002519: SWAP2
0000251a: DUP3
0000251b: SWAP1
0000251c: KECCAK256
0000251d: DUP3
0000251e: MLOAD
0000251f: DUP1
00002520: DUP5
00002521: ADD
00002522: SWAP1
00002523: SWAP4
00002524: MSTORE
00002525: DUP1
00002526: SLOAD
00002527: DUP4
00002528: MSTORE
00002529: PUSH1 0x01
0000252b: ADD
0000252c: SLOAD
0000252d: SWAP1
0000252e: DUP3
0000252f: ADD
00002530: MSTORE
00002531: PUSH1 0x60
00002533: SWAP1
00002534: PUSH2 0x253b
00002537: PUSH2 0x2f35
0000253a: JUMP
0000253b: JUMPDEST
0000253c: PUSH1 0x40
0000253e: MLOAD
0000253f: DUP1
00002540: PUSH1 0x60
00002542: ADD
00002543: PUSH1 0x40
00002545: MSTORE
00002546: DUP1
00002547: PUSH1 0x31
00002549: DUP2
0000254a: MSTORE
0000254b: PUSH1 0x20
0000254d: ADD
0000254e: PUSH2 0x3991
00002551: PUSH1 0x31
00002553: SWAP2
00002554: CODECOPY
00002555: DUP2
00002556: MSTORE
00002557: DUP2
00002558: MLOAD
00002559: PUSH2 0x2561
0000255c: SWAP1
0000255d: PUSH2 0x2a1d
00002560: JUMP
00002561: JUMPDEST
00002562: DUP2
00002563: PUSH1 0x01
00002565: PUSH1 0x20
00002567: MUL
00002568: ADD
00002569: DUP2
0000256a: SWAP1
0000256b: MSTORE
0000256c: POP
0000256d: PUSH1 0x40
0000256f: MLOAD
00002570: DUP1
00002571: PUSH1 0x60
00002573: ADD
00002574: PUSH1 0x40
00002576: MSTORE
00002577: DUP1
00002578: PUSH1 0x2a
0000257a: DUP2
0000257b: MSTORE
0000257c: PUSH1 0x20
0000257e: ADD
0000257f: PUSH2 0x39c2
00002582: PUSH1 0x2a
00002584: SWAP2
00002585: CODECOPY
00002586: PUSH1 0x40
00002588: DUP3
00002589: ADD
0000258a: MSTORE
0000258b: PUSH1 0x20
0000258d: DUP3
0000258e: ADD
0000258f: MLOAD
00002590: PUSH2 0x2598
00002593: SWAP1
00002594: PUSH2 0x2a1d
00002597: JUMP
00002598: JUMPDEST
00002599: PUSH1 0x60
0000259b: DUP1
0000259c: DUP4
0000259d: ADD
0000259e: SWAP2
0000259f: SWAP1
000025a0: SWAP2
000025a1: MSTORE
000025a2: PUSH1 0x40
000025a4: DUP1
000025a5: MLOAD
000025a6: SWAP2
000025a7: DUP3
000025a8: ADD
000025a9: SWAP1
000025aa: MSTORE
000025ab: PUSH1 0x27
000025ad: DUP1
000025ae: DUP3
000025af: MSTORE
000025b0: PUSH2 0x3a4c
000025b3: PUSH1 0x20
000025b5: DUP4
000025b6: ADD
000025b7: CODECOPY
000025b8: PUSH1 0x80
000025ba: DUP3
000025bb: ADD
000025bc: MSTORE
000025bd: PUSH1 0x20
000025bf: DUP3
000025c0: ADD
000025c1: MLOAD
000025c2: TIMESTAMP
000025c3: GT
000025c4: PUSH2 0x25ea
000025c7: JUMPI
000025c8: PUSH1 0x40
000025ca: MLOAD
000025cb: DUP1
000025cc: PUSH1 0x40
000025ce: ADD
000025cf: PUSH1 0x40
000025d1: MSTORE
000025d2: DUP1
000025d3: PUSH1 0x05
000025d5: DUP2
000025d6: MSTORE
000025d7: PUSH1 0x20
000025d9: ADD
000025da: PUSH5 0x66616c7365
000025e0: PUSH1 0xd8
000025e2: SHL
000025e3: DUP2
000025e4: MSTORE
000025e5: POP
000025e6: PUSH2 0x2608
000025e9: JUMP
000025ea: JUMPDEST
000025eb: PUSH1 0x40
000025ed: MLOAD
000025ee: DUP1
000025ef: PUSH1 0x40
000025f1: ADD
000025f2: PUSH1 0x40
000025f4: MSTORE
000025f5: DUP1
000025f6: PUSH1 0x04
000025f8: DUP2
000025f9: MSTORE
000025fa: PUSH1 0x20
000025fc: ADD
000025fd: PUSH4 0x74727565
00002602: PUSH1 0xe0
00002604: SHL
00002605: DUP2
00002606: MSTORE
00002607: POP
00002608: JUMPDEST
00002609: PUSH1 0xa0
0000260b: DUP3
0000260c: ADD
0000260d: SWAP1
0000260e: DUP2
0000260f: MSTORE
00002610: PUSH1 0x40
00002612: DUP1
00002613: MLOAD
00002614: DUP1
00002615: DUP3
00002616: ADD
00002617: DUP3
00002618: MSTORE
00002619: PUSH1 0x05
0000261b: DUP2
0000261c: MSTORE
0000261d: PUSH5 0x0113eae961
00002623: PUSH1 0xdd
00002625: SHL
00002626: PUSH1 0x20
00002628: DUP1
00002629: DUP4
0000262a: ADD
0000262b: SWAP2
0000262c: SWAP1
0000262d: SWAP2
0000262e: MSTORE
0000262f: PUSH1 0xc0
00002631: DUP6
00002632: ADD
00002633: DUP3
00002634: SWAP1
00002635: MSTORE
00002636: DUP5
00002637: MLOAD
00002638: DUP2
00002639: DUP7
0000263a: ADD
0000263b: MLOAD
0000263c: DUP5
0000263d: DUP8
0000263e: ADD
0000263f: MLOAD
00002640: PUSH1 0x60
00002642: DUP9
00002643: ADD
00002644: MLOAD
00002645: PUSH1 0x80
00002647: DUP10
00002648: ADD
00002649: MLOAD
0000264a: SWAP8
0000264b: MLOAD
0000264c: SWAP7
0000264d: MLOAD
0000264e: PUSH1 0x00
00002650: SWAP9
00002651: PUSH2 0x2666
00002654: SWAP9
00002655: SWAP6
00002656: SWAP8
00002657: SWAP5
00002658: SWAP7
00002659: SWAP4
0000265a: SWAP6
0000265b: SWAP3
0000265c: SWAP5
0000265d: SWAP1
0000265e: SWAP4
0000265f: SWAP1
00002660: SWAP2
00002661: ADD
00002662: PUSH2 0x3850
00002665: JUMP
00002666: JUMPDEST
00002667: PUSH1 0x40
00002669: DUP1
0000266a: MLOAD
0000266b: PUSH1 0x1f
0000266d: NOT
0000266e: DUP2
0000266f: DUP5
00002670: SUB
00002671: ADD
00002672: DUP2
00002673: MSTORE
00002674: SWAP2
00002675: SWAP1
00002676: MSTORE
00002677: SWAP6
00002678: SWAP5
00002679: POP
0000267a: POP
0000267b: POP
0000267c: POP
0000267d: POP
0000267e: JUMP
0000267f: JUMPDEST
00002680: DUP1
00002681: MLOAD
00002682: PUSH1 0x60
00002684: SWAP1
00002685: DUP1
00002686: PUSH2 0x269f
00002689: JUMPI
0000268a: POP
0000268b: POP
0000268c: PUSH1 0x40
0000268e: DUP1
0000268f: MLOAD
00002690: PUSH1 0x20
00002692: DUP2
00002693: ADD
00002694: SWAP1
00002695: SWAP2
00002696: MSTORE
00002697: PUSH1 0x00
00002699: DUP2
0000269a: MSTORE
0000269b: SWAP2
0000269c: SWAP1
0000269d: POP
0000269e: JUMP
0000269f: JUMPDEST
000026a0: PUSH1 0x00
000026a2: PUSH1 0x03
000026a4: PUSH2 0x26ae
000026a7: DUP4
000026a8: PUSH1 0x02
000026aa: PUSH2 0x34bf
000026ad: JUMP
000026ae: JUMPDEST
000026af: PUSH2 0x26b8
000026b2: SWAP2
000026b3: SWAP1
000026b4: PUSH2 0x38f8
000026b7: JUMP
000026b8: JUMPDEST
000026b9: PUSH2 0x26c3
000026bc: SWAP1
000026bd: PUSH1 0x04
000026bf: PUSH2 0x3604
000026c2: JUMP
000026c3: JUMPDEST
000026c4: SWAP1
000026c5: POP
000026c6: PUSH1 0x00
000026c8: PUSH2 0x26d2
000026cb: DUP3
000026cc: PUSH1 0x20
000026ce: PUSH2 0x34bf
000026d1: JUMP
000026d2: JUMPDEST
000026d3: PUSH8 0xffffffffffffffff
000026dc: DUP2
000026dd: GT
000026de: ISZERO
000026df: PUSH2 0x26ea
000026e2: JUMPI
000026e3: PUSH2 0x26ea
000026e6: PUSH2 0x3134
000026e9: JUMP
000026ea: JUMPDEST
000026eb: PUSH1 0x40
000026ed: MLOAD
000026ee: SWAP1
000026ef: DUP1
000026f0: DUP3
000026f1: MSTORE
000026f2: DUP1
000026f3: PUSH1 0x1f
000026f5: ADD
000026f6: PUSH1 0x1f
000026f8: NOT
000026f9: AND
000026fa: PUSH1 0x20
000026fc: ADD
000026fd: DUP3
000026fe: ADD
000026ff: PUSH1 0x40
00002701: MSTORE
00002702: DUP1
00002703: ISZERO
00002704: PUSH2 0x2714
00002707: JUMPI
00002708: PUSH1 0x20
0000270a: DUP3
0000270b: ADD
0000270c: DUP2
0000270d: DUP1
0000270e: CALLDATASIZE
0000270f: DUP4
00002710: CALLDATACOPY
00002711: ADD
00002712: SWAP1
00002713: POP
00002714: JUMPDEST
00002715: POP
00002716: SWAP1
00002717: POP
00002718: PUSH1 0x00
0000271a: PUSH1 0x40
0000271c: MLOAD
0000271d: DUP1
0000271e: PUSH1 0x60
00002720: ADD
00002721: PUSH1 0x40
00002723: MSTORE
00002724: DUP1
00002725: PUSH1 0x40
00002727: DUP2
00002728: MSTORE
00002729: PUSH1 0x20
0000272b: ADD
0000272c: PUSH2 0x3a0c
0000272f: PUSH1 0x40
00002731: SWAP2
00002732: CODECOPY
00002733: SWAP1
00002734: POP
00002735: PUSH1 0x01
00002737: DUP2
00002738: ADD
00002739: PUSH1 0x20
0000273b: DUP4
0000273c: ADD
0000273d: PUSH1 0x00
0000273f: JUMPDEST
00002740: DUP7
00002741: DUP2
00002742: LT
00002743: ISZERO
00002744: PUSH2 0x27a0
00002747: JUMPI
00002748: PUSH1 0x03
0000274a: DUP2
0000274b: DUP11
0000274c: ADD
0000274d: DUP2
0000274e: ADD
0000274f: MLOAD
00002750: PUSH1 0x3f
00002752: PUSH1 0x12
00002754: DUP3
00002755: SWAP1
00002756: SHR
00002757: DUP2
00002758: AND
00002759: DUP7
0000275a: ADD
0000275b: MLOAD
0000275c: PUSH1 0x0c
0000275e: DUP4
0000275f: SWAP1
00002760: SHR
00002761: DUP3
00002762: AND
00002763: DUP8
00002764: ADD
00002765: MLOAD
00002766: PUSH1 0x06
00002768: DUP5
00002769: SWAP1
0000276a: SHR
0000276b: DUP4
0000276c: AND
0000276d: DUP9
0000276e: ADD
0000276f: MLOAD
00002770: SWAP3
00002771: SWAP1
00002772: SWAP4
00002773: AND
00002774: DUP8
00002775: ADD
00002776: MLOAD
00002777: PUSH1 0x08
00002779: SWAP2
0000277a: DUP3
0000277b: SHL
0000277c: PUSH1 0xff
0000277e: SWAP5
0000277f: DUP6
00002780: AND
00002781: ADD
00002782: DUP3
00002783: SHL
00002784: SWAP3
00002785: DUP5
00002786: AND
00002787: SWAP3
00002788: SWAP1
00002789: SWAP3
0000278a: ADD
0000278b: SWAP1
0000278c: SHL
0000278d: SWAP2
0000278e: AND
0000278f: ADD
00002790: PUSH1 0xe0
00002792: SHL
00002793: DUP4
00002794: MSTORE
00002795: PUSH1 0x04
00002797: SWAP1
00002798: SWAP3
00002799: ADD
0000279a: SWAP2
0000279b: ADD
0000279c: PUSH2 0x273f
0000279f: JUMP
000027a0: JUMPDEST
000027a1: POP
000027a2: PUSH1 0x03
000027a4: DUP7
000027a5: MOD
000027a6: PUSH1 0x01
000027a8: DUP2
000027a9: EQ
000027aa: PUSH2 0x27ba
000027ad: JUMPI
000027ae: PUSH1 0x02
000027b0: DUP2
000027b1: EQ
000027b2: PUSH2 0x27cb
000027b5: JUMPI
000027b6: PUSH2 0x27d7
000027b9: JUMP
000027ba: JUMPDEST
000027bb: PUSH2 0x3d3d
000027be: PUSH1 0xf0
000027c0: SHL
000027c1: PUSH1 0x01
000027c3: NOT
000027c4: DUP4
000027c5: ADD
000027c6: MSTORE
000027c7: PUSH2 0x27d7
000027ca: JUMP
000027cb: JUMPDEST
000027cc: PUSH1 0x3d
000027ce: PUSH1 0xf8
000027d0: SHL
000027d1: PUSH1 0x00
000027d3: NOT
000027d4: DUP4
000027d5: ADD
000027d6: MSTORE
000027d7: JUMPDEST
000027d8: POP
000027d9: POP
000027da: POP
000027db: SWAP2
000027dc: DUP2
000027dd: MSTORE
000027de: SWAP5
000027df: SWAP4
000027e0: POP
000027e1: POP
000027e2: POP
000027e3: POP
000027e4: JUMP
000027e5: JUMPDEST
000027e6: PUSH1 0x00
000027e8: PUSH1 0x01
000027ea: PUSH1 0x01
000027ec: PUSH1 0xe0
000027ee: SHL
000027ef: SUB
000027f0: NOT
000027f1: DUP3
000027f2: AND
000027f3: PUSH4 0x80ac58cd
000027f8: PUSH1 0xe0
000027fa: SHL
000027fb: EQ
000027fc: DUP1
000027fd: PUSH2 0x2816
00002800: JUMPI
00002801: POP
00002802: PUSH1 0x01
00002804: PUSH1 0x01
00002806: PUSH1 0xe0
00002808: SHL
00002809: SUB
0000280a: NOT
0000280b: DUP3
0000280c: AND
0000280d: PUSH4 0x5b5e139f
00002812: PUSH1 0xe0
00002814: SHL
00002815: EQ
00002816: JUMPDEST
00002817: DUP1
00002818: PUSH2 0x07d2
0000281b: JUMPI
0000281c: POP
0000281d: PUSH4 0x01ffc9a7
00002822: PUSH1 0xe0
00002824: SHL
00002825: PUSH1 0x01
00002827: PUSH1 0x01
00002829: PUSH1 0xe0
0000282b: SHL
0000282c: SUB
0000282d: NOT
0000282e: DUP4
0000282f: AND
00002830: EQ
00002831: PUSH2 0x07d2
00002834: JUMP
00002835: JUMPDEST
00002836: PUSH2 0x0a15
00002839: DUP4
0000283a: DUP4
0000283b: DUP4
0000283c: PUSH2 0x2b1b
0000283f: JUMP
00002840: JUMPDEST
00002841: PUSH2 0x284a
00002844: DUP4
00002845: DUP4
00002846: PUSH2 0x2bd3
00002849: JUMP
0000284a: JUMPDEST
0000284b: PUSH2 0x2857
0000284e: PUSH1 0x00
00002850: DUP5
00002851: DUP5
00002852: DUP5
00002853: PUSH2 0x291f
00002856: JUMP
00002857: JUMPDEST
00002858: PUSH2 0x0a15
0000285b: JUMPI
0000285c: PUSH1 0x40
0000285e: MLOAD
0000285f: PUSH3 0x461bcd
00002863: PUSH1 0xe5
00002865: SHL
00002866: DUP2
00002867: MSTORE
00002868: PUSH1 0x04
0000286a: ADD
0000286b: PUSH2 0x08df
0000286e: SWAP1
0000286f: PUSH2 0x37fe
00002872: JUMP
00002873: JUMPDEST
00002874: PUSH1 0x00
00002876: DUP2
00002877: DUP2
00002878: JUMPDEST
00002879: DUP5
0000287a: MLOAD
0000287b: DUP2
0000287c: LT
0000287d: ISZERO
0000287e: PUSH2 0x2917
00002881: JUMPI
00002882: PUSH1 0x00
00002884: DUP6
00002885: DUP3
00002886: DUP2
00002887: MLOAD
00002888: DUP2
00002889: LT
0000288a: PUSH2 0x2895
0000288d: JUMPI
0000288e: PUSH2 0x2895
00002891: PUSH2 0x3591
00002894: JUMP
00002895: JUMPDEST
00002896: PUSH1 0x20
00002898: MUL
00002899: PUSH1 0x20
0000289b: ADD
0000289c: ADD
0000289d: MLOAD
0000289e: SWAP1
0000289f: POP
000028a0: DUP1
000028a1: DUP4
000028a2: GT
000028a3: PUSH2 0x28d7
000028a6: JUMPI
000028a7: PUSH1 0x40
000028a9: DUP1
000028aa: MLOAD
000028ab: PUSH1 0x20
000028ad: DUP2
000028ae: ADD
000028af: DUP6
000028b0: SWAP1
000028b1: MSTORE
000028b2: SWAP1
000028b3: DUP2
000028b4: ADD
000028b5: DUP3
000028b6: SWAP1
000028b7: MSTORE
000028b8: PUSH1 0x60
000028ba: ADD
000028bb: PUSH1 0x40
000028bd: MLOAD
000028be: PUSH1 0x20
000028c0: DUP2
000028c1: DUP4
000028c2: SUB
000028c3: SUB
000028c4: DUP2
000028c5: MSTORE
000028c6: SWAP1
000028c7: PUSH1 0x40
000028c9: MSTORE
000028ca: DUP1
000028cb: MLOAD
000028cc: SWAP1
000028cd: PUSH1 0x20
000028cf: ADD
000028d0: KECCAK256
000028d1: SWAP3
000028d2: POP
000028d3: PUSH2 0x2904
000028d6: JUMP
000028d7: JUMPDEST
000028d8: PUSH1 0x40
000028da: DUP1
000028db: MLOAD
000028dc: PUSH1 0x20
000028de: DUP2
000028df: ADD
000028e0: DUP4
000028e1: SWAP1
000028e2: MSTORE
000028e3: SWAP1
000028e4: DUP2
000028e5: ADD
000028e6: DUP5
000028e7: SWAP1
000028e8: MSTORE
000028e9: PUSH1 0x60
000028eb: ADD
000028ec: PUSH1 0x40
000028ee: MLOAD
000028ef: PUSH1 0x20
000028f1: DUP2
000028f2: DUP4
000028f3: SUB
000028f4: SUB
000028f5: DUP2
000028f6: MSTORE
000028f7: SWAP1
000028f8: PUSH1 0x40
000028fa: MSTORE
000028fb: DUP1
000028fc: MLOAD
000028fd: SWAP1
000028fe: PUSH1 0x20
00002900: ADD
00002901: KECCAK256
00002902: SWAP3
00002903: POP
00002904: JUMPDEST
00002905: POP
00002906: DUP1
00002907: PUSH2 0x290f
0000290a: DUP2
0000290b: PUSH2 0x3576
0000290e: JUMP
0000290f: JUMPDEST
00002910: SWAP2
00002911: POP
00002912: POP
00002913: PUSH2 0x2878
00002916: JUMP
00002917: JUMPDEST
00002918: POP
00002919: SWAP4
0000291a: SWAP3
0000291b: POP
0000291c: POP
0000291d: POP
0000291e: JUMP
0000291f: JUMPDEST
00002920: PUSH1 0x00
00002922: PUSH1 0x01
00002924: PUSH1 0x01
00002926: PUSH1 0xa0
00002928: SHL
00002929: SUB
0000292a: DUP5
0000292b: AND
0000292c: EXTCODESIZE
0000292d: ISZERO
0000292e: PUSH2 0x2a12
00002931: JUMPI
00002932: PUSH1 0x40
00002934: MLOAD
00002935: PUSH4 0x0a85bd01
0000293a: PUSH1 0xe1
0000293c: SHL
0000293d: DUP2
0000293e: MSTORE
0000293f: PUSH1 0x01
00002941: PUSH1 0x01
00002943: PUSH1 0xa0
00002945: SHL
00002946: SUB
00002947: DUP6
00002948: AND
00002949: SWAP1
0000294a: PUSH4 0x150b7a02
0000294f: SWAP1
00002950: PUSH2 0x2963
00002953: SWAP1
00002954: CALLER
00002955: SWAP1
00002956: DUP10
00002957: SWAP1
00002958: DUP9
00002959: SWAP1
0000295a: DUP9
0000295b: SWAP1
0000295c: PUSH1 0x04
0000295e: ADD
0000295f: PUSH2 0x390c
00002962: JUMP
00002963: JUMPDEST
00002964: PUSH1 0x20
00002966: PUSH1 0x40
00002968: MLOAD
00002969: DUP1
0000296a: DUP4
0000296b: SUB
0000296c: DUP2
0000296d: PUSH1 0x00
0000296f: DUP8
00002970: GAS
00002971: CALL
00002972: SWAP3
00002973: POP
00002974: POP
00002975: POP
00002976: DUP1
00002977: ISZERO
00002978: PUSH2 0x299e
0000297b: JUMPI
0000297c: POP
0000297d: PUSH1 0x40
0000297f: DUP1
00002980: MLOAD
00002981: PUSH1 0x1f
00002983: RETURNDATASIZE
00002984: SWAP1
00002985: DUP2
00002986: ADD
00002987: PUSH1 0x1f
00002989: NOT
0000298a: AND
0000298b: DUP3
0000298c: ADD
0000298d: SWAP1
0000298e: SWAP3
0000298f: MSTORE
00002990: PUSH2 0x299b
00002993: SWAP2
00002994: DUP2
00002995: ADD
00002996: SWAP1
00002997: PUSH2 0x3949
0000299a: JUMP
0000299b: JUMPDEST
0000299c: PUSH1 0x01
0000299e: JUMPDEST
0000299f: PUSH2 0x29f8
000029a2: JUMPI
000029a3: RETURNDATASIZE
000029a4: DUP1
000029a5: DUP1
000029a6: ISZERO
000029a7: PUSH2 0x29cc
000029aa: JUMPI
000029ab: PUSH1 0x40
000029ad: MLOAD
000029ae: SWAP2
000029af: POP
000029b0: PUSH1 0x1f
000029b2: NOT
000029b3: PUSH1 0x3f
000029b5: RETURNDATASIZE
000029b6: ADD
000029b7: AND
000029b8: DUP3
000029b9: ADD
000029ba: PUSH1 0x40
000029bc: MSTORE
000029bd: RETURNDATASIZE
000029be: DUP3
000029bf: MSTORE
000029c0: RETURNDATASIZE
000029c1: PUSH1 0x00
000029c3: PUSH1 0x20
000029c5: DUP5
000029c6: ADD
000029c7: RETURNDATACOPY
000029c8: PUSH2 0x29d1
000029cb: JUMP
000029cc: JUMPDEST
000029cd: PUSH1 0x60
000029cf: SWAP2
000029d0: POP
000029d1: JUMPDEST
000029d2: POP
000029d3: DUP1
000029d4: MLOAD
000029d5: PUSH2 0x29f0
000029d8: JUMPI
000029d9: PUSH1 0x40
000029db: MLOAD
000029dc: PUSH3 0x461bcd
000029e0: PUSH1 0xe5
000029e2: SHL
000029e3: DUP2
000029e4: MSTORE
000029e5: PUSH1 0x04
000029e7: ADD
000029e8: PUSH2 0x08df
000029eb: SWAP1
000029ec: PUSH2 0x37fe
000029ef: JUMP
000029f0: JUMPDEST
000029f1: DUP1
000029f2: MLOAD
000029f3: DUP2
000029f4: PUSH1 0x20
000029f6: ADD
000029f7: REVERT
000029f8: JUMPDEST
000029f9: PUSH1 0x01
000029fb: PUSH1 0x01
000029fd: PUSH1 0xe0
000029ff: SHL
00002a00: SUB
00002a01: NOT
00002a02: AND
00002a03: PUSH4 0x0a85bd01
00002a08: PUSH1 0xe1
00002a0a: SHL
00002a0b: EQ
00002a0c: SWAP1
00002a0d: POP
00002a0e: PUSH2 0x1fd6
00002a11: JUMP
00002a12: JUMPDEST
00002a13: POP
00002a14: PUSH1 0x01
00002a16: SWAP5
00002a17: SWAP4
00002a18: POP
00002a19: POP
00002a1a: POP
00002a1b: POP
00002a1c: JUMP
00002a1d: JUMPDEST
00002a1e: PUSH1 0x60
00002a20: DUP2
00002a21: PUSH2 0x2a41
00002a24: JUMPI
00002a25: POP
00002a26: POP
00002a27: PUSH1 0x40
00002a29: DUP1
00002a2a: MLOAD
00002a2b: DUP1
00002a2c: DUP3
00002a2d: ADD
00002a2e: SWAP1
00002a2f: SWAP2
00002a30: MSTORE
00002a31: PUSH1 0x01
00002a33: DUP2
00002a34: MSTORE
00002a35: PUSH1 0x03
00002a37: PUSH1 0xfc
00002a39: SHL
00002a3a: PUSH1 0x20
00002a3c: DUP3
00002a3d: ADD
00002a3e: MSTORE
00002a3f: SWAP1
00002a40: JUMP
00002a41: JUMPDEST
00002a42: DUP2
00002a43: PUSH1 0x00
00002a45: JUMPDEST
00002a46: DUP2
00002a47: ISZERO
00002a48: PUSH2 0x2a6b
00002a4b: JUMPI
00002a4c: DUP1
00002a4d: PUSH2 0x2a55
00002a50: DUP2
00002a51: PUSH2 0x3576
00002a54: JUMP
00002a55: JUMPDEST
00002a56: SWAP2
00002a57: POP
00002a58: PUSH2 0x2a64
00002a5b: SWAP1
00002a5c: POP
00002a5d: PUSH1 0x0a
00002a5f: DUP4
00002a60: PUSH2 0x38f8
00002a63: JUMP
00002a64: JUMPDEST
00002a65: SWAP2
00002a66: POP
00002a67: PUSH2 0x2a45
00002a6a: JUMP
00002a6b: JUMPDEST
00002a6c: PUSH1 0x00
00002a6e: DUP2
00002a6f: PUSH8 0xffffffffffffffff
00002a78: DUP2
00002a79: GT
00002a7a: ISZERO
00002a7b: PUSH2 0x2a86
00002a7e: JUMPI
00002a7f: PUSH2 0x2a86
00002a82: PUSH2 0x3134
00002a85: JUMP
00002a86: JUMPDEST
00002a87: PUSH1 0x40
00002a89: MLOAD
00002a8a: SWAP1
00002a8b: DUP1
00002a8c: DUP3
00002a8d: MSTORE
00002a8e: DUP1
00002a8f: PUSH1 0x1f
00002a91: ADD
00002a92: PUSH1 0x1f
00002a94: NOT
00002a95: AND
00002a96: PUSH1 0x20
00002a98: ADD
00002a99: DUP3
00002a9a: ADD
00002a9b: PUSH1 0x40
00002a9d: MSTORE
00002a9e: DUP1
00002a9f: ISZERO
00002aa0: PUSH2 0x2ab0
00002aa3: JUMPI
00002aa4: PUSH1 0x20
00002aa6: DUP3
00002aa7: ADD
00002aa8: DUP2
00002aa9: DUP1
00002aaa: CALLDATASIZE
00002aab: DUP4
00002aac: CALLDATACOPY
00002aad: ADD
00002aae: SWAP1
00002aaf: POP
00002ab0: JUMPDEST
00002ab1: POP
00002ab2: SWAP1
00002ab3: POP
00002ab4: JUMPDEST
00002ab5: DUP5
00002ab6: ISZERO
00002ab7: PUSH2 0x1fd6
00002aba: JUMPI
00002abb: PUSH2 0x2ac5
00002abe: PUSH1 0x01
00002ac0: DUP4
00002ac1: PUSH2 0x37e7
00002ac4: JUMP
00002ac5: JUMPDEST
00002ac6: SWAP2
00002ac7: POP
00002ac8: PUSH2 0x2ad2
00002acb: PUSH1 0x0a
00002acd: DUP7
00002ace: PUSH2 0x3966
00002ad1: JUMP
00002ad2: JUMPDEST
00002ad3: PUSH2 0x2add
00002ad6: SWAP1
00002ad7: PUSH1 0x30
00002ad9: PUSH2 0x34bf
00002adc: JUMP
00002add: JUMPDEST
00002ade: PUSH1 0xf8
00002ae0: SHL
00002ae1: DUP2
00002ae2: DUP4
00002ae3: DUP2
00002ae4: MLOAD
00002ae5: DUP2
00002ae6: LT
00002ae7: PUSH2 0x2af2
00002aea: JUMPI
00002aeb: PUSH2 0x2af2
00002aee: PUSH2 0x3591
00002af1: JUMP
00002af2: JUMPDEST
00002af3: PUSH1 0x20
00002af5: ADD
00002af6: ADD
00002af7: SWAP1
00002af8: PUSH1 0x01
00002afa: PUSH1 0x01
00002afc: PUSH1 0xf8
00002afe: SHL
00002aff: SUB
00002b00: NOT
00002b01: AND
00002b02: SWAP1
00002b03: DUP2
00002b04: PUSH1 0x00
00002b06: BYTE
00002b07: SWAP1
00002b08: MSTORE8
00002b09: POP
00002b0a: PUSH2 0x2b14
00002b0d: PUSH1 0x0a
00002b0f: DUP7
00002b10: PUSH2 0x38f8
00002b13: JUMP
00002b14: JUMPDEST
00002b15: SWAP5
00002b16: POP
00002b17: PUSH2 0x2ab4
00002b1a: JUMP
00002b1b: JUMPDEST
00002b1c: PUSH1 0x01
00002b1e: PUSH1 0x01
00002b20: PUSH1 0xa0
00002b22: SHL
00002b23: SUB
00002b24: DUP4
00002b25: AND
00002b26: PUSH2 0x2b76
00002b29: JUMPI
00002b2a: PUSH2 0x2b71
00002b2d: DUP2
00002b2e: PUSH1 0x08
00002b30: DUP1
00002b31: SLOAD
00002b32: PUSH1 0x00
00002b34: DUP4
00002b35: DUP2
00002b36: MSTORE
00002b37: PUSH1 0x09
00002b39: PUSH1 0x20
00002b3b: MSTORE
00002b3c: PUSH1 0x40
00002b3e: DUP2
00002b3f: KECCAK256
00002b40: DUP3
00002b41: SWAP1
00002b42: SSTORE
00002b43: PUSH1 0x01
00002b45: DUP3
00002b46: ADD
00002b47: DUP4
00002b48: SSTORE
00002b49: SWAP2
00002b4a: SWAP1
00002b4b: SWAP2
00002b4c: MSTORE
00002b4d: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3
00002b6e: ADD
00002b6f: SSTORE
00002b70: JUMP
00002b71: JUMPDEST
00002b72: PUSH2 0x2b99
00002b75: JUMP
00002b76: JUMPDEST
00002b77: DUP2
00002b78: PUSH1 0x01
00002b7a: PUSH1 0x01
00002b7c: PUSH1 0xa0
00002b7e: SHL
00002b7f: SUB
00002b80: AND
00002b81: DUP4
00002b82: PUSH1 0x01
00002b84: PUSH1 0x01
00002b86: PUSH1 0xa0
00002b88: SHL
00002b89: SUB
00002b8a: AND
00002b8b: EQ
00002b8c: PUSH2 0x2b99
00002b8f: JUMPI
00002b90: PUSH2 0x2b99
00002b93: DUP4
00002b94: DUP3
00002b95: PUSH2 0x2d21
00002b98: JUMP
00002b99: JUMPDEST
00002b9a: PUSH1 0x01
00002b9c: PUSH1 0x01
00002b9e: PUSH1 0xa0
00002ba0: SHL
00002ba1: SUB
00002ba2: DUP3
00002ba3: AND
00002ba4: PUSH2 0x2bb0
00002ba7: JUMPI
00002ba8: PUSH2 0x0a15
00002bab: DUP2
00002bac: PUSH2 0x2dbe
00002baf: JUMP
00002bb0: JUMPDEST
00002bb1: DUP3
00002bb2: PUSH1 0x01
00002bb4: PUSH1 0x01
00002bb6: PUSH1 0xa0
00002bb8: SHL
00002bb9: SUB
00002bba: AND
00002bbb: DUP3
00002bbc: PUSH1 0x01
00002bbe: PUSH1 0x01
00002bc0: PUSH1 0xa0
00002bc2: SHL
00002bc3: SUB
00002bc4: AND
00002bc5: EQ
00002bc6: PUSH2 0x0a15
00002bc9: JUMPI
00002bca: PUSH2 0x0a15
00002bcd: DUP3
00002bce: DUP3
00002bcf: PUSH2 0x2e6d
00002bd2: JUMP
00002bd3: JUMPDEST
00002bd4: PUSH1 0x01
00002bd6: PUSH1 0x01
00002bd8: PUSH1 0xa0
00002bda: SHL
00002bdb: SUB
00002bdc: DUP3
00002bdd: AND
00002bde: PUSH2 0x2c29
00002be1: JUMPI
00002be2: PUSH1 0x40
00002be4: MLOAD
00002be5: PUSH3 0x461bcd
00002be9: PUSH1 0xe5
00002beb: SHL
00002bec: DUP2
00002bed: MSTORE
00002bee: PUSH1 0x20
00002bf0: PUSH1 0x04
00002bf2: DUP3
00002bf3: ADD
00002bf4: DUP2
00002bf5: SWAP1
00002bf6: MSTORE
00002bf7: PUSH1 0x24
00002bf9: DUP3
00002bfa: ADD
00002bfb: MSTORE
00002bfc: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
00002c1d: PUSH1 0x44
00002c1f: DUP3
00002c20: ADD
00002c21: MSTORE
00002c22: PUSH1 0x64
00002c24: ADD
00002c25: PUSH2 0x08df
00002c28: JUMP
00002c29: JUMPDEST
00002c2a: PUSH1 0x00
00002c2c: DUP2
00002c2d: DUP2
00002c2e: MSTORE
00002c2f: PUSH1 0x02
00002c31: PUSH1 0x20
00002c33: MSTORE
00002c34: PUSH1 0x40
00002c36: SWAP1
00002c37: KECCAK256
00002c38: SLOAD
00002c39: PUSH1 0x01
00002c3b: PUSH1 0x01
00002c3d: PUSH1 0xa0
00002c3f: SHL
00002c40: SUB
00002c41: AND
00002c42: ISZERO
00002c43: PUSH2 0x2c8e
00002c46: JUMPI
00002c47: PUSH1 0x40
00002c49: MLOAD
00002c4a: PUSH3 0x461bcd
00002c4e: PUSH1 0xe5
00002c50: SHL
00002c51: DUP2
00002c52: MSTORE
00002c53: PUSH1 0x20
00002c55: PUSH1 0x04
00002c57: DUP3
00002c58: ADD
00002c59: MSTORE
00002c5a: PUSH1 0x1c
00002c5c: PUSH1 0x24
00002c5e: DUP3
00002c5f: ADD
00002c60: MSTORE
00002c61: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
00002c82: PUSH1 0x44
00002c84: DUP3
00002c85: ADD
00002c86: MSTORE
00002c87: PUSH1 0x64
00002c89: ADD
00002c8a: PUSH2 0x08df
00002c8d: JUMP
00002c8e: JUMPDEST
00002c8f: PUSH2 0x2c9a
00002c92: PUSH1 0x00
00002c94: DUP4
00002c95: DUP4
00002c96: PUSH2 0x2835
00002c99: JUMP
00002c9a: JUMPDEST
00002c9b: PUSH1 0x01
00002c9d: PUSH1 0x01
00002c9f: PUSH1 0xa0
00002ca1: SHL
00002ca2: SUB
00002ca3: DUP3
00002ca4: AND
00002ca5: PUSH1 0x00
00002ca7: SWAP1
00002ca8: DUP2
00002ca9: MSTORE
00002caa: PUSH1 0x03
00002cac: PUSH1 0x20
00002cae: MSTORE
00002caf: PUSH1 0x40
00002cb1: DUP2
00002cb2: KECCAK256
00002cb3: DUP1
00002cb4: SLOAD
00002cb5: PUSH1 0x01
00002cb7: SWAP3
00002cb8: SWAP1
00002cb9: PUSH2 0x2cc3
00002cbc: SWAP1
00002cbd: DUP5
00002cbe: SWAP1
00002cbf: PUSH2 0x34bf
00002cc2: JUMP
00002cc3: JUMPDEST
00002cc4: SWAP1
00002cc5: SWAP2
00002cc6: SSTORE
00002cc7: POP
00002cc8: POP
00002cc9: PUSH1 0x00
00002ccb: DUP2
00002ccc: DUP2
00002ccd: MSTORE
00002cce: PUSH1 0x02
00002cd0: PUSH1 0x20
00002cd2: MSTORE
00002cd3: PUSH1 0x40
00002cd5: DUP1
00002cd6: DUP3
00002cd7: KECCAK256
00002cd8: DUP1
00002cd9: SLOAD
00002cda: PUSH1 0x01
00002cdc: PUSH1 0x01
00002cde: PUSH1 0xa0
00002ce0: SHL
00002ce1: SUB
00002ce2: NOT
00002ce3: AND
00002ce4: PUSH1 0x01
00002ce6: PUSH1 0x01
00002ce8: PUSH1 0xa0
00002cea: SHL
00002ceb: SUB
00002cec: DUP7
00002ced: AND
00002cee: SWAP1
00002cef: DUP2
00002cf0: OR
00002cf1: SWAP1
00002cf2: SWAP2
00002cf3: SSTORE
00002cf4: SWAP1
00002cf5: MLOAD
00002cf6: DUP4
00002cf7: SWAP3
00002cf8: SWAP1
00002cf9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002d1a: SWAP1
00002d1b: DUP3
00002d1c: SWAP1
00002d1d: LOG4
00002d1e: POP
00002d1f: POP
00002d20: JUMP
00002d21: JUMPDEST
00002d22: PUSH1 0x00
00002d24: PUSH1 0x01
00002d26: PUSH2 0x2d2e
00002d29: DUP5
00002d2a: PUSH2 0x1455
00002d2d: JUMP
00002d2e: JUMPDEST
00002d2f: PUSH2 0x2d38
00002d32: SWAP2
00002d33: SWAP1
00002d34: PUSH2 0x37e7
00002d37: JUMP
00002d38: JUMPDEST
00002d39: PUSH1 0x00
00002d3b: DUP4
00002d3c: DUP2
00002d3d: MSTORE
00002d3e: PUSH1 0x07
00002d40: PUSH1 0x20
00002d42: MSTORE
00002d43: PUSH1 0x40
00002d45: SWAP1
00002d46: KECCAK256
00002d47: SLOAD
00002d48: SWAP1
00002d49: SWAP2
00002d4a: POP
00002d4b: DUP1
00002d4c: DUP3
00002d4d: EQ
00002d4e: PUSH2 0x2d8b
00002d51: JUMPI
00002d52: PUSH1 0x01
00002d54: PUSH1 0x01
00002d56: PUSH1 0xa0
00002d58: SHL
00002d59: SUB
00002d5a: DUP5
00002d5b: AND
00002d5c: PUSH1 0x00
00002d5e: SWAP1
00002d5f: DUP2
00002d60: MSTORE
00002d61: PUSH1 0x06
00002d63: PUSH1 0x20
00002d65: SWAP1
00002d66: DUP2
00002d67: MSTORE
00002d68: PUSH1 0x40
00002d6a: DUP1
00002d6b: DUP4
00002d6c: KECCAK256
00002d6d: DUP6
00002d6e: DUP5
00002d6f: MSTORE
00002d70: DUP3
00002d71: MSTORE
00002d72: DUP1
00002d73: DUP4
00002d74: KECCAK256
00002d75: SLOAD
00002d76: DUP5
00002d77: DUP5
00002d78: MSTORE
00002d79: DUP2
00002d7a: DUP5
00002d7b: KECCAK256
00002d7c: DUP2
00002d7d: SWAP1
00002d7e: SSTORE
00002d7f: DUP4
00002d80: MSTORE
00002d81: PUSH1 0x07
00002d83: SWAP1
00002d84: SWAP2
00002d85: MSTORE
00002d86: SWAP1
00002d87: KECCAK256
00002d88: DUP2
00002d89: SWAP1
00002d8a: SSTORE
00002d8b: JUMPDEST
00002d8c: POP
00002d8d: PUSH1 0x00
00002d8f: SWAP2
00002d90: DUP3
00002d91: MSTORE
00002d92: PUSH1 0x07
00002d94: PUSH1 0x20
00002d96: SWAP1
00002d97: DUP2
00002d98: MSTORE
00002d99: PUSH1 0x40
00002d9b: DUP1
00002d9c: DUP5
00002d9d: KECCAK256
00002d9e: DUP5
00002d9f: SWAP1
00002da0: SSTORE
00002da1: PUSH1 0x01
00002da3: PUSH1 0x01
00002da5: PUSH1 0xa0
00002da7: SHL
00002da8: SUB
00002da9: SWAP1
00002daa: SWAP5
00002dab: AND
00002dac: DUP4
00002dad: MSTORE
00002dae: PUSH1 0x06
00002db0: DUP2
00002db1: MSTORE
00002db2: DUP4
00002db3: DUP4
00002db4: KECCAK256
00002db5: SWAP2
00002db6: DUP4
00002db7: MSTORE
00002db8: MSTORE
00002db9: SWAP1
00002dba: DUP2
00002dbb: KECCAK256
00002dbc: SSTORE
00002dbd: JUMP
00002dbe: JUMPDEST
00002dbf: PUSH1 0x08
00002dc1: SLOAD
00002dc2: PUSH1 0x00
00002dc4: SWAP1
00002dc5: PUSH2 0x2dd0
00002dc8: SWAP1
00002dc9: PUSH1 0x01
00002dcb: SWAP1
00002dcc: PUSH2 0x37e7
00002dcf: JUMP
00002dd0: JUMPDEST
00002dd1: PUSH1 0x00
00002dd3: DUP4
00002dd4: DUP2
00002dd5: MSTORE
00002dd6: PUSH1 0x09
00002dd8: PUSH1 0x20
00002dda: MSTORE
00002ddb: PUSH1 0x40
00002ddd: DUP2
00002dde: KECCAK256
00002ddf: SLOAD
00002de0: PUSH1 0x08
00002de2: DUP1
00002de3: SLOAD
00002de4: SWAP4
00002de5: SWAP5
00002de6: POP
00002de7: SWAP1
00002de8: SWAP3
00002de9: DUP5
00002dea: SWAP1
00002deb: DUP2
00002dec: LT
00002ded: PUSH2 0x2df8
00002df0: JUMPI
00002df1: PUSH2 0x2df8
00002df4: PUSH2 0x3591
00002df7: JUMP
00002df8: JUMPDEST
00002df9: SWAP1
00002dfa: PUSH1 0x00
00002dfc: MSTORE
00002dfd: PUSH1 0x20
00002dff: PUSH1 0x00
00002e01: KECCAK256
00002e02: ADD
00002e03: SLOAD
00002e04: SWAP1
00002e05: POP
00002e06: DUP1
00002e07: PUSH1 0x08
00002e09: DUP4
00002e0a: DUP2
00002e0b: SLOAD
00002e0c: DUP2
00002e0d: LT
00002e0e: PUSH2 0x2e19
00002e11: JUMPI
00002e12: PUSH2 0x2e19
00002e15: PUSH2 0x3591
00002e18: JUMP
00002e19: JUMPDEST
00002e1a: PUSH1 0x00
00002e1c: SWAP2
00002e1d: DUP3
00002e1e: MSTORE
00002e1f: PUSH1 0x20
00002e21: DUP1
00002e22: DUP4
00002e23: KECCAK256
00002e24: SWAP1
00002e25: SWAP2
00002e26: ADD
00002e27: SWAP3
00002e28: SWAP1
00002e29: SWAP3
00002e2a: SSTORE
00002e2b: DUP3
00002e2c: DUP2
00002e2d: MSTORE
00002e2e: PUSH1 0x09
00002e30: SWAP1
00002e31: SWAP2
00002e32: MSTORE
00002e33: PUSH1 0x40
00002e35: DUP1
00002e36: DUP3
00002e37: KECCAK256
00002e38: DUP5
00002e39: SWAP1
00002e3a: SSTORE
00002e3b: DUP6
00002e3c: DUP3
00002e3d: MSTORE
00002e3e: DUP2
00002e3f: KECCAK256
00002e40: SSTORE
00002e41: PUSH1 0x08
00002e43: DUP1
00002e44: SLOAD
00002e45: DUP1
00002e46: PUSH2 0x2e51
00002e49: JUMPI
00002e4a: PUSH2 0x2e51
00002e4d: PUSH2 0x397a
00002e50: JUMP
00002e51: JUMPDEST
00002e52: PUSH1 0x01
00002e54: SWAP1
00002e55: SUB
00002e56: DUP2
00002e57: DUP2
00002e58: SWAP1
00002e59: PUSH1 0x00
00002e5b: MSTORE
00002e5c: PUSH1 0x20
00002e5e: PUSH1 0x00
00002e60: KECCAK256
00002e61: ADD
00002e62: PUSH1 0x00
00002e64: SWAP1
00002e65: SSTORE
00002e66: SWAP1
00002e67: SSTORE
00002e68: POP
00002e69: POP
00002e6a: POP
00002e6b: POP
00002e6c: JUMP
00002e6d: JUMPDEST
00002e6e: PUSH1 0x00
00002e70: PUSH2 0x2e78
00002e73: DUP4
00002e74: PUSH2 0x1455
00002e77: JUMP
00002e78: JUMPDEST
00002e79: PUSH1 0x01
00002e7b: PUSH1 0x01
00002e7d: PUSH1 0xa0
00002e7f: SHL
00002e80: SUB
00002e81: SWAP1
00002e82: SWAP4
00002e83: AND
00002e84: PUSH1 0x00
00002e86: SWAP1
00002e87: DUP2
00002e88: MSTORE
00002e89: PUSH1 0x06
00002e8b: PUSH1 0x20
00002e8d: SWAP1
00002e8e: DUP2
00002e8f: MSTORE
00002e90: PUSH1 0x40
00002e92: DUP1
00002e93: DUP4
00002e94: KECCAK256
00002e95: DUP7
00002e96: DUP5
00002e97: MSTORE
00002e98: DUP3
00002e99: MSTORE
00002e9a: DUP1
00002e9b: DUP4
00002e9c: KECCAK256
00002e9d: DUP6
00002e9e: SWAP1
00002e9f: SSTORE
00002ea0: SWAP4
00002ea1: DUP3
00002ea2: MSTORE
00002ea3: PUSH1 0x07
00002ea5: SWAP1
00002ea6: MSTORE
00002ea7: SWAP2
00002ea8: SWAP1
00002ea9: SWAP2
00002eaa: KECCAK256
00002eab: SWAP2
00002eac: SWAP1
00002ead: SWAP2
00002eae: SSTORE
00002eaf: POP
00002eb0: JUMP
00002eb1: JUMPDEST
00002eb2: DUP3
00002eb3: DUP1
00002eb4: SLOAD
00002eb5: PUSH2 0x2ebd
00002eb8: SWAP1
00002eb9: PUSH2 0x3441
00002ebc: JUMP
00002ebd: JUMPDEST
00002ebe: SWAP1
00002ebf: PUSH1 0x00
00002ec1: MSTORE
00002ec2: PUSH1 0x20
00002ec4: PUSH1 0x00
00002ec6: KECCAK256
00002ec7: SWAP1
00002ec8: PUSH1 0x1f
00002eca: ADD
00002ecb: PUSH1 0x20
00002ecd: SWAP1
00002ece: DIV
00002ecf: DUP2
00002ed0: ADD
00002ed1: SWAP3
00002ed2: DUP3
00002ed3: PUSH2 0x2edf
00002ed6: JUMPI
00002ed7: PUSH1 0x00
00002ed9: DUP6
00002eda: SSTORE
00002edb: PUSH2 0x2f25
00002ede: JUMP
00002edf: JUMPDEST
00002ee0: DUP3
00002ee1: PUSH1 0x1f
00002ee3: LT
00002ee4: PUSH2 0x2ef8
00002ee7: JUMPI
00002ee8: DUP1
00002ee9: MLOAD
00002eea: PUSH1 0xff
00002eec: NOT
00002eed: AND
00002eee: DUP4
00002eef: DUP1
00002ef0: ADD
00002ef1: OR
00002ef2: DUP6
00002ef3: SSTORE
00002ef4: PUSH2 0x2f25
00002ef7: JUMP
00002ef8: JUMPDEST
00002ef9: DUP3
00002efa: DUP1
00002efb: ADD
00002efc: PUSH1 0x01
00002efe: ADD
00002eff: DUP6
00002f00: SSTORE
00002f01: DUP3
00002f02: ISZERO
00002f03: PUSH2 0x2f25
00002f06: JUMPI
00002f07: SWAP2
00002f08: DUP3
00002f09: ADD
00002f0a: JUMPDEST
00002f0b: DUP3
00002f0c: DUP2
00002f0d: GT
00002f0e: ISZERO
00002f0f: PUSH2 0x2f25
00002f12: JUMPI
00002f13: DUP3
00002f14: MLOAD
00002f15: DUP3
00002f16: SSTORE
00002f17: SWAP2
00002f18: PUSH1 0x20
00002f1a: ADD
00002f1b: SWAP2
00002f1c: SWAP1
00002f1d: PUSH1 0x01
00002f1f: ADD
00002f20: SWAP1
00002f21: PUSH2 0x2f0a
00002f24: JUMP
00002f25: JUMPDEST
00002f26: POP
00002f27: PUSH2 0x2f31
00002f2a: SWAP3
00002f2b: SWAP2
00002f2c: POP
00002f2d: PUSH2 0x2f5c
00002f30: JUMP
00002f31: JUMPDEST
00002f32: POP
00002f33: SWAP1
00002f34: JUMP
00002f35: JUMPDEST
00002f36: PUSH1 0x40
00002f38: MLOAD
00002f39: DUP1
00002f3a: PUSH1 0xe0
00002f3c: ADD
00002f3d: PUSH1 0x40
00002f3f: MSTORE
00002f40: DUP1
00002f41: PUSH1 0x07
00002f43: SWAP1
00002f44: JUMPDEST
00002f45: PUSH1 0x60
00002f47: DUP2
00002f48: MSTORE
00002f49: PUSH1 0x20
00002f4b: ADD
00002f4c: SWAP1
00002f4d: PUSH1 0x01
00002f4f: SWAP1
00002f50: SUB
00002f51: SWAP1
00002f52: DUP2
00002f53: PUSH2 0x2f44
00002f56: JUMPI
00002f57: SWAP1
00002f58: POP
00002f59: POP
00002f5a: SWAP1
00002f5b: JUMP
00002f5c: JUMPDEST
00002f5d: JUMPDEST
00002f5e: DUP1
00002f5f: DUP3
00002f60: GT
00002f61: ISZERO
00002f62: PUSH2 0x2f31
00002f65: JUMPI
00002f66: PUSH1 0x00
00002f68: DUP2
00002f69: SSTORE
00002f6a: PUSH1 0x01
00002f6c: ADD
00002f6d: PUSH2 0x2f5d
00002f70: JUMP
00002f71: JUMPDEST
00002f72: PUSH1 0x01
00002f74: PUSH1 0x01
00002f76: PUSH1 0xe0
00002f78: SHL
00002f79: SUB
00002f7a: NOT
00002f7b: DUP2
00002f7c: AND
00002f7d: DUP2
00002f7e: EQ
00002f7f: PUSH2 0x2076
00002f82: JUMPI
00002f83: PUSH1 0x00
00002f85: DUP1
00002f86: REVERT
00002f87: JUMPDEST
00002f88: PUSH1 0x00
00002f8a: PUSH1 0x20
00002f8c: DUP3
00002f8d: DUP5
00002f8e: SUB
00002f8f: SLT
00002f90: ISZERO
00002f91: PUSH2 0x2f99
00002f94: JUMPI
00002f95: PUSH1 0x00
00002f97: DUP1
00002f98: REVERT
00002f99: JUMPDEST
00002f9a: DUP2
00002f9b: CALLDATALOAD
00002f9c: PUSH2 0x2fa4
00002f9f: DUP2
00002fa0: PUSH2 0x2f71
00002fa3: JUMP
00002fa4: JUMPDEST
00002fa5: SWAP4
00002fa6: SWAP3
00002fa7: POP
00002fa8: POP
00002fa9: POP
00002faa: JUMP
00002fab: JUMPDEST
00002fac: PUSH1 0x00
00002fae: JUMPDEST
00002faf: DUP4
00002fb0: DUP2
00002fb1: LT
00002fb2: ISZERO
00002fb3: PUSH2 0x2fc6
00002fb6: JUMPI
00002fb7: DUP2
00002fb8: DUP2
00002fb9: ADD
00002fba: MLOAD
00002fbb: DUP4
00002fbc: DUP3
00002fbd: ADD
00002fbe: MSTORE
00002fbf: PUSH1 0x20
00002fc1: ADD
00002fc2: PUSH2 0x2fae
00002fc5: JUMP
00002fc6: JUMPDEST
00002fc7: DUP4
00002fc8: DUP2
00002fc9: GT
00002fca: ISZERO
00002fcb: PUSH2 0x0be5
00002fce: JUMPI
00002fcf: POP
00002fd0: POP
00002fd1: PUSH1 0x00
00002fd3: SWAP2
00002fd4: ADD
00002fd5: MSTORE
00002fd6: JUMP
00002fd7: JUMPDEST
00002fd8: PUSH1 0x00
00002fda: DUP2
00002fdb: MLOAD
00002fdc: DUP1
00002fdd: DUP5
00002fde: MSTORE
00002fdf: PUSH2 0x2fef
00002fe2: DUP2
00002fe3: PUSH1 0x20
00002fe5: DUP7
00002fe6: ADD
00002fe7: PUSH1 0x20
00002fe9: DUP7
00002fea: ADD
00002feb: PUSH2 0x2fab
00002fee: JUMP
00002fef: JUMPDEST
00002ff0: PUSH1 0x1f
00002ff2: ADD
00002ff3: PUSH1 0x1f
00002ff5: NOT
00002ff6: AND
00002ff7: SWAP3
00002ff8: SWAP1
00002ff9: SWAP3
00002ffa: ADD
00002ffb: PUSH1 0x20
00002ffd: ADD
00002ffe: SWAP3
00002fff: SWAP2
00003000: POP
00003001: POP
00003002: JUMP
00003003: JUMPDEST
00003004: PUSH1 0x20
00003006: DUP2
00003007: MSTORE
00003008: PUSH1 0x00
0000300a: PUSH2 0x2fa4
0000300d: PUSH1 0x20
0000300f: DUP4
00003010: ADD
00003011: DUP5
00003012: PUSH2 0x2fd7
00003015: JUMP
00003016: JUMPDEST
00003017: PUSH1 0x00
00003019: PUSH1 0x20
0000301b: DUP3
0000301c: DUP5
0000301d: SUB
0000301e: SLT
0000301f: ISZERO
00003020: PUSH2 0x3028
00003023: JUMPI
00003024: PUSH1 0x00
00003026: DUP1
00003027: REVERT
00003028: JUMPDEST
00003029: POP
0000302a: CALLDATALOAD
0000302b: SWAP2
0000302c: SWAP1
0000302d: POP
0000302e: JUMP
0000302f: JUMPDEST
00003030: PUSH1 0x01
00003032: PUSH1 0x01
00003034: PUSH1 0xa0
00003036: SHL
00003037: SUB
00003038: DUP2
00003039: AND
0000303a: DUP2
0000303b: EQ
0000303c: PUSH2 0x2076
0000303f: JUMPI
00003040: PUSH1 0x00
00003042: DUP1
00003043: REVERT
00003044: JUMPDEST
00003045: PUSH1 0x00
00003047: DUP1
00003048: PUSH1 0x40
0000304a: DUP4
0000304b: DUP6
0000304c: SUB
0000304d: SLT
0000304e: ISZERO
0000304f: PUSH2 0x3057
00003052: JUMPI
00003053: PUSH1 0x00
00003055: DUP1
00003056: REVERT
00003057: JUMPDEST
00003058: DUP3
00003059: CALLDATALOAD
0000305a: PUSH2 0x3062
0000305d: DUP2
0000305e: PUSH2 0x302f
00003061: JUMP
00003062: JUMPDEST
00003063: SWAP5
00003064: PUSH1 0x20
00003066: SWAP4
00003067: SWAP1
00003068: SWAP4
00003069: ADD
0000306a: CALLDATALOAD
0000306b: SWAP4
0000306c: POP
0000306d: POP
0000306e: POP
0000306f: JUMP
00003070: JUMPDEST
00003071: PUSH1 0x00
00003073: DUP1
00003074: PUSH1 0x00
00003076: PUSH1 0x60
00003078: DUP5
00003079: DUP7
0000307a: SUB
0000307b: SLT
0000307c: ISZERO
0000307d: PUSH2 0x3085
00003080: JUMPI
00003081: PUSH1 0x00
00003083: DUP1
00003084: REVERT
00003085: JUMPDEST
00003086: DUP4
00003087: CALLDATALOAD
00003088: PUSH2 0x3090
0000308b: DUP2
0000308c: PUSH2 0x302f
0000308f: JUMP
00003090: JUMPDEST
00003091: SWAP3
00003092: POP
00003093: PUSH1 0x20
00003095: DUP5
00003096: ADD
00003097: CALLDATALOAD
00003098: PUSH2 0x30a0
0000309b: DUP2
0000309c: PUSH2 0x302f
0000309f: JUMP
000030a0: JUMPDEST
000030a1: SWAP3
000030a2: SWAP6
000030a3: SWAP3
000030a4: SWAP5
000030a5: POP
000030a6: POP
000030a7: POP
000030a8: PUSH1 0x40
000030aa: SWAP2
000030ab: SWAP1
000030ac: SWAP2
000030ad: ADD
000030ae: CALLDATALOAD
000030af: SWAP1
000030b0: JUMP
000030b1: JUMPDEST
000030b2: PUSH1 0x00
000030b4: PUSH1 0x20
000030b6: DUP3
000030b7: DUP5
000030b8: SUB
000030b9: SLT
000030ba: ISZERO
000030bb: PUSH2 0x30c3
000030be: JUMPI
000030bf: PUSH1 0x00
000030c1: DUP1
000030c2: REVERT
000030c3: JUMPDEST
000030c4: DUP2
000030c5: CALLDATALOAD
000030c6: PUSH2 0x2fa4
000030c9: DUP2
000030ca: PUSH2 0x302f
000030cd: JUMP
000030ce: JUMPDEST
000030cf: PUSH1 0x00
000030d1: DUP1
000030d2: PUSH1 0x00
000030d4: DUP1
000030d5: PUSH1 0x00
000030d7: PUSH1 0xa0
000030d9: DUP7
000030da: DUP9
000030db: SUB
000030dc: SLT
000030dd: ISZERO
000030de: PUSH2 0x30e6
000030e1: JUMPI
000030e2: PUSH1 0x00
000030e4: DUP1
000030e5: REVERT
000030e6: JUMPDEST
000030e7: POP
000030e8: POP
000030e9: DUP4
000030ea: CALLDATALOAD
000030eb: SWAP6
000030ec: PUSH1 0x20
000030ee: DUP6
000030ef: ADD
000030f0: CALLDATALOAD
000030f1: SWAP6
000030f2: POP
000030f3: PUSH1 0x40
000030f5: DUP6
000030f6: ADD
000030f7: CALLDATALOAD
000030f8: SWAP5
000030f9: PUSH1 0x60
000030fb: DUP2
000030fc: ADD
000030fd: CALLDATALOAD
000030fe: SWAP5
000030ff: POP
00003100: PUSH1 0x80
00003102: ADD
00003103: CALLDATALOAD
00003104: SWAP3
00003105: POP
00003106: SWAP1
00003107: POP
00003108: JUMP
00003109: JUMPDEST
0000310a: DUP1
0000310b: CALLDATALOAD
0000310c: DUP1
0000310d: ISZERO
0000310e: ISZERO
0000310f: DUP2
00003110: EQ
00003111: PUSH2 0x0ee2
00003114: JUMPI
00003115: PUSH1 0x00
00003117: DUP1
00003118: REVERT
00003119: JUMPDEST
0000311a: PUSH1 0x00
0000311c: PUSH1 0x20
0000311e: DUP3
0000311f: DUP5
00003120: SUB
00003121: SLT
00003122: ISZERO
00003123: PUSH2 0x312b
00003126: JUMPI
00003127: PUSH1 0x00
00003129: DUP1
0000312a: REVERT
0000312b: JUMPDEST
0000312c: PUSH2 0x2fa4
0000312f: DUP3
00003130: PUSH2 0x3109
00003133: JUMP
00003134: JUMPDEST
00003135: PUSH4 0x4e487b71
0000313a: PUSH1 0xe0
0000313c: SHL
0000313d: PUSH1 0x00
0000313f: MSTORE
00003140: PUSH1 0x41
00003142: PUSH1 0x04
00003144: MSTORE
00003145: PUSH1 0x24
00003147: PUSH1 0x00
00003149: REVERT
0000314a: JUMPDEST
0000314b: PUSH1 0x40
0000314d: MLOAD
0000314e: PUSH1 0x1f
00003150: DUP3
00003151: ADD
00003152: PUSH1 0x1f
00003154: NOT
00003155: AND
00003156: DUP2
00003157: ADD
00003158: PUSH8 0xffffffffffffffff
00003161: DUP2
00003162: GT
00003163: DUP3
00003164: DUP3
00003165: LT
00003166: OR
00003167: ISZERO
00003168: PUSH2 0x3173
0000316b: JUMPI
0000316c: PUSH2 0x3173
0000316f: PUSH2 0x3134
00003172: JUMP
00003173: JUMPDEST
00003174: PUSH1 0x40
00003176: MSTORE
00003177: SWAP2
00003178: SWAP1
00003179: POP
0000317a: JUMP
0000317b: JUMPDEST
0000317c: PUSH1 0x00
0000317e: DUP1
0000317f: PUSH1 0x00
00003181: PUSH1 0x60
00003183: DUP5
00003184: DUP7
00003185: SUB
00003186: SLT
00003187: ISZERO
00003188: PUSH2 0x3190
0000318b: JUMPI
0000318c: PUSH1 0x00
0000318e: DUP1
0000318f: REVERT
00003190: JUMPDEST
00003191: DUP4
00003192: CALLDATALOAD
00003193: PUSH8 0xffffffffffffffff
0000319c: DUP1
0000319d: DUP3
0000319e: GT
0000319f: ISZERO
000031a0: PUSH2 0x31a8
000031a3: JUMPI
000031a4: PUSH1 0x00
000031a6: DUP1
000031a7: REVERT
000031a8: JUMPDEST
000031a9: DUP2
000031aa: DUP7
000031ab: ADD
000031ac: SWAP2
000031ad: POP
000031ae: DUP7
000031af: PUSH1 0x1f
000031b1: DUP4
000031b2: ADD
000031b3: SLT
000031b4: PUSH2 0x31bc
000031b7: JUMPI
000031b8: PUSH1 0x00
000031ba: DUP1
000031bb: REVERT
000031bc: JUMPDEST
000031bd: DUP2
000031be: CALLDATALOAD
000031bf: PUSH1 0x20
000031c1: DUP3
000031c2: DUP3
000031c3: GT
000031c4: ISZERO
000031c5: PUSH2 0x31d0
000031c8: JUMPI
000031c9: PUSH2 0x31d0
000031cc: PUSH2 0x3134
000031cf: JUMP
000031d0: JUMPDEST
000031d1: DUP2
000031d2: PUSH1 0x05
000031d4: SHL
000031d5: SWAP3
000031d6: POP
000031d7: PUSH2 0x31e1
000031da: DUP2
000031db: DUP5
000031dc: ADD
000031dd: PUSH2 0x314a
000031e0: JUMP
000031e1: JUMPDEST
000031e2: DUP3
000031e3: DUP2
000031e4: MSTORE
000031e5: SWAP3
000031e6: DUP5
000031e7: ADD
000031e8: DUP2
000031e9: ADD
000031ea: SWAP3
000031eb: DUP2
000031ec: DUP2
000031ed: ADD
000031ee: SWAP1
000031ef: DUP11
000031f0: DUP6
000031f1: GT
000031f2: ISZERO
000031f3: PUSH2 0x31fb
000031f6: JUMPI
000031f7: PUSH1 0x00
000031f9: DUP1
000031fa: REVERT
000031fb: JUMPDEST
000031fc: SWAP5
000031fd: DUP3
000031fe: ADD
000031ff: SWAP5
00003200: JUMPDEST
00003201: DUP5
00003202: DUP7
00003203: LT
00003204: ISZERO
00003205: PUSH2 0x3225
00003208: JUMPI
00003209: DUP6
0000320a: CALLDATALOAD
0000320b: SWAP4
0000320c: POP
0000320d: PUSH2 0x3215
00003210: DUP5
00003211: PUSH2 0x302f
00003214: JUMP
00003215: JUMPDEST
00003216: DUP4
00003217: DUP3
00003218: MSTORE
00003219: SWAP5
0000321a: DUP3
0000321b: ADD
0000321c: SWAP5
0000321d: SWAP1
0000321e: DUP3
0000321f: ADD
00003220: SWAP1
00003221: PUSH2 0x3200
00003224: JUMP
00003225: JUMPDEST
00003226: SWAP11
00003227: SWAP2
00003228: DUP10
00003229: ADD
0000322a: CALLDATALOAD
0000322b: SWAP10
0000322c: POP
0000322d: POP
0000322e: PUSH1 0x40
00003230: SWAP1
00003231: SWAP8
00003232: ADD
00003233: CALLDATALOAD
00003234: SWAP7
00003235: SWAP6
00003236: POP
00003237: POP
00003238: POP
00003239: POP
0000323a: POP
0000323b: POP
0000323c: JUMP
0000323d: JUMPDEST
0000323e: PUSH1 0x00
00003240: DUP1
00003241: PUSH1 0x20
00003243: DUP4
00003244: DUP6
00003245: SUB
00003246: SLT
00003247: ISZERO
00003248: PUSH2 0x3250
0000324b: JUMPI
0000324c: PUSH1 0x00
0000324e: DUP1
0000324f: REVERT
00003250: JUMPDEST
00003251: DUP3
00003252: CALLDATALOAD
00003253: PUSH8 0xffffffffffffffff
0000325c: DUP1
0000325d: DUP3
0000325e: GT
0000325f: ISZERO
00003260: PUSH2 0x3268
00003263: JUMPI
00003264: PUSH1 0x00
00003266: DUP1
00003267: REVERT
00003268: JUMPDEST
00003269: DUP2
0000326a: DUP6
0000326b: ADD
0000326c: SWAP2
0000326d: POP
0000326e: DUP6
0000326f: PUSH1 0x1f
00003271: DUP4
00003272: ADD
00003273: SLT
00003274: PUSH2 0x327c
00003277: JUMPI
00003278: PUSH1 0x00
0000327a: DUP1
0000327b: REVERT
0000327c: JUMPDEST
0000327d: DUP2
0000327e: CALLDATALOAD
0000327f: DUP2
00003280: DUP2
00003281: GT
00003282: ISZERO
00003283: PUSH2 0x328b
00003286: JUMPI
00003287: PUSH1 0x00
00003289: DUP1
0000328a: REVERT
0000328b: JUMPDEST
0000328c: DUP7
0000328d: PUSH1 0x20
0000328f: DUP3
00003290: PUSH1 0x05
00003292: SHL
00003293: DUP6
00003294: ADD
00003295: ADD
00003296: GT
00003297: ISZERO
00003298: PUSH2 0x32a0
0000329b: JUMPI
0000329c: PUSH1 0x00
0000329e: DUP1
0000329f: REVERT
000032a0: JUMPDEST
000032a1: PUSH1 0x20
000032a3: SWAP3
000032a4: SWAP1
000032a5: SWAP3
000032a6: ADD
000032a7: SWAP7
000032a8: SWAP2
000032a9: SWAP6
000032aa: POP
000032ab: SWAP1
000032ac: SWAP4
000032ad: POP
000032ae: POP
000032af: POP
000032b0: POP
000032b1: JUMP
000032b2: JUMPDEST
000032b3: PUSH1 0x00
000032b5: PUSH8 0xffffffffffffffff
000032be: DUP4
000032bf: GT
000032c0: ISZERO
000032c1: PUSH2 0x32cc
000032c4: JUMPI
000032c5: PUSH2 0x32cc
000032c8: PUSH2 0x3134
000032cb: JUMP
000032cc: JUMPDEST
000032cd: PUSH2 0x32df
000032d0: PUSH1 0x1f
000032d2: DUP5
000032d3: ADD
000032d4: PUSH1 0x1f
000032d6: NOT
000032d7: AND
000032d8: PUSH1 0x20
000032da: ADD
000032db: PUSH2 0x314a
000032de: JUMP
000032df: JUMPDEST
000032e0: SWAP1
000032e1: POP
000032e2: DUP3
000032e3: DUP2
000032e4: MSTORE
000032e5: DUP4
000032e6: DUP4
000032e7: DUP4
000032e8: ADD
000032e9: GT
000032ea: ISZERO
000032eb: PUSH2 0x32f3
000032ee: JUMPI
000032ef: PUSH1 0x00
000032f1: DUP1
000032f2: REVERT
000032f3: JUMPDEST
000032f4: DUP3
000032f5: DUP3
000032f6: PUSH1 0x20
000032f8: DUP4
000032f9: ADD
000032fa: CALLDATACOPY
000032fb: PUSH1 0x00
000032fd: PUSH1 0x20
000032ff: DUP5
00003300: DUP4
00003301: ADD
00003302: ADD
00003303: MSTORE
00003304: SWAP4
00003305: SWAP3
00003306: POP
00003307: POP
00003308: POP
00003309: JUMP
0000330a: JUMPDEST
0000330b: PUSH1 0x00
0000330d: PUSH1 0x20
0000330f: DUP3
00003310: DUP5
00003311: SUB
00003312: SLT
00003313: ISZERO
00003314: PUSH2 0x331c
00003317: JUMPI
00003318: PUSH1 0x00
0000331a: DUP1
0000331b: REVERT
0000331c: JUMPDEST
0000331d: DUP2
0000331e: CALLDATALOAD
0000331f: PUSH8 0xffffffffffffffff
00003328: DUP2
00003329: GT
0000332a: ISZERO
0000332b: PUSH2 0x3333
0000332e: JUMPI
0000332f: PUSH1 0x00
00003331: DUP1
00003332: REVERT
00003333: JUMPDEST
00003334: DUP3
00003335: ADD
00003336: PUSH1 0x1f
00003338: DUP2
00003339: ADD
0000333a: DUP5
0000333b: SGT
0000333c: PUSH2 0x3344
0000333f: JUMPI
00003340: PUSH1 0x00
00003342: DUP1
00003343: REVERT
00003344: JUMPDEST
00003345: PUSH2 0x1fd6
00003348: DUP5
00003349: DUP3
0000334a: CALLDATALOAD
0000334b: PUSH1 0x20
0000334d: DUP5
0000334e: ADD
0000334f: PUSH2 0x32b2
00003352: JUMP
00003353: JUMPDEST
00003354: PUSH1 0x00
00003356: DUP1
00003357: PUSH1 0x40
00003359: DUP4
0000335a: DUP6
0000335b: SUB
0000335c: SLT
0000335d: ISZERO
0000335e: PUSH2 0x3366
00003361: JUMPI
00003362: PUSH1 0x00
00003364: DUP1
00003365: REVERT
00003366: JUMPDEST
00003367: DUP3
00003368: CALLDATALOAD
00003369: PUSH2 0x3371
0000336c: DUP2
0000336d: PUSH2 0x302f
00003370: JUMP
00003371: JUMPDEST
00003372: SWAP2
00003373: POP
00003374: PUSH2 0x337f
00003377: PUSH1 0x20
00003379: DUP5
0000337a: ADD
0000337b: PUSH2 0x3109
0000337e: JUMP
0000337f: JUMPDEST
00003380: SWAP1
00003381: POP
00003382: SWAP3
00003383: POP
00003384: SWAP3
00003385: SWAP1
00003386: POP
00003387: JUMP
00003388: JUMPDEST
00003389: PUSH1 0x00
0000338b: DUP1
0000338c: PUSH1 0x00
0000338e: DUP1
0000338f: PUSH1 0x80
00003391: DUP6
00003392: DUP8
00003393: SUB
00003394: SLT
00003395: ISZERO
00003396: PUSH2 0x339e
00003399: JUMPI
0000339a: PUSH1 0x00
0000339c: DUP1
0000339d: REVERT
0000339e: JUMPDEST
0000339f: DUP5
000033a0: CALLDATALOAD
000033a1: PUSH2 0x33a9
000033a4: DUP2
000033a5: PUSH2 0x302f
000033a8: JUMP
000033a9: JUMPDEST
000033aa: SWAP4
000033ab: POP
000033ac: PUSH1 0x20
000033ae: DUP6
000033af: ADD
000033b0: CALLDATALOAD
000033b1: PUSH2 0x33b9
000033b4: DUP2
000033b5: PUSH2 0x302f
000033b8: JUMP
000033b9: JUMPDEST
000033ba: SWAP3
000033bb: POP
000033bc: PUSH1 0x40
000033be: DUP6
000033bf: ADD
000033c0: CALLDATALOAD
000033c1: SWAP2
000033c2: POP
000033c3: PUSH1 0x60
000033c5: DUP6
000033c6: ADD
000033c7: CALLDATALOAD
000033c8: PUSH8 0xffffffffffffffff
000033d1: DUP2
000033d2: GT
000033d3: ISZERO
000033d4: PUSH2 0x33dc
000033d7: JUMPI
000033d8: PUSH1 0x00
000033da: DUP1
000033db: REVERT
000033dc: JUMPDEST
000033dd: DUP6
000033de: ADD
000033df: PUSH1 0x1f
000033e1: DUP2
000033e2: ADD
000033e3: DUP8
000033e4: SGT
000033e5: PUSH2 0x33ed
000033e8: JUMPI
000033e9: PUSH1 0x00
000033eb: DUP1
000033ec: REVERT
000033ed: JUMPDEST
000033ee: PUSH2 0x33fc
000033f1: DUP8
000033f2: DUP3
000033f3: CALLDATALOAD
000033f4: PUSH1 0x20
000033f6: DUP5
000033f7: ADD
000033f8: PUSH2 0x32b2
000033fb: JUMP
000033fc: JUMPDEST
000033fd: SWAP2
000033fe: POP
000033ff: POP
00003400: SWAP3
00003401: SWAP6
00003402: SWAP2
00003403: SWAP5
00003404: POP
00003405: SWAP3
00003406: POP
00003407: JUMP
00003408: JUMPDEST
00003409: PUSH1 0x00
0000340b: DUP1
0000340c: PUSH1 0x40
0000340e: DUP4
0000340f: DUP6
00003410: SUB
00003411: SLT
00003412: ISZERO
00003413: PUSH2 0x341b
00003416: JUMPI
00003417: PUSH1 0x00
00003419: DUP1
0000341a: REVERT
0000341b: JUMPDEST
0000341c: DUP3
0000341d: CALLDATALOAD
0000341e: PUSH2 0x3426
00003421: DUP2
00003422: PUSH2 0x302f
00003425: JUMP
00003426: JUMPDEST
00003427: SWAP2
00003428: POP
00003429: PUSH1 0x20
0000342b: DUP4
0000342c: ADD
0000342d: CALLDATALOAD
0000342e: PUSH2 0x3436
00003431: DUP2
00003432: PUSH2 0x302f
00003435: JUMP
00003436: JUMPDEST
00003437: DUP1
00003438: SWAP2
00003439: POP
0000343a: POP
0000343b: SWAP3
0000343c: POP
0000343d: SWAP3
0000343e: SWAP1
0000343f: POP
00003440: JUMP
00003441: JUMPDEST
00003442: PUSH1 0x01
00003444: DUP2
00003445: DUP2
00003446: SHR
00003447: SWAP1
00003448: DUP3
00003449: AND
0000344a: DUP1
0000344b: PUSH2 0x3455
0000344e: JUMPI
0000344f: PUSH1 0x7f
00003451: DUP3
00003452: AND
00003453: SWAP2
00003454: POP
00003455: JUMPDEST
00003456: PUSH1 0x20
00003458: DUP3
00003459: LT
0000345a: DUP2
0000345b: EQ
0000345c: ISZERO
0000345d: PUSH2 0x3476
00003460: JUMPI
00003461: PUSH4 0x4e487b71
00003466: PUSH1 0xe0
00003468: SHL
00003469: PUSH1 0x00
0000346b: MSTORE
0000346c: PUSH1 0x22
0000346e: PUSH1 0x04
00003470: MSTORE
00003471: PUSH1 0x24
00003473: PUSH1 0x00
00003475: REVERT
00003476: JUMPDEST
00003477: POP
00003478: SWAP2
00003479: SWAP1
0000347a: POP
0000347b: JUMP
0000347c: JUMPDEST
0000347d: PUSH1 0x20
0000347f: DUP1
00003480: DUP3
00003481: MSTORE
00003482: PUSH1 0x13
00003484: SWAP1
00003485: DUP3
00003486: ADD
00003487: MSTORE
00003488: PUSH19 0x141b185b88191bd95cc81b9bdd08195e1a5cdd
0000349c: PUSH1 0x6a
0000349e: SHL
0000349f: PUSH1 0x40
000034a1: DUP3
000034a2: ADD
000034a3: MSTORE
000034a4: PUSH1 0x60
000034a6: ADD
000034a7: SWAP1
000034a8: JUMP
000034a9: JUMPDEST
000034aa: PUSH4 0x4e487b71
000034af: PUSH1 0xe0
000034b1: SHL
000034b2: PUSH1 0x00
000034b4: MSTORE
000034b5: PUSH1 0x11
000034b7: PUSH1 0x04
000034b9: MSTORE
000034ba: PUSH1 0x24
000034bc: PUSH1 0x00
000034be: REVERT
000034bf: JUMPDEST
000034c0: PUSH1 0x00
000034c2: DUP3
000034c3: NOT
000034c4: DUP3
000034c5: GT
000034c6: ISZERO
000034c7: PUSH2 0x34d2
000034ca: JUMPI
000034cb: PUSH2 0x34d2
000034ce: PUSH2 0x34a9
000034d1: JUMP
000034d2: JUMPDEST
000034d3: POP
000034d4: ADD
000034d5: SWAP1
000034d6: JUMP
000034d7: JUMPDEST
000034d8: PUSH1 0x20
000034da: DUP1
000034db: DUP3
000034dc: MSTORE
000034dd: PUSH1 0x31
000034df: SWAP1
000034e0: DUP3
000034e1: ADD
000034e2: MSTORE
000034e3: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
00003504: PUSH1 0x40
00003506: DUP3
00003507: ADD
00003508: MSTORE
00003509: PUSH17 0x1ddb995c881b9bdc88185c1c1c9bdd9959
0000351b: PUSH1 0x7a
0000351d: SHL
0000351e: PUSH1 0x60
00003520: DUP3
00003521: ADD
00003522: MSTORE
00003523: PUSH1 0x80
00003525: ADD
00003526: SWAP1
00003527: JUMP
00003528: JUMPDEST
00003529: PUSH1 0x00
0000352b: PUSH1 0x20
0000352d: DUP3
0000352e: DUP5
0000352f: SUB
00003530: SLT
00003531: ISZERO
00003532: PUSH2 0x353a
00003535: JUMPI
00003536: PUSH1 0x00
00003538: DUP1
00003539: REVERT
0000353a: JUMPDEST
0000353b: POP
0000353c: MLOAD
0000353d: SWAP2
0000353e: SWAP1
0000353f: POP
00003540: JUMP
00003541: JUMPDEST
00003542: PUSH1 0x20
00003544: DUP1
00003545: DUP3
00003546: MSTORE
00003547: DUP2
00003548: DUP2
00003549: ADD
0000354a: MSTORE
0000354b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000356c: PUSH1 0x40
0000356e: DUP3
0000356f: ADD
00003570: MSTORE
00003571: PUSH1 0x60
00003573: ADD
00003574: SWAP1
00003575: JUMP
00003576: JUMPDEST
00003577: PUSH1 0x00
00003579: PUSH1 0x00
0000357b: NOT
0000357c: DUP3
0000357d: EQ
0000357e: ISZERO
0000357f: PUSH2 0x358a
00003582: JUMPI
00003583: PUSH2 0x358a
00003586: PUSH2 0x34a9
00003589: JUMP
0000358a: JUMPDEST
0000358b: POP
0000358c: PUSH1 0x01
0000358e: ADD
0000358f: SWAP1
00003590: JUMP
00003591: JUMPDEST
00003592: PUSH4 0x4e487b71
00003597: PUSH1 0xe0
00003599: SHL
0000359a: PUSH1 0x00
0000359c: MSTORE
0000359d: PUSH1 0x32
0000359f: PUSH1 0x04
000035a1: MSTORE
000035a2: PUSH1 0x24
000035a4: PUSH1 0x00
000035a6: REVERT
000035a7: JUMPDEST
000035a8: PUSH1 0x20
000035aa: DUP1
000035ab: DUP3
000035ac: MSTORE
000035ad: PUSH1 0x0c
000035af: SWAP1
000035b0: DUP3
000035b1: ADD
000035b2: MSTORE
000035b3: PUSH12 0x4f7574206f662073746f636b
000035c0: PUSH1 0xa0
000035c2: SHL
000035c3: PUSH1 0x40
000035c5: DUP3
000035c6: ADD
000035c7: MSTORE
000035c8: PUSH1 0x60
000035ca: ADD
000035cb: SWAP1
000035cc: JUMP
000035cd: JUMPDEST
000035ce: PUSH1 0x20
000035d0: DUP1
000035d1: DUP3
000035d2: MSTORE
000035d3: PUSH1 0x1d
000035d5: SWAP1
000035d6: DUP3
000035d7: ADD
000035d8: MSTORE
000035d9: PUSH32 0x496e636f72726563742076616c75652073656e7420666f72206d696e74000000
000035fa: PUSH1 0x40
000035fc: DUP3
000035fd: ADD
000035fe: MSTORE
000035ff: PUSH1 0x60
00003601: ADD
00003602: SWAP1
00003603: JUMP
00003604: JUMPDEST
00003605: PUSH1 0x00
00003607: DUP2
00003608: PUSH1 0x00
0000360a: NOT
0000360b: DIV
0000360c: DUP4
0000360d: GT
0000360e: DUP3
0000360f: ISZERO
00003610: ISZERO
00003611: AND
00003612: ISZERO
00003613: PUSH2 0x361e
00003616: JUMPI
00003617: PUSH2 0x361e
0000361a: PUSH2 0x34a9
0000361d: JUMP
0000361e: JUMPDEST
0000361f: POP
00003620: MUL
00003621: SWAP1
00003622: JUMP
00003623: JUMPDEST
00003624: PUSH32 0x7b226e616d65223a20224d657461736e697065722041636365737320546f6b65
00003645: DUP2
00003646: MSTORE
00003647: PUSH1 0x00
00003649: PUSH1 0x20
0000364b: PUSH32 0x6e222c20226465736372697074696f6e223a202241636365737320746f204d65
0000366c: DUP2
0000366d: DUP5
0000366e: ADD
0000366f: MSTORE
00003670: PUSH32 0x7461736e69706572207072697661746520636f6d6d756e69747920616e642074
00003691: PUSH1 0x40
00003693: DUP5
00003694: ADD
00003695: MSTORE
00003696: PUSH6 0x37b7b6399711
0000369d: PUSH1 0xd1
0000369f: SHL
000036a0: PUSH1 0x60
000036a2: DUP5
000036a3: ADD
000036a4: MSTORE
000036a5: DUP5
000036a6: MLOAD
000036a7: PUSH2 0x36b6
000036aa: DUP2
000036ab: PUSH1 0x66
000036ad: DUP7
000036ae: ADD
000036af: DUP5
000036b0: DUP10
000036b1: ADD
000036b2: PUSH2 0x2fab
000036b5: JUMP
000036b6: JUMPDEST
000036b7: PUSH10 0x1134b6b0b3b2911d1011
000036c2: PUSH1 0xb1
000036c4: SHL
000036c5: PUSH1 0x66
000036c7: SWAP2
000036c8: DUP6
000036c9: ADD
000036ca: SWAP2
000036cb: DUP3
000036cc: ADD
000036cd: MSTORE
000036ce: DUP5
000036cf: SLOAD
000036d0: PUSH1 0x70
000036d2: SWAP1
000036d3: PUSH1 0x00
000036d5: SWAP1
000036d6: PUSH1 0x01
000036d8: DUP2
000036d9: DUP2
000036da: SHR
000036db: SWAP1
000036dc: DUP1
000036dd: DUP4
000036de: AND
000036df: DUP1
000036e0: PUSH2 0x36ea
000036e3: JUMPI
000036e4: PUSH1 0x7f
000036e6: DUP4
000036e7: AND
000036e8: SWAP3
000036e9: POP
000036ea: JUMPDEST
000036eb: DUP8
000036ec: DUP4
000036ed: LT
000036ee: DUP2
000036ef: EQ
000036f0: ISZERO
000036f1: PUSH2 0x3708
000036f4: JUMPI
000036f5: PUSH4 0x4e487b71
000036fa: PUSH1 0xe0
000036fc: SHL
000036fd: DUP6
000036fe: MSTORE
000036ff: PUSH1 0x22
00003701: PUSH1 0x04
00003703: MSTORE
00003704: PUSH1 0x24
00003706: DUP6
00003707: REVERT
00003708: JUMPDEST
00003709: DUP1
0000370a: DUP1
0000370b: ISZERO
0000370c: PUSH2 0x371c
0000370f: JUMPI
00003710: PUSH1 0x01
00003712: DUP2
00003713: EQ
00003714: PUSH2 0x3731
00003717: JUMPI
00003718: PUSH2 0x3762
0000371b: JUMP
0000371c: JUMPDEST
0000371d: PUSH1 0xff
0000371f: NOT
00003720: DUP6
00003721: AND
00003722: DUP9
00003723: DUP9
00003724: ADD
00003725: MSTORE
00003726: DUP4
00003727: DUP9
00003728: ADD
00003729: DUP8
0000372a: ADD
0000372b: SWAP6
0000372c: POP
0000372d: PUSH2 0x3762
00003730: JUMP
00003731: JUMPDEST
00003732: PUSH1 0x00
00003734: DUP13
00003735: DUP2
00003736: MSTORE
00003737: PUSH1 0x20
00003739: SWAP1
0000373a: KECCAK256
0000373b: PUSH1 0x00
0000373d: JUMPDEST
0000373e: DUP6
0000373f: DUP2
00003740: LT
00003741: ISZERO
00003742: PUSH2 0x3758
00003745: JUMPI
00003746: DUP2
00003747: SLOAD
00003748: DUP11
00003749: DUP3
0000374a: ADD
0000374b: DUP11
0000374c: ADD
0000374d: MSTORE
0000374e: SWAP1
0000374f: DUP5
00003750: ADD
00003751: SWAP1
00003752: DUP11
00003753: ADD
00003754: PUSH2 0x373d
00003757: JUMP
00003758: JUMPDEST
00003759: POP
0000375a: POP
0000375b: DUP7
0000375c: DUP5
0000375d: DUP10
0000375e: ADD
0000375f: ADD
00003760: SWAP6
00003761: POP
00003762: JUMPDEST
00003763: POP
00003764: POP
00003765: POP
00003766: POP
00003767: POP
00003768: PUSH2 0x3779
0000376b: DUP2
0000376c: PUSH2 0x227d
0000376f: PUSH1 0xf0
00003771: SHL
00003772: DUP2
00003773: MSTORE
00003774: PUSH1 0x02
00003776: ADD
00003777: SWAP1
00003778: JUMP
00003779: JUMPDEST
0000377a: SWAP9
0000377b: SWAP8
0000377c: POP
0000377d: POP
0000377e: POP
0000377f: POP
00003780: POP
00003781: POP
00003782: POP
00003783: POP
00003784: JUMP
00003785: JUMPDEST
00003786: PUSH32 0x646174613a6170706c69636174696f6e2f6a736f6e3b6261736536342c000000
000037a7: DUP2
000037a8: MSTORE
000037a9: PUSH1 0x00
000037ab: DUP3
000037ac: MLOAD
000037ad: PUSH2 0x37bd
000037b0: DUP2
000037b1: PUSH1 0x1d
000037b3: DUP6
000037b4: ADD
000037b5: PUSH1 0x20
000037b7: DUP8
000037b8: ADD
000037b9: PUSH2 0x2fab
000037bc: JUMP
000037bd: JUMPDEST
000037be: SWAP2
000037bf: SWAP1
000037c0: SWAP2
000037c1: ADD
000037c2: PUSH1 0x1d
000037c4: ADD
000037c5: SWAP3
000037c6: SWAP2
000037c7: POP
000037c8: POP
000037c9: JUMP
000037ca: JUMPDEST
000037cb: PUSH1 0x00
000037cd: PUSH1 0x20
000037cf: DUP3
000037d0: DUP5
000037d1: SUB
000037d2: SLT
000037d3: ISZERO
000037d4: PUSH2 0x37dc
000037d7: JUMPI
000037d8: PUSH1 0x00
000037da: DUP1
000037db: REVERT
000037dc: JUMPDEST
000037dd: DUP2
000037de: MLOAD
000037df: PUSH2 0x2fa4
000037e2: DUP2
000037e3: PUSH2 0x302f
000037e6: JUMP
000037e7: JUMPDEST
000037e8: PUSH1 0x00
000037ea: DUP3
000037eb: DUP3
000037ec: LT
000037ed: ISZERO
000037ee: PUSH2 0x37f9
000037f1: JUMPI
000037f2: PUSH2 0x37f9
000037f5: PUSH2 0x34a9
000037f8: JUMP
000037f9: JUMPDEST
000037fa: POP
000037fb: SUB
000037fc: SWAP1
000037fd: JUMP
000037fe: JUMPDEST
000037ff: PUSH1 0x20
00003801: DUP1
00003802: DUP3
00003803: MSTORE
00003804: PUSH1 0x32
00003806: SWAP1
00003807: DUP3
00003808: ADD
00003809: MSTORE
0000380a: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
0000382b: PUSH1 0x40
0000382d: DUP3
0000382e: ADD
0000382f: MSTORE
00003830: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9
00003843: PUSH1 0x71
00003845: SHL
00003846: PUSH1 0x60
00003848: DUP3
00003849: ADD
0000384a: MSTORE
0000384b: PUSH1 0x80
0000384d: ADD
0000384e: SWAP1
0000384f: JUMP
00003850: JUMPDEST
00003851: PUSH1 0x00
00003853: DUP9
00003854: MLOAD
00003855: PUSH1 0x20
00003857: PUSH2 0x3863
0000385a: DUP3
0000385b: DUP6
0000385c: DUP4
0000385d: DUP15
0000385e: ADD
0000385f: PUSH2 0x2fab
00003862: JUMP
00003863: JUMPDEST
00003864: DUP10
00003865: MLOAD
00003866: SWAP2
00003867: DUP5
00003868: ADD
00003869: SWAP2
0000386a: PUSH2 0x3876
0000386d: DUP2
0000386e: DUP5
0000386f: DUP5
00003870: DUP15
00003871: ADD
00003872: PUSH2 0x2fab
00003875: JUMP
00003876: JUMPDEST
00003877: DUP10
00003878: MLOAD
00003879: SWAP3
0000387a: ADD
0000387b: SWAP2
0000387c: PUSH2 0x3888
0000387f: DUP2
00003880: DUP5
00003881: DUP5
00003882: DUP14
00003883: ADD
00003884: PUSH2 0x2fab
00003887: JUMP
00003888: JUMPDEST
00003889: DUP9
0000388a: MLOAD
0000388b: SWAP3
0000388c: ADD
0000388d: SWAP2
0000388e: PUSH2 0x389a
00003891: DUP2
00003892: DUP5
00003893: DUP5
00003894: DUP13
00003895: ADD
00003896: PUSH2 0x2fab
00003899: JUMP
0000389a: JUMPDEST
0000389b: DUP8
0000389c: MLOAD
0000389d: SWAP3
0000389e: ADD
0000389f: SWAP2
000038a0: PUSH2 0x38ac
000038a3: DUP2
000038a4: DUP5
000038a5: DUP5
000038a6: DUP12
000038a7: ADD
000038a8: PUSH2 0x2fab
000038ab: JUMP
000038ac: JUMPDEST
000038ad: DUP7
000038ae: MLOAD
000038af: SWAP3
000038b0: ADD
000038b1: SWAP2
000038b2: PUSH2 0x38be
000038b5: DUP2
000038b6: DUP5
000038b7: DUP5
000038b8: DUP11
000038b9: ADD
000038ba: PUSH2 0x2fab
000038bd: JUMP
000038be: JUMPDEST
000038bf: DUP6
000038c0: MLOAD
000038c1: SWAP3
000038c2: ADD
000038c3: SWAP2
000038c4: PUSH2 0x38d0
000038c7: DUP2
000038c8: DUP5
000038c9: DUP5
000038ca: DUP10
000038cb: ADD
000038cc: PUSH2 0x2fab
000038cf: JUMP
000038d0: JUMPDEST
000038d1: SWAP2
000038d2: SWAP1
000038d3: SWAP2
000038d4: ADD
000038d5: SWAP11
000038d6: SWAP10
000038d7: POP
000038d8: POP
000038d9: POP
000038da: POP
000038db: POP
000038dc: POP
000038dd: POP
000038de: POP
000038df: POP
000038e0: POP
000038e1: JUMP
000038e2: JUMPDEST
000038e3: PUSH4 0x4e487b71
000038e8: PUSH1 0xe0
000038ea: SHL
000038eb: PUSH1 0x00
000038ed: MSTORE
000038ee: PUSH1 0x12
000038f0: PUSH1 0x04
000038f2: MSTORE
000038f3: PUSH1 0x24
000038f5: PUSH1 0x00
000038f7: REVERT
000038f8: JUMPDEST
000038f9: PUSH1 0x00
000038fb: DUP3
000038fc: PUSH2 0x3907
000038ff: JUMPI
00003900: PUSH2 0x3907
00003903: PUSH2 0x38e2
00003906: JUMP
00003907: JUMPDEST
00003908: POP
00003909: DIV
0000390a: SWAP1
0000390b: JUMP
0000390c: JUMPDEST
0000390d: PUSH1 0x01
0000390f: PUSH1 0x01
00003911: PUSH1 0xa0
00003913: SHL
00003914: SUB
00003915: DUP6
00003916: DUP2
00003917: AND
00003918: DUP3
00003919: MSTORE
0000391a: DUP5
0000391b: AND
0000391c: PUSH1 0x20
0000391e: DUP3
0000391f: ADD
00003920: MSTORE
00003921: PUSH1 0x40
00003923: DUP2
00003924: ADD
00003925: DUP4
00003926: SWAP1
00003927: MSTORE
00003928: PUSH1 0x80
0000392a: PUSH1 0x60
0000392c: DUP3
0000392d: ADD
0000392e: DUP2
0000392f: SWAP1
00003930: MSTORE
00003931: PUSH1 0x00
00003933: SWAP1
00003934: PUSH2 0x393f
00003937: SWAP1
00003938: DUP4
00003939: ADD
0000393a: DUP5
0000393b: PUSH2 0x2fd7
0000393e: JUMP
0000393f: JUMPDEST
00003940: SWAP7
00003941: SWAP6
00003942: POP
00003943: POP
00003944: POP
00003945: POP
00003946: POP
00003947: POP
00003948: JUMP
00003949: JUMPDEST
0000394a: PUSH1 0x00
0000394c: PUSH1 0x20
0000394e: DUP3
0000394f: DUP5
00003950: SUB
00003951: SLT
00003952: ISZERO
00003953: PUSH2 0x395b
00003956: JUMPI
00003957: PUSH1 0x00
00003959: DUP1
0000395a: REVERT
0000395b: JUMPDEST
0000395c: DUP2
0000395d: MLOAD
0000395e: PUSH2 0x2fa4
00003961: DUP2
00003962: PUSH2 0x2f71
00003965: JUMP
00003966: JUMPDEST
00003967: PUSH1 0x00
00003969: DUP3
0000396a: PUSH2 0x3975
0000396d: JUMPI
0000396e: PUSH2 0x3975
00003971: PUSH2 0x38e2
00003974: JUMP
00003975: JUMPDEST
00003976: POP
00003977: MOD
00003978: SWAP1
00003979: JUMP
0000397a: JUMPDEST
0000397b: PUSH4 0x4e487b71
00003980: PUSH1 0xe0
00003982: SHL
00003983: PUSH1 0x00
00003985: MSTORE
00003986: PUSH1 0x31
00003988: PUSH1 0x04
0000398a: MSTORE
0000398b: PUSH1 0x24
0000398d: PUSH1 0x00
0000398f: REVERT
00003990: INVALID
00003991: UNKNOWN(0x2C)
00003992: KECCAK256
00003993: UNKNOWN(0x22)
00003994: PUSH2 0x7474
00003997: PUSH19 0x696275746573223a205b7b2274726169745f74
000039ab: PUSH26 0x7065223a202254696572222c2276616c7565223a2022227d2c20
000039c6: PUSH28 0x2274726169745f74797065223a202245787069726174696f6e222c22
000039e3: PUSH23 0x616c7565223a2022fd54ff1ed53f34a900b24c5ba64f85
000039fb: PUSH23 0x1163b5d82d98a47b9bd80e45466993c541424344454647
00003a13: BASEFEE
00003a14: BLOBHASH
00003a15: BLOBBASEFEE
00003a16: UNKNOWN(0x4B)
00003a17: UNKNOWN(0x4C)
00003a18: UNKNOWN(0x4D)
00003a19: UNKNOWN(0x4E)
00003a1a: UNKNOWN(0x4F)
00003a1b: POP
00003a1c: MLOAD
00003a1d: MSTORE
00003a1e: MSTORE8
00003a1f: SLOAD
00003a20: SSTORE
00003a21: JUMP
00003a22: JUMPI
00003a23: PC
00003a24: MSIZE
00003a25: GAS
00003a26: PUSH2 0x6263
00003a29: PUSH5 0x6566676869
00003a2f: PUSH11 0x6b6c6d6e6f707172737475
00003a3b: PUSH23 0x7778797a303132333435363738392b2f227d2c207b2274
00003a53: PUSH19 0x6169745f74797065223a202245787069726564
00003a67: UNKNOWN(0x22)
00003a68: UNKNOWN(0x2C)
00003a69: UNKNOWN(0x22)
00003a6a: PUSH23 0x616c7565223a2022a2646970667358221220bfbd1ecbc6
00003a82: DIFFICULTY
00003a83: UNKNOWN(0xDB)
00003a84: UNKNOWN(0xB1)
00003a85: UNKNOWN(0xC2)
00003a86: UNKNOWN(0xAD)
00003a87: UNKNOWN(0xAC)
00003a88: UNKNOWN(0xBA)
00003a89: PC
00003a8a: EXP
00003a8b: UNKNOWN(0xCD)
00003a8c: PUSH29

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xe27de23e935f5f44d2626607006b2c94d9427d32398eaf1198e7334ce994c9d3
call_targets: 0xb336ae11e840e8d38d1453fd3d876cf4797f6716
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xe27de23e935f5f44d2626607006b2c94d9427d32398eaf1198e7334ce994c9d3",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb336ae11e840e8d38d1453fd3d876cf4797f6716"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xd0c4e7fb",
            "selector": "0xd0c4e7fb",
            "calldata_variants": [
                "0xd0c4e7fb",
                "0xd0c4e7fb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7f3d6af",
            "selector": "0xd7f3d6af",
            "calldata_variants": [
                "0xd7f3d6af",
                "0xd7f3d6af0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe43082f7",
            "selector": "0xe43082f7",
            "calldata_variants": [
                "0xe43082f7",
                "0xe43082f70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe858ad03",
            "selector": "0xe858ad03",
            "calldata_variants": [
                "0xe858ad03",
                "0xe858ad030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa8fef4a7",
            "selector": "0xa8fef4a7",
            "calldata_variants": [
                "0xa8fef4a7",
                "0xa8fef4a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xae5303dd",
            "selector": "0xae5303dd",
            "calldata_variants": [
                "0xae5303dd",
                "0xae5303dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3433,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10609,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xe27de23e935f5f44d2626607006b2c94d9427d32398eaf1198e7334ce994c9d3
call_targets: 0xb336ae11e840e8d38d1453fd3d876cf4797f6716
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xe27de23e935f5f44d2626607006b2c94d9427d32398eaf1198e7334ce994c9d3",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb336ae11e840e8d38d1453fd3d876cf4797f6716"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xd0c4e7fb",
            "selector": "0xd0c4e7fb",
            "calldata_variants": [
                "0xd0c4e7fb",
                "0xd0c4e7fb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7f3d6af",
            "selector": "0xd7f3d6af",
            "calldata_variants": [
                "0xd7f3d6af",
                "0xd7f3d6af0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe43082f7",
            "selector": "0xe43082f7",
            "calldata_variants": [
                "0xe43082f7",
                "0xe43082f70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe858ad03",
            "selector": "0xe858ad03",
            "calldata_variants": [
                "0xe858ad03",
                "0xe858ad030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa8fef4a7",
            "selector": "0xa8fef4a7",
            "calldata_variants": [
                "0xa8fef4a7",
                "0xa8fef4a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xae5303dd",
            "selector": "0xae5303dd",
            "calldata_variants": [
                "0xae5303dd",
                "0xae5303dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3433,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10609,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}