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

Analysis Run

019b3844-9400-7249-bc90-1508fcbfd5f4

complete
Chain ID
1
Address
Block Number
Created
Fri, Dec 19, 2025 8:19 PM
Review Summary

What survived the funnel

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

Confirmed
0
Validated
0
Source
Bytecode only
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
13131 artifact.fetch complete 1 / 3 3 months ago
13132 tool.cast_disasm complete 1 / 3 3 months ago
111734 analysis.bundle complete 1 / 3 1 week ago
111735 capability.graph complete 1 / 3 1 week ago
111736 detector.run complete 1 / 3 1 week ago
111737 validation.fork complete 1 / 3 1 week ago

Artifact

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

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)
1
EXT*/BALANCE
0
Total opcodes
3961
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00c2
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6a42b8f8
00000019: GT
0000001a: PUSH2 0x007f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc1a287e2
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc1a287e2
0000002f: EQ
00000030: PUSH2 0x05dd
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe177246e
0000003a: EQ
0000003b: PUSH2 0x05f2
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2b06537
00000045: EQ
00000046: PUSH2 0x061c
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf851a440
00000050: EQ
00000051: PUSH2 0x065a
00000054: JUMPI
00000055: PUSH2 0x00c2
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x6a42b8f8
00000060: EQ
00000061: PUSH2 0x059e
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x7d645fab
0000006b: EQ
0000006c: PUSH2 0x05b3
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xb1b43ae5
00000076: EQ
00000077: PUSH2 0x05c8
0000007a: JUMPI
0000007b: PUSH2 0x00c2
0000007e: JUMP
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x0825f38f
00000086: EQ
00000087: PUSH2 0x00c4
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x0e18b681
00000091: EQ
00000092: PUSH2 0x0279
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x26782247
0000009c: EQ
0000009d: PUSH2 0x028e
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x3a66f901
000000a7: EQ
000000a8: PUSH2 0x02bf
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x4dd18bf5
000000b2: EQ
000000b3: PUSH2 0x041e
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x591fcdfe
000000bd: EQ
000000be: PUSH2 0x0451
000000c1: JUMPI
000000c2: JUMPDEST
000000c3: STOP
000000c4: JUMPDEST
000000c5: PUSH2 0x0204
000000c8: PUSH1 0x04
000000ca: DUP1
000000cb: CALLDATASIZE
000000cc: SUB
000000cd: PUSH1 0xa0
000000cf: DUP2
000000d0: LT
000000d1: ISZERO
000000d2: PUSH2 0x00da
000000d5: JUMPI
000000d6: PUSH1 0x00
000000d8: DUP1
000000d9: REVERT
000000da: JUMPDEST
000000db: PUSH1 0x01
000000dd: PUSH1 0x01
000000df: PUSH1 0xa0
000000e1: SHL
000000e2: SUB
000000e3: DUP3
000000e4: CALLDATALOAD
000000e5: AND
000000e6: SWAP2
000000e7: PUSH1 0x20
000000e9: DUP2
000000ea: ADD
000000eb: CALLDATALOAD
000000ec: SWAP2
000000ed: DUP2
000000ee: ADD
000000ef: SWAP1
000000f0: PUSH1 0x60
000000f2: DUP2
000000f3: ADD
000000f4: PUSH1 0x40
000000f6: DUP3
000000f7: ADD
000000f8: CALLDATALOAD
000000f9: PUSH1 0x01
000000fb: PUSH1 0x20
000000fd: SHL
000000fe: DUP2
000000ff: GT
00000100: ISZERO
00000101: PUSH2 0x0109
00000104: JUMPI
00000105: PUSH1 0x00
00000107: DUP1
00000108: REVERT
00000109: JUMPDEST
0000010a: DUP3
0000010b: ADD
0000010c: DUP4
0000010d: PUSH1 0x20
0000010f: DUP3
00000110: ADD
00000111: GT
00000112: ISZERO
00000113: PUSH2 0x011b
00000116: JUMPI
00000117: PUSH1 0x00
00000119: DUP1
0000011a: REVERT
0000011b: JUMPDEST
0000011c: DUP1
0000011d: CALLDATALOAD
0000011e: SWAP1
0000011f: PUSH1 0x20
00000121: ADD
00000122: SWAP2
00000123: DUP5
00000124: PUSH1 0x01
00000126: DUP4
00000127: MUL
00000128: DUP5
00000129: ADD
0000012a: GT
0000012b: PUSH1 0x01
0000012d: PUSH1 0x20
0000012f: SHL
00000130: DUP4
00000131: GT
00000132: OR
00000133: ISZERO
00000134: PUSH2 0x013c
00000137: JUMPI
00000138: PUSH1 0x00
0000013a: DUP1
0000013b: REVERT
0000013c: JUMPDEST
0000013d: SWAP2
0000013e: SWAP1
0000013f: DUP1
00000140: DUP1
00000141: PUSH1 0x1f
00000143: ADD
00000144: PUSH1 0x20
00000146: DUP1
00000147: SWAP2
00000148: DIV
00000149: MUL
0000014a: PUSH1 0x20
0000014c: ADD
0000014d: PUSH1 0x40
0000014f: MLOAD
00000150: SWAP1
00000151: DUP2
00000152: ADD
00000153: PUSH1 0x40
00000155: MSTORE
00000156: DUP1
00000157: SWAP4
00000158: SWAP3
00000159: SWAP2
0000015a: SWAP1
0000015b: DUP2
0000015c: DUP2
0000015d: MSTORE
0000015e: PUSH1 0x20
00000160: ADD
00000161: DUP4
00000162: DUP4
00000163: DUP1
00000164: DUP3
00000165: DUP5
00000166: CALLDATACOPY
00000167: PUSH1 0x00
00000169: SWAP3
0000016a: ADD
0000016b: SWAP2
0000016c: SWAP1
0000016d: SWAP2
0000016e: MSTORE
0000016f: POP
00000170: SWAP3
00000171: SWAP6
00000172: SWAP5
00000173: SWAP4
00000174: PUSH1 0x20
00000176: DUP2
00000177: ADD
00000178: SWAP4
00000179: POP
0000017a: CALLDATALOAD
0000017b: SWAP2
0000017c: POP
0000017d: POP
0000017e: PUSH1 0x01
00000180: PUSH1 0x20
00000182: SHL
00000183: DUP2
00000184: GT
00000185: ISZERO
00000186: PUSH2 0x018e
00000189: JUMPI
0000018a: PUSH1 0x00
0000018c: DUP1
0000018d: REVERT
0000018e: JUMPDEST
0000018f: DUP3
00000190: ADD
00000191: DUP4
00000192: PUSH1 0x20
00000194: DUP3
00000195: ADD
00000196: GT
00000197: ISZERO
00000198: PUSH2 0x01a0
0000019b: JUMPI
0000019c: PUSH1 0x00
0000019e: DUP1
0000019f: REVERT
000001a0: JUMPDEST
000001a1: DUP1
000001a2: CALLDATALOAD
000001a3: SWAP1
000001a4: PUSH1 0x20
000001a6: ADD
000001a7: SWAP2
000001a8: DUP5
000001a9: PUSH1 0x01
000001ab: DUP4
000001ac: MUL
000001ad: DUP5
000001ae: ADD
000001af: GT
000001b0: PUSH1 0x01
000001b2: PUSH1 0x20
000001b4: SHL
000001b5: DUP4
000001b6: GT
000001b7: OR
000001b8: ISZERO
000001b9: PUSH2 0x01c1
000001bc: JUMPI
000001bd: PUSH1 0x00
000001bf: DUP1
000001c0: REVERT
000001c1: JUMPDEST
000001c2: SWAP2
000001c3: SWAP1
000001c4: DUP1
000001c5: DUP1
000001c6: PUSH1 0x1f
000001c8: ADD
000001c9: PUSH1 0x20
000001cb: DUP1
000001cc: SWAP2
000001cd: DIV
000001ce: MUL
000001cf: PUSH1 0x20
000001d1: ADD
000001d2: PUSH1 0x40
000001d4: MLOAD
000001d5: SWAP1
000001d6: DUP2
000001d7: ADD
000001d8: PUSH1 0x40
000001da: MSTORE
000001db: DUP1
000001dc: SWAP4
000001dd: SWAP3
000001de: SWAP2
000001df: SWAP1
000001e0: DUP2
000001e1: DUP2
000001e2: MSTORE
000001e3: PUSH1 0x20
000001e5: ADD
000001e6: DUP4
000001e7: DUP4
000001e8: DUP1
000001e9: DUP3
000001ea: DUP5
000001eb: CALLDATACOPY
000001ec: PUSH1 0x00
000001ee: SWAP3
000001ef: ADD
000001f0: SWAP2
000001f1: SWAP1
000001f2: SWAP2
000001f3: MSTORE
000001f4: POP
000001f5: SWAP3
000001f6: SWAP6
000001f7: POP
000001f8: POP
000001f9: SWAP2
000001fa: CALLDATALOAD
000001fb: SWAP3
000001fc: POP
000001fd: PUSH2 0x066f
00000200: SWAP2
00000201: POP
00000202: POP
00000203: JUMP
00000204: JUMPDEST
00000205: PUSH1 0x40
00000207: DUP1
00000208: MLOAD
00000209: PUSH1 0x20
0000020b: DUP1
0000020c: DUP3
0000020d: MSTORE
0000020e: DUP4
0000020f: MLOAD
00000210: DUP2
00000211: DUP4
00000212: ADD
00000213: MSTORE
00000214: DUP4
00000215: MLOAD
00000216: SWAP2
00000217: SWAP3
00000218: DUP4
00000219: SWAP3
0000021a: SWAP1
0000021b: DUP4
0000021c: ADD
0000021d: SWAP2
0000021e: DUP6
0000021f: ADD
00000220: SWAP1
00000221: DUP1
00000222: DUP4
00000223: DUP4
00000224: PUSH1 0x00
00000226: JUMPDEST
00000227: DUP4
00000228: DUP2
00000229: LT
0000022a: ISZERO
0000022b: PUSH2 0x023e
0000022e: JUMPI
0000022f: DUP2
00000230: DUP2
00000231: ADD
00000232: MLOAD
00000233: DUP4
00000234: DUP3
00000235: ADD
00000236: MSTORE
00000237: PUSH1 0x20
00000239: ADD
0000023a: PUSH2 0x0226
0000023d: JUMP
0000023e: JUMPDEST
0000023f: POP
00000240: POP
00000241: POP
00000242: POP
00000243: SWAP1
00000244: POP
00000245: SWAP1
00000246: DUP2
00000247: ADD
00000248: SWAP1
00000249: PUSH1 0x1f
0000024b: AND
0000024c: DUP1
0000024d: ISZERO
0000024e: PUSH2 0x026b
00000251: JUMPI
00000252: DUP1
00000253: DUP3
00000254: SUB
00000255: DUP1
00000256: MLOAD
00000257: PUSH1 0x01
00000259: DUP4
0000025a: PUSH1 0x20
0000025c: SUB
0000025d: PUSH2 0x0100
00000260: EXP
00000261: SUB
00000262: NOT
00000263: AND
00000264: DUP2
00000265: MSTORE
00000266: PUSH1 0x20
00000268: ADD
00000269: SWAP2
0000026a: POP
0000026b: JUMPDEST
0000026c: POP
0000026d: SWAP3
0000026e: POP
0000026f: POP
00000270: POP
00000271: PUSH1 0x40
00000273: MLOAD
00000274: DUP1
00000275: SWAP2
00000276: SUB
00000277: SWAP1
00000278: RETURN
00000279: JUMPDEST
0000027a: CALLVALUE
0000027b: DUP1
0000027c: ISZERO
0000027d: PUSH2 0x0285
00000280: JUMPI
00000281: PUSH1 0x00
00000283: DUP1
00000284: REVERT
00000285: JUMPDEST
00000286: POP
00000287: PUSH2 0x00c2
0000028a: PUSH2 0x0b97
0000028d: JUMP
0000028e: JUMPDEST
0000028f: CALLVALUE
00000290: DUP1
00000291: ISZERO
00000292: PUSH2 0x029a
00000295: JUMPI
00000296: PUSH1 0x00
00000298: DUP1
00000299: REVERT
0000029a: JUMPDEST
0000029b: POP
0000029c: PUSH2 0x02a3
0000029f: PUSH2 0x0c36
000002a2: JUMP
000002a3: JUMPDEST
000002a4: PUSH1 0x40
000002a6: DUP1
000002a7: MLOAD
000002a8: PUSH1 0x01
000002aa: PUSH1 0x01
000002ac: PUSH1 0xa0
000002ae: SHL
000002af: SUB
000002b0: SWAP1
000002b1: SWAP3
000002b2: AND
000002b3: DUP3
000002b4: MSTORE
000002b5: MLOAD
000002b6: SWAP1
000002b7: DUP2
000002b8: SWAP1
000002b9: SUB
000002ba: PUSH1 0x20
000002bc: ADD
000002bd: SWAP1
000002be: RETURN
000002bf: JUMPDEST
000002c0: CALLVALUE
000002c1: DUP1
000002c2: ISZERO
000002c3: PUSH2 0x02cb
000002c6: JUMPI
000002c7: PUSH1 0x00
000002c9: DUP1
000002ca: REVERT
000002cb: JUMPDEST
000002cc: POP
000002cd: PUSH2 0x040c
000002d0: PUSH1 0x04
000002d2: DUP1
000002d3: CALLDATASIZE
000002d4: SUB
000002d5: PUSH1 0xa0
000002d7: DUP2
000002d8: LT
000002d9: ISZERO
000002da: PUSH2 0x02e2
000002dd: JUMPI
000002de: PUSH1 0x00
000002e0: DUP1
000002e1: REVERT
000002e2: JUMPDEST
000002e3: PUSH1 0x01
000002e5: PUSH1 0x01
000002e7: PUSH1 0xa0
000002e9: SHL
000002ea: SUB
000002eb: DUP3
000002ec: CALLDATALOAD
000002ed: AND
000002ee: SWAP2
000002ef: PUSH1 0x20
000002f1: DUP2
000002f2: ADD
000002f3: CALLDATALOAD
000002f4: SWAP2
000002f5: DUP2
000002f6: ADD
000002f7: SWAP1
000002f8: PUSH1 0x60
000002fa: DUP2
000002fb: ADD
000002fc: PUSH1 0x40
000002fe: DUP3
000002ff: ADD
00000300: CALLDATALOAD
00000301: PUSH1 0x01
00000303: PUSH1 0x20
00000305: SHL
00000306: DUP2
00000307: GT
00000308: ISZERO
00000309: PUSH2 0x0311
0000030c: JUMPI
0000030d: PUSH1 0x00
0000030f: DUP1
00000310: REVERT
00000311: JUMPDEST
00000312: DUP3
00000313: ADD
00000314: DUP4
00000315: PUSH1 0x20
00000317: DUP3
00000318: ADD
00000319: GT
0000031a: ISZERO
0000031b: PUSH2 0x0323
0000031e: JUMPI
0000031f: PUSH1 0x00
00000321: DUP1
00000322: REVERT
00000323: JUMPDEST
00000324: DUP1
00000325: CALLDATALOAD
00000326: SWAP1
00000327: PUSH1 0x20
00000329: ADD
0000032a: SWAP2
0000032b: DUP5
0000032c: PUSH1 0x01
0000032e: DUP4
0000032f: MUL
00000330: DUP5
00000331: ADD
00000332: GT
00000333: PUSH1 0x01
00000335: PUSH1 0x20
00000337: SHL
00000338: DUP4
00000339: GT
0000033a: OR
0000033b: ISZERO
0000033c: PUSH2 0x0344
0000033f: JUMPI
00000340: PUSH1 0x00
00000342: DUP1
00000343: REVERT
00000344: JUMPDEST
00000345: SWAP2
00000346: SWAP1
00000347: DUP1
00000348: DUP1
00000349: PUSH1 0x1f
0000034b: ADD
0000034c: PUSH1 0x20
0000034e: DUP1
0000034f: SWAP2
00000350: DIV
00000351: MUL
00000352: PUSH1 0x20
00000354: ADD
00000355: PUSH1 0x40
00000357: MLOAD
00000358: SWAP1
00000359: DUP2
0000035a: ADD
0000035b: PUSH1 0x40
0000035d: MSTORE
0000035e: DUP1
0000035f: SWAP4
00000360: SWAP3
00000361: SWAP2
00000362: SWAP1
00000363: DUP2
00000364: DUP2
00000365: MSTORE
00000366: PUSH1 0x20
00000368: ADD
00000369: DUP4
0000036a: DUP4
0000036b: DUP1
0000036c: DUP3
0000036d: DUP5
0000036e: CALLDATACOPY
0000036f: PUSH1 0x00
00000371: SWAP3
00000372: ADD
00000373: SWAP2
00000374: SWAP1
00000375: SWAP2
00000376: MSTORE
00000377: POP
00000378: SWAP3
00000379: SWAP6
0000037a: SWAP5
0000037b: SWAP4
0000037c: PUSH1 0x20
0000037e: DUP2
0000037f: ADD
00000380: SWAP4
00000381: POP
00000382: CALLDATALOAD
00000383: SWAP2
00000384: POP
00000385: POP
00000386: PUSH1 0x01
00000388: PUSH1 0x20
0000038a: SHL
0000038b: DUP2
0000038c: GT
0000038d: ISZERO
0000038e: PUSH2 0x0396
00000391: JUMPI
00000392: PUSH1 0x00
00000394: DUP1
00000395: REVERT
00000396: JUMPDEST
00000397: DUP3
00000398: ADD
00000399: DUP4
0000039a: PUSH1 0x20
0000039c: DUP3
0000039d: ADD
0000039e: GT
0000039f: ISZERO
000003a0: PUSH2 0x03a8
000003a3: JUMPI
000003a4: PUSH1 0x00
000003a6: DUP1
000003a7: REVERT
000003a8: JUMPDEST
000003a9: DUP1
000003aa: CALLDATALOAD
000003ab: SWAP1
000003ac: PUSH1 0x20
000003ae: ADD
000003af: SWAP2
000003b0: DUP5
000003b1: PUSH1 0x01
000003b3: DUP4
000003b4: MUL
000003b5: DUP5
000003b6: ADD
000003b7: GT
000003b8: PUSH1 0x01
000003ba: PUSH1 0x20
000003bc: SHL
000003bd: DUP4
000003be: GT
000003bf: OR
000003c0: ISZERO
000003c1: PUSH2 0x03c9
000003c4: JUMPI
000003c5: PUSH1 0x00
000003c7: DUP1
000003c8: REVERT
000003c9: JUMPDEST
000003ca: SWAP2
000003cb: SWAP1
000003cc: DUP1
000003cd: DUP1
000003ce: PUSH1 0x1f
000003d0: ADD
000003d1: PUSH1 0x20
000003d3: DUP1
000003d4: SWAP2
000003d5: DIV
000003d6: MUL
000003d7: PUSH1 0x20
000003d9: ADD
000003da: PUSH1 0x40
000003dc: MLOAD
000003dd: SWAP1
000003de: DUP2
000003df: ADD
000003e0: PUSH1 0x40
000003e2: MSTORE
000003e3: DUP1
000003e4: SWAP4
000003e5: SWAP3
000003e6: SWAP2
000003e7: SWAP1
000003e8: DUP2
000003e9: DUP2
000003ea: MSTORE
000003eb: PUSH1 0x20
000003ed: ADD
000003ee: DUP4
000003ef: DUP4
000003f0: DUP1
000003f1: DUP3
000003f2: DUP5
000003f3: CALLDATACOPY
000003f4: PUSH1 0x00
000003f6: SWAP3
000003f7: ADD
000003f8: SWAP2
000003f9: SWAP1
000003fa: SWAP2
000003fb: MSTORE
000003fc: POP
000003fd: SWAP3
000003fe: SWAP6
000003ff: POP
00000400: POP
00000401: SWAP2
00000402: CALLDATALOAD
00000403: SWAP3
00000404: POP
00000405: PUSH2 0x0c45
00000408: SWAP2
00000409: POP
0000040a: POP
0000040b: JUMP
0000040c: JUMPDEST
0000040d: PUSH1 0x40
0000040f: DUP1
00000410: MLOAD
00000411: SWAP2
00000412: DUP3
00000413: MSTORE
00000414: MLOAD
00000415: SWAP1
00000416: DUP2
00000417: SWAP1
00000418: SUB
00000419: PUSH1 0x20
0000041b: ADD
0000041c: SWAP1
0000041d: RETURN
0000041e: JUMPDEST
0000041f: CALLVALUE
00000420: DUP1
00000421: ISZERO
00000422: PUSH2 0x042a
00000425: JUMPI
00000426: PUSH1 0x00
00000428: DUP1
00000429: REVERT
0000042a: JUMPDEST
0000042b: POP
0000042c: PUSH2 0x00c2
0000042f: PUSH1 0x04
00000431: DUP1
00000432: CALLDATASIZE
00000433: SUB
00000434: PUSH1 0x20
00000436: DUP2
00000437: LT
00000438: ISZERO
00000439: PUSH2 0x0441
0000043c: JUMPI
0000043d: PUSH1 0x00
0000043f: DUP1
00000440: REVERT
00000441: JUMPDEST
00000442: POP
00000443: CALLDATALOAD
00000444: PUSH1 0x01
00000446: PUSH1 0x01
00000448: PUSH1 0xa0
0000044a: SHL
0000044b: SUB
0000044c: AND
0000044d: PUSH2 0x0f5c
00000450: JUMP
00000451: JUMPDEST
00000452: CALLVALUE
00000453: DUP1
00000454: ISZERO
00000455: PUSH2 0x045d
00000458: JUMPI
00000459: PUSH1 0x00
0000045b: DUP1
0000045c: REVERT
0000045d: JUMPDEST
0000045e: POP
0000045f: PUSH2 0x00c2
00000462: PUSH1 0x04
00000464: DUP1
00000465: CALLDATASIZE
00000466: SUB
00000467: PUSH1 0xa0
00000469: DUP2
0000046a: LT
0000046b: ISZERO
0000046c: PUSH2 0x0474
0000046f: JUMPI
00000470: PUSH1 0x00
00000472: DUP1
00000473: REVERT
00000474: JUMPDEST
00000475: PUSH1 0x01
00000477: PUSH1 0x01
00000479: PUSH1 0xa0
0000047b: SHL
0000047c: SUB
0000047d: DUP3
0000047e: CALLDATALOAD
0000047f: AND
00000480: SWAP2
00000481: PUSH1 0x20
00000483: DUP2
00000484: ADD
00000485: CALLDATALOAD
00000486: SWAP2
00000487: DUP2
00000488: ADD
00000489: SWAP1
0000048a: PUSH1 0x60
0000048c: DUP2
0000048d: ADD
0000048e: PUSH1 0x40
00000490: DUP3
00000491: ADD
00000492: CALLDATALOAD
00000493: PUSH1 0x01
00000495: PUSH1 0x20
00000497: SHL
00000498: DUP2
00000499: GT
0000049a: ISZERO
0000049b: PUSH2 0x04a3
0000049e: JUMPI
0000049f: PUSH1 0x00
000004a1: DUP1
000004a2: REVERT
000004a3: JUMPDEST
000004a4: DUP3
000004a5: ADD
000004a6: DUP4
000004a7: PUSH1 0x20
000004a9: DUP3
000004aa: ADD
000004ab: GT
000004ac: ISZERO
000004ad: PUSH2 0x04b5
000004b0: JUMPI
000004b1: PUSH1 0x00
000004b3: DUP1
000004b4: REVERT
000004b5: JUMPDEST
000004b6: DUP1
000004b7: CALLDATALOAD
000004b8: SWAP1
000004b9: PUSH1 0x20
000004bb: ADD
000004bc: SWAP2
000004bd: DUP5
000004be: PUSH1 0x01
000004c0: DUP4
000004c1: MUL
000004c2: DUP5
000004c3: ADD
000004c4: GT
000004c5: PUSH1 0x01
000004c7: PUSH1 0x20
000004c9: SHL
000004ca: DUP4
000004cb: GT
000004cc: OR
000004cd: ISZERO
000004ce: PUSH2 0x04d6
000004d1: JUMPI
000004d2: PUSH1 0x00
000004d4: DUP1
000004d5: REVERT
000004d6: JUMPDEST
000004d7: SWAP2
000004d8: SWAP1
000004d9: DUP1
000004da: DUP1
000004db: PUSH1 0x1f
000004dd: ADD
000004de: PUSH1 0x20
000004e0: DUP1
000004e1: SWAP2
000004e2: DIV
000004e3: MUL
000004e4: PUSH1 0x20
000004e6: ADD
000004e7: PUSH1 0x40
000004e9: MLOAD
000004ea: SWAP1
000004eb: DUP2
000004ec: ADD
000004ed: PUSH1 0x40
000004ef: MSTORE
000004f0: DUP1
000004f1: SWAP4
000004f2: SWAP3
000004f3: SWAP2
000004f4: SWAP1
000004f5: DUP2
000004f6: DUP2
000004f7: MSTORE
000004f8: PUSH1 0x20
000004fa: ADD
000004fb: DUP4
000004fc: DUP4
000004fd: DUP1
000004fe: DUP3
000004ff: DUP5
00000500: CALLDATACOPY
00000501: PUSH1 0x00
00000503: SWAP3
00000504: ADD
00000505: SWAP2
00000506: SWAP1
00000507: SWAP2
00000508: MSTORE
00000509: POP
0000050a: SWAP3
0000050b: SWAP6
0000050c: SWAP5
0000050d: SWAP4
0000050e: PUSH1 0x20
00000510: DUP2
00000511: ADD
00000512: SWAP4
00000513: POP
00000514: CALLDATALOAD
00000515: SWAP2
00000516: POP
00000517: POP
00000518: PUSH1 0x01
0000051a: PUSH1 0x20
0000051c: SHL
0000051d: DUP2
0000051e: GT
0000051f: ISZERO
00000520: PUSH2 0x0528
00000523: JUMPI
00000524: PUSH1 0x00
00000526: DUP1
00000527: REVERT
00000528: JUMPDEST
00000529: DUP3
0000052a: ADD
0000052b: DUP4
0000052c: PUSH1 0x20
0000052e: DUP3
0000052f: ADD
00000530: GT
00000531: ISZERO
00000532: PUSH2 0x053a
00000535: JUMPI
00000536: PUSH1 0x00
00000538: DUP1
00000539: REVERT
0000053a: JUMPDEST
0000053b: DUP1
0000053c: CALLDATALOAD
0000053d: SWAP1
0000053e: PUSH1 0x20
00000540: ADD
00000541: SWAP2
00000542: DUP5
00000543: PUSH1 0x01
00000545: DUP4
00000546: MUL
00000547: DUP5
00000548: ADD
00000549: GT
0000054a: PUSH1 0x01
0000054c: PUSH1 0x20
0000054e: SHL
0000054f: DUP4
00000550: GT
00000551: OR
00000552: ISZERO
00000553: PUSH2 0x055b
00000556: JUMPI
00000557: PUSH1 0x00
00000559: DUP1
0000055a: REVERT
0000055b: JUMPDEST
0000055c: SWAP2
0000055d: SWAP1
0000055e: DUP1
0000055f: DUP1
00000560: PUSH1 0x1f
00000562: ADD
00000563: PUSH1 0x20
00000565: DUP1
00000566: SWAP2
00000567: DIV
00000568: MUL
00000569: PUSH1 0x20
0000056b: ADD
0000056c: PUSH1 0x40
0000056e: MLOAD
0000056f: SWAP1
00000570: DUP2
00000571: ADD
00000572: PUSH1 0x40
00000574: MSTORE
00000575: DUP1
00000576: SWAP4
00000577: SWAP3
00000578: SWAP2
00000579: SWAP1
0000057a: DUP2
0000057b: DUP2
0000057c: MSTORE
0000057d: PUSH1 0x20
0000057f: ADD
00000580: DUP4
00000581: DUP4
00000582: DUP1
00000583: DUP3
00000584: DUP5
00000585: CALLDATACOPY
00000586: PUSH1 0x00
00000588: SWAP3
00000589: ADD
0000058a: SWAP2
0000058b: SWAP1
0000058c: SWAP2
0000058d: MSTORE
0000058e: POP
0000058f: SWAP3
00000590: SWAP6
00000591: POP
00000592: POP
00000593: SWAP2
00000594: CALLDATALOAD
00000595: SWAP3
00000596: POP
00000597: PUSH2 0x0fed
0000059a: SWAP2
0000059b: POP
0000059c: POP
0000059d: JUMP
0000059e: JUMPDEST
0000059f: CALLVALUE
000005a0: DUP1
000005a1: ISZERO
000005a2: PUSH2 0x05aa
000005a5: JUMPI
000005a6: PUSH1 0x00
000005a8: DUP1
000005a9: REVERT
000005aa: JUMPDEST
000005ab: POP
000005ac: PUSH2 0x040c
000005af: PUSH2 0x12a6
000005b2: JUMP
000005b3: JUMPDEST
000005b4: CALLVALUE
000005b5: DUP1
000005b6: ISZERO
000005b7: PUSH2 0x05bf
000005ba: JUMPI
000005bb: PUSH1 0x00
000005bd: DUP1
000005be: REVERT
000005bf: JUMPDEST
000005c0: POP
000005c1: PUSH2 0x040c
000005c4: PUSH2 0x12ac
000005c7: JUMP
000005c8: JUMPDEST
000005c9: CALLVALUE
000005ca: DUP1
000005cb: ISZERO
000005cc: PUSH2 0x05d4
000005cf: JUMPI
000005d0: PUSH1 0x00
000005d2: DUP1
000005d3: REVERT
000005d4: JUMPDEST
000005d5: POP
000005d6: PUSH2 0x040c
000005d9: PUSH2 0x12b3
000005dc: JUMP
000005dd: JUMPDEST
000005de: CALLVALUE
000005df: DUP1
000005e0: ISZERO
000005e1: PUSH2 0x05e9
000005e4: JUMPI
000005e5: PUSH1 0x00
000005e7: DUP1
000005e8: REVERT
000005e9: JUMPDEST
000005ea: POP
000005eb: PUSH2 0x040c
000005ee: PUSH2 0x12ba
000005f1: JUMP
000005f2: JUMPDEST
000005f3: CALLVALUE
000005f4: DUP1
000005f5: ISZERO
000005f6: PUSH2 0x05fe
000005f9: JUMPI
000005fa: PUSH1 0x00
000005fc: DUP1
000005fd: REVERT
000005fe: JUMPDEST
000005ff: POP
00000600: PUSH2 0x00c2
00000603: PUSH1 0x04
00000605: DUP1
00000606: CALLDATASIZE
00000607: SUB
00000608: PUSH1 0x20
0000060a: DUP2
0000060b: LT
0000060c: ISZERO
0000060d: PUSH2 0x0615
00000610: JUMPI
00000611: PUSH1 0x00
00000613: DUP1
00000614: REVERT
00000615: JUMPDEST
00000616: POP
00000617: CALLDATALOAD
00000618: PUSH2 0x12c1
0000061b: JUMP
0000061c: JUMPDEST
0000061d: CALLVALUE
0000061e: DUP1
0000061f: ISZERO
00000620: PUSH2 0x0628
00000623: JUMPI
00000624: PUSH1 0x00
00000626: DUP1
00000627: REVERT
00000628: JUMPDEST
00000629: POP
0000062a: PUSH2 0x0646
0000062d: PUSH1 0x04
0000062f: DUP1
00000630: CALLDATASIZE
00000631: SUB
00000632: PUSH1 0x20
00000634: DUP2
00000635: LT
00000636: ISZERO
00000637: PUSH2 0x063f
0000063a: JUMPI
0000063b: PUSH1 0x00
0000063d: DUP1
0000063e: REVERT
0000063f: JUMPDEST
00000640: POP
00000641: CALLDATALOAD
00000642: PUSH2 0x13bf
00000645: JUMP
00000646: JUMPDEST
00000647: PUSH1 0x40
00000649: DUP1
0000064a: MLOAD
0000064b: SWAP2
0000064c: ISZERO
0000064d: ISZERO
0000064e: DUP3
0000064f: MSTORE
00000650: MLOAD
00000651: SWAP1
00000652: DUP2
00000653: SWAP1
00000654: SUB
00000655: PUSH1 0x20
00000657: ADD
00000658: SWAP1
00000659: RETURN
0000065a: JUMPDEST
0000065b: CALLVALUE
0000065c: DUP1
0000065d: ISZERO
0000065e: PUSH2 0x0666
00000661: JUMPI
00000662: PUSH1 0x00
00000664: DUP1
00000665: REVERT
00000666: JUMPDEST
00000667: POP
00000668: PUSH2 0x02a3
0000066b: PUSH2 0x13d4
0000066e: JUMP
0000066f: JUMPDEST
00000670: PUSH1 0x00
00000672: SLOAD
00000673: PUSH1 0x60
00000675: SWAP1
00000676: PUSH1 0x01
00000678: PUSH1 0x01
0000067a: PUSH1 0xa0
0000067c: SHL
0000067d: SUB
0000067e: AND
0000067f: CALLER
00000680: EQ
00000681: PUSH2 0x06be
00000684: JUMPI
00000685: PUSH1 0x40
00000687: MLOAD
00000688: PUSH1 0x01
0000068a: PUSH1 0xe5
0000068c: SHL
0000068d: PUSH3 0x461bcd
00000691: MUL
00000692: DUP2
00000693: MSTORE
00000694: PUSH1 0x04
00000696: ADD
00000697: DUP1
00000698: DUP1
00000699: PUSH1 0x20
0000069b: ADD
0000069c: DUP3
0000069d: DUP2
0000069e: SUB
0000069f: DUP3
000006a0: MSTORE
000006a1: PUSH1 0x38
000006a3: DUP2
000006a4: MSTORE
000006a5: PUSH1 0x20
000006a7: ADD
000006a8: DUP1
000006a9: PUSH2 0x144c
000006ac: PUSH1 0x38
000006ae: SWAP2
000006af: CODECOPY
000006b0: PUSH1 0x40
000006b2: ADD
000006b3: SWAP2
000006b4: POP
000006b5: POP
000006b6: PUSH1 0x40
000006b8: MLOAD
000006b9: DUP1
000006ba: SWAP2
000006bb: SUB
000006bc: SWAP1
000006bd: REVERT
000006be: JUMPDEST
000006bf: PUSH1 0x00
000006c1: DUP7
000006c2: DUP7
000006c3: DUP7
000006c4: DUP7
000006c5: DUP7
000006c6: PUSH1 0x40
000006c8: MLOAD
000006c9: PUSH1 0x20
000006cb: ADD
000006cc: DUP1
000006cd: DUP7
000006ce: PUSH1 0x01
000006d0: PUSH1 0x01
000006d2: PUSH1 0xa0
000006d4: SHL
000006d5: SUB
000006d6: AND
000006d7: PUSH1 0x01
000006d9: PUSH1 0x01
000006db: PUSH1 0xa0
000006dd: SHL
000006de: SUB
000006df: AND
000006e0: DUP2
000006e1: MSTORE
000006e2: PUSH1 0x20
000006e4: ADD
000006e5: DUP6
000006e6: DUP2
000006e7: MSTORE
000006e8: PUSH1 0x20
000006ea: ADD
000006eb: DUP1
000006ec: PUSH1 0x20
000006ee: ADD
000006ef: DUP1
000006f0: PUSH1 0x20
000006f2: ADD
000006f3: DUP5
000006f4: DUP2
000006f5: MSTORE
000006f6: PUSH1 0x20
000006f8: ADD
000006f9: DUP4
000006fa: DUP2
000006fb: SUB
000006fc: DUP4
000006fd: MSTORE
000006fe: DUP7
000006ff: DUP2
00000700: DUP2
00000701: MLOAD
00000702: DUP2
00000703: MSTORE
00000704: PUSH1 0x20
00000706: ADD
00000707: SWAP2
00000708: POP
00000709: DUP1
0000070a: MLOAD
0000070b: SWAP1
0000070c: PUSH1 0x20
0000070e: ADD
0000070f: SWAP1
00000710: DUP1
00000711: DUP4
00000712: DUP4
00000713: PUSH1 0x00
00000715: JUMPDEST
00000716: DUP4
00000717: DUP2
00000718: LT
00000719: ISZERO
0000071a: PUSH2 0x072d
0000071d: JUMPI
0000071e: DUP2
0000071f: DUP2
00000720: ADD
00000721: MLOAD
00000722: DUP4
00000723: DUP3
00000724: ADD
00000725: MSTORE
00000726: PUSH1 0x20
00000728: ADD
00000729: PUSH2 0x0715
0000072c: JUMP
0000072d: JUMPDEST
0000072e: POP
0000072f: POP
00000730: POP
00000731: POP
00000732: SWAP1
00000733: POP
00000734: SWAP1
00000735: DUP2
00000736: ADD
00000737: SWAP1
00000738: PUSH1 0x1f
0000073a: AND
0000073b: DUP1
0000073c: ISZERO
0000073d: PUSH2 0x075a
00000740: JUMPI
00000741: DUP1
00000742: DUP3
00000743: SUB
00000744: DUP1
00000745: MLOAD
00000746: PUSH1 0x01
00000748: DUP4
00000749: PUSH1 0x20
0000074b: SUB
0000074c: PUSH2 0x0100
0000074f: EXP
00000750: SUB
00000751: NOT
00000752: AND
00000753: DUP2
00000754: MSTORE
00000755: PUSH1 0x20
00000757: ADD
00000758: SWAP2
00000759: POP
0000075a: JUMPDEST
0000075b: POP
0000075c: DUP4
0000075d: DUP2
0000075e: SUB
0000075f: DUP3
00000760: MSTORE
00000761: DUP6
00000762: MLOAD
00000763: DUP2
00000764: MSTORE
00000765: DUP6
00000766: MLOAD
00000767: PUSH1 0x20
00000769: SWAP2
0000076a: DUP3
0000076b: ADD
0000076c: SWAP2
0000076d: DUP8
0000076e: ADD
0000076f: SWAP1
00000770: DUP1
00000771: DUP4
00000772: DUP4
00000773: PUSH1 0x00
00000775: JUMPDEST
00000776: DUP4
00000777: DUP2
00000778: LT
00000779: ISZERO
0000077a: PUSH2 0x078d
0000077d: JUMPI
0000077e: DUP2
0000077f: DUP2
00000780: ADD
00000781: MLOAD
00000782: DUP4
00000783: DUP3
00000784: ADD
00000785: MSTORE
00000786: PUSH1 0x20
00000788: ADD
00000789: PUSH2 0x0775
0000078c: JUMP
0000078d: JUMPDEST
0000078e: POP
0000078f: POP
00000790: POP
00000791: POP
00000792: SWAP1
00000793: POP
00000794: SWAP1
00000795: DUP2
00000796: ADD
00000797: SWAP1
00000798: PUSH1 0x1f
0000079a: AND
0000079b: DUP1
0000079c: ISZERO
0000079d: PUSH2 0x07ba
000007a0: JUMPI
000007a1: DUP1
000007a2: DUP3
000007a3: SUB
000007a4: DUP1
000007a5: MLOAD
000007a6: PUSH1 0x01
000007a8: DUP4
000007a9: PUSH1 0x20
000007ab: SUB
000007ac: PUSH2 0x0100
000007af: EXP
000007b0: SUB
000007b1: NOT
000007b2: AND
000007b3: DUP2
000007b4: MSTORE
000007b5: PUSH1 0x20
000007b7: ADD
000007b8: SWAP2
000007b9: POP
000007ba: JUMPDEST
000007bb: POP
000007bc: PUSH1 0x40
000007be: DUP1
000007bf: MLOAD
000007c0: PUSH1 0x1f
000007c2: NOT
000007c3: DUP2
000007c4: DUP5
000007c5: SUB
000007c6: ADD
000007c7: DUP2
000007c8: MSTORE
000007c9: SWAP2
000007ca: DUP2
000007cb: MSTORE
000007cc: DUP2
000007cd: MLOAD
000007ce: PUSH1 0x20
000007d0: SWAP3
000007d1: DUP4
000007d2: ADD
000007d3: KECCAK256
000007d4: PUSH1 0x00
000007d6: DUP2
000007d7: DUP2
000007d8: MSTORE
000007d9: PUSH1 0x03
000007db: SWAP1
000007dc: SWAP4
000007dd: MSTORE
000007de: SWAP2
000007df: KECCAK256
000007e0: SLOAD
000007e1: SWAP1
000007e2: SWAP10
000007e3: POP
000007e4: PUSH1 0xff
000007e6: AND
000007e7: SWAP8
000007e8: POP
000007e9: PUSH2 0x082e
000007ec: SWAP7
000007ed: POP
000007ee: POP
000007ef: POP
000007f0: POP
000007f1: POP
000007f2: POP
000007f3: POP
000007f4: JUMPI
000007f5: PUSH1 0x40
000007f7: MLOAD
000007f8: PUSH1 0x01
000007fa: PUSH1 0xe5
000007fc: SHL
000007fd: PUSH3 0x461bcd
00000801: MUL
00000802: DUP2
00000803: MSTORE
00000804: PUSH1 0x04
00000806: ADD
00000807: DUP1
00000808: DUP1
00000809: PUSH1 0x20
0000080b: ADD
0000080c: DUP3
0000080d: DUP2
0000080e: SUB
0000080f: DUP3
00000810: MSTORE
00000811: PUSH1 0x3d
00000813: DUP2
00000814: MSTORE
00000815: PUSH1 0x20
00000817: ADD
00000818: DUP1
00000819: PUSH2 0x159f
0000081c: PUSH1 0x3d
0000081e: SWAP2
0000081f: CODECOPY
00000820: PUSH1 0x40
00000822: ADD
00000823: SWAP2
00000824: POP
00000825: POP
00000826: PUSH1 0x40
00000828: MLOAD
00000829: DUP1
0000082a: SWAP2
0000082b: SUB
0000082c: SWAP1
0000082d: REVERT
0000082e: JUMPDEST
0000082f: DUP3
00000830: PUSH2 0x0837
00000833: PUSH2 0x13e3
00000836: JUMP
00000837: JUMPDEST
00000838: LT
00000839: ISZERO
0000083a: PUSH2 0x0877
0000083d: JUMPI
0000083e: PUSH1 0x40
00000840: MLOAD
00000841: PUSH1 0x01
00000843: PUSH1 0xe5
00000845: SHL
00000846: PUSH3 0x461bcd
0000084a: MUL
0000084b: DUP2
0000084c: MSTORE
0000084d: PUSH1 0x04
0000084f: ADD
00000850: DUP1
00000851: DUP1
00000852: PUSH1 0x20
00000854: ADD
00000855: DUP3
00000856: DUP2
00000857: SUB
00000858: DUP3
00000859: MSTORE
0000085a: PUSH1 0x45
0000085c: DUP2
0000085d: MSTORE
0000085e: PUSH1 0x20
00000860: ADD
00000861: DUP1
00000862: PUSH2 0x14ee
00000865: PUSH1 0x45
00000867: SWAP2
00000868: CODECOPY
00000869: PUSH1 0x60
0000086b: ADD
0000086c: SWAP2
0000086d: POP
0000086e: POP
0000086f: PUSH1 0x40
00000871: MLOAD
00000872: DUP1
00000873: SWAP2
00000874: SUB
00000875: SWAP1
00000876: REVERT
00000877: JUMPDEST
00000878: PUSH2 0x088a
0000087b: DUP4
0000087c: PUSH3 0x127500
00000880: PUSH4 0xffffffff
00000885: PUSH2 0x13e7
00000888: AND
00000889: JUMP
0000088a: JUMPDEST
0000088b: PUSH2 0x0892
0000088e: PUSH2 0x13e3
00000891: JUMP
00000892: JUMPDEST
00000893: GT
00000894: ISZERO
00000895: PUSH2 0x08d2
00000898: JUMPI
00000899: PUSH1 0x40
0000089b: MLOAD
0000089c: PUSH1 0x01
0000089e: PUSH1 0xe5
000008a0: SHL
000008a1: PUSH3 0x461bcd
000008a5: MUL
000008a6: DUP2
000008a7: MSTORE
000008a8: PUSH1 0x04
000008aa: ADD
000008ab: DUP1
000008ac: DUP1
000008ad: PUSH1 0x20
000008af: ADD
000008b0: DUP3
000008b1: DUP2
000008b2: SUB
000008b3: DUP3
000008b4: MSTORE
000008b5: PUSH1 0x33
000008b7: DUP2
000008b8: MSTORE
000008b9: PUSH1 0x20
000008bb: ADD
000008bc: DUP1
000008bd: PUSH2 0x14bb
000008c0: PUSH1 0x33
000008c2: SWAP2
000008c3: CODECOPY
000008c4: PUSH1 0x40
000008c6: ADD
000008c7: SWAP2
000008c8: POP
000008c9: POP
000008ca: PUSH1 0x40
000008cc: MLOAD
000008cd: DUP1
000008ce: SWAP2
000008cf: SUB
000008d0: SWAP1
000008d1: REVERT
000008d2: JUMPDEST
000008d3: PUSH1 0x00
000008d5: DUP2
000008d6: DUP2
000008d7: MSTORE
000008d8: PUSH1 0x03
000008da: PUSH1 0x20
000008dc: MSTORE
000008dd: PUSH1 0x40
000008df: SWAP1
000008e0: KECCAK256
000008e1: DUP1
000008e2: SLOAD
000008e3: PUSH1 0xff
000008e5: NOT
000008e6: AND
000008e7: SWAP1
000008e8: SSTORE
000008e9: DUP5
000008ea: MLOAD
000008eb: PUSH1 0x60
000008ed: SWAP1
000008ee: PUSH2 0x08f8
000008f1: JUMPI
000008f2: POP
000008f3: DUP4
000008f4: PUSH2 0x0985
000008f7: JUMP
000008f8: JUMPDEST
000008f9: DUP6
000008fa: DUP1
000008fb: MLOAD
000008fc: SWAP1
000008fd: PUSH1 0x20
000008ff: ADD
00000900: KECCAK256
00000901: DUP6
00000902: PUSH1 0x40
00000904: MLOAD
00000905: PUSH1 0x20
00000907: ADD
00000908: DUP1
00000909: DUP4
0000090a: PUSH1 0x01
0000090c: PUSH1 0x01
0000090e: PUSH1 0xe0
00000910: SHL
00000911: SUB
00000912: NOT
00000913: AND
00000914: PUSH1 0x01
00000916: PUSH1 0x01
00000918: PUSH1 0xe0
0000091a: SHL
0000091b: SUB
0000091c: NOT
0000091d: AND
0000091e: DUP2
0000091f: MSTORE
00000920: PUSH1 0x04
00000922: ADD
00000923: DUP3
00000924: DUP1
00000925: MLOAD
00000926: SWAP1
00000927: PUSH1 0x20
00000929: ADD
0000092a: SWAP1
0000092b: DUP1
0000092c: DUP4
0000092d: DUP4
0000092e: JUMPDEST
0000092f: PUSH1 0x20
00000931: DUP4
00000932: LT
00000933: PUSH2 0x094d
00000936: JUMPI
00000937: DUP1
00000938: MLOAD
00000939: DUP3
0000093a: MSTORE
0000093b: PUSH1 0x1f
0000093d: NOT
0000093e: SWAP1
0000093f: SWAP3
00000940: ADD
00000941: SWAP2
00000942: PUSH1 0x20
00000944: SWAP2
00000945: DUP3
00000946: ADD
00000947: SWAP2
00000948: ADD
00000949: PUSH2 0x092e
0000094c: JUMP
0000094d: JUMPDEST
0000094e: PUSH1 0x01
00000950: DUP4
00000951: PUSH1 0x20
00000953: SUB
00000954: PUSH2 0x0100
00000957: EXP
00000958: SUB
00000959: DUP1
0000095a: NOT
0000095b: DUP3
0000095c: MLOAD
0000095d: AND
0000095e: DUP2
0000095f: DUP5
00000960: MLOAD
00000961: AND
00000962: DUP1
00000963: DUP3
00000964: OR
00000965: DUP6
00000966: MSTORE
00000967: POP
00000968: POP
00000969: POP
0000096a: POP
0000096b: POP
0000096c: POP
0000096d: SWAP1
0000096e: POP
0000096f: ADD
00000970: SWAP3
00000971: POP
00000972: POP
00000973: POP
00000974: PUSH1 0x40
00000976: MLOAD
00000977: PUSH1 0x20
00000979: DUP2
0000097a: DUP4
0000097b: SUB
0000097c: SUB
0000097d: DUP2
0000097e: MSTORE
0000097f: SWAP1
00000980: PUSH1 0x40
00000982: MSTORE
00000983: SWAP1
00000984: POP
00000985: JUMPDEST
00000986: PUSH1 0x00
00000988: PUSH1 0x60
0000098a: DUP10
0000098b: PUSH1 0x01
0000098d: PUSH1 0x01
0000098f: PUSH1 0xa0
00000991: SHL
00000992: SUB
00000993: AND
00000994: DUP10
00000995: DUP5
00000996: PUSH1 0x40
00000998: MLOAD
00000999: DUP1
0000099a: DUP3
0000099b: DUP1
0000099c: MLOAD
0000099d: SWAP1
0000099e: PUSH1 0x20
000009a0: ADD
000009a1: SWAP1
000009a2: DUP1
000009a3: DUP4
000009a4: DUP4
000009a5: JUMPDEST
000009a6: PUSH1 0x20
000009a8: DUP4
000009a9: LT
000009aa: PUSH2 0x09c4
000009ad: JUMPI
000009ae: DUP1
000009af: MLOAD
000009b0: DUP3
000009b1: MSTORE
000009b2: PUSH1 0x1f
000009b4: NOT
000009b5: SWAP1
000009b6: SWAP3
000009b7: ADD
000009b8: SWAP2
000009b9: PUSH1 0x20
000009bb: SWAP2
000009bc: DUP3
000009bd: ADD
000009be: SWAP2
000009bf: ADD
000009c0: PUSH2 0x09a5
000009c3: JUMP
000009c4: JUMPDEST
000009c5: PUSH1 0x01
000009c7: DUP4
000009c8: PUSH1 0x20
000009ca: SUB
000009cb: PUSH2 0x0100
000009ce: EXP
000009cf: SUB
000009d0: DUP1
000009d1: NOT
000009d2: DUP3
000009d3: MLOAD
000009d4: AND
000009d5: DUP2
000009d6: DUP5
000009d7: MLOAD
000009d8: AND
000009d9: DUP1
000009da: DUP3
000009db: OR
000009dc: DUP6
000009dd: MSTORE
000009de: POP
000009df: POP
000009e0: POP
000009e1: POP
000009e2: POP
000009e3: POP
000009e4: SWAP1
000009e5: POP
000009e6: ADD
000009e7: SWAP2
000009e8: POP
000009e9: POP
000009ea: PUSH1 0x00
000009ec: PUSH1 0x40
000009ee: MLOAD
000009ef: DUP1
000009f0: DUP4
000009f1: SUB
000009f2: DUP2
000009f3: DUP6
000009f4: DUP8
000009f5: GAS
000009f6: CALL
000009f7: SWAP3
000009f8: POP
000009f9: POP
000009fa: POP
000009fb: RETURNDATASIZE
000009fc: DUP1
000009fd: PUSH1 0x00
000009ff: DUP2
00000a00: EQ
00000a01: PUSH2 0x0a26
00000a04: JUMPI
00000a05: PUSH1 0x40
00000a07: MLOAD
00000a08: SWAP2
00000a09: POP
00000a0a: PUSH1 0x1f
00000a0c: NOT
00000a0d: PUSH1 0x3f
00000a0f: RETURNDATASIZE
00000a10: ADD
00000a11: AND
00000a12: DUP3
00000a13: ADD
00000a14: PUSH1 0x40
00000a16: MSTORE
00000a17: RETURNDATASIZE
00000a18: DUP3
00000a19: MSTORE
00000a1a: RETURNDATASIZE
00000a1b: PUSH1 0x00
00000a1d: PUSH1 0x20
00000a1f: DUP5
00000a20: ADD
00000a21: RETURNDATACOPY
00000a22: PUSH2 0x0a2b
00000a25: JUMP
00000a26: JUMPDEST
00000a27: PUSH1 0x60
00000a29: SWAP2
00000a2a: POP
00000a2b: JUMPDEST
00000a2c: POP
00000a2d: SWAP2
00000a2e: POP
00000a2f: SWAP2
00000a30: POP
00000a31: DUP2
00000a32: PUSH2 0x0a6f
00000a35: JUMPI
00000a36: PUSH1 0x40
00000a38: MLOAD
00000a39: PUSH1 0x01
00000a3b: PUSH1 0xe5
00000a3d: SHL
00000a3e: PUSH3 0x461bcd
00000a42: MUL
00000a43: DUP2
00000a44: MSTORE
00000a45: PUSH1 0x04
00000a47: ADD
00000a48: DUP1
00000a49: DUP1
00000a4a: PUSH1 0x20
00000a4c: ADD
00000a4d: DUP3
00000a4e: DUP2
00000a4f: SUB
00000a50: DUP3
00000a51: MSTORE
00000a52: PUSH1 0x3d
00000a54: DUP2
00000a55: MSTORE
00000a56: PUSH1 0x20
00000a58: ADD
00000a59: DUP1
00000a5a: PUSH2 0x1682
00000a5d: PUSH1 0x3d
00000a5f: SWAP2
00000a60: CODECOPY
00000a61: PUSH1 0x40
00000a63: ADD
00000a64: SWAP2
00000a65: POP
00000a66: POP
00000a67: PUSH1 0x40
00000a69: MLOAD
00000a6a: DUP1
00000a6b: SWAP2
00000a6c: SUB
00000a6d: SWAP1
00000a6e: REVERT
00000a6f: JUMPDEST
00000a70: DUP10
00000a71: PUSH1 0x01
00000a73: PUSH1 0x01
00000a75: PUSH1 0xa0
00000a77: SHL
00000a78: SUB
00000a79: AND
00000a7a: DUP5
00000a7b: PUSH32 0xa560e3198060a2f10670c1ec5b403077ea6ae93ca8de1c32b451dc1a943cd6e7
00000a9c: DUP12
00000a9d: DUP12
00000a9e: DUP12
00000a9f: DUP12
00000aa0: PUSH1 0x40
00000aa2: MLOAD
00000aa3: DUP1
00000aa4: DUP6
00000aa5: DUP2
00000aa6: MSTORE
00000aa7: PUSH1 0x20
00000aa9: ADD
00000aaa: DUP1
00000aab: PUSH1 0x20
00000aad: ADD
00000aae: DUP1
00000aaf: PUSH1 0x20
00000ab1: ADD
00000ab2: DUP5
00000ab3: DUP2
00000ab4: MSTORE
00000ab5: PUSH1 0x20
00000ab7: ADD
00000ab8: DUP4
00000ab9: DUP2
00000aba: SUB
00000abb: DUP4
00000abc: MSTORE
00000abd: DUP7
00000abe: DUP2
00000abf: DUP2
00000ac0: MLOAD
00000ac1: DUP2
00000ac2: MSTORE
00000ac3: PUSH1 0x20
00000ac5: ADD
00000ac6: SWAP2
00000ac7: POP
00000ac8: DUP1
00000ac9: MLOAD
00000aca: SWAP1
00000acb: PUSH1 0x20
00000acd: ADD
00000ace: SWAP1
00000acf: DUP1
00000ad0: DUP4
00000ad1: DUP4
00000ad2: PUSH1 0x00
00000ad4: JUMPDEST
00000ad5: DUP4
00000ad6: DUP2
00000ad7: LT
00000ad8: ISZERO
00000ad9: PUSH2 0x0aec
00000adc: JUMPI
00000add: DUP2
00000ade: DUP2
00000adf: ADD
00000ae0: MLOAD
00000ae1: DUP4
00000ae2: DUP3
00000ae3: ADD
00000ae4: MSTORE
00000ae5: PUSH1 0x20
00000ae7: ADD
00000ae8: PUSH2 0x0ad4
00000aeb: JUMP
00000aec: JUMPDEST
00000aed: POP
00000aee: POP
00000aef: POP
00000af0: POP
00000af1: SWAP1
00000af2: POP
00000af3: SWAP1
00000af4: DUP2
00000af5: ADD
00000af6: SWAP1
00000af7: PUSH1 0x1f
00000af9: AND
00000afa: DUP1
00000afb: ISZERO
00000afc: PUSH2 0x0b19
00000aff: JUMPI
00000b00: DUP1
00000b01: DUP3
00000b02: SUB
00000b03: DUP1
00000b04: MLOAD
00000b05: PUSH1 0x01
00000b07: DUP4
00000b08: PUSH1 0x20
00000b0a: SUB
00000b0b: PUSH2 0x0100
00000b0e: EXP
00000b0f: SUB
00000b10: NOT
00000b11: AND
00000b12: DUP2
00000b13: MSTORE
00000b14: PUSH1 0x20
00000b16: ADD
00000b17: SWAP2
00000b18: POP
00000b19: JUMPDEST
00000b1a: POP
00000b1b: DUP4
00000b1c: DUP2
00000b1d: SUB
00000b1e: DUP3
00000b1f: MSTORE
00000b20: DUP6
00000b21: MLOAD
00000b22: DUP2
00000b23: MSTORE
00000b24: DUP6
00000b25: MLOAD
00000b26: PUSH1 0x20
00000b28: SWAP2
00000b29: DUP3
00000b2a: ADD
00000b2b: SWAP2
00000b2c: DUP8
00000b2d: ADD
00000b2e: SWAP1
00000b2f: DUP1
00000b30: DUP4
00000b31: DUP4
00000b32: PUSH1 0x00
00000b34: JUMPDEST
00000b35: DUP4
00000b36: DUP2
00000b37: LT
00000b38: ISZERO
00000b39: PUSH2 0x0b4c
00000b3c: JUMPI
00000b3d: DUP2
00000b3e: DUP2
00000b3f: ADD
00000b40: MLOAD
00000b41: DUP4
00000b42: DUP3
00000b43: ADD
00000b44: MSTORE
00000b45: PUSH1 0x20
00000b47: ADD
00000b48: PUSH2 0x0b34
00000b4b: JUMP
00000b4c: JUMPDEST
00000b4d: POP
00000b4e: POP
00000b4f: POP
00000b50: POP
00000b51: SWAP1
00000b52: POP
00000b53: SWAP1
00000b54: DUP2
00000b55: ADD
00000b56: SWAP1
00000b57: PUSH1 0x1f
00000b59: AND
00000b5a: DUP1
00000b5b: ISZERO
00000b5c: PUSH2 0x0b79
00000b5f: JUMPI
00000b60: DUP1
00000b61: DUP3
00000b62: SUB
00000b63: DUP1
00000b64: MLOAD
00000b65: PUSH1 0x01
00000b67: DUP4
00000b68: PUSH1 0x20
00000b6a: SUB
00000b6b: PUSH2 0x0100
00000b6e: EXP
00000b6f: SUB
00000b70: NOT
00000b71: AND
00000b72: DUP2
00000b73: MSTORE
00000b74: PUSH1 0x20
00000b76: ADD
00000b77: SWAP2
00000b78: POP
00000b79: JUMPDEST
00000b7a: POP
00000b7b: SWAP7
00000b7c: POP
00000b7d: POP
00000b7e: POP
00000b7f: POP
00000b80: POP
00000b81: POP
00000b82: POP
00000b83: PUSH1 0x40
00000b85: MLOAD
00000b86: DUP1
00000b87: SWAP2
00000b88: SUB
00000b89: SWAP1
00000b8a: LOG3
00000b8b: SWAP10
00000b8c: SWAP9
00000b8d: POP
00000b8e: POP
00000b8f: POP
00000b90: POP
00000b91: POP
00000b92: POP
00000b93: POP
00000b94: POP
00000b95: POP
00000b96: JUMP
00000b97: JUMPDEST
00000b98: PUSH1 0x01
00000b9a: SLOAD
00000b9b: PUSH1 0x01
00000b9d: PUSH1 0x01
00000b9f: PUSH1 0xa0
00000ba1: SHL
00000ba2: SUB
00000ba3: AND
00000ba4: CALLER
00000ba5: EQ
00000ba6: PUSH2 0x0be3
00000ba9: JUMPI
00000baa: PUSH1 0x40
00000bac: MLOAD
00000bad: PUSH1 0x01
00000baf: PUSH1 0xe5
00000bb1: SHL
00000bb2: PUSH3 0x461bcd
00000bb6: MUL
00000bb7: DUP2
00000bb8: MSTORE
00000bb9: PUSH1 0x04
00000bbb: ADD
00000bbc: DUP1
00000bbd: DUP1
00000bbe: PUSH1 0x20
00000bc0: ADD
00000bc1: DUP3
00000bc2: DUP2
00000bc3: SUB
00000bc4: DUP3
00000bc5: MSTORE
00000bc6: PUSH1 0x38
00000bc8: DUP2
00000bc9: MSTORE
00000bca: PUSH1 0x20
00000bcc: ADD
00000bcd: DUP1
00000bce: PUSH2 0x15dc
00000bd1: PUSH1 0x38
00000bd3: SWAP2
00000bd4: CODECOPY
00000bd5: PUSH1 0x40
00000bd7: ADD
00000bd8: SWAP2
00000bd9: POP
00000bda: POP
00000bdb: PUSH1 0x40
00000bdd: MLOAD
00000bde: DUP1
00000bdf: SWAP2
00000be0: SUB
00000be1: SWAP1
00000be2: REVERT
00000be3: JUMPDEST
00000be4: PUSH1 0x00
00000be6: DUP1
00000be7: SLOAD
00000be8: CALLER
00000be9: PUSH1 0x01
00000beb: PUSH1 0x01
00000bed: PUSH1 0xa0
00000bef: SHL
00000bf0: SUB
00000bf1: NOT
00000bf2: SWAP2
00000bf3: DUP3
00000bf4: AND
00000bf5: OR
00000bf6: DUP1
00000bf7: DUP4
00000bf8: SSTORE
00000bf9: PUSH1 0x01
00000bfb: DUP1
00000bfc: SLOAD
00000bfd: SWAP1
00000bfe: SWAP3
00000bff: AND
00000c00: SWAP1
00000c01: SWAP2
00000c02: SSTORE
00000c03: PUSH1 0x40
00000c05: MLOAD
00000c06: PUSH1 0x01
00000c08: PUSH1 0x01
00000c0a: PUSH1 0xa0
00000c0c: SHL
00000c0d: SUB
00000c0e: SWAP1
00000c0f: SWAP2
00000c10: AND
00000c11: SWAP2
00000c12: PUSH32 0x71614071b88dee5e0b2ae578a9dd7b2ebbe9ae832ba419dc0242cd065a290b6c
00000c33: SWAP2
00000c34: LOG2
00000c35: JUMP
00000c36: JUMPDEST
00000c37: PUSH1 0x01
00000c39: SLOAD
00000c3a: PUSH1 0x01
00000c3c: PUSH1 0x01
00000c3e: PUSH1 0xa0
00000c40: SHL
00000c41: SUB
00000c42: AND
00000c43: DUP2
00000c44: JUMP
00000c45: JUMPDEST
00000c46: PUSH1 0x00
00000c48: DUP1
00000c49: SLOAD
00000c4a: PUSH1 0x01
00000c4c: PUSH1 0x01
00000c4e: PUSH1 0xa0
00000c50: SHL
00000c51: SUB
00000c52: AND
00000c53: CALLER
00000c54: EQ
00000c55: PUSH2 0x0c92
00000c58: JUMPI
00000c59: PUSH1 0x40
00000c5b: MLOAD
00000c5c: PUSH1 0x01
00000c5e: PUSH1 0xe5
00000c60: SHL
00000c61: PUSH3 0x461bcd
00000c65: MUL
00000c66: DUP2
00000c67: MSTORE
00000c68: PUSH1 0x04
00000c6a: ADD
00000c6b: DUP1
00000c6c: DUP1
00000c6d: PUSH1 0x20
00000c6f: ADD
00000c70: DUP3
00000c71: DUP2
00000c72: SUB
00000c73: DUP3
00000c74: MSTORE
00000c75: PUSH1 0x36
00000c77: DUP2
00000c78: MSTORE
00000c79: PUSH1 0x20
00000c7b: ADD
00000c7c: DUP1
00000c7d: PUSH2 0x164c
00000c80: PUSH1 0x36
00000c82: SWAP2
00000c83: CODECOPY
00000c84: PUSH1 0x40
00000c86: ADD
00000c87: SWAP2
00000c88: POP
00000c89: POP
00000c8a: PUSH1 0x40
00000c8c: MLOAD
00000c8d: DUP1
00000c8e: SWAP2
00000c8f: SUB
00000c90: SWAP1
00000c91: REVERT
00000c92: JUMPDEST
00000c93: PUSH2 0x0cac
00000c96: PUSH1 0x02
00000c98: SLOAD
00000c99: PUSH2 0x0ca0
00000c9c: PUSH2 0x13e3
00000c9f: JUMP
00000ca0: JUMPDEST
00000ca1: SWAP1
00000ca2: PUSH4 0xffffffff
00000ca7: PUSH2 0x13e7
00000caa: AND
00000cab: JUMP
00000cac: JUMPDEST
00000cad: DUP3
00000cae: LT
00000caf: ISZERO
00000cb0: PUSH2 0x0ced
00000cb3: JUMPI
00000cb4: PUSH1 0x40
00000cb6: MLOAD
00000cb7: PUSH1 0x01
00000cb9: PUSH1 0xe5
00000cbb: SHL
00000cbc: PUSH3 0x461bcd
00000cc0: MUL
00000cc1: DUP2
00000cc2: MSTORE
00000cc3: PUSH1 0x04
00000cc5: ADD
00000cc6: DUP1
00000cc7: DUP1
00000cc8: PUSH1 0x20
00000cca: ADD
00000ccb: DUP3
00000ccc: DUP2
00000ccd: SUB
00000cce: DUP3
00000ccf: MSTORE
00000cd0: PUSH1 0x49
00000cd2: DUP2
00000cd3: MSTORE
00000cd4: PUSH1 0x20
00000cd6: ADD
00000cd7: DUP1
00000cd8: PUSH2 0x16bf
00000cdb: PUSH1 0x49
00000cdd: SWAP2
00000cde: CODECOPY
00000cdf: PUSH1 0x60
00000ce1: ADD
00000ce2: SWAP2
00000ce3: POP
00000ce4: POP
00000ce5: PUSH1 0x40
00000ce7: MLOAD
00000ce8: DUP1
00000ce9: SWAP2
00000cea: SUB
00000ceb: SWAP1
00000cec: REVERT
00000ced: JUMPDEST
00000cee: PUSH1 0x00
00000cf0: DUP7
00000cf1: DUP7
00000cf2: DUP7
00000cf3: DUP7
00000cf4: DUP7
00000cf5: PUSH1 0x40
00000cf7: MLOAD
00000cf8: PUSH1 0x20
00000cfa: ADD
00000cfb: DUP1
00000cfc: DUP7
00000cfd: PUSH1 0x01
00000cff: PUSH1 0x01
00000d01: PUSH1 0xa0
00000d03: SHL
00000d04: SUB
00000d05: AND
00000d06: PUSH1 0x01
00000d08: PUSH1 0x01
00000d0a: PUSH1 0xa0
00000d0c: SHL
00000d0d: SUB
00000d0e: AND
00000d0f: DUP2
00000d10: MSTORE
00000d11: PUSH1 0x20
00000d13: ADD
00000d14: DUP6
00000d15: DUP2
00000d16: MSTORE
00000d17: PUSH1 0x20
00000d19: ADD
00000d1a: DUP1
00000d1b: PUSH1 0x20
00000d1d: ADD
00000d1e: DUP1
00000d1f: PUSH1 0x20
00000d21: ADD
00000d22: DUP5
00000d23: DUP2
00000d24: MSTORE
00000d25: PUSH1 0x20
00000d27: ADD
00000d28: DUP4
00000d29: DUP2
00000d2a: SUB
00000d2b: DUP4
00000d2c: MSTORE
00000d2d: DUP7
00000d2e: DUP2
00000d2f: DUP2
00000d30: MLOAD
00000d31: DUP2
00000d32: MSTORE
00000d33: PUSH1 0x20
00000d35: ADD
00000d36: SWAP2
00000d37: POP
00000d38: DUP1
00000d39: MLOAD
00000d3a: SWAP1
00000d3b: PUSH1 0x20
00000d3d: ADD
00000d3e: SWAP1
00000d3f: DUP1
00000d40: DUP4
00000d41: DUP4
00000d42: PUSH1 0x00
00000d44: JUMPDEST
00000d45: DUP4
00000d46: DUP2
00000d47: LT
00000d48: ISZERO
00000d49: PUSH2 0x0d5c
00000d4c: JUMPI
00000d4d: DUP2
00000d4e: DUP2
00000d4f: ADD
00000d50: MLOAD
00000d51: DUP4
00000d52: DUP3
00000d53: ADD
00000d54: MSTORE
00000d55: PUSH1 0x20
00000d57: ADD
00000d58: PUSH2 0x0d44
00000d5b: JUMP
00000d5c: JUMPDEST
00000d5d: POP
00000d5e: POP
00000d5f: POP
00000d60: POP
00000d61: SWAP1
00000d62: POP
00000d63: SWAP1
00000d64: DUP2
00000d65: ADD
00000d66: SWAP1
00000d67: PUSH1 0x1f
00000d69: AND
00000d6a: DUP1
00000d6b: ISZERO
00000d6c: PUSH2 0x0d89
00000d6f: JUMPI
00000d70: DUP1
00000d71: DUP3
00000d72: SUB
00000d73: DUP1
00000d74: MLOAD
00000d75: PUSH1 0x01
00000d77: DUP4
00000d78: PUSH1 0x20
00000d7a: SUB
00000d7b: PUSH2 0x0100
00000d7e: EXP
00000d7f: SUB
00000d80: NOT
00000d81: AND
00000d82: DUP2
00000d83: MSTORE
00000d84: PUSH1 0x20
00000d86: ADD
00000d87: SWAP2
00000d88: POP
00000d89: JUMPDEST
00000d8a: POP
00000d8b: DUP4
00000d8c: DUP2
00000d8d: SUB
00000d8e: DUP3
00000d8f: MSTORE
00000d90: DUP6
00000d91: MLOAD
00000d92: DUP2
00000d93: MSTORE
00000d94: DUP6
00000d95: MLOAD
00000d96: PUSH1 0x20
00000d98: SWAP2
00000d99: DUP3
00000d9a: ADD
00000d9b: SWAP2
00000d9c: DUP8
00000d9d: ADD
00000d9e: SWAP1
00000d9f: DUP1
00000da0: DUP4
00000da1: DUP4
00000da2: PUSH1 0x00
00000da4: JUMPDEST
00000da5: DUP4
00000da6: DUP2
00000da7: LT
00000da8: ISZERO
00000da9: PUSH2 0x0dbc
00000dac: JUMPI
00000dad: DUP2
00000dae: DUP2
00000daf: ADD
00000db0: MLOAD
00000db1: DUP4
00000db2: DUP3
00000db3: ADD
00000db4: MSTORE
00000db5: PUSH1 0x20
00000db7: ADD
00000db8: PUSH2 0x0da4
00000dbb: JUMP
00000dbc: JUMPDEST
00000dbd: POP
00000dbe: POP
00000dbf: POP
00000dc0: POP
00000dc1: SWAP1
00000dc2: POP
00000dc3: SWAP1
00000dc4: DUP2
00000dc5: ADD
00000dc6: SWAP1
00000dc7: PUSH1 0x1f
00000dc9: AND
00000dca: DUP1
00000dcb: ISZERO
00000dcc: PUSH2 0x0de9
00000dcf: JUMPI
00000dd0: DUP1
00000dd1: DUP3
00000dd2: SUB
00000dd3: DUP1
00000dd4: MLOAD
00000dd5: PUSH1 0x01
00000dd7: DUP4
00000dd8: PUSH1 0x20
00000dda: SUB
00000ddb: PUSH2 0x0100
00000dde: EXP
00000ddf: SUB
00000de0: NOT
00000de1: AND
00000de2: DUP2
00000de3: MSTORE
00000de4: PUSH1 0x20
00000de6: ADD
00000de7: SWAP2
00000de8: POP
00000de9: JUMPDEST
00000dea: POP
00000deb: SWAP8
00000dec: POP
00000ded: POP
00000dee: POP
00000def: POP
00000df0: POP
00000df1: POP
00000df2: POP
00000df3: POP
00000df4: PUSH1 0x40
00000df6: MLOAD
00000df7: PUSH1 0x20
00000df9: DUP2
00000dfa: DUP4
00000dfb: SUB
00000dfc: SUB
00000dfd: DUP2
00000dfe: MSTORE
00000dff: SWAP1
00000e00: PUSH1 0x40
00000e02: MSTORE
00000e03: DUP1
00000e04: MLOAD
00000e05: SWAP1
00000e06: PUSH1 0x20
00000e08: ADD
00000e09: KECCAK256
00000e0a: SWAP1
00000e0b: POP
00000e0c: PUSH1 0x01
00000e0e: PUSH1 0x03
00000e10: PUSH1 0x00
00000e12: DUP4
00000e13: DUP2
00000e14: MSTORE
00000e15: PUSH1 0x20
00000e17: ADD
00000e18: SWAP1
00000e19: DUP2
00000e1a: MSTORE
00000e1b: PUSH1 0x20
00000e1d: ADD
00000e1e: PUSH1 0x00
00000e20: KECCAK256
00000e21: PUSH1 0x00
00000e23: PUSH2 0x0100
00000e26: EXP
00000e27: DUP2
00000e28: SLOAD
00000e29: DUP2
00000e2a: PUSH1 0xff
00000e2c: MUL
00000e2d: NOT
00000e2e: AND
00000e2f: SWAP1
00000e30: DUP4
00000e31: ISZERO
00000e32: ISZERO
00000e33: MUL
00000e34: OR
00000e35: SWAP1
00000e36: SSTORE
00000e37: POP
00000e38: DUP7
00000e39: PUSH1 0x01
00000e3b: PUSH1 0x01
00000e3d: PUSH1 0xa0
00000e3f: SHL
00000e40: SUB
00000e41: AND
00000e42: DUP2
00000e43: PUSH32 0x76e2796dc3a81d57b0e8504b647febcbeeb5f4af818e164f11eef8131a6a763f
00000e64: DUP9
00000e65: DUP9
00000e66: DUP9
00000e67: DUP9
00000e68: PUSH1 0x40
00000e6a: MLOAD
00000e6b: DUP1
00000e6c: DUP6
00000e6d: DUP2
00000e6e: MSTORE
00000e6f: PUSH1 0x20
00000e71: ADD
00000e72: DUP1
00000e73: PUSH1 0x20
00000e75: ADD
00000e76: DUP1
00000e77: PUSH1 0x20
00000e79: ADD
00000e7a: DUP5
00000e7b: DUP2
00000e7c: MSTORE
00000e7d: PUSH1 0x20
00000e7f: ADD
00000e80: DUP4
00000e81: DUP2
00000e82: SUB
00000e83: DUP4
00000e84: MSTORE
00000e85: DUP7
00000e86: DUP2
00000e87: DUP2
00000e88: MLOAD
00000e89: DUP2
00000e8a: MSTORE
00000e8b: PUSH1 0x20
00000e8d: ADD
00000e8e: SWAP2
00000e8f: POP
00000e90: DUP1
00000e91: MLOAD
00000e92: SWAP1
00000e93: PUSH1 0x20
00000e95: ADD
00000e96: SWAP1
00000e97: DUP1
00000e98: DUP4
00000e99: DUP4
00000e9a: PUSH1 0x00
00000e9c: JUMPDEST
00000e9d: DUP4
00000e9e: DUP2
00000e9f: LT
00000ea0: ISZERO
00000ea1: PUSH2 0x0eb4
00000ea4: JUMPI
00000ea5: DUP2
00000ea6: DUP2
00000ea7: ADD
00000ea8: MLOAD
00000ea9: DUP4
00000eaa: DUP3
00000eab: ADD
00000eac: MSTORE
00000ead: PUSH1 0x20
00000eaf: ADD
00000eb0: PUSH2 0x0e9c
00000eb3: JUMP
00000eb4: JUMPDEST
00000eb5: POP
00000eb6: POP
00000eb7: POP
00000eb8: POP
00000eb9: SWAP1
00000eba: POP
00000ebb: SWAP1
00000ebc: DUP2
00000ebd: ADD
00000ebe: SWAP1
00000ebf: PUSH1 0x1f
00000ec1: AND
00000ec2: DUP1
00000ec3: ISZERO
00000ec4: PUSH2 0x0ee1
00000ec7: JUMPI
00000ec8: DUP1
00000ec9: DUP3
00000eca: SUB
00000ecb: DUP1
00000ecc: MLOAD
00000ecd: PUSH1 0x01
00000ecf: DUP4
00000ed0: PUSH1 0x20
00000ed2: SUB
00000ed3: PUSH2 0x0100
00000ed6: EXP
00000ed7: SUB
00000ed8: NOT
00000ed9: AND
00000eda: DUP2
00000edb: MSTORE
00000edc: PUSH1 0x20
00000ede: ADD
00000edf: SWAP2
00000ee0: POP
00000ee1: JUMPDEST
00000ee2: POP
00000ee3: DUP4
00000ee4: DUP2
00000ee5: SUB
00000ee6: DUP3
00000ee7: MSTORE
00000ee8: DUP6
00000ee9: MLOAD
00000eea: DUP2
00000eeb: MSTORE
00000eec: DUP6
00000eed: MLOAD
00000eee: PUSH1 0x20
00000ef0: SWAP2
00000ef1: DUP3
00000ef2: ADD
00000ef3: SWAP2
00000ef4: DUP8
00000ef5: ADD
00000ef6: SWAP1
00000ef7: DUP1
00000ef8: DUP4
00000ef9: DUP4
00000efa: PUSH1 0x00
00000efc: JUMPDEST
00000efd: DUP4
00000efe: DUP2
00000eff: LT
00000f00: ISZERO
00000f01: PUSH2 0x0f14
00000f04: JUMPI
00000f05: DUP2
00000f06: DUP2
00000f07: ADD
00000f08: MLOAD
00000f09: DUP4
00000f0a: DUP3
00000f0b: ADD
00000f0c: MSTORE
00000f0d: PUSH1 0x20
00000f0f: ADD
00000f10: PUSH2 0x0efc
00000f13: JUMP
00000f14: JUMPDEST
00000f15: POP
00000f16: POP
00000f17: POP
00000f18: POP
00000f19: SWAP1
00000f1a: POP
00000f1b: SWAP1
00000f1c: DUP2
00000f1d: ADD
00000f1e: SWAP1
00000f1f: PUSH1 0x1f
00000f21: AND
00000f22: DUP1
00000f23: ISZERO
00000f24: PUSH2 0x0f41
00000f27: JUMPI
00000f28: DUP1
00000f29: DUP3
00000f2a: SUB
00000f2b: DUP1
00000f2c: MLOAD
00000f2d: PUSH1 0x01
00000f2f: DUP4
00000f30: PUSH1 0x20
00000f32: SUB
00000f33: PUSH2 0x0100
00000f36: EXP
00000f37: SUB
00000f38: NOT
00000f39: AND
00000f3a: DUP2
00000f3b: MSTORE
00000f3c: PUSH1 0x20
00000f3e: ADD
00000f3f: SWAP2
00000f40: POP
00000f41: JUMPDEST
00000f42: POP
00000f43: SWAP7
00000f44: POP
00000f45: POP
00000f46: POP
00000f47: POP
00000f48: POP
00000f49: POP
00000f4a: POP
00000f4b: PUSH1 0x40
00000f4d: MLOAD
00000f4e: DUP1
00000f4f: SWAP2
00000f50: SUB
00000f51: SWAP1
00000f52: LOG3
00000f53: SWAP7
00000f54: SWAP6
00000f55: POP
00000f56: POP
00000f57: POP
00000f58: POP
00000f59: POP
00000f5a: POP
00000f5b: JUMP
00000f5c: JUMPDEST
00000f5d: CALLER
00000f5e: ADDRESS
00000f5f: EQ
00000f60: PUSH2 0x0f9d
00000f63: JUMPI
00000f64: PUSH1 0x40
00000f66: MLOAD
00000f67: PUSH1 0x01
00000f69: PUSH1 0xe5
00000f6b: SHL
00000f6c: PUSH3 0x461bcd
00000f70: MUL
00000f71: DUP2
00000f72: MSTORE
00000f73: PUSH1 0x04
00000f75: ADD
00000f76: DUP1
00000f77: DUP1
00000f78: PUSH1 0x20
00000f7a: ADD
00000f7b: DUP3
00000f7c: DUP2
00000f7d: SUB
00000f7e: DUP3
00000f7f: MSTORE
00000f80: PUSH1 0x38
00000f82: DUP2
00000f83: MSTORE
00000f84: PUSH1 0x20
00000f86: ADD
00000f87: DUP1
00000f88: PUSH2 0x1614
00000f8b: PUSH1 0x38
00000f8d: SWAP2
00000f8e: CODECOPY
00000f8f: PUSH1 0x40
00000f91: ADD
00000f92: SWAP2
00000f93: POP
00000f94: POP
00000f95: PUSH1 0x40
00000f97: MLOAD
00000f98: DUP1
00000f99: SWAP2
00000f9a: SUB
00000f9b: SWAP1
00000f9c: REVERT
00000f9d: JUMPDEST
00000f9e: PUSH1 0x01
00000fa0: DUP1
00000fa1: SLOAD
00000fa2: PUSH1 0x01
00000fa4: PUSH1 0x01
00000fa6: PUSH1 0xa0
00000fa8: SHL
00000fa9: SUB
00000faa: NOT
00000fab: AND
00000fac: PUSH1 0x01
00000fae: PUSH1 0x01
00000fb0: PUSH1 0xa0
00000fb2: SHL
00000fb3: SUB
00000fb4: DUP4
00000fb5: DUP2
00000fb6: AND
00000fb7: SWAP2
00000fb8: SWAP1
00000fb9: SWAP2
00000fba: OR
00000fbb: SWAP2
00000fbc: DUP3
00000fbd: SWAP1
00000fbe: SSTORE
00000fbf: PUSH1 0x40
00000fc1: MLOAD
00000fc2: SWAP2
00000fc3: AND
00000fc4: SWAP1
00000fc5: PUSH32 0x69d78e38a01985fbb1462961809b4b2d65531bc93b2b94037f3334b82ca4a756
00000fe6: SWAP1
00000fe7: PUSH1 0x00
00000fe9: SWAP1
00000fea: LOG2
00000feb: POP
00000fec: JUMP
00000fed: JUMPDEST
00000fee: PUSH1 0x00
00000ff0: SLOAD
00000ff1: PUSH1 0x01
00000ff3: PUSH1 0x01
00000ff5: PUSH1 0xa0
00000ff7: SHL
00000ff8: SUB
00000ff9: AND
00000ffa: CALLER
00000ffb: EQ
00000ffc: PUSH2 0x1039
00000fff: JUMPI
00001000: PUSH1 0x40
00001002: MLOAD
00001003: PUSH1 0x01
00001005: PUSH1 0xe5
00001007: SHL
00001008: PUSH3 0x461bcd
0000100c: MUL
0000100d: DUP2
0000100e: MSTORE
0000100f: PUSH1 0x04
00001011: ADD
00001012: DUP1
00001013: DUP1
00001014: PUSH1 0x20
00001016: ADD
00001017: DUP3
00001018: DUP2
00001019: SUB
0000101a: DUP3
0000101b: MSTORE
0000101c: PUSH1 0x37
0000101e: DUP2
0000101f: MSTORE
00001020: PUSH1 0x20
00001022: ADD
00001023: DUP1
00001024: PUSH2 0x1484
00001027: PUSH1 0x37
00001029: SWAP2
0000102a: CODECOPY
0000102b: PUSH1 0x40
0000102d: ADD
0000102e: SWAP2
0000102f: POP
00001030: POP
00001031: PUSH1 0x40
00001033: MLOAD
00001034: DUP1
00001035: SWAP2
00001036: SUB
00001037: SWAP1
00001038: REVERT
00001039: JUMPDEST
0000103a: PUSH1 0x00
0000103c: DUP6
0000103d: DUP6
0000103e: DUP6
0000103f: DUP6
00001040: DUP6
00001041: PUSH1 0x40
00001043: MLOAD
00001044: PUSH1 0x20
00001046: ADD
00001047: DUP1
00001048: DUP7
00001049: PUSH1 0x01
0000104b: PUSH1 0x01
0000104d: PUSH1 0xa0
0000104f: SHL
00001050: SUB
00001051: AND
00001052: PUSH1 0x01
00001054: PUSH1 0x01
00001056: PUSH1 0xa0
00001058: SHL
00001059: SUB
0000105a: AND
0000105b: DUP2
0000105c: MSTORE
0000105d: PUSH1 0x20
0000105f: ADD
00001060: DUP6
00001061: DUP2
00001062: MSTORE
00001063: PUSH1 0x20
00001065: ADD
00001066: DUP1
00001067: PUSH1 0x20
00001069: ADD
0000106a: DUP1
0000106b: PUSH1 0x20
0000106d: ADD
0000106e: DUP5
0000106f: DUP2
00001070: MSTORE
00001071: PUSH1 0x20
00001073: ADD
00001074: DUP4
00001075: DUP2
00001076: SUB
00001077: DUP4
00001078: MSTORE
00001079: DUP7
0000107a: DUP2
0000107b: DUP2
0000107c: MLOAD
0000107d: DUP2
0000107e: MSTORE
0000107f: PUSH1 0x20
00001081: ADD
00001082: SWAP2
00001083: POP
00001084: DUP1
00001085: MLOAD
00001086: SWAP1
00001087: PUSH1 0x20
00001089: ADD
0000108a: SWAP1
0000108b: DUP1
0000108c: DUP4
0000108d: DUP4
0000108e: PUSH1 0x00
00001090: JUMPDEST
00001091: DUP4
00001092: DUP2
00001093: LT
00001094: ISZERO
00001095: PUSH2 0x10a8
00001098: JUMPI
00001099: DUP2
0000109a: DUP2
0000109b: ADD
0000109c: MLOAD
0000109d: DUP4
0000109e: DUP3
0000109f: ADD
000010a0: MSTORE
000010a1: PUSH1 0x20
000010a3: ADD
000010a4: PUSH2 0x1090
000010a7: JUMP
000010a8: JUMPDEST
000010a9: POP
000010aa: POP
000010ab: POP
000010ac: POP
000010ad: SWAP1
000010ae: POP
000010af: SWAP1
000010b0: DUP2
000010b1: ADD
000010b2: SWAP1
000010b3: PUSH1 0x1f
000010b5: AND
000010b6: DUP1
000010b7: ISZERO
000010b8: PUSH2 0x10d5
000010bb: JUMPI
000010bc: DUP1
000010bd: DUP3
000010be: SUB
000010bf: DUP1
000010c0: MLOAD
000010c1: PUSH1 0x01
000010c3: DUP4
000010c4: PUSH1 0x20
000010c6: SUB
000010c7: PUSH2 0x0100
000010ca: EXP
000010cb: SUB
000010cc: NOT
000010cd: AND
000010ce: DUP2
000010cf: MSTORE
000010d0: PUSH1 0x20
000010d2: ADD
000010d3: SWAP2
000010d4: POP
000010d5: JUMPDEST
000010d6: POP
000010d7: DUP4
000010d8: DUP2
000010d9: SUB
000010da: DUP3
000010db: MSTORE
000010dc: DUP6
000010dd: MLOAD
000010de: DUP2
000010df: MSTORE
000010e0: DUP6
000010e1: MLOAD
000010e2: PUSH1 0x20
000010e4: SWAP2
000010e5: DUP3
000010e6: ADD
000010e7: SWAP2
000010e8: DUP8
000010e9: ADD
000010ea: SWAP1
000010eb: DUP1
000010ec: DUP4
000010ed: DUP4
000010ee: PUSH1 0x00
000010f0: JUMPDEST
000010f1: DUP4
000010f2: DUP2
000010f3: LT
000010f4: ISZERO
000010f5: PUSH2 0x1108
000010f8: JUMPI
000010f9: DUP2
000010fa: DUP2
000010fb: ADD
000010fc: MLOAD
000010fd: DUP4
000010fe: DUP3
000010ff: ADD
00001100: MSTORE
00001101: PUSH1 0x20
00001103: ADD
00001104: PUSH2 0x10f0
00001107: JUMP
00001108: JUMPDEST
00001109: POP
0000110a: POP
0000110b: POP
0000110c: POP
0000110d: SWAP1
0000110e: POP
0000110f: SWAP1
00001110: DUP2
00001111: ADD
00001112: SWAP1
00001113: PUSH1 0x1f
00001115: AND
00001116: DUP1
00001117: ISZERO
00001118: PUSH2 0x1135
0000111b: JUMPI
0000111c: DUP1
0000111d: DUP3
0000111e: SUB
0000111f: DUP1
00001120: MLOAD
00001121: PUSH1 0x01
00001123: DUP4
00001124: PUSH1 0x20
00001126: SUB
00001127: PUSH2 0x0100
0000112a: EXP
0000112b: SUB
0000112c: NOT
0000112d: AND
0000112e: DUP2
0000112f: MSTORE
00001130: PUSH1 0x20
00001132: ADD
00001133: SWAP2
00001134: POP
00001135: JUMPDEST
00001136: POP
00001137: SWAP8
00001138: POP
00001139: POP
0000113a: POP
0000113b: POP
0000113c: POP
0000113d: POP
0000113e: POP
0000113f: POP
00001140: PUSH1 0x40
00001142: MLOAD
00001143: PUSH1 0x20
00001145: DUP2
00001146: DUP4
00001147: SUB
00001148: SUB
00001149: DUP2
0000114a: MSTORE
0000114b: SWAP1
0000114c: PUSH1 0x40
0000114e: MSTORE
0000114f: DUP1
00001150: MLOAD
00001151: SWAP1
00001152: PUSH1 0x20
00001154: ADD
00001155: KECCAK256
00001156: SWAP1
00001157: POP
00001158: PUSH1 0x00
0000115a: PUSH1 0x03
0000115c: PUSH1 0x00
0000115e: DUP4
0000115f: DUP2
00001160: MSTORE
00001161: PUSH1 0x20
00001163: ADD
00001164: SWAP1
00001165: DUP2
00001166: MSTORE
00001167: PUSH1 0x20
00001169: ADD
0000116a: PUSH1 0x00
0000116c: KECCAK256
0000116d: PUSH1 0x00
0000116f: PUSH2 0x0100
00001172: EXP
00001173: DUP2
00001174: SLOAD
00001175: DUP2
00001176: PUSH1 0xff
00001178: MUL
00001179: NOT
0000117a: AND
0000117b: SWAP1
0000117c: DUP4
0000117d: ISZERO
0000117e: ISZERO
0000117f: MUL
00001180: OR
00001181: SWAP1
00001182: SSTORE
00001183: POP
00001184: DUP6
00001185: PUSH1 0x01
00001187: PUSH1 0x01
00001189: PUSH1 0xa0
0000118b: SHL
0000118c: SUB
0000118d: AND
0000118e: DUP2
0000118f: PUSH32 0x2fffc091a501fd91bfbff27141450d3acb40fb8e6d8382b243ec7a812a3aaf87
000011b0: DUP8
000011b1: DUP8
000011b2: DUP8
000011b3: DUP8
000011b4: PUSH1 0x40
000011b6: MLOAD
000011b7: DUP1
000011b8: DUP6
000011b9: DUP2
000011ba: MSTORE
000011bb: PUSH1 0x20
000011bd: ADD
000011be: DUP1
000011bf: PUSH1 0x20
000011c1: ADD
000011c2: DUP1
000011c3: PUSH1 0x20
000011c5: ADD
000011c6: DUP5
000011c7: DUP2
000011c8: MSTORE
000011c9: PUSH1 0x20
000011cb: ADD
000011cc: DUP4
000011cd: DUP2
000011ce: SUB
000011cf: DUP4
000011d0: MSTORE
000011d1: DUP7
000011d2: DUP2
000011d3: DUP2
000011d4: MLOAD
000011d5: DUP2
000011d6: MSTORE
000011d7: PUSH1 0x20
000011d9: ADD
000011da: SWAP2
000011db: POP
000011dc: DUP1
000011dd: MLOAD
000011de: SWAP1
000011df: PUSH1 0x20
000011e1: ADD
000011e2: SWAP1
000011e3: DUP1
000011e4: DUP4
000011e5: DUP4
000011e6: PUSH1 0x00
000011e8: JUMPDEST
000011e9: DUP4
000011ea: DUP2
000011eb: LT
000011ec: ISZERO
000011ed: PUSH2 0x1200
000011f0: JUMPI
000011f1: DUP2
000011f2: DUP2
000011f3: ADD
000011f4: MLOAD
000011f5: DUP4
000011f6: DUP3
000011f7: ADD
000011f8: MSTORE
000011f9: PUSH1 0x20
000011fb: ADD
000011fc: PUSH2 0x11e8
000011ff: JUMP
00001200: JUMPDEST
00001201: POP
00001202: POP
00001203: POP
00001204: POP
00001205: SWAP1
00001206: POP
00001207: SWAP1
00001208: DUP2
00001209: ADD
0000120a: SWAP1
0000120b: PUSH1 0x1f
0000120d: AND
0000120e: DUP1
0000120f: ISZERO
00001210: PUSH2 0x122d
00001213: JUMPI
00001214: DUP1
00001215: DUP3
00001216: SUB
00001217: DUP1
00001218: MLOAD
00001219: PUSH1 0x01
0000121b: DUP4
0000121c: PUSH1 0x20
0000121e: SUB
0000121f: PUSH2 0x0100
00001222: EXP
00001223: SUB
00001224: NOT
00001225: AND
00001226: DUP2
00001227: MSTORE
00001228: PUSH1 0x20
0000122a: ADD
0000122b: SWAP2
0000122c: POP
0000122d: JUMPDEST
0000122e: POP
0000122f: DUP4
00001230: DUP2
00001231: SUB
00001232: DUP3
00001233: MSTORE
00001234: DUP6
00001235: MLOAD
00001236: DUP2
00001237: MSTORE
00001238: DUP6
00001239: MLOAD
0000123a: PUSH1 0x20
0000123c: SWAP2
0000123d: DUP3
0000123e: ADD
0000123f: SWAP2
00001240: DUP8
00001241: ADD
00001242: SWAP1
00001243: DUP1
00001244: DUP4
00001245: DUP4
00001246: PUSH1 0x00
00001248: JUMPDEST
00001249: DUP4
0000124a: DUP2
0000124b: LT
0000124c: ISZERO
0000124d: PUSH2 0x1260
00001250: JUMPI
00001251: DUP2
00001252: DUP2
00001253: ADD
00001254: MLOAD
00001255: DUP4
00001256: DUP3
00001257: ADD
00001258: MSTORE
00001259: PUSH1 0x20
0000125b: ADD
0000125c: PUSH2 0x1248
0000125f: JUMP
00001260: JUMPDEST
00001261: POP
00001262: POP
00001263: POP
00001264: POP
00001265: SWAP1
00001266: POP
00001267: SWAP1
00001268: DUP2
00001269: ADD
0000126a: SWAP1
0000126b: PUSH1 0x1f
0000126d: AND
0000126e: DUP1
0000126f: ISZERO
00001270: PUSH2 0x128d
00001273: JUMPI
00001274: DUP1
00001275: DUP3
00001276: SUB
00001277: DUP1
00001278: MLOAD
00001279: PUSH1 0x01
0000127b: DUP4
0000127c: PUSH1 0x20
0000127e: SUB
0000127f: PUSH2 0x0100
00001282: EXP
00001283: SUB
00001284: NOT
00001285: AND
00001286: DUP2
00001287: MSTORE
00001288: PUSH1 0x20
0000128a: ADD
0000128b: SWAP2
0000128c: POP
0000128d: JUMPDEST
0000128e: POP
0000128f: SWAP7
00001290: POP
00001291: POP
00001292: POP
00001293: POP
00001294: POP
00001295: POP
00001296: POP
00001297: PUSH1 0x40
00001299: MLOAD
0000129a: DUP1
0000129b: SWAP2
0000129c: SUB
0000129d: SWAP1
0000129e: LOG3
0000129f: POP
000012a0: POP
000012a1: POP
000012a2: POP
000012a3: POP
000012a4: POP
000012a5: JUMP
000012a6: JUMPDEST
000012a7: PUSH1 0x02
000012a9: SLOAD
000012aa: DUP2
000012ab: JUMP
000012ac: JUMPDEST
000012ad: PUSH3 0x278d00
000012b1: DUP2
000012b2: JUMP
000012b3: JUMPDEST
000012b4: PUSH3 0x02a300
000012b8: DUP2
000012b9: JUMP
000012ba: JUMPDEST
000012bb: PUSH3 0x127500
000012bf: DUP2
000012c0: JUMP
000012c1: JUMPDEST
000012c2: CALLER
000012c3: ADDRESS
000012c4: EQ
000012c5: PUSH2 0x1302
000012c8: JUMPI
000012c9: PUSH1 0x40
000012cb: MLOAD
000012cc: PUSH1 0x01
000012ce: PUSH1 0xe5
000012d0: SHL
000012d1: PUSH3 0x461bcd
000012d5: MUL
000012d6: DUP2
000012d7: MSTORE
000012d8: PUSH1 0x04
000012da: ADD
000012db: DUP1
000012dc: DUP1
000012dd: PUSH1 0x20
000012df: ADD
000012e0: DUP3
000012e1: DUP2
000012e2: SUB
000012e3: DUP3
000012e4: MSTORE
000012e5: PUSH1 0x31
000012e7: DUP2
000012e8: MSTORE
000012e9: PUSH1 0x20
000012eb: ADD
000012ec: DUP1
000012ed: PUSH2 0x1708
000012f0: PUSH1 0x31
000012f2: SWAP2
000012f3: CODECOPY
000012f4: PUSH1 0x40
000012f6: ADD
000012f7: SWAP2
000012f8: POP
000012f9: POP
000012fa: PUSH1 0x40
000012fc: MLOAD
000012fd: DUP1
000012fe: SWAP2
000012ff: SUB
00001300: SWAP1
00001301: REVERT
00001302: JUMPDEST
00001303: PUSH3 0x02a300
00001307: DUP2
00001308: LT
00001309: ISZERO
0000130a: PUSH2 0x1347
0000130d: JUMPI
0000130e: PUSH1 0x40
00001310: MLOAD
00001311: PUSH1 0x01
00001313: PUSH1 0xe5
00001315: SHL
00001316: PUSH3 0x461bcd
0000131a: MUL
0000131b: DUP2
0000131c: MSTORE
0000131d: PUSH1 0x04
0000131f: ADD
00001320: DUP1
00001321: DUP1
00001322: PUSH1 0x20
00001324: ADD
00001325: DUP3
00001326: DUP2
00001327: SUB
00001328: DUP3
00001329: MSTORE
0000132a: PUSH1 0x34
0000132c: DUP2
0000132d: MSTORE
0000132e: PUSH1 0x20
00001330: ADD
00001331: DUP1
00001332: PUSH2 0x1533
00001335: PUSH1 0x34
00001337: SWAP2
00001338: CODECOPY
00001339: PUSH1 0x40
0000133b: ADD
0000133c: SWAP2
0000133d: POP
0000133e: POP
0000133f: PUSH1 0x40
00001341: MLOAD
00001342: DUP1
00001343: SWAP2
00001344: SUB
00001345: SWAP1
00001346: REVERT
00001347: JUMPDEST
00001348: PUSH3 0x278d00
0000134c: DUP2
0000134d: GT
0000134e: ISZERO
0000134f: PUSH2 0x138c
00001352: JUMPI
00001353: PUSH1 0x40
00001355: MLOAD
00001356: PUSH1 0x01
00001358: PUSH1 0xe5
0000135a: SHL
0000135b: PUSH3 0x461bcd
0000135f: MUL
00001360: DUP2
00001361: MSTORE
00001362: PUSH1 0x04
00001364: ADD
00001365: DUP1
00001366: DUP1
00001367: PUSH1 0x20
00001369: ADD
0000136a: DUP3
0000136b: DUP2
0000136c: SUB
0000136d: DUP3
0000136e: MSTORE
0000136f: PUSH1 0x38
00001371: DUP2
00001372: MSTORE
00001373: PUSH1 0x20
00001375: ADD
00001376: DUP1
00001377: PUSH2 0x1567
0000137a: PUSH1 0x38
0000137c: SWAP2
0000137d: CODECOPY
0000137e: PUSH1 0x40
00001380: ADD
00001381: SWAP2
00001382: POP
00001383: POP
00001384: PUSH1 0x40
00001386: MLOAD
00001387: DUP1
00001388: SWAP2
00001389: SUB
0000138a: SWAP1
0000138b: REVERT
0000138c: JUMPDEST
0000138d: PUSH1 0x02
0000138f: DUP2
00001390: SWAP1
00001391: SSTORE
00001392: PUSH1 0x40
00001394: MLOAD
00001395: DUP2
00001396: SWAP1
00001397: PUSH32 0x948b1f6a42ee138b7e34058ba85a37f716d55ff25ff05a763f15bed6a04c8d2c
000013b8: SWAP1
000013b9: PUSH1 0x00
000013bb: SWAP1
000013bc: LOG2
000013bd: POP
000013be: JUMP
000013bf: JUMPDEST
000013c0: PUSH1 0x03
000013c2: PUSH1 0x20
000013c4: MSTORE
000013c5: PUSH1 0x00
000013c7: SWAP1
000013c8: DUP2
000013c9: MSTORE
000013ca: PUSH1 0x40
000013cc: SWAP1
000013cd: KECCAK256
000013ce: SLOAD
000013cf: PUSH1 0xff
000013d1: AND
000013d2: DUP2
000013d3: JUMP
000013d4: JUMPDEST
000013d5: PUSH1 0x00
000013d7: SLOAD
000013d8: PUSH1 0x01
000013da: PUSH1 0x01
000013dc: PUSH1 0xa0
000013de: SHL
000013df: SUB
000013e0: AND
000013e1: DUP2
000013e2: JUMP
000013e3: JUMPDEST
000013e4: TIMESTAMP
000013e5: SWAP1
000013e6: JUMP
000013e7: JUMPDEST
000013e8: PUSH1 0x00
000013ea: DUP3
000013eb: DUP3
000013ec: ADD
000013ed: DUP4
000013ee: DUP2
000013ef: LT
000013f0: ISZERO
000013f1: PUSH2 0x1444
000013f4: JUMPI
000013f5: PUSH1 0x40
000013f7: DUP1
000013f8: MLOAD
000013f9: PUSH1 0x01
000013fb: PUSH1 0xe5
000013fd: SHL
000013fe: PUSH3 0x461bcd
00001402: MUL
00001403: DUP2
00001404: MSTORE
00001405: PUSH1 0x20
00001407: PUSH1 0x04
00001409: DUP3
0000140a: ADD
0000140b: MSTORE
0000140c: PUSH1 0x1b
0000140e: PUSH1 0x24
00001410: DUP3
00001411: ADD
00001412: MSTORE
00001413: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001434: PUSH1 0x44
00001436: DUP3
00001437: ADD
00001438: MSTORE
00001439: SWAP1
0000143a: MLOAD
0000143b: SWAP1
0000143c: DUP2
0000143d: SWAP1
0000143e: SUB
0000143f: PUSH1 0x64
00001441: ADD
00001442: SWAP1
00001443: REVERT
00001444: JUMPDEST
00001445: SWAP4
00001446: SWAP3
00001447: POP
00001448: POP
00001449: POP
0000144a: JUMP
0000144b: INVALID
0000144c: SLOAD
0000144d: PUSH10 0x6d656c6f636b3a3a6578
00001458: PUSH6 0x637574655472
0000145f: PUSH2 0x6e73
00001462: PUSH2 0x6374
00001465: PUSH10 0x6f6e3a2043616c6c206d
00001470: PUSH22 0x737420636f6d652066726f6d2061646d696e2e54696d
00001487: PUSH6 0x6c6f636b3a3a
0000148e: PUSH4 0x616e6365
00001493: PUSH13 0x5472616e73616374696f6e3a20
000014a1: NUMBER
000014a2: PUSH2 0x6c6c
000014a5: KECCAK256
000014a6: PUSH14 0x75737420636f6d652066726f6d20
000014b5: PUSH2 0x646d
000014b8: PUSH10 0x6e2e54696d656c6f636b
000014c3: GASPRICE
000014c4: GASPRICE
000014c5: PUSH6 0x786563757465
000014cc: SLOAD
000014cd: PUSH19 0x616e73616374696f6e3a205472616e73616374
000014e1: PUSH10 0x6f6e206973207374616c
000014ec: PUSH6 0x2e54696d656c
000014f3: PUSH16 0x636b3a3a657865637574655472616e73
00001504: PUSH2 0x6374
00001507: PUSH10 0x6f6e3a205472616e7361
00001512: PUSH4 0x74696f6e
00001517: KECCAK256
00001518: PUSH9 0x61736e277420737572
00001522: PUSH17 0x61737365642074696d65206c6f636b2e54
00001534: PUSH10 0x6d656c6f636b3a3a7365
0000153f: PUSH21 0x44656c61793a2044656c6179206d75737420657863
00001555: PUSH6 0x6564206d696e
0000155c: PUSH10 0x6d756d2064656c61792e
00001567: SLOAD
00001568: PUSH10 0x6d656c6f636b3a3a7365
00001573: PUSH21 0x44656c61793a2044656c6179206d757374206e6f74
00001589: KECCAK256
0000158a: PUSH6 0x786365656420
00001591: PUSH14 0x6178696d756d2064656c61792e54
000015a0: PUSH10 0x6d656c6f636b3a3a6578
000015ab: PUSH6 0x637574655472
000015b2: PUSH2 0x6e73
000015b5: PUSH2 0x6374
000015b8: PUSH10 0x6f6e3a205472616e7361
000015c3: PUSH4 0x74696f6e
000015c8: KECCAK256
000015c9: PUSH9 0x61736e277420626565
000015d3: PUSH15 0x207175657565642e54696d656c6f63
000015e3: PUSH12 0x3a3a61636365707441646d69
000015f0: PUSH15 0x3a2043616c6c206d75737420636f6d
00001600: PUSH6 0x2066726f6d20
00001607: PUSH17 0x656e64696e6741646d696e2e54696d656c
00001619: PUSH16 0x636b3a3a73657450656e64696e674164
0000162a: PUSH14 0x696e3a2043616c6c206d75737420
00001639: PUSH4 0x6f6d6520
0000163e: PUSH7 0x726f6d2054696d
00001646: PUSH6 0x6c6f636b2e54
0000164d: PUSH10 0x6d656c6f636b3a3a7175
00001658: PUSH6 0x75655472616e
0000165f: PUSH20 0x616374696f6e3a2043616c6c206d75737420636f
00001674: PUSH14 0x652066726f6d2061646d696e2e54
00001683: PUSH10 0x6d656c6f636b3a3a6578
0000168e: PUSH6 0x637574655472
00001695: PUSH2 0x6e73
00001698: PUSH2 0x6374
0000169b: PUSH10 0x6f6e3a205472616e7361
000016a6: PUSH4 0x74696f6e
000016ab: KECCAK256
000016ac: PUSH6 0x786563757469
000016b3: PUSH16 0x6e2072657665727465642e54696d656c
000016c4: PUSH16 0x636b3a3a71756575655472616e736163
000016d5: PUSH21 0x696f6e3a20457374696d6174656420657865637574
000016eb: PUSH10 0x6f6e20626c6f636b206d
000016f6: PUSH22 0x737420736174697366792064656c61792e54696d656c
0000170d: PUSH16 0x636b3a3a73657444656c61793a204361
0000171e: PUSH13 0x6c206d75737420636f6d652066
0000172c: PUSH19 0x6f6d2054696d656c6f636b2ea165627a7a7230
00001740: PC
00001741: KECCAK256
00001742: PUSH7 0xc588fea727d4a4
0000174a: UNKNOWN(0xB3)
0000174b: UNKNOWN(0xEB)
0000174c: UNKNOWN(0x25)
0000174d: SLOAD
0000174e: ADDMOD
0000174f: PUSH27
View stderr
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

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: 0xee764f56e46d1fe16c18c52390b9455fa9295dc06d26efd6261fbaf6a0bbff47
call_targets: 0x6d903f6003cca6255d85cca4d3b5e5146dc33925
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xee764f56e46d1fe16c18c52390b9455fa9295dc06d26efd6261fbaf6a0bbff47",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x6d903f6003cca6255d85cca4d3b5e5146dc33925"
    ],
    "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": "0xc1a287e2",
            "selector": "0xc1a287e2",
            "calldata_variants": [
                "0xc1a287e2",
                "0xc1a287e20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe177246e",
            "selector": "0xe177246e",
            "calldata_variants": [
                "0xe177246e",
                "0xe177246e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2b06537",
            "selector": "0xf2b06537",
            "calldata_variants": [
                "0xf2b06537",
                "0xf2b065370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf851a440",
            "selector": "0xf851a440",
            "calldata_variants": [
                "0xf851a440",
                "0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6a42b8f8",
            "selector": "0x6a42b8f8",
            "calldata_variants": [
                "0x6a42b8f8",
                "0x6a42b8f80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7d645fab",
            "selector": "0x7d645fab",
            "calldata_variants": [
                "0x7d645fab",
                "0x7d645fab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb1b43ae5",
            "selector": "0xb1b43ae5",
            "calldata_variants": [
                "0xb1b43ae5",
                "0xb1b43ae50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0825f38f",
            "selector": "0x0825f38f",
            "calldata_variants": [
                "0x0825f38f",
                "0x0825f38f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2550,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [],
    "untrusted_call_count": 1
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xee764f56e46d1fe16c18c52390b9455fa9295dc06d26efd6261fbaf6a0bbff47
call_targets: 0x6d903f6003cca6255d85cca4d3b5e5146dc33925
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xee764f56e46d1fe16c18c52390b9455fa9295dc06d26efd6261fbaf6a0bbff47",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x6d903f6003cca6255d85cca4d3b5e5146dc33925"
    ],
    "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": "0xc1a287e2",
            "selector": "0xc1a287e2",
            "calldata_variants": [
                "0xc1a287e2",
                "0xc1a287e20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe177246e",
            "selector": "0xe177246e",
            "calldata_variants": [
                "0xe177246e",
                "0xe177246e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2b06537",
            "selector": "0xf2b06537",
            "calldata_variants": [
                "0xf2b06537",
                "0xf2b065370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf851a440",
            "selector": "0xf851a440",
            "calldata_variants": [
                "0xf851a440",
                "0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6a42b8f8",
            "selector": "0x6a42b8f8",
            "calldata_variants": [
                "0x6a42b8f8",
                "0x6a42b8f80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7d645fab",
            "selector": "0x7d645fab",
            "calldata_variants": [
                "0x7d645fab",
                "0x7d645fab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb1b43ae5",
            "selector": "0xb1b43ae5",
            "calldata_variants": [
                "0xb1b43ae5",
                "0xb1b43ae50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0825f38f",
            "selector": "0x0825f38f",
            "calldata_variants": [
                "0x0825f38f",
                "0x0825f38f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2550,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}