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

Analysis Run

019b3836-305d-701f-bba6-3fbc7c3a61f5

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

What survived the funnel

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

Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
2603 artifact.fetch complete 1 / 3 4 months ago
2604 tool.cast_disasm complete 1 / 3 4 months ago
79907 analysis.bundle complete 1 / 3 2 weeks ago
79908 capability.graph complete 1 / 3 2 weeks ago
79909 detector.run complete 1 / 3 2 weeks ago
79910 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
3
EXT*/BALANCE
0
Total opcodes
4406
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x013d
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x127714c7
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x013f
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x166d19b9
00000025: EQ
00000026: PUSH2 0x0202
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x1b9f9647
00000030: EQ
00000031: PUSH2 0x0274
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x1bad1d2e
0000003b: EQ
0000003c: PUSH2 0x02a0
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x1cfd82d5
00000046: EQ
00000047: PUSH2 0x0594
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x4be85ed5
00000051: EQ
00000052: PUSH2 0x05b9
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x4f20f35a
0000005c: EQ
0000005d: PUSH2 0x05db
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x573bc606
00000067: EQ
00000068: PUSH2 0x0600
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x69433e12
00000072: EQ
00000073: PUSH2 0x0622
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x69c4113d
0000007d: EQ
0000007e: PUSH2 0x0644
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x6a357465
00000088: EQ
00000089: PUSH2 0x0675
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x70ab8ba8
00000093: EQ
00000094: PUSH2 0x069d
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x77bb75ca
0000009e: EQ
0000009f: PUSH2 0x0862
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x85f8c16d
000000a9: EQ
000000aa: PUSH2 0x0894
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x8b529f76
000000b4: EQ
000000b5: PUSH2 0x0916
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x8da4d776
000000bf: EQ
000000c0: PUSH2 0x0984
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x9718b524
000000ca: EQ
000000cb: PUSH2 0x09a6
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xa5ea11da
000000d5: EQ
000000d6: PUSH2 0x09c8
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xa5ebf389
000000e0: EQ
000000e1: PUSH2 0x0a7c
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0xa9059cbb
000000eb: EQ
000000ec: PUSH2 0x0aac
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0xac4b2bae
000000f6: EQ
000000f7: PUSH2 0x0ac4
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xd9e947f3
00000101: EQ
00000102: PUSH2 0x0aef
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xddb1bdc8
0000010c: EQ
0000010d: PUSH2 0x0b13
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xe555569a
00000117: EQ
00000118: PUSH2 0x0b83
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xea5ea470
00000122: EQ
00000123: PUSH2 0x0bb5
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0xf10c3300
0000012d: EQ
0000012e: PUSH2 0x0bd1
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xf59a07ee
00000138: EQ
00000139: PUSH2 0x0be7
0000013c: JUMPI
0000013d: JUMPDEST
0000013e: STOP
0000013f: JUMPDEST
00000140: PUSH1 0x11
00000142: SLOAD
00000143: PUSH1 0x05
00000145: SLOAD
00000146: PUSH1 0x0b
00000148: SLOAD
00000149: PUSH1 0x0c
0000014b: SLOAD
0000014c: PUSH1 0x0d
0000014e: SLOAD
0000014f: PUSH1 0x0e
00000151: SLOAD
00000152: PUSH1 0x0f
00000154: SLOAD
00000155: PUSH1 0x10
00000157: SLOAD
00000158: PUSH1 0x12
0000015a: SLOAD
0000015b: PUSH1 0x13
0000015d: SLOAD
0000015e: PUSH1 0x14
00000160: SLOAD
00000161: PUSH1 0x15
00000163: SLOAD
00000164: PUSH1 0x01
00000166: PUSH1 0xa0
00000168: PUSH1 0x02
0000016a: EXP
0000016b: SUB
0000016c: SWAP11
0000016d: DUP12
0000016e: AND
0000016f: PUSH1 0x00
00000171: SWAP1
00000172: DUP2
00000173: MSTORE
00000174: PUSH1 0x1b
00000176: PUSH1 0x20
00000178: MSTORE
00000179: PUSH1 0x40
0000017b: DUP1
0000017c: DUP3
0000017d: KECCAK256
0000017e: SLOAD
0000017f: PUSH1 0x04
00000181: SLOAD
00000182: SWAP1
00000183: SWAP14
00000184: AND
00000185: DUP3
00000186: MSTORE
00000187: SWAP1
00000188: KECCAK256
00000189: SLOAD
0000018a: SWAP10
0000018b: SWAP12
0000018c: SWAP9
0000018d: SWAP11
0000018e: SWAP8
0000018f: SWAP10
00000190: SWAP7
00000191: SWAP9
00000192: SWAP6
00000193: SWAP8
00000194: SWAP5
00000195: SWAP7
00000196: SWAP4
00000197: SWAP5
00000198: SWAP3
00000199: SWAP4
0000019a: SWAP2
0000019b: SWAP3
0000019c: SWAP1
0000019d: SWAP2
0000019e: PUSH1 0x40
000001a0: DUP1
000001a1: MLOAD
000001a2: SWAP14
000001a3: DUP15
000001a4: MSTORE
000001a5: PUSH1 0x20
000001a7: DUP15
000001a8: ADD
000001a9: SWAP13
000001aa: SWAP1
000001ab: SWAP13
000001ac: MSTORE
000001ad: DUP13
000001ae: DUP13
000001af: ADD
000001b0: SWAP11
000001b1: SWAP1
000001b2: SWAP11
000001b3: MSTORE
000001b4: PUSH1 0x60
000001b6: DUP13
000001b7: ADD
000001b8: SWAP9
000001b9: SWAP1
000001ba: SWAP9
000001bb: MSTORE
000001bc: PUSH1 0x80
000001be: DUP12
000001bf: ADD
000001c0: SWAP7
000001c1: SWAP1
000001c2: SWAP7
000001c3: MSTORE
000001c4: PUSH1 0xa0
000001c6: DUP11
000001c7: ADD
000001c8: SWAP5
000001c9: SWAP1
000001ca: SWAP5
000001cb: MSTORE
000001cc: PUSH1 0xc0
000001ce: DUP10
000001cf: ADD
000001d0: SWAP3
000001d1: SWAP1
000001d2: SWAP3
000001d3: MSTORE
000001d4: PUSH1 0xe0
000001d6: DUP9
000001d7: ADD
000001d8: MSTORE
000001d9: PUSH2 0x0100
000001dc: DUP8
000001dd: ADD
000001de: MSTORE
000001df: PUSH2 0x0120
000001e2: DUP7
000001e3: ADD
000001e4: MSTORE
000001e5: PUSH2 0x0140
000001e8: DUP6
000001e9: ADD
000001ea: MSTORE
000001eb: PUSH2 0x0160
000001ee: DUP5
000001ef: ADD
000001f0: MSTORE
000001f1: PUSH2 0x0180
000001f4: DUP4
000001f5: ADD
000001f6: MSTORE
000001f7: MLOAD
000001f8: SWAP1
000001f9: DUP2
000001fa: SWAP1
000001fb: SUB
000001fc: PUSH2 0x01a0
000001ff: ADD
00000200: SWAP1
00000201: RETURN
00000202: JUMPDEST
00000203: PUSH2 0x0bd5
00000206: PUSH1 0x04
00000208: CALLDATALOAD
00000209: JUMPDEST
0000020a: PUSH1 0x00
0000020c: DUP1
0000020d: JUMPDEST
0000020e: PUSH1 0x1a
00000210: SLOAD
00000211: DUP2
00000212: LT
00000213: ISZERO
00000214: PUSH2 0x0f16
00000217: JUMPI
00000218: DUP3
00000219: PUSH1 0x01
0000021b: PUSH1 0xa0
0000021d: PUSH1 0x02
0000021f: EXP
00000220: SUB
00000221: AND
00000222: PUSH1 0x1a
00000224: PUSH1 0x00
00000226: POP
00000227: DUP3
00000228: DUP2
00000229: SLOAD
0000022a: DUP2
0000022b: LT
0000022c: ISZERO
0000022d: PUSH2 0x0002
00000230: JUMPI
00000231: PUSH1 0x00
00000233: SWAP2
00000234: SWAP1
00000235: SWAP2
00000236: MSTORE
00000237: PUSH32 0x057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e
00000258: ADD
00000259: SLOAD
0000025a: PUSH1 0x01
0000025c: PUSH1 0xa0
0000025e: PUSH1 0x02
00000260: EXP
00000261: SUB
00000262: AND
00000263: EQ
00000264: ISZERO
00000265: PUSH2 0x026c
00000268: JUMPI
00000269: SWAP1
0000026a: POP
0000026b: DUP1
0000026c: JUMPDEST
0000026d: PUSH1 0x01
0000026f: ADD
00000270: PUSH2 0x020d
00000273: JUMP
00000274: JUMPDEST
00000275: PUSH2 0x013d
00000278: PUSH1 0x04
0000027a: CALLDATALOAD
0000027b: CALLER
0000027c: PUSH1 0x01
0000027e: PUSH1 0xa0
00000280: PUSH1 0x02
00000282: EXP
00000283: SUB
00000284: AND
00000285: PUSH1 0x00
00000287: SWAP1
00000288: DUP2
00000289: MSTORE
0000028a: PUSH1 0x1b
0000028c: PUSH1 0x20
0000028e: MSTORE
0000028f: PUSH1 0x40
00000291: DUP2
00000292: KECCAK256
00000293: PUSH1 0x01
00000295: ADD
00000296: SLOAD
00000297: EQ
00000298: PUSH2 0x1683
0000029b: JUMPI
0000029c: PUSH2 0x11e4
0000029f: JUMP
000002a0: JUMPDEST
000002a1: PUSH2 0x0c0e
000002a4: PUSH1 0x04
000002a6: CALLDATALOAD
000002a7: PUSH1 0x00
000002a9: PUSH1 0x00
000002ab: PUSH1 0x00
000002ad: PUSH1 0x00
000002af: PUSH1 0x00
000002b1: PUSH1 0x00
000002b3: PUSH1 0x00
000002b5: PUSH1 0x00
000002b7: PUSH1 0x00
000002b9: PUSH1 0x00
000002bb: PUSH1 0x00
000002bd: PUSH1 0x00
000002bf: PUSH1 0x00
000002c1: CALLER
000002c2: PUSH1 0x01
000002c4: PUSH1 0xa0
000002c6: PUSH1 0x02
000002c8: EXP
000002c9: SUB
000002ca: AND
000002cb: DUP15
000002cc: PUSH1 0x01
000002ce: PUSH1 0xa0
000002d0: PUSH1 0x02
000002d2: EXP
000002d3: SUB
000002d4: AND
000002d5: EQ
000002d6: DUP1
000002d7: PUSH2 0x02ef
000002da: JUMPI
000002db: POP
000002dc: PUSH1 0x05
000002de: SLOAD
000002df: PUSH1 0x01
000002e1: PUSH1 0xa0
000002e3: PUSH1 0x02
000002e5: EXP
000002e6: SUB
000002e7: SWAP1
000002e8: DUP2
000002e9: AND
000002ea: CALLER
000002eb: SWAP1
000002ec: SWAP2
000002ed: AND
000002ee: EQ
000002ef: JUMPDEST
000002f0: DUP1
000002f1: PUSH2 0x031a
000002f4: JUMPI
000002f5: POP
000002f6: PUSH1 0x01
000002f8: PUSH1 0xa0
000002fa: PUSH1 0x02
000002fc: EXP
000002fd: SUB
000002fe: DUP15
000002ff: DUP2
00000300: AND
00000301: PUSH1 0x00
00000303: SWAP1
00000304: DUP2
00000305: MSTORE
00000306: PUSH1 0x1b
00000308: PUSH1 0x20
0000030a: MSTORE
0000030b: PUSH1 0x40
0000030d: SWAP1
0000030e: KECCAK256
0000030f: PUSH1 0x03
00000311: ADD
00000312: SLOAD
00000313: DUP2
00000314: AND
00000315: CALLER
00000316: SWAP1
00000317: SWAP2
00000318: AND
00000319: EQ
0000031a: JUMPDEST
0000031b: ISZERO
0000031c: PUSH2 0x0583
0000031f: JUMPI
00000320: PUSH1 0x1b
00000322: PUSH1 0x00
00000324: POP
00000325: PUSH1 0x00
00000327: DUP16
00000328: PUSH1 0x01
0000032a: PUSH1 0xa0
0000032c: PUSH1 0x02
0000032e: EXP
0000032f: SUB
00000330: AND
00000331: DUP2
00000332: MSTORE
00000333: PUSH1 0x20
00000335: ADD
00000336: SWAP1
00000337: DUP2
00000338: MSTORE
00000339: PUSH1 0x20
0000033b: ADD
0000033c: PUSH1 0x00
0000033e: KECCAK256
0000033f: PUSH1 0x00
00000341: POP
00000342: PUSH1 0x00
00000344: ADD
00000345: PUSH1 0x00
00000347: POP
00000348: SLOAD
00000349: SWAP13
0000034a: POP
0000034b: DUP13
0000034c: POP
0000034d: PUSH1 0x1b
0000034f: PUSH1 0x00
00000351: POP
00000352: PUSH1 0x00
00000354: DUP16
00000355: PUSH1 0x01
00000357: PUSH1 0xa0
00000359: PUSH1 0x02
0000035b: EXP
0000035c: SUB
0000035d: AND
0000035e: DUP2
0000035f: MSTORE
00000360: PUSH1 0x20
00000362: ADD
00000363: SWAP1
00000364: DUP2
00000365: MSTORE
00000366: PUSH1 0x20
00000368: ADD
00000369: PUSH1 0x00
0000036b: KECCAK256
0000036c: PUSH1 0x00
0000036e: POP
0000036f: PUSH1 0x01
00000371: ADD
00000372: PUSH1 0x00
00000374: POP
00000375: SLOAD
00000376: SWAP12
00000377: POP
00000378: DUP12
00000379: POP
0000037a: PUSH1 0x1b
0000037c: PUSH1 0x00
0000037e: POP
0000037f: PUSH1 0x00
00000381: DUP16
00000382: PUSH1 0x01
00000384: PUSH1 0xa0
00000386: PUSH1 0x02
00000388: EXP
00000389: SUB
0000038a: AND
0000038b: DUP2
0000038c: MSTORE
0000038d: PUSH1 0x20
0000038f: ADD
00000390: SWAP1
00000391: DUP2
00000392: MSTORE
00000393: PUSH1 0x20
00000395: ADD
00000396: PUSH1 0x00
00000398: KECCAK256
00000399: PUSH1 0x00
0000039b: POP
0000039c: PUSH1 0x02
0000039e: ADD
0000039f: PUSH1 0x00
000003a1: POP
000003a2: SLOAD
000003a3: SWAP11
000003a4: POP
000003a5: DUP11
000003a6: POP
000003a7: PUSH1 0x1b
000003a9: PUSH1 0x00
000003ab: POP
000003ac: PUSH1 0x00
000003ae: DUP16
000003af: PUSH1 0x01
000003b1: PUSH1 0xa0
000003b3: PUSH1 0x02
000003b5: EXP
000003b6: SUB
000003b7: AND
000003b8: DUP2
000003b9: MSTORE
000003ba: PUSH1 0x20
000003bc: ADD
000003bd: SWAP1
000003be: DUP2
000003bf: MSTORE
000003c0: PUSH1 0x20
000003c2: ADD
000003c3: PUSH1 0x00
000003c5: KECCAK256
000003c6: PUSH1 0x00
000003c8: POP
000003c9: PUSH1 0x03
000003cb: ADD
000003cc: PUSH1 0x00
000003ce: SWAP1
000003cf: SLOAD
000003d0: SWAP1
000003d1: PUSH2 0x0100
000003d4: EXP
000003d5: SWAP1
000003d6: DIV
000003d7: PUSH1 0x01
000003d9: PUSH1 0xa0
000003db: PUSH1 0x02
000003dd: EXP
000003de: SUB
000003df: AND
000003e0: SWAP10
000003e1: POP
000003e2: DUP10
000003e3: POP
000003e4: PUSH1 0x1b
000003e6: PUSH1 0x00
000003e8: POP
000003e9: PUSH1 0x00
000003eb: DUP16
000003ec: PUSH1 0x01
000003ee: PUSH1 0xa0
000003f0: PUSH1 0x02
000003f2: EXP
000003f3: SUB
000003f4: AND
000003f5: DUP2
000003f6: MSTORE
000003f7: PUSH1 0x20
000003f9: ADD
000003fa: SWAP1
000003fb: DUP2
000003fc: MSTORE
000003fd: PUSH1 0x20
000003ff: ADD
00000400: PUSH1 0x00
00000402: KECCAK256
00000403: PUSH1 0x00
00000405: POP
00000406: PUSH1 0x04
00000408: ADD
00000409: PUSH1 0x00
0000040b: POP
0000040c: SLOAD
0000040d: SWAP9
0000040e: POP
0000040f: DUP9
00000410: POP
00000411: PUSH1 0x1b
00000413: PUSH1 0x00
00000415: POP
00000416: PUSH1 0x00
00000418: DUP16
00000419: PUSH1 0x01
0000041b: PUSH1 0xa0
0000041d: PUSH1 0x02
0000041f: EXP
00000420: SUB
00000421: AND
00000422: DUP2
00000423: MSTORE
00000424: PUSH1 0x20
00000426: ADD
00000427: SWAP1
00000428: DUP2
00000429: MSTORE
0000042a: PUSH1 0x20
0000042c: ADD
0000042d: PUSH1 0x00
0000042f: KECCAK256
00000430: PUSH1 0x00
00000432: POP
00000433: PUSH1 0x05
00000435: ADD
00000436: PUSH1 0x00
00000438: SWAP1
00000439: SLOAD
0000043a: SWAP1
0000043b: PUSH2 0x0100
0000043e: EXP
0000043f: SWAP1
00000440: DIV
00000441: PUSH1 0xff
00000443: AND
00000444: SWAP8
00000445: POP
00000446: DUP8
00000447: POP
00000448: PUSH1 0x1b
0000044a: PUSH1 0x00
0000044c: POP
0000044d: PUSH1 0x00
0000044f: DUP16
00000450: PUSH1 0x01
00000452: PUSH1 0xa0
00000454: PUSH1 0x02
00000456: EXP
00000457: SUB
00000458: AND
00000459: DUP2
0000045a: MSTORE
0000045b: PUSH1 0x20
0000045d: ADD
0000045e: SWAP1
0000045f: DUP2
00000460: MSTORE
00000461: PUSH1 0x20
00000463: ADD
00000464: PUSH1 0x00
00000466: KECCAK256
00000467: PUSH1 0x00
00000469: POP
0000046a: PUSH1 0x06
0000046c: ADD
0000046d: PUSH1 0x00
0000046f: POP
00000470: SLOAD
00000471: SWAP7
00000472: POP
00000473: DUP7
00000474: POP
00000475: PUSH1 0x1b
00000477: PUSH1 0x00
00000479: POP
0000047a: PUSH1 0x00
0000047c: DUP16
0000047d: PUSH1 0x01
0000047f: PUSH1 0xa0
00000481: PUSH1 0x02
00000483: EXP
00000484: SUB
00000485: AND
00000486: DUP2
00000487: MSTORE
00000488: PUSH1 0x20
0000048a: ADD
0000048b: SWAP1
0000048c: DUP2
0000048d: MSTORE
0000048e: PUSH1 0x20
00000490: ADD
00000491: PUSH1 0x00
00000493: KECCAK256
00000494: PUSH1 0x00
00000496: POP
00000497: PUSH1 0x07
00000499: ADD
0000049a: PUSH1 0x00
0000049c: POP
0000049d: SLOAD
0000049e: SWAP6
0000049f: POP
000004a0: DUP6
000004a1: POP
000004a2: PUSH1 0x1b
000004a4: PUSH1 0x00
000004a6: POP
000004a7: PUSH1 0x00
000004a9: DUP16
000004aa: PUSH1 0x01
000004ac: PUSH1 0xa0
000004ae: PUSH1 0x02
000004b0: EXP
000004b1: SUB
000004b2: AND
000004b3: DUP2
000004b4: MSTORE
000004b5: PUSH1 0x20
000004b7: ADD
000004b8: SWAP1
000004b9: DUP2
000004ba: MSTORE
000004bb: PUSH1 0x20
000004bd: ADD
000004be: PUSH1 0x00
000004c0: KECCAK256
000004c1: PUSH1 0x00
000004c3: POP
000004c4: PUSH1 0x08
000004c6: ADD
000004c7: PUSH1 0x00
000004c9: POP
000004ca: SLOAD
000004cb: SWAP5
000004cc: POP
000004cd: DUP5
000004ce: POP
000004cf: PUSH1 0x1b
000004d1: PUSH1 0x00
000004d3: POP
000004d4: PUSH1 0x00
000004d6: DUP16
000004d7: PUSH1 0x01
000004d9: PUSH1 0xa0
000004db: PUSH1 0x02
000004dd: EXP
000004de: SUB
000004df: AND
000004e0: DUP2
000004e1: MSTORE
000004e2: PUSH1 0x20
000004e4: ADD
000004e5: SWAP1
000004e6: DUP2
000004e7: MSTORE
000004e8: PUSH1 0x20
000004ea: ADD
000004eb: PUSH1 0x00
000004ed: KECCAK256
000004ee: PUSH1 0x00
000004f0: POP
000004f1: PUSH1 0x09
000004f3: ADD
000004f4: PUSH1 0x00
000004f6: POP
000004f7: SLOAD
000004f8: SWAP4
000004f9: POP
000004fa: DUP4
000004fb: POP
000004fc: PUSH1 0x1b
000004fe: PUSH1 0x00
00000500: POP
00000501: PUSH1 0x00
00000503: DUP16
00000504: PUSH1 0x01
00000506: PUSH1 0xa0
00000508: PUSH1 0x02
0000050a: EXP
0000050b: SUB
0000050c: AND
0000050d: DUP2
0000050e: MSTORE
0000050f: PUSH1 0x20
00000511: ADD
00000512: SWAP1
00000513: DUP2
00000514: MSTORE
00000515: PUSH1 0x20
00000517: ADD
00000518: PUSH1 0x00
0000051a: KECCAK256
0000051b: PUSH1 0x00
0000051d: POP
0000051e: PUSH1 0x0a
00000520: ADD
00000521: PUSH1 0x00
00000523: POP
00000524: SLOAD
00000525: SWAP3
00000526: POP
00000527: DUP3
00000528: POP
00000529: PUSH1 0x1b
0000052b: PUSH1 0x00
0000052d: POP
0000052e: PUSH1 0x00
00000530: DUP16
00000531: PUSH1 0x01
00000533: PUSH1 0xa0
00000535: PUSH1 0x02
00000537: EXP
00000538: SUB
00000539: AND
0000053a: DUP2
0000053b: MSTORE
0000053c: PUSH1 0x20
0000053e: ADD
0000053f: SWAP1
00000540: DUP2
00000541: MSTORE
00000542: PUSH1 0x20
00000544: ADD
00000545: PUSH1 0x00
00000547: KECCAK256
00000548: PUSH1 0x00
0000054a: POP
0000054b: PUSH1 0x0b
0000054d: ADD
0000054e: PUSH1 0x00
00000550: POP
00000551: SLOAD
00000552: SWAP2
00000553: POP
00000554: DUP2
00000555: POP
00000556: PUSH1 0x1b
00000558: PUSH1 0x00
0000055a: POP
0000055b: PUSH1 0x00
0000055d: DUP16
0000055e: PUSH1 0x01
00000560: PUSH1 0xa0
00000562: PUSH1 0x02
00000564: EXP
00000565: SUB
00000566: AND
00000567: DUP2
00000568: MSTORE
00000569: PUSH1 0x20
0000056b: ADD
0000056c: SWAP1
0000056d: DUP2
0000056e: MSTORE
0000056f: PUSH1 0x20
00000571: ADD
00000572: PUSH1 0x00
00000574: KECCAK256
00000575: PUSH1 0x00
00000577: POP
00000578: PUSH1 0x0c
0000057a: ADD
0000057b: PUSH1 0x00
0000057d: POP
0000057e: SLOAD
0000057f: SWAP1
00000580: POP
00000581: DUP1
00000582: POP
00000583: JUMPDEST
00000584: SWAP2
00000585: SWAP4
00000586: SWAP6
00000587: SWAP8
00000588: SWAP10
00000589: SWAP12
0000058a: SWAP14
0000058b: SWAP1
0000058c: SWAP3
0000058d: SWAP5
0000058e: SWAP7
0000058f: SWAP9
00000590: SWAP11
00000591: SWAP13
00000592: POP
00000593: JUMP
00000594: JUMPDEST
00000595: PUSH2 0x013d
00000598: PUSH1 0x04
0000059a: CALLDATALOAD
0000059b: PUSH1 0x24
0000059d: CALLDATALOAD
0000059e: PUSH1 0x05
000005a0: SLOAD
000005a1: PUSH1 0x01
000005a3: PUSH1 0xa0
000005a5: PUSH1 0x02
000005a7: EXP
000005a8: SUB
000005a9: SWAP1
000005aa: DUP2
000005ab: AND
000005ac: CALLER
000005ad: SWAP1
000005ae: SWAP2
000005af: AND
000005b0: EQ
000005b1: PUSH2 0x1227
000005b4: JUMPI
000005b5: PUSH2 0x0b7f
000005b8: JUMP
000005b9: JUMPDEST
000005ba: PUSH2 0x013d
000005bd: PUSH1 0x04
000005bf: CALLDATALOAD
000005c0: PUSH1 0x04
000005c2: SLOAD
000005c3: PUSH1 0x01
000005c5: PUSH1 0xa0
000005c7: PUSH1 0x02
000005c9: EXP
000005ca: SUB
000005cb: SWAP1
000005cc: DUP2
000005cd: AND
000005ce: CALLER
000005cf: SWAP1
000005d0: SWAP2
000005d1: AND
000005d2: EQ
000005d3: PUSH2 0x11fc
000005d6: JUMPI
000005d7: PUSH2 0x11e4
000005da: JUMP
000005db: JUMPDEST
000005dc: PUSH2 0x013d
000005df: PUSH1 0x04
000005e1: CALLDATALOAD
000005e2: PUSH1 0x24
000005e4: CALLDATALOAD
000005e5: PUSH1 0x05
000005e7: SLOAD
000005e8: PUSH1 0x01
000005ea: PUSH1 0xa0
000005ec: PUSH1 0x02
000005ee: EXP
000005ef: SUB
000005f0: SWAP1
000005f1: DUP2
000005f2: AND
000005f3: CALLER
000005f4: SWAP1
000005f5: SWAP2
000005f6: AND
000005f7: EQ
000005f8: PUSH2 0x177a
000005fb: JUMPI
000005fc: PUSH2 0x0b7f
000005ff: JUMP
00000600: JUMPDEST
00000601: PUSH2 0x013d
00000604: PUSH1 0x04
00000606: CALLDATALOAD
00000607: PUSH1 0x05
00000609: SLOAD
0000060a: PUSH1 0x01
0000060c: PUSH1 0xa0
0000060e: PUSH1 0x02
00000610: EXP
00000611: SUB
00000612: SWAP1
00000613: DUP2
00000614: AND
00000615: CALLER
00000616: SWAP1
00000617: SWAP2
00000618: AND
00000619: EQ
0000061a: PUSH2 0x176f
0000061d: JUMPI
0000061e: PUSH2 0x11e4
00000621: JUMP
00000622: JUMPDEST
00000623: PUSH2 0x013d
00000626: PUSH1 0x04
00000628: CALLDATALOAD
00000629: PUSH1 0x04
0000062b: SLOAD
0000062c: PUSH1 0x01
0000062e: PUSH1 0xa0
00000630: PUSH1 0x02
00000632: EXP
00000633: SUB
00000634: SWAP1
00000635: DUP2
00000636: AND
00000637: CALLER
00000638: SWAP1
00000639: SWAP2
0000063a: AND
0000063b: EQ
0000063c: PUSH2 0x1277
0000063f: JUMPI
00000640: PUSH2 0x11e4
00000643: JUMP
00000644: JUMPDEST
00000645: PUSH1 0x04
00000647: CALLDATALOAD
00000648: PUSH1 0x0b
0000064a: SSTORE
0000064b: PUSH1 0x24
0000064d: CALLDATALOAD
0000064e: PUSH1 0x0c
00000650: SSTORE
00000651: PUSH1 0x44
00000653: CALLDATALOAD
00000654: PUSH1 0x0d
00000656: SSTORE
00000657: PUSH1 0x64
00000659: CALLDATALOAD
0000065a: PUSH1 0x0e
0000065c: SSTORE
0000065d: PUSH1 0x00
0000065f: PUSH1 0x12
00000661: DUP2
00000662: SWAP1
00000663: SSTORE
00000664: PUSH1 0x13
00000666: DUP2
00000667: SWAP1
00000668: SSTORE
00000669: PUSH1 0x14
0000066b: DUP2
0000066c: SWAP1
0000066d: SSTORE
0000066e: PUSH1 0x15
00000670: SSTORE
00000671: PUSH2 0x013d
00000674: JUMP
00000675: JUMPDEST
00000676: PUSH2 0x013d
00000679: PUSH1 0x04
0000067b: CALLDATALOAD
0000067c: PUSH1 0x24
0000067e: CALLDATALOAD
0000067f: PUSH1 0x05
00000681: SLOAD
00000682: PUSH1 0x00
00000684: SWAP1
00000685: PUSH1 0x01
00000687: PUSH1 0xa0
00000689: PUSH1 0x02
0000068b: EXP
0000068c: SUB
0000068d: SWAP1
0000068e: DUP2
0000068f: AND
00000690: CALLER
00000691: SWAP1
00000692: SWAP2
00000693: AND
00000694: EQ
00000695: PUSH2 0x16b1
00000698: JUMPI
00000699: PUSH2 0x0e53
0000069c: JUMP
0000069d: JUMPDEST
0000069e: PUSH2 0x013d
000006a1: JUMPDEST
000006a2: CALLER
000006a3: PUSH1 0x01
000006a5: PUSH1 0xa0
000006a7: PUSH1 0x02
000006a9: EXP
000006aa: SUB
000006ab: AND
000006ac: PUSH1 0x00
000006ae: SWAP1
000006af: DUP2
000006b0: MSTORE
000006b1: PUSH1 0x1b
000006b3: PUSH1 0x20
000006b5: MSTORE
000006b6: PUSH1 0x40
000006b8: DUP2
000006b9: KECCAK256
000006ba: PUSH1 0x05
000006bc: ADD
000006bd: SLOAD
000006be: DUP2
000006bf: SWAP1
000006c0: DUP2
000006c1: SWAP1
000006c2: DUP2
000006c3: SWAP1
000006c4: PUSH1 0xff
000006c6: AND
000006c7: PUSH1 0x01
000006c9: EQ
000006ca: ISZERO
000006cb: PUSH2 0x11cb
000006ce: JUMPI
000006cf: PUSH1 0x40
000006d1: DUP2
000006d2: KECCAK256
000006d3: PUSH1 0x01
000006d5: ADD
000006d6: SLOAD
000006d7: DUP2
000006d8: SWAP1
000006d9: GT
000006da: ISZERO
000006db: PUSH2 0x11cb
000006de: JUMPI
000006df: PUSH1 0x40
000006e1: DUP2
000006e2: KECCAK256
000006e3: PUSH1 0x02
000006e5: ADD
000006e6: SLOAD
000006e7: TIMESTAMP
000006e8: LT
000006e9: PUSH2 0x11cb
000006ec: JUMPI
000006ed: POP
000006ee: POP
000006ef: PUSH1 0x40
000006f1: SWAP1
000006f2: DUP2
000006f3: SWAP1
000006f4: KECCAK256
000006f5: PUSH1 0x01
000006f7: DUP2
000006f8: ADD
000006f9: DUP1
000006fa: SLOAD
000006fb: PUSH1 0x04
000006fd: DUP4
000006fe: ADD
000006ff: SLOAD
00000700: PUSH1 0x03
00000702: DUP5
00000703: ADD
00000704: SLOAD
00000705: PUSH1 0x01
00000707: PUSH1 0xa0
00000709: PUSH1 0x02
0000070b: EXP
0000070c: SUB
0000070d: SWAP1
0000070e: DUP2
0000070f: AND
00000710: DUP8
00000711: MSTORE
00000712: SWAP5
00000713: DUP7
00000714: KECCAK256
00000715: PUSH1 0x0b
00000717: ADD
00000718: SLOAD
00000719: CALLER
0000071a: SWAP1
0000071b: SWAP6
0000071c: AND
0000071d: DUP7
0000071e: MSTORE
0000071f: PUSH1 0x02
00000721: DUP5
00000722: ADD
00000723: DUP7
00000724: SWAP1
00000725: SSTORE
00000726: PUSH1 0x17
00000728: DUP1
00000729: SLOAD
0000072a: DUP4
0000072b: SWAP1
0000072c: SUB
0000072d: SWAP1
0000072e: SSTORE
0000072f: SWAP2
00000730: DUP6
00000731: SWAP1
00000732: SSTORE
00000733: SWAP2
00000734: SLOAD
00000735: SWAP2
00000736: SWAP3
00000737: SWAP1
00000738: SWAP2
00000739: DUP5
0000073a: SWAP1
0000073b: SLT
0000073c: ISZERO
0000073d: PUSH2 0x127c
00000740: JUMPI
00000741: PUSH1 0x1b
00000743: PUSH1 0x00
00000745: POP
00000746: PUSH1 0x00
00000748: CALLER
00000749: PUSH1 0x01
0000074b: PUSH1 0xa0
0000074d: PUSH1 0x02
0000074f: EXP
00000750: SUB
00000751: AND
00000752: DUP2
00000753: MSTORE
00000754: PUSH1 0x20
00000756: ADD
00000757: SWAP1
00000758: DUP2
00000759: MSTORE
0000075a: PUSH1 0x20
0000075c: ADD
0000075d: PUSH1 0x00
0000075f: KECCAK256
00000760: PUSH1 0x00
00000762: POP
00000763: PUSH1 0x04
00000765: ADD
00000766: PUSH1 0x00
00000768: POP
00000769: SLOAD
0000076a: PUSH1 0x18
0000076c: PUSH1 0x00
0000076e: DUP3
0000076f: DUP3
00000770: DUP3
00000771: POP
00000772: SLOAD
00000773: SUB
00000774: SWAP3
00000775: POP
00000776: POP
00000777: DUP2
00000778: SWAP1
00000779: SSTORE
0000077a: POP
0000077b: PUSH1 0x64
0000077d: PUSH1 0x07
0000077f: PUSH1 0x00
00000781: POP
00000782: SLOAD
00000783: PUSH1 0x1b
00000785: PUSH1 0x00
00000787: POP
00000788: PUSH1 0x00
0000078a: CALLER
0000078b: PUSH1 0x01
0000078d: PUSH1 0xa0
0000078f: PUSH1 0x02
00000791: EXP
00000792: SUB
00000793: AND
00000794: DUP2
00000795: MSTORE
00000796: PUSH1 0x20
00000798: ADD
00000799: SWAP1
0000079a: DUP2
0000079b: MSTORE
0000079c: PUSH1 0x20
0000079e: ADD
0000079f: PUSH1 0x00
000007a1: KECCAK256
000007a2: PUSH1 0x00
000007a4: POP
000007a5: PUSH1 0x04
000007a7: ADD
000007a8: PUSH1 0x00
000007aa: POP
000007ab: SLOAD
000007ac: MUL
000007ad: DIV
000007ae: PUSH1 0x19
000007b0: PUSH1 0x00
000007b2: DUP3
000007b3: DUP3
000007b4: DUP3
000007b5: POP
000007b6: SLOAD
000007b7: SUB
000007b8: SWAP3
000007b9: POP
000007ba: POP
000007bb: DUP2
000007bc: SWAP1
000007bd: SSTORE
000007be: POP
000007bf: PUSH1 0x64
000007c1: PUSH1 0x07
000007c3: PUSH1 0x00
000007c5: POP
000007c6: SLOAD
000007c7: PUSH1 0x1b
000007c9: PUSH1 0x00
000007cb: POP
000007cc: PUSH1 0x00
000007ce: CALLER
000007cf: PUSH1 0x01
000007d1: PUSH1 0xa0
000007d3: PUSH1 0x02
000007d5: EXP
000007d6: SUB
000007d7: AND
000007d8: DUP2
000007d9: MSTORE
000007da: PUSH1 0x20
000007dc: ADD
000007dd: SWAP1
000007de: DUP2
000007df: MSTORE
000007e0: PUSH1 0x20
000007e2: ADD
000007e3: PUSH1 0x00
000007e5: KECCAK256
000007e6: PUSH1 0x00
000007e8: POP
000007e9: PUSH1 0x04
000007eb: ADD
000007ec: PUSH1 0x00
000007ee: POP
000007ef: SLOAD
000007f0: MUL
000007f1: DIV
000007f2: PUSH1 0x1b
000007f4: PUSH1 0x00
000007f6: POP
000007f7: PUSH1 0x00
000007f9: PUSH1 0x1b
000007fb: PUSH1 0x00
000007fd: POP
000007fe: PUSH1 0x00
00000800: CALLER
00000801: PUSH1 0x01
00000803: PUSH1 0xa0
00000805: PUSH1 0x02
00000807: EXP
00000808: SUB
00000809: AND
0000080a: DUP2
0000080b: MSTORE
0000080c: PUSH1 0x20
0000080e: ADD
0000080f: SWAP1
00000810: DUP2
00000811: MSTORE
00000812: PUSH1 0x20
00000814: ADD
00000815: PUSH1 0x00
00000817: KECCAK256
00000818: PUSH1 0x00
0000081a: POP
0000081b: PUSH1 0x03
0000081d: ADD
0000081e: PUSH1 0x00
00000820: SWAP1
00000821: SLOAD
00000822: SWAP1
00000823: PUSH2 0x0100
00000826: EXP
00000827: SWAP1
00000828: DIV
00000829: PUSH1 0x01
0000082b: PUSH1 0xa0
0000082d: PUSH1 0x02
0000082f: EXP
00000830: SUB
00000831: AND
00000832: PUSH1 0x01
00000834: PUSH1 0xa0
00000836: PUSH1 0x02
00000838: EXP
00000839: SUB
0000083a: AND
0000083b: DUP2
0000083c: MSTORE
0000083d: PUSH1 0x20
0000083f: ADD
00000840: SWAP1
00000841: DUP2
00000842: MSTORE
00000843: PUSH1 0x20
00000845: ADD
00000846: PUSH1 0x00
00000848: KECCAK256
00000849: PUSH1 0x00
0000084b: POP
0000084c: PUSH1 0x06
0000084e: ADD
0000084f: PUSH1 0x00
00000851: DUP3
00000852: DUP3
00000853: DUP3
00000854: POP
00000855: SLOAD
00000856: SUB
00000857: SWAP3
00000858: POP
00000859: POP
0000085a: DUP2
0000085b: SWAP1
0000085c: SSTORE
0000085d: POP
0000085e: PUSH2 0x12e2
00000861: JUMP
00000862: JUMPDEST
00000863: PUSH2 0x013d
00000866: PUSH1 0x04
00000868: CALLDATALOAD
00000869: CALLER
0000086a: PUSH1 0x01
0000086c: PUSH1 0xa0
0000086e: PUSH1 0x02
00000870: EXP
00000871: SUB
00000872: AND
00000873: PUSH1 0x00
00000875: SWAP1
00000876: DUP2
00000877: MSTORE
00000878: PUSH1 0x1b
0000087a: PUSH1 0x20
0000087c: MSTORE
0000087d: PUSH1 0x40
0000087f: SWAP1
00000880: KECCAK256
00000881: PUSH1 0x0a
00000883: ADD
00000884: DUP1
00000885: SLOAD
00000886: DUP3
00000887: ADD
00000888: SWAP1
00000889: SSTORE
0000088a: PUSH1 0x0f
0000088c: DUP1
0000088d: SLOAD
0000088e: DUP3
0000088f: ADD
00000890: SWAP1
00000891: SSTORE
00000892: POP
00000893: JUMP
00000894: JUMPDEST
00000895: PUSH2 0x013d
00000898: PUSH1 0x04
0000089a: CALLDATALOAD
0000089b: CALLER
0000089c: PUSH1 0x01
0000089e: PUSH1 0xa0
000008a0: PUSH1 0x02
000008a2: EXP
000008a3: SUB
000008a4: AND
000008a5: PUSH1 0x00
000008a7: SWAP1
000008a8: DUP2
000008a9: MSTORE
000008aa: PUSH1 0x1b
000008ac: PUSH1 0x20
000008ae: MSTORE
000008af: PUSH1 0x40
000008b1: DUP2
000008b2: KECCAK256
000008b3: PUSH1 0x09
000008b5: ADD
000008b6: SLOAD
000008b7: DUP3
000008b8: SWAP1
000008b9: SGT
000008ba: ISZERO
000008bb: PUSH2 0x0b7f
000008be: JUMPI
000008bf: PUSH1 0x40
000008c1: SWAP1
000008c2: DUP2
000008c3: SWAP1
000008c4: KECCAK256
000008c5: PUSH1 0x0b
000008c7: ADD
000008c8: SLOAD
000008c9: DUP2
000008ca: MLOAD
000008cb: DUP2
000008cc: DUP2
000008cd: MSTORE
000008ce: PUSH1 0x20
000008d0: DUP2
000008d1: ADD
000008d2: DUP5
000008d3: SWAP1
000008d4: MSTORE
000008d5: TIMESTAMP
000008d6: DUP2
000008d7: DUP5
000008d8: ADD
000008d9: MSTORE
000008da: SWAP2
000008db: MLOAD
000008dc: SWAP1
000008dd: SWAP2
000008de: CALLER
000008df: PUSH1 0x01
000008e1: PUSH1 0xa0
000008e3: PUSH1 0x02
000008e5: EXP
000008e6: SUB
000008e7: AND
000008e8: SWAP2
000008e9: PUSH32 0x4f3902d213ae3c8b885bddaf3545b911f72ec1bd7f390ad9a83f86d271d67146
0000090a: SWAP2
0000090b: DUP2
0000090c: SWAP1
0000090d: SUB
0000090e: PUSH1 0x60
00000910: ADD
00000911: SWAP1
00000912: LOG2
00000913: POP
00000914: POP
00000915: JUMP
00000916: JUMPDEST
00000917: PUSH2 0x0c7c
0000091a: PUSH1 0x04
0000091c: CALLDATALOAD
0000091d: PUSH1 0x00
0000091f: PUSH1 0x00
00000921: PUSH1 0x00
00000923: PUSH1 0x00
00000925: PUSH1 0x1a
00000927: PUSH1 0x00
00000929: POP
0000092a: DUP6
0000092b: DUP2
0000092c: SLOAD
0000092d: DUP2
0000092e: LT
0000092f: ISZERO
00000930: PUSH2 0x0002
00000933: JUMPI
00000934: POP
00000935: POP
00000936: POP
00000937: PUSH32 0x057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e
00000958: SWAP1
00000959: SWAP4
0000095a: ADD
0000095b: SLOAD
0000095c: PUSH1 0x01
0000095e: PUSH1 0xa0
00000960: PUSH1 0x02
00000962: EXP
00000963: SUB
00000964: AND
00000965: SWAP1
00000966: DUP2
00000967: SWAP1
00000968: MSTORE
00000969: PUSH1 0x1b
0000096b: PUSH1 0x20
0000096d: MSTORE
0000096e: PUSH1 0x40
00000970: SWAP1
00000971: SWAP2
00000972: KECCAK256
00000973: PUSH1 0x0b
00000975: DUP2
00000976: ADD
00000977: SLOAD
00000978: PUSH1 0x0c
0000097a: SWAP1
0000097b: SWAP2
0000097c: ADD
0000097d: SLOAD
0000097e: SWAP2
0000097f: SWAP4
00000980: SWAP1
00000981: SWAP3
00000982: POP
00000983: JUMP
00000984: JUMPDEST
00000985: PUSH2 0x013d
00000988: PUSH1 0x04
0000098a: CALLDATALOAD
0000098b: PUSH1 0x04
0000098d: SLOAD
0000098e: PUSH1 0x01
00000990: PUSH1 0xa0
00000992: PUSH1 0x02
00000994: EXP
00000995: SUB
00000996: SWAP1
00000997: DUP2
00000998: AND
00000999: CALLER
0000099a: SWAP1
0000099b: SWAP2
0000099c: AND
0000099d: EQ
0000099e: PUSH2 0x11d1
000009a1: JUMPI
000009a2: PUSH2 0x11e4
000009a5: JUMP
000009a6: JUMPDEST
000009a7: PUSH2 0x013d
000009aa: PUSH1 0x04
000009ac: CALLDATALOAD
000009ad: PUSH1 0x05
000009af: SLOAD
000009b0: PUSH1 0x01
000009b2: PUSH1 0xa0
000009b4: PUSH1 0x02
000009b6: EXP
000009b7: SUB
000009b8: SWAP1
000009b9: DUP2
000009ba: AND
000009bb: CALLER
000009bc: SWAP1
000009bd: SWAP2
000009be: AND
000009bf: EQ
000009c0: PUSH2 0x11e7
000009c3: JUMPI
000009c4: PUSH2 0x11e4
000009c7: JUMP
000009c8: JUMPDEST
000009c9: PUSH1 0x40
000009cb: DUP1
000009cc: MLOAD
000009cd: PUSH1 0x20
000009cf: DUP2
000009d0: DUP2
000009d1: ADD
000009d2: DUP4
000009d3: MSTORE
000009d4: PUSH1 0x00
000009d6: DUP1
000009d7: DUP4
000009d8: MSTORE
000009d9: DUP4
000009da: MLOAD
000009db: DUP1
000009dc: DUP4
000009dd: ADD
000009de: DUP6
000009df: MSTORE
000009e0: DUP2
000009e1: DUP2
000009e2: MSTORE
000009e3: DUP5
000009e4: MLOAD
000009e5: DUP1
000009e6: DUP5
000009e7: ADD
000009e8: DUP7
000009e9: MSTORE
000009ea: DUP3
000009eb: DUP2
000009ec: MSTORE
000009ed: PUSH1 0x04
000009ef: SLOAD
000009f0: PUSH1 0x05
000009f2: SLOAD
000009f3: PUSH1 0x06
000009f5: SLOAD
000009f6: PUSH1 0x07
000009f8: SLOAD
000009f9: PUSH1 0x08
000009fb: SLOAD
000009fc: PUSH1 0x09
000009fe: SLOAD
000009ff: PUSH1 0x0a
00000a01: SLOAD
00000a02: PUSH1 0x01
00000a04: DUP1
00000a05: SLOAD
00000a06: DUP15
00000a07: MLOAD
00000a08: PUSH1 0x02
00000a0a: DUP3
00000a0b: DUP5
00000a0c: AND
00000a0d: ISZERO
00000a0e: PUSH2 0x0100
00000a11: MUL
00000a12: PUSH1 0x00
00000a14: NOT
00000a15: ADD
00000a16: SWAP1
00000a17: SWAP3
00000a18: AND
00000a19: SWAP2
00000a1a: SWAP1
00000a1b: SWAP2
00000a1c: DIV
00000a1d: PUSH1 0x1f
00000a1f: DUP2
00000a20: ADD
00000a21: DUP15
00000a22: SWAP1
00000a23: DIV
00000a24: DUP15
00000a25: MUL
00000a26: DUP3
00000a27: ADD
00000a28: DUP15
00000a29: ADD
00000a2a: SWAP1
00000a2b: SWAP16
00000a2c: MSTORE
00000a2d: DUP15
00000a2e: DUP2
00000a2f: MSTORE
00000a30: PUSH2 0x0ca5
00000a33: SWAP15
00000a34: PUSH1 0x01
00000a36: PUSH1 0xa0
00000a38: PUSH1 0x02
00000a3a: EXP
00000a3b: SUB
00000a3c: SWAP10
00000a3d: DUP11
00000a3e: AND
00000a3f: SWAP15
00000a40: SWAP9
00000a41: SWAP1
00000a42: SWAP10
00000a43: AND
00000a44: SWAP13
00000a45: SWAP7
00000a46: SWAP12
00000a47: SWAP6
00000a48: SWAP11
00000a49: SWAP5
00000a4a: SWAP10
00000a4b: SWAP4
00000a4c: SWAP9
00000a4d: SWAP3
00000a4e: SWAP8
00000a4f: SWAP7
00000a50: SWAP5
00000a51: SWAP6
00000a52: SWAP4
00000a53: SWAP5
00000a54: SWAP1
00000a55: SWAP3
00000a56: SWAP1
00000a57: DUP4
00000a58: ADD
00000a59: DUP3
00000a5a: DUP3
00000a5b: DUP1
00000a5c: ISZERO
00000a5d: PUSH2 0x107a
00000a60: JUMPI
00000a61: DUP1
00000a62: PUSH1 0x1f
00000a64: LT
00000a65: PUSH2 0x104f
00000a68: JUMPI
00000a69: PUSH2 0x0100
00000a6c: DUP1
00000a6d: DUP4
00000a6e: SLOAD
00000a6f: DIV
00000a70: MUL
00000a71: DUP4
00000a72: MSTORE
00000a73: SWAP2
00000a74: PUSH1 0x20
00000a76: ADD
00000a77: SWAP2
00000a78: PUSH2 0x107a
00000a7b: JUMP
00000a7c: JUMPDEST
00000a7d: PUSH1 0x40
00000a7f: DUP1
00000a80: MLOAD
00000a81: PUSH1 0x16
00000a83: SLOAD
00000a84: PUSH1 0x17
00000a86: SLOAD
00000a87: PUSH1 0x18
00000a89: SLOAD
00000a8a: PUSH1 0x19
00000a8c: SLOAD
00000a8d: SWAP3
00000a8e: DUP5
00000a8f: MSTORE
00000a90: PUSH1 0x20
00000a92: DUP5
00000a93: ADD
00000a94: SWAP2
00000a95: SWAP1
00000a96: SWAP2
00000a97: MSTORE
00000a98: DUP3
00000a99: DUP5
00000a9a: ADD
00000a9b: MSTORE
00000a9c: PUSH1 0x60
00000a9e: DUP3
00000a9f: ADD
00000aa0: MSTORE
00000aa1: SWAP1
00000aa2: MLOAD
00000aa3: SWAP1
00000aa4: DUP2
00000aa5: SWAP1
00000aa6: SUB
00000aa7: PUSH1 0x80
00000aa9: ADD
00000aaa: SWAP1
00000aab: RETURN
00000aac: JUMPDEST
00000aad: PUSH2 0x013d
00000ab0: PUSH1 0x04
00000ab2: CALLDATALOAD
00000ab3: PUSH1 0x24
00000ab5: CALLDATALOAD
00000ab6: JUMPDEST
00000ab7: PUSH1 0x00
00000ab9: PUSH1 0x00
00000abb: PUSH1 0x00
00000abd: PUSH2 0x1367
00000ac0: PUSH2 0x06a1
00000ac3: JUMP
00000ac4: JUMPDEST
00000ac5: PUSH2 0x013d
00000ac8: PUSH1 0x04
00000aca: CALLDATALOAD
00000acb: PUSH1 0x24
00000acd: CALLDATALOAD
00000ace: PUSH1 0x44
00000ad0: CALLDATALOAD
00000ad1: PUSH1 0x64
00000ad3: CALLDATALOAD
00000ad4: PUSH1 0x04
00000ad6: SLOAD
00000ad7: PUSH1 0x01
00000ad9: PUSH1 0xa0
00000adb: PUSH1 0x02
00000add: EXP
00000ade: SUB
00000adf: SWAP1
00000ae0: DUP2
00000ae1: AND
00000ae2: CALLER
00000ae3: SWAP1
00000ae4: SWAP2
00000ae5: AND
00000ae6: EQ
00000ae7: PUSH2 0x11b6
00000aea: JUMPI
00000aeb: PUSH2 0x11cb
00000aee: JUMP
00000aef: JUMPDEST
00000af0: PUSH2 0x013d
00000af3: PUSH1 0x04
00000af5: CALLDATALOAD
00000af6: PUSH1 0x05
00000af8: SLOAD
00000af9: PUSH1 0x00
00000afb: SWAP1
00000afc: CALLER
00000afd: PUSH1 0x01
00000aff: PUSH1 0xa0
00000b01: PUSH1 0x02
00000b03: EXP
00000b04: SUB
00000b05: SWAP1
00000b06: DUP2
00000b07: AND
00000b08: SWAP2
00000b09: AND
00000b0a: EQ
00000b0b: PUSH2 0x0f1c
00000b0e: JUMPI
00000b0f: PUSH2 0x0b7f
00000b12: JUMP
00000b13: JUMPDEST
00000b14: PUSH2 0x013d
00000b17: PUSH1 0x04
00000b19: CALLDATALOAD
00000b1a: PUSH1 0x24
00000b1c: CALLDATALOAD
00000b1d: PUSH1 0x44
00000b1f: CALLDATALOAD
00000b20: CALLER
00000b21: PUSH1 0x01
00000b23: PUSH1 0xa0
00000b25: PUSH1 0x02
00000b27: EXP
00000b28: SUB
00000b29: AND
00000b2a: PUSH1 0x00
00000b2c: SWAP1
00000b2d: DUP2
00000b2e: MSTORE
00000b2f: PUSH1 0x1b
00000b31: PUSH1 0x20
00000b33: MSTORE
00000b34: PUSH1 0x40
00000b36: DUP2
00000b37: KECCAK256
00000b38: PUSH1 0x05
00000b3a: ADD
00000b3b: SLOAD
00000b3c: DUP2
00000b3d: SWAP1
00000b3e: DUP2
00000b3f: SWAP1
00000b40: PUSH1 0xff
00000b42: AND
00000b43: PUSH1 0x01
00000b45: EQ
00000b46: ISZERO
00000b47: PUSH2 0x0b7a
00000b4a: JUMPI
00000b4b: PUSH1 0x01
00000b4d: PUSH1 0xa0
00000b4f: PUSH1 0x02
00000b51: EXP
00000b52: SUB
00000b53: DUP7
00000b54: AND
00000b55: DUP2
00000b56: MSTORE
00000b57: PUSH1 0x40
00000b59: DUP2
00000b5a: KECCAK256
00000b5b: PUSH1 0x05
00000b5d: ADD
00000b5e: SLOAD
00000b5f: PUSH1 0xff
00000b61: AND
00000b62: PUSH1 0x01
00000b64: EQ
00000b65: ISZERO
00000b66: PUSH2 0x0b7a
00000b69: JUMPI
00000b6a: PUSH1 0x40
00000b6c: DUP2
00000b6d: KECCAK256
00000b6e: PUSH1 0x01
00000b70: ADD
00000b71: SLOAD
00000b72: DUP2
00000b73: SWAP1
00000b74: GT
00000b75: ISZERO
00000b76: PUSH2 0x1596
00000b79: JUMPI
00000b7a: JUMPDEST
00000b7b: POP
00000b7c: POP
00000b7d: POP
00000b7e: POP
00000b7f: JUMPDEST
00000b80: POP
00000b81: POP
00000b82: JUMP
00000b83: JUMPDEST
00000b84: PUSH2 0x013d
00000b87: PUSH1 0x04
00000b89: CALLDATALOAD
00000b8a: CALLER
00000b8b: PUSH1 0x01
00000b8d: PUSH1 0xa0
00000b8f: PUSH1 0x02
00000b91: EXP
00000b92: SUB
00000b93: AND
00000b94: PUSH1 0x00
00000b96: SWAP1
00000b97: DUP2
00000b98: MSTORE
00000b99: PUSH1 0x1b
00000b9b: PUSH1 0x20
00000b9d: MSTORE
00000b9e: PUSH1 0x40
00000ba0: SWAP1
00000ba1: KECCAK256
00000ba2: PUSH1 0x09
00000ba4: ADD
00000ba5: DUP1
00000ba6: SLOAD
00000ba7: DUP3
00000ba8: ADD
00000ba9: SWAP1
00000baa: SSTORE
00000bab: PUSH1 0x10
00000bad: DUP1
00000bae: SLOAD
00000baf: DUP3
00000bb0: ADD
00000bb1: SWAP1
00000bb2: SSTORE
00000bb3: POP
00000bb4: JUMP
00000bb5: JUMPDEST
00000bb6: PUSH2 0x013d
00000bb9: PUSH1 0x04
00000bbb: CALLDATALOAD
00000bbc: PUSH1 0x05
00000bbe: SLOAD
00000bbf: PUSH2 0x1739
00000bc2: SWAP1
00000bc3: PUSH1 0x01
00000bc5: PUSH1 0xa0
00000bc7: PUSH1 0x02
00000bc9: EXP
00000bca: SUB
00000bcb: AND
00000bcc: DUP3
00000bcd: PUSH2 0x0ab6
00000bd0: JUMP
00000bd1: JUMPDEST
00000bd2: PUSH1 0x1a
00000bd4: SLOAD
00000bd5: JUMPDEST
00000bd6: PUSH1 0x40
00000bd8: DUP1
00000bd9: MLOAD
00000bda: SWAP2
00000bdb: DUP3
00000bdc: MSTORE
00000bdd: MLOAD
00000bde: SWAP1
00000bdf: DUP2
00000be0: SWAP1
00000be1: SUB
00000be2: PUSH1 0x20
00000be4: ADD
00000be5: SWAP1
00000be6: RETURN
00000be7: JUMPDEST
00000be8: PUSH2 0x013d
00000beb: PUSH1 0x04
00000bed: CALLDATALOAD
00000bee: PUSH1 0x24
00000bf0: CALLDATALOAD
00000bf1: PUSH1 0x44
00000bf3: CALLDATALOAD
00000bf4: PUSH1 0x05
00000bf6: SLOAD
00000bf7: CALLER
00000bf8: PUSH1 0x01
00000bfa: PUSH1 0xa0
00000bfc: PUSH1 0x02
00000bfe: EXP
00000bff: SUB
00000c00: SWAP1
00000c01: DUP2
00000c02: AND
00000c03: SWAP2
00000c04: AND
00000c05: EQ
00000c06: PUSH2 0x0e58
00000c09: JUMPI
00000c0a: PUSH2 0x0e53
00000c0d: JUMP
00000c0e: JUMPDEST
00000c0f: PUSH1 0x40
00000c11: DUP1
00000c12: MLOAD
00000c13: SWAP14
00000c14: DUP15
00000c15: MSTORE
00000c16: PUSH1 0x20
00000c18: DUP15
00000c19: ADD
00000c1a: SWAP13
00000c1b: SWAP1
00000c1c: SWAP13
00000c1d: MSTORE
00000c1e: DUP13
00000c1f: DUP13
00000c20: ADD
00000c21: SWAP11
00000c22: SWAP1
00000c23: SWAP11
00000c24: MSTORE
00000c25: PUSH1 0x01
00000c27: PUSH1 0xa0
00000c29: PUSH1 0x02
00000c2b: EXP
00000c2c: SUB
00000c2d: SWAP9
00000c2e: SWAP1
00000c2f: SWAP9
00000c30: AND
00000c31: PUSH1 0x60
00000c33: DUP13
00000c34: ADD
00000c35: MSTORE
00000c36: PUSH1 0x80
00000c38: DUP12
00000c39: ADD
00000c3a: SWAP7
00000c3b: SWAP1
00000c3c: SWAP7
00000c3d: MSTORE
00000c3e: PUSH1 0xa0
00000c40: DUP11
00000c41: ADD
00000c42: SWAP5
00000c43: SWAP1
00000c44: SWAP5
00000c45: MSTORE
00000c46: PUSH1 0xc0
00000c48: DUP10
00000c49: ADD
00000c4a: SWAP3
00000c4b: SWAP1
00000c4c: SWAP3
00000c4d: MSTORE
00000c4e: PUSH1 0xe0
00000c50: DUP9
00000c51: ADD
00000c52: MSTORE
00000c53: PUSH2 0x0100
00000c56: DUP8
00000c57: ADD
00000c58: MSTORE
00000c59: PUSH2 0x0120
00000c5c: DUP7
00000c5d: ADD
00000c5e: MSTORE
00000c5f: PUSH2 0x0140
00000c62: DUP6
00000c63: ADD
00000c64: MSTORE
00000c65: PUSH2 0x0160
00000c68: DUP5
00000c69: ADD
00000c6a: MSTORE
00000c6b: PUSH2 0x0180
00000c6e: DUP4
00000c6f: ADD
00000c70: MSTORE
00000c71: MLOAD
00000c72: SWAP1
00000c73: DUP2
00000c74: SWAP1
00000c75: SUB
00000c76: PUSH2 0x01a0
00000c79: ADD
00000c7a: SWAP1
00000c7b: RETURN
00000c7c: JUMPDEST
00000c7d: PUSH1 0x40
00000c7f: DUP1
00000c80: MLOAD
00000c81: PUSH1 0x01
00000c83: PUSH1 0xa0
00000c85: PUSH1 0x02
00000c87: EXP
00000c88: SUB
00000c89: SWAP5
00000c8a: SWAP1
00000c8b: SWAP5
00000c8c: AND
00000c8d: DUP5
00000c8e: MSTORE
00000c8f: PUSH1 0x20
00000c91: DUP5
00000c92: ADD
00000c93: SWAP3
00000c94: SWAP1
00000c95: SWAP3
00000c96: MSTORE
00000c97: DUP3
00000c98: DUP3
00000c99: ADD
00000c9a: MSTORE
00000c9b: MLOAD
00000c9c: SWAP1
00000c9d: DUP2
00000c9e: SWAP1
00000c9f: SUB
00000ca0: PUSH1 0x60
00000ca2: ADD
00000ca3: SWAP1
00000ca4: RETURN
00000ca5: JUMPDEST
00000ca6: PUSH1 0x40
00000ca8: MLOAD
00000ca9: DUP1
00000caa: DUP13
00000cab: PUSH1 0x01
00000cad: PUSH1 0xa0
00000caf: PUSH1 0x02
00000cb1: EXP
00000cb2: SUB
00000cb3: AND
00000cb4: DUP2
00000cb5: MSTORE
00000cb6: PUSH1 0x20
00000cb8: ADD
00000cb9: DUP12
00000cba: PUSH1 0x01
00000cbc: PUSH1 0xa0
00000cbe: PUSH1 0x02
00000cc0: EXP
00000cc1: SUB
00000cc2: AND
00000cc3: DUP2
00000cc4: MSTORE
00000cc5: PUSH1 0x20
00000cc7: ADD
00000cc8: DUP11
00000cc9: DUP2
00000cca: MSTORE
00000ccb: PUSH1 0x20
00000ccd: ADD
00000cce: DUP10
00000ccf: DUP2
00000cd0: MSTORE
00000cd1: PUSH1 0x20
00000cd3: ADD
00000cd4: DUP9
00000cd5: DUP2
00000cd6: MSTORE
00000cd7: PUSH1 0x20
00000cd9: ADD
00000cda: DUP8
00000cdb: DUP2
00000cdc: MSTORE
00000cdd: PUSH1 0x20
00000cdf: ADD
00000ce0: DUP7
00000ce1: DUP2
00000ce2: MSTORE
00000ce3: PUSH1 0x20
00000ce5: ADD
00000ce6: DUP1
00000ce7: PUSH1 0x20
00000ce9: ADD
00000cea: DUP1
00000ceb: PUSH1 0x20
00000ced: ADD
00000cee: DUP1
00000cef: PUSH1 0x20
00000cf1: ADD
00000cf2: DUP6
00000cf3: DUP2
00000cf4: MSTORE
00000cf5: PUSH1 0x20
00000cf7: ADD
00000cf8: DUP5
00000cf9: DUP2
00000cfa: SUB
00000cfb: DUP5
00000cfc: MSTORE
00000cfd: DUP9
00000cfe: DUP2
00000cff: DUP2
00000d00: MLOAD
00000d01: DUP2
00000d02: MSTORE
00000d03: PUSH1 0x20
00000d05: ADD
00000d06: SWAP2
00000d07: POP
00000d08: DUP1
00000d09: MLOAD
00000d0a: SWAP1
00000d0b: PUSH1 0x20
00000d0d: ADD
00000d0e: SWAP1
00000d0f: DUP1
00000d10: DUP4
00000d11: DUP4
00000d12: DUP3
00000d13: SWAP1
00000d14: PUSH1 0x00
00000d16: PUSH1 0x04
00000d18: PUSH1 0x20
00000d1a: DUP5
00000d1b: PUSH1 0x1f
00000d1d: ADD
00000d1e: DIV
00000d1f: PUSH1 0x0f
00000d21: MUL
00000d22: PUSH1 0x03
00000d24: ADD
00000d25: CALL
00000d26: POP
00000d27: SWAP1
00000d28: POP
00000d29: SWAP1
00000d2a: DUP2
00000d2b: ADD
00000d2c: SWAP1
00000d2d: PUSH1 0x1f
00000d2f: AND
00000d30: DUP1
00000d31: ISZERO
00000d32: PUSH2 0x0d4f
00000d35: JUMPI
00000d36: DUP1
00000d37: DUP3
00000d38: SUB
00000d39: DUP1
00000d3a: MLOAD
00000d3b: PUSH1 0x01
00000d3d: DUP4
00000d3e: PUSH1 0x20
00000d40: SUB
00000d41: PUSH2 0x0100
00000d44: EXP
00000d45: SUB
00000d46: NOT
00000d47: AND
00000d48: DUP2
00000d49: MSTORE
00000d4a: PUSH1 0x20
00000d4c: ADD
00000d4d: SWAP2
00000d4e: POP
00000d4f: JUMPDEST
00000d50: POP
00000d51: DUP5
00000d52: DUP2
00000d53: SUB
00000d54: DUP4
00000d55: MSTORE
00000d56: DUP8
00000d57: DUP2
00000d58: DUP2
00000d59: MLOAD
00000d5a: DUP2
00000d5b: MSTORE
00000d5c: PUSH1 0x20
00000d5e: ADD
00000d5f: SWAP2
00000d60: POP
00000d61: DUP1
00000d62: MLOAD
00000d63: SWAP1
00000d64: PUSH1 0x20
00000d66: ADD
00000d67: SWAP1
00000d68: DUP1
00000d69: DUP4
00000d6a: DUP4
00000d6b: DUP3
00000d6c: SWAP1
00000d6d: PUSH1 0x00
00000d6f: PUSH1 0x04
00000d71: PUSH1 0x20
00000d73: DUP5
00000d74: PUSH1 0x1f
00000d76: ADD
00000d77: DIV
00000d78: PUSH1 0x0f
00000d7a: MUL
00000d7b: PUSH1 0x03
00000d7d: ADD
00000d7e: CALL
00000d7f: POP
00000d80: SWAP1
00000d81: POP
00000d82: SWAP1
00000d83: DUP2
00000d84: ADD
00000d85: SWAP1
00000d86: PUSH1 0x1f
00000d88: AND
00000d89: DUP1
00000d8a: ISZERO
00000d8b: PUSH2 0x0da8
00000d8e: JUMPI
00000d8f: DUP1
00000d90: DUP3
00000d91: SUB
00000d92: DUP1
00000d93: MLOAD
00000d94: PUSH1 0x01
00000d96: DUP4
00000d97: PUSH1 0x20
00000d99: SUB
00000d9a: PUSH2 0x0100
00000d9d: EXP
00000d9e: SUB
00000d9f: NOT
00000da0: AND
00000da1: DUP2
00000da2: MSTORE
00000da3: PUSH1 0x20
00000da5: ADD
00000da6: SWAP2
00000da7: POP
00000da8: JUMPDEST
00000da9: POP
00000daa: DUP5
00000dab: DUP2
00000dac: SUB
00000dad: DUP3
00000dae: MSTORE
00000daf: DUP7
00000db0: DUP2
00000db1: DUP2
00000db2: MLOAD
00000db3: DUP2
00000db4: MSTORE
00000db5: PUSH1 0x20
00000db7: ADD
00000db8: SWAP2
00000db9: POP
00000dba: DUP1
00000dbb: MLOAD
00000dbc: SWAP1
00000dbd: PUSH1 0x20
00000dbf: ADD
00000dc0: SWAP1
00000dc1: DUP1
00000dc2: DUP4
00000dc3: DUP4
00000dc4: DUP3
00000dc5: SWAP1
00000dc6: PUSH1 0x00
00000dc8: PUSH1 0x04
00000dca: PUSH1 0x20
00000dcc: DUP5
00000dcd: PUSH1 0x1f
00000dcf: ADD
00000dd0: DIV
00000dd1: PUSH1 0x0f
00000dd3: MUL
00000dd4: PUSH1 0x03
00000dd6: ADD
00000dd7: CALL
00000dd8: POP
00000dd9: SWAP1
00000dda: POP
00000ddb: SWAP1
00000ddc: DUP2
00000ddd: ADD
00000dde: SWAP1
00000ddf: PUSH1 0x1f
00000de1: AND
00000de2: DUP1
00000de3: ISZERO
00000de4: PUSH2 0x0e01
00000de7: JUMPI
00000de8: DUP1
00000de9: DUP3
00000dea: SUB
00000deb: DUP1
00000dec: MLOAD
00000ded: PUSH1 0x01
00000def: DUP4
00000df0: PUSH1 0x20
00000df2: SUB
00000df3: PUSH2 0x0100
00000df6: EXP
00000df7: SUB
00000df8: NOT
00000df9: AND
00000dfa: DUP2
00000dfb: MSTORE
00000dfc: PUSH1 0x20
00000dfe: ADD
00000dff: SWAP2
00000e00: POP
00000e01: JUMPDEST
00000e02: POP
00000e03: SWAP15
00000e04: POP
00000e05: POP
00000e06: POP
00000e07: POP
00000e08: POP
00000e09: POP
00000e0a: POP
00000e0b: POP
00000e0c: POP
00000e0d: POP
00000e0e: POP
00000e0f: POP
00000e10: POP
00000e11: POP
00000e12: POP
00000e13: PUSH1 0x40
00000e15: MLOAD
00000e16: DUP1
00000e17: SWAP2
00000e18: SUB
00000e19: SWAP1
00000e1a: RETURN
00000e1b: JUMPDEST
00000e1c: POP
00000e1d: POP
00000e1e: POP
00000e1f: PUSH1 0x00
00000e21: SWAP3
00000e22: DUP4
00000e23: MSTORE
00000e24: POP
00000e25: PUSH1 0x20
00000e27: SWAP1
00000e28: SWAP2
00000e29: KECCAK256
00000e2a: ADD
00000e2b: DUP1
00000e2c: SLOAD
00000e2d: PUSH1 0x01
00000e2f: PUSH1 0xa0
00000e31: PUSH1 0x02
00000e33: EXP
00000e34: SUB
00000e35: NOT
00000e36: AND
00000e37: DUP5
00000e38: OR
00000e39: SWAP1
00000e3a: SSTORE
00000e3b: PUSH1 0x08
00000e3d: SLOAD
00000e3e: PUSH1 0x16
00000e40: DUP1
00000e41: SLOAD
00000e42: SWAP1
00000e43: SWAP2
00000e44: ADD
00000e45: SWAP1
00000e46: SSTORE
00000e47: PUSH1 0x09
00000e49: SLOAD
00000e4a: PUSH1 0x19
00000e4c: DUP1
00000e4d: SLOAD
00000e4e: SWAP1
00000e4f: SWAP2
00000e50: ADD
00000e51: SWAP1
00000e52: SSTORE
00000e53: JUMPDEST
00000e54: POP
00000e55: POP
00000e56: POP
00000e57: JUMP
00000e58: JUMPDEST
00000e59: DUP1
00000e5a: PUSH1 0x00
00000e5c: EQ
00000e5d: DUP1
00000e5e: PUSH2 0x0e67
00000e61: JUMPI
00000e62: POP
00000e63: DUP2
00000e64: PUSH1 0x00
00000e66: EQ
00000e67: JUMPDEST
00000e68: ISZERO
00000e69: PUSH2 0x0e71
00000e6c: JUMPI
00000e6d: PUSH2 0x0002
00000e70: JUMP
00000e71: JUMPDEST
00000e72: PUSH1 0x01
00000e74: PUSH1 0xa0
00000e76: PUSH1 0x02
00000e78: EXP
00000e79: SUB
00000e7a: DUP4
00000e7b: AND
00000e7c: PUSH1 0x00
00000e7e: SWAP1
00000e7f: DUP2
00000e80: MSTORE
00000e81: PUSH1 0x1b
00000e83: PUSH1 0x20
00000e85: MSTORE
00000e86: PUSH1 0x40
00000e88: DUP2
00000e89: KECCAK256
00000e8a: PUSH1 0x05
00000e8c: DUP2
00000e8d: ADD
00000e8e: DUP1
00000e8f: SLOAD
00000e90: PUSH1 0xff
00000e92: NOT
00000e93: AND
00000e94: PUSH1 0x01
00000e96: SWAP1
00000e97: DUP2
00000e98: OR
00000e99: SWAP1
00000e9a: SWAP2
00000e9b: SSTORE
00000e9c: PUSH1 0x08
00000e9e: DUP1
00000e9f: SLOAD
00000ea0: DUP4
00000ea1: SSTORE
00000ea2: PUSH1 0x09
00000ea4: DUP1
00000ea5: SLOAD
00000ea6: PUSH1 0x06
00000ea8: DUP6
00000ea9: ADD
00000eaa: SSTORE
00000eab: TIMESTAMP
00000eac: PUSH1 0x07
00000eae: DUP6
00000eaf: ADD
00000eb0: SSTORE
00000eb1: SWAP1
00000eb2: DUP4
00000eb3: ADD
00000eb4: DUP5
00000eb5: SWAP1
00000eb6: SSTORE
00000eb7: DUP3
00000eb8: ADD
00000eb9: DUP4
00000eba: SWAP1
00000ebb: SSTORE
00000ebc: PUSH1 0x0a
00000ebe: DUP3
00000ebf: ADD
00000ec0: SWAP3
00000ec1: SWAP1
00000ec2: SWAP3
00000ec3: SSTORE
00000ec4: PUSH1 0x0b
00000ec6: DUP2
00000ec7: ADD
00000ec8: DUP5
00000ec9: SWAP1
00000eca: SSTORE
00000ecb: PUSH1 0x0c
00000ecd: ADD
00000ece: DUP3
00000ecf: SWAP1
00000ed0: SSTORE
00000ed1: PUSH1 0x1a
00000ed3: DUP1
00000ed4: SLOAD
00000ed5: SWAP2
00000ed6: DUP3
00000ed7: ADD
00000ed8: DUP1
00000ed9: DUP3
00000eda: SSTORE
00000edb: SWAP1
00000edc: SWAP2
00000edd: SWAP1
00000ede: DUP3
00000edf: DUP2
00000ee0: DUP4
00000ee1: DUP1
00000ee2: ISZERO
00000ee3: DUP3
00000ee4: SWAP1
00000ee5: GT
00000ee6: PUSH2 0x0e1b
00000ee9: JUMPI
00000eea: DUP2
00000eeb: DUP4
00000eec: PUSH1 0x00
00000eee: MSTORE
00000eef: PUSH1 0x20
00000ef1: PUSH1 0x00
00000ef3: KECCAK256
00000ef4: SWAP2
00000ef5: DUP3
00000ef6: ADD
00000ef7: SWAP2
00000ef8: ADD
00000ef9: PUSH2 0x0e1b
00000efc: SWAP2
00000efd: SWAP1
00000efe: JUMPDEST
00000eff: DUP1
00000f00: DUP3
00000f01: GT
00000f02: ISZERO
00000f03: PUSH2 0x0f12
00000f06: JUMPI
00000f07: PUSH1 0x00
00000f09: DUP2
00000f0a: SSTORE
00000f0b: PUSH1 0x01
00000f0d: ADD
00000f0e: PUSH2 0x0efe
00000f11: JUMP
00000f12: JUMPDEST
00000f13: POP
00000f14: SWAP1
00000f15: JUMP
00000f16: JUMPDEST
00000f17: POP
00000f18: SWAP2
00000f19: SWAP1
00000f1a: POP
00000f1b: JUMP
00000f1c: JUMPDEST
00000f1d: PUSH1 0x01
00000f1f: PUSH1 0xa0
00000f21: PUSH1 0x02
00000f23: EXP
00000f24: SUB
00000f25: DUP3
00000f26: DUP2
00000f27: AND
00000f28: PUSH1 0x00
00000f2a: DUP2
00000f2b: DUP2
00000f2c: MSTORE
00000f2d: PUSH1 0x1b
00000f2f: PUSH1 0x20
00000f31: MSTORE
00000f32: PUSH1 0x40
00000f34: DUP1
00000f35: DUP3
00000f36: KECCAK256
00000f37: PUSH1 0x05
00000f39: DUP2
00000f3a: ADD
00000f3b: DUP1
00000f3c: SLOAD
00000f3d: PUSH1 0xff
00000f3f: NOT
00000f40: AND
00000f41: SWAP1
00000f42: SSTORE
00000f43: PUSH1 0x01
00000f45: DUP2
00000f46: ADD
00000f47: DUP1
00000f48: SLOAD
00000f49: PUSH1 0x17
00000f4b: SSTORE
00000f4c: PUSH1 0x04
00000f4e: DUP3
00000f4f: ADD
00000f50: DUP1
00000f51: SLOAD
00000f52: PUSH1 0x03
00000f54: DUP5
00000f55: ADD
00000f56: SLOAD
00000f57: SWAP1
00000f58: SWAP8
00000f59: AND
00000f5a: DUP6
00000f5b: MSTORE
00000f5c: SWAP3
00000f5d: DUP5
00000f5e: KECCAK256
00000f5f: PUSH1 0x06
00000f61: SWAP1
00000f62: DUP2
00000f63: ADD
00000f64: DUP1
00000f65: SLOAD
00000f66: SWAP1
00000f67: SWAP8
00000f68: ADD
00000f69: SWAP1
00000f6a: SWAP7
00000f6b: SSTORE
00000f6c: SWAP4
00000f6d: DUP4
00000f6e: MSTORE
00000f6f: SWAP4
00000f70: DUP5
00000f71: ADD
00000f72: DUP1
00000f73: SLOAD
00000f74: PUSH1 0x19
00000f76: DUP1
00000f77: SLOAD
00000f78: SWAP2
00000f79: SWAP1
00000f7a: SWAP2
00000f7b: SUB
00000f7c: DUP1
00000f7d: DUP3
00000f7e: SSTORE
00000f7f: SWAP3
00000f80: SLOAD
00000f81: SWAP3
00000f82: SWAP1
00000f83: SWAP3
00000f84: ADD
00000f85: SWAP1
00000f86: SWAP2
00000f87: SSTORE
00000f88: PUSH1 0x0a
00000f8a: DUP5
00000f8b: ADD
00000f8c: DUP1
00000f8d: SLOAD
00000f8e: PUSH1 0x0f
00000f90: DUP1
00000f91: SLOAD
00000f92: SWAP2
00000f93: SWAP1
00000f94: SWAP2
00000f95: SUB
00000f96: SWAP1
00000f97: SSTORE
00000f98: PUSH1 0x09
00000f9a: DUP6
00000f9b: ADD
00000f9c: DUP1
00000f9d: SLOAD
00000f9e: PUSH1 0x10
00000fa0: DUP1
00000fa1: SLOAD
00000fa2: SWAP2
00000fa3: SWAP1
00000fa4: SWAP2
00000fa5: SUB
00000fa6: SWAP1
00000fa7: SSTORE
00000fa8: SWAP2
00000fa9: DUP4
00000faa: SWAP1
00000fab: SSTORE
00000fac: SWAP3
00000fad: DUP3
00000fae: SWAP1
00000faf: SSTORE
00000fb0: PUSH1 0x02
00000fb2: DUP5
00000fb3: ADD
00000fb4: DUP3
00000fb5: SWAP1
00000fb6: SSTORE
00000fb7: TIMESTAMP
00000fb8: PUSH1 0x07
00000fba: DUP6
00000fbb: ADD
00000fbc: SSTORE
00000fbd: PUSH1 0x08
00000fbf: SWAP1
00000fc0: SWAP4
00000fc1: ADD
00000fc2: DUP2
00000fc3: SWAP1
00000fc4: SSTORE
00000fc5: SWAP2
00000fc6: DUP3
00000fc7: SWAP1
00000fc8: SSTORE
00000fc9: SSTORE
00000fca: PUSH2 0x0fd2
00000fcd: DUP3
00000fce: PUSH2 0x0209
00000fd1: JUMP
00000fd2: JUMPDEST
00000fd3: SWAP1
00000fd4: POP
00000fd5: PUSH1 0x00
00000fd7: DUP2
00000fd8: GT
00000fd9: ISZERO
00000fda: PUSH2 0x0b7f
00000fdd: JUMPI
00000fde: PUSH1 0x1a
00000fe0: DUP1
00000fe1: SLOAD
00000fe2: DUP3
00000fe3: SWAP1
00000fe4: DUP2
00000fe5: LT
00000fe6: ISZERO
00000fe7: PUSH2 0x0002
00000fea: JUMPI
00000feb: PUSH1 0x00
00000fed: DUP3
00000fee: SWAP1
00000fef: MSTORE
00000ff0: PUSH32 0x057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e
00001011: ADD
00001012: DUP1
00001013: SLOAD
00001014: PUSH1 0x01
00001016: PUSH1 0xa0
00001018: PUSH1 0x02
0000101a: EXP
0000101b: SUB
0000101c: NOT
0000101d: AND
0000101e: SWAP1
0000101f: SSTORE
00001020: DUP1
00001021: SLOAD
00001022: PUSH1 0x00
00001024: NOT
00001025: DUP2
00001026: ADD
00001027: DUP1
00001028: DUP4
00001029: SSTORE
0000102a: SWAP1
0000102b: SWAP2
0000102c: SWAP1
0000102d: DUP3
0000102e: DUP1
0000102f: ISZERO
00001030: DUP3
00001031: SWAP1
00001032: GT
00001033: PUSH2 0x0b7a
00001036: JUMPI
00001037: DUP2
00001038: DUP4
00001039: PUSH1 0x00
0000103b: MSTORE
0000103c: PUSH1 0x20
0000103e: PUSH1 0x00
00001040: KECCAK256
00001041: SWAP2
00001042: DUP3
00001043: ADD
00001044: SWAP2
00001045: ADD
00001046: PUSH2 0x0b7a
00001049: SWAP2
0000104a: SWAP1
0000104b: PUSH2 0x0efe
0000104e: JUMP
0000104f: JUMPDEST
00001050: DUP3
00001051: ADD
00001052: SWAP2
00001053: SWAP1
00001054: PUSH1 0x00
00001056: MSTORE
00001057: PUSH1 0x20
00001059: PUSH1 0x00
0000105b: KECCAK256
0000105c: SWAP1
0000105d: JUMPDEST
0000105e: DUP2
0000105f: SLOAD
00001060: DUP2
00001061: MSTORE
00001062: SWAP1
00001063: PUSH1 0x01
00001065: ADD
00001066: SWAP1
00001067: PUSH1 0x20
00001069: ADD
0000106a: DUP1
0000106b: DUP4
0000106c: GT
0000106d: PUSH2 0x105d
00001070: JUMPI
00001071: DUP3
00001072: SWAP1
00001073: SUB
00001074: PUSH1 0x1f
00001076: AND
00001077: DUP3
00001078: ADD
00001079: SWAP2
0000107a: JUMPDEST
0000107b: POP
0000107c: POP
0000107d: PUSH1 0x40
0000107f: DUP1
00001080: MLOAD
00001081: PUSH1 0x02
00001083: DUP1
00001084: SLOAD
00001085: PUSH1 0x20
00001087: PUSH1 0x01
00001089: DUP3
0000108a: AND
0000108b: ISZERO
0000108c: PUSH2 0x0100
0000108f: MUL
00001090: PUSH1 0x00
00001092: NOT
00001093: ADD
00001094: SWAP1
00001095: SWAP2
00001096: AND
00001097: DUP3
00001098: SWAP1
00001099: DIV
0000109a: PUSH1 0x1f
0000109c: DUP2
0000109d: ADD
0000109e: DUP3
0000109f: SWAP1
000010a0: DIV
000010a1: DUP3
000010a2: MUL
000010a3: DUP5
000010a4: ADD
000010a5: DUP3
000010a6: ADD
000010a7: SWAP1
000010a8: SWAP5
000010a9: MSTORE
000010aa: DUP4
000010ab: DUP4
000010ac: MSTORE
000010ad: SWAP7
000010ae: SWAP11
000010af: POP
000010b0: SWAP1
000010b1: SWAP6
000010b2: SWAP1
000010b3: SWAP5
000010b4: POP
000010b5: SWAP1
000010b6: SWAP3
000010b7: POP
000010b8: DUP5
000010b9: ADD
000010ba: SWAP1
000010bb: POP
000010bc: DUP3
000010bd: DUP3
000010be: DUP1
000010bf: ISZERO
000010c0: PUSH2 0x110a
000010c3: JUMPI
000010c4: DUP1
000010c5: PUSH1 0x1f
000010c7: LT
000010c8: PUSH2 0x10df
000010cb: JUMPI
000010cc: PUSH2 0x0100
000010cf: DUP1
000010d0: DUP4
000010d1: SLOAD
000010d2: DIV
000010d3: MUL
000010d4: DUP4
000010d5: MSTORE
000010d6: SWAP2
000010d7: PUSH1 0x20
000010d9: ADD
000010da: SWAP2
000010db: PUSH2 0x110a
000010de: JUMP
000010df: JUMPDEST
000010e0: DUP3
000010e1: ADD
000010e2: SWAP2
000010e3: SWAP1
000010e4: PUSH1 0x00
000010e6: MSTORE
000010e7: PUSH1 0x20
000010e9: PUSH1 0x00
000010eb: KECCAK256
000010ec: SWAP1
000010ed: JUMPDEST
000010ee: DUP2
000010ef: SLOAD
000010f0: DUP2
000010f1: MSTORE
000010f2: SWAP1
000010f3: PUSH1 0x01
000010f5: ADD
000010f6: SWAP1
000010f7: PUSH1 0x20
000010f9: ADD
000010fa: DUP1
000010fb: DUP4
000010fc: GT
000010fd: PUSH2 0x10ed
00001100: JUMPI
00001101: DUP3
00001102: SWAP1
00001103: SUB
00001104: PUSH1 0x1f
00001106: AND
00001107: DUP3
00001108: ADD
00001109: SWAP2
0000110a: JUMPDEST
0000110b: POP
0000110c: POP
0000110d: PUSH1 0x03
0000110f: DUP1
00001110: SLOAD
00001111: PUSH1 0x40
00001113: DUP1
00001114: MLOAD
00001115: PUSH1 0x20
00001117: PUSH1 0x02
00001119: PUSH1 0x01
0000111b: DUP6
0000111c: AND
0000111d: ISZERO
0000111e: PUSH2 0x0100
00001121: MUL
00001122: PUSH1 0x00
00001124: NOT
00001125: ADD
00001126: SWAP1
00001127: SWAP5
00001128: AND
00001129: SWAP4
0000112a: SWAP1
0000112b: SWAP4
0000112c: DIV
0000112d: PUSH1 0x1f
0000112f: DUP2
00001130: ADD
00001131: DUP5
00001132: SWAP1
00001133: DIV
00001134: DUP5
00001135: MUL
00001136: DUP3
00001137: ADD
00001138: DUP5
00001139: ADD
0000113a: SWAP1
0000113b: SWAP3
0000113c: MSTORE
0000113d: DUP2
0000113e: DUP2
0000113f: MSTORE
00001140: SWAP7
00001141: SWAP10
00001142: POP
00001143: SWAP2
00001144: SWAP5
00001145: POP
00001146: SWAP1
00001147: SWAP3
00001148: POP
00001149: DUP5
0000114a: ADD
0000114b: SWAP1
0000114c: POP
0000114d: DUP3
0000114e: DUP3
0000114f: DUP1
00001150: ISZERO
00001151: PUSH2 0x119b
00001154: JUMPI
00001155: DUP1
00001156: PUSH1 0x1f
00001158: LT
00001159: PUSH2 0x1170
0000115c: JUMPI
0000115d: PUSH2 0x0100
00001160: DUP1
00001161: DUP4
00001162: SLOAD
00001163: DIV
00001164: MUL
00001165: DUP4
00001166: MSTORE
00001167: SWAP2
00001168: PUSH1 0x20
0000116a: ADD
0000116b: SWAP2
0000116c: PUSH2 0x119b
0000116f: JUMP
00001170: JUMPDEST
00001171: DUP3
00001172: ADD
00001173: SWAP2
00001174: SWAP1
00001175: PUSH1 0x00
00001177: MSTORE
00001178: PUSH1 0x20
0000117a: PUSH1 0x00
0000117c: KECCAK256
0000117d: SWAP1
0000117e: JUMPDEST
0000117f: DUP2
00001180: SLOAD
00001181: DUP2
00001182: MSTORE
00001183: SWAP1
00001184: PUSH1 0x01
00001186: ADD
00001187: SWAP1
00001188: PUSH1 0x20
0000118a: ADD
0000118b: DUP1
0000118c: DUP4
0000118d: GT
0000118e: PUSH2 0x117e
00001191: JUMPI
00001192: DUP3
00001193: SWAP1
00001194: SUB
00001195: PUSH1 0x1f
00001197: AND
00001198: DUP3
00001199: ADD
0000119a: SWAP2
0000119b: JUMPDEST
0000119c: POP
0000119d: POP
0000119e: PUSH1 0x00
000011a0: SLOAD
000011a1: SWAP4
000011a2: SWAP6
000011a3: POP
000011a4: SWAP3
000011a5: SWAP4
000011a6: POP
000011a7: POP
000011a8: POP
000011a9: POP
000011aa: SWAP1
000011ab: SWAP2
000011ac: SWAP3
000011ad: SWAP4
000011ae: SWAP5
000011af: SWAP6
000011b0: SWAP7
000011b1: SWAP8
000011b2: SWAP9
000011b3: SWAP10
000011b4: SWAP11
000011b5: JUMP
000011b6: JUMPDEST
000011b7: PUSH1 0x06
000011b9: DUP5
000011ba: SWAP1
000011bb: SSTORE
000011bc: PUSH1 0x07
000011be: DUP4
000011bf: SWAP1
000011c0: SSTORE
000011c1: PUSH1 0x08
000011c3: DUP3
000011c4: SWAP1
000011c5: SSTORE
000011c6: PUSH1 0x09
000011c8: DUP2
000011c9: SWAP1
000011ca: SSTORE
000011cb: JUMPDEST
000011cc: POP
000011cd: POP
000011ce: POP
000011cf: POP
000011d0: JUMP
000011d1: JUMPDEST
000011d2: PUSH1 0x05
000011d4: DUP1
000011d5: SLOAD
000011d6: PUSH1 0x01
000011d8: PUSH1 0xa0
000011da: PUSH1 0x02
000011dc: EXP
000011dd: SUB
000011de: NOT
000011df: AND
000011e0: DUP3
000011e1: OR
000011e2: SWAP1
000011e3: SSTORE
000011e4: JUMPDEST
000011e5: POP
000011e6: JUMP
000011e7: JUMPDEST
000011e8: PUSH1 0x04
000011ea: DUP1
000011eb: SLOAD
000011ec: PUSH1 0x01
000011ee: PUSH1 0xa0
000011f0: PUSH1 0x02
000011f2: EXP
000011f3: SUB
000011f4: NOT
000011f5: AND
000011f6: DUP3
000011f7: OR
000011f8: SWAP1
000011f9: SSTORE
000011fa: POP
000011fb: JUMP
000011fc: JUMPDEST
000011fd: PUSH1 0x05
000011ff: SLOAD
00001200: PUSH1 0x01
00001202: PUSH1 0xa0
00001204: PUSH1 0x02
00001206: EXP
00001207: SUB
00001208: AND
00001209: PUSH1 0x00
0000120b: SWAP1
0000120c: DUP2
0000120d: MSTORE
0000120e: PUSH1 0x1b
00001210: PUSH1 0x20
00001212: MSTORE
00001213: PUSH1 0x40
00001215: SWAP1
00001216: KECCAK256
00001217: DUP1
00001218: SLOAD
00001219: DUP3
0000121a: ADD
0000121b: SWAP1
0000121c: SSTORE
0000121d: PUSH1 0x16
0000121f: DUP1
00001220: SLOAD
00001221: DUP3
00001222: ADD
00001223: SWAP1
00001224: SSTORE
00001225: POP
00001226: JUMP
00001227: JUMPDEST
00001228: PUSH1 0x01
0000122a: PUSH1 0xa0
0000122c: PUSH1 0x02
0000122e: EXP
0000122f: SUB
00001230: DUP3
00001231: AND
00001232: PUSH1 0x00
00001234: SWAP1
00001235: DUP2
00001236: MSTORE
00001237: PUSH1 0x1b
00001239: PUSH1 0x20
0000123b: MSTORE
0000123c: PUSH1 0x40
0000123e: SWAP1
0000123f: KECCAK256
00001240: PUSH1 0x05
00001242: ADD
00001243: SLOAD
00001244: PUSH1 0xff
00001246: AND
00001247: PUSH1 0x01
00001249: EQ
0000124a: PUSH2 0x1252
0000124d: JUMPI
0000124e: PUSH2 0x0b7f
00001251: JUMP
00001252: JUMPDEST
00001253: PUSH1 0x01
00001255: PUSH1 0xa0
00001257: PUSH1 0x02
00001259: EXP
0000125a: SUB
0000125b: DUP3
0000125c: AND
0000125d: PUSH1 0x00
0000125f: SWAP1
00001260: DUP2
00001261: MSTORE
00001262: PUSH1 0x1b
00001264: PUSH1 0x20
00001266: MSTORE
00001267: PUSH1 0x40
00001269: SWAP1
0000126a: KECCAK256
0000126b: PUSH1 0x06
0000126d: ADD
0000126e: DUP1
0000126f: SLOAD
00001270: DUP3
00001271: ADD
00001272: SWAP1
00001273: SSTORE
00001274: POP
00001275: POP
00001276: JUMP
00001277: JUMPDEST
00001278: PUSH1 0x0a
0000127a: SSTORE
0000127b: JUMP
0000127c: JUMPDEST
0000127d: PUSH1 0x01
0000127f: PUSH1 0xa0
00001281: PUSH1 0x02
00001283: EXP
00001284: SUB
00001285: CALLER
00001286: DUP2
00001287: AND
00001288: PUSH1 0x00
0000128a: SWAP1
0000128b: DUP2
0000128c: MSTORE
0000128d: PUSH1 0x1b
0000128f: PUSH1 0x20
00001291: MSTORE
00001292: PUSH1 0x40
00001294: DUP1
00001295: DUP3
00001296: KECCAK256
00001297: PUSH1 0x04
00001299: DUP2
0000129a: ADD
0000129b: DUP1
0000129c: SLOAD
0000129d: PUSH1 0x18
0000129f: DUP1
000012a0: SLOAD
000012a1: SWAP2
000012a2: SWAP1
000012a3: SWAP2
000012a4: SUB
000012a5: SWAP1
000012a6: SSTORE
000012a7: PUSH1 0x07
000012a9: SLOAD
000012aa: DUP2
000012ab: SLOAD
000012ac: PUSH1 0x19
000012ae: DUP1
000012af: SLOAD
000012b0: PUSH1 0x64
000012b2: SWAP3
000012b3: DUP5
000012b4: MUL
000012b5: DUP4
000012b6: SWAP1
000012b7: DIV
000012b8: ADD
000012b9: SWAP1
000012ba: SSTORE
000012bb: SWAP2
000012bc: SLOAD
000012bd: PUSH1 0x03
000012bf: SWAP4
000012c0: SWAP1
000012c1: SWAP4
000012c2: ADD
000012c3: SLOAD
000012c4: SWAP1
000012c5: SWAP6
000012c6: AND
000012c7: DUP5
000012c8: MSTORE
000012c9: SWAP2
000012ca: SWAP1
000012cb: SWAP3
000012cc: KECCAK256
000012cd: PUSH1 0x06
000012cf: ADD
000012d0: DUP1
000012d1: SLOAD
000012d2: SWAP4
000012d3: DUP3
000012d4: ADD
000012d5: SWAP1
000012d6: SWAP3
000012d7: MUL
000012d8: DIV
000012d9: SWAP1
000012da: SWAP2
000012db: ADD
000012dc: SWAP1
000012dd: SSTORE
000012de: PUSH1 0x01
000012e0: SWAP4
000012e1: POP
000012e2: JUMPDEST
000012e3: CALLER
000012e4: PUSH1 0x01
000012e6: PUSH1 0xa0
000012e8: PUSH1 0x02
000012ea: EXP
000012eb: SUB
000012ec: DUP2
000012ed: AND
000012ee: PUSH1 0x00
000012f0: SWAP1
000012f1: DUP2
000012f2: MSTORE
000012f3: PUSH1 0x1b
000012f5: PUSH1 0x20
000012f7: SWAP1
000012f8: DUP2
000012f9: MSTORE
000012fa: PUSH1 0x40
000012fc: DUP1
000012fd: DUP4
000012fe: KECCAK256
000012ff: PUSH1 0x03
00001301: DUP2
00001302: ADD
00001303: DUP1
00001304: SLOAD
00001305: PUSH1 0x01
00001307: PUSH1 0xa0
00001309: PUSH1 0x02
0000130b: EXP
0000130c: SUB
0000130d: NOT
0000130e: AND
0000130f: SWAP1
00001310: SWAP6
00001311: OR
00001312: SWAP1
00001313: SWAP5
00001314: SSTORE
00001315: PUSH1 0x04
00001317: SWAP4
00001318: SWAP1
00001319: SWAP4
0000131a: ADD
0000131b: SWAP2
0000131c: SWAP1
0000131d: SWAP2
0000131e: SSTORE
0000131f: DUP2
00001320: MLOAD
00001321: DUP5
00001322: DUP2
00001323: MSTORE
00001324: SWAP1
00001325: DUP2
00001326: ADD
00001327: DUP4
00001328: SWAP1
00001329: MSTORE
0000132a: DUP1
0000132b: DUP3
0000132c: ADD
0000132d: DUP7
0000132e: SWAP1
0000132f: MSTORE
00001330: TIMESTAMP
00001331: PUSH1 0x60
00001333: DUP3
00001334: ADD
00001335: MSTORE
00001336: SWAP1
00001337: MLOAD
00001338: PUSH32 0x604dfe51a5e753c5932f2404579dffc6345849646fc55061407b1b579357de9b
00001359: SWAP2
0000135a: DUP2
0000135b: SWAP1
0000135c: SUB
0000135d: PUSH1 0x80
0000135f: ADD
00001360: SWAP1
00001361: LOG1
00001362: POP
00001363: POP
00001364: POP
00001365: POP
00001366: JUMP
00001367: JUMPDEST
00001368: POP
00001369: POP
0000136a: POP
0000136b: CALLER
0000136c: PUSH1 0x01
0000136e: PUSH1 0xa0
00001370: PUSH1 0x02
00001372: EXP
00001373: SUB
00001374: AND
00001375: PUSH1 0x00
00001377: SWAP1
00001378: DUP2
00001379: MSTORE
0000137a: PUSH1 0x1b
0000137c: PUSH1 0x20
0000137e: MSTORE
0000137f: PUSH1 0x40
00001381: SWAP1
00001382: KECCAK256
00001383: DUP1
00001384: SLOAD
00001385: PUSH1 0x01
00001387: SWAP2
00001388: SWAP1
00001389: SWAP2
0000138a: ADD
0000138b: SLOAD
0000138c: SWAP1
0000138d: DUP2
0000138e: ADD
0000138f: DUP3
00001390: DUP1
00001391: DUP3
00001392: SGT
00001393: ISZERO
00001394: PUSH2 0x158f
00001397: JUMPI
00001398: DUP1
00001399: PUSH1 0x1b
0000139b: PUSH1 0x00
0000139d: POP
0000139e: PUSH1 0x00
000013a0: CALLER
000013a1: PUSH1 0x01
000013a3: PUSH1 0xa0
000013a5: PUSH1 0x02
000013a7: EXP
000013a8: SUB
000013a9: AND
000013aa: DUP2
000013ab: MSTORE
000013ac: PUSH1 0x20
000013ae: ADD
000013af: SWAP1
000013b0: DUP2
000013b1: MSTORE
000013b2: PUSH1 0x20
000013b4: ADD
000013b5: PUSH1 0x00
000013b7: KECCAK256
000013b8: PUSH1 0x00
000013ba: POP
000013bb: PUSH1 0x00
000013bd: ADD
000013be: PUSH1 0x00
000013c0: DUP3
000013c1: DUP3
000013c2: DUP3
000013c3: POP
000013c4: SLOAD
000013c5: SUB
000013c6: SWAP3
000013c7: POP
000013c8: POP
000013c9: DUP2
000013ca: SWAP1
000013cb: SSTORE
000013cc: POP
000013cd: DUP1
000013ce: PUSH1 0x1b
000013d0: PUSH1 0x00
000013d2: POP
000013d3: PUSH1 0x00
000013d5: DUP8
000013d6: PUSH1 0x01
000013d8: PUSH1 0xa0
000013da: PUSH1 0x02
000013dc: EXP
000013dd: SUB
000013de: AND
000013df: DUP2
000013e0: MSTORE
000013e1: PUSH1 0x20
000013e3: ADD
000013e4: SWAP1
000013e5: DUP2
000013e6: MSTORE
000013e7: PUSH1 0x20
000013e9: ADD
000013ea: PUSH1 0x00
000013ec: KECCAK256
000013ed: PUSH1 0x00
000013ef: POP
000013f0: PUSH1 0x00
000013f2: ADD
000013f3: PUSH1 0x00
000013f5: DUP3
000013f6: DUP3
000013f7: DUP3
000013f8: POP
000013f9: SLOAD
000013fa: ADD
000013fb: SWAP3
000013fc: POP
000013fd: POP
000013fe: DUP2
000013ff: SWAP1
00001400: SSTORE
00001401: POP
00001402: PUSH1 0x64
00001404: PUSH1 0x06
00001406: PUSH1 0x00
00001408: POP
00001409: SLOAD
0000140a: DUP3
0000140b: MUL
0000140c: SDIV
0000140d: PUSH1 0x1b
0000140f: PUSH1 0x00
00001411: POP
00001412: PUSH1 0x00
00001414: DUP8
00001415: PUSH1 0x01
00001417: PUSH1 0xa0
00001419: PUSH1 0x02
0000141b: EXP
0000141c: SUB
0000141d: AND
0000141e: DUP2
0000141f: MSTORE
00001420: PUSH1 0x20
00001422: ADD
00001423: SWAP1
00001424: DUP2
00001425: MSTORE
00001426: PUSH1 0x20
00001428: ADD
00001429: PUSH1 0x00
0000142b: KECCAK256
0000142c: PUSH1 0x00
0000142e: POP
0000142f: PUSH1 0x00
00001431: ADD
00001432: PUSH1 0x00
00001434: DUP3
00001435: DUP3
00001436: DUP3
00001437: POP
00001438: SLOAD
00001439: SUB
0000143a: SWAP3
0000143b: POP
0000143c: POP
0000143d: DUP2
0000143e: SWAP1
0000143f: SSTORE
00001440: POP
00001441: PUSH1 0x64
00001443: PUSH1 0x06
00001445: PUSH1 0x00
00001447: POP
00001448: SLOAD
00001449: DUP3
0000144a: MUL
0000144b: SDIV
0000144c: PUSH1 0x1b
0000144e: PUSH1 0x00
00001450: POP
00001451: PUSH1 0x00
00001453: PUSH1 0x05
00001455: PUSH1 0x00
00001457: SWAP1
00001458: SLOAD
00001459: SWAP1
0000145a: PUSH2 0x0100
0000145d: EXP
0000145e: SWAP1
0000145f: DIV
00001460: PUSH1 0x01
00001462: PUSH1 0xa0
00001464: PUSH1 0x02
00001466: EXP
00001467: SUB
00001468: AND
00001469: PUSH1 0x01
0000146b: PUSH1 0xa0
0000146d: PUSH1 0x02
0000146f: EXP
00001470: SUB
00001471: AND
00001472: DUP2
00001473: MSTORE
00001474: PUSH1 0x20
00001476: ADD
00001477: SWAP1
00001478: DUP2
00001479: MSTORE
0000147a: PUSH1 0x20
0000147c: ADD
0000147d: PUSH1 0x00
0000147f: KECCAK256
00001480: PUSH1 0x00
00001482: POP
00001483: PUSH1 0x00
00001485: ADD
00001486: PUSH1 0x00
00001488: DUP3
00001489: DUP3
0000148a: DUP3
0000148b: POP
0000148c: SLOAD
0000148d: ADD
0000148e: SWAP3
0000148f: POP
00001490: POP
00001491: DUP2
00001492: SWAP1
00001493: SSTORE
00001494: POP
00001495: PUSH1 0x64
00001497: PUSH1 0x06
00001499: PUSH1 0x00
0000149b: POP
0000149c: SLOAD
0000149d: DUP3
0000149e: MUL
0000149f: SDIV
000014a0: PUSH1 0x12
000014a2: PUSH1 0x00
000014a4: DUP3
000014a5: DUP3
000014a6: DUP3
000014a7: POP
000014a8: SLOAD
000014a9: ADD
000014aa: SWAP3
000014ab: POP
000014ac: POP
000014ad: DUP2
000014ae: SWAP1
000014af: SSTORE
000014b0: POP
000014b1: DUP5
000014b2: PUSH1 0x01
000014b4: PUSH1 0xa0
000014b6: PUSH1 0x02
000014b8: EXP
000014b9: SUB
000014ba: AND
000014bb: CALLER
000014bc: PUSH1 0x01
000014be: PUSH1 0xa0
000014c0: PUSH1 0x02
000014c2: EXP
000014c3: SUB
000014c4: AND
000014c5: PUSH32 0xf2dbd98d79f00f7aff338b824931d607bfcc63d47307162470f25a055102d3b0
000014e6: DUP7
000014e7: TIMESTAMP
000014e8: PUSH1 0x40
000014ea: MLOAD
000014eb: DUP1
000014ec: DUP4
000014ed: DUP2
000014ee: MSTORE
000014ef: PUSH1 0x20
000014f1: ADD
000014f2: DUP3
000014f3: DUP2
000014f4: MSTORE
000014f5: PUSH1 0x20
000014f7: ADD
000014f8: SWAP3
000014f9: POP
000014fa: POP
000014fb: POP
000014fc: PUSH1 0x40
000014fe: MLOAD
000014ff: DUP1
00001500: SWAP2
00001501: SUB
00001502: SWAP1
00001503: LOG3
00001504: PUSH1 0x1b
00001506: PUSH1 0x00
00001508: POP
00001509: PUSH1 0x00
0000150b: CALLER
0000150c: PUSH1 0x01
0000150e: PUSH1 0xa0
00001510: PUSH1 0x02
00001512: EXP
00001513: SUB
00001514: AND
00001515: DUP2
00001516: MSTORE
00001517: PUSH1 0x20
00001519: ADD
0000151a: SWAP1
0000151b: DUP2
0000151c: MSTORE
0000151d: PUSH1 0x20
0000151f: ADD
00001520: PUSH1 0x00
00001522: KECCAK256
00001523: PUSH1 0x00
00001525: POP
00001526: PUSH1 0x07
00001528: ADD
00001529: PUSH1 0x00
0000152b: POP
0000152c: SLOAD
0000152d: TIMESTAMP
0000152e: SUB
0000152f: DUP5
00001530: PUSH3 0x015180
00001534: MUL
00001535: DIV
00001536: PUSH1 0x1b
00001538: PUSH1 0x00
0000153a: POP
0000153b: PUSH1 0x00
0000153d: CALLER
0000153e: PUSH1 0x01
00001540: PUSH1 0xa0
00001542: PUSH1 0x02
00001544: EXP
00001545: SUB
00001546: AND
00001547: DUP2
00001548: MSTORE
00001549: PUSH1 0x20
0000154b: ADD
0000154c: SWAP1
0000154d: DUP2
0000154e: MSTORE
0000154f: PUSH1 0x20
00001551: ADD
00001552: PUSH1 0x00
00001554: KECCAK256
00001555: PUSH1 0x00
00001557: POP
00001558: PUSH1 0x08
0000155a: ADD
0000155b: PUSH1 0x00
0000155d: POP
0000155e: DUP2
0000155f: SWAP1
00001560: SSTORE
00001561: POP
00001562: TIMESTAMP
00001563: PUSH1 0x1b
00001565: PUSH1 0x00
00001567: POP
00001568: PUSH1 0x00
0000156a: CALLER
0000156b: PUSH1 0x01
0000156d: PUSH1 0xa0
0000156f: PUSH1 0x02
00001571: EXP
00001572: SUB
00001573: AND
00001574: DUP2
00001575: MSTORE
00001576: PUSH1 0x20
00001578: ADD
00001579: SWAP1
0000157a: DUP2
0000157b: MSTORE
0000157c: PUSH1 0x20
0000157e: ADD
0000157f: PUSH1 0x00
00001581: KECCAK256
00001582: PUSH1 0x00
00001584: POP
00001585: PUSH1 0x07
00001587: ADD
00001588: PUSH1 0x00
0000158a: POP
0000158b: DUP2
0000158c: SWAP1
0000158d: SSTORE
0000158e: POP
0000158f: JUMPDEST
00001590: POP
00001591: POP
00001592: POP
00001593: POP
00001594: POP
00001595: JUMP
00001596: JUMPDEST
00001597: CALLER
00001598: PUSH1 0x01
0000159a: PUSH1 0xa0
0000159c: PUSH1 0x02
0000159e: EXP
0000159f: SUB
000015a0: AND
000015a1: PUSH1 0x00
000015a3: SWAP1
000015a4: DUP2
000015a5: MSTORE
000015a6: PUSH1 0x1b
000015a8: PUSH1 0x20
000015aa: MSTORE
000015ab: PUSH1 0x40
000015ad: SWAP1
000015ae: KECCAK256
000015af: PUSH1 0x06
000015b1: ADD
000015b2: SLOAD
000015b3: DUP6
000015b4: DUP6
000015b5: MUL
000015b6: SWAP4
000015b7: POP
000015b8: DUP4
000015b9: SWAP1
000015ba: GT
000015bb: ISZERO
000015bc: PUSH2 0x0b7a
000015bf: JUMPI
000015c0: POP
000015c1: POP
000015c2: PUSH1 0x40
000015c4: PUSH1 0x00
000015c6: DUP2
000015c7: DUP2
000015c8: KECCAK256
000015c9: PUSH1 0x06
000015cb: DUP2
000015cc: ADD
000015cd: DUP1
000015ce: SLOAD
000015cf: DUP6
000015d0: SWAP1
000015d1: SUB
000015d2: SWAP1
000015d3: SSTORE
000015d4: PUSH1 0x01
000015d6: PUSH1 0xa0
000015d8: PUSH1 0x02
000015da: EXP
000015db: SUB
000015dc: DUP8
000015dd: AND
000015de: DUP3
000015df: MSTORE
000015e0: SWAP1
000015e1: DUP3
000015e2: SWAP1
000015e3: KECCAK256
000015e4: PUSH1 0x01
000015e6: DUP2
000015e7: ADD
000015e8: DUP1
000015e9: SLOAD
000015ea: DUP8
000015eb: ADD
000015ec: SWAP1
000015ed: SSTORE
000015ee: PUSH1 0x03
000015f0: DUP2
000015f1: ADD
000015f2: DUP1
000015f3: SLOAD
000015f4: PUSH1 0x01
000015f6: PUSH1 0xa0
000015f8: PUSH1 0x02
000015fa: EXP
000015fb: SUB
000015fc: NOT
000015fd: AND
000015fe: CALLER
000015ff: OR
00001600: SWAP1
00001601: SSTORE
00001602: PUSH1 0x0b
00001604: SWAP2
00001605: SWAP1
00001606: SWAP2
00001607: ADD
00001608: SLOAD
00001609: PUSH3 0x015180
0000160d: DUP6
0000160e: MUL
0000160f: TIMESTAMP
00001610: ADD
00001611: PUSH1 0x02
00001613: DUP4
00001614: ADD
00001615: DUP2
00001616: SWAP1
00001617: SSTORE
00001618: PUSH1 0x04
0000161a: SWAP3
0000161b: SWAP1
0000161c: SWAP3
0000161d: ADD
0000161e: DUP5
0000161f: SWAP1
00001620: SSTORE
00001621: PUSH1 0x17
00001623: DUP1
00001624: SLOAD
00001625: DUP8
00001626: ADD
00001627: SWAP1
00001628: SSTORE
00001629: PUSH1 0x18
0000162b: DUP1
0000162c: SLOAD
0000162d: DUP6
0000162e: ADD
0000162f: SWAP1
00001630: SSTORE
00001631: PUSH1 0x19
00001633: DUP1
00001634: SLOAD
00001635: DUP6
00001636: SWAP1
00001637: SUB
00001638: SWAP1
00001639: SSTORE
0000163a: DUP3
0000163b: MLOAD
0000163c: DUP3
0000163d: DUP2
0000163e: MSTORE
0000163f: PUSH1 0x20
00001641: DUP2
00001642: ADD
00001643: DUP6
00001644: SWAP1
00001645: MSTORE
00001646: DUP1
00001647: DUP5
00001648: ADD
00001649: DUP3
0000164a: SWAP1
0000164b: MSTORE
0000164c: SWAP3
0000164d: MLOAD
0000164e: SWAP2
0000164f: SWAP3
00001650: SWAP1
00001651: SWAP2
00001652: PUSH32 0x311801b059292ece059aa073ed0b29e256b2f1865b1054cd11d8854b787af7a5
00001673: SWAP2
00001674: DUP2
00001675: SWAP1
00001676: SUB
00001677: PUSH1 0x60
00001679: ADD
0000167a: SWAP1
0000167b: LOG1
0000167c: POP
0000167d: POP
0000167e: POP
0000167f: POP
00001680: POP
00001681: POP
00001682: JUMP
00001683: JUMPDEST
00001684: CALLER
00001685: PUSH1 0x01
00001687: PUSH1 0xa0
00001689: PUSH1 0x02
0000168b: EXP
0000168c: SUB
0000168d: AND
0000168e: PUSH1 0x00
00001690: SWAP1
00001691: DUP2
00001692: MSTORE
00001693: PUSH1 0x1b
00001695: PUSH1 0x20
00001697: MSTORE
00001698: PUSH1 0x40
0000169a: SWAP1
0000169b: KECCAK256
0000169c: PUSH1 0x03
0000169e: ADD
0000169f: DUP1
000016a0: SLOAD
000016a1: PUSH1 0x01
000016a3: PUSH1 0xa0
000016a5: PUSH1 0x02
000016a7: EXP
000016a8: SUB
000016a9: NOT
000016aa: AND
000016ab: DUP3
000016ac: OR
000016ad: SWAP1
000016ae: SSTORE
000016af: POP
000016b0: JUMP
000016b1: JUMPDEST
000016b2: PUSH2 0x16bb
000016b5: DUP4
000016b6: DUP4
000016b7: PUSH2 0x0ab6
000016ba: JUMP
000016bb: JUMPDEST
000016bc: POP
000016bd: PUSH1 0x01
000016bf: PUSH1 0xa0
000016c1: PUSH1 0x02
000016c3: EXP
000016c4: SUB
000016c5: DUP3
000016c6: AND
000016c7: PUSH1 0x00
000016c9: SWAP1
000016ca: DUP2
000016cb: MSTORE
000016cc: PUSH1 0x1b
000016ce: PUSH1 0x20
000016d0: SWAP1
000016d1: DUP2
000016d2: MSTORE
000016d3: PUSH1 0x40
000016d5: SWAP2
000016d6: DUP3
000016d7: SWAP1
000016d8: KECCAK256
000016d9: PUSH1 0x09
000016db: DUP2
000016dc: ADD
000016dd: DUP1
000016de: SLOAD
000016df: DUP6
000016e0: SWAP1
000016e1: SUB
000016e2: SWAP1
000016e3: SSTORE
000016e4: PUSH1 0x10
000016e6: DUP1
000016e7: SLOAD
000016e8: DUP6
000016e9: SWAP1
000016ea: SUB
000016eb: SWAP1
000016ec: SSTORE
000016ed: PUSH1 0x14
000016ef: DUP1
000016f0: SLOAD
000016f1: DUP6
000016f2: ADD
000016f3: SWAP1
000016f4: SSTORE
000016f5: PUSH1 0x0b
000016f7: ADD
000016f8: SLOAD
000016f9: DUP3
000016fa: MLOAD
000016fb: DUP2
000016fc: DUP2
000016fd: MSTORE
000016fe: SWAP2
000016ff: DUP3
00001700: ADD
00001701: DUP5
00001702: SWAP1
00001703: MSTORE
00001704: TIMESTAMP
00001705: DUP3
00001706: DUP5
00001707: ADD
00001708: MSTORE
00001709: SWAP2
0000170a: MLOAD
0000170b: PUSH32 0x1fc55d23d1a7e1e27d7d5f95fd7553f98e7199cfbe27052a4568c0015fb1243e
0000172c: SWAP2
0000172d: DUP2
0000172e: SWAP1
0000172f: SUB
00001730: PUSH1 0x60
00001732: ADD
00001733: SWAP1
00001734: LOG1
00001735: POP
00001736: POP
00001737: POP
00001738: JUMP
00001739: JUMPDEST
0000173a: CALLER
0000173b: PUSH1 0x01
0000173d: PUSH1 0xa0
0000173f: PUSH1 0x02
00001741: EXP
00001742: SUB
00001743: AND
00001744: PUSH1 0x00
00001746: SWAP1
00001747: DUP2
00001748: MSTORE
00001749: PUSH1 0x1b
0000174b: PUSH1 0x20
0000174d: MSTORE
0000174e: PUSH1 0x40
00001750: SWAP1
00001751: KECCAK256
00001752: PUSH1 0x0a
00001754: ADD
00001755: DUP1
00001756: SLOAD
00001757: DUP3
00001758: SWAP1
00001759: SUB
0000175a: SWAP1
0000175b: SSTORE
0000175c: PUSH1 0x0f
0000175e: DUP1
0000175f: SLOAD
00001760: DUP3
00001761: SWAP1
00001762: SUB
00001763: SWAP1
00001764: SSTORE
00001765: PUSH1 0x13
00001767: DUP1
00001768: SLOAD
00001769: DUP3
0000176a: ADD
0000176b: SWAP1
0000176c: SSTORE
0000176d: POP
0000176e: JUMP
0000176f: JUMPDEST
00001770: PUSH1 0x11
00001772: DUP1
00001773: SLOAD
00001774: DUP3
00001775: ADD
00001776: SWAP1
00001777: SSTORE
00001778: POP
00001779: JUMP
0000177a: JUMPDEST
0000177b: PUSH1 0x11
0000177d: SLOAD
0000177e: DUP2
0000177f: GT
00001780: ISZERO
00001781: PUSH2 0x1789
00001784: JUMPI
00001785: PUSH2 0x0b7f
00001788: JUMP
00001789: JUMPDEST
0000178a: PUSH2 0x1793
0000178d: DUP3
0000178e: DUP3
0000178f: PUSH2 0x0ab6
00001792: JUMP
00001793: JUMPDEST
00001794: PUSH1 0x11
00001796: DUP1
00001797: SLOAD
00001798: DUP3
00001799: SWAP1
0000179a: SUB
0000179b: SWAP1
0000179c: SSTORE
0000179d: PUSH1 0x15
0000179f: DUP1
000017a0: SLOAD
000017a1: DUP3
000017a2: ADD
000017a3: SWAP1
000017a4: SSTORE
000017a5: POP
000017a6: POP
000017a7: JUMP
View stderr
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xfebfc0112b1368423cffac31f43028489769c9c98cd3ddefbe9308a02f5dd593
call_targets: 0x7e24971665e9a3562c61fc5e7ef34ddc42b318bd
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xfebfc0112b1368423cffac31f43028489769c9c98cd3ddefbe9308a02f5dd593",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7e24971665e9a3562c61fc5e7ef34ddc42b318bd"
    ],
    "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": "0x127714c7",
            "selector": "0x127714c7",
            "calldata_variants": [
                "0x127714c7",
                "0x127714c70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x166d19b9",
            "selector": "0x166d19b9",
            "calldata_variants": [
                "0x166d19b9",
                "0x166d19b90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1b9f9647",
            "selector": "0x1b9f9647",
            "calldata_variants": [
                "0x1b9f9647",
                "0x1b9f96470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1bad1d2e",
            "selector": "0x1bad1d2e",
            "calldata_variants": [
                "0x1bad1d2e",
                "0x1bad1d2e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1cfd82d5",
            "selector": "0x1cfd82d5",
            "calldata_variants": [
                "0x1cfd82d5",
                "0x1cfd82d50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4be85ed5",
            "selector": "0x4be85ed5",
            "calldata_variants": [
                "0x4be85ed5",
                "0x4be85ed50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4f20f35a",
            "selector": "0x4f20f35a",
            "calldata_variants": [
                "0x4f20f35a",
                "0x4f20f35a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x573bc606",
            "selector": "0x573bc606",
            "calldata_variants": [
                "0x573bc606",
                "0x573bc6060000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3365,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3454,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3543,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 3
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xfebfc0112b1368423cffac31f43028489769c9c98cd3ddefbe9308a02f5dd593
call_targets: 0x7e24971665e9a3562c61fc5e7ef34ddc42b318bd
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xfebfc0112b1368423cffac31f43028489769c9c98cd3ddefbe9308a02f5dd593",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7e24971665e9a3562c61fc5e7ef34ddc42b318bd"
    ],
    "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": "0x127714c7",
            "selector": "0x127714c7",
            "calldata_variants": [
                "0x127714c7",
                "0x127714c70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x166d19b9",
            "selector": "0x166d19b9",
            "calldata_variants": [
                "0x166d19b9",
                "0x166d19b90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1b9f9647",
            "selector": "0x1b9f9647",
            "calldata_variants": [
                "0x1b9f9647",
                "0x1b9f96470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1bad1d2e",
            "selector": "0x1bad1d2e",
            "calldata_variants": [
                "0x1bad1d2e",
                "0x1bad1d2e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1cfd82d5",
            "selector": "0x1cfd82d5",
            "calldata_variants": [
                "0x1cfd82d5",
                "0x1cfd82d50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4be85ed5",
            "selector": "0x4be85ed5",
            "calldata_variants": [
                "0x4be85ed5",
                "0x4be85ed50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4f20f35a",
            "selector": "0x4f20f35a",
            "calldata_variants": [
                "0x4f20f35a",
                "0x4f20f35a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x573bc606",
            "selector": "0x573bc606",
            "calldata_variants": [
                "0x573bc606",
                "0x573bc6060000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3365,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3454,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3543,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}