Analysis Run

019b3844-8acb-716e-8ae7-b249e1766385

complete

Chain ID

1

Address

0xb67732ca658b9f7f6c46865865fd990d634c8766

Block Number

—

Created

Fri, Dec 19, 2025 8:19 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

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
11695	artifact.fetch	complete	1 / 3	3 months ago
11696	tool.cast_disasm	complete	1 / 3	3 months ago
54740	analysis.bundle	complete	1 / 3	1 week ago
54741	capability.graph	complete	1 / 3	1 week ago
54742	detector.run	complete	1 / 3	1 week ago
54743	validation.fork	complete	1 / 3	1 week 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

0

CREATE2

0

CALL-family (heavy)

14

EXT*/BALANCE

12

Total opcodes

4556

Flags

heavy_ext_balance_usage call_family_heavy

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01e2
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH3 0x5b4487
0000003b: EQ
0000003c: PUSH2 0x02a9
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x0b97bc86
00000046: EQ
00000047: PUSH2 0x02d2
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x21346edd
00000051: EQ
00000052: PUSH2 0x02fb
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x25d0b4ef
0000005c: EQ
0000005d: PUSH2 0x0324
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x2738154e
00000067: EQ
00000068: PUSH2 0x034d
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x28c32be6
00000072: EQ
00000073: PUSH2 0x0376
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x29dcb0cf
0000007d: EQ
0000007e: PUSH2 0x03a3
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x3f4ba83a
00000088: EQ
00000089: PUSH2 0x03cc
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x4a84fa81
00000093: EQ
00000094: PUSH2 0x03e1
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x4bb278f3
0000009e: EQ
0000009f: PUSH2 0x040a
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x4e71d92d
000000a9: EQ
000000aa: PUSH2 0x041f
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x5001780b
000000b4: EQ
000000b5: PUSH2 0x0434
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x544736e6
000000bf: EQ
000000c0: PUSH2 0x045d
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x590e1ae3
000000ca: EQ
000000cb: PUSH2 0x048a
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x5c975abb
000000d5: EQ
000000d6: PUSH2 0x049f
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x6103d70b
000000e0: EQ
000000e1: PUSH2 0x04cc
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x63bd1d4a
000000eb: EQ
000000ec: PUSH2 0x04e1
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x66d76bb2
000000f6: EQ
000000f7: PUSH2 0x04f6
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x785105f6
00000101: EQ
00000102: PUSH2 0x051f
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x8456cb59
0000010c: EQ
0000010d: PUSH2 0x0548
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x85f2aef2
00000117: EQ
00000118: PUSH2 0x055d
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0x8da5cb5b
00000122: EQ
00000123: PUSH2 0x05b2
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0x943dfef1
0000012d: EQ
0000012e: PUSH2 0x0607
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0x9a9a5cdb
00000138: EQ
00000139: PUSH2 0x065c
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x9e1a4d19
00000143: EQ
00000144: PUSH2 0x06a9
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xaa2de6c3
0000014e: EQ
0000014f: PUSH2 0x06d2
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xad3bf1f1
00000159: EQ
0000015a: PUSH2 0x06fb
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xb2fa1c9e
00000164: EQ
00000165: PUSH2 0x0728
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xb8435050
0000016f: EQ
00000170: PUSH2 0x0755
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0xbf7929a6
0000017a: EQ
0000017b: PUSH2 0x0782
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0xc1a9953f
00000185: EQ
00000186: PUSH2 0x07ab
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0xd125a7e2
00000190: EQ
00000191: PUSH2 0x07d4
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0xd1bf942a
0000019b: EQ
0000019c: PUSH2 0x07f7
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0xda28c81a
000001a6: EQ
000001a7: PUSH2 0x084c
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0xe2982c21
000001b1: EQ
000001b2: PUSH2 0x08a6
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0xe2fdcc17
000001bc: EQ
000001bd: PUSH2 0x08f3
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0xea7f537a
000001c7: EQ
000001c8: PUSH2 0x0948
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0xec4cd0cf
000001d2: EQ
000001d3: PUSH2 0x0979
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0xf2fde38b
000001dd: EQ
000001de: PUSH2 0x09a6
000001e1: JUMPI
000001e2: JUMPDEST
000001e3: PUSH1 0x00
000001e5: PUSH1 0x14
000001e7: SWAP1
000001e8: SLOAD
000001e9: SWAP1
000001ea: PUSH2 0x0100
000001ed: EXP
000001ee: SWAP1
000001ef: DIV
000001f0: PUSH1 0xff
000001f2: AND
000001f3: ISZERO
000001f4: ISZERO
000001f5: ISZERO
000001f6: PUSH2 0x01fe
000001f9: JUMPI
000001fa: PUSH1 0x00
000001fc: DUP1
000001fd: REVERT
000001fe: JUMPDEST
000001ff: PUSH1 0x05
00000201: PUSH1 0x00
00000203: SWAP1
00000204: SLOAD
00000205: SWAP1
00000206: PUSH2 0x0100
00000209: EXP
0000020a: SWAP1
0000020b: DIV
0000020c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000221: AND
00000222: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000237: AND
00000238: CALLER
00000239: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000024e: AND
0000024f: EQ
00000250: ISZERO
00000251: PUSH2 0x029d
00000254: JUMPI
00000255: CALLVALUE
00000256: PUSH1 0x0c
00000258: PUSH1 0x00
0000025a: ADDRESS
0000025b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000270: AND
00000271: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000286: AND
00000287: DUP2
00000288: MSTORE
00000289: PUSH1 0x20
0000028b: ADD
0000028c: SWAP1
0000028d: DUP2
0000028e: MSTORE
0000028f: PUSH1 0x20
00000291: ADD
00000292: PUSH1 0x00
00000294: KECCAK256
00000295: DUP2
00000296: SWAP1
00000297: SSTORE
00000298: POP
00000299: PUSH2 0x02a7
0000029c: JUMP
0000029d: JUMPDEST
0000029e: PUSH2 0x02a6
000002a1: CALLER
000002a2: PUSH2 0x09df
000002a5: JUMP
000002a6: JUMPDEST
000002a7: JUMPDEST
000002a8: STOP
000002a9: JUMPDEST
000002aa: CALLVALUE
000002ab: ISZERO
000002ac: PUSH2 0x02b4
000002af: JUMPI
000002b0: PUSH1 0x00
000002b2: DUP1
000002b3: REVERT
000002b4: JUMPDEST
000002b5: PUSH2 0x02bc
000002b8: PUSH2 0x0cd3
000002bb: JUMP
000002bc: JUMPDEST
000002bd: PUSH1 0x40
000002bf: MLOAD
000002c0: DUP1
000002c1: DUP3
000002c2: DUP2
000002c3: MSTORE
000002c4: PUSH1 0x20
000002c6: ADD
000002c7: SWAP2
000002c8: POP
000002c9: POP
000002ca: PUSH1 0x40
000002cc: MLOAD
000002cd: DUP1
000002ce: SWAP2
000002cf: SUB
000002d0: SWAP1
000002d1: RETURN
000002d2: JUMPDEST
000002d3: CALLVALUE
000002d4: ISZERO
000002d5: PUSH2 0x02dd
000002d8: JUMPI
000002d9: PUSH1 0x00
000002db: DUP1
000002dc: REVERT
000002dd: JUMPDEST
000002de: PUSH2 0x02e5
000002e1: PUSH2 0x0cd9
000002e4: JUMP
000002e5: JUMPDEST
000002e6: PUSH1 0x40
000002e8: MLOAD
000002e9: DUP1
000002ea: DUP3
000002eb: DUP2
000002ec: MSTORE
000002ed: PUSH1 0x20
000002ef: ADD
000002f0: SWAP2
000002f1: POP
000002f2: POP
000002f3: PUSH1 0x40
000002f5: MLOAD
000002f6: DUP1
000002f7: SWAP2
000002f8: SUB
000002f9: SWAP1
000002fa: RETURN
000002fb: JUMPDEST
000002fc: CALLVALUE
000002fd: ISZERO
000002fe: PUSH2 0x0306
00000301: JUMPI
00000302: PUSH1 0x00
00000304: DUP1
00000305: REVERT
00000306: JUMPDEST
00000307: PUSH2 0x030e
0000030a: PUSH2 0x0ce1
0000030d: JUMP
0000030e: JUMPDEST
0000030f: PUSH1 0x40
00000311: MLOAD
00000312: DUP1
00000313: DUP3
00000314: DUP2
00000315: MSTORE
00000316: PUSH1 0x20
00000318: ADD
00000319: SWAP2
0000031a: POP
0000031b: POP
0000031c: PUSH1 0x40
0000031e: MLOAD
0000031f: DUP1
00000320: SWAP2
00000321: SUB
00000322: SWAP1
00000323: RETURN
00000324: JUMPDEST
00000325: CALLVALUE
00000326: ISZERO
00000327: PUSH2 0x032f
0000032a: JUMPI
0000032b: PUSH1 0x00
0000032d: DUP1
0000032e: REVERT
0000032f: JUMPDEST
00000330: PUSH2 0x0337
00000333: PUSH2 0x0ce7
00000336: JUMP
00000337: JUMPDEST
00000338: PUSH1 0x40
0000033a: MLOAD
0000033b: DUP1
0000033c: DUP3
0000033d: DUP2
0000033e: MSTORE
0000033f: PUSH1 0x20
00000341: ADD
00000342: SWAP2
00000343: POP
00000344: POP
00000345: PUSH1 0x40
00000347: MLOAD
00000348: DUP1
00000349: SWAP2
0000034a: SUB
0000034b: SWAP1
0000034c: RETURN
0000034d: JUMPDEST
0000034e: CALLVALUE
0000034f: ISZERO
00000350: PUSH2 0x0358
00000353: JUMPI
00000354: PUSH1 0x00
00000356: DUP1
00000357: REVERT
00000358: JUMPDEST
00000359: PUSH2 0x0360
0000035c: PUSH2 0x0cf5
0000035f: JUMP
00000360: JUMPDEST
00000361: PUSH1 0x40
00000363: MLOAD
00000364: DUP1
00000365: DUP3
00000366: DUP2
00000367: MSTORE
00000368: PUSH1 0x20
0000036a: ADD
0000036b: SWAP2
0000036c: POP
0000036d: POP
0000036e: PUSH1 0x40
00000370: MLOAD
00000371: DUP1
00000372: SWAP2
00000373: SUB
00000374: SWAP1
00000375: RETURN
00000376: JUMPDEST
00000377: CALLVALUE
00000378: ISZERO
00000379: PUSH2 0x0381
0000037c: JUMPI
0000037d: PUSH1 0x00
0000037f: DUP1
00000380: REVERT
00000381: JUMPDEST
00000382: PUSH2 0x0389
00000385: PUSH2 0x0d12
00000388: JUMP
00000389: JUMPDEST
0000038a: PUSH1 0x40
0000038c: MLOAD
0000038d: DUP1
0000038e: DUP3
0000038f: ISZERO
00000390: ISZERO
00000391: ISZERO
00000392: ISZERO
00000393: DUP2
00000394: MSTORE
00000395: PUSH1 0x20
00000397: ADD
00000398: SWAP2
00000399: POP
0000039a: POP
0000039b: PUSH1 0x40
0000039d: MLOAD
0000039e: DUP1
0000039f: SWAP2
000003a0: SUB
000003a1: SWAP1
000003a2: RETURN
000003a3: JUMPDEST
000003a4: CALLVALUE
000003a5: ISZERO
000003a6: PUSH2 0x03ae
000003a9: JUMPI
000003aa: PUSH1 0x00
000003ac: DUP1
000003ad: REVERT
000003ae: JUMPDEST
000003af: PUSH2 0x03b6
000003b2: PUSH2 0x0d20
000003b5: JUMP
000003b6: JUMPDEST
000003b7: PUSH1 0x40
000003b9: MLOAD
000003ba: DUP1
000003bb: DUP3
000003bc: DUP2
000003bd: MSTORE
000003be: PUSH1 0x20
000003c0: ADD
000003c1: SWAP2
000003c2: POP
000003c3: POP
000003c4: PUSH1 0x40
000003c6: MLOAD
000003c7: DUP1
000003c8: SWAP2
000003c9: SUB
000003ca: SWAP1
000003cb: RETURN
000003cc: JUMPDEST
000003cd: CALLVALUE
000003ce: ISZERO
000003cf: PUSH2 0x03d7
000003d2: JUMPI
000003d3: PUSH1 0x00
000003d5: DUP1
000003d6: REVERT
000003d7: JUMPDEST
000003d8: PUSH2 0x03df
000003db: PUSH2 0x0d28
000003de: JUMP
000003df: JUMPDEST
000003e0: STOP
000003e1: JUMPDEST
000003e2: CALLVALUE
000003e3: ISZERO
000003e4: PUSH2 0x03ec
000003e7: JUMPI
000003e8: PUSH1 0x00
000003ea: DUP1
000003eb: REVERT
000003ec: JUMPDEST
000003ed: PUSH2 0x03f4
000003f0: PUSH2 0x0de6
000003f3: JUMP
000003f4: JUMPDEST
000003f5: PUSH1 0x40
000003f7: MLOAD
000003f8: DUP1
000003f9: DUP3
000003fa: DUP2
000003fb: MSTORE
000003fc: PUSH1 0x20
000003fe: ADD
000003ff: SWAP2
00000400: POP
00000401: POP
00000402: PUSH1 0x40
00000404: MLOAD
00000405: DUP1
00000406: SWAP2
00000407: SUB
00000408: SWAP1
00000409: RETURN
0000040a: JUMPDEST
0000040b: CALLVALUE
0000040c: ISZERO
0000040d: PUSH2 0x0415
00000410: JUMPI
00000411: PUSH1 0x00
00000413: DUP1
00000414: REVERT
00000415: JUMPDEST
00000416: PUSH2 0x041d
00000419: PUSH2 0x0df0
0000041c: JUMP
0000041d: JUMPDEST
0000041e: STOP
0000041f: JUMPDEST
00000420: CALLVALUE
00000421: ISZERO
00000422: PUSH2 0x042a
00000425: JUMPI
00000426: PUSH1 0x00
00000428: DUP1
00000429: REVERT
0000042a: JUMPDEST
0000042b: PUSH2 0x0432
0000042e: PUSH2 0x0e8f
00000431: JUMP
00000432: JUMPDEST
00000433: STOP
00000434: JUMPDEST
00000435: CALLVALUE
00000436: ISZERO
00000437: PUSH2 0x043f
0000043a: JUMPI
0000043b: PUSH1 0x00
0000043d: DUP1
0000043e: REVERT
0000043f: JUMPDEST
00000440: PUSH2 0x0447
00000443: PUSH2 0x1213
00000446: JUMP
00000447: JUMPDEST
00000448: PUSH1 0x40
0000044a: MLOAD
0000044b: DUP1
0000044c: DUP3
0000044d: DUP2
0000044e: MSTORE
0000044f: PUSH1 0x20
00000451: ADD
00000452: SWAP2
00000453: POP
00000454: POP
00000455: PUSH1 0x40
00000457: MLOAD
00000458: DUP1
00000459: SWAP2
0000045a: SUB
0000045b: SWAP1
0000045c: RETURN
0000045d: JUMPDEST
0000045e: CALLVALUE
0000045f: ISZERO
00000460: PUSH2 0x0468
00000463: JUMPI
00000464: PUSH1 0x00
00000466: DUP1
00000467: REVERT
00000468: JUMPDEST
00000469: PUSH2 0x0470
0000046c: PUSH2 0x1221
0000046f: JUMP
00000470: JUMPDEST
00000471: PUSH1 0x40
00000473: MLOAD
00000474: DUP1
00000475: DUP3
00000476: ISZERO
00000477: ISZERO
00000478: ISZERO
00000479: ISZERO
0000047a: DUP2
0000047b: MSTORE
0000047c: PUSH1 0x20
0000047e: ADD
0000047f: SWAP2
00000480: POP
00000481: POP
00000482: PUSH1 0x40
00000484: MLOAD
00000485: DUP1
00000486: SWAP2
00000487: SUB
00000488: SWAP1
00000489: RETURN
0000048a: JUMPDEST
0000048b: CALLVALUE
0000048c: ISZERO
0000048d: PUSH2 0x0495
00000490: JUMPI
00000491: PUSH1 0x00
00000493: DUP1
00000494: REVERT
00000495: JUMPDEST
00000496: PUSH2 0x049d
00000499: PUSH2 0x1230
0000049c: JUMP
0000049d: JUMPDEST
0000049e: STOP
0000049f: JUMPDEST
000004a0: CALLVALUE
000004a1: ISZERO
000004a2: PUSH2 0x04aa
000004a5: JUMPI
000004a6: PUSH1 0x00
000004a8: DUP1
000004a9: REVERT
000004aa: JUMPDEST
000004ab: PUSH2 0x04b2
000004ae: PUSH2 0x12a7
000004b1: JUMP
000004b2: JUMPDEST
000004b3: PUSH1 0x40
000004b5: MLOAD
000004b6: DUP1
000004b7: DUP3
000004b8: ISZERO
000004b9: ISZERO
000004ba: ISZERO
000004bb: ISZERO
000004bc: DUP2
000004bd: MSTORE
000004be: PUSH1 0x20
000004c0: ADD
000004c1: SWAP2
000004c2: POP
000004c3: POP
000004c4: PUSH1 0x40
000004c6: MLOAD
000004c7: DUP1
000004c8: SWAP2
000004c9: SUB
000004ca: SWAP1
000004cb: RETURN
000004cc: JUMPDEST
000004cd: CALLVALUE
000004ce: ISZERO
000004cf: PUSH2 0x04d7
000004d2: JUMPI
000004d3: PUSH1 0x00
000004d5: DUP1
000004d6: REVERT
000004d7: JUMPDEST
000004d8: PUSH2 0x04df
000004db: PUSH2 0x12ba
000004de: JUMP
000004df: JUMPDEST
000004e0: STOP
000004e1: JUMPDEST
000004e2: CALLVALUE
000004e3: ISZERO
000004e4: PUSH2 0x04ec
000004e7: JUMPI
000004e8: PUSH1 0x00
000004ea: DUP1
000004eb: REVERT
000004ec: JUMPDEST
000004ed: PUSH2 0x04f4
000004f0: PUSH2 0x13d9
000004f3: JUMP
000004f4: JUMPDEST
000004f5: STOP
000004f6: JUMPDEST
000004f7: CALLVALUE
000004f8: ISZERO
000004f9: PUSH2 0x0501
000004fc: JUMPI
000004fd: PUSH1 0x00
000004ff: DUP1
00000500: REVERT
00000501: JUMPDEST
00000502: PUSH2 0x0509
00000505: PUSH2 0x1768
00000508: JUMP
00000509: JUMPDEST
0000050a: PUSH1 0x40
0000050c: MLOAD
0000050d: DUP1
0000050e: DUP3
0000050f: DUP2
00000510: MSTORE
00000511: PUSH1 0x20
00000513: ADD
00000514: SWAP2
00000515: POP
00000516: POP
00000517: PUSH1 0x40
00000519: MLOAD
0000051a: DUP1
0000051b: SWAP2
0000051c: SUB
0000051d: SWAP1
0000051e: RETURN
0000051f: JUMPDEST
00000520: CALLVALUE
00000521: ISZERO
00000522: PUSH2 0x052a
00000525: JUMPI
00000526: PUSH1 0x00
00000528: DUP1
00000529: REVERT
0000052a: JUMPDEST
0000052b: PUSH2 0x0532
0000052e: PUSH2 0x176e
00000531: JUMP
00000532: JUMPDEST
00000533: PUSH1 0x40
00000535: MLOAD
00000536: DUP1
00000537: DUP3
00000538: DUP2
00000539: MSTORE
0000053a: PUSH1 0x20
0000053c: ADD
0000053d: SWAP2
0000053e: POP
0000053f: POP
00000540: PUSH1 0x40
00000542: MLOAD
00000543: DUP1
00000544: SWAP2
00000545: SUB
00000546: SWAP1
00000547: RETURN
00000548: JUMPDEST
00000549: CALLVALUE
0000054a: ISZERO
0000054b: PUSH2 0x0553
0000054e: JUMPI
0000054f: PUSH1 0x00
00000551: DUP1
00000552: REVERT
00000553: JUMPDEST
00000554: PUSH2 0x055b
00000557: PUSH2 0x1774
0000055a: JUMP
0000055b: JUMPDEST
0000055c: STOP
0000055d: JUMPDEST
0000055e: CALLVALUE
0000055f: ISZERO
00000560: PUSH2 0x0568
00000563: JUMPI
00000564: PUSH1 0x00
00000566: DUP1
00000567: REVERT
00000568: JUMPDEST
00000569: PUSH2 0x0570
0000056c: PUSH2 0x1834
0000056f: JUMP
00000570: JUMPDEST
00000571: PUSH1 0x40
00000573: MLOAD
00000574: DUP1
00000575: DUP3
00000576: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000058b: AND
0000058c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a1: AND
000005a2: DUP2
000005a3: MSTORE
000005a4: PUSH1 0x20
000005a6: ADD
000005a7: SWAP2
000005a8: POP
000005a9: POP
000005aa: PUSH1 0x40
000005ac: MLOAD
000005ad: DUP1
000005ae: SWAP2
000005af: SUB
000005b0: SWAP1
000005b1: RETURN
000005b2: JUMPDEST
000005b3: CALLVALUE
000005b4: ISZERO
000005b5: PUSH2 0x05bd
000005b8: JUMPI
000005b9: PUSH1 0x00
000005bb: DUP1
000005bc: REVERT
000005bd: JUMPDEST
000005be: PUSH2 0x05c5
000005c1: PUSH2 0x185a
000005c4: JUMP
000005c5: JUMPDEST
000005c6: PUSH1 0x40
000005c8: MLOAD
000005c9: DUP1
000005ca: DUP3
000005cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e0: AND
000005e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005f6: AND
000005f7: DUP2
000005f8: MSTORE
000005f9: PUSH1 0x20
000005fb: ADD
000005fc: SWAP2
000005fd: POP
000005fe: POP
000005ff: PUSH1 0x40
00000601: MLOAD
00000602: DUP1
00000603: SWAP2
00000604: SUB
00000605: SWAP1
00000606: RETURN
00000607: JUMPDEST
00000608: CALLVALUE
00000609: ISZERO
0000060a: PUSH2 0x0612
0000060d: JUMPI
0000060e: PUSH1 0x00
00000610: DUP1
00000611: REVERT
00000612: JUMPDEST
00000613: PUSH2 0x061a
00000616: PUSH2 0x1880
00000619: JUMP
0000061a: JUMPDEST
0000061b: PUSH1 0x40
0000061d: MLOAD
0000061e: DUP1
0000061f: DUP3
00000620: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000635: AND
00000636: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000064b: AND
0000064c: DUP2
0000064d: MSTORE
0000064e: PUSH1 0x20
00000650: ADD
00000651: SWAP2
00000652: POP
00000653: POP
00000654: PUSH1 0x40
00000656: MLOAD
00000657: DUP1
00000658: SWAP2
00000659: SUB
0000065a: SWAP1
0000065b: RETURN
0000065c: JUMPDEST
0000065d: CALLVALUE
0000065e: ISZERO
0000065f: PUSH2 0x0667
00000662: JUMPI
00000663: PUSH1 0x00
00000665: DUP1
00000666: REVERT
00000667: JUMPDEST
00000668: PUSH2 0x0693
0000066b: PUSH1 0x04
0000066d: DUP1
0000066e: DUP1
0000066f: CALLDATALOAD
00000670: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000685: AND
00000686: SWAP1
00000687: PUSH1 0x20
00000689: ADD
0000068a: SWAP1
0000068b: SWAP2
0000068c: SWAP1
0000068d: POP
0000068e: POP
0000068f: PUSH2 0x18a6
00000692: JUMP
00000693: JUMPDEST
00000694: PUSH1 0x40
00000696: MLOAD
00000697: DUP1
00000698: DUP3
00000699: DUP2
0000069a: MSTORE
0000069b: PUSH1 0x20
0000069d: ADD
0000069e: SWAP2
0000069f: POP
000006a0: POP
000006a1: PUSH1 0x40
000006a3: MLOAD
000006a4: DUP1
000006a5: SWAP2
000006a6: SUB
000006a7: SWAP1
000006a8: RETURN
000006a9: JUMPDEST
000006aa: CALLVALUE
000006ab: ISZERO
000006ac: PUSH2 0x06b4
000006af: JUMPI
000006b0: PUSH1 0x00
000006b2: DUP1
000006b3: REVERT
000006b4: JUMPDEST
000006b5: PUSH2 0x06bc
000006b8: PUSH2 0x18ef
000006bb: JUMP
000006bc: JUMPDEST
000006bd: PUSH1 0x40
000006bf: MLOAD
000006c0: DUP1
000006c1: DUP3
000006c2: DUP2
000006c3: MSTORE
000006c4: PUSH1 0x20
000006c6: ADD
000006c7: SWAP2
000006c8: POP
000006c9: POP
000006ca: PUSH1 0x40
000006cc: MLOAD
000006cd: DUP1
000006ce: SWAP2
000006cf: SUB
000006d0: SWAP1
000006d1: RETURN
000006d2: JUMPDEST
000006d3: CALLVALUE
000006d4: ISZERO
000006d5: PUSH2 0x06dd
000006d8: JUMPI
000006d9: PUSH1 0x00
000006db: DUP1
000006dc: REVERT
000006dd: JUMPDEST
000006de: PUSH2 0x06e5
000006e1: PUSH2 0x19d6
000006e4: JUMP
000006e5: JUMPDEST
000006e6: PUSH1 0x40
000006e8: MLOAD
000006e9: DUP1
000006ea: DUP3
000006eb: DUP2
000006ec: MSTORE
000006ed: PUSH1 0x20
000006ef: ADD
000006f0: SWAP2
000006f1: POP
000006f2: POP
000006f3: PUSH1 0x40
000006f5: MLOAD
000006f6: DUP1
000006f7: SWAP2
000006f8: SUB
000006f9: SWAP1
000006fa: RETURN
000006fb: JUMPDEST
000006fc: CALLVALUE
000006fd: ISZERO
000006fe: PUSH2 0x0706
00000701: JUMPI
00000702: PUSH1 0x00
00000704: DUP1
00000705: REVERT
00000706: JUMPDEST
00000707: PUSH2 0x070e
0000070a: PUSH2 0x19e2
0000070d: JUMP
0000070e: JUMPDEST
0000070f: PUSH1 0x40
00000711: MLOAD
00000712: DUP1
00000713: DUP3
00000714: ISZERO
00000715: ISZERO
00000716: ISZERO
00000717: ISZERO
00000718: DUP2
00000719: MSTORE
0000071a: PUSH1 0x20
0000071c: ADD
0000071d: SWAP2
0000071e: POP
0000071f: POP
00000720: PUSH1 0x40
00000722: MLOAD
00000723: DUP1
00000724: SWAP2
00000725: SUB
00000726: SWAP1
00000727: RETURN
00000728: JUMPDEST
00000729: CALLVALUE
0000072a: ISZERO
0000072b: PUSH2 0x0733
0000072e: JUMPI
0000072f: PUSH1 0x00
00000731: DUP1
00000732: REVERT
00000733: JUMPDEST
00000734: PUSH2 0x073b
00000737: PUSH2 0x19f0
0000073a: JUMP
0000073b: JUMPDEST
0000073c: PUSH1 0x40
0000073e: MLOAD
0000073f: DUP1
00000740: DUP3
00000741: ISZERO
00000742: ISZERO
00000743: ISZERO
00000744: ISZERO
00000745: DUP2
00000746: MSTORE
00000747: PUSH1 0x20
00000749: ADD
0000074a: SWAP2
0000074b: POP
0000074c: POP
0000074d: PUSH1 0x40
0000074f: MLOAD
00000750: DUP1
00000751: SWAP2
00000752: SUB
00000753: SWAP1
00000754: RETURN
00000755: JUMPDEST
00000756: CALLVALUE
00000757: ISZERO
00000758: PUSH2 0x0760
0000075b: JUMPI
0000075c: PUSH1 0x00
0000075e: DUP1
0000075f: REVERT
00000760: JUMPDEST
00000761: PUSH2 0x0768
00000764: PUSH2 0x1ae8
00000767: JUMP
00000768: JUMPDEST
00000769: PUSH1 0x40
0000076b: MLOAD
0000076c: DUP1
0000076d: DUP3
0000076e: ISZERO
0000076f: ISZERO
00000770: ISZERO
00000771: ISZERO
00000772: DUP2
00000773: MSTORE
00000774: PUSH1 0x20
00000776: ADD
00000777: SWAP2
00000778: POP
00000779: POP
0000077a: PUSH1 0x40
0000077c: MLOAD
0000077d: DUP1
0000077e: SWAP2
0000077f: SUB
00000780: SWAP1
00000781: RETURN
00000782: JUMPDEST
00000783: CALLVALUE
00000784: ISZERO
00000785: PUSH2 0x078d
00000788: JUMPI
00000789: PUSH1 0x00
0000078b: DUP1
0000078c: REVERT
0000078d: JUMPDEST
0000078e: PUSH2 0x0795
00000791: PUSH2 0x1afb
00000794: JUMP
00000795: JUMPDEST
00000796: PUSH1 0x40
00000798: MLOAD
00000799: DUP1
0000079a: DUP3
0000079b: DUP2
0000079c: MSTORE
0000079d: PUSH1 0x20
0000079f: ADD
000007a0: SWAP2
000007a1: POP
000007a2: POP
000007a3: PUSH1 0x40
000007a5: MLOAD
000007a6: DUP1
000007a7: SWAP2
000007a8: SUB
000007a9: SWAP1
000007aa: RETURN
000007ab: JUMPDEST
000007ac: CALLVALUE
000007ad: ISZERO
000007ae: PUSH2 0x07b6
000007b1: JUMPI
000007b2: PUSH1 0x00
000007b4: DUP1
000007b5: REVERT
000007b6: JUMPDEST
000007b7: PUSH2 0x07be
000007ba: PUSH2 0x1b03
000007bd: JUMP
000007be: JUMPDEST
000007bf: PUSH1 0x40
000007c1: MLOAD
000007c2: DUP1
000007c3: DUP3
000007c4: DUP2
000007c5: MSTORE
000007c6: PUSH1 0x20
000007c8: ADD
000007c9: SWAP2
000007ca: POP
000007cb: POP
000007cc: PUSH1 0x40
000007ce: MLOAD
000007cf: DUP1
000007d0: SWAP2
000007d1: SUB
000007d2: SWAP1
000007d3: RETURN
000007d4: JUMPDEST
000007d5: CALLVALUE
000007d6: ISZERO
000007d7: PUSH2 0x07df
000007da: JUMPI
000007db: PUSH1 0x00
000007dd: DUP1
000007de: REVERT
000007df: JUMPDEST
000007e0: PUSH2 0x07f5
000007e3: PUSH1 0x04
000007e5: DUP1
000007e6: DUP1
000007e7: CALLDATALOAD
000007e8: SWAP1
000007e9: PUSH1 0x20
000007eb: ADD
000007ec: SWAP1
000007ed: SWAP2
000007ee: SWAP1
000007ef: POP
000007f0: POP
000007f1: PUSH2 0x1b33
000007f4: JUMP
000007f5: JUMPDEST
000007f6: STOP
000007f7: JUMPDEST
000007f8: CALLVALUE
000007f9: ISZERO
000007fa: PUSH2 0x0802
000007fd: JUMPI
000007fe: PUSH1 0x00
00000800: DUP1
00000801: REVERT
00000802: JUMPDEST
00000803: PUSH2 0x080a
00000806: PUSH2 0x1bb6
00000809: JUMP
0000080a: JUMPDEST
0000080b: PUSH1 0x40
0000080d: MLOAD
0000080e: DUP1
0000080f: DUP3
00000810: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000825: AND
00000826: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000083b: AND
0000083c: DUP2
0000083d: MSTORE
0000083e: PUSH1 0x20
00000840: ADD
00000841: SWAP2
00000842: POP
00000843: POP
00000844: PUSH1 0x40
00000846: MLOAD
00000847: DUP1
00000848: SWAP2
00000849: SUB
0000084a: SWAP1
0000084b: RETURN
0000084c: JUMPDEST
0000084d: CALLVALUE
0000084e: ISZERO
0000084f: PUSH2 0x0857
00000852: JUMPI
00000853: PUSH1 0x00
00000855: DUP1
00000856: REVERT
00000857: JUMPDEST
00000858: PUSH2 0x08a4
0000085b: PUSH1 0x04
0000085d: DUP1
0000085e: DUP1
0000085f: CALLDATALOAD
00000860: SWAP1
00000861: PUSH1 0x20
00000863: ADD
00000864: SWAP1
00000865: DUP3
00000866: ADD
00000867: DUP1
00000868: CALLDATALOAD
00000869: SWAP1
0000086a: PUSH1 0x20
0000086c: ADD
0000086d: SWAP1
0000086e: DUP1
0000086f: DUP1
00000870: PUSH1 0x20
00000872: MUL
00000873: PUSH1 0x20
00000875: ADD
00000876: PUSH1 0x40
00000878: MLOAD
00000879: SWAP1
0000087a: DUP2
0000087b: ADD
0000087c: PUSH1 0x40
0000087e: MSTORE
0000087f: DUP1
00000880: SWAP4
00000881: SWAP3
00000882: SWAP2
00000883: SWAP1
00000884: DUP2
00000885: DUP2
00000886: MSTORE
00000887: PUSH1 0x20
00000889: ADD
0000088a: DUP4
0000088b: DUP4
0000088c: PUSH1 0x20
0000088e: MUL
0000088f: DUP1
00000890: DUP3
00000891: DUP5
00000892: CALLDATACOPY
00000893: DUP3
00000894: ADD
00000895: SWAP2
00000896: POP
00000897: POP
00000898: POP
00000899: POP
0000089a: POP
0000089b: POP
0000089c: SWAP2
0000089d: SWAP1
0000089e: POP
0000089f: POP
000008a0: PUSH2 0x1bdc
000008a3: JUMP
000008a4: JUMPDEST
000008a5: STOP
000008a6: JUMPDEST
000008a7: CALLVALUE
000008a8: ISZERO
000008a9: PUSH2 0x08b1
000008ac: JUMPI
000008ad: PUSH1 0x00
000008af: DUP1
000008b0: REVERT
000008b1: JUMPDEST
000008b2: PUSH2 0x08dd
000008b5: PUSH1 0x04
000008b7: DUP1
000008b8: DUP1
000008b9: CALLDATALOAD
000008ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008cf: AND
000008d0: SWAP1
000008d1: PUSH1 0x20
000008d3: ADD
000008d4: SWAP1
000008d5: SWAP2
000008d6: SWAP1
000008d7: POP
000008d8: POP
000008d9: PUSH2 0x1d38
000008dc: JUMP
000008dd: JUMPDEST
000008de: PUSH1 0x40
000008e0: MLOAD
000008e1: DUP1
000008e2: DUP3
000008e3: DUP2
000008e4: MSTORE
000008e5: PUSH1 0x20
000008e7: ADD
000008e8: SWAP2
000008e9: POP
000008ea: POP
000008eb: PUSH1 0x40
000008ed: MLOAD
000008ee: DUP1
000008ef: SWAP2
000008f0: SUB
000008f1: SWAP1
000008f2: RETURN
000008f3: JUMPDEST
000008f4: CALLVALUE
000008f5: ISZERO
000008f6: PUSH2 0x08fe
000008f9: JUMPI
000008fa: PUSH1 0x00
000008fc: DUP1
000008fd: REVERT
000008fe: JUMPDEST
000008ff: PUSH2 0x0906
00000902: PUSH2 0x1d50
00000905: JUMP
00000906: JUMPDEST
00000907: PUSH1 0x40
00000909: MLOAD
0000090a: DUP1
0000090b: DUP3
0000090c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000921: AND
00000922: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000937: AND
00000938: DUP2
00000939: MSTORE
0000093a: PUSH1 0x20
0000093c: ADD
0000093d: SWAP2
0000093e: POP
0000093f: POP
00000940: PUSH1 0x40
00000942: MLOAD
00000943: DUP1
00000944: SWAP2
00000945: SUB
00000946: SWAP1
00000947: RETURN
00000948: JUMPDEST
00000949: CALLVALUE
0000094a: ISZERO
0000094b: PUSH2 0x0953
0000094e: JUMPI
0000094f: PUSH1 0x00
00000951: DUP1
00000952: REVERT
00000953: JUMPDEST
00000954: PUSH2 0x095b
00000957: PUSH2 0x1d76
0000095a: JUMP
0000095b: JUMPDEST
0000095c: PUSH1 0x40
0000095e: MLOAD
0000095f: DUP1
00000960: DUP3
00000961: PUSH2 0xffff
00000964: AND
00000965: PUSH2 0xffff
00000968: AND
00000969: DUP2
0000096a: MSTORE
0000096b: PUSH1 0x20
0000096d: ADD
0000096e: SWAP2
0000096f: POP
00000970: POP
00000971: PUSH1 0x40
00000973: MLOAD
00000974: DUP1
00000975: SWAP2
00000976: SUB
00000977: SWAP1
00000978: RETURN
00000979: JUMPDEST
0000097a: CALLVALUE
0000097b: ISZERO
0000097c: PUSH2 0x0984
0000097f: JUMPI
00000980: PUSH1 0x00
00000982: DUP1
00000983: REVERT
00000984: JUMPDEST
00000985: PUSH2 0x098c
00000988: PUSH2 0x1daf
0000098b: JUMP
0000098c: JUMPDEST
0000098d: PUSH1 0x40
0000098f: MLOAD
00000990: DUP1
00000991: DUP3
00000992: ISZERO
00000993: ISZERO
00000994: ISZERO
00000995: ISZERO
00000996: DUP2
00000997: MSTORE
00000998: PUSH1 0x20
0000099a: ADD
0000099b: SWAP2
0000099c: POP
0000099d: POP
0000099e: PUSH1 0x40
000009a0: MLOAD
000009a1: DUP1
000009a2: SWAP2
000009a3: SUB
000009a4: SWAP1
000009a5: RETURN
000009a6: JUMPDEST
000009a7: CALLVALUE
000009a8: ISZERO
000009a9: PUSH2 0x09b1
000009ac: JUMPI
000009ad: PUSH1 0x00
000009af: DUP1
000009b0: REVERT
000009b1: JUMPDEST
000009b2: PUSH2 0x09dd
000009b5: PUSH1 0x04
000009b7: DUP1
000009b8: DUP1
000009b9: CALLDATALOAD
000009ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009cf: AND
000009d0: SWAP1
000009d1: PUSH1 0x20
000009d3: ADD
000009d4: SWAP1
000009d5: SWAP2
000009d6: SWAP1
000009d7: POP
000009d8: POP
000009d9: PUSH2 0x1dc6
000009dc: JUMP
000009dd: JUMPDEST
000009de: STOP
000009df: JUMPDEST
000009e0: PUSH1 0x00
000009e2: DUP1
000009e3: PUSH2 0x09ea
000009e6: PUSH2 0x1221
000009e9: JUMP
000009ea: JUMPDEST
000009eb: ISZERO
000009ec: ISZERO
000009ed: PUSH2 0x09f5
000009f0: JUMPI
000009f1: PUSH1 0x00
000009f3: DUP1
000009f4: REVERT
000009f5: JUMPDEST
000009f6: PUSH2 0x09fd
000009f9: PUSH2 0x19f0
000009fc: JUMP
000009fd: JUMPDEST
000009fe: ISZERO
000009ff: ISZERO
00000a00: ISZERO
00000a01: PUSH2 0x0a09
00000a04: JUMPI
00000a05: PUSH1 0x00
00000a07: DUP1
00000a08: REVERT
00000a09: JUMPDEST
00000a0a: PUSH10 0x152d02c7e14af6800000
00000a15: PUSH2 0x0a29
00000a18: CALLVALUE
00000a19: PUSH1 0x09
00000a1b: SLOAD
00000a1c: PUSH2 0x1ea0
00000a1f: SWAP1
00000a20: SWAP2
00000a21: SWAP1
00000a22: PUSH4 0xffffffff
00000a27: AND
00000a28: JUMP
00000a29: JUMPDEST
00000a2a: GT
00000a2b: ISZERO
00000a2c: ISZERO
00000a2d: ISZERO
00000a2e: PUSH2 0x0a33
00000a31: JUMPI
00000a32: INVALID
00000a33: JUMPDEST
00000a34: PUSH8 0x016345785d8a0000
00000a3d: CALLVALUE
00000a3e: LT
00000a3f: ISZERO
00000a40: ISZERO
00000a41: ISZERO
00000a42: PUSH2 0x0a47
00000a45: JUMPI
00000a46: INVALID
00000a47: JUMPDEST
00000a48: PUSH2 0x0a99
00000a4b: CALLVALUE
00000a4c: PUSH1 0x0c
00000a4e: PUSH1 0x00
00000a50: DUP7
00000a51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a66: AND
00000a67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a7c: AND
00000a7d: DUP2
00000a7e: MSTORE
00000a7f: PUSH1 0x20
00000a81: ADD
00000a82: SWAP1
00000a83: DUP2
00000a84: MSTORE
00000a85: PUSH1 0x20
00000a87: ADD
00000a88: PUSH1 0x00
00000a8a: KECCAK256
00000a8b: SLOAD
00000a8c: PUSH2 0x1ea0
00000a8f: SWAP1
00000a90: SWAP2
00000a91: SWAP1
00000a92: PUSH4 0xffffffff
00000a97: AND
00000a98: JUMP
00000a99: JUMPDEST
00000a9a: PUSH1 0x0c
00000a9c: PUSH1 0x00
00000a9e: DUP6
00000a9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab4: AND
00000ab5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aca: AND
00000acb: DUP2
00000acc: MSTORE
00000acd: PUSH1 0x20
00000acf: ADD
00000ad0: SWAP1
00000ad1: DUP2
00000ad2: MSTORE
00000ad3: PUSH1 0x20
00000ad5: ADD
00000ad6: PUSH1 0x00
00000ad8: KECCAK256
00000ad9: DUP2
00000ada: SWAP1
00000adb: SSTORE
00000adc: POP
00000add: PUSH2 0x0af1
00000ae0: CALLVALUE
00000ae1: PUSH1 0x09
00000ae3: SLOAD
00000ae4: PUSH2 0x1ea0
00000ae7: SWAP1
00000ae8: SWAP2
00000ae9: SWAP1
00000aea: PUSH4 0xffffffff
00000aef: AND
00000af0: JUMP
00000af1: JUMPDEST
00000af2: PUSH1 0x09
00000af4: DUP2
00000af5: SWAP1
00000af6: SSTORE
00000af7: POP
00000af8: PUSH2 0x0b14
00000afb: PUSH2 0x0b0f
00000afe: CALLVALUE
00000aff: PUSH1 0x08
00000b01: SLOAD
00000b02: PUSH2 0x1ebe
00000b05: SWAP1
00000b06: SWAP2
00000b07: SWAP1
00000b08: PUSH4 0xffffffff
00000b0d: AND
00000b0e: JUMP
00000b0f: JUMPDEST
00000b10: PUSH2 0x1ef1
00000b13: JUMP
00000b14: JUMPDEST
00000b15: PUSH2 0x0b29
00000b18: CALLVALUE
00000b19: PUSH1 0x08
00000b1b: SLOAD
00000b1c: PUSH2 0x1ebe
00000b1f: SWAP1
00000b20: SWAP2
00000b21: SWAP1
00000b22: PUSH4 0xffffffff
00000b27: AND
00000b28: JUMP
00000b29: JUMPDEST
00000b2a: ADD
00000b2b: SWAP2
00000b2c: POP
00000b2d: PUSH2 0x0b53
00000b30: PUSH1 0x64
00000b32: PUSH2 0x0b45
00000b35: PUSH1 0x50
00000b37: DUP6
00000b38: PUSH2 0x1ebe
00000b3b: SWAP1
00000b3c: SWAP2
00000b3d: SWAP1
00000b3e: PUSH4 0xffffffff
00000b43: AND
00000b44: JUMP
00000b45: JUMPDEST
00000b46: PUSH2 0x1f65
00000b49: SWAP1
00000b4a: SWAP2
00000b4b: SWAP1
00000b4c: PUSH4 0xffffffff
00000b51: AND
00000b52: JUMP
00000b53: JUMPDEST
00000b54: SWAP1
00000b55: POP
00000b56: PUSH2 0x0ba7
00000b59: DUP2
00000b5a: PUSH1 0x0d
00000b5c: PUSH1 0x00
00000b5e: DUP7
00000b5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b74: AND
00000b75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b8a: AND
00000b8b: DUP2
00000b8c: MSTORE
00000b8d: PUSH1 0x20
00000b8f: ADD
00000b90: SWAP1
00000b91: DUP2
00000b92: MSTORE
00000b93: PUSH1 0x20
00000b95: ADD
00000b96: PUSH1 0x00
00000b98: KECCAK256
00000b99: SLOAD
00000b9a: PUSH2 0x1ea0
00000b9d: SWAP1
00000b9e: SWAP2
00000b9f: SWAP1
00000ba0: PUSH4 0xffffffff
00000ba5: AND
00000ba6: JUMP
00000ba7: JUMPDEST
00000ba8: PUSH1 0x0d
00000baa: PUSH1 0x00
00000bac: DUP6
00000bad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc2: AND
00000bc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bd8: AND
00000bd9: DUP2
00000bda: MSTORE
00000bdb: PUSH1 0x20
00000bdd: ADD
00000bde: SWAP1
00000bdf: DUP2
00000be0: MSTORE
00000be1: PUSH1 0x20
00000be3: ADD
00000be4: PUSH1 0x00
00000be6: KECCAK256
00000be7: DUP2
00000be8: SWAP1
00000be9: SSTORE
00000bea: POP
00000beb: PUSH2 0x0bff
00000bee: DUP3
00000bef: PUSH1 0x0a
00000bf1: SLOAD
00000bf2: PUSH2 0x1ea0
00000bf5: SWAP1
00000bf6: SWAP2
00000bf7: SWAP1
00000bf8: PUSH4 0xffffffff
00000bfd: AND
00000bfe: JUMP
00000bff: JUMPDEST
00000c00: PUSH1 0x0a
00000c02: DUP2
00000c03: SWAP1
00000c04: SSTORE
00000c05: POP
00000c06: PUSH1 0x05
00000c08: PUSH1 0x00
00000c0a: SWAP1
00000c0b: SLOAD
00000c0c: SWAP1
00000c0d: PUSH2 0x0100
00000c10: EXP
00000c11: SWAP1
00000c12: DIV
00000c13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c28: AND
00000c29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c3e: AND
00000c3f: PUSH2 0x08fc
00000c42: CALLVALUE
00000c43: SWAP1
00000c44: DUP2
00000c45: ISZERO
00000c46: MUL
00000c47: SWAP1
00000c48: PUSH1 0x40
00000c4a: MLOAD
00000c4b: PUSH1 0x00
00000c4d: PUSH1 0x40
00000c4f: MLOAD
00000c50: DUP1
00000c51: DUP4
00000c52: SUB
00000c53: DUP2
00000c54: DUP6
00000c55: DUP9
00000c56: DUP9
00000c57: CALL
00000c58: SWAP4
00000c59: POP
00000c5a: POP
00000c5b: POP
00000c5c: POP
00000c5d: ISZERO
00000c5e: ISZERO
00000c5f: PUSH2 0x0c67
00000c62: JUMPI
00000c63: PUSH1 0x00
00000c65: DUP1
00000c66: REVERT
00000c67: JUMPDEST
00000c68: TIMESTAMP
00000c69: CALLVALUE
00000c6a: PUSH1 0x05
00000c6c: PUSH1 0x00
00000c6e: SWAP1
00000c6f: SLOAD
00000c70: SWAP1
00000c71: PUSH2 0x0100
00000c74: EXP
00000c75: SWAP1
00000c76: DIV
00000c77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c8c: AND
00000c8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca2: AND
00000ca3: PUSH32 0x67848d9c2d923afb2c78cd66af34d1ba6abb924a3f9c44e6a03dfae94b2b814a
00000cc4: PUSH1 0x40
00000cc6: MLOAD
00000cc7: PUSH1 0x40
00000cc9: MLOAD
00000cca: DUP1
00000ccb: SWAP2
00000ccc: SUB
00000ccd: SWAP1
00000cce: LOG4
00000ccf: POP
00000cd0: POP
00000cd1: POP
00000cd2: JUMP
00000cd3: JUMPDEST
00000cd4: PUSH1 0x02
00000cd6: SLOAD
00000cd7: DUP2
00000cd8: JUMP
00000cd9: JUMPDEST
00000cda: PUSH4 0x59f9a930
00000cdf: DUP2
00000ce0: JUMP
00000ce1: JUMPDEST
00000ce2: PUSH1 0x0a
00000ce4: SLOAD
00000ce5: DUP2
00000ce6: JUMP
00000ce7: JUMPDEST
00000ce8: PUSH10 0x03cfc82e37e9a7400000
00000cf3: DUP2
00000cf4: JUMP
00000cf5: JUMPDEST
00000cf6: PUSH1 0x00
00000cf8: PUSH2 0x0d0d
00000cfb: PUSH1 0x64
00000cfd: PUSH1 0x0a
00000cff: SLOAD
00000d00: PUSH2 0x1f65
00000d03: SWAP1
00000d04: SWAP2
00000d05: SWAP1
00000d06: PUSH4 0xffffffff
00000d0b: AND
00000d0c: JUMP
00000d0d: JUMPDEST
00000d0e: SWAP1
00000d0f: POP
00000d10: SWAP1
00000d11: JUMP
00000d12: JUMPDEST
00000d13: PUSH1 0x00
00000d15: PUSH4 0x5a213630
00000d1a: TIMESTAMP
00000d1b: GT
00000d1c: SWAP1
00000d1d: POP
00000d1e: SWAP1
00000d1f: JUMP
00000d20: JUMPDEST
00000d21: PUSH4 0x5a213630
00000d26: DUP2
00000d27: JUMP
00000d28: JUMPDEST
00000d29: PUSH1 0x00
00000d2b: DUP1
00000d2c: SWAP1
00000d2d: SLOAD
00000d2e: SWAP1
00000d2f: PUSH2 0x0100
00000d32: EXP
00000d33: SWAP1
00000d34: DIV
00000d35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d4a: AND
00000d4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d60: AND
00000d61: CALLER
00000d62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d77: AND
00000d78: EQ
00000d79: ISZERO
00000d7a: ISZERO
00000d7b: PUSH2 0x0d83
00000d7e: JUMPI
00000d7f: PUSH1 0x00
00000d81: DUP1
00000d82: REVERT
00000d83: JUMPDEST
00000d84: PUSH1 0x00
00000d86: PUSH1 0x14
00000d88: SWAP1
00000d89: SLOAD
00000d8a: SWAP1
00000d8b: PUSH2 0x0100
00000d8e: EXP
00000d8f: SWAP1
00000d90: DIV
00000d91: PUSH1 0xff
00000d93: AND
00000d94: ISZERO
00000d95: ISZERO
00000d96: PUSH2 0x0d9e
00000d99: JUMPI
00000d9a: PUSH1 0x00
00000d9c: DUP1
00000d9d: REVERT
00000d9e: JUMPDEST
00000d9f: PUSH1 0x00
00000da1: DUP1
00000da2: PUSH1 0x14
00000da4: PUSH2 0x0100
00000da7: EXP
00000da8: DUP2
00000da9: SLOAD
00000daa: DUP2
00000dab: PUSH1 0xff
00000dad: MUL
00000dae: NOT
00000daf: AND
00000db0: SWAP1
00000db1: DUP4
00000db2: ISZERO
00000db3: ISZERO
00000db4: MUL
00000db5: OR
00000db6: SWAP1
00000db7: SSTORE
00000db8: POP
00000db9: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33
00000dda: PUSH1 0x40
00000ddc: MLOAD
00000ddd: PUSH1 0x40
00000ddf: MLOAD
00000de0: DUP1
00000de1: SWAP2
00000de2: SUB
00000de3: SWAP1
00000de4: LOG1
00000de5: JUMP
00000de6: JUMPDEST
00000de7: PUSH1 0x00
00000de9: PUSH1 0x0a
00000deb: SLOAD
00000dec: SWAP1
00000ded: POP
00000dee: SWAP1
00000def: JUMP
00000df0: JUMPDEST
00000df1: PUSH1 0x00
00000df3: DUP1
00000df4: SWAP1
00000df5: SLOAD
00000df6: SWAP1
00000df7: PUSH2 0x0100
00000dfa: EXP
00000dfb: SWAP1
00000dfc: DIV
00000dfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e12: AND
00000e13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e28: AND
00000e29: CALLER
00000e2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e3f: AND
00000e40: EQ
00000e41: ISZERO
00000e42: ISZERO
00000e43: PUSH2 0x0e4b
00000e46: JUMPI
00000e47: PUSH1 0x00
00000e49: DUP1
00000e4a: REVERT
00000e4b: JUMPDEST
00000e4c: PUSH2 0x0e53
00000e4f: PUSH2 0x1221
00000e52: JUMP
00000e53: JUMPDEST
00000e54: ISZERO
00000e55: ISZERO
00000e56: PUSH2 0x0e5e
00000e59: JUMPI
00000e5a: PUSH1 0x00
00000e5c: DUP1
00000e5d: REVERT
00000e5e: JUMPDEST
00000e5f: PUSH2 0x0e66
00000e62: PUSH2 0x19f0
00000e65: JUMP
00000e66: JUMPDEST
00000e67: ISZERO
00000e68: ISZERO
00000e69: ISZERO
00000e6a: PUSH2 0x0e72
00000e6d: JUMPI
00000e6e: PUSH1 0x00
00000e70: DUP1
00000e71: REVERT
00000e72: JUMPDEST
00000e73: PUSH1 0x01
00000e75: PUSH1 0x0b
00000e77: PUSH1 0x00
00000e79: PUSH2 0x0100
00000e7c: EXP
00000e7d: DUP2
00000e7e: SLOAD
00000e7f: DUP2
00000e80: PUSH1 0xff
00000e82: MUL
00000e83: NOT
00000e84: AND
00000e85: SWAP1
00000e86: DUP4
00000e87: ISZERO
00000e88: ISZERO
00000e89: MUL
00000e8a: OR
00000e8b: SWAP1
00000e8c: SSTORE
00000e8d: POP
00000e8e: JUMP
00000e8f: JUMPDEST
00000e90: PUSH2 0x0e97
00000e93: PUSH2 0x19f0
00000e96: JUMP
00000e97: JUMPDEST
00000e98: ISZERO
00000e99: ISZERO
00000e9a: PUSH2 0x0ea2
00000e9d: JUMPI
00000e9e: PUSH1 0x00
00000ea0: DUP1
00000ea1: REVERT
00000ea2: JUMPDEST
00000ea3: PUSH1 0x00
00000ea5: PUSH2 0x0ead
00000ea8: CALLER
00000ea9: PUSH2 0x18a6
00000eac: JUMP
00000ead: JUMPDEST
00000eae: GT
00000eaf: ISZERO
00000eb0: ISZERO
00000eb1: PUSH2 0x0eb9
00000eb4: JUMPI
00000eb5: PUSH1 0x00
00000eb7: DUP1
00000eb8: REVERT
00000eb9: JUMPDEST
00000eba: PUSH8 0x29a2241af62c0000
00000ec3: PUSH2 0x0ecb
00000ec6: CALLER
00000ec7: PUSH2 0x18a6
00000eca: JUMP
00000ecb: JUMPDEST
00000ecc: GT
00000ecd: ISZERO
00000ece: ISZERO
00000ecf: PUSH2 0x1044
00000ed2: JUMPI
00000ed3: PUSH1 0x04
00000ed5: PUSH1 0x00
00000ed7: SWAP1
00000ed8: SLOAD
00000ed9: SWAP1
00000eda: PUSH2 0x0100
00000edd: EXP
00000ede: SWAP1
00000edf: DIV
00000ee0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef5: AND
00000ef6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f0b: AND
00000f0c: PUSH4 0xa9059cbb
00000f11: CALLER
00000f12: PUSH1 0x0d
00000f14: PUSH1 0x00
00000f16: CALLER
00000f17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f2c: AND
00000f2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f42: AND
00000f43: DUP2
00000f44: MSTORE
00000f45: PUSH1 0x20
00000f47: ADD
00000f48: SWAP1
00000f49: DUP2
00000f4a: MSTORE
00000f4b: PUSH1 0x20
00000f4d: ADD
00000f4e: PUSH1 0x00
00000f50: KECCAK256
00000f51: SLOAD
00000f52: PUSH1 0x00
00000f54: PUSH1 0x40
00000f56: MLOAD
00000f57: PUSH1 0x20
00000f59: ADD
00000f5a: MSTORE
00000f5b: PUSH1 0x40
00000f5d: MLOAD
00000f5e: DUP4
00000f5f: PUSH4 0xffffffff
00000f64: AND
00000f65: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000f83: MUL
00000f84: DUP2
00000f85: MSTORE
00000f86: PUSH1 0x04
00000f88: ADD
00000f89: DUP1
00000f8a: DUP4
00000f8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fa0: AND
00000fa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb6: AND
00000fb7: DUP2
00000fb8: MSTORE
00000fb9: PUSH1 0x20
00000fbb: ADD
00000fbc: DUP3
00000fbd: DUP2
00000fbe: MSTORE
00000fbf: PUSH1 0x20
00000fc1: ADD
00000fc2: SWAP3
00000fc3: POP
00000fc4: POP
00000fc5: POP
00000fc6: PUSH1 0x20
00000fc8: PUSH1 0x40
00000fca: MLOAD
00000fcb: DUP1
00000fcc: DUP4
00000fcd: SUB
00000fce: DUP2
00000fcf: PUSH1 0x00
00000fd1: DUP8
00000fd2: DUP1
00000fd3: EXTCODESIZE
00000fd4: ISZERO
00000fd5: ISZERO
00000fd6: PUSH2 0x0fde
00000fd9: JUMPI
00000fda: PUSH1 0x00
00000fdc: DUP1
00000fdd: REVERT
00000fde: JUMPDEST
00000fdf: PUSH2 0x02c6
00000fe2: GAS
00000fe3: SUB
00000fe4: CALL
00000fe5: ISZERO
00000fe6: ISZERO
00000fe7: PUSH2 0x0fef
00000fea: JUMPI
00000feb: PUSH1 0x00
00000fed: DUP1
00000fee: REVERT
00000fef: JUMPDEST
00000ff0: POP
00000ff1: POP
00000ff2: POP
00000ff3: PUSH1 0x40
00000ff5: MLOAD
00000ff6: DUP1
00000ff7: MLOAD
00000ff8: SWAP1
00000ff9: POP
00000ffa: POP
00000ffb: PUSH1 0x00
00000ffd: PUSH1 0x0d
00000fff: PUSH1 0x00
00001001: CALLER
00001002: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001017: AND
00001018: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000102d: AND
0000102e: DUP2
0000102f: MSTORE
00001030: PUSH1 0x20
00001032: ADD
00001033: SWAP1
00001034: DUP2
00001035: MSTORE
00001036: PUSH1 0x20
00001038: ADD
00001039: PUSH1 0x00
0000103b: KECCAK256
0000103c: DUP2
0000103d: SWAP1
0000103e: SSTORE
0000103f: POP
00001040: PUSH2 0x1211
00001043: JUMP
00001044: JUMPDEST
00001045: PUSH1 0x01
00001047: ISZERO
00001048: ISZERO
00001049: PUSH1 0x0e
0000104b: PUSH1 0x00
0000104d: CALLER
0000104e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001063: AND
00001064: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001079: AND
0000107a: DUP2
0000107b: MSTORE
0000107c: PUSH1 0x20
0000107e: ADD
0000107f: SWAP1
00001080: DUP2
00001081: MSTORE
00001082: PUSH1 0x20
00001084: ADD
00001085: PUSH1 0x00
00001087: KECCAK256
00001088: PUSH1 0x00
0000108a: SWAP1
0000108b: SLOAD
0000108c: SWAP1
0000108d: PUSH2 0x0100
00001090: EXP
00001091: SWAP1
00001092: DIV
00001093: PUSH1 0xff
00001095: AND
00001096: ISZERO
00001097: ISZERO
00001098: EQ
00001099: ISZERO
0000109a: ISZERO
0000109b: PUSH2 0x10a3
0000109e: JUMPI
0000109f: PUSH1 0x00
000010a1: DUP1
000010a2: REVERT
000010a3: JUMPDEST
000010a4: PUSH1 0x04
000010a6: PUSH1 0x00
000010a8: SWAP1
000010a9: SLOAD
000010aa: SWAP1
000010ab: PUSH2 0x0100
000010ae: EXP
000010af: SWAP1
000010b0: DIV
000010b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c6: AND
000010c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010dc: AND
000010dd: PUSH4 0xa9059cbb
000010e2: CALLER
000010e3: PUSH1 0x0d
000010e5: PUSH1 0x00
000010e7: CALLER
000010e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010fd: AND
000010fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001113: AND
00001114: DUP2
00001115: MSTORE
00001116: PUSH1 0x20
00001118: ADD
00001119: SWAP1
0000111a: DUP2
0000111b: MSTORE
0000111c: PUSH1 0x20
0000111e: ADD
0000111f: PUSH1 0x00
00001121: KECCAK256
00001122: SLOAD
00001123: PUSH1 0x00
00001125: PUSH1 0x40
00001127: MLOAD
00001128: PUSH1 0x20
0000112a: ADD
0000112b: MSTORE
0000112c: PUSH1 0x40
0000112e: MLOAD
0000112f: DUP4
00001130: PUSH4 0xffffffff
00001135: AND
00001136: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001154: MUL
00001155: DUP2
00001156: MSTORE
00001157: PUSH1 0x04
00001159: ADD
0000115a: DUP1
0000115b: DUP4
0000115c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001171: AND
00001172: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001187: AND
00001188: DUP2
00001189: MSTORE
0000118a: PUSH1 0x20
0000118c: ADD
0000118d: DUP3
0000118e: DUP2
0000118f: MSTORE
00001190: PUSH1 0x20
00001192: ADD
00001193: SWAP3
00001194: POP
00001195: POP
00001196: POP
00001197: PUSH1 0x20
00001199: PUSH1 0x40
0000119b: MLOAD
0000119c: DUP1
0000119d: DUP4
0000119e: SUB
0000119f: DUP2
000011a0: PUSH1 0x00
000011a2: DUP8
000011a3: DUP1
000011a4: EXTCODESIZE
000011a5: ISZERO
000011a6: ISZERO
000011a7: PUSH2 0x11af
000011aa: JUMPI
000011ab: PUSH1 0x00
000011ad: DUP1
000011ae: REVERT
000011af: JUMPDEST
000011b0: PUSH2 0x02c6
000011b3: GAS
000011b4: SUB
000011b5: CALL
000011b6: ISZERO
000011b7: ISZERO
000011b8: PUSH2 0x11c0
000011bb: JUMPI
000011bc: PUSH1 0x00
000011be: DUP1
000011bf: REVERT
000011c0: JUMPDEST
000011c1: POP
000011c2: POP
000011c3: POP
000011c4: PUSH1 0x40
000011c6: MLOAD
000011c7: DUP1
000011c8: MLOAD
000011c9: SWAP1
000011ca: POP
000011cb: POP
000011cc: PUSH1 0x00
000011ce: PUSH1 0x0d
000011d0: PUSH1 0x00
000011d2: CALLER
000011d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e8: AND
000011e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011fe: AND
000011ff: DUP2
00001200: MSTORE
00001201: PUSH1 0x20
00001203: ADD
00001204: SWAP1
00001205: DUP2
00001206: MSTORE
00001207: PUSH1 0x20
00001209: ADD
0000120a: PUSH1 0x00
0000120c: KECCAK256
0000120d: DUP2
0000120e: SWAP1
0000120f: SSTORE
00001210: POP
00001211: JUMPDEST
00001212: JUMP
00001213: JUMPDEST
00001214: PUSH10 0x152d02c7e14af6800000
0000121f: DUP2
00001220: JUMP
00001221: JUMPDEST
00001222: PUSH1 0x00
00001224: PUSH4 0x59f9a930
00001229: TIMESTAMP
0000122a: LT
0000122b: ISZERO
0000122c: SWAP1
0000122d: POP
0000122e: SWAP1
0000122f: JUMP
00001230: JUMPDEST
00001231: PUSH1 0x00
00001233: PUSH2 0x123a
00001236: PUSH2 0x1daf
00001239: JUMP
0000123a: JUMPDEST
0000123b: ISZERO
0000123c: ISZERO
0000123d: ISZERO
0000123e: PUSH2 0x1246
00001241: JUMPI
00001242: PUSH1 0x00
00001244: DUP1
00001245: REVERT
00001246: JUMPDEST
00001247: PUSH2 0x124e
0000124a: PUSH2 0x0d12
0000124d: JUMP
0000124e: JUMPDEST
0000124f: ISZERO
00001250: ISZERO
00001251: PUSH2 0x1259
00001254: JUMPI
00001255: PUSH1 0x00
00001257: DUP1
00001258: REVERT
00001259: JUMPDEST
0000125a: PUSH2 0x1261
0000125d: PUSH2 0x19e2
00001260: JUMP
00001261: JUMPDEST
00001262: ISZERO
00001263: ISZERO
00001264: ISZERO
00001265: PUSH2 0x126d
00001268: JUMPI
00001269: PUSH1 0x00
0000126b: DUP1
0000126c: REVERT
0000126d: JUMPDEST
0000126e: PUSH1 0x00
00001270: PUSH2 0x1278
00001273: CALLER
00001274: PUSH2 0x18a6
00001277: JUMP
00001278: JUMPDEST
00001279: GT
0000127a: ISZERO
0000127b: ISZERO
0000127c: PUSH2 0x1284
0000127f: JUMPI
00001280: PUSH1 0x00
00001282: DUP1
00001283: REVERT
00001284: JUMPDEST
00001285: PUSH2 0x128d
00001288: CALLER
00001289: PUSH2 0x18a6
0000128c: JUMP
0000128d: JUMPDEST
0000128e: SWAP1
0000128f: POP
00001290: PUSH2 0x129a
00001293: CALLER
00001294: PUSH1 0x00
00001296: PUSH2 0x1f80
00001299: JUMP
0000129a: JUMPDEST
0000129b: PUSH2 0x12a4
0000129e: CALLER
0000129f: DUP3
000012a0: PUSH2 0x1fc8
000012a3: JUMP
000012a4: JUMPDEST
000012a5: POP
000012a6: JUMP
000012a7: JUMPDEST
000012a8: PUSH1 0x00
000012aa: PUSH1 0x14
000012ac: SWAP1
000012ad: SLOAD
000012ae: SWAP1
000012af: PUSH2 0x0100
000012b2: EXP
000012b3: SWAP1
000012b4: DIV
000012b5: PUSH1 0xff
000012b7: AND
000012b8: DUP2
000012b9: JUMP
000012ba: JUMPDEST
000012bb: PUSH1 0x00
000012bd: DUP1
000012be: CALLER
000012bf: SWAP2
000012c0: POP
000012c1: PUSH1 0x01
000012c3: PUSH1 0x00
000012c5: DUP4
000012c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012db: AND
000012dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012f1: AND
000012f2: DUP2
000012f3: MSTORE
000012f4: PUSH1 0x20
000012f6: ADD
000012f7: SWAP1
000012f8: DUP2
000012f9: MSTORE
000012fa: PUSH1 0x20
000012fc: ADD
000012fd: PUSH1 0x00
000012ff: KECCAK256
00001300: SLOAD
00001301: SWAP1
00001302: POP
00001303: PUSH1 0x00
00001305: DUP2
00001306: EQ
00001307: ISZERO
00001308: ISZERO
00001309: ISZERO
0000130a: PUSH2 0x1312
0000130d: JUMPI
0000130e: PUSH1 0x00
00001310: DUP1
00001311: REVERT
00001312: JUMPDEST
00001313: DUP1
00001314: ADDRESS
00001315: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000132a: AND
0000132b: BALANCE
0000132c: LT
0000132d: ISZERO
0000132e: ISZERO
0000132f: ISZERO
00001330: PUSH2 0x1338
00001333: JUMPI
00001334: PUSH1 0x00
00001336: DUP1
00001337: REVERT
00001338: JUMPDEST
00001339: PUSH2 0x134d
0000133c: DUP2
0000133d: PUSH1 0x02
0000133f: SLOAD
00001340: PUSH2 0x207c
00001343: SWAP1
00001344: SWAP2
00001345: SWAP1
00001346: PUSH4 0xffffffff
0000134b: AND
0000134c: JUMP
0000134d: JUMPDEST
0000134e: PUSH1 0x02
00001350: DUP2
00001351: SWAP1
00001352: SSTORE
00001353: POP
00001354: PUSH1 0x00
00001356: PUSH1 0x01
00001358: PUSH1 0x00
0000135a: DUP5
0000135b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001370: AND
00001371: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001386: AND
00001387: DUP2
00001388: MSTORE
00001389: PUSH1 0x20
0000138b: ADD
0000138c: SWAP1
0000138d: DUP2
0000138e: MSTORE
0000138f: PUSH1 0x20
00001391: ADD
00001392: PUSH1 0x00
00001394: KECCAK256
00001395: DUP2
00001396: SWAP1
00001397: SSTORE
00001398: POP
00001399: DUP2
0000139a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013af: AND
000013b0: PUSH2 0x08fc
000013b3: DUP3
000013b4: SWAP1
000013b5: DUP2
000013b6: ISZERO
000013b7: MUL
000013b8: SWAP1
000013b9: PUSH1 0x40
000013bb: MLOAD
000013bc: PUSH1 0x00
000013be: PUSH1 0x40
000013c0: MLOAD
000013c1: DUP1
000013c2: DUP4
000013c3: SUB
000013c4: DUP2
000013c5: DUP6
000013c6: DUP9
000013c7: DUP9
000013c8: CALL
000013c9: SWAP4
000013ca: POP
000013cb: POP
000013cc: POP
000013cd: POP
000013ce: ISZERO
000013cf: ISZERO
000013d0: PUSH2 0x13d5
000013d3: JUMPI
000013d4: INVALID
000013d5: JUMPDEST
000013d6: POP
000013d7: POP
000013d8: JUMP
000013d9: JUMPDEST
000013da: PUSH1 0x00
000013dc: DUP1
000013dd: SWAP1
000013de: SLOAD
000013df: SWAP1
000013e0: PUSH2 0x0100
000013e3: EXP
000013e4: SWAP1
000013e5: DIV
000013e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013fb: AND
000013fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001411: AND
00001412: CALLER
00001413: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001428: AND
00001429: EQ
0000142a: ISZERO
0000142b: ISZERO
0000142c: PUSH2 0x1434
0000142f: JUMPI
00001430: PUSH1 0x00
00001432: DUP1
00001433: REVERT
00001434: JUMPDEST
00001435: PUSH2 0x143c
00001438: PUSH2 0x1daf
0000143b: JUMP
0000143c: JUMPDEST
0000143d: DUP1
0000143e: ISZERO
0000143f: PUSH2 0x144c
00001442: JUMPI
00001443: POP
00001444: PUSH2 0x144b
00001447: PUSH2 0x19f0
0000144a: JUMP
0000144b: JUMPDEST
0000144c: JUMPDEST
0000144d: ISZERO
0000144e: PUSH2 0x1570
00001451: JUMPI
00001452: PUSH1 0x04
00001454: PUSH1 0x00
00001456: SWAP1
00001457: SLOAD
00001458: SWAP1
00001459: PUSH2 0x0100
0000145c: EXP
0000145d: SWAP1
0000145e: DIV
0000145f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001474: AND
00001475: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000148a: AND
0000148b: PUSH4 0xa9059cbb
00001490: PUSH1 0x06
00001492: PUSH1 0x00
00001494: SWAP1
00001495: SLOAD
00001496: SWAP1
00001497: PUSH2 0x0100
0000149a: EXP
0000149b: SWAP1
0000149c: DIV
0000149d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014b2: AND
000014b3: PUSH2 0x14ba
000014b6: PUSH2 0x0cf5
000014b9: JUMP
000014ba: JUMPDEST
000014bb: PUSH1 0x00
000014bd: PUSH1 0x40
000014bf: MLOAD
000014c0: PUSH1 0x20
000014c2: ADD
000014c3: MSTORE
000014c4: PUSH1 0x40
000014c6: MLOAD
000014c7: DUP4
000014c8: PUSH4 0xffffffff
000014cd: AND
000014ce: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000014ec: MUL
000014ed: DUP2
000014ee: MSTORE
000014ef: PUSH1 0x04
000014f1: ADD
000014f2: DUP1
000014f3: DUP4
000014f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001509: AND
0000150a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000151f: AND
00001520: DUP2
00001521: MSTORE
00001522: PUSH1 0x20
00001524: ADD
00001525: DUP3
00001526: DUP2
00001527: MSTORE
00001528: PUSH1 0x20
0000152a: ADD
0000152b: SWAP3
0000152c: POP
0000152d: POP
0000152e: POP
0000152f: PUSH1 0x20
00001531: PUSH1 0x40
00001533: MLOAD
00001534: DUP1
00001535: DUP4
00001536: SUB
00001537: DUP2
00001538: PUSH1 0x00
0000153a: DUP8
0000153b: DUP1
0000153c: EXTCODESIZE
0000153d: ISZERO
0000153e: ISZERO
0000153f: PUSH2 0x1547
00001542: JUMPI
00001543: PUSH1 0x00
00001545: DUP1
00001546: REVERT
00001547: JUMPDEST
00001548: PUSH2 0x02c6
0000154b: GAS
0000154c: SUB
0000154d: CALL
0000154e: ISZERO
0000154f: ISZERO
00001550: PUSH2 0x1558
00001553: JUMPI
00001554: PUSH1 0x00
00001556: DUP1
00001557: REVERT
00001558: JUMPDEST
00001559: POP
0000155a: POP
0000155b: POP
0000155c: PUSH1 0x40
0000155e: MLOAD
0000155f: DUP1
00001560: MLOAD
00001561: SWAP1
00001562: POP
00001563: POP
00001564: PUSH2 0x156b
00001567: PUSH2 0x2095
0000156a: JUMP
0000156b: JUMPDEST
0000156c: PUSH2 0x1766
0000156f: JUMP
00001570: JUMPDEST
00001571: PUSH2 0x1578
00001574: PUSH2 0x19e2
00001577: JUMP
00001578: JUMPDEST
00001579: ISZERO
0000157a: PUSH2 0x1765
0000157d: JUMPI
0000157e: PUSH1 0x05
00001580: PUSH1 0x00
00001582: SWAP1
00001583: SLOAD
00001584: SWAP1
00001585: PUSH2 0x0100
00001588: EXP
00001589: SWAP1
0000158a: DIV
0000158b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015a0: AND
000015a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b6: AND
000015b7: PUSH2 0x08fc
000015ba: PUSH1 0x09
000015bc: SLOAD
000015bd: SWAP1
000015be: DUP2
000015bf: ISZERO
000015c0: MUL
000015c1: SWAP1
000015c2: PUSH1 0x40
000015c4: MLOAD
000015c5: PUSH1 0x00
000015c7: PUSH1 0x40
000015c9: MLOAD
000015ca: DUP1
000015cb: DUP4
000015cc: SUB
000015cd: DUP2
000015ce: DUP6
000015cf: DUP9
000015d0: DUP9
000015d1: CALL
000015d2: SWAP4
000015d3: POP
000015d4: POP
000015d5: POP
000015d6: POP
000015d7: ISZERO
000015d8: ISZERO
000015d9: PUSH2 0x15e1
000015dc: JUMPI
000015dd: PUSH1 0x00
000015df: DUP1
000015e0: REVERT
000015e1: JUMPDEST
000015e2: TIMESTAMP
000015e3: PUSH1 0x09
000015e5: SLOAD
000015e6: PUSH1 0x05
000015e8: PUSH1 0x00
000015ea: SWAP1
000015eb: SLOAD
000015ec: SWAP1
000015ed: PUSH2 0x0100
000015f0: EXP
000015f1: SWAP1
000015f2: DIV
000015f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001608: AND
00001609: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000161e: AND
0000161f: PUSH32 0x67848d9c2d923afb2c78cd66af34d1ba6abb924a3f9c44e6a03dfae94b2b814a
00001640: PUSH1 0x40
00001642: MLOAD
00001643: PUSH1 0x40
00001645: MLOAD
00001646: DUP1
00001647: SWAP2
00001648: SUB
00001649: SWAP1
0000164a: LOG4
0000164b: PUSH1 0x04
0000164d: PUSH1 0x00
0000164f: SWAP1
00001650: SLOAD
00001651: SWAP1
00001652: PUSH2 0x0100
00001655: EXP
00001656: SWAP1
00001657: DIV
00001658: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000166d: AND
0000166e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001683: AND
00001684: PUSH4 0xa9059cbb
00001689: PUSH1 0x06
0000168b: PUSH1 0x00
0000168d: SWAP1
0000168e: SLOAD
0000168f: SWAP1
00001690: PUSH2 0x0100
00001693: EXP
00001694: SWAP1
00001695: DIV
00001696: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ab: AND
000016ac: PUSH2 0x16b3
000016af: PUSH2 0x0cf5
000016b2: JUMP
000016b3: JUMPDEST
000016b4: PUSH1 0x00
000016b6: PUSH1 0x40
000016b8: MLOAD
000016b9: PUSH1 0x20
000016bb: ADD
000016bc: MSTORE
000016bd: PUSH1 0x40
000016bf: MLOAD
000016c0: DUP4
000016c1: PUSH4 0xffffffff
000016c6: AND
000016c7: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000016e5: MUL
000016e6: DUP2
000016e7: MSTORE
000016e8: PUSH1 0x04
000016ea: ADD
000016eb: DUP1
000016ec: DUP4
000016ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001702: AND
00001703: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001718: AND
00001719: DUP2
0000171a: MSTORE
0000171b: PUSH1 0x20
0000171d: ADD
0000171e: DUP3
0000171f: DUP2
00001720: MSTORE
00001721: PUSH1 0x20
00001723: ADD
00001724: SWAP3
00001725: POP
00001726: POP
00001727: POP
00001728: PUSH1 0x20
0000172a: PUSH1 0x40
0000172c: MLOAD
0000172d: DUP1
0000172e: DUP4
0000172f: SUB
00001730: DUP2
00001731: PUSH1 0x00
00001733: DUP8
00001734: DUP1
00001735: EXTCODESIZE
00001736: ISZERO
00001737: ISZERO
00001738: PUSH2 0x1740
0000173b: JUMPI
0000173c: PUSH1 0x00
0000173e: DUP1
0000173f: REVERT
00001740: JUMPDEST
00001741: PUSH2 0x02c6
00001744: GAS
00001745: SUB
00001746: CALL
00001747: ISZERO
00001748: ISZERO
00001749: PUSH2 0x1751
0000174c: JUMPI
0000174d: PUSH1 0x00
0000174f: DUP1
00001750: REVERT
00001751: JUMPDEST
00001752: POP
00001753: POP
00001754: POP
00001755: PUSH1 0x40
00001757: MLOAD
00001758: DUP1
00001759: MLOAD
0000175a: SWAP1
0000175b: POP
0000175c: POP
0000175d: PUSH2 0x1764
00001760: PUSH2 0x2095
00001763: JUMP
00001764: JUMPDEST
00001765: JUMPDEST
00001766: JUMPDEST
00001767: JUMP
00001768: JUMPDEST
00001769: PUSH1 0x08
0000176b: SLOAD
0000176c: DUP2
0000176d: JUMP
0000176e: JUMPDEST
0000176f: PUSH1 0x09
00001771: SLOAD
00001772: DUP2
00001773: JUMP
00001774: JUMPDEST
00001775: PUSH1 0x00
00001777: DUP1
00001778: SWAP1
00001779: SLOAD
0000177a: SWAP1
0000177b: PUSH2 0x0100
0000177e: EXP
0000177f: SWAP1
00001780: DIV
00001781: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001796: AND
00001797: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ac: AND
000017ad: CALLER
000017ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017c3: AND
000017c4: EQ
000017c5: ISZERO
000017c6: ISZERO
000017c7: PUSH2 0x17cf
000017ca: JUMPI
000017cb: PUSH1 0x00
000017cd: DUP1
000017ce: REVERT
000017cf: JUMPDEST
000017d0: PUSH1 0x00
000017d2: PUSH1 0x14
000017d4: SWAP1
000017d5: SLOAD
000017d6: SWAP1
000017d7: PUSH2 0x0100
000017da: EXP
000017db: SWAP1
000017dc: DIV
000017dd: PUSH1 0xff
000017df: AND
000017e0: ISZERO
000017e1: ISZERO
000017e2: ISZERO
000017e3: PUSH2 0x17eb
000017e6: JUMPI
000017e7: PUSH1 0x00
000017e9: DUP1
000017ea: REVERT
000017eb: JUMPDEST
000017ec: PUSH1 0x01
000017ee: PUSH1 0x00
000017f0: PUSH1 0x14
000017f2: PUSH2 0x0100
000017f5: EXP
000017f6: DUP2
000017f7: SLOAD
000017f8: DUP2
000017f9: PUSH1 0xff
000017fb: MUL
000017fc: NOT
000017fd: AND
000017fe: SWAP1
000017ff: DUP4
00001800: ISZERO
00001801: ISZERO
00001802: MUL
00001803: OR
00001804: SWAP1
00001805: SSTORE
00001806: POP
00001807: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625
00001828: PUSH1 0x40
0000182a: MLOAD
0000182b: PUSH1 0x40
0000182d: MLOAD
0000182e: DUP1
0000182f: SWAP2
00001830: SUB
00001831: SWAP1
00001832: LOG1
00001833: JUMP
00001834: JUMPDEST
00001835: PUSH1 0x07
00001837: PUSH1 0x00
00001839: SWAP1
0000183a: SLOAD
0000183b: SWAP1
0000183c: PUSH2 0x0100
0000183f: EXP
00001840: SWAP1
00001841: DIV
00001842: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001857: AND
00001858: DUP2
00001859: JUMP
0000185a: JUMPDEST
0000185b: PUSH1 0x03
0000185d: PUSH1 0x00
0000185f: SWAP1
00001860: SLOAD
00001861: SWAP1
00001862: PUSH2 0x0100
00001865: EXP
00001866: SWAP1
00001867: DIV
00001868: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000187d: AND
0000187e: DUP2
0000187f: JUMP
00001880: JUMPDEST
00001881: PUSH1 0x06
00001883: PUSH1 0x00
00001885: SWAP1
00001886: SLOAD
00001887: SWAP1
00001888: PUSH2 0x0100
0000188b: EXP
0000188c: SWAP1
0000188d: DIV
0000188e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a3: AND
000018a4: DUP2
000018a5: JUMP
000018a6: JUMPDEST
000018a7: PUSH1 0x00
000018a9: PUSH1 0x0c
000018ab: PUSH1 0x00
000018ad: DUP4
000018ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c3: AND
000018c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d9: AND
000018da: DUP2
000018db: MSTORE
000018dc: PUSH1 0x20
000018de: ADD
000018df: SWAP1
000018e0: DUP2
000018e1: MSTORE
000018e2: PUSH1 0x20
000018e4: ADD
000018e5: PUSH1 0x00
000018e7: KECCAK256
000018e8: SLOAD
000018e9: SWAP1
000018ea: POP
000018eb: SWAP2
000018ec: SWAP1
000018ed: POP
000018ee: JUMP
000018ef: JUMPDEST
000018f0: PUSH1 0x00
000018f2: PUSH1 0x04
000018f4: PUSH1 0x00
000018f6: SWAP1
000018f7: SLOAD
000018f8: SWAP1
000018f9: PUSH2 0x0100
000018fc: EXP
000018fd: SWAP1
000018fe: DIV
000018ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001914: AND
00001915: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000192a: AND
0000192b: PUSH4 0x70a08231
00001930: ADDRESS
00001931: PUSH1 0x00
00001933: PUSH1 0x40
00001935: MLOAD
00001936: PUSH1 0x20
00001938: ADD
00001939: MSTORE
0000193a: PUSH1 0x40
0000193c: MLOAD
0000193d: DUP3
0000193e: PUSH4 0xffffffff
00001943: AND
00001944: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001962: MUL
00001963: DUP2
00001964: MSTORE
00001965: PUSH1 0x04
00001967: ADD
00001968: DUP1
00001969: DUP3
0000196a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000197f: AND
00001980: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001995: AND
00001996: DUP2
00001997: MSTORE
00001998: PUSH1 0x20
0000199a: ADD
0000199b: SWAP2
0000199c: POP
0000199d: POP
0000199e: PUSH1 0x20
000019a0: PUSH1 0x40
000019a2: MLOAD
000019a3: DUP1
000019a4: DUP4
000019a5: SUB
000019a6: DUP2
000019a7: PUSH1 0x00
000019a9: DUP8
000019aa: DUP1
000019ab: EXTCODESIZE
000019ac: ISZERO
000019ad: ISZERO
000019ae: PUSH2 0x19b6
000019b1: JUMPI
000019b2: PUSH1 0x00
000019b4: DUP1
000019b5: REVERT
000019b6: JUMPDEST
000019b7: PUSH2 0x02c6
000019ba: GAS
000019bb: SUB
000019bc: CALL
000019bd: ISZERO
000019be: ISZERO
000019bf: PUSH2 0x19c7
000019c2: JUMPI
000019c3: PUSH1 0x00
000019c5: DUP1
000019c6: REVERT
000019c7: JUMPDEST
000019c8: POP
000019c9: POP
000019ca: POP
000019cb: PUSH1 0x40
000019cd: MLOAD
000019ce: DUP1
000019cf: MLOAD
000019d0: SWAP1
000019d1: POP
000019d2: SWAP1
000019d3: POP
000019d4: SWAP1
000019d5: JUMP
000019d6: JUMPDEST
000019d7: PUSH8 0x016345785d8a0000
000019e0: DUP2
000019e1: JUMP
000019e2: JUMPDEST
000019e3: PUSH1 0x00
000019e5: PUSH4 0x5a5b3830
000019ea: TIMESTAMP
000019eb: GT
000019ec: SWAP1
000019ed: POP
000019ee: SWAP1
000019ef: JUMP
000019f0: JUMPDEST
000019f1: PUSH1 0x00
000019f3: PUSH10 0x152d02c7e14af6800000
000019fe: PUSH1 0x09
00001a00: SLOAD
00001a01: LT
00001a02: ISZERO
00001a03: DUP1
00001a04: PUSH2 0x1a10
00001a07: JUMPI
00001a08: POP
00001a09: PUSH4 0x5a213630
00001a0e: TIMESTAMP
00001a0f: GT
00001a10: JUMPDEST
00001a11: DUP1
00001a12: PUSH2 0x1ac5
00001a15: JUMPI
00001a16: POP
00001a17: PUSH1 0x04
00001a19: PUSH1 0x00
00001a1b: SWAP1
00001a1c: SLOAD
00001a1d: SWAP1
00001a1e: PUSH2 0x0100
00001a21: EXP
00001a22: SWAP1
00001a23: DIV
00001a24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a39: AND
00001a3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a4f: AND
00001a50: PUSH4 0x18160ddd
00001a55: PUSH1 0x00
00001a57: PUSH1 0x40
00001a59: MLOAD
00001a5a: PUSH1 0x20
00001a5c: ADD
00001a5d: MSTORE
00001a5e: PUSH1 0x40
00001a60: MLOAD
00001a61: DUP2
00001a62: PUSH4 0xffffffff
00001a67: AND
00001a68: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001a86: MUL
00001a87: DUP2
00001a88: MSTORE
00001a89: PUSH1 0x04
00001a8b: ADD
00001a8c: PUSH1 0x20
00001a8e: PUSH1 0x40
00001a90: MLOAD
00001a91: DUP1
00001a92: DUP4
00001a93: SUB
00001a94: DUP2
00001a95: PUSH1 0x00
00001a97: DUP8
00001a98: DUP1
00001a99: EXTCODESIZE
00001a9a: ISZERO
00001a9b: ISZERO
00001a9c: PUSH2 0x1aa4
00001a9f: JUMPI
00001aa0: PUSH1 0x00
00001aa2: DUP1
00001aa3: REVERT
00001aa4: JUMPDEST
00001aa5: PUSH2 0x02c6
00001aa8: GAS
00001aa9: SUB
00001aaa: CALL
00001aab: ISZERO
00001aac: ISZERO
00001aad: PUSH2 0x1ab5
00001ab0: JUMPI
00001ab1: PUSH1 0x00
00001ab3: DUP1
00001ab4: REVERT
00001ab5: JUMPDEST
00001ab6: POP
00001ab7: POP
00001ab8: POP
00001ab9: PUSH1 0x40
00001abb: MLOAD
00001abc: DUP1
00001abd: MLOAD
00001abe: SWAP1
00001abf: POP
00001ac0: PUSH1 0x0a
00001ac2: SLOAD
00001ac3: LT
00001ac4: ISZERO
00001ac5: JUMPDEST
00001ac6: DUP1
00001ac7: PUSH2 0x1ae3
00001aca: JUMPI
00001acb: POP
00001acc: PUSH1 0x01
00001ace: ISZERO
00001acf: ISZERO
00001ad0: PUSH1 0x0b
00001ad2: PUSH1 0x00
00001ad4: SWAP1
00001ad5: SLOAD
00001ad6: SWAP1
00001ad7: PUSH2 0x0100
00001ada: EXP
00001adb: SWAP1
00001adc: DIV
00001add: PUSH1 0xff
00001adf: AND
00001ae0: ISZERO
00001ae1: ISZERO
00001ae2: EQ
00001ae3: JUMPDEST
00001ae4: SWAP1
00001ae5: POP
00001ae6: SWAP1
00001ae7: JUMP
00001ae8: JUMPDEST
00001ae9: PUSH1 0x0b
00001aeb: PUSH1 0x00
00001aed: SWAP1
00001aee: SLOAD
00001aef: SWAP1
00001af0: PUSH2 0x0100
00001af3: EXP
00001af4: SWAP1
00001af5: DIV
00001af6: PUSH1 0xff
00001af8: AND
00001af9: DUP2
00001afa: JUMP
00001afb: JUMPDEST
00001afc: PUSH4 0x5a5b3830
00001b01: DUP2
00001b02: JUMP
00001b03: JUMPDEST
00001b04: PUSH1 0x00
00001b06: PUSH2 0x1b2e
00001b09: PUSH1 0x64
00001b0b: PUSH2 0x1b20
00001b0e: PUSH1 0x13
00001b10: PUSH1 0x0a
00001b12: SLOAD
00001b13: PUSH2 0x1ebe
00001b16: SWAP1
00001b17: SWAP2
00001b18: SWAP1
00001b19: PUSH4 0xffffffff
00001b1e: AND
00001b1f: JUMP
00001b20: JUMPDEST
00001b21: PUSH2 0x1f65
00001b24: SWAP1
00001b25: SWAP2
00001b26: SWAP1
00001b27: PUSH4 0xffffffff
00001b2c: AND
00001b2d: JUMP
00001b2e: JUMPDEST
00001b2f: SWAP1
00001b30: POP
00001b31: SWAP1
00001b32: JUMP
00001b33: JUMPDEST
00001b34: PUSH2 0x1b3b
00001b37: PUSH2 0x1daf
00001b3a: JUMP
00001b3b: JUMPDEST
00001b3c: ISZERO
00001b3d: ISZERO
00001b3e: ISZERO
00001b3f: PUSH2 0x1b47
00001b42: JUMPI
00001b43: PUSH1 0x00
00001b45: DUP1
00001b46: REVERT
00001b47: JUMPDEST
00001b48: PUSH2 0x1b4f
00001b4b: PUSH2 0x0d12
00001b4e: JUMP
00001b4f: JUMPDEST
00001b50: ISZERO
00001b51: ISZERO
00001b52: PUSH2 0x1b5a
00001b55: JUMPI
00001b56: PUSH1 0x00
00001b58: DUP1
00001b59: REVERT
00001b5a: JUMPDEST
00001b5b: PUSH2 0x1b62
00001b5e: PUSH2 0x19e2
00001b61: JUMP
00001b62: JUMPDEST
00001b63: ISZERO
00001b64: ISZERO
00001b65: ISZERO
00001b66: PUSH2 0x1b6e
00001b69: JUMPI
00001b6a: PUSH1 0x00
00001b6c: DUP1
00001b6d: REVERT
00001b6e: JUMPDEST
00001b6f: DUP1
00001b70: PUSH2 0x1b78
00001b73: CALLER
00001b74: PUSH2 0x18a6
00001b77: JUMP
00001b78: JUMPDEST
00001b79: LT
00001b7a: ISZERO
00001b7b: ISZERO
00001b7c: ISZERO
00001b7d: PUSH2 0x1b85
00001b80: JUMPI
00001b81: PUSH1 0x00
00001b83: DUP1
00001b84: REVERT
00001b85: JUMPDEST
00001b86: PUSH2 0x1ba9
00001b89: CALLER
00001b8a: PUSH2 0x1ba4
00001b8d: DUP4
00001b8e: PUSH2 0x1b96
00001b91: CALLER
00001b92: PUSH2 0x18a6
00001b95: JUMP
00001b96: JUMPDEST
00001b97: PUSH2 0x207c
00001b9a: SWAP1
00001b9b: SWAP2
00001b9c: SWAP1
00001b9d: PUSH4 0xffffffff
00001ba2: AND
00001ba3: JUMP
00001ba4: JUMPDEST
00001ba5: PUSH2 0x1f80
00001ba8: JUMP
00001ba9: JUMPDEST
00001baa: PUSH2 0x1bb3
00001bad: CALLER
00001bae: DUP3
00001baf: PUSH2 0x1fc8
00001bb2: JUMP
00001bb3: JUMPDEST
00001bb4: POP
00001bb5: JUMP
00001bb6: JUMPDEST
00001bb7: PUSH1 0x04
00001bb9: PUSH1 0x00
00001bbb: SWAP1
00001bbc: SLOAD
00001bbd: SWAP1
00001bbe: PUSH2 0x0100
00001bc1: EXP
00001bc2: SWAP1
00001bc3: DIV
00001bc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd9: AND
00001bda: DUP2
00001bdb: JUMP
00001bdc: JUMPDEST
00001bdd: PUSH1 0x00
00001bdf: DUP1
00001be0: PUSH1 0x00
00001be2: SWAP1
00001be3: SLOAD
00001be4: SWAP1
00001be5: PUSH2 0x0100
00001be8: EXP
00001be9: SWAP1
00001bea: DIV
00001beb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c00: AND
00001c01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c16: AND
00001c17: CALLER
00001c18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c2d: AND
00001c2e: EQ
00001c2f: ISZERO
00001c30: ISZERO
00001c31: PUSH2 0x1c39
00001c34: JUMPI
00001c35: PUSH1 0x00
00001c37: DUP1
00001c38: REVERT
00001c39: JUMPDEST
00001c3a: PUSH1 0x00
00001c3c: SWAP1
00001c3d: POP
00001c3e: JUMPDEST
00001c3f: DUP2
00001c40: MLOAD
00001c41: DUP2
00001c42: LT
00001c43: ISZERO
00001c44: PUSH2 0x1d34
00001c47: JUMPI
00001c48: PUSH1 0x00
00001c4a: ISZERO
00001c4b: ISZERO
00001c4c: PUSH1 0x0e
00001c4e: PUSH1 0x00
00001c50: DUP5
00001c51: DUP5
00001c52: DUP2
00001c53: MLOAD
00001c54: DUP2
00001c55: LT
00001c56: ISZERO
00001c57: ISZERO
00001c58: PUSH2 0x1c5d
00001c5b: JUMPI
00001c5c: INVALID
00001c5d: JUMPDEST
00001c5e: SWAP1
00001c5f: PUSH1 0x20
00001c61: ADD
00001c62: SWAP1
00001c63: PUSH1 0x20
00001c65: MUL
00001c66: ADD
00001c67: MLOAD
00001c68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c7d: AND
00001c7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c93: AND
00001c94: DUP2
00001c95: MSTORE
00001c96: PUSH1 0x20
00001c98: ADD
00001c99: SWAP1
00001c9a: DUP2
00001c9b: MSTORE
00001c9c: PUSH1 0x20
00001c9e: ADD
00001c9f: PUSH1 0x00
00001ca1: KECCAK256
00001ca2: PUSH1 0x00
00001ca4: SWAP1
00001ca5: SLOAD
00001ca6: SWAP1
00001ca7: PUSH2 0x0100
00001caa: EXP
00001cab: SWAP1
00001cac: DIV
00001cad: PUSH1 0xff
00001caf: AND
00001cb0: ISZERO
00001cb1: ISZERO
00001cb2: EQ
00001cb3: ISZERO
00001cb4: PUSH2 0x1d27
00001cb7: JUMPI
00001cb8: PUSH1 0x01
00001cba: PUSH1 0x0e
00001cbc: PUSH1 0x00
00001cbe: DUP5
00001cbf: DUP5
00001cc0: DUP2
00001cc1: MLOAD
00001cc2: DUP2
00001cc3: LT
00001cc4: ISZERO
00001cc5: ISZERO
00001cc6: PUSH2 0x1ccb
00001cc9: JUMPI
00001cca: INVALID
00001ccb: JUMPDEST
00001ccc: SWAP1
00001ccd: PUSH1 0x20
00001ccf: ADD
00001cd0: SWAP1
00001cd1: PUSH1 0x20
00001cd3: MUL
00001cd4: ADD
00001cd5: MLOAD
00001cd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ceb: AND
00001cec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d01: AND
00001d02: DUP2
00001d03: MSTORE
00001d04: PUSH1 0x20
00001d06: ADD
00001d07: SWAP1
00001d08: DUP2
00001d09: MSTORE
00001d0a: PUSH1 0x20
00001d0c: ADD
00001d0d: PUSH1 0x00
00001d0f: KECCAK256
00001d10: PUSH1 0x00
00001d12: PUSH2 0x0100
00001d15: EXP
00001d16: DUP2
00001d17: SLOAD
00001d18: DUP2
00001d19: PUSH1 0xff
00001d1b: MUL
00001d1c: NOT
00001d1d: AND
00001d1e: SWAP1
00001d1f: DUP4
00001d20: ISZERO
00001d21: ISZERO
00001d22: MUL
00001d23: OR
00001d24: SWAP1
00001d25: SSTORE
00001d26: POP
00001d27: JUMPDEST
00001d28: DUP1
00001d29: DUP1
00001d2a: PUSH1 0x01
00001d2c: ADD
00001d2d: SWAP2
00001d2e: POP
00001d2f: POP
00001d30: PUSH2 0x1c3e
00001d33: JUMP
00001d34: JUMPDEST
00001d35: POP
00001d36: POP
00001d37: JUMP
00001d38: JUMPDEST
00001d39: PUSH1 0x01
00001d3b: PUSH1 0x20
00001d3d: MSTORE
00001d3e: DUP1
00001d3f: PUSH1 0x00
00001d41: MSTORE
00001d42: PUSH1 0x40
00001d44: PUSH1 0x00
00001d46: KECCAK256
00001d47: PUSH1 0x00
00001d49: SWAP2
00001d4a: POP
00001d4b: SWAP1
00001d4c: POP
00001d4d: SLOAD
00001d4e: DUP2
00001d4f: JUMP
00001d50: JUMPDEST
00001d51: PUSH1 0x05
00001d53: PUSH1 0x00
00001d55: SWAP1
00001d56: SLOAD
00001d57: SWAP1
00001d58: PUSH2 0x0100
00001d5b: EXP
00001d5c: SWAP1
00001d5d: DIV
00001d5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d73: AND
00001d74: DUP2
00001d75: JUMP
00001d76: JUMPDEST
00001d77: PUSH1 0x00
00001d79: PUSH2 0x1daa
00001d7c: PUSH10 0x03cfc82e37e9a7400000
00001d87: PUSH2 0x1d9c
00001d8a: PUSH1 0x64
00001d8c: PUSH1 0x09
00001d8e: SLOAD
00001d8f: PUSH2 0x1ebe
00001d92: SWAP1
00001d93: SWAP2
00001d94: SWAP1
00001d95: PUSH4 0xffffffff
00001d9a: AND
00001d9b: JUMP
00001d9c: JUMPDEST
00001d9d: PUSH2 0x1f65
00001da0: SWAP1
00001da1: SWAP2
00001da2: SWAP1
00001da3: PUSH4 0xffffffff
00001da8: AND
00001da9: JUMP
00001daa: JUMPDEST
00001dab: SWAP1
00001dac: POP
00001dad: SWAP1
00001dae: JUMP
00001daf: JUMPDEST
00001db0: PUSH1 0x00
00001db2: PUSH10 0x03cfc82e37e9a7400000
00001dbd: PUSH1 0x09
00001dbf: SLOAD
00001dc0: LT
00001dc1: ISZERO
00001dc2: SWAP1
00001dc3: POP
00001dc4: SWAP1
00001dc5: JUMP
00001dc6: JUMPDEST
00001dc7: PUSH1 0x00
00001dc9: DUP1
00001dca: SWAP1
00001dcb: SLOAD
00001dcc: SWAP1
00001dcd: PUSH2 0x0100
00001dd0: EXP
00001dd1: SWAP1
00001dd2: DIV
00001dd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de8: AND
00001de9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dfe: AND
00001dff: CALLER
00001e00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e15: AND
00001e16: EQ
00001e17: ISZERO
00001e18: ISZERO
00001e19: PUSH2 0x1e21
00001e1c: JUMPI
00001e1d: PUSH1 0x00
00001e1f: DUP1
00001e20: REVERT
00001e21: JUMPDEST
00001e22: PUSH1 0x00
00001e24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e39: AND
00001e3a: DUP2
00001e3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e50: AND
00001e51: EQ
00001e52: ISZERO
00001e53: ISZERO
00001e54: ISZERO
00001e55: PUSH2 0x1e5d
00001e58: JUMPI
00001e59: PUSH1 0x00
00001e5b: DUP1
00001e5c: REVERT
00001e5d: JUMPDEST
00001e5e: DUP1
00001e5f: PUSH1 0x00
00001e61: DUP1
00001e62: PUSH2 0x0100
00001e65: EXP
00001e66: DUP2
00001e67: SLOAD
00001e68: DUP2
00001e69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e7e: MUL
00001e7f: NOT
00001e80: AND
00001e81: SWAP1
00001e82: DUP4
00001e83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e98: AND
00001e99: MUL
00001e9a: OR
00001e9b: SWAP1
00001e9c: SSTORE
00001e9d: POP
00001e9e: POP
00001e9f: JUMP
00001ea0: JUMPDEST
00001ea1: PUSH1 0x00
00001ea3: DUP1
00001ea4: DUP3
00001ea5: DUP5
00001ea6: ADD
00001ea7: SWAP1
00001ea8: POP
00001ea9: DUP4
00001eaa: DUP2
00001eab: LT
00001eac: ISZERO
00001ead: ISZERO
00001eae: ISZERO
00001eaf: PUSH2 0x1eb4
00001eb2: JUMPI
00001eb3: INVALID
00001eb4: JUMPDEST
00001eb5: DUP1
00001eb6: SWAP2
00001eb7: POP
00001eb8: POP
00001eb9: SWAP3
00001eba: SWAP2
00001ebb: POP
00001ebc: POP
00001ebd: JUMP
00001ebe: JUMPDEST
00001ebf: PUSH1 0x00
00001ec1: DUP1
00001ec2: DUP3
00001ec3: DUP5
00001ec4: MUL
00001ec5: SWAP1
00001ec6: POP
00001ec7: PUSH1 0x00
00001ec9: DUP5
00001eca: EQ
00001ecb: DUP1
00001ecc: PUSH2 0x1edf
00001ecf: JUMPI
00001ed0: POP
00001ed1: DUP3
00001ed2: DUP5
00001ed3: DUP3
00001ed4: DUP2
00001ed5: ISZERO
00001ed6: ISZERO
00001ed7: PUSH2 0x1edc
00001eda: JUMPI
00001edb: INVALID
00001edc: JUMPDEST
00001edd: DIV
00001ede: EQ
00001edf: JUMPDEST
00001ee0: ISZERO
00001ee1: ISZERO
00001ee2: PUSH2 0x1ee7
00001ee5: JUMPI
00001ee6: INVALID
00001ee7: JUMPDEST
00001ee8: DUP1
00001ee9: SWAP2
00001eea: POP
00001eeb: POP
00001eec: SWAP3
00001eed: SWAP2
00001eee: POP
00001eef: POP
00001ef0: JUMP
00001ef1: JUMPDEST
00001ef2: PUSH1 0x00
00001ef4: DUP1
00001ef5: PUSH1 0x00
00001ef7: DUP1
00001ef8: PUSH1 0x00
00001efa: SWAP3
00001efb: POP
00001efc: PUSH4 0x59feef30
00001f01: SWAP2
00001f02: POP
00001f03: PUSH4 0x5a0586b0
00001f08: SWAP1
00001f09: POP
00001f0a: DUP2
00001f0b: TIMESTAMP
00001f0c: GT
00001f0d: ISZERO
00001f0e: ISZERO
00001f0f: PUSH2 0x1f2d
00001f12: JUMPI
00001f13: PUSH2 0x1f26
00001f16: PUSH1 0x0a
00001f18: DUP7
00001f19: PUSH2 0x1f65
00001f1c: SWAP1
00001f1d: SWAP2
00001f1e: SWAP1
00001f1f: PUSH4 0xffffffff
00001f24: AND
00001f25: JUMP
00001f26: JUMPDEST
00001f27: SWAP3
00001f28: POP
00001f29: PUSH2 0x1f5a
00001f2c: JUMP
00001f2d: JUMPDEST
00001f2e: DUP1
00001f2f: TIMESTAMP
00001f30: GT
00001f31: ISZERO
00001f32: DUP1
00001f33: ISZERO
00001f34: PUSH2 0x1f3d
00001f37: JUMPI
00001f38: POP
00001f39: DUP2
00001f3a: TIMESTAMP
00001f3b: LT
00001f3c: ISZERO
00001f3d: JUMPDEST
00001f3e: ISZERO
00001f3f: PUSH2 0x1f59
00001f42: JUMPI
00001f43: PUSH2 0x1f56
00001f46: PUSH1 0x14
00001f48: DUP7
00001f49: PUSH2 0x1f65
00001f4c: SWAP1
00001f4d: SWAP2
00001f4e: SWAP1
00001f4f: PUSH4 0xffffffff
00001f54: AND
00001f55: JUMP
00001f56: JUMPDEST
00001f57: SWAP3
00001f58: POP
00001f59: JUMPDEST
00001f5a: JUMPDEST
00001f5b: DUP3
00001f5c: SWAP4
00001f5d: POP
00001f5e: POP
00001f5f: POP
00001f60: POP
00001f61: SWAP2
00001f62: SWAP1
00001f63: POP
00001f64: JUMP
00001f65: JUMPDEST
00001f66: PUSH1 0x00
00001f68: DUP1
00001f69: DUP3
00001f6a: DUP5
00001f6b: DUP2
00001f6c: ISZERO
00001f6d: ISZERO
00001f6e: PUSH2 0x1f73
00001f71: JUMPI
00001f72: INVALID
00001f73: JUMPDEST
00001f74: DIV
00001f75: SWAP1
00001f76: POP
00001f77: DUP1
00001f78: SWAP2
00001f79: POP
00001f7a: POP
00001f7b: SWAP3
00001f7c: SWAP2
00001f7d: POP
00001f7e: POP
00001f7f: JUMP
00001f80: JUMPDEST
00001f81: DUP1
00001f82: PUSH1 0x0c
00001f84: PUSH1 0x00
00001f86: DUP5
00001f87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f9c: AND
00001f9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb2: AND
00001fb3: DUP2
00001fb4: MSTORE
00001fb5: PUSH1 0x20
00001fb7: ADD
00001fb8: SWAP1
00001fb9: DUP2
00001fba: MSTORE
00001fbb: PUSH1 0x20
00001fbd: ADD
00001fbe: PUSH1 0x00
00001fc0: KECCAK256
00001fc1: DUP2
00001fc2: SWAP1
00001fc3: SSTORE
00001fc4: POP
00001fc5: POP
00001fc6: POP
00001fc7: JUMP
00001fc8: JUMPDEST
00001fc9: PUSH2 0x201a
00001fcc: DUP2
00001fcd: PUSH1 0x01
00001fcf: PUSH1 0x00
00001fd1: DUP6
00001fd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fe7: AND
00001fe8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ffd: AND
00001ffe: DUP2
00001fff: MSTORE
00002000: PUSH1 0x20
00002002: ADD
00002003: SWAP1
00002004: DUP2
00002005: MSTORE
00002006: PUSH1 0x20
00002008: ADD
00002009: PUSH1 0x00
0000200b: KECCAK256
0000200c: SLOAD
0000200d: PUSH2 0x1ea0
00002010: SWAP1
00002011: SWAP2
00002012: SWAP1
00002013: PUSH4 0xffffffff
00002018: AND
00002019: JUMP
0000201a: JUMPDEST
0000201b: PUSH1 0x01
0000201d: PUSH1 0x00
0000201f: DUP5
00002020: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002035: AND
00002036: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000204b: AND
0000204c: DUP2
0000204d: MSTORE
0000204e: PUSH1 0x20
00002050: ADD
00002051: SWAP1
00002052: DUP2
00002053: MSTORE
00002054: PUSH1 0x20
00002056: ADD
00002057: PUSH1 0x00
00002059: KECCAK256
0000205a: DUP2
0000205b: SWAP1
0000205c: SSTORE
0000205d: POP
0000205e: PUSH2 0x2072
00002061: DUP2
00002062: PUSH1 0x02
00002064: SLOAD
00002065: PUSH2 0x1ea0
00002068: SWAP1
00002069: SWAP2
0000206a: SWAP1
0000206b: PUSH4 0xffffffff
00002070: AND
00002071: JUMP
00002072: JUMPDEST
00002073: PUSH1 0x02
00002075: DUP2
00002076: SWAP1
00002077: SSTORE
00002078: POP
00002079: POP
0000207a: POP
0000207b: JUMP
0000207c: JUMPDEST
0000207d: PUSH1 0x00
0000207f: DUP3
00002080: DUP3
00002081: GT
00002082: ISZERO
00002083: ISZERO
00002084: ISZERO
00002085: PUSH2 0x208a
00002088: JUMPI
00002089: INVALID
0000208a: JUMPDEST
0000208b: DUP2
0000208c: DUP4
0000208d: SUB
0000208e: SWAP1
0000208f: POP
00002090: SWAP3
00002091: SWAP2
00002092: POP
00002093: POP
00002094: JUMP
00002095: JUMPDEST
00002096: PUSH1 0x00
00002098: PUSH2 0x209f
0000209b: PUSH2 0x1b03
0000209e: JUMP
0000209f: JUMPDEST
000020a0: GT
000020a1: ISZERO
000020a2: ISZERO
000020a3: PUSH2 0x20a8
000020a6: JUMPI
000020a7: INVALID
000020a8: JUMPDEST
000020a9: PUSH1 0x04
000020ab: PUSH1 0x00
000020ad: SWAP1
000020ae: SLOAD
000020af: SWAP1
000020b0: PUSH2 0x0100
000020b3: EXP
000020b4: SWAP1
000020b5: DIV
000020b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020cb: AND
000020cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020e1: AND
000020e2: PUSH4 0xa9059cbb
000020e7: PUSH1 0x07
000020e9: PUSH1 0x00
000020eb: SWAP1
000020ec: SLOAD
000020ed: SWAP1
000020ee: PUSH2 0x0100
000020f1: EXP
000020f2: SWAP1
000020f3: DIV
000020f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002109: AND
0000210a: PUSH2 0x2111
0000210d: PUSH2 0x1b03
00002110: JUMP
00002111: JUMPDEST
00002112: PUSH1 0x00
00002114: PUSH1 0x40
00002116: MLOAD
00002117: PUSH1 0x20
00002119: ADD
0000211a: MSTORE
0000211b: PUSH1 0x40
0000211d: MLOAD
0000211e: DUP4
0000211f: PUSH4 0xffffffff
00002124: AND
00002125: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002143: MUL
00002144: DUP2
00002145: MSTORE
00002146: PUSH1 0x04
00002148: ADD
00002149: DUP1
0000214a: DUP4
0000214b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002160: AND
00002161: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002176: AND
00002177: DUP2
00002178: MSTORE
00002179: PUSH1 0x20
0000217b: ADD
0000217c: DUP3
0000217d: DUP2
0000217e: MSTORE
0000217f: PUSH1 0x20
00002181: ADD
00002182: SWAP3
00002183: POP
00002184: POP
00002185: POP
00002186: PUSH1 0x20
00002188: PUSH1 0x40
0000218a: MLOAD
0000218b: DUP1
0000218c: DUP4
0000218d: SUB
0000218e: DUP2
0000218f: PUSH1 0x00
00002191: DUP8
00002192: DUP1
00002193: EXTCODESIZE
00002194: ISZERO
00002195: ISZERO
00002196: PUSH2 0x219e
00002199: JUMPI
0000219a: PUSH1 0x00
0000219c: DUP1
0000219d: REVERT
0000219e: JUMPDEST
0000219f: PUSH2 0x02c6
000021a2: GAS
000021a3: SUB
000021a4: CALL
000021a5: ISZERO
000021a6: ISZERO
000021a7: PUSH2 0x21af
000021aa: JUMPI
000021ab: PUSH1 0x00
000021ad: DUP1
000021ae: REVERT
000021af: JUMPDEST
000021b0: POP
000021b1: POP
000021b2: POP
000021b3: PUSH1 0x40
000021b5: MLOAD
000021b6: DUP1
000021b7: MLOAD
000021b8: SWAP1
000021b9: POP
000021ba: POP
000021bb: PUSH1 0x04
000021bd: PUSH1 0x00
000021bf: SWAP1
000021c0: SLOAD
000021c1: SWAP1
000021c2: PUSH2 0x0100
000021c5: EXP
000021c6: SWAP1
000021c7: DIV
000021c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021dd: AND
000021de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021f3: AND
000021f4: PUSH4 0x18160ddd
000021f9: PUSH1 0x00
000021fb: PUSH1 0x40
000021fd: MLOAD
000021fe: PUSH1 0x20
00002200: ADD
00002201: MSTORE
00002202: PUSH1 0x40
00002204: MLOAD
00002205: DUP2
00002206: PUSH4 0xffffffff
0000220b: AND
0000220c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000222a: MUL
0000222b: DUP2
0000222c: MSTORE
0000222d: PUSH1 0x04
0000222f: ADD
00002230: PUSH1 0x20
00002232: PUSH1 0x40
00002234: MLOAD
00002235: DUP1
00002236: DUP4
00002237: SUB
00002238: DUP2
00002239: PUSH1 0x00
0000223b: DUP8
0000223c: DUP1
0000223d: EXTCODESIZE
0000223e: ISZERO
0000223f: ISZERO
00002240: PUSH2 0x2248
00002243: JUMPI
00002244: PUSH1 0x00
00002246: DUP1
00002247: REVERT
00002248: JUMPDEST
00002249: PUSH2 0x02c6
0000224c: GAS
0000224d: SUB
0000224e: CALL
0000224f: ISZERO
00002250: ISZERO
00002251: PUSH2 0x2259
00002254: JUMPI
00002255: PUSH1 0x00
00002257: DUP1
00002258: REVERT
00002259: JUMPDEST
0000225a: POP
0000225b: POP
0000225c: POP
0000225d: PUSH1 0x40
0000225f: MLOAD
00002260: DUP1
00002261: MLOAD
00002262: SWAP1
00002263: POP
00002264: PUSH2 0x226b
00002267: PUSH2 0x0de6
0000226a: JUMP
0000226b: JUMPDEST
0000226c: LT
0000226d: ISZERO
0000226e: PUSH2 0x24d7
00002271: JUMPI
00002272: PUSH1 0x04
00002274: PUSH1 0x00
00002276: SWAP1
00002277: SLOAD
00002278: SWAP1
00002279: PUSH2 0x0100
0000227c: EXP
0000227d: SWAP1
0000227e: DIV
0000227f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002294: AND
00002295: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022aa: AND
000022ab: PUSH4 0x42966c68
000022b0: PUSH2 0x2371
000022b3: PUSH2 0x22ba
000022b6: PUSH2 0x0de6
000022b9: JUMP
000022ba: JUMPDEST
000022bb: PUSH1 0x04
000022bd: PUSH1 0x00
000022bf: SWAP1
000022c0: SLOAD
000022c1: SWAP1
000022c2: PUSH2 0x0100
000022c5: EXP
000022c6: SWAP1
000022c7: DIV
000022c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022dd: AND
000022de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022f3: AND
000022f4: PUSH4 0x18160ddd
000022f9: PUSH1 0x00
000022fb: PUSH1 0x40
000022fd: MLOAD
000022fe: PUSH1 0x20
00002300: ADD
00002301: MSTORE
00002302: PUSH1 0x40
00002304: MLOAD
00002305: DUP2
00002306: PUSH4 0xffffffff
0000230b: AND
0000230c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000232a: MUL
0000232b: DUP2
0000232c: MSTORE
0000232d: PUSH1 0x04
0000232f: ADD
00002330: PUSH1 0x20
00002332: PUSH1 0x40
00002334: MLOAD
00002335: DUP1
00002336: DUP4
00002337: SUB
00002338: DUP2
00002339: PUSH1 0x00
0000233b: DUP8
0000233c: DUP1
0000233d: EXTCODESIZE
0000233e: ISZERO
0000233f: ISZERO
00002340: PUSH2 0x2348
00002343: JUMPI
00002344: PUSH1 0x00
00002346: DUP1
00002347: REVERT
00002348: JUMPDEST
00002349: PUSH2 0x02c6
0000234c: GAS
0000234d: SUB
0000234e: CALL
0000234f: ISZERO
00002350: ISZERO
00002351: PUSH2 0x2359
00002354: JUMPI
00002355: PUSH1 0x00
00002357: DUP1
00002358: REVERT
00002359: JUMPDEST
0000235a: POP
0000235b: POP
0000235c: POP
0000235d: PUSH1 0x40
0000235f: MLOAD
00002360: DUP1
00002361: MLOAD
00002362: SWAP1
00002363: POP
00002364: PUSH2 0x207c
00002367: SWAP1
00002368: SWAP2
00002369: SWAP1
0000236a: PUSH4 0xffffffff
0000236f: AND
00002370: JUMP
00002371: JUMPDEST
00002372: PUSH1 0x00
00002374: PUSH1 0x40
00002376: MLOAD
00002377: PUSH1 0x20
00002379: ADD
0000237a: MSTORE
0000237b: PUSH1 0x40
0000237d: MLOAD
0000237e: DUP3
0000237f: PUSH4 0xffffffff
00002384: AND
00002385: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000023a3: MUL
000023a4: DUP2
000023a5: MSTORE
000023a6: PUSH1 0x04
000023a8: ADD
000023a9: DUP1
000023aa: DUP3
000023ab: DUP2
000023ac: MSTORE
000023ad: PUSH1 0x20
000023af: ADD
000023b0: SWAP2
000023b1: POP
000023b2: POP
000023b3: PUSH1 0x20
000023b5: PUSH1 0x40
000023b7: MLOAD
000023b8: DUP1
000023b9: DUP4
000023ba: SUB
000023bb: DUP2
000023bc: PUSH1 0x00
000023be: DUP8
000023bf: DUP1
000023c0: EXTCODESIZE
000023c1: ISZERO
000023c2: ISZERO
000023c3: PUSH2 0x23cb
000023c6: JUMPI
000023c7: PUSH1 0x00
000023c9: DUP1
000023ca: REVERT
000023cb: JUMPDEST
000023cc: PUSH2 0x02c6
000023cf: GAS
000023d0: SUB
000023d1: CALL
000023d2: ISZERO
000023d3: ISZERO
000023d4: PUSH2 0x23dc
000023d7: JUMPI
000023d8: PUSH1 0x00
000023da: DUP1
000023db: REVERT
000023dc: JUMPDEST
000023dd: POP
000023de: POP
000023df: POP
000023e0: PUSH1 0x40
000023e2: MLOAD
000023e3: DUP1
000023e4: MLOAD
000023e5: SWAP1
000023e6: POP
000023e7: POP
000023e8: TIMESTAMP
000023e9: PUSH2 0x24aa
000023ec: PUSH2 0x23f3
000023ef: PUSH2 0x0de6
000023f2: JUMP
000023f3: JUMPDEST
000023f4: PUSH1 0x04
000023f6: PUSH1 0x00
000023f8: SWAP1
000023f9: SLOAD
000023fa: SWAP1
000023fb: PUSH2 0x0100
000023fe: EXP
000023ff: SWAP1
00002400: DIV
00002401: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002416: AND
00002417: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000242c: AND
0000242d: PUSH4 0x18160ddd
00002432: PUSH1 0x00
00002434: PUSH1 0x40
00002436: MLOAD
00002437: PUSH1 0x20
00002439: ADD
0000243a: MSTORE
0000243b: PUSH1 0x40
0000243d: MLOAD
0000243e: DUP2
0000243f: PUSH4 0xffffffff
00002444: AND
00002445: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002463: MUL
00002464: DUP2
00002465: MSTORE
00002466: PUSH1 0x04
00002468: ADD
00002469: PUSH1 0x20
0000246b: PUSH1 0x40
0000246d: MLOAD
0000246e: DUP1
0000246f: DUP4
00002470: SUB
00002471: DUP2
00002472: PUSH1 0x00
00002474: DUP8
00002475: DUP1
00002476: EXTCODESIZE
00002477: ISZERO
00002478: ISZERO
00002479: PUSH2 0x2481
0000247c: JUMPI
0000247d: PUSH1 0x00
0000247f: DUP1
00002480: REVERT
00002481: JUMPDEST
00002482: PUSH2 0x02c6
00002485: GAS
00002486: SUB
00002487: CALL
00002488: ISZERO
00002489: ISZERO
0000248a: PUSH2 0x2492
0000248d: JUMPI
0000248e: PUSH1 0x00
00002490: DUP1
00002491: REVERT
00002492: JUMPDEST
00002493: POP
00002494: POP
00002495: POP
00002496: PUSH1 0x40
00002498: MLOAD
00002499: DUP1
0000249a: MLOAD
0000249b: SWAP1
0000249c: POP
0000249d: PUSH2 0x207c
000024a0: SWAP1
000024a1: SWAP2
000024a2: SWAP1
000024a3: PUSH4 0xffffffff
000024a8: AND
000024a9: JUMP
000024aa: JUMPDEST
000024ab: PUSH32 0xf1337af994b33c56a7ce51266931ae8dedce9d6eb9b3eb127fcf7f006374f74e
000024cc: PUSH1 0x40
000024ce: MLOAD
000024cf: PUSH1 0x40
000024d1: MLOAD
000024d2: DUP1
000024d3: SWAP2
000024d4: SUB
000024d5: SWAP1
000024d6: LOG3
000024d7: JUMPDEST
000024d8: JUMP
000024d9: STOP
000024da: LOG1
000024db: PUSH6 0x627a7a723058
000024e2: KECCAK256
000024e3: CLZ
000024e4: UNKNOWN(0x2E)
000024e5: UNKNOWN(0xBB)
000024e6: DUP7
000024e7: UNKNOWN(0xC6)
000024e8: UNKNOWN(0xF9)
000024e9: SWAP6
000024ea: UNKNOWN(0xDE)
000024eb: UNKNOWN(0x0C)
000024ec: UNKNOWN(0xDC)
000024ed: SUB
000024ee: TLOAD
000024ef: UNKNOWN(0xDB)
000024f0: PUSH21

