Analysis Run

019ba5f9-b6eb-70af-9318-5b2d85c0f5e3

complete

Chain ID

1

Address

0xae78736cd615f374d3085123a210448e74fc6393

Block Number

—

Created

Sat, Jan 10, 2026 3:36 AM

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?

back to vulns open contract

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
32008	artifact.fetch	complete	1 / 3	3 months ago
32009	proxy.resolve	complete	1 / 3	3 months ago
32010	tool.cast_disasm	complete	1 / 3	3 months ago
32011	analysis.bundle	complete	1 / 3	3 months ago
32012	capability.graph	complete	1 / 3	3 months ago
32013	detector.run	complete	1 / 3	3 months ago
32014	validation.fork	complete	1 / 3	3 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: yes

Proxy evidence

{
    "status": "not_proxy"
}

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)

11

EXT*/BALANCE

11

Total opcodes

4474

Flags

heavy_ext_balance_usage

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x016e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6c985a88
00000019: GT
0000001a: PUSH2 0x00cb
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x95d89b41
00000024: GT
00000025: PUSH2 0x007f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd6eb5910
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd6eb5910
0000003a: EQ
0000003b: PUSH2 0x056d
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdd62ed3e
00000045: EQ
00000046: PUSH2 0x0582
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe6aa216c
00000050: EQ
00000051: PUSH2 0x05ca
00000054: JUMPI
00000055: PUSH2 0x01ae
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x95d89b41
00000060: EQ
00000061: PUSH2 0x04cc
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xa457c2d7
0000006b: EQ
0000006c: PUSH2 0x04e1
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa9059cbb
00000076: EQ
00000077: PUSH2 0x0527
0000007a: JUMPI
0000007b: PUSH2 0x01ae
0000007e: JUMP
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x852185fc
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x852185fc
00000091: EQ
00000092: PUSH2 0x0447
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x8b32fa23
0000009c: EQ
0000009d: PUSH2 0x045c
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x94bf804d
000000a7: EQ
000000a8: PUSH2 0x0486
000000ab: JUMPI
000000ac: PUSH2 0x01ae
000000af: JUMP
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x6c985a88
000000b7: EQ
000000b8: PUSH2 0x03ff
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x70a08231
000000c2: EQ
000000c3: PUSH2 0x0407
000000c6: JUMPI
000000c7: PUSH2 0x01ae
000000ca: JUMP
000000cb: JUMPDEST
000000cc: DUP1
000000cd: PUSH4 0x313ce567
000000d2: GT
000000d3: PUSH2 0x0122
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x42966c68
000000dd: GT
000000de: PUSH2 0x0107
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x42966c68
000000e8: EQ
000000e9: PUSH2 0x0396
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x4346f03e
000000f3: EQ
000000f4: PUSH2 0x03c0
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x54fd4d50
000000fe: EQ
000000ff: PUSH2 0x03ea
00000102: JUMPI
00000103: PUSH2 0x01ae
00000106: JUMP
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0x313ce567
0000010e: EQ
0000010f: PUSH2 0x0325
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x39509351
00000119: EQ
0000011a: PUSH2 0x0350
0000011d: JUMPI
0000011e: PUSH2 0x01ae
00000121: JUMP
00000122: JUMPDEST
00000123: DUP1
00000124: PUSH4 0x18160ddd
00000129: GT
0000012a: PUSH2 0x0153
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x18160ddd
00000134: EQ
00000135: PUSH2 0x0297
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x188e0dc6
0000013f: EQ
00000140: PUSH2 0x02be
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x23b872dd
0000014a: EQ
0000014b: PUSH2 0x02d5
0000014e: JUMPI
0000014f: PUSH2 0x01ae
00000152: JUMP
00000153: JUMPDEST
00000154: DUP1
00000155: PUSH4 0x06fdde03
0000015a: EQ
0000015b: PUSH2 0x01b3
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x095ea7b3
00000165: EQ
00000166: PUSH2 0x023d
00000169: JUMPI
0000016a: PUSH2 0x01ae
0000016d: JUMP
0000016e: JUMPDEST
0000016f: CALLDATASIZE
00000170: PUSH2 0x01ae
00000173: JUMPI
00000174: PUSH1 0x40
00000176: DUP1
00000177: MLOAD
00000178: CALLVALUE
00000179: DUP2
0000017a: MSTORE
0000017b: TIMESTAMP
0000017c: PUSH1 0x20
0000017e: DUP3
0000017f: ADD
00000180: MSTORE
00000181: DUP2
00000182: MLOAD
00000183: CALLER
00000184: SWAP3
00000185: PUSH32 0xef51b4c870b8b0100eae2072e91db01222a303072af3728e58c9d4d2da33127f
000001a6: SWAP3
000001a7: DUP3
000001a8: SWAP1
000001a9: SUB
000001aa: ADD
000001ab: SWAP1
000001ac: LOG2
000001ad: STOP
000001ae: JUMPDEST
000001af: PUSH1 0x00
000001b1: DUP1
000001b2: REVERT
000001b3: JUMPDEST
000001b4: CALLVALUE
000001b5: DUP1
000001b6: ISZERO
000001b7: PUSH2 0x01bf
000001ba: JUMPI
000001bb: PUSH1 0x00
000001bd: DUP1
000001be: REVERT
000001bf: JUMPDEST
000001c0: POP
000001c1: PUSH2 0x01c8
000001c4: PUSH2 0x05df
000001c7: JUMP
000001c8: JUMPDEST
000001c9: PUSH1 0x40
000001cb: DUP1
000001cc: MLOAD
000001cd: PUSH1 0x20
000001cf: DUP1
000001d0: DUP3
000001d1: MSTORE
000001d2: DUP4
000001d3: MLOAD
000001d4: DUP2
000001d5: DUP4
000001d6: ADD
000001d7: MSTORE
000001d8: DUP4
000001d9: MLOAD
000001da: SWAP2
000001db: SWAP3
000001dc: DUP4
000001dd: SWAP3
000001de: SWAP1
000001df: DUP4
000001e0: ADD
000001e1: SWAP2
000001e2: DUP6
000001e3: ADD
000001e4: SWAP1
000001e5: DUP1
000001e6: DUP4
000001e7: DUP4
000001e8: PUSH1 0x00
000001ea: JUMPDEST
000001eb: DUP4
000001ec: DUP2
000001ed: LT
000001ee: ISZERO
000001ef: PUSH2 0x0202
000001f2: JUMPI
000001f3: DUP2
000001f4: DUP2
000001f5: ADD
000001f6: MLOAD
000001f7: DUP4
000001f8: DUP3
000001f9: ADD
000001fa: MSTORE
000001fb: PUSH1 0x20
000001fd: ADD
000001fe: PUSH2 0x01ea
00000201: JUMP
00000202: JUMPDEST
00000203: POP
00000204: POP
00000205: POP
00000206: POP
00000207: SWAP1
00000208: POP
00000209: SWAP1
0000020a: DUP2
0000020b: ADD
0000020c: SWAP1
0000020d: PUSH1 0x1f
0000020f: AND
00000210: DUP1
00000211: ISZERO
00000212: PUSH2 0x022f
00000215: JUMPI
00000216: DUP1
00000217: DUP3
00000218: SUB
00000219: DUP1
0000021a: MLOAD
0000021b: PUSH1 0x01
0000021d: DUP4
0000021e: PUSH1 0x20
00000220: SUB
00000221: PUSH2 0x0100
00000224: EXP
00000225: SUB
00000226: NOT
00000227: AND
00000228: DUP2
00000229: MSTORE
0000022a: PUSH1 0x20
0000022c: ADD
0000022d: SWAP2
0000022e: POP
0000022f: JUMPDEST
00000230: POP
00000231: SWAP3
00000232: POP
00000233: POP
00000234: POP
00000235: PUSH1 0x40
00000237: MLOAD
00000238: DUP1
00000239: SWAP2
0000023a: SUB
0000023b: SWAP1
0000023c: RETURN
0000023d: JUMPDEST
0000023e: CALLVALUE
0000023f: DUP1
00000240: ISZERO
00000241: PUSH2 0x0249
00000244: JUMPI
00000245: PUSH1 0x00
00000247: DUP1
00000248: REVERT
00000249: JUMPDEST
0000024a: POP
0000024b: PUSH2 0x0283
0000024e: PUSH1 0x04
00000250: DUP1
00000251: CALLDATASIZE
00000252: SUB
00000253: PUSH1 0x40
00000255: DUP2
00000256: LT
00000257: ISZERO
00000258: PUSH2 0x0260
0000025b: JUMPI
0000025c: PUSH1 0x00
0000025e: DUP1
0000025f: REVERT
00000260: JUMPDEST
00000261: POP
00000262: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000277: DUP2
00000278: CALLDATALOAD
00000279: AND
0000027a: SWAP1
0000027b: PUSH1 0x20
0000027d: ADD
0000027e: CALLDATALOAD
0000027f: PUSH2 0x0694
00000282: JUMP
00000283: JUMPDEST
00000284: PUSH1 0x40
00000286: DUP1
00000287: MLOAD
00000288: SWAP2
00000289: ISZERO
0000028a: ISZERO
0000028b: DUP3
0000028c: MSTORE
0000028d: MLOAD
0000028e: SWAP1
0000028f: DUP2
00000290: SWAP1
00000291: SUB
00000292: PUSH1 0x20
00000294: ADD
00000295: SWAP1
00000296: RETURN
00000297: JUMPDEST
00000298: CALLVALUE
00000299: DUP1
0000029a: ISZERO
0000029b: PUSH2 0x02a3
0000029e: JUMPI
0000029f: PUSH1 0x00
000002a1: DUP1
000002a2: REVERT
000002a3: JUMPDEST
000002a4: POP
000002a5: PUSH2 0x02ac
000002a8: PUSH2 0x06b2
000002ab: JUMP
000002ac: JUMPDEST
000002ad: PUSH1 0x40
000002af: DUP1
000002b0: MLOAD
000002b1: SWAP2
000002b2: DUP3
000002b3: MSTORE
000002b4: MLOAD
000002b5: SWAP1
000002b6: DUP2
000002b7: SWAP1
000002b8: SUB
000002b9: PUSH1 0x20
000002bb: ADD
000002bc: SWAP1
000002bd: RETURN
000002be: JUMPDEST
000002bf: CALLVALUE
000002c0: DUP1
000002c1: ISZERO
000002c2: PUSH2 0x02ca
000002c5: JUMPI
000002c6: PUSH1 0x00
000002c8: DUP1
000002c9: REVERT
000002ca: JUMPDEST
000002cb: POP
000002cc: PUSH2 0x02d3
000002cf: PUSH2 0x06b8
000002d2: JUMP
000002d3: JUMPDEST
000002d4: STOP
000002d5: JUMPDEST
000002d6: CALLVALUE
000002d7: DUP1
000002d8: ISZERO
000002d9: PUSH2 0x02e1
000002dc: JUMPI
000002dd: PUSH1 0x00
000002df: DUP1
000002e0: REVERT
000002e1: JUMPDEST
000002e2: POP
000002e3: PUSH2 0x0283
000002e6: PUSH1 0x04
000002e8: DUP1
000002e9: CALLDATASIZE
000002ea: SUB
000002eb: PUSH1 0x60
000002ed: DUP2
000002ee: LT
000002ef: ISZERO
000002f0: PUSH2 0x02f8
000002f3: JUMPI
000002f4: PUSH1 0x00
000002f6: DUP1
000002f7: REVERT
000002f8: JUMPDEST
000002f9: POP
000002fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000030f: DUP2
00000310: CALLDATALOAD
00000311: DUP2
00000312: AND
00000313: SWAP2
00000314: PUSH1 0x20
00000316: DUP2
00000317: ADD
00000318: CALLDATALOAD
00000319: SWAP1
0000031a: SWAP2
0000031b: AND
0000031c: SWAP1
0000031d: PUSH1 0x40
0000031f: ADD
00000320: CALLDATALOAD
00000321: PUSH2 0x085f
00000324: JUMP
00000325: JUMPDEST
00000326: CALLVALUE
00000327: DUP1
00000328: ISZERO
00000329: PUSH2 0x0331
0000032c: JUMPI
0000032d: PUSH1 0x00
0000032f: DUP1
00000330: REVERT
00000331: JUMPDEST
00000332: POP
00000333: PUSH2 0x033a
00000336: PUSH2 0x0900
00000339: JUMP
0000033a: JUMPDEST
0000033b: PUSH1 0x40
0000033d: DUP1
0000033e: MLOAD
0000033f: PUSH1 0xff
00000341: SWAP1
00000342: SWAP3
00000343: AND
00000344: DUP3
00000345: MSTORE
00000346: MLOAD
00000347: SWAP1
00000348: DUP2
00000349: SWAP1
0000034a: SUB
0000034b: PUSH1 0x20
0000034d: ADD
0000034e: SWAP1
0000034f: RETURN
00000350: JUMPDEST
00000351: CALLVALUE
00000352: DUP1
00000353: ISZERO
00000354: PUSH2 0x035c
00000357: JUMPI
00000358: PUSH1 0x00
0000035a: DUP1
0000035b: REVERT
0000035c: JUMPDEST
0000035d: POP
0000035e: PUSH2 0x0283
00000361: PUSH1 0x04
00000363: DUP1
00000364: CALLDATASIZE
00000365: SUB
00000366: PUSH1 0x40
00000368: DUP2
00000369: LT
0000036a: ISZERO
0000036b: PUSH2 0x0373
0000036e: JUMPI
0000036f: PUSH1 0x00
00000371: DUP1
00000372: REVERT
00000373: JUMPDEST
00000374: POP
00000375: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000038a: DUP2
0000038b: CALLDATALOAD
0000038c: AND
0000038d: SWAP1
0000038e: PUSH1 0x20
00000390: ADD
00000391: CALLDATALOAD
00000392: PUSH2 0x0909
00000395: JUMP
00000396: JUMPDEST
00000397: CALLVALUE
00000398: DUP1
00000399: ISZERO
0000039a: PUSH2 0x03a2
0000039d: JUMPI
0000039e: PUSH1 0x00
000003a0: DUP1
000003a1: REVERT
000003a2: JUMPDEST
000003a3: POP
000003a4: PUSH2 0x02d3
000003a7: PUSH1 0x04
000003a9: DUP1
000003aa: CALLDATASIZE
000003ab: SUB
000003ac: PUSH1 0x20
000003ae: DUP2
000003af: LT
000003b0: ISZERO
000003b1: PUSH2 0x03b9
000003b4: JUMPI
000003b5: PUSH1 0x00
000003b7: DUP1
000003b8: REVERT
000003b9: JUMPDEST
000003ba: POP
000003bb: CALLDATALOAD
000003bc: PUSH2 0x0964
000003bf: JUMP
000003c0: JUMPDEST
000003c1: CALLVALUE
000003c2: DUP1
000003c3: ISZERO
000003c4: PUSH2 0x03cc
000003c7: JUMPI
000003c8: PUSH1 0x00
000003ca: DUP1
000003cb: REVERT
000003cc: JUMPDEST
000003cd: POP
000003ce: PUSH2 0x02ac
000003d1: PUSH1 0x04
000003d3: DUP1
000003d4: CALLDATASIZE
000003d5: SUB
000003d6: PUSH1 0x20
000003d8: DUP2
000003d9: LT
000003da: ISZERO
000003db: PUSH2 0x03e3
000003de: JUMPI
000003df: PUSH1 0x00
000003e1: DUP1
000003e2: REVERT
000003e3: JUMPDEST
000003e4: POP
000003e5: CALLDATALOAD
000003e6: PUSH2 0x0af6
000003e9: JUMP
000003ea: JUMPDEST
000003eb: CALLVALUE
000003ec: DUP1
000003ed: ISZERO
000003ee: PUSH2 0x03f6
000003f1: JUMPI
000003f2: PUSH1 0x00
000003f4: DUP1
000003f5: REVERT
000003f6: JUMPDEST
000003f7: POP
000003f8: PUSH2 0x033a
000003fb: PUSH2 0x0caf
000003fe: JUMP
000003ff: JUMPDEST
00000400: PUSH2 0x02d3
00000403: PUSH2 0x0cb8
00000406: JUMP
00000407: JUMPDEST
00000408: CALLVALUE
00000409: DUP1
0000040a: ISZERO
0000040b: PUSH2 0x0413
0000040e: JUMPI
0000040f: PUSH1 0x00
00000411: DUP1
00000412: REVERT
00000413: JUMPDEST
00000414: POP
00000415: PUSH2 0x02ac
00000418: PUSH1 0x04
0000041a: DUP1
0000041b: CALLDATASIZE
0000041c: SUB
0000041d: PUSH1 0x20
0000041f: DUP2
00000420: LT
00000421: ISZERO
00000422: PUSH2 0x042a
00000425: JUMPI
00000426: PUSH1 0x00
00000428: DUP1
00000429: REVERT
0000042a: JUMPDEST
0000042b: POP
0000042c: CALLDATALOAD
0000042d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000442: AND
00000443: PUSH2 0x0e67
00000446: JUMP
00000447: JUMPDEST
00000448: CALLVALUE
00000449: DUP1
0000044a: ISZERO
0000044b: PUSH2 0x0453
0000044e: JUMPI
0000044f: PUSH1 0x00
00000451: DUP1
00000452: REVERT
00000453: JUMPDEST
00000454: POP
00000455: PUSH2 0x02ac
00000458: PUSH2 0x0e8f
0000045b: JUMP
0000045c: JUMPDEST
0000045d: CALLVALUE
0000045e: DUP1
0000045f: ISZERO
00000460: PUSH2 0x0468
00000463: JUMPI
00000464: PUSH1 0x00
00000466: DUP1
00000467: REVERT
00000468: JUMPDEST
00000469: POP
0000046a: PUSH2 0x02ac
0000046d: PUSH1 0x04
0000046f: DUP1
00000470: CALLDATASIZE
00000471: SUB
00000472: PUSH1 0x20
00000474: DUP2
00000475: LT
00000476: ISZERO
00000477: PUSH2 0x047f
0000047a: JUMPI
0000047b: PUSH1 0x00
0000047d: DUP1
0000047e: REVERT
0000047f: JUMPDEST
00000480: POP
00000481: CALLDATALOAD
00000482: PUSH2 0x0ed6
00000485: JUMP
00000486: JUMPDEST
00000487: CALLVALUE
00000488: DUP1
00000489: ISZERO
0000048a: PUSH2 0x0492
0000048d: JUMPI
0000048e: PUSH1 0x00
00000490: DUP1
00000491: REVERT
00000492: JUMPDEST
00000493: POP
00000494: PUSH2 0x02d3
00000497: PUSH1 0x04
00000499: DUP1
0000049a: CALLDATASIZE
0000049b: SUB
0000049c: PUSH1 0x40
0000049e: DUP2
0000049f: LT
000004a0: ISZERO
000004a1: PUSH2 0x04a9
000004a4: JUMPI
000004a5: PUSH1 0x00
000004a7: DUP1
000004a8: REVERT
000004a9: JUMPDEST
000004aa: POP
000004ab: DUP1
000004ac: CALLDATALOAD
000004ad: SWAP1
000004ae: PUSH1 0x20
000004b0: ADD
000004b1: CALLDATALOAD
000004b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004c7: AND
000004c8: PUSH2 0x1045
000004cb: JUMP
000004cc: JUMPDEST
000004cd: CALLVALUE
000004ce: DUP1
000004cf: ISZERO
000004d0: PUSH2 0x04d8
000004d3: JUMPI
000004d4: PUSH1 0x00
000004d6: DUP1
000004d7: REVERT
000004d8: JUMPDEST
000004d9: POP
000004da: PUSH2 0x01c8
000004dd: PUSH2 0x1241
000004e0: JUMP
000004e1: JUMPDEST
000004e2: CALLVALUE
000004e3: DUP1
000004e4: ISZERO
000004e5: PUSH2 0x04ed
000004e8: JUMPI
000004e9: PUSH1 0x00
000004eb: DUP1
000004ec: REVERT
000004ed: JUMPDEST
000004ee: POP
000004ef: PUSH2 0x0283
000004f2: PUSH1 0x04
000004f4: DUP1
000004f5: CALLDATASIZE
000004f6: SUB
000004f7: PUSH1 0x40
000004f9: DUP2
000004fa: LT
000004fb: ISZERO
000004fc: PUSH2 0x0504
000004ff: JUMPI
00000500: PUSH1 0x00
00000502: DUP1
00000503: REVERT
00000504: JUMPDEST
00000505: POP
00000506: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000051b: DUP2
0000051c: CALLDATALOAD
0000051d: AND
0000051e: SWAP1
0000051f: PUSH1 0x20
00000521: ADD
00000522: CALLDATALOAD
00000523: PUSH2 0x12c0
00000526: JUMP
00000527: JUMPDEST
00000528: CALLVALUE
00000529: DUP1
0000052a: ISZERO
0000052b: PUSH2 0x0533
0000052e: JUMPI
0000052f: PUSH1 0x00
00000531: DUP1
00000532: REVERT
00000533: JUMPDEST
00000534: POP
00000535: PUSH2 0x0283
00000538: PUSH1 0x04
0000053a: DUP1
0000053b: CALLDATASIZE
0000053c: SUB
0000053d: PUSH1 0x40
0000053f: DUP2
00000540: LT
00000541: ISZERO
00000542: PUSH2 0x054a
00000545: JUMPI
00000546: PUSH1 0x00
00000548: DUP1
00000549: REVERT
0000054a: JUMPDEST
0000054b: POP
0000054c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000561: DUP2
00000562: CALLDATALOAD
00000563: AND
00000564: SWAP1
00000565: PUSH1 0x20
00000567: ADD
00000568: CALLDATALOAD
00000569: PUSH2 0x1335
0000056c: JUMP
0000056d: JUMPDEST
0000056e: CALLVALUE
0000056f: DUP1
00000570: ISZERO
00000571: PUSH2 0x0579
00000574: JUMPI
00000575: PUSH1 0x00
00000577: DUP1
00000578: REVERT
00000579: JUMPDEST
0000057a: POP
0000057b: PUSH2 0x02ac
0000057e: PUSH2 0x1349
00000581: JUMP
00000582: JUMPDEST
00000583: CALLVALUE
00000584: DUP1
00000585: ISZERO
00000586: PUSH2 0x058e
00000589: JUMPI
0000058a: PUSH1 0x00
0000058c: DUP1
0000058d: REVERT
0000058e: JUMPDEST
0000058f: POP
00000590: PUSH2 0x02ac
00000593: PUSH1 0x04
00000595: DUP1
00000596: CALLDATASIZE
00000597: SUB
00000598: PUSH1 0x40
0000059a: DUP2
0000059b: LT
0000059c: ISZERO
0000059d: PUSH2 0x05a5
000005a0: JUMPI
000005a1: PUSH1 0x00
000005a3: DUP1
000005a4: REVERT
000005a5: JUMPDEST
000005a6: POP
000005a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005bc: DUP2
000005bd: CALLDATALOAD
000005be: DUP2
000005bf: AND
000005c0: SWAP2
000005c1: PUSH1 0x20
000005c3: ADD
000005c4: CALLDATALOAD
000005c5: AND
000005c6: PUSH2 0x1408
000005c9: JUMP
000005ca: JUMPDEST
000005cb: CALLVALUE
000005cc: DUP1
000005cd: ISZERO
000005ce: PUSH2 0x05d6
000005d1: JUMPI
000005d2: PUSH1 0x00
000005d4: DUP1
000005d5: REVERT
000005d6: JUMPDEST
000005d7: POP
000005d8: PUSH2 0x02ac
000005db: PUSH2 0x1440
000005de: JUMP
000005df: JUMPDEST
000005e0: PUSH1 0x04
000005e2: DUP1
000005e3: SLOAD
000005e4: PUSH1 0x40
000005e6: DUP1
000005e7: MLOAD
000005e8: PUSH1 0x20
000005ea: PUSH1 0x1f
000005ec: PUSH1 0x02
000005ee: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000060f: PUSH2 0x0100
00000612: PUSH1 0x01
00000614: DUP9
00000615: AND
00000616: ISZERO
00000617: MUL
00000618: ADD
00000619: SWAP1
0000061a: SWAP6
0000061b: AND
0000061c: SWAP5
0000061d: SWAP1
0000061e: SWAP5
0000061f: DIV
00000620: SWAP4
00000621: DUP5
00000622: ADD
00000623: DUP2
00000624: SWAP1
00000625: DIV
00000626: DUP2
00000627: MUL
00000628: DUP3
00000629: ADD
0000062a: DUP2
0000062b: ADD
0000062c: SWAP1
0000062d: SWAP3
0000062e: MSTORE
0000062f: DUP3
00000630: DUP2
00000631: MSTORE
00000632: PUSH1 0x60
00000634: SWAP4
00000635: SWAP1
00000636: SWAP3
00000637: SWAP1
00000638: SWAP2
00000639: DUP4
0000063a: ADD
0000063b: DUP3
0000063c: DUP3
0000063d: DUP1
0000063e: ISZERO
0000063f: PUSH2 0x0689
00000642: JUMPI
00000643: DUP1
00000644: PUSH1 0x1f
00000646: LT
00000647: PUSH2 0x065e
0000064a: JUMPI
0000064b: PUSH2 0x0100
0000064e: DUP1
0000064f: DUP4
00000650: SLOAD
00000651: DIV
00000652: MUL
00000653: DUP4
00000654: MSTORE
00000655: SWAP2
00000656: PUSH1 0x20
00000658: ADD
00000659: SWAP2
0000065a: PUSH2 0x0689
0000065d: JUMP
0000065e: JUMPDEST
0000065f: DUP3
00000660: ADD
00000661: SWAP2
00000662: SWAP1
00000663: PUSH1 0x00
00000665: MSTORE
00000666: PUSH1 0x20
00000668: PUSH1 0x00
0000066a: KECCAK256
0000066b: SWAP1
0000066c: JUMPDEST
0000066d: DUP2
0000066e: SLOAD
0000066f: DUP2
00000670: MSTORE
00000671: SWAP1
00000672: PUSH1 0x01
00000674: ADD
00000675: SWAP1
00000676: PUSH1 0x20
00000678: ADD
00000679: DUP1
0000067a: DUP4
0000067b: GT
0000067c: PUSH2 0x066c
0000067f: JUMPI
00000680: DUP3
00000681: SWAP1
00000682: SUB
00000683: PUSH1 0x1f
00000685: AND
00000686: DUP3
00000687: ADD
00000688: SWAP2
00000689: JUMPDEST
0000068a: POP
0000068b: POP
0000068c: POP
0000068d: POP
0000068e: POP
0000068f: SWAP1
00000690: POP
00000691: JUMPDEST
00000692: SWAP1
00000693: JUMP
00000694: JUMPDEST
00000695: PUSH1 0x00
00000697: PUSH2 0x06a8
0000069a: PUSH2 0x06a1
0000069d: PUSH2 0x1458
000006a0: JUMP
000006a1: JUMPDEST
000006a2: DUP5
000006a3: DUP5
000006a4: PUSH2 0x145c
000006a7: JUMP
000006a8: JUMPDEST
000006a9: POP
000006aa: PUSH1 0x01
000006ac: JUMPDEST
000006ad: SWAP3
000006ae: SWAP2
000006af: POP
000006b0: POP
000006b1: JUMP
000006b2: JUMPDEST
000006b3: PUSH1 0x03
000006b5: SLOAD
000006b6: SWAP1
000006b7: JUMP
000006b8: JUMPDEST
000006b9: PUSH1 0x00
000006bb: PUSH2 0x06f8
000006be: PUSH1 0x40
000006c0: MLOAD
000006c1: DUP1
000006c2: PUSH1 0x40
000006c4: ADD
000006c5: PUSH1 0x40
000006c7: MSTORE
000006c8: DUP1
000006c9: PUSH1 0x20
000006cb: DUP2
000006cc: MSTORE
000006cd: PUSH1 0x20
000006cf: ADD
000006d0: PUSH32 0x726f636b657444414f50726f746f636f6c53657474696e67734e6574776f726b
000006f1: DUP2
000006f2: MSTORE
000006f3: POP
000006f4: PUSH2 0x156f
000006f7: JUMP
000006f8: JUMPDEST
000006f9: SWAP1
000006fa: POP
000006fb: PUSH1 0x00
000006fd: PUSH2 0x073a
00000700: PUSH1 0x40
00000702: MLOAD
00000703: DUP1
00000704: PUSH1 0x40
00000706: ADD
00000707: PUSH1 0x40
00000709: MSTORE
0000070a: DUP1
0000070b: PUSH1 0x11
0000070d: DUP2
0000070e: MSTORE
0000070f: PUSH1 0x20
00000711: ADD
00000712: PUSH32 0x726f636b65744465706f736974506f6f6c000000000000000000000000000000
00000733: DUP2
00000734: MSTORE
00000735: POP
00000736: PUSH2 0x156f
00000739: JUMP
0000073a: JUMPDEST
0000073b: SWAP1
0000073c: POP
0000073d: PUSH1 0x00
0000073f: PUSH2 0x0746
00000742: PUSH2 0x0e8f
00000745: JUMP
00000746: JUMPDEST
00000747: SWAP1
00000748: POP
00000749: PUSH1 0x00
0000074b: DUP4
0000074c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000761: AND
00000762: PUSH4 0xe2876713
00000767: PUSH1 0x40
00000769: MLOAD
0000076a: DUP2
0000076b: PUSH4 0xffffffff
00000770: AND
00000771: PUSH1 0xe0
00000773: SHL
00000774: DUP2
00000775: MSTORE
00000776: PUSH1 0x04
00000778: ADD
00000779: PUSH1 0x20
0000077b: PUSH1 0x40
0000077d: MLOAD
0000077e: DUP1
0000077f: DUP4
00000780: SUB
00000781: DUP2
00000782: DUP7
00000783: DUP1
00000784: EXTCODESIZE
00000785: ISZERO
00000786: DUP1
00000787: ISZERO
00000788: PUSH2 0x0790
0000078b: JUMPI
0000078c: PUSH1 0x00
0000078e: DUP1
0000078f: REVERT
00000790: JUMPDEST
00000791: POP
00000792: GAS
00000793: STATICCALL
00000794: ISZERO
00000795: DUP1
00000796: ISZERO
00000797: PUSH2 0x07a4
0000079a: JUMPI
0000079b: RETURNDATASIZE
0000079c: PUSH1 0x00
0000079e: DUP1
0000079f: RETURNDATACOPY
000007a0: RETURNDATASIZE
000007a1: PUSH1 0x00
000007a3: REVERT
000007a4: JUMPDEST
000007a5: POP
000007a6: POP
000007a7: POP
000007a8: POP
000007a9: PUSH1 0x40
000007ab: MLOAD
000007ac: RETURNDATASIZE
000007ad: PUSH1 0x20
000007af: DUP2
000007b0: LT
000007b1: ISZERO
000007b2: PUSH2 0x07ba
000007b5: JUMPI
000007b6: PUSH1 0x00
000007b8: DUP1
000007b9: REVERT
000007ba: JUMPDEST
000007bb: POP
000007bc: MLOAD
000007bd: SWAP1
000007be: POP
000007bf: DUP1
000007c0: DUP3
000007c1: GT
000007c2: ISZERO
000007c3: PUSH2 0x0859
000007c6: JUMPI
000007c7: PUSH1 0x00
000007c9: PUSH2 0x07dc
000007cc: DUP4
000007cd: PUSH2 0x07d6
000007d0: SELFBALANCE
000007d1: DUP6
000007d2: PUSH2 0x1657
000007d5: JUMP
000007d6: JUMPDEST
000007d7: SWAP1
000007d8: PUSH2 0x16b7
000007db: JUMP
000007dc: JUMPDEST
000007dd: SWAP1
000007de: POP
000007df: DUP1
000007e0: SELFBALANCE
000007e1: GT
000007e2: ISZERO
000007e3: PUSH2 0x0857
000007e6: JUMPI
000007e7: PUSH1 0x00
000007e9: PUSH2 0x07f2
000007ec: SELFBALANCE
000007ed: DUP4
000007ee: PUSH2 0x171e
000007f1: JUMP
000007f2: JUMPDEST
000007f3: SWAP1
000007f4: POP
000007f5: DUP5
000007f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000080b: AND
0000080c: PUSH4 0xdb82047b
00000811: DUP3
00000812: PUSH1 0x40
00000814: MLOAD
00000815: DUP3
00000816: PUSH4 0xffffffff
0000081b: AND
0000081c: PUSH1 0xe0
0000081e: SHL
0000081f: DUP2
00000820: MSTORE
00000821: PUSH1 0x04
00000823: ADD
00000824: PUSH1 0x00
00000826: PUSH1 0x40
00000828: MLOAD
00000829: DUP1
0000082a: DUP4
0000082b: SUB
0000082c: DUP2
0000082d: DUP6
0000082e: DUP9
0000082f: DUP1
00000830: EXTCODESIZE
00000831: ISZERO
00000832: DUP1
00000833: ISZERO
00000834: PUSH2 0x083c
00000837: JUMPI
00000838: PUSH1 0x00
0000083a: DUP1
0000083b: REVERT
0000083c: JUMPDEST
0000083d: POP
0000083e: GAS
0000083f: CALL
00000840: ISZERO
00000841: DUP1
00000842: ISZERO
00000843: PUSH2 0x0850
00000846: JUMPI
00000847: RETURNDATASIZE
00000848: PUSH1 0x00
0000084a: DUP1
0000084b: RETURNDATACOPY
0000084c: RETURNDATASIZE
0000084d: PUSH1 0x00
0000084f: REVERT
00000850: JUMPDEST
00000851: POP
00000852: POP
00000853: POP
00000854: POP
00000855: POP
00000856: POP
00000857: JUMPDEST
00000858: POP
00000859: JUMPDEST
0000085a: POP
0000085b: POP
0000085c: POP
0000085d: POP
0000085e: JUMP
0000085f: JUMPDEST
00000860: PUSH1 0x00
00000862: PUSH2 0x086c
00000865: DUP5
00000866: DUP5
00000867: DUP5
00000868: PUSH2 0x177b
0000086b: JUMP
0000086c: JUMPDEST
0000086d: PUSH2 0x08f6
00000870: DUP5
00000871: PUSH2 0x0878
00000874: PUSH2 0x1458
00000877: JUMP
00000878: JUMPDEST
00000879: PUSH2 0x08f1
0000087c: DUP6
0000087d: PUSH1 0x40
0000087f: MLOAD
00000880: DUP1
00000881: PUSH1 0x60
00000883: ADD
00000884: PUSH1 0x40
00000886: MSTORE
00000887: DUP1
00000888: PUSH1 0x28
0000088a: DUP2
0000088b: MSTORE
0000088c: PUSH1 0x20
0000088e: ADD
0000088f: PUSH2 0x212e
00000892: PUSH1 0x28
00000894: SWAP2
00000895: CODECOPY
00000896: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ab: DUP11
000008ac: AND
000008ad: PUSH1 0x00
000008af: SWAP1
000008b0: DUP2
000008b1: MSTORE
000008b2: PUSH1 0x02
000008b4: PUSH1 0x20
000008b6: MSTORE
000008b7: PUSH1 0x40
000008b9: DUP2
000008ba: KECCAK256
000008bb: SWAP1
000008bc: PUSH2 0x08c3
000008bf: PUSH2 0x1458
000008c2: JUMP
000008c3: JUMPDEST
000008c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d9: AND
000008da: DUP2
000008db: MSTORE
000008dc: PUSH1 0x20
000008de: DUP2
000008df: ADD
000008e0: SWAP2
000008e1: SWAP1
000008e2: SWAP2
000008e3: MSTORE
000008e4: PUSH1 0x40
000008e6: ADD
000008e7: PUSH1 0x00
000008e9: KECCAK256
000008ea: SLOAD
000008eb: SWAP2
000008ec: SWAP1
000008ed: PUSH2 0x1919
000008f0: JUMP
000008f1: JUMPDEST
000008f2: PUSH2 0x145c
000008f5: JUMP
000008f6: JUMPDEST
000008f7: POP
000008f8: PUSH1 0x01
000008fa: SWAP4
000008fb: SWAP3
000008fc: POP
000008fd: POP
000008fe: POP
000008ff: JUMP
00000900: JUMPDEST
00000901: PUSH1 0x06
00000903: SLOAD
00000904: PUSH1 0xff
00000906: AND
00000907: SWAP1
00000908: JUMP
00000909: JUMPDEST
0000090a: PUSH1 0x00
0000090c: PUSH2 0x06a8
0000090f: PUSH2 0x0916
00000912: PUSH2 0x1458
00000915: JUMP
00000916: JUMPDEST
00000917: DUP5
00000918: PUSH2 0x08f1
0000091b: DUP6
0000091c: PUSH1 0x02
0000091e: PUSH1 0x00
00000920: PUSH2 0x0927
00000923: PUSH2 0x1458
00000926: JUMP
00000927: JUMPDEST
00000928: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000093d: SWAP1
0000093e: DUP2
0000093f: AND
00000940: DUP3
00000941: MSTORE
00000942: PUSH1 0x20
00000944: DUP1
00000945: DUP4
00000946: ADD
00000947: SWAP4
00000948: SWAP1
00000949: SWAP4
0000094a: MSTORE
0000094b: PUSH1 0x40
0000094d: SWAP2
0000094e: DUP3
0000094f: ADD
00000950: PUSH1 0x00
00000952: SWAP1
00000953: DUP2
00000954: KECCAK256
00000955: SWAP2
00000956: DUP13
00000957: AND
00000958: DUP2
00000959: MSTORE
0000095a: SWAP3
0000095b: MSTORE
0000095c: SWAP1
0000095d: KECCAK256
0000095e: SLOAD
0000095f: SWAP1
00000960: PUSH2 0x19b0
00000963: JUMP
00000964: JUMPDEST
00000965: PUSH1 0x00
00000967: DUP2
00000968: GT
00000969: PUSH2 0x09b9
0000096c: JUMPI
0000096d: PUSH1 0x40
0000096f: DUP1
00000970: MLOAD
00000971: PUSH3 0x461bcd
00000975: PUSH1 0xe5
00000977: SHL
00000978: DUP2
00000979: MSTORE
0000097a: PUSH1 0x20
0000097c: PUSH1 0x04
0000097e: DUP3
0000097f: ADD
00000980: MSTORE
00000981: PUSH1 0x19
00000983: PUSH1 0x24
00000985: DUP3
00000986: ADD
00000987: MSTORE
00000988: PUSH32 0x496e76616c696420746f6b656e206275726e20616d6f756e7400000000000000
000009a9: PUSH1 0x44
000009ab: DUP3
000009ac: ADD
000009ad: MSTORE
000009ae: SWAP1
000009af: MLOAD
000009b0: SWAP1
000009b1: DUP2
000009b2: SWAP1
000009b3: SUB
000009b4: PUSH1 0x64
000009b6: ADD
000009b7: SWAP1
000009b8: REVERT
000009b9: JUMPDEST
000009ba: DUP1
000009bb: PUSH2 0x09c3
000009be: CALLER
000009bf: PUSH2 0x0e67
000009c2: JUMP
000009c3: JUMPDEST
000009c4: LT
000009c5: ISZERO
000009c6: PUSH2 0x0a16
000009c9: JUMPI
000009ca: PUSH1 0x40
000009cc: DUP1
000009cd: MLOAD
000009ce: PUSH3 0x461bcd
000009d2: PUSH1 0xe5
000009d4: SHL
000009d5: DUP2
000009d6: MSTORE
000009d7: PUSH1 0x20
000009d9: PUSH1 0x04
000009db: DUP3
000009dc: ADD
000009dd: MSTORE
000009de: PUSH1 0x19
000009e0: PUSH1 0x24
000009e2: DUP3
000009e3: ADD
000009e4: MSTORE
000009e5: PUSH32 0x496e73756666696369656e7420724554482062616c616e636500000000000000
00000a06: PUSH1 0x44
00000a08: DUP3
00000a09: ADD
00000a0a: MSTORE
00000a0b: SWAP1
00000a0c: MLOAD
00000a0d: SWAP1
00000a0e: DUP2
00000a0f: SWAP1
00000a10: SUB
00000a11: PUSH1 0x64
00000a13: ADD
00000a14: SWAP1
00000a15: REVERT
00000a16: JUMPDEST
00000a17: PUSH1 0x00
00000a19: PUSH2 0x0a21
00000a1c: DUP3
00000a1d: PUSH2 0x0ed6
00000a20: JUMP
00000a21: JUMPDEST
00000a22: SWAP1
00000a23: POP
00000a24: PUSH1 0x00
00000a26: PUSH2 0x0a2d
00000a29: PUSH2 0x1349
00000a2c: JUMP
00000a2d: JUMPDEST
00000a2e: SWAP1
00000a2f: POP
00000a30: DUP2
00000a31: DUP2
00000a32: LT
00000a33: ISZERO
00000a34: PUSH2 0x0a6e
00000a37: JUMPI
00000a38: PUSH1 0x40
00000a3a: MLOAD
00000a3b: PUSH3 0x461bcd
00000a3f: PUSH1 0xe5
00000a41: SHL
00000a42: DUP2
00000a43: MSTORE
00000a44: PUSH1 0x04
00000a46: ADD
00000a47: DUP1
00000a48: DUP1
00000a49: PUSH1 0x20
00000a4b: ADD
00000a4c: DUP3
00000a4d: DUP2
00000a4e: SUB
00000a4f: DUP3
00000a50: MSTORE
00000a51: PUSH1 0x25
00000a53: DUP2
00000a54: MSTORE
00000a55: PUSH1 0x20
00000a57: ADD
00000a58: DUP1
00000a59: PUSH2 0x2056
00000a5c: PUSH1 0x25
00000a5e: SWAP2
00000a5f: CODECOPY
00000a60: PUSH1 0x40
00000a62: ADD
00000a63: SWAP2
00000a64: POP
00000a65: POP
00000a66: PUSH1 0x40
00000a68: MLOAD
00000a69: DUP1
00000a6a: SWAP2
00000a6b: SUB
00000a6c: SWAP1
00000a6d: REVERT
00000a6e: JUMPDEST
00000a6f: PUSH2 0x0a78
00000a72: CALLER
00000a73: DUP5
00000a74: PUSH2 0x1a0a
00000a77: JUMP
00000a78: JUMPDEST
00000a79: PUSH2 0x0a81
00000a7c: DUP3
00000a7d: PUSH2 0x1b3a
00000a80: JUMP
00000a81: JUMPDEST
00000a82: PUSH1 0x40
00000a84: MLOAD
00000a85: CALLER
00000a86: SWAP1
00000a87: DUP4
00000a88: ISZERO
00000a89: PUSH2 0x08fc
00000a8c: MUL
00000a8d: SWAP1
00000a8e: DUP5
00000a8f: SWAP1
00000a90: PUSH1 0x00
00000a92: DUP2
00000a93: DUP2
00000a94: DUP2
00000a95: DUP6
00000a96: DUP9
00000a97: DUP9
00000a98: CALL
00000a99: SWAP4
00000a9a: POP
00000a9b: POP
00000a9c: POP
00000a9d: POP
00000a9e: ISZERO
00000a9f: DUP1
00000aa0: ISZERO
00000aa1: PUSH2 0x0aae
00000aa4: JUMPI
00000aa5: RETURNDATASIZE
00000aa6: PUSH1 0x00
00000aa8: DUP1
00000aa9: RETURNDATACOPY
00000aaa: RETURNDATASIZE
00000aab: PUSH1 0x00
00000aad: REVERT
00000aae: JUMPDEST
00000aaf: POP
00000ab0: PUSH1 0x40
00000ab2: DUP1
00000ab3: MLOAD
00000ab4: DUP5
00000ab5: DUP2
00000ab6: MSTORE
00000ab7: PUSH1 0x20
00000ab9: DUP2
00000aba: ADD
00000abb: DUP5
00000abc: SWAP1
00000abd: MSTORE
00000abe: TIMESTAMP
00000abf: DUP2
00000ac0: DUP4
00000ac1: ADD
00000ac2: MSTORE
00000ac3: SWAP1
00000ac4: MLOAD
00000ac5: CALLER
00000ac6: SWAP2
00000ac7: PUSH32 0x19783b34589160c168487dc7f9c51ae0bcefe67a47d6708fba90f6ce0366d3d1
00000ae8: SWAP2
00000ae9: SWAP1
00000aea: DUP2
00000aeb: SWAP1
00000aec: SUB
00000aed: PUSH1 0x60
00000aef: ADD
00000af0: SWAP1
00000af1: LOG2
00000af2: POP
00000af3: POP
00000af4: POP
00000af5: JUMP
00000af6: JUMPDEST
00000af7: PUSH1 0x00
00000af9: DUP1
00000afa: PUSH2 0x0b37
00000afd: PUSH1 0x40
00000aff: MLOAD
00000b00: DUP1
00000b01: PUSH1 0x40
00000b03: ADD
00000b04: PUSH1 0x40
00000b06: MSTORE
00000b07: DUP1
00000b08: PUSH1 0x15
00000b0a: DUP2
00000b0b: MSTORE
00000b0c: PUSH1 0x20
00000b0e: ADD
00000b0f: PUSH32 0x726f636b65744e6574776f726b42616c616e6365730000000000000000000000
00000b30: DUP2
00000b31: MSTORE
00000b32: POP
00000b33: PUSH2 0x156f
00000b36: JUMP
00000b37: JUMPDEST
00000b38: SWAP1
00000b39: POP
00000b3a: PUSH1 0x00
00000b3c: DUP2
00000b3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b52: AND
00000b53: PUSH4 0x964d042c
00000b58: PUSH1 0x40
00000b5a: MLOAD
00000b5b: DUP2
00000b5c: PUSH4 0xffffffff
00000b61: AND
00000b62: PUSH1 0xe0
00000b64: SHL
00000b65: DUP2
00000b66: MSTORE
00000b67: PUSH1 0x04
00000b69: ADD
00000b6a: PUSH1 0x20
00000b6c: PUSH1 0x40
00000b6e: MLOAD
00000b6f: DUP1
00000b70: DUP4
00000b71: SUB
00000b72: DUP2
00000b73: DUP7
00000b74: DUP1
00000b75: EXTCODESIZE
00000b76: ISZERO
00000b77: DUP1
00000b78: ISZERO
00000b79: PUSH2 0x0b81
00000b7c: JUMPI
00000b7d: PUSH1 0x00
00000b7f: DUP1
00000b80: REVERT
00000b81: JUMPDEST
00000b82: POP
00000b83: GAS
00000b84: STATICCALL
00000b85: ISZERO
00000b86: DUP1
00000b87: ISZERO
00000b88: PUSH2 0x0b95
00000b8b: JUMPI
00000b8c: RETURNDATASIZE
00000b8d: PUSH1 0x00
00000b8f: DUP1
00000b90: RETURNDATACOPY
00000b91: RETURNDATASIZE
00000b92: PUSH1 0x00
00000b94: REVERT
00000b95: JUMPDEST
00000b96: POP
00000b97: POP
00000b98: POP
00000b99: POP
00000b9a: PUSH1 0x40
00000b9c: MLOAD
00000b9d: RETURNDATASIZE
00000b9e: PUSH1 0x20
00000ba0: DUP2
00000ba1: LT
00000ba2: ISZERO
00000ba3: PUSH2 0x0bab
00000ba6: JUMPI
00000ba7: PUSH1 0x00
00000ba9: DUP1
00000baa: REVERT
00000bab: JUMPDEST
00000bac: POP
00000bad: MLOAD
00000bae: PUSH1 0x40
00000bb0: DUP1
00000bb1: MLOAD
00000bb2: PUSH32 0xc4c8d0ad00000000000000000000000000000000000000000000000000000000
00000bd3: DUP2
00000bd4: MSTORE
00000bd5: SWAP1
00000bd6: MLOAD
00000bd7: SWAP2
00000bd8: SWAP3
00000bd9: POP
00000bda: PUSH1 0x00
00000bdc: SWAP2
00000bdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf2: DUP6
00000bf3: AND
00000bf4: SWAP2
00000bf5: PUSH4 0xc4c8d0ad
00000bfa: SWAP2
00000bfb: PUSH1 0x04
00000bfd: DUP1
00000bfe: DUP4
00000bff: ADD
00000c00: SWAP3
00000c01: PUSH1 0x20
00000c03: SWAP3
00000c04: SWAP2
00000c05: SWAP1
00000c06: DUP3
00000c07: SWAP1
00000c08: SUB
00000c09: ADD
00000c0a: DUP2
00000c0b: DUP7
00000c0c: DUP1
00000c0d: EXTCODESIZE
00000c0e: ISZERO
00000c0f: DUP1
00000c10: ISZERO
00000c11: PUSH2 0x0c19
00000c14: JUMPI
00000c15: PUSH1 0x00
00000c17: DUP1
00000c18: REVERT
00000c19: JUMPDEST
00000c1a: POP
00000c1b: GAS
00000c1c: STATICCALL
00000c1d: ISZERO
00000c1e: DUP1
00000c1f: ISZERO
00000c20: PUSH2 0x0c2d
00000c23: JUMPI
00000c24: RETURNDATASIZE
00000c25: PUSH1 0x00
00000c27: DUP1
00000c28: RETURNDATACOPY
00000c29: RETURNDATASIZE
00000c2a: PUSH1 0x00
00000c2c: REVERT
00000c2d: JUMPDEST
00000c2e: POP
00000c2f: POP
00000c30: POP
00000c31: POP
00000c32: PUSH1 0x40
00000c34: MLOAD
00000c35: RETURNDATASIZE
00000c36: PUSH1 0x20
00000c38: DUP2
00000c39: LT
00000c3a: ISZERO
00000c3b: PUSH2 0x0c43
00000c3e: JUMPI
00000c3f: PUSH1 0x00
00000c41: DUP1
00000c42: REVERT
00000c43: JUMPDEST
00000c44: POP
00000c45: MLOAD
00000c46: SWAP1
00000c47: POP
00000c48: DUP1
00000c49: PUSH2 0x0c57
00000c4c: JUMPI
00000c4d: DUP5
00000c4e: SWAP4
00000c4f: POP
00000c50: POP
00000c51: POP
00000c52: POP
00000c53: PUSH2 0x0caa
00000c56: JUMP
00000c57: JUMPDEST
00000c58: PUSH1 0x00
00000c5a: DUP3
00000c5b: GT
00000c5c: PUSH2 0x0c96
00000c5f: JUMPI
00000c60: PUSH1 0x40
00000c62: MLOAD
00000c63: PUSH3 0x461bcd
00000c67: PUSH1 0xe5
00000c69: SHL
00000c6a: DUP2
00000c6b: MSTORE
00000c6c: PUSH1 0x04
00000c6e: ADD
00000c6f: DUP1
00000c70: DUP1
00000c71: PUSH1 0x20
00000c73: ADD
00000c74: DUP3
00000c75: DUP2
00000c76: SUB
00000c77: DUP3
00000c78: MSTORE
00000c79: PUSH1 0x46
00000c7b: DUP2
00000c7c: MSTORE
00000c7d: PUSH1 0x20
00000c7f: ADD
00000c80: DUP1
00000c81: PUSH2 0x21c0
00000c84: PUSH1 0x46
00000c86: SWAP2
00000c87: CODECOPY
00000c88: PUSH1 0x60
00000c8a: ADD
00000c8b: SWAP2
00000c8c: POP
00000c8d: POP
00000c8e: PUSH1 0x40
00000c90: MLOAD
00000c91: DUP1
00000c92: SWAP2
00000c93: SUB
00000c94: SWAP1
00000c95: REVERT
00000c96: JUMPDEST
00000c97: PUSH2 0x0ca4
00000c9a: DUP3
00000c9b: PUSH2 0x07d6
00000c9e: DUP8
00000c9f: DUP5
00000ca0: PUSH2 0x1657
00000ca3: JUMP
00000ca4: JUMPDEST
00000ca5: SWAP4
00000ca6: POP
00000ca7: POP
00000ca8: POP
00000ca9: POP
00000caa: JUMPDEST
00000cab: SWAP2
00000cac: SWAP1
00000cad: POP
00000cae: JUMP
00000caf: JUMPDEST
00000cb0: PUSH1 0x00
00000cb2: SLOAD
00000cb3: PUSH1 0xff
00000cb5: AND
00000cb6: DUP2
00000cb7: JUMP
00000cb8: JUMPDEST
00000cb9: PUSH1 0x40
00000cbb: MLOAD
00000cbc: DUP1
00000cbd: PUSH1 0x40
00000cbf: ADD
00000cc0: PUSH1 0x40
00000cc2: MSTORE
00000cc3: DUP1
00000cc4: PUSH1 0x11
00000cc6: DUP2
00000cc7: MSTORE
00000cc8: PUSH1 0x20
00000cca: ADD
00000ccb: PUSH32 0x726f636b65744465706f736974506f6f6c000000000000000000000000000000
00000cec: DUP2
00000ced: MSTORE
00000cee: POP
00000cef: CALLER
00000cf0: PUSH2 0x0dab
00000cf3: DUP3
00000cf4: PUSH1 0x40
00000cf6: MLOAD
00000cf7: PUSH1 0x20
00000cf9: ADD
00000cfa: DUP1
00000cfb: DUP1
00000cfc: PUSH32 0x636f6e74726163742e6164647265737300000000000000000000000000000000
00000d1d: DUP2
00000d1e: MSTORE
00000d1f: POP
00000d20: PUSH1 0x10
00000d22: ADD
00000d23: DUP3
00000d24: DUP1
00000d25: MLOAD
00000d26: SWAP1
00000d27: PUSH1 0x20
00000d29: ADD
00000d2a: SWAP1
00000d2b: DUP1
00000d2c: DUP4
00000d2d: DUP4
00000d2e: JUMPDEST
00000d2f: PUSH1 0x20
00000d31: DUP4
00000d32: LT
00000d33: PUSH2 0x0d6b
00000d36: JUMPI
00000d37: DUP1
00000d38: MLOAD
00000d39: DUP3
00000d3a: MSTORE
00000d3b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000d5c: SWAP1
00000d5d: SWAP3
00000d5e: ADD
00000d5f: SWAP2
00000d60: PUSH1 0x20
00000d62: SWAP2
00000d63: DUP3
00000d64: ADD
00000d65: SWAP2
00000d66: ADD
00000d67: PUSH2 0x0d2e
00000d6a: JUMP
00000d6b: JUMPDEST
00000d6c: PUSH1 0x01
00000d6e: DUP4
00000d6f: PUSH1 0x20
00000d71: SUB
00000d72: PUSH2 0x0100
00000d75: EXP
00000d76: SUB
00000d77: DUP1
00000d78: NOT
00000d79: DUP3
00000d7a: MLOAD
00000d7b: AND
00000d7c: DUP2
00000d7d: DUP5
00000d7e: MLOAD
00000d7f: AND
00000d80: DUP1
00000d81: DUP3
00000d82: OR
00000d83: DUP6
00000d84: MSTORE
00000d85: POP
00000d86: POP
00000d87: POP
00000d88: POP
00000d89: POP
00000d8a: POP
00000d8b: SWAP1
00000d8c: POP
00000d8d: ADD
00000d8e: SWAP2
00000d8f: POP
00000d90: POP
00000d91: PUSH1 0x40
00000d93: MLOAD
00000d94: PUSH1 0x20
00000d96: DUP2
00000d97: DUP4
00000d98: SUB
00000d99: SUB
00000d9a: DUP2
00000d9b: MSTORE
00000d9c: SWAP1
00000d9d: PUSH1 0x40
00000d9f: MSTORE
00000da0: DUP1
00000da1: MLOAD
00000da2: SWAP1
00000da3: PUSH1 0x20
00000da5: ADD
00000da6: KECCAK256
00000da7: PUSH2 0x1c04
00000daa: JUMP
00000dab: JUMPDEST
00000dac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dc1: AND
00000dc2: DUP2
00000dc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd8: AND
00000dd9: EQ
00000dda: PUSH2 0x0e2a
00000ddd: JUMPI
00000dde: PUSH1 0x40
00000de0: DUP1
00000de1: MLOAD
00000de2: PUSH3 0x461bcd
00000de6: PUSH1 0xe5
00000de8: SHL
00000de9: DUP2
00000dea: MSTORE
00000deb: PUSH1 0x20
00000ded: PUSH1 0x04
00000def: DUP3
00000df0: ADD
00000df1: MSTORE
00000df2: PUSH1 0x1c
00000df4: PUSH1 0x24
00000df6: DUP3
00000df7: ADD
00000df8: MSTORE
00000df9: PUSH32 0x496e76616c6964206f72206f7574646174656420636f6e747261637400000000
00000e1a: PUSH1 0x44
00000e1c: DUP3
00000e1d: ADD
00000e1e: MSTORE
00000e1f: SWAP1
00000e20: MLOAD
00000e21: SWAP1
00000e22: DUP2
00000e23: SWAP1
00000e24: SUB
00000e25: PUSH1 0x64
00000e27: ADD
00000e28: SWAP1
00000e29: REVERT
00000e2a: JUMPDEST
00000e2b: PUSH1 0x40
00000e2d: DUP1
00000e2e: MLOAD
00000e2f: CALLVALUE
00000e30: DUP2
00000e31: MSTORE
00000e32: TIMESTAMP
00000e33: PUSH1 0x20
00000e35: DUP3
00000e36: ADD
00000e37: MSTORE
00000e38: DUP2
00000e39: MLOAD
00000e3a: CALLER
00000e3b: SWAP3
00000e3c: PUSH32 0xef51b4c870b8b0100eae2072e91db01222a303072af3728e58c9d4d2da33127f
00000e5d: SWAP3
00000e5e: DUP3
00000e5f: SWAP1
00000e60: SUB
00000e61: ADD
00000e62: SWAP1
00000e63: LOG2
00000e64: POP
00000e65: POP
00000e66: JUMP
00000e67: JUMPDEST
00000e68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e7d: AND
00000e7e: PUSH1 0x00
00000e80: SWAP1
00000e81: DUP2
00000e82: MSTORE
00000e83: PUSH1 0x01
00000e85: PUSH1 0x20
00000e87: MSTORE
00000e88: PUSH1 0x40
00000e8a: SWAP1
00000e8b: KECCAK256
00000e8c: SLOAD
00000e8d: SWAP1
00000e8e: JUMP
00000e8f: JUMPDEST
00000e90: PUSH1 0x00
00000e92: DUP1
00000e93: PUSH2 0x0ea2
00000e96: PUSH2 0x0e9d
00000e99: PUSH2 0x06b2
00000e9c: JUMP
00000e9d: JUMPDEST
00000e9e: PUSH2 0x0ed6
00000ea1: JUMP
00000ea2: JUMPDEST
00000ea3: SWAP1
00000ea4: POP
00000ea5: DUP1
00000ea6: PUSH2 0x0eba
00000ea9: JUMPI
00000eaa: PUSH8 0x0de0b6b3a7640000
00000eb3: SWAP2
00000eb4: POP
00000eb5: POP
00000eb6: PUSH2 0x0691
00000eb9: JUMP
00000eba: JUMPDEST
00000ebb: PUSH2 0x0ed0
00000ebe: DUP2
00000ebf: PUSH2 0x07d6
00000ec2: PUSH8 0x0de0b6b3a7640000
00000ecb: SELFBALANCE
00000ecc: PUSH2 0x1657
00000ecf: JUMP
00000ed0: JUMPDEST
00000ed1: SWAP2
00000ed2: POP
00000ed3: POP
00000ed4: SWAP1
00000ed5: JUMP
00000ed6: JUMPDEST
00000ed7: PUSH1 0x00
00000ed9: DUP1
00000eda: PUSH2 0x0f17
00000edd: PUSH1 0x40
00000edf: MLOAD
00000ee0: DUP1
00000ee1: PUSH1 0x40
00000ee3: ADD
00000ee4: PUSH1 0x40
00000ee6: MSTORE
00000ee7: DUP1
00000ee8: PUSH1 0x15
00000eea: DUP2
00000eeb: MSTORE
00000eec: PUSH1 0x20
00000eee: ADD
00000eef: PUSH32 0x726f636b65744e6574776f726b42616c616e6365730000000000000000000000
00000f10: DUP2
00000f11: MSTORE
00000f12: POP
00000f13: PUSH2 0x156f
00000f16: JUMP
00000f17: JUMPDEST
00000f18: SWAP1
00000f19: POP
00000f1a: PUSH1 0x00
00000f1c: DUP2
00000f1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f32: AND
00000f33: PUSH4 0x964d042c
00000f38: PUSH1 0x40
00000f3a: MLOAD
00000f3b: DUP2
00000f3c: PUSH4 0xffffffff
00000f41: AND
00000f42: PUSH1 0xe0
00000f44: SHL
00000f45: DUP2
00000f46: MSTORE
00000f47: PUSH1 0x04
00000f49: ADD
00000f4a: PUSH1 0x20
00000f4c: PUSH1 0x40
00000f4e: MLOAD
00000f4f: DUP1
00000f50: DUP4
00000f51: SUB
00000f52: DUP2
00000f53: DUP7
00000f54: DUP1
00000f55: EXTCODESIZE
00000f56: ISZERO
00000f57: DUP1
00000f58: ISZERO
00000f59: PUSH2 0x0f61
00000f5c: JUMPI
00000f5d: PUSH1 0x00
00000f5f: DUP1
00000f60: REVERT
00000f61: JUMPDEST
00000f62: POP
00000f63: GAS
00000f64: STATICCALL
00000f65: ISZERO
00000f66: DUP1
00000f67: ISZERO
00000f68: PUSH2 0x0f75
00000f6b: JUMPI
00000f6c: RETURNDATASIZE
00000f6d: PUSH1 0x00
00000f6f: DUP1
00000f70: RETURNDATACOPY
00000f71: RETURNDATASIZE
00000f72: PUSH1 0x00
00000f74: REVERT
00000f75: JUMPDEST
00000f76: POP
00000f77: POP
00000f78: POP
00000f79: POP
00000f7a: PUSH1 0x40
00000f7c: MLOAD
00000f7d: RETURNDATASIZE
00000f7e: PUSH1 0x20
00000f80: DUP2
00000f81: LT
00000f82: ISZERO
00000f83: PUSH2 0x0f8b
00000f86: JUMPI
00000f87: PUSH1 0x00
00000f89: DUP1
00000f8a: REVERT
00000f8b: JUMPDEST
00000f8c: POP
00000f8d: MLOAD
00000f8e: PUSH1 0x40
00000f90: DUP1
00000f91: MLOAD
00000f92: PUSH32 0xc4c8d0ad00000000000000000000000000000000000000000000000000000000
00000fb3: DUP2
00000fb4: MSTORE
00000fb5: SWAP1
00000fb6: MLOAD
00000fb7: SWAP2
00000fb8: SWAP3
00000fb9: POP
00000fba: PUSH1 0x00
00000fbc: SWAP2
00000fbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fd2: DUP6
00000fd3: AND
00000fd4: SWAP2
00000fd5: PUSH4 0xc4c8d0ad
00000fda: SWAP2
00000fdb: PUSH1 0x04
00000fdd: DUP1
00000fde: DUP4
00000fdf: ADD
00000fe0: SWAP3
00000fe1: PUSH1 0x20
00000fe3: SWAP3
00000fe4: SWAP2
00000fe5: SWAP1
00000fe6: DUP3
00000fe7: SWAP1
00000fe8: SUB
00000fe9: ADD
00000fea: DUP2
00000feb: DUP7
00000fec: DUP1
00000fed: EXTCODESIZE
00000fee: ISZERO
00000fef: DUP1
00000ff0: ISZERO
00000ff1: PUSH2 0x0ff9
00000ff4: JUMPI
00000ff5: PUSH1 0x00
00000ff7: DUP1
00000ff8: REVERT
00000ff9: JUMPDEST
00000ffa: POP
00000ffb: GAS
00000ffc: STATICCALL
00000ffd: ISZERO
00000ffe: DUP1
00000fff: ISZERO
00001000: PUSH2 0x100d
00001003: JUMPI
00001004: RETURNDATASIZE
00001005: PUSH1 0x00
00001007: DUP1
00001008: RETURNDATACOPY
00001009: RETURNDATASIZE
0000100a: PUSH1 0x00
0000100c: REVERT
0000100d: JUMPDEST
0000100e: POP
0000100f: POP
00001010: POP
00001011: POP
00001012: PUSH1 0x40
00001014: MLOAD
00001015: RETURNDATASIZE
00001016: PUSH1 0x20
00001018: DUP2
00001019: LT
0000101a: ISZERO
0000101b: PUSH2 0x1023
0000101e: JUMPI
0000101f: PUSH1 0x00
00001021: DUP1
00001022: REVERT
00001023: JUMPDEST
00001024: POP
00001025: MLOAD
00001026: SWAP1
00001027: POP
00001028: DUP1
00001029: PUSH2 0x1037
0000102c: JUMPI
0000102d: DUP5
0000102e: SWAP4
0000102f: POP
00001030: POP
00001031: POP
00001032: POP
00001033: PUSH2 0x0caa
00001036: JUMP
00001037: JUMPDEST
00001038: PUSH2 0x0ca4
0000103b: DUP2
0000103c: PUSH2 0x07d6
0000103f: DUP8
00001040: DUP6
00001041: PUSH2 0x1657
00001044: JUMP
00001045: JUMPDEST
00001046: PUSH1 0x40
00001048: MLOAD
00001049: DUP1
0000104a: PUSH1 0x40
0000104c: ADD
0000104d: PUSH1 0x40
0000104f: MSTORE
00001050: DUP1
00001051: PUSH1 0x11
00001053: DUP2
00001054: MSTORE
00001055: PUSH1 0x20
00001057: ADD
00001058: PUSH32 0x726f636b65744465706f736974506f6f6c000000000000000000000000000000
00001079: DUP2
0000107a: MSTORE
0000107b: POP
0000107c: CALLER
0000107d: PUSH2 0x10f7
00001080: DUP3
00001081: PUSH1 0x40
00001083: MLOAD
00001084: PUSH1 0x20
00001086: ADD
00001087: DUP1
00001088: DUP1
00001089: PUSH32 0x636f6e74726163742e6164647265737300000000000000000000000000000000
000010aa: DUP2
000010ab: MSTORE
000010ac: POP
000010ad: PUSH1 0x10
000010af: ADD
000010b0: DUP3
000010b1: DUP1
000010b2: MLOAD
000010b3: SWAP1
000010b4: PUSH1 0x20
000010b6: ADD
000010b7: SWAP1
000010b8: DUP1
000010b9: DUP4
000010ba: DUP4
000010bb: PUSH1 0x20
000010bd: DUP4
000010be: LT
000010bf: PUSH2 0x0d6b
000010c2: JUMPI
000010c3: DUP1
000010c4: MLOAD
000010c5: DUP3
000010c6: MSTORE
000010c7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000010e8: SWAP1
000010e9: SWAP3
000010ea: ADD
000010eb: SWAP2
000010ec: PUSH1 0x20
000010ee: SWAP2
000010ef: DUP3
000010f0: ADD
000010f1: SWAP2
000010f2: ADD
000010f3: PUSH2 0x0d2e
000010f6: JUMP
000010f7: JUMPDEST
000010f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000110d: AND
0000110e: DUP2
0000110f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001124: AND
00001125: EQ
00001126: PUSH2 0x1176
00001129: JUMPI
0000112a: PUSH1 0x40
0000112c: DUP1
0000112d: MLOAD
0000112e: PUSH3 0x461bcd
00001132: PUSH1 0xe5
00001134: SHL
00001135: DUP2
00001136: MSTORE
00001137: PUSH1 0x20
00001139: PUSH1 0x04
0000113b: DUP3
0000113c: ADD
0000113d: MSTORE
0000113e: PUSH1 0x1c
00001140: PUSH1 0x24
00001142: DUP3
00001143: ADD
00001144: MSTORE
00001145: PUSH32 0x496e76616c6964206f72206f7574646174656420636f6e747261637400000000
00001166: PUSH1 0x44
00001168: DUP3
00001169: ADD
0000116a: MSTORE
0000116b: SWAP1
0000116c: MLOAD
0000116d: SWAP1
0000116e: DUP2
0000116f: SWAP1
00001170: SUB
00001171: PUSH1 0x64
00001173: ADD
00001174: SWAP1
00001175: REVERT
00001176: JUMPDEST
00001177: PUSH1 0x00
00001179: PUSH2 0x1181
0000117c: DUP6
0000117d: PUSH2 0x0af6
00001180: JUMP
00001181: JUMPDEST
00001182: SWAP1
00001183: POP
00001184: PUSH1 0x00
00001186: DUP2
00001187: GT
00001188: PUSH2 0x11d8
0000118b: JUMPI
0000118c: PUSH1 0x40
0000118e: DUP1
0000118f: MLOAD
00001190: PUSH3 0x461bcd
00001194: PUSH1 0xe5
00001196: SHL
00001197: DUP2
00001198: MSTORE
00001199: PUSH1 0x20
0000119b: PUSH1 0x04
0000119d: DUP3
0000119e: ADD
0000119f: MSTORE
000011a0: PUSH1 0x19
000011a2: PUSH1 0x24
000011a4: DUP3
000011a5: ADD
000011a6: MSTORE
000011a7: PUSH32 0x496e76616c696420746f6b656e206d696e7420616d6f756e7400000000000000
000011c8: PUSH1 0x44
000011ca: DUP3
000011cb: ADD
000011cc: MSTORE
000011cd: SWAP1
000011ce: MLOAD
000011cf: SWAP1
000011d0: DUP2
000011d1: SWAP1
000011d2: SUB
000011d3: PUSH1 0x64
000011d5: ADD
000011d6: SWAP1
000011d7: REVERT
000011d8: JUMPDEST
000011d9: PUSH2 0x11e2
000011dc: DUP5
000011dd: DUP3
000011de: PUSH2 0x1caa
000011e1: JUMP
000011e2: JUMPDEST
000011e3: PUSH1 0x40
000011e5: DUP1
000011e6: MLOAD
000011e7: DUP3
000011e8: DUP2
000011e9: MSTORE
000011ea: PUSH1 0x20
000011ec: DUP2
000011ed: ADD
000011ee: DUP8
000011ef: SWAP1
000011f0: MSTORE
000011f1: TIMESTAMP
000011f2: DUP2
000011f3: DUP4
000011f4: ADD
000011f5: MSTORE
000011f6: SWAP1
000011f7: MLOAD
000011f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000120d: DUP7
0000120e: AND
0000120f: SWAP2
00001210: PUSH32 0x6155cfd0fd028b0ca77e8495a60cbe563e8bce8611f0aad6fedbdaafc05d44a2
00001231: SWAP2
00001232: SWAP1
00001233: DUP2
00001234: SWAP1
00001235: SUB
00001236: PUSH1 0x60
00001238: ADD
00001239: SWAP1
0000123a: LOG2
0000123b: POP
0000123c: POP
0000123d: POP
0000123e: POP
0000123f: POP
00001240: JUMP
00001241: JUMPDEST
00001242: PUSH1 0x05
00001244: DUP1
00001245: SLOAD
00001246: PUSH1 0x40
00001248: DUP1
00001249: MLOAD
0000124a: PUSH1 0x20
0000124c: PUSH1 0x1f
0000124e: PUSH1 0x02
00001250: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001271: PUSH2 0x0100
00001274: PUSH1 0x01
00001276: DUP9
00001277: AND
00001278: ISZERO
00001279: MUL
0000127a: ADD
0000127b: SWAP1
0000127c: SWAP6
0000127d: AND
0000127e: SWAP5
0000127f: SWAP1
00001280: SWAP5
00001281: DIV
00001282: SWAP4
00001283: DUP5
00001284: ADD
00001285: DUP2
00001286: SWAP1
00001287: DIV
00001288: DUP2
00001289: MUL
0000128a: DUP3
0000128b: ADD
0000128c: DUP2
0000128d: ADD
0000128e: SWAP1
0000128f: SWAP3
00001290: MSTORE
00001291: DUP3
00001292: DUP2
00001293: MSTORE
00001294: PUSH1 0x60
00001296: SWAP4
00001297: SWAP1
00001298: SWAP3
00001299: SWAP1
0000129a: SWAP2
0000129b: DUP4
0000129c: ADD
0000129d: DUP3
0000129e: DUP3
0000129f: DUP1
000012a0: ISZERO
000012a1: PUSH2 0x0689
000012a4: JUMPI
000012a5: DUP1
000012a6: PUSH1 0x1f
000012a8: LT
000012a9: PUSH2 0x065e
000012ac: JUMPI
000012ad: PUSH2 0x0100
000012b0: DUP1
000012b1: DUP4
000012b2: SLOAD
000012b3: DIV
000012b4: MUL
000012b5: DUP4
000012b6: MSTORE
000012b7: SWAP2
000012b8: PUSH1 0x20
000012ba: ADD
000012bb: SWAP2
000012bc: PUSH2 0x0689
000012bf: JUMP
000012c0: JUMPDEST
000012c1: PUSH1 0x00
000012c3: PUSH2 0x06a8
000012c6: PUSH2 0x12cd
000012c9: PUSH2 0x1458
000012cc: JUMP
000012cd: JUMPDEST
000012ce: DUP5
000012cf: PUSH2 0x08f1
000012d2: DUP6
000012d3: PUSH1 0x40
000012d5: MLOAD
000012d6: DUP1
000012d7: PUSH1 0x60
000012d9: ADD
000012da: PUSH1 0x40
000012dc: MSTORE
000012dd: DUP1
000012de: PUSH1 0x25
000012e0: DUP2
000012e1: MSTORE
000012e2: PUSH1 0x20
000012e4: ADD
000012e5: PUSH2 0x2206
000012e8: PUSH1 0x25
000012ea: SWAP2
000012eb: CODECOPY
000012ec: PUSH1 0x02
000012ee: PUSH1 0x00
000012f0: PUSH2 0x12f7
000012f3: PUSH2 0x1458
000012f6: JUMP
000012f7: JUMPDEST
000012f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000130d: SWAP1
0000130e: DUP2
0000130f: AND
00001310: DUP3
00001311: MSTORE
00001312: PUSH1 0x20
00001314: DUP1
00001315: DUP4
00001316: ADD
00001317: SWAP4
00001318: SWAP1
00001319: SWAP4
0000131a: MSTORE
0000131b: PUSH1 0x40
0000131d: SWAP2
0000131e: DUP3
0000131f: ADD
00001320: PUSH1 0x00
00001322: SWAP1
00001323: DUP2
00001324: KECCAK256
00001325: SWAP2
00001326: DUP14
00001327: AND
00001328: DUP2
00001329: MSTORE
0000132a: SWAP3
0000132b: MSTORE
0000132c: SWAP1
0000132d: KECCAK256
0000132e: SLOAD
0000132f: SWAP2
00001330: SWAP1
00001331: PUSH2 0x1919
00001334: JUMP
00001335: JUMPDEST
00001336: PUSH1 0x00
00001338: PUSH2 0x06a8
0000133b: PUSH2 0x1342
0000133e: PUSH2 0x1458
00001341: JUMP
00001342: JUMPDEST
00001343: DUP5
00001344: DUP5
00001345: PUSH2 0x177b
00001348: JUMP
00001349: JUMPDEST
0000134a: PUSH1 0x00
0000134c: DUP1
0000134d: PUSH2 0x138a
00001350: PUSH1 0x40
00001352: MLOAD
00001353: DUP1
00001354: PUSH1 0x40
00001356: ADD
00001357: PUSH1 0x40
00001359: MSTORE
0000135a: DUP1
0000135b: PUSH1 0x11
0000135d: DUP2
0000135e: MSTORE
0000135f: PUSH1 0x20
00001361: ADD
00001362: PUSH32 0x726f636b65744465706f736974506f6f6c000000000000000000000000000000
00001383: DUP2
00001384: MSTORE
00001385: POP
00001386: PUSH2 0x156f
00001389: JUMP
0000138a: JUMPDEST
0000138b: SWAP1
0000138c: POP
0000138d: PUSH2 0x0ed0
00001390: SELFBALANCE
00001391: DUP3
00001392: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a7: AND
000013a8: PUSH4 0x888b042f
000013ad: PUSH1 0x40
000013af: MLOAD
000013b0: DUP2
000013b1: PUSH4 0xffffffff
000013b6: AND
000013b7: PUSH1 0xe0
000013b9: SHL
000013ba: DUP2
000013bb: MSTORE
000013bc: PUSH1 0x04
000013be: ADD
000013bf: PUSH1 0x20
000013c1: PUSH1 0x40
000013c3: MLOAD
000013c4: DUP1
000013c5: DUP4
000013c6: SUB
000013c7: DUP2
000013c8: DUP7
000013c9: DUP1
000013ca: EXTCODESIZE
000013cb: ISZERO
000013cc: DUP1
000013cd: ISZERO
000013ce: PUSH2 0x13d6
000013d1: JUMPI
000013d2: PUSH1 0x00
000013d4: DUP1
000013d5: REVERT
000013d6: JUMPDEST
000013d7: POP
000013d8: GAS
000013d9: STATICCALL
000013da: ISZERO
000013db: DUP1
000013dc: ISZERO
000013dd: PUSH2 0x13ea
000013e0: JUMPI
000013e1: RETURNDATASIZE
000013e2: PUSH1 0x00
000013e4: DUP1
000013e5: RETURNDATACOPY
000013e6: RETURNDATASIZE
000013e7: PUSH1 0x00
000013e9: REVERT
000013ea: JUMPDEST
000013eb: POP
000013ec: POP
000013ed: POP
000013ee: POP
000013ef: PUSH1 0x40
000013f1: MLOAD
000013f2: RETURNDATASIZE
000013f3: PUSH1 0x20
000013f5: DUP2
000013f6: LT
000013f7: ISZERO
000013f8: PUSH2 0x1400
000013fb: JUMPI
000013fc: PUSH1 0x00
000013fe: DUP1
000013ff: REVERT
00001400: JUMPDEST
00001401: POP
00001402: MLOAD
00001403: SWAP1
00001404: PUSH2 0x19b0
00001407: JUMP
00001408: JUMPDEST
00001409: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000141e: SWAP2
0000141f: DUP3
00001420: AND
00001421: PUSH1 0x00
00001423: SWAP1
00001424: DUP2
00001425: MSTORE
00001426: PUSH1 0x02
00001428: PUSH1 0x20
0000142a: SWAP1
0000142b: DUP2
0000142c: MSTORE
0000142d: PUSH1 0x40
0000142f: DUP1
00001430: DUP4
00001431: KECCAK256
00001432: SWAP4
00001433: SWAP1
00001434: SWAP5
00001435: AND
00001436: DUP3
00001437: MSTORE
00001438: SWAP2
00001439: SWAP1
0000143a: SWAP2
0000143b: MSTORE
0000143c: KECCAK256
0000143d: SLOAD
0000143e: SWAP1
0000143f: JUMP
00001440: JUMPDEST
00001441: PUSH1 0x00
00001443: PUSH2 0x1453
00001446: PUSH8 0x0de0b6b3a7640000
0000144f: PUSH2 0x0ed6
00001452: JUMP
00001453: JUMPDEST
00001454: SWAP1
00001455: POP
00001456: SWAP1
00001457: JUMP
00001458: JUMPDEST
00001459: CALLER
0000145a: SWAP1
0000145b: JUMP
0000145c: JUMPDEST
0000145d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001472: DUP4
00001473: AND
00001474: PUSH2 0x14ae
00001477: JUMPI
00001478: PUSH1 0x40
0000147a: MLOAD
0000147b: PUSH3 0x461bcd
0000147f: PUSH1 0xe5
00001481: SHL
00001482: DUP2
00001483: MSTORE
00001484: PUSH1 0x04
00001486: ADD
00001487: DUP1
00001488: DUP1
00001489: PUSH1 0x20
0000148b: ADD
0000148c: DUP3
0000148d: DUP2
0000148e: SUB
0000148f: DUP3
00001490: MSTORE
00001491: PUSH1 0x24
00001493: DUP2
00001494: MSTORE
00001495: PUSH1 0x20
00001497: ADD
00001498: DUP1
00001499: PUSH2 0x219c
0000149c: PUSH1 0x24
0000149e: SWAP2
0000149f: CODECOPY
000014a0: PUSH1 0x40
000014a2: ADD
000014a3: SWAP2
000014a4: POP
000014a5: POP
000014a6: PUSH1 0x40
000014a8: MLOAD
000014a9: DUP1
000014aa: SWAP2
000014ab: SUB
000014ac: SWAP1
000014ad: REVERT
000014ae: JUMPDEST
000014af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014c4: DUP3
000014c5: AND
000014c6: PUSH2 0x1500
000014c9: JUMPI
000014ca: PUSH1 0x40
000014cc: MLOAD
000014cd: PUSH3 0x461bcd
000014d1: PUSH1 0xe5
000014d3: SHL
000014d4: DUP2
000014d5: MSTORE
000014d6: PUSH1 0x04
000014d8: ADD
000014d9: DUP1
000014da: DUP1
000014db: PUSH1 0x20
000014dd: ADD
000014de: DUP3
000014df: DUP2
000014e0: SUB
000014e1: DUP3
000014e2: MSTORE
000014e3: PUSH1 0x22
000014e5: DUP2
000014e6: MSTORE
000014e7: PUSH1 0x20
000014e9: ADD
000014ea: DUP1
000014eb: PUSH2 0x209d
000014ee: PUSH1 0x22
000014f0: SWAP2
000014f1: CODECOPY
000014f2: PUSH1 0x40
000014f4: ADD
000014f5: SWAP2
000014f6: POP
000014f7: POP
000014f8: PUSH1 0x40
000014fa: MLOAD
000014fb: DUP1
000014fc: SWAP2
000014fd: SUB
000014fe: SWAP1
000014ff: REVERT
00001500: JUMPDEST
00001501: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001516: DUP1
00001517: DUP5
00001518: AND
00001519: PUSH1 0x00
0000151b: DUP2
0000151c: DUP2
0000151d: MSTORE
0000151e: PUSH1 0x02
00001520: PUSH1 0x20
00001522: SWAP1
00001523: DUP2
00001524: MSTORE
00001525: PUSH1 0x40
00001527: DUP1
00001528: DUP4
00001529: KECCAK256
0000152a: SWAP5
0000152b: DUP8
0000152c: AND
0000152d: DUP1
0000152e: DUP5
0000152f: MSTORE
00001530: SWAP5
00001531: DUP3
00001532: MSTORE
00001533: SWAP2
00001534: DUP3
00001535: SWAP1
00001536: KECCAK256
00001537: DUP6
00001538: SWAP1
00001539: SSTORE
0000153a: DUP2
0000153b: MLOAD
0000153c: DUP6
0000153d: DUP2
0000153e: MSTORE
0000153f: SWAP2
00001540: MLOAD
00001541: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001562: SWAP3
00001563: DUP2
00001564: SWAP1
00001565: SUB
00001566: SWAP1
00001567: SWAP2
00001568: ADD
00001569: SWAP1
0000156a: LOG3
0000156b: POP
0000156c: POP
0000156d: POP
0000156e: JUMP
0000156f: JUMPDEST
00001570: PUSH1 0x00
00001572: DUP1
00001573: PUSH2 0x15ed
00001576: DUP4
00001577: PUSH1 0x40
00001579: MLOAD
0000157a: PUSH1 0x20
0000157c: ADD
0000157d: DUP1
0000157e: DUP1
0000157f: PUSH32 0x636f6e74726163742e6164647265737300000000000000000000000000000000
000015a0: DUP2
000015a1: MSTORE
000015a2: POP
000015a3: PUSH1 0x10
000015a5: ADD
000015a6: DUP3
000015a7: DUP1
000015a8: MLOAD
000015a9: SWAP1
000015aa: PUSH1 0x20
000015ac: ADD
000015ad: SWAP1
000015ae: DUP1
000015af: DUP4
000015b0: DUP4
000015b1: PUSH1 0x20
000015b3: DUP4
000015b4: LT
000015b5: PUSH2 0x0d6b
000015b8: JUMPI
000015b9: DUP1
000015ba: MLOAD
000015bb: DUP3
000015bc: MSTORE
000015bd: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000015de: SWAP1
000015df: SWAP3
000015e0: ADD
000015e1: SWAP2
000015e2: PUSH1 0x20
000015e4: SWAP2
000015e5: DUP3
000015e6: ADD
000015e7: SWAP2
000015e8: ADD
000015e9: PUSH2 0x0d2e
000015ec: JUMP
000015ed: JUMPDEST
000015ee: SWAP1
000015ef: POP
000015f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001605: DUP2
00001606: AND
00001607: PUSH2 0x06ac
0000160a: JUMPI
0000160b: PUSH1 0x40
0000160d: DUP1
0000160e: MLOAD
0000160f: PUSH3 0x461bcd
00001613: PUSH1 0xe5
00001615: SHL
00001616: DUP2
00001617: MSTORE
00001618: PUSH1 0x20
0000161a: PUSH1 0x04
0000161c: DUP3
0000161d: ADD
0000161e: MSTORE
0000161f: PUSH1 0x12
00001621: PUSH1 0x24
00001623: DUP3
00001624: ADD
00001625: MSTORE
00001626: PUSH32 0x436f6e7472616374206e6f7420666f756e640000000000000000000000000000
00001647: PUSH1 0x44
00001649: DUP3
0000164a: ADD
0000164b: MSTORE
0000164c: SWAP1
0000164d: MLOAD
0000164e: SWAP1
0000164f: DUP2
00001650: SWAP1
00001651: SUB
00001652: PUSH1 0x64
00001654: ADD
00001655: SWAP1
00001656: REVERT
00001657: JUMPDEST
00001658: PUSH1 0x00
0000165a: DUP3
0000165b: PUSH2 0x1666
0000165e: JUMPI
0000165f: POP
00001660: PUSH1 0x00
00001662: PUSH2 0x06ac
00001665: JUMP
00001666: JUMPDEST
00001667: DUP3
00001668: DUP3
00001669: MUL
0000166a: DUP3
0000166b: DUP5
0000166c: DUP3
0000166d: DUP2
0000166e: PUSH2 0x1673
00001671: JUMPI
00001672: INVALID
00001673: JUMPDEST
00001674: DIV
00001675: EQ
00001676: PUSH2 0x16b0
00001679: JUMPI
0000167a: PUSH1 0x40
0000167c: MLOAD
0000167d: PUSH3 0x461bcd
00001681: PUSH1 0xe5
00001683: SHL
00001684: DUP2
00001685: MSTORE
00001686: PUSH1 0x04
00001688: ADD
00001689: DUP1
0000168a: DUP1
0000168b: PUSH1 0x20
0000168d: ADD
0000168e: DUP3
0000168f: DUP2
00001690: SUB
00001691: DUP3
00001692: MSTORE
00001693: PUSH1 0x21
00001695: DUP2
00001696: MSTORE
00001697: PUSH1 0x20
00001699: ADD
0000169a: DUP1
0000169b: PUSH2 0x210d
0000169e: PUSH1 0x21
000016a0: SWAP2
000016a1: CODECOPY
000016a2: PUSH1 0x40
000016a4: ADD
000016a5: SWAP2
000016a6: POP
000016a7: POP
000016a8: PUSH1 0x40
000016aa: MLOAD
000016ab: DUP1
000016ac: SWAP2
000016ad: SUB
000016ae: SWAP1
000016af: REVERT
000016b0: JUMPDEST
000016b1: SWAP4
000016b2: SWAP3
000016b3: POP
000016b4: POP
000016b5: POP
000016b6: JUMP
000016b7: JUMPDEST
000016b8: PUSH1 0x00
000016ba: DUP1
000016bb: DUP3
000016bc: GT
000016bd: PUSH2 0x170d
000016c0: JUMPI
000016c1: PUSH1 0x40
000016c3: DUP1
000016c4: MLOAD
000016c5: PUSH3 0x461bcd
000016c9: PUSH1 0xe5
000016cb: SHL
000016cc: DUP2
000016cd: MSTORE
000016ce: PUSH1 0x20
000016d0: PUSH1 0x04
000016d2: DUP3
000016d3: ADD
000016d4: MSTORE
000016d5: PUSH1 0x1a
000016d7: PUSH1 0x24
000016d9: DUP3
000016da: ADD
000016db: MSTORE
000016dc: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
000016fd: PUSH1 0x44
000016ff: DUP3
00001700: ADD
00001701: MSTORE
00001702: SWAP1
00001703: MLOAD
00001704: SWAP1
00001705: DUP2
00001706: SWAP1
00001707: SUB
00001708: PUSH1 0x64
0000170a: ADD
0000170b: SWAP1
0000170c: REVERT
0000170d: JUMPDEST
0000170e: DUP2
0000170f: DUP4
00001710: DUP2
00001711: PUSH2 0x1716
00001714: JUMPI
00001715: INVALID
00001716: JUMPDEST
00001717: DIV
00001718: SWAP4
00001719: SWAP3
0000171a: POP
0000171b: POP
0000171c: POP
0000171d: JUMP
0000171e: JUMPDEST
0000171f: PUSH1 0x00
00001721: DUP3
00001722: DUP3
00001723: GT
00001724: ISZERO
00001725: PUSH2 0x1775
00001728: JUMPI
00001729: PUSH1 0x40
0000172b: DUP1
0000172c: MLOAD
0000172d: PUSH3 0x461bcd
00001731: PUSH1 0xe5
00001733: SHL
00001734: DUP2
00001735: MSTORE
00001736: PUSH1 0x20
00001738: PUSH1 0x04
0000173a: DUP3
0000173b: ADD
0000173c: MSTORE
0000173d: PUSH1 0x1e
0000173f: PUSH1 0x24
00001741: DUP3
00001742: ADD
00001743: MSTORE
00001744: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001765: PUSH1 0x44
00001767: DUP3
00001768: ADD
00001769: MSTORE
0000176a: SWAP1
0000176b: MLOAD
0000176c: SWAP1
0000176d: DUP2
0000176e: SWAP1
0000176f: SUB
00001770: PUSH1 0x64
00001772: ADD
00001773: SWAP1
00001774: REVERT
00001775: JUMPDEST
00001776: POP
00001777: SWAP1
00001778: SUB
00001779: SWAP1
0000177a: JUMP
0000177b: JUMPDEST
0000177c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001791: DUP4
00001792: AND
00001793: PUSH2 0x17cd
00001796: JUMPI
00001797: PUSH1 0x40
00001799: MLOAD
0000179a: PUSH3 0x461bcd
0000179e: PUSH1 0xe5
000017a0: SHL
000017a1: DUP2
000017a2: MSTORE
000017a3: PUSH1 0x04
000017a5: ADD
000017a6: DUP1
000017a7: DUP1
000017a8: PUSH1 0x20
000017aa: ADD
000017ab: DUP3
000017ac: DUP2
000017ad: SUB
000017ae: DUP3
000017af: MSTORE
000017b0: PUSH1 0x25
000017b2: DUP2
000017b3: MSTORE
000017b4: PUSH1 0x20
000017b6: ADD
000017b7: DUP1
000017b8: PUSH2 0x2177
000017bb: PUSH1 0x25
000017bd: SWAP2
000017be: CODECOPY
000017bf: PUSH1 0x40
000017c1: ADD
000017c2: SWAP2
000017c3: POP
000017c4: POP
000017c5: PUSH1 0x40
000017c7: MLOAD
000017c8: DUP1
000017c9: SWAP2
000017ca: SUB
000017cb: SWAP1
000017cc: REVERT
000017cd: JUMPDEST
000017ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017e3: DUP3
000017e4: AND
000017e5: PUSH2 0x181f
000017e8: JUMPI
000017e9: PUSH1 0x40
000017eb: MLOAD
000017ec: PUSH3 0x461bcd
000017f0: PUSH1 0xe5
000017f2: SHL
000017f3: DUP2
000017f4: MSTORE
000017f5: PUSH1 0x04
000017f7: ADD
000017f8: DUP1
000017f9: DUP1
000017fa: PUSH1 0x20
000017fc: ADD
000017fd: DUP3
000017fe: DUP2
000017ff: SUB
00001800: DUP3
00001801: MSTORE
00001802: PUSH1 0x23
00001804: DUP2
00001805: MSTORE
00001806: PUSH1 0x20
00001808: ADD
00001809: DUP1
0000180a: PUSH2 0x2033
0000180d: PUSH1 0x23
0000180f: SWAP2
00001810: CODECOPY
00001811: PUSH1 0x40
00001813: ADD
00001814: SWAP2
00001815: POP
00001816: POP
00001817: PUSH1 0x40
00001819: MLOAD
0000181a: DUP1
0000181b: SWAP2
0000181c: SUB
0000181d: SWAP1
0000181e: REVERT
0000181f: JUMPDEST
00001820: PUSH2 0x182a
00001823: DUP4
00001824: DUP4
00001825: DUP4
00001826: PUSH2 0x1dc3
00001829: JUMP
0000182a: JUMPDEST
0000182b: PUSH2 0x1874
0000182e: DUP2
0000182f: PUSH1 0x40
00001831: MLOAD
00001832: DUP1
00001833: PUSH1 0x60
00001835: ADD
00001836: PUSH1 0x40
00001838: MSTORE
00001839: DUP1
0000183a: PUSH1 0x26
0000183c: DUP2
0000183d: MSTORE
0000183e: PUSH1 0x20
00001840: ADD
00001841: PUSH2 0x20bf
00001844: PUSH1 0x26
00001846: SWAP2
00001847: CODECOPY
00001848: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000185d: DUP7
0000185e: AND
0000185f: PUSH1 0x00
00001861: SWAP1
00001862: DUP2
00001863: MSTORE
00001864: PUSH1 0x01
00001866: PUSH1 0x20
00001868: MSTORE
00001869: PUSH1 0x40
0000186b: SWAP1
0000186c: KECCAK256
0000186d: SLOAD
0000186e: SWAP2
0000186f: SWAP1
00001870: PUSH2 0x1919
00001873: JUMP
00001874: JUMPDEST
00001875: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000188a: DUP1
0000188b: DUP6
0000188c: AND
0000188d: PUSH1 0x00
0000188f: SWAP1
00001890: DUP2
00001891: MSTORE
00001892: PUSH1 0x01
00001894: PUSH1 0x20
00001896: MSTORE
00001897: PUSH1 0x40
00001899: DUP1
0000189a: DUP3
0000189b: KECCAK256
0000189c: SWAP4
0000189d: SWAP1
0000189e: SWAP4
0000189f: SSTORE
000018a0: SWAP1
000018a1: DUP5
000018a2: AND
000018a3: DUP2
000018a4: MSTORE
000018a5: KECCAK256
000018a6: SLOAD
000018a7: PUSH2 0x18b0
000018aa: SWAP1
000018ab: DUP3
000018ac: PUSH2 0x19b0
000018af: JUMP
000018b0: JUMPDEST
000018b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c6: DUP1
000018c7: DUP5
000018c8: AND
000018c9: PUSH1 0x00
000018cb: DUP2
000018cc: DUP2
000018cd: MSTORE
000018ce: PUSH1 0x01
000018d0: PUSH1 0x20
000018d2: SWAP1
000018d3: DUP2
000018d4: MSTORE
000018d5: PUSH1 0x40
000018d7: SWAP2
000018d8: DUP3
000018d9: SWAP1
000018da: KECCAK256
000018db: SWAP5
000018dc: SWAP1
000018dd: SWAP5
000018de: SSTORE
000018df: DUP1
000018e0: MLOAD
000018e1: DUP6
000018e2: DUP2
000018e3: MSTORE
000018e4: SWAP1
000018e5: MLOAD
000018e6: SWAP2
000018e7: SWAP4
000018e8: SWAP3
000018e9: DUP8
000018ea: AND
000018eb: SWAP3
000018ec: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000190d: SWAP3
0000190e: SWAP2
0000190f: DUP3
00001910: SWAP1
00001911: SUB
00001912: ADD
00001913: SWAP1
00001914: LOG3
00001915: POP
00001916: POP
00001917: POP
00001918: JUMP
00001919: JUMPDEST
0000191a: PUSH1 0x00
0000191c: DUP2
0000191d: DUP5
0000191e: DUP5
0000191f: GT
00001920: ISZERO
00001921: PUSH2 0x19a8
00001924: JUMPI
00001925: PUSH1 0x40
00001927: MLOAD
00001928: PUSH3 0x461bcd
0000192c: PUSH1 0xe5
0000192e: SHL
0000192f: DUP2
00001930: MSTORE
00001931: PUSH1 0x04
00001933: ADD
00001934: DUP1
00001935: DUP1
00001936: PUSH1 0x20
00001938: ADD
00001939: DUP3
0000193a: DUP2
0000193b: SUB
0000193c: DUP3
0000193d: MSTORE
0000193e: DUP4
0000193f: DUP2
00001940: DUP2
00001941: MLOAD
00001942: DUP2
00001943: MSTORE
00001944: PUSH1 0x20
00001946: ADD
00001947: SWAP2
00001948: POP
00001949: DUP1
0000194a: MLOAD
0000194b: SWAP1
0000194c: PUSH1 0x20
0000194e: ADD
0000194f: SWAP1
00001950: DUP1
00001951: DUP4
00001952: DUP4
00001953: PUSH1 0x00
00001955: JUMPDEST
00001956: DUP4
00001957: DUP2
00001958: LT
00001959: ISZERO
0000195a: PUSH2 0x196d
0000195d: JUMPI
0000195e: DUP2
0000195f: DUP2
00001960: ADD
00001961: MLOAD
00001962: DUP4
00001963: DUP3
00001964: ADD
00001965: MSTORE
00001966: PUSH1 0x20
00001968: ADD
00001969: PUSH2 0x1955
0000196c: JUMP
0000196d: JUMPDEST
0000196e: POP
0000196f: POP
00001970: POP
00001971: POP
00001972: SWAP1
00001973: POP
00001974: SWAP1
00001975: DUP2
00001976: ADD
00001977: SWAP1
00001978: PUSH1 0x1f
0000197a: AND
0000197b: DUP1
0000197c: ISZERO
0000197d: PUSH2 0x199a
00001980: JUMPI
00001981: DUP1
00001982: DUP3
00001983: SUB
00001984: DUP1
00001985: MLOAD
00001986: PUSH1 0x01
00001988: DUP4
00001989: PUSH1 0x20
0000198b: SUB
0000198c: PUSH2 0x0100
0000198f: EXP
00001990: SUB
00001991: NOT
00001992: AND
00001993: DUP2
00001994: MSTORE
00001995: PUSH1 0x20
00001997: ADD
00001998: SWAP2
00001999: POP
0000199a: JUMPDEST
0000199b: POP
0000199c: SWAP3
0000199d: POP
0000199e: POP
0000199f: POP
000019a0: PUSH1 0x40
000019a2: MLOAD
000019a3: DUP1
000019a4: SWAP2
000019a5: SUB
000019a6: SWAP1
000019a7: REVERT
000019a8: JUMPDEST
000019a9: POP
000019aa: POP
000019ab: POP
000019ac: SWAP1
000019ad: SUB
000019ae: SWAP1
000019af: JUMP
000019b0: JUMPDEST
000019b1: PUSH1 0x00
000019b3: DUP3
000019b4: DUP3
000019b5: ADD
000019b6: DUP4
000019b7: DUP2
000019b8: LT
000019b9: ISZERO
000019ba: PUSH2 0x16b0
000019bd: JUMPI
000019be: PUSH1 0x40
000019c0: DUP1
000019c1: MLOAD
000019c2: PUSH3 0x461bcd
000019c6: PUSH1 0xe5
000019c8: SHL
000019c9: DUP2
000019ca: MSTORE
000019cb: PUSH1 0x20
000019cd: PUSH1 0x04
000019cf: DUP3
000019d0: ADD
000019d1: MSTORE
000019d2: PUSH1 0x1b
000019d4: PUSH1 0x24
000019d6: DUP3
000019d7: ADD
000019d8: MSTORE
000019d9: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
000019fa: PUSH1 0x44
000019fc: DUP3
000019fd: ADD
000019fe: MSTORE
000019ff: SWAP1
00001a00: MLOAD
00001a01: SWAP1
00001a02: DUP2
00001a03: SWAP1
00001a04: SUB
00001a05: PUSH1 0x64
00001a07: ADD
00001a08: SWAP1
00001a09: REVERT
00001a0a: JUMPDEST
00001a0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a20: DUP3
00001a21: AND
00001a22: PUSH2 0x1a5c
00001a25: JUMPI
00001a26: PUSH1 0x40
00001a28: MLOAD
00001a29: PUSH3 0x461bcd
00001a2d: PUSH1 0xe5
00001a2f: SHL
00001a30: DUP2
00001a31: MSTORE
00001a32: PUSH1 0x04
00001a34: ADD
00001a35: DUP1
00001a36: DUP1
00001a37: PUSH1 0x20
00001a39: ADD
00001a3a: DUP3
00001a3b: DUP2
00001a3c: SUB
00001a3d: DUP3
00001a3e: MSTORE
00001a3f: PUSH1 0x21
00001a41: DUP2
00001a42: MSTORE
00001a43: PUSH1 0x20
00001a45: ADD
00001a46: DUP1
00001a47: PUSH2 0x2156
00001a4a: PUSH1 0x21
00001a4c: SWAP2
00001a4d: CODECOPY
00001a4e: PUSH1 0x40
00001a50: ADD
00001a51: SWAP2
00001a52: POP
00001a53: POP
00001a54: PUSH1 0x40
00001a56: MLOAD
00001a57: DUP1
00001a58: SWAP2
00001a59: SUB
00001a5a: SWAP1
00001a5b: REVERT
00001a5c: JUMPDEST
00001a5d: PUSH2 0x1a68
00001a60: DUP3
00001a61: PUSH1 0x00
00001a63: DUP4
00001a64: PUSH2 0x1dc3
00001a67: JUMP
00001a68: JUMPDEST
00001a69: PUSH2 0x1ab2
00001a6c: DUP2
00001a6d: PUSH1 0x40
00001a6f: MLOAD
00001a70: DUP1
00001a71: PUSH1 0x60
00001a73: ADD
00001a74: PUSH1 0x40
00001a76: MSTORE
00001a77: DUP1
00001a78: PUSH1 0x22
00001a7a: DUP2
00001a7b: MSTORE
00001a7c: PUSH1 0x20
00001a7e: ADD
00001a7f: PUSH2 0x207b
00001a82: PUSH1 0x22
00001a84: SWAP2
00001a85: CODECOPY
00001a86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a9b: DUP6
00001a9c: AND
00001a9d: PUSH1 0x00
00001a9f: SWAP1
00001aa0: DUP2
00001aa1: MSTORE
00001aa2: PUSH1 0x01
00001aa4: PUSH1 0x20
00001aa6: MSTORE
00001aa7: PUSH1 0x40
00001aa9: SWAP1
00001aaa: KECCAK256
00001aab: SLOAD
00001aac: SWAP2
00001aad: SWAP1
00001aae: PUSH2 0x1919
00001ab1: JUMP
00001ab2: JUMPDEST
00001ab3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac8: DUP4
00001ac9: AND
00001aca: PUSH1 0x00
00001acc: SWAP1
00001acd: DUP2
00001ace: MSTORE
00001acf: PUSH1 0x01
00001ad1: PUSH1 0x20
00001ad3: MSTORE
00001ad4: PUSH1 0x40
00001ad6: SWAP1
00001ad7: KECCAK256
00001ad8: SSTORE
00001ad9: PUSH1 0x03
00001adb: SLOAD
00001adc: PUSH2 0x1ae5
00001adf: SWAP1
00001ae0: DUP3
00001ae1: PUSH2 0x171e
00001ae4: JUMP
00001ae5: JUMPDEST
00001ae6: PUSH1 0x03
00001ae8: SSTORE
00001ae9: PUSH1 0x40
00001aeb: DUP1
00001aec: MLOAD
00001aed: DUP3
00001aee: DUP2
00001aef: MSTORE
00001af0: SWAP1
00001af1: MLOAD
00001af2: PUSH1 0x00
00001af4: SWAP2
00001af5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b0a: DUP6
00001b0b: AND
00001b0c: SWAP2
00001b0d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001b2e: SWAP2
00001b2f: DUP2
00001b30: SWAP1
00001b31: SUB
00001b32: PUSH1 0x20
00001b34: ADD
00001b35: SWAP1
00001b36: LOG3
00001b37: POP
00001b38: POP
00001b39: JUMP
00001b3a: JUMPDEST
00001b3b: SELFBALANCE
00001b3c: DUP2
00001b3d: DUP2
00001b3e: LT
00001b3f: PUSH2 0x1b48
00001b42: JUMPI
00001b43: POP
00001b44: PUSH2 0x1c01
00001b47: JUMP
00001b48: JUMPDEST
00001b49: PUSH1 0x00
00001b4b: PUSH2 0x1b88
00001b4e: PUSH1 0x40
00001b50: MLOAD
00001b51: DUP1
00001b52: PUSH1 0x40
00001b54: ADD
00001b55: PUSH1 0x40
00001b57: MSTORE
00001b58: DUP1
00001b59: PUSH1 0x11
00001b5b: DUP2
00001b5c: MSTORE
00001b5d: PUSH1 0x20
00001b5f: ADD
00001b60: PUSH32 0x726f636b65744465706f736974506f6f6c000000000000000000000000000000
00001b81: DUP2
00001b82: MSTORE
00001b83: POP
00001b84: PUSH2 0x156f
00001b87: JUMP
00001b88: JUMPDEST
00001b89: SWAP1
00001b8a: POP
00001b8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ba0: DUP2
00001ba1: AND
00001ba2: PUSH4 0x63a5db9e
00001ba7: PUSH2 0x1bb0
00001baa: DUP6
00001bab: DUP6
00001bac: PUSH2 0x171e
00001baf: JUMP
00001bb0: JUMPDEST
00001bb1: PUSH1 0x40
00001bb3: MLOAD
00001bb4: DUP3
00001bb5: PUSH4 0xffffffff
00001bba: AND
00001bbb: PUSH1 0xe0
00001bbd: SHL
00001bbe: DUP2
00001bbf: MSTORE
00001bc0: PUSH1 0x04
00001bc2: ADD
00001bc3: DUP1
00001bc4: DUP3
00001bc5: DUP2
00001bc6: MSTORE
00001bc7: PUSH1 0x20
00001bc9: ADD
00001bca: SWAP2
00001bcb: POP
00001bcc: POP
00001bcd: PUSH1 0x00
00001bcf: PUSH1 0x40
00001bd1: MLOAD
00001bd2: DUP1
00001bd3: DUP4
00001bd4: SUB
00001bd5: DUP2
00001bd6: PUSH1 0x00
00001bd8: DUP8
00001bd9: DUP1
00001bda: EXTCODESIZE
00001bdb: ISZERO
00001bdc: DUP1
00001bdd: ISZERO
00001bde: PUSH2 0x1be6
00001be1: JUMPI
00001be2: PUSH1 0x00
00001be4: DUP1
00001be5: REVERT
00001be6: JUMPDEST
00001be7: POP
00001be8: GAS
00001be9: CALL
00001bea: ISZERO
00001beb: DUP1
00001bec: ISZERO
00001bed: PUSH2 0x1bfa
00001bf0: JUMPI
00001bf1: RETURNDATASIZE
00001bf2: PUSH1 0x00
00001bf4: DUP1
00001bf5: RETURNDATACOPY
00001bf6: RETURNDATASIZE
00001bf7: PUSH1 0x00
00001bf9: REVERT
00001bfa: JUMPDEST
00001bfb: POP
00001bfc: POP
00001bfd: POP
00001bfe: POP
00001bff: POP
00001c00: POP
00001c01: JUMPDEST
00001c02: POP
00001c03: JUMP
00001c04: JUMPDEST
00001c05: PUSH1 0x00
00001c07: DUP1
00001c08: PUSH1 0x01
00001c0a: SWAP1
00001c0b: SLOAD
00001c0c: SWAP1
00001c0d: PUSH2 0x0100
00001c10: EXP
00001c11: SWAP1
00001c12: DIV
00001c13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c28: AND
00001c29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c3e: AND
00001c3f: PUSH4 0x21f8a721
00001c44: DUP4
00001c45: PUSH1 0x40
00001c47: MLOAD
00001c48: DUP3
00001c49: PUSH4 0xffffffff
00001c4e: AND
00001c4f: PUSH1 0xe0
00001c51: SHL
00001c52: DUP2
00001c53: MSTORE
00001c54: PUSH1 0x04
00001c56: ADD
00001c57: DUP1
00001c58: DUP3
00001c59: DUP2
00001c5a: MSTORE
00001c5b: PUSH1 0x20
00001c5d: ADD
00001c5e: SWAP2
00001c5f: POP
00001c60: POP
00001c61: PUSH1 0x20
00001c63: PUSH1 0x40
00001c65: MLOAD
00001c66: DUP1
00001c67: DUP4
00001c68: SUB
00001c69: DUP2
00001c6a: DUP7
00001c6b: DUP1
00001c6c: EXTCODESIZE
00001c6d: ISZERO
00001c6e: DUP1
00001c6f: ISZERO
00001c70: PUSH2 0x1c78
00001c73: JUMPI
00001c74: PUSH1 0x00
00001c76: DUP1
00001c77: REVERT
00001c78: JUMPDEST
00001c79: POP
00001c7a: GAS
00001c7b: STATICCALL
00001c7c: ISZERO
00001c7d: DUP1
00001c7e: ISZERO
00001c7f: PUSH2 0x1c8c
00001c82: JUMPI
00001c83: RETURNDATASIZE
00001c84: PUSH1 0x00
00001c86: DUP1
00001c87: RETURNDATACOPY
00001c88: RETURNDATASIZE
00001c89: PUSH1 0x00
00001c8b: REVERT
00001c8c: JUMPDEST
00001c8d: POP
00001c8e: POP
00001c8f: POP
00001c90: POP
00001c91: PUSH1 0x40
00001c93: MLOAD
00001c94: RETURNDATASIZE
00001c95: PUSH1 0x20
00001c97: DUP2
00001c98: LT
00001c99: ISZERO
00001c9a: PUSH2 0x1ca2
00001c9d: JUMPI
00001c9e: PUSH1 0x00
00001ca0: DUP1
00001ca1: REVERT
00001ca2: JUMPDEST
00001ca3: POP
00001ca4: MLOAD
00001ca5: SWAP3
00001ca6: SWAP2
00001ca7: POP
00001ca8: POP
00001ca9: JUMP
00001caa: JUMPDEST
00001cab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cc0: DUP3
00001cc1: AND
00001cc2: PUSH2 0x1d12
00001cc5: JUMPI
00001cc6: PUSH1 0x40
00001cc8: DUP1
00001cc9: MLOAD
00001cca: PUSH3 0x461bcd
00001cce: PUSH1 0xe5
00001cd0: SHL
00001cd1: DUP2
00001cd2: MSTORE
00001cd3: PUSH1 0x20
00001cd5: PUSH1 0x04
00001cd7: DUP3
00001cd8: ADD
00001cd9: MSTORE
00001cda: PUSH1 0x1f
00001cdc: PUSH1 0x24
00001cde: DUP3
00001cdf: ADD
00001ce0: MSTORE
00001ce1: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00001d02: PUSH1 0x44
00001d04: DUP3
00001d05: ADD
00001d06: MSTORE
00001d07: SWAP1
00001d08: MLOAD
00001d09: SWAP1
00001d0a: DUP2
00001d0b: SWAP1
00001d0c: SUB
00001d0d: PUSH1 0x64
00001d0f: ADD
00001d10: SWAP1
00001d11: REVERT
00001d12: JUMPDEST
00001d13: PUSH2 0x1d1e
00001d16: PUSH1 0x00
00001d18: DUP4
00001d19: DUP4
00001d1a: PUSH2 0x1dc3
00001d1d: JUMP
00001d1e: JUMPDEST
00001d1f: PUSH1 0x03
00001d21: SLOAD
00001d22: PUSH2 0x1d2b
00001d25: SWAP1
00001d26: DUP3
00001d27: PUSH2 0x19b0
00001d2a: JUMP
00001d2b: JUMPDEST
00001d2c: PUSH1 0x03
00001d2e: SSTORE
00001d2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d44: DUP3
00001d45: AND
00001d46: PUSH1 0x00
00001d48: SWAP1
00001d49: DUP2
00001d4a: MSTORE
00001d4b: PUSH1 0x01
00001d4d: PUSH1 0x20
00001d4f: MSTORE
00001d50: PUSH1 0x40
00001d52: SWAP1
00001d53: KECCAK256
00001d54: SLOAD
00001d55: PUSH2 0x1d5e
00001d58: SWAP1
00001d59: DUP3
00001d5a: PUSH2 0x19b0
00001d5d: JUMP
00001d5e: JUMPDEST
00001d5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d74: DUP4
00001d75: AND
00001d76: PUSH1 0x00
00001d78: DUP2
00001d79: DUP2
00001d7a: MSTORE
00001d7b: PUSH1 0x01
00001d7d: PUSH1 0x20
00001d7f: SWAP1
00001d80: DUP2
00001d81: MSTORE
00001d82: PUSH1 0x40
00001d84: DUP1
00001d85: DUP4
00001d86: KECCAK256
00001d87: SWAP5
00001d88: SWAP1
00001d89: SWAP5
00001d8a: SSTORE
00001d8b: DUP4
00001d8c: MLOAD
00001d8d: DUP6
00001d8e: DUP2
00001d8f: MSTORE
00001d90: SWAP4
00001d91: MLOAD
00001d92: SWAP3
00001d93: SWAP4
00001d94: SWAP2
00001d95: SWAP3
00001d96: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001db7: SWAP3
00001db8: DUP2
00001db9: SWAP1
00001dba: SUB
00001dbb: SWAP1
00001dbc: SWAP2
00001dbd: ADD
00001dbe: SWAP1
00001dbf: LOG3
00001dc0: POP
00001dc1: POP
00001dc2: JUMP
00001dc3: JUMPDEST
00001dc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd9: DUP4
00001dda: AND
00001ddb: ISZERO
00001ddc: PUSH2 0x1f33
00001ddf: JUMPI
00001de0: PUSH1 0x40
00001de2: DUP1
00001de3: MLOAD
00001de4: PUSH32 0x757365722e6465706f7369742e626c6f636b0000000000000000000000000000
00001e05: PUSH1 0x20
00001e07: DUP1
00001e08: DUP4
00001e09: ADD
00001e0a: SWAP2
00001e0b: SWAP1
00001e0c: SWAP2
00001e0d: MSTORE
00001e0e: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
00001e2f: PUSH1 0x60
00001e31: DUP8
00001e32: SWAP1
00001e33: SHL
00001e34: AND
00001e35: PUSH1 0x32
00001e37: DUP4
00001e38: ADD
00001e39: MSTORE
00001e3a: DUP3
00001e3b: MLOAD
00001e3c: PUSH1 0x26
00001e3e: DUP2
00001e3f: DUP5
00001e40: SUB
00001e41: ADD
00001e42: DUP2
00001e43: MSTORE
00001e44: PUSH1 0x46
00001e46: SWAP1
00001e47: SWAP3
00001e48: ADD
00001e49: SWAP1
00001e4a: SWAP3
00001e4b: MSTORE
00001e4c: DUP1
00001e4d: MLOAD
00001e4e: SWAP2
00001e4f: ADD
00001e50: KECCAK256
00001e51: PUSH1 0x00
00001e53: PUSH2 0x1e5b
00001e56: DUP3
00001e57: PUSH2 0x1f38
00001e5a: JUMP
00001e5b: JUMPDEST
00001e5c: SWAP1
00001e5d: POP
00001e5e: DUP1
00001e5f: ISZERO
00001e60: PUSH2 0x0857
00001e63: JUMPI
00001e64: PUSH1 0x00
00001e66: PUSH2 0x1edc
00001e69: PUSH32 0x7cb36cfba78818e097a3d983f102f9107317663854a5d185ea320a1e1a7da215
00001e8a: PUSH1 0x40
00001e8c: MLOAD
00001e8d: PUSH1 0x20
00001e8f: ADD
00001e90: DUP1
00001e91: DUP3
00001e92: DUP2
00001e93: MSTORE
00001e94: PUSH1 0x20
00001e96: ADD
00001e97: DUP1
00001e98: PUSH32 0x6e6574776f726b2e726574682e6465706f7369742e64656c6179000000000000
00001eb9: DUP2
00001eba: MSTORE
00001ebb: POP
00001ebc: PUSH1 0x1a
00001ebe: ADD
00001ebf: SWAP2
00001ec0: POP
00001ec1: POP
00001ec2: PUSH1 0x40
00001ec4: MLOAD
00001ec5: PUSH1 0x20
00001ec7: DUP2
00001ec8: DUP4
00001ec9: SUB
00001eca: SUB
00001ecb: DUP2
00001ecc: MSTORE
00001ecd: SWAP1
00001ece: PUSH1 0x40
00001ed0: MSTORE
00001ed1: DUP1
00001ed2: MLOAD
00001ed3: SWAP1
00001ed4: PUSH1 0x20
00001ed6: ADD
00001ed7: KECCAK256
00001ed8: PUSH2 0x1f38
00001edb: JUMP
00001edc: JUMPDEST
00001edd: SWAP1
00001ede: POP
00001edf: PUSH1 0x00
00001ee1: PUSH2 0x1eea
00001ee4: NUMBER
00001ee5: DUP5
00001ee6: PUSH2 0x171e
00001ee9: JUMP
00001eea: JUMPDEST
00001eeb: SWAP1
00001eec: POP
00001eed: DUP2
00001eee: DUP2
00001eef: GT
00001ef0: PUSH2 0x1f2a
00001ef3: JUMPI
00001ef4: PUSH1 0x40
00001ef6: MLOAD
00001ef7: PUSH3 0x461bcd
00001efb: PUSH1 0xe5
00001efd: SHL
00001efe: DUP2
00001eff: MSTORE
00001f00: PUSH1 0x04
00001f02: ADD
00001f03: DUP1
00001f04: DUP1
00001f05: PUSH1 0x20
00001f07: ADD
00001f08: DUP3
00001f09: DUP2
00001f0a: SUB
00001f0b: DUP3
00001f0c: MSTORE
00001f0d: PUSH1 0x28
00001f0f: DUP2
00001f10: MSTORE
00001f11: PUSH1 0x20
00001f13: ADD
00001f14: DUP1
00001f15: PUSH2 0x20e5
00001f18: PUSH1 0x28
00001f1a: SWAP2
00001f1b: CODECOPY
00001f1c: PUSH1 0x40
00001f1e: ADD
00001f1f: SWAP2
00001f20: POP
00001f21: POP
00001f22: PUSH1 0x40
00001f24: MLOAD
00001f25: DUP1
00001f26: SWAP2
00001f27: SUB
00001f28: SWAP1
00001f29: REVERT
00001f2a: JUMPDEST
00001f2b: PUSH2 0x1bfa
00001f2e: DUP5
00001f2f: PUSH2 0x1fac
00001f32: JUMP
00001f33: JUMPDEST
00001f34: POP
00001f35: POP
00001f36: POP
00001f37: JUMP
00001f38: JUMPDEST
00001f39: PUSH1 0x00
00001f3b: DUP1
00001f3c: PUSH1 0x01
00001f3e: SWAP1
00001f3f: SLOAD
00001f40: SWAP1
00001f41: PUSH2 0x0100
00001f44: EXP
00001f45: SWAP1
00001f46: DIV
00001f47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f5c: AND
00001f5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f72: AND
00001f73: PUSH4 0xbd02d0f5
00001f78: DUP4
00001f79: PUSH1 0x40
00001f7b: MLOAD
00001f7c: DUP3
00001f7d: PUSH4 0xffffffff
00001f82: AND
00001f83: PUSH1 0xe0
00001f85: SHL
00001f86: DUP2
00001f87: MSTORE
00001f88: PUSH1 0x04
00001f8a: ADD
00001f8b: DUP1
00001f8c: DUP3
00001f8d: DUP2
00001f8e: MSTORE
00001f8f: PUSH1 0x20
00001f91: ADD
00001f92: SWAP2
00001f93: POP
00001f94: POP
00001f95: PUSH1 0x20
00001f97: PUSH1 0x40
00001f99: MLOAD
00001f9a: DUP1
00001f9b: DUP4
00001f9c: SUB
00001f9d: DUP2
00001f9e: DUP7
00001f9f: DUP1
00001fa0: EXTCODESIZE
00001fa1: ISZERO
00001fa2: DUP1
00001fa3: ISZERO
00001fa4: PUSH2 0x1c78
00001fa7: JUMPI
00001fa8: PUSH1 0x00
00001faa: DUP1
00001fab: REVERT
00001fac: JUMPDEST
00001fad: PUSH1 0x00
00001faf: DUP1
00001fb0: SLOAD
00001fb1: PUSH1 0x40
00001fb3: DUP1
00001fb4: MLOAD
00001fb5: PUSH32 0xe2b202bf00000000000000000000000000000000000000000000000000000000
00001fd6: DUP2
00001fd7: MSTORE
00001fd8: PUSH1 0x04
00001fda: DUP2
00001fdb: ADD
00001fdc: DUP6
00001fdd: SWAP1
00001fde: MSTORE
00001fdf: SWAP1
00001fe0: MLOAD
00001fe1: PUSH2 0x0100
00001fe4: SWAP1
00001fe5: SWAP3
00001fe6: DIV
00001fe7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ffc: AND
00001ffd: SWAP3
00001ffe: PUSH4 0xe2b202bf
00002003: SWAP3
00002004: PUSH1 0x24
00002006: DUP1
00002007: DUP5
00002008: ADD
00002009: SWAP4
0000200a: DUP3
0000200b: SWAP1
0000200c: SUB
0000200d: ADD
0000200e: DUP2
0000200f: DUP4
00002010: DUP8
00002011: DUP1
00002012: EXTCODESIZE
00002013: ISZERO
00002014: DUP1
00002015: ISZERO
00002016: PUSH2 0x201e
00002019: JUMPI
0000201a: PUSH1 0x00
0000201c: DUP1
0000201d: REVERT
0000201e: JUMPDEST
0000201f: POP
00002020: GAS
00002021: CALL
00002022: ISZERO
00002023: DUP1
00002024: ISZERO
00002025: PUSH2 0x0857
00002028: JUMPI
00002029: RETURNDATASIZE
0000202a: PUSH1 0x00
0000202c: DUP1
0000202d: RETURNDATACOPY
0000202e: RETURNDATASIZE
0000202f: PUSH1 0x00
00002031: REVERT
00002032: INVALID
00002033: GASLIMIT
00002034: MSTORE
00002035: NUMBER
00002036: ORIGIN
00002037: ADDRESS
00002038: GASPRICE
00002039: KECCAK256
0000203a: PUSH21 0x72616e7366657220746f20746865207a65726f2061
00002050: PUSH5 0x6472657373
00002056: BLOBHASH
00002057: PUSH15 0x73756666696369656e742045544820
00002067: PUSH3 0x616c61
0000206b: PUSH15 0x636520666f722065786368616e6765
0000207b: GASLIMIT
0000207c: MSTORE
0000207d: NUMBER
0000207e: ORIGIN
0000207f: ADDRESS
00002080: GASPRICE
00002081: KECCAK256
00002082: PUSH3 0x75726e
00002086: KECCAK256
00002087: PUSH2 0x6d6f
0000208a: PUSH22 0x6e7420657863656564732062616c616e636545524332
000020a1: ADDRESS
000020a2: GASPRICE
000020a3: KECCAK256
000020a4: PUSH2 0x7070
000020a7: PUSH19 0x6f766520746f20746865207a65726f20616464
000020bb: PUSH19 0x65737345524332303a207472616e7366657220
000020cf: PUSH2 0x6d6f
000020d2: PUSH22 0x6e7420657863656564732062616c616e63654e6f7420
000020e9: PUSH6 0x6e6f75676820
000020f0: PUSH21 0x696d6520686173207061737365642073696e636520
00002106: PUSH5 0x65706f7369
0000210c: PUSH21 0x536166654d6174683a206d756c7469706c69636174
00002122: PUSH10 0x6f6e206f766572666c6f
0000212d: PUSH24 0x45524332303a207472616e7366657220616d6f756e742065
00002146: PUSH25 0x636565647320616c6c6f77616e636545524332303a20627572
00002160: PUSH15 0x2066726f6d20746865207a65726f20
00002170: PUSH2 0x6464
00002173: PUSH19 0x65737345524332303a207472616e7366657220
00002187: PUSH7 0x726f6d20746865
0000218f: KECCAK256
00002190: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066
000021ac: PUSH19 0x6f6d20746865207a65726f2061646472657373
000021c0: NUMBER
000021c1: PUSH2 0x6e6e
000021c4: PUSH16 0x742063616c63756c6174652072455448
000021d5: KECCAK256
000021d6: PUSH21 0x6f6b656e20616d6f756e74207768696c6520746f74
000021ec: PUSH2 0x6c20
000021ef: PUSH15 0x6574776f726b2062616c616e636520
000021ff: PUSH10 0x73207a65726f45524332
0000220a: ADDRESS
0000220b: GASPRICE
0000220c: KECCAK256
0000220d: PUSH5 0x6563726561
00002213: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a
00002228: PUSH6 0x726fa2646970
0000222f: PUSH7 0x73582212205a28
00002237: UNKNOWN(0xBE)
00002238: UNKNOWN(0x4F)
00002239: UNKNOWN(0xCC)
0000223a: MSTORE8
0000223b: UNKNOWN(0xCC)
0000223c: UNKNOWN(0xD2)
0000223d: UNKNOWN(0xEF)
0000223e: UNKNOWN(0xBA)
0000223f: AND
00002240: MOD
00002241: BASEFEE
00002242: SIGNEXTEND
00002243: PUSH17 0xdfaf30afcd114e556e4547176880794b36
00002255: PUSH5 0x736f6c6343
0000225b: STOP
0000225c: SMOD
0000225d: MOD
0000225e: STOP
0000225f: CALLER

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": "0xd6eb5910", "selector": "0xd6eb5910", "calldata_variants": [ "0xd6eb5910", "0xd6eb59100000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe6aa216c", "selector": "0xe6aa216c", "calldata_variants": [ "0xe6aa216c", "0xe6aa216c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x852185fc", "selector": "0x852185fc", "calldata_variants": [ "0x852185fc", "0x852185fc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8b32fa23", "selector": "0x8b32fa23", "calldata_variants": [ "0x8b32fa23", "0x8b32fa230000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 8246, "type": "tx_origin_used" }, { "pc": 8318, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xb52d082370e015747edf585fb1102e86923fc72aebb5b7d78f70b5fc779631ef call_targets: 0xae78736cd615f374d3085123a210448e74fc6393 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb52d082370e015747edf585fb1102e86923fc72aebb5b7d78f70b5fc779631ef", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xae78736cd615f374d3085123a210448e74fc6393" ], "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": "0xd6eb5910", "selector": "0xd6eb5910", "calldata_variants": [ "0xd6eb5910", "0xd6eb59100000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe6aa216c", "selector": "0xe6aa216c", "calldata_variants": [ "0xe6aa216c", "0xe6aa216c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x852185fc", "selector": "0x852185fc", "calldata_variants": [ "0x852185fc", "0x852185fc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8b32fa23", "selector": "0x8b32fa23", "calldata_variants": [ "0x8b32fa23", "0x8b32fa230000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2111, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2712, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7145, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [ { "pc": 8246, "type": "tx_origin_used" }, { "pc": 8318, "type": "tx_origin_used" } ], "untrusted_call_count": 4 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xb52d082370e015747edf585fb1102e86923fc72aebb5b7d78f70b5fc779631ef call_targets: 0xae78736cd615f374d3085123a210448e74fc6393 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb52d082370e015747edf585fb1102e86923fc72aebb5b7d78f70b5fc779631ef", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xae78736cd615f374d3085123a210448e74fc6393" ], "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": "0xd6eb5910", "selector": "0xd6eb5910", "calldata_variants": [ "0xd6eb5910", "0xd6eb59100000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe6aa216c", "selector": "0xe6aa216c", "calldata_variants": [ "0xe6aa216c", "0xe6aa216c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x852185fc", "selector": "0x852185fc", "calldata_variants": [ "0x852185fc", "0x852185fc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8b32fa23", "selector": "0x8b32fa23", "calldata_variants": [ "0x8b32fa23", "0x8b32fa230000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2111, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2712, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7145, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [ { "pc": 8246, "type": "tx_origin_used" }, { "pc": 8318, "type": "tx_origin_used" } ] }
info	other	cast	Heavy EXTCODE*/BALANCE usage	55	no	—	view evidence_json { "notes": "frequent external code or balance checks; may indicate introspection or validation logic", "ext_balance_count": 11 }