Analysis Run

019b477e-b933-70d3-9324-7003ad7c4c41
complete
Chain ID
1
Address
0x3a49b919434abf8f602a3dfd7c738f54b9ddf57c
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
ETH value transfer possible
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
23561	artifact.fetch	complete	1 / 3	3 months ago
23562	tool.cast_disasm	complete	1 / 3	3 months ago
107681	analysis.bundle	complete	1 / 3	1 week ago
107682	capability.graph	complete	1 / 3	1 week ago
107683	detector.run	complete	1 / 3	1 week ago
107684	validation.fork	complete	1 / 3	1 week ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
2
EXT*/BALANCE
1
Total opcodes
4992
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01c1
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 0x01cf
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x02be5421
00000046: EQ
00000047: PUSH2 0x0226
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x06fdde03
00000051: EQ
00000052: PUSH2 0x0281
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x0829ca90
0000005c: EQ
0000005d: PUSH2 0x0311
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x10d0ffdd
00000067: EQ
00000068: PUSH2 0x033c
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x18160ddd
00000072: EQ
00000073: PUSH2 0x037d
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x1cf1f4ba
0000007d: EQ
0000007e: PUSH2 0x03a8
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x22609373
00000088: EQ
00000089: PUSH2 0x03ef
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x313ce567
00000093: EQ
00000094: PUSH2 0x0430
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x3ccfd60b
0000009e: EQ
0000009f: PUSH2 0x0461
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x4b750334
000000a9: EQ
000000aa: PUSH2 0x0478
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x5216aeec
000000b4: EQ
000000b5: PUSH2 0x04a3
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x56d399e8
000000bf: EQ
000000c0: PUSH2 0x04ce
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x688abbf7
000000ca: EQ
000000cb: PUSH2 0x04f9
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x6b2f4632
000000d5: EQ
000000d6: PUSH2 0x053c
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x70a08231
000000e0: EQ
000000e1: PUSH2 0x0567
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x74475319
000000eb: EQ
000000ec: PUSH2 0x05be
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x8328b610
000000f6: EQ
000000f7: PUSH2 0x05e9
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x855a8512
00000101: EQ
00000102: PUSH2 0x0616
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x8620410b
0000010c: EQ
0000010d: PUSH2 0x066d
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x8f32d59b
00000117: EQ
00000118: PUSH2 0x0698
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0x949e8acd
00000122: EQ
00000123: PUSH2 0x06c7
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0x95d89b41
0000012d: EQ
0000012e: PUSH2 0x06f2
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0x96348e5e
00000138: EQ
00000139: PUSH2 0x0782
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x997664d7
00000143: EQ
00000144: PUSH2 0x07b1
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xa68b91ab
0000014e: EQ
0000014f: PUSH2 0x07dc
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xa8e04f34
00000159: EQ
0000015a: PUSH2 0x0823
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xa9059cbb
00000164: EQ
00000165: PUSH2 0x083a
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xb5838a27
0000016f: EQ
00000170: PUSH2 0x089f
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0xb772bbc8
0000017a: EQ
0000017b: PUSH2 0x08ca
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0xcb93f7ef
00000185: EQ
00000186: PUSH2 0x0921
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0xd8edeb1b
00000190: EQ
00000191: PUSH2 0x0938
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0xe4849b32
0000019b: EQ
0000019c: PUSH2 0x094f
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0xe9fad8ee
000001a6: EQ
000001a7: PUSH2 0x097c
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0xf088d547
000001b1: EQ
000001b2: PUSH2 0x0993
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0xfdb5a03e
000001bc: EQ
000001bd: PUSH2 0x09dd
000001c0: JUMPI
000001c1: JUMPDEST
000001c2: PUSH2 0x01cc
000001c5: CALLVALUE
000001c6: PUSH1 0x00
000001c8: PUSH2 0x09f4
000001cb: JUMP
000001cc: JUMPDEST
000001cd: POP
000001ce: STOP
000001cf: JUMPDEST
000001d0: CALLVALUE
000001d1: DUP1
000001d2: ISZERO
000001d3: PUSH2 0x01db
000001d6: JUMPI
000001d7: PUSH1 0x00
000001d9: DUP1
000001da: REVERT
000001db: JUMPDEST
000001dc: POP
000001dd: PUSH2 0x0210
000001e0: PUSH1 0x04
000001e2: DUP1
000001e3: CALLDATASIZE
000001e4: SUB
000001e5: DUP2
000001e6: ADD
000001e7: SWAP1
000001e8: DUP1
000001e9: DUP1
000001ea: CALLDATALOAD
000001eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000200: AND
00000201: SWAP1
00000202: PUSH1 0x20
00000204: ADD
00000205: SWAP1
00000206: SWAP3
00000207: SWAP2
00000208: SWAP1
00000209: POP
0000020a: POP
0000020b: POP
0000020c: PUSH2 0x0f56
0000020f: JUMP
00000210: JUMPDEST
00000211: PUSH1 0x40
00000213: MLOAD
00000214: DUP1
00000215: DUP3
00000216: DUP2
00000217: MSTORE
00000218: PUSH1 0x20
0000021a: ADD
0000021b: SWAP2
0000021c: POP
0000021d: POP
0000021e: PUSH1 0x40
00000220: MLOAD
00000221: DUP1
00000222: SWAP2
00000223: SUB
00000224: SWAP1
00000225: RETURN
00000226: JUMPDEST
00000227: CALLVALUE
00000228: DUP1
00000229: ISZERO
0000022a: PUSH2 0x0232
0000022d: JUMPI
0000022e: PUSH1 0x00
00000230: DUP1
00000231: REVERT
00000232: JUMPDEST
00000233: POP
00000234: PUSH2 0x0267
00000237: PUSH1 0x04
00000239: DUP1
0000023a: CALLDATASIZE
0000023b: SUB
0000023c: DUP2
0000023d: ADD
0000023e: SWAP1
0000023f: DUP1
00000240: DUP1
00000241: CALLDATALOAD
00000242: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000257: AND
00000258: SWAP1
00000259: PUSH1 0x20
0000025b: ADD
0000025c: SWAP1
0000025d: SWAP3
0000025e: SWAP2
0000025f: SWAP1
00000260: POP
00000261: POP
00000262: POP
00000263: PUSH2 0x0ff8
00000266: JUMP
00000267: JUMPDEST
00000268: PUSH1 0x40
0000026a: MLOAD
0000026b: DUP1
0000026c: DUP3
0000026d: ISZERO
0000026e: ISZERO
0000026f: ISZERO
00000270: ISZERO
00000271: DUP2
00000272: MSTORE
00000273: PUSH1 0x20
00000275: ADD
00000276: SWAP2
00000277: POP
00000278: POP
00000279: PUSH1 0x40
0000027b: MLOAD
0000027c: DUP1
0000027d: SWAP2
0000027e: SUB
0000027f: SWAP1
00000280: RETURN
00000281: JUMPDEST
00000282: CALLVALUE
00000283: DUP1
00000284: ISZERO
00000285: PUSH2 0x028d
00000288: JUMPI
00000289: PUSH1 0x00
0000028b: DUP1
0000028c: REVERT
0000028d: JUMPDEST
0000028e: POP
0000028f: PUSH2 0x0296
00000292: PUSH2 0x1018
00000295: JUMP
00000296: JUMPDEST
00000297: PUSH1 0x40
00000299: MLOAD
0000029a: DUP1
0000029b: DUP1
0000029c: PUSH1 0x20
0000029e: ADD
0000029f: DUP3
000002a0: DUP2
000002a1: SUB
000002a2: DUP3
000002a3: MSTORE
000002a4: DUP4
000002a5: DUP2
000002a6: DUP2
000002a7: MLOAD
000002a8: DUP2
000002a9: MSTORE
000002aa: PUSH1 0x20
000002ac: ADD
000002ad: SWAP2
000002ae: POP
000002af: DUP1
000002b0: MLOAD
000002b1: SWAP1
000002b2: PUSH1 0x20
000002b4: ADD
000002b5: SWAP1
000002b6: DUP1
000002b7: DUP4
000002b8: DUP4
000002b9: PUSH1 0x00
000002bb: JUMPDEST
000002bc: DUP4
000002bd: DUP2
000002be: LT
000002bf: ISZERO
000002c0: PUSH2 0x02d6
000002c3: JUMPI
000002c4: DUP1
000002c5: DUP3
000002c6: ADD
000002c7: MLOAD
000002c8: DUP2
000002c9: DUP5
000002ca: ADD
000002cb: MSTORE
000002cc: PUSH1 0x20
000002ce: DUP2
000002cf: ADD
000002d0: SWAP1
000002d1: POP
000002d2: PUSH2 0x02bb
000002d5: JUMP
000002d6: JUMPDEST
000002d7: POP
000002d8: POP
000002d9: POP
000002da: POP
000002db: SWAP1
000002dc: POP
000002dd: SWAP1
000002de: DUP2
000002df: ADD
000002e0: SWAP1
000002e1: PUSH1 0x1f
000002e3: AND
000002e4: DUP1
000002e5: ISZERO
000002e6: PUSH2 0x0303
000002e9: JUMPI
000002ea: DUP1
000002eb: DUP3
000002ec: SUB
000002ed: DUP1
000002ee: MLOAD
000002ef: PUSH1 0x01
000002f1: DUP4
000002f2: PUSH1 0x20
000002f4: SUB
000002f5: PUSH2 0x0100
000002f8: EXP
000002f9: SUB
000002fa: NOT
000002fb: AND
000002fc: DUP2
000002fd: MSTORE
000002fe: PUSH1 0x20
00000300: ADD
00000301: SWAP2
00000302: POP
00000303: JUMPDEST
00000304: POP
00000305: SWAP3
00000306: POP
00000307: POP
00000308: POP
00000309: PUSH1 0x40
0000030b: MLOAD
0000030c: DUP1
0000030d: SWAP2
0000030e: SUB
0000030f: SWAP1
00000310: RETURN
00000311: JUMPDEST
00000312: CALLVALUE
00000313: DUP1
00000314: ISZERO
00000315: PUSH2 0x031d
00000318: JUMPI
00000319: PUSH1 0x00
0000031b: DUP1
0000031c: REVERT
0000031d: JUMPDEST
0000031e: POP
0000031f: PUSH2 0x0326
00000322: PUSH2 0x10b6
00000325: JUMP
00000326: JUMPDEST
00000327: PUSH1 0x40
00000329: MLOAD
0000032a: DUP1
0000032b: DUP3
0000032c: DUP2
0000032d: MSTORE
0000032e: PUSH1 0x20
00000330: ADD
00000331: SWAP2
00000332: POP
00000333: POP
00000334: PUSH1 0x40
00000336: MLOAD
00000337: DUP1
00000338: SWAP2
00000339: SUB
0000033a: SWAP1
0000033b: RETURN
0000033c: JUMPDEST
0000033d: CALLVALUE
0000033e: DUP1
0000033f: ISZERO
00000340: PUSH2 0x0348
00000343: JUMPI
00000344: PUSH1 0x00
00000346: DUP1
00000347: REVERT
00000348: JUMPDEST
00000349: POP
0000034a: PUSH2 0x0367
0000034d: PUSH1 0x04
0000034f: DUP1
00000350: CALLDATASIZE
00000351: SUB
00000352: DUP2
00000353: ADD
00000354: SWAP1
00000355: DUP1
00000356: DUP1
00000357: CALLDATALOAD
00000358: SWAP1
00000359: PUSH1 0x20
0000035b: ADD
0000035c: SWAP1
0000035d: SWAP3
0000035e: SWAP2
0000035f: SWAP1
00000360: POP
00000361: POP
00000362: POP
00000363: PUSH2 0x10bc
00000366: JUMP
00000367: JUMPDEST
00000368: PUSH1 0x40
0000036a: MLOAD
0000036b: DUP1
0000036c: DUP3
0000036d: DUP2
0000036e: MSTORE
0000036f: PUSH1 0x20
00000371: ADD
00000372: SWAP2
00000373: POP
00000374: POP
00000375: PUSH1 0x40
00000377: MLOAD
00000378: DUP1
00000379: SWAP2
0000037a: SUB
0000037b: SWAP1
0000037c: RETURN
0000037d: JUMPDEST
0000037e: CALLVALUE
0000037f: DUP1
00000380: ISZERO
00000381: PUSH2 0x0389
00000384: JUMPI
00000385: PUSH1 0x00
00000387: DUP1
00000388: REVERT
00000389: JUMPDEST
0000038a: POP
0000038b: PUSH2 0x0392
0000038e: PUSH2 0x10fe
00000391: JUMP
00000392: JUMPDEST
00000393: PUSH1 0x40
00000395: MLOAD
00000396: DUP1
00000397: DUP3
00000398: DUP2
00000399: MSTORE
0000039a: PUSH1 0x20
0000039c: ADD
0000039d: SWAP2
0000039e: POP
0000039f: POP
000003a0: PUSH1 0x40
000003a2: MLOAD
000003a3: DUP1
000003a4: SWAP2
000003a5: SUB
000003a6: SWAP1
000003a7: RETURN
000003a8: JUMPDEST
000003a9: CALLVALUE
000003aa: DUP1
000003ab: ISZERO
000003ac: PUSH2 0x03b4
000003af: JUMPI
000003b0: PUSH1 0x00
000003b2: DUP1
000003b3: REVERT
000003b4: JUMPDEST
000003b5: POP
000003b6: PUSH2 0x03bd
000003b9: PUSH2 0x1108
000003bc: JUMP
000003bd: JUMPDEST
000003be: PUSH1 0x40
000003c0: MLOAD
000003c1: DUP1
000003c2: DUP7
000003c3: DUP2
000003c4: MSTORE
000003c5: PUSH1 0x20
000003c7: ADD
000003c8: DUP6
000003c9: DUP2
000003ca: MSTORE
000003cb: PUSH1 0x20
000003cd: ADD
000003ce: DUP5
000003cf: DUP2
000003d0: MSTORE
000003d1: PUSH1 0x20
000003d3: ADD
000003d4: DUP4
000003d5: DUP2
000003d6: MSTORE
000003d7: PUSH1 0x20
000003d9: ADD
000003da: DUP3
000003db: DUP2
000003dc: MSTORE
000003dd: PUSH1 0x20
000003df: ADD
000003e0: SWAP6
000003e1: POP
000003e2: POP
000003e3: POP
000003e4: POP
000003e5: POP
000003e6: POP
000003e7: PUSH1 0x40
000003e9: MLOAD
000003ea: DUP1
000003eb: SWAP2
000003ec: SUB
000003ed: SWAP1
000003ee: RETURN
000003ef: JUMPDEST
000003f0: CALLVALUE
000003f1: DUP1
000003f2: ISZERO
000003f3: PUSH2 0x03fb
000003f6: JUMPI
000003f7: PUSH1 0x00
000003f9: DUP1
000003fa: REVERT
000003fb: JUMPDEST
000003fc: POP
000003fd: PUSH2 0x041a
00000400: PUSH1 0x04
00000402: DUP1
00000403: CALLDATASIZE
00000404: SUB
00000405: DUP2
00000406: ADD
00000407: SWAP1
00000408: DUP1
00000409: DUP1
0000040a: CALLDATALOAD
0000040b: SWAP1
0000040c: PUSH1 0x20
0000040e: ADD
0000040f: SWAP1
00000410: SWAP3
00000411: SWAP2
00000412: SWAP1
00000413: POP
00000414: POP
00000415: POP
00000416: PUSH2 0x11be
00000419: JUMP
0000041a: JUMPDEST
0000041b: PUSH1 0x40
0000041d: MLOAD
0000041e: DUP1
0000041f: DUP3
00000420: DUP2
00000421: MSTORE
00000422: PUSH1 0x20
00000424: ADD
00000425: SWAP2
00000426: POP
00000427: POP
00000428: PUSH1 0x40
0000042a: MLOAD
0000042b: DUP1
0000042c: SWAP2
0000042d: SUB
0000042e: SWAP1
0000042f: RETURN
00000430: JUMPDEST
00000431: CALLVALUE
00000432: DUP1
00000433: ISZERO
00000434: PUSH2 0x043c
00000437: JUMPI
00000438: PUSH1 0x00
0000043a: DUP1
0000043b: REVERT
0000043c: JUMPDEST
0000043d: POP
0000043e: PUSH2 0x0445
00000441: PUSH2 0x1211
00000444: JUMP
00000445: JUMPDEST
00000446: PUSH1 0x40
00000448: MLOAD
00000449: DUP1
0000044a: DUP3
0000044b: PUSH1 0xff
0000044d: AND
0000044e: PUSH1 0xff
00000450: AND
00000451: DUP2
00000452: MSTORE
00000453: PUSH1 0x20
00000455: ADD
00000456: SWAP2
00000457: POP
00000458: POP
00000459: PUSH1 0x40
0000045b: MLOAD
0000045c: DUP1
0000045d: SWAP2
0000045e: SUB
0000045f: SWAP1
00000460: RETURN
00000461: JUMPDEST
00000462: CALLVALUE
00000463: DUP1
00000464: ISZERO
00000465: PUSH2 0x046d
00000468: JUMPI
00000469: PUSH1 0x00
0000046b: DUP1
0000046c: REVERT
0000046d: JUMPDEST
0000046e: POP
0000046f: PUSH2 0x0476
00000472: PUSH2 0x1216
00000475: JUMP
00000476: JUMPDEST
00000477: STOP
00000478: JUMPDEST
00000479: CALLVALUE
0000047a: DUP1
0000047b: ISZERO
0000047c: PUSH2 0x0484
0000047f: JUMPI
00000480: PUSH1 0x00
00000482: DUP1
00000483: REVERT
00000484: JUMPDEST
00000485: POP
00000486: PUSH2 0x048d
00000489: PUSH2 0x1446
0000048c: JUMP
0000048d: JUMPDEST
0000048e: PUSH1 0x40
00000490: MLOAD
00000491: DUP1
00000492: DUP3
00000493: DUP2
00000494: MSTORE
00000495: PUSH1 0x20
00000497: ADD
00000498: SWAP2
00000499: POP
0000049a: POP
0000049b: PUSH1 0x40
0000049d: MLOAD
0000049e: DUP1
0000049f: SWAP2
000004a0: SUB
000004a1: SWAP1
000004a2: RETURN
000004a3: JUMPDEST
000004a4: CALLVALUE
000004a5: DUP1
000004a6: ISZERO
000004a7: PUSH2 0x04af
000004aa: JUMPI
000004ab: PUSH1 0x00
000004ad: DUP1
000004ae: REVERT
000004af: JUMPDEST
000004b0: POP
000004b1: PUSH2 0x04b8
000004b4: PUSH2 0x14ae
000004b7: JUMP
000004b8: JUMPDEST
000004b9: PUSH1 0x40
000004bb: MLOAD
000004bc: DUP1
000004bd: DUP3
000004be: DUP2
000004bf: MSTORE
000004c0: PUSH1 0x20
000004c2: ADD
000004c3: SWAP2
000004c4: POP
000004c5: POP
000004c6: PUSH1 0x40
000004c8: MLOAD
000004c9: DUP1
000004ca: SWAP2
000004cb: SUB
000004cc: SWAP1
000004cd: RETURN
000004ce: JUMPDEST
000004cf: CALLVALUE
000004d0: DUP1
000004d1: ISZERO
000004d2: PUSH2 0x04da
000004d5: JUMPI
000004d6: PUSH1 0x00
000004d8: DUP1
000004d9: REVERT
000004da: JUMPDEST
000004db: POP
000004dc: PUSH2 0x04e3
000004df: PUSH2 0x14b4
000004e2: JUMP
000004e3: JUMPDEST
000004e4: PUSH1 0x40
000004e6: MLOAD
000004e7: DUP1
000004e8: DUP3
000004e9: DUP2
000004ea: MSTORE
000004eb: PUSH1 0x20
000004ed: ADD
000004ee: SWAP2
000004ef: POP
000004f0: POP
000004f1: PUSH1 0x40
000004f3: MLOAD
000004f4: DUP1
000004f5: SWAP2
000004f6: SUB
000004f7: SWAP1
000004f8: RETURN
000004f9: JUMPDEST
000004fa: CALLVALUE
000004fb: DUP1
000004fc: ISZERO
000004fd: PUSH2 0x0505
00000500: JUMPI
00000501: PUSH1 0x00
00000503: DUP1
00000504: REVERT
00000505: JUMPDEST
00000506: POP
00000507: PUSH2 0x0526
0000050a: PUSH1 0x04
0000050c: DUP1
0000050d: CALLDATASIZE
0000050e: SUB
0000050f: DUP2
00000510: ADD
00000511: SWAP1
00000512: DUP1
00000513: DUP1
00000514: CALLDATALOAD
00000515: ISZERO
00000516: ISZERO
00000517: SWAP1
00000518: PUSH1 0x20
0000051a: ADD
0000051b: SWAP1
0000051c: SWAP3
0000051d: SWAP2
0000051e: SWAP1
0000051f: POP
00000520: POP
00000521: POP
00000522: PUSH2 0x14ba
00000525: JUMP
00000526: JUMPDEST
00000527: PUSH1 0x40
00000529: MLOAD
0000052a: DUP1
0000052b: DUP3
0000052c: DUP2
0000052d: MSTORE
0000052e: PUSH1 0x20
00000530: ADD
00000531: SWAP2
00000532: POP
00000533: POP
00000534: PUSH1 0x40
00000536: MLOAD
00000537: DUP1
00000538: SWAP2
00000539: SUB
0000053a: SWAP1
0000053b: RETURN
0000053c: JUMPDEST
0000053d: CALLVALUE
0000053e: DUP1
0000053f: ISZERO
00000540: PUSH2 0x0548
00000543: JUMPI
00000544: PUSH1 0x00
00000546: DUP1
00000547: REVERT
00000548: JUMPDEST
00000549: POP
0000054a: PUSH2 0x0551
0000054d: PUSH2 0x1526
00000550: JUMP
00000551: JUMPDEST
00000552: PUSH1 0x40
00000554: MLOAD
00000555: DUP1
00000556: DUP3
00000557: DUP2
00000558: MSTORE
00000559: PUSH1 0x20
0000055b: ADD
0000055c: SWAP2
0000055d: POP
0000055e: POP
0000055f: PUSH1 0x40
00000561: MLOAD
00000562: DUP1
00000563: SWAP2
00000564: SUB
00000565: SWAP1
00000566: RETURN
00000567: JUMPDEST
00000568: CALLVALUE
00000569: DUP1
0000056a: ISZERO
0000056b: PUSH2 0x0573
0000056e: JUMPI
0000056f: PUSH1 0x00
00000571: DUP1
00000572: REVERT
00000573: JUMPDEST
00000574: POP
00000575: PUSH2 0x05a8
00000578: PUSH1 0x04
0000057a: DUP1
0000057b: CALLDATASIZE
0000057c: SUB
0000057d: DUP2
0000057e: ADD
0000057f: SWAP1
00000580: DUP1
00000581: DUP1
00000582: CALLDATALOAD
00000583: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000598: AND
00000599: SWAP1
0000059a: PUSH1 0x20
0000059c: ADD
0000059d: SWAP1
0000059e: SWAP3
0000059f: SWAP2
000005a0: SWAP1
000005a1: POP
000005a2: POP
000005a3: POP
000005a4: PUSH2 0x1545
000005a7: JUMP
000005a8: JUMPDEST
000005a9: PUSH1 0x40
000005ab: MLOAD
000005ac: DUP1
000005ad: DUP3
000005ae: DUP2
000005af: MSTORE
000005b0: PUSH1 0x20
000005b2: ADD
000005b3: SWAP2
000005b4: POP
000005b5: POP
000005b6: PUSH1 0x40
000005b8: MLOAD
000005b9: DUP1
000005ba: SWAP2
000005bb: SUB
000005bc: SWAP1
000005bd: RETURN
000005be: JUMPDEST
000005bf: CALLVALUE
000005c0: DUP1
000005c1: ISZERO
000005c2: PUSH2 0x05ca
000005c5: JUMPI
000005c6: PUSH1 0x00
000005c8: DUP1
000005c9: REVERT
000005ca: JUMPDEST
000005cb: POP
000005cc: PUSH2 0x05d3
000005cf: PUSH2 0x158e
000005d2: JUMP
000005d3: JUMPDEST
000005d4: PUSH1 0x40
000005d6: MLOAD
000005d7: DUP1
000005d8: DUP3
000005d9: DUP2
000005da: MSTORE
000005db: PUSH1 0x20
000005dd: ADD
000005de: SWAP2
000005df: POP
000005e0: POP
000005e1: PUSH1 0x40
000005e3: MLOAD
000005e4: DUP1
000005e5: SWAP2
000005e6: SUB
000005e7: SWAP1
000005e8: RETURN
000005e9: JUMPDEST
000005ea: CALLVALUE
000005eb: DUP1
000005ec: ISZERO
000005ed: PUSH2 0x05f5
000005f0: JUMPI
000005f1: PUSH1 0x00
000005f3: DUP1
000005f4: REVERT
000005f5: JUMPDEST
000005f6: POP
000005f7: PUSH2 0x0614
000005fa: PUSH1 0x04
000005fc: DUP1
000005fd: CALLDATASIZE
000005fe: SUB
000005ff: DUP2
00000600: ADD
00000601: SWAP1
00000602: DUP1
00000603: DUP1
00000604: CALLDATALOAD
00000605: SWAP1
00000606: PUSH1 0x20
00000608: ADD
00000609: SWAP1
0000060a: SWAP3
0000060b: SWAP2
0000060c: SWAP1
0000060d: POP
0000060e: POP
0000060f: POP
00000610: PUSH2 0x1594
00000613: JUMP
00000614: JUMPDEST
00000615: STOP
00000616: JUMPDEST
00000617: CALLVALUE
00000618: DUP1
00000619: ISZERO
0000061a: PUSH2 0x0622
0000061d: JUMPI
0000061e: PUSH1 0x00
00000620: DUP1
00000621: REVERT
00000622: JUMPDEST
00000623: POP
00000624: PUSH2 0x0657
00000627: PUSH1 0x04
00000629: DUP1
0000062a: CALLDATASIZE
0000062b: SUB
0000062c: DUP2
0000062d: ADD
0000062e: SWAP1
0000062f: DUP1
00000630: DUP1
00000631: CALLDATALOAD
00000632: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000647: AND
00000648: SWAP1
00000649: PUSH1 0x20
0000064b: ADD
0000064c: SWAP1
0000064d: SWAP3
0000064e: SWAP2
0000064f: SWAP1
00000650: POP
00000651: POP
00000652: POP
00000653: PUSH2 0x15fa
00000656: JUMP
00000657: JUMPDEST
00000658: PUSH1 0x40
0000065a: MLOAD
0000065b: DUP1
0000065c: DUP3
0000065d: DUP2
0000065e: MSTORE
0000065f: PUSH1 0x20
00000661: ADD
00000662: SWAP2
00000663: POP
00000664: POP
00000665: PUSH1 0x40
00000667: MLOAD
00000668: DUP1
00000669: SWAP2
0000066a: SUB
0000066b: SWAP1
0000066c: RETURN
0000066d: JUMPDEST
0000066e: CALLVALUE
0000066f: DUP1
00000670: ISZERO
00000671: PUSH2 0x0679
00000674: JUMPI
00000675: PUSH1 0x00
00000677: DUP1
00000678: REVERT
00000679: JUMPDEST
0000067a: POP
0000067b: PUSH2 0x0682
0000067e: PUSH2 0x1612
00000681: JUMP
00000682: JUMPDEST
00000683: PUSH1 0x40
00000685: MLOAD
00000686: DUP1
00000687: DUP3
00000688: DUP2
00000689: MSTORE
0000068a: PUSH1 0x20
0000068c: ADD
0000068d: SWAP2
0000068e: POP
0000068f: POP
00000690: PUSH1 0x40
00000692: MLOAD
00000693: DUP1
00000694: SWAP2
00000695: SUB
00000696: SWAP1
00000697: RETURN
00000698: JUMPDEST
00000699: CALLVALUE
0000069a: DUP1
0000069b: ISZERO
0000069c: PUSH2 0x06a4
0000069f: JUMPI
000006a0: PUSH1 0x00
000006a2: DUP1
000006a3: REVERT
000006a4: JUMPDEST
000006a5: POP
000006a6: PUSH2 0x06ad
000006a9: PUSH2 0x167a
000006ac: JUMP
000006ad: JUMPDEST
000006ae: PUSH1 0x40
000006b0: MLOAD
000006b1: DUP1
000006b2: DUP3
000006b3: ISZERO
000006b4: ISZERO
000006b5: ISZERO
000006b6: ISZERO
000006b7: DUP2
000006b8: MSTORE
000006b9: PUSH1 0x20
000006bb: ADD
000006bc: SWAP2
000006bd: POP
000006be: POP
000006bf: PUSH1 0x40
000006c1: MLOAD
000006c2: DUP1
000006c3: SWAP2
000006c4: SUB
000006c5: SWAP1
000006c6: RETURN
000006c7: JUMPDEST
000006c8: CALLVALUE
000006c9: DUP1
000006ca: ISZERO
000006cb: PUSH2 0x06d3
000006ce: JUMPI
000006cf: PUSH1 0x00
000006d1: DUP1
000006d2: REVERT
000006d3: JUMPDEST
000006d4: POP
000006d5: PUSH2 0x06dc
000006d8: PUSH2 0x16d2
000006db: JUMP
000006dc: JUMPDEST
000006dd: PUSH1 0x40
000006df: MLOAD
000006e0: DUP1
000006e1: DUP3
000006e2: DUP2
000006e3: MSTORE
000006e4: PUSH1 0x20
000006e6: ADD
000006e7: SWAP2
000006e8: POP
000006e9: POP
000006ea: PUSH1 0x40
000006ec: MLOAD
000006ed: DUP1
000006ee: SWAP2
000006ef: SUB
000006f0: SWAP1
000006f1: RETURN
000006f2: JUMPDEST
000006f3: CALLVALUE
000006f4: DUP1
000006f5: ISZERO
000006f6: PUSH2 0x06fe
000006f9: JUMPI
000006fa: PUSH1 0x00
000006fc: DUP1
000006fd: REVERT
000006fe: JUMPDEST
000006ff: POP
00000700: PUSH2 0x0707
00000703: PUSH2 0x16e7
00000706: JUMP
00000707: JUMPDEST
00000708: PUSH1 0x40
0000070a: MLOAD
0000070b: DUP1
0000070c: DUP1
0000070d: PUSH1 0x20
0000070f: ADD
00000710: DUP3
00000711: DUP2
00000712: SUB
00000713: DUP3
00000714: MSTORE
00000715: DUP4
00000716: DUP2
00000717: DUP2
00000718: MLOAD
00000719: DUP2
0000071a: MSTORE
0000071b: PUSH1 0x20
0000071d: ADD
0000071e: SWAP2
0000071f: POP
00000720: DUP1
00000721: MLOAD
00000722: SWAP1
00000723: PUSH1 0x20
00000725: ADD
00000726: SWAP1
00000727: DUP1
00000728: DUP4
00000729: DUP4
0000072a: PUSH1 0x00
0000072c: JUMPDEST
0000072d: DUP4
0000072e: DUP2
0000072f: LT
00000730: ISZERO
00000731: PUSH2 0x0747
00000734: JUMPI
00000735: DUP1
00000736: DUP3
00000737: ADD
00000738: MLOAD
00000739: DUP2
0000073a: DUP5
0000073b: ADD
0000073c: MSTORE
0000073d: PUSH1 0x20
0000073f: DUP2
00000740: ADD
00000741: SWAP1
00000742: POP
00000743: PUSH2 0x072c
00000746: JUMP
00000747: JUMPDEST
00000748: POP
00000749: POP
0000074a: POP
0000074b: POP
0000074c: SWAP1
0000074d: POP
0000074e: SWAP1
0000074f: DUP2
00000750: ADD
00000751: SWAP1
00000752: PUSH1 0x1f
00000754: AND
00000755: DUP1
00000756: ISZERO
00000757: PUSH2 0x0774
0000075a: JUMPI
0000075b: DUP1
0000075c: DUP3
0000075d: SUB
0000075e: DUP1
0000075f: MLOAD
00000760: PUSH1 0x01
00000762: DUP4
00000763: PUSH1 0x20
00000765: SUB
00000766: PUSH2 0x0100
00000769: EXP
0000076a: SUB
0000076b: NOT
0000076c: AND
0000076d: DUP2
0000076e: MSTORE
0000076f: PUSH1 0x20
00000771: ADD
00000772: SWAP2
00000773: POP
00000774: JUMPDEST
00000775: POP
00000776: SWAP3
00000777: POP
00000778: POP
00000779: POP
0000077a: PUSH1 0x40
0000077c: MLOAD
0000077d: DUP1
0000077e: SWAP2
0000077f: SUB
00000780: SWAP1
00000781: RETURN
00000782: JUMPDEST
00000783: CALLVALUE
00000784: DUP1
00000785: ISZERO
00000786: PUSH2 0x078e
00000789: JUMPI
0000078a: PUSH1 0x00
0000078c: DUP1
0000078d: REVERT
0000078e: JUMPDEST
0000078f: POP
00000790: PUSH2 0x0797
00000793: PUSH2 0x1785
00000796: JUMP
00000797: JUMPDEST
00000798: PUSH1 0x40
0000079a: MLOAD
0000079b: DUP1
0000079c: DUP3
0000079d: ISZERO
0000079e: ISZERO
0000079f: ISZERO
000007a0: ISZERO
000007a1: DUP2
000007a2: MSTORE
000007a3: PUSH1 0x20
000007a5: ADD
000007a6: SWAP2
000007a7: POP
000007a8: POP
000007a9: PUSH1 0x40
000007ab: MLOAD
000007ac: DUP1
000007ad: SWAP2
000007ae: SUB
000007af: SWAP1
000007b0: RETURN
000007b1: JUMPDEST
000007b2: CALLVALUE
000007b3: DUP1
000007b4: ISZERO
000007b5: PUSH2 0x07bd
000007b8: JUMPI
000007b9: PUSH1 0x00
000007bb: DUP1
000007bc: REVERT
000007bd: JUMPDEST
000007be: POP
000007bf: PUSH2 0x07c6
000007c2: PUSH2 0x1798
000007c5: JUMP
000007c6: JUMPDEST
000007c7: PUSH1 0x40
000007c9: MLOAD
000007ca: DUP1
000007cb: DUP3
000007cc: DUP2
000007cd: MSTORE
000007ce: PUSH1 0x20
000007d0: ADD
000007d1: SWAP2
000007d2: POP
000007d3: POP
000007d4: PUSH1 0x40
000007d6: MLOAD
000007d7: DUP1
000007d8: SWAP2
000007d9: SUB
000007da: SWAP1
000007db: RETURN
000007dc: JUMPDEST
000007dd: CALLVALUE
000007de: DUP1
000007df: ISZERO
000007e0: PUSH2 0x07e8
000007e3: JUMPI
000007e4: PUSH1 0x00
000007e6: DUP1
000007e7: REVERT
000007e8: JUMPDEST
000007e9: POP
000007ea: PUSH2 0x07f1
000007ed: PUSH2 0x179e
000007f0: JUMP
000007f1: JUMPDEST
000007f2: PUSH1 0x40
000007f4: MLOAD
000007f5: DUP1
000007f6: DUP7
000007f7: DUP2
000007f8: MSTORE
000007f9: PUSH1 0x20
000007fb: ADD
000007fc: DUP6
000007fd: DUP2
000007fe: MSTORE
000007ff: PUSH1 0x20
00000801: ADD
00000802: DUP5
00000803: DUP2
00000804: MSTORE
00000805: PUSH1 0x20
00000807: ADD
00000808: DUP4
00000809: DUP2
0000080a: MSTORE
0000080b: PUSH1 0x20
0000080d: ADD
0000080e: DUP3
0000080f: DUP2
00000810: MSTORE
00000811: PUSH1 0x20
00000813: ADD
00000814: SWAP6
00000815: POP
00000816: POP
00000817: POP
00000818: POP
00000819: POP
0000081a: POP
0000081b: PUSH1 0x40
0000081d: MLOAD
0000081e: DUP1
0000081f: SWAP2
00000820: SUB
00000821: SWAP1
00000822: RETURN
00000823: JUMPDEST
00000824: CALLVALUE
00000825: DUP1
00000826: ISZERO
00000827: PUSH2 0x082f
0000082a: JUMPI
0000082b: PUSH1 0x00
0000082d: DUP1
0000082e: REVERT
0000082f: JUMPDEST
00000830: POP
00000831: PUSH2 0x0838
00000834: PUSH2 0x17d0
00000837: JUMP
00000838: JUMPDEST
00000839: STOP
0000083a: JUMPDEST
0000083b: CALLVALUE
0000083c: DUP1
0000083d: ISZERO
0000083e: PUSH2 0x0846
00000841: JUMPI
00000842: PUSH1 0x00
00000844: DUP1
00000845: REVERT
00000846: JUMPDEST
00000847: POP
00000848: PUSH2 0x0885
0000084b: PUSH1 0x04
0000084d: DUP1
0000084e: CALLDATASIZE
0000084f: SUB
00000850: DUP2
00000851: ADD
00000852: SWAP1
00000853: DUP1
00000854: DUP1
00000855: CALLDATALOAD
00000856: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000086b: AND
0000086c: SWAP1
0000086d: PUSH1 0x20
0000086f: ADD
00000870: SWAP1
00000871: SWAP3
00000872: SWAP2
00000873: SWAP1
00000874: DUP1
00000875: CALLDATALOAD
00000876: SWAP1
00000877: PUSH1 0x20
00000879: ADD
0000087a: SWAP1
0000087b: SWAP3
0000087c: SWAP2
0000087d: SWAP1
0000087e: POP
0000087f: POP
00000880: POP
00000881: PUSH2 0x1849
00000884: JUMP
00000885: JUMPDEST
00000886: PUSH1 0x40
00000888: MLOAD
00000889: DUP1
0000088a: DUP3
0000088b: ISZERO
0000088c: ISZERO
0000088d: ISZERO
0000088e: ISZERO
0000088f: DUP2
00000890: MSTORE
00000891: PUSH1 0x20
00000893: ADD
00000894: SWAP2
00000895: POP
00000896: POP
00000897: PUSH1 0x40
00000899: MLOAD
0000089a: DUP1
0000089b: SWAP2
0000089c: SUB
0000089d: SWAP1
0000089e: RETURN
0000089f: JUMPDEST
000008a0: CALLVALUE
000008a1: DUP1
000008a2: ISZERO
000008a3: PUSH2 0x08ab
000008a6: JUMPI
000008a7: PUSH1 0x00
000008a9: DUP1
000008aa: REVERT
000008ab: JUMPDEST
000008ac: POP
000008ad: PUSH2 0x08b4
000008b0: PUSH2 0x1b8d
000008b3: JUMP
000008b4: JUMPDEST
000008b5: PUSH1 0x40
000008b7: MLOAD
000008b8: DUP1
000008b9: DUP3
000008ba: DUP2
000008bb: MSTORE
000008bc: PUSH1 0x20
000008be: ADD
000008bf: SWAP2
000008c0: POP
000008c1: POP
000008c2: PUSH1 0x40
000008c4: MLOAD
000008c5: DUP1
000008c6: SWAP2
000008c7: SUB
000008c8: SWAP1
000008c9: RETURN
000008ca: JUMPDEST
000008cb: CALLVALUE
000008cc: DUP1
000008cd: ISZERO
000008ce: PUSH2 0x08d6
000008d1: JUMPI
000008d2: PUSH1 0x00
000008d4: DUP1
000008d5: REVERT
000008d6: JUMPDEST
000008d7: POP
000008d8: PUSH2 0x090b
000008db: PUSH1 0x04
000008dd: DUP1
000008de: CALLDATASIZE
000008df: SUB
000008e0: DUP2
000008e1: ADD
000008e2: SWAP1
000008e3: DUP1
000008e4: DUP1
000008e5: CALLDATALOAD
000008e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fb: AND
000008fc: SWAP1
000008fd: PUSH1 0x20
000008ff: ADD
00000900: SWAP1
00000901: SWAP3
00000902: SWAP2
00000903: SWAP1
00000904: POP
00000905: POP
00000906: POP
00000907: PUSH2 0x1b93
0000090a: JUMP
0000090b: JUMPDEST
0000090c: PUSH1 0x40
0000090e: MLOAD
0000090f: DUP1
00000910: DUP3
00000911: DUP2
00000912: MSTORE
00000913: PUSH1 0x20
00000915: ADD
00000916: SWAP2
00000917: POP
00000918: POP
00000919: PUSH1 0x40
0000091b: MLOAD
0000091c: DUP1
0000091d: SWAP2
0000091e: SUB
0000091f: SWAP1
00000920: RETURN
00000921: JUMPDEST
00000922: CALLVALUE
00000923: DUP1
00000924: ISZERO
00000925: PUSH2 0x092d
00000928: JUMPI
00000929: PUSH1 0x00
0000092b: DUP1
0000092c: REVERT
0000092d: JUMPDEST
0000092e: POP
0000092f: PUSH2 0x0936
00000932: PUSH2 0x1bab
00000935: JUMP
00000936: JUMPDEST
00000937: STOP
00000938: JUMPDEST
00000939: CALLVALUE
0000093a: DUP1
0000093b: ISZERO
0000093c: PUSH2 0x0944
0000093f: JUMPI
00000940: PUSH1 0x00
00000942: DUP1
00000943: REVERT
00000944: JUMPDEST
00000945: POP
00000946: PUSH2 0x094d
00000949: PUSH2 0x1c82
0000094c: JUMP
0000094d: JUMPDEST
0000094e: STOP
0000094f: JUMPDEST
00000950: CALLVALUE
00000951: DUP1
00000952: ISZERO
00000953: PUSH2 0x095b
00000956: JUMPI
00000957: PUSH1 0x00
00000959: DUP1
0000095a: REVERT
0000095b: JUMPDEST
0000095c: POP
0000095d: PUSH2 0x097a
00000960: PUSH1 0x04
00000962: DUP1
00000963: CALLDATASIZE
00000964: SUB
00000965: DUP2
00000966: ADD
00000967: SWAP1
00000968: DUP1
00000969: DUP1
0000096a: CALLDATALOAD
0000096b: SWAP1
0000096c: PUSH1 0x20
0000096e: ADD
0000096f: SWAP1
00000970: SWAP3
00000971: SWAP2
00000972: SWAP1
00000973: POP
00000974: POP
00000975: POP
00000976: PUSH2 0x1c97
00000979: JUMP
0000097a: JUMPDEST
0000097b: STOP
0000097c: JUMPDEST
0000097d: CALLVALUE
0000097e: DUP1
0000097f: ISZERO
00000980: PUSH2 0x0988
00000983: JUMPI
00000984: PUSH1 0x00
00000986: DUP1
00000987: REVERT
00000988: JUMPDEST
00000989: POP
0000098a: PUSH2 0x0991
0000098d: PUSH2 0x1f11
00000990: JUMP
00000991: JUMPDEST
00000992: STOP
00000993: JUMPDEST
00000994: PUSH2 0x09c7
00000997: PUSH1 0x04
00000999: DUP1
0000099a: CALLDATASIZE
0000099b: SUB
0000099c: DUP2
0000099d: ADD
0000099e: SWAP1
0000099f: DUP1
000009a0: DUP1
000009a1: CALLDATALOAD
000009a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b7: AND
000009b8: SWAP1
000009b9: PUSH1 0x20
000009bb: ADD
000009bc: SWAP1
000009bd: SWAP3
000009be: SWAP2
000009bf: SWAP1
000009c0: POP
000009c1: POP
000009c2: POP
000009c3: PUSH2 0x1f78
000009c6: JUMP
000009c7: JUMPDEST
000009c8: PUSH1 0x40
000009ca: MLOAD
000009cb: DUP1
000009cc: DUP3
000009cd: DUP2
000009ce: MSTORE
000009cf: PUSH1 0x20
000009d1: ADD
000009d2: SWAP2
000009d3: POP
000009d4: POP
000009d5: PUSH1 0x40
000009d7: MLOAD
000009d8: DUP1
000009d9: SWAP2
000009da: SUB
000009db: SWAP1
000009dc: RETURN
000009dd: JUMPDEST
000009de: CALLVALUE
000009df: DUP1
000009e0: ISZERO
000009e1: PUSH2 0x09e9
000009e4: JUMPI
000009e5: PUSH1 0x00
000009e7: DUP1
000009e8: REVERT
000009e9: JUMPDEST
000009ea: POP
000009eb: PUSH2 0x09f2
000009ee: PUSH2 0x20e6
000009f1: JUMP
000009f2: JUMPDEST
000009f3: STOP
000009f4: JUMPDEST
000009f5: PUSH1 0x00
000009f7: DUP1
000009f8: PUSH1 0x00
000009fa: DUP1
000009fb: PUSH1 0x00
000009fd: DUP1
000009fe: PUSH1 0x00
00000a00: DUP1
00000a01: PUSH1 0x00
00000a03: DUP1
00000a04: DUP12
00000a05: PUSH1 0x12
00000a07: PUSH1 0x00
00000a09: SWAP1
00000a0a: SLOAD
00000a0b: SWAP1
00000a0c: PUSH2 0x0100
00000a0f: EXP
00000a10: SWAP1
00000a11: DIV
00000a12: PUSH1 0xff
00000a14: AND
00000a15: ISZERO
00000a16: PUSH2 0x0aa5
00000a19: JUMPI
00000a1a: PUSH1 0x0b
00000a1c: PUSH1 0x00
00000a1e: SWAP1
00000a1f: SLOAD
00000a20: SWAP1
00000a21: PUSH2 0x0100
00000a24: EXP
00000a25: SWAP1
00000a26: DIV
00000a27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a3c: AND
00000a3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a52: AND
00000a53: CALLER
00000a54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a69: AND
00000a6a: EQ
00000a6b: DUP1
00000a6c: ISZERO
00000a6d: PUSH2 0x0a7e
00000a70: JUMPI
00000a71: POP
00000a72: PUSH8 0x8ac7230489e80000
00000a7b: CALLVALUE
00000a7c: GT
00000a7d: ISZERO
00000a7e: JUMPDEST
00000a7f: ISZERO
00000a80: ISZERO
00000a81: PUSH2 0x0a89
00000a84: JUMPI
00000a85: PUSH1 0x00
00000a87: DUP1
00000a88: REVERT
00000a89: JUMPDEST
00000a8a: PUSH1 0x00
00000a8c: PUSH1 0x12
00000a8e: PUSH1 0x00
00000a90: PUSH2 0x0100
00000a93: EXP
00000a94: DUP2
00000a95: SLOAD
00000a96: DUP2
00000a97: PUSH1 0xff
00000a99: MUL
00000a9a: NOT
00000a9b: AND
00000a9c: SWAP1
00000a9d: DUP4
00000a9e: ISZERO
00000a9f: ISZERO
00000aa0: MUL
00000aa1: OR
00000aa2: SWAP1
00000aa3: SSTORE
00000aa4: POP
00000aa5: JUMPDEST
00000aa6: CALLER
00000aa7: SWAP10
00000aa8: POP
00000aa9: PUSH2 0x0ac0
00000aac: PUSH2 0x0ab9
00000aaf: DUP15
00000ab0: PUSH1 0x14
00000ab2: PUSH1 0xff
00000ab4: AND
00000ab5: PUSH2 0x225a
00000ab8: JUMP
00000ab9: JUMPDEST
00000aba: PUSH1 0x64
00000abc: PUSH2 0x2295
00000abf: JUMP
00000ac0: JUMPDEST
00000ac1: SWAP9
00000ac2: POP
00000ac3: PUSH2 0x0acd
00000ac6: DUP14
00000ac7: PUSH1 0x0a
00000ac9: PUSH2 0x2295
00000acc: JUMP
00000acd: JUMPDEST
00000ace: SWAP8
00000acf: POP
00000ad0: PUSH2 0x0ad9
00000ad3: DUP10
00000ad4: DUP10
00000ad5: PUSH2 0x22b0
00000ad8: JUMP
00000ad9: JUMPDEST
00000ada: SWAP7
00000adb: POP
00000adc: PUSH2 0x0ae6
00000adf: DUP14
00000ae0: PUSH1 0x14
00000ae2: PUSH2 0x2295
00000ae5: JUMP
00000ae6: JUMPDEST
00000ae7: SWAP6
00000ae8: POP
00000ae9: PUSH2 0x0af2
00000aec: DUP8
00000aed: DUP8
00000aee: PUSH2 0x22b0
00000af1: JUMP
00000af2: JUMPDEST
00000af3: SWAP7
00000af4: POP
00000af5: PUSH2 0x0b00
00000af8: PUSH1 0x0a
00000afa: SLOAD
00000afb: DUP8
00000afc: PUSH2 0x22c9
00000aff: JUMP
00000b00: JUMPDEST
00000b01: PUSH1 0x0a
00000b03: DUP2
00000b04: SWAP1
00000b05: SSTORE
00000b06: POP
00000b07: PUSH2 0x0b10
00000b0a: DUP14
00000b0b: DUP11
00000b0c: PUSH2 0x22b0
00000b0f: JUMP
00000b10: JUMPDEST
00000b11: SWAP5
00000b12: POP
00000b13: PUSH2 0x0b1b
00000b16: DUP6
00000b17: PUSH2 0x22e7
00000b1a: JUMP
00000b1b: JUMPDEST
00000b1c: SWAP4
00000b1d: POP
00000b1e: PUSH9 0x010000000000000000
00000b28: DUP8
00000b29: MUL
00000b2a: SWAP3
00000b2b: POP
00000b2c: PUSH2 0x0b37
00000b2f: PUSH1 0x08
00000b31: SLOAD
00000b32: DUP11
00000b33: PUSH2 0x22c9
00000b36: JUMP
00000b37: JUMPDEST
00000b38: PUSH1 0x08
00000b3a: DUP2
00000b3b: SWAP1
00000b3c: SSTORE
00000b3d: POP
00000b3e: PUSH1 0x00
00000b40: DUP5
00000b41: GT
00000b42: DUP1
00000b43: ISZERO
00000b44: PUSH2 0x0b59
00000b47: JUMPI
00000b48: POP
00000b49: PUSH1 0x02
00000b4b: SLOAD
00000b4c: PUSH2 0x0b57
00000b4f: DUP6
00000b50: PUSH1 0x02
00000b52: SLOAD
00000b53: PUSH2 0x22c9
00000b56: JUMP
00000b57: JUMPDEST
00000b58: GT
00000b59: JUMPDEST
00000b5a: ISZERO
00000b5b: ISZERO
00000b5c: PUSH2 0x0b64
00000b5f: JUMPI
00000b60: PUSH1 0x00
00000b62: DUP1
00000b63: REVERT
00000b64: JUMPDEST
00000b65: PUSH1 0x00
00000b67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b7c: AND
00000b7d: DUP13
00000b7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b93: AND
00000b94: EQ
00000b95: ISZERO
00000b96: DUP1
00000b97: ISZERO
00000b98: PUSH2 0x0bcd
00000b9b: JUMPI
00000b9c: POP
00000b9d: DUP10
00000b9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb3: AND
00000bb4: DUP13
00000bb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bca: AND
00000bcb: EQ
00000bcc: ISZERO
00000bcd: JUMPDEST
00000bce: DUP1
00000bcf: ISZERO
00000bd0: PUSH2 0x0c1a
00000bd3: JUMPI
00000bd4: POP
00000bd5: PUSH1 0x05
00000bd7: SLOAD
00000bd8: PUSH1 0x0c
00000bda: PUSH1 0x00
00000bdc: DUP15
00000bdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf2: AND
00000bf3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c08: AND
00000c09: DUP2
00000c0a: MSTORE
00000c0b: PUSH1 0x20
00000c0d: ADD
00000c0e: SWAP1
00000c0f: DUP2
00000c10: MSTORE
00000c11: PUSH1 0x20
00000c13: ADD
00000c14: PUSH1 0x00
00000c16: KECCAK256
00000c17: SLOAD
00000c18: LT
00000c19: ISZERO
00000c1a: JUMPDEST
00000c1b: ISZERO
00000c1c: PUSH2 0x0cb0
00000c1f: JUMPI
00000c20: PUSH2 0x0c68
00000c23: PUSH1 0x0d
00000c25: PUSH1 0x00
00000c27: DUP15
00000c28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c3d: AND
00000c3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c53: AND
00000c54: DUP2
00000c55: MSTORE
00000c56: PUSH1 0x20
00000c58: ADD
00000c59: SWAP1
00000c5a: DUP2
00000c5b: MSTORE
00000c5c: PUSH1 0x20
00000c5e: ADD
00000c5f: PUSH1 0x00
00000c61: KECCAK256
00000c62: SLOAD
00000c63: DUP10
00000c64: PUSH2 0x22c9
00000c67: JUMP
00000c68: JUMPDEST
00000c69: PUSH1 0x0d
00000c6b: PUSH1 0x00
00000c6d: DUP15
00000c6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c83: AND
00000c84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c99: AND
00000c9a: DUP2
00000c9b: MSTORE
00000c9c: PUSH1 0x20
00000c9e: ADD
00000c9f: SWAP1
00000ca0: DUP2
00000ca1: MSTORE
00000ca2: PUSH1 0x20
00000ca4: ADD
00000ca5: PUSH1 0x00
00000ca7: KECCAK256
00000ca8: DUP2
00000ca9: SWAP1
00000caa: SSTORE
00000cab: POP
00000cac: PUSH2 0x0d81
00000caf: JUMP
00000cb0: JUMPDEST
00000cb1: PUSH2 0x0d1b
00000cb4: PUSH1 0x0d
00000cb6: PUSH1 0x00
00000cb8: PUSH1 0x0b
00000cba: PUSH1 0x00
00000cbc: SWAP1
00000cbd: SLOAD
00000cbe: SWAP1
00000cbf: PUSH2 0x0100
00000cc2: EXP
00000cc3: SWAP1
00000cc4: DIV
00000cc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cda: AND
00000cdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf0: AND
00000cf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d06: AND
00000d07: DUP2
00000d08: MSTORE
00000d09: PUSH1 0x20
00000d0b: ADD
00000d0c: SWAP1
00000d0d: DUP2
00000d0e: MSTORE
00000d0f: PUSH1 0x20
00000d11: ADD
00000d12: PUSH1 0x00
00000d14: KECCAK256
00000d15: SLOAD
00000d16: DUP10
00000d17: PUSH2 0x22c9
00000d1a: JUMP
00000d1b: JUMPDEST
00000d1c: PUSH1 0x0d
00000d1e: PUSH1 0x00
00000d20: PUSH1 0x0b
00000d22: PUSH1 0x00
00000d24: SWAP1
00000d25: SLOAD
00000d26: SWAP1
00000d27: PUSH2 0x0100
00000d2a: EXP
00000d2b: SWAP1
00000d2c: DIV
00000d2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d42: AND
00000d43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d58: AND
00000d59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d6e: AND
00000d6f: DUP2
00000d70: MSTORE
00000d71: PUSH1 0x20
00000d73: ADD
00000d74: SWAP1
00000d75: DUP2
00000d76: MSTORE
00000d77: PUSH1 0x20
00000d79: ADD
00000d7a: PUSH1 0x00
00000d7c: KECCAK256
00000d7d: DUP2
00000d7e: SWAP1
00000d7f: SSTORE
00000d80: POP
00000d81: JUMPDEST
00000d82: PUSH1 0x00
00000d84: PUSH1 0x02
00000d86: SLOAD
00000d87: GT
00000d88: ISZERO
00000d89: PUSH2 0x0dec
00000d8c: JUMPI
00000d8d: PUSH2 0x0d98
00000d90: PUSH1 0x02
00000d92: SLOAD
00000d93: DUP6
00000d94: PUSH2 0x22c9
00000d97: JUMP
00000d98: JUMPDEST
00000d99: PUSH1 0x02
00000d9b: DUP2
00000d9c: SWAP1
00000d9d: SSTORE
00000d9e: POP
00000d9f: PUSH1 0x02
00000da1: SLOAD
00000da2: PUSH9 0x010000000000000000
00000dac: DUP9
00000dad: MUL
00000dae: DUP2
00000daf: ISZERO
00000db0: ISZERO
00000db1: PUSH2 0x0db6
00000db4: JUMPI
00000db5: INVALID
00000db6: JUMPDEST
00000db7: DIV
00000db8: PUSH1 0x04
00000dba: PUSH1 0x00
00000dbc: DUP3
00000dbd: DUP3
00000dbe: SLOAD
00000dbf: ADD
00000dc0: SWAP3
00000dc1: POP
00000dc2: POP
00000dc3: DUP2
00000dc4: SWAP1
00000dc5: SSTORE
00000dc6: POP
00000dc7: PUSH1 0x02
00000dc9: SLOAD
00000dca: PUSH9 0x010000000000000000
00000dd4: DUP9
00000dd5: MUL
00000dd6: DUP2
00000dd7: ISZERO
00000dd8: ISZERO
00000dd9: PUSH2 0x0dde
00000ddc: JUMPI
00000ddd: INVALID
00000dde: JUMPDEST
00000ddf: DIV
00000de0: DUP5
00000de1: MUL
00000de2: DUP4
00000de3: SUB
00000de4: DUP4
00000de5: SUB
00000de6: SWAP3
00000de7: POP
00000de8: PUSH2 0x0df4
00000deb: JUMP
00000dec: JUMPDEST
00000ded: DUP4
00000dee: PUSH1 0x02
00000df0: DUP2
00000df1: SWAP1
00000df2: SSTORE
00000df3: POP
00000df4: JUMPDEST
00000df5: PUSH2 0x0e3d
00000df8: PUSH1 0x0c
00000dfa: PUSH1 0x00
00000dfc: DUP13
00000dfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e12: AND
00000e13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e28: AND
00000e29: DUP2
00000e2a: MSTORE
00000e2b: PUSH1 0x20
00000e2d: ADD
00000e2e: SWAP1
00000e2f: DUP2
00000e30: MSTORE
00000e31: PUSH1 0x20
00000e33: ADD
00000e34: PUSH1 0x00
00000e36: KECCAK256
00000e37: SLOAD
00000e38: DUP6
00000e39: PUSH2 0x22c9
00000e3c: JUMP
00000e3d: JUMPDEST
00000e3e: PUSH1 0x0c
00000e40: PUSH1 0x00
00000e42: DUP13
00000e43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e58: AND
00000e59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e6e: AND
00000e6f: DUP2
00000e70: MSTORE
00000e71: PUSH1 0x20
00000e73: ADD
00000e74: SWAP1
00000e75: DUP2
00000e76: MSTORE
00000e77: PUSH1 0x20
00000e79: ADD
00000e7a: PUSH1 0x00
00000e7c: KECCAK256
00000e7d: DUP2
00000e7e: SWAP1
00000e7f: SSTORE
00000e80: POP
00000e81: DUP3
00000e82: DUP5
00000e83: PUSH1 0x04
00000e85: SLOAD
00000e86: MUL
00000e87: SUB
00000e88: SWAP2
00000e89: POP
00000e8a: DUP2
00000e8b: PUSH1 0x0e
00000e8d: PUSH1 0x00
00000e8f: DUP13
00000e90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea5: AND
00000ea6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ebb: AND
00000ebc: DUP2
00000ebd: MSTORE
00000ebe: PUSH1 0x20
00000ec0: ADD
00000ec1: SWAP1
00000ec2: DUP2
00000ec3: MSTORE
00000ec4: PUSH1 0x20
00000ec6: ADD
00000ec7: PUSH1 0x00
00000ec9: KECCAK256
00000eca: PUSH1 0x00
00000ecc: DUP3
00000ecd: DUP3
00000ece: SLOAD
00000ecf: ADD
00000ed0: SWAP3
00000ed1: POP
00000ed2: POP
00000ed3: DUP2
00000ed4: SWAP1
00000ed5: SSTORE
00000ed6: POP
00000ed7: DUP12
00000ed8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eed: AND
00000eee: DUP11
00000eef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f04: AND
00000f05: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
00000f26: DUP16
00000f27: DUP8
00000f28: PUSH1 0x40
00000f2a: MLOAD
00000f2b: DUP1
00000f2c: DUP4
00000f2d: DUP2
00000f2e: MSTORE
00000f2f: PUSH1 0x20
00000f31: ADD
00000f32: DUP3
00000f33: DUP2
00000f34: MSTORE
00000f35: PUSH1 0x20
00000f37: ADD
00000f38: SWAP3
00000f39: POP
00000f3a: POP
00000f3b: POP
00000f3c: PUSH1 0x40
00000f3e: MLOAD
00000f3f: DUP1
00000f40: SWAP2
00000f41: SUB
00000f42: SWAP1
00000f43: LOG3
00000f44: DUP4
00000f45: SWAP11
00000f46: POP
00000f47: POP
00000f48: POP
00000f49: POP
00000f4a: POP
00000f4b: POP
00000f4c: POP
00000f4d: POP
00000f4e: POP
00000f4f: POP
00000f50: POP
00000f51: SWAP3
00000f52: SWAP2
00000f53: POP
00000f54: POP
00000f55: JUMP
00000f56: JUMPDEST
00000f57: PUSH1 0x00
00000f59: PUSH9 0x010000000000000000
00000f63: PUSH1 0x0e
00000f65: PUSH1 0x00
00000f67: DUP5
00000f68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7d: AND
00000f7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f93: AND
00000f94: DUP2
00000f95: MSTORE
00000f96: PUSH1 0x20
00000f98: ADD
00000f99: SWAP1
00000f9a: DUP2
00000f9b: MSTORE
00000f9c: PUSH1 0x20
00000f9e: ADD
00000f9f: PUSH1 0x00
00000fa1: KECCAK256
00000fa2: SLOAD
00000fa3: PUSH1 0x0c
00000fa5: PUSH1 0x00
00000fa7: DUP6
00000fa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fbd: AND
00000fbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fd3: AND
00000fd4: DUP2
00000fd5: MSTORE
00000fd6: PUSH1 0x20
00000fd8: ADD
00000fd9: SWAP1
00000fda: DUP2
00000fdb: MSTORE
00000fdc: PUSH1 0x20
00000fde: ADD
00000fdf: PUSH1 0x00
00000fe1: KECCAK256
00000fe2: SLOAD
00000fe3: PUSH1 0x04
00000fe5: SLOAD
00000fe6: MUL
00000fe7: SUB
00000fe8: DUP2
00000fe9: ISZERO
00000fea: ISZERO
00000feb: PUSH2 0x0ff0
00000fee: JUMPI
00000fef: INVALID
00000ff0: JUMPDEST
00000ff1: DIV
00000ff2: SWAP1
00000ff3: POP
00000ff4: SWAP2
00000ff5: SWAP1
00000ff6: POP
00000ff7: JUMP
00000ff8: JUMPDEST
00000ff9: PUSH1 0x0f
00000ffb: PUSH1 0x20
00000ffd: MSTORE
00000ffe: DUP1
00000fff: PUSH1 0x00
00001001: MSTORE
00001002: PUSH1 0x40
00001004: PUSH1 0x00
00001006: KECCAK256
00001007: PUSH1 0x00
00001009: SWAP2
0000100a: POP
0000100b: SLOAD
0000100c: SWAP1
0000100d: PUSH2 0x0100
00001010: EXP
00001011: SWAP1
00001012: DIV
00001013: PUSH1 0xff
00001015: AND
00001016: DUP2
00001017: JUMP
00001018: JUMPDEST
00001019: PUSH1 0x00
0000101b: DUP1
0000101c: SLOAD
0000101d: PUSH1 0x01
0000101f: DUP2
00001020: PUSH1 0x01
00001022: AND
00001023: ISZERO
00001024: PUSH2 0x0100
00001027: MUL
00001028: SUB
00001029: AND
0000102a: PUSH1 0x02
0000102c: SWAP1
0000102d: DIV
0000102e: DUP1
0000102f: PUSH1 0x1f
00001031: ADD
00001032: PUSH1 0x20
00001034: DUP1
00001035: SWAP2
00001036: DIV
00001037: MUL
00001038: PUSH1 0x20
0000103a: ADD
0000103b: PUSH1 0x40
0000103d: MLOAD
0000103e: SWAP1
0000103f: DUP2
00001040: ADD
00001041: PUSH1 0x40
00001043: MSTORE
00001044: DUP1
00001045: SWAP3
00001046: SWAP2
00001047: SWAP1
00001048: DUP2
00001049: DUP2
0000104a: MSTORE
0000104b: PUSH1 0x20
0000104d: ADD
0000104e: DUP3
0000104f: DUP1
00001050: SLOAD
00001051: PUSH1 0x01
00001053: DUP2
00001054: PUSH1 0x01
00001056: AND
00001057: ISZERO
00001058: PUSH2 0x0100
0000105b: MUL
0000105c: SUB
0000105d: AND
0000105e: PUSH1 0x02
00001060: SWAP1
00001061: DIV
00001062: DUP1
00001063: ISZERO
00001064: PUSH2 0x10ae
00001067: JUMPI
00001068: DUP1
00001069: PUSH1 0x1f
0000106b: LT
0000106c: PUSH2 0x1083
0000106f: JUMPI
00001070: PUSH2 0x0100
00001073: DUP1
00001074: DUP4
00001075: SLOAD
00001076: DIV
00001077: MUL
00001078: DUP4
00001079: MSTORE
0000107a: SWAP2
0000107b: PUSH1 0x20
0000107d: ADD
0000107e: SWAP2
0000107f: PUSH2 0x10ae
00001082: JUMP
00001083: JUMPDEST
00001084: DUP3
00001085: ADD
00001086: SWAP2
00001087: SWAP1
00001088: PUSH1 0x00
0000108a: MSTORE
0000108b: PUSH1 0x20
0000108d: PUSH1 0x00
0000108f: KECCAK256
00001090: SWAP1
00001091: JUMPDEST
00001092: DUP2
00001093: SLOAD
00001094: DUP2
00001095: MSTORE
00001096: SWAP1
00001097: PUSH1 0x01
00001099: ADD
0000109a: SWAP1
0000109b: PUSH1 0x20
0000109d: ADD
0000109e: DUP1
0000109f: DUP4
000010a0: GT
000010a1: PUSH2 0x1091
000010a4: JUMPI
000010a5: DUP3
000010a6: SWAP1
000010a7: SUB
000010a8: PUSH1 0x1f
000010aa: AND
000010ab: DUP3
000010ac: ADD
000010ad: SWAP2
000010ae: JUMPDEST
000010af: POP
000010b0: POP
000010b1: POP
000010b2: POP
000010b3: POP
000010b4: DUP2
000010b5: JUMP
000010b6: JUMPDEST
000010b7: PUSH1 0x06
000010b9: SLOAD
000010ba: DUP2
000010bb: JUMP
000010bc: JUMPDEST
000010bd: PUSH1 0x00
000010bf: DUP1
000010c0: PUSH1 0x00
000010c2: DUP1
000010c3: PUSH2 0x10da
000010c6: PUSH2 0x10d3
000010c9: DUP7
000010ca: PUSH1 0x14
000010cc: PUSH1 0xff
000010ce: AND
000010cf: PUSH2 0x225a
000010d2: JUMP
000010d3: JUMPDEST
000010d4: PUSH1 0x64
000010d6: PUSH2 0x2295
000010d9: JUMP
000010da: JUMPDEST
000010db: SWAP3
000010dc: POP
000010dd: PUSH2 0x10e6
000010e0: DUP6
000010e1: DUP5
000010e2: PUSH2 0x22b0
000010e5: JUMP
000010e6: JUMPDEST
000010e7: SWAP2
000010e8: POP
000010e9: PUSH2 0x10f1
000010ec: DUP3
000010ed: PUSH2 0x22e7
000010f0: JUMP
000010f1: JUMPDEST
000010f2: SWAP1
000010f3: POP
000010f4: DUP1
000010f5: SWAP4
000010f6: POP
000010f7: POP
000010f8: POP
000010f9: POP
000010fa: SWAP2
000010fb: SWAP1
000010fc: POP
000010fd: JUMP
000010fe: JUMPDEST
000010ff: PUSH1 0x00
00001101: PUSH1 0x02
00001103: SLOAD
00001104: SWAP1
00001105: POP
00001106: SWAP1
00001107: JUMP
00001108: JUMPDEST
00001109: PUSH1 0x00
0000110b: DUP1
0000110c: PUSH1 0x00
0000110e: DUP1
0000110f: PUSH1 0x00
00001111: PUSH1 0x10
00001113: PUSH1 0x00
00001115: CALLER
00001116: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000112b: AND
0000112c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001141: AND
00001142: DUP2
00001143: MSTORE
00001144: PUSH1 0x20
00001146: ADD
00001147: SWAP1
00001148: DUP2
00001149: MSTORE
0000114a: PUSH1 0x20
0000114c: ADD
0000114d: PUSH1 0x00
0000114f: KECCAK256
00001150: SLOAD
00001151: PUSH1 0x11
00001153: PUSH1 0x00
00001155: CALLER
00001156: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000116b: AND
0000116c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001181: AND
00001182: DUP2
00001183: MSTORE
00001184: PUSH1 0x20
00001186: ADD
00001187: SWAP1
00001188: DUP2
00001189: MSTORE
0000118a: PUSH1 0x20
0000118c: ADD
0000118d: PUSH1 0x00
0000118f: KECCAK256
00001190: SLOAD
00001191: PUSH2 0x1199
00001194: CALLER
00001195: PUSH2 0x1545
00001198: JUMP
00001199: JUMPDEST
0000119a: PUSH2 0x11a3
0000119d: PUSH1 0x01
0000119f: PUSH2 0x14ba
000011a2: JUMP
000011a3: JUMPDEST
000011a4: PUSH2 0x11ad
000011a7: PUSH1 0x00
000011a9: PUSH2 0x14ba
000011ac: JUMP
000011ad: JUMPDEST
000011ae: SWAP5
000011af: POP
000011b0: SWAP5
000011b1: POP
000011b2: SWAP5
000011b3: POP
000011b4: SWAP5
000011b5: POP
000011b6: SWAP5
000011b7: POP
000011b8: SWAP1
000011b9: SWAP2
000011ba: SWAP3
000011bb: SWAP4
000011bc: SWAP5
000011bd: JUMP
000011be: JUMPDEST
000011bf: PUSH1 0x00
000011c1: DUP1
000011c2: PUSH1 0x00
000011c4: DUP1
000011c5: PUSH1 0x02
000011c7: SLOAD
000011c8: DUP6
000011c9: GT
000011ca: ISZERO
000011cb: ISZERO
000011cc: ISZERO
000011cd: PUSH2 0x11d5
000011d0: JUMPI
000011d1: PUSH1 0x00
000011d3: DUP1
000011d4: REVERT
000011d5: JUMPDEST
000011d6: PUSH2 0x11de
000011d9: DUP6
000011da: PUSH2 0x2373
000011dd: JUMP
000011de: JUMPDEST
000011df: SWAP3
000011e0: POP
000011e1: PUSH2 0x11f8
000011e4: PUSH2 0x11f1
000011e7: DUP5
000011e8: PUSH1 0x14
000011ea: PUSH1 0xff
000011ec: AND
000011ed: PUSH2 0x225a
000011f0: JUMP
000011f1: JUMPDEST
000011f2: PUSH1 0x64
000011f4: PUSH2 0x2295
000011f7: JUMP
000011f8: JUMPDEST
000011f9: SWAP2
000011fa: POP
000011fb: PUSH2 0x1204
000011fe: DUP4
000011ff: DUP4
00001200: PUSH2 0x22b0
00001203: JUMP
00001204: JUMPDEST
00001205: SWAP1
00001206: POP
00001207: DUP1
00001208: SWAP4
00001209: POP
0000120a: POP
0000120b: POP
0000120c: POP
0000120d: SWAP2
0000120e: SWAP1
0000120f: POP
00001210: JUMP
00001211: JUMPDEST
00001212: PUSH1 0x12
00001214: DUP2
00001215: JUMP
00001216: JUMPDEST
00001217: PUSH1 0x00
00001219: DUP1
0000121a: PUSH1 0x00
0000121c: PUSH2 0x1225
0000121f: PUSH1 0x01
00001221: PUSH2 0x14ba
00001224: JUMP
00001225: JUMPDEST
00001226: GT
00001227: ISZERO
00001228: ISZERO
00001229: PUSH2 0x1231
0000122c: JUMPI
0000122d: PUSH1 0x00
0000122f: DUP1
00001230: REVERT
00001231: JUMPDEST
00001232: CALLER
00001233: SWAP2
00001234: POP
00001235: PUSH2 0x123e
00001238: PUSH1 0x00
0000123a: PUSH2 0x14ba
0000123d: JUMP
0000123e: JUMPDEST
0000123f: SWAP1
00001240: POP
00001241: PUSH9 0x010000000000000000
0000124b: DUP2
0000124c: MUL
0000124d: PUSH1 0x0e
0000124f: PUSH1 0x00
00001251: DUP5
00001252: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001267: AND
00001268: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000127d: AND
0000127e: DUP2
0000127f: MSTORE
00001280: PUSH1 0x20
00001282: ADD
00001283: SWAP1
00001284: DUP2
00001285: MSTORE
00001286: PUSH1 0x20
00001288: ADD
00001289: PUSH1 0x00
0000128b: KECCAK256
0000128c: PUSH1 0x00
0000128e: DUP3
0000128f: DUP3
00001290: SLOAD
00001291: ADD
00001292: SWAP3
00001293: POP
00001294: POP
00001295: DUP2
00001296: SWAP1
00001297: SSTORE
00001298: POP
00001299: PUSH1 0x0d
0000129b: PUSH1 0x00
0000129d: DUP4
0000129e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012b3: AND
000012b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c9: AND
000012ca: DUP2
000012cb: MSTORE
000012cc: PUSH1 0x20
000012ce: ADD
000012cf: SWAP1
000012d0: DUP2
000012d1: MSTORE
000012d2: PUSH1 0x20
000012d4: ADD
000012d5: PUSH1 0x00
000012d7: KECCAK256
000012d8: SLOAD
000012d9: DUP2
000012da: ADD
000012db: SWAP1
000012dc: POP
000012dd: PUSH1 0x00
000012df: PUSH1 0x0d
000012e1: PUSH1 0x00
000012e3: DUP5
000012e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012f9: AND
000012fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000130f: AND
00001310: DUP2
00001311: MSTORE
00001312: PUSH1 0x20
00001314: ADD
00001315: SWAP1
00001316: DUP2
00001317: MSTORE
00001318: PUSH1 0x20
0000131a: ADD
0000131b: PUSH1 0x00
0000131d: KECCAK256
0000131e: DUP2
0000131f: SWAP1
00001320: SSTORE
00001321: POP
00001322: PUSH2 0x136a
00001325: PUSH1 0x11
00001327: PUSH1 0x00
00001329: DUP5
0000132a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133f: AND
00001340: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001355: AND
00001356: DUP2
00001357: MSTORE
00001358: PUSH1 0x20
0000135a: ADD
0000135b: SWAP1
0000135c: DUP2
0000135d: MSTORE
0000135e: PUSH1 0x20
00001360: ADD
00001361: PUSH1 0x00
00001363: KECCAK256
00001364: SLOAD
00001365: DUP3
00001366: PUSH2 0x22c9
00001369: JUMP
0000136a: JUMPDEST
0000136b: PUSH1 0x11
0000136d: PUSH1 0x00
0000136f: DUP5
00001370: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001385: AND
00001386: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000139b: AND
0000139c: DUP2
0000139d: MSTORE
0000139e: PUSH1 0x20
000013a0: ADD
000013a1: SWAP1
000013a2: DUP2
000013a3: MSTORE
000013a4: PUSH1 0x20
000013a6: ADD
000013a7: PUSH1 0x00
000013a9: KECCAK256
000013aa: DUP2
000013ab: SWAP1
000013ac: SSTORE
000013ad: POP
000013ae: DUP2
000013af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c4: AND
000013c5: PUSH2 0x08fc
000013c8: DUP3
000013c9: SWAP1
000013ca: DUP2
000013cb: ISZERO
000013cc: MUL
000013cd: SWAP1
000013ce: PUSH1 0x40
000013d0: MLOAD
000013d1: PUSH1 0x00
000013d3: PUSH1 0x40
000013d5: MLOAD
000013d6: DUP1
000013d7: DUP4
000013d8: SUB
000013d9: DUP2
000013da: DUP6
000013db: DUP9
000013dc: DUP9
000013dd: CALL
000013de: SWAP4
000013df: POP
000013e0: POP
000013e1: POP
000013e2: POP
000013e3: ISZERO
000013e4: DUP1
000013e5: ISZERO
000013e6: PUSH2 0x13f3
000013e9: JUMPI
000013ea: RETURNDATASIZE
000013eb: PUSH1 0x00
000013ed: DUP1
000013ee: RETURNDATACOPY
000013ef: RETURNDATASIZE
000013f0: PUSH1 0x00
000013f2: REVERT
000013f3: JUMPDEST
000013f4: POP
000013f5: DUP2
000013f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000140b: AND
0000140c: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
0000142d: DUP3
0000142e: PUSH1 0x40
00001430: MLOAD
00001431: DUP1
00001432: DUP3
00001433: DUP2
00001434: MSTORE
00001435: PUSH1 0x20
00001437: ADD
00001438: SWAP2
00001439: POP
0000143a: POP
0000143b: PUSH1 0x40
0000143d: MLOAD
0000143e: DUP1
0000143f: SWAP2
00001440: SUB
00001441: SWAP1
00001442: LOG2
00001443: POP
00001444: POP
00001445: JUMP
00001446: JUMPDEST
00001447: PUSH1 0x00
00001449: DUP1
0000144a: PUSH1 0x00
0000144c: DUP1
0000144d: PUSH1 0x00
0000144f: PUSH1 0x02
00001451: SLOAD
00001452: EQ
00001453: ISZERO
00001454: PUSH2 0x146b
00001457: JUMPI
00001458: PUSH5 0x02540be400
0000145e: PUSH5 0x174876e800
00001464: SUB
00001465: SWAP4
00001466: POP
00001467: PUSH2 0x14a8
0000146a: JUMP
0000146b: JUMPDEST
0000146c: PUSH2 0x147c
0000146f: PUSH8 0x0de0b6b3a7640000
00001478: PUSH2 0x2373
0000147b: JUMP
0000147c: JUMPDEST
0000147d: SWAP3
0000147e: POP
0000147f: PUSH2 0x1496
00001482: PUSH2 0x148f
00001485: DUP5
00001486: PUSH1 0x14
00001488: PUSH1 0xff
0000148a: AND
0000148b: PUSH2 0x225a
0000148e: JUMP
0000148f: JUMPDEST
00001490: PUSH1 0x64
00001492: PUSH2 0x2295
00001495: JUMP
00001496: JUMPDEST
00001497: SWAP2
00001498: POP
00001499: PUSH2 0x14a2
0000149c: DUP4
0000149d: DUP4
0000149e: PUSH2 0x22b0
000014a1: JUMP
000014a2: JUMPDEST
000014a3: SWAP1
000014a4: POP
000014a5: DUP1
000014a6: SWAP4
000014a7: POP
000014a8: JUMPDEST
000014a9: POP
000014aa: POP
000014ab: POP
000014ac: SWAP1
000014ad: JUMP
000014ae: JUMPDEST
000014af: PUSH1 0x07
000014b1: SLOAD
000014b2: DUP2
000014b3: JUMP
000014b4: JUMPDEST
000014b5: PUSH1 0x05
000014b7: SLOAD
000014b8: DUP2
000014b9: JUMP
000014ba: JUMPDEST
000014bb: PUSH1 0x00
000014bd: DUP1
000014be: CALLER
000014bf: SWAP1
000014c0: POP
000014c1: DUP3
000014c2: PUSH2 0x14d3
000014c5: JUMPI
000014c6: PUSH2 0x14ce
000014c9: DUP2
000014ca: PUSH2 0x0f56
000014cd: JUMP
000014ce: JUMPDEST
000014cf: PUSH2 0x151e
000014d2: JUMP
000014d3: JUMPDEST
000014d4: PUSH1 0x0d
000014d6: PUSH1 0x00
000014d8: DUP3
000014d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ee: AND
000014ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001504: AND
00001505: DUP2
00001506: MSTORE
00001507: PUSH1 0x20
00001509: ADD
0000150a: SWAP1
0000150b: DUP2
0000150c: MSTORE
0000150d: PUSH1 0x20
0000150f: ADD
00001510: PUSH1 0x00
00001512: KECCAK256
00001513: SLOAD
00001514: PUSH2 0x151c
00001517: DUP3
00001518: PUSH2 0x0f56
0000151b: JUMP
0000151c: JUMPDEST
0000151d: ADD
0000151e: JUMPDEST
0000151f: SWAP2
00001520: POP
00001521: POP
00001522: SWAP2
00001523: SWAP1
00001524: POP
00001525: JUMP
00001526: JUMPDEST
00001527: PUSH1 0x00
00001529: ADDRESS
0000152a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000153f: AND
00001540: BALANCE
00001541: SWAP1
00001542: POP
00001543: SWAP1
00001544: JUMP
00001545: JUMPDEST
00001546: PUSH1 0x00
00001548: PUSH1 0x0c
0000154a: PUSH1 0x00
0000154c: DUP4
0000154d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001562: AND
00001563: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001578: AND
00001579: DUP2
0000157a: MSTORE
0000157b: PUSH1 0x20
0000157d: ADD
0000157e: SWAP1
0000157f: DUP2
00001580: MSTORE
00001581: PUSH1 0x20
00001583: ADD
00001584: PUSH1 0x00
00001586: KECCAK256
00001587: SLOAD
00001588: SWAP1
00001589: POP
0000158a: SWAP2
0000158b: SWAP1
0000158c: POP
0000158d: JUMP
0000158e: JUMPDEST
0000158f: PUSH1 0x09
00001591: SLOAD
00001592: DUP2
00001593: JUMP
00001594: JUMPDEST
00001595: PUSH1 0x0b
00001597: PUSH1 0x00
00001599: SWAP1
0000159a: SLOAD
0000159b: SWAP1
0000159c: PUSH2 0x0100
0000159f: EXP
000015a0: SWAP1
000015a1: DIV
000015a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b7: AND
000015b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015cd: AND
000015ce: CALLER
000015cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015e4: AND
000015e5: EQ
000015e6: ISZERO
000015e7: ISZERO
000015e8: PUSH2 0x15f0
000015eb: JUMPI
000015ec: PUSH1 0x00
000015ee: DUP1
000015ef: REVERT
000015f0: JUMPDEST
000015f1: DUP1
000015f2: PUSH1 0x05
000015f4: DUP2
000015f5: SWAP1
000015f6: SSTORE
000015f7: POP
000015f8: POP
000015f9: JUMP
000015fa: JUMPDEST
000015fb: PUSH1 0x10
000015fd: PUSH1 0x20
000015ff: MSTORE
00001600: DUP1
00001601: PUSH1 0x00
00001603: MSTORE
00001604: PUSH1 0x40
00001606: PUSH1 0x00
00001608: KECCAK256
00001609: PUSH1 0x00
0000160b: SWAP2
0000160c: POP
0000160d: SWAP1
0000160e: POP
0000160f: SLOAD
00001610: DUP2
00001611: JUMP
00001612: JUMPDEST
00001613: PUSH1 0x00
00001615: DUP1
00001616: PUSH1 0x00
00001618: DUP1
00001619: PUSH1 0x00
0000161b: PUSH1 0x02
0000161d: SLOAD
0000161e: EQ
0000161f: ISZERO
00001620: PUSH2 0x1637
00001623: JUMPI
00001624: PUSH5 0x02540be400
0000162a: PUSH5 0x174876e800
00001630: ADD
00001631: SWAP4
00001632: POP
00001633: PUSH2 0x1674
00001636: JUMP
00001637: JUMPDEST
00001638: PUSH2 0x1648
0000163b: PUSH8 0x0de0b6b3a7640000
00001644: PUSH2 0x2373
00001647: JUMP
00001648: JUMPDEST
00001649: SWAP3
0000164a: POP
0000164b: PUSH2 0x1662
0000164e: PUSH2 0x165b
00001651: DUP5
00001652: PUSH1 0x14
00001654: PUSH1 0xff
00001656: AND
00001657: PUSH2 0x225a
0000165a: JUMP
0000165b: JUMPDEST
0000165c: PUSH1 0x64
0000165e: PUSH2 0x2295
00001661: JUMP
00001662: JUMPDEST
00001663: SWAP2
00001664: POP
00001665: PUSH2 0x166e
00001668: DUP4
00001669: DUP4
0000166a: PUSH2 0x22c9
0000166d: JUMP
0000166e: JUMPDEST
0000166f: SWAP1
00001670: POP
00001671: DUP1
00001672: SWAP4
00001673: POP
00001674: JUMPDEST
00001675: POP
00001676: POP
00001677: POP
00001678: SWAP1
00001679: JUMP
0000167a: JUMPDEST
0000167b: PUSH1 0x00
0000167d: PUSH1 0x0b
0000167f: PUSH1 0x00
00001681: SWAP1
00001682: SLOAD
00001683: SWAP1
00001684: PUSH2 0x0100
00001687: EXP
00001688: SWAP1
00001689: DIV
0000168a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000169f: AND
000016a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016b5: AND
000016b6: CALLER
000016b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016cc: AND
000016cd: EQ
000016ce: SWAP1
000016cf: POP
000016d0: SWAP1
000016d1: JUMP
000016d2: JUMPDEST
000016d3: PUSH1 0x00
000016d5: DUP1
000016d6: CALLER
000016d7: SWAP1
000016d8: POP
000016d9: PUSH2 0x16e1
000016dc: DUP2
000016dd: PUSH2 0x1545
000016e0: JUMP
000016e1: JUMPDEST
000016e2: SWAP2
000016e3: POP
000016e4: POP
000016e5: SWAP1
000016e6: JUMP
000016e7: JUMPDEST
000016e8: PUSH1 0x01
000016ea: DUP1
000016eb: SLOAD
000016ec: PUSH1 0x01
000016ee: DUP2
000016ef: PUSH1 0x01
000016f1: AND
000016f2: ISZERO
000016f3: PUSH2 0x0100
000016f6: MUL
000016f7: SUB
000016f8: AND
000016f9: PUSH1 0x02
000016fb: SWAP1
000016fc: DIV
000016fd: DUP1
000016fe: PUSH1 0x1f
00001700: ADD
00001701: PUSH1 0x20
00001703: DUP1
00001704: SWAP2
00001705: DIV
00001706: MUL
00001707: PUSH1 0x20
00001709: ADD
0000170a: PUSH1 0x40
0000170c: MLOAD
0000170d: SWAP1
0000170e: DUP2
0000170f: ADD
00001710: PUSH1 0x40
00001712: MSTORE
00001713: DUP1
00001714: SWAP3
00001715: SWAP2
00001716: SWAP1
00001717: DUP2
00001718: DUP2
00001719: MSTORE
0000171a: PUSH1 0x20
0000171c: ADD
0000171d: DUP3
0000171e: DUP1
0000171f: SLOAD
00001720: PUSH1 0x01
00001722: DUP2
00001723: PUSH1 0x01
00001725: AND
00001726: ISZERO
00001727: PUSH2 0x0100
0000172a: MUL
0000172b: SUB
0000172c: AND
0000172d: PUSH1 0x02
0000172f: SWAP1
00001730: DIV
00001731: DUP1
00001732: ISZERO
00001733: PUSH2 0x177d
00001736: JUMPI
00001737: DUP1
00001738: PUSH1 0x1f
0000173a: LT
0000173b: PUSH2 0x1752
0000173e: JUMPI
0000173f: PUSH2 0x0100
00001742: DUP1
00001743: DUP4
00001744: SLOAD
00001745: DIV
00001746: MUL
00001747: DUP4
00001748: MSTORE
00001749: SWAP2
0000174a: PUSH1 0x20
0000174c: ADD
0000174d: SWAP2
0000174e: PUSH2 0x177d
00001751: JUMP
00001752: JUMPDEST
00001753: DUP3
00001754: ADD
00001755: SWAP2
00001756: SWAP1
00001757: PUSH1 0x00
00001759: MSTORE
0000175a: PUSH1 0x20
0000175c: PUSH1 0x00
0000175e: KECCAK256
0000175f: SWAP1
00001760: JUMPDEST
00001761: DUP2
00001762: SLOAD
00001763: DUP2
00001764: MSTORE
00001765: SWAP1
00001766: PUSH1 0x01
00001768: ADD
00001769: SWAP1
0000176a: PUSH1 0x20
0000176c: ADD
0000176d: DUP1
0000176e: DUP4
0000176f: GT
00001770: PUSH2 0x1760
00001773: JUMPI
00001774: DUP3
00001775: SWAP1
00001776: SUB
00001777: PUSH1 0x1f
00001779: AND
0000177a: DUP3
0000177b: ADD
0000177c: SWAP2
0000177d: JUMPDEST
0000177e: POP
0000177f: POP
00001780: POP
00001781: POP
00001782: POP
00001783: DUP2
00001784: JUMP
00001785: JUMPDEST
00001786: PUSH1 0x12
00001788: PUSH1 0x00
0000178a: SWAP1
0000178b: SLOAD
0000178c: SWAP1
0000178d: PUSH2 0x0100
00001790: EXP
00001791: SWAP1
00001792: DIV
00001793: PUSH1 0xff
00001795: AND
00001796: DUP2
00001797: JUMP
00001798: JUMPDEST
00001799: PUSH1 0x08
0000179b: SLOAD
0000179c: DUP2
0000179d: JUMP
0000179e: JUMPDEST
0000179f: PUSH1 0x00
000017a1: DUP1
000017a2: PUSH1 0x00
000017a4: DUP1
000017a5: PUSH1 0x00
000017a7: PUSH1 0x06
000017a9: SLOAD
000017aa: PUSH2 0x17b1
000017ad: PUSH2 0x10fe
000017b0: JUMP
000017b1: JUMPDEST
000017b2: PUSH2 0x17b9
000017b5: PUSH2 0x1526
000017b8: JUMP
000017b9: JUMPDEST
000017ba: PUSH1 0x07
000017bc: SLOAD
000017bd: PUSH1 0x08
000017bf: SLOAD
000017c0: SWAP5
000017c1: POP
000017c2: SWAP5
000017c3: POP
000017c4: SWAP5
000017c5: POP
000017c6: SWAP5
000017c7: POP
000017c8: SWAP5
000017c9: POP
000017ca: SWAP1
000017cb: SWAP2
000017cc: SWAP3
000017cd: SWAP4
000017ce: SWAP5
000017cf: JUMP
000017d0: JUMPDEST
000017d1: PUSH1 0x0b
000017d3: PUSH1 0x00
000017d5: SWAP1
000017d6: SLOAD
000017d7: SWAP1
000017d8: PUSH2 0x0100
000017db: EXP
000017dc: SWAP1
000017dd: DIV
000017de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f3: AND
000017f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001809: AND
0000180a: CALLER
0000180b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001820: AND
00001821: EQ
00001822: ISZERO
00001823: ISZERO
00001824: PUSH2 0x182c
00001827: JUMPI
00001828: PUSH1 0x00
0000182a: DUP1
0000182b: REVERT
0000182c: JUMPDEST
0000182d: PUSH1 0x00
0000182f: PUSH1 0x12
00001831: PUSH1 0x00
00001833: PUSH2 0x0100
00001836: EXP
00001837: DUP2
00001838: SLOAD
00001839: DUP2
0000183a: PUSH1 0xff
0000183c: MUL
0000183d: NOT
0000183e: AND
0000183f: SWAP1
00001840: DUP4
00001841: ISZERO
00001842: ISZERO
00001843: MUL
00001844: OR
00001845: SWAP1
00001846: SSTORE
00001847: POP
00001848: JUMP
00001849: JUMPDEST
0000184a: PUSH1 0x00
0000184c: DUP1
0000184d: PUSH1 0x00
0000184f: DUP1
00001850: PUSH1 0x00
00001852: DUP1
00001853: PUSH2 0x185a
00001856: PUSH2 0x16d2
00001859: JUMP
0000185a: JUMPDEST
0000185b: GT
0000185c: ISZERO
0000185d: ISZERO
0000185e: PUSH2 0x1866
00001861: JUMPI
00001862: PUSH1 0x00
00001864: DUP1
00001865: REVERT
00001866: JUMPDEST
00001867: CALLER
00001868: SWAP4
00001869: POP
0000186a: PUSH1 0x12
0000186c: PUSH1 0x00
0000186e: SWAP1
0000186f: SLOAD
00001870: SWAP1
00001871: PUSH2 0x0100
00001874: EXP
00001875: SWAP1
00001876: DIV
00001877: PUSH1 0xff
00001879: AND
0000187a: ISZERO
0000187b: DUP1
0000187c: ISZERO
0000187d: PUSH2 0x18c5
00001880: JUMPI
00001881: POP
00001882: PUSH1 0x0c
00001884: PUSH1 0x00
00001886: DUP6
00001887: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000189c: AND
0000189d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018b2: AND
000018b3: DUP2
000018b4: MSTORE
000018b5: PUSH1 0x20
000018b7: ADD
000018b8: SWAP1
000018b9: DUP2
000018ba: MSTORE
000018bb: PUSH1 0x20
000018bd: ADD
000018be: PUSH1 0x00
000018c0: KECCAK256
000018c1: SLOAD
000018c2: DUP7
000018c3: GT
000018c4: ISZERO
000018c5: JUMPDEST
000018c6: ISZERO
000018c7: ISZERO
000018c8: PUSH2 0x18d0
000018cb: JUMPI
000018cc: PUSH1 0x00
000018ce: DUP1
000018cf: REVERT
000018d0: JUMPDEST
000018d1: PUSH1 0x00
000018d3: PUSH2 0x18dc
000018d6: PUSH1 0x01
000018d8: PUSH2 0x14ba
000018db: JUMP
000018dc: JUMPDEST
000018dd: GT
000018de: ISZERO
000018df: PUSH2 0x18eb
000018e2: JUMPI
000018e3: PUSH2 0x18ea
000018e6: PUSH2 0x1216
000018e9: JUMP
000018ea: JUMPDEST
000018eb: JUMPDEST
000018ec: PUSH2 0x18f9
000018ef: DUP7
000018f0: PUSH1 0x0a
000018f2: PUSH1 0xff
000018f4: AND
000018f5: PUSH2 0x2295
000018f8: JUMP
000018f9: JUMPDEST
000018fa: SWAP3
000018fb: POP
000018fc: PUSH2 0x1905
000018ff: DUP7
00001900: DUP5
00001901: PUSH2 0x22b0
00001904: JUMP
00001905: JUMPDEST
00001906: SWAP2
00001907: POP
00001908: PUSH2 0x1910
0000190b: DUP4
0000190c: PUSH2 0x2373
0000190f: JUMP
00001910: JUMPDEST
00001911: SWAP1
00001912: POP
00001913: PUSH2 0x191e
00001916: PUSH1 0x08
00001918: SLOAD
00001919: DUP3
0000191a: PUSH2 0x22c9
0000191d: JUMP
0000191e: JUMPDEST
0000191f: PUSH1 0x08
00001921: DUP2
00001922: SWAP1
00001923: SSTORE
00001924: POP
00001925: PUSH2 0x1930
00001928: PUSH1 0x02
0000192a: SLOAD
0000192b: DUP5
0000192c: PUSH2 0x22b0
0000192f: JUMP
00001930: JUMPDEST
00001931: PUSH1 0x02
00001933: DUP2
00001934: SWAP1
00001935: SSTORE
00001936: POP
00001937: PUSH2 0x197f
0000193a: PUSH1 0x0c
0000193c: PUSH1 0x00
0000193e: DUP7
0000193f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001954: AND
00001955: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000196a: AND
0000196b: DUP2
0000196c: MSTORE
0000196d: PUSH1 0x20
0000196f: ADD
00001970: SWAP1
00001971: DUP2
00001972: MSTORE
00001973: PUSH1 0x20
00001975: ADD
00001976: PUSH1 0x00
00001978: KECCAK256
00001979: SLOAD
0000197a: DUP8
0000197b: PUSH2 0x22b0
0000197e: JUMP
0000197f: JUMPDEST
00001980: PUSH1 0x0c
00001982: PUSH1 0x00
00001984: DUP7
00001985: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000199a: AND
0000199b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b0: AND
000019b1: DUP2
000019b2: MSTORE
000019b3: PUSH1 0x20
000019b5: ADD
000019b6: SWAP1
000019b7: DUP2
000019b8: MSTORE
000019b9: PUSH1 0x20
000019bb: ADD
000019bc: PUSH1 0x00
000019be: KECCAK256
000019bf: DUP2
000019c0: SWAP1
000019c1: SSTORE
000019c2: POP
000019c3: PUSH2 0x1a0b
000019c6: PUSH1 0x0c
000019c8: PUSH1 0x00
000019ca: DUP10
000019cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019e0: AND
000019e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f6: AND
000019f7: DUP2
000019f8: MSTORE
000019f9: PUSH1 0x20
000019fb: ADD
000019fc: SWAP1
000019fd: DUP2
000019fe: MSTORE
000019ff: PUSH1 0x20
00001a01: ADD
00001a02: PUSH1 0x00
00001a04: KECCAK256
00001a05: SLOAD
00001a06: DUP4
00001a07: PUSH2 0x22c9
00001a0a: JUMP
00001a0b: JUMPDEST
00001a0c: PUSH1 0x0c
00001a0e: PUSH1 0x00
00001a10: DUP10
00001a11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a26: AND
00001a27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a3c: AND
00001a3d: DUP2
00001a3e: MSTORE
00001a3f: PUSH1 0x20
00001a41: ADD
00001a42: SWAP1
00001a43: DUP2
00001a44: MSTORE
00001a45: PUSH1 0x20
00001a47: ADD
00001a48: PUSH1 0x00
00001a4a: KECCAK256
00001a4b: DUP2
00001a4c: SWAP1
00001a4d: SSTORE
00001a4e: POP
00001a4f: DUP6
00001a50: PUSH1 0x04
00001a52: SLOAD
00001a53: MUL
00001a54: PUSH1 0x0e
00001a56: PUSH1 0x00
00001a58: DUP7
00001a59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a6e: AND
00001a6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a84: AND
00001a85: DUP2
00001a86: MSTORE
00001a87: PUSH1 0x20
00001a89: ADD
00001a8a: SWAP1
00001a8b: DUP2
00001a8c: MSTORE
00001a8d: PUSH1 0x20
00001a8f: ADD
00001a90: PUSH1 0x00
00001a92: KECCAK256
00001a93: PUSH1 0x00
00001a95: DUP3
00001a96: DUP3
00001a97: SLOAD
00001a98: SUB
00001a99: SWAP3
00001a9a: POP
00001a9b: POP
00001a9c: DUP2
00001a9d: SWAP1
00001a9e: SSTORE
00001a9f: POP
00001aa0: DUP2
00001aa1: PUSH1 0x04
00001aa3: SLOAD
00001aa4: MUL
00001aa5: PUSH1 0x0e
00001aa7: PUSH1 0x00
00001aa9: DUP10
00001aaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001abf: AND
00001ac0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ad5: AND
00001ad6: DUP2
00001ad7: MSTORE
00001ad8: PUSH1 0x20
00001ada: ADD
00001adb: SWAP1
00001adc: DUP2
00001add: MSTORE
00001ade: PUSH1 0x20
00001ae0: ADD
00001ae1: PUSH1 0x00
00001ae3: KECCAK256
00001ae4: PUSH1 0x00
00001ae6: DUP3
00001ae7: DUP3
00001ae8: SLOAD
00001ae9: ADD
00001aea: SWAP3
00001aeb: POP
00001aec: POP
00001aed: DUP2
00001aee: SWAP1
00001aef: SSTORE
00001af0: POP
00001af1: PUSH2 0x1b14
00001af4: PUSH1 0x04
00001af6: SLOAD
00001af7: PUSH1 0x02
00001af9: SLOAD
00001afa: PUSH9 0x010000000000000000
00001b04: DUP5
00001b05: MUL
00001b06: DUP2
00001b07: ISZERO
00001b08: ISZERO
00001b09: PUSH2 0x1b0e
00001b0c: JUMPI
00001b0d: INVALID
00001b0e: JUMPDEST
00001b0f: DIV
00001b10: PUSH2 0x22c9
00001b13: JUMP
00001b14: JUMPDEST
00001b15: PUSH1 0x04
00001b17: DUP2
00001b18: SWAP1
00001b19: SSTORE
00001b1a: POP
00001b1b: DUP7
00001b1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b31: AND
00001b32: DUP5
00001b33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b48: AND
00001b49: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001b6a: DUP5
00001b6b: PUSH1 0x40
00001b6d: MLOAD
00001b6e: DUP1
00001b6f: DUP3
00001b70: DUP2
00001b71: MSTORE
00001b72: PUSH1 0x20
00001b74: ADD
00001b75: SWAP2
00001b76: POP
00001b77: POP
00001b78: PUSH1 0x40
00001b7a: MLOAD
00001b7b: DUP1
00001b7c: SWAP2
00001b7d: SUB
00001b7e: SWAP1
00001b7f: LOG3
00001b80: PUSH1 0x01
00001b82: SWAP5
00001b83: POP
00001b84: POP
00001b85: POP
00001b86: POP
00001b87: POP
00001b88: SWAP3
00001b89: SWAP2
00001b8a: POP
00001b8b: POP
00001b8c: JUMP
00001b8d: JUMPDEST
00001b8e: PUSH1 0x0a
00001b90: SLOAD
00001b91: DUP2
00001b92: JUMP
00001b93: JUMPDEST
00001b94: PUSH1 0x11
00001b96: PUSH1 0x20
00001b98: MSTORE
00001b99: DUP1
00001b9a: PUSH1 0x00
00001b9c: MSTORE
00001b9d: PUSH1 0x40
00001b9f: PUSH1 0x00
00001ba1: KECCAK256
00001ba2: PUSH1 0x00
00001ba4: SWAP2
00001ba5: POP
00001ba6: SWAP1
00001ba7: POP
00001ba8: SLOAD
00001ba9: DUP2
00001baa: JUMP
00001bab: JUMPDEST
00001bac: PUSH1 0x00
00001bae: PUSH1 0x0b
00001bb0: PUSH1 0x00
00001bb2: SWAP1
00001bb3: SLOAD
00001bb4: SWAP1
00001bb5: PUSH2 0x0100
00001bb8: EXP
00001bb9: SWAP1
00001bba: DIV
00001bbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd0: AND
00001bd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001be6: AND
00001be7: CALLER
00001be8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bfd: AND
00001bfe: EQ
00001bff: ISZERO
00001c00: ISZERO
00001c01: PUSH2 0x1c09
00001c04: JUMPI
00001c05: PUSH1 0x00
00001c07: DUP1
00001c08: REVERT
00001c09: JUMPDEST
00001c0a: PUSH1 0x0a
00001c0c: SLOAD
00001c0d: SWAP1
00001c0e: POP
00001c0f: PUSH1 0x00
00001c11: PUSH1 0x0a
00001c13: DUP2
00001c14: SWAP1
00001c15: SSTORE
00001c16: POP
00001c17: PUSH1 0x0b
00001c19: PUSH1 0x00
00001c1b: SWAP1
00001c1c: SLOAD
00001c1d: SWAP1
00001c1e: PUSH2 0x0100
00001c21: EXP
00001c22: SWAP1
00001c23: DIV
00001c24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c39: AND
00001c3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c4f: AND
00001c50: PUSH2 0x08fc
00001c53: DUP3
00001c54: SWAP1
00001c55: DUP2
00001c56: ISZERO
00001c57: MUL
00001c58: SWAP1
00001c59: PUSH1 0x40
00001c5b: MLOAD
00001c5c: PUSH1 0x00
00001c5e: PUSH1 0x40
00001c60: MLOAD
00001c61: DUP1
00001c62: DUP4
00001c63: SUB
00001c64: DUP2
00001c65: DUP6
00001c66: DUP9
00001c67: DUP9
00001c68: CALL
00001c69: SWAP4
00001c6a: POP
00001c6b: POP
00001c6c: POP
00001c6d: POP
00001c6e: ISZERO
00001c6f: DUP1
00001c70: ISZERO
00001c71: PUSH2 0x1c7e
00001c74: JUMPI
00001c75: RETURNDATASIZE
00001c76: PUSH1 0x00
00001c78: DUP1
00001c79: RETURNDATACOPY
00001c7a: RETURNDATASIZE
00001c7b: PUSH1 0x00
00001c7d: REVERT
00001c7e: JUMPDEST
00001c7f: POP
00001c80: POP
00001c81: JUMP
00001c82: JUMPDEST
00001c83: PUSH2 0x1c8f
00001c86: PUSH1 0x09
00001c88: SLOAD
00001c89: PUSH1 0x01
00001c8b: PUSH2 0x22c9
00001c8e: JUMP
00001c8f: JUMPDEST
00001c90: PUSH1 0x09
00001c92: DUP2
00001c93: SWAP1
00001c94: SSTORE
00001c95: POP
00001c96: JUMP
00001c97: JUMPDEST
00001c98: PUSH1 0x00
00001c9a: DUP1
00001c9b: PUSH1 0x00
00001c9d: DUP1
00001c9e: PUSH1 0x00
00001ca0: DUP1
00001ca1: PUSH1 0x00
00001ca3: DUP1
00001ca4: PUSH2 0x1cab
00001ca7: PUSH2 0x16d2
00001caa: JUMP
00001cab: JUMPDEST
00001cac: GT
00001cad: ISZERO
00001cae: ISZERO
00001caf: PUSH2 0x1cb7
00001cb2: JUMPI
00001cb3: PUSH1 0x00
00001cb5: DUP1
00001cb6: REVERT
00001cb7: JUMPDEST
00001cb8: CALLER
00001cb9: SWAP7
00001cba: POP
00001cbb: PUSH1 0x0c
00001cbd: PUSH1 0x00
00001cbf: DUP9
00001cc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cd5: AND
00001cd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ceb: AND
00001cec: DUP2
00001ced: MSTORE
00001cee: PUSH1 0x20
00001cf0: ADD
00001cf1: SWAP1
00001cf2: DUP2
00001cf3: MSTORE
00001cf4: PUSH1 0x20
00001cf6: ADD
00001cf7: PUSH1 0x00
00001cf9: KECCAK256
00001cfa: SLOAD
00001cfb: DUP9
00001cfc: GT
00001cfd: ISZERO
00001cfe: ISZERO
00001cff: ISZERO
00001d00: PUSH2 0x1d08
00001d03: JUMPI
00001d04: PUSH1 0x00
00001d06: DUP1
00001d07: REVERT
00001d08: JUMPDEST
00001d09: DUP8
00001d0a: SWAP6
00001d0b: POP
00001d0c: PUSH2 0x1d14
00001d0f: DUP7
00001d10: PUSH2 0x2373
00001d13: JUMP
00001d14: JUMPDEST
00001d15: SWAP5
00001d16: POP
00001d17: PUSH2 0x1d2e
00001d1a: PUSH2 0x1d27
00001d1d: DUP7
00001d1e: PUSH1 0x14
00001d20: PUSH1 0xff
00001d22: AND
00001d23: PUSH2 0x225a
00001d26: JUMP
00001d27: JUMPDEST
00001d28: PUSH1 0x64
00001d2a: PUSH2 0x2295
00001d2d: JUMP
00001d2e: JUMPDEST
00001d2f: SWAP4
00001d30: POP
00001d31: PUSH2 0x1d3e
00001d34: DUP6
00001d35: PUSH1 0x0a
00001d37: PUSH1 0xff
00001d39: AND
00001d3a: PUSH2 0x2295
00001d3d: JUMP
00001d3e: JUMPDEST
00001d3f: SWAP3
00001d40: POP
00001d41: PUSH2 0x1d4c
00001d44: PUSH1 0x0a
00001d46: SLOAD
00001d47: DUP5
00001d48: PUSH2 0x22c9
00001d4b: JUMP
00001d4c: JUMPDEST
00001d4d: PUSH1 0x0a
00001d4f: DUP2
00001d50: SWAP1
00001d51: SSTORE
00001d52: POP
00001d53: PUSH2 0x1d5c
00001d56: DUP6
00001d57: DUP6
00001d58: PUSH2 0x22b0
00001d5b: JUMP
00001d5c: JUMPDEST
00001d5d: SWAP2
00001d5e: POP
00001d5f: PUSH2 0x1d6a
00001d62: PUSH1 0x08
00001d64: SLOAD
00001d65: DUP6
00001d66: PUSH2 0x22c9
00001d69: JUMP
00001d6a: JUMPDEST
00001d6b: PUSH1 0x08
00001d6d: DUP2
00001d6e: SWAP1
00001d6f: SSTORE
00001d70: POP
00001d71: PUSH2 0x1d7a
00001d74: DUP5
00001d75: DUP5
00001d76: PUSH2 0x22b0
00001d79: JUMP
00001d7a: JUMPDEST
00001d7b: SWAP4
00001d7c: POP
00001d7d: PUSH2 0x1d88
00001d80: PUSH1 0x02
00001d82: SLOAD
00001d83: DUP8
00001d84: PUSH2 0x22b0
00001d87: JUMP
00001d88: JUMPDEST
00001d89: PUSH1 0x02
00001d8b: DUP2
00001d8c: SWAP1
00001d8d: SSTORE
00001d8e: POP
00001d8f: PUSH2 0x1dd7
00001d92: PUSH1 0x0c
00001d94: PUSH1 0x00
00001d96: DUP10
00001d97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dac: AND
00001dad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dc2: AND
00001dc3: DUP2
00001dc4: MSTORE
00001dc5: PUSH1 0x20
00001dc7: ADD
00001dc8: SWAP1
00001dc9: DUP2
00001dca: MSTORE
00001dcb: PUSH1 0x20
00001dcd: ADD
00001dce: PUSH1 0x00
00001dd0: KECCAK256
00001dd1: SLOAD
00001dd2: DUP8
00001dd3: PUSH2 0x22b0
00001dd6: JUMP
00001dd7: JUMPDEST
00001dd8: PUSH1 0x0c
00001dda: PUSH1 0x00
00001ddc: DUP10
00001ddd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001df2: AND
00001df3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e08: AND
00001e09: DUP2
00001e0a: MSTORE
00001e0b: PUSH1 0x20
00001e0d: ADD
00001e0e: SWAP1
00001e0f: DUP2
00001e10: MSTORE
00001e11: PUSH1 0x20
00001e13: ADD
00001e14: PUSH1 0x00
00001e16: KECCAK256
00001e17: DUP2
00001e18: SWAP1
00001e19: SSTORE
00001e1a: POP
00001e1b: PUSH9 0x010000000000000000
00001e25: DUP3
00001e26: MUL
00001e27: DUP7
00001e28: PUSH1 0x04
00001e2a: SLOAD
00001e2b: MUL
00001e2c: ADD
00001e2d: SWAP1
00001e2e: POP
00001e2f: DUP1
00001e30: PUSH1 0x0e
00001e32: PUSH1 0x00
00001e34: DUP10
00001e35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e4a: AND
00001e4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e60: AND
00001e61: DUP2
00001e62: MSTORE
00001e63: PUSH1 0x20
00001e65: ADD
00001e66: SWAP1
00001e67: DUP2
00001e68: MSTORE
00001e69: PUSH1 0x20
00001e6b: ADD
00001e6c: PUSH1 0x00
00001e6e: KECCAK256
00001e6f: PUSH1 0x00
00001e71: DUP3
00001e72: DUP3
00001e73: SLOAD
00001e74: SUB
00001e75: SWAP3
00001e76: POP
00001e77: POP
00001e78: DUP2
00001e79: SWAP1
00001e7a: SSTORE
00001e7b: POP
00001e7c: PUSH1 0x00
00001e7e: PUSH1 0x02
00001e80: SLOAD
00001e81: GT
00001e82: ISZERO
00001e83: PUSH2 0x1eb1
00001e86: JUMPI
00001e87: PUSH2 0x1eaa
00001e8a: PUSH1 0x04
00001e8c: SLOAD
00001e8d: PUSH1 0x02
00001e8f: SLOAD
00001e90: PUSH9 0x010000000000000000
00001e9a: DUP8
00001e9b: MUL
00001e9c: DUP2
00001e9d: ISZERO
00001e9e: ISZERO
00001e9f: PUSH2 0x1ea4
00001ea2: JUMPI
00001ea3: INVALID
00001ea4: JUMPDEST
00001ea5: DIV
00001ea6: PUSH2 0x22c9
00001ea9: JUMP
00001eaa: JUMPDEST
00001eab: PUSH1 0x04
00001ead: DUP2
00001eae: SWAP1
00001eaf: SSTORE
00001eb0: POP
00001eb1: JUMPDEST
00001eb2: DUP7
00001eb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ec8: AND
00001ec9: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139
00001eea: DUP8
00001eeb: DUP5
00001eec: PUSH1 0x40
00001eee: MLOAD
00001eef: DUP1
00001ef0: DUP4
00001ef1: DUP2
00001ef2: MSTORE
00001ef3: PUSH1 0x20
00001ef5: ADD
00001ef6: DUP3
00001ef7: DUP2
00001ef8: MSTORE
00001ef9: PUSH1 0x20
00001efb: ADD
00001efc: SWAP3
00001efd: POP
00001efe: POP
00001eff: POP
00001f00: PUSH1 0x40
00001f02: MLOAD
00001f03: DUP1
00001f04: SWAP2
00001f05: SUB
00001f06: SWAP1
00001f07: LOG2
00001f08: POP
00001f09: POP
00001f0a: POP
00001f0b: POP
00001f0c: POP
00001f0d: POP
00001f0e: POP
00001f0f: POP
00001f10: JUMP
00001f11: JUMPDEST
00001f12: PUSH1 0x00
00001f14: DUP1
00001f15: CALLER
00001f16: SWAP2
00001f17: POP
00001f18: PUSH1 0x0c
00001f1a: PUSH1 0x00
00001f1c: DUP4
00001f1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f32: AND
00001f33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f48: AND
00001f49: DUP2
00001f4a: MSTORE
00001f4b: PUSH1 0x20
00001f4d: ADD
00001f4e: SWAP1
00001f4f: DUP2
00001f50: MSTORE
00001f51: PUSH1 0x20
00001f53: ADD
00001f54: PUSH1 0x00
00001f56: KECCAK256
00001f57: SLOAD
00001f58: SWAP1
00001f59: POP
00001f5a: PUSH1 0x00
00001f5c: DUP2
00001f5d: GT
00001f5e: ISZERO
00001f5f: PUSH2 0x1f6c
00001f62: JUMPI
00001f63: PUSH2 0x1f6b
00001f66: DUP2
00001f67: PUSH2 0x1c97
00001f6a: JUMP
00001f6b: JUMPDEST
00001f6c: JUMPDEST
00001f6d: PUSH2 0x1f74
00001f70: PUSH2 0x1216
00001f73: JUMP
00001f74: JUMPDEST
00001f75: POP
00001f76: POP
00001f77: JUMP
00001f78: JUMPDEST
00001f79: PUSH1 0x00
00001f7b: PUSH2 0x1f86
00001f7e: PUSH1 0x07
00001f80: SLOAD
00001f81: CALLVALUE
00001f82: PUSH2 0x22c9
00001f85: JUMP
00001f86: JUMPDEST
00001f87: PUSH1 0x07
00001f89: DUP2
00001f8a: SWAP1
00001f8b: SSTORE
00001f8c: POP
00001f8d: PUSH2 0x1fd5
00001f90: PUSH1 0x10
00001f92: PUSH1 0x00
00001f94: CALLER
00001f95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001faa: AND
00001fab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fc0: AND
00001fc1: DUP2
00001fc2: MSTORE
00001fc3: PUSH1 0x20
00001fc5: ADD
00001fc6: SWAP1
00001fc7: DUP2
00001fc8: MSTORE
00001fc9: PUSH1 0x20
00001fcb: ADD
00001fcc: PUSH1 0x00
00001fce: KECCAK256
00001fcf: SLOAD
00001fd0: CALLVALUE
00001fd1: PUSH2 0x22c9
00001fd4: JUMP
00001fd5: JUMPDEST
00001fd6: PUSH1 0x10
00001fd8: PUSH1 0x00
00001fda: CALLER
00001fdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff0: AND
00001ff1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002006: AND
00002007: DUP2
00002008: MSTORE
00002009: PUSH1 0x20
0000200b: ADD
0000200c: SWAP1
0000200d: DUP2
0000200e: MSTORE
0000200f: PUSH1 0x20
00002011: ADD
00002012: PUSH1 0x00
00002014: KECCAK256
00002015: DUP2
00002016: SWAP1
00002017: SSTORE
00002018: POP
00002019: PUSH1 0x00
0000201b: ISZERO
0000201c: ISZERO
0000201d: PUSH1 0x0f
0000201f: PUSH1 0x00
00002021: CALLER
00002022: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002037: AND
00002038: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000204d: AND
0000204e: DUP2
0000204f: MSTORE
00002050: PUSH1 0x20
00002052: ADD
00002053: SWAP1
00002054: DUP2
00002055: MSTORE
00002056: PUSH1 0x20
00002058: ADD
00002059: PUSH1 0x00
0000205b: KECCAK256
0000205c: PUSH1 0x00
0000205e: SWAP1
0000205f: SLOAD
00002060: SWAP1
00002061: PUSH2 0x0100
00002064: EXP
00002065: SWAP1
00002066: DIV
00002067: PUSH1 0xff
00002069: AND
0000206a: ISZERO
0000206b: ISZERO
0000206c: EQ
0000206d: ISZERO
0000206e: PUSH2 0x20d6
00002071: JUMPI
00002072: PUSH1 0x01
00002074: PUSH1 0x06
00002076: SLOAD
00002077: ADD
00002078: PUSH1 0x06
0000207a: DUP2
0000207b: SWAP1
0000207c: SSTORE
0000207d: POP
0000207e: PUSH1 0x01
00002080: PUSH1 0x0f
00002082: PUSH1 0x00
00002084: CALLER
00002085: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000209a: AND
0000209b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020b0: AND
000020b1: DUP2
000020b2: MSTORE
000020b3: PUSH1 0x20
000020b5: ADD
000020b6: SWAP1
000020b7: DUP2
000020b8: MSTORE
000020b9: PUSH1 0x20
000020bb: ADD
000020bc: PUSH1 0x00
000020be: KECCAK256
000020bf: PUSH1 0x00
000020c1: PUSH2 0x0100
000020c4: EXP
000020c5: DUP2
000020c6: SLOAD
000020c7: DUP2
000020c8: PUSH1 0xff
000020ca: MUL
000020cb: NOT
000020cc: AND
000020cd: SWAP1
000020ce: DUP4
000020cf: ISZERO
000020d0: ISZERO
000020d1: MUL
000020d2: OR
000020d3: SWAP1
000020d4: SSTORE
000020d5: POP
000020d6: JUMPDEST
000020d7: PUSH2 0x20e0
000020da: CALLVALUE
000020db: DUP4
000020dc: PUSH2 0x09f4
000020df: JUMP
000020e0: JUMPDEST
000020e1: POP
000020e2: SWAP2
000020e3: SWAP1
000020e4: POP
000020e5: JUMP
000020e6: JUMPDEST
000020e7: PUSH1 0x00
000020e9: DUP1
000020ea: PUSH1 0x00
000020ec: DUP1
000020ed: PUSH2 0x20f6
000020f0: PUSH1 0x01
000020f2: PUSH2 0x14ba
000020f5: JUMP
000020f6: JUMPDEST
000020f7: GT
000020f8: ISZERO
000020f9: ISZERO
000020fa: PUSH2 0x2102
000020fd: JUMPI
000020fe: PUSH1 0x00
00002100: DUP1
00002101: REVERT
00002102: JUMPDEST
00002103: PUSH2 0x210c
00002106: PUSH1 0x00
00002108: PUSH2 0x14ba
0000210b: JUMP
0000210c: JUMPDEST
0000210d: SWAP3
0000210e: POP
0000210f: CALLER
00002110: SWAP2
00002111: POP
00002112: PUSH9 0x010000000000000000
0000211c: DUP4
0000211d: MUL
0000211e: PUSH1 0x0e
00002120: PUSH1 0x00
00002122: DUP5
00002123: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002138: AND
00002139: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000214e: AND
0000214f: DUP2
00002150: MSTORE
00002151: PUSH1 0x20
00002153: ADD
00002154: SWAP1
00002155: DUP2
00002156: MSTORE
00002157: PUSH1 0x20
00002159: ADD
0000215a: PUSH1 0x00
0000215c: KECCAK256
0000215d: PUSH1 0x00
0000215f: DUP3
00002160: DUP3
00002161: SLOAD
00002162: ADD
00002163: SWAP3
00002164: POP
00002165: POP
00002166: DUP2
00002167: SWAP1
00002168: SSTORE
00002169: POP
0000216a: PUSH1 0x0d
0000216c: PUSH1 0x00
0000216e: DUP4
0000216f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002184: AND
00002185: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000219a: AND
0000219b: DUP2
0000219c: MSTORE
0000219d: PUSH1 0x20
0000219f: ADD
000021a0: SWAP1
000021a1: DUP2
000021a2: MSTORE
000021a3: PUSH1 0x20
000021a5: ADD
000021a6: PUSH1 0x00
000021a8: KECCAK256
000021a9: SLOAD
000021aa: DUP4
000021ab: ADD
000021ac: SWAP3
000021ad: POP
000021ae: PUSH1 0x00
000021b0: PUSH1 0x0d
000021b2: PUSH1 0x00
000021b4: DUP5
000021b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ca: AND
000021cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021e0: AND
000021e1: DUP2
000021e2: MSTORE
000021e3: PUSH1 0x20
000021e5: ADD
000021e6: SWAP1
000021e7: DUP2
000021e8: MSTORE
000021e9: PUSH1 0x20
000021eb: ADD
000021ec: PUSH1 0x00
000021ee: KECCAK256
000021ef: DUP2
000021f0: SWAP1
000021f1: SSTORE
000021f2: POP
000021f3: PUSH2 0x21fd
000021f6: DUP4
000021f7: PUSH1 0x00
000021f9: PUSH2 0x09f4
000021fc: JUMP
000021fd: JUMPDEST
000021fe: SWAP1
000021ff: POP
00002200: DUP2
00002201: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002216: AND
00002217: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
00002238: DUP5
00002239: DUP4
0000223a: PUSH1 0x40
0000223c: MLOAD
0000223d: DUP1
0000223e: DUP4
0000223f: DUP2
00002240: MSTORE
00002241: PUSH1 0x20
00002243: ADD
00002244: DUP3
00002245: DUP2
00002246: MSTORE
00002247: PUSH1 0x20
00002249: ADD
0000224a: SWAP3
0000224b: POP
0000224c: POP
0000224d: POP
0000224e: PUSH1 0x40
00002250: MLOAD
00002251: DUP1
00002252: SWAP2
00002253: SUB
00002254: SWAP1
00002255: LOG2
00002256: POP
00002257: POP
00002258: POP
00002259: JUMP
0000225a: JUMPDEST
0000225b: PUSH1 0x00
0000225d: DUP1
0000225e: PUSH1 0x00
00002260: DUP5
00002261: EQ
00002262: ISZERO
00002263: PUSH2 0x226f
00002266: JUMPI
00002267: PUSH1 0x00
00002269: SWAP2
0000226a: POP
0000226b: PUSH2 0x228e
0000226e: JUMP
0000226f: JUMPDEST
00002270: DUP3
00002271: DUP5
00002272: MUL
00002273: SWAP1
00002274: POP
00002275: DUP3
00002276: DUP5
00002277: DUP3
00002278: DUP2
00002279: ISZERO
0000227a: ISZERO
0000227b: PUSH2 0x2280
0000227e: JUMPI
0000227f: INVALID
00002280: JUMPDEST
00002281: DIV
00002282: EQ
00002283: ISZERO
00002284: ISZERO
00002285: PUSH2 0x228a
00002288: JUMPI
00002289: INVALID
0000228a: JUMPDEST
0000228b: DUP1
0000228c: SWAP2
0000228d: POP
0000228e: JUMPDEST
0000228f: POP
00002290: SWAP3
00002291: SWAP2
00002292: POP
00002293: POP
00002294: JUMP
00002295: JUMPDEST
00002296: PUSH1 0x00
00002298: DUP1
00002299: DUP3
0000229a: DUP5
0000229b: DUP2
0000229c: ISZERO
0000229d: ISZERO
0000229e: PUSH2 0x22a3
000022a1: JUMPI
000022a2: INVALID
000022a3: JUMPDEST
000022a4: DIV
000022a5: SWAP1
000022a6: POP
000022a7: DUP1
000022a8: SWAP2
000022a9: POP
000022aa: POP
000022ab: SWAP3
000022ac: SWAP2
000022ad: POP
000022ae: POP
000022af: JUMP
000022b0: JUMPDEST
000022b1: PUSH1 0x00
000022b3: DUP3
000022b4: DUP3
000022b5: GT
000022b6: ISZERO
000022b7: ISZERO
000022b8: ISZERO
000022b9: PUSH2 0x22be
000022bc: JUMPI
000022bd: INVALID
000022be: JUMPDEST
000022bf: DUP2
000022c0: DUP4
000022c1: SUB
000022c2: SWAP1
000022c3: POP
000022c4: SWAP3
000022c5: SWAP2
000022c6: POP
000022c7: POP
000022c8: JUMP
000022c9: JUMPDEST
000022ca: PUSH1 0x00
000022cc: DUP1
000022cd: DUP3
000022ce: DUP5
000022cf: ADD
000022d0: SWAP1
000022d1: POP
000022d2: DUP4
000022d3: DUP2
000022d4: LT
000022d5: ISZERO
000022d6: ISZERO
000022d7: ISZERO
000022d8: PUSH2 0x22dd
000022db: JUMPI
000022dc: INVALID
000022dd: JUMPDEST
000022de: DUP1
000022df: SWAP2
000022e0: POP
000022e1: POP
000022e2: SWAP3
000022e3: SWAP2
000022e4: POP
000022e5: POP
000022e6: JUMP
000022e7: JUMPDEST
000022e8: PUSH1 0x00
000022ea: DUP1
000022eb: PUSH1 0x00
000022ed: PUSH8 0x0de0b6b3a7640000
000022f6: PUSH5 0x174876e800
000022fc: MUL
000022fd: SWAP2
000022fe: POP
000022ff: PUSH1 0x02
00002301: SLOAD
00002302: PUSH5 0x02540be400
00002308: PUSH2 0x235c
0000230b: PUSH2 0x2356
0000230e: PUSH1 0x02
00002310: SLOAD
00002311: DUP7
00002312: PUSH5 0x02540be400
00002318: PUSH1 0x02
0000231a: MUL
0000231b: MUL
0000231c: MUL
0000231d: PUSH1 0x02
0000231f: DUP1
00002320: SLOAD
00002321: EXP
00002322: PUSH1 0x02
00002324: PUSH5 0x02540be400
0000232a: EXP
0000232b: MUL
0000232c: PUSH8 0x0de0b6b3a7640000
00002335: DUP11
00002336: MUL
00002337: PUSH8 0x0de0b6b3a7640000
00002340: PUSH5 0x02540be400
00002346: MUL
00002347: PUSH1 0x02
00002349: MUL
0000234a: MUL
0000234b: PUSH1 0x02
0000234d: DUP10
0000234e: EXP
0000234f: ADD
00002350: ADD
00002351: ADD
00002352: PUSH2 0x241e
00002355: JUMP
00002356: JUMPDEST
00002357: DUP6
00002358: PUSH2 0x22b0
0000235b: JUMP
0000235c: JUMPDEST
0000235d: DUP2
0000235e: ISZERO
0000235f: ISZERO
00002360: PUSH2 0x2365
00002363: JUMPI
00002364: INVALID
00002365: JUMPDEST
00002366: DIV
00002367: SUB
00002368: SWAP1
00002369: POP
0000236a: DUP1
0000236b: SWAP3
0000236c: POP
0000236d: POP
0000236e: POP
0000236f: SWAP2
00002370: SWAP1
00002371: POP
00002372: JUMP
00002373: JUMPDEST
00002374: PUSH1 0x00
00002376: DUP1
00002377: PUSH1 0x00
00002379: DUP1
0000237a: PUSH8 0x0de0b6b3a7640000
00002383: DUP6
00002384: ADD
00002385: SWAP3
00002386: POP
00002387: PUSH8 0x0de0b6b3a7640000
00002390: PUSH1 0x02
00002392: SLOAD
00002393: ADD
00002394: SWAP2
00002395: POP
00002396: PUSH8 0x0de0b6b3a7640000
0000239f: PUSH2 0x2407
000023a2: PUSH8 0x0de0b6b3a7640000
000023ab: DUP6
000023ac: SUB
000023ad: PUSH5 0x02540be400
000023b3: PUSH8 0x0de0b6b3a7640000
000023bc: DUP7
000023bd: DUP2
000023be: ISZERO
000023bf: ISZERO
000023c0: PUSH2 0x23c5
000023c3: JUMPI
000023c4: INVALID
000023c5: JUMPDEST
000023c6: DIV
000023c7: PUSH5 0x02540be400
000023cd: MUL
000023ce: PUSH5 0x174876e800
000023d4: ADD
000023d5: SUB
000023d6: MUL
000023d7: PUSH1 0x02
000023d9: PUSH8 0x0de0b6b3a7640000
000023e2: DUP8
000023e3: PUSH1 0x02
000023e5: DUP10
000023e6: EXP
000023e7: SUB
000023e8: DUP2
000023e9: ISZERO
000023ea: ISZERO
000023eb: PUSH2 0x23f0
000023ee: JUMPI
000023ef: INVALID
000023f0: JUMPDEST
000023f1: DIV
000023f2: PUSH5 0x02540be400
000023f8: MUL
000023f9: DUP2
000023fa: ISZERO
000023fb: ISZERO
000023fc: PUSH2 0x2401
000023ff: JUMPI
00002400: INVALID
00002401: JUMPDEST
00002402: DIV
00002403: PUSH2 0x22b0
00002406: JUMP
00002407: JUMPDEST
00002408: DUP2
00002409: ISZERO
0000240a: ISZERO
0000240b: PUSH2 0x2410
0000240e: JUMPI
0000240f: INVALID
00002410: JUMPDEST
00002411: DIV
00002412: SWAP1
00002413: POP
00002414: DUP1
00002415: SWAP4
00002416: POP
00002417: POP
00002418: POP
00002419: POP
0000241a: SWAP2
0000241b: SWAP1
0000241c: POP
0000241d: JUMP
0000241e: JUMPDEST
0000241f: PUSH1 0x00
00002421: DUP1
00002422: PUSH1 0x02
00002424: PUSH1 0x01
00002426: DUP5
00002427: ADD
00002428: DUP2
00002429: ISZERO
0000242a: ISZERO
0000242b: PUSH2 0x2430
0000242e: JUMPI
0000242f: INVALID
00002430: JUMPDEST
00002431: DIV
00002432: SWAP1
00002433: POP
00002434: DUP3
00002435: SWAP2
00002436: POP
00002437: JUMPDEST
00002438: DUP2
00002439: DUP2
0000243a: LT
0000243b: ISZERO
0000243c: PUSH2 0x2463
0000243f: JUMPI
00002440: DUP1
00002441: SWAP2
00002442: POP
00002443: PUSH1 0x02
00002445: DUP2
00002446: DUP3
00002447: DUP6
00002448: DUP2
00002449: ISZERO
0000244a: ISZERO
0000244b: PUSH2 0x2450
0000244e: JUMPI
0000244f: INVALID
00002450: JUMPDEST
00002451: DIV
00002452: ADD
00002453: DUP2
00002454: ISZERO
00002455: ISZERO
00002456: PUSH2 0x245b
00002459: JUMPI
0000245a: INVALID
0000245b: JUMPDEST
0000245c: DIV
0000245d: SWAP1
0000245e: POP
0000245f: PUSH2 0x2437
00002462: JUMP
00002463: JUMPDEST
00002464: POP
00002465: SWAP2
00002466: SWAP1
00002467: POP
00002468: JUMP
00002469: STOP
0000246a: LOG1
0000246b: PUSH6 0x627a7a723058
00002472: KECCAK256
00002473: UNKNOWN(0xE0)
00002474: POP
00002475: UNKNOWN(0xCD)
00002476: UNKNOWN(0xAE)
00002477: MULMOD
00002478: UNKNOWN(0xEB)
00002479: UNKNOWN(0xDC)
0000247a: DUP11
0000247b: ADDMOD
0000247c: UNKNOWN(0xB4)
0000247d: MSTORE
0000247e: DUP3
0000247f: MCOPY
00002480: MOD
00002481: PUSH16 0xbf2bb9cf2511cdc42ae4f432de6bb59c
00002492: UNKNOWN(0xD1)
00002493: STOP
00002494: UNKNOWN(0x29)
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xc5f1caf0a687058fd72c7e42bf5697b07c7b9fa1000bb0dfda91df5988b53042 call_targets: 0x3a49b919434abf8f602a3dfd7c738f54b9ddf57c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xc5f1caf0a687058fd72c7e42bf5697b07c7b9fa1000bb0dfda91df5988b53042", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3a49b919434abf8f602a3dfd7c738f54b9ddf57c" ], "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": "0x02be5421", "selector": "0x02be5421", "calldata_variants": [ "0x02be5421", "0x02be54210000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0829ca90", "selector": "0x0829ca90", "calldata_variants": [ "0x0829ca90", "0x0829ca900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1cf1f4ba", "selector": "0x1cf1f4ba", "calldata_variants": [ "0x1cf1f4ba", "0x1cf1f4ba0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5085, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7272, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [ { "pc": 2643, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5582, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5814, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6154, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7143, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xc5f1caf0a687058fd72c7e42bf5697b07c7b9fa1000bb0dfda91df5988b53042 call_targets: 0x3a49b919434abf8f602a3dfd7c738f54b9ddf57c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xc5f1caf0a687058fd72c7e42bf5697b07c7b9fa1000bb0dfda91df5988b53042", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3a49b919434abf8f602a3dfd7c738f54b9ddf57c" ], "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": "0x02be5421", "selector": "0x02be5421", "calldata_variants": [ "0x02be5421", "0x02be54210000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0829ca90", "selector": "0x0829ca90", "calldata_variants": [ "0x0829ca90", "0x0829ca900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1cf1f4ba", "selector": "0x1cf1f4ba", "calldata_variants": [ "0x1cf1f4ba", "0x1cf1f4ba0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5085, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7272, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [ { "pc": 2643, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5582, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5814, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6154, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7143, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 2 }
Severity