019b477e-d38e-7344-98af-084eb1a8b218
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 28171 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 28172 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 71043 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 71044 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 71045 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 71046 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0184 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x696f9c81 00000018: GT 00000019: PUSH2 0x00d0 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xbedd12a5 00000023: GT 00000024: PUSH2 0x0089 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xd926de1c 0000002e: GT 0000002f: PUSH2 0x0063 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xd926de1c 00000039: EQ 0000003a: PUSH2 0x0601 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xdb006a75 00000044: EQ 00000045: PUSH2 0x0629 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xdd62ed3e 0000004f: EQ 00000050: PUSH2 0x0665 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xfcfff16f 0000005a: EQ 0000005b: PUSH2 0x06a1 0000005e: JUMPI 0000005f: PUSH2 0x022a 00000062: JUMP 00000063: JUMPDEST 00000064: DUP1 00000065: PUSH4 0xbedd12a5 0000006a: EQ 0000006b: PUSH2 0x0583 0000006e: JUMPI 0000006f: DUP1 00000070: PUSH4 0xc5b748c0 00000075: EQ 00000076: PUSH2 0x05ad 00000079: JUMPI 0000007a: DUP1 0000007b: PUSH4 0xd7ccfb0b 00000080: EQ 00000081: PUSH2 0x05d7 00000084: JUMPI 00000085: PUSH2 0x022a 00000088: JUMP 00000089: JUMPDEST 0000008a: DUP1 0000008b: PUSH4 0x696f9c81 00000090: EQ 00000091: PUSH2 0x0479 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x70a08231 0000009b: EQ 0000009c: PUSH2 0x04a1 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x751039fc 000000a6: EQ 000000a7: PUSH2 0x04dd 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x95d89b41 000000b1: EQ 000000b2: PUSH2 0x04f3 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0xa19af1ad 000000bc: EQ 000000bd: PUSH2 0x051d 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0xa9059cbb 000000c7: EQ 000000c8: PUSH2 0x0547 000000cb: JUMPI 000000cc: PUSH2 0x022a 000000cf: JUMP 000000d0: JUMPDEST 000000d1: DUP1 000000d2: PUSH4 0x23b872dd 000000d7: GT 000000d8: PUSH2 0x013d 000000db: JUMPI 000000dc: DUP1 000000dd: PUSH4 0x42966c68 000000e2: GT 000000e3: PUSH2 0x0117 000000e6: JUMPI 000000e7: DUP1 000000e8: PUSH4 0x42966c68 000000ed: EQ 000000ee: PUSH2 0x03cd 000000f1: JUMPI 000000f2: DUP1 000000f3: PUSH4 0x4febf53d 000000f8: EQ 000000f9: PUSH2 0x0409 000000fc: JUMPI 000000fd: DUP1 000000fe: PUSH4 0x5d03147a 00000103: EQ 00000104: PUSH2 0x0431 00000107: JUMPI 00000108: DUP1 00000109: PUSH4 0x64c9ec6f 0000010e: EQ 0000010f: PUSH2 0x045b 00000112: JUMPI 00000113: PUSH2 0x022a 00000116: JUMP 00000117: JUMPDEST 00000118: DUP1 00000119: PUSH4 0x23b872dd 0000011e: EQ 0000011f: PUSH2 0x032a 00000122: JUMPI 00000123: DUP1 00000124: PUSH4 0x3031afb8 00000129: EQ 0000012a: PUSH2 0x0366 0000012d: JUMPI 0000012e: DUP1 0000012f: PUSH4 0x313ce567 00000134: EQ 00000135: PUSH2 0x03a3 00000138: JUMPI 00000139: PUSH2 0x022a 0000013c: JUMP 0000013d: JUMPDEST 0000013e: DUP1 0000013f: PUSH4 0x01339c21 00000144: EQ 00000145: PUSH2 0x022e 00000148: JUMPI 00000149: DUP1 0000014a: PUSH4 0x031bee00 0000014f: EQ 00000150: PUSH2 0x0244 00000153: JUMPI 00000154: DUP1 00000155: PUSH4 0x06fdde03 0000015a: EQ 0000015b: PUSH2 0x0270 0000015e: JUMPI 0000015f: DUP1 00000160: PUSH4 0x095ea7b3 00000165: EQ 00000166: PUSH2 0x029a 00000169: JUMPI 0000016a: DUP1 0000016b: PUSH4 0x16f0115b 00000170: EQ 00000171: PUSH2 0x02d6 00000174: JUMPI 00000175: DUP1 00000176: PUSH4 0x18160ddd 0000017b: EQ 0000017c: PUSH2 0x0300 0000017f: JUMPI 00000180: PUSH2 0x022a 00000183: JUMP 00000184: JUMPDEST 00000185: CALLDATASIZE 00000186: PUSH2 0x022a 00000189: JUMPI 0000018a: PUSH20 0x0688578ec7273458785591d3affd120e664900c2 0000019f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001b4: AND 000001b5: CALLER 000001b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001cb: AND 000001cc: EQ 000001cd: ISZERO 000001ce: DUP1 000001cf: ISZERO 000001d0: PUSH2 0x0219 000001d3: JUMPI 000001d4: POP 000001d5: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d 000001ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ff: AND 00000200: CALLER 00000201: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000216: AND 00000217: EQ 00000218: ISZERO 00000219: JUMPDEST 0000021a: ISZERO 0000021b: PUSH2 0x0228 0000021e: JUMPI 0000021f: PUSH2 0x0226 00000222: PUSH2 0x06b7 00000225: JUMP 00000226: JUMPDEST 00000227: POP 00000228: JUMPDEST 00000229: STOP 0000022a: JUMPDEST 0000022b: PUSH0 0000022c: DUP1 0000022d: REVERT 0000022e: JUMPDEST 0000022f: CALLVALUE 00000230: DUP1 00000231: ISZERO 00000232: PUSH2 0x0239 00000235: JUMPI 00000236: PUSH0 00000237: DUP1 00000238: REVERT 00000239: JUMPDEST 0000023a: POP 0000023b: PUSH2 0x0242 0000023e: PUSH2 0x1103 00000241: JUMP 00000242: JUMPDEST 00000243: STOP 00000244: JUMPDEST 00000245: CALLVALUE 00000246: DUP1 00000247: ISZERO 00000248: PUSH2 0x024f 0000024b: JUMPI 0000024c: PUSH0 0000024d: DUP1 0000024e: REVERT 0000024f: JUMPDEST 00000250: POP 00000251: PUSH2 0x0258 00000254: PUSH2 0x121f 00000257: JUMP 00000258: JUMPDEST 00000259: PUSH1 0x40 0000025b: MLOAD 0000025c: PUSH2 0x0267 0000025f: SWAP4 00000260: SWAP3 00000261: SWAP2 00000262: SWAP1 00000263: PUSH2 0x3907 00000266: JUMP 00000267: JUMPDEST 00000268: PUSH1 0x40 0000026a: MLOAD 0000026b: DUP1 0000026c: SWAP2 0000026d: SUB 0000026e: SWAP1 0000026f: RETURN 00000270: JUMPDEST 00000271: CALLVALUE 00000272: DUP1 00000273: ISZERO 00000274: PUSH2 0x027b 00000277: JUMPI 00000278: PUSH0 00000279: DUP1 0000027a: REVERT 0000027b: JUMPDEST 0000027c: POP 0000027d: PUSH2 0x0284 00000280: PUSH2 0x14ad 00000283: JUMP 00000284: JUMPDEST 00000285: PUSH1 0x40 00000287: MLOAD 00000288: PUSH2 0x0291 0000028b: SWAP2 0000028c: SWAP1 0000028d: PUSH2 0x39c7 00000290: JUMP 00000291: JUMPDEST 00000292: PUSH1 0x40 00000294: MLOAD 00000295: DUP1 00000296: SWAP2 00000297: SUB 00000298: SWAP1 00000299: RETURN 0000029a: JUMPDEST 0000029b: CALLVALUE 0000029c: DUP1 0000029d: ISZERO 0000029e: PUSH2 0x02a5 000002a1: JUMPI 000002a2: PUSH0 000002a3: DUP1 000002a4: REVERT 000002a5: JUMPDEST 000002a6: POP 000002a7: PUSH2 0x02c0 000002aa: PUSH1 0x04 000002ac: DUP1 000002ad: CALLDATASIZE 000002ae: SUB 000002af: DUP2 000002b0: ADD 000002b1: SWAP1 000002b2: PUSH2 0x02bb 000002b5: SWAP2 000002b6: SWAP1 000002b7: PUSH2 0x3a6f 000002ba: JUMP 000002bb: JUMPDEST 000002bc: PUSH2 0x14ea 000002bf: JUMP 000002c0: JUMPDEST 000002c1: PUSH1 0x40 000002c3: MLOAD 000002c4: PUSH2 0x02cd 000002c7: SWAP2 000002c8: SWAP1 000002c9: PUSH2 0x3ac7 000002cc: JUMP 000002cd: JUMPDEST 000002ce: PUSH1 0x40 000002d0: MLOAD 000002d1: DUP1 000002d2: SWAP2 000002d3: SUB 000002d4: SWAP1 000002d5: RETURN 000002d6: JUMPDEST 000002d7: CALLVALUE 000002d8: DUP1 000002d9: ISZERO 000002da: PUSH2 0x02e1 000002dd: JUMPI 000002de: PUSH0 000002df: DUP1 000002e0: REVERT 000002e1: JUMPDEST 000002e2: POP 000002e3: PUSH2 0x02ea 000002e6: PUSH2 0x1577 000002e9: JUMP 000002ea: JUMPDEST 000002eb: PUSH1 0x40 000002ed: MLOAD 000002ee: PUSH2 0x02f7 000002f1: SWAP2 000002f2: SWAP1 000002f3: PUSH2 0x3aef 000002f6: JUMP 000002f7: JUMPDEST 000002f8: PUSH1 0x40 000002fa: MLOAD 000002fb: DUP1 000002fc: SWAP2 000002fd: SUB 000002fe: SWAP1 000002ff: RETURN 00000300: JUMPDEST 00000301: CALLVALUE 00000302: DUP1 00000303: ISZERO 00000304: PUSH2 0x030b 00000307: JUMPI 00000308: PUSH0 00000309: DUP1 0000030a: REVERT 0000030b: JUMPDEST 0000030c: POP 0000030d: PUSH2 0x0314 00000310: PUSH2 0x159e 00000313: JUMP 00000314: JUMPDEST 00000315: PUSH1 0x40 00000317: MLOAD 00000318: PUSH2 0x0321 0000031b: SWAP2 0000031c: SWAP1 0000031d: PUSH2 0x3b17 00000320: JUMP 00000321: JUMPDEST 00000322: PUSH1 0x40 00000324: MLOAD 00000325: DUP1 00000326: SWAP2 00000327: SUB 00000328: SWAP1 00000329: RETURN 0000032a: JUMPDEST 0000032b: CALLVALUE 0000032c: DUP1 0000032d: ISZERO 0000032e: PUSH2 0x0335 00000331: JUMPI 00000332: PUSH0 00000333: DUP1 00000334: REVERT 00000335: JUMPDEST 00000336: POP 00000337: PUSH2 0x0350 0000033a: PUSH1 0x04 0000033c: DUP1 0000033d: CALLDATASIZE 0000033e: SUB 0000033f: DUP2 00000340: ADD 00000341: SWAP1 00000342: PUSH2 0x034b 00000345: SWAP2 00000346: SWAP1 00000347: PUSH2 0x3b30 0000034a: JUMP 0000034b: JUMPDEST 0000034c: PUSH2 0x15a7 0000034f: JUMP 00000350: JUMPDEST 00000351: PUSH1 0x40 00000353: MLOAD 00000354: PUSH2 0x035d 00000357: SWAP2 00000358: SWAP1 00000359: PUSH2 0x3ac7 0000035c: JUMP 0000035d: JUMPDEST 0000035e: PUSH1 0x40 00000360: MLOAD 00000361: DUP1 00000362: SWAP2 00000363: SUB 00000364: SWAP1 00000365: RETURN 00000366: JUMPDEST 00000367: CALLVALUE 00000368: DUP1 00000369: ISZERO 0000036a: PUSH2 0x0371 0000036d: JUMPI 0000036e: PUSH0 0000036f: DUP1 00000370: REVERT 00000371: JUMPDEST 00000372: POP 00000373: PUSH2 0x038c 00000376: PUSH1 0x04 00000378: DUP1 00000379: CALLDATASIZE 0000037a: SUB 0000037b: DUP2 0000037c: ADD 0000037d: SWAP1 0000037e: PUSH2 0x0387 00000381: SWAP2 00000382: SWAP1 00000383: PUSH2 0x3b80 00000386: JUMP 00000387: JUMPDEST 00000388: PUSH2 0x17a2 0000038b: JUMP 0000038c: JUMPDEST 0000038d: PUSH1 0x40 0000038f: MLOAD 00000390: PUSH2 0x039a 00000393: SWAP3 00000394: SWAP2 00000395: SWAP1 00000396: PUSH2 0x3bab 00000399: JUMP 0000039a: JUMPDEST 0000039b: PUSH1 0x40 0000039d: MLOAD 0000039e: DUP1 0000039f: SWAP2 000003a0: SUB 000003a1: SWAP1 000003a2: RETURN 000003a3: JUMPDEST 000003a4: CALLVALUE 000003a5: DUP1 000003a6: ISZERO 000003a7: PUSH2 0x03ae 000003aa: JUMPI 000003ab: PUSH0 000003ac: DUP1 000003ad: REVERT 000003ae: JUMPDEST 000003af: POP 000003b0: PUSH2 0x03b7 000003b3: PUSH2 0x1823 000003b6: JUMP 000003b7: JUMPDEST 000003b8: PUSH1 0x40 000003ba: MLOAD 000003bb: PUSH2 0x03c4 000003be: SWAP2 000003bf: SWAP1 000003c0: PUSH2 0x3bed 000003c3: JUMP 000003c4: JUMPDEST 000003c5: PUSH1 0x40 000003c7: MLOAD 000003c8: DUP1 000003c9: SWAP2 000003ca: SUB 000003cb: SWAP1 000003cc: RETURN 000003cd: JUMPDEST 000003ce: CALLVALUE 000003cf: DUP1 000003d0: ISZERO 000003d1: PUSH2 0x03d8 000003d4: JUMPI 000003d5: PUSH0 000003d6: DUP1 000003d7: REVERT 000003d8: JUMPDEST 000003d9: POP 000003da: PUSH2 0x03f3 000003dd: PUSH1 0x04 000003df: DUP1 000003e0: CALLDATASIZE 000003e1: SUB 000003e2: DUP2 000003e3: ADD 000003e4: SWAP1 000003e5: PUSH2 0x03ee 000003e8: SWAP2 000003e9: SWAP1 000003ea: PUSH2 0x3c06 000003ed: JUMP 000003ee: JUMPDEST 000003ef: PUSH2 0x182b 000003f2: JUMP 000003f3: JUMPDEST 000003f4: PUSH1 0x40 000003f6: MLOAD 000003f7: PUSH2 0x0400 000003fa: SWAP2 000003fb: SWAP1 000003fc: PUSH2 0x3ac7 000003ff: JUMP 00000400: JUMPDEST 00000401: PUSH1 0x40 00000403: MLOAD 00000404: DUP1 00000405: SWAP2 00000406: SUB 00000407: SWAP1 00000408: RETURN 00000409: JUMPDEST 0000040a: CALLVALUE 0000040b: DUP1 0000040c: ISZERO 0000040d: PUSH2 0x0414 00000410: JUMPI 00000411: PUSH0 00000412: DUP1 00000413: REVERT 00000414: JUMPDEST 00000415: POP 00000416: PUSH2 0x042f 00000419: PUSH1 0x04 0000041b: DUP1 0000041c: CALLDATASIZE 0000041d: SUB 0000041e: DUP2 0000041f: ADD 00000420: SWAP1 00000421: PUSH2 0x042a 00000424: SWAP2 00000425: SWAP1 00000426: PUSH2 0x3b80 00000429: JUMP 0000042a: JUMPDEST 0000042b: PUSH2 0x18a4 0000042e: JUMP 0000042f: JUMPDEST 00000430: STOP 00000431: JUMPDEST 00000432: CALLVALUE 00000433: DUP1 00000434: ISZERO 00000435: PUSH2 0x043c 00000438: JUMPI 00000439: PUSH0 0000043a: DUP1 0000043b: REVERT 0000043c: JUMPDEST 0000043d: POP 0000043e: PUSH2 0x0445 00000441: PUSH2 0x19b8 00000444: JUMP 00000445: JUMPDEST 00000446: PUSH1 0x40 00000448: MLOAD 00000449: PUSH2 0x0452 0000044c: SWAP2 0000044d: SWAP1 0000044e: PUSH2 0x3aef 00000451: JUMP 00000452: JUMPDEST 00000453: PUSH1 0x40 00000455: MLOAD 00000456: DUP1 00000457: SWAP2 00000458: SUB 00000459: SWAP1 0000045a: RETURN 0000045b: JUMPDEST 0000045c: PUSH2 0x0463 0000045f: PUSH2 0x06b7 00000462: JUMP 00000463: JUMPDEST 00000464: PUSH1 0x40 00000466: MLOAD 00000467: PUSH2 0x0470 0000046a: SWAP2 0000046b: SWAP1 0000046c: PUSH2 0x3b17 0000046f: JUMP 00000470: JUMPDEST 00000471: PUSH1 0x40 00000473: MLOAD 00000474: DUP1 00000475: SWAP2 00000476: SUB 00000477: SWAP1 00000478: RETURN 00000479: JUMPDEST 0000047a: CALLVALUE 0000047b: DUP1 0000047c: ISZERO 0000047d: PUSH2 0x0484 00000480: JUMPI 00000481: PUSH0 00000482: DUP1 00000483: REVERT 00000484: JUMPDEST 00000485: POP 00000486: PUSH2 0x049f 00000489: PUSH1 0x04 0000048b: DUP1 0000048c: CALLDATASIZE 0000048d: SUB 0000048e: DUP2 0000048f: ADD 00000490: SWAP1 00000491: PUSH2 0x049a 00000494: SWAP2 00000495: SWAP1 00000496: PUSH2 0x3c31 00000499: JUMP 0000049a: JUMPDEST 0000049b: PUSH2 0x19d3 0000049e: JUMP 0000049f: JUMPDEST 000004a0: STOP 000004a1: JUMPDEST 000004a2: CALLVALUE 000004a3: DUP1 000004a4: ISZERO 000004a5: PUSH2 0x04ac 000004a8: JUMPI 000004a9: PUSH0 000004aa: DUP1 000004ab: REVERT 000004ac: JUMPDEST 000004ad: POP 000004ae: PUSH2 0x04c7 000004b1: PUSH1 0x04 000004b3: DUP1 000004b4: CALLDATASIZE 000004b5: SUB 000004b6: DUP2 000004b7: ADD 000004b8: SWAP1 000004b9: PUSH2 0x04c2 000004bc: SWAP2 000004bd: SWAP1 000004be: PUSH2 0x3b80 000004c1: JUMP 000004c2: JUMPDEST 000004c3: PUSH2 0x1a93 000004c6: JUMP 000004c7: JUMPDEST 000004c8: PUSH1 0x40 000004ca: MLOAD 000004cb: PUSH2 0x04d4 000004ce: SWAP2 000004cf: SWAP1 000004d0: PUSH2 0x3b17 000004d3: JUMP 000004d4: JUMPDEST 000004d5: PUSH1 0x40 000004d7: MLOAD 000004d8: DUP1 000004d9: SWAP2 000004da: SUB 000004db: SWAP1 000004dc: RETURN 000004dd: JUMPDEST 000004de: CALLVALUE 000004df: DUP1 000004e0: ISZERO 000004e1: PUSH2 0x04e8 000004e4: JUMPI 000004e5: PUSH0 000004e6: DUP1 000004e7: REVERT 000004e8: JUMPDEST 000004e9: POP 000004ea: PUSH2 0x04f1 000004ed: PUSH2 0x1ad8 000004f0: JUMP 000004f1: JUMPDEST 000004f2: STOP 000004f3: JUMPDEST 000004f4: CALLVALUE 000004f5: DUP1 000004f6: ISZERO 000004f7: PUSH2 0x04fe 000004fa: JUMPI 000004fb: PUSH0 000004fc: DUP1 000004fd: REVERT 000004fe: JUMPDEST 000004ff: POP 00000500: PUSH2 0x0507 00000503: PUSH2 0x1ba6 00000506: JUMP 00000507: JUMPDEST 00000508: PUSH1 0x40 0000050a: MLOAD 0000050b: PUSH2 0x0514 0000050e: SWAP2 0000050f: SWAP1 00000510: PUSH2 0x39c7 00000513: JUMP 00000514: JUMPDEST 00000515: PUSH1 0x40 00000517: MLOAD 00000518: DUP1 00000519: SWAP2 0000051a: SUB 0000051b: SWAP1 0000051c: RETURN 0000051d: JUMPDEST 0000051e: CALLVALUE 0000051f: DUP1 00000520: ISZERO 00000521: PUSH2 0x0528 00000524: JUMPI 00000525: PUSH0 00000526: DUP1 00000527: REVERT 00000528: JUMPDEST 00000529: POP 0000052a: PUSH2 0x0531 0000052d: PUSH2 0x1be3 00000530: JUMP 00000531: JUMPDEST 00000532: PUSH1 0x40 00000534: MLOAD 00000535: PUSH2 0x053e 00000538: SWAP2 00000539: SWAP1 0000053a: PUSH2 0x3b17 0000053d: JUMP 0000053e: JUMPDEST 0000053f: PUSH1 0x40 00000541: MLOAD 00000542: DUP1 00000543: SWAP2 00000544: SUB 00000545: SWAP1 00000546: RETURN 00000547: JUMPDEST 00000548: CALLVALUE 00000549: DUP1 0000054a: ISZERO 0000054b: PUSH2 0x0552 0000054e: JUMPI 0000054f: PUSH0 00000550: DUP1 00000551: REVERT 00000552: JUMPDEST 00000553: POP 00000554: PUSH2 0x056d 00000557: PUSH1 0x04 00000559: DUP1 0000055a: CALLDATASIZE 0000055b: SUB 0000055c: DUP2 0000055d: ADD 0000055e: SWAP1 0000055f: PUSH2 0x0568 00000562: SWAP2 00000563: SWAP1 00000564: PUSH2 0x3a6f 00000567: JUMP 00000568: JUMPDEST 00000569: PUSH2 0x1d0b 0000056c: JUMP 0000056d: JUMPDEST 0000056e: PUSH1 0x40 00000570: MLOAD 00000571: PUSH2 0x057a 00000574: SWAP2 00000575: SWAP1 00000576: PUSH2 0x3ac7 00000579: JUMP 0000057a: JUMPDEST 0000057b: PUSH1 0x40 0000057d: MLOAD 0000057e: DUP1 0000057f: SWAP2 00000580: SUB 00000581: SWAP1 00000582: RETURN 00000583: JUMPDEST 00000584: CALLVALUE 00000585: DUP1 00000586: ISZERO 00000587: PUSH2 0x058e 0000058a: JUMPI 0000058b: PUSH0 0000058c: DUP1 0000058d: REVERT 0000058e: JUMPDEST 0000058f: POP 00000590: PUSH2 0x0597 00000593: PUSH2 0x1d91 00000596: JUMP 00000597: JUMPDEST 00000598: PUSH1 0x40 0000059a: MLOAD 0000059b: PUSH2 0x05a4 0000059e: SWAP2 0000059f: SWAP1 000005a0: PUSH2 0x3aef 000005a3: JUMP 000005a4: JUMPDEST 000005a5: PUSH1 0x40 000005a7: MLOAD 000005a8: DUP1 000005a9: SWAP2 000005aa: SUB 000005ab: SWAP1 000005ac: RETURN 000005ad: JUMPDEST 000005ae: CALLVALUE 000005af: DUP1 000005b0: ISZERO 000005b1: PUSH2 0x05b8 000005b4: JUMPI 000005b5: PUSH0 000005b6: DUP1 000005b7: REVERT 000005b8: JUMPDEST 000005b9: POP 000005ba: PUSH2 0x05c1 000005bd: PUSH2 0x1dac 000005c0: JUMP 000005c1: JUMPDEST 000005c2: PUSH1 0x40 000005c4: MLOAD 000005c5: PUSH2 0x05ce 000005c8: SWAP2 000005c9: SWAP1 000005ca: PUSH2 0x3b17 000005cd: JUMP 000005ce: JUMPDEST 000005cf: PUSH1 0x40 000005d1: MLOAD 000005d2: DUP1 000005d3: SWAP2 000005d4: SUB 000005d5: SWAP1 000005d6: RETURN 000005d7: JUMPDEST 000005d8: CALLVALUE 000005d9: DUP1 000005da: ISZERO 000005db: PUSH2 0x05e2 000005de: JUMPI 000005df: PUSH0 000005e0: DUP1 000005e1: REVERT 000005e2: JUMPDEST 000005e3: POP 000005e4: PUSH2 0x05eb 000005e7: PUSH2 0x1dd3 000005ea: JUMP 000005eb: JUMPDEST 000005ec: PUSH1 0x40 000005ee: MLOAD 000005ef: PUSH2 0x05f8 000005f2: SWAP2 000005f3: SWAP1 000005f4: PUSH2 0x3b17 000005f7: JUMP 000005f8: JUMPDEST 000005f9: PUSH1 0x40 000005fb: MLOAD 000005fc: DUP1 000005fd: SWAP2 000005fe: SUB 000005ff: SWAP1 00000600: RETURN 00000601: JUMPDEST 00000602: CALLVALUE 00000603: DUP1 00000604: ISZERO 00000605: PUSH2 0x060c 00000608: JUMPI 00000609: PUSH0 0000060a: DUP1 0000060b: REVERT 0000060c: JUMPDEST 0000060d: POP 0000060e: PUSH2 0x0627 00000611: PUSH1 0x04 00000613: DUP1 00000614: CALLDATASIZE 00000615: SUB 00000616: DUP2 00000617: ADD 00000618: SWAP1 00000619: PUSH2 0x0622 0000061c: SWAP2 0000061d: SWAP1 0000061e: PUSH2 0x3b80 00000621: JUMP 00000622: JUMPDEST 00000623: PUSH2 0x1e15 00000626: JUMP 00000627: JUMPDEST 00000628: STOP 00000629: JUMPDEST 0000062a: CALLVALUE 0000062b: DUP1 0000062c: ISZERO 0000062d: PUSH2 0x0634 00000630: JUMPI 00000631: PUSH0 00000632: DUP1 00000633: REVERT 00000634: JUMPDEST 00000635: POP 00000636: PUSH2 0x064f 00000639: PUSH1 0x04 0000063b: DUP1 0000063c: CALLDATASIZE 0000063d: SUB 0000063e: DUP2 0000063f: ADD 00000640: SWAP1 00000641: PUSH2 0x064a 00000644: SWAP2 00000645: SWAP1 00000646: PUSH2 0x3c06 00000649: JUMP 0000064a: JUMPDEST 0000064b: PUSH2 0x1f1d 0000064e: JUMP 0000064f: JUMPDEST 00000650: PUSH1 0x40 00000652: MLOAD 00000653: PUSH2 0x065c 00000656: SWAP2 00000657: SWAP1 00000658: PUSH2 0x3b17 0000065b: JUMP 0000065c: JUMPDEST 0000065d: PUSH1 0x40 0000065f: MLOAD 00000660: DUP1 00000661: SWAP2 00000662: SUB 00000663: SWAP1 00000664: RETURN 00000665: JUMPDEST 00000666: CALLVALUE 00000667: DUP1 00000668: ISZERO 00000669: PUSH2 0x0670 0000066c: JUMPI 0000066d: PUSH0 0000066e: DUP1 0000066f: REVERT 00000670: JUMPDEST 00000671: POP 00000672: PUSH2 0x068b 00000675: PUSH1 0x04 00000677: DUP1 00000678: CALLDATASIZE 00000679: SUB 0000067a: DUP2 0000067b: ADD 0000067c: SWAP1 0000067d: PUSH2 0x0686 00000680: SWAP2 00000681: SWAP1 00000682: PUSH2 0x3c6f 00000685: JUMP 00000686: JUMPDEST 00000687: PUSH2 0x1fcf 0000068a: JUMP 0000068b: JUMPDEST 0000068c: PUSH1 0x40 0000068e: MLOAD 0000068f: PUSH2 0x0698 00000692: SWAP2 00000693: SWAP1 00000694: PUSH2 0x3b17 00000697: JUMP 00000698: JUMPDEST 00000699: PUSH1 0x40 0000069b: MLOAD 0000069c: DUP1 0000069d: SWAP2 0000069e: SUB 0000069f: SWAP1 000006a0: RETURN 000006a1: JUMPDEST 000006a2: CALLVALUE 000006a3: DUP1 000006a4: ISZERO 000006a5: PUSH2 0x06ac 000006a8: JUMPI 000006a9: PUSH0 000006aa: DUP1 000006ab: REVERT 000006ac: JUMPDEST 000006ad: POP 000006ae: PUSH2 0x06b5 000006b1: PUSH2 0x2051 000006b4: JUMP 000006b5: JUMPDEST 000006b6: STOP 000006b7: JUMPDEST 000006b8: PUSH0 000006b9: PUSH1 0x02 000006bb: PUSH1 0x0d 000006bd: PUSH0 000006be: SWAP1 000006bf: SLOAD 000006c0: SWAP1 000006c1: PUSH2 0x0100 000006c4: EXP 000006c5: SWAP1 000006c6: DIV 000006c7: PUSH1 0xff 000006c9: AND 000006ca: PUSH1 0xff 000006cc: AND 000006cd: SUB 000006ce: PUSH2 0x0703 000006d1: JUMPI 000006d2: PUSH1 0x40 000006d4: MLOAD 000006d5: PUSH32 0xab143c0600000000000000000000000000000000000000000000000000000000 000006f6: DUP2 000006f7: MSTORE 000006f8: PUSH1 0x04 000006fa: ADD 000006fb: PUSH1 0x40 000006fd: MLOAD 000006fe: DUP1 000006ff: SWAP2 00000700: SUB 00000701: SWAP1 00000702: REVERT 00000703: JUMPDEST 00000704: PUSH1 0x02 00000706: PUSH1 0x0d 00000708: PUSH0 00000709: PUSH2 0x0100 0000070c: EXP 0000070d: DUP2 0000070e: SLOAD 0000070f: DUP2 00000710: PUSH1 0xff 00000712: MUL 00000713: NOT 00000714: AND 00000715: SWAP1 00000716: DUP4 00000717: PUSH1 0xff 00000719: AND 0000071a: MUL 0000071b: OR 0000071c: SWAP1 0000071d: SSTORE 0000071e: POP 0000071f: PUSH1 0x0a 00000721: PUSH0 00000722: ADD 00000723: PUSH0 00000724: SWAP1 00000725: SLOAD 00000726: SWAP1 00000727: PUSH2 0x0100 0000072a: EXP 0000072b: SWAP1 0000072c: DIV 0000072d: PUSH6 0xffffffffffff 00000734: AND 00000735: PUSH6 0xffffffffffff 0000073c: AND 0000073d: TIMESTAMP 0000073e: GT 0000073f: ISZERO 00000740: PUSH2 0x074c 00000743: JUMPI 00000744: PUSH2 0x074b 00000747: PUSH2 0x210b 0000074a: JUMP 0000074b: JUMPDEST 0000074c: JUMPDEST 0000074d: PUSH0 0000074e: PUSH1 0x07 00000750: PUSH0 00000751: ADD 00000752: PUSH0 00000753: SWAP1 00000754: SLOAD 00000755: SWAP1 00000756: PUSH2 0x0100 00000759: EXP 0000075a: SWAP1 0000075b: DIV 0000075c: PUSH12 0xffffffffffffffffffffffff 00000769: AND 0000076a: PUSH12 0xffffffffffffffffffffffff 00000777: AND 00000778: EQ 00000779: PUSH2 0x10da 0000077c: JUMPI 0000077d: PUSH0 0000077e: PUSH1 0x07 00000780: PUSH1 0x40 00000782: MLOAD 00000783: DUP1 00000784: PUSH1 0xa0 00000786: ADD 00000787: PUSH1 0x40 00000789: MSTORE 0000078a: SWAP1 0000078b: DUP2 0000078c: PUSH0 0000078d: DUP3 0000078e: ADD 0000078f: PUSH0 00000790: SWAP1 00000791: SLOAD 00000792: SWAP1 00000793: PUSH2 0x0100 00000796: EXP 00000797: SWAP1 00000798: DIV 00000799: PUSH12 0xffffffffffffffffffffffff 000007a6: AND 000007a7: PUSH12 0xffffffffffffffffffffffff 000007b4: AND 000007b5: PUSH12 0xffffffffffffffffffffffff 000007c2: AND 000007c3: DUP2 000007c4: MSTORE 000007c5: PUSH1 0x20 000007c7: ADD 000007c8: PUSH0 000007c9: DUP3 000007ca: ADD 000007cb: PUSH1 0x0c 000007cd: SWAP1 000007ce: SLOAD 000007cf: SWAP1 000007d0: PUSH2 0x0100 000007d3: EXP 000007d4: SWAP1 000007d5: DIV 000007d6: PUSH12 0xffffffffffffffffffffffff 000007e3: AND 000007e4: PUSH12 0xffffffffffffffffffffffff 000007f1: AND 000007f2: PUSH12 0xffffffffffffffffffffffff 000007ff: AND 00000800: DUP2 00000801: MSTORE 00000802: PUSH1 0x20 00000804: ADD 00000805: PUSH1 0x01 00000807: DUP3 00000808: ADD 00000809: PUSH0 0000080a: SWAP1 0000080b: SLOAD 0000080c: SWAP1 0000080d: PUSH2 0x0100 00000810: EXP 00000811: SWAP1 00000812: DIV 00000813: PUSH12 0xffffffffffffffffffffffff 00000820: AND 00000821: PUSH12 0xffffffffffffffffffffffff 0000082e: AND 0000082f: PUSH12 0xffffffffffffffffffffffff 0000083c: AND 0000083d: DUP2 0000083e: MSTORE 0000083f: PUSH1 0x20 00000841: ADD 00000842: PUSH1 0x01 00000844: DUP3 00000845: ADD 00000846: PUSH1 0x0c 00000848: SWAP1 00000849: SLOAD 0000084a: SWAP1 0000084b: PUSH2 0x0100 0000084e: EXP 0000084f: SWAP1 00000850: DIV 00000851: PUSH12 0xffffffffffffffffffffffff 0000085e: AND 0000085f: PUSH12 0xffffffffffffffffffffffff 0000086c: AND 0000086d: PUSH12 0xffffffffffffffffffffffff 0000087a: AND 0000087b: DUP2 0000087c: MSTORE 0000087d: PUSH1 0x20 0000087f: ADD 00000880: PUSH1 0x02 00000882: DUP3 00000883: ADD 00000884: PUSH0 00000885: SWAP1 00000886: SLOAD 00000887: SWAP1 00000888: PUSH2 0x0100 0000088b: EXP 0000088c: SWAP1 0000088d: DIV 0000088e: PUSH12 0xffffffffffffffffffffffff 0000089b: AND 0000089c: PUSH12 0xffffffffffffffffffffffff 000008a9: AND 000008aa: PUSH12 0xffffffffffffffffffffffff 000008b7: AND 000008b8: DUP2 000008b9: MSTORE 000008ba: POP 000008bb: POP 000008bc: SWAP1 000008bd: POP 000008be: PUSH0 000008bf: PUSH1 0x0a 000008c1: PUSH1 0x40 000008c3: MLOAD 000008c4: DUP1 000008c5: PUSH1 0x40 000008c7: ADD 000008c8: PUSH1 0x40 000008ca: MSTORE 000008cb: SWAP1 000008cc: DUP2 000008cd: PUSH0 000008ce: DUP3 000008cf: ADD 000008d0: PUSH0 000008d1: SWAP1 000008d2: SLOAD 000008d3: SWAP1 000008d4: PUSH2 0x0100 000008d7: EXP 000008d8: SWAP1 000008d9: DIV 000008da: PUSH6 0xffffffffffff 000008e1: AND 000008e2: PUSH6 0xffffffffffff 000008e9: AND 000008ea: PUSH6 0xffffffffffff 000008f1: AND 000008f2: DUP2 000008f3: MSTORE 000008f4: PUSH1 0x20 000008f6: ADD 000008f7: PUSH1 0x01 000008f9: DUP3 000008fa: ADD 000008fb: SLOAD 000008fc: DUP2 000008fd: MSTORE 000008fe: POP 000008ff: POP 00000900: SWAP1 00000901: POP 00000902: PUSH0 00000903: PUSH1 0x06 00000905: PUSH1 0x40 00000907: MLOAD 00000908: DUP1 00000909: PUSH1 0xa0 0000090b: ADD 0000090c: PUSH1 0x40 0000090e: MSTORE 0000090f: SWAP1 00000910: DUP2 00000911: PUSH0 00000912: DUP3 00000913: ADD 00000914: PUSH0 00000915: SWAP1 00000916: SLOAD 00000917: SWAP1 00000918: PUSH2 0x0100 0000091b: EXP 0000091c: SWAP1 0000091d: DIV 0000091e: PUSH6 0xffffffffffff 00000925: AND 00000926: PUSH6 0xffffffffffff 0000092d: AND 0000092e: PUSH6 0xffffffffffff 00000935: AND 00000936: DUP2 00000937: MSTORE 00000938: PUSH1 0x20 0000093a: ADD 0000093b: PUSH0 0000093c: DUP3 0000093d: ADD 0000093e: PUSH1 0x06 00000940: SWAP1 00000941: SLOAD 00000942: SWAP1 00000943: PUSH2 0x0100 00000946: EXP 00000947: SWAP1 00000948: DIV 00000949: PUSH6 0xffffffffffff 00000950: AND 00000951: PUSH6 0xffffffffffff 00000958: AND 00000959: PUSH6 0xffffffffffff 00000960: AND 00000961: DUP2 00000962: MSTORE 00000963: PUSH1 0x20 00000965: ADD 00000966: PUSH0 00000967: DUP3 00000968: ADD 00000969: PUSH1 0x0c 0000096b: SWAP1 0000096c: SLOAD 0000096d: SWAP1 0000096e: PUSH2 0x0100 00000971: EXP 00000972: SWAP1 00000973: DIV 00000974: PUSH6 0xffffffffffff 0000097b: AND 0000097c: PUSH6 0xffffffffffff 00000983: AND 00000984: PUSH6 0xffffffffffff 0000098b: AND 0000098c: DUP2 0000098d: MSTORE 0000098e: PUSH1 0x20 00000990: ADD 00000991: PUSH0 00000992: DUP3 00000993: ADD 00000994: PUSH1 0x12 00000996: SWAP1 00000997: SLOAD 00000998: SWAP1 00000999: PUSH2 0x0100 0000099c: EXP 0000099d: SWAP1 0000099e: DIV 0000099f: PUSH6 0xffffffffffff 000009a6: AND 000009a7: PUSH6 0xffffffffffff 000009ae: AND 000009af: PUSH6 0xffffffffffff 000009b6: AND 000009b7: DUP2 000009b8: MSTORE 000009b9: PUSH1 0x20 000009bb: ADD 000009bc: PUSH0 000009bd: DUP3 000009be: ADD 000009bf: PUSH1 0x18 000009c1: SWAP1 000009c2: SLOAD 000009c3: SWAP1 000009c4: PUSH2 0x0100 000009c7: EXP 000009c8: SWAP1 000009c9: DIV 000009ca: PUSH6 0xffffffffffff 000009d1: AND 000009d2: PUSH6 0xffffffffffff 000009d9: AND 000009da: PUSH6 0xffffffffffff 000009e1: AND 000009e2: DUP2 000009e3: MSTORE 000009e4: POP 000009e5: POP 000009e6: SWAP1 000009e7: POP 000009e8: PUSH0 000009e9: PUSH1 0x05 000009eb: PUSH1 0x40 000009ed: MLOAD 000009ee: DUP1 000009ef: PUSH1 0x80 000009f1: ADD 000009f2: PUSH1 0x40 000009f4: MSTORE 000009f5: SWAP1 000009f6: DUP2 000009f7: PUSH0 000009f8: DUP3 000009f9: ADD 000009fa: PUSH0 000009fb: SWAP1 000009fc: SLOAD 000009fd: SWAP1 000009fe: PUSH2 0x0100 00000a01: EXP 00000a02: SWAP1 00000a03: DIV 00000a04: PUSH16 0xffffffffffffffffffffffffffffffff 00000a15: AND 00000a16: PUSH16 0xffffffffffffffffffffffffffffffff 00000a27: AND 00000a28: PUSH16 0xffffffffffffffffffffffffffffffff 00000a39: AND 00000a3a: DUP2 00000a3b: MSTORE 00000a3c: PUSH1 0x20 00000a3e: ADD 00000a3f: PUSH0 00000a40: DUP3 00000a41: ADD 00000a42: PUSH1 0x10 00000a44: SWAP1 00000a45: SLOAD 00000a46: SWAP1 00000a47: PUSH2 0x0100 00000a4a: EXP 00000a4b: SWAP1 00000a4c: DIV 00000a4d: PUSH6 0xffffffffffff 00000a54: AND 00000a55: PUSH6 0xffffffffffff 00000a5c: AND 00000a5d: PUSH6 0xffffffffffff 00000a64: AND 00000a65: DUP2 00000a66: MSTORE 00000a67: PUSH1 0x20 00000a69: ADD 00000a6a: PUSH0 00000a6b: DUP3 00000a6c: ADD 00000a6d: PUSH1 0x16 00000a6f: SWAP1 00000a70: SLOAD 00000a71: SWAP1 00000a72: PUSH2 0x0100 00000a75: EXP 00000a76: SWAP1 00000a77: DIV 00000a78: PUSH6 0xffffffffffff 00000a7f: AND 00000a80: PUSH6 0xffffffffffff 00000a87: AND 00000a88: PUSH6 0xffffffffffff 00000a8f: AND 00000a90: DUP2 00000a91: MSTORE 00000a92: PUSH1 0x20 00000a94: ADD 00000a95: PUSH0 00000a96: DUP3 00000a97: ADD 00000a98: PUSH1 0x1c 00000a9a: SWAP1 00000a9b: SLOAD 00000a9c: SWAP1 00000a9d: PUSH2 0x0100 00000aa0: EXP 00000aa1: SWAP1 00000aa2: DIV 00000aa3: PUSH1 0xff 00000aa5: AND 00000aa6: ISZERO 00000aa7: ISZERO 00000aa8: ISZERO 00000aa9: ISZERO 00000aaa: DUP2 00000aab: MSTORE 00000aac: POP 00000aad: POP 00000aae: SWAP1 00000aaf: POP 00000ab0: PUSH0 00000ab1: PUSH1 0x04 00000ab3: SLOAD 00000ab4: SWAP1 00000ab5: POP 00000ab6: PUSH0 00000ab7: TIMESTAMP 00000ab8: SWAP1 00000ab9: POP 00000aba: PUSH0 00000abb: DUP6 00000abc: PUSH1 0x20 00000abe: ADD 00000abf: MLOAD 00000ac0: SWAP1 00000ac1: POP 00000ac2: PUSH0 00000ac3: DUP8 00000ac4: PUSH1 0x20 00000ac6: ADD 00000ac7: MLOAD 00000ac8: PUSH12 0xffffffffffffffffffffffff 00000ad5: AND 00000ad6: SWAP1 00000ad7: POP 00000ad8: PUSH2 0x0bc5 00000adb: PUSH1 0x06 00000add: PUSH1 0x40 00000adf: MLOAD 00000ae0: DUP1 00000ae1: PUSH1 0xa0 00000ae3: ADD 00000ae4: PUSH1 0x40 00000ae6: MSTORE 00000ae7: SWAP1 00000ae8: DUP2 00000ae9: PUSH0 00000aea: DUP3 00000aeb: ADD 00000aec: PUSH0 00000aed: SWAP1 00000aee: SLOAD 00000aef: SWAP1 00000af0: PUSH2 0x0100 00000af3: EXP 00000af4: SWAP1 00000af5: DIV 00000af6: PUSH6 0xffffffffffff 00000afd: AND 00000afe: PUSH6 0xffffffffffff 00000b05: AND 00000b06: PUSH6 0xffffffffffff 00000b0d: AND 00000b0e: DUP2 00000b0f: MSTORE 00000b10: PUSH1 0x20 00000b12: ADD 00000b13: PUSH0 00000b14: DUP3 00000b15: ADD 00000b16: PUSH1 0x06 00000b18: SWAP1 00000b19: SLOAD 00000b1a: SWAP1 00000b1b: PUSH2 0x0100 00000b1e: EXP 00000b1f: SWAP1 00000b20: DIV 00000b21: PUSH6 0xffffffffffff 00000b28: AND 00000b29: PUSH6 0xffffffffffff 00000b30: AND 00000b31: PUSH6 0xffffffffffff 00000b38: AND 00000b39: DUP2 00000b3a: MSTORE 00000b3b: PUSH1 0x20 00000b3d: ADD 00000b3e: PUSH0 00000b3f: DUP3 00000b40: ADD 00000b41: PUSH1 0x0c 00000b43: SWAP1 00000b44: SLOAD 00000b45: SWAP1 00000b46: PUSH2 0x0100 00000b49: EXP 00000b4a: SWAP1 00000b4b: DIV 00000b4c: PUSH6 0xffffffffffff 00000b53: AND 00000b54: PUSH6 0xffffffffffff 00000b5b: AND 00000b5c: PUSH6 0xffffffffffff 00000b63: AND 00000b64: DUP2 00000b65: MSTORE 00000b66: PUSH1 0x20 00000b68: ADD 00000b69: PUSH0 00000b6a: DUP3 00000b6b: ADD 00000b6c: PUSH1 0x12 00000b6e: SWAP1 00000b6f: SLOAD 00000b70: SWAP1 00000b71: PUSH2 0x0100 00000b74: EXP 00000b75: SWAP1 00000b76: DIV 00000b77: PUSH6 0xffffffffffff 00000b7e: AND 00000b7f: PUSH6 0xffffffffffff 00000b86: AND 00000b87: PUSH6 0xffffffffffff 00000b8e: AND 00000b8f: DUP2 00000b90: MSTORE 00000b91: PUSH1 0x20 00000b93: ADD 00000b94: PUSH0 00000b95: DUP3 00000b96: ADD 00000b97: PUSH1 0x18 00000b99: SWAP1 00000b9a: SLOAD 00000b9b: SWAP1 00000b9c: PUSH2 0x0100 00000b9f: EXP 00000ba0: SWAP1 00000ba1: DIV 00000ba2: PUSH6 0xffffffffffff 00000ba9: AND 00000baa: PUSH6 0xffffffffffff 00000bb1: AND 00000bb2: PUSH6 0xffffffffffff 00000bb9: AND 00000bba: DUP2 00000bbb: MSTORE 00000bbc: POP 00000bbd: POP 00000bbe: DUP10 00000bbf: DUP10 00000bc0: DUP9 00000bc1: PUSH2 0x25aa 00000bc4: JUMP 00000bc5: JUMPDEST 00000bc6: DUP1 00000bc7: SWAP9 00000bc8: POP 00000bc9: DUP2 00000bca: SWAP11 00000bcb: POP 00000bcc: DUP3 00000bcd: SWAP10 00000bce: POP 00000bcf: DUP4 00000bd0: SWAP12 00000bd1: POP 00000bd2: POP 00000bd3: POP 00000bd4: POP 00000bd5: POP 00000bd6: PUSH0 00000bd7: PUSH2 0x0be1 00000bda: DUP4 00000bdb: DUP4 00000bdc: DUP8 00000bdd: PUSH2 0x2738 00000be0: JUMP 00000be1: JUMPDEST 00000be2: SWAP1 00000be3: POP 00000be4: DUP1 00000be5: PUSH8 0x0de0b6b3a7640000 00000bee: CALLVALUE 00000bef: PUSH2 0x0bf8 00000bf2: SWAP2 00000bf3: SWAP1 00000bf4: PUSH2 0x3cda 00000bf7: JUMP 00000bf8: JUMPDEST 00000bf9: PUSH2 0x0c02 00000bfc: SWAP2 00000bfd: SWAP1 00000bfe: PUSH2 0x3d48 00000c01: JUMP 00000c02: JUMPDEST 00000c03: SWAP10 00000c04: POP 00000c05: PUSH1 0x07 00000c07: PUSH1 0x01 00000c09: ADD 00000c0a: PUSH0 00000c0b: SWAP1 00000c0c: SLOAD 00000c0d: SWAP1 00000c0e: PUSH2 0x0100 00000c11: EXP 00000c12: SWAP1 00000c13: DIV 00000c14: PUSH12 0xffffffffffffffffffffffff 00000c21: AND 00000c22: PUSH12 0xffffffffffffffffffffffff 00000c2f: AND 00000c30: DUP11 00000c31: GT 00000c32: ISZERO 00000c33: PUSH2 0x0c68 00000c36: JUMPI 00000c37: PUSH1 0x40 00000c39: MLOAD 00000c3a: PUSH32 0x0b84a19e00000000000000000000000000000000000000000000000000000000 00000c5b: DUP2 00000c5c: MSTORE 00000c5d: PUSH1 0x04 00000c5f: ADD 00000c60: PUSH1 0x40 00000c62: MLOAD 00000c63: DUP1 00000c64: SWAP2 00000c65: SUB 00000c66: SWAP1 00000c67: REVERT 00000c68: JUMPDEST 00000c69: DUP10 00000c6a: DUP10 00000c6b: PUSH0 00000c6c: ADD 00000c6d: DUP2 00000c6e: DUP2 00000c6f: MLOAD 00000c70: PUSH2 0x0c79 00000c73: SWAP2 00000c74: SWAP1 00000c75: PUSH2 0x3d78 00000c78: JUMP 00000c79: JUMPDEST 00000c7a: SWAP2 00000c7b: POP 00000c7c: SWAP1 00000c7d: PUSH12 0xffffffffffffffffffffffff 00000c8a: AND 00000c8b: SWAP1 00000c8c: DUP2 00000c8d: PUSH12 0xffffffffffffffffffffffff 00000c9a: AND 00000c9b: DUP2 00000c9c: MSTORE 00000c9d: POP 00000c9e: POP 00000c9f: CALLVALUE 00000ca0: DUP10 00000ca1: PUSH1 0x80 00000ca3: ADD 00000ca4: DUP2 00000ca5: DUP2 00000ca6: MLOAD 00000ca7: PUSH2 0x0cb0 00000caa: SWAP2 00000cab: SWAP1 00000cac: PUSH2 0x3db7 00000caf: JUMP 00000cb0: JUMPDEST 00000cb1: SWAP2 00000cb2: POP 00000cb3: SWAP1 00000cb4: PUSH12 0xffffffffffffffffffffffff 00000cc1: AND 00000cc2: SWAP1 00000cc3: DUP2 00000cc4: PUSH12 0xffffffffffffffffffffffff 00000cd1: AND 00000cd2: DUP2 00000cd3: MSTORE 00000cd4: POP 00000cd5: POP 00000cd6: DUP10 00000cd7: DUP10 00000cd8: PUSH1 0x60 00000cda: ADD 00000cdb: DUP2 00000cdc: DUP2 00000cdd: MLOAD 00000cde: PUSH2 0x0ce7 00000ce1: SWAP2 00000ce2: SWAP1 00000ce3: PUSH2 0x3db7 00000ce6: JUMP 00000ce7: JUMPDEST 00000ce8: SWAP2 00000ce9: POP 00000cea: SWAP1 00000ceb: PUSH12 0xffffffffffffffffffffffff 00000cf8: AND 00000cf9: SWAP1 00000cfa: DUP2 00000cfb: PUSH12 0xffffffffffffffffffffffff 00000d08: AND 00000d09: DUP2 00000d0a: MSTORE 00000d0b: POP 00000d0c: POP 00000d0d: DUP10 00000d0e: DUP10 00000d0f: PUSH1 0x20 00000d11: ADD 00000d12: DUP2 00000d13: DUP2 00000d14: MLOAD 00000d15: PUSH2 0x0d1e 00000d18: SWAP2 00000d19: SWAP1 00000d1a: PUSH2 0x3db7 00000d1d: JUMP 00000d1e: JUMPDEST 00000d1f: SWAP2 00000d20: POP 00000d21: SWAP1 00000d22: PUSH12 0xffffffffffffffffffffffff 00000d2f: AND 00000d30: SWAP1 00000d31: DUP2 00000d32: PUSH12 0xffffffffffffffffffffffff 00000d3f: AND 00000d40: DUP2 00000d41: MSTORE 00000d42: POP 00000d43: POP 00000d44: PUSH0 00000d45: PUSH2 0x0d4e 00000d48: CALLER 00000d49: DUP13 00000d4a: PUSH2 0x276a 00000d4d: JUMP 00000d4e: JUMPDEST 00000d4f: SWAP1 00000d50: POP 00000d51: DUP1 00000d52: PUSH2 0x0d87 00000d55: JUMPI 00000d56: PUSH1 0x40 00000d58: MLOAD 00000d59: PUSH32 0xdde1446d00000000000000000000000000000000000000000000000000000000 00000d7a: DUP2 00000d7b: MSTORE 00000d7c: PUSH1 0x04 00000d7e: ADD 00000d7f: PUSH1 0x40 00000d81: MLOAD 00000d82: DUP1 00000d83: SWAP2 00000d84: SUB 00000d85: SWAP1 00000d86: REVERT 00000d87: JUMPDEST 00000d88: CALLER 00000d89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d9e: AND 00000d9f: PUSH32 0x3ae9ad26d7d47616d306d7757b947fe7b0f9a7c61a5f0dc784b0ddb6c7c40b5a 00000dc0: DUP13 00000dc1: DUP5 00000dc2: PUSH1 0x40 00000dc4: MLOAD 00000dc5: PUSH2 0x0dcf 00000dc8: SWAP3 00000dc9: SWAP2 00000dca: SWAP1 00000dcb: PUSH2 0x3df6 00000dce: JUMP 00000dcf: JUMPDEST 00000dd0: PUSH1 0x40 00000dd2: MLOAD 00000dd3: DUP1 00000dd4: SWAP2 00000dd5: SUB 00000dd6: SWAP1 00000dd7: LOG2 00000dd8: PUSH2 0x0de5 00000ddb: DUP6 00000ddc: DUP12 00000ddd: DUP12 00000dde: DUP12 00000ddf: DUP12 00000de0: DUP12 00000de1: PUSH2 0x28e2 00000de4: JUMP 00000de5: JUMPDEST 00000de6: DUP1 00000de7: SWAP11 00000de8: POP 00000de9: DUP2 00000dea: SWAP12 00000deb: POP 00000dec: DUP3 00000ded: SWAP13 00000dee: POP 00000def: DUP4 00000df0: SWAP14 00000df1: POP 00000df2: POP 00000df3: POP 00000df4: POP 00000df5: POP 00000df6: DUP10 00000df7: PUSH1 0x07 00000df9: PUSH0 00000dfa: DUP3 00000dfb: ADD 00000dfc: MLOAD 00000dfd: DUP2 00000dfe: PUSH0 00000dff: ADD 00000e00: PUSH0 00000e01: PUSH2 0x0100 00000e04: EXP 00000e05: DUP2 00000e06: SLOAD 00000e07: DUP2 00000e08: PUSH12 0xffffffffffffffffffffffff 00000e15: MUL 00000e16: NOT 00000e17: AND 00000e18: SWAP1 00000e19: DUP4 00000e1a: PUSH12 0xffffffffffffffffffffffff 00000e27: AND 00000e28: MUL 00000e29: OR 00000e2a: SWAP1 00000e2b: SSTORE 00000e2c: POP 00000e2d: PUSH1 0x20 00000e2f: DUP3 00000e30: ADD 00000e31: MLOAD 00000e32: DUP2 00000e33: PUSH0 00000e34: ADD 00000e35: PUSH1 0x0c 00000e37: PUSH2 0x0100 00000e3a: EXP 00000e3b: DUP2 00000e3c: SLOAD 00000e3d: DUP2 00000e3e: PUSH12 0xffffffffffffffffffffffff 00000e4b: MUL 00000e4c: NOT 00000e4d: AND 00000e4e: SWAP1 00000e4f: DUP4 00000e50: PUSH12 0xffffffffffffffffffffffff 00000e5d: AND 00000e5e: MUL 00000e5f: OR 00000e60: SWAP1 00000e61: SSTORE 00000e62: POP 00000e63: PUSH1 0x40 00000e65: DUP3 00000e66: ADD 00000e67: MLOAD 00000e68: DUP2 00000e69: PUSH1 0x01 00000e6b: ADD 00000e6c: PUSH0 00000e6d: PUSH2 0x0100 00000e70: EXP 00000e71: DUP2 00000e72: SLOAD 00000e73: DUP2 00000e74: PUSH12 0xffffffffffffffffffffffff 00000e81: MUL 00000e82: NOT 00000e83: AND 00000e84: SWAP1 00000e85: DUP4 00000e86: PUSH12 0xffffffffffffffffffffffff 00000e93: AND 00000e94: MUL 00000e95: OR 00000e96: SWAP1 00000e97: SSTORE 00000e98: POP 00000e99: PUSH1 0x60 00000e9b: DUP3 00000e9c: ADD 00000e9d: MLOAD 00000e9e: DUP2 00000e9f: PUSH1 0x01 00000ea1: ADD 00000ea2: PUSH1 0x0c 00000ea4: PUSH2 0x0100 00000ea7: EXP 00000ea8: DUP2 00000ea9: SLOAD 00000eaa: DUP2 00000eab: PUSH12 0xffffffffffffffffffffffff 00000eb8: MUL 00000eb9: NOT 00000eba: AND 00000ebb: SWAP1 00000ebc: DUP4 00000ebd: PUSH12 0xffffffffffffffffffffffff 00000eca: AND 00000ecb: MUL 00000ecc: OR 00000ecd: SWAP1 00000ece: SSTORE 00000ecf: POP 00000ed0: PUSH1 0x80 00000ed2: DUP3 00000ed3: ADD 00000ed4: MLOAD 00000ed5: DUP2 00000ed6: PUSH1 0x02 00000ed8: ADD 00000ed9: PUSH0 00000eda: PUSH2 0x0100 00000edd: EXP 00000ede: DUP2 00000edf: SLOAD 00000ee0: DUP2 00000ee1: PUSH12 0xffffffffffffffffffffffff 00000eee: MUL 00000eef: NOT 00000ef0: AND 00000ef1: SWAP1 00000ef2: DUP4 00000ef3: PUSH12 0xffffffffffffffffffffffff 00000f00: AND 00000f01: MUL 00000f02: OR 00000f03: SWAP1 00000f04: SSTORE 00000f05: POP 00000f06: SWAP1 00000f07: POP 00000f08: POP 00000f09: DUP9 00000f0a: PUSH1 0x0a 00000f0c: PUSH0 00000f0d: DUP3 00000f0e: ADD 00000f0f: MLOAD 00000f10: DUP2 00000f11: PUSH0 00000f12: ADD 00000f13: PUSH0 00000f14: PUSH2 0x0100 00000f17: EXP 00000f18: DUP2 00000f19: SLOAD 00000f1a: DUP2 00000f1b: PUSH6 0xffffffffffff 00000f22: MUL 00000f23: NOT 00000f24: AND 00000f25: SWAP1 00000f26: DUP4 00000f27: PUSH6 0xffffffffffff 00000f2e: AND 00000f2f: MUL 00000f30: OR 00000f31: SWAP1 00000f32: SSTORE 00000f33: POP 00000f34: PUSH1 0x20 00000f36: DUP3 00000f37: ADD 00000f38: MLOAD 00000f39: DUP2 00000f3a: PUSH1 0x01 00000f3c: ADD 00000f3d: SSTORE 00000f3e: SWAP1 00000f3f: POP 00000f40: POP 00000f41: DUP8 00000f42: PUSH1 0x06 00000f44: PUSH0 00000f45: DUP3 00000f46: ADD 00000f47: MLOAD 00000f48: DUP2 00000f49: PUSH0 00000f4a: ADD 00000f4b: PUSH0 00000f4c: PUSH2 0x0100 00000f4f: EXP 00000f50: DUP2 00000f51: SLOAD 00000f52: DUP2 00000f53: PUSH6 0xffffffffffff 00000f5a: MUL 00000f5b: NOT 00000f5c: AND 00000f5d: SWAP1 00000f5e: DUP4 00000f5f: PUSH6 0xffffffffffff 00000f66: AND 00000f67: MUL 00000f68: OR 00000f69: SWAP1 00000f6a: SSTORE 00000f6b: POP 00000f6c: PUSH1 0x20 00000f6e: DUP3 00000f6f: ADD 00000f70: MLOAD 00000f71: DUP2 00000f72: PUSH0 00000f73: ADD 00000f74: PUSH1 0x06 00000f76: PUSH2 0x0100 00000f79: EXP 00000f7a: DUP2 00000f7b: SLOAD 00000f7c: DUP2 00000f7d: PUSH6 0xffffffffffff 00000f84: MUL 00000f85: NOT 00000f86: AND 00000f87: SWAP1 00000f88: DUP4 00000f89: PUSH6 0xffffffffffff 00000f90: AND 00000f91: MUL 00000f92: OR 00000f93: SWAP1 00000f94: SSTORE 00000f95: POP 00000f96: PUSH1 0x40 00000f98: DUP3 00000f99: ADD 00000f9a: MLOAD 00000f9b: DUP2 00000f9c: PUSH0 00000f9d: ADD 00000f9e: PUSH1 0x0c 00000fa0: PUSH2 0x0100 00000fa3: EXP 00000fa4: DUP2 00000fa5: SLOAD 00000fa6: DUP2 00000fa7: PUSH6 0xffffffffffff 00000fae: MUL 00000faf: NOT 00000fb0: AND 00000fb1: SWAP1 00000fb2: DUP4 00000fb3: PUSH6 0xffffffffffff 00000fba: AND 00000fbb: MUL 00000fbc: OR 00000fbd: SWAP1 00000fbe: SSTORE 00000fbf: POP 00000fc0: PUSH1 0x60 00000fc2: DUP3 00000fc3: ADD 00000fc4: MLOAD 00000fc5: DUP2 00000fc6: PUSH0 00000fc7: ADD 00000fc8: PUSH1 0x12 00000fca: PUSH2 0x0100 00000fcd: EXP 00000fce: DUP2 00000fcf: SLOAD 00000fd0: DUP2 00000fd1: PUSH6 0xffffffffffff 00000fd8: MUL 00000fd9: NOT 00000fda: AND 00000fdb: SWAP1 00000fdc: DUP4 00000fdd: PUSH6 0xffffffffffff 00000fe4: AND 00000fe5: MUL 00000fe6: OR 00000fe7: SWAP1 00000fe8: SSTORE 00000fe9: POP 00000fea: PUSH1 0x80 00000fec: DUP3 00000fed: ADD 00000fee: MLOAD 00000fef: DUP2 00000ff0: PUSH0 00000ff1: ADD 00000ff2: PUSH1 0x18 00000ff4: PUSH2 0x0100 00000ff7: EXP 00000ff8: DUP2 00000ff9: SLOAD 00000ffa: DUP2 00000ffb: PUSH6 0xffffffffffff 00001002: MUL 00001003: NOT 00001004: AND 00001005: SWAP1 00001006: DUP4 00001007: PUSH6 0xffffffffffff 0000100e: AND 0000100f: MUL 00001010: OR 00001011: SWAP1 00001012: SSTORE 00001013: POP 00001014: SWAP1 00001015: POP 00001016: POP 00001017: DUP7 00001018: PUSH1 0x05 0000101a: PUSH0 0000101b: DUP3 0000101c: ADD 0000101d: MLOAD 0000101e: DUP2 0000101f: PUSH0 00001020: ADD 00001021: PUSH0 00001022: PUSH2 0x0100 00001025: EXP 00001026: DUP2 00001027: SLOAD 00001028: DUP2 00001029: PUSH16 0xffffffffffffffffffffffffffffffff 0000103a: MUL 0000103b: NOT 0000103c: AND 0000103d: SWAP1 0000103e: DUP4 0000103f: PUSH16 0xffffffffffffffffffffffffffffffff 00001050: AND 00001051: MUL 00001052: OR 00001053: SWAP1 00001054: SSTORE 00001055: POP 00001056: PUSH1 0x20 00001058: DUP3 00001059: ADD 0000105a: MLOAD 0000105b: DUP2 0000105c: PUSH0 0000105d: ADD 0000105e: PUSH1 0x10 00001060: PUSH2 0x0100 00001063: EXP 00001064: DUP2 00001065: SLOAD 00001066: DUP2 00001067: PUSH6 0xffffffffffff 0000106e: MUL 0000106f: NOT 00001070: AND 00001071: SWAP1 00001072: DUP4 00001073: PUSH6 0xffffffffffff 0000107a: AND 0000107b: MUL 0000107c: OR 0000107d: SWAP1 0000107e: SSTORE 0000107f: POP 00001080: PUSH1 0x40 00001082: DUP3 00001083: ADD 00001084: MLOAD 00001085: DUP2 00001086: PUSH0 00001087: ADD 00001088: PUSH1 0x16 0000108a: PUSH2 0x0100 0000108d: EXP 0000108e: DUP2 0000108f: SLOAD 00001090: DUP2 00001091: PUSH6 0xffffffffffff 00001098: MUL 00001099: NOT 0000109a: AND 0000109b: SWAP1 0000109c: DUP4 0000109d: PUSH6 0xffffffffffff 000010a4: AND 000010a5: MUL 000010a6: OR 000010a7: SWAP1 000010a8: SSTORE 000010a9: POP 000010aa: PUSH1 0x60 000010ac: DUP3 000010ad: ADD 000010ae: MLOAD 000010af: DUP2 000010b0: PUSH0 000010b1: ADD 000010b2: PUSH1 0x1c 000010b4: PUSH2 0x0100 000010b7: EXP 000010b8: DUP2 000010b9: SLOAD 000010ba: DUP2 000010bb: PUSH1 0xff 000010bd: MUL 000010be: NOT 000010bf: AND 000010c0: SWAP1 000010c1: DUP4 000010c2: ISZERO 000010c3: ISZERO 000010c4: MUL 000010c5: OR 000010c6: SWAP1 000010c7: SSTORE 000010c8: POP 000010c9: SWAP1 000010ca: POP 000010cb: POP 000010cc: POP 000010cd: POP 000010ce: POP 000010cf: POP 000010d0: POP 000010d1: POP 000010d2: POP 000010d3: POP 000010d4: POP 000010d5: POP 000010d6: PUSH2 0x10e5 000010d9: JUMP 000010da: JUMPDEST 000010db: PUSH2 0x10e4 000010de: CALLER 000010df: CALLVALUE 000010e0: PUSH2 0x2b01 000010e3: JUMP 000010e4: JUMPDEST 000010e5: JUMPDEST 000010e6: PUSH1 0x01 000010e8: PUSH1 0x0d 000010ea: PUSH0 000010eb: PUSH2 0x0100 000010ee: EXP 000010ef: DUP2 000010f0: SLOAD 000010f1: DUP2 000010f2: PUSH1 0xff 000010f4: MUL 000010f5: NOT 000010f6: AND 000010f7: SWAP1 000010f8: DUP4 000010f9: PUSH1 0xff 000010fb: AND 000010fc: MUL 000010fd: OR 000010fe: SWAP1 000010ff: SSTORE 00001100: POP 00001101: SWAP1 00001102: JUMP 00001103: JUMPDEST 00001104: PUSH20 0x0688578ec7273458785591d3affd120e664900c2 00001119: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000112e: AND 0000112f: CALLER 00001130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001145: AND 00001146: EQ 00001147: PUSH2 0x117c 0000114a: JUMPI 0000114b: PUSH1 0x40 0000114d: MLOAD 0000114e: PUSH32 0x5fc483c500000000000000000000000000000000000000000000000000000000 0000116f: DUP2 00001170: MSTORE 00001171: PUSH1 0x04 00001173: ADD 00001174: PUSH1 0x40 00001176: MLOAD 00001177: DUP1 00001178: SWAP2 00001179: SUB 0000117a: SWAP1 0000117b: REVERT 0000117c: JUMPDEST 0000117d: PUSH1 0x0d 0000117f: PUSH1 0x01 00001181: SWAP1 00001182: SLOAD 00001183: SWAP1 00001184: PUSH2 0x0100 00001187: EXP 00001188: SWAP1 00001189: DIV 0000118a: PUSH1 0xff 0000118c: AND 0000118d: ISZERO 0000118e: PUSH2 0x11c3 00001191: JUMPI 00001192: PUSH1 0x40 00001194: MLOAD 00001195: PUSH32 0xcfa6d87800000000000000000000000000000000000000000000000000000000 000011b6: DUP2 000011b7: MSTORE 000011b8: PUSH1 0x04 000011ba: ADD 000011bb: PUSH1 0x40 000011bd: MLOAD 000011be: DUP1 000011bf: SWAP2 000011c0: SUB 000011c1: SWAP1 000011c2: REVERT 000011c3: JUMPDEST 000011c4: PUSH2 0x11cb 000011c7: PUSH2 0x2b51 000011ca: JUMP 000011cb: JUMPDEST 000011cc: PUSH1 0x01 000011ce: PUSH1 0x0d 000011d0: PUSH1 0x01 000011d2: PUSH2 0x0100 000011d5: EXP 000011d6: DUP2 000011d7: SLOAD 000011d8: DUP2 000011d9: PUSH1 0xff 000011db: MUL 000011dc: NOT 000011dd: AND 000011de: SWAP1 000011df: DUP4 000011e0: ISZERO 000011e1: ISZERO 000011e2: MUL 000011e3: OR 000011e4: SWAP1 000011e5: SSTORE 000011e6: POP 000011e7: PUSH32 0xeca0dfbda743d141662328d4d48393e344b2c60df0430297221df823f2926dba 00001208: TIMESTAMP 00001209: PUSH1 0x40 0000120b: MLOAD 0000120c: PUSH2 0x1215 0000120f: SWAP2 00001210: SWAP1 00001211: PUSH2 0x3b17 00001214: JUMP 00001215: JUMPDEST 00001216: PUSH1 0x40 00001218: MLOAD 00001219: DUP1 0000121a: SWAP2 0000121b: SUB 0000121c: SWAP1 0000121d: LOG1 0000121e: JUMP 0000121f: JUMPDEST 00001220: PUSH2 0x1227 00001223: PUSH2 0x365c 00001226: JUMP 00001227: JUMPDEST 00001228: PUSH2 0x122f 0000122b: PUSH2 0x36cc 0000122e: JUMP 0000122f: JUMPDEST 00001230: PUSH2 0x1237 00001233: PUSH2 0x36ec 00001236: JUMP 00001237: JUMPDEST 00001238: PUSH1 0x07 0000123a: PUSH1 0x0a 0000123c: PUSH1 0x06 0000123e: DUP3 0000123f: PUSH1 0x40 00001241: MLOAD 00001242: DUP1 00001243: PUSH1 0xa0 00001245: ADD 00001246: PUSH1 0x40 00001248: MSTORE 00001249: SWAP1 0000124a: DUP2 0000124b: PUSH0 0000124c: DUP3 0000124d: ADD 0000124e: PUSH0 0000124f: SWAP1 00001250: SLOAD 00001251: SWAP1 00001252: PUSH2 0x0100 00001255: EXP 00001256: SWAP1 00001257: DIV 00001258: PUSH12 0xffffffffffffffffffffffff 00001265: AND 00001266: PUSH12 0xffffffffffffffffffffffff 00001273: AND 00001274: PUSH12 0xffffffffffffffffffffffff 00001281: AND 00001282: DUP2 00001283: MSTORE 00001284: PUSH1 0x20 00001286: ADD 00001287: PUSH0 00001288: DUP3 00001289: ADD 0000128a: PUSH1 0x0c 0000128c: SWAP1 0000128d: SLOAD 0000128e: SWAP1 0000128f: PUSH2 0x0100 00001292: EXP 00001293: SWAP1 00001294: DIV 00001295: PUSH12 0xffffffffffffffffffffffff 000012a2: AND 000012a3: PUSH12 0xffffffffffffffffffffffff 000012b0: AND 000012b1: PUSH12 0xffffffffffffffffffffffff 000012be: AND 000012bf: DUP2 000012c0: MSTORE 000012c1: PUSH1 0x20 000012c3: ADD 000012c4: PUSH1 0x01 000012c6: DUP3 000012c7: ADD 000012c8: PUSH0 000012c9: SWAP1 000012ca: SLOAD 000012cb: SWAP1 000012cc: PUSH2 0x0100 000012cf: EXP 000012d0: SWAP1 000012d1: DIV 000012d2: PUSH12 0xffffffffffffffffffffffff 000012df: AND 000012e0: PUSH12 0xffffffffffffffffffffffff 000012ed: AND 000012ee: PUSH12 0xffffffffffffffffffffffff 000012fb: AND 000012fc: DUP2 000012fd: MSTORE 000012fe: PUSH1 0x20 00001300: ADD 00001301: PUSH1 0x01 00001303: DUP3 00001304: ADD 00001305: PUSH1 0x0c 00001307: SWAP1 00001308: SLOAD 00001309: SWAP1 0000130a: PUSH2 0x0100 0000130d: EXP 0000130e: SWAP1 0000130f: DIV 00001310: PUSH12 0xffffffffffffffffffffffff 0000131d: AND 0000131e: PUSH12 0xffffffffffffffffffffffff 0000132b: AND 0000132c: PUSH12 0xffffffffffffffffffffffff 00001339: AND 0000133a: DUP2 0000133b: MSTORE 0000133c: PUSH1 0x20 0000133e: ADD 0000133f: PUSH1 0x02 00001341: DUP3 00001342: ADD 00001343: PUSH0 00001344: SWAP1 00001345: SLOAD 00001346: SWAP1 00001347: PUSH2 0x0100 0000134a: EXP 0000134b: SWAP1 0000134c: DIV 0000134d: PUSH12 0xffffffffffffffffffffffff 0000135a: AND 0000135b: PUSH12 0xffffffffffffffffffffffff 00001368: AND 00001369: PUSH12 0xffffffffffffffffffffffff 00001376: AND 00001377: DUP2 00001378: MSTORE 00001379: POP 0000137a: POP 0000137b: SWAP3 0000137c: POP 0000137d: DUP2 0000137e: PUSH1 0x40 00001380: MLOAD 00001381: DUP1 00001382: PUSH1 0x40 00001384: ADD 00001385: PUSH1 0x40 00001387: MSTORE 00001388: SWAP1 00001389: DUP2 0000138a: PUSH0 0000138b: DUP3 0000138c: ADD 0000138d: PUSH0 0000138e: SWAP1 0000138f: SLOAD 00001390: SWAP1 00001391: PUSH2 0x0100 00001394: EXP 00001395: SWAP1 00001396: DIV 00001397: PUSH6 0xffffffffffff 0000139e: AND 0000139f: PUSH6 0xffffffffffff 000013a6: AND 000013a7: PUSH6 0xffffffffffff 000013ae: AND 000013af: DUP2 000013b0: MSTORE 000013b1: PUSH1 0x20 000013b3: ADD 000013b4: PUSH1 0x01 000013b6: DUP3 000013b7: ADD 000013b8: SLOAD 000013b9: DUP2 000013ba: MSTORE 000013bb: POP 000013bc: POP 000013bd: SWAP2 000013be: POP 000013bf: DUP1 000013c0: PUSH1 0x40 000013c2: MLOAD 000013c3: DUP1 000013c4: PUSH1 0xa0 000013c6: ADD 000013c7: PUSH1 0x40 000013c9: MSTORE 000013ca: SWAP1 000013cb: DUP2 000013cc: PUSH0 000013cd: DUP3 000013ce: ADD 000013cf: PUSH0 000013d0: SWAP1 000013d1: SLOAD 000013d2: SWAP1 000013d3: PUSH2 0x0100 000013d6: EXP 000013d7: SWAP1 000013d8: DIV 000013d9: PUSH6 0xffffffffffff 000013e0: AND 000013e1: PUSH6 0xffffffffffff 000013e8: AND 000013e9: PUSH6 0xffffffffffff 000013f0: AND 000013f1: DUP2 000013f2: MSTORE 000013f3: PUSH1 0x20 000013f5: ADD 000013f6: PUSH0 000013f7: DUP3 000013f8: ADD 000013f9: PUSH1 0x06 000013fb: SWAP1 000013fc: SLOAD 000013fd: SWAP1 000013fe: PUSH2 0x0100 00001401: EXP 00001402: SWAP1 00001403: DIV 00001404: PUSH6 0xffffffffffff 0000140b: AND 0000140c: PUSH6 0xffffffffffff 00001413: AND 00001414: PUSH6 0xffffffffffff 0000141b: AND 0000141c: DUP2 0000141d: MSTORE 0000141e: PUSH1 0x20 00001420: ADD 00001421: PUSH0 00001422: DUP3 00001423: ADD 00001424: PUSH1 0x0c 00001426: SWAP1 00001427: SLOAD 00001428: SWAP1 00001429: PUSH2 0x0100 0000142c: EXP 0000142d: SWAP1 0000142e: DIV 0000142f: PUSH6 0xffffffffffff 00001436: AND 00001437: PUSH6 0xffffffffffff 0000143e: AND 0000143f: PUSH6 0xffffffffffff 00001446: AND 00001447: DUP2 00001448: MSTORE 00001449: PUSH1 0x20 0000144b: ADD 0000144c: PUSH0 0000144d: DUP3 0000144e: ADD 0000144f: PUSH1 0x12 00001451: SWAP1 00001452: SLOAD 00001453: SWAP1 00001454: PUSH2 0x0100 00001457: EXP 00001458: SWAP1 00001459: DIV 0000145a: PUSH6 0xffffffffffff 00001461: AND 00001462: PUSH6 0xffffffffffff 00001469: AND 0000146a: PUSH6 0xffffffffffff 00001471: AND 00001472: DUP2 00001473: MSTORE 00001474: PUSH1 0x20 00001476: ADD 00001477: PUSH0 00001478: DUP3 00001479: ADD 0000147a: PUSH1 0x18 0000147c: SWAP1 0000147d: SLOAD 0000147e: SWAP1 0000147f: PUSH2 0x0100 00001482: EXP 00001483: SWAP1 00001484: DIV 00001485: PUSH6 0xffffffffffff 0000148c: AND 0000148d: PUSH6 0xffffffffffff 00001494: AND 00001495: PUSH6 0xffffffffffff 0000149c: AND 0000149d: DUP2 0000149e: MSTORE 0000149f: POP 000014a0: POP 000014a1: SWAP1 000014a2: POP 000014a3: SWAP3 000014a4: POP 000014a5: SWAP3 000014a6: POP 000014a7: SWAP3 000014a8: POP 000014a9: SWAP1 000014aa: SWAP2 000014ab: SWAP3 000014ac: JUMP 000014ad: JUMPDEST 000014ae: PUSH1 0x60 000014b0: PUSH1 0x40 000014b2: MLOAD 000014b3: DUP1 000014b4: PUSH1 0x40 000014b6: ADD 000014b7: PUSH1 0x40 000014b9: MSTORE 000014ba: DUP1 000014bb: PUSH1 0x04 000014bd: DUP2 000014be: MSTORE 000014bf: PUSH1 0x20 000014c1: ADD 000014c2: PUSH32 0x4b6f746f00000000000000000000000000000000000000000000000000000000 000014e3: DUP2 000014e4: MSTORE 000014e5: POP 000014e6: SWAP1 000014e7: POP 000014e8: SWAP1 000014e9: JUMP 000014ea: JUMPDEST 000014eb: PUSH0 000014ec: DUP1 000014ed: CALLER 000014ee: SWAP1 000014ef: POP 000014f0: DUP3 000014f1: PUSH1 0x01 000014f3: PUSH0 000014f4: DUP4 000014f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000150a: AND 0000150b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001520: AND 00001521: DUP2 00001522: MSTORE 00001523: PUSH1 0x20 00001525: ADD 00001526: SWAP1 00001527: DUP2 00001528: MSTORE 00001529: PUSH1 0x20 0000152b: ADD 0000152c: PUSH0 0000152d: KECCAK256 0000152e: PUSH0 0000152f: DUP7 00001530: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001545: AND 00001546: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000155b: AND 0000155c: DUP2 0000155d: MSTORE 0000155e: PUSH1 0x20 00001560: ADD 00001561: SWAP1 00001562: DUP2 00001563: MSTORE 00001564: PUSH1 0x20 00001566: ADD 00001567: PUSH0 00001568: KECCAK256 00001569: DUP2 0000156a: SWAP1 0000156b: SSTORE 0000156c: POP 0000156d: PUSH1 0x01 0000156f: SWAP2 00001570: POP 00001571: POP 00001572: SWAP3 00001573: SWAP2 00001574: POP 00001575: POP 00001576: JUMP 00001577: JUMPDEST 00001578: PUSH0 00001579: PUSH32 0x000000000000000000000000a3d64865004142aba7b315c9fa43a5c26d5115c2 0000159a: SWAP1 0000159b: POP 0000159c: SWAP1 0000159d: JUMP 0000159e: JUMPDEST 0000159f: PUSH0 000015a0: PUSH1 0x04 000015a2: SLOAD 000015a3: SWAP1 000015a4: POP 000015a5: SWAP1 000015a6: JUMP 000015a7: JUMPDEST 000015a8: PUSH0 000015a9: DUP1 000015aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015bf: AND 000015c0: DUP4 000015c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015d6: AND 000015d7: EQ 000015d8: DUP1 000015d9: PUSH2 0x15e1 000015dc: JUMPI 000015dd: POP 000015de: PUSH0 000015df: DUP3 000015e0: EQ 000015e1: JUMPDEST 000015e2: ISZERO 000015e3: PUSH2 0x1618 000015e6: JUMPI 000015e7: PUSH1 0x40 000015e9: MLOAD 000015ea: PUSH32 0x2f35253100000000000000000000000000000000000000000000000000000000 0000160b: DUP2 0000160c: MSTORE 0000160d: PUSH1 0x04 0000160f: ADD 00001610: PUSH1 0x40 00001612: MLOAD 00001613: DUP1 00001614: SWAP2 00001615: SUB 00001616: SWAP1 00001617: REVERT 00001618: JUMPDEST 00001619: CALLER 0000161a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000162f: AND 00001630: DUP5 00001631: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001646: AND 00001647: EQ 00001648: PUSH2 0x178c 0000164b: JUMPI 0000164c: DUP2 0000164d: PUSH1 0x01 0000164f: PUSH0 00001650: DUP7 00001651: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001666: AND 00001667: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000167c: AND 0000167d: DUP2 0000167e: MSTORE 0000167f: PUSH1 0x20 00001681: ADD 00001682: SWAP1 00001683: DUP2 00001684: MSTORE 00001685: PUSH1 0x20 00001687: ADD 00001688: PUSH0 00001689: KECCAK256 0000168a: PUSH0 0000168b: CALLER 0000168c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016a1: AND 000016a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016b7: AND 000016b8: DUP2 000016b9: MSTORE 000016ba: PUSH1 0x20 000016bc: ADD 000016bd: SWAP1 000016be: DUP2 000016bf: MSTORE 000016c0: PUSH1 0x20 000016c2: ADD 000016c3: PUSH0 000016c4: KECCAK256 000016c5: SLOAD 000016c6: LT 000016c7: ISZERO 000016c8: PUSH2 0x16fd 000016cb: JUMPI 000016cc: PUSH1 0x40 000016ce: MLOAD 000016cf: PUSH32 0xb1a48df600000000000000000000000000000000000000000000000000000000 000016f0: DUP2 000016f1: MSTORE 000016f2: PUSH1 0x04 000016f4: ADD 000016f5: PUSH1 0x40 000016f7: MLOAD 000016f8: DUP1 000016f9: SWAP2 000016fa: SUB 000016fb: SWAP1 000016fc: REVERT 000016fd: JUMPDEST 000016fe: DUP2 000016ff: PUSH1 0x01 00001701: PUSH0 00001702: DUP7 00001703: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001718: AND 00001719: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000172e: AND 0000172f: DUP2 00001730: MSTORE 00001731: PUSH1 0x20 00001733: ADD 00001734: SWAP1 00001735: DUP2 00001736: MSTORE 00001737: PUSH1 0x20 00001739: ADD 0000173a: PUSH0 0000173b: KECCAK256 0000173c: PUSH0 0000173d: CALLER 0000173e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001753: AND 00001754: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001769: AND 0000176a: DUP2 0000176b: MSTORE 0000176c: PUSH1 0x20 0000176e: ADD 0000176f: SWAP1 00001770: DUP2 00001771: MSTORE 00001772: PUSH1 0x20 00001774: ADD 00001775: PUSH0 00001776: KECCAK256 00001777: PUSH0 00001778: DUP3 00001779: DUP3 0000177a: SLOAD 0000177b: PUSH2 0x1784 0000177e: SWAP2 0000177f: SWAP1 00001780: PUSH2 0x3e1d 00001783: JUMP 00001784: JUMPDEST 00001785: SWAP3 00001786: POP 00001787: POP 00001788: DUP2 00001789: SWAP1 0000178a: SSTORE 0000178b: POP 0000178c: JUMPDEST 0000178d: PUSH2 0x1797 00001790: DUP5 00001791: DUP5 00001792: DUP5 00001793: PUSH2 0x2c31 00001796: JUMP 00001797: JUMPDEST 00001798: PUSH1 0x01 0000179a: SWAP1 0000179b: POP 0000179c: SWAP4 0000179d: SWAP3 0000179e: POP 0000179f: POP 000017a0: POP 000017a1: JUMP 000017a2: JUMPDEST 000017a3: PUSH0 000017a4: DUP1 000017a5: PUSH1 0x40 000017a7: MLOAD 000017a8: PUSH32 0x0dfe168100000000000000000000000000000000000000000000000000000000 000017c9: DUP2 000017ca: MSTORE 000017cb: PUSH1 0x20 000017cd: PUSH0 000017ce: PUSH1 0x04 000017d0: DUP4 000017d1: DUP8 000017d2: GAS 000017d3: STATICCALL 000017d4: PUSH32 0xd21220a700000000000000000000000000000000000000000000000000000000 000017f5: PUSH1 0x04 000017f7: DUP4 000017f8: ADD 000017f9: MSTORE 000017fa: PUSH1 0x20 000017fc: DUP1 000017fd: PUSH1 0x04 000017ff: DUP1 00001800: DUP6 00001801: ADD 00001802: DUP9 00001803: GAS 00001804: STATICCALL 00001805: DUP1 00001806: ISZERO 00001807: DUP3 00001808: ISZERO 00001809: OR 0000180a: ISZERO 0000180b: PUSH2 0x1812 0000180e: JUMPI 0000180f: PUSH0 00001810: DUP1 00001811: REVERT 00001812: JUMPDEST 00001813: PUSH0 00001814: MLOAD 00001815: SWAP5 00001816: POP 00001817: PUSH1 0x20 00001819: MLOAD 0000181a: SWAP4 0000181b: POP 0000181c: POP 0000181d: POP 0000181e: POP 0000181f: SWAP2 00001820: POP 00001821: SWAP2 00001822: JUMP 00001823: JUMPDEST 00001824: PUSH0 00001825: PUSH1 0x12 00001827: SWAP1 00001828: POP 00001829: SWAP1 0000182a: JUMP 0000182b: JUMPDEST 0000182c: PUSH0 0000182d: PUSH2 0x1836 00001830: CALLER 00001831: DUP4 00001832: PUSH2 0x305f 00001835: JUMP 00001836: JUMPDEST 00001837: PUSH1 0x01 00001839: SWAP1 0000183a: POP 0000183b: PUSH0 0000183c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001851: AND 00001852: CALLER 00001853: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001868: AND 00001869: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000188a: DUP5 0000188b: PUSH1 0x40 0000188d: MLOAD 0000188e: PUSH2 0x1897 00001891: SWAP2 00001892: SWAP1 00001893: PUSH2 0x3b17 00001896: JUMP 00001897: JUMPDEST 00001898: PUSH1 0x40 0000189a: MLOAD 0000189b: DUP1 0000189c: SWAP2 0000189d: SUB 0000189e: SWAP1 0000189f: LOG3 000018a0: SWAP2 000018a1: SWAP1 000018a2: POP 000018a3: JUMP 000018a4: JUMPDEST 000018a5: PUSH20 0x0688578ec7273458785591d3affd120e664900c2 000018ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018cf: AND 000018d0: CALLER 000018d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018e6: AND 000018e7: EQ 000018e8: PUSH2 0x191d 000018eb: JUMPI 000018ec: PUSH1 0x40 000018ee: MLOAD 000018ef: PUSH32 0x5fc483c500000000000000000000000000000000000000000000000000000000 00001910: DUP2 00001911: MSTORE 00001912: PUSH1 0x04 00001914: ADD 00001915: PUSH1 0x40 00001917: MLOAD 00001918: DUP1 00001919: SWAP2 0000191a: SUB 0000191b: SWAP1 0000191c: REVERT 0000191d: JUMPDEST 0000191e: PUSH1 0x01 00001920: PUSH1 0x02 00001922: PUSH0 00001923: DUP4 00001924: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001939: AND 0000193a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000194f: AND 00001950: DUP2 00001951: MSTORE 00001952: PUSH1 0x20 00001954: ADD 00001955: SWAP1 00001956: DUP2 00001957: MSTORE 00001958: PUSH1 0x20 0000195a: ADD 0000195b: PUSH0 0000195c: KECCAK256 0000195d: PUSH0 0000195e: PUSH2 0x0100 00001961: EXP 00001962: DUP2 00001963: SLOAD 00001964: DUP2 00001965: PUSH1 0xff 00001967: MUL 00001968: NOT 00001969: AND 0000196a: SWAP1 0000196b: DUP4 0000196c: ISZERO 0000196d: ISZERO 0000196e: MUL 0000196f: OR 00001970: SWAP1 00001971: SSTORE 00001972: POP 00001973: DUP1 00001974: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001989: AND 0000198a: PUSH32 0xec2dffa455deca3e695cce255e2b110b5ca334fb5b166f3159bbaad319ce0f1b 000019ab: PUSH1 0x40 000019ad: MLOAD 000019ae: PUSH1 0x40 000019b0: MLOAD 000019b1: DUP1 000019b2: SWAP2 000019b3: SUB 000019b4: SWAP1 000019b5: LOG2 000019b6: POP 000019b7: JUMP 000019b8: JUMPDEST 000019b9: PUSH0 000019ba: PUSH20 0x0688578ec7273458785591d3affd120e664900c2 000019cf: SWAP1 000019d0: POP 000019d1: SWAP1 000019d2: JUMP 000019d3: JUMPDEST 000019d4: PUSH20 0x0688578ec7273458785591d3affd120e664900c2 000019e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019fe: AND 000019ff: CALLER 00001a00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a15: AND 00001a16: EQ 00001a17: PUSH2 0x1a4c 00001a1a: JUMPI 00001a1b: PUSH1 0x40 00001a1d: MLOAD 00001a1e: PUSH32 0x5fc483c500000000000000000000000000000000000000000000000000000000 00001a3f: DUP2 00001a40: MSTORE 00001a41: PUSH1 0x04 00001a43: ADD 00001a44: PUSH1 0x40 00001a46: MLOAD 00001a47: DUP1 00001a48: SWAP2 00001a49: SUB 00001a4a: SWAP1 00001a4b: REVERT 00001a4c: JUMPDEST 00001a4d: PUSH2 0x1a56 00001a50: DUP3 00001a51: DUP3 00001a52: PUSH2 0x3196 00001a55: JUMP 00001a56: JUMPDEST 00001a57: PUSH32 0xaf0e92ed9a06daf8b906385b588b940a355de1516517e37e03bcb3bacf9b9664 00001a78: DUP3 00001a79: DUP3 00001a7a: PUSH1 0x40 00001a7c: MLOAD 00001a7d: PUSH2 0x1a87 00001a80: SWAP3 00001a81: SWAP2 00001a82: SWAP1 00001a83: PUSH2 0x3df6 00001a86: JUMP 00001a87: JUMPDEST 00001a88: PUSH1 0x40 00001a8a: MLOAD 00001a8b: DUP1 00001a8c: SWAP2 00001a8d: SUB 00001a8e: SWAP1 00001a8f: LOG1 00001a90: POP 00001a91: POP 00001a92: JUMP 00001a93: JUMPDEST 00001a94: PUSH0 00001a95: DUP1 00001a96: PUSH0 00001a97: DUP4 00001a98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aad: AND 00001aae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ac3: AND 00001ac4: DUP2 00001ac5: MSTORE 00001ac6: PUSH1 0x20 00001ac8: ADD 00001ac9: SWAP1 00001aca: DUP2 00001acb: MSTORE 00001acc: PUSH1 0x20 00001ace: ADD 00001acf: PUSH0 00001ad0: KECCAK256 00001ad1: SLOAD 00001ad2: SWAP1 00001ad3: POP 00001ad4: SWAP2 00001ad5: SWAP1 00001ad6: POP 00001ad7: JUMP 00001ad8: JUMPDEST 00001ad9: PUSH20 0x0688578ec7273458785591d3affd120e664900c2 00001aee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b03: AND 00001b04: CALLER 00001b05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b1a: AND 00001b1b: EQ 00001b1c: PUSH2 0x1b51 00001b1f: JUMPI 00001b20: PUSH1 0x40 00001b22: MLOAD 00001b23: PUSH32 0x5fc483c500000000000000000000000000000000000000000000000000000000 00001b44: DUP2 00001b45: MSTORE 00001b46: PUSH1 0x04 00001b48: ADD 00001b49: PUSH1 0x40 00001b4b: MLOAD 00001b4c: DUP1 00001b4d: SWAP2 00001b4e: SUB 00001b4f: SWAP1 00001b50: REVERT 00001b51: JUMPDEST 00001b52: PUSH0 00001b53: PUSH1 0x0c 00001b55: PUSH0 00001b56: ADD 00001b57: PUSH1 0x18 00001b59: PUSH2 0x0100 00001b5c: EXP 00001b5d: DUP2 00001b5e: SLOAD 00001b5f: DUP2 00001b60: PUSH1 0xff 00001b62: MUL 00001b63: NOT 00001b64: AND 00001b65: SWAP1 00001b66: DUP4 00001b67: ISZERO 00001b68: ISZERO 00001b69: MUL 00001b6a: OR 00001b6b: SWAP1 00001b6c: SSTORE 00001b6d: POP 00001b6e: PUSH32 0xf4eaa75eae08ae80c3daf791438dac1cff2cfd3b0bad2304ec7bbb067e502616 00001b8f: TIMESTAMP 00001b90: PUSH1 0x40 00001b92: MLOAD 00001b93: PUSH2 0x1b9c 00001b96: SWAP2 00001b97: SWAP1 00001b98: PUSH2 0x3b17 00001b9b: JUMP 00001b9c: JUMPDEST 00001b9d: PUSH1 0x40 00001b9f: MLOAD 00001ba0: DUP1 00001ba1: SWAP2 00001ba2: SUB 00001ba3: SWAP1 00001ba4: LOG1 00001ba5: JUMP 00001ba6: JUMPDEST 00001ba7: PUSH1 0x60 00001ba9: PUSH1 0x40 00001bab: MLOAD 00001bac: DUP1 00001bad: PUSH1 0x40 00001baf: ADD 00001bb0: PUSH1 0x40 00001bb2: MSTORE 00001bb3: DUP1 00001bb4: PUSH1 0x04 00001bb6: DUP2 00001bb7: MSTORE 00001bb8: PUSH1 0x20 00001bba: ADD 00001bbb: PUSH32 0x4b4f544f00000000000000000000000000000000000000000000000000000000 00001bdc: DUP2 00001bdd: MSTORE 00001bde: POP 00001bdf: SWAP1 00001be0: POP 00001be1: SWAP1 00001be2: JUMP 00001be3: JUMPDEST 00001be4: PUSH0 00001be5: DUP1 00001be6: PUSH32 0x000000000000000000000000a3d64865004142aba7b315c9fa43a5c26d5115c2 00001c07: SWAP1 00001c08: POP 00001c09: PUSH0 00001c0a: DUP1 00001c0b: PUSH1 0x40 00001c0d: MLOAD 00001c0e: PUSH32 0x0902f1ac00000000000000000000000000000000000000000000000000000000 00001c2f: DUP2 00001c30: MSTORE 00001c31: PUSH0 00001c32: DUP1 00001c33: PUSH1 0x04 00001c35: DUP4 00001c36: DUP8 00001c37: GAS 00001c38: STATICCALL 00001c39: DUP1 00001c3a: PUSH2 0x1c41 00001c3d: JUMPI 00001c3e: PUSH0 00001c3f: DUP1 00001c40: REVERT 00001c41: JUMPDEST 00001c42: PUSH1 0x20 00001c44: PUSH0 00001c45: DUP1 00001c46: RETURNDATACOPY 00001c47: PUSH1 0x20 00001c49: DUP1 00001c4a: PUSH1 0x20 00001c4c: RETURNDATACOPY 00001c4d: PUSH0 00001c4e: MLOAD 00001c4f: SWAP4 00001c50: POP 00001c51: PUSH1 0x20 00001c53: MLOAD 00001c54: SWAP3 00001c55: POP 00001c56: POP 00001c57: POP 00001c58: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001 00001c79: ISZERO 00001c7a: PUSH2 0x1cc3 00001c7d: JUMPI 00001c7e: DUP2 00001c7f: PUSH14 0xffffffffffffffffffffffffffff 00001c8e: AND 00001c8f: PUSH8 0x0de0b6b3a7640000 00001c98: DUP3 00001c99: PUSH14 0xffffffffffffffffffffffffffff 00001ca8: AND 00001ca9: PUSH2 0x1cb2 00001cac: SWAP2 00001cad: SWAP1 00001cae: PUSH2 0x3cda 00001cb1: JUMP 00001cb2: JUMPDEST 00001cb3: PUSH2 0x1cbc 00001cb6: SWAP2 00001cb7: SWAP1 00001cb8: PUSH2 0x3d48 00001cbb: JUMP 00001cbc: JUMPDEST 00001cbd: SWAP4 00001cbe: POP 00001cbf: PUSH2 0x1d05 00001cc2: JUMP 00001cc3: JUMPDEST 00001cc4: DUP1 00001cc5: PUSH14 0xffffffffffffffffffffffffffff 00001cd4: AND 00001cd5: PUSH8 0x0de0b6b3a7640000 00001cde: DUP4 00001cdf: PUSH14 0xffffffffffffffffffffffffffff 00001cee: AND 00001cef: PUSH2 0x1cf8 00001cf2: SWAP2 00001cf3: SWAP1 00001cf4: PUSH2 0x3cda 00001cf7: JUMP 00001cf8: JUMPDEST 00001cf9: PUSH2 0x1d02 00001cfc: SWAP2 00001cfd: SWAP1 00001cfe: PUSH2 0x3d48 00001d01: JUMP 00001d02: JUMPDEST 00001d03: SWAP4 00001d04: POP 00001d05: JUMPDEST 00001d06: POP 00001d07: POP 00001d08: POP 00001d09: SWAP1 00001d0a: JUMP 00001d0b: JUMPDEST 00001d0c: PUSH0 00001d0d: DUP1 00001d0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d23: AND 00001d24: DUP4 00001d25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d3a: AND 00001d3b: EQ 00001d3c: DUP1 00001d3d: PUSH2 0x1d45 00001d40: JUMPI 00001d41: POP 00001d42: PUSH0 00001d43: DUP3 00001d44: EQ 00001d45: JUMPDEST 00001d46: ISZERO 00001d47: PUSH2 0x1d7c 00001d4a: JUMPI 00001d4b: PUSH1 0x40 00001d4d: MLOAD 00001d4e: PUSH32 0x2f35253100000000000000000000000000000000000000000000000000000000 00001d6f: DUP2 00001d70: MSTORE 00001d71: PUSH1 0x04 00001d73: ADD 00001d74: PUSH1 0x40 00001d76: MLOAD 00001d77: DUP1 00001d78: SWAP2 00001d79: SUB 00001d7a: SWAP1 00001d7b: REVERT 00001d7c: JUMPDEST 00001d7d: PUSH2 0x1d87 00001d80: CALLER 00001d81: DUP5 00001d82: DUP5 00001d83: PUSH2 0x2c31 00001d86: JUMP 00001d87: JUMPDEST 00001d88: PUSH1 0x01 00001d8a: SWAP1 00001d8b: POP 00001d8c: SWAP3 00001d8d: SWAP2 00001d8e: POP 00001d8f: POP 00001d90: JUMP 00001d91: JUMPDEST 00001d92: PUSH0 00001d93: PUSH20 0x0e58bd5557c4e0a0abf0e8d4df24177ae714452d 00001da8: SWAP1 00001da9: POP 00001daa: SWAP1 00001dab: JUMP 00001dac: JUMPDEST 00001dad: PUSH0 00001dae: PUSH1 0x04 00001db0: SLOAD 00001db1: PUSH8 0x0de0b6b3a7640000 00001dba: SELFBALANCE 00001dbb: PUSH2 0x1dc4 00001dbe: SWAP2 00001dbf: SWAP1 00001dc0: PUSH2 0x3cda 00001dc3: JUMP 00001dc4: JUMPDEST 00001dc5: PUSH2 0x1dce 00001dc8: SWAP2 00001dc9: SWAP1 00001dca: PUSH2 0x3d48 00001dcd: JUMP 00001dce: JUMPDEST 00001dcf: SWAP1 00001dd0: POP 00001dd1: SWAP1 00001dd2: JUMP 00001dd3: JUMPDEST 00001dd4: PUSH0 00001dd5: PUSH2 0x1e10 00001dd8: PUSH1 0x0a 00001dda: PUSH1 0x01 00001ddc: ADD 00001ddd: SLOAD 00001dde: PUSH1 0x07 00001de0: PUSH0 00001de1: ADD 00001de2: PUSH1 0x0c 00001de4: SWAP1 00001de5: SLOAD 00001de6: SWAP1 00001de7: PUSH2 0x0100 00001dea: EXP 00001deb: SWAP1 00001dec: DIV 00001ded: PUSH12 0xffffffffffffffffffffffff 00001dfa: AND 00001dfb: PUSH12 0xffffffffffffffffffffffff 00001e08: AND 00001e09: PUSH1 0x04 00001e0b: SLOAD 00001e0c: PUSH2 0x2738 00001e0f: JUMP 00001e10: JUMPDEST 00001e11: SWAP1 00001e12: POP 00001e13: SWAP1 00001e14: JUMP 00001e15: JUMPDEST 00001e16: PUSH20 0x0688578ec7273458785591d3affd120e664900c2 00001e2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e40: AND 00001e41: CALLER 00001e42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e57: AND 00001e58: EQ 00001e59: PUSH2 0x1e8e 00001e5c: JUMPI 00001e5d: PUSH1 0x40 00001e5f: MLOAD 00001e60: PUSH32 0x5fc483c500000000000000000000000000000000000000000000000000000000 00001e81: DUP2 00001e82: MSTORE 00001e83: PUSH1 0x04 00001e85: ADD 00001e86: PUSH1 0x40 00001e88: MLOAD 00001e89: DUP1 00001e8a: SWAP2 00001e8b: SUB 00001e8c: SWAP1 00001e8d: REVERT 00001e8e: JUMPDEST 00001e8f: PUSH1 0x01 00001e91: PUSH1 0x03 00001e93: PUSH0 00001e94: DUP4 00001e95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001eaa: AND 00001eab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ec0: AND 00001ec1: DUP2 00001ec2: MSTORE 00001ec3: PUSH1 0x20 00001ec5: ADD 00001ec6: SWAP1 00001ec7: DUP2 00001ec8: MSTORE 00001ec9: PUSH1 0x20 00001ecb: ADD 00001ecc: PUSH0 00001ecd: KECCAK256 00001ece: PUSH0 00001ecf: PUSH2 0x0100 00001ed2: EXP 00001ed3: DUP2 00001ed4: SLOAD 00001ed5: DUP2 00001ed6: PUSH1 0xff 00001ed8: MUL 00001ed9: NOT 00001eda: AND 00001edb: SWAP1 00001edc: DUP4 00001edd: ISZERO 00001ede: ISZERO 00001edf: MUL 00001ee0: OR 00001ee1: SWAP1 00001ee2: SSTORE 00001ee3: POP 00001ee4: PUSH32 0x10cdbb821aa416c854add806e1d7e8138afe2a538921cebe99b1351362ae38b2 00001f05: DUP2 00001f06: PUSH1 0x40 00001f08: MLOAD 00001f09: PUSH2 0x1f12 00001f0c: SWAP2 00001f0d: SWAP1 00001f0e: PUSH2 0x3aef 00001f11: JUMP 00001f12: JUMPDEST 00001f13: PUSH1 0x40 00001f15: MLOAD 00001f16: DUP1 00001f17: SWAP2 00001f18: SUB 00001f19: SWAP1 00001f1a: LOG1 00001f1b: POP 00001f1c: JUMP 00001f1d: JUMPDEST 00001f1e: PUSH0 00001f1f: DUP1 00001f20: PUSH1 0x04 00001f22: SLOAD 00001f23: PUSH8 0x0de0b6b3a7640000 00001f2c: SELFBALANCE 00001f2d: PUSH2 0x1f36 00001f30: SWAP2 00001f31: SWAP1 00001f32: PUSH2 0x3cda 00001f35: JUMP 00001f36: JUMPDEST 00001f37: PUSH2 0x1f40 00001f3a: SWAP2 00001f3b: SWAP1 00001f3c: PUSH2 0x3d48 00001f3f: JUMP 00001f40: JUMPDEST 00001f41: SWAP1 00001f42: POP 00001f43: PUSH8 0x0de0b6b3a7640000 00001f4c: DUP4 00001f4d: DUP3 00001f4e: PUSH2 0x1f57 00001f51: SWAP2 00001f52: SWAP1 00001f53: PUSH2 0x3cda 00001f56: JUMP 00001f57: JUMPDEST 00001f58: PUSH2 0x1f61 00001f5b: SWAP2 00001f5c: SWAP1 00001f5d: PUSH2 0x3d48 00001f60: JUMP 00001f61: JUMPDEST 00001f62: SWAP2 00001f63: POP 00001f64: PUSH2 0x1f6d 00001f67: CALLER 00001f68: DUP5 00001f69: PUSH2 0x305f 00001f6c: JUMP 00001f6d: JUMPDEST 00001f6e: PUSH2 0x1f77 00001f71: CALLER 00001f72: DUP4 00001f73: PUSH2 0x2b01 00001f76: JUMP 00001f77: JUMPDEST 00001f78: CALLER 00001f79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f8e: AND 00001f8f: PUSH32 0xbd5034ffbd47e4e72a94baa2cdb74c6fad73cb3bcdc13036b72ec8306f5a7646 00001fb0: DUP5 00001fb1: DUP5 00001fb2: DUP5 00001fb3: PUSH1 0x40 00001fb5: MLOAD 00001fb6: PUSH2 0x1fc1 00001fb9: SWAP4 00001fba: SWAP3 00001fbb: SWAP2 00001fbc: SWAP1 00001fbd: PUSH2 0x3e50 00001fc0: JUMP 00001fc1: JUMPDEST 00001fc2: PUSH1 0x40 00001fc4: MLOAD 00001fc5: DUP1 00001fc6: SWAP2 00001fc7: SUB 00001fc8: SWAP1 00001fc9: LOG2 00001fca: POP 00001fcb: SWAP2 00001fcc: SWAP1 00001fcd: POP 00001fce: JUMP 00001fcf: JUMPDEST 00001fd0: PUSH0 00001fd1: PUSH1 0x01 00001fd3: PUSH0 00001fd4: DUP5 00001fd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fea: AND 00001feb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002000: AND 00002001: DUP2 00002002: MSTORE 00002003: PUSH1 0x20 00002005: ADD 00002006: SWAP1 00002007: DUP2 00002008: MSTORE 00002009: PUSH1 0x20 0000200b: ADD 0000200c: PUSH0 0000200d: KECCAK256 0000200e: PUSH0 0000200f: DUP4 00002010: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002025: AND 00002026: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000203b: AND 0000203c: DUP2 0000203d: MSTORE 0000203e: PUSH1 0x20 00002040: ADD 00002041: SWAP1 00002042: DUP2 00002043: MSTORE 00002044: PUSH1 0x20 00002046: ADD 00002047: PUSH0 00002048: KECCAK256 00002049: SLOAD 0000204a: SWAP1 0000204b: POP 0000204c: SWAP3 0000204d: SWAP2 0000204e: POP 0000204f: POP 00002050: JUMP 00002051: JUMPDEST 00002052: PUSH20 0x0688578ec7273458785591d3affd120e664900c2 00002067: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000207c: AND 0000207d: CALLER 0000207e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002093: AND 00002094: EQ 00002095: PUSH2 0x20ca 00002098: JUMPI 00002099: PUSH1 0x40 0000209b: MLOAD 0000209c: PUSH32 0x5fc483c500000000000000000000000000000000000000000000000000000000 000020bd: DUP2 000020be: MSTORE 000020bf: PUSH1 0x04 000020c1: ADD 000020c2: PUSH1 0x40 000020c4: MLOAD 000020c5: DUP1 000020c6: SWAP2 000020c7: SUB 000020c8: SWAP1 000020c9: REVERT 000020ca: JUMPDEST 000020cb: PUSH2 0x20d2 000020ce: PUSH2 0x210b 000020d1: JUMP 000020d2: JUMPDEST 000020d3: PUSH32 0xcb952d4b0fcf5915a9cc714f93cda275771363c8e7fb92af67c20638187b14d3 000020f4: TIMESTAMP 000020f5: PUSH1 0x40 000020f7: MLOAD 000020f8: PUSH2 0x2101 000020fb: SWAP2 000020fc: SWAP1 000020fd: PUSH2 0x3b17 00002100: JUMP 00002101: JUMPDEST 00002102: PUSH1 0x40 00002104: MLOAD 00002105: DUP1 00002106: SWAP2 00002107: SUB 00002108: SWAP1 00002109: LOG1 0000210a: JUMP 0000210b: JUMPDEST 0000210c: PUSH0 0000210d: PUSH2 0x2114 00002110: PUSH2 0x1be3 00002113: JUMP 00002114: JUMPDEST 00002115: SWAP1 00002116: POP 00002117: PUSH0 00002118: DUP1 00002119: PUSH0 0000211a: ADDRESS 0000211b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002130: AND 00002131: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002146: AND 00002147: DUP2 00002148: MSTORE 00002149: PUSH1 0x20 0000214b: ADD 0000214c: SWAP1 0000214d: DUP2 0000214e: MSTORE 0000214f: PUSH1 0x20 00002151: ADD 00002152: PUSH0 00002153: KECCAK256 00002154: SLOAD 00002155: SWAP1 00002156: POP 00002157: PUSH0 00002158: DUP2 00002159: SWAP1 0000215a: POP 0000215b: PUSH0 0000215c: PUSH3 0x015180 00002160: PUSH2 0x3840 00002163: DUP5 00002164: PUSH2 0x216d 00002167: SWAP2 00002168: SWAP1 00002169: PUSH2 0x3e85 0000216c: JUMP 0000216d: JUMPDEST 0000216e: PUSH12 0xffffffffffffffffffffffff 0000217b: AND 0000217c: PUSH2 0x2185 0000217f: SWAP2 00002180: SWAP1 00002181: PUSH2 0x3d48 00002184: JUMP 00002185: JUMPDEST 00002186: SWAP1 00002187: POP 00002188: PUSH0 00002189: DUP4 0000218a: PUSH12 0xffffffffffffffffffffffff 00002197: AND 00002198: PUSH1 0x04 0000219a: SLOAD 0000219b: DUP7 0000219c: PUSH2 0x21a5 0000219f: SWAP2 000021a0: SWAP1 000021a1: PUSH2 0x3cda 000021a4: JUMP 000021a5: JUMPDEST 000021a6: PUSH2 0x21af 000021a9: SWAP2 000021aa: SWAP1 000021ab: PUSH2 0x3d48 000021ae: JUMP 000021af: JUMPDEST 000021b0: SWAP1 000021b1: POP 000021b2: PUSH0 000021b3: PUSH2 0x21ca 000021b6: DUP5 000021b7: PUSH12 0xffffffffffffffffffffffff 000021c4: AND 000021c5: DUP8 000021c6: PUSH2 0x3236 000021c9: JUMP 000021ca: JUMPDEST 000021cb: SWAP1 000021cc: POP 000021cd: PUSH0 000021ce: PUSH3 0x015180 000021d2: TIMESTAMP 000021d3: PUSH2 0x21dc 000021d6: SWAP2 000021d7: SWAP1 000021d8: PUSH2 0x3ec1 000021db: JUMP 000021dc: JUMPDEST 000021dd: SWAP1 000021de: POP 000021df: DUP2 000021e0: ISZERO 000021e1: PUSH2 0x2522 000021e4: JUMPI 000021e5: PUSH1 0x40 000021e7: MLOAD 000021e8: DUP1 000021e9: PUSH1 0xa0 000021eb: ADD 000021ec: PUSH1 0x40 000021ee: MSTORE 000021ef: DUP1 000021f0: DUP7 000021f1: PUSH12 0xffffffffffffffffffffffff 000021fe: AND 000021ff: DUP2 00002200: MSTORE 00002201: PUSH1 0x20 00002203: ADD 00002204: DUP8 00002205: PUSH12 0xffffffffffffffffffffffff 00002212: AND 00002213: DUP2 00002214: MSTORE 00002215: PUSH1 0x20 00002217: ADD 00002218: DUP6 00002219: PUSH12 0xffffffffffffffffffffffff 00002226: AND 00002227: DUP2 00002228: MSTORE 00002229: PUSH1 0x20 0000222b: ADD 0000222c: PUSH0 0000222d: PUSH12 0xffffffffffffffffffffffff 0000223a: AND 0000223b: DUP2 0000223c: MSTORE 0000223d: PUSH1 0x20 0000223f: ADD 00002240: PUSH0 00002241: PUSH12 0xffffffffffffffffffffffff 0000224e: AND 0000224f: DUP2 00002250: MSTORE 00002251: POP 00002252: PUSH1 0x07 00002254: PUSH0 00002255: DUP3 00002256: ADD 00002257: MLOAD 00002258: DUP2 00002259: PUSH0 0000225a: ADD 0000225b: PUSH0 0000225c: PUSH2 0x0100 0000225f: EXP 00002260: DUP2 00002261: SLOAD 00002262: DUP2 00002263: PUSH12 0xffffffffffffffffffffffff 00002270: MUL 00002271: NOT 00002272: AND 00002273: SWAP1 00002274: DUP4 00002275: PUSH12 0xffffffffffffffffffffffff 00002282: AND 00002283: MUL 00002284: OR 00002285: SWAP1 00002286: SSTORE 00002287: POP 00002288: PUSH1 0x20 0000228a: DUP3 0000228b: ADD 0000228c: MLOAD 0000228d: DUP2 0000228e: PUSH0 0000228f: ADD 00002290: PUSH1 0x0c 00002292: PUSH2 0x0100 00002295: EXP 00002296: DUP2 00002297: SLOAD 00002298: DUP2 00002299: PUSH12 0xffffffffffffffffffffffff 000022a6: MUL 000022a7: NOT 000022a8: AND 000022a9: SWAP1 000022aa: DUP4 000022ab: PUSH12 0xffffffffffffffffffffffff 000022b8: AND 000022b9: MUL 000022ba: OR 000022bb: SWAP1 000022bc: SSTORE 000022bd: POP 000022be: PUSH1 0x40 000022c0: DUP3 000022c1: ADD 000022c2: MLOAD 000022c3: DUP2 000022c4: PUSH1 0x01 000022c6: ADD 000022c7: PUSH0 000022c8: PUSH2 0x0100 000022cb: EXP 000022cc: DUP2 000022cd: SLOAD 000022ce: DUP2 000022cf: PUSH12 0xffffffffffffffffffffffff 000022dc: MUL 000022dd: NOT 000022de: AND 000022df: SWAP1 000022e0: DUP4 000022e1: PUSH12 0xffffffffffffffffffffffff 000022ee: AND 000022ef: MUL 000022f0: OR 000022f1: SWAP1 000022f2: SSTORE 000022f3: POP 000022f4: PUSH1 0x60 000022f6: DUP3 000022f7: ADD 000022f8: MLOAD 000022f9: DUP2 000022fa: PUSH1 0x01 000022fc: ADD 000022fd: PUSH1 0x0c 000022ff: PUSH2 0x0100 00002302: EXP 00002303: DUP2 00002304: SLOAD 00002305: DUP2 00002306: PUSH12 0xffffffffffffffffffffffff 00002313: MUL 00002314: NOT 00002315: AND 00002316: SWAP1 00002317: DUP4 00002318: PUSH12 0xffffffffffffffffffffffff 00002325: AND 00002326: MUL 00002327: OR 00002328: SWAP1 00002329: SSTORE 0000232a: POP 0000232b: PUSH1 0x80 0000232d: DUP3 0000232e: ADD 0000232f: MLOAD 00002330: DUP2 00002331: PUSH1 0x02 00002333: ADD 00002334: PUSH0 00002335: PUSH2 0x0100 00002338: EXP 00002339: DUP2 0000233a: SLOAD 0000233b: DUP2 0000233c: PUSH12 0xffffffffffffffffffffffff 00002349: MUL 0000234a: NOT 0000234b: AND 0000234c: SWAP1 0000234d: DUP4 0000234e: PUSH12 0xffffffffffffffffffffffff 0000235b: AND 0000235c: MUL 0000235d: OR 0000235e: SWAP1 0000235f: SSTORE 00002360: POP 00002361: SWAP1 00002362: POP 00002363: POP 00002364: PUSH1 0x40 00002366: MLOAD 00002367: DUP1 00002368: PUSH1 0x40 0000236a: ADD 0000236b: PUSH1 0x40 0000236d: MSTORE 0000236e: DUP1 0000236f: DUP3 00002370: PUSH6 0xffffffffffff 00002377: AND 00002378: DUP2 00002379: MSTORE 0000237a: PUSH1 0x20 0000237c: ADD 0000237d: DUP5 0000237e: DUP2 0000237f: MSTORE 00002380: POP 00002381: PUSH1 0x0a 00002383: PUSH0 00002384: DUP3 00002385: ADD 00002386: MLOAD 00002387: DUP2 00002388: PUSH0 00002389: ADD 0000238a: PUSH0 0000238b: PUSH2 0x0100 0000238e: EXP 0000238f: DUP2 00002390: SLOAD 00002391: DUP2 00002392: PUSH6 0xffffffffffff 00002399: MUL 0000239a: NOT 0000239b: AND 0000239c: SWAP1 0000239d: DUP4 0000239e: PUSH6 0xffffffffffff 000023a5: AND 000023a6: MUL 000023a7: OR 000023a8: SWAP1 000023a9: SSTORE 000023aa: POP 000023ab: PUSH1 0x20 000023ad: DUP3 000023ae: ADD 000023af: MLOAD 000023b0: DUP2 000023b1: PUSH1 0x01 000023b3: ADD 000023b4: SSTORE 000023b5: SWAP1 000023b6: POP 000023b7: POP 000023b8: PUSH1 0x40 000023ba: MLOAD 000023bb: DUP1 000023bc: PUSH1 0xa0 000023be: ADD 000023bf: PUSH1 0x40 000023c1: MSTORE 000023c2: DUP1 000023c3: TIMESTAMP 000023c4: PUSH6 0xffffffffffff 000023cb: AND 000023cc: DUP2 000023cd: MSTORE 000023ce: PUSH1 0x20 000023d0: ADD 000023d1: TIMESTAMP 000023d2: PUSH6 0xffffffffffff 000023d9: AND 000023da: DUP2 000023db: MSTORE 000023dc: PUSH1 0x20 000023de: ADD 000023df: PUSH3 0x015180 000023e3: PUSH6 0xffffffffffff 000023ea: AND 000023eb: DUP2 000023ec: MSTORE 000023ed: PUSH1 0x20 000023ef: ADD 000023f0: PUSH2 0x3840 000023f3: PUSH6 0xffffffffffff 000023fa: AND 000023fb: DUP2 000023fc: MSTORE 000023fd: PUSH1 0x20 000023ff: ADD 00002400: PUSH2 0x0708 00002403: PUSH6 0xffffffffffff 0000240a: AND 0000240b: DUP2 0000240c: MSTORE 0000240d: POP 0000240e: PUSH1 0x06 00002410: PUSH0 00002411: DUP3 00002412: ADD 00002413: MLOAD 00002414: DUP2 00002415: PUSH0 00002416: ADD 00002417: PUSH0 00002418: PUSH2 0x0100 0000241b: EXP 0000241c: DUP2 0000241d: SLOAD 0000241e: DUP2 0000241f: PUSH6 0xffffffffffff 00002426: MUL 00002427: NOT 00002428: AND 00002429: SWAP1 0000242a: DUP4 0000242b: PUSH6 0xffffffffffff 00002432: AND 00002433: MUL 00002434: OR 00002435: SWAP1 00002436: SSTORE 00002437: POP 00002438: PUSH1 0x20 0000243a: DUP3 0000243b: ADD 0000243c: MLOAD 0000243d: DUP2 0000243e: PUSH0 0000243f: ADD 00002440: PUSH1 0x06 00002442: PUSH2 0x0100 00002445: EXP 00002446: DUP2 00002447: SLOAD 00002448: DUP2 00002449: PUSH6 0xffffffffffff 00002450: MUL 00002451: NOT 00002452: AND 00002453: SWAP1 00002454: DUP4 00002455: PUSH6 0xffffffffffff 0000245c: AND 0000245d: MUL 0000245e: OR 0000245f: SWAP1 00002460: SSTORE 00002461: POP 00002462: PUSH1 0x40 00002464: DUP3 00002465: ADD 00002466: MLOAD 00002467: DUP2 00002468: PUSH0 00002469: ADD 0000246a: PUSH1 0x0c 0000246c: PUSH2 0x0100 0000246f: EXP 00002470: DUP2 00002471: SLOAD 00002472: DUP2 00002473: PUSH6 0xffffffffffff 0000247a: MUL 0000247b: NOT 0000247c: AND 0000247d: SWAP1 0000247e: DUP4 0000247f: PUSH6 0xffffffffffff 00002486: AND 00002487: MUL 00002488: OR 00002489: SWAP1 0000248a: SSTORE 0000248b: POP 0000248c: PUSH1 0x60 0000248e: DUP3 0000248f: ADD 00002490: MLOAD 00002491: DUP2 00002492: PUSH0 00002493: ADD 00002494: PUSH1 0x12 00002496: PUSH2 0x0100 00002499: EXP 0000249a: DUP2 0000249b: SLOAD 0000249c: DUP2 0000249d: PUSH6 0xffffffffffff 000024a4: MUL 000024a5: NOT 000024a6: AND 000024a7: SWAP1 000024a8: DUP4 000024a9: PUSH6 0xffffffffffff 000024b0: AND 000024b1: MUL 000024b2: OR 000024b3: SWAP1 000024b4: SSTORE 000024b5: POP 000024b6: PUSH1 0x80 000024b8: DUP3 000024b9: ADD 000024ba: MLOAD 000024bb: DUP2 000024bc: PUSH0 000024bd: ADD 000024be: PUSH1 0x18 000024c0: PUSH2 0x0100 000024c3: EXP 000024c4: DUP2 000024c5: SLOAD 000024c6: DUP2 000024c7: PUSH6 0xffffffffffff 000024ce: MUL 000024cf: NOT 000024d0: AND 000024d1: SWAP1 000024d2: DUP4 000024d3: PUSH6 0xffffffffffff 000024da: AND 000024db: MUL 000024dc: OR 000024dd: SWAP1 000024de: SSTORE 000024df: POP 000024e0: SWAP1 000024e1: POP 000024e2: POP 000024e3: PUSH32 0x035d6743050a54c5c545b7f45bddbd082bf97e098d81e6eb10045ab6a10ab510 00002504: DUP6 00002505: TIMESTAMP 00002506: DUP4 00002507: PUSH1 0x40 00002509: MLOAD 0000250a: PUSH2 0x2515 0000250d: SWAP4 0000250e: SWAP3 0000250f: SWAP2 00002510: SWAP1 00002511: PUSH2 0x3f3c 00002514: JUMP 00002515: JUMPDEST 00002516: PUSH1 0x40 00002518: MLOAD 00002519: DUP1 0000251a: SWAP2 0000251b: SUB 0000251c: SWAP1 0000251d: LOG1 0000251e: PUSH2 0x25a1 00002521: JUMP 00002522: JUMPDEST 00002523: PUSH2 0x253a 00002526: ADDRESS 00002527: DUP7 00002528: PUSH12 0xffffffffffffffffffffffff 00002535: AND 00002536: PUSH2 0x305f 00002539: JUMP 0000253a: JUMPDEST 0000253b: PUSH3 0x015180 0000253f: TIMESTAMP 00002540: PUSH2 0x2549 00002543: SWAP2 00002544: SWAP1 00002545: PUSH2 0x3ec1 00002548: JUMP 00002549: JUMPDEST 0000254a: PUSH1 0x0a 0000254c: PUSH0 0000254d: ADD 0000254e: PUSH0 0000254f: PUSH2 0x0100 00002552: EXP 00002553: DUP2 00002554: SLOAD 00002555: DUP2 00002556: PUSH6 0xffffffffffff 0000255d: MUL 0000255e: NOT 0000255f: AND 00002560: SWAP1 00002561: DUP4 00002562: PUSH6 0xffffffffffff 00002569: AND 0000256a: MUL 0000256b: OR 0000256c: SWAP1 0000256d: SSTORE 0000256e: POP 0000256f: PUSH0 00002570: PUSH1 0x07 00002572: PUSH0 00002573: ADD 00002574: PUSH0 00002575: PUSH2 0x0100 00002578: EXP 00002579: DUP2 0000257a: SLOAD 0000257b: DUP2 0000257c: PUSH12 0xffffffffffffffffffffffff 00002589: MUL 0000258a: NOT 0000258b: AND 0000258c: SWAP1 0000258d: DUP4 0000258e: PUSH12 0xffffffffffffffffffffffff 0000259b: AND 0000259c: MUL 0000259d: OR 0000259e: SWAP1 0000259f: SSTORE 000025a0: POP 000025a1: JUMPDEST 000025a2: POP 000025a3: POP 000025a4: POP 000025a5: POP 000025a6: POP 000025a7: POP 000025a8: POP 000025a9: JUMP 000025aa: JUMPDEST 000025ab: PUSH2 0x25b2 000025ae: PUSH2 0x365c 000025b1: JUMP 000025b2: JUMPDEST 000025b3: PUSH2 0x25ba 000025b6: PUSH2 0x36ec 000025b9: JUMP 000025ba: JUMPDEST 000025bb: PUSH2 0x25c2 000025be: PUSH2 0x36cc 000025c1: JUMP 000025c2: JUMPDEST 000025c3: PUSH2 0x25ca 000025c6: PUSH2 0x373e 000025c9: JUMP 000025ca: JUMPDEST 000025cb: PUSH0 000025cc: TIMESTAMP 000025cd: SWAP1 000025ce: POP 000025cf: PUSH2 0x25d8 000025d2: DUP10 000025d3: DUP10 000025d4: PUSH2 0x32be 000025d7: JUMP 000025d8: JUMPDEST 000025d9: PUSH8 0xffffffffffffffff 000025e2: AND 000025e3: DUP9 000025e4: PUSH1 0x20 000025e6: ADD 000025e7: DUP2 000025e8: DUP2 000025e9: MLOAD 000025ea: PUSH2 0x25f3 000025ed: SWAP2 000025ee: SWAP1 000025ef: PUSH2 0x3d78 000025f2: JUMP 000025f3: JUMPDEST 000025f4: SWAP2 000025f5: POP 000025f6: SWAP1 000025f7: PUSH12 0xffffffffffffffffffffffff 00002604: AND 00002605: SWAP1 00002606: DUP2 00002607: PUSH12 0xffffffffffffffffffffffff 00002614: AND 00002615: DUP2 00002616: MSTORE 00002617: POP 00002618: POP 00002619: DUP1 0000261a: DUP10 0000261b: PUSH1 0x20 0000261d: ADD 0000261e: SWAP1 0000261f: PUSH6 0xffffffffffff 00002626: AND 00002627: SWAP1 00002628: DUP2 00002629: PUSH6 0xffffffffffff 00002630: AND 00002631: DUP2 00002632: MSTORE 00002633: POP 00002634: POP 00002635: DUP6 00002636: PUSH1 0x60 00002638: ADD 00002639: MLOAD 0000263a: ISZERO 0000263b: PUSH2 0x2720 0000263e: JUMPI 0000263f: PUSH0 00002640: DUP1 00002641: PUSH0 00002642: PUSH2 0x264a 00002645: DUP10 00002646: PUSH2 0x3318 00002649: JUMP 0000264a: JUMPDEST 0000264b: SWAP3 0000264c: POP 0000264d: SWAP3 0000264e: POP 0000264f: SWAP3 00002650: POP 00002651: DUP3 00002652: PUSH16 0xffffffffffffffffffffffffffffffff 00002663: AND 00002664: DUP11 00002665: PUSH1 0x20 00002667: ADD 00002668: DUP2 00002669: DUP2 0000266a: MLOAD 0000266b: PUSH2 0x2674 0000266e: SWAP2 0000266f: SWAP1 00002670: PUSH2 0x3e1d 00002673: JUMP 00002674: JUMPDEST 00002675: SWAP2 00002676: POP 00002677: DUP2 00002678: DUP2 00002679: MSTORE 0000267a: POP 0000267b: POP 0000267c: DUP1 0000267d: ISZERO 0000267e: PUSH2 0x270b 00002681: JUMPI 00002682: DUP3 00002683: DUP10 00002684: PUSH0 00002685: ADD 00002686: DUP2 00002687: DUP2 00002688: MLOAD 00002689: PUSH2 0x2692 0000268c: SWAP2 0000268d: SWAP1 0000268e: PUSH2 0x3f8c 00002691: JUMP 00002692: JUMPDEST 00002693: SWAP2 00002694: POP 00002695: SWAP1 00002696: PUSH16 0xffffffffffffffffffffffffffffffff 000026a7: AND 000026a8: SWAP1 000026a9: DUP2 000026aa: PUSH16 0xffffffffffffffffffffffffffffffff 000026bb: AND 000026bc: DUP2 000026bd: MSTORE 000026be: POP 000026bf: POP 000026c0: DUP2 000026c1: DUP10 000026c2: PUSH1 0x40 000026c4: ADD 000026c5: DUP2 000026c6: DUP2 000026c7: MLOAD 000026c8: PUSH2 0x26d1 000026cb: SWAP2 000026cc: SWAP1 000026cd: PUSH2 0x3fcf 000026d0: JUMP 000026d1: JUMPDEST 000026d2: SWAP2 000026d3: POP 000026d4: SWAP1 000026d5: PUSH6 0xffffffffffff 000026dc: AND 000026dd: SWAP1 000026de: DUP2 000026df: PUSH6 0xffffffffffff 000026e6: AND 000026e7: DUP2 000026e8: MSTORE 000026e9: POP 000026ea: POP 000026eb: DUP4 000026ec: DUP10 000026ed: PUSH1 0x20 000026ef: ADD 000026f0: SWAP1 000026f1: PUSH6 0xffffffffffff 000026f8: AND 000026f9: SWAP1 000026fa: DUP2 000026fb: PUSH6 0xffffffffffff 00002702: AND 00002703: DUP2 00002704: MSTORE 00002705: POP 00002706: POP 00002707: PUSH2 0x271c 0000270a: JUMP 0000270b: JUMPDEST 0000270c: PUSH0 0000270d: DUP10 0000270e: PUSH1 0x60 00002710: ADD 00002711: SWAP1 00002712: ISZERO 00002713: ISZERO 00002714: SWAP1 00002715: DUP2 00002716: ISZERO 00002717: ISZERO 00002718: DUP2 00002719: MSTORE 0000271a: POP 0000271b: POP 0000271c: JUMPDEST 0000271d: POP 0000271e: POP 0000271f: POP 00002720: JUMPDEST 00002721: DUP8 00002722: DUP10 00002723: DUP9 00002724: DUP9 00002725: SWAP5 00002726: POP 00002727: SWAP5 00002728: POP 00002729: SWAP5 0000272a: POP 0000272b: SWAP5 0000272c: POP 0000272d: POP 0000272e: SWAP5 0000272f: POP 00002730: SWAP5 00002731: POP 00002732: SWAP5 00002733: POP 00002734: SWAP5 00002735: SWAP1 00002736: POP 00002737: JUMP 00002738: JUMPDEST 00002739: PUSH0 0000273a: PUSH8 0x0de0b6b3a7640000 00002743: PUSH2 0x274c 00002746: DUP5 00002747: DUP5 00002748: PUSH2 0x33b3 0000274b: JUMP 0000274c: JUMPDEST 0000274d: DUP6 0000274e: PUSH2 0x2757 00002751: SWAP2 00002752: SWAP1 00002753: PUSH2 0x3cda 00002756: JUMP 00002757: JUMPDEST 00002758: PUSH2 0x2761 0000275b: SWAP2 0000275c: SWAP1 0000275d: PUSH2 0x3d48 00002760: JUMP 00002761: JUMPDEST 00002762: SWAP1 00002763: POP 00002764: SWAP4 00002765: SWAP3 00002766: POP 00002767: POP 00002768: POP 00002769: JUMP 0000276a: JUMPDEST 0000276b: PUSH0 0000276c: DUP1 0000276d: PUSH0 0000276e: ADDRESS 0000276f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002784: AND 00002785: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000279a: AND 0000279b: DUP2 0000279c: MSTORE 0000279d: PUSH1 0x20 0000279f: ADD 000027a0: SWAP1 000027a1: DUP2 000027a2: MSTORE 000027a3: PUSH1 0x20 000027a5: ADD 000027a6: PUSH0 000027a7: KECCAK256 000027a8: SLOAD 000027a9: DUP3 000027aa: GT 000027ab: ISZERO 000027ac: PUSH2 0x27e1 000027af: JUMPI 000027b0: PUSH1 0x40 000027b2: MLOAD 000027b3: PUSH32 0x5e36b3df00000000000000000000000000000000000000000000000000000000 000027d4: DUP2 000027d5: MSTORE 000027d6: PUSH1 0x04 000027d8: ADD 000027d9: PUSH1 0x40 000027db: MLOAD 000027dc: DUP1 000027dd: SWAP2 000027de: SUB 000027df: SWAP1 000027e0: REVERT 000027e1: JUMPDEST 000027e2: DUP2 000027e3: PUSH0 000027e4: DUP1 000027e5: DUP6 000027e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027fb: AND 000027fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002811: AND 00002812: DUP2 00002813: MSTORE 00002814: PUSH1 0x20 00002816: ADD 00002817: SWAP1 00002818: DUP2 00002819: MSTORE 0000281a: PUSH1 0x20 0000281c: ADD 0000281d: PUSH0 0000281e: KECCAK256 0000281f: PUSH0 00002820: DUP3 00002821: DUP3 00002822: SLOAD 00002823: ADD 00002824: SWAP3 00002825: POP 00002826: POP 00002827: DUP2 00002828: SWAP1 00002829: SSTORE 0000282a: POP 0000282b: DUP2 0000282c: PUSH0 0000282d: DUP1 0000282e: ADDRESS 0000282f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002844: AND 00002845: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000285a: AND 0000285b: DUP2 0000285c: MSTORE 0000285d: PUSH1 0x20 0000285f: ADD 00002860: SWAP1 00002861: DUP2 00002862: MSTORE 00002863: PUSH1 0x20 00002865: ADD 00002866: PUSH0 00002867: KECCAK256 00002868: PUSH0 00002869: DUP3 0000286a: DUP3 0000286b: SLOAD 0000286c: SUB 0000286d: SWAP3 0000286e: POP 0000286f: POP 00002870: DUP2 00002871: SWAP1 00002872: SSTORE 00002873: POP 00002874: PUSH1 0x01 00002876: SWAP1 00002877: POP 00002878: DUP3 00002879: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000288e: AND 0000288f: ADDRESS 00002890: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028a5: AND 000028a6: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000028c7: DUP5 000028c8: PUSH1 0x40 000028ca: MLOAD 000028cb: PUSH2 0x28d4 000028ce: SWAP2 000028cf: SWAP1 000028d0: PUSH2 0x3b17 000028d3: JUMP 000028d4: JUMPDEST 000028d5: PUSH1 0x40 000028d7: MLOAD 000028d8: DUP1 000028d9: SWAP2 000028da: SUB 000028db: SWAP1 000028dc: LOG3 000028dd: SWAP3 000028de: SWAP2 000028df: POP 000028e0: POP 000028e1: JUMP 000028e2: JUMPDEST 000028e3: PUSH2 0x28ea 000028e6: PUSH2 0x365c 000028e9: JUMP 000028ea: JUMPDEST 000028eb: PUSH2 0x28f2 000028ee: PUSH2 0x36cc 000028f1: JUMP 000028f2: JUMPDEST 000028f3: PUSH2 0x28fa 000028f6: PUSH2 0x36ec 000028f9: JUMP 000028fa: JUMPDEST 000028fb: PUSH2 0x2902 000028fe: PUSH2 0x373e 00002901: JUMP 00002902: JUMPDEST 00002903: PUSH2 0x290a 00002906: PUSH2 0x3786 00002909: JUMP 0000290a: JUMPDEST 0000290b: DUP8 0000290c: PUSH1 0x80 0000290e: ADD 0000290f: MLOAD 00002910: DUP9 00002911: PUSH0 00002912: ADD 00002913: MLOAD 00002914: PUSH2 0x291d 00002917: SWAP2 00002918: SWAP1 00002919: PUSH2 0x4008 0000291c: JUMP 0000291d: JUMPDEST 0000291e: PUSH6 0xffffffffffff 00002925: AND 00002926: DUP12 00002927: PUSH6 0xffffffffffff 0000292e: AND 0000292f: LT 00002930: PUSH2 0x2ae7 00002933: JUMPI 00002934: DUP11 00002935: DUP10 00002936: PUSH0 00002937: ADD 00002938: MLOAD 00002939: PUSH2 0x2942 0000293c: SWAP2 0000293d: SWAP1 0000293e: PUSH2 0x3fcf 00002941: JUMP 00002942: JUMPDEST 00002943: PUSH6 0xffffffffffff 0000294a: AND 0000294b: DUP2 0000294c: PUSH0 0000294d: ADD 0000294e: DUP2 0000294f: DUP2 00002950: MSTORE 00002951: POP 00002952: POP 00002953: PUSH2 0x2973 00002956: DUP10 00002957: PUSH1 0x20 00002959: ADD 0000295a: MLOAD 0000295b: DUP12 0000295c: PUSH1 0x20 0000295e: ADD 0000295f: MLOAD 00002960: PUSH12 0xffffffffffffffffffffffff 0000296d: AND 0000296e: DUP9 0000296f: PUSH2 0x2738 00002972: JUMP 00002973: JUMPDEST 00002974: DUP2 00002975: PUSH1 0x20 00002977: ADD 00002978: DUP2 00002979: DUP2 0000297a: MSTORE 0000297b: POP 0000297c: POP 0000297d: DUP10 0000297e: PUSH0 0000297f: ADD 00002980: MLOAD 00002981: PUSH12 0xffffffffffffffffffffffff 0000298e: AND 0000298f: DUP2 00002990: PUSH1 0x40 00002992: ADD 00002993: DUP2 00002994: DUP2 00002995: MSTORE 00002996: POP 00002997: POP 00002998: DUP1 00002999: PUSH0 0000299a: ADD 0000299b: MLOAD 0000299c: DUP9 0000299d: PUSH1 0x60 0000299f: ADD 000029a0: MLOAD 000029a1: PUSH6 0xffffffffffff 000029a8: AND 000029a9: DUP3 000029aa: PUSH1 0x40 000029ac: ADD 000029ad: MLOAD 000029ae: PUSH2 0x29b7 000029b1: SWAP2 000029b2: SWAP1 000029b3: PUSH2 0x3cda 000029b6: JUMP 000029b7: JUMPDEST 000029b8: PUSH2 0x29c1 000029bb: SWAP2 000029bc: SWAP1 000029bd: PUSH2 0x3d48 000029c0: JUMP 000029c1: JUMPDEST 000029c2: DUP11 000029c3: PUSH1 0x40 000029c5: ADD 000029c6: SWAP1 000029c7: PUSH12 0xffffffffffffffffffffffff 000029d4: AND 000029d5: SWAP1 000029d6: DUP2 000029d7: PUSH12 0xffffffffffffffffffffffff 000029e4: AND 000029e5: DUP2 000029e6: MSTORE 000029e7: POP 000029e8: POP 000029e9: DUP1 000029ea: PUSH0 000029eb: ADD 000029ec: MLOAD 000029ed: DUP9 000029ee: PUSH1 0x40 000029f0: ADD 000029f1: MLOAD 000029f2: PUSH6 0xffffffffffff 000029f9: AND 000029fa: DUP3 000029fb: PUSH1 0x40 000029fd: ADD 000029fe: MLOAD 000029ff: PUSH2 0x2a08 00002a02: SWAP2 00002a03: SWAP1 00002a04: PUSH2 0x3cda 00002a07: JUMP 00002a08: JUMPDEST 00002a09: PUSH2 0x2a12 00002a0c: SWAP2 00002a0d: SWAP1 00002a0e: PUSH2 0x3d48 00002a11: JUMP 00002a12: JUMPDEST 00002a13: DUP2 00002a14: PUSH1 0x60 00002a16: ADD 00002a17: DUP2 00002a18: DUP2 00002a19: MSTORE 00002a1a: POP 00002a1b: POP 00002a1c: DUP1 00002a1d: PUSH1 0x60 00002a1f: ADD 00002a20: MLOAD 00002a21: DUP7 00002a22: DUP3 00002a23: PUSH1 0x20 00002a25: ADD 00002a26: MLOAD 00002a27: PUSH2 0x2a30 00002a2a: SWAP2 00002a2b: SWAP1 00002a2c: PUSH2 0x3cda 00002a2f: JUMP 00002a30: JUMPDEST 00002a31: PUSH2 0x2a3a 00002a34: SWAP2 00002a35: SWAP1 00002a36: PUSH2 0x3d48 00002a39: JUMP 00002a3a: JUMPDEST 00002a3b: DUP2 00002a3c: PUSH1 0x80 00002a3e: ADD 00002a3f: DUP2 00002a40: DUP2 00002a41: MSTORE 00002a42: POP 00002a43: POP 00002a44: DUP9 00002a45: PUSH1 0x20 00002a47: ADD 00002a48: MLOAD 00002a49: DUP2 00002a4a: PUSH1 0x80 00002a4c: ADD 00002a4d: MLOAD 00002a4e: LT 00002a4f: ISZERO 00002a50: PUSH2 0x2a66 00002a53: JUMPI 00002a54: DUP1 00002a55: PUSH1 0x80 00002a57: ADD 00002a58: MLOAD 00002a59: DUP10 00002a5a: PUSH1 0x20 00002a5c: ADD 00002a5d: DUP2 00002a5e: DUP2 00002a5f: MSTORE 00002a60: POP 00002a61: POP 00002a62: PUSH2 0x2acb 00002a65: JUMP 00002a66: JUMPDEST 00002a67: PUSH0 00002a68: DUP2 00002a69: PUSH1 0x80 00002a6b: ADD 00002a6c: MLOAD 00002a6d: DUP11 00002a6e: PUSH1 0x20 00002a70: ADD 00002a71: MLOAD 00002a72: PUSH2 0x2a7b 00002a75: SWAP2 00002a76: SWAP1 00002a77: PUSH2 0x3e1d 00002a7a: JUMP 00002a7b: JUMPDEST 00002a7c: SWAP1 00002a7d: POP 00002a7e: PUSH1 0x40 00002a80: MLOAD 00002a81: DUP1 00002a82: PUSH1 0x80 00002a84: ADD 00002a85: PUSH1 0x40 00002a87: MSTORE 00002a88: DUP1 00002a89: DUP3 00002a8a: PUSH16 0xffffffffffffffffffffffffffffffff 00002a9b: AND 00002a9c: DUP2 00002a9d: MSTORE 00002a9e: PUSH1 0x20 00002aa0: ADD 00002aa1: DUP14 00002aa2: PUSH6 0xffffffffffff 00002aa9: AND 00002aaa: DUP2 00002aab: MSTORE 00002aac: PUSH1 0x20 00002aae: ADD 00002aaf: DUP11 00002ab0: PUSH1 0x80 00002ab2: ADD 00002ab3: MLOAD 00002ab4: PUSH6 0xffffffffffff 00002abb: AND 00002abc: DUP2 00002abd: MSTORE 00002abe: PUSH1 0x20 00002ac0: ADD 00002ac1: PUSH1 0x01 00002ac3: ISZERO 00002ac4: ISZERO 00002ac5: DUP2 00002ac6: MSTORE 00002ac7: POP 00002ac8: SWAP8 00002ac9: POP 00002aca: POP 00002acb: JUMPDEST 00002acc: DUP11 00002acd: DUP9 00002ace: PUSH0 00002acf: ADD 00002ad0: SWAP1 00002ad1: PUSH6 0xffffffffffff 00002ad8: AND 00002ad9: SWAP1 00002ada: DUP2 00002adb: PUSH6 0xffffffffffff 00002ae2: AND 00002ae3: DUP2 00002ae4: MSTORE 00002ae5: POP 00002ae6: POP 00002ae7: JUMPDEST 00002ae8: DUP10 00002ae9: DUP10 00002aea: DUP10 00002aeb: DUP10 00002aec: SWAP5 00002aed: POP 00002aee: SWAP5 00002aef: POP 00002af0: SWAP5 00002af1: POP 00002af2: SWAP5 00002af3: POP 00002af4: POP 00002af5: SWAP7 00002af6: POP 00002af7: SWAP7 00002af8: POP 00002af9: SWAP7 00002afa: POP 00002afb: SWAP7 00002afc: SWAP3 00002afd: POP 00002afe: POP 00002aff: POP 00002b00: JUMP 00002b01: JUMPDEST 00002b02: PUSH0 00002b03: DUP1 00002b04: PUSH0 00002b05: DUP1 00002b06: PUSH0 00002b07: DUP6 00002b08: DUP8 00002b09: GAS 00002b0a: CALL 00002b0b: SWAP1 00002b0c: POP 00002b0d: DUP1 00002b0e: PUSH2 0x2b4c 00002b11: JUMPI 00002b12: PUSH1 0x40 00002b14: MLOAD 00002b15: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002b36: DUP2 00002b37: MSTORE 00002b38: PUSH1 0x04 00002b3a: ADD 00002b3b: PUSH2 0x2b43 00002b3e: SWAP1 00002b3f: PUSH2 0x408b 00002b42: JUMP 00002b43: JUMPDEST 00002b44: PUSH1 0x40 00002b46: MLOAD 00002b47: DUP1 00002b48: SWAP2 00002b49: SUB 00002b4a: SWAP1 00002b4b: REVERT 00002b4c: JUMPDEST 00002b4d: POP 00002b4e: POP 00002b4f: POP 00002b50: JUMP 00002b51: JUMPDEST 00002b52: PUSH0 00002b53: DUP1 00002b54: PUSH0 00002b55: ADDRESS 00002b56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b6b: AND 00002b6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b81: AND 00002b82: DUP2 00002b83: MSTORE 00002b84: PUSH1 0x20 00002b86: ADD 00002b87: SWAP1 00002b88: DUP2 00002b89: MSTORE 00002b8a: PUSH1 0x20 00002b8c: ADD 00002b8d: PUSH0 00002b8e: KECCAK256 00002b8f: SLOAD 00002b90: SWAP1 00002b91: POP 00002b92: PUSH1 0x40 00002b94: MLOAD 00002b95: PUSH32 0xf305d71900000000000000000000000000000000000000000000000000000000 00002bb6: DUP2 00002bb7: MSTORE 00002bb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bcd: ADDRESS 00002bce: AND 00002bcf: PUSH1 0x04 00002bd1: DUP3 00002bd2: ADD 00002bd3: MSTORE 00002bd4: DUP2 00002bd5: PUSH1 0x24 00002bd7: DUP3 00002bd8: ADD 00002bd9: MSTORE 00002bda: PUSH0 00002bdb: PUSH1 0x44 00002bdd: DUP3 00002bde: ADD 00002bdf: MSTORE 00002be0: PUSH0 00002be1: PUSH1 0x64 00002be3: DUP3 00002be4: ADD 00002be5: MSTORE 00002be6: PUSH20 0x0e58bd5557c4e0a0abf0e8d4df24177ae714452d 00002bfb: PUSH1 0x84 00002bfd: DUP3 00002bfe: ADD 00002bff: MSTORE 00002c00: TIMESTAMP 00002c01: PUSH1 0xa4 00002c03: DUP3 00002c04: ADD 00002c05: MSTORE 00002c06: PUSH0 00002c07: DUP1 00002c08: PUSH1 0xc4 00002c0a: DUP4 00002c0b: ADDRESS 00002c0c: BALANCE 00002c0d: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d 00002c22: GAS 00002c23: CALL 00002c24: DUP1 00002c25: PUSH2 0x2c2c 00002c28: JUMPI 00002c29: PUSH0 00002c2a: DUP1 00002c2b: REVERT 00002c2c: JUMPDEST 00002c2d: POP 00002c2e: POP 00002c2f: POP 00002c30: JUMP 00002c31: JUMPDEST 00002c32: PUSH0 00002c33: DUP1 00002c34: DUP5 00002c35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c4a: AND 00002c4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c60: AND 00002c61: DUP2 00002c62: MSTORE 00002c63: PUSH1 0x20 00002c65: ADD 00002c66: SWAP1 00002c67: DUP2 00002c68: MSTORE 00002c69: PUSH1 0x20 00002c6b: ADD 00002c6c: PUSH0 00002c6d: KECCAK256 00002c6e: SLOAD 00002c6f: DUP2 00002c70: GT 00002c71: ISZERO 00002c72: PUSH2 0x2ca7 00002c75: JUMPI 00002c76: PUSH1 0x40 00002c78: MLOAD 00002c79: PUSH32 0x1930e49c00000000000000000000000000000000000000000000000000000000 00002c9a: DUP2 00002c9b: MSTORE 00002c9c: PUSH1 0x04 00002c9e: ADD 00002c9f: PUSH1 0x40 00002ca1: MLOAD 00002ca2: DUP1 00002ca3: SWAP2 00002ca4: SUB 00002ca5: SWAP1 00002ca6: REVERT 00002ca7: JUMPDEST 00002ca8: PUSH0 00002ca9: PUSH1 0x03 00002cab: PUSH0 00002cac: DUP5 00002cad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002cc2: AND 00002cc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002cd8: AND 00002cd9: DUP2 00002cda: MSTORE 00002cdb: PUSH1 0x20 00002cdd: ADD 00002cde: SWAP1 00002cdf: DUP2 00002ce0: MSTORE 00002ce1: PUSH1 0x20 00002ce3: ADD 00002ce4: PUSH0 00002ce5: KECCAK256 00002ce6: PUSH0 00002ce7: SWAP1 00002ce8: SLOAD 00002ce9: SWAP1 00002cea: PUSH2 0x0100 00002ced: EXP 00002cee: SWAP1 00002cef: DIV 00002cf0: PUSH1 0xff 00002cf2: AND 00002cf3: DUP1 00002cf4: PUSH2 0x2d43 00002cf7: JUMPI 00002cf8: POP 00002cf9: PUSH1 0x03 00002cfb: PUSH0 00002cfc: DUP6 00002cfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d12: AND 00002d13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d28: AND 00002d29: DUP2 00002d2a: MSTORE 00002d2b: PUSH1 0x20 00002d2d: ADD 00002d2e: SWAP1 00002d2f: DUP2 00002d30: MSTORE 00002d31: PUSH1 0x20 00002d33: ADD 00002d34: PUSH0 00002d35: KECCAK256 00002d36: PUSH0 00002d37: SWAP1 00002d38: SLOAD 00002d39: SWAP1 00002d3a: PUSH2 0x0100 00002d3d: EXP 00002d3e: SWAP1 00002d3f: DIV 00002d40: PUSH1 0xff 00002d42: AND 00002d43: JUMPDEST 00002d44: ISZERO 00002d45: PUSH2 0x2df6 00002d48: JUMPI 00002d49: PUSH1 0x02 00002d4b: PUSH0 00002d4c: DUP5 00002d4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d62: AND 00002d63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d78: AND 00002d79: DUP2 00002d7a: MSTORE 00002d7b: PUSH1 0x20 00002d7d: ADD 00002d7e: SWAP1 00002d7f: DUP2 00002d80: MSTORE 00002d81: PUSH1 0x20 00002d83: ADD 00002d84: PUSH0 00002d85: KECCAK256 00002d86: PUSH0 00002d87: SWAP1 00002d88: SLOAD 00002d89: SWAP1 00002d8a: PUSH2 0x0100 00002d8d: EXP 00002d8e: SWAP1 00002d8f: DIV 00002d90: PUSH1 0xff 00002d92: AND 00002d93: DUP1 00002d94: PUSH2 0x2de3 00002d97: JUMPI 00002d98: POP 00002d99: PUSH1 0x02 00002d9b: PUSH0 00002d9c: DUP6 00002d9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002db2: AND 00002db3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002dc8: AND 00002dc9: DUP2 00002dca: MSTORE 00002dcb: PUSH1 0x20 00002dcd: ADD 00002dce: SWAP1 00002dcf: DUP2 00002dd0: MSTORE 00002dd1: PUSH1 0x20 00002dd3: ADD 00002dd4: PUSH0 00002dd5: KECCAK256 00002dd6: PUSH0 00002dd7: SWAP1 00002dd8: SLOAD 00002dd9: SWAP1 00002dda: PUSH2 0x0100 00002ddd: EXP 00002dde: SWAP1 00002ddf: DIV 00002de0: PUSH1 0xff 00002de2: AND 00002de3: JUMPDEST 00002de4: ISZERO 00002de5: PUSH2 0x2df0 00002de8: JUMPI 00002de9: PUSH0 00002dea: SWAP1 00002deb: POP 00002dec: PUSH2 0x2df5 00002def: JUMP 00002df0: JUMPDEST 00002df1: PUSH1 0x01 00002df3: SWAP1 00002df4: POP 00002df5: JUMPDEST 00002df6: JUMPDEST 00002df7: PUSH2 0x2e01 00002dfa: DUP5 00002dfb: DUP5 00002dfc: DUP5 00002dfd: PUSH2 0x33db 00002e00: JUMP 00002e01: JUMPDEST 00002e02: ISZERO 00002e03: PUSH2 0x2e38 00002e06: JUMPI 00002e07: PUSH1 0x40 00002e09: MLOAD 00002e0a: PUSH32 0xd5e85fe600000000000000000000000000000000000000000000000000000000 00002e2b: DUP2 00002e2c: MSTORE 00002e2d: PUSH1 0x04 00002e2f: ADD 00002e30: PUSH1 0x40 00002e32: MLOAD 00002e33: DUP1 00002e34: SWAP2 00002e35: SUB 00002e36: SWAP1 00002e37: REVERT 00002e38: JUMPDEST 00002e39: DUP1 00002e3a: ISZERO 00002e3b: PUSH2 0x2f61 00002e3e: JUMPI 00002e3f: PUSH0 00002e40: PUSH2 0x03e8 00002e43: PUSH1 0x32 00002e45: PUSH1 0xff 00002e47: AND 00002e48: DUP5 00002e49: PUSH2 0x2e52 00002e4c: SWAP2 00002e4d: SWAP1 00002e4e: PUSH2 0x3cda 00002e51: JUMP 00002e52: JUMPDEST 00002e53: PUSH2 0x2e5c 00002e56: SWAP2 00002e57: SWAP1 00002e58: PUSH2 0x3d48 00002e5b: JUMP 00002e5c: JUMPDEST 00002e5d: SWAP1 00002e5e: POP 00002e5f: DUP3 00002e60: PUSH0 00002e61: DUP1 00002e62: DUP8 00002e63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e78: AND 00002e79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e8e: AND 00002e8f: DUP2 00002e90: MSTORE 00002e91: PUSH1 0x20 00002e93: ADD 00002e94: SWAP1 00002e95: DUP2 00002e96: MSTORE 00002e97: PUSH1 0x20 00002e99: ADD 00002e9a: PUSH0 00002e9b: KECCAK256 00002e9c: PUSH0 00002e9d: DUP3 00002e9e: DUP3 00002e9f: SLOAD 00002ea0: SUB 00002ea1: SWAP3 00002ea2: POP 00002ea3: POP 00002ea4: DUP2 00002ea5: SWAP1 00002ea6: SSTORE 00002ea7: POP 00002ea8: DUP1 00002ea9: PUSH0 00002eaa: DUP1 00002eab: PUSH20 0x0e58bd5557c4e0a0abf0e8d4df24177ae714452d 00002ec0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ed5: AND 00002ed6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002eeb: AND 00002eec: DUP2 00002eed: MSTORE 00002eee: PUSH1 0x20 00002ef0: ADD 00002ef1: SWAP1 00002ef2: DUP2 00002ef3: MSTORE 00002ef4: PUSH1 0x20 00002ef6: ADD 00002ef7: PUSH0 00002ef8: KECCAK256 00002ef9: PUSH0 00002efa: DUP3 00002efb: DUP3 00002efc: SLOAD 00002efd: ADD 00002efe: SWAP3 00002eff: POP 00002f00: POP 00002f01: DUP2 00002f02: SWAP1 00002f03: SSTORE 00002f04: POP 00002f05: DUP1 00002f06: DUP4 00002f07: PUSH2 0x2f10 00002f0a: SWAP2 00002f0b: SWAP1 00002f0c: PUSH2 0x3e1d 00002f0f: JUMP 00002f10: JUMPDEST 00002f11: SWAP3 00002f12: POP 00002f13: DUP3 00002f14: PUSH0 00002f15: DUP1 00002f16: DUP7 00002f17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f2c: AND 00002f2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f42: AND 00002f43: DUP2 00002f44: MSTORE 00002f45: PUSH1 0x20 00002f47: ADD 00002f48: SWAP1 00002f49: DUP2 00002f4a: MSTORE 00002f4b: PUSH1 0x20 00002f4d: ADD 00002f4e: PUSH0 00002f4f: KECCAK256 00002f50: PUSH0 00002f51: DUP3 00002f52: DUP3 00002f53: SLOAD 00002f54: ADD 00002f55: SWAP3 00002f56: POP 00002f57: POP 00002f58: DUP2 00002f59: SWAP1 00002f5a: SSTORE 00002f5b: POP 00002f5c: POP 00002f5d: PUSH2 0x2ff4 00002f60: JUMP 00002f61: JUMPDEST 00002f62: DUP2 00002f63: PUSH0 00002f64: DUP1 00002f65: DUP7 00002f66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f7b: AND 00002f7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f91: AND 00002f92: DUP2 00002f93: MSTORE 00002f94: PUSH1 0x20 00002f96: ADD 00002f97: SWAP1 00002f98: DUP2 00002f99: MSTORE 00002f9a: PUSH1 0x20 00002f9c: ADD 00002f9d: PUSH0 00002f9e: KECCAK256 00002f9f: PUSH0 00002fa0: DUP3 00002fa1: DUP3 00002fa2: SLOAD 00002fa3: SUB 00002fa4: SWAP3 00002fa5: POP 00002fa6: POP 00002fa7: DUP2 00002fa8: SWAP1 00002fa9: SSTORE 00002faa: POP 00002fab: DUP2 00002fac: PUSH0 00002fad: DUP1 00002fae: DUP6 00002faf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002fc4: AND 00002fc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002fda: AND 00002fdb: DUP2 00002fdc: MSTORE 00002fdd: PUSH1 0x20 00002fdf: ADD 00002fe0: SWAP1 00002fe1: DUP2 00002fe2: MSTORE 00002fe3: PUSH1 0x20 00002fe5: ADD 00002fe6: PUSH0 00002fe7: KECCAK256 00002fe8: PUSH0 00002fe9: DUP3 00002fea: DUP3 00002feb: SLOAD 00002fec: ADD 00002fed: SWAP3 00002fee: POP 00002fef: POP 00002ff0: DUP2 00002ff1: SWAP1 00002ff2: SSTORE 00002ff3: POP 00002ff4: JUMPDEST 00002ff5: DUP3 00002ff6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000300b: AND 0000300c: DUP5 0000300d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003022: AND 00003023: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00003044: DUP5 00003045: PUSH1 0x40 00003047: MLOAD 00003048: PUSH2 0x3051 0000304b: SWAP2 0000304c: SWAP1 0000304d: PUSH2 0x3b17 00003050: JUMP 00003051: JUMPDEST 00003052: PUSH1 0x40 00003054: MLOAD 00003055: DUP1 00003056: SWAP2 00003057: SUB 00003058: SWAP1 00003059: LOG3 0000305a: POP 0000305b: POP 0000305c: POP 0000305d: POP 0000305e: JUMP 0000305f: JUMPDEST 00003060: DUP1 00003061: PUSH0 00003062: DUP1 00003063: DUP5 00003064: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003079: AND 0000307a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000308f: AND 00003090: DUP2 00003091: MSTORE 00003092: PUSH1 0x20 00003094: ADD 00003095: SWAP1 00003096: DUP2 00003097: MSTORE 00003098: PUSH1 0x20 0000309a: ADD 0000309b: PUSH0 0000309c: KECCAK256 0000309d: SLOAD 0000309e: LT 0000309f: ISZERO 000030a0: PUSH2 0x30d5 000030a3: JUMPI 000030a4: PUSH1 0x40 000030a6: MLOAD 000030a7: PUSH32 0x1930e49c00000000000000000000000000000000000000000000000000000000 000030c8: DUP2 000030c9: MSTORE 000030ca: PUSH1 0x04 000030cc: ADD 000030cd: PUSH1 0x40 000030cf: MLOAD 000030d0: DUP1 000030d1: SWAP2 000030d2: SUB 000030d3: SWAP1 000030d4: REVERT 000030d5: JUMPDEST 000030d6: DUP1 000030d7: PUSH0 000030d8: DUP1 000030d9: DUP5 000030da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000030ef: AND 000030f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003105: AND 00003106: DUP2 00003107: MSTORE 00003108: PUSH1 0x20 0000310a: ADD 0000310b: SWAP1 0000310c: DUP2 0000310d: MSTORE 0000310e: PUSH1 0x20 00003110: ADD 00003111: PUSH0 00003112: KECCAK256 00003113: PUSH0 00003114: DUP3 00003115: DUP3 00003116: SLOAD 00003117: SUB 00003118: SWAP3 00003119: POP 0000311a: POP 0000311b: DUP2 0000311c: SWAP1 0000311d: SSTORE 0000311e: POP 0000311f: DUP1 00003120: PUSH1 0x04 00003122: PUSH0 00003123: DUP3 00003124: DUP3 00003125: SLOAD 00003126: SUB 00003127: SWAP3 00003128: POP 00003129: POP 0000312a: DUP2 0000312b: SWAP1 0000312c: SSTORE 0000312d: POP 0000312e: PUSH0 0000312f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003144: AND 00003145: DUP3 00003146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000315b: AND 0000315c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000317d: DUP4 0000317e: PUSH1 0x40 00003180: MLOAD 00003181: PUSH2 0x318a 00003184: SWAP2 00003185: SWAP1 00003186: PUSH2 0x3b17 00003189: JUMP 0000318a: JUMPDEST 0000318b: PUSH1 0x40 0000318d: MLOAD 0000318e: DUP1 0000318f: SWAP2 00003190: SUB 00003191: SWAP1 00003192: LOG3 00003193: POP 00003194: POP 00003195: JUMP 00003196: JUMPDEST 00003197: PUSH1 0x40 00003199: MLOAD 0000319a: PUSH32 0xf305d71900000000000000000000000000000000000000000000000000000000 000031bb: DUP2 000031bc: MSTORE 000031bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000031d2: ADDRESS 000031d3: AND 000031d4: PUSH1 0x04 000031d6: DUP3 000031d7: ADD 000031d8: MSTORE 000031d9: DUP3 000031da: PUSH1 0x24 000031dc: DUP3 000031dd: ADD 000031de: MSTORE 000031df: PUSH0 000031e0: PUSH1 0x44 000031e2: DUP3 000031e3: ADD 000031e4: MSTORE 000031e5: PUSH0 000031e6: PUSH1 0x64 000031e8: DUP3 000031e9: ADD 000031ea: MSTORE 000031eb: PUSH20 0x0e58bd5557c4e0a0abf0e8d4df24177ae714452d 00003200: PUSH1 0x84 00003202: DUP3 00003203: ADD 00003204: MSTORE 00003205: TIMESTAMP 00003206: PUSH1 0xa4 00003208: DUP3 00003209: ADD 0000320a: MSTORE 0000320b: PUSH0 0000320c: DUP1 0000320d: PUSH1 0xc4 0000320f: DUP4 00003210: DUP6 00003211: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d 00003226: GAS 00003227: CALL 00003228: DUP1 00003229: PUSH2 0x3230 0000322c: JUMPI 0000322d: PUSH0 0000322e: DUP1 0000322f: REVERT 00003230: JUMPDEST 00003231: POP 00003232: POP 00003233: POP 00003234: POP 00003235: JUMP 00003236: JUMPDEST 00003237: PUSH0 00003238: DUP1 00003239: PUSH1 0x04 0000323b: SLOAD 0000323c: SWAP1 0000323d: POP 0000323e: PUSH0 0000323f: DUP5 00003240: DUP3 00003241: PUSH2 0x324a 00003244: SWAP2 00003245: SWAP1 00003246: PUSH2 0x3e1d 00003249: JUMP 0000324a: JUMPDEST 0000324b: PUSH8 0x0de0b6b3a7640000 00003254: SELFBALANCE 00003255: PUSH2 0x325e 00003258: SWAP2 00003259: SWAP1 0000325a: PUSH2 0x3cda 0000325d: JUMP 0000325e: JUMPDEST 0000325f: PUSH2 0x3268 00003262: SWAP2 00003263: SWAP1 00003264: PUSH2 0x3d48 00003267: JUMP 00003268: JUMPDEST 00003269: SWAP1 0000326a: POP 0000326b: PUSH0 0000326c: DUP3 0000326d: DUP6 0000326e: DUP8 0000326f: PUSH2 0x3278 00003272: SWAP2 00003273: SWAP1 00003274: PUSH2 0x3cda 00003277: JUMP 00003278: JUMPDEST 00003279: PUSH8 0x0de0b6b3a7640000 00003282: SELFBALANCE 00003283: PUSH2 0x328c 00003286: SWAP2 00003287: SWAP1 00003288: PUSH2 0x3cda 0000328b: JUMP 0000328c: JUMPDEST 0000328d: PUSH2 0x3296 00003290: SWAP2 00003291: SWAP1 00003292: PUSH2 0x3ec1 00003295: JUMP 00003296: JUMPDEST 00003297: PUSH2 0x32a0 0000329a: SWAP2 0000329b: SWAP1 0000329c: PUSH2 0x3d48 0000329f: JUMP 000032a0: JUMPDEST 000032a1: SWAP1 000032a2: POP 000032a3: DUP1 000032a4: DUP3 000032a5: LT 000032a6: ISZERO 000032a7: PUSH2 0x32b1 000032aa: JUMPI 000032ab: PUSH1 0x01 000032ad: PUSH2 0x32b3 000032b0: JUMP 000032b1: JUMPDEST 000032b2: PUSH0 000032b3: JUMPDEST 000032b4: SWAP4 000032b5: POP 000032b6: POP 000032b7: POP 000032b8: POP 000032b9: SWAP3 000032ba: SWAP2 000032bb: POP 000032bc: POP 000032bd: JUMP 000032be: JUMPDEST 000032bf: PUSH0 000032c0: DUP1 000032c1: DUP4 000032c2: PUSH1 0x20 000032c4: ADD 000032c5: MLOAD 000032c6: PUSH6 0xffffffffffff 000032cd: AND 000032ce: TIMESTAMP 000032cf: PUSH2 0x32d8 000032d2: SWAP2 000032d3: SWAP1 000032d4: PUSH2 0x3e1d 000032d7: JUMP 000032d8: JUMPDEST 000032d9: SWAP1 000032da: POP 000032db: DUP4 000032dc: PUSH1 0x40 000032de: ADD 000032df: MLOAD 000032e0: PUSH6 0xffffffffffff 000032e7: AND 000032e8: DUP2 000032e9: DUP5 000032ea: PUSH1 0x20 000032ec: ADD 000032ed: MLOAD 000032ee: PUSH12 0xffffffffffffffffffffffff 000032fb: AND 000032fc: PUSH2 0x3305 000032ff: SWAP2 00003300: SWAP1 00003301: PUSH2 0x3cda 00003304: JUMP 00003305: JUMPDEST 00003306: PUSH2 0x330f 00003309: SWAP2 0000330a: SWAP1 0000330b: PUSH2 0x3d48 0000330e: JUMP 0000330f: JUMPDEST 00003310: SWAP2 00003311: POP 00003312: POP 00003313: SWAP3 00003314: SWAP2 00003315: POP 00003316: POP 00003317: JUMP 00003318: JUMPDEST 00003319: PUSH0 0000331a: DUP1 0000331b: PUSH0 0000331c: DUP4 0000331d: PUSH1 0x60 0000331f: ADD 00003320: MLOAD 00003321: PUSH2 0x3332 00003324: JUMPI 00003325: PUSH0 00003326: DUP1 00003327: PUSH0 00003328: SWAP3 00003329: POP 0000332a: SWAP3 0000332b: POP 0000332c: SWAP3 0000332d: POP 0000332e: PUSH2 0x33ac 00003331: JUMP 00003332: JUMPDEST 00003333: PUSH0 00003334: DUP5 00003335: PUSH1 0x20 00003337: ADD 00003338: MLOAD 00003339: TIMESTAMP 0000333a: PUSH2 0x3343 0000333d: SWAP2 0000333e: SWAP1 0000333f: PUSH2 0x3fcf 00003342: JUMP 00003343: JUMPDEST 00003344: SWAP1 00003345: POP 00003346: PUSH0 00003347: DUP6 00003348: PUSH1 0x40 0000334a: ADD 0000334b: MLOAD 0000334c: PUSH6 0xffffffffffff 00003353: AND 00003354: DUP3 00003355: PUSH6 0xffffffffffff 0000335c: AND 0000335d: LT 0000335e: SWAP1 0000335f: POP 00003360: PUSH0 00003361: DUP2 00003362: PUSH2 0x336e 00003365: JUMPI 00003366: DUP7 00003367: PUSH0 00003368: ADD 00003369: MLOAD 0000336a: PUSH2 0x339d 0000336d: JUMP 0000336e: JUMPDEST 0000336f: DUP7 00003370: PUSH1 0x40 00003372: ADD 00003373: MLOAD 00003374: PUSH6 0xffffffffffff 0000337b: AND 0000337c: DUP4 0000337d: PUSH6 0xffffffffffff 00003384: AND 00003385: DUP9 00003386: PUSH0 00003387: ADD 00003388: MLOAD 00003389: PUSH2 0x3392 0000338c: SWAP2 0000338d: SWAP1 0000338e: PUSH2 0x40a9 00003391: JUMP 00003392: JUMPDEST 00003393: PUSH2 0x339c 00003396: SWAP2 00003397: SWAP1 00003398: PUSH2 0x40e5 0000339b: JUMP 0000339c: JUMPDEST 0000339d: JUMPDEST 0000339e: SWAP1 0000339f: POP 000033a0: DUP1 000033a1: DUP4 000033a2: DUP4 000033a3: SWAP6 000033a4: POP 000033a5: SWAP6 000033a6: POP 000033a7: SWAP6 000033a8: POP 000033a9: POP 000033aa: POP 000033ab: POP 000033ac: JUMPDEST 000033ad: SWAP2 000033ae: SWAP4 000033af: SWAP1 000033b0: SWAP3 000033b1: POP 000033b2: JUMP 000033b3: JUMPDEST 000033b4: PUSH0 000033b5: DUP2 000033b6: PUSH8 0x0de0b6b3a7640000 000033bf: DUP5 000033c0: PUSH2 0x33c9 000033c3: SWAP2 000033c4: SWAP1 000033c5: PUSH2 0x3cda 000033c8: JUMP 000033c9: JUMPDEST 000033ca: PUSH2 0x33d3 000033cd: SWAP2 000033ce: SWAP1 000033cf: PUSH2 0x3d48 000033d2: JUMP 000033d3: JUMPDEST 000033d4: SWAP1 000033d5: POP 000033d6: SWAP3 000033d7: SWAP2 000033d8: POP 000033d9: POP 000033da: JUMP 000033db: JUMPDEST 000033dc: PUSH0 000033dd: DUP1 000033de: PUSH1 0x0c 000033e0: PUSH1 0x40 000033e2: MLOAD 000033e3: DUP1 000033e4: PUSH1 0x60 000033e6: ADD 000033e7: PUSH1 0x40 000033e9: MSTORE 000033ea: SWAP1 000033eb: DUP2 000033ec: PUSH0 000033ed: DUP3 000033ee: ADD 000033ef: PUSH0 000033f0: SWAP1 000033f1: SLOAD 000033f2: SWAP1 000033f3: PUSH2 0x0100 000033f6: EXP 000033f7: SWAP1 000033f8: DIV 000033f9: PUSH12 0xffffffffffffffffffffffff 00003406: AND 00003407: PUSH12 0xffffffffffffffffffffffff 00003414: AND 00003415: PUSH12 0xffffffffffffffffffffffff 00003422: AND 00003423: DUP2 00003424: MSTORE 00003425: PUSH1 0x20 00003427: ADD 00003428: PUSH0 00003429: DUP3 0000342a: ADD 0000342b: PUSH1 0x0c 0000342d: SWAP1 0000342e: SLOAD 0000342f: SWAP1 00003430: PUSH2 0x0100 00003433: EXP 00003434: SWAP1 00003435: DIV 00003436: PUSH12 0xffffffffffffffffffffffff 00003443: AND 00003444: PUSH12 0xffffffffffffffffffffffff 00003451: AND 00003452: PUSH12 0xffffffffffffffffffffffff 0000345f: AND 00003460: DUP2 00003461: MSTORE 00003462: PUSH1 0x20 00003464: ADD 00003465: PUSH0 00003466: DUP3 00003467: ADD 00003468: PUSH1 0x18 0000346a: SWAP1 0000346b: SLOAD 0000346c: SWAP1 0000346d: PUSH2 0x0100 00003470: EXP 00003471: SWAP1 00003472: DIV 00003473: PUSH1 0xff 00003475: AND 00003476: ISZERO 00003477: ISZERO 00003478: ISZERO 00003479: ISZERO 0000347a: DUP2 0000347b: MSTORE 0000347c: POP 0000347d: POP 0000347e: SWAP1 0000347f: POP 00003480: DUP1 00003481: PUSH1 0x40 00003483: ADD 00003484: MLOAD 00003485: PUSH2 0x3490 00003488: JUMPI 00003489: PUSH0 0000348a: SWAP2 0000348b: POP 0000348c: PUSH2 0x3654 0000348f: JUMP 00003490: JUMPDEST 00003491: ADDRESS 00003492: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000034a7: AND 000034a8: DUP6 000034a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000034be: AND 000034bf: EQ 000034c0: DUP1 000034c1: ISZERO 000034c2: PUSH2 0x3516 000034c5: JUMPI 000034c6: POP 000034c7: PUSH32 0x000000000000000000000000a3d64865004142aba7b315c9fa43a5c26d5115c2 000034e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000034fd: AND 000034fe: DUP5 000034ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003514: AND 00003515: EQ 00003516: JUMPDEST 00003517: ISZERO 00003518: PUSH2 0x3523 0000351b: JUMPI 0000351c: PUSH0 0000351d: SWAP2 0000351e: POP 0000351f: PUSH2 0x3653 00003522: JUMP 00003523: JUMPDEST 00003524: PUSH1 0x02 00003526: PUSH0 00003527: DUP6 00003528: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000353d: AND 0000353e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003553: AND 00003554: DUP2 00003555: MSTORE 00003556: PUSH1 0x20 00003558: ADD 00003559: SWAP1 0000355a: DUP2 0000355b: MSTORE 0000355c: PUSH1 0x20 0000355e: ADD 0000355f: PUSH0 00003560: KECCAK256 00003561: PUSH0 00003562: SWAP1 00003563: SLOAD 00003564: SWAP1 00003565: PUSH2 0x0100 00003568: EXP 00003569: SWAP1 0000356a: DIV 0000356b: PUSH1 0xff 0000356d: AND 0000356e: ISZERO 0000356f: DUP1 00003570: ISZERO 00003571: PUSH2 0x35c1 00003574: JUMPI 00003575: POP 00003576: PUSH1 0x02 00003578: PUSH0 00003579: DUP7 0000357a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000358f: AND 00003590: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000035a5: AND 000035a6: DUP2 000035a7: MSTORE 000035a8: PUSH1 0x20 000035aa: ADD 000035ab: SWAP1 000035ac: DUP2 000035ad: MSTORE 000035ae: PUSH1 0x20 000035b0: ADD 000035b1: PUSH0 000035b2: KECCAK256 000035b3: PUSH0 000035b4: SWAP1 000035b5: SLOAD 000035b6: SWAP1 000035b7: PUSH2 0x0100 000035ba: EXP 000035bb: SWAP1 000035bc: DIV 000035bd: PUSH1 0xff 000035bf: AND 000035c0: ISZERO 000035c1: JUMPDEST 000035c2: DUP1 000035c3: ISZERO 000035c4: PUSH2 0x3640 000035c7: JUMPI 000035c8: POP 000035c9: DUP3 000035ca: DUP2 000035cb: PUSH1 0x20 000035cd: ADD 000035ce: MLOAD 000035cf: PUSH12 0xffffffffffffffffffffffff 000035dc: AND 000035dd: LT 000035de: DUP1 000035df: PUSH2 0x363f 000035e2: JUMPI 000035e3: POP 000035e4: DUP3 000035e5: PUSH0 000035e6: DUP1 000035e7: DUP7 000035e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000035fd: AND 000035fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003613: AND 00003614: DUP2 00003615: MSTORE 00003616: PUSH1 0x20 00003618: ADD 00003619: SWAP1 0000361a: DUP2 0000361b: MSTORE 0000361c: PUSH1 0x20 0000361e: ADD 0000361f: PUSH0 00003620: KECCAK256 00003621: SLOAD 00003622: PUSH2 0x362b 00003625: SWAP2 00003626: SWAP1 00003627: PUSH2 0x3ec1 0000362a: JUMP 0000362b: JUMPDEST 0000362c: DUP2 0000362d: PUSH0 0000362e: ADD 0000362f: MLOAD 00003630: PUSH12 0xffffffffffffffffffffffff 0000363d: AND 0000363e: LT 0000363f: JUMPDEST 00003640: JUMPDEST 00003641: ISZERO 00003642: PUSH2 0x364e 00003645: JUMPI 00003646: PUSH1 0x01 00003648: SWAP2 00003649: POP 0000364a: PUSH2 0x3652 0000364d: JUMP 0000364e: JUMPDEST 0000364f: PUSH0 00003650: SWAP2 00003651: POP 00003652: JUMPDEST 00003653: JUMPDEST 00003654: JUMPDEST 00003655: POP 00003656: SWAP4 00003657: SWAP3 00003658: POP 00003659: POP 0000365a: POP 0000365b: JUMP 0000365c: JUMPDEST 0000365d: PUSH1 0x40 0000365f: MLOAD 00003660: DUP1 00003661: PUSH1 0xa0 00003663: ADD 00003664: PUSH1 0x40 00003666: MSTORE 00003667: DUP1 00003668: PUSH0 00003669: PUSH12 0xffffffffffffffffffffffff 00003676: AND 00003677: DUP2 00003678: MSTORE 00003679: PUSH1 0x20 0000367b: ADD 0000367c: PUSH0 0000367d: PUSH12 0xffffffffffffffffffffffff 0000368a: AND 0000368b: DUP2 0000368c: MSTORE 0000368d: PUSH1 0x20 0000368f: ADD 00003690: PUSH0 00003691: PUSH12 0xffffffffffffffffffffffff 0000369e: AND 0000369f: DUP2 000036a0: MSTORE 000036a1: PUSH1 0x20 000036a3: ADD 000036a4: PUSH0 000036a5: PUSH12 0xffffffffffffffffffffffff 000036b2: AND 000036b3: DUP2 000036b4: MSTORE 000036b5: PUSH1 0x20 000036b7: ADD 000036b8: PUSH0 000036b9: PUSH12 0xffffffffffffffffffffffff 000036c6: AND 000036c7: DUP2 000036c8: MSTORE 000036c9: POP 000036ca: SWAP1 000036cb: JUMP 000036cc: JUMPDEST 000036cd: PUSH1 0x40 000036cf: MLOAD 000036d0: DUP1 000036d1: PUSH1 0x40 000036d3: ADD 000036d4: PUSH1 0x40 000036d6: MSTORE 000036d7: DUP1 000036d8: PUSH0 000036d9: PUSH6 0xffffffffffff 000036e0: AND 000036e1: DUP2 000036e2: MSTORE 000036e3: PUSH1 0x20 000036e5: ADD 000036e6: PUSH0 000036e7: DUP2 000036e8: MSTORE 000036e9: POP 000036ea: SWAP1 000036eb: JUMP 000036ec: JUMPDEST 000036ed: PUSH1 0x40 000036ef: MLOAD 000036f0: DUP1 000036f1: PUSH1 0xa0 000036f3: ADD 000036f4: PUSH1 0x40 000036f6: MSTORE 000036f7: DUP1 000036f8: PUSH0 000036f9: PUSH6 0xffffffffffff 00003700: AND 00003701: DUP2 00003702: MSTORE 00003703: PUSH1 0x20 00003705: ADD 00003706: PUSH0 00003707: PUSH6 0xffffffffffff 0000370e: AND 0000370f: DUP2 00003710: MSTORE 00003711: PUSH1 0x20 00003713: ADD 00003714: PUSH0 00003715: PUSH6 0xffffffffffff 0000371c: AND 0000371d: DUP2 0000371e: MSTORE 0000371f: PUSH1 0x20 00003721: ADD 00003722: PUSH0 00003723: PUSH6 0xffffffffffff 0000372a: AND 0000372b: DUP2 0000372c: MSTORE 0000372d: PUSH1 0x20 0000372f: ADD 00003730: PUSH0 00003731: PUSH6 0xffffffffffff 00003738: AND 00003739: DUP2 0000373a: MSTORE 0000373b: POP 0000373c: SWAP1 0000373d: JUMP 0000373e: JUMPDEST 0000373f: PUSH1 0x40 00003741: MLOAD 00003742: DUP1 00003743: PUSH1 0x80 00003745: ADD 00003746: PUSH1 0x40 00003748: MSTORE 00003749: DUP1 0000374a: PUSH0 0000374b: PUSH16 0xffffffffffffffffffffffffffffffff 0000375c: AND 0000375d: DUP2 0000375e: MSTORE 0000375f: PUSH1 0x20 00003761: ADD 00003762: PUSH0 00003763: PUSH6 0xffffffffffff 0000376a: AND 0000376b: DUP2 0000376c: MSTORE 0000376d: PUSH1 0x20 0000376f: ADD 00003770: PUSH0 00003771: PUSH6 0xffffffffffff 00003778: AND 00003779: DUP2 0000377a: MSTORE 0000377b: PUSH1 0x20 0000377d: ADD 0000377e: PUSH0 0000377f: ISZERO 00003780: ISZERO 00003781: DUP2 00003782: MSTORE 00003783: POP 00003784: SWAP1 00003785: JUMP 00003786: JUMPDEST 00003787: PUSH1 0x40 00003789: MLOAD 0000378a: DUP1 0000378b: PUSH1 0xa0 0000378d: ADD 0000378e: PUSH1 0x40 00003790: MSTORE 00003791: DUP1 00003792: PUSH0 00003793: DUP2 00003794: MSTORE 00003795: PUSH1 0x20 00003797: ADD 00003798: PUSH0 00003799: DUP2 0000379a: MSTORE 0000379b: PUSH1 0x20 0000379d: ADD 0000379e: PUSH0 0000379f: DUP2 000037a0: MSTORE 000037a1: PUSH1 0x20 000037a3: ADD 000037a4: PUSH0 000037a5: DUP2 000037a6: MSTORE 000037a7: PUSH1 0x20 000037a9: ADD 000037aa: PUSH0 000037ab: DUP2 000037ac: MSTORE 000037ad: POP 000037ae: SWAP1 000037af: JUMP 000037b0: JUMPDEST 000037b1: PUSH0 000037b2: PUSH12 0xffffffffffffffffffffffff 000037bf: DUP3 000037c0: AND 000037c1: SWAP1 000037c2: POP 000037c3: SWAP2 000037c4: SWAP1 000037c5: POP 000037c6: JUMP 000037c7: JUMPDEST 000037c8: PUSH2 0x37d0 000037cb: DUP2 000037cc: PUSH2 0x37b0 000037cf: JUMP 000037d0: JUMPDEST 000037d1: DUP3 000037d2: MSTORE 000037d3: POP 000037d4: POP 000037d5: JUMP 000037d6: JUMPDEST 000037d7: PUSH1 0xa0 000037d9: DUP3 000037da: ADD 000037db: PUSH0 000037dc: DUP3 000037dd: ADD 000037de: MLOAD 000037df: PUSH2 0x37ea 000037e2: PUSH0 000037e3: DUP6 000037e4: ADD 000037e5: DUP3 000037e6: PUSH2 0x37c7 000037e9: JUMP 000037ea: JUMPDEST 000037eb: POP 000037ec: PUSH1 0x20 000037ee: DUP3 000037ef: ADD 000037f0: MLOAD 000037f1: PUSH2 0x37fd 000037f4: PUSH1 0x20 000037f6: DUP6 000037f7: ADD 000037f8: DUP3 000037f9: PUSH2 0x37c7 000037fc: JUMP 000037fd: JUMPDEST 000037fe: POP 000037ff: PUSH1 0x40 00003801: DUP3 00003802: ADD 00003803: MLOAD 00003804: PUSH2 0x3810 00003807: PUSH1 0x40 00003809: DUP6 0000380a: ADD 0000380b: DUP3 0000380c: PUSH2 0x37c7 0000380f: JUMP 00003810: JUMPDEST 00003811: POP 00003812: PUSH1 0x60 00003814: DUP3 00003815: ADD 00003816: MLOAD 00003817: PUSH2 0x3823 0000381a: PUSH1 0x60 0000381c: DUP6 0000381d: ADD 0000381e: DUP3 0000381f: PUSH2 0x37c7 00003822: JUMP 00003823: JUMPDEST 00003824: POP 00003825: PUSH1 0x80 00003827: DUP3 00003828: ADD 00003829: MLOAD 0000382a: PUSH2 0x3836 0000382d: PUSH1 0x80 0000382f: DUP6 00003830: ADD 00003831: DUP3 00003832: PUSH2 0x37c7 00003835: JUMP 00003836: JUMPDEST 00003837: POP 00003838: POP 00003839: POP 0000383a: POP 0000383b: JUMP 0000383c: JUMPDEST 0000383d: PUSH0 0000383e: PUSH6 0xffffffffffff 00003845: DUP3 00003846: AND 00003847: SWAP1 00003848: POP 00003849: SWAP2 0000384a: SWAP1 0000384b: POP 0000384c: JUMP 0000384d: JUMPDEST 0000384e: PUSH2 0x3856 00003851: DUP2 00003852: PUSH2 0x383c 00003855: JUMP 00003856: JUMPDEST 00003857: DUP3 00003858: MSTORE 00003859: POP 0000385a: POP 0000385b: JUMP 0000385c: JUMPDEST 0000385d: PUSH0 0000385e: DUP2 0000385f: SWAP1 00003860: POP 00003861: SWAP2 00003862: SWAP1 00003863: POP 00003864: JUMP 00003865: JUMPDEST 00003866: PUSH2 0x386e 00003869: DUP2 0000386a: PUSH2 0x385c 0000386d: JUMP 0000386e: JUMPDEST 0000386f: DUP3 00003870: MSTORE 00003871: POP 00003872: POP 00003873: JUMP 00003874: JUMPDEST 00003875: PUSH1 0x40 00003877: DUP3 00003878: ADD 00003879: PUSH0 0000387a: DUP3 0000387b: ADD 0000387c: MLOAD 0000387d: PUSH2 0x3888 00003880: PUSH0 00003881: DUP6 00003882: ADD 00003883: DUP3 00003884: PUSH2 0x384d 00003887: JUMP 00003888: JUMPDEST 00003889: POP 0000388a: PUSH1 0x20 0000388c: DUP3 0000388d: ADD 0000388e: MLOAD 0000388f: PUSH2 0x389b 00003892: PUSH1 0x20 00003894: DUP6 00003895: ADD 00003896: DUP3 00003897: PUSH2 0x3865 0000389a: JUMP 0000389b: JUMPDEST 0000389c: POP 0000389d: POP 0000389e: POP 0000389f: POP 000038a0: JUMP 000038a1: JUMPDEST 000038a2: PUSH1 0xa0 000038a4: DUP3 000038a5: ADD 000038a6: PUSH0 000038a7: DUP3 000038a8: ADD 000038a9: MLOAD 000038aa: PUSH2 0x38b5 000038ad: PUSH0 000038ae: DUP6 000038af: ADD 000038b0: DUP3 000038b1: PUSH2 0x384d 000038b4: JUMP 000038b5: JUMPDEST 000038b6: POP 000038b7: PUSH1 0x20 000038b9: DUP3 000038ba: ADD 000038bb: MLOAD 000038bc: PUSH2 0x38c8 000038bf: PUSH1 0x20 000038c1: DUP6 000038c2: ADD 000038c3: DUP3 000038c4: PUSH2 0x384d 000038c7: JUMP 000038c8: JUMPDEST 000038c9: POP 000038ca: PUSH1 0x40 000038cc: DUP3 000038cd: ADD 000038ce: MLOAD 000038cf: PUSH2 0x38db 000038d2: PUSH1 0x40 000038d4: DUP6 000038d5: ADD 000038d6: DUP3 000038d7: PUSH2 0x384d 000038da: JUMP 000038db: JUMPDEST 000038dc: POP 000038dd: PUSH1 0x60 000038df: DUP3 000038e0: ADD 000038e1: MLOAD 000038e2: PUSH2 0x38ee 000038e5: PUSH1 0x60 000038e7: DUP6 000038e8: ADD 000038e9: DUP3 000038ea: PUSH2 0x384d 000038ed: JUMP 000038ee: JUMPDEST 000038ef: POP 000038f0: PUSH1 0x80 000038f2: DUP3 000038f3: ADD 000038f4: MLOAD 000038f5: PUSH2 0x3901 000038f8: PUSH1 0x80 000038fa: DUP6 000038fb: ADD 000038fc: DUP3 000038fd: PUSH2 0x384d 00003900: JUMP 00003901: JUMPDEST 00003902: POP 00003903: POP 00003904: POP 00003905: POP 00003906: JUMP 00003907: JUMPDEST 00003908: PUSH0 00003909: PUSH2 0x0180 0000390c: DUP3 0000390d: ADD 0000390e: SWAP1 0000390f: POP 00003910: PUSH2 0x391b 00003913: PUSH0 00003914: DUP4 00003915: ADD 00003916: DUP7 00003917: PUSH2 0x37d6 0000391a: JUMP 0000391b: JUMPDEST 0000391c: PUSH2 0x3928 0000391f: PUSH1 0xa0 00003921: DUP4 00003922: ADD 00003923: DUP6 00003924: PUSH2 0x3874 00003927: JUMP 00003928: JUMPDEST 00003929: PUSH2 0x3935 0000392c: PUSH1 0xe0 0000392e: DUP4 0000392f: ADD 00003930: DUP5 00003931: PUSH2 0x38a1 00003934: JUMP 00003935: JUMPDEST 00003936: SWAP5 00003937: SWAP4 00003938: POP 00003939: POP 0000393a: POP 0000393b: POP 0000393c: JUMP 0000393d: JUMPDEST 0000393e: PUSH0 0000393f: DUP2 00003940: MLOAD 00003941: SWAP1 00003942: POP 00003943: SWAP2 00003944: SWAP1 00003945: POP 00003946: JUMP 00003947: JUMPDEST 00003948: PUSH0 00003949: DUP3 0000394a: DUP3 0000394b: MSTORE 0000394c: PUSH1 0x20 0000394e: DUP3 0000394f: ADD 00003950: SWAP1 00003951: POP 00003952: SWAP3 00003953: SWAP2 00003954: POP 00003955: POP 00003956: JUMP 00003957: JUMPDEST 00003958: PUSH0 00003959: JUMPDEST 0000395a: DUP4 0000395b: DUP2 0000395c: LT 0000395d: ISZERO 0000395e: PUSH2 0x3974 00003961: JUMPI 00003962: DUP1 00003963: DUP3 00003964: ADD 00003965: MLOAD 00003966: DUP2 00003967: DUP5 00003968: ADD 00003969: MSTORE 0000396a: PUSH1 0x20 0000396c: DUP2 0000396d: ADD 0000396e: SWAP1 0000396f: POP 00003970: PUSH2 0x3959 00003973: JUMP 00003974: JUMPDEST 00003975: PUSH0 00003976: DUP5 00003977: DUP5 00003978: ADD 00003979: MSTORE 0000397a: POP 0000397b: POP 0000397c: POP 0000397d: POP 0000397e: JUMP 0000397f: JUMPDEST 00003980: PUSH0 00003981: PUSH1 0x1f 00003983: NOT 00003984: PUSH1 0x1f 00003986: DUP4 00003987: ADD 00003988: AND 00003989: SWAP1 0000398a: POP 0000398b: SWAP2 0000398c: SWAP1 0000398d: POP 0000398e: JUMP 0000398f: JUMPDEST 00003990: PUSH0 00003991: PUSH2 0x3999 00003994: DUP3 00003995: PUSH2 0x393d 00003998: JUMP 00003999: JUMPDEST 0000399a: PUSH2 0x39a3 0000399d: DUP2 0000399e: DUP6 0000399f: PUSH2 0x3947 000039a2: JUMP 000039a3: JUMPDEST 000039a4: SWAP4 000039a5: POP 000039a6: PUSH2 0x39b3 000039a9: DUP2 000039aa: DUP6 000039ab: PUSH1 0x20 000039ad: DUP7 000039ae: ADD 000039af: PUSH2 0x3957 000039b2: JUMP 000039b3: JUMPDEST 000039b4: PUSH2 0x39bc 000039b7: DUP2 000039b8: PUSH2 0x397f 000039bb: JUMP 000039bc: JUMPDEST 000039bd: DUP5 000039be: ADD 000039bf: SWAP2 000039c0: POP 000039c1: POP 000039c2: SWAP3 000039c3: SWAP2 000039c4: POP 000039c5: POP 000039c6: JUMP 000039c7: JUMPDEST 000039c8: PUSH0 000039c9: PUSH1 0x20 000039cb: DUP3 000039cc: ADD 000039cd: SWAP1 000039ce: POP 000039cf: DUP2 000039d0: DUP2 000039d1: SUB 000039d2: PUSH0 000039d3: DUP4 000039d4: ADD 000039d5: MSTORE 000039d6: PUSH2 0x39df 000039d9: DUP2 000039da: DUP5 000039db: PUSH2 0x398f 000039de: JUMP 000039df: JUMPDEST 000039e0: SWAP1 000039e1: POP 000039e2: SWAP3 000039e3: SWAP2 000039e4: POP 000039e5: POP 000039e6: JUMP 000039e7: JUMPDEST 000039e8: PUSH0 000039e9: DUP1 000039ea: REVERT 000039eb: JUMPDEST 000039ec: PUSH0 000039ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003a02: DUP3 00003a03: AND 00003a04: SWAP1 00003a05: POP 00003a06: SWAP2 00003a07: SWAP1 00003a08: POP 00003a09: JUMP 00003a0a: JUMPDEST 00003a0b: PUSH0 00003a0c: PUSH2 0x3a14 00003a0f: DUP3 00003a10: PUSH2 0x39eb 00003a13: JUMP 00003a14: JUMPDEST 00003a15: SWAP1 00003a16: POP 00003a17: SWAP2 00003a18: SWAP1 00003a19: POP 00003a1a: JUMP 00003a1b: JUMPDEST 00003a1c: PUSH2 0x3a24 00003a1f: DUP2 00003a20: PUSH2 0x3a0a 00003a23: JUMP 00003a24: JUMPDEST 00003a25: DUP2 00003a26: EQ 00003a27: PUSH2 0x3a2e 00003a2a: JUMPI 00003a2b: PUSH0 00003a2c: DUP1 00003a2d: REVERT 00003a2e: JUMPDEST 00003a2f: POP 00003a30: JUMP 00003a31: JUMPDEST 00003a32: PUSH0 00003a33: DUP2 00003a34: CALLDATALOAD 00003a35: SWAP1 00003a36: POP 00003a37: PUSH2 0x3a3f 00003a3a: DUP2 00003a3b: PUSH2 0x3a1b 00003a3e: JUMP 00003a3f: JUMPDEST 00003a40: SWAP3 00003a41: SWAP2 00003a42: POP 00003a43: POP 00003a44: JUMP 00003a45: JUMPDEST 00003a46: PUSH2 0x3a4e 00003a49: DUP2 00003a4a: PUSH2 0x385c 00003a4d: JUMP 00003a4e: JUMPDEST 00003a4f: DUP2 00003a50: EQ 00003a51: PUSH2 0x3a58 00003a54: JUMPI 00003a55: PUSH0 00003a56: DUP1 00003a57: REVERT 00003a58: JUMPDEST 00003a59: POP 00003a5a: JUMP 00003a5b: JUMPDEST 00003a5c: PUSH0 00003a5d: DUP2 00003a5e: CALLDATALOAD 00003a5f: SWAP1 00003a60: POP 00003a61: PUSH2 0x3a69 00003a64: DUP2 00003a65: PUSH2 0x3a45 00003a68: JUMP 00003a69: JUMPDEST 00003a6a: SWAP3 00003a6b: SWAP2 00003a6c: POP 00003a6d: POP 00003a6e: JUMP 00003a6f: JUMPDEST 00003a70: PUSH0 00003a71: DUP1 00003a72: PUSH1 0x40 00003a74: DUP4 00003a75: DUP6 00003a76: SUB 00003a77: SLT 00003a78: ISZERO 00003a79: PUSH2 0x3a85 00003a7c: JUMPI 00003a7d: PUSH2 0x3a84 00003a80: PUSH2 0x39e7 00003a83: JUMP 00003a84: JUMPDEST 00003a85: JUMPDEST 00003a86: PUSH0 00003a87: PUSH2 0x3a92 00003a8a: DUP6 00003a8b: DUP3 00003a8c: DUP7 00003a8d: ADD 00003a8e: PUSH2 0x3a31 00003a91: JUMP 00003a92: JUMPDEST 00003a93: SWAP3 00003a94: POP 00003a95: POP 00003a96: PUSH1 0x20 00003a98: PUSH2 0x3aa3 00003a9b: DUP6 00003a9c: DUP3 00003a9d: DUP7 00003a9e: ADD 00003a9f: PUSH2 0x3a5b 00003aa2: JUMP 00003aa3: JUMPDEST 00003aa4: SWAP2 00003aa5: POP 00003aa6: POP 00003aa7: SWAP3 00003aa8: POP 00003aa9: SWAP3 00003aaa: SWAP1 00003aab: POP 00003aac: JUMP 00003aad: JUMPDEST 00003aae: PUSH0 00003aaf: DUP2 00003ab0: ISZERO 00003ab1: ISZERO 00003ab2: SWAP1 00003ab3: POP 00003ab4: SWAP2 00003ab5: SWAP1 00003ab6: POP 00003ab7: JUMP 00003ab8: JUMPDEST 00003ab9: PUSH2 0x3ac1 00003abc: DUP2 00003abd: PUSH2 0x3aad 00003ac0: JUMP 00003ac1: JUMPDEST 00003ac2: DUP3 00003ac3: MSTORE 00003ac4: POP 00003ac5: POP 00003ac6: JUMP 00003ac7: JUMPDEST 00003ac8: PUSH0 00003ac9: PUSH1 0x20 00003acb: DUP3 00003acc: ADD 00003acd: SWAP1 00003ace: POP 00003acf: PUSH2 0x3ada 00003ad2: PUSH0 00003ad3: DUP4 00003ad4: ADD 00003ad5: DUP5 00003ad6: PUSH2 0x3ab8 00003ad9: JUMP 00003ada: JUMPDEST 00003adb: SWAP3 00003adc: SWAP2 00003add: POP 00003ade: POP 00003adf: JUMP 00003ae0: JUMPDEST 00003ae1: PUSH2 0x3ae9 00003ae4: DUP2 00003ae5: PUSH2 0x3a0a 00003ae8: JUMP 00003ae9: JUMPDEST 00003aea: DUP3 00003aeb: MSTORE 00003aec: POP 00003aed: POP 00003aee: JUMP 00003aef: JUMPDEST 00003af0: PUSH0 00003af1: PUSH1 0x20 00003af3: DUP3 00003af4: ADD 00003af5: SWAP1 00003af6: POP 00003af7: PUSH2 0x3b02 00003afa: PUSH0 00003afb: DUP4 00003afc: ADD 00003afd: DUP5 00003afe: PUSH2 0x3ae0 00003b01: JUMP 00003b02: JUMPDEST 00003b03: SWAP3 00003b04: SWAP2 00003b05: POP 00003b06: POP 00003b07: JUMP 00003b08: JUMPDEST 00003b09: PUSH2 0x3b11 00003b0c: DUP2 00003b0d: PUSH2 0x385c 00003b10: JUMP 00003b11: JUMPDEST 00003b12: DUP3 00003b13: MSTORE 00003b14: POP 00003b15: POP 00003b16: JUMP 00003b17: JUMPDEST 00003b18: PUSH0 00003b19: PUSH1 0x20 00003b1b: DUP3 00003b1c: ADD 00003b1d: SWAP1 00003b1e: POP 00003b1f: PUSH2 0x3b2a 00003b22: PUSH0 00003b23: DUP4 00003b24: ADD 00003b25: DUP5 00003b26: PUSH2 0x3b08 00003b29: JUMP 00003b2a: JUMPDEST 00003b2b: SWAP3 00003b2c: SWAP2 00003b2d: POP 00003b2e: POP 00003b2f: JUMP 00003b30: JUMPDEST 00003b31: PUSH0 00003b32: DUP1 00003b33: PUSH0 00003b34: PUSH1 0x60 00003b36: DUP5 00003b37: DUP7 00003b38: SUB 00003b39: SLT 00003b3a: ISZERO 00003b3b: PUSH2 0x3b47 00003b3e: JUMPI 00003b3f: PUSH2 0x3b46 00003b42: PUSH2 0x39e7 00003b45: JUMP 00003b46: JUMPDEST 00003b47: JUMPDEST 00003b48: PUSH0 00003b49: PUSH2 0x3b54 00003b4c: DUP7 00003b4d: DUP3 00003b4e: DUP8 00003b4f: ADD 00003b50: PUSH2 0x3a31 00003b53: JUMP 00003b54: JUMPDEST 00003b55: SWAP4 00003b56: POP 00003b57: POP 00003b58: PUSH1 0x20 00003b5a: PUSH2 0x3b65 00003b5d: DUP7 00003b5e: DUP3 00003b5f: DUP8 00003b60: ADD 00003b61: PUSH2 0x3a31 00003b64: JUMP 00003b65: JUMPDEST 00003b66: SWAP3 00003b67: POP 00003b68: POP 00003b69: PUSH1 0x40 00003b6b: PUSH2 0x3b76 00003b6e: DUP7 00003b6f: DUP3 00003b70: DUP8 00003b71: ADD 00003b72: PUSH2 0x3a5b 00003b75: JUMP 00003b76: JUMPDEST 00003b77: SWAP2 00003b78: POP 00003b79: POP 00003b7a: SWAP3 00003b7b: POP 00003b7c: SWAP3 00003b7d: POP 00003b7e: SWAP3 00003b7f: JUMP 00003b80: JUMPDEST 00003b81: PUSH0 00003b82: PUSH1 0x20 00003b84: DUP3 00003b85: DUP5 00003b86: SUB 00003b87: SLT 00003b88: ISZERO 00003b89: PUSH2 0x3b95 00003b8c: JUMPI 00003b8d: PUSH2 0x3b94 00003b90: PUSH2 0x39e7 00003b93: JUMP 00003b94: JUMPDEST 00003b95: JUMPDEST 00003b96: PUSH0 00003b97: PUSH2 0x3ba2 00003b9a: DUP5 00003b9b: DUP3 00003b9c: DUP6 00003b9d: ADD 00003b9e: PUSH2 0x3a31 00003ba1: JUMP 00003ba2: JUMPDEST 00003ba3: SWAP2 00003ba4: POP 00003ba5: POP 00003ba6: SWAP3 00003ba7: SWAP2 00003ba8: POP 00003ba9: POP 00003baa: JUMP 00003bab: JUMPDEST 00003bac: PUSH0 00003bad: PUSH1 0x40 00003baf: DUP3 00003bb0: ADD 00003bb1: SWAP1 00003bb2: POP 00003bb3: PUSH2 0x3bbe 00003bb6: PUSH0 00003bb7: DUP4 00003bb8: ADD 00003bb9: DUP6 00003bba: PUSH2 0x3ae0 00003bbd: JUMP 00003bbe: JUMPDEST 00003bbf: PUSH2 0x3bcb 00003bc2: PUSH1 0x20 00003bc4: DUP4 00003bc5: ADD 00003bc6: DUP5 00003bc7: PUSH2 0x3ae0 00003bca: JUMP 00003bcb: JUMPDEST 00003bcc: SWAP4 00003bcd: SWAP3 00003bce: POP 00003bcf: POP 00003bd0: POP 00003bd1: JUMP 00003bd2: JUMPDEST 00003bd3: PUSH0 00003bd4: PUSH1 0xff 00003bd6: DUP3 00003bd7: AND 00003bd8: SWAP1 00003bd9: POP 00003bda: SWAP2 00003bdb: SWAP1 00003bdc: POP 00003bdd: JUMP 00003bde: JUMPDEST 00003bdf: PUSH2 0x3be7 00003be2: DUP2 00003be3: PUSH2 0x3bd2 00003be6: JUMP 00003be7: JUMPDEST 00003be8: DUP3 00003be9: MSTORE 00003bea: POP 00003beb: POP 00003bec: JUMP 00003bed: JUMPDEST 00003bee: PUSH0 00003bef: PUSH1 0x20 00003bf1: DUP3 00003bf2: ADD 00003bf3: SWAP1 00003bf4: POP 00003bf5: PUSH2 0x3c00 00003bf8: PUSH0 00003bf9: DUP4 00003bfa: ADD 00003bfb: DUP5 00003bfc: PUSH2 0x3bde 00003bff: JUMP 00003c00: JUMPDEST 00003c01: SWAP3 00003c02: SWAP2 00003c03: POP 00003c04: POP 00003c05: JUMP 00003c06: JUMPDEST 00003c07: PUSH0 00003c08: PUSH1 0x20 00003c0a: DUP3 00003c0b: DUP5 00003c0c: SUB 00003c0d: SLT 00003c0e: ISZERO 00003c0f: PUSH2 0x3c1b 00003c12: JUMPI 00003c13: PUSH2 0x3c1a 00003c16: PUSH2 0x39e7 00003c19: JUMP 00003c1a: JUMPDEST 00003c1b: JUMPDEST 00003c1c: PUSH0 00003c1d: PUSH2 0x3c28 00003c20: DUP5 00003c21: DUP3 00003c22: DUP6 00003c23: ADD 00003c24: PUSH2 0x3a5b 00003c27: JUMP 00003c28: JUMPDEST 00003c29: SWAP2 00003c2a: POP 00003c2b: POP 00003c2c: SWAP3 00003c2d: SWAP2 00003c2e: POP 00003c2f: POP 00003c30: JUMP 00003c31: JUMPDEST 00003c32: PUSH0 00003c33: DUP1 00003c34: PUSH1 0x40 00003c36: DUP4 00003c37: DUP6 00003c38: SUB 00003c39: SLT 00003c3a: ISZERO 00003c3b: PUSH2 0x3c47 00003c3e: JUMPI 00003c3f: PUSH2 0x3c46 00003c42: PUSH2 0x39e7 00003c45: JUMP 00003c46: JUMPDEST 00003c47: JUMPDEST 00003c48: PUSH0 00003c49: PUSH2 0x3c54 00003c4c: DUP6 00003c4d: DUP3 00003c4e: DUP7 00003c4f: ADD 00003c50: PUSH2 0x3a5b 00003c53: JUMP 00003c54: JUMPDEST 00003c55: SWAP3 00003c56: POP 00003c57: POP 00003c58: PUSH1 0x20 00003c5a: PUSH2 0x3c65 00003c5d: DUP6 00003c5e: DUP3 00003c5f: DUP7 00003c60: ADD 00003c61: PUSH2 0x3a5b 00003c64: JUMP 00003c65: JUMPDEST 00003c66: SWAP2 00003c67: POP 00003c68: POP 00003c69: SWAP3 00003c6a: POP 00003c6b: SWAP3 00003c6c: SWAP1 00003c6d: POP 00003c6e: JUMP 00003c6f: JUMPDEST 00003c70: PUSH0 00003c71: DUP1 00003c72: PUSH1 0x40 00003c74: DUP4 00003c75: DUP6 00003c76: SUB 00003c77: SLT 00003c78: ISZERO 00003c79: PUSH2 0x3c85 00003c7c: JUMPI 00003c7d: PUSH2 0x3c84 00003c80: PUSH2 0x39e7 00003c83: JUMP 00003c84: JUMPDEST 00003c85: JUMPDEST 00003c86: PUSH0 00003c87: PUSH2 0x3c92 00003c8a: DUP6 00003c8b: DUP3 00003c8c: DUP7 00003c8d: ADD 00003c8e: PUSH2 0x3a31 00003c91: JUMP 00003c92: JUMPDEST 00003c93: SWAP3 00003c94: POP 00003c95: POP 00003c96: PUSH1 0x20 00003c98: PUSH2 0x3ca3 00003c9b: DUP6 00003c9c: DUP3 00003c9d: DUP7 00003c9e: ADD 00003c9f: PUSH2 0x3a31 00003ca2: JUMP 00003ca3: JUMPDEST 00003ca4: SWAP2 00003ca5: POP 00003ca6: POP 00003ca7: SWAP3 00003ca8: POP 00003ca9: SWAP3 00003caa: SWAP1 00003cab: POP 00003cac: JUMP 00003cad: JUMPDEST 00003cae: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003ccf: PUSH0 00003cd0: MSTORE 00003cd1: PUSH1 0x11 00003cd3: PUSH1 0x04 00003cd5: MSTORE 00003cd6: PUSH1 0x24 00003cd8: PUSH0 00003cd9: REVERT 00003cda: JUMPDEST 00003cdb: PUSH0 00003cdc: PUSH2 0x3ce4 00003cdf: DUP3 00003ce0: PUSH2 0x385c 00003ce3: JUMP 00003ce4: JUMPDEST 00003ce5: SWAP2 00003ce6: POP 00003ce7: PUSH2 0x3cef 00003cea: DUP4 00003ceb: PUSH2 0x385c 00003cee: JUMP 00003cef: JUMPDEST 00003cf0: SWAP3 00003cf1: POP 00003cf2: DUP3 00003cf3: DUP3 00003cf4: MUL 00003cf5: PUSH2 0x3cfd 00003cf8: DUP2 00003cf9: PUSH2 0x385c 00003cfc: JUMP 00003cfd: JUMPDEST 00003cfe: SWAP2 00003cff: POP 00003d00: DUP3 00003d01: DUP3 00003d02: DIV 00003d03: DUP5 00003d04: EQ 00003d05: DUP4 00003d06: ISZERO 00003d07: OR 00003d08: PUSH2 0x3d14 00003d0b: JUMPI 00003d0c: PUSH2 0x3d13 00003d0f: PUSH2 0x3cad 00003d12: JUMP 00003d13: JUMPDEST 00003d14: JUMPDEST 00003d15: POP 00003d16: SWAP3 00003d17: SWAP2 00003d18: POP 00003d19: POP 00003d1a: JUMP 00003d1b: JUMPDEST 00003d1c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003d3d: PUSH0 00003d3e: MSTORE 00003d3f: PUSH1 0x12 00003d41: PUSH1 0x04 00003d43: MSTORE 00003d44: PUSH1 0x24 00003d46: PUSH0 00003d47: REVERT 00003d48: JUMPDEST 00003d49: PUSH0 00003d4a: PUSH2 0x3d52 00003d4d: DUP3 00003d4e: PUSH2 0x385c 00003d51: JUMP 00003d52: JUMPDEST 00003d53: SWAP2 00003d54: POP 00003d55: PUSH2 0x3d5d 00003d58: DUP4 00003d59: PUSH2 0x385c 00003d5c: JUMP 00003d5d: JUMPDEST 00003d5e: SWAP3 00003d5f: POP 00003d60: DUP3 00003d61: PUSH2 0x3d6d 00003d64: JUMPI 00003d65: PUSH2 0x3d6c 00003d68: PUSH2 0x3d1b 00003d6b: JUMP 00003d6c: JUMPDEST 00003d6d: JUMPDEST 00003d6e: DUP3 00003d6f: DUP3 00003d70: DIV 00003d71: SWAP1 00003d72: POP 00003d73: SWAP3 00003d74: SWAP2 00003d75: POP 00003d76: POP 00003d77: JUMP 00003d78: JUMPDEST 00003d79: PUSH0 00003d7a: PUSH2 0x3d82 00003d7d: DUP3 00003d7e: PUSH2 0x37b0 00003d81: JUMP 00003d82: JUMPDEST 00003d83: SWAP2 00003d84: POP 00003d85: PUSH2 0x3d8d 00003d88: DUP4 00003d89: PUSH2 0x37b0 00003d8c: JUMP 00003d8d: JUMPDEST 00003d8e: SWAP3 00003d8f: POP 00003d90: DUP3 00003d91: DUP3 00003d92: SUB 00003d93: SWAP1 00003d94: POP 00003d95: PUSH12 0xffffffffffffffffffffffff 00003da2: DUP2 00003da3: GT 00003da4: ISZERO 00003da5: PUSH2 0x3db1 00003da8: JUMPI 00003da9: PUSH2 0x3db0 00003dac: PUSH2 0x3cad 00003daf: JUMP 00003db0: JUMPDEST 00003db1: JUMPDEST 00003db2: SWAP3 00003db3: SWAP2 00003db4: POP 00003db5: POP 00003db6: JUMP 00003db7: JUMPDEST 00003db8: PUSH0 00003db9: PUSH2 0x3dc1 00003dbc: DUP3 00003dbd: PUSH2 0x37b0 00003dc0: JUMP 00003dc1: JUMPDEST 00003dc2: SWAP2 00003dc3: POP 00003dc4: PUSH2 0x3dcc 00003dc7: DUP4 00003dc8: PUSH2 0x37b0 00003dcb: JUMP 00003dcc: JUMPDEST 00003dcd: SWAP3 00003dce: POP 00003dcf: DUP3 00003dd0: DUP3 00003dd1: ADD 00003dd2: SWAP1 00003dd3: POP 00003dd4: PUSH12 0xffffffffffffffffffffffff 00003de1: DUP2 00003de2: GT 00003de3: ISZERO 00003de4: PUSH2 0x3df0 00003de7: JUMPI 00003de8: PUSH2 0x3def 00003deb: PUSH2 0x3cad 00003dee: JUMP 00003def: JUMPDEST 00003df0: JUMPDEST 00003df1: SWAP3 00003df2: SWAP2 00003df3: POP 00003df4: POP 00003df5: JUMP 00003df6: JUMPDEST 00003df7: PUSH0 00003df8: PUSH1 0x40 00003dfa: DUP3 00003dfb: ADD 00003dfc: SWAP1 00003dfd: POP 00003dfe: PUSH2 0x3e09 00003e01: PUSH0 00003e02: DUP4 00003e03: ADD 00003e04: DUP6 00003e05: PUSH2 0x3b08 00003e08: JUMP 00003e09: JUMPDEST 00003e0a: PUSH2 0x3e16 00003e0d: PUSH1 0x20 00003e0f: DUP4 00003e10: ADD 00003e11: DUP5 00003e12: PUSH2 0x3b08 00003e15: JUMP 00003e16: JUMPDEST 00003e17: SWAP4 00003e18: SWAP3 00003e19: POP 00003e1a: POP 00003e1b: POP 00003e1c: JUMP 00003e1d: JUMPDEST 00003e1e: PUSH0 00003e1f: PUSH2 0x3e27 00003e22: DUP3 00003e23: PUSH2 0x385c 00003e26: JUMP 00003e27: JUMPDEST 00003e28: SWAP2 00003e29: POP 00003e2a: PUSH2 0x3e32 00003e2d: DUP4 00003e2e: PUSH2 0x385c 00003e31: JUMP 00003e32: JUMPDEST 00003e33: SWAP3 00003e34: POP 00003e35: DUP3 00003e36: DUP3 00003e37: SUB 00003e38: SWAP1 00003e39: POP 00003e3a: DUP2 00003e3b: DUP2 00003e3c: GT 00003e3d: ISZERO 00003e3e: PUSH2 0x3e4a 00003e41: JUMPI 00003e42: PUSH2 0x3e49 00003e45: PUSH2 0x3cad 00003e48: JUMP 00003e49: JUMPDEST 00003e4a: JUMPDEST 00003e4b: SWAP3 00003e4c: SWAP2 00003e4d: POP 00003e4e: POP 00003e4f: JUMP 00003e50: JUMPDEST 00003e51: PUSH0 00003e52: PUSH1 0x60 00003e54: DUP3 00003e55: ADD 00003e56: SWAP1 00003e57: POP 00003e58: PUSH2 0x3e63 00003e5b: PUSH0 00003e5c: DUP4 00003e5d: ADD 00003e5e: DUP7 00003e5f: PUSH2 0x3b08 00003e62: JUMP 00003e63: JUMPDEST 00003e64: PUSH2 0x3e70 00003e67: PUSH1 0x20 00003e69: DUP4 00003e6a: ADD 00003e6b: DUP6 00003e6c: PUSH2 0x3b08 00003e6f: JUMP 00003e70: JUMPDEST 00003e71: PUSH2 0x3e7d 00003e74: PUSH1 0x40 00003e76: DUP4 00003e77: ADD 00003e78: DUP5 00003e79: PUSH2 0x3b08 00003e7c: JUMP 00003e7d: JUMPDEST 00003e7e: SWAP5 00003e7f: SWAP4 00003e80: POP 00003e81: POP 00003e82: POP 00003e83: POP 00003e84: JUMP 00003e85: JUMPDEST 00003e86: PUSH0 00003e87: PUSH2 0x3e8f 00003e8a: DUP3 00003e8b: PUSH2 0x37b0 00003e8e: JUMP 00003e8f: JUMPDEST 00003e90: SWAP2 00003e91: POP 00003e92: PUSH2 0x3e9a 00003e95: DUP4 00003e96: PUSH2 0x37b0 00003e99: JUMP 00003e9a: JUMPDEST 00003e9b: SWAP3 00003e9c: POP 00003e9d: DUP3 00003e9e: DUP3 00003e9f: MUL 00003ea0: PUSH2 0x3ea8 00003ea3: DUP2 00003ea4: PUSH2 0x37b0 00003ea7: JUMP 00003ea8: JUMPDEST 00003ea9: SWAP2 00003eaa: POP 00003eab: DUP1 00003eac: DUP3 00003ead: EQ 00003eae: PUSH2 0x3eba 00003eb1: JUMPI 00003eb2: PUSH2 0x3eb9 00003eb5: PUSH2 0x3cad 00003eb8: JUMP 00003eb9: JUMPDEST 00003eba: JUMPDEST 00003ebb: POP 00003ebc: SWAP3 00003ebd: SWAP2 00003ebe: POP 00003ebf: POP 00003ec0: JUMP 00003ec1: JUMPDEST 00003ec2: PUSH0 00003ec3: PUSH2 0x3ecb 00003ec6: DUP3 00003ec7: PUSH2 0x385c 00003eca: JUMP 00003ecb: JUMPDEST 00003ecc: SWAP2 00003ecd: POP 00003ece: PUSH2 0x3ed6 00003ed1: DUP4 00003ed2: PUSH2 0x385c 00003ed5: JUMP 00003ed6: JUMPDEST 00003ed7: SWAP3 00003ed8: POP 00003ed9: DUP3 00003eda: DUP3 00003edb: ADD 00003edc: SWAP1 00003edd: POP 00003ede: DUP1 00003edf: DUP3 00003ee0: GT 00003ee1: ISZERO 00003ee2: PUSH2 0x3eee 00003ee5: JUMPI 00003ee6: PUSH2 0x3eed 00003ee9: PUSH2 0x3cad 00003eec: JUMP 00003eed: JUMPDEST 00003eee: JUMPDEST 00003eef: SWAP3 00003ef0: SWAP2 00003ef1: POP 00003ef2: POP 00003ef3: JUMP 00003ef4: JUMPDEST 00003ef5: PUSH0 00003ef6: DUP2 00003ef7: SWAP1 00003ef8: POP 00003ef9: SWAP2 00003efa: SWAP1 00003efb: POP 00003efc: JUMP 00003efd: JUMPDEST 00003efe: PUSH0 00003eff: PUSH2 0x3f17 00003f02: PUSH2 0x3f12 00003f05: PUSH2 0x3f0d 00003f08: DUP5 00003f09: PUSH2 0x37b0 00003f0c: JUMP 00003f0d: JUMPDEST 00003f0e: PUSH2 0x3ef4 00003f11: JUMP 00003f12: JUMPDEST 00003f13: PUSH2 0x385c 00003f16: JUMP 00003f17: JUMPDEST 00003f18: SWAP1 00003f19: POP 00003f1a: SWAP2 00003f1b: SWAP1 00003f1c: POP 00003f1d: JUMP 00003f1e: JUMPDEST 00003f1f: PUSH2 0x3f27 00003f22: DUP2 00003f23: PUSH2 0x3efd 00003f26: JUMP 00003f27: JUMPDEST 00003f28: DUP3 00003f29: MSTORE 00003f2a: POP 00003f2b: POP 00003f2c: JUMP 00003f2d: JUMPDEST 00003f2e: PUSH2 0x3f36 00003f31: DUP2 00003f32: PUSH2 0x383c 00003f35: JUMP 00003f36: JUMPDEST 00003f37: DUP3 00003f38: MSTORE 00003f39: POP 00003f3a: POP 00003f3b: JUMP 00003f3c: JUMPDEST 00003f3d: PUSH0 00003f3e: PUSH1 0x60 00003f40: DUP3 00003f41: ADD 00003f42: SWAP1 00003f43: POP 00003f44: PUSH2 0x3f4f 00003f47: PUSH0 00003f48: DUP4 00003f49: ADD 00003f4a: DUP7 00003f4b: PUSH2 0x3f1e 00003f4e: JUMP 00003f4f: JUMPDEST 00003f50: PUSH2 0x3f5c 00003f53: PUSH1 0x20 00003f55: DUP4 00003f56: ADD 00003f57: DUP6 00003f58: PUSH2 0x3b08 00003f5b: JUMP 00003f5c: JUMPDEST 00003f5d: PUSH2 0x3f69 00003f60: PUSH1 0x40 00003f62: DUP4 00003f63: ADD 00003f64: DUP5 00003f65: PUSH2 0x3f2d 00003f68: JUMP 00003f69: JUMPDEST 00003f6a: SWAP5 00003f6b: SWAP4 00003f6c: POP 00003f6d: POP 00003f6e: POP 00003f6f: POP 00003f70: JUMP 00003f71: JUMPDEST 00003f72: PUSH0 00003f73: PUSH16 0xffffffffffffffffffffffffffffffff 00003f84: DUP3 00003f85: AND 00003f86: SWAP1 00003f87: POP 00003f88: SWAP2 00003f89: SWAP1 00003f8a: POP 00003f8b: JUMP 00003f8c: JUMPDEST 00003f8d: PUSH0 00003f8e: PUSH2 0x3f96 00003f91: DUP3 00003f92: PUSH2 0x3f71 00003f95: JUMP 00003f96: JUMPDEST 00003f97: SWAP2 00003f98: POP 00003f99: PUSH2 0x3fa1 00003f9c: DUP4 00003f9d: PUSH2 0x3f71 00003fa0: JUMP 00003fa1: JUMPDEST 00003fa2: SWAP3 00003fa3: POP 00003fa4: DUP3 00003fa5: DUP3 00003fa6: SUB 00003fa7: SWAP1 00003fa8: POP 00003fa9: PUSH16 0xffffffffffffffffffffffffffffffff 00003fba: DUP2 00003fbb: GT 00003fbc: ISZERO 00003fbd: PUSH2 0x3fc9 00003fc0: JUMPI 00003fc1: PUSH2 0x3fc8 00003fc4: PUSH2 0x3cad 00003fc7: JUMP 00003fc8: JUMPDEST 00003fc9: JUMPDEST 00003fca: SWAP3 00003fcb: SWAP2 00003fcc: POP 00003fcd: POP 00003fce: JUMP 00003fcf: JUMPDEST 00003fd0: PUSH0 00003fd1: PUSH2 0x3fd9 00003fd4: DUP3 00003fd5: PUSH2 0x383c 00003fd8: JUMP 00003fd9: JUMPDEST 00003fda: SWAP2 00003fdb: POP 00003fdc: PUSH2 0x3fe4 00003fdf: DUP4 00003fe0: PUSH2 0x383c 00003fe3: JUMP 00003fe4: JUMPDEST 00003fe5: SWAP3 00003fe6: POP 00003fe7: DUP3 00003fe8: DUP3 00003fe9: SUB 00003fea: SWAP1 00003feb: POP 00003fec: PUSH6 0xffffffffffff 00003ff3: DUP2 00003ff4: GT 00003ff5: ISZERO 00003ff6: PUSH2 0x4002 00003ff9: JUMPI 00003ffa: PUSH2 0x4001 00003ffd: PUSH2 0x3cad 00004000: JUMP 00004001: JUMPDEST 00004002: JUMPDEST 00004003: SWAP3 00004004: SWAP2 00004005: POP 00004006: POP 00004007: JUMP 00004008: JUMPDEST 00004009: PUSH0 0000400a: PUSH2 0x4012 0000400d: DUP3 0000400e: PUSH2 0x383c 00004011: JUMP 00004012: JUMPDEST 00004013: SWAP2 00004014: POP 00004015: PUSH2 0x401d 00004018: DUP4 00004019: PUSH2 0x383c 0000401c: JUMP 0000401d: JUMPDEST 0000401e: SWAP3 0000401f: POP 00004020: DUP3 00004021: DUP3 00004022: ADD 00004023: SWAP1 00004024: POP 00004025: PUSH6 0xffffffffffff 0000402c: DUP2 0000402d: GT 0000402e: ISZERO 0000402f: PUSH2 0x403b 00004032: JUMPI 00004033: PUSH2 0x403a 00004036: PUSH2 0x3cad 00004039: JUMP 0000403a: JUMPDEST 0000403b: JUMPDEST 0000403c: SWAP3 0000403d: SWAP2 0000403e: POP 0000403f: POP 00004040: JUMP 00004041: JUMPDEST 00004042: PUSH32 0x4554485f5452414e534645525f4641494c454400000000000000000000000000 00004063: PUSH0 00004064: DUP3 00004065: ADD 00004066: MSTORE 00004067: POP 00004068: JUMP 00004069: JUMPDEST 0000406a: PUSH0 0000406b: PUSH2 0x4075 0000406e: PUSH1 0x13 00004070: DUP4 00004071: PUSH2 0x3947 00004074: JUMP 00004075: JUMPDEST 00004076: SWAP2 00004077: POP 00004078: PUSH2 0x4080 0000407b: DUP3 0000407c: PUSH2 0x4041 0000407f: JUMP 00004080: JUMPDEST 00004081: PUSH1 0x20 00004083: DUP3 00004084: ADD 00004085: SWAP1 00004086: POP 00004087: SWAP2 00004088: SWAP1 00004089: POP 0000408a: JUMP 0000408b: JUMPDEST 0000408c: PUSH0 0000408d: PUSH1 0x20 0000408f: DUP3 00004090: ADD 00004091: SWAP1 00004092: POP 00004093: DUP2 00004094: DUP2 00004095: SUB 00004096: PUSH0 00004097: DUP4 00004098: ADD 00004099: MSTORE 0000409a: PUSH2 0x40a2 0000409d: DUP2 0000409e: PUSH2 0x4069 000040a1: JUMP 000040a2: JUMPDEST 000040a3: SWAP1 000040a4: POP 000040a5: SWAP2 000040a6: SWAP1 000040a7: POP 000040a8: JUMP 000040a9: JUMPDEST 000040aa: PUSH0 000040ab: PUSH2 0x40b3 000040ae: DUP3 000040af: PUSH2 0x3f71 000040b2: JUMP 000040b3: JUMPDEST 000040b4: SWAP2 000040b5: POP 000040b6: PUSH2 0x40be 000040b9: DUP4 000040ba: PUSH2 0x3f71 000040bd: JUMP 000040be: JUMPDEST 000040bf: SWAP3 000040c0: POP 000040c1: DUP3 000040c2: DUP3 000040c3: MUL 000040c4: PUSH2 0x40cc 000040c7: DUP2 000040c8: PUSH2 0x3f71 000040cb: JUMP 000040cc: JUMPDEST 000040cd: SWAP2 000040ce: POP 000040cf: DUP1 000040d0: DUP3 000040d1: EQ 000040d2: PUSH2 0x40de 000040d5: JUMPI 000040d6: PUSH2 0x40dd 000040d9: PUSH2 0x3cad 000040dc: JUMP 000040dd: JUMPDEST 000040de: JUMPDEST 000040df: POP 000040e0: SWAP3 000040e1: SWAP2 000040e2: POP 000040e3: POP 000040e4: JUMP 000040e5: JUMPDEST 000040e6: PUSH0 000040e7: PUSH2 0x40ef 000040ea: DUP3 000040eb: PUSH2 0x3f71 000040ee: JUMP 000040ef: JUMPDEST 000040f0: SWAP2 000040f1: POP 000040f2: PUSH2 0x40fa 000040f5: DUP4 000040f6: PUSH2 0x3f71 000040f9: JUMP 000040fa: JUMPDEST 000040fb: SWAP3 000040fc: POP 000040fd: DUP3 000040fe: PUSH2 0x410a 00004101: JUMPI 00004102: PUSH2 0x4109 00004105: PUSH2 0x3d1b 00004108: JUMP 00004109: JUMPDEST 0000410a: JUMPDEST 0000410b: DUP3 0000410c: DUP3 0000410d: DIV 0000410e: SWAP1 0000410f: POP 00004110: SWAP3 00004111: SWAP2 00004112: POP 00004113: POP 00004114: JUMP 00004115: INVALID 00004116: LOG2 00004117: PUSH5 0x6970667358 0000411d: UNKNOWN(0x22) 0000411e: SLT 0000411f: KECCAK256 00004120: SWAP6 00004121: UNKNOWN(0x2D) 00004122: UNKNOWN(0xD1) 00004123: UNKNOWN(0xB4) 00004124: PUSH6 0x8b6d3f405f63 0000412b: UNKNOWN(0x24) 0000412c: PUSH31
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xcbe7a1b4aeb4e62656ecb47b4028a0536e111a4a29ac984706aace8b9d0aacef
call_targets:
0x86de09fe79ed2e70283a6a3c810d7ff92cbb7eea
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcbe7a1b4aeb4e62656ecb47b4028a0536e111a4a29ac984706aace8b9d0aacef",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x86de09fe79ed2e70283a6a3c810d7ff92cbb7eea"
],
"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": "0xd926de1c",
"selector": "0xd926de1c",
"calldata_variants": [
"0xd926de1c",
"0xd926de1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb006a75",
"selector": "0xdb006a75",
"calldata_variants": [
"0xdb006a75",
"0xdb006a750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfcfff16f",
"selector": "0xfcfff16f",
"calldata_variants": [
"0xfcfff16f",
"0xfcfff16f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbedd12a5",
"selector": "0xbedd12a5",
"calldata_variants": [
"0xbedd12a5",
"0xbedd12a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc5b748c0",
"selector": "0xc5b748c0",
"calldata_variants": [
"0xc5b748c0",
"0xc5b748c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7ccfb0b",
"selector": "0xd7ccfb0b",
"calldata_variants": [
"0xd7ccfb0b",
"0xd7ccfb0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x696f9c81",
"selector": "0x696f9c81",
"calldata_variants": [
"0x696f9c81",
"0x696f9c810000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 11018,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 11299,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 12839,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 437,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 512,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4399,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6352,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6655,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6916,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7745,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8317,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xcbe7a1b4aeb4e62656ecb47b4028a0536e111a4a29ac984706aace8b9d0aacef
call_targets:
0x86de09fe79ed2e70283a6a3c810d7ff92cbb7eea
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcbe7a1b4aeb4e62656ecb47b4028a0536e111a4a29ac984706aace8b9d0aacef",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x86de09fe79ed2e70283a6a3c810d7ff92cbb7eea"
],
"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": "0xd926de1c",
"selector": "0xd926de1c",
"calldata_variants": [
"0xd926de1c",
"0xd926de1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb006a75",
"selector": "0xdb006a75",
"calldata_variants": [
"0xdb006a75",
"0xdb006a750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfcfff16f",
"selector": "0xfcfff16f",
"calldata_variants": [
"0xfcfff16f",
"0xfcfff16f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbedd12a5",
"selector": "0xbedd12a5",
"calldata_variants": [
"0xbedd12a5",
"0xbedd12a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc5b748c0",
"selector": "0xc5b748c0",
"calldata_variants": [
"0xc5b748c0",
"0xc5b748c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7ccfb0b",
"selector": "0xd7ccfb0b",
"calldata_variants": [
"0xd7ccfb0b",
"0xd7ccfb0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x696f9c81",
"selector": "0x696f9c81",
"calldata_variants": [
"0x696f9c81",
"0x696f9c810000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 11018,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 11299,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 12839,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 437,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 512,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4399,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6352,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6655,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6916,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7745,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8317,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|