Analysis Run

019b477e-b270-7239-ade5-d80890fa1d3c

complete

Chain ID

1

Address

0x211f3175e3632ed194368311223bd4f4e834fc33

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Authorization based on tx.origin

crit 0 high 0 direct contract

Review Checklist

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

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

3. Confirm money or privilege impact.

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

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
22345	artifact.fetch	complete	1 / 3	3 months ago
22346	tool.cast_disasm	complete	1 / 3	3 months ago
65810	analysis.bundle	complete	1 / 3	2 weeks ago
65811	capability.graph	complete	1 / 3	2 weeks ago
65812	detector.run	complete	1 / 3	2 weeks ago
65813	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

2

CALL-family (heavy)

11

EXT*/BALANCE

3

Total opcodes

5037

Flags

create_opcodes_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01a0
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x06fdde03
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x01a5
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x095ea7b3
00000046: EQ
00000047: PUSH2 0x022f
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x18160ddd
00000051: EQ
00000052: PUSH2 0x0267
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x19fb361f
0000005c: EQ
0000005d: PUSH2 0x028e
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x23b872dd
00000067: EQ
00000068: PUSH2 0x02ff
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x313ce567
00000072: EQ
00000073: PUSH2 0x0329
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x3c774dbb
0000007d: EQ
0000007e: PUSH2 0x0354
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x3ccfd60b
00000088: EQ
00000089: PUSH2 0x0368
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x46534649
00000093: EQ
00000094: PUSH2 0x037d
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x51d31822
0000009e: EQ
0000009f: PUSH2 0x039e
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x5c658165
000000a9: EQ
000000aa: PUSH2 0x03bf
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x688abbf7
000000b4: EQ
000000b5: PUSH2 0x03e6
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x691ec710
000000bf: EQ
000000c0: PUSH2 0x0400
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x70a08231
000000ca: EQ
000000cb: PUSH2 0x0421
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x710b318b
000000d5: EQ
000000d6: PUSH2 0x0442
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x79ba5097
000000e0: EQ
000000e1: PUSH2 0x0457
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x7a9df8c0
000000eb: EQ
000000ec: PUSH2 0x046c
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x843a7f74
000000f6: EQ
000000f7: PUSH2 0x0484
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x8da5cb5b
00000101: EQ
00000102: PUSH2 0x0499
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x95623641
0000010c: EQ
0000010d: PUSH2 0x04ca
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x95d89b41
00000117: EQ
00000118: PUSH2 0x04df
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xa9059cbb
00000122: EQ
00000123: PUSH2 0x04f4
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0xc664f7f1
0000012d: EQ
0000012e: PUSH2 0x0518
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xcae9ca51
00000138: EQ
00000139: PUSH2 0x0539
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0xd1f2f971
00000143: EQ
00000144: PUSH2 0x05a2
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xd4ee1d90
0000014e: EQ
0000014f: PUSH2 0x05b7
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xdd62ed3e
00000159: EQ
0000015a: PUSH2 0x05cc
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xdde4a70b
00000164: EQ
00000165: PUSH2 0x05f3
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xe1456cb4
0000016f: EQ
00000170: PUSH2 0x060b
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0xec68197b
0000017a: EQ
0000017b: PUSH2 0x062c
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0xf28d253d
00000185: EQ
00000186: PUSH2 0x0652
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0xf2fde38b
00000190: EQ
00000191: PUSH2 0x0667
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0xf32a547c
0000019b: EQ
0000019c: PUSH2 0x0688
0000019f: JUMPI
000001a0: JUMPDEST
000001a1: PUSH1 0x00
000001a3: DUP1
000001a4: REVERT
000001a5: JUMPDEST
000001a6: CALLVALUE
000001a7: DUP1
000001a8: ISZERO
000001a9: PUSH2 0x01b1
000001ac: JUMPI
000001ad: PUSH1 0x00
000001af: DUP1
000001b0: REVERT
000001b1: JUMPDEST
000001b2: POP
000001b3: PUSH2 0x01ba
000001b6: PUSH2 0x06a0
000001b9: JUMP
000001ba: JUMPDEST
000001bb: PUSH1 0x40
000001bd: DUP1
000001be: MLOAD
000001bf: PUSH1 0x20
000001c1: DUP1
000001c2: DUP3
000001c3: MSTORE
000001c4: DUP4
000001c5: MLOAD
000001c6: DUP2
000001c7: DUP4
000001c8: ADD
000001c9: MSTORE
000001ca: DUP4
000001cb: MLOAD
000001cc: SWAP2
000001cd: SWAP3
000001ce: DUP4
000001cf: SWAP3
000001d0: SWAP1
000001d1: DUP4
000001d2: ADD
000001d3: SWAP2
000001d4: DUP6
000001d5: ADD
000001d6: SWAP1
000001d7: DUP1
000001d8: DUP4
000001d9: DUP4
000001da: PUSH1 0x00
000001dc: JUMPDEST
000001dd: DUP4
000001de: DUP2
000001df: LT
000001e0: ISZERO
000001e1: PUSH2 0x01f4
000001e4: JUMPI
000001e5: DUP2
000001e6: DUP2
000001e7: ADD
000001e8: MLOAD
000001e9: DUP4
000001ea: DUP3
000001eb: ADD
000001ec: MSTORE
000001ed: PUSH1 0x20
000001ef: ADD
000001f0: PUSH2 0x01dc
000001f3: JUMP
000001f4: JUMPDEST
000001f5: POP
000001f6: POP
000001f7: POP
000001f8: POP
000001f9: SWAP1
000001fa: POP
000001fb: SWAP1
000001fc: DUP2
000001fd: ADD
000001fe: SWAP1
000001ff: PUSH1 0x1f
00000201: AND
00000202: DUP1
00000203: ISZERO
00000204: PUSH2 0x0221
00000207: JUMPI
00000208: DUP1
00000209: DUP3
0000020a: SUB
0000020b: DUP1
0000020c: MLOAD
0000020d: PUSH1 0x01
0000020f: DUP4
00000210: PUSH1 0x20
00000212: SUB
00000213: PUSH2 0x0100
00000216: EXP
00000217: SUB
00000218: NOT
00000219: AND
0000021a: DUP2
0000021b: MSTORE
0000021c: PUSH1 0x20
0000021e: ADD
0000021f: SWAP2
00000220: POP
00000221: JUMPDEST
00000222: POP
00000223: SWAP3
00000224: POP
00000225: POP
00000226: POP
00000227: PUSH1 0x40
00000229: MLOAD
0000022a: DUP1
0000022b: SWAP2
0000022c: SUB
0000022d: SWAP1
0000022e: RETURN
0000022f: JUMPDEST
00000230: CALLVALUE
00000231: DUP1
00000232: ISZERO
00000233: PUSH2 0x023b
00000236: JUMPI
00000237: PUSH1 0x00
00000239: DUP1
0000023a: REVERT
0000023b: JUMPDEST
0000023c: POP
0000023d: PUSH2 0x0253
00000240: PUSH1 0x01
00000242: PUSH1 0xa0
00000244: PUSH1 0x02
00000246: EXP
00000247: SUB
00000248: PUSH1 0x04
0000024a: CALLDATALOAD
0000024b: AND
0000024c: PUSH1 0x24
0000024e: CALLDATALOAD
0000024f: PUSH2 0x072b
00000252: JUMP
00000253: JUMPDEST
00000254: PUSH1 0x40
00000256: DUP1
00000257: MLOAD
00000258: SWAP2
00000259: ISZERO
0000025a: ISZERO
0000025b: DUP3
0000025c: MSTORE
0000025d: MLOAD
0000025e: SWAP1
0000025f: DUP2
00000260: SWAP1
00000261: SUB
00000262: PUSH1 0x20
00000264: ADD
00000265: SWAP1
00000266: RETURN
00000267: JUMPDEST
00000268: CALLVALUE
00000269: DUP1
0000026a: ISZERO
0000026b: PUSH2 0x0273
0000026e: JUMPI
0000026f: PUSH1 0x00
00000271: DUP1
00000272: REVERT
00000273: JUMPDEST
00000274: POP
00000275: PUSH2 0x027c
00000278: PUSH2 0x0792
0000027b: JUMP
0000027c: JUMPDEST
0000027d: PUSH1 0x40
0000027f: DUP1
00000280: MLOAD
00000281: SWAP2
00000282: DUP3
00000283: MSTORE
00000284: MLOAD
00000285: SWAP1
00000286: DUP2
00000287: SWAP1
00000288: SUB
00000289: PUSH1 0x20
0000028b: ADD
0000028c: SWAP1
0000028d: RETURN
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: PUSH1 0x40
0000029e: DUP1
0000029f: MLOAD
000002a0: PUSH1 0x20
000002a2: PUSH1 0x1f
000002a4: PUSH1 0x64
000002a6: CALLDATALOAD
000002a7: PUSH1 0x04
000002a9: DUP2
000002aa: DUP2
000002ab: ADD
000002ac: CALLDATALOAD
000002ad: SWAP3
000002ae: DUP4
000002af: ADD
000002b0: DUP5
000002b1: SWAP1
000002b2: DIV
000002b3: DUP5
000002b4: MUL
000002b5: DUP6
000002b6: ADD
000002b7: DUP5
000002b8: ADD
000002b9: SWAP1
000002ba: SWAP6
000002bb: MSTORE
000002bc: DUP2
000002bd: DUP5
000002be: MSTORE
000002bf: PUSH2 0x02fd
000002c2: SWAP5
000002c3: PUSH1 0x01
000002c5: PUSH1 0xa0
000002c7: PUSH1 0x02
000002c9: EXP
000002ca: SUB
000002cb: DUP2
000002cc: CALLDATALOAD
000002cd: DUP2
000002ce: AND
000002cf: SWAP6
000002d0: PUSH1 0x24
000002d2: DUP1
000002d3: CALLDATALOAD
000002d4: SWAP1
000002d5: SWAP3
000002d6: AND
000002d7: SWAP6
000002d8: PUSH1 0x44
000002da: CALLDATALOAD
000002db: SWAP6
000002dc: CALLDATASIZE
000002dd: SWAP6
000002de: PUSH1 0x84
000002e0: SWAP5
000002e1: ADD
000002e2: SWAP2
000002e3: DUP2
000002e4: SWAP1
000002e5: DUP5
000002e6: ADD
000002e7: DUP4
000002e8: DUP3
000002e9: DUP1
000002ea: DUP3
000002eb: DUP5
000002ec: CALLDATACOPY
000002ed: POP
000002ee: SWAP5
000002ef: SWAP8
000002f0: POP
000002f1: PUSH2 0x07d5
000002f4: SWAP7
000002f5: POP
000002f6: POP
000002f7: POP
000002f8: POP
000002f9: POP
000002fa: POP
000002fb: POP
000002fc: JUMP
000002fd: JUMPDEST
000002fe: STOP
000002ff: JUMPDEST
00000300: CALLVALUE
00000301: DUP1
00000302: ISZERO
00000303: PUSH2 0x030b
00000306: JUMPI
00000307: PUSH1 0x00
00000309: DUP1
0000030a: REVERT
0000030b: JUMPDEST
0000030c: POP
0000030d: PUSH2 0x0253
00000310: PUSH1 0x01
00000312: PUSH1 0xa0
00000314: PUSH1 0x02
00000316: EXP
00000317: SUB
00000318: PUSH1 0x04
0000031a: CALLDATALOAD
0000031b: DUP2
0000031c: AND
0000031d: SWAP1
0000031e: PUSH1 0x24
00000320: CALLDATALOAD
00000321: AND
00000322: PUSH1 0x44
00000324: CALLDATALOAD
00000325: PUSH2 0x0877
00000328: JUMP
00000329: JUMPDEST
0000032a: CALLVALUE
0000032b: DUP1
0000032c: ISZERO
0000032d: PUSH2 0x0335
00000330: JUMPI
00000331: PUSH1 0x00
00000333: DUP1
00000334: REVERT
00000335: JUMPDEST
00000336: POP
00000337: PUSH2 0x033e
0000033a: PUSH2 0x0a4c
0000033d: JUMP
0000033e: JUMPDEST
0000033f: PUSH1 0x40
00000341: DUP1
00000342: MLOAD
00000343: PUSH1 0xff
00000345: SWAP1
00000346: SWAP3
00000347: AND
00000348: DUP3
00000349: MSTORE
0000034a: MLOAD
0000034b: SWAP1
0000034c: DUP2
0000034d: SWAP1
0000034e: SUB
0000034f: PUSH1 0x20
00000351: ADD
00000352: SWAP1
00000353: RETURN
00000354: JUMPDEST
00000355: PUSH2 0x02fd
00000358: PUSH1 0x01
0000035a: PUSH1 0xa0
0000035c: PUSH1 0x02
0000035e: EXP
0000035f: SUB
00000360: PUSH1 0x04
00000362: CALLDATALOAD
00000363: AND
00000364: PUSH2 0x0a51
00000367: JUMP
00000368: JUMPDEST
00000369: CALLVALUE
0000036a: DUP1
0000036b: ISZERO
0000036c: PUSH2 0x0374
0000036f: JUMPI
00000370: PUSH1 0x00
00000372: DUP1
00000373: REVERT
00000374: JUMPDEST
00000375: POP
00000376: PUSH2 0x02fd
00000379: PUSH2 0x0d92
0000037c: JUMP
0000037d: JUMPDEST
0000037e: CALLVALUE
0000037f: DUP1
00000380: ISZERO
00000381: PUSH2 0x0389
00000384: JUMPI
00000385: PUSH1 0x00
00000387: DUP1
00000388: REVERT
00000389: JUMPDEST
0000038a: POP
0000038b: PUSH2 0x027c
0000038e: PUSH1 0x01
00000390: PUSH1 0xa0
00000392: PUSH1 0x02
00000394: EXP
00000395: SUB
00000396: PUSH1 0x04
00000398: CALLDATALOAD
00000399: AND
0000039a: PUSH2 0x0ea2
0000039d: JUMP
0000039e: JUMPDEST
0000039f: CALLVALUE
000003a0: DUP1
000003a1: ISZERO
000003a2: PUSH2 0x03aa
000003a5: JUMPI
000003a6: PUSH1 0x00
000003a8: DUP1
000003a9: REVERT
000003aa: JUMPDEST
000003ab: POP
000003ac: PUSH2 0x02fd
000003af: PUSH1 0x01
000003b1: PUSH1 0xa0
000003b3: PUSH1 0x02
000003b5: EXP
000003b6: SUB
000003b7: PUSH1 0x04
000003b9: CALLDATALOAD
000003ba: AND
000003bb: PUSH2 0x0ebd
000003be: JUMP
000003bf: JUMPDEST
000003c0: CALLVALUE
000003c1: DUP1
000003c2: ISZERO
000003c3: PUSH2 0x03cb
000003c6: JUMPI
000003c7: PUSH1 0x00
000003c9: DUP1
000003ca: REVERT
000003cb: JUMPDEST
000003cc: POP
000003cd: PUSH2 0x027c
000003d0: PUSH1 0x01
000003d2: PUSH1 0xa0
000003d4: PUSH1 0x02
000003d6: EXP
000003d7: SUB
000003d8: PUSH1 0x04
000003da: CALLDATALOAD
000003db: DUP2
000003dc: AND
000003dd: SWAP1
000003de: PUSH1 0x24
000003e0: CALLDATALOAD
000003e1: AND
000003e2: PUSH2 0x0f03
000003e5: JUMP
000003e6: JUMPDEST
000003e7: CALLVALUE
000003e8: DUP1
000003e9: ISZERO
000003ea: PUSH2 0x03f2
000003ed: JUMPI
000003ee: PUSH1 0x00
000003f0: DUP1
000003f1: REVERT
000003f2: JUMPDEST
000003f3: POP
000003f4: PUSH2 0x027c
000003f7: PUSH1 0x04
000003f9: CALLDATALOAD
000003fa: ISZERO
000003fb: ISZERO
000003fc: PUSH2 0x0f20
000003ff: JUMP
00000400: JUMPDEST
00000401: CALLVALUE
00000402: DUP1
00000403: ISZERO
00000404: PUSH2 0x040c
00000407: JUMPI
00000408: PUSH1 0x00
0000040a: DUP1
0000040b: REVERT
0000040c: JUMPDEST
0000040d: POP
0000040e: PUSH2 0x0253
00000411: PUSH1 0x01
00000413: PUSH1 0xa0
00000415: PUSH1 0x02
00000417: EXP
00000418: SUB
00000419: PUSH1 0x04
0000041b: CALLDATALOAD
0000041c: AND
0000041d: PUSH2 0x0f63
00000420: JUMP
00000421: JUMPDEST
00000422: CALLVALUE
00000423: DUP1
00000424: ISZERO
00000425: PUSH2 0x042d
00000428: JUMPI
00000429: PUSH1 0x00
0000042b: DUP1
0000042c: REVERT
0000042d: JUMPDEST
0000042e: POP
0000042f: PUSH2 0x027c
00000432: PUSH1 0x01
00000434: PUSH1 0xa0
00000436: PUSH1 0x02
00000438: EXP
00000439: SUB
0000043a: PUSH1 0x04
0000043c: CALLDATALOAD
0000043d: AND
0000043e: PUSH2 0x0f78
00000441: JUMP
00000442: JUMPDEST
00000443: CALLVALUE
00000444: DUP1
00000445: ISZERO
00000446: PUSH2 0x044e
00000449: JUMPI
0000044a: PUSH1 0x00
0000044c: DUP1
0000044d: REVERT
0000044e: JUMPDEST
0000044f: POP
00000450: PUSH2 0x027c
00000453: PUSH2 0x0f93
00000456: JUMP
00000457: JUMPDEST
00000458: CALLVALUE
00000459: DUP1
0000045a: ISZERO
0000045b: PUSH2 0x0463
0000045e: JUMPI
0000045f: PUSH1 0x00
00000461: DUP1
00000462: REVERT
00000463: JUMPDEST
00000464: POP
00000465: PUSH2 0x02fd
00000468: PUSH2 0x0f99
0000046b: JUMP
0000046c: JUMPDEST
0000046d: CALLVALUE
0000046e: DUP1
0000046f: ISZERO
00000470: PUSH2 0x0478
00000473: JUMPI
00000474: PUSH1 0x00
00000476: DUP1
00000477: REVERT
00000478: JUMPDEST
00000479: POP
0000047a: PUSH2 0x02fd
0000047d: PUSH1 0x04
0000047f: CALLDATALOAD
00000480: PUSH2 0x1021
00000483: JUMP
00000484: JUMPDEST
00000485: CALLVALUE
00000486: DUP1
00000487: ISZERO
00000488: PUSH2 0x0490
0000048b: JUMPI
0000048c: PUSH1 0x00
0000048e: DUP1
0000048f: REVERT
00000490: JUMPDEST
00000491: POP
00000492: PUSH2 0x027c
00000495: PUSH2 0x1340
00000498: JUMP
00000499: JUMPDEST
0000049a: CALLVALUE
0000049b: DUP1
0000049c: ISZERO
0000049d: PUSH2 0x04a5
000004a0: JUMPI
000004a1: PUSH1 0x00
000004a3: DUP1
000004a4: REVERT
000004a5: JUMPDEST
000004a6: POP
000004a7: PUSH2 0x04ae
000004aa: PUSH2 0x1392
000004ad: JUMP
000004ae: JUMPDEST
000004af: PUSH1 0x40
000004b1: DUP1
000004b2: MLOAD
000004b3: PUSH1 0x01
000004b5: PUSH1 0xa0
000004b7: PUSH1 0x02
000004b9: EXP
000004ba: SUB
000004bb: SWAP1
000004bc: SWAP3
000004bd: AND
000004be: DUP3
000004bf: MSTORE
000004c0: MLOAD
000004c1: SWAP1
000004c2: DUP2
000004c3: SWAP1
000004c4: SUB
000004c5: PUSH1 0x20
000004c7: ADD
000004c8: SWAP1
000004c9: RETURN
000004ca: JUMPDEST
000004cb: CALLVALUE
000004cc: DUP1
000004cd: ISZERO
000004ce: PUSH2 0x04d6
000004d1: JUMPI
000004d2: PUSH1 0x00
000004d4: DUP1
000004d5: REVERT
000004d6: JUMPDEST
000004d7: POP
000004d8: PUSH2 0x04ae
000004db: PUSH2 0x13a1
000004de: JUMP
000004df: JUMPDEST
000004e0: CALLVALUE
000004e1: DUP1
000004e2: ISZERO
000004e3: PUSH2 0x04eb
000004e6: JUMPI
000004e7: PUSH1 0x00
000004e9: DUP1
000004ea: REVERT
000004eb: JUMPDEST
000004ec: POP
000004ed: PUSH2 0x01ba
000004f0: PUSH2 0x13b0
000004f3: JUMP
000004f4: JUMPDEST
000004f5: CALLVALUE
000004f6: DUP1
000004f7: ISZERO
000004f8: PUSH2 0x0500
000004fb: JUMPI
000004fc: PUSH1 0x00
000004fe: DUP1
000004ff: REVERT
00000500: JUMPDEST
00000501: POP
00000502: PUSH2 0x0253
00000505: PUSH1 0x01
00000507: PUSH1 0xa0
00000509: PUSH1 0x02
0000050b: EXP
0000050c: SUB
0000050d: PUSH1 0x04
0000050f: CALLDATALOAD
00000510: AND
00000511: PUSH1 0x24
00000513: CALLDATALOAD
00000514: PUSH2 0x140b
00000517: JUMP
00000518: JUMPDEST
00000519: CALLVALUE
0000051a: DUP1
0000051b: ISZERO
0000051c: PUSH2 0x0524
0000051f: JUMPI
00000520: PUSH1 0x00
00000522: DUP1
00000523: REVERT
00000524: JUMPDEST
00000525: POP
00000526: PUSH2 0x027c
00000529: PUSH1 0x01
0000052b: PUSH1 0xa0
0000052d: PUSH1 0x02
0000052f: EXP
00000530: SUB
00000531: PUSH1 0x04
00000533: CALLDATALOAD
00000534: AND
00000535: PUSH2 0x1548
00000538: JUMP
00000539: JUMPDEST
0000053a: CALLVALUE
0000053b: DUP1
0000053c: ISZERO
0000053d: PUSH2 0x0545
00000540: JUMPI
00000541: PUSH1 0x00
00000543: DUP1
00000544: REVERT
00000545: JUMPDEST
00000546: POP
00000547: PUSH1 0x40
00000549: DUP1
0000054a: MLOAD
0000054b: PUSH1 0x20
0000054d: PUSH1 0x04
0000054f: PUSH1 0x44
00000551: CALLDATALOAD
00000552: DUP2
00000553: DUP2
00000554: ADD
00000555: CALLDATALOAD
00000556: PUSH1 0x1f
00000558: DUP2
00000559: ADD
0000055a: DUP5
0000055b: SWAP1
0000055c: DIV
0000055d: DUP5
0000055e: MUL
0000055f: DUP6
00000560: ADD
00000561: DUP5
00000562: ADD
00000563: SWAP1
00000564: SWAP6
00000565: MSTORE
00000566: DUP5
00000567: DUP5
00000568: MSTORE
00000569: PUSH2 0x0253
0000056c: SWAP5
0000056d: DUP3
0000056e: CALLDATALOAD
0000056f: PUSH1 0x01
00000571: PUSH1 0xa0
00000573: PUSH1 0x02
00000575: EXP
00000576: SUB
00000577: AND
00000578: SWAP5
00000579: PUSH1 0x24
0000057b: DUP1
0000057c: CALLDATALOAD
0000057d: SWAP6
0000057e: CALLDATASIZE
0000057f: SWAP6
00000580: SWAP5
00000581: PUSH1 0x64
00000583: SWAP5
00000584: SWAP3
00000585: ADD
00000586: SWAP2
00000587: SWAP1
00000588: DUP2
00000589: SWAP1
0000058a: DUP5
0000058b: ADD
0000058c: DUP4
0000058d: DUP3
0000058e: DUP1
0000058f: DUP3
00000590: DUP5
00000591: CALLDATACOPY
00000592: POP
00000593: SWAP5
00000594: SWAP8
00000595: POP
00000596: PUSH2 0x155a
00000599: SWAP7
0000059a: POP
0000059b: POP
0000059c: POP
0000059d: POP
0000059e: POP
0000059f: POP
000005a0: POP
000005a1: JUMP
000005a2: JUMPDEST
000005a3: CALLVALUE
000005a4: DUP1
000005a5: ISZERO
000005a6: PUSH2 0x05ae
000005a9: JUMPI
000005aa: PUSH1 0x00
000005ac: DUP1
000005ad: REVERT
000005ae: JUMPDEST
000005af: POP
000005b0: PUSH2 0x027c
000005b3: PUSH2 0x16bb
000005b6: JUMP
000005b7: JUMPDEST
000005b8: CALLVALUE
000005b9: DUP1
000005ba: ISZERO
000005bb: PUSH2 0x05c3
000005be: JUMPI
000005bf: PUSH1 0x00
000005c1: DUP1
000005c2: REVERT
000005c3: JUMPDEST
000005c4: POP
000005c5: PUSH2 0x04ae
000005c8: PUSH2 0x1722
000005cb: JUMP
000005cc: JUMPDEST
000005cd: CALLVALUE
000005ce: DUP1
000005cf: ISZERO
000005d0: PUSH2 0x05d8
000005d3: JUMPI
000005d4: PUSH1 0x00
000005d6: DUP1
000005d7: REVERT
000005d8: JUMPDEST
000005d9: POP
000005da: PUSH2 0x027c
000005dd: PUSH1 0x01
000005df: PUSH1 0xa0
000005e1: PUSH1 0x02
000005e3: EXP
000005e4: SUB
000005e5: PUSH1 0x04
000005e7: CALLDATALOAD
000005e8: DUP2
000005e9: AND
000005ea: SWAP1
000005eb: PUSH1 0x24
000005ed: CALLDATALOAD
000005ee: AND
000005ef: PUSH2 0x1731
000005f2: JUMP
000005f3: JUMPDEST
000005f4: CALLVALUE
000005f5: DUP1
000005f6: ISZERO
000005f7: PUSH2 0x05ff
000005fa: JUMPI
000005fb: PUSH1 0x00
000005fd: DUP1
000005fe: REVERT
000005ff: JUMPDEST
00000600: POP
00000601: PUSH2 0x027c
00000604: PUSH1 0x04
00000606: CALLDATALOAD
00000607: PUSH2 0x175c
0000060a: JUMP
0000060b: JUMPDEST
0000060c: CALLVALUE
0000060d: DUP1
0000060e: ISZERO
0000060f: PUSH2 0x0617
00000612: JUMPI
00000613: PUSH1 0x00
00000615: DUP1
00000616: REVERT
00000617: JUMPDEST
00000618: POP
00000619: PUSH2 0x027c
0000061c: PUSH1 0x01
0000061e: PUSH1 0xa0
00000620: PUSH1 0x02
00000622: EXP
00000623: SUB
00000624: PUSH1 0x04
00000626: CALLDATALOAD
00000627: AND
00000628: PUSH2 0x17cf
0000062b: JUMP
0000062c: JUMPDEST
0000062d: CALLVALUE
0000062e: DUP1
0000062f: ISZERO
00000630: PUSH2 0x0638
00000633: JUMPI
00000634: PUSH1 0x00
00000636: DUP1
00000637: REVERT
00000638: JUMPDEST
00000639: POP
0000063a: PUSH2 0x02fd
0000063d: PUSH1 0x01
0000063f: PUSH1 0xa0
00000641: PUSH1 0x02
00000643: EXP
00000644: SUB
00000645: PUSH1 0x04
00000647: CALLDATALOAD
00000648: AND
00000649: PUSH1 0x24
0000064b: CALLDATALOAD
0000064c: ISZERO
0000064d: ISZERO
0000064e: PUSH2 0x17e1
00000651: JUMP
00000652: JUMPDEST
00000653: CALLVALUE
00000654: DUP1
00000655: ISZERO
00000656: PUSH2 0x065e
00000659: JUMPI
0000065a: PUSH1 0x00
0000065c: DUP1
0000065d: REVERT
0000065e: JUMPDEST
0000065f: POP
00000660: PUSH2 0x027c
00000663: PUSH2 0x1823
00000666: JUMP
00000667: JUMPDEST
00000668: CALLVALUE
00000669: DUP1
0000066a: ISZERO
0000066b: PUSH2 0x0673
0000066e: JUMPI
0000066f: PUSH1 0x00
00000671: DUP1
00000672: REVERT
00000673: JUMPDEST
00000674: POP
00000675: PUSH2 0x02fd
00000678: PUSH1 0x01
0000067a: PUSH1 0xa0
0000067c: PUSH1 0x02
0000067e: EXP
0000067f: SUB
00000680: PUSH1 0x04
00000682: CALLDATALOAD
00000683: AND
00000684: PUSH2 0x18bb
00000687: JUMP
00000688: JUMPDEST
00000689: CALLVALUE
0000068a: DUP1
0000068b: ISZERO
0000068c: PUSH2 0x0694
0000068f: JUMPI
00000690: PUSH1 0x00
00000692: DUP1
00000693: REVERT
00000694: JUMPDEST
00000695: POP
00000696: PUSH2 0x027c
00000699: PUSH1 0x04
0000069b: CALLDATALOAD
0000069c: PUSH2 0x1901
0000069f: JUMP
000006a0: JUMPDEST
000006a1: PUSH1 0x02
000006a3: DUP1
000006a4: SLOAD
000006a5: PUSH1 0x40
000006a7: DUP1
000006a8: MLOAD
000006a9: PUSH1 0x20
000006ab: PUSH1 0x01
000006ad: DUP5
000006ae: AND
000006af: ISZERO
000006b0: PUSH2 0x0100
000006b3: MUL
000006b4: PUSH1 0x00
000006b6: NOT
000006b7: ADD
000006b8: SWAP1
000006b9: SWAP4
000006ba: AND
000006bb: DUP5
000006bc: SWAP1
000006bd: DIV
000006be: PUSH1 0x1f
000006c0: DUP2
000006c1: ADD
000006c2: DUP5
000006c3: SWAP1
000006c4: DIV
000006c5: DUP5
000006c6: MUL
000006c7: DUP3
000006c8: ADD
000006c9: DUP5
000006ca: ADD
000006cb: SWAP1
000006cc: SWAP3
000006cd: MSTORE
000006ce: DUP2
000006cf: DUP2
000006d0: MSTORE
000006d1: SWAP3
000006d2: SWAP2
000006d3: DUP4
000006d4: ADD
000006d5: DUP3
000006d6: DUP3
000006d7: DUP1
000006d8: ISZERO
000006d9: PUSH2 0x0723
000006dc: JUMPI
000006dd: DUP1
000006de: PUSH1 0x1f
000006e0: LT
000006e1: PUSH2 0x06f8
000006e4: JUMPI
000006e5: PUSH2 0x0100
000006e8: DUP1
000006e9: DUP4
000006ea: SLOAD
000006eb: DIV
000006ec: MUL
000006ed: DUP4
000006ee: MSTORE
000006ef: SWAP2
000006f0: PUSH1 0x20
000006f2: ADD
000006f3: SWAP2
000006f4: PUSH2 0x0723
000006f7: JUMP
000006f8: JUMPDEST
000006f9: DUP3
000006fa: ADD
000006fb: SWAP2
000006fc: SWAP1
000006fd: PUSH1 0x00
000006ff: MSTORE
00000700: PUSH1 0x20
00000702: PUSH1 0x00
00000704: KECCAK256
00000705: SWAP1
00000706: JUMPDEST
00000707: DUP2
00000708: SLOAD
00000709: DUP2
0000070a: MSTORE
0000070b: SWAP1
0000070c: PUSH1 0x01
0000070e: ADD
0000070f: SWAP1
00000710: PUSH1 0x20
00000712: ADD
00000713: DUP1
00000714: DUP4
00000715: GT
00000716: PUSH2 0x0706
00000719: JUMPI
0000071a: DUP3
0000071b: SWAP1
0000071c: SUB
0000071d: PUSH1 0x1f
0000071f: AND
00000720: DUP3
00000721: ADD
00000722: SWAP2
00000723: JUMPDEST
00000724: POP
00000725: POP
00000726: POP
00000727: POP
00000728: POP
00000729: DUP2
0000072a: JUMP
0000072b: JUMPDEST
0000072c: CALLER
0000072d: PUSH1 0x00
0000072f: DUP2
00000730: DUP2
00000731: MSTORE
00000732: PUSH1 0x05
00000734: PUSH1 0x20
00000736: SWAP1
00000737: DUP2
00000738: MSTORE
00000739: PUSH1 0x40
0000073b: DUP1
0000073c: DUP4
0000073d: KECCAK256
0000073e: PUSH1 0x01
00000740: PUSH1 0xa0
00000742: PUSH1 0x02
00000744: EXP
00000745: SUB
00000746: DUP8
00000747: AND
00000748: DUP1
00000749: DUP6
0000074a: MSTORE
0000074b: SWAP1
0000074c: DUP4
0000074d: MSTORE
0000074e: DUP2
0000074f: DUP5
00000750: KECCAK256
00000751: DUP7
00000752: SWAP1
00000753: SSTORE
00000754: DUP2
00000755: MLOAD
00000756: DUP7
00000757: DUP2
00000758: MSTORE
00000759: SWAP2
0000075a: MLOAD
0000075b: SWAP4
0000075c: SWAP5
0000075d: SWAP1
0000075e: SWAP4
0000075f: SWAP1
00000760: SWAP3
00000761: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000782: SWAP3
00000783: DUP3
00000784: SWAP1
00000785: SUB
00000786: ADD
00000787: SWAP1
00000788: LOG3
00000789: POP
0000078a: PUSH1 0x01
0000078c: JUMPDEST
0000078d: SWAP3
0000078e: SWAP2
0000078f: POP
00000790: POP
00000791: JUMP
00000792: JUMPDEST
00000793: PUSH1 0x00
00000795: DUP1
00000796: DUP1
00000797: MSTORE
00000798: PUSH1 0x04
0000079a: PUSH1 0x20
0000079c: MSTORE
0000079d: PUSH32 0x17ef568e3e12ab5b9c7254a8d58478811de00f9e6eb34345acd53bf8fd09d3ec
000007be: SLOAD
000007bf: PUSH1 0x09
000007c1: SLOAD
000007c2: PUSH2 0x07d0
000007c5: SWAP2
000007c6: PUSH4 0xffffffff
000007cb: PUSH2 0x19c7
000007ce: AND
000007cf: JUMP
000007d0: JUMPDEST
000007d1: SWAP1
000007d2: POP
000007d3: SWAP1
000007d4: JUMP
000007d5: JUMPDEST
000007d6: PUSH1 0x01
000007d8: PUSH1 0xa0
000007da: PUSH1 0x02
000007dc: EXP
000007dd: SUB
000007de: DUP5
000007df: AND
000007e0: CALLER
000007e1: EQ
000007e2: PUSH2 0x0840
000007e5: JUMPI
000007e6: PUSH1 0x01
000007e8: PUSH1 0xa0
000007ea: PUSH1 0x02
000007ec: EXP
000007ed: SUB
000007ee: DUP5
000007ef: AND
000007f0: PUSH1 0x00
000007f2: SWAP1
000007f3: DUP2
000007f4: MSTORE
000007f5: PUSH1 0x04
000007f7: PUSH1 0x20
000007f9: MSTORE
000007fa: PUSH1 0x40
000007fc: SWAP1
000007fd: KECCAK256
000007fe: SLOAD
000007ff: DUP3
00000800: GT
00000801: DUP1
00000802: ISZERO
00000803: SWAP1
00000804: PUSH2 0x0830
00000807: JUMPI
00000808: POP
00000809: PUSH1 0x01
0000080b: PUSH1 0xa0
0000080d: PUSH1 0x02
0000080f: EXP
00000810: SUB
00000811: DUP5
00000812: AND
00000813: PUSH1 0x00
00000815: SWAP1
00000816: DUP2
00000817: MSTORE
00000818: PUSH1 0x05
0000081a: PUSH1 0x20
0000081c: SWAP1
0000081d: DUP2
0000081e: MSTORE
0000081f: PUSH1 0x40
00000821: DUP1
00000822: DUP4
00000823: KECCAK256
00000824: CALLER
00000825: DUP5
00000826: MSTORE
00000827: SWAP1
00000828: SWAP2
00000829: MSTORE
0000082a: SWAP1
0000082b: KECCAK256
0000082c: SLOAD
0000082d: DUP3
0000082e: GT
0000082f: ISZERO
00000830: JUMPDEST
00000831: ISZERO
00000832: ISZERO
00000833: PUSH2 0x083b
00000836: JUMPI
00000837: PUSH1 0x00
00000839: DUP1
0000083a: REVERT
0000083b: JUMPDEST
0000083c: PUSH2 0x0865
0000083f: JUMP
00000840: JUMPDEST
00000841: PUSH1 0x01
00000843: PUSH1 0xa0
00000845: PUSH1 0x02
00000847: EXP
00000848: SUB
00000849: DUP5
0000084a: AND
0000084b: PUSH1 0x00
0000084d: SWAP1
0000084e: DUP2
0000084f: MSTORE
00000850: PUSH1 0x04
00000852: PUSH1 0x20
00000854: MSTORE
00000855: PUSH1 0x40
00000857: SWAP1
00000858: KECCAK256
00000859: SLOAD
0000085a: DUP3
0000085b: GT
0000085c: ISZERO
0000085d: PUSH2 0x0865
00000860: JUMPI
00000861: PUSH1 0x00
00000863: DUP1
00000864: REVERT
00000865: JUMPDEST
00000866: PUSH2 0x0871
00000869: DUP5
0000086a: DUP5
0000086b: DUP5
0000086c: DUP5
0000086d: PUSH2 0x1a3e
00000870: JUMP
00000871: JUMPDEST
00000872: POP
00000873: POP
00000874: POP
00000875: POP
00000876: JUMP
00000877: JUMPDEST
00000878: PUSH1 0x01
0000087a: PUSH1 0xa0
0000087c: PUSH1 0x02
0000087e: EXP
0000087f: SUB
00000880: DUP4
00000881: AND
00000882: PUSH1 0x00
00000884: SWAP1
00000885: DUP2
00000886: MSTORE
00000887: PUSH1 0x04
00000889: PUSH1 0x20
0000088b: MSTORE
0000088c: PUSH1 0x40
0000088e: DUP2
0000088f: KECCAK256
00000890: SLOAD
00000891: DUP3
00000892: GT
00000893: DUP1
00000894: ISZERO
00000895: SWAP1
00000896: PUSH2 0x08c2
00000899: JUMPI
0000089a: POP
0000089b: PUSH1 0x01
0000089d: PUSH1 0xa0
0000089f: PUSH1 0x02
000008a1: EXP
000008a2: SUB
000008a3: DUP5
000008a4: AND
000008a5: PUSH1 0x00
000008a7: SWAP1
000008a8: DUP2
000008a9: MSTORE
000008aa: PUSH1 0x05
000008ac: PUSH1 0x20
000008ae: SWAP1
000008af: DUP2
000008b0: MSTORE
000008b1: PUSH1 0x40
000008b3: DUP1
000008b4: DUP4
000008b5: KECCAK256
000008b6: CALLER
000008b7: DUP5
000008b8: MSTORE
000008b9: SWAP1
000008ba: SWAP2
000008bb: MSTORE
000008bc: SWAP1
000008bd: KECCAK256
000008be: SLOAD
000008bf: DUP3
000008c0: GT
000008c1: ISZERO
000008c2: JUMPDEST
000008c3: ISZERO
000008c4: ISZERO
000008c5: PUSH2 0x08cd
000008c8: JUMPI
000008c9: PUSH1 0x00
000008cb: DUP1
000008cc: REVERT
000008cd: JUMPDEST
000008ce: PUSH8 0x0de0b6b3a7640000
000008d7: PUSH2 0x08eb
000008da: PUSH1 0x08
000008dc: SLOAD
000008dd: DUP5
000008de: PUSH2 0x1d0b
000008e1: SWAP1
000008e2: SWAP2
000008e3: SWAP1
000008e4: PUSH4 0xffffffff
000008e9: AND
000008ea: JUMP
000008eb: JUMPDEST
000008ec: DUP2
000008ed: ISZERO
000008ee: ISZERO
000008ef: PUSH2 0x08f4
000008f2: JUMPI
000008f3: INVALID
000008f4: JUMPDEST
000008f5: PUSH1 0x01
000008f7: PUSH1 0xa0
000008f9: PUSH1 0x02
000008fb: EXP
000008fc: SUB
000008fd: DUP7
000008fe: AND
000008ff: PUSH1 0x00
00000901: SWAP1
00000902: DUP2
00000903: MSTORE
00000904: PUSH1 0x07
00000906: PUSH1 0x20
00000908: MSTORE
00000909: PUSH1 0x40
0000090b: SWAP1
0000090c: KECCAK256
0000090d: DUP1
0000090e: SLOAD
0000090f: SWAP3
00000910: SWAP1
00000911: SWAP2
00000912: DIV
00000913: SWAP1
00000914: SWAP2
00000915: SUB
00000916: SWAP1
00000917: SSTORE
00000918: PUSH1 0x08
0000091a: SLOAD
0000091b: PUSH8 0x0de0b6b3a7640000
00000924: SWAP1
00000925: PUSH2 0x0935
00000928: SWAP1
00000929: DUP5
0000092a: SWAP1
0000092b: PUSH4 0xffffffff
00000930: PUSH2 0x1d0b
00000933: AND
00000934: JUMP
00000935: JUMPDEST
00000936: DUP2
00000937: ISZERO
00000938: ISZERO
00000939: PUSH2 0x093e
0000093c: JUMPI
0000093d: INVALID
0000093e: JUMPDEST
0000093f: PUSH1 0x01
00000941: PUSH1 0xa0
00000943: PUSH1 0x02
00000945: EXP
00000946: SUB
00000947: DUP6
00000948: DUP2
00000949: AND
0000094a: PUSH1 0x00
0000094c: SWAP1
0000094d: DUP2
0000094e: MSTORE
0000094f: PUSH1 0x07
00000951: PUSH1 0x20
00000953: SWAP1
00000954: DUP2
00000955: MSTORE
00000956: PUSH1 0x40
00000958: DUP1
00000959: DUP4
0000095a: KECCAK256
0000095b: DUP1
0000095c: SLOAD
0000095d: SWAP7
0000095e: SWAP1
0000095f: SWAP6
00000960: DIV
00000961: SWAP1
00000962: SWAP6
00000963: ADD
00000964: SWAP1
00000965: SWAP4
00000966: SSTORE
00000967: SWAP1
00000968: DUP8
00000969: AND
0000096a: DUP2
0000096b: MSTORE
0000096c: PUSH1 0x04
0000096e: SWAP1
0000096f: SWAP2
00000970: MSTORE
00000971: KECCAK256
00000972: SLOAD
00000973: PUSH2 0x097c
00000976: SWAP1
00000977: DUP4
00000978: PUSH2 0x19c7
0000097b: JUMP
0000097c: JUMPDEST
0000097d: PUSH1 0x01
0000097f: PUSH1 0xa0
00000981: PUSH1 0x02
00000983: EXP
00000984: SUB
00000985: DUP6
00000986: AND
00000987: PUSH1 0x00
00000989: SWAP1
0000098a: DUP2
0000098b: MSTORE
0000098c: PUSH1 0x04
0000098e: PUSH1 0x20
00000990: SWAP1
00000991: DUP2
00000992: MSTORE
00000993: PUSH1 0x40
00000995: DUP1
00000996: DUP4
00000997: KECCAK256
00000998: SWAP4
00000999: SWAP1
0000099a: SWAP4
0000099b: SSTORE
0000099c: PUSH1 0x05
0000099e: DUP2
0000099f: MSTORE
000009a0: DUP3
000009a1: DUP3
000009a2: KECCAK256
000009a3: CALLER
000009a4: DUP4
000009a5: MSTORE
000009a6: SWAP1
000009a7: MSTORE
000009a8: KECCAK256
000009a9: SLOAD
000009aa: PUSH2 0x09b9
000009ad: SWAP1
000009ae: DUP4
000009af: PUSH4 0xffffffff
000009b4: PUSH2 0x19c7
000009b7: AND
000009b8: JUMP
000009b9: JUMPDEST
000009ba: PUSH1 0x01
000009bc: PUSH1 0xa0
000009be: PUSH1 0x02
000009c0: EXP
000009c1: SUB
000009c2: DUP1
000009c3: DUP7
000009c4: AND
000009c5: PUSH1 0x00
000009c7: SWAP1
000009c8: DUP2
000009c9: MSTORE
000009ca: PUSH1 0x05
000009cc: PUSH1 0x20
000009ce: SWAP1
000009cf: DUP2
000009d0: MSTORE
000009d1: PUSH1 0x40
000009d3: DUP1
000009d4: DUP4
000009d5: KECCAK256
000009d6: CALLER
000009d7: DUP5
000009d8: MSTORE
000009d9: DUP3
000009da: MSTORE
000009db: DUP1
000009dc: DUP4
000009dd: KECCAK256
000009de: SWAP5
000009df: SWAP1
000009e0: SWAP5
000009e1: SSTORE
000009e2: SWAP2
000009e3: DUP7
000009e4: AND
000009e5: DUP2
000009e6: MSTORE
000009e7: PUSH1 0x04
000009e9: SWAP1
000009ea: SWAP2
000009eb: MSTORE
000009ec: KECCAK256
000009ed: SLOAD
000009ee: PUSH2 0x09fd
000009f1: SWAP1
000009f2: DUP4
000009f3: PUSH4 0xffffffff
000009f8: PUSH2 0x1d99
000009fb: AND
000009fc: JUMP
000009fd: JUMPDEST
000009fe: PUSH1 0x01
00000a00: PUSH1 0xa0
00000a02: PUSH1 0x02
00000a04: EXP
00000a05: SUB
00000a06: DUP1
00000a07: DUP6
00000a08: AND
00000a09: PUSH1 0x00
00000a0b: DUP2
00000a0c: DUP2
00000a0d: MSTORE
00000a0e: PUSH1 0x04
00000a10: PUSH1 0x20
00000a12: SWAP1
00000a13: DUP2
00000a14: MSTORE
00000a15: PUSH1 0x40
00000a17: SWAP2
00000a18: DUP3
00000a19: SWAP1
00000a1a: KECCAK256
00000a1b: SWAP5
00000a1c: SWAP1
00000a1d: SWAP5
00000a1e: SSTORE
00000a1f: DUP1
00000a20: MLOAD
00000a21: DUP7
00000a22: DUP2
00000a23: MSTORE
00000a24: SWAP1
00000a25: MLOAD
00000a26: SWAP2
00000a27: SWAP4
00000a28: SWAP3
00000a29: DUP9
00000a2a: AND
00000a2b: SWAP3
00000a2c: PUSH1 0x00
00000a2e: DUP1
00000a2f: MLOAD
00000a30: PUSH1 0x20
00000a32: PUSH2 0x1e6b
00000a35: DUP4
00000a36: CODECOPY
00000a37: DUP2
00000a38: MLOAD
00000a39: SWAP2
00000a3a: MSTORE
00000a3b: SWAP3
00000a3c: SWAP2
00000a3d: DUP3
00000a3e: SWAP1
00000a3f: SUB
00000a40: ADD
00000a41: SWAP1
00000a42: LOG3
00000a43: POP
00000a44: PUSH1 0x01
00000a46: SWAP4
00000a47: SWAP3
00000a48: POP
00000a49: POP
00000a4a: POP
00000a4b: JUMP
00000a4c: JUMPDEST
00000a4d: PUSH1 0x12
00000a4f: DUP2
00000a50: JUMP
00000a51: JUMPDEST
00000a52: PUSH1 0x00
00000a54: DUP1
00000a55: DUP1
00000a56: DUP1
00000a57: DUP1
00000a58: DUP1
00000a59: DUP1
00000a5a: CALLER
00000a5b: ORIGIN
00000a5c: EQ
00000a5d: PUSH2 0x0a65
00000a60: JUMPI
00000a61: PUSH1 0x00
00000a63: DUP1
00000a64: REVERT
00000a65: JUMPDEST
00000a66: PUSH1 0x64
00000a68: PUSH2 0x0a78
00000a6b: CALLVALUE
00000a6c: PUSH1 0x02
00000a6e: PUSH4 0xffffffff
00000a73: PUSH2 0x1d0b
00000a76: AND
00000a77: JUMP
00000a78: JUMPDEST
00000a79: DUP2
00000a7a: ISZERO
00000a7b: ISZERO
00000a7c: PUSH2 0x0a81
00000a7f: JUMPI
00000a80: INVALID
00000a81: JUMPDEST
00000a82: PUSH1 0x00
00000a84: SLOAD
00000a85: SWAP2
00000a86: SWAP1
00000a87: DIV
00000a88: SWAP8
00000a89: POP
00000a8a: PUSH1 0x01
00000a8c: PUSH1 0xa0
00000a8e: PUSH1 0x02
00000a90: EXP
00000a91: SUB
00000a92: AND
00000a93: PUSH2 0x08fc
00000a96: PUSH1 0x02
00000a98: DUP10
00000a99: DIV
00000a9a: SWAP1
00000a9b: DUP2
00000a9c: ISZERO
00000a9d: MUL
00000a9e: SWAP1
00000a9f: PUSH1 0x40
00000aa1: MLOAD
00000aa2: PUSH1 0x00
00000aa4: PUSH1 0x40
00000aa6: MLOAD
00000aa7: DUP1
00000aa8: DUP4
00000aa9: SUB
00000aaa: DUP2
00000aab: DUP6
00000aac: DUP9
00000aad: DUP9
00000aae: CALL
00000aaf: SWAP4
00000ab0: POP
00000ab1: POP
00000ab2: POP
00000ab3: POP
00000ab4: ISZERO
00000ab5: DUP1
00000ab6: ISZERO
00000ab7: PUSH2 0x0ac4
00000aba: JUMPI
00000abb: RETURNDATASIZE
00000abc: PUSH1 0x00
00000abe: DUP1
00000abf: RETURNDATACOPY
00000ac0: RETURNDATASIZE
00000ac1: PUSH1 0x00
00000ac3: REVERT
00000ac4: JUMPDEST
00000ac5: POP
00000ac6: PUSH1 0x0b
00000ac8: SLOAD
00000ac9: PUSH1 0x40
00000acb: MLOAD
00000acc: PUSH1 0x01
00000ace: PUSH1 0xa0
00000ad0: PUSH1 0x02
00000ad2: EXP
00000ad3: SUB
00000ad4: SWAP1
00000ad5: SWAP2
00000ad6: AND
00000ad7: SWAP1
00000ad8: PUSH1 0x02
00000ada: DUP10
00000adb: DIV
00000adc: DUP1
00000add: ISZERO
00000ade: PUSH2 0x08fc
00000ae1: MUL
00000ae2: SWAP2
00000ae3: PUSH1 0x00
00000ae5: DUP2
00000ae6: DUP2
00000ae7: DUP2
00000ae8: DUP6
00000ae9: DUP9
00000aea: DUP9
00000aeb: CALL
00000aec: SWAP4
00000aed: POP
00000aee: POP
00000aef: POP
00000af0: POP
00000af1: ISZERO
00000af2: DUP1
00000af3: ISZERO
00000af4: PUSH2 0x0b01
00000af7: JUMPI
00000af8: RETURNDATASIZE
00000af9: PUSH1 0x00
00000afb: DUP1
00000afc: RETURNDATACOPY
00000afd: RETURNDATASIZE
00000afe: PUSH1 0x00
00000b00: REVERT
00000b01: JUMPDEST
00000b02: POP
00000b03: PUSH9 0x056bc75e2d63100000
00000b0d: PUSH2 0x0b4c
00000b10: PUSH2 0x0b30
00000b13: PUSH2 0x0b1a
00000b16: PUSH2 0x16bb
00000b19: JUMP
00000b1a: JUMPDEST
00000b1b: PUSH9 0x056bc75e2d63100000
00000b25: SWAP1
00000b26: PUSH4 0xffffffff
00000b2b: PUSH2 0x19c7
00000b2e: AND
00000b2f: JUMP
00000b30: JUMPDEST
00000b31: PUSH2 0x0b40
00000b34: CALLVALUE
00000b35: DUP12
00000b36: PUSH4 0xffffffff
00000b3b: PUSH2 0x19c7
00000b3e: AND
00000b3f: JUMP
00000b40: JUMPDEST
00000b41: SWAP1
00000b42: PUSH4 0xffffffff
00000b47: PUSH2 0x1d0b
00000b4a: AND
00000b4b: JUMP
00000b4c: JUMPDEST
00000b4d: DUP2
00000b4e: ISZERO
00000b4f: ISZERO
00000b50: PUSH2 0x0b55
00000b53: JUMPI
00000b54: INVALID
00000b55: JUMPDEST
00000b56: DIV
00000b57: SWAP6
00000b58: POP
00000b59: PUSH2 0x0b78
00000b5c: DUP8
00000b5d: PUSH2 0x0b6c
00000b60: CALLVALUE
00000b61: DUP10
00000b62: PUSH4 0xffffffff
00000b67: PUSH2 0x19c7
00000b6a: AND
00000b6b: JUMP
00000b6c: JUMPDEST
00000b6d: SWAP1
00000b6e: PUSH4 0xffffffff
00000b73: PUSH2 0x19c7
00000b76: AND
00000b77: JUMP
00000b78: JUMPDEST
00000b79: SWAP5
00000b7a: POP
00000b7b: PUSH1 0x01
00000b7d: PUSH1 0xa0
00000b7f: PUSH1 0x02
00000b81: EXP
00000b82: SUB
00000b83: DUP9
00000b84: AND
00000b85: CALLER
00000b86: EQ
00000b87: DUP1
00000b88: ISZERO
00000b89: SWAP1
00000b8a: PUSH2 0x0b9b
00000b8d: JUMPI
00000b8e: POP
00000b8f: PUSH1 0x01
00000b91: PUSH1 0xa0
00000b93: PUSH1 0x02
00000b95: EXP
00000b96: SUB
00000b97: DUP9
00000b98: AND
00000b99: ISZERO
00000b9a: ISZERO
00000b9b: JUMPDEST
00000b9c: ISZERO
00000b9d: PUSH2 0x0bf5
00000ba0: JUMPI
00000ba1: PUSH1 0x01
00000ba3: PUSH1 0xa0
00000ba5: PUSH1 0x02
00000ba7: EXP
00000ba8: SUB
00000ba9: DUP9
00000baa: AND
00000bab: PUSH1 0x00
00000bad: SWAP1
00000bae: DUP2
00000baf: MSTORE
00000bb0: PUSH1 0x06
00000bb2: PUSH1 0x20
00000bb4: MSTORE
00000bb5: PUSH1 0x40
00000bb7: SWAP1
00000bb8: KECCAK256
00000bb9: SLOAD
00000bba: PUSH1 0x0a
00000bbc: DUP7
00000bbd: DIV
00000bbe: SWAP5
00000bbf: POP
00000bc0: PUSH2 0x0bc9
00000bc3: SWAP1
00000bc4: DUP6
00000bc5: PUSH2 0x1d99
00000bc8: JUMP
00000bc9: JUMPDEST
00000bca: PUSH1 0x01
00000bcc: PUSH1 0xa0
00000bce: PUSH1 0x02
00000bd0: EXP
00000bd1: SUB
00000bd2: DUP10
00000bd3: AND
00000bd4: PUSH1 0x00
00000bd6: SWAP1
00000bd7: DUP2
00000bd8: MSTORE
00000bd9: PUSH1 0x06
00000bdb: PUSH1 0x20
00000bdd: MSTORE
00000bde: PUSH1 0x40
00000be0: SWAP1
00000be1: KECCAK256
00000be2: SSTORE
00000be3: PUSH2 0x0bf2
00000be6: DUP6
00000be7: DUP6
00000be8: PUSH4 0xffffffff
00000bed: PUSH2 0x19c7
00000bf0: AND
00000bf1: JUMP
00000bf2: JUMPDEST
00000bf3: SWAP5
00000bf4: POP
00000bf5: JUMPDEST
00000bf6: PUSH2 0x0bfe
00000bf9: DUP7
00000bfa: PUSH2 0x1901
00000bfd: JUMP
00000bfe: JUMPDEST
00000bff: SWAP3
00000c00: POP
00000c01: PUSH2 0x0c08
00000c04: PUSH2 0x1340
00000c07: JUMP
00000c08: JUMPDEST
00000c09: PUSH1 0x09
00000c0b: SLOAD
00000c0c: SWAP1
00000c0d: SWAP3
00000c0e: POP
00000c0f: PUSH2 0x0c1e
00000c12: SWAP1
00000c13: DUP5
00000c14: PUSH4 0xffffffff
00000c19: PUSH2 0x1d99
00000c1c: AND
00000c1d: JUMP
00000c1e: JUMPDEST
00000c1f: PUSH1 0x09
00000c21: SSTORE
00000c22: PUSH1 0x08
00000c24: SLOAD
00000c25: PUSH8 0x0de0b6b3a7640000
00000c2e: SWAP1
00000c2f: PUSH2 0x0c3e
00000c32: SWAP1
00000c33: DUP6
00000c34: PUSH4 0xffffffff
00000c39: PUSH2 0x1d0b
00000c3c: AND
00000c3d: JUMP
00000c3e: JUMPDEST
00000c3f: DUP2
00000c40: ISZERO
00000c41: ISZERO
00000c42: PUSH2 0x0c47
00000c45: JUMPI
00000c46: INVALID
00000c47: JUMPDEST
00000c48: CALLER
00000c49: PUSH1 0x00
00000c4b: SWAP1
00000c4c: DUP2
00000c4d: MSTORE
00000c4e: PUSH1 0x07
00000c50: PUSH1 0x20
00000c52: MSTORE
00000c53: PUSH1 0x40
00000c55: SWAP1
00000c56: KECCAK256
00000c57: DUP1
00000c58: SLOAD
00000c59: SWAP3
00000c5a: SWAP1
00000c5b: SWAP2
00000c5c: DIV
00000c5d: SWAP1
00000c5e: SWAP2
00000c5f: ADD
00000c60: SWAP1
00000c61: SSTORE
00000c62: PUSH2 0x0c9e
00000c65: PUSH2 0x0c6c
00000c68: PUSH2 0x0792
00000c6b: JUMP
00000c6c: JUMPDEST
00000c6d: PUSH2 0x0c84
00000c70: DUP8
00000c71: PUSH8 0x0de0b6b3a7640000
00000c7a: PUSH4 0xffffffff
00000c7f: PUSH2 0x1d0b
00000c82: AND
00000c83: JUMP
00000c84: JUMPDEST
00000c85: DUP2
00000c86: ISZERO
00000c87: ISZERO
00000c88: PUSH2 0x0c8d
00000c8b: JUMPI
00000c8c: INVALID
00000c8d: JUMPDEST
00000c8e: PUSH1 0x08
00000c90: SLOAD
00000c91: SWAP2
00000c92: SWAP1
00000c93: DIV
00000c94: PUSH4 0xffffffff
00000c99: PUSH2 0x1d99
00000c9c: AND
00000c9d: JUMP
00000c9e: JUMPDEST
00000c9f: PUSH1 0x08
00000ca1: SSTORE
00000ca2: CALLER
00000ca3: PUSH1 0x00
00000ca5: SWAP1
00000ca6: DUP2
00000ca7: MSTORE
00000ca8: PUSH1 0x04
00000caa: PUSH1 0x20
00000cac: MSTORE
00000cad: PUSH1 0x40
00000caf: SWAP1
00000cb0: KECCAK256
00000cb1: SLOAD
00000cb2: PUSH2 0x0cc1
00000cb5: SWAP1
00000cb6: DUP5
00000cb7: PUSH4 0xffffffff
00000cbc: PUSH2 0x1d99
00000cbf: AND
00000cc0: JUMP
00000cc1: JUMPDEST
00000cc2: CALLER
00000cc3: PUSH1 0x00
00000cc5: SWAP1
00000cc6: DUP2
00000cc7: MSTORE
00000cc8: PUSH1 0x04
00000cca: PUSH1 0x20
00000ccc: MSTORE
00000ccd: PUSH1 0x40
00000ccf: SWAP1
00000cd0: KECCAK256
00000cd1: SSTORE
00000cd2: PUSH2 0x0cd9
00000cd5: PUSH2 0x1340
00000cd8: JUMP
00000cd9: JUMPDEST
00000cda: PUSH1 0x40
00000cdc: DUP1
00000cdd: MLOAD
00000cde: DUP6
00000cdf: DUP2
00000ce0: MSTORE
00000ce1: SWAP1
00000ce2: MLOAD
00000ce3: SWAP2
00000ce4: SWAP3
00000ce5: POP
00000ce6: CALLER
00000ce7: SWAP2
00000ce8: PUSH1 0x00
00000cea: SWAP2
00000ceb: PUSH1 0x00
00000ced: DUP1
00000cee: MLOAD
00000cef: PUSH1 0x20
00000cf1: PUSH2 0x1e6b
00000cf4: DUP4
00000cf5: CODECOPY
00000cf6: DUP2
00000cf7: MLOAD
00000cf8: SWAP2
00000cf9: MSTORE
00000cfa: SWAP2
00000cfb: SWAP1
00000cfc: DUP2
00000cfd: SWAP1
00000cfe: SUB
00000cff: PUSH1 0x20
00000d01: ADD
00000d02: SWAP1
00000d03: LOG3
00000d04: PUSH1 0x40
00000d06: DUP1
00000d07: MLOAD
00000d08: DUP4
00000d09: DUP2
00000d0a: MSTORE
00000d0b: PUSH1 0x20
00000d0d: DUP2
00000d0e: ADD
00000d0f: DUP4
00000d10: SWAP1
00000d11: MSTORE
00000d12: CALLVALUE
00000d13: DUP2
00000d14: DUP4
00000d15: ADD
00000d16: MSTORE
00000d17: PUSH1 0x60
00000d19: DUP2
00000d1a: ADD
00000d1b: DUP6
00000d1c: SWAP1
00000d1d: MSTORE
00000d1e: TIMESTAMP
00000d1f: PUSH1 0x80
00000d21: DUP3
00000d22: ADD
00000d23: MSTORE
00000d24: PUSH1 0xc0
00000d26: PUSH1 0xa0
00000d28: DUP3
00000d29: ADD
00000d2a: DUP2
00000d2b: SWAP1
00000d2c: MSTORE
00000d2d: PUSH1 0x03
00000d2f: SWAP1
00000d30: DUP3
00000d31: ADD
00000d32: MSTORE
00000d33: PUSH32 0x4255590000000000000000000000000000000000000000000000000000000000
00000d54: PUSH1 0xe0
00000d56: DUP3
00000d57: ADD
00000d58: MSTORE
00000d59: SWAP1
00000d5a: MLOAD
00000d5b: CALLER
00000d5c: SWAP2
00000d5d: PUSH32 0xc21fe061f20452b681f10868698c3166931a5e72af15bfde8f6d9cb855670d76
00000d7e: SWAP2
00000d7f: SWAP1
00000d80: DUP2
00000d81: SWAP1
00000d82: SUB
00000d83: PUSH2 0x0100
00000d86: ADD
00000d87: SWAP1
00000d88: LOG2
00000d89: POP
00000d8a: POP
00000d8b: POP
00000d8c: POP
00000d8d: POP
00000d8e: POP
00000d8f: POP
00000d90: POP
00000d91: JUMP
00000d92: JUMPDEST
00000d93: PUSH1 0x00
00000d95: CALLER
00000d96: ORIGIN
00000d97: EQ
00000d98: DUP1
00000d99: PUSH2 0x0dac
00000d9c: JUMPI
00000d9d: POP
00000d9e: PUSH1 0x0b
00000da0: SLOAD
00000da1: PUSH1 0x01
00000da3: PUSH1 0xa0
00000da5: PUSH1 0x02
00000da7: EXP
00000da8: SUB
00000da9: AND
00000daa: CALLER
00000dab: EQ
00000dac: JUMPDEST
00000dad: DUP1
00000dae: PUSH2 0x0dc6
00000db1: JUMPI
00000db2: POP
00000db3: CALLER
00000db4: PUSH1 0x00
00000db6: SWAP1
00000db7: DUP2
00000db8: MSTORE
00000db9: PUSH1 0x0a
00000dbb: PUSH1 0x20
00000dbd: MSTORE
00000dbe: PUSH1 0x40
00000dc0: SWAP1
00000dc1: KECCAK256
00000dc2: SLOAD
00000dc3: PUSH1 0xff
00000dc5: AND
00000dc6: JUMPDEST
00000dc7: ISZERO
00000dc8: ISZERO
00000dc9: PUSH2 0x0dd1
00000dcc: JUMPI
00000dcd: PUSH1 0x00
00000dcf: DUP1
00000dd0: REVERT
00000dd1: JUMPDEST
00000dd2: PUSH1 0x00
00000dd4: PUSH2 0x0ddd
00000dd7: PUSH1 0x01
00000dd9: PUSH2 0x0f20
00000ddc: JUMP
00000ddd: JUMPDEST
00000dde: GT
00000ddf: PUSH2 0x0de7
00000de2: JUMPI
00000de3: PUSH1 0x00
00000de5: DUP1
00000de6: REVERT
00000de7: JUMPDEST
00000de8: CALLER
00000de9: PUSH1 0x00
00000deb: SWAP1
00000dec: DUP2
00000ded: MSTORE
00000dee: PUSH1 0x06
00000df0: PUSH1 0x20
00000df2: MSTORE
00000df3: PUSH1 0x40
00000df5: SWAP1
00000df6: KECCAK256
00000df7: SLOAD
00000df8: PUSH2 0x0e0f
00000dfb: SWAP1
00000dfc: PUSH2 0x0e03
00000dff: PUSH2 0x1823
00000e02: JUMP
00000e03: JUMPDEST
00000e04: SWAP1
00000e05: PUSH4 0xffffffff
00000e0a: PUSH2 0x1d99
00000e0d: AND
00000e0e: JUMP
00000e0f: JUMPDEST
00000e10: SWAP1
00000e11: POP
00000e12: PUSH2 0x0e19
00000e15: PUSH2 0x1823
00000e18: JUMP
00000e19: JUMPDEST
00000e1a: CALLER
00000e1b: PUSH1 0x00
00000e1d: DUP2
00000e1e: DUP2
00000e1f: MSTORE
00000e20: PUSH1 0x07
00000e22: PUSH1 0x20
00000e24: SWAP1
00000e25: DUP2
00000e26: MSTORE
00000e27: PUSH1 0x40
00000e29: DUP1
00000e2a: DUP4
00000e2b: KECCAK256
00000e2c: DUP1
00000e2d: SLOAD
00000e2e: SWAP6
00000e2f: SWAP1
00000e30: SWAP6
00000e31: ADD
00000e32: SWAP1
00000e33: SWAP5
00000e34: SSTORE
00000e35: PUSH1 0x06
00000e37: SWAP1
00000e38: MSTORE
00000e39: DUP3
00000e3a: DUP2
00000e3b: KECCAK256
00000e3c: DUP2
00000e3d: SWAP1
00000e3e: SSTORE
00000e3f: SWAP2
00000e40: MLOAD
00000e41: SWAP1
00000e42: SWAP2
00000e43: DUP4
00000e44: ISZERO
00000e45: PUSH2 0x08fc
00000e48: MUL
00000e49: SWAP2
00000e4a: DUP5
00000e4b: SWAP2
00000e4c: DUP2
00000e4d: DUP2
00000e4e: DUP2
00000e4f: DUP6
00000e50: DUP9
00000e51: DUP9
00000e52: CALL
00000e53: SWAP4
00000e54: POP
00000e55: POP
00000e56: POP
00000e57: POP
00000e58: ISZERO
00000e59: DUP1
00000e5a: ISZERO
00000e5b: PUSH2 0x0e68
00000e5e: JUMPI
00000e5f: RETURNDATASIZE
00000e60: PUSH1 0x00
00000e62: DUP1
00000e63: RETURNDATACOPY
00000e64: RETURNDATASIZE
00000e65: PUSH1 0x00
00000e67: REVERT
00000e68: JUMPDEST
00000e69: POP
00000e6a: PUSH1 0x40
00000e6c: DUP1
00000e6d: MLOAD
00000e6e: DUP3
00000e6f: DUP2
00000e70: MSTORE
00000e71: SWAP1
00000e72: MLOAD
00000e73: CALLER
00000e74: SWAP2
00000e75: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364
00000e96: SWAP2
00000e97: SWAP1
00000e98: DUP2
00000e99: SWAP1
00000e9a: SUB
00000e9b: PUSH1 0x20
00000e9d: ADD
00000e9e: SWAP1
00000e9f: LOG2
00000ea0: POP
00000ea1: JUMP
00000ea2: JUMPDEST
00000ea3: PUSH1 0x01
00000ea5: PUSH1 0xa0
00000ea7: PUSH1 0x02
00000ea9: EXP
00000eaa: SUB
00000eab: AND
00000eac: PUSH1 0x00
00000eae: SWAP1
00000eaf: DUP2
00000eb0: MSTORE
00000eb1: PUSH1 0x06
00000eb3: PUSH1 0x20
00000eb5: MSTORE
00000eb6: PUSH1 0x40
00000eb8: SWAP1
00000eb9: KECCAK256
00000eba: SLOAD
00000ebb: SWAP1
00000ebc: JUMP
00000ebd: JUMPDEST
00000ebe: PUSH1 0x00
00000ec0: SLOAD
00000ec1: PUSH1 0x01
00000ec3: PUSH1 0xa0
00000ec5: PUSH1 0x02
00000ec7: EXP
00000ec8: SUB
00000ec9: AND
00000eca: CALLER
00000ecb: EQ
00000ecc: PUSH2 0x0ed4
00000ecf: JUMPI
00000ed0: PUSH1 0x00
00000ed2: DUP1
00000ed3: REVERT
00000ed4: JUMPDEST
00000ed5: PUSH1 0x0b
00000ed7: DUP1
00000ed8: SLOAD
00000ed9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eee: NOT
00000eef: AND
00000ef0: PUSH1 0x01
00000ef2: PUSH1 0xa0
00000ef4: PUSH1 0x02
00000ef6: EXP
00000ef7: SUB
00000ef8: SWAP3
00000ef9: SWAP1
00000efa: SWAP3
00000efb: AND
00000efc: SWAP2
00000efd: SWAP1
00000efe: SWAP2
00000eff: OR
00000f00: SWAP1
00000f01: SSTORE
00000f02: JUMP
00000f03: JUMPDEST
00000f04: PUSH1 0x05
00000f06: PUSH1 0x20
00000f08: SWAP1
00000f09: DUP2
00000f0a: MSTORE
00000f0b: PUSH1 0x00
00000f0d: SWAP3
00000f0e: DUP4
00000f0f: MSTORE
00000f10: PUSH1 0x40
00000f12: DUP1
00000f13: DUP5
00000f14: KECCAK256
00000f15: SWAP1
00000f16: SWAP2
00000f17: MSTORE
00000f18: SWAP1
00000f19: DUP3
00000f1a: MSTORE
00000f1b: SWAP1
00000f1c: KECCAK256
00000f1d: SLOAD
00000f1e: DUP2
00000f1f: JUMP
00000f20: JUMPDEST
00000f21: PUSH1 0x00
00000f23: CALLER
00000f24: DUP3
00000f25: PUSH2 0x0f35
00000f28: JUMPI
00000f29: PUSH2 0x0f30
00000f2c: PUSH2 0x1823
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: PUSH2 0x0f5a
00000f34: JUMP
00000f35: JUMPDEST
00000f36: PUSH1 0x01
00000f38: PUSH1 0xa0
00000f3a: PUSH1 0x02
00000f3c: EXP
00000f3d: SUB
00000f3e: DUP2
00000f3f: AND
00000f40: PUSH1 0x00
00000f42: SWAP1
00000f43: DUP2
00000f44: MSTORE
00000f45: PUSH1 0x06
00000f47: PUSH1 0x20
00000f49: MSTORE
00000f4a: PUSH1 0x40
00000f4c: SWAP1
00000f4d: KECCAK256
00000f4e: SLOAD
00000f4f: PUSH2 0x0f5a
00000f52: SWAP1
00000f53: PUSH2 0x0e03
00000f56: PUSH2 0x1823
00000f59: JUMP
00000f5a: JUMPDEST
00000f5b: SWAP2
00000f5c: POP
00000f5d: JUMPDEST
00000f5e: POP
00000f5f: SWAP2
00000f60: SWAP1
00000f61: POP
00000f62: JUMP
00000f63: JUMPDEST
00000f64: PUSH1 0x0a
00000f66: PUSH1 0x20
00000f68: MSTORE
00000f69: PUSH1 0x00
00000f6b: SWAP1
00000f6c: DUP2
00000f6d: MSTORE
00000f6e: PUSH1 0x40
00000f70: SWAP1
00000f71: KECCAK256
00000f72: SLOAD
00000f73: PUSH1 0xff
00000f75: AND
00000f76: DUP2
00000f77: JUMP
00000f78: JUMPDEST
00000f79: PUSH1 0x01
00000f7b: PUSH1 0xa0
00000f7d: PUSH1 0x02
00000f7f: EXP
00000f80: SUB
00000f81: AND
00000f82: PUSH1 0x00
00000f84: SWAP1
00000f85: DUP2
00000f86: MSTORE
00000f87: PUSH1 0x04
00000f89: PUSH1 0x20
00000f8b: MSTORE
00000f8c: PUSH1 0x40
00000f8e: SWAP1
00000f8f: KECCAK256
00000f90: SLOAD
00000f91: SWAP1
00000f92: JUMP
00000f93: JUMPDEST
00000f94: PUSH1 0x08
00000f96: SLOAD
00000f97: DUP2
00000f98: JUMP
00000f99: JUMPDEST
00000f9a: PUSH1 0x01
00000f9c: SLOAD
00000f9d: PUSH1 0x01
00000f9f: PUSH1 0xa0
00000fa1: PUSH1 0x02
00000fa3: EXP
00000fa4: SUB
00000fa5: AND
00000fa6: CALLER
00000fa7: EQ
00000fa8: PUSH2 0x0fb0
00000fab: JUMPI
00000fac: PUSH1 0x00
00000fae: DUP1
00000faf: REVERT
00000fb0: JUMPDEST
00000fb1: PUSH1 0x01
00000fb3: SLOAD
00000fb4: PUSH1 0x00
00000fb6: DUP1
00000fb7: SLOAD
00000fb8: PUSH1 0x40
00000fba: MLOAD
00000fbb: PUSH1 0x01
00000fbd: PUSH1 0xa0
00000fbf: PUSH1 0x02
00000fc1: EXP
00000fc2: SUB
00000fc3: SWAP4
00000fc4: DUP5
00000fc5: AND
00000fc6: SWAP4
00000fc7: SWAP1
00000fc8: SWAP2
00000fc9: AND
00000fca: SWAP2
00000fcb: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000fec: SWAP2
00000fed: LOG3
00000fee: PUSH1 0x01
00000ff0: DUP1
00000ff1: SLOAD
00000ff2: PUSH1 0x00
00000ff4: DUP1
00000ff5: SLOAD
00000ff6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000100b: NOT
0000100c: SWAP1
0000100d: DUP2
0000100e: AND
0000100f: PUSH1 0x01
00001011: PUSH1 0xa0
00001013: PUSH1 0x02
00001015: EXP
00001016: SUB
00001017: DUP5
00001018: AND
00001019: OR
0000101a: SWAP1
0000101b: SWAP2
0000101c: SSTORE
0000101d: AND
0000101e: SWAP1
0000101f: SSTORE
00001020: JUMP
00001021: JUMPDEST
00001022: PUSH1 0x00
00001024: DUP1
00001025: DUP1
00001026: DUP1
00001027: DUP1
00001028: CALLER
00001029: ORIGIN
0000102a: EQ
0000102b: PUSH2 0x1033
0000102e: JUMPI
0000102f: PUSH1 0x00
00001031: DUP1
00001032: REVERT
00001033: JUMPDEST
00001034: DUP6
00001035: SWAP5
00001036: POP
00001037: PUSH2 0x103f
0000103a: DUP6
0000103b: PUSH2 0x175c
0000103e: JUMP
0000103f: JUMPDEST
00001040: SWAP4
00001041: POP
00001042: PUSH2 0x1049
00001045: PUSH2 0x1340
00001048: JUMP
00001049: JUMPDEST
0000104a: SWAP3
0000104b: POP
0000104c: PUSH8 0x0de0b6b3a7640000
00001055: PUSH2 0x1069
00001058: PUSH1 0x08
0000105a: SLOAD
0000105b: DUP8
0000105c: PUSH2 0x1d0b
0000105f: SWAP1
00001060: SWAP2
00001061: SWAP1
00001062: PUSH4 0xffffffff
00001067: AND
00001068: JUMP
00001069: JUMPDEST
0000106a: DUP2
0000106b: ISZERO
0000106c: ISZERO
0000106d: PUSH2 0x1072
00001070: JUMPI
00001071: INVALID
00001072: JUMPDEST
00001073: CALLER
00001074: PUSH1 0x00
00001076: SWAP1
00001077: DUP2
00001078: MSTORE
00001079: PUSH1 0x07
0000107b: PUSH1 0x20
0000107d: MSTORE
0000107e: PUSH1 0x40
00001080: SWAP1
00001081: KECCAK256
00001082: DUP1
00001083: SLOAD
00001084: SWAP3
00001085: SWAP1
00001086: SWAP2
00001087: DIV
00001088: SWAP1
00001089: SWAP2
0000108a: SUB
0000108b: SWAP1
0000108c: SSTORE
0000108d: PUSH1 0x09
0000108f: SLOAD
00001090: PUSH2 0x109f
00001093: SWAP1
00001094: DUP7
00001095: PUSH4 0xffffffff
0000109a: PUSH2 0x19c7
0000109d: AND
0000109e: JUMP
0000109f: JUMPDEST
000010a0: PUSH1 0x09
000010a2: SSTORE
000010a3: CALLER
000010a4: PUSH1 0x00
000010a6: SWAP1
000010a7: DUP2
000010a8: MSTORE
000010a9: PUSH1 0x04
000010ab: PUSH1 0x20
000010ad: MSTORE
000010ae: PUSH1 0x40
000010b0: SWAP1
000010b1: KECCAK256
000010b2: SLOAD
000010b3: PUSH2 0x10c2
000010b6: SWAP1
000010b7: DUP7
000010b8: PUSH4 0xffffffff
000010bd: PUSH2 0x19c7
000010c0: AND
000010c1: JUMP
000010c2: JUMPDEST
000010c3: CALLER
000010c4: PUSH1 0x00
000010c6: SWAP1
000010c7: DUP2
000010c8: MSTORE
000010c9: PUSH1 0x04
000010cb: PUSH1 0x20
000010cd: MSTORE
000010ce: PUSH1 0x40
000010d0: SWAP1
000010d1: KECCAK256
000010d2: SSTORE
000010d3: PUSH9 0x056bc75e2d63100000
000010dd: PUSH2 0x10f4
000010e0: PUSH2 0x10e7
000010e3: PUSH2 0x16bb
000010e6: JUMP
000010e7: JUMPDEST
000010e8: DUP7
000010e9: SWAP1
000010ea: PUSH4 0xffffffff
000010ef: PUSH2 0x1d0b
000010f2: AND
000010f3: JUMP
000010f4: JUMPDEST
000010f5: DUP2
000010f6: ISZERO
000010f7: ISZERO
000010f8: PUSH2 0x10fd
000010fb: JUMPI
000010fc: INVALID
000010fd: JUMPDEST
000010fe: DIV
000010ff: SWAP2
00001100: POP
00001101: PUSH1 0x00
00001103: PUSH2 0x110a
00001106: PUSH2 0x0792
00001109: JUMP
0000110a: JUMPDEST
0000110b: GT
0000110c: ISZERO
0000110d: PUSH2 0x113b
00001110: JUMPI
00001111: PUSH2 0x1133
00001114: PUSH2 0x111b
00001117: PUSH2 0x0792
0000111a: JUMP
0000111b: JUMPDEST
0000111c: PUSH2 0x0c84
0000111f: DUP5
00001120: PUSH8 0x0de0b6b3a7640000
00001129: PUSH4 0xffffffff
0000112e: PUSH2 0x1d0b
00001131: AND
00001132: JUMP
00001133: JUMPDEST
00001134: PUSH1 0x08
00001136: SSTORE
00001137: PUSH2 0x1176
0000113a: JUMP
0000113b: JUMPDEST
0000113c: PUSH1 0x00
0000113e: DUP1
0000113f: SLOAD
00001140: PUSH1 0x40
00001142: MLOAD
00001143: PUSH1 0x01
00001145: PUSH1 0xa0
00001147: PUSH1 0x02
00001149: EXP
0000114a: SUB
0000114b: SWAP1
0000114c: SWAP2
0000114d: AND
0000114e: SWAP2
0000114f: DUP5
00001150: ISZERO
00001151: PUSH2 0x08fc
00001154: MUL
00001155: SWAP2
00001156: DUP6
00001157: SWAP2
00001158: DUP2
00001159: DUP2
0000115a: DUP2
0000115b: DUP6
0000115c: DUP9
0000115d: DUP9
0000115e: CALL
0000115f: SWAP4
00001160: POP
00001161: POP
00001162: POP
00001163: POP
00001164: ISZERO
00001165: DUP1
00001166: ISZERO
00001167: PUSH2 0x1174
0000116a: JUMPI
0000116b: RETURNDATASIZE
0000116c: PUSH1 0x00
0000116e: DUP1
0000116f: RETURNDATACOPY
00001170: RETURNDATASIZE
00001171: PUSH1 0x00
00001173: REVERT
00001174: JUMPDEST
00001175: POP
00001176: JUMPDEST
00001177: PUSH1 0x00
00001179: SLOAD
0000117a: PUSH1 0x01
0000117c: PUSH1 0xa0
0000117e: PUSH1 0x02
00001180: EXP
00001181: SUB
00001182: AND
00001183: PUSH2 0x08fc
00001186: PUSH1 0x64
00001188: PUSH2 0x1198
0000118b: DUP8
0000118c: PUSH1 0x01
0000118e: PUSH4 0xffffffff
00001193: PUSH2 0x1d0b
00001196: AND
00001197: JUMP
00001198: JUMPDEST
00001199: DUP2
0000119a: ISZERO
0000119b: ISZERO
0000119c: PUSH2 0x11a1
0000119f: JUMPI
000011a0: INVALID
000011a1: JUMPDEST
000011a2: DIV
000011a3: SWAP1
000011a4: DUP2
000011a5: ISZERO
000011a6: MUL
000011a7: SWAP1
000011a8: PUSH1 0x40
000011aa: MLOAD
000011ab: PUSH1 0x00
000011ad: PUSH1 0x40
000011af: MLOAD
000011b0: DUP1
000011b1: DUP4
000011b2: SUB
000011b3: DUP2
000011b4: DUP6
000011b5: DUP9
000011b6: DUP9
000011b7: CALL
000011b8: SWAP4
000011b9: POP
000011ba: POP
000011bb: POP
000011bc: POP
000011bd: ISZERO
000011be: DUP1
000011bf: ISZERO
000011c0: PUSH2 0x11cd
000011c3: JUMPI
000011c4: RETURNDATASIZE
000011c5: PUSH1 0x00
000011c7: DUP1
000011c8: RETURNDATACOPY
000011c9: RETURNDATASIZE
000011ca: PUSH1 0x00
000011cc: REVERT
000011cd: JUMPDEST
000011ce: POP
000011cf: PUSH1 0x0b
000011d1: SLOAD
000011d2: PUSH1 0x01
000011d4: PUSH1 0xa0
000011d6: PUSH1 0x02
000011d8: EXP
000011d9: SUB
000011da: AND
000011db: PUSH2 0x08fc
000011de: PUSH1 0x64
000011e0: PUSH2 0x11f0
000011e3: DUP8
000011e4: PUSH1 0x01
000011e6: PUSH4 0xffffffff
000011eb: PUSH2 0x1d0b
000011ee: AND
000011ef: JUMP
000011f0: JUMPDEST
000011f1: DUP2
000011f2: ISZERO
000011f3: ISZERO
000011f4: PUSH2 0x11f9
000011f7: JUMPI
000011f8: INVALID
000011f9: JUMPDEST
000011fa: DIV
000011fb: SWAP1
000011fc: DUP2
000011fd: ISZERO
000011fe: MUL
000011ff: SWAP1
00001200: PUSH1 0x40
00001202: MLOAD
00001203: PUSH1 0x00
00001205: PUSH1 0x40
00001207: MLOAD
00001208: DUP1
00001209: DUP4
0000120a: SUB
0000120b: DUP2
0000120c: DUP6
0000120d: DUP9
0000120e: DUP9
0000120f: CALL
00001210: SWAP4
00001211: POP
00001212: POP
00001213: POP
00001214: POP
00001215: ISZERO
00001216: DUP1
00001217: ISZERO
00001218: PUSH2 0x1225
0000121b: JUMPI
0000121c: RETURNDATASIZE
0000121d: PUSH1 0x00
0000121f: DUP1
00001220: RETURNDATACOPY
00001221: RETURNDATASIZE
00001222: PUSH1 0x00
00001224: REVERT
00001225: JUMPDEST
00001226: POP
00001227: CALLER
00001228: PUSH2 0x08fc
0000122b: PUSH2 0x1257
0000122e: DUP5
0000122f: PUSH1 0x64
00001231: PUSH2 0x1241
00001234: DUP10
00001235: PUSH1 0x62
00001237: PUSH4 0xffffffff
0000123c: PUSH2 0x1d0b
0000123f: AND
00001240: JUMP
00001241: JUMPDEST
00001242: DUP2
00001243: ISZERO
00001244: ISZERO
00001245: PUSH2 0x124a
00001248: JUMPI
00001249: INVALID
0000124a: JUMPDEST
0000124b: DIV
0000124c: SWAP1
0000124d: PUSH4 0xffffffff
00001252: PUSH2 0x19c7
00001255: AND
00001256: JUMP
00001257: JUMPDEST
00001258: PUSH1 0x40
0000125a: MLOAD
0000125b: DUP2
0000125c: ISZERO
0000125d: SWAP1
0000125e: SWAP3
0000125f: MUL
00001260: SWAP2
00001261: PUSH1 0x00
00001263: DUP2
00001264: DUP2
00001265: DUP2
00001266: DUP6
00001267: DUP9
00001268: DUP9
00001269: CALL
0000126a: SWAP4
0000126b: POP
0000126c: POP
0000126d: POP
0000126e: POP
0000126f: ISZERO
00001270: DUP1
00001271: ISZERO
00001272: PUSH2 0x127f
00001275: JUMPI
00001276: RETURNDATASIZE
00001277: PUSH1 0x00
00001279: DUP1
0000127a: RETURNDATACOPY
0000127b: RETURNDATASIZE
0000127c: PUSH1 0x00
0000127e: REVERT
0000127f: JUMPDEST
00001280: POP
00001281: PUSH2 0x1288
00001284: PUSH2 0x1340
00001287: JUMP
00001288: JUMPDEST
00001289: PUSH1 0x40
0000128b: DUP1
0000128c: MLOAD
0000128d: DUP8
0000128e: DUP2
0000128f: MSTORE
00001290: SWAP1
00001291: MLOAD
00001292: SWAP2
00001293: SWAP3
00001294: POP
00001295: PUSH1 0x00
00001297: SWAP2
00001298: CALLER
00001299: SWAP2
0000129a: PUSH1 0x00
0000129c: DUP1
0000129d: MLOAD
0000129e: PUSH1 0x20
000012a0: PUSH2 0x1e6b
000012a3: DUP4
000012a4: CODECOPY
000012a5: DUP2
000012a6: MLOAD
000012a7: SWAP2
000012a8: MSTORE
000012a9: SWAP2
000012aa: SWAP1
000012ab: DUP2
000012ac: SWAP1
000012ad: SUB
000012ae: PUSH1 0x20
000012b0: ADD
000012b1: SWAP1
000012b2: LOG3
000012b3: PUSH1 0x40
000012b5: DUP1
000012b6: MLOAD
000012b7: DUP5
000012b8: DUP2
000012b9: MSTORE
000012ba: PUSH1 0x20
000012bc: DUP2
000012bd: ADD
000012be: DUP4
000012bf: SWAP1
000012c0: MSTORE
000012c1: DUP1
000012c2: DUP3
000012c3: ADD
000012c4: DUP7
000012c5: SWAP1
000012c6: MSTORE
000012c7: PUSH1 0x60
000012c9: DUP2
000012ca: ADD
000012cb: DUP8
000012cc: SWAP1
000012cd: MSTORE
000012ce: TIMESTAMP
000012cf: PUSH1 0x80
000012d1: DUP3
000012d2: ADD
000012d3: MSTORE
000012d4: PUSH1 0xc0
000012d6: PUSH1 0xa0
000012d8: DUP3
000012d9: ADD
000012da: DUP2
000012db: SWAP1
000012dc: MSTORE
000012dd: PUSH1 0x04
000012df: SWAP1
000012e0: DUP3
000012e1: ADD
000012e2: MSTORE
000012e3: PUSH32 0x53454c4c00000000000000000000000000000000000000000000000000000000
00001304: PUSH1 0xe0
00001306: DUP3
00001307: ADD
00001308: MSTORE
00001309: SWAP1
0000130a: MLOAD
0000130b: CALLER
0000130c: SWAP2
0000130d: PUSH32 0xc21fe061f20452b681f10868698c3166931a5e72af15bfde8f6d9cb855670d76
0000132e: SWAP2
0000132f: SWAP1
00001330: DUP2
00001331: SWAP1
00001332: SUB
00001333: PUSH2 0x0100
00001336: ADD
00001337: SWAP1
00001338: LOG2
00001339: POP
0000133a: POP
0000133b: POP
0000133c: POP
0000133d: POP
0000133e: POP
0000133f: JUMP
00001340: JUMPDEST
00001341: PUSH1 0x00
00001343: PUSH8 0x0de0b6b3a7640000
0000134c: PUSH2 0x1383
0000134f: PUSH4 0x05f5e100
00001354: PUSH2 0x135b
00001357: PUSH2 0x0792
0000135a: JUMP
0000135b: JUMPDEST
0000135c: DUP2
0000135d: ISZERO
0000135e: ISZERO
0000135f: PUSH2 0x1364
00001362: JUMPI
00001363: INVALID
00001364: JUMPDEST
00001365: PUSH6 0x09184e72a000
0000136c: SWAP2
0000136d: PUSH8 0x0de0b6b3a7640000
00001376: SWAP2
00001377: DIV
00001378: ADD
00001379: PUSH4 0xffffffff
0000137e: PUSH2 0x1d0b
00001381: AND
00001382: JUMP
00001383: JUMPDEST
00001384: DUP2
00001385: ISZERO
00001386: ISZERO
00001387: PUSH2 0x138c
0000138a: JUMPI
0000138b: INVALID
0000138c: JUMPDEST
0000138d: DIV
0000138e: SWAP1
0000138f: POP
00001390: SWAP1
00001391: JUMP
00001392: JUMPDEST
00001393: PUSH1 0x00
00001395: SLOAD
00001396: PUSH1 0x01
00001398: PUSH1 0xa0
0000139a: PUSH1 0x02
0000139c: EXP
0000139d: SUB
0000139e: AND
0000139f: DUP2
000013a0: JUMP
000013a1: JUMPDEST
000013a2: PUSH1 0x0b
000013a4: SLOAD
000013a5: PUSH1 0x01
000013a7: PUSH1 0xa0
000013a9: PUSH1 0x02
000013ab: EXP
000013ac: SUB
000013ad: AND
000013ae: DUP2
000013af: JUMP
000013b0: JUMPDEST
000013b1: PUSH1 0x03
000013b3: DUP1
000013b4: SLOAD
000013b5: PUSH1 0x40
000013b7: DUP1
000013b8: MLOAD
000013b9: PUSH1 0x20
000013bb: PUSH1 0x02
000013bd: PUSH1 0x01
000013bf: DUP6
000013c0: AND
000013c1: ISZERO
000013c2: PUSH2 0x0100
000013c5: MUL
000013c6: PUSH1 0x00
000013c8: NOT
000013c9: ADD
000013ca: SWAP1
000013cb: SWAP5
000013cc: AND
000013cd: SWAP4
000013ce: SWAP1
000013cf: SWAP4
000013d0: DIV
000013d1: PUSH1 0x1f
000013d3: DUP2
000013d4: ADD
000013d5: DUP5
000013d6: SWAP1
000013d7: DIV
000013d8: DUP5
000013d9: MUL
000013da: DUP3
000013db: ADD
000013dc: DUP5
000013dd: ADD
000013de: SWAP1
000013df: SWAP3
000013e0: MSTORE
000013e1: DUP2
000013e2: DUP2
000013e3: MSTORE
000013e4: SWAP3
000013e5: SWAP2
000013e6: DUP4
000013e7: ADD
000013e8: DUP3
000013e9: DUP3
000013ea: DUP1
000013eb: ISZERO
000013ec: PUSH2 0x0723
000013ef: JUMPI
000013f0: DUP1
000013f1: PUSH1 0x1f
000013f3: LT
000013f4: PUSH2 0x06f8
000013f7: JUMPI
000013f8: PUSH2 0x0100
000013fb: DUP1
000013fc: DUP4
000013fd: SLOAD
000013fe: DIV
000013ff: MUL
00001400: DUP4
00001401: MSTORE
00001402: SWAP2
00001403: PUSH1 0x20
00001405: ADD
00001406: SWAP2
00001407: PUSH2 0x0723
0000140a: JUMP
0000140b: JUMPDEST
0000140c: CALLER
0000140d: PUSH1 0x00
0000140f: SWAP1
00001410: DUP2
00001411: MSTORE
00001412: PUSH1 0x04
00001414: PUSH1 0x20
00001416: MSTORE
00001417: PUSH1 0x40
00001419: DUP2
0000141a: KECCAK256
0000141b: SLOAD
0000141c: DUP3
0000141d: GT
0000141e: ISZERO
0000141f: PUSH2 0x1427
00001422: JUMPI
00001423: PUSH1 0x00
00001425: DUP1
00001426: REVERT
00001427: JUMPDEST
00001428: PUSH8 0x0de0b6b3a7640000
00001431: PUSH2 0x1445
00001434: PUSH1 0x08
00001436: SLOAD
00001437: DUP5
00001438: PUSH2 0x1d0b
0000143b: SWAP1
0000143c: SWAP2
0000143d: SWAP1
0000143e: PUSH4 0xffffffff
00001443: AND
00001444: JUMP
00001445: JUMPDEST
00001446: DUP2
00001447: ISZERO
00001448: ISZERO
00001449: PUSH2 0x144e
0000144c: JUMPI
0000144d: INVALID
0000144e: JUMPDEST
0000144f: CALLER
00001450: PUSH1 0x00
00001452: SWAP1
00001453: DUP2
00001454: MSTORE
00001455: PUSH1 0x07
00001457: PUSH1 0x20
00001459: MSTORE
0000145a: PUSH1 0x40
0000145c: SWAP1
0000145d: KECCAK256
0000145e: DUP1
0000145f: SLOAD
00001460: SWAP3
00001461: SWAP1
00001462: SWAP2
00001463: DIV
00001464: SWAP1
00001465: SWAP2
00001466: SUB
00001467: SWAP1
00001468: SSTORE
00001469: PUSH1 0x08
0000146b: SLOAD
0000146c: PUSH8 0x0de0b6b3a7640000
00001475: SWAP1
00001476: PUSH2 0x1486
00001479: SWAP1
0000147a: DUP5
0000147b: SWAP1
0000147c: PUSH4 0xffffffff
00001481: PUSH2 0x1d0b
00001484: AND
00001485: JUMP
00001486: JUMPDEST
00001487: DUP2
00001488: ISZERO
00001489: ISZERO
0000148a: PUSH2 0x148f
0000148d: JUMPI
0000148e: INVALID
0000148f: JUMPDEST
00001490: PUSH1 0x01
00001492: PUSH1 0xa0
00001494: PUSH1 0x02
00001496: EXP
00001497: SUB
00001498: DUP6
00001499: AND
0000149a: PUSH1 0x00
0000149c: SWAP1
0000149d: DUP2
0000149e: MSTORE
0000149f: PUSH1 0x07
000014a1: PUSH1 0x20
000014a3: SWAP1
000014a4: DUP2
000014a5: MSTORE
000014a6: PUSH1 0x40
000014a8: DUP1
000014a9: DUP4
000014aa: KECCAK256
000014ab: DUP1
000014ac: SLOAD
000014ad: SWAP6
000014ae: SWAP1
000014af: SWAP5
000014b0: DIV
000014b1: SWAP1
000014b2: SWAP5
000014b3: ADD
000014b4: SWAP1
000014b5: SWAP3
000014b6: SSTORE
000014b7: CALLER
000014b8: DUP2
000014b9: MSTORE
000014ba: PUSH1 0x04
000014bc: SWAP1
000014bd: SWAP2
000014be: MSTORE
000014bf: KECCAK256
000014c0: SLOAD
000014c1: PUSH2 0x14ca
000014c4: SWAP1
000014c5: DUP4
000014c6: PUSH2 0x19c7
000014c9: JUMP
000014ca: JUMPDEST
000014cb: CALLER
000014cc: PUSH1 0x00
000014ce: SWAP1
000014cf: DUP2
000014d0: MSTORE
000014d1: PUSH1 0x04
000014d3: PUSH1 0x20
000014d5: MSTORE
000014d6: PUSH1 0x40
000014d8: DUP1
000014d9: DUP3
000014da: KECCAK256
000014db: SWAP3
000014dc: SWAP1
000014dd: SWAP3
000014de: SSTORE
000014df: PUSH1 0x01
000014e1: PUSH1 0xa0
000014e3: PUSH1 0x02
000014e5: EXP
000014e6: SUB
000014e7: DUP6
000014e8: AND
000014e9: DUP2
000014ea: MSTORE
000014eb: KECCAK256
000014ec: SLOAD
000014ed: PUSH2 0x14fc
000014f0: SWAP1
000014f1: DUP4
000014f2: PUSH4 0xffffffff
000014f7: PUSH2 0x1d99
000014fa: AND
000014fb: JUMP
000014fc: JUMPDEST
000014fd: PUSH1 0x01
000014ff: PUSH1 0xa0
00001501: PUSH1 0x02
00001503: EXP
00001504: SUB
00001505: DUP5
00001506: AND
00001507: PUSH1 0x00
00001509: DUP2
0000150a: DUP2
0000150b: MSTORE
0000150c: PUSH1 0x04
0000150e: PUSH1 0x20
00001510: SWAP1
00001511: DUP2
00001512: MSTORE
00001513: PUSH1 0x40
00001515: SWAP2
00001516: DUP3
00001517: SWAP1
00001518: KECCAK256
00001519: SWAP4
0000151a: SWAP1
0000151b: SWAP4
0000151c: SSTORE
0000151d: DUP1
0000151e: MLOAD
0000151f: DUP6
00001520: DUP2
00001521: MSTORE
00001522: SWAP1
00001523: MLOAD
00001524: SWAP2
00001525: SWAP3
00001526: CALLER
00001527: SWAP3
00001528: PUSH1 0x00
0000152a: DUP1
0000152b: MLOAD
0000152c: PUSH1 0x20
0000152e: PUSH2 0x1e6b
00001531: DUP4
00001532: CODECOPY
00001533: DUP2
00001534: MLOAD
00001535: SWAP2
00001536: MSTORE
00001537: SWAP3
00001538: DUP2
00001539: SWAP1
0000153a: SUB
0000153b: SWAP1
0000153c: SWAP2
0000153d: ADD
0000153e: SWAP1
0000153f: LOG3
00001540: POP
00001541: PUSH1 0x01
00001543: SWAP3
00001544: SWAP2
00001545: POP
00001546: POP
00001547: JUMP
00001548: JUMPDEST
00001549: PUSH1 0x06
0000154b: PUSH1 0x20
0000154d: MSTORE
0000154e: PUSH1 0x00
00001550: SWAP1
00001551: DUP2
00001552: MSTORE
00001553: PUSH1 0x40
00001555: SWAP1
00001556: KECCAK256
00001557: SLOAD
00001558: DUP2
00001559: JUMP
0000155a: JUMPDEST
0000155b: CALLER
0000155c: PUSH1 0x00
0000155e: DUP2
0000155f: DUP2
00001560: MSTORE
00001561: PUSH1 0x05
00001563: PUSH1 0x20
00001565: SWAP1
00001566: DUP2
00001567: MSTORE
00001568: PUSH1 0x40
0000156a: DUP1
0000156b: DUP4
0000156c: KECCAK256
0000156d: PUSH1 0x01
0000156f: PUSH1 0xa0
00001571: PUSH1 0x02
00001573: EXP
00001574: SUB
00001575: DUP9
00001576: AND
00001577: DUP1
00001578: DUP6
00001579: MSTORE
0000157a: SWAP1
0000157b: DUP4
0000157c: MSTORE
0000157d: DUP2
0000157e: DUP5
0000157f: KECCAK256
00001580: DUP8
00001581: SWAP1
00001582: SSTORE
00001583: DUP2
00001584: MLOAD
00001585: DUP8
00001586: DUP2
00001587: MSTORE
00001588: SWAP2
00001589: MLOAD
0000158a: SWAP4
0000158b: SWAP5
0000158c: SWAP1
0000158d: SWAP4
0000158e: SWAP1
0000158f: SWAP3
00001590: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000015b1: SWAP3
000015b2: DUP3
000015b3: SWAP1
000015b4: SUB
000015b5: ADD
000015b6: SWAP1
000015b7: LOG3
000015b8: PUSH1 0x40
000015ba: MLOAD
000015bb: PUSH32 0x8f4ffcb100000000000000000000000000000000000000000000000000000000
000015dc: DUP2
000015dd: MSTORE
000015de: CALLER
000015df: PUSH1 0x04
000015e1: DUP3
000015e2: ADD
000015e3: DUP2
000015e4: DUP2
000015e5: MSTORE
000015e6: PUSH1 0x24
000015e8: DUP4
000015e9: ADD
000015ea: DUP7
000015eb: SWAP1
000015ec: MSTORE
000015ed: ADDRESS
000015ee: PUSH1 0x44
000015f0: DUP5
000015f1: ADD
000015f2: DUP2
000015f3: SWAP1
000015f4: MSTORE
000015f5: PUSH1 0x80
000015f7: PUSH1 0x64
000015f9: DUP6
000015fa: ADD
000015fb: SWAP1
000015fc: DUP2
000015fd: MSTORE
000015fe: DUP7
000015ff: MLOAD
00001600: PUSH1 0x84
00001602: DUP7
00001603: ADD
00001604: MSTORE
00001605: DUP7
00001606: MLOAD
00001607: PUSH1 0x01
00001609: PUSH1 0xa0
0000160b: PUSH1 0x02
0000160d: EXP
0000160e: SUB
0000160f: DUP11
00001610: AND
00001611: SWAP6
00001612: PUSH4 0x8f4ffcb1
00001617: SWAP6
00001618: SWAP5
00001619: DUP11
0000161a: SWAP5
0000161b: SWAP4
0000161c: DUP11
0000161d: SWAP4
0000161e: SWAP2
0000161f: SWAP3
00001620: SWAP1
00001621: SWAP2
00001622: PUSH1 0xa4
00001624: SWAP1
00001625: SWAP2
00001626: ADD
00001627: SWAP1
00001628: PUSH1 0x20
0000162a: DUP6
0000162b: ADD
0000162c: SWAP1
0000162d: DUP1
0000162e: DUP4
0000162f: DUP4
00001630: PUSH1 0x00
00001632: JUMPDEST
00001633: DUP4
00001634: DUP2
00001635: LT
00001636: ISZERO
00001637: PUSH2 0x164a
0000163a: JUMPI
0000163b: DUP2
0000163c: DUP2
0000163d: ADD
0000163e: MLOAD
0000163f: DUP4
00001640: DUP3
00001641: ADD
00001642: MSTORE
00001643: PUSH1 0x20
00001645: ADD
00001646: PUSH2 0x1632
00001649: JUMP
0000164a: JUMPDEST
0000164b: POP
0000164c: POP
0000164d: POP
0000164e: POP
0000164f: SWAP1
00001650: POP
00001651: SWAP1
00001652: DUP2
00001653: ADD
00001654: SWAP1
00001655: PUSH1 0x1f
00001657: AND
00001658: DUP1
00001659: ISZERO
0000165a: PUSH2 0x1677
0000165d: JUMPI
0000165e: DUP1
0000165f: DUP3
00001660: SUB
00001661: DUP1
00001662: MLOAD
00001663: PUSH1 0x01
00001665: DUP4
00001666: PUSH1 0x20
00001668: SUB
00001669: PUSH2 0x0100
0000166c: EXP
0000166d: SUB
0000166e: NOT
0000166f: AND
00001670: DUP2
00001671: MSTORE
00001672: PUSH1 0x20
00001674: ADD
00001675: SWAP2
00001676: POP
00001677: JUMPDEST
00001678: POP
00001679: SWAP6
0000167a: POP
0000167b: POP
0000167c: POP
0000167d: POP
0000167e: POP
0000167f: POP
00001680: PUSH1 0x00
00001682: PUSH1 0x40
00001684: MLOAD
00001685: DUP1
00001686: DUP4
00001687: SUB
00001688: DUP2
00001689: PUSH1 0x00
0000168b: DUP8
0000168c: DUP1
0000168d: EXTCODESIZE
0000168e: ISZERO
0000168f: DUP1
00001690: ISZERO
00001691: PUSH2 0x1699
00001694: JUMPI
00001695: PUSH1 0x00
00001697: DUP1
00001698: REVERT
00001699: JUMPDEST
0000169a: POP
0000169b: GAS
0000169c: CALL
0000169d: ISZERO
0000169e: DUP1
0000169f: ISZERO
000016a0: PUSH2 0x16ad
000016a3: JUMPI
000016a4: RETURNDATASIZE
000016a5: PUSH1 0x00
000016a7: DUP1
000016a8: RETURNDATACOPY
000016a9: RETURNDATASIZE
000016aa: PUSH1 0x00
000016ac: REVERT
000016ad: JUMPDEST
000016ae: POP
000016af: PUSH1 0x01
000016b1: SWAP8
000016b2: SWAP7
000016b3: POP
000016b4: POP
000016b5: POP
000016b6: POP
000016b7: POP
000016b8: POP
000016b9: POP
000016ba: JUMP
000016bb: JUMPDEST
000016bc: PUSH1 0x00
000016be: DUP1
000016bf: PUSH12 0x014adf4b7320334b90000000
000016cc: PUSH2 0x16d3
000016cf: PUSH2 0x0792
000016d2: JUMP
000016d3: JUMPDEST
000016d4: LT
000016d5: ISZERO
000016d6: PUSH2 0x1719
000016d9: JUMPI
000016da: PUSH2 0x170f
000016dd: PUSH4 0x05f5e100
000016e2: PUSH2 0x16ee
000016e5: PUSH1 0x05
000016e7: PUSH2 0x0b40
000016ea: PUSH2 0x0792
000016ed: JUMP
000016ee: JUMPDEST
000016ef: DUP2
000016f0: ISZERO
000016f1: ISZERO
000016f2: PUSH2 0x16f7
000016f5: JUMPI
000016f6: INVALID
000016f7: JUMPDEST
000016f8: PUSH9 0x01158e460913d00000
00001702: SWAP2
00001703: SWAP1
00001704: DIV
00001705: PUSH4 0xffffffff
0000170a: PUSH2 0x19c7
0000170d: AND
0000170e: JUMP
0000170f: JUMPDEST
00001710: SWAP1
00001711: POP
00001712: DUP1
00001713: SWAP2
00001714: POP
00001715: PUSH2 0x171e
00001718: JUMP
00001719: JUMPDEST
0000171a: PUSH1 0x00
0000171c: SWAP2
0000171d: POP
0000171e: JUMPDEST
0000171f: POP
00001720: SWAP1
00001721: JUMP
00001722: JUMPDEST
00001723: PUSH1 0x01
00001725: SLOAD
00001726: PUSH1 0x01
00001728: PUSH1 0xa0
0000172a: PUSH1 0x02
0000172c: EXP
0000172d: SUB
0000172e: AND
0000172f: DUP2
00001730: JUMP
00001731: JUMPDEST
00001732: PUSH1 0x01
00001734: PUSH1 0xa0
00001736: PUSH1 0x02
00001738: EXP
00001739: SUB
0000173a: SWAP2
0000173b: DUP3
0000173c: AND
0000173d: PUSH1 0x00
0000173f: SWAP1
00001740: DUP2
00001741: MSTORE
00001742: PUSH1 0x05
00001744: PUSH1 0x20
00001746: SWAP1
00001747: DUP2
00001748: MSTORE
00001749: PUSH1 0x40
0000174b: DUP1
0000174c: DUP4
0000174d: KECCAK256
0000174e: SWAP4
0000174f: SWAP1
00001750: SWAP5
00001751: AND
00001752: DUP3
00001753: MSTORE
00001754: SWAP2
00001755: SWAP1
00001756: SWAP2
00001757: MSTORE
00001758: KECCAK256
00001759: SLOAD
0000175a: SWAP1
0000175b: JUMP
0000175c: JUMPDEST
0000175d: PUSH1 0x00
0000175f: PUSH15 0xc097ce7bc90715b34b9f1000000000
0000176f: PUSH2 0x17bf
00001772: DUP4
00001773: PUSH2 0x0b40
00001776: PUSH2 0x17ac
00001779: PUSH4 0x05f5e100
0000177e: PUSH2 0x178c
00001781: PUSH1 0x02
00001783: DUP6
00001784: DIV
00001785: PUSH2 0x0b6c
00001788: PUSH2 0x0792
0000178b: JUMP
0000178c: JUMPDEST
0000178d: DUP2
0000178e: ISZERO
0000178f: ISZERO
00001790: PUSH2 0x1795
00001793: JUMPI
00001794: INVALID
00001795: JUMPDEST
00001796: PUSH8 0x0de0b6b3a7640000
0000179f: SWAP2
000017a0: SWAP1
000017a1: DIV
000017a2: PUSH4 0xffffffff
000017a7: PUSH2 0x1d99
000017aa: AND
000017ab: JUMP
000017ac: JUMPDEST
000017ad: PUSH6 0x09184e72a000
000017b4: SWAP1
000017b5: PUSH4 0xffffffff
000017ba: PUSH2 0x1d0b
000017bd: AND
000017be: JUMP
000017bf: JUMPDEST
000017c0: DUP2
000017c1: ISZERO
000017c2: ISZERO
000017c3: PUSH2 0x17c8
000017c6: JUMPI
000017c7: INVALID
000017c8: JUMPDEST
000017c9: DIV
000017ca: SWAP3
000017cb: SWAP2
000017cc: POP
000017cd: POP
000017ce: JUMP
000017cf: JUMPDEST
000017d0: PUSH1 0x07
000017d2: PUSH1 0x20
000017d4: MSTORE
000017d5: PUSH1 0x00
000017d7: SWAP1
000017d8: DUP2
000017d9: MSTORE
000017da: PUSH1 0x40
000017dc: SWAP1
000017dd: KECCAK256
000017de: SLOAD
000017df: DUP2
000017e0: JUMP
000017e1: JUMPDEST
000017e2: PUSH1 0x00
000017e4: SLOAD
000017e5: PUSH1 0x01
000017e7: PUSH1 0xa0
000017e9: PUSH1 0x02
000017eb: EXP
000017ec: SUB
000017ed: AND
000017ee: CALLER
000017ef: EQ
000017f0: PUSH2 0x17f8
000017f3: JUMPI
000017f4: PUSH1 0x00
000017f6: DUP1
000017f7: REVERT
000017f8: JUMPDEST
000017f9: PUSH1 0x01
000017fb: PUSH1 0xa0
000017fd: PUSH1 0x02
000017ff: EXP
00001800: SUB
00001801: SWAP2
00001802: SWAP1
00001803: SWAP2
00001804: AND
00001805: PUSH1 0x00
00001807: SWAP1
00001808: DUP2
00001809: MSTORE
0000180a: PUSH1 0x0a
0000180c: PUSH1 0x20
0000180e: MSTORE
0000180f: PUSH1 0x40
00001811: SWAP1
00001812: KECCAK256
00001813: DUP1
00001814: SLOAD
00001815: PUSH1 0xff
00001817: NOT
00001818: AND
00001819: SWAP2
0000181a: ISZERO
0000181b: ISZERO
0000181c: SWAP2
0000181d: SWAP1
0000181e: SWAP2
0000181f: OR
00001820: SWAP1
00001821: SSTORE
00001822: JUMP
00001823: JUMPDEST
00001824: CALLER
00001825: PUSH1 0x00
00001827: SWAP1
00001828: DUP2
00001829: MSTORE
0000182a: PUSH1 0x07
0000182c: PUSH1 0x20
0000182e: SWAP1
0000182f: DUP2
00001830: MSTORE
00001831: PUSH1 0x40
00001833: DUP1
00001834: DUP4
00001835: KECCAK256
00001836: SLOAD
00001837: PUSH1 0x08
00001839: SLOAD
0000183a: PUSH1 0x04
0000183c: SWAP1
0000183d: SWAP4
0000183e: MSTORE
0000183f: SWAP1
00001840: DUP4
00001841: KECCAK256
00001842: SLOAD
00001843: DUP4
00001844: SWAP3
00001845: PUSH8 0x0de0b6b3a7640000
0000184e: SWAP2
0000184f: PUSH2 0x185d
00001852: SWAP2
00001853: PUSH4 0xffffffff
00001858: PUSH2 0x1d0b
0000185b: AND
0000185c: JUMP
0000185d: JUMPDEST
0000185e: DUP2
0000185f: ISZERO
00001860: ISZERO
00001861: PUSH2 0x1866
00001864: JUMPI
00001865: INVALID
00001866: JUMPDEST
00001867: DIV
00001868: SUB
00001869: SLT
0000186a: ISZERO
0000186b: PUSH2 0x1873
0000186e: JUMPI
0000186f: PUSH1 0x00
00001871: DUP1
00001872: REVERT
00001873: JUMPDEST
00001874: CALLER
00001875: PUSH1 0x00
00001877: SWAP1
00001878: DUP2
00001879: MSTORE
0000187a: PUSH1 0x07
0000187c: PUSH1 0x20
0000187e: SWAP1
0000187f: DUP2
00001880: MSTORE
00001881: PUSH1 0x40
00001883: DUP1
00001884: DUP4
00001885: KECCAK256
00001886: SLOAD
00001887: PUSH1 0x08
00001889: SLOAD
0000188a: PUSH1 0x04
0000188c: SWAP1
0000188d: SWAP4
0000188e: MSTORE
0000188f: SWAP3
00001890: KECCAK256
00001891: SLOAD
00001892: PUSH8 0x0de0b6b3a7640000
0000189b: SWAP2
0000189c: PUSH2 0x18ab
0000189f: SWAP2
000018a0: SWAP1
000018a1: PUSH4 0xffffffff
000018a6: PUSH2 0x1d0b
000018a9: AND
000018aa: JUMP
000018ab: JUMPDEST
000018ac: DUP2
000018ad: ISZERO
000018ae: ISZERO
000018af: PUSH2 0x18b4
000018b2: JUMPI
000018b3: INVALID
000018b4: JUMPDEST
000018b5: DIV
000018b6: SUB
000018b7: SWAP1
000018b8: POP
000018b9: SWAP1
000018ba: JUMP
000018bb: JUMPDEST
000018bc: PUSH1 0x00
000018be: SLOAD
000018bf: PUSH1 0x01
000018c1: PUSH1 0xa0
000018c3: PUSH1 0x02
000018c5: EXP
000018c6: SUB
000018c7: AND
000018c8: CALLER
000018c9: EQ
000018ca: PUSH2 0x18d2
000018cd: JUMPI
000018ce: PUSH1 0x00
000018d0: DUP1
000018d1: REVERT
000018d2: JUMPDEST
000018d3: PUSH1 0x01
000018d5: DUP1
000018d6: SLOAD
000018d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018ec: NOT
000018ed: AND
000018ee: PUSH1 0x01
000018f0: PUSH1 0xa0
000018f2: PUSH1 0x02
000018f4: EXP
000018f5: SUB
000018f6: SWAP3
000018f7: SWAP1
000018f8: SWAP3
000018f9: AND
000018fa: SWAP2
000018fb: SWAP1
000018fc: SWAP2
000018fd: OR
000018fe: SWAP1
000018ff: SSTORE
00001900: JUMP
00001901: JUMPDEST
00001902: PUSH1 0x00
00001904: PUSH2 0x078c
00001907: PUSH4 0x05f5e100
0000190c: PUSH2 0x0b40
0000190f: PUSH4 0x05f5e100
00001914: PUSH2 0x191b
00001917: PUSH2 0x0792
0000191a: JUMP
0000191b: JUMPDEST
0000191c: DUP2
0000191d: ISZERO
0000191e: ISZERO
0000191f: PUSH2 0x1924
00001922: JUMPI
00001923: INVALID
00001924: JUMPDEST
00001925: DIV
00001926: PUSH2 0x0b6c
00001929: PUSH8 0x0de0b6b3a7640000
00001932: DUP2
00001933: PUSH2 0x19c2
00001936: PUSH6 0x09184e72a000
0000193d: PUSH2 0x195d
00001940: PUSH1 0x02
00001942: PUSH2 0x0b40
00001945: DUP14
00001946: PUSH12 0x204fce5e3e25026110000000
00001953: PUSH4 0xffffffff
00001958: PUSH2 0x1d0b
0000195b: AND
0000195c: JUMP
0000195d: JUMPDEST
0000195e: DUP2
0000195f: ISZERO
00001960: ISZERO
00001961: PUSH2 0x1966
00001964: JUMPI
00001965: INVALID
00001966: JUMPDEST
00001967: DIV
00001968: PUSH2 0x0e03
0000196b: PUSH2 0x1980
0000196e: PUSH5 0x02540be400
00001974: PUSH2 0x0b40
00001977: PUSH1 0x02
00001979: PUSH2 0x0b40
0000197c: PUSH2 0x0792
0000197f: JUMP
00001980: JUMPDEST
00001981: PUSH2 0x0e03
00001984: PUSH7 0x2386f26fc10000
0000198c: PUSH2 0x199b
0000198f: PUSH2 0x1996
00001992: PUSH2 0x0792
00001995: JUMP
00001996: JUMPDEST
00001997: PUSH2 0x1e0b
0000199a: JUMP
0000199b: JUMPDEST
0000199c: DUP2
0000199d: ISZERO
0000199e: ISZERO
0000199f: PUSH2 0x19a4
000019a2: JUMPI
000019a3: INVALID
000019a4: JUMPDEST
000019a5: PUSH15 0xc097ce7bc90715b34b9f1000000000
000019b5: SWAP2
000019b6: SWAP1
000019b7: DIV
000019b8: PUSH4 0xffffffff
000019bd: PUSH2 0x1d99
000019c0: AND
000019c1: JUMP
000019c2: JUMPDEST
000019c3: PUSH2 0x1e17
000019c6: JUMP
000019c7: JUMPDEST
000019c8: PUSH1 0x00
000019ca: DUP3
000019cb: DUP3
000019cc: GT
000019cd: ISZERO
000019ce: PUSH2 0x1a38
000019d1: JUMPI
000019d2: PUSH1 0x40
000019d4: DUP1
000019d5: MLOAD
000019d6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019f7: DUP2
000019f8: MSTORE
000019f9: PUSH1 0x20
000019fb: PUSH1 0x04
000019fd: DUP3
000019fe: ADD
000019ff: MSTORE
00001a00: PUSH1 0x13
00001a02: PUSH1 0x24
00001a04: DUP3
00001a05: ADD
00001a06: MSTORE
00001a07: PUSH32 0x536166654d61746820737562206661696c656400000000000000000000000000
00001a28: PUSH1 0x44
00001a2a: DUP3
00001a2b: ADD
00001a2c: MSTORE
00001a2d: SWAP1
00001a2e: MLOAD
00001a2f: SWAP1
00001a30: DUP2
00001a31: SWAP1
00001a32: SUB
00001a33: PUSH1 0x64
00001a35: ADD
00001a36: SWAP1
00001a37: REVERT
00001a38: JUMPDEST
00001a39: POP
00001a3a: SWAP1
00001a3b: SUB
00001a3c: SWAP1
00001a3d: JUMP
00001a3e: JUMPDEST
00001a3f: PUSH1 0x00
00001a41: DUP1
00001a42: DUP1
00001a43: PUSH1 0x01
00001a45: PUSH1 0xa0
00001a47: PUSH1 0x02
00001a49: EXP
00001a4a: SUB
00001a4b: DUP7
00001a4c: AND
00001a4d: ISZERO
00001a4e: ISZERO
00001a4f: PUSH2 0x1a57
00001a52: JUMPI
00001a53: PUSH1 0x00
00001a55: DUP1
00001a56: REVERT
00001a57: JUMPDEST
00001a58: DUP7
00001a59: SWAP3
00001a5a: POP
00001a5b: PUSH1 0x01
00001a5d: PUSH1 0xa0
00001a5f: PUSH1 0x02
00001a61: EXP
00001a62: SUB
00001a63: DUP4
00001a64: AND
00001a65: CALLER
00001a66: EQ
00001a67: PUSH2 0x1ac3
00001a6a: JUMPI
00001a6b: PUSH1 0x01
00001a6d: PUSH1 0xa0
00001a6f: PUSH1 0x02
00001a71: EXP
00001a72: SUB
00001a73: DUP4
00001a74: AND
00001a75: PUSH1 0x00
00001a77: SWAP1
00001a78: DUP2
00001a79: MSTORE
00001a7a: PUSH1 0x05
00001a7c: PUSH1 0x20
00001a7e: SWAP1
00001a7f: DUP2
00001a80: MSTORE
00001a81: PUSH1 0x40
00001a83: DUP1
00001a84: DUP4
00001a85: KECCAK256
00001a86: CALLER
00001a87: DUP5
00001a88: MSTORE
00001a89: SWAP1
00001a8a: SWAP2
00001a8b: MSTORE
00001a8c: SWAP1
00001a8d: KECCAK256
00001a8e: SLOAD
00001a8f: PUSH2 0x1a9e
00001a92: SWAP1
00001a93: DUP7
00001a94: PUSH4 0xffffffff
00001a99: PUSH2 0x19c7
00001a9c: AND
00001a9d: JUMP
00001a9e: JUMPDEST
00001a9f: PUSH1 0x01
00001aa1: PUSH1 0xa0
00001aa3: PUSH1 0x02
00001aa5: EXP
00001aa6: SUB
00001aa7: DUP5
00001aa8: AND
00001aa9: PUSH1 0x00
00001aab: SWAP1
00001aac: DUP2
00001aad: MSTORE
00001aae: PUSH1 0x05
00001ab0: PUSH1 0x20
00001ab2: SWAP1
00001ab3: DUP2
00001ab4: MSTORE
00001ab5: PUSH1 0x40
00001ab7: DUP1
00001ab8: DUP4
00001ab9: KECCAK256
00001aba: CALLER
00001abb: DUP5
00001abc: MSTORE
00001abd: SWAP1
00001abe: SWAP2
00001abf: MSTORE
00001ac0: SWAP1
00001ac1: KECCAK256
00001ac2: SSTORE
00001ac3: JUMPDEST
00001ac4: PUSH1 0x01
00001ac6: PUSH1 0xa0
00001ac8: PUSH1 0x02
00001aca: EXP
00001acb: SUB
00001acc: DUP4
00001acd: AND
00001ace: PUSH1 0x00
00001ad0: SWAP1
00001ad1: DUP2
00001ad2: MSTORE
00001ad3: PUSH1 0x04
00001ad5: PUSH1 0x20
00001ad7: MSTORE
00001ad8: PUSH1 0x40
00001ada: SWAP1
00001adb: KECCAK256
00001adc: SLOAD
00001add: PUSH2 0x1aec
00001ae0: SWAP1
00001ae1: DUP7
00001ae2: PUSH4 0xffffffff
00001ae7: PUSH2 0x19c7
00001aea: AND
00001aeb: JUMP
00001aec: JUMPDEST
00001aed: PUSH1 0x01
00001aef: PUSH1 0xa0
00001af1: PUSH1 0x02
00001af3: EXP
00001af4: SUB
00001af5: DUP1
00001af6: DUP6
00001af7: AND
00001af8: PUSH1 0x00
00001afa: SWAP1
00001afb: DUP2
00001afc: MSTORE
00001afd: PUSH1 0x04
00001aff: PUSH1 0x20
00001b01: MSTORE
00001b02: PUSH1 0x40
00001b04: DUP1
00001b05: DUP3
00001b06: KECCAK256
00001b07: SWAP4
00001b08: SWAP1
00001b09: SWAP4
00001b0a: SSTORE
00001b0b: SWAP1
00001b0c: DUP9
00001b0d: AND
00001b0e: DUP2
00001b0f: MSTORE
00001b10: KECCAK256
00001b11: SLOAD
00001b12: PUSH2 0x1b21
00001b15: SWAP1
00001b16: DUP7
00001b17: PUSH4 0xffffffff
00001b1c: PUSH2 0x1d99
00001b1f: AND
00001b20: JUMP
00001b21: JUMPDEST
00001b22: PUSH1 0x01
00001b24: PUSH1 0xa0
00001b26: PUSH1 0x02
00001b28: EXP
00001b29: SUB
00001b2a: DUP8
00001b2b: AND
00001b2c: PUSH1 0x00
00001b2e: SWAP1
00001b2f: DUP2
00001b30: MSTORE
00001b31: PUSH1 0x04
00001b33: PUSH1 0x20
00001b35: MSTORE
00001b36: PUSH1 0x40
00001b38: SWAP1
00001b39: KECCAK256
00001b3a: SSTORE
00001b3b: PUSH1 0x08
00001b3d: SLOAD
00001b3e: PUSH8 0x0de0b6b3a7640000
00001b47: SWAP1
00001b48: PUSH2 0x1b57
00001b4b: SWAP1
00001b4c: DUP8
00001b4d: PUSH4 0xffffffff
00001b52: PUSH2 0x1d0b
00001b55: AND
00001b56: JUMP
00001b57: JUMPDEST
00001b58: DUP2
00001b59: ISZERO
00001b5a: ISZERO
00001b5b: PUSH2 0x1b60
00001b5e: JUMPI
00001b5f: INVALID
00001b60: JUMPDEST
00001b61: PUSH1 0x01
00001b63: PUSH1 0xa0
00001b65: PUSH1 0x02
00001b67: EXP
00001b68: SUB
00001b69: DUP6
00001b6a: AND
00001b6b: PUSH1 0x00
00001b6d: SWAP1
00001b6e: DUP2
00001b6f: MSTORE
00001b70: PUSH1 0x07
00001b72: PUSH1 0x20
00001b74: MSTORE
00001b75: PUSH1 0x40
00001b77: SWAP1
00001b78: KECCAK256
00001b79: DUP1
00001b7a: SLOAD
00001b7b: SWAP3
00001b7c: SWAP1
00001b7d: SWAP2
00001b7e: DIV
00001b7f: SWAP1
00001b80: SWAP2
00001b81: SUB
00001b82: SWAP1
00001b83: SSTORE
00001b84: PUSH1 0x08
00001b86: SLOAD
00001b87: PUSH8 0x0de0b6b3a7640000
00001b90: SWAP1
00001b91: PUSH2 0x1ba0
00001b94: SWAP1
00001b95: DUP8
00001b96: PUSH4 0xffffffff
00001b9b: PUSH2 0x1d0b
00001b9e: AND
00001b9f: JUMP
00001ba0: JUMPDEST
00001ba1: DUP2
00001ba2: ISZERO
00001ba3: ISZERO
00001ba4: PUSH2 0x1ba9
00001ba7: JUMPI
00001ba8: INVALID
00001ba9: JUMPDEST
00001baa: PUSH1 0x01
00001bac: PUSH1 0xa0
00001bae: PUSH1 0x02
00001bb0: EXP
00001bb1: SUB
00001bb2: DUP9
00001bb3: AND
00001bb4: PUSH1 0x00
00001bb6: SWAP1
00001bb7: DUP2
00001bb8: MSTORE
00001bb9: PUSH1 0x07
00001bbb: PUSH1 0x20
00001bbd: MSTORE
00001bbe: PUSH1 0x40
00001bc0: DUP2
00001bc1: KECCAK256
00001bc2: DUP1
00001bc3: SLOAD
00001bc4: SWAP4
00001bc5: SWAP1
00001bc6: SWAP3
00001bc7: DIV
00001bc8: SWAP1
00001bc9: SWAP3
00001bca: ADD
00001bcb: SWAP1
00001bcc: SSTORE
00001bcd: DUP7
00001bce: EXTCODESIZE
00001bcf: SWAP3
00001bd0: POP
00001bd1: DUP3
00001bd2: GT
00001bd3: ISZERO
00001bd4: PUSH2 0x1cc9
00001bd7: JUMPI
00001bd8: POP
00001bd9: PUSH1 0x40
00001bdb: MLOAD
00001bdc: PUSH32 0xc0ee0b8a00000000000000000000000000000000000000000000000000000000
00001bfd: DUP2
00001bfe: MSTORE
00001bff: PUSH1 0x01
00001c01: PUSH1 0xa0
00001c03: PUSH1 0x02
00001c05: EXP
00001c06: SUB
00001c07: DUP8
00001c08: DUP2
00001c09: AND
00001c0a: PUSH1 0x04
00001c0c: DUP4
00001c0d: ADD
00001c0e: SWAP1
00001c0f: DUP2
00001c10: MSTORE
00001c11: PUSH1 0x24
00001c13: DUP4
00001c14: ADD
00001c15: DUP8
00001c16: SWAP1
00001c17: MSTORE
00001c18: PUSH1 0x60
00001c1a: PUSH1 0x44
00001c1c: DUP5
00001c1d: ADD
00001c1e: SWAP1
00001c1f: DUP2
00001c20: MSTORE
00001c21: DUP7
00001c22: MLOAD
00001c23: PUSH1 0x64
00001c25: DUP6
00001c26: ADD
00001c27: MSTORE
00001c28: DUP7
00001c29: MLOAD
00001c2a: DUP10
00001c2b: SWAP5
00001c2c: SWAP4
00001c2d: DUP6
00001c2e: AND
00001c2f: SWAP4
00001c30: PUSH4 0xc0ee0b8a
00001c35: SWAP4
00001c36: DUP13
00001c37: SWAP4
00001c38: DUP12
00001c39: SWAP4
00001c3a: DUP12
00001c3b: SWAP4
00001c3c: PUSH1 0x84
00001c3e: ADD
00001c3f: SWAP1
00001c40: PUSH1 0x20
00001c42: DUP6
00001c43: ADD
00001c44: SWAP1
00001c45: DUP1
00001c46: DUP4
00001c47: DUP4
00001c48: PUSH1 0x00
00001c4a: JUMPDEST
00001c4b: DUP4
00001c4c: DUP2
00001c4d: LT
00001c4e: ISZERO
00001c4f: PUSH2 0x1c62
00001c52: JUMPI
00001c53: DUP2
00001c54: DUP2
00001c55: ADD
00001c56: MLOAD
00001c57: DUP4
00001c58: DUP3
00001c59: ADD
00001c5a: MSTORE
00001c5b: PUSH1 0x20
00001c5d: ADD
00001c5e: PUSH2 0x1c4a
00001c61: JUMP
00001c62: JUMPDEST
00001c63: POP
00001c64: POP
00001c65: POP
00001c66: POP
00001c67: SWAP1
00001c68: POP
00001c69: SWAP1
00001c6a: DUP2
00001c6b: ADD
00001c6c: SWAP1
00001c6d: PUSH1 0x1f
00001c6f: AND
00001c70: DUP1
00001c71: ISZERO
00001c72: PUSH2 0x1c8f
00001c75: JUMPI
00001c76: DUP1
00001c77: DUP3
00001c78: SUB
00001c79: DUP1
00001c7a: MLOAD
00001c7b: PUSH1 0x01
00001c7d: DUP4
00001c7e: PUSH1 0x20
00001c80: SUB
00001c81: PUSH2 0x0100
00001c84: EXP
00001c85: SUB
00001c86: NOT
00001c87: AND
00001c88: DUP2
00001c89: MSTORE
00001c8a: PUSH1 0x20
00001c8c: ADD
00001c8d: SWAP2
00001c8e: POP
00001c8f: JUMPDEST
00001c90: POP
00001c91: SWAP5
00001c92: POP
00001c93: POP
00001c94: POP
00001c95: POP
00001c96: POP
00001c97: PUSH1 0x00
00001c99: PUSH1 0x40
00001c9b: MLOAD
00001c9c: DUP1
00001c9d: DUP4
00001c9e: SUB
00001c9f: DUP2
00001ca0: PUSH1 0x00
00001ca2: DUP8
00001ca3: DUP1
00001ca4: EXTCODESIZE
00001ca5: ISZERO
00001ca6: DUP1
00001ca7: ISZERO
00001ca8: PUSH2 0x1cb0
00001cab: JUMPI
00001cac: PUSH1 0x00
00001cae: DUP1
00001caf: REVERT
00001cb0: JUMPDEST
00001cb1: POP
00001cb2: GAS
00001cb3: CALL
00001cb4: ISZERO
00001cb5: DUP1
00001cb6: ISZERO
00001cb7: PUSH2 0x1cc4
00001cba: JUMPI
00001cbb: RETURNDATASIZE
00001cbc: PUSH1 0x00
00001cbe: DUP1
00001cbf: RETURNDATACOPY
00001cc0: RETURNDATASIZE
00001cc1: PUSH1 0x00
00001cc3: REVERT
00001cc4: JUMPDEST
00001cc5: POP
00001cc6: POP
00001cc7: POP
00001cc8: POP
00001cc9: JUMPDEST
00001cca: DUP6
00001ccb: PUSH1 0x01
00001ccd: PUSH1 0xa0
00001ccf: PUSH1 0x02
00001cd1: EXP
00001cd2: SUB
00001cd3: AND
00001cd4: DUP4
00001cd5: PUSH1 0x01
00001cd7: PUSH1 0xa0
00001cd9: PUSH1 0x02
00001cdb: EXP
00001cdc: SUB
00001cdd: AND
00001cde: PUSH1 0x00
00001ce0: DUP1
00001ce1: MLOAD
00001ce2: PUSH1 0x20
00001ce4: PUSH2 0x1e6b
00001ce7: DUP4
00001ce8: CODECOPY
00001ce9: DUP2
00001cea: MLOAD
00001ceb: SWAP2
00001cec: MSTORE
00001ced: DUP8
00001cee: PUSH1 0x40
00001cf0: MLOAD
00001cf1: DUP1
00001cf2: DUP3
00001cf3: DUP2
00001cf4: MSTORE
00001cf5: PUSH1 0x20
00001cf7: ADD
00001cf8: SWAP2
00001cf9: POP
00001cfa: POP
00001cfb: PUSH1 0x40
00001cfd: MLOAD
00001cfe: DUP1
00001cff: SWAP2
00001d00: SUB
00001d01: SWAP1
00001d02: LOG3
00001d03: POP
00001d04: POP
00001d05: POP
00001d06: POP
00001d07: POP
00001d08: POP
00001d09: POP
00001d0a: JUMP
00001d0b: JUMPDEST
00001d0c: PUSH1 0x00
00001d0e: DUP3
00001d0f: ISZERO
00001d10: ISZERO
00001d11: PUSH2 0x1d1c
00001d14: JUMPI
00001d15: POP
00001d16: PUSH1 0x00
00001d18: PUSH2 0x078c
00001d1b: JUMP
00001d1c: JUMPDEST
00001d1d: POP
00001d1e: DUP2
00001d1f: DUP2
00001d20: MUL
00001d21: DUP2
00001d22: DUP4
00001d23: DUP3
00001d24: DUP2
00001d25: ISZERO
00001d26: ISZERO
00001d27: PUSH2 0x1d2c
00001d2a: JUMPI
00001d2b: INVALID
00001d2c: JUMPDEST
00001d2d: DIV
00001d2e: EQ
00001d2f: PUSH2 0x078c
00001d32: JUMPI
00001d33: PUSH1 0x40
00001d35: DUP1
00001d36: MLOAD
00001d37: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d58: DUP2
00001d59: MSTORE
00001d5a: PUSH1 0x20
00001d5c: PUSH1 0x04
00001d5e: DUP3
00001d5f: ADD
00001d60: MSTORE
00001d61: PUSH1 0x13
00001d63: PUSH1 0x24
00001d65: DUP3
00001d66: ADD
00001d67: MSTORE
00001d68: PUSH32 0x536166654d617468206d756c206661696c656400000000000000000000000000
00001d89: PUSH1 0x44
00001d8b: DUP3
00001d8c: ADD
00001d8d: MSTORE
00001d8e: SWAP1
00001d8f: MLOAD
00001d90: SWAP1
00001d91: DUP2
00001d92: SWAP1
00001d93: SUB
00001d94: PUSH1 0x64
00001d96: ADD
00001d97: SWAP1
00001d98: REVERT
00001d99: JUMPDEST
00001d9a: DUP2
00001d9b: DUP2
00001d9c: ADD
00001d9d: DUP3
00001d9e: DUP2
00001d9f: LT
00001da0: ISZERO
00001da1: PUSH2 0x078c
00001da4: JUMPI
00001da5: PUSH1 0x40
00001da7: DUP1
00001da8: MLOAD
00001da9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001dca: DUP2
00001dcb: MSTORE
00001dcc: PUSH1 0x20
00001dce: PUSH1 0x04
00001dd0: DUP3
00001dd1: ADD
00001dd2: MSTORE
00001dd3: PUSH1 0x13
00001dd5: PUSH1 0x24
00001dd7: DUP3
00001dd8: ADD
00001dd9: MSTORE
00001dda: PUSH32 0x536166654d61746820616464206661696c656400000000000000000000000000
00001dfb: PUSH1 0x44
00001dfd: DUP3
00001dfe: ADD
00001dff: MSTORE
00001e00: SWAP1
00001e01: MLOAD
00001e02: SWAP1
00001e03: DUP2
00001e04: SWAP1
00001e05: SUB
00001e06: PUSH1 0x64
00001e08: ADD
00001e09: SWAP1
00001e0a: REVERT
00001e0b: JUMPDEST
00001e0c: PUSH1 0x00
00001e0e: PUSH2 0x078c
00001e11: DUP3
00001e12: DUP4
00001e13: PUSH2 0x1d0b
00001e16: JUMP
00001e17: JUMPDEST
00001e18: PUSH1 0x00
00001e1a: DUP1
00001e1b: PUSH1 0x02
00001e1d: PUSH2 0x1e27
00001e20: DUP5
00001e21: PUSH1 0x01
00001e23: PUSH2 0x1d99
00001e26: JUMP
00001e27: JUMPDEST
00001e28: DUP2
00001e29: ISZERO
00001e2a: ISZERO
00001e2b: PUSH2 0x1e30
00001e2e: JUMPI
00001e2f: INVALID
00001e30: JUMPDEST
00001e31: DIV
00001e32: SWAP1
00001e33: POP
00001e34: DUP3
00001e35: SWAP2
00001e36: POP
00001e37: JUMPDEST
00001e38: DUP2
00001e39: DUP2
00001e3a: LT
00001e3b: ISZERO
00001e3c: PUSH2 0x0f5d
00001e3f: JUMPI
00001e40: DUP1
00001e41: SWAP2
00001e42: POP
00001e43: PUSH1 0x02
00001e45: PUSH2 0x1e59
00001e48: DUP3
00001e49: DUP6
00001e4a: DUP2
00001e4b: ISZERO
00001e4c: ISZERO
00001e4d: PUSH2 0x1e52
00001e50: JUMPI
00001e51: INVALID
00001e52: JUMPDEST
00001e53: DIV
00001e54: DUP4
00001e55: PUSH2 0x1d99
00001e58: JUMP
00001e59: JUMPDEST
00001e5a: DUP2
00001e5b: ISZERO
00001e5c: ISZERO
00001e5d: PUSH2 0x1e62
00001e60: JUMPI
00001e61: INVALID
00001e62: JUMPDEST
00001e63: DIV
00001e64: SWAP1
00001e65: POP
00001e66: PUSH2 0x1e37
00001e69: JUMP
00001e6a: STOP
00001e6b: UNKNOWN(0xDD)
00001e6c: CALLCODE
00001e6d: MSTORE
00001e6e: UNKNOWN(0xAD)
00001e6f: SHL
00001e70: UNKNOWN(0xE2)
00001e71: UNKNOWN(0xC8)
00001e72: SWAP12
00001e73: PUSH10 0xc2b068fc378daa952ba7
00001e7e: CALL
00001e7f: PUSH4 0xc4a11628
00001e84: CREATE2
00001e85: GAS
00001e86: UNKNOWN(0x4D)
00001e87: CREATE2
00001e88: UNKNOWN(0x23)
00001e89: UNKNOWN(0xB3)
00001e8a: UNKNOWN(0xEF)
00001e8b: LOG1
00001e8c: PUSH6 0x627a7a723058
00001e93: KECCAK256
00001e94: SWAP2
00001e95: AND
00001e96: UNKNOWN(0x2B)
00001e97: SWAP13
00001e98: MLOAD
00001e99: LOG4
00001e9a: UNKNOWN(0xE6)
00001e9b: PUSH8 0xbc73637067a2bfa5
00001ea4: UNKNOWN(0xAD)
00001ea5: SELFBALANCE
00001ea6: JUMP
00001ea7: UNKNOWN(0xAC)
00001ea8: UNKNOWN(0x25)
00001ea9: PUSH28

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x19fb361f", "selector": "0x19fb361f", "calldata_variants": [ "0x19fb361f", "0x19fb361f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x23b872dd", "selector": "0x23b872dd", "calldata_variants": [ "0x23b872dd", "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3c774dbb", "selector": "0x3c774dbb", "calldata_variants": [ "0x3c774dbb", "0x3c774dbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 2652, "type": "tx_origin_used" }, { "pc": 3479, "type": "tx_origin_used" }, { "pc": 4138, "type": "tx_origin_used" }, { "pc": 2651, "type": "tx_origin_used" }, { "pc": 3478, "type": "tx_origin_used" }, { "pc": 4137, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xe51f1c73de742ce3e8412158e7ebc9727a32a4ff3b264da6abdb67df0ba97de0 call_targets: 0x211f3175e3632ed194368311223bd4f4e834fc33 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xe51f1c73de742ce3e8412158e7ebc9727a32a4ff3b264da6abdb67df0ba97de0", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x211f3175e3632ed194368311223bd4f4e834fc33" ], "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": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x19fb361f", "selector": "0x19fb361f", "calldata_variants": [ "0x19fb361f", "0x19fb361f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x23b872dd", "selector": "0x23b872dd", "calldata_variants": [ "0x23b872dd", "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3c774dbb", "selector": "0x3c774dbb", "calldata_variants": [ "0x3c774dbb", "0x3c774dbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2734, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2795, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3666, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 11, "guards_detected": [ { "pc": 2652, "type": "tx_origin_used" }, { "pc": 3479, "type": "tx_origin_used" }, { "pc": 4138, "type": "tx_origin_used" }, { "pc": 2651, "type": "tx_origin_used" }, { "pc": 3478, "type": "tx_origin_used" }, { "pc": 4137, "type": "tx_origin_used" } ], "untrusted_call_count": 11 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xe51f1c73de742ce3e8412158e7ebc9727a32a4ff3b264da6abdb67df0ba97de0 call_targets: 0x211f3175e3632ed194368311223bd4f4e834fc33 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xe51f1c73de742ce3e8412158e7ebc9727a32a4ff3b264da6abdb67df0ba97de0", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x211f3175e3632ed194368311223bd4f4e834fc33" ], "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": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x19fb361f", "selector": "0x19fb361f", "calldata_variants": [ "0x19fb361f", "0x19fb361f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x23b872dd", "selector": "0x23b872dd", "calldata_variants": [ "0x23b872dd", "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3c774dbb", "selector": "0x3c774dbb", "calldata_variants": [ "0x3c774dbb", "0x3c774dbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2734, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2795, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3666, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 11, "guards_detected": [ { "pc": 2652, "type": "tx_origin_used" }, { "pc": 3479, "type": "tx_origin_used" }, { "pc": 4138, "type": "tx_origin_used" }, { "pc": 2651, "type": "tx_origin_used" }, { "pc": 3478, "type": "tx_origin_used" }, { "pc": 4137, "type": "tx_origin_used" } ] }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0x24bcb71a8925c8dad4f6abb0a15fa2716500080ecd218da867c5dedfb103a498 validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x24bcb71a8925c8dad4f6abb0a15fa2716500080ecd218da867c5dedfb103a498", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x19fb361f", "selector": "0x19fb361f", "calldata_variants": [ "0x19fb361f", "0x19fb361f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x23b872dd", "selector": "0x23b872dd", "calldata_variants": [ "0x23b872dd", "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3c774dbb", "selector": "0x3c774dbb", "calldata_variants": [ "0x3c774dbb", "0x3c774dbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 0, "create2_count": 2 }