TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b477e-b332-7186-9efc-e92ff208ac5f

complete
Chain ID
1
Address
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?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
ETH value transfer possible
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
22503 artifact.fetch complete 1 / 3 3 months ago
22504 tool.cast_disasm complete 1 / 3 3 months ago
65502 analysis.bundle complete 1 / 3 1 week ago
65503 capability.graph complete 1 / 3 1 week ago
65504 detector.run complete 1 / 3 1 week ago
65505 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
1
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
1
Total opcodes
6479
Flags
selfdestruct_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0378
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH3 0x65318b
00000039: DUP2
0000003a: EQ
0000003b: PUSH2 0x037d
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x04729a8d
00000045: EQ
00000046: PUSH2 0x03b0
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x06fdde03
00000050: EQ
00000051: PUSH2 0x03cb
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x08ff90e0
0000005b: EQ
0000005c: PUSH2 0x0455
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x0ebb0d30
00000066: EQ
00000067: PUSH2 0x046a
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x10d0ffdd
00000071: EQ
00000072: PUSH2 0x048b
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x117a4425
0000007c: EQ
0000007d: PUSH2 0x04a3
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x18160ddd
00000087: EQ
00000088: PUSH2 0x04bd
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x181f4180
00000092: EQ
00000093: PUSH2 0x04d2
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x1ddd303d
0000009d: EQ
0000009e: PUSH2 0x04e7
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0x1f2698ab
000000a8: EQ
000000a9: PUSH2 0x04ff
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0x22609373
000000b3: EQ
000000b4: PUSH2 0x0528
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0x22dc8e71
000000be: EQ
000000bf: PUSH2 0x0540
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0x289fa844
000000c9: EQ
000000ca: PUSH2 0x0558
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0x313ce567
000000d4: EQ
000000d5: PUSH2 0x056d
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0x327683bb
000000df: EQ
000000e0: PUSH2 0x0598
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0x34fa2d43
000000ea: EQ
000000eb: PUSH2 0x05b0
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0x36684752
000000f5: EQ
000000f6: PUSH2 0x05c5
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0x392efb52
00000100: EQ
00000101: PUSH2 0x05da
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x3a7d773b
0000010b: EQ
0000010c: PUSH2 0x05f2
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x3c4ae1ee
00000116: EQ
00000117: PUSH2 0x0607
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x3ccfd60b
00000121: EQ
00000122: PUSH2 0x061c
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x4a208c38
0000012c: EQ
0000012d: PUSH2 0x0631
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x4b750334
00000137: EQ
00000138: PUSH2 0x0649
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0x527ba1e1
00000142: EQ
00000143: PUSH2 0x065e
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0x5b6a7ec8
0000014d: EQ
0000014e: PUSH2 0x0676
00000151: JUMPI
00000152: DUP1
00000153: PUSH4 0x614a31bf
00000158: EQ
00000159: PUSH2 0x068b
0000015c: JUMPI
0000015d: DUP1
0000015e: PUSH4 0x61677d4d
00000163: EQ
00000164: PUSH2 0x06a3
00000167: JUMPI
00000168: DUP1
00000169: PUSH4 0x63f82d61
0000016e: EQ
0000016f: PUSH2 0x06b8
00000172: JUMPI
00000173: DUP1
00000174: PUSH4 0x6537e401
00000179: EQ
0000017a: PUSH2 0x06cd
0000017d: JUMPI
0000017e: DUP1
0000017f: PUSH4 0x688abbf7
00000184: EQ
00000185: PUSH2 0x06e5
00000188: JUMPI
00000189: DUP1
0000018a: PUSH4 0x6b2f4632
0000018f: EQ
00000190: PUSH2 0x06ff
00000193: JUMPI
00000194: DUP1
00000195: PUSH4 0x70a08231
0000019a: EQ
0000019b: PUSH2 0x0714
0000019e: JUMPI
0000019f: DUP1
000001a0: PUSH4 0x72cee8ea
000001a5: EQ
000001a6: PUSH2 0x0735
000001a9: JUMPI
000001aa: DUP1
000001ab: PUSH4 0x7367352d
000001b0: EQ
000001b1: PUSH2 0x075c
000001b4: JUMPI
000001b5: DUP1
000001b6: PUSH4 0x759de398
000001bb: EQ
000001bc: PUSH2 0x0771
000001bf: JUMPI
000001c0: DUP1
000001c1: PUSH4 0x78c7db00
000001c6: EQ
000001c7: PUSH2 0x0786
000001ca: JUMPI
000001cb: DUP1
000001cc: PUSH4 0x7a1c39cb
000001d1: EQ
000001d2: PUSH2 0x079b
000001d5: JUMPI
000001d6: DUP1
000001d7: PUSH4 0x7c6b2d6a
000001dc: EQ
000001dd: PUSH2 0x07b3
000001e0: JUMPI
000001e1: DUP1
000001e2: PUSH4 0x817c8966
000001e7: EQ
000001e8: PUSH2 0x07cb
000001eb: JUMPI
000001ec: DUP1
000001ed: PUSH4 0x81e6e083
000001f2: EQ
000001f3: PUSH2 0x07ec
000001f6: JUMPI
000001f7: DUP1
000001f8: PUSH4 0x8620410b
000001fd: EQ
000001fe: PUSH2 0x0801
00000201: JUMPI
00000202: DUP1
00000203: PUSH4 0x87c95058
00000208: EQ
00000209: PUSH2 0x0816
0000020c: JUMPI
0000020d: DUP1
0000020e: PUSH4 0x8b349c35
00000213: EQ
00000214: PUSH2 0x083c
00000217: JUMPI
00000218: DUP1
00000219: PUSH4 0x8f16eb1a
0000021e: EQ
0000021f: PUSH2 0x0851
00000222: JUMPI
00000223: DUP1
00000224: PUSH4 0x92162de7
00000229: EQ
0000022a: PUSH2 0x0869
0000022d: JUMPI
0000022e: DUP1
0000022f: PUSH4 0x949e8acd
00000234: EQ
00000235: PUSH2 0x087e
00000238: JUMPI
00000239: DUP1
0000023a: PUSH4 0x95d89b41
0000023f: EQ
00000240: PUSH2 0x0893
00000243: JUMPI
00000244: DUP1
00000245: PUSH4 0x9d6d2321
0000024a: EQ
0000024b: PUSH2 0x08a8
0000024e: JUMPI
0000024f: DUP1
00000250: PUSH4 0xa6b57b6d
00000255: EQ
00000256: PUSH2 0x08c9
00000259: JUMPI
0000025a: DUP1
0000025b: PUSH4 0xa9059cbb
00000260: EQ
00000261: PUSH2 0x08de
00000264: JUMPI
00000265: DUP1
00000266: PUSH4 0xafa2a83f
0000026b: EQ
0000026c: PUSH2 0x0902
0000026f: JUMPI
00000270: DUP1
00000271: PUSH4 0xb263c00c
00000276: EQ
00000277: PUSH2 0x0917
0000027a: JUMPI
0000027b: DUP1
0000027c: PUSH4 0xb530700d
00000281: EQ
00000282: PUSH2 0x092f
00000285: JUMPI
00000286: DUP1
00000287: PUSH4 0xb6db75a0
0000028c: EQ
0000028d: PUSH2 0x0944
00000290: JUMPI
00000291: DUP1
00000292: PUSH4 0xb84c8246
00000297: EQ
00000298: PUSH2 0x0959
0000029b: JUMPI
0000029c: DUP1
0000029d: PUSH4 0xbe9a6555
000002a2: EQ
000002a3: PUSH2 0x09b2
000002a6: JUMPI
000002a7: DUP1
000002a8: PUSH4 0xc47f0027
000002ad: EQ
000002ae: PUSH2 0x09c7
000002b1: JUMPI
000002b2: DUP1
000002b3: PUSH4 0xc549e4e9
000002b8: EQ
000002b9: PUSH2 0x0a20
000002bc: JUMPI
000002bd: DUP1
000002be: PUSH4 0xc6461625
000002c3: EQ
000002c4: PUSH2 0x0a38
000002c7: JUMPI
000002c8: DUP1
000002c9: PUSH4 0xcf09e0d0
000002ce: EQ
000002cf: PUSH2 0x0a50
000002d2: JUMPI
000002d3: DUP1
000002d4: PUSH4 0xd0a05fea
000002d9: EQ
000002da: PUSH2 0x0a65
000002dd: JUMPI
000002de: DUP1
000002df: PUSH4 0xd3ee99cf
000002e4: EQ
000002e5: PUSH2 0x0a7d
000002e8: JUMPI
000002e9: DUP1
000002ea: PUSH4 0xd46d0a22
000002ef: EQ
000002f0: PUSH2 0x0a92
000002f3: JUMPI
000002f4: DUP1
000002f5: PUSH4 0xdbbb206f
000002fa: EQ
000002fb: PUSH2 0x0aaa
000002fe: JUMPI
000002ff: DUP1
00000300: PUSH4 0xdca27d5e
00000305: EQ
00000306: PUSH2 0x0ad6
00000309: JUMPI
0000030a: DUP1
0000030b: PUSH4 0xddf1be5f
00000310: EQ
00000311: PUSH2 0x0aee
00000314: JUMPI
00000315: DUP1
00000316: PUSH4 0xe3489a4f
0000031b: EQ
0000031c: PUSH2 0x0b06
0000031f: JUMPI
00000320: DUP1
00000321: PUSH4 0xe4849b32
00000326: EQ
00000327: PUSH2 0x0b1e
0000032a: JUMPI
0000032b: DUP1
0000032c: PUSH4 0xe70f5d95
00000331: EQ
00000332: PUSH2 0x0b36
00000335: JUMPI
00000336: DUP1
00000337: PUSH4 0xe9fad8ee
0000033c: EQ
0000033d: PUSH2 0x0b4e
00000340: JUMPI
00000341: DUP1
00000342: PUSH4 0xec01438e
00000347: EQ
00000348: PUSH2 0x0b63
0000034b: JUMPI
0000034c: DUP1
0000034d: PUSH4 0xecb0116a
00000352: EQ
00000353: PUSH2 0x0b78
00000356: JUMPI
00000357: DUP1
00000358: PUSH4 0xf3b39825
0000035d: EQ
0000035e: PUSH2 0x0b8d
00000361: JUMPI
00000362: DUP1
00000363: PUSH4 0xf6f36641
00000368: EQ
00000369: PUSH2 0x0ba2
0000036c: JUMPI
0000036d: DUP1
0000036e: PUSH4 0xfdb5a03e
00000373: EQ
00000374: PUSH2 0x0bba
00000377: JUMPI
00000378: JUMPDEST
00000379: PUSH1 0x00
0000037b: DUP1
0000037c: REVERT
0000037d: JUMPDEST
0000037e: CALLVALUE
0000037f: DUP1
00000380: ISZERO
00000381: PUSH2 0x0389
00000384: JUMPI
00000385: PUSH1 0x00
00000387: DUP1
00000388: REVERT
00000389: JUMPDEST
0000038a: POP
0000038b: PUSH2 0x039e
0000038e: PUSH1 0x01
00000390: PUSH1 0xa0
00000392: PUSH1 0x02
00000394: EXP
00000395: SUB
00000396: PUSH1 0x04
00000398: CALLDATALOAD
00000399: AND
0000039a: PUSH2 0x0bcf
0000039d: JUMP
0000039e: JUMPDEST
0000039f: PUSH1 0x40
000003a1: DUP1
000003a2: MLOAD
000003a3: SWAP2
000003a4: DUP3
000003a5: MSTORE
000003a6: MLOAD
000003a7: SWAP1
000003a8: DUP2
000003a9: SWAP1
000003aa: SUB
000003ab: PUSH1 0x20
000003ad: ADD
000003ae: SWAP1
000003af: RETURN
000003b0: JUMPDEST
000003b1: CALLVALUE
000003b2: DUP1
000003b3: ISZERO
000003b4: PUSH2 0x03bc
000003b7: JUMPI
000003b8: PUSH1 0x00
000003ba: DUP1
000003bb: REVERT
000003bc: JUMPDEST
000003bd: POP
000003be: PUSH2 0x039e
000003c1: PUSH1 0x04
000003c3: CALLDATALOAD
000003c4: PUSH1 0x24
000003c6: CALLDATALOAD
000003c7: PUSH2 0x0c0d
000003ca: JUMP
000003cb: JUMPDEST
000003cc: CALLVALUE
000003cd: DUP1
000003ce: ISZERO
000003cf: PUSH2 0x03d7
000003d2: JUMPI
000003d3: PUSH1 0x00
000003d5: DUP1
000003d6: REVERT
000003d7: JUMPDEST
000003d8: POP
000003d9: PUSH2 0x03e0
000003dc: PUSH2 0x0c96
000003df: JUMP
000003e0: JUMPDEST
000003e1: PUSH1 0x40
000003e3: DUP1
000003e4: MLOAD
000003e5: PUSH1 0x20
000003e7: DUP1
000003e8: DUP3
000003e9: MSTORE
000003ea: DUP4
000003eb: MLOAD
000003ec: DUP2
000003ed: DUP4
000003ee: ADD
000003ef: MSTORE
000003f0: DUP4
000003f1: MLOAD
000003f2: SWAP2
000003f3: SWAP3
000003f4: DUP4
000003f5: SWAP3
000003f6: SWAP1
000003f7: DUP4
000003f8: ADD
000003f9: SWAP2
000003fa: DUP6
000003fb: ADD
000003fc: SWAP1
000003fd: DUP1
000003fe: DUP4
000003ff: DUP4
00000400: PUSH1 0x00
00000402: JUMPDEST
00000403: DUP4
00000404: DUP2
00000405: LT
00000406: ISZERO
00000407: PUSH2 0x041a
0000040a: JUMPI
0000040b: DUP2
0000040c: DUP2
0000040d: ADD
0000040e: MLOAD
0000040f: DUP4
00000410: DUP3
00000411: ADD
00000412: MSTORE
00000413: PUSH1 0x20
00000415: ADD
00000416: PUSH2 0x0402
00000419: JUMP
0000041a: JUMPDEST
0000041b: POP
0000041c: POP
0000041d: POP
0000041e: POP
0000041f: SWAP1
00000420: POP
00000421: SWAP1
00000422: DUP2
00000423: ADD
00000424: SWAP1
00000425: PUSH1 0x1f
00000427: AND
00000428: DUP1
00000429: ISZERO
0000042a: PUSH2 0x0447
0000042d: JUMPI
0000042e: DUP1
0000042f: DUP3
00000430: SUB
00000431: DUP1
00000432: MLOAD
00000433: PUSH1 0x01
00000435: DUP4
00000436: PUSH1 0x20
00000438: SUB
00000439: PUSH2 0x0100
0000043c: EXP
0000043d: SUB
0000043e: NOT
0000043f: AND
00000440: DUP2
00000441: MSTORE
00000442: PUSH1 0x20
00000444: ADD
00000445: SWAP2
00000446: POP
00000447: JUMPDEST
00000448: POP
00000449: SWAP3
0000044a: POP
0000044b: POP
0000044c: POP
0000044d: PUSH1 0x40
0000044f: MLOAD
00000450: DUP1
00000451: SWAP2
00000452: SUB
00000453: SWAP1
00000454: RETURN
00000455: JUMPDEST
00000456: CALLVALUE
00000457: DUP1
00000458: ISZERO
00000459: PUSH2 0x0461
0000045c: JUMPI
0000045d: PUSH1 0x00
0000045f: DUP1
00000460: REVERT
00000461: JUMPDEST
00000462: POP
00000463: PUSH2 0x039e
00000466: PUSH2 0x0d24
00000469: JUMP
0000046a: JUMPDEST
0000046b: CALLVALUE
0000046c: DUP1
0000046d: ISZERO
0000046e: PUSH2 0x0476
00000471: JUMPI
00000472: PUSH1 0x00
00000474: DUP1
00000475: REVERT
00000476: JUMPDEST
00000477: POP
00000478: PUSH2 0x039e
0000047b: PUSH1 0x01
0000047d: PUSH1 0xa0
0000047f: PUSH1 0x02
00000481: EXP
00000482: SUB
00000483: PUSH1 0x04
00000485: CALLDATALOAD
00000486: AND
00000487: PUSH2 0x0d2a
0000048a: JUMP
0000048b: JUMPDEST
0000048c: CALLVALUE
0000048d: DUP1
0000048e: ISZERO
0000048f: PUSH2 0x0497
00000492: JUMPI
00000493: PUSH1 0x00
00000495: DUP1
00000496: REVERT
00000497: JUMPDEST
00000498: POP
00000499: PUSH2 0x039e
0000049c: PUSH1 0x04
0000049e: CALLDATALOAD
0000049f: PUSH2 0x0d6f
000004a2: JUMP
000004a3: JUMPDEST
000004a4: CALLVALUE
000004a5: DUP1
000004a6: ISZERO
000004a7: PUSH2 0x04af
000004aa: JUMPI
000004ab: PUSH1 0x00
000004ad: DUP1
000004ae: REVERT
000004af: JUMPDEST
000004b0: POP
000004b1: PUSH2 0x04bb
000004b4: PUSH1 0x04
000004b6: CALLDATALOAD
000004b7: PUSH2 0x0dae
000004ba: JUMP
000004bb: JUMPDEST
000004bc: STOP
000004bd: JUMPDEST
000004be: CALLVALUE
000004bf: DUP1
000004c0: ISZERO
000004c1: PUSH2 0x04c9
000004c4: JUMPI
000004c5: PUSH1 0x00
000004c7: DUP1
000004c8: REVERT
000004c9: JUMPDEST
000004ca: POP
000004cb: PUSH2 0x039e
000004ce: PUSH2 0x0dec
000004d1: JUMP
000004d2: JUMPDEST
000004d3: CALLVALUE
000004d4: DUP1
000004d5: ISZERO
000004d6: PUSH2 0x04de
000004d9: JUMPI
000004da: PUSH1 0x00
000004dc: DUP1
000004dd: REVERT
000004de: JUMPDEST
000004df: POP
000004e0: PUSH2 0x039e
000004e3: PUSH2 0x0df3
000004e6: JUMP
000004e7: JUMPDEST
000004e8: CALLVALUE
000004e9: DUP1
000004ea: ISZERO
000004eb: PUSH2 0x04f3
000004ee: JUMPI
000004ef: PUSH1 0x00
000004f1: DUP1
000004f2: REVERT
000004f3: JUMPDEST
000004f4: POP
000004f5: PUSH2 0x04bb
000004f8: PUSH1 0x04
000004fa: CALLDATALOAD
000004fb: PUSH2 0x0df9
000004fe: JUMP
000004ff: JUMPDEST
00000500: CALLVALUE
00000501: DUP1
00000502: ISZERO
00000503: PUSH2 0x050b
00000506: JUMPI
00000507: PUSH1 0x00
00000509: DUP1
0000050a: REVERT
0000050b: JUMPDEST
0000050c: POP
0000050d: PUSH2 0x0514
00000510: PUSH2 0x0e37
00000513: JUMP
00000514: JUMPDEST
00000515: PUSH1 0x40
00000517: DUP1
00000518: MLOAD
00000519: SWAP2
0000051a: ISZERO
0000051b: ISZERO
0000051c: DUP3
0000051d: MSTORE
0000051e: MLOAD
0000051f: SWAP1
00000520: DUP2
00000521: SWAP1
00000522: SUB
00000523: PUSH1 0x20
00000525: ADD
00000526: SWAP1
00000527: RETURN
00000528: JUMPDEST
00000529: CALLVALUE
0000052a: DUP1
0000052b: ISZERO
0000052c: PUSH2 0x0534
0000052f: JUMPI
00000530: PUSH1 0x00
00000532: DUP1
00000533: REVERT
00000534: JUMPDEST
00000535: POP
00000536: PUSH2 0x039e
00000539: PUSH1 0x04
0000053b: CALLDATALOAD
0000053c: PUSH2 0x0e40
0000053f: JUMP
00000540: JUMPDEST
00000541: CALLVALUE
00000542: DUP1
00000543: ISZERO
00000544: PUSH2 0x054c
00000547: JUMPI
00000548: PUSH1 0x00
0000054a: DUP1
0000054b: REVERT
0000054c: JUMPDEST
0000054d: POP
0000054e: PUSH2 0x04bb
00000551: PUSH1 0x04
00000553: CALLDATALOAD
00000554: PUSH2 0x0e61
00000557: JUMP
00000558: JUMPDEST
00000559: CALLVALUE
0000055a: DUP1
0000055b: ISZERO
0000055c: PUSH2 0x0564
0000055f: JUMPI
00000560: PUSH1 0x00
00000562: DUP1
00000563: REVERT
00000564: JUMPDEST
00000565: POP
00000566: PUSH2 0x039e
00000569: PUSH2 0x0e9f
0000056c: JUMP
0000056d: JUMPDEST
0000056e: CALLVALUE
0000056f: DUP1
00000570: ISZERO
00000571: PUSH2 0x0579
00000574: JUMPI
00000575: PUSH1 0x00
00000577: DUP1
00000578: REVERT
00000579: JUMPDEST
0000057a: POP
0000057b: PUSH2 0x0582
0000057e: PUSH2 0x0ea5
00000581: JUMP
00000582: JUMPDEST
00000583: PUSH1 0x40
00000585: DUP1
00000586: MLOAD
00000587: PUSH1 0xff
00000589: SWAP1
0000058a: SWAP3
0000058b: AND
0000058c: DUP3
0000058d: MSTORE
0000058e: MLOAD
0000058f: SWAP1
00000590: DUP2
00000591: SWAP1
00000592: SUB
00000593: PUSH1 0x20
00000595: ADD
00000596: SWAP1
00000597: RETURN
00000598: JUMPDEST
00000599: CALLVALUE
0000059a: DUP1
0000059b: ISZERO
0000059c: PUSH2 0x05a4
0000059f: JUMPI
000005a0: PUSH1 0x00
000005a2: DUP1
000005a3: REVERT
000005a4: JUMPDEST
000005a5: POP
000005a6: PUSH2 0x04bb
000005a9: PUSH1 0x04
000005ab: CALLDATALOAD
000005ac: PUSH2 0x0eaa
000005af: JUMP
000005b0: JUMPDEST
000005b1: CALLVALUE
000005b2: DUP1
000005b3: ISZERO
000005b4: PUSH2 0x05bc
000005b7: JUMPI
000005b8: PUSH1 0x00
000005ba: DUP1
000005bb: REVERT
000005bc: JUMPDEST
000005bd: POP
000005be: PUSH2 0x039e
000005c1: PUSH2 0x0ee8
000005c4: JUMP
000005c5: JUMPDEST
000005c6: CALLVALUE
000005c7: DUP1
000005c8: ISZERO
000005c9: PUSH2 0x05d1
000005cc: JUMPI
000005cd: PUSH1 0x00
000005cf: DUP1
000005d0: REVERT
000005d1: JUMPDEST
000005d2: POP
000005d3: PUSH2 0x039e
000005d6: PUSH2 0x0eee
000005d9: JUMP
000005da: JUMPDEST
000005db: CALLVALUE
000005dc: DUP1
000005dd: ISZERO
000005de: PUSH2 0x05e6
000005e1: JUMPI
000005e2: PUSH1 0x00
000005e4: DUP1
000005e5: REVERT
000005e6: JUMPDEST
000005e7: POP
000005e8: PUSH2 0x0514
000005eb: PUSH1 0x04
000005ed: CALLDATALOAD
000005ee: PUSH2 0x0ef4
000005f1: JUMP
000005f2: JUMPDEST
000005f3: CALLVALUE
000005f4: DUP1
000005f5: ISZERO
000005f6: PUSH2 0x05fe
000005f9: JUMPI
000005fa: PUSH1 0x00
000005fc: DUP1
000005fd: REVERT
000005fe: JUMPDEST
000005ff: POP
00000600: PUSH2 0x039e
00000603: PUSH2 0x0f09
00000606: JUMP
00000607: JUMPDEST
00000608: CALLVALUE
00000609: DUP1
0000060a: ISZERO
0000060b: PUSH2 0x0613
0000060e: JUMPI
0000060f: PUSH1 0x00
00000611: DUP1
00000612: REVERT
00000613: JUMPDEST
00000614: POP
00000615: PUSH2 0x039e
00000618: PUSH2 0x0f0f
0000061b: JUMP
0000061c: JUMPDEST
0000061d: CALLVALUE
0000061e: DUP1
0000061f: ISZERO
00000620: PUSH2 0x0628
00000623: JUMPI
00000624: PUSH1 0x00
00000626: DUP1
00000627: REVERT
00000628: JUMPDEST
00000629: POP
0000062a: PUSH2 0x04bb
0000062d: PUSH2 0x0f15
00000630: JUMP
00000631: JUMPDEST
00000632: CALLVALUE
00000633: DUP1
00000634: ISZERO
00000635: PUSH2 0x063d
00000638: JUMPI
00000639: PUSH1 0x00
0000063b: DUP1
0000063c: REVERT
0000063d: JUMPDEST
0000063e: POP
0000063f: PUSH2 0x04bb
00000642: PUSH1 0x04
00000644: CALLDATALOAD
00000645: PUSH2 0x10cb
00000648: JUMP
00000649: JUMPDEST
0000064a: CALLVALUE
0000064b: DUP1
0000064c: ISZERO
0000064d: PUSH2 0x0655
00000650: JUMPI
00000651: PUSH1 0x00
00000653: DUP1
00000654: REVERT
00000655: JUMPDEST
00000656: POP
00000657: PUSH2 0x039e
0000065a: PUSH2 0x1109
0000065d: JUMP
0000065e: JUMPDEST
0000065f: CALLVALUE
00000660: DUP1
00000661: ISZERO
00000662: PUSH2 0x066a
00000665: JUMPI
00000666: PUSH1 0x00
00000668: DUP1
00000669: REVERT
0000066a: JUMPDEST
0000066b: POP
0000066c: PUSH2 0x04bb
0000066f: PUSH1 0x04
00000671: CALLDATALOAD
00000672: PUSH2 0x111b
00000675: JUMP
00000676: JUMPDEST
00000677: CALLVALUE
00000678: DUP1
00000679: ISZERO
0000067a: PUSH2 0x0682
0000067d: JUMPI
0000067e: PUSH1 0x00
00000680: DUP1
00000681: REVERT
00000682: JUMPDEST
00000683: POP
00000684: PUSH2 0x039e
00000687: PUSH2 0x1159
0000068a: JUMP
0000068b: JUMPDEST
0000068c: CALLVALUE
0000068d: DUP1
0000068e: ISZERO
0000068f: PUSH2 0x0697
00000692: JUMPI
00000693: PUSH1 0x00
00000695: DUP1
00000696: REVERT
00000697: JUMPDEST
00000698: POP
00000699: PUSH2 0x04bb
0000069c: PUSH1 0x04
0000069e: CALLDATALOAD
0000069f: PUSH2 0x115f
000006a2: JUMP
000006a3: JUMPDEST
000006a4: CALLVALUE
000006a5: DUP1
000006a6: ISZERO
000006a7: PUSH2 0x06af
000006aa: JUMPI
000006ab: PUSH1 0x00
000006ad: DUP1
000006ae: REVERT
000006af: JUMPDEST
000006b0: POP
000006b1: PUSH2 0x039e
000006b4: PUSH2 0x119d
000006b7: JUMP
000006b8: JUMPDEST
000006b9: CALLVALUE
000006ba: DUP1
000006bb: ISZERO
000006bc: PUSH2 0x06c4
000006bf: JUMPI
000006c0: PUSH1 0x00
000006c2: DUP1
000006c3: REVERT
000006c4: JUMPDEST
000006c5: POP
000006c6: PUSH2 0x039e
000006c9: PUSH2 0x11a3
000006cc: JUMP
000006cd: JUMPDEST
000006ce: CALLVALUE
000006cf: DUP1
000006d0: ISZERO
000006d1: PUSH2 0x06d9
000006d4: JUMPI
000006d5: PUSH1 0x00
000006d7: DUP1
000006d8: REVERT
000006d9: JUMPDEST
000006da: POP
000006db: PUSH2 0x04bb
000006de: PUSH1 0x04
000006e0: CALLDATALOAD
000006e1: PUSH2 0x11a9
000006e4: JUMP
000006e5: JUMPDEST
000006e6: CALLVALUE
000006e7: DUP1
000006e8: ISZERO
000006e9: PUSH2 0x06f1
000006ec: JUMPI
000006ed: PUSH1 0x00
000006ef: DUP1
000006f0: REVERT
000006f1: JUMPDEST
000006f2: POP
000006f3: PUSH2 0x039e
000006f6: PUSH1 0x04
000006f8: CALLDATALOAD
000006f9: ISZERO
000006fa: ISZERO
000006fb: PUSH2 0x11e7
000006fe: JUMP
000006ff: JUMPDEST
00000700: CALLVALUE
00000701: DUP1
00000702: ISZERO
00000703: PUSH2 0x070b
00000706: JUMPI
00000707: PUSH1 0x00
00000709: DUP1
0000070a: REVERT
0000070b: JUMPDEST
0000070c: POP
0000070d: PUSH2 0x039e
00000710: PUSH2 0x122a
00000713: JUMP
00000714: JUMPDEST
00000715: CALLVALUE
00000716: DUP1
00000717: ISZERO
00000718: PUSH2 0x0720
0000071b: JUMPI
0000071c: PUSH1 0x00
0000071e: DUP1
0000071f: REVERT
00000720: JUMPDEST
00000721: POP
00000722: PUSH2 0x039e
00000725: PUSH1 0x01
00000727: PUSH1 0xa0
00000729: PUSH1 0x02
0000072b: EXP
0000072c: SUB
0000072d: PUSH1 0x04
0000072f: CALLDATALOAD
00000730: AND
00000731: PUSH2 0x122f
00000734: JUMP
00000735: JUMPDEST
00000736: CALLVALUE
00000737: DUP1
00000738: ISZERO
00000739: PUSH2 0x0741
0000073c: JUMPI
0000073d: PUSH1 0x00
0000073f: DUP1
00000740: REVERT
00000741: JUMPDEST
00000742: POP
00000743: PUSH2 0x039e
00000746: PUSH1 0x01
00000748: PUSH1 0xa0
0000074a: PUSH1 0x02
0000074c: EXP
0000074d: SUB
0000074e: PUSH1 0x04
00000750: CALLDATALOAD
00000751: DUP2
00000752: AND
00000753: SWAP1
00000754: PUSH1 0x24
00000756: CALLDATALOAD
00000757: AND
00000758: PUSH2 0x124a
0000075b: JUMP
0000075c: JUMPDEST
0000075d: CALLVALUE
0000075e: DUP1
0000075f: ISZERO
00000760: PUSH2 0x0768
00000763: JUMPI
00000764: PUSH1 0x00
00000766: DUP1
00000767: REVERT
00000768: JUMPDEST
00000769: POP
0000076a: PUSH2 0x039e
0000076d: PUSH2 0x1275
00000770: JUMP
00000771: JUMPDEST
00000772: CALLVALUE
00000773: DUP1
00000774: ISZERO
00000775: PUSH2 0x077d
00000778: JUMPI
00000779: PUSH1 0x00
0000077b: DUP1
0000077c: REVERT
0000077d: JUMPDEST
0000077e: POP
0000077f: PUSH2 0x039e
00000782: PUSH2 0x127b
00000785: JUMP
00000786: JUMPDEST
00000787: CALLVALUE
00000788: DUP1
00000789: ISZERO
0000078a: PUSH2 0x0792
0000078d: JUMPI
0000078e: PUSH1 0x00
00000790: DUP1
00000791: REVERT
00000792: JUMPDEST
00000793: POP
00000794: PUSH2 0x039e
00000797: PUSH2 0x1281
0000079a: JUMP
0000079b: JUMPDEST
0000079c: CALLVALUE
0000079d: DUP1
0000079e: ISZERO
0000079f: PUSH2 0x07a7
000007a2: JUMPI
000007a3: PUSH1 0x00
000007a5: DUP1
000007a6: REVERT
000007a7: JUMPDEST
000007a8: POP
000007a9: PUSH2 0x04bb
000007ac: PUSH1 0x04
000007ae: CALLDATALOAD
000007af: PUSH2 0x1287
000007b2: JUMP
000007b3: JUMPDEST
000007b4: CALLVALUE
000007b5: DUP1
000007b6: ISZERO
000007b7: PUSH2 0x07bf
000007ba: JUMPI
000007bb: PUSH1 0x00
000007bd: DUP1
000007be: REVERT
000007bf: JUMPDEST
000007c0: POP
000007c1: PUSH2 0x04bb
000007c4: PUSH1 0x04
000007c6: CALLDATALOAD
000007c7: PUSH2 0x12c5
000007ca: JUMP
000007cb: JUMPDEST
000007cc: CALLVALUE
000007cd: DUP1
000007ce: ISZERO
000007cf: PUSH2 0x07d7
000007d2: JUMPI
000007d3: PUSH1 0x00
000007d5: DUP1
000007d6: REVERT
000007d7: JUMPDEST
000007d8: POP
000007d9: PUSH2 0x039e
000007dc: PUSH1 0x01
000007de: PUSH1 0xa0
000007e0: PUSH1 0x02
000007e2: EXP
000007e3: SUB
000007e4: PUSH1 0x04
000007e6: CALLDATALOAD
000007e7: AND
000007e8: PUSH2 0x1303
000007eb: JUMP
000007ec: JUMPDEST
000007ed: CALLVALUE
000007ee: DUP1
000007ef: ISZERO
000007f0: PUSH2 0x07f8
000007f3: JUMPI
000007f4: PUSH1 0x00
000007f6: DUP1
000007f7: REVERT
000007f8: JUMPDEST
000007f9: POP
000007fa: PUSH2 0x0582
000007fd: PUSH2 0x1370
00000800: JUMP
00000801: JUMPDEST
00000802: CALLVALUE
00000803: DUP1
00000804: ISZERO
00000805: PUSH2 0x080d
00000808: JUMPI
00000809: PUSH1 0x00
0000080b: DUP1
0000080c: REVERT
0000080d: JUMPDEST
0000080e: POP
0000080f: PUSH2 0x039e
00000812: PUSH2 0x13b4
00000815: JUMP
00000816: JUMPDEST
00000817: CALLVALUE
00000818: DUP1
00000819: ISZERO
0000081a: PUSH2 0x0822
0000081d: JUMPI
0000081e: PUSH1 0x00
00000820: DUP1
00000821: REVERT
00000822: JUMPDEST
00000823: POP
00000824: PUSH2 0x04bb
00000827: PUSH1 0x01
00000829: PUSH1 0xa0
0000082b: PUSH1 0x02
0000082d: EXP
0000082e: SUB
0000082f: PUSH1 0x04
00000831: CALLDATALOAD
00000832: AND
00000833: PUSH1 0x24
00000835: CALLDATALOAD
00000836: ISZERO
00000837: ISZERO
00000838: PUSH2 0x140b
0000083b: JUMP
0000083c: JUMPDEST
0000083d: CALLVALUE
0000083e: DUP1
0000083f: ISZERO
00000840: PUSH2 0x0848
00000843: JUMPI
00000844: PUSH1 0x00
00000846: DUP1
00000847: REVERT
00000848: JUMPDEST
00000849: POP
0000084a: PUSH2 0x039e
0000084d: PUSH2 0x149d
00000850: JUMP
00000851: JUMPDEST
00000852: CALLVALUE
00000853: DUP1
00000854: ISZERO
00000855: PUSH2 0x085d
00000858: JUMPI
00000859: PUSH1 0x00
0000085b: DUP1
0000085c: REVERT
0000085d: JUMPDEST
0000085e: POP
0000085f: PUSH2 0x04bb
00000862: PUSH1 0x04
00000864: CALLDATALOAD
00000865: PUSH2 0x14a3
00000868: JUMP
00000869: JUMPDEST
0000086a: CALLVALUE
0000086b: DUP1
0000086c: ISZERO
0000086d: PUSH2 0x0875
00000870: JUMPI
00000871: PUSH1 0x00
00000873: DUP1
00000874: REVERT
00000875: JUMPDEST
00000876: POP
00000877: PUSH2 0x039e
0000087a: PUSH2 0x14e1
0000087d: JUMP
0000087e: JUMPDEST
0000087f: CALLVALUE
00000880: DUP1
00000881: ISZERO
00000882: PUSH2 0x088a
00000885: JUMPI
00000886: PUSH1 0x00
00000888: DUP1
00000889: REVERT
0000088a: JUMPDEST
0000088b: POP
0000088c: PUSH2 0x039e
0000088f: PUSH2 0x14e7
00000892: JUMP
00000893: JUMPDEST
00000894: CALLVALUE
00000895: DUP1
00000896: ISZERO
00000897: PUSH2 0x089f
0000089a: JUMPI
0000089b: PUSH1 0x00
0000089d: DUP1
0000089e: REVERT
0000089f: JUMPDEST
000008a0: POP
000008a1: PUSH2 0x03e0
000008a4: PUSH2 0x14fa
000008a7: JUMP
000008a8: JUMPDEST
000008a9: CALLVALUE
000008aa: DUP1
000008ab: ISZERO
000008ac: PUSH2 0x08b4
000008af: JUMPI
000008b0: PUSH1 0x00
000008b2: DUP1
000008b3: REVERT
000008b4: JUMPDEST
000008b5: POP
000008b6: PUSH2 0x039e
000008b9: PUSH1 0x01
000008bb: PUSH1 0xa0
000008bd: PUSH1 0x02
000008bf: EXP
000008c0: SUB
000008c1: PUSH1 0x04
000008c3: CALLDATALOAD
000008c4: AND
000008c5: PUSH2 0x1554
000008c8: JUMP
000008c9: JUMPDEST
000008ca: CALLVALUE
000008cb: DUP1
000008cc: ISZERO
000008cd: PUSH2 0x08d5
000008d0: JUMPI
000008d1: PUSH1 0x00
000008d3: DUP1
000008d4: REVERT
000008d5: JUMPDEST
000008d6: POP
000008d7: PUSH2 0x039e
000008da: PUSH2 0x1589
000008dd: JUMP
000008de: JUMPDEST
000008df: CALLVALUE
000008e0: DUP1
000008e1: ISZERO
000008e2: PUSH2 0x08ea
000008e5: JUMPI
000008e6: PUSH1 0x00
000008e8: DUP1
000008e9: REVERT
000008ea: JUMPDEST
000008eb: POP
000008ec: PUSH2 0x0514
000008ef: PUSH1 0x01
000008f1: PUSH1 0xa0
000008f3: PUSH1 0x02
000008f5: EXP
000008f6: SUB
000008f7: PUSH1 0x04
000008f9: CALLDATALOAD
000008fa: AND
000008fb: PUSH1 0x24
000008fd: CALLDATALOAD
000008fe: PUSH2 0x158f
00000901: JUMP
00000902: JUMPDEST
00000903: CALLVALUE
00000904: DUP1
00000905: ISZERO
00000906: PUSH2 0x090e
00000909: JUMPI
0000090a: PUSH1 0x00
0000090c: DUP1
0000090d: REVERT
0000090e: JUMPDEST
0000090f: POP
00000910: PUSH2 0x039e
00000913: PUSH2 0x172c
00000916: JUMP
00000917: JUMPDEST
00000918: CALLVALUE
00000919: DUP1
0000091a: ISZERO
0000091b: PUSH2 0x0923
0000091e: JUMPI
0000091f: PUSH1 0x00
00000921: DUP1
00000922: REVERT
00000923: JUMPDEST
00000924: POP
00000925: PUSH2 0x04bb
00000928: PUSH1 0x04
0000092a: CALLDATALOAD
0000092b: PUSH2 0x1732
0000092e: JUMP
0000092f: JUMPDEST
00000930: CALLVALUE
00000931: DUP1
00000932: ISZERO
00000933: PUSH2 0x093b
00000936: JUMPI
00000937: PUSH1 0x00
00000939: DUP1
0000093a: REVERT
0000093b: JUMPDEST
0000093c: POP
0000093d: PUSH2 0x039e
00000940: PUSH2 0x1770
00000943: JUMP
00000944: JUMPDEST
00000945: CALLVALUE
00000946: DUP1
00000947: ISZERO
00000948: PUSH2 0x0950
0000094b: JUMPI
0000094c: PUSH1 0x00
0000094e: DUP1
0000094f: REVERT
00000950: JUMPDEST
00000951: POP
00000952: PUSH2 0x0514
00000955: PUSH2 0x1776
00000958: JUMP
00000959: JUMPDEST
0000095a: CALLVALUE
0000095b: DUP1
0000095c: ISZERO
0000095d: PUSH2 0x0965
00000960: JUMPI
00000961: PUSH1 0x00
00000963: DUP1
00000964: REVERT
00000965: JUMPDEST
00000966: POP
00000967: PUSH1 0x40
00000969: DUP1
0000096a: MLOAD
0000096b: PUSH1 0x20
0000096d: PUSH1 0x04
0000096f: DUP1
00000970: CALLDATALOAD
00000971: DUP1
00000972: DUP3
00000973: ADD
00000974: CALLDATALOAD
00000975: PUSH1 0x1f
00000977: DUP2
00000978: ADD
00000979: DUP5
0000097a: SWAP1
0000097b: DIV
0000097c: DUP5
0000097d: MUL
0000097e: DUP6
0000097f: ADD
00000980: DUP5
00000981: ADD
00000982: SWAP1
00000983: SWAP6
00000984: MSTORE
00000985: DUP5
00000986: DUP5
00000987: MSTORE
00000988: PUSH2 0x04bb
0000098b: SWAP5
0000098c: CALLDATASIZE
0000098d: SWAP5
0000098e: SWAP3
0000098f: SWAP4
00000990: PUSH1 0x24
00000992: SWAP4
00000993: SWAP3
00000994: DUP5
00000995: ADD
00000996: SWAP2
00000997: SWAP1
00000998: DUP2
00000999: SWAP1
0000099a: DUP5
0000099b: ADD
0000099c: DUP4
0000099d: DUP3
0000099e: DUP1
0000099f: DUP3
000009a0: DUP5
000009a1: CALLDATACOPY
000009a2: POP
000009a3: SWAP5
000009a4: SWAP8
000009a5: POP
000009a6: PUSH2 0x17a0
000009a9: SWAP7
000009aa: POP
000009ab: POP
000009ac: POP
000009ad: POP
000009ae: POP
000009af: POP
000009b0: POP
000009b1: JUMP
000009b2: JUMPDEST
000009b3: CALLVALUE
000009b4: DUP1
000009b5: ISZERO
000009b6: PUSH2 0x09be
000009b9: JUMPI
000009ba: PUSH1 0x00
000009bc: DUP1
000009bd: REVERT
000009be: JUMPDEST
000009bf: POP
000009c0: PUSH2 0x04bb
000009c3: PUSH2 0x17eb
000009c6: JUMP
000009c7: JUMPDEST
000009c8: CALLVALUE
000009c9: DUP1
000009ca: ISZERO
000009cb: PUSH2 0x09d3
000009ce: JUMPI
000009cf: PUSH1 0x00
000009d1: DUP1
000009d2: REVERT
000009d3: JUMPDEST
000009d4: POP
000009d5: PUSH1 0x40
000009d7: DUP1
000009d8: MLOAD
000009d9: PUSH1 0x20
000009db: PUSH1 0x04
000009dd: DUP1
000009de: CALLDATALOAD
000009df: DUP1
000009e0: DUP3
000009e1: ADD
000009e2: CALLDATALOAD
000009e3: PUSH1 0x1f
000009e5: DUP2
000009e6: ADD
000009e7: DUP5
000009e8: SWAP1
000009e9: DIV
000009ea: DUP5
000009eb: MUL
000009ec: DUP6
000009ed: ADD
000009ee: DUP5
000009ef: ADD
000009f0: SWAP1
000009f1: SWAP6
000009f2: MSTORE
000009f3: DUP5
000009f4: DUP5
000009f5: MSTORE
000009f6: PUSH2 0x04bb
000009f9: SWAP5
000009fa: CALLDATASIZE
000009fb: SWAP5
000009fc: SWAP3
000009fd: SWAP4
000009fe: PUSH1 0x24
00000a00: SWAP4
00000a01: SWAP3
00000a02: DUP5
00000a03: ADD
00000a04: SWAP2
00000a05: SWAP1
00000a06: DUP2
00000a07: SWAP1
00000a08: DUP5
00000a09: ADD
00000a0a: DUP4
00000a0b: DUP3
00000a0c: DUP1
00000a0d: DUP3
00000a0e: DUP5
00000a0f: CALLDATACOPY
00000a10: POP
00000a11: SWAP5
00000a12: SWAP8
00000a13: POP
00000a14: PUSH2 0x1847
00000a17: SWAP7
00000a18: POP
00000a19: POP
00000a1a: POP
00000a1b: POP
00000a1c: POP
00000a1d: POP
00000a1e: POP
00000a1f: JUMP
00000a20: JUMPDEST
00000a21: CALLVALUE
00000a22: DUP1
00000a23: ISZERO
00000a24: PUSH2 0x0a2c
00000a27: JUMPI
00000a28: PUSH1 0x00
00000a2a: DUP1
00000a2b: REVERT
00000a2c: JUMPDEST
00000a2d: POP
00000a2e: PUSH2 0x039e
00000a31: PUSH1 0x04
00000a33: CALLDATALOAD
00000a34: PUSH2 0x1892
00000a37: JUMP
00000a38: JUMPDEST
00000a39: CALLVALUE
00000a3a: DUP1
00000a3b: ISZERO
00000a3c: PUSH2 0x0a44
00000a3f: JUMPI
00000a40: PUSH1 0x00
00000a42: DUP1
00000a43: REVERT
00000a44: JUMPDEST
00000a45: POP
00000a46: PUSH2 0x04bb
00000a49: PUSH1 0x04
00000a4b: CALLDATALOAD
00000a4c: PUSH2 0x18e3
00000a4f: JUMP
00000a50: JUMPDEST
00000a51: CALLVALUE
00000a52: DUP1
00000a53: ISZERO
00000a54: PUSH2 0x0a5c
00000a57: JUMPI
00000a58: PUSH1 0x00
00000a5a: DUP1
00000a5b: REVERT
00000a5c: JUMPDEST
00000a5d: POP
00000a5e: PUSH2 0x039e
00000a61: PUSH2 0x1921
00000a64: JUMP
00000a65: JUMPDEST
00000a66: CALLVALUE
00000a67: DUP1
00000a68: ISZERO
00000a69: PUSH2 0x0a71
00000a6c: JUMPI
00000a6d: PUSH1 0x00
00000a6f: DUP1
00000a70: REVERT
00000a71: JUMPDEST
00000a72: POP
00000a73: PUSH2 0x04bb
00000a76: PUSH1 0x04
00000a78: CALLDATALOAD
00000a79: PUSH2 0x1927
00000a7c: JUMP
00000a7d: JUMPDEST
00000a7e: CALLVALUE
00000a7f: DUP1
00000a80: ISZERO
00000a81: PUSH2 0x0a89
00000a84: JUMPI
00000a85: PUSH1 0x00
00000a87: DUP1
00000a88: REVERT
00000a89: JUMPDEST
00000a8a: POP
00000a8b: PUSH2 0x039e
00000a8e: PUSH2 0x1965
00000a91: JUMP
00000a92: JUMPDEST
00000a93: CALLVALUE
00000a94: DUP1
00000a95: ISZERO
00000a96: PUSH2 0x0a9e
00000a99: JUMPI
00000a9a: PUSH1 0x00
00000a9c: DUP1
00000a9d: REVERT
00000a9e: JUMPDEST
00000a9f: POP
00000aa0: PUSH2 0x04bb
00000aa3: PUSH1 0x04
00000aa5: CALLDATALOAD
00000aa6: PUSH2 0x196b
00000aa9: JUMP
00000aaa: JUMPDEST
00000aab: PUSH2 0x039e
00000aae: PUSH1 0x01
00000ab0: PUSH1 0xa0
00000ab2: PUSH1 0x02
00000ab4: EXP
00000ab5: SUB
00000ab6: PUSH1 0x04
00000ab8: CALLDATALOAD
00000ab9: DUP2
00000aba: AND
00000abb: SWAP1
00000abc: PUSH1 0x24
00000abe: CALLDATALOAD
00000abf: DUP2
00000ac0: AND
00000ac1: SWAP1
00000ac2: PUSH1 0x44
00000ac4: CALLDATALOAD
00000ac5: DUP2
00000ac6: AND
00000ac7: SWAP1
00000ac8: PUSH1 0x64
00000aca: CALLDATALOAD
00000acb: DUP2
00000acc: AND
00000acd: SWAP1
00000ace: PUSH1 0x84
00000ad0: CALLDATALOAD
00000ad1: AND
00000ad2: PUSH2 0x19a9
00000ad5: JUMP
00000ad6: JUMPDEST
00000ad7: CALLVALUE
00000ad8: DUP1
00000ad9: ISZERO
00000ada: PUSH2 0x0ae2
00000add: JUMPI
00000ade: PUSH1 0x00
00000ae0: DUP1
00000ae1: REVERT
00000ae2: JUMPDEST
00000ae3: POP
00000ae4: PUSH2 0x04bb
00000ae7: PUSH1 0x04
00000ae9: CALLDATALOAD
00000aea: PUSH2 0x19d4
00000aed: JUMP
00000aee: JUMPDEST
00000aef: CALLVALUE
00000af0: DUP1
00000af1: ISZERO
00000af2: PUSH2 0x0afa
00000af5: JUMPI
00000af6: PUSH1 0x00
00000af8: DUP1
00000af9: REVERT
00000afa: JUMPDEST
00000afb: POP
00000afc: PUSH2 0x04bb
00000aff: PUSH1 0x04
00000b01: CALLDATALOAD
00000b02: PUSH2 0x1a12
00000b05: JUMP
00000b06: JUMPDEST
00000b07: CALLVALUE
00000b08: DUP1
00000b09: ISZERO
00000b0a: PUSH2 0x0b12
00000b0d: JUMPI
00000b0e: PUSH1 0x00
00000b10: DUP1
00000b11: REVERT
00000b12: JUMPDEST
00000b13: POP
00000b14: PUSH2 0x04bb
00000b17: PUSH1 0x04
00000b19: CALLDATALOAD
00000b1a: PUSH2 0x1a50
00000b1d: JUMP
00000b1e: JUMPDEST
00000b1f: CALLVALUE
00000b20: DUP1
00000b21: ISZERO
00000b22: PUSH2 0x0b2a
00000b25: JUMPI
00000b26: PUSH1 0x00
00000b28: DUP1
00000b29: REVERT
00000b2a: JUMPDEST
00000b2b: POP
00000b2c: PUSH2 0x04bb
00000b2f: PUSH1 0x04
00000b31: CALLDATALOAD
00000b32: PUSH2 0x1a8e
00000b35: JUMP
00000b36: JUMPDEST
00000b37: CALLVALUE
00000b38: DUP1
00000b39: ISZERO
00000b3a: PUSH2 0x0b42
00000b3d: JUMPI
00000b3e: PUSH1 0x00
00000b40: DUP1
00000b41: REVERT
00000b42: JUMPDEST
00000b43: POP
00000b44: PUSH2 0x04bb
00000b47: PUSH1 0x04
00000b49: CALLDATALOAD
00000b4a: PUSH2 0x1ba4
00000b4d: JUMP
00000b4e: JUMPDEST
00000b4f: CALLVALUE
00000b50: DUP1
00000b51: ISZERO
00000b52: PUSH2 0x0b5a
00000b55: JUMPI
00000b56: PUSH1 0x00
00000b58: DUP1
00000b59: REVERT
00000b5a: JUMPDEST
00000b5b: POP
00000b5c: PUSH2 0x04bb
00000b5f: PUSH2 0x1be2
00000b62: JUMP
00000b63: JUMPDEST
00000b64: CALLVALUE
00000b65: DUP1
00000b66: ISZERO
00000b67: PUSH2 0x0b6f
00000b6a: JUMPI
00000b6b: PUSH1 0x00
00000b6d: DUP1
00000b6e: REVERT
00000b6f: JUMPDEST
00000b70: POP
00000b71: PUSH2 0x039e
00000b74: PUSH2 0x1c0f
00000b77: JUMP
00000b78: JUMPDEST
00000b79: CALLVALUE
00000b7a: DUP1
00000b7b: ISZERO
00000b7c: PUSH2 0x0b84
00000b7f: JUMPI
00000b80: PUSH1 0x00
00000b82: DUP1
00000b83: REVERT
00000b84: JUMPDEST
00000b85: POP
00000b86: PUSH2 0x0582
00000b89: PUSH2 0x1c15
00000b8c: JUMP
00000b8d: JUMPDEST
00000b8e: CALLVALUE
00000b8f: DUP1
00000b90: ISZERO
00000b91: PUSH2 0x0b99
00000b94: JUMPI
00000b95: PUSH1 0x00
00000b97: DUP1
00000b98: REVERT
00000b99: JUMPDEST
00000b9a: POP
00000b9b: PUSH2 0x039e
00000b9e: PUSH2 0x1c57
00000ba1: JUMP
00000ba2: JUMPDEST
00000ba3: CALLVALUE
00000ba4: DUP1
00000ba5: ISZERO
00000ba6: PUSH2 0x0bae
00000ba9: JUMPI
00000baa: PUSH1 0x00
00000bac: DUP1
00000bad: REVERT
00000bae: JUMPDEST
00000baf: POP
00000bb0: PUSH2 0x04bb
00000bb3: PUSH1 0x04
00000bb5: CALLDATALOAD
00000bb6: PUSH2 0x1c5d
00000bb9: JUMP
00000bba: JUMPDEST
00000bbb: CALLVALUE
00000bbc: DUP1
00000bbd: ISZERO
00000bbe: PUSH2 0x0bc6
00000bc1: JUMPI
00000bc2: PUSH1 0x00
00000bc4: DUP1
00000bc5: REVERT
00000bc6: JUMPDEST
00000bc7: POP
00000bc8: PUSH2 0x04bb
00000bcb: PUSH2 0x1c9b
00000bce: JUMP
00000bcf: JUMPDEST
00000bd0: PUSH1 0x01
00000bd2: PUSH1 0xa0
00000bd4: PUSH1 0x02
00000bd6: EXP
00000bd7: SUB
00000bd8: DUP2
00000bd9: AND
00000bda: PUSH1 0x00
00000bdc: SWAP1
00000bdd: DUP2
00000bde: MSTORE
00000bdf: PUSH1 0x06
00000be1: PUSH1 0x20
00000be3: SWAP1
00000be4: DUP2
00000be5: MSTORE
00000be6: PUSH1 0x40
00000be8: DUP1
00000be9: DUP4
00000bea: KECCAK256
00000beb: SLOAD
00000bec: PUSH1 0x04
00000bee: SWAP1
00000bef: SWAP3
00000bf0: MSTORE
00000bf1: DUP3
00000bf2: KECCAK256
00000bf3: SLOAD
00000bf4: PUSH1 0x0a
00000bf6: SLOAD
00000bf7: PUSH9 0x010000000000000000
00000c01: SWAP3
00000c02: SWAP2
00000c03: MUL
00000c04: SUB
00000c05: DIV
00000c06: SWAP1
00000c07: POP
00000c08: JUMPDEST
00000c09: SWAP2
00000c0a: SWAP1
00000c0b: POP
00000c0c: JUMP
00000c0d: JUMPDEST
00000c0e: PUSH1 0x00
00000c10: DUP1
00000c11: PUSH1 0x00
00000c13: DUP1
00000c14: PUSH5 0x02540be400
00000c1a: DUP7
00000c1b: LT
00000c1c: ISZERO
00000c1d: PUSH2 0x0c29
00000c20: JUMPI
00000c21: PUSH1 0x00
00000c23: SWAP4
00000c24: POP
00000c25: PUSH2 0x0c8d
00000c28: JUMP
00000c29: JUMPDEST
00000c2a: PUSH8 0x0de0b6b3a7640000
00000c33: DUP7
00000c34: DUP2
00000c35: ADD
00000c36: SWAP4
00000c37: POP
00000c38: DUP6
00000c39: DUP2
00000c3a: ADD
00000c3b: SWAP3
00000c3c: POP
00000c3d: PUSH2 0x0c7d
00000c40: PUSH5 0x14f46b0400
00000c46: DUP3
00000c47: DUP6
00000c48: DIV
00000c49: PUSH5 0x02540be400
00000c4f: MUL
00000c50: ADD
00000c51: DUP9
00000c52: MUL
00000c53: PUSH1 0x02
00000c55: DUP4
00000c56: PUSH8 0x0de0b6b3a763ffff
00000c5f: NOT
00000c60: DUP3
00000c61: DUP10
00000c62: EXP
00000c63: DUP13
00000c64: SWAP1
00000c65: SUB
00000c66: ADD
00000c67: DIV
00000c68: PUSH5 0x02540be400
00000c6e: MUL
00000c6f: DUP2
00000c70: ISZERO
00000c71: ISZERO
00000c72: PUSH2 0x0c77
00000c75: JUMPI
00000c76: INVALID
00000c77: JUMPDEST
00000c78: DIV
00000c79: PUSH2 0x1d54
00000c7c: JUMP
00000c7d: JUMPDEST
00000c7e: DUP2
00000c7f: ISZERO
00000c80: ISZERO
00000c81: PUSH2 0x0c86
00000c84: JUMPI
00000c85: INVALID
00000c86: JUMPDEST
00000c87: DIV
00000c88: SWAP1
00000c89: POP
00000c8a: DUP1
00000c8b: SWAP4
00000c8c: POP
00000c8d: JUMPDEST
00000c8e: POP
00000c8f: POP
00000c90: POP
00000c91: SWAP3
00000c92: SWAP2
00000c93: POP
00000c94: POP
00000c95: JUMP
00000c96: JUMPDEST
00000c97: PUSH1 0x00
00000c99: DUP1
00000c9a: SLOAD
00000c9b: PUSH1 0x40
00000c9d: DUP1
00000c9e: MLOAD
00000c9f: PUSH1 0x20
00000ca1: PUSH1 0x02
00000ca3: PUSH1 0x01
00000ca5: DUP6
00000ca6: AND
00000ca7: ISZERO
00000ca8: PUSH2 0x0100
00000cab: MUL
00000cac: PUSH1 0x00
00000cae: NOT
00000caf: ADD
00000cb0: SWAP1
00000cb1: SWAP5
00000cb2: AND
00000cb3: SWAP4
00000cb4: SWAP1
00000cb5: SWAP4
00000cb6: DIV
00000cb7: PUSH1 0x1f
00000cb9: DUP2
00000cba: ADD
00000cbb: DUP5
00000cbc: SWAP1
00000cbd: DIV
00000cbe: DUP5
00000cbf: MUL
00000cc0: DUP3
00000cc1: ADD
00000cc2: DUP5
00000cc3: ADD
00000cc4: SWAP1
00000cc5: SWAP3
00000cc6: MSTORE
00000cc7: DUP2
00000cc8: DUP2
00000cc9: MSTORE
00000cca: SWAP3
00000ccb: SWAP2
00000ccc: DUP4
00000ccd: ADD
00000cce: DUP3
00000ccf: DUP3
00000cd0: DUP1
00000cd1: ISZERO
00000cd2: PUSH2 0x0d1c
00000cd5: JUMPI
00000cd6: DUP1
00000cd7: PUSH1 0x1f
00000cd9: LT
00000cda: PUSH2 0x0cf1
00000cdd: JUMPI
00000cde: PUSH2 0x0100
00000ce1: DUP1
00000ce2: DUP4
00000ce3: SLOAD
00000ce4: DIV
00000ce5: MUL
00000ce6: DUP4
00000ce7: MSTORE
00000ce8: SWAP2
00000ce9: PUSH1 0x20
00000ceb: ADD
00000cec: SWAP2
00000ced: PUSH2 0x0d1c
00000cf0: JUMP
00000cf1: JUMPDEST
00000cf2: DUP3
00000cf3: ADD
00000cf4: SWAP2
00000cf5: SWAP1
00000cf6: PUSH1 0x00
00000cf8: MSTORE
00000cf9: PUSH1 0x20
00000cfb: PUSH1 0x00
00000cfd: KECCAK256
00000cfe: SWAP1
00000cff: JUMPDEST
00000d00: DUP2
00000d01: SLOAD
00000d02: DUP2
00000d03: MSTORE
00000d04: SWAP1
00000d05: PUSH1 0x01
00000d07: ADD
00000d08: SWAP1
00000d09: PUSH1 0x20
00000d0b: ADD
00000d0c: DUP1
00000d0d: DUP4
00000d0e: GT
00000d0f: PUSH2 0x0cff
00000d12: JUMPI
00000d13: DUP3
00000d14: SWAP1
00000d15: SUB
00000d16: PUSH1 0x1f
00000d18: AND
00000d19: DUP3
00000d1a: ADD
00000d1b: SWAP2
00000d1c: JUMPDEST
00000d1d: POP
00000d1e: POP
00000d1f: POP
00000d20: POP
00000d21: POP
00000d22: DUP2
00000d23: JUMP
00000d24: JUMPDEST
00000d25: PUSH1 0x1a
00000d27: SLOAD
00000d28: DUP2
00000d29: JUMP
00000d2a: JUMPDEST
00000d2b: PUSH1 0x03
00000d2d: SLOAD
00000d2e: PUSH1 0x00
00000d30: SWAP1
00000d31: PUSH1 0x01
00000d33: PUSH1 0xa0
00000d35: PUSH1 0x02
00000d37: EXP
00000d38: SUB
00000d39: DUP4
00000d3a: DUP2
00000d3b: AND
00000d3c: PUSH2 0x0100
00000d3f: SWAP1
00000d40: SWAP3
00000d41: DIV
00000d42: AND
00000d43: EQ
00000d44: ISZERO
00000d45: PUSH2 0x0d50
00000d48: JUMPI
00000d49: POP
00000d4a: PUSH1 0x00
00000d4c: PUSH2 0x0c08
00000d4f: JUMP
00000d50: JUMPDEST
00000d51: POP
00000d52: PUSH1 0x01
00000d54: PUSH1 0xa0
00000d56: PUSH1 0x02
00000d58: EXP
00000d59: SUB
00000d5a: DUP2
00000d5b: AND
00000d5c: PUSH1 0x00
00000d5e: SWAP1
00000d5f: DUP2
00000d60: MSTORE
00000d61: PUSH1 0x07
00000d63: PUSH1 0x20
00000d65: MSTORE
00000d66: PUSH1 0x40
00000d68: SWAP1
00000d69: KECCAK256
00000d6a: SLOAD
00000d6b: PUSH2 0x0c08
00000d6e: JUMP
00000d6f: JUMPDEST
00000d70: PUSH1 0x00
00000d72: DUP1
00000d73: DUP1
00000d74: DUP1
00000d75: PUSH2 0x0d89
00000d78: PUSH2 0x0d82
00000d7b: DUP7
00000d7c: PUSH1 0x0c
00000d7e: PUSH2 0x1d66
00000d81: JUMP
00000d82: JUMPDEST
00000d83: PUSH1 0x64
00000d85: PUSH2 0x1d9c
00000d88: JUMP
00000d89: JUMPDEST
00000d8a: SWAP3
00000d8b: POP
00000d8c: PUSH2 0x0d95
00000d8f: DUP6
00000d90: DUP5
00000d91: PUSH2 0x1d54
00000d94: JUMP
00000d95: JUMPDEST
00000d96: SWAP2
00000d97: POP
00000d98: PUSH2 0x0da0
00000d9b: DUP3
00000d9c: PUSH2 0x1db3
00000d9f: JUMP
00000da0: JUMPDEST
00000da1: SWAP1
00000da2: POP
00000da3: DUP1
00000da4: SWAP4
00000da5: POP
00000da6: JUMPDEST
00000da7: POP
00000da8: POP
00000da9: POP
00000daa: SWAP2
00000dab: SWAP1
00000dac: POP
00000dad: JUMP
00000dae: JUMPDEST
00000daf: PUSH1 0x40
00000db1: DUP1
00000db2: MLOAD
00000db3: PUSH1 0x60
00000db5: PUSH1 0x02
00000db7: EXP
00000db8: CALLER
00000db9: SWAP1
00000dba: DUP2
00000dbb: MUL
00000dbc: DUP3
00000dbd: MSTORE
00000dbe: DUP3
00000dbf: MLOAD
00000dc0: SWAP2
00000dc1: DUP3
00000dc2: SWAP1
00000dc3: SUB
00000dc4: PUSH1 0x14
00000dc6: ADD
00000dc7: SWAP1
00000dc8: SWAP2
00000dc9: KECCAK256
00000dca: PUSH1 0x00
00000dcc: SWAP1
00000dcd: DUP2
00000dce: MSTORE
00000dcf: PUSH1 0x0c
00000dd1: PUSH1 0x20
00000dd3: MSTORE
00000dd4: SWAP2
00000dd5: SWAP1
00000dd6: SWAP2
00000dd7: KECCAK256
00000dd8: SLOAD
00000dd9: PUSH1 0xff
00000ddb: AND
00000ddc: ISZERO
00000ddd: ISZERO
00000dde: PUSH2 0x0de6
00000de1: JUMPI
00000de2: PUSH1 0x00
00000de4: DUP1
00000de5: REVERT
00000de6: JUMPDEST
00000de7: POP
00000de8: PUSH1 0x0f
00000dea: SSTORE
00000deb: JUMP
00000dec: JUMPDEST
00000ded: PUSH1 0x09
00000def: SLOAD
00000df0: JUMPDEST
00000df1: SWAP1
00000df2: JUMP
00000df3: JUMPDEST
00000df4: PUSH1 0x19
00000df6: SLOAD
00000df7: DUP2
00000df8: JUMP
00000df9: JUMPDEST
00000dfa: PUSH1 0x40
00000dfc: DUP1
00000dfd: MLOAD
00000dfe: PUSH1 0x60
00000e00: PUSH1 0x02
00000e02: EXP
00000e03: CALLER
00000e04: SWAP1
00000e05: DUP2
00000e06: MUL
00000e07: DUP3
00000e08: MSTORE
00000e09: DUP3
00000e0a: MLOAD
00000e0b: SWAP2
00000e0c: DUP3
00000e0d: SWAP1
00000e0e: SUB
00000e0f: PUSH1 0x14
00000e11: ADD
00000e12: SWAP1
00000e13: SWAP2
00000e14: KECCAK256
00000e15: PUSH1 0x00
00000e17: SWAP1
00000e18: DUP2
00000e19: MSTORE
00000e1a: PUSH1 0x0c
00000e1c: PUSH1 0x20
00000e1e: MSTORE
00000e1f: SWAP2
00000e20: SWAP1
00000e21: SWAP2
00000e22: KECCAK256
00000e23: SLOAD
00000e24: PUSH1 0xff
00000e26: AND
00000e27: ISZERO
00000e28: ISZERO
00000e29: PUSH2 0x0e31
00000e2c: JUMPI
00000e2d: PUSH1 0x00
00000e2f: DUP1
00000e30: REVERT
00000e31: JUMPDEST
00000e32: POP
00000e33: PUSH1 0x1e
00000e35: SSTORE
00000e36: JUMP
00000e37: JUMPDEST
00000e38: PUSH1 0x03
00000e3a: SLOAD
00000e3b: PUSH1 0xff
00000e3d: AND
00000e3e: DUP2
00000e3f: JUMP
00000e40: JUMPDEST
00000e41: PUSH1 0x09
00000e43: SLOAD
00000e44: PUSH1 0x00
00000e46: SWAP1
00000e47: DUP3
00000e48: GT
00000e49: ISZERO
00000e4a: PUSH2 0x0e52
00000e4d: JUMPI
00000e4e: PUSH1 0x00
00000e50: DUP1
00000e51: REVERT
00000e52: JUMPDEST
00000e53: PUSH2 0x0e5b
00000e56: DUP3
00000e57: PUSH2 0x1e4b
00000e5a: JUMP
00000e5b: JUMPDEST
00000e5c: SWAP3
00000e5d: SWAP2
00000e5e: POP
00000e5f: POP
00000e60: JUMP
00000e61: JUMPDEST
00000e62: PUSH1 0x40
00000e64: DUP1
00000e65: MLOAD
00000e66: PUSH1 0x60
00000e68: PUSH1 0x02
00000e6a: EXP
00000e6b: CALLER
00000e6c: SWAP1
00000e6d: DUP2
00000e6e: MUL
00000e6f: DUP3
00000e70: MSTORE
00000e71: DUP3
00000e72: MLOAD
00000e73: SWAP2
00000e74: DUP3
00000e75: SWAP1
00000e76: SUB
00000e77: PUSH1 0x14
00000e79: ADD
00000e7a: SWAP1
00000e7b: SWAP2
00000e7c: KECCAK256
00000e7d: PUSH1 0x00
00000e7f: SWAP1
00000e80: DUP2
00000e81: MSTORE
00000e82: PUSH1 0x0c
00000e84: PUSH1 0x20
00000e86: MSTORE
00000e87: SWAP2
00000e88: SWAP1
00000e89: SWAP2
00000e8a: KECCAK256
00000e8b: SLOAD
00000e8c: PUSH1 0xff
00000e8e: AND
00000e8f: ISZERO
00000e90: ISZERO
00000e91: PUSH2 0x0e99
00000e94: JUMPI
00000e95: PUSH1 0x00
00000e97: DUP1
00000e98: REVERT
00000e99: JUMPDEST
00000e9a: POP
00000e9b: PUSH1 0x17
00000e9d: SSTORE
00000e9e: JUMP
00000e9f: JUMPDEST
00000ea0: PUSH1 0x13
00000ea2: SLOAD
00000ea3: DUP2
00000ea4: JUMP
00000ea5: JUMPDEST
00000ea6: PUSH1 0x12
00000ea8: DUP2
00000ea9: JUMP
00000eaa: JUMPDEST
00000eab: PUSH1 0x40
00000ead: DUP1
00000eae: MLOAD
00000eaf: PUSH1 0x60
00000eb1: PUSH1 0x02
00000eb3: EXP
00000eb4: CALLER
00000eb5: SWAP1
00000eb6: DUP2
00000eb7: MUL
00000eb8: DUP3
00000eb9: MSTORE
00000eba: DUP3
00000ebb: MLOAD
00000ebc: SWAP2
00000ebd: DUP3
00000ebe: SWAP1
00000ebf: SUB
00000ec0: PUSH1 0x14
00000ec2: ADD
00000ec3: SWAP1
00000ec4: SWAP2
00000ec5: KECCAK256
00000ec6: PUSH1 0x00
00000ec8: SWAP1
00000ec9: DUP2
00000eca: MSTORE
00000ecb: PUSH1 0x0c
00000ecd: PUSH1 0x20
00000ecf: MSTORE
00000ed0: SWAP2
00000ed1: SWAP1
00000ed2: SWAP2
00000ed3: KECCAK256
00000ed4: SLOAD
00000ed5: PUSH1 0xff
00000ed7: AND
00000ed8: ISZERO
00000ed9: ISZERO
00000eda: PUSH2 0x0ee2
00000edd: JUMPI
00000ede: PUSH1 0x00
00000ee0: DUP1
00000ee1: REVERT
00000ee2: JUMPDEST
00000ee3: POP
00000ee4: PUSH1 0x15
00000ee6: SSTORE
00000ee7: JUMP
00000ee8: JUMPDEST
00000ee9: PUSH1 0x18
00000eeb: SLOAD
00000eec: DUP2
00000eed: JUMP
00000eee: JUMPDEST
00000eef: PUSH1 0x1e
00000ef1: SLOAD
00000ef2: DUP2
00000ef3: JUMP
00000ef4: JUMPDEST
00000ef5: PUSH1 0x0c
00000ef7: PUSH1 0x20
00000ef9: MSTORE
00000efa: PUSH1 0x00
00000efc: SWAP1
00000efd: DUP2
00000efe: MSTORE
00000eff: PUSH1 0x40
00000f01: SWAP1
00000f02: KECCAK256
00000f03: SLOAD
00000f04: PUSH1 0xff
00000f06: AND
00000f07: DUP2
00000f08: JUMP
00000f09: JUMPDEST
00000f0a: PUSH1 0x14
00000f0c: SLOAD
00000f0d: DUP2
00000f0e: JUMP
00000f0f: JUMPDEST
00000f10: PUSH1 0x16
00000f12: SLOAD
00000f13: DUP2
00000f14: JUMP
00000f15: JUMPDEST
00000f16: PUSH1 0x00
00000f18: DUP1
00000f19: PUSH1 0x00
00000f1b: DUP1
00000f1c: PUSH1 0x00
00000f1e: DUP1
00000f1f: PUSH2 0x0f28
00000f22: PUSH1 0x01
00000f24: PUSH2 0x11e7
00000f27: JUMP
00000f28: JUMPDEST
00000f29: GT
00000f2a: PUSH2 0x0f32
00000f2d: JUMPI
00000f2e: PUSH1 0x00
00000f30: DUP1
00000f31: REVERT
00000f32: JUMPDEST
00000f33: CALLER
00000f34: SWAP5
00000f35: POP
00000f36: PUSH2 0x0f3f
00000f39: PUSH1 0x00
00000f3b: PUSH2 0x11e7
00000f3e: JUMP
00000f3f: JUMPDEST
00000f40: PUSH1 0x01
00000f42: PUSH1 0xa0
00000f44: PUSH1 0x02
00000f46: EXP
00000f47: SUB
00000f48: DUP7
00000f49: AND
00000f4a: PUSH1 0x00
00000f4c: SWAP1
00000f4d: DUP2
00000f4e: MSTORE
00000f4f: PUSH1 0x08
00000f51: PUSH1 0x20
00000f53: SWAP1
00000f54: DUP2
00000f55: MSTORE
00000f56: PUSH1 0x40
00000f58: DUP1
00000f59: DUP4
00000f5a: KECCAK256
00000f5b: DUP1
00000f5c: SLOAD
00000f5d: DUP6
00000f5e: ADD
00000f5f: SWAP1
00000f60: SSTORE
00000f61: PUSH1 0x06
00000f63: DUP3
00000f64: MSTORE
00000f65: DUP1
00000f66: DUP4
00000f67: KECCAK256
00000f68: DUP1
00000f69: SLOAD
00000f6a: PUSH9 0x010000000000000000
00000f74: DUP7
00000f75: MUL
00000f76: ADD
00000f77: SWAP1
00000f78: SSTORE
00000f79: PUSH1 0x05
00000f7b: SWAP1
00000f7c: SWAP2
00000f7d: MSTORE
00000f7e: DUP2
00000f7f: KECCAK256
00000f80: DUP1
00000f81: SLOAD
00000f82: SWAP2
00000f83: SWAP1
00000f84: SSTORE
00000f85: ADD
00000f86: SWAP4
00000f87: POP
00000f88: PUSH2 0x0fa1
00000f8b: PUSH2 0x0d82
00000f8e: DUP6
00000f8f: PUSH1 0x03
00000f91: PUSH2 0x0f98
00000f94: PUSH2 0x1c15
00000f97: JUMP
00000f98: JUMPDEST
00000f99: SUB
00000f9a: PUSH1 0xff
00000f9c: AND
00000f9d: PUSH2 0x1d66
00000fa0: JUMP
00000fa1: JUMPDEST
00000fa2: SWAP3
00000fa3: POP
00000fa4: PUSH2 0x0fb1
00000fa7: PUSH2 0x0d82
00000faa: DUP6
00000fab: PUSH1 0x03
00000fad: PUSH2 0x1d66
00000fb0: JUMP
00000fb1: JUMPDEST
00000fb2: SWAP2
00000fb3: POP
00000fb4: PUSH2 0x0fbf
00000fb7: DUP5
00000fb8: DUP4
00000fb9: DUP6
00000fba: ADD
00000fbb: PUSH2 0x1d54
00000fbe: JUMP
00000fbf: JUMPDEST
00000fc0: PUSH1 0x03
00000fc2: SLOAD
00000fc3: SWAP1
00000fc4: SWAP2
00000fc5: POP
00000fc6: PUSH1 0x01
00000fc8: PUSH1 0xa0
00000fca: PUSH1 0x02
00000fcc: EXP
00000fcd: SUB
00000fce: DUP7
00000fcf: DUP2
00000fd0: AND
00000fd1: PUSH2 0x0100
00000fd4: SWAP1
00000fd5: SWAP3
00000fd6: DIV
00000fd7: AND
00000fd8: EQ
00000fd9: PUSH2 0x1024
00000fdc: JUMPI
00000fdd: PUSH1 0x03
00000fdf: DUP1
00000fe0: SLOAD
00000fe1: PUSH1 0x01
00000fe3: PUSH1 0xa0
00000fe5: PUSH1 0x02
00000fe7: EXP
00000fe8: SUB
00000fe9: PUSH2 0x0100
00000fec: SWAP2
00000fed: DUP3
00000fee: SWAP1
00000fef: DIV
00000ff0: DUP2
00000ff1: AND
00000ff2: PUSH1 0x00
00000ff4: SWAP1
00000ff5: DUP2
00000ff6: MSTORE
00000ff7: PUSH1 0x05
00000ff9: PUSH1 0x20
00000ffb: SWAP1
00000ffc: DUP2
00000ffd: MSTORE
00000ffe: PUSH1 0x40
00001000: DUP1
00001001: DUP4
00001002: KECCAK256
00001003: DUP1
00001004: SLOAD
00001005: DUP10
00001006: ADD
00001007: SWAP1
00001008: SSTORE
00001009: SWAP5
0000100a: SLOAD
0000100b: SWAP4
0000100c: SWAP1
0000100d: SWAP4
0000100e: DIV
0000100f: SWAP1
00001010: SWAP2
00001011: AND
00001012: DUP2
00001013: MSTORE
00001014: PUSH1 0x07
00001016: SWAP1
00001017: SWAP2
00001018: MSTORE
00001019: KECCAK256
0000101a: DUP1
0000101b: SLOAD
0000101c: DUP4
0000101d: ADD
0000101e: SWAP1
0000101f: SSTORE
00001020: PUSH2 0x1027
00001023: JUMP
00001024: JUMPDEST
00001025: DUP2
00001026: ADD
00001027: JUMPDEST
00001028: PUSH2 0x104b
0000102b: PUSH1 0x0a
0000102d: SLOAD
0000102e: PUSH1 0x09
00001030: SLOAD
00001031: PUSH9 0x010000000000000000
0000103b: DUP7
0000103c: MUL
0000103d: DUP2
0000103e: ISZERO
0000103f: ISZERO
00001040: PUSH2 0x1045
00001043: JUMPI
00001044: INVALID
00001045: JUMPDEST
00001046: DIV
00001047: PUSH2 0x1e59
0000104a: JUMP
0000104b: JUMPDEST
0000104c: PUSH1 0x0a
0000104e: SSTORE
0000104f: PUSH1 0x40
00001051: MLOAD
00001052: PUSH1 0x01
00001054: PUSH1 0xa0
00001056: PUSH1 0x02
00001058: EXP
00001059: SUB
0000105a: DUP7
0000105b: AND
0000105c: SWAP1
0000105d: DUP3
0000105e: ISZERO
0000105f: PUSH2 0x08fc
00001062: MUL
00001063: SWAP1
00001064: DUP4
00001065: SWAP1
00001066: PUSH1 0x00
00001068: DUP2
00001069: DUP2
0000106a: DUP2
0000106b: DUP6
0000106c: DUP9
0000106d: DUP9
0000106e: CALL
0000106f: SWAP4
00001070: POP
00001071: POP
00001072: POP
00001073: POP
00001074: ISZERO
00001075: DUP1
00001076: ISZERO
00001077: PUSH2 0x1084
0000107a: JUMPI
0000107b: RETURNDATASIZE
0000107c: PUSH1 0x00
0000107e: DUP1
0000107f: RETURNDATACOPY
00001080: RETURNDATASIZE
00001081: PUSH1 0x00
00001083: REVERT
00001084: JUMPDEST
00001085: POP
00001086: PUSH1 0x40
00001088: DUP1
00001089: MLOAD
0000108a: DUP6
0000108b: DUP2
0000108c: MSTORE
0000108d: SWAP1
0000108e: MLOAD
0000108f: PUSH1 0x01
00001091: PUSH1 0xa0
00001093: PUSH1 0x02
00001095: EXP
00001096: SUB
00001097: DUP8
00001098: AND
00001099: SWAP2
0000109a: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
000010bb: SWAP2
000010bc: SWAP1
000010bd: DUP2
000010be: SWAP1
000010bf: SUB
000010c0: PUSH1 0x20
000010c2: ADD
000010c3: SWAP1
000010c4: LOG2
000010c5: POP
000010c6: POP
000010c7: POP
000010c8: POP
000010c9: POP
000010ca: JUMP
000010cb: JUMPDEST
000010cc: PUSH1 0x40
000010ce: DUP1
000010cf: MLOAD
000010d0: PUSH1 0x60
000010d2: PUSH1 0x02
000010d4: EXP
000010d5: CALLER
000010d6: SWAP1
000010d7: DUP2
000010d8: MUL
000010d9: DUP3
000010da: MSTORE
000010db: DUP3
000010dc: MLOAD
000010dd: SWAP2
000010de: DUP3
000010df: SWAP1
000010e0: SUB
000010e1: PUSH1 0x14
000010e3: ADD
000010e4: SWAP1
000010e5: SWAP2
000010e6: KECCAK256
000010e7: PUSH1 0x00
000010e9: SWAP1
000010ea: DUP2
000010eb: MSTORE
000010ec: PUSH1 0x0c
000010ee: PUSH1 0x20
000010f0: MSTORE
000010f1: SWAP2
000010f2: SWAP1
000010f3: SWAP2
000010f4: KECCAK256
000010f5: SLOAD
000010f6: PUSH1 0xff
000010f8: AND
000010f9: ISZERO
000010fa: ISZERO
000010fb: PUSH2 0x1103
000010fe: JUMPI
000010ff: PUSH1 0x00
00001101: DUP1
00001102: REVERT
00001103: JUMPDEST
00001104: POP
00001105: PUSH1 0x18
00001107: SSTORE
00001108: JUMP
00001109: JUMPDEST
0000110a: PUSH1 0x00
0000110c: PUSH2 0x1116
0000110f: PUSH1 0x09
00001111: SLOAD
00001112: PUSH2 0x1892
00001115: JUMP
00001116: JUMPDEST
00001117: SWAP1
00001118: POP
00001119: SWAP1
0000111a: JUMP
0000111b: JUMPDEST
0000111c: PUSH1 0x40
0000111e: DUP1
0000111f: MLOAD
00001120: PUSH1 0x60
00001122: PUSH1 0x02
00001124: EXP
00001125: CALLER
00001126: SWAP1
00001127: DUP2
00001128: MUL
00001129: DUP3
0000112a: MSTORE
0000112b: DUP3
0000112c: MLOAD
0000112d: SWAP2
0000112e: DUP3
0000112f: SWAP1
00001130: SUB
00001131: PUSH1 0x14
00001133: ADD
00001134: SWAP1
00001135: SWAP2
00001136: KECCAK256
00001137: PUSH1 0x00
00001139: SWAP1
0000113a: DUP2
0000113b: MSTORE
0000113c: PUSH1 0x0c
0000113e: PUSH1 0x20
00001140: MSTORE
00001141: SWAP2
00001142: SWAP1
00001143: SWAP2
00001144: KECCAK256
00001145: SLOAD
00001146: PUSH1 0xff
00001148: AND
00001149: ISZERO
0000114a: ISZERO
0000114b: PUSH2 0x1153
0000114e: JUMPI
0000114f: PUSH1 0x00
00001151: DUP1
00001152: REVERT
00001153: JUMPDEST
00001154: POP
00001155: PUSH1 0x16
00001157: SSTORE
00001158: JUMP
00001159: JUMPDEST
0000115a: PUSH1 0x1d
0000115c: SLOAD
0000115d: DUP2
0000115e: JUMP
0000115f: JUMPDEST
00001160: PUSH1 0x40
00001162: DUP1
00001163: MLOAD
00001164: PUSH1 0x60
00001166: PUSH1 0x02
00001168: EXP
00001169: CALLER
0000116a: SWAP1
0000116b: DUP2
0000116c: MUL
0000116d: DUP3
0000116e: MSTORE
0000116f: DUP3
00001170: MLOAD
00001171: SWAP2
00001172: DUP3
00001173: SWAP1
00001174: SUB
00001175: PUSH1 0x14
00001177: ADD
00001178: SWAP1
00001179: SWAP2
0000117a: KECCAK256
0000117b: PUSH1 0x00
0000117d: SWAP1
0000117e: DUP2
0000117f: MSTORE
00001180: PUSH1 0x0c
00001182: PUSH1 0x20
00001184: MSTORE
00001185: SWAP2
00001186: SWAP1
00001187: SWAP2
00001188: KECCAK256
00001189: SLOAD
0000118a: PUSH1 0xff
0000118c: AND
0000118d: ISZERO
0000118e: ISZERO
0000118f: PUSH2 0x1197
00001192: JUMPI
00001193: PUSH1 0x00
00001195: DUP1
00001196: REVERT
00001197: JUMPDEST
00001198: POP
00001199: PUSH1 0x11
0000119b: SSTORE
0000119c: JUMP
0000119d: JUMPDEST
0000119e: PUSH1 0x20
000011a0: SLOAD
000011a1: DUP2
000011a2: JUMP
000011a3: JUMPDEST
000011a4: PUSH1 0x0d
000011a6: SLOAD
000011a7: DUP2
000011a8: JUMP
000011a9: JUMPDEST
000011aa: PUSH1 0x40
000011ac: DUP1
000011ad: MLOAD
000011ae: PUSH1 0x60
000011b0: PUSH1 0x02
000011b2: EXP
000011b3: CALLER
000011b4: SWAP1
000011b5: DUP2
000011b6: MUL
000011b7: DUP3
000011b8: MSTORE
000011b9: DUP3
000011ba: MLOAD
000011bb: SWAP2
000011bc: DUP3
000011bd: SWAP1
000011be: SUB
000011bf: PUSH1 0x14
000011c1: ADD
000011c2: SWAP1
000011c3: SWAP2
000011c4: KECCAK256
000011c5: PUSH1 0x00
000011c7: SWAP1
000011c8: DUP2
000011c9: MSTORE
000011ca: PUSH1 0x0c
000011cc: PUSH1 0x20
000011ce: MSTORE
000011cf: SWAP2
000011d0: SWAP1
000011d1: SWAP2
000011d2: KECCAK256
000011d3: SLOAD
000011d4: PUSH1 0xff
000011d6: AND
000011d7: ISZERO
000011d8: ISZERO
000011d9: PUSH2 0x11e1
000011dc: JUMPI
000011dd: PUSH1 0x00
000011df: DUP1
000011e0: REVERT
000011e1: JUMPDEST
000011e2: POP
000011e3: PUSH1 0x12
000011e5: SSTORE
000011e6: JUMP
000011e7: JUMPDEST
000011e8: PUSH1 0x00
000011ea: CALLER
000011eb: DUP3
000011ec: PUSH2 0x11fd
000011ef: JUMPI
000011f0: PUSH2 0x11f8
000011f3: DUP2
000011f4: PUSH2 0x0bcf
000011f7: JUMP
000011f8: JUMPDEST
000011f9: PUSH2 0x1221
000011fc: JUMP
000011fd: JUMPDEST
000011fe: PUSH1 0x01
00001200: PUSH1 0xa0
00001202: PUSH1 0x02
00001204: EXP
00001205: SUB
00001206: DUP2
00001207: AND
00001208: PUSH1 0x00
0000120a: SWAP1
0000120b: DUP2
0000120c: MSTORE
0000120d: PUSH1 0x05
0000120f: PUSH1 0x20
00001211: MSTORE
00001212: PUSH1 0x40
00001214: SWAP1
00001215: KECCAK256
00001216: SLOAD
00001217: PUSH2 0x121f
0000121a: DUP3
0000121b: PUSH2 0x0bcf
0000121e: JUMP
0000121f: JUMPDEST
00001220: ADD
00001221: JUMPDEST
00001222: SWAP2
00001223: POP
00001224: JUMPDEST
00001225: POP
00001226: SWAP2
00001227: SWAP1
00001228: POP
00001229: JUMP
0000122a: JUMPDEST
0000122b: ADDRESS
0000122c: BALANCE
0000122d: SWAP1
0000122e: JUMP
0000122f: JUMPDEST
00001230: PUSH1 0x01
00001232: PUSH1 0xa0
00001234: PUSH1 0x02
00001236: EXP
00001237: SUB
00001238: AND
00001239: PUSH1 0x00
0000123b: SWAP1
0000123c: DUP2
0000123d: MSTORE
0000123e: PUSH1 0x04
00001240: PUSH1 0x20
00001242: MSTORE
00001243: PUSH1 0x40
00001245: SWAP1
00001246: KECCAK256
00001247: SLOAD
00001248: SWAP1
00001249: JUMP
0000124a: JUMPDEST
0000124b: PUSH1 0x01
0000124d: PUSH1 0xa0
0000124f: PUSH1 0x02
00001251: EXP
00001252: SUB
00001253: SWAP2
00001254: DUP3
00001255: AND
00001256: PUSH1 0x00
00001258: SWAP1
00001259: DUP2
0000125a: MSTORE
0000125b: PUSH1 0x21
0000125d: PUSH1 0x20
0000125f: SWAP1
00001260: DUP2
00001261: MSTORE
00001262: PUSH1 0x40
00001264: DUP1
00001265: DUP4
00001266: KECCAK256
00001267: SWAP4
00001268: SWAP1
00001269: SWAP5
0000126a: AND
0000126b: DUP3
0000126c: MSTORE
0000126d: SWAP2
0000126e: SWAP1
0000126f: SWAP2
00001270: MSTORE
00001271: KECCAK256
00001272: SLOAD
00001273: SWAP1
00001274: JUMP
00001275: JUMPDEST
00001276: PUSH1 0x11
00001278: SLOAD
00001279: DUP2
0000127a: JUMP
0000127b: JUMPDEST
0000127c: PUSH1 0x1f
0000127e: SLOAD
0000127f: DUP2
00001280: JUMP
00001281: JUMPDEST
00001282: PUSH1 0x1b
00001284: SLOAD
00001285: DUP2
00001286: JUMP
00001287: JUMPDEST
00001288: PUSH1 0x40
0000128a: DUP1
0000128b: MLOAD
0000128c: PUSH1 0x60
0000128e: PUSH1 0x02
00001290: EXP
00001291: CALLER
00001292: SWAP1
00001293: DUP2
00001294: MUL
00001295: DUP3
00001296: MSTORE
00001297: DUP3
00001298: MLOAD
00001299: SWAP2
0000129a: DUP3
0000129b: SWAP1
0000129c: SUB
0000129d: PUSH1 0x14
0000129f: ADD
000012a0: SWAP1
000012a1: SWAP2
000012a2: KECCAK256
000012a3: PUSH1 0x00
000012a5: SWAP1
000012a6: DUP2
000012a7: MSTORE
000012a8: PUSH1 0x0c
000012aa: PUSH1 0x20
000012ac: MSTORE
000012ad: SWAP2
000012ae: SWAP1
000012af: SWAP2
000012b0: KECCAK256
000012b1: SLOAD
000012b2: PUSH1 0xff
000012b4: AND
000012b5: ISZERO
000012b6: ISZERO
000012b7: PUSH2 0x12bf
000012ba: JUMPI
000012bb: PUSH1 0x00
000012bd: DUP1
000012be: REVERT
000012bf: JUMPDEST
000012c0: POP
000012c1: PUSH1 0x14
000012c3: SSTORE
000012c4: JUMP
000012c5: JUMPDEST
000012c6: PUSH1 0x40
000012c8: DUP1
000012c9: MLOAD
000012ca: PUSH1 0x60
000012cc: PUSH1 0x02
000012ce: EXP
000012cf: CALLER
000012d0: SWAP1
000012d1: DUP2
000012d2: MUL
000012d3: DUP3
000012d4: MSTORE
000012d5: DUP3
000012d6: MLOAD
000012d7: SWAP2
000012d8: DUP3
000012d9: SWAP1
000012da: SUB
000012db: PUSH1 0x14
000012dd: ADD
000012de: SWAP1
000012df: SWAP2
000012e0: KECCAK256
000012e1: PUSH1 0x00
000012e3: SWAP1
000012e4: DUP2
000012e5: MSTORE
000012e6: PUSH1 0x0c
000012e8: PUSH1 0x20
000012ea: MSTORE
000012eb: SWAP2
000012ec: SWAP1
000012ed: SWAP2
000012ee: KECCAK256
000012ef: SLOAD
000012f0: PUSH1 0xff
000012f2: AND
000012f3: ISZERO
000012f4: ISZERO
000012f5: PUSH2 0x12fd
000012f8: JUMPI
000012f9: PUSH1 0x00
000012fb: DUP1
000012fc: REVERT
000012fd: JUMPDEST
000012fe: POP
000012ff: PUSH1 0x1c
00001301: SSTORE
00001302: JUMP
00001303: JUMPDEST
00001304: PUSH1 0x00
00001306: DUP1
00001307: PUSH1 0x00
00001309: PUSH2 0x1311
0000130c: DUP5
0000130d: PUSH2 0x1e68
00001310: JUMP
00001311: JUMPDEST
00001312: PUSH1 0x1b
00001314: SLOAD
00001315: SWAP1
00001316: SWAP3
00001317: POP
00001318: PUSH1 0x00
0000131a: SWAP2
0000131b: POP
0000131c: DUP3
0000131d: LT
0000131e: PUSH2 0x1329
00001321: JUMPI
00001322: POP
00001323: PUSH1 0x05
00001325: PUSH2 0x1369
00001328: JUMP
00001329: JUMPDEST
0000132a: PUSH1 0x16
0000132c: SLOAD
0000132d: DUP3
0000132e: LT
0000132f: PUSH2 0x133a
00001332: JUMPI
00001333: POP
00001334: PUSH1 0x04
00001336: PUSH2 0x1369
00001339: JUMP
0000133a: JUMPDEST
0000133b: PUSH1 0x12
0000133d: SLOAD
0000133e: DUP3
0000133f: LT
00001340: PUSH2 0x134b
00001343: JUMPI
00001344: POP
00001345: PUSH1 0x03
00001347: PUSH2 0x1369
0000134a: JUMP
0000134b: JUMPDEST
0000134c: PUSH1 0x0f
0000134e: SLOAD
0000134f: DUP3
00001350: LT
00001351: PUSH2 0x135c
00001354: JUMPI
00001355: POP
00001356: PUSH1 0x02
00001358: PUSH2 0x1369
0000135b: JUMP
0000135c: JUMPDEST
0000135d: PUSH1 0x0d
0000135f: SLOAD
00001360: DUP3
00001361: LT
00001362: PUSH2 0x1369
00001365: JUMPI
00001366: POP
00001367: PUSH1 0x01
00001369: JUMPDEST
0000136a: SWAP4
0000136b: SWAP3
0000136c: POP
0000136d: POP
0000136e: POP
0000136f: JUMP
00001370: JUMPDEST
00001371: PUSH1 0x03
00001373: SLOAD
00001374: PUSH1 0x00
00001376: SWAP1
00001377: PUSH1 0xff
00001379: AND
0000137a: ISZERO
0000137b: ISZERO
0000137c: PUSH2 0x1387
0000137f: JUMPI
00001380: POP
00001381: PUSH1 0x00
00001383: PUSH2 0x0df0
00001386: JUMP
00001387: JUMPDEST
00001388: PUSH1 0x18
0000138a: PUSH1 0x3c
0000138c: DUP1
0000138d: PUSH1 0x02
0000138f: SLOAD
00001390: TIMESTAMP
00001391: SUB
00001392: DUP2
00001393: ISZERO
00001394: ISZERO
00001395: PUSH2 0x139a
00001398: JUMPI
00001399: INVALID
0000139a: JUMPDEST
0000139b: DIV
0000139c: DUP2
0000139d: ISZERO
0000139e: ISZERO
0000139f: PUSH2 0x13a4
000013a2: JUMPI
000013a3: INVALID
000013a4: JUMPDEST
000013a5: DIV
000013a6: DUP2
000013a7: ISZERO
000013a8: ISZERO
000013a9: PUSH2 0x13ae
000013ac: JUMPI
000013ad: INVALID
000013ae: JUMPDEST
000013af: DIV
000013b0: SWAP1
000013b1: POP
000013b2: SWAP1
000013b3: JUMP
000013b4: JUMPDEST
000013b5: PUSH1 0x00
000013b7: DUP1
000013b8: PUSH1 0x00
000013ba: DUP1
000013bb: PUSH1 0x09
000013bd: SLOAD
000013be: PUSH1 0x00
000013c0: EQ
000013c1: ISZERO
000013c2: PUSH2 0x13d2
000013c5: JUMPI
000013c6: PUSH5 0x199c82cc00
000013cc: SWAP4
000013cd: POP
000013ce: PUSH2 0x1405
000013d1: JUMP
000013d2: JUMPDEST
000013d3: PUSH2 0x13e3
000013d6: PUSH8 0x0de0b6b3a7640000
000013df: PUSH2 0x1e4b
000013e2: JUMP
000013e3: JUMPDEST
000013e4: SWAP3
000013e5: POP
000013e6: PUSH2 0x13f3
000013e9: PUSH2 0x0d82
000013ec: DUP5
000013ed: PUSH1 0x0c
000013ef: PUSH2 0x1d66
000013f2: JUMP
000013f3: JUMPDEST
000013f4: SWAP2
000013f5: POP
000013f6: PUSH2 0x13ff
000013f9: DUP4
000013fa: DUP4
000013fb: PUSH2 0x1e59
000013fe: JUMP
000013ff: JUMPDEST
00001400: SWAP1
00001401: POP
00001402: DUP1
00001403: SWAP4
00001404: POP
00001405: JUMPDEST
00001406: POP
00001407: POP
00001408: POP
00001409: SWAP1
0000140a: JUMP
0000140b: JUMPDEST
0000140c: PUSH1 0x40
0000140e: DUP1
0000140f: MLOAD
00001410: PUSH1 0x60
00001412: PUSH1 0x02
00001414: EXP
00001415: CALLER
00001416: SWAP1
00001417: DUP2
00001418: MUL
00001419: DUP3
0000141a: MSTORE
0000141b: DUP3
0000141c: MLOAD
0000141d: SWAP2
0000141e: DUP3
0000141f: SWAP1
00001420: SUB
00001421: PUSH1 0x14
00001423: ADD
00001424: SWAP1
00001425: SWAP2
00001426: KECCAK256
00001427: PUSH1 0x00
00001429: SWAP1
0000142a: DUP2
0000142b: MSTORE
0000142c: PUSH1 0x0c
0000142e: PUSH1 0x20
00001430: MSTORE
00001431: SWAP2
00001432: SWAP1
00001433: SWAP2
00001434: KECCAK256
00001435: SLOAD
00001436: PUSH1 0xff
00001438: AND
00001439: ISZERO
0000143a: ISZERO
0000143b: PUSH2 0x1443
0000143e: JUMPI
0000143f: PUSH1 0x00
00001441: DUP1
00001442: REVERT
00001443: JUMPDEST
00001444: PUSH1 0x03
00001446: SLOAD
00001447: PUSH1 0x01
00001449: PUSH1 0xa0
0000144b: PUSH1 0x02
0000144d: EXP
0000144e: SUB
0000144f: DUP5
00001450: DUP2
00001451: AND
00001452: PUSH2 0x0100
00001455: SWAP1
00001456: SWAP3
00001457: DIV
00001458: AND
00001459: EQ
0000145a: PUSH2 0x1498
0000145d: JUMPI
0000145e: PUSH1 0x40
00001460: DUP1
00001461: MLOAD
00001462: PUSH1 0x60
00001464: PUSH1 0x02
00001466: EXP
00001467: PUSH1 0x01
00001469: PUSH1 0xa0
0000146b: PUSH1 0x02
0000146d: EXP
0000146e: SUB
0000146f: DUP7
00001470: AND
00001471: MUL
00001472: DUP2
00001473: MSTORE
00001474: DUP2
00001475: MLOAD
00001476: SWAP1
00001477: DUP2
00001478: SWAP1
00001479: SUB
0000147a: PUSH1 0x14
0000147c: ADD
0000147d: SWAP1
0000147e: KECCAK256
0000147f: PUSH1 0x00
00001481: SWAP1
00001482: DUP2
00001483: MSTORE
00001484: PUSH1 0x0c
00001486: PUSH1 0x20
00001488: MSTORE
00001489: KECCAK256
0000148a: DUP1
0000148b: SLOAD
0000148c: DUP4
0000148d: ISZERO
0000148e: ISZERO
0000148f: PUSH1 0xff
00001491: NOT
00001492: SWAP1
00001493: SWAP2
00001494: AND
00001495: OR
00001496: SWAP1
00001497: SSTORE
00001498: JUMPDEST
00001499: POP
0000149a: POP
0000149b: POP
0000149c: JUMP
0000149d: JUMPDEST
0000149e: PUSH1 0x0b
000014a0: SLOAD
000014a1: DUP2
000014a2: JUMP
000014a3: JUMPDEST
000014a4: PUSH1 0x40
000014a6: DUP1
000014a7: MLOAD
000014a8: PUSH1 0x60
000014aa: PUSH1 0x02
000014ac: EXP
000014ad: CALLER
000014ae: SWAP1
000014af: DUP2
000014b0: MUL
000014b1: DUP3
000014b2: MSTORE
000014b3: DUP3
000014b4: MLOAD
000014b5: SWAP2
000014b6: DUP3
000014b7: SWAP1
000014b8: SUB
000014b9: PUSH1 0x14
000014bb: ADD
000014bc: SWAP1
000014bd: SWAP2
000014be: KECCAK256
000014bf: PUSH1 0x00
000014c1: SWAP1
000014c2: DUP2
000014c3: MSTORE
000014c4: PUSH1 0x0c
000014c6: PUSH1 0x20
000014c8: MSTORE
000014c9: SWAP2
000014ca: SWAP1
000014cb: SWAP2
000014cc: KECCAK256
000014cd: SLOAD
000014ce: PUSH1 0xff
000014d0: AND
000014d1: ISZERO
000014d2: ISZERO
000014d3: PUSH2 0x14db
000014d6: JUMPI
000014d7: PUSH1 0x00
000014d9: DUP1
000014da: REVERT
000014db: JUMPDEST
000014dc: POP
000014dd: PUSH1 0x0e
000014df: SSTORE
000014e0: JUMP
000014e1: JUMPDEST
000014e2: PUSH1 0x17
000014e4: SLOAD
000014e5: DUP2
000014e6: JUMP
000014e7: JUMPDEST
000014e8: PUSH1 0x00
000014ea: CALLER
000014eb: PUSH2 0x14f3
000014ee: DUP2
000014ef: PUSH2 0x122f
000014f2: JUMP
000014f3: JUMPDEST
000014f4: SWAP2
000014f5: POP
000014f6: JUMPDEST
000014f7: POP
000014f8: SWAP1
000014f9: JUMP
000014fa: JUMPDEST
000014fb: PUSH1 0x01
000014fd: DUP1
000014fe: SLOAD
000014ff: PUSH1 0x40
00001501: DUP1
00001502: MLOAD
00001503: PUSH1 0x20
00001505: PUSH1 0x02
00001507: DUP5
00001508: DUP7
00001509: AND
0000150a: ISZERO
0000150b: PUSH2 0x0100
0000150e: MUL
0000150f: PUSH1 0x00
00001511: NOT
00001512: ADD
00001513: SWAP1
00001514: SWAP5
00001515: AND
00001516: SWAP4
00001517: SWAP1
00001518: SWAP4
00001519: DIV
0000151a: PUSH1 0x1f
0000151c: DUP2
0000151d: ADD
0000151e: DUP5
0000151f: SWAP1
00001520: DIV
00001521: DUP5
00001522: MUL
00001523: DUP3
00001524: ADD
00001525: DUP5
00001526: ADD
00001527: SWAP1
00001528: SWAP3
00001529: MSTORE
0000152a: DUP2
0000152b: DUP2
0000152c: MSTORE
0000152d: SWAP3
0000152e: SWAP2
0000152f: DUP4
00001530: ADD
00001531: DUP3
00001532: DUP3
00001533: DUP1
00001534: ISZERO
00001535: PUSH2 0x0d1c
00001538: JUMPI
00001539: DUP1
0000153a: PUSH1 0x1f
0000153c: LT
0000153d: PUSH2 0x0cf1
00001540: JUMPI
00001541: PUSH2 0x0100
00001544: DUP1
00001545: DUP4
00001546: SLOAD
00001547: DIV
00001548: MUL
00001549: DUP4
0000154a: MSTORE
0000154b: SWAP2
0000154c: PUSH1 0x20
0000154e: ADD
0000154f: SWAP2
00001550: PUSH2 0x0d1c
00001553: JUMP
00001554: JUMPDEST
00001555: PUSH1 0x01
00001557: PUSH1 0xa0
00001559: PUSH1 0x02
0000155b: EXP
0000155c: SUB
0000155d: DUP2
0000155e: AND
0000155f: PUSH1 0x00
00001561: SWAP1
00001562: DUP2
00001563: MSTORE
00001564: PUSH1 0x07
00001566: PUSH1 0x20
00001568: SWAP1
00001569: DUP2
0000156a: MSTORE
0000156b: PUSH1 0x40
0000156d: DUP1
0000156e: DUP4
0000156f: KECCAK256
00001570: SLOAD
00001571: PUSH1 0x08
00001573: SWAP1
00001574: SWAP3
00001575: MSTORE
00001576: DUP3
00001577: KECCAK256
00001578: SLOAD
00001579: PUSH2 0x1581
0000157c: DUP5
0000157d: PUSH2 0x0bcf
00001580: JUMP
00001581: JUMPDEST
00001582: ADD
00001583: ADD
00001584: SWAP3
00001585: SWAP2
00001586: POP
00001587: POP
00001588: JUMP
00001589: JUMPDEST
0000158a: PUSH1 0x0e
0000158c: SLOAD
0000158d: DUP2
0000158e: JUMP
0000158f: JUMPDEST
00001590: PUSH1 0x00
00001592: DUP1
00001593: PUSH1 0x00
00001595: DUP1
00001596: PUSH1 0x00
00001598: DUP1
00001599: PUSH2 0x15a0
0000159c: PUSH2 0x14e7
0000159f: JUMP
000015a0: JUMPDEST
000015a1: GT
000015a2: PUSH2 0x15aa
000015a5: JUMPI
000015a6: PUSH1 0x00
000015a8: DUP1
000015a9: REVERT
000015aa: JUMPDEST
000015ab: CALLER
000015ac: PUSH1 0x00
000015ae: DUP2
000015af: DUP2
000015b0: MSTORE
000015b1: PUSH1 0x04
000015b3: PUSH1 0x20
000015b5: MSTORE
000015b6: PUSH1 0x40
000015b8: SWAP1
000015b9: KECCAK256
000015ba: SLOAD
000015bb: SWAP1
000015bc: SWAP5
000015bd: POP
000015be: DUP7
000015bf: GT
000015c0: ISZERO
000015c1: PUSH2 0x15c9
000015c4: JUMPI
000015c5: PUSH1 0x00
000015c7: DUP1
000015c8: REVERT
000015c9: JUMPDEST
000015ca: PUSH1 0x00
000015cc: PUSH2 0x15d5
000015cf: PUSH1 0x01
000015d1: PUSH2 0x11e7
000015d4: JUMP
000015d5: JUMPDEST
000015d6: GT
000015d7: ISZERO
000015d8: PUSH2 0x15e3
000015db: JUMPI
000015dc: PUSH2 0x15e3
000015df: PUSH2 0x0f15
000015e2: JUMP
000015e3: JUMPDEST
000015e4: PUSH2 0x15f1
000015e7: PUSH2 0x0d82
000015ea: DUP8
000015eb: PUSH1 0x01
000015ed: PUSH2 0x1d66
000015f0: JUMP
000015f1: JUMPDEST
000015f2: SWAP3
000015f3: POP
000015f4: PUSH2 0x15fd
000015f7: DUP7
000015f8: DUP5
000015f9: PUSH2 0x1d54
000015fc: JUMP
000015fd: JUMPDEST
000015fe: SWAP2
000015ff: POP
00001600: PUSH2 0x1608
00001603: DUP4
00001604: PUSH2 0x1e4b
00001607: JUMP
00001608: JUMPDEST
00001609: SWAP1
0000160a: POP
0000160b: PUSH2 0x1616
0000160e: PUSH1 0x09
00001610: SLOAD
00001611: DUP5
00001612: PUSH2 0x1d54
00001615: JUMP
00001616: JUMPDEST
00001617: PUSH1 0x09
00001619: SSTORE
0000161a: PUSH1 0x01
0000161c: PUSH1 0xa0
0000161e: PUSH1 0x02
00001620: EXP
00001621: SUB
00001622: DUP5
00001623: AND
00001624: PUSH1 0x00
00001626: SWAP1
00001627: DUP2
00001628: MSTORE
00001629: PUSH1 0x04
0000162b: PUSH1 0x20
0000162d: MSTORE
0000162e: PUSH1 0x40
00001630: SWAP1
00001631: KECCAK256
00001632: SLOAD
00001633: PUSH2 0x163c
00001636: SWAP1
00001637: DUP8
00001638: PUSH2 0x1d54
0000163b: JUMP
0000163c: JUMPDEST
0000163d: PUSH1 0x01
0000163f: PUSH1 0xa0
00001641: PUSH1 0x02
00001643: EXP
00001644: SUB
00001645: DUP1
00001646: DUP7
00001647: AND
00001648: PUSH1 0x00
0000164a: SWAP1
0000164b: DUP2
0000164c: MSTORE
0000164d: PUSH1 0x04
0000164f: PUSH1 0x20
00001651: MSTORE
00001652: PUSH1 0x40
00001654: DUP1
00001655: DUP3
00001656: KECCAK256
00001657: SWAP4
00001658: SWAP1
00001659: SWAP4
0000165a: SSTORE
0000165b: SWAP1
0000165c: DUP10
0000165d: AND
0000165e: DUP2
0000165f: MSTORE
00001660: KECCAK256
00001661: SLOAD
00001662: PUSH2 0x166b
00001665: SWAP1
00001666: DUP4
00001667: PUSH2 0x1e59
0000166a: JUMP
0000166b: JUMPDEST
0000166c: PUSH1 0x01
0000166e: PUSH1 0xa0
00001670: PUSH1 0x02
00001672: EXP
00001673: SUB
00001674: DUP9
00001675: DUP2
00001676: AND
00001677: PUSH1 0x00
00001679: DUP2
0000167a: DUP2
0000167b: MSTORE
0000167c: PUSH1 0x04
0000167e: PUSH1 0x20
00001680: SWAP1
00001681: DUP2
00001682: MSTORE
00001683: PUSH1 0x40
00001685: DUP1
00001686: DUP4
00001687: KECCAK256
00001688: SWAP6
00001689: SWAP1
0000168a: SWAP6
0000168b: SSTORE
0000168c: PUSH1 0x0a
0000168e: DUP1
0000168f: SLOAD
00001690: SWAP5
00001691: DUP11
00001692: AND
00001693: DUP4
00001694: MSTORE
00001695: PUSH1 0x06
00001697: SWAP1
00001698: SWAP2
00001699: MSTORE
0000169a: DUP5
0000169b: DUP3
0000169c: KECCAK256
0000169d: DUP1
0000169e: SLOAD
0000169f: SWAP5
000016a0: DUP13
000016a1: MUL
000016a2: SWAP1
000016a3: SWAP5
000016a4: SUB
000016a5: SWAP1
000016a6: SWAP4
000016a7: SSTORE
000016a8: DUP3
000016a9: SLOAD
000016aa: SWAP2
000016ab: DUP2
000016ac: MSTORE
000016ad: SWAP3
000016ae: SWAP1
000016af: SWAP3
000016b0: KECCAK256
000016b1: DUP1
000016b2: SLOAD
000016b3: SWAP3
000016b4: DUP6
000016b5: MUL
000016b6: SWAP1
000016b7: SWAP3
000016b8: ADD
000016b9: SWAP1
000016ba: SWAP2
000016bb: SSTORE
000016bc: SLOAD
000016bd: PUSH1 0x09
000016bf: SLOAD
000016c0: PUSH2 0x16d9
000016c3: SWAP2
000016c4: SWAP1
000016c5: PUSH9 0x010000000000000000
000016cf: DUP5
000016d0: MUL
000016d1: DUP2
000016d2: ISZERO
000016d3: ISZERO
000016d4: PUSH2 0x1045
000016d7: JUMPI
000016d8: INVALID
000016d9: JUMPDEST
000016da: PUSH1 0x0a
000016dc: SSTORE
000016dd: PUSH1 0x40
000016df: DUP1
000016e0: MLOAD
000016e1: DUP4
000016e2: DUP2
000016e3: MSTORE
000016e4: SWAP1
000016e5: MLOAD
000016e6: PUSH1 0x01
000016e8: PUSH1 0xa0
000016ea: PUSH1 0x02
000016ec: EXP
000016ed: SUB
000016ee: DUP1
000016ef: DUP11
000016f0: AND
000016f1: SWAP3
000016f2: SWAP1
000016f3: DUP8
000016f4: AND
000016f5: SWAP2
000016f6: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001717: SWAP2
00001718: DUP2
00001719: SWAP1
0000171a: SUB
0000171b: PUSH1 0x20
0000171d: ADD
0000171e: SWAP1
0000171f: LOG3
00001720: POP
00001721: PUSH1 0x01
00001723: SWAP7
00001724: SWAP6
00001725: POP
00001726: POP
00001727: POP
00001728: POP
00001729: POP
0000172a: POP
0000172b: JUMP
0000172c: JUMPDEST
0000172d: PUSH1 0x10
0000172f: SLOAD
00001730: DUP2
00001731: JUMP
00001732: JUMPDEST
00001733: PUSH1 0x40
00001735: DUP1
00001736: MLOAD
00001737: PUSH1 0x60
00001739: PUSH1 0x02
0000173b: EXP
0000173c: CALLER
0000173d: SWAP1
0000173e: DUP2
0000173f: MUL
00001740: DUP3
00001741: MSTORE
00001742: DUP3
00001743: MLOAD
00001744: SWAP2
00001745: DUP3
00001746: SWAP1
00001747: SUB
00001748: PUSH1 0x14
0000174a: ADD
0000174b: SWAP1
0000174c: SWAP2
0000174d: KECCAK256
0000174e: PUSH1 0x00
00001750: SWAP1
00001751: DUP2
00001752: MSTORE
00001753: PUSH1 0x0c
00001755: PUSH1 0x20
00001757: MSTORE
00001758: SWAP2
00001759: SWAP1
0000175a: SWAP2
0000175b: KECCAK256
0000175c: SLOAD
0000175d: PUSH1 0xff
0000175f: AND
00001760: ISZERO
00001761: ISZERO
00001762: PUSH2 0x176a
00001765: JUMPI
00001766: PUSH1 0x00
00001768: DUP1
00001769: REVERT
0000176a: JUMPDEST
0000176b: POP
0000176c: PUSH1 0x1d
0000176e: SSTORE
0000176f: JUMP
00001770: JUMPDEST
00001771: PUSH1 0x12
00001773: SLOAD
00001774: DUP2
00001775: JUMP
00001776: JUMPDEST
00001777: PUSH1 0x40
00001779: DUP1
0000177a: MLOAD
0000177b: PUSH1 0x60
0000177d: PUSH1 0x02
0000177f: EXP
00001780: CALLER
00001781: MUL
00001782: DUP2
00001783: MSTORE
00001784: DUP2
00001785: MLOAD
00001786: SWAP1
00001787: DUP2
00001788: SWAP1
00001789: SUB
0000178a: PUSH1 0x14
0000178c: ADD
0000178d: SWAP1
0000178e: KECCAK256
0000178f: PUSH1 0x00
00001791: SWAP1
00001792: DUP2
00001793: MSTORE
00001794: PUSH1 0x0c
00001796: PUSH1 0x20
00001798: MSTORE
00001799: KECCAK256
0000179a: SLOAD
0000179b: PUSH1 0xff
0000179d: AND
0000179e: SWAP1
0000179f: JUMP
000017a0: JUMPDEST
000017a1: PUSH1 0x40
000017a3: DUP1
000017a4: MLOAD
000017a5: PUSH1 0x60
000017a7: PUSH1 0x02
000017a9: EXP
000017aa: CALLER
000017ab: SWAP1
000017ac: DUP2
000017ad: MUL
000017ae: DUP3
000017af: MSTORE
000017b0: DUP3
000017b1: MLOAD
000017b2: SWAP2
000017b3: DUP3
000017b4: SWAP1
000017b5: SUB
000017b6: PUSH1 0x14
000017b8: ADD
000017b9: SWAP1
000017ba: SWAP2
000017bb: KECCAK256
000017bc: PUSH1 0x00
000017be: SWAP1
000017bf: DUP2
000017c0: MSTORE
000017c1: PUSH1 0x0c
000017c3: PUSH1 0x20
000017c5: MSTORE
000017c6: SWAP2
000017c7: SWAP1
000017c8: SWAP2
000017c9: KECCAK256
000017ca: SLOAD
000017cb: PUSH1 0xff
000017cd: AND
000017ce: ISZERO
000017cf: ISZERO
000017d0: PUSH2 0x17d8
000017d3: JUMPI
000017d4: PUSH1 0x00
000017d6: DUP1
000017d7: REVERT
000017d8: JUMPDEST
000017d9: DUP2
000017da: MLOAD
000017db: PUSH2 0x1498
000017de: SWAP1
000017df: PUSH1 0x01
000017e1: SWAP1
000017e2: PUSH1 0x20
000017e4: DUP6
000017e5: ADD
000017e6: SWAP1
000017e7: PUSH2 0x2458
000017ea: JUMP
000017eb: JUMPDEST
000017ec: PUSH1 0x03
000017ee: SLOAD
000017ef: PUSH1 0xff
000017f1: AND
000017f2: ISZERO
000017f3: PUSH2 0x17fb
000017f6: JUMPI
000017f7: PUSH1 0x00
000017f9: DUP1
000017fa: REVERT
000017fb: JUMPDEST
000017fc: PUSH1 0x40
000017fe: DUP1
000017ff: MLOAD
00001800: PUSH1 0x60
00001802: PUSH1 0x02
00001804: EXP
00001805: CALLER
00001806: SWAP1
00001807: DUP2
00001808: MUL
00001809: DUP3
0000180a: MSTORE
0000180b: DUP3
0000180c: MLOAD
0000180d: SWAP2
0000180e: DUP3
0000180f: SWAP1
00001810: SUB
00001811: PUSH1 0x14
00001813: ADD
00001814: SWAP1
00001815: SWAP2
00001816: KECCAK256
00001817: PUSH1 0x00
00001819: SWAP1
0000181a: DUP2
0000181b: MSTORE
0000181c: PUSH1 0x0c
0000181e: PUSH1 0x20
00001820: MSTORE
00001821: SWAP2
00001822: SWAP1
00001823: SWAP2
00001824: KECCAK256
00001825: SLOAD
00001826: PUSH1 0xff
00001828: AND
00001829: ISZERO
0000182a: ISZERO
0000182b: PUSH2 0x1833
0000182e: JUMPI
0000182f: PUSH1 0x00
00001831: DUP1
00001832: REVERT
00001833: JUMPDEST
00001834: POP
00001835: PUSH1 0x03
00001837: DUP1
00001838: SLOAD
00001839: PUSH1 0xff
0000183b: NOT
0000183c: AND
0000183d: PUSH1 0x01
0000183f: OR
00001840: SWAP1
00001841: SSTORE
00001842: TIMESTAMP
00001843: PUSH1 0x02
00001845: SSTORE
00001846: JUMP
00001847: JUMPDEST
00001848: PUSH1 0x40
0000184a: DUP1
0000184b: MLOAD
0000184c: PUSH1 0x60
0000184e: PUSH1 0x02
00001850: EXP
00001851: CALLER
00001852: SWAP1
00001853: DUP2
00001854: MUL
00001855: DUP3
00001856: MSTORE
00001857: DUP3
00001858: MLOAD
00001859: SWAP2
0000185a: DUP3
0000185b: SWAP1
0000185c: SUB
0000185d: PUSH1 0x14
0000185f: ADD
00001860: SWAP1
00001861: SWAP2
00001862: KECCAK256
00001863: PUSH1 0x00
00001865: SWAP1
00001866: DUP2
00001867: MSTORE
00001868: PUSH1 0x0c
0000186a: PUSH1 0x20
0000186c: MSTORE
0000186d: SWAP2
0000186e: SWAP1
0000186f: SWAP2
00001870: KECCAK256
00001871: SLOAD
00001872: PUSH1 0xff
00001874: AND
00001875: ISZERO
00001876: ISZERO
00001877: PUSH2 0x187f
0000187a: JUMPI
0000187b: PUSH1 0x00
0000187d: DUP1
0000187e: REVERT
0000187f: JUMPDEST
00001880: DUP2
00001881: MLOAD
00001882: PUSH2 0x1498
00001885: SWAP1
00001886: PUSH1 0x00
00001888: SWAP1
00001889: PUSH1 0x20
0000188b: DUP6
0000188c: ADD
0000188d: SWAP1
0000188e: PUSH2 0x2458
00001891: JUMP
00001892: JUMPDEST
00001893: PUSH1 0x00
00001895: DUP1
00001896: DUP1
00001897: DUP1
00001898: DUP5
00001899: ISZERO
0000189a: ISZERO
0000189b: PUSH2 0x18ab
0000189e: JUMPI
0000189f: PUSH5 0x14f46b0400
000018a5: SWAP4
000018a6: POP
000018a7: PUSH2 0x0da6
000018aa: JUMP
000018ab: JUMPDEST
000018ac: PUSH2 0x18bd
000018af: PUSH8 0x0de0b6b3a7640000
000018b8: DUP7
000018b9: PUSH2 0x0c0d
000018bc: JUMP
000018bd: JUMPDEST
000018be: SWAP3
000018bf: POP
000018c0: PUSH2 0x18cd
000018c3: PUSH2 0x0d82
000018c6: DUP5
000018c7: PUSH1 0x06
000018c9: PUSH2 0x1d66
000018cc: JUMP
000018cd: JUMPDEST
000018ce: SWAP2
000018cf: POP
000018d0: PUSH2 0x18d9
000018d3: DUP4
000018d4: DUP4
000018d5: PUSH2 0x1d54
000018d8: JUMP
000018d9: JUMPDEST
000018da: SWAP1
000018db: POP
000018dc: DUP1
000018dd: SWAP4
000018de: POP
000018df: PUSH2 0x0da6
000018e2: JUMP
000018e3: JUMPDEST
000018e4: PUSH1 0x40
000018e6: DUP1
000018e7: MLOAD
000018e8: PUSH1 0x60
000018ea: PUSH1 0x02
000018ec: EXP
000018ed: CALLER
000018ee: SWAP1
000018ef: DUP2
000018f0: MUL
000018f1: DUP3
000018f2: MSTORE
000018f3: DUP3
000018f4: MLOAD
000018f5: SWAP2
000018f6: DUP3
000018f7: SWAP1
000018f8: SUB
000018f9: PUSH1 0x14
000018fb: ADD
000018fc: SWAP1
000018fd: SWAP2
000018fe: KECCAK256
000018ff: PUSH1 0x00
00001901: SWAP1
00001902: DUP2
00001903: MSTORE
00001904: PUSH1 0x0c
00001906: PUSH1 0x20
00001908: MSTORE
00001909: SWAP2
0000190a: SWAP1
0000190b: SWAP2
0000190c: KECCAK256
0000190d: SLOAD
0000190e: PUSH1 0xff
00001910: AND
00001911: ISZERO
00001912: ISZERO
00001913: PUSH2 0x191b
00001916: JUMPI
00001917: PUSH1 0x00
00001919: DUP1
0000191a: REVERT
0000191b: JUMPDEST
0000191c: POP
0000191d: PUSH1 0x1a
0000191f: SSTORE
00001920: JUMP
00001921: JUMPDEST
00001922: PUSH1 0x02
00001924: SLOAD
00001925: DUP2
00001926: JUMP
00001927: JUMPDEST
00001928: PUSH1 0x40
0000192a: DUP1
0000192b: MLOAD
0000192c: PUSH1 0x60
0000192e: PUSH1 0x02
00001930: EXP
00001931: CALLER
00001932: SWAP1
00001933: DUP2
00001934: MUL
00001935: DUP3
00001936: MSTORE
00001937: DUP3
00001938: MLOAD
00001939: SWAP2
0000193a: DUP3
0000193b: SWAP1
0000193c: SUB
0000193d: PUSH1 0x14
0000193f: ADD
00001940: SWAP1
00001941: SWAP2
00001942: KECCAK256
00001943: PUSH1 0x00
00001945: SWAP1
00001946: DUP2
00001947: MSTORE
00001948: PUSH1 0x0c
0000194a: PUSH1 0x20
0000194c: MSTORE
0000194d: SWAP2
0000194e: SWAP1
0000194f: SWAP2
00001950: KECCAK256
00001951: SLOAD
00001952: PUSH1 0xff
00001954: AND
00001955: ISZERO
00001956: ISZERO
00001957: PUSH2 0x195f
0000195a: JUMPI
0000195b: PUSH1 0x00
0000195d: DUP1
0000195e: REVERT
0000195f: JUMPDEST
00001960: POP
00001961: PUSH1 0x0d
00001963: SSTORE
00001964: JUMP
00001965: JUMPDEST
00001966: PUSH1 0x1c
00001968: SLOAD
00001969: DUP2
0000196a: JUMP
0000196b: JUMPDEST
0000196c: PUSH1 0x40
0000196e: DUP1
0000196f: MLOAD
00001970: PUSH1 0x60
00001972: PUSH1 0x02
00001974: EXP
00001975: CALLER
00001976: SWAP1
00001977: DUP2
00001978: MUL
00001979: DUP3
0000197a: MSTORE
0000197b: DUP3
0000197c: MLOAD
0000197d: SWAP2
0000197e: DUP3
0000197f: SWAP1
00001980: SUB
00001981: PUSH1 0x14
00001983: ADD
00001984: SWAP1
00001985: SWAP2
00001986: KECCAK256
00001987: PUSH1 0x00
00001989: SWAP1
0000198a: DUP2
0000198b: MSTORE
0000198c: PUSH1 0x0c
0000198e: PUSH1 0x20
00001990: MSTORE
00001991: SWAP2
00001992: SWAP1
00001993: SWAP2
00001994: KECCAK256
00001995: SLOAD
00001996: PUSH1 0xff
00001998: AND
00001999: ISZERO
0000199a: ISZERO
0000199b: PUSH2 0x19a3
0000199e: JUMPI
0000199f: PUSH1 0x00
000019a1: DUP1
000019a2: REVERT
000019a3: JUMPDEST
000019a4: POP
000019a5: PUSH1 0x1b
000019a7: SSTORE
000019a8: JUMP
000019a9: JUMPDEST
000019aa: PUSH1 0x03
000019ac: SLOAD
000019ad: PUSH1 0x00
000019af: SWAP1
000019b0: PUSH1 0xff
000019b2: AND
000019b3: ISZERO
000019b4: ISZERO
000019b5: PUSH2 0x19bd
000019b8: JUMPI
000019b9: PUSH1 0x00
000019bb: DUP1
000019bc: REVERT
000019bd: JUMPDEST
000019be: PUSH2 0x19cb
000019c1: CALLVALUE
000019c2: DUP8
000019c3: DUP8
000019c4: DUP8
000019c5: DUP8
000019c6: DUP8
000019c7: PUSH2 0x1ea7
000019ca: JUMP
000019cb: JUMPDEST
000019cc: SWAP6
000019cd: SWAP5
000019ce: POP
000019cf: POP
000019d0: POP
000019d1: POP
000019d2: POP
000019d3: JUMP
000019d4: JUMPDEST
000019d5: PUSH1 0x40
000019d7: DUP1
000019d8: MLOAD
000019d9: PUSH1 0x60
000019db: PUSH1 0x02
000019dd: EXP
000019de: CALLER
000019df: SWAP1
000019e0: DUP2
000019e1: MUL
000019e2: DUP3
000019e3: MSTORE
000019e4: DUP3
000019e5: MLOAD
000019e6: SWAP2
000019e7: DUP3
000019e8: SWAP1
000019e9: SUB
000019ea: PUSH1 0x14
000019ec: ADD
000019ed: SWAP1
000019ee: SWAP2
000019ef: KECCAK256
000019f0: PUSH1 0x00
000019f2: SWAP1
000019f3: DUP2
000019f4: MSTORE
000019f5: PUSH1 0x0c
000019f7: PUSH1 0x20
000019f9: MSTORE
000019fa: SWAP2
000019fb: SWAP1
000019fc: SWAP2
000019fd: KECCAK256
000019fe: SLOAD
000019ff: PUSH1 0xff
00001a01: AND
00001a02: ISZERO
00001a03: ISZERO
00001a04: PUSH2 0x1a0c
00001a07: JUMPI
00001a08: PUSH1 0x00
00001a0a: DUP1
00001a0b: REVERT
00001a0c: JUMPDEST
00001a0d: POP
00001a0e: PUSH1 0x1f
00001a10: SSTORE
00001a11: JUMP
00001a12: JUMPDEST
00001a13: PUSH1 0x40
00001a15: DUP1
00001a16: MLOAD
00001a17: PUSH1 0x60
00001a19: PUSH1 0x02
00001a1b: EXP
00001a1c: CALLER
00001a1d: SWAP1
00001a1e: DUP2
00001a1f: MUL
00001a20: DUP3
00001a21: MSTORE
00001a22: DUP3
00001a23: MLOAD
00001a24: SWAP2
00001a25: DUP3
00001a26: SWAP1
00001a27: SUB
00001a28: PUSH1 0x14
00001a2a: ADD
00001a2b: SWAP1
00001a2c: SWAP2
00001a2d: KECCAK256
00001a2e: PUSH1 0x00
00001a30: SWAP1
00001a31: DUP2
00001a32: MSTORE
00001a33: PUSH1 0x0c
00001a35: PUSH1 0x20
00001a37: MSTORE
00001a38: SWAP2
00001a39: SWAP1
00001a3a: SWAP2
00001a3b: KECCAK256
00001a3c: SLOAD
00001a3d: PUSH1 0xff
00001a3f: AND
00001a40: ISZERO
00001a41: ISZERO
00001a42: PUSH2 0x1a4a
00001a45: JUMPI
00001a46: PUSH1 0x00
00001a48: DUP1
00001a49: REVERT
00001a4a: JUMPDEST
00001a4b: POP
00001a4c: PUSH1 0x13
00001a4e: SSTORE
00001a4f: JUMP
00001a50: JUMPDEST
00001a51: PUSH1 0x40
00001a53: DUP1
00001a54: MLOAD
00001a55: PUSH1 0x60
00001a57: PUSH1 0x02
00001a59: EXP
00001a5a: CALLER
00001a5b: SWAP1
00001a5c: DUP2
00001a5d: MUL
00001a5e: DUP3
00001a5f: MSTORE
00001a60: DUP3
00001a61: MLOAD
00001a62: SWAP2
00001a63: DUP3
00001a64: SWAP1
00001a65: SUB
00001a66: PUSH1 0x14
00001a68: ADD
00001a69: SWAP1
00001a6a: SWAP2
00001a6b: KECCAK256
00001a6c: PUSH1 0x00
00001a6e: SWAP1
00001a6f: DUP2
00001a70: MSTORE
00001a71: PUSH1 0x0c
00001a73: PUSH1 0x20
00001a75: MSTORE
00001a76: SWAP2
00001a77: SWAP1
00001a78: SWAP2
00001a79: KECCAK256
00001a7a: SLOAD
00001a7b: PUSH1 0xff
00001a7d: AND
00001a7e: ISZERO
00001a7f: ISZERO
00001a80: PUSH2 0x1a88
00001a83: JUMPI
00001a84: PUSH1 0x00
00001a86: DUP1
00001a87: REVERT
00001a88: JUMPDEST
00001a89: POP
00001a8a: PUSH1 0x10
00001a8c: SSTORE
00001a8d: JUMP
00001a8e: JUMPDEST
00001a8f: PUSH1 0x00
00001a91: DUP1
00001a92: PUSH1 0x00
00001a94: DUP1
00001a95: PUSH1 0x00
00001a97: PUSH2 0x1a9e
00001a9a: PUSH2 0x14e7
00001a9d: JUMP
00001a9e: JUMPDEST
00001a9f: GT
00001aa0: PUSH2 0x1aa8
00001aa3: JUMPI
00001aa4: PUSH1 0x00
00001aa6: DUP1
00001aa7: REVERT
00001aa8: JUMPDEST
00001aa9: CALLER
00001aaa: PUSH1 0x00
00001aac: DUP2
00001aad: DUP2
00001aae: MSTORE
00001aaf: PUSH1 0x04
00001ab1: PUSH1 0x20
00001ab3: MSTORE
00001ab4: PUSH1 0x40
00001ab6: SWAP1
00001ab7: KECCAK256
00001ab8: SLOAD
00001ab9: SWAP1
00001aba: SWAP5
00001abb: POP
00001abc: DUP6
00001abd: GT
00001abe: ISZERO
00001abf: PUSH2 0x1ac7
00001ac2: JUMPI
00001ac3: PUSH1 0x00
00001ac5: DUP1
00001ac6: REVERT
00001ac7: JUMPDEST
00001ac8: DUP5
00001ac9: SWAP3
00001aca: POP
00001acb: PUSH2 0x1ad3
00001ace: DUP4
00001acf: PUSH2 0x1e4b
00001ad2: JUMP
00001ad3: JUMPDEST
00001ad4: SWAP2
00001ad5: POP
00001ad6: PUSH2 0x1ae1
00001ad9: PUSH1 0x09
00001adb: SLOAD
00001adc: DUP5
00001add: PUSH2 0x1d54
00001ae0: JUMP
00001ae1: JUMPDEST
00001ae2: PUSH1 0x09
00001ae4: SSTORE
00001ae5: PUSH1 0x01
00001ae7: PUSH1 0xa0
00001ae9: PUSH1 0x02
00001aeb: EXP
00001aec: SUB
00001aed: DUP5
00001aee: AND
00001aef: PUSH1 0x00
00001af1: SWAP1
00001af2: DUP2
00001af3: MSTORE
00001af4: PUSH1 0x04
00001af6: PUSH1 0x20
00001af8: MSTORE
00001af9: PUSH1 0x40
00001afb: SWAP1
00001afc: KECCAK256
00001afd: SLOAD
00001afe: PUSH2 0x1b07
00001b01: SWAP1
00001b02: DUP5
00001b03: PUSH2 0x1d54
00001b06: JUMP
00001b07: JUMPDEST
00001b08: PUSH1 0x01
00001b0a: PUSH1 0xa0
00001b0c: PUSH1 0x02
00001b0e: EXP
00001b0f: SUB
00001b10: DUP6
00001b11: AND
00001b12: PUSH1 0x00
00001b14: DUP2
00001b15: DUP2
00001b16: MSTORE
00001b17: PUSH1 0x04
00001b19: PUSH1 0x20
00001b1b: SWAP1
00001b1c: DUP2
00001b1d: MSTORE
00001b1e: PUSH1 0x40
00001b20: DUP1
00001b21: DUP4
00001b22: KECCAK256
00001b23: SWAP5
00001b24: SWAP1
00001b25: SWAP5
00001b26: SSTORE
00001b27: PUSH1 0x0a
00001b29: SLOAD
00001b2a: PUSH1 0x06
00001b2c: SWAP1
00001b2d: SWAP2
00001b2e: MSTORE
00001b2f: SWAP3
00001b30: SWAP1
00001b31: KECCAK256
00001b32: DUP1
00001b33: SLOAD
00001b34: SWAP3
00001b35: DUP7
00001b36: MUL
00001b37: PUSH9 0x010000000000000000
00001b41: DUP7
00001b42: MUL
00001b43: ADD
00001b44: SWAP3
00001b45: DUP4
00001b46: SWAP1
00001b47: SUB
00001b48: SWAP1
00001b49: SSTORE
00001b4a: SWAP1
00001b4b: SWAP2
00001b4c: POP
00001b4d: PUSH32 0x8d3a0130073dbd54ab6ac632c05946df540553d3b514c9f8165b4ab7f2b1805e
00001b6e: DUP5
00001b6f: DUP5
00001b70: TIMESTAMP
00001b71: PUSH2 0x1b78
00001b74: PUSH2 0x13b4
00001b77: JUMP
00001b78: JUMPDEST
00001b79: PUSH1 0x40
00001b7b: DUP1
00001b7c: MLOAD
00001b7d: SWAP5
00001b7e: DUP6
00001b7f: MSTORE
00001b80: PUSH1 0x20
00001b82: DUP6
00001b83: ADD
00001b84: SWAP4
00001b85: SWAP1
00001b86: SWAP4
00001b87: MSTORE
00001b88: DUP4
00001b89: DUP4
00001b8a: ADD
00001b8b: SWAP2
00001b8c: SWAP1
00001b8d: SWAP2
00001b8e: MSTORE
00001b8f: PUSH1 0x60
00001b91: DUP4
00001b92: ADD
00001b93: MSTORE
00001b94: MLOAD
00001b95: SWAP1
00001b96: DUP2
00001b97: SWAP1
00001b98: SUB
00001b99: PUSH1 0x80
00001b9b: ADD
00001b9c: SWAP1
00001b9d: LOG2
00001b9e: POP
00001b9f: POP
00001ba0: POP
00001ba1: POP
00001ba2: POP
00001ba3: JUMP
00001ba4: JUMPDEST
00001ba5: PUSH1 0x40
00001ba7: DUP1
00001ba8: MLOAD
00001ba9: PUSH1 0x60
00001bab: PUSH1 0x02
00001bad: EXP
00001bae: CALLER
00001baf: SWAP1
00001bb0: DUP2
00001bb1: MUL
00001bb2: DUP3
00001bb3: MSTORE
00001bb4: DUP3
00001bb5: MLOAD
00001bb6: SWAP2
00001bb7: DUP3
00001bb8: SWAP1
00001bb9: SUB
00001bba: PUSH1 0x14
00001bbc: ADD
00001bbd: SWAP1
00001bbe: SWAP2
00001bbf: KECCAK256
00001bc0: PUSH1 0x00
00001bc2: SWAP1
00001bc3: DUP2
00001bc4: MSTORE
00001bc5: PUSH1 0x0c
00001bc7: PUSH1 0x20
00001bc9: MSTORE
00001bca: SWAP2
00001bcb: SWAP1
00001bcc: SWAP2
00001bcd: KECCAK256
00001bce: SLOAD
00001bcf: PUSH1 0xff
00001bd1: AND
00001bd2: ISZERO
00001bd3: ISZERO
00001bd4: PUSH2 0x1bdc
00001bd7: JUMPI
00001bd8: PUSH1 0x00
00001bda: DUP1
00001bdb: REVERT
00001bdc: JUMPDEST
00001bdd: POP
00001bde: PUSH1 0x19
00001be0: SSTORE
00001be1: JUMP
00001be2: JUMPDEST
00001be3: CALLER
00001be4: PUSH1 0x00
00001be6: DUP2
00001be7: DUP2
00001be8: MSTORE
00001be9: PUSH1 0x04
00001beb: PUSH1 0x20
00001bed: MSTORE
00001bee: PUSH1 0x40
00001bf0: DUP2
00001bf1: KECCAK256
00001bf2: SLOAD
00001bf3: SWAP1
00001bf4: DUP2
00001bf5: GT
00001bf6: ISZERO
00001bf7: PUSH2 0x1c03
00001bfa: JUMPI
00001bfb: PUSH2 0x1c03
00001bfe: DUP2
00001bff: PUSH2 0x1a8e
00001c02: JUMP
00001c03: JUMPDEST
00001c04: PUSH2 0x1c0b
00001c07: PUSH2 0x0f15
00001c0a: JUMP
00001c0b: JUMPDEST
00001c0c: POP
00001c0d: POP
00001c0e: JUMP
00001c0f: JUMPDEST
00001c10: PUSH1 0x0f
00001c12: SLOAD
00001c13: DUP2
00001c14: JUMP
00001c15: JUMPDEST
00001c16: PUSH1 0x00
00001c18: DUP1
00001c19: PUSH2 0x1c20
00001c1c: PUSH2 0x1370
00001c1f: JUMP
00001c20: JUMPDEST
00001c21: PUSH1 0xff
00001c23: AND
00001c24: SWAP1
00001c25: POP
00001c26: PUSH1 0x06
00001c28: DUP2
00001c29: GT
00001c2a: PUSH2 0x1c36
00001c2d: JUMPI
00001c2e: PUSH1 0x1e
00001c30: SWAP2
00001c31: POP
00001c32: PUSH2 0x14f6
00001c35: JUMP
00001c36: JUMPDEST
00001c37: PUSH1 0x1e
00001c39: DUP2
00001c3a: LT
00001c3b: ISZERO
00001c3c: PUSH2 0x1c4e
00001c3f: JUMPI
00001c40: PUSH1 0x06
00001c42: PUSH1 0x1e
00001c44: DUP3
00001c45: SWAP1
00001c46: SUB
00001c47: ADD
00001c48: SWAP2
00001c49: POP
00001c4a: PUSH2 0x14f6
00001c4d: JUMP
00001c4e: JUMPDEST
00001c4f: PUSH1 0x06
00001c51: SWAP2
00001c52: POP
00001c53: PUSH2 0x14f6
00001c56: JUMP
00001c57: JUMPDEST
00001c58: PUSH1 0x15
00001c5a: SLOAD
00001c5b: DUP2
00001c5c: JUMP
00001c5d: JUMPDEST
00001c5e: PUSH1 0x40
00001c60: DUP1
00001c61: MLOAD
00001c62: PUSH1 0x60
00001c64: PUSH1 0x02
00001c66: EXP
00001c67: CALLER
00001c68: SWAP1
00001c69: DUP2
00001c6a: MUL
00001c6b: DUP3
00001c6c: MSTORE
00001c6d: DUP3
00001c6e: MLOAD
00001c6f: SWAP2
00001c70: DUP3
00001c71: SWAP1
00001c72: SUB
00001c73: PUSH1 0x14
00001c75: ADD
00001c76: SWAP1
00001c77: SWAP2
00001c78: KECCAK256
00001c79: PUSH1 0x00
00001c7b: SWAP1
00001c7c: DUP2
00001c7d: MSTORE
00001c7e: PUSH1 0x0c
00001c80: PUSH1 0x20
00001c82: MSTORE
00001c83: SWAP2
00001c84: SWAP1
00001c85: SWAP2
00001c86: KECCAK256
00001c87: SLOAD
00001c88: PUSH1 0xff
00001c8a: AND
00001c8b: ISZERO
00001c8c: ISZERO
00001c8d: PUSH2 0x1c95
00001c90: JUMPI
00001c91: PUSH1 0x00
00001c93: DUP1
00001c94: REVERT
00001c95: JUMPDEST
00001c96: POP
00001c97: PUSH1 0x20
00001c99: SSTORE
00001c9a: JUMP
00001c9b: JUMPDEST
00001c9c: PUSH1 0x00
00001c9e: DUP1
00001c9f: PUSH1 0x00
00001ca1: PUSH2 0x1caa
00001ca4: PUSH1 0x01
00001ca6: PUSH2 0x11e7
00001ca9: JUMP
00001caa: JUMPDEST
00001cab: GT
00001cac: PUSH2 0x1cb4
00001caf: JUMPI
00001cb0: PUSH1 0x00
00001cb2: DUP1
00001cb3: REVERT
00001cb4: JUMPDEST
00001cb5: PUSH2 0x1cbe
00001cb8: PUSH1 0x00
00001cba: PUSH2 0x11e7
00001cbd: JUMP
00001cbe: JUMPDEST
00001cbf: CALLER
00001cc0: PUSH1 0x00
00001cc2: DUP2
00001cc3: DUP2
00001cc4: MSTORE
00001cc5: PUSH1 0x08
00001cc7: PUSH1 0x20
00001cc9: SWAP1
00001cca: DUP2
00001ccb: MSTORE
00001ccc: PUSH1 0x40
00001cce: DUP1
00001ccf: DUP4
00001cd0: KECCAK256
00001cd1: DUP1
00001cd2: SLOAD
00001cd3: DUP7
00001cd4: ADD
00001cd5: SWAP1
00001cd6: SSTORE
00001cd7: PUSH1 0x06
00001cd9: DUP3
00001cda: MSTORE
00001cdb: DUP1
00001cdc: DUP4
00001cdd: KECCAK256
00001cde: DUP1
00001cdf: SLOAD
00001ce0: PUSH9 0x010000000000000000
00001cea: DUP8
00001ceb: MUL
00001cec: ADD
00001ced: SWAP1
00001cee: SSTORE
00001cef: PUSH1 0x05
00001cf1: SWAP1
00001cf2: SWAP2
00001cf3: MSTORE
00001cf4: DUP2
00001cf5: KECCAK256
00001cf6: DUP1
00001cf7: SLOAD
00001cf8: SWAP1
00001cf9: DUP3
00001cfa: SWAP1
00001cfb: SSTORE
00001cfc: SWAP1
00001cfd: SWAP3
00001cfe: ADD
00001cff: SWAP4
00001d00: POP
00001d01: SWAP2
00001d02: POP
00001d03: PUSH2 0x1d11
00001d06: SWAP1
00001d07: DUP4
00001d08: SWAP1
00001d09: DUP1
00001d0a: DUP1
00001d0b: DUP1
00001d0c: DUP1
00001d0d: PUSH2 0x1ea7
00001d10: JUMP
00001d11: JUMPDEST
00001d12: PUSH1 0x40
00001d14: DUP1
00001d15: MLOAD
00001d16: DUP4
00001d17: DUP2
00001d18: MSTORE
00001d19: SWAP1
00001d1a: MLOAD
00001d1b: PUSH1 0x01
00001d1d: PUSH1 0xa0
00001d1f: PUSH1 0x02
00001d21: EXP
00001d22: SUB
00001d23: DUP4
00001d24: AND
00001d25: SWAP2
00001d26: PUSH32 0x5d511c2070e5a2dbcc6fbfbb3fd6704a11ab5fa74b793b81aacece2c7cc29405
00001d47: SWAP2
00001d48: SWAP1
00001d49: DUP2
00001d4a: SWAP1
00001d4b: SUB
00001d4c: PUSH1 0x20
00001d4e: ADD
00001d4f: SWAP1
00001d50: LOG2
00001d51: POP
00001d52: POP
00001d53: JUMP
00001d54: JUMPDEST
00001d55: PUSH1 0x00
00001d57: DUP3
00001d58: DUP3
00001d59: GT
00001d5a: ISZERO
00001d5b: PUSH2 0x1d60
00001d5e: JUMPI
00001d5f: INVALID
00001d60: JUMPDEST
00001d61: POP
00001d62: SWAP1
00001d63: SUB
00001d64: SWAP1
00001d65: JUMP
00001d66: JUMPDEST
00001d67: PUSH1 0x00
00001d69: DUP1
00001d6a: DUP4
00001d6b: ISZERO
00001d6c: ISZERO
00001d6d: PUSH2 0x1d79
00001d70: JUMPI
00001d71: PUSH1 0x00
00001d73: SWAP2
00001d74: POP
00001d75: PUSH2 0x1d95
00001d78: JUMP
00001d79: JUMPDEST
00001d7a: POP
00001d7b: DUP3
00001d7c: DUP3
00001d7d: MUL
00001d7e: DUP3
00001d7f: DUP5
00001d80: DUP3
00001d81: DUP2
00001d82: ISZERO
00001d83: ISZERO
00001d84: PUSH2 0x1d89
00001d87: JUMPI
00001d88: INVALID
00001d89: JUMPDEST
00001d8a: DIV
00001d8b: EQ
00001d8c: PUSH2 0x1d91
00001d8f: JUMPI
00001d90: INVALID
00001d91: JUMPDEST
00001d92: DUP1
00001d93: SWAP2
00001d94: POP
00001d95: JUMPDEST
00001d96: POP
00001d97: SWAP3
00001d98: SWAP2
00001d99: POP
00001d9a: POP
00001d9b: JUMP
00001d9c: JUMPDEST
00001d9d: PUSH1 0x00
00001d9f: DUP1
00001da0: DUP3
00001da1: DUP5
00001da2: DUP2
00001da3: ISZERO
00001da4: ISZERO
00001da5: PUSH2 0x1daa
00001da8: JUMPI
00001da9: INVALID
00001daa: JUMPDEST
00001dab: DIV
00001dac: SWAP5
00001dad: SWAP4
00001dae: POP
00001daf: POP
00001db0: POP
00001db1: POP
00001db2: JUMP
00001db3: JUMPDEST
00001db4: PUSH1 0x09
00001db6: SLOAD
00001db7: PUSH1 0x00
00001db9: SWAP1
00001dba: PUSH13 0x01431e0fae6d7217caa0000000
00001dc8: SWAP1
00001dc9: DUP3
00001dca: SWAP1
00001dcb: PUSH5 0x02540be400
00001dd1: PUSH2 0x1e38
00001dd4: PUSH2 0x1e32
00001dd7: PUSH20 0x0380d4bd8a8678c1bb542c80deb4800000000000
00001dec: DUP9
00001ded: MUL
00001dee: PUSH9 0x056bc75e2d63100000
00001df8: PUSH1 0x02
00001dfa: DUP7
00001dfb: EXP
00001dfc: MUL
00001dfd: ADD
00001dfe: PUSH17 0x05e0a1fd2712875988becaad0000000000
00001e10: DUP6
00001e11: MUL
00001e12: ADD
00001e13: PUSH25 0x0197d4df19d605767337e9f14d3eec8920e400000000000000
00001e2d: ADD
00001e2e: PUSH2 0x2389
00001e31: JUMP
00001e32: JUMPDEST
00001e33: DUP6
00001e34: PUSH2 0x1d54
00001e37: JUMP
00001e38: JUMPDEST
00001e39: DUP2
00001e3a: ISZERO
00001e3b: ISZERO
00001e3c: PUSH2 0x1e41
00001e3f: JUMPI
00001e40: INVALID
00001e41: JUMPDEST
00001e42: DIV
00001e43: SUB
00001e44: SWAP5
00001e45: SWAP4
00001e46: POP
00001e47: POP
00001e48: POP
00001e49: POP
00001e4a: JUMP
00001e4b: JUMPDEST
00001e4c: PUSH1 0x00
00001e4e: PUSH2 0x0e5b
00001e51: DUP3
00001e52: PUSH1 0x09
00001e54: SLOAD
00001e55: PUSH2 0x0c0d
00001e58: JUMP
00001e59: JUMPDEST
00001e5a: PUSH1 0x00
00001e5c: DUP3
00001e5d: DUP3
00001e5e: ADD
00001e5f: DUP4
00001e60: DUP2
00001e61: LT
00001e62: ISZERO
00001e63: PUSH2 0x1d91
00001e66: JUMPI
00001e67: INVALID
00001e68: JUMPDEST
00001e69: PUSH1 0x01
00001e6b: PUSH1 0xa0
00001e6d: PUSH1 0x02
00001e6f: EXP
00001e70: SUB
00001e71: DUP2
00001e72: AND
00001e73: PUSH1 0x00
00001e75: SWAP1
00001e76: DUP2
00001e77: MSTORE
00001e78: PUSH1 0x04
00001e7a: PUSH1 0x20
00001e7c: MSTORE
00001e7d: PUSH1 0x40
00001e7f: DUP2
00001e80: KECCAK256
00001e81: SLOAD
00001e82: PUSH5 0x02540be400
00001e88: DUP2
00001e89: LT
00001e8a: ISZERO
00001e8b: PUSH2 0x1e97
00001e8e: JUMPI
00001e8f: PUSH1 0x00
00001e91: SWAP2
00001e92: POP
00001e93: PUSH2 0x1224
00001e96: JUMP
00001e97: JUMPDEST
00001e98: PUSH2 0x1ea0
00001e9b: DUP2
00001e9c: PUSH2 0x1e4b
00001e9f: JUMP
00001ea0: JUMPDEST
00001ea1: SWAP2
00001ea2: POP
00001ea3: PUSH2 0x1224
00001ea6: JUMP
00001ea7: JUMPDEST
00001ea8: PUSH1 0x00
00001eaa: DUP1
00001eab: DUP1
00001eac: DUP1
00001ead: DUP1
00001eae: DUP1
00001eaf: PUSH2 0x1ebc
00001eb2: PUSH2 0x0d82
00001eb5: DUP14
00001eb6: PUSH1 0x0c
00001eb8: PUSH2 0x1d66
00001ebb: JUMP
00001ebc: JUMPDEST
00001ebd: SWAP6
00001ebe: POP
00001ebf: DUP6
00001ec0: SWAP5
00001ec1: POP
00001ec2: PUSH1 0x00
00001ec4: SWAP4
00001ec5: POP
00001ec6: PUSH1 0x00
00001ec8: SWAP3
00001ec9: POP
00001eca: PUSH2 0x1ed6
00001ecd: DUP12
00001ece: CALLER
00001ecf: PUSH1 0x0d
00001ed1: SLOAD
00001ed2: PUSH2 0x23be
00001ed5: JUMP
00001ed6: JUMPDEST
00001ed7: ISZERO
00001ed8: PUSH2 0x1fb4
00001edb: JUMPI
00001edc: PUSH1 0x0e
00001ede: SLOAD
00001edf: SWAP4
00001ee0: POP
00001ee1: PUSH1 0x1b
00001ee3: SLOAD
00001ee4: PUSH2 0x1eec
00001ee7: DUP13
00001ee8: PUSH2 0x1e68
00001eeb: JUMP
00001eec: JUMPDEST
00001eed: LT
00001eee: PUSH2 0x1efb
00001ef1: JUMPI
00001ef2: PUSH1 0x1c
00001ef4: SLOAD
00001ef5: SWAP4
00001ef6: POP
00001ef7: PUSH2 0x1f48
00001efa: JUMP
00001efb: JUMPDEST
00001efc: PUSH1 0x16
00001efe: SLOAD
00001eff: PUSH2 0x1f07
00001f02: DUP13
00001f03: PUSH2 0x1e68
00001f06: JUMP
00001f07: JUMPDEST
00001f08: LT
00001f09: PUSH2 0x1f16
00001f0c: JUMPI
00001f0d: PUSH1 0x17
00001f0f: SLOAD
00001f10: SWAP4
00001f11: POP
00001f12: PUSH2 0x1f48
00001f15: JUMP
00001f16: JUMPDEST
00001f17: PUSH1 0x12
00001f19: SLOAD
00001f1a: PUSH2 0x1f22
00001f1d: DUP13
00001f1e: PUSH2 0x1e68
00001f21: JUMP
00001f22: JUMPDEST
00001f23: LT
00001f24: PUSH2 0x1f31
00001f27: JUMPI
00001f28: PUSH1 0x13
00001f2a: SLOAD
00001f2b: SWAP4
00001f2c: POP
00001f2d: PUSH2 0x1f48
00001f30: JUMP
00001f31: JUMPDEST
00001f32: PUSH1 0x0f
00001f34: SLOAD
00001f35: PUSH2 0x1f3d
00001f38: DUP13
00001f39: PUSH2 0x1e68
00001f3c: JUMP
00001f3d: JUMPDEST
00001f3e: LT
00001f3f: PUSH2 0x1f48
00001f42: JUMPI
00001f43: PUSH1 0x10
00001f45: SLOAD
00001f46: SWAP4
00001f47: POP
00001f48: JUMPDEST
00001f49: PUSH2 0x1f5d
00001f4c: PUSH2 0x1f55
00001f4f: DUP14
00001f50: DUP7
00001f51: PUSH2 0x1d66
00001f54: JUMP
00001f55: JUMPDEST
00001f56: PUSH2 0x03e8
00001f59: PUSH2 0x1d9c
00001f5c: JUMP
00001f5d: JUMPDEST
00001f5e: PUSH1 0x01
00001f60: PUSH1 0xa0
00001f62: PUSH1 0x02
00001f64: EXP
00001f65: SUB
00001f66: DUP13
00001f67: AND
00001f68: PUSH1 0x00
00001f6a: SWAP1
00001f6b: DUP2
00001f6c: MSTORE
00001f6d: PUSH1 0x05
00001f6f: PUSH1 0x20
00001f71: MSTORE
00001f72: PUSH1 0x40
00001f74: SWAP1
00001f75: KECCAK256
00001f76: SLOAD
00001f77: SWAP1
00001f78: SWAP4
00001f79: POP
00001f7a: PUSH2 0x1f83
00001f7d: SWAP1
00001f7e: DUP5
00001f7f: PUSH2 0x1e59
00001f82: JUMP
00001f83: JUMPDEST
00001f84: PUSH1 0x01
00001f86: PUSH1 0xa0
00001f88: PUSH1 0x02
00001f8a: EXP
00001f8b: SUB
00001f8c: DUP13
00001f8d: AND
00001f8e: PUSH1 0x00
00001f90: SWAP1
00001f91: DUP2
00001f92: MSTORE
00001f93: PUSH1 0x05
00001f95: PUSH1 0x20
00001f97: MSTORE
00001f98: PUSH1 0x40
00001f9a: SWAP1
00001f9b: KECCAK256
00001f9c: SSTORE
00001f9d: PUSH2 0x1fa7
00001fa0: DUP12
00001fa1: CALLER
00001fa2: DUP6
00001fa3: PUSH2 0x2416
00001fa6: JUMP
00001fa7: JUMPDEST
00001fa8: PUSH2 0x1fb1
00001fab: DUP6
00001fac: DUP5
00001fad: PUSH2 0x1d54
00001fb0: JUMP
00001fb1: JUMPDEST
00001fb2: SWAP5
00001fb3: POP
00001fb4: JUMPDEST
00001fb5: PUSH2 0x1fc1
00001fb8: DUP11
00001fb9: CALLER
00001fba: PUSH1 0x0f
00001fbc: SLOAD
00001fbd: PUSH2 0x23be
00001fc0: JUMP
00001fc1: JUMPDEST
00001fc2: ISZERO
00001fc3: PUSH2 0x207c
00001fc6: JUMPI
00001fc7: PUSH1 0x11
00001fc9: SLOAD
00001fca: SWAP4
00001fcb: POP
00001fcc: PUSH1 0x1b
00001fce: SLOAD
00001fcf: PUSH2 0x1fd7
00001fd2: DUP12
00001fd3: PUSH2 0x1e68
00001fd6: JUMP
00001fd7: JUMPDEST
00001fd8: LT
00001fd9: PUSH2 0x1fe6
00001fdc: JUMPI
00001fdd: PUSH1 0x1d
00001fdf: SLOAD
00001fe0: SWAP4
00001fe1: POP
00001fe2: PUSH2 0x2018
00001fe5: JUMP
00001fe6: JUMPDEST
00001fe7: PUSH1 0x16
00001fe9: SLOAD
00001fea: PUSH2 0x1ff2
00001fed: DUP12
00001fee: PUSH2 0x1e68
00001ff1: JUMP
00001ff2: JUMPDEST
00001ff3: LT
00001ff4: PUSH2 0x2001
00001ff7: JUMPI
00001ff8: PUSH1 0x18
00001ffa: SLOAD
00001ffb: SWAP4
00001ffc: POP
00001ffd: PUSH2 0x2018
00002000: JUMP
00002001: JUMPDEST
00002002: PUSH1 0x12
00002004: SLOAD
00002005: PUSH2 0x200d
00002008: DUP12
00002009: PUSH2 0x1e68
0000200c: JUMP
0000200d: JUMPDEST
0000200e: LT
0000200f: PUSH2 0x2018
00002012: JUMPI
00002013: PUSH1 0x14
00002015: SLOAD
00002016: SWAP4
00002017: POP
00002018: JUMPDEST
00002019: PUSH2 0x2025
0000201c: PUSH2 0x1f55
0000201f: DUP14
00002020: DUP7
00002021: PUSH2 0x1d66
00002024: JUMP
00002025: JUMPDEST
00002026: PUSH1 0x01
00002028: PUSH1 0xa0
0000202a: PUSH1 0x02
0000202c: EXP
0000202d: SUB
0000202e: DUP12
0000202f: AND
00002030: PUSH1 0x00
00002032: SWAP1
00002033: DUP2
00002034: MSTORE
00002035: PUSH1 0x05
00002037: PUSH1 0x20
00002039: MSTORE
0000203a: PUSH1 0x40
0000203c: SWAP1
0000203d: KECCAK256
0000203e: SLOAD
0000203f: SWAP1
00002040: SWAP4
00002041: POP
00002042: PUSH2 0x204b
00002045: SWAP1
00002046: DUP5
00002047: PUSH2 0x1e59
0000204a: JUMP
0000204b: JUMPDEST
0000204c: PUSH1 0x01
0000204e: PUSH1 0xa0
00002050: PUSH1 0x02
00002052: EXP
00002053: SUB
00002054: DUP12
00002055: AND
00002056: PUSH1 0x00
00002058: SWAP1
00002059: DUP2
0000205a: MSTORE
0000205b: PUSH1 0x05
0000205d: PUSH1 0x20
0000205f: MSTORE
00002060: PUSH1 0x40
00002062: SWAP1
00002063: KECCAK256
00002064: SSTORE
00002065: PUSH2 0x206f
00002068: DUP11
00002069: DUP13
0000206a: DUP6
0000206b: PUSH2 0x2416
0000206e: JUMP
0000206f: JUMPDEST
00002070: PUSH2 0x2079
00002073: DUP6
00002074: DUP5
00002075: PUSH2 0x1d54
00002078: JUMP
00002079: JUMPDEST
0000207a: SWAP5
0000207b: POP
0000207c: JUMPDEST
0000207d: PUSH2 0x2089
00002080: DUP10
00002081: CALLER
00002082: PUSH1 0x12
00002084: SLOAD
00002085: PUSH2 0x23be
00002088: JUMP
00002089: JUMPDEST
0000208a: ISZERO
0000208b: PUSH2 0x2129
0000208e: JUMPI
0000208f: PUSH1 0x15
00002091: SLOAD
00002092: SWAP4
00002093: POP
00002094: PUSH1 0x1b
00002096: SLOAD
00002097: PUSH2 0x209f
0000209a: DUP11
0000209b: PUSH2 0x1e68
0000209e: JUMP
0000209f: JUMPDEST
000020a0: LT
000020a1: PUSH2 0x20ae
000020a4: JUMPI
000020a5: PUSH1 0x1e
000020a7: SLOAD
000020a8: SWAP4
000020a9: POP
000020aa: PUSH2 0x20c5
000020ad: JUMP
000020ae: JUMPDEST
000020af: PUSH1 0x16
000020b1: SLOAD
000020b2: PUSH2 0x20ba
000020b5: DUP11
000020b6: PUSH2 0x1e68
000020b9: JUMP
000020ba: JUMPDEST
000020bb: LT
000020bc: PUSH2 0x20c5
000020bf: JUMPI
000020c0: PUSH1 0x19
000020c2: SLOAD
000020c3: SWAP4
000020c4: POP
000020c5: JUMPDEST
000020c6: PUSH2 0x20d2
000020c9: PUSH2 0x1f55
000020cc: DUP14
000020cd: DUP7
000020ce: PUSH2 0x1d66
000020d1: JUMP
000020d2: JUMPDEST
000020d3: PUSH1 0x01
000020d5: PUSH1 0xa0
000020d7: PUSH1 0x02
000020d9: EXP
000020da: SUB
000020db: DUP11
000020dc: AND
000020dd: PUSH1 0x00
000020df: SWAP1
000020e0: DUP2
000020e1: MSTORE
000020e2: PUSH1 0x05
000020e4: PUSH1 0x20
000020e6: MSTORE
000020e7: PUSH1 0x40
000020e9: SWAP1
000020ea: KECCAK256
000020eb: SLOAD
000020ec: SWAP1
000020ed: SWAP4
000020ee: POP
000020ef: PUSH2 0x20f8
000020f2: SWAP1
000020f3: DUP5
000020f4: PUSH2 0x1e59
000020f7: JUMP
000020f8: JUMPDEST
000020f9: PUSH1 0x01
000020fb: PUSH1 0xa0
000020fd: PUSH1 0x02
000020ff: EXP
00002100: SUB
00002101: DUP11
00002102: AND
00002103: PUSH1 0x00
00002105: SWAP1
00002106: DUP2
00002107: MSTORE
00002108: PUSH1 0x05
0000210a: PUSH1 0x20
0000210c: MSTORE
0000210d: PUSH1 0x40
0000210f: SWAP1
00002110: KECCAK256
00002111: SSTORE
00002112: PUSH2 0x211c
00002115: DUP10
00002116: DUP12
00002117: DUP6
00002118: PUSH2 0x2416
0000211b: JUMP
0000211c: JUMPDEST
0000211d: PUSH2 0x2126
00002120: DUP6
00002121: DUP5
00002122: PUSH2 0x1d54
00002125: JUMP
00002126: JUMPDEST
00002127: SWAP5
00002128: POP
00002129: JUMPDEST
0000212a: PUSH2 0x2136
0000212d: DUP9
0000212e: CALLER
0000212f: PUSH1 0x16
00002131: SLOAD
00002132: PUSH2 0x23be
00002135: JUMP
00002136: JUMPDEST
00002137: ISZERO
00002138: PUSH2 0x21bb
0000213b: JUMPI
0000213c: PUSH1 0x1a
0000213e: SLOAD
0000213f: SWAP4
00002140: POP
00002141: PUSH1 0x1b
00002143: SLOAD
00002144: PUSH2 0x214c
00002147: DUP10
00002148: PUSH2 0x1e68
0000214b: JUMP
0000214c: JUMPDEST
0000214d: LT
0000214e: PUSH2 0x2157
00002151: JUMPI
00002152: PUSH1 0x1f
00002154: SLOAD
00002155: SWAP4
00002156: POP
00002157: JUMPDEST
00002158: PUSH2 0x2164
0000215b: PUSH2 0x1f55
0000215e: DUP14
0000215f: DUP7
00002160: PUSH2 0x1d66
00002163: JUMP
00002164: JUMPDEST
00002165: PUSH1 0x01
00002167: PUSH1 0xa0
00002169: PUSH1 0x02
0000216b: EXP
0000216c: SUB
0000216d: DUP10
0000216e: AND
0000216f: PUSH1 0x00
00002171: SWAP1
00002172: DUP2
00002173: MSTORE
00002174: PUSH1 0x05
00002176: PUSH1 0x20
00002178: MSTORE
00002179: PUSH1 0x40
0000217b: SWAP1
0000217c: KECCAK256
0000217d: SLOAD
0000217e: SWAP1
0000217f: SWAP4
00002180: POP
00002181: PUSH2 0x218a
00002184: SWAP1
00002185: DUP5
00002186: PUSH2 0x1e59
00002189: JUMP
0000218a: JUMPDEST
0000218b: PUSH1 0x01
0000218d: PUSH1 0xa0
0000218f: PUSH1 0x02
00002191: EXP
00002192: SUB
00002193: DUP10
00002194: AND
00002195: PUSH1 0x00
00002197: SWAP1
00002198: DUP2
00002199: MSTORE
0000219a: PUSH1 0x05
0000219c: PUSH1 0x20
0000219e: MSTORE
0000219f: PUSH1 0x40
000021a1: SWAP1
000021a2: KECCAK256
000021a3: SSTORE
000021a4: PUSH2 0x21ae
000021a7: DUP9
000021a8: DUP11
000021a9: DUP6
000021aa: PUSH2 0x2416
000021ad: JUMP
000021ae: JUMPDEST
000021af: PUSH2 0x21b8
000021b2: DUP6
000021b3: DUP5
000021b4: PUSH2 0x1d54
000021b7: JUMP
000021b8: JUMPDEST
000021b9: SWAP5
000021ba: POP
000021bb: JUMPDEST
000021bc: PUSH2 0x21c8
000021bf: DUP8
000021c0: CALLER
000021c1: PUSH1 0x1b
000021c3: SLOAD
000021c4: PUSH2 0x23be
000021c7: JUMP
000021c8: JUMPDEST
000021c9: ISZERO
000021ca: PUSH2 0x2233
000021cd: JUMPI
000021ce: PUSH2 0x21dc
000021d1: PUSH2 0x1f55
000021d4: DUP14
000021d5: PUSH1 0x20
000021d7: SLOAD
000021d8: PUSH2 0x1d66
000021db: JUMP
000021dc: JUMPDEST
000021dd: PUSH1 0x01
000021df: PUSH1 0xa0
000021e1: PUSH1 0x02
000021e3: EXP
000021e4: SUB
000021e5: DUP9
000021e6: AND
000021e7: PUSH1 0x00
000021e9: SWAP1
000021ea: DUP2
000021eb: MSTORE
000021ec: PUSH1 0x05
000021ee: PUSH1 0x20
000021f0: MSTORE
000021f1: PUSH1 0x40
000021f3: SWAP1
000021f4: KECCAK256
000021f5: SLOAD
000021f6: SWAP1
000021f7: SWAP4
000021f8: POP
000021f9: PUSH2 0x2202
000021fc: SWAP1
000021fd: DUP5
000021fe: PUSH2 0x1e59
00002201: JUMP
00002202: JUMPDEST
00002203: PUSH1 0x01
00002205: PUSH1 0xa0
00002207: PUSH1 0x02
00002209: EXP
0000220a: SUB
0000220b: DUP9
0000220c: AND
0000220d: PUSH1 0x00
0000220f: SWAP1
00002210: DUP2
00002211: MSTORE
00002212: PUSH1 0x05
00002214: PUSH1 0x20
00002216: MSTORE
00002217: PUSH1 0x40
00002219: SWAP1
0000221a: KECCAK256
0000221b: SSTORE
0000221c: PUSH2 0x2226
0000221f: DUP8
00002220: DUP10
00002221: DUP6
00002222: PUSH2 0x2416
00002225: JUMP
00002226: JUMPDEST
00002227: PUSH2 0x2230
0000222a: DUP6
0000222b: DUP5
0000222c: PUSH2 0x1d54
0000222f: JUMP
00002230: JUMPDEST
00002231: SWAP5
00002232: POP
00002233: JUMPDEST
00002234: PUSH2 0x2245
00002237: PUSH2 0x2240
0000223a: DUP14
0000223b: DUP9
0000223c: PUSH2 0x1d54
0000223f: JUMP
00002240: JUMPDEST
00002241: PUSH2 0x1db3
00002244: JUMP
00002245: JUMPDEST
00002246: SWAP2
00002247: POP
00002248: POP
00002249: PUSH9 0x010000000000000000
00002253: DUP5
00002254: MUL
00002255: PUSH1 0x00
00002257: DUP3
00002258: GT
00002259: DUP1
0000225a: ISZERO
0000225b: PUSH2 0x226e
0000225e: JUMPI
0000225f: POP
00002260: PUSH1 0x09
00002262: SLOAD
00002263: PUSH2 0x226c
00002266: DUP4
00002267: DUP3
00002268: PUSH2 0x1e59
0000226b: JUMP
0000226c: JUMPDEST
0000226d: GT
0000226e: JUMPDEST
0000226f: ISZERO
00002270: ISZERO
00002271: PUSH2 0x2279
00002274: JUMPI
00002275: PUSH1 0x00
00002277: DUP1
00002278: REVERT
00002279: JUMPDEST
0000227a: PUSH1 0x00
0000227c: PUSH1 0x09
0000227e: SLOAD
0000227f: GT
00002280: ISZERO
00002281: PUSH2 0x22db
00002284: JUMPI
00002285: PUSH2 0x2290
00002288: PUSH1 0x09
0000228a: SLOAD
0000228b: DUP4
0000228c: PUSH2 0x1e59
0000228f: JUMP
00002290: JUMPDEST
00002291: PUSH1 0x09
00002293: DUP2
00002294: SWAP1
00002295: SSTORE
00002296: PUSH9 0x010000000000000000
000022a0: DUP7
000022a1: MUL
000022a2: DUP2
000022a3: ISZERO
000022a4: ISZERO
000022a5: PUSH2 0x22aa
000022a8: JUMPI
000022a9: INVALID
000022aa: JUMPDEST
000022ab: PUSH1 0x0a
000022ad: DUP1
000022ae: SLOAD
000022af: SWAP3
000022b0: SWAP1
000022b1: SWAP2
000022b2: DIV
000022b3: SWAP1
000022b4: SWAP2
000022b5: ADD
000022b6: SWAP1
000022b7: SSTORE
000022b8: PUSH1 0x09
000022ba: SLOAD
000022bb: PUSH9 0x010000000000000000
000022c5: DUP7
000022c6: MUL
000022c7: DUP2
000022c8: ISZERO
000022c9: ISZERO
000022ca: PUSH2 0x22cf
000022cd: JUMPI
000022ce: INVALID
000022cf: JUMPDEST
000022d0: DIV
000022d1: DUP3
000022d2: MUL
000022d3: DUP2
000022d4: SUB
000022d5: SWAP1
000022d6: SUB
000022d7: PUSH2 0x22e1
000022da: JUMP
000022db: JUMPDEST
000022dc: PUSH1 0x09
000022de: DUP3
000022df: SWAP1
000022e0: SSTORE
000022e1: JUMPDEST
000022e2: CALLER
000022e3: PUSH1 0x00
000022e5: SWAP1
000022e6: DUP2
000022e7: MSTORE
000022e8: PUSH1 0x04
000022ea: PUSH1 0x20
000022ec: MSTORE
000022ed: PUSH1 0x40
000022ef: SWAP1
000022f0: KECCAK256
000022f1: SLOAD
000022f2: PUSH2 0x22fb
000022f5: SWAP1
000022f6: DUP4
000022f7: PUSH2 0x1e59
000022fa: JUMP
000022fb: JUMPDEST
000022fc: CALLER
000022fd: PUSH1 0x00
000022ff: DUP2
00002300: DUP2
00002301: MSTORE
00002302: PUSH1 0x04
00002304: PUSH1 0x20
00002306: SWAP1
00002307: DUP2
00002308: MSTORE
00002309: PUSH1 0x40
0000230b: DUP1
0000230c: DUP4
0000230d: KECCAK256
0000230e: SWAP5
0000230f: SWAP1
00002310: SWAP5
00002311: SSTORE
00002312: PUSH1 0x0a
00002314: SLOAD
00002315: PUSH1 0x06
00002317: SWAP1
00002318: SWAP2
00002319: MSTORE
0000231a: SWAP3
0000231b: SWAP1
0000231c: KECCAK256
0000231d: DUP1
0000231e: SLOAD
0000231f: SWAP3
00002320: DUP6
00002321: MUL
00002322: DUP5
00002323: SWAP1
00002324: SUB
00002325: SWAP1
00002326: SWAP3
00002327: ADD
00002328: SWAP1
00002329: SWAP2
0000232a: SSTORE
0000232b: PUSH32 0xdab8e4b48a2786a8cf2824525000c609475a787fdec377949a4b2ad2cf2be394
0000234c: DUP14
0000234d: DUP5
0000234e: TIMESTAMP
0000234f: PUSH2 0x2356
00002352: PUSH2 0x13b4
00002355: JUMP
00002356: JUMPDEST
00002357: PUSH1 0x40
00002359: DUP1
0000235a: MLOAD
0000235b: SWAP5
0000235c: DUP6
0000235d: MSTORE
0000235e: PUSH1 0x20
00002360: DUP6
00002361: ADD
00002362: SWAP4
00002363: SWAP1
00002364: SWAP4
00002365: MSTORE
00002366: DUP4
00002367: DUP4
00002368: ADD
00002369: SWAP2
0000236a: SWAP1
0000236b: SWAP2
0000236c: MSTORE
0000236d: PUSH1 0x60
0000236f: DUP4
00002370: ADD
00002371: MSTORE
00002372: MLOAD
00002373: SWAP1
00002374: DUP2
00002375: SWAP1
00002376: SUB
00002377: PUSH1 0x80
00002379: ADD
0000237a: SWAP1
0000237b: LOG2
0000237c: POP
0000237d: POP
0000237e: POP
0000237f: POP
00002380: POP
00002381: POP
00002382: POP
00002383: POP
00002384: POP
00002385: POP
00002386: POP
00002387: POP
00002388: JUMP
00002389: JUMPDEST
0000238a: DUP1
0000238b: PUSH1 0x02
0000238d: PUSH1 0x01
0000238f: DUP3
00002390: ADD
00002391: DIV
00002392: JUMPDEST
00002393: DUP2
00002394: DUP2
00002395: LT
00002396: ISZERO
00002397: PUSH2 0x1224
0000239a: JUMPI
0000239b: DUP1
0000239c: SWAP2
0000239d: POP
0000239e: PUSH1 0x02
000023a0: DUP2
000023a1: DUP3
000023a2: DUP6
000023a3: DUP2
000023a4: ISZERO
000023a5: ISZERO
000023a6: PUSH2 0x23ab
000023a9: JUMPI
000023aa: INVALID
000023ab: JUMPDEST
000023ac: DIV
000023ad: ADD
000023ae: DUP2
000023af: ISZERO
000023b0: ISZERO
000023b1: PUSH2 0x23b6
000023b4: JUMPI
000023b5: INVALID
000023b6: JUMPDEST
000023b7: DIV
000023b8: SWAP1
000023b9: POP
000023ba: PUSH2 0x2392
000023bd: JUMP
000023be: JUMPDEST
000023bf: PUSH1 0x00
000023c1: PUSH1 0x01
000023c3: PUSH1 0xa0
000023c5: PUSH1 0x02
000023c7: EXP
000023c8: SUB
000023c9: DUP5
000023ca: AND
000023cb: ISZERO
000023cc: DUP1
000023cd: ISZERO
000023ce: SWAP1
000023cf: PUSH2 0x23ea
000023d2: JUMPI
000023d3: POP
000023d4: DUP3
000023d5: PUSH1 0x01
000023d7: PUSH1 0xa0
000023d9: PUSH1 0x02
000023db: EXP
000023dc: SUB
000023dd: AND
000023de: DUP5
000023df: PUSH1 0x01
000023e1: PUSH1 0xa0
000023e3: PUSH1 0x02
000023e5: EXP
000023e6: SUB
000023e7: AND
000023e8: EQ
000023e9: ISZERO
000023ea: JUMPDEST
000023eb: DUP1
000023ec: ISZERO
000023ed: PUSH2 0x240e
000023f0: JUMPI
000023f1: POP
000023f2: PUSH1 0x01
000023f4: PUSH1 0xa0
000023f6: PUSH1 0x02
000023f8: EXP
000023f9: SUB
000023fa: DUP5
000023fb: AND
000023fc: PUSH1 0x00
000023fe: SWAP1
000023ff: DUP2
00002400: MSTORE
00002401: PUSH1 0x04
00002403: PUSH1 0x20
00002405: MSTORE
00002406: PUSH1 0x40
00002408: SWAP1
00002409: KECCAK256
0000240a: SLOAD
0000240b: DUP3
0000240c: GT
0000240d: ISZERO
0000240e: JUMPDEST
0000240f: SWAP5
00002410: SWAP4
00002411: POP
00002412: POP
00002413: POP
00002414: POP
00002415: JUMP
00002416: JUMPDEST
00002417: PUSH1 0x01
00002419: PUSH1 0xa0
0000241b: PUSH1 0x02
0000241d: EXP
0000241e: SUB
0000241f: SWAP3
00002420: DUP4
00002421: AND
00002422: PUSH1 0x00
00002424: DUP2
00002425: DUP2
00002426: MSTORE
00002427: PUSH1 0x21
00002429: PUSH1 0x20
0000242b: SWAP1
0000242c: DUP2
0000242d: MSTORE
0000242e: PUSH1 0x40
00002430: DUP1
00002431: DUP4
00002432: KECCAK256
00002433: SWAP6
00002434: SWAP1
00002435: SWAP7
00002436: AND
00002437: DUP3
00002438: MSTORE
00002439: SWAP4
0000243a: DUP5
0000243b: MSTORE
0000243c: DUP5
0000243d: DUP2
0000243e: KECCAK256
0000243f: DUP1
00002440: SLOAD
00002441: DUP5
00002442: ADD
00002443: SWAP1
00002444: SSTORE
00002445: SWAP1
00002446: DUP2
00002447: MSTORE
00002448: PUSH1 0x07
0000244a: SWAP1
0000244b: SWAP3
0000244c: MSTORE
0000244d: SWAP2
0000244e: SWAP1
0000244f: KECCAK256
00002450: DUP1
00002451: SLOAD
00002452: SWAP1
00002453: SWAP2
00002454: ADD
00002455: SWAP1
00002456: SSTORE
00002457: JUMP
00002458: JUMPDEST
00002459: DUP3
0000245a: DUP1
0000245b: SLOAD
0000245c: PUSH1 0x01
0000245e: DUP2
0000245f: PUSH1 0x01
00002461: AND
00002462: ISZERO
00002463: PUSH2 0x0100
00002466: MUL
00002467: SUB
00002468: AND
00002469: PUSH1 0x02
0000246b: SWAP1
0000246c: DIV
0000246d: SWAP1
0000246e: PUSH1 0x00
00002470: MSTORE
00002471: PUSH1 0x20
00002473: PUSH1 0x00
00002475: KECCAK256
00002476: SWAP1
00002477: PUSH1 0x1f
00002479: ADD
0000247a: PUSH1 0x20
0000247c: SWAP1
0000247d: DIV
0000247e: DUP2
0000247f: ADD
00002480: SWAP3
00002481: DUP3
00002482: PUSH1 0x1f
00002484: LT
00002485: PUSH2 0x2499
00002488: JUMPI
00002489: DUP1
0000248a: MLOAD
0000248b: PUSH1 0xff
0000248d: NOT
0000248e: AND
0000248f: DUP4
00002490: DUP1
00002491: ADD
00002492: OR
00002493: DUP6
00002494: SSTORE
00002495: PUSH2 0x24c6
00002498: JUMP
00002499: JUMPDEST
0000249a: DUP3
0000249b: DUP1
0000249c: ADD
0000249d: PUSH1 0x01
0000249f: ADD
000024a0: DUP6
000024a1: SSTORE
000024a2: DUP3
000024a3: ISZERO
000024a4: PUSH2 0x24c6
000024a7: JUMPI
000024a8: SWAP2
000024a9: DUP3
000024aa: ADD
000024ab: JUMPDEST
000024ac: DUP3
000024ad: DUP2
000024ae: GT
000024af: ISZERO
000024b0: PUSH2 0x24c6
000024b3: JUMPI
000024b4: DUP3
000024b5: MLOAD
000024b6: DUP3
000024b7: SSTORE
000024b8: SWAP2
000024b9: PUSH1 0x20
000024bb: ADD
000024bc: SWAP2
000024bd: SWAP1
000024be: PUSH1 0x01
000024c0: ADD
000024c1: SWAP1
000024c2: PUSH2 0x24ab
000024c5: JUMP
000024c6: JUMPDEST
000024c7: POP
000024c8: PUSH2 0x14f6
000024cb: SWAP3
000024cc: PUSH2 0x0df0
000024cf: SWAP3
000024d0: POP
000024d1: SWAP1
000024d2: JUMPDEST
000024d3: DUP1
000024d4: DUP3
000024d5: GT
000024d6: ISZERO
000024d7: PUSH2 0x14f6
000024da: JUMPI
000024db: PUSH1 0x00
000024dd: DUP2
000024de: SSTORE
000024df: PUSH1 0x01
000024e1: ADD
000024e2: PUSH2 0x24d2
000024e5: JUMP
000024e6: STOP
000024e7: LOG1
000024e8: PUSH6 0x627a7a723058
000024ef: KECCAK256
000024f0: SWAP3
000024f1: SWAP2
000024f2: UNKNOWN(0xE7)
000024f3: NOT
000024f4: SELFDESTRUCT
000024f5: PUSH32

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x07d58cea7dc2e88d2c34c29b4cdae6d0dbde1d796b68f035f3e4beb35e098044
call_targets: 0x792e6c37ae5ced8202794af26671531195418616
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x07d58cea7dc2e88d2c34c29b4cdae6d0dbde1d796b68f035f3e4beb35e098044",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x792e6c37ae5ced8202794af26671531195418616"
    ],
    "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": "0x04729a8d",
            "selector": "0x04729a8d",
            "calldata_variants": [
                "0x04729a8d",
                "0x04729a8d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x08ff90e0",
            "selector": "0x08ff90e0",
            "calldata_variants": [
                "0x08ff90e0",
                "0x08ff90e00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0ebb0d30",
            "selector": "0x0ebb0d30",
            "calldata_variants": [
                "0x0ebb0d30",
                "0x0ebb0d300000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10d0ffdd",
            "selector": "0x10d0ffdd",
            "calldata_variants": [
                "0x10d0ffdd",
                "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x117a4425",
            "selector": "0x117a4425",
            "calldata_variants": [
                "0x117a4425",
                "0x117a44250000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x181f4180",
            "selector": "0x181f4180",
            "calldata_variants": [
                "0x181f4180",
                "0x181f41800000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 4206,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x07d58cea7dc2e88d2c34c29b4cdae6d0dbde1d796b68f035f3e4beb35e098044
call_targets: 0x792e6c37ae5ced8202794af26671531195418616
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x07d58cea7dc2e88d2c34c29b4cdae6d0dbde1d796b68f035f3e4beb35e098044",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x792e6c37ae5ced8202794af26671531195418616"
    ],
    "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": "0x04729a8d",
            "selector": "0x04729a8d",
            "calldata_variants": [
                "0x04729a8d",
                "0x04729a8d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x08ff90e0",
            "selector": "0x08ff90e0",
            "calldata_variants": [
                "0x08ff90e0",
                "0x08ff90e00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0ebb0d30",
            "selector": "0x0ebb0d30",
            "calldata_variants": [
                "0x0ebb0d30",
                "0x0ebb0d300000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10d0ffdd",
            "selector": "0x10d0ffdd",
            "calldata_variants": [
                "0x10d0ffdd",
                "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x117a4425",
            "selector": "0x117a4425",
            "calldata_variants": [
                "0x117a4425",
                "0x117a44250000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x181f4180",
            "selector": "0x181f4180",
            "calldata_variants": [
                "0x181f4180",
                "0x181f41800000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 4206,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [],
    "untrusted_call_count": 1
}
high other detector SELFDESTRUCT reachable 65 no no
view
trace_id: 0x8d54942b1e5d95d67bde4a564419830e422a14d5e8b977f1dd23dfe77180bb82
validation_json
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x8d54942b1e5d95d67bde4a564419830e422a14d5e8b977f1dd23dfe77180bb82",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x04729a8d",
            "selector": "0x04729a8d",
            "calldata_variants": [
                "0x04729a8d",
                "0x04729a8d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x08ff90e0",
            "selector": "0x08ff90e0",
            "calldata_variants": [
                "0x08ff90e0",
                "0x08ff90e00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0ebb0d30",
            "selector": "0x0ebb0d30",
            "calldata_variants": [
                "0x0ebb0d30",
                "0x0ebb0d300000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10d0ffdd",
            "selector": "0x10d0ffdd",
            "calldata_variants": [
                "0x10d0ffdd",
                "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x117a4425",
            "selector": "0x117a4425",
            "calldata_variants": [
                "0x117a4425",
                "0x117a44250000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x181f4180",
            "selector": "0x181f4180",
            "calldata_variants": [
                "0x181f4180",
                "0x181f41800000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [],
    "selfdestruct_count": 1
}