Tripwire
Find contracts. Test them. Review real vulns.
Analysis Run

019b477e-a809-724e-b66e-4af535834782
complete
Chain ID
Address
0xa0375be0efe09c67de9203cb8331a775cad16c8c
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
Validated
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
20359	artifact.fetch	complete	1 / 3	3 months ago
20360	tool.cast_disasm	complete	1 / 3	3 months ago
88849	analysis.bundle	complete	1 / 3	2 weeks ago
88850	capability.graph	complete	1 / 3	2 weeks ago
88851	detector.run	complete	1 / 3	2 weeks ago
88852	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
7429
Flags
call_family_heavy
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x020e
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x013cf08b
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x022c
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x095ea7b3
00000025: EQ
00000026: PUSH2 0x03ea
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x0c3b7b96
00000030: EQ
00000031: PUSH2 0x045e
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x0e708203
0000003b: EQ
0000003c: PUSH2 0x0467
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x149acf9a
00000046: EQ
00000047: PUSH2 0x0479
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x18160ddd
00000051: EQ
00000052: PUSH2 0x048b
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x1f2dc5ef
0000005c: EQ
0000005d: PUSH2 0x0494
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x21b5b8dd
00000067: EQ
00000068: PUSH2 0x04b4
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x234693d3
00000072: EQ
00000073: PUSH2 0x04c6
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x237e9492
0000007d: EQ
0000007e: PUSH2 0x052c
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x23b872dd
00000088: EQ
00000089: PUSH2 0x058d
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x34145808
00000093: EQ
00000094: PUSH2 0x05c0
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x39d1f908
0000009e: EQ
0000009f: PUSH2 0x05c9
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x4b6753bc
000000a9: EQ
000000aa: PUSH2 0x05e1
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x4df6d6cc
000000b4: EQ
000000b5: PUSH2 0x05ea
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x4e10c3ee
000000bf: EQ
000000c0: PUSH2 0x0605
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x590e1ae3
000000ca: EQ
000000cb: PUSH2 0x0618
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x612e45a3
000000d5: EQ
000000d6: PUSH2 0x0629
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x643f7cdd
000000e0: EQ
000000e1: PUSH2 0x06c8
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x674ed066
000000eb: EQ
000000ec: PUSH2 0x06e0
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x6837ff1e
000000f6: EQ
000000f7: PUSH2 0x06e9
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x70a08231
00000101: EQ
00000102: PUSH2 0x0733
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x749f9889
0000010c: EQ
0000010d: PUSH2 0x0759
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x78524b2e
00000117: EQ
00000118: PUSH2 0x0772
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0x81f03fcb
00000122: EQ
00000123: PUSH2 0x079f
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0x82661dc4
0000012d: EQ
0000012e: PUSH2 0x07b7
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0x82bf6464
00000138: EQ
00000139: PUSH2 0x07d8
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x8b15a605
00000143: EQ
00000144: PUSH2 0x07ea
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0x8d7af473
0000014e: EQ
0000014f: PUSH2 0x07f3
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0x96d7f3f5
00000159: EQ
0000015a: PUSH2 0x0802
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xa1da2fb9
00000164: EQ
00000165: PUSH2 0x080b
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xa3912ec8
0000016f: EQ
00000170: PUSH2 0x0825
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0xa9059cbb
0000017a: EQ
0000017b: PUSH2 0x0830
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0xb7bc2c84
00000185: EQ
00000186: PUSH2 0x0860
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0xbaac5300
00000190: EQ
00000191: PUSH2 0x086c
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0xc9d27afe
0000019b: EQ
0000019c: PUSH2 0x08d0
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0xcc9ae3f6
000001a6: EQ
000001a7: PUSH2 0x08e6
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0xcdef91d0
000001b1: EQ
000001b2: PUSH2 0x08fa
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0xdbde1988
000001bc: EQ
000001bd: PUSH2 0x0912
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0xdd62ed3e
000001c7: EQ
000001c8: PUSH2 0x0937
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0xe33734fd
000001d2: EQ
000001d3: PUSH2 0x096b
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0xe5962195
000001dd: EQ
000001de: PUSH2 0x097f
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0xe66f53b7
000001e8: EQ
000001e9: PUSH2 0x0997
000001ec: JUMPI
000001ed: DUP1
000001ee: PUSH4 0xeceb2945
000001f3: EQ
000001f4: PUSH2 0x09a9
000001f7: JUMPI
000001f8: DUP1
000001f9: PUSH4 0xf8c80d26
000001fe: EQ
000001ff: PUSH2 0x0a08
00000202: JUMPI
00000203: DUP1
00000204: PUSH4 0xfbac3951
00000209: EQ
0000020a: PUSH2 0x0a1f
0000020d: JUMPI
0000020e: JUMPDEST
0000020f: PUSH2 0x0a4d
00000212: PUSH1 0x0f
00000214: SLOAD
00000215: PUSH1 0x00
00000217: SWAP1
00000218: PUSH3 0x34bc00
0000021c: ADD
0000021d: TIMESTAMP
0000021e: LT
0000021f: ISZERO
00000220: PUSH2 0x0a5f
00000223: JUMPI
00000224: PUSH2 0x0a67
00000227: CALLER
00000228: PUSH2 0x0873
0000022b: JUMP
0000022c: JUMPDEST
0000022d: PUSH2 0x0a6d
00000230: PUSH1 0x04
00000232: CALLDATALOAD
00000233: PUSH1 0x00
00000235: DUP1
00000236: SLOAD
00000237: DUP3
00000238: SWAP1
00000239: DUP2
0000023a: LT
0000023b: ISZERO
0000023c: PUSH2 0x0002
0000023f: JUMPI
00000240: POP
00000241: DUP1
00000242: MSTORE
00000243: PUSH1 0x0e
00000245: MUL
00000246: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e567
00000267: DUP2
00000268: ADD
00000269: SLOAD
0000026a: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e569
0000028b: DUP3
0000028c: ADD
0000028d: SLOAD
0000028e: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e566
000002af: DUP4
000002b0: ADD
000002b1: SLOAD
000002b2: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564
000002d3: DUP5
000002d4: ADD
000002d5: SLOAD
000002d6: PUSH1 0x00
000002d8: DUP1
000002d9: MLOAD
000002da: PUSH1 0x20
000002dc: PUSH2 0x2a5d
000002df: DUP4
000002e0: CODECOPY
000002e1: DUP2
000002e2: MLOAD
000002e3: SWAP2
000002e4: MSTORE
000002e5: DUP6
000002e6: ADD
000002e7: SLOAD
000002e8: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56a
00000309: DUP7
0000030a: ADD
0000030b: SLOAD
0000030c: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e568
0000032d: DUP8
0000032e: ADD
0000032f: SLOAD
00000330: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56c
00000351: DUP9
00000352: ADD
00000353: SLOAD
00000354: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56d
00000375: DUP10
00000376: ADD
00000377: SLOAD
00000378: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e570
00000399: DUP11
0000039a: ADD
0000039b: SLOAD
0000039c: PUSH1 0x01
0000039e: PUSH1 0xa0
000003a0: PUSH1 0x02
000003a2: EXP
000003a3: SUB
000003a4: SWAP6
000003a5: DUP7
000003a6: AND
000003a7: SWAP11
000003a8: SWAP7
000003a9: SWAP10
000003aa: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e565
000003cb: SWAP8
000003cc: SWAP1
000003cd: SWAP8
000003ce: ADD
000003cf: SWAP9
000003d0: PUSH1 0xff
000003d2: DUP9
000003d3: DUP2
000003d4: AND
000003d5: SWAP9
000003d6: PUSH2 0x0100
000003d9: SWAP1
000003da: DIV
000003db: DUP2
000003dc: AND
000003dd: SWAP8
000003de: SWAP6
000003df: SWAP7
000003e0: SWAP2
000003e1: SWAP6
000003e2: SWAP2
000003e3: AND
000003e4: SWAP4
000003e5: SWAP3
000003e6: SWAP2
000003e7: AND
000003e8: DUP13
000003e9: JUMP
000003ea: JUMPDEST
000003eb: PUSH2 0x0a4d
000003ee: PUSH1 0x04
000003f0: CALLDATALOAD
000003f1: PUSH1 0x24
000003f3: CALLDATALOAD
000003f4: PUSH1 0x01
000003f6: PUSH1 0xa0
000003f8: PUSH1 0x02
000003fa: EXP
000003fb: SUB
000003fc: CALLER
000003fd: DUP2
000003fe: AND
000003ff: PUSH1 0x00
00000401: DUP2
00000402: DUP2
00000403: MSTORE
00000404: PUSH1 0x15
00000406: PUSH1 0x20
00000408: SWAP1
00000409: DUP2
0000040a: MSTORE
0000040b: PUSH1 0x40
0000040d: DUP1
0000040e: DUP4
0000040f: KECCAK256
00000410: SWAP5
00000411: DUP8
00000412: AND
00000413: DUP1
00000414: DUP5
00000415: MSTORE
00000416: SWAP5
00000417: DUP3
00000418: MSTORE
00000419: DUP1
0000041a: DUP4
0000041b: KECCAK256
0000041c: DUP7
0000041d: SWAP1
0000041e: SSTORE
0000041f: DUP1
00000420: MLOAD
00000421: DUP7
00000422: DUP2
00000423: MSTORE
00000424: SWAP1
00000425: MLOAD
00000426: SWAP3
00000427: SWAP5
00000428: SWAP4
00000429: SWAP3
0000042a: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000044b: SWAP3
0000044c: SWAP2
0000044d: DUP2
0000044e: SWAP1
0000044f: SUB
00000450: SWAP1
00000451: SWAP2
00000452: ADD
00000453: SWAP1
00000454: LOG3
00000455: POP
00000456: PUSH1 0x01
00000458: JUMPDEST
00000459: SWAP3
0000045a: SWAP2
0000045b: POP
0000045c: POP
0000045d: JUMP
0000045e: JUMPDEST
0000045f: PUSH2 0x0a4d
00000462: PUSH1 0x10
00000464: SLOAD
00000465: DUP2
00000466: JUMP
00000467: JUMPDEST
00000468: PUSH2 0x0b64
0000046b: PUSH1 0x07
0000046d: SLOAD
0000046e: PUSH1 0x01
00000470: PUSH1 0xa0
00000472: PUSH1 0x02
00000474: EXP
00000475: SUB
00000476: AND
00000477: DUP2
00000478: JUMP
00000479: JUMPDEST
0000047a: PUSH2 0x0b64
0000047d: PUSH1 0x0e
0000047f: SLOAD
00000480: PUSH1 0x01
00000482: PUSH1 0xa0
00000484: PUSH1 0x02
00000486: EXP
00000487: SUB
00000488: AND
00000489: DUP2
0000048a: JUMP
0000048b: JUMPDEST
0000048c: PUSH2 0x0a4d
0000048f: PUSH1 0x16
00000491: SLOAD
00000492: DUP2
00000493: JUMP
00000494: JUMPDEST
00000495: PUSH2 0x0a4d
00000498: JUMPDEST
00000499: PUSH1 0x00
0000049b: TIMESTAMP
0000049c: PUSH3 0x127500
000004a0: PUSH1 0x0f
000004a2: PUSH1 0x00
000004a4: POP
000004a5: SLOAD
000004a6: SUB
000004a7: GT
000004a8: ISZERO
000004a9: PUSH2 0x2677
000004ac: JUMPI
000004ad: POP
000004ae: PUSH1 0x14
000004b0: PUSH2 0x0a6a
000004b3: JUMP
000004b4: JUMPDEST
000004b5: PUSH2 0x0b64
000004b8: PUSH1 0x12
000004ba: SLOAD
000004bb: PUSH1 0x01
000004bd: PUSH1 0xa0
000004bf: PUSH1 0x02
000004c1: EXP
000004c2: SUB
000004c3: AND
000004c4: DUP2
000004c5: JUMP
000004c6: JUMPDEST
000004c7: PUSH2 0x0b64
000004ca: PUSH1 0x04
000004cc: CALLDATALOAD
000004cd: PUSH1 0x00
000004cf: PUSH1 0x00
000004d1: PUSH1 0x00
000004d3: POP
000004d4: DUP3
000004d5: DUP2
000004d6: SLOAD
000004d7: DUP2
000004d8: LT
000004d9: ISZERO
000004da: PUSH2 0x0002
000004dd: JUMPI
000004de: POP
000004df: POP
000004e0: DUP1
000004e1: DUP1
000004e2: MSTORE
000004e3: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56b
00000504: PUSH1 0x0e
00000506: DUP4
00000507: MUL
00000508: ADD
00000509: DUP1
0000050a: SLOAD
0000050b: DUP3
0000050c: SWAP1
0000050d: DUP2
0000050e: LT
0000050f: ISZERO
00000510: PUSH2 0x0002
00000513: JUMPI
00000514: POP
00000515: DUP2
00000516: MSTORE
00000517: PUSH1 0x20
00000519: SWAP1
0000051a: KECCAK256
0000051b: PUSH1 0x03
0000051d: ADD
0000051e: SLOAD
0000051f: PUSH1 0x01
00000521: PUSH1 0xa0
00000523: PUSH1 0x02
00000525: EXP
00000526: SUB
00000527: AND
00000528: PUSH2 0x0754
0000052b: JUMP
0000052c: JUMPDEST
0000052d: PUSH1 0x40
0000052f: DUP1
00000530: MLOAD
00000531: PUSH1 0x20
00000533: PUSH1 0x24
00000535: DUP1
00000536: CALLDATALOAD
00000537: PUSH1 0x04
00000539: DUP2
0000053a: DUP2
0000053b: ADD
0000053c: CALLDATALOAD
0000053d: PUSH1 0x1f
0000053f: DUP2
00000540: ADD
00000541: DUP6
00000542: SWAP1
00000543: DIV
00000544: DUP6
00000545: MUL
00000546: DUP7
00000547: ADD
00000548: DUP6
00000549: ADD
0000054a: SWAP1
0000054b: SWAP7
0000054c: MSTORE
0000054d: DUP6
0000054e: DUP6
0000054f: MSTORE
00000550: PUSH2 0x0a4d
00000553: SWAP6
00000554: DUP2
00000555: CALLDATALOAD
00000556: SWAP6
00000557: SWAP2
00000558: SWAP5
00000559: PUSH1 0x44
0000055b: SWAP5
0000055c: SWAP3
0000055d: SWAP4
0000055e: SWAP1
0000055f: SWAP3
00000560: ADD
00000561: SWAP2
00000562: DUP2
00000563: SWAP1
00000564: DUP5
00000565: ADD
00000566: DUP4
00000567: DUP3
00000568: DUP1
00000569: DUP3
0000056a: DUP5
0000056b: CALLDATACOPY
0000056c: POP
0000056d: SWAP5
0000056e: SWAP7
0000056f: POP
00000570: POP
00000571: POP
00000572: POP
00000573: POP
00000574: POP
00000575: POP
00000576: PUSH1 0x00
00000578: PUSH1 0x00
0000057a: PUSH1 0x00
0000057c: PUSH1 0x00
0000057e: PUSH1 0x00
00000580: PUSH1 0x00
00000582: CALLVALUE
00000583: GT
00000584: ISZERO
00000585: PUSH2 0x140f
00000588: JUMPI
00000589: PUSH2 0x0002
0000058c: JUMP
0000058d: JUMPDEST
0000058e: PUSH2 0x0a4d
00000591: PUSH1 0x04
00000593: CALLDATALOAD
00000594: PUSH1 0x24
00000596: CALLDATALOAD
00000597: PUSH1 0x44
00000599: CALLDATALOAD
0000059a: JUMPDEST
0000059b: PUSH1 0x11
0000059d: SLOAD
0000059e: PUSH1 0x00
000005a0: SWAP1
000005a1: PUSH1 0xff
000005a3: AND
000005a4: DUP1
000005a5: ISZERO
000005a6: PUSH2 0x05b0
000005a9: JUMPI
000005aa: POP
000005ab: PUSH1 0x0f
000005ad: SLOAD
000005ae: TIMESTAMP
000005af: GT
000005b0: JUMPDEST
000005b1: DUP1
000005b2: ISZERO
000005b3: PUSH2 0x220b
000005b6: JUMPI
000005b7: POP
000005b8: PUSH2 0x2209
000005bb: DUP5
000005bc: PUSH2 0x0a26
000005bf: JUMP
000005c0: JUMPDEST
000005c1: PUSH2 0x0a4d
000005c4: PUSH1 0x06
000005c6: SLOAD
000005c7: DUP2
000005c8: JUMP
000005c9: JUMPDEST
000005ca: PUSH2 0x0a4d
000005cd: JUMPDEST
000005ce: PUSH1 0x0d
000005d0: SLOAD
000005d1: ADDRESS
000005d2: PUSH1 0x01
000005d4: PUSH1 0xa0
000005d6: PUSH1 0x02
000005d8: EXP
000005d9: SUB
000005da: AND
000005db: BALANCE
000005dc: SUB
000005dd: PUSH2 0x0a6a
000005e0: JUMP
000005e1: JUMPDEST
000005e2: PUSH2 0x0a4d
000005e5: PUSH1 0x0f
000005e7: SLOAD
000005e8: DUP2
000005e9: JUMP
000005ea: JUMPDEST
000005eb: PUSH2 0x0a4d
000005ee: PUSH1 0x04
000005f0: CALLDATALOAD
000005f1: PUSH1 0x04
000005f3: PUSH1 0x20
000005f5: MSTORE
000005f6: PUSH1 0x00
000005f8: SWAP1
000005f9: DUP2
000005fa: MSTORE
000005fb: PUSH1 0x40
000005fd: SWAP1
000005fe: KECCAK256
000005ff: SLOAD
00000600: PUSH1 0xff
00000602: AND
00000603: DUP2
00000604: JUMP
00000605: JUMPDEST
00000606: PUSH2 0x0a4d
00000609: PUSH1 0x04
0000060b: CALLDATALOAD
0000060c: PUSH1 0x24
0000060e: CALLDATALOAD
0000060f: PUSH1 0x00
00000611: PUSH2 0x21ed
00000614: PUSH2 0x08ea
00000617: JUMP
00000618: JUMPDEST
00000619: PUSH2 0x0b81
0000061c: PUSH1 0x00
0000061e: CALLVALUE
0000061f: GT
00000620: ISZERO
00000621: PUSH2 0x24b5
00000624: JUMPI
00000625: PUSH2 0x0002
00000628: JUMP
00000629: JUMPDEST
0000062a: PUSH1 0x40
0000062c: DUP1
0000062d: MLOAD
0000062e: PUSH1 0x20
00000630: PUSH1 0x44
00000632: CALLDATALOAD
00000633: PUSH1 0x04
00000635: DUP2
00000636: DUP2
00000637: ADD
00000638: CALLDATALOAD
00000639: PUSH1 0x1f
0000063b: DUP2
0000063c: ADD
0000063d: DUP5
0000063e: SWAP1
0000063f: DIV
00000640: DUP5
00000641: MUL
00000642: DUP6
00000643: ADD
00000644: DUP5
00000645: ADD
00000646: SWAP1
00000647: SWAP6
00000648: MSTORE
00000649: DUP5
0000064a: DUP5
0000064b: MSTORE
0000064c: PUSH2 0x0a4d
0000064f: SWAP5
00000650: DUP2
00000651: CALLDATALOAD
00000652: SWAP5
00000653: PUSH1 0x24
00000655: DUP1
00000656: CALLDATALOAD
00000657: SWAP6
00000658: SWAP4
00000659: SWAP5
0000065a: PUSH1 0x64
0000065c: SWAP5
0000065d: SWAP3
0000065e: SWAP4
0000065f: SWAP2
00000660: ADD
00000661: SWAP2
00000662: DUP2
00000663: SWAP1
00000664: DUP5
00000665: ADD
00000666: DUP4
00000667: DUP3
00000668: DUP1
00000669: DUP3
0000066a: DUP5
0000066b: CALLDATACOPY
0000066c: POP
0000066d: POP
0000066e: PUSH1 0x40
00000670: DUP1
00000671: MLOAD
00000672: PUSH1 0x20
00000674: SWAP8
00000675: CALLDATALOAD
00000676: DUP1
00000677: DUP11
00000678: ADD
00000679: CALLDATALOAD
0000067a: PUSH1 0x1f
0000067c: DUP2
0000067d: ADD
0000067e: DUP11
0000067f: SWAP1
00000680: DIV
00000681: DUP11
00000682: MUL
00000683: DUP4
00000684: ADD
00000685: DUP11
00000686: ADD
00000687: SWAP1
00000688: SWAP4
00000689: MSTORE
0000068a: DUP3
0000068b: DUP3
0000068c: MSTORE
0000068d: SWAP7
0000068e: SWAP9
0000068f: SWAP8
00000690: PUSH1 0x84
00000692: SWAP8
00000693: SWAP2
00000694: SWAP7
00000695: POP
00000696: PUSH1 0x24
00000698: SWAP2
00000699: SWAP1
0000069a: SWAP2
0000069b: ADD
0000069c: SWAP5
0000069d: POP
0000069e: SWAP1
0000069f: SWAP3
000006a0: POP
000006a1: DUP3
000006a2: SWAP2
000006a3: POP
000006a4: DUP5
000006a5: ADD
000006a6: DUP4
000006a7: DUP3
000006a8: DUP1
000006a9: DUP3
000006aa: DUP5
000006ab: CALLDATACOPY
000006ac: POP
000006ad: SWAP5
000006ae: SWAP7
000006af: POP
000006b0: POP
000006b1: SWAP4
000006b2: CALLDATALOAD
000006b3: SWAP4
000006b4: POP
000006b5: POP
000006b6: PUSH1 0xa4
000006b8: CALLDATALOAD
000006b9: SWAP2
000006ba: POP
000006bb: POP
000006bc: PUSH1 0x00
000006be: PUSH1 0x00
000006c0: PUSH2 0x0b83
000006c3: CALLER
000006c4: PUSH2 0x073a
000006c7: JUMP
000006c8: JUMPDEST
000006c9: PUSH2 0x0a4d
000006cc: PUSH1 0x04
000006ce: CALLDATALOAD
000006cf: PUSH1 0x09
000006d1: PUSH1 0x20
000006d3: MSTORE
000006d4: PUSH1 0x00
000006d6: SWAP1
000006d7: DUP2
000006d8: MSTORE
000006d9: PUSH1 0x40
000006db: SWAP1
000006dc: KECCAK256
000006dd: SLOAD
000006de: DUP2
000006df: JUMP
000006e0: JUMPDEST
000006e1: PUSH2 0x0a4d
000006e4: PUSH1 0x01
000006e6: SLOAD
000006e7: DUP2
000006e8: JUMP
000006e9: JUMPDEST
000006ea: PUSH2 0x0b81
000006ed: PUSH1 0x04
000006ef: CALLDATALOAD
000006f0: ADDRESS
000006f1: PUSH1 0x01
000006f3: PUSH1 0xa0
000006f5: PUSH1 0x02
000006f7: EXP
000006f8: SUB
000006f9: AND
000006fa: CALLER
000006fb: PUSH1 0x01
000006fd: PUSH1 0xa0
000006ff: PUSH1 0x02
00000701: EXP
00000702: SUB
00000703: AND
00000704: EQ
00000705: ISZERO
00000706: DUP1
00000707: PUSH2 0x0729
0000070a: JUMPI
0000070b: POP
0000070c: PUSH1 0x01
0000070e: PUSH1 0xa0
00000710: PUSH1 0x02
00000712: EXP
00000713: SUB
00000714: DUP2
00000715: AND
00000716: PUSH1 0x00
00000718: SWAP1
00000719: DUP2
0000071a: MSTORE
0000071b: PUSH1 0x04
0000071d: PUSH1 0x20
0000071f: MSTORE
00000720: PUSH1 0x40
00000722: SWAP1
00000723: KECCAK256
00000724: SLOAD
00000725: PUSH1 0xff
00000727: AND
00000728: ISZERO
00000729: JUMPDEST
0000072a: ISZERO
0000072b: PUSH2 0x1ee7
0000072e: JUMPI
0000072f: PUSH2 0x1ee4
00000732: JUMP
00000733: JUMPDEST
00000734: PUSH2 0x0a4d
00000737: PUSH1 0x04
00000739: CALLDATALOAD
0000073a: JUMPDEST
0000073b: PUSH1 0x01
0000073d: PUSH1 0xa0
0000073f: PUSH1 0x02
00000741: EXP
00000742: SUB
00000743: DUP2
00000744: AND
00000745: PUSH1 0x00
00000747: SWAP1
00000748: DUP2
00000749: MSTORE
0000074a: PUSH1 0x14
0000074c: PUSH1 0x20
0000074e: MSTORE
0000074f: PUSH1 0x40
00000751: SWAP1
00000752: KECCAK256
00000753: SLOAD
00000754: JUMPDEST
00000755: SWAP2
00000756: SWAP1
00000757: POP
00000758: JUMP
00000759: JUMPDEST
0000075a: PUSH2 0x0a4d
0000075d: PUSH1 0x04
0000075f: CALLDATALOAD
00000760: PUSH1 0x24
00000762: CALLDATALOAD
00000763: PUSH1 0x00
00000765: PUSH1 0x00
00000767: CALLVALUE
00000768: GT
00000769: ISZERO
0000076a: PUSH2 0x22bb
0000076d: JUMPI
0000076e: PUSH2 0x0002
00000771: JUMP
00000772: JUMPDEST
00000773: PUSH2 0x0a4d
00000776: PUSH1 0x00
00000778: PUSH4 0x01dfe200
0000077d: TIMESTAMP
0000077e: SUB
0000077f: PUSH1 0x02
00000781: PUSH1 0x00
00000783: POP
00000784: SLOAD
00000785: LT
00000786: ISZERO
00000787: PUSH2 0x2337
0000078a: JUMPI
0000078b: POP
0000078c: TIMESTAMP
0000078d: PUSH1 0x02
0000078f: SWAP1
00000790: DUP2
00000791: SSTORE
00000792: PUSH1 0x01
00000794: DUP1
00000795: SLOAD
00000796: SWAP1
00000797: SWAP2
00000798: MUL
00000799: DUP2
0000079a: SSTORE
0000079b: PUSH2 0x0a6a
0000079e: JUMP
0000079f: JUMPDEST
000007a0: PUSH2 0x0a4d
000007a3: PUSH1 0x04
000007a5: CALLDATALOAD
000007a6: PUSH1 0x0a
000007a8: PUSH1 0x20
000007aa: MSTORE
000007ab: PUSH1 0x00
000007ad: SWAP1
000007ae: DUP2
000007af: MSTORE
000007b0: PUSH1 0x40
000007b2: SWAP1
000007b3: KECCAK256
000007b4: SLOAD
000007b5: DUP2
000007b6: JUMP
000007b7: JUMPDEST
000007b8: PUSH2 0x0a4d
000007bb: PUSH1 0x04
000007bd: CALLDATALOAD
000007be: PUSH1 0x24
000007c0: CALLDATALOAD
000007c1: PUSH1 0x00
000007c3: PUSH1 0x00
000007c5: PUSH1 0x00
000007c7: PUSH1 0x00
000007c9: PUSH1 0x00
000007cb: PUSH1 0x00
000007cd: CALLVALUE
000007ce: GT
000007cf: ISZERO
000007d0: PUSH2 0x18cb
000007d3: JUMPI
000007d4: PUSH2 0x0002
000007d7: JUMP
000007d8: JUMPDEST
000007d9: PUSH2 0x0b64
000007dc: PUSH1 0x08
000007de: SLOAD
000007df: PUSH1 0x01
000007e1: PUSH1 0xa0
000007e3: PUSH1 0x02
000007e5: EXP
000007e6: SUB
000007e7: AND
000007e8: DUP2
000007e9: JUMP
000007ea: JUMPDEST
000007eb: PUSH2 0x0a4d
000007ee: PUSH1 0x0c
000007f0: SLOAD
000007f1: DUP2
000007f2: JUMP
000007f3: JUMPDEST
000007f4: PUSH2 0x0a4d
000007f7: PUSH1 0x00
000007f9: SLOAD
000007fa: PUSH1 0x00
000007fc: NOT
000007fd: ADD
000007fe: PUSH2 0x0a6a
00000801: JUMP
00000802: JUMPDEST
00000803: PUSH2 0x0a4d
00000806: PUSH1 0x02
00000808: SLOAD
00000809: DUP2
0000080a: JUMP
0000080b: JUMPDEST
0000080c: PUSH2 0x0a4d
0000080f: PUSH1 0x04
00000811: CALLDATALOAD
00000812: PUSH1 0x00
00000814: PUSH1 0x00
00000816: PUSH1 0x00
00000818: PUSH1 0x00
0000081a: CALLVALUE
0000081b: GT
0000081c: ISZERO
0000081d: PUSH2 0x1f18
00000820: JUMPI
00000821: PUSH2 0x0002
00000824: JUMP
00000825: JUMPDEST
00000826: PUSH2 0x0a4d
00000829: JUMPDEST
0000082a: PUSH1 0x01
0000082c: PUSH2 0x0a6a
0000082f: JUMP
00000830: JUMPDEST
00000831: PUSH2 0x0a4d
00000834: PUSH1 0x04
00000836: CALLDATALOAD
00000837: PUSH1 0x24
00000839: CALLDATALOAD
0000083a: JUMPDEST
0000083b: PUSH1 0x11
0000083d: SLOAD
0000083e: PUSH1 0x00
00000840: SWAP1
00000841: PUSH1 0xff
00000843: AND
00000844: DUP1
00000845: ISZERO
00000846: PUSH2 0x0850
00000849: JUMPI
0000084a: POP
0000084b: PUSH1 0x0f
0000084d: SLOAD
0000084e: TIMESTAMP
0000084f: GT
00000850: JUMPDEST
00000851: DUP1
00000852: ISZERO
00000853: PUSH2 0x21a4
00000856: JUMPI
00000857: POP
00000858: PUSH2 0x21a2
0000085b: CALLER
0000085c: PUSH2 0x0a26
0000085f: JUMP
00000860: JUMPDEST
00000861: PUSH2 0x0a4d
00000864: PUSH1 0x11
00000866: SLOAD
00000867: PUSH1 0xff
00000869: AND
0000086a: DUP2
0000086b: JUMP
0000086c: JUMPDEST
0000086d: PUSH2 0x0a4d
00000870: PUSH1 0x04
00000872: CALLDATALOAD
00000873: JUMPDEST
00000874: PUSH1 0x00
00000876: PUSH1 0x00
00000878: PUSH1 0x0f
0000087a: PUSH1 0x00
0000087c: POP
0000087d: SLOAD
0000087e: TIMESTAMP
0000087f: LT
00000880: DUP1
00000881: ISZERO
00000882: PUSH2 0x088b
00000885: JUMPI
00000886: POP
00000887: PUSH1 0x00
00000889: CALLVALUE
0000088a: GT
0000088b: JUMPDEST
0000088c: DUP1
0000088d: ISZERO
0000088e: PUSH2 0x08c3
00000891: JUMPI
00000892: POP
00000893: PUSH1 0x11
00000895: SLOAD
00000896: PUSH2 0x0100
00000899: SWAP1
0000089a: DIV
0000089b: PUSH1 0x01
0000089d: PUSH1 0xa0
0000089f: PUSH1 0x02
000008a1: EXP
000008a2: SUB
000008a3: AND
000008a4: PUSH1 0x00
000008a6: EQ
000008a7: DUP1
000008a8: PUSH2 0x08c3
000008ab: JUMPI
000008ac: POP
000008ad: PUSH1 0x11
000008af: SLOAD
000008b0: PUSH1 0x01
000008b2: PUSH1 0xa0
000008b4: PUSH1 0x02
000008b6: EXP
000008b7: SUB
000008b8: CALLER
000008b9: DUP2
000008ba: AND
000008bb: PUSH2 0x0100
000008be: SWAP1
000008bf: SWAP3
000008c0: DIV
000008c1: AND
000008c2: EQ
000008c3: JUMPDEST
000008c4: ISZERO
000008c5: PUSH2 0x21e8
000008c8: JUMPI
000008c9: PUSH2 0x23b5
000008cc: PUSH2 0x0498
000008cf: JUMP
000008d0: JUMPDEST
000008d1: PUSH2 0x0a4d
000008d4: PUSH1 0x04
000008d6: CALLDATALOAD
000008d7: PUSH1 0x24
000008d9: CALLDATALOAD
000008da: PUSH1 0x00
000008dc: PUSH1 0x00
000008de: PUSH2 0x11b4
000008e1: CALLER
000008e2: PUSH2 0x073a
000008e5: JUMP
000008e6: JUMPDEST
000008e7: PUSH2 0x0a4d
000008ea: JUMPDEST
000008eb: PUSH1 0x00
000008ed: PUSH1 0x00
000008ef: CALLVALUE
000008f0: GT
000008f1: ISZERO
000008f2: PUSH2 0x2199
000008f5: JUMPI
000008f6: PUSH2 0x0002
000008f9: JUMP
000008fa: JUMPDEST
000008fb: PUSH2 0x0a4d
000008fe: PUSH1 0x04
00000900: CALLDATALOAD
00000901: PUSH1 0x05
00000903: PUSH1 0x20
00000905: MSTORE
00000906: PUSH1 0x00
00000908: SWAP1
00000909: DUP2
0000090a: MSTORE
0000090b: PUSH1 0x40
0000090d: SWAP1
0000090e: KECCAK256
0000090f: SLOAD
00000910: DUP2
00000911: JUMP
00000912: JUMPDEST
00000913: PUSH2 0x0a4d
00000916: PUSH1 0x04
00000918: CALLDATALOAD
00000919: PUSH1 0x24
0000091b: CALLDATALOAD
0000091c: PUSH1 0x44
0000091e: CALLDATALOAD
0000091f: PUSH1 0x00
00000921: PUSH2 0x2251
00000924: DUP5
00000925: JUMPDEST
00000926: PUSH1 0x00
00000928: PUSH1 0x00
0000092a: PUSH1 0x00
0000092c: CALLVALUE
0000092d: GT
0000092e: ISZERO
0000092f: PUSH2 0x26ad
00000932: JUMPI
00000933: PUSH2 0x0002
00000936: JUMP
00000937: JUMPDEST
00000938: PUSH2 0x0a4d
0000093b: PUSH1 0x04
0000093d: CALLDATALOAD
0000093e: PUSH1 0x24
00000940: CALLDATALOAD
00000941: PUSH1 0x01
00000943: PUSH1 0xa0
00000945: PUSH1 0x02
00000947: EXP
00000948: SUB
00000949: DUP3
0000094a: DUP2
0000094b: AND
0000094c: PUSH1 0x00
0000094e: SWAP1
0000094f: DUP2
00000950: MSTORE
00000951: PUSH1 0x15
00000953: PUSH1 0x20
00000955: SWAP1
00000956: DUP2
00000957: MSTORE
00000958: PUSH1 0x40
0000095a: DUP1
0000095b: DUP4
0000095c: KECCAK256
0000095d: SWAP4
0000095e: DUP6
0000095f: AND
00000960: DUP4
00000961: MSTORE
00000962: SWAP3
00000963: SWAP1
00000964: MSTORE
00000965: KECCAK256
00000966: SLOAD
00000967: PUSH2 0x0458
0000096a: JUMP
0000096b: JUMPDEST
0000096c: PUSH2 0x0b81
0000096f: PUSH1 0x04
00000971: CALLDATALOAD
00000972: PUSH1 0x00
00000974: CALLVALUE
00000975: GT
00000976: ISZERO
00000977: PUSH2 0x2267
0000097a: JUMPI
0000097b: PUSH2 0x0002
0000097e: JUMP
0000097f: JUMPDEST
00000980: PUSH2 0x0a4d
00000983: PUSH1 0x04
00000985: CALLDATALOAD
00000986: PUSH1 0x0b
00000988: PUSH1 0x20
0000098a: MSTORE
0000098b: PUSH1 0x00
0000098d: SWAP1
0000098e: DUP2
0000098f: MSTORE
00000990: PUSH1 0x40
00000992: SWAP1
00000993: KECCAK256
00000994: SLOAD
00000995: DUP2
00000996: JUMP
00000997: JUMPDEST
00000998: PUSH2 0x0b64
0000099b: PUSH1 0x03
0000099d: SLOAD
0000099e: PUSH1 0x01
000009a0: PUSH1 0xa0
000009a2: PUSH1 0x02
000009a4: EXP
000009a5: SUB
000009a6: AND
000009a7: DUP2
000009a8: JUMP
000009a9: JUMPDEST
000009aa: PUSH1 0x40
000009ac: DUP1
000009ad: MLOAD
000009ae: PUSH1 0x20
000009b0: PUSH1 0x64
000009b2: CALLDATALOAD
000009b3: PUSH1 0x04
000009b5: DUP2
000009b6: DUP2
000009b7: ADD
000009b8: CALLDATALOAD
000009b9: PUSH1 0x1f
000009bb: DUP2
000009bc: ADD
000009bd: DUP5
000009be: SWAP1
000009bf: DIV
000009c0: DUP5
000009c1: MUL
000009c2: DUP6
000009c3: ADD
000009c4: DUP5
000009c5: ADD
000009c6: SWAP1
000009c7: SWAP6
000009c8: MSTORE
000009c9: DUP5
000009ca: DUP5
000009cb: MSTORE
000009cc: PUSH2 0x0a4d
000009cf: SWAP5
000009d0: DUP2
000009d1: CALLDATALOAD
000009d2: SWAP5
000009d3: PUSH1 0x24
000009d5: DUP1
000009d6: CALLDATALOAD
000009d7: SWAP6
000009d8: PUSH1 0x44
000009da: CALLDATALOAD
000009db: SWAP6
000009dc: PUSH1 0x84
000009de: SWAP5
000009df: SWAP3
000009e0: ADD
000009e1: SWAP2
000009e2: SWAP1
000009e3: DUP2
000009e4: SWAP1
000009e5: DUP5
000009e6: ADD
000009e7: DUP4
000009e8: DUP3
000009e9: DUP1
000009ea: DUP3
000009eb: DUP5
000009ec: CALLDATACOPY
000009ed: POP
000009ee: SWAP5
000009ef: SWAP7
000009f0: POP
000009f1: POP
000009f2: POP
000009f3: POP
000009f4: POP
000009f5: POP
000009f6: POP
000009f7: PUSH1 0x00
000009f9: PUSH1 0x00
000009fb: PUSH1 0x00
000009fd: CALLVALUE
000009fe: GT
000009ff: ISZERO
00000a00: PUSH2 0x1125
00000a03: JUMPI
00000a04: PUSH2 0x0002
00000a07: JUMP
00000a08: JUMPDEST
00000a09: PUSH2 0x0b64
00000a0c: PUSH1 0x11
00000a0e: SLOAD
00000a0f: PUSH2 0x0100
00000a12: SWAP1
00000a13: DIV
00000a14: PUSH1 0x01
00000a16: PUSH1 0xa0
00000a18: PUSH1 0x02
00000a1a: EXP
00000a1b: SUB
00000a1c: AND
00000a1d: DUP2
00000a1e: JUMP
00000a1f: JUMPDEST
00000a20: PUSH2 0x0a4d
00000a23: PUSH1 0x04
00000a25: CALLDATALOAD
00000a26: JUMPDEST
00000a27: PUSH1 0x01
00000a29: PUSH1 0xa0
00000a2b: PUSH1 0x02
00000a2d: EXP
00000a2e: SUB
00000a2f: DUP2
00000a30: AND
00000a31: PUSH1 0x00
00000a33: SWAP1
00000a34: DUP2
00000a35: MSTORE
00000a36: PUSH1 0x0b
00000a38: PUSH1 0x20
00000a3a: MSTORE
00000a3b: PUSH1 0x40
00000a3d: DUP2
00000a3e: KECCAK256
00000a3f: SLOAD
00000a40: DUP2
00000a41: SWAP1
00000a42: DUP2
00000a43: EQ
00000a44: ISZERO
00000a45: PUSH2 0x233f
00000a48: JUMPI
00000a49: PUSH2 0x23af
00000a4c: JUMP
00000a4d: JUMPDEST
00000a4e: PUSH1 0x40
00000a50: DUP1
00000a51: MLOAD
00000a52: SWAP2
00000a53: DUP3
00000a54: MSTORE
00000a55: MLOAD
00000a56: SWAP1
00000a57: DUP2
00000a58: SWAP1
00000a59: SUB
00000a5a: PUSH1 0x20
00000a5c: ADD
00000a5d: SWAP1
00000a5e: RETURN
00000a5f: JUMPDEST
00000a60: PUSH2 0x0a67
00000a63: PUSH2 0x0829
00000a66: JUMP
00000a67: JUMPDEST
00000a68: SWAP1
00000a69: POP
00000a6a: JUMPDEST
00000a6b: SWAP1
00000a6c: JUMP
00000a6d: JUMPDEST
00000a6e: PUSH1 0x40
00000a70: MLOAD
00000a71: DUP1
00000a72: DUP14
00000a73: PUSH1 0x01
00000a75: PUSH1 0xa0
00000a77: PUSH1 0x02
00000a79: EXP
00000a7a: SUB
00000a7b: AND
00000a7c: DUP2
00000a7d: MSTORE
00000a7e: PUSH1 0x20
00000a80: ADD
00000a81: DUP13
00000a82: DUP2
00000a83: MSTORE
00000a84: PUSH1 0x20
00000a86: ADD
00000a87: DUP1
00000a88: PUSH1 0x20
00000a8a: ADD
00000a8b: DUP12
00000a8c: DUP2
00000a8d: MSTORE
00000a8e: PUSH1 0x20
00000a90: ADD
00000a91: DUP11
00000a92: DUP2
00000a93: MSTORE
00000a94: PUSH1 0x20
00000a96: ADD
00000a97: DUP10
00000a98: DUP2
00000a99: MSTORE
00000a9a: PUSH1 0x20
00000a9c: ADD
00000a9d: DUP9
00000a9e: DUP2
00000a9f: MSTORE
00000aa0: PUSH1 0x20
00000aa2: ADD
00000aa3: DUP8
00000aa4: DUP2
00000aa5: MSTORE
00000aa6: PUSH1 0x20
00000aa8: ADD
00000aa9: DUP7
00000aaa: DUP2
00000aab: MSTORE
00000aac: PUSH1 0x20
00000aae: ADD
00000aaf: DUP6
00000ab0: DUP2
00000ab1: MSTORE
00000ab2: PUSH1 0x20
00000ab4: ADD
00000ab5: DUP5
00000ab6: DUP2
00000ab7: MSTORE
00000ab8: PUSH1 0x20
00000aba: ADD
00000abb: DUP4
00000abc: PUSH1 0x01
00000abe: PUSH1 0xa0
00000ac0: PUSH1 0x02
00000ac2: EXP
00000ac3: SUB
00000ac4: AND
00000ac5: DUP2
00000ac6: MSTORE
00000ac7: PUSH1 0x20
00000ac9: ADD
00000aca: DUP3
00000acb: DUP2
00000acc: SUB
00000acd: DUP3
00000ace: MSTORE
00000acf: DUP13
00000ad0: DUP2
00000ad1: DUP2
00000ad2: SLOAD
00000ad3: PUSH1 0x01
00000ad5: DUP2
00000ad6: PUSH1 0x01
00000ad8: AND
00000ad9: ISZERO
00000ada: PUSH2 0x0100
00000add: MUL
00000ade: SUB
00000adf: AND
00000ae0: PUSH1 0x02
00000ae2: SWAP1
00000ae3: DIV
00000ae4: DUP2
00000ae5: MSTORE
00000ae6: PUSH1 0x20
00000ae8: ADD
00000ae9: SWAP2
00000aea: POP
00000aeb: DUP1
00000aec: SLOAD
00000aed: PUSH1 0x01
00000aef: DUP2
00000af0: PUSH1 0x01
00000af2: AND
00000af3: ISZERO
00000af4: PUSH2 0x0100
00000af7: MUL
00000af8: SUB
00000af9: AND
00000afa: PUSH1 0x02
00000afc: SWAP1
00000afd: DIV
00000afe: DUP1
00000aff: ISZERO
00000b00: PUSH2 0x0b4a
00000b03: JUMPI
00000b04: DUP1
00000b05: PUSH1 0x1f
00000b07: LT
00000b08: PUSH2 0x0b1f
00000b0b: JUMPI
00000b0c: PUSH2 0x0100
00000b0f: DUP1
00000b10: DUP4
00000b11: SLOAD
00000b12: DIV
00000b13: MUL
00000b14: DUP4
00000b15: MSTORE
00000b16: SWAP2
00000b17: PUSH1 0x20
00000b19: ADD
00000b1a: SWAP2
00000b1b: PUSH2 0x0b4a
00000b1e: JUMP
00000b1f: JUMPDEST
00000b20: DUP3
00000b21: ADD
00000b22: SWAP2
00000b23: SWAP1
00000b24: PUSH1 0x00
00000b26: MSTORE
00000b27: PUSH1 0x20
00000b29: PUSH1 0x00
00000b2b: KECCAK256
00000b2c: SWAP1
00000b2d: JUMPDEST
00000b2e: DUP2
00000b2f: SLOAD
00000b30: DUP2
00000b31: MSTORE
00000b32: SWAP1
00000b33: PUSH1 0x01
00000b35: ADD
00000b36: SWAP1
00000b37: PUSH1 0x20
00000b39: ADD
00000b3a: DUP1
00000b3b: DUP4
00000b3c: GT
00000b3d: PUSH2 0x0b2d
00000b40: JUMPI
00000b41: DUP3
00000b42: SWAP1
00000b43: SUB
00000b44: PUSH1 0x1f
00000b46: AND
00000b47: DUP3
00000b48: ADD
00000b49: SWAP2
00000b4a: JUMPDEST
00000b4b: POP
00000b4c: POP
00000b4d: SWAP14
00000b4e: POP
00000b4f: POP
00000b50: POP
00000b51: POP
00000b52: POP
00000b53: POP
00000b54: POP
00000b55: POP
00000b56: POP
00000b57: POP
00000b58: POP
00000b59: POP
00000b5a: POP
00000b5b: POP
00000b5c: PUSH1 0x40
00000b5e: MLOAD
00000b5f: DUP1
00000b60: SWAP2
00000b61: SUB
00000b62: SWAP1
00000b63: RETURN
00000b64: JUMPDEST
00000b65: PUSH1 0x40
00000b67: DUP1
00000b68: MLOAD
00000b69: PUSH1 0x01
00000b6b: PUSH1 0xa0
00000b6d: PUSH1 0x02
00000b6f: EXP
00000b70: SUB
00000b71: SWAP3
00000b72: SWAP1
00000b73: SWAP3
00000b74: AND
00000b75: DUP3
00000b76: MSTORE
00000b77: MLOAD
00000b78: SWAP1
00000b79: DUP2
00000b7a: SWAP1
00000b7b: SUB
00000b7c: PUSH1 0x20
00000b7e: ADD
00000b7f: SWAP1
00000b80: RETURN
00000b81: JUMPDEST
00000b82: STOP
00000b83: JUMPDEST
00000b84: PUSH1 0x00
00000b86: EQ
00000b87: ISZERO
00000b88: PUSH2 0x0b90
00000b8b: JUMPI
00000b8c: PUSH2 0x0002
00000b8f: JUMP
00000b90: JUMPDEST
00000b91: DUP3
00000b92: DUP1
00000b93: ISZERO
00000b94: PUSH2 0x0bda
00000b97: JUMPI
00000b98: POP
00000b99: DUP7
00000b9a: PUSH1 0x00
00000b9c: EQ
00000b9d: ISZERO
00000b9e: DUP1
00000b9f: PUSH2 0x0baa
00000ba2: JUMPI
00000ba3: POP
00000ba4: DUP5
00000ba5: MLOAD
00000ba6: PUSH1 0x00
00000ba8: EQ
00000ba9: ISZERO
00000baa: JUMPDEST
00000bab: DUP1
00000bac: PUSH2 0x0bc2
00000baf: JUMPI
00000bb0: POP
00000bb1: PUSH1 0x03
00000bb3: SLOAD
00000bb4: PUSH1 0x01
00000bb6: PUSH1 0xa0
00000bb8: PUSH1 0x02
00000bba: EXP
00000bbb: SUB
00000bbc: DUP10
00000bbd: DUP2
00000bbe: AND
00000bbf: SWAP2
00000bc0: AND
00000bc1: EQ
00000bc2: JUMPDEST
00000bc3: DUP1
00000bc4: PUSH2 0x0bcd
00000bc7: JUMPI
00000bc8: POP
00000bc9: PUSH1 0x00
00000bcb: CALLVALUE
00000bcc: GT
00000bcd: JUMPDEST
00000bce: DUP1
00000bcf: PUSH2 0x0bda
00000bd2: JUMPI
00000bd3: POP
00000bd4: PUSH3 0x093a80
00000bd8: DUP5
00000bd9: LT
00000bda: JUMPDEST
00000bdb: ISZERO
00000bdc: PUSH2 0x0be4
00000bdf: JUMPI
00000be0: PUSH2 0x0002
00000be3: JUMP
00000be4: JUMPDEST
00000be5: DUP3
00000be6: ISZERO
00000be7: DUP1
00000be8: ISZERO
00000be9: PUSH2 0x0c04
00000bec: JUMPI
00000bed: POP
00000bee: PUSH2 0x0bf6
00000bf1: DUP9
00000bf2: PUSH2 0x0c1e
00000bf5: JUMP
00000bf6: JUMPDEST
00000bf7: ISZERO
00000bf8: DUP1
00000bf9: PUSH2 0x0c04
00000bfc: JUMPI
00000bfd: POP
00000bfe: PUSH3 0x127500
00000c02: DUP5
00000c03: LT
00000c04: JUMPDEST
00000c05: ISZERO
00000c06: PUSH2 0x0cc0
00000c09: JUMPI
00000c0a: PUSH2 0x0002
00000c0d: JUMP
00000c0e: JUMPDEST
00000c0f: DUP4
00000c10: SLOAD
00000c11: PUSH2 0x1583
00000c14: SWAP1
00000c15: PUSH1 0x01
00000c17: PUSH1 0xa0
00000c19: PUSH1 0x02
00000c1b: EXP
00000c1c: SUB
00000c1d: AND
00000c1e: JUMPDEST
00000c1f: PUSH1 0x01
00000c21: PUSH1 0xa0
00000c23: PUSH1 0x02
00000c25: EXP
00000c26: SUB
00000c27: DUP2
00000c28: AND
00000c29: PUSH1 0x00
00000c2b: SWAP1
00000c2c: DUP2
00000c2d: MSTORE
00000c2e: PUSH1 0x04
00000c30: PUSH1 0x20
00000c32: MSTORE
00000c33: PUSH1 0x40
00000c35: DUP2
00000c36: KECCAK256
00000c37: SLOAD
00000c38: PUSH1 0xff
00000c3a: AND
00000c3b: DUP1
00000c3c: PUSH2 0x0cb3
00000c3f: JUMPI
00000c40: POP
00000c41: PUSH1 0x12
00000c43: SLOAD
00000c44: PUSH1 0x01
00000c46: PUSH1 0xa0
00000c48: PUSH1 0x02
00000c4a: EXP
00000c4b: SUB
00000c4c: SWAP1
00000c4d: DUP2
00000c4e: AND
00000c4f: SWAP1
00000c50: DUP4
00000c51: AND
00000c52: EQ
00000c53: DUP1
00000c54: ISZERO
00000c55: PUSH2 0x0cb3
00000c58: JUMPI
00000c59: POP
00000c5a: PUSH1 0x12
00000c5c: PUSH1 0x00
00000c5e: SWAP1
00000c5f: SLOAD
00000c60: SWAP1
00000c61: PUSH2 0x0100
00000c64: EXP
00000c65: SWAP1
00000c66: DIV
00000c67: PUSH1 0x01
00000c69: PUSH1 0xa0
00000c6b: PUSH1 0x02
00000c6d: EXP
00000c6e: SUB
00000c6f: AND
00000c70: PUSH1 0x01
00000c72: PUSH1 0xa0
00000c74: PUSH1 0x02
00000c76: EXP
00000c77: SUB
00000c78: AND
00000c79: PUSH4 0xd2cc718f
00000c7e: PUSH1 0x40
00000c80: MLOAD
00000c81: DUP2
00000c82: PUSH1 0xe0
00000c84: PUSH1 0x02
00000c86: EXP
00000c87: MUL
00000c88: DUP2
00000c89: MSTORE
00000c8a: PUSH1 0x04
00000c8c: ADD
00000c8d: DUP1
00000c8e: SWAP1
00000c8f: POP
00000c90: PUSH1 0x20
00000c92: PUSH1 0x40
00000c94: MLOAD
00000c95: DUP1
00000c96: DUP4
00000c97: SUB
00000c98: DUP2
00000c99: PUSH1 0x00
00000c9b: DUP8
00000c9c: PUSH2 0x61da
00000c9f: GAS
00000ca0: SUB
00000ca1: CALL
00000ca2: ISZERO
00000ca3: PUSH2 0x0002
00000ca6: JUMPI
00000ca7: POP
00000ca8: POP
00000ca9: PUSH1 0x40
00000cab: MLOAD
00000cac: MLOAD
00000cad: PUSH1 0x06
00000caf: SLOAD
00000cb0: GT
00000cb1: SWAP1
00000cb2: POP
00000cb3: JUMPDEST
00000cb4: ISZERO
00000cb5: PUSH2 0x28a2
00000cb8: JUMPI
00000cb9: POP
00000cba: PUSH1 0x01
00000cbc: PUSH2 0x0754
00000cbf: JUMP
00000cc0: JUMPDEST
00000cc1: PUSH3 0x49d400
00000cc5: DUP5
00000cc6: GT
00000cc7: ISZERO
00000cc8: PUSH2 0x0cd0
00000ccb: JUMPI
00000ccc: PUSH2 0x0002
00000ccf: JUMP
00000cd0: JUMPDEST
00000cd1: PUSH1 0x11
00000cd3: SLOAD
00000cd4: PUSH1 0xff
00000cd6: AND
00000cd7: ISZERO
00000cd8: DUP1
00000cd9: PUSH2 0x0ce3
00000cdc: JUMPI
00000cdd: POP
00000cde: PUSH1 0x0f
00000ce0: SLOAD
00000ce1: TIMESTAMP
00000ce2: LT
00000ce3: JUMPDEST
00000ce4: DUP1
00000ce5: PUSH2 0x0cf8
00000ce8: JUMPI
00000ce9: POP
00000cea: PUSH1 0x0c
00000cec: SLOAD
00000ced: CALLVALUE
00000cee: LT
00000cef: DUP1
00000cf0: ISZERO
00000cf1: PUSH2 0x0cf8
00000cf4: JUMPI
00000cf5: POP
00000cf6: DUP3
00000cf7: ISZERO
00000cf8: JUMPDEST
00000cf9: ISZERO
00000cfa: PUSH2 0x0d02
00000cfd: JUMPI
00000cfe: PUSH2 0x0002
00000d01: JUMP
00000d02: JUMPDEST
00000d03: TIMESTAMP
00000d04: DUP5
00000d05: TIMESTAMP
00000d06: ADD
00000d07: LT
00000d08: ISZERO
00000d09: PUSH2 0x0d11
00000d0c: JUMPI
00000d0d: PUSH2 0x0002
00000d10: JUMP
00000d11: JUMPDEST
00000d12: ADDRESS
00000d13: PUSH1 0x01
00000d15: PUSH1 0xa0
00000d17: PUSH1 0x02
00000d19: EXP
00000d1a: SUB
00000d1b: AND
00000d1c: CALLER
00000d1d: PUSH1 0x01
00000d1f: PUSH1 0xa0
00000d21: PUSH1 0x02
00000d23: EXP
00000d24: SUB
00000d25: AND
00000d26: EQ
00000d27: ISZERO
00000d28: PUSH2 0x0d30
00000d2b: JUMPI
00000d2c: PUSH2 0x0002
00000d2f: JUMP
00000d30: JUMPDEST
00000d31: PUSH1 0x00
00000d33: DUP1
00000d34: SLOAD
00000d35: PUSH1 0x01
00000d37: DUP2
00000d38: ADD
00000d39: DUP1
00000d3a: DUP4
00000d3b: SSTORE
00000d3c: SWAP1
00000d3d: SWAP2
00000d3e: SWAP1
00000d3f: DUP3
00000d40: DUP1
00000d41: ISZERO
00000d42: DUP3
00000d43: SWAP1
00000d44: GT
00000d45: PUSH2 0x0d67
00000d48: JUMPI
00000d49: PUSH1 0x0e
00000d4b: MUL
00000d4c: DUP2
00000d4d: PUSH1 0x0e
00000d4f: MUL
00000d50: DUP4
00000d51: PUSH1 0x00
00000d53: MSTORE
00000d54: PUSH1 0x20
00000d56: PUSH1 0x00
00000d58: KECCAK256
00000d59: SWAP2
00000d5a: DUP3
00000d5b: ADD
00000d5c: SWAP2
00000d5d: ADD
00000d5e: PUSH2 0x0d67
00000d61: SWAP2
00000d62: SWAP1
00000d63: PUSH2 0x0e2c
00000d66: JUMP
00000d67: JUMPDEST
00000d68: POP
00000d69: POP
00000d6a: PUSH1 0x00
00000d6c: DUP1
00000d6d: SLOAD
00000d6e: SWAP3
00000d6f: SWAP5
00000d70: POP
00000d71: SWAP2
00000d72: DUP5
00000d73: SWAP2
00000d74: POP
00000d75: DUP2
00000d76: LT
00000d77: ISZERO
00000d78: PUSH2 0x0002
00000d7b: JUMPI
00000d7c: POP
00000d7d: DUP1
00000d7e: DUP1
00000d7f: MSTORE
00000d80: PUSH1 0x0e
00000d82: DUP4
00000d83: MUL
00000d84: PUSH1 0x00
00000d86: DUP1
00000d87: MLOAD
00000d88: PUSH1 0x20
00000d8a: PUSH2 0x2a5d
00000d8d: DUP4
00000d8e: CODECOPY
00000d8f: DUP2
00000d90: MLOAD
00000d91: SWAP2
00000d92: MSTORE
00000d93: ADD
00000d94: SWAP1
00000d95: POP
00000d96: DUP1
00000d97: SLOAD
00000d98: PUSH1 0x01
00000d9a: PUSH1 0xa0
00000d9c: PUSH1 0x02
00000d9e: EXP
00000d9f: SUB
00000da0: NOT
00000da1: AND
00000da2: DUP10
00000da3: OR
00000da4: DUP2
00000da5: SSTORE
00000da6: PUSH1 0x01
00000da8: DUP2
00000da9: DUP2
00000daa: ADD
00000dab: DUP10
00000dac: SWAP1
00000dad: SSTORE
00000dae: DUP8
00000daf: MLOAD
00000db0: PUSH1 0x02
00000db2: DUP1
00000db3: DUP5
00000db4: ADD
00000db5: DUP1
00000db6: SLOAD
00000db7: PUSH1 0x00
00000db9: DUP3
00000dba: DUP2
00000dbb: MSTORE
00000dbc: PUSH1 0x20
00000dbe: SWAP1
00000dbf: DUP2
00000dc0: SWAP1
00000dc1: KECCAK256
00000dc2: SWAP7
00000dc3: SWAP8
00000dc4: POP
00000dc5: SWAP2
00000dc6: SWAP6
00000dc7: SWAP5
00000dc8: DUP2
00000dc9: AND
00000dca: ISZERO
00000dcb: PUSH2 0x0100
00000dce: MUL
00000dcf: PUSH1 0x00
00000dd1: NOT
00000dd2: ADD
00000dd3: AND
00000dd4: SWAP2
00000dd5: SWAP1
00000dd6: SWAP2
00000dd7: DIV
00000dd8: PUSH1 0x1f
00000dda: SWAP1
00000ddb: DUP2
00000ddc: ADD
00000ddd: DUP3
00000dde: SWAP1
00000ddf: DIV
00000de0: DUP5
00000de1: ADD
00000de2: SWAP4
00000de3: SWAP2
00000de4: DUP12
00000de5: ADD
00000de6: SWAP1
00000de7: DUP4
00000de8: SWAP1
00000de9: LT
00000dea: PUSH2 0x0f24
00000ded: JUMPI
00000dee: DUP1
00000def: MLOAD
00000df0: PUSH1 0xff
00000df2: NOT
00000df3: AND
00000df4: DUP4
00000df5: DUP1
00000df6: ADD
00000df7: OR
00000df8: DUP6
00000df9: SSTORE
00000dfa: JUMPDEST
00000dfb: POP
00000dfc: PUSH2 0x0f54
00000dff: SWAP3
00000e00: SWAP2
00000e01: POP
00000e02: PUSH2 0x0f0c
00000e05: JUMP
00000e06: JUMPDEST
00000e07: POP
00000e08: POP
00000e09: PUSH1 0x00
00000e0b: PUSH1 0x09
00000e0d: DUP3
00000e0e: ADD
00000e0f: DUP2
00000e10: SWAP1
00000e11: SSTORE
00000e12: PUSH1 0x0a
00000e14: DUP3
00000e15: ADD
00000e16: SSTORE
00000e17: PUSH1 0x0d
00000e19: DUP2
00000e1a: ADD
00000e1b: DUP1
00000e1c: SLOAD
00000e1d: PUSH1 0x01
00000e1f: PUSH1 0xa0
00000e21: PUSH1 0x02
00000e23: EXP
00000e24: SUB
00000e25: NOT
00000e26: AND
00000e27: SWAP1
00000e28: SSTORE
00000e29: PUSH1 0x01
00000e2b: ADD
00000e2c: JUMPDEST
00000e2d: DUP1
00000e2e: DUP3
00000e2f: GT
00000e30: ISZERO
00000e31: PUSH2 0x0f20
00000e34: JUMPI
00000e35: DUP1
00000e36: SLOAD
00000e37: PUSH1 0x01
00000e39: PUSH1 0xa0
00000e3b: PUSH1 0x02
00000e3d: EXP
00000e3e: SUB
00000e3f: NOT
00000e40: AND
00000e41: DUP2
00000e42: SSTORE
00000e43: PUSH1 0x00
00000e45: PUSH1 0x01
00000e47: DUP3
00000e48: DUP2
00000e49: ADD
00000e4a: DUP3
00000e4b: SWAP1
00000e4c: SSTORE
00000e4d: PUSH1 0x02
00000e4f: DUP1
00000e50: DUP5
00000e51: ADD
00000e52: DUP1
00000e53: SLOAD
00000e54: DUP5
00000e55: DUP3
00000e56: SSTORE
00000e57: SWAP1
00000e58: SWAP3
00000e59: DUP2
00000e5a: AND
00000e5b: ISZERO
00000e5c: PUSH2 0x0100
00000e5f: MUL
00000e60: PUSH1 0x00
00000e62: NOT
00000e63: ADD
00000e64: AND
00000e65: DIV
00000e66: PUSH1 0x1f
00000e68: DUP2
00000e69: SWAP1
00000e6a: LT
00000e6b: PUSH2 0x0ef2
00000e6e: JUMPI
00000e6f: POP
00000e70: JUMPDEST
00000e71: POP
00000e72: PUSH1 0x00
00000e74: PUSH1 0x03
00000e76: DUP4
00000e77: ADD
00000e78: DUP2
00000e79: SWAP1
00000e7a: SSTORE
00000e7b: PUSH1 0x04
00000e7d: DUP1
00000e7e: DUP5
00000e7f: ADD
00000e80: DUP1
00000e81: SLOAD
00000e82: PUSH2 0xffff
00000e85: NOT
00000e86: AND
00000e87: SWAP1
00000e88: SSTORE
00000e89: PUSH1 0x05
00000e8b: DUP5
00000e8c: ADD
00000e8d: DUP3
00000e8e: SWAP1
00000e8f: SSTORE
00000e90: PUSH1 0x06
00000e92: DUP5
00000e93: ADD
00000e94: DUP3
00000e95: SWAP1
00000e96: SSTORE
00000e97: PUSH1 0x07
00000e99: DUP5
00000e9a: ADD
00000e9b: DUP1
00000e9c: SLOAD
00000e9d: PUSH1 0xff
00000e9f: NOT
00000ea0: AND
00000ea1: SWAP1
00000ea2: SSTORE
00000ea3: PUSH1 0x08
00000ea5: DUP5
00000ea6: ADD
00000ea7: DUP1
00000ea8: SLOAD
00000ea9: DUP4
00000eaa: DUP3
00000eab: SSTORE
00000eac: SWAP1
00000ead: DUP4
00000eae: MSTORE
00000eaf: PUSH1 0x20
00000eb1: SWAP1
00000eb2: SWAP3
00000eb3: KECCAK256
00000eb4: PUSH2 0x0e06
00000eb7: SWAP3
00000eb8: SWAP1
00000eb9: SWAP2
00000eba: MUL
00000ebb: DUP2
00000ebc: ADD
00000ebd: SWAP1
00000ebe: JUMPDEST
00000ebf: DUP1
00000ec0: DUP3
00000ec1: GT
00000ec2: ISZERO
00000ec3: PUSH2 0x0f20
00000ec6: JUMPI
00000ec7: PUSH1 0x00
00000ec9: DUP1
00000eca: DUP3
00000ecb: SSTORE
00000ecc: PUSH1 0x01
00000ece: DUP3
00000ecf: ADD
00000ed0: DUP2
00000ed1: DUP2
00000ed2: SSTORE
00000ed3: PUSH1 0x02
00000ed5: DUP4
00000ed6: ADD
00000ed7: SWAP2
00000ed8: SWAP1
00000ed9: SWAP2
00000eda: SSTORE
00000edb: PUSH1 0x03
00000edd: SWAP1
00000ede: SWAP2
00000edf: ADD
00000ee0: DUP1
00000ee1: SLOAD
00000ee2: PUSH1 0x01
00000ee4: PUSH1 0xa0
00000ee6: PUSH1 0x02
00000ee8: EXP
00000ee9: SUB
00000eea: NOT
00000eeb: AND
00000eec: SWAP1
00000eed: SSTORE
00000eee: PUSH2 0x0ebe
00000ef1: JUMP
00000ef2: JUMPDEST
00000ef3: PUSH1 0x1f
00000ef5: ADD
00000ef6: PUSH1 0x20
00000ef8: SWAP1
00000ef9: DIV
00000efa: SWAP1
00000efb: PUSH1 0x00
00000efd: MSTORE
00000efe: PUSH1 0x20
00000f00: PUSH1 0x00
00000f02: KECCAK256
00000f03: SWAP1
00000f04: DUP2
00000f05: ADD
00000f06: SWAP1
00000f07: PUSH2 0x0e70
00000f0a: SWAP2
00000f0b: SWAP1
00000f0c: JUMPDEST
00000f0d: DUP1
00000f0e: DUP3
00000f0f: GT
00000f10: ISZERO
00000f11: PUSH2 0x0f20
00000f14: JUMPI
00000f15: PUSH1 0x00
00000f17: DUP2
00000f18: SSTORE
00000f19: PUSH1 0x01
00000f1b: ADD
00000f1c: PUSH2 0x0f0c
00000f1f: JUMP
00000f20: JUMPDEST
00000f21: POP
00000f22: SWAP1
00000f23: JUMP
00000f24: JUMPDEST
00000f25: DUP3
00000f26: DUP1
00000f27: ADD
00000f28: PUSH1 0x01
00000f2a: ADD
00000f2b: DUP6
00000f2c: SSTORE
00000f2d: DUP3
00000f2e: ISZERO
00000f2f: PUSH2 0x0dfa
00000f32: JUMPI
00000f33: SWAP2
00000f34: DUP3
00000f35: ADD
00000f36: JUMPDEST
00000f37: DUP3
00000f38: DUP2
00000f39: GT
00000f3a: ISZERO
00000f3b: PUSH2 0x0dfa
00000f3e: JUMPI
00000f3f: DUP3
00000f40: MLOAD
00000f41: DUP3
00000f42: PUSH1 0x00
00000f44: POP
00000f45: SSTORE
00000f46: SWAP2
00000f47: PUSH1 0x20
00000f49: ADD
00000f4a: SWAP2
00000f4b: SWAP1
00000f4c: PUSH1 0x01
00000f4e: ADD
00000f4f: SWAP1
00000f50: PUSH2 0x0f36
00000f53: JUMP
00000f54: JUMPDEST
00000f55: POP
00000f56: POP
00000f57: DUP8
00000f58: DUP8
00000f59: DUP7
00000f5a: PUSH1 0x40
00000f5c: MLOAD
00000f5d: DUP1
00000f5e: DUP5
00000f5f: PUSH1 0x01
00000f61: PUSH1 0xa0
00000f63: PUSH1 0x02
00000f65: EXP
00000f66: SUB
00000f67: AND
00000f68: PUSH1 0x60
00000f6a: PUSH1 0x02
00000f6c: EXP
00000f6d: MUL
00000f6e: DUP2
00000f6f: MSTORE
00000f70: PUSH1 0x14
00000f72: ADD
00000f73: DUP4
00000f74: DUP2
00000f75: MSTORE
00000f76: PUSH1 0x20
00000f78: ADD
00000f79: DUP3
00000f7a: DUP1
00000f7b: MLOAD
00000f7c: SWAP1
00000f7d: PUSH1 0x20
00000f7f: ADD
00000f80: SWAP1
00000f81: DUP1
00000f82: DUP4
00000f83: DUP4
00000f84: DUP3
00000f85: SWAP1
00000f86: PUSH1 0x00
00000f88: PUSH1 0x04
00000f8a: PUSH1 0x20
00000f8c: DUP5
00000f8d: PUSH1 0x1f
00000f8f: ADD
00000f90: DIV
00000f91: PUSH1 0x0f
00000f93: MUL
00000f94: PUSH1 0x03
00000f96: ADD
00000f97: CALL
00000f98: POP
00000f99: SWAP1
00000f9a: POP
00000f9b: ADD
00000f9c: SWAP4
00000f9d: POP
00000f9e: POP
00000f9f: POP
00000fa0: POP
00000fa1: PUSH1 0x40
00000fa3: MLOAD
00000fa4: DUP1
00000fa5: SWAP2
00000fa6: SUB
00000fa7: SWAP1
00000fa8: KECCAK256
00000fa9: DUP2
00000faa: PUSH1 0x05
00000fac: ADD
00000fad: PUSH1 0x00
00000faf: POP
00000fb0: DUP2
00000fb1: SWAP1
00000fb2: SSTORE
00000fb3: POP
00000fb4: DUP4
00000fb5: TIMESTAMP
00000fb6: ADD
00000fb7: DUP2
00000fb8: PUSH1 0x03
00000fba: ADD
00000fbb: PUSH1 0x00
00000fbd: POP
00000fbe: DUP2
00000fbf: SWAP1
00000fc0: SSTORE
00000fc1: POP
00000fc2: PUSH1 0x01
00000fc4: DUP2
00000fc5: PUSH1 0x04
00000fc7: ADD
00000fc8: PUSH1 0x00
00000fca: PUSH2 0x0100
00000fcd: EXP
00000fce: DUP2
00000fcf: SLOAD
00000fd0: DUP2
00000fd1: PUSH1 0xff
00000fd3: MUL
00000fd4: NOT
00000fd5: AND
00000fd6: SWAP1
00000fd7: DUP4
00000fd8: MUL
00000fd9: OR
00000fda: SWAP1
00000fdb: SSTORE
00000fdc: POP
00000fdd: DUP3
00000fde: DUP2
00000fdf: PUSH1 0x07
00000fe1: ADD
00000fe2: PUSH1 0x00
00000fe4: PUSH2 0x0100
00000fe7: EXP
00000fe8: DUP2
00000fe9: SLOAD
00000fea: DUP2
00000feb: PUSH1 0xff
00000fed: MUL
00000fee: NOT
00000fef: AND
00000ff0: SWAP1
00000ff1: DUP4
00000ff2: MUL
00000ff3: OR
00000ff4: SWAP1
00000ff5: SSTORE
00000ff6: POP
00000ff7: DUP3
00000ff8: ISZERO
00000ff9: PUSH2 0x103a
00000ffc: JUMPI
00000ffd: PUSH1 0x08
00000fff: DUP2
00001000: ADD
00001001: DUP1
00001002: SLOAD
00001003: PUSH1 0x01
00001005: DUP2
00001006: ADD
00001007: DUP1
00001008: DUP4
00001009: SSTORE
0000100a: SWAP1
0000100b: SWAP2
0000100c: SWAP1
0000100d: DUP3
0000100e: DUP1
0000100f: ISZERO
00001010: DUP3
00001011: SWAP1
00001012: GT
00001013: PUSH2 0x1035
00001016: JUMPI
00001017: PUSH1 0x04
00001019: MUL
0000101a: DUP2
0000101b: PUSH1 0x04
0000101d: MUL
0000101e: DUP4
0000101f: PUSH1 0x00
00001021: MSTORE
00001022: PUSH1 0x20
00001024: PUSH1 0x00
00001026: KECCAK256
00001027: SWAP2
00001028: DUP3
00001029: ADD
0000102a: SWAP2
0000102b: ADD
0000102c: PUSH2 0x1035
0000102f: SWAP2
00001030: SWAP1
00001031: PUSH2 0x0ebe
00001034: JUMP
00001035: JUMPDEST
00001036: POP
00001037: POP
00001038: POP
00001039: POP
0000103a: JUMPDEST
0000103b: PUSH1 0x0d
0000103d: DUP1
0000103e: DUP3
0000103f: ADD
00001040: DUP1
00001041: SLOAD
00001042: PUSH1 0x01
00001044: PUSH1 0xa0
00001046: PUSH1 0x02
00001048: EXP
00001049: SUB
0000104a: NOT
0000104b: AND
0000104c: CALLER
0000104d: OR
0000104e: SWAP1
0000104f: SSTORE
00001050: CALLVALUE
00001051: PUSH1 0x06
00001053: DUP4
00001054: ADD
00001055: DUP2
00001056: SWAP1
00001057: SSTORE
00001058: DUP2
00001059: SLOAD
0000105a: ADD
0000105b: SWAP1
0000105c: SSTORE
0000105d: PUSH1 0x40
0000105f: DUP1
00001060: MLOAD
00001061: PUSH1 0x01
00001063: PUSH1 0xa0
00001065: PUSH1 0x02
00001067: EXP
00001068: SUB
00001069: DUP11
0000106a: AND
0000106b: DUP2
0000106c: MSTORE
0000106d: PUSH1 0x20
0000106f: DUP2
00001070: DUP2
00001071: ADD
00001072: DUP11
00001073: SWAP1
00001074: MSTORE
00001075: SWAP2
00001076: DUP2
00001077: ADD
00001078: DUP6
00001079: SWAP1
0000107a: MSTORE
0000107b: PUSH1 0x80
0000107d: PUSH1 0x60
0000107f: DUP3
00001080: ADD
00001081: DUP2
00001082: DUP2
00001083: MSTORE
00001084: DUP10
00001085: MLOAD
00001086: SWAP2
00001087: DUP4
00001088: ADD
00001089: SWAP2
0000108a: SWAP1
0000108b: SWAP2
0000108c: MSTORE
0000108d: DUP9
0000108e: MLOAD
0000108f: DUP6
00001090: SWAP4
00001091: PUSH32 0x5790de2c279e58269b93b12828f56fd5f2bc8ad15e61ce08572585c81a38756f
000010b2: SWAP4
000010b3: DUP14
000010b4: SWAP4
000010b5: DUP14
000010b6: SWAP4
000010b7: DUP11
000010b8: SWAP4
000010b9: DUP15
000010ba: SWAP4
000010bb: SWAP3
000010bc: SWAP2
000010bd: PUSH1 0xa0
000010bf: DUP5
000010c0: ADD
000010c1: SWAP2
000010c2: DUP6
000010c3: DUP2
000010c4: ADD
000010c5: SWAP2
000010c6: SWAP1
000010c7: DUP2
000010c8: SWAP1
000010c9: DUP5
000010ca: SWAP1
000010cb: DUP3
000010cc: SWAP1
000010cd: DUP6
000010ce: SWAP1
000010cf: PUSH1 0x00
000010d1: SWAP1
000010d2: PUSH1 0x04
000010d4: SWAP1
000010d5: PUSH1 0x1f
000010d7: DUP6
000010d8: ADD
000010d9: DIV
000010da: PUSH1 0x0f
000010dc: MUL
000010dd: PUSH1 0x03
000010df: ADD
000010e0: CALL
000010e1: POP
000010e2: SWAP1
000010e3: POP
000010e4: SWAP1
000010e5: DUP2
000010e6: ADD
000010e7: SWAP1
000010e8: PUSH1 0x1f
000010ea: AND
000010eb: DUP1
000010ec: ISZERO
000010ed: PUSH2 0x110a
000010f0: JUMPI
000010f1: DUP1
000010f2: DUP3
000010f3: SUB
000010f4: DUP1
000010f5: MLOAD
000010f6: PUSH1 0x01
000010f8: DUP4
000010f9: PUSH1 0x20
000010fb: SUB
000010fc: PUSH2 0x0100
000010ff: EXP
00001100: SUB
00001101: NOT
00001102: AND
00001103: DUP2
00001104: MSTORE
00001105: PUSH1 0x20
00001107: ADD
00001108: SWAP2
00001109: POP
0000110a: JUMPDEST
0000110b: POP
0000110c: SWAP6
0000110d: POP
0000110e: POP
0000110f: POP
00001110: POP
00001111: POP
00001112: POP
00001113: PUSH1 0x40
00001115: MLOAD
00001116: DUP1
00001117: SWAP2
00001118: SUB
00001119: SWAP1
0000111a: LOG2
0000111b: POP
0000111c: SWAP7
0000111d: SWAP6
0000111e: POP
0000111f: POP
00001120: POP
00001121: POP
00001122: POP
00001123: POP
00001124: JUMP
00001125: JUMPDEST
00001126: PUSH1 0x00
00001128: DUP1
00001129: SLOAD
0000112a: DUP8
0000112b: SWAP1
0000112c: DUP2
0000112d: LT
0000112e: ISZERO
0000112f: PUSH2 0x0002
00001132: JUMPI
00001133: POP
00001134: DUP1
00001135: DUP1
00001136: MSTORE
00001137: PUSH1 0x0e
00001139: DUP8
0000113a: MUL
0000113b: PUSH1 0x00
0000113d: DUP1
0000113e: MLOAD
0000113f: PUSH1 0x20
00001141: PUSH2 0x2a5d
00001144: DUP4
00001145: CODECOPY
00001146: DUP2
00001147: MLOAD
00001148: SWAP2
00001149: MSTORE
0000114a: ADD
0000114b: SWAP1
0000114c: POP
0000114d: SWAP1
0000114e: POP
0000114f: DUP5
00001150: DUP5
00001151: DUP5
00001152: PUSH1 0x40
00001154: MLOAD
00001155: DUP1
00001156: DUP5
00001157: PUSH1 0x01
00001159: PUSH1 0xa0
0000115b: PUSH1 0x02
0000115d: EXP
0000115e: SUB
0000115f: AND
00001160: PUSH1 0x60
00001162: PUSH1 0x02
00001164: EXP
00001165: MUL
00001166: DUP2
00001167: MSTORE
00001168: PUSH1 0x14
0000116a: ADD
0000116b: DUP4
0000116c: DUP2
0000116d: MSTORE
0000116e: PUSH1 0x20
00001170: ADD
00001171: DUP3
00001172: DUP1
00001173: MLOAD
00001174: SWAP1
00001175: PUSH1 0x20
00001177: ADD
00001178: SWAP1
00001179: DUP1
0000117a: DUP4
0000117b: DUP4
0000117c: DUP3
0000117d: SWAP1
0000117e: PUSH1 0x00
00001180: PUSH1 0x04
00001182: PUSH1 0x20
00001184: DUP5
00001185: PUSH1 0x1f
00001187: ADD
00001188: DIV
00001189: PUSH1 0x0f
0000118b: MUL
0000118c: PUSH1 0x03
0000118e: ADD
0000118f: CALL
00001190: POP
00001191: SWAP1
00001192: POP
00001193: ADD
00001194: SWAP4
00001195: POP
00001196: POP
00001197: POP
00001198: POP
00001199: PUSH1 0x40
0000119b: MLOAD
0000119c: DUP1
0000119d: SWAP2
0000119e: SUB
0000119f: SWAP1
000011a0: KECCAK256
000011a1: DUP2
000011a2: PUSH1 0x05
000011a4: ADD
000011a5: PUSH1 0x00
000011a7: POP
000011a8: SLOAD
000011a9: EQ
000011aa: SWAP2
000011ab: POP
000011ac: POP
000011ad: SWAP5
000011ae: SWAP4
000011af: POP
000011b0: POP
000011b1: POP
000011b2: POP
000011b3: JUMP
000011b4: JUMPDEST
000011b5: PUSH1 0x00
000011b7: EQ
000011b8: ISZERO
000011b9: PUSH2 0x11c1
000011bc: JUMPI
000011bd: PUSH2 0x0002
000011c0: JUMP
000011c1: JUMPDEST
000011c2: PUSH1 0x00
000011c4: CALLVALUE
000011c5: GT
000011c6: ISZERO
000011c7: PUSH2 0x11cf
000011ca: JUMPI
000011cb: PUSH2 0x0002
000011ce: JUMP
000011cf: JUMPDEST
000011d0: PUSH1 0x00
000011d2: DUP1
000011d3: SLOAD
000011d4: DUP6
000011d5: SWAP1
000011d6: DUP2
000011d7: LT
000011d8: ISZERO
000011d9: PUSH2 0x0002
000011dc: JUMPI
000011dd: POP
000011de: PUSH1 0x01
000011e0: PUSH1 0xa0
000011e2: PUSH1 0x02
000011e4: EXP
000011e5: SUB
000011e6: CALLER
000011e7: AND
000011e8: DUP2
000011e9: MSTORE
000011ea: PUSH1 0x0e
000011ec: DUP6
000011ed: MUL
000011ee: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56e
0000120f: DUP2
00001210: ADD
00001211: PUSH1 0x20
00001213: MSTORE
00001214: PUSH1 0x40
00001216: SWAP1
00001217: SWAP2
00001218: KECCAK256
00001219: SLOAD
0000121a: PUSH1 0x00
0000121c: DUP1
0000121d: MLOAD
0000121e: PUSH1 0x20
00001220: PUSH2 0x2a5d
00001223: DUP4
00001224: CODECOPY
00001225: DUP2
00001226: MLOAD
00001227: SWAP2
00001228: MSTORE
00001229: SWAP2
0000122a: SWAP1
0000122b: SWAP2
0000122c: ADD
0000122d: SWAP2
0000122e: POP
0000122f: PUSH1 0xff
00001231: AND
00001232: DUP1
00001233: PUSH2 0x1248
00001236: JUMPI
00001237: POP
00001238: PUSH1 0x0c
0000123a: DUP2
0000123b: ADD
0000123c: PUSH1 0x20
0000123e: MSTORE
0000123f: PUSH1 0x40
00001241: PUSH1 0x00
00001243: KECCAK256
00001244: SLOAD
00001245: PUSH1 0xff
00001247: AND
00001248: JUMPDEST
00001249: DUP1
0000124a: PUSH2 0x1257
0000124d: JUMPI
0000124e: POP
0000124f: PUSH1 0x03
00001251: DUP2
00001252: ADD
00001253: SLOAD
00001254: TIMESTAMP
00001255: LT
00001256: ISZERO
00001257: JUMPDEST
00001258: ISZERO
00001259: PUSH2 0x1261
0000125c: JUMPI
0000125d: PUSH2 0x0002
00001260: JUMP
00001261: JUMPDEST
00001262: DUP3
00001263: ISZERO
00001264: PUSH2 0x12a7
00001267: JUMPI
00001268: PUSH1 0x01
0000126a: PUSH1 0xa0
0000126c: PUSH1 0x02
0000126e: EXP
0000126f: SUB
00001270: CALLER
00001271: AND
00001272: PUSH1 0x00
00001274: SWAP1
00001275: DUP2
00001276: MSTORE
00001277: PUSH1 0x14
00001279: PUSH1 0x20
0000127b: SWAP1
0000127c: DUP2
0000127d: MSTORE
0000127e: PUSH1 0x40
00001280: DUP1
00001281: DUP4
00001282: KECCAK256
00001283: SLOAD
00001284: PUSH1 0x09
00001286: DUP6
00001287: ADD
00001288: DUP1
00001289: SLOAD
0000128a: SWAP1
0000128b: SWAP2
0000128c: ADD
0000128d: SWAP1
0000128e: SSTORE
0000128f: PUSH1 0x0b
00001291: DUP5
00001292: ADD
00001293: SWAP1
00001294: SWAP2
00001295: MSTORE
00001296: SWAP1
00001297: KECCAK256
00001298: DUP1
00001299: SLOAD
0000129a: PUSH1 0xff
0000129c: NOT
0000129d: AND
0000129e: PUSH1 0x01
000012a0: OR
000012a1: SWAP1
000012a2: SSTORE
000012a3: PUSH2 0x12e3
000012a6: JUMP
000012a7: JUMPDEST
000012a8: PUSH1 0x01
000012aa: PUSH1 0xa0
000012ac: PUSH1 0x02
000012ae: EXP
000012af: SUB
000012b0: CALLER
000012b1: AND
000012b2: PUSH1 0x00
000012b4: SWAP1
000012b5: DUP2
000012b6: MSTORE
000012b7: PUSH1 0x14
000012b9: PUSH1 0x20
000012bb: SWAP1
000012bc: DUP2
000012bd: MSTORE
000012be: PUSH1 0x40
000012c0: DUP1
000012c1: DUP4
000012c2: KECCAK256
000012c3: SLOAD
000012c4: PUSH1 0x0a
000012c6: DUP6
000012c7: ADD
000012c8: DUP1
000012c9: SLOAD
000012ca: SWAP1
000012cb: SWAP2
000012cc: ADD
000012cd: SWAP1
000012ce: SSTORE
000012cf: PUSH1 0x0c
000012d1: DUP5
000012d2: ADD
000012d3: SWAP1
000012d4: SWAP2
000012d5: MSTORE
000012d6: SWAP1
000012d7: KECCAK256
000012d8: DUP1
000012d9: SLOAD
000012da: PUSH1 0xff
000012dc: NOT
000012dd: AND
000012de: PUSH1 0x01
000012e0: OR
000012e1: SWAP1
000012e2: SSTORE
000012e3: JUMPDEST
000012e4: PUSH1 0x01
000012e6: PUSH1 0xa0
000012e8: PUSH1 0x02
000012ea: EXP
000012eb: SUB
000012ec: CALLER
000012ed: AND
000012ee: PUSH1 0x00
000012f0: SWAP1
000012f1: DUP2
000012f2: MSTORE
000012f3: PUSH1 0x0b
000012f5: PUSH1 0x20
000012f7: MSTORE
000012f8: PUSH1 0x40
000012fa: DUP2
000012fb: KECCAK256
000012fc: SLOAD
000012fd: EQ
000012fe: ISZERO
000012ff: PUSH2 0x130f
00001302: JUMPI
00001303: PUSH1 0x40
00001305: PUSH1 0x00
00001307: KECCAK256
00001308: DUP5
00001309: SWAP1
0000130a: SSTORE
0000130b: PUSH2 0x1383
0000130e: JUMP
0000130f: JUMPDEST
00001310: PUSH1 0x01
00001312: PUSH1 0xa0
00001314: PUSH1 0x02
00001316: EXP
00001317: SUB
00001318: CALLER
00001319: AND
0000131a: PUSH1 0x00
0000131c: SWAP1
0000131d: DUP2
0000131e: MSTORE
0000131f: PUSH1 0x0b
00001321: PUSH1 0x20
00001323: MSTORE
00001324: PUSH1 0x40
00001326: DUP2
00001327: KECCAK256
00001328: SLOAD
00001329: DUP2
0000132a: SLOAD
0000132b: DUP2
0000132c: LT
0000132d: ISZERO
0000132e: PUSH2 0x0002
00001331: JUMPI
00001332: SWAP1
00001333: DUP1
00001334: MSTORE
00001335: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e566
00001356: PUSH1 0x0e
00001358: SWAP1
00001359: SWAP2
0000135a: MUL
0000135b: ADD
0000135c: SLOAD
0000135d: PUSH1 0x03
0000135f: DUP3
00001360: ADD
00001361: SLOAD
00001362: GT
00001363: ISZERO
00001364: PUSH2 0x1383
00001367: JUMPI
00001368: PUSH1 0x01
0000136a: PUSH1 0xa0
0000136c: PUSH1 0x02
0000136e: EXP
0000136f: SUB
00001370: CALLER
00001371: AND
00001372: PUSH1 0x00
00001374: SWAP1
00001375: DUP2
00001376: MSTORE
00001377: PUSH1 0x0b
00001379: PUSH1 0x20
0000137b: MSTORE
0000137c: PUSH1 0x40
0000137e: SWAP1
0000137f: KECCAK256
00001380: DUP5
00001381: SWAP1
00001382: SSTORE
00001383: JUMPDEST
00001384: PUSH1 0x40
00001386: DUP1
00001387: MLOAD
00001388: DUP5
00001389: DUP2
0000138a: MSTORE
0000138b: SWAP1
0000138c: MLOAD
0000138d: PUSH1 0x01
0000138f: PUSH1 0xa0
00001391: PUSH1 0x02
00001393: EXP
00001394: SUB
00001395: CALLER
00001396: AND
00001397: SWAP2
00001398: DUP7
00001399: SWAP2
0000139a: PUSH32 0x86abfce99b7dd908bec0169288797f85049ec73cbe046ed9de818fab3a497ae0
000013bb: SWAP2
000013bc: DUP2
000013bd: SWAP1
000013be: SUB
000013bf: PUSH1 0x20
000013c1: ADD
000013c2: SWAP1
000013c3: LOG3
000013c4: POP
000013c5: SWAP3
000013c6: SWAP2
000013c7: POP
000013c8: POP
000013c9: JUMP
000013ca: JUMPDEST
000013cb: PUSH1 0x40
000013cd: DUP1
000013ce: MLOAD
000013cf: DUP7
000013d0: DUP2
000013d1: MSTORE
000013d2: PUSH1 0x20
000013d4: DUP2
000013d5: ADD
000013d6: DUP4
000013d7: SWAP1
000013d8: MSTORE
000013d9: DUP2
000013da: MLOAD
000013db: DUP10
000013dc: SWAP3
000013dd: PUSH32 0xdfc78bdca8e3e0b18c16c5c99323c6cb9eb5e00afde190b4e7273f5158702b07
000013fe: SWAP3
000013ff: DUP3
00001400: SWAP1
00001401: SUB
00001402: ADD
00001403: SWAP1
00001404: LOG2
00001405: JUMPDEST
00001406: POP
00001407: POP
00001408: POP
00001409: POP
0000140a: SWAP3
0000140b: SWAP2
0000140c: POP
0000140d: POP
0000140e: JUMP
0000140f: JUMPDEST
00001410: PUSH1 0x00
00001412: DUP1
00001413: SLOAD
00001414: DUP9
00001415: SWAP1
00001416: DUP2
00001417: LT
00001418: ISZERO
00001419: PUSH2 0x0002
0000141c: JUMPI
0000141d: POP
0000141e: DUP1
0000141f: DUP1
00001420: MSTORE
00001421: PUSH1 0x0e
00001423: DUP9
00001424: MUL
00001425: PUSH1 0x00
00001427: DUP1
00001428: MLOAD
00001429: PUSH1 0x20
0000142b: PUSH2 0x2a5d
0000142e: DUP4
0000142f: CODECOPY
00001430: DUP2
00001431: MLOAD
00001432: SWAP2
00001433: MSTORE
00001434: ADD
00001435: SWAP1
00001436: POP
00001437: PUSH1 0x07
00001439: DUP2
0000143a: ADD
0000143b: SLOAD
0000143c: SWAP1
0000143d: SWAP5
0000143e: POP
0000143f: PUSH1 0xff
00001441: AND
00001442: PUSH2 0x144e
00001445: JUMPI
00001446: PUSH3 0x0d2f00
0000144a: PUSH2 0x1453
0000144d: JUMP
0000144e: JUMPDEST
0000144f: PUSH3 0x239880
00001453: JUMPDEST
00001454: PUSH1 0x04
00001456: DUP6
00001457: ADD
00001458: SLOAD
00001459: SWAP1
0000145a: SWAP4
0000145b: POP
0000145c: PUSH1 0xff
0000145e: AND
0000145f: DUP1
00001460: ISZERO
00001461: PUSH2 0x146f
00001464: JUMPI
00001465: POP
00001466: PUSH1 0x03
00001468: DUP5
00001469: ADD
0000146a: SLOAD
0000146b: DUP4
0000146c: ADD
0000146d: TIMESTAMP
0000146e: GT
0000146f: JUMPDEST
00001470: ISZERO
00001471: PUSH2 0x147d
00001474: JUMPI
00001475: PUSH2 0x151f
00001478: DUP8
00001479: PUSH2 0x152e
0000147c: JUMP
0000147d: JUMPDEST
0000147e: PUSH1 0x03
00001480: DUP5
00001481: ADD
00001482: SLOAD
00001483: TIMESTAMP
00001484: LT
00001485: DUP1
00001486: PUSH2 0x1494
00001489: JUMPI
0000148a: POP
0000148b: PUSH1 0x04
0000148d: DUP5
0000148e: ADD
0000148f: SLOAD
00001490: PUSH1 0xff
00001492: AND
00001493: ISZERO
00001494: JUMPDEST
00001495: DUP1
00001496: PUSH2 0x1515
00001499: JUMPI
0000149a: POP
0000149b: DUP4
0000149c: PUSH1 0x00
0000149e: ADD
0000149f: PUSH1 0x00
000014a1: SWAP1
000014a2: SLOAD
000014a3: SWAP1
000014a4: PUSH2 0x0100
000014a7: EXP
000014a8: SWAP1
000014a9: DIV
000014aa: PUSH1 0x01
000014ac: PUSH1 0xa0
000014ae: PUSH1 0x02
000014b0: EXP
000014b1: SUB
000014b2: AND
000014b3: DUP5
000014b4: PUSH1 0x01
000014b6: ADD
000014b7: PUSH1 0x00
000014b9: POP
000014ba: SLOAD
000014bb: DUP8
000014bc: PUSH1 0x40
000014be: MLOAD
000014bf: DUP1
000014c0: DUP5
000014c1: PUSH1 0x01
000014c3: PUSH1 0xa0
000014c5: PUSH1 0x02
000014c7: EXP
000014c8: SUB
000014c9: AND
000014ca: PUSH1 0x60
000014cc: PUSH1 0x02
000014ce: EXP
000014cf: MUL
000014d0: DUP2
000014d1: MSTORE
000014d2: PUSH1 0x14
000014d4: ADD
000014d5: DUP4
000014d6: DUP2
000014d7: MSTORE
000014d8: PUSH1 0x20
000014da: ADD
000014db: DUP3
000014dc: DUP1
000014dd: MLOAD
000014de: SWAP1
000014df: PUSH1 0x20
000014e1: ADD
000014e2: SWAP1
000014e3: DUP1
000014e4: DUP4
000014e5: DUP4
000014e6: DUP3
000014e7: SWAP1
000014e8: PUSH1 0x00
000014ea: PUSH1 0x04
000014ec: PUSH1 0x20
000014ee: DUP5
000014ef: PUSH1 0x1f
000014f1: ADD
000014f2: DIV
000014f3: PUSH1 0x0f
000014f5: MUL
000014f6: PUSH1 0x03
000014f8: ADD
000014f9: CALL
000014fa: POP
000014fb: SWAP1
000014fc: POP
000014fd: ADD
000014fe: SWAP4
000014ff: POP
00001500: POP
00001501: POP
00001502: POP
00001503: PUSH1 0x40
00001505: MLOAD
00001506: DUP1
00001507: SWAP2
00001508: SUB
00001509: SWAP1
0000150a: KECCAK256
0000150b: DUP5
0000150c: PUSH1 0x05
0000150e: ADD
0000150f: PUSH1 0x00
00001511: POP
00001512: SLOAD
00001513: EQ
00001514: ISZERO
00001515: JUMPDEST
00001516: ISZERO
00001517: PUSH2 0x0c0e
0000151a: JUMPI
0000151b: PUSH2 0x0002
0000151e: JUMP
0000151f: JUMPDEST
00001520: PUSH2 0x1405
00001523: JUMP
00001524: JUMPDEST
00001525: TIMESTAMP
00001526: PUSH1 0x02
00001528: SSTORE
00001529: JUMPDEST
0000152a: PUSH2 0x13ca
0000152d: DUP8
0000152e: JUMPDEST
0000152f: PUSH1 0x00
00001531: PUSH1 0x00
00001533: PUSH1 0x00
00001535: POP
00001536: DUP3
00001537: DUP2
00001538: SLOAD
00001539: DUP2
0000153a: LT
0000153b: ISZERO
0000153c: PUSH2 0x0002
0000153f: JUMPI
00001540: SWAP1
00001541: DUP1
00001542: MSTORE
00001543: PUSH1 0x0e
00001545: MUL
00001546: PUSH1 0x00
00001548: DUP1
00001549: MLOAD
0000154a: PUSH1 0x20
0000154c: PUSH2 0x2a5d
0000154f: DUP4
00001550: CODECOPY
00001551: DUP2
00001552: MLOAD
00001553: SWAP2
00001554: MSTORE
00001555: ADD
00001556: DUP2
00001557: POP
00001558: PUSH1 0x04
0000155a: DUP2
0000155b: ADD
0000155c: SLOAD
0000155d: SWAP1
0000155e: SWAP2
0000155f: POP
00001560: PUSH1 0xff
00001562: AND
00001563: ISZERO
00001564: PUSH2 0x1575
00001567: JUMPI
00001568: PUSH1 0x0d
0000156a: DUP1
0000156b: SLOAD
0000156c: PUSH1 0x06
0000156e: DUP4
0000156f: ADD
00001570: SLOAD
00001571: SWAP1
00001572: SUB
00001573: SWAP1
00001574: SSTORE
00001575: JUMPDEST
00001576: PUSH1 0x04
00001578: ADD
00001579: DUP1
0000157a: SLOAD
0000157b: PUSH1 0xff
0000157d: NOT
0000157e: AND
0000157f: SWAP1
00001580: SSTORE
00001581: POP
00001582: JUMP
00001583: JUMPDEST
00001584: ISZERO
00001585: DUP1
00001586: ISZERO
00001587: PUSH2 0x1594
0000158a: JUMPI
0000158b: POP
0000158c: PUSH1 0x04
0000158e: DUP5
0000158f: ADD
00001590: SLOAD
00001591: PUSH1 0xff
00001593: AND
00001594: JUMPDEST
00001595: ISZERO
00001596: PUSH2 0x15a2
00001599: JUMPI
0000159a: PUSH2 0x15ae
0000159d: DUP8
0000159e: PUSH2 0x152e
000015a1: JUMP
000015a2: JUMPDEST
000015a3: PUSH1 0x01
000015a5: SWAP2
000015a6: POP
000015a7: PUSH2 0x15df
000015aa: PUSH2 0x05cd
000015ad: JUMP
000015ae: JUMPDEST
000015af: PUSH1 0x40
000015b1: MLOAD
000015b2: PUSH1 0x0d
000015b4: DUP6
000015b5: ADD
000015b6: SLOAD
000015b7: PUSH1 0x06
000015b9: DUP7
000015ba: ADD
000015bb: SLOAD
000015bc: PUSH1 0x01
000015be: PUSH1 0xa0
000015c0: PUSH1 0x02
000015c2: EXP
000015c3: SUB
000015c4: SWAP2
000015c5: SWAP1
000015c6: SWAP2
000015c7: AND
000015c8: SWAP2
000015c9: PUSH1 0x00
000015cb: SWAP2
000015cc: SWAP1
000015cd: DUP3
000015ce: DUP2
000015cf: DUP2
000015d0: DUP2
000015d1: DUP6
000015d2: DUP9
000015d3: DUP4
000015d4: CALL
000015d5: SWAP4
000015d6: POP
000015d7: POP
000015d8: POP
000015d9: POP
000015da: POP
000015db: PUSH2 0x1405
000015de: JUMP
000015df: JUMPDEST
000015e0: PUSH1 0x01
000015e2: DUP6
000015e3: ADD
000015e4: SLOAD
000015e5: GT
000015e6: ISZERO
000015e7: PUSH2 0x15ef
000015ea: JUMPI
000015eb: PUSH1 0x00
000015ed: SWAP2
000015ee: POP
000015ef: JUMPDEST
000015f0: POP
000015f1: PUSH1 0x0a
000015f3: DUP4
000015f4: ADD
000015f5: SLOAD
000015f6: PUSH1 0x09
000015f8: DUP5
000015f9: ADD
000015fa: SLOAD
000015fb: DUP7
000015fc: MLOAD
000015fd: SWAP2
000015fe: ADD
000015ff: SWAP1
00001600: PUSH1 0x04
00001602: SWAP1
00001603: LT
00001604: DUP1
00001605: ISZERO
00001606: SWAP1
00001607: PUSH2 0x1634
0000160a: JUMPI
0000160b: POP
0000160c: DUP6
0000160d: PUSH1 0x00
0000160f: DUP2
00001610: MLOAD
00001611: DUP2
00001612: LT
00001613: ISZERO
00001614: PUSH2 0x0002
00001617: JUMPI
00001618: SWAP1
00001619: PUSH1 0x20
0000161b: ADD
0000161c: ADD
0000161d: MLOAD
0000161e: PUSH1 0xf8
00001620: PUSH1 0x02
00001622: EXP
00001623: SWAP1
00001624: DIV
00001625: PUSH1 0xf8
00001627: PUSH1 0x02
00001629: EXP
0000162a: MUL
0000162b: PUSH1 0x68
0000162d: PUSH1 0xf8
0000162f: PUSH1 0x02
00001631: EXP
00001632: MUL
00001633: EQ
00001634: JUMPDEST
00001635: DUP1
00001636: ISZERO
00001637: PUSH2 0x1664
0000163a: JUMPI
0000163b: POP
0000163c: DUP6
0000163d: PUSH1 0x01
0000163f: DUP2
00001640: MLOAD
00001641: DUP2
00001642: LT
00001643: ISZERO
00001644: PUSH2 0x0002
00001647: JUMPI
00001648: SWAP1
00001649: PUSH1 0x20
0000164b: ADD
0000164c: ADD
0000164d: MLOAD
0000164e: PUSH1 0xf8
00001650: PUSH1 0x02
00001652: EXP
00001653: SWAP1
00001654: DIV
00001655: PUSH1 0xf8
00001657: PUSH1 0x02
00001659: EXP
0000165a: MUL
0000165b: PUSH1 0x37
0000165d: PUSH1 0xf8
0000165f: PUSH1 0x02
00001661: EXP
00001662: MUL
00001663: EQ
00001664: JUMPDEST
00001665: DUP1
00001666: ISZERO
00001667: PUSH2 0x1694
0000166a: JUMPI
0000166b: POP
0000166c: DUP6
0000166d: PUSH1 0x02
0000166f: DUP2
00001670: MLOAD
00001671: DUP2
00001672: LT
00001673: ISZERO
00001674: PUSH2 0x0002
00001677: JUMPI
00001678: SWAP1
00001679: PUSH1 0x20
0000167b: ADD
0000167c: ADD
0000167d: MLOAD
0000167e: PUSH1 0xf8
00001680: PUSH1 0x02
00001682: EXP
00001683: SWAP1
00001684: DIV
00001685: PUSH1 0xf8
00001687: PUSH1 0x02
00001689: EXP
0000168a: MUL
0000168b: PUSH1 0xff
0000168d: PUSH1 0xf8
0000168f: PUSH1 0x02
00001691: EXP
00001692: MUL
00001693: EQ
00001694: JUMPDEST
00001695: DUP1
00001696: ISZERO
00001697: PUSH2 0x16c4
0000169a: JUMPI
0000169b: POP
0000169c: DUP6
0000169d: PUSH1 0x03
0000169f: DUP2
000016a0: MLOAD
000016a1: DUP2
000016a2: LT
000016a3: ISZERO
000016a4: PUSH2 0x0002
000016a7: JUMPI
000016a8: SWAP1
000016a9: PUSH1 0x20
000016ab: ADD
000016ac: ADD
000016ad: MLOAD
000016ae: PUSH1 0xf8
000016b0: PUSH1 0x02
000016b2: EXP
000016b3: SWAP1
000016b4: DIV
000016b5: PUSH1 0xf8
000016b7: PUSH1 0x02
000016b9: EXP
000016ba: MUL
000016bb: PUSH1 0x1e
000016bd: PUSH1 0xf8
000016bf: PUSH1 0x02
000016c1: EXP
000016c2: MUL
000016c3: EQ
000016c4: JUMPDEST
000016c5: DUP1
000016c6: ISZERO
000016c7: PUSH2 0x16f3
000016ca: JUMPI
000016cb: POP
000016cc: ADDRESS
000016cd: PUSH1 0x01
000016cf: PUSH1 0xa0
000016d1: PUSH1 0x02
000016d3: EXP
000016d4: SUB
000016d5: AND
000016d6: PUSH1 0x00
000016d8: SWAP1
000016d9: DUP2
000016da: MSTORE
000016db: PUSH1 0x05
000016dd: PUSH1 0x20
000016df: MSTORE
000016e0: PUSH1 0x40
000016e2: SWAP1
000016e3: KECCAK256
000016e4: SLOAD
000016e5: PUSH2 0x16f0
000016e8: SWAP1
000016e9: PUSH2 0x170b
000016ec: PUSH2 0x05cd
000016ef: JUMP
000016f0: JUMPDEST
000016f1: DUP2
000016f2: LT
000016f3: JUMPDEST
000016f4: ISZERO
000016f5: PUSH2 0x16fd
000016f8: JUMPI
000016f9: PUSH1 0x00
000016fb: SWAP2
000016fc: POP
000016fd: JUMPDEST
000016fe: PUSH1 0x01
00001700: DUP5
00001701: ADD
00001702: SLOAD
00001703: PUSH2 0x172e
00001706: SWAP1
00001707: PUSH2 0x170d
0000170a: JUMP
0000170b: JUMPDEST
0000170c: ADD
0000170d: JUMPDEST
0000170e: ADDRESS
0000170f: PUSH1 0x01
00001711: PUSH1 0xa0
00001713: PUSH1 0x02
00001715: EXP
00001716: SUB
00001717: AND
00001718: PUSH1 0x00
0000171a: SWAP1
0000171b: DUP2
0000171c: MSTORE
0000171d: PUSH1 0x05
0000171f: PUSH1 0x20
00001721: MSTORE
00001722: PUSH1 0x40
00001724: DUP2
00001725: KECCAK256
00001726: SLOAD
00001727: PUSH2 0x28aa
0000172a: PUSH2 0x05cd
0000172d: JUMP
0000172e: JUMPDEST
0000172f: DUP2
00001730: LT
00001731: ISZERO
00001732: DUP1
00001733: ISZERO
00001734: PUSH2 0x1745
00001737: JUMPI
00001738: POP
00001739: PUSH1 0x09
0000173b: DUP5
0000173c: ADD
0000173d: SLOAD
0000173e: PUSH1 0x0a
00001740: DUP6
00001741: ADD
00001742: SLOAD
00001743: SWAP1
00001744: GT
00001745: JUMPDEST
00001746: DUP1
00001747: ISZERO
00001748: PUSH2 0x174e
0000174b: JUMPI
0000174c: POP
0000174d: DUP2
0000174e: JUMPDEST
0000174f: ISZERO
00001750: PUSH2 0x1789
00001753: JUMPI
00001754: PUSH1 0x40
00001756: MLOAD
00001757: PUSH1 0x0d
00001759: DUP6
0000175a: ADD
0000175b: SLOAD
0000175c: PUSH1 0x06
0000175e: DUP7
0000175f: ADD
00001760: SLOAD
00001761: PUSH1 0x01
00001763: PUSH1 0xa0
00001765: PUSH1 0x02
00001767: EXP
00001768: SUB
00001769: SWAP2
0000176a: SWAP1
0000176b: SWAP2
0000176c: AND
0000176d: SWAP2
0000176e: PUSH1 0x00
00001770: SWAP2
00001771: SWAP1
00001772: DUP3
00001773: DUP2
00001774: DUP2
00001775: DUP2
00001776: DUP6
00001777: DUP9
00001778: DUP4
00001779: CALL
0000177a: SWAP4
0000177b: POP
0000177c: POP
0000177d: POP
0000177e: POP
0000177f: ISZERO
00001780: ISZERO
00001781: PUSH2 0x1797
00001784: JUMPI
00001785: PUSH2 0x0002
00001788: JUMP
00001789: JUMPDEST
0000178a: PUSH1 0x01
0000178c: DUP5
0000178d: ADD
0000178e: SLOAD
0000178f: PUSH2 0x1870
00001792: SWAP1
00001793: PUSH2 0x170d
00001796: JUMP
00001797: JUMPDEST
00001798: TIMESTAMP
00001799: PUSH1 0x02
0000179b: SSTORE
0000179c: PUSH1 0x40
0000179e: MLOAD
0000179f: PUSH1 0x01
000017a1: DUP6
000017a2: ADD
000017a3: SLOAD
000017a4: DUP6
000017a5: SLOAD
000017a6: DUP9
000017a7: MLOAD
000017a8: PUSH1 0x01
000017aa: PUSH1 0xa0
000017ac: PUSH1 0x02
000017ae: EXP
000017af: SUB
000017b0: SWAP2
000017b1: SWAP1
000017b2: SWAP2
000017b3: AND
000017b4: SWAP3
000017b5: DUP10
000017b6: SWAP2
000017b7: DUP2
000017b8: SWAP1
000017b9: PUSH1 0x20
000017bb: DUP5
000017bc: DUP2
000017bd: ADD
000017be: SWAP2
000017bf: SWAP1
000017c0: DUP2
000017c1: SWAP1
000017c2: DUP5
000017c3: SWAP1
000017c4: DUP3
000017c5: SWAP1
000017c6: DUP6
000017c7: SWAP1
000017c8: PUSH1 0x00
000017ca: SWAP1
000017cb: PUSH1 0x04
000017cd: SWAP1
000017ce: PUSH1 0x1f
000017d0: DUP6
000017d1: ADD
000017d2: DIV
000017d3: PUSH1 0x0f
000017d5: MUL
000017d6: PUSH1 0x03
000017d8: ADD
000017d9: CALL
000017da: POP
000017db: SWAP1
000017dc: POP
000017dd: SWAP1
000017de: DUP2
000017df: ADD
000017e0: SWAP1
000017e1: PUSH1 0x1f
000017e3: AND
000017e4: DUP1
000017e5: ISZERO
000017e6: PUSH2 0x1803
000017e9: JUMPI
000017ea: DUP1
000017eb: DUP3
000017ec: SUB
000017ed: DUP1
000017ee: MLOAD
000017ef: PUSH1 0x01
000017f1: DUP4
000017f2: PUSH1 0x20
000017f4: SUB
000017f5: PUSH2 0x0100
000017f8: EXP
000017f9: SUB
000017fa: NOT
000017fb: AND
000017fc: DUP2
000017fd: MSTORE
000017fe: PUSH1 0x20
00001800: ADD
00001801: SWAP2
00001802: POP
00001803: JUMPDEST
00001804: POP
00001805: SWAP2
00001806: POP
00001807: POP
00001808: PUSH1 0x00
0000180a: PUSH1 0x40
0000180c: MLOAD
0000180d: DUP1
0000180e: DUP4
0000180f: SUB
00001810: DUP2
00001811: DUP6
00001812: DUP8
00001813: PUSH2 0x8502
00001816: GAS
00001817: SUB
00001818: CALL
00001819: SWAP3
0000181a: POP
0000181b: POP
0000181c: POP
0000181d: ISZERO
0000181e: ISZERO
0000181f: PUSH2 0x1827
00001822: JUMPI
00001823: PUSH2 0x0002
00001826: JUMP
00001827: JUMPDEST
00001828: PUSH1 0x04
0000182a: DUP5
0000182b: ADD
0000182c: DUP1
0000182d: SLOAD
0000182e: PUSH2 0xff00
00001831: NOT
00001832: AND
00001833: PUSH2 0x0100
00001836: OR
00001837: SWAP1
00001838: SSTORE
00001839: PUSH1 0x01
0000183b: DUP5
0000183c: DUP2
0000183d: ADD
0000183e: DUP1
0000183f: SLOAD
00001840: ADDRESS
00001841: PUSH1 0x01
00001843: PUSH1 0xa0
00001845: PUSH1 0x02
00001847: EXP
00001848: SUB
00001849: AND
0000184a: PUSH1 0x00
0000184c: SWAP1
0000184d: DUP2
0000184e: MSTORE
0000184f: PUSH1 0x05
00001851: PUSH1 0x20
00001853: MSTORE
00001854: PUSH1 0x40
00001856: SWAP1
00001857: KECCAK256
00001858: DUP1
00001859: SLOAD
0000185a: SWAP2
0000185b: SWAP1
0000185c: SWAP2
0000185d: ADD
0000185e: SWAP1
0000185f: SSTORE
00001860: SLOAD
00001861: PUSH1 0x06
00001863: DUP1
00001864: SLOAD
00001865: SWAP1
00001866: SWAP2
00001867: ADD
00001868: SWAP1
00001869: SSTORE
0000186a: SWAP5
0000186b: POP
0000186c: PUSH2 0x1529
0000186f: JUMP
00001870: JUMPDEST
00001871: DUP2
00001872: LT
00001873: ISZERO
00001874: DUP1
00001875: ISZERO
00001876: PUSH2 0x1887
00001879: JUMPI
0000187a: POP
0000187b: PUSH1 0x09
0000187d: DUP5
0000187e: ADD
0000187f: SLOAD
00001880: PUSH1 0x0a
00001882: DUP6
00001883: ADD
00001884: SLOAD
00001885: LT
00001886: ISZERO
00001887: JUMPDEST
00001888: DUP1
00001889: PUSH2 0x1890
0000188c: JUMPI
0000188d: POP
0000188e: DUP2
0000188f: ISZERO
00001890: JUMPDEST
00001891: ISZERO
00001892: PUSH2 0x1529
00001895: JUMPI
00001896: PUSH1 0x40
00001898: MLOAD
00001899: PUSH1 0x0d
0000189b: DUP6
0000189c: ADD
0000189d: SLOAD
0000189e: PUSH1 0x06
000018a0: DUP7
000018a1: ADD
000018a2: SLOAD
000018a3: PUSH1 0x01
000018a5: PUSH1 0xa0
000018a7: PUSH1 0x02
000018a9: EXP
000018aa: SUB
000018ab: SWAP2
000018ac: SWAP1
000018ad: SWAP2
000018ae: AND
000018af: SWAP2
000018b0: PUSH1 0x00
000018b2: SWAP2
000018b3: SWAP1
000018b4: DUP3
000018b5: DUP2
000018b6: DUP2
000018b7: DUP2
000018b8: DUP6
000018b9: DUP9
000018ba: DUP4
000018bb: CALL
000018bc: SWAP4
000018bd: POP
000018be: POP
000018bf: POP
000018c0: POP
000018c1: ISZERO
000018c2: ISZERO
000018c3: PUSH2 0x1524
000018c6: JUMPI
000018c7: PUSH2 0x0002
000018ca: JUMP
000018cb: JUMPDEST
000018cc: PUSH2 0x18d4
000018cf: CALLER
000018d0: PUSH2 0x073a
000018d3: JUMP
000018d4: JUMPDEST
000018d5: PUSH1 0x00
000018d7: EQ
000018d8: ISZERO
000018d9: PUSH2 0x18e1
000018dc: JUMPI
000018dd: PUSH2 0x0002
000018e0: JUMP
000018e1: JUMPDEST
000018e2: PUSH1 0x00
000018e4: DUP1
000018e5: SLOAD
000018e6: DUP9
000018e7: SWAP1
000018e8: DUP2
000018e9: LT
000018ea: ISZERO
000018eb: PUSH2 0x0002
000018ee: JUMPI
000018ef: POP
000018f0: DUP1
000018f1: MSTORE
000018f2: PUSH1 0x0e
000018f4: DUP8
000018f5: MUL
000018f6: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e566
00001917: DUP2
00001918: ADD
00001919: SLOAD
0000191a: PUSH1 0x00
0000191c: DUP1
0000191d: MLOAD
0000191e: PUSH1 0x20
00001920: PUSH2 0x2a5d
00001923: DUP4
00001924: CODECOPY
00001925: DUP2
00001926: MLOAD
00001927: SWAP2
00001928: MSTORE
00001929: SWAP2
0000192a: SWAP1
0000192b: SWAP2
0000192c: ADD
0000192d: SWAP5
0000192e: POP
0000192f: TIMESTAMP
00001930: LT
00001931: DUP1
00001932: PUSH2 0x1943
00001935: JUMPI
00001936: POP
00001937: PUSH1 0x03
00001939: DUP5
0000193a: ADD
0000193b: SLOAD
0000193c: PUSH3 0x239880
00001940: ADD
00001941: TIMESTAMP
00001942: GT
00001943: JUMPDEST
00001944: DUP1
00001945: PUSH2 0x195c
00001948: JUMPI
00001949: POP
0000194a: DUP4
0000194b: SLOAD
0000194c: PUSH1 0x01
0000194e: PUSH1 0xa0
00001950: PUSH1 0x02
00001952: EXP
00001953: SUB
00001954: SWAP1
00001955: DUP2
00001956: AND
00001957: SWAP1
00001958: DUP8
00001959: AND
0000195a: EQ
0000195b: ISZERO
0000195c: JUMPDEST
0000195d: DUP1
0000195e: PUSH2 0x196c
00001961: JUMPI
00001962: POP
00001963: PUSH1 0x07
00001965: DUP5
00001966: ADD
00001967: SLOAD
00001968: PUSH1 0xff
0000196a: AND
0000196b: ISZERO
0000196c: JUMPDEST
0000196d: DUP1
0000196e: PUSH2 0x1992
00001971: JUMPI
00001972: POP
00001973: PUSH1 0x01
00001975: PUSH1 0xa0
00001977: PUSH1 0x02
00001979: EXP
0000197a: SUB
0000197b: CALLER
0000197c: AND
0000197d: PUSH1 0x00
0000197f: SWAP1
00001980: DUP2
00001981: MSTORE
00001982: PUSH1 0x0b
00001984: DUP6
00001985: ADD
00001986: PUSH1 0x20
00001988: MSTORE
00001989: PUSH1 0x40
0000198b: SWAP1
0000198c: KECCAK256
0000198d: SLOAD
0000198e: PUSH1 0xff
00001990: AND
00001991: ISZERO
00001992: JUMPDEST
00001993: DUP1
00001994: PUSH2 0x19b5
00001997: JUMPI
00001998: POP
00001999: PUSH1 0x01
0000199b: PUSH1 0xa0
0000199d: PUSH1 0x02
0000199f: EXP
000019a0: SUB
000019a1: CALLER
000019a2: AND
000019a3: PUSH1 0x00
000019a5: SWAP1
000019a6: DUP2
000019a7: MSTORE
000019a8: PUSH1 0x0b
000019aa: PUSH1 0x20
000019ac: MSTORE
000019ad: PUSH1 0x40
000019af: SWAP1
000019b0: KECCAK256
000019b1: SLOAD
000019b2: DUP8
000019b3: EQ
000019b4: ISZERO
000019b5: JUMPDEST
000019b6: ISZERO
000019b7: PUSH2 0x19bf
000019ba: JUMPI
000019bb: PUSH2 0x0002
000019be: JUMP
000019bf: JUMPDEST
000019c0: PUSH1 0x08
000019c2: DUP5
000019c3: ADD
000019c4: DUP1
000019c5: SLOAD
000019c6: PUSH1 0x00
000019c8: SWAP1
000019c9: DUP2
000019ca: LT
000019cb: ISZERO
000019cc: PUSH2 0x0002
000019cf: JUMPI
000019d0: SWAP1
000019d1: DUP2
000019d2: MSTORE
000019d3: PUSH1 0x20
000019d5: DUP2
000019d6: KECCAK256
000019d7: PUSH1 0x03
000019d9: ADD
000019da: SLOAD
000019db: PUSH1 0x01
000019dd: PUSH1 0xa0
000019df: PUSH1 0x02
000019e1: EXP
000019e2: SUB
000019e3: AND
000019e4: EQ
000019e5: ISZERO
000019e6: PUSH2 0x1b2b
000019e9: JUMPI
000019ea: PUSH2 0x1c15
000019ed: DUP7
000019ee: PUSH1 0x40
000019f0: MLOAD
000019f1: PUSH1 0x00
000019f3: SWAP1
000019f4: PUSH1 0x01
000019f6: PUSH1 0xa0
000019f8: PUSH1 0x02
000019fa: EXP
000019fb: SUB
000019fc: DUP4
000019fd: AND
000019fe: SWAP1
000019ff: PUSH32 0x9046fefd66f538ab35263248a44217dcb70e2eb2cd136629e141b8b8f9f03b60
00001a20: SWAP1
00001a21: DUP4
00001a22: SWAP1
00001a23: LOG2
00001a24: PUSH1 0x40
00001a26: DUP1
00001a27: MLOAD
00001a28: PUSH1 0x0e
00001a2a: SLOAD
00001a2b: PUSH32 0xe2faf04400000000000000000000000000000000000000000000000000000000
00001a4c: DUP3
00001a4d: MSTORE
00001a4e: PUSH1 0x01
00001a50: PUSH1 0xa0
00001a52: PUSH1 0x02
00001a54: EXP
00001a55: SUB
00001a56: DUP6
00001a57: DUP2
00001a58: AND
00001a59: PUSH1 0x04
00001a5b: DUP5
00001a5c: ADD
00001a5d: MSTORE
00001a5e: PUSH1 0x24
00001a60: DUP4
00001a61: ADD
00001a62: DUP6
00001a63: SWAP1
00001a64: MSTORE
00001a65: PUSH1 0x44
00001a67: DUP4
00001a68: ADD
00001a69: DUP6
00001a6a: SWAP1
00001a6b: MSTORE
00001a6c: PUSH3 0x239880
00001a70: TIMESTAMP
00001a71: ADD
00001a72: PUSH1 0x64
00001a74: DUP5
00001a75: ADD
00001a76: MSTORE
00001a77: SWAP3
00001a78: MLOAD
00001a79: SWAP3
00001a7a: AND
00001a7b: SWAP2
00001a7c: PUSH4 0xe2faf044
00001a81: SWAP2
00001a82: PUSH1 0x84
00001a84: DUP1
00001a85: DUP3
00001a86: ADD
00001a87: SWAP3
00001a88: PUSH1 0x20
00001a8a: SWAP3
00001a8b: SWAP1
00001a8c: SWAP2
00001a8d: SWAP1
00001a8e: DUP3
00001a8f: SWAP1
00001a90: SUB
00001a91: ADD
00001a92: DUP2
00001a93: DUP8
00001a94: DUP8
00001a95: PUSH2 0x61da
00001a98: GAS
00001a99: SUB
00001a9a: CALL
00001a9b: ISZERO
00001a9c: PUSH2 0x0002
00001a9f: JUMPI
00001aa0: POP
00001aa1: POP
00001aa2: PUSH1 0x40
00001aa4: MLOAD
00001aa5: MLOAD
00001aa6: SWAP2
00001aa7: POP
00001aa8: PUSH2 0x0754
00001aab: SWAP1
00001aac: POP
00001aad: JUMP
00001aae: JUMPDEST
00001aaf: PUSH1 0x08
00001ab1: DUP6
00001ab2: ADD
00001ab3: DUP1
00001ab4: SLOAD
00001ab5: PUSH1 0x00
00001ab7: SWAP1
00001ab8: DUP2
00001ab9: LT
00001aba: ISZERO
00001abb: PUSH2 0x0002
00001abe: JUMPI
00001abf: DUP2
00001ac0: DUP2
00001ac1: MSTORE
00001ac2: PUSH1 0x20
00001ac4: DUP1
00001ac5: DUP3
00001ac6: KECCAK256
00001ac7: SWAP4
00001ac8: SWAP1
00001ac9: SWAP4
00001aca: SSTORE
00001acb: ADDRESS
00001acc: PUSH1 0x01
00001ace: PUSH1 0xa0
00001ad0: PUSH1 0x02
00001ad2: EXP
00001ad3: SUB
00001ad4: AND
00001ad5: DUP2
00001ad6: MSTORE
00001ad7: PUSH1 0x05
00001ad9: SWAP1
00001ada: SWAP3
00001adb: MSTORE
00001adc: PUSH1 0x40
00001ade: DUP3
00001adf: KECCAK256
00001ae0: SLOAD
00001ae1: DUP2
00001ae2: SLOAD
00001ae3: SWAP1
00001ae4: SWAP3
00001ae5: SWAP1
00001ae6: DUP2
00001ae7: LT
00001ae8: ISZERO
00001ae9: PUSH2 0x0002
00001aec: JUMPI
00001aed: SWAP1
00001aee: DUP2
00001aef: MSTORE
00001af0: PUSH1 0x20
00001af2: DUP2
00001af3: KECCAK256
00001af4: SWAP1
00001af5: POP
00001af6: PUSH1 0x02
00001af8: ADD
00001af9: SSTORE
00001afa: PUSH1 0x16
00001afc: SLOAD
00001afd: PUSH1 0x08
00001aff: DUP6
00001b00: ADD
00001b01: DUP1
00001b02: SLOAD
00001b03: PUSH1 0x00
00001b05: SWAP1
00001b06: DUP2
00001b07: LT
00001b08: ISZERO
00001b09: PUSH2 0x0002
00001b0c: JUMPI
00001b0d: SWAP1
00001b0e: DUP2
00001b0f: MSTORE
00001b10: PUSH1 0x20
00001b12: DUP2
00001b13: KECCAK256
00001b14: SWAP1
00001b15: POP
00001b16: PUSH1 0x01
00001b18: ADD
00001b19: SSTORE
00001b1a: PUSH1 0x04
00001b1c: DUP5
00001b1d: ADD
00001b1e: DUP1
00001b1f: SLOAD
00001b20: PUSH2 0xff00
00001b23: NOT
00001b24: AND
00001b25: PUSH2 0x0100
00001b28: OR
00001b29: SWAP1
00001b2a: SSTORE
00001b2b: JUMPDEST
00001b2c: PUSH1 0x08
00001b2e: DUP5
00001b2f: ADD
00001b30: DUP1
00001b31: SLOAD
00001b32: PUSH1 0x00
00001b34: SWAP1
00001b35: DUP2
00001b36: LT
00001b37: ISZERO
00001b38: PUSH2 0x0002
00001b3b: JUMPI
00001b3c: DUP2
00001b3d: SLOAD
00001b3e: DUP3
00001b3f: DUP3
00001b40: MSTORE
00001b41: PUSH1 0x20
00001b43: DUP3
00001b44: KECCAK256
00001b45: PUSH1 0x01
00001b47: ADD
00001b48: SLOAD
00001b49: SWAP3
00001b4a: SWAP2
00001b4b: SWAP1
00001b4c: DUP2
00001b4d: LT
00001b4e: ISZERO
00001b4f: PUSH2 0x0002
00001b52: JUMPI
00001b53: SWAP1
00001b54: DUP2
00001b55: MSTORE
00001b56: PUSH1 0x20
00001b58: DUP2
00001b59: KECCAK256
00001b5a: SWAP1
00001b5b: POP
00001b5c: SLOAD
00001b5d: PUSH1 0x01
00001b5f: PUSH1 0xa0
00001b61: PUSH1 0x02
00001b63: EXP
00001b64: SUB
00001b65: CALLER
00001b66: AND
00001b67: PUSH1 0x00
00001b69: SWAP1
00001b6a: DUP2
00001b6b: MSTORE
00001b6c: PUSH1 0x14
00001b6e: PUSH1 0x20
00001b70: MSTORE
00001b71: PUSH1 0x40
00001b73: DUP2
00001b74: KECCAK256
00001b75: SLOAD
00001b76: PUSH1 0x08
00001b78: DUP9
00001b79: ADD
00001b7a: DUP1
00001b7b: SLOAD
00001b7c: SWAP4
00001b7d: SWAP1
00001b7e: SWAP2
00001b7f: MUL
00001b80: SWAP4
00001b81: SWAP1
00001b82: SWAP4
00001b83: DIV
00001b84: SWAP6
00001b85: POP
00001b86: SWAP1
00001b87: DUP2
00001b88: LT
00001b89: ISZERO
00001b8a: PUSH2 0x0002
00001b8d: JUMPI
00001b8e: SWAP1
00001b8f: DUP2
00001b90: MSTORE
00001b91: PUSH1 0x20
00001b93: DUP2
00001b94: KECCAK256
00001b95: SWAP1
00001b96: POP
00001b97: PUSH1 0x40
00001b99: DUP1
00001b9a: MLOAD
00001b9b: PUSH1 0x03
00001b9d: SWAP1
00001b9e: SWAP3
00001b9f: ADD
00001ba0: SLOAD
00001ba1: PUSH32 0xbaac530000000000000000000000000000000000000000000000000000000000
00001bc2: DUP4
00001bc3: MSTORE
00001bc4: PUSH1 0x01
00001bc6: PUSH1 0xa0
00001bc8: PUSH1 0x02
00001bca: EXP
00001bcb: SUB
00001bcc: CALLER
00001bcd: DUP2
00001bce: AND
00001bcf: PUSH1 0x04
00001bd1: DUP6
00001bd2: ADD
00001bd3: MSTORE
00001bd4: SWAP2
00001bd5: MLOAD
00001bd6: SWAP2
00001bd7: AND
00001bd8: SWAP2
00001bd9: PUSH4 0xbaac5300
00001bde: SWAP2
00001bdf: DUP7
00001be0: SWAP2
00001be1: PUSH1 0x24
00001be3: DUP1
00001be4: DUP3
00001be5: ADD
00001be6: SWAP3
00001be7: PUSH1 0x20
00001be9: SWAP3
00001bea: SWAP1
00001beb: SWAP2
00001bec: SWAP1
00001bed: DUP3
00001bee: SWAP1
00001bef: SUB
00001bf0: ADD
00001bf1: DUP2
00001bf2: DUP6
00001bf3: DUP9
00001bf4: PUSH2 0x8502
00001bf7: GAS
00001bf8: SUB
00001bf9: CALL
00001bfa: ISZERO
00001bfb: PUSH2 0x0002
00001bfe: JUMPI
00001bff: POP
00001c00: POP
00001c01: PUSH1 0x40
00001c03: MLOAD
00001c04: MLOAD
00001c05: PUSH1 0x00
00001c07: EQ
00001c08: ISZERO
00001c09: SWAP2
00001c0a: POP
00001c0b: PUSH2 0x1c91
00001c0e: SWAP1
00001c0f: POP
00001c10: JUMPI
00001c11: PUSH2 0x0002
00001c14: JUMP
00001c15: JUMPDEST
00001c16: PUSH1 0x08
00001c18: DUP6
00001c19: ADD
00001c1a: DUP1
00001c1b: SLOAD
00001c1c: PUSH1 0x00
00001c1e: SWAP1
00001c1f: DUP2
00001c20: LT
00001c21: ISZERO
00001c22: PUSH2 0x0002
00001c25: JUMPI
00001c26: DUP2
00001c27: DUP2
00001c28: MSTORE
00001c29: PUSH1 0x20
00001c2b: DUP2
00001c2c: KECCAK256
00001c2d: PUSH1 0x03
00001c2f: ADD
00001c30: DUP1
00001c31: SLOAD
00001c32: PUSH1 0x01
00001c34: PUSH1 0xa0
00001c36: PUSH1 0x02
00001c38: EXP
00001c39: SUB
00001c3a: NOT
00001c3b: AND
00001c3c: SWAP1
00001c3d: SWAP4
00001c3e: OR
00001c3f: SWAP1
00001c40: SWAP3
00001c41: SSTORE
00001c42: DUP1
00001c43: SLOAD
00001c44: SWAP1
00001c45: SWAP2
00001c46: SWAP1
00001c47: DUP2
00001c48: LT
00001c49: ISZERO
00001c4a: PUSH2 0x0002
00001c4d: JUMPI
00001c4e: SWAP1
00001c4f: DUP2
00001c50: MSTORE
00001c51: PUSH1 0x20
00001c53: DUP2
00001c54: KECCAK256
00001c55: SWAP1
00001c56: POP
00001c57: PUSH1 0x03
00001c59: ADD
00001c5a: SLOAD
00001c5b: PUSH1 0x01
00001c5d: PUSH1 0xa0
00001c5f: PUSH1 0x02
00001c61: EXP
00001c62: SUB
00001c63: AND
00001c64: PUSH1 0x00
00001c66: EQ
00001c67: ISZERO
00001c68: PUSH2 0x1c70
00001c6b: JUMPI
00001c6c: PUSH2 0x0002
00001c6f: JUMP
00001c70: JUMPDEST
00001c71: PUSH1 0x0d
00001c73: SLOAD
00001c74: ADDRESS
00001c75: PUSH1 0x01
00001c77: PUSH1 0xa0
00001c79: PUSH1 0x02
00001c7b: EXP
00001c7c: SUB
00001c7d: AND
00001c7e: BALANCE
00001c7f: LT
00001c80: ISZERO
00001c81: PUSH2 0x1c89
00001c84: JUMPI
00001c85: PUSH2 0x0002
00001c88: JUMP
00001c89: JUMPDEST
00001c8a: PUSH2 0x1aae
00001c8d: PUSH2 0x05cd
00001c90: JUMP
00001c91: JUMPDEST
00001c92: PUSH1 0x08
00001c94: DUP5
00001c95: ADD
00001c96: DUP1
00001c97: SLOAD
00001c98: PUSH1 0x00
00001c9a: SWAP1
00001c9b: DUP2
00001c9c: LT
00001c9d: ISZERO
00001c9e: PUSH2 0x0002
00001ca1: JUMPI
00001ca2: DUP2
00001ca3: SLOAD
00001ca4: DUP3
00001ca5: DUP3
00001ca6: MSTORE
00001ca7: PUSH1 0x20
00001ca9: DUP3
00001caa: KECCAK256
00001cab: PUSH1 0x01
00001cad: ADD
00001cae: SLOAD
00001caf: SWAP3
00001cb0: SWAP2
00001cb1: SWAP1
00001cb2: DUP2
00001cb3: LT
00001cb4: ISZERO
00001cb5: PUSH2 0x0002
00001cb8: JUMPI
00001cb9: SWAP1
00001cba: DUP2
00001cbb: MSTORE
00001cbc: PUSH1 0x20
00001cbe: DUP2
00001cbf: KECCAK256
00001cc0: SWAP1
00001cc1: POP
00001cc2: PUSH1 0x02
00001cc4: ADD
00001cc5: SLOAD
00001cc6: PUSH1 0x01
00001cc8: PUSH1 0xa0
00001cca: PUSH1 0x02
00001ccc: EXP
00001ccd: SUB
00001cce: CALLER
00001ccf: DUP2
00001cd0: AND
00001cd1: PUSH1 0x00
00001cd3: SWAP1
00001cd4: DUP2
00001cd5: MSTORE
00001cd6: PUSH1 0x14
00001cd8: PUSH1 0x20
00001cda: SWAP1
00001cdb: DUP2
00001cdc: MSTORE
00001cdd: PUSH1 0x40
00001cdf: DUP1
00001ce0: DUP4
00001ce1: KECCAK256
00001ce2: SLOAD
00001ce3: ADDRESS
00001ce4: SWAP1
00001ce5: SWAP5
00001ce6: AND
00001ce7: DUP4
00001ce8: MSTORE
00001ce9: PUSH1 0x05
00001ceb: DUP1
00001cec: DUP4
00001ced: MSTORE
00001cee: DUP2
00001cef: DUP5
00001cf0: KECCAK256
00001cf1: SLOAD
00001cf2: PUSH1 0x09
00001cf4: SWAP1
00001cf5: SWAP4
00001cf6: MSTORE
00001cf7: SWAP1
00001cf8: DUP4
00001cf9: KECCAK256
00001cfa: SLOAD
00001cfb: PUSH1 0x08
00001cfd: DUP12
00001cfe: ADD
00001cff: DUP1
00001d00: SLOAD
00001d01: SWAP7
00001d02: SWAP1
00001d03: SWAP6
00001d04: MUL
00001d05: SWAP7
00001d06: SWAP1
00001d07: SWAP7
00001d08: DIV
00001d09: SWAP8
00001d0a: POP
00001d0b: SWAP5
00001d0c: DUP8
00001d0d: MUL
00001d0e: DIV
00001d0f: SWAP5
00001d10: POP
00001d11: DUP6
00001d12: SWAP4
00001d13: SWAP3
00001d14: SWAP1
00001d15: SWAP2
00001d16: SWAP1
00001d17: DUP3
00001d18: SWAP1
00001d19: DUP2
00001d1a: LT
00001d1b: ISZERO
00001d1c: PUSH2 0x0002
00001d1f: JUMPI
00001d20: MSTORE
00001d21: PUSH1 0x20
00001d23: DUP2
00001d24: KECCAK256
00001d25: DUP2
00001d26: POP
00001d27: PUSH1 0x03
00001d29: ADD
00001d2a: SLOAD
00001d2b: PUSH1 0x01
00001d2d: PUSH1 0xa0
00001d2f: PUSH1 0x02
00001d31: EXP
00001d32: SUB
00001d33: SWAP1
00001d34: DUP2
00001d35: AND
00001d36: DUP3
00001d37: MSTORE
00001d38: PUSH1 0x20
00001d3a: DUP3
00001d3b: DUP2
00001d3c: ADD
00001d3d: SWAP4
00001d3e: SWAP1
00001d3f: SWAP4
00001d40: MSTORE
00001d41: PUSH1 0x40
00001d43: SWAP2
00001d44: DUP3
00001d45: ADD
00001d46: PUSH1 0x00
00001d48: SWAP1
00001d49: DUP2
00001d4a: KECCAK256
00001d4b: DUP1
00001d4c: SLOAD
00001d4d: SWAP1
00001d4e: SWAP6
00001d4f: ADD
00001d50: SWAP1
00001d51: SWAP5
00001d52: SSTORE
00001d53: ADDRESS
00001d54: AND
00001d55: DUP4
00001d56: MSTORE
00001d57: PUSH1 0x05
00001d59: SWAP1
00001d5a: SWAP2
00001d5b: MSTORE
00001d5c: SWAP1
00001d5d: KECCAK256
00001d5e: SLOAD
00001d5f: DUP3
00001d60: SWAP1
00001d61: LT
00001d62: ISZERO
00001d63: PUSH2 0x1d6b
00001d66: JUMPI
00001d67: PUSH2 0x0002
00001d6a: JUMP
00001d6b: JUMPDEST
00001d6c: ADDRESS
00001d6d: PUSH1 0x01
00001d6f: PUSH1 0xa0
00001d71: PUSH1 0x02
00001d73: EXP
00001d74: SUB
00001d75: AND
00001d76: PUSH1 0x00
00001d78: SWAP1
00001d79: DUP2
00001d7a: MSTORE
00001d7b: PUSH1 0x05
00001d7d: PUSH1 0x20
00001d7f: MSTORE
00001d80: PUSH1 0x40
00001d82: DUP2
00001d83: KECCAK256
00001d84: DUP1
00001d85: SLOAD
00001d86: DUP5
00001d87: SWAP1
00001d88: SUB
00001d89: SWAP1
00001d8a: SSTORE
00001d8b: PUSH1 0x08
00001d8d: DUP6
00001d8e: ADD
00001d8f: DUP1
00001d90: SLOAD
00001d91: DUP4
00001d92: SWAP3
00001d93: PUSH1 0x09
00001d95: SWAP3
00001d96: SWAP1
00001d97: SWAP2
00001d98: DUP3
00001d99: SWAP1
00001d9a: DUP2
00001d9b: LT
00001d9c: ISZERO
00001d9d: PUSH2 0x0002
00001da0: JUMPI
00001da1: POP
00001da2: DUP2
00001da3: MSTORE
00001da4: PUSH1 0x20
00001da6: DUP1
00001da7: DUP3
00001da8: KECCAK256
00001da9: PUSH1 0x03
00001dab: ADD
00001dac: SLOAD
00001dad: PUSH1 0x01
00001daf: PUSH1 0xa0
00001db1: PUSH1 0x02
00001db3: EXP
00001db4: SUB
00001db5: SWAP1
00001db6: DUP2
00001db7: AND
00001db8: DUP4
00001db9: MSTORE
00001dba: SWAP3
00001dbb: SWAP1
00001dbc: MSTORE
00001dbd: PUSH1 0x40
00001dbf: DUP1
00001dc0: DUP3
00001dc1: KECCAK256
00001dc2: DUP1
00001dc3: SLOAD
00001dc4: SWAP5
00001dc5: SWAP1
00001dc6: SWAP5
00001dc7: ADD
00001dc8: SWAP1
00001dc9: SWAP4
00001dca: SSTORE
00001dcb: ADDRESS
00001dcc: SWAP1
00001dcd: SWAP2
00001dce: AND
00001dcf: DUP2
00001dd0: MSTORE
00001dd1: KECCAK256
00001dd2: SLOAD
00001dd3: DUP2
00001dd4: SWAP1
00001dd5: LT
00001dd6: ISZERO
00001dd7: PUSH2 0x1ddf
00001dda: JUMPI
00001ddb: PUSH2 0x0002
00001dde: JUMP
00001ddf: JUMPDEST
00001de0: ADDRESS
00001de1: PUSH1 0x01
00001de3: PUSH1 0xa0
00001de5: PUSH1 0x02
00001de7: EXP
00001de8: SUB
00001de9: SWAP1
00001dea: DUP2
00001deb: AND
00001dec: PUSH1 0x00
00001dee: SWAP1
00001def: DUP2
00001df0: MSTORE
00001df1: PUSH1 0x09
00001df3: PUSH1 0x20
00001df5: SWAP1
00001df6: DUP2
00001df7: MSTORE
00001df8: PUSH1 0x40
00001dfa: DUP1
00001dfb: DUP4
00001dfc: KECCAK256
00001dfd: DUP1
00001dfe: SLOAD
00001dff: DUP7
00001e00: SWAP1
00001e01: SUB
00001e02: SWAP1
00001e03: SSTORE
00001e04: CALLER
00001e05: SWAP4
00001e06: SWAP1
00001e07: SWAP4
00001e08: AND
00001e09: DUP1
00001e0a: DUP4
00001e0b: MSTORE
00001e0c: PUSH1 0x14
00001e0e: DUP3
00001e0f: MSTORE
00001e10: DUP4
00001e11: DUP4
00001e12: KECCAK256
00001e13: SLOAD
00001e14: DUP5
00001e15: MLOAD
00001e16: SWAP1
00001e17: DUP2
00001e18: MSTORE
00001e19: SWAP4
00001e1a: MLOAD
00001e1b: SWAP3
00001e1c: SWAP4
00001e1d: SWAP1
00001e1e: SWAP3
00001e1f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001e40: SWAP3
00001e41: SWAP2
00001e42: DUP2
00001e43: SWAP1
00001e44: SUB
00001e45: SWAP1
00001e46: SWAP2
00001e47: ADD
00001e48: SWAP1
00001e49: LOG3
00001e4a: PUSH2 0x1e52
00001e4d: CALLER
00001e4e: PUSH2 0x0925
00001e51: JUMP
00001e52: JUMPDEST
00001e53: POP
00001e54: PUSH1 0x01
00001e56: PUSH1 0xa0
00001e58: PUSH1 0x02
00001e5a: EXP
00001e5b: SUB
00001e5c: CALLER
00001e5d: AND
00001e5e: PUSH1 0x00
00001e60: SWAP1
00001e61: DUP2
00001e62: MSTORE
00001e63: PUSH1 0x14
00001e65: PUSH1 0x20
00001e67: SWAP1
00001e68: DUP2
00001e69: MSTORE
00001e6a: PUSH1 0x40
00001e6c: DUP1
00001e6d: DUP4
00001e6e: KECCAK256
00001e6f: DUP1
00001e70: SLOAD
00001e71: PUSH1 0x16
00001e73: DUP1
00001e74: SLOAD
00001e75: SWAP2
00001e76: SWAP1
00001e77: SWAP2
00001e78: SUB
00001e79: SWAP1
00001e7a: SSTORE
00001e7b: DUP4
00001e7c: SWAP1
00001e7d: SSTORE
00001e7e: PUSH1 0x0a
00001e80: SWAP1
00001e81: SWAP2
00001e82: MSTORE
00001e83: DUP2
00001e84: KECCAK256
00001e85: SSTORE
00001e86: PUSH1 0x01
00001e88: SWAP5
00001e89: POP
00001e8a: PUSH2 0x1405
00001e8d: JUMP
00001e8e: JUMPDEST
00001e8f: ADDRESS
00001e90: PUSH1 0x01
00001e92: PUSH1 0xa0
00001e94: PUSH1 0x02
00001e96: EXP
00001e97: SUB
00001e98: SWAP1
00001e99: DUP2
00001e9a: AND
00001e9b: PUSH1 0x00
00001e9d: DUP2
00001e9e: DUP2
00001e9f: MSTORE
00001ea0: PUSH1 0x05
00001ea2: PUSH1 0x20
00001ea4: SWAP1
00001ea5: DUP2
00001ea6: MSTORE
00001ea7: PUSH1 0x40
00001ea9: DUP1
00001eaa: DUP4
00001eab: KECCAK256
00001eac: DUP1
00001ead: SLOAD
00001eae: SWAP6
00001eaf: DUP8
00001eb0: AND
00001eb1: DUP1
00001eb2: DUP6
00001eb3: MSTORE
00001eb4: DUP3
00001eb5: DUP6
00001eb6: KECCAK256
00001eb7: DUP1
00001eb8: SLOAD
00001eb9: SWAP8
00001eba: SWAP1
00001ebb: SWAP8
00001ebc: ADD
00001ebd: SWAP1
00001ebe: SWAP7
00001ebf: SSTORE
00001ec0: DUP5
00001ec1: DUP5
00001ec2: MSTORE
00001ec3: DUP4
00001ec4: SWAP1
00001ec5: SSTORE
00001ec6: PUSH1 0x09
00001ec8: SWAP1
00001ec9: SWAP2
00001eca: MSTORE
00001ecb: DUP1
00001ecc: DUP3
00001ecd: KECCAK256
00001ece: DUP1
00001ecf: SLOAD
00001ed0: SWAP5
00001ed1: DUP4
00001ed2: MSTORE
00001ed3: SWAP1
00001ed4: DUP3
00001ed5: KECCAK256
00001ed6: DUP1
00001ed7: SLOAD
00001ed8: SWAP5
00001ed9: SWAP1
00001eda: SWAP5
00001edb: ADD
00001edc: SWAP1
00001edd: SWAP4
00001ede: SSTORE
00001edf: SWAP1
00001ee0: DUP2
00001ee1: MSTORE
00001ee2: SWAP1
00001ee3: SSTORE
00001ee4: JUMPDEST
00001ee5: POP
00001ee6: JUMP
00001ee7: JUMPDEST
00001ee8: PUSH1 0x40
00001eea: MLOAD
00001eeb: PUSH1 0x01
00001eed: PUSH1 0xa0
00001eef: PUSH1 0x02
00001ef1: EXP
00001ef2: SUB
00001ef3: DUP3
00001ef4: DUP2
00001ef5: AND
00001ef6: SWAP2
00001ef7: ADDRESS
00001ef8: SWAP1
00001ef9: SWAP2
00001efa: AND
00001efb: BALANCE
00001efc: SWAP1
00001efd: PUSH1 0x00
00001eff: DUP2
00001f00: DUP2
00001f01: DUP2
00001f02: DUP6
00001f03: DUP8
00001f04: PUSH2 0x8502
00001f07: GAS
00001f08: SUB
00001f09: CALL
00001f0a: SWAP3
00001f0b: POP
00001f0c: POP
00001f0d: POP
00001f0e: ISZERO
00001f0f: ISZERO
00001f10: PUSH2 0x1e8e
00001f13: JUMPI
00001f14: PUSH2 0x0002
00001f17: JUMP
00001f18: JUMPDEST
00001f19: PUSH1 0x01
00001f1b: PUSH1 0xa0
00001f1d: PUSH1 0x02
00001f1f: EXP
00001f20: SUB
00001f21: CALLER
00001f22: DUP2
00001f23: DUP2
00001f24: AND
00001f25: PUSH1 0x00
00001f27: SWAP1
00001f28: DUP2
00001f29: MSTORE
00001f2a: PUSH1 0x09
00001f2c: PUSH1 0x20
00001f2e: SWAP1
00001f2f: DUP2
00001f30: MSTORE
00001f31: PUSH1 0x40
00001f33: DUP1
00001f34: DUP4
00001f35: KECCAK256
00001f36: SLOAD
00001f37: DUP2
00001f38: MLOAD
00001f39: PUSH1 0x06
00001f3b: SLOAD
00001f3c: PUSH1 0x08
00001f3e: SLOAD
00001f3f: PUSH1 0xe0
00001f41: PUSH1 0x02
00001f43: EXP
00001f44: PUSH4 0xd2cc718f
00001f49: MUL
00001f4a: DUP4
00001f4b: MSTORE
00001f4c: SWAP4
00001f4d: MLOAD
00001f4e: SWAP7
00001f4f: SWAP10
00001f50: POP
00001f51: SWAP2
00001f52: SWAP7
00001f53: SWAP2
00001f54: SWAP6
00001f55: SWAP3
00001f56: SWAP1
00001f57: SWAP2
00001f58: AND
00001f59: SWAP4
00001f5a: PUSH4 0xd2cc718f
00001f5f: SWAP4
00001f60: PUSH1 0x04
00001f62: DUP4
00001f63: DUP2
00001f64: ADD
00001f65: SWAP5
00001f66: SWAP2
00001f67: SWAP4
00001f68: SWAP2
00001f69: SWAP3
00001f6a: SWAP2
00001f6b: DUP4
00001f6c: SWAP1
00001f6d: SUB
00001f6e: ADD
00001f6f: SWAP1
00001f70: DUP3
00001f71: SWAP1
00001f72: DUP8
00001f73: PUSH2 0x61da
00001f76: GAS
00001f77: SUB
00001f78: CALL
00001f79: ISZERO
00001f7a: PUSH2 0x0002
00001f7d: JUMPI
00001f7e: POP
00001f7f: POP
00001f80: POP
00001f81: PUSH1 0x40
00001f83: MLOAD
00001f84: DUP1
00001f85: MLOAD
00001f86: SWAP1
00001f87: PUSH1 0x20
00001f89: ADD
00001f8a: POP
00001f8b: PUSH1 0x05
00001f8d: PUSH1 0x00
00001f8f: POP
00001f90: PUSH1 0x00
00001f92: CALLER
00001f93: PUSH1 0x01
00001f95: PUSH1 0xa0
00001f97: PUSH1 0x02
00001f99: EXP
00001f9a: SUB
00001f9b: AND
00001f9c: DUP2
00001f9d: MSTORE
00001f9e: PUSH1 0x20
00001fa0: ADD
00001fa1: SWAP1
00001fa2: DUP2
00001fa3: MSTORE
00001fa4: PUSH1 0x20
00001fa6: ADD
00001fa7: PUSH1 0x00
00001fa9: KECCAK256
00001faa: PUSH1 0x00
00001fac: POP
00001fad: SLOAD
00001fae: MUL
00001faf: DIV
00001fb0: LT
00001fb1: ISZERO
00001fb2: PUSH2 0x1fba
00001fb5: JUMPI
00001fb6: PUSH2 0x0002
00001fb9: JUMP
00001fba: JUMPDEST
00001fbb: PUSH1 0x01
00001fbd: PUSH1 0xa0
00001fbf: PUSH1 0x02
00001fc1: EXP
00001fc2: SUB
00001fc3: CALLER
00001fc4: DUP2
00001fc5: AND
00001fc6: PUSH1 0x00
00001fc8: SWAP1
00001fc9: DUP2
00001fca: MSTORE
00001fcb: PUSH1 0x09
00001fcd: PUSH1 0x20
00001fcf: SWAP1
00001fd0: DUP2
00001fd1: MSTORE
00001fd2: PUSH1 0x40
00001fd4: DUP1
00001fd5: DUP4
00001fd6: KECCAK256
00001fd7: SLOAD
00001fd8: DUP2
00001fd9: MLOAD
00001fda: PUSH1 0x06
00001fdc: SLOAD
00001fdd: PUSH1 0x08
00001fdf: SLOAD
00001fe0: PUSH1 0xe0
00001fe2: PUSH1 0x02
00001fe4: EXP
00001fe5: PUSH4 0xd2cc718f
00001fea: MUL
00001feb: DUP4
00001fec: MSTORE
00001fed: SWAP4
00001fee: MLOAD
00001fef: SWAP3
00001ff0: SWAP7
00001ff1: SWAP1
00001ff2: SWAP6
00001ff3: SWAP4
00001ff4: AND
00001ff5: SWAP4
00001ff6: PUSH4 0xd2cc718f
00001ffb: SWAP4
00001ffc: PUSH1 0x04
00001ffe: DUP4
00001fff: DUP2
00002000: ADD
00002001: SWAP5
00002002: SWAP3
00002003: SWAP4
00002004: DUP4
00002005: SWAP1
00002006: SUB
00002007: ADD
00002008: SWAP1
00002009: DUP3
0000200a: SWAP1
0000200b: DUP8
0000200c: PUSH2 0x61da
0000200f: GAS
00002010: SUB
00002011: CALL
00002012: ISZERO
00002013: PUSH2 0x0002
00002016: JUMPI
00002017: POP
00002018: POP
00002019: POP
0000201a: PUSH1 0x40
0000201c: MLOAD
0000201d: DUP1
0000201e: MLOAD
0000201f: SWAP1
00002020: PUSH1 0x20
00002022: ADD
00002023: POP
00002024: PUSH1 0x05
00002026: PUSH1 0x00
00002028: POP
00002029: PUSH1 0x00
0000202b: CALLER
0000202c: PUSH1 0x01
0000202e: PUSH1 0xa0
00002030: PUSH1 0x02
00002032: EXP
00002033: SUB
00002034: AND
00002035: DUP2
00002036: MSTORE
00002037: PUSH1 0x20
00002039: ADD
0000203a: SWAP1
0000203b: DUP2
0000203c: MSTORE
0000203d: PUSH1 0x20
0000203f: ADD
00002040: PUSH1 0x00
00002042: KECCAK256
00002043: PUSH1 0x00
00002045: POP
00002046: SLOAD
00002047: MUL
00002048: DIV
00002049: SUB
0000204a: SWAP1
0000204b: POP
0000204c: DUP4
0000204d: ISZERO
0000204e: PUSH2 0x2109
00002051: JUMPI
00002052: PUSH1 0x08
00002054: PUSH1 0x00
00002056: SWAP1
00002057: SLOAD
00002058: SWAP1
00002059: PUSH2 0x0100
0000205c: EXP
0000205d: SWAP1
0000205e: DIV
0000205f: PUSH1 0x01
00002061: PUSH1 0xa0
00002063: PUSH1 0x02
00002065: EXP
00002066: SUB
00002067: AND
00002068: PUSH1 0x01
0000206a: PUSH1 0xa0
0000206c: PUSH1 0x02
0000206e: EXP
0000206f: SUB
00002070: AND
00002071: PUSH4 0x0221038a
00002076: DUP4
00002077: PUSH1 0x01
00002079: PUSH1 0xa0
0000207b: PUSH1 0x02
0000207d: EXP
0000207e: SUB
0000207f: AND
00002080: PUSH4 0x0e708203
00002085: PUSH1 0x40
00002087: MLOAD
00002088: DUP2
00002089: PUSH1 0xe0
0000208b: PUSH1 0x02
0000208d: EXP
0000208e: MUL
0000208f: DUP2
00002090: MSTORE
00002091: PUSH1 0x04
00002093: ADD
00002094: DUP1
00002095: SWAP1
00002096: POP
00002097: PUSH1 0x20
00002099: PUSH1 0x40
0000209b: MLOAD
0000209c: DUP1
0000209d: DUP4
0000209e: SUB
0000209f: DUP2
000020a0: PUSH1 0x00
000020a2: DUP8
000020a3: PUSH2 0x61da
000020a6: GAS
000020a7: SUB
000020a8: CALL
000020a9: ISZERO
000020aa: PUSH2 0x0002
000020ad: JUMPI
000020ae: POP
000020af: POP
000020b0: PUSH1 0x40
000020b2: DUP1
000020b3: MLOAD
000020b4: DUP1
000020b5: MLOAD
000020b6: PUSH1 0xe1
000020b8: PUSH1 0x02
000020ba: EXP
000020bb: PUSH4 0x011081c5
000020c0: MUL
000020c1: DUP3
000020c2: MSTORE
000020c3: PUSH1 0x01
000020c5: PUSH1 0xa0
000020c7: PUSH1 0x02
000020c9: EXP
000020ca: SUB
000020cb: AND
000020cc: PUSH1 0x04
000020ce: DUP3
000020cf: ADD
000020d0: MSTORE
000020d1: PUSH1 0x24
000020d3: DUP2
000020d4: ADD
000020d5: DUP7
000020d6: SWAP1
000020d7: MSTORE
000020d8: SWAP1
000020d9: MLOAD
000020da: PUSH1 0x44
000020dc: DUP1
000020dd: DUP4
000020de: ADD
000020df: SWAP4
000020e0: POP
000020e1: PUSH1 0x20
000020e3: SWAP3
000020e4: DUP3
000020e5: SWAP1
000020e6: SUB
000020e7: ADD
000020e8: DUP2
000020e9: PUSH1 0x00
000020eb: DUP8
000020ec: PUSH2 0x61da
000020ef: GAS
000020f0: SUB
000020f1: CALL
000020f2: ISZERO
000020f3: PUSH2 0x0002
000020f6: JUMPI
000020f7: POP
000020f8: POP
000020f9: PUSH1 0x40
000020fb: MLOAD
000020fc: MLOAD
000020fd: ISZERO
000020fe: ISZERO
000020ff: SWAP1
00002100: POP
00002101: PUSH2 0x2171
00002104: JUMPI
00002105: PUSH2 0x0002
00002108: JUMP
00002109: JUMPDEST
0000210a: PUSH1 0x40
0000210c: DUP1
0000210d: MLOAD
0000210e: PUSH1 0x08
00002110: SLOAD
00002111: PUSH1 0xe1
00002113: PUSH1 0x02
00002115: EXP
00002116: PUSH4 0x011081c5
0000211b: MUL
0000211c: DUP3
0000211d: MSTORE
0000211e: PUSH1 0x01
00002120: PUSH1 0xa0
00002122: PUSH1 0x02
00002124: EXP
00002125: SUB
00002126: DUP6
00002127: DUP2
00002128: AND
00002129: PUSH1 0x04
0000212b: DUP5
0000212c: ADD
0000212d: MSTORE
0000212e: PUSH1 0x24
00002130: DUP4
00002131: ADD
00002132: DUP6
00002133: SWAP1
00002134: MSTORE
00002135: SWAP3
00002136: MLOAD
00002137: SWAP3
00002138: AND
00002139: SWAP2
0000213a: PUSH4 0x0221038a
0000213f: SWAP2
00002140: PUSH1 0x44
00002142: DUP1
00002143: DUP3
00002144: ADD
00002145: SWAP3
00002146: PUSH1 0x20
00002148: SWAP3
00002149: SWAP1
0000214a: SWAP2
0000214b: SWAP1
0000214c: DUP3
0000214d: SWAP1
0000214e: SUB
0000214f: ADD
00002150: DUP2
00002151: PUSH1 0x00
00002153: DUP8
00002154: PUSH2 0x61da
00002157: GAS
00002158: SUB
00002159: CALL
0000215a: ISZERO
0000215b: PUSH2 0x0002
0000215e: JUMPI
0000215f: POP
00002160: POP
00002161: PUSH1 0x40
00002163: MLOAD
00002164: MLOAD
00002165: ISZERO
00002166: ISZERO
00002167: SWAP1
00002168: POP
00002169: PUSH2 0x2171
0000216c: JUMPI
0000216d: PUSH2 0x0002
00002170: JUMP
00002171: JUMPDEST
00002172: PUSH1 0x01
00002174: PUSH1 0xa0
00002176: PUSH1 0x02
00002178: EXP
00002179: SUB
0000217a: CALLER
0000217b: AND
0000217c: PUSH1 0x00
0000217e: SWAP1
0000217f: DUP2
00002180: MSTORE
00002181: PUSH1 0x09
00002183: PUSH1 0x20
00002185: MSTORE
00002186: PUSH1 0x40
00002188: SWAP1
00002189: KECCAK256
0000218a: DUP1
0000218b: SLOAD
0000218c: SWAP1
0000218d: SWAP2
0000218e: ADD
0000218f: SWAP1
00002190: SSTORE
00002191: POP
00002192: PUSH1 0x01
00002194: SWAP3
00002195: SWAP2
00002196: POP
00002197: POP
00002198: JUMP
00002199: JUMPDEST
0000219a: PUSH2 0x0a67
0000219d: CALLER
0000219e: PUSH2 0x0925
000021a1: JUMP
000021a2: JUMPDEST
000021a3: ISZERO
000021a4: JUMPDEST
000021a5: DUP1
000021a6: ISZERO
000021a7: PUSH2 0x21bf
000021aa: JUMPI
000021ab: POP
000021ac: PUSH2 0x21bf
000021af: CALLER
000021b0: DUP5
000021b1: DUP5
000021b2: JUMPDEST
000021b3: PUSH1 0x00
000021b5: PUSH1 0x00
000021b7: PUSH2 0x283b
000021ba: DUP6
000021bb: PUSH2 0x073a
000021be: JUMP
000021bf: JUMPDEST
000021c0: DUP1
000021c1: ISZERO
000021c2: PUSH2 0x21db
000021c5: JUMPI
000021c6: POP
000021c7: PUSH2 0x21db
000021ca: DUP4
000021cb: DUP4
000021cc: PUSH1 0x00
000021ce: PUSH1 0x00
000021d0: CALLVALUE
000021d1: GT
000021d2: ISZERO
000021d3: PUSH2 0x28cc
000021d6: JUMPI
000021d7: PUSH2 0x0002
000021da: JUMP
000021db: JUMPDEST
000021dc: ISZERO
000021dd: PUSH2 0x21e8
000021e0: JUMPI
000021e1: POP
000021e2: PUSH1 0x01
000021e4: PUSH2 0x0458
000021e7: JUMP
000021e8: JUMPDEST
000021e9: PUSH2 0x0002
000021ec: JUMP
000021ed: JUMPDEST
000021ee: ISZERO
000021ef: ISZERO
000021f0: PUSH2 0x21f8
000021f3: JUMPI
000021f4: PUSH2 0x0002
000021f7: JUMP
000021f8: JUMPDEST
000021f9: PUSH2 0x2202
000021fc: DUP4
000021fd: DUP4
000021fe: PUSH2 0x083a
00002201: JUMP
00002202: JUMPDEST
00002203: SWAP1
00002204: POP
00002205: PUSH2 0x0458
00002208: JUMP
00002209: JUMPDEST
0000220a: ISZERO
0000220b: JUMPDEST
0000220c: DUP1
0000220d: ISZERO
0000220e: PUSH2 0x221d
00002211: JUMPI
00002212: POP
00002213: PUSH2 0x221d
00002216: DUP5
00002217: DUP5
00002218: DUP5
00002219: PUSH2 0x21b2
0000221c: JUMP
0000221d: JUMPDEST
0000221e: DUP1
0000221f: ISZERO
00002220: PUSH2 0x223a
00002223: JUMPI
00002224: POP
00002225: PUSH2 0x223a
00002228: DUP5
00002229: DUP5
0000222a: DUP5
0000222b: PUSH1 0x00
0000222d: PUSH1 0x00
0000222f: CALLVALUE
00002230: GT
00002231: ISZERO
00002232: PUSH2 0x2971
00002235: JUMPI
00002236: PUSH2 0x0002
00002239: JUMP
0000223a: JUMPDEST
0000223b: ISZERO
0000223c: PUSH2 0x21e8
0000223f: JUMPI
00002240: POP
00002241: PUSH1 0x01
00002243: PUSH2 0x224a
00002246: JUMP
00002247: JUMPDEST
00002248: SWAP1
00002249: POP
0000224a: JUMPDEST
0000224b: SWAP4
0000224c: SWAP3
0000224d: POP
0000224e: POP
0000224f: POP
00002250: JUMP
00002251: JUMPDEST
00002252: ISZERO
00002253: ISZERO
00002254: PUSH2 0x225c
00002257: JUMPI
00002258: PUSH2 0x0002
0000225b: JUMP
0000225c: JUMPDEST
0000225d: PUSH2 0x2247
00002260: DUP5
00002261: DUP5
00002262: DUP5
00002263: PUSH2 0x059a
00002266: JUMP
00002267: JUMPDEST
00002268: ADDRESS
00002269: PUSH1 0x01
0000226b: PUSH1 0xa0
0000226d: PUSH1 0x02
0000226f: EXP
00002270: SUB
00002271: AND
00002272: CALLER
00002273: PUSH1 0x01
00002275: PUSH1 0xa0
00002277: PUSH1 0x02
00002279: EXP
0000227a: SUB
0000227b: AND
0000227c: EQ
0000227d: ISZERO
0000227e: DUP1
0000227f: PUSH2 0x22ac
00002282: JUMPI
00002283: POP
00002284: ADDRESS
00002285: PUSH1 0x01
00002287: PUSH1 0xa0
00002289: PUSH1 0x02
0000228b: EXP
0000228c: SUB
0000228d: AND
0000228e: PUSH1 0x00
00002290: SWAP1
00002291: DUP2
00002292: MSTORE
00002293: PUSH1 0x05
00002295: PUSH1 0x20
00002297: MSTORE
00002298: PUSH1 0x40
0000229a: SWAP1
0000229b: KECCAK256
0000229c: SLOAD
0000229d: PUSH1 0x64
0000229f: SWAP1
000022a0: PUSH2 0x22a7
000022a3: PUSH2 0x05cd
000022a6: JUMP
000022a7: JUMPDEST
000022a8: ADD
000022a9: DIV
000022aa: DUP2
000022ab: GT
000022ac: JUMPDEST
000022ad: ISZERO
000022ae: PUSH2 0x22b6
000022b1: JUMPI
000022b2: PUSH2 0x0002
000022b5: JUMP
000022b6: JUMPDEST
000022b7: PUSH1 0x0c
000022b9: SSTORE
000022ba: JUMP
000022bb: JUMPDEST
000022bc: PUSH1 0x03
000022be: SLOAD
000022bf: PUSH1 0x01
000022c1: PUSH1 0xa0
000022c3: PUSH1 0x02
000022c5: EXP
000022c6: SUB
000022c7: SWAP1
000022c8: DUP2
000022c9: AND
000022ca: CALLER
000022cb: SWAP2
000022cc: SWAP1
000022cd: SWAP2
000022ce: AND
000022cf: EQ
000022d0: PUSH2 0x22d8
000022d3: JUMPI
000022d4: PUSH2 0x0002
000022d7: JUMP
000022d8: JUMPDEST
000022d9: PUSH1 0x01
000022db: PUSH1 0xa0
000022dd: PUSH1 0x02
000022df: EXP
000022e0: SUB
000022e1: DUP4
000022e2: AND
000022e3: PUSH1 0x00
000022e5: DUP2
000022e6: DUP2
000022e7: MSTORE
000022e8: PUSH1 0x04
000022ea: PUSH1 0x20
000022ec: SWAP1
000022ed: DUP2
000022ee: MSTORE
000022ef: PUSH1 0x40
000022f1: SWAP2
000022f2: DUP3
000022f3: SWAP1
000022f4: KECCAK256
000022f5: DUP1
000022f6: SLOAD
000022f7: PUSH1 0xff
000022f9: NOT
000022fa: AND
000022fb: DUP7
000022fc: OR
000022fd: SWAP1
000022fe: SSTORE
000022ff: DUP2
00002300: MLOAD
00002301: DUP6
00002302: DUP2
00002303: MSTORE
00002304: SWAP2
00002305: MLOAD
00002306: PUSH32 0x73ad2a153c8b67991df9459024950b318a609782cee8c7eeda47b905f9baa91f
00002327: SWAP3
00002328: DUP2
00002329: SWAP1
0000232a: SUB
0000232b: SWAP1
0000232c: SWAP2
0000232d: ADD
0000232e: SWAP1
0000232f: LOG2
00002330: POP
00002331: PUSH1 0x01
00002333: PUSH2 0x0458
00002336: JUMP
00002337: JUMPDEST
00002338: POP
00002339: PUSH1 0x00
0000233b: PUSH2 0x0a6a
0000233e: JUMP
0000233f: JUMPDEST
00002340: PUSH1 0x01
00002342: PUSH1 0xa0
00002344: PUSH1 0x02
00002346: EXP
00002347: SUB
00002348: DUP4
00002349: AND
0000234a: PUSH1 0x00
0000234c: SWAP1
0000234d: DUP2
0000234e: MSTORE
0000234f: PUSH1 0x0b
00002351: PUSH1 0x20
00002353: MSTORE
00002354: PUSH1 0x40
00002356: DUP2
00002357: KECCAK256
00002358: SLOAD
00002359: DUP2
0000235a: SLOAD
0000235b: DUP2
0000235c: LT
0000235d: ISZERO
0000235e: PUSH2 0x0002
00002361: JUMPI
00002362: DUP2
00002363: DUP1
00002364: MSTORE
00002365: PUSH1 0x0e
00002367: MUL
00002368: PUSH1 0x00
0000236a: DUP1
0000236b: MLOAD
0000236c: PUSH1 0x20
0000236e: PUSH2 0x2a5d
00002371: DUP4
00002372: CODECOPY
00002373: DUP2
00002374: MLOAD
00002375: SWAP2
00002376: MSTORE
00002377: ADD
00002378: SWAP1
00002379: POP
0000237a: PUSH1 0x03
0000237c: DUP2
0000237d: ADD
0000237e: SLOAD
0000237f: SWAP1
00002380: SWAP2
00002381: POP
00002382: TIMESTAMP
00002383: GT
00002384: ISZERO
00002385: PUSH2 0x23aa
00002388: JUMPI
00002389: PUSH1 0x01
0000238b: PUSH1 0xa0
0000238d: PUSH1 0x02
0000238f: EXP
00002390: SUB
00002391: DUP4
00002392: AND
00002393: PUSH1 0x00
00002395: SWAP1
00002396: DUP2
00002397: MSTORE
00002398: PUSH1 0x0b
0000239a: PUSH1 0x20
0000239c: MSTORE
0000239d: PUSH1 0x40
0000239f: DUP2
000023a0: KECCAK256
000023a1: DUP2
000023a2: SWAP1
000023a3: SSTORE
000023a4: SWAP2
000023a5: POP
000023a6: PUSH2 0x23af
000023a9: JUMP
000023aa: JUMPDEST
000023ab: PUSH1 0x01
000023ad: SWAP2
000023ae: POP
000023af: JUMPDEST
000023b0: POP
000023b1: SWAP2
000023b2: SWAP1
000023b3: POP
000023b4: JUMP
000023b5: JUMPDEST
000023b6: PUSH1 0x40
000023b8: MLOAD
000023b9: PUSH1 0x12
000023bb: SLOAD
000023bc: PUSH1 0x14
000023be: CALLVALUE
000023bf: SWAP1
000023c0: DUP2
000023c1: MUL
000023c2: SWAP4
000023c3: SWAP1
000023c4: SWAP4
000023c5: DIV
000023c6: SWAP4
000023c7: POP
000023c8: PUSH1 0x01
000023ca: PUSH1 0xa0
000023cc: PUSH1 0x02
000023ce: EXP
000023cf: SUB
000023d0: AND
000023d1: SWAP2
000023d2: DUP4
000023d3: SWAP1
000023d4: SUB
000023d5: SWAP1
000023d6: PUSH1 0x00
000023d8: DUP2
000023d9: DUP2
000023da: DUP2
000023db: DUP6
000023dc: DUP8
000023dd: PUSH2 0x8502
000023e0: GAS
000023e1: SUB
000023e2: CALL
000023e3: POP
000023e4: POP
000023e5: POP
000023e6: POP
000023e7: PUSH1 0x01
000023e9: PUSH1 0xa0
000023eb: PUSH1 0x02
000023ed: EXP
000023ee: SUB
000023ef: DUP4
000023f0: AND
000023f1: PUSH1 0x00
000023f3: DUP2
000023f4: DUP2
000023f5: MSTORE
000023f6: PUSH1 0x14
000023f8: PUSH1 0x20
000023fa: SWAP1
000023fb: DUP2
000023fc: MSTORE
000023fd: PUSH1 0x40
000023ff: DUP1
00002400: DUP4
00002401: KECCAK256
00002402: DUP1
00002403: SLOAD
00002404: DUP7
00002405: ADD
00002406: SWAP1
00002407: SSTORE
00002408: PUSH1 0x16
0000240a: DUP1
0000240b: SLOAD
0000240c: DUP7
0000240d: ADD
0000240e: SWAP1
0000240f: SSTORE
00002410: PUSH1 0x13
00002412: DUP3
00002413: MSTORE
00002414: SWAP2
00002415: DUP3
00002416: SWAP1
00002417: KECCAK256
00002418: DUP1
00002419: SLOAD
0000241a: CALLVALUE
0000241b: ADD
0000241c: SWAP1
0000241d: SSTORE
0000241e: DUP2
0000241f: MLOAD
00002420: DUP5
00002421: DUP2
00002422: MSTORE
00002423: SWAP2
00002424: MLOAD
00002425: PUSH32 0xdbccb92686efceafb9bb7e0394df7f58f71b954061b81afb57109bf247d3d75a
00002446: SWAP3
00002447: DUP2
00002448: SWAP1
00002449: SUB
0000244a: SWAP1
0000244b: SWAP2
0000244c: ADD
0000244d: SWAP1
0000244e: LOG2
0000244f: PUSH1 0x10
00002451: SLOAD
00002452: PUSH1 0x16
00002454: SLOAD
00002455: LT
00002456: DUP1
00002457: ISZERO
00002458: SWAP1
00002459: PUSH2 0x2465
0000245c: JUMPI
0000245d: POP
0000245e: PUSH1 0x11
00002460: SLOAD
00002461: PUSH1 0xff
00002463: AND
00002464: ISZERO
00002465: JUMPDEST
00002466: ISZERO
00002467: PUSH2 0x23aa
0000246a: JUMPI
0000246b: PUSH1 0x11
0000246d: DUP1
0000246e: SLOAD
0000246f: PUSH1 0xff
00002471: NOT
00002472: AND
00002473: PUSH1 0x01
00002475: OR
00002476: SWAP1
00002477: SSTORE
00002478: PUSH1 0x16
0000247a: SLOAD
0000247b: PUSH1 0x40
0000247d: DUP1
0000247e: MLOAD
0000247f: SWAP2
00002480: DUP3
00002481: MSTORE
00002482: MLOAD
00002483: PUSH32 0xf381a3e2428fdda36615919e8d9c35878d9eb0cf85ac6edf575088e80e4c147e
000024a4: SWAP2
000024a5: DUP2
000024a6: SWAP1
000024a7: SUB
000024a8: PUSH1 0x20
000024aa: ADD
000024ab: SWAP1
000024ac: LOG1
000024ad: PUSH1 0x01
000024af: SWAP2
000024b0: POP
000024b1: PUSH2 0x23af
000024b4: JUMP
000024b5: JUMPDEST
000024b6: PUSH1 0x0f
000024b8: SLOAD
000024b9: TIMESTAMP
000024ba: GT
000024bb: DUP1
000024bc: ISZERO
000024bd: PUSH2 0x24c9
000024c0: JUMPI
000024c1: POP
000024c2: PUSH1 0x11
000024c4: SLOAD
000024c5: PUSH1 0xff
000024c7: AND
000024c8: ISZERO
000024c9: JUMPDEST
000024ca: ISZERO
000024cb: PUSH2 0x2675
000024ce: JUMPI
000024cf: PUSH1 0x40
000024d1: DUP1
000024d2: MLOAD
000024d3: PUSH1 0x12
000024d5: SLOAD
000024d6: PUSH1 0xe0
000024d8: PUSH1 0x02
000024da: EXP
000024db: PUSH4 0xd2cc718f
000024e0: MUL
000024e1: DUP3
000024e2: MSTORE
000024e3: SWAP2
000024e4: MLOAD
000024e5: PUSH1 0x01
000024e7: PUSH1 0xa0
000024e9: PUSH1 0x02
000024eb: EXP
000024ec: SUB
000024ed: SWAP3
000024ee: SWAP1
000024ef: SWAP3
000024f0: AND
000024f1: SWAP2
000024f2: PUSH4 0x0221038a
000024f7: SWAP2
000024f8: ADDRESS
000024f9: SWAP2
000024fa: DUP5
000024fb: SWAP2
000024fc: PUSH4 0xd2cc718f
00002501: SWAP2
00002502: PUSH1 0x04
00002504: DUP1
00002505: DUP4
00002506: ADD
00002507: SWAP3
00002508: PUSH1 0x20
0000250a: SWAP3
0000250b: SWAP2
0000250c: SWAP1
0000250d: DUP3
0000250e: SWAP1
0000250f: SUB
00002510: ADD
00002511: DUP2
00002512: PUSH1 0x00
00002514: DUP8
00002515: PUSH2 0x61da
00002518: GAS
00002519: SUB
0000251a: CALL
0000251b: ISZERO
0000251c: PUSH2 0x0002
0000251f: JUMPI
00002520: POP
00002521: POP
00002522: PUSH1 0x40
00002524: DUP1
00002525: MLOAD
00002526: DUP1
00002527: MLOAD
00002528: PUSH1 0xe1
0000252a: PUSH1 0x02
0000252c: EXP
0000252d: PUSH4 0x011081c5
00002532: MUL
00002533: DUP3
00002534: MSTORE
00002535: PUSH1 0x01
00002537: PUSH1 0xa0
00002539: PUSH1 0x02
0000253b: EXP
0000253c: SUB
0000253d: SWAP5
0000253e: SWAP1
0000253f: SWAP5
00002540: AND
00002541: PUSH1 0x04
00002543: DUP3
00002544: ADD
00002545: MSTORE
00002546: PUSH1 0x24
00002548: DUP2
00002549: ADD
0000254a: SWAP4
0000254b: SWAP1
0000254c: SWAP4
0000254d: MSTORE
0000254e: MLOAD
0000254f: PUSH1 0x44
00002551: DUP4
00002552: DUP2
00002553: ADD
00002554: SWAP4
00002555: PUSH1 0x20
00002557: SWAP4
00002558: POP
00002559: DUP3
0000255a: SWAP1
0000255b: SUB
0000255c: ADD
0000255d: DUP2
0000255e: PUSH1 0x00
00002560: DUP8
00002561: PUSH2 0x61da
00002564: GAS
00002565: SUB
00002566: CALL
00002567: ISZERO
00002568: PUSH2 0x0002
0000256b: JUMPI
0000256c: POP
0000256d: POP
0000256e: PUSH1 0x40
00002570: DUP1
00002571: MLOAD
00002572: PUSH1 0x01
00002574: PUSH1 0xa0
00002576: PUSH1 0x02
00002578: EXP
00002579: SUB
0000257a: CALLER
0000257b: AND
0000257c: PUSH1 0x00
0000257e: DUP2
0000257f: DUP2
00002580: MSTORE
00002581: PUSH1 0x13
00002583: PUSH1 0x20
00002585: MSTORE
00002586: SWAP3
00002587: DUP4
00002588: KECCAK256
00002589: SLOAD
0000258a: SWAP1
0000258b: SWAP4
0000258c: POP
0000258d: SWAP2
0000258e: DUP2
0000258f: DUP2
00002590: DUP2
00002591: DUP6
00002592: DUP8
00002593: PUSH2 0x8502
00002596: GAS
00002597: SUB
00002598: CALL
00002599: SWAP3
0000259a: POP
0000259b: POP
0000259c: POP
0000259d: ISZERO
0000259e: PUSH2 0x2675
000025a1: JUMPI
000025a2: PUSH1 0x40
000025a4: PUSH1 0x00
000025a6: DUP2
000025a7: DUP2
000025a8: KECCAK256
000025a9: PUSH1 0x01
000025ab: PUSH1 0xa0
000025ad: PUSH1 0x02
000025af: EXP
000025b0: SUB
000025b1: CALLER
000025b2: AND
000025b3: SWAP2
000025b4: DUP3
000025b5: SWAP1
000025b6: MSTORE
000025b7: PUSH1 0x13
000025b9: PUSH1 0x20
000025bb: SWAP1
000025bc: DUP2
000025bd: MSTORE
000025be: DUP4
000025bf: MLOAD
000025c0: SWAP2
000025c1: SLOAD
000025c2: DUP3
000025c3: MSTORE
000025c4: SWAP3
000025c5: MLOAD
000025c6: SWAP2
000025c7: SWAP3
000025c8: PUSH32 0xbb28353e4598c3b9199101a66e0989549b659a59a54d2c27fbb183f1932c8e6d
000025e9: SWAP3
000025ea: SWAP2
000025eb: DUP3
000025ec: SWAP1
000025ed: SUB
000025ee: ADD
000025ef: SWAP1
000025f0: LOG2
000025f1: PUSH1 0x14
000025f3: PUSH1 0x00
000025f5: POP
000025f6: PUSH1 0x00
000025f8: CALLER
000025f9: PUSH1 0x01
000025fb: PUSH1 0xa0
000025fd: PUSH1 0x02
000025ff: EXP
00002600: SUB
00002601: AND
00002602: DUP2
00002603: MSTORE
00002604: PUSH1 0x20
00002606: ADD
00002607: SWAP1
00002608: DUP2
00002609: MSTORE
0000260a: PUSH1 0x20
0000260c: ADD
0000260d: PUSH1 0x00
0000260f: KECCAK256
00002610: PUSH1 0x00
00002612: POP
00002613: SLOAD
00002614: PUSH1 0x16
00002616: PUSH1 0x00
00002618: DUP3
00002619: DUP3
0000261a: DUP3
0000261b: POP
0000261c: SLOAD
0000261d: SUB
0000261e: SWAP3
0000261f: POP
00002620: POP
00002621: DUP2
00002622: SWAP1
00002623: SSTORE
00002624: POP
00002625: PUSH1 0x00
00002627: PUSH1 0x14
00002629: PUSH1 0x00
0000262b: POP
0000262c: PUSH1 0x00
0000262e: CALLER
0000262f: PUSH1 0x01
00002631: PUSH1 0xa0
00002633: PUSH1 0x02
00002635: EXP
00002636: SUB
00002637: AND
00002638: DUP2
00002639: MSTORE
0000263a: PUSH1 0x20
0000263c: ADD
0000263d: SWAP1
0000263e: DUP2
0000263f: MSTORE
00002640: PUSH1 0x20
00002642: ADD
00002643: PUSH1 0x00
00002645: KECCAK256
00002646: PUSH1 0x00
00002648: POP
00002649: DUP2
0000264a: SWAP1
0000264b: SSTORE
0000264c: POP
0000264d: PUSH1 0x00
0000264f: PUSH1 0x13
00002651: PUSH1 0x00
00002653: POP
00002654: PUSH1 0x00
00002656: CALLER
00002657: PUSH1 0x01
00002659: PUSH1 0xa0
0000265b: PUSH1 0x02
0000265d: EXP
0000265e: SUB
0000265f: AND
00002660: DUP2
00002661: MSTORE
00002662: PUSH1 0x20
00002664: ADD
00002665: SWAP1
00002666: DUP2
00002667: MSTORE
00002668: PUSH1 0x20
0000266a: ADD
0000266b: PUSH1 0x00
0000266d: KECCAK256
0000266e: PUSH1 0x00
00002670: POP
00002671: DUP2
00002672: SWAP1
00002673: SSTORE
00002674: POP
00002675: JUMPDEST
00002676: JUMP
00002677: JUMPDEST
00002678: TIMESTAMP
00002679: PUSH3 0x054600
0000267d: PUSH1 0x0f
0000267f: PUSH1 0x00
00002681: POP
00002682: SLOAD
00002683: SUB
00002684: GT
00002685: ISZERO
00002686: PUSH2 0x26a5
00002689: JUMPI
0000268a: PUSH3 0x015180
0000268e: PUSH3 0x127500
00002692: PUSH1 0x0f
00002694: PUSH1 0x00
00002696: POP
00002697: SLOAD
00002698: SUB
00002699: TIMESTAMP
0000269a: SUB
0000269b: DIV
0000269c: PUSH1 0x14
0000269e: ADD
0000269f: SWAP1
000026a0: POP
000026a1: PUSH2 0x0a6a
000026a4: JUMP
000026a5: JUMPDEST
000026a6: POP
000026a7: PUSH1 0x1e
000026a9: PUSH2 0x0a6a
000026ac: JUMP
000026ad: JUMPDEST
000026ae: PUSH1 0x01
000026b0: PUSH1 0xa0
000026b2: PUSH1 0x02
000026b4: EXP
000026b5: SUB
000026b6: DUP4
000026b7: DUP2
000026b8: AND
000026b9: PUSH1 0x00
000026bb: SWAP1
000026bc: DUP2
000026bd: MSTORE
000026be: PUSH1 0x0a
000026c0: PUSH1 0x20
000026c2: SWAP1
000026c3: DUP2
000026c4: MSTORE
000026c5: PUSH1 0x40
000026c7: DUP1
000026c8: DUP4
000026c9: KECCAK256
000026ca: SLOAD
000026cb: PUSH1 0x16
000026cd: SLOAD
000026ce: PUSH1 0x07
000026d0: SLOAD
000026d1: DUP4
000026d2: MLOAD
000026d3: PUSH1 0xe0
000026d5: PUSH1 0x02
000026d7: EXP
000026d8: PUSH4 0xd2cc718f
000026dd: MUL
000026de: DUP2
000026df: MSTORE
000026e0: SWAP4
000026e1: MLOAD
000026e2: SWAP3
000026e3: SWAP7
000026e4: SWAP2
000026e5: SWAP6
000026e6: SWAP2
000026e7: AND
000026e8: SWAP4
000026e9: PUSH4 0xd2cc718f
000026ee: SWAP4
000026ef: PUSH1 0x04
000026f1: DUP2
000026f2: DUP2
000026f3: ADD
000026f4: SWAP5
000026f5: SWAP3
000026f6: SWAP4
000026f7: SWAP2
000026f8: DUP4
000026f9: SWAP1
000026fa: SUB
000026fb: ADD
000026fc: SWAP1
000026fd: DUP3
000026fe: SWAP1
000026ff: DUP8
00002700: PUSH2 0x61da
00002703: GAS
00002704: SUB
00002705: CALL
00002706: ISZERO
00002707: PUSH2 0x0002
0000270a: JUMPI
0000270b: POP
0000270c: POP
0000270d: PUSH1 0x40
0000270f: MLOAD
00002710: MLOAD
00002711: SWAP1
00002712: POP
00002713: PUSH2 0x271b
00002716: DUP7
00002717: PUSH2 0x073a
0000271a: JUMP
0000271b: JUMPDEST
0000271c: MUL
0000271d: DIV
0000271e: LT
0000271f: ISZERO
00002720: PUSH2 0x2728
00002723: JUMPI
00002724: PUSH2 0x0002
00002727: JUMP
00002728: JUMPDEST
00002729: PUSH1 0x01
0000272b: PUSH1 0xa0
0000272d: PUSH1 0x02
0000272f: EXP
00002730: SUB
00002731: DUP4
00002732: DUP2
00002733: AND
00002734: PUSH1 0x00
00002736: SWAP1
00002737: DUP2
00002738: MSTORE
00002739: PUSH1 0x0a
0000273b: PUSH1 0x20
0000273d: SWAP1
0000273e: DUP2
0000273f: MSTORE
00002740: PUSH1 0x40
00002742: DUP1
00002743: DUP4
00002744: KECCAK256
00002745: SLOAD
00002746: PUSH1 0x16
00002748: SLOAD
00002749: PUSH1 0x07
0000274b: SLOAD
0000274c: DUP4
0000274d: MLOAD
0000274e: PUSH1 0xe0
00002750: PUSH1 0x02
00002752: EXP
00002753: PUSH4 0xd2cc718f
00002758: MUL
00002759: DUP2
0000275a: MSTORE
0000275b: SWAP4
0000275c: MLOAD
0000275d: SWAP3
0000275e: SWAP7
0000275f: SWAP2
00002760: SWAP6
00002761: SWAP2
00002762: AND
00002763: SWAP4
00002764: PUSH4 0xd2cc718f
00002769: SWAP4
0000276a: PUSH1 0x04
0000276c: DUP2
0000276d: DUP2
0000276e: ADD
0000276f: SWAP5
00002770: SWAP3
00002771: SWAP4
00002772: SWAP2
00002773: DUP4
00002774: SWAP1
00002775: SUB
00002776: ADD
00002777: SWAP1
00002778: DUP3
00002779: SWAP1
0000277a: DUP8
0000277b: PUSH2 0x61da
0000277e: GAS
0000277f: SUB
00002780: CALL
00002781: ISZERO
00002782: PUSH2 0x0002
00002785: JUMPI
00002786: POP
00002787: POP
00002788: PUSH1 0x40
0000278a: MLOAD
0000278b: MLOAD
0000278c: SWAP1
0000278d: POP
0000278e: PUSH2 0x2796
00002791: DUP7
00002792: PUSH2 0x073a
00002795: JUMP
00002796: JUMPDEST
00002797: MUL
00002798: DIV
00002799: SUB
0000279a: SWAP1
0000279b: POP
0000279c: PUSH1 0x07
0000279e: PUSH1 0x00
000027a0: SWAP1
000027a1: SLOAD
000027a2: SWAP1
000027a3: PUSH2 0x0100
000027a6: EXP
000027a7: SWAP1
000027a8: DIV
000027a9: PUSH1 0x01
000027ab: PUSH1 0xa0
000027ad: PUSH1 0x02
000027af: EXP
000027b0: SUB
000027b1: AND
000027b2: PUSH1 0x01
000027b4: PUSH1 0xa0
000027b6: PUSH1 0x02
000027b8: EXP
000027b9: SUB
000027ba: AND
000027bb: PUSH4 0x0221038a
000027c0: DUP5
000027c1: DUP4
000027c2: PUSH1 0x40
000027c4: MLOAD
000027c5: DUP4
000027c6: PUSH1 0xe0
000027c8: PUSH1 0x02
000027ca: EXP
000027cb: MUL
000027cc: DUP2
000027cd: MSTORE
000027ce: PUSH1 0x04
000027d0: ADD
000027d1: DUP1
000027d2: DUP4
000027d3: PUSH1 0x01
000027d5: PUSH1 0xa0
000027d7: PUSH1 0x02
000027d9: EXP
000027da: SUB
000027db: AND
000027dc: DUP2
000027dd: MSTORE
000027de: PUSH1 0x20
000027e0: ADD
000027e1: DUP3
000027e2: DUP2
000027e3: MSTORE
000027e4: PUSH1 0x20
000027e6: ADD
000027e7: SWAP3
000027e8: POP
000027e9: POP
000027ea: POP
000027eb: PUSH1 0x20
000027ed: PUSH1 0x40
000027ef: MLOAD
000027f0: DUP1
000027f1: DUP4
000027f2: SUB
000027f3: DUP2
000027f4: PUSH1 0x00
000027f6: DUP8
000027f7: PUSH2 0x61da
000027fa: GAS
000027fb: SUB
000027fc: CALL
000027fd: ISZERO
000027fe: PUSH2 0x0002
00002801: JUMPI
00002802: POP
00002803: POP
00002804: PUSH1 0x40
00002806: MLOAD
00002807: MLOAD
00002808: ISZERO
00002809: ISZERO
0000280a: SWAP1
0000280b: POP
0000280c: PUSH2 0x2814
0000280f: JUMPI
00002810: PUSH2 0x0002
00002813: JUMP
00002814: JUMPDEST
00002815: PUSH1 0x01
00002817: PUSH1 0xa0
00002819: PUSH1 0x02
0000281b: EXP
0000281c: SUB
0000281d: DUP4
0000281e: AND
0000281f: PUSH1 0x00
00002821: SWAP1
00002822: DUP2
00002823: MSTORE
00002824: PUSH1 0x0a
00002826: PUSH1 0x20
00002828: MSTORE
00002829: PUSH1 0x40
0000282b: SWAP1
0000282c: KECCAK256
0000282d: DUP1
0000282e: SLOAD
0000282f: DUP3
00002830: ADD
00002831: SWAP1
00002832: SSTORE
00002833: PUSH1 0x01
00002835: SWAP2
00002836: POP
00002837: PUSH2 0x23af
0000283a: JUMP
0000283b: JUMPDEST
0000283c: PUSH1 0x01
0000283e: PUSH1 0xa0
00002840: PUSH1 0x02
00002842: EXP
00002843: SUB
00002844: DUP7
00002845: AND
00002846: PUSH1 0x00
00002848: SWAP1
00002849: DUP2
0000284a: MSTORE
0000284b: PUSH1 0x0a
0000284d: PUSH1 0x20
0000284f: MSTORE
00002850: PUSH1 0x40
00002852: SWAP1
00002853: KECCAK256
00002854: SLOAD
00002855: DUP1
00002856: DUP6
00002857: MUL
00002858: SWAP2
00002859: SWAP1
0000285a: SWAP2
0000285b: DIV
0000285c: SWAP2
0000285d: POP
0000285e: DUP2
0000285f: GT
00002860: ISZERO
00002861: PUSH2 0x2869
00002864: JUMPI
00002865: PUSH2 0x0002
00002868: JUMP
00002869: JUMPDEST
0000286a: PUSH1 0x01
0000286c: PUSH1 0xa0
0000286e: PUSH1 0x02
00002870: EXP
00002871: SUB
00002872: DUP6
00002873: DUP2
00002874: AND
00002875: PUSH1 0x00
00002877: SWAP1
00002878: DUP2
00002879: MSTORE
0000287a: PUSH1 0x0a
0000287c: PUSH1 0x20
0000287e: MSTORE
0000287f: PUSH1 0x40
00002881: DUP1
00002882: DUP3
00002883: KECCAK256
00002884: DUP1
00002885: SLOAD
00002886: DUP6
00002887: SWAP1
00002888: SUB
00002889: SWAP1
0000288a: SSTORE
0000288b: SWAP2
0000288c: DUP7
0000288d: AND
0000288e: DUP2
0000288f: MSTORE
00002890: KECCAK256
00002891: DUP1
00002892: SLOAD
00002893: DUP3
00002894: ADD
00002895: SWAP1
00002896: SSTORE
00002897: PUSH1 0x01
00002899: SWAP2
0000289a: POP
0000289b: POP
0000289c: SWAP4
0000289d: SWAP3
0000289e: POP
0000289f: POP
000028a0: POP
000028a1: JUMP
000028a2: JUMPDEST
000028a3: POP
000028a4: PUSH1 0x00
000028a6: PUSH2 0x0754
000028a9: JUMP
000028aa: JUMPDEST
000028ab: ADD
000028ac: PUSH1 0x03
000028ae: MUL
000028af: PUSH1 0x16
000028b1: PUSH1 0x00
000028b3: POP
000028b4: SLOAD
000028b5: DUP4
000028b6: MUL
000028b7: DIV
000028b8: PUSH1 0x01
000028ba: PUSH1 0x00
000028bc: POP
000028bd: SLOAD
000028be: PUSH1 0x16
000028c0: PUSH1 0x00
000028c2: POP
000028c3: SLOAD
000028c4: DIV
000028c5: ADD
000028c6: SWAP1
000028c7: POP
000028c8: PUSH2 0x0754
000028cb: JUMP
000028cc: JUMPDEST
000028cd: PUSH1 0x01
000028cf: PUSH1 0xa0
000028d1: PUSH1 0x02
000028d3: EXP
000028d4: SUB
000028d5: CALLER
000028d6: AND
000028d7: PUSH1 0x00
000028d9: SWAP1
000028da: DUP2
000028db: MSTORE
000028dc: PUSH1 0x14
000028de: PUSH1 0x20
000028e0: MSTORE
000028e1: PUSH1 0x40
000028e3: SWAP1
000028e4: KECCAK256
000028e5: SLOAD
000028e6: DUP3
000028e7: SWAP1
000028e8: LT
000028e9: DUP1
000028ea: ISZERO
000028eb: SWAP1
000028ec: PUSH2 0x28f5
000028ef: JUMPI
000028f0: POP
000028f1: PUSH1 0x00
000028f3: DUP3
000028f4: GT
000028f5: JUMPDEST
000028f6: ISZERO
000028f7: PUSH2 0x2969
000028fa: JUMPI
000028fb: PUSH1 0x01
000028fd: PUSH1 0xa0
000028ff: PUSH1 0x02
00002901: EXP
00002902: SUB
00002903: CALLER
00002904: DUP2
00002905: AND
00002906: PUSH1 0x00
00002908: DUP2
00002909: DUP2
0000290a: MSTORE
0000290b: PUSH1 0x14
0000290d: PUSH1 0x20
0000290f: SWAP1
00002910: DUP2
00002911: MSTORE
00002912: PUSH1 0x40
00002914: DUP1
00002915: DUP4
00002916: KECCAK256
00002917: DUP1
00002918: SLOAD
00002919: DUP9
0000291a: SWAP1
0000291b: SUB
0000291c: SWAP1
0000291d: SSTORE
0000291e: SWAP4
0000291f: DUP8
00002920: AND
00002921: DUP1
00002922: DUP4
00002923: MSTORE
00002924: SWAP2
00002925: DUP5
00002926: SWAP1
00002927: KECCAK256
00002928: DUP1
00002929: SLOAD
0000292a: DUP8
0000292b: ADD
0000292c: SWAP1
0000292d: SSTORE
0000292e: DUP4
0000292f: MLOAD
00002930: DUP7
00002931: DUP2
00002932: MSTORE
00002933: SWAP4
00002934: MLOAD
00002935: SWAP2
00002936: SWAP4
00002937: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002958: SWAP3
00002959: SWAP1
0000295a: DUP2
0000295b: SWAP1
0000295c: SUB
0000295d: SWAP1
0000295e: SWAP2
0000295f: ADD
00002960: SWAP1
00002961: LOG3
00002962: POP
00002963: PUSH1 0x01
00002965: PUSH2 0x0458
00002968: JUMP
00002969: JUMPDEST
0000296a: POP
0000296b: PUSH1 0x00
0000296d: PUSH2 0x0458
00002970: JUMP
00002971: JUMPDEST
00002972: PUSH1 0x01
00002974: PUSH1 0xa0
00002976: PUSH1 0x02
00002978: EXP
00002979: SUB
0000297a: DUP5
0000297b: AND
0000297c: PUSH1 0x00
0000297e: SWAP1
0000297f: DUP2
00002980: MSTORE
00002981: PUSH1 0x14
00002983: PUSH1 0x20
00002985: MSTORE
00002986: PUSH1 0x40
00002988: SWAP1
00002989: KECCAK256
0000298a: SLOAD
0000298b: DUP3
0000298c: SWAP1
0000298d: LT
0000298e: DUP1
0000298f: ISZERO
00002990: SWAP1
00002991: PUSH2 0x29ba
00002994: JUMPI
00002995: POP
00002996: PUSH1 0x15
00002998: PUSH1 0x20
0000299a: SWAP1
0000299b: DUP2
0000299c: MSTORE
0000299d: PUSH1 0x40
0000299f: PUSH1 0x00
000029a1: DUP2
000029a2: DUP2
000029a3: KECCAK256
000029a4: PUSH1 0x01
000029a6: PUSH1 0xa0
000029a8: PUSH1 0x02
000029aa: EXP
000029ab: SUB
000029ac: CALLER
000029ad: AND
000029ae: DUP3
000029af: MSTORE
000029b0: SWAP1
000029b1: SWAP3
000029b2: MSTORE
000029b3: SWAP1
000029b4: KECCAK256
000029b5: SLOAD
000029b6: DUP3
000029b7: SWAP1
000029b8: LT
000029b9: ISZERO
000029ba: JUMPDEST
000029bb: DUP1
000029bc: ISZERO
000029bd: PUSH2 0x29c6
000029c0: JUMPI
000029c1: POP
000029c2: PUSH1 0x00
000029c4: DUP3
000029c5: GT
000029c6: JUMPDEST
000029c7: ISZERO
000029c8: PUSH2 0x2a55
000029cb: JUMPI
000029cc: PUSH1 0x01
000029ce: PUSH1 0xa0
000029d0: PUSH1 0x02
000029d2: EXP
000029d3: SUB
000029d4: DUP4
000029d5: DUP2
000029d6: AND
000029d7: PUSH1 0x00
000029d9: DUP2
000029da: DUP2
000029db: MSTORE
000029dc: PUSH1 0x14
000029de: PUSH1 0x20
000029e0: SWAP1
000029e1: DUP2
000029e2: MSTORE
000029e3: PUSH1 0x40
000029e5: DUP1
000029e6: DUP4
000029e7: KECCAK256
000029e8: DUP1
000029e9: SLOAD
000029ea: DUP9
000029eb: ADD
000029ec: SWAP1
000029ed: SSTORE
000029ee: DUP9
000029ef: DUP6
000029f0: AND
000029f1: DUP1
000029f2: DUP5
000029f3: MSTORE
000029f4: DUP2
000029f5: DUP5
000029f6: KECCAK256
000029f7: DUP1
000029f8: SLOAD
000029f9: DUP10
000029fa: SWAP1
000029fb: SUB
000029fc: SWAP1
000029fd: SSTORE
000029fe: PUSH1 0x15
00002a00: DUP4
00002a01: MSTORE
00002a02: DUP2
00002a03: DUP5
00002a04: KECCAK256
00002a05: CALLER
00002a06: SWAP7
00002a07: SWAP1
00002a08: SWAP7
00002a09: AND
00002a0a: DUP5
00002a0b: MSTORE
00002a0c: SWAP5
00002a0d: DUP3
00002a0e: MSTORE
00002a0f: SWAP2
00002a10: DUP3
00002a11: SWAP1
00002a12: KECCAK256
00002a13: DUP1
00002a14: SLOAD
00002a15: DUP8
00002a16: SWAP1
00002a17: SUB
00002a18: SWAP1
00002a19: SSTORE
00002a1a: DUP2
00002a1b: MLOAD
00002a1c: DUP7
00002a1d: DUP2
00002a1e: MSTORE
00002a1f: SWAP2
00002a20: MLOAD
00002a21: SWAP3
00002a22: SWAP4
00002a23: SWAP3
00002a24: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002a45: SWAP3
00002a46: DUP2
00002a47: SWAP1
00002a48: SUB
00002a49: SWAP1
00002a4a: SWAP2
00002a4b: ADD
00002a4c: SWAP1
00002a4d: LOG3
00002a4e: POP
00002a4f: PUSH1 0x01
00002a51: PUSH2 0x224a
00002a54: JUMP
00002a55: JUMPDEST
00002a56: POP
00002a57: PUSH1 0x00
00002a59: PUSH2 0x224a
00002a5c: JUMP
00002a5d: UNKNOWN(0x29)
00002a5e: UNKNOWN(0x0D)
00002a5f: UNKNOWN(0xEC)
00002a60: UNKNOWN(0xD9)
00002a61: SLOAD
00002a62: DUP12
00002a63: PUSH3 0xa8d603
00002a67: GASLIMIT
00002a68: UNKNOWN(0xA9)
00002a69: DUP9
00002a6a: CODESIZE
00002a6b: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5
00002a7c: PUSH4
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x5daf55d0334aab5b9b8ddfe7884be5e2f197fa18223646a31cb2c1b23b7b5522 call_targets: 0xa0375be0efe09c67de9203cb8331a775cad16c8c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x5daf55d0334aab5b9b8ddfe7884be5e2f197fa18223646a31cb2c1b23b7b5522", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa0375be0efe09c67de9203cb8331a775cad16c8c" ], "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": "0x013cf08b", "selector": "0x013cf08b", "calldata_variants": [ "0x013cf08b", "0x013cf08b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0c3b7b96", "selector": "0x0c3b7b96", "calldata_variants": [ "0x0c3b7b96", "0x0c3b7b960000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0e708203", "selector": "0x0e708203", "calldata_variants": [ "0x0e708203", "0x0e7082030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x149acf9a", "selector": "0x149acf9a", "calldata_variants": [ "0x149acf9a", "0x149acf9a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1f2dc5ef", "selector": "0x1f2dc5ef", "calldata_variants": [ "0x1f2dc5ef", "0x1f2dc5ef0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x21b5b8dd", "selector": "0x21b5b8dd", "calldata_variants": [ "0x21b5b8dd", "0x21b5b8dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3233, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3991, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4320, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 25, "guards_detected": [], "untrusted_call_count": 25 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x5daf55d0334aab5b9b8ddfe7884be5e2f197fa18223646a31cb2c1b23b7b5522 call_targets: 0xa0375be0efe09c67de9203cb8331a775cad16c8c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x5daf55d0334aab5b9b8ddfe7884be5e2f197fa18223646a31cb2c1b23b7b5522", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa0375be0efe09c67de9203cb8331a775cad16c8c" ], "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": "0x013cf08b", "selector": "0x013cf08b", "calldata_variants": [ "0x013cf08b", "0x013cf08b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0c3b7b96", "selector": "0x0c3b7b96", "calldata_variants": [ "0x0c3b7b96", "0x0c3b7b960000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0e708203", "selector": "0x0e708203", "calldata_variants": [ "0x0e708203", "0x0e7082030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x149acf9a", "selector": "0x149acf9a", "calldata_variants": [ "0x149acf9a", "0x149acf9a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1f2dc5ef", "selector": "0x1f2dc5ef", "calldata_variants": [ "0x1f2dc5ef", "0x1f2dc5ef0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x21b5b8dd", "selector": "0x21b5b8dd", "calldata_variants": [ "0x21b5b8dd", "0x21b5b8dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3233, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3991, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4320, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 25, "guards_detected": [] }
Severity