Analysis Run

019b477e-b4e2-711d-91ff-e617af351528
complete
Chain ID
1
Address
0x2747fe8dc21d5efcc0787101dc986df028bd42b9
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
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
22827	artifact.fetch	complete	1 / 3	3 months ago
22828	tool.cast_disasm	complete	1 / 3	3 months ago
107501	analysis.bundle	complete	1 / 3	1 week ago
107502	capability.graph	complete	1 / 3	1 week ago
107503	detector.run	complete	1 / 3	1 week ago
107504	validation.fork	complete	1 / 3	1 week 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
0
CALL-family (heavy)
5
EXT*/BALANCE
4
Total opcodes
5876
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01ab
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH3 0x65318b
0000003b: EQ
0000003c: PUSH2 0x01db
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x06fdde03
00000046: EQ
00000047: PUSH2 0x0232
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x0f34dc16
00000051: EQ
00000052: PUSH2 0x02c2
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x10d0ffdd
0000005c: EQ
0000005d: PUSH2 0x031d
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x18160ddd
00000067: EQ
00000068: PUSH2 0x035e
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x22609373
00000072: EQ
00000073: PUSH2 0x0389
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x27defa1f
0000007d: EQ
0000007e: PUSH2 0x03ca
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x2d7b30e3
00000088: EQ
00000089: PUSH2 0x03f9
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x313ce567
00000093: EQ
00000094: PUSH2 0x0424
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x3ccfd60b
0000009e: EQ
0000009f: PUSH2 0x0455
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x4000aea0
000000a9: EQ
000000aa: PUSH2 0x046c
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x4b750334
000000b4: EQ
000000b5: PUSH2 0x04e9
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x54f4824d
000000bf: EQ
000000c0: PUSH2 0x0514
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x56d399e8
000000ca: EQ
000000cb: PUSH2 0x0597
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x66042e7a
000000d5: EQ
000000d6: PUSH2 0x05c2
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x688abbf7
000000e0: EQ
000000e1: PUSH2 0x05ed
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x6b2f4632
000000eb: EQ
000000ec: PUSH2 0x0630
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x70a08231
000000f6: EQ
000000f7: PUSH2 0x065b
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x8328b610
00000101: EQ
00000102: PUSH2 0x06b2
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x8620410b
0000010c: EQ
0000010d: PUSH2 0x06df
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x8974372d
00000117: EQ
00000118: PUSH2 0x070a
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0x949e8acd
00000122: EQ
00000123: PUSH2 0x0721
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0x95d89b41
0000012d: EQ
0000012e: PUSH2 0x074c
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xa8e04f34
00000138: EQ
00000139: PUSH2 0x07dc
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0xa9059cbb
00000143: EQ
00000144: PUSH2 0x07f3
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xb84c8246
0000014e: EQ
0000014f: PUSH2 0x0858
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xc47f0027
00000159: EQ
0000015a: PUSH2 0x08c1
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xd3fb447c
00000164: EQ
00000165: PUSH2 0x092a
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xddda52ad
0000016f: EQ
00000170: PUSH2 0x096d
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0xdf8089ef
0000017a: EQ
0000017b: PUSH2 0x09c4
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0xe4849b32
00000185: EQ
00000186: PUSH2 0x0a07
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0xe9fad8ee
00000190: EQ
00000191: PUSH2 0x0a34
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0xf088d547
0000019b: EQ
0000019c: PUSH2 0x0a4b
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0xfdb5a03e
000001a6: EQ
000001a7: PUSH2 0x0a95
000001aa: JUMPI
000001ab: JUMPDEST
000001ac: PUSH1 0x00
000001ae: PUSH5 0x0ba43b7400
000001b4: GASPRICE
000001b5: GT
000001b6: ISZERO
000001b7: ISZERO
000001b8: ISZERO
000001b9: PUSH2 0x01c1
000001bc: JUMPI
000001bd: PUSH1 0x00
000001bf: DUP1
000001c0: REVERT
000001c1: JUMPDEST
000001c2: PUSH2 0x01cb
000001c5: PUSH1 0x00
000001c7: PUSH2 0x0aac
000001ca: JUMP
000001cb: JUMPDEST
000001cc: SWAP1
000001cd: POP
000001ce: PUSH2 0x01d7
000001d1: CALLVALUE
000001d2: DUP3
000001d3: PUSH2 0x0c55
000001d6: JUMP
000001d7: JUMPDEST
000001d8: POP
000001d9: POP
000001da: STOP
000001db: JUMPDEST
000001dc: CALLVALUE
000001dd: DUP1
000001de: ISZERO
000001df: PUSH2 0x01e7
000001e2: JUMPI
000001e3: PUSH1 0x00
000001e5: DUP1
000001e6: REVERT
000001e7: JUMPDEST
000001e8: POP
000001e9: PUSH2 0x021c
000001ec: PUSH1 0x04
000001ee: DUP1
000001ef: CALLDATASIZE
000001f0: SUB
000001f1: DUP2
000001f2: ADD
000001f3: SWAP1
000001f4: DUP1
000001f5: DUP1
000001f6: CALLDATALOAD
000001f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000020c: AND
0000020d: SWAP1
0000020e: PUSH1 0x20
00000210: ADD
00000211: SWAP1
00000212: SWAP3
00000213: SWAP2
00000214: SWAP1
00000215: POP
00000216: POP
00000217: POP
00000218: PUSH2 0x0d14
0000021b: JUMP
0000021c: JUMPDEST
0000021d: PUSH1 0x40
0000021f: MLOAD
00000220: DUP1
00000221: DUP3
00000222: DUP2
00000223: MSTORE
00000224: PUSH1 0x20
00000226: ADD
00000227: SWAP2
00000228: POP
00000229: POP
0000022a: PUSH1 0x40
0000022c: MLOAD
0000022d: DUP1
0000022e: SWAP2
0000022f: SUB
00000230: SWAP1
00000231: RETURN
00000232: JUMPDEST
00000233: CALLVALUE
00000234: DUP1
00000235: ISZERO
00000236: PUSH2 0x023e
00000239: JUMPI
0000023a: PUSH1 0x00
0000023c: DUP1
0000023d: REVERT
0000023e: JUMPDEST
0000023f: POP
00000240: PUSH2 0x0247
00000243: PUSH2 0x0db6
00000246: JUMP
00000247: JUMPDEST
00000248: PUSH1 0x40
0000024a: MLOAD
0000024b: DUP1
0000024c: DUP1
0000024d: PUSH1 0x20
0000024f: ADD
00000250: DUP3
00000251: DUP2
00000252: SUB
00000253: DUP3
00000254: MSTORE
00000255: DUP4
00000256: DUP2
00000257: DUP2
00000258: MLOAD
00000259: DUP2
0000025a: MSTORE
0000025b: PUSH1 0x20
0000025d: ADD
0000025e: SWAP2
0000025f: POP
00000260: DUP1
00000261: MLOAD
00000262: SWAP1
00000263: PUSH1 0x20
00000265: ADD
00000266: SWAP1
00000267: DUP1
00000268: DUP4
00000269: DUP4
0000026a: PUSH1 0x00
0000026c: JUMPDEST
0000026d: DUP4
0000026e: DUP2
0000026f: LT
00000270: ISZERO
00000271: PUSH2 0x0287
00000274: JUMPI
00000275: DUP1
00000276: DUP3
00000277: ADD
00000278: MLOAD
00000279: DUP2
0000027a: DUP5
0000027b: ADD
0000027c: MSTORE
0000027d: PUSH1 0x20
0000027f: DUP2
00000280: ADD
00000281: SWAP1
00000282: POP
00000283: PUSH2 0x026c
00000286: JUMP
00000287: JUMPDEST
00000288: POP
00000289: POP
0000028a: POP
0000028b: POP
0000028c: SWAP1
0000028d: POP
0000028e: SWAP1
0000028f: DUP2
00000290: ADD
00000291: SWAP1
00000292: PUSH1 0x1f
00000294: AND
00000295: DUP1
00000296: ISZERO
00000297: PUSH2 0x02b4
0000029a: JUMPI
0000029b: DUP1
0000029c: DUP3
0000029d: SUB
0000029e: DUP1
0000029f: MLOAD
000002a0: PUSH1 0x01
000002a2: DUP4
000002a3: PUSH1 0x20
000002a5: SUB
000002a6: PUSH2 0x0100
000002a9: EXP
000002aa: SUB
000002ab: NOT
000002ac: AND
000002ad: DUP2
000002ae: MSTORE
000002af: PUSH1 0x20
000002b1: ADD
000002b2: SWAP2
000002b3: POP
000002b4: JUMPDEST
000002b5: POP
000002b6: SWAP3
000002b7: POP
000002b8: POP
000002b9: POP
000002ba: PUSH1 0x40
000002bc: MLOAD
000002bd: DUP1
000002be: SWAP2
000002bf: SUB
000002c0: SWAP1
000002c1: RETURN
000002c2: JUMPDEST
000002c3: CALLVALUE
000002c4: DUP1
000002c5: ISZERO
000002c6: PUSH2 0x02ce
000002c9: JUMPI
000002ca: PUSH1 0x00
000002cc: DUP1
000002cd: REVERT
000002ce: JUMPDEST
000002cf: POP
000002d0: PUSH2 0x0303
000002d3: PUSH1 0x04
000002d5: DUP1
000002d6: CALLDATASIZE
000002d7: SUB
000002d8: DUP2
000002d9: ADD
000002da: SWAP1
000002db: DUP1
000002dc: DUP1
000002dd: CALLDATALOAD
000002de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002f3: AND
000002f4: SWAP1
000002f5: PUSH1 0x20
000002f7: ADD
000002f8: SWAP1
000002f9: SWAP3
000002fa: SWAP2
000002fb: SWAP1
000002fc: POP
000002fd: POP
000002fe: POP
000002ff: PUSH2 0x0e54
00000302: JUMP
00000303: JUMPDEST
00000304: PUSH1 0x40
00000306: MLOAD
00000307: DUP1
00000308: DUP3
00000309: ISZERO
0000030a: ISZERO
0000030b: ISZERO
0000030c: ISZERO
0000030d: DUP2
0000030e: MSTORE
0000030f: PUSH1 0x20
00000311: ADD
00000312: SWAP2
00000313: POP
00000314: POP
00000315: PUSH1 0x40
00000317: MLOAD
00000318: DUP1
00000319: SWAP2
0000031a: SUB
0000031b: SWAP1
0000031c: RETURN
0000031d: JUMPDEST
0000031e: CALLVALUE
0000031f: DUP1
00000320: ISZERO
00000321: PUSH2 0x0329
00000324: JUMPI
00000325: PUSH1 0x00
00000327: DUP1
00000328: REVERT
00000329: JUMPDEST
0000032a: POP
0000032b: PUSH2 0x0348
0000032e: PUSH1 0x04
00000330: DUP1
00000331: CALLDATASIZE
00000332: SUB
00000333: DUP2
00000334: ADD
00000335: SWAP1
00000336: DUP1
00000337: DUP1
00000338: CALLDATALOAD
00000339: SWAP1
0000033a: PUSH1 0x20
0000033c: ADD
0000033d: SWAP1
0000033e: SWAP3
0000033f: SWAP2
00000340: SWAP1
00000341: POP
00000342: POP
00000343: POP
00000344: PUSH2 0x0e74
00000347: JUMP
00000348: JUMPDEST
00000349: PUSH1 0x40
0000034b: MLOAD
0000034c: DUP1
0000034d: DUP3
0000034e: DUP2
0000034f: MSTORE
00000350: PUSH1 0x20
00000352: ADD
00000353: SWAP2
00000354: POP
00000355: POP
00000356: PUSH1 0x40
00000358: MLOAD
00000359: DUP1
0000035a: SWAP2
0000035b: SUB
0000035c: SWAP1
0000035d: RETURN
0000035e: JUMPDEST
0000035f: CALLVALUE
00000360: DUP1
00000361: ISZERO
00000362: PUSH2 0x036a
00000365: JUMPI
00000366: PUSH1 0x00
00000368: DUP1
00000369: REVERT
0000036a: JUMPDEST
0000036b: POP
0000036c: PUSH2 0x0373
0000036f: PUSH2 0x0eed
00000372: JUMP
00000373: JUMPDEST
00000374: PUSH1 0x40
00000376: MLOAD
00000377: DUP1
00000378: DUP3
00000379: DUP2
0000037a: MSTORE
0000037b: PUSH1 0x20
0000037d: ADD
0000037e: SWAP2
0000037f: POP
00000380: POP
00000381: PUSH1 0x40
00000383: MLOAD
00000384: DUP1
00000385: SWAP2
00000386: SUB
00000387: SWAP1
00000388: RETURN
00000389: JUMPDEST
0000038a: CALLVALUE
0000038b: DUP1
0000038c: ISZERO
0000038d: PUSH2 0x0395
00000390: JUMPI
00000391: PUSH1 0x00
00000393: DUP1
00000394: REVERT
00000395: JUMPDEST
00000396: POP
00000397: PUSH2 0x03b4
0000039a: PUSH1 0x04
0000039c: DUP1
0000039d: CALLDATASIZE
0000039e: SUB
0000039f: DUP2
000003a0: ADD
000003a1: SWAP1
000003a2: DUP1
000003a3: DUP1
000003a4: CALLDATALOAD
000003a5: SWAP1
000003a6: PUSH1 0x20
000003a8: ADD
000003a9: SWAP1
000003aa: SWAP3
000003ab: SWAP2
000003ac: SWAP1
000003ad: POP
000003ae: POP
000003af: POP
000003b0: PUSH2 0x0ef7
000003b3: JUMP
000003b4: JUMPDEST
000003b5: PUSH1 0x40
000003b7: MLOAD
000003b8: DUP1
000003b9: DUP3
000003ba: DUP2
000003bb: MSTORE
000003bc: PUSH1 0x20
000003be: ADD
000003bf: SWAP2
000003c0: POP
000003c1: POP
000003c2: PUSH1 0x40
000003c4: MLOAD
000003c5: DUP1
000003c6: SWAP2
000003c7: SUB
000003c8: SWAP1
000003c9: RETURN
000003ca: JUMPDEST
000003cb: CALLVALUE
000003cc: DUP1
000003cd: ISZERO
000003ce: PUSH2 0x03d6
000003d1: JUMPI
000003d2: PUSH1 0x00
000003d4: DUP1
000003d5: REVERT
000003d6: JUMPDEST
000003d7: POP
000003d8: PUSH2 0x03df
000003db: PUSH2 0x0f70
000003de: JUMP
000003df: JUMPDEST
000003e0: PUSH1 0x40
000003e2: MLOAD
000003e3: DUP1
000003e4: DUP3
000003e5: ISZERO
000003e6: ISZERO
000003e7: ISZERO
000003e8: ISZERO
000003e9: DUP2
000003ea: MSTORE
000003eb: PUSH1 0x20
000003ed: ADD
000003ee: SWAP2
000003ef: POP
000003f0: POP
000003f1: PUSH1 0x40
000003f3: MLOAD
000003f4: DUP1
000003f5: SWAP2
000003f6: SUB
000003f7: SWAP1
000003f8: RETURN
000003f9: JUMPDEST
000003fa: CALLVALUE
000003fb: DUP1
000003fc: ISZERO
000003fd: PUSH2 0x0405
00000400: JUMPI
00000401: PUSH1 0x00
00000403: DUP1
00000404: REVERT
00000405: JUMPDEST
00000406: POP
00000407: PUSH2 0x040e
0000040a: PUSH2 0x0f83
0000040d: JUMP
0000040e: JUMPDEST
0000040f: PUSH1 0x40
00000411: MLOAD
00000412: DUP1
00000413: DUP3
00000414: DUP2
00000415: MSTORE
00000416: PUSH1 0x20
00000418: ADD
00000419: SWAP2
0000041a: POP
0000041b: POP
0000041c: PUSH1 0x40
0000041e: MLOAD
0000041f: DUP1
00000420: SWAP2
00000421: SUB
00000422: SWAP1
00000423: RETURN
00000424: JUMPDEST
00000425: CALLVALUE
00000426: DUP1
00000427: ISZERO
00000428: PUSH2 0x0430
0000042b: JUMPI
0000042c: PUSH1 0x00
0000042e: DUP1
0000042f: REVERT
00000430: JUMPDEST
00000431: POP
00000432: PUSH2 0x0439
00000435: PUSH2 0x0f90
00000438: JUMP
00000439: JUMPDEST
0000043a: PUSH1 0x40
0000043c: MLOAD
0000043d: DUP1
0000043e: DUP3
0000043f: PUSH1 0xff
00000441: AND
00000442: PUSH1 0xff
00000444: AND
00000445: DUP2
00000446: MSTORE
00000447: PUSH1 0x20
00000449: ADD
0000044a: SWAP2
0000044b: POP
0000044c: POP
0000044d: PUSH1 0x40
0000044f: MLOAD
00000450: DUP1
00000451: SWAP2
00000452: SUB
00000453: SWAP1
00000454: RETURN
00000455: JUMPDEST
00000456: CALLVALUE
00000457: DUP1
00000458: ISZERO
00000459: PUSH2 0x0461
0000045c: JUMPI
0000045d: PUSH1 0x00
0000045f: DUP1
00000460: REVERT
00000461: JUMPDEST
00000462: POP
00000463: PUSH2 0x046a
00000466: PUSH2 0x0f95
00000469: JUMP
0000046a: JUMPDEST
0000046b: STOP
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 0x04cf
0000047d: PUSH1 0x04
0000047f: DUP1
00000480: CALLDATASIZE
00000481: SUB
00000482: DUP2
00000483: ADD
00000484: SWAP1
00000485: DUP1
00000486: DUP1
00000487: CALLDATALOAD
00000488: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000049d: AND
0000049e: SWAP1
0000049f: PUSH1 0x20
000004a1: ADD
000004a2: SWAP1
000004a3: SWAP3
000004a4: SWAP2
000004a5: SWAP1
000004a6: DUP1
000004a7: CALLDATALOAD
000004a8: SWAP1
000004a9: PUSH1 0x20
000004ab: ADD
000004ac: SWAP1
000004ad: SWAP3
000004ae: SWAP2
000004af: SWAP1
000004b0: DUP1
000004b1: CALLDATALOAD
000004b2: SWAP1
000004b3: PUSH1 0x20
000004b5: ADD
000004b6: SWAP1
000004b7: DUP3
000004b8: ADD
000004b9: DUP1
000004ba: CALLDATALOAD
000004bb: SWAP1
000004bc: PUSH1 0x20
000004be: ADD
000004bf: SWAP2
000004c0: SWAP1
000004c1: SWAP2
000004c2: SWAP3
000004c3: SWAP4
000004c4: SWAP2
000004c5: SWAP3
000004c6: SWAP4
000004c7: SWAP1
000004c8: POP
000004c9: POP
000004ca: POP
000004cb: PUSH2 0x1139
000004ce: JUMP
000004cf: JUMPDEST
000004d0: PUSH1 0x40
000004d2: MLOAD
000004d3: DUP1
000004d4: DUP3
000004d5: ISZERO
000004d6: ISZERO
000004d7: ISZERO
000004d8: ISZERO
000004d9: DUP2
000004da: MSTORE
000004db: PUSH1 0x20
000004dd: ADD
000004de: SWAP2
000004df: POP
000004e0: POP
000004e1: PUSH1 0x40
000004e3: MLOAD
000004e4: DUP1
000004e5: SWAP2
000004e6: SUB
000004e7: SWAP1
000004e8: RETURN
000004e9: JUMPDEST
000004ea: CALLVALUE
000004eb: DUP1
000004ec: ISZERO
000004ed: PUSH2 0x04f5
000004f0: JUMPI
000004f1: PUSH1 0x00
000004f3: DUP1
000004f4: REVERT
000004f5: JUMPDEST
000004f6: POP
000004f7: PUSH2 0x04fe
000004fa: PUSH2 0x1316
000004fd: JUMP
000004fe: JUMPDEST
000004ff: PUSH1 0x40
00000501: MLOAD
00000502: DUP1
00000503: DUP3
00000504: DUP2
00000505: MSTORE
00000506: PUSH1 0x20
00000508: ADD
00000509: SWAP2
0000050a: POP
0000050b: POP
0000050c: PUSH1 0x40
0000050e: MLOAD
0000050f: DUP1
00000510: SWAP2
00000511: SUB
00000512: SWAP1
00000513: RETURN
00000514: JUMPDEST
00000515: CALLVALUE
00000516: DUP1
00000517: ISZERO
00000518: PUSH2 0x0520
0000051b: JUMPI
0000051c: PUSH1 0x00
0000051e: DUP1
0000051f: REVERT
00000520: JUMPDEST
00000521: POP
00000522: PUSH2 0x0555
00000525: PUSH1 0x04
00000527: DUP1
00000528: CALLDATASIZE
00000529: SUB
0000052a: DUP2
0000052b: ADD
0000052c: SWAP1
0000052d: DUP1
0000052e: DUP1
0000052f: CALLDATALOAD
00000530: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000545: AND
00000546: SWAP1
00000547: PUSH1 0x20
00000549: ADD
0000054a: SWAP1
0000054b: SWAP3
0000054c: SWAP2
0000054d: SWAP1
0000054e: POP
0000054f: POP
00000550: POP
00000551: PUSH2 0x13a2
00000554: JUMP
00000555: JUMPDEST
00000556: PUSH1 0x40
00000558: MLOAD
00000559: DUP1
0000055a: DUP3
0000055b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000570: AND
00000571: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000586: AND
00000587: DUP2
00000588: MSTORE
00000589: PUSH1 0x20
0000058b: ADD
0000058c: SWAP2
0000058d: POP
0000058e: POP
0000058f: PUSH1 0x40
00000591: MLOAD
00000592: DUP1
00000593: SWAP2
00000594: SUB
00000595: SWAP1
00000596: RETURN
00000597: JUMPDEST
00000598: CALLVALUE
00000599: DUP1
0000059a: ISZERO
0000059b: PUSH2 0x05a3
0000059e: JUMPI
0000059f: PUSH1 0x00
000005a1: DUP1
000005a2: REVERT
000005a3: JUMPDEST
000005a4: POP
000005a5: PUSH2 0x05ac
000005a8: PUSH2 0x140b
000005ab: JUMP
000005ac: JUMPDEST
000005ad: PUSH1 0x40
000005af: MLOAD
000005b0: DUP1
000005b1: DUP3
000005b2: DUP2
000005b3: MSTORE
000005b4: PUSH1 0x20
000005b6: ADD
000005b7: SWAP2
000005b8: POP
000005b9: POP
000005ba: PUSH1 0x40
000005bc: MLOAD
000005bd: DUP1
000005be: SWAP2
000005bf: SUB
000005c0: SWAP1
000005c1: RETURN
000005c2: JUMPDEST
000005c3: CALLVALUE
000005c4: DUP1
000005c5: ISZERO
000005c6: PUSH2 0x05ce
000005c9: JUMPI
000005ca: PUSH1 0x00
000005cc: DUP1
000005cd: REVERT
000005ce: JUMPDEST
000005cf: POP
000005d0: PUSH2 0x05d7
000005d3: PUSH2 0x1411
000005d6: JUMP
000005d7: JUMPDEST
000005d8: PUSH1 0x40
000005da: MLOAD
000005db: DUP1
000005dc: DUP3
000005dd: DUP2
000005de: MSTORE
000005df: PUSH1 0x20
000005e1: ADD
000005e2: SWAP2
000005e3: POP
000005e4: POP
000005e5: PUSH1 0x40
000005e7: MLOAD
000005e8: DUP1
000005e9: SWAP2
000005ea: SUB
000005eb: SWAP1
000005ec: RETURN
000005ed: JUMPDEST
000005ee: CALLVALUE
000005ef: DUP1
000005f0: ISZERO
000005f1: PUSH2 0x05f9
000005f4: JUMPI
000005f5: PUSH1 0x00
000005f7: DUP1
000005f8: REVERT
000005f9: JUMPDEST
000005fa: POP
000005fb: PUSH2 0x061a
000005fe: PUSH1 0x04
00000600: DUP1
00000601: CALLDATASIZE
00000602: SUB
00000603: DUP2
00000604: ADD
00000605: SWAP1
00000606: DUP1
00000607: DUP1
00000608: CALLDATALOAD
00000609: ISZERO
0000060a: ISZERO
0000060b: SWAP1
0000060c: PUSH1 0x20
0000060e: ADD
0000060f: SWAP1
00000610: SWAP3
00000611: SWAP2
00000612: SWAP1
00000613: POP
00000614: POP
00000615: POP
00000616: PUSH2 0x1426
00000619: JUMP
0000061a: JUMPDEST
0000061b: PUSH1 0x40
0000061d: MLOAD
0000061e: DUP1
0000061f: DUP3
00000620: DUP2
00000621: MSTORE
00000622: PUSH1 0x20
00000624: ADD
00000625: SWAP2
00000626: POP
00000627: POP
00000628: PUSH1 0x40
0000062a: MLOAD
0000062b: DUP1
0000062c: SWAP2
0000062d: SUB
0000062e: SWAP1
0000062f: RETURN
00000630: JUMPDEST
00000631: CALLVALUE
00000632: DUP1
00000633: ISZERO
00000634: PUSH2 0x063c
00000637: JUMPI
00000638: PUSH1 0x00
0000063a: DUP1
0000063b: REVERT
0000063c: JUMPDEST
0000063d: POP
0000063e: PUSH2 0x0645
00000641: PUSH2 0x1492
00000644: JUMP
00000645: JUMPDEST
00000646: PUSH1 0x40
00000648: MLOAD
00000649: DUP1
0000064a: DUP3
0000064b: DUP2
0000064c: MSTORE
0000064d: PUSH1 0x20
0000064f: ADD
00000650: SWAP2
00000651: POP
00000652: POP
00000653: PUSH1 0x40
00000655: MLOAD
00000656: DUP1
00000657: SWAP2
00000658: SUB
00000659: SWAP1
0000065a: RETURN
0000065b: JUMPDEST
0000065c: CALLVALUE
0000065d: DUP1
0000065e: ISZERO
0000065f: PUSH2 0x0667
00000662: JUMPI
00000663: PUSH1 0x00
00000665: DUP1
00000666: REVERT
00000667: JUMPDEST
00000668: POP
00000669: PUSH2 0x069c
0000066c: PUSH1 0x04
0000066e: DUP1
0000066f: CALLDATASIZE
00000670: SUB
00000671: DUP2
00000672: ADD
00000673: SWAP1
00000674: DUP1
00000675: DUP1
00000676: CALLDATALOAD
00000677: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000068c: AND
0000068d: SWAP1
0000068e: PUSH1 0x20
00000690: ADD
00000691: SWAP1
00000692: SWAP3
00000693: SWAP2
00000694: SWAP1
00000695: POP
00000696: POP
00000697: POP
00000698: PUSH2 0x14b1
0000069b: JUMP
0000069c: JUMPDEST
0000069d: PUSH1 0x40
0000069f: MLOAD
000006a0: DUP1
000006a1: DUP3
000006a2: DUP2
000006a3: MSTORE
000006a4: PUSH1 0x20
000006a6: ADD
000006a7: SWAP2
000006a8: POP
000006a9: POP
000006aa: PUSH1 0x40
000006ac: MLOAD
000006ad: DUP1
000006ae: SWAP2
000006af: SUB
000006b0: SWAP1
000006b1: RETURN
000006b2: JUMPDEST
000006b3: CALLVALUE
000006b4: DUP1
000006b5: ISZERO
000006b6: PUSH2 0x06be
000006b9: JUMPI
000006ba: PUSH1 0x00
000006bc: DUP1
000006bd: REVERT
000006be: JUMPDEST
000006bf: POP
000006c0: PUSH2 0x06dd
000006c3: PUSH1 0x04
000006c5: DUP1
000006c6: CALLDATASIZE
000006c7: SUB
000006c8: DUP2
000006c9: ADD
000006ca: SWAP1
000006cb: DUP1
000006cc: DUP1
000006cd: CALLDATALOAD
000006ce: SWAP1
000006cf: PUSH1 0x20
000006d1: ADD
000006d2: SWAP1
000006d3: SWAP3
000006d4: SWAP2
000006d5: SWAP1
000006d6: POP
000006d7: POP
000006d8: POP
000006d9: PUSH2 0x14fa
000006dc: JUMP
000006dd: JUMPDEST
000006de: STOP
000006df: JUMPDEST
000006e0: CALLVALUE
000006e1: DUP1
000006e2: ISZERO
000006e3: PUSH2 0x06eb
000006e6: JUMPI
000006e7: PUSH1 0x00
000006e9: DUP1
000006ea: REVERT
000006eb: JUMPDEST
000006ec: POP
000006ed: PUSH2 0x06f4
000006f0: PUSH2 0x1566
000006f3: JUMP
000006f4: JUMPDEST
000006f5: PUSH1 0x40
000006f7: MLOAD
000006f8: DUP1
000006f9: DUP3
000006fa: DUP2
000006fb: MSTORE
000006fc: PUSH1 0x20
000006fe: ADD
000006ff: SWAP2
00000700: POP
00000701: POP
00000702: PUSH1 0x40
00000704: MLOAD
00000705: DUP1
00000706: SWAP2
00000707: SUB
00000708: SWAP1
00000709: RETURN
0000070a: JUMPDEST
0000070b: CALLVALUE
0000070c: DUP1
0000070d: ISZERO
0000070e: PUSH2 0x0716
00000711: JUMPI
00000712: PUSH1 0x00
00000714: DUP1
00000715: REVERT
00000716: JUMPDEST
00000717: POP
00000718: PUSH2 0x071f
0000071b: PUSH2 0x15bb
0000071e: JUMP
0000071f: JUMPDEST
00000720: STOP
00000721: JUMPDEST
00000722: CALLVALUE
00000723: DUP1
00000724: ISZERO
00000725: PUSH2 0x072d
00000728: JUMPI
00000729: PUSH1 0x00
0000072b: DUP1
0000072c: REVERT
0000072d: JUMPDEST
0000072e: POP
0000072f: PUSH2 0x0736
00000732: PUSH2 0x165e
00000735: JUMP
00000736: JUMPDEST
00000737: PUSH1 0x40
00000739: MLOAD
0000073a: DUP1
0000073b: DUP3
0000073c: DUP2
0000073d: MSTORE
0000073e: PUSH1 0x20
00000740: ADD
00000741: SWAP2
00000742: POP
00000743: POP
00000744: PUSH1 0x40
00000746: MLOAD
00000747: DUP1
00000748: SWAP2
00000749: SUB
0000074a: SWAP1
0000074b: RETURN
0000074c: JUMPDEST
0000074d: CALLVALUE
0000074e: DUP1
0000074f: ISZERO
00000750: PUSH2 0x0758
00000753: JUMPI
00000754: PUSH1 0x00
00000756: DUP1
00000757: REVERT
00000758: JUMPDEST
00000759: POP
0000075a: PUSH2 0x0761
0000075d: PUSH2 0x1673
00000760: JUMP
00000761: JUMPDEST
00000762: PUSH1 0x40
00000764: MLOAD
00000765: DUP1
00000766: DUP1
00000767: PUSH1 0x20
00000769: ADD
0000076a: DUP3
0000076b: DUP2
0000076c: SUB
0000076d: DUP3
0000076e: MSTORE
0000076f: DUP4
00000770: DUP2
00000771: DUP2
00000772: MLOAD
00000773: DUP2
00000774: MSTORE
00000775: PUSH1 0x20
00000777: ADD
00000778: SWAP2
00000779: POP
0000077a: DUP1
0000077b: MLOAD
0000077c: SWAP1
0000077d: PUSH1 0x20
0000077f: ADD
00000780: SWAP1
00000781: DUP1
00000782: DUP4
00000783: DUP4
00000784: PUSH1 0x00
00000786: JUMPDEST
00000787: DUP4
00000788: DUP2
00000789: LT
0000078a: ISZERO
0000078b: PUSH2 0x07a1
0000078e: JUMPI
0000078f: DUP1
00000790: DUP3
00000791: ADD
00000792: MLOAD
00000793: DUP2
00000794: DUP5
00000795: ADD
00000796: MSTORE
00000797: PUSH1 0x20
00000799: DUP2
0000079a: ADD
0000079b: SWAP1
0000079c: POP
0000079d: PUSH2 0x0786
000007a0: JUMP
000007a1: JUMPDEST
000007a2: POP
000007a3: POP
000007a4: POP
000007a5: POP
000007a6: SWAP1
000007a7: POP
000007a8: SWAP1
000007a9: DUP2
000007aa: ADD
000007ab: SWAP1
000007ac: PUSH1 0x1f
000007ae: AND
000007af: DUP1
000007b0: ISZERO
000007b1: PUSH2 0x07ce
000007b4: JUMPI
000007b5: DUP1
000007b6: DUP3
000007b7: SUB
000007b8: DUP1
000007b9: MLOAD
000007ba: PUSH1 0x01
000007bc: DUP4
000007bd: PUSH1 0x20
000007bf: SUB
000007c0: PUSH2 0x0100
000007c3: EXP
000007c4: SUB
000007c5: NOT
000007c6: AND
000007c7: DUP2
000007c8: MSTORE
000007c9: PUSH1 0x20
000007cb: ADD
000007cc: SWAP2
000007cd: POP
000007ce: JUMPDEST
000007cf: POP
000007d0: SWAP3
000007d1: POP
000007d2: POP
000007d3: POP
000007d4: PUSH1 0x40
000007d6: MLOAD
000007d7: DUP1
000007d8: SWAP2
000007d9: SUB
000007da: SWAP1
000007db: RETURN
000007dc: JUMPDEST
000007dd: CALLVALUE
000007de: DUP1
000007df: ISZERO
000007e0: PUSH2 0x07e8
000007e3: JUMPI
000007e4: PUSH1 0x00
000007e6: DUP1
000007e7: REVERT
000007e8: JUMPDEST
000007e9: POP
000007ea: PUSH2 0x07f1
000007ed: PUSH2 0x1711
000007f0: JUMP
000007f1: JUMPDEST
000007f2: STOP
000007f3: JUMPDEST
000007f4: CALLVALUE
000007f5: DUP1
000007f6: ISZERO
000007f7: PUSH2 0x07ff
000007fa: JUMPI
000007fb: PUSH1 0x00
000007fd: DUP1
000007fe: REVERT
000007ff: JUMPDEST
00000800: POP
00000801: PUSH2 0x083e
00000804: PUSH1 0x04
00000806: DUP1
00000807: CALLDATASIZE
00000808: SUB
00000809: DUP2
0000080a: ADD
0000080b: SWAP1
0000080c: DUP1
0000080d: DUP1
0000080e: CALLDATALOAD
0000080f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000824: AND
00000825: SWAP1
00000826: PUSH1 0x20
00000828: ADD
00000829: SWAP1
0000082a: SWAP3
0000082b: SWAP2
0000082c: SWAP1
0000082d: DUP1
0000082e: CALLDATALOAD
0000082f: SWAP1
00000830: PUSH1 0x20
00000832: ADD
00000833: SWAP1
00000834: SWAP3
00000835: SWAP2
00000836: SWAP1
00000837: POP
00000838: POP
00000839: POP
0000083a: PUSH2 0x1790
0000083d: JUMP
0000083e: JUMPDEST
0000083f: PUSH1 0x40
00000841: MLOAD
00000842: DUP1
00000843: DUP3
00000844: ISZERO
00000845: ISZERO
00000846: ISZERO
00000847: ISZERO
00000848: DUP2
00000849: MSTORE
0000084a: PUSH1 0x20
0000084c: ADD
0000084d: SWAP2
0000084e: POP
0000084f: POP
00000850: PUSH1 0x40
00000852: MLOAD
00000853: DUP1
00000854: SWAP2
00000855: SUB
00000856: SWAP1
00000857: RETURN
00000858: JUMPDEST
00000859: CALLVALUE
0000085a: DUP1
0000085b: ISZERO
0000085c: PUSH2 0x0864
0000085f: JUMPI
00000860: PUSH1 0x00
00000862: DUP1
00000863: REVERT
00000864: JUMPDEST
00000865: POP
00000866: PUSH2 0x08bf
00000869: PUSH1 0x04
0000086b: DUP1
0000086c: CALLDATASIZE
0000086d: SUB
0000086e: DUP2
0000086f: ADD
00000870: SWAP1
00000871: DUP1
00000872: DUP1
00000873: CALLDATALOAD
00000874: SWAP1
00000875: PUSH1 0x20
00000877: ADD
00000878: SWAP1
00000879: DUP3
0000087a: ADD
0000087b: DUP1
0000087c: CALLDATALOAD
0000087d: SWAP1
0000087e: PUSH1 0x20
00000880: ADD
00000881: SWAP1
00000882: DUP1
00000883: DUP1
00000884: PUSH1 0x1f
00000886: ADD
00000887: PUSH1 0x20
00000889: DUP1
0000088a: SWAP2
0000088b: DIV
0000088c: MUL
0000088d: PUSH1 0x20
0000088f: ADD
00000890: PUSH1 0x40
00000892: MLOAD
00000893: SWAP1
00000894: DUP2
00000895: ADD
00000896: PUSH1 0x40
00000898: MSTORE
00000899: DUP1
0000089a: SWAP4
0000089b: SWAP3
0000089c: SWAP2
0000089d: SWAP1
0000089e: DUP2
0000089f: DUP2
000008a0: MSTORE
000008a1: PUSH1 0x20
000008a3: ADD
000008a4: DUP4
000008a5: DUP4
000008a6: DUP1
000008a7: DUP3
000008a8: DUP5
000008a9: CALLDATACOPY
000008aa: DUP3
000008ab: ADD
000008ac: SWAP2
000008ad: POP
000008ae: POP
000008af: POP
000008b0: POP
000008b1: POP
000008b2: POP
000008b3: SWAP2
000008b4: SWAP3
000008b5: SWAP2
000008b6: SWAP3
000008b7: SWAP1
000008b8: POP
000008b9: POP
000008ba: POP
000008bb: PUSH2 0x1bec
000008be: JUMP
000008bf: JUMPDEST
000008c0: STOP
000008c1: JUMPDEST
000008c2: CALLVALUE
000008c3: DUP1
000008c4: ISZERO
000008c5: PUSH2 0x08cd
000008c8: JUMPI
000008c9: PUSH1 0x00
000008cb: DUP1
000008cc: REVERT
000008cd: JUMPDEST
000008ce: POP
000008cf: PUSH2 0x0928
000008d2: PUSH1 0x04
000008d4: DUP1
000008d5: CALLDATASIZE
000008d6: SUB
000008d7: DUP2
000008d8: ADD
000008d9: SWAP1
000008da: DUP1
000008db: DUP1
000008dc: CALLDATALOAD
000008dd: SWAP1
000008de: PUSH1 0x20
000008e0: ADD
000008e1: SWAP1
000008e2: DUP3
000008e3: ADD
000008e4: DUP1
000008e5: CALLDATALOAD
000008e6: SWAP1
000008e7: PUSH1 0x20
000008e9: ADD
000008ea: SWAP1
000008eb: DUP1
000008ec: DUP1
000008ed: PUSH1 0x1f
000008ef: ADD
000008f0: PUSH1 0x20
000008f2: DUP1
000008f3: SWAP2
000008f4: DIV
000008f5: MUL
000008f6: PUSH1 0x20
000008f8: ADD
000008f9: PUSH1 0x40
000008fb: MLOAD
000008fc: SWAP1
000008fd: DUP2
000008fe: ADD
000008ff: PUSH1 0x40
00000901: MSTORE
00000902: DUP1
00000903: SWAP4
00000904: SWAP3
00000905: SWAP2
00000906: SWAP1
00000907: DUP2
00000908: DUP2
00000909: MSTORE
0000090a: PUSH1 0x20
0000090c: ADD
0000090d: DUP4
0000090e: DUP4
0000090f: DUP1
00000910: DUP3
00000911: DUP5
00000912: CALLDATACOPY
00000913: DUP3
00000914: ADD
00000915: SWAP2
00000916: POP
00000917: POP
00000918: POP
00000919: POP
0000091a: POP
0000091b: POP
0000091c: SWAP2
0000091d: SWAP3
0000091e: SWAP2
0000091f: SWAP3
00000920: SWAP1
00000921: POP
00000922: POP
00000923: POP
00000924: PUSH2 0x1c68
00000927: JUMP
00000928: JUMPDEST
00000929: STOP
0000092a: JUMPDEST
0000092b: CALLVALUE
0000092c: DUP1
0000092d: ISZERO
0000092e: PUSH2 0x0936
00000931: JUMPI
00000932: PUSH1 0x00
00000934: DUP1
00000935: REVERT
00000936: JUMPDEST
00000937: POP
00000938: PUSH2 0x096b
0000093b: PUSH1 0x04
0000093d: DUP1
0000093e: CALLDATASIZE
0000093f: SUB
00000940: DUP2
00000941: ADD
00000942: SWAP1
00000943: DUP1
00000944: DUP1
00000945: CALLDATALOAD
00000946: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000095b: AND
0000095c: SWAP1
0000095d: PUSH1 0x20
0000095f: ADD
00000960: SWAP1
00000961: SWAP3
00000962: SWAP2
00000963: SWAP1
00000964: POP
00000965: POP
00000966: POP
00000967: PUSH2 0x1ce4
0000096a: JUMP
0000096b: JUMPDEST
0000096c: STOP
0000096d: JUMPDEST
0000096e: CALLVALUE
0000096f: DUP1
00000970: ISZERO
00000971: PUSH2 0x0979
00000974: JUMPI
00000975: PUSH1 0x00
00000977: DUP1
00000978: REVERT
00000979: JUMPDEST
0000097a: POP
0000097b: PUSH2 0x0982
0000097e: PUSH2 0x1da1
00000981: JUMP
00000982: JUMPDEST
00000983: PUSH1 0x40
00000985: MLOAD
00000986: DUP1
00000987: DUP3
00000988: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000099d: AND
0000099e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b3: AND
000009b4: DUP2
000009b5: MSTORE
000009b6: PUSH1 0x20
000009b8: ADD
000009b9: SWAP2
000009ba: POP
000009bb: POP
000009bc: PUSH1 0x40
000009be: MLOAD
000009bf: DUP1
000009c0: SWAP2
000009c1: SUB
000009c2: SWAP1
000009c3: RETURN
000009c4: JUMPDEST
000009c5: CALLVALUE
000009c6: DUP1
000009c7: ISZERO
000009c8: PUSH2 0x09d0
000009cb: JUMPI
000009cc: PUSH1 0x00
000009ce: DUP1
000009cf: REVERT
000009d0: JUMPDEST
000009d1: POP
000009d2: PUSH2 0x0a05
000009d5: PUSH1 0x04
000009d7: DUP1
000009d8: CALLDATASIZE
000009d9: SUB
000009da: DUP2
000009db: ADD
000009dc: SWAP1
000009dd: DUP1
000009de: DUP1
000009df: CALLDATALOAD
000009e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f5: AND
000009f6: SWAP1
000009f7: PUSH1 0x20
000009f9: ADD
000009fa: SWAP1
000009fb: SWAP3
000009fc: SWAP2
000009fd: SWAP1
000009fe: POP
000009ff: POP
00000a00: POP
00000a01: PUSH2 0x1dc7
00000a04: JUMP
00000a05: JUMPDEST
00000a06: STOP
00000a07: JUMPDEST
00000a08: CALLVALUE
00000a09: DUP1
00000a0a: ISZERO
00000a0b: PUSH2 0x0a13
00000a0e: JUMPI
00000a0f: PUSH1 0x00
00000a11: DUP1
00000a12: REVERT
00000a13: JUMPDEST
00000a14: POP
00000a15: PUSH2 0x0a32
00000a18: PUSH1 0x04
00000a1a: DUP1
00000a1b: CALLDATASIZE
00000a1c: SUB
00000a1d: DUP2
00000a1e: ADD
00000a1f: SWAP1
00000a20: DUP1
00000a21: DUP1
00000a22: CALLDATALOAD
00000a23: SWAP1
00000a24: PUSH1 0x20
00000a26: ADD
00000a27: SWAP1
00000a28: SWAP3
00000a29: SWAP2
00000a2a: SWAP1
00000a2b: POP
00000a2c: POP
00000a2d: POP
00000a2e: PUSH2 0x1e6d
00000a31: JUMP
00000a32: JUMPDEST
00000a33: STOP
00000a34: JUMPDEST
00000a35: CALLVALUE
00000a36: DUP1
00000a37: ISZERO
00000a38: PUSH2 0x0a40
00000a3b: JUMPI
00000a3c: PUSH1 0x00
00000a3e: DUP1
00000a3f: REVERT
00000a40: JUMPDEST
00000a41: POP
00000a42: PUSH2 0x0a49
00000a45: PUSH2 0x214e
00000a48: JUMP
00000a49: JUMPDEST
00000a4a: STOP
00000a4b: JUMPDEST
00000a4c: PUSH2 0x0a7f
00000a4f: PUSH1 0x04
00000a51: DUP1
00000a52: CALLDATASIZE
00000a53: SUB
00000a54: DUP2
00000a55: ADD
00000a56: SWAP1
00000a57: DUP1
00000a58: DUP1
00000a59: CALLDATALOAD
00000a5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a6f: AND
00000a70: SWAP1
00000a71: PUSH1 0x20
00000a73: ADD
00000a74: SWAP1
00000a75: SWAP3
00000a76: SWAP2
00000a77: SWAP1
00000a78: POP
00000a79: POP
00000a7a: POP
00000a7b: PUSH2 0x21b5
00000a7e: JUMP
00000a7f: JUMPDEST
00000a80: PUSH1 0x40
00000a82: MLOAD
00000a83: DUP1
00000a84: DUP3
00000a85: DUP2
00000a86: MSTORE
00000a87: PUSH1 0x20
00000a89: ADD
00000a8a: SWAP2
00000a8b: POP
00000a8c: POP
00000a8d: PUSH1 0x40
00000a8f: MLOAD
00000a90: DUP1
00000a91: SWAP2
00000a92: SUB
00000a93: SWAP1
00000a94: RETURN
00000a95: JUMPDEST
00000a96: CALLVALUE
00000a97: DUP1
00000a98: ISZERO
00000a99: PUSH2 0x0aa1
00000a9c: JUMPI
00000a9d: PUSH1 0x00
00000a9f: DUP1
00000aa0: REVERT
00000aa1: JUMPDEST
00000aa2: POP
00000aa3: PUSH2 0x0aaa
00000aa6: PUSH2 0x21e8
00000aa9: JUMP
00000aaa: JUMPDEST
00000aab: STOP
00000aac: JUMPDEST
00000aad: PUSH1 0x00
00000aaf: DUP1
00000ab0: PUSH1 0x00
00000ab2: CALLER
00000ab3: SWAP2
00000ab4: POP
00000ab5: PUSH1 0x07
00000ab7: PUSH1 0x00
00000ab9: DUP4
00000aba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000acf: AND
00000ad0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae5: AND
00000ae6: DUP2
00000ae7: MSTORE
00000ae8: PUSH1 0x20
00000aea: ADD
00000aeb: SWAP1
00000aec: DUP2
00000aed: MSTORE
00000aee: PUSH1 0x20
00000af0: ADD
00000af1: PUSH1 0x00
00000af3: KECCAK256
00000af4: PUSH1 0x00
00000af6: SWAP1
00000af7: SLOAD
00000af8: SWAP1
00000af9: PUSH2 0x0100
00000afc: EXP
00000afd: SWAP1
00000afe: DIV
00000aff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b14: AND
00000b15: SWAP1
00000b16: POP
00000b17: DUP2
00000b18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b2d: AND
00000b2e: DUP5
00000b2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b44: AND
00000b45: EQ
00000b46: ISZERO
00000b47: PUSH2 0x0b52
00000b4a: JUMPI
00000b4b: DUP1
00000b4c: SWAP3
00000b4d: POP
00000b4e: PUSH2 0x0c4e
00000b51: JUMP
00000b52: JUMPDEST
00000b53: PUSH1 0x00
00000b55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b6a: AND
00000b6b: DUP5
00000b6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b81: AND
00000b82: EQ
00000b83: ISZERO
00000b84: PUSH2 0x0b8f
00000b87: JUMPI
00000b88: DUP1
00000b89: SWAP3
00000b8a: POP
00000b8b: PUSH2 0x0c4e
00000b8e: JUMP
00000b8f: JUMPDEST
00000b90: DUP1
00000b91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba6: AND
00000ba7: DUP5
00000ba8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bbd: AND
00000bbe: EQ
00000bbf: ISZERO
00000bc0: ISZERO
00000bc1: PUSH2 0x0c4a
00000bc4: JUMPI
00000bc5: DUP4
00000bc6: PUSH1 0x07
00000bc8: PUSH1 0x00
00000bca: DUP5
00000bcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be0: AND
00000be1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf6: AND
00000bf7: DUP2
00000bf8: MSTORE
00000bf9: PUSH1 0x20
00000bfb: ADD
00000bfc: SWAP1
00000bfd: DUP2
00000bfe: MSTORE
00000bff: PUSH1 0x20
00000c01: ADD
00000c02: PUSH1 0x00
00000c04: KECCAK256
00000c05: PUSH1 0x00
00000c07: PUSH2 0x0100
00000c0a: EXP
00000c0b: DUP2
00000c0c: SLOAD
00000c0d: DUP2
00000c0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c23: MUL
00000c24: NOT
00000c25: AND
00000c26: SWAP1
00000c27: DUP4
00000c28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c3d: AND
00000c3e: MUL
00000c3f: OR
00000c40: SWAP1
00000c41: SSTORE
00000c42: POP
00000c43: DUP4
00000c44: SWAP3
00000c45: POP
00000c46: PUSH2 0x0c4e
00000c49: JUMP
00000c4a: JUMPDEST
00000c4b: DUP1
00000c4c: SWAP3
00000c4d: POP
00000c4e: JUMPDEST
00000c4f: POP
00000c50: POP
00000c51: SWAP2
00000c52: SWAP1
00000c53: POP
00000c54: JUMP
00000c55: JUMPDEST
00000c56: PUSH1 0x00
00000c58: DUP1
00000c59: PUSH1 0x00
00000c5b: DUP1
00000c5c: CALLER
00000c5d: SWAP3
00000c5e: POP
00000c5f: DUP6
00000c60: SWAP2
00000c61: POP
00000c62: PUSH1 0x00
00000c64: SWAP1
00000c65: POP
00000c66: PUSH8 0x8ac7230489e80000
00000c6f: DUP3
00000c70: GT
00000c71: ISZERO
00000c72: PUSH2 0x0caf
00000c75: JUMPI
00000c76: PUSH9 0x056bc75e2d63100000
00000c80: PUSH2 0x0c90
00000c83: PUSH2 0x0c8a
00000c86: PUSH2 0x1492
00000c89: JUMP
00000c8a: JUMPDEST
00000c8b: DUP5
00000c8c: PUSH2 0x236a
00000c8f: JUMP
00000c90: JUMPDEST
00000c91: LT
00000c92: ISZERO
00000c93: PUSH2 0x0cae
00000c96: JUMPI
00000c97: PUSH8 0x8ac7230489e80000
00000ca0: SWAP2
00000ca1: POP
00000ca2: PUSH2 0x0cab
00000ca5: DUP7
00000ca6: DUP4
00000ca7: PUSH2 0x236a
00000caa: JUMP
00000cab: JUMPDEST
00000cac: SWAP1
00000cad: POP
00000cae: JUMPDEST
00000caf: JUMPDEST
00000cb0: PUSH2 0x0cb9
00000cb3: DUP3
00000cb4: DUP7
00000cb5: PUSH2 0x2383
00000cb8: JUMP
00000cb9: JUMPDEST
00000cba: POP
00000cbb: PUSH1 0x00
00000cbd: DUP2
00000cbe: GT
00000cbf: ISZERO
00000cc0: PUSH2 0x0d0b
00000cc3: JUMPI
00000cc4: DUP3
00000cc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cda: AND
00000cdb: PUSH2 0x08fc
00000cde: DUP3
00000cdf: SWAP1
00000ce0: DUP2
00000ce1: ISZERO
00000ce2: MUL
00000ce3: SWAP1
00000ce4: PUSH1 0x40
00000ce6: MLOAD
00000ce7: PUSH1 0x00
00000ce9: PUSH1 0x40
00000ceb: MLOAD
00000cec: DUP1
00000ced: DUP4
00000cee: SUB
00000cef: DUP2
00000cf0: DUP6
00000cf1: DUP9
00000cf2: DUP9
00000cf3: CALL
00000cf4: SWAP4
00000cf5: POP
00000cf6: POP
00000cf7: POP
00000cf8: POP
00000cf9: ISZERO
00000cfa: DUP1
00000cfb: ISZERO
00000cfc: PUSH2 0x0d09
00000cff: JUMPI
00000d00: RETURNDATASIZE
00000d01: PUSH1 0x00
00000d03: DUP1
00000d04: RETURNDATACOPY
00000d05: RETURNDATASIZE
00000d06: PUSH1 0x00
00000d08: REVERT
00000d09: JUMPDEST
00000d0a: POP
00000d0b: JUMPDEST
00000d0c: POP
00000d0d: POP
00000d0e: POP
00000d0f: SWAP3
00000d10: SWAP2
00000d11: POP
00000d12: POP
00000d13: JUMP
00000d14: JUMPDEST
00000d15: PUSH1 0x00
00000d17: PUSH9 0x010000000000000000
00000d21: PUSH1 0x06
00000d23: PUSH1 0x00
00000d25: DUP5
00000d26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d3b: AND
00000d3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d51: AND
00000d52: DUP2
00000d53: MSTORE
00000d54: PUSH1 0x20
00000d56: ADD
00000d57: SWAP1
00000d58: DUP2
00000d59: MSTORE
00000d5a: PUSH1 0x20
00000d5c: ADD
00000d5d: PUSH1 0x00
00000d5f: KECCAK256
00000d60: SLOAD
00000d61: PUSH1 0x04
00000d63: PUSH1 0x00
00000d65: DUP6
00000d66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d7b: AND
00000d7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d91: AND
00000d92: DUP2
00000d93: MSTORE
00000d94: PUSH1 0x20
00000d96: ADD
00000d97: SWAP1
00000d98: DUP2
00000d99: MSTORE
00000d9a: PUSH1 0x20
00000d9c: ADD
00000d9d: PUSH1 0x00
00000d9f: KECCAK256
00000da0: SLOAD
00000da1: PUSH1 0x0a
00000da3: SLOAD
00000da4: MUL
00000da5: SUB
00000da6: DUP2
00000da7: ISZERO
00000da8: ISZERO
00000da9: PUSH2 0x0dae
00000dac: JUMPI
00000dad: INVALID
00000dae: JUMPDEST
00000daf: DIV
00000db0: SWAP1
00000db1: POP
00000db2: SWAP2
00000db3: SWAP1
00000db4: POP
00000db5: JUMP
00000db6: JUMPDEST
00000db7: PUSH1 0x00
00000db9: DUP1
00000dba: SLOAD
00000dbb: PUSH1 0x01
00000dbd: DUP2
00000dbe: PUSH1 0x01
00000dc0: AND
00000dc1: ISZERO
00000dc2: PUSH2 0x0100
00000dc5: MUL
00000dc6: SUB
00000dc7: AND
00000dc8: PUSH1 0x02
00000dca: SWAP1
00000dcb: DIV
00000dcc: DUP1
00000dcd: PUSH1 0x1f
00000dcf: ADD
00000dd0: PUSH1 0x20
00000dd2: DUP1
00000dd3: SWAP2
00000dd4: DIV
00000dd5: MUL
00000dd6: PUSH1 0x20
00000dd8: ADD
00000dd9: PUSH1 0x40
00000ddb: MLOAD
00000ddc: SWAP1
00000ddd: DUP2
00000dde: ADD
00000ddf: PUSH1 0x40
00000de1: MSTORE
00000de2: DUP1
00000de3: SWAP3
00000de4: SWAP2
00000de5: SWAP1
00000de6: DUP2
00000de7: DUP2
00000de8: MSTORE
00000de9: PUSH1 0x20
00000deb: ADD
00000dec: DUP3
00000ded: DUP1
00000dee: SLOAD
00000def: PUSH1 0x01
00000df1: DUP2
00000df2: PUSH1 0x01
00000df4: AND
00000df5: ISZERO
00000df6: PUSH2 0x0100
00000df9: MUL
00000dfa: SUB
00000dfb: AND
00000dfc: PUSH1 0x02
00000dfe: SWAP1
00000dff: DIV
00000e00: DUP1
00000e01: ISZERO
00000e02: PUSH2 0x0e4c
00000e05: JUMPI
00000e06: DUP1
00000e07: PUSH1 0x1f
00000e09: LT
00000e0a: PUSH2 0x0e21
00000e0d: JUMPI
00000e0e: PUSH2 0x0100
00000e11: DUP1
00000e12: DUP4
00000e13: SLOAD
00000e14: DIV
00000e15: MUL
00000e16: DUP4
00000e17: MSTORE
00000e18: SWAP2
00000e19: PUSH1 0x20
00000e1b: ADD
00000e1c: SWAP2
00000e1d: PUSH2 0x0e4c
00000e20: JUMP
00000e21: JUMPDEST
00000e22: DUP3
00000e23: ADD
00000e24: SWAP2
00000e25: SWAP1
00000e26: PUSH1 0x00
00000e28: MSTORE
00000e29: PUSH1 0x20
00000e2b: PUSH1 0x00
00000e2d: KECCAK256
00000e2e: SWAP1
00000e2f: JUMPDEST
00000e30: DUP2
00000e31: SLOAD
00000e32: DUP2
00000e33: MSTORE
00000e34: SWAP1
00000e35: PUSH1 0x01
00000e37: ADD
00000e38: SWAP1
00000e39: PUSH1 0x20
00000e3b: ADD
00000e3c: DUP1
00000e3d: DUP4
00000e3e: GT
00000e3f: PUSH2 0x0e2f
00000e42: JUMPI
00000e43: DUP3
00000e44: SWAP1
00000e45: SUB
00000e46: PUSH1 0x1f
00000e48: AND
00000e49: DUP3
00000e4a: ADD
00000e4b: SWAP2
00000e4c: JUMPDEST
00000e4d: POP
00000e4e: POP
00000e4f: POP
00000e50: POP
00000e51: POP
00000e52: DUP2
00000e53: JUMP
00000e54: JUMPDEST
00000e55: PUSH1 0x11
00000e57: PUSH1 0x20
00000e59: MSTORE
00000e5a: DUP1
00000e5b: PUSH1 0x00
00000e5d: MSTORE
00000e5e: PUSH1 0x40
00000e60: PUSH1 0x00
00000e62: KECCAK256
00000e63: PUSH1 0x00
00000e65: SWAP2
00000e66: POP
00000e67: SLOAD
00000e68: SWAP1
00000e69: PUSH2 0x0100
00000e6c: EXP
00000e6d: SWAP1
00000e6e: DIV
00000e6f: PUSH1 0xff
00000e71: AND
00000e72: DUP2
00000e73: JUMP
00000e74: JUMPDEST
00000e75: PUSH1 0x00
00000e77: DUP1
00000e78: PUSH1 0x00
00000e7a: DUP1
00000e7b: PUSH1 0x00
00000e7d: PUSH2 0x0e94
00000e80: PUSH2 0x0e8d
00000e83: DUP8
00000e84: PUSH1 0x0a
00000e86: PUSH1 0xff
00000e88: AND
00000e89: PUSH2 0x294c
00000e8c: JUMP
00000e8d: JUMPDEST
00000e8e: PUSH1 0x64
00000e90: PUSH2 0x2987
00000e93: JUMP
00000e94: JUMPDEST
00000e95: SWAP4
00000e96: POP
00000e97: PUSH2 0x0eae
00000e9a: PUSH2 0x0ea7
00000e9d: DUP8
00000e9e: PUSH1 0x03
00000ea0: PUSH1 0xff
00000ea2: AND
00000ea3: PUSH2 0x294c
00000ea6: JUMP
00000ea7: JUMPDEST
00000ea8: PUSH1 0x64
00000eaa: PUSH2 0x2987
00000ead: JUMP
00000eae: JUMPDEST
00000eaf: SWAP3
00000eb0: POP
00000eb1: PUSH2 0x0ec3
00000eb4: PUSH2 0x0ebd
00000eb7: DUP8
00000eb8: DUP7
00000eb9: PUSH2 0x236a
00000ebc: JUMP
00000ebd: JUMPDEST
00000ebe: DUP5
00000ebf: PUSH2 0x236a
00000ec2: JUMP
00000ec3: JUMPDEST
00000ec4: SWAP2
00000ec5: POP
00000ec6: PUSH2 0x0ece
00000ec9: DUP3
00000eca: PUSH2 0x29a2
00000ecd: JUMP
00000ece: JUMPDEST
00000ecf: SWAP1
00000ed0: POP
00000ed1: PUSH2 0x0ee2
00000ed4: DUP2
00000ed5: PUSH8 0x0de0b6b3a7640000
00000ede: PUSH2 0x2987
00000ee1: JUMP
00000ee2: JUMPDEST
00000ee3: SWAP5
00000ee4: POP
00000ee5: POP
00000ee6: POP
00000ee7: POP
00000ee8: POP
00000ee9: SWAP2
00000eea: SWAP1
00000eeb: POP
00000eec: JUMP
00000eed: JUMPDEST
00000eee: PUSH1 0x00
00000ef0: PUSH1 0x09
00000ef2: SLOAD
00000ef3: SWAP1
00000ef4: POP
00000ef5: SWAP1
00000ef6: JUMP
00000ef7: JUMPDEST
00000ef8: PUSH1 0x00
00000efa: DUP1
00000efb: PUSH1 0x00
00000efd: DUP1
00000efe: PUSH1 0x00
00000f00: PUSH1 0x09
00000f02: SLOAD
00000f03: DUP7
00000f04: GT
00000f05: ISZERO
00000f06: ISZERO
00000f07: ISZERO
00000f08: PUSH2 0x0f10
00000f0b: JUMPI
00000f0c: PUSH1 0x00
00000f0e: DUP1
00000f0f: REVERT
00000f10: JUMPDEST
00000f11: PUSH2 0x0f19
00000f14: DUP7
00000f15: PUSH2 0x2ab0
00000f18: JUMP
00000f19: JUMPDEST
00000f1a: SWAP4
00000f1b: POP
00000f1c: PUSH2 0x0f33
00000f1f: PUSH2 0x0f2c
00000f22: DUP6
00000f23: PUSH1 0x0a
00000f25: PUSH1 0xff
00000f27: AND
00000f28: PUSH2 0x294c
00000f2b: JUMP
00000f2c: JUMPDEST
00000f2d: PUSH1 0x64
00000f2f: PUSH2 0x2987
00000f32: JUMP
00000f33: JUMPDEST
00000f34: SWAP3
00000f35: POP
00000f36: PUSH2 0x0f4d
00000f39: PUSH2 0x0f46
00000f3c: DUP6
00000f3d: PUSH1 0x03
00000f3f: PUSH1 0xff
00000f41: AND
00000f42: PUSH2 0x294c
00000f45: JUMP
00000f46: JUMPDEST
00000f47: PUSH1 0x64
00000f49: PUSH2 0x2987
00000f4c: JUMP
00000f4d: JUMPDEST
00000f4e: SWAP2
00000f4f: POP
00000f50: PUSH2 0x0f62
00000f53: PUSH2 0x0f5c
00000f56: DUP6
00000f57: DUP6
00000f58: PUSH2 0x236a
00000f5b: JUMP
00000f5c: JUMPDEST
00000f5d: DUP4
00000f5e: PUSH2 0x236a
00000f61: JUMP
00000f62: JUMPDEST
00000f63: SWAP1
00000f64: POP
00000f65: DUP1
00000f66: SWAP5
00000f67: POP
00000f68: POP
00000f69: POP
00000f6a: POP
00000f6b: POP
00000f6c: SWAP2
00000f6d: SWAP1
00000f6e: POP
00000f6f: JUMP
00000f70: JUMPDEST
00000f71: PUSH1 0x03
00000f73: PUSH1 0x00
00000f75: SWAP1
00000f76: SLOAD
00000f77: SWAP1
00000f78: PUSH2 0x0100
00000f7b: EXP
00000f7c: SWAP1
00000f7d: DIV
00000f7e: PUSH1 0xff
00000f80: AND
00000f81: DUP2
00000f82: JUMP
00000f83: JUMPDEST
00000f84: PUSH3 0x278d00
00000f88: PUSH4 0x5be88a40
00000f8d: ADD
00000f8e: DUP2
00000f8f: JUMP
00000f90: JUMPDEST
00000f91: PUSH1 0x12
00000f93: DUP2
00000f94: JUMP
00000f95: JUMPDEST
00000f96: PUSH1 0x00
00000f98: DUP1
00000f99: PUSH1 0x00
00000f9b: PUSH2 0x0fa4
00000f9e: PUSH1 0x01
00000fa0: PUSH2 0x1426
00000fa3: JUMP
00000fa4: JUMPDEST
00000fa5: GT
00000fa6: ISZERO
00000fa7: ISZERO
00000fa8: PUSH2 0x0fb0
00000fab: JUMPI
00000fac: PUSH1 0x00
00000fae: DUP1
00000faf: REVERT
00000fb0: JUMPDEST
00000fb1: CALLER
00000fb2: SWAP2
00000fb3: POP
00000fb4: PUSH2 0x0fbd
00000fb7: PUSH1 0x00
00000fb9: PUSH2 0x1426
00000fbc: JUMP
00000fbd: JUMPDEST
00000fbe: SWAP1
00000fbf: POP
00000fc0: PUSH9 0x010000000000000000
00000fca: DUP2
00000fcb: MUL
00000fcc: PUSH1 0x06
00000fce: PUSH1 0x00
00000fd0: DUP5
00000fd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fe6: AND
00000fe7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ffc: AND
00000ffd: DUP2
00000ffe: MSTORE
00000fff: PUSH1 0x20
00001001: ADD
00001002: SWAP1
00001003: DUP2
00001004: MSTORE
00001005: PUSH1 0x20
00001007: ADD
00001008: PUSH1 0x00
0000100a: KECCAK256
0000100b: PUSH1 0x00
0000100d: DUP3
0000100e: DUP3
0000100f: SLOAD
00001010: ADD
00001011: SWAP3
00001012: POP
00001013: POP
00001014: DUP2
00001015: SWAP1
00001016: SSTORE
00001017: POP
00001018: PUSH1 0x05
0000101a: PUSH1 0x00
0000101c: DUP4
0000101d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001032: AND
00001033: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001048: AND
00001049: DUP2
0000104a: MSTORE
0000104b: PUSH1 0x20
0000104d: ADD
0000104e: SWAP1
0000104f: DUP2
00001050: MSTORE
00001051: PUSH1 0x20
00001053: ADD
00001054: PUSH1 0x00
00001056: KECCAK256
00001057: SLOAD
00001058: DUP2
00001059: ADD
0000105a: SWAP1
0000105b: POP
0000105c: PUSH1 0x00
0000105e: PUSH1 0x05
00001060: PUSH1 0x00
00001062: DUP5
00001063: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001078: AND
00001079: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000108e: AND
0000108f: DUP2
00001090: MSTORE
00001091: PUSH1 0x20
00001093: ADD
00001094: SWAP1
00001095: DUP2
00001096: MSTORE
00001097: PUSH1 0x20
00001099: ADD
0000109a: PUSH1 0x00
0000109c: KECCAK256
0000109d: DUP2
0000109e: SWAP1
0000109f: SSTORE
000010a0: POP
000010a1: DUP2
000010a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b7: AND
000010b8: PUSH2 0x08fc
000010bb: DUP3
000010bc: SWAP1
000010bd: DUP2
000010be: ISZERO
000010bf: MUL
000010c0: SWAP1
000010c1: PUSH1 0x40
000010c3: MLOAD
000010c4: PUSH1 0x00
000010c6: PUSH1 0x40
000010c8: MLOAD
000010c9: DUP1
000010ca: DUP4
000010cb: SUB
000010cc: DUP2
000010cd: DUP6
000010ce: DUP9
000010cf: DUP9
000010d0: CALL
000010d1: SWAP4
000010d2: POP
000010d3: POP
000010d4: POP
000010d5: POP
000010d6: ISZERO
000010d7: DUP1
000010d8: ISZERO
000010d9: PUSH2 0x10e6
000010dc: JUMPI
000010dd: RETURNDATASIZE
000010de: PUSH1 0x00
000010e0: DUP1
000010e1: RETURNDATACOPY
000010e2: RETURNDATASIZE
000010e3: PUSH1 0x00
000010e5: REVERT
000010e6: JUMPDEST
000010e7: POP
000010e8: DUP2
000010e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010fe: AND
000010ff: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
00001120: DUP3
00001121: PUSH1 0x40
00001123: MLOAD
00001124: DUP1
00001125: DUP3
00001126: DUP2
00001127: MSTORE
00001128: PUSH1 0x20
0000112a: ADD
0000112b: SWAP2
0000112c: POP
0000112d: POP
0000112e: PUSH1 0x40
00001130: MLOAD
00001131: DUP1
00001132: SWAP2
00001133: SUB
00001134: SWAP1
00001135: LOG2
00001136: POP
00001137: POP
00001138: JUMP
00001139: JUMPDEST
0000113a: PUSH1 0x00
0000113c: DUP1
0000113d: PUSH1 0x00
0000113f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001154: AND
00001155: DUP7
00001156: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000116b: AND
0000116c: EQ
0000116d: ISZERO
0000116e: ISZERO
0000116f: ISZERO
00001170: PUSH2 0x1178
00001173: JUMPI
00001174: PUSH1 0x00
00001176: DUP1
00001177: REVERT
00001178: JUMPDEST
00001179: PUSH1 0x01
0000117b: ISZERO
0000117c: ISZERO
0000117d: PUSH1 0x11
0000117f: PUSH1 0x00
00001181: DUP9
00001182: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001197: AND
00001198: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ad: AND
000011ae: DUP2
000011af: MSTORE
000011b0: PUSH1 0x20
000011b2: ADD
000011b3: SWAP1
000011b4: DUP2
000011b5: MSTORE
000011b6: PUSH1 0x20
000011b8: ADD
000011b9: PUSH1 0x00
000011bb: KECCAK256
000011bc: PUSH1 0x00
000011be: SWAP1
000011bf: SLOAD
000011c0: SWAP1
000011c1: PUSH2 0x0100
000011c4: EXP
000011c5: SWAP1
000011c6: DIV
000011c7: PUSH1 0xff
000011c9: AND
000011ca: ISZERO
000011cb: ISZERO
000011cc: EQ
000011cd: ISZERO
000011ce: ISZERO
000011cf: PUSH2 0x11d7
000011d2: JUMPI
000011d3: PUSH1 0x00
000011d5: DUP1
000011d6: REVERT
000011d7: JUMPDEST
000011d8: PUSH2 0x11e1
000011db: DUP7
000011dc: DUP7
000011dd: PUSH2 0x1790
000011e0: JUMP
000011e1: JUMPDEST
000011e2: ISZERO
000011e3: ISZERO
000011e4: PUSH2 0x11ec
000011e7: JUMPI
000011e8: PUSH1 0x00
000011ea: DUP1
000011eb: REVERT
000011ec: JUMPDEST
000011ed: PUSH2 0x11f5
000011f0: DUP7
000011f1: PUSH2 0x2b3e
000011f4: JUMP
000011f5: JUMPDEST
000011f6: ISZERO
000011f7: PUSH2 0x1309
000011fa: JUMPI
000011fb: DUP6
000011fc: SWAP1
000011fd: POP
000011fe: DUP1
000011ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001214: AND
00001215: PUSH4 0xc0ee0b8a
0000121a: CALLER
0000121b: DUP8
0000121c: DUP8
0000121d: DUP8
0000121e: PUSH1 0x40
00001220: MLOAD
00001221: DUP6
00001222: PUSH4 0xffffffff
00001227: AND
00001228: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001246: MUL
00001247: DUP2
00001248: MSTORE
00001249: PUSH1 0x04
0000124b: ADD
0000124c: DUP1
0000124d: DUP6
0000124e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001263: AND
00001264: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001279: AND
0000127a: DUP2
0000127b: MSTORE
0000127c: PUSH1 0x20
0000127e: ADD
0000127f: DUP5
00001280: DUP2
00001281: MSTORE
00001282: PUSH1 0x20
00001284: ADD
00001285: DUP1
00001286: PUSH1 0x20
00001288: ADD
00001289: DUP3
0000128a: DUP2
0000128b: SUB
0000128c: DUP3
0000128d: MSTORE
0000128e: DUP5
0000128f: DUP5
00001290: DUP3
00001291: DUP2
00001292: DUP2
00001293: MSTORE
00001294: PUSH1 0x20
00001296: ADD
00001297: SWAP3
00001298: POP
00001299: DUP1
0000129a: DUP3
0000129b: DUP5
0000129c: CALLDATACOPY
0000129d: DUP3
0000129e: ADD
0000129f: SWAP2
000012a0: POP
000012a1: POP
000012a2: SWAP6
000012a3: POP
000012a4: POP
000012a5: POP
000012a6: POP
000012a7: POP
000012a8: POP
000012a9: PUSH1 0x20
000012ab: PUSH1 0x40
000012ad: MLOAD
000012ae: DUP1
000012af: DUP4
000012b0: SUB
000012b1: DUP2
000012b2: PUSH1 0x00
000012b4: DUP8
000012b5: DUP1
000012b6: EXTCODESIZE
000012b7: ISZERO
000012b8: DUP1
000012b9: ISZERO
000012ba: PUSH2 0x12c2
000012bd: JUMPI
000012be: PUSH1 0x00
000012c0: DUP1
000012c1: REVERT
000012c2: JUMPDEST
000012c3: POP
000012c4: GAS
000012c5: CALL
000012c6: ISZERO
000012c7: DUP1
000012c8: ISZERO
000012c9: PUSH2 0x12d6
000012cc: JUMPI
000012cd: RETURNDATASIZE
000012ce: PUSH1 0x00
000012d0: DUP1
000012d1: RETURNDATACOPY
000012d2: RETURNDATASIZE
000012d3: PUSH1 0x00
000012d5: REVERT
000012d6: JUMPDEST
000012d7: POP
000012d8: POP
000012d9: POP
000012da: POP
000012db: PUSH1 0x40
000012dd: MLOAD
000012de: RETURNDATASIZE
000012df: PUSH1 0x20
000012e1: DUP2
000012e2: LT
000012e3: ISZERO
000012e4: PUSH2 0x12ec
000012e7: JUMPI
000012e8: PUSH1 0x00
000012ea: DUP1
000012eb: REVERT
000012ec: JUMPDEST
000012ed: DUP2
000012ee: ADD
000012ef: SWAP1
000012f0: DUP1
000012f1: DUP1
000012f2: MLOAD
000012f3: SWAP1
000012f4: PUSH1 0x20
000012f6: ADD
000012f7: SWAP1
000012f8: SWAP3
000012f9: SWAP2
000012fa: SWAP1
000012fb: POP
000012fc: POP
000012fd: POP
000012fe: ISZERO
000012ff: ISZERO
00001300: PUSH2 0x1308
00001303: JUMPI
00001304: PUSH1 0x00
00001306: DUP1
00001307: REVERT
00001308: JUMPDEST
00001309: JUMPDEST
0000130a: PUSH1 0x01
0000130c: SWAP2
0000130d: POP
0000130e: POP
0000130f: SWAP5
00001310: SWAP4
00001311: POP
00001312: POP
00001313: POP
00001314: POP
00001315: JUMP
00001316: JUMPDEST
00001317: PUSH1 0x00
00001319: DUP1
0000131a: PUSH1 0x00
0000131c: DUP1
0000131d: PUSH1 0x00
0000131f: DUP1
00001320: PUSH1 0x09
00001322: SLOAD
00001323: EQ
00001324: ISZERO
00001325: PUSH2 0x133b
00001328: JUMPI
00001329: PUSH5 0x02540be400
0000132f: PUSH4 0x3b9aca00
00001334: SUB
00001335: SWAP5
00001336: POP
00001337: PUSH2 0x139b
0000133a: JUMP
0000133b: JUMPDEST
0000133c: PUSH2 0x134c
0000133f: PUSH8 0x0de0b6b3a7640000
00001348: PUSH2 0x2ab0
0000134b: JUMP
0000134c: JUMPDEST
0000134d: SWAP4
0000134e: POP
0000134f: PUSH2 0x1366
00001352: PUSH2 0x135f
00001355: DUP6
00001356: PUSH1 0x0a
00001358: PUSH1 0xff
0000135a: AND
0000135b: PUSH2 0x294c
0000135e: JUMP
0000135f: JUMPDEST
00001360: PUSH1 0x64
00001362: PUSH2 0x2987
00001365: JUMP
00001366: JUMPDEST
00001367: SWAP3
00001368: POP
00001369: PUSH2 0x1380
0000136c: PUSH2 0x1379
0000136f: DUP6
00001370: PUSH1 0x03
00001372: PUSH1 0xff
00001374: AND
00001375: PUSH2 0x294c
00001378: JUMP
00001379: JUMPDEST
0000137a: PUSH1 0x64
0000137c: PUSH2 0x2987
0000137f: JUMP
00001380: JUMPDEST
00001381: SWAP2
00001382: POP
00001383: PUSH2 0x1395
00001386: DUP5
00001387: PUSH2 0x1390
0000138a: DUP6
0000138b: DUP6
0000138c: PUSH2 0x2b51
0000138f: JUMP
00001390: JUMPDEST
00001391: PUSH2 0x236a
00001394: JUMP
00001395: JUMPDEST
00001396: SWAP1
00001397: POP
00001398: DUP1
00001399: SWAP5
0000139a: POP
0000139b: JUMPDEST
0000139c: POP
0000139d: POP
0000139e: POP
0000139f: POP
000013a0: SWAP1
000013a1: JUMP
000013a2: JUMPDEST
000013a3: PUSH1 0x00
000013a5: PUSH1 0x07
000013a7: PUSH1 0x00
000013a9: DUP4
000013aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013bf: AND
000013c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d5: AND
000013d6: DUP2
000013d7: MSTORE
000013d8: PUSH1 0x20
000013da: ADD
000013db: SWAP1
000013dc: DUP2
000013dd: MSTORE
000013de: PUSH1 0x20
000013e0: ADD
000013e1: PUSH1 0x00
000013e3: KECCAK256
000013e4: PUSH1 0x00
000013e6: SWAP1
000013e7: SLOAD
000013e8: SWAP1
000013e9: PUSH2 0x0100
000013ec: EXP
000013ed: SWAP1
000013ee: DIV
000013ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001404: AND
00001405: SWAP1
00001406: POP
00001407: SWAP2
00001408: SWAP1
00001409: POP
0000140a: JUMP
0000140b: JUMPDEST
0000140c: PUSH1 0x02
0000140e: SLOAD
0000140f: DUP2
00001410: JUMP
00001411: JUMPDEST
00001412: PUSH1 0x00
00001414: PUSH2 0x1421
00001417: PUSH1 0x0f
00001419: SLOAD
0000141a: PUSH1 0x0e
0000141c: SLOAD
0000141d: PUSH2 0x236a
00001420: JUMP
00001421: JUMPDEST
00001422: SWAP1
00001423: POP
00001424: SWAP1
00001425: JUMP
00001426: JUMPDEST
00001427: PUSH1 0x00
00001429: DUP1
0000142a: CALLER
0000142b: SWAP1
0000142c: POP
0000142d: DUP3
0000142e: PUSH2 0x143f
00001431: JUMPI
00001432: PUSH2 0x143a
00001435: DUP2
00001436: PUSH2 0x0d14
00001439: JUMP
0000143a: JUMPDEST
0000143b: PUSH2 0x148a
0000143e: JUMP
0000143f: JUMPDEST
00001440: PUSH1 0x05
00001442: PUSH1 0x00
00001444: DUP3
00001445: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145a: AND
0000145b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001470: AND
00001471: DUP2
00001472: MSTORE
00001473: PUSH1 0x20
00001475: ADD
00001476: SWAP1
00001477: DUP2
00001478: MSTORE
00001479: PUSH1 0x20
0000147b: ADD
0000147c: PUSH1 0x00
0000147e: KECCAK256
0000147f: SLOAD
00001480: PUSH2 0x1488
00001483: DUP3
00001484: PUSH2 0x0d14
00001487: JUMP
00001488: JUMPDEST
00001489: ADD
0000148a: JUMPDEST
0000148b: SWAP2
0000148c: POP
0000148d: POP
0000148e: SWAP2
0000148f: SWAP1
00001490: POP
00001491: JUMP
00001492: JUMPDEST
00001493: PUSH1 0x00
00001495: ADDRESS
00001496: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ab: AND
000014ac: BALANCE
000014ad: SWAP1
000014ae: POP
000014af: SWAP1
000014b0: JUMP
000014b1: JUMPDEST
000014b2: PUSH1 0x00
000014b4: PUSH1 0x04
000014b6: PUSH1 0x00
000014b8: DUP4
000014b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ce: AND
000014cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e4: AND
000014e5: DUP2
000014e6: MSTORE
000014e7: PUSH1 0x20
000014e9: ADD
000014ea: SWAP1
000014eb: DUP2
000014ec: MSTORE
000014ed: PUSH1 0x20
000014ef: ADD
000014f0: PUSH1 0x00
000014f2: KECCAK256
000014f3: SLOAD
000014f4: SWAP1
000014f5: POP
000014f6: SWAP2
000014f7: SWAP1
000014f8: POP
000014f9: JUMP
000014fa: JUMPDEST
000014fb: PUSH1 0x00
000014fd: CALLER
000014fe: SWAP1
000014ff: POP
00001500: DUP1
00001501: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001516: AND
00001517: PUSH1 0x0b
00001519: PUSH1 0x00
0000151b: SWAP1
0000151c: SLOAD
0000151d: SWAP1
0000151e: PUSH2 0x0100
00001521: EXP
00001522: SWAP1
00001523: DIV
00001524: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001539: AND
0000153a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000154f: AND
00001550: EQ
00001551: ISZERO
00001552: ISZERO
00001553: PUSH2 0x155b
00001556: JUMPI
00001557: PUSH1 0x00
00001559: DUP1
0000155a: REVERT
0000155b: JUMPDEST
0000155c: DUP2
0000155d: PUSH1 0x02
0000155f: DUP2
00001560: SWAP1
00001561: SSTORE
00001562: POP
00001563: POP
00001564: POP
00001565: JUMP
00001566: JUMPDEST
00001567: PUSH1 0x00
00001569: DUP1
0000156a: PUSH1 0x00
0000156c: DUP1
0000156d: PUSH1 0x09
0000156f: SLOAD
00001570: EQ
00001571: ISZERO
00001572: PUSH2 0x1588
00001575: JUMPI
00001576: PUSH5 0x02540be400
0000157c: PUSH4 0x3b9aca00
00001581: ADD
00001582: SWAP3
00001583: POP
00001584: PUSH2 0x15b6
00001587: JUMP
00001588: JUMPDEST
00001589: PUSH2 0x1599
0000158c: PUSH8 0x0de0b6b3a7640000
00001595: PUSH2 0x2ab0
00001598: JUMP
00001599: JUMPDEST
0000159a: SWAP2
0000159b: POP
0000159c: PUSH2 0x15b0
0000159f: PUSH2 0x15a9
000015a2: DUP4
000015a3: PUSH1 0x64
000015a5: PUSH2 0x294c
000015a8: JUMP
000015a9: JUMPDEST
000015aa: PUSH1 0x50
000015ac: PUSH2 0x2987
000015af: JUMP
000015b0: JUMPDEST
000015b1: SWAP1
000015b2: POP
000015b3: DUP1
000015b4: SWAP3
000015b5: POP
000015b6: JUMPDEST
000015b7: POP
000015b8: POP
000015b9: SWAP1
000015ba: JUMP
000015bb: JUMPDEST
000015bc: PUSH1 0x00
000015be: PUSH2 0x15cb
000015c1: PUSH1 0x0f
000015c3: SLOAD
000015c4: PUSH1 0x0e
000015c6: SLOAD
000015c7: PUSH2 0x236a
000015ca: JUMP
000015cb: JUMPDEST
000015cc: SWAP1
000015cd: POP
000015ce: PUSH1 0x00
000015d0: DUP2
000015d1: GT
000015d2: ISZERO
000015d3: ISZERO
000015d4: PUSH2 0x15dc
000015d7: JUMPI
000015d8: PUSH1 0x00
000015da: DUP1
000015db: REVERT
000015dc: JUMPDEST
000015dd: PUSH2 0x15e8
000015e0: PUSH1 0x0e
000015e2: SLOAD
000015e3: DUP3
000015e4: PUSH2 0x2b51
000015e7: JUMP
000015e8: JUMPDEST
000015e9: PUSH1 0x0e
000015eb: DUP2
000015ec: SWAP1
000015ed: SSTORE
000015ee: POP
000015ef: PUSH1 0x0d
000015f1: PUSH1 0x00
000015f3: SWAP1
000015f4: SLOAD
000015f5: SWAP1
000015f6: PUSH2 0x0100
000015f9: EXP
000015fa: SWAP1
000015fb: DIV
000015fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001611: AND
00001612: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001627: AND
00001628: DUP2
00001629: PUSH3 0x061a80
0000162d: SWAP1
0000162e: PUSH1 0x40
00001630: MLOAD
00001631: PUSH1 0x00
00001633: PUSH1 0x40
00001635: MLOAD
00001636: DUP1
00001637: DUP4
00001638: SUB
00001639: DUP2
0000163a: DUP6
0000163b: DUP9
0000163c: DUP9
0000163d: CALL
0000163e: SWAP4
0000163f: POP
00001640: POP
00001641: POP
00001642: POP
00001643: ISZERO
00001644: ISZERO
00001645: PUSH2 0x165b
00001648: JUMPI
00001649: PUSH2 0x1654
0000164c: PUSH1 0x0e
0000164e: SLOAD
0000164f: DUP3
00001650: PUSH2 0x236a
00001653: JUMP
00001654: JUMPDEST
00001655: PUSH1 0x0e
00001657: DUP2
00001658: SWAP1
00001659: SSTORE
0000165a: POP
0000165b: JUMPDEST
0000165c: POP
0000165d: JUMP
0000165e: JUMPDEST
0000165f: PUSH1 0x00
00001661: DUP1
00001662: CALLER
00001663: SWAP1
00001664: POP
00001665: PUSH2 0x166d
00001668: DUP2
00001669: PUSH2 0x14b1
0000166c: JUMP
0000166d: JUMPDEST
0000166e: SWAP2
0000166f: POP
00001670: POP
00001671: SWAP1
00001672: JUMP
00001673: JUMPDEST
00001674: PUSH1 0x01
00001676: DUP1
00001677: SLOAD
00001678: PUSH1 0x01
0000167a: DUP2
0000167b: PUSH1 0x01
0000167d: AND
0000167e: ISZERO
0000167f: PUSH2 0x0100
00001682: MUL
00001683: SUB
00001684: AND
00001685: PUSH1 0x02
00001687: SWAP1
00001688: DIV
00001689: DUP1
0000168a: PUSH1 0x1f
0000168c: ADD
0000168d: PUSH1 0x20
0000168f: DUP1
00001690: SWAP2
00001691: DIV
00001692: MUL
00001693: PUSH1 0x20
00001695: ADD
00001696: PUSH1 0x40
00001698: MLOAD
00001699: SWAP1
0000169a: DUP2
0000169b: ADD
0000169c: PUSH1 0x40
0000169e: MSTORE
0000169f: DUP1
000016a0: SWAP3
000016a1: SWAP2
000016a2: SWAP1
000016a3: DUP2
000016a4: DUP2
000016a5: MSTORE
000016a6: PUSH1 0x20
000016a8: ADD
000016a9: DUP3
000016aa: DUP1
000016ab: SLOAD
000016ac: PUSH1 0x01
000016ae: DUP2
000016af: PUSH1 0x01
000016b1: AND
000016b2: ISZERO
000016b3: PUSH2 0x0100
000016b6: MUL
000016b7: SUB
000016b8: AND
000016b9: PUSH1 0x02
000016bb: SWAP1
000016bc: DIV
000016bd: DUP1
000016be: ISZERO
000016bf: PUSH2 0x1709
000016c2: JUMPI
000016c3: DUP1
000016c4: PUSH1 0x1f
000016c6: LT
000016c7: PUSH2 0x16de
000016ca: JUMPI
000016cb: PUSH2 0x0100
000016ce: DUP1
000016cf: DUP4
000016d0: SLOAD
000016d1: DIV
000016d2: MUL
000016d3: DUP4
000016d4: MSTORE
000016d5: SWAP2
000016d6: PUSH1 0x20
000016d8: ADD
000016d9: SWAP2
000016da: PUSH2 0x1709
000016dd: JUMP
000016de: JUMPDEST
000016df: DUP3
000016e0: ADD
000016e1: SWAP2
000016e2: SWAP1
000016e3: PUSH1 0x00
000016e5: MSTORE
000016e6: PUSH1 0x20
000016e8: PUSH1 0x00
000016ea: KECCAK256
000016eb: SWAP1
000016ec: JUMPDEST
000016ed: DUP2
000016ee: SLOAD
000016ef: DUP2
000016f0: MSTORE
000016f1: SWAP1
000016f2: PUSH1 0x01
000016f4: ADD
000016f5: SWAP1
000016f6: PUSH1 0x20
000016f8: ADD
000016f9: DUP1
000016fa: DUP4
000016fb: GT
000016fc: PUSH2 0x16ec
000016ff: JUMPI
00001700: DUP3
00001701: SWAP1
00001702: SUB
00001703: PUSH1 0x1f
00001705: AND
00001706: DUP3
00001707: ADD
00001708: SWAP2
00001709: JUMPDEST
0000170a: POP
0000170b: POP
0000170c: POP
0000170d: POP
0000170e: POP
0000170f: DUP2
00001710: JUMP
00001711: JUMPDEST
00001712: PUSH1 0x00
00001714: CALLER
00001715: SWAP1
00001716: POP
00001717: DUP1
00001718: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000172d: AND
0000172e: PUSH1 0x0b
00001730: PUSH1 0x00
00001732: SWAP1
00001733: SLOAD
00001734: SWAP1
00001735: PUSH2 0x0100
00001738: EXP
00001739: SWAP1
0000173a: DIV
0000173b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001750: AND
00001751: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001766: AND
00001767: EQ
00001768: ISZERO
00001769: ISZERO
0000176a: PUSH2 0x1772
0000176d: JUMPI
0000176e: PUSH1 0x00
00001770: DUP1
00001771: REVERT
00001772: JUMPDEST
00001773: PUSH1 0x00
00001775: PUSH1 0x03
00001777: PUSH1 0x00
00001779: PUSH2 0x0100
0000177c: EXP
0000177d: DUP2
0000177e: SLOAD
0000177f: DUP2
00001780: PUSH1 0xff
00001782: MUL
00001783: NOT
00001784: AND
00001785: SWAP1
00001786: DUP4
00001787: ISZERO
00001788: ISZERO
00001789: MUL
0000178a: OR
0000178b: SWAP1
0000178c: SSTORE
0000178d: POP
0000178e: POP
0000178f: JUMP
00001790: JUMPDEST
00001791: PUSH1 0x00
00001793: DUP1
00001794: PUSH1 0x00
00001796: PUSH2 0x179d
00001799: PUSH2 0x165e
0000179c: JUMP
0000179d: JUMPDEST
0000179e: GT
0000179f: ISZERO
000017a0: ISZERO
000017a1: PUSH2 0x17a9
000017a4: JUMPI
000017a5: PUSH1 0x00
000017a7: DUP1
000017a8: REVERT
000017a9: JUMPDEST
000017aa: DUP4
000017ab: PUSH1 0x00
000017ad: PUSH3 0x278d00
000017b1: PUSH4 0x5be88a40
000017b6: ADD
000017b7: TIMESTAMP
000017b8: GT
000017b9: ISZERO
000017ba: ISZERO
000017bb: PUSH2 0x1954
000017be: JUMPI
000017bf: CALLER
000017c0: SWAP1
000017c1: POP
000017c2: PUSH1 0x10
000017c4: PUSH1 0x00
000017c6: DUP3
000017c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017dc: AND
000017dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f2: AND
000017f3: DUP2
000017f4: MSTORE
000017f5: PUSH1 0x20
000017f7: ADD
000017f8: SWAP1
000017f9: DUP2
000017fa: MSTORE
000017fb: PUSH1 0x20
000017fd: ADD
000017fe: PUSH1 0x00
00001800: KECCAK256
00001801: PUSH1 0x00
00001803: SWAP1
00001804: SLOAD
00001805: SWAP1
00001806: PUSH2 0x0100
00001809: EXP
0000180a: SWAP1
0000180b: DIV
0000180c: PUSH1 0xff
0000180e: AND
0000180f: ISZERO
00001810: PUSH2 0x1953
00001813: JUMPI
00001814: PUSH1 0x0c
00001816: PUSH1 0x00
00001818: SWAP1
00001819: SLOAD
0000181a: SWAP1
0000181b: PUSH2 0x0100
0000181e: EXP
0000181f: SWAP1
00001820: DIV
00001821: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001836: AND
00001837: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000184c: AND
0000184d: DUP2
0000184e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001863: AND
00001864: EQ
00001865: ISZERO
00001866: ISZERO
00001867: PUSH2 0x1952
0000186a: JUMPI
0000186b: PUSH1 0x10
0000186d: PUSH1 0x00
0000186f: DUP4
00001870: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001885: AND
00001886: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000189b: AND
0000189c: DUP2
0000189d: MSTORE
0000189e: PUSH1 0x20
000018a0: ADD
000018a1: SWAP1
000018a2: DUP2
000018a3: MSTORE
000018a4: PUSH1 0x20
000018a6: ADD
000018a7: PUSH1 0x00
000018a9: KECCAK256
000018aa: PUSH1 0x00
000018ac: SWAP1
000018ad: SLOAD
000018ae: SWAP1
000018af: PUSH2 0x0100
000018b2: EXP
000018b3: SWAP1
000018b4: DIV
000018b5: PUSH1 0xff
000018b7: AND
000018b8: ISZERO
000018b9: ISZERO
000018ba: PUSH2 0x1951
000018bd: JUMPI
000018be: PUSH1 0x40
000018c0: MLOAD
000018c1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018e2: DUP2
000018e3: MSTORE
000018e4: PUSH1 0x04
000018e6: ADD
000018e7: DUP1
000018e8: DUP1
000018e9: PUSH1 0x20
000018eb: ADD
000018ec: DUP3
000018ed: DUP2
000018ee: SUB
000018ef: DUP3
000018f0: MSTORE
000018f1: PUSH1 0x27
000018f3: DUP2
000018f4: MSTORE
000018f5: PUSH1 0x20
000018f7: ADD
000018f8: DUP1
000018f9: PUSH32 0x417320616d6261737361646f7220796f752073686f756c64206b6e6f77206265
0000191a: DUP2
0000191b: MSTORE
0000191c: PUSH1 0x20
0000191e: ADD
0000191f: PUSH32 0x74746572203a5000000000000000000000000000000000000000000000000000
00001940: DUP2
00001941: MSTORE
00001942: POP
00001943: PUSH1 0x40
00001945: ADD
00001946: SWAP2
00001947: POP
00001948: POP
00001949: PUSH1 0x40
0000194b: MLOAD
0000194c: DUP1
0000194d: SWAP2
0000194e: SUB
0000194f: SWAP1
00001950: REVERT
00001951: JUMPDEST
00001952: JUMPDEST
00001953: JUMPDEST
00001954: JUMPDEST
00001955: CALLER
00001956: SWAP3
00001957: POP
00001958: PUSH1 0x04
0000195a: PUSH1 0x00
0000195c: DUP5
0000195d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001972: AND
00001973: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001988: AND
00001989: DUP2
0000198a: MSTORE
0000198b: PUSH1 0x20
0000198d: ADD
0000198e: SWAP1
0000198f: DUP2
00001990: MSTORE
00001991: PUSH1 0x20
00001993: ADD
00001994: PUSH1 0x00
00001996: KECCAK256
00001997: SLOAD
00001998: DUP6
00001999: GT
0000199a: ISZERO
0000199b: ISZERO
0000199c: ISZERO
0000199d: PUSH2 0x19a5
000019a0: JUMPI
000019a1: PUSH1 0x00
000019a3: DUP1
000019a4: REVERT
000019a5: JUMPDEST
000019a6: PUSH1 0x00
000019a8: PUSH2 0x19b1
000019ab: PUSH1 0x01
000019ad: PUSH2 0x1426
000019b0: JUMP
000019b1: JUMPDEST
000019b2: GT
000019b3: ISZERO
000019b4: PUSH2 0x19c0
000019b7: JUMPI
000019b8: PUSH2 0x19bf
000019bb: PUSH2 0x0f95
000019be: JUMP
000019bf: JUMPDEST
000019c0: JUMPDEST
000019c1: PUSH2 0x1a09
000019c4: PUSH1 0x04
000019c6: PUSH1 0x00
000019c8: DUP6
000019c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019de: AND
000019df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f4: AND
000019f5: DUP2
000019f6: MSTORE
000019f7: PUSH1 0x20
000019f9: ADD
000019fa: SWAP1
000019fb: DUP2
000019fc: MSTORE
000019fd: PUSH1 0x20
000019ff: ADD
00001a00: PUSH1 0x00
00001a02: KECCAK256
00001a03: SLOAD
00001a04: DUP7
00001a05: PUSH2 0x236a
00001a08: JUMP
00001a09: JUMPDEST
00001a0a: PUSH1 0x04
00001a0c: PUSH1 0x00
00001a0e: DUP6
00001a0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a24: AND
00001a25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a3a: AND
00001a3b: DUP2
00001a3c: MSTORE
00001a3d: PUSH1 0x20
00001a3f: ADD
00001a40: SWAP1
00001a41: DUP2
00001a42: MSTORE
00001a43: PUSH1 0x20
00001a45: ADD
00001a46: PUSH1 0x00
00001a48: KECCAK256
00001a49: DUP2
00001a4a: SWAP1
00001a4b: SSTORE
00001a4c: POP
00001a4d: PUSH2 0x1a95
00001a50: PUSH1 0x04
00001a52: PUSH1 0x00
00001a54: DUP9
00001a55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a6a: AND
00001a6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a80: AND
00001a81: DUP2
00001a82: MSTORE
00001a83: PUSH1 0x20
00001a85: ADD
00001a86: SWAP1
00001a87: DUP2
00001a88: MSTORE
00001a89: PUSH1 0x20
00001a8b: ADD
00001a8c: PUSH1 0x00
00001a8e: KECCAK256
00001a8f: SLOAD
00001a90: DUP7
00001a91: PUSH2 0x2b51
00001a94: JUMP
00001a95: JUMPDEST
00001a96: PUSH1 0x04
00001a98: PUSH1 0x00
00001a9a: DUP9
00001a9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ab0: AND
00001ab1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac6: AND
00001ac7: DUP2
00001ac8: MSTORE
00001ac9: PUSH1 0x20
00001acb: ADD
00001acc: SWAP1
00001acd: DUP2
00001ace: MSTORE
00001acf: PUSH1 0x20
00001ad1: ADD
00001ad2: PUSH1 0x00
00001ad4: KECCAK256
00001ad5: DUP2
00001ad6: SWAP1
00001ad7: SSTORE
00001ad8: POP
00001ad9: DUP5
00001ada: PUSH1 0x0a
00001adc: SLOAD
00001add: MUL
00001ade: PUSH1 0x06
00001ae0: PUSH1 0x00
00001ae2: DUP6
00001ae3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af8: AND
00001af9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b0e: AND
00001b0f: DUP2
00001b10: MSTORE
00001b11: PUSH1 0x20
00001b13: ADD
00001b14: SWAP1
00001b15: DUP2
00001b16: MSTORE
00001b17: PUSH1 0x20
00001b19: ADD
00001b1a: PUSH1 0x00
00001b1c: KECCAK256
00001b1d: PUSH1 0x00
00001b1f: DUP3
00001b20: DUP3
00001b21: SLOAD
00001b22: SUB
00001b23: SWAP3
00001b24: POP
00001b25: POP
00001b26: DUP2
00001b27: SWAP1
00001b28: SSTORE
00001b29: POP
00001b2a: DUP5
00001b2b: PUSH1 0x0a
00001b2d: SLOAD
00001b2e: MUL
00001b2f: PUSH1 0x06
00001b31: PUSH1 0x00
00001b33: DUP9
00001b34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b49: AND
00001b4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b5f: AND
00001b60: DUP2
00001b61: MSTORE
00001b62: PUSH1 0x20
00001b64: ADD
00001b65: SWAP1
00001b66: DUP2
00001b67: MSTORE
00001b68: PUSH1 0x20
00001b6a: ADD
00001b6b: PUSH1 0x00
00001b6d: KECCAK256
00001b6e: PUSH1 0x00
00001b70: DUP3
00001b71: DUP3
00001b72: SLOAD
00001b73: ADD
00001b74: SWAP3
00001b75: POP
00001b76: POP
00001b77: DUP2
00001b78: SWAP1
00001b79: SSTORE
00001b7a: POP
00001b7b: DUP6
00001b7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b91: AND
00001b92: DUP4
00001b93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ba8: AND
00001ba9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001bca: DUP8
00001bcb: PUSH1 0x40
00001bcd: MLOAD
00001bce: DUP1
00001bcf: DUP3
00001bd0: DUP2
00001bd1: MSTORE
00001bd2: PUSH1 0x20
00001bd4: ADD
00001bd5: SWAP2
00001bd6: POP
00001bd7: POP
00001bd8: PUSH1 0x40
00001bda: MLOAD
00001bdb: DUP1
00001bdc: SWAP2
00001bdd: SUB
00001bde: SWAP1
00001bdf: LOG3
00001be0: PUSH1 0x01
00001be2: SWAP4
00001be3: POP
00001be4: POP
00001be5: POP
00001be6: POP
00001be7: SWAP3
00001be8: SWAP2
00001be9: POP
00001bea: POP
00001beb: JUMP
00001bec: JUMPDEST
00001bed: PUSH1 0x00
00001bef: CALLER
00001bf0: SWAP1
00001bf1: POP
00001bf2: DUP1
00001bf3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c08: AND
00001c09: PUSH1 0x0b
00001c0b: PUSH1 0x00
00001c0d: SWAP1
00001c0e: SLOAD
00001c0f: SWAP1
00001c10: PUSH2 0x0100
00001c13: EXP
00001c14: SWAP1
00001c15: DIV
00001c16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c2b: AND
00001c2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c41: AND
00001c42: EQ
00001c43: ISZERO
00001c44: ISZERO
00001c45: PUSH2 0x1c4d
00001c48: JUMPI
00001c49: PUSH1 0x00
00001c4b: DUP1
00001c4c: REVERT
00001c4d: JUMPDEST
00001c4e: DUP2
00001c4f: PUSH1 0x01
00001c51: SWAP1
00001c52: DUP1
00001c53: MLOAD
00001c54: SWAP1
00001c55: PUSH1 0x20
00001c57: ADD
00001c58: SWAP1
00001c59: PUSH2 0x1c63
00001c5c: SWAP3
00001c5d: SWAP2
00001c5e: SWAP1
00001c5f: PUSH2 0x2bba
00001c62: JUMP
00001c63: JUMPDEST
00001c64: POP
00001c65: POP
00001c66: POP
00001c67: JUMP
00001c68: JUMPDEST
00001c69: PUSH1 0x00
00001c6b: CALLER
00001c6c: SWAP1
00001c6d: POP
00001c6e: DUP1
00001c6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c84: AND
00001c85: PUSH1 0x0b
00001c87: PUSH1 0x00
00001c89: SWAP1
00001c8a: SLOAD
00001c8b: SWAP1
00001c8c: PUSH2 0x0100
00001c8f: EXP
00001c90: SWAP1
00001c91: DIV
00001c92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ca7: AND
00001ca8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cbd: AND
00001cbe: EQ
00001cbf: ISZERO
00001cc0: ISZERO
00001cc1: PUSH2 0x1cc9
00001cc4: JUMPI
00001cc5: PUSH1 0x00
00001cc7: DUP1
00001cc8: REVERT
00001cc9: JUMPDEST
00001cca: DUP2
00001ccb: PUSH1 0x00
00001ccd: SWAP1
00001cce: DUP1
00001ccf: MLOAD
00001cd0: SWAP1
00001cd1: PUSH1 0x20
00001cd3: ADD
00001cd4: SWAP1
00001cd5: PUSH2 0x1cdf
00001cd8: SWAP3
00001cd9: SWAP2
00001cda: SWAP1
00001cdb: PUSH2 0x2bba
00001cde: JUMP
00001cdf: JUMPDEST
00001ce0: POP
00001ce1: POP
00001ce2: POP
00001ce3: JUMP
00001ce4: JUMPDEST
00001ce5: PUSH1 0x00
00001ce7: CALLER
00001ce8: SWAP1
00001ce9: POP
00001cea: DUP1
00001ceb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d00: AND
00001d01: PUSH1 0x0b
00001d03: PUSH1 0x00
00001d05: SWAP1
00001d06: SLOAD
00001d07: SWAP1
00001d08: PUSH2 0x0100
00001d0b: EXP
00001d0c: SWAP1
00001d0d: DIV
00001d0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d23: AND
00001d24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d39: AND
00001d3a: EQ
00001d3b: ISZERO
00001d3c: ISZERO
00001d3d: PUSH2 0x1d45
00001d40: JUMPI
00001d41: PUSH1 0x00
00001d43: DUP1
00001d44: REVERT
00001d45: JUMPDEST
00001d46: PUSH1 0x01
00001d48: PUSH1 0x11
00001d4a: PUSH1 0x00
00001d4c: DUP5
00001d4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d62: AND
00001d63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d78: AND
00001d79: DUP2
00001d7a: MSTORE
00001d7b: PUSH1 0x20
00001d7d: ADD
00001d7e: SWAP1
00001d7f: DUP2
00001d80: MSTORE
00001d81: PUSH1 0x20
00001d83: ADD
00001d84: PUSH1 0x00
00001d86: KECCAK256
00001d87: PUSH1 0x00
00001d89: PUSH2 0x0100
00001d8c: EXP
00001d8d: DUP2
00001d8e: SLOAD
00001d8f: DUP2
00001d90: PUSH1 0xff
00001d92: MUL
00001d93: NOT
00001d94: AND
00001d95: SWAP1
00001d96: DUP4
00001d97: ISZERO
00001d98: ISZERO
00001d99: MUL
00001d9a: OR
00001d9b: SWAP1
00001d9c: SSTORE
00001d9d: POP
00001d9e: POP
00001d9f: POP
00001da0: JUMP
00001da1: JUMPDEST
00001da2: PUSH1 0x0d
00001da4: PUSH1 0x00
00001da6: SWAP1
00001da7: SLOAD
00001da8: SWAP1
00001da9: PUSH2 0x0100
00001dac: EXP
00001dad: SWAP1
00001dae: DIV
00001daf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dc4: AND
00001dc5: DUP2
00001dc6: JUMP
00001dc7: JUMPDEST
00001dc8: PUSH1 0x00
00001dca: CALLER
00001dcb: SWAP1
00001dcc: POP
00001dcd: DUP1
00001dce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de3: AND
00001de4: PUSH1 0x0b
00001de6: PUSH1 0x00
00001de8: SWAP1
00001de9: SLOAD
00001dea: SWAP1
00001deb: PUSH2 0x0100
00001dee: EXP
00001def: SWAP1
00001df0: DIV
00001df1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e06: AND
00001e07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e1c: AND
00001e1d: EQ
00001e1e: ISZERO
00001e1f: ISZERO
00001e20: PUSH2 0x1e28
00001e23: JUMPI
00001e24: PUSH1 0x00
00001e26: DUP1
00001e27: REVERT
00001e28: JUMPDEST
00001e29: DUP2
00001e2a: PUSH1 0x0b
00001e2c: PUSH1 0x00
00001e2e: PUSH2 0x0100
00001e31: EXP
00001e32: DUP2
00001e33: SLOAD
00001e34: DUP2
00001e35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e4a: MUL
00001e4b: NOT
00001e4c: AND
00001e4d: SWAP1
00001e4e: DUP4
00001e4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e64: AND
00001e65: MUL
00001e66: OR
00001e67: SWAP1
00001e68: SSTORE
00001e69: POP
00001e6a: POP
00001e6b: POP
00001e6c: JUMP
00001e6d: JUMPDEST
00001e6e: PUSH1 0x00
00001e70: DUP1
00001e71: PUSH1 0x00
00001e73: DUP1
00001e74: PUSH1 0x00
00001e76: DUP1
00001e77: PUSH1 0x00
00001e79: DUP1
00001e7a: PUSH2 0x1e81
00001e7d: PUSH2 0x165e
00001e80: JUMP
00001e81: JUMPDEST
00001e82: GT
00001e83: ISZERO
00001e84: ISZERO
00001e85: PUSH2 0x1e8d
00001e88: JUMPI
00001e89: PUSH1 0x00
00001e8b: DUP1
00001e8c: REVERT
00001e8d: JUMPDEST
00001e8e: PUSH1 0x00
00001e90: PUSH3 0x278d00
00001e94: PUSH4 0x5be88a40
00001e99: ADD
00001e9a: TIMESTAMP
00001e9b: GT
00001e9c: ISZERO
00001e9d: ISZERO
00001e9e: PUSH2 0x1efe
00001ea1: JUMPI
00001ea2: CALLER
00001ea3: SWAP1
00001ea4: POP
00001ea5: PUSH1 0x10
00001ea7: PUSH1 0x00
00001ea9: DUP3
00001eaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ebf: AND
00001ec0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ed5: AND
00001ed6: DUP2
00001ed7: MSTORE
00001ed8: PUSH1 0x20
00001eda: ADD
00001edb: SWAP1
00001edc: DUP2
00001edd: MSTORE
00001ede: PUSH1 0x20
00001ee0: ADD
00001ee1: PUSH1 0x00
00001ee3: KECCAK256
00001ee4: PUSH1 0x00
00001ee6: SWAP1
00001ee7: SLOAD
00001ee8: SWAP1
00001ee9: PUSH2 0x0100
00001eec: EXP
00001eed: SWAP1
00001eee: DIV
00001eef: PUSH1 0xff
00001ef1: AND
00001ef2: ISZERO
00001ef3: ISZERO
00001ef4: ISZERO
00001ef5: PUSH2 0x1efd
00001ef8: JUMPI
00001ef9: PUSH1 0x00
00001efb: DUP1
00001efc: REVERT
00001efd: JUMPDEST
00001efe: JUMPDEST
00001eff: CALLER
00001f00: SWAP8
00001f01: POP
00001f02: PUSH1 0x04
00001f04: PUSH1 0x00
00001f06: DUP10
00001f07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f1c: AND
00001f1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f32: AND
00001f33: DUP2
00001f34: MSTORE
00001f35: PUSH1 0x20
00001f37: ADD
00001f38: SWAP1
00001f39: DUP2
00001f3a: MSTORE
00001f3b: PUSH1 0x20
00001f3d: ADD
00001f3e: PUSH1 0x00
00001f40: KECCAK256
00001f41: SLOAD
00001f42: DUP10
00001f43: GT
00001f44: ISZERO
00001f45: ISZERO
00001f46: ISZERO
00001f47: PUSH2 0x1f4f
00001f4a: JUMPI
00001f4b: PUSH1 0x00
00001f4d: DUP1
00001f4e: REVERT
00001f4f: JUMPDEST
00001f50: DUP9
00001f51: SWAP7
00001f52: POP
00001f53: PUSH2 0x1f5b
00001f56: DUP8
00001f57: PUSH2 0x2ab0
00001f5a: JUMP
00001f5b: JUMPDEST
00001f5c: SWAP6
00001f5d: POP
00001f5e: PUSH2 0x1f75
00001f61: PUSH2 0x1f6e
00001f64: DUP8
00001f65: PUSH1 0x0a
00001f67: PUSH1 0xff
00001f69: AND
00001f6a: PUSH2 0x294c
00001f6d: JUMP
00001f6e: JUMPDEST
00001f6f: PUSH1 0x64
00001f71: PUSH2 0x2987
00001f74: JUMP
00001f75: JUMPDEST
00001f76: SWAP5
00001f77: POP
00001f78: PUSH2 0x1f8f
00001f7b: PUSH2 0x1f88
00001f7e: DUP8
00001f7f: PUSH1 0x03
00001f81: PUSH1 0xff
00001f83: AND
00001f84: PUSH2 0x294c
00001f87: JUMP
00001f88: JUMPDEST
00001f89: PUSH1 0x64
00001f8b: PUSH2 0x2987
00001f8e: JUMP
00001f8f: JUMPDEST
00001f90: SWAP4
00001f91: POP
00001f92: PUSH2 0x1fa4
00001f95: PUSH2 0x1f9e
00001f98: DUP8
00001f99: DUP8
00001f9a: PUSH2 0x236a
00001f9d: JUMP
00001f9e: JUMPDEST
00001f9f: DUP6
00001fa0: PUSH2 0x236a
00001fa3: JUMP
00001fa4: JUMPDEST
00001fa5: SWAP3
00001fa6: POP
00001fa7: PUSH2 0x1fb2
00001faa: PUSH1 0x0f
00001fac: SLOAD
00001fad: DUP6
00001fae: PUSH2 0x2b51
00001fb1: JUMP
00001fb2: JUMPDEST
00001fb3: PUSH1 0x0f
00001fb5: DUP2
00001fb6: SWAP1
00001fb7: SSTORE
00001fb8: POP
00001fb9: PUSH2 0x1fc4
00001fbc: PUSH1 0x09
00001fbe: SLOAD
00001fbf: DUP9
00001fc0: PUSH2 0x236a
00001fc3: JUMP
00001fc4: JUMPDEST
00001fc5: PUSH1 0x09
00001fc7: DUP2
00001fc8: SWAP1
00001fc9: SSTORE
00001fca: POP
00001fcb: PUSH2 0x2013
00001fce: PUSH1 0x04
00001fd0: PUSH1 0x00
00001fd2: DUP11
00001fd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fe8: AND
00001fe9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ffe: AND
00001fff: DUP2
00002000: MSTORE
00002001: PUSH1 0x20
00002003: ADD
00002004: SWAP1
00002005: DUP2
00002006: MSTORE
00002007: PUSH1 0x20
00002009: ADD
0000200a: PUSH1 0x00
0000200c: KECCAK256
0000200d: SLOAD
0000200e: DUP9
0000200f: PUSH2 0x236a
00002012: JUMP
00002013: JUMPDEST
00002014: PUSH1 0x04
00002016: PUSH1 0x00
00002018: DUP11
00002019: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000202e: AND
0000202f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002044: AND
00002045: DUP2
00002046: MSTORE
00002047: PUSH1 0x20
00002049: ADD
0000204a: SWAP1
0000204b: DUP2
0000204c: MSTORE
0000204d: PUSH1 0x20
0000204f: ADD
00002050: PUSH1 0x00
00002052: KECCAK256
00002053: DUP2
00002054: SWAP1
00002055: SSTORE
00002056: POP
00002057: PUSH9 0x010000000000000000
00002061: DUP4
00002062: MUL
00002063: DUP8
00002064: PUSH1 0x0a
00002066: SLOAD
00002067: MUL
00002068: ADD
00002069: SWAP2
0000206a: POP
0000206b: DUP2
0000206c: PUSH1 0x06
0000206e: PUSH1 0x00
00002070: DUP11
00002071: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002086: AND
00002087: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000209c: AND
0000209d: DUP2
0000209e: MSTORE
0000209f: PUSH1 0x20
000020a1: ADD
000020a2: SWAP1
000020a3: DUP2
000020a4: MSTORE
000020a5: PUSH1 0x20
000020a7: ADD
000020a8: PUSH1 0x00
000020aa: KECCAK256
000020ab: PUSH1 0x00
000020ad: DUP3
000020ae: DUP3
000020af: SLOAD
000020b0: SUB
000020b1: SWAP3
000020b2: POP
000020b3: POP
000020b4: DUP2
000020b5: SWAP1
000020b6: SSTORE
000020b7: POP
000020b8: PUSH1 0x00
000020ba: PUSH1 0x09
000020bc: SLOAD
000020bd: GT
000020be: ISZERO
000020bf: PUSH2 0x20ed
000020c2: JUMPI
000020c3: PUSH2 0x20e6
000020c6: PUSH1 0x0a
000020c8: SLOAD
000020c9: PUSH1 0x09
000020cb: SLOAD
000020cc: PUSH9 0x010000000000000000
000020d6: DUP9
000020d7: MUL
000020d8: DUP2
000020d9: ISZERO
000020da: ISZERO
000020db: PUSH2 0x20e0
000020de: JUMPI
000020df: INVALID
000020e0: JUMPDEST
000020e1: DIV
000020e2: PUSH2 0x2b51
000020e5: JUMP
000020e6: JUMPDEST
000020e7: PUSH1 0x0a
000020e9: DUP2
000020ea: SWAP1
000020eb: SSTORE
000020ec: POP
000020ed: JUMPDEST
000020ee: DUP8
000020ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002104: AND
00002105: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139
00002126: DUP9
00002127: DUP6
00002128: PUSH1 0x40
0000212a: MLOAD
0000212b: DUP1
0000212c: DUP4
0000212d: DUP2
0000212e: MSTORE
0000212f: PUSH1 0x20
00002131: ADD
00002132: DUP3
00002133: DUP2
00002134: MSTORE
00002135: PUSH1 0x20
00002137: ADD
00002138: SWAP3
00002139: POP
0000213a: POP
0000213b: POP
0000213c: PUSH1 0x40
0000213e: MLOAD
0000213f: DUP1
00002140: SWAP2
00002141: SUB
00002142: SWAP1
00002143: LOG2
00002144: POP
00002145: POP
00002146: POP
00002147: POP
00002148: POP
00002149: POP
0000214a: POP
0000214b: POP
0000214c: POP
0000214d: JUMP
0000214e: JUMPDEST
0000214f: PUSH1 0x00
00002151: DUP1
00002152: CALLER
00002153: SWAP2
00002154: POP
00002155: PUSH1 0x04
00002157: PUSH1 0x00
00002159: DUP4
0000215a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000216f: AND
00002170: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002185: AND
00002186: DUP2
00002187: MSTORE
00002188: PUSH1 0x20
0000218a: ADD
0000218b: SWAP1
0000218c: DUP2
0000218d: MSTORE
0000218e: PUSH1 0x20
00002190: ADD
00002191: PUSH1 0x00
00002193: KECCAK256
00002194: SLOAD
00002195: SWAP1
00002196: POP
00002197: PUSH1 0x00
00002199: DUP2
0000219a: GT
0000219b: ISZERO
0000219c: PUSH2 0x21a9
0000219f: JUMPI
000021a0: PUSH2 0x21a8
000021a3: DUP2
000021a4: PUSH2 0x1e6d
000021a7: JUMP
000021a8: JUMPDEST
000021a9: JUMPDEST
000021aa: PUSH2 0x21b1
000021ad: PUSH2 0x0f95
000021b0: JUMP
000021b1: JUMPDEST
000021b2: POP
000021b3: POP
000021b4: JUMP
000021b5: JUMPDEST
000021b6: PUSH1 0x00
000021b8: DUP1
000021b9: PUSH5 0x0ba43b7400
000021bf: GASPRICE
000021c0: GT
000021c1: ISZERO
000021c2: ISZERO
000021c3: ISZERO
000021c4: PUSH2 0x21cc
000021c7: JUMPI
000021c8: PUSH1 0x00
000021ca: DUP1
000021cb: REVERT
000021cc: JUMPDEST
000021cd: PUSH2 0x21d5
000021d0: DUP4
000021d1: PUSH2 0x0aac
000021d4: JUMP
000021d5: JUMPDEST
000021d6: SWAP1
000021d7: POP
000021d8: PUSH2 0x21e1
000021db: CALLVALUE
000021dc: DUP3
000021dd: PUSH2 0x0c55
000021e0: JUMP
000021e1: JUMPDEST
000021e2: POP
000021e3: POP
000021e4: SWAP2
000021e5: SWAP1
000021e6: POP
000021e7: JUMP
000021e8: JUMPDEST
000021e9: PUSH1 0x00
000021eb: DUP1
000021ec: PUSH1 0x00
000021ee: DUP1
000021ef: PUSH1 0x00
000021f1: PUSH2 0x21fa
000021f4: PUSH1 0x01
000021f6: PUSH2 0x1426
000021f9: JUMP
000021fa: JUMPDEST
000021fb: GT
000021fc: ISZERO
000021fd: ISZERO
000021fe: PUSH2 0x2206
00002201: JUMPI
00002202: PUSH1 0x00
00002204: DUP1
00002205: REVERT
00002206: JUMPDEST
00002207: PUSH2 0x2210
0000220a: PUSH1 0x00
0000220c: PUSH2 0x1426
0000220f: JUMP
00002210: JUMPDEST
00002211: SWAP4
00002212: POP
00002213: CALLER
00002214: SWAP3
00002215: POP
00002216: PUSH9 0x010000000000000000
00002220: DUP5
00002221: MUL
00002222: PUSH1 0x06
00002224: PUSH1 0x00
00002226: DUP6
00002227: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000223c: AND
0000223d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002252: AND
00002253: DUP2
00002254: MSTORE
00002255: PUSH1 0x20
00002257: ADD
00002258: SWAP1
00002259: DUP2
0000225a: MSTORE
0000225b: PUSH1 0x20
0000225d: ADD
0000225e: PUSH1 0x00
00002260: KECCAK256
00002261: PUSH1 0x00
00002263: DUP3
00002264: DUP3
00002265: SLOAD
00002266: ADD
00002267: SWAP3
00002268: POP
00002269: POP
0000226a: DUP2
0000226b: SWAP1
0000226c: SSTORE
0000226d: POP
0000226e: PUSH1 0x05
00002270: PUSH1 0x00
00002272: DUP5
00002273: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002288: AND
00002289: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000229e: AND
0000229f: DUP2
000022a0: MSTORE
000022a1: PUSH1 0x20
000022a3: ADD
000022a4: SWAP1
000022a5: DUP2
000022a6: MSTORE
000022a7: PUSH1 0x20
000022a9: ADD
000022aa: PUSH1 0x00
000022ac: KECCAK256
000022ad: SLOAD
000022ae: DUP5
000022af: ADD
000022b0: SWAP4
000022b1: POP
000022b2: PUSH1 0x00
000022b4: PUSH1 0x05
000022b6: PUSH1 0x00
000022b8: DUP6
000022b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022ce: AND
000022cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022e4: AND
000022e5: DUP2
000022e6: MSTORE
000022e7: PUSH1 0x20
000022e9: ADD
000022ea: SWAP1
000022eb: DUP2
000022ec: MSTORE
000022ed: PUSH1 0x20
000022ef: ADD
000022f0: PUSH1 0x00
000022f2: KECCAK256
000022f3: DUP2
000022f4: SWAP1
000022f5: SSTORE
000022f6: POP
000022f7: PUSH2 0x2300
000022fa: PUSH1 0x00
000022fc: PUSH2 0x0aac
000022ff: JUMP
00002300: JUMPDEST
00002301: SWAP2
00002302: POP
00002303: PUSH2 0x230c
00002306: DUP5
00002307: DUP4
00002308: PUSH2 0x0c55
0000230b: JUMP
0000230c: JUMPDEST
0000230d: SWAP1
0000230e: POP
0000230f: DUP3
00002310: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002325: AND
00002326: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
00002347: DUP6
00002348: DUP4
00002349: PUSH1 0x40
0000234b: MLOAD
0000234c: DUP1
0000234d: DUP4
0000234e: DUP2
0000234f: MSTORE
00002350: PUSH1 0x20
00002352: ADD
00002353: DUP3
00002354: DUP2
00002355: MSTORE
00002356: PUSH1 0x20
00002358: ADD
00002359: SWAP3
0000235a: POP
0000235b: POP
0000235c: POP
0000235d: PUSH1 0x40
0000235f: MLOAD
00002360: DUP1
00002361: SWAP2
00002362: SUB
00002363: SWAP1
00002364: LOG2
00002365: POP
00002366: POP
00002367: POP
00002368: POP
00002369: JUMP
0000236a: JUMPDEST
0000236b: PUSH1 0x00
0000236d: DUP3
0000236e: DUP3
0000236f: GT
00002370: ISZERO
00002371: ISZERO
00002372: ISZERO
00002373: PUSH2 0x2378
00002376: JUMPI
00002377: INVALID
00002378: JUMPDEST
00002379: DUP2
0000237a: DUP4
0000237b: SUB
0000237c: SWAP1
0000237d: POP
0000237e: SWAP3
0000237f: SWAP2
00002380: POP
00002381: POP
00002382: JUMP
00002383: JUMPDEST
00002384: PUSH1 0x00
00002386: DUP1
00002387: PUSH1 0x00
00002389: DUP1
0000238a: PUSH1 0x00
0000238c: DUP1
0000238d: PUSH1 0x00
0000238f: DUP1
00002390: PUSH1 0x00
00002392: DUP11
00002393: PUSH1 0x00
00002395: CALLER
00002396: SWAP1
00002397: POP
00002398: PUSH1 0x03
0000239a: PUSH1 0x00
0000239c: SWAP1
0000239d: SLOAD
0000239e: SWAP1
0000239f: PUSH2 0x0100
000023a2: EXP
000023a3: SWAP1
000023a4: DIV
000023a5: PUSH1 0xff
000023a7: AND
000023a8: DUP1
000023a9: ISZERO
000023aa: PUSH2 0x23c4
000023ad: JUMPI
000023ae: POP
000023af: PUSH8 0x1bc16d674ec80000
000023b8: DUP3
000023b9: PUSH2 0x23c0
000023bc: PUSH2 0x1492
000023bf: JUMP
000023c0: JUMPDEST
000023c1: SUB
000023c2: GT
000023c3: ISZERO
000023c4: JUMPDEST
000023c5: DUP1
000023c6: ISZERO
000023c7: PUSH2 0x23d3
000023ca: JUMPI
000023cb: POP
000023cc: PUSH4 0x5be88a40
000023d1: TIMESTAMP
000023d2: LT
000023d3: JUMPDEST
000023d4: ISZERO
000023d5: PUSH2 0x251d
000023d8: JUMPI
000023d9: PUSH1 0x01
000023db: ISZERO
000023dc: ISZERO
000023dd: PUSH1 0x10
000023df: PUSH1 0x00
000023e1: DUP4
000023e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023f7: AND
000023f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000240d: AND
0000240e: DUP2
0000240f: MSTORE
00002410: PUSH1 0x20
00002412: ADD
00002413: SWAP1
00002414: DUP2
00002415: MSTORE
00002416: PUSH1 0x20
00002418: ADD
00002419: PUSH1 0x00
0000241b: KECCAK256
0000241c: PUSH1 0x00
0000241e: SWAP1
0000241f: SLOAD
00002420: SWAP1
00002421: PUSH2 0x0100
00002424: EXP
00002425: SWAP1
00002426: DIV
00002427: PUSH1 0xff
00002429: AND
0000242a: ISZERO
0000242b: ISZERO
0000242c: EQ
0000242d: DUP1
0000242e: ISZERO
0000242f: PUSH2 0x2481
00002432: JUMPI
00002433: POP
00002434: PUSH8 0x1bc16d674ec80000
0000243d: DUP3
0000243e: PUSH1 0x08
00002440: PUSH1 0x00
00002442: DUP5
00002443: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002458: AND
00002459: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000246e: AND
0000246f: DUP2
00002470: MSTORE
00002471: PUSH1 0x20
00002473: ADD
00002474: SWAP1
00002475: DUP2
00002476: MSTORE
00002477: PUSH1 0x20
00002479: ADD
0000247a: PUSH1 0x00
0000247c: KECCAK256
0000247d: SLOAD
0000247e: ADD
0000247f: GT
00002480: ISZERO
00002481: JUMPDEST
00002482: ISZERO
00002483: ISZERO
00002484: PUSH2 0x248c
00002487: JUMPI
00002488: PUSH1 0x00
0000248a: DUP1
0000248b: REVERT
0000248c: JUMPDEST
0000248d: PUSH2 0x24d5
00002490: PUSH1 0x08
00002492: PUSH1 0x00
00002494: DUP4
00002495: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024aa: AND
000024ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024c0: AND
000024c1: DUP2
000024c2: MSTORE
000024c3: PUSH1 0x20
000024c5: ADD
000024c6: SWAP1
000024c7: DUP2
000024c8: MSTORE
000024c9: PUSH1 0x20
000024cb: ADD
000024cc: PUSH1 0x00
000024ce: KECCAK256
000024cf: SLOAD
000024d0: DUP4
000024d1: PUSH2 0x2b51
000024d4: JUMP
000024d5: JUMPDEST
000024d6: PUSH1 0x08
000024d8: PUSH1 0x00
000024da: DUP4
000024db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024f0: AND
000024f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002506: AND
00002507: DUP2
00002508: MSTORE
00002509: PUSH1 0x20
0000250b: ADD
0000250c: SWAP1
0000250d: DUP2
0000250e: MSTORE
0000250f: PUSH1 0x20
00002511: ADD
00002512: PUSH1 0x00
00002514: KECCAK256
00002515: DUP2
00002516: SWAP1
00002517: SSTORE
00002518: POP
00002519: PUSH2 0x254f
0000251c: JUMP
0000251d: JUMPDEST
0000251e: PUSH1 0x03
00002520: PUSH1 0x00
00002522: SWAP1
00002523: SLOAD
00002524: SWAP1
00002525: PUSH2 0x0100
00002528: EXP
00002529: SWAP1
0000252a: DIV
0000252b: PUSH1 0xff
0000252d: AND
0000252e: ISZERO
0000252f: PUSH2 0x254e
00002532: JUMPI
00002533: PUSH1 0x00
00002535: PUSH1 0x03
00002537: PUSH1 0x00
00002539: PUSH2 0x0100
0000253c: EXP
0000253d: DUP2
0000253e: SLOAD
0000253f: DUP2
00002540: PUSH1 0xff
00002542: MUL
00002543: NOT
00002544: AND
00002545: SWAP1
00002546: DUP4
00002547: ISZERO
00002548: ISZERO
00002549: MUL
0000254a: OR
0000254b: SWAP1
0000254c: SSTORE
0000254d: POP
0000254e: JUMPDEST
0000254f: JUMPDEST
00002550: CALLER
00002551: SWAP10
00002552: POP
00002553: PUSH2 0x256a
00002556: PUSH2 0x2563
00002559: DUP15
0000255a: PUSH1 0x0a
0000255c: PUSH1 0xff
0000255e: AND
0000255f: PUSH2 0x294c
00002562: JUMP
00002563: JUMPDEST
00002564: PUSH1 0x64
00002566: PUSH2 0x2987
00002569: JUMP
0000256a: JUMPDEST
0000256b: SWAP9
0000256c: POP
0000256d: PUSH2 0x2584
00002570: PUSH2 0x257d
00002573: DUP15
00002574: PUSH1 0x03
00002576: PUSH1 0xff
00002578: AND
00002579: PUSH2 0x294c
0000257c: JUMP
0000257d: JUMPDEST
0000257e: PUSH1 0x64
00002580: PUSH2 0x2987
00002583: JUMP
00002584: JUMPDEST
00002585: SWAP8
00002586: POP
00002587: PUSH2 0x259e
0000258a: PUSH2 0x2597
0000258d: DUP15
0000258e: PUSH1 0x0a
00002590: PUSH1 0xff
00002592: AND
00002593: PUSH2 0x294c
00002596: JUMP
00002597: JUMPDEST
00002598: PUSH1 0x64
0000259a: PUSH2 0x2987
0000259d: JUMP
0000259e: JUMPDEST
0000259f: SWAP7
000025a0: POP
000025a1: PUSH2 0x25aa
000025a4: DUP10
000025a5: DUP9
000025a6: PUSH2 0x236a
000025a9: JUMP
000025aa: JUMPDEST
000025ab: SWAP6
000025ac: POP
000025ad: PUSH2 0x25b8
000025b0: PUSH1 0x0f
000025b2: SLOAD
000025b3: DUP10
000025b4: PUSH2 0x2b51
000025b7: JUMP
000025b8: JUMPDEST
000025b9: PUSH1 0x0f
000025bb: DUP2
000025bc: SWAP1
000025bd: SSTORE
000025be: POP
000025bf: PUSH2 0x25d9
000025c2: PUSH2 0x25d4
000025c5: PUSH2 0x25ce
000025c8: DUP16
000025c9: DUP13
000025ca: PUSH2 0x236a
000025cd: JUMP
000025ce: JUMPDEST
000025cf: DUP11
000025d0: PUSH2 0x236a
000025d3: JUMP
000025d4: JUMPDEST
000025d5: PUSH2 0x29a2
000025d8: JUMP
000025d9: JUMPDEST
000025da: SWAP5
000025db: POP
000025dc: PUSH9 0x010000000000000000
000025e6: DUP7
000025e7: MUL
000025e8: SWAP4
000025e9: POP
000025ea: PUSH1 0x00
000025ec: DUP6
000025ed: GT
000025ee: DUP1
000025ef: ISZERO
000025f0: PUSH2 0x2605
000025f3: JUMPI
000025f4: POP
000025f5: PUSH1 0x09
000025f7: SLOAD
000025f8: PUSH2 0x2603
000025fb: DUP7
000025fc: PUSH1 0x09
000025fe: SLOAD
000025ff: PUSH2 0x2b51
00002602: JUMP
00002603: JUMPDEST
00002604: GT
00002605: JUMPDEST
00002606: ISZERO
00002607: ISZERO
00002608: PUSH2 0x2610
0000260b: JUMPI
0000260c: PUSH1 0x00
0000260e: DUP1
0000260f: REVERT
00002610: JUMPDEST
00002611: PUSH1 0x00
00002613: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002628: AND
00002629: DUP13
0000262a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000263f: AND
00002640: EQ
00002641: ISZERO
00002642: DUP1
00002643: ISZERO
00002644: PUSH2 0x2679
00002647: JUMPI
00002648: POP
00002649: DUP10
0000264a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000265f: AND
00002660: DUP13
00002661: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002676: AND
00002677: EQ
00002678: ISZERO
00002679: JUMPDEST
0000267a: DUP1
0000267b: ISZERO
0000267c: PUSH2 0x26c6
0000267f: JUMPI
00002680: POP
00002681: PUSH1 0x02
00002683: SLOAD
00002684: PUSH1 0x04
00002686: PUSH1 0x00
00002688: DUP15
00002689: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000269e: AND
0000269f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026b4: AND
000026b5: DUP2
000026b6: MSTORE
000026b7: PUSH1 0x20
000026b9: ADD
000026ba: SWAP1
000026bb: DUP2
000026bc: MSTORE
000026bd: PUSH1 0x20
000026bf: ADD
000026c0: PUSH1 0x00
000026c2: KECCAK256
000026c3: SLOAD
000026c4: LT
000026c5: ISZERO
000026c6: JUMPDEST
000026c7: ISZERO
000026c8: PUSH2 0x275c
000026cb: JUMPI
000026cc: PUSH2 0x2714
000026cf: PUSH1 0x05
000026d1: PUSH1 0x00
000026d3: DUP15
000026d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026e9: AND
000026ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026ff: AND
00002700: DUP2
00002701: MSTORE
00002702: PUSH1 0x20
00002704: ADD
00002705: SWAP1
00002706: DUP2
00002707: MSTORE
00002708: PUSH1 0x20
0000270a: ADD
0000270b: PUSH1 0x00
0000270d: KECCAK256
0000270e: SLOAD
0000270f: DUP9
00002710: PUSH2 0x2b51
00002713: JUMP
00002714: JUMPDEST
00002715: PUSH1 0x05
00002717: PUSH1 0x00
00002719: DUP15
0000271a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000272f: AND
00002730: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002745: AND
00002746: DUP2
00002747: MSTORE
00002748: PUSH1 0x20
0000274a: ADD
0000274b: SWAP1
0000274c: DUP2
0000274d: MSTORE
0000274e: PUSH1 0x20
00002750: ADD
00002751: PUSH1 0x00
00002753: KECCAK256
00002754: DUP2
00002755: SWAP1
00002756: SSTORE
00002757: POP
00002758: PUSH2 0x2777
0000275b: JUMP
0000275c: JUMPDEST
0000275d: PUSH2 0x2766
00002760: DUP7
00002761: DUP9
00002762: PUSH2 0x2b51
00002765: JUMP
00002766: JUMPDEST
00002767: SWAP6
00002768: POP
00002769: PUSH9 0x010000000000000000
00002773: DUP7
00002774: MUL
00002775: SWAP4
00002776: POP
00002777: JUMPDEST
00002778: PUSH1 0x00
0000277a: PUSH1 0x09
0000277c: SLOAD
0000277d: GT
0000277e: ISZERO
0000277f: PUSH2 0x27e2
00002782: JUMPI
00002783: PUSH2 0x278e
00002786: PUSH1 0x09
00002788: SLOAD
00002789: DUP7
0000278a: PUSH2 0x2b51
0000278d: JUMP
0000278e: JUMPDEST
0000278f: PUSH1 0x09
00002791: DUP2
00002792: SWAP1
00002793: SSTORE
00002794: POP
00002795: PUSH1 0x09
00002797: SLOAD
00002798: PUSH9 0x010000000000000000
000027a2: DUP8
000027a3: MUL
000027a4: DUP2
000027a5: ISZERO
000027a6: ISZERO
000027a7: PUSH2 0x27ac
000027aa: JUMPI
000027ab: INVALID
000027ac: JUMPDEST
000027ad: DIV
000027ae: PUSH1 0x0a
000027b0: PUSH1 0x00
000027b2: DUP3
000027b3: DUP3
000027b4: SLOAD
000027b5: ADD
000027b6: SWAP3
000027b7: POP
000027b8: POP
000027b9: DUP2
000027ba: SWAP1
000027bb: SSTORE
000027bc: POP
000027bd: PUSH1 0x09
000027bf: SLOAD
000027c0: PUSH9 0x010000000000000000
000027ca: DUP8
000027cb: MUL
000027cc: DUP2
000027cd: ISZERO
000027ce: ISZERO
000027cf: PUSH2 0x27d4
000027d2: JUMPI
000027d3: INVALID
000027d4: JUMPDEST
000027d5: DIV
000027d6: DUP6
000027d7: MUL
000027d8: DUP5
000027d9: SUB
000027da: DUP5
000027db: SUB
000027dc: SWAP4
000027dd: POP
000027de: PUSH2 0x27ea
000027e1: JUMP
000027e2: JUMPDEST
000027e3: DUP5
000027e4: PUSH1 0x09
000027e6: DUP2
000027e7: SWAP1
000027e8: SSTORE
000027e9: POP
000027ea: JUMPDEST
000027eb: PUSH2 0x2833
000027ee: PUSH1 0x04
000027f0: PUSH1 0x00
000027f2: DUP13
000027f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002808: AND
00002809: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000281e: AND
0000281f: DUP2
00002820: MSTORE
00002821: PUSH1 0x20
00002823: ADD
00002824: SWAP1
00002825: DUP2
00002826: MSTORE
00002827: PUSH1 0x20
00002829: ADD
0000282a: PUSH1 0x00
0000282c: KECCAK256
0000282d: SLOAD
0000282e: DUP7
0000282f: PUSH2 0x2b51
00002832: JUMP
00002833: JUMPDEST
00002834: PUSH1 0x04
00002836: PUSH1 0x00
00002838: DUP13
00002839: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000284e: AND
0000284f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002864: AND
00002865: DUP2
00002866: MSTORE
00002867: PUSH1 0x20
00002869: ADD
0000286a: SWAP1
0000286b: DUP2
0000286c: MSTORE
0000286d: PUSH1 0x20
0000286f: ADD
00002870: PUSH1 0x00
00002872: KECCAK256
00002873: DUP2
00002874: SWAP1
00002875: SSTORE
00002876: POP
00002877: DUP4
00002878: DUP6
00002879: PUSH1 0x0a
0000287b: SLOAD
0000287c: MUL
0000287d: SUB
0000287e: SWAP3
0000287f: POP
00002880: DUP3
00002881: PUSH1 0x06
00002883: PUSH1 0x00
00002885: DUP13
00002886: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000289b: AND
0000289c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028b1: AND
000028b2: DUP2
000028b3: MSTORE
000028b4: PUSH1 0x20
000028b6: ADD
000028b7: SWAP1
000028b8: DUP2
000028b9: MSTORE
000028ba: PUSH1 0x20
000028bc: ADD
000028bd: PUSH1 0x00
000028bf: KECCAK256
000028c0: PUSH1 0x00
000028c2: DUP3
000028c3: DUP3
000028c4: SLOAD
000028c5: ADD
000028c6: SWAP3
000028c7: POP
000028c8: POP
000028c9: DUP2
000028ca: SWAP1
000028cb: SSTORE
000028cc: POP
000028cd: DUP12
000028ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028e3: AND
000028e4: DUP11
000028e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028fa: AND
000028fb: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
0000291c: DUP16
0000291d: DUP9
0000291e: PUSH1 0x40
00002920: MLOAD
00002921: DUP1
00002922: DUP4
00002923: DUP2
00002924: MSTORE
00002925: PUSH1 0x20
00002927: ADD
00002928: DUP3
00002929: DUP2
0000292a: MSTORE
0000292b: PUSH1 0x20
0000292d: ADD
0000292e: SWAP3
0000292f: POP
00002930: POP
00002931: POP
00002932: PUSH1 0x40
00002934: MLOAD
00002935: DUP1
00002936: SWAP2
00002937: SUB
00002938: SWAP1
00002939: LOG3
0000293a: DUP5
0000293b: SWAP11
0000293c: POP
0000293d: POP
0000293e: POP
0000293f: POP
00002940: POP
00002941: POP
00002942: POP
00002943: POP
00002944: POP
00002945: POP
00002946: POP
00002947: SWAP3
00002948: SWAP2
00002949: POP
0000294a: POP
0000294b: JUMP
0000294c: JUMPDEST
0000294d: PUSH1 0x00
0000294f: DUP1
00002950: PUSH1 0x00
00002952: DUP5
00002953: EQ
00002954: ISZERO
00002955: PUSH2 0x2961
00002958: JUMPI
00002959: PUSH1 0x00
0000295b: SWAP2
0000295c: POP
0000295d: PUSH2 0x2980
00002960: JUMP
00002961: JUMPDEST
00002962: DUP3
00002963: DUP5
00002964: MUL
00002965: SWAP1
00002966: POP
00002967: DUP3
00002968: DUP5
00002969: DUP3
0000296a: DUP2
0000296b: ISZERO
0000296c: ISZERO
0000296d: PUSH2 0x2972
00002970: JUMPI
00002971: INVALID
00002972: JUMPDEST
00002973: DIV
00002974: EQ
00002975: ISZERO
00002976: ISZERO
00002977: PUSH2 0x297c
0000297a: JUMPI
0000297b: INVALID
0000297c: JUMPDEST
0000297d: DUP1
0000297e: SWAP2
0000297f: POP
00002980: JUMPDEST
00002981: POP
00002982: SWAP3
00002983: SWAP2
00002984: POP
00002985: POP
00002986: JUMP
00002987: JUMPDEST
00002988: PUSH1 0x00
0000298a: DUP1
0000298b: DUP3
0000298c: DUP5
0000298d: DUP2
0000298e: ISZERO
0000298f: ISZERO
00002990: PUSH2 0x2995
00002993: JUMPI
00002994: INVALID
00002995: JUMPDEST
00002996: DIV
00002997: SWAP1
00002998: POP
00002999: DUP1
0000299a: SWAP2
0000299b: POP
0000299c: POP
0000299d: SWAP3
0000299e: SWAP2
0000299f: POP
000029a0: POP
000029a1: JUMP
000029a2: JUMPDEST
000029a3: PUSH1 0x00
000029a5: DUP1
000029a6: PUSH1 0x09
000029a8: SLOAD
000029a9: PUSH5 0x02540be400
000029af: PUSH2 0x2a9a
000029b2: PUSH2 0x2a72
000029b5: PUSH15 0xc097ce7bc90715b34b9f1000000000
000029c5: DUP8
000029c6: PUSH5 0x02540be400
000029cc: PUSH1 0x02
000029ce: MUL
000029cf: MUL
000029d0: MUL
000029d1: PUSH8 0x0de0b6b3a7640000
000029da: PUSH1 0x09
000029dc: SLOAD
000029dd: PUSH1 0x02
000029df: PUSH5 0x02540be400
000029e5: EXP
000029e6: MUL
000029e7: MUL
000029e8: PUSH8 0x0de0b6b3a7640000
000029f1: PUSH1 0x09
000029f3: SLOAD
000029f4: PUSH4 0x3b9aca00
000029f9: PUSH5 0x02540be400
000029ff: PUSH1 0x02
00002a01: MUL
00002a02: MUL
00002a03: MUL
00002a04: MUL
00002a05: PUSH1 0x02
00002a07: PUSH1 0x09
00002a09: SLOAD
00002a0a: EXP
00002a0b: PUSH1 0x02
00002a0d: PUSH5 0x02540be400
00002a13: EXP
00002a14: MUL
00002a15: PUSH15 0x01ed09bead87c0378d8e6400000000
00002a25: PUSH1 0x02
00002a27: PUSH5 0x02540be400
00002a2d: EXP
00002a2e: PUSH1 0x19
00002a30: MUL
00002a31: MUL
00002a32: PUSH15 0xc097ce7bc90715b34b9f1000000000
00002a42: PUSH5 0x02540be400
00002a48: PUSH4 0x3b9aca00
00002a4d: MUL
00002a4e: MUL
00002a4f: PUSH15 0xc097ce7bc90715b34b9f1000000000
00002a5f: PUSH1 0x02
00002a61: PUSH4 0x3b9aca00
00002a66: EXP
00002a67: MUL
00002a68: ADD
00002a69: ADD
00002a6a: ADD
00002a6b: ADD
00002a6c: ADD
00002a6d: ADD
00002a6e: PUSH2 0x2b6f
00002a71: JUMP
00002a72: JUMPDEST
00002a73: PUSH8 0x016345785d8a0000
00002a7c: PUSH5 0x02540be400
00002a82: PUSH1 0x05
00002a84: MUL
00002a85: MUL
00002a86: PUSH8 0x0de0b6b3a7640000
00002a8f: PUSH4 0x3b9aca00
00002a94: MUL
00002a95: ADD
00002a96: PUSH2 0x236a
00002a99: JUMP
00002a9a: JUMPDEST
00002a9b: DUP2
00002a9c: ISZERO
00002a9d: ISZERO
00002a9e: PUSH2 0x2aa3
00002aa1: JUMPI
00002aa2: INVALID
00002aa3: JUMPDEST
00002aa4: DIV
00002aa5: SUB
00002aa6: SWAP1
00002aa7: POP
00002aa8: DUP1
00002aa9: SWAP2
00002aaa: POP
00002aab: POP
00002aac: SWAP2
00002aad: SWAP1
00002aae: POP
00002aaf: JUMP
00002ab0: JUMPDEST
00002ab1: PUSH1 0x00
00002ab3: DUP1
00002ab4: PUSH8 0x0de0b6b3a7640000
00002abd: PUSH2 0x2b29
00002ac0: PUSH1 0x02
00002ac2: DUP6
00002ac3: PUSH5 0x02540be400
00002ac9: MUL
00002aca: DUP2
00002acb: ISZERO
00002acc: ISZERO
00002acd: PUSH2 0x2ad2
00002ad0: JUMPI
00002ad1: INVALID
00002ad2: JUMPDEST
00002ad3: DIV
00002ad4: DUP6
00002ad5: PUSH4 0x3b9aca00
00002ada: MUL
00002adb: PUSH8 0x0de0b6b3a7640000
00002ae4: PUSH1 0x09
00002ae6: SLOAD
00002ae7: DUP9
00002ae8: PUSH5 0x02540be400
00002aee: MUL
00002aef: MUL
00002af0: DUP2
00002af1: ISZERO
00002af2: ISZERO
00002af3: PUSH2 0x2af8
00002af6: JUMPI
00002af7: INVALID
00002af8: JUMPDEST
00002af9: DIV
00002afa: ADD
00002afb: ADD
00002afc: PUSH8 0x0de0b6b3a7640000
00002b05: PUSH1 0x02
00002b07: DUP1
00002b08: DUP9
00002b09: EXP
00002b0a: PUSH5 0x02540be400
00002b10: MUL
00002b11: DUP2
00002b12: ISZERO
00002b13: ISZERO
00002b14: PUSH2 0x2b19
00002b17: JUMPI
00002b18: INVALID
00002b19: JUMPDEST
00002b1a: DIV
00002b1b: DUP2
00002b1c: ISZERO
00002b1d: ISZERO
00002b1e: PUSH2 0x2b23
00002b21: JUMPI
00002b22: INVALID
00002b23: JUMPDEST
00002b24: DIV
00002b25: PUSH2 0x236a
00002b28: JUMP
00002b29: JUMPDEST
00002b2a: DUP2
00002b2b: ISZERO
00002b2c: ISZERO
00002b2d: PUSH2 0x2b32
00002b30: JUMPI
00002b31: INVALID
00002b32: JUMPDEST
00002b33: DIV
00002b34: SWAP1
00002b35: POP
00002b36: DUP1
00002b37: SWAP2
00002b38: POP
00002b39: POP
00002b3a: SWAP2
00002b3b: SWAP1
00002b3c: POP
00002b3d: JUMP
00002b3e: JUMPDEST
00002b3f: PUSH1 0x00
00002b41: DUP1
00002b42: DUP3
00002b43: EXTCODESIZE
00002b44: SWAP1
00002b45: POP
00002b46: PUSH1 0x00
00002b48: DUP2
00002b49: GT
00002b4a: SWAP2
00002b4b: POP
00002b4c: POP
00002b4d: SWAP2
00002b4e: SWAP1
00002b4f: POP
00002b50: JUMP
00002b51: JUMPDEST
00002b52: PUSH1 0x00
00002b54: DUP1
00002b55: DUP3
00002b56: DUP5
00002b57: ADD
00002b58: SWAP1
00002b59: POP
00002b5a: DUP4
00002b5b: DUP2
00002b5c: LT
00002b5d: ISZERO
00002b5e: ISZERO
00002b5f: ISZERO
00002b60: PUSH2 0x2b65
00002b63: JUMPI
00002b64: INVALID
00002b65: JUMPDEST
00002b66: DUP1
00002b67: SWAP2
00002b68: POP
00002b69: POP
00002b6a: SWAP3
00002b6b: SWAP2
00002b6c: POP
00002b6d: POP
00002b6e: JUMP
00002b6f: JUMPDEST
00002b70: PUSH1 0x00
00002b72: DUP1
00002b73: PUSH1 0x02
00002b75: PUSH1 0x01
00002b77: DUP5
00002b78: ADD
00002b79: DUP2
00002b7a: ISZERO
00002b7b: ISZERO
00002b7c: PUSH2 0x2b81
00002b7f: JUMPI
00002b80: INVALID
00002b81: JUMPDEST
00002b82: DIV
00002b83: SWAP1
00002b84: POP
00002b85: DUP3
00002b86: SWAP2
00002b87: POP
00002b88: JUMPDEST
00002b89: DUP2
00002b8a: DUP2
00002b8b: LT
00002b8c: ISZERO
00002b8d: PUSH2 0x2bb4
00002b90: JUMPI
00002b91: DUP1
00002b92: SWAP2
00002b93: POP
00002b94: PUSH1 0x02
00002b96: DUP2
00002b97: DUP3
00002b98: DUP6
00002b99: DUP2
00002b9a: ISZERO
00002b9b: ISZERO
00002b9c: PUSH2 0x2ba1
00002b9f: JUMPI
00002ba0: INVALID
00002ba1: JUMPDEST
00002ba2: DIV
00002ba3: ADD
00002ba4: DUP2
00002ba5: ISZERO
00002ba6: ISZERO
00002ba7: PUSH2 0x2bac
00002baa: JUMPI
00002bab: INVALID
00002bac: JUMPDEST
00002bad: DIV
00002bae: SWAP1
00002baf: POP
00002bb0: PUSH2 0x2b88
00002bb3: JUMP
00002bb4: JUMPDEST
00002bb5: POP
00002bb6: SWAP2
00002bb7: SWAP1
00002bb8: POP
00002bb9: JUMP
00002bba: JUMPDEST
00002bbb: DUP3
00002bbc: DUP1
00002bbd: SLOAD
00002bbe: PUSH1 0x01
00002bc0: DUP2
00002bc1: PUSH1 0x01
00002bc3: AND
00002bc4: ISZERO
00002bc5: PUSH2 0x0100
00002bc8: MUL
00002bc9: SUB
00002bca: AND
00002bcb: PUSH1 0x02
00002bcd: SWAP1
00002bce: DIV
00002bcf: SWAP1
00002bd0: PUSH1 0x00
00002bd2: MSTORE
00002bd3: PUSH1 0x20
00002bd5: PUSH1 0x00
00002bd7: KECCAK256
00002bd8: SWAP1
00002bd9: PUSH1 0x1f
00002bdb: ADD
00002bdc: PUSH1 0x20
00002bde: SWAP1
00002bdf: DIV
00002be0: DUP2
00002be1: ADD
00002be2: SWAP3
00002be3: DUP3
00002be4: PUSH1 0x1f
00002be6: LT
00002be7: PUSH2 0x2bfb
00002bea: JUMPI
00002beb: DUP1
00002bec: MLOAD
00002bed: PUSH1 0xff
00002bef: NOT
00002bf0: AND
00002bf1: DUP4
00002bf2: DUP1
00002bf3: ADD
00002bf4: OR
00002bf5: DUP6
00002bf6: SSTORE
00002bf7: PUSH2 0x2c29
00002bfa: JUMP
00002bfb: JUMPDEST
00002bfc: DUP3
00002bfd: DUP1
00002bfe: ADD
00002bff: PUSH1 0x01
00002c01: ADD
00002c02: DUP6
00002c03: SSTORE
00002c04: DUP3
00002c05: ISZERO
00002c06: PUSH2 0x2c29
00002c09: JUMPI
00002c0a: SWAP2
00002c0b: DUP3
00002c0c: ADD
00002c0d: JUMPDEST
00002c0e: DUP3
00002c0f: DUP2
00002c10: GT
00002c11: ISZERO
00002c12: PUSH2 0x2c28
00002c15: JUMPI
00002c16: DUP3
00002c17: MLOAD
00002c18: DUP3
00002c19: SSTORE
00002c1a: SWAP2
00002c1b: PUSH1 0x20
00002c1d: ADD
00002c1e: SWAP2
00002c1f: SWAP1
00002c20: PUSH1 0x01
00002c22: ADD
00002c23: SWAP1
00002c24: PUSH2 0x2c0d
00002c27: JUMP
00002c28: JUMPDEST
00002c29: JUMPDEST
00002c2a: POP
00002c2b: SWAP1
00002c2c: POP
00002c2d: PUSH2 0x2c36
00002c30: SWAP2
00002c31: SWAP1
00002c32: PUSH2 0x2c3a
00002c35: JUMP
00002c36: JUMPDEST
00002c37: POP
00002c38: SWAP1
00002c39: JUMP
00002c3a: JUMPDEST
00002c3b: PUSH2 0x2c5c
00002c3e: SWAP2
00002c3f: SWAP1
00002c40: JUMPDEST
00002c41: DUP1
00002c42: DUP3
00002c43: GT
00002c44: ISZERO
00002c45: PUSH2 0x2c58
00002c48: JUMPI
00002c49: PUSH1 0x00
00002c4b: DUP2
00002c4c: PUSH1 0x00
00002c4e: SWAP1
00002c4f: SSTORE
00002c50: POP
00002c51: PUSH1 0x01
00002c53: ADD
00002c54: PUSH2 0x2c40
00002c57: JUMP
00002c58: JUMPDEST
00002c59: POP
00002c5a: SWAP1
00002c5b: JUMP
00002c5c: JUMPDEST
00002c5d: SWAP1
00002c5e: JUMP
00002c5f: STOP
00002c60: LOG1
00002c61: PUSH6 0x627a7a723058
00002c68: KECCAK256
00002c69: UNKNOWN(0xF8)
00002c6a: GT
00002c6b: UNKNOWN(0xAA)
00002c6c: REVERT
00002c6d: SGT
00002c6e: UNKNOWN(0xE9)
00002c6f: ADDRESS
00002c70: PUSH4 0xbf16f05e
00002c75: STATICCALL
00002c76: SHL
00002c77: SWAP5
00002c78: UNKNOWN(0xA7)
00002c79: UNKNOWN(0xD0)
00002c7a: PUSH3 0x8d2e2f
00002c7e: EXTCODESIZE
00002c7f: ISZERO
00002c80: DUP9
00002c81: PUSH23
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: 0x9b1fcfc789ca07522f18275317cd26462d96a610abb6a1ac8c693f52cf51d4b3 call_targets: 0x2747fe8dc21d5efcc0787101dc986df028bd42b9 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x9b1fcfc789ca07522f18275317cd26462d96a610abb6a1ac8c693f52cf51d4b3", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x2747fe8dc21d5efcc0787101dc986df028bd42b9" ], "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": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0f34dc16", "selector": "0x0f34dc16", "calldata_variants": [ "0x0f34dc16", "0x0f34dc160000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27defa1f", "selector": "0x27defa1f", "calldata_variants": [ "0x27defa1f", "0x27defa1f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2d7b30e3", "selector": "0x2d7b30e3", "calldata_variants": [ "0x2d7b30e3", "0x2d7b30e30000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3315, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4304, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4805, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [], "untrusted_call_count": 4 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x9b1fcfc789ca07522f18275317cd26462d96a610abb6a1ac8c693f52cf51d4b3 call_targets: 0x2747fe8dc21d5efcc0787101dc986df028bd42b9 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x9b1fcfc789ca07522f18275317cd26462d96a610abb6a1ac8c693f52cf51d4b3", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x2747fe8dc21d5efcc0787101dc986df028bd42b9" ], "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": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0f34dc16", "selector": "0x0f34dc16", "calldata_variants": [ "0x0f34dc16", "0x0f34dc160000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27defa1f", "selector": "0x27defa1f", "calldata_variants": [ "0x27defa1f", "0x27defa1f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2d7b30e3", "selector": "0x2d7b30e3", "calldata_variants": [ "0x2d7b30e3", "0x2d7b30e30000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3315, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4304, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4805, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [] }
Severity