View stderr

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xf1164cbb4d6fe628b9edcae025c398460a0604370f934c70ba9d39c0613de318 call_targets: 0xb67732ca658b9f7f6c46865865fd990d634c8766 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xf1164cbb4d6fe628b9edcae025c398460a0604370f934c70ba9d39c0613de318", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb67732ca658b9f7f6c46865865fd990d634c8766" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0b97bc86", "selector": "0x0b97bc86", "calldata_variants": [ "0x0b97bc86", "0x0b97bc860000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x21346edd", "selector": "0x21346edd", "calldata_variants": [ "0x21346edd", "0x21346edd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x25d0b4ef", "selector": "0x25d0b4ef", "calldata_variants": [ "0x25d0b4ef", "0x25d0b4ef0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2738154e", "selector": "0x2738154e", "calldata_variants": [ "0x2738154e", "0x2738154e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x28c32be6", "selector": "0x28c32be6", "calldata_variants": [ "0x28c32be6", "0x28c32be60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x29dcb0cf", "selector": "0x29dcb0cf", "calldata_variants": [ "0x29dcb0cf", "0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3f4ba83a", "selector": "0x3f4ba83a", "calldata_variants": [ "0x3f4ba83a", "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3159, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4068, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4533, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 14, "guards_detected": [ { "pc": 568, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3425, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3625, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5138, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6061, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7191, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7679, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 14 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xf1164cbb4d6fe628b9edcae025c398460a0604370f934c70ba9d39c0613de318 call_targets: 0xb67732ca658b9f7f6c46865865fd990d634c8766 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xf1164cbb4d6fe628b9edcae025c398460a0604370f934c70ba9d39c0613de318", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb67732ca658b9f7f6c46865865fd990d634c8766" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0b97bc86", "selector": "0x0b97bc86", "calldata_variants": [ "0x0b97bc86", "0x0b97bc860000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x21346edd", "selector": "0x21346edd", "calldata_variants": [ "0x21346edd", "0x21346edd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x25d0b4ef", "selector": "0x25d0b4ef", "calldata_variants": [ "0x25d0b4ef", "0x25d0b4ef0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2738154e", "selector": "0x2738154e", "calldata_variants": [ "0x2738154e", "0x2738154e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x28c32be6", "selector": "0x28c32be6", "calldata_variants": [ "0x28c32be6", "0x28c32be60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x29dcb0cf", "selector": "0x29dcb0cf", "calldata_variants": [ "0x29dcb0cf", "0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3f4ba83a", "selector": "0x3f4ba83a", "calldata_variants": [ "0x3f4ba83a", "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3159, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4068, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4533, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 14, "guards_detected": [ { "pc": 568, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3425, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3625, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5138, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6061, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7191, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7679, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }

Severity