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

Analysis Run

019ba940-89f8-7323-bf60-a7ef65e39ebf

complete
Chain ID
1
Address
0x00f8e87bd467b7b436b95b78a08335ede40ceac0
Block Number
—
Created
Sat, Jan 10, 2026 6:52 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
36742 artifact.fetch complete 1 / 3 3 months ago
36743 proxy.resolve complete 1 / 3 3 months ago
36744 tool.cast_disasm complete 1 / 3 3 months ago
36745 analysis.bundle complete 1 / 3 3 months ago
36746 capability.graph complete 1 / 3 3 months ago
36747 detector.run complete 1 / 3 3 months ago
36748 validation.fork complete 1 / 3 3 months ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no not_proxy
Implementation:
—
Verified Source: no
Proxy evidence 
{
    "status": "not_proxy"
}

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
14
EXT*/BALANCE
7
Total opcodes
7298
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x000f
0000000b: JUMPI
0000000c: PUSH0
0000000d: PUSH0
0000000e: REVERT
0000000f: JUMPDEST
00000010: POP
00000011: PUSH1 0x04
00000013: CALLDATASIZE
00000014: LT
00000015: PUSH2 0x00e8
00000018: JUMPI
00000019: PUSH0
0000001a: CALLDATALOAD
0000001b: PUSH1 0xe0
0000001d: SHR
0000001e: DUP1
0000001f: PUSH4 0xb47b2fb1
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe158b735
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe158b735
0000003a: EQ
0000003b: PUSH2 0x02ab
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe1b4af69
00000045: EQ
00000046: PUSH2 0x02c7
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x02f7
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf3fef3a3
0000005b: EQ
0000005c: PUSH2 0x0313
0000005f: JUMPI
00000060: PUSH2 0x00e8
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xb47b2fb1
0000006b: EQ
0000006c: PUSH2 0x021a
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xb6a8b0fa
00000076: EQ
00000077: PUSH2 0x024b
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xdc98354e
00000081: EQ
00000082: PUSH2 0x027b
00000085: JUMPI
00000086: PUSH2 0x00e8
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x6c2bbe7e
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x6c2bbe7e
0000009c: EQ
0000009d: PUSH2 0x017e
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x6fe7e6eb
000000a7: EQ
000000a8: PUSH2 0x01af
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x79ba5097
000000b2: EQ
000000b3: PUSH2 0x01df
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x9f063efc
000000bd: EQ
000000be: PUSH2 0x01e9
000000c1: JUMPI
000000c2: PUSH2 0x00e8
000000c5: JUMP
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x21d0ee70
000000cd: EQ
000000ce: PUSH2 0x00ec
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x259982e5
000000d8: EQ
000000d9: PUSH2 0x011c
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x575e24b4
000000e3: EQ
000000e4: PUSH2 0x014c
000000e7: JUMPI
000000e8: JUMPDEST
000000e9: PUSH0
000000ea: PUSH0
000000eb: REVERT
000000ec: JUMPDEST
000000ed: PUSH2 0x0106
000000f0: PUSH1 0x04
000000f2: DUP1
000000f3: CALLDATASIZE
000000f4: SUB
000000f5: DUP2
000000f6: ADD
000000f7: SWAP1
000000f8: PUSH2 0x0101
000000fb: SWAP2
000000fc: SWAP1
000000fd: PUSH2 0x268a
00000100: JUMP
00000101: JUMPDEST
00000102: PUSH2 0x032f
00000105: JUMP
00000106: JUMPDEST
00000107: PUSH1 0x40
00000109: MLOAD
0000010a: PUSH2 0x0113
0000010d: SWAP2
0000010e: SWAP1
0000010f: PUSH2 0x274a
00000112: JUMP
00000113: JUMPDEST
00000114: PUSH1 0x40
00000116: MLOAD
00000117: DUP1
00000118: SWAP2
00000119: SUB
0000011a: SWAP1
0000011b: RETURN
0000011c: JUMPDEST
0000011d: PUSH2 0x0136
00000120: PUSH1 0x04
00000122: DUP1
00000123: CALLDATASIZE
00000124: SUB
00000125: DUP2
00000126: ADD
00000127: SWAP1
00000128: PUSH2 0x0131
0000012b: SWAP2
0000012c: SWAP1
0000012d: PUSH2 0x268a
00000130: JUMP
00000131: JUMPDEST
00000132: PUSH2 0x042f
00000135: JUMP
00000136: JUMPDEST
00000137: PUSH1 0x40
00000139: MLOAD
0000013a: PUSH2 0x0143
0000013d: SWAP2
0000013e: SWAP1
0000013f: PUSH2 0x274a
00000142: JUMP
00000143: JUMPDEST
00000144: PUSH1 0x40
00000146: MLOAD
00000147: DUP1
00000148: SWAP2
00000149: SUB
0000014a: SWAP1
0000014b: RETURN
0000014c: JUMPDEST
0000014d: PUSH2 0x0166
00000150: PUSH1 0x04
00000152: DUP1
00000153: CALLDATASIZE
00000154: SUB
00000155: DUP2
00000156: ADD
00000157: SWAP1
00000158: PUSH2 0x0161
0000015b: SWAP2
0000015c: SWAP1
0000015d: PUSH2 0x2781
00000160: JUMP
00000161: JUMPDEST
00000162: PUSH2 0x052f
00000165: JUMP
00000166: JUMPDEST
00000167: PUSH1 0x40
00000169: MLOAD
0000016a: PUSH2 0x0175
0000016d: SWAP4
0000016e: SWAP3
0000016f: SWAP2
00000170: SWAP1
00000171: PUSH2 0x2866
00000174: JUMP
00000175: JUMPDEST
00000176: PUSH1 0x40
00000178: MLOAD
00000179: DUP1
0000017a: SWAP2
0000017b: SUB
0000017c: SWAP1
0000017d: RETURN
0000017e: JUMPDEST
0000017f: PUSH2 0x0198
00000182: PUSH1 0x04
00000184: DUP1
00000185: CALLDATASIZE
00000186: SUB
00000187: DUP2
00000188: ADD
00000189: SWAP1
0000018a: PUSH2 0x0193
0000018d: SWAP2
0000018e: SWAP1
0000018f: PUSH2 0x28c5
00000192: JUMP
00000193: JUMPDEST
00000194: PUSH2 0x0da2
00000197: JUMP
00000198: JUMPDEST
00000199: PUSH1 0x40
0000019b: MLOAD
0000019c: PUSH2 0x01a6
0000019f: SWAP3
000001a0: SWAP2
000001a1: SWAP1
000001a2: PUSH2 0x2982
000001a5: JUMP
000001a6: JUMPDEST
000001a7: PUSH1 0x40
000001a9: MLOAD
000001aa: DUP1
000001ab: SWAP2
000001ac: SUB
000001ad: SWAP1
000001ae: RETURN
000001af: JUMPDEST
000001b0: PUSH2 0x01c9
000001b3: PUSH1 0x04
000001b5: DUP1
000001b6: CALLDATASIZE
000001b7: SUB
000001b8: DUP2
000001b9: ADD
000001ba: SWAP1
000001bb: PUSH2 0x01c4
000001be: SWAP2
000001bf: SWAP1
000001c0: PUSH2 0x2a09
000001c3: JUMP
000001c4: JUMPDEST
000001c5: PUSH2 0x0dd6
000001c8: JUMP
000001c9: JUMPDEST
000001ca: PUSH1 0x40
000001cc: MLOAD
000001cd: PUSH2 0x01d6
000001d0: SWAP2
000001d1: SWAP1
000001d2: PUSH2 0x274a
000001d5: JUMP
000001d6: JUMPDEST
000001d7: PUSH1 0x40
000001d9: MLOAD
000001da: DUP1
000001db: SWAP2
000001dc: SUB
000001dd: SWAP1
000001de: RETURN
000001df: JUMPDEST
000001e0: PUSH2 0x01e7
000001e3: PUSH2 0x0e09
000001e6: JUMP
000001e7: JUMPDEST
000001e8: STOP
000001e9: JUMPDEST
000001ea: PUSH2 0x0203
000001ed: PUSH1 0x04
000001ef: DUP1
000001f0: CALLDATASIZE
000001f1: SUB
000001f2: DUP2
000001f3: ADD
000001f4: SWAP1
000001f5: PUSH2 0x01fe
000001f8: SWAP2
000001f9: SWAP1
000001fa: PUSH2 0x28c5
000001fd: JUMP
000001fe: JUMPDEST
000001ff: PUSH2 0x0f31
00000202: JUMP
00000203: JUMPDEST
00000204: PUSH1 0x40
00000206: MLOAD
00000207: PUSH2 0x0211
0000020a: SWAP3
0000020b: SWAP2
0000020c: SWAP1
0000020d: PUSH2 0x2982
00000210: JUMP
00000211: JUMPDEST
00000212: PUSH1 0x40
00000214: MLOAD
00000215: DUP1
00000216: SWAP2
00000217: SUB
00000218: SWAP1
00000219: RETURN
0000021a: JUMPDEST
0000021b: PUSH2 0x0234
0000021e: PUSH1 0x04
00000220: DUP1
00000221: CALLDATASIZE
00000222: SUB
00000223: DUP2
00000224: ADD
00000225: SWAP1
00000226: PUSH2 0x022f
00000229: SWAP2
0000022a: SWAP1
0000022b: PUSH2 0x2a6e
0000022e: JUMP
0000022f: JUMPDEST
00000230: PUSH2 0x0f65
00000233: JUMP
00000234: JUMPDEST
00000235: PUSH1 0x40
00000237: MLOAD
00000238: PUSH2 0x0242
0000023b: SWAP3
0000023c: SWAP2
0000023d: SWAP1
0000023e: PUSH2 0x2b22
00000241: JUMP
00000242: JUMPDEST
00000243: PUSH1 0x40
00000245: MLOAD
00000246: DUP1
00000247: SWAP2
00000248: SUB
00000249: SWAP1
0000024a: RETURN
0000024b: JUMPDEST
0000024c: PUSH2 0x0265
0000024f: PUSH1 0x04
00000251: DUP1
00000252: CALLDATASIZE
00000253: SUB
00000254: DUP2
00000255: ADD
00000256: SWAP1
00000257: PUSH2 0x0260
0000025a: SWAP2
0000025b: SWAP1
0000025c: PUSH2 0x2b7c
0000025f: JUMP
00000260: JUMPDEST
00000261: PUSH2 0x1457
00000264: JUMP
00000265: JUMPDEST
00000266: PUSH1 0x40
00000268: MLOAD
00000269: PUSH2 0x0272
0000026c: SWAP2
0000026d: SWAP1
0000026e: PUSH2 0x274a
00000271: JUMP
00000272: JUMPDEST
00000273: PUSH1 0x40
00000275: MLOAD
00000276: DUP1
00000277: SWAP2
00000278: SUB
00000279: SWAP1
0000027a: RETURN
0000027b: JUMPDEST
0000027c: PUSH2 0x0295
0000027f: PUSH1 0x04
00000281: DUP1
00000282: CALLDATASIZE
00000283: SUB
00000284: DUP2
00000285: ADD
00000286: SWAP1
00000287: PUSH2 0x0290
0000028a: SWAP2
0000028b: SWAP1
0000028c: PUSH2 0x2c14
0000028f: JUMP
00000290: JUMPDEST
00000291: PUSH2 0x148a
00000294: JUMP
00000295: JUMPDEST
00000296: PUSH1 0x40
00000298: MLOAD
00000299: PUSH2 0x02a2
0000029c: SWAP2
0000029d: SWAP1
0000029e: PUSH2 0x274a
000002a1: JUMP
000002a2: JUMPDEST
000002a3: PUSH1 0x40
000002a5: MLOAD
000002a6: DUP1
000002a7: SWAP2
000002a8: SUB
000002a9: SWAP1
000002aa: RETURN
000002ab: JUMPDEST
000002ac: PUSH2 0x02c5
000002af: PUSH1 0x04
000002b1: DUP1
000002b2: CALLDATASIZE
000002b3: SUB
000002b4: DUP2
000002b5: ADD
000002b6: SWAP1
000002b7: PUSH2 0x02c0
000002ba: SWAP2
000002bb: SWAP1
000002bc: PUSH2 0x2cc3
000002bf: JUMP
000002c0: JUMPDEST
000002c1: PUSH2 0x1878
000002c4: JUMP
000002c5: JUMPDEST
000002c6: STOP
000002c7: JUMPDEST
000002c8: PUSH2 0x02e1
000002cb: PUSH1 0x04
000002cd: DUP1
000002ce: CALLDATASIZE
000002cf: SUB
000002d0: DUP2
000002d1: ADD
000002d2: SWAP1
000002d3: PUSH2 0x02dc
000002d6: SWAP2
000002d7: SWAP1
000002d8: PUSH2 0x2b7c
000002db: JUMP
000002dc: JUMPDEST
000002dd: PUSH2 0x1957
000002e0: JUMP
000002e1: JUMPDEST
000002e2: PUSH1 0x40
000002e4: MLOAD
000002e5: PUSH2 0x02ee
000002e8: SWAP2
000002e9: SWAP1
000002ea: PUSH2 0x274a
000002ed: JUMP
000002ee: JUMPDEST
000002ef: PUSH1 0x40
000002f1: MLOAD
000002f2: DUP1
000002f3: SWAP2
000002f4: SUB
000002f5: SWAP1
000002f6: RETURN
000002f7: JUMPDEST
000002f8: PUSH2 0x0311
000002fb: PUSH1 0x04
000002fd: DUP1
000002fe: CALLDATASIZE
000002ff: SUB
00000300: DUP2
00000301: ADD
00000302: SWAP1
00000303: PUSH2 0x030c
00000306: SWAP2
00000307: SWAP1
00000308: PUSH2 0x2d01
0000030b: JUMP
0000030c: JUMPDEST
0000030d: PUSH2 0x198a
00000310: JUMP
00000311: JUMPDEST
00000312: STOP
00000313: JUMPDEST
00000314: PUSH2 0x032d
00000317: PUSH1 0x04
00000319: DUP1
0000031a: CALLDATASIZE
0000031b: SUB
0000031c: DUP2
0000031d: ADD
0000031e: SWAP1
0000031f: PUSH2 0x0328
00000322: SWAP2
00000323: SWAP1
00000324: PUSH2 0x2d2c
00000327: JUMP
00000328: JUMPDEST
00000329: PUSH2 0x1a54
0000032c: JUMP
0000032d: JUMPDEST
0000032e: STOP
0000032f: JUMPDEST
00000330: PUSH0
00000331: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
00000352: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000367: AND
00000368: CALLER
00000369: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000037e: AND
0000037f: EQ
00000380: PUSH2 0x03b5
00000383: JUMPI
00000384: PUSH1 0x40
00000386: MLOAD
00000387: PUSH32 0xae18210a00000000000000000000000000000000000000000000000000000000
000003a8: DUP2
000003a9: MSTORE
000003aa: PUSH1 0x04
000003ac: ADD
000003ad: PUSH1 0x40
000003af: MLOAD
000003b0: DUP1
000003b1: SWAP2
000003b2: SUB
000003b3: SWAP1
000003b4: REVERT
000003b5: JUMPDEST
000003b6: DUP6
000003b7: ADDRESS
000003b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003cd: AND
000003ce: DUP2
000003cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003e4: AND
000003e5: EQ
000003e6: PUSH2 0x041b
000003e9: JUMPI
000003ea: PUSH1 0x40
000003ec: MLOAD
000003ed: PUSH32 0x152cf77d00000000000000000000000000000000000000000000000000000000
0000040e: DUP2
0000040f: MSTORE
00000410: PUSH1 0x04
00000412: ADD
00000413: PUSH1 0x40
00000415: MLOAD
00000416: DUP1
00000417: SWAP2
00000418: SUB
00000419: SWAP1
0000041a: REVERT
0000041b: JUMPDEST
0000041c: PUSH4 0x259982e5
00000421: PUSH1 0xe0
00000423: SHL
00000424: SWAP2
00000425: POP
00000426: POP
00000427: SWAP6
00000428: SWAP5
00000429: POP
0000042a: POP
0000042b: POP
0000042c: POP
0000042d: POP
0000042e: JUMP
0000042f: JUMPDEST
00000430: PUSH0
00000431: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
00000452: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000467: AND
00000468: CALLER
00000469: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000047e: AND
0000047f: EQ
00000480: PUSH2 0x04b5
00000483: JUMPI
00000484: PUSH1 0x40
00000486: MLOAD
00000487: PUSH32 0xae18210a00000000000000000000000000000000000000000000000000000000
000004a8: DUP2
000004a9: MSTORE
000004aa: PUSH1 0x04
000004ac: ADD
000004ad: PUSH1 0x40
000004af: MLOAD
000004b0: DUP1
000004b1: SWAP2
000004b2: SUB
000004b3: SWAP1
000004b4: REVERT
000004b5: JUMPDEST
000004b6: DUP6
000004b7: ADDRESS
000004b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004cd: AND
000004ce: DUP2
000004cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004e4: AND
000004e5: EQ
000004e6: PUSH2 0x051b
000004e9: JUMPI
000004ea: PUSH1 0x40
000004ec: MLOAD
000004ed: PUSH32 0x152cf77d00000000000000000000000000000000000000000000000000000000
0000050e: DUP2
0000050f: MSTORE
00000510: PUSH1 0x04
00000512: ADD
00000513: PUSH1 0x40
00000515: MLOAD
00000516: DUP1
00000517: SWAP2
00000518: SUB
00000519: SWAP1
0000051a: REVERT
0000051b: JUMPDEST
0000051c: PUSH4 0x259982e5
00000521: PUSH1 0xe0
00000523: SHL
00000524: SWAP2
00000525: POP
00000526: POP
00000527: SWAP6
00000528: SWAP5
00000529: POP
0000052a: POP
0000052b: POP
0000052c: POP
0000052d: POP
0000052e: JUMP
0000052f: JUMPDEST
00000530: PUSH0
00000531: PUSH0
00000532: PUSH0
00000533: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
00000554: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000569: AND
0000056a: CALLER
0000056b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000580: AND
00000581: EQ
00000582: PUSH2 0x05b7
00000585: JUMPI
00000586: PUSH1 0x40
00000588: MLOAD
00000589: PUSH32 0xae18210a00000000000000000000000000000000000000000000000000000000
000005aa: DUP2
000005ab: MSTORE
000005ac: PUSH1 0x04
000005ae: ADD
000005af: PUSH1 0x40
000005b1: MLOAD
000005b2: DUP1
000005b3: SWAP2
000005b4: SUB
000005b5: SWAP1
000005b6: REVERT
000005b7: JUMPDEST
000005b8: PUSH0
000005b9: PUSH0
000005ba: PUSH2 0x061a
000005bd: PUSH2 0x05d5
000005c0: DUP11
000005c1: DUP1
000005c2: CALLDATASIZE
000005c3: SUB
000005c4: DUP2
000005c5: ADD
000005c6: SWAP1
000005c7: PUSH2 0x05d0
000005ca: SWAP2
000005cb: SWAP1
000005cc: PUSH2 0x2ee4
000005cf: JUMP
000005d0: JUMPDEST
000005d1: PUSH2 0x1b3d
000005d4: JUMP
000005d5: JUMPDEST
000005d6: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
000005f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000060c: AND
0000060d: PUSH2 0x1b49
00000610: SWAP1
00000611: SWAP2
00000612: SWAP1
00000613: PUSH4 0xffffffff
00000618: AND
00000619: JUMP
0000061a: JUMPDEST
0000061b: POP
0000061c: POP
0000061d: SWAP2
0000061e: POP
0000061f: SWAP2
00000620: POP
00000621: DUP8
00000622: PUSH0
00000623: ADD
00000624: PUSH1 0x20
00000626: DUP2
00000627: ADD
00000628: SWAP1
00000629: PUSH2 0x0632
0000062c: SWAP2
0000062d: SWAP1
0000062e: PUSH2 0x2f0f
00000631: JUMP
00000632: JUMPDEST
00000633: ISZERO
00000634: PUSH2 0x0777
00000637: JUMPI
00000638: PUSH0
00000639: PUSH2 0x0673
0000063c: ADDRESS
0000063d: DUP12
0000063e: PUSH1 0x20
00000640: ADD
00000641: PUSH1 0x20
00000643: DUP2
00000644: ADD
00000645: SWAP1
00000646: PUSH2 0x064f
00000649: SWAP2
0000064a: SWAP1
0000064b: PUSH2 0x2f3a
0000064e: JUMP
0000064f: JUMPDEST
00000650: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000665: AND
00000666: PUSH2 0x1c17
00000669: SWAP1
0000066a: SWAP2
0000066b: SWAP1
0000066c: PUSH4 0xffffffff
00000671: AND
00000672: JUMP
00000673: JUMPDEST
00000674: SWAP1
00000675: POP
00000676: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6
00000697: PUSH0
00000698: PUSH0
00000699: PUSH2 0x0100
0000069c: EXP
0000069d: DUP2
0000069e: TLOAD
0000069f: DUP2
000006a0: PUSH3 0xffffff
000006a4: MUL
000006a5: NOT
000006a6: AND
000006a7: SWAP1
000006a8: DUP4
000006a9: PUSH1 0x02
000006ab: SIGNEXTEND
000006ac: PUSH3 0xffffff
000006b0: AND
000006b1: MUL
000006b2: OR
000006b3: SWAP1
000006b4: TSTORE
000006b5: POP
000006b6: PUSH1 0x01
000006b8: DUP3
000006b9: PUSH2 0x06c2
000006bc: SWAP2
000006bd: SWAP1
000006be: PUSH2 0x2f92
000006c1: JUMP
000006c2: JUMPDEST
000006c3: PUSH0
000006c4: PUSH1 0x03
000006c6: PUSH2 0x0100
000006c9: EXP
000006ca: DUP2
000006cb: TLOAD
000006cc: DUP2
000006cd: PUSH3 0xffffff
000006d1: MUL
000006d2: NOT
000006d3: AND
000006d4: SWAP1
000006d5: DUP4
000006d6: PUSH1 0x02
000006d8: SIGNEXTEND
000006d9: PUSH3 0xffffff
000006dd: AND
000006de: MUL
000006df: OR
000006e0: SWAP1
000006e1: TSTORE
000006e2: POP
000006e3: PUSH2 0x0737
000006e6: DUP4
000006e7: PUSH32 0x0000000000000000000000000000000000000000ffdf3de87261863e03afb378
00000708: PUSH2 0x071e
0000070b: PUSH0
0000070c: PUSH1 0x03
0000070e: SWAP1
0000070f: TLOAD
00000710: SWAP1
00000711: PUSH2 0x0100
00000714: EXP
00000715: SWAP1
00000716: DIV
00000717: PUSH1 0x02
00000719: SIGNEXTEND
0000071a: PUSH2 0x1cdc
0000071d: JUMP
0000071e: JUMPDEST
0000071f: PUSH16 0xffffffffffffffffffffffffffffffff
00000730: DUP1
00000731: AND
00000732: DUP6
00000733: PUSH2 0x2036
00000736: JUMP
00000737: JUMPDEST
00000738: PUSH0
00000739: PUSH1 0x06
0000073b: PUSH2 0x0100
0000073e: EXP
0000073f: DUP2
00000740: TLOAD
00000741: DUP2
00000742: PUSH16 0xffffffffffffffffffffffffffffffff
00000753: MUL
00000754: NOT
00000755: AND
00000756: SWAP1
00000757: DUP4
00000758: PUSH1 0x0f
0000075a: SIGNEXTEND
0000075b: PUSH16 0xffffffffffffffffffffffffffffffff
0000076c: AND
0000076d: MUL
0000076e: OR
0000076f: SWAP1
00000770: TSTORE
00000771: POP
00000772: POP
00000773: PUSH2 0x08a5
00000776: JUMP
00000777: JUMPDEST
00000778: PUSH0
00000779: PUSH2 0x07b2
0000077c: ADDRESS
0000077d: DUP12
0000077e: PUSH0
0000077f: ADD
00000780: PUSH1 0x20
00000782: DUP2
00000783: ADD
00000784: SWAP1
00000785: PUSH2 0x078e
00000788: SWAP2
00000789: SWAP1
0000078a: PUSH2 0x2f3a
0000078d: JUMP
0000078e: JUMPDEST
0000078f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a4: AND
000007a5: PUSH2 0x1c17
000007a8: SWAP1
000007a9: SWAP2
000007aa: SWAP1
000007ab: PUSH4 0xffffffff
000007b0: AND
000007b1: JUMP
000007b2: JUMPDEST
000007b3: SWAP1
000007b4: POP
000007b5: DUP2
000007b6: PUSH0
000007b7: PUSH0
000007b8: PUSH2 0x0100
000007bb: EXP
000007bc: DUP2
000007bd: TLOAD
000007be: DUP2
000007bf: PUSH3 0xffffff
000007c3: MUL
000007c4: NOT
000007c5: AND
000007c6: SWAP1
000007c7: DUP4
000007c8: PUSH1 0x02
000007ca: SIGNEXTEND
000007cb: PUSH3 0xffffff
000007cf: AND
000007d0: MUL
000007d1: OR
000007d2: SWAP1
000007d3: TSTORE
000007d4: POP
000007d5: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a
000007f6: PUSH0
000007f7: PUSH1 0x03
000007f9: PUSH2 0x0100
000007fc: EXP
000007fd: DUP2
000007fe: TLOAD
000007ff: DUP2
00000800: PUSH3 0xffffff
00000804: MUL
00000805: NOT
00000806: AND
00000807: SWAP1
00000808: DUP4
00000809: PUSH1 0x02
0000080b: SIGNEXTEND
0000080c: PUSH3 0xffffff
00000810: AND
00000811: MUL
00000812: OR
00000813: SWAP1
00000814: TSTORE
00000815: POP
00000816: PUSH2 0x0869
00000819: DUP4
0000081a: PUSH2 0x082f
0000081d: PUSH0
0000081e: PUSH0
0000081f: SWAP1
00000820: TLOAD
00000821: SWAP1
00000822: PUSH2 0x0100
00000825: EXP
00000826: SWAP1
00000827: DIV
00000828: PUSH1 0x02
0000082a: SIGNEXTEND
0000082b: PUSH2 0x1cdc
0000082e: JUMP
0000082f: JUMPDEST
00000830: PUSH32 0x00000000000000000000000000000000000000010020c649300be3bb0e87ea77
00000851: DUP5
00000852: PUSH16 0xffffffffffffffffffffffffffffffff
00000863: DUP1
00000864: AND
00000865: PUSH2 0x2036
00000868: JUMP
00000869: JUMPDEST
0000086a: PUSH0
0000086b: PUSH1 0x06
0000086d: PUSH2 0x0100
00000870: EXP
00000871: DUP2
00000872: TLOAD
00000873: DUP2
00000874: PUSH16 0xffffffffffffffffffffffffffffffff
00000885: MUL
00000886: NOT
00000887: AND
00000888: SWAP1
00000889: DUP4
0000088a: PUSH1 0x0f
0000088c: SIGNEXTEND
0000088d: PUSH16 0xffffffffffffffffffffffffffffffff
0000089e: AND
0000089f: MUL
000008a0: OR
000008a1: SWAP1
000008a2: TSTORE
000008a3: POP
000008a4: POP
000008a5: JUMPDEST
000008a6: PUSH0
000008a7: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
000008c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008dd: AND
000008de: PUSH4 0x5a6bcfda
000008e3: DUP12
000008e4: PUSH1 0x40
000008e6: MLOAD
000008e7: DUP1
000008e8: PUSH1 0x80
000008ea: ADD
000008eb: PUSH1 0x40
000008ed: MSTORE
000008ee: DUP1
000008ef: PUSH0
000008f0: PUSH0
000008f1: SWAP1
000008f2: TLOAD
000008f3: SWAP1
000008f4: PUSH2 0x0100
000008f7: EXP
000008f8: SWAP1
000008f9: DIV
000008fa: PUSH1 0x02
000008fc: SIGNEXTEND
000008fd: PUSH1 0x02
000008ff: SIGNEXTEND
00000900: DUP2
00000901: MSTORE
00000902: PUSH1 0x20
00000904: ADD
00000905: PUSH0
00000906: PUSH1 0x03
00000908: SWAP1
00000909: TLOAD
0000090a: SWAP1
0000090b: PUSH2 0x0100
0000090e: EXP
0000090f: SWAP1
00000910: DIV
00000911: PUSH1 0x02
00000913: SIGNEXTEND
00000914: PUSH1 0x02
00000916: SIGNEXTEND
00000917: DUP2
00000918: MSTORE
00000919: PUSH1 0x20
0000091b: ADD
0000091c: PUSH0
0000091d: PUSH1 0x06
0000091f: SWAP1
00000920: TLOAD
00000921: SWAP1
00000922: PUSH2 0x0100
00000925: EXP
00000926: SWAP1
00000927: DIV
00000928: PUSH1 0x0f
0000092a: SIGNEXTEND
0000092b: PUSH1 0x0f
0000092d: SIGNEXTEND
0000092e: DUP2
0000092f: MSTORE
00000930: PUSH1 0x20
00000932: ADD
00000933: PUSH0
00000934: DUP2
00000935: MSTORE
00000936: POP
00000937: PUSH1 0x40
00000939: MLOAD
0000093a: DUP4
0000093b: PUSH4 0xffffffff
00000940: AND
00000941: PUSH1 0xe0
00000943: SHL
00000944: DUP2
00000945: MSTORE
00000946: PUSH1 0x04
00000948: ADD
00000949: PUSH2 0x0953
0000094c: SWAP3
0000094d: SWAP2
0000094e: SWAP1
0000094f: PUSH2 0x320f
00000952: JUMP
00000953: JUMPDEST
00000954: PUSH1 0x40
00000956: DUP1
00000957: MLOAD
00000958: DUP1
00000959: DUP4
0000095a: SUB
0000095b: DUP2
0000095c: PUSH0
0000095d: DUP8
0000095e: GAS
0000095f: CALL
00000960: ISZERO
00000961: DUP1
00000962: ISZERO
00000963: PUSH2 0x096e
00000966: JUMPI
00000967: RETURNDATASIZE
00000968: PUSH0
00000969: PUSH0
0000096a: RETURNDATACOPY
0000096b: RETURNDATASIZE
0000096c: PUSH0
0000096d: REVERT
0000096e: JUMPDEST
0000096f: POP
00000970: POP
00000971: POP
00000972: POP
00000973: PUSH1 0x40
00000975: MLOAD
00000976: RETURNDATASIZE
00000977: PUSH1 0x1f
00000979: NOT
0000097a: PUSH1 0x1f
0000097c: DUP3
0000097d: ADD
0000097e: AND
0000097f: DUP3
00000980: ADD
00000981: DUP1
00000982: PUSH1 0x40
00000984: MSTORE
00000985: POP
00000986: DUP2
00000987: ADD
00000988: SWAP1
00000989: PUSH2 0x0992
0000098c: SWAP2
0000098d: SWAP1
0000098e: PUSH2 0x325f
00000991: JUMP
00000992: JUMPDEST
00000993: POP
00000994: SWAP1
00000995: POP
00000996: DUP9
00000997: PUSH0
00000998: ADD
00000999: PUSH1 0x20
0000099b: DUP2
0000099c: ADD
0000099d: SWAP1
0000099e: PUSH2 0x09a7
000009a1: SWAP2
000009a2: SWAP1
000009a3: PUSH2 0x2f0f
000009a6: JUMP
000009a7: JUMPDEST
000009a8: ISZERO
000009a9: PUSH2 0x0b9b
000009ac: JUMPI
000009ad: PUSH2 0x09b5
000009b0: DUP2
000009b1: PUSH2 0x228d
000009b4: JUMP
000009b5: JUMPDEST
000009b6: PUSH1 0x01
000009b8: PUSH0
000009b9: PUSH2 0x0100
000009bc: EXP
000009bd: DUP2
000009be: TLOAD
000009bf: DUP2
000009c0: PUSH16 0xffffffffffffffffffffffffffffffff
000009d1: MUL
000009d2: NOT
000009d3: AND
000009d4: SWAP1
000009d5: DUP4
000009d6: PUSH1 0x0f
000009d8: SIGNEXTEND
000009d9: PUSH16 0xffffffffffffffffffffffffffffffff
000009ea: AND
000009eb: MUL
000009ec: OR
000009ed: SWAP1
000009ee: TSTORE
000009ef: POP
000009f0: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
00000a11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a26: AND
00000a27: PUSH4 0xa5841194
00000a2c: DUP12
00000a2d: PUSH1 0x20
00000a2f: ADD
00000a30: PUSH1 0x20
00000a32: DUP2
00000a33: ADD
00000a34: SWAP1
00000a35: PUSH2 0x0a3e
00000a38: SWAP2
00000a39: SWAP1
00000a3a: PUSH2 0x2f3a
00000a3d: JUMP
00000a3e: JUMPDEST
00000a3f: PUSH1 0x40
00000a41: MLOAD
00000a42: DUP3
00000a43: PUSH4 0xffffffff
00000a48: AND
00000a49: PUSH1 0xe0
00000a4b: SHL
00000a4c: DUP2
00000a4d: MSTORE
00000a4e: PUSH1 0x04
00000a50: ADD
00000a51: PUSH2 0x0a5a
00000a54: SWAP2
00000a55: SWAP1
00000a56: PUSH2 0x32ac
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: PUSH0
00000a5c: PUSH1 0x40
00000a5e: MLOAD
00000a5f: DUP1
00000a60: DUP4
00000a61: SUB
00000a62: DUP2
00000a63: PUSH0
00000a64: DUP8
00000a65: DUP1
00000a66: EXTCODESIZE
00000a67: ISZERO
00000a68: DUP1
00000a69: ISZERO
00000a6a: PUSH2 0x0a71
00000a6d: JUMPI
00000a6e: PUSH0
00000a6f: PUSH0
00000a70: REVERT
00000a71: JUMPDEST
00000a72: POP
00000a73: GAS
00000a74: CALL
00000a75: ISZERO
00000a76: DUP1
00000a77: ISZERO
00000a78: PUSH2 0x0a83
00000a7b: JUMPI
00000a7c: RETURNDATASIZE
00000a7d: PUSH0
00000a7e: PUSH0
00000a7f: RETURNDATACOPY
00000a80: RETURNDATASIZE
00000a81: PUSH0
00000a82: REVERT
00000a83: JUMPDEST
00000a84: POP
00000a85: POP
00000a86: POP
00000a87: POP
00000a88: PUSH2 0x0b07
00000a8b: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
00000aac: PUSH2 0x0ab4
00000aaf: DUP4
00000ab0: PUSH2 0x2299
00000ab3: JUMP
00000ab4: JUMPDEST
00000ab5: PUSH2 0x0abd
00000ab8: SWAP1
00000ab9: PUSH2 0x32c5
00000abc: JUMP
00000abd: JUMPDEST
00000abe: PUSH16 0xffffffffffffffffffffffffffffffff
00000acf: AND
00000ad0: DUP13
00000ad1: PUSH1 0x20
00000ad3: ADD
00000ad4: PUSH1 0x20
00000ad6: DUP2
00000ad7: ADD
00000ad8: SWAP1
00000ad9: PUSH2 0x0ae2
00000adc: SWAP2
00000add: SWAP1
00000ade: PUSH2 0x2f3a
00000ae1: JUMP
00000ae2: JUMPDEST
00000ae3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af8: AND
00000af9: PUSH2 0x22a5
00000afc: SWAP1
00000afd: SWAP3
00000afe: SWAP2
00000aff: SWAP1
00000b00: PUSH4 0xffffffff
00000b05: AND
00000b06: JUMP
00000b07: JUMPDEST
00000b08: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
00000b29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b3e: AND
00000b3f: PUSH4 0x11da60b4
00000b44: PUSH1 0x40
00000b46: MLOAD
00000b47: DUP2
00000b48: PUSH4 0xffffffff
00000b4d: AND
00000b4e: PUSH1 0xe0
00000b50: SHL
00000b51: DUP2
00000b52: MSTORE
00000b53: PUSH1 0x04
00000b55: ADD
00000b56: PUSH1 0x20
00000b58: PUSH1 0x40
00000b5a: MLOAD
00000b5b: DUP1
00000b5c: DUP4
00000b5d: SUB
00000b5e: DUP2
00000b5f: PUSH0
00000b60: DUP8
00000b61: GAS
00000b62: CALL
00000b63: ISZERO
00000b64: DUP1
00000b65: ISZERO
00000b66: PUSH2 0x0b71
00000b69: JUMPI
00000b6a: RETURNDATASIZE
00000b6b: PUSH0
00000b6c: PUSH0
00000b6d: RETURNDATACOPY
00000b6e: RETURNDATASIZE
00000b6f: PUSH0
00000b70: REVERT
00000b71: JUMPDEST
00000b72: POP
00000b73: POP
00000b74: POP
00000b75: POP
00000b76: PUSH1 0x40
00000b78: MLOAD
00000b79: RETURNDATASIZE
00000b7a: PUSH1 0x1f
00000b7c: NOT
00000b7d: PUSH1 0x1f
00000b7f: DUP3
00000b80: ADD
00000b81: AND
00000b82: DUP3
00000b83: ADD
00000b84: DUP1
00000b85: PUSH1 0x40
00000b87: MSTORE
00000b88: POP
00000b89: DUP2
00000b8a: ADD
00000b8b: SWAP1
00000b8c: PUSH2 0x0b95
00000b8f: SWAP2
00000b90: SWAP1
00000b91: PUSH2 0x331f
00000b94: JUMP
00000b95: JUMPDEST
00000b96: POP
00000b97: PUSH2 0x0d84
00000b9a: JUMP
00000b9b: JUMPDEST
00000b9c: PUSH2 0x0ba4
00000b9f: DUP2
00000ba0: PUSH2 0x2299
00000ba3: JUMP
00000ba4: JUMPDEST
00000ba5: PUSH1 0x01
00000ba7: PUSH0
00000ba8: PUSH2 0x0100
00000bab: EXP
00000bac: DUP2
00000bad: TLOAD
00000bae: DUP2
00000baf: PUSH16 0xffffffffffffffffffffffffffffffff
00000bc0: MUL
00000bc1: NOT
00000bc2: AND
00000bc3: SWAP1
00000bc4: DUP4
00000bc5: PUSH1 0x0f
00000bc7: SIGNEXTEND
00000bc8: PUSH16 0xffffffffffffffffffffffffffffffff
00000bd9: AND
00000bda: MUL
00000bdb: OR
00000bdc: SWAP1
00000bdd: TSTORE
00000bde: POP
00000bdf: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
00000c00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c15: AND
00000c16: PUSH4 0xa5841194
00000c1b: DUP12
00000c1c: PUSH0
00000c1d: ADD
00000c1e: PUSH1 0x20
00000c20: DUP2
00000c21: ADD
00000c22: SWAP1
00000c23: PUSH2 0x0c2c
00000c26: SWAP2
00000c27: SWAP1
00000c28: PUSH2 0x2f3a
00000c2b: JUMP
00000c2c: JUMPDEST
00000c2d: PUSH1 0x40
00000c2f: MLOAD
00000c30: DUP3
00000c31: PUSH4 0xffffffff
00000c36: AND
00000c37: PUSH1 0xe0
00000c39: SHL
00000c3a: DUP2
00000c3b: MSTORE
00000c3c: PUSH1 0x04
00000c3e: ADD
00000c3f: PUSH2 0x0c48
00000c42: SWAP2
00000c43: SWAP1
00000c44: PUSH2 0x32ac
00000c47: JUMP
00000c48: JUMPDEST
00000c49: PUSH0
00000c4a: PUSH1 0x40
00000c4c: MLOAD
00000c4d: DUP1
00000c4e: DUP4
00000c4f: SUB
00000c50: DUP2
00000c51: PUSH0
00000c52: DUP8
00000c53: DUP1
00000c54: EXTCODESIZE
00000c55: ISZERO
00000c56: DUP1
00000c57: ISZERO
00000c58: PUSH2 0x0c5f
00000c5b: JUMPI
00000c5c: PUSH0
00000c5d: PUSH0
00000c5e: REVERT
00000c5f: JUMPDEST
00000c60: POP
00000c61: GAS
00000c62: CALL
00000c63: ISZERO
00000c64: DUP1
00000c65: ISZERO
00000c66: PUSH2 0x0c71
00000c69: JUMPI
00000c6a: RETURNDATASIZE
00000c6b: PUSH0
00000c6c: PUSH0
00000c6d: RETURNDATACOPY
00000c6e: RETURNDATASIZE
00000c6f: PUSH0
00000c70: REVERT
00000c71: JUMPDEST
00000c72: POP
00000c73: POP
00000c74: POP
00000c75: POP
00000c76: PUSH2 0x0cf4
00000c79: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
00000c9a: PUSH2 0x0ca2
00000c9d: DUP4
00000c9e: PUSH2 0x228d
00000ca1: JUMP
00000ca2: JUMPDEST
00000ca3: PUSH2 0x0cab
00000ca6: SWAP1
00000ca7: PUSH2 0x32c5
00000caa: JUMP
00000cab: JUMPDEST
00000cac: PUSH16 0xffffffffffffffffffffffffffffffff
00000cbd: AND
00000cbe: DUP13
00000cbf: PUSH0
00000cc0: ADD
00000cc1: PUSH1 0x20
00000cc3: DUP2
00000cc4: ADD
00000cc5: SWAP1
00000cc6: PUSH2 0x0ccf
00000cc9: SWAP2
00000cca: SWAP1
00000ccb: PUSH2 0x2f3a
00000cce: JUMP
00000ccf: JUMPDEST
00000cd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce5: AND
00000ce6: PUSH2 0x22a5
00000ce9: SWAP1
00000cea: SWAP3
00000ceb: SWAP2
00000cec: SWAP1
00000ced: PUSH4 0xffffffff
00000cf2: AND
00000cf3: JUMP
00000cf4: JUMPDEST
00000cf5: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
00000d16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d2b: AND
00000d2c: PUSH4 0x11da60b4
00000d31: PUSH1 0x40
00000d33: MLOAD
00000d34: DUP2
00000d35: PUSH4 0xffffffff
00000d3a: AND
00000d3b: PUSH1 0xe0
00000d3d: SHL
00000d3e: DUP2
00000d3f: MSTORE
00000d40: PUSH1 0x04
00000d42: ADD
00000d43: PUSH1 0x20
00000d45: PUSH1 0x40
00000d47: MLOAD
00000d48: DUP1
00000d49: DUP4
00000d4a: SUB
00000d4b: DUP2
00000d4c: PUSH0
00000d4d: DUP8
00000d4e: GAS
00000d4f: CALL
00000d50: ISZERO
00000d51: DUP1
00000d52: ISZERO
00000d53: PUSH2 0x0d5e
00000d56: JUMPI
00000d57: RETURNDATASIZE
00000d58: PUSH0
00000d59: PUSH0
00000d5a: RETURNDATACOPY
00000d5b: RETURNDATASIZE
00000d5c: PUSH0
00000d5d: REVERT
00000d5e: JUMPDEST
00000d5f: POP
00000d60: POP
00000d61: POP
00000d62: POP
00000d63: PUSH1 0x40
00000d65: MLOAD
00000d66: RETURNDATASIZE
00000d67: PUSH1 0x1f
00000d69: NOT
00000d6a: PUSH1 0x1f
00000d6c: DUP3
00000d6d: ADD
00000d6e: AND
00000d6f: DUP3
00000d70: ADD
00000d71: DUP1
00000d72: PUSH1 0x40
00000d74: MSTORE
00000d75: POP
00000d76: DUP2
00000d77: ADD
00000d78: SWAP1
00000d79: PUSH2 0x0d82
00000d7c: SWAP2
00000d7d: SWAP1
00000d7e: PUSH2 0x331f
00000d81: JUMP
00000d82: JUMPDEST
00000d83: POP
00000d84: JUMPDEST
00000d85: PUSH4 0x575e24b4
00000d8a: PUSH1 0xe0
00000d8c: SHL
00000d8d: PUSH0
00000d8e: PUSH0
00000d8f: SWAP6
00000d90: POP
00000d91: SWAP6
00000d92: POP
00000d93: SWAP6
00000d94: POP
00000d95: POP
00000d96: POP
00000d97: POP
00000d98: SWAP6
00000d99: POP
00000d9a: SWAP6
00000d9b: POP
00000d9c: SWAP6
00000d9d: SWAP3
00000d9e: POP
00000d9f: POP
00000da0: POP
00000da1: JUMP
00000da2: JUMPDEST
00000da3: PUSH0
00000da4: PUSH0
00000da5: PUSH1 0x40
00000da7: MLOAD
00000da8: PUSH32 0xd623472500000000000000000000000000000000000000000000000000000000
00000dc9: DUP2
00000dca: MSTORE
00000dcb: PUSH1 0x04
00000dcd: ADD
00000dce: PUSH1 0x40
00000dd0: MLOAD
00000dd1: DUP1
00000dd2: SWAP2
00000dd3: SUB
00000dd4: SWAP1
00000dd5: REVERT
00000dd6: JUMPDEST
00000dd7: PUSH0
00000dd8: PUSH1 0x40
00000dda: MLOAD
00000ddb: PUSH32 0xd623472500000000000000000000000000000000000000000000000000000000
00000dfc: DUP2
00000dfd: MSTORE
00000dfe: PUSH1 0x04
00000e00: ADD
00000e01: PUSH1 0x40
00000e03: MLOAD
00000e04: DUP1
00000e05: SWAP2
00000e06: SUB
00000e07: SWAP1
00000e08: REVERT
00000e09: JUMPDEST
00000e0a: PUSH1 0x01
00000e0c: PUSH0
00000e0d: SWAP1
00000e0e: SLOAD
00000e0f: SWAP1
00000e10: PUSH2 0x0100
00000e13: EXP
00000e14: SWAP1
00000e15: DIV
00000e16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e2b: AND
00000e2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e41: AND
00000e42: CALLER
00000e43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e58: AND
00000e59: EQ
00000e5a: PUSH2 0x0e8f
00000e5d: JUMPI
00000e5e: PUSH1 0x40
00000e60: MLOAD
00000e61: PUSH32 0x1853971c00000000000000000000000000000000000000000000000000000000
00000e82: DUP2
00000e83: MSTORE
00000e84: PUSH1 0x04
00000e86: ADD
00000e87: PUSH1 0x40
00000e89: MLOAD
00000e8a: DUP1
00000e8b: SWAP2
00000e8c: SUB
00000e8d: SWAP1
00000e8e: REVERT
00000e8f: JUMPDEST
00000e90: PUSH1 0x01
00000e92: PUSH0
00000e93: SWAP1
00000e94: SLOAD
00000e95: SWAP1
00000e96: PUSH2 0x0100
00000e99: EXP
00000e9a: SWAP1
00000e9b: DIV
00000e9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eb1: AND
00000eb2: PUSH0
00000eb3: PUSH0
00000eb4: PUSH2 0x0100
00000eb7: EXP
00000eb8: DUP2
00000eb9: SLOAD
00000eba: DUP2
00000ebb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed0: MUL
00000ed1: NOT
00000ed2: AND
00000ed3: SWAP1
00000ed4: DUP4
00000ed5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eea: AND
00000eeb: MUL
00000eec: OR
00000eed: SWAP1
00000eee: SSTORE
00000eef: POP
00000ef0: PUSH0
00000ef1: PUSH1 0x01
00000ef3: PUSH0
00000ef4: PUSH2 0x0100
00000ef7: EXP
00000ef8: DUP2
00000ef9: SLOAD
00000efa: DUP2
00000efb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f10: MUL
00000f11: NOT
00000f12: AND
00000f13: SWAP1
00000f14: DUP4
00000f15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f2a: AND
00000f2b: MUL
00000f2c: OR
00000f2d: SWAP1
00000f2e: SSTORE
00000f2f: POP
00000f30: JUMP
00000f31: JUMPDEST
00000f32: PUSH0
00000f33: PUSH0
00000f34: PUSH1 0x40
00000f36: MLOAD
00000f37: PUSH32 0xd623472500000000000000000000000000000000000000000000000000000000
00000f58: DUP2
00000f59: MSTORE
00000f5a: PUSH1 0x04
00000f5c: ADD
00000f5d: PUSH1 0x40
00000f5f: MLOAD
00000f60: DUP1
00000f61: SWAP2
00000f62: SUB
00000f63: SWAP1
00000f64: REVERT
00000f65: JUMPDEST
00000f66: PUSH0
00000f67: PUSH0
00000f68: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
00000f89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f9e: AND
00000f9f: CALLER
00000fa0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb5: AND
00000fb6: EQ
00000fb7: PUSH2 0x0fec
00000fba: JUMPI
00000fbb: PUSH1 0x40
00000fbd: MLOAD
00000fbe: PUSH32 0xae18210a00000000000000000000000000000000000000000000000000000000
00000fdf: DUP2
00000fe0: MSTORE
00000fe1: PUSH1 0x04
00000fe3: ADD
00000fe4: PUSH1 0x40
00000fe6: MLOAD
00000fe7: DUP1
00000fe8: SWAP2
00000fe9: SUB
00000fea: SWAP1
00000feb: REVERT
00000fec: JUMPDEST
00000fed: PUSH0
00000fee: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
0000100f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001024: AND
00001025: PUSH4 0x5a6bcfda
0000102a: DUP10
0000102b: PUSH1 0x40
0000102d: MLOAD
0000102e: DUP1
0000102f: PUSH1 0x80
00001031: ADD
00001032: PUSH1 0x40
00001034: MSTORE
00001035: DUP1
00001036: PUSH0
00001037: PUSH0
00001038: SWAP1
00001039: TLOAD
0000103a: SWAP1
0000103b: PUSH2 0x0100
0000103e: EXP
0000103f: SWAP1
00001040: DIV
00001041: PUSH1 0x02
00001043: SIGNEXTEND
00001044: PUSH1 0x02
00001046: SIGNEXTEND
00001047: DUP2
00001048: MSTORE
00001049: PUSH1 0x20
0000104b: ADD
0000104c: PUSH0
0000104d: PUSH1 0x03
0000104f: SWAP1
00001050: TLOAD
00001051: SWAP1
00001052: PUSH2 0x0100
00001055: EXP
00001056: SWAP1
00001057: DIV
00001058: PUSH1 0x02
0000105a: SIGNEXTEND
0000105b: PUSH1 0x02
0000105d: SIGNEXTEND
0000105e: DUP2
0000105f: MSTORE
00001060: PUSH1 0x20
00001062: ADD
00001063: PUSH0
00001064: PUSH1 0x06
00001066: SWAP1
00001067: TLOAD
00001068: SWAP1
00001069: PUSH2 0x0100
0000106c: EXP
0000106d: SWAP1
0000106e: DIV
0000106f: PUSH1 0x0f
00001071: SIGNEXTEND
00001072: PUSH2 0x107a
00001075: SWAP1
00001076: PUSH2 0x32c5
00001079: JUMP
0000107a: JUMPDEST
0000107b: PUSH1 0x0f
0000107d: SIGNEXTEND
0000107e: DUP2
0000107f: MSTORE
00001080: PUSH1 0x20
00001082: ADD
00001083: PUSH0
00001084: DUP2
00001085: MSTORE
00001086: POP
00001087: PUSH1 0x40
00001089: MLOAD
0000108a: DUP4
0000108b: PUSH4 0xffffffff
00001090: AND
00001091: PUSH1 0xe0
00001093: SHL
00001094: DUP2
00001095: MSTORE
00001096: PUSH1 0x04
00001098: ADD
00001099: PUSH2 0x10a3
0000109c: SWAP3
0000109d: SWAP2
0000109e: SWAP1
0000109f: PUSH2 0x320f
000010a2: JUMP
000010a3: JUMPDEST
000010a4: PUSH1 0x40
000010a6: DUP1
000010a7: MLOAD
000010a8: DUP1
000010a9: DUP4
000010aa: SUB
000010ab: DUP2
000010ac: PUSH0
000010ad: DUP8
000010ae: GAS
000010af: CALL
000010b0: ISZERO
000010b1: DUP1
000010b2: ISZERO
000010b3: PUSH2 0x10be
000010b6: JUMPI
000010b7: RETURNDATASIZE
000010b8: PUSH0
000010b9: PUSH0
000010ba: RETURNDATACOPY
000010bb: RETURNDATASIZE
000010bc: PUSH0
000010bd: REVERT
000010be: JUMPDEST
000010bf: POP
000010c0: POP
000010c1: POP
000010c2: POP
000010c3: PUSH1 0x40
000010c5: MLOAD
000010c6: RETURNDATASIZE
000010c7: PUSH1 0x1f
000010c9: NOT
000010ca: PUSH1 0x1f
000010cc: DUP3
000010cd: ADD
000010ce: AND
000010cf: DUP3
000010d0: ADD
000010d1: DUP1
000010d2: PUSH1 0x40
000010d4: MSTORE
000010d5: POP
000010d6: DUP2
000010d7: ADD
000010d8: SWAP1
000010d9: PUSH2 0x10e2
000010dc: SWAP2
000010dd: SWAP1
000010de: PUSH2 0x325f
000010e1: JUMP
000010e2: JUMPDEST
000010e3: POP
000010e4: SWAP1
000010e5: POP
000010e6: DUP7
000010e7: PUSH0
000010e8: ADD
000010e9: PUSH1 0x20
000010eb: DUP2
000010ec: ADD
000010ed: SWAP1
000010ee: PUSH2 0x10f7
000010f1: SWAP2
000010f2: SWAP1
000010f3: PUSH2 0x2f0f
000010f6: JUMP
000010f7: JUMPDEST
000010f8: ISZERO
000010f9: PUSH2 0x1261
000010fc: JUMPI
000010fd: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
0000111e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001133: AND
00001134: PUSH4 0x0b0d9c09
00001139: DUP10
0000113a: PUSH0
0000113b: ADD
0000113c: PUSH1 0x20
0000113e: DUP2
0000113f: ADD
00001140: SWAP1
00001141: PUSH2 0x114a
00001144: SWAP2
00001145: SWAP1
00001146: PUSH2 0x2f3a
00001149: JUMP
0000114a: JUMPDEST
0000114b: ADDRESS
0000114c: PUSH1 0x01
0000114e: PUSH0
0000114f: SWAP1
00001150: TLOAD
00001151: SWAP1
00001152: PUSH2 0x0100
00001155: EXP
00001156: SWAP1
00001157: DIV
00001158: PUSH1 0x0f
0000115a: SIGNEXTEND
0000115b: PUSH2 0x1163
0000115e: DUP7
0000115f: PUSH2 0x228d
00001162: JUMP
00001163: JUMPDEST
00001164: PUSH2 0x116d
00001167: SWAP2
00001168: SWAP1
00001169: PUSH2 0x334a
0000116c: JUMP
0000116d: JUMPDEST
0000116e: PUSH1 0x40
00001170: MLOAD
00001171: DUP5
00001172: PUSH4 0xffffffff
00001177: AND
00001178: PUSH1 0xe0
0000117a: SHL
0000117b: DUP2
0000117c: MSTORE
0000117d: PUSH1 0x04
0000117f: ADD
00001180: PUSH2 0x118b
00001183: SWAP4
00001184: SWAP3
00001185: SWAP2
00001186: SWAP1
00001187: PUSH2 0x340b
0000118a: JUMP
0000118b: JUMPDEST
0000118c: PUSH0
0000118d: PUSH1 0x40
0000118f: MLOAD
00001190: DUP1
00001191: DUP4
00001192: SUB
00001193: DUP2
00001194: PUSH0
00001195: DUP8
00001196: DUP1
00001197: EXTCODESIZE
00001198: ISZERO
00001199: DUP1
0000119a: ISZERO
0000119b: PUSH2 0x11a2
0000119e: JUMPI
0000119f: PUSH0
000011a0: PUSH0
000011a1: REVERT
000011a2: JUMPDEST
000011a3: POP
000011a4: GAS
000011a5: CALL
000011a6: ISZERO
000011a7: DUP1
000011a8: ISZERO
000011a9: PUSH2 0x11b4
000011ac: JUMPI
000011ad: RETURNDATASIZE
000011ae: PUSH0
000011af: PUSH0
000011b0: RETURNDATACOPY
000011b1: RETURNDATASIZE
000011b2: PUSH0
000011b3: REVERT
000011b4: JUMPDEST
000011b5: POP
000011b6: POP
000011b7: POP
000011b8: POP
000011b9: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
000011da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ef: AND
000011f0: PUSH4 0x0b0d9c09
000011f5: DUP10
000011f6: PUSH1 0x20
000011f8: ADD
000011f9: PUSH1 0x20
000011fb: DUP2
000011fc: ADD
000011fd: SWAP1
000011fe: PUSH2 0x1207
00001201: SWAP2
00001202: SWAP1
00001203: PUSH2 0x2f3a
00001206: JUMP
00001207: JUMPDEST
00001208: ADDRESS
00001209: PUSH2 0x1211
0000120c: DUP6
0000120d: PUSH2 0x2299
00001210: JUMP
00001211: JUMPDEST
00001212: PUSH1 0x40
00001214: MLOAD
00001215: DUP5
00001216: PUSH4 0xffffffff
0000121b: AND
0000121c: PUSH1 0xe0
0000121e: SHL
0000121f: DUP2
00001220: MSTORE
00001221: PUSH1 0x04
00001223: ADD
00001224: PUSH2 0x122f
00001227: SWAP4
00001228: SWAP3
00001229: SWAP2
0000122a: SWAP1
0000122b: PUSH2 0x340b
0000122e: JUMP
0000122f: JUMPDEST
00001230: PUSH0
00001231: PUSH1 0x40
00001233: MLOAD
00001234: DUP1
00001235: DUP4
00001236: SUB
00001237: DUP2
00001238: PUSH0
00001239: DUP8
0000123a: DUP1
0000123b: EXTCODESIZE
0000123c: ISZERO
0000123d: DUP1
0000123e: ISZERO
0000123f: PUSH2 0x1246
00001242: JUMPI
00001243: PUSH0
00001244: PUSH0
00001245: REVERT
00001246: JUMPDEST
00001247: POP
00001248: GAS
00001249: CALL
0000124a: ISZERO
0000124b: DUP1
0000124c: ISZERO
0000124d: PUSH2 0x1258
00001250: JUMPI
00001251: RETURNDATASIZE
00001252: PUSH0
00001253: PUSH0
00001254: RETURNDATACOPY
00001255: RETURNDATASIZE
00001256: PUSH0
00001257: REVERT
00001258: JUMPDEST
00001259: POP
0000125a: POP
0000125b: POP
0000125c: POP
0000125d: PUSH2 0x13c2
00001260: JUMP
00001261: JUMPDEST
00001262: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
00001283: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001298: AND
00001299: PUSH4 0x0b0d9c09
0000129e: DUP10
0000129f: PUSH0
000012a0: ADD
000012a1: PUSH1 0x20
000012a3: DUP2
000012a4: ADD
000012a5: SWAP1
000012a6: PUSH2 0x12af
000012a9: SWAP2
000012aa: SWAP1
000012ab: PUSH2 0x2f3a
000012ae: JUMP
000012af: JUMPDEST
000012b0: ADDRESS
000012b1: PUSH2 0x12b9
000012b4: DUP6
000012b5: PUSH2 0x228d
000012b8: JUMP
000012b9: JUMPDEST
000012ba: PUSH1 0x40
000012bc: MLOAD
000012bd: DUP5
000012be: PUSH4 0xffffffff
000012c3: AND
000012c4: PUSH1 0xe0
000012c6: SHL
000012c7: DUP2
000012c8: MSTORE
000012c9: PUSH1 0x04
000012cb: ADD
000012cc: PUSH2 0x12d7
000012cf: SWAP4
000012d0: SWAP3
000012d1: SWAP2
000012d2: SWAP1
000012d3: PUSH2 0x340b
000012d6: JUMP
000012d7: JUMPDEST
000012d8: PUSH0
000012d9: PUSH1 0x40
000012db: MLOAD
000012dc: DUP1
000012dd: DUP4
000012de: SUB
000012df: DUP2
000012e0: PUSH0
000012e1: DUP8
000012e2: DUP1
000012e3: EXTCODESIZE
000012e4: ISZERO
000012e5: DUP1
000012e6: ISZERO
000012e7: PUSH2 0x12ee
000012ea: JUMPI
000012eb: PUSH0
000012ec: PUSH0
000012ed: REVERT
000012ee: JUMPDEST
000012ef: POP
000012f0: GAS
000012f1: CALL
000012f2: ISZERO
000012f3: DUP1
000012f4: ISZERO
000012f5: PUSH2 0x1300
000012f8: JUMPI
000012f9: RETURNDATASIZE
000012fa: PUSH0
000012fb: PUSH0
000012fc: RETURNDATACOPY
000012fd: RETURNDATASIZE
000012fe: PUSH0
000012ff: REVERT
00001300: JUMPDEST
00001301: POP
00001302: POP
00001303: POP
00001304: POP
00001305: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
00001326: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133b: AND
0000133c: PUSH4 0x0b0d9c09
00001341: DUP10
00001342: PUSH1 0x20
00001344: ADD
00001345: PUSH1 0x20
00001347: DUP2
00001348: ADD
00001349: SWAP1
0000134a: PUSH2 0x1353
0000134d: SWAP2
0000134e: SWAP1
0000134f: PUSH2 0x2f3a
00001352: JUMP
00001353: JUMPDEST
00001354: ADDRESS
00001355: PUSH1 0x01
00001357: PUSH0
00001358: SWAP1
00001359: TLOAD
0000135a: SWAP1
0000135b: PUSH2 0x0100
0000135e: EXP
0000135f: SWAP1
00001360: DIV
00001361: PUSH1 0x0f
00001363: SIGNEXTEND
00001364: PUSH2 0x136c
00001367: DUP7
00001368: PUSH2 0x2299
0000136b: JUMP
0000136c: JUMPDEST
0000136d: PUSH2 0x1376
00001370: SWAP2
00001371: SWAP1
00001372: PUSH2 0x334a
00001375: JUMP
00001376: JUMPDEST
00001377: PUSH1 0x40
00001379: MLOAD
0000137a: DUP5
0000137b: PUSH4 0xffffffff
00001380: AND
00001381: PUSH1 0xe0
00001383: SHL
00001384: DUP2
00001385: MSTORE
00001386: PUSH1 0x04
00001388: ADD
00001389: PUSH2 0x1394
0000138c: SWAP4
0000138d: SWAP3
0000138e: SWAP2
0000138f: SWAP1
00001390: PUSH2 0x340b
00001393: JUMP
00001394: JUMPDEST
00001395: PUSH0
00001396: PUSH1 0x40
00001398: MLOAD
00001399: DUP1
0000139a: DUP4
0000139b: SUB
0000139c: DUP2
0000139d: PUSH0
0000139e: DUP8
0000139f: DUP1
000013a0: EXTCODESIZE
000013a1: ISZERO
000013a2: DUP1
000013a3: ISZERO
000013a4: PUSH2 0x13ab
000013a7: JUMPI
000013a8: PUSH0
000013a9: PUSH0
000013aa: REVERT
000013ab: JUMPDEST
000013ac: POP
000013ad: GAS
000013ae: CALL
000013af: ISZERO
000013b0: DUP1
000013b1: ISZERO
000013b2: PUSH2 0x13bd
000013b5: JUMPI
000013b6: RETURNDATASIZE
000013b7: PUSH0
000013b8: PUSH0
000013b9: RETURNDATACOPY
000013ba: RETURNDATASIZE
000013bb: PUSH0
000013bc: REVERT
000013bd: JUMPDEST
000013be: POP
000013bf: POP
000013c0: POP
000013c1: POP
000013c2: JUMPDEST
000013c3: PUSH0
000013c4: PUSH0
000013c5: PUSH0
000013c6: PUSH2 0x0100
000013c9: EXP
000013ca: DUP2
000013cb: TLOAD
000013cc: DUP2
000013cd: PUSH3 0xffffff
000013d1: MUL
000013d2: NOT
000013d3: AND
000013d4: SWAP1
000013d5: DUP4
000013d6: PUSH1 0x02
000013d8: SIGNEXTEND
000013d9: PUSH3 0xffffff
000013dd: AND
000013de: MUL
000013df: OR
000013e0: SWAP1
000013e1: TSTORE
000013e2: POP
000013e3: PUSH0
000013e4: PUSH0
000013e5: PUSH1 0x03
000013e7: PUSH2 0x0100
000013ea: EXP
000013eb: DUP2
000013ec: TLOAD
000013ed: DUP2
000013ee: PUSH3 0xffffff
000013f2: MUL
000013f3: NOT
000013f4: AND
000013f5: SWAP1
000013f6: DUP4
000013f7: PUSH1 0x02
000013f9: SIGNEXTEND
000013fa: PUSH3 0xffffff
000013fe: AND
000013ff: MUL
00001400: OR
00001401: SWAP1
00001402: TSTORE
00001403: POP
00001404: PUSH0
00001405: PUSH0
00001406: PUSH1 0x06
00001408: PUSH2 0x0100
0000140b: EXP
0000140c: DUP2
0000140d: TLOAD
0000140e: DUP2
0000140f: PUSH16 0xffffffffffffffffffffffffffffffff
00001420: MUL
00001421: NOT
00001422: AND
00001423: SWAP1
00001424: DUP4
00001425: PUSH1 0x0f
00001427: SIGNEXTEND
00001428: PUSH16 0xffffffffffffffffffffffffffffffff
00001439: AND
0000143a: MUL
0000143b: OR
0000143c: SWAP1
0000143d: TSTORE
0000143e: POP
0000143f: PUSH4 0xb47b2fb1
00001444: PUSH1 0xe0
00001446: SHL
00001447: PUSH0
00001448: SWAP3
00001449: POP
0000144a: SWAP3
0000144b: POP
0000144c: POP
0000144d: SWAP7
0000144e: POP
0000144f: SWAP7
00001450: SWAP5
00001451: POP
00001452: POP
00001453: POP
00001454: POP
00001455: POP
00001456: JUMP
00001457: JUMPDEST
00001458: PUSH0
00001459: PUSH1 0x40
0000145b: MLOAD
0000145c: PUSH32 0xd623472500000000000000000000000000000000000000000000000000000000
0000147d: DUP2
0000147e: MSTORE
0000147f: PUSH1 0x04
00001481: ADD
00001482: PUSH1 0x40
00001484: MLOAD
00001485: DUP1
00001486: SWAP2
00001487: SUB
00001488: SWAP1
00001489: REVERT
0000148a: JUMPDEST
0000148b: PUSH0
0000148c: PUSH32 0x000000000000000000000000000000000004444c5dc75cb358380d2e3de08a90
000014ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014c2: AND
000014c3: CALLER
000014c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014d9: AND
000014da: EQ
000014db: PUSH2 0x1510
000014de: JUMPI
000014df: PUSH1 0x40
000014e1: MLOAD
000014e2: PUSH32 0xae18210a00000000000000000000000000000000000000000000000000000000
00001503: DUP2
00001504: MSTORE
00001505: PUSH1 0x04
00001507: ADD
00001508: PUSH1 0x40
0000150a: MLOAD
0000150b: DUP1
0000150c: SWAP2
0000150d: SUB
0000150e: SWAP1
0000150f: REVERT
00001510: JUMPDEST
00001511: DUP4
00001512: PUSH0
00001513: PUSH0
00001514: SWAP1
00001515: SLOAD
00001516: SWAP1
00001517: PUSH2 0x0100
0000151a: EXP
0000151b: SWAP1
0000151c: DIV
0000151d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001532: AND
00001533: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001548: AND
00001549: DUP2
0000154a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155f: AND
00001560: EQ
00001561: PUSH2 0x1596
00001564: JUMPI
00001565: PUSH1 0x40
00001567: MLOAD
00001568: PUSH32 0x30cd747100000000000000000000000000000000000000000000000000000000
00001589: DUP2
0000158a: MSTORE
0000158b: PUSH1 0x04
0000158d: ADD
0000158e: PUSH1 0x40
00001590: MLOAD
00001591: DUP1
00001592: SWAP2
00001593: SUB
00001594: SWAP1
00001595: REVERT
00001596: JUMPDEST
00001597: PUSH1 0x02
00001599: PUSH0
0000159a: DUP6
0000159b: PUSH0
0000159c: ADD
0000159d: PUSH1 0x20
0000159f: DUP2
000015a0: ADD
000015a1: SWAP1
000015a2: PUSH2 0x15ab
000015a5: SWAP2
000015a6: SWAP1
000015a7: PUSH2 0x2f3a
000015aa: JUMP
000015ab: JUMPDEST
000015ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015c1: AND
000015c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d7: AND
000015d8: DUP2
000015d9: MSTORE
000015da: PUSH1 0x20
000015dc: ADD
000015dd: SWAP1
000015de: DUP2
000015df: MSTORE
000015e0: PUSH1 0x20
000015e2: ADD
000015e3: PUSH0
000015e4: KECCAK256
000015e5: PUSH0
000015e6: SWAP1
000015e7: SLOAD
000015e8: SWAP1
000015e9: PUSH2 0x0100
000015ec: EXP
000015ed: SWAP1
000015ee: DIV
000015ef: PUSH1 0xff
000015f1: AND
000015f2: DUP5
000015f3: PUSH0
000015f4: ADD
000015f5: PUSH1 0x20
000015f7: DUP2
000015f8: ADD
000015f9: SWAP1
000015fa: PUSH2 0x1603
000015fd: SWAP2
000015fe: SWAP1
000015ff: PUSH2 0x2f3a
00001602: JUMP
00001603: JUMPDEST
00001604: SWAP1
00001605: PUSH2 0x1644
00001608: JUMPI
00001609: PUSH1 0x40
0000160b: MLOAD
0000160c: PUSH32 0xeae435bd00000000000000000000000000000000000000000000000000000000
0000162d: DUP2
0000162e: MSTORE
0000162f: PUSH1 0x04
00001631: ADD
00001632: PUSH2 0x163b
00001635: SWAP2
00001636: SWAP1
00001637: PUSH2 0x32ac
0000163a: JUMP
0000163b: JUMPDEST
0000163c: PUSH1 0x40
0000163e: MLOAD
0000163f: DUP1
00001640: SWAP2
00001641: SUB
00001642: SWAP1
00001643: REVERT
00001644: JUMPDEST
00001645: POP
00001646: PUSH1 0x02
00001648: PUSH0
00001649: DUP6
0000164a: PUSH1 0x20
0000164c: ADD
0000164d: PUSH1 0x20
0000164f: DUP2
00001650: ADD
00001651: SWAP1
00001652: PUSH2 0x165b
00001655: SWAP2
00001656: SWAP1
00001657: PUSH2 0x2f3a
0000165a: JUMP
0000165b: JUMPDEST
0000165c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001671: AND
00001672: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001687: AND
00001688: DUP2
00001689: MSTORE
0000168a: PUSH1 0x20
0000168c: ADD
0000168d: SWAP1
0000168e: DUP2
0000168f: MSTORE
00001690: PUSH1 0x20
00001692: ADD
00001693: PUSH0
00001694: KECCAK256
00001695: PUSH0
00001696: SWAP1
00001697: SLOAD
00001698: SWAP1
00001699: PUSH2 0x0100
0000169c: EXP
0000169d: SWAP1
0000169e: DIV
0000169f: PUSH1 0xff
000016a1: AND
000016a2: DUP5
000016a3: PUSH1 0x20
000016a5: ADD
000016a6: PUSH1 0x20
000016a8: DUP2
000016a9: ADD
000016aa: SWAP1
000016ab: PUSH2 0x16b4
000016ae: SWAP2
000016af: SWAP1
000016b0: PUSH2 0x2f3a
000016b3: JUMP
000016b4: JUMPDEST
000016b5: SWAP1
000016b6: PUSH2 0x16f5
000016b9: JUMPI
000016ba: PUSH1 0x40
000016bc: MLOAD
000016bd: PUSH32 0xeae435bd00000000000000000000000000000000000000000000000000000000
000016de: DUP2
000016df: MSTORE
000016e0: PUSH1 0x04
000016e2: ADD
000016e3: PUSH2 0x16ec
000016e6: SWAP2
000016e7: SWAP1
000016e8: PUSH2 0x32ac
000016eb: JUMP
000016ec: JUMPDEST
000016ed: PUSH1 0x40
000016ef: MLOAD
000016f0: DUP1
000016f1: SWAP2
000016f2: SUB
000016f3: SWAP1
000016f4: REVERT
000016f5: JUMPDEST
000016f6: POP
000016f7: PUSH0
000016f8: DUP5
000016f9: PUSH1 0x40
000016fb: ADD
000016fc: PUSH1 0x20
000016fe: DUP2
000016ff: ADD
00001700: SWAP1
00001701: PUSH2 0x170a
00001704: SWAP2
00001705: SWAP1
00001706: PUSH2 0x3440
00001709: JUMP
0000170a: JUMPDEST
0000170b: PUSH3 0xffffff
0000170f: AND
00001710: GT
00001711: DUP5
00001712: PUSH1 0x40
00001714: ADD
00001715: PUSH1 0x20
00001717: DUP2
00001718: ADD
00001719: SWAP1
0000171a: PUSH2 0x1723
0000171d: SWAP2
0000171e: SWAP1
0000171f: PUSH2 0x3440
00001722: JUMP
00001723: JUMPDEST
00001724: SWAP1
00001725: PUSH2 0x1764
00001728: JUMPI
00001729: PUSH1 0x40
0000172b: MLOAD
0000172c: PUSH32 0x9ae5d65e00000000000000000000000000000000000000000000000000000000
0000174d: DUP2
0000174e: MSTORE
0000174f: PUSH1 0x04
00001751: ADD
00001752: PUSH2 0x175b
00001755: SWAP2
00001756: SWAP1
00001757: PUSH2 0x346b
0000175a: JUMP
0000175b: JUMPDEST
0000175c: PUSH1 0x40
0000175e: MLOAD
0000175f: DUP1
00001760: SWAP2
00001761: SUB
00001762: SWAP1
00001763: REVERT
00001764: JUMPDEST
00001765: POP
00001766: PUSH0
00001767: DUP5
00001768: PUSH1 0x60
0000176a: ADD
0000176b: PUSH1 0x20
0000176d: DUP2
0000176e: ADD
0000176f: SWAP1
00001770: PUSH2 0x1779
00001773: SWAP2
00001774: SWAP1
00001775: PUSH2 0x3484
00001778: JUMP
00001779: JUMPDEST
0000177a: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a
0000179b: PUSH2 0x17a4
0000179e: SWAP2
0000179f: SWAP1
000017a0: PUSH2 0x34dc
000017a3: JUMP
000017a4: JUMPDEST
000017a5: PUSH1 0x02
000017a7: SIGNEXTEND
000017a8: EQ
000017a9: DUP5
000017aa: PUSH1 0x60
000017ac: ADD
000017ad: PUSH1 0x20
000017af: DUP2
000017b0: ADD
000017b1: SWAP1
000017b2: PUSH2 0x17bb
000017b5: SWAP2
000017b6: SWAP1
000017b7: PUSH2 0x3484
000017ba: JUMP
000017bb: JUMPDEST
000017bc: SWAP1
000017bd: PUSH2 0x17fc
000017c0: JUMPI
000017c1: PUSH1 0x40
000017c3: MLOAD
000017c4: PUSH32 0xb9178e0100000000000000000000000000000000000000000000000000000000
000017e5: DUP2
000017e6: MSTORE
000017e7: PUSH1 0x04
000017e9: ADD
000017ea: PUSH2 0x17f3
000017ed: SWAP2
000017ee: SWAP1
000017ef: PUSH2 0x351b
000017f2: JUMP
000017f3: JUMPDEST
000017f4: PUSH1 0x40
000017f6: MLOAD
000017f7: DUP1
000017f8: SWAP2
000017f9: SUB
000017fa: SWAP1
000017fb: REVERT
000017fc: JUMPDEST
000017fd: POP
000017fe: PUSH13 0x01000000000000000000000000
0000180c: DUP4
0000180d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001822: AND
00001823: EQ
00001824: DUP4
00001825: SWAP1
00001826: PUSH2 0x1865
00001829: JUMPI
0000182a: PUSH1 0x40
0000182c: MLOAD
0000182d: PUSH32 0x6148752400000000000000000000000000000000000000000000000000000000
0000184e: DUP2
0000184f: MSTORE
00001850: PUSH1 0x04
00001852: ADD
00001853: PUSH2 0x185c
00001856: SWAP2
00001857: SWAP1
00001858: PUSH2 0x3543
0000185b: JUMP
0000185c: JUMPDEST
0000185d: PUSH1 0x40
0000185f: MLOAD
00001860: DUP1
00001861: SWAP2
00001862: SUB
00001863: SWAP1
00001864: REVERT
00001865: JUMPDEST
00001866: POP
00001867: PUSH4 0xdc98354e
0000186c: PUSH1 0xe0
0000186e: SHL
0000186f: SWAP2
00001870: POP
00001871: POP
00001872: SWAP4
00001873: SWAP3
00001874: POP
00001875: POP
00001876: POP
00001877: JUMP
00001878: JUMPDEST
00001879: CALLER
0000187a: PUSH0
0000187b: PUSH0
0000187c: SWAP1
0000187d: SLOAD
0000187e: SWAP1
0000187f: PUSH2 0x0100
00001882: EXP
00001883: SWAP1
00001884: DIV
00001885: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000189a: AND
0000189b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018b0: AND
000018b1: DUP2
000018b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c7: AND
000018c8: EQ
000018c9: PUSH2 0x18fe
000018cc: JUMPI
000018cd: PUSH1 0x40
000018cf: MLOAD
000018d0: PUSH32 0x30cd747100000000000000000000000000000000000000000000000000000000
000018f1: DUP2
000018f2: MSTORE
000018f3: PUSH1 0x04
000018f5: ADD
000018f6: PUSH1 0x40
000018f8: MLOAD
000018f9: DUP1
000018fa: SWAP2
000018fb: SUB
000018fc: SWAP1
000018fd: REVERT
000018fe: JUMPDEST
000018ff: DUP2
00001900: PUSH1 0x02
00001902: PUSH0
00001903: DUP6
00001904: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001919: AND
0000191a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000192f: AND
00001930: DUP2
00001931: MSTORE
00001932: PUSH1 0x20
00001934: ADD
00001935: SWAP1
00001936: DUP2
00001937: MSTORE
00001938: PUSH1 0x20
0000193a: ADD
0000193b: PUSH0
0000193c: KECCAK256
0000193d: PUSH0
0000193e: PUSH2 0x0100
00001941: EXP
00001942: DUP2
00001943: SLOAD
00001944: DUP2
00001945: PUSH1 0xff
00001947: MUL
00001948: NOT
00001949: AND
0000194a: SWAP1
0000194b: DUP4
0000194c: ISZERO
0000194d: ISZERO
0000194e: MUL
0000194f: OR
00001950: SWAP1
00001951: SSTORE
00001952: POP
00001953: POP
00001954: POP
00001955: POP
00001956: JUMP
00001957: JUMPDEST
00001958: PUSH0
00001959: PUSH1 0x40
0000195b: MLOAD
0000195c: PUSH32 0xd623472500000000000000000000000000000000000000000000000000000000
0000197d: DUP2
0000197e: MSTORE
0000197f: PUSH1 0x04
00001981: ADD
00001982: PUSH1 0x40
00001984: MLOAD
00001985: DUP1
00001986: SWAP2
00001987: SUB
00001988: SWAP1
00001989: REVERT
0000198a: JUMPDEST
0000198b: CALLER
0000198c: PUSH0
0000198d: PUSH0
0000198e: SWAP1
0000198f: SLOAD
00001990: SWAP1
00001991: PUSH2 0x0100
00001994: EXP
00001995: SWAP1
00001996: DIV
00001997: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ac: AND
000019ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c2: AND
000019c3: DUP2
000019c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d9: AND
000019da: EQ
000019db: PUSH2 0x1a10
000019de: JUMPI
000019df: PUSH1 0x40
000019e1: MLOAD
000019e2: PUSH32 0x30cd747100000000000000000000000000000000000000000000000000000000
00001a03: DUP2
00001a04: MSTORE
00001a05: PUSH1 0x04
00001a07: ADD
00001a08: PUSH1 0x40
00001a0a: MLOAD
00001a0b: DUP1
00001a0c: SWAP2
00001a0d: SUB
00001a0e: SWAP1
00001a0f: REVERT
00001a10: JUMPDEST
00001a11: DUP2
00001a12: PUSH1 0x01
00001a14: PUSH0
00001a15: PUSH2 0x0100
00001a18: EXP
00001a19: DUP2
00001a1a: SLOAD
00001a1b: DUP2
00001a1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a31: MUL
00001a32: NOT
00001a33: AND
00001a34: SWAP1
00001a35: DUP4
00001a36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a4b: AND
00001a4c: MUL
00001a4d: OR
00001a4e: SWAP1
00001a4f: SSTORE
00001a50: POP
00001a51: POP
00001a52: POP
00001a53: JUMP
00001a54: JUMPDEST
00001a55: CALLER
00001a56: PUSH0
00001a57: PUSH0
00001a58: SWAP1
00001a59: SLOAD
00001a5a: SWAP1
00001a5b: PUSH2 0x0100
00001a5e: EXP
00001a5f: SWAP1
00001a60: DIV
00001a61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a76: AND
00001a77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a8c: AND
00001a8d: DUP2
00001a8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aa3: AND
00001aa4: EQ
00001aa5: PUSH2 0x1ada
00001aa8: JUMPI
00001aa9: PUSH1 0x40
00001aab: MLOAD
00001aac: PUSH32 0x30cd747100000000000000000000000000000000000000000000000000000000
00001acd: DUP2
00001ace: MSTORE
00001acf: PUSH1 0x04
00001ad1: ADD
00001ad2: PUSH1 0x40
00001ad4: MLOAD
00001ad5: DUP1
00001ad6: SWAP2
00001ad7: SUB
00001ad8: SWAP1
00001ad9: REVERT
00001ada: JUMPDEST
00001adb: PUSH0
00001adc: DUP3
00001add: SUB
00001ade: PUSH2 0x1b0d
00001ae1: JUMPI
00001ae2: PUSH2 0x1b0a
00001ae5: ADDRESS
00001ae6: DUP5
00001ae7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001afc: AND
00001afd: PUSH2 0x1c17
00001b00: SWAP1
00001b01: SWAP2
00001b02: SWAP1
00001b03: PUSH4 0xffffffff
00001b08: AND
00001b09: JUMP
00001b0a: JUMPDEST
00001b0b: SWAP2
00001b0c: POP
00001b0d: JUMPDEST
00001b0e: PUSH2 0x1b38
00001b11: CALLER
00001b12: DUP4
00001b13: DUP6
00001b14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b29: AND
00001b2a: PUSH2 0x22a5
00001b2d: SWAP1
00001b2e: SWAP3
00001b2f: SWAP2
00001b30: SWAP1
00001b31: PUSH4 0xffffffff
00001b36: AND
00001b37: JUMP
00001b38: JUMPDEST
00001b39: POP
00001b3a: POP
00001b3b: POP
00001b3c: JUMP
00001b3d: JUMPDEST
00001b3e: PUSH0
00001b3f: PUSH1 0xa0
00001b41: DUP3
00001b42: KECCAK256
00001b43: SWAP1
00001b44: POP
00001b45: SWAP2
00001b46: SWAP1
00001b47: POP
00001b48: JUMP
00001b49: JUMPDEST
00001b4a: PUSH0
00001b4b: PUSH0
00001b4c: PUSH0
00001b4d: PUSH0
00001b4e: PUSH0
00001b4f: PUSH2 0x1b57
00001b52: DUP7
00001b53: PUSH2 0x238c
00001b56: JUMP
00001b57: JUMPDEST
00001b58: SWAP1
00001b59: POP
00001b5a: PUSH0
00001b5b: DUP8
00001b5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b71: AND
00001b72: PUSH4 0x1e2eaeaf
00001b77: DUP4
00001b78: PUSH1 0x40
00001b7a: MLOAD
00001b7b: DUP3
00001b7c: PUSH4 0xffffffff
00001b81: AND
00001b82: PUSH1 0xe0
00001b84: SHL
00001b85: DUP2
00001b86: MSTORE
00001b87: PUSH1 0x04
00001b89: ADD
00001b8a: PUSH2 0x1b93
00001b8d: SWAP2
00001b8e: SWAP1
00001b8f: PUSH2 0x356b
00001b92: JUMP
00001b93: JUMPDEST
00001b94: PUSH1 0x20
00001b96: PUSH1 0x40
00001b98: MLOAD
00001b99: DUP1
00001b9a: DUP4
00001b9b: SUB
00001b9c: DUP2
00001b9d: DUP7
00001b9e: GAS
00001b9f: STATICCALL
00001ba0: ISZERO
00001ba1: DUP1
00001ba2: ISZERO
00001ba3: PUSH2 0x1bae
00001ba6: JUMPI
00001ba7: RETURNDATASIZE
00001ba8: PUSH0
00001ba9: PUSH0
00001baa: RETURNDATACOPY
00001bab: RETURNDATASIZE
00001bac: PUSH0
00001bad: REVERT
00001bae: JUMPDEST
00001baf: POP
00001bb0: POP
00001bb1: POP
00001bb2: POP
00001bb3: PUSH1 0x40
00001bb5: MLOAD
00001bb6: RETURNDATASIZE
00001bb7: PUSH1 0x1f
00001bb9: NOT
00001bba: PUSH1 0x1f
00001bbc: DUP3
00001bbd: ADD
00001bbe: AND
00001bbf: DUP3
00001bc0: ADD
00001bc1: DUP1
00001bc2: PUSH1 0x40
00001bc4: MSTORE
00001bc5: POP
00001bc6: DUP2
00001bc7: ADD
00001bc8: SWAP1
00001bc9: PUSH2 0x1bd2
00001bcc: SWAP2
00001bcd: SWAP1
00001bce: PUSH2 0x35ae
00001bd1: JUMP
00001bd2: JUMPDEST
00001bd3: SWAP1
00001bd4: POP
00001bd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bea: DUP2
00001beb: AND
00001bec: SWAP6
00001bed: POP
00001bee: DUP1
00001bef: PUSH1 0xa0
00001bf1: SHR
00001bf2: PUSH1 0x02
00001bf4: SIGNEXTEND
00001bf5: SWAP5
00001bf6: POP
00001bf7: PUSH3 0xffffff
00001bfb: DUP2
00001bfc: PUSH1 0xb8
00001bfe: SHR
00001bff: AND
00001c00: SWAP4
00001c01: POP
00001c02: PUSH3 0xffffff
00001c06: DUP2
00001c07: PUSH1 0xd0
00001c09: SHR
00001c0a: AND
00001c0b: SWAP3
00001c0c: POP
00001c0d: POP
00001c0e: POP
00001c0f: SWAP3
00001c10: SWAP6
00001c11: SWAP2
00001c12: SWAP5
00001c13: POP
00001c14: SWAP3
00001c15: POP
00001c16: JUMP
00001c17: JUMPDEST
00001c18: PUSH0
00001c19: PUSH2 0x1c37
00001c1c: DUP4
00001c1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c32: AND
00001c33: PUSH2 0x23c0
00001c36: JUMP
00001c37: JUMPDEST
00001c38: ISZERO
00001c39: PUSH2 0x1c5b
00001c3c: JUMPI
00001c3d: DUP2
00001c3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c53: AND
00001c54: BALANCE
00001c55: SWAP1
00001c56: POP
00001c57: PUSH2 0x1cd6
00001c5a: JUMP
00001c5b: JUMPDEST
00001c5c: DUP3
00001c5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c72: AND
00001c73: PUSH4 0x70a08231
00001c78: DUP4
00001c79: PUSH1 0x40
00001c7b: MLOAD
00001c7c: DUP3
00001c7d: PUSH4 0xffffffff
00001c82: AND
00001c83: PUSH1 0xe0
00001c85: SHL
00001c86: DUP2
00001c87: MSTORE
00001c88: PUSH1 0x04
00001c8a: ADD
00001c8b: PUSH2 0x1c94
00001c8e: SWAP2
00001c8f: SWAP1
00001c90: PUSH2 0x35d9
00001c93: JUMP
00001c94: JUMPDEST
00001c95: PUSH1 0x20
00001c97: PUSH1 0x40
00001c99: MLOAD
00001c9a: DUP1
00001c9b: DUP4
00001c9c: SUB
00001c9d: DUP2
00001c9e: DUP7
00001c9f: GAS
00001ca0: STATICCALL
00001ca1: ISZERO
00001ca2: DUP1
00001ca3: ISZERO
00001ca4: PUSH2 0x1caf
00001ca7: JUMPI
00001ca8: RETURNDATASIZE
00001ca9: PUSH0
00001caa: PUSH0
00001cab: RETURNDATACOPY
00001cac: RETURNDATASIZE
00001cad: PUSH0
00001cae: REVERT
00001caf: JUMPDEST
00001cb0: POP
00001cb1: POP
00001cb2: POP
00001cb3: POP
00001cb4: PUSH1 0x40
00001cb6: MLOAD
00001cb7: RETURNDATASIZE
00001cb8: PUSH1 0x1f
00001cba: NOT
00001cbb: PUSH1 0x1f
00001cbd: DUP3
00001cbe: ADD
00001cbf: AND
00001cc0: DUP3
00001cc1: ADD
00001cc2: DUP1
00001cc3: PUSH1 0x40
00001cc5: MSTORE
00001cc6: POP
00001cc7: DUP2
00001cc8: ADD
00001cc9: SWAP1
00001cca: PUSH2 0x1cd3
00001ccd: SWAP2
00001cce: SWAP1
00001ccf: PUSH2 0x331f
00001cd2: JUMP
00001cd3: JUMPDEST
00001cd4: SWAP1
00001cd5: POP
00001cd6: JUMPDEST
00001cd7: SWAP3
00001cd8: SWAP2
00001cd9: POP
00001cda: POP
00001cdb: JUMP
00001cdc: JUMPDEST
00001cdd: PUSH0
00001cde: PUSH0
00001cdf: DUP3
00001ce0: PUSH1 0x02
00001ce2: SIGNEXTEND
00001ce3: SWAP3
00001ce4: POP
00001ce5: DUP3
00001ce6: PUSH1 0xff
00001ce8: SAR
00001ce9: DUP4
00001cea: DUP2
00001ceb: ADD
00001cec: DUP2
00001ced: XOR
00001cee: SWAP2
00001cef: POP
00001cf0: POP
00001cf1: PUSH3 0x0d89e8
00001cf5: PUSH1 0x02
00001cf7: SIGNEXTEND
00001cf8: DUP2
00001cf9: GT
00001cfa: ISZERO
00001cfb: PUSH2 0x1d38
00001cfe: JUMPI
00001cff: PUSH2 0x1d37
00001d02: DUP4
00001d03: PUSH4 0x8b86327a
00001d08: PUSH1 0xe0
00001d0a: SHL
00001d0b: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001d28: NOT
00001d29: AND
00001d2a: PUSH2 0x23f7
00001d2d: SWAP1
00001d2e: SWAP2
00001d2f: SWAP1
00001d30: PUSH4 0xffffffff
00001d35: AND
00001d36: JUMP
00001d37: JUMPDEST
00001d38: JUMPDEST
00001d39: PUSH0
00001d3a: PUSH1 0x01
00001d3c: DUP3
00001d3d: AND
00001d3e: PUSH16 0xfffcb933bd6fad37aa2d162d1a594001
00001d4f: PUSH1 0x01
00001d51: PUSH1 0x80
00001d53: SHL
00001d54: XOR
00001d55: MUL
00001d56: PUSH1 0x01
00001d58: PUSH1 0x80
00001d5a: SHL
00001d5b: XOR
00001d5c: SWAP1
00001d5d: POP
00001d5e: PUSH0
00001d5f: PUSH1 0x02
00001d61: DUP4
00001d62: AND
00001d63: EQ
00001d64: PUSH2 0x1d81
00001d67: JUMPI
00001d68: PUSH1 0x80
00001d6a: PUSH16 0xfff97272373d413259a46990580e213a
00001d7b: DUP3
00001d7c: MUL
00001d7d: SWAP1
00001d7e: SHR
00001d7f: SWAP1
00001d80: POP
00001d81: JUMPDEST
00001d82: PUSH0
00001d83: PUSH1 0x04
00001d85: DUP4
00001d86: AND
00001d87: EQ
00001d88: PUSH2 0x1da5
00001d8b: JUMPI
00001d8c: PUSH1 0x80
00001d8e: PUSH16 0xfff2e50f5f656932ef12357cf3c7fdcc
00001d9f: DUP3
00001da0: MUL
00001da1: SWAP1
00001da2: SHR
00001da3: SWAP1
00001da4: POP
00001da5: JUMPDEST
00001da6: PUSH0
00001da7: PUSH1 0x08
00001da9: DUP4
00001daa: AND
00001dab: EQ
00001dac: PUSH2 0x1dc9
00001daf: JUMPI
00001db0: PUSH1 0x80
00001db2: PUSH16 0xffe5caca7e10e4e61c3624eaa0941cd0
00001dc3: DUP3
00001dc4: MUL
00001dc5: SWAP1
00001dc6: SHR
00001dc7: SWAP1
00001dc8: POP
00001dc9: JUMPDEST
00001dca: PUSH0
00001dcb: PUSH1 0x10
00001dcd: DUP4
00001dce: AND
00001dcf: EQ
00001dd0: PUSH2 0x1ded
00001dd3: JUMPI
00001dd4: PUSH1 0x80
00001dd6: PUSH16 0xffcb9843d60f6159c9db58835c926644
00001de7: DUP3
00001de8: MUL
00001de9: SWAP1
00001dea: SHR
00001deb: SWAP1
00001dec: POP
00001ded: JUMPDEST
00001dee: PUSH0
00001def: PUSH1 0x20
00001df1: DUP4
00001df2: AND
00001df3: EQ
00001df4: PUSH2 0x1e11
00001df7: JUMPI
00001df8: PUSH1 0x80
00001dfa: PUSH16 0xff973b41fa98c081472e6896dfb254c0
00001e0b: DUP3
00001e0c: MUL
00001e0d: SWAP1
00001e0e: SHR
00001e0f: SWAP1
00001e10: POP
00001e11: JUMPDEST
00001e12: PUSH0
00001e13: PUSH1 0x40
00001e15: DUP4
00001e16: AND
00001e17: EQ
00001e18: PUSH2 0x1e35
00001e1b: JUMPI
00001e1c: PUSH1 0x80
00001e1e: PUSH16 0xff2ea16466c96a3843ec78b326b52861
00001e2f: DUP3
00001e30: MUL
00001e31: SWAP1
00001e32: SHR
00001e33: SWAP1
00001e34: POP
00001e35: JUMPDEST
00001e36: PUSH0
00001e37: PUSH1 0x80
00001e39: DUP4
00001e3a: AND
00001e3b: EQ
00001e3c: PUSH2 0x1e59
00001e3f: JUMPI
00001e40: PUSH1 0x80
00001e42: PUSH16 0xfe5dee046a99a2a811c461f1969c3053
00001e53: DUP3
00001e54: MUL
00001e55: SWAP1
00001e56: SHR
00001e57: SWAP1
00001e58: POP
00001e59: JUMPDEST
00001e5a: PUSH0
00001e5b: PUSH2 0x0100
00001e5e: DUP4
00001e5f: AND
00001e60: EQ
00001e61: PUSH2 0x1e7e
00001e64: JUMPI
00001e65: PUSH1 0x80
00001e67: PUSH16 0xfcbe86c7900a88aedcffc83b479aa3a4
00001e78: DUP3
00001e79: MUL
00001e7a: SWAP1
00001e7b: SHR
00001e7c: SWAP1
00001e7d: POP
00001e7e: JUMPDEST
00001e7f: PUSH0
00001e80: PUSH2 0x0200
00001e83: DUP4
00001e84: AND
00001e85: EQ
00001e86: PUSH2 0x1ea3
00001e89: JUMPI
00001e8a: PUSH1 0x80
00001e8c: PUSH16 0xf987a7253ac413176f2b074cf7815e54
00001e9d: DUP3
00001e9e: MUL
00001e9f: SWAP1
00001ea0: SHR
00001ea1: SWAP1
00001ea2: POP
00001ea3: JUMPDEST
00001ea4: PUSH0
00001ea5: PUSH2 0x0400
00001ea8: DUP4
00001ea9: AND
00001eaa: EQ
00001eab: PUSH2 0x1ec8
00001eae: JUMPI
00001eaf: PUSH1 0x80
00001eb1: PUSH16 0xf3392b0822b70005940c7a398e4b70f3
00001ec2: DUP3
00001ec3: MUL
00001ec4: SWAP1
00001ec5: SHR
00001ec6: SWAP1
00001ec7: POP
00001ec8: JUMPDEST
00001ec9: PUSH0
00001eca: PUSH2 0x0800
00001ecd: DUP4
00001ece: AND
00001ecf: EQ
00001ed0: PUSH2 0x1eed
00001ed3: JUMPI
00001ed4: PUSH1 0x80
00001ed6: PUSH16 0xe7159475a2c29b7443b29c7fa6e889d9
00001ee7: DUP3
00001ee8: MUL
00001ee9: SWAP1
00001eea: SHR
00001eeb: SWAP1
00001eec: POP
00001eed: JUMPDEST
00001eee: PUSH0
00001eef: PUSH2 0x1000
00001ef2: DUP4
00001ef3: AND
00001ef4: EQ
00001ef5: PUSH2 0x1f12
00001ef8: JUMPI
00001ef9: PUSH1 0x80
00001efb: PUSH16 0xd097f3bdfd2022b8845ad8f792aa5825
00001f0c: DUP3
00001f0d: MUL
00001f0e: SWAP1
00001f0f: SHR
00001f10: SWAP1
00001f11: POP
00001f12: JUMPDEST
00001f13: PUSH0
00001f14: PUSH2 0x2000
00001f17: DUP4
00001f18: AND
00001f19: EQ
00001f1a: PUSH2 0x1f37
00001f1d: JUMPI
00001f1e: PUSH1 0x80
00001f20: PUSH16 0xa9f746462d870fdf8a65dc1f90e061e5
00001f31: DUP3
00001f32: MUL
00001f33: SWAP1
00001f34: SHR
00001f35: SWAP1
00001f36: POP
00001f37: JUMPDEST
00001f38: PUSH0
00001f39: PUSH2 0x4000
00001f3c: DUP4
00001f3d: AND
00001f3e: EQ
00001f3f: PUSH2 0x1f5c
00001f42: JUMPI
00001f43: PUSH1 0x80
00001f45: PUSH16 0x70d869a156d2a1b890bb3df62baf32f7
00001f56: DUP3
00001f57: MUL
00001f58: SWAP1
00001f59: SHR
00001f5a: SWAP1
00001f5b: POP
00001f5c: JUMPDEST
00001f5d: PUSH0
00001f5e: PUSH2 0x8000
00001f61: DUP4
00001f62: AND
00001f63: EQ
00001f64: PUSH2 0x1f81
00001f67: JUMPI
00001f68: PUSH1 0x80
00001f6a: PUSH16 0x31be135f97d08fd981231505542fcfa6
00001f7b: DUP3
00001f7c: MUL
00001f7d: SWAP1
00001f7e: SHR
00001f7f: SWAP1
00001f80: POP
00001f81: JUMPDEST
00001f82: PUSH0
00001f83: PUSH3 0x010000
00001f87: DUP4
00001f88: AND
00001f89: EQ
00001f8a: PUSH2 0x1fa7
00001f8d: JUMPI
00001f8e: PUSH1 0x80
00001f90: PUSH16 0x09aa508b5b7a84e1c677de54f3e99bc9
00001fa1: DUP3
00001fa2: MUL
00001fa3: SWAP1
00001fa4: SHR
00001fa5: SWAP1
00001fa6: POP
00001fa7: JUMPDEST
00001fa8: PUSH0
00001fa9: PUSH3 0x020000
00001fad: DUP4
00001fae: AND
00001faf: EQ
00001fb0: PUSH2 0x1fcc
00001fb3: JUMPI
00001fb4: PUSH1 0x80
00001fb6: PUSH15 0x5d6af8dedb81196699c329225ee604
00001fc6: DUP3
00001fc7: MUL
00001fc8: SWAP1
00001fc9: SHR
00001fca: SWAP1
00001fcb: POP
00001fcc: JUMPDEST
00001fcd: PUSH0
00001fce: PUSH3 0x040000
00001fd2: DUP4
00001fd3: AND
00001fd4: EQ
00001fd5: PUSH2 0x1ff0
00001fd8: JUMPI
00001fd9: PUSH1 0x80
00001fdb: PUSH14 0x2216e584f5fa1ea926041bedfe98
00001fea: DUP3
00001feb: MUL
00001fec: SWAP1
00001fed: SHR
00001fee: SWAP1
00001fef: POP
00001ff0: JUMPDEST
00001ff1: PUSH0
00001ff2: PUSH3 0x080000
00001ff6: DUP4
00001ff7: AND
00001ff8: EQ
00001ff9: PUSH2 0x2012
00001ffc: JUMPI
00001ffd: PUSH1 0x80
00001fff: PUSH12 0x048a170391f7dc42444e8fa2
0000200c: DUP3
0000200d: MUL
0000200e: SWAP1
0000200f: SHR
00002010: SWAP1
00002011: POP
00002012: JUMPDEST
00002013: PUSH0
00002014: DUP5
00002015: SGT
00002016: ISZERO
00002017: PUSH2 0x2021
0000201a: JUMPI
0000201b: DUP1
0000201c: PUSH0
0000201d: NOT
0000201e: DIV
0000201f: SWAP1
00002020: POP
00002021: JUMPDEST
00002022: PUSH1 0x01
00002024: DUP1
00002025: PUSH1 0x20
00002027: SHL
00002028: SUB
00002029: DUP2
0000202a: ADD
0000202b: PUSH1 0x20
0000202d: SHR
0000202e: SWAP3
0000202f: POP
00002030: POP
00002031: POP
00002032: SWAP2
00002033: SWAP1
00002034: POP
00002035: JUMP
00002036: JUMPDEST
00002037: PUSH0
00002038: PUSH0
00002039: DUP6
0000203a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000204f: AND
00002050: DUP8
00002051: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002066: AND
00002067: GT
00002068: PUSH2 0x20e1
0000206b: JUMPI
0000206c: PUSH2 0x20da
0000206f: DUP5
00002070: PUSH2 0x20b3
00002073: DUP9
00002074: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002089: AND
0000208a: DUP9
0000208b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020a0: AND
000020a1: PUSH13 0x01000000000000000000000000
000020af: PUSH2 0x2406
000020b2: JUMP
000020b3: JUMPDEST
000020b4: DUP9
000020b5: DUP9
000020b6: PUSH2 0x20bf
000020b9: SWAP2
000020ba: SWAP1
000020bb: PUSH2 0x35f2
000020be: JUMP
000020bf: JUMPDEST
000020c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020d5: AND
000020d6: PUSH2 0x2406
000020d9: JUMP
000020da: JUMPDEST
000020db: SWAP1
000020dc: POP
000020dd: PUSH2 0x2217
000020e0: JUMP
000020e1: JUMPDEST
000020e2: DUP5
000020e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020f8: AND
000020f9: DUP8
000020fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000210f: AND
00002110: LT
00002111: PUSH2 0x2154
00002114: JUMPI
00002115: PUSH2 0x214d
00002118: DUP4
00002119: PUSH13 0x01000000000000000000000000
00002127: DUP9
00002128: DUP9
00002129: PUSH2 0x2132
0000212c: SWAP2
0000212d: SWAP1
0000212e: PUSH2 0x35f2
00002131: JUMP
00002132: JUMPDEST
00002133: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002148: AND
00002149: PUSH2 0x2406
0000214c: JUMP
0000214d: JUMPDEST
0000214e: SWAP1
0000214f: POP
00002150: PUSH2 0x2216
00002153: JUMP
00002154: JUMPDEST
00002155: PUSH0
00002156: PUSH2 0x21c4
00002159: DUP6
0000215a: PUSH2 0x219d
0000215d: DUP11
0000215e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002173: AND
00002174: DUP10
00002175: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000218a: AND
0000218b: PUSH13 0x01000000000000000000000000
00002199: PUSH2 0x2406
0000219c: JUMP
0000219d: JUMPDEST
0000219e: DUP11
0000219f: DUP10
000021a0: PUSH2 0x21a9
000021a3: SWAP2
000021a4: SWAP1
000021a5: PUSH2 0x35f2
000021a8: JUMP
000021a9: JUMPDEST
000021aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021bf: AND
000021c0: PUSH2 0x2406
000021c3: JUMP
000021c4: JUMPDEST
000021c5: SWAP1
000021c6: POP
000021c7: PUSH0
000021c8: PUSH2 0x2200
000021cb: DUP6
000021cc: PUSH13 0x01000000000000000000000000
000021da: DUP11
000021db: DUP13
000021dc: PUSH2 0x21e5
000021df: SWAP2
000021e0: SWAP1
000021e1: PUSH2 0x35f2
000021e4: JUMP
000021e5: JUMPDEST
000021e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021fb: AND
000021fc: PUSH2 0x2406
000021ff: JUMP
00002200: JUMPDEST
00002201: SWAP1
00002202: POP
00002203: DUP1
00002204: DUP3
00002205: LT
00002206: PUSH2 0x220f
00002209: JUMPI
0000220a: DUP1
0000220b: PUSH2 0x2211
0000220e: JUMP
0000220f: JUMPDEST
00002210: DUP2
00002211: JUMPDEST
00002212: SWAP3
00002213: POP
00002214: POP
00002215: POP
00002216: JUMPDEST
00002217: JUMPDEST
00002218: PUSH16 0x7fffffffffffffffffffffffffffffff
00002229: PUSH16 0xffffffffffffffffffffffffffffffff
0000223a: AND
0000223b: DUP2
0000223c: GT
0000223d: ISZERO
0000223e: DUP2
0000223f: SWAP1
00002240: PUSH2 0x227f
00002243: JUMPI
00002244: PUSH1 0x40
00002246: MLOAD
00002247: PUSH32 0xda041d7800000000000000000000000000000000000000000000000000000000
00002268: DUP2
00002269: MSTORE
0000226a: PUSH1 0x04
0000226c: ADD
0000226d: PUSH2 0x2276
00002270: SWAP2
00002271: SWAP1
00002272: PUSH2 0x3648
00002275: JUMP
00002276: JUMPDEST
00002277: PUSH1 0x40
00002279: MLOAD
0000227a: DUP1
0000227b: SWAP2
0000227c: SUB
0000227d: SWAP1
0000227e: REVERT
0000227f: JUMPDEST
00002280: POP
00002281: DUP1
00002282: SWAP2
00002283: POP
00002284: POP
00002285: SWAP6
00002286: SWAP5
00002287: POP
00002288: POP
00002289: POP
0000228a: POP
0000228b: POP
0000228c: JUMP
0000228d: JUMPDEST
0000228e: PUSH0
0000228f: DUP2
00002290: PUSH1 0x80
00002292: SAR
00002293: SWAP1
00002294: POP
00002295: SWAP2
00002296: SWAP1
00002297: POP
00002298: JUMP
00002299: JUMPDEST
0000229a: PUSH0
0000229b: DUP2
0000229c: PUSH1 0x0f
0000229e: SIGNEXTEND
0000229f: SWAP1
000022a0: POP
000022a1: SWAP2
000022a2: SWAP1
000022a3: POP
000022a4: JUMP
000022a5: JUMPDEST
000022a6: PUSH0
000022a7: PUSH2 0x22c5
000022aa: DUP5
000022ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022c0: AND
000022c1: PUSH2 0x23c0
000022c4: JUMP
000022c5: JUMPDEST
000022c6: ISZERO
000022c7: PUSH2 0x22f4
000022ca: JUMPI
000022cb: PUSH0
000022cc: PUSH0
000022cd: PUSH0
000022ce: PUSH0
000022cf: DUP6
000022d0: DUP8
000022d1: GAS
000022d2: CALL
000022d3: SWAP1
000022d4: POP
000022d5: DUP1
000022d6: PUSH2 0x22ef
000022d9: JUMPI
000022da: PUSH2 0x22ee
000022dd: DUP4
000022de: PUSH0
000022df: PUSH1 0xe0
000022e1: SHL
000022e2: PUSH4 0xf4b3b1bc
000022e7: PUSH1 0xe0
000022e9: SHL
000022ea: PUSH2 0x24c9
000022ed: JUMP
000022ee: JUMPDEST
000022ef: JUMPDEST
000022f0: PUSH2 0x2386
000022f3: JUMP
000022f4: JUMPDEST
000022f5: PUSH1 0x40
000022f7: MLOAD
000022f8: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00002319: DUP2
0000231a: MSTORE
0000231b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002330: DUP5
00002331: AND
00002332: PUSH1 0x04
00002334: DUP3
00002335: ADD
00002336: MSTORE
00002337: DUP3
00002338: PUSH1 0x24
0000233a: DUP3
0000233b: ADD
0000233c: MSTORE
0000233d: PUSH1 0x20
0000233f: PUSH0
00002340: PUSH1 0x44
00002342: DUP4
00002343: PUSH0
00002344: DUP10
00002345: GAS
00002346: CALL
00002347: RETURNDATASIZE
00002348: ISZERO
00002349: PUSH1 0x1f
0000234b: RETURNDATASIZE
0000234c: GT
0000234d: PUSH1 0x01
0000234f: PUSH0
00002350: MLOAD
00002351: EQ
00002352: AND
00002353: OR
00002354: AND
00002355: SWAP2
00002356: POP
00002357: PUSH0
00002358: DUP2
00002359: MSTORE
0000235a: PUSH0
0000235b: PUSH1 0x20
0000235d: DUP3
0000235e: ADD
0000235f: MSTORE
00002360: PUSH0
00002361: PUSH1 0x40
00002363: DUP3
00002364: ADD
00002365: MSTORE
00002366: POP
00002367: DUP1
00002368: PUSH2 0x2385
0000236b: JUMPI
0000236c: PUSH2 0x2384
0000236f: DUP5
00002370: PUSH4 0xa9059cbb
00002375: PUSH1 0xe0
00002377: SHL
00002378: PUSH4 0xf27f64e4
0000237d: PUSH1 0xe0
0000237f: SHL
00002380: PUSH2 0x24c9
00002383: JUMP
00002384: JUMPDEST
00002385: JUMPDEST
00002386: JUMPDEST
00002387: POP
00002388: POP
00002389: POP
0000238a: POP
0000238b: JUMP
0000238c: JUMPDEST
0000238d: PUSH0
0000238e: DUP2
0000238f: PUSH1 0x06
00002391: PUSH0
00002392: SHL
00002393: PUSH1 0x40
00002395: MLOAD
00002396: PUSH1 0x20
00002398: ADD
00002399: PUSH2 0x23a3
0000239c: SWAP3
0000239d: SWAP2
0000239e: SWAP1
0000239f: PUSH2 0x3681
000023a2: JUMP
000023a3: JUMPDEST
000023a4: PUSH1 0x40
000023a6: MLOAD
000023a7: PUSH1 0x20
000023a9: DUP2
000023aa: DUP4
000023ab: SUB
000023ac: SUB
000023ad: DUP2
000023ae: MSTORE
000023af: SWAP1
000023b0: PUSH1 0x40
000023b2: MSTORE
000023b3: DUP1
000023b4: MLOAD
000023b5: SWAP1
000023b6: PUSH1 0x20
000023b8: ADD
000023b9: KECCAK256
000023ba: SWAP1
000023bb: POP
000023bc: SWAP2
000023bd: SWAP1
000023be: POP
000023bf: JUMP
000023c0: JUMPDEST
000023c1: PUSH0
000023c2: PUSH0
000023c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023d8: AND
000023d9: DUP3
000023da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023ef: AND
000023f0: EQ
000023f1: SWAP1
000023f2: POP
000023f3: SWAP2
000023f4: SWAP1
000023f5: POP
000023f6: JUMP
000023f7: JUMPDEST
000023f8: DUP2
000023f9: PUSH0
000023fa: MSTORE
000023fb: DUP1
000023fc: PUSH1 0x02
000023fe: SIGNEXTEND
000023ff: PUSH1 0x04
00002401: MSTORE
00002402: PUSH1 0x24
00002404: PUSH0
00002405: REVERT
00002406: JUMPDEST
00002407: PUSH0
00002408: PUSH0
00002409: DUP4
0000240a: DUP6
0000240b: MUL
0000240c: SWAP1
0000240d: POP
0000240e: PUSH0
0000240f: PUSH0
00002410: NOT
00002411: DUP6
00002412: DUP8
00002413: MULMOD
00002414: DUP3
00002415: DUP2
00002416: LT
00002417: DUP4
00002418: DUP3
00002419: SUB
0000241a: SUB
0000241b: SWAP2
0000241c: POP
0000241d: POP
0000241e: DUP1
0000241f: DUP5
00002420: GT
00002421: PUSH2 0x2428
00002424: JUMPI
00002425: PUSH0
00002426: PUSH0
00002427: REVERT
00002428: JUMPDEST
00002429: PUSH0
0000242a: DUP2
0000242b: SUB
0000242c: PUSH2 0x243b
0000242f: JUMPI
00002430: DUP4
00002431: DUP3
00002432: DIV
00002433: SWAP3
00002434: POP
00002435: POP
00002436: POP
00002437: PUSH2 0x24c2
0000243a: JUMP
0000243b: JUMPDEST
0000243c: PUSH0
0000243d: DUP5
0000243e: DUP7
0000243f: DUP9
00002440: MULMOD
00002441: SWAP1
00002442: POP
00002443: DUP3
00002444: DUP2
00002445: GT
00002446: DUP3
00002447: SUB
00002448: SWAP2
00002449: POP
0000244a: DUP1
0000244b: DUP4
0000244c: SUB
0000244d: SWAP3
0000244e: POP
0000244f: PUSH0
00002450: DUP6
00002451: DUP7
00002452: PUSH0
00002453: SUB
00002454: AND
00002455: SWAP1
00002456: POP
00002457: DUP1
00002458: DUP7
00002459: DIV
0000245a: SWAP6
0000245b: POP
0000245c: DUP1
0000245d: DUP5
0000245e: DIV
0000245f: SWAP4
00002460: POP
00002461: PUSH1 0x01
00002463: DUP2
00002464: DUP3
00002465: PUSH0
00002466: SUB
00002467: DIV
00002468: ADD
00002469: SWAP1
0000246a: POP
0000246b: DUP1
0000246c: DUP4
0000246d: MUL
0000246e: DUP5
0000246f: OR
00002470: SWAP4
00002471: POP
00002472: PUSH0
00002473: PUSH1 0x02
00002475: DUP8
00002476: PUSH1 0x03
00002478: MUL
00002479: XOR
0000247a: SWAP1
0000247b: POP
0000247c: DUP1
0000247d: DUP8
0000247e: MUL
0000247f: PUSH1 0x02
00002481: SUB
00002482: DUP2
00002483: MUL
00002484: SWAP1
00002485: POP
00002486: DUP1
00002487: DUP8
00002488: MUL
00002489: PUSH1 0x02
0000248b: SUB
0000248c: DUP2
0000248d: MUL
0000248e: SWAP1
0000248f: POP
00002490: DUP1
00002491: DUP8
00002492: MUL
00002493: PUSH1 0x02
00002495: SUB
00002496: DUP2
00002497: MUL
00002498: SWAP1
00002499: POP
0000249a: DUP1
0000249b: DUP8
0000249c: MUL
0000249d: PUSH1 0x02
0000249f: SUB
000024a0: DUP2
000024a1: MUL
000024a2: SWAP1
000024a3: POP
000024a4: DUP1
000024a5: DUP8
000024a6: MUL
000024a7: PUSH1 0x02
000024a9: SUB
000024aa: DUP2
000024ab: MUL
000024ac: SWAP1
000024ad: POP
000024ae: DUP1
000024af: DUP8
000024b0: MUL
000024b1: PUSH1 0x02
000024b3: SUB
000024b4: DUP2
000024b5: MUL
000024b6: SWAP1
000024b7: POP
000024b8: DUP1
000024b9: DUP6
000024ba: MUL
000024bb: SWAP6
000024bc: POP
000024bd: POP
000024be: POP
000024bf: POP
000024c0: POP
000024c1: POP
000024c2: JUMPDEST
000024c3: SWAP4
000024c4: SWAP3
000024c5: POP
000024c6: POP
000024c7: POP
000024c8: JUMP
000024c9: JUMPDEST
000024ca: PUSH0
000024cb: PUSH4 0x90bfb865
000024d0: PUSH1 0xe0
000024d2: SHL
000024d3: SWAP1
000024d4: POP
000024d5: PUSH1 0x20
000024d7: DUP1
000024d8: PUSH1 0x1f
000024da: RETURNDATASIZE
000024db: ADD
000024dc: DIV
000024dd: MUL
000024de: PUSH1 0x40
000024e0: MLOAD
000024e1: DUP3
000024e2: DUP2
000024e3: MSTORE
000024e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024f9: DUP7
000024fa: AND
000024fb: PUSH1 0x04
000024fd: DUP3
000024fe: ADD
000024ff: MSTORE
00002500: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002521: DUP6
00002522: AND
00002523: PUSH1 0x24
00002525: DUP3
00002526: ADD
00002527: MSTORE
00002528: PUSH1 0x80
0000252a: PUSH1 0x44
0000252c: DUP3
0000252d: ADD
0000252e: MSTORE
0000252f: DUP2
00002530: PUSH1 0xa0
00002532: ADD
00002533: PUSH1 0x64
00002535: DUP3
00002536: ADD
00002537: MSTORE
00002538: RETURNDATASIZE
00002539: PUSH1 0x84
0000253b: DUP3
0000253c: ADD
0000253d: MSTORE
0000253e: RETURNDATASIZE
0000253f: PUSH0
00002540: PUSH1 0xa4
00002542: DUP4
00002543: ADD
00002544: RETURNDATACOPY
00002545: PUSH1 0x04
00002547: DUP3
00002548: PUSH1 0xa4
0000254a: ADD
0000254b: DUP3
0000254c: ADD
0000254d: MSTORE
0000254e: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000256f: DUP5
00002570: AND
00002571: DUP3
00002572: PUSH1 0xc4
00002574: ADD
00002575: DUP3
00002576: ADD
00002577: MSTORE
00002578: DUP2
00002579: PUSH1 0xe4
0000257b: ADD
0000257c: DUP2
0000257d: REVERT
0000257e: JUMPDEST
0000257f: PUSH0
00002580: PUSH1 0x40
00002582: MLOAD
00002583: SWAP1
00002584: POP
00002585: SWAP1
00002586: JUMP
00002587: JUMPDEST
00002588: PUSH0
00002589: PUSH0
0000258a: REVERT
0000258b: JUMPDEST
0000258c: PUSH0
0000258d: PUSH0
0000258e: REVERT
0000258f: JUMPDEST
00002590: PUSH0
00002591: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025a6: DUP3
000025a7: AND
000025a8: SWAP1
000025a9: POP
000025aa: SWAP2
000025ab: SWAP1
000025ac: POP
000025ad: JUMP
000025ae: JUMPDEST
000025af: PUSH0
000025b0: PUSH2 0x25b8
000025b3: DUP3
000025b4: PUSH2 0x258f
000025b7: JUMP
000025b8: JUMPDEST
000025b9: SWAP1
000025ba: POP
000025bb: SWAP2
000025bc: SWAP1
000025bd: POP
000025be: JUMP
000025bf: JUMPDEST
000025c0: PUSH2 0x25c8
000025c3: DUP2
000025c4: PUSH2 0x25ae
000025c7: JUMP
000025c8: JUMPDEST
000025c9: DUP2
000025ca: EQ
000025cb: PUSH2 0x25d2
000025ce: JUMPI
000025cf: PUSH0
000025d0: PUSH0
000025d1: REVERT
000025d2: JUMPDEST
000025d3: POP
000025d4: JUMP
000025d5: JUMPDEST
000025d6: PUSH0
000025d7: DUP2
000025d8: CALLDATALOAD
000025d9: SWAP1
000025da: POP
000025db: PUSH2 0x25e3
000025de: DUP2
000025df: PUSH2 0x25bf
000025e2: JUMP
000025e3: JUMPDEST
000025e4: SWAP3
000025e5: SWAP2
000025e6: POP
000025e7: POP
000025e8: JUMP
000025e9: JUMPDEST
000025ea: PUSH0
000025eb: PUSH0
000025ec: REVERT
000025ed: JUMPDEST
000025ee: PUSH0
000025ef: PUSH1 0xa0
000025f1: DUP3
000025f2: DUP5
000025f3: SUB
000025f4: SLT
000025f5: ISZERO
000025f6: PUSH2 0x2602
000025f9: JUMPI
000025fa: PUSH2 0x2601
000025fd: PUSH2 0x25e9
00002600: JUMP
00002601: JUMPDEST
00002602: JUMPDEST
00002603: DUP2
00002604: SWAP1
00002605: POP
00002606: SWAP3
00002607: SWAP2
00002608: POP
00002609: POP
0000260a: JUMP
0000260b: JUMPDEST
0000260c: PUSH0
0000260d: PUSH1 0x80
0000260f: DUP3
00002610: DUP5
00002611: SUB
00002612: SLT
00002613: ISZERO
00002614: PUSH2 0x2620
00002617: JUMPI
00002618: PUSH2 0x261f
0000261b: PUSH2 0x25e9
0000261e: JUMP
0000261f: JUMPDEST
00002620: JUMPDEST
00002621: DUP2
00002622: SWAP1
00002623: POP
00002624: SWAP3
00002625: SWAP2
00002626: POP
00002627: POP
00002628: JUMP
00002629: JUMPDEST
0000262a: PUSH0
0000262b: PUSH0
0000262c: REVERT
0000262d: JUMPDEST
0000262e: PUSH0
0000262f: PUSH0
00002630: REVERT
00002631: JUMPDEST
00002632: PUSH0
00002633: PUSH0
00002634: REVERT
00002635: JUMPDEST
00002636: PUSH0
00002637: PUSH0
00002638: DUP4
00002639: PUSH1 0x1f
0000263b: DUP5
0000263c: ADD
0000263d: SLT
0000263e: PUSH2 0x264a
00002641: JUMPI
00002642: PUSH2 0x2649
00002645: PUSH2 0x2629
00002648: JUMP
00002649: JUMPDEST
0000264a: JUMPDEST
0000264b: DUP3
0000264c: CALLDATALOAD
0000264d: SWAP1
0000264e: POP
0000264f: PUSH8 0xffffffffffffffff
00002658: DUP2
00002659: GT
0000265a: ISZERO
0000265b: PUSH2 0x2667
0000265e: JUMPI
0000265f: PUSH2 0x2666
00002662: PUSH2 0x262d
00002665: JUMP
00002666: JUMPDEST
00002667: JUMPDEST
00002668: PUSH1 0x20
0000266a: DUP4
0000266b: ADD
0000266c: SWAP2
0000266d: POP
0000266e: DUP4
0000266f: PUSH1 0x01
00002671: DUP3
00002672: MUL
00002673: DUP4
00002674: ADD
00002675: GT
00002676: ISZERO
00002677: PUSH2 0x2683
0000267a: JUMPI
0000267b: PUSH2 0x2682
0000267e: PUSH2 0x2631
00002681: JUMP
00002682: JUMPDEST
00002683: JUMPDEST
00002684: SWAP3
00002685: POP
00002686: SWAP3
00002687: SWAP1
00002688: POP
00002689: JUMP
0000268a: JUMPDEST
0000268b: PUSH0
0000268c: PUSH0
0000268d: PUSH0
0000268e: PUSH0
0000268f: PUSH0
00002690: PUSH2 0x0160
00002693: DUP7
00002694: DUP9
00002695: SUB
00002696: SLT
00002697: ISZERO
00002698: PUSH2 0x26a4
0000269b: JUMPI
0000269c: PUSH2 0x26a3
0000269f: PUSH2 0x2587
000026a2: JUMP
000026a3: JUMPDEST
000026a4: JUMPDEST
000026a5: PUSH0
000026a6: PUSH2 0x26b1
000026a9: DUP9
000026aa: DUP3
000026ab: DUP10
000026ac: ADD
000026ad: PUSH2 0x25d5
000026b0: JUMP
000026b1: JUMPDEST
000026b2: SWAP6
000026b3: POP
000026b4: POP
000026b5: PUSH1 0x20
000026b7: PUSH2 0x26c2
000026ba: DUP9
000026bb: DUP3
000026bc: DUP10
000026bd: ADD
000026be: PUSH2 0x25ed
000026c1: JUMP
000026c2: JUMPDEST
000026c3: SWAP5
000026c4: POP
000026c5: POP
000026c6: PUSH1 0xc0
000026c8: PUSH2 0x26d3
000026cb: DUP9
000026cc: DUP3
000026cd: DUP10
000026ce: ADD
000026cf: PUSH2 0x260b
000026d2: JUMP
000026d3: JUMPDEST
000026d4: SWAP4
000026d5: POP
000026d6: POP
000026d7: PUSH2 0x0140
000026da: DUP7
000026db: ADD
000026dc: CALLDATALOAD
000026dd: PUSH8 0xffffffffffffffff
000026e6: DUP2
000026e7: GT
000026e8: ISZERO
000026e9: PUSH2 0x26f5
000026ec: JUMPI
000026ed: PUSH2 0x26f4
000026f0: PUSH2 0x258b
000026f3: JUMP
000026f4: JUMPDEST
000026f5: JUMPDEST
000026f6: PUSH2 0x2701
000026f9: DUP9
000026fa: DUP3
000026fb: DUP10
000026fc: ADD
000026fd: PUSH2 0x2635
00002700: JUMP
00002701: JUMPDEST
00002702: SWAP3
00002703: POP
00002704: SWAP3
00002705: POP
00002706: POP
00002707: SWAP3
00002708: SWAP6
00002709: POP
0000270a: SWAP3
0000270b: SWAP6
0000270c: SWAP1
0000270d: SWAP4
0000270e: POP
0000270f: JUMP
00002710: JUMPDEST
00002711: PUSH0
00002712: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002733: DUP3
00002734: AND
00002735: SWAP1
00002736: POP
00002737: SWAP2
00002738: SWAP1
00002739: POP
0000273a: JUMP
0000273b: JUMPDEST
0000273c: PUSH2 0x2744
0000273f: DUP2
00002740: PUSH2 0x2710
00002743: JUMP
00002744: JUMPDEST
00002745: DUP3
00002746: MSTORE
00002747: POP
00002748: POP
00002749: JUMP
0000274a: JUMPDEST
0000274b: PUSH0
0000274c: PUSH1 0x20
0000274e: DUP3
0000274f: ADD
00002750: SWAP1
00002751: POP
00002752: PUSH2 0x275d
00002755: PUSH0
00002756: DUP4
00002757: ADD
00002758: DUP5
00002759: PUSH2 0x273b
0000275c: JUMP
0000275d: JUMPDEST
0000275e: SWAP3
0000275f: SWAP2
00002760: POP
00002761: POP
00002762: JUMP
00002763: JUMPDEST
00002764: PUSH0
00002765: PUSH1 0x60
00002767: DUP3
00002768: DUP5
00002769: SUB
0000276a: SLT
0000276b: ISZERO
0000276c: PUSH2 0x2778
0000276f: JUMPI
00002770: PUSH2 0x2777
00002773: PUSH2 0x25e9
00002776: JUMP
00002777: JUMPDEST
00002778: JUMPDEST
00002779: DUP2
0000277a: SWAP1
0000277b: POP
0000277c: SWAP3
0000277d: SWAP2
0000277e: POP
0000277f: POP
00002780: JUMP
00002781: JUMPDEST
00002782: PUSH0
00002783: PUSH0
00002784: PUSH0
00002785: PUSH0
00002786: PUSH0
00002787: PUSH2 0x0140
0000278a: DUP7
0000278b: DUP9
0000278c: SUB
0000278d: SLT
0000278e: ISZERO
0000278f: PUSH2 0x279b
00002792: JUMPI
00002793: PUSH2 0x279a
00002796: PUSH2 0x2587
00002799: JUMP
0000279a: JUMPDEST
0000279b: JUMPDEST
0000279c: PUSH0
0000279d: PUSH2 0x27a8
000027a0: DUP9
000027a1: DUP3
000027a2: DUP10
000027a3: ADD
000027a4: PUSH2 0x25d5
000027a7: JUMP
000027a8: JUMPDEST
000027a9: SWAP6
000027aa: POP
000027ab: POP
000027ac: PUSH1 0x20
000027ae: PUSH2 0x27b9
000027b1: DUP9
000027b2: DUP3
000027b3: DUP10
000027b4: ADD
000027b5: PUSH2 0x25ed
000027b8: JUMP
000027b9: JUMPDEST
000027ba: SWAP5
000027bb: POP
000027bc: POP
000027bd: PUSH1 0xc0
000027bf: PUSH2 0x27ca
000027c2: DUP9
000027c3: DUP3
000027c4: DUP10
000027c5: ADD
000027c6: PUSH2 0x2763
000027c9: JUMP
000027ca: JUMPDEST
000027cb: SWAP4
000027cc: POP
000027cd: POP
000027ce: PUSH2 0x0120
000027d1: DUP7
000027d2: ADD
000027d3: CALLDATALOAD
000027d4: PUSH8 0xffffffffffffffff
000027dd: DUP2
000027de: GT
000027df: ISZERO
000027e0: PUSH2 0x27ec
000027e3: JUMPI
000027e4: PUSH2 0x27eb
000027e7: PUSH2 0x258b
000027ea: JUMP
000027eb: JUMPDEST
000027ec: JUMPDEST
000027ed: PUSH2 0x27f8
000027f0: DUP9
000027f1: DUP3
000027f2: DUP10
000027f3: ADD
000027f4: PUSH2 0x2635
000027f7: JUMP
000027f8: JUMPDEST
000027f9: SWAP3
000027fa: POP
000027fb: SWAP3
000027fc: POP
000027fd: POP
000027fe: SWAP3
000027ff: SWAP6
00002800: POP
00002801: SWAP3
00002802: SWAP6
00002803: SWAP1
00002804: SWAP4
00002805: POP
00002806: JUMP
00002807: JUMPDEST
00002808: PUSH0
00002809: DUP2
0000280a: SWAP1
0000280b: POP
0000280c: SWAP2
0000280d: SWAP1
0000280e: POP
0000280f: JUMP
00002810: JUMPDEST
00002811: PUSH0
00002812: DUP2
00002813: SWAP1
00002814: POP
00002815: SWAP2
00002816: SWAP1
00002817: POP
00002818: JUMP
00002819: JUMPDEST
0000281a: PUSH0
0000281b: PUSH2 0x2833
0000281e: PUSH2 0x282e
00002821: PUSH2 0x2829
00002824: DUP5
00002825: PUSH2 0x2807
00002828: JUMP
00002829: JUMPDEST
0000282a: PUSH2 0x2810
0000282d: JUMP
0000282e: JUMPDEST
0000282f: PUSH2 0x2807
00002832: JUMP
00002833: JUMPDEST
00002834: SWAP1
00002835: POP
00002836: SWAP2
00002837: SWAP1
00002838: POP
00002839: JUMP
0000283a: JUMPDEST
0000283b: PUSH2 0x2843
0000283e: DUP2
0000283f: PUSH2 0x2819
00002842: JUMP
00002843: JUMPDEST
00002844: DUP3
00002845: MSTORE
00002846: POP
00002847: POP
00002848: JUMP
00002849: JUMPDEST
0000284a: PUSH0
0000284b: PUSH3 0xffffff
0000284f: DUP3
00002850: AND
00002851: SWAP1
00002852: POP
00002853: SWAP2
00002854: SWAP1
00002855: POP
00002856: JUMP
00002857: JUMPDEST
00002858: PUSH2 0x2860
0000285b: DUP2
0000285c: PUSH2 0x2849
0000285f: JUMP
00002860: JUMPDEST
00002861: DUP3
00002862: MSTORE
00002863: POP
00002864: POP
00002865: JUMP
00002866: JUMPDEST
00002867: PUSH0
00002868: PUSH1 0x60
0000286a: DUP3
0000286b: ADD
0000286c: SWAP1
0000286d: POP
0000286e: PUSH2 0x2879
00002871: PUSH0
00002872: DUP4
00002873: ADD
00002874: DUP7
00002875: PUSH2 0x273b
00002878: JUMP
00002879: JUMPDEST
0000287a: PUSH2 0x2886
0000287d: PUSH1 0x20
0000287f: DUP4
00002880: ADD
00002881: DUP6
00002882: PUSH2 0x283a
00002885: JUMP
00002886: JUMPDEST
00002887: PUSH2 0x2893
0000288a: PUSH1 0x40
0000288c: DUP4
0000288d: ADD
0000288e: DUP5
0000288f: PUSH2 0x2857
00002892: JUMP
00002893: JUMPDEST
00002894: SWAP5
00002895: SWAP4
00002896: POP
00002897: POP
00002898: POP
00002899: POP
0000289a: JUMP
0000289b: JUMPDEST
0000289c: PUSH2 0x28a4
0000289f: DUP2
000028a0: PUSH2 0x2807
000028a3: JUMP
000028a4: JUMPDEST
000028a5: DUP2
000028a6: EQ
000028a7: PUSH2 0x28ae
000028aa: JUMPI
000028ab: PUSH0
000028ac: PUSH0
000028ad: REVERT
000028ae: JUMPDEST
000028af: POP
000028b0: JUMP
000028b1: JUMPDEST
000028b2: PUSH0
000028b3: DUP2
000028b4: CALLDATALOAD
000028b5: SWAP1
000028b6: POP
000028b7: PUSH2 0x28bf
000028ba: DUP2
000028bb: PUSH2 0x289b
000028be: JUMP
000028bf: JUMPDEST
000028c0: SWAP3
000028c1: SWAP2
000028c2: POP
000028c3: POP
000028c4: JUMP
000028c5: JUMPDEST
000028c6: PUSH0
000028c7: PUSH0
000028c8: PUSH0
000028c9: PUSH0
000028ca: PUSH0
000028cb: PUSH0
000028cc: PUSH0
000028cd: PUSH2 0x01a0
000028d0: DUP9
000028d1: DUP11
000028d2: SUB
000028d3: SLT
000028d4: ISZERO
000028d5: PUSH2 0x28e1
000028d8: JUMPI
000028d9: PUSH2 0x28e0
000028dc: PUSH2 0x2587
000028df: JUMP
000028e0: JUMPDEST
000028e1: JUMPDEST
000028e2: PUSH0
000028e3: PUSH2 0x28ee
000028e6: DUP11
000028e7: DUP3
000028e8: DUP12
000028e9: ADD
000028ea: PUSH2 0x25d5
000028ed: JUMP
000028ee: JUMPDEST
000028ef: SWAP8
000028f0: POP
000028f1: POP
000028f2: PUSH1 0x20
000028f4: PUSH2 0x28ff
000028f7: DUP11
000028f8: DUP3
000028f9: DUP12
000028fa: ADD
000028fb: PUSH2 0x25ed
000028fe: JUMP
000028ff: JUMPDEST
00002900: SWAP7
00002901: POP
00002902: POP
00002903: PUSH1 0xc0
00002905: PUSH2 0x2910
00002908: DUP11
00002909: DUP3
0000290a: DUP12
0000290b: ADD
0000290c: PUSH2 0x260b
0000290f: JUMP
00002910: JUMPDEST
00002911: SWAP6
00002912: POP
00002913: POP
00002914: PUSH2 0x0140
00002917: PUSH2 0x2922
0000291a: DUP11
0000291b: DUP3
0000291c: DUP12
0000291d: ADD
0000291e: PUSH2 0x28b1
00002921: JUMP
00002922: JUMPDEST
00002923: SWAP5
00002924: POP
00002925: POP
00002926: PUSH2 0x0160
00002929: PUSH2 0x2934
0000292c: DUP11
0000292d: DUP3
0000292e: DUP12
0000292f: ADD
00002930: PUSH2 0x28b1
00002933: JUMP
00002934: JUMPDEST
00002935: SWAP4
00002936: POP
00002937: POP
00002938: PUSH2 0x0180
0000293b: DUP9
0000293c: ADD
0000293d: CALLDATALOAD
0000293e: PUSH8 0xffffffffffffffff
00002947: DUP2
00002948: GT
00002949: ISZERO
0000294a: PUSH2 0x2956
0000294d: JUMPI
0000294e: PUSH2 0x2955
00002951: PUSH2 0x258b
00002954: JUMP
00002955: JUMPDEST
00002956: JUMPDEST
00002957: PUSH2 0x2962
0000295a: DUP11
0000295b: DUP3
0000295c: DUP12
0000295d: ADD
0000295e: PUSH2 0x2635
00002961: JUMP
00002962: JUMPDEST
00002963: SWAP3
00002964: POP
00002965: SWAP3
00002966: POP
00002967: POP
00002968: SWAP3
00002969: SWAP6
0000296a: SWAP9
0000296b: SWAP2
0000296c: SWAP5
0000296d: SWAP8
0000296e: POP
0000296f: SWAP3
00002970: SWAP6
00002971: POP
00002972: JUMP
00002973: JUMPDEST
00002974: PUSH2 0x297c
00002977: DUP2
00002978: PUSH2 0x2819
0000297b: JUMP
0000297c: JUMPDEST
0000297d: DUP3
0000297e: MSTORE
0000297f: POP
00002980: POP
00002981: JUMP
00002982: JUMPDEST
00002983: PUSH0
00002984: PUSH1 0x40
00002986: DUP3
00002987: ADD
00002988: SWAP1
00002989: POP
0000298a: PUSH2 0x2995
0000298d: PUSH0
0000298e: DUP4
0000298f: ADD
00002990: DUP6
00002991: PUSH2 0x273b
00002994: JUMP
00002995: JUMPDEST
00002996: PUSH2 0x29a2
00002999: PUSH1 0x20
0000299b: DUP4
0000299c: ADD
0000299d: DUP5
0000299e: PUSH2 0x2973
000029a1: JUMP
000029a2: JUMPDEST
000029a3: SWAP4
000029a4: SWAP3
000029a5: POP
000029a6: POP
000029a7: POP
000029a8: JUMP
000029a9: JUMPDEST
000029aa: PUSH2 0x29b2
000029ad: DUP2
000029ae: PUSH2 0x258f
000029b1: JUMP
000029b2: JUMPDEST
000029b3: DUP2
000029b4: EQ
000029b5: PUSH2 0x29bc
000029b8: JUMPI
000029b9: PUSH0
000029ba: PUSH0
000029bb: REVERT
000029bc: JUMPDEST
000029bd: POP
000029be: JUMP
000029bf: JUMPDEST
000029c0: PUSH0
000029c1: DUP2
000029c2: CALLDATALOAD
000029c3: SWAP1
000029c4: POP
000029c5: PUSH2 0x29cd
000029c8: DUP2
000029c9: PUSH2 0x29a9
000029cc: JUMP
000029cd: JUMPDEST
000029ce: SWAP3
000029cf: SWAP2
000029d0: POP
000029d1: POP
000029d2: JUMP
000029d3: JUMPDEST
000029d4: PUSH0
000029d5: DUP2
000029d6: PUSH1 0x02
000029d8: SIGNEXTEND
000029d9: SWAP1
000029da: POP
000029db: SWAP2
000029dc: SWAP1
000029dd: POP
000029de: JUMP
000029df: JUMPDEST
000029e0: PUSH2 0x29e8
000029e3: DUP2
000029e4: PUSH2 0x29d3
000029e7: JUMP
000029e8: JUMPDEST
000029e9: DUP2
000029ea: EQ
000029eb: PUSH2 0x29f2
000029ee: JUMPI
000029ef: PUSH0
000029f0: PUSH0
000029f1: REVERT
000029f2: JUMPDEST
000029f3: POP
000029f4: JUMP
000029f5: JUMPDEST
000029f6: PUSH0
000029f7: DUP2
000029f8: CALLDATALOAD
000029f9: SWAP1
000029fa: POP
000029fb: PUSH2 0x2a03
000029fe: DUP2
000029ff: PUSH2 0x29df
00002a02: JUMP
00002a03: JUMPDEST
00002a04: SWAP3
00002a05: SWAP2
00002a06: POP
00002a07: POP
00002a08: JUMP
00002a09: JUMPDEST
00002a0a: PUSH0
00002a0b: PUSH0
00002a0c: PUSH0
00002a0d: PUSH0
00002a0e: PUSH2 0x0100
00002a11: DUP6
00002a12: DUP8
00002a13: SUB
00002a14: SLT
00002a15: ISZERO
00002a16: PUSH2 0x2a22
00002a19: JUMPI
00002a1a: PUSH2 0x2a21
00002a1d: PUSH2 0x2587
00002a20: JUMP
00002a21: JUMPDEST
00002a22: JUMPDEST
00002a23: PUSH0
00002a24: PUSH2 0x2a2f
00002a27: DUP8
00002a28: DUP3
00002a29: DUP9
00002a2a: ADD
00002a2b: PUSH2 0x25d5
00002a2e: JUMP
00002a2f: JUMPDEST
00002a30: SWAP5
00002a31: POP
00002a32: POP
00002a33: PUSH1 0x20
00002a35: PUSH2 0x2a40
00002a38: DUP8
00002a39: DUP3
00002a3a: DUP9
00002a3b: ADD
00002a3c: PUSH2 0x25ed
00002a3f: JUMP
00002a40: JUMPDEST
00002a41: SWAP4
00002a42: POP
00002a43: POP
00002a44: PUSH1 0xc0
00002a46: PUSH2 0x2a51
00002a49: DUP8
00002a4a: DUP3
00002a4b: DUP9
00002a4c: ADD
00002a4d: PUSH2 0x29bf
00002a50: JUMP
00002a51: JUMPDEST
00002a52: SWAP3
00002a53: POP
00002a54: POP
00002a55: PUSH1 0xe0
00002a57: PUSH2 0x2a62
00002a5a: DUP8
00002a5b: DUP3
00002a5c: DUP9
00002a5d: ADD
00002a5e: PUSH2 0x29f5
00002a61: JUMP
00002a62: JUMPDEST
00002a63: SWAP2
00002a64: POP
00002a65: POP
00002a66: SWAP3
00002a67: SWAP6
00002a68: SWAP2
00002a69: SWAP5
00002a6a: POP
00002a6b: SWAP3
00002a6c: POP
00002a6d: JUMP
00002a6e: JUMPDEST
00002a6f: PUSH0
00002a70: PUSH0
00002a71: PUSH0
00002a72: PUSH0
00002a73: PUSH0
00002a74: PUSH0
00002a75: PUSH2 0x0160
00002a78: DUP8
00002a79: DUP10
00002a7a: SUB
00002a7b: SLT
00002a7c: ISZERO
00002a7d: PUSH2 0x2a89
00002a80: JUMPI
00002a81: PUSH2 0x2a88
00002a84: PUSH2 0x2587
00002a87: JUMP
00002a88: JUMPDEST
00002a89: JUMPDEST
00002a8a: PUSH0
00002a8b: PUSH2 0x2a96
00002a8e: DUP10
00002a8f: DUP3
00002a90: DUP11
00002a91: ADD
00002a92: PUSH2 0x25d5
00002a95: JUMP
00002a96: JUMPDEST
00002a97: SWAP7
00002a98: POP
00002a99: POP
00002a9a: PUSH1 0x20
00002a9c: PUSH2 0x2aa7
00002a9f: DUP10
00002aa0: DUP3
00002aa1: DUP11
00002aa2: ADD
00002aa3: PUSH2 0x25ed
00002aa6: JUMP
00002aa7: JUMPDEST
00002aa8: SWAP6
00002aa9: POP
00002aaa: POP
00002aab: PUSH1 0xc0
00002aad: PUSH2 0x2ab8
00002ab0: DUP10
00002ab1: DUP3
00002ab2: DUP11
00002ab3: ADD
00002ab4: PUSH2 0x2763
00002ab7: JUMP
00002ab8: JUMPDEST
00002ab9: SWAP5
00002aba: POP
00002abb: POP
00002abc: PUSH2 0x0120
00002abf: PUSH2 0x2aca
00002ac2: DUP10
00002ac3: DUP3
00002ac4: DUP11
00002ac5: ADD
00002ac6: PUSH2 0x28b1
00002ac9: JUMP
00002aca: JUMPDEST
00002acb: SWAP4
00002acc: POP
00002acd: POP
00002ace: PUSH2 0x0140
00002ad1: DUP8
00002ad2: ADD
00002ad3: CALLDATALOAD
00002ad4: PUSH8 0xffffffffffffffff
00002add: DUP2
00002ade: GT
00002adf: ISZERO
00002ae0: PUSH2 0x2aec
00002ae3: JUMPI
00002ae4: PUSH2 0x2aeb
00002ae7: PUSH2 0x258b
00002aea: JUMP
00002aeb: JUMPDEST
00002aec: JUMPDEST
00002aed: PUSH2 0x2af8
00002af0: DUP10
00002af1: DUP3
00002af2: DUP11
00002af3: ADD
00002af4: PUSH2 0x2635
00002af7: JUMP
00002af8: JUMPDEST
00002af9: SWAP3
00002afa: POP
00002afb: SWAP3
00002afc: POP
00002afd: POP
00002afe: SWAP3
00002aff: SWAP6
00002b00: POP
00002b01: SWAP3
00002b02: SWAP6
00002b03: POP
00002b04: SWAP3
00002b05: SWAP6
00002b06: JUMP
00002b07: JUMPDEST
00002b08: PUSH0
00002b09: DUP2
00002b0a: PUSH1 0x0f
00002b0c: SIGNEXTEND
00002b0d: SWAP1
00002b0e: POP
00002b0f: SWAP2
00002b10: SWAP1
00002b11: POP
00002b12: JUMP
00002b13: JUMPDEST
00002b14: PUSH2 0x2b1c
00002b17: DUP2
00002b18: PUSH2 0x2b07
00002b1b: JUMP
00002b1c: JUMPDEST
00002b1d: DUP3
00002b1e: MSTORE
00002b1f: POP
00002b20: POP
00002b21: JUMP
00002b22: JUMPDEST
00002b23: PUSH0
00002b24: PUSH1 0x40
00002b26: DUP3
00002b27: ADD
00002b28: SWAP1
00002b29: POP
00002b2a: PUSH2 0x2b35
00002b2d: PUSH0
00002b2e: DUP4
00002b2f: ADD
00002b30: DUP6
00002b31: PUSH2 0x273b
00002b34: JUMP
00002b35: JUMPDEST
00002b36: PUSH2 0x2b42
00002b39: PUSH1 0x20
00002b3b: DUP4
00002b3c: ADD
00002b3d: DUP5
00002b3e: PUSH2 0x2b13
00002b41: JUMP
00002b42: JUMPDEST
00002b43: SWAP4
00002b44: SWAP3
00002b45: POP
00002b46: POP
00002b47: POP
00002b48: JUMP
00002b49: JUMPDEST
00002b4a: PUSH0
00002b4b: DUP2
00002b4c: SWAP1
00002b4d: POP
00002b4e: SWAP2
00002b4f: SWAP1
00002b50: POP
00002b51: JUMP
00002b52: JUMPDEST
00002b53: PUSH2 0x2b5b
00002b56: DUP2
00002b57: PUSH2 0x2b49
00002b5a: JUMP
00002b5b: JUMPDEST
00002b5c: DUP2
00002b5d: EQ
00002b5e: PUSH2 0x2b65
00002b61: JUMPI
00002b62: PUSH0
00002b63: PUSH0
00002b64: REVERT
00002b65: JUMPDEST
00002b66: POP
00002b67: JUMP
00002b68: JUMPDEST
00002b69: PUSH0
00002b6a: DUP2
00002b6b: CALLDATALOAD
00002b6c: SWAP1
00002b6d: POP
00002b6e: PUSH2 0x2b76
00002b71: DUP2
00002b72: PUSH2 0x2b52
00002b75: JUMP
00002b76: JUMPDEST
00002b77: SWAP3
00002b78: SWAP2
00002b79: POP
00002b7a: POP
00002b7b: JUMP
00002b7c: JUMPDEST
00002b7d: PUSH0
00002b7e: PUSH0
00002b7f: PUSH0
00002b80: PUSH0
00002b81: PUSH0
00002b82: PUSH0
00002b83: PUSH2 0x0120
00002b86: DUP8
00002b87: DUP10
00002b88: SUB
00002b89: SLT
00002b8a: ISZERO
00002b8b: PUSH2 0x2b97
00002b8e: JUMPI
00002b8f: PUSH2 0x2b96
00002b92: PUSH2 0x2587
00002b95: JUMP
00002b96: JUMPDEST
00002b97: JUMPDEST
00002b98: PUSH0
00002b99: PUSH2 0x2ba4
00002b9c: DUP10
00002b9d: DUP3
00002b9e: DUP11
00002b9f: ADD
00002ba0: PUSH2 0x25d5
00002ba3: JUMP
00002ba4: JUMPDEST
00002ba5: SWAP7
00002ba6: POP
00002ba7: POP
00002ba8: PUSH1 0x20
00002baa: PUSH2 0x2bb5
00002bad: DUP10
00002bae: DUP3
00002baf: DUP11
00002bb0: ADD
00002bb1: PUSH2 0x25ed
00002bb4: JUMP
00002bb5: JUMPDEST
00002bb6: SWAP6
00002bb7: POP
00002bb8: POP
00002bb9: PUSH1 0xc0
00002bbb: PUSH2 0x2bc6
00002bbe: DUP10
00002bbf: DUP3
00002bc0: DUP11
00002bc1: ADD
00002bc2: PUSH2 0x2b68
00002bc5: JUMP
00002bc6: JUMPDEST
00002bc7: SWAP5
00002bc8: POP
00002bc9: POP
00002bca: PUSH1 0xe0
00002bcc: PUSH2 0x2bd7
00002bcf: DUP10
00002bd0: DUP3
00002bd1: DUP11
00002bd2: ADD
00002bd3: PUSH2 0x2b68
00002bd6: JUMP
00002bd7: JUMPDEST
00002bd8: SWAP4
00002bd9: POP
00002bda: POP
00002bdb: PUSH2 0x0100
00002bde: DUP8
00002bdf: ADD
00002be0: CALLDATALOAD
00002be1: PUSH8 0xffffffffffffffff
00002bea: DUP2
00002beb: GT
00002bec: ISZERO
00002bed: PUSH2 0x2bf9
00002bf0: JUMPI
00002bf1: PUSH2 0x2bf8
00002bf4: PUSH2 0x258b
00002bf7: JUMP
00002bf8: JUMPDEST
00002bf9: JUMPDEST
00002bfa: PUSH2 0x2c05
00002bfd: DUP10
00002bfe: DUP3
00002bff: DUP11
00002c00: ADD
00002c01: PUSH2 0x2635
00002c04: JUMP
00002c05: JUMPDEST
00002c06: SWAP3
00002c07: POP
00002c08: SWAP3
00002c09: POP
00002c0a: POP
00002c0b: SWAP3
00002c0c: SWAP6
00002c0d: POP
00002c0e: SWAP3
00002c0f: SWAP6
00002c10: POP
00002c11: SWAP3
00002c12: SWAP6
00002c13: JUMP
00002c14: JUMPDEST
00002c15: PUSH0
00002c16: PUSH0
00002c17: PUSH0
00002c18: PUSH1 0xe0
00002c1a: DUP5
00002c1b: DUP7
00002c1c: SUB
00002c1d: SLT
00002c1e: ISZERO
00002c1f: PUSH2 0x2c2b
00002c22: JUMPI
00002c23: PUSH2 0x2c2a
00002c26: PUSH2 0x2587
00002c29: JUMP
00002c2a: JUMPDEST
00002c2b: JUMPDEST
00002c2c: PUSH0
00002c2d: PUSH2 0x2c38
00002c30: DUP7
00002c31: DUP3
00002c32: DUP8
00002c33: ADD
00002c34: PUSH2 0x25d5
00002c37: JUMP
00002c38: JUMPDEST
00002c39: SWAP4
00002c3a: POP
00002c3b: POP
00002c3c: PUSH1 0x20
00002c3e: PUSH2 0x2c49
00002c41: DUP7
00002c42: DUP3
00002c43: DUP8
00002c44: ADD
00002c45: PUSH2 0x25ed
00002c48: JUMP
00002c49: JUMPDEST
00002c4a: SWAP3
00002c4b: POP
00002c4c: POP
00002c4d: PUSH1 0xc0
00002c4f: PUSH2 0x2c5a
00002c52: DUP7
00002c53: DUP3
00002c54: DUP8
00002c55: ADD
00002c56: PUSH2 0x29bf
00002c59: JUMP
00002c5a: JUMPDEST
00002c5b: SWAP2
00002c5c: POP
00002c5d: POP
00002c5e: SWAP3
00002c5f: POP
00002c60: SWAP3
00002c61: POP
00002c62: SWAP3
00002c63: JUMP
00002c64: JUMPDEST
00002c65: PUSH2 0x2c6d
00002c68: DUP2
00002c69: PUSH2 0x25ae
00002c6c: JUMP
00002c6d: JUMPDEST
00002c6e: DUP2
00002c6f: EQ
00002c70: PUSH2 0x2c77
00002c73: JUMPI
00002c74: PUSH0
00002c75: PUSH0
00002c76: REVERT
00002c77: JUMPDEST
00002c78: POP
00002c79: JUMP
00002c7a: JUMPDEST
00002c7b: PUSH0
00002c7c: DUP2
00002c7d: CALLDATALOAD
00002c7e: SWAP1
00002c7f: POP
00002c80: PUSH2 0x2c88
00002c83: DUP2
00002c84: PUSH2 0x2c64
00002c87: JUMP
00002c88: JUMPDEST
00002c89: SWAP3
00002c8a: SWAP2
00002c8b: POP
00002c8c: POP
00002c8d: JUMP
00002c8e: JUMPDEST
00002c8f: PUSH0
00002c90: DUP2
00002c91: ISZERO
00002c92: ISZERO
00002c93: SWAP1
00002c94: POP
00002c95: SWAP2
00002c96: SWAP1
00002c97: POP
00002c98: JUMP
00002c99: JUMPDEST
00002c9a: PUSH2 0x2ca2
00002c9d: DUP2
00002c9e: PUSH2 0x2c8e
00002ca1: JUMP
00002ca2: JUMPDEST
00002ca3: DUP2
00002ca4: EQ
00002ca5: PUSH2 0x2cac
00002ca8: JUMPI
00002ca9: PUSH0
00002caa: PUSH0
00002cab: REVERT
00002cac: JUMPDEST
00002cad: POP
00002cae: JUMP
00002caf: JUMPDEST
00002cb0: PUSH0
00002cb1: DUP2
00002cb2: CALLDATALOAD
00002cb3: SWAP1
00002cb4: POP
00002cb5: PUSH2 0x2cbd
00002cb8: DUP2
00002cb9: PUSH2 0x2c99
00002cbc: JUMP
00002cbd: JUMPDEST
00002cbe: SWAP3
00002cbf: SWAP2
00002cc0: POP
00002cc1: POP
00002cc2: JUMP
00002cc3: JUMPDEST
00002cc4: PUSH0
00002cc5: PUSH0
00002cc6: PUSH1 0x40
00002cc8: DUP4
00002cc9: DUP6
00002cca: SUB
00002ccb: SLT
00002ccc: ISZERO
00002ccd: PUSH2 0x2cd9
00002cd0: JUMPI
00002cd1: PUSH2 0x2cd8
00002cd4: PUSH2 0x2587
00002cd7: JUMP
00002cd8: JUMPDEST
00002cd9: JUMPDEST
00002cda: PUSH0
00002cdb: PUSH2 0x2ce6
00002cde: DUP6
00002cdf: DUP3
00002ce0: DUP7
00002ce1: ADD
00002ce2: PUSH2 0x2c7a
00002ce5: JUMP
00002ce6: JUMPDEST
00002ce7: SWAP3
00002ce8: POP
00002ce9: POP
00002cea: PUSH1 0x20
00002cec: PUSH2 0x2cf7
00002cef: DUP6
00002cf0: DUP3
00002cf1: DUP7
00002cf2: ADD
00002cf3: PUSH2 0x2caf
00002cf6: JUMP
00002cf7: JUMPDEST
00002cf8: SWAP2
00002cf9: POP
00002cfa: POP
00002cfb: SWAP3
00002cfc: POP
00002cfd: SWAP3
00002cfe: SWAP1
00002cff: POP
00002d00: JUMP
00002d01: JUMPDEST
00002d02: PUSH0
00002d03: PUSH1 0x20
00002d05: DUP3
00002d06: DUP5
00002d07: SUB
00002d08: SLT
00002d09: ISZERO
00002d0a: PUSH2 0x2d16
00002d0d: JUMPI
00002d0e: PUSH2 0x2d15
00002d11: PUSH2 0x2587
00002d14: JUMP
00002d15: JUMPDEST
00002d16: JUMPDEST
00002d17: PUSH0
00002d18: PUSH2 0x2d23
00002d1b: DUP5
00002d1c: DUP3
00002d1d: DUP6
00002d1e: ADD
00002d1f: PUSH2 0x25d5
00002d22: JUMP
00002d23: JUMPDEST
00002d24: SWAP2
00002d25: POP
00002d26: POP
00002d27: SWAP3
00002d28: SWAP2
00002d29: POP
00002d2a: POP
00002d2b: JUMP
00002d2c: JUMPDEST
00002d2d: PUSH0
00002d2e: PUSH0
00002d2f: PUSH1 0x40
00002d31: DUP4
00002d32: DUP6
00002d33: SUB
00002d34: SLT
00002d35: ISZERO
00002d36: PUSH2 0x2d42
00002d39: JUMPI
00002d3a: PUSH2 0x2d41
00002d3d: PUSH2 0x2587
00002d40: JUMP
00002d41: JUMPDEST
00002d42: JUMPDEST
00002d43: PUSH0
00002d44: PUSH2 0x2d4f
00002d47: DUP6
00002d48: DUP3
00002d49: DUP7
00002d4a: ADD
00002d4b: PUSH2 0x2c7a
00002d4e: JUMP
00002d4f: JUMPDEST
00002d50: SWAP3
00002d51: POP
00002d52: POP
00002d53: PUSH1 0x20
00002d55: PUSH2 0x2d60
00002d58: DUP6
00002d59: DUP3
00002d5a: DUP7
00002d5b: ADD
00002d5c: PUSH2 0x2b68
00002d5f: JUMP
00002d60: JUMPDEST
00002d61: SWAP2
00002d62: POP
00002d63: POP
00002d64: SWAP3
00002d65: POP
00002d66: SWAP3
00002d67: SWAP1
00002d68: POP
00002d69: JUMP
00002d6a: JUMPDEST
00002d6b: PUSH0
00002d6c: PUSH0
00002d6d: REVERT
00002d6e: JUMPDEST
00002d6f: PUSH0
00002d70: PUSH1 0x1f
00002d72: NOT
00002d73: PUSH1 0x1f
00002d75: DUP4
00002d76: ADD
00002d77: AND
00002d78: SWAP1
00002d79: POP
00002d7a: SWAP2
00002d7b: SWAP1
00002d7c: POP
00002d7d: JUMP
00002d7e: JUMPDEST
00002d7f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002da0: PUSH0
00002da1: MSTORE
00002da2: PUSH1 0x41
00002da4: PUSH1 0x04
00002da6: MSTORE
00002da7: PUSH1 0x24
00002da9: PUSH0
00002daa: REVERT
00002dab: JUMPDEST
00002dac: PUSH2 0x2db4
00002daf: DUP3
00002db0: PUSH2 0x2d6e
00002db3: JUMP
00002db4: JUMPDEST
00002db5: DUP2
00002db6: ADD
00002db7: DUP2
00002db8: DUP2
00002db9: LT
00002dba: PUSH8 0xffffffffffffffff
00002dc3: DUP3
00002dc4: GT
00002dc5: OR
00002dc6: ISZERO
00002dc7: PUSH2 0x2dd3
00002dca: JUMPI
00002dcb: PUSH2 0x2dd2
00002dce: PUSH2 0x2d7e
00002dd1: JUMP
00002dd2: JUMPDEST
00002dd3: JUMPDEST
00002dd4: DUP1
00002dd5: PUSH1 0x40
00002dd7: MSTORE
00002dd8: POP
00002dd9: POP
00002dda: POP
00002ddb: JUMP
00002ddc: JUMPDEST
00002ddd: PUSH0
00002dde: PUSH2 0x2de5
00002de1: PUSH2 0x257e
00002de4: JUMP
00002de5: JUMPDEST
00002de6: SWAP1
00002de7: POP
00002de8: PUSH2 0x2df1
00002deb: DUP3
00002dec: DUP3
00002ded: PUSH2 0x2dab
00002df0: JUMP
00002df1: JUMPDEST
00002df2: SWAP2
00002df3: SWAP1
00002df4: POP
00002df5: JUMP
00002df6: JUMPDEST
00002df7: PUSH2 0x2dff
00002dfa: DUP2
00002dfb: PUSH2 0x2849
00002dfe: JUMP
00002dff: JUMPDEST
00002e00: DUP2
00002e01: EQ
00002e02: PUSH2 0x2e09
00002e05: JUMPI
00002e06: PUSH0
00002e07: PUSH0
00002e08: REVERT
00002e09: JUMPDEST
00002e0a: POP
00002e0b: JUMP
00002e0c: JUMPDEST
00002e0d: PUSH0
00002e0e: DUP2
00002e0f: CALLDATALOAD
00002e10: SWAP1
00002e11: POP
00002e12: PUSH2 0x2e1a
00002e15: DUP2
00002e16: PUSH2 0x2df6
00002e19: JUMP
00002e1a: JUMPDEST
00002e1b: SWAP3
00002e1c: SWAP2
00002e1d: POP
00002e1e: POP
00002e1f: JUMP
00002e20: JUMPDEST
00002e21: PUSH0
00002e22: PUSH2 0x2e2a
00002e25: DUP3
00002e26: PUSH2 0x25ae
00002e29: JUMP
00002e2a: JUMPDEST
00002e2b: SWAP1
00002e2c: POP
00002e2d: SWAP2
00002e2e: SWAP1
00002e2f: POP
00002e30: JUMP
00002e31: JUMPDEST
00002e32: PUSH2 0x2e3a
00002e35: DUP2
00002e36: PUSH2 0x2e20
00002e39: JUMP
00002e3a: JUMPDEST
00002e3b: DUP2
00002e3c: EQ
00002e3d: PUSH2 0x2e44
00002e40: JUMPI
00002e41: PUSH0
00002e42: PUSH0
00002e43: REVERT
00002e44: JUMPDEST
00002e45: POP
00002e46: JUMP
00002e47: JUMPDEST
00002e48: PUSH0
00002e49: DUP2
00002e4a: CALLDATALOAD
00002e4b: SWAP1
00002e4c: POP
00002e4d: PUSH2 0x2e55
00002e50: DUP2
00002e51: PUSH2 0x2e31
00002e54: JUMP
00002e55: JUMPDEST
00002e56: SWAP3
00002e57: SWAP2
00002e58: POP
00002e59: POP
00002e5a: JUMP
00002e5b: JUMPDEST
00002e5c: PUSH0
00002e5d: PUSH1 0xa0
00002e5f: DUP3
00002e60: DUP5
00002e61: SUB
00002e62: SLT
00002e63: ISZERO
00002e64: PUSH2 0x2e70
00002e67: JUMPI
00002e68: PUSH2 0x2e6f
00002e6b: PUSH2 0x2d6a
00002e6e: JUMP
00002e6f: JUMPDEST
00002e70: JUMPDEST
00002e71: PUSH2 0x2e7a
00002e74: PUSH1 0xa0
00002e76: PUSH2 0x2ddc
00002e79: JUMP
00002e7a: JUMPDEST
00002e7b: SWAP1
00002e7c: POP
00002e7d: PUSH0
00002e7e: PUSH2 0x2e89
00002e81: DUP5
00002e82: DUP3
00002e83: DUP6
00002e84: ADD
00002e85: PUSH2 0x2c7a
00002e88: JUMP
00002e89: JUMPDEST
00002e8a: PUSH0
00002e8b: DUP4
00002e8c: ADD
00002e8d: MSTORE
00002e8e: POP
00002e8f: PUSH1 0x20
00002e91: PUSH2 0x2e9c
00002e94: DUP5
00002e95: DUP3
00002e96: DUP6
00002e97: ADD
00002e98: PUSH2 0x2c7a
00002e9b: JUMP
00002e9c: JUMPDEST
00002e9d: PUSH1 0x20
00002e9f: DUP4
00002ea0: ADD
00002ea1: MSTORE
00002ea2: POP
00002ea3: PUSH1 0x40
00002ea5: PUSH2 0x2eb0
00002ea8: DUP5
00002ea9: DUP3
00002eaa: DUP6
00002eab: ADD
00002eac: PUSH2 0x2e0c
00002eaf: JUMP
00002eb0: JUMPDEST
00002eb1: PUSH1 0x40
00002eb3: DUP4
00002eb4: ADD
00002eb5: MSTORE
00002eb6: POP
00002eb7: PUSH1 0x60
00002eb9: PUSH2 0x2ec4
00002ebc: DUP5
00002ebd: DUP3
00002ebe: DUP6
00002ebf: ADD
00002ec0: PUSH2 0x29f5
00002ec3: JUMP
00002ec4: JUMPDEST
00002ec5: PUSH1 0x60
00002ec7: DUP4
00002ec8: ADD
00002ec9: MSTORE
00002eca: POP
00002ecb: PUSH1 0x80
00002ecd: PUSH2 0x2ed8
00002ed0: DUP5
00002ed1: DUP3
00002ed2: DUP6
00002ed3: ADD
00002ed4: PUSH2 0x2e47
00002ed7: JUMP
00002ed8: JUMPDEST
00002ed9: PUSH1 0x80
00002edb: DUP4
00002edc: ADD
00002edd: MSTORE
00002ede: POP
00002edf: SWAP3
00002ee0: SWAP2
00002ee1: POP
00002ee2: POP
00002ee3: JUMP
00002ee4: JUMPDEST
00002ee5: PUSH0
00002ee6: PUSH1 0xa0
00002ee8: DUP3
00002ee9: DUP5
00002eea: SUB
00002eeb: SLT
00002eec: ISZERO
00002eed: PUSH2 0x2ef9
00002ef0: JUMPI
00002ef1: PUSH2 0x2ef8
00002ef4: PUSH2 0x2587
00002ef7: JUMP
00002ef8: JUMPDEST
00002ef9: JUMPDEST
00002efa: PUSH0
00002efb: PUSH2 0x2f06
00002efe: DUP5
00002eff: DUP3
00002f00: DUP6
00002f01: ADD
00002f02: PUSH2 0x2e5b
00002f05: JUMP
00002f06: JUMPDEST
00002f07: SWAP2
00002f08: POP
00002f09: POP
00002f0a: SWAP3
00002f0b: SWAP2
00002f0c: POP
00002f0d: POP
00002f0e: JUMP
00002f0f: JUMPDEST
00002f10: PUSH0
00002f11: PUSH1 0x20
00002f13: DUP3
00002f14: DUP5
00002f15: SUB
00002f16: SLT
00002f17: ISZERO
00002f18: PUSH2 0x2f24
00002f1b: JUMPI
00002f1c: PUSH2 0x2f23
00002f1f: PUSH2 0x2587
00002f22: JUMP
00002f23: JUMPDEST
00002f24: JUMPDEST
00002f25: PUSH0
00002f26: PUSH2 0x2f31
00002f29: DUP5
00002f2a: DUP3
00002f2b: DUP6
00002f2c: ADD
00002f2d: PUSH2 0x2caf
00002f30: JUMP
00002f31: JUMPDEST
00002f32: SWAP2
00002f33: POP
00002f34: POP
00002f35: SWAP3
00002f36: SWAP2
00002f37: POP
00002f38: POP
00002f39: JUMP
00002f3a: JUMPDEST
00002f3b: PUSH0
00002f3c: PUSH1 0x20
00002f3e: DUP3
00002f3f: DUP5
00002f40: SUB
00002f41: SLT
00002f42: ISZERO
00002f43: PUSH2 0x2f4f
00002f46: JUMPI
00002f47: PUSH2 0x2f4e
00002f4a: PUSH2 0x2587
00002f4d: JUMP
00002f4e: JUMPDEST
00002f4f: JUMPDEST
00002f50: PUSH0
00002f51: PUSH2 0x2f5c
00002f54: DUP5
00002f55: DUP3
00002f56: DUP6
00002f57: ADD
00002f58: PUSH2 0x2c7a
00002f5b: JUMP
00002f5c: JUMPDEST
00002f5d: SWAP2
00002f5e: POP
00002f5f: POP
00002f60: SWAP3
00002f61: SWAP2
00002f62: POP
00002f63: POP
00002f64: JUMP
00002f65: JUMPDEST
00002f66: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002f87: PUSH0
00002f88: MSTORE
00002f89: PUSH1 0x11
00002f8b: PUSH1 0x04
00002f8d: MSTORE
00002f8e: PUSH1 0x24
00002f90: PUSH0
00002f91: REVERT
00002f92: JUMPDEST
00002f93: PUSH0
00002f94: PUSH2 0x2f9c
00002f97: DUP3
00002f98: PUSH2 0x29d3
00002f9b: JUMP
00002f9c: JUMPDEST
00002f9d: SWAP2
00002f9e: POP
00002f9f: PUSH2 0x2fa7
00002fa2: DUP4
00002fa3: PUSH2 0x29d3
00002fa6: JUMP
00002fa7: JUMPDEST
00002fa8: SWAP3
00002fa9: POP
00002faa: DUP3
00002fab: DUP3
00002fac: ADD
00002fad: SWAP1
00002fae: POP
00002faf: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff800000
00002fd0: DUP2
00002fd1: SLT
00002fd2: PUSH3 0x7fffff
00002fd6: DUP3
00002fd7: SGT
00002fd8: OR
00002fd9: ISZERO
00002fda: PUSH2 0x2fe6
00002fdd: JUMPI
00002fde: PUSH2 0x2fe5
00002fe1: PUSH2 0x2f65
00002fe4: JUMP
00002fe5: JUMPDEST
00002fe6: JUMPDEST
00002fe7: SWAP3
00002fe8: SWAP2
00002fe9: POP
00002fea: POP
00002feb: JUMP
00002fec: JUMPDEST
00002fed: PUSH0
00002fee: PUSH2 0x2ffa
00002ff1: PUSH1 0x20
00002ff3: DUP5
00002ff4: ADD
00002ff5: DUP5
00002ff6: PUSH2 0x2c7a
00002ff9: JUMP
00002ffa: JUMPDEST
00002ffb: SWAP1
00002ffc: POP
00002ffd: SWAP3
00002ffe: SWAP2
00002fff: POP
00003000: POP
00003001: JUMP
00003002: JUMPDEST
00003003: PUSH0
00003004: PUSH2 0x301c
00003007: PUSH2 0x3017
0000300a: PUSH2 0x3012
0000300d: DUP5
0000300e: PUSH2 0x258f
00003011: JUMP
00003012: JUMPDEST
00003013: PUSH2 0x2810
00003016: JUMP
00003017: JUMPDEST
00003018: PUSH2 0x258f
0000301b: JUMP
0000301c: JUMPDEST
0000301d: SWAP1
0000301e: POP
0000301f: SWAP2
00003020: SWAP1
00003021: POP
00003022: JUMP
00003023: JUMPDEST
00003024: PUSH0
00003025: PUSH2 0x302d
00003028: DUP3
00003029: PUSH2 0x3002
0000302c: JUMP
0000302d: JUMPDEST
0000302e: SWAP1
0000302f: POP
00003030: SWAP2
00003031: SWAP1
00003032: POP
00003033: JUMP
00003034: JUMPDEST
00003035: PUSH0
00003036: PUSH2 0x303e
00003039: DUP3
0000303a: PUSH2 0x3023
0000303d: JUMP
0000303e: JUMPDEST
0000303f: SWAP1
00003040: POP
00003041: SWAP2
00003042: SWAP1
00003043: POP
00003044: JUMP
00003045: JUMPDEST
00003046: PUSH2 0x304e
00003049: DUP2
0000304a: PUSH2 0x3034
0000304d: JUMP
0000304e: JUMPDEST
0000304f: DUP3
00003050: MSTORE
00003051: POP
00003052: POP
00003053: JUMP
00003054: JUMPDEST
00003055: PUSH0
00003056: PUSH2 0x3062
00003059: PUSH1 0x20
0000305b: DUP5
0000305c: ADD
0000305d: DUP5
0000305e: PUSH2 0x2e0c
00003061: JUMP
00003062: JUMPDEST
00003063: SWAP1
00003064: POP
00003065: SWAP3
00003066: SWAP2
00003067: POP
00003068: POP
00003069: JUMP
0000306a: JUMPDEST
0000306b: PUSH2 0x3073
0000306e: DUP2
0000306f: PUSH2 0x2849
00003072: JUMP
00003073: JUMPDEST
00003074: DUP3
00003075: MSTORE
00003076: POP
00003077: POP
00003078: JUMP
00003079: JUMPDEST
0000307a: PUSH0
0000307b: PUSH2 0x3087
0000307e: PUSH1 0x20
00003080: DUP5
00003081: ADD
00003082: DUP5
00003083: PUSH2 0x29f5
00003086: JUMP
00003087: JUMPDEST
00003088: SWAP1
00003089: POP
0000308a: SWAP3
0000308b: SWAP2
0000308c: POP
0000308d: POP
0000308e: JUMP
0000308f: JUMPDEST
00003090: PUSH2 0x3098
00003093: DUP2
00003094: PUSH2 0x29d3
00003097: JUMP
00003098: JUMPDEST
00003099: DUP3
0000309a: MSTORE
0000309b: POP
0000309c: POP
0000309d: JUMP
0000309e: JUMPDEST
0000309f: PUSH0
000030a0: PUSH2 0x30ac
000030a3: PUSH1 0x20
000030a5: DUP5
000030a6: ADD
000030a7: DUP5
000030a8: PUSH2 0x2e47
000030ab: JUMP
000030ac: JUMPDEST
000030ad: SWAP1
000030ae: POP
000030af: SWAP3
000030b0: SWAP2
000030b1: POP
000030b2: POP
000030b3: JUMP
000030b4: JUMPDEST
000030b5: PUSH0
000030b6: PUSH2 0x30be
000030b9: DUP3
000030ba: PUSH2 0x3023
000030bd: JUMP
000030be: JUMPDEST
000030bf: SWAP1
000030c0: POP
000030c1: SWAP2
000030c2: SWAP1
000030c3: POP
000030c4: JUMP
000030c5: JUMPDEST
000030c6: PUSH2 0x30ce
000030c9: DUP2
000030ca: PUSH2 0x30b4
000030cd: JUMP
000030ce: JUMPDEST
000030cf: DUP3
000030d0: MSTORE
000030d1: POP
000030d2: POP
000030d3: JUMP
000030d4: JUMPDEST
000030d5: PUSH1 0xa0
000030d7: DUP3
000030d8: ADD
000030d9: PUSH2 0x30e4
000030dc: PUSH0
000030dd: DUP4
000030de: ADD
000030df: DUP4
000030e0: PUSH2 0x2fec
000030e3: JUMP
000030e4: JUMPDEST
000030e5: PUSH2 0x30f0
000030e8: PUSH0
000030e9: DUP6
000030ea: ADD
000030eb: DUP3
000030ec: PUSH2 0x3045
000030ef: JUMP
000030f0: JUMPDEST
000030f1: POP
000030f2: PUSH2 0x30fe
000030f5: PUSH1 0x20
000030f7: DUP4
000030f8: ADD
000030f9: DUP4
000030fa: PUSH2 0x2fec
000030fd: JUMP
000030fe: JUMPDEST
000030ff: PUSH2 0x310b
00003102: PUSH1 0x20
00003104: DUP6
00003105: ADD
00003106: DUP3
00003107: PUSH2 0x3045
0000310a: JUMP
0000310b: JUMPDEST
0000310c: POP
0000310d: PUSH2 0x3119
00003110: PUSH1 0x40
00003112: DUP4
00003113: ADD
00003114: DUP4
00003115: PUSH2 0x3054
00003118: JUMP
00003119: JUMPDEST
0000311a: PUSH2 0x3126
0000311d: PUSH1 0x40
0000311f: DUP6
00003120: ADD
00003121: DUP3
00003122: PUSH2 0x306a
00003125: JUMP
00003126: JUMPDEST
00003127: POP
00003128: PUSH2 0x3134
0000312b: PUSH1 0x60
0000312d: DUP4
0000312e: ADD
0000312f: DUP4
00003130: PUSH2 0x3079
00003133: JUMP
00003134: JUMPDEST
00003135: PUSH2 0x3141
00003138: PUSH1 0x60
0000313a: DUP6
0000313b: ADD
0000313c: DUP3
0000313d: PUSH2 0x308f
00003140: JUMP
00003141: JUMPDEST
00003142: POP
00003143: PUSH2 0x314f
00003146: PUSH1 0x80
00003148: DUP4
00003149: ADD
0000314a: DUP4
0000314b: PUSH2 0x309e
0000314e: JUMP
0000314f: JUMPDEST
00003150: PUSH2 0x315c
00003153: PUSH1 0x80
00003155: DUP6
00003156: ADD
00003157: DUP3
00003158: PUSH2 0x30c5
0000315b: JUMP
0000315c: JUMPDEST
0000315d: POP
0000315e: POP
0000315f: POP
00003160: POP
00003161: JUMP
00003162: JUMPDEST
00003163: PUSH2 0x316b
00003166: DUP2
00003167: PUSH2 0x2807
0000316a: JUMP
0000316b: JUMPDEST
0000316c: DUP3
0000316d: MSTORE
0000316e: POP
0000316f: POP
00003170: JUMP
00003171: JUMPDEST
00003172: PUSH0
00003173: DUP2
00003174: SWAP1
00003175: POP
00003176: SWAP2
00003177: SWAP1
00003178: POP
00003179: JUMP
0000317a: JUMPDEST
0000317b: PUSH2 0x3183
0000317e: DUP2
0000317f: PUSH2 0x3171
00003182: JUMP
00003183: JUMPDEST
00003184: DUP3
00003185: MSTORE
00003186: POP
00003187: POP
00003188: JUMP
00003189: JUMPDEST
0000318a: PUSH1 0x80
0000318c: DUP3
0000318d: ADD
0000318e: PUSH0
0000318f: DUP3
00003190: ADD
00003191: MLOAD
00003192: PUSH2 0x319d
00003195: PUSH0
00003196: DUP6
00003197: ADD
00003198: DUP3
00003199: PUSH2 0x308f
0000319c: JUMP
0000319d: JUMPDEST
0000319e: POP
0000319f: PUSH1 0x20
000031a1: DUP3
000031a2: ADD
000031a3: MLOAD
000031a4: PUSH2 0x31b0
000031a7: PUSH1 0x20
000031a9: DUP6
000031aa: ADD
000031ab: DUP3
000031ac: PUSH2 0x308f
000031af: JUMP
000031b0: JUMPDEST
000031b1: POP
000031b2: PUSH1 0x40
000031b4: DUP3
000031b5: ADD
000031b6: MLOAD
000031b7: PUSH2 0x31c3
000031ba: PUSH1 0x40
000031bc: DUP6
000031bd: ADD
000031be: DUP3
000031bf: PUSH2 0x3162
000031c2: JUMP
000031c3: JUMPDEST
000031c4: POP
000031c5: PUSH1 0x60
000031c7: DUP3
000031c8: ADD
000031c9: MLOAD
000031ca: PUSH2 0x31d6
000031cd: PUSH1 0x60
000031cf: DUP6
000031d0: ADD
000031d1: DUP3
000031d2: PUSH2 0x317a
000031d5: JUMP
000031d6: JUMPDEST
000031d7: POP
000031d8: POP
000031d9: POP
000031da: POP
000031db: JUMP
000031dc: JUMPDEST
000031dd: PUSH0
000031de: DUP3
000031df: DUP3
000031e0: MSTORE
000031e1: PUSH1 0x20
000031e3: DUP3
000031e4: ADD
000031e5: SWAP1
000031e6: POP
000031e7: SWAP3
000031e8: SWAP2
000031e9: POP
000031ea: POP
000031eb: JUMP
000031ec: JUMPDEST
000031ed: POP
000031ee: JUMP
000031ef: JUMPDEST
000031f0: PUSH0
000031f1: PUSH2 0x31fa
000031f4: PUSH0
000031f5: DUP4
000031f6: PUSH2 0x31dc
000031f9: JUMP
000031fa: JUMPDEST
000031fb: SWAP2
000031fc: POP
000031fd: PUSH2 0x3205
00003200: DUP3
00003201: PUSH2 0x31ec
00003204: JUMP
00003205: JUMPDEST
00003206: PUSH0
00003207: DUP3
00003208: ADD
00003209: SWAP1
0000320a: POP
0000320b: SWAP2
0000320c: SWAP1
0000320d: POP
0000320e: JUMP
0000320f: JUMPDEST
00003210: PUSH0
00003211: PUSH2 0x0140
00003214: DUP3
00003215: ADD
00003216: SWAP1
00003217: POP
00003218: PUSH2 0x3223
0000321b: PUSH0
0000321c: DUP4
0000321d: ADD
0000321e: DUP6
0000321f: PUSH2 0x30d4
00003222: JUMP
00003223: JUMPDEST
00003224: PUSH2 0x3230
00003227: PUSH1 0xa0
00003229: DUP4
0000322a: ADD
0000322b: DUP5
0000322c: PUSH2 0x3189
0000322f: JUMP
00003230: JUMPDEST
00003231: DUP2
00003232: DUP2
00003233: SUB
00003234: PUSH2 0x0120
00003237: DUP4
00003238: ADD
00003239: MSTORE
0000323a: PUSH2 0x3242
0000323d: DUP2
0000323e: PUSH2 0x31ef
00003241: JUMP
00003242: JUMPDEST
00003243: SWAP1
00003244: POP
00003245: SWAP4
00003246: SWAP3
00003247: POP
00003248: POP
00003249: POP
0000324a: JUMP
0000324b: JUMPDEST
0000324c: PUSH0
0000324d: DUP2
0000324e: MLOAD
0000324f: SWAP1
00003250: POP
00003251: PUSH2 0x3259
00003254: DUP2
00003255: PUSH2 0x289b
00003258: JUMP
00003259: JUMPDEST
0000325a: SWAP3
0000325b: SWAP2
0000325c: POP
0000325d: POP
0000325e: JUMP
0000325f: JUMPDEST
00003260: PUSH0
00003261: PUSH0
00003262: PUSH1 0x40
00003264: DUP4
00003265: DUP6
00003266: SUB
00003267: SLT
00003268: ISZERO
00003269: PUSH2 0x3275
0000326c: JUMPI
0000326d: PUSH2 0x3274
00003270: PUSH2 0x2587
00003273: JUMP
00003274: JUMPDEST
00003275: JUMPDEST
00003276: PUSH0
00003277: PUSH2 0x3282
0000327a: DUP6
0000327b: DUP3
0000327c: DUP7
0000327d: ADD
0000327e: PUSH2 0x324b
00003281: JUMP
00003282: JUMPDEST
00003283: SWAP3
00003284: POP
00003285: POP
00003286: PUSH1 0x20
00003288: PUSH2 0x3293
0000328b: DUP6
0000328c: DUP3
0000328d: DUP7
0000328e: ADD
0000328f: PUSH2 0x324b
00003292: JUMP
00003293: JUMPDEST
00003294: SWAP2
00003295: POP
00003296: POP
00003297: SWAP3
00003298: POP
00003299: SWAP3
0000329a: SWAP1
0000329b: POP
0000329c: JUMP
0000329d: JUMPDEST
0000329e: PUSH2 0x32a6
000032a1: DUP2
000032a2: PUSH2 0x3034
000032a5: JUMP
000032a6: JUMPDEST
000032a7: DUP3
000032a8: MSTORE
000032a9: POP
000032aa: POP
000032ab: JUMP
000032ac: JUMPDEST
000032ad: PUSH0
000032ae: PUSH1 0x20
000032b0: DUP3
000032b1: ADD
000032b2: SWAP1
000032b3: POP
000032b4: PUSH2 0x32bf
000032b7: PUSH0
000032b8: DUP4
000032b9: ADD
000032ba: DUP5
000032bb: PUSH2 0x329d
000032be: JUMP
000032bf: JUMPDEST
000032c0: SWAP3
000032c1: SWAP2
000032c2: POP
000032c3: POP
000032c4: JUMP
000032c5: JUMPDEST
000032c6: PUSH0
000032c7: PUSH2 0x32cf
000032ca: DUP3
000032cb: PUSH2 0x2b07
000032ce: JUMP
000032cf: JUMPDEST
000032d0: SWAP2
000032d1: POP
000032d2: PUSH32 0xffffffffffffffffffffffffffffffff80000000000000000000000000000000
000032f3: DUP3
000032f4: SUB
000032f5: PUSH2 0x3301
000032f8: JUMPI
000032f9: PUSH2 0x3300
000032fc: PUSH2 0x2f65
000032ff: JUMP
00003300: JUMPDEST
00003301: JUMPDEST
00003302: DUP2
00003303: PUSH0
00003304: SUB
00003305: SWAP1
00003306: POP
00003307: SWAP2
00003308: SWAP1
00003309: POP
0000330a: JUMP
0000330b: JUMPDEST
0000330c: PUSH0
0000330d: DUP2
0000330e: MLOAD
0000330f: SWAP1
00003310: POP
00003311: PUSH2 0x3319
00003314: DUP2
00003315: PUSH2 0x2b52
00003318: JUMP
00003319: JUMPDEST
0000331a: SWAP3
0000331b: SWAP2
0000331c: POP
0000331d: POP
0000331e: JUMP
0000331f: JUMPDEST
00003320: PUSH0
00003321: PUSH1 0x20
00003323: DUP3
00003324: DUP5
00003325: SUB
00003326: SLT
00003327: ISZERO
00003328: PUSH2 0x3334
0000332b: JUMPI
0000332c: PUSH2 0x3333
0000332f: PUSH2 0x2587
00003332: JUMP
00003333: JUMPDEST
00003334: JUMPDEST
00003335: PUSH0
00003336: PUSH2 0x3341
00003339: DUP5
0000333a: DUP3
0000333b: DUP6
0000333c: ADD
0000333d: PUSH2 0x330b
00003340: JUMP
00003341: JUMPDEST
00003342: SWAP2
00003343: POP
00003344: POP
00003345: SWAP3
00003346: SWAP2
00003347: POP
00003348: POP
00003349: JUMP
0000334a: JUMPDEST
0000334b: PUSH0
0000334c: PUSH2 0x3354
0000334f: DUP3
00003350: PUSH2 0x2b07
00003353: JUMP
00003354: JUMPDEST
00003355: SWAP2
00003356: POP
00003357: PUSH2 0x335f
0000335a: DUP4
0000335b: PUSH2 0x2b07
0000335e: JUMP
0000335f: JUMPDEST
00003360: SWAP3
00003361: POP
00003362: DUP3
00003363: DUP3
00003364: ADD
00003365: SWAP1
00003366: POP
00003367: PUSH32 0xffffffffffffffffffffffffffffffff80000000000000000000000000000000
00003388: DUP2
00003389: SLT
0000338a: PUSH16 0x7fffffffffffffffffffffffffffffff
0000339b: DUP3
0000339c: SGT
0000339d: OR
0000339e: ISZERO
0000339f: PUSH2 0x33ab
000033a2: JUMPI
000033a3: PUSH2 0x33aa
000033a6: PUSH2 0x2f65
000033a9: JUMP
000033aa: JUMPDEST
000033ab: JUMPDEST
000033ac: SWAP3
000033ad: SWAP2
000033ae: POP
000033af: POP
000033b0: JUMP
000033b1: JUMPDEST
000033b2: PUSH2 0x33ba
000033b5: DUP2
000033b6: PUSH2 0x25ae
000033b9: JUMP
000033ba: JUMPDEST
000033bb: DUP3
000033bc: MSTORE
000033bd: POP
000033be: POP
000033bf: JUMP
000033c0: JUMPDEST
000033c1: PUSH0
000033c2: PUSH16 0xffffffffffffffffffffffffffffffff
000033d3: DUP3
000033d4: AND
000033d5: SWAP1
000033d6: POP
000033d7: SWAP2
000033d8: SWAP1
000033d9: POP
000033da: JUMP
000033db: JUMPDEST
000033dc: PUSH0
000033dd: PUSH2 0x33f5
000033e0: PUSH2 0x33f0
000033e3: PUSH2 0x33eb
000033e6: DUP5
000033e7: PUSH2 0x33c0
000033ea: JUMP
000033eb: JUMPDEST
000033ec: PUSH2 0x2810
000033ef: JUMP
000033f0: JUMPDEST
000033f1: PUSH2 0x2b49
000033f4: JUMP
000033f5: JUMPDEST
000033f6: SWAP1
000033f7: POP
000033f8: SWAP2
000033f9: SWAP1
000033fa: POP
000033fb: JUMP
000033fc: JUMPDEST
000033fd: PUSH2 0x3405
00003400: DUP2
00003401: PUSH2 0x33db
00003404: JUMP
00003405: JUMPDEST
00003406: DUP3
00003407: MSTORE
00003408: POP
00003409: POP
0000340a: JUMP
0000340b: JUMPDEST
0000340c: PUSH0
0000340d: PUSH1 0x60
0000340f: DUP3
00003410: ADD
00003411: SWAP1
00003412: POP
00003413: PUSH2 0x341e
00003416: PUSH0
00003417: DUP4
00003418: ADD
00003419: DUP7
0000341a: PUSH2 0x329d
0000341d: JUMP
0000341e: JUMPDEST
0000341f: PUSH2 0x342b
00003422: PUSH1 0x20
00003424: DUP4
00003425: ADD
00003426: DUP6
00003427: PUSH2 0x33b1
0000342a: JUMP
0000342b: JUMPDEST
0000342c: PUSH2 0x3438
0000342f: PUSH1 0x40
00003431: DUP4
00003432: ADD
00003433: DUP5
00003434: PUSH2 0x33fc
00003437: JUMP
00003438: JUMPDEST
00003439: SWAP5
0000343a: SWAP4
0000343b: POP
0000343c: POP
0000343d: POP
0000343e: POP
0000343f: JUMP
00003440: JUMPDEST
00003441: PUSH0
00003442: PUSH1 0x20
00003444: DUP3
00003445: DUP5
00003446: SUB
00003447: SLT
00003448: ISZERO
00003449: PUSH2 0x3455
0000344c: JUMPI
0000344d: PUSH2 0x3454
00003450: PUSH2 0x2587
00003453: JUMP
00003454: JUMPDEST
00003455: JUMPDEST
00003456: PUSH0
00003457: PUSH2 0x3462
0000345a: DUP5
0000345b: DUP3
0000345c: DUP6
0000345d: ADD
0000345e: PUSH2 0x2e0c
00003461: JUMP
00003462: JUMPDEST
00003463: SWAP2
00003464: POP
00003465: POP
00003466: SWAP3
00003467: SWAP2
00003468: POP
00003469: POP
0000346a: JUMP
0000346b: JUMPDEST
0000346c: PUSH0
0000346d: PUSH1 0x20
0000346f: DUP3
00003470: ADD
00003471: SWAP1
00003472: POP
00003473: PUSH2 0x347e
00003476: PUSH0
00003477: DUP4
00003478: ADD
00003479: DUP5
0000347a: PUSH2 0x2857
0000347d: JUMP
0000347e: JUMPDEST
0000347f: SWAP3
00003480: SWAP2
00003481: POP
00003482: POP
00003483: JUMP
00003484: JUMPDEST
00003485: PUSH0
00003486: PUSH1 0x20
00003488: DUP3
00003489: DUP5
0000348a: SUB
0000348b: SLT
0000348c: ISZERO
0000348d: PUSH2 0x3499
00003490: JUMPI
00003491: PUSH2 0x3498
00003494: PUSH2 0x2587
00003497: JUMP
00003498: JUMPDEST
00003499: JUMPDEST
0000349a: PUSH0
0000349b: PUSH2 0x34a6
0000349e: DUP5
0000349f: DUP3
000034a0: DUP6
000034a1: ADD
000034a2: PUSH2 0x29f5
000034a5: JUMP
000034a6: JUMPDEST
000034a7: SWAP2
000034a8: POP
000034a9: POP
000034aa: SWAP3
000034ab: SWAP2
000034ac: POP
000034ad: POP
000034ae: JUMP
000034af: JUMPDEST
000034b0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000034d1: PUSH0
000034d2: MSTORE
000034d3: PUSH1 0x12
000034d5: PUSH1 0x04
000034d7: MSTORE
000034d8: PUSH1 0x24
000034da: PUSH0
000034db: REVERT
000034dc: JUMPDEST
000034dd: PUSH0
000034de: PUSH2 0x34e6
000034e1: DUP3
000034e2: PUSH2 0x29d3
000034e5: JUMP
000034e6: JUMPDEST
000034e7: SWAP2
000034e8: POP
000034e9: PUSH2 0x34f1
000034ec: DUP4
000034ed: PUSH2 0x29d3
000034f0: JUMP
000034f1: JUMPDEST
000034f2: SWAP3
000034f3: POP
000034f4: DUP3
000034f5: PUSH2 0x3501
000034f8: JUMPI
000034f9: PUSH2 0x3500
000034fc: PUSH2 0x34af
000034ff: JUMP
00003500: JUMPDEST
00003501: JUMPDEST
00003502: DUP3
00003503: DUP3
00003504: SMOD
00003505: SWAP1
00003506: POP
00003507: SWAP3
00003508: SWAP2
00003509: POP
0000350a: POP
0000350b: JUMP
0000350c: JUMPDEST
0000350d: PUSH2 0x3515
00003510: DUP2
00003511: PUSH2 0x29d3
00003514: JUMP
00003515: JUMPDEST
00003516: DUP3
00003517: MSTORE
00003518: POP
00003519: POP
0000351a: JUMP
0000351b: JUMPDEST
0000351c: PUSH0
0000351d: PUSH1 0x20
0000351f: DUP3
00003520: ADD
00003521: SWAP1
00003522: POP
00003523: PUSH2 0x352e
00003526: PUSH0
00003527: DUP4
00003528: ADD
00003529: DUP5
0000352a: PUSH2 0x350c
0000352d: JUMP
0000352e: JUMPDEST
0000352f: SWAP3
00003530: SWAP2
00003531: POP
00003532: POP
00003533: JUMP
00003534: JUMPDEST
00003535: PUSH2 0x353d
00003538: DUP2
00003539: PUSH2 0x258f
0000353c: JUMP
0000353d: JUMPDEST
0000353e: DUP3
0000353f: MSTORE
00003540: POP
00003541: POP
00003542: JUMP
00003543: JUMPDEST
00003544: PUSH0
00003545: PUSH1 0x20
00003547: DUP3
00003548: ADD
00003549: SWAP1
0000354a: POP
0000354b: PUSH2 0x3556
0000354e: PUSH0
0000354f: DUP4
00003550: ADD
00003551: DUP5
00003552: PUSH2 0x3534
00003555: JUMP
00003556: JUMPDEST
00003557: SWAP3
00003558: SWAP2
00003559: POP
0000355a: POP
0000355b: JUMP
0000355c: JUMPDEST
0000355d: PUSH2 0x3565
00003560: DUP2
00003561: PUSH2 0x3171
00003564: JUMP
00003565: JUMPDEST
00003566: DUP3
00003567: MSTORE
00003568: POP
00003569: POP
0000356a: JUMP
0000356b: JUMPDEST
0000356c: PUSH0
0000356d: PUSH1 0x20
0000356f: DUP3
00003570: ADD
00003571: SWAP1
00003572: POP
00003573: PUSH2 0x357e
00003576: PUSH0
00003577: DUP4
00003578: ADD
00003579: DUP5
0000357a: PUSH2 0x355c
0000357d: JUMP
0000357e: JUMPDEST
0000357f: SWAP3
00003580: SWAP2
00003581: POP
00003582: POP
00003583: JUMP
00003584: JUMPDEST
00003585: PUSH2 0x358d
00003588: DUP2
00003589: PUSH2 0x3171
0000358c: JUMP
0000358d: JUMPDEST
0000358e: DUP2
0000358f: EQ
00003590: PUSH2 0x3597
00003593: JUMPI
00003594: PUSH0
00003595: PUSH0
00003596: REVERT
00003597: JUMPDEST
00003598: POP
00003599: JUMP
0000359a: JUMPDEST
0000359b: PUSH0
0000359c: DUP2
0000359d: MLOAD
0000359e: SWAP1
0000359f: POP
000035a0: PUSH2 0x35a8
000035a3: DUP2
000035a4: PUSH2 0x3584
000035a7: JUMP
000035a8: JUMPDEST
000035a9: SWAP3
000035aa: SWAP2
000035ab: POP
000035ac: POP
000035ad: JUMP
000035ae: JUMPDEST
000035af: PUSH0
000035b0: PUSH1 0x20
000035b2: DUP3
000035b3: DUP5
000035b4: SUB
000035b5: SLT
000035b6: ISZERO
000035b7: PUSH2 0x35c3
000035ba: JUMPI
000035bb: PUSH2 0x35c2
000035be: PUSH2 0x2587
000035c1: JUMP
000035c2: JUMPDEST
000035c3: JUMPDEST
000035c4: PUSH0
000035c5: PUSH2 0x35d0
000035c8: DUP5
000035c9: DUP3
000035ca: DUP6
000035cb: ADD
000035cc: PUSH2 0x359a
000035cf: JUMP
000035d0: JUMPDEST
000035d1: SWAP2
000035d2: POP
000035d3: POP
000035d4: SWAP3
000035d5: SWAP2
000035d6: POP
000035d7: POP
000035d8: JUMP
000035d9: JUMPDEST
000035da: PUSH0
000035db: PUSH1 0x20
000035dd: DUP3
000035de: ADD
000035df: SWAP1
000035e0: POP
000035e1: PUSH2 0x35ec
000035e4: PUSH0
000035e5: DUP4
000035e6: ADD
000035e7: DUP5
000035e8: PUSH2 0x33b1
000035eb: JUMP
000035ec: JUMPDEST
000035ed: SWAP3
000035ee: SWAP2
000035ef: POP
000035f0: POP
000035f1: JUMP
000035f2: JUMPDEST
000035f3: PUSH0
000035f4: PUSH2 0x35fc
000035f7: DUP3
000035f8: PUSH2 0x258f
000035fb: JUMP
000035fc: JUMPDEST
000035fd: SWAP2
000035fe: POP
000035ff: PUSH2 0x3607
00003602: DUP4
00003603: PUSH2 0x258f
00003606: JUMP
00003607: JUMPDEST
00003608: SWAP3
00003609: POP
0000360a: DUP3
0000360b: DUP3
0000360c: SUB
0000360d: SWAP1
0000360e: POP
0000360f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003624: DUP2
00003625: GT
00003626: ISZERO
00003627: PUSH2 0x3633
0000362a: JUMPI
0000362b: PUSH2 0x3632
0000362e: PUSH2 0x2f65
00003631: JUMP
00003632: JUMPDEST
00003633: JUMPDEST
00003634: SWAP3
00003635: SWAP2
00003636: POP
00003637: POP
00003638: JUMP
00003639: JUMPDEST
0000363a: PUSH2 0x3642
0000363d: DUP2
0000363e: PUSH2 0x2b49
00003641: JUMP
00003642: JUMPDEST
00003643: DUP3
00003644: MSTORE
00003645: POP
00003646: POP
00003647: JUMP
00003648: JUMPDEST
00003649: PUSH0
0000364a: PUSH1 0x20
0000364c: DUP3
0000364d: ADD
0000364e: SWAP1
0000364f: POP
00003650: PUSH2 0x365b
00003653: PUSH0
00003654: DUP4
00003655: ADD
00003656: DUP5
00003657: PUSH2 0x3639
0000365a: JUMP
0000365b: JUMPDEST
0000365c: SWAP3
0000365d: SWAP2
0000365e: POP
0000365f: POP
00003660: JUMP
00003661: JUMPDEST
00003662: PUSH0
00003663: DUP2
00003664: SWAP1
00003665: POP
00003666: SWAP2
00003667: SWAP1
00003668: POP
00003669: JUMP
0000366a: JUMPDEST
0000366b: PUSH2 0x367b
0000366e: PUSH2 0x3676
00003671: DUP3
00003672: PUSH2 0x3171
00003675: JUMP
00003676: JUMPDEST
00003677: PUSH2 0x3661
0000367a: JUMP
0000367b: JUMPDEST
0000367c: DUP3
0000367d: MSTORE
0000367e: POP
0000367f: POP
00003680: JUMP
00003681: JUMPDEST
00003682: PUSH0
00003683: PUSH2 0x368c
00003686: DUP3
00003687: DUP6
00003688: PUSH2 0x366a
0000368b: JUMP
0000368c: JUMPDEST
0000368d: PUSH1 0x20
0000368f: DUP3
00003690: ADD
00003691: SWAP2
00003692: POP
00003693: PUSH2 0x369c
00003696: DUP3
00003697: DUP5
00003698: PUSH2 0x366a
0000369b: JUMP
0000369c: JUMPDEST
0000369d: PUSH1 0x20
0000369f: DUP3
000036a0: ADD
000036a1: SWAP2
000036a2: POP
000036a3: DUP2
000036a4: SWAP1
000036a5: POP
000036a6: SWAP4
000036a7: SWAP3
000036a8: POP
000036a9: POP
000036aa: POP
000036ab: JUMP
000036ac: INVALID
000036ad: LOG2
000036ae: PUSH5 0x6970667358
000036b4: UNKNOWN(0x22)
000036b5: SLT
000036b6: KECCAK256
000036b7: UNKNOWN(0xCC)
000036b8: CHAINID
000036b9: PUSH2 0xe134
000036bc: PUSH16 0xdd51932a761a4a2170d374a09e848eb0
000036cd: UNKNOWN(0x25)
000036ce: PUSH17 0x7b5dd2d8523fc00864736f6c6343000821
000036e0: STOP
000036e1: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xe628d600051d3883060e70270ab1fbcb3d7c767a2dc1effb0d6b54f3011d473f
call_targets: 0x00f8e87bd467b7b436b95b78a08335ede40ceac0
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xe628d600051d3883060e70270ab1fbcb3d7c767a2dc1effb0d6b54f3011d473f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x00f8e87bd467b7b436b95b78a08335ede40ceac0"
    ],
    "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": "0xe158b735",
            "selector": "0xe158b735",
            "calldata_variants": [
                "0xe158b735",
                "0xe158b7350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe1b4af69",
            "selector": "0xe1b4af69",
            "calldata_variants": [
                "0xe1b4af69",
                "0xe1b4af690000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3fef3a3",
            "selector": "0xf3fef3a3",
            "calldata_variants": [
                "0xf3fef3a3",
                "0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb47b2fb1",
            "selector": "0xb47b2fb1",
            "calldata_variants": [
                "0xb47b2fb1",
                "0xb47b2fb10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb6a8b0fa",
            "selector": "0xb6a8b0fa",
            "calldata_variants": [
                "0xb6a8b0fa",
                "0xb6a8b0fa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdc98354e",
            "selector": "0xdc98354e",
            "calldata_variants": [
                "0xdc98354e",
                "0xdc98354e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6c2bbe7e",
            "selector": "0x6c2bbe7e",
            "calldata_variants": [
                "0x6c2bbe7e",
                "0x6c2bbe7e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2399,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2676,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2914,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 12,
    "guards_detected": [
        {
            "pc": 872,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1128,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1386,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3650,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3999,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5315,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 12
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xe628d600051d3883060e70270ab1fbcb3d7c767a2dc1effb0d6b54f3011d473f
call_targets: 0x00f8e87bd467b7b436b95b78a08335ede40ceac0
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xe628d600051d3883060e70270ab1fbcb3d7c767a2dc1effb0d6b54f3011d473f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x00f8e87bd467b7b436b95b78a08335ede40ceac0"
    ],
    "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": "0xe158b735",
            "selector": "0xe158b735",
            "calldata_variants": [
                "0xe158b735",
                "0xe158b7350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe1b4af69",
            "selector": "0xe1b4af69",
            "calldata_variants": [
                "0xe1b4af69",
                "0xe1b4af690000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3fef3a3",
            "selector": "0xf3fef3a3",
            "calldata_variants": [
                "0xf3fef3a3",
                "0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb47b2fb1",
            "selector": "0xb47b2fb1",
            "calldata_variants": [
                "0xb47b2fb1",
                "0xb47b2fb10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb6a8b0fa",
            "selector": "0xb6a8b0fa",
            "calldata_variants": [
                "0xb6a8b0fa",
                "0xb6a8b0fa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdc98354e",
            "selector": "0xdc98354e",
            "calldata_variants": [
                "0xdc98354e",
                "0xdc98354e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6c2bbe7e",
            "selector": "0x6c2bbe7e",
            "calldata_variants": [
                "0x6c2bbe7e",
                "0x6c2bbe7e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2399,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2676,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2914,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 12,
    "guards_detected": [
        {
            "pc": 872,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1128,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1386,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3650,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3999,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5315,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no —
view
evidence_json 
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 7
}
info other cast Heavy CALL-family usage 55 no —
view
evidence_json 
{
    "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
    "call_family_count": 14
}