Analysis Run

019b477e-aed3-7023-a06a-8526fcb92017
complete
Chain ID
1
Address
0x0b3e515cb8b318120c5a126679eb945f2bb2ddea
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
21661	artifact.fetch	complete	1 / 3	3 months ago
21662	tool.cast_disasm	complete	1 / 3	3 months ago
64930	analysis.bundle	complete	1 / 3	2 weeks ago
64931	capability.graph	complete	1 / 3	2 weeks ago
64932	detector.run	complete	1 / 3	2 weeks ago
64933	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
4
EXT*/BALANCE
4
Total opcodes
5752
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01b6
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 0x01c4
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x06fdde03
00000046: EQ
00000047: PUSH2 0x0211
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x0f34dc16
00000051: EQ
00000052: PUSH2 0x029f
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x10d0ffdd
0000005c: EQ
0000005d: PUSH2 0x02f0
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x18160ddd
00000067: EQ
00000068: PUSH2 0x0327
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x22609373
00000072: EQ
00000073: PUSH2 0x0350
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x27defa1f
0000007d: EQ
0000007e: PUSH2 0x0387
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x294205b4
00000088: EQ
00000089: PUSH2 0x03b4
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x313ce567
00000093: EQ
00000094: PUSH2 0x03f8
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x3b545d2f
0000009e: EQ
0000009f: PUSH2 0x0427
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x3ccfd60b
000000a9: EQ
000000aa: PUSH2 0x0450
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x4000aea0
000000b4: EQ
000000b5: PUSH2 0x0465
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x4071f89b
000000bf: EQ
000000c0: PUSH2 0x04d3
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x4b750334
000000ca: EQ
000000cb: PUSH2 0x04dd
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x56d399e8
000000d5: EQ
000000d6: PUSH2 0x0506
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x688abbf7
000000e0: EQ
000000e1: PUSH2 0x052f
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x6b2f4632
000000eb: EQ
000000ec: PUSH2 0x0568
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x70a08231
000000f6: EQ
000000f7: PUSH2 0x0591
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x76be1585
00000101: EQ
00000102: PUSH2 0x05de
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x8328b610
0000010c: EQ
0000010d: PUSH2 0x062f
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x8620410b
00000117: EQ
00000118: PUSH2 0x0652
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0x87c95058
00000122: EQ
00000123: PUSH2 0x067b
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0x91a266ac
0000012d: EQ
0000012e: PUSH2 0x06bf
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0x949e8acd
00000138: EQ
00000139: PUSH2 0x06e8
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x95d89b41
00000143: EQ
00000144: PUSH2 0x0711
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xa8e04f34
0000014e: EQ
0000014f: PUSH2 0x079f
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xa9059cbb
00000159: EQ
0000015a: PUSH2 0x07b4
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xb743f7b6
00000164: EQ
00000165: PUSH2 0x080e
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xb84c8246
0000016f: EQ
00000170: PUSH2 0x0863
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0xc47f0027
0000017a: EQ
0000017b: PUSH2 0x08c0
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0xcbe0a1aa
00000185: EQ
00000186: PUSH2 0x091d
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0xe4849b32
00000190: EQ
00000191: PUSH2 0x0946
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0xe9fad8ee
0000019b: EQ
0000019c: PUSH2 0x0969
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0xf088d547
000001a6: EQ
000001a7: PUSH2 0x097e
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0xfdb5a03e
000001b1: EQ
000001b2: PUSH2 0x09c0
000001b5: JUMPI
000001b6: JUMPDEST
000001b7: PUSH2 0x01c1
000001ba: CALLVALUE
000001bb: PUSH1 0x00
000001bd: PUSH2 0x09d5
000001c0: JUMP
000001c1: JUMPDEST
000001c2: POP
000001c3: STOP
000001c4: JUMPDEST
000001c5: CALLVALUE
000001c6: ISZERO
000001c7: PUSH2 0x01cf
000001ca: JUMPI
000001cb: PUSH1 0x00
000001cd: DUP1
000001ce: REVERT
000001cf: JUMPDEST
000001d0: PUSH2 0x01fb
000001d3: PUSH1 0x04
000001d5: DUP1
000001d6: DUP1
000001d7: CALLDATALOAD
000001d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001ed: AND
000001ee: SWAP1
000001ef: PUSH1 0x20
000001f1: ADD
000001f2: SWAP1
000001f3: SWAP2
000001f4: SWAP1
000001f5: POP
000001f6: POP
000001f7: PUSH2 0x0acf
000001fa: JUMP
000001fb: JUMPDEST
000001fc: PUSH1 0x40
000001fe: MLOAD
000001ff: DUP1
00000200: DUP3
00000201: DUP2
00000202: MSTORE
00000203: PUSH1 0x20
00000205: ADD
00000206: SWAP2
00000207: POP
00000208: POP
00000209: PUSH1 0x40
0000020b: MLOAD
0000020c: DUP1
0000020d: SWAP2
0000020e: SUB
0000020f: SWAP1
00000210: RETURN
00000211: JUMPDEST
00000212: CALLVALUE
00000213: ISZERO
00000214: PUSH2 0x021c
00000217: JUMPI
00000218: PUSH1 0x00
0000021a: DUP1
0000021b: REVERT
0000021c: JUMPDEST
0000021d: PUSH2 0x0224
00000220: PUSH2 0x0b71
00000223: JUMP
00000224: JUMPDEST
00000225: PUSH1 0x40
00000227: MLOAD
00000228: DUP1
00000229: DUP1
0000022a: PUSH1 0x20
0000022c: ADD
0000022d: DUP3
0000022e: DUP2
0000022f: SUB
00000230: DUP3
00000231: MSTORE
00000232: DUP4
00000233: DUP2
00000234: DUP2
00000235: MLOAD
00000236: DUP2
00000237: MSTORE
00000238: PUSH1 0x20
0000023a: ADD
0000023b: SWAP2
0000023c: POP
0000023d: DUP1
0000023e: MLOAD
0000023f: SWAP1
00000240: PUSH1 0x20
00000242: ADD
00000243: SWAP1
00000244: DUP1
00000245: DUP4
00000246: DUP4
00000247: PUSH1 0x00
00000249: JUMPDEST
0000024a: DUP4
0000024b: DUP2
0000024c: LT
0000024d: ISZERO
0000024e: PUSH2 0x0264
00000251: JUMPI
00000252: DUP1
00000253: DUP3
00000254: ADD
00000255: MLOAD
00000256: DUP2
00000257: DUP5
00000258: ADD
00000259: MSTORE
0000025a: PUSH1 0x20
0000025c: DUP2
0000025d: ADD
0000025e: SWAP1
0000025f: POP
00000260: PUSH2 0x0249
00000263: JUMP
00000264: JUMPDEST
00000265: POP
00000266: POP
00000267: POP
00000268: POP
00000269: SWAP1
0000026a: POP
0000026b: SWAP1
0000026c: DUP2
0000026d: ADD
0000026e: SWAP1
0000026f: PUSH1 0x1f
00000271: AND
00000272: DUP1
00000273: ISZERO
00000274: PUSH2 0x0291
00000277: JUMPI
00000278: DUP1
00000279: DUP3
0000027a: SUB
0000027b: DUP1
0000027c: MLOAD
0000027d: PUSH1 0x01
0000027f: DUP4
00000280: PUSH1 0x20
00000282: SUB
00000283: PUSH2 0x0100
00000286: EXP
00000287: SUB
00000288: NOT
00000289: AND
0000028a: DUP2
0000028b: MSTORE
0000028c: PUSH1 0x20
0000028e: ADD
0000028f: SWAP2
00000290: POP
00000291: JUMPDEST
00000292: POP
00000293: SWAP3
00000294: POP
00000295: POP
00000296: POP
00000297: PUSH1 0x40
00000299: MLOAD
0000029a: DUP1
0000029b: SWAP2
0000029c: SUB
0000029d: SWAP1
0000029e: RETURN
0000029f: JUMPDEST
000002a0: CALLVALUE
000002a1: ISZERO
000002a2: PUSH2 0x02aa
000002a5: JUMPI
000002a6: PUSH1 0x00
000002a8: DUP1
000002a9: REVERT
000002aa: JUMPDEST
000002ab: PUSH2 0x02d6
000002ae: PUSH1 0x04
000002b0: DUP1
000002b1: DUP1
000002b2: CALLDATALOAD
000002b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002c8: AND
000002c9: SWAP1
000002ca: PUSH1 0x20
000002cc: ADD
000002cd: SWAP1
000002ce: SWAP2
000002cf: SWAP1
000002d0: POP
000002d1: POP
000002d2: PUSH2 0x0c0f
000002d5: JUMP
000002d6: JUMPDEST
000002d7: PUSH1 0x40
000002d9: MLOAD
000002da: DUP1
000002db: DUP3
000002dc: ISZERO
000002dd: ISZERO
000002de: ISZERO
000002df: ISZERO
000002e0: DUP2
000002e1: MSTORE
000002e2: PUSH1 0x20
000002e4: ADD
000002e5: SWAP2
000002e6: POP
000002e7: POP
000002e8: PUSH1 0x40
000002ea: MLOAD
000002eb: DUP1
000002ec: SWAP2
000002ed: SUB
000002ee: SWAP1
000002ef: RETURN
000002f0: JUMPDEST
000002f1: CALLVALUE
000002f2: ISZERO
000002f3: PUSH2 0x02fb
000002f6: JUMPI
000002f7: PUSH1 0x00
000002f9: DUP1
000002fa: REVERT
000002fb: JUMPDEST
000002fc: PUSH2 0x0311
000002ff: PUSH1 0x04
00000301: DUP1
00000302: DUP1
00000303: CALLDATALOAD
00000304: SWAP1
00000305: PUSH1 0x20
00000307: ADD
00000308: SWAP1
00000309: SWAP2
0000030a: SWAP1
0000030b: POP
0000030c: POP
0000030d: PUSH2 0x0c2f
00000310: JUMP
00000311: JUMPDEST
00000312: PUSH1 0x40
00000314: MLOAD
00000315: DUP1
00000316: DUP3
00000317: DUP2
00000318: MSTORE
00000319: PUSH1 0x20
0000031b: ADD
0000031c: SWAP2
0000031d: POP
0000031e: POP
0000031f: PUSH1 0x40
00000321: MLOAD
00000322: DUP1
00000323: SWAP2
00000324: SUB
00000325: SWAP1
00000326: RETURN
00000327: JUMPDEST
00000328: CALLVALUE
00000329: ISZERO
0000032a: PUSH2 0x0332
0000032d: JUMPI
0000032e: PUSH1 0x00
00000330: DUP1
00000331: REVERT
00000332: JUMPDEST
00000333: PUSH2 0x033a
00000336: PUSH2 0x0c97
00000339: JUMP
0000033a: JUMPDEST
0000033b: PUSH1 0x40
0000033d: MLOAD
0000033e: DUP1
0000033f: DUP3
00000340: DUP2
00000341: MSTORE
00000342: PUSH1 0x20
00000344: ADD
00000345: SWAP2
00000346: POP
00000347: POP
00000348: PUSH1 0x40
0000034a: MLOAD
0000034b: DUP1
0000034c: SWAP2
0000034d: SUB
0000034e: SWAP1
0000034f: RETURN
00000350: JUMPDEST
00000351: CALLVALUE
00000352: ISZERO
00000353: PUSH2 0x035b
00000356: JUMPI
00000357: PUSH1 0x00
00000359: DUP1
0000035a: REVERT
0000035b: JUMPDEST
0000035c: PUSH2 0x0371
0000035f: PUSH1 0x04
00000361: DUP1
00000362: DUP1
00000363: CALLDATALOAD
00000364: SWAP1
00000365: PUSH1 0x20
00000367: ADD
00000368: SWAP1
00000369: SWAP2
0000036a: SWAP1
0000036b: POP
0000036c: POP
0000036d: PUSH2 0x0ca1
00000370: JUMP
00000371: JUMPDEST
00000372: PUSH1 0x40
00000374: MLOAD
00000375: DUP1
00000376: DUP3
00000377: DUP2
00000378: MSTORE
00000379: PUSH1 0x20
0000037b: ADD
0000037c: SWAP2
0000037d: POP
0000037e: POP
0000037f: PUSH1 0x40
00000381: MLOAD
00000382: DUP1
00000383: SWAP2
00000384: SUB
00000385: SWAP1
00000386: RETURN
00000387: JUMPDEST
00000388: CALLVALUE
00000389: ISZERO
0000038a: PUSH2 0x0392
0000038d: JUMPI
0000038e: PUSH1 0x00
00000390: DUP1
00000391: REVERT
00000392: JUMPDEST
00000393: PUSH2 0x039a
00000396: PUSH2 0x0d1a
00000399: JUMP
0000039a: JUMPDEST
0000039b: PUSH1 0x40
0000039d: MLOAD
0000039e: DUP1
0000039f: DUP3
000003a0: ISZERO
000003a1: ISZERO
000003a2: ISZERO
000003a3: ISZERO
000003a4: DUP2
000003a5: MSTORE
000003a6: PUSH1 0x20
000003a8: ADD
000003a9: SWAP2
000003aa: POP
000003ab: POP
000003ac: PUSH1 0x40
000003ae: MLOAD
000003af: DUP1
000003b0: SWAP2
000003b1: SUB
000003b2: SWAP1
000003b3: RETURN
000003b4: JUMPDEST
000003b5: CALLVALUE
000003b6: ISZERO
000003b7: PUSH2 0x03bf
000003ba: JUMPI
000003bb: PUSH1 0x00
000003bd: DUP1
000003be: REVERT
000003bf: JUMPDEST
000003c0: PUSH2 0x03f6
000003c3: PUSH1 0x04
000003c5: DUP1
000003c6: DUP1
000003c7: CALLDATALOAD
000003c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003dd: AND
000003de: SWAP1
000003df: PUSH1 0x20
000003e1: ADD
000003e2: SWAP1
000003e3: SWAP2
000003e4: SWAP1
000003e5: DUP1
000003e6: CALLDATALOAD
000003e7: ISZERO
000003e8: ISZERO
000003e9: SWAP1
000003ea: PUSH1 0x20
000003ec: ADD
000003ed: SWAP1
000003ee: SWAP2
000003ef: SWAP1
000003f0: POP
000003f1: POP
000003f2: PUSH2 0x0d2d
000003f5: JUMP
000003f6: JUMPDEST
000003f7: STOP
000003f8: JUMPDEST
000003f9: CALLVALUE
000003fa: ISZERO
000003fb: PUSH2 0x0403
000003fe: JUMPI
000003ff: PUSH1 0x00
00000401: DUP1
00000402: REVERT
00000403: JUMPDEST
00000404: PUSH2 0x040b
00000407: PUSH2 0x0de6
0000040a: JUMP
0000040b: JUMPDEST
0000040c: PUSH1 0x40
0000040e: MLOAD
0000040f: DUP1
00000410: DUP3
00000411: PUSH1 0xff
00000413: AND
00000414: PUSH1 0xff
00000416: AND
00000417: DUP2
00000418: MSTORE
00000419: PUSH1 0x20
0000041b: ADD
0000041c: SWAP2
0000041d: POP
0000041e: POP
0000041f: PUSH1 0x40
00000421: MLOAD
00000422: DUP1
00000423: SWAP2
00000424: SUB
00000425: SWAP1
00000426: RETURN
00000427: JUMPDEST
00000428: CALLVALUE
00000429: ISZERO
0000042a: PUSH2 0x0432
0000042d: JUMPI
0000042e: PUSH1 0x00
00000430: DUP1
00000431: REVERT
00000432: JUMPDEST
00000433: PUSH2 0x043a
00000436: PUSH2 0x0deb
00000439: JUMP
0000043a: JUMPDEST
0000043b: PUSH1 0x40
0000043d: MLOAD
0000043e: DUP1
0000043f: DUP3
00000440: DUP2
00000441: MSTORE
00000442: PUSH1 0x20
00000444: ADD
00000445: SWAP2
00000446: POP
00000447: POP
00000448: PUSH1 0x40
0000044a: MLOAD
0000044b: DUP1
0000044c: SWAP2
0000044d: SUB
0000044e: SWAP1
0000044f: RETURN
00000450: JUMPDEST
00000451: CALLVALUE
00000452: ISZERO
00000453: PUSH2 0x045b
00000456: JUMPI
00000457: PUSH1 0x00
00000459: DUP1
0000045a: REVERT
0000045b: JUMPDEST
0000045c: PUSH2 0x0463
0000045f: PUSH2 0x0e00
00000462: JUMP
00000463: JUMPDEST
00000464: STOP
00000465: JUMPDEST
00000466: CALLVALUE
00000467: ISZERO
00000468: PUSH2 0x0470
0000046b: JUMPI
0000046c: PUSH1 0x00
0000046e: DUP1
0000046f: REVERT
00000470: JUMPDEST
00000471: PUSH2 0x04b9
00000474: PUSH1 0x04
00000476: DUP1
00000477: DUP1
00000478: CALLDATALOAD
00000479: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000048e: AND
0000048f: SWAP1
00000490: PUSH1 0x20
00000492: ADD
00000493: SWAP1
00000494: SWAP2
00000495: SWAP1
00000496: DUP1
00000497: CALLDATALOAD
00000498: SWAP1
00000499: PUSH1 0x20
0000049b: ADD
0000049c: SWAP1
0000049d: SWAP2
0000049e: SWAP1
0000049f: DUP1
000004a0: CALLDATALOAD
000004a1: SWAP1
000004a2: PUSH1 0x20
000004a4: ADD
000004a5: SWAP1
000004a6: DUP3
000004a7: ADD
000004a8: DUP1
000004a9: CALLDATALOAD
000004aa: SWAP1
000004ab: PUSH1 0x20
000004ad: ADD
000004ae: SWAP2
000004af: SWAP1
000004b0: SWAP2
000004b1: SWAP3
000004b2: SWAP1
000004b3: POP
000004b4: POP
000004b5: PUSH2 0x0f9d
000004b8: JUMP
000004b9: JUMPDEST
000004ba: PUSH1 0x40
000004bc: MLOAD
000004bd: DUP1
000004be: DUP3
000004bf: ISZERO
000004c0: ISZERO
000004c1: ISZERO
000004c2: ISZERO
000004c3: DUP2
000004c4: MSTORE
000004c5: PUSH1 0x20
000004c7: ADD
000004c8: SWAP2
000004c9: POP
000004ca: POP
000004cb: PUSH1 0x40
000004cd: MLOAD
000004ce: DUP1
000004cf: SWAP2
000004d0: SUB
000004d1: SWAP1
000004d2: RETURN
000004d3: JUMPDEST
000004d4: PUSH2 0x04db
000004d7: PUSH2 0x1155
000004da: JUMP
000004db: JUMPDEST
000004dc: STOP
000004dd: JUMPDEST
000004de: CALLVALUE
000004df: ISZERO
000004e0: PUSH2 0x04e8
000004e3: JUMPI
000004e4: PUSH1 0x00
000004e6: DUP1
000004e7: REVERT
000004e8: JUMPDEST
000004e9: PUSH2 0x04f0
000004ec: PUSH2 0x11ea
000004ef: JUMP
000004f0: JUMPDEST
000004f1: PUSH1 0x40
000004f3: MLOAD
000004f4: DUP1
000004f5: DUP3
000004f6: DUP2
000004f7: MSTORE
000004f8: PUSH1 0x20
000004fa: ADD
000004fb: SWAP2
000004fc: POP
000004fd: POP
000004fe: PUSH1 0x40
00000500: MLOAD
00000501: DUP1
00000502: SWAP2
00000503: SUB
00000504: SWAP1
00000505: RETURN
00000506: JUMPDEST
00000507: CALLVALUE
00000508: ISZERO
00000509: PUSH2 0x0511
0000050c: JUMPI
0000050d: PUSH1 0x00
0000050f: DUP1
00000510: REVERT
00000511: JUMPDEST
00000512: PUSH2 0x0519
00000515: PUSH2 0x1277
00000518: JUMP
00000519: JUMPDEST
0000051a: PUSH1 0x40
0000051c: MLOAD
0000051d: DUP1
0000051e: DUP3
0000051f: DUP2
00000520: MSTORE
00000521: PUSH1 0x20
00000523: ADD
00000524: SWAP2
00000525: POP
00000526: POP
00000527: PUSH1 0x40
00000529: MLOAD
0000052a: DUP1
0000052b: SWAP2
0000052c: SUB
0000052d: SWAP1
0000052e: RETURN
0000052f: JUMPDEST
00000530: CALLVALUE
00000531: ISZERO
00000532: PUSH2 0x053a
00000535: JUMPI
00000536: PUSH1 0x00
00000538: DUP1
00000539: REVERT
0000053a: JUMPDEST
0000053b: PUSH2 0x0552
0000053e: PUSH1 0x04
00000540: DUP1
00000541: DUP1
00000542: CALLDATALOAD
00000543: ISZERO
00000544: ISZERO
00000545: SWAP1
00000546: PUSH1 0x20
00000548: ADD
00000549: SWAP1
0000054a: SWAP2
0000054b: SWAP1
0000054c: POP
0000054d: POP
0000054e: PUSH2 0x127d
00000551: JUMP
00000552: JUMPDEST
00000553: PUSH1 0x40
00000555: MLOAD
00000556: DUP1
00000557: DUP3
00000558: DUP2
00000559: MSTORE
0000055a: PUSH1 0x20
0000055c: ADD
0000055d: SWAP2
0000055e: POP
0000055f: POP
00000560: PUSH1 0x40
00000562: MLOAD
00000563: DUP1
00000564: SWAP2
00000565: SUB
00000566: SWAP1
00000567: RETURN
00000568: JUMPDEST
00000569: CALLVALUE
0000056a: ISZERO
0000056b: PUSH2 0x0573
0000056e: JUMPI
0000056f: PUSH1 0x00
00000571: DUP1
00000572: REVERT
00000573: JUMPDEST
00000574: PUSH2 0x057b
00000577: PUSH2 0x12e9
0000057a: JUMP
0000057b: JUMPDEST
0000057c: PUSH1 0x40
0000057e: MLOAD
0000057f: DUP1
00000580: DUP3
00000581: DUP2
00000582: MSTORE
00000583: PUSH1 0x20
00000585: ADD
00000586: SWAP2
00000587: POP
00000588: POP
00000589: PUSH1 0x40
0000058b: MLOAD
0000058c: DUP1
0000058d: SWAP2
0000058e: SUB
0000058f: SWAP1
00000590: RETURN
00000591: JUMPDEST
00000592: CALLVALUE
00000593: ISZERO
00000594: PUSH2 0x059c
00000597: JUMPI
00000598: PUSH1 0x00
0000059a: DUP1
0000059b: REVERT
0000059c: JUMPDEST
0000059d: PUSH2 0x05c8
000005a0: PUSH1 0x04
000005a2: DUP1
000005a3: DUP1
000005a4: CALLDATALOAD
000005a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ba: AND
000005bb: SWAP1
000005bc: PUSH1 0x20
000005be: ADD
000005bf: SWAP1
000005c0: SWAP2
000005c1: SWAP1
000005c2: POP
000005c3: POP
000005c4: PUSH2 0x1308
000005c7: JUMP
000005c8: JUMPDEST
000005c9: PUSH1 0x40
000005cb: MLOAD
000005cc: DUP1
000005cd: DUP3
000005ce: DUP2
000005cf: MSTORE
000005d0: PUSH1 0x20
000005d2: ADD
000005d3: SWAP2
000005d4: POP
000005d5: POP
000005d6: PUSH1 0x40
000005d8: MLOAD
000005d9: DUP1
000005da: SWAP2
000005db: SUB
000005dc: SWAP1
000005dd: RETURN
000005de: JUMPDEST
000005df: CALLVALUE
000005e0: ISZERO
000005e1: PUSH2 0x05e9
000005e4: JUMPI
000005e5: PUSH1 0x00
000005e7: DUP1
000005e8: REVERT
000005e9: JUMPDEST
000005ea: PUSH2 0x0615
000005ed: PUSH1 0x04
000005ef: DUP1
000005f0: DUP1
000005f1: CALLDATALOAD
000005f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000607: AND
00000608: SWAP1
00000609: PUSH1 0x20
0000060b: ADD
0000060c: SWAP1
0000060d: SWAP2
0000060e: SWAP1
0000060f: POP
00000610: POP
00000611: PUSH2 0x1351
00000614: JUMP
00000615: JUMPDEST
00000616: PUSH1 0x40
00000618: MLOAD
00000619: DUP1
0000061a: DUP3
0000061b: ISZERO
0000061c: ISZERO
0000061d: ISZERO
0000061e: ISZERO
0000061f: DUP2
00000620: MSTORE
00000621: PUSH1 0x20
00000623: ADD
00000624: SWAP2
00000625: POP
00000626: POP
00000627: PUSH1 0x40
00000629: MLOAD
0000062a: DUP1
0000062b: SWAP2
0000062c: SUB
0000062d: SWAP1
0000062e: RETURN
0000062f: JUMPDEST
00000630: CALLVALUE
00000631: ISZERO
00000632: PUSH2 0x063a
00000635: JUMPI
00000636: PUSH1 0x00
00000638: DUP1
00000639: REVERT
0000063a: JUMPDEST
0000063b: PUSH2 0x0650
0000063e: PUSH1 0x04
00000640: DUP1
00000641: DUP1
00000642: CALLDATALOAD
00000643: SWAP1
00000644: PUSH1 0x20
00000646: ADD
00000647: SWAP1
00000648: SWAP2
00000649: SWAP1
0000064a: POP
0000064b: POP
0000064c: PUSH2 0x1371
0000064f: JUMP
00000650: JUMPDEST
00000651: STOP
00000652: JUMPDEST
00000653: CALLVALUE
00000654: ISZERO
00000655: PUSH2 0x065d
00000658: JUMPI
00000659: PUSH1 0x00
0000065b: DUP1
0000065c: REVERT
0000065d: JUMPDEST
0000065e: PUSH2 0x0665
00000661: PUSH2 0x13d9
00000664: JUMP
00000665: JUMPDEST
00000666: PUSH1 0x40
00000668: MLOAD
00000669: DUP1
0000066a: DUP3
0000066b: DUP2
0000066c: MSTORE
0000066d: PUSH1 0x20
0000066f: ADD
00000670: SWAP2
00000671: POP
00000672: POP
00000673: PUSH1 0x40
00000675: MLOAD
00000676: DUP1
00000677: SWAP2
00000678: SUB
00000679: SWAP1
0000067a: RETURN
0000067b: JUMPDEST
0000067c: CALLVALUE
0000067d: ISZERO
0000067e: PUSH2 0x0686
00000681: JUMPI
00000682: PUSH1 0x00
00000684: DUP1
00000685: REVERT
00000686: JUMPDEST
00000687: PUSH2 0x06bd
0000068a: PUSH1 0x04
0000068c: DUP1
0000068d: DUP1
0000068e: CALLDATALOAD
0000068f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006a4: AND
000006a5: SWAP1
000006a6: PUSH1 0x20
000006a8: ADD
000006a9: SWAP1
000006aa: SWAP2
000006ab: SWAP1
000006ac: DUP1
000006ad: CALLDATALOAD
000006ae: ISZERO
000006af: ISZERO
000006b0: SWAP1
000006b1: PUSH1 0x20
000006b3: ADD
000006b4: SWAP1
000006b5: SWAP2
000006b6: SWAP1
000006b7: POP
000006b8: POP
000006b9: PUSH2 0x1466
000006bc: JUMP
000006bd: JUMPDEST
000006be: STOP
000006bf: JUMPDEST
000006c0: CALLVALUE
000006c1: ISZERO
000006c2: PUSH2 0x06ca
000006c5: JUMPI
000006c6: PUSH1 0x00
000006c8: DUP1
000006c9: REVERT
000006ca: JUMPDEST
000006cb: PUSH2 0x06d2
000006ce: PUSH2 0x151f
000006d1: JUMP
000006d2: JUMPDEST
000006d3: PUSH1 0x40
000006d5: MLOAD
000006d6: DUP1
000006d7: DUP3
000006d8: DUP2
000006d9: MSTORE
000006da: PUSH1 0x20
000006dc: ADD
000006dd: SWAP2
000006de: POP
000006df: POP
000006e0: PUSH1 0x40
000006e2: MLOAD
000006e3: DUP1
000006e4: SWAP2
000006e5: SUB
000006e6: SWAP1
000006e7: RETURN
000006e8: JUMPDEST
000006e9: CALLVALUE
000006ea: ISZERO
000006eb: PUSH2 0x06f3
000006ee: JUMPI
000006ef: PUSH1 0x00
000006f1: DUP1
000006f2: REVERT
000006f3: JUMPDEST
000006f4: PUSH2 0x06fb
000006f7: PUSH2 0x1525
000006fa: JUMP
000006fb: JUMPDEST
000006fc: PUSH1 0x40
000006fe: MLOAD
000006ff: DUP1
00000700: DUP3
00000701: DUP2
00000702: MSTORE
00000703: PUSH1 0x20
00000705: ADD
00000706: SWAP2
00000707: POP
00000708: POP
00000709: PUSH1 0x40
0000070b: MLOAD
0000070c: DUP1
0000070d: SWAP2
0000070e: SUB
0000070f: SWAP1
00000710: RETURN
00000711: JUMPDEST
00000712: CALLVALUE
00000713: ISZERO
00000714: PUSH2 0x071c
00000717: JUMPI
00000718: PUSH1 0x00
0000071a: DUP1
0000071b: REVERT
0000071c: JUMPDEST
0000071d: PUSH2 0x0724
00000720: PUSH2 0x153a
00000723: JUMP
00000724: JUMPDEST
00000725: PUSH1 0x40
00000727: MLOAD
00000728: DUP1
00000729: DUP1
0000072a: PUSH1 0x20
0000072c: ADD
0000072d: DUP3
0000072e: DUP2
0000072f: SUB
00000730: DUP3
00000731: MSTORE
00000732: DUP4
00000733: DUP2
00000734: DUP2
00000735: MLOAD
00000736: DUP2
00000737: MSTORE
00000738: PUSH1 0x20
0000073a: ADD
0000073b: SWAP2
0000073c: POP
0000073d: DUP1
0000073e: MLOAD
0000073f: SWAP1
00000740: PUSH1 0x20
00000742: ADD
00000743: SWAP1
00000744: DUP1
00000745: DUP4
00000746: DUP4
00000747: PUSH1 0x00
00000749: JUMPDEST
0000074a: DUP4
0000074b: DUP2
0000074c: LT
0000074d: ISZERO
0000074e: PUSH2 0x0764
00000751: JUMPI
00000752: DUP1
00000753: DUP3
00000754: ADD
00000755: MLOAD
00000756: DUP2
00000757: DUP5
00000758: ADD
00000759: MSTORE
0000075a: PUSH1 0x20
0000075c: DUP2
0000075d: ADD
0000075e: SWAP1
0000075f: POP
00000760: PUSH2 0x0749
00000763: JUMP
00000764: JUMPDEST
00000765: POP
00000766: POP
00000767: POP
00000768: POP
00000769: SWAP1
0000076a: POP
0000076b: SWAP1
0000076c: DUP2
0000076d: ADD
0000076e: SWAP1
0000076f: PUSH1 0x1f
00000771: AND
00000772: DUP1
00000773: ISZERO
00000774: PUSH2 0x0791
00000777: JUMPI
00000778: DUP1
00000779: DUP3
0000077a: SUB
0000077b: DUP1
0000077c: MLOAD
0000077d: PUSH1 0x01
0000077f: DUP4
00000780: PUSH1 0x20
00000782: SUB
00000783: PUSH2 0x0100
00000786: EXP
00000787: SUB
00000788: NOT
00000789: AND
0000078a: DUP2
0000078b: MSTORE
0000078c: PUSH1 0x20
0000078e: ADD
0000078f: SWAP2
00000790: POP
00000791: JUMPDEST
00000792: POP
00000793: SWAP3
00000794: POP
00000795: POP
00000796: POP
00000797: PUSH1 0x40
00000799: MLOAD
0000079a: DUP1
0000079b: SWAP2
0000079c: SUB
0000079d: SWAP1
0000079e: RETURN
0000079f: JUMPDEST
000007a0: CALLVALUE
000007a1: ISZERO
000007a2: PUSH2 0x07aa
000007a5: JUMPI
000007a6: PUSH1 0x00
000007a8: DUP1
000007a9: REVERT
000007aa: JUMPDEST
000007ab: PUSH2 0x07b2
000007ae: PUSH2 0x15d8
000007b1: JUMP
000007b2: JUMPDEST
000007b3: STOP
000007b4: JUMPDEST
000007b5: CALLVALUE
000007b6: ISZERO
000007b7: PUSH2 0x07bf
000007ba: JUMPI
000007bb: PUSH1 0x00
000007bd: DUP1
000007be: REVERT
000007bf: JUMPDEST
000007c0: PUSH2 0x07f4
000007c3: PUSH1 0x04
000007c5: DUP1
000007c6: DUP1
000007c7: CALLDATALOAD
000007c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007dd: AND
000007de: SWAP1
000007df: PUSH1 0x20
000007e1: ADD
000007e2: SWAP1
000007e3: SWAP2
000007e4: SWAP1
000007e5: DUP1
000007e6: CALLDATALOAD
000007e7: SWAP1
000007e8: PUSH1 0x20
000007ea: ADD
000007eb: SWAP1
000007ec: SWAP2
000007ed: SWAP1
000007ee: POP
000007ef: POP
000007f0: PUSH2 0x1653
000007f3: JUMP
000007f4: JUMPDEST
000007f5: PUSH1 0x40
000007f7: MLOAD
000007f8: DUP1
000007f9: DUP3
000007fa: ISZERO
000007fb: ISZERO
000007fc: ISZERO
000007fd: ISZERO
000007fe: DUP2
000007ff: MSTORE
00000800: PUSH1 0x20
00000802: ADD
00000803: SWAP2
00000804: POP
00000805: POP
00000806: PUSH1 0x40
00000808: MLOAD
00000809: DUP1
0000080a: SWAP2
0000080b: SUB
0000080c: SWAP1
0000080d: RETURN
0000080e: JUMPDEST
0000080f: CALLVALUE
00000810: ISZERO
00000811: PUSH2 0x0819
00000814: JUMPI
00000815: PUSH1 0x00
00000817: DUP1
00000818: REVERT
00000819: JUMPDEST
0000081a: PUSH2 0x0821
0000081d: PUSH2 0x1902
00000820: JUMP
00000821: JUMPDEST
00000822: PUSH1 0x40
00000824: MLOAD
00000825: DUP1
00000826: DUP3
00000827: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000083c: AND
0000083d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000852: AND
00000853: DUP2
00000854: MSTORE
00000855: PUSH1 0x20
00000857: ADD
00000858: SWAP2
00000859: POP
0000085a: POP
0000085b: PUSH1 0x40
0000085d: MLOAD
0000085e: DUP1
0000085f: SWAP2
00000860: SUB
00000861: SWAP1
00000862: RETURN
00000863: JUMPDEST
00000864: CALLVALUE
00000865: ISZERO
00000866: PUSH2 0x086e
00000869: JUMPI
0000086a: PUSH1 0x00
0000086c: DUP1
0000086d: REVERT
0000086e: JUMPDEST
0000086f: PUSH2 0x08be
00000872: PUSH1 0x04
00000874: DUP1
00000875: DUP1
00000876: CALLDATALOAD
00000877: SWAP1
00000878: PUSH1 0x20
0000087a: ADD
0000087b: SWAP1
0000087c: DUP3
0000087d: ADD
0000087e: DUP1
0000087f: CALLDATALOAD
00000880: SWAP1
00000881: PUSH1 0x20
00000883: ADD
00000884: SWAP1
00000885: DUP1
00000886: DUP1
00000887: PUSH1 0x1f
00000889: ADD
0000088a: PUSH1 0x20
0000088c: DUP1
0000088d: SWAP2
0000088e: DIV
0000088f: MUL
00000890: PUSH1 0x20
00000892: ADD
00000893: PUSH1 0x40
00000895: MLOAD
00000896: SWAP1
00000897: DUP2
00000898: ADD
00000899: PUSH1 0x40
0000089b: MSTORE
0000089c: DUP1
0000089d: SWAP4
0000089e: SWAP3
0000089f: SWAP2
000008a0: SWAP1
000008a1: DUP2
000008a2: DUP2
000008a3: MSTORE
000008a4: PUSH1 0x20
000008a6: ADD
000008a7: DUP4
000008a8: DUP4
000008a9: DUP1
000008aa: DUP3
000008ab: DUP5
000008ac: CALLDATACOPY
000008ad: DUP3
000008ae: ADD
000008af: SWAP2
000008b0: POP
000008b1: POP
000008b2: POP
000008b3: POP
000008b4: POP
000008b5: POP
000008b6: SWAP2
000008b7: SWAP1
000008b8: POP
000008b9: POP
000008ba: PUSH2 0x191a
000008bd: JUMP
000008be: JUMPDEST
000008bf: STOP
000008c0: JUMPDEST
000008c1: CALLVALUE
000008c2: ISZERO
000008c3: PUSH2 0x08cb
000008c6: JUMPI
000008c7: PUSH1 0x00
000008c9: DUP1
000008ca: REVERT
000008cb: JUMPDEST
000008cc: PUSH2 0x091b
000008cf: PUSH1 0x04
000008d1: DUP1
000008d2: DUP1
000008d3: CALLDATALOAD
000008d4: SWAP1
000008d5: PUSH1 0x20
000008d7: ADD
000008d8: SWAP1
000008d9: DUP3
000008da: ADD
000008db: DUP1
000008dc: CALLDATALOAD
000008dd: SWAP1
000008de: PUSH1 0x20
000008e0: ADD
000008e1: SWAP1
000008e2: DUP1
000008e3: DUP1
000008e4: PUSH1 0x1f
000008e6: ADD
000008e7: PUSH1 0x20
000008e9: DUP1
000008ea: SWAP2
000008eb: DIV
000008ec: MUL
000008ed: PUSH1 0x20
000008ef: ADD
000008f0: PUSH1 0x40
000008f2: MLOAD
000008f3: SWAP1
000008f4: DUP2
000008f5: ADD
000008f6: PUSH1 0x40
000008f8: MSTORE
000008f9: DUP1
000008fa: SWAP4
000008fb: SWAP3
000008fc: SWAP2
000008fd: SWAP1
000008fe: DUP2
000008ff: DUP2
00000900: MSTORE
00000901: PUSH1 0x20
00000903: ADD
00000904: DUP4
00000905: DUP4
00000906: DUP1
00000907: DUP3
00000908: DUP5
00000909: CALLDATACOPY
0000090a: DUP3
0000090b: ADD
0000090c: SWAP2
0000090d: POP
0000090e: POP
0000090f: POP
00000910: POP
00000911: POP
00000912: POP
00000913: SWAP2
00000914: SWAP1
00000915: POP
00000916: POP
00000917: PUSH2 0x1992
0000091a: JUMP
0000091b: JUMPDEST
0000091c: STOP
0000091d: JUMPDEST
0000091e: CALLVALUE
0000091f: ISZERO
00000920: PUSH2 0x0928
00000923: JUMPI
00000924: PUSH1 0x00
00000926: DUP1
00000927: REVERT
00000928: JUMPDEST
00000929: PUSH2 0x0930
0000092c: PUSH2 0x1a0a
0000092f: JUMP
00000930: JUMPDEST
00000931: PUSH1 0x40
00000933: MLOAD
00000934: DUP1
00000935: DUP3
00000936: DUP2
00000937: MSTORE
00000938: PUSH1 0x20
0000093a: ADD
0000093b: SWAP2
0000093c: POP
0000093d: POP
0000093e: PUSH1 0x40
00000940: MLOAD
00000941: DUP1
00000942: SWAP2
00000943: SUB
00000944: SWAP1
00000945: RETURN
00000946: JUMPDEST
00000947: CALLVALUE
00000948: ISZERO
00000949: PUSH2 0x0951
0000094c: JUMPI
0000094d: PUSH1 0x00
0000094f: DUP1
00000950: REVERT
00000951: JUMPDEST
00000952: PUSH2 0x0967
00000955: PUSH1 0x04
00000957: DUP1
00000958: DUP1
00000959: CALLDATALOAD
0000095a: SWAP1
0000095b: PUSH1 0x20
0000095d: ADD
0000095e: SWAP1
0000095f: SWAP2
00000960: SWAP1
00000961: POP
00000962: POP
00000963: PUSH2 0x1a10
00000966: JUMP
00000967: JUMPDEST
00000968: STOP
00000969: JUMPDEST
0000096a: CALLVALUE
0000096b: ISZERO
0000096c: PUSH2 0x0974
0000096f: JUMPI
00000970: PUSH1 0x00
00000972: DUP1
00000973: REVERT
00000974: JUMPDEST
00000975: PUSH2 0x097c
00000978: PUSH2 0x1c7f
0000097b: JUMP
0000097c: JUMPDEST
0000097d: STOP
0000097e: JUMPDEST
0000097f: PUSH2 0x09aa
00000982: PUSH1 0x04
00000984: DUP1
00000985: DUP1
00000986: CALLDATALOAD
00000987: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000099c: AND
0000099d: SWAP1
0000099e: PUSH1 0x20
000009a0: ADD
000009a1: SWAP1
000009a2: SWAP2
000009a3: SWAP1
000009a4: POP
000009a5: POP
000009a6: PUSH2 0x1ce6
000009a9: JUMP
000009aa: JUMPDEST
000009ab: PUSH1 0x40
000009ad: MLOAD
000009ae: DUP1
000009af: DUP3
000009b0: DUP2
000009b1: MSTORE
000009b2: PUSH1 0x20
000009b4: ADD
000009b5: SWAP2
000009b6: POP
000009b7: POP
000009b8: PUSH1 0x40
000009ba: MLOAD
000009bb: DUP1
000009bc: SWAP2
000009bd: SUB
000009be: SWAP1
000009bf: RETURN
000009c0: JUMPDEST
000009c1: CALLVALUE
000009c2: ISZERO
000009c3: PUSH2 0x09cb
000009c6: JUMPI
000009c7: PUSH1 0x00
000009c9: DUP1
000009ca: REVERT
000009cb: JUMPDEST
000009cc: PUSH2 0x09d3
000009cf: PUSH2 0x1cf8
000009d2: JUMP
000009d3: JUMPDEST
000009d4: STOP
000009d5: JUMPDEST
000009d6: PUSH1 0x00
000009d8: DUP1
000009d9: PUSH1 0x00
000009db: ORIGIN
000009dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f1: AND
000009f2: CALLER
000009f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a08: AND
00000a09: EQ
00000a0a: ISZERO
00000a0b: ISZERO
00000a0c: PUSH2 0x0a14
00000a0f: JUMPI
00000a10: PUSH1 0x00
00000a12: DUP1
00000a13: REVERT
00000a14: JUMPDEST
00000a15: DUP5
00000a16: SWAP2
00000a17: POP
00000a18: PUSH8 0x4563918244f40000
00000a21: DUP3
00000a22: GT
00000a23: ISZERO
00000a24: PUSH2 0x0a72
00000a27: JUMPI
00000a28: PUSH9 0x056bc75e2d63100000
00000a32: PUSH2 0x0a52
00000a35: ADDRESS
00000a36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a4b: AND
00000a4c: BALANCE
00000a4d: DUP5
00000a4e: PUSH2 0x1e6c
00000a51: JUMP
00000a52: JUMPDEST
00000a53: GT
00000a54: ISZERO
00000a55: ISZERO
00000a56: PUSH2 0x0a71
00000a59: JUMPI
00000a5a: PUSH8 0x4563918244f40000
00000a63: SWAP2
00000a64: POP
00000a65: PUSH2 0x0a6e
00000a68: DUP6
00000a69: DUP4
00000a6a: PUSH2 0x1e6c
00000a6d: JUMP
00000a6e: JUMPDEST
00000a6f: SWAP1
00000a70: POP
00000a71: JUMPDEST
00000a72: JUMPDEST
00000a73: PUSH2 0x0a7c
00000a76: DUP3
00000a77: DUP6
00000a78: PUSH2 0x1e85
00000a7b: JUMP
00000a7c: JUMPDEST
00000a7d: POP
00000a7e: PUSH1 0x00
00000a80: DUP2
00000a81: GT
00000a82: ISZERO
00000a83: PUSH2 0x0ac7
00000a86: JUMPI
00000a87: CALLER
00000a88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a9d: AND
00000a9e: PUSH2 0x08fc
00000aa1: DUP3
00000aa2: SWAP1
00000aa3: DUP2
00000aa4: ISZERO
00000aa5: MUL
00000aa6: SWAP1
00000aa7: PUSH1 0x40
00000aa9: MLOAD
00000aaa: PUSH1 0x00
00000aac: PUSH1 0x40
00000aae: MLOAD
00000aaf: DUP1
00000ab0: DUP4
00000ab1: SUB
00000ab2: DUP2
00000ab3: DUP6
00000ab4: DUP9
00000ab5: DUP9
00000ab6: CALL
00000ab7: SWAP4
00000ab8: POP
00000ab9: POP
00000aba: POP
00000abb: POP
00000abc: ISZERO
00000abd: ISZERO
00000abe: PUSH2 0x0ac6
00000ac1: JUMPI
00000ac2: PUSH1 0x00
00000ac4: DUP1
00000ac5: REVERT
00000ac6: JUMPDEST
00000ac7: JUMPDEST
00000ac8: POP
00000ac9: POP
00000aca: SWAP3
00000acb: SWAP2
00000acc: POP
00000acd: POP
00000ace: JUMP
00000acf: JUMPDEST
00000ad0: PUSH1 0x00
00000ad2: PUSH9 0x010000000000000000
00000adc: PUSH1 0x08
00000ade: PUSH1 0x00
00000ae0: DUP5
00000ae1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af6: AND
00000af7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b0c: AND
00000b0d: DUP2
00000b0e: MSTORE
00000b0f: PUSH1 0x20
00000b11: ADD
00000b12: SWAP1
00000b13: DUP2
00000b14: MSTORE
00000b15: PUSH1 0x20
00000b17: ADD
00000b18: PUSH1 0x00
00000b1a: KECCAK256
00000b1b: SLOAD
00000b1c: PUSH1 0x06
00000b1e: PUSH1 0x00
00000b20: DUP6
00000b21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b36: AND
00000b37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b4c: AND
00000b4d: DUP2
00000b4e: MSTORE
00000b4f: PUSH1 0x20
00000b51: ADD
00000b52: SWAP1
00000b53: DUP2
00000b54: MSTORE
00000b55: PUSH1 0x20
00000b57: ADD
00000b58: PUSH1 0x00
00000b5a: KECCAK256
00000b5b: SLOAD
00000b5c: PUSH1 0x0b
00000b5e: SLOAD
00000b5f: MUL
00000b60: SUB
00000b61: DUP2
00000b62: ISZERO
00000b63: ISZERO
00000b64: PUSH2 0x0b69
00000b67: JUMPI
00000b68: INVALID
00000b69: JUMPDEST
00000b6a: DIV
00000b6b: SWAP1
00000b6c: POP
00000b6d: SWAP2
00000b6e: SWAP1
00000b6f: POP
00000b70: JUMP
00000b71: JUMPDEST
00000b72: PUSH1 0x00
00000b74: DUP1
00000b75: SLOAD
00000b76: PUSH1 0x01
00000b78: DUP2
00000b79: PUSH1 0x01
00000b7b: AND
00000b7c: ISZERO
00000b7d: PUSH2 0x0100
00000b80: MUL
00000b81: SUB
00000b82: AND
00000b83: PUSH1 0x02
00000b85: SWAP1
00000b86: DIV
00000b87: DUP1
00000b88: PUSH1 0x1f
00000b8a: ADD
00000b8b: PUSH1 0x20
00000b8d: DUP1
00000b8e: SWAP2
00000b8f: DIV
00000b90: MUL
00000b91: PUSH1 0x20
00000b93: ADD
00000b94: PUSH1 0x40
00000b96: MLOAD
00000b97: SWAP1
00000b98: DUP2
00000b99: ADD
00000b9a: PUSH1 0x40
00000b9c: MSTORE
00000b9d: DUP1
00000b9e: SWAP3
00000b9f: SWAP2
00000ba0: SWAP1
00000ba1: DUP2
00000ba2: DUP2
00000ba3: MSTORE
00000ba4: PUSH1 0x20
00000ba6: ADD
00000ba7: DUP3
00000ba8: DUP1
00000ba9: SLOAD
00000baa: PUSH1 0x01
00000bac: DUP2
00000bad: PUSH1 0x01
00000baf: AND
00000bb0: ISZERO
00000bb1: PUSH2 0x0100
00000bb4: MUL
00000bb5: SUB
00000bb6: AND
00000bb7: PUSH1 0x02
00000bb9: SWAP1
00000bba: DIV
00000bbb: DUP1
00000bbc: ISZERO
00000bbd: PUSH2 0x0c07
00000bc0: JUMPI
00000bc1: DUP1
00000bc2: PUSH1 0x1f
00000bc4: LT
00000bc5: PUSH2 0x0bdc
00000bc8: JUMPI
00000bc9: PUSH2 0x0100
00000bcc: DUP1
00000bcd: DUP4
00000bce: SLOAD
00000bcf: DIV
00000bd0: MUL
00000bd1: DUP4
00000bd2: MSTORE
00000bd3: SWAP2
00000bd4: PUSH1 0x20
00000bd6: ADD
00000bd7: SWAP2
00000bd8: PUSH2 0x0c07
00000bdb: JUMP
00000bdc: JUMPDEST
00000bdd: DUP3
00000bde: ADD
00000bdf: SWAP2
00000be0: SWAP1
00000be1: PUSH1 0x00
00000be3: MSTORE
00000be4: PUSH1 0x20
00000be6: PUSH1 0x00
00000be8: KECCAK256
00000be9: SWAP1
00000bea: JUMPDEST
00000beb: DUP2
00000bec: SLOAD
00000bed: DUP2
00000bee: MSTORE
00000bef: SWAP1
00000bf0: PUSH1 0x01
00000bf2: ADD
00000bf3: SWAP1
00000bf4: PUSH1 0x20
00000bf6: ADD
00000bf7: DUP1
00000bf8: DUP4
00000bf9: GT
00000bfa: PUSH2 0x0bea
00000bfd: JUMPI
00000bfe: DUP3
00000bff: SWAP1
00000c00: SUB
00000c01: PUSH1 0x1f
00000c03: AND
00000c04: DUP3
00000c05: ADD
00000c06: SWAP2
00000c07: JUMPDEST
00000c08: POP
00000c09: POP
00000c0a: POP
00000c0b: POP
00000c0c: POP
00000c0d: DUP2
00000c0e: JUMP
00000c0f: JUMPDEST
00000c10: PUSH1 0x0e
00000c12: PUSH1 0x20
00000c14: MSTORE
00000c15: DUP1
00000c16: PUSH1 0x00
00000c18: MSTORE
00000c19: PUSH1 0x40
00000c1b: PUSH1 0x00
00000c1d: KECCAK256
00000c1e: PUSH1 0x00
00000c20: SWAP2
00000c21: POP
00000c22: SLOAD
00000c23: SWAP1
00000c24: PUSH2 0x0100
00000c27: EXP
00000c28: SWAP1
00000c29: DIV
00000c2a: PUSH1 0xff
00000c2c: AND
00000c2d: DUP2
00000c2e: JUMP
00000c2f: JUMPDEST
00000c30: PUSH1 0x00
00000c32: DUP1
00000c33: PUSH1 0x00
00000c35: DUP1
00000c36: PUSH1 0x00
00000c38: PUSH2 0x0c4f
00000c3b: PUSH2 0x0c48
00000c3e: DUP8
00000c3f: PUSH1 0x14
00000c41: PUSH1 0xff
00000c43: AND
00000c44: PUSH2 0x27fc
00000c47: JUMP
00000c48: JUMPDEST
00000c49: PUSH1 0x64
00000c4b: PUSH2 0x2837
00000c4e: JUMP
00000c4f: JUMPDEST
00000c50: SWAP4
00000c51: POP
00000c52: PUSH2 0x0c69
00000c55: PUSH2 0x0c62
00000c58: DUP8
00000c59: PUSH1 0x02
00000c5b: PUSH1 0xff
00000c5d: AND
00000c5e: PUSH2 0x27fc
00000c61: JUMP
00000c62: JUMPDEST
00000c63: PUSH1 0x64
00000c65: PUSH2 0x2837
00000c68: JUMP
00000c69: JUMPDEST
00000c6a: SWAP3
00000c6b: POP
00000c6c: PUSH2 0x0c7e
00000c6f: PUSH2 0x0c78
00000c72: DUP8
00000c73: DUP7
00000c74: PUSH2 0x1e6c
00000c77: JUMP
00000c78: JUMPDEST
00000c79: DUP5
00000c7a: PUSH2 0x1e6c
00000c7d: JUMP
00000c7e: JUMPDEST
00000c7f: SWAP2
00000c80: POP
00000c81: PUSH2 0x0c89
00000c84: DUP3
00000c85: PUSH2 0x2852
00000c88: JUMP
00000c89: JUMPDEST
00000c8a: SWAP1
00000c8b: POP
00000c8c: DUP1
00000c8d: SWAP5
00000c8e: POP
00000c8f: POP
00000c90: POP
00000c91: POP
00000c92: POP
00000c93: SWAP2
00000c94: SWAP1
00000c95: POP
00000c96: JUMP
00000c97: JUMPDEST
00000c98: PUSH1 0x00
00000c9a: PUSH1 0x0a
00000c9c: SLOAD
00000c9d: SWAP1
00000c9e: POP
00000c9f: SWAP1
00000ca0: JUMP
00000ca1: JUMPDEST
00000ca2: PUSH1 0x00
00000ca4: DUP1
00000ca5: PUSH1 0x00
00000ca7: DUP1
00000ca8: PUSH1 0x00
00000caa: PUSH1 0x0a
00000cac: SLOAD
00000cad: DUP7
00000cae: GT
00000caf: ISZERO
00000cb0: ISZERO
00000cb1: ISZERO
00000cb2: PUSH2 0x0cba
00000cb5: JUMPI
00000cb6: PUSH1 0x00
00000cb8: DUP1
00000cb9: REVERT
00000cba: JUMPDEST
00000cbb: PUSH2 0x0cc3
00000cbe: DUP7
00000cbf: PUSH2 0x28df
00000cc2: JUMP
00000cc3: JUMPDEST
00000cc4: SWAP4
00000cc5: POP
00000cc6: PUSH2 0x0cdd
00000cc9: PUSH2 0x0cd6
00000ccc: DUP6
00000ccd: PUSH1 0x14
00000ccf: PUSH1 0xff
00000cd1: AND
00000cd2: PUSH2 0x27fc
00000cd5: JUMP
00000cd6: JUMPDEST
00000cd7: PUSH1 0x64
00000cd9: PUSH2 0x2837
00000cdc: JUMP
00000cdd: JUMPDEST
00000cde: SWAP3
00000cdf: POP
00000ce0: PUSH2 0x0cf7
00000ce3: PUSH2 0x0cf0
00000ce6: DUP6
00000ce7: PUSH1 0x02
00000ce9: PUSH1 0xff
00000ceb: AND
00000cec: PUSH2 0x27fc
00000cef: JUMP
00000cf0: JUMPDEST
00000cf1: PUSH1 0x64
00000cf3: PUSH2 0x2837
00000cf6: JUMP
00000cf7: JUMPDEST
00000cf8: SWAP2
00000cf9: POP
00000cfa: PUSH2 0x0d0c
00000cfd: PUSH2 0x0d06
00000d00: DUP6
00000d01: DUP6
00000d02: PUSH2 0x1e6c
00000d05: JUMP
00000d06: JUMPDEST
00000d07: DUP4
00000d08: PUSH2 0x1e6c
00000d0b: JUMP
00000d0c: JUMPDEST
00000d0d: SWAP1
00000d0e: POP
00000d0f: DUP1
00000d10: SWAP5
00000d11: POP
00000d12: POP
00000d13: POP
00000d14: POP
00000d15: POP
00000d16: SWAP2
00000d17: SWAP1
00000d18: POP
00000d19: JUMP
00000d1a: JUMPDEST
00000d1b: PUSH1 0x0d
00000d1d: PUSH1 0x00
00000d1f: SWAP1
00000d20: SLOAD
00000d21: SWAP1
00000d22: PUSH2 0x0100
00000d25: EXP
00000d26: SWAP1
00000d27: DIV
00000d28: PUSH1 0xff
00000d2a: AND
00000d2b: DUP2
00000d2c: JUMP
00000d2d: JUMPDEST
00000d2e: PUSH1 0x00
00000d30: CALLER
00000d31: SWAP1
00000d32: POP
00000d33: PUSH1 0x0c
00000d35: PUSH1 0x00
00000d37: DUP3
00000d38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d4d: AND
00000d4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d63: AND
00000d64: DUP2
00000d65: MSTORE
00000d66: PUSH1 0x20
00000d68: ADD
00000d69: SWAP1
00000d6a: DUP2
00000d6b: MSTORE
00000d6c: PUSH1 0x20
00000d6e: ADD
00000d6f: PUSH1 0x00
00000d71: KECCAK256
00000d72: PUSH1 0x00
00000d74: SWAP1
00000d75: SLOAD
00000d76: SWAP1
00000d77: PUSH2 0x0100
00000d7a: EXP
00000d7b: SWAP1
00000d7c: DIV
00000d7d: PUSH1 0xff
00000d7f: AND
00000d80: ISZERO
00000d81: ISZERO
00000d82: PUSH2 0x0d8a
00000d85: JUMPI
00000d86: PUSH1 0x00
00000d88: DUP1
00000d89: REVERT
00000d8a: JUMPDEST
00000d8b: DUP2
00000d8c: PUSH1 0x0e
00000d8e: PUSH1 0x00
00000d90: DUP6
00000d91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da6: AND
00000da7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dbc: AND
00000dbd: DUP2
00000dbe: MSTORE
00000dbf: PUSH1 0x20
00000dc1: ADD
00000dc2: SWAP1
00000dc3: DUP2
00000dc4: MSTORE
00000dc5: PUSH1 0x20
00000dc7: ADD
00000dc8: PUSH1 0x00
00000dca: KECCAK256
00000dcb: PUSH1 0x00
00000dcd: PUSH2 0x0100
00000dd0: EXP
00000dd1: DUP2
00000dd2: SLOAD
00000dd3: DUP2
00000dd4: PUSH1 0xff
00000dd6: MUL
00000dd7: NOT
00000dd8: AND
00000dd9: SWAP1
00000dda: DUP4
00000ddb: ISZERO
00000ddc: ISZERO
00000ddd: MUL
00000dde: OR
00000ddf: SWAP1
00000de0: SSTORE
00000de1: POP
00000de2: POP
00000de3: POP
00000de4: POP
00000de5: JUMP
00000de6: JUMPDEST
00000de7: PUSH1 0x12
00000de9: DUP2
00000dea: JUMP
00000deb: JUMPDEST
00000dec: PUSH1 0x00
00000dee: PUSH2 0x0dfb
00000df1: PUSH1 0x03
00000df3: SLOAD
00000df4: PUSH1 0x02
00000df6: SLOAD
00000df7: PUSH2 0x1e6c
00000dfa: JUMP
00000dfb: JUMPDEST
00000dfc: SWAP1
00000dfd: POP
00000dfe: SWAP1
00000dff: JUMP
00000e00: JUMPDEST
00000e01: PUSH1 0x00
00000e03: DUP1
00000e04: PUSH1 0x00
00000e06: PUSH2 0x0e0f
00000e09: PUSH1 0x01
00000e0b: PUSH2 0x127d
00000e0e: JUMP
00000e0f: JUMPDEST
00000e10: GT
00000e11: ISZERO
00000e12: ISZERO
00000e13: PUSH2 0x0e1b
00000e16: JUMPI
00000e17: PUSH1 0x00
00000e19: DUP1
00000e1a: REVERT
00000e1b: JUMPDEST
00000e1c: CALLER
00000e1d: SWAP2
00000e1e: POP
00000e1f: PUSH2 0x0e28
00000e22: PUSH1 0x00
00000e24: PUSH2 0x127d
00000e27: JUMP
00000e28: JUMPDEST
00000e29: SWAP1
00000e2a: POP
00000e2b: PUSH9 0x010000000000000000
00000e35: DUP2
00000e36: MUL
00000e37: PUSH1 0x08
00000e39: PUSH1 0x00
00000e3b: DUP5
00000e3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e51: AND
00000e52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e67: AND
00000e68: DUP2
00000e69: MSTORE
00000e6a: PUSH1 0x20
00000e6c: ADD
00000e6d: SWAP1
00000e6e: DUP2
00000e6f: MSTORE
00000e70: PUSH1 0x20
00000e72: ADD
00000e73: PUSH1 0x00
00000e75: KECCAK256
00000e76: PUSH1 0x00
00000e78: DUP3
00000e79: DUP3
00000e7a: SLOAD
00000e7b: ADD
00000e7c: SWAP3
00000e7d: POP
00000e7e: POP
00000e7f: DUP2
00000e80: SWAP1
00000e81: SSTORE
00000e82: POP
00000e83: PUSH1 0x07
00000e85: PUSH1 0x00
00000e87: DUP4
00000e88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e9d: AND
00000e9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eb3: AND
00000eb4: DUP2
00000eb5: MSTORE
00000eb6: PUSH1 0x20
00000eb8: ADD
00000eb9: SWAP1
00000eba: DUP2
00000ebb: MSTORE
00000ebc: PUSH1 0x20
00000ebe: ADD
00000ebf: PUSH1 0x00
00000ec1: KECCAK256
00000ec2: SLOAD
00000ec3: DUP2
00000ec4: ADD
00000ec5: SWAP1
00000ec6: POP
00000ec7: PUSH1 0x00
00000ec9: PUSH1 0x07
00000ecb: PUSH1 0x00
00000ecd: DUP5
00000ece: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ee3: AND
00000ee4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef9: AND
00000efa: DUP2
00000efb: MSTORE
00000efc: PUSH1 0x20
00000efe: ADD
00000eff: SWAP1
00000f00: DUP2
00000f01: MSTORE
00000f02: PUSH1 0x20
00000f04: ADD
00000f05: PUSH1 0x00
00000f07: KECCAK256
00000f08: DUP2
00000f09: SWAP1
00000f0a: SSTORE
00000f0b: POP
00000f0c: DUP2
00000f0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f22: AND
00000f23: PUSH2 0x08fc
00000f26: DUP3
00000f27: SWAP1
00000f28: DUP2
00000f29: ISZERO
00000f2a: MUL
00000f2b: SWAP1
00000f2c: PUSH1 0x40
00000f2e: MLOAD
00000f2f: PUSH1 0x00
00000f31: PUSH1 0x40
00000f33: MLOAD
00000f34: DUP1
00000f35: DUP4
00000f36: SUB
00000f37: DUP2
00000f38: DUP6
00000f39: DUP9
00000f3a: DUP9
00000f3b: CALL
00000f3c: SWAP4
00000f3d: POP
00000f3e: POP
00000f3f: POP
00000f40: POP
00000f41: ISZERO
00000f42: ISZERO
00000f43: PUSH2 0x0f4b
00000f46: JUMPI
00000f47: PUSH1 0x00
00000f49: DUP1
00000f4a: REVERT
00000f4b: JUMPDEST
00000f4c: DUP2
00000f4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f62: AND
00000f63: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
00000f84: DUP3
00000f85: PUSH1 0x40
00000f87: MLOAD
00000f88: DUP1
00000f89: DUP3
00000f8a: DUP2
00000f8b: MSTORE
00000f8c: PUSH1 0x20
00000f8e: ADD
00000f8f: SWAP2
00000f90: POP
00000f91: POP
00000f92: PUSH1 0x40
00000f94: MLOAD
00000f95: DUP1
00000f96: SWAP2
00000f97: SUB
00000f98: SWAP1
00000f99: LOG2
00000f9a: POP
00000f9b: POP
00000f9c: JUMP
00000f9d: JUMPDEST
00000f9e: PUSH1 0x00
00000fa0: DUP1
00000fa1: PUSH1 0x00
00000fa3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb8: AND
00000fb9: DUP7
00000fba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fcf: AND
00000fd0: EQ
00000fd1: ISZERO
00000fd2: ISZERO
00000fd3: ISZERO
00000fd4: PUSH2 0x0fdc
00000fd7: JUMPI
00000fd8: PUSH1 0x00
00000fda: DUP1
00000fdb: REVERT
00000fdc: JUMPDEST
00000fdd: PUSH1 0x01
00000fdf: ISZERO
00000fe0: ISZERO
00000fe1: PUSH1 0x0e
00000fe3: PUSH1 0x00
00000fe5: DUP9
00000fe6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ffb: AND
00000ffc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001011: AND
00001012: DUP2
00001013: MSTORE
00001014: PUSH1 0x20
00001016: ADD
00001017: SWAP1
00001018: DUP2
00001019: MSTORE
0000101a: PUSH1 0x20
0000101c: ADD
0000101d: PUSH1 0x00
0000101f: KECCAK256
00001020: PUSH1 0x00
00001022: SWAP1
00001023: SLOAD
00001024: SWAP1
00001025: PUSH2 0x0100
00001028: EXP
00001029: SWAP1
0000102a: DIV
0000102b: PUSH1 0xff
0000102d: AND
0000102e: ISZERO
0000102f: ISZERO
00001030: EQ
00001031: ISZERO
00001032: ISZERO
00001033: PUSH2 0x103b
00001036: JUMPI
00001037: PUSH1 0x00
00001039: DUP1
0000103a: REVERT
0000103b: JUMPDEST
0000103c: PUSH2 0x1045
0000103f: DUP7
00001040: DUP7
00001041: PUSH2 0x1653
00001044: JUMP
00001045: JUMPDEST
00001046: ISZERO
00001047: ISZERO
00001048: PUSH2 0x1050
0000104b: JUMPI
0000104c: PUSH1 0x00
0000104e: DUP1
0000104f: REVERT
00001050: JUMPDEST
00001051: PUSH2 0x1059
00001054: DUP7
00001055: PUSH2 0x298a
00001058: JUMP
00001059: JUMPDEST
0000105a: ISZERO
0000105b: PUSH2 0x1148
0000105e: JUMPI
0000105f: DUP6
00001060: SWAP1
00001061: POP
00001062: DUP1
00001063: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001078: AND
00001079: PUSH4 0xc0ee0b8a
0000107e: CALLER
0000107f: DUP8
00001080: DUP8
00001081: DUP8
00001082: PUSH1 0x40
00001084: MLOAD
00001085: DUP6
00001086: PUSH4 0xffffffff
0000108b: AND
0000108c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000010aa: MUL
000010ab: DUP2
000010ac: MSTORE
000010ad: PUSH1 0x04
000010af: ADD
000010b0: DUP1
000010b1: DUP6
000010b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c7: AND
000010c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010dd: AND
000010de: DUP2
000010df: MSTORE
000010e0: PUSH1 0x20
000010e2: ADD
000010e3: DUP5
000010e4: DUP2
000010e5: MSTORE
000010e6: PUSH1 0x20
000010e8: ADD
000010e9: DUP1
000010ea: PUSH1 0x20
000010ec: ADD
000010ed: DUP3
000010ee: DUP2
000010ef: SUB
000010f0: DUP3
000010f1: MSTORE
000010f2: DUP5
000010f3: DUP5
000010f4: DUP3
000010f5: DUP2
000010f6: DUP2
000010f7: MSTORE
000010f8: PUSH1 0x20
000010fa: ADD
000010fb: SWAP3
000010fc: POP
000010fd: DUP1
000010fe: DUP3
000010ff: DUP5
00001100: CALLDATACOPY
00001101: DUP3
00001102: ADD
00001103: SWAP2
00001104: POP
00001105: POP
00001106: SWAP6
00001107: POP
00001108: POP
00001109: POP
0000110a: POP
0000110b: POP
0000110c: POP
0000110d: PUSH1 0x20
0000110f: PUSH1 0x40
00001111: MLOAD
00001112: DUP1
00001113: DUP4
00001114: SUB
00001115: DUP2
00001116: PUSH1 0x00
00001118: DUP8
00001119: DUP1
0000111a: EXTCODESIZE
0000111b: ISZERO
0000111c: ISZERO
0000111d: PUSH2 0x1125
00001120: JUMPI
00001121: PUSH1 0x00
00001123: DUP1
00001124: REVERT
00001125: JUMPDEST
00001126: GAS
00001127: CALL
00001128: ISZERO
00001129: ISZERO
0000112a: PUSH2 0x1132
0000112d: JUMPI
0000112e: PUSH1 0x00
00001130: DUP1
00001131: REVERT
00001132: JUMPDEST
00001133: POP
00001134: POP
00001135: POP
00001136: PUSH1 0x40
00001138: MLOAD
00001139: DUP1
0000113a: MLOAD
0000113b: SWAP1
0000113c: POP
0000113d: ISZERO
0000113e: ISZERO
0000113f: PUSH2 0x1147
00001142: JUMPI
00001143: PUSH1 0x00
00001145: DUP1
00001146: REVERT
00001147: JUMPDEST
00001148: JUMPDEST
00001149: PUSH1 0x01
0000114b: SWAP2
0000114c: POP
0000114d: POP
0000114e: SWAP5
0000114f: SWAP4
00001150: POP
00001151: POP
00001152: POP
00001153: POP
00001154: JUMP
00001155: JUMPDEST
00001156: PUSH1 0x00
00001158: PUSH2 0x1165
0000115b: PUSH1 0x03
0000115d: SLOAD
0000115e: PUSH1 0x02
00001160: SLOAD
00001161: PUSH2 0x1e6c
00001164: JUMP
00001165: JUMPDEST
00001166: SWAP1
00001167: POP
00001168: PUSH1 0x01
0000116a: DUP2
0000116b: GT
0000116c: ISZERO
0000116d: ISZERO
0000116e: PUSH2 0x1176
00001171: JUMPI
00001172: PUSH1 0x00
00001174: DUP1
00001175: REVERT
00001176: JUMPDEST
00001177: PUSH2 0x1182
0000117a: PUSH1 0x02
0000117c: SLOAD
0000117d: DUP3
0000117e: PUSH2 0x299d
00001181: JUMP
00001182: JUMPDEST
00001183: PUSH1 0x02
00001185: DUP2
00001186: SWAP1
00001187: SSTORE
00001188: POP
00001189: PUSH20 0x5adf43dd006c6c36506e2b2dfa352e60002d22dc
0000119e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b3: AND
000011b4: DUP2
000011b5: PUSH3 0x061a80
000011b9: SWAP1
000011ba: PUSH1 0x40
000011bc: MLOAD
000011bd: PUSH1 0x00
000011bf: PUSH1 0x40
000011c1: MLOAD
000011c2: DUP1
000011c3: DUP4
000011c4: SUB
000011c5: DUP2
000011c6: DUP6
000011c7: DUP9
000011c8: DUP9
000011c9: CALL
000011ca: SWAP4
000011cb: POP
000011cc: POP
000011cd: POP
000011ce: POP
000011cf: ISZERO
000011d0: ISZERO
000011d1: PUSH2 0x11e7
000011d4: JUMPI
000011d5: PUSH2 0x11e0
000011d8: PUSH1 0x02
000011da: SLOAD
000011db: DUP3
000011dc: PUSH2 0x1e6c
000011df: JUMP
000011e0: JUMPDEST
000011e1: PUSH1 0x02
000011e3: DUP2
000011e4: SWAP1
000011e5: SSTORE
000011e6: POP
000011e7: JUMPDEST
000011e8: POP
000011e9: JUMP
000011ea: JUMPDEST
000011eb: PUSH1 0x00
000011ed: DUP1
000011ee: PUSH1 0x00
000011f0: DUP1
000011f1: PUSH1 0x00
000011f3: DUP1
000011f4: PUSH1 0x0a
000011f6: SLOAD
000011f7: EQ
000011f8: ISZERO
000011f9: PUSH2 0x1210
000011fc: JUMPI
000011fd: PUSH5 0x02540be400
00001203: PUSH5 0x174876e800
00001209: SUB
0000120a: SWAP5
0000120b: POP
0000120c: PUSH2 0x1270
0000120f: JUMP
00001210: JUMPDEST
00001211: PUSH2 0x1221
00001214: PUSH8 0x0de0b6b3a7640000
0000121d: PUSH2 0x28df
00001220: JUMP
00001221: JUMPDEST
00001222: SWAP4
00001223: POP
00001224: PUSH2 0x123b
00001227: PUSH2 0x1234
0000122a: DUP6
0000122b: PUSH1 0x14
0000122d: PUSH1 0xff
0000122f: AND
00001230: PUSH2 0x27fc
00001233: JUMP
00001234: JUMPDEST
00001235: PUSH1 0x64
00001237: PUSH2 0x2837
0000123a: JUMP
0000123b: JUMPDEST
0000123c: SWAP3
0000123d: POP
0000123e: PUSH2 0x1255
00001241: PUSH2 0x124e
00001244: DUP6
00001245: PUSH1 0x02
00001247: PUSH1 0xff
00001249: AND
0000124a: PUSH2 0x27fc
0000124d: JUMP
0000124e: JUMPDEST
0000124f: PUSH1 0x64
00001251: PUSH2 0x2837
00001254: JUMP
00001255: JUMPDEST
00001256: SWAP2
00001257: POP
00001258: PUSH2 0x126a
0000125b: PUSH2 0x1264
0000125e: DUP6
0000125f: DUP6
00001260: PUSH2 0x1e6c
00001263: JUMP
00001264: JUMPDEST
00001265: DUP4
00001266: PUSH2 0x1e6c
00001269: JUMP
0000126a: JUMPDEST
0000126b: SWAP1
0000126c: POP
0000126d: DUP1
0000126e: SWAP5
0000126f: POP
00001270: JUMPDEST
00001271: POP
00001272: POP
00001273: POP
00001274: POP
00001275: SWAP1
00001276: JUMP
00001277: JUMPDEST
00001278: PUSH1 0x04
0000127a: SLOAD
0000127b: DUP2
0000127c: JUMP
0000127d: JUMPDEST
0000127e: PUSH1 0x00
00001280: DUP1
00001281: CALLER
00001282: SWAP1
00001283: POP
00001284: DUP3
00001285: PUSH2 0x1296
00001288: JUMPI
00001289: PUSH2 0x1291
0000128c: DUP2
0000128d: PUSH2 0x0acf
00001290: JUMP
00001291: JUMPDEST
00001292: PUSH2 0x12e1
00001295: JUMP
00001296: JUMPDEST
00001297: PUSH1 0x07
00001299: PUSH1 0x00
0000129b: DUP3
0000129c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012b1: AND
000012b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c7: AND
000012c8: DUP2
000012c9: MSTORE
000012ca: PUSH1 0x20
000012cc: ADD
000012cd: SWAP1
000012ce: DUP2
000012cf: MSTORE
000012d0: PUSH1 0x20
000012d2: ADD
000012d3: PUSH1 0x00
000012d5: KECCAK256
000012d6: SLOAD
000012d7: PUSH2 0x12df
000012da: DUP3
000012db: PUSH2 0x0acf
000012de: JUMP
000012df: JUMPDEST
000012e0: ADD
000012e1: JUMPDEST
000012e2: SWAP2
000012e3: POP
000012e4: POP
000012e5: SWAP2
000012e6: SWAP1
000012e7: POP
000012e8: JUMP
000012e9: JUMPDEST
000012ea: PUSH1 0x00
000012ec: ADDRESS
000012ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001302: AND
00001303: BALANCE
00001304: SWAP1
00001305: POP
00001306: SWAP1
00001307: JUMP
00001308: JUMPDEST
00001309: PUSH1 0x00
0000130b: PUSH1 0x06
0000130d: PUSH1 0x00
0000130f: DUP4
00001310: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001325: AND
00001326: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133b: AND
0000133c: DUP2
0000133d: MSTORE
0000133e: PUSH1 0x20
00001340: ADD
00001341: SWAP1
00001342: DUP2
00001343: MSTORE
00001344: PUSH1 0x20
00001346: ADD
00001347: PUSH1 0x00
00001349: KECCAK256
0000134a: SLOAD
0000134b: SWAP1
0000134c: POP
0000134d: SWAP2
0000134e: SWAP1
0000134f: POP
00001350: JUMP
00001351: JUMPDEST
00001352: PUSH1 0x0c
00001354: PUSH1 0x20
00001356: MSTORE
00001357: DUP1
00001358: PUSH1 0x00
0000135a: MSTORE
0000135b: PUSH1 0x40
0000135d: PUSH1 0x00
0000135f: KECCAK256
00001360: PUSH1 0x00
00001362: SWAP2
00001363: POP
00001364: SLOAD
00001365: SWAP1
00001366: PUSH2 0x0100
00001369: EXP
0000136a: SWAP1
0000136b: DIV
0000136c: PUSH1 0xff
0000136e: AND
0000136f: DUP2
00001370: JUMP
00001371: JUMPDEST
00001372: PUSH1 0x00
00001374: CALLER
00001375: SWAP1
00001376: POP
00001377: PUSH1 0x0c
00001379: PUSH1 0x00
0000137b: DUP3
0000137c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001391: AND
00001392: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a7: AND
000013a8: DUP2
000013a9: MSTORE
000013aa: PUSH1 0x20
000013ac: ADD
000013ad: SWAP1
000013ae: DUP2
000013af: MSTORE
000013b0: PUSH1 0x20
000013b2: ADD
000013b3: PUSH1 0x00
000013b5: KECCAK256
000013b6: PUSH1 0x00
000013b8: SWAP1
000013b9: SLOAD
000013ba: SWAP1
000013bb: PUSH2 0x0100
000013be: EXP
000013bf: SWAP1
000013c0: DIV
000013c1: PUSH1 0xff
000013c3: AND
000013c4: ISZERO
000013c5: ISZERO
000013c6: PUSH2 0x13ce
000013c9: JUMPI
000013ca: PUSH1 0x00
000013cc: DUP1
000013cd: REVERT
000013ce: JUMPDEST
000013cf: DUP2
000013d0: PUSH1 0x04
000013d2: DUP2
000013d3: SWAP1
000013d4: SSTORE
000013d5: POP
000013d6: POP
000013d7: POP
000013d8: JUMP
000013d9: JUMPDEST
000013da: PUSH1 0x00
000013dc: DUP1
000013dd: PUSH1 0x00
000013df: DUP1
000013e0: PUSH1 0x00
000013e2: DUP1
000013e3: PUSH1 0x0a
000013e5: SLOAD
000013e6: EQ
000013e7: ISZERO
000013e8: PUSH2 0x13ff
000013eb: JUMPI
000013ec: PUSH5 0x02540be400
000013f2: PUSH5 0x174876e800
000013f8: ADD
000013f9: SWAP5
000013fa: POP
000013fb: PUSH2 0x145f
000013fe: JUMP
000013ff: JUMPDEST
00001400: PUSH2 0x1410
00001403: PUSH8 0x0de0b6b3a7640000
0000140c: PUSH2 0x28df
0000140f: JUMP
00001410: JUMPDEST
00001411: SWAP4
00001412: POP
00001413: PUSH2 0x142a
00001416: PUSH2 0x1423
00001419: DUP6
0000141a: PUSH1 0x14
0000141c: PUSH1 0xff
0000141e: AND
0000141f: PUSH2 0x27fc
00001422: JUMP
00001423: JUMPDEST
00001424: PUSH1 0x64
00001426: PUSH2 0x2837
00001429: JUMP
0000142a: JUMPDEST
0000142b: SWAP3
0000142c: POP
0000142d: PUSH2 0x1444
00001430: PUSH2 0x143d
00001433: DUP6
00001434: PUSH1 0x02
00001436: PUSH1 0xff
00001438: AND
00001439: PUSH2 0x27fc
0000143c: JUMP
0000143d: JUMPDEST
0000143e: PUSH1 0x64
00001440: PUSH2 0x2837
00001443: JUMP
00001444: JUMPDEST
00001445: SWAP2
00001446: POP
00001447: PUSH2 0x1459
0000144a: PUSH2 0x1453
0000144d: DUP6
0000144e: DUP6
0000144f: PUSH2 0x299d
00001452: JUMP
00001453: JUMPDEST
00001454: DUP4
00001455: PUSH2 0x299d
00001458: JUMP
00001459: JUMPDEST
0000145a: SWAP1
0000145b: POP
0000145c: DUP1
0000145d: SWAP5
0000145e: POP
0000145f: JUMPDEST
00001460: POP
00001461: POP
00001462: POP
00001463: POP
00001464: SWAP1
00001465: JUMP
00001466: JUMPDEST
00001467: PUSH1 0x00
00001469: CALLER
0000146a: SWAP1
0000146b: POP
0000146c: PUSH1 0x0c
0000146e: PUSH1 0x00
00001470: DUP3
00001471: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001486: AND
00001487: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000149c: AND
0000149d: DUP2
0000149e: MSTORE
0000149f: PUSH1 0x20
000014a1: ADD
000014a2: SWAP1
000014a3: DUP2
000014a4: MSTORE
000014a5: PUSH1 0x20
000014a7: ADD
000014a8: PUSH1 0x00
000014aa: KECCAK256
000014ab: PUSH1 0x00
000014ad: SWAP1
000014ae: SLOAD
000014af: SWAP1
000014b0: PUSH2 0x0100
000014b3: EXP
000014b4: SWAP1
000014b5: DIV
000014b6: PUSH1 0xff
000014b8: AND
000014b9: ISZERO
000014ba: ISZERO
000014bb: PUSH2 0x14c3
000014be: JUMPI
000014bf: PUSH1 0x00
000014c1: DUP1
000014c2: REVERT
000014c3: JUMPDEST
000014c4: DUP2
000014c5: PUSH1 0x0c
000014c7: PUSH1 0x00
000014c9: DUP6
000014ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014df: AND
000014e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f5: AND
000014f6: DUP2
000014f7: MSTORE
000014f8: PUSH1 0x20
000014fa: ADD
000014fb: SWAP1
000014fc: DUP2
000014fd: MSTORE
000014fe: PUSH1 0x20
00001500: ADD
00001501: PUSH1 0x00
00001503: KECCAK256
00001504: PUSH1 0x00
00001506: PUSH2 0x0100
00001509: EXP
0000150a: DUP2
0000150b: SLOAD
0000150c: DUP2
0000150d: PUSH1 0xff
0000150f: MUL
00001510: NOT
00001511: AND
00001512: SWAP1
00001513: DUP4
00001514: ISZERO
00001515: ISZERO
00001516: MUL
00001517: OR
00001518: SWAP1
00001519: SSTORE
0000151a: POP
0000151b: POP
0000151c: POP
0000151d: POP
0000151e: JUMP
0000151f: JUMPDEST
00001520: PUSH1 0x02
00001522: SLOAD
00001523: DUP2
00001524: JUMP
00001525: JUMPDEST
00001526: PUSH1 0x00
00001528: DUP1
00001529: CALLER
0000152a: SWAP1
0000152b: POP
0000152c: PUSH2 0x1534
0000152f: DUP2
00001530: PUSH2 0x1308
00001533: JUMP
00001534: JUMPDEST
00001535: SWAP2
00001536: POP
00001537: POP
00001538: SWAP1
00001539: JUMP
0000153a: JUMPDEST
0000153b: PUSH1 0x01
0000153d: DUP1
0000153e: SLOAD
0000153f: PUSH1 0x01
00001541: DUP2
00001542: PUSH1 0x01
00001544: AND
00001545: ISZERO
00001546: PUSH2 0x0100
00001549: MUL
0000154a: SUB
0000154b: AND
0000154c: PUSH1 0x02
0000154e: SWAP1
0000154f: DIV
00001550: DUP1
00001551: PUSH1 0x1f
00001553: ADD
00001554: PUSH1 0x20
00001556: DUP1
00001557: SWAP2
00001558: DIV
00001559: MUL
0000155a: PUSH1 0x20
0000155c: ADD
0000155d: PUSH1 0x40
0000155f: MLOAD
00001560: SWAP1
00001561: DUP2
00001562: ADD
00001563: PUSH1 0x40
00001565: MSTORE
00001566: DUP1
00001567: SWAP3
00001568: SWAP2
00001569: SWAP1
0000156a: DUP2
0000156b: DUP2
0000156c: MSTORE
0000156d: PUSH1 0x20
0000156f: ADD
00001570: DUP3
00001571: DUP1
00001572: SLOAD
00001573: PUSH1 0x01
00001575: DUP2
00001576: PUSH1 0x01
00001578: AND
00001579: ISZERO
0000157a: PUSH2 0x0100
0000157d: MUL
0000157e: SUB
0000157f: AND
00001580: PUSH1 0x02
00001582: SWAP1
00001583: DIV
00001584: DUP1
00001585: ISZERO
00001586: PUSH2 0x15d0
00001589: JUMPI
0000158a: DUP1
0000158b: PUSH1 0x1f
0000158d: LT
0000158e: PUSH2 0x15a5
00001591: JUMPI
00001592: PUSH2 0x0100
00001595: DUP1
00001596: DUP4
00001597: SLOAD
00001598: DIV
00001599: MUL
0000159a: DUP4
0000159b: MSTORE
0000159c: SWAP2
0000159d: PUSH1 0x20
0000159f: ADD
000015a0: SWAP2
000015a1: PUSH2 0x15d0
000015a4: JUMP
000015a5: JUMPDEST
000015a6: DUP3
000015a7: ADD
000015a8: SWAP2
000015a9: SWAP1
000015aa: PUSH1 0x00
000015ac: MSTORE
000015ad: PUSH1 0x20
000015af: PUSH1 0x00
000015b1: KECCAK256
000015b2: SWAP1
000015b3: JUMPDEST
000015b4: DUP2
000015b5: SLOAD
000015b6: DUP2
000015b7: MSTORE
000015b8: SWAP1
000015b9: PUSH1 0x01
000015bb: ADD
000015bc: SWAP1
000015bd: PUSH1 0x20
000015bf: ADD
000015c0: DUP1
000015c1: DUP4
000015c2: GT
000015c3: PUSH2 0x15b3
000015c6: JUMPI
000015c7: DUP3
000015c8: SWAP1
000015c9: SUB
000015ca: PUSH1 0x1f
000015cc: AND
000015cd: DUP3
000015ce: ADD
000015cf: SWAP2
000015d0: JUMPDEST
000015d1: POP
000015d2: POP
000015d3: POP
000015d4: POP
000015d5: POP
000015d6: DUP2
000015d7: JUMP
000015d8: JUMPDEST
000015d9: PUSH1 0x00
000015db: CALLER
000015dc: SWAP1
000015dd: POP
000015de: PUSH1 0x0c
000015e0: PUSH1 0x00
000015e2: DUP3
000015e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015f8: AND
000015f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000160e: AND
0000160f: DUP2
00001610: MSTORE
00001611: PUSH1 0x20
00001613: ADD
00001614: SWAP1
00001615: DUP2
00001616: MSTORE
00001617: PUSH1 0x20
00001619: ADD
0000161a: PUSH1 0x00
0000161c: KECCAK256
0000161d: PUSH1 0x00
0000161f: SWAP1
00001620: SLOAD
00001621: SWAP1
00001622: PUSH2 0x0100
00001625: EXP
00001626: SWAP1
00001627: DIV
00001628: PUSH1 0xff
0000162a: AND
0000162b: ISZERO
0000162c: ISZERO
0000162d: PUSH2 0x1635
00001630: JUMPI
00001631: PUSH1 0x00
00001633: DUP1
00001634: REVERT
00001635: JUMPDEST
00001636: PUSH1 0x00
00001638: PUSH1 0x0d
0000163a: PUSH1 0x00
0000163c: PUSH2 0x0100
0000163f: EXP
00001640: DUP2
00001641: SLOAD
00001642: DUP2
00001643: PUSH1 0xff
00001645: MUL
00001646: NOT
00001647: AND
00001648: SWAP1
00001649: DUP4
0000164a: ISZERO
0000164b: ISZERO
0000164c: MUL
0000164d: OR
0000164e: SWAP1
0000164f: SSTORE
00001650: POP
00001651: POP
00001652: JUMP
00001653: JUMPDEST
00001654: PUSH1 0x00
00001656: DUP1
00001657: PUSH1 0x00
00001659: PUSH2 0x1660
0000165c: PUSH2 0x1525
0000165f: JUMP
00001660: JUMPDEST
00001661: GT
00001662: ISZERO
00001663: ISZERO
00001664: PUSH2 0x166c
00001667: JUMPI
00001668: PUSH1 0x00
0000166a: DUP1
0000166b: REVERT
0000166c: JUMPDEST
0000166d: CALLER
0000166e: SWAP1
0000166f: POP
00001670: PUSH1 0x06
00001672: PUSH1 0x00
00001674: DUP3
00001675: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000168a: AND
0000168b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a0: AND
000016a1: DUP2
000016a2: MSTORE
000016a3: PUSH1 0x20
000016a5: ADD
000016a6: SWAP1
000016a7: DUP2
000016a8: MSTORE
000016a9: PUSH1 0x20
000016ab: ADD
000016ac: PUSH1 0x00
000016ae: KECCAK256
000016af: SLOAD
000016b0: DUP4
000016b1: GT
000016b2: ISZERO
000016b3: ISZERO
000016b4: ISZERO
000016b5: PUSH2 0x16bd
000016b8: JUMPI
000016b9: PUSH1 0x00
000016bb: DUP1
000016bc: REVERT
000016bd: JUMPDEST
000016be: PUSH1 0x00
000016c0: PUSH2 0x16c9
000016c3: PUSH1 0x01
000016c5: PUSH2 0x127d
000016c8: JUMP
000016c9: JUMPDEST
000016ca: GT
000016cb: ISZERO
000016cc: PUSH2 0x16d8
000016cf: JUMPI
000016d0: PUSH2 0x16d7
000016d3: PUSH2 0x0e00
000016d6: JUMP
000016d7: JUMPDEST
000016d8: JUMPDEST
000016d9: PUSH2 0x1721
000016dc: PUSH1 0x06
000016de: PUSH1 0x00
000016e0: DUP4
000016e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f6: AND
000016f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170c: AND
0000170d: DUP2
0000170e: MSTORE
0000170f: PUSH1 0x20
00001711: ADD
00001712: SWAP1
00001713: DUP2
00001714: MSTORE
00001715: PUSH1 0x20
00001717: ADD
00001718: PUSH1 0x00
0000171a: KECCAK256
0000171b: SLOAD
0000171c: DUP5
0000171d: PUSH2 0x1e6c
00001720: JUMP
00001721: JUMPDEST
00001722: PUSH1 0x06
00001724: PUSH1 0x00
00001726: DUP4
00001727: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000173c: AND
0000173d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001752: AND
00001753: DUP2
00001754: MSTORE
00001755: PUSH1 0x20
00001757: ADD
00001758: SWAP1
00001759: DUP2
0000175a: MSTORE
0000175b: PUSH1 0x20
0000175d: ADD
0000175e: PUSH1 0x00
00001760: KECCAK256
00001761: DUP2
00001762: SWAP1
00001763: SSTORE
00001764: POP
00001765: PUSH2 0x17ad
00001768: PUSH1 0x06
0000176a: PUSH1 0x00
0000176c: DUP7
0000176d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001782: AND
00001783: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001798: AND
00001799: DUP2
0000179a: MSTORE
0000179b: PUSH1 0x20
0000179d: ADD
0000179e: SWAP1
0000179f: DUP2
000017a0: MSTORE
000017a1: PUSH1 0x20
000017a3: ADD
000017a4: PUSH1 0x00
000017a6: KECCAK256
000017a7: SLOAD
000017a8: DUP5
000017a9: PUSH2 0x299d
000017ac: JUMP
000017ad: JUMPDEST
000017ae: PUSH1 0x06
000017b0: PUSH1 0x00
000017b2: DUP7
000017b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017c8: AND
000017c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017de: AND
000017df: DUP2
000017e0: MSTORE
000017e1: PUSH1 0x20
000017e3: ADD
000017e4: SWAP1
000017e5: DUP2
000017e6: MSTORE
000017e7: PUSH1 0x20
000017e9: ADD
000017ea: PUSH1 0x00
000017ec: KECCAK256
000017ed: DUP2
000017ee: SWAP1
000017ef: SSTORE
000017f0: POP
000017f1: DUP3
000017f2: PUSH1 0x0b
000017f4: SLOAD
000017f5: MUL
000017f6: PUSH1 0x08
000017f8: PUSH1 0x00
000017fa: DUP4
000017fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001810: AND
00001811: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001826: AND
00001827: DUP2
00001828: MSTORE
00001829: PUSH1 0x20
0000182b: ADD
0000182c: SWAP1
0000182d: DUP2
0000182e: MSTORE
0000182f: PUSH1 0x20
00001831: ADD
00001832: PUSH1 0x00
00001834: KECCAK256
00001835: PUSH1 0x00
00001837: DUP3
00001838: DUP3
00001839: SLOAD
0000183a: SUB
0000183b: SWAP3
0000183c: POP
0000183d: POP
0000183e: DUP2
0000183f: SWAP1
00001840: SSTORE
00001841: POP
00001842: DUP3
00001843: PUSH1 0x0b
00001845: SLOAD
00001846: MUL
00001847: PUSH1 0x08
00001849: PUSH1 0x00
0000184b: DUP7
0000184c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001861: AND
00001862: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001877: AND
00001878: DUP2
00001879: MSTORE
0000187a: PUSH1 0x20
0000187c: ADD
0000187d: SWAP1
0000187e: DUP2
0000187f: MSTORE
00001880: PUSH1 0x20
00001882: ADD
00001883: PUSH1 0x00
00001885: KECCAK256
00001886: PUSH1 0x00
00001888: DUP3
00001889: DUP3
0000188a: SLOAD
0000188b: ADD
0000188c: SWAP3
0000188d: POP
0000188e: POP
0000188f: DUP2
00001890: SWAP1
00001891: SSTORE
00001892: POP
00001893: DUP4
00001894: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a9: AND
000018aa: DUP2
000018ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c0: AND
000018c1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000018e2: DUP6
000018e3: PUSH1 0x40
000018e5: MLOAD
000018e6: DUP1
000018e7: DUP3
000018e8: DUP2
000018e9: MSTORE
000018ea: PUSH1 0x20
000018ec: ADD
000018ed: SWAP2
000018ee: POP
000018ef: POP
000018f0: PUSH1 0x40
000018f2: MLOAD
000018f3: DUP1
000018f4: SWAP2
000018f5: SUB
000018f6: SWAP1
000018f7: LOG3
000018f8: PUSH1 0x01
000018fa: SWAP2
000018fb: POP
000018fc: POP
000018fd: SWAP3
000018fe: SWAP2
000018ff: POP
00001900: POP
00001901: JUMP
00001902: JUMPDEST
00001903: PUSH20 0x5adf43dd006c6c36506e2b2dfa352e60002d22dc
00001918: DUP2
00001919: JUMP
0000191a: JUMPDEST
0000191b: PUSH1 0x00
0000191d: CALLER
0000191e: SWAP1
0000191f: POP
00001920: PUSH1 0x0c
00001922: PUSH1 0x00
00001924: DUP3
00001925: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000193a: AND
0000193b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001950: AND
00001951: DUP2
00001952: MSTORE
00001953: PUSH1 0x20
00001955: ADD
00001956: SWAP1
00001957: DUP2
00001958: MSTORE
00001959: PUSH1 0x20
0000195b: ADD
0000195c: PUSH1 0x00
0000195e: KECCAK256
0000195f: PUSH1 0x00
00001961: SWAP1
00001962: SLOAD
00001963: SWAP1
00001964: PUSH2 0x0100
00001967: EXP
00001968: SWAP1
00001969: DIV
0000196a: PUSH1 0xff
0000196c: AND
0000196d: ISZERO
0000196e: ISZERO
0000196f: PUSH2 0x1977
00001972: JUMPI
00001973: PUSH1 0x00
00001975: DUP1
00001976: REVERT
00001977: JUMPDEST
00001978: DUP2
00001979: PUSH1 0x01
0000197b: SWAP1
0000197c: DUP1
0000197d: MLOAD
0000197e: SWAP1
0000197f: PUSH1 0x20
00001981: ADD
00001982: SWAP1
00001983: PUSH2 0x198d
00001986: SWAP3
00001987: SWAP2
00001988: SWAP1
00001989: PUSH2 0x2a06
0000198c: JUMP
0000198d: JUMPDEST
0000198e: POP
0000198f: POP
00001990: POP
00001991: JUMP
00001992: JUMPDEST
00001993: PUSH1 0x00
00001995: CALLER
00001996: SWAP1
00001997: POP
00001998: PUSH1 0x0c
0000199a: PUSH1 0x00
0000199c: DUP3
0000199d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b2: AND
000019b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c8: AND
000019c9: DUP2
000019ca: MSTORE
000019cb: PUSH1 0x20
000019cd: ADD
000019ce: SWAP1
000019cf: DUP2
000019d0: MSTORE
000019d1: PUSH1 0x20
000019d3: ADD
000019d4: PUSH1 0x00
000019d6: KECCAK256
000019d7: PUSH1 0x00
000019d9: SWAP1
000019da: SLOAD
000019db: SWAP1
000019dc: PUSH2 0x0100
000019df: EXP
000019e0: SWAP1
000019e1: DIV
000019e2: PUSH1 0xff
000019e4: AND
000019e5: ISZERO
000019e6: ISZERO
000019e7: PUSH2 0x19ef
000019ea: JUMPI
000019eb: PUSH1 0x00
000019ed: DUP1
000019ee: REVERT
000019ef: JUMPDEST
000019f0: DUP2
000019f1: PUSH1 0x00
000019f3: SWAP1
000019f4: DUP1
000019f5: MLOAD
000019f6: SWAP1
000019f7: PUSH1 0x20
000019f9: ADD
000019fa: SWAP1
000019fb: PUSH2 0x1a05
000019fe: SWAP3
000019ff: SWAP2
00001a00: SWAP1
00001a01: PUSH2 0x2a06
00001a04: JUMP
00001a05: JUMPDEST
00001a06: POP
00001a07: POP
00001a08: POP
00001a09: JUMP
00001a0a: JUMPDEST
00001a0b: PUSH1 0x03
00001a0d: SLOAD
00001a0e: DUP2
00001a0f: JUMP
00001a10: JUMPDEST
00001a11: PUSH1 0x00
00001a13: DUP1
00001a14: PUSH1 0x00
00001a16: DUP1
00001a17: PUSH1 0x00
00001a19: DUP1
00001a1a: PUSH1 0x00
00001a1c: DUP1
00001a1d: PUSH2 0x1a24
00001a20: PUSH2 0x1525
00001a23: JUMP
00001a24: JUMPDEST
00001a25: GT
00001a26: ISZERO
00001a27: ISZERO
00001a28: PUSH2 0x1a30
00001a2b: JUMPI
00001a2c: PUSH1 0x00
00001a2e: DUP1
00001a2f: REVERT
00001a30: JUMPDEST
00001a31: CALLER
00001a32: SWAP7
00001a33: POP
00001a34: PUSH1 0x06
00001a36: PUSH1 0x00
00001a38: DUP9
00001a39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a4e: AND
00001a4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a64: AND
00001a65: DUP2
00001a66: MSTORE
00001a67: PUSH1 0x20
00001a69: ADD
00001a6a: SWAP1
00001a6b: DUP2
00001a6c: MSTORE
00001a6d: PUSH1 0x20
00001a6f: ADD
00001a70: PUSH1 0x00
00001a72: KECCAK256
00001a73: SLOAD
00001a74: DUP9
00001a75: GT
00001a76: ISZERO
00001a77: ISZERO
00001a78: ISZERO
00001a79: PUSH2 0x1a81
00001a7c: JUMPI
00001a7d: PUSH1 0x00
00001a7f: DUP1
00001a80: REVERT
00001a81: JUMPDEST
00001a82: DUP8
00001a83: SWAP6
00001a84: POP
00001a85: PUSH2 0x1a8d
00001a88: DUP7
00001a89: PUSH2 0x28df
00001a8c: JUMP
00001a8d: JUMPDEST
00001a8e: SWAP5
00001a8f: POP
00001a90: PUSH2 0x1aa7
00001a93: PUSH2 0x1aa0
00001a96: DUP7
00001a97: PUSH1 0x14
00001a99: PUSH1 0xff
00001a9b: AND
00001a9c: PUSH2 0x27fc
00001a9f: JUMP
00001aa0: JUMPDEST
00001aa1: PUSH1 0x64
00001aa3: PUSH2 0x2837
00001aa6: JUMP
00001aa7: JUMPDEST
00001aa8: SWAP4
00001aa9: POP
00001aaa: PUSH2 0x1ac1
00001aad: PUSH2 0x1aba
00001ab0: DUP7
00001ab1: PUSH1 0x02
00001ab3: PUSH1 0xff
00001ab5: AND
00001ab6: PUSH2 0x27fc
00001ab9: JUMP
00001aba: JUMPDEST
00001abb: PUSH1 0x64
00001abd: PUSH2 0x2837
00001ac0: JUMP
00001ac1: JUMPDEST
00001ac2: SWAP3
00001ac3: POP
00001ac4: PUSH2 0x1ad6
00001ac7: PUSH2 0x1ad0
00001aca: DUP7
00001acb: DUP7
00001acc: PUSH2 0x1e6c
00001acf: JUMP
00001ad0: JUMPDEST
00001ad1: DUP5
00001ad2: PUSH2 0x1e6c
00001ad5: JUMP
00001ad6: JUMPDEST
00001ad7: SWAP2
00001ad8: POP
00001ad9: PUSH2 0x1ae4
00001adc: PUSH1 0x03
00001ade: SLOAD
00001adf: DUP5
00001ae0: PUSH2 0x299d
00001ae3: JUMP
00001ae4: JUMPDEST
00001ae5: PUSH1 0x03
00001ae7: DUP2
00001ae8: SWAP1
00001ae9: SSTORE
00001aea: POP
00001aeb: PUSH2 0x1af6
00001aee: PUSH1 0x0a
00001af0: SLOAD
00001af1: DUP8
00001af2: PUSH2 0x1e6c
00001af5: JUMP
00001af6: JUMPDEST
00001af7: PUSH1 0x0a
00001af9: DUP2
00001afa: SWAP1
00001afb: SSTORE
00001afc: POP
00001afd: PUSH2 0x1b45
00001b00: PUSH1 0x06
00001b02: PUSH1 0x00
00001b04: DUP10
00001b05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b1a: AND
00001b1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b30: AND
00001b31: DUP2
00001b32: MSTORE
00001b33: PUSH1 0x20
00001b35: ADD
00001b36: SWAP1
00001b37: DUP2
00001b38: MSTORE
00001b39: PUSH1 0x20
00001b3b: ADD
00001b3c: PUSH1 0x00
00001b3e: KECCAK256
00001b3f: SLOAD
00001b40: DUP8
00001b41: PUSH2 0x1e6c
00001b44: JUMP
00001b45: JUMPDEST
00001b46: PUSH1 0x06
00001b48: PUSH1 0x00
00001b4a: DUP10
00001b4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b60: AND
00001b61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b76: AND
00001b77: DUP2
00001b78: MSTORE
00001b79: PUSH1 0x20
00001b7b: ADD
00001b7c: SWAP1
00001b7d: DUP2
00001b7e: MSTORE
00001b7f: PUSH1 0x20
00001b81: ADD
00001b82: PUSH1 0x00
00001b84: KECCAK256
00001b85: DUP2
00001b86: SWAP1
00001b87: SSTORE
00001b88: POP
00001b89: PUSH9 0x010000000000000000
00001b93: DUP3
00001b94: MUL
00001b95: DUP7
00001b96: PUSH1 0x0b
00001b98: SLOAD
00001b99: MUL
00001b9a: ADD
00001b9b: SWAP1
00001b9c: POP
00001b9d: DUP1
00001b9e: PUSH1 0x08
00001ba0: PUSH1 0x00
00001ba2: DUP10
00001ba3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bb8: AND
00001bb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bce: AND
00001bcf: DUP2
00001bd0: MSTORE
00001bd1: PUSH1 0x20
00001bd3: ADD
00001bd4: SWAP1
00001bd5: DUP2
00001bd6: MSTORE
00001bd7: PUSH1 0x20
00001bd9: ADD
00001bda: PUSH1 0x00
00001bdc: KECCAK256
00001bdd: PUSH1 0x00
00001bdf: DUP3
00001be0: DUP3
00001be1: SLOAD
00001be2: SUB
00001be3: SWAP3
00001be4: POP
00001be5: POP
00001be6: DUP2
00001be7: SWAP1
00001be8: SSTORE
00001be9: POP
00001bea: PUSH1 0x00
00001bec: PUSH1 0x0a
00001bee: SLOAD
00001bef: GT
00001bf0: ISZERO
00001bf1: PUSH2 0x1c1f
00001bf4: JUMPI
00001bf5: PUSH2 0x1c18
00001bf8: PUSH1 0x0b
00001bfa: SLOAD
00001bfb: PUSH1 0x0a
00001bfd: SLOAD
00001bfe: PUSH9 0x010000000000000000
00001c08: DUP8
00001c09: MUL
00001c0a: DUP2
00001c0b: ISZERO
00001c0c: ISZERO
00001c0d: PUSH2 0x1c12
00001c10: JUMPI
00001c11: INVALID
00001c12: JUMPDEST
00001c13: DIV
00001c14: PUSH2 0x299d
00001c17: JUMP
00001c18: JUMPDEST
00001c19: PUSH1 0x0b
00001c1b: DUP2
00001c1c: SWAP1
00001c1d: SSTORE
00001c1e: POP
00001c1f: JUMPDEST
00001c20: DUP7
00001c21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c36: AND
00001c37: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139
00001c58: DUP8
00001c59: DUP5
00001c5a: PUSH1 0x40
00001c5c: MLOAD
00001c5d: DUP1
00001c5e: DUP4
00001c5f: DUP2
00001c60: MSTORE
00001c61: PUSH1 0x20
00001c63: ADD
00001c64: DUP3
00001c65: DUP2
00001c66: MSTORE
00001c67: PUSH1 0x20
00001c69: ADD
00001c6a: SWAP3
00001c6b: POP
00001c6c: POP
00001c6d: POP
00001c6e: PUSH1 0x40
00001c70: MLOAD
00001c71: DUP1
00001c72: SWAP2
00001c73: SUB
00001c74: SWAP1
00001c75: LOG2
00001c76: POP
00001c77: POP
00001c78: POP
00001c79: POP
00001c7a: POP
00001c7b: POP
00001c7c: POP
00001c7d: POP
00001c7e: JUMP
00001c7f: JUMPDEST
00001c80: PUSH1 0x00
00001c82: DUP1
00001c83: CALLER
00001c84: SWAP2
00001c85: POP
00001c86: PUSH1 0x06
00001c88: PUSH1 0x00
00001c8a: DUP4
00001c8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ca0: AND
00001ca1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cb6: AND
00001cb7: DUP2
00001cb8: MSTORE
00001cb9: PUSH1 0x20
00001cbb: ADD
00001cbc: SWAP1
00001cbd: DUP2
00001cbe: MSTORE
00001cbf: PUSH1 0x20
00001cc1: ADD
00001cc2: PUSH1 0x00
00001cc4: KECCAK256
00001cc5: SLOAD
00001cc6: SWAP1
00001cc7: POP
00001cc8: PUSH1 0x00
00001cca: DUP2
00001ccb: GT
00001ccc: ISZERO
00001ccd: PUSH2 0x1cda
00001cd0: JUMPI
00001cd1: PUSH2 0x1cd9
00001cd4: DUP2
00001cd5: PUSH2 0x1a10
00001cd8: JUMP
00001cd9: JUMPDEST
00001cda: JUMPDEST
00001cdb: PUSH2 0x1ce2
00001cde: PUSH2 0x0e00
00001ce1: JUMP
00001ce2: JUMPDEST
00001ce3: POP
00001ce4: POP
00001ce5: JUMP
00001ce6: JUMPDEST
00001ce7: PUSH1 0x00
00001ce9: PUSH2 0x1cf2
00001cec: CALLVALUE
00001ced: DUP4
00001cee: PUSH2 0x09d5
00001cf1: JUMP
00001cf2: JUMPDEST
00001cf3: POP
00001cf4: SWAP2
00001cf5: SWAP1
00001cf6: POP
00001cf7: JUMP
00001cf8: JUMPDEST
00001cf9: PUSH1 0x00
00001cfb: DUP1
00001cfc: PUSH1 0x00
00001cfe: DUP1
00001cff: PUSH2 0x1d08
00001d02: PUSH1 0x01
00001d04: PUSH2 0x127d
00001d07: JUMP
00001d08: JUMPDEST
00001d09: GT
00001d0a: ISZERO
00001d0b: ISZERO
00001d0c: PUSH2 0x1d14
00001d0f: JUMPI
00001d10: PUSH1 0x00
00001d12: DUP1
00001d13: REVERT
00001d14: JUMPDEST
00001d15: PUSH2 0x1d1e
00001d18: PUSH1 0x00
00001d1a: PUSH2 0x127d
00001d1d: JUMP
00001d1e: JUMPDEST
00001d1f: SWAP3
00001d20: POP
00001d21: CALLER
00001d22: SWAP2
00001d23: POP
00001d24: PUSH9 0x010000000000000000
00001d2e: DUP4
00001d2f: MUL
00001d30: PUSH1 0x08
00001d32: PUSH1 0x00
00001d34: DUP5
00001d35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d4a: AND
00001d4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d60: AND
00001d61: DUP2
00001d62: MSTORE
00001d63: PUSH1 0x20
00001d65: ADD
00001d66: SWAP1
00001d67: DUP2
00001d68: MSTORE
00001d69: PUSH1 0x20
00001d6b: ADD
00001d6c: PUSH1 0x00
00001d6e: KECCAK256
00001d6f: PUSH1 0x00
00001d71: DUP3
00001d72: DUP3
00001d73: SLOAD
00001d74: ADD
00001d75: SWAP3
00001d76: POP
00001d77: POP
00001d78: DUP2
00001d79: SWAP1
00001d7a: SSTORE
00001d7b: POP
00001d7c: PUSH1 0x07
00001d7e: PUSH1 0x00
00001d80: DUP4
00001d81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d96: AND
00001d97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dac: AND
00001dad: DUP2
00001dae: MSTORE
00001daf: PUSH1 0x20
00001db1: ADD
00001db2: SWAP1
00001db3: DUP2
00001db4: MSTORE
00001db5: PUSH1 0x20
00001db7: ADD
00001db8: PUSH1 0x00
00001dba: KECCAK256
00001dbb: SLOAD
00001dbc: DUP4
00001dbd: ADD
00001dbe: SWAP3
00001dbf: POP
00001dc0: PUSH1 0x00
00001dc2: PUSH1 0x07
00001dc4: PUSH1 0x00
00001dc6: DUP5
00001dc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ddc: AND
00001ddd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001df2: AND
00001df3: DUP2
00001df4: MSTORE
00001df5: PUSH1 0x20
00001df7: ADD
00001df8: SWAP1
00001df9: DUP2
00001dfa: MSTORE
00001dfb: PUSH1 0x20
00001dfd: ADD
00001dfe: PUSH1 0x00
00001e00: KECCAK256
00001e01: DUP2
00001e02: SWAP1
00001e03: SSTORE
00001e04: POP
00001e05: PUSH2 0x1e0f
00001e08: DUP4
00001e09: PUSH1 0x00
00001e0b: PUSH2 0x1e85
00001e0e: JUMP
00001e0f: JUMPDEST
00001e10: SWAP1
00001e11: POP
00001e12: DUP2
00001e13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e28: AND
00001e29: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
00001e4a: DUP5
00001e4b: DUP4
00001e4c: PUSH1 0x40
00001e4e: MLOAD
00001e4f: DUP1
00001e50: DUP4
00001e51: DUP2
00001e52: MSTORE
00001e53: PUSH1 0x20
00001e55: ADD
00001e56: DUP3
00001e57: DUP2
00001e58: MSTORE
00001e59: PUSH1 0x20
00001e5b: ADD
00001e5c: SWAP3
00001e5d: POP
00001e5e: POP
00001e5f: POP
00001e60: PUSH1 0x40
00001e62: MLOAD
00001e63: DUP1
00001e64: SWAP2
00001e65: SUB
00001e66: SWAP1
00001e67: LOG2
00001e68: POP
00001e69: POP
00001e6a: POP
00001e6b: JUMP
00001e6c: JUMPDEST
00001e6d: PUSH1 0x00
00001e6f: DUP3
00001e70: DUP3
00001e71: GT
00001e72: ISZERO
00001e73: ISZERO
00001e74: ISZERO
00001e75: PUSH2 0x1e7a
00001e78: JUMPI
00001e79: INVALID
00001e7a: JUMPDEST
00001e7b: DUP2
00001e7c: DUP4
00001e7d: SUB
00001e7e: SWAP1
00001e7f: POP
00001e80: SWAP3
00001e81: SWAP2
00001e82: POP
00001e83: POP
00001e84: JUMP
00001e85: JUMPDEST
00001e86: PUSH1 0x00
00001e88: DUP1
00001e89: PUSH1 0x00
00001e8b: DUP1
00001e8c: PUSH1 0x00
00001e8e: DUP1
00001e8f: PUSH1 0x00
00001e91: DUP1
00001e92: PUSH1 0x00
00001e94: DUP11
00001e95: PUSH1 0x00
00001e97: CALLER
00001e98: SWAP1
00001e99: POP
00001e9a: PUSH1 0x0d
00001e9c: PUSH1 0x00
00001e9e: SWAP1
00001e9f: SLOAD
00001ea0: SWAP1
00001ea1: PUSH2 0x0100
00001ea4: EXP
00001ea5: SWAP1
00001ea6: DIV
00001ea7: PUSH1 0xff
00001ea9: AND
00001eaa: DUP1
00001eab: ISZERO
00001eac: PUSH2 0x1ec6
00001eaf: JUMPI
00001eb0: POP
00001eb1: PUSH8 0x8ac7230489e80000
00001eba: DUP3
00001ebb: PUSH2 0x1ec2
00001ebe: PUSH2 0x12e9
00001ec1: JUMP
00001ec2: JUMPDEST
00001ec3: SUB
00001ec4: GT
00001ec5: ISZERO
00001ec6: JUMPDEST
00001ec7: ISZERO
00001ec8: PUSH2 0x23f0
00001ecb: JUMPI
00001ecc: PUSH1 0x01
00001ece: ISZERO
00001ecf: ISZERO
00001ed0: PUSH1 0x05
00001ed2: PUSH1 0x00
00001ed4: DUP4
00001ed5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eea: AND
00001eeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f00: AND
00001f01: DUP2
00001f02: MSTORE
00001f03: PUSH1 0x20
00001f05: ADD
00001f06: SWAP1
00001f07: DUP2
00001f08: MSTORE
00001f09: PUSH1 0x20
00001f0b: ADD
00001f0c: PUSH1 0x00
00001f0e: KECCAK256
00001f0f: PUSH1 0x00
00001f11: SWAP1
00001f12: SLOAD
00001f13: SWAP1
00001f14: PUSH2 0x0100
00001f17: EXP
00001f18: SWAP1
00001f19: DIV
00001f1a: PUSH1 0xff
00001f1c: AND
00001f1d: ISZERO
00001f1e: ISZERO
00001f1f: EQ
00001f20: DUP1
00001f21: ISZERO
00001f22: PUSH2 0x1f74
00001f25: JUMPI
00001f26: POP
00001f27: PUSH8 0x058d15e176280000
00001f30: DUP3
00001f31: PUSH1 0x09
00001f33: PUSH1 0x00
00001f35: DUP5
00001f36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f4b: AND
00001f4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f61: AND
00001f62: DUP2
00001f63: MSTORE
00001f64: PUSH1 0x20
00001f66: ADD
00001f67: SWAP1
00001f68: DUP2
00001f69: MSTORE
00001f6a: PUSH1 0x20
00001f6c: ADD
00001f6d: PUSH1 0x00
00001f6f: KECCAK256
00001f70: SLOAD
00001f71: ADD
00001f72: GT
00001f73: ISZERO
00001f74: JUMPDEST
00001f75: ISZERO
00001f76: ISZERO
00001f77: PUSH2 0x1f7f
00001f7a: JUMPI
00001f7b: PUSH1 0x00
00001f7d: DUP1
00001f7e: REVERT
00001f7f: JUMPDEST
00001f80: PUSH2 0x1fc8
00001f83: PUSH1 0x09
00001f85: PUSH1 0x00
00001f87: DUP4
00001f88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f9d: AND
00001f9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb3: AND
00001fb4: DUP2
00001fb5: MSTORE
00001fb6: PUSH1 0x20
00001fb8: ADD
00001fb9: SWAP1
00001fba: DUP2
00001fbb: MSTORE
00001fbc: PUSH1 0x20
00001fbe: ADD
00001fbf: PUSH1 0x00
00001fc1: KECCAK256
00001fc2: SLOAD
00001fc3: DUP4
00001fc4: PUSH2 0x299d
00001fc7: JUMP
00001fc8: JUMPDEST
00001fc9: PUSH1 0x09
00001fcb: PUSH1 0x00
00001fcd: DUP4
00001fce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fe3: AND
00001fe4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff9: AND
00001ffa: DUP2
00001ffb: MSTORE
00001ffc: PUSH1 0x20
00001ffe: ADD
00001fff: SWAP1
00002000: DUP2
00002001: MSTORE
00002002: PUSH1 0x20
00002004: ADD
00002005: PUSH1 0x00
00002007: KECCAK256
00002008: DUP2
00002009: SWAP1
0000200a: SSTORE
0000200b: POP
0000200c: PUSH2 0x2023
0000200f: PUSH2 0x201c
00002012: DUP15
00002013: PUSH1 0x14
00002015: PUSH1 0xff
00002017: AND
00002018: PUSH2 0x27fc
0000201b: JUMP
0000201c: JUMPDEST
0000201d: PUSH1 0x64
0000201f: PUSH2 0x2837
00002022: JUMP
00002023: JUMPDEST
00002024: SWAP10
00002025: POP
00002026: PUSH2 0x2030
00002029: DUP11
0000202a: PUSH1 0x03
0000202c: PUSH2 0x2837
0000202f: JUMP
00002030: JUMPDEST
00002031: SWAP9
00002032: POP
00002033: PUSH2 0x204a
00002036: PUSH2 0x2043
00002039: DUP15
0000203a: PUSH1 0x02
0000203c: PUSH1 0xff
0000203e: AND
0000203f: PUSH2 0x27fc
00002042: JUMP
00002043: JUMPDEST
00002044: PUSH1 0x64
00002046: PUSH2 0x2837
00002049: JUMP
0000204a: JUMPDEST
0000204b: SWAP8
0000204c: POP
0000204d: PUSH2 0x2056
00002050: DUP11
00002051: DUP11
00002052: PUSH2 0x1e6c
00002055: JUMP
00002056: JUMPDEST
00002057: SWAP7
00002058: POP
00002059: PUSH2 0x206b
0000205c: PUSH2 0x2065
0000205f: DUP15
00002060: DUP13
00002061: PUSH2 0x1e6c
00002064: JUMP
00002065: JUMPDEST
00002066: DUP10
00002067: PUSH2 0x1e6c
0000206a: JUMP
0000206b: JUMPDEST
0000206c: SWAP6
0000206d: POP
0000206e: PUSH2 0x2079
00002071: PUSH1 0x03
00002073: SLOAD
00002074: DUP10
00002075: PUSH2 0x299d
00002078: JUMP
00002079: JUMPDEST
0000207a: PUSH1 0x03
0000207c: DUP2
0000207d: SWAP1
0000207e: SSTORE
0000207f: POP
00002080: PUSH2 0x2088
00002083: DUP7
00002084: PUSH2 0x2852
00002087: JUMP
00002088: JUMPDEST
00002089: SWAP5
0000208a: POP
0000208b: PUSH9 0x010000000000000000
00002095: DUP8
00002096: MUL
00002097: SWAP4
00002098: POP
00002099: PUSH1 0x00
0000209b: DUP6
0000209c: GT
0000209d: DUP1
0000209e: ISZERO
0000209f: PUSH2 0x20b4
000020a2: JUMPI
000020a3: POP
000020a4: PUSH1 0x0a
000020a6: SLOAD
000020a7: PUSH2 0x20b2
000020aa: DUP7
000020ab: PUSH1 0x0a
000020ad: SLOAD
000020ae: PUSH2 0x299d
000020b1: JUMP
000020b2: JUMPDEST
000020b3: GT
000020b4: JUMPDEST
000020b5: ISZERO
000020b6: ISZERO
000020b7: PUSH2 0x20bf
000020ba: JUMPI
000020bb: PUSH1 0x00
000020bd: DUP1
000020be: REVERT
000020bf: JUMPDEST
000020c0: PUSH1 0x00
000020c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020d7: AND
000020d8: DUP13
000020d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ee: AND
000020ef: EQ
000020f0: ISZERO
000020f1: DUP1
000020f2: ISZERO
000020f3: PUSH2 0x2128
000020f6: JUMPI
000020f7: POP
000020f8: CALLER
000020f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000210e: AND
0000210f: DUP13
00002110: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002125: AND
00002126: EQ
00002127: ISZERO
00002128: JUMPDEST
00002129: DUP1
0000212a: ISZERO
0000212b: PUSH2 0x2175
0000212e: JUMPI
0000212f: POP
00002130: PUSH1 0x04
00002132: SLOAD
00002133: PUSH1 0x06
00002135: PUSH1 0x00
00002137: DUP15
00002138: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000214d: AND
0000214e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002163: AND
00002164: DUP2
00002165: MSTORE
00002166: PUSH1 0x20
00002168: ADD
00002169: SWAP1
0000216a: DUP2
0000216b: MSTORE
0000216c: PUSH1 0x20
0000216e: ADD
0000216f: PUSH1 0x00
00002171: KECCAK256
00002172: SLOAD
00002173: LT
00002174: ISZERO
00002175: JUMPDEST
00002176: ISZERO
00002177: PUSH2 0x220b
0000217a: JUMPI
0000217b: PUSH2 0x21c3
0000217e: PUSH1 0x07
00002180: PUSH1 0x00
00002182: DUP15
00002183: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002198: AND
00002199: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ae: AND
000021af: DUP2
000021b0: MSTORE
000021b1: PUSH1 0x20
000021b3: ADD
000021b4: SWAP1
000021b5: DUP2
000021b6: MSTORE
000021b7: PUSH1 0x20
000021b9: ADD
000021ba: PUSH1 0x00
000021bc: KECCAK256
000021bd: SLOAD
000021be: DUP11
000021bf: PUSH2 0x299d
000021c2: JUMP
000021c3: JUMPDEST
000021c4: PUSH1 0x07
000021c6: PUSH1 0x00
000021c8: DUP15
000021c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021de: AND
000021df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021f4: AND
000021f5: DUP2
000021f6: MSTORE
000021f7: PUSH1 0x20
000021f9: ADD
000021fa: SWAP1
000021fb: DUP2
000021fc: MSTORE
000021fd: PUSH1 0x20
000021ff: ADD
00002200: PUSH1 0x00
00002202: KECCAK256
00002203: DUP2
00002204: SWAP1
00002205: SSTORE
00002206: POP
00002207: PUSH2 0x2226
0000220a: JUMP
0000220b: JUMPDEST
0000220c: PUSH2 0x2215
0000220f: DUP8
00002210: DUP11
00002211: PUSH2 0x299d
00002214: JUMP
00002215: JUMPDEST
00002216: SWAP7
00002217: POP
00002218: PUSH9 0x010000000000000000
00002222: DUP8
00002223: MUL
00002224: SWAP4
00002225: POP
00002226: JUMPDEST
00002227: PUSH1 0x00
00002229: PUSH1 0x0a
0000222b: SLOAD
0000222c: GT
0000222d: ISZERO
0000222e: PUSH2 0x2291
00002231: JUMPI
00002232: PUSH2 0x223d
00002235: PUSH1 0x0a
00002237: SLOAD
00002238: DUP7
00002239: PUSH2 0x299d
0000223c: JUMP
0000223d: JUMPDEST
0000223e: PUSH1 0x0a
00002240: DUP2
00002241: SWAP1
00002242: SSTORE
00002243: POP
00002244: PUSH1 0x0a
00002246: SLOAD
00002247: PUSH9 0x010000000000000000
00002251: DUP9
00002252: MUL
00002253: DUP2
00002254: ISZERO
00002255: ISZERO
00002256: PUSH2 0x225b
00002259: JUMPI
0000225a: INVALID
0000225b: JUMPDEST
0000225c: DIV
0000225d: PUSH1 0x0b
0000225f: PUSH1 0x00
00002261: DUP3
00002262: DUP3
00002263: SLOAD
00002264: ADD
00002265: SWAP3
00002266: POP
00002267: POP
00002268: DUP2
00002269: SWAP1
0000226a: SSTORE
0000226b: POP
0000226c: PUSH1 0x0a
0000226e: SLOAD
0000226f: PUSH9 0x010000000000000000
00002279: DUP9
0000227a: MUL
0000227b: DUP2
0000227c: ISZERO
0000227d: ISZERO
0000227e: PUSH2 0x2283
00002281: JUMPI
00002282: INVALID
00002283: JUMPDEST
00002284: DIV
00002285: DUP6
00002286: MUL
00002287: DUP5
00002288: SUB
00002289: DUP5
0000228a: SUB
0000228b: SWAP4
0000228c: POP
0000228d: PUSH2 0x2299
00002290: JUMP
00002291: JUMPDEST
00002292: DUP5
00002293: PUSH1 0x0a
00002295: DUP2
00002296: SWAP1
00002297: SSTORE
00002298: POP
00002299: JUMPDEST
0000229a: PUSH2 0x22e2
0000229d: PUSH1 0x06
0000229f: PUSH1 0x00
000022a1: CALLER
000022a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022b7: AND
000022b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022cd: AND
000022ce: DUP2
000022cf: MSTORE
000022d0: PUSH1 0x20
000022d2: ADD
000022d3: SWAP1
000022d4: DUP2
000022d5: MSTORE
000022d6: PUSH1 0x20
000022d8: ADD
000022d9: PUSH1 0x00
000022db: KECCAK256
000022dc: SLOAD
000022dd: DUP7
000022de: PUSH2 0x299d
000022e1: JUMP
000022e2: JUMPDEST
000022e3: PUSH1 0x06
000022e5: PUSH1 0x00
000022e7: CALLER
000022e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022fd: AND
000022fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002313: AND
00002314: DUP2
00002315: MSTORE
00002316: PUSH1 0x20
00002318: ADD
00002319: SWAP1
0000231a: DUP2
0000231b: MSTORE
0000231c: PUSH1 0x20
0000231e: ADD
0000231f: PUSH1 0x00
00002321: KECCAK256
00002322: DUP2
00002323: SWAP1
00002324: SSTORE
00002325: POP
00002326: DUP4
00002327: DUP6
00002328: PUSH1 0x0b
0000232a: SLOAD
0000232b: MUL
0000232c: SUB
0000232d: SWAP3
0000232e: POP
0000232f: DUP3
00002330: PUSH1 0x08
00002332: PUSH1 0x00
00002334: CALLER
00002335: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000234a: AND
0000234b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002360: AND
00002361: DUP2
00002362: MSTORE
00002363: PUSH1 0x20
00002365: ADD
00002366: SWAP1
00002367: DUP2
00002368: MSTORE
00002369: PUSH1 0x20
0000236b: ADD
0000236c: PUSH1 0x00
0000236e: KECCAK256
0000236f: PUSH1 0x00
00002371: DUP3
00002372: DUP3
00002373: SLOAD
00002374: ADD
00002375: SWAP3
00002376: POP
00002377: POP
00002378: DUP2
00002379: SWAP1
0000237a: SSTORE
0000237b: POP
0000237c: DUP12
0000237d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002392: AND
00002393: CALLER
00002394: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023a9: AND
000023aa: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
000023cb: DUP16
000023cc: DUP9
000023cd: PUSH1 0x40
000023cf: MLOAD
000023d0: DUP1
000023d1: DUP4
000023d2: DUP2
000023d3: MSTORE
000023d4: PUSH1 0x20
000023d6: ADD
000023d7: DUP3
000023d8: DUP2
000023d9: MSTORE
000023da: PUSH1 0x20
000023dc: ADD
000023dd: SWAP3
000023de: POP
000023df: POP
000023e0: POP
000023e1: PUSH1 0x40
000023e3: MLOAD
000023e4: DUP1
000023e5: SWAP2
000023e6: SUB
000023e7: SWAP1
000023e8: LOG3
000023e9: DUP5
000023ea: SWAP11
000023eb: POP
000023ec: PUSH2 0x27ec
000023ef: JUMP
000023f0: JUMPDEST
000023f1: PUSH1 0x00
000023f3: PUSH1 0x0d
000023f5: PUSH1 0x00
000023f7: PUSH2 0x0100
000023fa: EXP
000023fb: DUP2
000023fc: SLOAD
000023fd: DUP2
000023fe: PUSH1 0xff
00002400: MUL
00002401: NOT
00002402: AND
00002403: SWAP1
00002404: DUP4
00002405: ISZERO
00002406: ISZERO
00002407: MUL
00002408: OR
00002409: SWAP1
0000240a: SSTORE
0000240b: POP
0000240c: PUSH2 0x2423
0000240f: PUSH2 0x241c
00002412: DUP15
00002413: PUSH1 0x14
00002415: PUSH1 0xff
00002417: AND
00002418: PUSH2 0x27fc
0000241b: JUMP
0000241c: JUMPDEST
0000241d: PUSH1 0x64
0000241f: PUSH2 0x2837
00002422: JUMP
00002423: JUMPDEST
00002424: SWAP10
00002425: POP
00002426: PUSH2 0x2430
00002429: DUP11
0000242a: PUSH1 0x03
0000242c: PUSH2 0x2837
0000242f: JUMP
00002430: JUMPDEST
00002431: SWAP9
00002432: POP
00002433: PUSH2 0x244a
00002436: PUSH2 0x2443
00002439: DUP15
0000243a: PUSH1 0x02
0000243c: PUSH1 0xff
0000243e: AND
0000243f: PUSH2 0x27fc
00002442: JUMP
00002443: JUMPDEST
00002444: PUSH1 0x64
00002446: PUSH2 0x2837
00002449: JUMP
0000244a: JUMPDEST
0000244b: SWAP8
0000244c: POP
0000244d: PUSH2 0x2456
00002450: DUP11
00002451: DUP11
00002452: PUSH2 0x1e6c
00002455: JUMP
00002456: JUMPDEST
00002457: SWAP7
00002458: POP
00002459: PUSH2 0x246b
0000245c: PUSH2 0x2465
0000245f: DUP15
00002460: DUP13
00002461: PUSH2 0x1e6c
00002464: JUMP
00002465: JUMPDEST
00002466: DUP10
00002467: PUSH2 0x1e6c
0000246a: JUMP
0000246b: JUMPDEST
0000246c: SWAP6
0000246d: POP
0000246e: PUSH2 0x2479
00002471: PUSH1 0x03
00002473: SLOAD
00002474: DUP10
00002475: PUSH2 0x299d
00002478: JUMP
00002479: JUMPDEST
0000247a: PUSH1 0x03
0000247c: DUP2
0000247d: SWAP1
0000247e: SSTORE
0000247f: POP
00002480: PUSH2 0x2488
00002483: DUP7
00002484: PUSH2 0x2852
00002487: JUMP
00002488: JUMPDEST
00002489: SWAP5
0000248a: POP
0000248b: PUSH9 0x010000000000000000
00002495: DUP8
00002496: MUL
00002497: SWAP4
00002498: POP
00002499: PUSH1 0x00
0000249b: DUP6
0000249c: GT
0000249d: DUP1
0000249e: ISZERO
0000249f: PUSH2 0x24b4
000024a2: JUMPI
000024a3: POP
000024a4: PUSH1 0x0a
000024a6: SLOAD
000024a7: PUSH2 0x24b2
000024aa: DUP7
000024ab: PUSH1 0x0a
000024ad: SLOAD
000024ae: PUSH2 0x299d
000024b1: JUMP
000024b2: JUMPDEST
000024b3: GT
000024b4: JUMPDEST
000024b5: ISZERO
000024b6: ISZERO
000024b7: PUSH2 0x24bf
000024ba: JUMPI
000024bb: PUSH1 0x00
000024bd: DUP1
000024be: REVERT
000024bf: JUMPDEST
000024c0: PUSH1 0x00
000024c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024d7: AND
000024d8: DUP13
000024d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024ee: AND
000024ef: EQ
000024f0: ISZERO
000024f1: DUP1
000024f2: ISZERO
000024f3: PUSH2 0x2528
000024f6: JUMPI
000024f7: POP
000024f8: CALLER
000024f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000250e: AND
0000250f: DUP13
00002510: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002525: AND
00002526: EQ
00002527: ISZERO
00002528: JUMPDEST
00002529: DUP1
0000252a: ISZERO
0000252b: PUSH2 0x2575
0000252e: JUMPI
0000252f: POP
00002530: PUSH1 0x04
00002532: SLOAD
00002533: PUSH1 0x06
00002535: PUSH1 0x00
00002537: DUP15
00002538: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000254d: AND
0000254e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002563: AND
00002564: DUP2
00002565: MSTORE
00002566: PUSH1 0x20
00002568: ADD
00002569: SWAP1
0000256a: DUP2
0000256b: MSTORE
0000256c: PUSH1 0x20
0000256e: ADD
0000256f: PUSH1 0x00
00002571: KECCAK256
00002572: SLOAD
00002573: LT
00002574: ISZERO
00002575: JUMPDEST
00002576: ISZERO
00002577: PUSH2 0x260b
0000257a: JUMPI
0000257b: PUSH2 0x25c3
0000257e: PUSH1 0x07
00002580: PUSH1 0x00
00002582: DUP15
00002583: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002598: AND
00002599: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025ae: AND
000025af: DUP2
000025b0: MSTORE
000025b1: PUSH1 0x20
000025b3: ADD
000025b4: SWAP1
000025b5: DUP2
000025b6: MSTORE
000025b7: PUSH1 0x20
000025b9: ADD
000025ba: PUSH1 0x00
000025bc: KECCAK256
000025bd: SLOAD
000025be: DUP11
000025bf: PUSH2 0x299d
000025c2: JUMP
000025c3: JUMPDEST
000025c4: PUSH1 0x07
000025c6: PUSH1 0x00
000025c8: DUP15
000025c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025de: AND
000025df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025f4: AND
000025f5: DUP2
000025f6: MSTORE
000025f7: PUSH1 0x20
000025f9: ADD
000025fa: SWAP1
000025fb: DUP2
000025fc: MSTORE
000025fd: PUSH1 0x20
000025ff: ADD
00002600: PUSH1 0x00
00002602: KECCAK256
00002603: DUP2
00002604: SWAP1
00002605: SSTORE
00002606: POP
00002607: PUSH2 0x2626
0000260a: JUMP
0000260b: JUMPDEST
0000260c: PUSH2 0x2615
0000260f: DUP8
00002610: DUP11
00002611: PUSH2 0x299d
00002614: JUMP
00002615: JUMPDEST
00002616: SWAP7
00002617: POP
00002618: PUSH9 0x010000000000000000
00002622: DUP8
00002623: MUL
00002624: SWAP4
00002625: POP
00002626: JUMPDEST
00002627: PUSH1 0x00
00002629: PUSH1 0x0a
0000262b: SLOAD
0000262c: GT
0000262d: ISZERO
0000262e: PUSH2 0x2691
00002631: JUMPI
00002632: PUSH2 0x263d
00002635: PUSH1 0x0a
00002637: SLOAD
00002638: DUP7
00002639: PUSH2 0x299d
0000263c: JUMP
0000263d: JUMPDEST
0000263e: PUSH1 0x0a
00002640: DUP2
00002641: SWAP1
00002642: SSTORE
00002643: POP
00002644: PUSH1 0x0a
00002646: SLOAD
00002647: PUSH9 0x010000000000000000
00002651: DUP9
00002652: MUL
00002653: DUP2
00002654: ISZERO
00002655: ISZERO
00002656: PUSH2 0x265b
00002659: JUMPI
0000265a: INVALID
0000265b: JUMPDEST
0000265c: DIV
0000265d: PUSH1 0x0b
0000265f: PUSH1 0x00
00002661: DUP3
00002662: DUP3
00002663: SLOAD
00002664: ADD
00002665: SWAP3
00002666: POP
00002667: POP
00002668: DUP2
00002669: SWAP1
0000266a: SSTORE
0000266b: POP
0000266c: PUSH1 0x0a
0000266e: SLOAD
0000266f: PUSH9 0x010000000000000000
00002679: DUP9
0000267a: MUL
0000267b: DUP2
0000267c: ISZERO
0000267d: ISZERO
0000267e: PUSH2 0x2683
00002681: JUMPI
00002682: INVALID
00002683: JUMPDEST
00002684: DIV
00002685: DUP6
00002686: MUL
00002687: DUP5
00002688: SUB
00002689: DUP5
0000268a: SUB
0000268b: SWAP4
0000268c: POP
0000268d: PUSH2 0x2699
00002690: JUMP
00002691: JUMPDEST
00002692: DUP5
00002693: PUSH1 0x0a
00002695: DUP2
00002696: SWAP1
00002697: SSTORE
00002698: POP
00002699: JUMPDEST
0000269a: PUSH2 0x26e2
0000269d: PUSH1 0x06
0000269f: PUSH1 0x00
000026a1: CALLER
000026a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026b7: AND
000026b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026cd: AND
000026ce: DUP2
000026cf: MSTORE
000026d0: PUSH1 0x20
000026d2: ADD
000026d3: SWAP1
000026d4: DUP2
000026d5: MSTORE
000026d6: PUSH1 0x20
000026d8: ADD
000026d9: PUSH1 0x00
000026db: KECCAK256
000026dc: SLOAD
000026dd: DUP7
000026de: PUSH2 0x299d
000026e1: JUMP
000026e2: JUMPDEST
000026e3: PUSH1 0x06
000026e5: PUSH1 0x00
000026e7: CALLER
000026e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026fd: AND
000026fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002713: AND
00002714: DUP2
00002715: MSTORE
00002716: PUSH1 0x20
00002718: ADD
00002719: SWAP1
0000271a: DUP2
0000271b: MSTORE
0000271c: PUSH1 0x20
0000271e: ADD
0000271f: PUSH1 0x00
00002721: KECCAK256
00002722: DUP2
00002723: SWAP1
00002724: SSTORE
00002725: POP
00002726: DUP4
00002727: DUP6
00002728: PUSH1 0x0b
0000272a: SLOAD
0000272b: MUL
0000272c: SUB
0000272d: SWAP3
0000272e: POP
0000272f: DUP3
00002730: PUSH1 0x08
00002732: PUSH1 0x00
00002734: CALLER
00002735: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000274a: AND
0000274b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002760: AND
00002761: DUP2
00002762: MSTORE
00002763: PUSH1 0x20
00002765: ADD
00002766: SWAP1
00002767: DUP2
00002768: MSTORE
00002769: PUSH1 0x20
0000276b: ADD
0000276c: PUSH1 0x00
0000276e: KECCAK256
0000276f: PUSH1 0x00
00002771: DUP3
00002772: DUP3
00002773: SLOAD
00002774: ADD
00002775: SWAP3
00002776: POP
00002777: POP
00002778: DUP2
00002779: SWAP1
0000277a: SSTORE
0000277b: POP
0000277c: DUP12
0000277d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002792: AND
00002793: CALLER
00002794: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027a9: AND
000027aa: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
000027cb: DUP16
000027cc: DUP9
000027cd: PUSH1 0x40
000027cf: MLOAD
000027d0: DUP1
000027d1: DUP4
000027d2: DUP2
000027d3: MSTORE
000027d4: PUSH1 0x20
000027d6: ADD
000027d7: DUP3
000027d8: DUP2
000027d9: MSTORE
000027da: PUSH1 0x20
000027dc: ADD
000027dd: SWAP3
000027de: POP
000027df: POP
000027e0: POP
000027e1: PUSH1 0x40
000027e3: MLOAD
000027e4: DUP1
000027e5: SWAP2
000027e6: SUB
000027e7: SWAP1
000027e8: LOG3
000027e9: DUP5
000027ea: SWAP11
000027eb: POP
000027ec: JUMPDEST
000027ed: POP
000027ee: POP
000027ef: POP
000027f0: POP
000027f1: POP
000027f2: POP
000027f3: POP
000027f4: POP
000027f5: POP
000027f6: POP
000027f7: SWAP3
000027f8: SWAP2
000027f9: POP
000027fa: POP
000027fb: JUMP
000027fc: JUMPDEST
000027fd: PUSH1 0x00
000027ff: DUP1
00002800: PUSH1 0x00
00002802: DUP5
00002803: EQ
00002804: ISZERO
00002805: PUSH2 0x2811
00002808: JUMPI
00002809: PUSH1 0x00
0000280b: SWAP2
0000280c: POP
0000280d: PUSH2 0x2830
00002810: JUMP
00002811: JUMPDEST
00002812: DUP3
00002813: DUP5
00002814: MUL
00002815: SWAP1
00002816: POP
00002817: DUP3
00002818: DUP5
00002819: DUP3
0000281a: DUP2
0000281b: ISZERO
0000281c: ISZERO
0000281d: PUSH2 0x2822
00002820: JUMPI
00002821: INVALID
00002822: JUMPDEST
00002823: DIV
00002824: EQ
00002825: ISZERO
00002826: ISZERO
00002827: PUSH2 0x282c
0000282a: JUMPI
0000282b: INVALID
0000282c: JUMPDEST
0000282d: DUP1
0000282e: SWAP2
0000282f: POP
00002830: JUMPDEST
00002831: POP
00002832: SWAP3
00002833: SWAP2
00002834: POP
00002835: POP
00002836: JUMP
00002837: JUMPDEST
00002838: PUSH1 0x00
0000283a: DUP1
0000283b: DUP3
0000283c: DUP5
0000283d: DUP2
0000283e: ISZERO
0000283f: ISZERO
00002840: PUSH2 0x2845
00002843: JUMPI
00002844: INVALID
00002845: JUMPDEST
00002846: DIV
00002847: SWAP1
00002848: POP
00002849: DUP1
0000284a: SWAP2
0000284b: POP
0000284c: POP
0000284d: SWAP3
0000284e: SWAP2
0000284f: POP
00002850: POP
00002851: JUMP
00002852: JUMPDEST
00002853: PUSH1 0x00
00002855: DUP1
00002856: PUSH1 0x00
00002858: PUSH8 0x0de0b6b3a7640000
00002861: PUSH5 0x174876e800
00002867: MUL
00002868: SWAP2
00002869: POP
0000286a: PUSH1 0x0a
0000286c: SLOAD
0000286d: PUSH5 0x02540be400
00002873: PUSH2 0x28c8
00002876: PUSH2 0x28c2
00002879: PUSH1 0x0a
0000287b: SLOAD
0000287c: DUP7
0000287d: PUSH5 0x02540be400
00002883: PUSH1 0x02
00002885: MUL
00002886: MUL
00002887: MUL
00002888: PUSH1 0x02
0000288a: PUSH1 0x0a
0000288c: SLOAD
0000288d: EXP
0000288e: PUSH1 0x02
00002890: PUSH5 0x02540be400
00002896: EXP
00002897: MUL
00002898: PUSH8 0x0de0b6b3a7640000
000028a1: DUP11
000028a2: MUL
000028a3: PUSH8 0x0de0b6b3a7640000
000028ac: PUSH5 0x02540be400
000028b2: MUL
000028b3: PUSH1 0x02
000028b5: MUL
000028b6: MUL
000028b7: PUSH1 0x02
000028b9: DUP10
000028ba: EXP
000028bb: ADD
000028bc: ADD
000028bd: ADD
000028be: PUSH2 0x29bb
000028c1: JUMP
000028c2: JUMPDEST
000028c3: DUP6
000028c4: PUSH2 0x1e6c
000028c7: JUMP
000028c8: JUMPDEST
000028c9: DUP2
000028ca: ISZERO
000028cb: ISZERO
000028cc: PUSH2 0x28d1
000028cf: JUMPI
000028d0: INVALID
000028d1: JUMPDEST
000028d2: DIV
000028d3: SUB
000028d4: SWAP1
000028d5: POP
000028d6: DUP1
000028d7: SWAP3
000028d8: POP
000028d9: POP
000028da: POP
000028db: SWAP2
000028dc: SWAP1
000028dd: POP
000028de: JUMP
000028df: JUMPDEST
000028e0: PUSH1 0x00
000028e2: DUP1
000028e3: PUSH1 0x00
000028e5: DUP1
000028e6: PUSH8 0x0de0b6b3a7640000
000028ef: DUP6
000028f0: ADD
000028f1: SWAP3
000028f2: POP
000028f3: PUSH8 0x0de0b6b3a7640000
000028fc: PUSH1 0x0a
000028fe: SLOAD
000028ff: ADD
00002900: SWAP2
00002901: POP
00002902: PUSH8 0x0de0b6b3a7640000
0000290b: PUSH2 0x2973
0000290e: PUSH8 0x0de0b6b3a7640000
00002917: DUP6
00002918: SUB
00002919: PUSH5 0x02540be400
0000291f: PUSH8 0x0de0b6b3a7640000
00002928: DUP7
00002929: DUP2
0000292a: ISZERO
0000292b: ISZERO
0000292c: PUSH2 0x2931
0000292f: JUMPI
00002930: INVALID
00002931: JUMPDEST
00002932: DIV
00002933: PUSH5 0x02540be400
00002939: MUL
0000293a: PUSH5 0x174876e800
00002940: ADD
00002941: SUB
00002942: MUL
00002943: PUSH1 0x02
00002945: PUSH8 0x0de0b6b3a7640000
0000294e: DUP8
0000294f: PUSH1 0x02
00002951: DUP10
00002952: EXP
00002953: SUB
00002954: DUP2
00002955: ISZERO
00002956: ISZERO
00002957: PUSH2 0x295c
0000295a: JUMPI
0000295b: INVALID
0000295c: JUMPDEST
0000295d: DIV
0000295e: PUSH5 0x02540be400
00002964: MUL
00002965: DUP2
00002966: ISZERO
00002967: ISZERO
00002968: PUSH2 0x296d
0000296b: JUMPI
0000296c: INVALID
0000296d: JUMPDEST
0000296e: DIV
0000296f: PUSH2 0x1e6c
00002972: JUMP
00002973: JUMPDEST
00002974: DUP2
00002975: ISZERO
00002976: ISZERO
00002977: PUSH2 0x297c
0000297a: JUMPI
0000297b: INVALID
0000297c: JUMPDEST
0000297d: DIV
0000297e: SWAP1
0000297f: POP
00002980: DUP1
00002981: SWAP4
00002982: POP
00002983: POP
00002984: POP
00002985: POP
00002986: SWAP2
00002987: SWAP1
00002988: POP
00002989: JUMP
0000298a: JUMPDEST
0000298b: PUSH1 0x00
0000298d: DUP1
0000298e: DUP3
0000298f: EXTCODESIZE
00002990: SWAP1
00002991: POP
00002992: PUSH1 0x00
00002994: DUP2
00002995: GT
00002996: SWAP2
00002997: POP
00002998: POP
00002999: SWAP2
0000299a: SWAP1
0000299b: POP
0000299c: JUMP
0000299d: JUMPDEST
0000299e: PUSH1 0x00
000029a0: DUP1
000029a1: DUP3
000029a2: DUP5
000029a3: ADD
000029a4: SWAP1
000029a5: POP
000029a6: DUP4
000029a7: DUP2
000029a8: LT
000029a9: ISZERO
000029aa: ISZERO
000029ab: ISZERO
000029ac: PUSH2 0x29b1
000029af: JUMPI
000029b0: INVALID
000029b1: JUMPDEST
000029b2: DUP1
000029b3: SWAP2
000029b4: POP
000029b5: POP
000029b6: SWAP3
000029b7: SWAP2
000029b8: POP
000029b9: POP
000029ba: JUMP
000029bb: JUMPDEST
000029bc: PUSH1 0x00
000029be: DUP1
000029bf: PUSH1 0x02
000029c1: PUSH1 0x01
000029c3: DUP5
000029c4: ADD
000029c5: DUP2
000029c6: ISZERO
000029c7: ISZERO
000029c8: PUSH2 0x29cd
000029cb: JUMPI
000029cc: INVALID
000029cd: JUMPDEST
000029ce: DIV
000029cf: SWAP1
000029d0: POP
000029d1: DUP3
000029d2: SWAP2
000029d3: POP
000029d4: JUMPDEST
000029d5: DUP2
000029d6: DUP2
000029d7: LT
000029d8: ISZERO
000029d9: PUSH2 0x2a00
000029dc: JUMPI
000029dd: DUP1
000029de: SWAP2
000029df: POP
000029e0: PUSH1 0x02
000029e2: DUP2
000029e3: DUP3
000029e4: DUP6
000029e5: DUP2
000029e6: ISZERO
000029e7: ISZERO
000029e8: PUSH2 0x29ed
000029eb: JUMPI
000029ec: INVALID
000029ed: JUMPDEST
000029ee: DIV
000029ef: ADD
000029f0: DUP2
000029f1: ISZERO
000029f2: ISZERO
000029f3: PUSH2 0x29f8
000029f6: JUMPI
000029f7: INVALID
000029f8: JUMPDEST
000029f9: DIV
000029fa: SWAP1
000029fb: POP
000029fc: PUSH2 0x29d4
000029ff: JUMP
00002a00: JUMPDEST
00002a01: POP
00002a02: SWAP2
00002a03: SWAP1
00002a04: POP
00002a05: JUMP
00002a06: JUMPDEST
00002a07: DUP3
00002a08: DUP1
00002a09: SLOAD
00002a0a: PUSH1 0x01
00002a0c: DUP2
00002a0d: PUSH1 0x01
00002a0f: AND
00002a10: ISZERO
00002a11: PUSH2 0x0100
00002a14: MUL
00002a15: SUB
00002a16: AND
00002a17: PUSH1 0x02
00002a19: SWAP1
00002a1a: DIV
00002a1b: SWAP1
00002a1c: PUSH1 0x00
00002a1e: MSTORE
00002a1f: PUSH1 0x20
00002a21: PUSH1 0x00
00002a23: KECCAK256
00002a24: SWAP1
00002a25: PUSH1 0x1f
00002a27: ADD
00002a28: PUSH1 0x20
00002a2a: SWAP1
00002a2b: DIV
00002a2c: DUP2
00002a2d: ADD
00002a2e: SWAP3
00002a2f: DUP3
00002a30: PUSH1 0x1f
00002a32: LT
00002a33: PUSH2 0x2a47
00002a36: JUMPI
00002a37: DUP1
00002a38: MLOAD
00002a39: PUSH1 0xff
00002a3b: NOT
00002a3c: AND
00002a3d: DUP4
00002a3e: DUP1
00002a3f: ADD
00002a40: OR
00002a41: DUP6
00002a42: SSTORE
00002a43: PUSH2 0x2a75
00002a46: JUMP
00002a47: JUMPDEST
00002a48: DUP3
00002a49: DUP1
00002a4a: ADD
00002a4b: PUSH1 0x01
00002a4d: ADD
00002a4e: DUP6
00002a4f: SSTORE
00002a50: DUP3
00002a51: ISZERO
00002a52: PUSH2 0x2a75
00002a55: JUMPI
00002a56: SWAP2
00002a57: DUP3
00002a58: ADD
00002a59: JUMPDEST
00002a5a: DUP3
00002a5b: DUP2
00002a5c: GT
00002a5d: ISZERO
00002a5e: PUSH2 0x2a74
00002a61: JUMPI
00002a62: DUP3
00002a63: MLOAD
00002a64: DUP3
00002a65: SSTORE
00002a66: SWAP2
00002a67: PUSH1 0x20
00002a69: ADD
00002a6a: SWAP2
00002a6b: SWAP1
00002a6c: PUSH1 0x01
00002a6e: ADD
00002a6f: SWAP1
00002a70: PUSH2 0x2a59
00002a73: JUMP
00002a74: JUMPDEST
00002a75: JUMPDEST
00002a76: POP
00002a77: SWAP1
00002a78: POP
00002a79: PUSH2 0x2a82
00002a7c: SWAP2
00002a7d: SWAP1
00002a7e: PUSH2 0x2a86
00002a81: JUMP
00002a82: JUMPDEST
00002a83: POP
00002a84: SWAP1
00002a85: JUMP
00002a86: JUMPDEST
00002a87: PUSH2 0x2aa8
00002a8a: SWAP2
00002a8b: SWAP1
00002a8c: JUMPDEST
00002a8d: DUP1
00002a8e: DUP3
00002a8f: GT
00002a90: ISZERO
00002a91: PUSH2 0x2aa4
00002a94: JUMPI
00002a95: PUSH1 0x00
00002a97: DUP2
00002a98: PUSH1 0x00
00002a9a: SWAP1
00002a9b: SSTORE
00002a9c: POP
00002a9d: PUSH1 0x01
00002a9f: ADD
00002aa0: PUSH2 0x2a8c
00002aa3: JUMP
00002aa4: JUMPDEST
00002aa5: POP
00002aa6: SWAP1
00002aa7: JUMP
00002aa8: JUMPDEST
00002aa9: SWAP1
00002aaa: JUMP
00002aab: STOP
00002aac: LOG1
00002aad: PUSH6 0x627a7a723058
00002ab4: KECCAK256
00002ab5: UNKNOWN(0xBF)
00002ab6: GASPRICE
00002ab7: ISZERO
00002ab8: SWAP5
00002ab9: MSTORE8
00002aba: UNKNOWN(0x24)
00002abb: PUSH20 0x5bfece3e69fb2359101c812528275271749af96e
00002ad0: DUP4
00002ad1: BASEFEE
00002ad2: LOG3
00002ad3: UNKNOWN(0xEC)
00002ad4: PUSH29
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "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": "0x294205b4", "selector": "0x294205b4", "calldata_variants": [ "0x294205b4", "0x294205b40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 2523, "type": "tx_origin_used" }, { "pc": 2546, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xa092ba3d095c08c6c605c822d6bd41d17e56c464fb91905cfeef2b1d72d23c7b call_targets: 0x0b3e515cb8b318120c5a126679eb945f2bb2ddea target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa092ba3d095c08c6c605c822d6bd41d17e56c464fb91905cfeef2b1d72d23c7b", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0b3e515cb8b318120c5a126679eb945f2bb2ddea" ], "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": "0x294205b4", "selector": "0x294205b4", "calldata_variants": [ "0x294205b4", "0x294205b40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2742, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3899, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4391, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [ { "pc": 2523, "type": "tx_origin_used" }, { "pc": 2546, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 4 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xa092ba3d095c08c6c605c822d6bd41d17e56c464fb91905cfeef2b1d72d23c7b call_targets: 0x0b3e515cb8b318120c5a126679eb945f2bb2ddea target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa092ba3d095c08c6c605c822d6bd41d17e56c464fb91905cfeef2b1d72d23c7b", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0b3e515cb8b318120c5a126679eb945f2bb2ddea" ], "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": "0x294205b4", "selector": "0x294205b4", "calldata_variants": [ "0x294205b4", "0x294205b40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2742, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3899, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4391, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [ { "pc": 2523, "type": "tx_origin_used" }, { "pc": 2546, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
Severity