Analysis Run

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0043
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x01ffc9a7
00000019: EQ
0000001a: PUSH2 0x009a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x73d4a13a
00000024: EQ
00000025: PUSH2 0x00e2
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xbc197c81
0000002f: EQ
00000030: PUSH2 0x011d
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf23a6e61
0000003a: EQ
0000003b: PUSH2 0x0308
0000003e: JUMPI
0000003f: PUSH2 0x0095
00000042: JUMP
00000043: JUMPDEST
00000044: CALLDATASIZE
00000045: PUSH2 0x0095
00000048: JUMPI
00000049: PUSH1 0x05
0000004b: SLOAD
0000004c: NUMBER
0000004d: LT
0000004e: PUSH2 0x0083
00000051: JUMPI
00000052: PUSH1 0x40
00000054: MLOAD
00000055: CALLER
00000056: SWAP1
00000057: CALLVALUE
00000058: DUP1
00000059: ISZERO
0000005a: PUSH2 0x08fc
0000005d: MUL
0000005e: SWAP2
0000005f: PUSH1 0x00
00000061: DUP2
00000062: DUP2
00000063: DUP2
00000064: DUP6
00000065: DUP9
00000066: DUP9
00000067: CALL
00000068: SWAP4
00000069: POP
0000006a: POP
0000006b: POP
0000006c: POP
0000006d: ISZERO
0000006e: DUP1
0000006f: ISZERO
00000070: PUSH2 0x007d
00000073: JUMPI
00000074: RETURNDATASIZE
00000075: PUSH1 0x00
00000077: DUP1
00000078: RETURNDATACOPY
00000079: RETURNDATASIZE
0000007a: PUSH1 0x00
0000007c: REVERT
0000007d: JUMPDEST
0000007e: POP
0000007f: PUSH2 0x0093
00000082: JUMP
00000083: JUMPDEST
00000084: PUSH1 0x04
00000086: SLOAD
00000087: SELFBALANCE
00000088: DUP2
00000089: PUSH2 0x008e
0000008c: JUMPI
0000008d: INVALID
0000008e: JUMPDEST
0000008f: DIV
00000090: PUSH1 0x03
00000092: SSTORE
00000093: JUMPDEST
00000094: STOP
00000095: JUMPDEST
00000096: PUSH1 0x00
00000098: DUP1
00000099: REVERT
0000009a: JUMPDEST
0000009b: CALLVALUE
0000009c: DUP1
0000009d: ISZERO
0000009e: PUSH2 0x00a6
000000a1: JUMPI
000000a2: PUSH1 0x00
000000a4: DUP1
000000a5: REVERT
000000a6: JUMPDEST
000000a7: POP
000000a8: PUSH2 0x00ce
000000ab: PUSH1 0x04
000000ad: DUP1
000000ae: CALLDATASIZE
000000af: SUB
000000b0: PUSH1 0x20
000000b2: DUP2
000000b3: LT
000000b4: ISZERO
000000b5: PUSH2 0x00bd
000000b8: JUMPI
000000b9: PUSH1 0x00
000000bb: DUP1
000000bc: REVERT
000000bd: JUMPDEST
000000be: POP
000000bf: CALLDATALOAD
000000c0: PUSH1 0x01
000000c2: PUSH1 0x01
000000c4: PUSH1 0xe0
000000c6: SHL
000000c7: SUB
000000c8: NOT
000000c9: AND
000000ca: PUSH2 0x03de
000000cd: JUMP
000000ce: JUMPDEST
000000cf: PUSH1 0x40
000000d1: DUP1
000000d2: MLOAD
000000d3: SWAP2
000000d4: ISZERO
000000d5: ISZERO
000000d6: DUP3
000000d7: MSTORE
000000d8: MLOAD
000000d9: SWAP1
000000da: DUP2
000000db: SWAP1
000000dc: SUB
000000dd: PUSH1 0x20
000000df: ADD
000000e0: SWAP1
000000e1: RETURN
000000e2: JUMPDEST
000000e3: CALLVALUE
000000e4: DUP1
000000e5: ISZERO
000000e6: PUSH2 0x00ee
000000e9: JUMPI
000000ea: PUSH1 0x00
000000ec: DUP1
000000ed: REVERT
000000ee: JUMPDEST
000000ef: POP
000000f0: PUSH2 0x00f7
000000f3: PUSH2 0x03fd
000000f6: JUMP
000000f7: JUMPDEST
000000f8: PUSH1 0x40
000000fa: DUP1
000000fb: MLOAD
000000fc: SWAP5
000000fd: DUP6
000000fe: MSTORE
000000ff: PUSH1 0x20
00000101: DUP6
00000102: ADD
00000103: SWAP4
00000104: SWAP1
00000105: SWAP4
00000106: MSTORE
00000107: DUP4
00000108: DUP4
00000109: ADD
0000010a: SWAP2
0000010b: SWAP1
0000010c: SWAP2
0000010d: MSTORE
0000010e: PUSH1 0x60
00000110: DUP4
00000111: ADD
00000112: MSTORE
00000113: MLOAD
00000114: SWAP1
00000115: DUP2
00000116: SWAP1
00000117: SUB
00000118: PUSH1 0x80
0000011a: ADD
0000011b: SWAP1
0000011c: RETURN
0000011d: JUMPDEST
0000011e: CALLVALUE
0000011f: DUP1
00000120: ISZERO
00000121: PUSH2 0x0129
00000124: JUMPI
00000125: PUSH1 0x00
00000127: DUP1
00000128: REVERT
00000129: JUMPDEST
0000012a: POP
0000012b: PUSH2 0x02eb
0000012e: PUSH1 0x04
00000130: DUP1
00000131: CALLDATASIZE
00000132: SUB
00000133: PUSH1 0xa0
00000135: DUP2
00000136: LT
00000137: ISZERO
00000138: PUSH2 0x0140
0000013b: JUMPI
0000013c: PUSH1 0x00
0000013e: DUP1
0000013f: REVERT
00000140: JUMPDEST
00000141: PUSH1 0x01
00000143: PUSH1 0x01
00000145: PUSH1 0xa0
00000147: SHL
00000148: SUB
00000149: DUP3
0000014a: CALLDATALOAD
0000014b: DUP2
0000014c: AND
0000014d: SWAP3
0000014e: PUSH1 0x20
00000150: DUP2
00000151: ADD
00000152: CALLDATALOAD
00000153: SWAP1
00000154: SWAP2
00000155: AND
00000156: SWAP2
00000157: DUP2
00000158: ADD
00000159: SWAP1
0000015a: PUSH1 0x60
0000015c: DUP2
0000015d: ADD
0000015e: PUSH1 0x40
00000160: DUP3
00000161: ADD
00000162: CALLDATALOAD
00000163: PUSH1 0x01
00000165: PUSH1 0x20
00000167: SHL
00000168: DUP2
00000169: GT
0000016a: ISZERO
0000016b: PUSH2 0x0173
0000016e: JUMPI
0000016f: PUSH1 0x00
00000171: DUP1
00000172: REVERT
00000173: JUMPDEST
00000174: DUP3
00000175: ADD
00000176: DUP4
00000177: PUSH1 0x20
00000179: DUP3
0000017a: ADD
0000017b: GT
0000017c: ISZERO
0000017d: PUSH2 0x0185
00000180: JUMPI
00000181: PUSH1 0x00
00000183: DUP1
00000184: REVERT
00000185: JUMPDEST
00000186: DUP1
00000187: CALLDATALOAD
00000188: SWAP1
00000189: PUSH1 0x20
0000018b: ADD
0000018c: SWAP2
0000018d: DUP5
0000018e: PUSH1 0x20
00000190: DUP4
00000191: MUL
00000192: DUP5
00000193: ADD
00000194: GT
00000195: PUSH1 0x01
00000197: PUSH1 0x20
00000199: SHL
0000019a: DUP4
0000019b: GT
0000019c: OR
0000019d: ISZERO
0000019e: PUSH2 0x01a6
000001a1: JUMPI
000001a2: PUSH1 0x00
000001a4: DUP1
000001a5: REVERT
000001a6: JUMPDEST
000001a7: SWAP2
000001a8: SWAP1
000001a9: DUP1
000001aa: DUP1
000001ab: PUSH1 0x20
000001ad: MUL
000001ae: PUSH1 0x20
000001b0: ADD
000001b1: PUSH1 0x40
000001b3: MLOAD
000001b4: SWAP1
000001b5: DUP2
000001b6: ADD
000001b7: PUSH1 0x40
000001b9: MSTORE
000001ba: DUP1
000001bb: SWAP4
000001bc: SWAP3
000001bd: SWAP2
000001be: SWAP1
000001bf: DUP2
000001c0: DUP2
000001c1: MSTORE
000001c2: PUSH1 0x20
000001c4: ADD
000001c5: DUP4
000001c6: DUP4
000001c7: PUSH1 0x20
000001c9: MUL
000001ca: DUP1
000001cb: DUP3
000001cc: DUP5
000001cd: CALLDATACOPY
000001ce: PUSH1 0x00
000001d0: SWAP3
000001d1: ADD
000001d2: SWAP2
000001d3: SWAP1
000001d4: SWAP2
000001d5: MSTORE
000001d6: POP
000001d7: SWAP3
000001d8: SWAP6
000001d9: SWAP5
000001da: SWAP4
000001db: PUSH1 0x20
000001dd: DUP2
000001de: ADD
000001df: SWAP4
000001e0: POP
000001e1: CALLDATALOAD
000001e2: SWAP2
000001e3: POP
000001e4: POP
000001e5: PUSH1 0x01
000001e7: PUSH1 0x20
000001e9: SHL
000001ea: DUP2
000001eb: GT
000001ec: ISZERO
000001ed: PUSH2 0x01f5
000001f0: JUMPI
000001f1: PUSH1 0x00
000001f3: DUP1
000001f4: REVERT
000001f5: JUMPDEST
000001f6: DUP3
000001f7: ADD
000001f8: DUP4
000001f9: PUSH1 0x20
000001fb: DUP3
000001fc: ADD
000001fd: GT
000001fe: ISZERO
000001ff: PUSH2 0x0207
00000202: JUMPI
00000203: PUSH1 0x00
00000205: DUP1
00000206: REVERT
00000207: JUMPDEST
00000208: DUP1
00000209: CALLDATALOAD
0000020a: SWAP1
0000020b: PUSH1 0x20
0000020d: ADD
0000020e: SWAP2
0000020f: DUP5
00000210: PUSH1 0x20
00000212: DUP4
00000213: MUL
00000214: DUP5
00000215: ADD
00000216: GT
00000217: PUSH1 0x01
00000219: PUSH1 0x20
0000021b: SHL
0000021c: DUP4
0000021d: GT
0000021e: OR
0000021f: ISZERO
00000220: PUSH2 0x0228
00000223: JUMPI
00000224: PUSH1 0x00
00000226: DUP1
00000227: REVERT
00000228: JUMPDEST
00000229: SWAP2
0000022a: SWAP1
0000022b: DUP1
0000022c: DUP1
0000022d: PUSH1 0x20
0000022f: MUL
00000230: PUSH1 0x20
00000232: ADD
00000233: PUSH1 0x40
00000235: MLOAD
00000236: SWAP1
00000237: DUP2
00000238: ADD
00000239: PUSH1 0x40
0000023b: MSTORE
0000023c: DUP1
0000023d: SWAP4
0000023e: SWAP3
0000023f: SWAP2
00000240: SWAP1
00000241: DUP2
00000242: DUP2
00000243: MSTORE
00000244: PUSH1 0x20
00000246: ADD
00000247: DUP4
00000248: DUP4
00000249: PUSH1 0x20
0000024b: MUL
0000024c: DUP1
0000024d: DUP3
0000024e: DUP5
0000024f: CALLDATACOPY
00000250: PUSH1 0x00
00000252: SWAP3
00000253: ADD
00000254: SWAP2
00000255: SWAP1
00000256: SWAP2
00000257: MSTORE
00000258: POP
00000259: SWAP3
0000025a: SWAP6
0000025b: SWAP5
0000025c: SWAP4
0000025d: PUSH1 0x20
0000025f: DUP2
00000260: ADD
00000261: SWAP4
00000262: POP
00000263: CALLDATALOAD
00000264: SWAP2
00000265: POP
00000266: POP
00000267: PUSH1 0x01
00000269: PUSH1 0x20
0000026b: SHL
0000026c: DUP2
0000026d: GT
0000026e: ISZERO
0000026f: PUSH2 0x0277
00000272: JUMPI
00000273: PUSH1 0x00
00000275: DUP1
00000276: REVERT
00000277: JUMPDEST
00000278: DUP3
00000279: ADD
0000027a: DUP4
0000027b: PUSH1 0x20
0000027d: DUP3
0000027e: ADD
0000027f: GT
00000280: ISZERO
00000281: PUSH2 0x0289
00000284: JUMPI
00000285: PUSH1 0x00
00000287: DUP1
00000288: REVERT
00000289: JUMPDEST
0000028a: DUP1
0000028b: CALLDATALOAD
0000028c: SWAP1
0000028d: PUSH1 0x20
0000028f: ADD
00000290: SWAP2
00000291: DUP5
00000292: PUSH1 0x01
00000294: DUP4
00000295: MUL
00000296: DUP5
00000297: ADD
00000298: GT
00000299: PUSH1 0x01
0000029b: PUSH1 0x20
0000029d: SHL
0000029e: DUP4
0000029f: GT
000002a0: OR
000002a1: ISZERO
000002a2: PUSH2 0x02aa
000002a5: JUMPI
000002a6: PUSH1 0x00
000002a8: DUP1
000002a9: REVERT
000002aa: JUMPDEST
000002ab: SWAP2
000002ac: SWAP1
000002ad: DUP1
000002ae: DUP1
000002af: PUSH1 0x1f
000002b1: ADD
000002b2: PUSH1 0x20
000002b4: DUP1
000002b5: SWAP2
000002b6: DIV
000002b7: MUL
000002b8: PUSH1 0x20
000002ba: ADD
000002bb: PUSH1 0x40
000002bd: MLOAD
000002be: SWAP1
000002bf: DUP2
000002c0: ADD
000002c1: PUSH1 0x40
000002c3: MSTORE
000002c4: DUP1
000002c5: SWAP4
000002c6: SWAP3
000002c7: SWAP2
000002c8: SWAP1
000002c9: DUP2
000002ca: DUP2
000002cb: MSTORE
000002cc: PUSH1 0x20
000002ce: ADD
000002cf: DUP4
000002d0: DUP4
000002d1: DUP1
000002d2: DUP3
000002d3: DUP5
000002d4: CALLDATACOPY
000002d5: PUSH1 0x00
000002d7: SWAP3
000002d8: ADD
000002d9: SWAP2
000002da: SWAP1
000002db: SWAP2
000002dc: MSTORE
000002dd: POP
000002de: SWAP3
000002df: SWAP6
000002e0: POP
000002e1: PUSH2 0x040a
000002e4: SWAP5
000002e5: POP
000002e6: POP
000002e7: POP
000002e8: POP
000002e9: POP
000002ea: JUMP
000002eb: JUMPDEST
000002ec: PUSH1 0x40
000002ee: DUP1
000002ef: MLOAD
000002f0: PUSH1 0x01
000002f2: PUSH1 0x01
000002f4: PUSH1 0xe0
000002f6: SHL
000002f7: SUB
000002f8: NOT
000002f9: SWAP1
000002fa: SWAP3
000002fb: AND
000002fc: DUP3
000002fd: MSTORE
000002fe: MLOAD
000002ff: SWAP1
00000300: DUP2
00000301: SWAP1
00000302: SUB
00000303: PUSH1 0x20
00000305: ADD
00000306: SWAP1
00000307: RETURN
00000308: JUMPDEST
00000309: CALLVALUE
0000030a: DUP1
0000030b: ISZERO
0000030c: PUSH2 0x0314
0000030f: JUMPI
00000310: PUSH1 0x00
00000312: DUP1
00000313: REVERT
00000314: JUMPDEST
00000315: POP
00000316: PUSH2 0x02eb
00000319: PUSH1 0x04
0000031b: DUP1
0000031c: CALLDATASIZE
0000031d: SUB
0000031e: PUSH1 0xa0
00000320: DUP2
00000321: LT
00000322: ISZERO
00000323: PUSH2 0x032b
00000326: JUMPI
00000327: PUSH1 0x00
00000329: DUP1
0000032a: REVERT
0000032b: JUMPDEST
0000032c: PUSH1 0x01
0000032e: PUSH1 0x01
00000330: PUSH1 0xa0
00000332: SHL
00000333: SUB
00000334: DUP3
00000335: CALLDATALOAD
00000336: DUP2
00000337: AND
00000338: SWAP3
00000339: PUSH1 0x20
0000033b: DUP2
0000033c: ADD
0000033d: CALLDATALOAD
0000033e: SWAP1
0000033f: SWAP2
00000340: AND
00000341: SWAP2
00000342: PUSH1 0x40
00000344: DUP3
00000345: ADD
00000346: CALLDATALOAD
00000347: SWAP2
00000348: PUSH1 0x60
0000034a: DUP2
0000034b: ADD
0000034c: CALLDATALOAD
0000034d: SWAP2
0000034e: DUP2
0000034f: ADD
00000350: SWAP1
00000351: PUSH1 0xa0
00000353: DUP2
00000354: ADD
00000355: PUSH1 0x80
00000357: DUP3
00000358: ADD
00000359: CALLDATALOAD
0000035a: PUSH1 0x01
0000035c: PUSH1 0x20
0000035e: SHL
0000035f: DUP2
00000360: GT
00000361: ISZERO
00000362: PUSH2 0x036a
00000365: JUMPI
00000366: PUSH1 0x00
00000368: DUP1
00000369: REVERT
0000036a: JUMPDEST
0000036b: DUP3
0000036c: ADD
0000036d: DUP4
0000036e: PUSH1 0x20
00000370: DUP3
00000371: ADD
00000372: GT
00000373: ISZERO
00000374: PUSH2 0x037c
00000377: JUMPI
00000378: PUSH1 0x00
0000037a: DUP1
0000037b: REVERT
0000037c: JUMPDEST
0000037d: DUP1
0000037e: CALLDATALOAD
0000037f: SWAP1
00000380: PUSH1 0x20
00000382: ADD
00000383: SWAP2
00000384: DUP5
00000385: PUSH1 0x01
00000387: DUP4
00000388: MUL
00000389: DUP5
0000038a: ADD
0000038b: GT
0000038c: PUSH1 0x01
0000038e: PUSH1 0x20
00000390: SHL
00000391: DUP4
00000392: GT
00000393: OR
00000394: ISZERO
00000395: PUSH2 0x039d
00000398: JUMPI
00000399: PUSH1 0x00
0000039b: DUP1
0000039c: REVERT
0000039d: JUMPDEST
0000039e: SWAP2
0000039f: SWAP1
000003a0: DUP1
000003a1: DUP1
000003a2: PUSH1 0x1f
000003a4: ADD
000003a5: PUSH1 0x20
000003a7: DUP1
000003a8: SWAP2
000003a9: DIV
000003aa: MUL
000003ab: PUSH1 0x20
000003ad: ADD
000003ae: PUSH1 0x40
000003b0: MLOAD
000003b1: SWAP1
000003b2: DUP2
000003b3: ADD
000003b4: PUSH1 0x40
000003b6: MSTORE
000003b7: DUP1
000003b8: SWAP4
000003b9: SWAP3
000003ba: SWAP2
000003bb: SWAP1
000003bc: DUP2
000003bd: DUP2
000003be: MSTORE
000003bf: PUSH1 0x20
000003c1: ADD
000003c2: DUP4
000003c3: DUP4
000003c4: DUP1
000003c5: DUP3
000003c6: DUP5
000003c7: CALLDATACOPY
000003c8: PUSH1 0x00
000003ca: SWAP3
000003cb: ADD
000003cc: SWAP2
000003cd: SWAP1
000003ce: SWAP2
000003cf: MSTORE
000003d0: POP
000003d1: SWAP3
000003d2: SWAP6
000003d3: POP
000003d4: PUSH2 0x0429
000003d7: SWAP5
000003d8: POP
000003d9: POP
000003da: POP
000003db: POP
000003dc: POP
000003dd: JUMP
000003de: JUMPDEST
000003df: PUSH1 0x01
000003e1: PUSH1 0x01
000003e3: PUSH1 0xe0
000003e5: SHL
000003e6: SUB
000003e7: NOT
000003e8: AND
000003e9: PUSH1 0x00
000003eb: SWAP1
000003ec: DUP2
000003ed: MSTORE
000003ee: PUSH1 0x20
000003f0: DUP2
000003f1: SWAP1
000003f2: MSTORE
000003f3: PUSH1 0x40
000003f5: SWAP1
000003f6: KECCAK256
000003f7: SLOAD
000003f8: PUSH1 0xff
000003fa: AND
000003fb: SWAP1
000003fc: JUMP
000003fd: JUMPDEST
000003fe: PUSH1 0x03
00000400: SLOAD
00000401: PUSH1 0x05
00000403: SLOAD
00000404: PUSH1 0x06
00000406: SLOAD
00000407: SELFBALANCE
00000408: SWAP4
00000409: JUMP
0000040a: JUMPDEST
0000040b: PUSH1 0x00
0000040d: PUSH2 0x0417
00000410: DUP6
00000411: DUP6
00000412: DUP6
00000413: PUSH2 0x04c5
00000416: JUMP
00000417: JUMPDEST
00000418: POP
00000419: PUSH4 0xbc197c81
0000041e: PUSH1 0xe0
00000420: SHL
00000421: SWAP6
00000422: SWAP5
00000423: POP
00000424: POP
00000425: POP
00000426: POP
00000427: POP
00000428: JUMP
00000429: JUMPDEST
0000042a: PUSH1 0x40
0000042c: DUP1
0000042d: MLOAD
0000042e: PUSH1 0x01
00000430: DUP1
00000431: DUP3
00000432: MSTORE
00000433: DUP2
00000434: DUP4
00000435: ADD
00000436: SWAP1
00000437: SWAP3
00000438: MSTORE
00000439: PUSH1 0x00
0000043b: SWAP2
0000043c: PUSH1 0x60
0000043e: SWAP2
0000043f: SWAP1
00000440: PUSH1 0x20
00000442: DUP1
00000443: DUP4
00000444: ADD
00000445: SWAP1
00000446: DUP1
00000447: CALLDATASIZE
00000448: DUP4
00000449: CALLDATACOPY
0000044a: ADD
0000044b: SWAP1
0000044c: POP
0000044d: POP
0000044e: SWAP1
0000044f: POP
00000450: DUP5
00000451: DUP2
00000452: PUSH1 0x00
00000454: DUP2
00000455: MLOAD
00000456: DUP2
00000457: LT
00000458: PUSH2 0x045d
0000045b: JUMPI
0000045c: INVALID
0000045d: JUMPDEST
0000045e: PUSH1 0x20
00000460: SWAP1
00000461: DUP2
00000462: MUL
00000463: SWAP2
00000464: SWAP1
00000465: SWAP2
00000466: ADD
00000467: ADD
00000468: MSTORE
00000469: PUSH1 0x40
0000046b: DUP1
0000046c: MLOAD
0000046d: PUSH1 0x01
0000046f: DUP1
00000470: DUP3
00000471: MSTORE
00000472: DUP2
00000473: DUP4
00000474: ADD
00000475: SWAP1
00000476: SWAP3
00000477: MSTORE
00000478: PUSH1 0x60
0000047a: SWAP2
0000047b: DUP2
0000047c: PUSH1 0x20
0000047e: ADD
0000047f: PUSH1 0x20
00000481: DUP3
00000482: MUL
00000483: DUP1
00000484: CALLDATASIZE
00000485: DUP4
00000486: CALLDATACOPY
00000487: ADD
00000488: SWAP1
00000489: POP
0000048a: POP
0000048b: SWAP1
0000048c: POP
0000048d: DUP5
0000048e: DUP2
0000048f: PUSH1 0x00
00000491: DUP2
00000492: MLOAD
00000493: DUP2
00000494: LT
00000495: PUSH2 0x049a
00000498: JUMPI
00000499: INVALID
0000049a: JUMPDEST
0000049b: PUSH1 0x20
0000049d: MUL
0000049e: PUSH1 0x20
000004a0: ADD
000004a1: ADD
000004a2: DUP2
000004a3: DUP2
000004a4: MSTORE
000004a5: POP
000004a6: POP
000004a7: PUSH2 0x04b1
000004aa: DUP8
000004ab: DUP4
000004ac: DUP4
000004ad: PUSH2 0x04c5
000004b0: JUMP
000004b1: JUMPDEST
000004b2: POP
000004b3: PUSH4 0xf23a6e61
000004b8: PUSH1 0xe0
000004ba: SHL
000004bb: SWAP8
000004bc: SWAP7
000004bd: POP
000004be: POP
000004bf: POP
000004c0: POP
000004c1: POP
000004c2: POP
000004c3: POP
000004c4: JUMP
000004c5: JUMPDEST
000004c6: PUSH1 0x01
000004c8: SLOAD
000004c9: PUSH1 0x01
000004cb: PUSH1 0x01
000004cd: PUSH1 0xa0
000004cf: SHL
000004d0: SUB
000004d1: AND
000004d2: CALLER
000004d3: EQ
000004d4: PUSH2 0x051a
000004d7: JUMPI
000004d8: PUSH1 0x40
000004da: DUP1
000004db: MLOAD
000004dc: PUSH3 0x461bcd
000004e0: PUSH1 0xe5
000004e2: SHL
000004e3: DUP2
000004e4: MSTORE
000004e5: PUSH1 0x20
000004e7: PUSH1 0x04
000004e9: DUP3
000004ea: ADD
000004eb: MSTORE
000004ec: PUSH1 0x13
000004ee: PUSH1 0x24
000004f0: DUP3
000004f1: ADD
000004f2: MSTORE
000004f3: PUSH19 0x2ab730baba3437b934bd32b21020b1ba34b7b7
00000507: PUSH1 0x69
00000509: SHL
0000050a: PUSH1 0x44
0000050c: DUP3
0000050d: ADD
0000050e: MSTORE
0000050f: SWAP1
00000510: MLOAD
00000511: SWAP1
00000512: DUP2
00000513: SWAP1
00000514: SUB
00000515: PUSH1 0x64
00000517: ADD
00000518: SWAP1
00000519: REVERT
0000051a: JUMPDEST
0000051b: PUSH1 0x05
0000051d: SLOAD
0000051e: NUMBER
0000051f: LT
00000520: ISZERO
00000521: PUSH2 0x0571
00000524: JUMPI
00000525: PUSH1 0x40
00000527: DUP1
00000528: MLOAD
00000529: PUSH3 0x461bcd
0000052d: PUSH1 0xe5
0000052f: SHL
00000530: DUP2
00000531: MSTORE
00000532: PUSH1 0x20
00000534: PUSH1 0x04
00000536: DUP3
00000537: ADD
00000538: MSTORE
00000539: PUSH1 0x1f
0000053b: PUSH1 0x24
0000053d: DUP3
0000053e: ADD
0000053f: MSTORE
00000540: PUSH32 0x52656465656d20506572696f64207374696c6c206e6f74207374617274656400
00000561: PUSH1 0x44
00000563: DUP3
00000564: ADD
00000565: MSTORE
00000566: SWAP1
00000567: MLOAD
00000568: SWAP1
00000569: DUP2
0000056a: SWAP1
0000056b: SUB
0000056c: PUSH1 0x64
0000056e: ADD
0000056f: SWAP1
00000570: REVERT
00000571: JUMPDEST
00000572: PUSH1 0x00
00000574: JUMPDEST
00000575: DUP3
00000576: MLOAD
00000577: DUP2
00000578: LT
00000579: ISZERO
0000057a: PUSH2 0x0650
0000057d: JUMPI
0000057e: PUSH1 0x02
00000580: SLOAD
00000581: DUP4
00000582: DUP3
00000583: DUP2
00000584: MLOAD
00000585: DUP2
00000586: LT
00000587: PUSH2 0x058c
0000058a: JUMPI
0000058b: INVALID
0000058c: JUMPDEST
0000058d: PUSH1 0x20
0000058f: MUL
00000590: PUSH1 0x20
00000592: ADD
00000593: ADD
00000594: MLOAD
00000595: EQ
00000596: PUSH2 0x05d4
00000599: JUMPI
0000059a: PUSH1 0x40
0000059c: DUP1
0000059d: MLOAD
0000059e: PUSH3 0x461bcd
000005a2: PUSH1 0xe5
000005a4: SHL
000005a5: DUP2
000005a6: MSTORE
000005a7: PUSH1 0x20
000005a9: PUSH1 0x04
000005ab: DUP3
000005ac: ADD
000005ad: MSTORE
000005ae: PUSH1 0x0b
000005b0: PUSH1 0x24
000005b2: DUP3
000005b3: ADD
000005b4: MSTORE
000005b5: PUSH11 0x57726f6e67204361726421
000005c1: PUSH1 0xa8
000005c3: SHL
000005c4: PUSH1 0x44
000005c6: DUP3
000005c7: ADD
000005c8: MSTORE
000005c9: SWAP1
000005ca: MLOAD
000005cb: SWAP1
000005cc: DUP2
000005cd: SWAP1
000005ce: SUB
000005cf: PUSH1 0x64
000005d1: ADD
000005d2: SWAP1
000005d3: REVERT
000005d4: JUMPDEST
000005d5: DUP2
000005d6: DUP2
000005d7: DUP2
000005d8: MLOAD
000005d9: DUP2
000005da: LT
000005db: PUSH2 0x05e0
000005de: JUMPI
000005df: INVALID
000005e0: JUMPDEST
000005e1: PUSH1 0x20
000005e3: MUL
000005e4: PUSH1 0x20
000005e6: ADD
000005e7: ADD
000005e8: MLOAD
000005e9: PUSH1 0x06
000005eb: PUSH1 0x00
000005ed: DUP3
000005ee: DUP3
000005ef: SLOAD
000005f0: ADD
000005f1: SWAP3
000005f2: POP
000005f3: POP
000005f4: DUP2
000005f5: SWAP1
000005f6: SSTORE
000005f7: POP
000005f8: DUP4
000005f9: PUSH1 0x01
000005fb: PUSH1 0x01
000005fd: PUSH1 0xa0
000005ff: SHL
00000600: SUB
00000601: AND
00000602: PUSH2 0x08fc
00000605: DUP4
00000606: DUP4
00000607: DUP2
00000608: MLOAD
00000609: DUP2
0000060a: LT
0000060b: PUSH2 0x0610
0000060e: JUMPI
0000060f: INVALID
00000610: JUMPDEST
00000611: PUSH1 0x20
00000613: MUL
00000614: PUSH1 0x20
00000616: ADD
00000617: ADD
00000618: MLOAD
00000619: PUSH1 0x03
0000061b: SLOAD
0000061c: MUL
0000061d: SWAP1
0000061e: DUP2
0000061f: ISZERO
00000620: MUL
00000621: SWAP1
00000622: PUSH1 0x40
00000624: MLOAD
00000625: PUSH1 0x00
00000627: PUSH1 0x40
00000629: MLOAD
0000062a: DUP1
0000062b: DUP4
0000062c: SUB
0000062d: DUP2
0000062e: DUP6
0000062f: DUP9
00000630: DUP9
00000631: CALL
00000632: SWAP4
00000633: POP
00000634: POP
00000635: POP
00000636: POP
00000637: ISZERO
00000638: DUP1
00000639: ISZERO
0000063a: PUSH2 0x0647
0000063d: JUMPI
0000063e: RETURNDATASIZE
0000063f: PUSH1 0x00
00000641: DUP1
00000642: RETURNDATACOPY
00000643: RETURNDATASIZE
00000644: PUSH1 0x00
00000646: REVERT
00000647: JUMPDEST
00000648: POP
00000649: PUSH1 0x01
0000064b: ADD
0000064c: PUSH2 0x0574
0000064f: JUMP
00000650: JUMPDEST
00000651: POP
00000652: PUSH1 0x01
00000654: SLOAD
00000655: PUSH1 0x40
00000657: DUP1
00000658: MLOAD
00000659: PUSH4 0x83ca4b6f
0000065e: PUSH1 0xe0
00000660: SHL
00000661: DUP2
00000662: MSTORE
00000663: PUSH1 0x04
00000665: DUP2
00000666: ADD
00000667: SWAP2
00000668: DUP3
00000669: MSTORE
0000066a: DUP5
0000066b: MLOAD
0000066c: PUSH1 0x44
0000066e: DUP3
0000066f: ADD
00000670: MSTORE
00000671: DUP5
00000672: MLOAD
00000673: PUSH1 0x01
00000675: PUSH1 0x01
00000677: PUSH1 0xa0
00000679: SHL
0000067a: SUB
0000067b: SWAP1
0000067c: SWAP4
0000067d: AND
0000067e: SWAP3
0000067f: PUSH4 0x83ca4b6f
00000684: SWAP3
00000685: DUP7
00000686: SWAP3
00000687: DUP7
00000688: SWAP3
00000689: DUP3
0000068a: SWAP2
0000068b: PUSH1 0x24
0000068d: DUP2
0000068e: ADD
0000068f: SWAP2
00000690: PUSH1 0x64
00000692: SWAP1
00000693: SWAP2
00000694: ADD
00000695: SWAP1
00000696: PUSH1 0x20
00000698: DUP1
00000699: DUP9
0000069a: ADD
0000069b: SWAP2
0000069c: MUL
0000069d: DUP1
0000069e: DUP4
0000069f: DUP4
000006a0: PUSH1 0x00
000006a2: JUMPDEST
000006a3: DUP4
000006a4: DUP2
000006a5: LT
000006a6: ISZERO
000006a7: PUSH2 0x06ba
000006aa: JUMPI
000006ab: DUP2
000006ac: DUP2
000006ad: ADD
000006ae: MLOAD
000006af: DUP4
000006b0: DUP3
000006b1: ADD
000006b2: MSTORE
000006b3: PUSH1 0x20
000006b5: ADD
000006b6: PUSH2 0x06a2
000006b9: JUMP
000006ba: JUMPDEST
000006bb: POP
000006bc: POP
000006bd: POP
000006be: POP
000006bf: SWAP1
000006c0: POP
000006c1: ADD
000006c2: DUP4
000006c3: DUP2
000006c4: SUB
000006c5: DUP3
000006c6: MSTORE
000006c7: DUP5
000006c8: DUP2
000006c9: DUP2
000006ca: MLOAD
000006cb: DUP2
000006cc: MSTORE
000006cd: PUSH1 0x20
000006cf: ADD
000006d0: SWAP2
000006d1: POP
000006d2: DUP1
000006d3: MLOAD
000006d4: SWAP1
000006d5: PUSH1 0x20
000006d7: ADD
000006d8: SWAP1
000006d9: PUSH1 0x20
000006db: MUL
000006dc: DUP1
000006dd: DUP4
000006de: DUP4
000006df: PUSH1 0x00
000006e1: JUMPDEST
000006e2: DUP4
000006e3: DUP2
000006e4: LT
000006e5: ISZERO
000006e6: PUSH2 0x06f9
000006e9: JUMPI
000006ea: DUP2
000006eb: DUP2
000006ec: ADD
000006ed: MLOAD
000006ee: DUP4
000006ef: DUP3
000006f0: ADD
000006f1: MSTORE
000006f2: PUSH1 0x20
000006f4: ADD
000006f5: PUSH2 0x06e1
000006f8: JUMP
000006f9: JUMPDEST
000006fa: POP
000006fb: POP
000006fc: POP
000006fd: POP
000006fe: SWAP1
000006ff: POP
00000700: ADD
00000701: SWAP5
00000702: POP
00000703: POP
00000704: POP
00000705: POP
00000706: POP
00000707: PUSH1 0x00
00000709: PUSH1 0x40
0000070b: MLOAD
0000070c: DUP1
0000070d: DUP4
0000070e: SUB
0000070f: DUP2
00000710: PUSH1 0x00
00000712: DUP8
00000713: DUP1
00000714: EXTCODESIZE
00000715: ISZERO
00000716: DUP1
00000717: ISZERO
00000718: PUSH2 0x0720
0000071b: JUMPI
0000071c: PUSH1 0x00
0000071e: DUP1
0000071f: REVERT
00000720: JUMPDEST
00000721: POP
00000722: GAS
00000723: CALL
00000724: ISZERO
00000725: DUP1
00000726: ISZERO
00000727: PUSH2 0x0734
0000072a: JUMPI
0000072b: RETURNDATASIZE
0000072c: PUSH1 0x00
0000072e: DUP1
0000072f: RETURNDATACOPY
00000730: RETURNDATASIZE
00000731: PUSH1 0x00
00000733: REVERT
00000734: JUMPDEST
00000735: POP
00000736: POP
00000737: POP
00000738: POP
00000739: POP
0000073a: POP
0000073b: POP
0000073c: JUMP
0000073d: INVALID
0000073e: LOG2
0000073f: PUSH5 0x6970667358
00000745: UNKNOWN(0x22)
00000746: SLT
00000747: KECCAK256
00000748: UNKNOWN(0xA7)
00000749: UNKNOWN(0xD3)
0000074a: UNKNOWN(0xFB)
0000074b: MOD
0000074c: UNKNOWN(0xEF)
0000074d: SWAP13
0000074e: PUSH12 0x1647d296c2db9c56917fc170
0000075b: UNKNOWN(0xC4)
0000075c: MLOAD
0000075d: UNKNOWN(0xCC)
0000075e: TSTORE
0000075f: PUSH28

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