Analysis Run

019b477e-b6b8-72ac-8a28-a7564bf13810
complete
Chain ID
1
Address
0xa4dce3845cb88a6fca0291d4eca9e5a96e75e2b4
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

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

Status & attempts
ID	Type	Status	Attempts	Heartbeat
23157	artifact.fetch	complete	1 / 3	3 months ago
23158	tool.cast_disasm	complete	1 / 3	3 months ago
66566	analysis.bundle	complete	1 / 3	1 week ago
66567	capability.graph	complete	1 / 3	1 week ago
66568	detector.run	complete	1 / 3	1 week ago
66569	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
1
CALL-family (heavy)
1
EXT*/BALANCE
1
Total opcodes
4371
Flags
create_opcodes_present
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x019f
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH3 0x65318b
00000039: DUP2
0000003a: EQ
0000003b: PUSH2 0x01bc
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x041f8320
00000045: EQ
00000046: PUSH2 0x01ed
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x06fdde03
00000050: EQ
00000051: PUSH2 0x0219
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x10d0ffdd
0000005b: EQ
0000005c: PUSH2 0x02a3
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x18160ddd
00000066: EQ
00000067: PUSH2 0x02b9
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x22609373
00000071: EQ
00000072: PUSH2 0x02cc
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x313ce567
0000007c: EQ
0000007d: PUSH2 0x02e2
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x3818c83c
00000087: EQ
00000088: PUSH2 0x030b
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x3ccfd60b
00000092: EQ
00000093: PUSH2 0x031e
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x3dce373e
0000009d: EQ
0000009e: PUSH2 0x0331
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0x416c0e21
000000a8: EQ
000000a9: PUSH2 0x0344
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0x4b750334
000000b3: EQ
000000b4: PUSH2 0x0357
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0x56d399e8
000000be: EQ
000000bf: PUSH2 0x036a
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0x688abbf7
000000c9: EQ
000000ca: PUSH2 0x037d
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0x6b2f4632
000000d4: EQ
000000d5: PUSH2 0x0395
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0x70a08231
000000df: EQ
000000e0: PUSH2 0x03a8
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0x74475319
000000ea: EQ
000000eb: PUSH2 0x03c7
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0x8328b610
000000f5: EQ
000000f6: PUSH2 0x03da
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0x8620410b
00000100: EQ
00000101: PUSH2 0x03f0
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x8f32d59b
0000010b: EQ
0000010c: PUSH2 0x0403
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x949e8acd
00000116: EQ
00000117: PUSH2 0x042a
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x95d89b41
00000121: EQ
00000122: PUSH2 0x043d
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x96348e5e
0000012c: EQ
0000012d: PUSH2 0x0450
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x997664d7
00000137: EQ
00000138: PUSH2 0x0463
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0xa8e04f34
00000142: EQ
00000143: PUSH2 0x0476
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0xa9059cbb
0000014d: EQ
0000014e: PUSH2 0x0489
00000151: JUMPI
00000152: DUP1
00000153: PUSH4 0xc9c6b556
00000158: EQ
00000159: PUSH2 0x04ab
0000015c: JUMPI
0000015d: DUP1
0000015e: PUSH4 0xd8edeb1b
00000163: EQ
00000164: PUSH2 0x0512
00000167: JUMPI
00000168: DUP1
00000169: PUSH4 0xdfb0886b
0000016e: EQ
0000016f: PUSH2 0x0525
00000172: JUMPI
00000173: DUP1
00000174: PUSH4 0xe4849b32
00000179: EQ
0000017a: PUSH2 0x0538
0000017d: JUMPI
0000017e: DUP1
0000017f: PUSH4 0xe9fad8ee
00000184: EQ
00000185: PUSH2 0x054e
00000188: JUMPI
00000189: DUP1
0000018a: PUSH4 0xf088d547
0000018f: EQ
00000190: PUSH2 0x0561
00000193: JUMPI
00000194: DUP1
00000195: PUSH4 0xfdb5a03e
0000019a: EQ
0000019b: PUSH2 0x0575
0000019e: JUMPI
0000019f: JUMPDEST
000001a0: PUSH2 0x01ab
000001a3: PUSH1 0x06
000001a5: SLOAD
000001a6: CALLVALUE
000001a7: PUSH2 0x0588
000001aa: JUMP
000001ab: JUMPDEST
000001ac: PUSH1 0x06
000001ae: SSTORE
000001af: PUSH2 0x01b9
000001b2: CALLVALUE
000001b3: PUSH1 0x00
000001b5: PUSH2 0x05a2
000001b8: JUMP
000001b9: JUMPDEST
000001ba: POP
000001bb: STOP
000001bc: JUMPDEST
000001bd: CALLVALUE
000001be: ISZERO
000001bf: PUSH2 0x01c7
000001c2: JUMPI
000001c3: PUSH1 0x00
000001c5: DUP1
000001c6: REVERT
000001c7: JUMPDEST
000001c8: PUSH2 0x01db
000001cb: PUSH1 0x01
000001cd: PUSH1 0xa0
000001cf: PUSH1 0x02
000001d1: EXP
000001d2: SUB
000001d3: PUSH1 0x04
000001d5: CALLDATALOAD
000001d6: AND
000001d7: PUSH2 0x0870
000001da: JUMP
000001db: JUMPDEST
000001dc: PUSH1 0x40
000001de: MLOAD
000001df: SWAP1
000001e0: DUP2
000001e1: MSTORE
000001e2: PUSH1 0x20
000001e4: ADD
000001e5: PUSH1 0x40
000001e7: MLOAD
000001e8: DUP1
000001e9: SWAP2
000001ea: SUB
000001eb: SWAP1
000001ec: RETURN
000001ed: JUMPDEST
000001ee: CALLVALUE
000001ef: ISZERO
000001f0: PUSH2 0x01f8
000001f3: JUMPI
000001f4: PUSH1 0x00
000001f6: DUP1
000001f7: REVERT
000001f8: JUMPDEST
000001f9: PUSH2 0x0217
000001fc: PUSH1 0x01
000001fe: PUSH1 0xa0
00000200: PUSH1 0x02
00000202: EXP
00000203: SUB
00000204: PUSH1 0x04
00000206: CALLDATALOAD
00000207: AND
00000208: PUSH1 0x24
0000020a: CALLDATALOAD
0000020b: ISZERO
0000020c: ISZERO
0000020d: PUSH1 0xff
0000020f: PUSH1 0x44
00000211: CALLDATALOAD
00000212: AND
00000213: PUSH2 0x08ab
00000216: JUMP
00000217: JUMPDEST
00000218: STOP
00000219: JUMPDEST
0000021a: CALLVALUE
0000021b: ISZERO
0000021c: PUSH2 0x0224
0000021f: JUMPI
00000220: PUSH1 0x00
00000222: DUP1
00000223: REVERT
00000224: JUMPDEST
00000225: PUSH2 0x022c
00000228: PUSH2 0x08f7
0000022b: JUMP
0000022c: JUMPDEST
0000022d: PUSH1 0x40
0000022f: MLOAD
00000230: PUSH1 0x20
00000232: DUP1
00000233: DUP3
00000234: MSTORE
00000235: DUP2
00000236: SWAP1
00000237: DUP2
00000238: ADD
00000239: DUP4
0000023a: DUP2
0000023b: DUP2
0000023c: MLOAD
0000023d: DUP2
0000023e: MSTORE
0000023f: PUSH1 0x20
00000241: ADD
00000242: SWAP2
00000243: POP
00000244: DUP1
00000245: MLOAD
00000246: SWAP1
00000247: PUSH1 0x20
00000249: ADD
0000024a: SWAP1
0000024b: DUP1
0000024c: DUP4
0000024d: DUP4
0000024e: PUSH1 0x00
00000250: JUMPDEST
00000251: DUP4
00000252: DUP2
00000253: LT
00000254: ISZERO
00000255: PUSH2 0x0268
00000258: JUMPI
00000259: DUP1
0000025a: DUP3
0000025b: ADD
0000025c: MLOAD
0000025d: DUP4
0000025e: DUP3
0000025f: ADD
00000260: MSTORE
00000261: PUSH1 0x20
00000263: ADD
00000264: PUSH2 0x0250
00000267: JUMP
00000268: JUMPDEST
00000269: POP
0000026a: POP
0000026b: POP
0000026c: POP
0000026d: SWAP1
0000026e: POP
0000026f: SWAP1
00000270: DUP2
00000271: ADD
00000272: SWAP1
00000273: PUSH1 0x1f
00000275: AND
00000276: DUP1
00000277: ISZERO
00000278: PUSH2 0x0295
0000027b: JUMPI
0000027c: DUP1
0000027d: DUP3
0000027e: SUB
0000027f: DUP1
00000280: MLOAD
00000281: PUSH1 0x01
00000283: DUP4
00000284: PUSH1 0x20
00000286: SUB
00000287: PUSH2 0x0100
0000028a: EXP
0000028b: SUB
0000028c: NOT
0000028d: AND
0000028e: DUP2
0000028f: MSTORE
00000290: PUSH1 0x20
00000292: ADD
00000293: SWAP2
00000294: POP
00000295: JUMPDEST
00000296: POP
00000297: SWAP3
00000298: POP
00000299: POP
0000029a: POP
0000029b: PUSH1 0x40
0000029d: MLOAD
0000029e: DUP1
0000029f: SWAP2
000002a0: SUB
000002a1: SWAP1
000002a2: RETURN
000002a3: JUMPDEST
000002a4: CALLVALUE
000002a5: ISZERO
000002a6: PUSH2 0x02ae
000002a9: JUMPI
000002aa: PUSH1 0x00
000002ac: DUP1
000002ad: REVERT
000002ae: JUMPDEST
000002af: PUSH2 0x01db
000002b2: PUSH1 0x04
000002b4: CALLDATALOAD
000002b5: PUSH2 0x0995
000002b8: JUMP
000002b9: JUMPDEST
000002ba: CALLVALUE
000002bb: ISZERO
000002bc: PUSH2 0x02c4
000002bf: JUMPI
000002c0: PUSH1 0x00
000002c2: DUP1
000002c3: REVERT
000002c4: JUMPDEST
000002c5: PUSH2 0x01db
000002c8: PUSH2 0x09c5
000002cb: JUMP
000002cc: JUMPDEST
000002cd: CALLVALUE
000002ce: ISZERO
000002cf: PUSH2 0x02d7
000002d2: JUMPI
000002d3: PUSH1 0x00
000002d5: DUP1
000002d6: REVERT
000002d7: JUMPDEST
000002d8: PUSH2 0x01db
000002db: PUSH1 0x04
000002dd: CALLDATALOAD
000002de: PUSH2 0x09cb
000002e1: JUMP
000002e2: JUMPDEST
000002e3: CALLVALUE
000002e4: ISZERO
000002e5: PUSH2 0x02ed
000002e8: JUMPI
000002e9: PUSH1 0x00
000002eb: DUP1
000002ec: REVERT
000002ed: JUMPDEST
000002ee: PUSH2 0x02f5
000002f1: PUSH2 0x0a04
000002f4: JUMP
000002f5: JUMPDEST
000002f6: PUSH1 0x40
000002f8: MLOAD
000002f9: PUSH1 0xff
000002fb: SWAP1
000002fc: SWAP2
000002fd: AND
000002fe: DUP2
000002ff: MSTORE
00000300: PUSH1 0x20
00000302: ADD
00000303: PUSH1 0x40
00000305: MLOAD
00000306: DUP1
00000307: SWAP2
00000308: SUB
00000309: SWAP1
0000030a: RETURN
0000030b: JUMPDEST
0000030c: CALLVALUE
0000030d: ISZERO
0000030e: PUSH2 0x0316
00000311: JUMPI
00000312: PUSH1 0x00
00000314: DUP1
00000315: REVERT
00000316: JUMPDEST
00000317: PUSH2 0x01db
0000031a: PUSH2 0x0a09
0000031d: JUMP
0000031e: JUMPDEST
0000031f: CALLVALUE
00000320: ISZERO
00000321: PUSH2 0x0329
00000324: JUMPI
00000325: PUSH1 0x00
00000327: DUP1
00000328: REVERT
00000329: JUMPDEST
0000032a: PUSH2 0x0217
0000032d: PUSH2 0x0a0f
00000330: JUMP
00000331: JUMPDEST
00000332: CALLVALUE
00000333: ISZERO
00000334: PUSH2 0x033c
00000337: JUMPI
00000338: PUSH1 0x00
0000033a: DUP1
0000033b: REVERT
0000033c: JUMPDEST
0000033d: PUSH2 0x0217
00000340: PUSH2 0x0adb
00000343: JUMP
00000344: JUMPDEST
00000345: CALLVALUE
00000346: ISZERO
00000347: PUSH2 0x034f
0000034a: JUMPI
0000034b: PUSH1 0x00
0000034d: DUP1
0000034e: REVERT
0000034f: JUMPDEST
00000350: PUSH2 0x0217
00000353: PUSH2 0x0b10
00000356: JUMP
00000357: JUMPDEST
00000358: CALLVALUE
00000359: ISZERO
0000035a: PUSH2 0x0362
0000035d: JUMPI
0000035e: PUSH1 0x00
00000360: DUP1
00000361: REVERT
00000362: JUMPDEST
00000363: PUSH2 0x01db
00000366: PUSH2 0x0b5c
00000369: JUMP
0000036a: JUMPDEST
0000036b: CALLVALUE
0000036c: ISZERO
0000036d: PUSH2 0x0375
00000370: JUMPI
00000371: PUSH1 0x00
00000373: DUP1
00000374: REVERT
00000375: JUMPDEST
00000376: PUSH2 0x01db
00000379: PUSH2 0x0bb0
0000037c: JUMP
0000037d: JUMPDEST
0000037e: CALLVALUE
0000037f: ISZERO
00000380: PUSH2 0x0388
00000383: JUMPI
00000384: PUSH1 0x00
00000386: DUP1
00000387: REVERT
00000388: JUMPDEST
00000389: PUSH2 0x01db
0000038c: PUSH1 0x04
0000038e: CALLDATALOAD
0000038f: ISZERO
00000390: ISZERO
00000391: PUSH2 0x0bb6
00000394: JUMP
00000395: JUMPDEST
00000396: CALLVALUE
00000397: ISZERO
00000398: PUSH2 0x03a0
0000039b: JUMPI
0000039c: PUSH1 0x00
0000039e: DUP1
0000039f: REVERT
000003a0: JUMPDEST
000003a1: PUSH2 0x01db
000003a4: PUSH2 0x0bf9
000003a7: JUMP
000003a8: JUMPDEST
000003a9: CALLVALUE
000003aa: ISZERO
000003ab: PUSH2 0x03b3
000003ae: JUMPI
000003af: PUSH1 0x00
000003b1: DUP1
000003b2: REVERT
000003b3: JUMPDEST
000003b4: PUSH2 0x01db
000003b7: PUSH1 0x01
000003b9: PUSH1 0xa0
000003bb: PUSH1 0x02
000003bd: EXP
000003be: SUB
000003bf: PUSH1 0x04
000003c1: CALLDATALOAD
000003c2: AND
000003c3: PUSH2 0x0c07
000003c6: JUMP
000003c7: JUMPDEST
000003c8: CALLVALUE
000003c9: ISZERO
000003ca: PUSH2 0x03d2
000003cd: JUMPI
000003ce: PUSH1 0x00
000003d0: DUP1
000003d1: REVERT
000003d2: JUMPDEST
000003d3: PUSH2 0x01db
000003d6: PUSH2 0x0c22
000003d9: JUMP
000003da: JUMPDEST
000003db: CALLVALUE
000003dc: ISZERO
000003dd: PUSH2 0x03e5
000003e0: JUMPI
000003e1: PUSH1 0x00
000003e3: DUP1
000003e4: REVERT
000003e5: JUMPDEST
000003e6: PUSH2 0x0217
000003e9: PUSH1 0x04
000003eb: CALLDATALOAD
000003ec: PUSH2 0x0c28
000003ef: JUMP
000003f0: JUMPDEST
000003f1: CALLVALUE
000003f2: ISZERO
000003f3: PUSH2 0x03fb
000003f6: JUMPI
000003f7: PUSH1 0x00
000003f9: DUP1
000003fa: REVERT
000003fb: JUMPDEST
000003fc: PUSH2 0x01db
000003ff: PUSH2 0x0c48
00000402: JUMP
00000403: JUMPDEST
00000404: CALLVALUE
00000405: ISZERO
00000406: PUSH2 0x040e
00000409: JUMPI
0000040a: PUSH1 0x00
0000040c: DUP1
0000040d: REVERT
0000040e: JUMPDEST
0000040f: PUSH2 0x0416
00000412: PUSH2 0x0c90
00000415: JUMP
00000416: JUMPDEST
00000417: PUSH1 0x40
00000419: MLOAD
0000041a: SWAP1
0000041b: ISZERO
0000041c: ISZERO
0000041d: DUP2
0000041e: MSTORE
0000041f: PUSH1 0x20
00000421: ADD
00000422: PUSH1 0x40
00000424: MLOAD
00000425: DUP1
00000426: SWAP2
00000427: SUB
00000428: SWAP1
00000429: RETURN
0000042a: JUMPDEST
0000042b: CALLVALUE
0000042c: ISZERO
0000042d: PUSH2 0x0435
00000430: JUMPI
00000431: PUSH1 0x00
00000433: DUP1
00000434: REVERT
00000435: JUMPDEST
00000436: PUSH2 0x01db
00000439: PUSH2 0x0ca5
0000043c: JUMP
0000043d: JUMPDEST
0000043e: CALLVALUE
0000043f: ISZERO
00000440: PUSH2 0x0448
00000443: JUMPI
00000444: PUSH1 0x00
00000446: DUP1
00000447: REVERT
00000448: JUMPDEST
00000449: PUSH2 0x022c
0000044c: PUSH2 0x0cb7
0000044f: JUMP
00000450: JUMPDEST
00000451: CALLVALUE
00000452: ISZERO
00000453: PUSH2 0x045b
00000456: JUMPI
00000457: PUSH1 0x00
00000459: DUP1
0000045a: REVERT
0000045b: JUMPDEST
0000045c: PUSH2 0x0416
0000045f: PUSH2 0x0d22
00000462: JUMP
00000463: JUMPDEST
00000464: CALLVALUE
00000465: ISZERO
00000466: PUSH2 0x046e
00000469: JUMPI
0000046a: PUSH1 0x00
0000046c: DUP1
0000046d: REVERT
0000046e: JUMPDEST
0000046f: PUSH2 0x01db
00000472: PUSH2 0x0d2b
00000475: JUMP
00000476: JUMPDEST
00000477: CALLVALUE
00000478: ISZERO
00000479: PUSH2 0x0481
0000047c: JUMPI
0000047d: PUSH1 0x00
0000047f: DUP1
00000480: REVERT
00000481: JUMPDEST
00000482: PUSH2 0x0217
00000485: PUSH2 0x0d31
00000488: JUMP
00000489: JUMPDEST
0000048a: CALLVALUE
0000048b: ISZERO
0000048c: PUSH2 0x0494
0000048f: JUMPI
00000490: PUSH1 0x00
00000492: DUP1
00000493: REVERT
00000494: JUMPDEST
00000495: PUSH2 0x0416
00000498: PUSH1 0x01
0000049a: PUSH1 0xa0
0000049c: PUSH1 0x02
0000049e: EXP
0000049f: SUB
000004a0: PUSH1 0x04
000004a2: CALLDATALOAD
000004a3: AND
000004a4: PUSH1 0x24
000004a6: CALLDATALOAD
000004a7: PUSH2 0x0d58
000004aa: JUMP
000004ab: JUMPDEST
000004ac: CALLVALUE
000004ad: ISZERO
000004ae: PUSH2 0x04b6
000004b1: JUMPI
000004b2: PUSH1 0x00
000004b4: DUP1
000004b5: REVERT
000004b6: JUMPDEST
000004b7: PUSH2 0x04ca
000004ba: PUSH1 0x01
000004bc: PUSH1 0xa0
000004be: PUSH1 0x02
000004c0: EXP
000004c1: SUB
000004c2: PUSH1 0x04
000004c4: CALLDATALOAD
000004c5: AND
000004c6: PUSH2 0x0f20
000004c9: JUMP
000004ca: JUMPDEST
000004cb: PUSH1 0x40
000004cd: MLOAD
000004ce: PUSH1 0x01
000004d0: PUSH1 0xa0
000004d2: PUSH1 0x02
000004d4: EXP
000004d5: SUB
000004d6: SWAP1
000004d7: SWAP8
000004d8: AND
000004d9: DUP8
000004da: MSTORE
000004db: PUSH1 0x20
000004dd: DUP8
000004de: ADD
000004df: SWAP6
000004e0: SWAP1
000004e1: SWAP6
000004e2: MSTORE
000004e3: PUSH1 0x40
000004e5: DUP1
000004e6: DUP8
000004e7: ADD
000004e8: SWAP5
000004e9: SWAP1
000004ea: SWAP5
000004eb: MSTORE
000004ec: PUSH1 0x60
000004ee: DUP7
000004ef: ADD
000004f0: SWAP3
000004f1: SWAP1
000004f2: SWAP3
000004f3: MSTORE
000004f4: PUSH1 0x80
000004f6: DUP6
000004f7: ADD
000004f8: MSTORE
000004f9: PUSH1 0xa0
000004fb: DUP5
000004fc: ADD
000004fd: MSTORE
000004fe: PUSH1 0xc0
00000500: DUP4
00000501: ADD
00000502: SWAP2
00000503: SWAP1
00000504: SWAP2
00000505: MSTORE
00000506: PUSH1 0xe0
00000508: SWAP1
00000509: SWAP2
0000050a: ADD
0000050b: SWAP1
0000050c: MLOAD
0000050d: DUP1
0000050e: SWAP2
0000050f: SUB
00000510: SWAP1
00000511: RETURN
00000512: JUMPDEST
00000513: CALLVALUE
00000514: ISZERO
00000515: PUSH2 0x051d
00000518: JUMPI
00000519: PUSH1 0x00
0000051b: DUP1
0000051c: REVERT
0000051d: JUMPDEST
0000051e: PUSH2 0x0217
00000521: PUSH2 0x0f67
00000524: JUMP
00000525: JUMPDEST
00000526: CALLVALUE
00000527: ISZERO
00000528: PUSH2 0x0530
0000052b: JUMPI
0000052c: PUSH1 0x00
0000052e: DUP1
0000052f: REVERT
00000530: JUMPDEST
00000531: PUSH2 0x01db
00000534: PUSH2 0x0f79
00000537: JUMP
00000538: JUMPDEST
00000539: CALLVALUE
0000053a: ISZERO
0000053b: PUSH2 0x0543
0000053e: JUMPI
0000053f: PUSH1 0x00
00000541: DUP1
00000542: REVERT
00000543: JUMPDEST
00000544: PUSH2 0x0217
00000547: PUSH1 0x04
00000549: CALLDATALOAD
0000054a: PUSH2 0x0f7f
0000054d: JUMP
0000054e: JUMPDEST
0000054f: CALLVALUE
00000550: ISZERO
00000551: PUSH2 0x0559
00000554: JUMPI
00000555: PUSH1 0x00
00000557: DUP1
00000558: REVERT
00000559: JUMPDEST
0000055a: PUSH2 0x0217
0000055d: PUSH2 0x1132
00000560: JUMP
00000561: JUMPDEST
00000562: PUSH2 0x01db
00000565: PUSH1 0x01
00000567: PUSH1 0xa0
00000569: PUSH1 0x02
0000056b: EXP
0000056c: SUB
0000056d: PUSH1 0x04
0000056f: CALLDATALOAD
00000570: AND
00000571: PUSH2 0x1165
00000574: JUMP
00000575: JUMPDEST
00000576: CALLVALUE
00000577: ISZERO
00000578: PUSH2 0x0580
0000057b: JUMPI
0000057c: PUSH1 0x00
0000057e: DUP1
0000057f: REVERT
00000580: JUMPDEST
00000581: PUSH2 0x0217
00000584: PUSH2 0x1180
00000587: JUMP
00000588: JUMPDEST
00000589: PUSH1 0x00
0000058b: DUP3
0000058c: DUP3
0000058d: ADD
0000058e: DUP4
0000058f: DUP2
00000590: LT
00000591: ISZERO
00000592: PUSH2 0x0597
00000595: JUMPI
00000596: INVALID
00000597: JUMPDEST
00000598: DUP1
00000599: SWAP2
0000059a: POP
0000059b: JUMPDEST
0000059c: POP
0000059d: SWAP3
0000059e: SWAP2
0000059f: POP
000005a0: POP
000005a1: JUMP
000005a2: JUMPDEST
000005a3: PUSH1 0x00
000005a5: DUP1
000005a6: PUSH1 0x00
000005a8: DUP1
000005a9: PUSH1 0x00
000005ab: DUP1
000005ac: PUSH1 0x00
000005ae: DUP1
000005af: PUSH1 0x00
000005b1: DUP1
000005b2: DUP12
000005b3: PUSH1 0x10
000005b5: PUSH1 0x00
000005b7: SWAP1
000005b8: SLOAD
000005b9: SWAP1
000005ba: PUSH2 0x0100
000005bd: EXP
000005be: SWAP1
000005bf: DIV
000005c0: PUSH1 0xff
000005c2: AND
000005c3: ISZERO
000005c4: PUSH2 0x0632
000005c7: JUMPI
000005c8: PUSH1 0x01
000005ca: PUSH1 0xa0
000005cc: PUSH1 0x02
000005ce: EXP
000005cf: SUB
000005d0: CALLER
000005d1: AND
000005d2: PUSH1 0x00
000005d4: SWAP1
000005d5: DUP2
000005d6: MSTORE
000005d7: PUSH1 0x0e
000005d9: PUSH1 0x20
000005db: MSTORE
000005dc: PUSH1 0x40
000005de: SWAP1
000005df: KECCAK256
000005e0: SLOAD
000005e1: PUSH1 0xff
000005e3: AND
000005e4: ISZERO
000005e5: ISZERO
000005e6: PUSH2 0x05ee
000005e9: JUMPI
000005ea: PUSH1 0x00
000005ec: DUP1
000005ed: REVERT
000005ee: JUMPDEST
000005ef: PUSH1 0x01
000005f1: PUSH1 0xa0
000005f3: PUSH1 0x02
000005f5: EXP
000005f6: SUB
000005f7: CALLER
000005f8: AND
000005f9: PUSH1 0x00
000005fb: SWAP1
000005fc: DUP2
000005fd: MSTORE
000005fe: PUSH1 0x0e
00000600: PUSH1 0x20
00000602: MSTORE
00000603: PUSH1 0x40
00000605: SWAP1
00000606: KECCAK256
00000607: DUP1
00000608: SLOAD
00000609: PUSH1 0xff
0000060b: NOT
0000060c: AND
0000060d: SWAP1
0000060e: SSTORE
0000060f: PUSH1 0x03
00000611: SLOAD
00000612: PUSH2 0x061c
00000615: SWAP1
00000616: PUSH1 0x01
00000618: PUSH2 0x1249
0000061b: JUMP
0000061c: JUMPDEST
0000061d: PUSH1 0x03
0000061f: DUP2
00000620: SWAP1
00000621: SSTORE
00000622: ISZERO
00000623: ISZERO
00000624: PUSH2 0x0632
00000627: JUMPI
00000628: PUSH1 0x10
0000062a: DUP1
0000062b: SLOAD
0000062c: PUSH1 0xff
0000062e: NOT
0000062f: AND
00000630: SWAP1
00000631: SSTORE
00000632: JUMPDEST
00000633: CALLER
00000634: SWAP10
00000635: POP
00000636: PUSH2 0x0640
00000639: DUP14
0000063a: PUSH1 0x03
0000063c: PUSH2 0x125b
0000063f: JUMP
00000640: JUMPDEST
00000641: SWAP9
00000642: POP
00000643: PUSH2 0x064d
00000646: DUP14
00000647: PUSH1 0x0a
00000649: PUSH2 0x125b
0000064c: JUMP
0000064d: JUMPDEST
0000064e: SWAP8
0000064f: POP
00000650: PUSH2 0x0659
00000653: DUP10
00000654: DUP10
00000655: PUSH2 0x1249
00000658: JUMP
00000659: JUMPDEST
0000065a: SWAP7
0000065b: POP
0000065c: PUSH2 0x0666
0000065f: DUP14
00000660: PUSH1 0x03
00000662: PUSH2 0x1272
00000665: JUMP
00000666: JUMPDEST
00000667: SWAP6
00000668: POP
00000669: PUSH2 0x0673
0000066c: DUP7
0000066d: PUSH1 0x64
0000066f: PUSH2 0x125b
00000672: JUMP
00000673: JUMPDEST
00000674: SWAP6
00000675: POP
00000676: PUSH2 0x067f
00000679: DUP8
0000067a: DUP8
0000067b: PUSH2 0x1249
0000067e: JUMP
0000067f: JUMPDEST
00000680: SWAP7
00000681: POP
00000682: PUSH2 0x068d
00000685: PUSH1 0x08
00000687: SLOAD
00000688: DUP8
00000689: PUSH2 0x0588
0000068c: JUMP
0000068d: JUMPDEST
0000068e: PUSH1 0x08
00000690: SSTORE
00000691: PUSH2 0x069a
00000694: DUP14
00000695: DUP11
00000696: PUSH2 0x1249
00000699: JUMP
0000069a: JUMPDEST
0000069b: SWAP5
0000069c: POP
0000069d: PUSH2 0x06a5
000006a0: DUP6
000006a1: PUSH2 0x129d
000006a4: JUMP
000006a5: JUMPDEST
000006a6: SWAP4
000006a7: POP
000006a8: PUSH9 0x010000000000000000
000006b2: DUP8
000006b3: MUL
000006b4: SWAP3
000006b5: POP
000006b6: PUSH2 0x06c1
000006b9: PUSH1 0x07
000006bb: SLOAD
000006bc: DUP11
000006bd: PUSH2 0x0588
000006c0: JUMP
000006c1: JUMPDEST
000006c2: PUSH1 0x07
000006c4: SSTORE
000006c5: PUSH1 0x01
000006c7: PUSH1 0xa0
000006c9: PUSH1 0x02
000006cb: EXP
000006cc: SUB
000006cd: CALLER
000006ce: DUP2
000006cf: AND
000006d0: PUSH1 0x00
000006d2: SWAP1
000006d3: DUP2
000006d4: MSTORE
000006d5: PUSH1 0x0f
000006d7: PUSH1 0x20
000006d9: MSTORE
000006da: PUSH1 0x40
000006dc: SWAP1
000006dd: KECCAK256
000006de: SLOAD
000006df: AND
000006e0: ISZERO
000006e1: ISZERO
000006e2: PUSH2 0x06ef
000006e5: JUMPI
000006e6: PUSH2 0x06ef
000006e9: CALLER
000006ea: DUP14
000006eb: PUSH2 0x133b
000006ee: JUMP
000006ef: JUMPDEST
000006f0: PUSH1 0x00
000006f2: DUP5
000006f3: GT
000006f4: DUP1
000006f5: ISZERO
000006f6: PUSH2 0x0709
000006f9: JUMPI
000006fa: POP
000006fb: PUSH1 0x02
000006fd: SLOAD
000006fe: PUSH2 0x0707
00000701: DUP6
00000702: DUP3
00000703: PUSH2 0x0588
00000706: JUMP
00000707: JUMPDEST
00000708: GT
00000709: JUMPDEST
0000070a: ISZERO
0000070b: ISZERO
0000070c: PUSH2 0x0714
0000070f: JUMPI
00000710: PUSH1 0x00
00000712: DUP1
00000713: REVERT
00000714: JUMPDEST
00000715: PUSH2 0x071f
00000718: CALLER
00000719: DUP10
0000071a: DUP16
0000071b: PUSH2 0x148b
0000071e: JUMP
0000071f: JUMPDEST
00000720: PUSH1 0x00
00000722: PUSH1 0x02
00000724: SLOAD
00000725: GT
00000726: ISZERO
00000727: PUSH2 0x0783
0000072a: JUMPI
0000072b: PUSH2 0x0736
0000072e: PUSH1 0x02
00000730: SLOAD
00000731: DUP6
00000732: PUSH2 0x0588
00000735: JUMP
00000736: JUMPDEST
00000737: PUSH1 0x02
00000739: DUP2
0000073a: SWAP1
0000073b: SSTORE
0000073c: PUSH9 0x010000000000000000
00000746: DUP9
00000747: MUL
00000748: DUP2
00000749: ISZERO
0000074a: ISZERO
0000074b: PUSH2 0x0750
0000074e: JUMPI
0000074f: INVALID
00000750: JUMPDEST
00000751: PUSH1 0x04
00000753: DUP1
00000754: SLOAD
00000755: SWAP3
00000756: SWAP1
00000757: SWAP2
00000758: DIV
00000759: SWAP1
0000075a: SWAP2
0000075b: ADD
0000075c: SWAP1
0000075d: SSTORE
0000075e: PUSH1 0x02
00000760: SLOAD
00000761: PUSH9 0x010000000000000000
0000076b: DUP9
0000076c: MUL
0000076d: DUP2
0000076e: ISZERO
0000076f: ISZERO
00000770: PUSH2 0x0775
00000773: JUMPI
00000774: INVALID
00000775: JUMPDEST
00000776: DIV
00000777: DUP5
00000778: MUL
00000779: DUP4
0000077a: SUB
0000077b: DUP4
0000077c: SUB
0000077d: SWAP3
0000077e: POP
0000077f: PUSH2 0x0789
00000782: JUMP
00000783: JUMPDEST
00000784: PUSH1 0x02
00000786: DUP5
00000787: SWAP1
00000788: SSTORE
00000789: JUMPDEST
0000078a: PUSH1 0x01
0000078c: PUSH1 0xa0
0000078e: PUSH1 0x02
00000790: EXP
00000791: SUB
00000792: DUP11
00000793: AND
00000794: PUSH1 0x00
00000796: SWAP1
00000797: DUP2
00000798: MSTORE
00000799: PUSH1 0x0b
0000079b: PUSH1 0x20
0000079d: MSTORE
0000079e: PUSH1 0x40
000007a0: SWAP1
000007a1: KECCAK256
000007a2: SLOAD
000007a3: PUSH2 0x07ac
000007a6: SWAP1
000007a7: DUP6
000007a8: PUSH2 0x0588
000007ab: JUMP
000007ac: JUMPDEST
000007ad: PUSH1 0x0b
000007af: PUSH1 0x00
000007b1: DUP13
000007b2: PUSH1 0x01
000007b4: PUSH1 0xa0
000007b6: PUSH1 0x02
000007b8: EXP
000007b9: SUB
000007ba: AND
000007bb: PUSH1 0x01
000007bd: PUSH1 0xa0
000007bf: PUSH1 0x02
000007c1: EXP
000007c2: SUB
000007c3: AND
000007c4: DUP2
000007c5: MSTORE
000007c6: PUSH1 0x20
000007c8: ADD
000007c9: SWAP1
000007ca: DUP2
000007cb: MSTORE
000007cc: PUSH1 0x20
000007ce: ADD
000007cf: PUSH1 0x00
000007d1: KECCAK256
000007d2: DUP2
000007d3: SWAP1
000007d4: SSTORE
000007d5: POP
000007d6: DUP3
000007d7: DUP5
000007d8: PUSH1 0x04
000007da: SLOAD
000007db: MUL
000007dc: SUB
000007dd: SWAP2
000007de: POP
000007df: DUP2
000007e0: PUSH1 0x0d
000007e2: PUSH1 0x00
000007e4: DUP13
000007e5: PUSH1 0x01
000007e7: PUSH1 0xa0
000007e9: PUSH1 0x02
000007eb: EXP
000007ec: SUB
000007ed: AND
000007ee: PUSH1 0x01
000007f0: PUSH1 0xa0
000007f2: PUSH1 0x02
000007f4: EXP
000007f5: SUB
000007f6: AND
000007f7: DUP2
000007f8: MSTORE
000007f9: PUSH1 0x20
000007fb: ADD
000007fc: SWAP1
000007fd: DUP2
000007fe: MSTORE
000007ff: PUSH1 0x20
00000801: ADD
00000802: PUSH1 0x00
00000804: KECCAK256
00000805: PUSH1 0x00
00000807: DUP3
00000808: DUP3
00000809: SLOAD
0000080a: ADD
0000080b: SWAP3
0000080c: POP
0000080d: POP
0000080e: DUP2
0000080f: SWAP1
00000810: SSTORE
00000811: POP
00000812: DUP12
00000813: PUSH1 0x01
00000815: PUSH1 0xa0
00000817: PUSH1 0x02
00000819: EXP
0000081a: SUB
0000081b: AND
0000081c: DUP11
0000081d: PUSH1 0x01
0000081f: PUSH1 0xa0
00000821: PUSH1 0x02
00000823: EXP
00000824: SUB
00000825: AND
00000826: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
00000847: DUP16
00000848: DUP8
00000849: PUSH1 0x40
0000084b: MLOAD
0000084c: SWAP2
0000084d: DUP3
0000084e: MSTORE
0000084f: PUSH1 0x20
00000851: DUP3
00000852: ADD
00000853: MSTORE
00000854: PUSH1 0x40
00000856: SWAP1
00000857: DUP2
00000858: ADD
00000859: SWAP1
0000085a: MLOAD
0000085b: DUP1
0000085c: SWAP2
0000085d: SUB
0000085e: SWAP1
0000085f: LOG3
00000860: POP
00000861: SWAP2
00000862: SWAP12
00000863: SWAP11
00000864: POP
00000865: POP
00000866: POP
00000867: POP
00000868: POP
00000869: POP
0000086a: POP
0000086b: POP
0000086c: POP
0000086d: POP
0000086e: POP
0000086f: JUMP
00000870: JUMPDEST
00000871: PUSH1 0x01
00000873: PUSH1 0xa0
00000875: PUSH1 0x02
00000877: EXP
00000878: SUB
00000879: AND
0000087a: PUSH1 0x00
0000087c: SWAP1
0000087d: DUP2
0000087e: MSTORE
0000087f: PUSH1 0x0d
00000881: PUSH1 0x20
00000883: SWAP1
00000884: DUP2
00000885: MSTORE
00000886: PUSH1 0x40
00000888: DUP1
00000889: DUP4
0000088a: KECCAK256
0000088b: SLOAD
0000088c: PUSH1 0x0b
0000088e: SWAP1
0000088f: SWAP3
00000890: MSTORE
00000891: SWAP1
00000892: SWAP2
00000893: KECCAK256
00000894: SLOAD
00000895: PUSH1 0x04
00000897: SLOAD
00000898: PUSH9 0x010000000000000000
000008a2: SWAP2
000008a3: MUL
000008a4: SWAP2
000008a5: SWAP1
000008a6: SWAP2
000008a7: SUB
000008a8: DIV
000008a9: SWAP1
000008aa: JUMP
000008ab: JUMPDEST
000008ac: PUSH1 0x0a
000008ae: SLOAD
000008af: CALLER
000008b0: PUSH1 0x01
000008b2: PUSH1 0xa0
000008b4: PUSH1 0x02
000008b6: EXP
000008b7: SUB
000008b8: SWAP1
000008b9: DUP2
000008ba: AND
000008bb: SWAP2
000008bc: AND
000008bd: EQ
000008be: PUSH2 0x08c6
000008c1: JUMPI
000008c2: PUSH1 0x00
000008c4: DUP1
000008c5: REVERT
000008c6: JUMPDEST
000008c7: PUSH1 0x01
000008c9: PUSH1 0xa0
000008cb: PUSH1 0x02
000008cd: EXP
000008ce: SUB
000008cf: SWAP3
000008d0: SWAP1
000008d1: SWAP3
000008d2: AND
000008d3: PUSH1 0x00
000008d5: SWAP1
000008d6: DUP2
000008d7: MSTORE
000008d8: PUSH1 0x0e
000008da: PUSH1 0x20
000008dc: MSTORE
000008dd: PUSH1 0x40
000008df: SWAP1
000008e0: KECCAK256
000008e1: DUP1
000008e2: SLOAD
000008e3: PUSH1 0xff
000008e5: NOT
000008e6: AND
000008e7: SWAP2
000008e8: ISZERO
000008e9: ISZERO
000008ea: SWAP2
000008eb: SWAP1
000008ec: SWAP2
000008ed: OR
000008ee: SWAP1
000008ef: SSTORE
000008f0: PUSH1 0xff
000008f2: AND
000008f3: PUSH1 0x03
000008f5: SSTORE
000008f6: JUMP
000008f7: JUMPDEST
000008f8: PUSH1 0x00
000008fa: DUP1
000008fb: SLOAD
000008fc: PUSH1 0x01
000008fe: DUP2
000008ff: PUSH1 0x01
00000901: AND
00000902: ISZERO
00000903: PUSH2 0x0100
00000906: MUL
00000907: SUB
00000908: AND
00000909: PUSH1 0x02
0000090b: SWAP1
0000090c: DIV
0000090d: DUP1
0000090e: PUSH1 0x1f
00000910: ADD
00000911: PUSH1 0x20
00000913: DUP1
00000914: SWAP2
00000915: DIV
00000916: MUL
00000917: PUSH1 0x20
00000919: ADD
0000091a: PUSH1 0x40
0000091c: MLOAD
0000091d: SWAP1
0000091e: DUP2
0000091f: ADD
00000920: PUSH1 0x40
00000922: MSTORE
00000923: DUP1
00000924: SWAP3
00000925: SWAP2
00000926: SWAP1
00000927: DUP2
00000928: DUP2
00000929: MSTORE
0000092a: PUSH1 0x20
0000092c: ADD
0000092d: DUP3
0000092e: DUP1
0000092f: SLOAD
00000930: PUSH1 0x01
00000932: DUP2
00000933: PUSH1 0x01
00000935: AND
00000936: ISZERO
00000937: PUSH2 0x0100
0000093a: MUL
0000093b: SUB
0000093c: AND
0000093d: PUSH1 0x02
0000093f: SWAP1
00000940: DIV
00000941: DUP1
00000942: ISZERO
00000943: PUSH2 0x098d
00000946: JUMPI
00000947: DUP1
00000948: PUSH1 0x1f
0000094a: LT
0000094b: PUSH2 0x0962
0000094e: JUMPI
0000094f: PUSH2 0x0100
00000952: DUP1
00000953: DUP4
00000954: SLOAD
00000955: DIV
00000956: MUL
00000957: DUP4
00000958: MSTORE
00000959: SWAP2
0000095a: PUSH1 0x20
0000095c: ADD
0000095d: SWAP2
0000095e: PUSH2 0x098d
00000961: JUMP
00000962: JUMPDEST
00000963: DUP3
00000964: ADD
00000965: SWAP2
00000966: SWAP1
00000967: PUSH1 0x00
00000969: MSTORE
0000096a: PUSH1 0x20
0000096c: PUSH1 0x00
0000096e: KECCAK256
0000096f: SWAP1
00000970: JUMPDEST
00000971: DUP2
00000972: SLOAD
00000973: DUP2
00000974: MSTORE
00000975: SWAP1
00000976: PUSH1 0x01
00000978: ADD
00000979: SWAP1
0000097a: PUSH1 0x20
0000097c: ADD
0000097d: DUP1
0000097e: DUP4
0000097f: GT
00000980: PUSH2 0x0970
00000983: JUMPI
00000984: DUP3
00000985: SWAP1
00000986: SUB
00000987: PUSH1 0x1f
00000989: AND
0000098a: DUP3
0000098b: ADD
0000098c: SWAP2
0000098d: JUMPDEST
0000098e: POP
0000098f: POP
00000990: POP
00000991: POP
00000992: POP
00000993: DUP2
00000994: JUMP
00000995: JUMPDEST
00000996: PUSH1 0x00
00000998: DUP1
00000999: DUP1
0000099a: DUP1
0000099b: PUSH2 0x09a5
0000099e: DUP6
0000099f: PUSH1 0x03
000009a1: PUSH2 0x125b
000009a4: JUMP
000009a5: JUMPDEST
000009a6: SWAP3
000009a7: POP
000009a8: PUSH2 0x09b1
000009ab: DUP6
000009ac: DUP5
000009ad: PUSH2 0x1249
000009b0: JUMP
000009b1: JUMPDEST
000009b2: SWAP2
000009b3: POP
000009b4: PUSH2 0x09bc
000009b7: DUP3
000009b8: PUSH2 0x129d
000009bb: JUMP
000009bc: JUMPDEST
000009bd: SWAP6
000009be: SWAP5
000009bf: POP
000009c0: POP
000009c1: POP
000009c2: POP
000009c3: POP
000009c4: JUMP
000009c5: JUMPDEST
000009c6: PUSH1 0x02
000009c8: SLOAD
000009c9: SWAP1
000009ca: JUMP
000009cb: JUMPDEST
000009cc: PUSH1 0x00
000009ce: DUP1
000009cf: PUSH1 0x00
000009d1: DUP1
000009d2: PUSH1 0x02
000009d4: SLOAD
000009d5: DUP6
000009d6: GT
000009d7: ISZERO
000009d8: ISZERO
000009d9: ISZERO
000009da: PUSH2 0x09e2
000009dd: JUMPI
000009de: PUSH1 0x00
000009e0: DUP1
000009e1: REVERT
000009e2: JUMPDEST
000009e3: PUSH2 0x09eb
000009e6: DUP6
000009e7: PUSH2 0x1776
000009ea: JUMP
000009eb: JUMPDEST
000009ec: SWAP3
000009ed: POP
000009ee: PUSH2 0x09f8
000009f1: DUP4
000009f2: PUSH1 0x03
000009f4: PUSH2 0x125b
000009f7: JUMP
000009f8: JUMPDEST
000009f9: SWAP2
000009fa: POP
000009fb: PUSH2 0x09bc
000009fe: DUP4
000009ff: DUP4
00000a00: PUSH2 0x1249
00000a03: JUMP
00000a04: JUMPDEST
00000a05: PUSH1 0x12
00000a07: DUP2
00000a08: JUMP
00000a09: JUMPDEST
00000a0a: PUSH1 0x08
00000a0c: SLOAD
00000a0d: DUP2
00000a0e: JUMP
00000a0f: JUMPDEST
00000a10: PUSH1 0x00
00000a12: DUP1
00000a13: PUSH1 0x00
00000a15: PUSH2 0x0a1e
00000a18: PUSH1 0x01
00000a1a: PUSH2 0x0bb6
00000a1d: JUMP
00000a1e: JUMPDEST
00000a1f: GT
00000a20: PUSH2 0x0a28
00000a23: JUMPI
00000a24: PUSH1 0x00
00000a26: DUP1
00000a27: REVERT
00000a28: JUMPDEST
00000a29: CALLER
00000a2a: SWAP2
00000a2b: POP
00000a2c: PUSH2 0x0a35
00000a2f: PUSH1 0x00
00000a31: PUSH2 0x0bb6
00000a34: JUMP
00000a35: JUMPDEST
00000a36: PUSH1 0x01
00000a38: PUSH1 0xa0
00000a3a: PUSH1 0x02
00000a3c: EXP
00000a3d: SUB
00000a3e: DUP4
00000a3f: AND
00000a40: PUSH1 0x00
00000a42: DUP2
00000a43: DUP2
00000a44: MSTORE
00000a45: PUSH1 0x0d
00000a47: PUSH1 0x20
00000a49: SWAP1
00000a4a: DUP2
00000a4b: MSTORE
00000a4c: PUSH1 0x40
00000a4e: DUP1
00000a4f: DUP4
00000a50: KECCAK256
00000a51: DUP1
00000a52: SLOAD
00000a53: PUSH9 0x010000000000000000
00000a5d: DUP8
00000a5e: MUL
00000a5f: ADD
00000a60: SWAP1
00000a61: SSTORE
00000a62: PUSH1 0x0c
00000a64: SWAP1
00000a65: SWAP2
00000a66: MSTORE
00000a67: DUP1
00000a68: DUP3
00000a69: KECCAK256
00000a6a: DUP1
00000a6b: SLOAD
00000a6c: SWAP3
00000a6d: SWAP1
00000a6e: SSTORE
00000a6f: SWAP3
00000a70: ADD
00000a71: SWAP3
00000a72: POP
00000a73: SWAP1
00000a74: DUP3
00000a75: ISZERO
00000a76: PUSH2 0x08fc
00000a79: MUL
00000a7a: SWAP1
00000a7b: DUP4
00000a7c: SWAP1
00000a7d: MLOAD
00000a7e: PUSH1 0x00
00000a80: PUSH1 0x40
00000a82: MLOAD
00000a83: DUP1
00000a84: DUP4
00000a85: SUB
00000a86: DUP2
00000a87: DUP6
00000a88: DUP9
00000a89: DUP9
00000a8a: CALL
00000a8b: SWAP4
00000a8c: POP
00000a8d: POP
00000a8e: POP
00000a8f: POP
00000a90: ISZERO
00000a91: ISZERO
00000a92: PUSH2 0x0a9a
00000a95: JUMPI
00000a96: PUSH1 0x00
00000a98: DUP1
00000a99: REVERT
00000a9a: JUMPDEST
00000a9b: DUP2
00000a9c: PUSH1 0x01
00000a9e: PUSH1 0xa0
00000aa0: PUSH1 0x02
00000aa2: EXP
00000aa3: SUB
00000aa4: AND
00000aa5: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
00000ac6: DUP3
00000ac7: PUSH1 0x40
00000ac9: MLOAD
00000aca: SWAP1
00000acb: DUP2
00000acc: MSTORE
00000acd: PUSH1 0x20
00000acf: ADD
00000ad0: PUSH1 0x40
00000ad2: MLOAD
00000ad3: DUP1
00000ad4: SWAP2
00000ad5: SUB
00000ad6: SWAP1
00000ad7: LOG2
00000ad8: POP
00000ad9: POP
00000ada: JUMP
00000adb: JUMPDEST
00000adc: PUSH1 0x0a
00000ade: DUP1
00000adf: SLOAD
00000ae0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af5: NOT
00000af6: AND
00000af7: PUSH20 0xee4207be83685c94640d2ffb0961f71c2fc4fc4f
00000b0c: OR
00000b0d: SWAP1
00000b0e: SSTORE
00000b0f: JUMP
00000b10: JUMPDEST
00000b11: PUSH1 0x0a
00000b13: SLOAD
00000b14: PUSH1 0x00
00000b16: SWAP1
00000b17: CALLER
00000b18: PUSH1 0x01
00000b1a: PUSH1 0xa0
00000b1c: PUSH1 0x02
00000b1e: EXP
00000b1f: SUB
00000b20: SWAP1
00000b21: DUP2
00000b22: AND
00000b23: SWAP2
00000b24: AND
00000b25: EQ
00000b26: PUSH2 0x0b2e
00000b29: JUMPI
00000b2a: PUSH1 0x00
00000b2c: DUP1
00000b2d: REVERT
00000b2e: JUMPDEST
00000b2f: PUSH1 0x08
00000b31: SLOAD
00000b32: PUSH2 0x0b3c
00000b35: SWAP1
00000b36: PUSH1 0x32
00000b38: PUSH2 0x125b
00000b3b: JUMP
00000b3c: JUMPDEST
00000b3d: SWAP1
00000b3e: POP
00000b3f: PUSH2 0x0b4a
00000b42: PUSH1 0x08
00000b44: SLOAD
00000b45: DUP3
00000b46: PUSH2 0x1249
00000b49: JUMP
00000b4a: JUMPDEST
00000b4b: PUSH1 0x08
00000b4d: SSTORE
00000b4e: PUSH2 0x0b58
00000b51: DUP2
00000b52: PUSH1 0x00
00000b54: PUSH2 0x17ef
00000b57: JUMP
00000b58: JUMPDEST
00000b59: POP
00000b5a: POP
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: PUSH1 0x00
00000b5f: DUP1
00000b60: PUSH1 0x00
00000b62: DUP1
00000b63: PUSH1 0x02
00000b65: SLOAD
00000b66: PUSH1 0x00
00000b68: EQ
00000b69: ISZERO
00000b6a: PUSH2 0x0b7a
00000b6d: JUMPI
00000b6e: PUSH5 0x14f46b0400
00000b74: SWAP4
00000b75: POP
00000b76: PUSH2 0x0baa
00000b79: JUMP
00000b7a: JUMPDEST
00000b7b: PUSH2 0x0b8b
00000b7e: PUSH8 0x0de0b6b3a7640000
00000b87: PUSH2 0x1776
00000b8a: JUMP
00000b8b: JUMPDEST
00000b8c: SWAP3
00000b8d: POP
00000b8e: PUSH2 0x0b98
00000b91: DUP4
00000b92: PUSH1 0x03
00000b94: PUSH2 0x125b
00000b97: JUMP
00000b98: JUMPDEST
00000b99: SWAP2
00000b9a: POP
00000b9b: PUSH2 0x0ba4
00000b9e: DUP4
00000b9f: DUP4
00000ba0: PUSH2 0x1249
00000ba3: JUMP
00000ba4: JUMPDEST
00000ba5: SWAP1
00000ba6: POP
00000ba7: DUP1
00000ba8: SWAP4
00000ba9: POP
00000baa: JUMPDEST
00000bab: POP
00000bac: POP
00000bad: POP
00000bae: SWAP1
00000baf: JUMP
00000bb0: JUMPDEST
00000bb1: PUSH1 0x05
00000bb3: SLOAD
00000bb4: DUP2
00000bb5: JUMP
00000bb6: JUMPDEST
00000bb7: PUSH1 0x00
00000bb9: CALLER
00000bba: DUP3
00000bbb: PUSH2 0x0bcc
00000bbe: JUMPI
00000bbf: PUSH2 0x0bc7
00000bc2: DUP2
00000bc3: PUSH2 0x0870
00000bc6: JUMP
00000bc7: JUMPDEST
00000bc8: PUSH2 0x0bf0
00000bcb: JUMP
00000bcc: JUMPDEST
00000bcd: PUSH1 0x01
00000bcf: PUSH1 0xa0
00000bd1: PUSH1 0x02
00000bd3: EXP
00000bd4: SUB
00000bd5: DUP2
00000bd6: AND
00000bd7: PUSH1 0x00
00000bd9: SWAP1
00000bda: DUP2
00000bdb: MSTORE
00000bdc: PUSH1 0x0c
00000bde: PUSH1 0x20
00000be0: MSTORE
00000be1: PUSH1 0x40
00000be3: SWAP1
00000be4: KECCAK256
00000be5: SLOAD
00000be6: PUSH2 0x0bee
00000be9: DUP3
00000bea: PUSH2 0x0870
00000bed: JUMP
00000bee: JUMPDEST
00000bef: ADD
00000bf0: JUMPDEST
00000bf1: SWAP2
00000bf2: POP
00000bf3: JUMPDEST
00000bf4: POP
00000bf5: SWAP2
00000bf6: SWAP1
00000bf7: POP
00000bf8: JUMP
00000bf9: JUMPDEST
00000bfa: PUSH1 0x01
00000bfc: PUSH1 0xa0
00000bfe: PUSH1 0x02
00000c00: EXP
00000c01: SUB
00000c02: ADDRESS
00000c03: AND
00000c04: BALANCE
00000c05: SWAP1
00000c06: JUMP
00000c07: JUMPDEST
00000c08: PUSH1 0x01
00000c0a: PUSH1 0xa0
00000c0c: PUSH1 0x02
00000c0e: EXP
00000c0f: SUB
00000c10: AND
00000c11: PUSH1 0x00
00000c13: SWAP1
00000c14: DUP2
00000c15: MSTORE
00000c16: PUSH1 0x0b
00000c18: PUSH1 0x20
00000c1a: MSTORE
00000c1b: PUSH1 0x40
00000c1d: SWAP1
00000c1e: KECCAK256
00000c1f: SLOAD
00000c20: SWAP1
00000c21: JUMP
00000c22: JUMPDEST
00000c23: PUSH1 0x09
00000c25: SLOAD
00000c26: DUP2
00000c27: JUMP
00000c28: JUMPDEST
00000c29: PUSH1 0x0a
00000c2b: SLOAD
00000c2c: CALLER
00000c2d: PUSH1 0x01
00000c2f: PUSH1 0xa0
00000c31: PUSH1 0x02
00000c33: EXP
00000c34: SUB
00000c35: SWAP1
00000c36: DUP2
00000c37: AND
00000c38: SWAP2
00000c39: AND
00000c3a: EQ
00000c3b: PUSH2 0x0c43
00000c3e: JUMPI
00000c3f: PUSH1 0x00
00000c41: DUP1
00000c42: REVERT
00000c43: JUMPDEST
00000c44: PUSH1 0x05
00000c46: SSTORE
00000c47: JUMP
00000c48: JUMPDEST
00000c49: PUSH1 0x00
00000c4b: DUP1
00000c4c: PUSH1 0x00
00000c4e: DUP1
00000c4f: PUSH1 0x02
00000c51: SLOAD
00000c52: PUSH1 0x00
00000c54: EQ
00000c55: ISZERO
00000c56: PUSH2 0x0c66
00000c59: JUMPI
00000c5a: PUSH5 0x199c82cc00
00000c60: SWAP4
00000c61: POP
00000c62: PUSH2 0x0baa
00000c65: JUMP
00000c66: JUMPDEST
00000c67: PUSH2 0x0c77
00000c6a: PUSH8 0x0de0b6b3a7640000
00000c73: PUSH2 0x1776
00000c76: JUMP
00000c77: JUMPDEST
00000c78: SWAP3
00000c79: POP
00000c7a: PUSH2 0x0c84
00000c7d: DUP4
00000c7e: PUSH1 0x03
00000c80: PUSH2 0x125b
00000c83: JUMP
00000c84: JUMPDEST
00000c85: SWAP2
00000c86: POP
00000c87: PUSH2 0x0ba4
00000c8a: DUP4
00000c8b: DUP4
00000c8c: PUSH2 0x0588
00000c8f: JUMP
00000c90: JUMPDEST
00000c91: PUSH1 0x0a
00000c93: SLOAD
00000c94: CALLER
00000c95: PUSH1 0x01
00000c97: PUSH1 0xa0
00000c99: PUSH1 0x02
00000c9b: EXP
00000c9c: SUB
00000c9d: SWAP1
00000c9e: DUP2
00000c9f: AND
00000ca0: SWAP2
00000ca1: AND
00000ca2: EQ
00000ca3: SWAP1
00000ca4: JUMP
00000ca5: JUMPDEST
00000ca6: PUSH1 0x00
00000ca8: CALLER
00000ca9: PUSH2 0x0cb1
00000cac: DUP2
00000cad: PUSH2 0x0c07
00000cb0: JUMP
00000cb1: JUMPDEST
00000cb2: SWAP2
00000cb3: POP
00000cb4: POP
00000cb5: SWAP1
00000cb6: JUMP
00000cb7: JUMPDEST
00000cb8: PUSH1 0x01
00000cba: DUP1
00000cbb: SLOAD
00000cbc: PUSH1 0x01
00000cbe: DUP2
00000cbf: PUSH1 0x01
00000cc1: AND
00000cc2: ISZERO
00000cc3: PUSH2 0x0100
00000cc6: MUL
00000cc7: SUB
00000cc8: AND
00000cc9: PUSH1 0x02
00000ccb: SWAP1
00000ccc: DIV
00000ccd: DUP1
00000cce: PUSH1 0x1f
00000cd0: ADD
00000cd1: PUSH1 0x20
00000cd3: DUP1
00000cd4: SWAP2
00000cd5: DIV
00000cd6: MUL
00000cd7: PUSH1 0x20
00000cd9: ADD
00000cda: PUSH1 0x40
00000cdc: MLOAD
00000cdd: SWAP1
00000cde: DUP2
00000cdf: ADD
00000ce0: PUSH1 0x40
00000ce2: MSTORE
00000ce3: DUP1
00000ce4: SWAP3
00000ce5: SWAP2
00000ce6: SWAP1
00000ce7: DUP2
00000ce8: DUP2
00000ce9: MSTORE
00000cea: PUSH1 0x20
00000cec: ADD
00000ced: DUP3
00000cee: DUP1
00000cef: SLOAD
00000cf0: PUSH1 0x01
00000cf2: DUP2
00000cf3: PUSH1 0x01
00000cf5: AND
00000cf6: ISZERO
00000cf7: PUSH2 0x0100
00000cfa: MUL
00000cfb: SUB
00000cfc: AND
00000cfd: PUSH1 0x02
00000cff: SWAP1
00000d00: DIV
00000d01: DUP1
00000d02: ISZERO
00000d03: PUSH2 0x098d
00000d06: JUMPI
00000d07: DUP1
00000d08: PUSH1 0x1f
00000d0a: LT
00000d0b: PUSH2 0x0962
00000d0e: JUMPI
00000d0f: PUSH2 0x0100
00000d12: DUP1
00000d13: DUP4
00000d14: SLOAD
00000d15: DIV
00000d16: MUL
00000d17: DUP4
00000d18: MSTORE
00000d19: SWAP2
00000d1a: PUSH1 0x20
00000d1c: ADD
00000d1d: SWAP2
00000d1e: PUSH2 0x098d
00000d21: JUMP
00000d22: JUMPDEST
00000d23: PUSH1 0x10
00000d25: SLOAD
00000d26: PUSH1 0xff
00000d28: AND
00000d29: DUP2
00000d2a: JUMP
00000d2b: JUMPDEST
00000d2c: PUSH1 0x07
00000d2e: SLOAD
00000d2f: DUP2
00000d30: JUMP
00000d31: JUMPDEST
00000d32: PUSH1 0x0a
00000d34: SLOAD
00000d35: CALLER
00000d36: PUSH1 0x01
00000d38: PUSH1 0xa0
00000d3a: PUSH1 0x02
00000d3c: EXP
00000d3d: SUB
00000d3e: SWAP1
00000d3f: DUP2
00000d40: AND
00000d41: SWAP2
00000d42: AND
00000d43: EQ
00000d44: PUSH2 0x0d4c
00000d47: JUMPI
00000d48: PUSH1 0x00
00000d4a: DUP1
00000d4b: REVERT
00000d4c: JUMPDEST
00000d4d: PUSH1 0x10
00000d4f: DUP1
00000d50: SLOAD
00000d51: PUSH1 0xff
00000d53: NOT
00000d54: AND
00000d55: SWAP1
00000d56: SSTORE
00000d57: JUMP
00000d58: JUMPDEST
00000d59: PUSH1 0x00
00000d5b: DUP1
00000d5c: PUSH1 0x00
00000d5e: DUP1
00000d5f: PUSH1 0x00
00000d61: DUP1
00000d62: PUSH2 0x0d69
00000d65: PUSH2 0x0ca5
00000d68: JUMP
00000d69: JUMPDEST
00000d6a: GT
00000d6b: PUSH2 0x0d73
00000d6e: JUMPI
00000d6f: PUSH1 0x00
00000d71: DUP1
00000d72: REVERT
00000d73: JUMPDEST
00000d74: PUSH1 0x10
00000d76: SLOAD
00000d77: CALLER
00000d78: SWAP5
00000d79: POP
00000d7a: PUSH1 0xff
00000d7c: AND
00000d7d: ISZERO
00000d7e: DUP1
00000d7f: ISZERO
00000d80: PUSH2 0x0da1
00000d83: JUMPI
00000d84: POP
00000d85: PUSH1 0x01
00000d87: PUSH1 0xa0
00000d89: PUSH1 0x02
00000d8b: EXP
00000d8c: SUB
00000d8d: DUP5
00000d8e: AND
00000d8f: PUSH1 0x00
00000d91: SWAP1
00000d92: DUP2
00000d93: MSTORE
00000d94: PUSH1 0x0b
00000d96: PUSH1 0x20
00000d98: MSTORE
00000d99: PUSH1 0x40
00000d9b: SWAP1
00000d9c: KECCAK256
00000d9d: SLOAD
00000d9e: DUP7
00000d9f: GT
00000da0: ISZERO
00000da1: JUMPDEST
00000da2: ISZERO
00000da3: ISZERO
00000da4: PUSH2 0x0dac
00000da7: JUMPI
00000da8: PUSH1 0x00
00000daa: DUP1
00000dab: REVERT
00000dac: JUMPDEST
00000dad: PUSH1 0x00
00000daf: PUSH2 0x0db8
00000db2: PUSH1 0x01
00000db4: PUSH2 0x0bb6
00000db7: JUMP
00000db8: JUMPDEST
00000db9: GT
00000dba: ISZERO
00000dbb: PUSH2 0x0dc6
00000dbe: JUMPI
00000dbf: PUSH2 0x0dc6
00000dc2: PUSH2 0x0a0f
00000dc5: JUMP
00000dc6: JUMPDEST
00000dc7: PUSH2 0x0dd1
00000dca: DUP7
00000dcb: PUSH1 0x0a
00000dcd: PUSH2 0x125b
00000dd0: JUMP
00000dd1: JUMPDEST
00000dd2: SWAP3
00000dd3: POP
00000dd4: PUSH2 0x0ddd
00000dd7: DUP7
00000dd8: DUP5
00000dd9: PUSH2 0x1249
00000ddc: JUMP
00000ddd: JUMPDEST
00000dde: SWAP2
00000ddf: POP
00000de0: PUSH2 0x0de8
00000de3: DUP4
00000de4: PUSH2 0x1776
00000de7: JUMP
00000de8: JUMPDEST
00000de9: SWAP1
00000dea: POP
00000deb: PUSH2 0x0df6
00000dee: PUSH1 0x07
00000df0: SLOAD
00000df1: DUP3
00000df2: PUSH2 0x0588
00000df5: JUMP
00000df6: JUMPDEST
00000df7: PUSH1 0x07
00000df9: SSTORE
00000dfa: PUSH1 0x02
00000dfc: SLOAD
00000dfd: PUSH2 0x0e06
00000e00: SWAP1
00000e01: DUP5
00000e02: PUSH2 0x1249
00000e05: JUMP
00000e06: JUMPDEST
00000e07: PUSH1 0x02
00000e09: SSTORE
00000e0a: PUSH1 0x01
00000e0c: PUSH1 0xa0
00000e0e: PUSH1 0x02
00000e10: EXP
00000e11: SUB
00000e12: DUP5
00000e13: AND
00000e14: PUSH1 0x00
00000e16: SWAP1
00000e17: DUP2
00000e18: MSTORE
00000e19: PUSH1 0x0b
00000e1b: PUSH1 0x20
00000e1d: MSTORE
00000e1e: PUSH1 0x40
00000e20: SWAP1
00000e21: KECCAK256
00000e22: SLOAD
00000e23: PUSH2 0x0e2c
00000e26: SWAP1
00000e27: DUP8
00000e28: PUSH2 0x1249
00000e2b: JUMP
00000e2c: JUMPDEST
00000e2d: PUSH1 0x01
00000e2f: PUSH1 0xa0
00000e31: PUSH1 0x02
00000e33: EXP
00000e34: SUB
00000e35: DUP1
00000e36: DUP7
00000e37: AND
00000e38: PUSH1 0x00
00000e3a: SWAP1
00000e3b: DUP2
00000e3c: MSTORE
00000e3d: PUSH1 0x0b
00000e3f: PUSH1 0x20
00000e41: MSTORE
00000e42: PUSH1 0x40
00000e44: DUP1
00000e45: DUP3
00000e46: KECCAK256
00000e47: SWAP4
00000e48: SWAP1
00000e49: SWAP4
00000e4a: SSTORE
00000e4b: SWAP1
00000e4c: DUP10
00000e4d: AND
00000e4e: DUP2
00000e4f: MSTORE
00000e50: KECCAK256
00000e51: SLOAD
00000e52: PUSH2 0x0e5b
00000e55: SWAP1
00000e56: DUP4
00000e57: PUSH2 0x0588
00000e5a: JUMP
00000e5b: JUMPDEST
00000e5c: PUSH1 0x01
00000e5e: PUSH1 0xa0
00000e60: PUSH1 0x02
00000e62: EXP
00000e63: SUB
00000e64: DUP9
00000e65: DUP2
00000e66: AND
00000e67: PUSH1 0x00
00000e69: DUP2
00000e6a: DUP2
00000e6b: MSTORE
00000e6c: PUSH1 0x0b
00000e6e: PUSH1 0x20
00000e70: SWAP1
00000e71: DUP2
00000e72: MSTORE
00000e73: PUSH1 0x40
00000e75: DUP1
00000e76: DUP4
00000e77: KECCAK256
00000e78: SWAP6
00000e79: SWAP1
00000e7a: SWAP6
00000e7b: SSTORE
00000e7c: PUSH1 0x04
00000e7e: DUP1
00000e7f: SLOAD
00000e80: SWAP5
00000e81: DUP11
00000e82: AND
00000e83: DUP4
00000e84: MSTORE
00000e85: PUSH1 0x0d
00000e87: SWAP1
00000e88: SWAP2
00000e89: MSTORE
00000e8a: DUP5
00000e8b: DUP3
00000e8c: KECCAK256
00000e8d: DUP1
00000e8e: SLOAD
00000e8f: SWAP5
00000e90: DUP13
00000e91: MUL
00000e92: SWAP1
00000e93: SWAP5
00000e94: SUB
00000e95: SWAP1
00000e96: SWAP4
00000e97: SSTORE
00000e98: DUP3
00000e99: SLOAD
00000e9a: SWAP2
00000e9b: DUP2
00000e9c: MSTORE
00000e9d: SWAP3
00000e9e: SWAP1
00000e9f: SWAP3
00000ea0: KECCAK256
00000ea1: DUP1
00000ea2: SLOAD
00000ea3: SWAP3
00000ea4: DUP6
00000ea5: MUL
00000ea6: SWAP1
00000ea7: SWAP3
00000ea8: ADD
00000ea9: SWAP1
00000eaa: SWAP2
00000eab: SSTORE
00000eac: SLOAD
00000ead: PUSH1 0x02
00000eaf: SLOAD
00000eb0: PUSH2 0x0ecf
00000eb3: SWAP2
00000eb4: SWAP1
00000eb5: PUSH9 0x010000000000000000
00000ebf: DUP5
00000ec0: MUL
00000ec1: DUP2
00000ec2: ISZERO
00000ec3: ISZERO
00000ec4: PUSH2 0x0ec9
00000ec7: JUMPI
00000ec8: INVALID
00000ec9: JUMPDEST
00000eca: DIV
00000ecb: PUSH2 0x0588
00000ece: JUMP
00000ecf: JUMPDEST
00000ed0: PUSH1 0x04
00000ed2: SSTORE
00000ed3: PUSH1 0x01
00000ed5: PUSH1 0xa0
00000ed7: PUSH1 0x02
00000ed9: EXP
00000eda: SUB
00000edb: DUP1
00000edc: DUP9
00000edd: AND
00000ede: SWAP1
00000edf: DUP6
00000ee0: AND
00000ee1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000f02: DUP5
00000f03: PUSH1 0x40
00000f05: MLOAD
00000f06: SWAP1
00000f07: DUP2
00000f08: MSTORE
00000f09: PUSH1 0x20
00000f0b: ADD
00000f0c: PUSH1 0x40
00000f0e: MLOAD
00000f0f: DUP1
00000f10: SWAP2
00000f11: SUB
00000f12: SWAP1
00000f13: LOG3
00000f14: POP
00000f15: PUSH1 0x01
00000f17: SWAP7
00000f18: SWAP6
00000f19: POP
00000f1a: POP
00000f1b: POP
00000f1c: POP
00000f1d: POP
00000f1e: POP
00000f1f: JUMP
00000f20: JUMPDEST
00000f21: PUSH1 0x0f
00000f23: PUSH1 0x20
00000f25: MSTORE
00000f26: PUSH1 0x00
00000f28: SWAP1
00000f29: DUP2
00000f2a: MSTORE
00000f2b: PUSH1 0x40
00000f2d: SWAP1
00000f2e: KECCAK256
00000f2f: DUP1
00000f30: SLOAD
00000f31: PUSH1 0x01
00000f33: DUP3
00000f34: ADD
00000f35: SLOAD
00000f36: PUSH1 0x02
00000f38: DUP4
00000f39: ADD
00000f3a: SLOAD
00000f3b: PUSH1 0x03
00000f3d: DUP5
00000f3e: ADD
00000f3f: SLOAD
00000f40: PUSH1 0x04
00000f42: DUP6
00000f43: ADD
00000f44: SLOAD
00000f45: PUSH1 0x05
00000f47: DUP7
00000f48: ADD
00000f49: SLOAD
00000f4a: PUSH1 0x06
00000f4c: SWAP1
00000f4d: SWAP7
00000f4e: ADD
00000f4f: SLOAD
00000f50: PUSH1 0x01
00000f52: PUSH1 0xa0
00000f54: PUSH1 0x02
00000f56: EXP
00000f57: SUB
00000f58: SWAP1
00000f59: SWAP6
00000f5a: AND
00000f5b: SWAP6
00000f5c: SWAP4
00000f5d: SWAP5
00000f5e: SWAP3
00000f5f: SWAP4
00000f60: SWAP2
00000f61: SWAP3
00000f62: SWAP1
00000f63: SWAP2
00000f64: SWAP1
00000f65: DUP8
00000f66: JUMP
00000f67: JUMPDEST
00000f68: PUSH2 0x0f74
00000f6b: PUSH1 0x09
00000f6d: SLOAD
00000f6e: PUSH1 0x01
00000f70: PUSH2 0x0588
00000f73: JUMP
00000f74: JUMPDEST
00000f75: PUSH1 0x09
00000f77: SSTORE
00000f78: JUMP
00000f79: JUMPDEST
00000f7a: PUSH1 0x06
00000f7c: SLOAD
00000f7d: DUP2
00000f7e: JUMP
00000f7f: JUMPDEST
00000f80: PUSH1 0x00
00000f82: DUP1
00000f83: PUSH1 0x00
00000f85: DUP1
00000f86: PUSH1 0x00
00000f88: DUP1
00000f89: PUSH1 0x00
00000f8b: DUP1
00000f8c: PUSH2 0x0f93
00000f8f: PUSH2 0x0ca5
00000f92: JUMP
00000f93: JUMPDEST
00000f94: GT
00000f95: PUSH2 0x0f9d
00000f98: JUMPI
00000f99: PUSH1 0x00
00000f9b: DUP1
00000f9c: REVERT
00000f9d: JUMPDEST
00000f9e: CALLER
00000f9f: PUSH1 0x01
00000fa1: PUSH1 0xa0
00000fa3: PUSH1 0x02
00000fa5: EXP
00000fa6: SUB
00000fa7: DUP2
00000fa8: AND
00000fa9: PUSH1 0x00
00000fab: SWAP1
00000fac: DUP2
00000fad: MSTORE
00000fae: PUSH1 0x0b
00000fb0: PUSH1 0x20
00000fb2: MSTORE
00000fb3: PUSH1 0x40
00000fb5: SWAP1
00000fb6: KECCAK256
00000fb7: SLOAD
00000fb8: SWAP1
00000fb9: SWAP8
00000fba: POP
00000fbb: DUP9
00000fbc: GT
00000fbd: ISZERO
00000fbe: PUSH2 0x0fc6
00000fc1: JUMPI
00000fc2: PUSH1 0x00
00000fc4: DUP1
00000fc5: REVERT
00000fc6: JUMPDEST
00000fc7: DUP8
00000fc8: SWAP6
00000fc9: POP
00000fca: PUSH2 0x0fd2
00000fcd: DUP7
00000fce: PUSH2 0x1776
00000fd1: JUMP
00000fd2: JUMPDEST
00000fd3: SWAP5
00000fd4: POP
00000fd5: PUSH2 0x0fdf
00000fd8: DUP6
00000fd9: PUSH1 0x03
00000fdb: PUSH2 0x125b
00000fde: JUMP
00000fdf: JUMPDEST
00000fe0: SWAP4
00000fe1: POP
00000fe2: PUSH2 0x0ff6
00000fe5: PUSH2 0x0fef
00000fe8: DUP7
00000fe9: PUSH1 0x03
00000feb: PUSH2 0x1272
00000fee: JUMP
00000fef: JUMPDEST
00000ff0: PUSH1 0x64
00000ff2: PUSH2 0x125b
00000ff5: JUMP
00000ff6: JUMPDEST
00000ff7: SWAP3
00000ff8: POP
00000ff9: PUSH2 0x1004
00000ffc: PUSH1 0x08
00000ffe: SLOAD
00000fff: DUP5
00001000: PUSH2 0x0588
00001003: JUMP
00001004: JUMPDEST
00001005: PUSH1 0x08
00001007: SSTORE
00001008: PUSH2 0x1011
0000100b: DUP6
0000100c: DUP6
0000100d: PUSH2 0x1249
00001010: JUMP
00001011: JUMPDEST
00001012: SWAP2
00001013: POP
00001014: PUSH2 0x101d
00001017: DUP5
00001018: DUP5
00001019: PUSH2 0x1249
0000101c: JUMP
0000101d: JUMPDEST
0000101e: SWAP4
0000101f: POP
00001020: PUSH2 0x102b
00001023: PUSH1 0x07
00001025: SLOAD
00001026: DUP6
00001027: PUSH2 0x0588
0000102a: JUMP
0000102b: JUMPDEST
0000102c: PUSH1 0x07
0000102e: SSTORE
0000102f: PUSH1 0x02
00001031: SLOAD
00001032: PUSH2 0x103b
00001035: SWAP1
00001036: DUP8
00001037: PUSH2 0x1249
0000103a: JUMP
0000103b: JUMPDEST
0000103c: PUSH1 0x02
0000103e: SSTORE
0000103f: PUSH1 0x01
00001041: PUSH1 0xa0
00001043: PUSH1 0x02
00001045: EXP
00001046: SUB
00001047: DUP8
00001048: AND
00001049: PUSH1 0x00
0000104b: SWAP1
0000104c: DUP2
0000104d: MSTORE
0000104e: PUSH1 0x0b
00001050: PUSH1 0x20
00001052: MSTORE
00001053: PUSH1 0x40
00001055: SWAP1
00001056: KECCAK256
00001057: SLOAD
00001058: PUSH2 0x1061
0000105b: SWAP1
0000105c: DUP8
0000105d: PUSH2 0x1249
00001060: JUMP
00001061: JUMPDEST
00001062: PUSH1 0x01
00001064: PUSH1 0xa0
00001066: PUSH1 0x02
00001068: EXP
00001069: SUB
0000106a: DUP9
0000106b: AND
0000106c: PUSH1 0x00
0000106e: SWAP1
0000106f: DUP2
00001070: MSTORE
00001071: PUSH1 0x0b
00001073: PUSH1 0x20
00001075: SWAP1
00001076: DUP2
00001077: MSTORE
00001078: PUSH1 0x40
0000107a: DUP1
0000107b: DUP4
0000107c: KECCAK256
0000107d: SWAP4
0000107e: SWAP1
0000107f: SWAP4
00001080: SSTORE
00001081: PUSH1 0x04
00001083: SLOAD
00001084: PUSH1 0x0d
00001086: SWAP1
00001087: SWAP2
00001088: MSTORE
00001089: SWAP2
0000108a: SWAP1
0000108b: KECCAK256
0000108c: DUP1
0000108d: SLOAD
0000108e: SWAP2
0000108f: DUP9
00001090: MUL
00001091: PUSH9 0x010000000000000000
0000109b: DUP6
0000109c: MUL
0000109d: ADD
0000109e: SWAP2
0000109f: DUP3
000010a0: SWAP1
000010a1: SUB
000010a2: SWAP1
000010a3: SSTORE
000010a4: PUSH1 0x06
000010a6: SLOAD
000010a7: SWAP1
000010a8: SWAP2
000010a9: POP
000010aa: PUSH2 0x10b3
000010ad: SWAP1
000010ae: DUP7
000010af: PUSH2 0x0588
000010b2: JUMP
000010b3: JUMPDEST
000010b4: PUSH1 0x06
000010b6: SSTORE
000010b7: PUSH1 0x02
000010b9: SLOAD
000010ba: PUSH1 0x00
000010bc: SWAP1
000010bd: GT
000010be: ISZERO
000010bf: PUSH2 0x10e4
000010c2: JUMPI
000010c3: PUSH2 0x10e0
000010c6: PUSH1 0x04
000010c8: SLOAD
000010c9: PUSH1 0x02
000010cb: SLOAD
000010cc: PUSH9 0x010000000000000000
000010d6: DUP8
000010d7: MUL
000010d8: DUP2
000010d9: ISZERO
000010da: ISZERO
000010db: PUSH2 0x0ec9
000010de: JUMPI
000010df: INVALID
000010e0: JUMPDEST
000010e1: PUSH1 0x04
000010e3: SSTORE
000010e4: JUMPDEST
000010e5: DUP7
000010e6: PUSH1 0x01
000010e8: PUSH1 0xa0
000010ea: PUSH1 0x02
000010ec: EXP
000010ed: SUB
000010ee: AND
000010ef: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139
00001110: DUP8
00001111: DUP5
00001112: PUSH1 0x40
00001114: MLOAD
00001115: SWAP2
00001116: DUP3
00001117: MSTORE
00001118: PUSH1 0x20
0000111a: DUP3
0000111b: ADD
0000111c: MSTORE
0000111d: PUSH1 0x40
0000111f: SWAP1
00001120: DUP2
00001121: ADD
00001122: SWAP1
00001123: MLOAD
00001124: DUP1
00001125: SWAP2
00001126: SUB
00001127: SWAP1
00001128: LOG2
00001129: POP
0000112a: POP
0000112b: POP
0000112c: POP
0000112d: POP
0000112e: POP
0000112f: POP
00001130: POP
00001131: JUMP
00001132: JUMPDEST
00001133: CALLER
00001134: PUSH1 0x01
00001136: PUSH1 0xa0
00001138: PUSH1 0x02
0000113a: EXP
0000113b: SUB
0000113c: DUP2
0000113d: AND
0000113e: PUSH1 0x00
00001140: SWAP1
00001141: DUP2
00001142: MSTORE
00001143: PUSH1 0x0b
00001145: PUSH1 0x20
00001147: MSTORE
00001148: PUSH1 0x40
0000114a: DUP2
0000114b: KECCAK256
0000114c: SLOAD
0000114d: SWAP1
0000114e: DUP2
0000114f: GT
00001150: ISZERO
00001151: PUSH2 0x115d
00001154: JUMPI
00001155: PUSH2 0x115d
00001158: DUP2
00001159: PUSH2 0x0f7f
0000115c: JUMP
0000115d: JUMPDEST
0000115e: PUSH2 0x0b58
00001161: PUSH2 0x0a0f
00001164: JUMP
00001165: JUMPDEST
00001166: PUSH1 0x00
00001168: PUSH2 0x1173
0000116b: PUSH1 0x06
0000116d: SLOAD
0000116e: CALLVALUE
0000116f: PUSH2 0x0588
00001172: JUMP
00001173: JUMPDEST
00001174: PUSH1 0x06
00001176: SSTORE
00001177: PUSH2 0x0bf3
0000117a: CALLVALUE
0000117b: DUP4
0000117c: PUSH2 0x05a2
0000117f: JUMP
00001180: JUMPDEST
00001181: PUSH1 0x00
00001183: DUP1
00001184: PUSH1 0x00
00001186: DUP1
00001187: PUSH2 0x1190
0000118a: PUSH1 0x01
0000118c: PUSH2 0x0bb6
0000118f: JUMP
00001190: JUMPDEST
00001191: GT
00001192: PUSH2 0x119a
00001195: JUMPI
00001196: PUSH1 0x00
00001198: DUP1
00001199: REVERT
0000119a: JUMPDEST
0000119b: PUSH2 0x11a4
0000119e: PUSH1 0x00
000011a0: PUSH2 0x0bb6
000011a3: JUMP
000011a4: JUMPDEST
000011a5: CALLER
000011a6: PUSH1 0x01
000011a8: PUSH1 0xa0
000011aa: PUSH1 0x02
000011ac: EXP
000011ad: SUB
000011ae: DUP2
000011af: AND
000011b0: PUSH1 0x00
000011b2: SWAP1
000011b3: DUP2
000011b4: MSTORE
000011b5: PUSH1 0x0d
000011b7: PUSH1 0x20
000011b9: SWAP1
000011ba: DUP2
000011bb: MSTORE
000011bc: PUSH1 0x40
000011be: DUP1
000011bf: DUP4
000011c0: KECCAK256
000011c1: DUP1
000011c2: SLOAD
000011c3: PUSH9 0x010000000000000000
000011cd: DUP8
000011ce: MUL
000011cf: ADD
000011d0: SWAP1
000011d1: SSTORE
000011d2: PUSH1 0x0c
000011d4: SWAP1
000011d5: SWAP2
000011d6: MSTORE
000011d7: DUP2
000011d8: KECCAK256
000011d9: DUP1
000011da: SLOAD
000011db: SWAP2
000011dc: SWAP1
000011dd: SSTORE
000011de: PUSH1 0x06
000011e0: SLOAD
000011e1: SWAP3
000011e2: ADD
000011e3: SWAP5
000011e4: POP
000011e5: SWAP3
000011e6: POP
000011e7: PUSH2 0x11f0
000011ea: SWAP1
000011eb: DUP5
000011ec: PUSH2 0x0588
000011ef: JUMP
000011f0: JUMPDEST
000011f1: PUSH1 0x06
000011f3: SSTORE
000011f4: PUSH2 0x11fe
000011f7: DUP4
000011f8: PUSH1 0x00
000011fa: PUSH2 0x05a2
000011fd: JUMP
000011fe: JUMPDEST
000011ff: SWAP1
00001200: POP
00001201: DUP2
00001202: PUSH1 0x01
00001204: PUSH1 0xa0
00001206: PUSH1 0x02
00001208: EXP
00001209: SUB
0000120a: AND
0000120b: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
0000122c: DUP5
0000122d: DUP4
0000122e: PUSH1 0x40
00001230: MLOAD
00001231: SWAP2
00001232: DUP3
00001233: MSTORE
00001234: PUSH1 0x20
00001236: DUP3
00001237: ADD
00001238: MSTORE
00001239: PUSH1 0x40
0000123b: SWAP1
0000123c: DUP2
0000123d: ADD
0000123e: SWAP1
0000123f: MLOAD
00001240: DUP1
00001241: SWAP2
00001242: SUB
00001243: SWAP1
00001244: LOG2
00001245: POP
00001246: POP
00001247: POP
00001248: JUMP
00001249: JUMPDEST
0000124a: PUSH1 0x00
0000124c: DUP3
0000124d: DUP3
0000124e: GT
0000124f: ISZERO
00001250: PUSH2 0x1255
00001253: JUMPI
00001254: INVALID
00001255: JUMPDEST
00001256: POP
00001257: SWAP1
00001258: SUB
00001259: SWAP1
0000125a: JUMP
0000125b: JUMPDEST
0000125c: PUSH1 0x00
0000125e: DUP1
0000125f: DUP3
00001260: DUP5
00001261: DUP2
00001262: ISZERO
00001263: ISZERO
00001264: PUSH2 0x1269
00001267: JUMPI
00001268: INVALID
00001269: JUMPDEST
0000126a: DIV
0000126b: SWAP5
0000126c: SWAP4
0000126d: POP
0000126e: POP
0000126f: POP
00001270: POP
00001271: JUMP
00001272: JUMPDEST
00001273: PUSH1 0x00
00001275: DUP1
00001276: DUP4
00001277: ISZERO
00001278: ISZERO
00001279: PUSH2 0x1285
0000127c: JUMPI
0000127d: PUSH1 0x00
0000127f: SWAP2
00001280: POP
00001281: PUSH2 0x059b
00001284: JUMP
00001285: JUMPDEST
00001286: POP
00001287: DUP3
00001288: DUP3
00001289: MUL
0000128a: DUP3
0000128b: DUP5
0000128c: DUP3
0000128d: DUP2
0000128e: ISZERO
0000128f: ISZERO
00001290: PUSH2 0x1295
00001293: JUMPI
00001294: INVALID
00001295: JUMPDEST
00001296: DIV
00001297: EQ
00001298: PUSH2 0x0597
0000129b: JUMPI
0000129c: INVALID
0000129d: JUMPDEST
0000129e: PUSH1 0x02
000012a0: DUP1
000012a1: SLOAD
000012a2: PUSH1 0x00
000012a4: SWAP2
000012a5: PUSH13 0x01431e0fae6d7217caa0000000
000012b3: SWAP2
000012b4: DUP4
000012b5: SWAP2
000012b6: PUSH5 0x02540be400
000012bc: SWAP1
000012bd: PUSH2 0x1328
000012c0: SWAP1
000012c1: PUSH2 0x1322
000012c4: SWAP1
000012c5: PUSH20 0x0380d4bd8a8678c1bb542c80deb4800000000000
000012da: DUP10
000012db: MUL
000012dc: PUSH9 0x056bc75e2d63100000
000012e6: SWAP2
000012e7: DUP7
000012e8: EXP
000012e9: SWAP2
000012ea: SWAP1
000012eb: SWAP2
000012ec: MUL
000012ed: ADD
000012ee: PUSH17 0x05e0a1fd2712875988becaad0000000000
00001300: DUP6
00001301: MUL
00001302: ADD
00001303: PUSH25 0x0197d4df19d605767337e9f14d3eec8920e400000000000000
0000131d: ADD
0000131e: PUSH2 0x19a9
00001321: JUMP
00001322: JUMPDEST
00001323: DUP6
00001324: PUSH2 0x1249
00001327: JUMP
00001328: JUMPDEST
00001329: DUP2
0000132a: ISZERO
0000132b: ISZERO
0000132c: PUSH2 0x1331
0000132f: JUMPI
00001330: INVALID
00001331: JUMPDEST
00001332: DIV
00001333: SUB
00001334: SWAP5
00001335: SWAP4
00001336: POP
00001337: POP
00001338: POP
00001339: POP
0000133a: JUMP
0000133b: JUMPDEST
0000133c: PUSH1 0x01
0000133e: PUSH1 0xa0
00001340: PUSH1 0x02
00001342: EXP
00001343: SUB
00001344: DUP1
00001345: DUP4
00001346: AND
00001347: PUSH1 0x00
00001349: DUP2
0000134a: DUP2
0000134b: MSTORE
0000134c: PUSH1 0x0f
0000134e: PUSH1 0x20
00001350: MSTORE
00001351: PUSH1 0x40
00001353: DUP2
00001354: KECCAK256
00001355: SWAP3
00001356: SWAP1
00001357: SWAP2
00001358: DUP3
00001359: SWAP2
0000135a: DUP3
0000135b: SWAP2
0000135c: SWAP1
0000135d: DUP7
0000135e: AND
0000135f: EQ
00001360: PUSH2 0x138e
00001363: JUMPI
00001364: DUP4
00001365: SLOAD
00001366: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000137b: NOT
0000137c: AND
0000137d: PUSH1 0x01
0000137f: PUSH1 0xa0
00001381: PUSH1 0x02
00001383: EXP
00001384: SUB
00001385: DUP7
00001386: AND
00001387: OR
00001388: DUP5
00001389: SSTORE
0000138a: PUSH2 0x13b9
0000138d: JUMP
0000138e: JUMPDEST
0000138f: PUSH1 0x0a
00001391: SLOAD
00001392: DUP5
00001393: SLOAD
00001394: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a9: NOT
000013aa: AND
000013ab: PUSH1 0x01
000013ad: PUSH1 0xa0
000013af: PUSH1 0x02
000013b1: EXP
000013b2: SUB
000013b3: SWAP1
000013b4: SWAP2
000013b5: AND
000013b6: OR
000013b7: DUP5
000013b8: SSTORE
000013b9: JUMPDEST
000013ba: POP
000013bb: POP
000013bc: DUP2
000013bd: SLOAD
000013be: PUSH1 0x01
000013c0: PUSH1 0xa0
000013c2: PUSH1 0x02
000013c4: EXP
000013c5: SUB
000013c6: SWAP1
000013c7: DUP2
000013c8: AND
000013c9: PUSH1 0x00
000013cb: DUP2
000013cc: DUP2
000013cd: MSTORE
000013ce: PUSH1 0x0f
000013d0: PUSH1 0x20
000013d2: MSTORE
000013d3: PUSH1 0x40
000013d5: DUP1
000013d6: DUP3
000013d7: KECCAK256
000013d8: DUP1
000013d9: SLOAD
000013da: DUP6
000013db: AND
000013dc: DUP1
000013dd: DUP5
000013de: MSTORE
000013df: SWAP2
000013e0: DUP4
000013e1: KECCAK256
000013e2: SLOAD
000013e3: SWAP3
000013e4: DUP5
000013e5: SWAP1
000013e6: MSTORE
000013e7: PUSH1 0x04
000013e9: ADD
000013ea: SLOAD
000013eb: SWAP3
000013ec: SWAP5
000013ed: POP
000013ee: SWAP3
000013ef: AND
000013f0: SWAP1
000013f1: PUSH2 0x13fb
000013f4: SWAP1
000013f5: PUSH1 0x01
000013f7: PUSH2 0x0588
000013fa: JUMP
000013fb: JUMPDEST
000013fc: PUSH1 0x01
000013fe: PUSH1 0xa0
00001400: PUSH1 0x02
00001402: EXP
00001403: SUB
00001404: DUP1
00001405: DUP6
00001406: AND
00001407: PUSH1 0x00
00001409: SWAP1
0000140a: DUP2
0000140b: MSTORE
0000140c: PUSH1 0x0f
0000140e: PUSH1 0x20
00001410: MSTORE
00001411: PUSH1 0x40
00001413: DUP1
00001414: DUP3
00001415: KECCAK256
00001416: PUSH1 0x04
00001418: ADD
00001419: SWAP4
0000141a: SWAP1
0000141b: SWAP4
0000141c: SSTORE
0000141d: SWAP1
0000141e: DUP5
0000141f: AND
00001420: DUP2
00001421: MSTORE
00001422: KECCAK256
00001423: PUSH1 0x05
00001425: ADD
00001426: SLOAD
00001427: PUSH2 0x1431
0000142a: SWAP1
0000142b: PUSH1 0x01
0000142d: PUSH2 0x0588
00001430: JUMP
00001431: JUMPDEST
00001432: PUSH1 0x01
00001434: PUSH1 0xa0
00001436: PUSH1 0x02
00001438: EXP
00001439: SUB
0000143a: DUP1
0000143b: DUP5
0000143c: AND
0000143d: PUSH1 0x00
0000143f: SWAP1
00001440: DUP2
00001441: MSTORE
00001442: PUSH1 0x0f
00001444: PUSH1 0x20
00001446: MSTORE
00001447: PUSH1 0x40
00001449: DUP1
0000144a: DUP3
0000144b: KECCAK256
0000144c: PUSH1 0x05
0000144e: ADD
0000144f: SWAP4
00001450: SWAP1
00001451: SWAP4
00001452: SSTORE
00001453: SWAP1
00001454: DUP4
00001455: AND
00001456: DUP2
00001457: MSTORE
00001458: KECCAK256
00001459: PUSH1 0x06
0000145b: ADD
0000145c: SLOAD
0000145d: PUSH2 0x1467
00001460: SWAP1
00001461: PUSH1 0x01
00001463: PUSH2 0x0588
00001466: JUMP
00001467: JUMPDEST
00001468: PUSH1 0x01
0000146a: PUSH1 0xa0
0000146c: PUSH1 0x02
0000146e: EXP
0000146f: SUB
00001470: SWAP1
00001471: SWAP2
00001472: AND
00001473: PUSH1 0x00
00001475: SWAP1
00001476: DUP2
00001477: MSTORE
00001478: PUSH1 0x0f
0000147a: PUSH1 0x20
0000147c: MSTORE
0000147d: PUSH1 0x40
0000147f: SWAP1
00001480: KECCAK256
00001481: PUSH1 0x06
00001483: ADD
00001484: SSTORE
00001485: POP
00001486: POP
00001487: POP
00001488: POP
00001489: POP
0000148a: JUMP
0000148b: JUMPDEST
0000148c: PUSH1 0x01
0000148e: PUSH1 0xa0
00001490: PUSH1 0x02
00001492: EXP
00001493: SUB
00001494: DUP1
00001495: DUP5
00001496: AND
00001497: PUSH1 0x00
00001499: SWAP1
0000149a: DUP2
0000149b: MSTORE
0000149c: PUSH1 0x0f
0000149e: PUSH1 0x20
000014a0: MSTORE
000014a1: PUSH1 0x40
000014a3: DUP1
000014a4: DUP3
000014a5: KECCAK256
000014a6: DUP1
000014a7: SLOAD
000014a8: DUP5
000014a9: AND
000014aa: DUP1
000014ab: DUP5
000014ac: MSTORE
000014ad: DUP3
000014ae: DUP5
000014af: KECCAK256
000014b0: SLOAD
000014b1: DUP6
000014b2: AND
000014b3: DUP1
000014b4: DUP6
000014b5: MSTORE
000014b6: SWAP3
000014b7: DUP5
000014b8: KECCAK256
000014b9: SLOAD
000014ba: SWAP2
000014bb: SWAP5
000014bc: SWAP1
000014bd: SWAP4
000014be: SWAP2
000014bf: AND
000014c0: SWAP1
000014c1: DUP7
000014c2: DUP5
000014c3: ISZERO
000014c4: DUP1
000014c5: ISZERO
000014c6: SWAP1
000014c7: PUSH2 0x14ea
000014ca: JUMPI
000014cb: POP
000014cc: PUSH1 0x05
000014ce: SLOAD
000014cf: PUSH1 0x01
000014d1: PUSH1 0xa0
000014d3: PUSH1 0x02
000014d5: EXP
000014d6: SUB
000014d7: DUP7
000014d8: AND
000014d9: PUSH1 0x00
000014db: SWAP1
000014dc: DUP2
000014dd: MSTORE
000014de: PUSH1 0x0b
000014e0: PUSH1 0x20
000014e2: MSTORE
000014e3: PUSH1 0x40
000014e5: SWAP1
000014e6: KECCAK256
000014e7: SLOAD
000014e8: LT
000014e9: ISZERO
000014ea: JUMPDEST
000014eb: ISZERO
000014ec: PUSH2 0x1550
000014ef: JUMPI
000014f0: PUSH2 0x1504
000014f3: PUSH2 0x14fd
000014f6: DUP10
000014f7: PUSH1 0x05
000014f9: PUSH2 0x1272
000014fc: JUMP
000014fd: JUMPDEST
000014fe: PUSH1 0x0a
00001500: PUSH2 0x125b
00001503: JUMP
00001504: JUMPDEST
00001505: SWAP2
00001506: POP
00001507: PUSH2 0x1510
0000150a: DUP2
0000150b: DUP4
0000150c: PUSH2 0x1249
0000150f: JUMP
00001510: JUMPDEST
00001511: PUSH1 0x01
00001513: PUSH1 0xa0
00001515: PUSH1 0x02
00001517: EXP
00001518: SUB
00001519: DUP7
0000151a: AND
0000151b: PUSH1 0x00
0000151d: SWAP1
0000151e: DUP2
0000151f: MSTORE
00001520: PUSH1 0x0c
00001522: PUSH1 0x20
00001524: MSTORE
00001525: PUSH1 0x40
00001527: SWAP1
00001528: KECCAK256
00001529: SLOAD
0000152a: SWAP1
0000152b: SWAP2
0000152c: POP
0000152d: PUSH2 0x1536
00001530: SWAP1
00001531: DUP4
00001532: PUSH2 0x0588
00001535: JUMP
00001536: JUMPDEST
00001537: PUSH1 0x01
00001539: PUSH1 0xa0
0000153b: PUSH1 0x02
0000153d: EXP
0000153e: SUB
0000153f: DUP7
00001540: AND
00001541: PUSH1 0x00
00001543: SWAP1
00001544: DUP2
00001545: MSTORE
00001546: PUSH1 0x0c
00001548: PUSH1 0x20
0000154a: MSTORE
0000154b: PUSH1 0x40
0000154d: SWAP1
0000154e: KECCAK256
0000154f: SSTORE
00001550: JUMPDEST
00001551: PUSH1 0x01
00001553: PUSH1 0xa0
00001555: PUSH1 0x02
00001557: EXP
00001558: SUB
00001559: DUP5
0000155a: AND
0000155b: ISZERO
0000155c: DUP1
0000155d: ISZERO
0000155e: SWAP1
0000155f: PUSH2 0x1582
00001562: JUMPI
00001563: POP
00001564: PUSH1 0x05
00001566: SLOAD
00001567: PUSH1 0x01
00001569: PUSH1 0xa0
0000156b: PUSH1 0x02
0000156d: EXP
0000156e: SUB
0000156f: DUP7
00001570: AND
00001571: PUSH1 0x00
00001573: SWAP1
00001574: DUP2
00001575: MSTORE
00001576: PUSH1 0x0b
00001578: PUSH1 0x20
0000157a: MSTORE
0000157b: PUSH1 0x40
0000157d: SWAP1
0000157e: KECCAK256
0000157f: SLOAD
00001580: LT
00001581: ISZERO
00001582: JUMPDEST
00001583: ISZERO
00001584: PUSH2 0x15e1
00001587: JUMPI
00001588: PUSH2 0x1595
0000158b: PUSH2 0x14fd
0000158e: DUP10
0000158f: PUSH1 0x03
00001591: PUSH2 0x1272
00001594: JUMP
00001595: JUMPDEST
00001596: SWAP2
00001597: POP
00001598: PUSH2 0x15a1
0000159b: DUP2
0000159c: DUP4
0000159d: PUSH2 0x1249
000015a0: JUMP
000015a1: JUMPDEST
000015a2: PUSH1 0x01
000015a4: PUSH1 0xa0
000015a6: PUSH1 0x02
000015a8: EXP
000015a9: SUB
000015aa: DUP6
000015ab: AND
000015ac: PUSH1 0x00
000015ae: SWAP1
000015af: DUP2
000015b0: MSTORE
000015b1: PUSH1 0x0c
000015b3: PUSH1 0x20
000015b5: MSTORE
000015b6: PUSH1 0x40
000015b8: SWAP1
000015b9: KECCAK256
000015ba: SLOAD
000015bb: SWAP1
000015bc: SWAP2
000015bd: POP
000015be: PUSH2 0x15c7
000015c1: SWAP1
000015c2: DUP4
000015c3: PUSH2 0x0588
000015c6: JUMP
000015c7: JUMPDEST
000015c8: PUSH1 0x01
000015ca: PUSH1 0xa0
000015cc: PUSH1 0x02
000015ce: EXP
000015cf: SUB
000015d0: DUP6
000015d1: AND
000015d2: PUSH1 0x00
000015d4: SWAP1
000015d5: DUP2
000015d6: MSTORE
000015d7: PUSH1 0x0c
000015d9: PUSH1 0x20
000015db: MSTORE
000015dc: PUSH1 0x40
000015de: SWAP1
000015df: KECCAK256
000015e0: SSTORE
000015e1: JUMPDEST
000015e2: PUSH1 0x01
000015e4: PUSH1 0xa0
000015e6: PUSH1 0x02
000015e8: EXP
000015e9: SUB
000015ea: DUP4
000015eb: AND
000015ec: ISZERO
000015ed: DUP1
000015ee: ISZERO
000015ef: SWAP1
000015f0: PUSH2 0x1613
000015f3: JUMPI
000015f4: POP
000015f5: PUSH1 0x05
000015f7: SLOAD
000015f8: PUSH1 0x01
000015fa: PUSH1 0xa0
000015fc: PUSH1 0x02
000015fe: EXP
000015ff: SUB
00001600: DUP7
00001601: AND
00001602: PUSH1 0x00
00001604: SWAP1
00001605: DUP2
00001606: MSTORE
00001607: PUSH1 0x0b
00001609: PUSH1 0x20
0000160b: MSTORE
0000160c: PUSH1 0x40
0000160e: SWAP1
0000160f: KECCAK256
00001610: SLOAD
00001611: LT
00001612: ISZERO
00001613: JUMPDEST
00001614: ISZERO
00001615: PUSH2 0x1672
00001618: JUMPI
00001619: PUSH2 0x1626
0000161c: PUSH2 0x14fd
0000161f: DUP10
00001620: PUSH1 0x02
00001622: PUSH2 0x1272
00001625: JUMP
00001626: JUMPDEST
00001627: SWAP2
00001628: POP
00001629: PUSH2 0x1632
0000162c: DUP2
0000162d: DUP4
0000162e: PUSH2 0x1249
00001631: JUMP
00001632: JUMPDEST
00001633: PUSH1 0x01
00001635: PUSH1 0xa0
00001637: PUSH1 0x02
00001639: EXP
0000163a: SUB
0000163b: DUP5
0000163c: AND
0000163d: PUSH1 0x00
0000163f: SWAP1
00001640: DUP2
00001641: MSTORE
00001642: PUSH1 0x0c
00001644: PUSH1 0x20
00001646: MSTORE
00001647: PUSH1 0x40
00001649: SWAP1
0000164a: KECCAK256
0000164b: SLOAD
0000164c: SWAP1
0000164d: SWAP2
0000164e: POP
0000164f: PUSH2 0x1658
00001652: SWAP1
00001653: DUP4
00001654: PUSH2 0x0588
00001657: JUMP
00001658: JUMPDEST
00001659: PUSH1 0x01
0000165b: PUSH1 0xa0
0000165d: PUSH1 0x02
0000165f: EXP
00001660: SUB
00001661: DUP5
00001662: AND
00001663: PUSH1 0x00
00001665: SWAP1
00001666: DUP2
00001667: MSTORE
00001668: PUSH1 0x0c
0000166a: PUSH1 0x20
0000166c: MSTORE
0000166d: PUSH1 0x40
0000166f: SWAP1
00001670: KECCAK256
00001671: SSTORE
00001672: JUMPDEST
00001673: PUSH1 0x00
00001675: DUP2
00001676: GT
00001677: ISZERO
00001678: PUSH2 0x16bc
0000167b: JUMPI
0000167c: PUSH1 0x0a
0000167e: SLOAD
0000167f: PUSH1 0x01
00001681: PUSH1 0xa0
00001683: PUSH1 0x02
00001685: EXP
00001686: SUB
00001687: AND
00001688: PUSH1 0x00
0000168a: SWAP1
0000168b: DUP2
0000168c: MSTORE
0000168d: PUSH1 0x0c
0000168f: PUSH1 0x20
00001691: MSTORE
00001692: PUSH1 0x40
00001694: SWAP1
00001695: KECCAK256
00001696: SLOAD
00001697: PUSH2 0x16a0
0000169a: SWAP1
0000169b: DUP3
0000169c: PUSH2 0x0588
0000169f: JUMP
000016a0: JUMPDEST
000016a1: PUSH1 0x0a
000016a3: SLOAD
000016a4: PUSH1 0x01
000016a6: PUSH1 0xa0
000016a8: PUSH1 0x02
000016aa: EXP
000016ab: SUB
000016ac: AND
000016ad: PUSH1 0x00
000016af: SWAP1
000016b0: DUP2
000016b1: MSTORE
000016b2: PUSH1 0x0c
000016b4: PUSH1 0x20
000016b6: MSTORE
000016b7: PUSH1 0x40
000016b9: SWAP1
000016ba: KECCAK256
000016bb: SSTORE
000016bc: JUMPDEST
000016bd: PUSH1 0x01
000016bf: PUSH1 0xa0
000016c1: PUSH1 0x02
000016c3: EXP
000016c4: SUB
000016c5: DUP6
000016c6: AND
000016c7: PUSH1 0x00
000016c9: SWAP1
000016ca: DUP2
000016cb: MSTORE
000016cc: PUSH1 0x0f
000016ce: PUSH1 0x20
000016d0: MSTORE
000016d1: PUSH1 0x40
000016d3: SWAP1
000016d4: KECCAK256
000016d5: PUSH1 0x01
000016d7: ADD
000016d8: SLOAD
000016d9: PUSH2 0x16e2
000016dc: SWAP1
000016dd: DUP9
000016de: PUSH2 0x0588
000016e1: JUMP
000016e2: JUMPDEST
000016e3: PUSH1 0x01
000016e5: PUSH1 0xa0
000016e7: PUSH1 0x02
000016e9: EXP
000016ea: SUB
000016eb: DUP1
000016ec: DUP8
000016ed: AND
000016ee: PUSH1 0x00
000016f0: SWAP1
000016f1: DUP2
000016f2: MSTORE
000016f3: PUSH1 0x0f
000016f5: PUSH1 0x20
000016f7: MSTORE
000016f8: PUSH1 0x40
000016fa: DUP1
000016fb: DUP3
000016fc: KECCAK256
000016fd: PUSH1 0x01
000016ff: ADD
00001700: SWAP4
00001701: SWAP1
00001702: SWAP4
00001703: SSTORE
00001704: SWAP1
00001705: DUP7
00001706: AND
00001707: DUP2
00001708: MSTORE
00001709: KECCAK256
0000170a: PUSH1 0x02
0000170c: ADD
0000170d: SLOAD
0000170e: PUSH2 0x1717
00001711: SWAP1
00001712: DUP9
00001713: PUSH2 0x0588
00001716: JUMP
00001717: JUMPDEST
00001718: PUSH1 0x01
0000171a: PUSH1 0xa0
0000171c: PUSH1 0x02
0000171e: EXP
0000171f: SUB
00001720: DUP1
00001721: DUP7
00001722: AND
00001723: PUSH1 0x00
00001725: SWAP1
00001726: DUP2
00001727: MSTORE
00001728: PUSH1 0x0f
0000172a: PUSH1 0x20
0000172c: MSTORE
0000172d: PUSH1 0x40
0000172f: DUP1
00001730: DUP3
00001731: KECCAK256
00001732: PUSH1 0x02
00001734: ADD
00001735: SWAP4
00001736: SWAP1
00001737: SWAP4
00001738: SSTORE
00001739: SWAP1
0000173a: DUP6
0000173b: AND
0000173c: DUP2
0000173d: MSTORE
0000173e: KECCAK256
0000173f: PUSH1 0x03
00001741: ADD
00001742: SLOAD
00001743: PUSH2 0x174c
00001746: SWAP1
00001747: DUP9
00001748: PUSH2 0x0588
0000174b: JUMP
0000174c: JUMPDEST
0000174d: PUSH1 0x01
0000174f: PUSH1 0xa0
00001751: PUSH1 0x02
00001753: EXP
00001754: SUB
00001755: SWAP1
00001756: SWAP4
00001757: AND
00001758: PUSH1 0x00
0000175a: SWAP1
0000175b: DUP2
0000175c: MSTORE
0000175d: PUSH1 0x0f
0000175f: PUSH1 0x20
00001761: MSTORE
00001762: PUSH1 0x40
00001764: SWAP1
00001765: KECCAK256
00001766: PUSH1 0x03
00001768: ADD
00001769: SWAP3
0000176a: SWAP1
0000176b: SWAP3
0000176c: SSTORE
0000176d: POP
0000176e: POP
0000176f: POP
00001770: POP
00001771: POP
00001772: POP
00001773: POP
00001774: POP
00001775: JUMP
00001776: JUMPDEST
00001777: PUSH1 0x02
00001779: SLOAD
0000177a: PUSH1 0x00
0000177c: SWAP1
0000177d: PUSH8 0x0de0b6b3a7640000
00001786: DUP1
00001787: DUP5
00001788: ADD
00001789: SWAP2
0000178a: DUP2
0000178b: ADD
0000178c: SWAP1
0000178d: DUP4
0000178e: SWAP1
0000178f: PUSH2 0x17dc
00001792: DUP7
00001793: PUSH5 0x02540be400
00001799: DUP4
0000179a: DUP7
0000179b: DIV
0000179c: PUSH5 0x02540be400
000017a2: MUL
000017a3: PUSH5 0x174876e800
000017a9: ADD
000017aa: SUB
000017ab: MUL
000017ac: PUSH1 0x02
000017ae: PUSH8 0x0de0b6b3a7640000
000017b7: DUP8
000017b8: PUSH1 0x02
000017ba: DUP10
000017bb: EXP
000017bc: SUB
000017bd: DUP2
000017be: ISZERO
000017bf: ISZERO
000017c0: PUSH2 0x17c5
000017c3: JUMPI
000017c4: INVALID
000017c5: JUMPDEST
000017c6: DIV
000017c7: PUSH5 0x02540be400
000017cd: MUL
000017ce: DUP2
000017cf: ISZERO
000017d0: ISZERO
000017d1: PUSH2 0x17d6
000017d4: JUMPI
000017d5: INVALID
000017d6: JUMPDEST
000017d7: DIV
000017d8: PUSH2 0x1249
000017db: JUMP
000017dc: JUMPDEST
000017dd: DUP2
000017de: ISZERO
000017df: ISZERO
000017e0: PUSH2 0x17e5
000017e3: JUMPI
000017e4: INVALID
000017e5: JUMPDEST
000017e6: DIV
000017e7: SWAP6
000017e8: SWAP5
000017e9: POP
000017ea: POP
000017eb: POP
000017ec: POP
000017ed: POP
000017ee: JUMP
000017ef: JUMPDEST
000017f0: PUSH1 0x00
000017f2: CALLER
000017f3: DUP2
000017f4: DUP1
000017f5: DUP1
000017f6: DUP1
000017f7: DUP1
000017f8: DUP1
000017f9: DUP1
000017fa: PUSH2 0x1804
000017fd: DUP12
000017fe: PUSH1 0x03
00001800: PUSH2 0x125b
00001803: JUMP
00001804: JUMPDEST
00001805: SWAP7
00001806: POP
00001807: PUSH2 0x1811
0000180a: DUP12
0000180b: PUSH1 0x0a
0000180d: PUSH2 0x125b
00001810: JUMP
00001811: JUMPDEST
00001812: SWAP6
00001813: POP
00001814: PUSH2 0x181d
00001817: DUP8
00001818: DUP8
00001819: PUSH2 0x1249
0000181c: JUMP
0000181d: JUMPDEST
0000181e: SWAP5
0000181f: POP
00001820: PUSH2 0x1829
00001823: DUP12
00001824: DUP9
00001825: PUSH2 0x1249
00001828: JUMP
00001829: JUMPDEST
0000182a: SWAP4
0000182b: POP
0000182c: PUSH2 0x1834
0000182f: DUP5
00001830: PUSH2 0x129d
00001833: JUMP
00001834: JUMPDEST
00001835: SWAP3
00001836: POP
00001837: PUSH9 0x010000000000000000
00001841: DUP6
00001842: MUL
00001843: SWAP2
00001844: POP
00001845: PUSH2 0x1850
00001848: PUSH1 0x07
0000184a: SLOAD
0000184b: DUP9
0000184c: PUSH2 0x0588
0000184f: JUMP
00001850: JUMPDEST
00001851: PUSH1 0x07
00001853: SSTORE
00001854: PUSH1 0x06
00001856: SLOAD
00001857: PUSH2 0x1860
0000185a: SWAP1
0000185b: DUP13
0000185c: PUSH2 0x0588
0000185f: JUMP
00001860: JUMPDEST
00001861: PUSH1 0x06
00001863: SSTORE
00001864: PUSH1 0x00
00001866: DUP4
00001867: GT
00001868: DUP1
00001869: ISZERO
0000186a: PUSH2 0x187d
0000186d: JUMPI
0000186e: POP
0000186f: PUSH1 0x02
00001871: SLOAD
00001872: PUSH2 0x187b
00001875: DUP5
00001876: DUP3
00001877: PUSH2 0x0588
0000187a: JUMP
0000187b: JUMPDEST
0000187c: GT
0000187d: JUMPDEST
0000187e: ISZERO
0000187f: ISZERO
00001880: PUSH2 0x1888
00001883: JUMPI
00001884: PUSH1 0x00
00001886: DUP1
00001887: REVERT
00001888: JUMPDEST
00001889: PUSH2 0x1893
0000188c: CALLER
0000188d: DUP8
0000188e: DUP14
0000188f: PUSH2 0x148b
00001892: JUMP
00001893: JUMPDEST
00001894: PUSH1 0x00
00001896: PUSH1 0x02
00001898: SLOAD
00001899: GT
0000189a: ISZERO
0000189b: PUSH2 0x18f7
0000189e: JUMPI
0000189f: PUSH2 0x18aa
000018a2: PUSH1 0x02
000018a4: SLOAD
000018a5: DUP5
000018a6: PUSH2 0x0588
000018a9: JUMP
000018aa: JUMPDEST
000018ab: PUSH1 0x02
000018ad: DUP2
000018ae: SWAP1
000018af: SSTORE
000018b0: PUSH9 0x010000000000000000
000018ba: DUP7
000018bb: MUL
000018bc: DUP2
000018bd: ISZERO
000018be: ISZERO
000018bf: PUSH2 0x18c4
000018c2: JUMPI
000018c3: INVALID
000018c4: JUMPDEST
000018c5: PUSH1 0x04
000018c7: DUP1
000018c8: SLOAD
000018c9: SWAP3
000018ca: SWAP1
000018cb: SWAP2
000018cc: DIV
000018cd: SWAP1
000018ce: SWAP2
000018cf: ADD
000018d0: SWAP1
000018d1: SSTORE
000018d2: PUSH1 0x02
000018d4: SLOAD
000018d5: PUSH9 0x010000000000000000
000018df: DUP7
000018e0: MUL
000018e1: DUP2
000018e2: ISZERO
000018e3: ISZERO
000018e4: PUSH2 0x18e9
000018e7: JUMPI
000018e8: INVALID
000018e9: JUMPDEST
000018ea: DIV
000018eb: DUP4
000018ec: MUL
000018ed: DUP3
000018ee: SUB
000018ef: DUP3
000018f0: SUB
000018f1: SWAP2
000018f2: POP
000018f3: PUSH2 0x18fd
000018f6: JUMP
000018f7: JUMPDEST
000018f8: PUSH1 0x02
000018fa: DUP4
000018fb: SWAP1
000018fc: SSTORE
000018fd: JUMPDEST
000018fe: PUSH1 0x01
00001900: PUSH1 0xa0
00001902: PUSH1 0x02
00001904: EXP
00001905: SUB
00001906: DUP9
00001907: AND
00001908: PUSH1 0x00
0000190a: SWAP1
0000190b: DUP2
0000190c: MSTORE
0000190d: PUSH1 0x0b
0000190f: PUSH1 0x20
00001911: MSTORE
00001912: PUSH1 0x40
00001914: SWAP1
00001915: KECCAK256
00001916: SLOAD
00001917: PUSH2 0x1920
0000191a: SWAP1
0000191b: DUP5
0000191c: PUSH2 0x0588
0000191f: JUMP
00001920: JUMPDEST
00001921: PUSH1 0x01
00001923: PUSH1 0xa0
00001925: PUSH1 0x02
00001927: EXP
00001928: SUB
00001929: DUP1
0000192a: DUP11
0000192b: AND
0000192c: PUSH1 0x00
0000192e: DUP2
0000192f: DUP2
00001930: MSTORE
00001931: PUSH1 0x0b
00001933: PUSH1 0x20
00001935: SWAP1
00001936: DUP2
00001937: MSTORE
00001938: PUSH1 0x40
0000193a: DUP1
0000193b: DUP4
0000193c: KECCAK256
0000193d: SWAP6
0000193e: SWAP1
0000193f: SWAP6
00001940: SSTORE
00001941: PUSH1 0x04
00001943: SLOAD
00001944: PUSH1 0x0d
00001946: SWAP1
00001947: SWAP2
00001948: MSTORE
00001949: SWAP1
0000194a: DUP5
0000194b: SWAP1
0000194c: KECCAK256
0000194d: DUP1
0000194e: SLOAD
0000194f: SWAP2
00001950: DUP9
00001951: MUL
00001952: DUP8
00001953: SWAP1
00001954: SUB
00001955: SWAP2
00001956: DUP3
00001957: ADD
00001958: SWAP1
00001959: SSTORE
0000195a: SWAP4
0000195b: POP
0000195c: SWAP1
0000195d: DUP13
0000195e: AND
0000195f: SWAP2
00001960: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
00001981: SWAP1
00001982: DUP15
00001983: SWAP1
00001984: DUP8
00001985: SWAP1
00001986: MLOAD
00001987: SWAP2
00001988: DUP3
00001989: MSTORE
0000198a: PUSH1 0x20
0000198c: DUP3
0000198d: ADD
0000198e: MSTORE
0000198f: PUSH1 0x40
00001991: SWAP1
00001992: DUP2
00001993: ADD
00001994: SWAP1
00001995: MLOAD
00001996: DUP1
00001997: SWAP2
00001998: SUB
00001999: SWAP1
0000199a: LOG3
0000199b: POP
0000199c: SWAP1
0000199d: SWAP10
0000199e: SWAP9
0000199f: POP
000019a0: POP
000019a1: POP
000019a2: POP
000019a3: POP
000019a4: POP
000019a5: POP
000019a6: POP
000019a7: POP
000019a8: JUMP
000019a9: JUMPDEST
000019aa: DUP1
000019ab: PUSH1 0x02
000019ad: PUSH1 0x01
000019af: DUP3
000019b0: ADD
000019b1: DIV
000019b2: JUMPDEST
000019b3: DUP2
000019b4: DUP2
000019b5: LT
000019b6: ISZERO
000019b7: PUSH2 0x0bf3
000019ba: JUMPI
000019bb: DUP1
000019bc: SWAP2
000019bd: POP
000019be: PUSH1 0x02
000019c0: DUP2
000019c1: DUP3
000019c2: DUP6
000019c3: DUP2
000019c4: ISZERO
000019c5: ISZERO
000019c6: PUSH2 0x19cb
000019c9: JUMPI
000019ca: INVALID
000019cb: JUMPDEST
000019cc: DIV
000019cd: ADD
000019ce: DUP2
000019cf: ISZERO
000019d0: ISZERO
000019d1: PUSH2 0x19d6
000019d4: JUMPI
000019d5: INVALID
000019d6: JUMPDEST
000019d7: DIV
000019d8: SWAP1
000019d9: POP
000019da: PUSH2 0x19b2
000019dd: JUMP
000019de: STOP
000019df: LOG1
000019e0: PUSH6 0x627a7a723058
000019e7: KECCAK256
000019e8: UNKNOWN(0xCE)
000019e9: UNKNOWN(0x22)
000019ea: UNKNOWN(0x26)
000019eb: NOT
000019ec: UNKNOWN(0xB2)
000019ed: LOG4
000019ee: UNKNOWN(0xE3)
000019ef: LOG2
000019f0: PUSH7 0x245a87616440a1
000019f8: CREATE2
000019f9: SWAP16
000019fa: SWAP13
000019fb: LOG1
000019fc: CALLDATACOPY
000019fd: SHL
000019fe: UNKNOWN(0xC1)
000019ff: PUSH3 0x3b8655
00001a03: UNKNOWN(0xEC)
00001a04: MLOAD
00001a05: UNKNOWN(0xFB)
00001a06: PUSH11
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x388d98fb1c4b579a34d95979ba45f1dde9e8ff2bdbc7cf055b882c2a51f1efe6 call_targets: 0xa4dce3845cb88a6fca0291d4eca9e5a96e75e2b4 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x388d98fb1c4b579a34d95979ba45f1dde9e8ff2bdbc7cf055b882c2a51f1efe6", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa4dce3845cb88a6fca0291d4eca9e5a96e75e2b4" ], "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": "0x041f8320", "selector": "0x041f8320", "calldata_variants": [ "0x041f8320", "0x041f83200000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3818c83c", "selector": "0x3818c83c", "calldata_variants": [ "0x3818c83c", "0x3818c83c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2698, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 1, "guards_detected": [], "untrusted_call_count": 1 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x388d98fb1c4b579a34d95979ba45f1dde9e8ff2bdbc7cf055b882c2a51f1efe6 call_targets: 0xa4dce3845cb88a6fca0291d4eca9e5a96e75e2b4 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x388d98fb1c4b579a34d95979ba45f1dde9e8ff2bdbc7cf055b882c2a51f1efe6", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa4dce3845cb88a6fca0291d4eca9e5a96e75e2b4" ], "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": "0x041f8320", "selector": "0x041f8320", "calldata_variants": [ "0x041f8320", "0x041f83200000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3818c83c", "selector": "0x3818c83c", "calldata_variants": [ "0x3818c83c", "0x3818c83c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2698, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 1, "guards_detected": [] }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0x594cae7835374dcc0a90831fa5386c0e22d7931c8479538191a660572459b09d validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x594cae7835374dcc0a90831fa5386c0e22d7931c8479538191a660572459b09d", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x041f8320", "selector": "0x041f8320", "calldata_variants": [ "0x041f8320", "0x041f83200000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3818c83c", "selector": "0x3818c83c", "calldata_variants": [ "0x3818c83c", "0x3818c83c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 0, "create2_count": 1 }
Severity