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

Analysis Run

019b477e-cdf6-71b8-8f45-cabb86bdee66

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
27123 artifact.fetch complete 1 / 3 3 months ago
27124 tool.cast_disasm complete 1 / 3 3 months ago
70366 analysis.bundle complete 1 / 3 2 weeks ago
70367 capability.graph complete 1 / 3 2 weeks ago
70368 detector.run complete 1 / 3 2 weeks ago
70369 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)
10
EXT*/BALANCE
2
Total opcodes
8423
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 0x025f
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x614f3364
00000019: GT
0000001a: PUSH2 0x0144
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xaa97b0a0
00000024: GT
00000025: PUSH2 0x00b6
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xcbd258b5
0000002f: GT
00000030: PUSH2 0x007a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xcbd258b5
0000003a: EQ
0000003b: PUSH2 0x0805
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd18df53c
00000045: EQ
00000046: PUSH2 0x0835
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xd89ea34b
00000050: EQ
00000051: PUSH2 0x0855
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf0b37c04
0000005b: EQ
0000005c: PUSH2 0x0875
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf2fde38b
00000066: EQ
00000067: PUSH2 0x0895
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0xf887ea40
00000071: EQ
00000072: PUSH2 0x08b5
00000075: JUMPI
00000076: PUSH2 0x027d
00000079: JUMP
0000007a: JUMPDEST
0000007b: DUP1
0000007c: PUSH4 0xaa97b0a0
00000081: EQ
00000082: PUSH2 0x0755
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xad5c4648
0000008c: EQ
0000008d: PUSH2 0x0775
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xb6a5d7de
00000097: EQ
00000098: PUSH2 0x0795
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xb9181611
000000a2: EQ
000000a3: PUSH2 0x07b5
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xc0d78655
000000ad: EQ
000000ae: PUSH2 0x07e5
000000b1: JUMPI
000000b2: PUSH2 0x027d
000000b5: JUMP
000000b6: JUMPDEST
000000b7: DUP1
000000b8: PUSH4 0x715018a6
000000bd: GT
000000be: PUSH2 0x0108
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x715018a6
000000c8: EQ
000000c9: PUSH2 0x05e4
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x8da5cb5b
000000d3: EQ
000000d4: PUSH2 0x05f9
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x8dbb1e3a
000000de: EQ
000000df: PUSH2 0x0617
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x93f1a40b
000000e9: EQ
000000ea: PUSH2 0x0637
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0xa04e5c04
000000f4: EQ
000000f5: PUSH2 0x0715
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0xa5bb096d
000000ff: EQ
00000100: PUSH2 0x0735
00000103: JUMPI
00000104: PUSH2 0x027d
00000107: JUMP
00000108: JUMPDEST
00000109: DUP1
0000010a: PUSH4 0x614f3364
0000010f: EQ
00000110: PUSH2 0x0563
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x630b5ba1
0000011a: EQ
0000011b: PUSH2 0x0583
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x63cf070c
00000125: EQ
00000126: PUSH2 0x0598
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x65177b07
00000130: EQ
00000131: PUSH2 0x05ae
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0x67dcaf94
0000013b: EQ
0000013c: PUSH2 0x05ce
0000013f: JUMPI
00000140: PUSH2 0x027d
00000143: JUMP
00000144: JUMPDEST
00000145: DUP1
00000146: PUSH4 0x4460d3cf
0000014b: GT
0000014c: PUSH2 0x01dd
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x5312ea8e
00000156: GT
00000157: PUSH2 0x01a1
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x5312ea8e
00000161: EQ
00000162: PUSH2 0x04ad
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x53398119
0000016c: EQ
0000016d: PUSH2 0x04cd
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x54f29ce2
00000177: EQ
00000178: PUSH2 0x04ed
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0x5dd19829
00000182: EQ
00000183: PUSH2 0x0503
00000186: JUMPI
00000187: DUP1
00000188: PUSH4 0x5f2ecf8a
0000018d: EQ
0000018e: PUSH2 0x0523
00000191: JUMPI
00000192: DUP1
00000193: PUSH4 0x5f9e8f82
00000198: EQ
00000199: PUSH2 0x0539
0000019c: JUMPI
0000019d: PUSH2 0x027d
000001a0: JUMP
000001a1: JUMPDEST
000001a2: DUP1
000001a3: PUSH4 0x4460d3cf
000001a8: EQ
000001a9: PUSH2 0x0421
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x48cd4cb1
000001b3: EQ
000001b4: PUSH2 0x0441
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x4cfea68a
000001be: EQ
000001bf: PUSH2 0x0457
000001c2: JUMPI
000001c3: DUP1
000001c4: PUSH4 0x4d90dd42
000001c9: EQ
000001ca: PUSH2 0x046d
000001cd: JUMPI
000001ce: DUP1
000001cf: PUSH4 0x51eb05a6
000001d4: EQ
000001d5: PUSH2 0x048d
000001d8: JUMPI
000001d9: PUSH2 0x027d
000001dc: JUMP
000001dd: JUMPDEST
000001de: DUP1
000001df: PUSH4 0x17caf6f1
000001e4: GT
000001e5: PUSH2 0x0224
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x17caf6f1
000001ef: EQ
000001f0: PUSH2 0x037e
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x2dfd0bdc
000001fa: EQ
000001fb: PUSH2 0x0394
000001fe: JUMPI
000001ff: DUP1
00000200: PUSH4 0x353b6c2c
00000205: EQ
00000206: PUSH2 0x03a9
00000209: JUMPI
0000020a: DUP1
0000020b: PUSH4 0x3b4ead07
00000210: EQ
00000211: PUSH2 0x03c9
00000214: JUMPI
00000215: DUP1
00000216: PUSH4 0x401519b6
0000021b: EQ
0000021c: PUSH2 0x0401
0000021f: JUMPI
00000220: PUSH2 0x027d
00000223: JUMP
00000224: JUMPDEST
00000225: DUP1
00000226: PUSH3 0xaeef8a
0000022a: EQ
0000022b: PUSH2 0x029d
0000022e: JUMPI
0000022f: DUP1
00000230: PUSH4 0x06f43a8c
00000235: EQ
00000236: PUSH2 0x02bd
00000239: JUMPI
0000023a: DUP1
0000023b: PUSH4 0x081e3eda
00000240: EQ
00000241: PUSH2 0x02d0
00000244: JUMPI
00000245: DUP1
00000246: PUSH4 0x0e19dc3a
0000024b: EQ
0000024c: PUSH2 0x02f4
0000024f: JUMPI
00000250: DUP1
00000251: PUSH4 0x1526fe27
00000256: EQ
00000257: PUSH2 0x0314
0000025a: JUMPI
0000025b: PUSH2 0x027d
0000025e: JUMP
0000025f: JUMPDEST
00000260: CALLDATASIZE
00000261: PUSH2 0x027d
00000264: JUMPI
00000265: PUSH1 0x05
00000267: SLOAD
00000268: PUSH1 0x01
0000026a: PUSH1 0x01
0000026c: PUSH1 0xa0
0000026e: SHL
0000026f: SUB
00000270: AND
00000271: CALLER
00000272: SUB
00000273: PUSH2 0x027b
00000276: JUMPI
00000277: PUSH1 0x00
00000279: DUP1
0000027a: REVERT
0000027b: JUMPDEST
0000027c: STOP
0000027d: JUMPDEST
0000027e: CALLVALUE
0000027f: PUSH1 0x07
00000281: PUSH1 0x00
00000283: DUP3
00000284: DUP3
00000285: SLOAD
00000286: PUSH2 0x028f
00000289: SWAP2
0000028a: SWAP1
0000028b: PUSH2 0x2e4b
0000028e: JUMP
0000028f: JUMPDEST
00000290: SWAP1
00000291: SWAP2
00000292: SSTORE
00000293: POP
00000294: PUSH2 0x027b
00000297: SWAP1
00000298: POP
00000299: PUSH2 0x08d5
0000029c: JUMP
0000029d: JUMPDEST
0000029e: CALLVALUE
0000029f: DUP1
000002a0: ISZERO
000002a1: PUSH2 0x02a9
000002a4: JUMPI
000002a5: PUSH1 0x00
000002a7: DUP1
000002a8: REVERT
000002a9: JUMPDEST
000002aa: POP
000002ab: PUSH2 0x027b
000002ae: PUSH2 0x02b8
000002b1: CALLDATASIZE
000002b2: PUSH1 0x04
000002b4: PUSH2 0x2e5e
000002b7: JUMP
000002b8: JUMPDEST
000002b9: PUSH2 0x08ff
000002bc: JUMP
000002bd: JUMPDEST
000002be: PUSH2 0x027b
000002c1: PUSH2 0x02cb
000002c4: CALLDATASIZE
000002c5: PUSH1 0x04
000002c7: PUSH2 0x2e8a
000002ca: JUMP
000002cb: JUMPDEST
000002cc: PUSH2 0x0944
000002cf: JUMP
000002d0: JUMPDEST
000002d1: CALLVALUE
000002d2: DUP1
000002d3: ISZERO
000002d4: PUSH2 0x02dc
000002d7: JUMPI
000002d8: PUSH1 0x00
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: POP
000002de: PUSH1 0x0b
000002e0: SLOAD
000002e1: JUMPDEST
000002e2: PUSH1 0x40
000002e4: MLOAD
000002e5: SWAP1
000002e6: DUP2
000002e7: MSTORE
000002e8: PUSH1 0x20
000002ea: ADD
000002eb: JUMPDEST
000002ec: PUSH1 0x40
000002ee: MLOAD
000002ef: DUP1
000002f0: SWAP2
000002f1: SUB
000002f2: SWAP1
000002f3: RETURN
000002f4: JUMPDEST
000002f5: CALLVALUE
000002f6: DUP1
000002f7: ISZERO
000002f8: PUSH2 0x0300
000002fb: JUMPI
000002fc: PUSH1 0x00
000002fe: DUP1
000002ff: REVERT
00000300: JUMPDEST
00000301: POP
00000302: PUSH2 0x027b
00000305: PUSH2 0x030f
00000308: CALLDATASIZE
00000309: PUSH1 0x04
0000030b: PUSH2 0x2ebc
0000030e: JUMP
0000030f: JUMPDEST
00000310: PUSH2 0x0cec
00000313: JUMP
00000314: JUMPDEST
00000315: CALLVALUE
00000316: DUP1
00000317: ISZERO
00000318: PUSH2 0x0320
0000031b: JUMPI
0000031c: PUSH1 0x00
0000031e: DUP1
0000031f: REVERT
00000320: JUMPDEST
00000321: POP
00000322: PUSH2 0x0334
00000325: PUSH2 0x032f
00000328: CALLDATASIZE
00000329: PUSH1 0x04
0000032b: PUSH2 0x2ef1
0000032e: JUMP
0000032f: JUMPDEST
00000330: PUSH2 0x0fba
00000333: JUMP
00000334: JUMPDEST
00000335: PUSH1 0x40
00000337: DUP1
00000338: MLOAD
00000339: PUSH1 0x01
0000033b: PUSH1 0x01
0000033d: PUSH1 0xa0
0000033f: SHL
00000340: SUB
00000341: SWAP1
00000342: SWAP7
00000343: AND
00000344: DUP7
00000345: MSTORE
00000346: PUSH1 0x01
00000348: PUSH1 0x01
0000034a: PUSH1 0x40
0000034c: SHL
0000034d: SUB
0000034e: SWAP5
0000034f: DUP6
00000350: AND
00000351: PUSH1 0x20
00000353: DUP8
00000354: ADD
00000355: MSTORE
00000356: SWAP4
00000357: SWAP1
00000358: SWAP3
00000359: AND
0000035a: SWAP3
0000035b: DUP5
0000035c: ADD
0000035d: SWAP3
0000035e: SWAP1
0000035f: SWAP3
00000360: MSTORE
00000361: PUSH1 0x01
00000363: PUSH1 0x01
00000365: PUSH1 0x70
00000367: SHL
00000368: SUB
00000369: SWAP2
0000036a: DUP3
0000036b: AND
0000036c: PUSH1 0x60
0000036e: DUP5
0000036f: ADD
00000370: MSTORE
00000371: AND
00000372: PUSH1 0x80
00000374: DUP3
00000375: ADD
00000376: MSTORE
00000377: PUSH1 0xa0
00000379: ADD
0000037a: PUSH2 0x02eb
0000037d: JUMP
0000037e: JUMPDEST
0000037f: CALLVALUE
00000380: DUP1
00000381: ISZERO
00000382: PUSH2 0x038a
00000385: JUMPI
00000386: PUSH1 0x00
00000388: DUP1
00000389: REVERT
0000038a: JUMPDEST
0000038b: POP
0000038c: PUSH2 0x02e1
0000038f: PUSH1 0x0d
00000391: SLOAD
00000392: DUP2
00000393: JUMP
00000394: JUMPDEST
00000395: CALLVALUE
00000396: DUP1
00000397: ISZERO
00000398: PUSH2 0x03a0
0000039b: JUMPI
0000039c: PUSH1 0x00
0000039e: DUP1
0000039f: REVERT
000003a0: JUMPDEST
000003a1: POP
000003a2: PUSH2 0x027b
000003a5: PUSH2 0x1021
000003a8: JUMP
000003a9: JUMPDEST
000003aa: CALLVALUE
000003ab: DUP1
000003ac: ISZERO
000003ad: PUSH2 0x03b5
000003b0: JUMPI
000003b1: PUSH1 0x00
000003b3: DUP1
000003b4: REVERT
000003b5: JUMPDEST
000003b6: POP
000003b7: PUSH2 0x027b
000003ba: PUSH2 0x03c4
000003bd: CALLDATASIZE
000003be: PUSH1 0x04
000003c0: PUSH2 0x2ef1
000003c3: JUMP
000003c4: JUMPDEST
000003c5: PUSH2 0x111a
000003c8: JUMP
000003c9: JUMPDEST
000003ca: CALLVALUE
000003cb: DUP1
000003cc: ISZERO
000003cd: PUSH2 0x03d5
000003d0: JUMPI
000003d1: PUSH1 0x00
000003d3: DUP1
000003d4: REVERT
000003d5: JUMPDEST
000003d6: POP
000003d7: PUSH1 0x02
000003d9: SLOAD
000003da: PUSH2 0x03e9
000003dd: SWAP1
000003de: PUSH1 0x01
000003e0: PUSH1 0x01
000003e2: PUSH1 0xa0
000003e4: SHL
000003e5: SUB
000003e6: AND
000003e7: DUP2
000003e8: JUMP
000003e9: JUMPDEST
000003ea: PUSH1 0x40
000003ec: MLOAD
000003ed: PUSH1 0x01
000003ef: PUSH1 0x01
000003f1: PUSH1 0xa0
000003f3: SHL
000003f4: SUB
000003f5: SWAP1
000003f6: SWAP2
000003f7: AND
000003f8: DUP2
000003f9: MSTORE
000003fa: PUSH1 0x20
000003fc: ADD
000003fd: PUSH2 0x02eb
00000400: JUMP
00000401: JUMPDEST
00000402: CALLVALUE
00000403: DUP1
00000404: ISZERO
00000405: PUSH2 0x040d
00000408: JUMPI
00000409: PUSH1 0x00
0000040b: DUP1
0000040c: REVERT
0000040d: JUMPDEST
0000040e: POP
0000040f: PUSH2 0x027b
00000412: PUSH2 0x041c
00000415: CALLDATASIZE
00000416: PUSH1 0x04
00000418: PUSH2 0x2f34
0000041b: JUMP
0000041c: JUMPDEST
0000041d: PUSH2 0x1149
00000420: JUMP
00000421: JUMPDEST
00000422: CALLVALUE
00000423: DUP1
00000424: ISZERO
00000425: PUSH2 0x042d
00000428: JUMPI
00000429: PUSH1 0x00
0000042b: DUP1
0000042c: REVERT
0000042d: JUMPDEST
0000042e: POP
0000042f: PUSH2 0x027b
00000432: PUSH2 0x043c
00000435: CALLDATASIZE
00000436: PUSH1 0x04
00000438: PUSH2 0x2f89
0000043b: JUMP
0000043c: JUMPDEST
0000043d: PUSH2 0x122a
00000440: JUMP
00000441: JUMPDEST
00000442: CALLVALUE
00000443: DUP1
00000444: ISZERO
00000445: PUSH2 0x044d
00000448: JUMPI
00000449: PUSH1 0x00
0000044b: DUP1
0000044c: REVERT
0000044d: JUMPDEST
0000044e: POP
0000044f: PUSH2 0x02e1
00000452: PUSH1 0x0e
00000454: SLOAD
00000455: DUP2
00000456: JUMP
00000457: JUMPDEST
00000458: CALLVALUE
00000459: DUP1
0000045a: ISZERO
0000045b: PUSH2 0x0463
0000045e: JUMPI
0000045f: PUSH1 0x00
00000461: DUP1
00000462: REVERT
00000463: JUMPDEST
00000464: POP
00000465: PUSH2 0x02e1
00000468: PUSH1 0x0a
0000046a: SLOAD
0000046b: DUP2
0000046c: JUMP
0000046d: JUMPDEST
0000046e: CALLVALUE
0000046f: DUP1
00000470: ISZERO
00000471: PUSH2 0x0479
00000474: JUMPI
00000475: PUSH1 0x00
00000477: DUP1
00000478: REVERT
00000479: JUMPDEST
0000047a: POP
0000047b: PUSH2 0x027b
0000047e: PUSH2 0x0488
00000481: CALLDATASIZE
00000482: PUSH1 0x04
00000484: PUSH2 0x2fa6
00000487: JUMP
00000488: JUMPDEST
00000489: PUSH2 0x13ab
0000048c: JUMP
0000048d: JUMPDEST
0000048e: CALLVALUE
0000048f: DUP1
00000490: ISZERO
00000491: PUSH2 0x0499
00000494: JUMPI
00000495: PUSH1 0x00
00000497: DUP1
00000498: REVERT
00000499: JUMPDEST
0000049a: POP
0000049b: PUSH2 0x027b
0000049e: PUSH2 0x04a8
000004a1: CALLDATASIZE
000004a2: PUSH1 0x04
000004a4: PUSH2 0x2ef1
000004a7: JUMP
000004a8: JUMPDEST
000004a9: PUSH2 0x1425
000004ac: JUMP
000004ad: JUMPDEST
000004ae: CALLVALUE
000004af: DUP1
000004b0: ISZERO
000004b1: PUSH2 0x04b9
000004b4: JUMPI
000004b5: PUSH1 0x00
000004b7: DUP1
000004b8: REVERT
000004b9: JUMPDEST
000004ba: POP
000004bb: PUSH2 0x027b
000004be: PUSH2 0x04c8
000004c1: CALLDATASIZE
000004c2: PUSH1 0x04
000004c4: PUSH2 0x2ef1
000004c7: JUMP
000004c8: JUMPDEST
000004c9: PUSH2 0x15b4
000004cc: JUMP
000004cd: JUMPDEST
000004ce: CALLVALUE
000004cf: DUP1
000004d0: ISZERO
000004d1: PUSH2 0x04d9
000004d4: JUMPI
000004d5: PUSH1 0x00
000004d7: DUP1
000004d8: REVERT
000004d9: JUMPDEST
000004da: POP
000004db: PUSH2 0x027b
000004de: PUSH2 0x04e8
000004e1: CALLDATASIZE
000004e2: PUSH1 0x04
000004e4: PUSH2 0x2fd6
000004e7: JUMP
000004e8: JUMPDEST
000004e9: PUSH2 0x1749
000004ec: JUMP
000004ed: JUMPDEST
000004ee: CALLVALUE
000004ef: DUP1
000004f0: ISZERO
000004f1: PUSH2 0x04f9
000004f4: JUMPI
000004f5: PUSH1 0x00
000004f7: DUP1
000004f8: REVERT
000004f9: JUMPDEST
000004fa: POP
000004fb: PUSH2 0x02e1
000004fe: PUSH1 0x07
00000500: SLOAD
00000501: DUP2
00000502: JUMP
00000503: JUMPDEST
00000504: CALLVALUE
00000505: DUP1
00000506: ISZERO
00000507: PUSH2 0x050f
0000050a: JUMPI
0000050b: PUSH1 0x00
0000050d: DUP1
0000050e: REVERT
0000050f: JUMPDEST
00000510: POP
00000511: PUSH2 0x027b
00000514: PUSH2 0x051e
00000517: CALLDATASIZE
00000518: PUSH1 0x04
0000051a: PUSH2 0x2fa6
0000051d: JUMP
0000051e: JUMPDEST
0000051f: PUSH2 0x17c1
00000522: JUMP
00000523: JUMPDEST
00000524: CALLVALUE
00000525: DUP1
00000526: ISZERO
00000527: PUSH2 0x052f
0000052a: JUMPI
0000052b: PUSH1 0x00
0000052d: DUP1
0000052e: REVERT
0000052f: JUMPDEST
00000530: POP
00000531: PUSH2 0x02e1
00000534: PUSH1 0x08
00000536: SLOAD
00000537: DUP2
00000538: JUMP
00000539: JUMPDEST
0000053a: CALLVALUE
0000053b: DUP1
0000053c: ISZERO
0000053d: PUSH2 0x0545
00000540: JUMPI
00000541: PUSH1 0x00
00000543: DUP1
00000544: REVERT
00000545: JUMPDEST
00000546: POP
00000547: PUSH1 0x0f
00000549: SLOAD
0000054a: PUSH2 0x0553
0000054d: SWAP1
0000054e: PUSH1 0xff
00000550: AND
00000551: DUP2
00000552: JUMP
00000553: JUMPDEST
00000554: PUSH1 0x40
00000556: MLOAD
00000557: SWAP1
00000558: ISZERO
00000559: ISZERO
0000055a: DUP2
0000055b: MSTORE
0000055c: PUSH1 0x20
0000055e: ADD
0000055f: PUSH2 0x02eb
00000562: JUMP
00000563: JUMPDEST
00000564: CALLVALUE
00000565: DUP1
00000566: ISZERO
00000567: PUSH2 0x056f
0000056a: JUMPI
0000056b: PUSH1 0x00
0000056d: DUP1
0000056e: REVERT
0000056f: JUMPDEST
00000570: POP
00000571: PUSH2 0x027b
00000574: PUSH2 0x057e
00000577: CALLDATASIZE
00000578: PUSH1 0x04
0000057a: PUSH2 0x2ff3
0000057d: JUMP
0000057e: JUMPDEST
0000057f: PUSH2 0x193a
00000582: JUMP
00000583: JUMPDEST
00000584: CALLVALUE
00000585: DUP1
00000586: ISZERO
00000587: PUSH2 0x058f
0000058a: JUMPI
0000058b: PUSH1 0x00
0000058d: DUP1
0000058e: REVERT
0000058f: JUMPDEST
00000590: POP
00000591: PUSH2 0x027b
00000594: PUSH2 0x19bf
00000597: JUMP
00000598: JUMPDEST
00000599: CALLVALUE
0000059a: DUP1
0000059b: ISZERO
0000059c: PUSH2 0x05a4
0000059f: JUMPI
000005a0: PUSH1 0x00
000005a2: DUP1
000005a3: REVERT
000005a4: JUMPDEST
000005a5: POP
000005a6: PUSH2 0x02e1
000005a9: PUSH1 0x09
000005ab: SLOAD
000005ac: DUP2
000005ad: JUMP
000005ae: JUMPDEST
000005af: CALLVALUE
000005b0: DUP1
000005b1: ISZERO
000005b2: PUSH2 0x05ba
000005b5: JUMPI
000005b6: PUSH1 0x00
000005b8: DUP1
000005b9: REVERT
000005ba: JUMPDEST
000005bb: POP
000005bc: PUSH2 0x027b
000005bf: PUSH2 0x05c9
000005c2: CALLDATASIZE
000005c3: PUSH1 0x04
000005c5: PUSH2 0x2ef1
000005c8: JUMP
000005c9: JUMPDEST
000005ca: PUSH2 0x19ea
000005cd: JUMP
000005ce: JUMPDEST
000005cf: CALLVALUE
000005d0: DUP1
000005d1: ISZERO
000005d2: PUSH2 0x05da
000005d5: JUMPI
000005d6: PUSH1 0x00
000005d8: DUP1
000005d9: REVERT
000005da: JUMPDEST
000005db: POP
000005dc: PUSH2 0x02e1
000005df: PUSH1 0x06
000005e1: SLOAD
000005e2: DUP2
000005e3: JUMP
000005e4: JUMPDEST
000005e5: CALLVALUE
000005e6: DUP1
000005e7: ISZERO
000005e8: PUSH2 0x05f0
000005eb: JUMPI
000005ec: PUSH1 0x00
000005ee: DUP1
000005ef: REVERT
000005f0: JUMPDEST
000005f1: POP
000005f2: PUSH2 0x027b
000005f5: PUSH2 0x1a32
000005f8: JUMP
000005f9: JUMPDEST
000005fa: CALLVALUE
000005fb: DUP1
000005fc: ISZERO
000005fd: PUSH2 0x0605
00000600: JUMPI
00000601: PUSH1 0x00
00000603: DUP1
00000604: REVERT
00000605: JUMPDEST
00000606: POP
00000607: PUSH1 0x00
00000609: SLOAD
0000060a: PUSH1 0x01
0000060c: PUSH1 0x01
0000060e: PUSH1 0xa0
00000610: SHL
00000611: SUB
00000612: AND
00000613: PUSH2 0x03e9
00000616: JUMP
00000617: JUMPDEST
00000618: CALLVALUE
00000619: DUP1
0000061a: ISZERO
0000061b: PUSH2 0x0623
0000061e: JUMPI
0000061f: PUSH1 0x00
00000621: DUP1
00000622: REVERT
00000623: JUMPDEST
00000624: POP
00000625: PUSH2 0x02e1
00000628: PUSH2 0x0632
0000062b: CALLDATASIZE
0000062c: PUSH1 0x04
0000062e: PUSH2 0x302e
00000631: JUMP
00000632: JUMPDEST
00000633: PUSH2 0x1a68
00000636: JUMP
00000637: JUMPDEST
00000638: CALLVALUE
00000639: DUP1
0000063a: ISZERO
0000063b: PUSH2 0x0643
0000063e: JUMPI
0000063f: PUSH1 0x00
00000641: DUP1
00000642: REVERT
00000643: JUMPDEST
00000644: POP
00000645: PUSH2 0x06bd
00000648: PUSH2 0x0652
0000064b: CALLDATASIZE
0000064c: PUSH1 0x04
0000064e: PUSH2 0x2fa6
00000651: JUMP
00000652: JUMPDEST
00000653: PUSH1 0x0c
00000655: PUSH1 0x20
00000657: SWAP1
00000658: DUP2
00000659: MSTORE
0000065a: PUSH1 0x00
0000065c: SWAP3
0000065d: DUP4
0000065e: MSTORE
0000065f: PUSH1 0x40
00000661: DUP1
00000662: DUP5
00000663: KECCAK256
00000664: SWAP1
00000665: SWAP2
00000666: MSTORE
00000667: SWAP1
00000668: DUP3
00000669: MSTORE
0000066a: SWAP1
0000066b: KECCAK256
0000066c: DUP1
0000066d: SLOAD
0000066e: PUSH1 0x01
00000670: DUP3
00000671: ADD
00000672: SLOAD
00000673: PUSH1 0x02
00000675: DUP4
00000676: ADD
00000677: SLOAD
00000678: PUSH1 0x03
0000067a: SWAP1
0000067b: SWAP4
0000067c: ADD
0000067d: SLOAD
0000067e: PUSH2 0xffff
00000681: DUP4
00000682: AND
00000683: SWAP4
00000684: PUSH4 0xffffffff
00000689: PUSH3 0x010000
0000068d: DUP6
0000068e: DIV
0000068f: AND
00000690: SWAP4
00000691: PUSH1 0x01
00000693: PUSH1 0x01
00000695: PUSH1 0x60
00000697: SHL
00000698: SUB
00000699: PUSH1 0x01
0000069b: PUSH1 0x30
0000069d: SHL
0000069e: DUP3
0000069f: DIV
000006a0: AND
000006a1: SWAP4
000006a2: PUSH1 0x01
000006a4: PUSH1 0x01
000006a6: PUSH1 0x70
000006a8: SHL
000006a9: SUB
000006aa: PUSH1 0x01
000006ac: PUSH1 0x90
000006ae: SHL
000006af: SWAP1
000006b0: SWAP3
000006b1: DIV
000006b2: DUP3
000006b3: AND
000006b4: SWAP4
000006b5: SWAP1
000006b6: DUP3
000006b7: AND
000006b8: SWAP3
000006b9: SWAP2
000006ba: AND
000006bb: DUP8
000006bc: JUMP
000006bd: JUMPDEST
000006be: PUSH1 0x40
000006c0: DUP1
000006c1: MLOAD
000006c2: PUSH2 0xffff
000006c5: SWAP1
000006c6: SWAP9
000006c7: AND
000006c8: DUP9
000006c9: MSTORE
000006ca: PUSH4 0xffffffff
000006cf: SWAP1
000006d0: SWAP7
000006d1: AND
000006d2: PUSH1 0x20
000006d4: DUP9
000006d5: ADD
000006d6: MSTORE
000006d7: PUSH1 0x01
000006d9: PUSH1 0x01
000006db: PUSH1 0x60
000006dd: SHL
000006de: SUB
000006df: SWAP1
000006e0: SWAP5
000006e1: AND
000006e2: SWAP5
000006e3: DUP7
000006e4: ADD
000006e5: SWAP5
000006e6: SWAP1
000006e7: SWAP5
000006e8: MSTORE
000006e9: PUSH1 0x01
000006eb: PUSH1 0x01
000006ed: PUSH1 0x70
000006ef: SHL
000006f0: SUB
000006f1: SWAP2
000006f2: DUP3
000006f3: AND
000006f4: PUSH1 0x60
000006f6: DUP7
000006f7: ADD
000006f8: MSTORE
000006f9: DUP2
000006fa: AND
000006fb: PUSH1 0x80
000006fd: DUP6
000006fe: ADD
000006ff: MSTORE
00000700: PUSH1 0xa0
00000702: DUP5
00000703: ADD
00000704: SWAP3
00000705: SWAP1
00000706: SWAP3
00000707: MSTORE
00000708: AND
00000709: PUSH1 0xc0
0000070b: DUP3
0000070c: ADD
0000070d: MSTORE
0000070e: PUSH1 0xe0
00000710: ADD
00000711: PUSH2 0x02eb
00000714: JUMP
00000715: JUMPDEST
00000716: CALLVALUE
00000717: DUP1
00000718: ISZERO
00000719: PUSH2 0x0721
0000071c: JUMPI
0000071d: PUSH1 0x00
0000071f: DUP1
00000720: REVERT
00000721: JUMPDEST
00000722: POP
00000723: PUSH1 0x05
00000725: SLOAD
00000726: PUSH2 0x03e9
00000729: SWAP1
0000072a: PUSH1 0x01
0000072c: PUSH1 0x01
0000072e: PUSH1 0xa0
00000730: SHL
00000731: SUB
00000732: AND
00000733: DUP2
00000734: JUMP
00000735: JUMPDEST
00000736: CALLVALUE
00000737: DUP1
00000738: ISZERO
00000739: PUSH2 0x0741
0000073c: JUMPI
0000073d: PUSH1 0x00
0000073f: DUP1
00000740: REVERT
00000741: JUMPDEST
00000742: POP
00000743: PUSH2 0x027b
00000746: PUSH2 0x0750
00000749: CALLDATASIZE
0000074a: PUSH1 0x04
0000074c: PUSH2 0x2f89
0000074f: JUMP
00000750: JUMPDEST
00000751: PUSH2 0x1a7d
00000754: JUMP
00000755: JUMPDEST
00000756: CALLVALUE
00000757: DUP1
00000758: ISZERO
00000759: PUSH2 0x0761
0000075c: JUMPI
0000075d: PUSH1 0x00
0000075f: DUP1
00000760: REVERT
00000761: JUMPDEST
00000762: POP
00000763: PUSH2 0x027b
00000766: PUSH2 0x0770
00000769: CALLDATASIZE
0000076a: PUSH1 0x04
0000076c: PUSH2 0x3050
0000076f: JUMP
00000770: JUMPDEST
00000771: PUSH2 0x1ac9
00000774: JUMP
00000775: JUMPDEST
00000776: CALLVALUE
00000777: DUP1
00000778: ISZERO
00000779: PUSH2 0x0781
0000077c: JUMPI
0000077d: PUSH1 0x00
0000077f: DUP1
00000780: REVERT
00000781: JUMPDEST
00000782: POP
00000783: PUSH1 0x04
00000785: SLOAD
00000786: PUSH2 0x03e9
00000789: SWAP1
0000078a: PUSH1 0x01
0000078c: PUSH1 0x01
0000078e: PUSH1 0xa0
00000790: SHL
00000791: SUB
00000792: AND
00000793: DUP2
00000794: JUMP
00000795: JUMPDEST
00000796: CALLVALUE
00000797: DUP1
00000798: ISZERO
00000799: PUSH2 0x07a1
0000079c: JUMPI
0000079d: PUSH1 0x00
0000079f: DUP1
000007a0: REVERT
000007a1: JUMPDEST
000007a2: POP
000007a3: PUSH2 0x027b
000007a6: PUSH2 0x07b0
000007a9: CALLDATASIZE
000007aa: PUSH1 0x04
000007ac: PUSH2 0x2f89
000007af: JUMP
000007b0: JUMPDEST
000007b1: PUSH2 0x1cfc
000007b4: JUMP
000007b5: JUMPDEST
000007b6: CALLVALUE
000007b7: DUP1
000007b8: ISZERO
000007b9: PUSH2 0x07c1
000007bc: JUMPI
000007bd: PUSH1 0x00
000007bf: DUP1
000007c0: REVERT
000007c1: JUMPDEST
000007c2: POP
000007c3: PUSH2 0x0553
000007c6: PUSH2 0x07d0
000007c9: CALLDATASIZE
000007ca: PUSH1 0x04
000007cc: PUSH2 0x2f89
000007cf: JUMP
000007d0: JUMPDEST
000007d1: PUSH1 0x11
000007d3: PUSH1 0x20
000007d5: MSTORE
000007d6: PUSH1 0x00
000007d8: SWAP1
000007d9: DUP2
000007da: MSTORE
000007db: PUSH1 0x40
000007dd: SWAP1
000007de: KECCAK256
000007df: SLOAD
000007e0: PUSH1 0xff
000007e2: AND
000007e3: DUP2
000007e4: JUMP
000007e5: JUMPDEST
000007e6: CALLVALUE
000007e7: DUP1
000007e8: ISZERO
000007e9: PUSH2 0x07f1
000007ec: JUMPI
000007ed: PUSH1 0x00
000007ef: DUP1
000007f0: REVERT
000007f1: JUMPDEST
000007f2: POP
000007f3: PUSH2 0x027b
000007f6: PUSH2 0x0800
000007f9: CALLDATASIZE
000007fa: PUSH1 0x04
000007fc: PUSH2 0x2f89
000007ff: JUMP
00000800: JUMPDEST
00000801: PUSH2 0x1d4a
00000804: JUMP
00000805: JUMPDEST
00000806: CALLVALUE
00000807: DUP1
00000808: ISZERO
00000809: PUSH2 0x0811
0000080c: JUMPI
0000080d: PUSH1 0x00
0000080f: DUP1
00000810: REVERT
00000811: JUMPDEST
00000812: POP
00000813: PUSH2 0x0553
00000816: PUSH2 0x0820
00000819: CALLDATASIZE
0000081a: PUSH1 0x04
0000081c: PUSH2 0x2f89
0000081f: JUMP
00000820: JUMPDEST
00000821: PUSH1 0x10
00000823: PUSH1 0x20
00000825: MSTORE
00000826: PUSH1 0x00
00000828: SWAP1
00000829: DUP2
0000082a: MSTORE
0000082b: PUSH1 0x40
0000082d: SWAP1
0000082e: KECCAK256
0000082f: SLOAD
00000830: PUSH1 0xff
00000832: AND
00000833: DUP2
00000834: JUMP
00000835: JUMPDEST
00000836: CALLVALUE
00000837: DUP1
00000838: ISZERO
00000839: PUSH2 0x0841
0000083c: JUMPI
0000083d: PUSH1 0x00
0000083f: DUP1
00000840: REVERT
00000841: JUMPDEST
00000842: POP
00000843: PUSH2 0x02e1
00000846: PUSH2 0x0850
00000849: CALLDATASIZE
0000084a: PUSH1 0x04
0000084c: PUSH2 0x2fa6
0000084f: JUMP
00000850: JUMPDEST
00000851: PUSH2 0x1d96
00000854: JUMP
00000855: JUMPDEST
00000856: CALLVALUE
00000857: DUP1
00000858: ISZERO
00000859: PUSH2 0x0861
0000085c: JUMPI
0000085d: PUSH1 0x00
0000085f: DUP1
00000860: REVERT
00000861: JUMPDEST
00000862: POP
00000863: PUSH2 0x027b
00000866: PUSH2 0x0870
00000869: CALLDATASIZE
0000086a: PUSH1 0x04
0000086c: PUSH2 0x2ef1
0000086f: JUMP
00000870: JUMPDEST
00000871: PUSH2 0x1f05
00000874: JUMP
00000875: JUMPDEST
00000876: CALLVALUE
00000877: DUP1
00000878: ISZERO
00000879: PUSH2 0x0881
0000087c: JUMPI
0000087d: PUSH1 0x00
0000087f: DUP1
00000880: REVERT
00000881: JUMPDEST
00000882: POP
00000883: PUSH2 0x027b
00000886: PUSH2 0x0890
00000889: CALLDATASIZE
0000088a: PUSH1 0x04
0000088c: PUSH2 0x2f89
0000088f: JUMP
00000890: JUMPDEST
00000891: PUSH2 0x22d5
00000894: JUMP
00000895: JUMPDEST
00000896: CALLVALUE
00000897: DUP1
00000898: ISZERO
00000899: PUSH2 0x08a1
0000089c: JUMPI
0000089d: PUSH1 0x00
0000089f: DUP1
000008a0: REVERT
000008a1: JUMPDEST
000008a2: POP
000008a3: PUSH2 0x027b
000008a6: PUSH2 0x08b0
000008a9: CALLDATASIZE
000008aa: PUSH1 0x04
000008ac: PUSH2 0x2f89
000008af: JUMP
000008b0: JUMPDEST
000008b1: PUSH2 0x2320
000008b4: JUMP
000008b5: JUMPDEST
000008b6: CALLVALUE
000008b7: DUP1
000008b8: ISZERO
000008b9: PUSH2 0x08c1
000008bc: JUMPI
000008bd: PUSH1 0x00
000008bf: DUP1
000008c0: REVERT
000008c1: JUMPDEST
000008c2: POP
000008c3: PUSH1 0x03
000008c5: SLOAD
000008c6: PUSH2 0x03e9
000008c9: SWAP1
000008ca: PUSH1 0x01
000008cc: PUSH1 0x01
000008ce: PUSH1 0xa0
000008d0: SHL
000008d1: SUB
000008d2: AND
000008d3: DUP2
000008d4: JUMP
000008d5: JUMPDEST
000008d6: PUSH2 0x08dd
000008d9: PUSH2 0x19bf
000008dc: JUMP
000008dd: JUMPDEST
000008de: PUSH1 0x09
000008e0: SLOAD
000008e1: PUSH1 0x0a
000008e3: SLOAD
000008e4: PUSH2 0x08ed
000008e7: SWAP2
000008e8: SWAP1
000008e9: PUSH2 0x307e
000008ec: JUMP
000008ed: JUMPDEST
000008ee: PUSH1 0x07
000008f0: SLOAD
000008f1: PUSH2 0x08fa
000008f4: SWAP2
000008f5: SWAP1
000008f6: PUSH2 0x30ab
000008f9: JUMP
000008fa: JUMPDEST
000008fb: PUSH1 0x06
000008fd: SSTORE
000008fe: JUMP
000008ff: JUMPDEST
00000900: PUSH1 0x02
00000902: PUSH1 0x01
00000904: SLOAD
00000905: SUB
00000906: PUSH2 0x092a
00000909: JUMPI
0000090a: PUSH1 0x40
0000090c: MLOAD
0000090d: PUSH3 0x461bcd
00000911: PUSH1 0xe5
00000913: SHL
00000914: DUP2
00000915: MSTORE
00000916: PUSH1 0x04
00000918: ADD
00000919: PUSH2 0x0921
0000091c: SWAP1
0000091d: PUSH2 0x30bf
00000920: JUMP
00000921: JUMPDEST
00000922: PUSH1 0x40
00000924: MLOAD
00000925: DUP1
00000926: SWAP2
00000927: SUB
00000928: SWAP1
00000929: REVERT
0000092a: JUMPDEST
0000092b: PUSH1 0x02
0000092d: PUSH1 0x01
0000092f: SSTORE
00000930: PUSH2 0x093b
00000933: CALLER
00000934: DUP5
00000935: DUP5
00000936: DUP5
00000937: PUSH2 0x23b8
0000093a: JUMP
0000093b: JUMPDEST
0000093c: POP
0000093d: POP
0000093e: PUSH1 0x01
00000940: DUP1
00000941: SSTORE
00000942: POP
00000943: JUMP
00000944: JUMPDEST
00000945: PUSH1 0x02
00000947: PUSH1 0x01
00000949: SLOAD
0000094a: SUB
0000094b: PUSH2 0x0966
0000094e: JUMPI
0000094f: PUSH1 0x40
00000951: MLOAD
00000952: PUSH3 0x461bcd
00000956: PUSH1 0xe5
00000958: SHL
00000959: DUP2
0000095a: MSTORE
0000095b: PUSH1 0x04
0000095d: ADD
0000095e: PUSH2 0x0921
00000961: SWAP1
00000962: PUSH2 0x30bf
00000965: JUMP
00000966: JUMPDEST
00000967: PUSH1 0x02
00000969: PUSH1 0x01
0000096b: SSTORE
0000096c: PUSH1 0x40
0000096e: DUP1
0000096f: MLOAD
00000970: PUSH1 0xc0
00000972: DUP2
00000973: ADD
00000974: DUP3
00000975: MSTORE
00000976: PUSH1 0x00
00000978: DUP1
00000979: DUP3
0000097a: MSTORE
0000097b: PUSH1 0x20
0000097d: DUP1
0000097e: DUP4
0000097f: ADD
00000980: DUP3
00000981: SWAP1
00000982: MSTORE
00000983: DUP3
00000984: DUP5
00000985: ADD
00000986: DUP3
00000987: SWAP1
00000988: MSTORE
00000989: PUSH1 0x60
0000098b: DUP4
0000098c: ADD
0000098d: DUP3
0000098e: SWAP1
0000098f: MSTORE
00000990: PUSH1 0x80
00000992: DUP4
00000993: ADD
00000994: DUP3
00000995: SWAP1
00000996: MSTORE
00000997: PUSH1 0xa0
00000999: DUP4
0000099a: ADD
0000099b: DUP3
0000099c: SWAP1
0000099d: MSTORE
0000099e: CALLER
0000099f: DUP3
000009a0: MSTORE
000009a1: PUSH32 0x13649b2456f1b42fef0f0040b3aaeabcd21a76a0f3f5defd4f583839455116e8
000009c2: SWAP1
000009c3: MSTORE
000009c4: SWAP2
000009c5: SWAP1
000009c6: SWAP2
000009c7: KECCAK256
000009c8: CALLVALUE
000009c9: PUSH2 0x09d1
000009cc: JUMPI
000009cd: PUSH1 0x00
000009cf: DUP1
000009d0: REVERT
000009d1: JUMPDEST
000009d2: PUSH2 0x09df
000009d5: PUSH3 0x015180
000009d9: PUSH1 0x5a
000009db: PUSH2 0x307e
000009de: JUMP
000009df: JUMPDEST
000009e0: DUP4
000009e1: GT
000009e2: ISZERO
000009e3: DUP1
000009e4: ISZERO
000009e5: PUSH2 0x0a04
000009e8: JUMPI
000009e9: POP
000009ea: PUSH2 0x09f3
000009ed: TIMESTAMP
000009ee: DUP5
000009ef: PUSH2 0x2e4b
000009f2: JUMP
000009f3: JUMPDEST
000009f4: DUP2
000009f5: SLOAD
000009f6: PUSH3 0x010000
000009fa: SWAP1
000009fb: DIV
000009fc: PUSH4 0xffffffff
00000a01: AND
00000a02: GT
00000a03: ISZERO
00000a04: JUMPDEST
00000a05: PUSH2 0x0a66
00000a08: JUMPI
00000a09: PUSH1 0x40
00000a0b: MLOAD
00000a0c: PUSH3 0x461bcd
00000a10: PUSH1 0xe5
00000a12: SHL
00000a13: DUP2
00000a14: MSTORE
00000a15: PUSH1 0x20
00000a17: PUSH1 0x04
00000a19: DUP3
00000a1a: ADD
00000a1b: MSTORE
00000a1c: PUSH1 0x2d
00000a1e: PUSH1 0x24
00000a20: DUP3
00000a21: ADD
00000a22: MSTORE
00000a23: PUSH32 0x6164644c69717569646974794e6f466565416e645374616b65203a204c6f636b
00000a44: PUSH1 0x44
00000a46: DUP3
00000a47: ADD
00000a48: MSTORE
00000a49: PUSH13 0x206f7574206f662072616e6765
00000a57: PUSH1 0x98
00000a59: SHL
00000a5a: PUSH1 0x64
00000a5c: DUP3
00000a5d: ADD
00000a5e: MSTORE
00000a5f: PUSH1 0x84
00000a61: ADD
00000a62: PUSH2 0x0921
00000a65: JUMP
00000a66: JUMPDEST
00000a67: PUSH2 0x0a70
00000a6a: PUSH1 0x00
00000a6c: PUSH2 0x1425
00000a6f: JUMP
00000a70: JUMPDEST
00000a71: PUSH1 0x01
00000a73: DUP2
00000a74: ADD
00000a75: SLOAD
00000a76: PUSH1 0x01
00000a78: PUSH1 0x01
00000a7a: PUSH1 0x70
00000a7c: SHL
00000a7d: SUB
00000a7e: AND
00000a7f: ISZERO
00000a80: PUSH2 0x0a8e
00000a83: JUMPI
00000a84: PUSH2 0x0a8e
00000a87: PUSH1 0x00
00000a89: CALLER
00000a8a: PUSH2 0x26ff
00000a8d: JUMP
00000a8e: JUMPDEST
00000a8f: PUSH1 0x02
00000a91: SLOAD
00000a92: PUSH1 0x40
00000a94: MLOAD
00000a95: PUSH4 0x23b872dd
00000a9a: PUSH1 0xe0
00000a9c: SHL
00000a9d: DUP2
00000a9e: MSTORE
00000a9f: CALLER
00000aa0: PUSH1 0x04
00000aa2: DUP3
00000aa3: ADD
00000aa4: MSTORE
00000aa5: ADDRESS
00000aa6: PUSH1 0x24
00000aa8: DUP3
00000aa9: ADD
00000aaa: MSTORE
00000aab: PUSH1 0x44
00000aad: DUP2
00000aae: ADD
00000aaf: DUP9
00000ab0: SWAP1
00000ab1: MSTORE
00000ab2: PUSH1 0x01
00000ab4: PUSH1 0x01
00000ab6: PUSH1 0xa0
00000ab8: SHL
00000ab9: SUB
00000aba: SWAP1
00000abb: SWAP2
00000abc: AND
00000abd: SWAP1
00000abe: PUSH4 0x23b872dd
00000ac3: SWAP1
00000ac4: PUSH1 0x64
00000ac6: ADD
00000ac7: PUSH1 0x20
00000ac9: PUSH1 0x40
00000acb: MLOAD
00000acc: DUP1
00000acd: DUP4
00000ace: SUB
00000acf: DUP2
00000ad0: PUSH1 0x00
00000ad2: DUP8
00000ad3: GAS
00000ad4: CALL
00000ad5: ISZERO
00000ad6: DUP1
00000ad7: ISZERO
00000ad8: PUSH2 0x0ae5
00000adb: JUMPI
00000adc: RETURNDATASIZE
00000add: PUSH1 0x00
00000adf: DUP1
00000ae0: RETURNDATACOPY
00000ae1: RETURNDATASIZE
00000ae2: PUSH1 0x00
00000ae4: REVERT
00000ae5: JUMPDEST
00000ae6: POP
00000ae7: POP
00000ae8: POP
00000ae9: POP
00000aea: PUSH1 0x40
00000aec: MLOAD
00000aed: RETURNDATASIZE
00000aee: PUSH1 0x1f
00000af0: NOT
00000af1: PUSH1 0x1f
00000af3: DUP3
00000af4: ADD
00000af5: AND
00000af6: DUP3
00000af7: ADD
00000af8: DUP1
00000af9: PUSH1 0x40
00000afb: MSTORE
00000afc: POP
00000afd: DUP2
00000afe: ADD
00000aff: SWAP1
00000b00: PUSH2 0x0b09
00000b03: SWAP2
00000b04: SWAP1
00000b05: PUSH2 0x30f6
00000b08: JUMP
00000b09: JUMPDEST
00000b0a: POP
00000b0b: PUSH1 0x0b
00000b0d: PUSH1 0x00
00000b0f: DUP2
00000b10: SLOAD
00000b11: DUP2
00000b12: LT
00000b13: PUSH2 0x0b1e
00000b16: JUMPI
00000b17: PUSH2 0x0b1e
00000b1a: PUSH2 0x3113
00000b1d: JUMP
00000b1e: JUMPDEST
00000b1f: PUSH1 0x00
00000b21: SWAP2
00000b22: DUP3
00000b23: MSTORE
00000b24: PUSH1 0x20
00000b26: DUP1
00000b27: DUP4
00000b28: KECCAK256
00000b29: PUSH1 0x03
00000b2b: SWAP3
00000b2c: DUP4
00000b2d: MUL
00000b2e: ADD
00000b2f: SLOAD
00000b30: PUSH1 0x01
00000b32: PUSH1 0x01
00000b34: PUSH1 0xa0
00000b36: SHL
00000b37: SUB
00000b38: SWAP1
00000b39: DUP2
00000b3a: AND
00000b3b: DUP7
00000b3c: MSTORE
00000b3d: ADDRESS
00000b3e: SWAP2
00000b3f: DUP7
00000b40: ADD
00000b41: DUP3
00000b42: SWAP1
00000b43: MSTORE
00000b44: PUSH1 0x60
00000b46: DUP7
00000b47: ADD
00000b48: DUP9
00000b49: SWAP1
00000b4a: MSTORE
00000b4b: PUSH1 0x80
00000b4d: DUP7
00000b4e: ADD
00000b4f: DUP10
00000b50: SWAP1
00000b51: MSTORE
00000b52: PUSH1 0x40
00000b54: DUP1
00000b55: DUP8
00000b56: ADD
00000b57: DUP12
00000b58: SWAP1
00000b59: MSTORE
00000b5a: TIMESTAMP
00000b5b: PUSH1 0xa0
00000b5d: DUP9
00000b5e: ADD
00000b5f: DUP2
00000b60: SWAP1
00000b61: MSTORE
00000b62: SWAP4
00000b63: SLOAD
00000b64: PUSH1 0x02
00000b66: SLOAD
00000b67: SWAP2
00000b68: MLOAD
00000b69: PUSH4 0xf305d719
00000b6e: PUSH1 0xe0
00000b70: SHL
00000b71: DUP2
00000b72: MSTORE
00000b73: SWAP2
00000b74: DUP4
00000b75: AND
00000b76: PUSH1 0x04
00000b78: DUP4
00000b79: ADD
00000b7a: MSTORE
00000b7b: PUSH1 0x24
00000b7d: DUP3
00000b7e: ADD
00000b7f: DUP13
00000b80: SWAP1
00000b81: MSTORE
00000b82: PUSH1 0x44
00000b84: DUP3
00000b85: ADD
00000b86: DUP11
00000b87: SWAP1
00000b88: MSTORE
00000b89: PUSH1 0x64
00000b8b: DUP3
00000b8c: ADD
00000b8d: DUP12
00000b8e: SWAP1
00000b8f: MSTORE
00000b90: PUSH1 0x84
00000b92: DUP3
00000b93: ADD
00000b94: SWAP4
00000b95: SWAP1
00000b96: SWAP4
00000b97: MSTORE
00000b98: PUSH1 0xa4
00000b9a: DUP2
00000b9b: ADD
00000b9c: SWAP4
00000b9d: SWAP1
00000b9e: SWAP4
00000b9f: MSTORE
00000ba0: AND
00000ba1: SWAP2
00000ba2: SWAP1
00000ba3: DUP2
00000ba4: SWAP1
00000ba5: DUP4
00000ba6: SWAP1
00000ba7: PUSH4 0xf305d719
00000bac: SWAP1
00000bad: CALLVALUE
00000bae: SWAP1
00000baf: PUSH1 0xc4
00000bb1: ADD
00000bb2: PUSH1 0x60
00000bb4: PUSH1 0x40
00000bb6: MLOAD
00000bb7: DUP1
00000bb8: DUP4
00000bb9: SUB
00000bba: DUP2
00000bbb: DUP6
00000bbc: DUP9
00000bbd: GAS
00000bbe: CALL
00000bbf: ISZERO
00000bc0: DUP1
00000bc1: ISZERO
00000bc2: PUSH2 0x0bcf
00000bc5: JUMPI
00000bc6: RETURNDATASIZE
00000bc7: PUSH1 0x00
00000bc9: DUP1
00000bca: RETURNDATACOPY
00000bcb: RETURNDATASIZE
00000bcc: PUSH1 0x00
00000bce: REVERT
00000bcf: JUMPDEST
00000bd0: POP
00000bd1: POP
00000bd2: POP
00000bd3: POP
00000bd4: POP
00000bd5: PUSH1 0x40
00000bd7: MLOAD
00000bd8: RETURNDATASIZE
00000bd9: PUSH1 0x1f
00000bdb: NOT
00000bdc: PUSH1 0x1f
00000bde: DUP3
00000bdf: ADD
00000be0: AND
00000be1: DUP3
00000be2: ADD
00000be3: DUP1
00000be4: PUSH1 0x40
00000be6: MSTORE
00000be7: POP
00000be8: DUP2
00000be9: ADD
00000bea: SWAP1
00000beb: PUSH2 0x0bf4
00000bee: SWAP2
00000bef: SWAP1
00000bf0: PUSH2 0x3129
00000bf3: JUMP
00000bf4: JUMPDEST
00000bf5: SWAP1
00000bf6: SWAP4
00000bf7: POP
00000bf8: SWAP2
00000bf9: POP
00000bfa: CALLER
00000bfb: SWAP1
00000bfc: POP
00000bfd: PUSH2 0x08fc
00000c00: PUSH2 0x0c09
00000c03: DUP5
00000c04: CALLVALUE
00000c05: PUSH2 0x3157
00000c08: JUMP
00000c09: JUMPDEST
00000c0a: PUSH1 0x40
00000c0c: MLOAD
00000c0d: DUP2
00000c0e: ISZERO
00000c0f: SWAP1
00000c10: SWAP3
00000c11: MUL
00000c12: SWAP2
00000c13: PUSH1 0x00
00000c15: DUP2
00000c16: DUP2
00000c17: DUP2
00000c18: DUP6
00000c19: DUP9
00000c1a: DUP9
00000c1b: CALL
00000c1c: SWAP4
00000c1d: POP
00000c1e: POP
00000c1f: POP
00000c20: POP
00000c21: ISZERO
00000c22: DUP1
00000c23: ISZERO
00000c24: PUSH2 0x0c31
00000c27: JUMPI
00000c28: RETURNDATASIZE
00000c29: PUSH1 0x00
00000c2b: DUP1
00000c2c: RETURNDATACOPY
00000c2d: RETURNDATASIZE
00000c2e: PUSH1 0x00
00000c30: REVERT
00000c31: JUMPDEST
00000c32: POP
00000c33: DUP4
00000c34: SLOAD
00000c35: DUP2
00000c36: SWAP1
00000c37: DUP6
00000c38: SWAP1
00000c39: PUSH1 0x12
00000c3b: SWAP1
00000c3c: PUSH2 0x0c56
00000c3f: SWAP1
00000c40: DUP5
00000c41: SWAP1
00000c42: PUSH1 0x01
00000c44: PUSH1 0x90
00000c46: SHL
00000c47: SWAP1
00000c48: DIV
00000c49: PUSH1 0x01
00000c4b: PUSH1 0x01
00000c4d: PUSH1 0x70
00000c4f: SHL
00000c50: SUB
00000c51: AND
00000c52: PUSH2 0x316a
00000c55: JUMP
00000c56: JUMPDEST
00000c57: SWAP3
00000c58: POP
00000c59: PUSH2 0x0100
00000c5c: EXP
00000c5d: DUP2
00000c5e: SLOAD
00000c5f: DUP2
00000c60: PUSH1 0x01
00000c62: PUSH1 0x01
00000c64: PUSH1 0x70
00000c66: SHL
00000c67: SUB
00000c68: MUL
00000c69: NOT
00000c6a: AND
00000c6b: SWAP1
00000c6c: DUP4
00000c6d: PUSH1 0x01
00000c6f: PUSH1 0x01
00000c71: PUSH1 0x70
00000c73: SHL
00000c74: SUB
00000c75: AND
00000c76: MUL
00000c77: OR
00000c78: SWAP1
00000c79: SSTORE
00000c7a: POP
00000c7b: PUSH1 0x00
00000c7d: DUP7
00000c7e: GT
00000c7f: ISZERO
00000c80: PUSH2 0x0c94
00000c83: JUMPI
00000c84: PUSH2 0x0c8f
00000c87: CALLER
00000c88: PUSH1 0x00
00000c8a: DUP9
00000c8b: PUSH2 0x284c
00000c8e: JUMP
00000c8f: JUMPDEST
00000c90: PUSH2 0x0c9f
00000c93: JUMP
00000c94: JUMPDEST
00000c95: PUSH2 0x0c9f
00000c98: PUSH1 0x00
00000c9a: CALLER
00000c9b: PUSH2 0x17c1
00000c9e: JUMP
00000c9f: JUMPDEST
00000ca0: PUSH1 0x40
00000ca2: DUP1
00000ca3: MLOAD
00000ca4: DUP3
00000ca5: DUP2
00000ca6: MSTORE
00000ca7: PUSH1 0x20
00000ca9: DUP2
00000caa: ADD
00000cab: DUP9
00000cac: SWAP1
00000cad: MSTORE
00000cae: PUSH1 0x00
00000cb0: SWAP2
00000cb1: CALLER
00000cb2: SWAP2
00000cb3: PUSH32 0x36af321ec8d3c75236829c5317affd40ddb308863a1236d2d277a4025cccee1e
00000cd4: SWAP2
00000cd5: ADD
00000cd6: PUSH1 0x40
00000cd8: MLOAD
00000cd9: DUP1
00000cda: SWAP2
00000cdb: SUB
00000cdc: SWAP1
00000cdd: LOG3
00000cde: POP
00000cdf: POP
00000ce0: PUSH1 0x01
00000ce2: DUP1
00000ce3: SSTORE
00000ce4: POP
00000ce5: POP
00000ce6: POP
00000ce7: POP
00000ce8: POP
00000ce9: POP
00000cea: POP
00000ceb: JUMP
00000cec: JUMPDEST
00000ced: PUSH1 0x02
00000cef: PUSH1 0x01
00000cf1: SLOAD
00000cf2: SUB
00000cf3: PUSH2 0x0d0e
00000cf6: JUMPI
00000cf7: PUSH1 0x40
00000cf9: MLOAD
00000cfa: PUSH3 0x461bcd
00000cfe: PUSH1 0xe5
00000d00: SHL
00000d01: DUP2
00000d02: MSTORE
00000d03: PUSH1 0x04
00000d05: ADD
00000d06: PUSH2 0x0921
00000d09: SWAP1
00000d0a: PUSH2 0x30bf
00000d0d: JUMP
00000d0e: JUMPDEST
00000d0f: PUSH1 0x02
00000d11: PUSH1 0x01
00000d13: DUP2
00000d14: SWAP1
00000d15: SSTORE
00000d16: POP
00000d17: PUSH1 0x00
00000d19: PUSH1 0x0b
00000d1b: DUP4
00000d1c: PUSH4 0xffffffff
00000d21: AND
00000d22: DUP2
00000d23: SLOAD
00000d24: DUP2
00000d25: LT
00000d26: PUSH2 0x0d31
00000d29: JUMPI
00000d2a: PUSH2 0x0d31
00000d2d: PUSH2 0x3113
00000d30: JUMP
00000d31: JUMPDEST
00000d32: PUSH1 0x00
00000d34: SWAP2
00000d35: DUP3
00000d36: MSTORE
00000d37: PUSH1 0x20
00000d39: DUP1
00000d3a: DUP4
00000d3b: KECCAK256
00000d3c: PUSH4 0xffffffff
00000d41: DUP1
00000d42: DUP9
00000d43: AND
00000d44: DUP6
00000d45: MSTORE
00000d46: PUSH1 0x0c
00000d48: DUP4
00000d49: MSTORE
00000d4a: PUSH1 0x40
00000d4c: DUP1
00000d4d: DUP7
00000d4e: KECCAK256
00000d4f: CALLER
00000d50: DUP8
00000d51: MSTORE
00000d52: SWAP1
00000d53: SWAP4
00000d54: MSTORE
00000d55: SWAP2
00000d56: SWAP1
00000d57: SWAP4
00000d58: KECCAK256
00000d59: DUP1
00000d5a: SLOAD
00000d5b: PUSH1 0x03
00000d5d: SWAP1
00000d5e: SWAP4
00000d5f: MUL
00000d60: SWAP1
00000d61: SWAP4
00000d62: ADD
00000d63: SWAP4
00000d64: POP
00000d65: TIMESTAMP
00000d66: PUSH3 0x010000
00000d6a: SWAP1
00000d6b: SWAP3
00000d6c: DIV
00000d6d: AND
00000d6e: LT
00000d6f: PUSH2 0x0e06
00000d72: JUMPI
00000d73: PUSH1 0x40
00000d75: MLOAD
00000d76: PUSH3 0x461bcd
00000d7a: PUSH1 0xe5
00000d7c: SHL
00000d7d: DUP2
00000d7e: MSTORE
00000d7f: PUSH1 0x20
00000d81: PUSH1 0x04
00000d83: DUP3
00000d84: ADD
00000d85: MSTORE
00000d86: PUSH1 0x58
00000d88: PUSH1 0x24
00000d8a: DUP3
00000d8b: ADD
00000d8c: MSTORE
00000d8d: PUSH32 0x77697468647261773a20546f6b656e73206c6f636b65642c20696620796f7527
00000dae: PUSH1 0x44
00000db0: DUP3
00000db1: ADD
00000db2: MSTORE
00000db3: PUSH32 0x726520747279696e6720746f20636c61696d20796f7572207265776172647320
00000dd4: PUSH1 0x64
00000dd6: DUP3
00000dd7: ADD
00000dd8: MSTORE
00000dd9: PUSH32 0x75736520746865206465706f7369742066756e6374696f6e0000000000000000
00000dfa: PUSH1 0x84
00000dfc: DUP3
00000dfd: ADD
00000dfe: MSTORE
00000dff: PUSH1 0xa4
00000e01: ADD
00000e02: PUSH2 0x0921
00000e05: JUMP
00000e06: JUMPDEST
00000e07: DUP1
00000e08: SLOAD
00000e09: PUSH1 0x01
00000e0b: PUSH1 0x90
00000e0d: SHL
00000e0e: SWAP1
00000e0f: DIV
00000e10: PUSH1 0x01
00000e12: PUSH1 0x01
00000e14: PUSH1 0x70
00000e16: SHL
00000e17: SUB
00000e18: AND
00000e19: DUP4
00000e1a: GT
00000e1b: DUP1
00000e1c: ISZERO
00000e1d: SWAP1
00000e1e: PUSH2 0x0e27
00000e21: JUMPI
00000e22: POP
00000e23: PUSH1 0x00
00000e25: DUP4
00000e26: GT
00000e27: JUMPDEST
00000e28: PUSH2 0x0e68
00000e2b: JUMPI
00000e2c: PUSH1 0x40
00000e2e: MLOAD
00000e2f: PUSH3 0x461bcd
00000e33: PUSH1 0xe5
00000e35: SHL
00000e36: DUP2
00000e37: MSTORE
00000e38: PUSH1 0x20
00000e3a: PUSH1 0x04
00000e3c: DUP3
00000e3d: ADD
00000e3e: MSTORE
00000e3f: PUSH1 0x12
00000e41: PUSH1 0x24
00000e43: DUP3
00000e44: ADD
00000e45: MSTORE
00000e46: PUSH18 0x1dda5d1a191c985dce881b9bdd0819dbdbd9
00000e59: PUSH1 0x72
00000e5b: SHL
00000e5c: PUSH1 0x44
00000e5e: DUP3
00000e5f: ADD
00000e60: MSTORE
00000e61: PUSH1 0x64
00000e63: ADD
00000e64: PUSH2 0x0921
00000e67: JUMP
00000e68: JUMPDEST
00000e69: PUSH2 0x0e77
00000e6c: DUP5
00000e6d: PUSH4 0xffffffff
00000e72: AND
00000e73: PUSH2 0x1425
00000e76: JUMP
00000e77: JUMPDEST
00000e78: PUSH1 0x01
00000e7a: DUP2
00000e7b: ADD
00000e7c: SLOAD
00000e7d: PUSH1 0x01
00000e7f: PUSH1 0x01
00000e81: PUSH1 0x70
00000e83: SHL
00000e84: SUB
00000e85: AND
00000e86: ISZERO
00000e87: PUSH2 0x0f0d
00000e8a: JUMPI
00000e8b: PUSH2 0x0e9a
00000e8e: DUP5
00000e8f: PUSH4 0xffffffff
00000e94: AND
00000e95: CALLER
00000e96: PUSH2 0x26ff
00000e99: JUMP
00000e9a: JUMPDEST
00000e9b: DUP1
00000e9c: SLOAD
00000e9d: PUSH1 0x01
00000e9f: PUSH1 0x30
00000ea1: SHL
00000ea2: SWAP1
00000ea3: DIV
00000ea4: PUSH1 0x01
00000ea6: PUSH1 0x01
00000ea8: PUSH1 0x60
00000eaa: SHL
00000eab: SUB
00000eac: AND
00000ead: ISZERO
00000eae: PUSH2 0x0f0d
00000eb1: JUMPI
00000eb2: DUP1
00000eb3: SLOAD
00000eb4: PUSH2 0x0ece
00000eb7: SWAP1
00000eb8: CALLER
00000eb9: SWAP1
00000eba: PUSH1 0x01
00000ebc: PUSH1 0x30
00000ebe: SHL
00000ebf: SWAP1
00000ec0: DIV
00000ec1: PUSH1 0x01
00000ec3: PUSH1 0x01
00000ec5: PUSH1 0x60
00000ec7: SHL
00000ec8: SUB
00000ec9: AND
00000eca: PUSH2 0x2a9d
00000ecd: JUMP
00000ece: JUMPDEST
00000ecf: DUP1
00000ed0: SLOAD
00000ed1: PUSH1 0x02
00000ed3: DUP3
00000ed4: ADD
00000ed5: DUP1
00000ed6: SLOAD
00000ed7: PUSH1 0x01
00000ed9: PUSH1 0x30
00000edb: SHL
00000edc: SWAP1
00000edd: SWAP3
00000ede: DIV
00000edf: PUSH1 0x01
00000ee1: PUSH1 0x01
00000ee3: PUSH1 0x60
00000ee5: SHL
00000ee6: SUB
00000ee7: AND
00000ee8: SWAP2
00000ee9: PUSH1 0x00
00000eeb: SWAP1
00000eec: PUSH2 0x0ef6
00000eef: SWAP1
00000ef0: DUP5
00000ef1: SWAP1
00000ef2: PUSH2 0x2e4b
00000ef5: JUMP
00000ef6: JUMPDEST
00000ef7: SWAP1
00000ef8: SWAP2
00000ef9: SSTORE
00000efa: POP
00000efb: POP
00000efc: DUP1
00000efd: SLOAD
00000efe: PUSH1 0x01
00000f00: PUSH1 0x30
00000f02: SHL
00000f03: PUSH1 0x01
00000f05: PUSH1 0x90
00000f07: SHL
00000f08: SUB
00000f09: NOT
00000f0a: AND
00000f0b: DUP2
00000f0c: SSTORE
00000f0d: JUMPDEST
00000f0e: DUP1
00000f0f: SLOAD
00000f10: PUSH2 0x0f2a
00000f13: SWAP1
00000f14: DUP5
00000f15: SWAP1
00000f16: PUSH1 0x01
00000f18: PUSH1 0x90
00000f1a: SHL
00000f1b: SWAP1
00000f1c: DIV
00000f1d: PUSH1 0x01
00000f1f: PUSH1 0x01
00000f21: PUSH1 0x70
00000f23: SHL
00000f24: SUB
00000f25: AND
00000f26: PUSH2 0x3157
00000f29: JUMP
00000f2a: JUMPDEST
00000f2b: DUP2
00000f2c: SLOAD
00000f2d: PUSH1 0x01
00000f2f: PUSH1 0x01
00000f31: PUSH1 0x70
00000f33: SHL
00000f34: SUB
00000f35: SWAP2
00000f36: SWAP1
00000f37: SWAP2
00000f38: AND
00000f39: PUSH1 0x01
00000f3b: PUSH1 0x90
00000f3d: SHL
00000f3e: MUL
00000f3f: PUSH1 0x01
00000f41: PUSH1 0x01
00000f43: PUSH1 0x90
00000f45: SHL
00000f46: SUB
00000f47: SWAP1
00000f48: SWAP2
00000f49: AND
00000f4a: OR
00000f4b: DUP2
00000f4c: SSTORE
00000f4d: DUP2
00000f4e: SLOAD
00000f4f: PUSH2 0x0f62
00000f52: SWAP1
00000f53: PUSH1 0x01
00000f55: PUSH1 0x01
00000f57: PUSH1 0xa0
00000f59: SHL
00000f5a: SUB
00000f5b: AND
00000f5c: CALLER
00000f5d: DUP6
00000f5e: PUSH2 0x2afe
00000f61: JUMP
00000f62: JUMPDEST
00000f63: PUSH2 0x0f72
00000f66: DUP5
00000f67: PUSH4 0xffffffff
00000f6c: AND
00000f6d: CALLER
00000f6e: PUSH2 0x17c1
00000f71: JUMP
00000f72: JUMPDEST
00000f73: PUSH1 0x40
00000f75: MLOAD
00000f76: DUP4
00000f77: DUP2
00000f78: MSTORE
00000f79: PUSH4 0xffffffff
00000f7e: DUP6
00000f7f: AND
00000f80: SWAP1
00000f81: CALLER
00000f82: SWAP1
00000f83: PUSH32 0xf279e6a1f5e320cca91135676d9cb6e44ca8a08c0b88342bcdb1144f6511b568
00000fa4: SWAP1
00000fa5: PUSH1 0x20
00000fa7: ADD
00000fa8: JUMPDEST
00000fa9: PUSH1 0x40
00000fab: MLOAD
00000fac: DUP1
00000fad: SWAP2
00000fae: SUB
00000faf: SWAP1
00000fb0: LOG3
00000fb1: POP
00000fb2: POP
00000fb3: PUSH1 0x01
00000fb5: DUP1
00000fb6: SSTORE
00000fb7: POP
00000fb8: POP
00000fb9: JUMP
00000fba: JUMPDEST
00000fbb: PUSH1 0x0b
00000fbd: DUP2
00000fbe: DUP2
00000fbf: SLOAD
00000fc0: DUP2
00000fc1: LT
00000fc2: PUSH2 0x0fca
00000fc5: JUMPI
00000fc6: PUSH1 0x00
00000fc8: DUP1
00000fc9: REVERT
00000fca: JUMPDEST
00000fcb: PUSH1 0x00
00000fcd: SWAP2
00000fce: DUP3
00000fcf: MSTORE
00000fd0: PUSH1 0x20
00000fd2: SWAP1
00000fd3: SWAP2
00000fd4: KECCAK256
00000fd5: PUSH1 0x03
00000fd7: SWAP1
00000fd8: SWAP2
00000fd9: MUL
00000fda: ADD
00000fdb: DUP1
00000fdc: SLOAD
00000fdd: PUSH1 0x01
00000fdf: DUP3
00000fe0: ADD
00000fe1: SLOAD
00000fe2: PUSH1 0x02
00000fe4: SWAP1
00000fe5: SWAP3
00000fe6: ADD
00000fe7: SLOAD
00000fe8: PUSH1 0x01
00000fea: PUSH1 0x01
00000fec: PUSH1 0xa0
00000fee: SHL
00000fef: SUB
00000ff0: DUP3
00000ff1: AND
00000ff2: SWAP4
00000ff3: POP
00000ff4: PUSH1 0x01
00000ff6: PUSH1 0x01
00000ff8: PUSH1 0x40
00000ffa: SHL
00000ffb: SUB
00000ffc: PUSH1 0x01
00000ffe: PUSH1 0xa0
00001000: SHL
00001001: SWAP1
00001002: SWAP3
00001003: DIV
00001004: DUP3
00001005: AND
00001006: SWAP3
00001007: SWAP2
00001008: DUP3
00001009: AND
0000100a: SWAP2
0000100b: PUSH1 0x01
0000100d: PUSH1 0x01
0000100f: PUSH1 0x70
00001011: SHL
00001012: SUB
00001013: PUSH1 0x01
00001015: PUSH1 0x40
00001017: SHL
00001018: SWAP1
00001019: SWAP2
0000101a: DIV
0000101b: DUP2
0000101c: AND
0000101d: SWAP2
0000101e: AND
0000101f: DUP6
00001020: JUMP
00001021: JUMPDEST
00001022: PUSH1 0x00
00001024: SLOAD
00001025: PUSH1 0x01
00001027: PUSH1 0x01
00001029: PUSH1 0xa0
0000102b: SHL
0000102c: SUB
0000102d: AND
0000102e: CALLER
0000102f: EQ
00001030: PUSH2 0x104b
00001033: JUMPI
00001034: PUSH1 0x40
00001036: MLOAD
00001037: PUSH3 0x461bcd
0000103b: PUSH1 0xe5
0000103d: SHL
0000103e: DUP2
0000103f: MSTORE
00001040: PUSH1 0x04
00001042: ADD
00001043: PUSH2 0x0921
00001046: SWAP1
00001047: PUSH2 0x3191
0000104a: JUMP
0000104b: JUMPDEST
0000104c: NUMBER
0000104d: PUSH1 0x0e
0000104f: SLOAD
00001050: GT
00001051: PUSH2 0x10aa
00001054: JUMPI
00001055: PUSH1 0x40
00001057: MLOAD
00001058: PUSH3 0x461bcd
0000105c: PUSH1 0xe5
0000105e: SHL
0000105f: DUP2
00001060: MSTORE
00001061: PUSH1 0x20
00001063: PUSH1 0x04
00001065: DUP3
00001066: ADD
00001067: MSTORE
00001068: PUSH1 0x25
0000106a: PUSH1 0x24
0000106c: DUP3
0000106d: ADD
0000106e: MSTORE
0000106f: PUSH32 0x7374617274526577617264733a207265776172647320616c7265616479207374
00001090: PUSH1 0x44
00001092: DUP3
00001093: ADD
00001094: MSTORE
00001095: PUSH5 0x185c9d1959
0000109b: PUSH1 0xda
0000109d: SHL
0000109e: PUSH1 0x64
000010a0: DUP3
000010a1: ADD
000010a2: MSTORE
000010a3: PUSH1 0x84
000010a5: ADD
000010a6: PUSH2 0x0921
000010a9: JUMP
000010aa: JUMPDEST
000010ab: NUMBER
000010ac: PUSH1 0x0e
000010ae: SSTORE
000010af: PUSH1 0x00
000010b1: JUMPDEST
000010b2: PUSH1 0x0b
000010b4: SLOAD
000010b5: DUP2
000010b6: LT
000010b7: ISZERO
000010b8: PUSH2 0x1117
000010bb: JUMPI
000010bc: NUMBER
000010bd: PUSH1 0x0b
000010bf: DUP3
000010c0: DUP2
000010c1: SLOAD
000010c2: DUP2
000010c3: LT
000010c4: PUSH2 0x10cf
000010c7: JUMPI
000010c8: PUSH2 0x10cf
000010cb: PUSH2 0x3113
000010ce: JUMP
000010cf: JUMPDEST
000010d0: SWAP1
000010d1: PUSH1 0x00
000010d3: MSTORE
000010d4: PUSH1 0x20
000010d6: PUSH1 0x00
000010d8: KECCAK256
000010d9: SWAP1
000010da: PUSH1 0x03
000010dc: MUL
000010dd: ADD
000010de: PUSH1 0x01
000010e0: ADD
000010e1: PUSH1 0x00
000010e3: PUSH2 0x0100
000010e6: EXP
000010e7: DUP2
000010e8: SLOAD
000010e9: DUP2
000010ea: PUSH1 0x01
000010ec: PUSH1 0x01
000010ee: PUSH1 0x40
000010f0: SHL
000010f1: SUB
000010f2: MUL
000010f3: NOT
000010f4: AND
000010f5: SWAP1
000010f6: DUP4
000010f7: PUSH1 0x01
000010f9: PUSH1 0x01
000010fb: PUSH1 0x40
000010fd: SHL
000010fe: SUB
000010ff: AND
00001100: MUL
00001101: OR
00001102: SWAP1
00001103: SSTORE
00001104: POP
00001105: DUP1
00001106: DUP1
00001107: PUSH2 0x110f
0000110a: SWAP1
0000110b: PUSH2 0x31c6
0000110e: JUMP
0000110f: JUMPDEST
00001110: SWAP2
00001111: POP
00001112: POP
00001113: PUSH2 0x10b1
00001116: JUMP
00001117: JUMPDEST
00001118: POP
00001119: JUMP
0000111a: JUMPDEST
0000111b: PUSH1 0x00
0000111d: SLOAD
0000111e: PUSH1 0x01
00001120: PUSH1 0x01
00001122: PUSH1 0xa0
00001124: SHL
00001125: SUB
00001126: AND
00001127: CALLER
00001128: EQ
00001129: PUSH2 0x1144
0000112c: JUMPI
0000112d: PUSH1 0x40
0000112f: MLOAD
00001130: PUSH3 0x461bcd
00001134: PUSH1 0xe5
00001136: SHL
00001137: DUP2
00001138: MSTORE
00001139: PUSH1 0x04
0000113b: ADD
0000113c: PUSH2 0x0921
0000113f: SWAP1
00001140: PUSH2 0x3191
00001143: JUMP
00001144: JUMPDEST
00001145: PUSH1 0x0a
00001147: SSTORE
00001148: JUMP
00001149: JUMPDEST
0000114a: PUSH1 0x00
0000114c: SLOAD
0000114d: PUSH1 0x01
0000114f: PUSH1 0x01
00001151: PUSH1 0xa0
00001153: SHL
00001154: SUB
00001155: AND
00001156: CALLER
00001157: EQ
00001158: PUSH2 0x1173
0000115b: JUMPI
0000115c: PUSH1 0x40
0000115e: MLOAD
0000115f: PUSH3 0x461bcd
00001163: PUSH1 0xe5
00001165: SHL
00001166: DUP2
00001167: MSTORE
00001168: PUSH1 0x04
0000116a: ADD
0000116b: PUSH2 0x0921
0000116e: SWAP1
0000116f: PUSH2 0x3191
00001172: JUMP
00001173: JUMPDEST
00001174: DUP1
00001175: ISZERO
00001176: PUSH2 0x1181
00001179: JUMPI
0000117a: PUSH2 0x1181
0000117d: PUSH2 0x19bf
00001180: JUMP
00001181: JUMPDEST
00001182: DUP2
00001183: PUSH1 0x01
00001185: PUSH1 0x01
00001187: PUSH1 0x40
00001189: SHL
0000118a: SUB
0000118b: AND
0000118c: PUSH1 0x0b
0000118e: DUP5
0000118f: DUP2
00001190: SLOAD
00001191: DUP2
00001192: LT
00001193: PUSH2 0x119e
00001196: JUMPI
00001197: PUSH2 0x119e
0000119a: PUSH2 0x3113
0000119d: JUMP
0000119e: JUMPDEST
0000119f: PUSH1 0x00
000011a1: SWAP2
000011a2: DUP3
000011a3: MSTORE
000011a4: PUSH1 0x20
000011a6: SWAP1
000011a7: SWAP2
000011a8: KECCAK256
000011a9: PUSH1 0x03
000011ab: SWAP1
000011ac: SWAP2
000011ad: MUL
000011ae: ADD
000011af: SLOAD
000011b0: PUSH1 0x0d
000011b2: SLOAD
000011b3: PUSH2 0x11cc
000011b6: SWAP2
000011b7: PUSH1 0x01
000011b9: PUSH1 0xa0
000011bb: SHL
000011bc: SWAP1
000011bd: DIV
000011be: PUSH1 0x01
000011c0: PUSH1 0x01
000011c2: PUSH1 0x40
000011c4: SHL
000011c5: SUB
000011c6: AND
000011c7: SWAP1
000011c8: PUSH2 0x3157
000011cb: JUMP
000011cc: JUMPDEST
000011cd: PUSH2 0x11d6
000011d0: SWAP2
000011d1: SWAP1
000011d2: PUSH2 0x2e4b
000011d5: JUMP
000011d6: JUMPDEST
000011d7: PUSH1 0x0d
000011d9: DUP2
000011da: SWAP1
000011db: SSTORE
000011dc: POP
000011dd: DUP2
000011de: PUSH1 0x0b
000011e0: DUP5
000011e1: DUP2
000011e2: SLOAD
000011e3: DUP2
000011e4: LT
000011e5: PUSH2 0x11f0
000011e8: JUMPI
000011e9: PUSH2 0x11f0
000011ec: PUSH2 0x3113
000011ef: JUMP
000011f0: JUMPDEST
000011f1: SWAP1
000011f2: PUSH1 0x00
000011f4: MSTORE
000011f5: PUSH1 0x20
000011f7: PUSH1 0x00
000011f9: KECCAK256
000011fa: SWAP1
000011fb: PUSH1 0x03
000011fd: MUL
000011fe: ADD
000011ff: PUSH1 0x00
00001201: ADD
00001202: PUSH1 0x14
00001204: PUSH2 0x0100
00001207: EXP
00001208: DUP2
00001209: SLOAD
0000120a: DUP2
0000120b: PUSH1 0x01
0000120d: PUSH1 0x01
0000120f: PUSH1 0x40
00001211: SHL
00001212: SUB
00001213: MUL
00001214: NOT
00001215: AND
00001216: SWAP1
00001217: DUP4
00001218: PUSH1 0x01
0000121a: PUSH1 0x01
0000121c: PUSH1 0x40
0000121e: SHL
0000121f: SUB
00001220: AND
00001221: MUL
00001222: OR
00001223: SWAP1
00001224: SSTORE
00001225: POP
00001226: POP
00001227: POP
00001228: POP
00001229: JUMP
0000122a: JUMPDEST
0000122b: PUSH1 0x00
0000122d: SLOAD
0000122e: PUSH1 0x01
00001230: PUSH1 0x01
00001232: PUSH1 0xa0
00001234: SHL
00001235: SUB
00001236: AND
00001237: CALLER
00001238: EQ
00001239: PUSH2 0x1254
0000123c: JUMPI
0000123d: PUSH1 0x40
0000123f: MLOAD
00001240: PUSH3 0x461bcd
00001244: PUSH1 0xe5
00001246: SHL
00001247: DUP2
00001248: MSTORE
00001249: PUSH1 0x04
0000124b: ADD
0000124c: PUSH2 0x0921
0000124f: SWAP1
00001250: PUSH2 0x3191
00001253: JUMP
00001254: JUMPDEST
00001255: PUSH1 0x01
00001257: PUSH1 0x01
00001259: PUSH1 0xa0
0000125b: SHL
0000125c: SUB
0000125d: DUP2
0000125e: AND
0000125f: PUSH1 0x00
00001261: SWAP1
00001262: DUP2
00001263: MSTORE
00001264: PUSH1 0x10
00001266: PUSH1 0x20
00001268: MSTORE
00001269: PUSH1 0x40
0000126b: SWAP1
0000126c: KECCAK256
0000126d: SLOAD
0000126e: PUSH1 0xff
00001270: AND
00001271: ISZERO
00001272: PUSH2 0x12c7
00001275: JUMPI
00001276: PUSH1 0x40
00001278: MLOAD
00001279: PUSH3 0x461bcd
0000127d: PUSH1 0xe5
0000127f: SHL
00001280: DUP2
00001281: MSTORE
00001282: PUSH1 0x20
00001284: PUSH1 0x04
00001286: DUP3
00001287: ADD
00001288: MSTORE
00001289: PUSH1 0x21
0000128b: PUSH1 0x24
0000128d: DUP3
0000128e: ADD
0000128f: MSTORE
00001290: PUSH32 0x726573637565546f6b656e203a2077726f6e6720746f6b656e20616464726573
000012b1: PUSH1 0x44
000012b3: DUP3
000012b4: ADD
000012b5: MSTORE
000012b6: PUSH1 0x73
000012b8: PUSH1 0xf8
000012ba: SHL
000012bb: PUSH1 0x64
000012bd: DUP3
000012be: ADD
000012bf: MSTORE
000012c0: PUSH1 0x84
000012c2: ADD
000012c3: PUSH2 0x0921
000012c6: JUMP
000012c7: JUMPDEST
000012c8: PUSH1 0x40
000012ca: MLOAD
000012cb: PUSH4 0x70a08231
000012d0: PUSH1 0xe0
000012d2: SHL
000012d3: DUP2
000012d4: MSTORE
000012d5: ADDRESS
000012d6: PUSH1 0x04
000012d8: DUP3
000012d9: ADD
000012da: MSTORE
000012db: PUSH1 0x00
000012dd: SWAP1
000012de: PUSH1 0x01
000012e0: PUSH1 0x01
000012e2: PUSH1 0xa0
000012e4: SHL
000012e5: SUB
000012e6: DUP4
000012e7: AND
000012e8: SWAP1
000012e9: PUSH4 0x70a08231
000012ee: SWAP1
000012ef: PUSH1 0x24
000012f1: ADD
000012f2: PUSH1 0x20
000012f4: PUSH1 0x40
000012f6: MLOAD
000012f7: DUP1
000012f8: DUP4
000012f9: SUB
000012fa: DUP2
000012fb: DUP7
000012fc: GAS
000012fd: STATICCALL
000012fe: ISZERO
000012ff: DUP1
00001300: ISZERO
00001301: PUSH2 0x130e
00001304: JUMPI
00001305: RETURNDATASIZE
00001306: PUSH1 0x00
00001308: DUP1
00001309: RETURNDATACOPY
0000130a: RETURNDATASIZE
0000130b: PUSH1 0x00
0000130d: REVERT
0000130e: JUMPDEST
0000130f: POP
00001310: POP
00001311: POP
00001312: POP
00001313: PUSH1 0x40
00001315: MLOAD
00001316: RETURNDATASIZE
00001317: PUSH1 0x1f
00001319: NOT
0000131a: PUSH1 0x1f
0000131c: DUP3
0000131d: ADD
0000131e: AND
0000131f: DUP3
00001320: ADD
00001321: DUP1
00001322: PUSH1 0x40
00001324: MSTORE
00001325: POP
00001326: DUP2
00001327: ADD
00001328: SWAP1
00001329: PUSH2 0x1332
0000132c: SWAP2
0000132d: SWAP1
0000132e: PUSH2 0x31df
00001331: JUMP
00001332: JUMPDEST
00001333: PUSH1 0x40
00001335: MLOAD
00001336: PUSH4 0xa9059cbb
0000133b: PUSH1 0xe0
0000133d: SHL
0000133e: DUP2
0000133f: MSTORE
00001340: CALLER
00001341: PUSH1 0x04
00001343: DUP3
00001344: ADD
00001345: MSTORE
00001346: PUSH1 0x24
00001348: DUP2
00001349: ADD
0000134a: DUP3
0000134b: SWAP1
0000134c: MSTORE
0000134d: SWAP1
0000134e: SWAP2
0000134f: POP
00001350: PUSH1 0x01
00001352: PUSH1 0x01
00001354: PUSH1 0xa0
00001356: SHL
00001357: SUB
00001358: DUP4
00001359: AND
0000135a: SWAP1
0000135b: PUSH4 0xa9059cbb
00001360: SWAP1
00001361: PUSH1 0x44
00001363: ADD
00001364: PUSH1 0x20
00001366: PUSH1 0x40
00001368: MLOAD
00001369: DUP1
0000136a: DUP4
0000136b: SUB
0000136c: DUP2
0000136d: PUSH1 0x00
0000136f: DUP8
00001370: GAS
00001371: CALL
00001372: ISZERO
00001373: DUP1
00001374: ISZERO
00001375: PUSH2 0x1382
00001378: JUMPI
00001379: RETURNDATASIZE
0000137a: PUSH1 0x00
0000137c: DUP1
0000137d: RETURNDATACOPY
0000137e: RETURNDATASIZE
0000137f: PUSH1 0x00
00001381: REVERT
00001382: JUMPDEST
00001383: POP
00001384: POP
00001385: POP
00001386: POP
00001387: PUSH1 0x40
00001389: MLOAD
0000138a: RETURNDATASIZE
0000138b: PUSH1 0x1f
0000138d: NOT
0000138e: PUSH1 0x1f
00001390: DUP3
00001391: ADD
00001392: AND
00001393: DUP3
00001394: ADD
00001395: DUP1
00001396: PUSH1 0x40
00001398: MSTORE
00001399: POP
0000139a: DUP2
0000139b: ADD
0000139c: SWAP1
0000139d: PUSH2 0x13a6
000013a0: SWAP2
000013a1: SWAP1
000013a2: PUSH2 0x30f6
000013a5: JUMP
000013a6: JUMPDEST
000013a7: POP
000013a8: POP
000013a9: POP
000013aa: JUMP
000013ab: JUMPDEST
000013ac: PUSH1 0x02
000013ae: PUSH1 0x01
000013b0: SLOAD
000013b1: SUB
000013b2: PUSH2 0x13cd
000013b5: JUMPI
000013b6: PUSH1 0x40
000013b8: MLOAD
000013b9: PUSH3 0x461bcd
000013bd: PUSH1 0xe5
000013bf: SHL
000013c0: DUP2
000013c1: MSTORE
000013c2: PUSH1 0x04
000013c4: ADD
000013c5: PUSH2 0x0921
000013c8: SWAP1
000013c9: PUSH2 0x30bf
000013cc: JUMP
000013cd: JUMPDEST
000013ce: PUSH1 0x02
000013d0: PUSH1 0x01
000013d2: SWAP1
000013d3: DUP2
000013d4: SSTORE
000013d5: PUSH1 0x00
000013d7: DUP4
000013d8: DUP2
000013d9: MSTORE
000013da: PUSH1 0x0c
000013dc: PUSH1 0x20
000013de: SWAP1
000013df: DUP2
000013e0: MSTORE
000013e1: PUSH1 0x40
000013e3: DUP1
000013e4: DUP4
000013e5: KECCAK256
000013e6: PUSH1 0x01
000013e8: PUSH1 0x01
000013ea: PUSH1 0xa0
000013ec: SHL
000013ed: SUB
000013ee: DUP7
000013ef: AND
000013f0: DUP5
000013f1: MSTORE
000013f2: SWAP1
000013f3: SWAP2
000013f4: MSTORE
000013f5: SWAP1
000013f6: KECCAK256
000013f7: ADD
000013f8: SLOAD
000013f9: PUSH1 0x01
000013fb: PUSH1 0x01
000013fd: PUSH1 0x70
000013ff: SHL
00001400: SUB
00001401: AND
00001402: PUSH2 0x140a
00001405: JUMPI
00001406: PUSH1 0x00
00001408: DUP1
00001409: REVERT
0000140a: JUMPDEST
0000140b: PUSH2 0x1413
0000140e: DUP3
0000140f: PUSH2 0x1425
00001412: JUMP
00001413: JUMPDEST
00001414: PUSH2 0x141d
00001417: DUP3
00001418: DUP3
00001419: PUSH2 0x26ff
0000141c: JUMP
0000141d: JUMPDEST
0000141e: POP
0000141f: POP
00001420: PUSH1 0x01
00001422: DUP1
00001423: SSTORE
00001424: JUMP
00001425: JUMPDEST
00001426: PUSH1 0x00
00001428: PUSH1 0x0b
0000142a: DUP3
0000142b: DUP2
0000142c: SLOAD
0000142d: DUP2
0000142e: LT
0000142f: PUSH2 0x143a
00001432: JUMPI
00001433: PUSH2 0x143a
00001436: PUSH2 0x3113
00001439: JUMP
0000143a: JUMPDEST
0000143b: PUSH1 0x00
0000143d: SWAP2
0000143e: DUP3
0000143f: MSTORE
00001440: PUSH1 0x20
00001442: SWAP1
00001443: SWAP2
00001444: KECCAK256
00001445: PUSH1 0x03
00001447: SWAP1
00001448: SWAP2
00001449: MUL
0000144a: ADD
0000144b: PUSH1 0x01
0000144d: DUP2
0000144e: ADD
0000144f: SLOAD
00001450: SWAP1
00001451: SWAP2
00001452: POP
00001453: PUSH1 0x01
00001455: PUSH1 0x01
00001457: PUSH1 0x40
00001459: SHL
0000145a: SUB
0000145b: AND
0000145c: NUMBER
0000145d: GT
0000145e: PUSH2 0x1465
00001461: JUMPI
00001462: POP
00001463: POP
00001464: JUMP
00001465: JUMPDEST
00001466: PUSH1 0x02
00001468: DUP2
00001469: ADD
0000146a: SLOAD
0000146b: PUSH1 0x01
0000146d: PUSH1 0x01
0000146f: PUSH1 0x70
00001471: SHL
00001472: SUB
00001473: AND
00001474: DUP1
00001475: ISZERO
00001476: DUP1
00001477: PUSH2 0x148f
0000147a: JUMPI
0000147b: POP
0000147c: DUP2
0000147d: SLOAD
0000147e: PUSH1 0x01
00001480: PUSH1 0xa0
00001482: SHL
00001483: SWAP1
00001484: DIV
00001485: PUSH1 0x01
00001487: PUSH1 0x01
00001489: PUSH1 0x40
0000148b: SHL
0000148c: SUB
0000148d: AND
0000148e: ISZERO
0000148f: JUMPDEST
00001490: ISZERO
00001491: PUSH2 0x14b5
00001494: JUMPI
00001495: POP
00001496: PUSH1 0x01
00001498: ADD
00001499: DUP1
0000149a: SLOAD
0000149b: PUSH8 0xffffffffffffffff
000014a4: NOT
000014a5: AND
000014a6: NUMBER
000014a7: PUSH1 0x01
000014a9: PUSH1 0x01
000014ab: PUSH1 0x40
000014ad: SHL
000014ae: SUB
000014af: AND
000014b0: OR
000014b1: SWAP1
000014b2: SSTORE
000014b3: POP
000014b4: JUMP
000014b5: JUMPDEST
000014b6: PUSH1 0x01
000014b8: DUP3
000014b9: ADD
000014ba: SLOAD
000014bb: PUSH1 0x00
000014bd: SWAP1
000014be: PUSH2 0x14d0
000014c1: SWAP1
000014c2: PUSH1 0x01
000014c4: PUSH1 0x01
000014c6: PUSH1 0x40
000014c8: SHL
000014c9: SUB
000014ca: AND
000014cb: NUMBER
000014cc: PUSH2 0x1a68
000014cf: JUMP
000014d0: JUMPDEST
000014d1: PUSH1 0x0d
000014d3: SLOAD
000014d4: DUP5
000014d5: SLOAD
000014d6: PUSH1 0x06
000014d8: SLOAD
000014d9: SWAP3
000014da: SWAP4
000014db: POP
000014dc: PUSH1 0x00
000014de: SWAP3
000014df: PUSH1 0x01
000014e1: PUSH1 0xa0
000014e3: SHL
000014e4: SWAP1
000014e5: SWAP2
000014e6: DIV
000014e7: PUSH1 0x01
000014e9: PUSH1 0x01
000014eb: PUSH1 0x40
000014ed: SHL
000014ee: SUB
000014ef: AND
000014f0: SWAP1
000014f1: PUSH2 0x14fa
000014f4: SWAP1
000014f5: DUP6
000014f6: PUSH2 0x307e
000014f9: JUMP
000014fa: JUMPDEST
000014fb: PUSH2 0x1504
000014fe: SWAP2
000014ff: SWAP1
00001500: PUSH2 0x307e
00001503: JUMP
00001504: JUMPDEST
00001505: PUSH2 0x150e
00001508: SWAP2
00001509: SWAP1
0000150a: PUSH2 0x30ab
0000150d: JUMP
0000150e: JUMPDEST
0000150f: SWAP1
00001510: POP
00001511: DUP1
00001512: PUSH1 0x08
00001514: SLOAD
00001515: PUSH2 0x151e
00001518: SWAP2
00001519: SWAP1
0000151a: PUSH2 0x2e4b
0000151d: JUMP
0000151e: JUMPDEST
0000151f: PUSH1 0x08
00001521: SSTORE
00001522: PUSH1 0x07
00001524: SLOAD
00001525: PUSH2 0x152f
00001528: SWAP1
00001529: DUP3
0000152a: SWAP1
0000152b: PUSH2 0x3157
0000152e: JUMP
0000152f: JUMPDEST
00001530: PUSH1 0x07
00001532: SSTORE
00001533: DUP3
00001534: PUSH2 0x1542
00001537: DUP3
00001538: PUSH5 0xe8d4a51000
0000153e: PUSH2 0x307e
00001541: JUMP
00001542: JUMPDEST
00001543: PUSH2 0x154c
00001546: SWAP2
00001547: SWAP1
00001548: PUSH2 0x30ab
0000154b: JUMP
0000154c: JUMPDEST
0000154d: PUSH1 0x01
0000154f: DUP6
00001550: ADD
00001551: SLOAD
00001552: PUSH2 0x156b
00001555: SWAP2
00001556: SWAP1
00001557: PUSH1 0x01
00001559: PUSH1 0x40
0000155b: SHL
0000155c: SWAP1
0000155d: DIV
0000155e: PUSH1 0x01
00001560: PUSH1 0x01
00001562: PUSH1 0x70
00001564: SHL
00001565: SUB
00001566: AND
00001567: PUSH2 0x2e4b
0000156a: JUMP
0000156b: JUMPDEST
0000156c: PUSH1 0x01
0000156e: SWAP5
0000156f: SWAP1
00001570: SWAP5
00001571: ADD
00001572: DUP1
00001573: SLOAD
00001574: PUSH1 0x01
00001576: PUSH1 0x01
00001578: PUSH1 0xb0
0000157a: SHL
0000157b: SUB
0000157c: NOT
0000157d: AND
0000157e: PUSH1 0x01
00001580: PUSH1 0x40
00001582: SHL
00001583: PUSH1 0x01
00001585: PUSH1 0x01
00001587: PUSH1 0x70
00001589: SHL
0000158a: SUB
0000158b: SWAP1
0000158c: SWAP7
0000158d: AND
0000158e: SWAP6
0000158f: SWAP1
00001590: SWAP6
00001591: MUL
00001592: PUSH8 0xffffffffffffffff
0000159b: NOT
0000159c: AND
0000159d: SWAP5
0000159e: SWAP1
0000159f: SWAP5
000015a0: OR
000015a1: NUMBER
000015a2: PUSH1 0x01
000015a4: PUSH1 0x01
000015a6: PUSH1 0x40
000015a8: SHL
000015a9: SUB
000015aa: AND
000015ab: OR
000015ac: SWAP1
000015ad: SWAP4
000015ae: SSTORE
000015af: POP
000015b0: POP
000015b1: POP
000015b2: POP
000015b3: JUMP
000015b4: JUMPDEST
000015b5: PUSH1 0x02
000015b7: PUSH1 0x01
000015b9: SLOAD
000015ba: SUB
000015bb: PUSH2 0x15d6
000015be: JUMPI
000015bf: PUSH1 0x40
000015c1: MLOAD
000015c2: PUSH3 0x461bcd
000015c6: PUSH1 0xe5
000015c8: SHL
000015c9: DUP2
000015ca: MSTORE
000015cb: PUSH1 0x04
000015cd: ADD
000015ce: PUSH2 0x0921
000015d1: SWAP1
000015d2: PUSH2 0x30bf
000015d5: JUMP
000015d6: JUMPDEST
000015d7: PUSH1 0x02
000015d9: PUSH1 0x01
000015db: SWAP1
000015dc: DUP2
000015dd: SSTORE
000015de: PUSH1 0x0f
000015e0: SLOAD
000015e1: PUSH1 0xff
000015e3: AND
000015e4: ISZERO
000015e5: ISZERO
000015e6: EQ
000015e7: PUSH2 0x163d
000015ea: JUMPI
000015eb: PUSH1 0x40
000015ed: MLOAD
000015ee: PUSH3 0x461bcd
000015f2: PUSH1 0xe5
000015f4: SHL
000015f5: DUP2
000015f6: MSTORE
000015f7: PUSH1 0x20
000015f9: PUSH1 0x04
000015fb: DUP3
000015fc: ADD
000015fd: MSTORE
000015fe: PUSH1 0x22
00001600: PUSH1 0x24
00001602: DUP3
00001603: ADD
00001604: MSTORE
00001605: PUSH32 0x6f6e6c79456d657267656e63793a20456d657267656e637920757365206f6e6c
00001626: PUSH1 0x44
00001628: DUP3
00001629: ADD
0000162a: MSTORE
0000162b: PUSH2 0x7921
0000162e: PUSH1 0xf0
00001630: SHL
00001631: PUSH1 0x64
00001633: DUP3
00001634: ADD
00001635: MSTORE
00001636: PUSH1 0x84
00001638: ADD
00001639: PUSH2 0x0921
0000163c: JUMP
0000163d: JUMPDEST
0000163e: PUSH1 0x00
00001640: PUSH1 0x0b
00001642: DUP3
00001643: DUP2
00001644: SLOAD
00001645: DUP2
00001646: LT
00001647: PUSH2 0x1652
0000164a: JUMPI
0000164b: PUSH2 0x1652
0000164e: PUSH2 0x3113
00001651: JUMP
00001652: JUMPDEST
00001653: PUSH1 0x00
00001655: SWAP2
00001656: DUP3
00001657: MSTORE
00001658: PUSH1 0x20
0000165a: DUP1
0000165b: DUP4
0000165c: KECCAK256
0000165d: DUP6
0000165e: DUP5
0000165f: MSTORE
00001660: PUSH1 0x0c
00001662: DUP3
00001663: MSTORE
00001664: PUSH1 0x40
00001666: DUP1
00001667: DUP6
00001668: KECCAK256
00001669: CALLER
0000166a: DUP7
0000166b: MSTORE
0000166c: SWAP1
0000166d: SWAP3
0000166e: MSTORE
0000166f: SWAP1
00001670: DUP4
00001671: KECCAK256
00001672: DUP1
00001673: SLOAD
00001674: PUSH1 0x01
00001676: DUP3
00001677: ADD
00001678: SLOAD
00001679: PUSH1 0x03
0000167b: SWAP5
0000167c: SWAP1
0000167d: SWAP5
0000167e: MUL
0000167f: SWAP1
00001680: SWAP3
00001681: ADD
00001682: PUSH1 0x02
00001684: DUP2
00001685: ADD
00001686: DUP1
00001687: SLOAD
00001688: SWAP2
00001689: SWAP7
0000168a: POP
0000168b: SWAP2
0000168c: SWAP5
0000168d: PUSH1 0x01
0000168f: PUSH1 0x90
00001691: SHL
00001692: SWAP1
00001693: SWAP4
00001694: DIV
00001695: PUSH1 0x01
00001697: PUSH1 0x01
00001699: PUSH1 0x70
0000169b: SHL
0000169c: SUB
0000169d: SWAP1
0000169e: DUP2
0000169f: AND
000016a0: SWAP5
000016a1: DUP2
000016a2: AND
000016a3: SWAP4
000016a4: SWAP2
000016a5: PUSH2 0x16b0
000016a8: SWAP2
000016a9: DUP6
000016aa: SWAP2
000016ab: AND
000016ac: PUSH2 0x31f8
000016af: JUMP
000016b0: JUMPDEST
000016b1: DUP3
000016b2: SLOAD
000016b3: PUSH1 0x01
000016b5: PUSH1 0x01
000016b7: PUSH1 0x70
000016b9: SHL
000016ba: SUB
000016bb: SWAP2
000016bc: DUP3
000016bd: AND
000016be: PUSH2 0x0100
000016c1: SWAP4
000016c2: SWAP1
000016c3: SWAP4
000016c4: EXP
000016c5: SWAP3
000016c6: DUP4
000016c7: MUL
000016c8: SWAP2
000016c9: SWAP1
000016ca: SWAP3
000016cb: MUL
000016cc: NOT
000016cd: SWAP1
000016ce: SWAP2
000016cf: AND
000016d0: OR
000016d1: SWAP1
000016d2: SSTORE
000016d3: POP
000016d4: DUP2
000016d5: SLOAD
000016d6: PUSH1 0x01
000016d8: DUP4
000016d9: ADD
000016da: DUP1
000016db: SLOAD
000016dc: PUSH1 0x01
000016de: PUSH1 0x01
000016e0: PUSH1 0x70
000016e2: SHL
000016e3: SUB
000016e4: NOT
000016e5: SWAP1
000016e6: DUP2
000016e7: AND
000016e8: SWAP1
000016e9: SWAP2
000016ea: SSTORE
000016eb: PUSH1 0x03
000016ed: DUP5
000016ee: ADD
000016ef: DUP1
000016f0: SLOAD
000016f1: SWAP1
000016f2: SWAP2
000016f3: AND
000016f4: SWAP1
000016f5: SSTORE
000016f6: PUSH6 0xffffffffffff
000016fd: AND
000016fe: DUP3
000016ff: SSTORE
00001700: DUP3
00001701: SLOAD
00001702: PUSH2 0x1715
00001705: SWAP1
00001706: PUSH1 0x01
00001708: PUSH1 0x01
0000170a: PUSH1 0xa0
0000170c: SHL
0000170d: SUB
0000170e: AND
0000170f: CALLER
00001710: DUP4
00001711: PUSH2 0x2afe
00001714: JUMP
00001715: JUMPDEST
00001716: PUSH1 0x40
00001718: MLOAD
00001719: DUP2
0000171a: DUP2
0000171b: MSTORE
0000171c: DUP5
0000171d: SWAP1
0000171e: CALLER
0000171f: SWAP1
00001720: PUSH32 0xbb757047c2b5f3974fe26b7c10f732e7bce710b0952a71082702781e62ae0595
00001741: SWAP1
00001742: PUSH1 0x20
00001744: ADD
00001745: PUSH2 0x0fa8
00001748: JUMP
00001749: JUMPDEST
0000174a: PUSH1 0x00
0000174c: SLOAD
0000174d: PUSH1 0x01
0000174f: PUSH1 0x01
00001751: PUSH1 0xa0
00001753: SHL
00001754: SUB
00001755: AND
00001756: CALLER
00001757: EQ
00001758: PUSH2 0x1773
0000175b: JUMPI
0000175c: PUSH1 0x40
0000175e: MLOAD
0000175f: PUSH3 0x461bcd
00001763: PUSH1 0xe5
00001765: SHL
00001766: DUP2
00001767: MSTORE
00001768: PUSH1 0x04
0000176a: ADD
0000176b: PUSH2 0x0921
0000176e: SWAP1
0000176f: PUSH2 0x3191
00001772: JUMP
00001773: JUMPDEST
00001774: PUSH1 0x0f
00001776: DUP1
00001777: SLOAD
00001778: PUSH1 0xff
0000177a: NOT
0000177b: AND
0000177c: DUP3
0000177d: ISZERO
0000177e: ISZERO
0000177f: SWAP1
00001780: DUP2
00001781: OR
00001782: SWAP1
00001783: SWAP2
00001784: SSTORE
00001785: PUSH1 0x40
00001787: DUP1
00001788: MLOAD
00001789: TIMESTAMP
0000178a: DUP2
0000178b: MSTORE
0000178c: PUSH1 0x20
0000178e: DUP2
0000178f: ADD
00001790: SWAP3
00001791: SWAP1
00001792: SWAP3
00001793: MSTORE
00001794: PUSH32 0xff8db90c07460bbb951945fef7481379809de7701710f89abe56cbaa5216df1e
000017b5: SWAP2
000017b6: ADD
000017b7: PUSH1 0x40
000017b9: MLOAD
000017ba: DUP1
000017bb: SWAP2
000017bc: SUB
000017bd: SWAP1
000017be: LOG1
000017bf: POP
000017c0: JUMP
000017c1: JUMPDEST
000017c2: PUSH1 0x00
000017c4: PUSH1 0x0b
000017c6: DUP4
000017c7: DUP2
000017c8: SLOAD
000017c9: DUP2
000017ca: LT
000017cb: PUSH2 0x17d6
000017ce: JUMPI
000017cf: PUSH2 0x17d6
000017d2: PUSH2 0x3113
000017d5: JUMP
000017d6: JUMPDEST
000017d7: PUSH1 0x00
000017d9: SWAP2
000017da: DUP3
000017db: MSTORE
000017dc: PUSH1 0x20
000017de: DUP1
000017df: DUP4
000017e0: KECCAK256
000017e1: DUP7
000017e2: DUP5
000017e3: MSTORE
000017e4: PUSH1 0x0c
000017e6: DUP3
000017e7: MSTORE
000017e8: PUSH1 0x40
000017ea: DUP1
000017eb: DUP6
000017ec: KECCAK256
000017ed: PUSH1 0x01
000017ef: PUSH1 0x01
000017f1: PUSH1 0xa0
000017f3: SHL
000017f4: SUB
000017f5: DUP9
000017f6: AND
000017f7: DUP7
000017f8: MSTORE
000017f9: SWAP1
000017fa: SWAP3
000017fb: MSTORE
000017fc: SWAP1
000017fd: DUP4
000017fe: KECCAK256
000017ff: PUSH1 0x01
00001801: DUP2
00001802: ADD
00001803: SLOAD
00001804: PUSH1 0x02
00001806: PUSH1 0x03
00001808: SWAP1
00001809: SWAP5
0000180a: MUL
0000180b: SWAP1
0000180c: SWAP3
0000180d: ADD
0000180e: SWAP3
0000180f: DUP4
00001810: ADD
00001811: SLOAD
00001812: SWAP3
00001813: SWAP5
00001814: POP
00001815: SWAP3
00001816: SWAP2
00001817: PUSH2 0x182c
0000181a: SWAP2
0000181b: PUSH1 0x01
0000181d: PUSH1 0x01
0000181f: PUSH1 0x70
00001821: SHL
00001822: SUB
00001823: SWAP1
00001824: DUP2
00001825: AND
00001826: SWAP2
00001827: AND
00001828: PUSH2 0x31f8
0000182b: JUMP
0000182c: JUMPDEST
0000182d: DUP3
0000182e: SLOAD
0000182f: PUSH1 0x01
00001831: PUSH1 0x01
00001833: PUSH1 0x70
00001835: SHL
00001836: SUB
00001837: SWAP2
00001838: SWAP1
00001839: SWAP2
0000183a: AND
0000183b: SWAP2
0000183c: POP
0000183d: TIMESTAMP
0000183e: PUSH3 0x010000
00001842: SWAP1
00001843: SWAP2
00001844: DIV
00001845: PUSH4 0xffffffff
0000184a: AND
0000184b: LT
0000184c: ISZERO
0000184d: PUSH2 0x185a
00001850: JUMPI
00001851: DUP2
00001852: SLOAD
00001853: PUSH2 0xffff
00001856: NOT
00001857: AND
00001858: DUP3
00001859: SSTORE
0000185a: JUMPDEST
0000185b: DUP2
0000185c: SLOAD
0000185d: PUSH2 0x03e8
00001860: SWAP1
00001861: PUSH2 0x186e
00001864: SWAP1
00001865: PUSH2 0xffff
00001868: AND
00001869: DUP3
0000186a: PUSH2 0x3218
0000186d: JUMP
0000186e: JUMPDEST
0000186f: DUP4
00001870: SLOAD
00001871: PUSH2 0x188e
00001874: SWAP2
00001875: PUSH2 0xffff
00001878: AND
00001879: SWAP1
0000187a: PUSH1 0x01
0000187c: PUSH1 0x90
0000187e: SHL
0000187f: SWAP1
00001880: DIV
00001881: PUSH1 0x01
00001883: PUSH1 0x01
00001885: PUSH1 0x70
00001887: SHL
00001888: SUB
00001889: AND
0000188a: PUSH2 0x3233
0000188d: JUMP
0000188e: JUMPDEST
0000188f: PUSH2 0x1898
00001892: SWAP2
00001893: SWAP1
00001894: PUSH2 0x325e
00001897: JUMP
00001898: JUMPDEST
00001899: PUSH1 0x01
0000189b: DUP4
0000189c: ADD
0000189d: DUP1
0000189e: SLOAD
0000189f: PUSH1 0x01
000018a1: PUSH1 0x01
000018a3: PUSH1 0x70
000018a5: SHL
000018a6: SUB
000018a7: NOT
000018a8: AND
000018a9: PUSH1 0x01
000018ab: PUSH1 0x01
000018ad: PUSH1 0x70
000018af: SHL
000018b0: SUB
000018b1: SWAP3
000018b2: SWAP1
000018b3: SWAP3
000018b4: AND
000018b5: SWAP2
000018b6: DUP3
000018b7: OR
000018b8: SWAP1
000018b9: SSTORE
000018ba: PUSH2 0x18c3
000018bd: SWAP1
000018be: DUP3
000018bf: PUSH2 0x2e4b
000018c2: JUMP
000018c3: JUMPDEST
000018c4: PUSH1 0x02
000018c6: DUP5
000018c7: ADD
000018c8: DUP1
000018c9: SLOAD
000018ca: PUSH1 0x01
000018cc: PUSH1 0x01
000018ce: PUSH1 0x70
000018d0: SHL
000018d1: SUB
000018d2: NOT
000018d3: AND
000018d4: PUSH1 0x01
000018d6: PUSH1 0x01
000018d8: PUSH1 0x70
000018da: SHL
000018db: SUB
000018dc: SWAP3
000018dd: DUP4
000018de: AND
000018df: OR
000018e0: SWAP1
000018e1: SSTORE
000018e2: PUSH1 0x01
000018e4: DUP1
000018e5: DUP6
000018e6: ADD
000018e7: SLOAD
000018e8: SWAP1
000018e9: DUP5
000018ea: ADD
000018eb: SLOAD
000018ec: PUSH5 0xe8d4a51000
000018f2: SWAP3
000018f3: PUSH2 0x1906
000018f6: SWAP3
000018f7: PUSH1 0x01
000018f9: PUSH1 0x40
000018fb: SHL
000018fc: SWAP1
000018fd: DIV
000018fe: DUP2
000018ff: AND
00001900: SWAP2
00001901: AND
00001902: PUSH2 0x3233
00001905: JUMP
00001906: JUMPDEST
00001907: PUSH2 0x1910
0000190a: SWAP2
0000190b: SWAP1
0000190c: PUSH2 0x325e
0000190f: JUMP
00001910: JUMPDEST
00001911: PUSH1 0x03
00001913: SWAP3
00001914: SWAP1
00001915: SWAP3
00001916: ADD
00001917: DUP1
00001918: SLOAD
00001919: PUSH1 0x01
0000191b: PUSH1 0x01
0000191d: PUSH1 0x70
0000191f: SHL
00001920: SUB
00001921: NOT
00001922: AND
00001923: PUSH1 0x01
00001925: PUSH1 0x01
00001927: PUSH1 0x70
00001929: SHL
0000192a: SUB
0000192b: SWAP1
0000192c: SWAP4
0000192d: AND
0000192e: SWAP3
0000192f: SWAP1
00001930: SWAP3
00001931: OR
00001932: SWAP1
00001933: SWAP2
00001934: SSTORE
00001935: POP
00001936: POP
00001937: POP
00001938: POP
00001939: JUMP
0000193a: JUMPDEST
0000193b: CALLER
0000193c: PUSH1 0x00
0000193e: SWAP1
0000193f: DUP2
00001940: MSTORE
00001941: PUSH1 0x11
00001943: PUSH1 0x20
00001945: MSTORE
00001946: PUSH1 0x40
00001948: SWAP1
00001949: KECCAK256
0000194a: SLOAD
0000194b: PUSH1 0xff
0000194d: AND
0000194e: ISZERO
0000194f: ISZERO
00001950: PUSH1 0x01
00001952: EQ
00001953: PUSH2 0x19ad
00001956: JUMPI
00001957: PUSH1 0x40
00001959: MLOAD
0000195a: PUSH3 0x461bcd
0000195e: PUSH1 0xe5
00001960: SHL
00001961: DUP2
00001962: MSTORE
00001963: PUSH1 0x20
00001965: PUSH1 0x04
00001967: DUP3
00001968: ADD
00001969: MSTORE
0000196a: PUSH1 0x26
0000196c: PUSH1 0x24
0000196e: DUP3
0000196f: ADD
00001970: MSTORE
00001971: PUSH32 0x6f6e6c79417574686f72697a65643a2061646472657373206e6f742061757468
00001992: PUSH1 0x44
00001994: DUP3
00001995: ADD
00001996: MSTORE
00001997: PUSH6 0x1bdc9a5e9959
0000199e: PUSH1 0xd2
000019a0: SHL
000019a1: PUSH1 0x64
000019a3: DUP3
000019a4: ADD
000019a5: MSTORE
000019a6: PUSH1 0x84
000019a8: ADD
000019a9: PUSH2 0x0921
000019ac: JUMP
000019ad: JUMPDEST
000019ae: PUSH2 0x19b9
000019b1: DUP5
000019b2: DUP5
000019b3: DUP5
000019b4: DUP5
000019b5: PUSH2 0x23b8
000019b8: JUMP
000019b9: JUMPDEST
000019ba: POP
000019bb: POP
000019bc: POP
000019bd: POP
000019be: JUMP
000019bf: JUMPDEST
000019c0: PUSH1 0x0b
000019c2: SLOAD
000019c3: PUSH1 0x00
000019c5: JUMPDEST
000019c6: DUP2
000019c7: DUP2
000019c8: LT
000019c9: ISZERO
000019ca: PUSH2 0x19e6
000019cd: JUMPI
000019ce: PUSH2 0x19d6
000019d1: DUP2
000019d2: PUSH2 0x1425
000019d5: JUMP
000019d6: JUMPDEST
000019d7: PUSH2 0x19df
000019da: DUP2
000019db: PUSH2 0x31c6
000019de: JUMP
000019df: JUMPDEST
000019e0: SWAP1
000019e1: POP
000019e2: PUSH2 0x19c5
000019e5: JUMP
000019e6: JUMPDEST
000019e7: POP
000019e8: POP
000019e9: JUMP
000019ea: JUMPDEST
000019eb: PUSH1 0x00
000019ed: SLOAD
000019ee: PUSH1 0x01
000019f0: PUSH1 0x01
000019f2: PUSH1 0xa0
000019f4: SHL
000019f5: SUB
000019f6: AND
000019f7: CALLER
000019f8: EQ
000019f9: PUSH2 0x1a14
000019fc: JUMPI
000019fd: PUSH1 0x40
000019ff: MLOAD
00001a00: PUSH3 0x461bcd
00001a04: PUSH1 0xe5
00001a06: SHL
00001a07: DUP2
00001a08: MSTORE
00001a09: PUSH1 0x04
00001a0b: ADD
00001a0c: PUSH2 0x0921
00001a0f: SWAP1
00001a10: PUSH2 0x3191
00001a13: JUMP
00001a14: JUMPDEST
00001a15: PUSH1 0x00
00001a17: DUP2
00001a18: GT
00001a19: DUP1
00001a1a: ISZERO
00001a1b: PUSH2 0x1a24
00001a1e: JUMPI
00001a1f: POP
00001a20: PUSH1 0x0e
00001a22: DUP2
00001a23: LT
00001a24: JUMPDEST
00001a25: PUSH2 0x1a2d
00001a28: JUMPI
00001a29: PUSH1 0x00
00001a2b: DUP1
00001a2c: REVERT
00001a2d: JUMPDEST
00001a2e: PUSH1 0x09
00001a30: SSTORE
00001a31: JUMP
00001a32: JUMPDEST
00001a33: PUSH1 0x00
00001a35: SLOAD
00001a36: PUSH1 0x01
00001a38: PUSH1 0x01
00001a3a: PUSH1 0xa0
00001a3c: SHL
00001a3d: SUB
00001a3e: AND
00001a3f: CALLER
00001a40: EQ
00001a41: PUSH2 0x1a5c
00001a44: JUMPI
00001a45: PUSH1 0x40
00001a47: MLOAD
00001a48: PUSH3 0x461bcd
00001a4c: PUSH1 0xe5
00001a4e: SHL
00001a4f: DUP2
00001a50: MSTORE
00001a51: PUSH1 0x04
00001a53: ADD
00001a54: PUSH2 0x0921
00001a57: SWAP1
00001a58: PUSH2 0x3191
00001a5b: JUMP
00001a5c: JUMPDEST
00001a5d: PUSH2 0x1a66
00001a60: PUSH1 0x00
00001a62: PUSH2 0x2b61
00001a65: JUMP
00001a66: JUMPDEST
00001a67: JUMP
00001a68: JUMPDEST
00001a69: PUSH1 0x00
00001a6b: PUSH2 0x1a74
00001a6e: DUP4
00001a6f: DUP4
00001a70: PUSH2 0x3157
00001a73: JUMP
00001a74: JUMPDEST
00001a75: SWAP1
00001a76: POP
00001a77: JUMPDEST
00001a78: SWAP3
00001a79: SWAP2
00001a7a: POP
00001a7b: POP
00001a7c: JUMP
00001a7d: JUMPDEST
00001a7e: PUSH1 0x00
00001a80: SLOAD
00001a81: PUSH1 0x01
00001a83: PUSH1 0x01
00001a85: PUSH1 0xa0
00001a87: SHL
00001a88: SUB
00001a89: AND
00001a8a: CALLER
00001a8b: EQ
00001a8c: PUSH2 0x1aa7
00001a8f: JUMPI
00001a90: PUSH1 0x40
00001a92: MLOAD
00001a93: PUSH3 0x461bcd
00001a97: PUSH1 0xe5
00001a99: SHL
00001a9a: DUP2
00001a9b: MSTORE
00001a9c: PUSH1 0x04
00001a9e: ADD
00001a9f: PUSH2 0x0921
00001aa2: SWAP1
00001aa3: PUSH2 0x3191
00001aa6: JUMP
00001aa7: JUMPDEST
00001aa8: PUSH1 0x05
00001aaa: DUP1
00001aab: SLOAD
00001aac: PUSH1 0x01
00001aae: PUSH1 0x01
00001ab0: PUSH1 0xa0
00001ab2: SHL
00001ab3: SUB
00001ab4: NOT
00001ab5: AND
00001ab6: PUSH1 0x01
00001ab8: PUSH1 0x01
00001aba: PUSH1 0xa0
00001abc: SHL
00001abd: SUB
00001abe: SWAP3
00001abf: SWAP1
00001ac0: SWAP3
00001ac1: AND
00001ac2: SWAP2
00001ac3: SWAP1
00001ac4: SWAP2
00001ac5: OR
00001ac6: SWAP1
00001ac7: SSTORE
00001ac8: JUMP
00001ac9: JUMPDEST
00001aca: PUSH1 0x00
00001acc: SLOAD
00001acd: PUSH1 0x01
00001acf: PUSH1 0x01
00001ad1: PUSH1 0xa0
00001ad3: SHL
00001ad4: SUB
00001ad5: AND
00001ad6: CALLER
00001ad7: EQ
00001ad8: PUSH2 0x1af3
00001adb: JUMPI
00001adc: PUSH1 0x40
00001ade: MLOAD
00001adf: PUSH3 0x461bcd
00001ae3: PUSH1 0xe5
00001ae5: SHL
00001ae6: DUP2
00001ae7: MSTORE
00001ae8: PUSH1 0x04
00001aea: ADD
00001aeb: PUSH2 0x0921
00001aee: SWAP1
00001aef: PUSH2 0x3191
00001af2: JUMP
00001af3: JUMPDEST
00001af4: PUSH1 0x01
00001af6: PUSH1 0x01
00001af8: PUSH1 0xa0
00001afa: SHL
00001afb: SUB
00001afc: DUP3
00001afd: AND
00001afe: PUSH1 0x00
00001b00: SWAP1
00001b01: DUP2
00001b02: MSTORE
00001b03: PUSH1 0x10
00001b05: PUSH1 0x20
00001b07: MSTORE
00001b08: PUSH1 0x40
00001b0a: SWAP1
00001b0b: KECCAK256
00001b0c: SLOAD
00001b0d: DUP3
00001b0e: SWAP1
00001b0f: PUSH1 0xff
00001b11: AND
00001b12: ISZERO
00001b13: PUSH2 0x1b6c
00001b16: JUMPI
00001b17: PUSH1 0x40
00001b19: MLOAD
00001b1a: PUSH3 0x461bcd
00001b1e: PUSH1 0xe5
00001b20: SHL
00001b21: DUP2
00001b22: MSTORE
00001b23: PUSH1 0x20
00001b25: PUSH1 0x04
00001b27: DUP3
00001b28: ADD
00001b29: MSTORE
00001b2a: PUSH1 0x25
00001b2c: PUSH1 0x24
00001b2e: DUP3
00001b2f: ADD
00001b30: MSTORE
00001b31: PUSH32 0x6e6f6e4475706c6963617465643a204c5020546f6b656e20616c726561647920
00001b52: PUSH1 0x44
00001b54: DUP3
00001b55: ADD
00001b56: MSTORE
00001b57: PUSH5 0x1859191959
00001b5d: PUSH1 0xda
00001b5f: SHL
00001b60: PUSH1 0x64
00001b62: DUP3
00001b63: ADD
00001b64: MSTORE
00001b65: PUSH1 0x84
00001b67: ADD
00001b68: PUSH2 0x0921
00001b6b: JUMP
00001b6c: JUMPDEST
00001b6d: DUP2
00001b6e: ISZERO
00001b6f: PUSH2 0x1b7a
00001b72: JUMPI
00001b73: PUSH2 0x1b7a
00001b76: PUSH2 0x19bf
00001b79: JUMP
00001b7a: JUMPDEST
00001b7b: PUSH1 0x00
00001b7d: PUSH1 0x0e
00001b7f: SLOAD
00001b80: NUMBER
00001b81: GT
00001b82: PUSH2 0x1b8d
00001b85: JUMPI
00001b86: PUSH1 0x0e
00001b88: SLOAD
00001b89: PUSH2 0x1b8f
00001b8c: JUMP
00001b8d: JUMPDEST
00001b8e: NUMBER
00001b8f: JUMPDEST
00001b90: SWAP1
00001b91: POP
00001b92: DUP5
00001b93: PUSH1 0x01
00001b95: PUSH1 0x01
00001b97: PUSH1 0x40
00001b99: SHL
00001b9a: SUB
00001b9b: AND
00001b9c: PUSH1 0x0d
00001b9e: SLOAD
00001b9f: PUSH2 0x1ba8
00001ba2: SWAP2
00001ba3: SWAP1
00001ba4: PUSH2 0x2e4b
00001ba7: JUMP
00001ba8: JUMPDEST
00001ba9: PUSH1 0x0d
00001bab: SSTORE
00001bac: PUSH1 0x01
00001bae: PUSH1 0x01
00001bb0: PUSH1 0xa0
00001bb2: SHL
00001bb3: SUB
00001bb4: SWAP4
00001bb5: DUP5
00001bb6: AND
00001bb7: PUSH1 0x00
00001bb9: DUP2
00001bba: DUP2
00001bbb: MSTORE
00001bbc: PUSH1 0x10
00001bbe: PUSH1 0x20
00001bc0: SWAP1
00001bc1: DUP2
00001bc2: MSTORE
00001bc3: PUSH1 0x40
00001bc5: DUP1
00001bc6: DUP4
00001bc7: KECCAK256
00001bc8: DUP1
00001bc9: SLOAD
00001bca: PUSH1 0xff
00001bcc: NOT
00001bcd: AND
00001bce: PUSH1 0x01
00001bd0: SWAP1
00001bd1: DUP2
00001bd2: OR
00001bd3: SWAP1
00001bd4: SWAP2
00001bd5: SSTORE
00001bd6: DUP2
00001bd7: MLOAD
00001bd8: PUSH1 0xa0
00001bda: DUP2
00001bdb: ADD
00001bdc: DUP4
00001bdd: MSTORE
00001bde: SWAP5
00001bdf: DUP6
00001be0: MSTORE
00001be1: PUSH1 0x01
00001be3: PUSH1 0x01
00001be5: PUSH1 0x40
00001be7: SHL
00001be8: SUB
00001be9: SWAP10
00001bea: DUP11
00001beb: AND
00001bec: SWAP3
00001bed: DUP6
00001bee: ADD
00001bef: SWAP3
00001bf0: DUP4
00001bf1: MSTORE
00001bf2: SWAP5
00001bf3: DUP10
00001bf4: AND
00001bf5: SWAP1
00001bf6: DUP5
00001bf7: ADD
00001bf8: SWAP1
00001bf9: DUP2
00001bfa: MSTORE
00001bfb: PUSH1 0x60
00001bfd: DUP5
00001bfe: ADD
00001bff: DUP4
00001c00: DUP2
00001c01: MSTORE
00001c02: PUSH1 0x80
00001c04: DUP6
00001c05: ADD
00001c06: DUP5
00001c07: DUP2
00001c08: MSTORE
00001c09: PUSH1 0x0b
00001c0b: DUP1
00001c0c: SLOAD
00001c0d: SWAP8
00001c0e: DUP9
00001c0f: ADD
00001c10: DUP2
00001c11: SSTORE
00001c12: SWAP1
00001c13: SWAP5
00001c14: MSTORE
00001c15: SWAP4
00001c16: MLOAD
00001c17: PUSH1 0x03
00001c19: SWAP1
00001c1a: SWAP6
00001c1b: MUL
00001c1c: PUSH32 0x0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db9
00001c3d: DUP2
00001c3e: ADD
00001c3f: DUP1
00001c40: SLOAD
00001c41: SWAP4
00001c42: MLOAD
00001c43: DUP12
00001c44: AND
00001c45: PUSH1 0x01
00001c47: PUSH1 0xa0
00001c49: SHL
00001c4a: MUL
00001c4b: PUSH1 0x01
00001c4d: PUSH1 0x01
00001c4f: PUSH1 0xe0
00001c51: SHL
00001c52: SUB
00001c53: NOT
00001c54: SWAP1
00001c55: SWAP5
00001c56: AND
00001c57: SWAP7
00001c58: SWAP1
00001c59: SWAP10
00001c5a: AND
00001c5b: SWAP6
00001c5c: SWAP1
00001c5d: SWAP6
00001c5e: OR
00001c5f: SWAP2
00001c60: SWAP1
00001c61: SWAP2
00001c62: OR
00001c63: SWAP1
00001c64: SWAP7
00001c65: SSTORE
00001c66: SWAP5
00001c67: MLOAD
00001c68: PUSH32 0x0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01dba
00001c89: DUP4
00001c8a: ADD
00001c8b: DUP1
00001c8c: SLOAD
00001c8d: SWAP3
00001c8e: MLOAD
00001c8f: PUSH1 0x01
00001c91: PUSH1 0x01
00001c93: PUSH1 0x70
00001c95: SHL
00001c96: SUB
00001c97: SWAP1
00001c98: DUP2
00001c99: AND
00001c9a: PUSH1 0x01
00001c9c: PUSH1 0x40
00001c9e: SHL
00001c9f: MUL
00001ca0: PUSH1 0x01
00001ca2: PUSH1 0x01
00001ca4: PUSH1 0xb0
00001ca6: SHL
00001ca7: SUB
00001ca8: NOT
00001ca9: SWAP1
00001caa: SWAP5
00001cab: AND
00001cac: SWAP3
00001cad: SWAP1
00001cae: SWAP9
00001caf: AND
00001cb0: SWAP2
00001cb1: SWAP1
00001cb2: SWAP2
00001cb3: OR
00001cb4: SWAP2
00001cb5: SWAP1
00001cb6: SWAP2
00001cb7: OR
00001cb8: SWAP1
00001cb9: SSTORE
00001cba: SWAP3
00001cbb: MLOAD
00001cbc: PUSH32 0x0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01dbb
00001cdd: SWAP1
00001cde: SWAP4
00001cdf: ADD
00001ce0: DUP1
00001ce1: SLOAD
00001ce2: SWAP4
00001ce3: SWAP1
00001ce4: SWAP5
00001ce5: AND
00001ce6: PUSH1 0x01
00001ce8: PUSH1 0x01
00001cea: PUSH1 0x70
00001cec: SHL
00001ced: SUB
00001cee: NOT
00001cef: SWAP1
00001cf0: SWAP4
00001cf1: AND
00001cf2: SWAP3
00001cf3: SWAP1
00001cf4: SWAP3
00001cf5: OR
00001cf6: SWAP1
00001cf7: SWAP3
00001cf8: SSTORE
00001cf9: POP
00001cfa: POP
00001cfb: JUMP
00001cfc: JUMPDEST
00001cfd: PUSH1 0x00
00001cff: SLOAD
00001d00: PUSH1 0x01
00001d02: PUSH1 0x01
00001d04: PUSH1 0xa0
00001d06: SHL
00001d07: SUB
00001d08: AND
00001d09: CALLER
00001d0a: EQ
00001d0b: PUSH2 0x1d26
00001d0e: JUMPI
00001d0f: PUSH1 0x40
00001d11: MLOAD
00001d12: PUSH3 0x461bcd
00001d16: PUSH1 0xe5
00001d18: SHL
00001d19: DUP2
00001d1a: MSTORE
00001d1b: PUSH1 0x04
00001d1d: ADD
00001d1e: PUSH2 0x0921
00001d21: SWAP1
00001d22: PUSH2 0x3191
00001d25: JUMP
00001d26: JUMPDEST
00001d27: PUSH1 0x01
00001d29: PUSH1 0x01
00001d2b: PUSH1 0xa0
00001d2d: SHL
00001d2e: SUB
00001d2f: AND
00001d30: PUSH1 0x00
00001d32: SWAP1
00001d33: DUP2
00001d34: MSTORE
00001d35: PUSH1 0x11
00001d37: PUSH1 0x20
00001d39: MSTORE
00001d3a: PUSH1 0x40
00001d3c: SWAP1
00001d3d: KECCAK256
00001d3e: DUP1
00001d3f: SLOAD
00001d40: PUSH1 0xff
00001d42: NOT
00001d43: AND
00001d44: PUSH1 0x01
00001d46: OR
00001d47: SWAP1
00001d48: SSTORE
00001d49: JUMP
00001d4a: JUMPDEST
00001d4b: PUSH1 0x00
00001d4d: SLOAD
00001d4e: PUSH1 0x01
00001d50: PUSH1 0x01
00001d52: PUSH1 0xa0
00001d54: SHL
00001d55: SUB
00001d56: AND
00001d57: CALLER
00001d58: EQ
00001d59: PUSH2 0x1d74
00001d5c: JUMPI
00001d5d: PUSH1 0x40
00001d5f: MLOAD
00001d60: PUSH3 0x461bcd
00001d64: PUSH1 0xe5
00001d66: SHL
00001d67: DUP2
00001d68: MSTORE
00001d69: PUSH1 0x04
00001d6b: ADD
00001d6c: PUSH2 0x0921
00001d6f: SWAP1
00001d70: PUSH2 0x3191
00001d73: JUMP
00001d74: JUMPDEST
00001d75: PUSH1 0x03
00001d77: DUP1
00001d78: SLOAD
00001d79: PUSH1 0x01
00001d7b: PUSH1 0x01
00001d7d: PUSH1 0xa0
00001d7f: SHL
00001d80: SUB
00001d81: NOT
00001d82: AND
00001d83: PUSH1 0x01
00001d85: PUSH1 0x01
00001d87: PUSH1 0xa0
00001d89: SHL
00001d8a: SUB
00001d8b: SWAP3
00001d8c: SWAP1
00001d8d: SWAP3
00001d8e: AND
00001d8f: SWAP2
00001d90: SWAP1
00001d91: SWAP2
00001d92: OR
00001d93: SWAP1
00001d94: SSTORE
00001d95: JUMP
00001d96: JUMPDEST
00001d97: PUSH1 0x00
00001d99: DUP1
00001d9a: PUSH1 0x0b
00001d9c: DUP5
00001d9d: DUP2
00001d9e: SLOAD
00001d9f: DUP2
00001da0: LT
00001da1: PUSH2 0x1dac
00001da4: JUMPI
00001da5: PUSH2 0x1dac
00001da8: PUSH2 0x3113
00001dab: JUMP
00001dac: JUMPDEST
00001dad: PUSH1 0x00
00001daf: SWAP2
00001db0: DUP3
00001db1: MSTORE
00001db2: PUSH1 0x20
00001db4: DUP1
00001db5: DUP4
00001db6: KECCAK256
00001db7: DUP8
00001db8: DUP5
00001db9: MSTORE
00001dba: PUSH1 0x0c
00001dbc: DUP3
00001dbd: MSTORE
00001dbe: PUSH1 0x40
00001dc0: DUP1
00001dc1: DUP6
00001dc2: KECCAK256
00001dc3: PUSH1 0x01
00001dc5: PUSH1 0x01
00001dc7: PUSH1 0xa0
00001dc9: SHL
00001dca: SUB
00001dcb: DUP10
00001dcc: AND
00001dcd: DUP7
00001dce: MSTORE
00001dcf: SWAP1
00001dd0: SWAP3
00001dd1: MSTORE
00001dd2: SWAP1
00001dd3: DUP4
00001dd4: KECCAK256
00001dd5: PUSH1 0x01
00001dd7: DUP1
00001dd8: DUP3
00001dd9: ADD
00001dda: SLOAD
00001ddb: PUSH1 0x03
00001ddd: SWAP1
00001dde: SWAP5
00001ddf: MUL
00001de0: SWAP1
00001de1: SWAP3
00001de2: ADD
00001de3: SWAP2
00001de4: DUP3
00001de5: ADD
00001de6: SLOAD
00001de7: PUSH1 0x02
00001de9: DUP4
00001dea: ADD
00001deb: SLOAD
00001dec: SWAP3
00001ded: SWAP6
00001dee: POP
00001def: SWAP1
00001df0: SWAP4
00001df1: PUSH1 0x01
00001df3: PUSH1 0x01
00001df5: PUSH1 0x70
00001df7: SHL
00001df8: SUB
00001df9: SWAP4
00001dfa: DUP5
00001dfb: AND
00001dfc: SWAP4
00001dfd: PUSH1 0x01
00001dff: PUSH1 0x40
00001e01: SHL
00001e02: DUP4
00001e03: DIV
00001e04: DUP2
00001e05: AND
00001e06: SWAP4
00001e07: AND
00001e08: SWAP2
00001e09: PUSH1 0x01
00001e0b: PUSH1 0x01
00001e0d: PUSH1 0x40
00001e0f: SHL
00001e10: SUB
00001e11: AND
00001e12: NUMBER
00001e13: GT
00001e14: DUP1
00001e15: ISZERO
00001e16: PUSH2 0x1e1e
00001e19: JUMPI
00001e1a: POP
00001e1b: DUP2
00001e1c: ISZERO
00001e1d: ISZERO
00001e1e: JUMPDEST
00001e1f: ISZERO
00001e20: PUSH2 0x1ef9
00001e23: JUMPI
00001e24: PUSH1 0x01
00001e26: DUP7
00001e27: ADD
00001e28: SLOAD
00001e29: PUSH1 0x00
00001e2b: SWAP1
00001e2c: PUSH2 0x1e3e
00001e2f: SWAP1
00001e30: PUSH1 0x01
00001e32: PUSH1 0x01
00001e34: PUSH1 0x40
00001e36: SHL
00001e37: SUB
00001e38: AND
00001e39: NUMBER
00001e3a: PUSH2 0x1a68
00001e3d: JUMP
00001e3e: JUMPDEST
00001e3f: PUSH1 0x0d
00001e41: SLOAD
00001e42: DUP9
00001e43: SLOAD
00001e44: PUSH1 0x06
00001e46: SLOAD
00001e47: SWAP3
00001e48: SWAP4
00001e49: POP
00001e4a: PUSH1 0x00
00001e4c: SWAP3
00001e4d: PUSH1 0x01
00001e4f: PUSH1 0xa0
00001e51: SHL
00001e52: SWAP1
00001e53: SWAP2
00001e54: DIV
00001e55: PUSH1 0x01
00001e57: PUSH1 0x01
00001e59: PUSH1 0x40
00001e5b: SHL
00001e5c: SUB
00001e5d: AND
00001e5e: SWAP1
00001e5f: PUSH2 0x1e68
00001e62: SWAP1
00001e63: DUP6
00001e64: PUSH2 0x307e
00001e67: JUMP
00001e68: JUMPDEST
00001e69: PUSH2 0x1e72
00001e6c: SWAP2
00001e6d: SWAP1
00001e6e: PUSH2 0x307e
00001e71: JUMP
00001e72: JUMPDEST
00001e73: PUSH2 0x1e7c
00001e76: SWAP2
00001e77: SWAP1
00001e78: PUSH2 0x30ab
00001e7b: JUMP
00001e7c: JUMPDEST
00001e7d: SWAP1
00001e7e: POP
00001e7f: DUP4
00001e80: PUSH2 0x1e8e
00001e83: DUP3
00001e84: PUSH5 0xe8d4a51000
00001e8a: PUSH2 0x307e
00001e8d: JUMP
00001e8e: JUMPDEST
00001e8f: PUSH2 0x1e98
00001e92: SWAP2
00001e93: SWAP1
00001e94: PUSH2 0x30ab
00001e97: JUMP
00001e98: JUMPDEST
00001e99: PUSH2 0x1ea2
00001e9c: SWAP1
00001e9d: DUP7
00001e9e: PUSH2 0x2e4b
00001ea1: JUMP
00001ea2: JUMPDEST
00001ea3: DUP8
00001ea4: SLOAD
00001ea5: PUSH1 0x03
00001ea7: DUP10
00001ea8: ADD
00001ea9: SLOAD
00001eaa: SWAP2
00001eab: SWAP7
00001eac: POP
00001ead: PUSH1 0x01
00001eaf: PUSH1 0x30
00001eb1: SHL
00001eb2: SWAP1
00001eb3: DIV
00001eb4: PUSH1 0x01
00001eb6: PUSH1 0x01
00001eb8: PUSH1 0x60
00001eba: SHL
00001ebb: SUB
00001ebc: AND
00001ebd: SWAP1
00001ebe: PUSH1 0x01
00001ec0: PUSH1 0x01
00001ec2: PUSH1 0x70
00001ec4: SHL
00001ec5: SUB
00001ec6: AND
00001ec7: PUSH5 0xe8d4a51000
00001ecd: PUSH2 0x1ed6
00001ed0: DUP9
00001ed1: DUP11
00001ed2: PUSH2 0x307e
00001ed5: JUMP
00001ed6: JUMPDEST
00001ed7: PUSH2 0x1ee0
00001eda: SWAP2
00001edb: SWAP1
00001edc: PUSH2 0x30ab
00001edf: JUMP
00001ee0: JUMPDEST
00001ee1: PUSH2 0x1eea
00001ee4: SWAP2
00001ee5: SWAP1
00001ee6: PUSH2 0x3157
00001ee9: JUMP
00001eea: JUMPDEST
00001eeb: PUSH2 0x1ef4
00001eee: SWAP2
00001eef: SWAP1
00001ef0: PUSH2 0x2e4b
00001ef3: JUMP
00001ef4: JUMPDEST
00001ef5: SWAP3
00001ef6: POP
00001ef7: POP
00001ef8: POP
00001ef9: JUMPDEST
00001efa: SWAP9
00001efb: SWAP8
00001efc: POP
00001efd: POP
00001efe: POP
00001eff: POP
00001f00: POP
00001f01: POP
00001f02: POP
00001f03: POP
00001f04: JUMP
00001f05: JUMPDEST
00001f06: PUSH1 0x02
00001f08: PUSH1 0x01
00001f0a: SLOAD
00001f0b: SUB
00001f0c: PUSH2 0x1f27
00001f0f: JUMPI
00001f10: PUSH1 0x40
00001f12: MLOAD
00001f13: PUSH3 0x461bcd
00001f17: PUSH1 0xe5
00001f19: SHL
00001f1a: DUP2
00001f1b: MSTORE
00001f1c: PUSH1 0x04
00001f1e: ADD
00001f1f: PUSH2 0x0921
00001f22: SWAP1
00001f23: PUSH2 0x30bf
00001f26: JUMP
00001f27: JUMPDEST
00001f28: PUSH1 0x02
00001f2a: PUSH1 0x01
00001f2c: SWAP1
00001f2d: DUP2
00001f2e: SSTORE
00001f2f: CALLER
00001f30: PUSH1 0x00
00001f32: SWAP1
00001f33: DUP2
00001f34: MSTORE
00001f35: PUSH32 0xd421a5181c571bba3f01190c922c3b2a896fc1d84e86c9f17ac10e67ebef8b5c
00001f56: PUSH1 0x20
00001f58: MSTORE
00001f59: PUSH1 0x40
00001f5b: SWAP1
00001f5c: KECCAK256
00001f5d: SWAP1
00001f5e: PUSH2 0x1f66
00001f61: SWAP1
00001f62: PUSH2 0x1425
00001f65: JUMP
00001f66: JUMPDEST
00001f67: DUP1
00001f68: SLOAD
00001f69: PUSH1 0x03
00001f6b: DUP3
00001f6c: ADD
00001f6d: SLOAD
00001f6e: PUSH1 0x0b
00001f70: DUP1
00001f71: SLOAD
00001f72: PUSH1 0x00
00001f74: SWAP4
00001f75: PUSH1 0x01
00001f77: PUSH1 0x30
00001f79: SHL
00001f7a: SWAP1
00001f7b: DIV
00001f7c: PUSH1 0x01
00001f7e: PUSH1 0x01
00001f80: PUSH1 0x60
00001f82: SHL
00001f83: SUB
00001f84: AND
00001f85: SWAP3
00001f86: PUSH1 0x01
00001f88: PUSH1 0x01
00001f8a: PUSH1 0x70
00001f8c: SHL
00001f8d: SUB
00001f8e: AND
00001f8f: SWAP2
00001f90: PUSH5 0xe8d4a51000
00001f96: SWAP2
00001f97: PUSH1 0x01
00001f99: SWAP1
00001f9a: DUP2
00001f9b: LT
00001f9c: PUSH2 0x1fa7
00001f9f: JUMPI
00001fa0: PUSH2 0x1fa7
00001fa3: PUSH2 0x3113
00001fa6: JUMP
00001fa7: JUMPDEST
00001fa8: PUSH1 0x00
00001faa: SWAP2
00001fab: DUP3
00001fac: MSTORE
00001fad: PUSH1 0x20
00001faf: SWAP1
00001fb0: SWAP2
00001fb1: KECCAK256
00001fb2: PUSH1 0x01
00001fb4: PUSH1 0x03
00001fb6: SWAP1
00001fb7: SWAP3
00001fb8: MUL
00001fb9: ADD
00001fba: DUP2
00001fbb: ADD
00001fbc: SLOAD
00001fbd: SWAP1
00001fbe: DUP7
00001fbf: ADD
00001fc0: SLOAD
00001fc1: PUSH2 0x1fdd
00001fc4: SWAP2
00001fc5: PUSH1 0x01
00001fc7: PUSH1 0x01
00001fc9: PUSH1 0x70
00001fcb: SHL
00001fcc: SUB
00001fcd: PUSH1 0x01
00001fcf: PUSH1 0x40
00001fd1: SHL
00001fd2: SWAP1
00001fd3: SWAP2
00001fd4: DIV
00001fd5: DUP2
00001fd6: AND
00001fd7: SWAP2
00001fd8: AND
00001fd9: PUSH2 0x3233
00001fdc: JUMP
00001fdd: JUMPDEST
00001fde: PUSH2 0x1fe7
00001fe1: SWAP2
00001fe2: SWAP1
00001fe3: PUSH2 0x325e
00001fe6: JUMP
00001fe7: JUMPDEST
00001fe8: PUSH2 0x1ff1
00001feb: SWAP2
00001fec: SWAP1
00001fed: PUSH2 0x31f8
00001ff0: JUMP
00001ff1: JUMPDEST
00001ff2: PUSH2 0x1ffb
00001ff5: SWAP2
00001ff6: SWAP1
00001ff7: PUSH2 0x316a
00001ffa: JUMP
00001ffb: JUMPDEST
00001ffc: PUSH1 0x01
00001ffe: PUSH1 0x01
00002000: PUSH1 0x70
00002002: SHL
00002003: SUB
00002004: AND
00002005: SWAP1
00002006: POP
00002007: PUSH1 0x00
00002009: DUP2
0000200a: GT
0000200b: PUSH2 0x2013
0000200e: JUMPI
0000200f: PUSH1 0x00
00002011: DUP1
00002012: REVERT
00002013: JUMPDEST
00002014: PUSH1 0x40
00002016: DUP1
00002017: MLOAD
00002018: PUSH1 0x02
0000201a: DUP1
0000201b: DUP3
0000201c: MSTORE
0000201d: PUSH1 0x60
0000201f: DUP3
00002020: ADD
00002021: DUP4
00002022: MSTORE
00002023: PUSH1 0x00
00002025: SWAP3
00002026: PUSH1 0x20
00002028: DUP4
00002029: ADD
0000202a: SWAP1
0000202b: DUP1
0000202c: CALLDATASIZE
0000202d: DUP4
0000202e: CALLDATACOPY
0000202f: POP
00002030: POP
00002031: PUSH1 0x04
00002033: SLOAD
00002034: DUP3
00002035: MLOAD
00002036: SWAP3
00002037: SWAP4
00002038: POP
00002039: PUSH1 0x01
0000203b: PUSH1 0x01
0000203d: PUSH1 0xa0
0000203f: SHL
00002040: SUB
00002041: AND
00002042: SWAP2
00002043: DUP4
00002044: SWAP2
00002045: POP
00002046: PUSH1 0x00
00002048: SWAP1
00002049: PUSH2 0x2054
0000204c: JUMPI
0000204d: PUSH2 0x2054
00002050: PUSH2 0x3113
00002053: JUMP
00002054: JUMPDEST
00002055: PUSH1 0x01
00002057: PUSH1 0x01
00002059: PUSH1 0xa0
0000205b: SHL
0000205c: SUB
0000205d: SWAP3
0000205e: DUP4
0000205f: AND
00002060: PUSH1 0x20
00002062: SWAP2
00002063: DUP3
00002064: MUL
00002065: SWAP3
00002066: SWAP1
00002067: SWAP3
00002068: ADD
00002069: ADD
0000206a: MSTORE
0000206b: PUSH1 0x02
0000206d: SLOAD
0000206e: DUP3
0000206f: MLOAD
00002070: SWAP2
00002071: AND
00002072: SWAP1
00002073: DUP3
00002074: SWAP1
00002075: PUSH1 0x01
00002077: SWAP1
00002078: DUP2
00002079: LT
0000207a: PUSH2 0x2085
0000207d: JUMPI
0000207e: PUSH2 0x2085
00002081: PUSH2 0x3113
00002084: JUMP
00002085: JUMPDEST
00002086: PUSH1 0x20
00002088: MUL
00002089: PUSH1 0x20
0000208b: ADD
0000208c: ADD
0000208d: SWAP1
0000208e: PUSH1 0x01
00002090: PUSH1 0x01
00002092: PUSH1 0xa0
00002094: SHL
00002095: SUB
00002096: AND
00002097: SWAP1
00002098: DUP2
00002099: PUSH1 0x01
0000209b: PUSH1 0x01
0000209d: PUSH1 0xa0
0000209f: SHL
000020a0: SUB
000020a1: AND
000020a2: DUP2
000020a3: MSTORE
000020a4: POP
000020a5: POP
000020a6: PUSH1 0x08
000020a8: SLOAD
000020a9: DUP3
000020aa: GT
000020ab: ISZERO
000020ac: PUSH2 0x20b5
000020af: JUMPI
000020b0: PUSH1 0x08
000020b2: SLOAD
000020b3: SWAP2
000020b4: POP
000020b5: JUMPDEST
000020b6: PUSH1 0x02
000020b8: SLOAD
000020b9: PUSH1 0x40
000020bb: MLOAD
000020bc: PUSH4 0x70a08231
000020c1: PUSH1 0xe0
000020c3: SHL
000020c4: DUP2
000020c5: MSTORE
000020c6: ADDRESS
000020c7: PUSH1 0x04
000020c9: DUP3
000020ca: ADD
000020cb: MSTORE
000020cc: PUSH1 0x00
000020ce: SWAP2
000020cf: PUSH1 0x01
000020d1: PUSH1 0x01
000020d3: PUSH1 0xa0
000020d5: SHL
000020d6: SUB
000020d7: AND
000020d8: SWAP1
000020d9: PUSH4 0x70a08231
000020de: SWAP1
000020df: PUSH1 0x24
000020e1: ADD
000020e2: PUSH1 0x20
000020e4: PUSH1 0x40
000020e6: MLOAD
000020e7: DUP1
000020e8: DUP4
000020e9: SUB
000020ea: DUP2
000020eb: DUP7
000020ec: GAS
000020ed: STATICCALL
000020ee: ISZERO
000020ef: DUP1
000020f0: ISZERO
000020f1: PUSH2 0x20fe
000020f4: JUMPI
000020f5: RETURNDATASIZE
000020f6: PUSH1 0x00
000020f8: DUP1
000020f9: RETURNDATACOPY
000020fa: RETURNDATASIZE
000020fb: PUSH1 0x00
000020fd: REVERT
000020fe: JUMPDEST
000020ff: POP
00002100: POP
00002101: POP
00002102: POP
00002103: PUSH1 0x40
00002105: MLOAD
00002106: RETURNDATASIZE
00002107: PUSH1 0x1f
00002109: NOT
0000210a: PUSH1 0x1f
0000210c: DUP3
0000210d: ADD
0000210e: AND
0000210f: DUP3
00002110: ADD
00002111: DUP1
00002112: PUSH1 0x40
00002114: MSTORE
00002115: POP
00002116: DUP2
00002117: ADD
00002118: SWAP1
00002119: PUSH2 0x2122
0000211c: SWAP2
0000211d: SWAP1
0000211e: PUSH2 0x31df
00002121: JUMP
00002122: JUMPDEST
00002123: PUSH1 0x03
00002125: SLOAD
00002126: PUSH1 0x40
00002128: MLOAD
00002129: PUSH4 0xb6f9de95
0000212e: PUSH1 0xe0
00002130: SHL
00002131: DUP2
00002132: MSTORE
00002133: SWAP2
00002134: SWAP3
00002135: POP
00002136: PUSH1 0x01
00002138: PUSH1 0x01
0000213a: PUSH1 0xa0
0000213c: SHL
0000213d: SUB
0000213e: AND
0000213f: SWAP1
00002140: PUSH4 0xb6f9de95
00002145: SWAP1
00002146: DUP6
00002147: SWAP1
00002148: PUSH2 0x215b
0000214b: SWAP1
0000214c: DUP10
0000214d: SWAP1
0000214e: DUP8
0000214f: SWAP1
00002150: ADDRESS
00002151: SWAP1
00002152: TIMESTAMP
00002153: SWAP1
00002154: PUSH1 0x04
00002156: ADD
00002157: PUSH2 0x3284
0000215a: JUMP
0000215b: JUMPDEST
0000215c: PUSH1 0x00
0000215e: PUSH1 0x40
00002160: MLOAD
00002161: DUP1
00002162: DUP4
00002163: SUB
00002164: DUP2
00002165: DUP6
00002166: DUP9
00002167: DUP1
00002168: EXTCODESIZE
00002169: ISZERO
0000216a: DUP1
0000216b: ISZERO
0000216c: PUSH2 0x2174
0000216f: JUMPI
00002170: PUSH1 0x00
00002172: DUP1
00002173: REVERT
00002174: JUMPDEST
00002175: POP
00002176: GAS
00002177: CALL
00002178: ISZERO
00002179: DUP1
0000217a: ISZERO
0000217b: PUSH2 0x2188
0000217e: JUMPI
0000217f: RETURNDATASIZE
00002180: PUSH1 0x00
00002182: DUP1
00002183: RETURNDATACOPY
00002184: RETURNDATASIZE
00002185: PUSH1 0x00
00002187: REVERT
00002188: JUMPDEST
00002189: POP
0000218a: POP
0000218b: PUSH1 0x02
0000218d: SLOAD
0000218e: PUSH1 0x40
00002190: MLOAD
00002191: PUSH4 0x70a08231
00002196: PUSH1 0xe0
00002198: SHL
00002199: DUP2
0000219a: MSTORE
0000219b: ADDRESS
0000219c: PUSH1 0x04
0000219e: DUP3
0000219f: ADD
000021a0: MSTORE
000021a1: PUSH1 0x00
000021a3: SWAP5
000021a4: POP
000021a5: DUP6
000021a6: SWAP4
000021a7: POP
000021a8: PUSH1 0x01
000021aa: PUSH1 0x01
000021ac: PUSH1 0xa0
000021ae: SHL
000021af: SUB
000021b0: SWAP1
000021b1: SWAP2
000021b2: AND
000021b3: SWAP2
000021b4: POP
000021b5: PUSH4 0x70a08231
000021ba: SWAP1
000021bb: PUSH1 0x24
000021bd: ADD
000021be: PUSH1 0x20
000021c0: PUSH1 0x40
000021c2: MLOAD
000021c3: DUP1
000021c4: DUP4
000021c5: SUB
000021c6: DUP2
000021c7: DUP7
000021c8: GAS
000021c9: STATICCALL
000021ca: ISZERO
000021cb: DUP1
000021cc: ISZERO
000021cd: PUSH2 0x21da
000021d0: JUMPI
000021d1: RETURNDATASIZE
000021d2: PUSH1 0x00
000021d4: DUP1
000021d5: RETURNDATACOPY
000021d6: RETURNDATASIZE
000021d7: PUSH1 0x00
000021d9: REVERT
000021da: JUMPDEST
000021db: POP
000021dc: POP
000021dd: POP
000021de: POP
000021df: PUSH1 0x40
000021e1: MLOAD
000021e2: RETURNDATASIZE
000021e3: PUSH1 0x1f
000021e5: NOT
000021e6: PUSH1 0x1f
000021e8: DUP3
000021e9: ADD
000021ea: AND
000021eb: DUP3
000021ec: ADD
000021ed: DUP1
000021ee: PUSH1 0x40
000021f0: MSTORE
000021f1: POP
000021f2: DUP2
000021f3: ADD
000021f4: SWAP1
000021f5: PUSH2 0x21fe
000021f8: SWAP2
000021f9: SWAP1
000021fa: PUSH2 0x31df
000021fd: JUMP
000021fe: JUMPDEST
000021ff: PUSH2 0x2208
00002202: SWAP2
00002203: SWAP1
00002204: PUSH2 0x3157
00002207: JUMP
00002208: JUMPDEST
00002209: DUP6
0000220a: SLOAD
0000220b: SWAP1
0000220c: SWAP2
0000220d: POP
0000220e: DUP2
0000220f: SWAP1
00002210: DUP7
00002211: SWAP1
00002212: PUSH1 0x12
00002214: SWAP1
00002215: PUSH2 0x222f
00002218: SWAP1
00002219: DUP5
0000221a: SWAP1
0000221b: PUSH1 0x01
0000221d: PUSH1 0x90
0000221f: SHL
00002220: SWAP1
00002221: DIV
00002222: PUSH1 0x01
00002224: PUSH1 0x01
00002226: PUSH1 0x70
00002228: SHL
00002229: SUB
0000222a: AND
0000222b: PUSH2 0x316a
0000222e: JUMP
0000222f: JUMPDEST
00002230: DUP3
00002231: SLOAD
00002232: PUSH1 0x01
00002234: PUSH1 0x01
00002236: PUSH1 0x70
00002238: SHL
00002239: SUB
0000223a: SWAP2
0000223b: DUP3
0000223c: AND
0000223d: PUSH2 0x0100
00002240: SWAP4
00002241: SWAP1
00002242: SWAP4
00002243: EXP
00002244: SWAP3
00002245: DUP4
00002246: MUL
00002247: SWAP2
00002248: SWAP1
00002249: SWAP3
0000224a: MUL
0000224b: NOT
0000224c: SWAP1
0000224d: SWAP2
0000224e: AND
0000224f: OR
00002250: SWAP1
00002251: SSTORE
00002252: POP
00002253: DUP5
00002254: SLOAD
00002255: PUSH1 0x01
00002257: PUSH1 0x30
00002259: SHL
0000225a: PUSH1 0x01
0000225c: PUSH1 0x90
0000225e: SHL
0000225f: SUB
00002260: NOT
00002261: AND
00002262: DUP6
00002263: SSTORE
00002264: PUSH1 0x02
00002266: DUP6
00002267: ADD
00002268: DUP1
00002269: SLOAD
0000226a: DUP6
0000226b: SWAP2
0000226c: SWAP1
0000226d: PUSH1 0x00
0000226f: SWAP1
00002270: PUSH2 0x227a
00002273: SWAP1
00002274: DUP5
00002275: SWAP1
00002276: PUSH2 0x2e4b
00002279: JUMP
0000227a: JUMPDEST
0000227b: SWAP1
0000227c: SWAP2
0000227d: SSTORE
0000227e: POP
0000227f: PUSH2 0x228b
00002282: SWAP1
00002283: POP
00002284: PUSH1 0x01
00002286: CALLER
00002287: PUSH2 0x17c1
0000228a: JUMP
0000228b: JUMPDEST
0000228c: PUSH1 0x40
0000228e: DUP1
0000228f: MLOAD
00002290: DUP3
00002291: DUP2
00002292: MSTORE
00002293: PUSH1 0x00
00002295: PUSH1 0x20
00002297: DUP3
00002298: ADD
00002299: MSTORE
0000229a: PUSH1 0x01
0000229c: SWAP2
0000229d: CALLER
0000229e: SWAP2
0000229f: PUSH32 0x36af321ec8d3c75236829c5317affd40ddb308863a1236d2d277a4025cccee1e
000022c0: SWAP2
000022c1: ADD
000022c2: PUSH1 0x40
000022c4: MLOAD
000022c5: DUP1
000022c6: SWAP2
000022c7: SUB
000022c8: SWAP1
000022c9: LOG3
000022ca: POP
000022cb: POP
000022cc: PUSH1 0x01
000022ce: DUP1
000022cf: SSTORE
000022d0: POP
000022d1: POP
000022d2: POP
000022d3: POP
000022d4: JUMP
000022d5: JUMPDEST
000022d6: PUSH1 0x00
000022d8: SLOAD
000022d9: PUSH1 0x01
000022db: PUSH1 0x01
000022dd: PUSH1 0xa0
000022df: SHL
000022e0: SUB
000022e1: AND
000022e2: CALLER
000022e3: EQ
000022e4: PUSH2 0x22ff
000022e7: JUMPI
000022e8: PUSH1 0x40
000022ea: MLOAD
000022eb: PUSH3 0x461bcd
000022ef: PUSH1 0xe5
000022f1: SHL
000022f2: DUP2
000022f3: MSTORE
000022f4: PUSH1 0x04
000022f6: ADD
000022f7: PUSH2 0x0921
000022fa: SWAP1
000022fb: PUSH2 0x3191
000022fe: JUMP
000022ff: JUMPDEST
00002300: PUSH1 0x01
00002302: PUSH1 0x01
00002304: PUSH1 0xa0
00002306: SHL
00002307: SUB
00002308: AND
00002309: PUSH1 0x00
0000230b: SWAP1
0000230c: DUP2
0000230d: MSTORE
0000230e: PUSH1 0x11
00002310: PUSH1 0x20
00002312: MSTORE
00002313: PUSH1 0x40
00002315: SWAP1
00002316: KECCAK256
00002317: DUP1
00002318: SLOAD
00002319: PUSH1 0xff
0000231b: NOT
0000231c: AND
0000231d: SWAP1
0000231e: SSTORE
0000231f: JUMP
00002320: JUMPDEST
00002321: PUSH1 0x00
00002323: SLOAD
00002324: PUSH1 0x01
00002326: PUSH1 0x01
00002328: PUSH1 0xa0
0000232a: SHL
0000232b: SUB
0000232c: AND
0000232d: CALLER
0000232e: EQ
0000232f: PUSH2 0x234a
00002332: JUMPI
00002333: PUSH1 0x40
00002335: MLOAD
00002336: PUSH3 0x461bcd
0000233a: PUSH1 0xe5
0000233c: SHL
0000233d: DUP2
0000233e: MSTORE
0000233f: PUSH1 0x04
00002341: ADD
00002342: PUSH2 0x0921
00002345: SWAP1
00002346: PUSH2 0x3191
00002349: JUMP
0000234a: JUMPDEST
0000234b: PUSH1 0x01
0000234d: PUSH1 0x01
0000234f: PUSH1 0xa0
00002351: SHL
00002352: SUB
00002353: DUP2
00002354: AND
00002355: PUSH2 0x23af
00002358: JUMPI
00002359: PUSH1 0x40
0000235b: MLOAD
0000235c: PUSH3 0x461bcd
00002360: PUSH1 0xe5
00002362: SHL
00002363: DUP2
00002364: MSTORE
00002365: PUSH1 0x20
00002367: PUSH1 0x04
00002369: DUP3
0000236a: ADD
0000236b: MSTORE
0000236c: PUSH1 0x26
0000236e: PUSH1 0x24
00002370: DUP3
00002371: ADD
00002372: MSTORE
00002373: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00002394: PUSH1 0x44
00002396: DUP3
00002397: ADD
00002398: MSTORE
00002399: PUSH6 0x646472657373
000023a0: PUSH1 0xd0
000023a2: SHL
000023a3: PUSH1 0x64
000023a5: DUP3
000023a6: ADD
000023a7: MSTORE
000023a8: PUSH1 0x84
000023aa: ADD
000023ab: PUSH2 0x0921
000023ae: JUMP
000023af: JUMPDEST
000023b0: PUSH2 0x1117
000023b3: DUP2
000023b4: PUSH2 0x2b61
000023b7: JUMP
000023b8: JUMPDEST
000023b9: PUSH1 0x00
000023bb: PUSH1 0x0b
000023bd: DUP5
000023be: DUP2
000023bf: SLOAD
000023c0: DUP2
000023c1: LT
000023c2: PUSH2 0x23cd
000023c5: JUMPI
000023c6: PUSH2 0x23cd
000023c9: PUSH2 0x3113
000023cc: JUMP
000023cd: JUMPDEST
000023ce: PUSH1 0x00
000023d0: SWAP2
000023d1: DUP3
000023d2: MSTORE
000023d3: PUSH1 0x20
000023d5: DUP1
000023d6: DUP4
000023d7: KECCAK256
000023d8: DUP8
000023d9: DUP5
000023da: MSTORE
000023db: PUSH1 0x0c
000023dd: DUP3
000023de: MSTORE
000023df: PUSH1 0x40
000023e1: DUP1
000023e2: DUP6
000023e3: KECCAK256
000023e4: PUSH1 0x01
000023e6: PUSH1 0x01
000023e8: PUSH1 0xa0
000023ea: SHL
000023eb: SUB
000023ec: DUP12
000023ed: AND
000023ee: DUP7
000023ef: MSTORE
000023f0: SWAP1
000023f1: SWAP3
000023f2: MSTORE
000023f3: SWAP3
000023f4: KECCAK256
000023f5: PUSH1 0x03
000023f7: SWAP1
000023f8: SWAP2
000023f9: MUL
000023fa: SWAP1
000023fb: SWAP2
000023fc: ADD
000023fd: SWAP2
000023fe: POP
000023ff: PUSH2 0x2407
00002402: DUP6
00002403: PUSH2 0x1425
00002406: JUMP
00002407: JUMPDEST
00002408: PUSH1 0x01
0000240a: DUP2
0000240b: ADD
0000240c: SLOAD
0000240d: PUSH1 0x01
0000240f: PUSH1 0x01
00002411: PUSH1 0x70
00002413: SHL
00002414: SUB
00002415: AND
00002416: ISZERO
00002417: PUSH2 0x2546
0000241a: JUMPI
0000241b: DUP4
0000241c: ISZERO
0000241d: DUP1
0000241e: ISZERO
0000241f: PUSH2 0x2426
00002422: JUMPI
00002423: POP
00002424: DUP3
00002425: ISZERO
00002426: JUMPDEST
00002427: ISZERO
00002428: PUSH2 0x253c
0000242b: JUMPI
0000242c: DUP1
0000242d: SLOAD
0000242e: PUSH1 0x03
00002430: DUP3
00002431: ADD
00002432: SLOAD
00002433: PUSH1 0x01
00002435: DUP5
00002436: DUP2
00002437: ADD
00002438: SLOAD
00002439: SWAP1
0000243a: DUP5
0000243b: ADD
0000243c: SLOAD
0000243d: PUSH1 0x00
0000243f: SWAP4
00002440: PUSH1 0x01
00002442: PUSH1 0x30
00002444: SHL
00002445: SWAP1
00002446: DIV
00002447: PUSH1 0x01
00002449: PUSH1 0x01
0000244b: PUSH1 0x60
0000244d: SHL
0000244e: SUB
0000244f: AND
00002450: SWAP3
00002451: PUSH1 0x01
00002453: PUSH1 0x01
00002455: PUSH1 0x70
00002457: SHL
00002458: SUB
00002459: SWAP1
0000245a: DUP2
0000245b: AND
0000245c: SWAP3
0000245d: PUSH5 0xe8d4a51000
00002463: SWAP3
00002464: PUSH2 0x2478
00002467: SWAP3
00002468: PUSH1 0x01
0000246a: PUSH1 0x40
0000246c: SHL
0000246d: SWAP1
0000246e: SWAP3
0000246f: DIV
00002470: DUP3
00002471: AND
00002472: SWAP2
00002473: AND
00002474: PUSH2 0x3233
00002477: JUMP
00002478: JUMPDEST
00002479: PUSH2 0x2482
0000247c: SWAP2
0000247d: SWAP1
0000247e: PUSH2 0x325e
00002481: JUMP
00002482: JUMPDEST
00002483: PUSH2 0x248c
00002486: SWAP2
00002487: SWAP1
00002488: PUSH2 0x31f8
0000248b: JUMP
0000248c: JUMPDEST
0000248d: PUSH2 0x2496
00002490: SWAP2
00002491: SWAP1
00002492: PUSH2 0x316a
00002495: JUMP
00002496: JUMPDEST
00002497: PUSH1 0x01
00002499: PUSH1 0x01
0000249b: PUSH1 0x70
0000249d: SHL
0000249e: SUB
0000249f: AND
000024a0: SWAP1
000024a1: POP
000024a2: DUP1
000024a3: ISZERO
000024a4: PUSH2 0x2525
000024a7: JUMPI
000024a8: PUSH2 0x24b1
000024ab: DUP8
000024ac: DUP3
000024ad: PUSH2 0x2a9d
000024b0: JUMP
000024b1: JUMPDEST
000024b2: DUP1
000024b3: DUP3
000024b4: PUSH1 0x02
000024b6: ADD
000024b7: PUSH1 0x00
000024b9: DUP3
000024ba: DUP3
000024bb: SLOAD
000024bc: PUSH2 0x24c5
000024bf: SWAP2
000024c0: SWAP1
000024c1: PUSH2 0x2e4b
000024c4: JUMP
000024c5: JUMPDEST
000024c6: SWAP1
000024c7: SWAP2
000024c8: SSTORE
000024c9: POP
000024ca: POP
000024cb: PUSH1 0x01
000024cd: DUP1
000024ce: DUP5
000024cf: ADD
000024d0: SLOAD
000024d1: SWAP1
000024d2: DUP4
000024d3: ADD
000024d4: SLOAD
000024d5: PUSH5 0xe8d4a51000
000024db: SWAP2
000024dc: PUSH2 0x24f8
000024df: SWAP2
000024e0: PUSH1 0x01
000024e2: PUSH1 0x01
000024e4: PUSH1 0x70
000024e6: SHL
000024e7: SUB
000024e8: PUSH1 0x01
000024ea: PUSH1 0x40
000024ec: SHL
000024ed: SWAP1
000024ee: SWAP3
000024ef: DIV
000024f0: DUP3
000024f1: AND
000024f2: SWAP2
000024f3: AND
000024f4: PUSH2 0x3233
000024f7: JUMP
000024f8: JUMPDEST
000024f9: PUSH2 0x2502
000024fc: SWAP2
000024fd: SWAP1
000024fe: PUSH2 0x325e
00002501: JUMP
00002502: JUMPDEST
00002503: PUSH1 0x03
00002505: DUP4
00002506: ADD
00002507: DUP1
00002508: SLOAD
00002509: PUSH1 0x01
0000250b: PUSH1 0x01
0000250d: PUSH1 0x70
0000250f: SHL
00002510: SUB
00002511: NOT
00002512: AND
00002513: PUSH1 0x01
00002515: PUSH1 0x01
00002517: PUSH1 0x70
00002519: SHL
0000251a: SUB
0000251b: SWAP3
0000251c: SWAP1
0000251d: SWAP3
0000251e: AND
0000251f: SWAP2
00002520: SWAP1
00002521: SWAP2
00002522: OR
00002523: SWAP1
00002524: SSTORE
00002525: JUMPDEST
00002526: POP
00002527: DUP1
00002528: SLOAD
00002529: PUSH1 0x01
0000252b: PUSH1 0x30
0000252d: SHL
0000252e: PUSH1 0x01
00002530: PUSH1 0x90
00002532: SHL
00002533: SUB
00002534: NOT
00002535: AND
00002536: DUP2
00002537: SSTORE
00002538: PUSH2 0x2546
0000253b: JUMP
0000253c: JUMPDEST
0000253d: PUSH2 0x2546
00002540: DUP6
00002541: DUP8
00002542: PUSH2 0x26ff
00002545: JUMP
00002546: JUMPDEST
00002547: DUP4
00002548: ISZERO
00002549: PUSH2 0x2680
0000254c: JUMPI
0000254d: PUSH2 0x255a
00002550: PUSH3 0x015180
00002554: PUSH1 0x5a
00002556: PUSH2 0x307e
00002559: JUMP
0000255a: JUMPDEST
0000255b: DUP4
0000255c: GT
0000255d: ISZERO
0000255e: DUP1
0000255f: ISZERO
00002560: PUSH2 0x257f
00002563: JUMPI
00002564: POP
00002565: PUSH2 0x256e
00002568: TIMESTAMP
00002569: DUP5
0000256a: PUSH2 0x2e4b
0000256d: JUMP
0000256e: JUMPDEST
0000256f: DUP2
00002570: SLOAD
00002571: PUSH3 0x010000
00002575: SWAP1
00002576: DIV
00002577: PUSH4 0xffffffff
0000257c: AND
0000257d: GT
0000257e: ISZERO
0000257f: JUMPDEST
00002580: PUSH2 0x2617
00002583: JUMPI
00002584: PUSH1 0x40
00002586: MLOAD
00002587: PUSH3 0x461bcd
0000258b: PUSH1 0xe5
0000258d: SHL
0000258e: DUP2
0000258f: MSTORE
00002590: PUSH1 0x20
00002592: PUSH1 0x04
00002594: DUP3
00002595: ADD
00002596: MSTORE
00002597: PUSH1 0x5f
00002599: PUSH1 0x24
0000259b: DUP3
0000259c: ADD
0000259d: MSTORE
0000259e: PUSH32 0x6465706f736974203a204c6f636b206f7574206f662072616e6765206f722070
000025bf: PUSH1 0x44
000025c1: DUP3
000025c2: ADD
000025c3: MSTORE
000025c4: PUSH32 0x726576696f75736c79206c6f636b656420746f6b656e7320617265206c6f636b
000025e5: PUSH1 0x64
000025e7: DUP3
000025e8: ADD
000025e9: MSTORE
000025ea: PUSH32 0x6564206c6f6e676572207468616e206e65772064657369726564206c6f636b00
0000260b: PUSH1 0x84
0000260d: DUP3
0000260e: ADD
0000260f: MSTORE
00002610: PUSH1 0xa4
00002612: ADD
00002613: PUSH2 0x0921
00002616: JUMP
00002617: JUMPDEST
00002618: DUP2
00002619: SLOAD
0000261a: PUSH2 0x262e
0000261d: SWAP1
0000261e: PUSH1 0x01
00002620: PUSH1 0x01
00002622: PUSH1 0xa0
00002624: SHL
00002625: SUB
00002626: AND
00002627: CALLER
00002628: ADDRESS
00002629: DUP8
0000262a: PUSH2 0x2bb1
0000262d: JUMP
0000262e: JUMPDEST
0000262f: DUP1
00002630: SLOAD
00002631: PUSH2 0x264b
00002634: SWAP1
00002635: DUP6
00002636: SWAP1
00002637: PUSH1 0x01
00002639: PUSH1 0x90
0000263b: SHL
0000263c: SWAP1
0000263d: DIV
0000263e: PUSH1 0x01
00002640: PUSH1 0x01
00002642: PUSH1 0x70
00002644: SHL
00002645: SUB
00002646: AND
00002647: PUSH2 0x2e4b
0000264a: JUMP
0000264b: JUMPDEST
0000264c: DUP2
0000264d: SLOAD
0000264e: PUSH1 0x01
00002650: PUSH1 0x01
00002652: PUSH1 0x70
00002654: SHL
00002655: SUB
00002656: SWAP2
00002657: SWAP1
00002658: SWAP2
00002659: AND
0000265a: PUSH1 0x01
0000265c: PUSH1 0x90
0000265e: SHL
0000265f: MUL
00002660: PUSH1 0x01
00002662: PUSH1 0x01
00002664: PUSH1 0x90
00002666: SHL
00002667: SUB
00002668: SWAP1
00002669: SWAP2
0000266a: AND
0000266b: OR
0000266c: DUP2
0000266d: SSTORE
0000266e: PUSH1 0x00
00002670: DUP4
00002671: SWAP1
00002672: SUB
00002673: PUSH2 0x2680
00002676: JUMPI
00002677: PUSH2 0x2680
0000267a: DUP6
0000267b: DUP8
0000267c: PUSH2 0x17c1
0000267f: JUMP
00002680: JUMPDEST
00002681: DUP3
00002682: ISZERO
00002683: PUSH2 0x2691
00002686: JUMPI
00002687: PUSH2 0x2691
0000268a: DUP7
0000268b: DUP7
0000268c: DUP6
0000268d: PUSH2 0x284c
00002690: JUMP
00002691: JUMPDEST
00002692: DUP1
00002693: SLOAD
00002694: TIMESTAMP
00002695: PUSH3 0x010000
00002699: SWAP1
0000269a: SWAP2
0000269b: DIV
0000269c: PUSH4 0xffffffff
000026a1: AND
000026a2: LT
000026a3: ISZERO
000026a4: PUSH2 0x26b1
000026a7: JUMPI
000026a8: PUSH2 0x26b1
000026ab: DUP6
000026ac: DUP8
000026ad: PUSH2 0x17c1
000026b0: JUMP
000026b1: JUMPDEST
000026b2: PUSH1 0x40
000026b4: DUP1
000026b5: MLOAD
000026b6: DUP6
000026b7: DUP2
000026b8: MSTORE
000026b9: PUSH1 0x20
000026bb: DUP2
000026bc: ADD
000026bd: DUP6
000026be: SWAP1
000026bf: MSTORE
000026c0: DUP7
000026c1: SWAP2
000026c2: PUSH1 0x01
000026c4: PUSH1 0x01
000026c6: PUSH1 0xa0
000026c8: SHL
000026c9: SUB
000026ca: DUP10
000026cb: AND
000026cc: SWAP2
000026cd: PUSH32 0x36af321ec8d3c75236829c5317affd40ddb308863a1236d2d277a4025cccee1e
000026ee: SWAP2
000026ef: ADD
000026f0: PUSH1 0x40
000026f2: MLOAD
000026f3: DUP1
000026f4: SWAP2
000026f5: SUB
000026f6: SWAP1
000026f7: LOG3
000026f8: POP
000026f9: POP
000026fa: POP
000026fb: POP
000026fc: POP
000026fd: POP
000026fe: JUMP
000026ff: JUMPDEST
00002700: PUSH1 0x00
00002702: DUP3
00002703: DUP2
00002704: MSTORE
00002705: PUSH1 0x0c
00002707: PUSH1 0x20
00002709: SWAP1
0000270a: DUP2
0000270b: MSTORE
0000270c: PUSH1 0x40
0000270e: DUP1
0000270f: DUP4
00002710: KECCAK256
00002711: PUSH1 0x01
00002713: PUSH1 0x01
00002715: PUSH1 0xa0
00002717: SHL
00002718: SUB
00002719: DUP6
0000271a: AND
0000271b: DUP5
0000271c: MSTORE
0000271d: SWAP1
0000271e: SWAP2
0000271f: MSTORE
00002720: DUP2
00002721: KECCAK256
00002722: PUSH1 0x0b
00002724: DUP1
00002725: SLOAD
00002726: SWAP2
00002727: SWAP3
00002728: SWAP2
00002729: DUP6
0000272a: SWAP1
0000272b: DUP2
0000272c: LT
0000272d: PUSH2 0x2738
00002730: JUMPI
00002731: PUSH2 0x2738
00002734: PUSH2 0x3113
00002737: JUMP
00002738: JUMPDEST
00002739: PUSH1 0x00
0000273b: SWAP2
0000273c: DUP3
0000273d: MSTORE
0000273e: PUSH1 0x20
00002740: DUP3
00002741: KECCAK256
00002742: PUSH1 0x03
00002744: DUP6
00002745: DUP2
00002746: ADD
00002747: SLOAD
00002748: SWAP3
00002749: MUL
0000274a: ADD
0000274b: PUSH1 0x01
0000274d: DUP2
0000274e: DUP2
0000274f: ADD
00002750: SLOAD
00002751: SWAP1
00002752: DUP7
00002753: ADD
00002754: SLOAD
00002755: SWAP2
00002756: SWAP5
00002757: POP
00002758: PUSH1 0x01
0000275a: PUSH1 0x01
0000275c: PUSH1 0x70
0000275e: SHL
0000275f: SUB
00002760: SWAP3
00002761: DUP4
00002762: AND
00002763: SWAP3
00002764: PUSH5 0xe8d4a51000
0000276a: SWAP3
0000276b: PUSH2 0x277e
0000276e: SWAP3
0000276f: PUSH1 0x01
00002771: PUSH1 0x40
00002773: SHL
00002774: SWAP1
00002775: DIV
00002776: DUP3
00002777: AND
00002778: SWAP2
00002779: AND
0000277a: PUSH2 0x3233
0000277d: JUMP
0000277e: JUMPDEST
0000277f: PUSH2 0x2788
00002782: SWAP2
00002783: SWAP1
00002784: PUSH2 0x325e
00002787: JUMP
00002788: JUMPDEST
00002789: PUSH2 0x2792
0000278c: SWAP2
0000278d: SWAP1
0000278e: PUSH2 0x31f8
00002791: JUMP
00002792: JUMPDEST
00002793: PUSH1 0x01
00002795: PUSH1 0x01
00002797: PUSH1 0x70
00002799: SHL
0000279a: SUB
0000279b: AND
0000279c: SWAP1
0000279d: POP
0000279e: DUP1
0000279f: ISZERO
000027a0: PUSH2 0x2845
000027a3: JUMPI
000027a4: DUP3
000027a5: SLOAD
000027a6: DUP2
000027a7: SWAP1
000027a8: DUP5
000027a9: SWAP1
000027aa: PUSH1 0x06
000027ac: SWAP1
000027ad: PUSH2 0x27c7
000027b0: SWAP1
000027b1: DUP5
000027b2: SWAP1
000027b3: PUSH1 0x01
000027b5: PUSH1 0x30
000027b7: SHL
000027b8: SWAP1
000027b9: DIV
000027ba: PUSH1 0x01
000027bc: PUSH1 0x01
000027be: PUSH1 0x60
000027c0: SHL
000027c1: SUB
000027c2: AND
000027c3: PUSH2 0x32ee
000027c6: JUMP
000027c7: JUMPDEST
000027c8: DUP3
000027c9: SLOAD
000027ca: PUSH1 0x01
000027cc: PUSH1 0x01
000027ce: PUSH1 0x60
000027d0: SHL
000027d1: SUB
000027d2: SWAP2
000027d3: DUP3
000027d4: AND
000027d5: PUSH2 0x0100
000027d8: SWAP4
000027d9: SWAP1
000027da: SWAP4
000027db: EXP
000027dc: SWAP3
000027dd: DUP4
000027de: MUL
000027df: SWAP2
000027e0: SWAP1
000027e1: SWAP3
000027e2: MUL
000027e3: NOT
000027e4: SWAP1
000027e5: SWAP2
000027e6: AND
000027e7: OR
000027e8: SWAP1
000027e9: SSTORE
000027ea: POP
000027eb: PUSH1 0x01
000027ed: DUP3
000027ee: DUP2
000027ef: ADD
000027f0: SLOAD
000027f1: SWAP1
000027f2: DUP5
000027f3: ADD
000027f4: SLOAD
000027f5: PUSH5 0xe8d4a51000
000027fb: SWAP2
000027fc: PUSH2 0x2818
000027ff: SWAP2
00002800: PUSH1 0x01
00002802: PUSH1 0x01
00002804: PUSH1 0x70
00002806: SHL
00002807: SUB
00002808: PUSH1 0x01
0000280a: PUSH1 0x40
0000280c: SHL
0000280d: SWAP1
0000280e: SWAP3
0000280f: DIV
00002810: DUP3
00002811: AND
00002812: SWAP2
00002813: AND
00002814: PUSH2 0x3233
00002817: JUMP
00002818: JUMPDEST
00002819: PUSH2 0x2822
0000281c: SWAP2
0000281d: SWAP1
0000281e: PUSH2 0x325e
00002821: JUMP
00002822: JUMPDEST
00002823: PUSH1 0x03
00002825: DUP5
00002826: ADD
00002827: DUP1
00002828: SLOAD
00002829: PUSH1 0x01
0000282b: PUSH1 0x01
0000282d: PUSH1 0x70
0000282f: SHL
00002830: SUB
00002831: NOT
00002832: AND
00002833: PUSH1 0x01
00002835: PUSH1 0x01
00002837: PUSH1 0x70
00002839: SHL
0000283a: SUB
0000283b: SWAP3
0000283c: SWAP1
0000283d: SWAP3
0000283e: AND
0000283f: SWAP2
00002840: SWAP1
00002841: SWAP2
00002842: OR
00002843: SWAP1
00002844: SSTORE
00002845: JUMPDEST
00002846: POP
00002847: POP
00002848: POP
00002849: POP
0000284a: POP
0000284b: JUMP
0000284c: JUMPDEST
0000284d: PUSH1 0x00
0000284f: DUP3
00002850: DUP2
00002851: MSTORE
00002852: PUSH1 0x0c
00002854: PUSH1 0x20
00002856: SWAP1
00002857: DUP2
00002858: MSTORE
00002859: PUSH1 0x40
0000285b: DUP1
0000285c: DUP4
0000285d: KECCAK256
0000285e: PUSH1 0x01
00002860: PUSH1 0x01
00002862: PUSH1 0xa0
00002864: SHL
00002865: SUB
00002866: DUP8
00002867: AND
00002868: DUP5
00002869: MSTORE
0000286a: SWAP1
0000286b: SWAP2
0000286c: MSTORE
0000286d: SWAP1
0000286e: KECCAK256
0000286f: DUP1
00002870: SLOAD
00002871: PUSH1 0x01
00002873: PUSH1 0x90
00002875: SHL
00002876: SWAP1
00002877: DIV
00002878: PUSH1 0x01
0000287a: PUSH1 0x01
0000287c: PUSH1 0x70
0000287e: SHL
0000287f: SUB
00002880: AND
00002881: PUSH2 0x28cc
00002884: JUMPI
00002885: PUSH1 0x40
00002887: MLOAD
00002888: PUSH3 0x461bcd
0000288c: PUSH1 0xe5
0000288e: SHL
0000288f: DUP2
00002890: MSTORE
00002891: PUSH1 0x20
00002893: PUSH1 0x04
00002895: DUP3
00002896: ADD
00002897: MSTORE
00002898: PUSH1 0x1d
0000289a: PUSH1 0x24
0000289c: DUP3
0000289d: ADD
0000289e: MSTORE
0000289f: PUSH32 0x6c6f636b546f6b656e733a204e6f20746f6b656e7320746f206c6f636b000000
000028c0: PUSH1 0x44
000028c2: DUP3
000028c3: ADD
000028c4: MSTORE
000028c5: PUSH1 0x64
000028c7: ADD
000028c8: PUSH2 0x0921
000028cb: JUMP
000028cc: JUMPDEST
000028cd: PUSH2 0x28d6
000028d0: DUP3
000028d1: TIMESTAMP
000028d2: PUSH2 0x2e4b
000028d5: JUMP
000028d6: JUMPDEST
000028d7: DUP2
000028d8: SLOAD
000028d9: PUSH3 0x010000
000028dd: SWAP1
000028de: DIV
000028df: PUSH4 0xffffffff
000028e4: AND
000028e5: GT
000028e6: ISZERO
000028e7: PUSH2 0x293c
000028ea: JUMPI
000028eb: PUSH1 0x40
000028ed: MLOAD
000028ee: PUSH3 0x461bcd
000028f2: PUSH1 0xe5
000028f4: SHL
000028f5: DUP2
000028f6: MSTORE
000028f7: PUSH1 0x20
000028f9: PUSH1 0x04
000028fb: DUP3
000028fc: ADD
000028fd: MSTORE
000028fe: PUSH1 0x21
00002900: PUSH1 0x24
00002902: DUP3
00002903: ADD
00002904: MSTORE
00002905: PUSH32 0x6c6f636b546f6b656e733a20546f6b656e7320616c7265616479206c6f636b65
00002926: PUSH1 0x44
00002928: DUP3
00002929: ADD
0000292a: MSTORE
0000292b: PUSH1 0x19
0000292d: PUSH1 0xfa
0000292f: SHL
00002930: PUSH1 0x64
00002932: DUP3
00002933: ADD
00002934: MSTORE
00002935: PUSH1 0x84
00002937: ADD
00002938: PUSH2 0x0921
0000293b: JUMP
0000293c: JUMPDEST
0000293d: PUSH3 0x015180
00002941: DUP3
00002942: LT
00002943: ISZERO
00002944: PUSH2 0x298f
00002947: JUMPI
00002948: PUSH1 0x40
0000294a: MLOAD
0000294b: PUSH3 0x461bcd
0000294f: PUSH1 0xe5
00002951: SHL
00002952: DUP2
00002953: MSTORE
00002954: PUSH1 0x20
00002956: PUSH1 0x04
00002958: DUP3
00002959: ADD
0000295a: MSTORE
0000295b: PUSH1 0x1f
0000295d: PUSH1 0x24
0000295f: DUP3
00002960: ADD
00002961: MSTORE
00002962: PUSH32 0x6c6f636b546f6b656e733a204c6f636b2074696d6520746f6f2073686f727400
00002983: PUSH1 0x44
00002985: DUP3
00002986: ADD
00002987: MSTORE
00002988: PUSH1 0x64
0000298a: ADD
0000298b: PUSH2 0x0921
0000298e: JUMP
0000298f: JUMPDEST
00002990: PUSH2 0x299d
00002993: PUSH3 0x015180
00002997: PUSH1 0x5a
00002999: PUSH2 0x307e
0000299c: JUMP
0000299d: JUMPDEST
0000299e: DUP3
0000299f: GT
000029a0: ISZERO
000029a1: PUSH2 0x29ec
000029a4: JUMPI
000029a5: PUSH1 0x40
000029a7: MLOAD
000029a8: PUSH3 0x461bcd
000029ac: PUSH1 0xe5
000029ae: SHL
000029af: DUP2
000029b0: MSTORE
000029b1: PUSH1 0x20
000029b3: PUSH1 0x04
000029b5: DUP3
000029b6: ADD
000029b7: MSTORE
000029b8: PUSH1 0x1e
000029ba: PUSH1 0x24
000029bc: DUP3
000029bd: ADD
000029be: MSTORE
000029bf: PUSH32 0x6c6f636b546f6b656e733a204c6f636b2074696d6520746f6f206c6f6e670000
000029e0: PUSH1 0x44
000029e2: DUP3
000029e3: ADD
000029e4: MSTORE
000029e5: PUSH1 0x64
000029e7: ADD
000029e8: PUSH2 0x0921
000029eb: JUMP
000029ec: JUMPDEST
000029ed: PUSH2 0x29f6
000029f0: DUP3
000029f1: TIMESTAMP
000029f2: PUSH2 0x2e4b
000029f5: JUMP
000029f6: JUMPDEST
000029f7: DUP2
000029f8: SLOAD
000029f9: PUSH4 0xffffffff
000029fe: SWAP2
000029ff: SWAP1
00002a00: SWAP2
00002a01: AND
00002a02: PUSH3 0x010000
00002a06: MUL
00002a07: PUSH6 0xffffffff0000
00002a0e: NOT
00002a0f: SWAP1
00002a10: SWAP2
00002a11: AND
00002a12: OR
00002a13: DUP2
00002a14: SSTORE
00002a15: PUSH2 0x2a22
00002a18: PUSH3 0x015180
00002a1c: PUSH1 0x5a
00002a1e: PUSH2 0x307e
00002a21: JUMP
00002a22: JUMPDEST
00002a23: PUSH2 0x2a2e
00002a26: DUP4
00002a27: PUSH2 0x07d0
00002a2a: PUSH2 0x307e
00002a2d: JUMP
00002a2e: JUMPDEST
00002a2f: PUSH2 0x2a38
00002a32: SWAP2
00002a33: SWAP1
00002a34: PUSH2 0x30ab
00002a37: JUMP
00002a38: JUMPDEST
00002a39: DUP2
00002a3a: SLOAD
00002a3b: PUSH2 0xffff
00002a3e: NOT
00002a3f: AND
00002a40: PUSH2 0xffff
00002a43: SWAP2
00002a44: SWAP1
00002a45: SWAP2
00002a46: AND
00002a47: OR
00002a48: DUP2
00002a49: SSTORE
00002a4a: PUSH2 0x2a53
00002a4d: DUP4
00002a4e: DUP6
00002a4f: PUSH2 0x17c1
00002a52: JUMP
00002a53: JUMPDEST
00002a54: PUSH1 0x40
00002a56: DUP1
00002a57: MLOAD
00002a58: TIMESTAMP
00002a59: DUP2
00002a5a: MSTORE
00002a5b: PUSH1 0x20
00002a5d: DUP2
00002a5e: ADD
00002a5f: DUP5
00002a60: SWAP1
00002a61: MSTORE
00002a62: PUSH1 0x01
00002a64: PUSH1 0x01
00002a66: PUSH1 0xa0
00002a68: SHL
00002a69: SUB
00002a6a: DUP7
00002a6b: AND
00002a6c: SWAP2
00002a6d: PUSH32 0xd741e738a23fd18a03a26522320d9fc6cac1fed483e215ea9150fbc2fc43385d
00002a8e: SWAP2
00002a8f: ADD
00002a90: PUSH1 0x40
00002a92: MLOAD
00002a93: DUP1
00002a94: SWAP2
00002a95: SUB
00002a96: SWAP1
00002a97: LOG2
00002a98: POP
00002a99: POP
00002a9a: POP
00002a9b: POP
00002a9c: JUMP
00002a9d: JUMPDEST
00002a9e: PUSH1 0x08
00002aa0: SLOAD
00002aa1: DUP2
00002aa2: GT
00002aa3: ISZERO
00002aa4: PUSH2 0x2aac
00002aa7: JUMPI
00002aa8: POP
00002aa9: PUSH1 0x08
00002aab: SLOAD
00002aac: JUMPDEST
00002aad: PUSH1 0x40
00002aaf: MLOAD
00002ab0: PUSH1 0x01
00002ab2: PUSH1 0x01
00002ab4: PUSH1 0xa0
00002ab6: SHL
00002ab7: SUB
00002ab8: DUP4
00002ab9: AND
00002aba: SWAP1
00002abb: DUP3
00002abc: ISZERO
00002abd: PUSH2 0x08fc
00002ac0: MUL
00002ac1: SWAP1
00002ac2: DUP4
00002ac3: SWAP1
00002ac4: PUSH1 0x00
00002ac6: DUP2
00002ac7: DUP2
00002ac8: DUP2
00002ac9: DUP6
00002aca: DUP9
00002acb: DUP9
00002acc: CALL
00002acd: SWAP4
00002ace: POP
00002acf: POP
00002ad0: POP
00002ad1: POP
00002ad2: ISZERO
00002ad3: DUP1
00002ad4: ISZERO
00002ad5: PUSH2 0x2ae2
00002ad8: JUMPI
00002ad9: RETURNDATASIZE
00002ada: PUSH1 0x00
00002adc: DUP1
00002add: RETURNDATACOPY
00002ade: RETURNDATASIZE
00002adf: PUSH1 0x00
00002ae1: REVERT
00002ae2: JUMPDEST
00002ae3: POP
00002ae4: DUP1
00002ae5: PUSH1 0x08
00002ae7: PUSH1 0x00
00002ae9: DUP3
00002aea: DUP3
00002aeb: SLOAD
00002aec: PUSH2 0x2af5
00002aef: SWAP2
00002af0: SWAP1
00002af1: PUSH2 0x3157
00002af4: JUMP
00002af5: JUMPDEST
00002af6: SWAP1
00002af7: SWAP2
00002af8: SSTORE
00002af9: POP
00002afa: POP
00002afb: POP
00002afc: POP
00002afd: JUMP
00002afe: JUMPDEST
00002aff: PUSH1 0x40
00002b01: MLOAD
00002b02: PUSH1 0x01
00002b04: PUSH1 0x01
00002b06: PUSH1 0xa0
00002b08: SHL
00002b09: SUB
00002b0a: DUP4
00002b0b: AND
00002b0c: PUSH1 0x24
00002b0e: DUP3
00002b0f: ADD
00002b10: MSTORE
00002b11: PUSH1 0x44
00002b13: DUP2
00002b14: ADD
00002b15: DUP3
00002b16: SWAP1
00002b17: MSTORE
00002b18: PUSH2 0x13a6
00002b1b: SWAP1
00002b1c: DUP5
00002b1d: SWAP1
00002b1e: PUSH4 0xa9059cbb
00002b23: PUSH1 0xe0
00002b25: SHL
00002b26: SWAP1
00002b27: PUSH1 0x64
00002b29: ADD
00002b2a: JUMPDEST
00002b2b: PUSH1 0x40
00002b2d: DUP1
00002b2e: MLOAD
00002b2f: PUSH1 0x1f
00002b31: NOT
00002b32: DUP2
00002b33: DUP5
00002b34: SUB
00002b35: ADD
00002b36: DUP2
00002b37: MSTORE
00002b38: SWAP2
00002b39: SWAP1
00002b3a: MSTORE
00002b3b: PUSH1 0x20
00002b3d: DUP2
00002b3e: ADD
00002b3f: DUP1
00002b40: MLOAD
00002b41: PUSH1 0x01
00002b43: PUSH1 0x01
00002b45: PUSH1 0xe0
00002b47: SHL
00002b48: SUB
00002b49: AND
00002b4a: PUSH1 0x01
00002b4c: PUSH1 0x01
00002b4e: PUSH1 0xe0
00002b50: SHL
00002b51: SUB
00002b52: NOT
00002b53: SWAP1
00002b54: SWAP4
00002b55: AND
00002b56: SWAP3
00002b57: SWAP1
00002b58: SWAP3
00002b59: OR
00002b5a: SWAP1
00002b5b: SWAP2
00002b5c: MSTORE
00002b5d: PUSH2 0x2be9
00002b60: JUMP
00002b61: JUMPDEST
00002b62: PUSH1 0x00
00002b64: DUP1
00002b65: SLOAD
00002b66: PUSH1 0x01
00002b68: PUSH1 0x01
00002b6a: PUSH1 0xa0
00002b6c: SHL
00002b6d: SUB
00002b6e: DUP4
00002b6f: DUP2
00002b70: AND
00002b71: PUSH1 0x01
00002b73: PUSH1 0x01
00002b75: PUSH1 0xa0
00002b77: SHL
00002b78: SUB
00002b79: NOT
00002b7a: DUP4
00002b7b: AND
00002b7c: DUP2
00002b7d: OR
00002b7e: DUP5
00002b7f: SSTORE
00002b80: PUSH1 0x40
00002b82: MLOAD
00002b83: SWAP2
00002b84: SWAP1
00002b85: SWAP3
00002b86: AND
00002b87: SWAP3
00002b88: DUP4
00002b89: SWAP2
00002b8a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002bab: SWAP2
00002bac: SWAP1
00002bad: LOG3
00002bae: POP
00002baf: POP
00002bb0: JUMP
00002bb1: JUMPDEST
00002bb2: PUSH1 0x40
00002bb4: MLOAD
00002bb5: PUSH1 0x01
00002bb7: PUSH1 0x01
00002bb9: PUSH1 0xa0
00002bbb: SHL
00002bbc: SUB
00002bbd: DUP1
00002bbe: DUP6
00002bbf: AND
00002bc0: PUSH1 0x24
00002bc2: DUP4
00002bc3: ADD
00002bc4: MSTORE
00002bc5: DUP4
00002bc6: AND
00002bc7: PUSH1 0x44
00002bc9: DUP3
00002bca: ADD
00002bcb: MSTORE
00002bcc: PUSH1 0x64
00002bce: DUP2
00002bcf: ADD
00002bd0: DUP3
00002bd1: SWAP1
00002bd2: MSTORE
00002bd3: PUSH2 0x19b9
00002bd6: SWAP1
00002bd7: DUP6
00002bd8: SWAP1
00002bd9: PUSH4 0x23b872dd
00002bde: PUSH1 0xe0
00002be0: SHL
00002be1: SWAP1
00002be2: PUSH1 0x84
00002be4: ADD
00002be5: PUSH2 0x2b2a
00002be8: JUMP
00002be9: JUMPDEST
00002bea: PUSH1 0x00
00002bec: PUSH2 0x2c3e
00002bef: DUP3
00002bf0: PUSH1 0x40
00002bf2: MLOAD
00002bf3: DUP1
00002bf4: PUSH1 0x40
00002bf6: ADD
00002bf7: PUSH1 0x40
00002bf9: MSTORE
00002bfa: DUP1
00002bfb: PUSH1 0x20
00002bfd: DUP2
00002bfe: MSTORE
00002bff: PUSH1 0x20
00002c01: ADD
00002c02: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002c23: DUP2
00002c24: MSTORE
00002c25: POP
00002c26: DUP6
00002c27: PUSH1 0x01
00002c29: PUSH1 0x01
00002c2b: PUSH1 0xa0
00002c2d: SHL
00002c2e: SUB
00002c2f: AND
00002c30: PUSH2 0x2cbb
00002c33: SWAP1
00002c34: SWAP3
00002c35: SWAP2
00002c36: SWAP1
00002c37: PUSH4 0xffffffff
00002c3c: AND
00002c3d: JUMP
00002c3e: JUMPDEST
00002c3f: DUP1
00002c40: MLOAD
00002c41: SWAP1
00002c42: SWAP2
00002c43: POP
00002c44: ISZERO
00002c45: PUSH2 0x13a6
00002c48: JUMPI
00002c49: DUP1
00002c4a: DUP1
00002c4b: PUSH1 0x20
00002c4d: ADD
00002c4e: SWAP1
00002c4f: MLOAD
00002c50: DUP2
00002c51: ADD
00002c52: SWAP1
00002c53: PUSH2 0x2c5c
00002c56: SWAP2
00002c57: SWAP1
00002c58: PUSH2 0x30f6
00002c5b: JUMP
00002c5c: JUMPDEST
00002c5d: PUSH2 0x13a6
00002c60: JUMPI
00002c61: PUSH1 0x40
00002c63: MLOAD
00002c64: PUSH3 0x461bcd
00002c68: PUSH1 0xe5
00002c6a: SHL
00002c6b: DUP2
00002c6c: MSTORE
00002c6d: PUSH1 0x20
00002c6f: PUSH1 0x04
00002c71: DUP3
00002c72: ADD
00002c73: MSTORE
00002c74: PUSH1 0x2a
00002c76: PUSH1 0x24
00002c78: DUP3
00002c79: ADD
00002c7a: MSTORE
00002c7b: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00002c9c: PUSH1 0x44
00002c9e: DUP3
00002c9f: ADD
00002ca0: MSTORE
00002ca1: PUSH10 0x1bdd081cdd58d8d95959
00002cac: PUSH1 0xb2
00002cae: SHL
00002caf: PUSH1 0x64
00002cb1: DUP3
00002cb2: ADD
00002cb3: MSTORE
00002cb4: PUSH1 0x84
00002cb6: ADD
00002cb7: PUSH2 0x0921
00002cba: JUMP
00002cbb: JUMPDEST
00002cbc: PUSH1 0x60
00002cbe: PUSH2 0x2cca
00002cc1: DUP5
00002cc2: DUP5
00002cc3: PUSH1 0x00
00002cc5: DUP6
00002cc6: PUSH2 0x2cd4
00002cc9: JUMP
00002cca: JUMPDEST
00002ccb: SWAP1
00002ccc: POP
00002ccd: JUMPDEST
00002cce: SWAP4
00002ccf: SWAP3
00002cd0: POP
00002cd1: POP
00002cd2: POP
00002cd3: JUMP
00002cd4: JUMPDEST
00002cd5: PUSH1 0x60
00002cd7: DUP3
00002cd8: SELFBALANCE
00002cd9: LT
00002cda: ISZERO
00002cdb: PUSH2 0x2d35
00002cde: JUMPI
00002cdf: PUSH1 0x40
00002ce1: MLOAD
00002ce2: PUSH3 0x461bcd
00002ce6: PUSH1 0xe5
00002ce8: SHL
00002ce9: DUP2
00002cea: MSTORE
00002ceb: PUSH1 0x20
00002ced: PUSH1 0x04
00002cef: DUP3
00002cf0: ADD
00002cf1: MSTORE
00002cf2: PUSH1 0x26
00002cf4: PUSH1 0x24
00002cf6: DUP3
00002cf7: ADD
00002cf8: MSTORE
00002cf9: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00002d1a: PUSH1 0x44
00002d1c: DUP3
00002d1d: ADD
00002d1e: MSTORE
00002d1f: PUSH6 0x1c8818d85b1b
00002d26: PUSH1 0xd2
00002d28: SHL
00002d29: PUSH1 0x64
00002d2b: DUP3
00002d2c: ADD
00002d2d: MSTORE
00002d2e: PUSH1 0x84
00002d30: ADD
00002d31: PUSH2 0x0921
00002d34: JUMP
00002d35: JUMPDEST
00002d36: DUP5
00002d37: EXTCODESIZE
00002d38: PUSH2 0x2d83
00002d3b: JUMPI
00002d3c: PUSH1 0x40
00002d3e: MLOAD
00002d3f: PUSH3 0x461bcd
00002d43: PUSH1 0xe5
00002d45: SHL
00002d46: DUP2
00002d47: MSTORE
00002d48: PUSH1 0x20
00002d4a: PUSH1 0x04
00002d4c: DUP3
00002d4d: ADD
00002d4e: MSTORE
00002d4f: PUSH1 0x1d
00002d51: PUSH1 0x24
00002d53: DUP3
00002d54: ADD
00002d55: MSTORE
00002d56: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002d77: PUSH1 0x44
00002d79: DUP3
00002d7a: ADD
00002d7b: MSTORE
00002d7c: PUSH1 0x64
00002d7e: ADD
00002d7f: PUSH2 0x0921
00002d82: JUMP
00002d83: JUMPDEST
00002d84: PUSH1 0x00
00002d86: DUP1
00002d87: DUP7
00002d88: PUSH1 0x01
00002d8a: PUSH1 0x01
00002d8c: PUSH1 0xa0
00002d8e: SHL
00002d8f: SUB
00002d90: AND
00002d91: DUP6
00002d92: DUP8
00002d93: PUSH1 0x40
00002d95: MLOAD
00002d96: PUSH2 0x2d9f
00002d99: SWAP2
00002d9a: SWAP1
00002d9b: PUSH2 0x3332
00002d9e: JUMP
00002d9f: JUMPDEST
00002da0: PUSH1 0x00
00002da2: PUSH1 0x40
00002da4: MLOAD
00002da5: DUP1
00002da6: DUP4
00002da7: SUB
00002da8: DUP2
00002da9: DUP6
00002daa: DUP8
00002dab: GAS
00002dac: CALL
00002dad: SWAP3
00002dae: POP
00002daf: POP
00002db0: POP
00002db1: RETURNDATASIZE
00002db2: DUP1
00002db3: PUSH1 0x00
00002db5: DUP2
00002db6: EQ
00002db7: PUSH2 0x2ddc
00002dba: JUMPI
00002dbb: PUSH1 0x40
00002dbd: MLOAD
00002dbe: SWAP2
00002dbf: POP
00002dc0: PUSH1 0x1f
00002dc2: NOT
00002dc3: PUSH1 0x3f
00002dc5: RETURNDATASIZE
00002dc6: ADD
00002dc7: AND
00002dc8: DUP3
00002dc9: ADD
00002dca: PUSH1 0x40
00002dcc: MSTORE
00002dcd: RETURNDATASIZE
00002dce: DUP3
00002dcf: MSTORE
00002dd0: RETURNDATASIZE
00002dd1: PUSH1 0x00
00002dd3: PUSH1 0x20
00002dd5: DUP5
00002dd6: ADD
00002dd7: RETURNDATACOPY
00002dd8: PUSH2 0x2de1
00002ddb: JUMP
00002ddc: JUMPDEST
00002ddd: PUSH1 0x60
00002ddf: SWAP2
00002de0: POP
00002de1: JUMPDEST
00002de2: POP
00002de3: SWAP2
00002de4: POP
00002de5: SWAP2
00002de6: POP
00002de7: PUSH2 0x2df1
00002dea: DUP3
00002deb: DUP3
00002dec: DUP7
00002ded: PUSH2 0x2dfc
00002df0: JUMP
00002df1: JUMPDEST
00002df2: SWAP8
00002df3: SWAP7
00002df4: POP
00002df5: POP
00002df6: POP
00002df7: POP
00002df8: POP
00002df9: POP
00002dfa: POP
00002dfb: JUMP
00002dfc: JUMPDEST
00002dfd: PUSH1 0x60
00002dff: DUP4
00002e00: ISZERO
00002e01: PUSH2 0x2e0b
00002e04: JUMPI
00002e05: POP
00002e06: DUP2
00002e07: PUSH2 0x2ccd
00002e0a: JUMP
00002e0b: JUMPDEST
00002e0c: DUP3
00002e0d: MLOAD
00002e0e: ISZERO
00002e0f: PUSH2 0x2e1b
00002e12: JUMPI
00002e13: DUP3
00002e14: MLOAD
00002e15: DUP1
00002e16: DUP5
00002e17: PUSH1 0x20
00002e19: ADD
00002e1a: REVERT
00002e1b: JUMPDEST
00002e1c: DUP2
00002e1d: PUSH1 0x40
00002e1f: MLOAD
00002e20: PUSH3 0x461bcd
00002e24: PUSH1 0xe5
00002e26: SHL
00002e27: DUP2
00002e28: MSTORE
00002e29: PUSH1 0x04
00002e2b: ADD
00002e2c: PUSH2 0x0921
00002e2f: SWAP2
00002e30: SWAP1
00002e31: PUSH2 0x334e
00002e34: JUMP
00002e35: JUMPDEST
00002e36: PUSH4 0x4e487b71
00002e3b: PUSH1 0xe0
00002e3d: SHL
00002e3e: PUSH1 0x00
00002e40: MSTORE
00002e41: PUSH1 0x11
00002e43: PUSH1 0x04
00002e45: MSTORE
00002e46: PUSH1 0x24
00002e48: PUSH1 0x00
00002e4a: REVERT
00002e4b: JUMPDEST
00002e4c: DUP1
00002e4d: DUP3
00002e4e: ADD
00002e4f: DUP1
00002e50: DUP3
00002e51: GT
00002e52: ISZERO
00002e53: PUSH2 0x1a77
00002e56: JUMPI
00002e57: PUSH2 0x1a77
00002e5a: PUSH2 0x2e35
00002e5d: JUMP
00002e5e: JUMPDEST
00002e5f: PUSH1 0x00
00002e61: DUP1
00002e62: PUSH1 0x00
00002e64: PUSH1 0x60
00002e66: DUP5
00002e67: DUP7
00002e68: SUB
00002e69: SLT
00002e6a: ISZERO
00002e6b: PUSH2 0x2e73
00002e6e: JUMPI
00002e6f: PUSH1 0x00
00002e71: DUP1
00002e72: REVERT
00002e73: JUMPDEST
00002e74: POP
00002e75: POP
00002e76: DUP2
00002e77: CALLDATALOAD
00002e78: SWAP4
00002e79: PUSH1 0x20
00002e7b: DUP4
00002e7c: ADD
00002e7d: CALLDATALOAD
00002e7e: SWAP4
00002e7f: POP
00002e80: PUSH1 0x40
00002e82: SWAP1
00002e83: SWAP3
00002e84: ADD
00002e85: CALLDATALOAD
00002e86: SWAP2
00002e87: SWAP1
00002e88: POP
00002e89: JUMP
00002e8a: JUMPDEST
00002e8b: PUSH1 0x00
00002e8d: DUP1
00002e8e: PUSH1 0x00
00002e90: DUP1
00002e91: PUSH1 0x80
00002e93: DUP6
00002e94: DUP8
00002e95: SUB
00002e96: SLT
00002e97: ISZERO
00002e98: PUSH2 0x2ea0
00002e9b: JUMPI
00002e9c: PUSH1 0x00
00002e9e: DUP1
00002e9f: REVERT
00002ea0: JUMPDEST
00002ea1: POP
00002ea2: POP
00002ea3: DUP3
00002ea4: CALLDATALOAD
00002ea5: SWAP5
00002ea6: PUSH1 0x20
00002ea8: DUP5
00002ea9: ADD
00002eaa: CALLDATALOAD
00002eab: SWAP5
00002eac: POP
00002ead: PUSH1 0x40
00002eaf: DUP5
00002eb0: ADD
00002eb1: CALLDATALOAD
00002eb2: SWAP4
00002eb3: PUSH1 0x60
00002eb5: ADD
00002eb6: CALLDATALOAD
00002eb7: SWAP3
00002eb8: POP
00002eb9: SWAP1
00002eba: POP
00002ebb: JUMP
00002ebc: JUMPDEST
00002ebd: PUSH1 0x00
00002ebf: DUP1
00002ec0: PUSH1 0x40
00002ec2: DUP4
00002ec3: DUP6
00002ec4: SUB
00002ec5: SLT
00002ec6: ISZERO
00002ec7: PUSH2 0x2ecf
00002eca: JUMPI
00002ecb: PUSH1 0x00
00002ecd: DUP1
00002ece: REVERT
00002ecf: JUMPDEST
00002ed0: DUP3
00002ed1: CALLDATALOAD
00002ed2: PUSH4 0xffffffff
00002ed7: DUP2
00002ed8: AND
00002ed9: DUP2
00002eda: EQ
00002edb: PUSH2 0x2ee3
00002ede: JUMPI
00002edf: PUSH1 0x00
00002ee1: DUP1
00002ee2: REVERT
00002ee3: JUMPDEST
00002ee4: SWAP5
00002ee5: PUSH1 0x20
00002ee7: SWAP4
00002ee8: SWAP1
00002ee9: SWAP4
00002eea: ADD
00002eeb: CALLDATALOAD
00002eec: SWAP4
00002eed: POP
00002eee: POP
00002eef: POP
00002ef0: JUMP
00002ef1: JUMPDEST
00002ef2: PUSH1 0x00
00002ef4: PUSH1 0x20
00002ef6: DUP3
00002ef7: DUP5
00002ef8: SUB
00002ef9: SLT
00002efa: ISZERO
00002efb: PUSH2 0x2f03
00002efe: JUMPI
00002eff: PUSH1 0x00
00002f01: DUP1
00002f02: REVERT
00002f03: JUMPDEST
00002f04: POP
00002f05: CALLDATALOAD
00002f06: SWAP2
00002f07: SWAP1
00002f08: POP
00002f09: JUMP
00002f0a: JUMPDEST
00002f0b: DUP1
00002f0c: CALLDATALOAD
00002f0d: PUSH1 0x01
00002f0f: PUSH1 0x01
00002f11: PUSH1 0x40
00002f13: SHL
00002f14: SUB
00002f15: DUP2
00002f16: AND
00002f17: DUP2
00002f18: EQ
00002f19: PUSH2 0x2f21
00002f1c: JUMPI
00002f1d: PUSH1 0x00
00002f1f: DUP1
00002f20: REVERT
00002f21: JUMPDEST
00002f22: SWAP2
00002f23: SWAP1
00002f24: POP
00002f25: JUMP
00002f26: JUMPDEST
00002f27: DUP1
00002f28: ISZERO
00002f29: ISZERO
00002f2a: DUP2
00002f2b: EQ
00002f2c: PUSH2 0x1117
00002f2f: JUMPI
00002f30: PUSH1 0x00
00002f32: DUP1
00002f33: REVERT
00002f34: JUMPDEST
00002f35: PUSH1 0x00
00002f37: DUP1
00002f38: PUSH1 0x00
00002f3a: PUSH1 0x60
00002f3c: DUP5
00002f3d: DUP7
00002f3e: SUB
00002f3f: SLT
00002f40: ISZERO
00002f41: PUSH2 0x2f49
00002f44: JUMPI
00002f45: PUSH1 0x00
00002f47: DUP1
00002f48: REVERT
00002f49: JUMPDEST
00002f4a: DUP4
00002f4b: CALLDATALOAD
00002f4c: SWAP3
00002f4d: POP
00002f4e: PUSH2 0x2f59
00002f51: PUSH1 0x20
00002f53: DUP6
00002f54: ADD
00002f55: PUSH2 0x2f0a
00002f58: JUMP
00002f59: JUMPDEST
00002f5a: SWAP2
00002f5b: POP
00002f5c: PUSH1 0x40
00002f5e: DUP5
00002f5f: ADD
00002f60: CALLDATALOAD
00002f61: PUSH2 0x2f69
00002f64: DUP2
00002f65: PUSH2 0x2f26
00002f68: JUMP
00002f69: JUMPDEST
00002f6a: DUP1
00002f6b: SWAP2
00002f6c: POP
00002f6d: POP
00002f6e: SWAP3
00002f6f: POP
00002f70: SWAP3
00002f71: POP
00002f72: SWAP3
00002f73: JUMP
00002f74: JUMPDEST
00002f75: PUSH1 0x01
00002f77: PUSH1 0x01
00002f79: PUSH1 0xa0
00002f7b: SHL
00002f7c: SUB
00002f7d: DUP2
00002f7e: AND
00002f7f: DUP2
00002f80: EQ
00002f81: PUSH2 0x1117
00002f84: JUMPI
00002f85: PUSH1 0x00
00002f87: DUP1
00002f88: REVERT
00002f89: JUMPDEST
00002f8a: PUSH1 0x00
00002f8c: PUSH1 0x20
00002f8e: DUP3
00002f8f: DUP5
00002f90: SUB
00002f91: SLT
00002f92: ISZERO
00002f93: PUSH2 0x2f9b
00002f96: JUMPI
00002f97: PUSH1 0x00
00002f99: DUP1
00002f9a: REVERT
00002f9b: JUMPDEST
00002f9c: DUP2
00002f9d: CALLDATALOAD
00002f9e: PUSH2 0x2ccd
00002fa1: DUP2
00002fa2: PUSH2 0x2f74
00002fa5: JUMP
00002fa6: JUMPDEST
00002fa7: PUSH1 0x00
00002fa9: DUP1
00002faa: PUSH1 0x40
00002fac: DUP4
00002fad: DUP6
00002fae: SUB
00002faf: SLT
00002fb0: ISZERO
00002fb1: PUSH2 0x2fb9
00002fb4: JUMPI
00002fb5: PUSH1 0x00
00002fb7: DUP1
00002fb8: REVERT
00002fb9: JUMPDEST
00002fba: DUP3
00002fbb: CALLDATALOAD
00002fbc: SWAP2
00002fbd: POP
00002fbe: PUSH1 0x20
00002fc0: DUP4
00002fc1: ADD
00002fc2: CALLDATALOAD
00002fc3: PUSH2 0x2fcb
00002fc6: DUP2
00002fc7: PUSH2 0x2f74
00002fca: JUMP
00002fcb: JUMPDEST
00002fcc: DUP1
00002fcd: SWAP2
00002fce: POP
00002fcf: POP
00002fd0: SWAP3
00002fd1: POP
00002fd2: SWAP3
00002fd3: SWAP1
00002fd4: POP
00002fd5: JUMP
00002fd6: JUMPDEST
00002fd7: PUSH1 0x00
00002fd9: PUSH1 0x20
00002fdb: DUP3
00002fdc: DUP5
00002fdd: SUB
00002fde: SLT
00002fdf: ISZERO
00002fe0: PUSH2 0x2fe8
00002fe3: JUMPI
00002fe4: PUSH1 0x00
00002fe6: DUP1
00002fe7: REVERT
00002fe8: JUMPDEST
00002fe9: DUP2
00002fea: CALLDATALOAD
00002feb: PUSH2 0x2ccd
00002fee: DUP2
00002fef: PUSH2 0x2f26
00002ff2: JUMP
00002ff3: JUMPDEST
00002ff4: PUSH1 0x00
00002ff6: DUP1
00002ff7: PUSH1 0x00
00002ff9: DUP1
00002ffa: PUSH1 0x80
00002ffc: DUP6
00002ffd: DUP8
00002ffe: SUB
00002fff: SLT
00003000: ISZERO
00003001: PUSH2 0x3009
00003004: JUMPI
00003005: PUSH1 0x00
00003007: DUP1
00003008: REVERT
00003009: JUMPDEST
0000300a: DUP5
0000300b: CALLDATALOAD
0000300c: PUSH2 0x3014
0000300f: DUP2
00003010: PUSH2 0x2f74
00003013: JUMP
00003014: JUMPDEST
00003015: SWAP7
00003016: PUSH1 0x20
00003018: DUP7
00003019: ADD
0000301a: CALLDATALOAD
0000301b: SWAP7
0000301c: POP
0000301d: PUSH1 0x40
0000301f: DUP7
00003020: ADD
00003021: CALLDATALOAD
00003022: SWAP6
00003023: PUSH1 0x60
00003025: ADD
00003026: CALLDATALOAD
00003027: SWAP5
00003028: POP
00003029: SWAP3
0000302a: POP
0000302b: POP
0000302c: POP
0000302d: JUMP
0000302e: JUMPDEST
0000302f: PUSH1 0x00
00003031: DUP1
00003032: PUSH1 0x40
00003034: DUP4
00003035: DUP6
00003036: SUB
00003037: SLT
00003038: ISZERO
00003039: PUSH2 0x3041
0000303c: JUMPI
0000303d: PUSH1 0x00
0000303f: DUP1
00003040: REVERT
00003041: JUMPDEST
00003042: POP
00003043: POP
00003044: DUP1
00003045: CALLDATALOAD
00003046: SWAP3
00003047: PUSH1 0x20
00003049: SWAP1
0000304a: SWAP2
0000304b: ADD
0000304c: CALLDATALOAD
0000304d: SWAP2
0000304e: POP
0000304f: JUMP
00003050: JUMPDEST
00003051: PUSH1 0x00
00003053: DUP1
00003054: PUSH1 0x00
00003056: PUSH1 0x60
00003058: DUP5
00003059: DUP7
0000305a: SUB
0000305b: SLT
0000305c: ISZERO
0000305d: PUSH2 0x3065
00003060: JUMPI
00003061: PUSH1 0x00
00003063: DUP1
00003064: REVERT
00003065: JUMPDEST
00003066: PUSH2 0x306e
00003069: DUP5
0000306a: PUSH2 0x2f0a
0000306d: JUMP
0000306e: JUMPDEST
0000306f: SWAP3
00003070: POP
00003071: PUSH1 0x20
00003073: DUP5
00003074: ADD
00003075: CALLDATALOAD
00003076: PUSH2 0x2f59
00003079: DUP2
0000307a: PUSH2 0x2f74
0000307d: JUMP
0000307e: JUMPDEST
0000307f: DUP1
00003080: DUP3
00003081: MUL
00003082: DUP2
00003083: ISZERO
00003084: DUP3
00003085: DUP3
00003086: DIV
00003087: DUP5
00003088: EQ
00003089: OR
0000308a: PUSH2 0x1a77
0000308d: JUMPI
0000308e: PUSH2 0x1a77
00003091: PUSH2 0x2e35
00003094: JUMP
00003095: JUMPDEST
00003096: PUSH4 0x4e487b71
0000309b: PUSH1 0xe0
0000309d: SHL
0000309e: PUSH1 0x00
000030a0: MSTORE
000030a1: PUSH1 0x12
000030a3: PUSH1 0x04
000030a5: MSTORE
000030a6: PUSH1 0x24
000030a8: PUSH1 0x00
000030aa: REVERT
000030ab: JUMPDEST
000030ac: PUSH1 0x00
000030ae: DUP3
000030af: PUSH2 0x30ba
000030b2: JUMPI
000030b3: PUSH2 0x30ba
000030b6: PUSH2 0x3095
000030b9: JUMP
000030ba: JUMPDEST
000030bb: POP
000030bc: DIV
000030bd: SWAP1
000030be: JUMP
000030bf: JUMPDEST
000030c0: PUSH1 0x20
000030c2: DUP1
000030c3: DUP3
000030c4: MSTORE
000030c5: PUSH1 0x1f
000030c7: SWAP1
000030c8: DUP3
000030c9: ADD
000030ca: MSTORE
000030cb: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000030ec: PUSH1 0x40
000030ee: DUP3
000030ef: ADD
000030f0: MSTORE
000030f1: PUSH1 0x60
000030f3: ADD
000030f4: SWAP1
000030f5: JUMP
000030f6: JUMPDEST
000030f7: PUSH1 0x00
000030f9: PUSH1 0x20
000030fb: DUP3
000030fc: DUP5
000030fd: SUB
000030fe: SLT
000030ff: ISZERO
00003100: PUSH2 0x3108
00003103: JUMPI
00003104: PUSH1 0x00
00003106: DUP1
00003107: REVERT
00003108: JUMPDEST
00003109: DUP2
0000310a: MLOAD
0000310b: PUSH2 0x2ccd
0000310e: DUP2
0000310f: PUSH2 0x2f26
00003112: JUMP
00003113: JUMPDEST
00003114: PUSH4 0x4e487b71
00003119: PUSH1 0xe0
0000311b: SHL
0000311c: PUSH1 0x00
0000311e: MSTORE
0000311f: PUSH1 0x32
00003121: PUSH1 0x04
00003123: MSTORE
00003124: PUSH1 0x24
00003126: PUSH1 0x00
00003128: REVERT
00003129: JUMPDEST
0000312a: PUSH1 0x00
0000312c: DUP1
0000312d: PUSH1 0x00
0000312f: PUSH1 0x60
00003131: DUP5
00003132: DUP7
00003133: SUB
00003134: SLT
00003135: ISZERO
00003136: PUSH2 0x313e
00003139: JUMPI
0000313a: PUSH1 0x00
0000313c: DUP1
0000313d: REVERT
0000313e: JUMPDEST
0000313f: DUP4
00003140: MLOAD
00003141: SWAP3
00003142: POP
00003143: PUSH1 0x20
00003145: DUP5
00003146: ADD
00003147: MLOAD
00003148: SWAP2
00003149: POP
0000314a: PUSH1 0x40
0000314c: DUP5
0000314d: ADD
0000314e: MLOAD
0000314f: SWAP1
00003150: POP
00003151: SWAP3
00003152: POP
00003153: SWAP3
00003154: POP
00003155: SWAP3
00003156: JUMP
00003157: JUMPDEST
00003158: DUP2
00003159: DUP2
0000315a: SUB
0000315b: DUP2
0000315c: DUP2
0000315d: GT
0000315e: ISZERO
0000315f: PUSH2 0x1a77
00003162: JUMPI
00003163: PUSH2 0x1a77
00003166: PUSH2 0x2e35
00003169: JUMP
0000316a: JUMPDEST
0000316b: PUSH1 0x01
0000316d: PUSH1 0x01
0000316f: PUSH1 0x70
00003171: SHL
00003172: SUB
00003173: DUP2
00003174: DUP2
00003175: AND
00003176: DUP4
00003177: DUP3
00003178: AND
00003179: ADD
0000317a: SWAP1
0000317b: DUP1
0000317c: DUP3
0000317d: GT
0000317e: ISZERO
0000317f: PUSH2 0x318a
00003182: JUMPI
00003183: PUSH2 0x318a
00003186: PUSH2 0x2e35
00003189: JUMP
0000318a: JUMPDEST
0000318b: POP
0000318c: SWAP3
0000318d: SWAP2
0000318e: POP
0000318f: POP
00003190: JUMP
00003191: JUMPDEST
00003192: PUSH1 0x20
00003194: DUP1
00003195: DUP3
00003196: MSTORE
00003197: DUP2
00003198: DUP2
00003199: ADD
0000319a: MSTORE
0000319b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000031bc: PUSH1 0x40
000031be: DUP3
000031bf: ADD
000031c0: MSTORE
000031c1: PUSH1 0x60
000031c3: ADD
000031c4: SWAP1
000031c5: JUMP
000031c6: JUMPDEST
000031c7: PUSH1 0x00
000031c9: PUSH1 0x01
000031cb: DUP3
000031cc: ADD
000031cd: PUSH2 0x31d8
000031d0: JUMPI
000031d1: PUSH2 0x31d8
000031d4: PUSH2 0x2e35
000031d7: JUMP
000031d8: JUMPDEST
000031d9: POP
000031da: PUSH1 0x01
000031dc: ADD
000031dd: SWAP1
000031de: JUMP
000031df: JUMPDEST
000031e0: PUSH1 0x00
000031e2: PUSH1 0x20
000031e4: DUP3
000031e5: DUP5
000031e6: SUB
000031e7: SLT
000031e8: ISZERO
000031e9: PUSH2 0x31f1
000031ec: JUMPI
000031ed: PUSH1 0x00
000031ef: DUP1
000031f0: REVERT
000031f1: JUMPDEST
000031f2: POP
000031f3: MLOAD
000031f4: SWAP2
000031f5: SWAP1
000031f6: POP
000031f7: JUMP
000031f8: JUMPDEST
000031f9: PUSH1 0x01
000031fb: PUSH1 0x01
000031fd: PUSH1 0x70
000031ff: SHL
00003200: SUB
00003201: DUP3
00003202: DUP2
00003203: AND
00003204: DUP3
00003205: DUP3
00003206: AND
00003207: SUB
00003208: SWAP1
00003209: DUP1
0000320a: DUP3
0000320b: GT
0000320c: ISZERO
0000320d: PUSH2 0x318a
00003210: JUMPI
00003211: PUSH2 0x318a
00003214: PUSH2 0x2e35
00003217: JUMP
00003218: JUMPDEST
00003219: PUSH2 0xffff
0000321c: DUP2
0000321d: DUP2
0000321e: AND
0000321f: DUP4
00003220: DUP3
00003221: AND
00003222: ADD
00003223: SWAP1
00003224: DUP1
00003225: DUP3
00003226: GT
00003227: ISZERO
00003228: PUSH2 0x318a
0000322b: JUMPI
0000322c: PUSH2 0x318a
0000322f: PUSH2 0x2e35
00003232: JUMP
00003233: JUMPDEST
00003234: PUSH1 0x01
00003236: PUSH1 0x01
00003238: PUSH1 0x70
0000323a: SHL
0000323b: SUB
0000323c: DUP2
0000323d: DUP2
0000323e: AND
0000323f: DUP4
00003240: DUP3
00003241: AND
00003242: MUL
00003243: DUP1
00003244: DUP3
00003245: AND
00003246: SWAP2
00003247: SWAP1
00003248: DUP3
00003249: DUP2
0000324a: EQ
0000324b: PUSH2 0x3256
0000324e: JUMPI
0000324f: PUSH2 0x3256
00003252: PUSH2 0x2e35
00003255: JUMP
00003256: JUMPDEST
00003257: POP
00003258: POP
00003259: SWAP3
0000325a: SWAP2
0000325b: POP
0000325c: POP
0000325d: JUMP
0000325e: JUMPDEST
0000325f: PUSH1 0x00
00003261: PUSH1 0x01
00003263: PUSH1 0x01
00003265: PUSH1 0x70
00003267: SHL
00003268: SUB
00003269: DUP1
0000326a: DUP5
0000326b: AND
0000326c: DUP1
0000326d: PUSH2 0x3278
00003270: JUMPI
00003271: PUSH2 0x3278
00003274: PUSH2 0x3095
00003277: JUMP
00003278: JUMPDEST
00003279: SWAP3
0000327a: AND
0000327b: SWAP2
0000327c: SWAP1
0000327d: SWAP2
0000327e: DIV
0000327f: SWAP3
00003280: SWAP2
00003281: POP
00003282: POP
00003283: JUMP
00003284: JUMPDEST
00003285: PUSH1 0x00
00003287: PUSH1 0x80
00003289: DUP3
0000328a: ADD
0000328b: DUP7
0000328c: DUP4
0000328d: MSTORE
0000328e: PUSH1 0x20
00003290: PUSH1 0x80
00003292: DUP2
00003293: DUP6
00003294: ADD
00003295: MSTORE
00003296: DUP2
00003297: DUP8
00003298: MLOAD
00003299: DUP1
0000329a: DUP5
0000329b: MSTORE
0000329c: PUSH1 0xa0
0000329e: DUP7
0000329f: ADD
000032a0: SWAP2
000032a1: POP
000032a2: DUP3
000032a3: DUP10
000032a4: ADD
000032a5: SWAP4
000032a6: POP
000032a7: PUSH1 0x00
000032a9: JUMPDEST
000032aa: DUP2
000032ab: DUP2
000032ac: LT
000032ad: ISZERO
000032ae: PUSH2 0x32ce
000032b1: JUMPI
000032b2: DUP5
000032b3: MLOAD
000032b4: PUSH1 0x01
000032b6: PUSH1 0x01
000032b8: PUSH1 0xa0
000032ba: SHL
000032bb: SUB
000032bc: AND
000032bd: DUP4
000032be: MSTORE
000032bf: SWAP4
000032c0: DUP4
000032c1: ADD
000032c2: SWAP4
000032c3: SWAP2
000032c4: DUP4
000032c5: ADD
000032c6: SWAP2
000032c7: PUSH1 0x01
000032c9: ADD
000032ca: PUSH2 0x32a9
000032cd: JUMP
000032ce: JUMPDEST
000032cf: POP
000032d0: POP
000032d1: PUSH1 0x01
000032d3: PUSH1 0x01
000032d5: PUSH1 0xa0
000032d7: SHL
000032d8: SUB
000032d9: SWAP7
000032da: SWAP1
000032db: SWAP7
000032dc: AND
000032dd: PUSH1 0x40
000032df: DUP6
000032e0: ADD
000032e1: MSTORE
000032e2: POP
000032e3: POP
000032e4: POP
000032e5: PUSH1 0x60
000032e7: ADD
000032e8: MSTORE
000032e9: SWAP3
000032ea: SWAP2
000032eb: POP
000032ec: POP
000032ed: JUMP
000032ee: JUMPDEST
000032ef: PUSH1 0x01
000032f1: PUSH1 0x01
000032f3: PUSH1 0x60
000032f5: SHL
000032f6: SUB
000032f7: DUP2
000032f8: DUP2
000032f9: AND
000032fa: DUP4
000032fb: DUP3
000032fc: AND
000032fd: ADD
000032fe: SWAP1
000032ff: DUP1
00003300: DUP3
00003301: GT
00003302: ISZERO
00003303: PUSH2 0x318a
00003306: JUMPI
00003307: PUSH2 0x318a
0000330a: PUSH2 0x2e35
0000330d: JUMP
0000330e: JUMPDEST
0000330f: PUSH1 0x00
00003311: JUMPDEST
00003312: DUP4
00003313: DUP2
00003314: LT
00003315: ISZERO
00003316: PUSH2 0x3329
00003319: JUMPI
0000331a: DUP2
0000331b: DUP2
0000331c: ADD
0000331d: MLOAD
0000331e: DUP4
0000331f: DUP3
00003320: ADD
00003321: MSTORE
00003322: PUSH1 0x20
00003324: ADD
00003325: PUSH2 0x3311
00003328: JUMP
00003329: JUMPDEST
0000332a: POP
0000332b: POP
0000332c: PUSH1 0x00
0000332e: SWAP2
0000332f: ADD
00003330: MSTORE
00003331: JUMP
00003332: JUMPDEST
00003333: PUSH1 0x00
00003335: DUP3
00003336: MLOAD
00003337: PUSH2 0x3344
0000333a: DUP2
0000333b: DUP5
0000333c: PUSH1 0x20
0000333e: DUP8
0000333f: ADD
00003340: PUSH2 0x330e
00003343: JUMP
00003344: JUMPDEST
00003345: SWAP2
00003346: SWAP1
00003347: SWAP2
00003348: ADD
00003349: SWAP3
0000334a: SWAP2
0000334b: POP
0000334c: POP
0000334d: JUMP
0000334e: JUMPDEST
0000334f: PUSH1 0x20
00003351: DUP2
00003352: MSTORE
00003353: PUSH1 0x00
00003355: DUP3
00003356: MLOAD
00003357: DUP1
00003358: PUSH1 0x20
0000335a: DUP5
0000335b: ADD
0000335c: MSTORE
0000335d: PUSH2 0x336d
00003360: DUP2
00003361: PUSH1 0x40
00003363: DUP6
00003364: ADD
00003365: PUSH1 0x20
00003367: DUP8
00003368: ADD
00003369: PUSH2 0x330e
0000336c: JUMP
0000336d: JUMPDEST
0000336e: PUSH1 0x1f
00003370: ADD
00003371: PUSH1 0x1f
00003373: NOT
00003374: AND
00003375: SWAP2
00003376: SWAP1
00003377: SWAP2
00003378: ADD
00003379: PUSH1 0x40
0000337b: ADD
0000337c: SWAP3
0000337d: SWAP2
0000337e: POP
0000337f: POP
00003380: JUMP
00003381: INVALID
00003382: LOG2
00003383: PUSH5 0x6970667358
00003389: UNKNOWN(0x22)
0000338a: SLT
0000338b: KECCAK256
0000338c: PUSH14 0x9f6655fab76d9d484ae665c7ba04
0000339b: UNKNOWN(0xBF)
0000339c: UNKNOWN(0x24)
0000339d: UNKNOWN(0xE5)
0000339e: UNKNOWN(0xCD)
0000339f: UNKNOWN(0x27)
000033a0: ISZERO
000033a1: UNKNOWN(0xF9)
000033a2: UNKNOWN(0xEA)
000033a3: SWAP11
000033a4: SDIV
000033a5: UNKNOWN(0xD2)
000033a6: MSTORE8
000033a7: PUSH2 0xdb37
000033aa: UNKNOWN(0xB0)
000033ab: PUSH14

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: 0x7ec701d9fd3cdb3e9a26c6f0f2ed495f17d1841bf7ef19818ea9a01aa8d7c036
call_targets: 0x5c7a1dda0ad9ef0174b9f22593eb6e0bfa9d546e
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7ec701d9fd3cdb3e9a26c6f0f2ed495f17d1841bf7ef19818ea9a01aa8d7c036",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x5c7a1dda0ad9ef0174b9f22593eb6e0bfa9d546e"
    ],
    "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": "0xcbd258b5",
            "selector": "0xcbd258b5",
            "calldata_variants": [
                "0xcbd258b5",
                "0xcbd258b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd18df53c",
            "selector": "0xd18df53c",
            "calldata_variants": [
                "0xd18df53c",
                "0xd18df53c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd89ea34b",
            "selector": "0xd89ea34b",
            "calldata_variants": [
                "0xd89ea34b",
                "0xd89ea34b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0b37c04",
            "selector": "0xf0b37c04",
            "calldata_variants": [
                "0xf0b37c04",
                "0xf0b37c040000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf887ea40",
            "selector": "0xf887ea40",
            "calldata_variants": [
                "0xf887ea40",
                "0xf887ea400000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaa97b0a0",
            "selector": "0xaa97b0a0",
            "calldata_variants": [
                "0xaa97b0a0",
                "0xaa97b0a00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xad5c4648",
            "selector": "0xad5c4648",
            "calldata_variants": [
                "0xad5c4648",
                "0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2772,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3006,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3099,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 7,
    "guards_detected": [],
    "untrusted_call_count": 7
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x7ec701d9fd3cdb3e9a26c6f0f2ed495f17d1841bf7ef19818ea9a01aa8d7c036
call_targets: 0x5c7a1dda0ad9ef0174b9f22593eb6e0bfa9d546e
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7ec701d9fd3cdb3e9a26c6f0f2ed495f17d1841bf7ef19818ea9a01aa8d7c036",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x5c7a1dda0ad9ef0174b9f22593eb6e0bfa9d546e"
    ],
    "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": "0xcbd258b5",
            "selector": "0xcbd258b5",
            "calldata_variants": [
                "0xcbd258b5",
                "0xcbd258b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd18df53c",
            "selector": "0xd18df53c",
            "calldata_variants": [
                "0xd18df53c",
                "0xd18df53c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd89ea34b",
            "selector": "0xd89ea34b",
            "calldata_variants": [
                "0xd89ea34b",
                "0xd89ea34b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0b37c04",
            "selector": "0xf0b37c04",
            "calldata_variants": [
                "0xf0b37c04",
                "0xf0b37c040000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf887ea40",
            "selector": "0xf887ea40",
            "calldata_variants": [
                "0xf887ea40",
                "0xf887ea400000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaa97b0a0",
            "selector": "0xaa97b0a0",
            "calldata_variants": [
                "0xaa97b0a0",
                "0xaa97b0a00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xad5c4648",
            "selector": "0xad5c4648",
            "calldata_variants": [
                "0xad5c4648",
                "0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2772,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3006,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3099,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 7,
    "guards_detected": []
}