Analysis Run

019ba92c-fd1c-73ee-b334-583856c94596

complete

Chain ID

1

Address

0x0e0a84212a77b137972401ce3d630bc993c17a0b

Block Number

—

Created

Sat, Jan 10, 2026 6:30 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
36034	artifact.fetch	complete	1 / 3	3 months ago
36035	proxy.resolve	complete	1 / 3	3 months ago
36036	tool.cast_disasm	complete	1 / 3	3 months ago
36037	analysis.bundle	complete	1 / 3	3 months ago
36038	capability.graph	complete	1 / 3	3 months ago
36039	detector.run	complete	1 / 3	3 months ago
36040	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)

7

EXT*/BALANCE

5

Total opcodes

5886

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 0x02ca
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x880b678d
00000019: GT
0000001a: PUSH2 0x0179
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xba327627
00000024: GT
00000025: PUSH2 0x00d6
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc8796572
0000002f: GT
00000030: PUSH2 0x008a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe20ccec3
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe20ccec3
00000045: EQ
00000046: PUSH2 0x07cf
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf399d3d4
00000050: EQ
00000051: PUSH2 0x07e4
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xff99d7e5
0000005b: EQ
0000005c: PUSH2 0x07fa
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xc8796572
0000006b: EQ
0000006c: PUSH2 0x077a
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xd547741f
00000076: EQ
00000077: PUSH2 0x078f
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xde412adc
00000081: EQ
00000082: PUSH2 0x07af
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0xbb440c45
00000091: GT
00000092: PUSH2 0x00bb
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xbb440c45
0000009c: EQ
0000009d: PUSH2 0x071a
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xbce1b520
000000a7: EQ
000000a8: PUSH2 0x073a
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xc0c53b8b
000000b2: EQ
000000b3: PUSH2 0x075a
000000b6: JUMPI
000000b7: PUSH1 0x00
000000b9: DUP1
000000ba: REVERT
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0xba327627
000000c2: EQ
000000c3: PUSH2 0x06f0
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0xbae6c2ad
000000cd: EQ
000000ce: PUSH2 0x0705
000000d1: JUMPI
000000d2: PUSH1 0x00
000000d4: DUP1
000000d5: REVERT
000000d6: JUMPDEST
000000d7: DUP1
000000d8: PUSH4 0xab2f0e51
000000dd: GT
000000de: PUSH2 0x012d
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0xacb4a6ae
000000e8: GT
000000e9: PUSH2 0x0112
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0xacb4a6ae
000000f3: EQ
000000f4: PUSH2 0x0685
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xada8f919
000000fe: EQ
000000ff: PUSH2 0x069c
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xb2ea1398
00000109: EQ
0000010a: PUSH2 0x06bc
0000010d: JUMPI
0000010e: PUSH1 0x00
00000110: DUP1
00000111: REVERT
00000112: JUMPDEST
00000113: DUP1
00000114: PUSH4 0xab2f0e51
00000119: EQ
0000011a: PUSH2 0x0650
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0xac1e5025
00000124: EQ
00000125: PUSH2 0x0665
00000128: JUMPI
00000129: PUSH1 0x00
0000012b: DUP1
0000012c: REVERT
0000012d: JUMPDEST
0000012e: DUP1
0000012f: PUSH4 0x8bc802fb
00000134: GT
00000135: PUSH2 0x015e
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x8bc802fb
0000013f: EQ
00000140: PUSH2 0x05d5
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x91d14854
0000014a: EQ
0000014b: PUSH2 0x05f5
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0xa217fddf
00000155: EQ
00000156: PUSH2 0x063b
00000159: JUMPI
0000015a: PUSH1 0x00
0000015c: DUP1
0000015d: REVERT
0000015e: JUMPDEST
0000015f: DUP1
00000160: PUSH4 0x880b678d
00000165: EQ
00000166: PUSH2 0x05a7
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0x8bc7e8c4
00000170: EQ
00000171: PUSH2 0x05be
00000174: JUMPI
00000175: PUSH1 0x00
00000177: DUP1
00000178: REVERT
00000179: JUMPDEST
0000017a: DUP1
0000017b: PUSH4 0x3e19e8c1
00000180: GT
00000181: PUSH2 0x0227
00000184: JUMPI
00000185: DUP1
00000186: PUSH4 0x4b319713
0000018b: GT
0000018c: PUSH2 0x01db
0000018f: JUMPI
00000190: DUP1
00000191: PUSH4 0x7b571608
00000196: GT
00000197: PUSH2 0x01c0
0000019a: JUMPI
0000019b: DUP1
0000019c: PUSH4 0x7b571608
000001a1: EQ
000001a2: PUSH2 0x0511
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x81d12c58
000001ac: EQ
000001ad: PUSH2 0x0528
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0x8456cb59
000001b7: EQ
000001b8: PUSH2 0x0592
000001bb: JUMPI
000001bc: PUSH1 0x00
000001be: DUP1
000001bf: REVERT
000001c0: JUMPDEST
000001c1: DUP1
000001c2: PUSH4 0x4b319713
000001c7: EQ
000001c8: PUSH2 0x04e2
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0x5c975abb
000001d2: EQ
000001d3: PUSH2 0x04f9
000001d6: JUMPI
000001d7: PUSH1 0x00
000001d9: DUP1
000001da: REVERT
000001db: JUMPDEST
000001dc: DUP1
000001dd: PUSH4 0x4430db7e
000001e2: GT
000001e3: PUSH2 0x020c
000001e6: JUMPI
000001e7: DUP1
000001e8: PUSH4 0x4430db7e
000001ed: EQ
000001ee: PUSH2 0x0482
000001f1: JUMPI
000001f2: DUP1
000001f3: PUSH4 0x463ccc74
000001f8: EQ
000001f9: PUSH2 0x04b6
000001fc: JUMPI
000001fd: DUP1
000001fe: PUSH4 0x472abf68
00000203: EQ
00000204: PUSH2 0x04cd
00000207: JUMPI
00000208: PUSH1 0x00
0000020a: DUP1
0000020b: REVERT
0000020c: JUMPDEST
0000020d: DUP1
0000020e: PUSH4 0x3e19e8c1
00000213: EQ
00000214: PUSH2 0x0458
00000217: JUMPI
00000218: DUP1
00000219: PUSH4 0x3f4ba83a
0000021e: EQ
0000021f: PUSH2 0x046d
00000222: JUMPI
00000223: PUSH1 0x00
00000225: DUP1
00000226: REVERT
00000227: JUMPDEST
00000228: DUP1
00000229: PUSH4 0x2841c177
0000022e: GT
0000022f: PUSH2 0x027e
00000232: JUMPI
00000233: DUP1
00000234: PUSH4 0x2f2ff15d
00000239: GT
0000023a: PUSH2 0x0263
0000023d: JUMPI
0000023e: DUP1
0000023f: PUSH4 0x2f2ff15d
00000244: EQ
00000245: PUSH2 0x0405
00000248: JUMPI
00000249: DUP1
0000024a: PUSH4 0x36568abe
0000024f: EQ
00000250: PUSH2 0x0425
00000253: JUMPI
00000254: DUP1
00000255: PUSH4 0x3ddc66ba
0000025a: EQ
0000025b: PUSH2 0x0445
0000025e: JUMPI
0000025f: PUSH1 0x00
00000261: DUP1
00000262: REVERT
00000263: JUMPDEST
00000264: DUP1
00000265: PUSH4 0x2841c177
0000026a: EQ
0000026b: PUSH2 0x03c4
0000026e: JUMPI
0000026f: DUP1
00000270: PUSH4 0x2e1a7d4d
00000275: EQ
00000276: PUSH2 0x03e5
00000279: JUMPI
0000027a: PUSH1 0x00
0000027c: DUP1
0000027d: REVERT
0000027e: JUMPDEST
0000027f: DUP1
00000280: PUSH4 0x2251800e
00000285: GT
00000286: PUSH2 0x02af
00000289: JUMPI
0000028a: DUP1
0000028b: PUSH4 0x2251800e
00000290: EQ
00000291: PUSH2 0x0344
00000294: JUMPI
00000295: DUP1
00000296: PUSH4 0x24344aa9
0000029b: EQ
0000029c: PUSH2 0x0366
0000029f: JUMPI
000002a0: DUP1
000002a1: PUSH4 0x248a9ca3
000002a6: EQ
000002a7: PUSH2 0x0386
000002aa: JUMPI
000002ab: PUSH1 0x00
000002ad: DUP1
000002ae: REVERT
000002af: JUMPDEST
000002b0: DUP1
000002b1: PUSH4 0x01ffc9a7
000002b6: EQ
000002b7: PUSH2 0x02d6
000002ba: JUMPI
000002bb: DUP1
000002bc: PUSH4 0x16f0115b
000002c1: EQ
000002c2: PUSH2 0x030b
000002c5: JUMPI
000002c6: PUSH1 0x00
000002c8: DUP1
000002c9: REVERT
000002ca: JUMPDEST
000002cb: CALLDATASIZE
000002cc: PUSH2 0x02d1
000002cf: JUMPI
000002d0: STOP
000002d1: JUMPDEST
000002d2: PUSH1 0x00
000002d4: DUP1
000002d5: REVERT
000002d6: JUMPDEST
000002d7: CALLVALUE
000002d8: DUP1
000002d9: ISZERO
000002da: PUSH2 0x02e2
000002dd: JUMPI
000002de: PUSH1 0x00
000002e0: DUP1
000002e1: REVERT
000002e2: JUMPDEST
000002e3: POP
000002e4: PUSH2 0x02f6
000002e7: PUSH2 0x02f1
000002ea: CALLDATASIZE
000002eb: PUSH1 0x04
000002ed: PUSH2 0x267e
000002f0: JUMP
000002f1: JUMPDEST
000002f2: PUSH2 0x081b
000002f5: JUMP
000002f6: JUMPDEST
000002f7: PUSH1 0x40
000002f9: MLOAD
000002fa: SWAP1
000002fb: ISZERO
000002fc: ISZERO
000002fd: DUP2
000002fe: MSTORE
000002ff: PUSH1 0x20
00000301: ADD
00000302: JUMPDEST
00000303: PUSH1 0x40
00000305: MLOAD
00000306: DUP1
00000307: SWAP2
00000308: SUB
00000309: SWAP1
0000030a: RETURN
0000030b: JUMPDEST
0000030c: CALLVALUE
0000030d: DUP1
0000030e: ISZERO
0000030f: PUSH2 0x0317
00000312: JUMPI
00000313: PUSH1 0x00
00000315: DUP1
00000316: REVERT
00000317: JUMPDEST
00000318: POP
00000319: PUSH2 0x04fb
0000031c: SLOAD
0000031d: PUSH2 0x032c
00000320: SWAP1
00000321: PUSH1 0x01
00000323: PUSH1 0x01
00000325: PUSH1 0xa0
00000327: SHL
00000328: SUB
00000329: AND
0000032a: DUP2
0000032b: JUMP
0000032c: JUMPDEST
0000032d: PUSH1 0x40
0000032f: MLOAD
00000330: PUSH1 0x01
00000332: PUSH1 0x01
00000334: PUSH1 0xa0
00000336: SHL
00000337: SUB
00000338: SWAP1
00000339: SWAP2
0000033a: AND
0000033b: DUP2
0000033c: MSTORE
0000033d: PUSH1 0x20
0000033f: ADD
00000340: PUSH2 0x0302
00000343: JUMP
00000344: JUMPDEST
00000345: CALLVALUE
00000346: DUP1
00000347: ISZERO
00000348: PUSH2 0x0350
0000034b: JUMPI
0000034c: PUSH1 0x00
0000034e: DUP1
0000034f: REVERT
00000350: JUMPDEST
00000351: POP
00000352: PUSH2 0x0364
00000355: PUSH2 0x035f
00000358: CALLDATASIZE
00000359: PUSH1 0x04
0000035b: PUSH2 0x26d5
0000035e: JUMP
0000035f: JUMPDEST
00000360: PUSH2 0x0893
00000363: JUMP
00000364: JUMPDEST
00000365: STOP
00000366: JUMPDEST
00000367: CALLVALUE
00000368: DUP1
00000369: ISZERO
0000036a: PUSH2 0x0372
0000036d: JUMPI
0000036e: PUSH1 0x00
00000370: DUP1
00000371: REVERT
00000372: JUMPDEST
00000373: POP
00000374: PUSH2 0x0364
00000377: PUSH2 0x0381
0000037a: CALLDATASIZE
0000037b: PUSH1 0x04
0000037d: PUSH2 0x275e
00000380: JUMP
00000381: JUMPDEST
00000382: PUSH2 0x08e3
00000385: JUMP
00000386: JUMPDEST
00000387: CALLVALUE
00000388: DUP1
00000389: ISZERO
0000038a: PUSH2 0x0392
0000038d: JUMPI
0000038e: PUSH1 0x00
00000390: DUP1
00000391: REVERT
00000392: JUMPDEST
00000393: POP
00000394: PUSH2 0x03b6
00000397: PUSH2 0x03a1
0000039a: CALLDATASIZE
0000039b: PUSH1 0x04
0000039d: PUSH2 0x27d2
000003a0: JUMP
000003a1: JUMPDEST
000003a2: PUSH1 0x00
000003a4: SWAP1
000003a5: DUP2
000003a6: MSTORE
000003a7: PUSH1 0x65
000003a9: PUSH1 0x20
000003ab: MSTORE
000003ac: PUSH1 0x40
000003ae: SWAP1
000003af: KECCAK256
000003b0: PUSH1 0x01
000003b2: ADD
000003b3: SLOAD
000003b4: SWAP1
000003b5: JUMP
000003b6: JUMPDEST
000003b7: PUSH1 0x40
000003b9: MLOAD
000003ba: SWAP1
000003bb: DUP2
000003bc: MSTORE
000003bd: PUSH1 0x20
000003bf: ADD
000003c0: PUSH2 0x0302
000003c3: JUMP
000003c4: JUMPDEST
000003c5: CALLVALUE
000003c6: DUP1
000003c7: ISZERO
000003c8: PUSH2 0x03d0
000003cb: JUMPI
000003cc: PUSH1 0x00
000003ce: DUP1
000003cf: REVERT
000003d0: JUMPDEST
000003d1: POP
000003d2: PUSH2 0x04fd
000003d5: SLOAD
000003d6: PUSH2 0x032c
000003d9: SWAP1
000003da: PUSH1 0x01
000003dc: PUSH1 0x01
000003de: PUSH1 0xa0
000003e0: SHL
000003e1: SUB
000003e2: AND
000003e3: DUP2
000003e4: JUMP
000003e5: JUMPDEST
000003e6: CALLVALUE
000003e7: DUP1
000003e8: ISZERO
000003e9: PUSH2 0x03f1
000003ec: JUMPI
000003ed: PUSH1 0x00
000003ef: DUP1
000003f0: REVERT
000003f1: JUMPDEST
000003f2: POP
000003f3: PUSH2 0x0364
000003f6: PUSH2 0x0400
000003f9: CALLDATASIZE
000003fa: PUSH1 0x04
000003fc: PUSH2 0x27d2
000003ff: JUMP
00000400: JUMPDEST
00000401: PUSH2 0x0a05
00000404: JUMP
00000405: JUMPDEST
00000406: CALLVALUE
00000407: DUP1
00000408: ISZERO
00000409: PUSH2 0x0411
0000040c: JUMPI
0000040d: PUSH1 0x00
0000040f: DUP1
00000410: REVERT
00000411: JUMPDEST
00000412: POP
00000413: PUSH2 0x0364
00000416: PUSH2 0x0420
00000419: CALLDATASIZE
0000041a: PUSH1 0x04
0000041c: PUSH2 0x27eb
0000041f: JUMP
00000420: JUMPDEST
00000421: PUSH2 0x0c35
00000424: JUMP
00000425: JUMPDEST
00000426: CALLVALUE
00000427: DUP1
00000428: ISZERO
00000429: PUSH2 0x0431
0000042c: JUMPI
0000042d: PUSH1 0x00
0000042f: DUP1
00000430: REVERT
00000431: JUMPDEST
00000432: POP
00000433: PUSH2 0x0364
00000436: PUSH2 0x0440
00000439: CALLDATASIZE
0000043a: PUSH1 0x04
0000043c: PUSH2 0x27eb
0000043f: JUMP
00000440: JUMPDEST
00000441: PUSH2 0x0c90
00000444: JUMP
00000445: JUMPDEST
00000446: PUSH2 0x0364
00000449: PUSH2 0x0453
0000044c: CALLDATASIZE
0000044d: PUSH1 0x04
0000044f: PUSH2 0x27d2
00000452: JUMP
00000453: JUMPDEST
00000454: PUSH2 0x0ce7
00000457: JUMP
00000458: JUMPDEST
00000459: CALLVALUE
0000045a: DUP1
0000045b: ISZERO
0000045c: PUSH2 0x0464
0000045f: JUMPI
00000460: PUSH1 0x00
00000462: DUP1
00000463: REVERT
00000464: JUMPDEST
00000465: POP
00000466: PUSH2 0x0364
00000469: PUSH2 0x0e8e
0000046c: JUMP
0000046d: JUMPDEST
0000046e: CALLVALUE
0000046f: DUP1
00000470: ISZERO
00000471: PUSH2 0x0479
00000474: JUMPI
00000475: PUSH1 0x00
00000477: DUP1
00000478: REVERT
00000479: JUMPDEST
0000047a: POP
0000047b: PUSH2 0x0364
0000047e: PUSH2 0x0f1e
00000481: JUMP
00000482: JUMPDEST
00000483: CALLVALUE
00000484: DUP1
00000485: ISZERO
00000486: PUSH2 0x048e
00000489: JUMPI
0000048a: PUSH1 0x00
0000048c: DUP1
0000048d: REVERT
0000048e: JUMPDEST
0000048f: POP
00000490: PUSH2 0x03b6
00000493: PUSH32 0x2fcb525a6fef2096c6f0ca8b812a7a3d651fd54f9cb3b25bc241057881a29aea
000004b4: DUP2
000004b5: JUMP
000004b6: JUMPDEST
000004b7: CALLVALUE
000004b8: DUP1
000004b9: ISZERO
000004ba: PUSH2 0x04c2
000004bd: JUMPI
000004be: PUSH1 0x00
000004c0: DUP1
000004c1: REVERT
000004c2: JUMPDEST
000004c3: POP
000004c4: PUSH2 0x03b6
000004c7: PUSH2 0x0504
000004ca: SLOAD
000004cb: DUP2
000004cc: JUMP
000004cd: JUMPDEST
000004ce: CALLVALUE
000004cf: DUP1
000004d0: ISZERO
000004d1: PUSH2 0x04d9
000004d4: JUMPI
000004d5: PUSH1 0x00
000004d7: DUP1
000004d8: REVERT
000004d9: JUMPDEST
000004da: POP
000004db: PUSH2 0x0364
000004de: PUSH2 0x0f32
000004e1: JUMP
000004e2: JUMPDEST
000004e3: CALLVALUE
000004e4: DUP1
000004e5: ISZERO
000004e6: PUSH2 0x04ee
000004e9: JUMPI
000004ea: PUSH1 0x00
000004ec: DUP1
000004ed: REVERT
000004ee: JUMPDEST
000004ef: POP
000004f0: PUSH2 0x03b6
000004f3: PUSH2 0x0503
000004f6: SLOAD
000004f7: DUP2
000004f8: JUMP
000004f9: JUMPDEST
000004fa: CALLVALUE
000004fb: DUP1
000004fc: ISZERO
000004fd: PUSH2 0x0505
00000500: JUMPI
00000501: PUSH1 0x00
00000503: DUP1
00000504: REVERT
00000505: JUMPDEST
00000506: POP
00000507: PUSH1 0x97
00000509: SLOAD
0000050a: PUSH1 0xff
0000050c: AND
0000050d: PUSH2 0x02f6
00000510: JUMP
00000511: JUMPDEST
00000512: CALLVALUE
00000513: DUP1
00000514: ISZERO
00000515: PUSH2 0x051d
00000518: JUMPI
00000519: PUSH1 0x00
0000051b: DUP1
0000051c: REVERT
0000051d: JUMPDEST
0000051e: POP
0000051f: PUSH2 0x03b6
00000522: PUSH2 0x04fe
00000525: SLOAD
00000526: DUP2
00000527: JUMP
00000528: JUMPDEST
00000529: CALLVALUE
0000052a: DUP1
0000052b: ISZERO
0000052c: PUSH2 0x0534
0000052f: JUMPI
00000530: PUSH1 0x00
00000532: DUP1
00000533: REVERT
00000534: JUMPDEST
00000535: POP
00000536: PUSH2 0x056e
00000539: PUSH2 0x0543
0000053c: CALLDATASIZE
0000053d: PUSH1 0x04
0000053f: PUSH2 0x27d2
00000542: JUMP
00000543: JUMPDEST
00000544: PUSH2 0x0505
00000547: PUSH1 0x20
00000549: MSTORE
0000054a: PUSH1 0x00
0000054c: SWAP1
0000054d: DUP2
0000054e: MSTORE
0000054f: PUSH1 0x40
00000551: SWAP1
00000552: KECCAK256
00000553: DUP1
00000554: SLOAD
00000555: PUSH1 0x01
00000557: DUP3
00000558: ADD
00000559: SLOAD
0000055a: PUSH1 0x02
0000055c: SWAP1
0000055d: SWAP3
0000055e: ADD
0000055f: SLOAD
00000560: SWAP1
00000561: SWAP2
00000562: SWAP1
00000563: PUSH1 0x01
00000565: PUSH1 0x01
00000567: PUSH1 0xa0
00000569: SHL
0000056a: SUB
0000056b: AND
0000056c: DUP4
0000056d: JUMP
0000056e: JUMPDEST
0000056f: PUSH1 0x40
00000571: DUP1
00000572: MLOAD
00000573: SWAP4
00000574: DUP5
00000575: MSTORE
00000576: PUSH1 0x20
00000578: DUP5
00000579: ADD
0000057a: SWAP3
0000057b: SWAP1
0000057c: SWAP3
0000057d: MSTORE
0000057e: PUSH1 0x01
00000580: PUSH1 0x01
00000582: PUSH1 0xa0
00000584: SHL
00000585: SUB
00000586: AND
00000587: SWAP1
00000588: DUP3
00000589: ADD
0000058a: MSTORE
0000058b: PUSH1 0x60
0000058d: ADD
0000058e: PUSH2 0x0302
00000591: JUMP
00000592: JUMPDEST
00000593: CALLVALUE
00000594: DUP1
00000595: ISZERO
00000596: PUSH2 0x059e
00000599: JUMPI
0000059a: PUSH1 0x00
0000059c: DUP1
0000059d: REVERT
0000059e: JUMPDEST
0000059f: POP
000005a0: PUSH2 0x0364
000005a3: PUSH2 0x1126
000005a6: JUMP
000005a7: JUMPDEST
000005a8: CALLVALUE
000005a9: DUP1
000005aa: ISZERO
000005ab: PUSH2 0x05b3
000005ae: JUMPI
000005af: PUSH1 0x00
000005b1: DUP1
000005b2: REVERT
000005b3: JUMPDEST
000005b4: POP
000005b5: PUSH2 0x03b6
000005b8: PUSH2 0x0502
000005bb: SLOAD
000005bc: DUP2
000005bd: JUMP
000005be: JUMPDEST
000005bf: CALLVALUE
000005c0: DUP1
000005c1: ISZERO
000005c2: PUSH2 0x05ca
000005c5: JUMPI
000005c6: PUSH1 0x00
000005c8: DUP1
000005c9: REVERT
000005ca: JUMPDEST
000005cb: POP
000005cc: PUSH2 0x03b6
000005cf: PUSH2 0x04ff
000005d2: SLOAD
000005d3: DUP2
000005d4: JUMP
000005d5: JUMPDEST
000005d6: CALLVALUE
000005d7: DUP1
000005d8: ISZERO
000005d9: PUSH2 0x05e1
000005dc: JUMPI
000005dd: PUSH1 0x00
000005df: DUP1
000005e0: REVERT
000005e1: JUMPDEST
000005e2: POP
000005e3: PUSH2 0x0364
000005e6: PUSH2 0x05f0
000005e9: CALLDATASIZE
000005ea: PUSH1 0x04
000005ec: PUSH2 0x2817
000005ef: JUMP
000005f0: JUMPDEST
000005f1: PUSH2 0x1138
000005f4: JUMP
000005f5: JUMPDEST
000005f6: CALLVALUE
000005f7: DUP1
000005f8: ISZERO
000005f9: PUSH2 0x0601
000005fc: JUMPI
000005fd: PUSH1 0x00
000005ff: DUP1
00000600: REVERT
00000601: JUMPDEST
00000602: POP
00000603: PUSH2 0x02f6
00000606: PUSH2 0x0610
00000609: CALLDATASIZE
0000060a: PUSH1 0x04
0000060c: PUSH2 0x27eb
0000060f: JUMP
00000610: JUMPDEST
00000611: PUSH1 0x00
00000613: SWAP2
00000614: DUP3
00000615: MSTORE
00000616: PUSH1 0x65
00000618: PUSH1 0x20
0000061a: SWAP1
0000061b: DUP2
0000061c: MSTORE
0000061d: PUSH1 0x40
0000061f: DUP1
00000620: DUP5
00000621: KECCAK256
00000622: PUSH1 0x01
00000624: PUSH1 0x01
00000626: PUSH1 0xa0
00000628: SHL
00000629: SUB
0000062a: SWAP4
0000062b: SWAP1
0000062c: SWAP4
0000062d: AND
0000062e: DUP5
0000062f: MSTORE
00000630: SWAP2
00000631: SWAP1
00000632: MSTORE
00000633: SWAP1
00000634: KECCAK256
00000635: SLOAD
00000636: PUSH1 0xff
00000638: AND
00000639: SWAP1
0000063a: JUMP
0000063b: JUMPDEST
0000063c: CALLVALUE
0000063d: DUP1
0000063e: ISZERO
0000063f: PUSH2 0x0647
00000642: JUMPI
00000643: PUSH1 0x00
00000645: DUP1
00000646: REVERT
00000647: JUMPDEST
00000648: POP
00000649: PUSH2 0x03b6
0000064c: PUSH1 0x00
0000064e: DUP2
0000064f: JUMP
00000650: JUMPDEST
00000651: CALLVALUE
00000652: DUP1
00000653: ISZERO
00000654: PUSH2 0x065c
00000657: JUMPI
00000658: PUSH1 0x00
0000065a: DUP1
0000065b: REVERT
0000065c: JUMPDEST
0000065d: POP
0000065e: PUSH2 0x03b6
00000661: PUSH2 0x1143
00000664: JUMP
00000665: JUMPDEST
00000666: CALLVALUE
00000667: DUP1
00000668: ISZERO
00000669: PUSH2 0x0671
0000066c: JUMPI
0000066d: PUSH1 0x00
0000066f: DUP1
00000670: REVERT
00000671: JUMPDEST
00000672: POP
00000673: PUSH2 0x0364
00000676: PUSH2 0x0680
00000679: CALLDATASIZE
0000067a: PUSH1 0x04
0000067c: PUSH2 0x27d2
0000067f: JUMP
00000680: JUMPDEST
00000681: PUSH2 0x1173
00000684: JUMP
00000685: JUMPDEST
00000686: CALLVALUE
00000687: DUP1
00000688: ISZERO
00000689: PUSH2 0x0691
0000068c: JUMPI
0000068d: PUSH1 0x00
0000068f: DUP1
00000690: REVERT
00000691: JUMPDEST
00000692: POP
00000693: PUSH2 0x03b6
00000696: PUSH2 0x0501
00000699: SLOAD
0000069a: DUP2
0000069b: JUMP
0000069c: JUMPDEST
0000069d: CALLVALUE
0000069e: DUP1
0000069f: ISZERO
000006a0: PUSH2 0x06a8
000006a3: JUMPI
000006a4: PUSH1 0x00
000006a6: DUP1
000006a7: REVERT
000006a8: JUMPDEST
000006a9: POP
000006aa: PUSH2 0x0364
000006ad: PUSH2 0x06b7
000006b0: CALLDATASIZE
000006b1: PUSH1 0x04
000006b3: PUSH2 0x2839
000006b6: JUMP
000006b7: JUMPDEST
000006b8: PUSH2 0x121b
000006bb: JUMP
000006bc: JUMPDEST
000006bd: CALLVALUE
000006be: DUP1
000006bf: ISZERO
000006c0: PUSH2 0x06c8
000006c3: JUMPI
000006c4: PUSH1 0x00
000006c6: DUP1
000006c7: REVERT
000006c8: JUMPDEST
000006c9: POP
000006ca: PUSH2 0x03b6
000006cd: PUSH32 0x57821265b8aae32b5b709c99f153570cf08ec6b02f98c6e6d72dec1799baafb6
000006ee: DUP2
000006ef: JUMP
000006f0: JUMPDEST
000006f1: CALLVALUE
000006f2: DUP1
000006f3: ISZERO
000006f4: PUSH2 0x06fc
000006f7: JUMPI
000006f8: PUSH1 0x00
000006fa: DUP1
000006fb: REVERT
000006fc: JUMPDEST
000006fd: POP
000006fe: PUSH2 0x03b6
00000701: PUSH2 0x1291
00000704: JUMP
00000705: JUMPDEST
00000706: CALLVALUE
00000707: DUP1
00000708: ISZERO
00000709: PUSH2 0x0711
0000070c: JUMPI
0000070d: PUSH1 0x00
0000070f: DUP1
00000710: REVERT
00000711: JUMPDEST
00000712: POP
00000713: PUSH2 0x03b6
00000716: PUSH2 0x12a2
00000719: JUMP
0000071a: JUMPDEST
0000071b: CALLVALUE
0000071c: DUP1
0000071d: ISZERO
0000071e: PUSH2 0x0726
00000721: JUMPI
00000722: PUSH1 0x00
00000724: DUP1
00000725: REVERT
00000726: JUMPDEST
00000727: POP
00000728: PUSH2 0x0364
0000072b: PUSH2 0x0735
0000072e: CALLDATASIZE
0000072f: PUSH1 0x04
00000731: PUSH2 0x27d2
00000734: JUMP
00000735: JUMPDEST
00000736: PUSH2 0x12ba
00000739: JUMP
0000073a: JUMPDEST
0000073b: CALLVALUE
0000073c: DUP1
0000073d: ISZERO
0000073e: PUSH2 0x0746
00000741: JUMPI
00000742: PUSH1 0x00
00000744: DUP1
00000745: REVERT
00000746: JUMPDEST
00000747: POP
00000748: PUSH2 0x0364
0000074b: PUSH2 0x0755
0000074e: CALLDATASIZE
0000074f: PUSH1 0x04
00000751: PUSH2 0x27d2
00000754: JUMP
00000755: JUMPDEST
00000756: PUSH2 0x1311
00000759: JUMP
0000075a: JUMPDEST
0000075b: CALLVALUE
0000075c: DUP1
0000075d: ISZERO
0000075e: PUSH2 0x0766
00000761: JUMPI
00000762: PUSH1 0x00
00000764: DUP1
00000765: REVERT
00000766: JUMPDEST
00000767: POP
00000768: PUSH2 0x0364
0000076b: PUSH2 0x0775
0000076e: CALLDATASIZE
0000076f: PUSH1 0x04
00000771: PUSH2 0x2854
00000774: JUMP
00000775: JUMPDEST
00000776: PUSH2 0x13b9
00000779: JUMP
0000077a: JUMPDEST
0000077b: CALLVALUE
0000077c: DUP1
0000077d: ISZERO
0000077e: PUSH2 0x0786
00000781: JUMPI
00000782: PUSH1 0x00
00000784: DUP1
00000785: REVERT
00000786: JUMPDEST
00000787: POP
00000788: PUSH2 0x0364
0000078b: PUSH2 0x1694
0000078e: JUMP
0000078f: JUMPDEST
00000790: CALLVALUE
00000791: DUP1
00000792: ISZERO
00000793: PUSH2 0x079b
00000796: JUMPI
00000797: PUSH1 0x00
00000799: DUP1
0000079a: REVERT
0000079b: JUMPDEST
0000079c: POP
0000079d: PUSH2 0x0364
000007a0: PUSH2 0x07aa
000007a3: CALLDATASIZE
000007a4: PUSH1 0x04
000007a6: PUSH2 0x27eb
000007a9: JUMP
000007aa: JUMPDEST
000007ab: PUSH2 0x1770
000007ae: JUMP
000007af: JUMPDEST
000007b0: CALLVALUE
000007b1: DUP1
000007b2: ISZERO
000007b3: PUSH2 0x07bb
000007b6: JUMPI
000007b7: PUSH1 0x00
000007b9: DUP1
000007ba: REVERT
000007bb: JUMPDEST
000007bc: POP
000007bd: PUSH2 0x0364
000007c0: PUSH2 0x07ca
000007c3: CALLDATASIZE
000007c4: PUSH1 0x04
000007c6: PUSH2 0x2897
000007c9: JUMP
000007ca: JUMPDEST
000007cb: PUSH2 0x17c7
000007ce: JUMP
000007cf: JUMPDEST
000007d0: CALLVALUE
000007d1: DUP1
000007d2: ISZERO
000007d3: PUSH2 0x07db
000007d6: JUMPI
000007d7: PUSH1 0x00
000007d9: DUP1
000007da: REVERT
000007db: JUMPDEST
000007dc: POP
000007dd: PUSH2 0x03b6
000007e0: PUSH2 0x1800
000007e3: JUMP
000007e4: JUMPDEST
000007e5: CALLVALUE
000007e6: DUP1
000007e7: ISZERO
000007e8: PUSH2 0x07f0
000007eb: JUMPI
000007ec: PUSH1 0x00
000007ee: DUP1
000007ef: REVERT
000007f0: JUMPDEST
000007f1: POP
000007f2: PUSH2 0x03b6
000007f5: PUSH2 0x2710
000007f8: DUP2
000007f9: JUMP
000007fa: JUMPDEST
000007fb: CALLVALUE
000007fc: DUP1
000007fd: ISZERO
000007fe: PUSH2 0x0806
00000801: JUMPI
00000802: PUSH1 0x00
00000804: DUP1
00000805: REVERT
00000806: JUMPDEST
00000807: POP
00000808: PUSH2 0x04fc
0000080b: SLOAD
0000080c: PUSH2 0x032c
0000080f: SWAP1
00000810: PUSH1 0x01
00000812: PUSH1 0x01
00000814: PUSH1 0xa0
00000816: SHL
00000817: SUB
00000818: AND
00000819: DUP2
0000081a: JUMP
0000081b: JUMPDEST
0000081c: PUSH1 0x00
0000081e: PUSH1 0x01
00000820: PUSH1 0x01
00000822: PUSH1 0xe0
00000824: SHL
00000825: SUB
00000826: NOT
00000827: DUP3
00000828: AND
00000829: PUSH32 0x1bad077400000000000000000000000000000000000000000000000000000000
0000084a: EQ
0000084b: DUP1
0000084c: PUSH2 0x087e
0000084f: JUMPI
00000850: POP
00000851: PUSH1 0x01
00000853: PUSH1 0x01
00000855: PUSH1 0xe0
00000857: SHL
00000858: SUB
00000859: NOT
0000085a: DUP3
0000085b: AND
0000085c: PUSH32 0x5c87b81c00000000000000000000000000000000000000000000000000000000
0000087d: EQ
0000087e: JUMPDEST
0000087f: DUP1
00000880: PUSH2 0x088d
00000883: JUMPI
00000884: POP
00000885: PUSH2 0x088d
00000888: DUP3
00000889: PUSH2 0x1814
0000088c: JUMP
0000088d: JUMPDEST
0000088e: SWAP3
0000088f: SWAP2
00000890: POP
00000891: POP
00000892: JUMP
00000893: JUMPDEST
00000894: PUSH2 0x08bc
00000897: PUSH32 0x2fcb525a6fef2096c6f0ca8b812a7a3d651fd54f9cb3b25bc241057881a29aea
000008b8: PUSH2 0x187b
000008bb: JUMP
000008bc: JUMPDEST
000008bd: PUSH2 0x08cc
000008c0: DUP11
000008c1: DUP11
000008c2: DUP11
000008c3: DUP11
000008c4: DUP11
000008c5: DUP11
000008c6: DUP11
000008c7: DUP11
000008c8: PUSH2 0x08e3
000008cb: JUMP
000008cc: JUMPDEST
000008cd: PUSH2 0x08d7
000008d0: DUP11
000008d1: DUP4
000008d2: DUP4
000008d3: PUSH2 0x1885
000008d6: JUMP
000008d7: JUMPDEST
000008d8: POP
000008d9: POP
000008da: POP
000008db: POP
000008dc: POP
000008dd: POP
000008de: POP
000008df: POP
000008e0: POP
000008e1: POP
000008e2: JUMP
000008e3: JUMPDEST
000008e4: PUSH2 0x04fc
000008e7: SLOAD
000008e8: PUSH1 0x40
000008ea: MLOAD
000008eb: PUSH4 0xd505accf
000008f0: PUSH1 0xe0
000008f2: SHL
000008f3: DUP2
000008f4: MSTORE
000008f5: PUSH1 0x01
000008f7: PUSH1 0x01
000008f9: PUSH1 0xa0
000008fb: SHL
000008fc: SUB
000008fd: DUP11
000008fe: DUP2
000008ff: AND
00000900: PUSH1 0x04
00000902: DUP4
00000903: ADD
00000904: MSTORE
00000905: ADDRESS
00000906: PUSH1 0x24
00000908: DUP4
00000909: ADD
0000090a: MSTORE
0000090b: PUSH1 0x00
0000090d: NOT
0000090e: PUSH1 0x44
00000910: DUP4
00000911: ADD
00000912: MSTORE
00000913: PUSH1 0x64
00000915: DUP3
00000916: ADD
00000917: DUP11
00000918: SWAP1
00000919: MSTORE
0000091a: PUSH1 0xff
0000091c: DUP10
0000091d: AND
0000091e: PUSH1 0x84
00000920: DUP4
00000921: ADD
00000922: MSTORE
00000923: PUSH1 0xa4
00000925: DUP3
00000926: ADD
00000927: DUP9
00000928: SWAP1
00000929: MSTORE
0000092a: PUSH1 0xc4
0000092c: DUP3
0000092d: ADD
0000092e: DUP8
0000092f: SWAP1
00000930: MSTORE
00000931: SWAP1
00000932: SWAP2
00000933: AND
00000934: SWAP1
00000935: PUSH4 0xd505accf
0000093a: SWAP1
0000093b: PUSH1 0xe4
0000093d: ADD
0000093e: PUSH1 0x00
00000940: PUSH1 0x40
00000942: MLOAD
00000943: DUP1
00000944: DUP4
00000945: SUB
00000946: DUP2
00000947: PUSH1 0x00
00000949: DUP8
0000094a: DUP1
0000094b: EXTCODESIZE
0000094c: ISZERO
0000094d: DUP1
0000094e: ISZERO
0000094f: PUSH2 0x0957
00000952: JUMPI
00000953: PUSH1 0x00
00000955: DUP1
00000956: REVERT
00000957: JUMPDEST
00000958: POP
00000959: GAS
0000095a: CALL
0000095b: ISZERO
0000095c: DUP1
0000095d: ISZERO
0000095e: PUSH2 0x096b
00000961: JUMPI
00000962: RETURNDATASIZE
00000963: PUSH1 0x00
00000965: DUP1
00000966: RETURNDATACOPY
00000967: RETURNDATASIZE
00000968: PUSH1 0x00
0000096a: REVERT
0000096b: JUMPDEST
0000096c: POP
0000096d: POP
0000096e: PUSH2 0x04fd
00000971: SLOAD
00000972: PUSH1 0x40
00000974: MLOAD
00000975: PUSH4 0xd505accf
0000097a: PUSH1 0xe0
0000097c: SHL
0000097d: DUP2
0000097e: MSTORE
0000097f: PUSH1 0x01
00000981: PUSH1 0x01
00000983: PUSH1 0xa0
00000985: SHL
00000986: SUB
00000987: DUP13
00000988: DUP2
00000989: AND
0000098a: PUSH1 0x04
0000098c: DUP4
0000098d: ADD
0000098e: MSTORE
0000098f: ADDRESS
00000990: PUSH1 0x24
00000992: DUP4
00000993: ADD
00000994: MSTORE
00000995: PUSH1 0x00
00000997: NOT
00000998: PUSH1 0x44
0000099a: DUP4
0000099b: ADD
0000099c: MSTORE
0000099d: PUSH1 0x64
0000099f: DUP3
000009a0: ADD
000009a1: DUP13
000009a2: SWAP1
000009a3: MSTORE
000009a4: PUSH1 0xff
000009a6: DUP9
000009a7: AND
000009a8: PUSH1 0x84
000009aa: DUP4
000009ab: ADD
000009ac: MSTORE
000009ad: PUSH1 0xa4
000009af: DUP3
000009b0: ADD
000009b1: DUP8
000009b2: SWAP1
000009b3: MSTORE
000009b4: PUSH1 0xc4
000009b6: DUP3
000009b7: ADD
000009b8: DUP7
000009b9: SWAP1
000009ba: MSTORE
000009bb: SWAP1
000009bc: SWAP2
000009bd: AND
000009be: SWAP3
000009bf: POP
000009c0: PUSH4 0xd505accf
000009c5: SWAP2
000009c6: POP
000009c7: PUSH1 0xe4
000009c9: ADD
000009ca: PUSH1 0x00
000009cc: PUSH1 0x40
000009ce: MLOAD
000009cf: DUP1
000009d0: DUP4
000009d1: SUB
000009d2: DUP2
000009d3: PUSH1 0x00
000009d5: DUP8
000009d6: DUP1
000009d7: EXTCODESIZE
000009d8: ISZERO
000009d9: DUP1
000009da: ISZERO
000009db: PUSH2 0x09e3
000009de: JUMPI
000009df: PUSH1 0x00
000009e1: DUP1
000009e2: REVERT
000009e3: JUMPDEST
000009e4: POP
000009e5: GAS
000009e6: CALL
000009e7: ISZERO
000009e8: DUP1
000009e9: ISZERO
000009ea: PUSH2 0x09f7
000009ed: JUMPI
000009ee: RETURNDATASIZE
000009ef: PUSH1 0x00
000009f1: DUP1
000009f2: RETURNDATACOPY
000009f3: RETURNDATASIZE
000009f4: PUSH1 0x00
000009f6: REVERT
000009f7: JUMPDEST
000009f8: POP
000009f9: POP
000009fa: POP
000009fb: POP
000009fc: POP
000009fd: POP
000009fe: POP
000009ff: POP
00000a00: POP
00000a01: POP
00000a02: POP
00000a03: POP
00000a04: JUMP
00000a05: JUMPDEST
00000a06: PUSH2 0x0a0d
00000a09: PUSH2 0x1af7
00000a0c: JUMP
00000a0d: JUMPDEST
00000a0e: PUSH2 0x0a15
00000a11: PUSH2 0x1b4a
00000a14: JUMP
00000a15: JUMPDEST
00000a16: PUSH2 0x0501
00000a19: SLOAD
00000a1a: DUP2
00000a1b: LT
00000a1c: PUSH2 0x0a6c
00000a1f: JUMPI
00000a20: PUSH1 0x40
00000a22: MLOAD
00000a23: PUSH3 0x461bcd
00000a27: PUSH1 0xe5
00000a29: SHL
00000a2a: DUP2
00000a2b: MSTORE
00000a2c: PUSH1 0x20
00000a2e: PUSH1 0x04
00000a30: DUP3
00000a31: ADD
00000a32: MSTORE
00000a33: PUSH1 0x19
00000a35: PUSH1 0x24
00000a37: DUP3
00000a38: ADD
00000a39: MSTORE
00000a3a: PUSH32 0x72657175657374206e6f74207965742070726f63657373656400000000000000
00000a5b: PUSH1 0x44
00000a5d: DUP3
00000a5e: ADD
00000a5f: MSTORE
00000a60: PUSH1 0x64
00000a62: ADD
00000a63: JUMPDEST
00000a64: PUSH1 0x40
00000a66: MLOAD
00000a67: DUP1
00000a68: SWAP2
00000a69: SUB
00000a6a: SWAP1
00000a6b: REVERT
00000a6c: JUMPDEST
00000a6d: PUSH1 0x00
00000a6f: DUP2
00000a70: DUP2
00000a71: MSTORE
00000a72: PUSH2 0x0505
00000a75: PUSH1 0x20
00000a77: SWAP1
00000a78: DUP2
00000a79: MSTORE
00000a7a: PUSH1 0x40
00000a7c: SWAP2
00000a7d: DUP3
00000a7e: SWAP1
00000a7f: KECCAK256
00000a80: DUP3
00000a81: MLOAD
00000a82: PUSH1 0x60
00000a84: DUP2
00000a85: ADD
00000a86: DUP5
00000a87: MSTORE
00000a88: DUP2
00000a89: SLOAD
00000a8a: DUP2
00000a8b: MSTORE
00000a8c: PUSH1 0x01
00000a8e: DUP3
00000a8f: ADD
00000a90: SLOAD
00000a91: SWAP3
00000a92: DUP2
00000a93: ADD
00000a94: SWAP3
00000a95: SWAP1
00000a96: SWAP3
00000a97: MSTORE
00000a98: PUSH1 0x02
00000a9a: ADD
00000a9b: SLOAD
00000a9c: PUSH1 0x01
00000a9e: PUSH1 0x01
00000aa0: PUSH1 0xa0
00000aa2: SHL
00000aa3: SUB
00000aa4: AND
00000aa5: SWAP2
00000aa6: DUP2
00000aa7: ADD
00000aa8: DUP3
00000aa9: SWAP1
00000aaa: MSTORE
00000aab: SWAP1
00000aac: CALLER
00000aad: EQ
00000aae: PUSH2 0x0af9
00000ab1: JUMPI
00000ab2: PUSH1 0x40
00000ab4: MLOAD
00000ab5: PUSH3 0x461bcd
00000ab9: PUSH1 0xe5
00000abb: SHL
00000abc: DUP2
00000abd: MSTORE
00000abe: PUSH1 0x20
00000ac0: PUSH1 0x04
00000ac2: DUP3
00000ac3: ADD
00000ac4: MSTORE
00000ac5: PUSH1 0x1f
00000ac7: PUSH1 0x24
00000ac9: DUP3
00000aca: ADD
00000acb: MSTORE
00000acc: PUSH32 0x73686f756c642062652063616c6c65642062792062656e656669636961727900
00000aed: PUSH1 0x44
00000aef: DUP3
00000af0: ADD
00000af1: MSTORE
00000af2: PUSH1 0x64
00000af4: ADD
00000af5: PUSH2 0x0a63
00000af8: JUMP
00000af9: JUMPDEST
00000afa: DUP1
00000afb: PUSH1 0x20
00000afd: ADD
00000afe: MLOAD
00000aff: PUSH1 0x00
00000b01: LT
00000b02: DUP1
00000b03: ISZERO
00000b04: PUSH2 0x0b18
00000b07: JUMPI
00000b08: POP
00000b09: PUSH2 0x0b10
00000b0c: PUSH2 0x1800
00000b0f: JUMP
00000b10: JUMPDEST
00000b11: DUP2
00000b12: PUSH1 0x20
00000b14: ADD
00000b15: MLOAD
00000b16: GT
00000b17: ISZERO
00000b18: JUMPDEST
00000b19: PUSH2 0x0b64
00000b1c: JUMPI
00000b1d: PUSH1 0x40
00000b1f: MLOAD
00000b20: PUSH3 0x461bcd
00000b24: PUSH1 0xe5
00000b26: SHL
00000b27: DUP2
00000b28: MSTORE
00000b29: PUSH1 0x20
00000b2b: PUSH1 0x04
00000b2d: DUP3
00000b2e: ADD
00000b2f: MSTORE
00000b30: PUSH1 0x10
00000b32: PUSH1 0x24
00000b34: DUP3
00000b35: ADD
00000b36: MSTORE
00000b37: PUSH32 0x62726f6b656e20696e76617269616e7400000000000000000000000000000000
00000b58: PUSH1 0x44
00000b5a: DUP3
00000b5b: ADD
00000b5c: MSTORE
00000b5d: PUSH1 0x64
00000b5f: ADD
00000b60: PUSH2 0x0a63
00000b63: JUMP
00000b64: JUMPDEST
00000b65: DUP1
00000b66: PUSH1 0x20
00000b68: ADD
00000b69: MLOAD
00000b6a: PUSH2 0x0503
00000b6d: PUSH1 0x00
00000b6f: DUP3
00000b70: DUP3
00000b71: SLOAD
00000b72: PUSH2 0x0b7b
00000b75: SWAP2
00000b76: SWAP1
00000b77: PUSH2 0x28e0
00000b7a: JUMP
00000b7b: JUMPDEST
00000b7c: SWAP1
00000b7d: SWAP2
00000b7e: SSTORE
00000b7f: POP
00000b80: POP
00000b81: PUSH1 0x00
00000b83: DUP3
00000b84: DUP2
00000b85: MSTORE
00000b86: PUSH2 0x0505
00000b89: PUSH1 0x20
00000b8b: SWAP1
00000b8c: DUP2
00000b8d: MSTORE
00000b8e: PUSH1 0x40
00000b90: DUP1
00000b91: DUP4
00000b92: KECCAK256
00000b93: DUP4
00000b94: DUP2
00000b95: SSTORE
00000b96: PUSH1 0x01
00000b98: DUP2
00000b99: ADD
00000b9a: SWAP4
00000b9b: SWAP1
00000b9c: SWAP4
00000b9d: SSTORE
00000b9e: PUSH1 0x02
00000ba0: SWAP1
00000ba1: SWAP3
00000ba2: ADD
00000ba3: DUP1
00000ba4: SLOAD
00000ba5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bba: NOT
00000bbb: AND
00000bbc: SWAP1
00000bbd: SSTORE
00000bbe: DUP3
00000bbf: DUP3
00000bc0: ADD
00000bc1: MLOAD
00000bc2: DUP4
00000bc3: DUP3
00000bc4: ADD
00000bc5: MLOAD
00000bc6: DUP4
00000bc7: MLOAD
00000bc8: DUP7
00000bc9: DUP2
00000bca: MSTORE
00000bcb: SWAP3
00000bcc: DUP4
00000bcd: ADD
00000bce: MSTORE
00000bcf: PUSH1 0x01
00000bd1: PUSH1 0x01
00000bd3: PUSH1 0xa0
00000bd5: SHL
00000bd6: SUB
00000bd7: AND
00000bd8: SWAP2
00000bd9: PUSH32 0x20c78f1902a221b9e00965cfee48cab9c1cd3fca1b14c8313d97588aa943645a
00000bfa: SWAP2
00000bfb: ADD
00000bfc: PUSH1 0x40
00000bfe: MLOAD
00000bff: DUP1
00000c00: SWAP2
00000c01: SUB
00000c02: SWAP1
00000c03: LOG2
00000c04: PUSH2 0x0c27
00000c07: DUP2
00000c08: PUSH1 0x20
00000c0a: ADD
00000c0b: MLOAD
00000c0c: DUP3
00000c0d: PUSH1 0x40
00000c0f: ADD
00000c10: MLOAD
00000c11: PUSH1 0x01
00000c13: PUSH1 0x01
00000c15: PUSH1 0xa0
00000c17: SHL
00000c18: SUB
00000c19: AND
00000c1a: PUSH2 0x1ba3
00000c1d: SWAP1
00000c1e: SWAP2
00000c1f: SWAP1
00000c20: PUSH4 0xffffffff
00000c25: AND
00000c26: JUMP
00000c27: JUMPDEST
00000c28: POP
00000c29: PUSH2 0x0c32
00000c2c: PUSH1 0x01
00000c2e: PUSH1 0xc9
00000c30: SSTORE
00000c31: JUMP
00000c32: JUMPDEST
00000c33: POP
00000c34: JUMP
00000c35: JUMPDEST
00000c36: DUP2
00000c37: PUSH2 0x0c82
00000c3a: JUMPI
00000c3b: PUSH1 0x40
00000c3d: MLOAD
00000c3e: PUSH3 0x461bcd
00000c42: PUSH1 0xe5
00000c44: SHL
00000c45: DUP2
00000c46: MSTORE
00000c47: PUSH1 0x20
00000c49: PUSH1 0x04
00000c4b: DUP3
00000c4c: ADD
00000c4d: MSTORE
00000c4e: PUSH1 0x17
00000c50: PUSH1 0x24
00000c52: DUP3
00000c53: ADD
00000c54: MSTORE
00000c55: PUSH32 0x63616e6e6f74206772616e742061646d696e20726f6c65000000000000000000
00000c76: PUSH1 0x44
00000c78: DUP3
00000c79: ADD
00000c7a: MSTORE
00000c7b: PUSH1 0x64
00000c7d: ADD
00000c7e: PUSH2 0x0a63
00000c81: JUMP
00000c82: JUMPDEST
00000c83: PUSH2 0x0c8c
00000c86: DUP3
00000c87: DUP3
00000c88: PUSH2 0x1cc3
00000c8b: JUMP
00000c8c: JUMPDEST
00000c8d: POP
00000c8e: POP
00000c8f: JUMP
00000c90: JUMPDEST
00000c91: DUP2
00000c92: PUSH2 0x0cdd
00000c95: JUMPI
00000c96: PUSH1 0x40
00000c98: MLOAD
00000c99: PUSH3 0x461bcd
00000c9d: PUSH1 0xe5
00000c9f: SHL
00000ca0: DUP2
00000ca1: MSTORE
00000ca2: PUSH1 0x20
00000ca4: PUSH1 0x04
00000ca6: DUP3
00000ca7: ADD
00000ca8: MSTORE
00000ca9: PUSH1 0x1a
00000cab: PUSH1 0x24
00000cad: DUP3
00000cae: ADD
00000caf: MSTORE
00000cb0: PUSH32 0x63616e6e6f742072656e6f756e63652061646d696e20726f6c65000000000000
00000cd1: PUSH1 0x44
00000cd3: DUP3
00000cd4: ADD
00000cd5: MSTORE
00000cd6: PUSH1 0x64
00000cd8: ADD
00000cd9: PUSH2 0x0a63
00000cdc: JUMP
00000cdd: JUMPDEST
00000cde: PUSH2 0x0c8c
00000ce1: DUP3
00000ce2: DUP3
00000ce3: PUSH2 0x1ce8
00000ce6: JUMP
00000ce7: JUMPDEST
00000ce8: PUSH2 0x0cef
00000ceb: PUSH2 0x1af7
00000cee: JUMP
00000cef: JUMPDEST
00000cf0: PUSH1 0x00
00000cf2: PUSH2 0x0cf9
00000cf5: PUSH2 0x1291
00000cf8: JUMP
00000cf9: JUMPDEST
00000cfa: SWAP1
00000cfb: POP
00000cfc: DUP2
00000cfd: PUSH2 0x0501
00000d00: SLOAD
00000d01: LT
00000d02: DUP1
00000d03: ISZERO
00000d04: PUSH2 0x0d0d
00000d07: JUMPI
00000d08: POP
00000d09: DUP1
00000d0a: DUP3
00000d0b: GT
00000d0c: ISZERO
00000d0d: JUMPDEST
00000d0e: PUSH2 0x0d59
00000d11: JUMPI
00000d12: PUSH1 0x40
00000d14: MLOAD
00000d15: PUSH3 0x461bcd
00000d19: PUSH1 0xe5
00000d1b: SHL
00000d1c: DUP2
00000d1d: MSTORE
00000d1e: PUSH1 0x20
00000d20: PUSH1 0x04
00000d22: DUP3
00000d23: ADD
00000d24: MSTORE
00000d25: PUSH1 0x1d
00000d27: PUSH1 0x24
00000d29: DUP3
00000d2a: ADD
00000d2b: MSTORE
00000d2c: PUSH32 0x6e65774e5052206f7574206f6620657870656374656420626f756e6473000000
00000d4d: PUSH1 0x44
00000d4f: DUP3
00000d50: ADD
00000d51: MSTORE
00000d52: PUSH1 0x64
00000d54: ADD
00000d55: PUSH2 0x0a63
00000d58: JUMP
00000d59: JUMPDEST
00000d5a: PUSH1 0x00
00000d5c: PUSH2 0x0505
00000d5f: DUP2
00000d60: PUSH2 0x0d6a
00000d63: PUSH1 0x01
00000d65: DUP7
00000d66: PUSH2 0x28f3
00000d69: JUMP
00000d6a: JUMPDEST
00000d6b: DUP2
00000d6c: MSTORE
00000d6d: PUSH1 0x20
00000d6f: DUP2
00000d70: ADD
00000d71: SWAP2
00000d72: SWAP1
00000d73: SWAP2
00000d74: MSTORE
00000d75: PUSH1 0x40
00000d77: ADD
00000d78: PUSH1 0x00
00000d7a: KECCAK256
00000d7b: PUSH1 0x02
00000d7d: DUP2
00000d7e: ADD
00000d7f: SLOAD
00000d80: SWAP1
00000d81: SWAP2
00000d82: POP
00000d83: PUSH1 0x01
00000d85: PUSH1 0x01
00000d87: PUSH1 0xa0
00000d89: SHL
00000d8a: SUB
00000d8b: AND
00000d8c: PUSH2 0x0dd7
00000d8f: JUMPI
00000d90: PUSH1 0x40
00000d92: MLOAD
00000d93: PUSH3 0x461bcd
00000d97: PUSH1 0xe5
00000d99: SHL
00000d9a: DUP2
00000d9b: MSTORE
00000d9c: PUSH1 0x20
00000d9e: PUSH1 0x04
00000da0: DUP3
00000da1: ADD
00000da2: MSTORE
00000da3: PUSH1 0x10
00000da5: PUSH1 0x24
00000da7: DUP3
00000da8: ADD
00000da9: MSTORE
00000daa: PUSH32 0x62726f6b656e20696e76617269616e7400000000000000000000000000000000
00000dcb: PUSH1 0x44
00000dcd: DUP3
00000dce: ADD
00000dcf: MSTORE
00000dd0: PUSH1 0x64
00000dd2: ADD
00000dd3: PUSH2 0x0a63
00000dd6: JUMP
00000dd7: JUMPDEST
00000dd8: PUSH1 0x00
00000dda: SELFBALANCE
00000ddb: PUSH2 0x0503
00000dde: SLOAD
00000ddf: PUSH2 0x0de8
00000de2: SWAP2
00000de3: SWAP1
00000de4: PUSH2 0x28e0
00000de7: JUMP
00000de8: JUMPDEST
00000de9: SWAP1
00000dea: POP
00000deb: DUP1
00000dec: DUP3
00000ded: PUSH1 0x00
00000def: ADD
00000df0: SLOAD
00000df1: GT
00000df2: ISZERO
00000df3: PUSH2 0x0e3e
00000df6: JUMPI
00000df7: PUSH1 0x40
00000df9: MLOAD
00000dfa: PUSH3 0x461bcd
00000dfe: PUSH1 0xe5
00000e00: SHL
00000e01: DUP2
00000e02: MSTORE
00000e03: PUSH1 0x20
00000e05: PUSH1 0x04
00000e07: DUP3
00000e08: ADD
00000e09: MSTORE
00000e0a: PUSH1 0x1b
00000e0c: PUSH1 0x24
00000e0e: DUP3
00000e0f: ADD
00000e10: MSTORE
00000e11: PUSH32 0x62616c616e6365206e6f7420656e6f75676820746f20636f7665720000000000
00000e32: PUSH1 0x44
00000e34: DUP3
00000e35: ADD
00000e36: MSTORE
00000e37: PUSH1 0x64
00000e39: ADD
00000e3a: PUSH2 0x0a63
00000e3d: JUMP
00000e3e: JUMPDEST
00000e3f: PUSH2 0x0501
00000e42: SLOAD
00000e43: PUSH1 0x40
00000e45: DUP1
00000e46: MLOAD
00000e47: CALLVALUE
00000e48: DUP2
00000e49: MSTORE
00000e4a: PUSH1 0x20
00000e4c: DUP2
00000e4d: ADD
00000e4e: SWAP3
00000e4f: SWAP1
00000e50: SWAP3
00000e51: MSTORE
00000e52: DUP2
00000e53: ADD
00000e54: DUP6
00000e55: SWAP1
00000e56: MSTORE
00000e57: CALLER
00000e58: SWAP1
00000e59: PUSH32 0x02e8dfab2b2be4a282041a0688eca0304d4c77249d22765b3b8572b4a0e9196c
00000e7a: SWAP1
00000e7b: PUSH1 0x60
00000e7d: ADD
00000e7e: PUSH1 0x40
00000e80: MLOAD
00000e81: DUP1
00000e82: SWAP2
00000e83: SUB
00000e84: SWAP1
00000e85: LOG2
00000e86: POP
00000e87: POP
00000e88: POP
00000e89: PUSH2 0x0501
00000e8c: SSTORE
00000e8d: JUMP
00000e8e: JUMPDEST
00000e8f: PUSH2 0x0eb7
00000e92: PUSH32 0x57821265b8aae32b5b709c99f153570cf08ec6b02f98c6e6d72dec1799baafb6
00000eb3: PUSH2 0x187b
00000eb6: JUMP
00000eb7: JUMPDEST
00000eb8: PUSH1 0x00
00000eba: PUSH2 0x0ec1
00000ebd: PUSH2 0x1143
00000ec0: JUMP
00000ec1: JUMPDEST
00000ec2: SWAP1
00000ec3: POP
00000ec4: PUSH32 0xd24f08d802184f5b2f33868d0678703fcba72c98ede9558a4562db66b4bf09c2
00000ee5: DUP2
00000ee6: CALLER
00000ee7: JUMPDEST
00000ee8: PUSH1 0x40
00000eea: DUP1
00000eeb: MLOAD
00000eec: SWAP3
00000eed: DUP4
00000eee: MSTORE
00000eef: PUSH1 0x01
00000ef1: PUSH1 0x01
00000ef3: PUSH1 0xa0
00000ef5: SHL
00000ef6: SUB
00000ef7: SWAP1
00000ef8: SWAP2
00000ef9: AND
00000efa: PUSH1 0x20
00000efc: DUP4
00000efd: ADD
00000efe: MSTORE
00000eff: ADD
00000f00: PUSH1 0x40
00000f02: MLOAD
00000f03: DUP1
00000f04: SWAP2
00000f05: SUB
00000f06: SWAP1
00000f07: LOG1
00000f08: PUSH2 0x04fb
00000f0b: SLOAD
00000f0c: PUSH2 0x0c32
00000f0f: SWAP1
00000f10: PUSH1 0x01
00000f12: PUSH1 0x01
00000f14: PUSH1 0xa0
00000f16: SHL
00000f17: SUB
00000f18: AND
00000f19: DUP3
00000f1a: PUSH2 0x1ba3
00000f1d: JUMP
00000f1e: JUMPDEST
00000f1f: PUSH2 0x0f28
00000f22: PUSH1 0x00
00000f24: PUSH2 0x187b
00000f27: JUMP
00000f28: JUMPDEST
00000f29: PUSH2 0x0f30
00000f2c: PUSH2 0x1d70
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: JUMP
00000f32: JUMPDEST
00000f33: PUSH1 0x00
00000f35: SLOAD
00000f36: PUSH1 0x02
00000f38: SWAP1
00000f39: PUSH2 0x0100
00000f3c: SWAP1
00000f3d: DIV
00000f3e: PUSH1 0xff
00000f40: AND
00000f41: ISZERO
00000f42: DUP1
00000f43: ISZERO
00000f44: PUSH2 0x0f54
00000f47: JUMPI
00000f48: POP
00000f49: PUSH1 0x00
00000f4b: SLOAD
00000f4c: PUSH1 0xff
00000f4e: DUP1
00000f4f: DUP4
00000f50: AND
00000f51: SWAP2
00000f52: AND
00000f53: LT
00000f54: JUMPDEST
00000f55: PUSH2 0x0fc6
00000f58: JUMPI
00000f59: PUSH1 0x40
00000f5b: MLOAD
00000f5c: PUSH3 0x461bcd
00000f60: PUSH1 0xe5
00000f62: SHL
00000f63: DUP2
00000f64: MSTORE
00000f65: PUSH1 0x20
00000f67: PUSH1 0x04
00000f69: DUP3
00000f6a: ADD
00000f6b: MSTORE
00000f6c: PUSH1 0x2e
00000f6e: PUSH1 0x24
00000f70: DUP3
00000f71: ADD
00000f72: MSTORE
00000f73: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00000f94: PUSH1 0x44
00000f96: DUP3
00000f97: ADD
00000f98: MSTORE
00000f99: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
00000fba: PUSH1 0x64
00000fbc: DUP3
00000fbd: ADD
00000fbe: MSTORE
00000fbf: PUSH1 0x84
00000fc1: ADD
00000fc2: PUSH2 0x0a63
00000fc5: JUMP
00000fc6: JUMPDEST
00000fc7: PUSH1 0x00
00000fc9: DUP1
00000fca: SLOAD
00000fcb: PUSH2 0xffff
00000fce: NOT
00000fcf: AND
00000fd0: PUSH1 0xff
00000fd2: DUP4
00000fd3: AND
00000fd4: OR
00000fd5: PUSH2 0x0100
00000fd8: OR
00000fd9: DUP2
00000fda: SSTORE
00000fdb: PUSH2 0x04fc
00000fde: SLOAD
00000fdf: PUSH1 0x40
00000fe1: MLOAD
00000fe2: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001003: DUP2
00001004: MSTORE
00001005: ADDRESS
00001006: PUSH1 0x04
00001008: DUP3
00001009: ADD
0000100a: MSTORE
0000100b: PUSH1 0x01
0000100d: PUSH1 0x01
0000100f: PUSH1 0xa0
00001011: SHL
00001012: SUB
00001013: SWAP1
00001014: SWAP2
00001015: AND
00001016: SWAP1
00001017: PUSH4 0x70a08231
0000101c: SWAP1
0000101d: PUSH1 0x24
0000101f: ADD
00001020: PUSH1 0x20
00001022: PUSH1 0x40
00001024: MLOAD
00001025: DUP1
00001026: DUP4
00001027: SUB
00001028: DUP2
00001029: DUP7
0000102a: GAS
0000102b: STATICCALL
0000102c: ISZERO
0000102d: DUP1
0000102e: ISZERO
0000102f: PUSH2 0x103c
00001032: JUMPI
00001033: RETURNDATASIZE
00001034: PUSH1 0x00
00001036: DUP1
00001037: RETURNDATACOPY
00001038: RETURNDATASIZE
00001039: PUSH1 0x00
0000103b: REVERT
0000103c: JUMPDEST
0000103d: POP
0000103e: POP
0000103f: POP
00001040: POP
00001041: PUSH1 0x40
00001043: MLOAD
00001044: RETURNDATASIZE
00001045: PUSH1 0x1f
00001047: NOT
00001048: PUSH1 0x1f
0000104a: DUP3
0000104b: ADD
0000104c: AND
0000104d: DUP3
0000104e: ADD
0000104f: DUP1
00001050: PUSH1 0x40
00001052: MSTORE
00001053: POP
00001054: DUP2
00001055: ADD
00001056: SWAP1
00001057: PUSH2 0x1060
0000105a: SWAP2
0000105b: SWAP1
0000105c: PUSH2 0x2906
0000105f: JUMP
00001060: JUMPDEST
00001061: SWAP1
00001062: POP
00001063: DUP1
00001064: ISZERO
00001065: PUSH2 0x10e1
00001068: JUMPI
00001069: PUSH2 0x04fc
0000106c: SLOAD
0000106d: PUSH1 0x40
0000106f: MLOAD
00001070: PUSH32 0x42966c6800000000000000000000000000000000000000000000000000000000
00001091: DUP2
00001092: MSTORE
00001093: PUSH1 0x04
00001095: DUP2
00001096: ADD
00001097: DUP4
00001098: SWAP1
00001099: MSTORE
0000109a: PUSH1 0x01
0000109c: PUSH1 0x01
0000109e: PUSH1 0xa0
000010a0: SHL
000010a1: SUB
000010a2: SWAP1
000010a3: SWAP2
000010a4: AND
000010a5: SWAP1
000010a6: PUSH4 0x42966c68
000010ab: SWAP1
000010ac: PUSH1 0x24
000010ae: ADD
000010af: PUSH1 0x00
000010b1: PUSH1 0x40
000010b3: MLOAD
000010b4: DUP1
000010b5: DUP4
000010b6: SUB
000010b7: DUP2
000010b8: PUSH1 0x00
000010ba: DUP8
000010bb: DUP1
000010bc: EXTCODESIZE
000010bd: ISZERO
000010be: DUP1
000010bf: ISZERO
000010c0: PUSH2 0x10c8
000010c3: JUMPI
000010c4: PUSH1 0x00
000010c6: DUP1
000010c7: REVERT
000010c8: JUMPDEST
000010c9: POP
000010ca: GAS
000010cb: CALL
000010cc: ISZERO
000010cd: DUP1
000010ce: ISZERO
000010cf: PUSH2 0x10dc
000010d2: JUMPI
000010d3: RETURNDATASIZE
000010d4: PUSH1 0x00
000010d6: DUP1
000010d7: RETURNDATACOPY
000010d8: RETURNDATASIZE
000010d9: PUSH1 0x00
000010db: REVERT
000010dc: JUMPDEST
000010dd: POP
000010de: POP
000010df: POP
000010e0: POP
000010e1: JUMPDEST
000010e2: POP
000010e3: PUSH1 0x00
000010e5: DUP1
000010e6: SLOAD
000010e7: PUSH2 0xff00
000010ea: NOT
000010eb: AND
000010ec: SWAP1
000010ed: SSTORE
000010ee: PUSH1 0x40
000010f0: MLOAD
000010f1: PUSH1 0xff
000010f3: DUP3
000010f4: AND
000010f5: DUP2
000010f6: MSTORE
000010f7: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00001118: SWAP1
00001119: PUSH1 0x20
0000111b: ADD
0000111c: PUSH1 0x40
0000111e: MLOAD
0000111f: DUP1
00001120: SWAP2
00001121: SUB
00001122: SWAP1
00001123: LOG1
00001124: POP
00001125: JUMP
00001126: JUMPDEST
00001127: PUSH2 0x1130
0000112a: PUSH1 0x00
0000112c: PUSH2 0x187b
0000112f: JUMP
00001130: JUMPDEST
00001131: PUSH2 0x0f30
00001134: PUSH2 0x1dc2
00001137: JUMP
00001138: JUMPDEST
00001139: PUSH2 0x0c8c
0000113c: CALLER
0000113d: DUP4
0000113e: DUP4
0000113f: PUSH2 0x1885
00001142: JUMP
00001143: JUMPDEST
00001144: PUSH1 0x00
00001146: SELFBALANCE
00001147: DUP2
00001148: PUSH2 0x114f
0000114b: PUSH2 0x1800
0000114e: JUMP
0000114f: JUMPDEST
00001150: SWAP1
00001151: POP
00001152: DUP1
00001153: DUP3
00001154: GT
00001155: ISZERO
00001156: PUSH2 0x116a
00001159: JUMPI
0000115a: PUSH2 0x1163
0000115d: DUP2
0000115e: DUP4
0000115f: PUSH2 0x28f3
00001162: JUMP
00001163: JUMPDEST
00001164: SWAP3
00001165: POP
00001166: POP
00001167: POP
00001168: SWAP1
00001169: JUMP
0000116a: JUMPDEST
0000116b: PUSH1 0x00
0000116d: SWAP3
0000116e: POP
0000116f: POP
00001170: POP
00001171: SWAP1
00001172: JUMP
00001173: JUMPDEST
00001174: PUSH2 0x117d
00001177: PUSH1 0x00
00001179: PUSH2 0x187b
0000117c: JUMP
0000117d: JUMPDEST
0000117e: PUSH2 0x2710
00001181: DUP2
00001182: LT
00001183: PUSH2 0x11ce
00001186: JUMPI
00001187: PUSH1 0x40
00001189: MLOAD
0000118a: PUSH3 0x461bcd
0000118e: PUSH1 0xe5
00001190: SHL
00001191: DUP2
00001192: MSTORE
00001193: PUSH1 0x20
00001195: PUSH1 0x04
00001197: DUP3
00001198: ADD
00001199: MSTORE
0000119a: PUSH1 0x14
0000119c: PUSH1 0x24
0000119e: DUP3
0000119f: ADD
000011a0: MSTORE
000011a1: PUSH32 0x666565206f7574206f66205b303b313030303029000000000000000000000000
000011c2: PUSH1 0x44
000011c4: DUP3
000011c5: ADD
000011c6: MSTORE
000011c7: PUSH1 0x64
000011c9: ADD
000011ca: PUSH2 0x0a63
000011cd: JUMP
000011ce: JUMPDEST
000011cf: DUP1
000011d0: PUSH2 0x04ff
000011d3: SLOAD
000011d4: EQ
000011d5: PUSH2 0x0c32
000011d8: JUMPI
000011d9: PUSH2 0x04ff
000011dc: SLOAD
000011dd: PUSH1 0x40
000011df: DUP1
000011e0: MLOAD
000011e1: SWAP2
000011e2: DUP3
000011e3: MSTORE
000011e4: PUSH1 0x20
000011e6: DUP3
000011e7: ADD
000011e8: DUP4
000011e9: SWAP1
000011ea: MSTORE
000011eb: PUSH32 0x72aa1ef4707dfa7defd1468e6ffc70bf9517ce19e3afad93fcf4be42f2d494f5
0000120c: SWAP2
0000120d: ADD
0000120e: PUSH1 0x40
00001210: MLOAD
00001211: DUP1
00001212: SWAP2
00001213: SUB
00001214: SWAP1
00001215: LOG1
00001216: PUSH2 0x04ff
00001219: SSTORE
0000121a: JUMP
0000121b: JUMPDEST
0000121c: PUSH2 0x1225
0000121f: PUSH1 0x00
00001221: PUSH2 0x187b
00001224: JUMP
00001225: JUMPDEST
00001226: PUSH1 0x01
00001228: PUSH1 0x01
0000122a: PUSH1 0xa0
0000122c: SHL
0000122d: SUB
0000122e: DUP2
0000122f: AND
00001230: PUSH2 0x127b
00001233: JUMPI
00001234: PUSH1 0x40
00001236: MLOAD
00001237: PUSH3 0x461bcd
0000123b: PUSH1 0xe5
0000123d: SHL
0000123e: DUP2
0000123f: MSTORE
00001240: PUSH1 0x20
00001242: PUSH1 0x04
00001244: DUP3
00001245: ADD
00001246: MSTORE
00001247: PUSH1 0x0f
00001249: PUSH1 0x24
0000124b: DUP3
0000124c: ADD
0000124d: MSTORE
0000124e: PUSH32 0x696e76616c696420616464726573730000000000000000000000000000000000
0000126f: PUSH1 0x44
00001271: DUP3
00001272: ADD
00001273: MSTORE
00001274: PUSH1 0x64
00001276: ADD
00001277: PUSH2 0x0a63
0000127a: JUMP
0000127b: JUMPDEST
0000127c: PUSH2 0x1286
0000127f: PUSH1 0x00
00001281: DUP3
00001282: PUSH2 0x1cc3
00001285: JUMP
00001286: JUMPDEST
00001287: PUSH2 0x0c32
0000128a: PUSH1 0x00
0000128c: CALLER
0000128d: PUSH2 0x1ce8
00001290: JUMP
00001291: JUMPDEST
00001292: PUSH1 0x00
00001294: PUSH2 0x129d
00001297: PUSH2 0x0500
0000129a: SLOAD
0000129b: SWAP1
0000129c: JUMP
0000129d: JUMPDEST
0000129e: SWAP1
0000129f: POP
000012a0: SWAP1
000012a1: JUMP
000012a2: JUMPDEST
000012a3: PUSH1 0x00
000012a5: PUSH2 0x0501
000012a8: SLOAD
000012a9: PUSH2 0x12b0
000012ac: PUSH2 0x1291
000012af: JUMP
000012b0: JUMPDEST
000012b1: PUSH2 0x129d
000012b4: SWAP2
000012b5: SWAP1
000012b6: PUSH2 0x28f3
000012b9: JUMP
000012ba: JUMPDEST
000012bb: PUSH2 0x12c4
000012be: PUSH1 0x00
000012c0: PUSH2 0x187b
000012c3: JUMP
000012c4: JUMPDEST
000012c5: DUP1
000012c6: PUSH2 0x04fe
000012c9: SLOAD
000012ca: EQ
000012cb: PUSH2 0x0c32
000012ce: JUMPI
000012cf: PUSH2 0x04fe
000012d2: SLOAD
000012d3: PUSH1 0x40
000012d5: DUP1
000012d6: MLOAD
000012d7: SWAP2
000012d8: DUP3
000012d9: MSTORE
000012da: PUSH1 0x20
000012dc: DUP3
000012dd: ADD
000012de: DUP4
000012df: SWAP1
000012e0: MSTORE
000012e1: PUSH32 0x0ff86619913716de48820afa709a2935d05fd9882d51d37524beeb0595bfe8bf
00001302: SWAP2
00001303: ADD
00001304: PUSH1 0x40
00001306: MLOAD
00001307: DUP1
00001308: SWAP2
00001309: SUB
0000130a: SWAP1
0000130b: LOG1
0000130c: PUSH2 0x04fe
0000130f: SSTORE
00001310: JUMP
00001311: JUMPDEST
00001312: PUSH2 0x133a
00001315: PUSH32 0x57821265b8aae32b5b709c99f153570cf08ec6b02f98c6e6d72dec1799baafb6
00001336: PUSH2 0x187b
00001339: JUMP
0000133a: JUMPDEST
0000133b: PUSH2 0x1342
0000133e: PUSH2 0x1143
00001341: JUMP
00001342: JUMPDEST
00001343: DUP2
00001344: GT
00001345: ISZERO
00001346: PUSH2 0x1391
00001349: JUMPI
0000134a: PUSH1 0x40
0000134c: MLOAD
0000134d: PUSH3 0x461bcd
00001351: PUSH1 0xe5
00001353: SHL
00001354: DUP2
00001355: MSTORE
00001356: PUSH1 0x20
00001358: PUSH1 0x04
0000135a: DUP3
0000135b: ADD
0000135c: MSTORE
0000135d: PUSH1 0x1d
0000135f: PUSH1 0x24
00001361: DUP3
00001362: ADD
00001363: MSTORE
00001364: PUSH32 0x62616c616e6365206e6f7420656e6f75676820746f2072657374616b65000000
00001385: PUSH1 0x44
00001387: DUP3
00001388: ADD
00001389: MSTORE
0000138a: PUSH1 0x64
0000138c: ADD
0000138d: PUSH2 0x0a63
00001390: JUMP
00001391: JUMPDEST
00001392: PUSH32 0xd24f08d802184f5b2f33868d0678703fcba72c98ede9558a4562db66b4bf09c2
000013b3: DUP2
000013b4: CALLER
000013b5: PUSH2 0x0ee7
000013b8: JUMP
000013b9: JUMPDEST
000013ba: PUSH1 0x00
000013bc: SLOAD
000013bd: PUSH2 0x0100
000013c0: SWAP1
000013c1: DIV
000013c2: PUSH1 0xff
000013c4: AND
000013c5: ISZERO
000013c6: DUP1
000013c7: DUP1
000013c8: ISZERO
000013c9: PUSH2 0x13d9
000013cc: JUMPI
000013cd: POP
000013ce: PUSH1 0x00
000013d0: SLOAD
000013d1: PUSH1 0x01
000013d3: PUSH1 0xff
000013d5: SWAP1
000013d6: SWAP2
000013d7: AND
000013d8: LT
000013d9: JUMPDEST
000013da: DUP1
000013db: PUSH2 0x13f3
000013de: JUMPI
000013df: POP
000013e0: ADDRESS
000013e1: EXTCODESIZE
000013e2: ISZERO
000013e3: DUP1
000013e4: ISZERO
000013e5: PUSH2 0x13f3
000013e8: JUMPI
000013e9: POP
000013ea: PUSH1 0x00
000013ec: SLOAD
000013ed: PUSH1 0xff
000013ef: AND
000013f0: PUSH1 0x01
000013f2: EQ
000013f3: JUMPDEST
000013f4: PUSH2 0x1465
000013f7: JUMPI
000013f8: PUSH1 0x40
000013fa: MLOAD
000013fb: PUSH3 0x461bcd
000013ff: PUSH1 0xe5
00001401: SHL
00001402: DUP2
00001403: MSTORE
00001404: PUSH1 0x20
00001406: PUSH1 0x04
00001408: DUP3
00001409: ADD
0000140a: MSTORE
0000140b: PUSH1 0x2e
0000140d: PUSH1 0x24
0000140f: DUP3
00001410: ADD
00001411: MSTORE
00001412: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00001433: PUSH1 0x44
00001435: DUP3
00001436: ADD
00001437: MSTORE
00001438: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
00001459: PUSH1 0x64
0000145b: DUP3
0000145c: ADD
0000145d: MSTORE
0000145e: PUSH1 0x84
00001460: ADD
00001461: PUSH2 0x0a63
00001464: JUMP
00001465: JUMPDEST
00001466: PUSH1 0x00
00001468: DUP1
00001469: SLOAD
0000146a: PUSH1 0xff
0000146c: NOT
0000146d: AND
0000146e: PUSH1 0x01
00001470: OR
00001471: SWAP1
00001472: SSTORE
00001473: DUP1
00001474: ISZERO
00001475: PUSH2 0x1488
00001478: JUMPI
00001479: PUSH1 0x00
0000147b: DUP1
0000147c: SLOAD
0000147d: PUSH2 0xff00
00001480: NOT
00001481: AND
00001482: PUSH2 0x0100
00001485: OR
00001486: SWAP1
00001487: SSTORE
00001488: JUMPDEST
00001489: PUSH2 0x1490
0000148c: PUSH2 0x1dff
0000148f: JUMP
00001490: JUMPDEST
00001491: PUSH2 0x1498
00001494: PUSH2 0x1dff
00001497: JUMP
00001498: JUMPDEST
00001499: PUSH2 0x14a0
0000149c: PUSH2 0x1e6a
0000149f: JUMP
000014a0: JUMPDEST
000014a1: PUSH2 0x14a8
000014a4: PUSH2 0x1edd
000014a7: JUMP
000014a8: JUMPDEST
000014a9: PUSH1 0x01
000014ab: PUSH1 0x01
000014ad: PUSH1 0xa0
000014af: SHL
000014b0: SUB
000014b1: DUP5
000014b2: AND
000014b3: PUSH2 0x14fe
000014b6: JUMPI
000014b7: PUSH1 0x40
000014b9: MLOAD
000014ba: PUSH3 0x461bcd
000014be: PUSH1 0xe5
000014c0: SHL
000014c1: DUP2
000014c2: MSTORE
000014c3: PUSH1 0x20
000014c5: PUSH1 0x04
000014c7: DUP3
000014c8: ADD
000014c9: MSTORE
000014ca: PUSH1 0x14
000014cc: PUSH1 0x24
000014ce: DUP3
000014cf: ADD
000014d0: MSTORE
000014d1: PUSH32 0x696e76616c696420706f6f6c2061646472657373000000000000000000000000
000014f2: PUSH1 0x44
000014f4: DUP3
000014f5: ADD
000014f6: MSTORE
000014f7: PUSH1 0x64
000014f9: ADD
000014fa: PUSH2 0x0a63
000014fd: JUMP
000014fe: JUMPDEST
000014ff: PUSH1 0x01
00001501: PUSH1 0x01
00001503: PUSH1 0xa0
00001505: SHL
00001506: SUB
00001507: DUP4
00001508: AND
00001509: PUSH2 0x1554
0000150c: JUMPI
0000150d: PUSH1 0x40
0000150f: MLOAD
00001510: PUSH3 0x461bcd
00001514: PUSH1 0xe5
00001516: SHL
00001517: DUP2
00001518: MSTORE
00001519: PUSH1 0x20
0000151b: PUSH1 0x04
0000151d: DUP3
0000151e: ADD
0000151f: MSTORE
00001520: PUSH1 0x14
00001522: PUSH1 0x24
00001524: DUP3
00001525: ADD
00001526: MSTORE
00001527: PUSH32 0x696e76616c696420734554482061646472657373000000000000000000000000
00001548: PUSH1 0x44
0000154a: DUP3
0000154b: ADD
0000154c: MSTORE
0000154d: PUSH1 0x64
0000154f: ADD
00001550: PUSH2 0x0a63
00001553: JUMP
00001554: JUMPDEST
00001555: PUSH1 0x01
00001557: PUSH1 0x01
00001559: PUSH1 0xa0
0000155b: SHL
0000155c: SUB
0000155d: DUP3
0000155e: AND
0000155f: PUSH2 0x15aa
00001562: JUMPI
00001563: PUSH1 0x40
00001565: MLOAD
00001566: PUSH3 0x461bcd
0000156a: PUSH1 0xe5
0000156c: SHL
0000156d: DUP2
0000156e: MSTORE
0000156f: PUSH1 0x20
00001571: PUSH1 0x04
00001573: DUP3
00001574: ADD
00001575: MSTORE
00001576: PUSH1 0x14
00001578: PUSH1 0x24
0000157a: DUP3
0000157b: ADD
0000157c: MSTORE
0000157d: PUSH32 0x696e76616c696420724554482061646472657373000000000000000000000000
0000159e: PUSH1 0x44
000015a0: DUP3
000015a1: ADD
000015a2: MSTORE
000015a3: PUSH1 0x64
000015a5: ADD
000015a6: PUSH2 0x0a63
000015a9: JUMP
000015aa: JUMPDEST
000015ab: PUSH2 0x04fb
000015ae: DUP1
000015af: SLOAD
000015b0: PUSH1 0x01
000015b2: PUSH1 0x01
000015b4: PUSH1 0xa0
000015b6: SHL
000015b7: SUB
000015b8: DUP1
000015b9: DUP8
000015ba: AND
000015bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d0: NOT
000015d1: SWAP3
000015d2: DUP4
000015d3: AND
000015d4: OR
000015d5: SWAP1
000015d6: SWAP3
000015d7: SSTORE
000015d8: PUSH2 0x04fc
000015db: DUP1
000015dc: SLOAD
000015dd: DUP7
000015de: DUP5
000015df: AND
000015e0: SWAP1
000015e1: DUP4
000015e2: AND
000015e3: OR
000015e4: SWAP1
000015e5: SSTORE
000015e6: PUSH2 0x04fd
000015e9: DUP1
000015ea: SLOAD
000015eb: SWAP3
000015ec: DUP6
000015ed: AND
000015ee: SWAP3
000015ef: SWAP1
000015f0: SWAP2
000015f1: AND
000015f2: SWAP2
000015f3: SWAP1
000015f4: SWAP2
000015f5: OR
000015f6: SWAP1
000015f7: SSTORE
000015f8: PUSH1 0x00
000015fa: PUSH2 0x04fe
000015fd: DUP2
000015fe: SWAP1
000015ff: SSTORE
00001600: PUSH2 0x04ff
00001603: SSTORE
00001604: PUSH2 0x160f
00001607: PUSH2 0x0500
0000160a: PUSH1 0x00
0000160c: SWAP1
0000160d: SSTORE
0000160e: JUMP
0000160f: JUMPDEST
00001610: PUSH1 0x00
00001612: PUSH2 0x0501
00001615: DUP2
00001616: SWAP1
00001617: SSTORE
00001618: PUSH2 0x0502
0000161b: DUP2
0000161c: SWAP1
0000161d: SSTORE
0000161e: PUSH2 0x0503
00001621: DUP2
00001622: SWAP1
00001623: SSTORE
00001624: PUSH2 0x162d
00001627: SWAP1
00001628: CALLER
00001629: PUSH2 0x1f50
0000162c: JUMP
0000162d: JUMPDEST
0000162e: PUSH2 0x1637
00001631: PUSH1 0x00
00001633: PUSH2 0x1173
00001636: JUMP
00001637: JUMPDEST
00001638: PUSH2 0x1648
0000163b: PUSH8 0x0de0b6b3a7640000
00001644: PUSH2 0x12ba
00001647: JUMP
00001648: JUMPDEST
00001649: DUP1
0000164a: ISZERO
0000164b: PUSH2 0x168e
0000164e: JUMPI
0000164f: PUSH1 0x00
00001651: DUP1
00001652: SLOAD
00001653: PUSH2 0xff00
00001656: NOT
00001657: AND
00001658: SWAP1
00001659: SSTORE
0000165a: PUSH1 0x40
0000165c: MLOAD
0000165d: PUSH1 0x01
0000165f: DUP2
00001660: MSTORE
00001661: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00001682: SWAP1
00001683: PUSH1 0x20
00001685: ADD
00001686: PUSH1 0x40
00001688: MLOAD
00001689: DUP1
0000168a: SWAP2
0000168b: SUB
0000168c: SWAP1
0000168d: LOG1
0000168e: JUMPDEST
0000168f: POP
00001690: POP
00001691: POP
00001692: POP
00001693: JUMP
00001694: JUMPDEST
00001695: PUSH2 0x169e
00001698: PUSH1 0x00
0000169a: PUSH2 0x187b
0000169d: JUMP
0000169e: JUMPDEST
0000169f: PUSH1 0x00
000016a1: PUSH2 0x16a8
000016a4: PUSH2 0x1143
000016a7: JUMP
000016a8: JUMPDEST
000016a9: SWAP1
000016aa: POP
000016ab: PUSH2 0x0504
000016ae: SLOAD
000016af: DUP2
000016b0: GT
000016b1: ISZERO
000016b2: PUSH2 0x16bb
000016b5: JUMPI
000016b6: POP
000016b7: PUSH2 0x0504
000016ba: SLOAD
000016bb: JUMPDEST
000016bc: PUSH1 0x00
000016be: DUP2
000016bf: GT
000016c0: PUSH2 0x170b
000016c3: JUMPI
000016c4: PUSH1 0x40
000016c6: MLOAD
000016c7: PUSH3 0x461bcd
000016cb: PUSH1 0xe5
000016cd: SHL
000016ce: DUP2
000016cf: MSTORE
000016d0: PUSH1 0x20
000016d2: PUSH1 0x04
000016d4: DUP3
000016d5: ADD
000016d6: MSTORE
000016d7: PUSH1 0x1e
000016d9: PUSH1 0x24
000016db: DUP3
000016dc: ADD
000016dd: MSTORE
000016de: PUSH32 0x6e6f20756e636f6c6c65637465642066656573206f722062616c616e63650000
000016ff: PUSH1 0x44
00001701: DUP3
00001702: ADD
00001703: MSTORE
00001704: PUSH1 0x64
00001706: ADD
00001707: PUSH2 0x0a63
0000170a: JUMP
0000170b: JUMPDEST
0000170c: DUP1
0000170d: PUSH2 0x0504
00001710: PUSH1 0x00
00001712: DUP3
00001713: DUP3
00001714: SLOAD
00001715: PUSH2 0x171e
00001718: SWAP2
00001719: SWAP1
0000171a: PUSH2 0x28f3
0000171d: JUMP
0000171e: JUMPDEST
0000171f: SWAP1
00001720: SWAP2
00001721: SSTORE
00001722: POP
00001723: POP
00001724: PUSH2 0x0504
00001727: SLOAD
00001728: PUSH1 0x40
0000172a: DUP1
0000172b: MLOAD
0000172c: DUP4
0000172d: DUP2
0000172e: MSTORE
0000172f: PUSH1 0x20
00001731: DUP2
00001732: ADD
00001733: SWAP3
00001734: SWAP1
00001735: SWAP3
00001736: MSTORE
00001737: CALLER
00001738: DUP3
00001739: DUP3
0000173a: ADD
0000173b: MSTORE
0000173c: MLOAD
0000173d: PUSH32 0x1b4adb9070e1d08c74353b02e137a2c8fe592b8e2e17179a4e53fb5f8f19ce9f
0000175e: SWAP2
0000175f: DUP2
00001760: SWAP1
00001761: SUB
00001762: PUSH1 0x60
00001764: ADD
00001765: SWAP1
00001766: LOG1
00001767: PUSH2 0x0c32
0000176a: CALLER
0000176b: DUP3
0000176c: PUSH2 0x1ba3
0000176f: JUMP
00001770: JUMPDEST
00001771: DUP2
00001772: PUSH2 0x17bd
00001775: JUMPI
00001776: PUSH1 0x40
00001778: MLOAD
00001779: PUSH3 0x461bcd
0000177d: PUSH1 0xe5
0000177f: SHL
00001780: DUP2
00001781: MSTORE
00001782: PUSH1 0x20
00001784: PUSH1 0x04
00001786: DUP3
00001787: ADD
00001788: MSTORE
00001789: PUSH1 0x18
0000178b: PUSH1 0x24
0000178d: DUP3
0000178e: ADD
0000178f: MSTORE
00001790: PUSH32 0x63616e6e6f74207265766f6b652061646d696e20726f6c650000000000000000
000017b1: PUSH1 0x44
000017b3: DUP3
000017b4: ADD
000017b5: MSTORE
000017b6: PUSH1 0x64
000017b8: ADD
000017b9: PUSH2 0x0a63
000017bc: JUMP
000017bd: JUMPDEST
000017be: PUSH2 0x0c8c
000017c1: DUP3
000017c2: DUP3
000017c3: PUSH2 0x1ff2
000017c6: JUMP
000017c7: JUMPDEST
000017c8: PUSH2 0x17f0
000017cb: PUSH32 0x2fcb525a6fef2096c6f0ca8b812a7a3d651fd54f9cb3b25bc241057881a29aea
000017ec: PUSH2 0x187b
000017ef: JUMP
000017f0: JUMPDEST
000017f1: PUSH2 0x17fb
000017f4: DUP4
000017f5: DUP4
000017f6: DUP4
000017f7: PUSH2 0x1885
000017fa: JUMP
000017fb: JUMPDEST
000017fc: POP
000017fd: POP
000017fe: POP
000017ff: JUMP
00001800: JUMPDEST
00001801: PUSH1 0x00
00001803: PUSH2 0x0503
00001806: SLOAD
00001807: PUSH2 0x0502
0000180a: SLOAD
0000180b: PUSH2 0x129d
0000180e: SWAP2
0000180f: SWAP1
00001810: PUSH2 0x28f3
00001813: JUMP
00001814: JUMPDEST
00001815: PUSH1 0x00
00001817: PUSH1 0x01
00001819: PUSH1 0x01
0000181b: PUSH1 0xe0
0000181d: SHL
0000181e: SUB
0000181f: NOT
00001820: DUP3
00001821: AND
00001822: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000
00001843: EQ
00001844: DUP1
00001845: PUSH2 0x088d
00001848: JUMPI
00001849: POP
0000184a: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
0000186b: PUSH1 0x01
0000186d: PUSH1 0x01
0000186f: PUSH1 0xe0
00001871: SHL
00001872: SUB
00001873: NOT
00001874: DUP4
00001875: AND
00001876: EQ
00001877: PUSH2 0x088d
0000187a: JUMP
0000187b: JUMPDEST
0000187c: PUSH2 0x0c32
0000187f: DUP2
00001880: CALLER
00001881: PUSH2 0x2017
00001884: JUMP
00001885: JUMPDEST
00001886: PUSH2 0x188d
00001889: PUSH2 0x1af7
0000188c: JUMP
0000188d: JUMPDEST
0000188e: DUP2
0000188f: ISZERO
00001890: PUSH2 0x1914
00001893: JUMPI
00001894: PUSH2 0x04fc
00001897: SLOAD
00001898: PUSH1 0x40
0000189a: MLOAD
0000189b: PUSH32 0x79cc679000000000000000000000000000000000000000000000000000000000
000018bc: DUP2
000018bd: MSTORE
000018be: PUSH1 0x01
000018c0: PUSH1 0x01
000018c2: PUSH1 0xa0
000018c4: SHL
000018c5: SUB
000018c6: DUP6
000018c7: DUP2
000018c8: AND
000018c9: PUSH1 0x04
000018cb: DUP4
000018cc: ADD
000018cd: MSTORE
000018ce: PUSH1 0x24
000018d0: DUP3
000018d1: ADD
000018d2: DUP6
000018d3: SWAP1
000018d4: MSTORE
000018d5: SWAP1
000018d6: SWAP2
000018d7: AND
000018d8: SWAP1
000018d9: PUSH4 0x79cc6790
000018de: SWAP1
000018df: PUSH1 0x44
000018e1: ADD
000018e2: PUSH1 0x00
000018e4: PUSH1 0x40
000018e6: MLOAD
000018e7: DUP1
000018e8: DUP4
000018e9: SUB
000018ea: DUP2
000018eb: PUSH1 0x00
000018ed: DUP8
000018ee: DUP1
000018ef: EXTCODESIZE
000018f0: ISZERO
000018f1: DUP1
000018f2: ISZERO
000018f3: PUSH2 0x18fb
000018f6: JUMPI
000018f7: PUSH1 0x00
000018f9: DUP1
000018fa: REVERT
000018fb: JUMPDEST
000018fc: POP
000018fd: GAS
000018fe: CALL
000018ff: ISZERO
00001900: DUP1
00001901: ISZERO
00001902: PUSH2 0x190f
00001905: JUMPI
00001906: RETURNDATASIZE
00001907: PUSH1 0x00
00001909: DUP1
0000190a: RETURNDATACOPY
0000190b: RETURNDATASIZE
0000190c: PUSH1 0x00
0000190e: REVERT
0000190f: JUMPDEST
00001910: POP
00001911: POP
00001912: POP
00001913: POP
00001914: JUMPDEST
00001915: DUP1
00001916: ISZERO
00001917: PUSH2 0x1a03
0000191a: JUMPI
0000191b: PUSH2 0x04fd
0000191e: SLOAD
0000191f: PUSH1 0x40
00001921: MLOAD
00001922: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00001943: DUP2
00001944: MSTORE
00001945: PUSH1 0x01
00001947: PUSH1 0x01
00001949: PUSH1 0xa0
0000194b: SHL
0000194c: SUB
0000194d: DUP6
0000194e: DUP2
0000194f: AND
00001950: PUSH1 0x04
00001952: DUP4
00001953: ADD
00001954: MSTORE
00001955: ADDRESS
00001956: PUSH1 0x24
00001958: DUP4
00001959: ADD
0000195a: MSTORE
0000195b: PUSH1 0x44
0000195d: DUP3
0000195e: ADD
0000195f: DUP5
00001960: SWAP1
00001961: MSTORE
00001962: PUSH1 0x00
00001964: SWAP3
00001965: AND
00001966: SWAP1
00001967: PUSH4 0x23b872dd
0000196c: SWAP1
0000196d: PUSH1 0x64
0000196f: ADD
00001970: PUSH1 0x20
00001972: PUSH1 0x40
00001974: MLOAD
00001975: DUP1
00001976: DUP4
00001977: SUB
00001978: DUP2
00001979: PUSH1 0x00
0000197b: DUP8
0000197c: GAS
0000197d: CALL
0000197e: ISZERO
0000197f: DUP1
00001980: ISZERO
00001981: PUSH2 0x198e
00001984: JUMPI
00001985: RETURNDATASIZE
00001986: PUSH1 0x00
00001988: DUP1
00001989: RETURNDATACOPY
0000198a: RETURNDATASIZE
0000198b: PUSH1 0x00
0000198d: REVERT
0000198e: JUMPDEST
0000198f: POP
00001990: POP
00001991: POP
00001992: POP
00001993: PUSH1 0x40
00001995: MLOAD
00001996: RETURNDATASIZE
00001997: PUSH1 0x1f
00001999: NOT
0000199a: PUSH1 0x1f
0000199c: DUP3
0000199d: ADD
0000199e: AND
0000199f: DUP3
000019a0: ADD
000019a1: DUP1
000019a2: PUSH1 0x40
000019a4: MSTORE
000019a5: POP
000019a6: DUP2
000019a7: ADD
000019a8: SWAP1
000019a9: PUSH2 0x19b2
000019ac: SWAP2
000019ad: SWAP1
000019ae: PUSH2 0x291f
000019b1: JUMP
000019b2: JUMPDEST
000019b3: SWAP1
000019b4: POP
000019b5: DUP1
000019b6: PUSH2 0x1a01
000019b9: JUMPI
000019ba: PUSH1 0x40
000019bc: MLOAD
000019bd: PUSH3 0x461bcd
000019c1: PUSH1 0xe5
000019c3: SHL
000019c4: DUP2
000019c5: MSTORE
000019c6: PUSH1 0x20
000019c8: PUSH1 0x04
000019ca: DUP3
000019cb: ADD
000019cc: MSTORE
000019cd: PUSH1 0x14
000019cf: PUSH1 0x24
000019d1: DUP3
000019d2: ADD
000019d3: MSTORE
000019d4: PUSH32 0x72455448207472616e73666572206661696c6564000000000000000000000000
000019f5: PUSH1 0x44
000019f7: DUP3
000019f8: ADD
000019f9: MSTORE
000019fa: PUSH1 0x64
000019fc: ADD
000019fd: PUSH2 0x0a63
00001a00: JUMP
00001a01: JUMPDEST
00001a02: POP
00001a03: JUMPDEST
00001a04: PUSH1 0x00
00001a06: PUSH2 0x1a0f
00001a09: DUP3
00001a0a: DUP5
00001a0b: PUSH2 0x28e0
00001a0e: JUMP
00001a0f: JUMPDEST
00001a10: SWAP1
00001a11: POP
00001a12: PUSH1 0x00
00001a14: PUSH2 0x2710
00001a17: DUP3
00001a18: PUSH2 0x04ff
00001a1b: SLOAD
00001a1c: PUSH2 0x1a25
00001a1f: SWAP2
00001a20: SWAP1
00001a21: PUSH2 0x2941
00001a24: JUMP
00001a25: JUMPDEST
00001a26: PUSH2 0x1a2f
00001a29: SWAP2
00001a2a: SWAP1
00001a2b: PUSH2 0x2960
00001a2e: JUMP
00001a2f: JUMPDEST
00001a30: SWAP1
00001a31: POP
00001a32: PUSH1 0x00
00001a34: PUSH2 0x1a3d
00001a37: DUP3
00001a38: DUP5
00001a39: PUSH2 0x28f3
00001a3c: JUMP
00001a3d: JUMPDEST
00001a3e: SWAP1
00001a3f: POP
00001a40: PUSH1 0x00
00001a42: DUP2
00001a43: GT
00001a44: PUSH2 0x1a8f
00001a47: JUMPI
00001a48: PUSH1 0x40
00001a4a: MLOAD
00001a4b: PUSH3 0x461bcd
00001a4f: PUSH1 0xe5
00001a51: SHL
00001a52: DUP2
00001a53: MSTORE
00001a54: PUSH1 0x20
00001a56: PUSH1 0x04
00001a58: DUP3
00001a59: ADD
00001a5a: MSTORE
00001a5b: PUSH1 0x1c
00001a5d: PUSH1 0x24
00001a5f: DUP3
00001a60: ADD
00001a61: MSTORE
00001a62: PUSH32 0x63616e6e6f74207265717565737420746f207769746864726177203000000000
00001a83: PUSH1 0x44
00001a85: DUP3
00001a86: ADD
00001a87: MSTORE
00001a88: PUSH1 0x64
00001a8a: ADD
00001a8b: PUSH2 0x0a63
00001a8e: JUMP
00001a8f: JUMPDEST
00001a90: PUSH1 0x00
00001a92: PUSH2 0x1a99
00001a95: PUSH2 0x1143
00001a98: JUMP
00001a99: JUMPDEST
00001a9a: SWAP1
00001a9b: POP
00001a9c: DUP1
00001a9d: DUP3
00001a9e: GT
00001a9f: PUSH2 0x1ab3
00001aa2: JUMPI
00001aa3: PUSH2 0x1aae
00001aa6: DUP8
00001aa7: DUP8
00001aa8: DUP8
00001aa9: DUP6
00001aaa: PUSH2 0x208c
00001aad: JUMP
00001aae: JUMPDEST
00001aaf: PUSH2 0x1ad6
00001ab2: JUMP
00001ab3: JUMPDEST
00001ab4: PUSH2 0x04fe
00001ab7: SLOAD
00001ab8: DUP2
00001ab9: LT
00001aba: PUSH2 0x1aca
00001abd: JUMPI
00001abe: PUSH2 0x1aae
00001ac1: DUP8
00001ac2: DUP8
00001ac3: DUP8
00001ac4: DUP6
00001ac5: DUP6
00001ac6: PUSH2 0x20fd
00001ac9: JUMP
00001aca: JUMPDEST
00001acb: PUSH2 0x1ad6
00001ace: DUP8
00001acf: DUP8
00001ad0: DUP8
00001ad1: DUP6
00001ad2: PUSH2 0x21b1
00001ad5: JUMP
00001ad6: JUMPDEST
00001ad7: DUP3
00001ad8: PUSH2 0x0504
00001adb: PUSH1 0x00
00001add: DUP3
00001ade: DUP3
00001adf: SLOAD
00001ae0: PUSH2 0x1ae9
00001ae3: SWAP2
00001ae4: SWAP1
00001ae5: PUSH2 0x28e0
00001ae8: JUMP
00001ae9: JUMPDEST
00001aea: SWAP1
00001aeb: SWAP2
00001aec: SSTORE
00001aed: POP
00001aee: POP
00001aef: POP
00001af0: POP
00001af1: POP
00001af2: POP
00001af3: POP
00001af4: POP
00001af5: POP
00001af6: JUMP
00001af7: JUMPDEST
00001af8: PUSH1 0x97
00001afa: SLOAD
00001afb: PUSH1 0xff
00001afd: AND
00001afe: ISZERO
00001aff: PUSH2 0x0f30
00001b02: JUMPI
00001b03: PUSH1 0x40
00001b05: MLOAD
00001b06: PUSH3 0x461bcd
00001b0a: PUSH1 0xe5
00001b0c: SHL
00001b0d: DUP2
00001b0e: MSTORE
00001b0f: PUSH1 0x20
00001b11: PUSH1 0x04
00001b13: DUP3
00001b14: ADD
00001b15: MSTORE
00001b16: PUSH1 0x10
00001b18: PUSH1 0x24
00001b1a: DUP3
00001b1b: ADD
00001b1c: MSTORE
00001b1d: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
00001b3e: PUSH1 0x44
00001b40: DUP3
00001b41: ADD
00001b42: MSTORE
00001b43: PUSH1 0x64
00001b45: ADD
00001b46: PUSH2 0x0a63
00001b49: JUMP
00001b4a: JUMPDEST
00001b4b: PUSH1 0x02
00001b4d: PUSH1 0xc9
00001b4f: SLOAD
00001b50: SUB
00001b51: PUSH2 0x1b9c
00001b54: JUMPI
00001b55: PUSH1 0x40
00001b57: MLOAD
00001b58: PUSH3 0x461bcd
00001b5c: PUSH1 0xe5
00001b5e: SHL
00001b5f: DUP2
00001b60: MSTORE
00001b61: PUSH1 0x20
00001b63: PUSH1 0x04
00001b65: DUP3
00001b66: ADD
00001b67: MSTORE
00001b68: PUSH1 0x1f
00001b6a: PUSH1 0x24
00001b6c: DUP3
00001b6d: ADD
00001b6e: MSTORE
00001b6f: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00001b90: PUSH1 0x44
00001b92: DUP3
00001b93: ADD
00001b94: MSTORE
00001b95: PUSH1 0x64
00001b97: ADD
00001b98: PUSH2 0x0a63
00001b9b: JUMP
00001b9c: JUMPDEST
00001b9d: PUSH1 0x02
00001b9f: PUSH1 0xc9
00001ba1: SSTORE
00001ba2: JUMP
00001ba3: JUMPDEST
00001ba4: DUP1
00001ba5: SELFBALANCE
00001ba6: LT
00001ba7: ISZERO
00001ba8: PUSH2 0x1bf3
00001bab: JUMPI
00001bac: PUSH1 0x40
00001bae: MLOAD
00001baf: PUSH3 0x461bcd
00001bb3: PUSH1 0xe5
00001bb5: SHL
00001bb6: DUP2
00001bb7: MSTORE
00001bb8: PUSH1 0x20
00001bba: PUSH1 0x04
00001bbc: DUP3
00001bbd: ADD
00001bbe: MSTORE
00001bbf: PUSH1 0x1d
00001bc1: PUSH1 0x24
00001bc3: DUP3
00001bc4: ADD
00001bc5: MSTORE
00001bc6: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00001be7: PUSH1 0x44
00001be9: DUP3
00001bea: ADD
00001beb: MSTORE
00001bec: PUSH1 0x64
00001bee: ADD
00001bef: PUSH2 0x0a63
00001bf2: JUMP
00001bf3: JUMPDEST
00001bf4: PUSH1 0x00
00001bf6: DUP3
00001bf7: PUSH1 0x01
00001bf9: PUSH1 0x01
00001bfb: PUSH1 0xa0
00001bfd: SHL
00001bfe: SUB
00001bff: AND
00001c00: DUP3
00001c01: PUSH1 0x40
00001c03: MLOAD
00001c04: PUSH1 0x00
00001c06: PUSH1 0x40
00001c08: MLOAD
00001c09: DUP1
00001c0a: DUP4
00001c0b: SUB
00001c0c: DUP2
00001c0d: DUP6
00001c0e: DUP8
00001c0f: GAS
00001c10: CALL
00001c11: SWAP3
00001c12: POP
00001c13: POP
00001c14: POP
00001c15: RETURNDATASIZE
00001c16: DUP1
00001c17: PUSH1 0x00
00001c19: DUP2
00001c1a: EQ
00001c1b: PUSH2 0x1c40
00001c1e: JUMPI
00001c1f: PUSH1 0x40
00001c21: MLOAD
00001c22: SWAP2
00001c23: POP
00001c24: PUSH1 0x1f
00001c26: NOT
00001c27: PUSH1 0x3f
00001c29: RETURNDATASIZE
00001c2a: ADD
00001c2b: AND
00001c2c: DUP3
00001c2d: ADD
00001c2e: PUSH1 0x40
00001c30: MSTORE
00001c31: RETURNDATASIZE
00001c32: DUP3
00001c33: MSTORE
00001c34: RETURNDATASIZE
00001c35: PUSH1 0x00
00001c37: PUSH1 0x20
00001c39: DUP5
00001c3a: ADD
00001c3b: RETURNDATACOPY
00001c3c: PUSH2 0x1c45
00001c3f: JUMP
00001c40: JUMPDEST
00001c41: PUSH1 0x60
00001c43: SWAP2
00001c44: POP
00001c45: JUMPDEST
00001c46: POP
00001c47: POP
00001c48: SWAP1
00001c49: POP
00001c4a: DUP1
00001c4b: PUSH2 0x17fb
00001c4e: JUMPI
00001c4f: PUSH1 0x40
00001c51: MLOAD
00001c52: PUSH3 0x461bcd
00001c56: PUSH1 0xe5
00001c58: SHL
00001c59: DUP2
00001c5a: MSTORE
00001c5b: PUSH1 0x20
00001c5d: PUSH1 0x04
00001c5f: DUP3
00001c60: ADD
00001c61: MSTORE
00001c62: PUSH1 0x3a
00001c64: PUSH1 0x24
00001c66: DUP3
00001c67: ADD
00001c68: MSTORE
00001c69: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00001c8a: PUSH1 0x44
00001c8c: DUP3
00001c8d: ADD
00001c8e: MSTORE
00001c8f: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
00001cb0: PUSH1 0x64
00001cb2: DUP3
00001cb3: ADD
00001cb4: MSTORE
00001cb5: PUSH1 0x84
00001cb7: ADD
00001cb8: PUSH2 0x0a63
00001cbb: JUMP
00001cbc: JUMPDEST
00001cbd: PUSH1 0x01
00001cbf: PUSH1 0xc9
00001cc1: SSTORE
00001cc2: JUMP
00001cc3: JUMPDEST
00001cc4: PUSH1 0x00
00001cc6: DUP3
00001cc7: DUP2
00001cc8: MSTORE
00001cc9: PUSH1 0x65
00001ccb: PUSH1 0x20
00001ccd: MSTORE
00001cce: PUSH1 0x40
00001cd0: SWAP1
00001cd1: KECCAK256
00001cd2: PUSH1 0x01
00001cd4: ADD
00001cd5: SLOAD
00001cd6: PUSH2 0x1cde
00001cd9: DUP2
00001cda: PUSH2 0x187b
00001cdd: JUMP
00001cde: JUMPDEST
00001cdf: PUSH2 0x17fb
00001ce2: DUP4
00001ce3: DUP4
00001ce4: PUSH2 0x1f50
00001ce7: JUMP
00001ce8: JUMPDEST
00001ce9: PUSH1 0x01
00001ceb: PUSH1 0x01
00001ced: PUSH1 0xa0
00001cef: SHL
00001cf0: SUB
00001cf1: DUP2
00001cf2: AND
00001cf3: CALLER
00001cf4: EQ
00001cf5: PUSH2 0x1d66
00001cf8: JUMPI
00001cf9: PUSH1 0x40
00001cfb: MLOAD
00001cfc: PUSH3 0x461bcd
00001d00: PUSH1 0xe5
00001d02: SHL
00001d03: DUP2
00001d04: MSTORE
00001d05: PUSH1 0x20
00001d07: PUSH1 0x04
00001d09: DUP3
00001d0a: ADD
00001d0b: MSTORE
00001d0c: PUSH1 0x2f
00001d0e: PUSH1 0x24
00001d10: DUP3
00001d11: ADD
00001d12: MSTORE
00001d13: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365
00001d34: PUSH1 0x44
00001d36: DUP3
00001d37: ADD
00001d38: MSTORE
00001d39: PUSH32 0x20726f6c657320666f722073656c660000000000000000000000000000000000
00001d5a: PUSH1 0x64
00001d5c: DUP3
00001d5d: ADD
00001d5e: MSTORE
00001d5f: PUSH1 0x84
00001d61: ADD
00001d62: PUSH2 0x0a63
00001d65: JUMP
00001d66: JUMPDEST
00001d67: PUSH2 0x0c8c
00001d6a: DUP3
00001d6b: DUP3
00001d6c: PUSH2 0x2228
00001d6f: JUMP
00001d70: JUMPDEST
00001d71: PUSH2 0x1d78
00001d74: PUSH2 0x22ab
00001d77: JUMP
00001d78: JUMPDEST
00001d79: PUSH1 0x97
00001d7b: DUP1
00001d7c: SLOAD
00001d7d: PUSH1 0xff
00001d7f: NOT
00001d80: AND
00001d81: SWAP1
00001d82: SSTORE
00001d83: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00001da4: CALLER
00001da5: JUMPDEST
00001da6: PUSH1 0x40
00001da8: MLOAD
00001da9: PUSH1 0x01
00001dab: PUSH1 0x01
00001dad: PUSH1 0xa0
00001daf: SHL
00001db0: SUB
00001db1: SWAP1
00001db2: SWAP2
00001db3: AND
00001db4: DUP2
00001db5: MSTORE
00001db6: PUSH1 0x20
00001db8: ADD
00001db9: PUSH1 0x40
00001dbb: MLOAD
00001dbc: DUP1
00001dbd: SWAP2
00001dbe: SUB
00001dbf: SWAP1
00001dc0: LOG1
00001dc1: JUMP
00001dc2: JUMPDEST
00001dc3: PUSH2 0x1dca
00001dc6: PUSH2 0x1af7
00001dc9: JUMP
00001dca: JUMPDEST
00001dcb: PUSH1 0x97
00001dcd: DUP1
00001dce: SLOAD
00001dcf: PUSH1 0xff
00001dd1: NOT
00001dd2: AND
00001dd3: PUSH1 0x01
00001dd5: OR
00001dd6: SWAP1
00001dd7: SSTORE
00001dd8: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00001df9: PUSH2 0x1da5
00001dfc: CALLER
00001dfd: SWAP1
00001dfe: JUMP
00001dff: JUMPDEST
00001e00: PUSH1 0x00
00001e02: SLOAD
00001e03: PUSH2 0x0100
00001e06: SWAP1
00001e07: DIV
00001e08: PUSH1 0xff
00001e0a: AND
00001e0b: PUSH2 0x0f30
00001e0e: JUMPI
00001e0f: PUSH1 0x40
00001e11: MLOAD
00001e12: PUSH3 0x461bcd
00001e16: PUSH1 0xe5
00001e18: SHL
00001e19: DUP2
00001e1a: MSTORE
00001e1b: PUSH1 0x20
00001e1d: PUSH1 0x04
00001e1f: DUP3
00001e20: ADD
00001e21: MSTORE
00001e22: PUSH1 0x2b
00001e24: PUSH1 0x24
00001e26: DUP3
00001e27: ADD
00001e28: MSTORE
00001e29: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00001e4a: PUSH1 0x44
00001e4c: DUP3
00001e4d: ADD
00001e4e: MSTORE
00001e4f: PUSH11 0x6e697469616c697a696e67
00001e5b: PUSH1 0xa8
00001e5d: SHL
00001e5e: PUSH1 0x64
00001e60: DUP3
00001e61: ADD
00001e62: MSTORE
00001e63: PUSH1 0x84
00001e65: ADD
00001e66: PUSH2 0x0a63
00001e69: JUMP
00001e6a: JUMPDEST
00001e6b: PUSH1 0x00
00001e6d: SLOAD
00001e6e: PUSH2 0x0100
00001e71: SWAP1
00001e72: DIV
00001e73: PUSH1 0xff
00001e75: AND
00001e76: PUSH2 0x1ed5
00001e79: JUMPI
00001e7a: PUSH1 0x40
00001e7c: MLOAD
00001e7d: PUSH3 0x461bcd
00001e81: PUSH1 0xe5
00001e83: SHL
00001e84: DUP2
00001e85: MSTORE
00001e86: PUSH1 0x20
00001e88: PUSH1 0x04
00001e8a: DUP3
00001e8b: ADD
00001e8c: MSTORE
00001e8d: PUSH1 0x2b
00001e8f: PUSH1 0x24
00001e91: DUP3
00001e92: ADD
00001e93: MSTORE
00001e94: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00001eb5: PUSH1 0x44
00001eb7: DUP3
00001eb8: ADD
00001eb9: MSTORE
00001eba: PUSH11 0x6e697469616c697a696e67
00001ec6: PUSH1 0xa8
00001ec8: SHL
00001ec9: PUSH1 0x64
00001ecb: DUP3
00001ecc: ADD
00001ecd: MSTORE
00001ece: PUSH1 0x84
00001ed0: ADD
00001ed1: PUSH2 0x0a63
00001ed4: JUMP
00001ed5: JUMPDEST
00001ed6: PUSH2 0x0f30
00001ed9: PUSH2 0x22fd
00001edc: JUMP
00001edd: JUMPDEST
00001ede: PUSH1 0x00
00001ee0: SLOAD
00001ee1: PUSH2 0x0100
00001ee4: SWAP1
00001ee5: DIV
00001ee6: PUSH1 0xff
00001ee8: AND
00001ee9: PUSH2 0x1f48
00001eec: JUMPI
00001eed: PUSH1 0x40
00001eef: MLOAD
00001ef0: PUSH3 0x461bcd
00001ef4: PUSH1 0xe5
00001ef6: SHL
00001ef7: DUP2
00001ef8: MSTORE
00001ef9: PUSH1 0x20
00001efb: PUSH1 0x04
00001efd: DUP3
00001efe: ADD
00001eff: MSTORE
00001f00: PUSH1 0x2b
00001f02: PUSH1 0x24
00001f04: DUP3
00001f05: ADD
00001f06: MSTORE
00001f07: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00001f28: PUSH1 0x44
00001f2a: DUP3
00001f2b: ADD
00001f2c: MSTORE
00001f2d: PUSH11 0x6e697469616c697a696e67
00001f39: PUSH1 0xa8
00001f3b: SHL
00001f3c: PUSH1 0x64
00001f3e: DUP3
00001f3f: ADD
00001f40: MSTORE
00001f41: PUSH1 0x84
00001f43: ADD
00001f44: PUSH2 0x0a63
00001f47: JUMP
00001f48: JUMPDEST
00001f49: PUSH2 0x0f30
00001f4c: PUSH2 0x2374
00001f4f: JUMP
00001f50: JUMPDEST
00001f51: PUSH1 0x00
00001f53: DUP3
00001f54: DUP2
00001f55: MSTORE
00001f56: PUSH1 0x65
00001f58: PUSH1 0x20
00001f5a: SWAP1
00001f5b: DUP2
00001f5c: MSTORE
00001f5d: PUSH1 0x40
00001f5f: DUP1
00001f60: DUP4
00001f61: KECCAK256
00001f62: PUSH1 0x01
00001f64: PUSH1 0x01
00001f66: PUSH1 0xa0
00001f68: SHL
00001f69: SUB
00001f6a: DUP6
00001f6b: AND
00001f6c: DUP5
00001f6d: MSTORE
00001f6e: SWAP1
00001f6f: SWAP2
00001f70: MSTORE
00001f71: SWAP1
00001f72: KECCAK256
00001f73: SLOAD
00001f74: PUSH1 0xff
00001f76: AND
00001f77: PUSH2 0x0c8c
00001f7a: JUMPI
00001f7b: PUSH1 0x00
00001f7d: DUP3
00001f7e: DUP2
00001f7f: MSTORE
00001f80: PUSH1 0x65
00001f82: PUSH1 0x20
00001f84: SWAP1
00001f85: DUP2
00001f86: MSTORE
00001f87: PUSH1 0x40
00001f89: DUP1
00001f8a: DUP4
00001f8b: KECCAK256
00001f8c: PUSH1 0x01
00001f8e: PUSH1 0x01
00001f90: PUSH1 0xa0
00001f92: SHL
00001f93: SUB
00001f94: DUP6
00001f95: AND
00001f96: DUP5
00001f97: MSTORE
00001f98: SWAP1
00001f99: SWAP2
00001f9a: MSTORE
00001f9b: SWAP1
00001f9c: KECCAK256
00001f9d: DUP1
00001f9e: SLOAD
00001f9f: PUSH1 0xff
00001fa1: NOT
00001fa2: AND
00001fa3: PUSH1 0x01
00001fa5: OR
00001fa6: SWAP1
00001fa7: SSTORE
00001fa8: PUSH2 0x1fae
00001fab: CALLER
00001fac: SWAP1
00001fad: JUMP
00001fae: JUMPDEST
00001faf: PUSH1 0x01
00001fb1: PUSH1 0x01
00001fb3: PUSH1 0xa0
00001fb5: SHL
00001fb6: SUB
00001fb7: AND
00001fb8: DUP2
00001fb9: PUSH1 0x01
00001fbb: PUSH1 0x01
00001fbd: PUSH1 0xa0
00001fbf: SHL
00001fc0: SUB
00001fc1: AND
00001fc2: DUP4
00001fc3: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
00001fe4: PUSH1 0x40
00001fe6: MLOAD
00001fe7: PUSH1 0x40
00001fe9: MLOAD
00001fea: DUP1
00001feb: SWAP2
00001fec: SUB
00001fed: SWAP1
00001fee: LOG4
00001fef: POP
00001ff0: POP
00001ff1: JUMP
00001ff2: JUMPDEST
00001ff3: PUSH1 0x00
00001ff5: DUP3
00001ff6: DUP2
00001ff7: MSTORE
00001ff8: PUSH1 0x65
00001ffa: PUSH1 0x20
00001ffc: MSTORE
00001ffd: PUSH1 0x40
00001fff: SWAP1
00002000: KECCAK256
00002001: PUSH1 0x01
00002003: ADD
00002004: SLOAD
00002005: PUSH2 0x200d
00002008: DUP2
00002009: PUSH2 0x187b
0000200c: JUMP
0000200d: JUMPDEST
0000200e: PUSH2 0x17fb
00002011: DUP4
00002012: DUP4
00002013: PUSH2 0x2228
00002016: JUMP
00002017: JUMPDEST
00002018: PUSH1 0x00
0000201a: DUP3
0000201b: DUP2
0000201c: MSTORE
0000201d: PUSH1 0x65
0000201f: PUSH1 0x20
00002021: SWAP1
00002022: DUP2
00002023: MSTORE
00002024: PUSH1 0x40
00002026: DUP1
00002027: DUP4
00002028: KECCAK256
00002029: PUSH1 0x01
0000202b: PUSH1 0x01
0000202d: PUSH1 0xa0
0000202f: SHL
00002030: SUB
00002031: DUP6
00002032: AND
00002033: DUP5
00002034: MSTORE
00002035: SWAP1
00002036: SWAP2
00002037: MSTORE
00002038: SWAP1
00002039: KECCAK256
0000203a: SLOAD
0000203b: PUSH1 0xff
0000203d: AND
0000203e: PUSH2 0x0c8c
00002041: JUMPI
00002042: PUSH2 0x204a
00002045: DUP2
00002046: PUSH2 0x23df
00002049: JUMP
0000204a: JUMPDEST
0000204b: PUSH2 0x2055
0000204e: DUP4
0000204f: PUSH1 0x20
00002051: PUSH2 0x23f1
00002054: JUMP
00002055: JUMPDEST
00002056: PUSH1 0x40
00002058: MLOAD
00002059: PUSH1 0x20
0000205b: ADD
0000205c: PUSH2 0x2066
0000205f: SWAP3
00002060: SWAP2
00002061: SWAP1
00002062: PUSH2 0x29a6
00002065: JUMP
00002066: JUMPDEST
00002067: PUSH1 0x40
00002069: DUP1
0000206a: MLOAD
0000206b: PUSH1 0x1f
0000206d: NOT
0000206e: DUP2
0000206f: DUP5
00002070: SUB
00002071: ADD
00002072: DUP2
00002073: MSTORE
00002074: SWAP1
00002075: DUP3
00002076: SWAP1
00002077: MSTORE
00002078: PUSH3 0x461bcd
0000207c: PUSH1 0xe5
0000207e: SHL
0000207f: DUP3
00002080: MSTORE
00002081: PUSH2 0x0a63
00002084: SWAP2
00002085: PUSH1 0x04
00002087: ADD
00002088: PUSH2 0x2a27
0000208b: JUMP
0000208c: JUMPDEST
0000208d: PUSH2 0x2094
00002090: PUSH2 0x1b4a
00002093: JUMP
00002094: JUMPDEST
00002095: PUSH1 0x40
00002097: DUP1
00002098: MLOAD
00002099: DUP5
0000209a: DUP2
0000209b: MSTORE
0000209c: PUSH1 0x20
0000209e: DUP2
0000209f: ADD
000020a0: DUP5
000020a1: SWAP1
000020a2: MSTORE
000020a3: SWAP1
000020a4: DUP2
000020a5: ADD
000020a6: DUP3
000020a7: SWAP1
000020a8: MSTORE
000020a9: PUSH1 0x01
000020ab: PUSH1 0x01
000020ad: PUSH1 0xa0
000020af: SHL
000020b0: SUB
000020b1: DUP6
000020b2: AND
000020b3: SWAP1
000020b4: PUSH32 0xd8bf868f50f15ddcb40ea47ab9da2d20bea22c85aab66bd452b025dc16b28dd1
000020d5: SWAP1
000020d6: PUSH1 0x60
000020d8: ADD
000020d9: PUSH1 0x40
000020db: MLOAD
000020dc: DUP1
000020dd: SWAP2
000020de: SUB
000020df: SWAP1
000020e0: LOG2
000020e1: PUSH2 0x20f3
000020e4: PUSH1 0x01
000020e6: PUSH1 0x01
000020e8: PUSH1 0xa0
000020ea: SHL
000020eb: SUB
000020ec: DUP6
000020ed: AND
000020ee: DUP3
000020ef: PUSH2 0x1ba3
000020f2: JUMP
000020f3: JUMPDEST
000020f4: PUSH2 0x168e
000020f7: PUSH1 0x01
000020f9: PUSH1 0xc9
000020fb: SSTORE
000020fc: JUMP
000020fd: JUMPDEST
000020fe: PUSH2 0x2105
00002101: PUSH2 0x1b4a
00002104: JUMP
00002105: JUMPDEST
00002106: DUP1
00002107: PUSH1 0x00
00002109: PUSH2 0x2112
0000210c: DUP3
0000210d: DUP6
0000210e: PUSH2 0x28f3
00002111: JUMP
00002112: JUMPDEST
00002113: SWAP1
00002114: POP
00002115: PUSH1 0x00
00002117: PUSH2 0x2120
0000211a: DUP9
0000211b: DUP4
0000211c: PUSH2 0x25d9
0000211f: JUMP
00002120: JUMPDEST
00002121: SWAP1
00002122: POP
00002123: DUP8
00002124: PUSH1 0x01
00002126: PUSH1 0x01
00002128: PUSH1 0xa0
0000212a: SHL
0000212b: SUB
0000212c: AND
0000212d: PUSH32 0x5fe4ed9ce6a6d20e48df0ec6e0a077d2040e70627d84645eea00920e3aff485d
0000214e: DUP3
0000214f: DUP10
00002150: DUP10
00002151: DUP8
00002152: DUP8
00002153: PUSH2 0x215a
00002156: PUSH2 0x1800
00002159: JUMP
0000215a: JUMPDEST
0000215b: PUSH1 0x40
0000215d: DUP1
0000215e: MLOAD
0000215f: SWAP7
00002160: DUP8
00002161: MSTORE
00002162: PUSH1 0x20
00002164: DUP8
00002165: ADD
00002166: SWAP6
00002167: SWAP1
00002168: SWAP6
00002169: MSTORE
0000216a: SWAP4
0000216b: DUP6
0000216c: ADD
0000216d: SWAP3
0000216e: SWAP1
0000216f: SWAP3
00002170: MSTORE
00002171: PUSH1 0x60
00002173: DUP5
00002174: ADD
00002175: MSTORE
00002176: PUSH1 0x80
00002178: DUP4
00002179: ADD
0000217a: MSTORE
0000217b: PUSH1 0xa0
0000217d: DUP3
0000217e: ADD
0000217f: MSTORE
00002180: PUSH1 0xc0
00002182: ADD
00002183: PUSH1 0x40
00002185: MLOAD
00002186: DUP1
00002187: SWAP2
00002188: SUB
00002189: SWAP1
0000218a: LOG2
0000218b: PUSH2 0x219d
0000218e: PUSH1 0x01
00002190: PUSH1 0x01
00002192: PUSH1 0xa0
00002194: SHL
00002195: SUB
00002196: DUP10
00002197: AND
00002198: DUP5
00002199: PUSH2 0x1ba3
0000219c: JUMP
0000219d: JUMPDEST
0000219e: POP
0000219f: POP
000021a0: POP
000021a1: PUSH2 0x21aa
000021a4: PUSH1 0x01
000021a6: PUSH1 0xc9
000021a8: SSTORE
000021a9: JUMP
000021aa: JUMPDEST
000021ab: POP
000021ac: POP
000021ad: POP
000021ae: POP
000021af: POP
000021b0: JUMP
000021b1: JUMPDEST
000021b2: PUSH1 0x00
000021b4: PUSH2 0x21bd
000021b7: DUP6
000021b8: DUP4
000021b9: PUSH2 0x25d9
000021bc: JUMP
000021bd: JUMPDEST
000021be: SWAP1
000021bf: POP
000021c0: DUP5
000021c1: PUSH1 0x01
000021c3: PUSH1 0x01
000021c5: PUSH1 0xa0
000021c7: SHL
000021c8: SUB
000021c9: AND
000021ca: PUSH32 0x7090f70bd4afd5b45b486b6a0df04e33626a4b9a8bc0efc2e80bea5e0f8e77df
000021eb: DUP3
000021ec: DUP7
000021ed: DUP7
000021ee: DUP7
000021ef: PUSH2 0x21f6
000021f2: PUSH2 0x1800
000021f5: JUMP
000021f6: JUMPDEST
000021f7: PUSH1 0x40
000021f9: DUP1
000021fa: MLOAD
000021fb: SWAP6
000021fc: DUP7
000021fd: MSTORE
000021fe: PUSH1 0x20
00002200: DUP7
00002201: ADD
00002202: SWAP5
00002203: SWAP1
00002204: SWAP5
00002205: MSTORE
00002206: SWAP3
00002207: DUP5
00002208: ADD
00002209: SWAP2
0000220a: SWAP1
0000220b: SWAP2
0000220c: MSTORE
0000220d: PUSH1 0x60
0000220f: DUP4
00002210: ADD
00002211: MSTORE
00002212: PUSH1 0x80
00002214: DUP3
00002215: ADD
00002216: MSTORE
00002217: PUSH1 0xa0
00002219: ADD
0000221a: PUSH1 0x40
0000221c: MLOAD
0000221d: DUP1
0000221e: SWAP2
0000221f: SUB
00002220: SWAP1
00002221: LOG2
00002222: POP
00002223: POP
00002224: POP
00002225: POP
00002226: POP
00002227: JUMP
00002228: JUMPDEST
00002229: PUSH1 0x00
0000222b: DUP3
0000222c: DUP2
0000222d: MSTORE
0000222e: PUSH1 0x65
00002230: PUSH1 0x20
00002232: SWAP1
00002233: DUP2
00002234: MSTORE
00002235: PUSH1 0x40
00002237: DUP1
00002238: DUP4
00002239: KECCAK256
0000223a: PUSH1 0x01
0000223c: PUSH1 0x01
0000223e: PUSH1 0xa0
00002240: SHL
00002241: SUB
00002242: DUP6
00002243: AND
00002244: DUP5
00002245: MSTORE
00002246: SWAP1
00002247: SWAP2
00002248: MSTORE
00002249: SWAP1
0000224a: KECCAK256
0000224b: SLOAD
0000224c: PUSH1 0xff
0000224e: AND
0000224f: ISZERO
00002250: PUSH2 0x0c8c
00002253: JUMPI
00002254: PUSH1 0x00
00002256: DUP3
00002257: DUP2
00002258: MSTORE
00002259: PUSH1 0x65
0000225b: PUSH1 0x20
0000225d: SWAP1
0000225e: DUP2
0000225f: MSTORE
00002260: PUSH1 0x40
00002262: DUP1
00002263: DUP4
00002264: KECCAK256
00002265: PUSH1 0x01
00002267: PUSH1 0x01
00002269: PUSH1 0xa0
0000226b: SHL
0000226c: SUB
0000226d: DUP6
0000226e: AND
0000226f: DUP1
00002270: DUP6
00002271: MSTORE
00002272: SWAP3
00002273: MSTORE
00002274: DUP1
00002275: DUP4
00002276: KECCAK256
00002277: DUP1
00002278: SLOAD
00002279: PUSH1 0xff
0000227b: NOT
0000227c: AND
0000227d: SWAP1
0000227e: SSTORE
0000227f: MLOAD
00002280: CALLER
00002281: SWAP3
00002282: DUP6
00002283: SWAP2
00002284: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
000022a5: SWAP2
000022a6: SWAP1
000022a7: LOG4
000022a8: POP
000022a9: POP
000022aa: JUMP
000022ab: JUMPDEST
000022ac: PUSH1 0x97
000022ae: SLOAD
000022af: PUSH1 0xff
000022b1: AND
000022b2: PUSH2 0x0f30
000022b5: JUMPI
000022b6: PUSH1 0x40
000022b8: MLOAD
000022b9: PUSH3 0x461bcd
000022bd: PUSH1 0xe5
000022bf: SHL
000022c0: DUP2
000022c1: MSTORE
000022c2: PUSH1 0x20
000022c4: PUSH1 0x04
000022c6: DUP3
000022c7: ADD
000022c8: MSTORE
000022c9: PUSH1 0x14
000022cb: PUSH1 0x24
000022cd: DUP3
000022ce: ADD
000022cf: MSTORE
000022d0: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000
000022f1: PUSH1 0x44
000022f3: DUP3
000022f4: ADD
000022f5: MSTORE
000022f6: PUSH1 0x64
000022f8: ADD
000022f9: PUSH2 0x0a63
000022fc: JUMP
000022fd: JUMPDEST
000022fe: PUSH1 0x00
00002300: SLOAD
00002301: PUSH2 0x0100
00002304: SWAP1
00002305: DIV
00002306: PUSH1 0xff
00002308: AND
00002309: PUSH2 0x2368
0000230c: JUMPI
0000230d: PUSH1 0x40
0000230f: MLOAD
00002310: PUSH3 0x461bcd
00002314: PUSH1 0xe5
00002316: SHL
00002317: DUP2
00002318: MSTORE
00002319: PUSH1 0x20
0000231b: PUSH1 0x04
0000231d: DUP3
0000231e: ADD
0000231f: MSTORE
00002320: PUSH1 0x2b
00002322: PUSH1 0x24
00002324: DUP3
00002325: ADD
00002326: MSTORE
00002327: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00002348: PUSH1 0x44
0000234a: DUP3
0000234b: ADD
0000234c: MSTORE
0000234d: PUSH11 0x6e697469616c697a696e67
00002359: PUSH1 0xa8
0000235b: SHL
0000235c: PUSH1 0x64
0000235e: DUP3
0000235f: ADD
00002360: MSTORE
00002361: PUSH1 0x84
00002363: ADD
00002364: PUSH2 0x0a63
00002367: JUMP
00002368: JUMPDEST
00002369: PUSH1 0x97
0000236b: DUP1
0000236c: SLOAD
0000236d: PUSH1 0xff
0000236f: NOT
00002370: AND
00002371: SWAP1
00002372: SSTORE
00002373: JUMP
00002374: JUMPDEST
00002375: PUSH1 0x00
00002377: SLOAD
00002378: PUSH2 0x0100
0000237b: SWAP1
0000237c: DIV
0000237d: PUSH1 0xff
0000237f: AND
00002380: PUSH2 0x1cbc
00002383: JUMPI
00002384: PUSH1 0x40
00002386: MLOAD
00002387: PUSH3 0x461bcd
0000238b: PUSH1 0xe5
0000238d: SHL
0000238e: DUP2
0000238f: MSTORE
00002390: PUSH1 0x20
00002392: PUSH1 0x04
00002394: DUP3
00002395: ADD
00002396: MSTORE
00002397: PUSH1 0x2b
00002399: PUSH1 0x24
0000239b: DUP3
0000239c: ADD
0000239d: MSTORE
0000239e: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
000023bf: PUSH1 0x44
000023c1: DUP3
000023c2: ADD
000023c3: MSTORE
000023c4: PUSH11 0x6e697469616c697a696e67
000023d0: PUSH1 0xa8
000023d2: SHL
000023d3: PUSH1 0x64
000023d5: DUP3
000023d6: ADD
000023d7: MSTORE
000023d8: PUSH1 0x84
000023da: ADD
000023db: PUSH2 0x0a63
000023de: JUMP
000023df: JUMPDEST
000023e0: PUSH1 0x60
000023e2: PUSH2 0x088d
000023e5: PUSH1 0x01
000023e7: PUSH1 0x01
000023e9: PUSH1 0xa0
000023eb: SHL
000023ec: SUB
000023ed: DUP4
000023ee: AND
000023ef: PUSH1 0x14
000023f1: JUMPDEST
000023f2: PUSH1 0x60
000023f4: PUSH1 0x00
000023f6: PUSH2 0x2400
000023f9: DUP4
000023fa: PUSH1 0x02
000023fc: PUSH2 0x2941
000023ff: JUMP
00002400: JUMPDEST
00002401: PUSH2 0x240b
00002404: SWAP1
00002405: PUSH1 0x02
00002407: PUSH2 0x28e0
0000240a: JUMP
0000240b: JUMPDEST
0000240c: PUSH8 0xffffffffffffffff
00002415: DUP2
00002416: GT
00002417: ISZERO
00002418: PUSH2 0x2423
0000241b: JUMPI
0000241c: PUSH2 0x2423
0000241f: PUSH2 0x2a5a
00002422: JUMP
00002423: JUMPDEST
00002424: PUSH1 0x40
00002426: MLOAD
00002427: SWAP1
00002428: DUP1
00002429: DUP3
0000242a: MSTORE
0000242b: DUP1
0000242c: PUSH1 0x1f
0000242e: ADD
0000242f: PUSH1 0x1f
00002431: NOT
00002432: AND
00002433: PUSH1 0x20
00002435: ADD
00002436: DUP3
00002437: ADD
00002438: PUSH1 0x40
0000243a: MSTORE
0000243b: DUP1
0000243c: ISZERO
0000243d: PUSH2 0x244d
00002440: JUMPI
00002441: PUSH1 0x20
00002443: DUP3
00002444: ADD
00002445: DUP2
00002446: DUP1
00002447: CALLDATASIZE
00002448: DUP4
00002449: CALLDATACOPY
0000244a: ADD
0000244b: SWAP1
0000244c: POP
0000244d: JUMPDEST
0000244e: POP
0000244f: SWAP1
00002450: POP
00002451: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00002472: DUP2
00002473: PUSH1 0x00
00002475: DUP2
00002476: MLOAD
00002477: DUP2
00002478: LT
00002479: PUSH2 0x2484
0000247c: JUMPI
0000247d: PUSH2 0x2484
00002480: PUSH2 0x2a70
00002483: JUMP
00002484: JUMPDEST
00002485: PUSH1 0x20
00002487: ADD
00002488: ADD
00002489: SWAP1
0000248a: PUSH1 0x01
0000248c: PUSH1 0x01
0000248e: PUSH1 0xf8
00002490: SHL
00002491: SUB
00002492: NOT
00002493: AND
00002494: SWAP1
00002495: DUP2
00002496: PUSH1 0x00
00002498: BYTE
00002499: SWAP1
0000249a: MSTORE8
0000249b: POP
0000249c: PUSH32 0x7800000000000000000000000000000000000000000000000000000000000000
000024bd: DUP2
000024be: PUSH1 0x01
000024c0: DUP2
000024c1: MLOAD
000024c2: DUP2
000024c3: LT
000024c4: PUSH2 0x24cf
000024c7: JUMPI
000024c8: PUSH2 0x24cf
000024cb: PUSH2 0x2a70
000024ce: JUMP
000024cf: JUMPDEST
000024d0: PUSH1 0x20
000024d2: ADD
000024d3: ADD
000024d4: SWAP1
000024d5: PUSH1 0x01
000024d7: PUSH1 0x01
000024d9: PUSH1 0xf8
000024db: SHL
000024dc: SUB
000024dd: NOT
000024de: AND
000024df: SWAP1
000024e0: DUP2
000024e1: PUSH1 0x00
000024e3: BYTE
000024e4: SWAP1
000024e5: MSTORE8
000024e6: POP
000024e7: PUSH1 0x00
000024e9: PUSH2 0x24f3
000024ec: DUP5
000024ed: PUSH1 0x02
000024ef: PUSH2 0x2941
000024f2: JUMP
000024f3: JUMPDEST
000024f4: PUSH2 0x24fe
000024f7: SWAP1
000024f8: PUSH1 0x01
000024fa: PUSH2 0x28e0
000024fd: JUMP
000024fe: JUMPDEST
000024ff: SWAP1
00002500: POP
00002501: JUMPDEST
00002502: PUSH1 0x01
00002504: DUP2
00002505: GT
00002506: ISZERO
00002507: PUSH2 0x2583
0000250a: JUMPI
0000250b: PUSH32 0x3031323334353637383961626364656600000000000000000000000000000000
0000252c: DUP6
0000252d: PUSH1 0x0f
0000252f: AND
00002530: PUSH1 0x10
00002532: DUP2
00002533: LT
00002534: PUSH2 0x253f
00002537: JUMPI
00002538: PUSH2 0x253f
0000253b: PUSH2 0x2a70
0000253e: JUMP
0000253f: JUMPDEST
00002540: BYTE
00002541: PUSH1 0xf8
00002543: SHL
00002544: DUP3
00002545: DUP3
00002546: DUP2
00002547: MLOAD
00002548: DUP2
00002549: LT
0000254a: PUSH2 0x2555
0000254d: JUMPI
0000254e: PUSH2 0x2555
00002551: PUSH2 0x2a70
00002554: JUMP
00002555: JUMPDEST
00002556: PUSH1 0x20
00002558: ADD
00002559: ADD
0000255a: SWAP1
0000255b: PUSH1 0x01
0000255d: PUSH1 0x01
0000255f: PUSH1 0xf8
00002561: SHL
00002562: SUB
00002563: NOT
00002564: AND
00002565: SWAP1
00002566: DUP2
00002567: PUSH1 0x00
00002569: BYTE
0000256a: SWAP1
0000256b: MSTORE8
0000256c: POP
0000256d: PUSH1 0x04
0000256f: SWAP5
00002570: SWAP1
00002571: SWAP5
00002572: SHR
00002573: SWAP4
00002574: PUSH2 0x257c
00002577: DUP2
00002578: PUSH2 0x2a86
0000257b: JUMP
0000257c: JUMPDEST
0000257d: SWAP1
0000257e: POP
0000257f: PUSH2 0x2501
00002582: JUMP
00002583: JUMPDEST
00002584: POP
00002585: DUP4
00002586: ISZERO
00002587: PUSH2 0x25d2
0000258a: JUMPI
0000258b: PUSH1 0x40
0000258d: MLOAD
0000258e: PUSH3 0x461bcd
00002592: PUSH1 0xe5
00002594: SHL
00002595: DUP2
00002596: MSTORE
00002597: PUSH1 0x20
00002599: PUSH1 0x04
0000259b: DUP3
0000259c: ADD
0000259d: DUP2
0000259e: SWAP1
0000259f: MSTORE
000025a0: PUSH1 0x24
000025a2: DUP3
000025a3: ADD
000025a4: MSTORE
000025a5: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74
000025c6: PUSH1 0x44
000025c8: DUP3
000025c9: ADD
000025ca: MSTORE
000025cb: PUSH1 0x64
000025cd: ADD
000025ce: PUSH2 0x0a63
000025d1: JUMP
000025d2: JUMPDEST
000025d3: SWAP4
000025d4: SWAP3
000025d5: POP
000025d6: POP
000025d7: POP
000025d8: JUMP
000025d9: JUMPDEST
000025da: PUSH1 0x00
000025dc: DUP1
000025dd: PUSH2 0x25e4
000025e0: PUSH2 0x1291
000025e3: JUMP
000025e4: JUMPDEST
000025e5: SWAP1
000025e6: POP
000025e7: PUSH2 0x25f5
000025ea: PUSH2 0x0500
000025ed: DUP1
000025ee: SLOAD
000025ef: PUSH1 0x01
000025f1: ADD
000025f2: SWAP1
000025f3: SSTORE
000025f4: JUMP
000025f5: JUMPDEST
000025f6: DUP3
000025f7: PUSH2 0x0502
000025fa: PUSH1 0x00
000025fc: DUP3
000025fd: DUP3
000025fe: SLOAD
000025ff: PUSH2 0x2608
00002602: SWAP2
00002603: SWAP1
00002604: PUSH2 0x28e0
00002607: JUMP
00002608: JUMPDEST
00002609: SWAP1
0000260a: SWAP2
0000260b: SSTORE
0000260c: POP
0000260d: POP
0000260e: PUSH1 0x40
00002610: DUP1
00002611: MLOAD
00002612: PUSH1 0x60
00002614: DUP2
00002615: ADD
00002616: DUP3
00002617: MSTORE
00002618: PUSH2 0x0502
0000261b: SLOAD
0000261c: DUP2
0000261d: MSTORE
0000261e: PUSH1 0x20
00002620: DUP1
00002621: DUP3
00002622: ADD
00002623: SWAP6
00002624: DUP7
00002625: MSTORE
00002626: PUSH1 0x01
00002628: PUSH1 0x01
0000262a: PUSH1 0xa0
0000262c: SHL
0000262d: SUB
0000262e: SWAP7
0000262f: DUP8
00002630: AND
00002631: DUP3
00002632: DUP5
00002633: ADD
00002634: SWAP1
00002635: DUP2
00002636: MSTORE
00002637: PUSH1 0x00
00002639: DUP6
0000263a: DUP2
0000263b: MSTORE
0000263c: PUSH2 0x0505
0000263f: SWAP1
00002640: SWAP3
00002641: MSTORE
00002642: SWAP3
00002643: SWAP1
00002644: KECCAK256
00002645: SWAP1
00002646: MLOAD
00002647: DUP2
00002648: SSTORE
00002649: SWAP4
0000264a: MLOAD
0000264b: PUSH1 0x01
0000264d: DUP6
0000264e: ADD
0000264f: SSTORE
00002650: MLOAD
00002651: PUSH1 0x02
00002653: SWAP1
00002654: SWAP4
00002655: ADD
00002656: DUP1
00002657: SLOAD
00002658: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000266d: NOT
0000266e: AND
0000266f: SWAP4
00002670: SWAP1
00002671: SWAP5
00002672: AND
00002673: SWAP3
00002674: SWAP1
00002675: SWAP3
00002676: OR
00002677: SWAP1
00002678: SWAP3
00002679: SSTORE
0000267a: SWAP2
0000267b: SWAP1
0000267c: POP
0000267d: JUMP
0000267e: JUMPDEST
0000267f: PUSH1 0x00
00002681: PUSH1 0x20
00002683: DUP3
00002684: DUP5
00002685: SUB
00002686: SLT
00002687: ISZERO
00002688: PUSH2 0x2690
0000268b: JUMPI
0000268c: PUSH1 0x00
0000268e: DUP1
0000268f: REVERT
00002690: JUMPDEST
00002691: DUP2
00002692: CALLDATALOAD
00002693: PUSH1 0x01
00002695: PUSH1 0x01
00002697: PUSH1 0xe0
00002699: SHL
0000269a: SUB
0000269b: NOT
0000269c: DUP2
0000269d: AND
0000269e: DUP2
0000269f: EQ
000026a0: PUSH2 0x25d2
000026a3: JUMPI
000026a4: PUSH1 0x00
000026a6: DUP1
000026a7: REVERT
000026a8: JUMPDEST
000026a9: DUP1
000026aa: CALLDATALOAD
000026ab: PUSH1 0x01
000026ad: PUSH1 0x01
000026af: PUSH1 0xa0
000026b1: SHL
000026b2: SUB
000026b3: DUP2
000026b4: AND
000026b5: DUP2
000026b6: EQ
000026b7: PUSH2 0x26bf
000026ba: JUMPI
000026bb: PUSH1 0x00
000026bd: DUP1
000026be: REVERT
000026bf: JUMPDEST
000026c0: SWAP2
000026c1: SWAP1
000026c2: POP
000026c3: JUMP
000026c4: JUMPDEST
000026c5: DUP1
000026c6: CALLDATALOAD
000026c7: PUSH1 0xff
000026c9: DUP2
000026ca: AND
000026cb: DUP2
000026cc: EQ
000026cd: PUSH2 0x26bf
000026d0: JUMPI
000026d1: PUSH1 0x00
000026d3: DUP1
000026d4: REVERT
000026d5: JUMPDEST
000026d6: PUSH1 0x00
000026d8: DUP1
000026d9: PUSH1 0x00
000026db: DUP1
000026dc: PUSH1 0x00
000026de: DUP1
000026df: PUSH1 0x00
000026e1: DUP1
000026e2: PUSH1 0x00
000026e4: DUP1
000026e5: PUSH2 0x0140
000026e8: DUP12
000026e9: DUP14
000026ea: SUB
000026eb: SLT
000026ec: ISZERO
000026ed: PUSH2 0x26f5
000026f0: JUMPI
000026f1: PUSH1 0x00
000026f3: DUP1
000026f4: REVERT
000026f5: JUMPDEST
000026f6: PUSH2 0x26fe
000026f9: DUP12
000026fa: PUSH2 0x26a8
000026fd: JUMP
000026fe: JUMPDEST
000026ff: SWAP10
00002700: POP
00002701: PUSH1 0x20
00002703: DUP12
00002704: ADD
00002705: CALLDATALOAD
00002706: SWAP9
00002707: POP
00002708: PUSH2 0x2713
0000270b: PUSH1 0x40
0000270d: DUP13
0000270e: ADD
0000270f: PUSH2 0x26c4
00002712: JUMP
00002713: JUMPDEST
00002714: SWAP8
00002715: POP
00002716: PUSH1 0x60
00002718: DUP12
00002719: ADD
0000271a: CALLDATALOAD
0000271b: SWAP7
0000271c: POP
0000271d: PUSH1 0x80
0000271f: DUP12
00002720: ADD
00002721: CALLDATALOAD
00002722: SWAP6
00002723: POP
00002724: PUSH2 0x272f
00002727: PUSH1 0xa0
00002729: DUP13
0000272a: ADD
0000272b: PUSH2 0x26c4
0000272e: JUMP
0000272f: JUMPDEST
00002730: SWAP5
00002731: POP
00002732: PUSH1 0xc0
00002734: DUP12
00002735: ADD
00002736: CALLDATALOAD
00002737: SWAP4
00002738: POP
00002739: PUSH1 0xe0
0000273b: DUP12
0000273c: ADD
0000273d: CALLDATALOAD
0000273e: SWAP3
0000273f: POP
00002740: PUSH2 0x0100
00002743: DUP12
00002744: ADD
00002745: CALLDATALOAD
00002746: SWAP2
00002747: POP
00002748: PUSH2 0x0120
0000274b: DUP12
0000274c: ADD
0000274d: CALLDATALOAD
0000274e: SWAP1
0000274f: POP
00002750: SWAP3
00002751: SWAP6
00002752: SWAP9
00002753: SWAP12
00002754: SWAP2
00002755: SWAP5
00002756: SWAP8
00002757: SWAP11
00002758: POP
00002759: SWAP3
0000275a: SWAP6
0000275b: SWAP9
0000275c: POP
0000275d: JUMP
0000275e: JUMPDEST
0000275f: PUSH1 0x00
00002761: DUP1
00002762: PUSH1 0x00
00002764: DUP1
00002765: PUSH1 0x00
00002767: DUP1
00002768: PUSH1 0x00
0000276a: DUP1
0000276b: PUSH2 0x0100
0000276e: DUP10
0000276f: DUP12
00002770: SUB
00002771: SLT
00002772: ISZERO
00002773: PUSH2 0x277b
00002776: JUMPI
00002777: PUSH1 0x00
00002779: DUP1
0000277a: REVERT
0000277b: JUMPDEST
0000277c: PUSH2 0x2784
0000277f: DUP10
00002780: PUSH2 0x26a8
00002783: JUMP
00002784: JUMPDEST
00002785: SWAP8
00002786: POP
00002787: PUSH1 0x20
00002789: DUP10
0000278a: ADD
0000278b: CALLDATALOAD
0000278c: SWAP7
0000278d: POP
0000278e: PUSH2 0x2799
00002791: PUSH1 0x40
00002793: DUP11
00002794: ADD
00002795: PUSH2 0x26c4
00002798: JUMP
00002799: JUMPDEST
0000279a: SWAP6
0000279b: POP
0000279c: PUSH1 0x60
0000279e: DUP10
0000279f: ADD
000027a0: CALLDATALOAD
000027a1: SWAP5
000027a2: POP
000027a3: PUSH1 0x80
000027a5: DUP10
000027a6: ADD
000027a7: CALLDATALOAD
000027a8: SWAP4
000027a9: POP
000027aa: PUSH2 0x27b5
000027ad: PUSH1 0xa0
000027af: DUP11
000027b0: ADD
000027b1: PUSH2 0x26c4
000027b4: JUMP
000027b5: JUMPDEST
000027b6: SWAP3
000027b7: POP
000027b8: PUSH1 0xc0
000027ba: DUP10
000027bb: ADD
000027bc: CALLDATALOAD
000027bd: SWAP2
000027be: POP
000027bf: PUSH1 0xe0
000027c1: DUP10
000027c2: ADD
000027c3: CALLDATALOAD
000027c4: SWAP1
000027c5: POP
000027c6: SWAP3
000027c7: SWAP6
000027c8: SWAP9
000027c9: POP
000027ca: SWAP3
000027cb: SWAP6
000027cc: SWAP9
000027cd: SWAP1
000027ce: SWAP4
000027cf: SWAP7
000027d0: POP
000027d1: JUMP
000027d2: JUMPDEST
000027d3: PUSH1 0x00
000027d5: PUSH1 0x20
000027d7: DUP3
000027d8: DUP5
000027d9: SUB
000027da: SLT
000027db: ISZERO
000027dc: PUSH2 0x27e4
000027df: JUMPI
000027e0: PUSH1 0x00
000027e2: DUP1
000027e3: REVERT
000027e4: JUMPDEST
000027e5: POP
000027e6: CALLDATALOAD
000027e7: SWAP2
000027e8: SWAP1
000027e9: POP
000027ea: JUMP
000027eb: JUMPDEST
000027ec: PUSH1 0x00
000027ee: DUP1
000027ef: PUSH1 0x40
000027f1: DUP4
000027f2: DUP6
000027f3: SUB
000027f4: SLT
000027f5: ISZERO
000027f6: PUSH2 0x27fe
000027f9: JUMPI
000027fa: PUSH1 0x00
000027fc: DUP1
000027fd: REVERT
000027fe: JUMPDEST
000027ff: DUP3
00002800: CALLDATALOAD
00002801: SWAP2
00002802: POP
00002803: PUSH2 0x280e
00002806: PUSH1 0x20
00002808: DUP5
00002809: ADD
0000280a: PUSH2 0x26a8
0000280d: JUMP
0000280e: JUMPDEST
0000280f: SWAP1
00002810: POP
00002811: SWAP3
00002812: POP
00002813: SWAP3
00002814: SWAP1
00002815: POP
00002816: JUMP
00002817: JUMPDEST
00002818: PUSH1 0x00
0000281a: DUP1
0000281b: PUSH1 0x40
0000281d: DUP4
0000281e: DUP6
0000281f: SUB
00002820: SLT
00002821: ISZERO
00002822: PUSH2 0x282a
00002825: JUMPI
00002826: PUSH1 0x00
00002828: DUP1
00002829: REVERT
0000282a: JUMPDEST
0000282b: POP
0000282c: POP
0000282d: DUP1
0000282e: CALLDATALOAD
0000282f: SWAP3
00002830: PUSH1 0x20
00002832: SWAP1
00002833: SWAP2
00002834: ADD
00002835: CALLDATALOAD
00002836: SWAP2
00002837: POP
00002838: JUMP
00002839: JUMPDEST
0000283a: PUSH1 0x00
0000283c: PUSH1 0x20
0000283e: DUP3
0000283f: DUP5
00002840: SUB
00002841: SLT
00002842: ISZERO
00002843: PUSH2 0x284b
00002846: JUMPI
00002847: PUSH1 0x00
00002849: DUP1
0000284a: REVERT
0000284b: JUMPDEST
0000284c: PUSH2 0x25d2
0000284f: DUP3
00002850: PUSH2 0x26a8
00002853: JUMP
00002854: JUMPDEST
00002855: PUSH1 0x00
00002857: DUP1
00002858: PUSH1 0x00
0000285a: PUSH1 0x60
0000285c: DUP5
0000285d: DUP7
0000285e: SUB
0000285f: SLT
00002860: ISZERO
00002861: PUSH2 0x2869
00002864: JUMPI
00002865: PUSH1 0x00
00002867: DUP1
00002868: REVERT
00002869: JUMPDEST
0000286a: PUSH2 0x2872
0000286d: DUP5
0000286e: PUSH2 0x26a8
00002871: JUMP
00002872: JUMPDEST
00002873: SWAP3
00002874: POP
00002875: PUSH2 0x2880
00002878: PUSH1 0x20
0000287a: DUP6
0000287b: ADD
0000287c: PUSH2 0x26a8
0000287f: JUMP
00002880: JUMPDEST
00002881: SWAP2
00002882: POP
00002883: PUSH2 0x288e
00002886: PUSH1 0x40
00002888: DUP6
00002889: ADD
0000288a: PUSH2 0x26a8
0000288d: JUMP
0000288e: JUMPDEST
0000288f: SWAP1
00002890: POP
00002891: SWAP3
00002892: POP
00002893: SWAP3
00002894: POP
00002895: SWAP3
00002896: JUMP
00002897: JUMPDEST
00002898: PUSH1 0x00
0000289a: DUP1
0000289b: PUSH1 0x00
0000289d: PUSH1 0x60
0000289f: DUP5
000028a0: DUP7
000028a1: SUB
000028a2: SLT
000028a3: ISZERO
000028a4: PUSH2 0x28ac
000028a7: JUMPI
000028a8: PUSH1 0x00
000028aa: DUP1
000028ab: REVERT
000028ac: JUMPDEST
000028ad: PUSH2 0x28b5
000028b0: DUP5
000028b1: PUSH2 0x26a8
000028b4: JUMP
000028b5: JUMPDEST
000028b6: SWAP6
000028b7: PUSH1 0x20
000028b9: DUP6
000028ba: ADD
000028bb: CALLDATALOAD
000028bc: SWAP6
000028bd: POP
000028be: PUSH1 0x40
000028c0: SWAP1
000028c1: SWAP5
000028c2: ADD
000028c3: CALLDATALOAD
000028c4: SWAP4
000028c5: SWAP3
000028c6: POP
000028c7: POP
000028c8: POP
000028c9: JUMP
000028ca: JUMPDEST
000028cb: PUSH4 0x4e487b71
000028d0: PUSH1 0xe0
000028d2: SHL
000028d3: PUSH1 0x00
000028d5: MSTORE
000028d6: PUSH1 0x11
000028d8: PUSH1 0x04
000028da: MSTORE
000028db: PUSH1 0x24
000028dd: PUSH1 0x00
000028df: REVERT
000028e0: JUMPDEST
000028e1: DUP1
000028e2: DUP3
000028e3: ADD
000028e4: DUP1
000028e5: DUP3
000028e6: GT
000028e7: ISZERO
000028e8: PUSH2 0x088d
000028eb: JUMPI
000028ec: PUSH2 0x088d
000028ef: PUSH2 0x28ca
000028f2: JUMP
000028f3: JUMPDEST
000028f4: DUP2
000028f5: DUP2
000028f6: SUB
000028f7: DUP2
000028f8: DUP2
000028f9: GT
000028fa: ISZERO
000028fb: PUSH2 0x088d
000028fe: JUMPI
000028ff: PUSH2 0x088d
00002902: PUSH2 0x28ca
00002905: JUMP
00002906: JUMPDEST
00002907: PUSH1 0x00
00002909: PUSH1 0x20
0000290b: DUP3
0000290c: DUP5
0000290d: SUB
0000290e: SLT
0000290f: ISZERO
00002910: PUSH2 0x2918
00002913: JUMPI
00002914: PUSH1 0x00
00002916: DUP1
00002917: REVERT
00002918: JUMPDEST
00002919: POP
0000291a: MLOAD
0000291b: SWAP2
0000291c: SWAP1
0000291d: POP
0000291e: JUMP
0000291f: JUMPDEST
00002920: PUSH1 0x00
00002922: PUSH1 0x20
00002924: DUP3
00002925: DUP5
00002926: SUB
00002927: SLT
00002928: ISZERO
00002929: PUSH2 0x2931
0000292c: JUMPI
0000292d: PUSH1 0x00
0000292f: DUP1
00002930: REVERT
00002931: JUMPDEST
00002932: DUP2
00002933: MLOAD
00002934: DUP1
00002935: ISZERO
00002936: ISZERO
00002937: DUP2
00002938: EQ
00002939: PUSH2 0x25d2
0000293c: JUMPI
0000293d: PUSH1 0x00
0000293f: DUP1
00002940: REVERT
00002941: JUMPDEST
00002942: PUSH1 0x00
00002944: DUP2
00002945: PUSH1 0x00
00002947: NOT
00002948: DIV
00002949: DUP4
0000294a: GT
0000294b: DUP3
0000294c: ISZERO
0000294d: ISZERO
0000294e: AND
0000294f: ISZERO
00002950: PUSH2 0x295b
00002953: JUMPI
00002954: PUSH2 0x295b
00002957: PUSH2 0x28ca
0000295a: JUMP
0000295b: JUMPDEST
0000295c: POP
0000295d: MUL
0000295e: SWAP1
0000295f: JUMP
00002960: JUMPDEST
00002961: PUSH1 0x00
00002963: DUP3
00002964: PUSH2 0x297d
00002967: JUMPI
00002968: PUSH4 0x4e487b71
0000296d: PUSH1 0xe0
0000296f: SHL
00002970: PUSH1 0x00
00002972: MSTORE
00002973: PUSH1 0x12
00002975: PUSH1 0x04
00002977: MSTORE
00002978: PUSH1 0x24
0000297a: PUSH1 0x00
0000297c: REVERT
0000297d: JUMPDEST
0000297e: POP
0000297f: DIV
00002980: SWAP1
00002981: JUMP
00002982: JUMPDEST
00002983: PUSH1 0x00
00002985: JUMPDEST
00002986: DUP4
00002987: DUP2
00002988: LT
00002989: ISZERO
0000298a: PUSH2 0x299d
0000298d: JUMPI
0000298e: DUP2
0000298f: DUP2
00002990: ADD
00002991: MLOAD
00002992: DUP4
00002993: DUP3
00002994: ADD
00002995: MSTORE
00002996: PUSH1 0x20
00002998: ADD
00002999: PUSH2 0x2985
0000299c: JUMP
0000299d: JUMPDEST
0000299e: POP
0000299f: POP
000029a0: PUSH1 0x00
000029a2: SWAP2
000029a3: ADD
000029a4: MSTORE
000029a5: JUMP
000029a6: JUMPDEST
000029a7: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000
000029c8: DUP2
000029c9: MSTORE
000029ca: PUSH1 0x00
000029cc: DUP4
000029cd: MLOAD
000029ce: PUSH2 0x29de
000029d1: DUP2
000029d2: PUSH1 0x17
000029d4: DUP6
000029d5: ADD
000029d6: PUSH1 0x20
000029d8: DUP9
000029d9: ADD
000029da: PUSH2 0x2982
000029dd: JUMP
000029de: JUMPDEST
000029df: PUSH32 0x206973206d697373696e6720726f6c6520000000000000000000000000000000
00002a00: PUSH1 0x17
00002a02: SWAP2
00002a03: DUP5
00002a04: ADD
00002a05: SWAP2
00002a06: DUP3
00002a07: ADD
00002a08: MSTORE
00002a09: DUP4
00002a0a: MLOAD
00002a0b: PUSH2 0x2a1b
00002a0e: DUP2
00002a0f: PUSH1 0x28
00002a11: DUP5
00002a12: ADD
00002a13: PUSH1 0x20
00002a15: DUP9
00002a16: ADD
00002a17: PUSH2 0x2982
00002a1a: JUMP
00002a1b: JUMPDEST
00002a1c: ADD
00002a1d: PUSH1 0x28
00002a1f: ADD
00002a20: SWAP5
00002a21: SWAP4
00002a22: POP
00002a23: POP
00002a24: POP
00002a25: POP
00002a26: JUMP
00002a27: JUMPDEST
00002a28: PUSH1 0x20
00002a2a: DUP2
00002a2b: MSTORE
00002a2c: PUSH1 0x00
00002a2e: DUP3
00002a2f: MLOAD
00002a30: DUP1
00002a31: PUSH1 0x20
00002a33: DUP5
00002a34: ADD
00002a35: MSTORE
00002a36: PUSH2 0x2a46
00002a39: DUP2
00002a3a: PUSH1 0x40
00002a3c: DUP6
00002a3d: ADD
00002a3e: PUSH1 0x20
00002a40: DUP8
00002a41: ADD
00002a42: PUSH2 0x2982
00002a45: JUMP
00002a46: JUMPDEST
00002a47: PUSH1 0x1f
00002a49: ADD
00002a4a: PUSH1 0x1f
00002a4c: NOT
00002a4d: AND
00002a4e: SWAP2
00002a4f: SWAP1
00002a50: SWAP2
00002a51: ADD
00002a52: PUSH1 0x40
00002a54: ADD
00002a55: SWAP3
00002a56: SWAP2
00002a57: POP
00002a58: POP
00002a59: JUMP
00002a5a: JUMPDEST
00002a5b: PUSH4 0x4e487b71
00002a60: PUSH1 0xe0
00002a62: SHL
00002a63: PUSH1 0x00
00002a65: MSTORE
00002a66: PUSH1 0x41
00002a68: PUSH1 0x04
00002a6a: MSTORE
00002a6b: PUSH1 0x24
00002a6d: PUSH1 0x00
00002a6f: REVERT
00002a70: JUMPDEST
00002a71: PUSH4 0x4e487b71
00002a76: PUSH1 0xe0
00002a78: SHL
00002a79: PUSH1 0x00
00002a7b: MSTORE
00002a7c: PUSH1 0x32
00002a7e: PUSH1 0x04
00002a80: MSTORE
00002a81: PUSH1 0x24
00002a83: PUSH1 0x00
00002a85: REVERT
00002a86: JUMPDEST
00002a87: PUSH1 0x00
00002a89: DUP2
00002a8a: PUSH2 0x2a95
00002a8d: JUMPI
00002a8e: PUSH2 0x2a95
00002a91: PUSH2 0x28ca
00002a94: JUMP
00002a95: JUMPDEST
00002a96: POP
00002a97: PUSH1 0x00
00002a99: NOT
00002a9a: ADD
00002a9b: SWAP1
00002a9c: JUMP
00002a9d: INVALID
00002a9e: LOG2
00002a9f: PUSH5 0x6970667358
00002aa5: UNKNOWN(0x22)
00002aa6: SLT
00002aa7: KECCAK256
00002aa8: UNKNOWN(0x2A)
00002aa9: GAS
00002aaa: DUP2
00002aab: UNKNOWN(0xD3)
00002aac: SWAP7
00002aad: PUSH6 0xc5802eb61c62
00002ab4: PUSH2 0x877d
00002ab7: DUP16
00002ab8: INVALID
00002ab9: UNKNOWN(0x23)
00002aba: PUSH12 0x44822d29ec9b868ec382622a
00002ac7: MSTORE8
00002ac8: PUSH5 0x736f6c6343
00002ace: STOP
00002acf: ADDMOD
00002ad0: LT
00002ad1: STOP
00002ad2: CALLER

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x67926c22b51ff082e1570b18635f9d007f7ee694c54032b2e567da11039283e8 call_targets: 0x0e0a84212a77b137972401ce3d630bc993c17a0b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x67926c22b51ff082e1570b18635f9d007f7ee694c54032b2e567da11039283e8", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0e0a84212a77b137972401ce3d630bc993c17a0b" ], "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": "0xe20ccec3", "selector": "0xe20ccec3", "calldata_variants": [ "0xe20ccec3", "0xe20ccec30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf399d3d4", "selector": "0xf399d3d4", "calldata_variants": [ "0xf399d3d4", "0xf399d3d40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xff99d7e5", "selector": "0xff99d7e5", "calldata_variants": [ "0xff99d7e5", "0xff99d7e50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc8796572", "selector": "0xc8796572", "calldata_variants": [ "0xc8796572", "0xc87965720000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd547741f", "selector": "0xd547741f", "calldata_variants": [ "0xd547741f", "0xd547741f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xde412adc", "selector": "0xde412adc", "calldata_variants": [ "0xde412adc", "0xde412adc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbb440c45", "selector": "0xbb440c45", "calldata_variants": [ "0xbb440c45", "0xbb440c450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbce1b520", "selector": "0xbce1b520", "calldata_variants": [ "0xbce1b520", "0xbce1b5200000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2394, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2534, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4299, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [], "untrusted_call_count": 6 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x67926c22b51ff082e1570b18635f9d007f7ee694c54032b2e567da11039283e8 call_targets: 0x0e0a84212a77b137972401ce3d630bc993c17a0b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x67926c22b51ff082e1570b18635f9d007f7ee694c54032b2e567da11039283e8", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0e0a84212a77b137972401ce3d630bc993c17a0b" ], "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": "0xe20ccec3", "selector": "0xe20ccec3", "calldata_variants": [ "0xe20ccec3", "0xe20ccec30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf399d3d4", "selector": "0xf399d3d4", "calldata_variants": [ "0xf399d3d4", "0xf399d3d40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xff99d7e5", "selector": "0xff99d7e5", "calldata_variants": [ "0xff99d7e5", "0xff99d7e50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc8796572", "selector": "0xc8796572", "calldata_variants": [ "0xc8796572", "0xc87965720000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd547741f", "selector": "0xd547741f", "calldata_variants": [ "0xd547741f", "0xd547741f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xde412adc", "selector": "0xde412adc", "calldata_variants": [ "0xde412adc", "0xde412adc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbb440c45", "selector": "0xbb440c45", "calldata_variants": [ "0xbb440c45", "0xbb440c450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbce1b520", "selector": "0xbce1b520", "calldata_variants": [ "0xbce1b520", "0xbce1b5200000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2394, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2534, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4299, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [] }
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": 5 }

Severity