Analysis Run

019b477e-a8f9-70b2-b891-b06db9651a02

complete

Chain ID

1

Address

0xa1a979657a25a7f871c1588464cbb4a83bb96730

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

Bytecode only

Review Backing

Not yet

Best current signal

Authorization based on tx.origin

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
20531	artifact.fetch	complete	1 / 3	3 months ago
20532	tool.cast_disasm	complete	1 / 3	3 months ago
88513	analysis.bundle	complete	1 / 3	2 weeks ago
88514	capability.graph	complete	1 / 3	2 weeks ago
88515	detector.run	complete	1 / 3	2 weeks ago
88516	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

1

CREATE2

0

CALL-family (heavy)

20

EXT*/BALANCE

11

Total opcodes

4645

Flags

selfdestruct_present heavy_ext_balance_usage call_family_heavy

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0169
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x1afeefb1
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x0187
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x268d50fe
00000025: EQ
00000026: PUSH2 0x01ad
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x2e5b2168
00000030: EQ
00000031: PUSH2 0x01d3
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x301cf6e7
0000003b: EQ
0000003c: PUSH2 0x01e1
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x31375242
00000046: EQ
00000047: PUSH2 0x01fa
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x38bbfa50
00000051: EQ
00000052: PUSH2 0x0220
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x39849771
0000005c: EQ
0000005d: PUSH2 0x02eb
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x3a4f6999
00000067: EQ
00000068: PUSH2 0x02fa
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x3c314a91
00000072: EQ
00000073: PUSH2 0x0307
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x4b7fcee7
0000007d: EQ
0000007e: PUSH2 0x0331
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x4f44728d
00000088: EQ
00000089: PUSH2 0x0357
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x55b93031
00000093: EQ
00000094: PUSH2 0x037d
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x61d027b3
0000009e: EQ
0000009f: PUSH2 0x038a
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x6cdf4c90
000000a9: EQ
000000aa: PUSH2 0x03a1
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x6eacd48a
000000b4: EQ
000000b5: PUSH2 0x03c7
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x7072a977
000000bf: EQ
000000c0: PUSH2 0x03ed
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x7ac37d58
000000ca: EQ
000000cb: PUSH2 0x0409
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x8b7afe2e
000000d5: EQ
000000d6: PUSH2 0x0432
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x8da5cb5b
000000e0: EQ
000000e1: PUSH2 0x0440
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x9619367d
000000eb: EQ
000000ec: PUSH2 0x0457
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x9e4becee
000000f6: EQ
000000f7: PUSH2 0x0465
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xa5f4af33
00000101: EQ
00000102: PUSH2 0x0473
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xbefa1e2f
0000010c: EQ
0000010d: PUSH2 0x04a0
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xc3de1ab9
00000117: EQ
00000118: PUSH2 0x04ae
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xcf832ce2
00000122: EQ
00000123: PUSH2 0x04c7
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0xd207e757
0000012d: EQ
0000012e: PUSH2 0x04f6
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xd263b7eb
00000138: EQ
00000139: PUSH2 0x051c
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0xd667dcd7
00000143: EQ
00000144: PUSH2 0x053f
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xdc6dd152
0000014e: EQ
0000014f: PUSH2 0x054d
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xe5c774de
00000159: EQ
0000015a: PUSH2 0x0574
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xed62f501
00000164: EQ
00000165: PUSH2 0x0582
00000168: JUMPI
00000169: JUMPDEST
0000016a: PUSH2 0x0590
0000016d: PUSH1 0x03
0000016f: SLOAD
00000170: CALLER
00000171: PUSH1 0x01
00000173: PUSH1 0xa0
00000175: PUSH1 0x02
00000177: EXP
00000178: SUB
00000179: SWAP1
0000017a: DUP2
0000017b: AND
0000017c: SWAP2
0000017d: AND
0000017e: EQ
0000017f: PUSH2 0x0592
00000182: JUMPI
00000183: PUSH2 0x0002
00000186: JUMP
00000187: JUMPDEST
00000188: CALLVALUE
00000189: PUSH2 0x0002
0000018c: JUMPI
0000018d: PUSH2 0x0590
00000190: PUSH1 0x04
00000192: CALLDATALOAD
00000193: PUSH1 0x02
00000195: SLOAD
00000196: CALLER
00000197: PUSH1 0x01
00000199: PUSH1 0xa0
0000019b: PUSH1 0x02
0000019d: EXP
0000019e: SUB
0000019f: SWAP1
000001a0: DUP2
000001a1: AND
000001a2: SWAP2
000001a3: AND
000001a4: EQ
000001a5: PUSH2 0x066f
000001a8: JUMPI
000001a9: PUSH2 0x0002
000001ac: JUMP
000001ad: JUMPDEST
000001ae: CALLVALUE
000001af: PUSH2 0x0002
000001b2: JUMPI
000001b3: PUSH2 0x0590
000001b6: PUSH1 0x04
000001b8: CALLDATALOAD
000001b9: PUSH1 0x02
000001bb: SLOAD
000001bc: CALLER
000001bd: PUSH1 0x01
000001bf: PUSH1 0xa0
000001c1: PUSH1 0x02
000001c3: EXP
000001c4: SUB
000001c5: SWAP1
000001c6: DUP2
000001c7: AND
000001c8: SWAP2
000001c9: AND
000001ca: EQ
000001cb: PUSH2 0x068f
000001ce: JUMPI
000001cf: PUSH2 0x0002
000001d2: JUMP
000001d3: JUMPDEST
000001d4: CALLVALUE
000001d5: PUSH2 0x0002
000001d8: JUMPI
000001d9: PUSH2 0x05ee
000001dc: PUSH1 0x06
000001de: SLOAD
000001df: DUP2
000001e0: JUMP
000001e1: JUMPDEST
000001e2: CALLVALUE
000001e3: PUSH2 0x0002
000001e6: JUMPI
000001e7: PUSH2 0x0600
000001ea: PUSH1 0x02
000001ec: SLOAD
000001ed: PUSH1 0xff
000001ef: PUSH1 0xa0
000001f1: PUSH1 0x02
000001f3: EXP
000001f4: SWAP1
000001f5: SWAP2
000001f6: DIV
000001f7: AND
000001f8: DUP2
000001f9: JUMP
000001fa: JUMPDEST
000001fb: CALLVALUE
000001fc: PUSH2 0x0002
000001ff: JUMPI
00000200: PUSH2 0x0590
00000203: PUSH1 0x04
00000205: CALLDATALOAD
00000206: PUSH1 0x02
00000208: SLOAD
00000209: CALLER
0000020a: PUSH1 0x01
0000020c: PUSH1 0xa0
0000020e: PUSH1 0x02
00000210: EXP
00000211: SUB
00000212: SWAP1
00000213: DUP2
00000214: AND
00000215: SWAP2
00000216: AND
00000217: EQ
00000218: PUSH2 0x0694
0000021b: JUMPI
0000021c: PUSH2 0x0002
0000021f: JUMP
00000220: JUMPDEST
00000221: CALLVALUE
00000222: PUSH2 0x0002
00000225: JUMPI
00000226: PUSH1 0x40
00000228: DUP1
00000229: MLOAD
0000022a: PUSH1 0x20
0000022c: PUSH1 0x04
0000022e: PUSH1 0x24
00000230: DUP1
00000231: CALLDATALOAD
00000232: DUP3
00000233: DUP2
00000234: ADD
00000235: CALLDATALOAD
00000236: PUSH1 0x1f
00000238: DUP2
00000239: ADD
0000023a: DUP6
0000023b: SWAP1
0000023c: DIV
0000023d: DUP6
0000023e: MUL
0000023f: DUP7
00000240: ADD
00000241: DUP6
00000242: ADD
00000243: SWAP1
00000244: SWAP7
00000245: MSTORE
00000246: DUP6
00000247: DUP6
00000248: MSTORE
00000249: PUSH2 0x0590
0000024c: SWAP6
0000024d: DUP4
0000024e: CALLDATALOAD
0000024f: SWAP6
00000250: SWAP4
00000251: SWAP5
00000252: PUSH1 0x44
00000254: SWAP5
00000255: SWAP4
00000256: SWAP3
00000257: SWAP1
00000258: SWAP3
00000259: ADD
0000025a: SWAP2
0000025b: DUP2
0000025c: SWAP1
0000025d: DUP5
0000025e: ADD
0000025f: DUP4
00000260: DUP3
00000261: DUP1
00000262: DUP3
00000263: DUP5
00000264: CALLDATACOPY
00000265: POP
00000266: POP
00000267: PUSH1 0x40
00000269: DUP1
0000026a: MLOAD
0000026b: PUSH1 0x20
0000026d: SWAP8
0000026e: CALLDATALOAD
0000026f: DUP1
00000270: DUP11
00000271: ADD
00000272: CALLDATALOAD
00000273: PUSH1 0x1f
00000275: DUP2
00000276: ADD
00000277: DUP11
00000278: SWAP1
00000279: DIV
0000027a: DUP11
0000027b: MUL
0000027c: DUP4
0000027d: ADD
0000027e: DUP11
0000027f: ADD
00000280: SWAP1
00000281: SWAP4
00000282: MSTORE
00000283: DUP3
00000284: DUP3
00000285: MSTORE
00000286: SWAP7
00000287: SWAP9
00000288: SWAP8
00000289: PUSH1 0x64
0000028b: SWAP8
0000028c: SWAP2
0000028d: SWAP7
0000028e: POP
0000028f: PUSH1 0x24
00000291: SWAP2
00000292: SWAP1
00000293: SWAP2
00000294: ADD
00000295: SWAP5
00000296: POP
00000297: SWAP1
00000298: SWAP3
00000299: POP
0000029a: DUP3
0000029b: SWAP2
0000029c: POP
0000029d: DUP5
0000029e: ADD
0000029f: DUP4
000002a0: DUP3
000002a1: DUP1
000002a2: DUP3
000002a3: DUP5
000002a4: CALLDATACOPY
000002a5: POP
000002a6: SWAP5
000002a7: SWAP7
000002a8: POP
000002a9: POP
000002aa: POP
000002ab: POP
000002ac: POP
000002ad: POP
000002ae: POP
000002af: PUSH2 0x06b3
000002b2: PUSH1 0x00
000002b4: DUP1
000002b5: SLOAD
000002b6: PUSH1 0x01
000002b8: PUSH1 0xa0
000002ba: PUSH1 0x02
000002bc: EXP
000002bd: SUB
000002be: AND
000002bf: ISZERO
000002c0: ISZERO
000002c1: PUSH2 0x13d3
000002c4: JUMPI
000002c5: PUSH2 0x13d1
000002c8: PUSH1 0x00
000002ca: JUMPDEST
000002cb: PUSH1 0x00
000002cd: PUSH1 0x00
000002cf: PUSH2 0x17a3
000002d2: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed
000002e7: JUMPDEST
000002e8: EXTCODESIZE
000002e9: SWAP1
000002ea: JUMP
000002eb: JUMPDEST
000002ec: CALLVALUE
000002ed: PUSH2 0x0002
000002f0: JUMPI
000002f1: PUSH2 0x05ee
000002f4: PUSH3 0x0f4240
000002f8: DUP2
000002f9: JUMP
000002fa: JUMPDEST
000002fb: CALLVALUE
000002fc: PUSH2 0x0002
000002ff: JUMPI
00000300: PUSH2 0x05ee
00000303: PUSH1 0x63
00000305: DUP2
00000306: JUMP
00000307: JUMPDEST
00000308: CALLVALUE
00000309: PUSH2 0x0002
0000030c: JUMPI
0000030d: PUSH2 0x05ee
00000310: PUSH1 0x04
00000312: CALLDATALOAD
00000313: PUSH1 0x01
00000315: PUSH1 0xa0
00000317: PUSH1 0x02
00000319: EXP
0000031a: SUB
0000031b: DUP2
0000031c: AND
0000031d: PUSH1 0x00
0000031f: SWAP1
00000320: DUP2
00000321: MSTORE
00000322: PUSH1 0x13
00000324: PUSH1 0x20
00000326: MSTORE
00000327: PUSH1 0x40
00000329: SWAP1
0000032a: KECCAK256
0000032b: SLOAD
0000032c: JUMPDEST
0000032d: SWAP2
0000032e: SWAP1
0000032f: POP
00000330: JUMP
00000331: JUMPDEST
00000332: CALLVALUE
00000333: PUSH2 0x0002
00000336: JUMPI
00000337: PUSH2 0x0590
0000033a: PUSH1 0x04
0000033c: CALLDATALOAD
0000033d: PUSH1 0x02
0000033f: SLOAD
00000340: CALLER
00000341: PUSH1 0x01
00000343: PUSH1 0xa0
00000345: PUSH1 0x02
00000347: EXP
00000348: SUB
00000349: SWAP1
0000034a: DUP2
0000034b: AND
0000034c: SWAP2
0000034d: AND
0000034e: EQ
0000034f: PUSH2 0x0f95
00000352: JUMPI
00000353: PUSH2 0x0002
00000356: JUMP
00000357: JUMPDEST
00000358: CALLVALUE
00000359: PUSH2 0x0002
0000035c: JUMPI
0000035d: PUSH2 0x0590
00000360: PUSH1 0x04
00000362: CALLDATALOAD
00000363: PUSH1 0x02
00000365: SLOAD
00000366: CALLER
00000367: PUSH1 0x01
00000369: PUSH1 0xa0
0000036b: PUSH1 0x02
0000036d: EXP
0000036e: SUB
0000036f: SWAP1
00000370: DUP2
00000371: AND
00000372: SWAP2
00000373: AND
00000374: EQ
00000375: PUSH2 0x0fba
00000378: JUMPI
00000379: PUSH2 0x0002
0000037c: JUMP
0000037d: JUMPDEST
0000037e: CALLVALUE
0000037f: PUSH2 0x0002
00000382: JUMPI
00000383: PUSH2 0x05ee
00000386: PUSH1 0x02
00000388: DUP2
00000389: JUMP
0000038a: JUMPDEST
0000038b: CALLVALUE
0000038c: PUSH2 0x0002
0000038f: JUMPI
00000390: PUSH2 0x0614
00000393: PUSH1 0x03
00000395: SLOAD
00000396: PUSH1 0x01
00000398: PUSH1 0xa0
0000039a: PUSH1 0x02
0000039c: EXP
0000039d: SUB
0000039e: AND
0000039f: DUP2
000003a0: JUMP
000003a1: JUMPDEST
000003a2: CALLVALUE
000003a3: PUSH2 0x0002
000003a6: JUMPI
000003a7: PUSH2 0x0590
000003aa: PUSH1 0x04
000003ac: CALLDATALOAD
000003ad: PUSH1 0x02
000003af: SLOAD
000003b0: CALLER
000003b1: PUSH1 0x01
000003b3: PUSH1 0xa0
000003b5: PUSH1 0x02
000003b7: EXP
000003b8: SUB
000003b9: SWAP1
000003ba: DUP2
000003bb: AND
000003bc: SWAP2
000003bd: AND
000003be: EQ
000003bf: PUSH2 0x0fd9
000003c2: JUMPI
000003c3: PUSH2 0x0002
000003c6: JUMP
000003c7: JUMPDEST
000003c8: CALLVALUE
000003c9: PUSH2 0x0002
000003cc: JUMPI
000003cd: PUSH2 0x0590
000003d0: PUSH1 0x04
000003d2: CALLDATALOAD
000003d3: PUSH1 0x02
000003d5: SLOAD
000003d6: CALLER
000003d7: PUSH1 0x01
000003d9: PUSH1 0xa0
000003db: PUSH1 0x02
000003dd: EXP
000003de: SUB
000003df: SWAP1
000003e0: DUP2
000003e1: AND
000003e2: SWAP2
000003e3: AND
000003e4: EQ
000003e5: PUSH2 0x0fde
000003e8: JUMPI
000003e9: PUSH2 0x0002
000003ec: JUMP
000003ed: JUMPDEST
000003ee: CALLVALUE
000003ef: PUSH2 0x0002
000003f2: JUMPI
000003f3: PUSH2 0x0630
000003f6: PUSH1 0x01
000003f8: SLOAD
000003f9: PUSH4 0xffffffff
000003fe: PUSH1 0xa8
00000400: PUSH1 0x02
00000402: EXP
00000403: SWAP1
00000404: SWAP2
00000405: DIV
00000406: AND
00000407: DUP2
00000408: JUMP
00000409: JUMPDEST
0000040a: CALLVALUE
0000040b: PUSH2 0x0002
0000040e: JUMPI
0000040f: PUSH2 0x0590
00000412: PUSH1 0x04
00000414: CALLDATALOAD
00000415: PUSH1 0x24
00000417: CALLDATALOAD
00000418: PUSH1 0x02
0000041a: SLOAD
0000041b: CALLER
0000041c: PUSH1 0x01
0000041e: PUSH1 0xa0
00000420: PUSH1 0x02
00000422: EXP
00000423: SUB
00000424: SWAP1
00000425: DUP2
00000426: AND
00000427: SWAP2
00000428: AND
00000429: EQ
0000042a: PUSH2 0x0b1c
0000042d: JUMPI
0000042e: PUSH2 0x0002
00000431: JUMP
00000432: JUMPDEST
00000433: CALLVALUE
00000434: PUSH2 0x0002
00000437: JUMPI
00000438: PUSH2 0x05ee
0000043b: PUSH1 0x04
0000043d: SLOAD
0000043e: DUP2
0000043f: JUMP
00000440: JUMPDEST
00000441: CALLVALUE
00000442: PUSH2 0x0002
00000445: JUMPI
00000446: PUSH2 0x0614
00000449: PUSH1 0x02
0000044b: SLOAD
0000044c: PUSH1 0x01
0000044e: PUSH1 0xa0
00000450: PUSH1 0x02
00000452: EXP
00000453: SUB
00000454: AND
00000455: DUP2
00000456: JUMP
00000457: JUMPDEST
00000458: CALLVALUE
00000459: PUSH2 0x0002
0000045c: JUMPI
0000045d: PUSH2 0x05ee
00000460: PUSH1 0x08
00000462: SLOAD
00000463: DUP2
00000464: JUMP
00000465: JUMPDEST
00000466: CALLVALUE
00000467: PUSH2 0x0002
0000046a: JUMPI
0000046b: PUSH2 0x05ee
0000046e: PUSH1 0x07
00000470: SLOAD
00000471: DUP2
00000472: JUMP
00000473: JUMPDEST
00000474: CALLVALUE
00000475: PUSH2 0x0002
00000478: JUMPI
00000479: PUSH2 0x0600
0000047c: PUSH1 0x00
0000047e: PUSH1 0x00
00000480: PUSH1 0x02
00000482: PUSH1 0x14
00000484: SWAP1
00000485: SLOAD
00000486: SWAP1
00000487: PUSH2 0x0100
0000048a: EXP
0000048b: SWAP1
0000048c: DIV
0000048d: PUSH1 0xff
0000048f: AND
00000490: ISZERO
00000491: ISZERO
00000492: PUSH1 0x01
00000494: ISZERO
00000495: ISZERO
00000496: EQ
00000497: ISZERO
00000498: PUSH2 0x1078
0000049b: JUMPI
0000049c: PUSH2 0x0002
0000049f: JUMP
000004a0: JUMPDEST
000004a1: CALLVALUE
000004a2: PUSH2 0x0002
000004a5: JUMPI
000004a6: PUSH2 0x05ee
000004a9: PUSH1 0x09
000004ab: SLOAD
000004ac: DUP2
000004ad: JUMP
000004ae: JUMPDEST
000004af: CALLVALUE
000004b0: PUSH2 0x0002
000004b3: JUMPI
000004b4: PUSH2 0x0600
000004b7: PUSH1 0x01
000004b9: SLOAD
000004ba: PUSH1 0xff
000004bc: PUSH1 0xa0
000004be: PUSH1 0x02
000004c0: EXP
000004c1: SWAP1
000004c2: SWAP2
000004c3: DIV
000004c4: AND
000004c5: DUP2
000004c6: JUMP
000004c7: JUMPDEST
000004c8: CALLVALUE
000004c9: PUSH2 0x0002
000004cc: JUMPI
000004cd: PUSH2 0x0590
000004d0: PUSH1 0x04
000004d2: CALLDATALOAD
000004d3: PUSH1 0x24
000004d5: CALLDATALOAD
000004d6: PUSH1 0x44
000004d8: CALLDATALOAD
000004d9: PUSH1 0x64
000004db: CALLDATALOAD
000004dc: PUSH1 0x02
000004de: SLOAD
000004df: CALLER
000004e0: PUSH1 0x01
000004e2: PUSH1 0xa0
000004e4: PUSH1 0x02
000004e6: EXP
000004e7: SUB
000004e8: SWAP1
000004e9: DUP2
000004ea: AND
000004eb: SWAP2
000004ec: AND
000004ed: EQ
000004ee: PUSH2 0x10df
000004f1: JUMPI
000004f2: PUSH2 0x0002
000004f5: JUMP
000004f6: JUMPDEST
000004f7: CALLVALUE
000004f8: PUSH2 0x0002
000004fb: JUMPI
000004fc: PUSH2 0x0590
000004ff: PUSH1 0x04
00000501: CALLDATALOAD
00000502: PUSH1 0x02
00000504: SLOAD
00000505: CALLER
00000506: PUSH1 0x01
00000508: PUSH1 0xa0
0000050a: PUSH1 0x02
0000050c: EXP
0000050d: SUB
0000050e: SWAP1
0000050f: DUP2
00000510: AND
00000511: SWAP2
00000512: AND
00000513: EQ
00000514: PUSH2 0x115d
00000517: JUMPI
00000518: PUSH2 0x0002
0000051b: JUMP
0000051c: JUMPDEST
0000051d: CALLVALUE
0000051e: PUSH2 0x0002
00000521: JUMPI
00000522: PUSH2 0x0590
00000525: PUSH1 0x02
00000527: SLOAD
00000528: CALLER
00000529: PUSH1 0x01
0000052b: PUSH1 0xa0
0000052d: PUSH1 0x02
0000052f: EXP
00000530: SUB
00000531: SWAP1
00000532: DUP2
00000533: AND
00000534: SWAP2
00000535: AND
00000536: EQ
00000537: PUSH2 0x1194
0000053a: JUMPI
0000053b: PUSH2 0x0002
0000053e: JUMP
0000053f: JUMPDEST
00000540: CALLVALUE
00000541: PUSH2 0x0002
00000544: JUMPI
00000545: PUSH2 0x05ee
00000548: PUSH1 0x05
0000054a: SLOAD
0000054b: DUP2
0000054c: JUMP
0000054d: JUMPDEST
0000054e: PUSH1 0x01
00000550: DUP1
00000551: SLOAD
00000552: PUSH2 0x0590
00000555: SWAP2
00000556: PUSH1 0x04
00000558: CALLDATALOAD
00000559: SWAP2
0000055a: PUSH1 0x00
0000055c: SWAP2
0000055d: PUSH1 0xa0
0000055f: PUSH1 0x02
00000561: EXP
00000562: SWAP1
00000563: SWAP2
00000564: DIV
00000565: PUSH1 0xff
00000567: AND
00000568: ISZERO
00000569: ISZERO
0000056a: EQ
0000056b: ISZERO
0000056c: PUSH2 0x11a2
0000056f: JUMPI
00000570: PUSH2 0x0002
00000573: JUMP
00000574: JUMPDEST
00000575: CALLVALUE
00000576: PUSH2 0x0002
00000579: JUMPI
0000057a: PUSH2 0x05ee
0000057d: PUSH2 0x03e8
00000580: DUP2
00000581: JUMP
00000582: JUMPDEST
00000583: CALLVALUE
00000584: PUSH2 0x0002
00000587: JUMPI
00000588: PUSH2 0x05ee
0000058b: PUSH1 0x0a
0000058d: SLOAD
0000058e: DUP2
0000058f: JUMP
00000590: JUMPDEST
00000591: STOP
00000592: JUMPDEST
00000593: PUSH1 0x04
00000595: SLOAD
00000596: PUSH2 0x05b0
00000599: SWAP1
0000059a: CALLVALUE
0000059b: JUMPDEST
0000059c: PUSH1 0x00
0000059e: PUSH2 0x0649
000005a1: DUP4
000005a2: DUP4
000005a3: DUP1
000005a4: DUP3
000005a5: ADD
000005a6: DUP3
000005a7: SWAP1
000005a8: LT
000005a9: ISZERO
000005aa: JUMPDEST
000005ab: SWAP3
000005ac: SWAP2
000005ad: POP
000005ae: POP
000005af: JUMP
000005b0: JUMPDEST
000005b1: PUSH1 0x04
000005b3: SSTORE
000005b4: PUSH2 0x05ec
000005b7: JUMPDEST
000005b8: PUSH1 0x07
000005ba: SLOAD
000005bb: PUSH1 0x04
000005bd: SLOAD
000005be: PUSH3 0x0f4240
000005c2: SWAP2
000005c3: MUL
000005c4: DIV
000005c5: PUSH1 0x06
000005c7: DUP2
000005c8: SWAP1
000005c9: SSTORE
000005ca: PUSH1 0x08
000005cc: SLOAD
000005cd: PUSH1 0x01
000005cf: ADD
000005d0: SWAP1
000005d1: GT
000005d2: PUSH2 0x065d
000005d5: JUMPI
000005d6: PUSH1 0x01
000005d8: DUP1
000005d9: SLOAD
000005da: PUSH1 0xa0
000005dc: PUSH1 0x02
000005de: EXP
000005df: PUSH1 0xff
000005e1: MUL
000005e2: NOT
000005e3: AND
000005e4: PUSH1 0xa0
000005e6: PUSH1 0x02
000005e8: EXP
000005e9: OR
000005ea: SWAP1
000005eb: SSTORE
000005ec: JUMPDEST
000005ed: JUMP
000005ee: JUMPDEST
000005ef: PUSH1 0x40
000005f1: DUP1
000005f2: MLOAD
000005f3: SWAP2
000005f4: DUP3
000005f5: MSTORE
000005f6: MLOAD
000005f7: SWAP1
000005f8: DUP2
000005f9: SWAP1
000005fa: SUB
000005fb: PUSH1 0x20
000005fd: ADD
000005fe: SWAP1
000005ff: RETURN
00000600: JUMPDEST
00000601: PUSH1 0x40
00000603: DUP1
00000604: MLOAD
00000605: SWAP2
00000606: ISZERO
00000607: ISZERO
00000608: DUP3
00000609: MSTORE
0000060a: MLOAD
0000060b: SWAP1
0000060c: DUP2
0000060d: SWAP1
0000060e: SUB
0000060f: PUSH1 0x20
00000611: ADD
00000612: SWAP1
00000613: RETURN
00000614: JUMPDEST
00000615: PUSH1 0x40
00000617: DUP1
00000618: MLOAD
00000619: PUSH1 0x01
0000061b: PUSH1 0xa0
0000061d: PUSH1 0x02
0000061f: EXP
00000620: SUB
00000621: SWAP1
00000622: SWAP3
00000623: AND
00000624: DUP3
00000625: MSTORE
00000626: MLOAD
00000627: SWAP1
00000628: DUP2
00000629: SWAP1
0000062a: SUB
0000062b: PUSH1 0x20
0000062d: ADD
0000062e: SWAP1
0000062f: RETURN
00000630: JUMPDEST
00000631: PUSH1 0x40
00000633: DUP1
00000634: MLOAD
00000635: PUSH4 0xffffffff
0000063a: SWAP1
0000063b: SWAP3
0000063c: AND
0000063d: DUP3
0000063e: MSTORE
0000063f: MLOAD
00000640: SWAP1
00000641: DUP2
00000642: SWAP1
00000643: SUB
00000644: PUSH1 0x20
00000646: ADD
00000647: SWAP1
00000648: RETURN
00000649: JUMPDEST
0000064a: ISZERO
0000064b: ISZERO
0000064c: PUSH2 0x0654
0000064f: JUMPI
00000650: PUSH2 0x0002
00000653: JUMP
00000654: JUMPDEST
00000655: POP
00000656: DUP2
00000657: DUP2
00000658: ADD
00000659: PUSH2 0x05aa
0000065c: JUMP
0000065d: JUMPDEST
0000065e: PUSH1 0x01
00000660: DUP1
00000661: SLOAD
00000662: PUSH1 0xa0
00000664: PUSH1 0x02
00000666: EXP
00000667: PUSH1 0xff
00000669: MUL
0000066a: NOT
0000066b: AND
0000066c: SWAP1
0000066d: SSTORE
0000066e: JUMP
0000066f: JUMPDEST
00000670: PUSH3 0x0186a0
00000674: DUP2
00000675: GT
00000676: ISZERO
00000677: PUSH2 0x067f
0000067a: JUMPI
0000067b: PUSH2 0x0002
0000067e: JUMP
0000067f: JUMPDEST
00000680: PUSH1 0x07
00000682: DUP2
00000683: SWAP1
00000684: SSTORE
00000685: PUSH2 0x068c
00000688: PUSH2 0x05b7
0000068b: JUMP
0000068c: JUMPDEST
0000068d: POP
0000068e: JUMP
0000068f: JUMPDEST
00000690: PUSH1 0x05
00000692: SSTORE
00000693: JUMP
00000694: JUMPDEST
00000695: PUSH1 0x03
00000697: DUP1
00000698: SLOAD
00000699: PUSH1 0x60
0000069b: PUSH1 0x02
0000069d: EXP
0000069e: DUP1
0000069f: DUP5
000006a0: MUL
000006a1: DIV
000006a2: PUSH1 0x01
000006a4: PUSH1 0xa0
000006a6: PUSH1 0x02
000006a8: EXP
000006a9: SUB
000006aa: NOT
000006ab: SWAP1
000006ac: SWAP2
000006ad: AND
000006ae: OR
000006af: SWAP1
000006b0: SSTORE
000006b1: POP
000006b2: JUMP
000006b3: JUMPDEST
000006b4: PUSH1 0x01
000006b6: PUSH1 0xa0
000006b8: PUSH1 0x02
000006ba: EXP
000006bb: SUB
000006bc: AND
000006bd: CALLER
000006be: PUSH1 0x01
000006c0: PUSH1 0xa0
000006c2: PUSH1 0x02
000006c4: EXP
000006c5: SUB
000006c6: AND
000006c7: EQ
000006c8: ISZERO
000006c9: ISZERO
000006ca: PUSH2 0x06d2
000006cd: JUMPI
000006ce: PUSH2 0x0002
000006d1: JUMP
000006d2: JUMPDEST
000006d3: PUSH1 0x02
000006d5: SLOAD
000006d6: PUSH1 0xa0
000006d8: PUSH1 0x02
000006da: EXP
000006db: SWAP1
000006dc: DIV
000006dd: PUSH1 0xff
000006df: AND
000006e0: ISZERO
000006e1: ISZERO
000006e2: PUSH1 0x01
000006e4: EQ
000006e5: ISZERO
000006e6: PUSH2 0x06ee
000006e9: JUMPI
000006ea: PUSH2 0x0002
000006ed: JUMP
000006ee: JUMPDEST
000006ef: PUSH1 0x00
000006f1: DUP4
000006f2: DUP2
000006f3: MSTORE
000006f4: PUSH1 0x0b
000006f6: PUSH1 0x20
000006f8: MSTORE
000006f9: PUSH1 0x40
000006fb: SWAP1
000006fc: KECCAK256
000006fd: SLOAD
000006fe: PUSH1 0x01
00000700: PUSH1 0xa0
00000702: PUSH1 0x02
00000704: EXP
00000705: SUB
00000706: AND
00000707: ISZERO
00000708: ISZERO
00000709: PUSH2 0x0711
0000070c: JUMPI
0000070d: PUSH2 0x0002
00000710: JUMP
00000711: JUMPDEST
00000712: PUSH2 0x07da
00000715: DUP3
00000716: PUSH1 0x00
00000718: PUSH2 0x14cb
0000071b: DUP3
0000071c: PUSH1 0x00
0000071e: PUSH1 0x40
00000720: DUP1
00000721: MLOAD
00000722: PUSH1 0x20
00000724: DUP2
00000725: ADD
00000726: SWAP1
00000727: SWAP2
00000728: MSTORE
00000729: PUSH1 0x00
0000072b: SWAP1
0000072c: DUP2
0000072d: SWAP1
0000072e: MSTORE
0000072f: DUP3
00000730: DUP2
00000731: DUP1
00000732: DUP1
00000733: JUMPDEST
00000734: DUP4
00000735: MLOAD
00000736: DUP2
00000737: LT
00000738: ISZERO
00000739: PUSH2 0x07bb
0000073c: JUMPI
0000073d: PUSH1 0x30
0000073f: PUSH1 0xf8
00000741: PUSH1 0x02
00000743: EXP
00000744: MUL
00000745: DUP5
00000746: DUP3
00000747: DUP2
00000748: MLOAD
00000749: DUP2
0000074a: LT
0000074b: ISZERO
0000074c: PUSH2 0x0002
0000074f: JUMPI
00000750: SWAP1
00000751: PUSH1 0x20
00000753: ADD
00000754: ADD
00000755: MLOAD
00000756: PUSH1 0xf8
00000758: PUSH1 0x02
0000075a: EXP
0000075b: SWAP1
0000075c: DIV
0000075d: PUSH1 0xf8
0000075f: PUSH1 0x02
00000761: EXP
00000762: MUL
00000763: PUSH1 0x01
00000765: PUSH1 0xf8
00000767: PUSH1 0x02
00000769: EXP
0000076a: SUB
0000076b: NOT
0000076c: AND
0000076d: LT
0000076e: ISZERO
0000076f: DUP1
00000770: ISZERO
00000771: PUSH2 0x07a8
00000774: JUMPI
00000775: POP
00000776: PUSH1 0x39
00000778: PUSH1 0xf8
0000077a: PUSH1 0x02
0000077c: EXP
0000077d: MUL
0000077e: DUP5
0000077f: DUP3
00000780: DUP2
00000781: MLOAD
00000782: DUP2
00000783: LT
00000784: ISZERO
00000785: PUSH2 0x0002
00000788: JUMPI
00000789: SWAP1
0000078a: PUSH1 0x20
0000078c: ADD
0000078d: ADD
0000078e: MLOAD
0000078f: PUSH1 0xf8
00000791: PUSH1 0x02
00000793: EXP
00000794: SWAP1
00000795: DIV
00000796: PUSH1 0xf8
00000798: PUSH1 0x02
0000079a: EXP
0000079b: MUL
0000079c: PUSH1 0x01
0000079e: PUSH1 0xf8
000007a0: PUSH1 0x02
000007a2: EXP
000007a3: SUB
000007a4: NOT
000007a5: AND
000007a6: GT
000007a7: ISZERO
000007a8: JUMPDEST
000007a9: ISZERO
000007aa: PUSH2 0x1885
000007ad: JUMPI
000007ae: DUP2
000007af: ISZERO
000007b0: PUSH2 0x18d0
000007b3: JUMPI
000007b4: DUP6
000007b5: ISZERO
000007b6: ISZERO
000007b7: PUSH2 0x18c8
000007ba: JUMPI
000007bb: JUMPDEST
000007bc: PUSH1 0x00
000007be: DUP7
000007bf: GT
000007c0: ISZERO
000007c1: PUSH2 0x07cf
000007c4: JUMPI
000007c5: DUP6
000007c6: PUSH1 0x0a
000007c8: EXP
000007c9: DUP4
000007ca: MUL
000007cb: SWAP3
000007cc: POP
000007cd: DUP3
000007ce: POP
000007cf: JUMPDEST
000007d0: POP
000007d1: SWAP1
000007d2: SWAP6
000007d3: SWAP5
000007d4: POP
000007d5: POP
000007d6: POP
000007d7: POP
000007d8: POP
000007d9: JUMP
000007da: JUMPDEST
000007db: PUSH1 0x00
000007dd: DUP5
000007de: DUP2
000007df: MSTORE
000007e0: PUSH1 0x10
000007e2: PUSH1 0x20
000007e4: SWAP1
000007e5: DUP2
000007e6: MSTORE
000007e7: PUSH1 0x40
000007e9: DUP1
000007ea: DUP4
000007eb: KECCAK256
000007ec: DUP5
000007ed: SWAP1
000007ee: SSTORE
000007ef: MLOAD
000007f0: DUP4
000007f1: DUP2
000007f2: MSTORE
000007f3: DUP5
000007f4: MLOAD
000007f5: PUSH1 0x63
000007f7: SWAP5
000007f8: SWAP4
000007f9: DUP7
000007fa: SWAP4
000007fb: DUP4
000007fc: DUP2
000007fd: ADD
000007fe: SWAP3
000007ff: DUP6
00000800: DUP3
00000801: ADD
00000802: SWAP3
00000803: SWAP1
00000804: SWAP2
00000805: DUP3
00000806: SWAP2
00000807: DUP6
00000808: SWAP2
00000809: DUP4
0000080a: SWAP2
0000080b: DUP7
0000080c: SWAP2
0000080d: PUSH1 0x04
0000080f: SWAP1
00000810: PUSH1 0x1f
00000812: DUP6
00000813: ADD
00000814: DIV
00000815: PUSH1 0x03
00000817: MUL
00000818: PUSH1 0x0f
0000081a: ADD
0000081b: CALL
0000081c: POP
0000081d: SWAP1
0000081e: POP
0000081f: ADD
00000820: SWAP3
00000821: POP
00000822: POP
00000823: POP
00000824: PUSH1 0x40
00000826: MLOAD
00000827: DUP1
00000828: SWAP2
00000829: SUB
0000082a: SWAP1
0000082b: KECCAK256
0000082c: PUSH1 0x01
0000082e: SWAP1
0000082f: DIV
00000830: DUP2
00000831: ISZERO
00000832: PUSH2 0x0002
00000835: JUMPI
00000836: PUSH1 0x00
00000838: DUP6
00000839: DUP2
0000083a: MSTORE
0000083b: PUSH1 0x11
0000083d: PUSH1 0x20
0000083f: SWAP1
00000840: DUP2
00000841: MSTORE
00000842: PUSH1 0x40
00000844: DUP1
00000845: DUP4
00000846: KECCAK256
00000847: SWAP5
00000848: SWAP1
00000849: SWAP4
0000084a: MOD
0000084b: PUSH1 0x01
0000084d: ADD
0000084e: SWAP1
0000084f: SWAP4
00000850: SSTORE
00000851: PUSH1 0x0b
00000853: DUP4
00000854: MSTORE
00000855: DUP2
00000856: DUP2
00000857: KECCAK256
00000858: DUP1
00000859: SLOAD
0000085a: PUSH1 0x0c
0000085c: DUP6
0000085d: MSTORE
0000085e: DUP4
0000085f: DUP4
00000860: KECCAK256
00000861: DUP1
00000862: SLOAD
00000863: PUSH1 0x01
00000865: PUSH1 0xa0
00000867: PUSH1 0x02
00000869: EXP
0000086a: SUB
0000086b: NOT
0000086c: SWAP1
0000086d: DUP2
0000086e: AND
0000086f: PUSH1 0x60
00000871: PUSH1 0x02
00000873: EXP
00000874: PUSH1 0x01
00000876: PUSH1 0xa0
00000878: PUSH1 0x02
0000087a: EXP
0000087b: SUB
0000087c: SWAP1
0000087d: SWAP5
0000087e: AND
0000087f: DUP5
00000880: MUL
00000881: SWAP4
00000882: SWAP1
00000883: SWAP4
00000884: DIV
00000885: SWAP3
00000886: SWAP1
00000887: SWAP3
00000888: OR
00000889: SWAP1
0000088a: SSTORE
0000088b: DUP2
0000088c: SLOAD
0000088d: AND
0000088e: SWAP1
0000088f: SSTORE
00000890: PUSH1 0x14
00000892: DUP4
00000893: MSTORE
00000894: DUP2
00000895: DUP2
00000896: KECCAK256
00000897: DUP1
00000898: SLOAD
00000899: PUSH1 0x15
0000089b: SWAP1
0000089c: SWAP5
0000089d: MSTORE
0000089e: SWAP2
0000089f: DUP2
000008a0: KECCAK256
000008a1: SWAP3
000008a2: DUP4
000008a3: SSTORE
000008a4: SWAP1
000008a5: SSTORE
000008a6: PUSH1 0x0a
000008a8: SLOAD
000008a9: SWAP1
000008aa: SLOAD
000008ab: PUSH2 0x08b4
000008ae: SWAP2
000008af: SWAP1
000008b0: PUSH2 0x0b25
000008b3: JUMP
000008b4: JUMPDEST
000008b5: PUSH1 0x0a
000008b7: SSTORE
000008b8: PUSH1 0x00
000008ba: DUP4
000008bb: DUP2
000008bc: MSTORE
000008bd: PUSH1 0x0e
000008bf: PUSH1 0x20
000008c1: SWAP1
000008c2: DUP2
000008c3: MSTORE
000008c4: PUSH1 0x40
000008c6: DUP1
000008c7: DUP4
000008c8: KECCAK256
000008c9: DUP1
000008ca: SLOAD
000008cb: PUSH1 0x0f
000008cd: DUP5
000008ce: MSTORE
000008cf: DUP3
000008d0: DUP6
000008d1: KECCAK256
000008d2: SSTORE
000008d3: DUP4
000008d4: SWAP1
000008d5: SSTORE
000008d6: PUSH1 0x11
000008d8: SWAP1
000008d9: SWAP2
000008da: MSTORE
000008db: SWAP1
000008dc: KECCAK256
000008dd: SLOAD
000008de: ISZERO
000008df: ISZERO
000008e0: PUSH2 0x0b35
000008e3: JUMPI
000008e4: PUSH1 0x00
000008e6: DUP4
000008e7: DUP2
000008e8: MSTORE
000008e9: PUSH1 0x12
000008eb: PUSH1 0x20
000008ed: SWAP1
000008ee: DUP2
000008ef: MSTORE
000008f0: PUSH1 0x40
000008f2: DUP1
000008f3: DUP4
000008f4: KECCAK256
000008f5: SLOAD
000008f6: PUSH1 0x0c
000008f8: DUP4
000008f9: MSTORE
000008fa: DUP2
000008fb: DUP5
000008fc: KECCAK256
000008fd: SLOAD
000008fe: PUSH1 0x0d
00000900: DUP5
00000901: MSTORE
00000902: DUP3
00000903: DUP6
00000904: KECCAK256
00000905: SLOAD
00000906: PUSH1 0x11
00000908: DUP6
00000909: MSTORE
0000090a: DUP4
0000090b: DUP7
0000090c: KECCAK256
0000090d: SLOAD
0000090e: PUSH1 0x0f
00000910: DUP1
00000911: DUP8
00000912: MSTORE
00000913: DUP6
00000914: DUP9
00000915: KECCAK256
00000916: SLOAD
00000917: DUP7
00000918: MLOAD
00000919: DUP4
0000091a: DUP2
0000091b: MSTORE
0000091c: DUP1
0000091d: DUP10
0000091e: ADD
0000091f: DUP3
00000920: SWAP1
00000921: MSTORE
00000922: PUSH1 0x03
00000924: SWAP8
00000925: DUP2
00000926: ADD
00000927: DUP9
00000928: SWAP1
00000929: MSTORE
0000092a: PUSH1 0x80
0000092c: PUSH1 0x60
0000092e: DUP3
0000092f: ADD
00000930: DUP2
00000931: DUP2
00000932: MSTORE
00000933: DUP13
00000934: MLOAD
00000935: SWAP2
00000936: DUP4
00000937: ADD
00000938: SWAP2
00000939: SWAP1
0000093a: SWAP2
0000093b: MSTORE
0000093c: DUP12
0000093d: MLOAD
0000093e: SWAP8
0000093f: SWAP11
00000940: PUSH1 0x01
00000942: PUSH1 0xa0
00000944: PUSH1 0x02
00000946: EXP
00000947: SUB
00000948: SWAP1
00000949: SWAP8
0000094a: AND
0000094b: SWAP10
0000094c: SWAP6
0000094d: SWAP9
0000094e: PUSH1 0x00
00000950: DUP1
00000951: MLOAD
00000952: PUSH1 0x20
00000954: PUSH2 0x1aa5
00000957: DUP4
00000958: CODECOPY
00000959: DUP2
0000095a: MLOAD
0000095b: SWAP2
0000095c: MSTORE
0000095d: SWAP9
0000095e: SWAP6
0000095f: SWAP8
00000960: SWAP4
00000961: SWAP7
00000962: SWAP1
00000963: SWAP6
00000964: DUP14
00000965: SWAP6
00000966: SWAP4
00000967: SWAP5
00000968: SWAP3
00000969: SWAP4
0000096a: PUSH1 0xa0
0000096c: DUP7
0000096d: ADD
0000096e: SWAP4
0000096f: DUP8
00000970: DUP5
00000971: ADD
00000972: SWAP4
00000973: DUP4
00000974: SWAP3
00000975: DUP7
00000976: SWAP3
00000977: DUP5
00000978: SWAP3
00000979: DUP8
0000097a: SWAP3
0000097b: PUSH1 0x04
0000097d: SWAP2
0000097e: PUSH1 0x1f
00000980: DUP7
00000981: ADD
00000982: DIV
00000983: DUP15
00000984: MUL
00000985: ADD
00000986: CALL
00000987: POP
00000988: SWAP1
00000989: POP
0000098a: SWAP1
0000098b: DUP2
0000098c: ADD
0000098d: SWAP1
0000098e: PUSH1 0x1f
00000990: AND
00000991: DUP1
00000992: ISZERO
00000993: PUSH2 0x09b0
00000996: JUMPI
00000997: DUP1
00000998: DUP3
00000999: SUB
0000099a: DUP1
0000099b: MLOAD
0000099c: PUSH1 0x01
0000099e: DUP4
0000099f: PUSH1 0x20
000009a1: SUB
000009a2: PUSH2 0x0100
000009a5: EXP
000009a6: SUB
000009a7: NOT
000009a8: AND
000009a9: DUP2
000009aa: MSTORE
000009ab: PUSH1 0x20
000009ad: ADD
000009ae: SWAP2
000009af: POP
000009b0: JUMPDEST
000009b1: POP
000009b2: SWAP6
000009b3: POP
000009b4: POP
000009b5: POP
000009b6: POP
000009b7: POP
000009b8: POP
000009b9: PUSH1 0x40
000009bb: MLOAD
000009bc: DUP1
000009bd: SWAP2
000009be: SUB
000009bf: SWAP1
000009c0: LOG4
000009c1: PUSH1 0x40
000009c3: DUP1
000009c4: MLOAD
000009c5: PUSH1 0x00
000009c7: DUP6
000009c8: DUP2
000009c9: MSTORE
000009ca: PUSH1 0x0c
000009cc: PUSH1 0x20
000009ce: SWAP1
000009cf: DUP2
000009d0: MSTORE
000009d1: DUP4
000009d2: DUP3
000009d3: KECCAK256
000009d4: SLOAD
000009d5: PUSH1 0x0f
000009d7: SWAP1
000009d8: SWAP2
000009d9: MSTORE
000009da: SWAP3
000009db: DUP2
000009dc: KECCAK256
000009dd: SLOAD
000009de: PUSH1 0x01
000009e0: PUSH1 0xa0
000009e2: PUSH1 0x02
000009e4: EXP
000009e5: SUB
000009e6: SWAP1
000009e7: SWAP4
000009e8: AND
000009e9: SWAP3
000009ea: DUP1
000009eb: ISZERO
000009ec: PUSH2 0x08fc
000009ef: MUL
000009f0: SWAP3
000009f1: SWAP1
000009f2: SWAP2
000009f3: DUP2
000009f4: DUP2
000009f5: DUP2
000009f6: DUP6
000009f7: DUP9
000009f8: DUP9
000009f9: CALL
000009fa: SWAP4
000009fb: POP
000009fc: POP
000009fd: POP
000009fe: POP
000009ff: ISZERO
00000a00: ISZERO
00000a01: PUSH2 0x0b98
00000a04: JUMPI
00000a05: PUSH1 0x00
00000a07: DUP4
00000a08: DUP2
00000a09: MSTORE
00000a0a: PUSH1 0x12
00000a0c: PUSH1 0x20
00000a0e: SWAP1
00000a0f: DUP2
00000a10: MSTORE
00000a11: PUSH1 0x40
00000a13: DUP1
00000a14: DUP4
00000a15: KECCAK256
00000a16: SLOAD
00000a17: PUSH1 0x0c
00000a19: DUP4
00000a1a: MSTORE
00000a1b: DUP2
00000a1c: DUP5
00000a1d: KECCAK256
00000a1e: SLOAD
00000a1f: PUSH1 0x0d
00000a21: DUP5
00000a22: MSTORE
00000a23: DUP3
00000a24: DUP6
00000a25: KECCAK256
00000a26: SLOAD
00000a27: PUSH1 0x11
00000a29: DUP6
00000a2a: MSTORE
00000a2b: DUP4
00000a2c: DUP7
00000a2d: KECCAK256
00000a2e: SLOAD
00000a2f: PUSH1 0x0f
00000a31: DUP1
00000a32: DUP8
00000a33: MSTORE
00000a34: DUP6
00000a35: DUP9
00000a36: KECCAK256
00000a37: SLOAD
00000a38: DUP7
00000a39: MLOAD
00000a3a: DUP4
00000a3b: DUP2
00000a3c: MSTORE
00000a3d: DUP1
00000a3e: DUP10
00000a3f: ADD
00000a40: DUP3
00000a41: SWAP1
00000a42: MSTORE
00000a43: PUSH1 0x04
00000a45: SWAP8
00000a46: DUP2
00000a47: ADD
00000a48: DUP9
00000a49: SWAP1
00000a4a: MSTORE
00000a4b: PUSH1 0x80
00000a4d: PUSH1 0x60
00000a4f: DUP3
00000a50: ADD
00000a51: DUP2
00000a52: DUP2
00000a53: MSTORE
00000a54: DUP13
00000a55: MLOAD
00000a56: SWAP2
00000a57: DUP4
00000a58: ADD
00000a59: SWAP2
00000a5a: SWAP1
00000a5b: SWAP2
00000a5c: MSTORE
00000a5d: DUP12
00000a5e: MLOAD
00000a5f: SWAP8
00000a60: SWAP11
00000a61: PUSH1 0x01
00000a63: PUSH1 0xa0
00000a65: PUSH1 0x02
00000a67: EXP
00000a68: SUB
00000a69: SWAP1
00000a6a: SWAP8
00000a6b: AND
00000a6c: SWAP10
00000a6d: SWAP6
00000a6e: SWAP9
00000a6f: PUSH1 0x00
00000a71: DUP1
00000a72: MLOAD
00000a73: PUSH1 0x20
00000a75: PUSH2 0x1aa5
00000a78: DUP4
00000a79: CODECOPY
00000a7a: DUP2
00000a7b: MLOAD
00000a7c: SWAP2
00000a7d: MSTORE
00000a7e: SWAP9
00000a7f: SWAP6
00000a80: SWAP8
00000a81: SWAP4
00000a82: SWAP7
00000a83: SWAP1
00000a84: SWAP6
00000a85: DUP14
00000a86: SWAP6
00000a87: SWAP4
00000a88: SWAP5
00000a89: SWAP3
00000a8a: SWAP4
00000a8b: PUSH1 0xa0
00000a8d: DUP7
00000a8e: ADD
00000a8f: SWAP4
00000a90: DUP8
00000a91: DUP5
00000a92: ADD
00000a93: SWAP4
00000a94: DUP4
00000a95: SWAP3
00000a96: DUP7
00000a97: SWAP3
00000a98: DUP5
00000a99: SWAP3
00000a9a: DUP8
00000a9b: SWAP3
00000a9c: DUP14
00000a9d: SWAP2
00000a9e: PUSH1 0x1f
00000aa0: DUP7
00000aa1: ADD
00000aa2: DIV
00000aa3: PUSH1 0x03
00000aa5: MUL
00000aa6: ADD
00000aa7: CALL
00000aa8: POP
00000aa9: SWAP1
00000aaa: POP
00000aab: SWAP1
00000aac: DUP2
00000aad: ADD
00000aae: SWAP1
00000aaf: PUSH1 0x1f
00000ab1: AND
00000ab2: DUP1
00000ab3: ISZERO
00000ab4: PUSH2 0x0ad1
00000ab7: JUMPI
00000ab8: DUP1
00000ab9: DUP3
00000aba: SUB
00000abb: DUP1
00000abc: MLOAD
00000abd: PUSH1 0x01
00000abf: DUP4
00000ac0: PUSH1 0x20
00000ac2: SUB
00000ac3: PUSH2 0x0100
00000ac6: EXP
00000ac7: SUB
00000ac8: NOT
00000ac9: AND
00000aca: DUP2
00000acb: MSTORE
00000acc: PUSH1 0x20
00000ace: ADD
00000acf: SWAP2
00000ad0: POP
00000ad1: JUMPDEST
00000ad2: POP
00000ad3: SWAP6
00000ad4: POP
00000ad5: POP
00000ad6: POP
00000ad7: POP
00000ad8: POP
00000ad9: POP
00000ada: PUSH1 0x40
00000adc: MLOAD
00000add: DUP1
00000ade: SWAP2
00000adf: SUB
00000ae0: SWAP1
00000ae1: LOG4
00000ae2: PUSH1 0x00
00000ae4: DUP4
00000ae5: DUP2
00000ae6: MSTORE
00000ae7: PUSH1 0x0c
00000ae9: PUSH1 0x20
00000aeb: SWAP1
00000aec: DUP2
00000aed: MSTORE
00000aee: PUSH1 0x40
00000af0: DUP1
00000af1: DUP4
00000af2: KECCAK256
00000af3: SLOAD
00000af4: PUSH1 0x01
00000af6: PUSH1 0xa0
00000af8: PUSH1 0x02
00000afa: EXP
00000afb: SUB
00000afc: AND
00000afd: DUP4
00000afe: MSTORE
00000aff: PUSH1 0x13
00000b01: DUP3
00000b02: MSTORE
00000b03: DUP1
00000b04: DUP4
00000b05: KECCAK256
00000b06: SLOAD
00000b07: DUP7
00000b08: DUP5
00000b09: MSTORE
00000b0a: PUSH1 0x0f
00000b0c: SWAP1
00000b0d: SWAP3
00000b0e: MSTORE
00000b0f: SWAP1
00000b10: SWAP2
00000b11: KECCAK256
00000b12: SLOAD
00000b13: PUSH2 0x0b72
00000b16: SWAP2
00000b17: SWAP1
00000b18: PUSH2 0x059b
00000b1b: JUMP
00000b1c: JUMPDEST
00000b1d: PUSH1 0x04
00000b1f: SLOAD
00000b20: PUSH2 0x1003
00000b23: SWAP1
00000b24: DUP3
00000b25: JUMPDEST
00000b26: PUSH1 0x00
00000b28: PUSH2 0x14d2
00000b2b: DUP4
00000b2c: DUP4
00000b2d: DUP2
00000b2e: DUP2
00000b2f: GT
00000b30: ISZERO
00000b31: PUSH2 0x05aa
00000b34: JUMP
00000b35: JUMPDEST
00000b36: PUSH1 0x00
00000b38: DUP4
00000b39: DUP2
00000b3a: MSTORE
00000b3b: PUSH1 0x12
00000b3d: PUSH1 0x20
00000b3f: SWAP1
00000b40: DUP2
00000b41: MSTORE
00000b42: PUSH1 0x40
00000b44: DUP1
00000b45: DUP4
00000b46: KECCAK256
00000b47: SLOAD
00000b48: PUSH1 0x11
00000b4a: SWAP1
00000b4b: SWAP3
00000b4c: MSTORE
00000b4d: SWAP1
00000b4e: SWAP2
00000b4f: KECCAK256
00000b50: SLOAD
00000b51: LT
00000b52: ISZERO
00000b53: PUSH2 0x0b9d
00000b56: JUMPI
00000b57: PUSH1 0x04
00000b59: SLOAD
00000b5a: PUSH1 0x00
00000b5c: DUP5
00000b5d: DUP2
00000b5e: MSTORE
00000b5f: PUSH1 0x15
00000b61: PUSH1 0x20
00000b63: MSTORE
00000b64: PUSH1 0x40
00000b66: SWAP1
00000b67: KECCAK256
00000b68: SLOAD
00000b69: PUSH2 0x0cba
00000b6c: SWAP2
00000b6d: SWAP1
00000b6e: PUSH2 0x0b25
00000b71: JUMP
00000b72: JUMPDEST
00000b73: PUSH1 0x00
00000b75: DUP5
00000b76: DUP2
00000b77: MSTORE
00000b78: PUSH1 0x0c
00000b7a: PUSH1 0x20
00000b7c: SWAP1
00000b7d: DUP2
00000b7e: MSTORE
00000b7f: PUSH1 0x40
00000b81: DUP1
00000b82: DUP4
00000b83: KECCAK256
00000b84: SLOAD
00000b85: PUSH1 0x01
00000b87: PUSH1 0xa0
00000b89: PUSH1 0x02
00000b8b: EXP
00000b8c: SUB
00000b8d: AND
00000b8e: DUP4
00000b8f: MSTORE
00000b90: PUSH1 0x13
00000b92: SWAP1
00000b93: SWAP2
00000b94: MSTORE
00000b95: SWAP1
00000b96: KECCAK256
00000b97: SSTORE
00000b98: JUMPDEST
00000b99: POP
00000b9a: POP
00000b9b: POP
00000b9c: JUMP
00000b9d: JUMPDEST
00000b9e: PUSH1 0x00
00000ba0: DUP4
00000ba1: DUP2
00000ba2: MSTORE
00000ba3: PUSH1 0x12
00000ba5: PUSH1 0x20
00000ba7: SWAP1
00000ba8: DUP2
00000ba9: MSTORE
00000baa: PUSH1 0x40
00000bac: DUP1
00000bad: DUP4
00000bae: KECCAK256
00000baf: SLOAD
00000bb0: PUSH1 0x11
00000bb2: SWAP1
00000bb3: SWAP3
00000bb4: MSTORE
00000bb5: SWAP1
00000bb6: SWAP2
00000bb7: KECCAK256
00000bb8: SLOAD
00000bb9: LT
00000bba: PUSH2 0x0b98
00000bbd: JUMPI
00000bbe: PUSH1 0x00
00000bc0: DUP4
00000bc1: DUP2
00000bc2: MSTORE
00000bc3: PUSH1 0x12
00000bc5: PUSH1 0x20
00000bc7: SWAP1
00000bc8: DUP2
00000bc9: MSTORE
00000bca: PUSH1 0x40
00000bcc: DUP1
00000bcd: DUP4
00000bce: KECCAK256
00000bcf: SLOAD
00000bd0: PUSH1 0x0c
00000bd2: DUP4
00000bd3: MSTORE
00000bd4: DUP2
00000bd5: DUP5
00000bd6: KECCAK256
00000bd7: SLOAD
00000bd8: PUSH1 0x0d
00000bda: DUP5
00000bdb: MSTORE
00000bdc: DUP3
00000bdd: DUP6
00000bde: KECCAK256
00000bdf: SLOAD
00000be0: PUSH1 0x11
00000be2: DUP6
00000be3: MSTORE
00000be4: DUP4
00000be5: DUP7
00000be6: KECCAK256
00000be7: SLOAD
00000be8: PUSH1 0x0f
00000bea: DUP1
00000beb: DUP8
00000bec: MSTORE
00000bed: DUP6
00000bee: DUP9
00000bef: KECCAK256
00000bf0: SLOAD
00000bf1: DUP7
00000bf2: MLOAD
00000bf3: DUP4
00000bf4: DUP2
00000bf5: MSTORE
00000bf6: DUP1
00000bf7: DUP10
00000bf8: ADD
00000bf9: DUP3
00000bfa: SWAP1
00000bfb: MSTORE
00000bfc: SWAP7
00000bfd: DUP8
00000bfe: ADD
00000bff: DUP10
00000c00: SWAP1
00000c01: MSTORE
00000c02: PUSH1 0x80
00000c04: PUSH1 0x60
00000c06: DUP9
00000c07: ADD
00000c08: DUP2
00000c09: DUP2
00000c0a: MSTORE
00000c0b: DUP12
00000c0c: MLOAD
00000c0d: SWAP2
00000c0e: DUP10
00000c0f: ADD
00000c10: SWAP2
00000c11: SWAP1
00000c12: SWAP2
00000c13: MSTORE
00000c14: DUP11
00000c15: MLOAD
00000c16: SWAP7
00000c17: SWAP10
00000c18: PUSH1 0x01
00000c1a: PUSH1 0xa0
00000c1c: PUSH1 0x02
00000c1e: EXP
00000c1f: SUB
00000c20: SWAP1
00000c21: SWAP7
00000c22: AND
00000c23: SWAP9
00000c24: SWAP5
00000c25: SWAP8
00000c26: PUSH1 0x00
00000c28: DUP1
00000c29: MLOAD
00000c2a: PUSH1 0x20
00000c2c: PUSH2 0x1aa5
00000c2f: DUP4
00000c30: CODECOPY
00000c31: DUP2
00000c32: MLOAD
00000c33: SWAP2
00000c34: MSTORE
00000c35: SWAP8
00000c36: SWAP5
00000c37: SWAP7
00000c38: SWAP3
00000c39: SWAP6
00000c3a: SWAP3
00000c3b: SWAP5
00000c3c: DUP13
00000c3d: SWAP5
00000c3e: SWAP2
00000c3f: SWAP4
00000c40: PUSH1 0xa0
00000c42: DUP6
00000c43: ADD
00000c44: SWAP3
00000c45: DUP7
00000c46: DUP3
00000c47: ADD
00000c48: SWAP3
00000c49: SWAP2
00000c4a: DUP3
00000c4b: SWAP2
00000c4c: DUP6
00000c4d: SWAP2
00000c4e: DUP4
00000c4f: SWAP2
00000c50: DUP7
00000c51: SWAP2
00000c52: DUP13
00000c53: SWAP2
00000c54: PUSH1 0x04
00000c56: SWAP2
00000c57: PUSH1 0x1f
00000c59: DUP7
00000c5a: ADD
00000c5b: DIV
00000c5c: PUSH1 0x03
00000c5e: MUL
00000c5f: ADD
00000c60: CALL
00000c61: POP
00000c62: SWAP1
00000c63: POP
00000c64: SWAP1
00000c65: DUP2
00000c66: ADD
00000c67: SWAP1
00000c68: PUSH1 0x1f
00000c6a: AND
00000c6b: DUP1
00000c6c: ISZERO
00000c6d: PUSH2 0x0c8a
00000c70: JUMPI
00000c71: DUP1
00000c72: DUP3
00000c73: SUB
00000c74: DUP1
00000c75: MLOAD
00000c76: PUSH1 0x01
00000c78: DUP4
00000c79: PUSH1 0x20
00000c7b: SUB
00000c7c: PUSH2 0x0100
00000c7f: EXP
00000c80: SUB
00000c81: NOT
00000c82: AND
00000c83: DUP2
00000c84: MSTORE
00000c85: PUSH1 0x20
00000c87: ADD
00000c88: SWAP2
00000c89: POP
00000c8a: JUMPDEST
00000c8b: POP
00000c8c: SWAP6
00000c8d: POP
00000c8e: POP
00000c8f: POP
00000c90: POP
00000c91: POP
00000c92: POP
00000c93: PUSH1 0x40
00000c95: MLOAD
00000c96: DUP1
00000c97: SWAP2
00000c98: SUB
00000c99: SWAP1
00000c9a: LOG4
00000c9b: PUSH1 0x04
00000c9d: SLOAD
00000c9e: PUSH1 0x00
00000ca0: DUP5
00000ca1: DUP2
00000ca2: MSTORE
00000ca3: PUSH1 0x0f
00000ca5: PUSH1 0x20
00000ca7: MSTORE
00000ca8: PUSH1 0x40
00000caa: SWAP1
00000cab: KECCAK256
00000cac: SLOAD
00000cad: PUSH2 0x0f25
00000cb0: SWAP2
00000cb1: SWAP1
00000cb2: PUSH1 0x00
00000cb4: NOT
00000cb5: ADD
00000cb6: PUSH2 0x059b
00000cb9: JUMP
00000cba: JUMPDEST
00000cbb: PUSH1 0x04
00000cbd: SSTORE
00000cbe: PUSH1 0x00
00000cc0: DUP4
00000cc1: DUP2
00000cc2: MSTORE
00000cc3: PUSH1 0x15
00000cc5: PUSH1 0x20
00000cc7: SWAP1
00000cc8: DUP2
00000cc9: MSTORE
00000cca: PUSH1 0x40
00000ccc: DUP1
00000ccd: DUP4
00000cce: KECCAK256
00000ccf: SLOAD
00000cd0: PUSH1 0x0f
00000cd2: SWAP1
00000cd3: SWAP3
00000cd4: MSTORE
00000cd5: SWAP1
00000cd6: SWAP2
00000cd7: KECCAK256
00000cd8: SLOAD
00000cd9: PUSH2 0x0ce2
00000cdc: SWAP2
00000cdd: SWAP1
00000cde: PUSH2 0x059b
00000ce1: JUMP
00000ce2: JUMPDEST
00000ce3: PUSH1 0x00
00000ce5: DUP5
00000ce6: DUP2
00000ce7: MSTORE
00000ce8: PUSH1 0x15
00000cea: PUSH1 0x20
00000cec: DUP2
00000ced: DUP2
00000cee: MSTORE
00000cef: PUSH1 0x40
00000cf1: DUP1
00000cf2: DUP5
00000cf3: KECCAK256
00000cf4: DUP6
00000cf5: SWAP1
00000cf6: SSTORE
00000cf7: PUSH1 0x12
00000cf9: DUP3
00000cfa: MSTORE
00000cfb: DUP1
00000cfc: DUP5
00000cfd: KECCAK256
00000cfe: SLOAD
00000cff: PUSH1 0x0c
00000d01: DUP4
00000d02: MSTORE
00000d03: DUP2
00000d04: DUP6
00000d05: KECCAK256
00000d06: SLOAD
00000d07: PUSH1 0x0d
00000d09: DUP5
00000d0a: MSTORE
00000d0b: DUP3
00000d0c: DUP7
00000d0d: KECCAK256
00000d0e: SLOAD
00000d0f: PUSH1 0x11
00000d11: DUP6
00000d12: MSTORE
00000d13: DUP4
00000d14: DUP8
00000d15: KECCAK256
00000d16: SLOAD
00000d17: SWAP6
00000d18: DUP6
00000d19: MSTORE
00000d1a: DUP4
00000d1b: MLOAD
00000d1c: DUP7
00000d1d: DUP2
00000d1e: MSTORE
00000d1f: DUP1
00000d20: DUP7
00000d21: ADD
00000d22: DUP10
00000d23: SWAP1
00000d24: MSTORE
00000d25: PUSH1 0x01
00000d27: SWAP5
00000d28: DUP2
00000d29: ADD
00000d2a: DUP6
00000d2b: SWAP1
00000d2c: MSTORE
00000d2d: PUSH1 0x80
00000d2f: PUSH1 0x60
00000d31: DUP3
00000d32: ADD
00000d33: DUP2
00000d34: DUP2
00000d35: MSTORE
00000d36: DUP12
00000d37: MLOAD
00000d38: SWAP2
00000d39: DUP4
00000d3a: ADD
00000d3b: SWAP2
00000d3c: SWAP1
00000d3d: SWAP2
00000d3e: MSTORE
00000d3f: DUP11
00000d40: MLOAD
00000d41: SWAP5
00000d42: SWAP10
00000d43: PUSH1 0x01
00000d45: PUSH1 0xa0
00000d47: PUSH1 0x02
00000d49: EXP
00000d4a: SUB
00000d4b: SWAP1
00000d4c: SWAP5
00000d4d: AND
00000d4e: SWAP9
00000d4f: SWAP3
00000d50: SWAP8
00000d51: PUSH1 0x00
00000d53: DUP1
00000d54: MLOAD
00000d55: PUSH1 0x20
00000d57: PUSH2 0x1aa5
00000d5a: DUP4
00000d5b: CODECOPY
00000d5c: DUP2
00000d5d: MLOAD
00000d5e: SWAP2
00000d5f: MSTORE
00000d60: SWAP8
00000d61: SWAP1
00000d62: SWAP7
00000d63: SWAP5
00000d64: SWAP6
00000d65: DUP13
00000d66: SWAP5
00000d67: PUSH1 0xa0
00000d69: DUP6
00000d6a: ADD
00000d6b: SWAP3
00000d6c: DUP7
00000d6d: DUP2
00000d6e: ADD
00000d6f: SWAP3
00000d70: SWAP2
00000d71: DUP3
00000d72: SWAP2
00000d73: DUP6
00000d74: SWAP2
00000d75: DUP4
00000d76: SWAP2
00000d77: DUP7
00000d78: SWAP2
00000d79: SWAP1
00000d7a: PUSH1 0x04
00000d7c: SWAP1
00000d7d: PUSH1 0x1f
00000d7f: DUP6
00000d80: ADD
00000d81: DIV
00000d82: PUSH1 0x03
00000d84: MUL
00000d85: PUSH1 0x0f
00000d87: ADD
00000d88: CALL
00000d89: POP
00000d8a: SWAP1
00000d8b: POP
00000d8c: SWAP1
00000d8d: DUP2
00000d8e: ADD
00000d8f: SWAP1
00000d90: PUSH1 0x1f
00000d92: AND
00000d93: DUP1
00000d94: ISZERO
00000d95: PUSH2 0x0db2
00000d98: JUMPI
00000d99: DUP1
00000d9a: DUP3
00000d9b: SUB
00000d9c: DUP1
00000d9d: MLOAD
00000d9e: PUSH1 0x01
00000da0: DUP4
00000da1: PUSH1 0x20
00000da3: SUB
00000da4: PUSH2 0x0100
00000da7: EXP
00000da8: SUB
00000da9: NOT
00000daa: AND
00000dab: DUP2
00000dac: MSTORE
00000dad: PUSH1 0x20
00000daf: ADD
00000db0: SWAP2
00000db1: POP
00000db2: JUMPDEST
00000db3: POP
00000db4: SWAP6
00000db5: POP
00000db6: POP
00000db7: POP
00000db8: POP
00000db9: POP
00000dba: POP
00000dbb: PUSH1 0x40
00000dbd: MLOAD
00000dbe: DUP1
00000dbf: SWAP2
00000dc0: SUB
00000dc1: SWAP1
00000dc2: LOG4
00000dc3: PUSH2 0x0dca
00000dc6: PUSH2 0x05b7
00000dc9: JUMP
00000dca: JUMPDEST
00000dcb: PUSH1 0x00
00000dcd: DUP4
00000dce: DUP2
00000dcf: MSTORE
00000dd0: PUSH1 0x0c
00000dd2: PUSH1 0x20
00000dd4: SWAP1
00000dd5: DUP2
00000dd6: MSTORE
00000dd7: PUSH1 0x40
00000dd9: DUP1
00000dda: DUP4
00000ddb: KECCAK256
00000ddc: SLOAD
00000ddd: PUSH1 0x15
00000ddf: SWAP1
00000de0: SWAP3
00000de1: MSTORE
00000de2: DUP1
00000de3: DUP4
00000de4: KECCAK256
00000de5: SLOAD
00000de6: SWAP1
00000de7: MLOAD
00000de8: PUSH1 0x01
00000dea: PUSH1 0xa0
00000dec: PUSH1 0x02
00000dee: EXP
00000def: SUB
00000df0: SWAP1
00000df1: SWAP3
00000df2: AND
00000df3: SWAP3
00000df4: DUP2
00000df5: ISZERO
00000df6: PUSH2 0x08fc
00000df9: MUL
00000dfa: SWAP3
00000dfb: SWAP1
00000dfc: DUP2
00000dfd: DUP2
00000dfe: DUP2
00000dff: DUP6
00000e00: DUP9
00000e01: DUP9
00000e02: CALL
00000e03: SWAP4
00000e04: POP
00000e05: POP
00000e06: POP
00000e07: POP
00000e08: ISZERO
00000e09: ISZERO
00000e0a: PUSH2 0x0b98
00000e0d: JUMPI
00000e0e: PUSH1 0x00
00000e10: DUP4
00000e11: DUP2
00000e12: MSTORE
00000e13: PUSH1 0x12
00000e15: PUSH1 0x20
00000e17: SWAP1
00000e18: DUP2
00000e19: MSTORE
00000e1a: PUSH1 0x40
00000e1c: DUP1
00000e1d: DUP4
00000e1e: KECCAK256
00000e1f: SLOAD
00000e20: PUSH1 0x0c
00000e22: DUP4
00000e23: MSTORE
00000e24: DUP2
00000e25: DUP5
00000e26: KECCAK256
00000e27: SLOAD
00000e28: PUSH1 0x0d
00000e2a: DUP5
00000e2b: MSTORE
00000e2c: DUP3
00000e2d: DUP6
00000e2e: KECCAK256
00000e2f: SLOAD
00000e30: PUSH1 0x11
00000e32: DUP6
00000e33: MSTORE
00000e34: DUP4
00000e35: DUP7
00000e36: KECCAK256
00000e37: SLOAD
00000e38: PUSH1 0x15
00000e3a: DUP7
00000e3b: MSTORE
00000e3c: DUP5
00000e3d: DUP8
00000e3e: KECCAK256
00000e3f: SLOAD
00000e40: DUP6
00000e41: MLOAD
00000e42: DUP3
00000e43: DUP2
00000e44: MSTORE
00000e45: DUP1
00000e46: DUP9
00000e47: ADD
00000e48: DUP3
00000e49: SWAP1
00000e4a: MSTORE
00000e4b: PUSH1 0x02
00000e4d: SWAP7
00000e4e: DUP2
00000e4f: ADD
00000e50: DUP8
00000e51: SWAP1
00000e52: MSTORE
00000e53: PUSH1 0x80
00000e55: PUSH1 0x60
00000e57: DUP3
00000e58: ADD
00000e59: DUP2
00000e5a: DUP2
00000e5b: MSTORE
00000e5c: DUP12
00000e5d: MLOAD
00000e5e: SWAP2
00000e5f: DUP4
00000e60: ADD
00000e61: SWAP2
00000e62: SWAP1
00000e63: SWAP2
00000e64: MSTORE
00000e65: DUP11
00000e66: MLOAD
00000e67: SWAP7
00000e68: SWAP10
00000e69: PUSH1 0x01
00000e6b: PUSH1 0xa0
00000e6d: PUSH1 0x02
00000e6f: EXP
00000e70: SUB
00000e71: SWAP1
00000e72: SWAP7
00000e73: AND
00000e74: SWAP9
00000e75: SWAP5
00000e76: SWAP8
00000e77: PUSH1 0x00
00000e79: DUP1
00000e7a: MLOAD
00000e7b: PUSH1 0x20
00000e7d: PUSH2 0x1aa5
00000e80: DUP4
00000e81: CODECOPY
00000e82: DUP2
00000e83: MLOAD
00000e84: SWAP2
00000e85: MSTORE
00000e86: SWAP8
00000e87: SWAP5
00000e88: SWAP7
00000e89: SWAP4
00000e8a: SWAP6
00000e8b: SWAP1
00000e8c: SWAP5
00000e8d: DUP13
00000e8e: SWAP5
00000e8f: PUSH1 0xa0
00000e91: DUP6
00000e92: ADD
00000e93: SWAP3
00000e94: DUP7
00000e95: DUP2
00000e96: ADD
00000e97: SWAP3
00000e98: SWAP2
00000e99: DUP3
00000e9a: SWAP2
00000e9b: DUP6
00000e9c: SWAP2
00000e9d: DUP4
00000e9e: SWAP2
00000e9f: DUP7
00000ea0: SWAP2
00000ea1: SWAP1
00000ea2: PUSH1 0x04
00000ea4: SWAP1
00000ea5: PUSH1 0x1f
00000ea7: DUP6
00000ea8: ADD
00000ea9: DIV
00000eaa: PUSH1 0x03
00000eac: MUL
00000ead: PUSH1 0x0f
00000eaf: ADD
00000eb0: CALL
00000eb1: POP
00000eb2: SWAP1
00000eb3: POP
00000eb4: SWAP1
00000eb5: DUP2
00000eb6: ADD
00000eb7: SWAP1
00000eb8: PUSH1 0x1f
00000eba: AND
00000ebb: DUP1
00000ebc: ISZERO
00000ebd: PUSH2 0x0eda
00000ec0: JUMPI
00000ec1: DUP1
00000ec2: DUP3
00000ec3: SUB
00000ec4: DUP1
00000ec5: MLOAD
00000ec6: PUSH1 0x01
00000ec8: DUP4
00000ec9: PUSH1 0x20
00000ecb: SUB
00000ecc: PUSH2 0x0100
00000ecf: EXP
00000ed0: SUB
00000ed1: NOT
00000ed2: AND
00000ed3: DUP2
00000ed4: MSTORE
00000ed5: PUSH1 0x20
00000ed7: ADD
00000ed8: SWAP2
00000ed9: POP
00000eda: JUMPDEST
00000edb: POP
00000edc: SWAP6
00000edd: POP
00000ede: POP
00000edf: POP
00000ee0: POP
00000ee1: POP
00000ee2: POP
00000ee3: PUSH1 0x40
00000ee5: MLOAD
00000ee6: DUP1
00000ee7: SWAP2
00000ee8: SUB
00000ee9: SWAP1
00000eea: LOG4
00000eeb: PUSH1 0x00
00000eed: DUP4
00000eee: DUP2
00000eef: MSTORE
00000ef0: PUSH1 0x0c
00000ef2: PUSH1 0x20
00000ef4: SWAP1
00000ef5: DUP2
00000ef6: MSTORE
00000ef7: PUSH1 0x40
00000ef9: DUP1
00000efa: DUP4
00000efb: KECCAK256
00000efc: SLOAD
00000efd: PUSH1 0x01
00000eff: PUSH1 0xa0
00000f01: PUSH1 0x02
00000f03: EXP
00000f04: SUB
00000f05: AND
00000f06: DUP4
00000f07: MSTORE
00000f08: PUSH1 0x13
00000f0a: DUP3
00000f0b: MSTORE
00000f0c: DUP1
00000f0d: DUP4
00000f0e: KECCAK256
00000f0f: SLOAD
00000f10: DUP7
00000f11: DUP5
00000f12: MSTORE
00000f13: PUSH1 0x15
00000f15: SWAP1
00000f16: SWAP3
00000f17: MSTORE
00000f18: SWAP1
00000f19: SWAP2
00000f1a: KECCAK256
00000f1b: SLOAD
00000f1c: PUSH2 0x0b72
00000f1f: SWAP2
00000f20: SWAP1
00000f21: PUSH2 0x059b
00000f24: JUMP
00000f25: JUMPDEST
00000f26: PUSH1 0x04
00000f28: SSTORE
00000f29: PUSH2 0x0f30
00000f2c: PUSH2 0x05b7
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: PUSH1 0x00
00000f33: DUP4
00000f34: DUP2
00000f35: MSTORE
00000f36: PUSH1 0x0c
00000f38: PUSH1 0x20
00000f3a: MSTORE
00000f3b: PUSH1 0x40
00000f3d: DUP1
00000f3e: DUP3
00000f3f: KECCAK256
00000f40: SLOAD
00000f41: SWAP1
00000f42: MLOAD
00000f43: PUSH1 0x01
00000f45: PUSH1 0xa0
00000f47: PUSH1 0x02
00000f49: EXP
00000f4a: SUB
00000f4b: SWAP1
00000f4c: SWAP2
00000f4d: AND
00000f4e: SWAP2
00000f4f: SWAP1
00000f50: PUSH1 0x01
00000f52: SWAP1
00000f53: DUP3
00000f54: DUP2
00000f55: DUP2
00000f56: DUP2
00000f57: DUP6
00000f58: DUP9
00000f59: DUP4
00000f5a: CALL
00000f5b: SWAP4
00000f5c: POP
00000f5d: POP
00000f5e: POP
00000f5f: POP
00000f60: ISZERO
00000f61: ISZERO
00000f62: PUSH2 0x0b98
00000f65: JUMPI
00000f66: PUSH1 0x00
00000f68: DUP4
00000f69: DUP2
00000f6a: MSTORE
00000f6b: PUSH1 0x0c
00000f6d: PUSH1 0x20
00000f6f: SWAP1
00000f70: DUP2
00000f71: MSTORE
00000f72: PUSH1 0x40
00000f74: DUP1
00000f75: DUP4
00000f76: KECCAK256
00000f77: SLOAD
00000f78: PUSH1 0x01
00000f7a: PUSH1 0xa0
00000f7c: PUSH1 0x02
00000f7e: EXP
00000f7f: SUB
00000f80: AND
00000f81: DUP4
00000f82: MSTORE
00000f83: PUSH1 0x13
00000f85: SWAP1
00000f86: SWAP2
00000f87: MSTORE
00000f88: SWAP1
00000f89: KECCAK256
00000f8a: SLOAD
00000f8b: PUSH2 0x0b72
00000f8e: SWAP1
00000f8f: PUSH1 0x01
00000f91: PUSH2 0x059b
00000f94: JUMP
00000f95: JUMPDEST
00000f96: PUSH1 0x02
00000f98: DUP1
00000f99: SLOAD
00000f9a: PUSH1 0xf8
00000f9c: PUSH1 0x02
00000f9e: EXP
00000f9f: DUP1
00000fa0: DUP5
00000fa1: MUL
00000fa2: DIV
00000fa3: PUSH1 0xa0
00000fa5: PUSH1 0x02
00000fa7: EXP
00000fa8: MUL
00000fa9: PUSH1 0xa0
00000fab: PUSH1 0x02
00000fad: EXP
00000fae: PUSH1 0xff
00000fb0: MUL
00000fb1: NOT
00000fb2: SWAP1
00000fb3: SWAP2
00000fb4: AND
00000fb5: OR
00000fb6: SWAP1
00000fb7: SSTORE
00000fb8: POP
00000fb9: JUMP
00000fba: JUMPDEST
00000fbb: PUSH1 0x02
00000fbd: DUP1
00000fbe: SLOAD
00000fbf: PUSH1 0x60
00000fc1: PUSH1 0x02
00000fc3: EXP
00000fc4: DUP1
00000fc5: DUP5
00000fc6: MUL
00000fc7: DIV
00000fc8: PUSH1 0x01
00000fca: PUSH1 0xa0
00000fcc: PUSH1 0x02
00000fce: EXP
00000fcf: SUB
00000fd0: NOT
00000fd1: SWAP1
00000fd2: SWAP2
00000fd3: AND
00000fd4: OR
00000fd5: SWAP1
00000fd6: SSTORE
00000fd7: POP
00000fd8: JUMP
00000fd9: JUMPDEST
00000fda: PUSH1 0x08
00000fdc: SSTORE
00000fdd: JUMP
00000fde: JUMPDEST
00000fdf: PUSH1 0x01
00000fe1: DUP1
00000fe2: SLOAD
00000fe3: PUSH1 0xf8
00000fe5: PUSH1 0x02
00000fe7: EXP
00000fe8: DUP1
00000fe9: DUP5
00000fea: MUL
00000feb: DIV
00000fec: PUSH1 0xa0
00000fee: PUSH1 0x02
00000ff0: EXP
00000ff1: MUL
00000ff2: PUSH1 0xa0
00000ff4: PUSH1 0x02
00000ff6: EXP
00000ff7: PUSH1 0xff
00000ff9: MUL
00000ffa: NOT
00000ffb: SWAP1
00000ffc: SWAP2
00000ffd: AND
00000ffe: OR
00000fff: SWAP1
00001000: SSTORE
00001001: POP
00001002: JUMP
00001003: JUMPDEST
00001004: PUSH1 0x04
00001006: SSTORE
00001007: PUSH2 0x100e
0000100a: PUSH2 0x05b7
0000100d: JUMP
0000100e: JUMPDEST
0000100f: PUSH1 0x40
00001011: MLOAD
00001012: PUSH1 0x01
00001014: PUSH1 0xa0
00001016: PUSH1 0x02
00001018: EXP
00001019: SUB
0000101a: DUP4
0000101b: AND
0000101c: SWAP1
0000101d: DUP3
0000101e: ISZERO
0000101f: PUSH2 0x08fc
00001022: MUL
00001023: SWAP1
00001024: DUP4
00001025: SWAP1
00001026: PUSH1 0x00
00001028: DUP2
00001029: DUP2
0000102a: DUP2
0000102b: DUP6
0000102c: DUP9
0000102d: DUP9
0000102e: CALL
0000102f: SWAP4
00001030: POP
00001031: POP
00001032: POP
00001033: POP
00001034: ISZERO
00001035: ISZERO
00001036: PUSH2 0x103e
00001039: JUMPI
0000103a: PUSH2 0x0002
0000103d: JUMP
0000103e: JUMPDEST
0000103f: PUSH1 0x40
00001041: MLOAD
00001042: DUP2
00001043: SWAP1
00001044: PUSH1 0x01
00001046: PUSH1 0xa0
00001048: PUSH1 0x02
0000104a: EXP
0000104b: SUB
0000104c: DUP5
0000104d: AND
0000104e: SWAP1
0000104f: PUSH32 0x42c501a185f41a8eb77b0a3e7b72a6435ea7aa752f8a1a0a13ca4628495eca91
00001070: SWAP1
00001071: PUSH1 0x00
00001073: SWAP1
00001074: LOG3
00001075: POP
00001076: POP
00001077: JUMP
00001078: JUMPDEST
00001079: POP
0000107a: PUSH1 0x01
0000107c: PUSH1 0xa0
0000107e: PUSH1 0x02
00001080: EXP
00001081: SUB
00001082: CALLER
00001083: AND
00001084: PUSH1 0x00
00001086: DUP2
00001087: DUP2
00001088: MSTORE
00001089: PUSH1 0x13
0000108b: PUSH1 0x20
0000108d: MSTORE
0000108e: PUSH1 0x40
00001090: DUP1
00001091: DUP3
00001092: KECCAK256
00001093: DUP1
00001094: SLOAD
00001095: SWAP1
00001096: DUP4
00001097: SWAP1
00001098: SSTORE
00001099: SWAP1
0000109a: MLOAD
0000109b: SWAP1
0000109c: SWAP3
0000109d: SWAP2
0000109e: DUP4
0000109f: SWAP2
000010a0: SWAP1
000010a1: DUP2
000010a2: DUP2
000010a3: DUP2
000010a4: DUP6
000010a5: DUP8
000010a6: PUSH2 0x8502
000010a9: GAS
000010aa: SUB
000010ab: CALL
000010ac: SWAP3
000010ad: POP
000010ae: POP
000010af: POP
000010b0: ISZERO
000010b1: PUSH2 0x10bd
000010b4: JUMPI
000010b5: PUSH1 0x01
000010b7: SWAP2
000010b8: POP
000010b9: PUSH2 0x10db
000010bc: JUMP
000010bd: JUMPDEST
000010be: PUSH1 0x01
000010c0: PUSH1 0xa0
000010c2: PUSH1 0x02
000010c4: EXP
000010c5: SUB
000010c6: CALLER
000010c7: AND
000010c8: PUSH1 0x00
000010ca: SWAP1
000010cb: DUP2
000010cc: MSTORE
000010cd: PUSH1 0x13
000010cf: PUSH1 0x20
000010d1: MSTORE
000010d2: PUSH1 0x40
000010d4: DUP2
000010d5: KECCAK256
000010d6: DUP3
000010d7: SWAP1
000010d8: SSTORE
000010d9: SWAP2
000010da: POP
000010db: JUMPDEST
000010dc: POP
000010dd: SWAP1
000010de: JUMP
000010df: JUMPDEST
000010e0: PUSH1 0x0a
000010e2: SLOAD
000010e3: PUSH2 0x10ec
000010e6: SWAP1
000010e7: DUP4
000010e8: PUSH2 0x0b25
000010eb: JUMP
000010ec: JUMPDEST
000010ed: PUSH1 0x0a
000010ef: SSTORE
000010f0: PUSH1 0x40
000010f2: MLOAD
000010f3: PUSH1 0x01
000010f5: PUSH1 0xa0
000010f7: PUSH1 0x02
000010f9: EXP
000010fa: SUB
000010fb: DUP5
000010fc: AND
000010fd: SWAP1
000010fe: DUP3
000010ff: ISZERO
00001100: PUSH2 0x08fc
00001103: MUL
00001104: SWAP1
00001105: DUP4
00001106: SWAP1
00001107: PUSH1 0x00
00001109: DUP2
0000110a: DUP2
0000110b: DUP2
0000110c: DUP6
0000110d: DUP9
0000110e: DUP9
0000110f: CALL
00001110: SWAP4
00001111: POP
00001112: POP
00001113: POP
00001114: POP
00001115: ISZERO
00001116: ISZERO
00001117: PUSH2 0x111f
0000111a: JUMPI
0000111b: PUSH2 0x0002
0000111e: JUMP
0000111f: JUMPDEST
00001120: PUSH1 0x40
00001122: MLOAD
00001123: DUP2
00001124: SWAP1
00001125: PUSH1 0x01
00001127: PUSH1 0xa0
00001129: PUSH1 0x02
0000112b: EXP
0000112c: SUB
0000112d: DUP6
0000112e: AND
0000112f: SWAP1
00001130: DUP7
00001131: SWAP1
00001132: PUSH32 0x7b6ccf85690b8ce1b7d21a94ca738803a9da7dc74e10140f269efa0d8d6fb851
00001153: SWAP1
00001154: PUSH1 0x00
00001156: SWAP1
00001157: LOG4
00001158: POP
00001159: POP
0000115a: POP
0000115b: POP
0000115c: JUMP
0000115d: JUMPDEST
0000115e: PUSH1 0x01
00001160: DUP1
00001161: SLOAD
00001162: PUSH1 0xe0
00001164: PUSH1 0x02
00001166: EXP
00001167: DUP1
00001168: DUP5
00001169: MUL
0000116a: DIV
0000116b: PUSH1 0xa8
0000116d: PUSH1 0x02
0000116f: EXP
00001170: MUL
00001171: PUSH25 0xffffffff000000000000000000000000000000000000000000
0000118b: NOT
0000118c: SWAP1
0000118d: SWAP2
0000118e: AND
0000118f: OR
00001190: SWAP1
00001191: SSTORE
00001192: POP
00001193: JUMP
00001194: JUMPDEST
00001195: PUSH1 0x02
00001197: SLOAD
00001198: PUSH1 0x01
0000119a: PUSH1 0xa0
0000119c: PUSH1 0x02
0000119e: EXP
0000119f: SUB
000011a0: AND
000011a1: SELFDESTRUCT
000011a2: JUMPDEST
000011a3: CALLVALUE
000011a4: DUP3
000011a5: PUSH1 0x06
000011a7: PUSH1 0x00
000011a9: POP
000011aa: SLOAD
000011ab: CALLVALUE
000011ac: GT
000011ad: DUP1
000011ae: PUSH2 0x11b8
000011b1: JUMPI
000011b2: POP
000011b3: PUSH1 0x08
000011b5: SLOAD
000011b6: CALLVALUE
000011b7: LT
000011b8: JUMPDEST
000011b9: DUP1
000011ba: PUSH2 0x11c3
000011bd: JUMPI
000011be: POP
000011bf: PUSH1 0x02
000011c1: DUP2
000011c2: LT
000011c3: JUMPDEST
000011c4: DUP1
000011c5: PUSH2 0x11ce
000011c8: JUMPI
000011c9: POP
000011ca: PUSH1 0x63
000011cc: DUP2
000011cd: GT
000011ce: JUMPDEST
000011cf: ISZERO
000011d0: PUSH2 0x11d8
000011d3: JUMPI
000011d4: PUSH2 0x0002
000011d7: JUMP
000011d8: JUMPDEST
000011d9: PUSH2 0x1262
000011dc: PUSH1 0x40
000011de: PUSH1 0x40
000011e0: MLOAD
000011e1: SWAP1
000011e2: DUP2
000011e3: ADD
000011e4: PUSH1 0x40
000011e6: MSTORE
000011e7: DUP1
000011e8: PUSH1 0x06
000011ea: DUP2
000011eb: MSTORE
000011ec: PUSH1 0x20
000011ee: ADD
000011ef: PUSH32 0x6e65737465640000000000000000000000000000000000000000000000000000
00001210: DUP2
00001211: MSTORE
00001212: PUSH1 0x20
00001214: ADD
00001215: POP
00001216: PUSH2 0x01e0
00001219: PUSH1 0x40
0000121b: MLOAD
0000121c: SWAP1
0000121d: DUP2
0000121e: ADD
0000121f: PUSH1 0x40
00001221: MSTORE
00001222: DUP1
00001223: PUSH2 0x01a4
00001226: DUP2
00001227: MSTORE
00001228: PUSH1 0x20
0000122a: ADD
0000122b: PUSH2 0x1901
0000122e: PUSH2 0x01a4
00001231: SWAP2
00001232: CODECOPY
00001233: PUSH1 0x01
00001235: SLOAD
00001236: PUSH4 0xffffffff
0000123b: PUSH1 0xa8
0000123d: PUSH1 0x02
0000123f: EXP
00001240: SWAP1
00001241: SWAP2
00001242: DIV
00001243: AND
00001244: PUSH1 0x00
00001246: DUP1
00001247: SLOAD
00001248: DUP2
00001249: SWAP1
0000124a: PUSH1 0x01
0000124c: PUSH1 0xa0
0000124e: PUSH1 0x02
00001250: EXP
00001251: SUB
00001252: AND
00001253: ISZERO
00001254: ISZERO
00001255: PUSH2 0x14e8
00001258: JUMPI
00001259: PUSH2 0x14e6
0000125c: PUSH1 0x00
0000125e: PUSH2 0x02ca
00001261: JUMP
00001262: JUMPDEST
00001263: PUSH1 0x09
00001265: DUP1
00001266: SLOAD
00001267: PUSH1 0x01
00001269: SWAP1
0000126a: DUP2
0000126b: ADD
0000126c: SWAP1
0000126d: SWAP2
0000126e: SSTORE
0000126f: PUSH1 0x00
00001271: DUP3
00001272: DUP2
00001273: MSTORE
00001274: PUSH1 0x0d
00001276: PUSH1 0x20
00001278: SWAP1
00001279: DUP2
0000127a: MSTORE
0000127b: PUSH1 0x40
0000127d: DUP1
0000127e: DUP4
0000127f: KECCAK256
00001280: DUP6
00001281: SWAP1
00001282: SSTORE
00001283: PUSH1 0x12
00001285: DUP3
00001286: MSTORE
00001287: DUP1
00001288: DUP4
00001289: KECCAK256
0000128a: DUP10
0000128b: SWAP1
0000128c: SSTORE
0000128d: PUSH1 0x0e
0000128f: DUP3
00001290: MSTORE
00001291: DUP1
00001292: DUP4
00001293: KECCAK256
00001294: CALLVALUE
00001295: SWAP1
00001296: DUP2
00001297: SWAP1
00001298: SSTORE
00001299: PUSH1 0x0b
0000129b: SWAP1
0000129c: SWAP3
0000129d: MSTORE
0000129e: SWAP1
0000129f: SWAP2
000012a0: KECCAK256
000012a1: DUP1
000012a2: SLOAD
000012a3: PUSH1 0x01
000012a5: PUSH1 0xa0
000012a7: PUSH1 0x02
000012a9: EXP
000012aa: SUB
000012ab: NOT
000012ac: AND
000012ad: PUSH1 0x60
000012af: PUSH1 0x02
000012b1: EXP
000012b2: CALLER
000012b3: DUP2
000012b4: MUL
000012b5: DIV
000012b6: OR
000012b7: SWAP1
000012b8: SSTORE
000012b9: PUSH1 0x05
000012bb: SLOAD
000012bc: SWAP3
000012bd: SWAP6
000012be: POP
000012bf: SWAP2
000012c0: PUSH2 0x03e8
000012c3: SWAP2
000012c4: DUP4
000012c5: SWAP1
000012c6: PUSH2 0x12d0
000012c9: SWAP1
000012ca: DUP10
000012cb: SWAP1
000012cc: PUSH2 0x0b25
000012cf: JUMP
000012d0: JUMPDEST
000012d1: PUSH2 0x12db
000012d4: DUP10
000012d5: PUSH1 0x01
000012d7: PUSH2 0x0b25
000012da: JUMP
000012db: JUMPDEST
000012dc: PUSH1 0x64
000012de: SUB
000012df: CALLVALUE
000012e0: MUL
000012e1: DUP2
000012e2: ISZERO
000012e3: PUSH2 0x0002
000012e6: JUMPI
000012e7: DIV
000012e8: ADD
000012e9: MUL
000012ea: DUP2
000012eb: ISZERO
000012ec: PUSH2 0x0002
000012ef: JUMPI
000012f0: PUSH1 0x00
000012f2: DUP7
000012f3: DUP2
000012f4: MSTORE
000012f5: PUSH1 0x14
000012f7: PUSH1 0x20
000012f9: MSTORE
000012fa: PUSH1 0x40
000012fc: SWAP1
000012fd: KECCAK256
000012fe: SWAP2
000012ff: SWAP1
00001300: DIV
00001301: SWAP2
00001302: SWAP1
00001303: SWAP2
00001304: SUB
00001305: SWAP1
00001306: DUP2
00001307: SWAP1
00001308: SSTORE
00001309: PUSH1 0x0a
0000130b: SLOAD
0000130c: PUSH2 0x1314
0000130f: SWAP2
00001310: PUSH2 0x059b
00001313: JUMP
00001314: JUMPDEST
00001315: PUSH1 0x0a
00001317: DUP2
00001318: SWAP1
00001319: SSTORE
0000131a: PUSH1 0x04
0000131c: SLOAD
0000131d: SWAP1
0000131e: LT
0000131f: PUSH2 0x1327
00001322: JUMPI
00001323: PUSH2 0x0002
00001326: JUMP
00001327: JUMPDEST
00001328: PUSH1 0x00
0000132a: DUP4
0000132b: DUP2
0000132c: MSTORE
0000132d: PUSH1 0x0e
0000132f: PUSH1 0x20
00001331: SWAP1
00001332: DUP2
00001333: MSTORE
00001334: PUSH1 0x40
00001336: DUP1
00001337: DUP4
00001338: KECCAK256
00001339: SLOAD
0000133a: PUSH1 0x14
0000133c: SWAP1
0000133d: SWAP3
0000133e: MSTORE
0000133f: SWAP1
00001340: SWAP2
00001341: KECCAK256
00001342: SLOAD
00001343: PUSH2 0x134c
00001346: SWAP2
00001347: SWAP1
00001348: PUSH2 0x059b
0000134b: JUMP
0000134c: JUMPDEST
0000134d: PUSH1 0x00
0000134f: DUP5
00001350: DUP2
00001351: MSTORE
00001352: PUSH1 0x0b
00001354: PUSH1 0x20
00001356: SWAP1
00001357: DUP2
00001358: MSTORE
00001359: PUSH1 0x40
0000135b: DUP1
0000135c: DUP4
0000135d: KECCAK256
0000135e: SLOAD
0000135f: PUSH1 0x0d
00001361: DUP4
00001362: MSTORE
00001363: DUP2
00001364: DUP5
00001365: KECCAK256
00001366: SLOAD
00001367: PUSH1 0x14
00001369: DUP5
0000136a: MSTORE
0000136b: DUP3
0000136c: DUP6
0000136d: KECCAK256
0000136e: SLOAD
0000136f: PUSH1 0x0e
00001371: DUP6
00001372: MSTORE
00001373: DUP4
00001374: DUP7
00001375: KECCAK256
00001376: SLOAD
00001377: PUSH1 0x12
00001379: DUP7
0000137a: MSTORE
0000137b: SWAP6
0000137c: DUP5
0000137d: SWAP1
0000137e: KECCAK256
0000137f: SLOAD
00001380: DUP5
00001381: MLOAD
00001382: SWAP2
00001383: DUP3
00001384: MSTORE
00001385: SWAP5
00001386: DUP2
00001387: ADD
00001388: SWAP6
00001389: SWAP1
0000138a: SWAP6
0000138b: MSTORE
0000138c: DUP5
0000138d: DUP4
0000138e: ADD
0000138f: SWAP4
00001390: SWAP1
00001391: SWAP4
00001392: MSTORE
00001393: SWAP1
00001394: MLOAD
00001395: PUSH1 0x01
00001397: PUSH1 0xa0
00001399: PUSH1 0x02
0000139b: EXP
0000139c: SUB
0000139d: SWAP1
0000139e: SWAP2
0000139f: AND
000013a0: SWAP3
000013a1: PUSH32 0x1cb5bfc4e69cbacf65c8e05bdb84d7a327bd6bb4c034ff82359aefd7443775c4
000013c2: SWAP2
000013c3: SWAP1
000013c4: DUP2
000013c5: SWAP1
000013c6: SUB
000013c7: PUSH1 0x60
000013c9: ADD
000013ca: SWAP1
000013cb: LOG4
000013cc: POP
000013cd: POP
000013ce: POP
000013cf: POP
000013d0: JUMP
000013d1: JUMPDEST
000013d2: POP
000013d3: JUMPDEST
000013d4: PUSH1 0x00
000013d6: PUSH1 0x00
000013d8: SWAP1
000013d9: SLOAD
000013da: SWAP1
000013db: PUSH2 0x0100
000013de: EXP
000013df: SWAP1
000013e0: DIV
000013e1: PUSH1 0x01
000013e3: PUSH1 0xa0
000013e5: PUSH1 0x02
000013e7: EXP
000013e8: SUB
000013e9: AND
000013ea: PUSH1 0x01
000013ec: PUSH1 0xa0
000013ee: PUSH1 0x02
000013f0: EXP
000013f1: SUB
000013f2: AND
000013f3: PUSH4 0x38cc4831
000013f8: PUSH1 0x00
000013fa: PUSH1 0x40
000013fc: MLOAD
000013fd: PUSH1 0x20
000013ff: ADD
00001400: MSTORE
00001401: PUSH1 0x40
00001403: MLOAD
00001404: DUP2
00001405: PUSH1 0xe0
00001407: PUSH1 0x02
00001409: EXP
0000140a: MUL
0000140b: DUP2
0000140c: MSTORE
0000140d: PUSH1 0x04
0000140f: ADD
00001410: DUP1
00001411: SWAP1
00001412: POP
00001413: PUSH1 0x20
00001415: PUSH1 0x40
00001417: MLOAD
00001418: DUP1
00001419: DUP4
0000141a: SUB
0000141b: DUP2
0000141c: PUSH1 0x00
0000141e: DUP8
0000141f: DUP1
00001420: EXTCODESIZE
00001421: ISZERO
00001422: PUSH2 0x0002
00001425: JUMPI
00001426: PUSH1 0x32
00001428: GAS
00001429: SUB
0000142a: CALL
0000142b: ISZERO
0000142c: PUSH2 0x0002
0000142f: JUMPI
00001430: POP
00001431: POP
00001432: PUSH1 0x40
00001434: DUP1
00001435: MLOAD
00001436: DUP1
00001437: MLOAD
00001438: PUSH1 0x01
0000143a: DUP1
0000143b: SLOAD
0000143c: PUSH1 0x01
0000143e: PUSH1 0xa0
00001440: PUSH1 0x02
00001442: EXP
00001443: SUB
00001444: NOT
00001445: AND
00001446: PUSH1 0x60
00001448: PUSH1 0x02
0000144a: EXP
0000144b: SWAP3
0000144c: DUP4
0000144d: MUL
0000144e: SWAP3
0000144f: SWAP1
00001450: SWAP3
00001451: DIV
00001452: SWAP2
00001453: SWAP1
00001454: SWAP2
00001455: OR
00001456: SWAP1
00001457: DUP2
00001458: SWAP1
00001459: SSTORE
0000145a: PUSH1 0x00
0000145c: PUSH1 0x20
0000145e: SWAP3
0000145f: DUP4
00001460: ADD
00001461: DUP2
00001462: SWAP1
00001463: MSTORE
00001464: DUP4
00001465: MLOAD
00001466: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000
00001487: DUP2
00001488: MSTORE
00001489: SWAP4
0000148a: MLOAD
0000148b: PUSH1 0x01
0000148d: PUSH1 0xa0
0000148f: PUSH1 0x02
00001491: EXP
00001492: SUB
00001493: SWAP1
00001494: SWAP3
00001495: AND
00001496: SWAP5
00001497: POP
00001498: PUSH4 0xc281d19e
0000149d: SWAP4
0000149e: PUSH1 0x04
000014a0: DUP1
000014a1: DUP3
000014a2: ADD
000014a3: SWAP5
000014a4: SWAP4
000014a5: SWAP3
000014a6: SWAP2
000014a7: DUP4
000014a8: SWAP1
000014a9: SUB
000014aa: ADD
000014ab: SWAP1
000014ac: DUP3
000014ad: SWAP1
000014ae: DUP8
000014af: DUP1
000014b0: EXTCODESIZE
000014b1: ISZERO
000014b2: PUSH2 0x0002
000014b5: JUMPI
000014b6: PUSH1 0x32
000014b8: GAS
000014b9: SUB
000014ba: CALL
000014bb: ISZERO
000014bc: PUSH2 0x0002
000014bf: JUMPI
000014c0: POP
000014c1: POP
000014c2: PUSH1 0x40
000014c4: MLOAD
000014c5: MLOAD
000014c6: SWAP2
000014c7: POP
000014c8: POP
000014c9: SWAP1
000014ca: JUMP
000014cb: JUMPDEST
000014cc: SWAP1
000014cd: POP
000014ce: PUSH2 0x032c
000014d1: JUMP
000014d2: JUMPDEST
000014d3: ISZERO
000014d4: ISZERO
000014d5: PUSH2 0x14dd
000014d8: JUMPI
000014d9: PUSH2 0x0002
000014dc: JUMP
000014dd: JUMPDEST
000014de: POP
000014df: DUP1
000014e0: DUP3
000014e1: SUB
000014e2: PUSH2 0x05aa
000014e5: JUMP
000014e6: JUMPDEST
000014e7: POP
000014e8: JUMPDEST
000014e9: PUSH1 0x00
000014eb: PUSH1 0x00
000014ed: SWAP1
000014ee: SLOAD
000014ef: SWAP1
000014f0: PUSH2 0x0100
000014f3: EXP
000014f4: SWAP1
000014f5: DIV
000014f6: PUSH1 0x01
000014f8: PUSH1 0xa0
000014fa: PUSH1 0x02
000014fc: EXP
000014fd: SUB
000014fe: AND
000014ff: PUSH1 0x01
00001501: PUSH1 0xa0
00001503: PUSH1 0x02
00001505: EXP
00001506: SUB
00001507: AND
00001508: PUSH4 0x38cc4831
0000150d: PUSH1 0x00
0000150f: PUSH1 0x40
00001511: MLOAD
00001512: PUSH1 0x20
00001514: ADD
00001515: MSTORE
00001516: PUSH1 0x40
00001518: MLOAD
00001519: DUP2
0000151a: PUSH1 0xe0
0000151c: PUSH1 0x02
0000151e: EXP
0000151f: MUL
00001520: DUP2
00001521: MSTORE
00001522: PUSH1 0x04
00001524: ADD
00001525: DUP1
00001526: SWAP1
00001527: POP
00001528: PUSH1 0x20
0000152a: PUSH1 0x40
0000152c: MLOAD
0000152d: DUP1
0000152e: DUP4
0000152f: SUB
00001530: DUP2
00001531: PUSH1 0x00
00001533: DUP8
00001534: DUP1
00001535: EXTCODESIZE
00001536: ISZERO
00001537: PUSH2 0x0002
0000153a: JUMPI
0000153b: PUSH1 0x32
0000153d: GAS
0000153e: SUB
0000153f: CALL
00001540: ISZERO
00001541: PUSH2 0x0002
00001544: JUMPI
00001545: POP
00001546: POP
00001547: POP
00001548: PUSH1 0x40
0000154a: MLOAD
0000154b: DUP1
0000154c: MLOAD
0000154d: SWAP1
0000154e: PUSH1 0x20
00001550: ADD
00001551: POP
00001552: PUSH1 0x01
00001554: PUSH1 0x00
00001556: PUSH2 0x0100
00001559: EXP
0000155a: DUP2
0000155b: SLOAD
0000155c: DUP2
0000155d: PUSH1 0x01
0000155f: PUSH1 0xa0
00001561: PUSH1 0x02
00001563: EXP
00001564: SUB
00001565: MUL
00001566: NOT
00001567: AND
00001568: SWAP1
00001569: DUP4
0000156a: PUSH1 0x60
0000156c: PUSH1 0x02
0000156e: EXP
0000156f: SWAP1
00001570: DUP2
00001571: MUL
00001572: DIV
00001573: MUL
00001574: OR
00001575: SWAP1
00001576: SSTORE
00001577: POP
00001578: PUSH1 0x01
0000157a: PUSH1 0x00
0000157c: SWAP1
0000157d: SLOAD
0000157e: SWAP1
0000157f: PUSH2 0x0100
00001582: EXP
00001583: SWAP1
00001584: DIV
00001585: PUSH1 0x01
00001587: PUSH1 0xa0
00001589: PUSH1 0x02
0000158b: EXP
0000158c: SUB
0000158d: AND
0000158e: PUSH1 0x01
00001590: PUSH1 0xa0
00001592: PUSH1 0x02
00001594: EXP
00001595: SUB
00001596: AND
00001597: PUSH4 0x2ef3accc
0000159c: DUP7
0000159d: DUP6
0000159e: PUSH1 0x00
000015a0: PUSH1 0x40
000015a2: MLOAD
000015a3: PUSH1 0x20
000015a5: ADD
000015a6: MSTORE
000015a7: PUSH1 0x40
000015a9: MLOAD
000015aa: DUP4
000015ab: PUSH1 0xe0
000015ad: PUSH1 0x02
000015af: EXP
000015b0: MUL
000015b1: DUP2
000015b2: MSTORE
000015b3: PUSH1 0x04
000015b5: ADD
000015b6: DUP1
000015b7: DUP1
000015b8: PUSH1 0x20
000015ba: ADD
000015bb: DUP4
000015bc: DUP2
000015bd: MSTORE
000015be: PUSH1 0x20
000015c0: ADD
000015c1: DUP3
000015c2: DUP2
000015c3: SUB
000015c4: DUP3
000015c5: MSTORE
000015c6: DUP5
000015c7: DUP2
000015c8: DUP2
000015c9: MLOAD
000015ca: DUP2
000015cb: MSTORE
000015cc: PUSH1 0x20
000015ce: ADD
000015cf: SWAP2
000015d0: POP
000015d1: DUP1
000015d2: MLOAD
000015d3: SWAP1
000015d4: PUSH1 0x20
000015d6: ADD
000015d7: SWAP1
000015d8: DUP1
000015d9: DUP4
000015da: DUP4
000015db: DUP3
000015dc: SWAP1
000015dd: PUSH1 0x00
000015df: PUSH1 0x04
000015e1: PUSH1 0x20
000015e3: DUP5
000015e4: PUSH1 0x1f
000015e6: ADD
000015e7: DIV
000015e8: PUSH1 0x03
000015ea: MUL
000015eb: PUSH1 0x0f
000015ed: ADD
000015ee: CALL
000015ef: POP
000015f0: SWAP1
000015f1: POP
000015f2: SWAP1
000015f3: DUP2
000015f4: ADD
000015f5: SWAP1
000015f6: PUSH1 0x1f
000015f8: AND
000015f9: DUP1
000015fa: ISZERO
000015fb: PUSH2 0x1618
000015fe: JUMPI
000015ff: DUP1
00001600: DUP3
00001601: SUB
00001602: DUP1
00001603: MLOAD
00001604: PUSH1 0x01
00001606: DUP4
00001607: PUSH1 0x20
00001609: SUB
0000160a: PUSH2 0x0100
0000160d: EXP
0000160e: SUB
0000160f: NOT
00001610: AND
00001611: DUP2
00001612: MSTORE
00001613: PUSH1 0x20
00001615: ADD
00001616: SWAP2
00001617: POP
00001618: JUMPDEST
00001619: POP
0000161a: SWAP4
0000161b: POP
0000161c: POP
0000161d: POP
0000161e: POP
0000161f: PUSH1 0x20
00001621: PUSH1 0x40
00001623: MLOAD
00001624: DUP1
00001625: DUP4
00001626: SUB
00001627: DUP2
00001628: PUSH1 0x00
0000162a: DUP8
0000162b: DUP1
0000162c: EXTCODESIZE
0000162d: ISZERO
0000162e: PUSH2 0x0002
00001631: JUMPI
00001632: PUSH1 0x32
00001634: GAS
00001635: SUB
00001636: CALL
00001637: ISZERO
00001638: PUSH2 0x0002
0000163b: JUMPI
0000163c: POP
0000163d: POP
0000163e: PUSH1 0x40
00001640: MLOAD
00001641: MLOAD
00001642: SWAP2
00001643: POP
00001644: POP
00001645: PUSH8 0x0de0b6b3a7640000
0000164e: GASPRICE
0000164f: DUP5
00001650: MUL
00001651: ADD
00001652: DUP2
00001653: GT
00001654: ISZERO
00001655: PUSH2 0x1665
00001658: JUMPI
00001659: PUSH1 0x00
0000165b: SWAP2
0000165c: POP
0000165d: JUMPDEST
0000165e: POP
0000165f: SWAP4
00001660: SWAP3
00001661: POP
00001662: POP
00001663: POP
00001664: JUMP
00001665: JUMPDEST
00001666: PUSH1 0x01
00001668: PUSH1 0x00
0000166a: SWAP1
0000166b: SLOAD
0000166c: SWAP1
0000166d: PUSH2 0x0100
00001670: EXP
00001671: SWAP1
00001672: DIV
00001673: PUSH1 0x01
00001675: PUSH1 0xa0
00001677: PUSH1 0x02
00001679: EXP
0000167a: SUB
0000167b: AND
0000167c: PUSH1 0x01
0000167e: PUSH1 0xa0
00001680: PUSH1 0x02
00001682: EXP
00001683: SUB
00001684: AND
00001685: PUSH4 0xc51be90f
0000168a: DUP3
0000168b: PUSH1 0x00
0000168d: DUP9
0000168e: DUP9
0000168f: DUP9
00001690: PUSH1 0x00
00001692: PUSH1 0x40
00001694: MLOAD
00001695: PUSH1 0x20
00001697: ADD
00001698: MSTORE
00001699: PUSH1 0x40
0000169b: MLOAD
0000169c: DUP7
0000169d: PUSH1 0xe0
0000169f: PUSH1 0x02
000016a1: EXP
000016a2: MUL
000016a3: DUP2
000016a4: MSTORE
000016a5: PUSH1 0x04
000016a7: ADD
000016a8: DUP1
000016a9: DUP6
000016aa: DUP2
000016ab: MSTORE
000016ac: PUSH1 0x20
000016ae: ADD
000016af: DUP1
000016b0: PUSH1 0x20
000016b2: ADD
000016b3: DUP1
000016b4: PUSH1 0x20
000016b6: ADD
000016b7: DUP5
000016b8: DUP2
000016b9: MSTORE
000016ba: PUSH1 0x20
000016bc: ADD
000016bd: DUP4
000016be: DUP2
000016bf: SUB
000016c0: DUP4
000016c1: MSTORE
000016c2: DUP7
000016c3: DUP2
000016c4: DUP2
000016c5: MLOAD
000016c6: DUP2
000016c7: MSTORE
000016c8: PUSH1 0x20
000016ca: ADD
000016cb: SWAP2
000016cc: POP
000016cd: DUP1
000016ce: MLOAD
000016cf: SWAP1
000016d0: PUSH1 0x20
000016d2: ADD
000016d3: SWAP1
000016d4: DUP1
000016d5: DUP4
000016d6: DUP4
000016d7: DUP3
000016d8: SWAP1
000016d9: PUSH1 0x00
000016db: PUSH1 0x04
000016dd: PUSH1 0x20
000016df: DUP5
000016e0: PUSH1 0x1f
000016e2: ADD
000016e3: DIV
000016e4: PUSH1 0x03
000016e6: MUL
000016e7: PUSH1 0x0f
000016e9: ADD
000016ea: CALL
000016eb: POP
000016ec: SWAP1
000016ed: POP
000016ee: SWAP1
000016ef: DUP2
000016f0: ADD
000016f1: SWAP1
000016f2: PUSH1 0x1f
000016f4: AND
000016f5: DUP1
000016f6: ISZERO
000016f7: PUSH2 0x1714
000016fa: JUMPI
000016fb: DUP1
000016fc: DUP3
000016fd: SUB
000016fe: DUP1
000016ff: MLOAD
00001700: PUSH1 0x01
00001702: DUP4
00001703: PUSH1 0x20
00001705: SUB
00001706: PUSH2 0x0100
00001709: EXP
0000170a: SUB
0000170b: NOT
0000170c: AND
0000170d: DUP2
0000170e: MSTORE
0000170f: PUSH1 0x20
00001711: ADD
00001712: SWAP2
00001713: POP
00001714: JUMPDEST
00001715: POP
00001716: DUP4
00001717: DUP2
00001718: SUB
00001719: DUP3
0000171a: MSTORE
0000171b: DUP6
0000171c: DUP2
0000171d: DUP2
0000171e: MLOAD
0000171f: DUP2
00001720: MSTORE
00001721: PUSH1 0x20
00001723: ADD
00001724: SWAP2
00001725: POP
00001726: DUP1
00001727: MLOAD
00001728: SWAP1
00001729: PUSH1 0x20
0000172b: ADD
0000172c: SWAP1
0000172d: DUP1
0000172e: DUP4
0000172f: DUP4
00001730: DUP3
00001731: SWAP1
00001732: PUSH1 0x00
00001734: PUSH1 0x04
00001736: PUSH1 0x20
00001738: DUP5
00001739: PUSH1 0x1f
0000173b: ADD
0000173c: DIV
0000173d: PUSH1 0x03
0000173f: MUL
00001740: PUSH1 0x0f
00001742: ADD
00001743: CALL
00001744: POP
00001745: SWAP1
00001746: POP
00001747: SWAP1
00001748: DUP2
00001749: ADD
0000174a: SWAP1
0000174b: PUSH1 0x1f
0000174d: AND
0000174e: DUP1
0000174f: ISZERO
00001750: PUSH2 0x176d
00001753: JUMPI
00001754: DUP1
00001755: DUP3
00001756: SUB
00001757: DUP1
00001758: MLOAD
00001759: PUSH1 0x01
0000175b: DUP4
0000175c: PUSH1 0x20
0000175e: SUB
0000175f: PUSH2 0x0100
00001762: EXP
00001763: SUB
00001764: NOT
00001765: AND
00001766: DUP2
00001767: MSTORE
00001768: PUSH1 0x20
0000176a: ADD
0000176b: SWAP2
0000176c: POP
0000176d: JUMPDEST
0000176e: POP
0000176f: SWAP7
00001770: POP
00001771: POP
00001772: POP
00001773: POP
00001774: POP
00001775: POP
00001776: POP
00001777: PUSH1 0x20
00001779: PUSH1 0x40
0000177b: MLOAD
0000177c: DUP1
0000177d: DUP4
0000177e: SUB
0000177f: DUP2
00001780: DUP6
00001781: DUP9
00001782: DUP1
00001783: EXTCODESIZE
00001784: ISZERO
00001785: PUSH2 0x0002
00001788: JUMPI
00001789: PUSH2 0x235a
0000178c: GAS
0000178d: SUB
0000178e: CALL
0000178f: ISZERO
00001790: PUSH2 0x0002
00001793: JUMPI
00001794: POP
00001795: POP
00001796: PUSH1 0x40
00001798: MLOAD
00001799: MLOAD
0000179a: SWAP4
0000179b: POP
0000179c: PUSH2 0x165d
0000179f: SWAP2
000017a0: POP
000017a1: POP
000017a2: JUMP
000017a3: JUMPDEST
000017a4: GT
000017a5: ISZERO
000017a6: PUSH2 0x17d7
000017a9: JUMPI
000017aa: POP
000017ab: PUSH1 0x00
000017ad: DUP1
000017ae: SLOAD
000017af: PUSH1 0x01
000017b1: PUSH1 0xa0
000017b3: PUSH1 0x02
000017b5: EXP
000017b6: SUB
000017b7: NOT
000017b8: AND
000017b9: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed
000017ce: OR
000017cf: SWAP1
000017d0: SSTORE
000017d1: PUSH1 0x01
000017d3: PUSH2 0x032c
000017d6: JUMP
000017d7: JUMPDEST
000017d8: PUSH1 0x00
000017da: PUSH2 0x17f6
000017dd: PUSH20 0xc03a2615d5efaf5f49f60b7bb6583eaec212fdf1
000017f2: PUSH2 0x02e7
000017f5: JUMP
000017f6: JUMPDEST
000017f7: GT
000017f8: ISZERO
000017f9: PUSH2 0x182a
000017fc: JUMPI
000017fd: POP
000017fe: PUSH1 0x00
00001800: DUP1
00001801: SLOAD
00001802: PUSH1 0x01
00001804: PUSH1 0xa0
00001806: PUSH1 0x02
00001808: EXP
00001809: SUB
0000180a: NOT
0000180b: AND
0000180c: PUSH20 0xc03a2615d5efaf5f49f60b7bb6583eaec212fdf1
00001821: OR
00001822: SWAP1
00001823: SSTORE
00001824: PUSH1 0x01
00001826: PUSH2 0x032c
00001829: JUMP
0000182a: JUMPDEST
0000182b: PUSH1 0x00
0000182d: PUSH2 0x1849
00001830: PUSH20 0x51efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa
00001845: PUSH2 0x02e7
00001848: JUMP
00001849: JUMPDEST
0000184a: GT
0000184b: ISZERO
0000184c: PUSH2 0x187d
0000184f: JUMPI
00001850: POP
00001851: PUSH1 0x00
00001853: DUP1
00001854: SLOAD
00001855: PUSH1 0x01
00001857: PUSH1 0xa0
00001859: PUSH1 0x02
0000185b: EXP
0000185c: SUB
0000185d: NOT
0000185e: AND
0000185f: PUSH20 0x51efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa
00001874: OR
00001875: SWAP1
00001876: SSTORE
00001877: PUSH1 0x01
00001879: PUSH2 0x032c
0000187c: JUMP
0000187d: JUMPDEST
0000187e: POP
0000187f: PUSH1 0x00
00001881: PUSH2 0x032c
00001884: JUMP
00001885: JUMPDEST
00001886: DUP4
00001887: DUP2
00001888: DUP2
00001889: MLOAD
0000188a: DUP2
0000188b: LT
0000188c: ISZERO
0000188d: PUSH2 0x0002
00001890: JUMPI
00001891: SWAP1
00001892: PUSH1 0x20
00001894: ADD
00001895: ADD
00001896: MLOAD
00001897: PUSH1 0xf8
00001899: PUSH1 0x02
0000189b: EXP
0000189c: SWAP1
0000189d: DIV
0000189e: PUSH1 0xf8
000018a0: PUSH1 0x02
000018a2: EXP
000018a3: MUL
000018a4: PUSH1 0x01
000018a6: PUSH1 0xf8
000018a8: PUSH1 0x02
000018aa: EXP
000018ab: SUB
000018ac: NOT
000018ad: AND
000018ae: PUSH1 0x2e
000018b0: PUSH1 0xf8
000018b2: PUSH1 0x02
000018b4: EXP
000018b5: MUL
000018b6: EQ
000018b7: ISZERO
000018b8: PUSH2 0x18c0
000018bb: JUMPI
000018bc: PUSH1 0x01
000018be: SWAP2
000018bf: POP
000018c0: JUMPDEST
000018c1: PUSH1 0x01
000018c3: ADD
000018c4: PUSH2 0x0733
000018c7: JUMP
000018c8: JUMPDEST
000018c9: PUSH1 0x00
000018cb: NOT
000018cc: SWAP1
000018cd: SWAP6
000018ce: ADD
000018cf: SWAP5
000018d0: JUMPDEST
000018d1: PUSH1 0x0a
000018d3: DUP4
000018d4: MUL
000018d5: SWAP3
000018d6: POP
000018d7: DUP3
000018d8: POP
000018d9: PUSH1 0x30
000018db: DUP5
000018dc: DUP3
000018dd: DUP2
000018de: MLOAD
000018df: DUP2
000018e0: LT
000018e1: ISZERO
000018e2: PUSH2 0x0002
000018e5: JUMPI
000018e6: ADD
000018e7: PUSH1 0x20
000018e9: ADD
000018ea: MLOAD
000018eb: PUSH1 0xf8
000018ed: PUSH1 0x02
000018ef: EXP
000018f0: SWAP1
000018f1: DUP2
000018f2: SWAP1
000018f3: DIV
000018f4: DUP2
000018f5: MUL
000018f6: DIV
000018f7: SUB
000018f8: SWAP3
000018f9: SWAP1
000018fa: SWAP3
000018fb: ADD
000018fc: SWAP2
000018fd: PUSH2 0x18c0
00001900: JUMP
00001901: JUMPDEST
00001902: SSTORE
00001903: MSTORE
00001904: UNKNOWN(0x4C)
00001905: TSTORE
00001906: KECCAK256
00001907: JUMPDEST
00001908: UNKNOWN(0x27)
00001909: PUSH11 0x736f6e2868747470733a2f
00001915: UNKNOWN(0x2F)
00001916: PUSH2 0x7069
00001919: UNKNOWN(0x2E)
0000191a: PUSH19 0x616e646f6d2e6f72672f6a736f6e2d7270632f
0000192e: BALANCE
0000192f: UNKNOWN(0x2F)
00001930: PUSH10 0x6e766f6b65292e726573
0000193b: PUSH22 0x6c742e72616e646f6d2e646174612e30272c20275c6e
00001952: PUSH28 0x226a736f6e727063223a22322e30222c226d6574686f64223a226765
0000196f: PUSH15 0x65726174655369676e6564496e7465
0000197f: PUSH8 0x657273222c227061
00001988: PUSH19 0x616d73223a7b226170694b6579223a247b5b64
0000199c: PUSH6 0x63727970745d
000019a3: KECCAK256
000019a4: TIMESTAMP
000019a5: TIMESTAMP
000019a6: PUSH5 0x4e516a6f46
000019ac: MSTORE
000019ad: PUSH21 0x4f2f4f642f384e6d50742b72644d6a4c6952416369
000019c3: MSTORE
000019c4: PUSH23 0x2b4e787649357674695353676372554654397678363336
000019dc: PUSH10 0x30786574544735527179
000019e7: BALANCE
000019e8: PUSH21 0x57746e473455617737477556656233484459486f53
000019fe: ORIGIN
000019ff: JUMPI
00001a00: PC
00001a01: CHAINID
00001a02: MSIZE
00001a03: TIMESTAMP
00001a04: PUSH17 0x6f4b2b58715851497a6351777a67697948
00001a16: PUSH11 0x79474e2b796c3169613538
00001a22: BALANCE
00001a23: PUSH12 0x583066596238464c4f634647
00001a30: BLOBHASH
00001a31: PUSH23 0x52747836616173382b6d6658704746766b3d7d2c226e22
00001a49: GASPRICE
00001a4a: BALANCE
00001a4b: UNKNOWN(0x2C)
00001a4c: UNKNOWN(0x22)
00001a4d: PUSH14 0x696e223a312c226d6178223a3130
00001a5c: ADDRESS
00001a5d: UNKNOWN(0x2C)
00001a5e: UNKNOWN(0x22)
00001a5f: PUSH19 0x65706c6163656d656e74223a747275652c2262
00001a73: PUSH2 0x7365
00001a76: UNKNOWN(0x22)
00001a77: GASPRICE
00001a78: BALANCE
00001a79: ADDRESS
00001a7a: UNKNOWN(0x24)
00001a7b: PUSH28 0x5b6964656e746974795d20227d227d2c226964223a31247b5b696465
00001a98: PUSH15 0x746974795d20227d227d275d631b7e
00001aa8: DUP4
00001aa9: PUSH22 0x4f4cdc55b37da22c617abf4803c0263b8ea1a436d43e
00001ac0: UNKNOWN(0xED)
00001ac1: PUSH1 0xd6
00001ac3: LOG1
00001ac4: UNKNOWN(0xE8)

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x1afeefb1", "selector": "0x1afeefb1", "calldata_variants": [ "0x1afeefb1", "0x1afeefb10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x268d50fe", "selector": "0x268d50fe", "calldata_variants": [ "0x268d50fe", "0x268d50fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e5b2168", "selector": "0x2e5b2168", "calldata_variants": [ "0x2e5b2168", "0x2e5b21680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x301cf6e7", "selector": "0x301cf6e7", "calldata_variants": [ "0x301cf6e7", "0x301cf6e70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x31375242", "selector": "0x31375242", "calldata_variants": [ "0x31375242", "0x313752420000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x38bbfa50", "selector": "0x38bbfa50", "calldata_variants": [ "0x38bbfa50", "0x38bbfa500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x39849771", "selector": "0x39849771", "calldata_variants": [ "0x39849771", "0x398497710000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3a4f6999", "selector": "0x3a4f6999", "calldata_variants": [ "0x3a4f6999", "0x3a4f69990000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 6654, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x6eea294189ccbbfddd73aa8b54b62f795ca28b41b970ef450805d1dadafd32e1 call_targets: 0xa1a979657a25a7f871c1588464cbb4a83bb96730 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x6eea294189ccbbfddd73aa8b54b62f795ca28b41b970ef450805d1dadafd32e1", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa1a979657a25a7f871c1588464cbb4a83bb96730" ], "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": "0x1afeefb1", "selector": "0x1afeefb1", "calldata_variants": [ "0x1afeefb1", "0x1afeefb10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x268d50fe", "selector": "0x268d50fe", "calldata_variants": [ "0x268d50fe", "0x268d50fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e5b2168", "selector": "0x2e5b2168", "calldata_variants": [ "0x2e5b2168", "0x2e5b21680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x301cf6e7", "selector": "0x301cf6e7", "calldata_variants": [ "0x301cf6e7", "0x301cf6e70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x31375242", "selector": "0x31375242", "calldata_variants": [ "0x31375242", "0x313752420000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x38bbfa50", "selector": "0x38bbfa50", "calldata_variants": [ "0x38bbfa50", "0x38bbfa500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x39849771", "selector": "0x39849771", "calldata_variants": [ "0x39849771", "0x398497710000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3a4f6999", "selector": "0x3a4f6999", "calldata_variants": [ "0x3a4f6999", "0x3a4f69990000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2075, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2438, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2553, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 20, "guards_detected": [ { "pc": 6654, "type": "tx_origin_used" } ], "untrusted_call_count": 20 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x6eea294189ccbbfddd73aa8b54b62f795ca28b41b970ef450805d1dadafd32e1 call_targets: 0xa1a979657a25a7f871c1588464cbb4a83bb96730 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x6eea294189ccbbfddd73aa8b54b62f795ca28b41b970ef450805d1dadafd32e1", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa1a979657a25a7f871c1588464cbb4a83bb96730" ], "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": "0x1afeefb1", "selector": "0x1afeefb1", "calldata_variants": [ "0x1afeefb1", "0x1afeefb10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x268d50fe", "selector": "0x268d50fe", "calldata_variants": [ "0x268d50fe", "0x268d50fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e5b2168", "selector": "0x2e5b2168", "calldata_variants": [ "0x2e5b2168", "0x2e5b21680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x301cf6e7", "selector": "0x301cf6e7", "calldata_variants": [ "0x301cf6e7", "0x301cf6e70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x31375242", "selector": "0x31375242", "calldata_variants": [ "0x31375242", "0x313752420000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x38bbfa50", "selector": "0x38bbfa50", "calldata_variants": [ "0x38bbfa50", "0x38bbfa500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x39849771", "selector": "0x39849771", "calldata_variants": [ "0x39849771", "0x398497710000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3a4f6999", "selector": "0x3a4f6999", "calldata_variants": [ "0x3a4f6999", "0x3a4f69990000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2075, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2438, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2553, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 20, "guards_detected": [ { "pc": 6654, "type": "tx_origin_used" } ] }
medium	other	detector	SELFDESTRUCT reachable	45	no	no	view trace_id: 0xf51ab3bf9a7a54f14c4bfc803a032760af5963a60932260ae5859c86ee8b48ac validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xf51ab3bf9a7a54f14c4bfc803a032760af5963a60932260ae5859c86ee8b48ac", "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": "0x1afeefb1", "selector": "0x1afeefb1", "calldata_variants": [ "0x1afeefb1", "0x1afeefb10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x268d50fe", "selector": "0x268d50fe", "calldata_variants": [ "0x268d50fe", "0x268d50fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e5b2168", "selector": "0x2e5b2168", "calldata_variants": [ "0x2e5b2168", "0x2e5b21680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x301cf6e7", "selector": "0x301cf6e7", "calldata_variants": [ "0x301cf6e7", "0x301cf6e70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x31375242", "selector": "0x31375242", "calldata_variants": [ "0x31375242", "0x313752420000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x38bbfa50", "selector": "0x38bbfa50", "calldata_variants": [ "0x38bbfa50", "0x38bbfa500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x39849771", "selector": "0x39849771", "calldata_variants": [ "0x39849771", "0x398497710000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3a4f6999", "selector": "0x3a4f6999", "calldata_variants": [ "0x3a4f6999", "0x3a4f69990000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 6654, "type": "tx_origin_used" } ], "selfdestruct_count": 1 }