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

Analysis Run

019b477e-c8e4-7113-b22d-35b3c0ef1e04

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
Authorization based on tx.origin
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
26229 artifact.fetch complete 1 / 3 3 months ago
26230 tool.cast_disasm complete 1 / 3 3 months ago
112931 analysis.bundle complete 1 / 3 1 week ago
112932 capability.graph complete 1 / 3 1 week ago
112933 detector.run complete 1 / 3 1 week ago
112934 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
3
EXT*/BALANCE
2
Total opcodes
5036
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 0x01cf
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6352211e
00000019: GT
0000001a: PUSH2 0x00f6
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa082cfd4
00000024: GT
00000025: PUSH2 0x008f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd731de6a
0000002f: GT
00000030: PUSH2 0x0061
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd731de6a
0000003a: EQ
0000003b: PUSH2 0x050f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe985e9c5
00000045: EQ
00000046: PUSH2 0x052f
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0578
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfd19ee1c
0000005b: EQ
0000005c: PUSH2 0x0598
0000005f: JUMPI
00000060: STOP
00000061: JUMPDEST
00000062: DUP1
00000063: PUSH4 0xa082cfd4
00000068: EQ
00000069: PUSH2 0x0499
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0xa22cb465
00000073: EQ
00000074: PUSH2 0x04af
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0xb88d4fde
0000007e: EQ
0000007f: PUSH2 0x04cf
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0xc87b56dd
00000089: EQ
0000008a: PUSH2 0x04ef
0000008d: JUMPI
0000008e: STOP
0000008f: JUMPDEST
00000090: DUP1
00000091: PUSH4 0x8da5cb5b
00000096: GT
00000097: PUSH2 0x00c8
0000009a: JUMPI
0000009b: DUP1
0000009c: PUSH4 0x8da5cb5b
000000a1: EQ
000000a2: PUSH2 0x0436
000000a5: JUMPI
000000a6: DUP1
000000a7: PUSH4 0x95d89b41
000000ac: EQ
000000ad: PUSH2 0x0454
000000b0: JUMPI
000000b1: DUP1
000000b2: PUSH4 0xa01ffdff
000000b7: EQ
000000b8: PUSH2 0x0469
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0xa035b1fe
000000c2: EQ
000000c3: PUSH2 0x0483
000000c6: JUMPI
000000c7: STOP
000000c8: JUMPDEST
000000c9: DUP1
000000ca: PUSH4 0x6352211e
000000cf: EQ
000000d0: PUSH2 0x03c1
000000d3: JUMPI
000000d4: DUP1
000000d5: PUSH4 0x70a08231
000000da: EQ
000000db: PUSH2 0x03e1
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0x715018a6
000000e5: EQ
000000e6: PUSH2 0x0401
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x77c9b28d
000000f0: EQ
000000f1: PUSH2 0x0416
000000f4: JUMPI
000000f5: STOP
000000f6: JUMPDEST
000000f7: DUP1
000000f8: PUSH4 0x2f745c59
000000fd: GT
000000fe: PUSH2 0x0168
00000101: JUMPI
00000102: DUP1
00000103: PUSH4 0x46ec2c75
00000108: GT
00000109: PUSH2 0x013a
0000010c: JUMPI
0000010d: DUP1
0000010e: PUSH4 0x46ec2c75
00000113: EQ
00000114: PUSH2 0x0341
00000117: JUMPI
00000118: DUP1
00000119: PUSH4 0x4acee108
0000011e: EQ
0000011f: PUSH2 0x0361
00000122: JUMPI
00000123: DUP1
00000124: PUSH4 0x4bde206d
00000129: EQ
0000012a: PUSH2 0x0381
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x4f6ccce7
00000134: EQ
00000135: PUSH2 0x03a1
00000138: JUMPI
00000139: STOP
0000013a: JUMPDEST
0000013b: DUP1
0000013c: PUSH4 0x2f745c59
00000141: EQ
00000142: PUSH2 0x02e4
00000145: JUMPI
00000146: DUP1
00000147: PUSH4 0x3232deeb
0000014c: EQ
0000014d: PUSH2 0x0304
00000150: JUMPI
00000151: DUP1
00000152: PUSH4 0x33958a18
00000157: EQ
00000158: PUSH2 0x0319
0000015b: JUMPI
0000015c: DUP1
0000015d: PUSH4 0x42842e0e
00000162: EQ
00000163: PUSH2 0x0321
00000166: JUMPI
00000167: STOP
00000168: JUMPDEST
00000169: DUP1
0000016a: PUSH4 0x1249c58b
0000016f: GT
00000170: PUSH2 0x01a1
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0x1249c58b
0000017a: EQ
0000017b: PUSH2 0x0287
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0x18160ddd
00000185: EQ
00000186: PUSH2 0x028f
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0x1e095495
00000190: EQ
00000191: PUSH2 0x02ae
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0x23b872dd
0000019b: EQ
0000019c: PUSH2 0x02c4
0000019f: JUMPI
000001a0: STOP
000001a1: JUMPDEST
000001a2: DUP1
000001a3: PUSH4 0x01ffc9a7
000001a8: EQ
000001a9: PUSH2 0x01d8
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x06fdde03
000001b3: EQ
000001b4: PUSH2 0x020d
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x081812fc
000001be: EQ
000001bf: PUSH2 0x022f
000001c2: JUMPI
000001c3: DUP1
000001c4: PUSH4 0x095ea7b3
000001c9: EQ
000001ca: PUSH2 0x0267
000001cd: JUMPI
000001ce: STOP
000001cf: JUMPDEST
000001d0: CALLDATASIZE
000001d1: PUSH2 0x01d6
000001d4: JUMPI
000001d5: STOP
000001d6: JUMPDEST
000001d7: STOP
000001d8: JUMPDEST
000001d9: CALLVALUE
000001da: DUP1
000001db: ISZERO
000001dc: PUSH2 0x01e4
000001df: JUMPI
000001e0: PUSH1 0x00
000001e2: DUP1
000001e3: REVERT
000001e4: JUMPDEST
000001e5: POP
000001e6: PUSH2 0x01f8
000001e9: PUSH2 0x01f3
000001ec: CALLDATASIZE
000001ed: PUSH1 0x04
000001ef: PUSH2 0x1d3d
000001f2: JUMP
000001f3: JUMPDEST
000001f4: PUSH2 0x05c5
000001f7: JUMP
000001f8: JUMPDEST
000001f9: PUSH1 0x40
000001fb: MLOAD
000001fc: SWAP1
000001fd: ISZERO
000001fe: ISZERO
000001ff: DUP2
00000200: MSTORE
00000201: PUSH1 0x20
00000203: ADD
00000204: JUMPDEST
00000205: PUSH1 0x40
00000207: MLOAD
00000208: DUP1
00000209: SWAP2
0000020a: SUB
0000020b: SWAP1
0000020c: RETURN
0000020d: JUMPDEST
0000020e: CALLVALUE
0000020f: DUP1
00000210: ISZERO
00000211: PUSH2 0x0219
00000214: JUMPI
00000215: PUSH1 0x00
00000217: DUP1
00000218: REVERT
00000219: JUMPDEST
0000021a: POP
0000021b: PUSH2 0x0222
0000021e: PUSH2 0x0632
00000221: JUMP
00000222: JUMPDEST
00000223: PUSH1 0x40
00000225: MLOAD
00000226: PUSH2 0x0204
00000229: SWAP2
0000022a: SWAP1
0000022b: PUSH2 0x1e6b
0000022e: JUMP
0000022f: JUMPDEST
00000230: CALLVALUE
00000231: DUP1
00000232: ISZERO
00000233: PUSH2 0x023b
00000236: JUMPI
00000237: PUSH1 0x00
00000239: DUP1
0000023a: REVERT
0000023b: JUMPDEST
0000023c: POP
0000023d: PUSH2 0x024f
00000240: PUSH2 0x024a
00000243: CALLDATASIZE
00000244: PUSH1 0x04
00000246: PUSH2 0x1dbb
00000249: JUMP
0000024a: JUMPDEST
0000024b: PUSH2 0x06c4
0000024e: JUMP
0000024f: JUMPDEST
00000250: PUSH1 0x40
00000252: MLOAD
00000253: PUSH1 0x01
00000255: PUSH1 0x01
00000257: PUSH1 0xa0
00000259: SHL
0000025a: SUB
0000025b: SWAP1
0000025c: SWAP2
0000025d: AND
0000025e: DUP2
0000025f: MSTORE
00000260: PUSH1 0x20
00000262: ADD
00000263: PUSH2 0x0204
00000266: JUMP
00000267: JUMPDEST
00000268: CALLVALUE
00000269: DUP1
0000026a: ISZERO
0000026b: PUSH2 0x0273
0000026e: JUMPI
0000026f: PUSH1 0x00
00000271: DUP1
00000272: REVERT
00000273: JUMPDEST
00000274: POP
00000275: PUSH2 0x01d6
00000278: PUSH2 0x0282
0000027b: CALLDATASIZE
0000027c: PUSH1 0x04
0000027e: PUSH2 0x1cfa
00000281: JUMP
00000282: JUMPDEST
00000283: PUSH2 0x0754
00000286: JUMP
00000287: JUMPDEST
00000288: PUSH2 0x01d6
0000028b: PUSH2 0x086c
0000028e: JUMP
0000028f: JUMPDEST
00000290: CALLVALUE
00000291: DUP1
00000292: ISZERO
00000293: PUSH2 0x029b
00000296: JUMPI
00000297: PUSH1 0x00
00000299: DUP1
0000029a: REVERT
0000029b: JUMPDEST
0000029c: POP
0000029d: PUSH1 0x00
0000029f: SLOAD
000002a0: JUMPDEST
000002a1: PUSH1 0x40
000002a3: MLOAD
000002a4: SWAP1
000002a5: DUP2
000002a6: MSTORE
000002a7: PUSH1 0x20
000002a9: ADD
000002aa: PUSH2 0x0204
000002ad: JUMP
000002ae: JUMPDEST
000002af: CALLVALUE
000002b0: DUP1
000002b1: ISZERO
000002b2: PUSH2 0x02ba
000002b5: JUMPI
000002b6: PUSH1 0x00
000002b8: DUP1
000002b9: REVERT
000002ba: JUMPDEST
000002bb: POP
000002bc: PUSH2 0x02a0
000002bf: PUSH1 0x0c
000002c1: SLOAD
000002c2: DUP2
000002c3: JUMP
000002c4: JUMPDEST
000002c5: CALLVALUE
000002c6: DUP1
000002c7: ISZERO
000002c8: PUSH2 0x02d0
000002cb: JUMPI
000002cc: PUSH1 0x00
000002ce: DUP1
000002cf: REVERT
000002d0: JUMPDEST
000002d1: POP
000002d2: PUSH2 0x01d6
000002d5: PUSH2 0x02df
000002d8: CALLDATASIZE
000002d9: PUSH1 0x04
000002db: PUSH2 0x1c1d
000002de: JUMP
000002df: JUMPDEST
000002e0: PUSH2 0x0994
000002e3: JUMP
000002e4: JUMPDEST
000002e5: CALLVALUE
000002e6: DUP1
000002e7: ISZERO
000002e8: PUSH2 0x02f0
000002eb: JUMPI
000002ec: PUSH1 0x00
000002ee: DUP1
000002ef: REVERT
000002f0: JUMPDEST
000002f1: POP
000002f2: PUSH2 0x02a0
000002f5: PUSH2 0x02ff
000002f8: CALLDATASIZE
000002f9: PUSH1 0x04
000002fb: PUSH2 0x1cfa
000002fe: JUMP
000002ff: JUMPDEST
00000300: PUSH2 0x099f
00000303: JUMP
00000304: JUMPDEST
00000305: CALLVALUE
00000306: DUP1
00000307: ISZERO
00000308: PUSH2 0x0310
0000030b: JUMPI
0000030c: PUSH1 0x00
0000030e: DUP1
0000030f: REVERT
00000310: JUMPDEST
00000311: POP
00000312: PUSH2 0x0222
00000315: PUSH2 0x0afc
00000318: JUMP
00000319: JUMPDEST
0000031a: PUSH2 0x01d6
0000031d: PUSH2 0x0b8a
00000320: JUMP
00000321: JUMPDEST
00000322: CALLVALUE
00000323: DUP1
00000324: ISZERO
00000325: PUSH2 0x032d
00000328: JUMPI
00000329: PUSH1 0x00
0000032b: DUP1
0000032c: REVERT
0000032d: JUMPDEST
0000032e: POP
0000032f: PUSH2 0x01d6
00000332: PUSH2 0x033c
00000335: CALLDATASIZE
00000336: PUSH1 0x04
00000338: PUSH2 0x1c1d
0000033b: JUMP
0000033c: JUMPDEST
0000033d: PUSH2 0x0c0c
00000340: JUMP
00000341: JUMPDEST
00000342: CALLVALUE
00000343: DUP1
00000344: ISZERO
00000345: PUSH2 0x034d
00000348: JUMPI
00000349: PUSH1 0x00
0000034b: DUP1
0000034c: REVERT
0000034d: JUMPDEST
0000034e: POP
0000034f: PUSH2 0x01d6
00000352: PUSH2 0x035c
00000355: CALLDATASIZE
00000356: PUSH1 0x04
00000358: PUSH2 0x1dbb
0000035b: JUMP
0000035c: JUMPDEST
0000035d: PUSH2 0x0c27
00000360: JUMP
00000361: JUMPDEST
00000362: CALLVALUE
00000363: DUP1
00000364: ISZERO
00000365: PUSH2 0x036d
00000368: JUMPI
00000369: PUSH1 0x00
0000036b: DUP1
0000036c: REVERT
0000036d: JUMPDEST
0000036e: POP
0000036f: PUSH2 0x01d6
00000372: PUSH2 0x037c
00000375: CALLDATASIZE
00000376: PUSH1 0x04
00000378: PUSH2 0x1cfa
0000037b: JUMP
0000037c: JUMPDEST
0000037d: PUSH2 0x0c56
00000380: JUMP
00000381: JUMPDEST
00000382: CALLVALUE
00000383: DUP1
00000384: ISZERO
00000385: PUSH2 0x038d
00000388: JUMPI
00000389: PUSH1 0x00
0000038b: DUP1
0000038c: REVERT
0000038d: JUMPDEST
0000038e: POP
0000038f: PUSH2 0x01d6
00000392: PUSH2 0x039c
00000395: CALLDATASIZE
00000396: PUSH1 0x04
00000398: PUSH2 0x1d23
0000039b: JUMP
0000039c: JUMPDEST
0000039d: PUSH2 0x0ca5
000003a0: JUMP
000003a1: JUMPDEST
000003a2: CALLVALUE
000003a3: DUP1
000003a4: ISZERO
000003a5: PUSH2 0x03ad
000003a8: JUMPI
000003a9: PUSH1 0x00
000003ab: DUP1
000003ac: REVERT
000003ad: JUMPDEST
000003ae: POP
000003af: PUSH2 0x02a0
000003b2: PUSH2 0x03bc
000003b5: CALLDATASIZE
000003b6: PUSH1 0x04
000003b8: PUSH2 0x1dbb
000003bb: JUMP
000003bc: JUMPDEST
000003bd: PUSH2 0x0ce2
000003c0: JUMP
000003c1: JUMPDEST
000003c2: CALLVALUE
000003c3: DUP1
000003c4: ISZERO
000003c5: PUSH2 0x03cd
000003c8: JUMPI
000003c9: PUSH1 0x00
000003cb: DUP1
000003cc: REVERT
000003cd: JUMPDEST
000003ce: POP
000003cf: PUSH2 0x024f
000003d2: PUSH2 0x03dc
000003d5: CALLDATASIZE
000003d6: PUSH1 0x04
000003d8: PUSH2 0x1dbb
000003db: JUMP
000003dc: JUMPDEST
000003dd: PUSH2 0x0d44
000003e0: JUMP
000003e1: JUMPDEST
000003e2: CALLVALUE
000003e3: DUP1
000003e4: ISZERO
000003e5: PUSH2 0x03ed
000003e8: JUMPI
000003e9: PUSH1 0x00
000003eb: DUP1
000003ec: REVERT
000003ed: JUMPDEST
000003ee: POP
000003ef: PUSH2 0x02a0
000003f2: PUSH2 0x03fc
000003f5: CALLDATASIZE
000003f6: PUSH1 0x04
000003f8: PUSH2 0x1bd1
000003fb: JUMP
000003fc: JUMPDEST
000003fd: PUSH2 0x0d56
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 0x01d6
00000412: PUSH2 0x0de7
00000415: JUMP
00000416: JUMPDEST
00000417: CALLVALUE
00000418: DUP1
00000419: ISZERO
0000041a: PUSH2 0x0422
0000041d: JUMPI
0000041e: PUSH1 0x00
00000420: DUP1
00000421: REVERT
00000422: JUMPDEST
00000423: POP
00000424: PUSH2 0x01d6
00000427: PUSH2 0x0431
0000042a: CALLDATASIZE
0000042b: PUSH1 0x04
0000042d: PUSH2 0x1d75
00000430: JUMP
00000431: JUMPDEST
00000432: PUSH2 0x0e1d
00000435: JUMP
00000436: JUMPDEST
00000437: CALLVALUE
00000438: DUP1
00000439: ISZERO
0000043a: PUSH2 0x0442
0000043d: JUMPI
0000043e: PUSH1 0x00
00000440: DUP1
00000441: REVERT
00000442: JUMPDEST
00000443: POP
00000444: PUSH1 0x07
00000446: SLOAD
00000447: PUSH1 0x01
00000449: PUSH1 0x01
0000044b: PUSH1 0xa0
0000044d: SHL
0000044e: SUB
0000044f: AND
00000450: PUSH2 0x024f
00000453: JUMP
00000454: JUMPDEST
00000455: CALLVALUE
00000456: DUP1
00000457: ISZERO
00000458: PUSH2 0x0460
0000045b: JUMPI
0000045c: PUSH1 0x00
0000045e: DUP1
0000045f: REVERT
00000460: JUMPDEST
00000461: POP
00000462: PUSH2 0x0222
00000465: PUSH2 0x0e5e
00000468: JUMP
00000469: JUMPDEST
0000046a: CALLVALUE
0000046b: DUP1
0000046c: ISZERO
0000046d: PUSH2 0x0475
00000470: JUMPI
00000471: PUSH1 0x00
00000473: DUP1
00000474: REVERT
00000475: JUMPDEST
00000476: POP
00000477: PUSH1 0x0a
00000479: SLOAD
0000047a: PUSH2 0x01f8
0000047d: SWAP1
0000047e: PUSH1 0xff
00000480: AND
00000481: DUP2
00000482: JUMP
00000483: JUMPDEST
00000484: CALLVALUE
00000485: DUP1
00000486: ISZERO
00000487: PUSH2 0x048f
0000048a: JUMPI
0000048b: PUSH1 0x00
0000048d: DUP1
0000048e: REVERT
0000048f: JUMPDEST
00000490: POP
00000491: PUSH2 0x02a0
00000494: PUSH1 0x0d
00000496: SLOAD
00000497: DUP2
00000498: JUMP
00000499: JUMPDEST
0000049a: CALLVALUE
0000049b: DUP1
0000049c: ISZERO
0000049d: PUSH2 0x04a5
000004a0: JUMPI
000004a1: PUSH1 0x00
000004a3: DUP1
000004a4: REVERT
000004a5: JUMPDEST
000004a6: POP
000004a7: PUSH2 0x02a0
000004aa: PUSH1 0x0b
000004ac: SLOAD
000004ad: DUP2
000004ae: JUMP
000004af: JUMPDEST
000004b0: CALLVALUE
000004b1: DUP1
000004b2: ISZERO
000004b3: PUSH2 0x04bb
000004b6: JUMPI
000004b7: PUSH1 0x00
000004b9: DUP1
000004ba: REVERT
000004bb: JUMPDEST
000004bc: POP
000004bd: PUSH2 0x01d6
000004c0: PUSH2 0x04ca
000004c3: CALLDATASIZE
000004c4: PUSH1 0x04
000004c6: PUSH2 0x1cd1
000004c9: JUMP
000004ca: JUMPDEST
000004cb: PUSH2 0x0e6d
000004ce: JUMP
000004cf: JUMPDEST
000004d0: CALLVALUE
000004d1: DUP1
000004d2: ISZERO
000004d3: PUSH2 0x04db
000004d6: JUMPI
000004d7: PUSH1 0x00
000004d9: DUP1
000004da: REVERT
000004db: JUMPDEST
000004dc: POP
000004dd: PUSH2 0x01d6
000004e0: PUSH2 0x04ea
000004e3: CALLDATASIZE
000004e4: PUSH1 0x04
000004e6: PUSH2 0x1c58
000004e9: JUMP
000004ea: JUMPDEST
000004eb: PUSH2 0x0f32
000004ee: JUMP
000004ef: JUMPDEST
000004f0: CALLVALUE
000004f1: DUP1
000004f2: ISZERO
000004f3: PUSH2 0x04fb
000004f6: JUMPI
000004f7: PUSH1 0x00
000004f9: DUP1
000004fa: REVERT
000004fb: JUMPDEST
000004fc: POP
000004fd: PUSH2 0x0222
00000500: PUSH2 0x050a
00000503: CALLDATASIZE
00000504: PUSH1 0x04
00000506: PUSH2 0x1dbb
00000509: JUMP
0000050a: JUMPDEST
0000050b: PUSH2 0x0f6b
0000050e: JUMP
0000050f: JUMPDEST
00000510: CALLVALUE
00000511: DUP1
00000512: ISZERO
00000513: PUSH2 0x051b
00000516: JUMPI
00000517: PUSH1 0x00
00000519: DUP1
0000051a: REVERT
0000051b: JUMPDEST
0000051c: POP
0000051d: PUSH2 0x01d6
00000520: PUSH2 0x052a
00000523: CALLDATASIZE
00000524: PUSH1 0x04
00000526: PUSH2 0x1dbb
00000529: JUMP
0000052a: JUMPDEST
0000052b: PUSH2 0x1039
0000052e: JUMP
0000052f: JUMPDEST
00000530: CALLVALUE
00000531: DUP1
00000532: ISZERO
00000533: PUSH2 0x053b
00000536: JUMPI
00000537: PUSH1 0x00
00000539: DUP1
0000053a: REVERT
0000053b: JUMPDEST
0000053c: POP
0000053d: PUSH2 0x01f8
00000540: PUSH2 0x054a
00000543: CALLDATASIZE
00000544: PUSH1 0x04
00000546: PUSH2 0x1beb
00000549: JUMP
0000054a: JUMPDEST
0000054b: PUSH1 0x01
0000054d: PUSH1 0x01
0000054f: PUSH1 0xa0
00000551: SHL
00000552: SUB
00000553: SWAP2
00000554: DUP3
00000555: AND
00000556: PUSH1 0x00
00000558: SWAP1
00000559: DUP2
0000055a: MSTORE
0000055b: PUSH1 0x06
0000055d: PUSH1 0x20
0000055f: SWAP1
00000560: DUP2
00000561: MSTORE
00000562: PUSH1 0x40
00000564: DUP1
00000565: DUP4
00000566: KECCAK256
00000567: SWAP4
00000568: SWAP1
00000569: SWAP5
0000056a: AND
0000056b: DUP3
0000056c: MSTORE
0000056d: SWAP2
0000056e: SWAP1
0000056f: SWAP2
00000570: MSTORE
00000571: KECCAK256
00000572: SLOAD
00000573: PUSH1 0xff
00000575: AND
00000576: SWAP1
00000577: JUMP
00000578: JUMPDEST
00000579: CALLVALUE
0000057a: DUP1
0000057b: ISZERO
0000057c: PUSH2 0x0584
0000057f: JUMPI
00000580: PUSH1 0x00
00000582: DUP1
00000583: REVERT
00000584: JUMPDEST
00000585: POP
00000586: PUSH2 0x01d6
00000589: PUSH2 0x0593
0000058c: CALLDATASIZE
0000058d: PUSH1 0x04
0000058f: PUSH2 0x1bd1
00000592: JUMP
00000593: JUMPDEST
00000594: PUSH2 0x1068
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 0x02a0
000005a9: PUSH2 0x05b3
000005ac: CALLDATASIZE
000005ad: PUSH1 0x04
000005af: PUSH2 0x1bd1
000005b2: JUMP
000005b3: JUMPDEST
000005b4: PUSH1 0x0e
000005b6: PUSH1 0x20
000005b8: MSTORE
000005b9: PUSH1 0x00
000005bb: SWAP1
000005bc: DUP2
000005bd: MSTORE
000005be: PUSH1 0x40
000005c0: SWAP1
000005c1: KECCAK256
000005c2: SLOAD
000005c3: DUP2
000005c4: JUMP
000005c5: JUMPDEST
000005c6: PUSH1 0x00
000005c8: PUSH1 0x01
000005ca: PUSH1 0x01
000005cc: PUSH1 0xe0
000005ce: SHL
000005cf: SUB
000005d0: NOT
000005d1: DUP3
000005d2: AND
000005d3: PUSH4 0x80ac58cd
000005d8: PUSH1 0xe0
000005da: SHL
000005db: EQ
000005dc: DUP1
000005dd: PUSH2 0x05f6
000005e0: JUMPI
000005e1: POP
000005e2: PUSH1 0x01
000005e4: PUSH1 0x01
000005e6: PUSH1 0xe0
000005e8: SHL
000005e9: SUB
000005ea: NOT
000005eb: DUP3
000005ec: AND
000005ed: PUSH4 0x5b5e139f
000005f2: PUSH1 0xe0
000005f4: SHL
000005f5: EQ
000005f6: JUMPDEST
000005f7: DUP1
000005f8: PUSH2 0x0611
000005fb: JUMPI
000005fc: POP
000005fd: PUSH1 0x01
000005ff: PUSH1 0x01
00000601: PUSH1 0xe0
00000603: SHL
00000604: SUB
00000605: NOT
00000606: DUP3
00000607: AND
00000608: PUSH4 0x780e9d63
0000060d: PUSH1 0xe0
0000060f: SHL
00000610: EQ
00000611: JUMPDEST
00000612: DUP1
00000613: PUSH2 0x062c
00000616: JUMPI
00000617: POP
00000618: PUSH4 0x01ffc9a7
0000061d: PUSH1 0xe0
0000061f: SHL
00000620: PUSH1 0x01
00000622: PUSH1 0x01
00000624: PUSH1 0xe0
00000626: SHL
00000627: SUB
00000628: NOT
00000629: DUP4
0000062a: AND
0000062b: EQ
0000062c: JUMPDEST
0000062d: SWAP3
0000062e: SWAP2
0000062f: POP
00000630: POP
00000631: JUMP
00000632: JUMPDEST
00000633: PUSH1 0x60
00000635: PUSH1 0x01
00000637: DUP1
00000638: SLOAD
00000639: PUSH2 0x0641
0000063c: SWAP1
0000063d: PUSH2 0x1f94
00000640: JUMP
00000641: JUMPDEST
00000642: DUP1
00000643: PUSH1 0x1f
00000645: ADD
00000646: PUSH1 0x20
00000648: DUP1
00000649: SWAP2
0000064a: DIV
0000064b: MUL
0000064c: PUSH1 0x20
0000064e: ADD
0000064f: PUSH1 0x40
00000651: MLOAD
00000652: SWAP1
00000653: DUP2
00000654: ADD
00000655: PUSH1 0x40
00000657: MSTORE
00000658: DUP1
00000659: SWAP3
0000065a: SWAP2
0000065b: SWAP1
0000065c: DUP2
0000065d: DUP2
0000065e: MSTORE
0000065f: PUSH1 0x20
00000661: ADD
00000662: DUP3
00000663: DUP1
00000664: SLOAD
00000665: PUSH2 0x066d
00000668: SWAP1
00000669: PUSH2 0x1f94
0000066c: JUMP
0000066d: JUMPDEST
0000066e: DUP1
0000066f: ISZERO
00000670: PUSH2 0x06ba
00000673: JUMPI
00000674: DUP1
00000675: PUSH1 0x1f
00000677: LT
00000678: PUSH2 0x068f
0000067b: JUMPI
0000067c: PUSH2 0x0100
0000067f: DUP1
00000680: DUP4
00000681: SLOAD
00000682: DIV
00000683: MUL
00000684: DUP4
00000685: MSTORE
00000686: SWAP2
00000687: PUSH1 0x20
00000689: ADD
0000068a: SWAP2
0000068b: PUSH2 0x06ba
0000068e: JUMP
0000068f: JUMPDEST
00000690: DUP3
00000691: ADD
00000692: SWAP2
00000693: SWAP1
00000694: PUSH1 0x00
00000696: MSTORE
00000697: PUSH1 0x20
00000699: PUSH1 0x00
0000069b: KECCAK256
0000069c: SWAP1
0000069d: JUMPDEST
0000069e: DUP2
0000069f: SLOAD
000006a0: DUP2
000006a1: MSTORE
000006a2: SWAP1
000006a3: PUSH1 0x01
000006a5: ADD
000006a6: SWAP1
000006a7: PUSH1 0x20
000006a9: ADD
000006aa: DUP1
000006ab: DUP4
000006ac: GT
000006ad: PUSH2 0x069d
000006b0: JUMPI
000006b1: DUP3
000006b2: SWAP1
000006b3: SUB
000006b4: PUSH1 0x1f
000006b6: AND
000006b7: DUP3
000006b8: ADD
000006b9: SWAP2
000006ba: JUMPDEST
000006bb: POP
000006bc: POP
000006bd: POP
000006be: POP
000006bf: POP
000006c0: SWAP1
000006c1: POP
000006c2: SWAP1
000006c3: JUMP
000006c4: JUMPDEST
000006c5: PUSH1 0x00
000006c7: PUSH2 0x06d1
000006ca: DUP3
000006cb: PUSH1 0x00
000006cd: SLOAD
000006ce: GT
000006cf: SWAP1
000006d0: JUMP
000006d1: JUMPDEST
000006d2: PUSH2 0x0738
000006d5: JUMPI
000006d6: PUSH1 0x40
000006d8: MLOAD
000006d9: PUSH3 0x461bcd
000006dd: PUSH1 0xe5
000006df: SHL
000006e0: DUP2
000006e1: MSTORE
000006e2: PUSH1 0x20
000006e4: PUSH1 0x04
000006e6: DUP3
000006e7: ADD
000006e8: MSTORE
000006e9: PUSH1 0x2d
000006eb: PUSH1 0x24
000006ed: DUP3
000006ee: ADD
000006ef: MSTORE
000006f0: PUSH32 0x455243373231413a20617070726f76656420717565727920666f72206e6f6e65
00000711: PUSH1 0x44
00000713: DUP3
00000714: ADD
00000715: MSTORE
00000716: PUSH13 0x3c34b9ba32b73a103a37b5b2b7
00000724: PUSH1 0x99
00000726: SHL
00000727: PUSH1 0x64
00000729: DUP3
0000072a: ADD
0000072b: MSTORE
0000072c: PUSH1 0x84
0000072e: ADD
0000072f: JUMPDEST
00000730: PUSH1 0x40
00000732: MLOAD
00000733: DUP1
00000734: SWAP2
00000735: SUB
00000736: SWAP1
00000737: REVERT
00000738: JUMPDEST
00000739: POP
0000073a: PUSH1 0x00
0000073c: SWAP1
0000073d: DUP2
0000073e: MSTORE
0000073f: PUSH1 0x05
00000741: PUSH1 0x20
00000743: MSTORE
00000744: PUSH1 0x40
00000746: SWAP1
00000747: KECCAK256
00000748: SLOAD
00000749: PUSH1 0x01
0000074b: PUSH1 0x01
0000074d: PUSH1 0xa0
0000074f: SHL
00000750: SUB
00000751: AND
00000752: SWAP1
00000753: JUMP
00000754: JUMPDEST
00000755: PUSH1 0x00
00000757: PUSH2 0x075f
0000075a: DUP3
0000075b: PUSH2 0x0d44
0000075e: JUMP
0000075f: JUMPDEST
00000760: SWAP1
00000761: POP
00000762: DUP1
00000763: PUSH1 0x01
00000765: PUSH1 0x01
00000767: PUSH1 0xa0
00000769: SHL
0000076a: SUB
0000076b: AND
0000076c: DUP4
0000076d: PUSH1 0x01
0000076f: PUSH1 0x01
00000771: PUSH1 0xa0
00000773: SHL
00000774: SUB
00000775: AND
00000776: EQ
00000777: ISZERO
00000778: PUSH2 0x07ce
0000077b: JUMPI
0000077c: PUSH1 0x40
0000077e: MLOAD
0000077f: PUSH3 0x461bcd
00000783: PUSH1 0xe5
00000785: SHL
00000786: DUP2
00000787: MSTORE
00000788: PUSH1 0x20
0000078a: PUSH1 0x04
0000078c: DUP3
0000078d: ADD
0000078e: MSTORE
0000078f: PUSH1 0x22
00000791: PUSH1 0x24
00000793: DUP3
00000794: ADD
00000795: MSTORE
00000796: PUSH32 0x455243373231413a20617070726f76616c20746f2063757272656e74206f776e
000007b7: PUSH1 0x44
000007b9: DUP3
000007ba: ADD
000007bb: MSTORE
000007bc: PUSH2 0x32b9
000007bf: PUSH1 0xf1
000007c1: SHL
000007c2: PUSH1 0x64
000007c4: DUP3
000007c5: ADD
000007c6: MSTORE
000007c7: PUSH1 0x84
000007c9: ADD
000007ca: PUSH2 0x072f
000007cd: JUMP
000007ce: JUMPDEST
000007cf: CALLER
000007d0: PUSH1 0x01
000007d2: PUSH1 0x01
000007d4: PUSH1 0xa0
000007d6: SHL
000007d7: SUB
000007d8: DUP3
000007d9: AND
000007da: EQ
000007db: DUP1
000007dc: PUSH2 0x07ea
000007df: JUMPI
000007e0: POP
000007e1: PUSH2 0x07ea
000007e4: DUP2
000007e5: CALLER
000007e6: PUSH2 0x054a
000007e9: JUMP
000007ea: JUMPDEST
000007eb: PUSH2 0x085c
000007ee: JUMPI
000007ef: PUSH1 0x40
000007f1: MLOAD
000007f2: PUSH3 0x461bcd
000007f6: PUSH1 0xe5
000007f8: SHL
000007f9: DUP2
000007fa: MSTORE
000007fb: PUSH1 0x20
000007fd: PUSH1 0x04
000007ff: DUP3
00000800: ADD
00000801: MSTORE
00000802: PUSH1 0x39
00000804: PUSH1 0x24
00000806: DUP3
00000807: ADD
00000808: MSTORE
00000809: PUSH32 0x455243373231413a20617070726f76652063616c6c6572206973206e6f74206f
0000082a: PUSH1 0x44
0000082c: DUP3
0000082d: ADD
0000082e: MSTORE
0000082f: PUSH32 0x776e6572206e6f7220617070726f76656420666f7220616c6c00000000000000
00000850: PUSH1 0x64
00000852: DUP3
00000853: ADD
00000854: MSTORE
00000855: PUSH1 0x84
00000857: ADD
00000858: PUSH2 0x072f
0000085b: JUMP
0000085c: JUMPDEST
0000085d: PUSH2 0x0867
00000860: DUP4
00000861: DUP4
00000862: DUP4
00000863: PUSH2 0x1100
00000866: JUMP
00000867: JUMPDEST
00000868: POP
00000869: POP
0000086a: POP
0000086b: JUMP
0000086c: JUMPDEST
0000086d: PUSH1 0x02
0000086f: PUSH1 0x08
00000871: SLOAD
00000872: EQ
00000873: ISZERO
00000874: PUSH2 0x08bf
00000877: JUMPI
00000878: PUSH1 0x40
0000087a: MLOAD
0000087b: PUSH3 0x461bcd
0000087f: PUSH1 0xe5
00000881: SHL
00000882: DUP2
00000883: MSTORE
00000884: PUSH1 0x20
00000886: PUSH1 0x04
00000888: DUP3
00000889: ADD
0000088a: MSTORE
0000088b: PUSH1 0x1f
0000088d: PUSH1 0x24
0000088f: DUP3
00000890: ADD
00000891: MSTORE
00000892: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000008b3: PUSH1 0x44
000008b5: DUP3
000008b6: ADD
000008b7: MSTORE
000008b8: PUSH1 0x64
000008ba: ADD
000008bb: PUSH2 0x072f
000008be: JUMP
000008bf: JUMPDEST
000008c0: PUSH1 0x02
000008c2: PUSH1 0x08
000008c4: SSTORE
000008c5: PUSH1 0x0c
000008c7: SLOAD
000008c8: PUSH1 0x0d
000008ca: SLOAD
000008cb: PUSH1 0x00
000008cd: SWAP2
000008ce: PUSH2 0x08d6
000008d1: SWAP2
000008d2: PUSH2 0x1f32
000008d5: JUMP
000008d6: JUMPDEST
000008d7: SWAP1
000008d8: POP
000008d9: DUP1
000008da: CALLVALUE
000008db: LT
000008dc: ISZERO
000008dd: PUSH2 0x08e5
000008e0: JUMPI
000008e1: PUSH1 0x00
000008e3: DUP1
000008e4: REVERT
000008e5: JUMPDEST
000008e6: PUSH1 0x0d
000008e8: SLOAD
000008e9: CALLVALUE
000008ea: GT
000008eb: ISZERO
000008ec: PUSH2 0x0902
000008ef: JUMPI
000008f0: PUSH2 0x0902
000008f3: CALLER
000008f4: PUSH2 0x08fd
000008f7: DUP4
000008f8: CALLVALUE
000008f9: PUSH2 0x1f51
000008fc: JUMP
000008fd: JUMPDEST
000008fe: PUSH2 0x115c
00000901: JUMP
00000902: JUMPDEST
00000903: PUSH1 0x00
00000905: SLOAD
00000906: PUSH1 0x0a
00000908: SLOAD
00000909: PUSH1 0xff
0000090b: AND
0000090c: PUSH2 0x0914
0000090f: JUMPI
00000910: PUSH1 0x00
00000912: DUP1
00000913: REVERT
00000914: JUMPDEST
00000915: PUSH1 0x0b
00000917: SLOAD
00000918: PUSH1 0x0c
0000091a: SLOAD
0000091b: PUSH2 0x0924
0000091e: SWAP1
0000091f: DUP4
00000920: PUSH2 0x1f06
00000923: JUMP
00000924: JUMPDEST
00000925: GT
00000926: ISZERO
00000927: PUSH2 0x092f
0000092a: JUMPI
0000092b: PUSH1 0x00
0000092d: DUP1
0000092e: REVERT
0000092f: JUMPDEST
00000930: CALLER
00000931: ORIGIN
00000932: EQ
00000933: PUSH2 0x093b
00000936: JUMPI
00000937: PUSH1 0x00
00000939: DUP1
0000093a: REVERT
0000093b: JUMPDEST
0000093c: PUSH1 0x0c
0000093e: SLOAD
0000093f: CALLER
00000940: PUSH1 0x00
00000942: SWAP1
00000943: DUP2
00000944: MSTORE
00000945: PUSH1 0x0e
00000947: PUSH1 0x20
00000949: MSTORE
0000094a: PUSH1 0x40
0000094c: SWAP1
0000094d: KECCAK256
0000094e: SLOAD
0000094f: LT
00000950: PUSH2 0x0958
00000953: JUMPI
00000954: PUSH1 0x00
00000956: DUP1
00000957: REVERT
00000958: JUMPDEST
00000959: PUSH2 0x0964
0000095c: CALLER
0000095d: PUSH1 0x0c
0000095f: SLOAD
00000960: PUSH2 0x1275
00000963: JUMP
00000964: JUMPDEST
00000965: PUSH1 0x0c
00000967: SLOAD
00000968: CALLER
00000969: PUSH1 0x00
0000096b: SWAP1
0000096c: DUP2
0000096d: MSTORE
0000096e: PUSH1 0x0e
00000970: PUSH1 0x20
00000972: MSTORE
00000973: PUSH1 0x40
00000975: DUP2
00000976: KECCAK256
00000977: DUP1
00000978: SLOAD
00000979: SWAP1
0000097a: SWAP2
0000097b: SWAP1
0000097c: PUSH2 0x0986
0000097f: SWAP1
00000980: DUP5
00000981: SWAP1
00000982: PUSH2 0x1f06
00000985: JUMP
00000986: JUMPDEST
00000987: SWAP1
00000988: SWAP2
00000989: SSTORE
0000098a: POP
0000098b: POP
0000098c: PUSH1 0x01
0000098e: PUSH1 0x08
00000990: SSTORE
00000991: POP
00000992: POP
00000993: JUMP
00000994: JUMPDEST
00000995: PUSH2 0x0867
00000998: DUP4
00000999: DUP4
0000099a: DUP4
0000099b: PUSH2 0x128f
0000099e: JUMP
0000099f: JUMPDEST
000009a0: PUSH1 0x00
000009a2: PUSH2 0x09aa
000009a5: DUP4
000009a6: PUSH2 0x0d56
000009a9: JUMP
000009aa: JUMPDEST
000009ab: DUP3
000009ac: LT
000009ad: PUSH2 0x0a03
000009b0: JUMPI
000009b1: PUSH1 0x40
000009b3: MLOAD
000009b4: PUSH3 0x461bcd
000009b8: PUSH1 0xe5
000009ba: SHL
000009bb: DUP2
000009bc: MSTORE
000009bd: PUSH1 0x20
000009bf: PUSH1 0x04
000009c1: DUP3
000009c2: ADD
000009c3: MSTORE
000009c4: PUSH1 0x22
000009c6: PUSH1 0x24
000009c8: DUP3
000009c9: ADD
000009ca: MSTORE
000009cb: PUSH32 0x455243373231413a206f776e657220696e646578206f7574206f6620626f756e
000009ec: PUSH1 0x44
000009ee: DUP3
000009ef: ADD
000009f0: MSTORE
000009f1: PUSH2 0x6473
000009f4: PUSH1 0xf0
000009f6: SHL
000009f7: PUSH1 0x64
000009f9: DUP3
000009fa: ADD
000009fb: MSTORE
000009fc: PUSH1 0x84
000009fe: ADD
000009ff: PUSH2 0x072f
00000a02: JUMP
00000a03: JUMPDEST
00000a04: PUSH1 0x00
00000a06: DUP1
00000a07: SLOAD
00000a08: SWAP1
00000a09: DUP1
00000a0a: DUP1
00000a0b: JUMPDEST
00000a0c: DUP4
00000a0d: DUP2
00000a0e: LT
00000a0f: ISZERO
00000a10: PUSH2 0x0a9c
00000a13: JUMPI
00000a14: PUSH1 0x00
00000a16: DUP2
00000a17: DUP2
00000a18: MSTORE
00000a19: PUSH1 0x03
00000a1b: PUSH1 0x20
00000a1d: SWAP1
00000a1e: DUP2
00000a1f: MSTORE
00000a20: PUSH1 0x40
00000a22: SWAP2
00000a23: DUP3
00000a24: SWAP1
00000a25: KECCAK256
00000a26: DUP3
00000a27: MLOAD
00000a28: DUP1
00000a29: DUP5
00000a2a: ADD
00000a2b: SWAP1
00000a2c: SWAP4
00000a2d: MSTORE
00000a2e: SLOAD
00000a2f: PUSH1 0x01
00000a31: PUSH1 0x01
00000a33: PUSH1 0xa0
00000a35: SHL
00000a36: SUB
00000a37: DUP2
00000a38: AND
00000a39: DUP1
00000a3a: DUP5
00000a3b: MSTORE
00000a3c: PUSH1 0x01
00000a3e: PUSH1 0xa0
00000a40: SHL
00000a41: SWAP1
00000a42: SWAP2
00000a43: DIV
00000a44: PUSH8 0xffffffffffffffff
00000a4d: AND
00000a4e: SWAP2
00000a4f: DUP4
00000a50: ADD
00000a51: SWAP2
00000a52: SWAP1
00000a53: SWAP2
00000a54: MSTORE
00000a55: ISZERO
00000a56: PUSH2 0x0a5e
00000a59: JUMPI
00000a5a: DUP1
00000a5b: MLOAD
00000a5c: SWAP3
00000a5d: POP
00000a5e: JUMPDEST
00000a5f: DUP8
00000a60: PUSH1 0x01
00000a62: PUSH1 0x01
00000a64: PUSH1 0xa0
00000a66: SHL
00000a67: SUB
00000a68: AND
00000a69: DUP4
00000a6a: PUSH1 0x01
00000a6c: PUSH1 0x01
00000a6e: PUSH1 0xa0
00000a70: SHL
00000a71: SUB
00000a72: AND
00000a73: EQ
00000a74: ISZERO
00000a75: PUSH2 0x0a93
00000a78: JUMPI
00000a79: DUP7
00000a7a: DUP5
00000a7b: EQ
00000a7c: ISZERO
00000a7d: PUSH2 0x0a8c
00000a80: JUMPI
00000a81: POP
00000a82: SWAP4
00000a83: POP
00000a84: PUSH2 0x062c
00000a87: SWAP3
00000a88: POP
00000a89: POP
00000a8a: POP
00000a8b: JUMP
00000a8c: JUMPDEST
00000a8d: PUSH1 0x01
00000a8f: SWAP1
00000a90: SWAP4
00000a91: ADD
00000a92: SWAP3
00000a93: JUMPDEST
00000a94: POP
00000a95: PUSH1 0x01
00000a97: ADD
00000a98: PUSH2 0x0a0b
00000a9b: JUMP
00000a9c: JUMPDEST
00000a9d: POP
00000a9e: PUSH1 0x40
00000aa0: MLOAD
00000aa1: PUSH3 0x461bcd
00000aa5: PUSH1 0xe5
00000aa7: SHL
00000aa8: DUP2
00000aa9: MSTORE
00000aaa: PUSH1 0x20
00000aac: PUSH1 0x04
00000aae: DUP3
00000aaf: ADD
00000ab0: MSTORE
00000ab1: PUSH1 0x2e
00000ab3: PUSH1 0x24
00000ab5: DUP3
00000ab6: ADD
00000ab7: MSTORE
00000ab8: PUSH32 0x455243373231413a20756e61626c6520746f2067657420746f6b656e206f6620
00000ad9: PUSH1 0x44
00000adb: DUP3
00000adc: ADD
00000add: MSTORE
00000ade: PUSH14 0x0deeedccae440c4f240d2dcc8caf
00000aed: PUSH1 0x93
00000aef: SHL
00000af0: PUSH1 0x64
00000af2: DUP3
00000af3: ADD
00000af4: MSTORE
00000af5: PUSH1 0x84
00000af7: ADD
00000af8: PUSH2 0x072f
00000afb: JUMP
00000afc: JUMPDEST
00000afd: PUSH1 0x09
00000aff: DUP1
00000b00: SLOAD
00000b01: PUSH2 0x0b09
00000b04: SWAP1
00000b05: PUSH2 0x1f94
00000b08: JUMP
00000b09: JUMPDEST
00000b0a: DUP1
00000b0b: PUSH1 0x1f
00000b0d: ADD
00000b0e: PUSH1 0x20
00000b10: DUP1
00000b11: SWAP2
00000b12: DIV
00000b13: MUL
00000b14: PUSH1 0x20
00000b16: ADD
00000b17: PUSH1 0x40
00000b19: MLOAD
00000b1a: SWAP1
00000b1b: DUP2
00000b1c: ADD
00000b1d: PUSH1 0x40
00000b1f: MSTORE
00000b20: DUP1
00000b21: SWAP3
00000b22: SWAP2
00000b23: SWAP1
00000b24: DUP2
00000b25: DUP2
00000b26: MSTORE
00000b27: PUSH1 0x20
00000b29: ADD
00000b2a: DUP3
00000b2b: DUP1
00000b2c: SLOAD
00000b2d: PUSH2 0x0b35
00000b30: SWAP1
00000b31: PUSH2 0x1f94
00000b34: JUMP
00000b35: JUMPDEST
00000b36: DUP1
00000b37: ISZERO
00000b38: PUSH2 0x0b82
00000b3b: JUMPI
00000b3c: DUP1
00000b3d: PUSH1 0x1f
00000b3f: LT
00000b40: PUSH2 0x0b57
00000b43: JUMPI
00000b44: PUSH2 0x0100
00000b47: DUP1
00000b48: DUP4
00000b49: SLOAD
00000b4a: DIV
00000b4b: MUL
00000b4c: DUP4
00000b4d: MSTORE
00000b4e: SWAP2
00000b4f: PUSH1 0x20
00000b51: ADD
00000b52: SWAP2
00000b53: PUSH2 0x0b82
00000b56: JUMP
00000b57: JUMPDEST
00000b58: DUP3
00000b59: ADD
00000b5a: SWAP2
00000b5b: SWAP1
00000b5c: PUSH1 0x00
00000b5e: MSTORE
00000b5f: PUSH1 0x20
00000b61: PUSH1 0x00
00000b63: KECCAK256
00000b64: SWAP1
00000b65: JUMPDEST
00000b66: DUP2
00000b67: SLOAD
00000b68: DUP2
00000b69: MSTORE
00000b6a: SWAP1
00000b6b: PUSH1 0x01
00000b6d: ADD
00000b6e: SWAP1
00000b6f: PUSH1 0x20
00000b71: ADD
00000b72: DUP1
00000b73: DUP4
00000b74: GT
00000b75: PUSH2 0x0b65
00000b78: JUMPI
00000b79: DUP3
00000b7a: SWAP1
00000b7b: SUB
00000b7c: PUSH1 0x1f
00000b7e: AND
00000b7f: DUP3
00000b80: ADD
00000b81: SWAP2
00000b82: JUMPDEST
00000b83: POP
00000b84: POP
00000b85: POP
00000b86: POP
00000b87: POP
00000b88: DUP2
00000b89: JUMP
00000b8a: JUMPDEST
00000b8b: PUSH1 0x07
00000b8d: SLOAD
00000b8e: PUSH1 0x01
00000b90: PUSH1 0x01
00000b92: PUSH1 0xa0
00000b94: SHL
00000b95: SUB
00000b96: AND
00000b97: CALLER
00000b98: EQ
00000b99: PUSH2 0x0bb4
00000b9c: JUMPI
00000b9d: PUSH1 0x40
00000b9f: MLOAD
00000ba0: PUSH3 0x461bcd
00000ba4: PUSH1 0xe5
00000ba6: SHL
00000ba7: DUP2
00000ba8: MSTORE
00000ba9: PUSH1 0x04
00000bab: ADD
00000bac: PUSH2 0x072f
00000baf: SWAP1
00000bb0: PUSH2 0x1e7e
00000bb3: JUMP
00000bb4: JUMPDEST
00000bb5: PUSH1 0x40
00000bb7: MLOAD
00000bb8: PUSH1 0x00
00000bba: SWAP1
00000bbb: CALLER
00000bbc: SWAP1
00000bbd: SELFBALANCE
00000bbe: SWAP1
00000bbf: DUP4
00000bc0: DUP2
00000bc1: DUP2
00000bc2: DUP2
00000bc3: DUP6
00000bc4: DUP8
00000bc5: GAS
00000bc6: CALL
00000bc7: SWAP3
00000bc8: POP
00000bc9: POP
00000bca: POP
00000bcb: RETURNDATASIZE
00000bcc: DUP1
00000bcd: PUSH1 0x00
00000bcf: DUP2
00000bd0: EQ
00000bd1: PUSH2 0x0bf6
00000bd4: JUMPI
00000bd5: PUSH1 0x40
00000bd7: MLOAD
00000bd8: SWAP2
00000bd9: POP
00000bda: PUSH1 0x1f
00000bdc: NOT
00000bdd: PUSH1 0x3f
00000bdf: RETURNDATASIZE
00000be0: ADD
00000be1: AND
00000be2: DUP3
00000be3: ADD
00000be4: PUSH1 0x40
00000be6: MSTORE
00000be7: RETURNDATASIZE
00000be8: DUP3
00000be9: MSTORE
00000bea: RETURNDATASIZE
00000beb: PUSH1 0x00
00000bed: PUSH1 0x20
00000bef: DUP5
00000bf0: ADD
00000bf1: RETURNDATACOPY
00000bf2: PUSH2 0x0bfb
00000bf5: JUMP
00000bf6: JUMPDEST
00000bf7: PUSH1 0x60
00000bf9: SWAP2
00000bfa: POP
00000bfb: JUMPDEST
00000bfc: POP
00000bfd: POP
00000bfe: SWAP1
00000bff: POP
00000c00: DUP1
00000c01: PUSH2 0x0c09
00000c04: JUMPI
00000c05: PUSH1 0x00
00000c07: DUP1
00000c08: REVERT
00000c09: JUMPDEST
00000c0a: POP
00000c0b: JUMP
00000c0c: JUMPDEST
00000c0d: PUSH2 0x0867
00000c10: DUP4
00000c11: DUP4
00000c12: DUP4
00000c13: PUSH1 0x40
00000c15: MLOAD
00000c16: DUP1
00000c17: PUSH1 0x20
00000c19: ADD
00000c1a: PUSH1 0x40
00000c1c: MSTORE
00000c1d: DUP1
00000c1e: PUSH1 0x00
00000c20: DUP2
00000c21: MSTORE
00000c22: POP
00000c23: PUSH2 0x0f32
00000c26: JUMP
00000c27: JUMPDEST
00000c28: PUSH1 0x07
00000c2a: SLOAD
00000c2b: PUSH1 0x01
00000c2d: PUSH1 0x01
00000c2f: PUSH1 0xa0
00000c31: SHL
00000c32: SUB
00000c33: AND
00000c34: CALLER
00000c35: EQ
00000c36: PUSH2 0x0c51
00000c39: JUMPI
00000c3a: PUSH1 0x40
00000c3c: MLOAD
00000c3d: PUSH3 0x461bcd
00000c41: PUSH1 0xe5
00000c43: SHL
00000c44: DUP2
00000c45: MSTORE
00000c46: PUSH1 0x04
00000c48: ADD
00000c49: PUSH2 0x072f
00000c4c: SWAP1
00000c4d: PUSH2 0x1e7e
00000c50: JUMP
00000c51: JUMPDEST
00000c52: PUSH1 0x0c
00000c54: SSTORE
00000c55: JUMP
00000c56: JUMPDEST
00000c57: PUSH1 0x07
00000c59: SLOAD
00000c5a: PUSH1 0x01
00000c5c: PUSH1 0x01
00000c5e: PUSH1 0xa0
00000c60: SHL
00000c61: SUB
00000c62: AND
00000c63: CALLER
00000c64: EQ
00000c65: PUSH2 0x0c80
00000c68: JUMPI
00000c69: PUSH1 0x40
00000c6b: MLOAD
00000c6c: PUSH3 0x461bcd
00000c70: PUSH1 0xe5
00000c72: SHL
00000c73: DUP2
00000c74: MSTORE
00000c75: PUSH1 0x04
00000c77: ADD
00000c78: PUSH2 0x072f
00000c7b: SWAP1
00000c7c: PUSH2 0x1e7e
00000c7f: JUMP
00000c80: JUMPDEST
00000c81: PUSH1 0x00
00000c83: SLOAD
00000c84: PUSH1 0x0b
00000c86: SLOAD
00000c87: PUSH2 0x0c90
00000c8a: DUP4
00000c8b: DUP4
00000c8c: PUSH2 0x1f06
00000c8f: JUMP
00000c90: JUMPDEST
00000c91: GT
00000c92: ISZERO
00000c93: PUSH2 0x0c9b
00000c96: JUMPI
00000c97: PUSH1 0x00
00000c99: DUP1
00000c9a: REVERT
00000c9b: JUMPDEST
00000c9c: PUSH2 0x0867
00000c9f: DUP4
00000ca0: DUP4
00000ca1: PUSH2 0x1275
00000ca4: JUMP
00000ca5: JUMPDEST
00000ca6: PUSH1 0x07
00000ca8: SLOAD
00000ca9: PUSH1 0x01
00000cab: PUSH1 0x01
00000cad: PUSH1 0xa0
00000caf: SHL
00000cb0: SUB
00000cb1: AND
00000cb2: CALLER
00000cb3: EQ
00000cb4: PUSH2 0x0ccf
00000cb7: JUMPI
00000cb8: PUSH1 0x40
00000cba: MLOAD
00000cbb: PUSH3 0x461bcd
00000cbf: PUSH1 0xe5
00000cc1: SHL
00000cc2: DUP2
00000cc3: MSTORE
00000cc4: PUSH1 0x04
00000cc6: ADD
00000cc7: PUSH2 0x072f
00000cca: SWAP1
00000ccb: PUSH2 0x1e7e
00000cce: JUMP
00000ccf: JUMPDEST
00000cd0: PUSH1 0x0a
00000cd2: DUP1
00000cd3: SLOAD
00000cd4: PUSH1 0xff
00000cd6: NOT
00000cd7: AND
00000cd8: SWAP2
00000cd9: ISZERO
00000cda: ISZERO
00000cdb: SWAP2
00000cdc: SWAP1
00000cdd: SWAP2
00000cde: OR
00000cdf: SWAP1
00000ce0: SSTORE
00000ce1: JUMP
00000ce2: JUMPDEST
00000ce3: PUSH1 0x00
00000ce5: DUP1
00000ce6: SLOAD
00000ce7: DUP3
00000ce8: LT
00000ce9: PUSH2 0x0d40
00000cec: JUMPI
00000ced: PUSH1 0x40
00000cef: MLOAD
00000cf0: PUSH3 0x461bcd
00000cf4: PUSH1 0xe5
00000cf6: SHL
00000cf7: DUP2
00000cf8: MSTORE
00000cf9: PUSH1 0x20
00000cfb: PUSH1 0x04
00000cfd: DUP3
00000cfe: ADD
00000cff: MSTORE
00000d00: PUSH1 0x23
00000d02: PUSH1 0x24
00000d04: DUP3
00000d05: ADD
00000d06: MSTORE
00000d07: PUSH32 0x455243373231413a20676c6f62616c20696e646578206f7574206f6620626f75
00000d28: PUSH1 0x44
00000d2a: DUP3
00000d2b: ADD
00000d2c: MSTORE
00000d2d: PUSH3 0x6e6473
00000d31: PUSH1 0xe8
00000d33: SHL
00000d34: PUSH1 0x64
00000d36: DUP3
00000d37: ADD
00000d38: MSTORE
00000d39: PUSH1 0x84
00000d3b: ADD
00000d3c: PUSH2 0x072f
00000d3f: JUMP
00000d40: JUMPDEST
00000d41: POP
00000d42: SWAP1
00000d43: JUMP
00000d44: JUMPDEST
00000d45: PUSH1 0x00
00000d47: PUSH2 0x0d4f
00000d4a: DUP3
00000d4b: PUSH2 0x1574
00000d4e: JUMP
00000d4f: JUMPDEST
00000d50: MLOAD
00000d51: SWAP3
00000d52: SWAP2
00000d53: POP
00000d54: POP
00000d55: JUMP
00000d56: JUMPDEST
00000d57: PUSH1 0x00
00000d59: PUSH1 0x01
00000d5b: PUSH1 0x01
00000d5d: PUSH1 0xa0
00000d5f: SHL
00000d60: SUB
00000d61: DUP3
00000d62: AND
00000d63: PUSH2 0x0dc2
00000d66: JUMPI
00000d67: PUSH1 0x40
00000d69: MLOAD
00000d6a: PUSH3 0x461bcd
00000d6e: PUSH1 0xe5
00000d70: SHL
00000d71: DUP2
00000d72: MSTORE
00000d73: PUSH1 0x20
00000d75: PUSH1 0x04
00000d77: DUP3
00000d78: ADD
00000d79: MSTORE
00000d7a: PUSH1 0x2b
00000d7c: PUSH1 0x24
00000d7e: DUP3
00000d7f: ADD
00000d80: MSTORE
00000d81: PUSH32 0x455243373231413a2062616c616e636520717565727920666f7220746865207a
00000da2: PUSH1 0x44
00000da4: DUP3
00000da5: ADD
00000da6: MSTORE
00000da7: PUSH11 0x65726f2061646472657373
00000db3: PUSH1 0xa8
00000db5: SHL
00000db6: PUSH1 0x64
00000db8: DUP3
00000db9: ADD
00000dba: MSTORE
00000dbb: PUSH1 0x84
00000dbd: ADD
00000dbe: PUSH2 0x072f
00000dc1: JUMP
00000dc2: JUMPDEST
00000dc3: POP
00000dc4: PUSH1 0x01
00000dc6: PUSH1 0x01
00000dc8: PUSH1 0xa0
00000dca: SHL
00000dcb: SUB
00000dcc: AND
00000dcd: PUSH1 0x00
00000dcf: SWAP1
00000dd0: DUP2
00000dd1: MSTORE
00000dd2: PUSH1 0x04
00000dd4: PUSH1 0x20
00000dd6: MSTORE
00000dd7: PUSH1 0x40
00000dd9: SWAP1
00000dda: KECCAK256
00000ddb: SLOAD
00000ddc: PUSH1 0x01
00000dde: PUSH1 0x01
00000de0: PUSH1 0x80
00000de2: SHL
00000de3: SUB
00000de4: AND
00000de5: SWAP1
00000de6: JUMP
00000de7: JUMPDEST
00000de8: PUSH1 0x07
00000dea: SLOAD
00000deb: PUSH1 0x01
00000ded: PUSH1 0x01
00000def: PUSH1 0xa0
00000df1: SHL
00000df2: SUB
00000df3: AND
00000df4: CALLER
00000df5: EQ
00000df6: PUSH2 0x0e11
00000df9: JUMPI
00000dfa: PUSH1 0x40
00000dfc: MLOAD
00000dfd: PUSH3 0x461bcd
00000e01: PUSH1 0xe5
00000e03: SHL
00000e04: DUP2
00000e05: MSTORE
00000e06: PUSH1 0x04
00000e08: ADD
00000e09: PUSH2 0x072f
00000e0c: SWAP1
00000e0d: PUSH2 0x1e7e
00000e10: JUMP
00000e11: JUMPDEST
00000e12: PUSH2 0x0e1b
00000e15: PUSH1 0x00
00000e17: PUSH2 0x164b
00000e1a: JUMP
00000e1b: JUMPDEST
00000e1c: JUMP
00000e1d: JUMPDEST
00000e1e: PUSH1 0x07
00000e20: SLOAD
00000e21: PUSH1 0x01
00000e23: PUSH1 0x01
00000e25: PUSH1 0xa0
00000e27: SHL
00000e28: SUB
00000e29: AND
00000e2a: CALLER
00000e2b: EQ
00000e2c: PUSH2 0x0e47
00000e2f: JUMPI
00000e30: PUSH1 0x40
00000e32: MLOAD
00000e33: PUSH3 0x461bcd
00000e37: PUSH1 0xe5
00000e39: SHL
00000e3a: DUP2
00000e3b: MSTORE
00000e3c: PUSH1 0x04
00000e3e: ADD
00000e3f: PUSH2 0x072f
00000e42: SWAP1
00000e43: PUSH2 0x1e7e
00000e46: JUMP
00000e47: JUMPDEST
00000e48: DUP1
00000e49: MLOAD
00000e4a: PUSH2 0x0e5a
00000e4d: SWAP1
00000e4e: PUSH1 0x09
00000e50: SWAP1
00000e51: PUSH1 0x20
00000e53: DUP5
00000e54: ADD
00000e55: SWAP1
00000e56: PUSH2 0x1a9f
00000e59: JUMP
00000e5a: JUMPDEST
00000e5b: POP
00000e5c: POP
00000e5d: JUMP
00000e5e: JUMPDEST
00000e5f: PUSH1 0x60
00000e61: PUSH1 0x02
00000e63: DUP1
00000e64: SLOAD
00000e65: PUSH2 0x0641
00000e68: SWAP1
00000e69: PUSH2 0x1f94
00000e6c: JUMP
00000e6d: JUMPDEST
00000e6e: PUSH1 0x01
00000e70: PUSH1 0x01
00000e72: PUSH1 0xa0
00000e74: SHL
00000e75: SUB
00000e76: DUP3
00000e77: AND
00000e78: CALLER
00000e79: EQ
00000e7a: ISZERO
00000e7b: PUSH2 0x0ec6
00000e7e: JUMPI
00000e7f: PUSH1 0x40
00000e81: MLOAD
00000e82: PUSH3 0x461bcd
00000e86: PUSH1 0xe5
00000e88: SHL
00000e89: DUP2
00000e8a: MSTORE
00000e8b: PUSH1 0x20
00000e8d: PUSH1 0x04
00000e8f: DUP3
00000e90: ADD
00000e91: MSTORE
00000e92: PUSH1 0x1a
00000e94: PUSH1 0x24
00000e96: DUP3
00000e97: ADD
00000e98: MSTORE
00000e99: PUSH32 0x455243373231413a20617070726f766520746f2063616c6c6572000000000000
00000eba: PUSH1 0x44
00000ebc: DUP3
00000ebd: ADD
00000ebe: MSTORE
00000ebf: PUSH1 0x64
00000ec1: ADD
00000ec2: PUSH2 0x072f
00000ec5: JUMP
00000ec6: JUMPDEST
00000ec7: CALLER
00000ec8: PUSH1 0x00
00000eca: DUP2
00000ecb: DUP2
00000ecc: MSTORE
00000ecd: PUSH1 0x06
00000ecf: PUSH1 0x20
00000ed1: SWAP1
00000ed2: DUP2
00000ed3: MSTORE
00000ed4: PUSH1 0x40
00000ed6: DUP1
00000ed7: DUP4
00000ed8: KECCAK256
00000ed9: PUSH1 0x01
00000edb: PUSH1 0x01
00000edd: PUSH1 0xa0
00000edf: SHL
00000ee0: SUB
00000ee1: DUP8
00000ee2: AND
00000ee3: DUP1
00000ee4: DUP6
00000ee5: MSTORE
00000ee6: SWAP1
00000ee7: DUP4
00000ee8: MSTORE
00000ee9: SWAP3
00000eea: DUP2
00000eeb: SWAP1
00000eec: KECCAK256
00000eed: DUP1
00000eee: SLOAD
00000eef: PUSH1 0xff
00000ef1: NOT
00000ef2: AND
00000ef3: DUP7
00000ef4: ISZERO
00000ef5: ISZERO
00000ef6: SWAP1
00000ef7: DUP2
00000ef8: OR
00000ef9: SWAP1
00000efa: SWAP2
00000efb: SSTORE
00000efc: SWAP1
00000efd: MLOAD
00000efe: SWAP1
00000eff: DUP2
00000f00: MSTORE
00000f01: SWAP2
00000f02: SWAP3
00000f03: SWAP2
00000f04: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00000f25: SWAP2
00000f26: ADD
00000f27: PUSH1 0x40
00000f29: MLOAD
00000f2a: DUP1
00000f2b: SWAP2
00000f2c: SUB
00000f2d: SWAP1
00000f2e: LOG3
00000f2f: POP
00000f30: POP
00000f31: JUMP
00000f32: JUMPDEST
00000f33: PUSH2 0x0f3d
00000f36: DUP5
00000f37: DUP5
00000f38: DUP5
00000f39: PUSH2 0x128f
00000f3c: JUMP
00000f3d: JUMPDEST
00000f3e: PUSH2 0x0f49
00000f41: DUP5
00000f42: DUP5
00000f43: DUP5
00000f44: DUP5
00000f45: PUSH2 0x169d
00000f48: JUMP
00000f49: JUMPDEST
00000f4a: PUSH2 0x0f65
00000f4d: JUMPI
00000f4e: PUSH1 0x40
00000f50: MLOAD
00000f51: PUSH3 0x461bcd
00000f55: PUSH1 0xe5
00000f57: SHL
00000f58: DUP2
00000f59: MSTORE
00000f5a: PUSH1 0x04
00000f5c: ADD
00000f5d: PUSH2 0x072f
00000f60: SWAP1
00000f61: PUSH2 0x1eb3
00000f64: JUMP
00000f65: JUMPDEST
00000f66: POP
00000f67: POP
00000f68: POP
00000f69: POP
00000f6a: JUMP
00000f6b: JUMPDEST
00000f6c: PUSH1 0x60
00000f6e: PUSH2 0x0f78
00000f71: DUP3
00000f72: PUSH1 0x00
00000f74: SLOAD
00000f75: GT
00000f76: SWAP1
00000f77: JUMP
00000f78: JUMPDEST
00000f79: PUSH2 0x0fdc
00000f7c: JUMPI
00000f7d: PUSH1 0x40
00000f7f: MLOAD
00000f80: PUSH3 0x461bcd
00000f84: PUSH1 0xe5
00000f86: SHL
00000f87: DUP2
00000f88: MSTORE
00000f89: PUSH1 0x20
00000f8b: PUSH1 0x04
00000f8d: DUP3
00000f8e: ADD
00000f8f: MSTORE
00000f90: PUSH1 0x2f
00000f92: PUSH1 0x24
00000f94: DUP3
00000f95: ADD
00000f96: MSTORE
00000f97: PUSH32 0x4552433732314d657461646174613a2055524920717565727920666f72206e6f
00000fb8: PUSH1 0x44
00000fba: DUP3
00000fbb: ADD
00000fbc: MSTORE
00000fbd: PUSH15 0x3732bc34b9ba32b73a103a37b5b2b7
00000fcd: PUSH1 0x89
00000fcf: SHL
00000fd0: PUSH1 0x64
00000fd2: DUP3
00000fd3: ADD
00000fd4: MSTORE
00000fd5: PUSH1 0x84
00000fd7: ADD
00000fd8: PUSH2 0x072f
00000fdb: JUMP
00000fdc: JUMPDEST
00000fdd: PUSH1 0x00
00000fdf: PUSH2 0x0fe6
00000fe2: PUSH2 0x17ab
00000fe5: JUMP
00000fe6: JUMPDEST
00000fe7: SWAP1
00000fe8: POP
00000fe9: DUP1
00000fea: MLOAD
00000feb: PUSH1 0x00
00000fed: EQ
00000fee: ISZERO
00000fef: PUSH2 0x1007
00000ff2: JUMPI
00000ff3: PUSH1 0x40
00000ff5: MLOAD
00000ff6: DUP1
00000ff7: PUSH1 0x20
00000ff9: ADD
00000ffa: PUSH1 0x40
00000ffc: MSTORE
00000ffd: DUP1
00000ffe: PUSH1 0x00
00001000: DUP2
00001001: MSTORE
00001002: POP
00001003: PUSH2 0x1032
00001006: JUMP
00001007: JUMPDEST
00001008: DUP1
00001009: PUSH2 0x1011
0000100c: DUP5
0000100d: PUSH2 0x17ba
00001010: JUMP
00001011: JUMPDEST
00001012: PUSH1 0x40
00001014: MLOAD
00001015: PUSH1 0x20
00001017: ADD
00001018: PUSH2 0x1022
0000101b: SWAP3
0000101c: SWAP2
0000101d: SWAP1
0000101e: PUSH2 0x1dff
00001021: JUMP
00001022: JUMPDEST
00001023: PUSH1 0x40
00001025: MLOAD
00001026: PUSH1 0x20
00001028: DUP2
00001029: DUP4
0000102a: SUB
0000102b: SUB
0000102c: DUP2
0000102d: MSTORE
0000102e: SWAP1
0000102f: PUSH1 0x40
00001031: MSTORE
00001032: JUMPDEST
00001033: SWAP4
00001034: SWAP3
00001035: POP
00001036: POP
00001037: POP
00001038: JUMP
00001039: JUMPDEST
0000103a: PUSH1 0x07
0000103c: SLOAD
0000103d: PUSH1 0x01
0000103f: PUSH1 0x01
00001041: PUSH1 0xa0
00001043: SHL
00001044: SUB
00001045: AND
00001046: CALLER
00001047: EQ
00001048: PUSH2 0x1063
0000104b: JUMPI
0000104c: PUSH1 0x40
0000104e: MLOAD
0000104f: PUSH3 0x461bcd
00001053: PUSH1 0xe5
00001055: SHL
00001056: DUP2
00001057: MSTORE
00001058: PUSH1 0x04
0000105a: ADD
0000105b: PUSH2 0x072f
0000105e: SWAP1
0000105f: PUSH2 0x1e7e
00001062: JUMP
00001063: JUMPDEST
00001064: PUSH1 0x0d
00001066: SSTORE
00001067: JUMP
00001068: JUMPDEST
00001069: PUSH1 0x07
0000106b: SLOAD
0000106c: PUSH1 0x01
0000106e: PUSH1 0x01
00001070: PUSH1 0xa0
00001072: SHL
00001073: SUB
00001074: AND
00001075: CALLER
00001076: EQ
00001077: PUSH2 0x1092
0000107a: JUMPI
0000107b: PUSH1 0x40
0000107d: MLOAD
0000107e: PUSH3 0x461bcd
00001082: PUSH1 0xe5
00001084: SHL
00001085: DUP2
00001086: MSTORE
00001087: PUSH1 0x04
00001089: ADD
0000108a: PUSH2 0x072f
0000108d: SWAP1
0000108e: PUSH2 0x1e7e
00001091: JUMP
00001092: JUMPDEST
00001093: PUSH1 0x01
00001095: PUSH1 0x01
00001097: PUSH1 0xa0
00001099: SHL
0000109a: SUB
0000109b: DUP2
0000109c: AND
0000109d: PUSH2 0x10f7
000010a0: JUMPI
000010a1: PUSH1 0x40
000010a3: MLOAD
000010a4: PUSH3 0x461bcd
000010a8: PUSH1 0xe5
000010aa: SHL
000010ab: DUP2
000010ac: MSTORE
000010ad: PUSH1 0x20
000010af: PUSH1 0x04
000010b1: DUP3
000010b2: ADD
000010b3: MSTORE
000010b4: PUSH1 0x26
000010b6: PUSH1 0x24
000010b8: DUP3
000010b9: ADD
000010ba: MSTORE
000010bb: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000010dc: PUSH1 0x44
000010de: DUP3
000010df: ADD
000010e0: MSTORE
000010e1: PUSH6 0x646472657373
000010e8: PUSH1 0xd0
000010ea: SHL
000010eb: PUSH1 0x64
000010ed: DUP3
000010ee: ADD
000010ef: MSTORE
000010f0: PUSH1 0x84
000010f2: ADD
000010f3: PUSH2 0x072f
000010f6: JUMP
000010f7: JUMPDEST
000010f8: PUSH2 0x0c09
000010fb: DUP2
000010fc: PUSH2 0x164b
000010ff: JUMP
00001100: JUMPDEST
00001101: PUSH1 0x00
00001103: DUP3
00001104: DUP2
00001105: MSTORE
00001106: PUSH1 0x05
00001108: PUSH1 0x20
0000110a: MSTORE
0000110b: PUSH1 0x40
0000110d: DUP1
0000110e: DUP3
0000110f: KECCAK256
00001110: DUP1
00001111: SLOAD
00001112: PUSH1 0x01
00001114: PUSH1 0x01
00001116: PUSH1 0xa0
00001118: SHL
00001119: SUB
0000111a: NOT
0000111b: AND
0000111c: PUSH1 0x01
0000111e: PUSH1 0x01
00001120: PUSH1 0xa0
00001122: SHL
00001123: SUB
00001124: DUP8
00001125: DUP2
00001126: AND
00001127: SWAP2
00001128: DUP3
00001129: OR
0000112a: SWAP1
0000112b: SWAP3
0000112c: SSTORE
0000112d: SWAP2
0000112e: MLOAD
0000112f: DUP6
00001130: SWAP4
00001131: SWAP2
00001132: DUP6
00001133: AND
00001134: SWAP2
00001135: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001156: SWAP2
00001157: LOG4
00001158: POP
00001159: POP
0000115a: POP
0000115b: JUMP
0000115c: JUMPDEST
0000115d: DUP1
0000115e: SELFBALANCE
0000115f: LT
00001160: ISZERO
00001161: PUSH2 0x11ac
00001164: JUMPI
00001165: PUSH1 0x40
00001167: MLOAD
00001168: PUSH3 0x461bcd
0000116c: PUSH1 0xe5
0000116e: SHL
0000116f: DUP2
00001170: MSTORE
00001171: PUSH1 0x20
00001173: PUSH1 0x04
00001175: DUP3
00001176: ADD
00001177: MSTORE
00001178: PUSH1 0x1d
0000117a: PUSH1 0x24
0000117c: DUP3
0000117d: ADD
0000117e: MSTORE
0000117f: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
000011a0: PUSH1 0x44
000011a2: DUP3
000011a3: ADD
000011a4: MSTORE
000011a5: PUSH1 0x64
000011a7: ADD
000011a8: PUSH2 0x072f
000011ab: JUMP
000011ac: JUMPDEST
000011ad: PUSH1 0x00
000011af: DUP3
000011b0: PUSH1 0x01
000011b2: PUSH1 0x01
000011b4: PUSH1 0xa0
000011b6: SHL
000011b7: SUB
000011b8: AND
000011b9: DUP3
000011ba: PUSH1 0x40
000011bc: MLOAD
000011bd: PUSH1 0x00
000011bf: PUSH1 0x40
000011c1: MLOAD
000011c2: DUP1
000011c3: DUP4
000011c4: SUB
000011c5: DUP2
000011c6: DUP6
000011c7: DUP8
000011c8: GAS
000011c9: CALL
000011ca: SWAP3
000011cb: POP
000011cc: POP
000011cd: POP
000011ce: RETURNDATASIZE
000011cf: DUP1
000011d0: PUSH1 0x00
000011d2: DUP2
000011d3: EQ
000011d4: PUSH2 0x11f9
000011d7: JUMPI
000011d8: PUSH1 0x40
000011da: MLOAD
000011db: SWAP2
000011dc: POP
000011dd: PUSH1 0x1f
000011df: NOT
000011e0: PUSH1 0x3f
000011e2: RETURNDATASIZE
000011e3: ADD
000011e4: AND
000011e5: DUP3
000011e6: ADD
000011e7: PUSH1 0x40
000011e9: MSTORE
000011ea: RETURNDATASIZE
000011eb: DUP3
000011ec: MSTORE
000011ed: RETURNDATASIZE
000011ee: PUSH1 0x00
000011f0: PUSH1 0x20
000011f2: DUP5
000011f3: ADD
000011f4: RETURNDATACOPY
000011f5: PUSH2 0x11fe
000011f8: JUMP
000011f9: JUMPDEST
000011fa: PUSH1 0x60
000011fc: SWAP2
000011fd: POP
000011fe: JUMPDEST
000011ff: POP
00001200: POP
00001201: SWAP1
00001202: POP
00001203: DUP1
00001204: PUSH2 0x0867
00001207: JUMPI
00001208: PUSH1 0x40
0000120a: MLOAD
0000120b: PUSH3 0x461bcd
0000120f: PUSH1 0xe5
00001211: SHL
00001212: DUP2
00001213: MSTORE
00001214: PUSH1 0x20
00001216: PUSH1 0x04
00001218: DUP3
00001219: ADD
0000121a: MSTORE
0000121b: PUSH1 0x3a
0000121d: PUSH1 0x24
0000121f: DUP3
00001220: ADD
00001221: MSTORE
00001222: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00001243: PUSH1 0x44
00001245: DUP3
00001246: ADD
00001247: MSTORE
00001248: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
00001269: PUSH1 0x64
0000126b: DUP3
0000126c: ADD
0000126d: MSTORE
0000126e: PUSH1 0x84
00001270: ADD
00001271: PUSH2 0x072f
00001274: JUMP
00001275: JUMPDEST
00001276: PUSH2 0x0e5a
00001279: DUP3
0000127a: DUP3
0000127b: PUSH1 0x40
0000127d: MLOAD
0000127e: DUP1
0000127f: PUSH1 0x20
00001281: ADD
00001282: PUSH1 0x40
00001284: MSTORE
00001285: DUP1
00001286: PUSH1 0x00
00001288: DUP2
00001289: MSTORE
0000128a: POP
0000128b: PUSH2 0x18d4
0000128e: JUMP
0000128f: JUMPDEST
00001290: PUSH1 0x00
00001292: PUSH2 0x129a
00001295: DUP3
00001296: PUSH2 0x1574
00001299: JUMP
0000129a: JUMPDEST
0000129b: DUP1
0000129c: MLOAD
0000129d: SWAP1
0000129e: SWAP2
0000129f: POP
000012a0: PUSH1 0x00
000012a2: SWAP1
000012a3: PUSH1 0x01
000012a5: PUSH1 0x01
000012a7: PUSH1 0xa0
000012a9: SHL
000012aa: SUB
000012ab: AND
000012ac: CALLER
000012ad: PUSH1 0x01
000012af: PUSH1 0x01
000012b1: PUSH1 0xa0
000012b3: SHL
000012b4: SUB
000012b5: AND
000012b6: EQ
000012b7: DUP1
000012b8: PUSH2 0x12d1
000012bb: JUMPI
000012bc: POP
000012bd: CALLER
000012be: PUSH2 0x12c6
000012c1: DUP5
000012c2: PUSH2 0x06c4
000012c5: JUMP
000012c6: JUMPDEST
000012c7: PUSH1 0x01
000012c9: PUSH1 0x01
000012cb: PUSH1 0xa0
000012cd: SHL
000012ce: SUB
000012cf: AND
000012d0: EQ
000012d1: JUMPDEST
000012d2: DUP1
000012d3: PUSH2 0x12e3
000012d6: JUMPI
000012d7: POP
000012d8: DUP2
000012d9: MLOAD
000012da: PUSH2 0x12e3
000012dd: SWAP1
000012de: CALLER
000012df: PUSH2 0x054a
000012e2: JUMP
000012e3: JUMPDEST
000012e4: SWAP1
000012e5: POP
000012e6: DUP1
000012e7: PUSH2 0x134d
000012ea: JUMPI
000012eb: PUSH1 0x40
000012ed: MLOAD
000012ee: PUSH3 0x461bcd
000012f2: PUSH1 0xe5
000012f4: SHL
000012f5: DUP2
000012f6: MSTORE
000012f7: PUSH1 0x20
000012f9: PUSH1 0x04
000012fb: DUP3
000012fc: ADD
000012fd: MSTORE
000012fe: PUSH1 0x32
00001300: PUSH1 0x24
00001302: DUP3
00001303: ADD
00001304: MSTORE
00001305: PUSH32 0x455243373231413a207472616e736665722063616c6c6572206973206e6f7420
00001326: PUSH1 0x44
00001328: DUP3
00001329: ADD
0000132a: MSTORE
0000132b: PUSH18 0x1bdddb995c881b9bdc88185c1c1c9bdd9959
0000133e: PUSH1 0x72
00001340: SHL
00001341: PUSH1 0x64
00001343: DUP3
00001344: ADD
00001345: MSTORE
00001346: PUSH1 0x84
00001348: ADD
00001349: PUSH2 0x072f
0000134c: JUMP
0000134d: JUMPDEST
0000134e: DUP5
0000134f: PUSH1 0x01
00001351: PUSH1 0x01
00001353: PUSH1 0xa0
00001355: SHL
00001356: SUB
00001357: AND
00001358: DUP3
00001359: PUSH1 0x00
0000135b: ADD
0000135c: MLOAD
0000135d: PUSH1 0x01
0000135f: PUSH1 0x01
00001361: PUSH1 0xa0
00001363: SHL
00001364: SUB
00001365: AND
00001366: EQ
00001367: PUSH2 0x13c1
0000136a: JUMPI
0000136b: PUSH1 0x40
0000136d: MLOAD
0000136e: PUSH3 0x461bcd
00001372: PUSH1 0xe5
00001374: SHL
00001375: DUP2
00001376: MSTORE
00001377: PUSH1 0x20
00001379: PUSH1 0x04
0000137b: DUP3
0000137c: ADD
0000137d: MSTORE
0000137e: PUSH1 0x26
00001380: PUSH1 0x24
00001382: DUP3
00001383: ADD
00001384: MSTORE
00001385: PUSH32 0x455243373231413a207472616e736665722066726f6d20696e636f7272656374
000013a6: PUSH1 0x44
000013a8: DUP3
000013a9: ADD
000013aa: MSTORE
000013ab: PUSH6 0x1037bbb732b9
000013b2: PUSH1 0xd1
000013b4: SHL
000013b5: PUSH1 0x64
000013b7: DUP3
000013b8: ADD
000013b9: MSTORE
000013ba: PUSH1 0x84
000013bc: ADD
000013bd: PUSH2 0x072f
000013c0: JUMP
000013c1: JUMPDEST
000013c2: PUSH1 0x01
000013c4: PUSH1 0x01
000013c6: PUSH1 0xa0
000013c8: SHL
000013c9: SUB
000013ca: DUP5
000013cb: AND
000013cc: PUSH2 0x1425
000013cf: JUMPI
000013d0: PUSH1 0x40
000013d2: MLOAD
000013d3: PUSH3 0x461bcd
000013d7: PUSH1 0xe5
000013d9: SHL
000013da: DUP2
000013db: MSTORE
000013dc: PUSH1 0x20
000013de: PUSH1 0x04
000013e0: DUP3
000013e1: ADD
000013e2: MSTORE
000013e3: PUSH1 0x25
000013e5: PUSH1 0x24
000013e7: DUP3
000013e8: ADD
000013e9: MSTORE
000013ea: PUSH32 0x455243373231413a207472616e7366657220746f20746865207a65726f206164
0000140b: PUSH1 0x44
0000140d: DUP3
0000140e: ADD
0000140f: MSTORE
00001410: PUSH5 0x6472657373
00001416: PUSH1 0xd8
00001418: SHL
00001419: PUSH1 0x64
0000141b: DUP3
0000141c: ADD
0000141d: MSTORE
0000141e: PUSH1 0x84
00001420: ADD
00001421: PUSH2 0x072f
00001424: JUMP
00001425: JUMPDEST
00001426: PUSH2 0x1435
00001429: PUSH1 0x00
0000142b: DUP5
0000142c: DUP5
0000142d: PUSH1 0x00
0000142f: ADD
00001430: MLOAD
00001431: PUSH2 0x1100
00001434: JUMP
00001435: JUMPDEST
00001436: PUSH1 0x01
00001438: PUSH1 0x01
0000143a: PUSH1 0xa0
0000143c: SHL
0000143d: SUB
0000143e: DUP6
0000143f: DUP2
00001440: AND
00001441: PUSH1 0x00
00001443: SWAP1
00001444: DUP2
00001445: MSTORE
00001446: PUSH1 0x04
00001448: PUSH1 0x20
0000144a: SWAP1
0000144b: DUP2
0000144c: MSTORE
0000144d: PUSH1 0x40
0000144f: DUP1
00001450: DUP4
00001451: KECCAK256
00001452: DUP1
00001453: SLOAD
00001454: PUSH1 0x01
00001456: PUSH1 0x01
00001458: PUSH1 0x80
0000145a: SHL
0000145b: SUB
0000145c: NOT
0000145d: DUP1
0000145e: DUP3
0000145f: AND
00001460: PUSH1 0x01
00001462: PUSH1 0x01
00001464: PUSH1 0x80
00001466: SHL
00001467: SUB
00001468: SWAP3
00001469: DUP4
0000146a: AND
0000146b: PUSH1 0x00
0000146d: NOT
0000146e: ADD
0000146f: DUP4
00001470: AND
00001471: OR
00001472: SWAP1
00001473: SWAP3
00001474: SSTORE
00001475: DUP10
00001476: DUP7
00001477: AND
00001478: DUP1
00001479: DUP7
0000147a: MSTORE
0000147b: DUP4
0000147c: DUP7
0000147d: KECCAK256
0000147e: DUP1
0000147f: SLOAD
00001480: SWAP4
00001481: DUP5
00001482: AND
00001483: SWAP4
00001484: DUP4
00001485: AND
00001486: PUSH1 0x01
00001488: SWAP1
00001489: DUP2
0000148a: ADD
0000148b: SWAP1
0000148c: SWAP4
0000148d: AND
0000148e: SWAP4
0000148f: SWAP1
00001490: SWAP4
00001491: OR
00001492: SWAP1
00001493: SWAP3
00001494: SSTORE
00001495: DUP9
00001496: DUP6
00001497: MSTORE
00001498: PUSH1 0x03
0000149a: SWAP1
0000149b: SWAP4
0000149c: MSTORE
0000149d: DUP2
0000149e: DUP5
0000149f: KECCAK256
000014a0: DUP1
000014a1: SLOAD
000014a2: PUSH1 0x01
000014a4: PUSH1 0x01
000014a6: PUSH1 0xe0
000014a8: SHL
000014a9: SUB
000014aa: NOT
000014ab: AND
000014ac: SWAP1
000014ad: SWAP2
000014ae: OR
000014af: PUSH1 0x01
000014b1: PUSH1 0xa0
000014b3: SHL
000014b4: TIMESTAMP
000014b5: PUSH8 0xffffffffffffffff
000014be: AND
000014bf: MUL
000014c0: OR
000014c1: SWAP1
000014c2: SSTORE
000014c3: SWAP1
000014c4: DUP7
000014c5: ADD
000014c6: DUP1
000014c7: DUP4
000014c8: MSTORE
000014c9: SWAP2
000014ca: KECCAK256
000014cb: SLOAD
000014cc: SWAP1
000014cd: SWAP2
000014ce: AND
000014cf: PUSH2 0x152a
000014d2: JUMPI
000014d3: PUSH2 0x14dd
000014d6: DUP2
000014d7: PUSH1 0x00
000014d9: SLOAD
000014da: GT
000014db: SWAP1
000014dc: JUMP
000014dd: JUMPDEST
000014de: ISZERO
000014df: PUSH2 0x152a
000014e2: JUMPI
000014e3: DUP3
000014e4: MLOAD
000014e5: PUSH1 0x00
000014e7: DUP3
000014e8: DUP2
000014e9: MSTORE
000014ea: PUSH1 0x03
000014ec: PUSH1 0x20
000014ee: SWAP1
000014ef: DUP2
000014f0: MSTORE
000014f1: PUSH1 0x40
000014f3: SWAP1
000014f4: SWAP2
000014f5: KECCAK256
000014f6: DUP1
000014f7: SLOAD
000014f8: SWAP2
000014f9: DUP7
000014fa: ADD
000014fb: MLOAD
000014fc: PUSH8 0xffffffffffffffff
00001505: AND
00001506: PUSH1 0x01
00001508: PUSH1 0xa0
0000150a: SHL
0000150b: MUL
0000150c: PUSH1 0x01
0000150e: PUSH1 0x01
00001510: PUSH1 0xe0
00001512: SHL
00001513: SUB
00001514: NOT
00001515: SWAP1
00001516: SWAP3
00001517: AND
00001518: PUSH1 0x01
0000151a: PUSH1 0x01
0000151c: PUSH1 0xa0
0000151e: SHL
0000151f: SUB
00001520: SWAP1
00001521: SWAP4
00001522: AND
00001523: SWAP3
00001524: SWAP1
00001525: SWAP3
00001526: OR
00001527: OR
00001528: SWAP1
00001529: SSTORE
0000152a: JUMPDEST
0000152b: POP
0000152c: DUP3
0000152d: DUP5
0000152e: PUSH1 0x01
00001530: PUSH1 0x01
00001532: PUSH1 0xa0
00001534: SHL
00001535: SUB
00001536: AND
00001537: DUP7
00001538: PUSH1 0x01
0000153a: PUSH1 0x01
0000153c: PUSH1 0xa0
0000153e: SHL
0000153f: SUB
00001540: AND
00001541: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001562: PUSH1 0x40
00001564: MLOAD
00001565: PUSH1 0x40
00001567: MLOAD
00001568: DUP1
00001569: SWAP2
0000156a: SUB
0000156b: SWAP1
0000156c: LOG4
0000156d: JUMPDEST
0000156e: POP
0000156f: POP
00001570: POP
00001571: POP
00001572: POP
00001573: JUMP
00001574: JUMPDEST
00001575: PUSH1 0x40
00001577: DUP1
00001578: MLOAD
00001579: DUP1
0000157a: DUP3
0000157b: ADD
0000157c: SWAP1
0000157d: SWAP2
0000157e: MSTORE
0000157f: PUSH1 0x00
00001581: DUP1
00001582: DUP3
00001583: MSTORE
00001584: PUSH1 0x20
00001586: DUP3
00001587: ADD
00001588: MSTORE
00001589: PUSH2 0x1593
0000158c: DUP3
0000158d: PUSH1 0x00
0000158f: SLOAD
00001590: GT
00001591: SWAP1
00001592: JUMP
00001593: JUMPDEST
00001594: PUSH2 0x15f2
00001597: JUMPI
00001598: PUSH1 0x40
0000159a: MLOAD
0000159b: PUSH3 0x461bcd
0000159f: PUSH1 0xe5
000015a1: SHL
000015a2: DUP2
000015a3: MSTORE
000015a4: PUSH1 0x20
000015a6: PUSH1 0x04
000015a8: DUP3
000015a9: ADD
000015aa: MSTORE
000015ab: PUSH1 0x2a
000015ad: PUSH1 0x24
000015af: DUP3
000015b0: ADD
000015b1: MSTORE
000015b2: PUSH32 0x455243373231413a206f776e657220717565727920666f72206e6f6e65786973
000015d3: PUSH1 0x44
000015d5: DUP3
000015d6: ADD
000015d7: MSTORE
000015d8: PUSH10 0x3a32b73a103a37b5b2b7
000015e3: PUSH1 0xb1
000015e5: SHL
000015e6: PUSH1 0x64
000015e8: DUP3
000015e9: ADD
000015ea: MSTORE
000015eb: PUSH1 0x84
000015ed: ADD
000015ee: PUSH2 0x072f
000015f1: JUMP
000015f2: JUMPDEST
000015f3: DUP2
000015f4: JUMPDEST
000015f5: PUSH1 0x00
000015f7: DUP2
000015f8: DUP2
000015f9: MSTORE
000015fa: PUSH1 0x03
000015fc: PUSH1 0x20
000015fe: SWAP1
000015ff: DUP2
00001600: MSTORE
00001601: PUSH1 0x40
00001603: SWAP2
00001604: DUP3
00001605: SWAP1
00001606: KECCAK256
00001607: DUP3
00001608: MLOAD
00001609: DUP1
0000160a: DUP5
0000160b: ADD
0000160c: SWAP1
0000160d: SWAP4
0000160e: MSTORE
0000160f: SLOAD
00001610: PUSH1 0x01
00001612: PUSH1 0x01
00001614: PUSH1 0xa0
00001616: SHL
00001617: SUB
00001618: DUP2
00001619: AND
0000161a: DUP1
0000161b: DUP5
0000161c: MSTORE
0000161d: PUSH1 0x01
0000161f: PUSH1 0xa0
00001621: SHL
00001622: SWAP1
00001623: SWAP2
00001624: DIV
00001625: PUSH8 0xffffffffffffffff
0000162e: AND
0000162f: SWAP2
00001630: DUP4
00001631: ADD
00001632: SWAP2
00001633: SWAP1
00001634: SWAP2
00001635: MSTORE
00001636: ISZERO
00001637: PUSH2 0x1641
0000163a: JUMPI
0000163b: SWAP4
0000163c: SWAP3
0000163d: POP
0000163e: POP
0000163f: POP
00001640: JUMP
00001641: JUMPDEST
00001642: POP
00001643: PUSH1 0x00
00001645: NOT
00001646: ADD
00001647: PUSH2 0x15f4
0000164a: JUMP
0000164b: JUMPDEST
0000164c: PUSH1 0x07
0000164e: DUP1
0000164f: SLOAD
00001650: PUSH1 0x01
00001652: PUSH1 0x01
00001654: PUSH1 0xa0
00001656: SHL
00001657: SUB
00001658: DUP4
00001659: DUP2
0000165a: AND
0000165b: PUSH1 0x01
0000165d: PUSH1 0x01
0000165f: PUSH1 0xa0
00001661: SHL
00001662: SUB
00001663: NOT
00001664: DUP4
00001665: AND
00001666: DUP2
00001667: OR
00001668: SWAP1
00001669: SWAP4
0000166a: SSTORE
0000166b: PUSH1 0x40
0000166d: MLOAD
0000166e: SWAP2
0000166f: AND
00001670: SWAP2
00001671: SWAP1
00001672: DUP3
00001673: SWAP1
00001674: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001695: SWAP1
00001696: PUSH1 0x00
00001698: SWAP1
00001699: LOG3
0000169a: POP
0000169b: POP
0000169c: JUMP
0000169d: JUMPDEST
0000169e: PUSH1 0x00
000016a0: PUSH1 0x01
000016a2: PUSH1 0x01
000016a4: PUSH1 0xa0
000016a6: SHL
000016a7: SUB
000016a8: DUP5
000016a9: AND
000016aa: EXTCODESIZE
000016ab: ISZERO
000016ac: PUSH2 0x179f
000016af: JUMPI
000016b0: PUSH1 0x40
000016b2: MLOAD
000016b3: PUSH4 0x0a85bd01
000016b8: PUSH1 0xe1
000016ba: SHL
000016bb: DUP2
000016bc: MSTORE
000016bd: PUSH1 0x01
000016bf: PUSH1 0x01
000016c1: PUSH1 0xa0
000016c3: SHL
000016c4: SUB
000016c5: DUP6
000016c6: AND
000016c7: SWAP1
000016c8: PUSH4 0x150b7a02
000016cd: SWAP1
000016ce: PUSH2 0x16e1
000016d1: SWAP1
000016d2: CALLER
000016d3: SWAP1
000016d4: DUP10
000016d5: SWAP1
000016d6: DUP9
000016d7: SWAP1
000016d8: DUP9
000016d9: SWAP1
000016da: PUSH1 0x04
000016dc: ADD
000016dd: PUSH2 0x1e2e
000016e0: JUMP
000016e1: JUMPDEST
000016e2: PUSH1 0x20
000016e4: PUSH1 0x40
000016e6: MLOAD
000016e7: DUP1
000016e8: DUP4
000016e9: SUB
000016ea: DUP2
000016eb: PUSH1 0x00
000016ed: DUP8
000016ee: DUP1
000016ef: EXTCODESIZE
000016f0: ISZERO
000016f1: DUP1
000016f2: ISZERO
000016f3: PUSH2 0x16fb
000016f6: JUMPI
000016f7: PUSH1 0x00
000016f9: DUP1
000016fa: REVERT
000016fb: JUMPDEST
000016fc: POP
000016fd: GAS
000016fe: CALL
000016ff: SWAP3
00001700: POP
00001701: POP
00001702: POP
00001703: DUP1
00001704: ISZERO
00001705: PUSH2 0x172b
00001708: JUMPI
00001709: POP
0000170a: PUSH1 0x40
0000170c: DUP1
0000170d: MLOAD
0000170e: PUSH1 0x1f
00001710: RETURNDATASIZE
00001711: SWAP1
00001712: DUP2
00001713: ADD
00001714: PUSH1 0x1f
00001716: NOT
00001717: AND
00001718: DUP3
00001719: ADD
0000171a: SWAP1
0000171b: SWAP3
0000171c: MSTORE
0000171d: PUSH2 0x1728
00001720: SWAP2
00001721: DUP2
00001722: ADD
00001723: SWAP1
00001724: PUSH2 0x1d59
00001727: JUMP
00001728: JUMPDEST
00001729: PUSH1 0x01
0000172b: JUMPDEST
0000172c: PUSH2 0x1785
0000172f: JUMPI
00001730: RETURNDATASIZE
00001731: DUP1
00001732: DUP1
00001733: ISZERO
00001734: PUSH2 0x1759
00001737: JUMPI
00001738: PUSH1 0x40
0000173a: MLOAD
0000173b: SWAP2
0000173c: POP
0000173d: PUSH1 0x1f
0000173f: NOT
00001740: PUSH1 0x3f
00001742: RETURNDATASIZE
00001743: ADD
00001744: AND
00001745: DUP3
00001746: ADD
00001747: PUSH1 0x40
00001749: MSTORE
0000174a: RETURNDATASIZE
0000174b: DUP3
0000174c: MSTORE
0000174d: RETURNDATASIZE
0000174e: PUSH1 0x00
00001750: PUSH1 0x20
00001752: DUP5
00001753: ADD
00001754: RETURNDATACOPY
00001755: PUSH2 0x175e
00001758: JUMP
00001759: JUMPDEST
0000175a: PUSH1 0x60
0000175c: SWAP2
0000175d: POP
0000175e: JUMPDEST
0000175f: POP
00001760: DUP1
00001761: MLOAD
00001762: PUSH2 0x177d
00001765: JUMPI
00001766: PUSH1 0x40
00001768: MLOAD
00001769: PUSH3 0x461bcd
0000176d: PUSH1 0xe5
0000176f: SHL
00001770: DUP2
00001771: MSTORE
00001772: PUSH1 0x04
00001774: ADD
00001775: PUSH2 0x072f
00001778: SWAP1
00001779: PUSH2 0x1eb3
0000177c: JUMP
0000177d: JUMPDEST
0000177e: DUP1
0000177f: MLOAD
00001780: DUP2
00001781: PUSH1 0x20
00001783: ADD
00001784: REVERT
00001785: JUMPDEST
00001786: PUSH1 0x01
00001788: PUSH1 0x01
0000178a: PUSH1 0xe0
0000178c: SHL
0000178d: SUB
0000178e: NOT
0000178f: AND
00001790: PUSH4 0x0a85bd01
00001795: PUSH1 0xe1
00001797: SHL
00001798: EQ
00001799: SWAP1
0000179a: POP
0000179b: PUSH2 0x17a3
0000179e: JUMP
0000179f: JUMPDEST
000017a0: POP
000017a1: PUSH1 0x01
000017a3: JUMPDEST
000017a4: SWAP5
000017a5: SWAP4
000017a6: POP
000017a7: POP
000017a8: POP
000017a9: POP
000017aa: JUMP
000017ab: JUMPDEST
000017ac: PUSH1 0x60
000017ae: PUSH1 0x09
000017b0: DUP1
000017b1: SLOAD
000017b2: PUSH2 0x0641
000017b5: SWAP1
000017b6: PUSH2 0x1f94
000017b9: JUMP
000017ba: JUMPDEST
000017bb: PUSH1 0x60
000017bd: DUP2
000017be: PUSH2 0x17de
000017c1: JUMPI
000017c2: POP
000017c3: POP
000017c4: PUSH1 0x40
000017c6: DUP1
000017c7: MLOAD
000017c8: DUP1
000017c9: DUP3
000017ca: ADD
000017cb: SWAP1
000017cc: SWAP2
000017cd: MSTORE
000017ce: PUSH1 0x01
000017d0: DUP2
000017d1: MSTORE
000017d2: PUSH1 0x03
000017d4: PUSH1 0xfc
000017d6: SHL
000017d7: PUSH1 0x20
000017d9: DUP3
000017da: ADD
000017db: MSTORE
000017dc: SWAP1
000017dd: JUMP
000017de: JUMPDEST
000017df: DUP2
000017e0: PUSH1 0x00
000017e2: JUMPDEST
000017e3: DUP2
000017e4: ISZERO
000017e5: PUSH2 0x1808
000017e8: JUMPI
000017e9: DUP1
000017ea: PUSH2 0x17f2
000017ed: DUP2
000017ee: PUSH2 0x1fcf
000017f1: JUMP
000017f2: JUMPDEST
000017f3: SWAP2
000017f4: POP
000017f5: PUSH2 0x1801
000017f8: SWAP1
000017f9: POP
000017fa: PUSH1 0x0a
000017fc: DUP4
000017fd: PUSH2 0x1f1e
00001800: JUMP
00001801: JUMPDEST
00001802: SWAP2
00001803: POP
00001804: PUSH2 0x17e2
00001807: JUMP
00001808: JUMPDEST
00001809: PUSH1 0x00
0000180b: DUP2
0000180c: PUSH8 0xffffffffffffffff
00001815: DUP2
00001816: GT
00001817: ISZERO
00001818: PUSH2 0x1831
0000181b: JUMPI
0000181c: PUSH4 0x4e487b71
00001821: PUSH1 0xe0
00001823: SHL
00001824: PUSH1 0x00
00001826: MSTORE
00001827: PUSH1 0x41
00001829: PUSH1 0x04
0000182b: MSTORE
0000182c: PUSH1 0x24
0000182e: PUSH1 0x00
00001830: REVERT
00001831: JUMPDEST
00001832: PUSH1 0x40
00001834: MLOAD
00001835: SWAP1
00001836: DUP1
00001837: DUP3
00001838: MSTORE
00001839: DUP1
0000183a: PUSH1 0x1f
0000183c: ADD
0000183d: PUSH1 0x1f
0000183f: NOT
00001840: AND
00001841: PUSH1 0x20
00001843: ADD
00001844: DUP3
00001845: ADD
00001846: PUSH1 0x40
00001848: MSTORE
00001849: DUP1
0000184a: ISZERO
0000184b: PUSH2 0x185b
0000184e: JUMPI
0000184f: PUSH1 0x20
00001851: DUP3
00001852: ADD
00001853: DUP2
00001854: DUP1
00001855: CALLDATASIZE
00001856: DUP4
00001857: CALLDATACOPY
00001858: ADD
00001859: SWAP1
0000185a: POP
0000185b: JUMPDEST
0000185c: POP
0000185d: SWAP1
0000185e: POP
0000185f: JUMPDEST
00001860: DUP5
00001861: ISZERO
00001862: PUSH2 0x17a3
00001865: JUMPI
00001866: PUSH2 0x1870
00001869: PUSH1 0x01
0000186b: DUP4
0000186c: PUSH2 0x1f51
0000186f: JUMP
00001870: JUMPDEST
00001871: SWAP2
00001872: POP
00001873: PUSH2 0x187d
00001876: PUSH1 0x0a
00001878: DUP7
00001879: PUSH2 0x1fea
0000187c: JUMP
0000187d: JUMPDEST
0000187e: PUSH2 0x1888
00001881: SWAP1
00001882: PUSH1 0x30
00001884: PUSH2 0x1f06
00001887: JUMP
00001888: JUMPDEST
00001889: PUSH1 0xf8
0000188b: SHL
0000188c: DUP2
0000188d: DUP4
0000188e: DUP2
0000188f: MLOAD
00001890: DUP2
00001891: LT
00001892: PUSH2 0x18ab
00001895: JUMPI
00001896: PUSH4 0x4e487b71
0000189b: PUSH1 0xe0
0000189d: SHL
0000189e: PUSH1 0x00
000018a0: MSTORE
000018a1: PUSH1 0x32
000018a3: PUSH1 0x04
000018a5: MSTORE
000018a6: PUSH1 0x24
000018a8: PUSH1 0x00
000018aa: REVERT
000018ab: JUMPDEST
000018ac: PUSH1 0x20
000018ae: ADD
000018af: ADD
000018b0: SWAP1
000018b1: PUSH1 0x01
000018b3: PUSH1 0x01
000018b5: PUSH1 0xf8
000018b7: SHL
000018b8: SUB
000018b9: NOT
000018ba: AND
000018bb: SWAP1
000018bc: DUP2
000018bd: PUSH1 0x00
000018bf: BYTE
000018c0: SWAP1
000018c1: MSTORE8
000018c2: POP
000018c3: PUSH2 0x18cd
000018c6: PUSH1 0x0a
000018c8: DUP7
000018c9: PUSH2 0x1f1e
000018cc: JUMP
000018cd: JUMPDEST
000018ce: SWAP5
000018cf: POP
000018d0: PUSH2 0x185f
000018d3: JUMP
000018d4: JUMPDEST
000018d5: PUSH2 0x0867
000018d8: DUP4
000018d9: DUP4
000018da: DUP4
000018db: PUSH1 0x01
000018dd: PUSH1 0x00
000018df: SLOAD
000018e0: PUSH1 0x01
000018e2: PUSH1 0x01
000018e4: PUSH1 0xa0
000018e6: SHL
000018e7: SUB
000018e8: DUP6
000018e9: AND
000018ea: PUSH2 0x193f
000018ed: JUMPI
000018ee: PUSH1 0x40
000018f0: MLOAD
000018f1: PUSH3 0x461bcd
000018f5: PUSH1 0xe5
000018f7: SHL
000018f8: DUP2
000018f9: MSTORE
000018fa: PUSH1 0x20
000018fc: PUSH1 0x04
000018fe: DUP3
000018ff: ADD
00001900: MSTORE
00001901: PUSH1 0x21
00001903: PUSH1 0x24
00001905: DUP3
00001906: ADD
00001907: MSTORE
00001908: PUSH32 0x455243373231413a206d696e7420746f20746865207a65726f20616464726573
00001929: PUSH1 0x44
0000192b: DUP3
0000192c: ADD
0000192d: MSTORE
0000192e: PUSH1 0x73
00001930: PUSH1 0xf8
00001932: SHL
00001933: PUSH1 0x64
00001935: DUP3
00001936: ADD
00001937: MSTORE
00001938: PUSH1 0x84
0000193a: ADD
0000193b: PUSH2 0x072f
0000193e: JUMP
0000193f: JUMPDEST
00001940: DUP4
00001941: PUSH2 0x199d
00001944: JUMPI
00001945: PUSH1 0x40
00001947: MLOAD
00001948: PUSH3 0x461bcd
0000194c: PUSH1 0xe5
0000194e: SHL
0000194f: DUP2
00001950: MSTORE
00001951: PUSH1 0x20
00001953: PUSH1 0x04
00001955: DUP3
00001956: ADD
00001957: MSTORE
00001958: PUSH1 0x28
0000195a: PUSH1 0x24
0000195c: DUP3
0000195d: ADD
0000195e: MSTORE
0000195f: PUSH32 0x455243373231413a207175616e74697479206d75737420626520677265617465
00001980: PUSH1 0x44
00001982: DUP3
00001983: ADD
00001984: MSTORE
00001985: PUSH8 0x072207468616e203
0000198e: PUSH1 0xc4
00001990: SHL
00001991: PUSH1 0x64
00001993: DUP3
00001994: ADD
00001995: MSTORE
00001996: PUSH1 0x84
00001998: ADD
00001999: PUSH2 0x072f
0000199c: JUMP
0000199d: JUMPDEST
0000199e: PUSH1 0x01
000019a0: PUSH1 0x01
000019a2: PUSH1 0xa0
000019a4: SHL
000019a5: SUB
000019a6: DUP6
000019a7: AND
000019a8: PUSH1 0x00
000019aa: DUP2
000019ab: DUP2
000019ac: MSTORE
000019ad: PUSH1 0x04
000019af: PUSH1 0x20
000019b1: SWAP1
000019b2: DUP2
000019b3: MSTORE
000019b4: PUSH1 0x40
000019b6: DUP1
000019b7: DUP4
000019b8: KECCAK256
000019b9: DUP1
000019ba: SLOAD
000019bb: PUSH1 0x01
000019bd: PUSH1 0x80
000019bf: SHL
000019c0: PUSH1 0x01
000019c2: PUSH1 0x01
000019c4: PUSH1 0x80
000019c6: SHL
000019c7: SUB
000019c8: NOT
000019c9: DUP3
000019ca: AND
000019cb: PUSH1 0x01
000019cd: PUSH1 0x01
000019cf: PUSH1 0x80
000019d1: SHL
000019d2: SUB
000019d3: SWAP3
000019d4: DUP4
000019d5: AND
000019d6: DUP13
000019d7: ADD
000019d8: DUP4
000019d9: AND
000019da: SWAP1
000019db: DUP2
000019dc: OR
000019dd: DUP3
000019de: SWAP1
000019df: DIV
000019e0: DUP4
000019e1: AND
000019e2: DUP13
000019e3: ADD
000019e4: SWAP1
000019e5: SWAP3
000019e6: AND
000019e7: MUL
000019e8: OR
000019e9: SWAP1
000019ea: SSTORE
000019eb: DUP5
000019ec: DUP4
000019ed: MSTORE
000019ee: PUSH1 0x03
000019f0: SWAP1
000019f1: SWAP2
000019f2: MSTORE
000019f3: DUP2
000019f4: KECCAK256
000019f5: DUP1
000019f6: SLOAD
000019f7: PUSH1 0x01
000019f9: PUSH1 0x01
000019fb: PUSH1 0xe0
000019fd: SHL
000019fe: SUB
000019ff: NOT
00001a00: AND
00001a01: SWAP1
00001a02: SWAP3
00001a03: OR
00001a04: PUSH1 0x01
00001a06: PUSH1 0xa0
00001a08: SHL
00001a09: TIMESTAMP
00001a0a: PUSH8 0xffffffffffffffff
00001a13: AND
00001a14: MUL
00001a15: OR
00001a16: SWAP1
00001a17: SWAP2
00001a18: SSTORE
00001a19: DUP2
00001a1a: SWAP1
00001a1b: JUMPDEST
00001a1c: DUP6
00001a1d: DUP2
00001a1e: LT
00001a1f: ISZERO
00001a20: PUSH2 0x1a96
00001a23: JUMPI
00001a24: PUSH1 0x40
00001a26: MLOAD
00001a27: DUP3
00001a28: SWAP1
00001a29: PUSH1 0x01
00001a2b: PUSH1 0x01
00001a2d: PUSH1 0xa0
00001a2f: SHL
00001a30: SUB
00001a31: DUP10
00001a32: AND
00001a33: SWAP1
00001a34: PUSH1 0x00
00001a36: SWAP1
00001a37: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001a58: SWAP1
00001a59: DUP3
00001a5a: SWAP1
00001a5b: LOG4
00001a5c: DUP4
00001a5d: ISZERO
00001a5e: PUSH2 0x1a8a
00001a61: JUMPI
00001a62: PUSH2 0x1a6e
00001a65: PUSH1 0x00
00001a67: DUP9
00001a68: DUP5
00001a69: DUP9
00001a6a: PUSH2 0x169d
00001a6d: JUMP
00001a6e: JUMPDEST
00001a6f: PUSH2 0x1a8a
00001a72: JUMPI
00001a73: PUSH1 0x40
00001a75: MLOAD
00001a76: PUSH3 0x461bcd
00001a7a: PUSH1 0xe5
00001a7c: SHL
00001a7d: DUP2
00001a7e: MSTORE
00001a7f: PUSH1 0x04
00001a81: ADD
00001a82: PUSH2 0x072f
00001a85: SWAP1
00001a86: PUSH2 0x1eb3
00001a89: JUMP
00001a8a: JUMPDEST
00001a8b: PUSH1 0x01
00001a8d: SWAP2
00001a8e: DUP3
00001a8f: ADD
00001a90: SWAP2
00001a91: ADD
00001a92: PUSH2 0x1a1b
00001a95: JUMP
00001a96: JUMPDEST
00001a97: POP
00001a98: PUSH1 0x00
00001a9a: SSTORE
00001a9b: PUSH2 0x156d
00001a9e: JUMP
00001a9f: JUMPDEST
00001aa0: DUP3
00001aa1: DUP1
00001aa2: SLOAD
00001aa3: PUSH2 0x1aab
00001aa6: SWAP1
00001aa7: PUSH2 0x1f94
00001aaa: JUMP
00001aab: JUMPDEST
00001aac: SWAP1
00001aad: PUSH1 0x00
00001aaf: MSTORE
00001ab0: PUSH1 0x20
00001ab2: PUSH1 0x00
00001ab4: KECCAK256
00001ab5: SWAP1
00001ab6: PUSH1 0x1f
00001ab8: ADD
00001ab9: PUSH1 0x20
00001abb: SWAP1
00001abc: DIV
00001abd: DUP2
00001abe: ADD
00001abf: SWAP3
00001ac0: DUP3
00001ac1: PUSH2 0x1acd
00001ac4: JUMPI
00001ac5: PUSH1 0x00
00001ac7: DUP6
00001ac8: SSTORE
00001ac9: PUSH2 0x1b13
00001acc: JUMP
00001acd: JUMPDEST
00001ace: DUP3
00001acf: PUSH1 0x1f
00001ad1: LT
00001ad2: PUSH2 0x1ae6
00001ad5: JUMPI
00001ad6: DUP1
00001ad7: MLOAD
00001ad8: PUSH1 0xff
00001ada: NOT
00001adb: AND
00001adc: DUP4
00001add: DUP1
00001ade: ADD
00001adf: OR
00001ae0: DUP6
00001ae1: SSTORE
00001ae2: PUSH2 0x1b13
00001ae5: JUMP
00001ae6: JUMPDEST
00001ae7: DUP3
00001ae8: DUP1
00001ae9: ADD
00001aea: PUSH1 0x01
00001aec: ADD
00001aed: DUP6
00001aee: SSTORE
00001aef: DUP3
00001af0: ISZERO
00001af1: PUSH2 0x1b13
00001af4: JUMPI
00001af5: SWAP2
00001af6: DUP3
00001af7: ADD
00001af8: JUMPDEST
00001af9: DUP3
00001afa: DUP2
00001afb: GT
00001afc: ISZERO
00001afd: PUSH2 0x1b13
00001b00: JUMPI
00001b01: DUP3
00001b02: MLOAD
00001b03: DUP3
00001b04: SSTORE
00001b05: SWAP2
00001b06: PUSH1 0x20
00001b08: ADD
00001b09: SWAP2
00001b0a: SWAP1
00001b0b: PUSH1 0x01
00001b0d: ADD
00001b0e: SWAP1
00001b0f: PUSH2 0x1af8
00001b12: JUMP
00001b13: JUMPDEST
00001b14: POP
00001b15: PUSH2 0x0d40
00001b18: SWAP3
00001b19: SWAP2
00001b1a: POP
00001b1b: JUMPDEST
00001b1c: DUP1
00001b1d: DUP3
00001b1e: GT
00001b1f: ISZERO
00001b20: PUSH2 0x0d40
00001b23: JUMPI
00001b24: PUSH1 0x00
00001b26: DUP2
00001b27: SSTORE
00001b28: PUSH1 0x01
00001b2a: ADD
00001b2b: PUSH2 0x1b1b
00001b2e: JUMP
00001b2f: JUMPDEST
00001b30: PUSH1 0x00
00001b32: PUSH8 0xffffffffffffffff
00001b3b: DUP1
00001b3c: DUP5
00001b3d: GT
00001b3e: ISZERO
00001b3f: PUSH2 0x1b4a
00001b42: JUMPI
00001b43: PUSH2 0x1b4a
00001b46: PUSH2 0x202a
00001b49: JUMP
00001b4a: JUMPDEST
00001b4b: PUSH1 0x40
00001b4d: MLOAD
00001b4e: PUSH1 0x1f
00001b50: DUP6
00001b51: ADD
00001b52: PUSH1 0x1f
00001b54: NOT
00001b55: SWAP1
00001b56: DUP2
00001b57: AND
00001b58: PUSH1 0x3f
00001b5a: ADD
00001b5b: AND
00001b5c: DUP2
00001b5d: ADD
00001b5e: SWAP1
00001b5f: DUP3
00001b60: DUP3
00001b61: GT
00001b62: DUP2
00001b63: DUP4
00001b64: LT
00001b65: OR
00001b66: ISZERO
00001b67: PUSH2 0x1b72
00001b6a: JUMPI
00001b6b: PUSH2 0x1b72
00001b6e: PUSH2 0x202a
00001b71: JUMP
00001b72: JUMPDEST
00001b73: DUP2
00001b74: PUSH1 0x40
00001b76: MSTORE
00001b77: DUP1
00001b78: SWAP4
00001b79: POP
00001b7a: DUP6
00001b7b: DUP2
00001b7c: MSTORE
00001b7d: DUP7
00001b7e: DUP7
00001b7f: DUP7
00001b80: ADD
00001b81: GT
00001b82: ISZERO
00001b83: PUSH2 0x1b8b
00001b86: JUMPI
00001b87: PUSH1 0x00
00001b89: DUP1
00001b8a: REVERT
00001b8b: JUMPDEST
00001b8c: DUP6
00001b8d: DUP6
00001b8e: PUSH1 0x20
00001b90: DUP4
00001b91: ADD
00001b92: CALLDATACOPY
00001b93: PUSH1 0x00
00001b95: PUSH1 0x20
00001b97: DUP8
00001b98: DUP4
00001b99: ADD
00001b9a: ADD
00001b9b: MSTORE
00001b9c: POP
00001b9d: POP
00001b9e: POP
00001b9f: SWAP4
00001ba0: SWAP3
00001ba1: POP
00001ba2: POP
00001ba3: POP
00001ba4: JUMP
00001ba5: JUMPDEST
00001ba6: DUP1
00001ba7: CALLDATALOAD
00001ba8: PUSH1 0x01
00001baa: PUSH1 0x01
00001bac: PUSH1 0xa0
00001bae: SHL
00001baf: SUB
00001bb0: DUP2
00001bb1: AND
00001bb2: DUP2
00001bb3: EQ
00001bb4: PUSH2 0x1bbc
00001bb7: JUMPI
00001bb8: PUSH1 0x00
00001bba: DUP1
00001bbb: REVERT
00001bbc: JUMPDEST
00001bbd: SWAP2
00001bbe: SWAP1
00001bbf: POP
00001bc0: JUMP
00001bc1: JUMPDEST
00001bc2: DUP1
00001bc3: CALLDATALOAD
00001bc4: DUP1
00001bc5: ISZERO
00001bc6: ISZERO
00001bc7: DUP2
00001bc8: EQ
00001bc9: PUSH2 0x1bbc
00001bcc: JUMPI
00001bcd: PUSH1 0x00
00001bcf: DUP1
00001bd0: REVERT
00001bd1: JUMPDEST
00001bd2: PUSH1 0x00
00001bd4: PUSH1 0x20
00001bd6: DUP3
00001bd7: DUP5
00001bd8: SUB
00001bd9: SLT
00001bda: ISZERO
00001bdb: PUSH2 0x1be2
00001bde: JUMPI
00001bdf: DUP1
00001be0: DUP2
00001be1: REVERT
00001be2: JUMPDEST
00001be3: PUSH2 0x1032
00001be6: DUP3
00001be7: PUSH2 0x1ba5
00001bea: JUMP
00001beb: JUMPDEST
00001bec: PUSH1 0x00
00001bee: DUP1
00001bef: PUSH1 0x40
00001bf1: DUP4
00001bf2: DUP6
00001bf3: SUB
00001bf4: SLT
00001bf5: ISZERO
00001bf6: PUSH2 0x1bfd
00001bf9: JUMPI
00001bfa: DUP1
00001bfb: DUP2
00001bfc: REVERT
00001bfd: JUMPDEST
00001bfe: PUSH2 0x1c06
00001c01: DUP4
00001c02: PUSH2 0x1ba5
00001c05: JUMP
00001c06: JUMPDEST
00001c07: SWAP2
00001c08: POP
00001c09: PUSH2 0x1c14
00001c0c: PUSH1 0x20
00001c0e: DUP5
00001c0f: ADD
00001c10: PUSH2 0x1ba5
00001c13: JUMP
00001c14: JUMPDEST
00001c15: SWAP1
00001c16: POP
00001c17: SWAP3
00001c18: POP
00001c19: SWAP3
00001c1a: SWAP1
00001c1b: POP
00001c1c: JUMP
00001c1d: JUMPDEST
00001c1e: PUSH1 0x00
00001c20: DUP1
00001c21: PUSH1 0x00
00001c23: PUSH1 0x60
00001c25: DUP5
00001c26: DUP7
00001c27: SUB
00001c28: SLT
00001c29: ISZERO
00001c2a: PUSH2 0x1c31
00001c2d: JUMPI
00001c2e: DUP1
00001c2f: DUP2
00001c30: REVERT
00001c31: JUMPDEST
00001c32: PUSH2 0x1c3a
00001c35: DUP5
00001c36: PUSH2 0x1ba5
00001c39: JUMP
00001c3a: JUMPDEST
00001c3b: SWAP3
00001c3c: POP
00001c3d: PUSH2 0x1c48
00001c40: PUSH1 0x20
00001c42: DUP6
00001c43: ADD
00001c44: PUSH2 0x1ba5
00001c47: JUMP
00001c48: JUMPDEST
00001c49: SWAP2
00001c4a: POP
00001c4b: PUSH1 0x40
00001c4d: DUP5
00001c4e: ADD
00001c4f: CALLDATALOAD
00001c50: SWAP1
00001c51: POP
00001c52: SWAP3
00001c53: POP
00001c54: SWAP3
00001c55: POP
00001c56: SWAP3
00001c57: JUMP
00001c58: JUMPDEST
00001c59: PUSH1 0x00
00001c5b: DUP1
00001c5c: PUSH1 0x00
00001c5e: DUP1
00001c5f: PUSH1 0x80
00001c61: DUP6
00001c62: DUP8
00001c63: SUB
00001c64: SLT
00001c65: ISZERO
00001c66: PUSH2 0x1c6d
00001c69: JUMPI
00001c6a: DUP1
00001c6b: DUP2
00001c6c: REVERT
00001c6d: JUMPDEST
00001c6e: PUSH2 0x1c76
00001c71: DUP6
00001c72: PUSH2 0x1ba5
00001c75: JUMP
00001c76: JUMPDEST
00001c77: SWAP4
00001c78: POP
00001c79: PUSH2 0x1c84
00001c7c: PUSH1 0x20
00001c7e: DUP7
00001c7f: ADD
00001c80: PUSH2 0x1ba5
00001c83: JUMP
00001c84: JUMPDEST
00001c85: SWAP3
00001c86: POP
00001c87: PUSH1 0x40
00001c89: DUP6
00001c8a: ADD
00001c8b: CALLDATALOAD
00001c8c: SWAP2
00001c8d: POP
00001c8e: PUSH1 0x60
00001c90: DUP6
00001c91: ADD
00001c92: CALLDATALOAD
00001c93: PUSH8 0xffffffffffffffff
00001c9c: DUP2
00001c9d: GT
00001c9e: ISZERO
00001c9f: PUSH2 0x1ca6
00001ca2: JUMPI
00001ca3: DUP2
00001ca4: DUP3
00001ca5: REVERT
00001ca6: JUMPDEST
00001ca7: DUP6
00001ca8: ADD
00001ca9: PUSH1 0x1f
00001cab: DUP2
00001cac: ADD
00001cad: DUP8
00001cae: SGT
00001caf: PUSH2 0x1cb6
00001cb2: JUMPI
00001cb3: DUP2
00001cb4: DUP3
00001cb5: REVERT
00001cb6: JUMPDEST
00001cb7: PUSH2 0x1cc5
00001cba: DUP8
00001cbb: DUP3
00001cbc: CALLDATALOAD
00001cbd: PUSH1 0x20
00001cbf: DUP5
00001cc0: ADD
00001cc1: PUSH2 0x1b2f
00001cc4: JUMP
00001cc5: JUMPDEST
00001cc6: SWAP2
00001cc7: POP
00001cc8: POP
00001cc9: SWAP3
00001cca: SWAP6
00001ccb: SWAP2
00001ccc: SWAP5
00001ccd: POP
00001cce: SWAP3
00001ccf: POP
00001cd0: JUMP
00001cd1: JUMPDEST
00001cd2: PUSH1 0x00
00001cd4: DUP1
00001cd5: PUSH1 0x40
00001cd7: DUP4
00001cd8: DUP6
00001cd9: SUB
00001cda: SLT
00001cdb: ISZERO
00001cdc: PUSH2 0x1ce3
00001cdf: JUMPI
00001ce0: DUP2
00001ce1: DUP3
00001ce2: REVERT
00001ce3: JUMPDEST
00001ce4: PUSH2 0x1cec
00001ce7: DUP4
00001ce8: PUSH2 0x1ba5
00001ceb: JUMP
00001cec: JUMPDEST
00001ced: SWAP2
00001cee: POP
00001cef: PUSH2 0x1c14
00001cf2: PUSH1 0x20
00001cf4: DUP5
00001cf5: ADD
00001cf6: PUSH2 0x1bc1
00001cf9: JUMP
00001cfa: JUMPDEST
00001cfb: PUSH1 0x00
00001cfd: DUP1
00001cfe: PUSH1 0x40
00001d00: DUP4
00001d01: DUP6
00001d02: SUB
00001d03: SLT
00001d04: ISZERO
00001d05: PUSH2 0x1d0c
00001d08: JUMPI
00001d09: DUP2
00001d0a: DUP3
00001d0b: REVERT
00001d0c: JUMPDEST
00001d0d: PUSH2 0x1d15
00001d10: DUP4
00001d11: PUSH2 0x1ba5
00001d14: JUMP
00001d15: JUMPDEST
00001d16: SWAP5
00001d17: PUSH1 0x20
00001d19: SWAP4
00001d1a: SWAP1
00001d1b: SWAP4
00001d1c: ADD
00001d1d: CALLDATALOAD
00001d1e: SWAP4
00001d1f: POP
00001d20: POP
00001d21: POP
00001d22: JUMP
00001d23: JUMPDEST
00001d24: PUSH1 0x00
00001d26: PUSH1 0x20
00001d28: DUP3
00001d29: DUP5
00001d2a: SUB
00001d2b: SLT
00001d2c: ISZERO
00001d2d: PUSH2 0x1d34
00001d30: JUMPI
00001d31: DUP1
00001d32: DUP2
00001d33: REVERT
00001d34: JUMPDEST
00001d35: PUSH2 0x1032
00001d38: DUP3
00001d39: PUSH2 0x1bc1
00001d3c: JUMP
00001d3d: JUMPDEST
00001d3e: PUSH1 0x00
00001d40: PUSH1 0x20
00001d42: DUP3
00001d43: DUP5
00001d44: SUB
00001d45: SLT
00001d46: ISZERO
00001d47: PUSH2 0x1d4e
00001d4a: JUMPI
00001d4b: DUP1
00001d4c: DUP2
00001d4d: REVERT
00001d4e: JUMPDEST
00001d4f: DUP2
00001d50: CALLDATALOAD
00001d51: PUSH2 0x1032
00001d54: DUP2
00001d55: PUSH2 0x2040
00001d58: JUMP
00001d59: JUMPDEST
00001d5a: PUSH1 0x00
00001d5c: PUSH1 0x20
00001d5e: DUP3
00001d5f: DUP5
00001d60: SUB
00001d61: SLT
00001d62: ISZERO
00001d63: PUSH2 0x1d6a
00001d66: JUMPI
00001d67: DUP1
00001d68: DUP2
00001d69: REVERT
00001d6a: JUMPDEST
00001d6b: DUP2
00001d6c: MLOAD
00001d6d: PUSH2 0x1032
00001d70: DUP2
00001d71: PUSH2 0x2040
00001d74: JUMP
00001d75: JUMPDEST
00001d76: PUSH1 0x00
00001d78: PUSH1 0x20
00001d7a: DUP3
00001d7b: DUP5
00001d7c: SUB
00001d7d: SLT
00001d7e: ISZERO
00001d7f: PUSH2 0x1d86
00001d82: JUMPI
00001d83: DUP1
00001d84: DUP2
00001d85: REVERT
00001d86: JUMPDEST
00001d87: DUP2
00001d88: CALLDATALOAD
00001d89: PUSH8 0xffffffffffffffff
00001d92: DUP2
00001d93: GT
00001d94: ISZERO
00001d95: PUSH2 0x1d9c
00001d98: JUMPI
00001d99: DUP2
00001d9a: DUP3
00001d9b: REVERT
00001d9c: JUMPDEST
00001d9d: DUP3
00001d9e: ADD
00001d9f: PUSH1 0x1f
00001da1: DUP2
00001da2: ADD
00001da3: DUP5
00001da4: SGT
00001da5: PUSH2 0x1dac
00001da8: JUMPI
00001da9: DUP2
00001daa: DUP3
00001dab: REVERT
00001dac: JUMPDEST
00001dad: PUSH2 0x17a3
00001db0: DUP5
00001db1: DUP3
00001db2: CALLDATALOAD
00001db3: PUSH1 0x20
00001db5: DUP5
00001db6: ADD
00001db7: PUSH2 0x1b2f
00001dba: JUMP
00001dbb: JUMPDEST
00001dbc: PUSH1 0x00
00001dbe: PUSH1 0x20
00001dc0: DUP3
00001dc1: DUP5
00001dc2: SUB
00001dc3: SLT
00001dc4: ISZERO
00001dc5: PUSH2 0x1dcc
00001dc8: JUMPI
00001dc9: DUP1
00001dca: DUP2
00001dcb: REVERT
00001dcc: JUMPDEST
00001dcd: POP
00001dce: CALLDATALOAD
00001dcf: SWAP2
00001dd0: SWAP1
00001dd1: POP
00001dd2: JUMP
00001dd3: JUMPDEST
00001dd4: PUSH1 0x00
00001dd6: DUP2
00001dd7: MLOAD
00001dd8: DUP1
00001dd9: DUP5
00001dda: MSTORE
00001ddb: PUSH2 0x1deb
00001dde: DUP2
00001ddf: PUSH1 0x20
00001de1: DUP7
00001de2: ADD
00001de3: PUSH1 0x20
00001de5: DUP7
00001de6: ADD
00001de7: PUSH2 0x1f68
00001dea: JUMP
00001deb: JUMPDEST
00001dec: PUSH1 0x1f
00001dee: ADD
00001def: PUSH1 0x1f
00001df1: NOT
00001df2: AND
00001df3: SWAP3
00001df4: SWAP1
00001df5: SWAP3
00001df6: ADD
00001df7: PUSH1 0x20
00001df9: ADD
00001dfa: SWAP3
00001dfb: SWAP2
00001dfc: POP
00001dfd: POP
00001dfe: JUMP
00001dff: JUMPDEST
00001e00: PUSH1 0x00
00001e02: DUP4
00001e03: MLOAD
00001e04: PUSH2 0x1e11
00001e07: DUP2
00001e08: DUP5
00001e09: PUSH1 0x20
00001e0b: DUP9
00001e0c: ADD
00001e0d: PUSH2 0x1f68
00001e10: JUMP
00001e11: JUMPDEST
00001e12: DUP4
00001e13: MLOAD
00001e14: SWAP1
00001e15: DUP4
00001e16: ADD
00001e17: SWAP1
00001e18: PUSH2 0x1e25
00001e1b: DUP2
00001e1c: DUP4
00001e1d: PUSH1 0x20
00001e1f: DUP9
00001e20: ADD
00001e21: PUSH2 0x1f68
00001e24: JUMP
00001e25: JUMPDEST
00001e26: ADD
00001e27: SWAP5
00001e28: SWAP4
00001e29: POP
00001e2a: POP
00001e2b: POP
00001e2c: POP
00001e2d: JUMP
00001e2e: JUMPDEST
00001e2f: PUSH1 0x01
00001e31: PUSH1 0x01
00001e33: PUSH1 0xa0
00001e35: SHL
00001e36: SUB
00001e37: DUP6
00001e38: DUP2
00001e39: AND
00001e3a: DUP3
00001e3b: MSTORE
00001e3c: DUP5
00001e3d: AND
00001e3e: PUSH1 0x20
00001e40: DUP3
00001e41: ADD
00001e42: MSTORE
00001e43: PUSH1 0x40
00001e45: DUP2
00001e46: ADD
00001e47: DUP4
00001e48: SWAP1
00001e49: MSTORE
00001e4a: PUSH1 0x80
00001e4c: PUSH1 0x60
00001e4e: DUP3
00001e4f: ADD
00001e50: DUP2
00001e51: SWAP1
00001e52: MSTORE
00001e53: PUSH1 0x00
00001e55: SWAP1
00001e56: PUSH2 0x1e61
00001e59: SWAP1
00001e5a: DUP4
00001e5b: ADD
00001e5c: DUP5
00001e5d: PUSH2 0x1dd3
00001e60: JUMP
00001e61: JUMPDEST
00001e62: SWAP7
00001e63: SWAP6
00001e64: POP
00001e65: POP
00001e66: POP
00001e67: POP
00001e68: POP
00001e69: POP
00001e6a: JUMP
00001e6b: JUMPDEST
00001e6c: PUSH1 0x20
00001e6e: DUP2
00001e6f: MSTORE
00001e70: PUSH1 0x00
00001e72: PUSH2 0x1032
00001e75: PUSH1 0x20
00001e77: DUP4
00001e78: ADD
00001e79: DUP5
00001e7a: PUSH2 0x1dd3
00001e7d: JUMP
00001e7e: JUMPDEST
00001e7f: PUSH1 0x20
00001e81: DUP1
00001e82: DUP3
00001e83: MSTORE
00001e84: DUP2
00001e85: DUP2
00001e86: ADD
00001e87: MSTORE
00001e88: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001ea9: PUSH1 0x40
00001eab: DUP3
00001eac: ADD
00001ead: MSTORE
00001eae: PUSH1 0x60
00001eb0: ADD
00001eb1: SWAP1
00001eb2: JUMP
00001eb3: JUMPDEST
00001eb4: PUSH1 0x20
00001eb6: DUP1
00001eb7: DUP3
00001eb8: MSTORE
00001eb9: PUSH1 0x33
00001ebb: SWAP1
00001ebc: DUP3
00001ebd: ADD
00001ebe: MSTORE
00001ebf: PUSH32 0x455243373231413a207472616e7366657220746f206e6f6e2045524337323152
00001ee0: PUSH1 0x40
00001ee2: DUP3
00001ee3: ADD
00001ee4: MSTORE
00001ee5: PUSH19 0x32b1b2b4bb32b91034b6b83632b6b2b73a32b9
00001ef9: PUSH1 0x69
00001efb: SHL
00001efc: PUSH1 0x60
00001efe: DUP3
00001eff: ADD
00001f00: MSTORE
00001f01: PUSH1 0x80
00001f03: ADD
00001f04: SWAP1
00001f05: JUMP
00001f06: JUMPDEST
00001f07: PUSH1 0x00
00001f09: DUP3
00001f0a: NOT
00001f0b: DUP3
00001f0c: GT
00001f0d: ISZERO
00001f0e: PUSH2 0x1f19
00001f11: JUMPI
00001f12: PUSH2 0x1f19
00001f15: PUSH2 0x1ffe
00001f18: JUMP
00001f19: JUMPDEST
00001f1a: POP
00001f1b: ADD
00001f1c: SWAP1
00001f1d: JUMP
00001f1e: JUMPDEST
00001f1f: PUSH1 0x00
00001f21: DUP3
00001f22: PUSH2 0x1f2d
00001f25: JUMPI
00001f26: PUSH2 0x1f2d
00001f29: PUSH2 0x2014
00001f2c: JUMP
00001f2d: JUMPDEST
00001f2e: POP
00001f2f: DIV
00001f30: SWAP1
00001f31: JUMP
00001f32: JUMPDEST
00001f33: PUSH1 0x00
00001f35: DUP2
00001f36: PUSH1 0x00
00001f38: NOT
00001f39: DIV
00001f3a: DUP4
00001f3b: GT
00001f3c: DUP3
00001f3d: ISZERO
00001f3e: ISZERO
00001f3f: AND
00001f40: ISZERO
00001f41: PUSH2 0x1f4c
00001f44: JUMPI
00001f45: PUSH2 0x1f4c
00001f48: PUSH2 0x1ffe
00001f4b: JUMP
00001f4c: JUMPDEST
00001f4d: POP
00001f4e: MUL
00001f4f: SWAP1
00001f50: JUMP
00001f51: JUMPDEST
00001f52: PUSH1 0x00
00001f54: DUP3
00001f55: DUP3
00001f56: LT
00001f57: ISZERO
00001f58: PUSH2 0x1f63
00001f5b: JUMPI
00001f5c: PUSH2 0x1f63
00001f5f: PUSH2 0x1ffe
00001f62: JUMP
00001f63: JUMPDEST
00001f64: POP
00001f65: SUB
00001f66: SWAP1
00001f67: JUMP
00001f68: JUMPDEST
00001f69: PUSH1 0x00
00001f6b: JUMPDEST
00001f6c: DUP4
00001f6d: DUP2
00001f6e: LT
00001f6f: ISZERO
00001f70: PUSH2 0x1f83
00001f73: JUMPI
00001f74: DUP2
00001f75: DUP2
00001f76: ADD
00001f77: MLOAD
00001f78: DUP4
00001f79: DUP3
00001f7a: ADD
00001f7b: MSTORE
00001f7c: PUSH1 0x20
00001f7e: ADD
00001f7f: PUSH2 0x1f6b
00001f82: JUMP
00001f83: JUMPDEST
00001f84: DUP4
00001f85: DUP2
00001f86: GT
00001f87: ISZERO
00001f88: PUSH2 0x0f65
00001f8b: JUMPI
00001f8c: POP
00001f8d: POP
00001f8e: PUSH1 0x00
00001f90: SWAP2
00001f91: ADD
00001f92: MSTORE
00001f93: JUMP
00001f94: JUMPDEST
00001f95: PUSH1 0x01
00001f97: DUP2
00001f98: DUP2
00001f99: SHR
00001f9a: SWAP1
00001f9b: DUP3
00001f9c: AND
00001f9d: DUP1
00001f9e: PUSH2 0x1fa8
00001fa1: JUMPI
00001fa2: PUSH1 0x7f
00001fa4: DUP3
00001fa5: AND
00001fa6: SWAP2
00001fa7: POP
00001fa8: JUMPDEST
00001fa9: PUSH1 0x20
00001fab: DUP3
00001fac: LT
00001fad: DUP2
00001fae: EQ
00001faf: ISZERO
00001fb0: PUSH2 0x1fc9
00001fb3: JUMPI
00001fb4: PUSH4 0x4e487b71
00001fb9: PUSH1 0xe0
00001fbb: SHL
00001fbc: PUSH1 0x00
00001fbe: MSTORE
00001fbf: PUSH1 0x22
00001fc1: PUSH1 0x04
00001fc3: MSTORE
00001fc4: PUSH1 0x24
00001fc6: PUSH1 0x00
00001fc8: REVERT
00001fc9: JUMPDEST
00001fca: POP
00001fcb: SWAP2
00001fcc: SWAP1
00001fcd: POP
00001fce: JUMP
00001fcf: JUMPDEST
00001fd0: PUSH1 0x00
00001fd2: PUSH1 0x00
00001fd4: NOT
00001fd5: DUP3
00001fd6: EQ
00001fd7: ISZERO
00001fd8: PUSH2 0x1fe3
00001fdb: JUMPI
00001fdc: PUSH2 0x1fe3
00001fdf: PUSH2 0x1ffe
00001fe2: JUMP
00001fe3: JUMPDEST
00001fe4: POP
00001fe5: PUSH1 0x01
00001fe7: ADD
00001fe8: SWAP1
00001fe9: JUMP
00001fea: JUMPDEST
00001feb: PUSH1 0x00
00001fed: DUP3
00001fee: PUSH2 0x1ff9
00001ff1: JUMPI
00001ff2: PUSH2 0x1ff9
00001ff5: PUSH2 0x2014
00001ff8: JUMP
00001ff9: JUMPDEST
00001ffa: POP
00001ffb: MOD
00001ffc: SWAP1
00001ffd: JUMP
00001ffe: JUMPDEST
00001fff: PUSH4 0x4e487b71
00002004: PUSH1 0xe0
00002006: SHL
00002007: PUSH1 0x00
00002009: MSTORE
0000200a: PUSH1 0x11
0000200c: PUSH1 0x04
0000200e: MSTORE
0000200f: PUSH1 0x24
00002011: PUSH1 0x00
00002013: REVERT
00002014: JUMPDEST
00002015: PUSH4 0x4e487b71
0000201a: PUSH1 0xe0
0000201c: SHL
0000201d: PUSH1 0x00
0000201f: MSTORE
00002020: PUSH1 0x12
00002022: PUSH1 0x04
00002024: MSTORE
00002025: PUSH1 0x24
00002027: PUSH1 0x00
00002029: REVERT
0000202a: JUMPDEST
0000202b: PUSH4 0x4e487b71
00002030: PUSH1 0xe0
00002032: SHL
00002033: PUSH1 0x00
00002035: MSTORE
00002036: PUSH1 0x41
00002038: PUSH1 0x04
0000203a: MSTORE
0000203b: PUSH1 0x24
0000203d: PUSH1 0x00
0000203f: REVERT
00002040: JUMPDEST
00002041: PUSH1 0x01
00002043: PUSH1 0x01
00002045: PUSH1 0xe0
00002047: SHL
00002048: SUB
00002049: NOT
0000204a: DUP2
0000204b: AND
0000204c: DUP2
0000204d: EQ
0000204e: PUSH2 0x0c09
00002051: JUMPI
00002052: PUSH1 0x00
00002054: DUP1
00002055: REVERT
00002056: INVALID
00002057: LOG2
00002058: PUSH5 0x6970667358
0000205e: UNKNOWN(0x22)
0000205f: SLT
00002060: KECCAK256
00002061: RETURNDATACOPY
00002062: SWAP11
00002063: UNKNOWN(0xD0)
00002064: EQ
00002065: PUSH10 0xe7e8c18fd5ed1f6fdc3c
00002070: SWAP12
00002071: UNKNOWN(0xC8)
00002072: UNKNOWN(0xB2)
00002073: SDIV
00002074: PUSH31

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xd731de6a",
            "selector": "0xd731de6a",
            "calldata_variants": [
                "0xd731de6a",
                "0xd731de6a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfd19ee1c",
            "selector": "0xfd19ee1c",
            "calldata_variants": [
                "0xfd19ee1c",
                "0xfd19ee1c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa082cfd4",
            "selector": "0xa082cfd4",
            "calldata_variants": [
                "0xa082cfd4",
                "0xa082cfd40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 2354,
            "type": "tx_origin_used"
        },
        {
            "pc": 2353,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x029da802d89df4d653494efe5330801ee044af1d3c04c99388841dab2aa225c3
call_targets: 0x21ef3d632674dde6e0f4b019ee214b5e01046878
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x029da802d89df4d653494efe5330801ee044af1d3c04c99388841dab2aa225c3",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x21ef3d632674dde6e0f4b019ee214b5e01046878"
    ],
    "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": "0xd731de6a",
            "selector": "0xd731de6a",
            "calldata_variants": [
                "0xd731de6a",
                "0xd731de6a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfd19ee1c",
            "selector": "0xfd19ee1c",
            "calldata_variants": [
                "0xfd19ee1c",
                "0xfd19ee1c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa082cfd4",
            "selector": "0xa082cfd4",
            "calldata_variants": [
                "0xa082cfd4",
                "0xa082cfd40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3014,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4553,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5886,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [
        {
            "pc": 2354,
            "type": "tx_origin_used"
        },
        {
            "pc": 2353,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 3
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x029da802d89df4d653494efe5330801ee044af1d3c04c99388841dab2aa225c3
call_targets: 0x21ef3d632674dde6e0f4b019ee214b5e01046878
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x029da802d89df4d653494efe5330801ee044af1d3c04c99388841dab2aa225c3",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x21ef3d632674dde6e0f4b019ee214b5e01046878"
    ],
    "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": "0xd731de6a",
            "selector": "0xd731de6a",
            "calldata_variants": [
                "0xd731de6a",
                "0xd731de6a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfd19ee1c",
            "selector": "0xfd19ee1c",
            "calldata_variants": [
                "0xfd19ee1c",
                "0xfd19ee1c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa082cfd4",
            "selector": "0xa082cfd4",
            "calldata_variants": [
                "0xa082cfd4",
                "0xa082cfd40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3014,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4553,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5886,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": [
        {
            "pc": 2354,
            "type": "tx_origin_used"
        },
        {
            "pc": 2353,
            "type": "tx_origin_used"
        }
    ]
}