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

Analysis Run

019b3844-98e4-704b-a12c-e71a6c651fd2

complete
Chain ID
1
Address
Block Number
Created
Fri, Dec 19, 2025 8:19 PM
Review Summary

What survived the funnel

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

Confirmed
0
Validated
0
Source
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
13991 artifact.fetch complete 1 / 3 4 months ago
13992 tool.cast_disasm complete 1 / 3 4 months ago
57261 analysis.bundle complete 1 / 3 2 weeks ago
57262 capability.graph complete 1 / 3 2 weeks ago
57263 detector.run complete 1 / 3 2 weeks ago
57264 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
6
EXT*/BALANCE
4
Total opcodes
7847
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0166
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x4f6ccce7
00000019: GT
0000001a: PUSH2 0x00d1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x9d110530
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xb1ac1347
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xb1ac1347
0000003a: EQ
0000003b: PUSH2 0x0551
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xb88d4fde
00000045: EQ
00000046: PUSH2 0x057c
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xc87b56dd
00000050: EQ
00000051: PUSH2 0x05a5
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe985e9c5
0000005b: EQ
0000005c: PUSH2 0x05e2
0000005f: JUMPI
00000060: PUSH2 0x0166
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x9d110530
0000006b: EQ
0000006c: PUSH2 0x04d4
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa22cb465
00000076: EQ
00000077: PUSH2 0x04fd
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xaf88d599
00000081: EQ
00000082: PUSH2 0x0526
00000085: JUMPI
00000086: PUSH2 0x0166
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x4f6ccce7
00000091: EQ
00000092: PUSH2 0x038a
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x6352211e
0000009c: EQ
0000009d: PUSH2 0x03c7
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x70a08231
000000a7: EQ
000000a8: PUSH2 0x0404
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x73dfd221
000000b2: EQ
000000b3: PUSH2 0x0441
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x7e551b75
000000bd: EQ
000000be: PUSH2 0x046c
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x95d89b41
000000c8: EQ
000000c9: PUSH2 0x04a9
000000cc: JUMPI
000000cd: PUSH2 0x0166
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x23b872dd
000000d8: GT
000000d9: PUSH2 0x0123
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x23b872dd
000000e3: EQ
000000e4: PUSH2 0x028d
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x2f745c59
000000ee: EQ
000000ef: PUSH2 0x02b6
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x3e54bacb
000000f9: EQ
000000fa: PUSH2 0x02f3
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x42842e0e
00000104: EQ
00000105: PUSH2 0x031c
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x441a3e70
0000010f: EQ
00000110: PUSH2 0x0345
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x4d474898
0000011a: EQ
0000011b: PUSH2 0x036e
0000011e: JUMPI
0000011f: PUSH2 0x0166
00000122: JUMP
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0x01ffc9a7
0000012a: EQ
0000012b: PUSH2 0x016b
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x06fdde03
00000135: EQ
00000136: PUSH2 0x01a8
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x081812fc
00000140: EQ
00000141: PUSH2 0x01d3
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x095ea7b3
0000014b: EQ
0000014c: PUSH2 0x0210
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x0fdd2ec8
00000156: EQ
00000157: PUSH2 0x0239
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x18160ddd
00000161: EQ
00000162: PUSH2 0x0262
00000165: JUMPI
00000166: JUMPDEST
00000167: PUSH1 0x00
00000169: DUP1
0000016a: REVERT
0000016b: JUMPDEST
0000016c: CALLVALUE
0000016d: DUP1
0000016e: ISZERO
0000016f: PUSH2 0x0177
00000172: JUMPI
00000173: PUSH1 0x00
00000175: DUP1
00000176: REVERT
00000177: JUMPDEST
00000178: POP
00000179: PUSH2 0x0192
0000017c: PUSH1 0x04
0000017e: DUP1
0000017f: CALLDATASIZE
00000180: SUB
00000181: DUP2
00000182: ADD
00000183: SWAP1
00000184: PUSH2 0x018d
00000187: SWAP2
00000188: SWAP1
00000189: PUSH2 0x2a33
0000018c: JUMP
0000018d: JUMPDEST
0000018e: PUSH2 0x061f
00000191: JUMP
00000192: JUMPDEST
00000193: PUSH1 0x40
00000195: MLOAD
00000196: PUSH2 0x019f
00000199: SWAP2
0000019a: SWAP1
0000019b: PUSH2 0x3101
0000019e: JUMP
0000019f: JUMPDEST
000001a0: PUSH1 0x40
000001a2: MLOAD
000001a3: DUP1
000001a4: SWAP2
000001a5: SUB
000001a6: SWAP1
000001a7: RETURN
000001a8: JUMPDEST
000001a9: CALLVALUE
000001aa: DUP1
000001ab: ISZERO
000001ac: PUSH2 0x01b4
000001af: JUMPI
000001b0: PUSH1 0x00
000001b2: DUP1
000001b3: REVERT
000001b4: JUMPDEST
000001b5: POP
000001b6: PUSH2 0x01bd
000001b9: PUSH2 0x0687
000001bc: JUMP
000001bd: JUMPDEST
000001be: PUSH1 0x40
000001c0: MLOAD
000001c1: PUSH2 0x01ca
000001c4: SWAP2
000001c5: SWAP1
000001c6: PUSH2 0x3137
000001c9: JUMP
000001ca: JUMPDEST
000001cb: PUSH1 0x40
000001cd: MLOAD
000001ce: DUP1
000001cf: SWAP2
000001d0: SUB
000001d1: SWAP1
000001d2: RETURN
000001d3: JUMPDEST
000001d4: CALLVALUE
000001d5: DUP1
000001d6: ISZERO
000001d7: PUSH2 0x01df
000001da: JUMPI
000001db: PUSH1 0x00
000001dd: DUP1
000001de: REVERT
000001df: JUMPDEST
000001e0: POP
000001e1: PUSH2 0x01fa
000001e4: PUSH1 0x04
000001e6: DUP1
000001e7: CALLDATASIZE
000001e8: SUB
000001e9: DUP2
000001ea: ADD
000001eb: SWAP1
000001ec: PUSH2 0x01f5
000001ef: SWAP2
000001f0: SWAP1
000001f1: PUSH2 0x2a85
000001f4: JUMP
000001f5: JUMPDEST
000001f6: PUSH2 0x0719
000001f9: JUMP
000001fa: JUMPDEST
000001fb: PUSH1 0x40
000001fd: MLOAD
000001fe: PUSH2 0x0207
00000201: SWAP2
00000202: SWAP1
00000203: PUSH2 0x309a
00000206: JUMP
00000207: JUMPDEST
00000208: PUSH1 0x40
0000020a: MLOAD
0000020b: DUP1
0000020c: SWAP2
0000020d: SUB
0000020e: SWAP1
0000020f: RETURN
00000210: JUMPDEST
00000211: CALLVALUE
00000212: DUP1
00000213: ISZERO
00000214: PUSH2 0x021c
00000217: JUMPI
00000218: PUSH1 0x00
0000021a: DUP1
0000021b: REVERT
0000021c: JUMPDEST
0000021d: POP
0000021e: PUSH2 0x0237
00000221: PUSH1 0x04
00000223: DUP1
00000224: CALLDATASIZE
00000225: SUB
00000226: DUP2
00000227: ADD
00000228: SWAP1
00000229: PUSH2 0x0232
0000022c: SWAP2
0000022d: SWAP1
0000022e: PUSH2 0x2959
00000231: JUMP
00000232: JUMPDEST
00000233: PUSH2 0x079e
00000236: JUMP
00000237: JUMPDEST
00000238: STOP
00000239: JUMPDEST
0000023a: CALLVALUE
0000023b: DUP1
0000023c: ISZERO
0000023d: PUSH2 0x0245
00000240: JUMPI
00000241: PUSH1 0x00
00000243: DUP1
00000244: REVERT
00000245: JUMPDEST
00000246: POP
00000247: PUSH2 0x0260
0000024a: PUSH1 0x04
0000024c: DUP1
0000024d: CALLDATASIZE
0000024e: SUB
0000024f: DUP2
00000250: ADD
00000251: SWAP1
00000252: PUSH2 0x025b
00000255: SWAP2
00000256: SWAP1
00000257: PUSH2 0x2995
0000025a: JUMP
0000025b: JUMPDEST
0000025c: PUSH2 0x095c
0000025f: JUMP
00000260: JUMPDEST
00000261: STOP
00000262: JUMPDEST
00000263: CALLVALUE
00000264: DUP1
00000265: ISZERO
00000266: PUSH2 0x026e
00000269: JUMPI
0000026a: PUSH1 0x00
0000026c: DUP1
0000026d: REVERT
0000026e: JUMPDEST
0000026f: POP
00000270: PUSH2 0x0277
00000273: PUSH2 0x09d8
00000276: JUMP
00000277: JUMPDEST
00000278: PUSH1 0x40
0000027a: MLOAD
0000027b: PUSH2 0x0284
0000027e: SWAP2
0000027f: SWAP1
00000280: PUSH2 0x3319
00000283: JUMP
00000284: JUMPDEST
00000285: PUSH1 0x40
00000287: MLOAD
00000288: DUP1
00000289: SWAP2
0000028a: SUB
0000028b: SWAP1
0000028c: RETURN
0000028d: JUMPDEST
0000028e: CALLVALUE
0000028f: DUP1
00000290: ISZERO
00000291: PUSH2 0x0299
00000294: JUMPI
00000295: PUSH1 0x00
00000297: DUP1
00000298: REVERT
00000299: JUMPDEST
0000029a: POP
0000029b: PUSH2 0x02b4
0000029e: PUSH1 0x04
000002a0: DUP1
000002a1: CALLDATASIZE
000002a2: SUB
000002a3: DUP2
000002a4: ADD
000002a5: SWAP1
000002a6: PUSH2 0x02af
000002a9: SWAP2
000002aa: SWAP1
000002ab: PUSH2 0x2853
000002ae: JUMP
000002af: JUMPDEST
000002b0: PUSH2 0x09e5
000002b3: JUMP
000002b4: JUMPDEST
000002b5: STOP
000002b6: JUMPDEST
000002b7: CALLVALUE
000002b8: DUP1
000002b9: ISZERO
000002ba: PUSH2 0x02c2
000002bd: JUMPI
000002be: PUSH1 0x00
000002c0: DUP1
000002c1: REVERT
000002c2: JUMPDEST
000002c3: POP
000002c4: PUSH2 0x02dd
000002c7: PUSH1 0x04
000002c9: DUP1
000002ca: CALLDATASIZE
000002cb: SUB
000002cc: DUP2
000002cd: ADD
000002ce: SWAP1
000002cf: PUSH2 0x02d8
000002d2: SWAP2
000002d3: SWAP1
000002d4: PUSH2 0x2959
000002d7: JUMP
000002d8: JUMPDEST
000002d9: PUSH2 0x11db
000002dc: JUMP
000002dd: JUMPDEST
000002de: PUSH1 0x40
000002e0: MLOAD
000002e1: PUSH2 0x02ea
000002e4: SWAP2
000002e5: SWAP1
000002e6: PUSH2 0x3319
000002e9: JUMP
000002ea: JUMPDEST
000002eb: PUSH1 0x40
000002ed: MLOAD
000002ee: DUP1
000002ef: SWAP2
000002f0: SUB
000002f1: SWAP1
000002f2: RETURN
000002f3: JUMPDEST
000002f4: CALLVALUE
000002f5: DUP1
000002f6: ISZERO
000002f7: PUSH2 0x02ff
000002fa: JUMPI
000002fb: PUSH1 0x00
000002fd: DUP1
000002fe: REVERT
000002ff: JUMPDEST
00000300: POP
00000301: PUSH2 0x031a
00000304: PUSH1 0x04
00000306: DUP1
00000307: CALLDATASIZE
00000308: SUB
00000309: DUP2
0000030a: ADD
0000030b: SWAP1
0000030c: PUSH2 0x0315
0000030f: SWAP2
00000310: SWAP1
00000311: PUSH2 0x2aae
00000314: JUMP
00000315: JUMPDEST
00000316: PUSH2 0x12e8
00000319: JUMP
0000031a: JUMPDEST
0000031b: STOP
0000031c: JUMPDEST
0000031d: CALLVALUE
0000031e: DUP1
0000031f: ISZERO
00000320: PUSH2 0x0328
00000323: JUMPI
00000324: PUSH1 0x00
00000326: DUP1
00000327: REVERT
00000328: JUMPDEST
00000329: POP
0000032a: PUSH2 0x0343
0000032d: PUSH1 0x04
0000032f: DUP1
00000330: CALLDATASIZE
00000331: SUB
00000332: DUP2
00000333: ADD
00000334: SWAP1
00000335: PUSH2 0x033e
00000338: SWAP2
00000339: SWAP1
0000033a: PUSH2 0x2853
0000033d: JUMP
0000033e: JUMPDEST
0000033f: PUSH2 0x1309
00000342: JUMP
00000343: JUMPDEST
00000344: STOP
00000345: JUMPDEST
00000346: CALLVALUE
00000347: DUP1
00000348: ISZERO
00000349: PUSH2 0x0351
0000034c: JUMPI
0000034d: PUSH1 0x00
0000034f: DUP1
00000350: REVERT
00000351: JUMPDEST
00000352: POP
00000353: PUSH2 0x036c
00000356: PUSH1 0x04
00000358: DUP1
00000359: CALLDATASIZE
0000035a: SUB
0000035b: DUP2
0000035c: ADD
0000035d: SWAP1
0000035e: PUSH2 0x0367
00000361: SWAP2
00000362: SWAP1
00000363: PUSH2 0x2aae
00000366: JUMP
00000367: JUMPDEST
00000368: PUSH2 0x1329
0000036b: JUMP
0000036c: JUMPDEST
0000036d: STOP
0000036e: JUMPDEST
0000036f: PUSH2 0x0388
00000372: PUSH1 0x04
00000374: DUP1
00000375: CALLDATASIZE
00000376: SUB
00000377: DUP2
00000378: ADD
00000379: SWAP1
0000037a: PUSH2 0x0383
0000037d: SWAP2
0000037e: SWAP1
0000037f: PUSH2 0x2a85
00000382: JUMP
00000383: JUMPDEST
00000384: PUSH2 0x137d
00000387: JUMP
00000388: JUMPDEST
00000389: STOP
0000038a: JUMPDEST
0000038b: CALLVALUE
0000038c: DUP1
0000038d: ISZERO
0000038e: PUSH2 0x0396
00000391: JUMPI
00000392: PUSH1 0x00
00000394: DUP1
00000395: REVERT
00000396: JUMPDEST
00000397: POP
00000398: PUSH2 0x03b1
0000039b: PUSH1 0x04
0000039d: DUP1
0000039e: CALLDATASIZE
0000039f: SUB
000003a0: DUP2
000003a1: ADD
000003a2: SWAP1
000003a3: PUSH2 0x03ac
000003a6: SWAP2
000003a7: SWAP1
000003a8: PUSH2 0x2a85
000003ab: JUMP
000003ac: JUMPDEST
000003ad: PUSH2 0x1605
000003b0: JUMP
000003b1: JUMPDEST
000003b2: PUSH1 0x40
000003b4: MLOAD
000003b5: PUSH2 0x03be
000003b8: SWAP2
000003b9: SWAP1
000003ba: PUSH2 0x3319
000003bd: JUMP
000003be: JUMPDEST
000003bf: PUSH1 0x40
000003c1: MLOAD
000003c2: DUP1
000003c3: SWAP2
000003c4: SUB
000003c5: SWAP1
000003c6: RETURN
000003c7: JUMPDEST
000003c8: CALLVALUE
000003c9: DUP1
000003ca: ISZERO
000003cb: PUSH2 0x03d3
000003ce: JUMPI
000003cf: PUSH1 0x00
000003d1: DUP1
000003d2: REVERT
000003d3: JUMPDEST
000003d4: POP
000003d5: PUSH2 0x03ee
000003d8: PUSH1 0x04
000003da: DUP1
000003db: CALLDATASIZE
000003dc: SUB
000003dd: DUP2
000003de: ADD
000003df: SWAP1
000003e0: PUSH2 0x03e9
000003e3: SWAP2
000003e4: SWAP1
000003e5: PUSH2 0x2a85
000003e8: JUMP
000003e9: JUMPDEST
000003ea: PUSH2 0x1669
000003ed: JUMP
000003ee: JUMPDEST
000003ef: PUSH1 0x40
000003f1: MLOAD
000003f2: PUSH2 0x03fb
000003f5: SWAP2
000003f6: SWAP1
000003f7: PUSH2 0x309a
000003fa: JUMP
000003fb: JUMPDEST
000003fc: PUSH1 0x40
000003fe: MLOAD
000003ff: DUP1
00000400: SWAP2
00000401: SUB
00000402: SWAP1
00000403: RETURN
00000404: JUMPDEST
00000405: CALLVALUE
00000406: DUP1
00000407: ISZERO
00000408: PUSH2 0x0410
0000040b: JUMPI
0000040c: PUSH1 0x00
0000040e: DUP1
0000040f: REVERT
00000410: JUMPDEST
00000411: POP
00000412: PUSH2 0x042b
00000415: PUSH1 0x04
00000417: DUP1
00000418: CALLDATASIZE
00000419: SUB
0000041a: DUP2
0000041b: ADD
0000041c: SWAP1
0000041d: PUSH2 0x0426
00000420: SWAP2
00000421: SWAP1
00000422: PUSH2 0x27c5
00000425: JUMP
00000426: JUMPDEST
00000427: PUSH2 0x16ee
0000042a: JUMP
0000042b: JUMPDEST
0000042c: PUSH1 0x40
0000042e: MLOAD
0000042f: PUSH2 0x0438
00000432: SWAP2
00000433: SWAP1
00000434: PUSH2 0x3319
00000437: JUMP
00000438: JUMPDEST
00000439: PUSH1 0x40
0000043b: MLOAD
0000043c: DUP1
0000043d: SWAP2
0000043e: SUB
0000043f: SWAP1
00000440: RETURN
00000441: JUMPDEST
00000442: CALLVALUE
00000443: DUP1
00000444: ISZERO
00000445: PUSH2 0x044d
00000448: JUMPI
00000449: PUSH1 0x00
0000044b: DUP1
0000044c: REVERT
0000044d: JUMPDEST
0000044e: POP
0000044f: PUSH2 0x0456
00000452: PUSH2 0x1737
00000455: JUMP
00000456: JUMPDEST
00000457: PUSH1 0x40
00000459: MLOAD
0000045a: PUSH2 0x0463
0000045d: SWAP2
0000045e: SWAP1
0000045f: PUSH2 0x3319
00000462: JUMP
00000463: JUMPDEST
00000464: PUSH1 0x40
00000466: MLOAD
00000467: DUP1
00000468: SWAP2
00000469: SUB
0000046a: SWAP1
0000046b: RETURN
0000046c: JUMPDEST
0000046d: CALLVALUE
0000046e: DUP1
0000046f: ISZERO
00000470: PUSH2 0x0478
00000473: JUMPI
00000474: PUSH1 0x00
00000476: DUP1
00000477: REVERT
00000478: JUMPDEST
00000479: POP
0000047a: PUSH2 0x0493
0000047d: PUSH1 0x04
0000047f: DUP1
00000480: CALLDATASIZE
00000481: SUB
00000482: DUP2
00000483: ADD
00000484: SWAP1
00000485: PUSH2 0x048e
00000488: SWAP2
00000489: SWAP1
0000048a: PUSH2 0x2a85
0000048d: JUMP
0000048e: JUMPDEST
0000048f: PUSH2 0x173d
00000492: JUMP
00000493: JUMPDEST
00000494: PUSH1 0x40
00000496: MLOAD
00000497: PUSH2 0x04a0
0000049a: SWAP2
0000049b: SWAP1
0000049c: PUSH2 0x311c
0000049f: JUMP
000004a0: JUMPDEST
000004a1: PUSH1 0x40
000004a3: MLOAD
000004a4: DUP1
000004a5: SWAP2
000004a6: SUB
000004a7: SWAP1
000004a8: RETURN
000004a9: JUMPDEST
000004aa: CALLVALUE
000004ab: DUP1
000004ac: ISZERO
000004ad: PUSH2 0x04b5
000004b0: JUMPI
000004b1: PUSH1 0x00
000004b3: DUP1
000004b4: REVERT
000004b5: JUMPDEST
000004b6: POP
000004b7: PUSH2 0x04be
000004ba: PUSH2 0x17e6
000004bd: JUMP
000004be: JUMPDEST
000004bf: PUSH1 0x40
000004c1: MLOAD
000004c2: PUSH2 0x04cb
000004c5: SWAP2
000004c6: SWAP1
000004c7: PUSH2 0x3137
000004ca: JUMP
000004cb: JUMPDEST
000004cc: PUSH1 0x40
000004ce: MLOAD
000004cf: DUP1
000004d0: SWAP2
000004d1: SUB
000004d2: SWAP1
000004d3: RETURN
000004d4: JUMPDEST
000004d5: CALLVALUE
000004d6: DUP1
000004d7: ISZERO
000004d8: PUSH2 0x04e0
000004db: JUMPI
000004dc: PUSH1 0x00
000004de: DUP1
000004df: REVERT
000004e0: JUMPDEST
000004e1: POP
000004e2: PUSH2 0x04fb
000004e5: PUSH1 0x04
000004e7: DUP1
000004e8: CALLDATASIZE
000004e9: SUB
000004ea: DUP2
000004eb: ADD
000004ec: SWAP1
000004ed: PUSH2 0x04f6
000004f0: SWAP2
000004f1: SWAP1
000004f2: PUSH2 0x2995
000004f5: JUMP
000004f6: JUMPDEST
000004f7: PUSH2 0x1878
000004fa: JUMP
000004fb: JUMPDEST
000004fc: STOP
000004fd: JUMPDEST
000004fe: CALLVALUE
000004ff: DUP1
00000500: ISZERO
00000501: PUSH2 0x0509
00000504: JUMPI
00000505: PUSH1 0x00
00000507: DUP1
00000508: REVERT
00000509: JUMPDEST
0000050a: POP
0000050b: PUSH2 0x0524
0000050e: PUSH1 0x04
00000510: DUP1
00000511: CALLDATASIZE
00000512: SUB
00000513: DUP2
00000514: ADD
00000515: SWAP1
00000516: PUSH2 0x051f
00000519: SWAP2
0000051a: SWAP1
0000051b: PUSH2 0x291d
0000051e: JUMP
0000051f: JUMPDEST
00000520: PUSH2 0x19c7
00000523: JUMP
00000524: JUMPDEST
00000525: STOP
00000526: JUMPDEST
00000527: CALLVALUE
00000528: DUP1
00000529: ISZERO
0000052a: PUSH2 0x0532
0000052d: JUMPI
0000052e: PUSH1 0x00
00000530: DUP1
00000531: REVERT
00000532: JUMPDEST
00000533: POP
00000534: PUSH2 0x053b
00000537: PUSH2 0x1ac4
0000053a: JUMP
0000053b: JUMPDEST
0000053c: PUSH1 0x40
0000053e: MLOAD
0000053f: PUSH2 0x0548
00000542: SWAP2
00000543: SWAP1
00000544: PUSH2 0x3319
00000547: JUMP
00000548: JUMPDEST
00000549: PUSH1 0x40
0000054b: MLOAD
0000054c: DUP1
0000054d: SWAP2
0000054e: SUB
0000054f: SWAP1
00000550: RETURN
00000551: JUMPDEST
00000552: CALLVALUE
00000553: DUP1
00000554: ISZERO
00000555: PUSH2 0x055d
00000558: JUMPI
00000559: PUSH1 0x00
0000055b: DUP1
0000055c: REVERT
0000055d: JUMPDEST
0000055e: POP
0000055f: PUSH2 0x0566
00000562: PUSH2 0x1aca
00000565: JUMP
00000566: JUMPDEST
00000567: PUSH1 0x40
00000569: MLOAD
0000056a: PUSH2 0x0573
0000056d: SWAP2
0000056e: SWAP1
0000056f: PUSH2 0x311c
00000572: JUMP
00000573: JUMPDEST
00000574: PUSH1 0x40
00000576: MLOAD
00000577: DUP1
00000578: SWAP2
00000579: SUB
0000057a: SWAP1
0000057b: RETURN
0000057c: JUMPDEST
0000057d: CALLVALUE
0000057e: DUP1
0000057f: ISZERO
00000580: PUSH2 0x0588
00000583: JUMPI
00000584: PUSH1 0x00
00000586: DUP1
00000587: REVERT
00000588: JUMPDEST
00000589: POP
0000058a: PUSH2 0x05a3
0000058d: PUSH1 0x04
0000058f: DUP1
00000590: CALLDATASIZE
00000591: SUB
00000592: DUP2
00000593: ADD
00000594: SWAP1
00000595: PUSH2 0x059e
00000598: SWAP2
00000599: SWAP1
0000059a: PUSH2 0x28a2
0000059d: JUMP
0000059e: JUMPDEST
0000059f: PUSH2 0x1ad0
000005a2: JUMP
000005a3: JUMPDEST
000005a4: STOP
000005a5: JUMPDEST
000005a6: CALLVALUE
000005a7: DUP1
000005a8: ISZERO
000005a9: PUSH2 0x05b1
000005ac: JUMPI
000005ad: PUSH1 0x00
000005af: DUP1
000005b0: REVERT
000005b1: JUMPDEST
000005b2: POP
000005b3: PUSH2 0x05cc
000005b6: PUSH1 0x04
000005b8: DUP1
000005b9: CALLDATASIZE
000005ba: SUB
000005bb: DUP2
000005bc: ADD
000005bd: SWAP1
000005be: PUSH2 0x05c7
000005c1: SWAP2
000005c2: SWAP1
000005c3: PUSH2 0x2a85
000005c6: JUMP
000005c7: JUMPDEST
000005c8: PUSH2 0x1c2e
000005cb: JUMP
000005cc: JUMPDEST
000005cd: PUSH1 0x40
000005cf: MLOAD
000005d0: PUSH2 0x05d9
000005d3: SWAP2
000005d4: SWAP1
000005d5: PUSH2 0x3137
000005d8: JUMP
000005d9: JUMPDEST
000005da: PUSH1 0x40
000005dc: MLOAD
000005dd: DUP1
000005de: SWAP2
000005df: SUB
000005e0: SWAP1
000005e1: RETURN
000005e2: JUMPDEST
000005e3: CALLVALUE
000005e4: DUP1
000005e5: ISZERO
000005e6: PUSH2 0x05ee
000005e9: JUMPI
000005ea: PUSH1 0x00
000005ec: DUP1
000005ed: REVERT
000005ee: JUMPDEST
000005ef: POP
000005f0: PUSH2 0x0609
000005f3: PUSH1 0x04
000005f5: DUP1
000005f6: CALLDATASIZE
000005f7: SUB
000005f8: DUP2
000005f9: ADD
000005fa: SWAP1
000005fb: PUSH2 0x0604
000005fe: SWAP2
000005ff: SWAP1
00000600: PUSH2 0x2817
00000603: JUMP
00000604: JUMPDEST
00000605: PUSH2 0x1e2c
00000608: JUMP
00000609: JUMPDEST
0000060a: PUSH1 0x40
0000060c: MLOAD
0000060d: PUSH2 0x0616
00000610: SWAP2
00000611: SWAP1
00000612: PUSH2 0x3101
00000615: JUMP
00000616: JUMPDEST
00000617: PUSH1 0x40
00000619: MLOAD
0000061a: DUP1
0000061b: SWAP2
0000061c: SUB
0000061d: SWAP1
0000061e: RETURN
0000061f: JUMPDEST
00000620: PUSH1 0x00
00000622: PUSH1 0x14
00000624: PUSH1 0x00
00000626: DUP4
00000627: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000644: NOT
00000645: AND
00000646: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000663: NOT
00000664: AND
00000665: DUP2
00000666: MSTORE
00000667: PUSH1 0x20
00000669: ADD
0000066a: SWAP1
0000066b: DUP2
0000066c: MSTORE
0000066d: PUSH1 0x20
0000066f: ADD
00000670: PUSH1 0x00
00000672: KECCAK256
00000673: PUSH1 0x00
00000675: SWAP1
00000676: SLOAD
00000677: SWAP1
00000678: PUSH2 0x0100
0000067b: EXP
0000067c: SWAP1
0000067d: DIV
0000067e: PUSH1 0xff
00000680: AND
00000681: SWAP1
00000682: POP
00000683: SWAP2
00000684: SWAP1
00000685: POP
00000686: JUMP
00000687: JUMPDEST
00000688: PUSH1 0x60
0000068a: PUSH1 0x09
0000068c: DUP1
0000068d: SLOAD
0000068e: PUSH2 0x0696
00000691: SWAP1
00000692: PUSH2 0x37a1
00000695: JUMP
00000696: JUMPDEST
00000697: DUP1
00000698: PUSH1 0x1f
0000069a: ADD
0000069b: PUSH1 0x20
0000069d: DUP1
0000069e: SWAP2
0000069f: DIV
000006a0: MUL
000006a1: PUSH1 0x20
000006a3: ADD
000006a4: PUSH1 0x40
000006a6: MLOAD
000006a7: SWAP1
000006a8: DUP2
000006a9: ADD
000006aa: PUSH1 0x40
000006ac: MSTORE
000006ad: DUP1
000006ae: SWAP3
000006af: SWAP2
000006b0: SWAP1
000006b1: DUP2
000006b2: DUP2
000006b3: MSTORE
000006b4: PUSH1 0x20
000006b6: ADD
000006b7: DUP3
000006b8: DUP1
000006b9: SLOAD
000006ba: PUSH2 0x06c2
000006bd: SWAP1
000006be: PUSH2 0x37a1
000006c1: JUMP
000006c2: JUMPDEST
000006c3: DUP1
000006c4: ISZERO
000006c5: PUSH2 0x070f
000006c8: JUMPI
000006c9: DUP1
000006ca: PUSH1 0x1f
000006cc: LT
000006cd: PUSH2 0x06e4
000006d0: JUMPI
000006d1: PUSH2 0x0100
000006d4: DUP1
000006d5: DUP4
000006d6: SLOAD
000006d7: DIV
000006d8: MUL
000006d9: DUP4
000006da: MSTORE
000006db: SWAP2
000006dc: PUSH1 0x20
000006de: ADD
000006df: SWAP2
000006e0: PUSH2 0x070f
000006e3: JUMP
000006e4: JUMPDEST
000006e5: DUP3
000006e6: ADD
000006e7: SWAP2
000006e8: SWAP1
000006e9: PUSH1 0x00
000006eb: MSTORE
000006ec: PUSH1 0x20
000006ee: PUSH1 0x00
000006f0: KECCAK256
000006f1: SWAP1
000006f2: JUMPDEST
000006f3: DUP2
000006f4: SLOAD
000006f5: DUP2
000006f6: MSTORE
000006f7: SWAP1
000006f8: PUSH1 0x01
000006fa: ADD
000006fb: SWAP1
000006fc: PUSH1 0x20
000006fe: ADD
000006ff: DUP1
00000700: DUP4
00000701: GT
00000702: PUSH2 0x06f2
00000705: JUMPI
00000706: DUP3
00000707: SWAP1
00000708: SUB
00000709: PUSH1 0x1f
0000070b: AND
0000070c: DUP3
0000070d: ADD
0000070e: SWAP2
0000070f: JUMPDEST
00000710: POP
00000711: POP
00000712: POP
00000713: POP
00000714: POP
00000715: SWAP1
00000716: POP
00000717: SWAP1
00000718: JUMP
00000719: JUMPDEST
0000071a: PUSH1 0x00
0000071c: PUSH2 0x0724
0000071f: DUP3
00000720: PUSH2 0x1ec0
00000723: JUMP
00000724: JUMPDEST
00000725: PUSH2 0x0763
00000728: JUMPI
00000729: PUSH1 0x40
0000072b: MLOAD
0000072c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000074d: DUP2
0000074e: MSTORE
0000074f: PUSH1 0x04
00000751: ADD
00000752: PUSH2 0x075a
00000755: SWAP1
00000756: PUSH2 0x32f9
00000759: JUMP
0000075a: JUMPDEST
0000075b: PUSH1 0x40
0000075d: MLOAD
0000075e: DUP1
0000075f: SWAP2
00000760: SUB
00000761: SWAP1
00000762: REVERT
00000763: JUMPDEST
00000764: PUSH1 0x05
00000766: PUSH1 0x00
00000768: DUP4
00000769: DUP2
0000076a: MSTORE
0000076b: PUSH1 0x20
0000076d: ADD
0000076e: SWAP1
0000076f: DUP2
00000770: MSTORE
00000771: PUSH1 0x20
00000773: ADD
00000774: PUSH1 0x00
00000776: KECCAK256
00000777: PUSH1 0x00
00000779: SWAP1
0000077a: SLOAD
0000077b: SWAP1
0000077c: PUSH2 0x0100
0000077f: EXP
00000780: SWAP1
00000781: DIV
00000782: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000797: AND
00000798: SWAP1
00000799: POP
0000079a: SWAP2
0000079b: SWAP1
0000079c: POP
0000079d: JUMP
0000079e: JUMPDEST
0000079f: PUSH1 0x00
000007a1: PUSH2 0x07a9
000007a4: DUP3
000007a5: PUSH2 0x1669
000007a8: JUMP
000007a9: JUMPDEST
000007aa: SWAP1
000007ab: POP
000007ac: CALLER
000007ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c2: AND
000007c3: DUP2
000007c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d9: AND
000007da: EQ
000007db: DUP1
000007dc: PUSH2 0x086b
000007df: JUMPI
000007e0: POP
000007e1: PUSH1 0x06
000007e3: PUSH1 0x00
000007e5: DUP3
000007e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007fb: AND
000007fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000811: AND
00000812: DUP2
00000813: MSTORE
00000814: PUSH1 0x20
00000816: ADD
00000817: SWAP1
00000818: DUP2
00000819: MSTORE
0000081a: PUSH1 0x20
0000081c: ADD
0000081d: PUSH1 0x00
0000081f: KECCAK256
00000820: PUSH1 0x00
00000822: CALLER
00000823: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000838: AND
00000839: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000084e: AND
0000084f: DUP2
00000850: MSTORE
00000851: PUSH1 0x20
00000853: ADD
00000854: SWAP1
00000855: DUP2
00000856: MSTORE
00000857: PUSH1 0x20
00000859: ADD
0000085a: PUSH1 0x00
0000085c: KECCAK256
0000085d: PUSH1 0x00
0000085f: SWAP1
00000860: SLOAD
00000861: SWAP1
00000862: PUSH2 0x0100
00000865: EXP
00000866: SWAP1
00000867: DIV
00000868: PUSH1 0xff
0000086a: AND
0000086b: JUMPDEST
0000086c: PUSH2 0x08aa
0000086f: JUMPI
00000870: PUSH1 0x40
00000872: MLOAD
00000873: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000894: DUP2
00000895: MSTORE
00000896: PUSH1 0x04
00000898: ADD
00000899: PUSH2 0x08a1
0000089c: SWAP1
0000089d: PUSH2 0x31b9
000008a0: JUMP
000008a1: JUMPDEST
000008a2: PUSH1 0x40
000008a4: MLOAD
000008a5: DUP1
000008a6: SWAP2
000008a7: SUB
000008a8: SWAP1
000008a9: REVERT
000008aa: JUMPDEST
000008ab: DUP2
000008ac: DUP4
000008ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c2: AND
000008c3: DUP3
000008c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d9: AND
000008da: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000008fb: PUSH1 0x40
000008fd: MLOAD
000008fe: PUSH1 0x40
00000900: MLOAD
00000901: DUP1
00000902: SWAP2
00000903: SUB
00000904: SWAP1
00000905: LOG4
00000906: DUP3
00000907: PUSH1 0x05
00000909: PUSH1 0x00
0000090b: DUP5
0000090c: DUP2
0000090d: MSTORE
0000090e: PUSH1 0x20
00000910: ADD
00000911: SWAP1
00000912: DUP2
00000913: MSTORE
00000914: PUSH1 0x20
00000916: ADD
00000917: PUSH1 0x00
00000919: KECCAK256
0000091a: PUSH1 0x00
0000091c: PUSH2 0x0100
0000091f: EXP
00000920: DUP2
00000921: SLOAD
00000922: DUP2
00000923: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000938: MUL
00000939: NOT
0000093a: AND
0000093b: SWAP1
0000093c: DUP4
0000093d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000952: AND
00000953: MUL
00000954: OR
00000955: SWAP1
00000956: SSTORE
00000957: POP
00000958: POP
00000959: POP
0000095a: POP
0000095b: JUMP
0000095c: JUMPDEST
0000095d: PUSH1 0x00
0000095f: JUMPDEST
00000960: DUP5
00000961: DUP5
00000962: SWAP1
00000963: POP
00000964: DUP2
00000965: LT
00000966: ISZERO
00000967: PUSH2 0x09c5
0000096a: JUMPI
0000096b: PUSH2 0x09b2
0000096e: DUP6
0000096f: DUP6
00000970: DUP4
00000971: DUP2
00000972: DUP2
00000973: LT
00000974: PUSH2 0x09a6
00000977: JUMPI
00000978: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000999: PUSH1 0x00
0000099b: MSTORE
0000099c: PUSH1 0x32
0000099e: PUSH1 0x04
000009a0: MSTORE
000009a1: PUSH1 0x24
000009a3: PUSH1 0x00
000009a5: REVERT
000009a6: JUMPDEST
000009a7: SWAP1
000009a8: POP
000009a9: PUSH1 0x20
000009ab: MUL
000009ac: ADD
000009ad: CALLDATALOAD
000009ae: PUSH2 0x1f2c
000009b1: JUMP
000009b2: JUMPDEST
000009b3: DUP1
000009b4: DUP1
000009b5: PUSH2 0x09bd
000009b8: SWAP1
000009b9: PUSH2 0x37d3
000009bc: JUMP
000009bd: JUMPDEST
000009be: SWAP2
000009bf: POP
000009c0: POP
000009c1: PUSH2 0x095f
000009c4: JUMP
000009c5: JUMPDEST
000009c6: POP
000009c7: PUSH2 0x09d2
000009ca: DUP5
000009cb: DUP5
000009cc: DUP5
000009cd: DUP5
000009ce: PUSH2 0x1878
000009d1: JUMP
000009d2: JUMPDEST
000009d3: POP
000009d4: POP
000009d5: POP
000009d6: POP
000009d7: JUMP
000009d8: JUMPDEST
000009d9: PUSH1 0x00
000009db: PUSH1 0x07
000009dd: DUP1
000009de: SLOAD
000009df: SWAP1
000009e0: POP
000009e1: SWAP1
000009e2: POP
000009e3: SWAP1
000009e4: JUMP
000009e5: JUMPDEST
000009e6: PUSH1 0x00
000009e8: PUSH2 0x09f0
000009eb: DUP3
000009ec: PUSH2 0x1669
000009ef: JUMP
000009f0: JUMPDEST
000009f1: SWAP1
000009f2: POP
000009f3: CALLER
000009f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a09: AND
00000a0a: DUP2
00000a0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a20: AND
00000a21: EQ
00000a22: DUP1
00000a23: PUSH2 0x0a8a
00000a26: JUMPI
00000a27: POP
00000a28: CALLER
00000a29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a3e: AND
00000a3f: PUSH1 0x05
00000a41: PUSH1 0x00
00000a43: DUP5
00000a44: DUP2
00000a45: MSTORE
00000a46: PUSH1 0x20
00000a48: ADD
00000a49: SWAP1
00000a4a: DUP2
00000a4b: MSTORE
00000a4c: PUSH1 0x20
00000a4e: ADD
00000a4f: PUSH1 0x00
00000a51: KECCAK256
00000a52: PUSH1 0x00
00000a54: SWAP1
00000a55: SLOAD
00000a56: SWAP1
00000a57: PUSH2 0x0100
00000a5a: EXP
00000a5b: SWAP1
00000a5c: DIV
00000a5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a72: AND
00000a73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a88: AND
00000a89: EQ
00000a8a: JUMPDEST
00000a8b: DUP1
00000a8c: PUSH2 0x0b1b
00000a8f: JUMPI
00000a90: POP
00000a91: PUSH1 0x06
00000a93: PUSH1 0x00
00000a95: DUP3
00000a96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aab: AND
00000aac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac1: AND
00000ac2: DUP2
00000ac3: MSTORE
00000ac4: PUSH1 0x20
00000ac6: ADD
00000ac7: SWAP1
00000ac8: DUP2
00000ac9: MSTORE
00000aca: PUSH1 0x20
00000acc: ADD
00000acd: PUSH1 0x00
00000acf: KECCAK256
00000ad0: PUSH1 0x00
00000ad2: CALLER
00000ad3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae8: AND
00000ae9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000afe: AND
00000aff: DUP2
00000b00: MSTORE
00000b01: PUSH1 0x20
00000b03: ADD
00000b04: SWAP1
00000b05: DUP2
00000b06: MSTORE
00000b07: PUSH1 0x20
00000b09: ADD
00000b0a: PUSH1 0x00
00000b0c: KECCAK256
00000b0d: PUSH1 0x00
00000b0f: SWAP1
00000b10: SLOAD
00000b11: SWAP1
00000b12: PUSH2 0x0100
00000b15: EXP
00000b16: SWAP1
00000b17: DIV
00000b18: PUSH1 0xff
00000b1a: AND
00000b1b: JUMPDEST
00000b1c: PUSH2 0x0b5a
00000b1f: JUMPI
00000b20: PUSH1 0x40
00000b22: MLOAD
00000b23: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b44: DUP2
00000b45: MSTORE
00000b46: PUSH1 0x04
00000b48: ADD
00000b49: PUSH2 0x0b51
00000b4c: SWAP1
00000b4d: PUSH2 0x31b9
00000b50: JUMP
00000b51: JUMPDEST
00000b52: PUSH1 0x40
00000b54: MLOAD
00000b55: DUP1
00000b56: SWAP2
00000b57: SUB
00000b58: SWAP1
00000b59: REVERT
00000b5a: JUMPDEST
00000b5b: DUP4
00000b5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b71: AND
00000b72: DUP2
00000b73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b88: AND
00000b89: EQ
00000b8a: PUSH2 0x0bc8
00000b8d: JUMPI
00000b8e: PUSH1 0x40
00000b90: MLOAD
00000b91: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bb2: DUP2
00000bb3: MSTORE
00000bb4: PUSH1 0x04
00000bb6: ADD
00000bb7: PUSH2 0x0bbf
00000bba: SWAP1
00000bbb: PUSH2 0x3159
00000bbe: JUMP
00000bbf: JUMPDEST
00000bc0: PUSH1 0x40
00000bc2: MLOAD
00000bc3: DUP1
00000bc4: SWAP2
00000bc5: SUB
00000bc6: SWAP1
00000bc7: REVERT
00000bc8: JUMPDEST
00000bc9: PUSH1 0x00
00000bcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be0: AND
00000be1: DUP4
00000be2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf7: AND
00000bf8: EQ
00000bf9: ISZERO
00000bfa: PUSH2 0x0c38
00000bfd: JUMPI
00000bfe: PUSH1 0x40
00000c00: MLOAD
00000c01: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c22: DUP2
00000c23: MSTORE
00000c24: PUSH1 0x04
00000c26: ADD
00000c27: PUSH2 0x0c2f
00000c2a: SWAP1
00000c2b: PUSH2 0x3199
00000c2e: JUMP
00000c2f: JUMPDEST
00000c30: PUSH1 0x40
00000c32: MLOAD
00000c33: DUP1
00000c34: SWAP2
00000c35: SUB
00000c36: SWAP1
00000c37: REVERT
00000c38: JUMPDEST
00000c39: DUP2
00000c3a: DUP4
00000c3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c50: AND
00000c51: DUP6
00000c52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c67: AND
00000c68: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000c89: PUSH1 0x40
00000c8b: MLOAD
00000c8c: PUSH1 0x40
00000c8e: MLOAD
00000c8f: DUP1
00000c90: SWAP2
00000c91: SUB
00000c92: SWAP1
00000c93: LOG4
00000c94: DUP3
00000c95: PUSH1 0x08
00000c97: PUSH1 0x00
00000c99: DUP5
00000c9a: DUP2
00000c9b: MSTORE
00000c9c: PUSH1 0x20
00000c9e: ADD
00000c9f: SWAP1
00000ca0: DUP2
00000ca1: MSTORE
00000ca2: PUSH1 0x20
00000ca4: ADD
00000ca5: PUSH1 0x00
00000ca7: KECCAK256
00000ca8: PUSH1 0x00
00000caa: PUSH2 0x0100
00000cad: EXP
00000cae: DUP2
00000caf: SLOAD
00000cb0: DUP2
00000cb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cc6: MUL
00000cc7: NOT
00000cc8: AND
00000cc9: SWAP1
00000cca: DUP4
00000ccb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce0: AND
00000ce1: MUL
00000ce2: OR
00000ce3: SWAP1
00000ce4: SSTORE
00000ce5: POP
00000ce6: PUSH1 0x04
00000ce8: PUSH1 0x00
00000cea: DUP6
00000ceb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d00: AND
00000d01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d16: AND
00000d17: DUP2
00000d18: MSTORE
00000d19: PUSH1 0x20
00000d1b: ADD
00000d1c: SWAP1
00000d1d: DUP2
00000d1e: MSTORE
00000d1f: PUSH1 0x20
00000d21: ADD
00000d22: PUSH1 0x00
00000d24: KECCAK256
00000d25: PUSH1 0x00
00000d27: DUP2
00000d28: SLOAD
00000d29: DUP1
00000d2a: SWAP3
00000d2b: SWAP2
00000d2c: SWAP1
00000d2d: PUSH2 0x0d35
00000d30: SWAP1
00000d31: PUSH2 0x3777
00000d34: JUMP
00000d35: JUMPDEST
00000d36: SWAP2
00000d37: SWAP1
00000d38: POP
00000d39: SSTORE
00000d3a: POP
00000d3b: PUSH1 0x04
00000d3d: PUSH1 0x00
00000d3f: DUP5
00000d40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d55: AND
00000d56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d6b: AND
00000d6c: DUP2
00000d6d: MSTORE
00000d6e: PUSH1 0x20
00000d70: ADD
00000d71: SWAP1
00000d72: DUP2
00000d73: MSTORE
00000d74: PUSH1 0x20
00000d76: ADD
00000d77: PUSH1 0x00
00000d79: KECCAK256
00000d7a: PUSH1 0x00
00000d7c: DUP2
00000d7d: SLOAD
00000d7e: DUP1
00000d7f: SWAP3
00000d80: SWAP2
00000d81: SWAP1
00000d82: PUSH2 0x0d8a
00000d85: SWAP1
00000d86: PUSH2 0x37d3
00000d89: JUMP
00000d8a: JUMPDEST
00000d8b: SWAP2
00000d8c: SWAP1
00000d8d: POP
00000d8e: SSTORE
00000d8f: POP
00000d90: PUSH1 0x00
00000d92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da7: AND
00000da8: PUSH1 0x05
00000daa: PUSH1 0x00
00000dac: DUP5
00000dad: DUP2
00000dae: MSTORE
00000daf: PUSH1 0x20
00000db1: ADD
00000db2: SWAP1
00000db3: DUP2
00000db4: MSTORE
00000db5: PUSH1 0x20
00000db7: ADD
00000db8: PUSH1 0x00
00000dba: KECCAK256
00000dbb: PUSH1 0x00
00000dbd: SWAP1
00000dbe: SLOAD
00000dbf: SWAP1
00000dc0: PUSH2 0x0100
00000dc3: EXP
00000dc4: SWAP1
00000dc5: DIV
00000dc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ddb: AND
00000ddc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df1: AND
00000df2: EQ
00000df3: PUSH2 0x0e2d
00000df6: JUMPI
00000df7: PUSH1 0x05
00000df9: PUSH1 0x00
00000dfb: DUP4
00000dfc: DUP2
00000dfd: MSTORE
00000dfe: PUSH1 0x20
00000e00: ADD
00000e01: SWAP1
00000e02: DUP2
00000e03: MSTORE
00000e04: PUSH1 0x20
00000e06: ADD
00000e07: PUSH1 0x00
00000e09: KECCAK256
00000e0a: PUSH1 0x00
00000e0c: PUSH2 0x0100
00000e0f: EXP
00000e10: DUP2
00000e11: SLOAD
00000e12: SWAP1
00000e13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e28: MUL
00000e29: NOT
00000e2a: AND
00000e2b: SWAP1
00000e2c: SSTORE
00000e2d: JUMPDEST
00000e2e: PUSH1 0x00
00000e30: PUSH1 0x0d
00000e32: PUSH1 0x00
00000e34: DUP5
00000e35: DUP2
00000e36: MSTORE
00000e37: PUSH1 0x20
00000e39: ADD
00000e3a: SWAP1
00000e3b: DUP2
00000e3c: MSTORE
00000e3d: PUSH1 0x20
00000e3f: ADD
00000e40: PUSH1 0x00
00000e42: KECCAK256
00000e43: SLOAD
00000e44: SWAP1
00000e45: POP
00000e46: PUSH1 0x01
00000e48: PUSH1 0x0c
00000e4a: PUSH1 0x00
00000e4c: DUP8
00000e4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e62: AND
00000e63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e78: AND
00000e79: DUP2
00000e7a: MSTORE
00000e7b: PUSH1 0x20
00000e7d: ADD
00000e7e: SWAP1
00000e7f: DUP2
00000e80: MSTORE
00000e81: PUSH1 0x20
00000e83: ADD
00000e84: PUSH1 0x00
00000e86: KECCAK256
00000e87: DUP1
00000e88: SLOAD
00000e89: SWAP1
00000e8a: POP
00000e8b: PUSH2 0x0e94
00000e8e: SWAP2
00000e8f: SWAP1
00000e90: PUSH2 0x3676
00000e93: JUMP
00000e94: JUMPDEST
00000e95: DUP2
00000e96: EQ
00000e97: PUSH2 0x1089
00000e9a: JUMPI
00000e9b: PUSH1 0x0c
00000e9d: PUSH1 0x00
00000e9f: DUP7
00000ea0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eb5: AND
00000eb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ecb: AND
00000ecc: DUP2
00000ecd: MSTORE
00000ece: PUSH1 0x20
00000ed0: ADD
00000ed1: SWAP1
00000ed2: DUP2
00000ed3: MSTORE
00000ed4: PUSH1 0x20
00000ed6: ADD
00000ed7: PUSH1 0x00
00000ed9: KECCAK256
00000eda: PUSH1 0x01
00000edc: PUSH1 0x0c
00000ede: PUSH1 0x00
00000ee0: DUP9
00000ee1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef6: AND
00000ef7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f0c: AND
00000f0d: DUP2
00000f0e: MSTORE
00000f0f: PUSH1 0x20
00000f11: ADD
00000f12: SWAP1
00000f13: DUP2
00000f14: MSTORE
00000f15: PUSH1 0x20
00000f17: ADD
00000f18: PUSH1 0x00
00000f1a: KECCAK256
00000f1b: DUP1
00000f1c: SLOAD
00000f1d: SWAP1
00000f1e: POP
00000f1f: PUSH2 0x0f28
00000f22: SWAP2
00000f23: SWAP1
00000f24: PUSH2 0x3676
00000f27: JUMP
00000f28: JUMPDEST
00000f29: DUP2
00000f2a: SLOAD
00000f2b: DUP2
00000f2c: LT
00000f2d: PUSH2 0x0f5f
00000f30: JUMPI
00000f31: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000f52: PUSH1 0x00
00000f54: MSTORE
00000f55: PUSH1 0x32
00000f57: PUSH1 0x04
00000f59: MSTORE
00000f5a: PUSH1 0x24
00000f5c: PUSH1 0x00
00000f5e: REVERT
00000f5f: JUMPDEST
00000f60: SWAP1
00000f61: PUSH1 0x00
00000f63: MSTORE
00000f64: PUSH1 0x20
00000f66: PUSH1 0x00
00000f68: KECCAK256
00000f69: ADD
00000f6a: SLOAD
00000f6b: PUSH1 0x0c
00000f6d: PUSH1 0x00
00000f6f: DUP8
00000f70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f85: AND
00000f86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f9b: AND
00000f9c: DUP2
00000f9d: MSTORE
00000f9e: PUSH1 0x20
00000fa0: ADD
00000fa1: SWAP1
00000fa2: DUP2
00000fa3: MSTORE
00000fa4: PUSH1 0x20
00000fa6: ADD
00000fa7: PUSH1 0x00
00000fa9: KECCAK256
00000faa: DUP3
00000fab: DUP2
00000fac: SLOAD
00000fad: DUP2
00000fae: LT
00000faf: PUSH2 0x0fe1
00000fb2: JUMPI
00000fb3: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000fd4: PUSH1 0x00
00000fd6: MSTORE
00000fd7: PUSH1 0x32
00000fd9: PUSH1 0x04
00000fdb: MSTORE
00000fdc: PUSH1 0x24
00000fde: PUSH1 0x00
00000fe0: REVERT
00000fe1: JUMPDEST
00000fe2: SWAP1
00000fe3: PUSH1 0x00
00000fe5: MSTORE
00000fe6: PUSH1 0x20
00000fe8: PUSH1 0x00
00000fea: KECCAK256
00000feb: ADD
00000fec: DUP2
00000fed: SWAP1
00000fee: SSTORE
00000fef: POP
00000ff0: DUP1
00000ff1: PUSH1 0x0d
00000ff3: PUSH1 0x00
00000ff5: PUSH1 0x0c
00000ff7: PUSH1 0x00
00000ff9: DUP10
00000ffa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000100f: AND
00001010: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001025: AND
00001026: DUP2
00001027: MSTORE
00001028: PUSH1 0x20
0000102a: ADD
0000102b: SWAP1
0000102c: DUP2
0000102d: MSTORE
0000102e: PUSH1 0x20
00001030: ADD
00001031: PUSH1 0x00
00001033: KECCAK256
00001034: DUP5
00001035: DUP2
00001036: SLOAD
00001037: DUP2
00001038: LT
00001039: PUSH2 0x106b
0000103c: JUMPI
0000103d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000105e: PUSH1 0x00
00001060: MSTORE
00001061: PUSH1 0x32
00001063: PUSH1 0x04
00001065: MSTORE
00001066: PUSH1 0x24
00001068: PUSH1 0x00
0000106a: REVERT
0000106b: JUMPDEST
0000106c: SWAP1
0000106d: PUSH1 0x00
0000106f: MSTORE
00001070: PUSH1 0x20
00001072: PUSH1 0x00
00001074: KECCAK256
00001075: ADD
00001076: SLOAD
00001077: DUP2
00001078: MSTORE
00001079: PUSH1 0x20
0000107b: ADD
0000107c: SWAP1
0000107d: DUP2
0000107e: MSTORE
0000107f: PUSH1 0x20
00001081: ADD
00001082: PUSH1 0x00
00001084: KECCAK256
00001085: DUP2
00001086: SWAP1
00001087: SSTORE
00001088: POP
00001089: JUMPDEST
0000108a: PUSH1 0x0c
0000108c: PUSH1 0x00
0000108e: DUP7
0000108f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a4: AND
000010a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ba: AND
000010bb: DUP2
000010bc: MSTORE
000010bd: PUSH1 0x20
000010bf: ADD
000010c0: SWAP1
000010c1: DUP2
000010c2: MSTORE
000010c3: PUSH1 0x20
000010c5: ADD
000010c6: PUSH1 0x00
000010c8: KECCAK256
000010c9: DUP1
000010ca: SLOAD
000010cb: DUP1
000010cc: PUSH2 0x10fe
000010cf: JUMPI
000010d0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000010f1: PUSH1 0x00
000010f3: MSTORE
000010f4: PUSH1 0x31
000010f6: PUSH1 0x04
000010f8: MSTORE
000010f9: PUSH1 0x24
000010fb: PUSH1 0x00
000010fd: REVERT
000010fe: JUMPDEST
000010ff: PUSH1 0x01
00001101: SWAP1
00001102: SUB
00001103: DUP2
00001104: DUP2
00001105: SWAP1
00001106: PUSH1 0x00
00001108: MSTORE
00001109: PUSH1 0x20
0000110b: PUSH1 0x00
0000110d: KECCAK256
0000110e: ADD
0000110f: PUSH1 0x00
00001111: SWAP1
00001112: SSTORE
00001113: SWAP1
00001114: SSTORE
00001115: PUSH1 0x0c
00001117: PUSH1 0x00
00001119: DUP6
0000111a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000112f: AND
00001130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001145: AND
00001146: DUP2
00001147: MSTORE
00001148: PUSH1 0x20
0000114a: ADD
0000114b: SWAP1
0000114c: DUP2
0000114d: MSTORE
0000114e: PUSH1 0x20
00001150: ADD
00001151: PUSH1 0x00
00001153: KECCAK256
00001154: DUP1
00001155: SLOAD
00001156: SWAP1
00001157: POP
00001158: PUSH1 0x0d
0000115a: PUSH1 0x00
0000115c: DUP6
0000115d: DUP2
0000115e: MSTORE
0000115f: PUSH1 0x20
00001161: ADD
00001162: SWAP1
00001163: DUP2
00001164: MSTORE
00001165: PUSH1 0x20
00001167: ADD
00001168: PUSH1 0x00
0000116a: KECCAK256
0000116b: DUP2
0000116c: SWAP1
0000116d: SSTORE
0000116e: POP
0000116f: PUSH1 0x0c
00001171: PUSH1 0x00
00001173: DUP6
00001174: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001189: AND
0000118a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000119f: AND
000011a0: DUP2
000011a1: MSTORE
000011a2: PUSH1 0x20
000011a4: ADD
000011a5: SWAP1
000011a6: DUP2
000011a7: MSTORE
000011a8: PUSH1 0x20
000011aa: ADD
000011ab: PUSH1 0x00
000011ad: KECCAK256
000011ae: DUP4
000011af: SWAP1
000011b0: DUP1
000011b1: PUSH1 0x01
000011b3: DUP2
000011b4: SLOAD
000011b5: ADD
000011b6: DUP1
000011b7: DUP3
000011b8: SSTORE
000011b9: DUP1
000011ba: SWAP2
000011bb: POP
000011bc: POP
000011bd: PUSH1 0x01
000011bf: SWAP1
000011c0: SUB
000011c1: SWAP1
000011c2: PUSH1 0x00
000011c4: MSTORE
000011c5: PUSH1 0x20
000011c7: PUSH1 0x00
000011c9: KECCAK256
000011ca: ADD
000011cb: PUSH1 0x00
000011cd: SWAP1
000011ce: SWAP2
000011cf: SWAP1
000011d0: SWAP2
000011d1: SWAP1
000011d2: SWAP2
000011d3: POP
000011d4: SSTORE
000011d5: POP
000011d6: POP
000011d7: POP
000011d8: POP
000011d9: POP
000011da: JUMP
000011db: JUMPDEST
000011dc: PUSH1 0x00
000011de: PUSH1 0x04
000011e0: PUSH1 0x00
000011e2: DUP5
000011e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011f8: AND
000011f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000120e: AND
0000120f: DUP2
00001210: MSTORE
00001211: PUSH1 0x20
00001213: ADD
00001214: SWAP1
00001215: DUP2
00001216: MSTORE
00001217: PUSH1 0x20
00001219: ADD
0000121a: PUSH1 0x00
0000121c: KECCAK256
0000121d: SLOAD
0000121e: DUP3
0000121f: LT
00001220: PUSH2 0x125e
00001223: JUMPI
00001224: PUSH1 0x40
00001226: MLOAD
00001227: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001248: DUP2
00001249: MSTORE
0000124a: PUSH1 0x04
0000124c: ADD
0000124d: PUSH2 0x1255
00001250: SWAP1
00001251: PUSH2 0x3259
00001254: JUMP
00001255: JUMPDEST
00001256: PUSH1 0x40
00001258: MLOAD
00001259: DUP1
0000125a: SWAP2
0000125b: SUB
0000125c: SWAP1
0000125d: REVERT
0000125e: JUMPDEST
0000125f: PUSH1 0x0c
00001261: PUSH1 0x00
00001263: DUP5
00001264: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001279: AND
0000127a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000128f: AND
00001290: DUP2
00001291: MSTORE
00001292: PUSH1 0x20
00001294: ADD
00001295: SWAP1
00001296: DUP2
00001297: MSTORE
00001298: PUSH1 0x20
0000129a: ADD
0000129b: PUSH1 0x00
0000129d: KECCAK256
0000129e: DUP3
0000129f: DUP2
000012a0: SLOAD
000012a1: DUP2
000012a2: LT
000012a3: PUSH2 0x12d5
000012a6: JUMPI
000012a7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000012c8: PUSH1 0x00
000012ca: MSTORE
000012cb: PUSH1 0x32
000012cd: PUSH1 0x04
000012cf: MSTORE
000012d0: PUSH1 0x24
000012d2: PUSH1 0x00
000012d4: REVERT
000012d5: JUMPDEST
000012d6: SWAP1
000012d7: PUSH1 0x00
000012d9: MSTORE
000012da: PUSH1 0x20
000012dc: PUSH1 0x00
000012de: KECCAK256
000012df: ADD
000012e0: SLOAD
000012e1: SWAP1
000012e2: POP
000012e3: SWAP3
000012e4: SWAP2
000012e5: POP
000012e6: POP
000012e7: JUMP
000012e8: JUMPDEST
000012e9: PUSH2 0x12f1
000012ec: DUP3
000012ed: PUSH2 0x1f2c
000012f0: JUMP
000012f1: JUMPDEST
000012f2: PUSH1 0x00
000012f4: DUP2
000012f5: GT
000012f6: ISZERO
000012f7: PUSH2 0x1305
000012fa: JUMPI
000012fb: PUSH2 0x1304
000012fe: DUP3
000012ff: DUP3
00001300: PUSH2 0x1329
00001303: JUMP
00001304: JUMPDEST
00001305: JUMPDEST
00001306: POP
00001307: POP
00001308: JUMP
00001309: JUMPDEST
0000130a: PUSH2 0x1324
0000130d: DUP4
0000130e: DUP4
0000130f: DUP4
00001310: PUSH1 0x40
00001312: MLOAD
00001313: DUP1
00001314: PUSH1 0x20
00001316: ADD
00001317: PUSH1 0x40
00001319: MSTORE
0000131a: DUP1
0000131b: PUSH1 0x00
0000131d: DUP2
0000131e: MSTORE
0000131f: POP
00001320: PUSH2 0x1ad0
00001323: JUMP
00001324: JUMPDEST
00001325: POP
00001326: POP
00001327: POP
00001328: JUMP
00001329: JUMPDEST
0000132a: CALLER
0000132b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001340: AND
00001341: PUSH2 0x08fc
00001344: PUSH2 0x134d
00001347: DUP5
00001348: DUP5
00001349: PUSH2 0x21cd
0000134c: JUMP
0000134d: JUMPDEST
0000134e: SWAP1
0000134f: DUP2
00001350: ISZERO
00001351: MUL
00001352: SWAP1
00001353: PUSH1 0x40
00001355: MLOAD
00001356: PUSH1 0x00
00001358: PUSH1 0x40
0000135a: MLOAD
0000135b: DUP1
0000135c: DUP4
0000135d: SUB
0000135e: DUP2
0000135f: DUP6
00001360: DUP9
00001361: DUP9
00001362: CALL
00001363: SWAP4
00001364: POP
00001365: POP
00001366: POP
00001367: POP
00001368: ISZERO
00001369: DUP1
0000136a: ISZERO
0000136b: PUSH2 0x1378
0000136e: JUMPI
0000136f: RETURNDATASIZE
00001370: PUSH1 0x00
00001372: DUP1
00001373: RETURNDATACOPY
00001374: RETURNDATASIZE
00001375: PUSH1 0x00
00001377: REVERT
00001378: JUMPDEST
00001379: POP
0000137a: POP
0000137b: POP
0000137c: JUMP
0000137d: JUMPDEST
0000137e: PUSH1 0x00
00001380: PUSH1 0x01
00001382: PUSH1 0x07
00001384: DUP1
00001385: SLOAD
00001386: SWAP1
00001387: POP
00001388: PUSH1 0x00
0000138a: SLOAD
0000138b: PUSH2 0x1394
0000138e: SWAP2
0000138f: SWAP1
00001390: PUSH2 0x33ed
00001393: JUMP
00001394: JUMPDEST
00001395: PUSH2 0x139e
00001398: SWAP2
00001399: SWAP1
0000139a: PUSH2 0x33ed
0000139d: JUMP
0000139e: JUMPDEST
0000139f: SWAP1
000013a0: POP
000013a1: PUSH1 0x00
000013a3: PUSH2 0x13ab
000013a6: DUP3
000013a7: PUSH2 0x2414
000013aa: JUMP
000013ab: JUMPDEST
000013ac: SWAP1
000013ad: POP
000013ae: PUSH1 0x00
000013b0: DUP2
000013b1: PUSH1 0x13
000013b3: SLOAD
000013b4: PUSH2 0x13bd
000013b7: SWAP2
000013b8: SWAP1
000013b9: PUSH2 0x34fe
000013bc: JUMP
000013bd: JUMPDEST
000013be: PUSH1 0x12
000013c0: SLOAD
000013c1: PUSH2 0x13ca
000013c4: SWAP2
000013c5: SWAP1
000013c6: PUSH2 0x347a
000013c9: JUMP
000013ca: JUMPDEST
000013cb: SWAP1
000013cc: POP
000013cd: PUSH1 0x0d
000013cf: DUP3
000013d0: GT
000013d1: ISZERO
000013d2: PUSH2 0x13fd
000013d5: JUMPI
000013d6: PUSH1 0x01
000013d8: PUSH2 0x4000
000013db: DUP5
000013dc: PUSH2 0x13e5
000013df: SWAP2
000013e0: SWAP1
000013e1: PUSH2 0x3676
000013e4: JUMP
000013e5: JUMPDEST
000013e6: PUSH2 0x13ef
000013e9: SWAP2
000013ea: SWAP1
000013eb: PUSH2 0x33ed
000013ee: JUMP
000013ef: JUMPDEST
000013f0: DUP2
000013f1: PUSH2 0x13fa
000013f4: SWAP2
000013f5: SWAP1
000013f6: PUSH2 0x347a
000013f9: JUMP
000013fa: JUMPDEST
000013fb: SWAP1
000013fc: POP
000013fd: JUMPDEST
000013fe: PUSH1 0x00
00001400: PUSH1 0x11
00001402: SLOAD
00001403: PUSH1 0x01
00001405: DUP5
00001406: PUSH1 0x02
00001408: PUSH2 0x1411
0000140b: SWAP2
0000140c: SWAP1
0000140d: PUSH2 0x34fe
00001410: JUMP
00001411: JUMPDEST
00001412: PUSH2 0x141b
00001415: SWAP2
00001416: SWAP1
00001417: PUSH2 0x3676
0000141a: JUMP
0000141b: JUMPDEST
0000141c: PUSH2 0x1425
0000141f: SWAP2
00001420: SWAP1
00001421: PUSH2 0x361c
00001424: JUMP
00001425: JUMPDEST
00001426: SWAP1
00001427: POP
00001428: PUSH1 0x00
0000142a: PUSH1 0x07
0000142c: DUP1
0000142d: SLOAD
0000142e: SWAP1
0000142f: POP
00001430: PUSH1 0x00
00001432: SLOAD
00001433: PUSH1 0x01
00001435: SLOAD
00001436: PUSH2 0x143f
00001439: SWAP2
0000143a: SWAP1
0000143b: PUSH2 0x3676
0000143e: JUMP
0000143f: JUMPDEST
00001440: EQ
00001441: PUSH2 0x14d9
00001444: JUMPI
00001445: CALLER
00001446: PUSH1 0x07
00001448: PUSH1 0x0e
0000144a: PUSH1 0x00
0000144c: PUSH1 0x01
0000144e: DUP10
0000144f: PUSH2 0x1458
00001452: SWAP2
00001453: SWAP1
00001454: PUSH2 0x3676
00001457: JUMP
00001458: JUMPDEST
00001459: DUP2
0000145a: MSTORE
0000145b: PUSH1 0x20
0000145d: ADD
0000145e: SWAP1
0000145f: DUP2
00001460: MSTORE
00001461: PUSH1 0x20
00001463: ADD
00001464: PUSH1 0x00
00001466: KECCAK256
00001467: SLOAD
00001468: DUP2
00001469: SLOAD
0000146a: DUP2
0000146b: LT
0000146c: PUSH2 0x149e
0000146f: JUMPI
00001470: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001491: PUSH1 0x00
00001493: MSTORE
00001494: PUSH1 0x32
00001496: PUSH1 0x04
00001498: MSTORE
00001499: PUSH1 0x24
0000149b: PUSH1 0x00
0000149d: REVERT
0000149e: JUMPDEST
0000149f: SWAP1
000014a0: PUSH1 0x00
000014a2: MSTORE
000014a3: PUSH1 0x20
000014a5: PUSH1 0x00
000014a7: KECCAK256
000014a8: ADD
000014a9: SLOAD
000014aa: DUP8
000014ab: PUSH1 0x40
000014ad: MLOAD
000014ae: PUSH1 0x20
000014b0: ADD
000014b1: PUSH2 0x14bc
000014b4: SWAP4
000014b5: SWAP3
000014b6: SWAP2
000014b7: SWAP1
000014b8: PUSH2 0x300d
000014bb: JUMP
000014bc: JUMPDEST
000014bd: PUSH1 0x40
000014bf: MLOAD
000014c0: PUSH1 0x20
000014c2: DUP2
000014c3: DUP4
000014c4: SUB
000014c5: SUB
000014c6: DUP2
000014c7: MSTORE
000014c8: SWAP1
000014c9: PUSH1 0x40
000014cb: MSTORE
000014cc: DUP1
000014cd: MLOAD
000014ce: SWAP1
000014cf: PUSH1 0x20
000014d1: ADD
000014d2: KECCAK256
000014d3: SWAP1
000014d4: POP
000014d5: PUSH2 0x1509
000014d8: JUMP
000014d9: JUMPDEST
000014da: CALLER
000014db: PUSH1 0x02
000014dd: SLOAD
000014de: DUP8
000014df: PUSH1 0x40
000014e1: MLOAD
000014e2: PUSH1 0x20
000014e4: ADD
000014e5: PUSH2 0x14f0
000014e8: SWAP4
000014e9: SWAP3
000014ea: SWAP2
000014eb: SWAP1
000014ec: PUSH2 0x300d
000014ef: JUMP
000014f0: JUMPDEST
000014f1: PUSH1 0x40
000014f3: MLOAD
000014f4: PUSH1 0x20
000014f6: DUP2
000014f7: DUP4
000014f8: SUB
000014f9: SUB
000014fa: DUP2
000014fb: MSTORE
000014fc: SWAP1
000014fd: PUSH1 0x40
000014ff: MSTORE
00001500: DUP1
00001501: MLOAD
00001502: SWAP1
00001503: PUSH1 0x20
00001505: ADD
00001506: KECCAK256
00001507: SWAP1
00001508: POP
00001509: JUMPDEST
0000150a: DUP3
0000150b: DUP2
0000150c: PUSH1 0x00
0000150e: SHR
0000150f: LT
00001510: PUSH2 0x154e
00001513: JUMPI
00001514: PUSH1 0x40
00001516: MLOAD
00001517: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001538: DUP2
00001539: MSTORE
0000153a: PUSH1 0x04
0000153c: ADD
0000153d: PUSH2 0x1545
00001540: SWAP1
00001541: PUSH2 0x3299
00001544: JUMP
00001545: JUMPDEST
00001546: PUSH1 0x40
00001548: MLOAD
00001549: DUP1
0000154a: SWAP2
0000154b: SUB
0000154c: SWAP1
0000154d: REVERT
0000154e: JUMPDEST
0000154f: DUP2
00001550: CALLVALUE
00001551: EQ
00001552: PUSH2 0x1590
00001555: JUMPI
00001556: PUSH1 0x40
00001558: MLOAD
00001559: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000157a: DUP2
0000157b: MSTORE
0000157c: PUSH1 0x04
0000157e: ADD
0000157f: PUSH2 0x1587
00001582: SWAP1
00001583: PUSH2 0x3239
00001586: JUMP
00001587: JUMPDEST
00001588: PUSH1 0x40
0000158a: MLOAD
0000158b: DUP1
0000158c: SWAP2
0000158d: SUB
0000158e: SWAP1
0000158f: REVERT
00001590: JUMPDEST
00001591: DUP1
00001592: TIMESTAMP
00001593: PUSH1 0x40
00001595: MLOAD
00001596: PUSH1 0x20
00001598: ADD
00001599: PUSH2 0x15a3
0000159c: SWAP3
0000159d: SWAP2
0000159e: SWAP1
0000159f: PUSH2 0x304a
000015a2: JUMP
000015a3: JUMPDEST
000015a4: PUSH1 0x40
000015a6: MLOAD
000015a7: PUSH1 0x20
000015a9: DUP2
000015aa: DUP4
000015ab: SUB
000015ac: SUB
000015ad: DUP2
000015ae: MSTORE
000015af: SWAP1
000015b0: PUSH1 0x40
000015b2: MSTORE
000015b3: DUP1
000015b4: MLOAD
000015b5: SWAP1
000015b6: PUSH1 0x20
000015b8: ADD
000015b9: KECCAK256
000015ba: SWAP1
000015bb: POP
000015bc: PUSH2 0x15c5
000015bf: DUP6
000015c0: DUP3
000015c1: PUSH2 0x2456
000015c4: JUMP
000015c5: JUMPDEST
000015c6: DUP5
000015c7: PUSH32 0x5570ed3da2dab8635dcc918badc12e05d60cbc9185347ef0065ab7335568cdae
000015e8: DUP3
000015e9: PUSH1 0x40
000015eb: MLOAD
000015ec: PUSH2 0x15f5
000015ef: SWAP2
000015f0: SWAP1
000015f1: PUSH2 0x311c
000015f4: JUMP
000015f5: JUMPDEST
000015f6: PUSH1 0x40
000015f8: MLOAD
000015f9: DUP1
000015fa: SWAP2
000015fb: SUB
000015fc: SWAP1
000015fd: LOG2
000015fe: POP
000015ff: POP
00001600: POP
00001601: POP
00001602: POP
00001603: POP
00001604: JUMP
00001605: JUMPDEST
00001606: PUSH1 0x00
00001608: PUSH1 0x07
0000160a: DUP1
0000160b: SLOAD
0000160c: SWAP1
0000160d: POP
0000160e: DUP3
0000160f: LT
00001610: PUSH2 0x164e
00001613: JUMPI
00001614: PUSH1 0x40
00001616: MLOAD
00001617: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001638: DUP2
00001639: MSTORE
0000163a: PUSH1 0x04
0000163c: ADD
0000163d: PUSH2 0x1645
00001640: SWAP1
00001641: PUSH2 0x3259
00001644: JUMP
00001645: JUMPDEST
00001646: PUSH1 0x40
00001648: MLOAD
00001649: DUP1
0000164a: SWAP2
0000164b: SUB
0000164c: SWAP1
0000164d: REVERT
0000164e: JUMPDEST
0000164f: PUSH1 0x0f
00001651: PUSH1 0x00
00001653: DUP4
00001654: DUP2
00001655: MSTORE
00001656: PUSH1 0x20
00001658: ADD
00001659: SWAP1
0000165a: DUP2
0000165b: MSTORE
0000165c: PUSH1 0x20
0000165e: ADD
0000165f: PUSH1 0x00
00001661: KECCAK256
00001662: SLOAD
00001663: SWAP1
00001664: POP
00001665: SWAP2
00001666: SWAP1
00001667: POP
00001668: JUMP
00001669: JUMPDEST
0000166a: PUSH1 0x00
0000166c: PUSH2 0x1674
0000166f: DUP3
00001670: PUSH2 0x1ec0
00001673: JUMP
00001674: JUMPDEST
00001675: PUSH2 0x16b3
00001678: JUMPI
00001679: PUSH1 0x40
0000167b: MLOAD
0000167c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000169d: DUP2
0000169e: MSTORE
0000169f: PUSH1 0x04
000016a1: ADD
000016a2: PUSH2 0x16aa
000016a5: SWAP1
000016a6: PUSH2 0x32f9
000016a9: JUMP
000016aa: JUMPDEST
000016ab: PUSH1 0x40
000016ad: MLOAD
000016ae: DUP1
000016af: SWAP2
000016b0: SUB
000016b1: SWAP1
000016b2: REVERT
000016b3: JUMPDEST
000016b4: PUSH1 0x08
000016b6: PUSH1 0x00
000016b8: DUP4
000016b9: DUP2
000016ba: MSTORE
000016bb: PUSH1 0x20
000016bd: ADD
000016be: SWAP1
000016bf: DUP2
000016c0: MSTORE
000016c1: PUSH1 0x20
000016c3: ADD
000016c4: PUSH1 0x00
000016c6: KECCAK256
000016c7: PUSH1 0x00
000016c9: SWAP1
000016ca: SLOAD
000016cb: SWAP1
000016cc: PUSH2 0x0100
000016cf: EXP
000016d0: SWAP1
000016d1: DIV
000016d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016e7: AND
000016e8: SWAP1
000016e9: POP
000016ea: SWAP2
000016eb: SWAP1
000016ec: POP
000016ed: JUMP
000016ee: JUMPDEST
000016ef: PUSH1 0x00
000016f1: PUSH1 0x04
000016f3: PUSH1 0x00
000016f5: DUP4
000016f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170b: AND
0000170c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001721: AND
00001722: DUP2
00001723: MSTORE
00001724: PUSH1 0x20
00001726: ADD
00001727: SWAP1
00001728: DUP2
00001729: MSTORE
0000172a: PUSH1 0x20
0000172c: ADD
0000172d: PUSH1 0x00
0000172f: KECCAK256
00001730: SLOAD
00001731: SWAP1
00001732: POP
00001733: SWAP2
00001734: SWAP1
00001735: POP
00001736: JUMP
00001737: JUMPDEST
00001738: PUSH1 0x01
0000173a: SLOAD
0000173b: DUP2
0000173c: JUMP
0000173d: JUMPDEST
0000173e: PUSH1 0x00
00001740: PUSH2 0x1748
00001743: DUP3
00001744: PUSH2 0x1ec0
00001747: JUMP
00001748: JUMPDEST
00001749: PUSH2 0x1787
0000174c: JUMPI
0000174d: PUSH1 0x40
0000174f: MLOAD
00001750: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001771: DUP2
00001772: MSTORE
00001773: PUSH1 0x04
00001775: ADD
00001776: PUSH2 0x177e
00001779: SWAP1
0000177a: PUSH2 0x32f9
0000177d: JUMP
0000177e: JUMPDEST
0000177f: PUSH1 0x40
00001781: MLOAD
00001782: DUP1
00001783: SWAP2
00001784: SUB
00001785: SWAP1
00001786: REVERT
00001787: JUMPDEST
00001788: PUSH1 0x07
0000178a: PUSH1 0x0e
0000178c: PUSH1 0x00
0000178e: DUP5
0000178f: DUP2
00001790: MSTORE
00001791: PUSH1 0x20
00001793: ADD
00001794: SWAP1
00001795: DUP2
00001796: MSTORE
00001797: PUSH1 0x20
00001799: ADD
0000179a: PUSH1 0x00
0000179c: KECCAK256
0000179d: SLOAD
0000179e: DUP2
0000179f: SLOAD
000017a0: DUP2
000017a1: LT
000017a2: PUSH2 0x17d4
000017a5: JUMPI
000017a6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000017c7: PUSH1 0x00
000017c9: MSTORE
000017ca: PUSH1 0x32
000017cc: PUSH1 0x04
000017ce: MSTORE
000017cf: PUSH1 0x24
000017d1: PUSH1 0x00
000017d3: REVERT
000017d4: JUMPDEST
000017d5: SWAP1
000017d6: PUSH1 0x00
000017d8: MSTORE
000017d9: PUSH1 0x20
000017db: PUSH1 0x00
000017dd: KECCAK256
000017de: ADD
000017df: SLOAD
000017e0: SWAP1
000017e1: POP
000017e2: SWAP2
000017e3: SWAP1
000017e4: POP
000017e5: JUMP
000017e6: JUMPDEST
000017e7: PUSH1 0x60
000017e9: PUSH1 0x0a
000017eb: DUP1
000017ec: SLOAD
000017ed: PUSH2 0x17f5
000017f0: SWAP1
000017f1: PUSH2 0x37a1
000017f4: JUMP
000017f5: JUMPDEST
000017f6: DUP1
000017f7: PUSH1 0x1f
000017f9: ADD
000017fa: PUSH1 0x20
000017fc: DUP1
000017fd: SWAP2
000017fe: DIV
000017ff: MUL
00001800: PUSH1 0x20
00001802: ADD
00001803: PUSH1 0x40
00001805: MLOAD
00001806: SWAP1
00001807: DUP2
00001808: ADD
00001809: PUSH1 0x40
0000180b: MSTORE
0000180c: DUP1
0000180d: SWAP3
0000180e: SWAP2
0000180f: SWAP1
00001810: DUP2
00001811: DUP2
00001812: MSTORE
00001813: PUSH1 0x20
00001815: ADD
00001816: DUP3
00001817: DUP1
00001818: SLOAD
00001819: PUSH2 0x1821
0000181c: SWAP1
0000181d: PUSH2 0x37a1
00001820: JUMP
00001821: JUMPDEST
00001822: DUP1
00001823: ISZERO
00001824: PUSH2 0x186e
00001827: JUMPI
00001828: DUP1
00001829: PUSH1 0x1f
0000182b: LT
0000182c: PUSH2 0x1843
0000182f: JUMPI
00001830: PUSH2 0x0100
00001833: DUP1
00001834: DUP4
00001835: SLOAD
00001836: DIV
00001837: MUL
00001838: DUP4
00001839: MSTORE
0000183a: SWAP2
0000183b: PUSH1 0x20
0000183d: ADD
0000183e: SWAP2
0000183f: PUSH2 0x186e
00001842: JUMP
00001843: JUMPDEST
00001844: DUP3
00001845: ADD
00001846: SWAP2
00001847: SWAP1
00001848: PUSH1 0x00
0000184a: MSTORE
0000184b: PUSH1 0x20
0000184d: PUSH1 0x00
0000184f: KECCAK256
00001850: SWAP1
00001851: JUMPDEST
00001852: DUP2
00001853: SLOAD
00001854: DUP2
00001855: MSTORE
00001856: SWAP1
00001857: PUSH1 0x01
00001859: ADD
0000185a: SWAP1
0000185b: PUSH1 0x20
0000185d: ADD
0000185e: DUP1
0000185f: DUP4
00001860: GT
00001861: PUSH2 0x1851
00001864: JUMPI
00001865: DUP3
00001866: SWAP1
00001867: SUB
00001868: PUSH1 0x1f
0000186a: AND
0000186b: DUP3
0000186c: ADD
0000186d: SWAP2
0000186e: JUMPDEST
0000186f: POP
00001870: POP
00001871: POP
00001872: POP
00001873: POP
00001874: SWAP1
00001875: POP
00001876: SWAP1
00001877: JUMP
00001878: JUMPDEST
00001879: PUSH1 0x00
0000187b: DUP1
0000187c: JUMPDEST
0000187d: DUP6
0000187e: DUP6
0000187f: SWAP1
00001880: POP
00001881: DUP2
00001882: LT
00001883: ISZERO
00001884: PUSH2 0x1978
00001887: JUMPI
00001888: PUSH1 0x00
0000188a: DUP5
0000188b: DUP5
0000188c: DUP4
0000188d: DUP2
0000188e: DUP2
0000188f: LT
00001890: PUSH2 0x18c2
00001893: JUMPI
00001894: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000018b5: PUSH1 0x00
000018b7: MSTORE
000018b8: PUSH1 0x32
000018ba: PUSH1 0x04
000018bc: MSTORE
000018bd: PUSH1 0x24
000018bf: PUSH1 0x00
000018c1: REVERT
000018c2: JUMPDEST
000018c3: SWAP1
000018c4: POP
000018c5: PUSH1 0x20
000018c7: MUL
000018c8: ADD
000018c9: CALLDATALOAD
000018ca: GT
000018cb: ISZERO
000018cc: PUSH2 0x1965
000018cf: JUMPI
000018d0: PUSH2 0x1957
000018d3: DUP7
000018d4: DUP7
000018d5: DUP4
000018d6: DUP2
000018d7: DUP2
000018d8: LT
000018d9: PUSH2 0x190b
000018dc: JUMPI
000018dd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000018fe: PUSH1 0x00
00001900: MSTORE
00001901: PUSH1 0x32
00001903: PUSH1 0x04
00001905: MSTORE
00001906: PUSH1 0x24
00001908: PUSH1 0x00
0000190a: REVERT
0000190b: JUMPDEST
0000190c: SWAP1
0000190d: POP
0000190e: PUSH1 0x20
00001910: MUL
00001911: ADD
00001912: CALLDATALOAD
00001913: DUP6
00001914: DUP6
00001915: DUP5
00001916: DUP2
00001917: DUP2
00001918: LT
00001919: PUSH2 0x194b
0000191c: JUMPI
0000191d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000193e: PUSH1 0x00
00001940: MSTORE
00001941: PUSH1 0x32
00001943: PUSH1 0x04
00001945: MSTORE
00001946: PUSH1 0x24
00001948: PUSH1 0x00
0000194a: REVERT
0000194b: JUMPDEST
0000194c: SWAP1
0000194d: POP
0000194e: PUSH1 0x20
00001950: MUL
00001951: ADD
00001952: CALLDATALOAD
00001953: PUSH2 0x21cd
00001956: JUMP
00001957: JUMPDEST
00001958: DUP3
00001959: PUSH2 0x1962
0000195c: SWAP2
0000195d: SWAP1
0000195e: PUSH2 0x33ed
00001961: JUMP
00001962: JUMPDEST
00001963: SWAP2
00001964: POP
00001965: JUMPDEST
00001966: DUP1
00001967: DUP1
00001968: PUSH2 0x1970
0000196b: SWAP1
0000196c: PUSH2 0x37d3
0000196f: JUMP
00001970: JUMPDEST
00001971: SWAP2
00001972: POP
00001973: POP
00001974: PUSH2 0x187c
00001977: JUMP
00001978: JUMPDEST
00001979: POP
0000197a: CALLER
0000197b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001990: AND
00001991: PUSH2 0x08fc
00001994: DUP3
00001995: SWAP1
00001996: DUP2
00001997: ISZERO
00001998: MUL
00001999: SWAP1
0000199a: PUSH1 0x40
0000199c: MLOAD
0000199d: PUSH1 0x00
0000199f: PUSH1 0x40
000019a1: MLOAD
000019a2: DUP1
000019a3: DUP4
000019a4: SUB
000019a5: DUP2
000019a6: DUP6
000019a7: DUP9
000019a8: DUP9
000019a9: CALL
000019aa: SWAP4
000019ab: POP
000019ac: POP
000019ad: POP
000019ae: POP
000019af: ISZERO
000019b0: DUP1
000019b1: ISZERO
000019b2: PUSH2 0x19bf
000019b5: JUMPI
000019b6: RETURNDATASIZE
000019b7: PUSH1 0x00
000019b9: DUP1
000019ba: RETURNDATACOPY
000019bb: RETURNDATASIZE
000019bc: PUSH1 0x00
000019be: REVERT
000019bf: JUMPDEST
000019c0: POP
000019c1: POP
000019c2: POP
000019c3: POP
000019c4: POP
000019c5: POP
000019c6: JUMP
000019c7: JUMPDEST
000019c8: DUP2
000019c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019de: AND
000019df: CALLER
000019e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f5: AND
000019f6: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001a17: DUP4
00001a18: PUSH1 0x40
00001a1a: MLOAD
00001a1b: PUSH2 0x1a24
00001a1e: SWAP2
00001a1f: SWAP1
00001a20: PUSH2 0x3101
00001a23: JUMP
00001a24: JUMPDEST
00001a25: PUSH1 0x40
00001a27: MLOAD
00001a28: DUP1
00001a29: SWAP2
00001a2a: SUB
00001a2b: SWAP1
00001a2c: LOG3
00001a2d: DUP1
00001a2e: PUSH1 0x06
00001a30: PUSH1 0x00
00001a32: CALLER
00001a33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a48: AND
00001a49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a5e: AND
00001a5f: DUP2
00001a60: MSTORE
00001a61: PUSH1 0x20
00001a63: ADD
00001a64: SWAP1
00001a65: DUP2
00001a66: MSTORE
00001a67: PUSH1 0x20
00001a69: ADD
00001a6a: PUSH1 0x00
00001a6c: KECCAK256
00001a6d: PUSH1 0x00
00001a6f: DUP5
00001a70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a85: AND
00001a86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a9b: AND
00001a9c: DUP2
00001a9d: MSTORE
00001a9e: PUSH1 0x20
00001aa0: ADD
00001aa1: SWAP1
00001aa2: DUP2
00001aa3: MSTORE
00001aa4: PUSH1 0x20
00001aa6: ADD
00001aa7: PUSH1 0x00
00001aa9: KECCAK256
00001aaa: PUSH1 0x00
00001aac: PUSH2 0x0100
00001aaf: EXP
00001ab0: DUP2
00001ab1: SLOAD
00001ab2: DUP2
00001ab3: PUSH1 0xff
00001ab5: MUL
00001ab6: NOT
00001ab7: AND
00001ab8: SWAP1
00001ab9: DUP4
00001aba: ISZERO
00001abb: ISZERO
00001abc: MUL
00001abd: OR
00001abe: SWAP1
00001abf: SSTORE
00001ac0: POP
00001ac1: POP
00001ac2: POP
00001ac3: JUMP
00001ac4: JUMPDEST
00001ac5: PUSH1 0x00
00001ac7: SLOAD
00001ac8: DUP2
00001ac9: JUMP
00001aca: JUMPDEST
00001acb: PUSH1 0x02
00001acd: SLOAD
00001ace: DUP2
00001acf: JUMP
00001ad0: JUMPDEST
00001ad1: PUSH2 0x1adb
00001ad4: DUP5
00001ad5: DUP5
00001ad6: DUP5
00001ad7: PUSH2 0x09e5
00001ada: JUMP
00001adb: JUMPDEST
00001adc: PUSH1 0x00
00001ade: DUP4
00001adf: EXTCODESIZE
00001ae0: SWAP1
00001ae1: POP
00001ae2: PUSH1 0x00
00001ae4: DUP2
00001ae5: PUSH4 0xffffffff
00001aea: AND
00001aeb: GT
00001aec: ISZERO
00001aed: PUSH2 0x1c27
00001af0: JUMPI
00001af1: PUSH1 0x00
00001af3: DUP5
00001af4: SWAP1
00001af5: POP
00001af6: PUSH32 0x150b7a023d4804d13e8c85fb27262cb750cf6ba9f9dd3bb30d90f482ceeb4b1f
00001b17: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001b34: NOT
00001b35: AND
00001b36: DUP2
00001b37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b4c: AND
00001b4d: PUSH4 0x150b7a02
00001b52: CALLER
00001b53: DUP10
00001b54: DUP9
00001b55: DUP9
00001b56: PUSH1 0x40
00001b58: MLOAD
00001b59: DUP6
00001b5a: PUSH4 0xffffffff
00001b5f: AND
00001b60: PUSH1 0xe0
00001b62: SHL
00001b63: DUP2
00001b64: MSTORE
00001b65: PUSH1 0x04
00001b67: ADD
00001b68: PUSH2 0x1b74
00001b6b: SWAP5
00001b6c: SWAP4
00001b6d: SWAP3
00001b6e: SWAP2
00001b6f: SWAP1
00001b70: PUSH2 0x30b5
00001b73: JUMP
00001b74: JUMPDEST
00001b75: PUSH1 0x20
00001b77: PUSH1 0x40
00001b79: MLOAD
00001b7a: DUP1
00001b7b: DUP4
00001b7c: SUB
00001b7d: DUP2
00001b7e: PUSH1 0x00
00001b80: DUP8
00001b81: DUP1
00001b82: EXTCODESIZE
00001b83: ISZERO
00001b84: DUP1
00001b85: ISZERO
00001b86: PUSH2 0x1b8e
00001b89: JUMPI
00001b8a: PUSH1 0x00
00001b8c: DUP1
00001b8d: REVERT
00001b8e: JUMPDEST
00001b8f: POP
00001b90: GAS
00001b91: CALL
00001b92: ISZERO
00001b93: DUP1
00001b94: ISZERO
00001b95: PUSH2 0x1ba2
00001b98: JUMPI
00001b99: RETURNDATASIZE
00001b9a: PUSH1 0x00
00001b9c: DUP1
00001b9d: RETURNDATACOPY
00001b9e: RETURNDATASIZE
00001b9f: PUSH1 0x00
00001ba1: REVERT
00001ba2: JUMPDEST
00001ba3: POP
00001ba4: POP
00001ba5: POP
00001ba6: POP
00001ba7: PUSH1 0x40
00001ba9: MLOAD
00001baa: RETURNDATASIZE
00001bab: PUSH1 0x1f
00001bad: NOT
00001bae: PUSH1 0x1f
00001bb0: DUP3
00001bb1: ADD
00001bb2: AND
00001bb3: DUP3
00001bb4: ADD
00001bb5: DUP1
00001bb6: PUSH1 0x40
00001bb8: MSTORE
00001bb9: POP
00001bba: DUP2
00001bbb: ADD
00001bbc: SWAP1
00001bbd: PUSH2 0x1bc6
00001bc0: SWAP2
00001bc1: SWAP1
00001bc2: PUSH2 0x2a5c
00001bc5: JUMP
00001bc6: JUMPDEST
00001bc7: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001be4: NOT
00001be5: AND
00001be6: EQ
00001be7: PUSH2 0x1c25
00001bea: JUMPI
00001beb: PUSH1 0x40
00001bed: MLOAD
00001bee: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c0f: DUP2
00001c10: MSTORE
00001c11: PUSH1 0x04
00001c13: ADD
00001c14: PUSH2 0x1c1c
00001c17: SWAP1
00001c18: PUSH2 0x31f9
00001c1b: JUMP
00001c1c: JUMPDEST
00001c1d: PUSH1 0x40
00001c1f: MLOAD
00001c20: DUP1
00001c21: SWAP2
00001c22: SUB
00001c23: SWAP1
00001c24: REVERT
00001c25: JUMPDEST
00001c26: POP
00001c27: JUMPDEST
00001c28: POP
00001c29: POP
00001c2a: POP
00001c2b: POP
00001c2c: POP
00001c2d: JUMP
00001c2e: JUMPDEST
00001c2f: PUSH1 0x60
00001c31: PUSH2 0x1c39
00001c34: DUP3
00001c35: PUSH2 0x1ec0
00001c38: JUMP
00001c39: JUMPDEST
00001c3a: PUSH2 0x1c78
00001c3d: JUMPI
00001c3e: PUSH1 0x40
00001c40: MLOAD
00001c41: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c62: DUP2
00001c63: MSTORE
00001c64: PUSH1 0x04
00001c66: ADD
00001c67: PUSH2 0x1c6f
00001c6a: SWAP1
00001c6b: PUSH2 0x31d9
00001c6e: JUMP
00001c6f: JUMPDEST
00001c70: PUSH1 0x40
00001c72: MLOAD
00001c73: DUP1
00001c74: SWAP2
00001c75: SUB
00001c76: SWAP1
00001c77: REVERT
00001c78: JUMPDEST
00001c79: PUSH1 0x00
00001c7b: DUP3
00001c7c: SWAP1
00001c7d: POP
00001c7e: PUSH1 0x00
00001c80: DUP2
00001c81: SWAP1
00001c82: POP
00001c83: PUSH1 0x00
00001c85: JUMPDEST
00001c86: PUSH1 0x00
00001c88: DUP3
00001c89: EQ
00001c8a: PUSH2 0x1caf
00001c8d: JUMPI
00001c8e: DUP1
00001c8f: DUP1
00001c90: PUSH2 0x1c98
00001c93: SWAP1
00001c94: PUSH2 0x37d3
00001c97: JUMP
00001c98: JUMPDEST
00001c99: SWAP2
00001c9a: POP
00001c9b: POP
00001c9c: PUSH1 0x0a
00001c9e: DUP3
00001c9f: PUSH2 0x1ca8
00001ca2: SWAP2
00001ca3: SWAP1
00001ca4: PUSH2 0x347a
00001ca7: JUMP
00001ca8: JUMPDEST
00001ca9: SWAP2
00001caa: POP
00001cab: PUSH2 0x1c85
00001cae: JUMP
00001caf: JUMPDEST
00001cb0: PUSH1 0x00
00001cb2: DUP2
00001cb3: PUSH8 0xffffffffffffffff
00001cbc: DUP2
00001cbd: GT
00001cbe: ISZERO
00001cbf: PUSH2 0x1cf1
00001cc2: JUMPI
00001cc3: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001ce4: PUSH1 0x00
00001ce6: MSTORE
00001ce7: PUSH1 0x41
00001ce9: PUSH1 0x04
00001ceb: MSTORE
00001cec: PUSH1 0x24
00001cee: PUSH1 0x00
00001cf0: REVERT
00001cf1: JUMPDEST
00001cf2: PUSH1 0x40
00001cf4: MLOAD
00001cf5: SWAP1
00001cf6: DUP1
00001cf7: DUP3
00001cf8: MSTORE
00001cf9: DUP1
00001cfa: PUSH1 0x1f
00001cfc: ADD
00001cfd: PUSH1 0x1f
00001cff: NOT
00001d00: AND
00001d01: PUSH1 0x20
00001d03: ADD
00001d04: DUP3
00001d05: ADD
00001d06: PUSH1 0x40
00001d08: MSTORE
00001d09: DUP1
00001d0a: ISZERO
00001d0b: PUSH2 0x1d23
00001d0e: JUMPI
00001d0f: DUP2
00001d10: PUSH1 0x20
00001d12: ADD
00001d13: PUSH1 0x01
00001d15: DUP3
00001d16: MUL
00001d17: DUP1
00001d18: CALLDATASIZE
00001d19: DUP4
00001d1a: CALLDATACOPY
00001d1b: DUP1
00001d1c: DUP3
00001d1d: ADD
00001d1e: SWAP2
00001d1f: POP
00001d20: POP
00001d21: SWAP1
00001d22: POP
00001d23: JUMPDEST
00001d24: POP
00001d25: SWAP1
00001d26: POP
00001d27: PUSH1 0x00
00001d29: DUP3
00001d2a: SWAP1
00001d2b: POP
00001d2c: JUMPDEST
00001d2d: PUSH1 0x00
00001d2f: DUP6
00001d30: EQ
00001d31: PUSH2 0x1dfd
00001d34: JUMPI
00001d35: PUSH1 0x01
00001d37: DUP2
00001d38: PUSH2 0x1d41
00001d3b: SWAP2
00001d3c: SWAP1
00001d3d: PUSH2 0x3676
00001d40: JUMP
00001d41: JUMPDEST
00001d42: SWAP1
00001d43: POP
00001d44: PUSH1 0x00
00001d46: PUSH1 0x0a
00001d48: DUP1
00001d49: DUP8
00001d4a: PUSH2 0x1d53
00001d4d: SWAP2
00001d4e: SWAP1
00001d4f: PUSH2 0x347a
00001d52: JUMP
00001d53: JUMPDEST
00001d54: PUSH2 0x1d5d
00001d57: SWAP2
00001d58: SWAP1
00001d59: PUSH2 0x361c
00001d5c: JUMP
00001d5d: JUMPDEST
00001d5e: DUP7
00001d5f: PUSH2 0x1d68
00001d62: SWAP2
00001d63: SWAP1
00001d64: PUSH2 0x3676
00001d67: JUMP
00001d68: JUMPDEST
00001d69: PUSH1 0x30
00001d6b: PUSH2 0x1d74
00001d6e: SWAP2
00001d6f: SWAP1
00001d70: PUSH2 0x3443
00001d73: JUMP
00001d74: JUMPDEST
00001d75: SWAP1
00001d76: POP
00001d77: PUSH1 0x00
00001d79: DUP2
00001d7a: PUSH1 0xf8
00001d7c: SHL
00001d7d: SWAP1
00001d7e: POP
00001d7f: DUP1
00001d80: DUP5
00001d81: DUP5
00001d82: DUP2
00001d83: MLOAD
00001d84: DUP2
00001d85: LT
00001d86: PUSH2 0x1db8
00001d89: JUMPI
00001d8a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001dab: PUSH1 0x00
00001dad: MSTORE
00001dae: PUSH1 0x32
00001db0: PUSH1 0x04
00001db2: MSTORE
00001db3: PUSH1 0x24
00001db5: PUSH1 0x00
00001db7: REVERT
00001db8: JUMPDEST
00001db9: PUSH1 0x20
00001dbb: ADD
00001dbc: ADD
00001dbd: SWAP1
00001dbe: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001dde: NOT
00001ddf: AND
00001de0: SWAP1
00001de1: DUP2
00001de2: PUSH1 0x00
00001de4: BYTE
00001de5: SWAP1
00001de6: MSTORE8
00001de7: POP
00001de8: PUSH1 0x0a
00001dea: DUP8
00001deb: PUSH2 0x1df4
00001dee: SWAP2
00001def: SWAP1
00001df0: PUSH2 0x347a
00001df3: JUMP
00001df4: JUMPDEST
00001df5: SWAP7
00001df6: POP
00001df7: POP
00001df8: POP
00001df9: PUSH2 0x1d2c
00001dfc: JUMP
00001dfd: JUMPDEST
00001dfe: PUSH1 0x0b
00001e00: DUP3
00001e01: PUSH1 0x40
00001e03: MLOAD
00001e04: PUSH1 0x20
00001e06: ADD
00001e07: PUSH2 0x1e11
00001e0a: SWAP3
00001e0b: SWAP2
00001e0c: SWAP1
00001e0d: PUSH2 0x3076
00001e10: JUMP
00001e11: JUMPDEST
00001e12: PUSH1 0x40
00001e14: MLOAD
00001e15: PUSH1 0x20
00001e17: DUP2
00001e18: DUP4
00001e19: SUB
00001e1a: SUB
00001e1b: DUP2
00001e1c: MSTORE
00001e1d: SWAP1
00001e1e: PUSH1 0x40
00001e20: MSTORE
00001e21: SWAP6
00001e22: POP
00001e23: POP
00001e24: POP
00001e25: POP
00001e26: POP
00001e27: POP
00001e28: SWAP2
00001e29: SWAP1
00001e2a: POP
00001e2b: JUMP
00001e2c: JUMPDEST
00001e2d: PUSH1 0x00
00001e2f: PUSH1 0x06
00001e31: PUSH1 0x00
00001e33: DUP5
00001e34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e49: AND
00001e4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e5f: AND
00001e60: DUP2
00001e61: MSTORE
00001e62: PUSH1 0x20
00001e64: ADD
00001e65: SWAP1
00001e66: DUP2
00001e67: MSTORE
00001e68: PUSH1 0x20
00001e6a: ADD
00001e6b: PUSH1 0x00
00001e6d: KECCAK256
00001e6e: PUSH1 0x00
00001e70: DUP4
00001e71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e86: AND
00001e87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e9c: AND
00001e9d: DUP2
00001e9e: MSTORE
00001e9f: PUSH1 0x20
00001ea1: ADD
00001ea2: SWAP1
00001ea3: DUP2
00001ea4: MSTORE
00001ea5: PUSH1 0x20
00001ea7: ADD
00001ea8: PUSH1 0x00
00001eaa: KECCAK256
00001eab: PUSH1 0x00
00001ead: SWAP1
00001eae: SLOAD
00001eaf: SWAP1
00001eb0: PUSH2 0x0100
00001eb3: EXP
00001eb4: SWAP1
00001eb5: DIV
00001eb6: PUSH1 0xff
00001eb8: AND
00001eb9: SWAP1
00001eba: POP
00001ebb: SWAP3
00001ebc: SWAP2
00001ebd: POP
00001ebe: POP
00001ebf: JUMP
00001ec0: JUMPDEST
00001ec1: PUSH1 0x00
00001ec3: DUP1
00001ec4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ed9: AND
00001eda: PUSH1 0x08
00001edc: PUSH1 0x00
00001ede: DUP5
00001edf: DUP2
00001ee0: MSTORE
00001ee1: PUSH1 0x20
00001ee3: ADD
00001ee4: SWAP1
00001ee5: DUP2
00001ee6: MSTORE
00001ee7: PUSH1 0x20
00001ee9: ADD
00001eea: PUSH1 0x00
00001eec: KECCAK256
00001eed: PUSH1 0x00
00001eef: SWAP1
00001ef0: SLOAD
00001ef1: SWAP1
00001ef2: PUSH2 0x0100
00001ef5: EXP
00001ef6: SWAP1
00001ef7: DIV
00001ef8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f0d: AND
00001f0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f23: AND
00001f24: EQ
00001f25: ISZERO
00001f26: SWAP1
00001f27: POP
00001f28: SWAP2
00001f29: SWAP1
00001f2a: POP
00001f2b: JUMP
00001f2c: JUMPDEST
00001f2d: PUSH2 0x1f35
00001f30: DUP2
00001f31: PUSH2 0x1ec0
00001f34: JUMP
00001f35: JUMPDEST
00001f36: ISZERO
00001f37: PUSH2 0x1f75
00001f3a: JUMPI
00001f3b: PUSH1 0x40
00001f3d: MLOAD
00001f3e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f5f: DUP2
00001f60: MSTORE
00001f61: PUSH1 0x04
00001f63: ADD
00001f64: PUSH2 0x1f6c
00001f67: SWAP1
00001f68: PUSH2 0x32d9
00001f6b: JUMP
00001f6c: JUMPDEST
00001f6d: PUSH1 0x40
00001f6f: MLOAD
00001f70: DUP1
00001f71: SWAP2
00001f72: SUB
00001f73: SWAP1
00001f74: REVERT
00001f75: JUMPDEST
00001f76: PUSH1 0x01
00001f78: SLOAD
00001f79: DUP2
00001f7a: GT
00001f7b: ISZERO
00001f7c: PUSH2 0x1fba
00001f7f: JUMPI
00001f80: PUSH1 0x40
00001f82: MLOAD
00001f83: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fa4: DUP2
00001fa5: MSTORE
00001fa6: PUSH1 0x04
00001fa8: ADD
00001fa9: PUSH2 0x1fb1
00001fac: SWAP1
00001fad: PUSH2 0x3219
00001fb0: JUMP
00001fb1: JUMPDEST
00001fb2: PUSH1 0x40
00001fb4: MLOAD
00001fb5: DUP1
00001fb6: SWAP2
00001fb7: SUB
00001fb8: SWAP1
00001fb9: REVERT
00001fba: JUMPDEST
00001fbb: CALLER
00001fbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd1: AND
00001fd2: PUSH1 0x03
00001fd4: PUSH1 0x00
00001fd6: SWAP1
00001fd7: SLOAD
00001fd8: SWAP1
00001fd9: PUSH2 0x0100
00001fdc: EXP
00001fdd: SWAP1
00001fde: DIV
00001fdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff4: AND
00001ff5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000200a: AND
0000200b: PUSH4 0x6352211e
00002010: DUP4
00002011: PUSH1 0x40
00002013: MLOAD
00002014: DUP3
00002015: PUSH4 0xffffffff
0000201a: AND
0000201b: PUSH1 0xe0
0000201d: SHL
0000201e: DUP2
0000201f: MSTORE
00002020: PUSH1 0x04
00002022: ADD
00002023: PUSH2 0x202c
00002026: SWAP2
00002027: SWAP1
00002028: PUSH2 0x3319
0000202b: JUMP
0000202c: JUMPDEST
0000202d: PUSH1 0x20
0000202f: PUSH1 0x40
00002031: MLOAD
00002032: DUP1
00002033: DUP4
00002034: SUB
00002035: DUP2
00002036: DUP7
00002037: DUP1
00002038: EXTCODESIZE
00002039: ISZERO
0000203a: DUP1
0000203b: ISZERO
0000203c: PUSH2 0x2044
0000203f: JUMPI
00002040: PUSH1 0x00
00002042: DUP1
00002043: REVERT
00002044: JUMPDEST
00002045: POP
00002046: GAS
00002047: STATICCALL
00002048: ISZERO
00002049: DUP1
0000204a: ISZERO
0000204b: PUSH2 0x2058
0000204e: JUMPI
0000204f: RETURNDATASIZE
00002050: PUSH1 0x00
00002052: DUP1
00002053: RETURNDATACOPY
00002054: RETURNDATASIZE
00002055: PUSH1 0x00
00002057: REVERT
00002058: JUMPDEST
00002059: POP
0000205a: POP
0000205b: POP
0000205c: POP
0000205d: PUSH1 0x40
0000205f: MLOAD
00002060: RETURNDATASIZE
00002061: PUSH1 0x1f
00002063: NOT
00002064: PUSH1 0x1f
00002066: DUP3
00002067: ADD
00002068: AND
00002069: DUP3
0000206a: ADD
0000206b: DUP1
0000206c: PUSH1 0x40
0000206e: MSTORE
0000206f: POP
00002070: DUP2
00002071: ADD
00002072: SWAP1
00002073: PUSH2 0x207c
00002076: SWAP2
00002077: SWAP1
00002078: PUSH2 0x27ee
0000207b: JUMP
0000207c: JUMPDEST
0000207d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002092: AND
00002093: EQ
00002094: PUSH2 0x20d2
00002097: JUMPI
00002098: PUSH1 0x40
0000209a: MLOAD
0000209b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000020bc: DUP2
000020bd: MSTORE
000020be: PUSH1 0x04
000020c0: ADD
000020c1: PUSH2 0x20c9
000020c4: SWAP1
000020c5: PUSH2 0x3159
000020c8: JUMP
000020c9: JUMPDEST
000020ca: PUSH1 0x40
000020cc: MLOAD
000020cd: DUP1
000020ce: SWAP2
000020cf: SUB
000020d0: SWAP1
000020d1: REVERT
000020d2: JUMPDEST
000020d3: PUSH1 0x00
000020d5: DUP1
000020d6: DUP2
000020d7: SLOAD
000020d8: DUP1
000020d9: SWAP3
000020da: SWAP2
000020db: SWAP1
000020dc: PUSH2 0x20e4
000020df: SWAP1
000020e0: PUSH2 0x3777
000020e3: JUMP
000020e4: JUMPDEST
000020e5: SWAP2
000020e6: SWAP1
000020e7: POP
000020e8: SSTORE
000020e9: POP
000020ea: PUSH2 0x219d
000020ed: DUP2
000020ee: PUSH1 0x03
000020f0: PUSH1 0x00
000020f2: SWAP1
000020f3: SLOAD
000020f4: SWAP1
000020f5: PUSH2 0x0100
000020f8: EXP
000020f9: SWAP1
000020fa: DIV
000020fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002110: AND
00002111: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002126: AND
00002127: PUSH4 0x7e551b75
0000212c: DUP5
0000212d: PUSH1 0x40
0000212f: MLOAD
00002130: DUP3
00002131: PUSH4 0xffffffff
00002136: AND
00002137: PUSH1 0xe0
00002139: SHL
0000213a: DUP2
0000213b: MSTORE
0000213c: PUSH1 0x04
0000213e: ADD
0000213f: PUSH2 0x2148
00002142: SWAP2
00002143: SWAP1
00002144: PUSH2 0x3319
00002147: JUMP
00002148: JUMPDEST
00002149: PUSH1 0x20
0000214b: PUSH1 0x40
0000214d: MLOAD
0000214e: DUP1
0000214f: DUP4
00002150: SUB
00002151: DUP2
00002152: DUP7
00002153: DUP1
00002154: EXTCODESIZE
00002155: ISZERO
00002156: DUP1
00002157: ISZERO
00002158: PUSH2 0x2160
0000215b: JUMPI
0000215c: PUSH1 0x00
0000215e: DUP1
0000215f: REVERT
00002160: JUMPDEST
00002161: POP
00002162: GAS
00002163: STATICCALL
00002164: ISZERO
00002165: DUP1
00002166: ISZERO
00002167: PUSH2 0x2174
0000216a: JUMPI
0000216b: RETURNDATASIZE
0000216c: PUSH1 0x00
0000216e: DUP1
0000216f: RETURNDATACOPY
00002170: RETURNDATASIZE
00002171: PUSH1 0x00
00002173: REVERT
00002174: JUMPDEST
00002175: POP
00002176: POP
00002177: POP
00002178: POP
00002179: PUSH1 0x40
0000217b: MLOAD
0000217c: RETURNDATASIZE
0000217d: PUSH1 0x1f
0000217f: NOT
00002180: PUSH1 0x1f
00002182: DUP3
00002183: ADD
00002184: AND
00002185: DUP3
00002186: ADD
00002187: DUP1
00002188: PUSH1 0x40
0000218a: MSTORE
0000218b: POP
0000218c: DUP2
0000218d: ADD
0000218e: SWAP1
0000218f: PUSH2 0x2198
00002192: SWAP2
00002193: SWAP1
00002194: PUSH2 0x2a0a
00002197: JUMP
00002198: JUMPDEST
00002199: PUSH2 0x2456
0000219c: JUMP
0000219d: JUMPDEST
0000219e: DUP1
0000219f: PUSH32 0xd5837b673ffaac69230366d3f7eb7cb2ba2b9fd8f2d4e9d0f5e92d3756b1d546
000021c0: PUSH1 0x40
000021c2: MLOAD
000021c3: PUSH1 0x40
000021c5: MLOAD
000021c6: DUP1
000021c7: SWAP2
000021c8: SUB
000021c9: SWAP1
000021ca: LOG2
000021cb: POP
000021cc: JUMP
000021cd: JUMPDEST
000021ce: PUSH1 0x00
000021d0: PUSH2 0x21d8
000021d3: DUP3
000021d4: PUSH2 0x1ec0
000021d7: JUMP
000021d8: JUMPDEST
000021d9: PUSH2 0x2217
000021dc: JUMPI
000021dd: PUSH1 0x40
000021df: MLOAD
000021e0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002201: DUP2
00002202: MSTORE
00002203: PUSH1 0x04
00002205: ADD
00002206: PUSH2 0x220e
00002209: SWAP1
0000220a: PUSH2 0x3279
0000220d: JUMP
0000220e: JUMPDEST
0000220f: PUSH1 0x40
00002211: MLOAD
00002212: DUP1
00002213: SWAP2
00002214: SUB
00002215: SWAP1
00002216: REVERT
00002217: JUMPDEST
00002218: CALLER
00002219: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000222e: AND
0000222f: PUSH2 0x2237
00002232: DUP5
00002233: PUSH2 0x1669
00002236: JUMP
00002237: JUMPDEST
00002238: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000224d: AND
0000224e: EQ
0000224f: PUSH2 0x228d
00002252: JUMPI
00002253: PUSH1 0x40
00002255: MLOAD
00002256: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002277: DUP2
00002278: MSTORE
00002279: PUSH1 0x04
0000227b: ADD
0000227c: PUSH2 0x2284
0000227f: SWAP1
00002280: PUSH2 0x3159
00002283: JUMP
00002284: JUMPDEST
00002285: PUSH1 0x40
00002287: MLOAD
00002288: DUP1
00002289: SWAP2
0000228a: SUB
0000228b: SWAP1
0000228c: REVERT
0000228d: JUMPDEST
0000228e: PUSH1 0x10
00002290: PUSH1 0x00
00002292: DUP5
00002293: DUP2
00002294: MSTORE
00002295: PUSH1 0x20
00002297: ADD
00002298: SWAP1
00002299: DUP2
0000229a: MSTORE
0000229b: PUSH1 0x20
0000229d: ADD
0000229e: PUSH1 0x00
000022a0: KECCAK256
000022a1: SLOAD
000022a2: DUP3
000022a3: GT
000022a4: PUSH2 0x22e2
000022a7: JUMPI
000022a8: PUSH1 0x40
000022aa: MLOAD
000022ab: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022cc: DUP2
000022cd: MSTORE
000022ce: PUSH1 0x04
000022d0: ADD
000022d1: PUSH2 0x22d9
000022d4: SWAP1
000022d5: PUSH2 0x32b9
000022d8: JUMP
000022d9: JUMPDEST
000022da: PUSH1 0x40
000022dc: MLOAD
000022dd: DUP1
000022de: SWAP2
000022df: SUB
000022e0: SWAP1
000022e1: REVERT
000022e2: JUMPDEST
000022e3: PUSH1 0x00
000022e5: PUSH2 0x22ed
000022e8: DUP5
000022e9: PUSH2 0x2414
000022ec: JUMP
000022ed: JUMPDEST
000022ee: SWAP1
000022ef: POP
000022f0: PUSH1 0x00
000022f2: PUSH1 0x01
000022f4: DUP3
000022f5: PUSH2 0x22fe
000022f8: SWAP2
000022f9: SWAP1
000022fa: PUSH2 0x33ed
000022fd: JUMP
000022fe: JUMPDEST
000022ff: PUSH1 0x02
00002301: PUSH2 0x230a
00002304: SWAP2
00002305: SWAP1
00002306: PUSH2 0x34fe
00002309: JUMP
0000230a: JUMPDEST
0000230b: SWAP1
0000230c: POP
0000230d: PUSH1 0x00
0000230f: PUSH1 0x10
00002311: PUSH1 0x00
00002313: DUP8
00002314: DUP2
00002315: MSTORE
00002316: PUSH1 0x20
00002318: ADD
00002319: SWAP1
0000231a: DUP2
0000231b: MSTORE
0000231c: PUSH1 0x20
0000231e: ADD
0000231f: PUSH1 0x00
00002321: KECCAK256
00002322: SLOAD
00002323: SWAP1
00002324: POP
00002325: DUP6
00002326: DUP2
00002327: LT
00002328: ISZERO
00002329: PUSH2 0x2358
0000232c: JUMPI
0000232d: DUP6
0000232e: SWAP1
0000232f: POP
00002330: PUSH1 0x01
00002332: SLOAD
00002333: DUP2
00002334: LT
00002335: ISZERO
00002336: PUSH2 0x233f
00002339: JUMPI
0000233a: PUSH1 0x01
0000233c: SLOAD
0000233d: SWAP1
0000233e: POP
0000233f: JUMPDEST
00002340: DUP2
00002341: DUP2
00002342: LT
00002343: ISZERO
00002344: PUSH2 0x2357
00002347: JUMPI
00002348: PUSH1 0x01
0000234a: DUP3
0000234b: PUSH2 0x2354
0000234e: SWAP2
0000234f: SWAP1
00002350: PUSH2 0x3676
00002353: JUMP
00002354: JUMPDEST
00002355: SWAP1
00002356: POP
00002357: JUMPDEST
00002358: JUMPDEST
00002359: DUP1
0000235a: DUP6
0000235b: GT
0000235c: PUSH2 0x239a
0000235f: JUMPI
00002360: PUSH1 0x40
00002362: MLOAD
00002363: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002384: DUP2
00002385: MSTORE
00002386: PUSH1 0x04
00002388: ADD
00002389: PUSH2 0x2391
0000238c: SWAP1
0000238d: PUSH2 0x3179
00002390: JUMP
00002391: JUMPDEST
00002392: PUSH1 0x40
00002394: MLOAD
00002395: DUP1
00002396: SWAP2
00002397: SUB
00002398: SWAP1
00002399: REVERT
0000239a: JUMPDEST
0000239b: PUSH1 0x00
0000239d: DUP2
0000239e: DUP7
0000239f: PUSH2 0x23a8
000023a2: SWAP2
000023a3: SWAP1
000023a4: PUSH2 0x3676
000023a7: JUMP
000023a8: JUMPDEST
000023a9: PUSH1 0x11
000023ab: SLOAD
000023ac: PUSH2 0x23b5
000023af: SWAP2
000023b0: SWAP1
000023b1: PUSH2 0x361c
000023b4: JUMP
000023b5: JUMPDEST
000023b6: SWAP1
000023b7: POP
000023b8: DUP6
000023b9: PUSH1 0x10
000023bb: PUSH1 0x00
000023bd: DUP10
000023be: DUP2
000023bf: MSTORE
000023c0: PUSH1 0x20
000023c2: ADD
000023c3: SWAP1
000023c4: DUP2
000023c5: MSTORE
000023c6: PUSH1 0x20
000023c8: ADD
000023c9: PUSH1 0x00
000023cb: KECCAK256
000023cc: DUP2
000023cd: SWAP1
000023ce: SSTORE
000023cf: POP
000023d0: DUP7
000023d1: PUSH32 0x56ca301a9219608c91e7bcee90e083c19671d2cdcc96752c7af291cee5f9c8c8
000023f2: DUP3
000023f3: PUSH1 0x40
000023f5: MLOAD
000023f6: PUSH2 0x23ff
000023f9: SWAP2
000023fa: SWAP1
000023fb: PUSH2 0x3319
000023fe: JUMP
000023ff: JUMPDEST
00002400: PUSH1 0x40
00002402: MLOAD
00002403: DUP1
00002404: SWAP2
00002405: SUB
00002406: SWAP1
00002407: LOG2
00002408: DUP1
00002409: SWAP5
0000240a: POP
0000240b: POP
0000240c: POP
0000240d: POP
0000240e: POP
0000240f: SWAP3
00002410: SWAP2
00002411: POP
00002412: POP
00002413: JUMP
00002414: JUMPDEST
00002415: PUSH1 0x00
00002417: JUMPDEST
00002418: PUSH1 0x00
0000241a: DUP3
0000241b: GT
0000241c: ISZERO
0000241d: PUSH2 0x2442
00002420: JUMPI
00002421: PUSH1 0x02
00002423: DUP3
00002424: PUSH2 0x242d
00002427: SWAP2
00002428: SWAP1
00002429: PUSH2 0x347a
0000242c: JUMP
0000242d: JUMPDEST
0000242e: SWAP2
0000242f: POP
00002430: DUP1
00002431: DUP1
00002432: PUSH2 0x243a
00002435: SWAP1
00002436: PUSH2 0x37d3
00002439: JUMP
0000243a: JUMPDEST
0000243b: SWAP2
0000243c: POP
0000243d: POP
0000243e: PUSH2 0x2417
00002441: JUMP
00002442: JUMPDEST
00002443: PUSH1 0x01
00002445: DUP2
00002446: PUSH2 0x244f
00002449: SWAP2
0000244a: SWAP1
0000244b: PUSH2 0x3676
0000244e: JUMP
0000244f: JUMPDEST
00002450: SWAP1
00002451: POP
00002452: SWAP2
00002453: SWAP1
00002454: POP
00002455: JUMP
00002456: JUMPDEST
00002457: CALLER
00002458: PUSH1 0x08
0000245a: PUSH1 0x00
0000245c: DUP5
0000245d: DUP2
0000245e: MSTORE
0000245f: PUSH1 0x20
00002461: ADD
00002462: SWAP1
00002463: DUP2
00002464: MSTORE
00002465: PUSH1 0x20
00002467: ADD
00002468: PUSH1 0x00
0000246a: KECCAK256
0000246b: PUSH1 0x00
0000246d: PUSH2 0x0100
00002470: EXP
00002471: DUP2
00002472: SLOAD
00002473: DUP2
00002474: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002489: MUL
0000248a: NOT
0000248b: AND
0000248c: SWAP1
0000248d: DUP4
0000248e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024a3: AND
000024a4: MUL
000024a5: OR
000024a6: SWAP1
000024a7: SSTORE
000024a8: POP
000024a9: PUSH1 0x04
000024ab: PUSH1 0x00
000024ad: CALLER
000024ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024c3: AND
000024c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024d9: AND
000024da: DUP2
000024db: MSTORE
000024dc: PUSH1 0x20
000024de: ADD
000024df: SWAP1
000024e0: DUP2
000024e1: MSTORE
000024e2: PUSH1 0x20
000024e4: ADD
000024e5: PUSH1 0x00
000024e7: KECCAK256
000024e8: PUSH1 0x00
000024ea: DUP2
000024eb: SLOAD
000024ec: DUP1
000024ed: SWAP3
000024ee: SWAP2
000024ef: SWAP1
000024f0: PUSH2 0x24f8
000024f3: SWAP1
000024f4: PUSH2 0x37d3
000024f7: JUMP
000024f8: JUMPDEST
000024f9: SWAP2
000024fa: SWAP1
000024fb: POP
000024fc: SSTORE
000024fd: POP
000024fe: PUSH1 0x0c
00002500: PUSH1 0x00
00002502: CALLER
00002503: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002518: AND
00002519: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000252e: AND
0000252f: DUP2
00002530: MSTORE
00002531: PUSH1 0x20
00002533: ADD
00002534: SWAP1
00002535: DUP2
00002536: MSTORE
00002537: PUSH1 0x20
00002539: ADD
0000253a: PUSH1 0x00
0000253c: KECCAK256
0000253d: DUP1
0000253e: SLOAD
0000253f: SWAP1
00002540: POP
00002541: PUSH1 0x0d
00002543: PUSH1 0x00
00002545: DUP5
00002546: DUP2
00002547: MSTORE
00002548: PUSH1 0x20
0000254a: ADD
0000254b: SWAP1
0000254c: DUP2
0000254d: MSTORE
0000254e: PUSH1 0x20
00002550: ADD
00002551: PUSH1 0x00
00002553: KECCAK256
00002554: DUP2
00002555: SWAP1
00002556: SSTORE
00002557: POP
00002558: PUSH1 0x0c
0000255a: PUSH1 0x00
0000255c: CALLER
0000255d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002572: AND
00002573: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002588: AND
00002589: DUP2
0000258a: MSTORE
0000258b: PUSH1 0x20
0000258d: ADD
0000258e: SWAP1
0000258f: DUP2
00002590: MSTORE
00002591: PUSH1 0x20
00002593: ADD
00002594: PUSH1 0x00
00002596: KECCAK256
00002597: DUP3
00002598: SWAP1
00002599: DUP1
0000259a: PUSH1 0x01
0000259c: DUP2
0000259d: SLOAD
0000259e: ADD
0000259f: DUP1
000025a0: DUP3
000025a1: SSTORE
000025a2: DUP1
000025a3: SWAP2
000025a4: POP
000025a5: POP
000025a6: PUSH1 0x01
000025a8: SWAP1
000025a9: SUB
000025aa: SWAP1
000025ab: PUSH1 0x00
000025ad: MSTORE
000025ae: PUSH1 0x20
000025b0: PUSH1 0x00
000025b2: KECCAK256
000025b3: ADD
000025b4: PUSH1 0x00
000025b6: SWAP1
000025b7: SWAP2
000025b8: SWAP1
000025b9: SWAP2
000025ba: SWAP1
000025bb: SWAP2
000025bc: POP
000025bd: SSTORE
000025be: PUSH1 0x07
000025c0: DUP1
000025c1: SLOAD
000025c2: SWAP1
000025c3: POP
000025c4: PUSH1 0x0e
000025c6: PUSH1 0x00
000025c8: DUP5
000025c9: DUP2
000025ca: MSTORE
000025cb: PUSH1 0x20
000025cd: ADD
000025ce: SWAP1
000025cf: DUP2
000025d0: MSTORE
000025d1: PUSH1 0x20
000025d3: ADD
000025d4: PUSH1 0x00
000025d6: KECCAK256
000025d7: DUP2
000025d8: SWAP1
000025d9: SSTORE
000025da: POP
000025db: DUP2
000025dc: PUSH1 0x0f
000025de: PUSH1 0x00
000025e0: PUSH1 0x07
000025e2: DUP1
000025e3: SLOAD
000025e4: SWAP1
000025e5: POP
000025e6: DUP2
000025e7: MSTORE
000025e8: PUSH1 0x20
000025ea: ADD
000025eb: SWAP1
000025ec: DUP2
000025ed: MSTORE
000025ee: PUSH1 0x20
000025f0: ADD
000025f1: PUSH1 0x00
000025f3: KECCAK256
000025f4: DUP2
000025f5: SWAP1
000025f6: SSTORE
000025f7: POP
000025f8: PUSH1 0x07
000025fa: DUP2
000025fb: SWAP1
000025fc: DUP1
000025fd: PUSH1 0x01
000025ff: DUP2
00002600: SLOAD
00002601: ADD
00002602: DUP1
00002603: DUP3
00002604: SSTORE
00002605: DUP1
00002606: SWAP2
00002607: POP
00002608: POP
00002609: PUSH1 0x01
0000260b: SWAP1
0000260c: SUB
0000260d: SWAP1
0000260e: PUSH1 0x00
00002610: MSTORE
00002611: PUSH1 0x20
00002613: PUSH1 0x00
00002615: KECCAK256
00002616: ADD
00002617: PUSH1 0x00
00002619: SWAP1
0000261a: SWAP2
0000261b: SWAP1
0000261c: SWAP2
0000261d: SWAP1
0000261e: SWAP2
0000261f: POP
00002620: SSTORE
00002621: DUP2
00002622: CALLER
00002623: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002638: AND
00002639: PUSH1 0x00
0000263b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002650: AND
00002651: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002672: PUSH1 0x40
00002674: MLOAD
00002675: PUSH1 0x40
00002677: MLOAD
00002678: DUP1
00002679: SWAP2
0000267a: SUB
0000267b: SWAP1
0000267c: LOG4
0000267d: POP
0000267e: POP
0000267f: JUMP
00002680: JUMPDEST
00002681: PUSH1 0x00
00002683: PUSH2 0x2693
00002686: PUSH2 0x268e
00002689: DUP5
0000268a: PUSH2 0x3365
0000268d: JUMP
0000268e: JUMPDEST
0000268f: PUSH2 0x3334
00002692: JUMP
00002693: JUMPDEST
00002694: SWAP1
00002695: POP
00002696: DUP3
00002697: DUP2
00002698: MSTORE
00002699: PUSH1 0x20
0000269b: DUP2
0000269c: ADD
0000269d: DUP5
0000269e: DUP5
0000269f: DUP5
000026a0: ADD
000026a1: GT
000026a2: ISZERO
000026a3: PUSH2 0x26ab
000026a6: JUMPI
000026a7: PUSH1 0x00
000026a9: DUP1
000026aa: REVERT
000026ab: JUMPDEST
000026ac: PUSH2 0x26b6
000026af: DUP5
000026b0: DUP3
000026b1: DUP6
000026b2: PUSH2 0x3735
000026b5: JUMP
000026b6: JUMPDEST
000026b7: POP
000026b8: SWAP4
000026b9: SWAP3
000026ba: POP
000026bb: POP
000026bc: POP
000026bd: JUMP
000026be: JUMPDEST
000026bf: PUSH1 0x00
000026c1: DUP2
000026c2: CALLDATALOAD
000026c3: SWAP1
000026c4: POP
000026c5: PUSH2 0x26cd
000026c8: DUP2
000026c9: PUSH2 0x393b
000026cc: JUMP
000026cd: JUMPDEST
000026ce: SWAP3
000026cf: SWAP2
000026d0: POP
000026d1: POP
000026d2: JUMP
000026d3: JUMPDEST
000026d4: PUSH1 0x00
000026d6: DUP2
000026d7: MLOAD
000026d8: SWAP1
000026d9: POP
000026da: PUSH2 0x26e2
000026dd: DUP2
000026de: PUSH2 0x393b
000026e1: JUMP
000026e2: JUMPDEST
000026e3: SWAP3
000026e4: SWAP2
000026e5: POP
000026e6: POP
000026e7: JUMP
000026e8: JUMPDEST
000026e9: PUSH1 0x00
000026eb: DUP1
000026ec: DUP4
000026ed: PUSH1 0x1f
000026ef: DUP5
000026f0: ADD
000026f1: SLT
000026f2: PUSH2 0x26fa
000026f5: JUMPI
000026f6: PUSH1 0x00
000026f8: DUP1
000026f9: REVERT
000026fa: JUMPDEST
000026fb: DUP3
000026fc: CALLDATALOAD
000026fd: SWAP1
000026fe: POP
000026ff: PUSH8 0xffffffffffffffff
00002708: DUP2
00002709: GT
0000270a: ISZERO
0000270b: PUSH2 0x2713
0000270e: JUMPI
0000270f: PUSH1 0x00
00002711: DUP1
00002712: REVERT
00002713: JUMPDEST
00002714: PUSH1 0x20
00002716: DUP4
00002717: ADD
00002718: SWAP2
00002719: POP
0000271a: DUP4
0000271b: PUSH1 0x20
0000271d: DUP3
0000271e: MUL
0000271f: DUP4
00002720: ADD
00002721: GT
00002722: ISZERO
00002723: PUSH2 0x272b
00002726: JUMPI
00002727: PUSH1 0x00
00002729: DUP1
0000272a: REVERT
0000272b: JUMPDEST
0000272c: SWAP3
0000272d: POP
0000272e: SWAP3
0000272f: SWAP1
00002730: POP
00002731: JUMP
00002732: JUMPDEST
00002733: PUSH1 0x00
00002735: DUP2
00002736: CALLDATALOAD
00002737: SWAP1
00002738: POP
00002739: PUSH2 0x2741
0000273c: DUP2
0000273d: PUSH2 0x3952
00002740: JUMP
00002741: JUMPDEST
00002742: SWAP3
00002743: SWAP2
00002744: POP
00002745: POP
00002746: JUMP
00002747: JUMPDEST
00002748: PUSH1 0x00
0000274a: DUP2
0000274b: MLOAD
0000274c: SWAP1
0000274d: POP
0000274e: PUSH2 0x2756
00002751: DUP2
00002752: PUSH2 0x3969
00002755: JUMP
00002756: JUMPDEST
00002757: SWAP3
00002758: SWAP2
00002759: POP
0000275a: POP
0000275b: JUMP
0000275c: JUMPDEST
0000275d: PUSH1 0x00
0000275f: DUP2
00002760: CALLDATALOAD
00002761: SWAP1
00002762: POP
00002763: PUSH2 0x276b
00002766: DUP2
00002767: PUSH2 0x3980
0000276a: JUMP
0000276b: JUMPDEST
0000276c: SWAP3
0000276d: SWAP2
0000276e: POP
0000276f: POP
00002770: JUMP
00002771: JUMPDEST
00002772: PUSH1 0x00
00002774: DUP2
00002775: MLOAD
00002776: SWAP1
00002777: POP
00002778: PUSH2 0x2780
0000277b: DUP2
0000277c: PUSH2 0x3980
0000277f: JUMP
00002780: JUMPDEST
00002781: SWAP3
00002782: SWAP2
00002783: POP
00002784: POP
00002785: JUMP
00002786: JUMPDEST
00002787: PUSH1 0x00
00002789: DUP3
0000278a: PUSH1 0x1f
0000278c: DUP4
0000278d: ADD
0000278e: SLT
0000278f: PUSH2 0x2797
00002792: JUMPI
00002793: PUSH1 0x00
00002795: DUP1
00002796: REVERT
00002797: JUMPDEST
00002798: DUP2
00002799: CALLDATALOAD
0000279a: PUSH2 0x27a7
0000279d: DUP5
0000279e: DUP3
0000279f: PUSH1 0x20
000027a1: DUP7
000027a2: ADD
000027a3: PUSH2 0x2680
000027a6: JUMP
000027a7: JUMPDEST
000027a8: SWAP2
000027a9: POP
000027aa: POP
000027ab: SWAP3
000027ac: SWAP2
000027ad: POP
000027ae: POP
000027af: JUMP
000027b0: JUMPDEST
000027b1: PUSH1 0x00
000027b3: DUP2
000027b4: CALLDATALOAD
000027b5: SWAP1
000027b6: POP
000027b7: PUSH2 0x27bf
000027ba: DUP2
000027bb: PUSH2 0x3997
000027be: JUMP
000027bf: JUMPDEST
000027c0: SWAP3
000027c1: SWAP2
000027c2: POP
000027c3: POP
000027c4: JUMP
000027c5: JUMPDEST
000027c6: PUSH1 0x00
000027c8: PUSH1 0x20
000027ca: DUP3
000027cb: DUP5
000027cc: SUB
000027cd: SLT
000027ce: ISZERO
000027cf: PUSH2 0x27d7
000027d2: JUMPI
000027d3: PUSH1 0x00
000027d5: DUP1
000027d6: REVERT
000027d7: JUMPDEST
000027d8: PUSH1 0x00
000027da: PUSH2 0x27e5
000027dd: DUP5
000027de: DUP3
000027df: DUP6
000027e0: ADD
000027e1: PUSH2 0x26be
000027e4: JUMP
000027e5: JUMPDEST
000027e6: SWAP2
000027e7: POP
000027e8: POP
000027e9: SWAP3
000027ea: SWAP2
000027eb: POP
000027ec: POP
000027ed: JUMP
000027ee: JUMPDEST
000027ef: PUSH1 0x00
000027f1: PUSH1 0x20
000027f3: DUP3
000027f4: DUP5
000027f5: SUB
000027f6: SLT
000027f7: ISZERO
000027f8: PUSH2 0x2800
000027fb: JUMPI
000027fc: PUSH1 0x00
000027fe: DUP1
000027ff: REVERT
00002800: JUMPDEST
00002801: PUSH1 0x00
00002803: PUSH2 0x280e
00002806: DUP5
00002807: DUP3
00002808: DUP6
00002809: ADD
0000280a: PUSH2 0x26d3
0000280d: JUMP
0000280e: JUMPDEST
0000280f: SWAP2
00002810: POP
00002811: POP
00002812: SWAP3
00002813: SWAP2
00002814: POP
00002815: POP
00002816: JUMP
00002817: JUMPDEST
00002818: PUSH1 0x00
0000281a: DUP1
0000281b: PUSH1 0x40
0000281d: DUP4
0000281e: DUP6
0000281f: SUB
00002820: SLT
00002821: ISZERO
00002822: PUSH2 0x282a
00002825: JUMPI
00002826: PUSH1 0x00
00002828: DUP1
00002829: REVERT
0000282a: JUMPDEST
0000282b: PUSH1 0x00
0000282d: PUSH2 0x2838
00002830: DUP6
00002831: DUP3
00002832: DUP7
00002833: ADD
00002834: PUSH2 0x26be
00002837: JUMP
00002838: JUMPDEST
00002839: SWAP3
0000283a: POP
0000283b: POP
0000283c: PUSH1 0x20
0000283e: PUSH2 0x2849
00002841: DUP6
00002842: DUP3
00002843: DUP7
00002844: ADD
00002845: PUSH2 0x26be
00002848: JUMP
00002849: JUMPDEST
0000284a: SWAP2
0000284b: POP
0000284c: POP
0000284d: SWAP3
0000284e: POP
0000284f: SWAP3
00002850: SWAP1
00002851: POP
00002852: JUMP
00002853: JUMPDEST
00002854: PUSH1 0x00
00002856: DUP1
00002857: PUSH1 0x00
00002859: PUSH1 0x60
0000285b: DUP5
0000285c: DUP7
0000285d: SUB
0000285e: SLT
0000285f: ISZERO
00002860: PUSH2 0x2868
00002863: JUMPI
00002864: PUSH1 0x00
00002866: DUP1
00002867: REVERT
00002868: JUMPDEST
00002869: PUSH1 0x00
0000286b: PUSH2 0x2876
0000286e: DUP7
0000286f: DUP3
00002870: DUP8
00002871: ADD
00002872: PUSH2 0x26be
00002875: JUMP
00002876: JUMPDEST
00002877: SWAP4
00002878: POP
00002879: POP
0000287a: PUSH1 0x20
0000287c: PUSH2 0x2887
0000287f: DUP7
00002880: DUP3
00002881: DUP8
00002882: ADD
00002883: PUSH2 0x26be
00002886: JUMP
00002887: JUMPDEST
00002888: SWAP3
00002889: POP
0000288a: POP
0000288b: PUSH1 0x40
0000288d: PUSH2 0x2898
00002890: DUP7
00002891: DUP3
00002892: DUP8
00002893: ADD
00002894: PUSH2 0x27b0
00002897: JUMP
00002898: JUMPDEST
00002899: SWAP2
0000289a: POP
0000289b: POP
0000289c: SWAP3
0000289d: POP
0000289e: SWAP3
0000289f: POP
000028a0: SWAP3
000028a1: JUMP
000028a2: JUMPDEST
000028a3: PUSH1 0x00
000028a5: DUP1
000028a6: PUSH1 0x00
000028a8: DUP1
000028a9: PUSH1 0x80
000028ab: DUP6
000028ac: DUP8
000028ad: SUB
000028ae: SLT
000028af: ISZERO
000028b0: PUSH2 0x28b8
000028b3: JUMPI
000028b4: PUSH1 0x00
000028b6: DUP1
000028b7: REVERT
000028b8: JUMPDEST
000028b9: PUSH1 0x00
000028bb: PUSH2 0x28c6
000028be: DUP8
000028bf: DUP3
000028c0: DUP9
000028c1: ADD
000028c2: PUSH2 0x26be
000028c5: JUMP
000028c6: JUMPDEST
000028c7: SWAP5
000028c8: POP
000028c9: POP
000028ca: PUSH1 0x20
000028cc: PUSH2 0x28d7
000028cf: DUP8
000028d0: DUP3
000028d1: DUP9
000028d2: ADD
000028d3: PUSH2 0x26be
000028d6: JUMP
000028d7: JUMPDEST
000028d8: SWAP4
000028d9: POP
000028da: POP
000028db: PUSH1 0x40
000028dd: PUSH2 0x28e8
000028e0: DUP8
000028e1: DUP3
000028e2: DUP9
000028e3: ADD
000028e4: PUSH2 0x27b0
000028e7: JUMP
000028e8: JUMPDEST
000028e9: SWAP3
000028ea: POP
000028eb: POP
000028ec: PUSH1 0x60
000028ee: DUP6
000028ef: ADD
000028f0: CALLDATALOAD
000028f1: PUSH8 0xffffffffffffffff
000028fa: DUP2
000028fb: GT
000028fc: ISZERO
000028fd: PUSH2 0x2905
00002900: JUMPI
00002901: PUSH1 0x00
00002903: DUP1
00002904: REVERT
00002905: JUMPDEST
00002906: PUSH2 0x2911
00002909: DUP8
0000290a: DUP3
0000290b: DUP9
0000290c: ADD
0000290d: PUSH2 0x2786
00002910: JUMP
00002911: JUMPDEST
00002912: SWAP2
00002913: POP
00002914: POP
00002915: SWAP3
00002916: SWAP6
00002917: SWAP2
00002918: SWAP5
00002919: POP
0000291a: SWAP3
0000291b: POP
0000291c: JUMP
0000291d: JUMPDEST
0000291e: PUSH1 0x00
00002920: DUP1
00002921: PUSH1 0x40
00002923: DUP4
00002924: DUP6
00002925: SUB
00002926: SLT
00002927: ISZERO
00002928: PUSH2 0x2930
0000292b: JUMPI
0000292c: PUSH1 0x00
0000292e: DUP1
0000292f: REVERT
00002930: JUMPDEST
00002931: PUSH1 0x00
00002933: PUSH2 0x293e
00002936: DUP6
00002937: DUP3
00002938: DUP7
00002939: ADD
0000293a: PUSH2 0x26be
0000293d: JUMP
0000293e: JUMPDEST
0000293f: SWAP3
00002940: POP
00002941: POP
00002942: PUSH1 0x20
00002944: PUSH2 0x294f
00002947: DUP6
00002948: DUP3
00002949: DUP7
0000294a: ADD
0000294b: PUSH2 0x2732
0000294e: JUMP
0000294f: JUMPDEST
00002950: SWAP2
00002951: POP
00002952: POP
00002953: SWAP3
00002954: POP
00002955: SWAP3
00002956: SWAP1
00002957: POP
00002958: JUMP
00002959: JUMPDEST
0000295a: PUSH1 0x00
0000295c: DUP1
0000295d: PUSH1 0x40
0000295f: DUP4
00002960: DUP6
00002961: SUB
00002962: SLT
00002963: ISZERO
00002964: PUSH2 0x296c
00002967: JUMPI
00002968: PUSH1 0x00
0000296a: DUP1
0000296b: REVERT
0000296c: JUMPDEST
0000296d: PUSH1 0x00
0000296f: PUSH2 0x297a
00002972: DUP6
00002973: DUP3
00002974: DUP7
00002975: ADD
00002976: PUSH2 0x26be
00002979: JUMP
0000297a: JUMPDEST
0000297b: SWAP3
0000297c: POP
0000297d: POP
0000297e: PUSH1 0x20
00002980: PUSH2 0x298b
00002983: DUP6
00002984: DUP3
00002985: DUP7
00002986: ADD
00002987: PUSH2 0x27b0
0000298a: JUMP
0000298b: JUMPDEST
0000298c: SWAP2
0000298d: POP
0000298e: POP
0000298f: SWAP3
00002990: POP
00002991: SWAP3
00002992: SWAP1
00002993: POP
00002994: JUMP
00002995: JUMPDEST
00002996: PUSH1 0x00
00002998: DUP1
00002999: PUSH1 0x00
0000299b: DUP1
0000299c: PUSH1 0x40
0000299e: DUP6
0000299f: DUP8
000029a0: SUB
000029a1: SLT
000029a2: ISZERO
000029a3: PUSH2 0x29ab
000029a6: JUMPI
000029a7: PUSH1 0x00
000029a9: DUP1
000029aa: REVERT
000029ab: JUMPDEST
000029ac: PUSH1 0x00
000029ae: DUP6
000029af: ADD
000029b0: CALLDATALOAD
000029b1: PUSH8 0xffffffffffffffff
000029ba: DUP2
000029bb: GT
000029bc: ISZERO
000029bd: PUSH2 0x29c5
000029c0: JUMPI
000029c1: PUSH1 0x00
000029c3: DUP1
000029c4: REVERT
000029c5: JUMPDEST
000029c6: PUSH2 0x29d1
000029c9: DUP8
000029ca: DUP3
000029cb: DUP9
000029cc: ADD
000029cd: PUSH2 0x26e8
000029d0: JUMP
000029d1: JUMPDEST
000029d2: SWAP5
000029d3: POP
000029d4: SWAP5
000029d5: POP
000029d6: POP
000029d7: PUSH1 0x20
000029d9: DUP6
000029da: ADD
000029db: CALLDATALOAD
000029dc: PUSH8 0xffffffffffffffff
000029e5: DUP2
000029e6: GT
000029e7: ISZERO
000029e8: PUSH2 0x29f0
000029eb: JUMPI
000029ec: PUSH1 0x00
000029ee: DUP1
000029ef: REVERT
000029f0: JUMPDEST
000029f1: PUSH2 0x29fc
000029f4: DUP8
000029f5: DUP3
000029f6: DUP9
000029f7: ADD
000029f8: PUSH2 0x26e8
000029fb: JUMP
000029fc: JUMPDEST
000029fd: SWAP3
000029fe: POP
000029ff: SWAP3
00002a00: POP
00002a01: POP
00002a02: SWAP3
00002a03: SWAP6
00002a04: SWAP2
00002a05: SWAP5
00002a06: POP
00002a07: SWAP3
00002a08: POP
00002a09: JUMP
00002a0a: JUMPDEST
00002a0b: PUSH1 0x00
00002a0d: PUSH1 0x20
00002a0f: DUP3
00002a10: DUP5
00002a11: SUB
00002a12: SLT
00002a13: ISZERO
00002a14: PUSH2 0x2a1c
00002a17: JUMPI
00002a18: PUSH1 0x00
00002a1a: DUP1
00002a1b: REVERT
00002a1c: JUMPDEST
00002a1d: PUSH1 0x00
00002a1f: PUSH2 0x2a2a
00002a22: DUP5
00002a23: DUP3
00002a24: DUP6
00002a25: ADD
00002a26: PUSH2 0x2747
00002a29: JUMP
00002a2a: JUMPDEST
00002a2b: SWAP2
00002a2c: POP
00002a2d: POP
00002a2e: SWAP3
00002a2f: SWAP2
00002a30: POP
00002a31: POP
00002a32: JUMP
00002a33: JUMPDEST
00002a34: PUSH1 0x00
00002a36: PUSH1 0x20
00002a38: DUP3
00002a39: DUP5
00002a3a: SUB
00002a3b: SLT
00002a3c: ISZERO
00002a3d: PUSH2 0x2a45
00002a40: JUMPI
00002a41: PUSH1 0x00
00002a43: DUP1
00002a44: REVERT
00002a45: JUMPDEST
00002a46: PUSH1 0x00
00002a48: PUSH2 0x2a53
00002a4b: DUP5
00002a4c: DUP3
00002a4d: DUP6
00002a4e: ADD
00002a4f: PUSH2 0x275c
00002a52: JUMP
00002a53: JUMPDEST
00002a54: SWAP2
00002a55: POP
00002a56: POP
00002a57: SWAP3
00002a58: SWAP2
00002a59: POP
00002a5a: POP
00002a5b: JUMP
00002a5c: JUMPDEST
00002a5d: PUSH1 0x00
00002a5f: PUSH1 0x20
00002a61: DUP3
00002a62: DUP5
00002a63: SUB
00002a64: SLT
00002a65: ISZERO
00002a66: PUSH2 0x2a6e
00002a69: JUMPI
00002a6a: PUSH1 0x00
00002a6c: DUP1
00002a6d: REVERT
00002a6e: JUMPDEST
00002a6f: PUSH1 0x00
00002a71: PUSH2 0x2a7c
00002a74: DUP5
00002a75: DUP3
00002a76: DUP6
00002a77: ADD
00002a78: PUSH2 0x2771
00002a7b: JUMP
00002a7c: JUMPDEST
00002a7d: SWAP2
00002a7e: POP
00002a7f: POP
00002a80: SWAP3
00002a81: SWAP2
00002a82: POP
00002a83: POP
00002a84: JUMP
00002a85: JUMPDEST
00002a86: PUSH1 0x00
00002a88: PUSH1 0x20
00002a8a: DUP3
00002a8b: DUP5
00002a8c: SUB
00002a8d: SLT
00002a8e: ISZERO
00002a8f: PUSH2 0x2a97
00002a92: JUMPI
00002a93: PUSH1 0x00
00002a95: DUP1
00002a96: REVERT
00002a97: JUMPDEST
00002a98: PUSH1 0x00
00002a9a: PUSH2 0x2aa5
00002a9d: DUP5
00002a9e: DUP3
00002a9f: DUP6
00002aa0: ADD
00002aa1: PUSH2 0x27b0
00002aa4: JUMP
00002aa5: JUMPDEST
00002aa6: SWAP2
00002aa7: POP
00002aa8: POP
00002aa9: SWAP3
00002aaa: SWAP2
00002aab: POP
00002aac: POP
00002aad: JUMP
00002aae: JUMPDEST
00002aaf: PUSH1 0x00
00002ab1: DUP1
00002ab2: PUSH1 0x40
00002ab4: DUP4
00002ab5: DUP6
00002ab6: SUB
00002ab7: SLT
00002ab8: ISZERO
00002ab9: PUSH2 0x2ac1
00002abc: JUMPI
00002abd: PUSH1 0x00
00002abf: DUP1
00002ac0: REVERT
00002ac1: JUMPDEST
00002ac2: PUSH1 0x00
00002ac4: PUSH2 0x2acf
00002ac7: DUP6
00002ac8: DUP3
00002ac9: DUP7
00002aca: ADD
00002acb: PUSH2 0x27b0
00002ace: JUMP
00002acf: JUMPDEST
00002ad0: SWAP3
00002ad1: POP
00002ad2: POP
00002ad3: PUSH1 0x20
00002ad5: PUSH2 0x2ae0
00002ad8: DUP6
00002ad9: DUP3
00002ada: DUP7
00002adb: ADD
00002adc: PUSH2 0x27b0
00002adf: JUMP
00002ae0: JUMPDEST
00002ae1: SWAP2
00002ae2: POP
00002ae3: POP
00002ae4: SWAP3
00002ae5: POP
00002ae6: SWAP3
00002ae7: SWAP1
00002ae8: POP
00002ae9: JUMP
00002aea: JUMPDEST
00002aeb: PUSH2 0x2af3
00002aee: DUP2
00002aef: PUSH2 0x36aa
00002af2: JUMP
00002af3: JUMPDEST
00002af4: DUP3
00002af5: MSTORE
00002af6: POP
00002af7: POP
00002af8: JUMP
00002af9: JUMPDEST
00002afa: PUSH2 0x2b0a
00002afd: PUSH2 0x2b05
00002b00: DUP3
00002b01: PUSH2 0x36aa
00002b04: JUMP
00002b05: JUMPDEST
00002b06: PUSH2 0x381c
00002b09: JUMP
00002b0a: JUMPDEST
00002b0b: DUP3
00002b0c: MSTORE
00002b0d: POP
00002b0e: POP
00002b0f: JUMP
00002b10: JUMPDEST
00002b11: PUSH2 0x2b19
00002b14: DUP2
00002b15: PUSH2 0x36bc
00002b18: JUMP
00002b19: JUMPDEST
00002b1a: DUP3
00002b1b: MSTORE
00002b1c: POP
00002b1d: POP
00002b1e: JUMP
00002b1f: JUMPDEST
00002b20: PUSH2 0x2b28
00002b23: DUP2
00002b24: PUSH2 0x36c8
00002b27: JUMP
00002b28: JUMPDEST
00002b29: DUP3
00002b2a: MSTORE
00002b2b: POP
00002b2c: POP
00002b2d: JUMP
00002b2e: JUMPDEST
00002b2f: PUSH2 0x2b3f
00002b32: PUSH2 0x2b3a
00002b35: DUP3
00002b36: PUSH2 0x36c8
00002b39: JUMP
00002b3a: JUMPDEST
00002b3b: PUSH2 0x382e
00002b3e: JUMP
00002b3f: JUMPDEST
00002b40: DUP3
00002b41: MSTORE
00002b42: POP
00002b43: POP
00002b44: JUMP
00002b45: JUMPDEST
00002b46: PUSH1 0x00
00002b48: PUSH2 0x2b50
00002b4b: DUP3
00002b4c: PUSH2 0x33aa
00002b4f: JUMP
00002b50: JUMPDEST
00002b51: PUSH2 0x2b5a
00002b54: DUP2
00002b55: DUP6
00002b56: PUSH2 0x33c0
00002b59: JUMP
00002b5a: JUMPDEST
00002b5b: SWAP4
00002b5c: POP
00002b5d: PUSH2 0x2b6a
00002b60: DUP2
00002b61: DUP6
00002b62: PUSH1 0x20
00002b64: DUP7
00002b65: ADD
00002b66: PUSH2 0x3744
00002b69: JUMP
00002b6a: JUMPDEST
00002b6b: PUSH2 0x2b73
00002b6e: DUP2
00002b6f: PUSH2 0x3910
00002b72: JUMP
00002b73: JUMPDEST
00002b74: DUP5
00002b75: ADD
00002b76: SWAP2
00002b77: POP
00002b78: POP
00002b79: SWAP3
00002b7a: SWAP2
00002b7b: POP
00002b7c: POP
00002b7d: JUMP
00002b7e: JUMPDEST
00002b7f: PUSH1 0x00
00002b81: PUSH2 0x2b89
00002b84: DUP3
00002b85: PUSH2 0x33aa
00002b88: JUMP
00002b89: JUMPDEST
00002b8a: PUSH2 0x2b93
00002b8d: DUP2
00002b8e: DUP6
00002b8f: PUSH2 0x33d1
00002b92: JUMP
00002b93: JUMPDEST
00002b94: SWAP4
00002b95: POP
00002b96: PUSH2 0x2ba3
00002b99: DUP2
00002b9a: DUP6
00002b9b: PUSH1 0x20
00002b9d: DUP7
00002b9e: ADD
00002b9f: PUSH2 0x3744
00002ba2: JUMP
00002ba3: JUMPDEST
00002ba4: DUP1
00002ba5: DUP5
00002ba6: ADD
00002ba7: SWAP2
00002ba8: POP
00002ba9: POP
00002baa: SWAP3
00002bab: SWAP2
00002bac: POP
00002bad: POP
00002bae: JUMP
00002baf: JUMPDEST
00002bb0: PUSH1 0x00
00002bb2: DUP2
00002bb3: SLOAD
00002bb4: PUSH2 0x2bbc
00002bb7: DUP2
00002bb8: PUSH2 0x37a1
00002bbb: JUMP
00002bbc: JUMPDEST
00002bbd: PUSH2 0x2bc6
00002bc0: DUP2
00002bc1: DUP7
00002bc2: PUSH2 0x33d1
00002bc5: JUMP
00002bc6: JUMPDEST
00002bc7: SWAP5
00002bc8: POP
00002bc9: PUSH1 0x01
00002bcb: DUP3
00002bcc: AND
00002bcd: PUSH1 0x00
00002bcf: DUP2
00002bd0: EQ
00002bd1: PUSH2 0x2be1
00002bd4: JUMPI
00002bd5: PUSH1 0x01
00002bd7: DUP2
00002bd8: EQ
00002bd9: PUSH2 0x2bf2
00002bdc: JUMPI
00002bdd: PUSH2 0x2c25
00002be0: JUMP
00002be1: JUMPDEST
00002be2: PUSH1 0xff
00002be4: NOT
00002be5: DUP4
00002be6: AND
00002be7: DUP7
00002be8: MSTORE
00002be9: DUP2
00002bea: DUP7
00002beb: ADD
00002bec: SWAP4
00002bed: POP
00002bee: PUSH2 0x2c25
00002bf1: JUMP
00002bf2: JUMPDEST
00002bf3: PUSH2 0x2bfb
00002bf6: DUP6
00002bf7: PUSH2 0x3395
00002bfa: JUMP
00002bfb: JUMPDEST
00002bfc: PUSH1 0x00
00002bfe: JUMPDEST
00002bff: DUP4
00002c00: DUP2
00002c01: LT
00002c02: ISZERO
00002c03: PUSH2 0x2c1d
00002c06: JUMPI
00002c07: DUP2
00002c08: SLOAD
00002c09: DUP2
00002c0a: DUP10
00002c0b: ADD
00002c0c: MSTORE
00002c0d: PUSH1 0x01
00002c0f: DUP3
00002c10: ADD
00002c11: SWAP2
00002c12: POP
00002c13: PUSH1 0x20
00002c15: DUP2
00002c16: ADD
00002c17: SWAP1
00002c18: POP
00002c19: PUSH2 0x2bfe
00002c1c: JUMP
00002c1d: JUMPDEST
00002c1e: DUP4
00002c1f: DUP9
00002c20: ADD
00002c21: SWAP6
00002c22: POP
00002c23: POP
00002c24: POP
00002c25: JUMPDEST
00002c26: POP
00002c27: POP
00002c28: POP
00002c29: SWAP3
00002c2a: SWAP2
00002c2b: POP
00002c2c: POP
00002c2d: JUMP
00002c2e: JUMPDEST
00002c2f: PUSH1 0x00
00002c31: PUSH2 0x2c39
00002c34: DUP3
00002c35: PUSH2 0x33b5
00002c38: JUMP
00002c39: JUMPDEST
00002c3a: PUSH2 0x2c43
00002c3d: DUP2
00002c3e: DUP6
00002c3f: PUSH2 0x33dc
00002c42: JUMP
00002c43: JUMPDEST
00002c44: SWAP4
00002c45: POP
00002c46: PUSH2 0x2c53
00002c49: DUP2
00002c4a: DUP6
00002c4b: PUSH1 0x20
00002c4d: DUP7
00002c4e: ADD
00002c4f: PUSH2 0x3744
00002c52: JUMP
00002c53: JUMPDEST
00002c54: PUSH2 0x2c5c
00002c57: DUP2
00002c58: PUSH2 0x3910
00002c5b: JUMP
00002c5c: JUMPDEST
00002c5d: DUP5
00002c5e: ADD
00002c5f: SWAP2
00002c60: POP
00002c61: POP
00002c62: SWAP3
00002c63: SWAP2
00002c64: POP
00002c65: POP
00002c66: JUMP
00002c67: JUMPDEST
00002c68: PUSH1 0x00
00002c6a: PUSH2 0x2c74
00002c6d: PUSH1 0x05
00002c6f: DUP4
00002c70: PUSH2 0x33dc
00002c73: JUMP
00002c74: JUMPDEST
00002c75: SWAP2
00002c76: POP
00002c77: PUSH32 0x6f776e6572000000000000000000000000000000000000000000000000000000
00002c98: PUSH1 0x00
00002c9a: DUP4
00002c9b: ADD
00002c9c: MSTORE
00002c9d: PUSH1 0x20
00002c9f: DUP3
00002ca0: ADD
00002ca1: SWAP1
00002ca2: POP
00002ca3: SWAP2
00002ca4: SWAP1
00002ca5: POP
00002ca6: JUMP
00002ca7: JUMPDEST
00002ca8: PUSH1 0x00
00002caa: PUSH2 0x2cb4
00002cad: PUSH1 0x09
00002caf: DUP4
00002cb0: PUSH2 0x33dc
00002cb3: JUMP
00002cb4: JUMPDEST
00002cb5: SWAP2
00002cb6: POP
00002cb7: PUSH32 0x756e646572666c6f770000000000000000000000000000000000000000000000
00002cd8: PUSH1 0x00
00002cda: DUP4
00002cdb: ADD
00002cdc: MSTORE
00002cdd: PUSH1 0x20
00002cdf: DUP3
00002ce0: ADD
00002ce1: SWAP1
00002ce2: POP
00002ce3: SWAP2
00002ce4: SWAP1
00002ce5: POP
00002ce6: JUMP
00002ce7: JUMPDEST
00002ce8: PUSH1 0x00
00002cea: PUSH2 0x2cf4
00002ced: PUSH1 0x04
00002cef: DUP4
00002cf0: PUSH2 0x33dc
00002cf3: JUMP
00002cf4: JUMPDEST
00002cf5: SWAP2
00002cf6: POP
00002cf7: PUSH32 0x7a65726f00000000000000000000000000000000000000000000000000000000
00002d18: PUSH1 0x00
00002d1a: DUP4
00002d1b: ADD
00002d1c: MSTORE
00002d1d: PUSH1 0x20
00002d1f: DUP3
00002d20: ADD
00002d21: SWAP1
00002d22: POP
00002d23: SWAP2
00002d24: SWAP1
00002d25: POP
00002d26: JUMP
00002d27: JUMPDEST
00002d28: PUSH1 0x00
00002d2a: PUSH2 0x2d34
00002d2d: PUSH1 0x0a
00002d2f: DUP4
00002d30: PUSH2 0x33dc
00002d33: JUMP
00002d34: JUMPDEST
00002d35: SWAP2
00002d36: POP
00002d37: PUSH32 0x7065726d697373696f6e00000000000000000000000000000000000000000000
00002d58: PUSH1 0x00
00002d5a: DUP4
00002d5b: ADD
00002d5c: MSTORE
00002d5d: PUSH1 0x20
00002d5f: DUP3
00002d60: ADD
00002d61: SWAP1
00002d62: POP
00002d63: SWAP2
00002d64: SWAP1
00002d65: POP
00002d66: JUMP
00002d67: JUMPDEST
00002d68: PUSH1 0x00
00002d6a: PUSH2 0x2d74
00002d6d: PUSH1 0x07
00002d6f: DUP4
00002d70: PUSH2 0x33dc
00002d73: JUMP
00002d74: JUMPDEST
00002d75: SWAP2
00002d76: POP
00002d77: PUSH32 0x746f6b656e496400000000000000000000000000000000000000000000000000
00002d98: PUSH1 0x00
00002d9a: DUP4
00002d9b: ADD
00002d9c: MSTORE
00002d9d: PUSH1 0x20
00002d9f: DUP3
00002da0: ADD
00002da1: SWAP1
00002da2: POP
00002da3: SWAP2
00002da4: SWAP1
00002da5: POP
00002da6: JUMP
00002da7: JUMPDEST
00002da8: PUSH1 0x00
00002daa: PUSH2 0x2db4
00002dad: PUSH1 0x08
00002daf: DUP4
00002db0: PUSH2 0x33dc
00002db3: JUMP
00002db4: JUMPDEST
00002db5: SWAP2
00002db6: POP
00002db7: PUSH32 0x7265636569766572000000000000000000000000000000000000000000000000
00002dd8: PUSH1 0x00
00002dda: DUP4
00002ddb: ADD
00002ddc: MSTORE
00002ddd: PUSH1 0x20
00002ddf: DUP3
00002de0: ADD
00002de1: SWAP1
00002de2: POP
00002de3: SWAP2
00002de4: SWAP1
00002de5: POP
00002de6: JUMP
00002de7: JUMPDEST
00002de8: PUSH1 0x00
00002dea: PUSH2 0x2df4
00002ded: PUSH1 0x07
00002def: DUP4
00002df0: PUSH2 0x33dc
00002df3: JUMP
00002df4: JUMPDEST
00002df5: SWAP2
00002df6: POP
00002df7: PUSH32 0x666f726765727900000000000000000000000000000000000000000000000000
00002e18: PUSH1 0x00
00002e1a: DUP4
00002e1b: ADD
00002e1c: MSTORE
00002e1d: PUSH1 0x20
00002e1f: DUP3
00002e20: ADD
00002e21: SWAP1
00002e22: POP
00002e23: SWAP2
00002e24: SWAP1
00002e25: POP
00002e26: JUMP
00002e27: JUMPDEST
00002e28: PUSH1 0x00
00002e2a: PUSH2 0x2e34
00002e2d: PUSH1 0x04
00002e2f: DUP4
00002e30: PUSH2 0x33dc
00002e33: JUMP
00002e34: JUMPDEST
00002e35: SWAP2
00002e36: POP
00002e37: PUSH32 0x636f737400000000000000000000000000000000000000000000000000000000
00002e58: PUSH1 0x00
00002e5a: DUP4
00002e5b: ADD
00002e5c: MSTORE
00002e5d: PUSH1 0x20
00002e5f: DUP3
00002e60: ADD
00002e61: SWAP1
00002e62: POP
00002e63: SWAP2
00002e64: SWAP1
00002e65: POP
00002e66: JUMP
00002e67: JUMPDEST
00002e68: PUSH1 0x00
00002e6a: PUSH2 0x2e74
00002e6d: PUSH1 0x05
00002e6f: DUP4
00002e70: PUSH2 0x33dc
00002e73: JUMP
00002e74: JUMPDEST
00002e75: SWAP2
00002e76: POP
00002e77: PUSH32 0x696e646578000000000000000000000000000000000000000000000000000000
00002e98: PUSH1 0x00
00002e9a: DUP4
00002e9b: ADD
00002e9c: MSTORE
00002e9d: PUSH1 0x20
00002e9f: DUP3
00002ea0: ADD
00002ea1: SWAP1
00002ea2: POP
00002ea3: SWAP2
00002ea4: SWAP1
00002ea5: POP
00002ea6: JUMP
00002ea7: JUMPDEST
00002ea8: PUSH1 0x00
00002eaa: PUSH2 0x2eb4
00002ead: PUSH1 0x13
00002eaf: DUP4
00002eb0: PUSH2 0x33dc
00002eb3: JUMP
00002eb4: JUMPDEST
00002eb5: SWAP2
00002eb6: POP
00002eb7: PUSH32 0x7769746864726177556e74696c5f657869737400000000000000000000000000
00002ed8: PUSH1 0x00
00002eda: DUP4
00002edb: ADD
00002edc: MSTORE
00002edd: PUSH1 0x20
00002edf: DUP3
00002ee0: ADD
00002ee1: SWAP1
00002ee2: POP
00002ee3: SWAP2
00002ee4: SWAP1
00002ee5: POP
00002ee6: JUMP
00002ee7: JUMPDEST
00002ee8: PUSH1 0x00
00002eea: PUSH2 0x2ef4
00002eed: PUSH1 0x0a
00002eef: DUP4
00002ef0: PUSH2 0x33dc
00002ef3: JUMP
00002ef4: JUMPDEST
00002ef5: SWAP2
00002ef6: POP
00002ef7: PUSH32 0x646966666963756c747900000000000000000000000000000000000000000000
00002f18: PUSH1 0x00
00002f1a: DUP4
00002f1b: ADD
00002f1c: MSTORE
00002f1d: PUSH1 0x20
00002f1f: DUP3
00002f20: ADD
00002f21: SWAP1
00002f22: POP
00002f23: SWAP2
00002f24: SWAP1
00002f25: POP
00002f26: JUMP
00002f27: JUMPDEST
00002f28: PUSH1 0x00
00002f2a: PUSH2 0x2f34
00002f2d: PUSH1 0x09
00002f2f: DUP4
00002f30: PUSH2 0x33dc
00002f33: JUMP
00002f34: JUMPDEST
00002f35: SWAP2
00002f36: POP
00002f37: PUSH32 0x77697468647261776e0000000000000000000000000000000000000000000000
00002f58: PUSH1 0x00
00002f5a: DUP4
00002f5b: ADD
00002f5c: MSTORE
00002f5d: PUSH1 0x20
00002f5f: DUP3
00002f60: ADD
00002f61: SWAP1
00002f62: POP
00002f63: SWAP2
00002f64: SWAP1
00002f65: POP
00002f66: JUMP
00002f67: JUMPDEST
00002f68: PUSH1 0x00
00002f6a: PUSH2 0x2f74
00002f6d: PUSH1 0x0b
00002f6f: DUP4
00002f70: PUSH2 0x33dc
00002f73: JUMP
00002f74: JUMPDEST
00002f75: SWAP2
00002f76: POP
00002f77: PUSH32 0x69735f6d69677261746564000000000000000000000000000000000000000000
00002f98: PUSH1 0x00
00002f9a: DUP4
00002f9b: ADD
00002f9c: MSTORE
00002f9d: PUSH1 0x20
00002f9f: DUP3
00002fa0: ADD
00002fa1: SWAP1
00002fa2: POP
00002fa3: SWAP2
00002fa4: SWAP1
00002fa5: POP
00002fa6: JUMP
00002fa7: JUMPDEST
00002fa8: PUSH1 0x00
00002faa: PUSH2 0x2fb4
00002fad: PUSH1 0x07
00002faf: DUP4
00002fb0: PUSH2 0x33dc
00002fb3: JUMP
00002fb4: JUMPDEST
00002fb5: SWAP2
00002fb6: POP
00002fb7: PUSH32 0x696e76616c696400000000000000000000000000000000000000000000000000
00002fd8: PUSH1 0x00
00002fda: DUP4
00002fdb: ADD
00002fdc: MSTORE
00002fdd: PUSH1 0x20
00002fdf: DUP3
00002fe0: ADD
00002fe1: SWAP1
00002fe2: POP
00002fe3: SWAP2
00002fe4: SWAP1
00002fe5: POP
00002fe6: JUMP
00002fe7: JUMPDEST
00002fe8: PUSH2 0x2ff0
00002feb: DUP2
00002fec: PUSH2 0x371e
00002fef: JUMP
00002ff0: JUMPDEST
00002ff1: DUP3
00002ff2: MSTORE
00002ff3: POP
00002ff4: POP
00002ff5: JUMP
00002ff6: JUMPDEST
00002ff7: PUSH2 0x3007
00002ffa: PUSH2 0x3002
00002ffd: DUP3
00002ffe: PUSH2 0x371e
00003001: JUMP
00003002: JUMPDEST
00003003: PUSH2 0x384a
00003006: JUMP
00003007: JUMPDEST
00003008: DUP3
00003009: MSTORE
0000300a: POP
0000300b: POP
0000300c: JUMP
0000300d: JUMPDEST
0000300e: PUSH1 0x00
00003010: PUSH2 0x3019
00003013: DUP3
00003014: DUP7
00003015: PUSH2 0x2af9
00003018: JUMP
00003019: JUMPDEST
0000301a: PUSH1 0x14
0000301c: DUP3
0000301d: ADD
0000301e: SWAP2
0000301f: POP
00003020: PUSH2 0x3029
00003023: DUP3
00003024: DUP6
00003025: PUSH2 0x2b2e
00003028: JUMP
00003029: JUMPDEST
0000302a: PUSH1 0x20
0000302c: DUP3
0000302d: ADD
0000302e: SWAP2
0000302f: POP
00003030: PUSH2 0x3039
00003033: DUP3
00003034: DUP5
00003035: PUSH2 0x2ff6
00003038: JUMP
00003039: JUMPDEST
0000303a: PUSH1 0x20
0000303c: DUP3
0000303d: ADD
0000303e: SWAP2
0000303f: POP
00003040: DUP2
00003041: SWAP1
00003042: POP
00003043: SWAP5
00003044: SWAP4
00003045: POP
00003046: POP
00003047: POP
00003048: POP
00003049: JUMP
0000304a: JUMPDEST
0000304b: PUSH1 0x00
0000304d: PUSH2 0x3056
00003050: DUP3
00003051: DUP6
00003052: PUSH2 0x2b2e
00003055: JUMP
00003056: JUMPDEST
00003057: PUSH1 0x20
00003059: DUP3
0000305a: ADD
0000305b: SWAP2
0000305c: POP
0000305d: PUSH2 0x3066
00003060: DUP3
00003061: DUP5
00003062: PUSH2 0x2ff6
00003065: JUMP
00003066: JUMPDEST
00003067: PUSH1 0x20
00003069: DUP3
0000306a: ADD
0000306b: SWAP2
0000306c: POP
0000306d: DUP2
0000306e: SWAP1
0000306f: POP
00003070: SWAP4
00003071: SWAP3
00003072: POP
00003073: POP
00003074: POP
00003075: JUMP
00003076: JUMPDEST
00003077: PUSH1 0x00
00003079: PUSH2 0x3082
0000307c: DUP3
0000307d: DUP6
0000307e: PUSH2 0x2baf
00003081: JUMP
00003082: JUMPDEST
00003083: SWAP2
00003084: POP
00003085: PUSH2 0x308e
00003088: DUP3
00003089: DUP5
0000308a: PUSH2 0x2b7e
0000308d: JUMP
0000308e: JUMPDEST
0000308f: SWAP2
00003090: POP
00003091: DUP2
00003092: SWAP1
00003093: POP
00003094: SWAP4
00003095: SWAP3
00003096: POP
00003097: POP
00003098: POP
00003099: JUMP
0000309a: JUMPDEST
0000309b: PUSH1 0x00
0000309d: PUSH1 0x20
0000309f: DUP3
000030a0: ADD
000030a1: SWAP1
000030a2: POP
000030a3: PUSH2 0x30af
000030a6: PUSH1 0x00
000030a8: DUP4
000030a9: ADD
000030aa: DUP5
000030ab: PUSH2 0x2aea
000030ae: JUMP
000030af: JUMPDEST
000030b0: SWAP3
000030b1: SWAP2
000030b2: POP
000030b3: POP
000030b4: JUMP
000030b5: JUMPDEST
000030b6: PUSH1 0x00
000030b8: PUSH1 0x80
000030ba: DUP3
000030bb: ADD
000030bc: SWAP1
000030bd: POP
000030be: PUSH2 0x30ca
000030c1: PUSH1 0x00
000030c3: DUP4
000030c4: ADD
000030c5: DUP8
000030c6: PUSH2 0x2aea
000030c9: JUMP
000030ca: JUMPDEST
000030cb: PUSH2 0x30d7
000030ce: PUSH1 0x20
000030d0: DUP4
000030d1: ADD
000030d2: DUP7
000030d3: PUSH2 0x2aea
000030d6: JUMP
000030d7: JUMPDEST
000030d8: PUSH2 0x30e4
000030db: PUSH1 0x40
000030dd: DUP4
000030de: ADD
000030df: DUP6
000030e0: PUSH2 0x2fe7
000030e3: JUMP
000030e4: JUMPDEST
000030e5: DUP2
000030e6: DUP2
000030e7: SUB
000030e8: PUSH1 0x60
000030ea: DUP4
000030eb: ADD
000030ec: MSTORE
000030ed: PUSH2 0x30f6
000030f0: DUP2
000030f1: DUP5
000030f2: PUSH2 0x2b45
000030f5: JUMP
000030f6: JUMPDEST
000030f7: SWAP1
000030f8: POP
000030f9: SWAP6
000030fa: SWAP5
000030fb: POP
000030fc: POP
000030fd: POP
000030fe: POP
000030ff: POP
00003100: JUMP
00003101: JUMPDEST
00003102: PUSH1 0x00
00003104: PUSH1 0x20
00003106: DUP3
00003107: ADD
00003108: SWAP1
00003109: POP
0000310a: PUSH2 0x3116
0000310d: PUSH1 0x00
0000310f: DUP4
00003110: ADD
00003111: DUP5
00003112: PUSH2 0x2b10
00003115: JUMP
00003116: JUMPDEST
00003117: SWAP3
00003118: SWAP2
00003119: POP
0000311a: POP
0000311b: JUMP
0000311c: JUMPDEST
0000311d: PUSH1 0x00
0000311f: PUSH1 0x20
00003121: DUP3
00003122: ADD
00003123: SWAP1
00003124: POP
00003125: PUSH2 0x3131
00003128: PUSH1 0x00
0000312a: DUP4
0000312b: ADD
0000312c: DUP5
0000312d: PUSH2 0x2b1f
00003130: JUMP
00003131: JUMPDEST
00003132: SWAP3
00003133: SWAP2
00003134: POP
00003135: POP
00003136: JUMP
00003137: JUMPDEST
00003138: PUSH1 0x00
0000313a: PUSH1 0x20
0000313c: DUP3
0000313d: ADD
0000313e: SWAP1
0000313f: POP
00003140: DUP2
00003141: DUP2
00003142: SUB
00003143: PUSH1 0x00
00003145: DUP4
00003146: ADD
00003147: MSTORE
00003148: PUSH2 0x3151
0000314b: DUP2
0000314c: DUP5
0000314d: PUSH2 0x2c2e
00003150: JUMP
00003151: JUMPDEST
00003152: SWAP1
00003153: POP
00003154: SWAP3
00003155: SWAP2
00003156: POP
00003157: POP
00003158: JUMP
00003159: JUMPDEST
0000315a: PUSH1 0x00
0000315c: PUSH1 0x20
0000315e: DUP3
0000315f: ADD
00003160: SWAP1
00003161: POP
00003162: DUP2
00003163: DUP2
00003164: SUB
00003165: PUSH1 0x00
00003167: DUP4
00003168: ADD
00003169: MSTORE
0000316a: PUSH2 0x3172
0000316d: DUP2
0000316e: PUSH2 0x2c67
00003171: JUMP
00003172: JUMPDEST
00003173: SWAP1
00003174: POP
00003175: SWAP2
00003176: SWAP1
00003177: POP
00003178: JUMP
00003179: JUMPDEST
0000317a: PUSH1 0x00
0000317c: PUSH1 0x20
0000317e: DUP3
0000317f: ADD
00003180: SWAP1
00003181: POP
00003182: DUP2
00003183: DUP2
00003184: SUB
00003185: PUSH1 0x00
00003187: DUP4
00003188: ADD
00003189: MSTORE
0000318a: PUSH2 0x3192
0000318d: DUP2
0000318e: PUSH2 0x2ca7
00003191: JUMP
00003192: JUMPDEST
00003193: SWAP1
00003194: POP
00003195: SWAP2
00003196: SWAP1
00003197: POP
00003198: JUMP
00003199: JUMPDEST
0000319a: PUSH1 0x00
0000319c: PUSH1 0x20
0000319e: DUP3
0000319f: ADD
000031a0: SWAP1
000031a1: POP
000031a2: DUP2
000031a3: DUP2
000031a4: SUB
000031a5: PUSH1 0x00
000031a7: DUP4
000031a8: ADD
000031a9: MSTORE
000031aa: PUSH2 0x31b2
000031ad: DUP2
000031ae: PUSH2 0x2ce7
000031b1: JUMP
000031b2: JUMPDEST
000031b3: SWAP1
000031b4: POP
000031b5: SWAP2
000031b6: SWAP1
000031b7: POP
000031b8: JUMP
000031b9: JUMPDEST
000031ba: PUSH1 0x00
000031bc: PUSH1 0x20
000031be: DUP3
000031bf: ADD
000031c0: SWAP1
000031c1: POP
000031c2: DUP2
000031c3: DUP2
000031c4: SUB
000031c5: PUSH1 0x00
000031c7: DUP4
000031c8: ADD
000031c9: MSTORE
000031ca: PUSH2 0x31d2
000031cd: DUP2
000031ce: PUSH2 0x2d27
000031d1: JUMP
000031d2: JUMPDEST
000031d3: SWAP1
000031d4: POP
000031d5: SWAP2
000031d6: SWAP1
000031d7: POP
000031d8: JUMP
000031d9: JUMPDEST
000031da: PUSH1 0x00
000031dc: PUSH1 0x20
000031de: DUP3
000031df: ADD
000031e0: SWAP1
000031e1: POP
000031e2: DUP2
000031e3: DUP2
000031e4: SUB
000031e5: PUSH1 0x00
000031e7: DUP4
000031e8: ADD
000031e9: MSTORE
000031ea: PUSH2 0x31f2
000031ed: DUP2
000031ee: PUSH2 0x2d67
000031f1: JUMP
000031f2: JUMPDEST
000031f3: SWAP1
000031f4: POP
000031f5: SWAP2
000031f6: SWAP1
000031f7: POP
000031f8: JUMP
000031f9: JUMPDEST
000031fa: PUSH1 0x00
000031fc: PUSH1 0x20
000031fe: DUP3
000031ff: ADD
00003200: SWAP1
00003201: POP
00003202: DUP2
00003203: DUP2
00003204: SUB
00003205: PUSH1 0x00
00003207: DUP4
00003208: ADD
00003209: MSTORE
0000320a: PUSH2 0x3212
0000320d: DUP2
0000320e: PUSH2 0x2da7
00003211: JUMP
00003212: JUMPDEST
00003213: SWAP1
00003214: POP
00003215: SWAP2
00003216: SWAP1
00003217: POP
00003218: JUMP
00003219: JUMPDEST
0000321a: PUSH1 0x00
0000321c: PUSH1 0x20
0000321e: DUP3
0000321f: ADD
00003220: SWAP1
00003221: POP
00003222: DUP2
00003223: DUP2
00003224: SUB
00003225: PUSH1 0x00
00003227: DUP4
00003228: ADD
00003229: MSTORE
0000322a: PUSH2 0x3232
0000322d: DUP2
0000322e: PUSH2 0x2de7
00003231: JUMP
00003232: JUMPDEST
00003233: SWAP1
00003234: POP
00003235: SWAP2
00003236: SWAP1
00003237: POP
00003238: JUMP
00003239: JUMPDEST
0000323a: PUSH1 0x00
0000323c: PUSH1 0x20
0000323e: DUP3
0000323f: ADD
00003240: SWAP1
00003241: POP
00003242: DUP2
00003243: DUP2
00003244: SUB
00003245: PUSH1 0x00
00003247: DUP4
00003248: ADD
00003249: MSTORE
0000324a: PUSH2 0x3252
0000324d: DUP2
0000324e: PUSH2 0x2e27
00003251: JUMP
00003252: JUMPDEST
00003253: SWAP1
00003254: POP
00003255: SWAP2
00003256: SWAP1
00003257: POP
00003258: JUMP
00003259: JUMPDEST
0000325a: PUSH1 0x00
0000325c: PUSH1 0x20
0000325e: DUP3
0000325f: ADD
00003260: SWAP1
00003261: POP
00003262: DUP2
00003263: DUP2
00003264: SUB
00003265: PUSH1 0x00
00003267: DUP4
00003268: ADD
00003269: MSTORE
0000326a: PUSH2 0x3272
0000326d: DUP2
0000326e: PUSH2 0x2e67
00003271: JUMP
00003272: JUMPDEST
00003273: SWAP1
00003274: POP
00003275: SWAP2
00003276: SWAP1
00003277: POP
00003278: JUMP
00003279: JUMPDEST
0000327a: PUSH1 0x00
0000327c: PUSH1 0x20
0000327e: DUP3
0000327f: ADD
00003280: SWAP1
00003281: POP
00003282: DUP2
00003283: DUP2
00003284: SUB
00003285: PUSH1 0x00
00003287: DUP4
00003288: ADD
00003289: MSTORE
0000328a: PUSH2 0x3292
0000328d: DUP2
0000328e: PUSH2 0x2ea7
00003291: JUMP
00003292: JUMPDEST
00003293: SWAP1
00003294: POP
00003295: SWAP2
00003296: SWAP1
00003297: POP
00003298: JUMP
00003299: JUMPDEST
0000329a: PUSH1 0x00
0000329c: PUSH1 0x20
0000329e: DUP3
0000329f: ADD
000032a0: SWAP1
000032a1: POP
000032a2: DUP2
000032a3: DUP2
000032a4: SUB
000032a5: PUSH1 0x00
000032a7: DUP4
000032a8: ADD
000032a9: MSTORE
000032aa: PUSH2 0x32b2
000032ad: DUP2
000032ae: PUSH2 0x2ee7
000032b1: JUMP
000032b2: JUMPDEST
000032b3: SWAP1
000032b4: POP
000032b5: SWAP2
000032b6: SWAP1
000032b7: POP
000032b8: JUMP
000032b9: JUMPDEST
000032ba: PUSH1 0x00
000032bc: PUSH1 0x20
000032be: DUP3
000032bf: ADD
000032c0: SWAP1
000032c1: POP
000032c2: DUP2
000032c3: DUP2
000032c4: SUB
000032c5: PUSH1 0x00
000032c7: DUP4
000032c8: ADD
000032c9: MSTORE
000032ca: PUSH2 0x32d2
000032cd: DUP2
000032ce: PUSH2 0x2f27
000032d1: JUMP
000032d2: JUMPDEST
000032d3: SWAP1
000032d4: POP
000032d5: SWAP2
000032d6: SWAP1
000032d7: POP
000032d8: JUMP
000032d9: JUMPDEST
000032da: PUSH1 0x00
000032dc: PUSH1 0x20
000032de: DUP3
000032df: ADD
000032e0: SWAP1
000032e1: POP
000032e2: DUP2
000032e3: DUP2
000032e4: SUB
000032e5: PUSH1 0x00
000032e7: DUP4
000032e8: ADD
000032e9: MSTORE
000032ea: PUSH2 0x32f2
000032ed: DUP2
000032ee: PUSH2 0x2f67
000032f1: JUMP
000032f2: JUMPDEST
000032f3: SWAP1
000032f4: POP
000032f5: SWAP2
000032f6: SWAP1
000032f7: POP
000032f8: JUMP
000032f9: JUMPDEST
000032fa: PUSH1 0x00
000032fc: PUSH1 0x20
000032fe: DUP3
000032ff: ADD
00003300: SWAP1
00003301: POP
00003302: DUP2
00003303: DUP2
00003304: SUB
00003305: PUSH1 0x00
00003307: DUP4
00003308: ADD
00003309: MSTORE
0000330a: PUSH2 0x3312
0000330d: DUP2
0000330e: PUSH2 0x2fa7
00003311: JUMP
00003312: JUMPDEST
00003313: SWAP1
00003314: POP
00003315: SWAP2
00003316: SWAP1
00003317: POP
00003318: JUMP
00003319: JUMPDEST
0000331a: PUSH1 0x00
0000331c: PUSH1 0x20
0000331e: DUP3
0000331f: ADD
00003320: SWAP1
00003321: POP
00003322: PUSH2 0x332e
00003325: PUSH1 0x00
00003327: DUP4
00003328: ADD
00003329: DUP5
0000332a: PUSH2 0x2fe7
0000332d: JUMP
0000332e: JUMPDEST
0000332f: SWAP3
00003330: SWAP2
00003331: POP
00003332: POP
00003333: JUMP
00003334: JUMPDEST
00003335: PUSH1 0x00
00003337: PUSH1 0x40
00003339: MLOAD
0000333a: SWAP1
0000333b: POP
0000333c: DUP2
0000333d: DUP2
0000333e: ADD
0000333f: DUP2
00003340: DUP2
00003341: LT
00003342: PUSH8 0xffffffffffffffff
0000334b: DUP3
0000334c: GT
0000334d: OR
0000334e: ISZERO
0000334f: PUSH2 0x335b
00003352: JUMPI
00003353: PUSH2 0x335a
00003356: PUSH2 0x38e1
00003359: JUMP
0000335a: JUMPDEST
0000335b: JUMPDEST
0000335c: DUP1
0000335d: PUSH1 0x40
0000335f: MSTORE
00003360: POP
00003361: SWAP2
00003362: SWAP1
00003363: POP
00003364: JUMP
00003365: JUMPDEST
00003366: PUSH1 0x00
00003368: PUSH8 0xffffffffffffffff
00003371: DUP3
00003372: GT
00003373: ISZERO
00003374: PUSH2 0x3380
00003377: JUMPI
00003378: PUSH2 0x337f
0000337b: PUSH2 0x38e1
0000337e: JUMP
0000337f: JUMPDEST
00003380: JUMPDEST
00003381: PUSH1 0x1f
00003383: NOT
00003384: PUSH1 0x1f
00003386: DUP4
00003387: ADD
00003388: AND
00003389: SWAP1
0000338a: POP
0000338b: PUSH1 0x20
0000338d: DUP2
0000338e: ADD
0000338f: SWAP1
00003390: POP
00003391: SWAP2
00003392: SWAP1
00003393: POP
00003394: JUMP
00003395: JUMPDEST
00003396: PUSH1 0x00
00003398: DUP2
00003399: SWAP1
0000339a: POP
0000339b: DUP2
0000339c: PUSH1 0x00
0000339e: MSTORE
0000339f: PUSH1 0x20
000033a1: PUSH1 0x00
000033a3: KECCAK256
000033a4: SWAP1
000033a5: POP
000033a6: SWAP2
000033a7: SWAP1
000033a8: POP
000033a9: JUMP
000033aa: JUMPDEST
000033ab: PUSH1 0x00
000033ad: DUP2
000033ae: MLOAD
000033af: SWAP1
000033b0: POP
000033b1: SWAP2
000033b2: SWAP1
000033b3: POP
000033b4: JUMP
000033b5: JUMPDEST
000033b6: PUSH1 0x00
000033b8: DUP2
000033b9: MLOAD
000033ba: SWAP1
000033bb: POP
000033bc: SWAP2
000033bd: SWAP1
000033be: POP
000033bf: JUMP
000033c0: JUMPDEST
000033c1: PUSH1 0x00
000033c3: DUP3
000033c4: DUP3
000033c5: MSTORE
000033c6: PUSH1 0x20
000033c8: DUP3
000033c9: ADD
000033ca: SWAP1
000033cb: POP
000033cc: SWAP3
000033cd: SWAP2
000033ce: POP
000033cf: POP
000033d0: JUMP
000033d1: JUMPDEST
000033d2: PUSH1 0x00
000033d4: DUP2
000033d5: SWAP1
000033d6: POP
000033d7: SWAP3
000033d8: SWAP2
000033d9: POP
000033da: POP
000033db: JUMP
000033dc: JUMPDEST
000033dd: PUSH1 0x00
000033df: DUP3
000033e0: DUP3
000033e1: MSTORE
000033e2: PUSH1 0x20
000033e4: DUP3
000033e5: ADD
000033e6: SWAP1
000033e7: POP
000033e8: SWAP3
000033e9: SWAP2
000033ea: POP
000033eb: POP
000033ec: JUMP
000033ed: JUMPDEST
000033ee: PUSH1 0x00
000033f0: PUSH2 0x33f8
000033f3: DUP3
000033f4: PUSH2 0x371e
000033f7: JUMP
000033f8: JUMPDEST
000033f9: SWAP2
000033fa: POP
000033fb: PUSH2 0x3403
000033fe: DUP4
000033ff: PUSH2 0x371e
00003402: JUMP
00003403: JUMPDEST
00003404: SWAP3
00003405: POP
00003406: DUP3
00003407: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003428: SUB
00003429: DUP3
0000342a: GT
0000342b: ISZERO
0000342c: PUSH2 0x3438
0000342f: JUMPI
00003430: PUSH2 0x3437
00003433: PUSH2 0x3854
00003436: JUMP
00003437: JUMPDEST
00003438: JUMPDEST
00003439: DUP3
0000343a: DUP3
0000343b: ADD
0000343c: SWAP1
0000343d: POP
0000343e: SWAP3
0000343f: SWAP2
00003440: POP
00003441: POP
00003442: JUMP
00003443: JUMPDEST
00003444: PUSH1 0x00
00003446: PUSH2 0x344e
00003449: DUP3
0000344a: PUSH2 0x3728
0000344d: JUMP
0000344e: JUMPDEST
0000344f: SWAP2
00003450: POP
00003451: PUSH2 0x3459
00003454: DUP4
00003455: PUSH2 0x3728
00003458: JUMP
00003459: JUMPDEST
0000345a: SWAP3
0000345b: POP
0000345c: DUP3
0000345d: PUSH1 0xff
0000345f: SUB
00003460: DUP3
00003461: GT
00003462: ISZERO
00003463: PUSH2 0x346f
00003466: JUMPI
00003467: PUSH2 0x346e
0000346a: PUSH2 0x3854
0000346d: JUMP
0000346e: JUMPDEST
0000346f: JUMPDEST
00003470: DUP3
00003471: DUP3
00003472: ADD
00003473: SWAP1
00003474: POP
00003475: SWAP3
00003476: SWAP2
00003477: POP
00003478: POP
00003479: JUMP
0000347a: JUMPDEST
0000347b: PUSH1 0x00
0000347d: PUSH2 0x3485
00003480: DUP3
00003481: PUSH2 0x371e
00003484: JUMP
00003485: JUMPDEST
00003486: SWAP2
00003487: POP
00003488: PUSH2 0x3490
0000348b: DUP4
0000348c: PUSH2 0x371e
0000348f: JUMP
00003490: JUMPDEST
00003491: SWAP3
00003492: POP
00003493: DUP3
00003494: PUSH2 0x34a0
00003497: JUMPI
00003498: PUSH2 0x349f
0000349b: PUSH2 0x3883
0000349e: JUMP
0000349f: JUMPDEST
000034a0: JUMPDEST
000034a1: DUP3
000034a2: DUP3
000034a3: DIV
000034a4: SWAP1
000034a5: POP
000034a6: SWAP3
000034a7: SWAP2
000034a8: POP
000034a9: POP
000034aa: JUMP
000034ab: JUMPDEST
000034ac: PUSH1 0x00
000034ae: DUP1
000034af: DUP3
000034b0: SWAP2
000034b1: POP
000034b2: DUP4
000034b3: SWAP1
000034b4: POP
000034b5: JUMPDEST
000034b6: PUSH1 0x01
000034b8: DUP6
000034b9: GT
000034ba: ISZERO
000034bb: PUSH2 0x34f5
000034be: JUMPI
000034bf: DUP1
000034c0: DUP7
000034c1: DIV
000034c2: DUP2
000034c3: GT
000034c4: ISZERO
000034c5: PUSH2 0x34d1
000034c8: JUMPI
000034c9: PUSH2 0x34d0
000034cc: PUSH2 0x3854
000034cf: JUMP
000034d0: JUMPDEST
000034d1: JUMPDEST
000034d2: PUSH1 0x01
000034d4: DUP6
000034d5: AND
000034d6: ISZERO
000034d7: PUSH2 0x34e0
000034da: JUMPI
000034db: DUP1
000034dc: DUP3
000034dd: MUL
000034de: SWAP2
000034df: POP
000034e0: JUMPDEST
000034e1: DUP1
000034e2: DUP2
000034e3: MUL
000034e4: SWAP1
000034e5: POP
000034e6: PUSH2 0x34ee
000034e9: DUP6
000034ea: PUSH2 0x392e
000034ed: JUMP
000034ee: JUMPDEST
000034ef: SWAP5
000034f0: POP
000034f1: PUSH2 0x34b5
000034f4: JUMP
000034f5: JUMPDEST
000034f6: SWAP5
000034f7: POP
000034f8: SWAP5
000034f9: SWAP3
000034fa: POP
000034fb: POP
000034fc: POP
000034fd: JUMP
000034fe: JUMPDEST
000034ff: PUSH1 0x00
00003501: PUSH2 0x3509
00003504: DUP3
00003505: PUSH2 0x371e
00003508: JUMP
00003509: JUMPDEST
0000350a: SWAP2
0000350b: POP
0000350c: PUSH2 0x3514
0000350f: DUP4
00003510: PUSH2 0x371e
00003513: JUMP
00003514: JUMPDEST
00003515: SWAP3
00003516: POP
00003517: PUSH2 0x3541
0000351a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000353b: DUP5
0000353c: DUP5
0000353d: PUSH2 0x3549
00003540: JUMP
00003541: JUMPDEST
00003542: SWAP1
00003543: POP
00003544: SWAP3
00003545: SWAP2
00003546: POP
00003547: POP
00003548: JUMP
00003549: JUMPDEST
0000354a: PUSH1 0x00
0000354c: DUP3
0000354d: PUSH2 0x3559
00003550: JUMPI
00003551: PUSH1 0x01
00003553: SWAP1
00003554: POP
00003555: PUSH2 0x3615
00003558: JUMP
00003559: JUMPDEST
0000355a: DUP2
0000355b: PUSH2 0x3567
0000355e: JUMPI
0000355f: PUSH1 0x00
00003561: SWAP1
00003562: POP
00003563: PUSH2 0x3615
00003566: JUMP
00003567: JUMPDEST
00003568: DUP2
00003569: PUSH1 0x01
0000356b: DUP2
0000356c: EQ
0000356d: PUSH2 0x357d
00003570: JUMPI
00003571: PUSH1 0x02
00003573: DUP2
00003574: EQ
00003575: PUSH2 0x3587
00003578: JUMPI
00003579: PUSH2 0x35b6
0000357c: JUMP
0000357d: JUMPDEST
0000357e: PUSH1 0x01
00003580: SWAP2
00003581: POP
00003582: POP
00003583: PUSH2 0x3615
00003586: JUMP
00003587: JUMPDEST
00003588: PUSH1 0xff
0000358a: DUP5
0000358b: GT
0000358c: ISZERO
0000358d: PUSH2 0x3599
00003590: JUMPI
00003591: PUSH2 0x3598
00003594: PUSH2 0x3854
00003597: JUMP
00003598: JUMPDEST
00003599: JUMPDEST
0000359a: DUP4
0000359b: PUSH1 0x02
0000359d: EXP
0000359e: SWAP2
0000359f: POP
000035a0: DUP5
000035a1: DUP3
000035a2: GT
000035a3: ISZERO
000035a4: PUSH2 0x35b0
000035a7: JUMPI
000035a8: PUSH2 0x35af
000035ab: PUSH2 0x3854
000035ae: JUMP
000035af: JUMPDEST
000035b0: JUMPDEST
000035b1: POP
000035b2: PUSH2 0x3615
000035b5: JUMP
000035b6: JUMPDEST
000035b7: POP
000035b8: PUSH1 0x20
000035ba: DUP4
000035bb: LT
000035bc: PUSH2 0x0133
000035bf: DUP4
000035c0: LT
000035c1: AND
000035c2: PUSH1 0x4e
000035c4: DUP5
000035c5: LT
000035c6: PUSH1 0x0b
000035c8: DUP5
000035c9: LT
000035ca: AND
000035cb: OR
000035cc: ISZERO
000035cd: PUSH2 0x35eb
000035d0: JUMPI
000035d1: DUP3
000035d2: DUP3
000035d3: EXP
000035d4: SWAP1
000035d5: POP
000035d6: DUP4
000035d7: DUP2
000035d8: GT
000035d9: ISZERO
000035da: PUSH2 0x35e6
000035dd: JUMPI
000035de: PUSH2 0x35e5
000035e1: PUSH2 0x3854
000035e4: JUMP
000035e5: JUMPDEST
000035e6: JUMPDEST
000035e7: PUSH2 0x3615
000035ea: JUMP
000035eb: JUMPDEST
000035ec: PUSH2 0x35f8
000035ef: DUP5
000035f0: DUP5
000035f1: DUP5
000035f2: PUSH1 0x01
000035f4: PUSH2 0x34ab
000035f7: JUMP
000035f8: JUMPDEST
000035f9: SWAP3
000035fa: POP
000035fb: SWAP1
000035fc: POP
000035fd: DUP2
000035fe: DUP5
000035ff: DIV
00003600: DUP2
00003601: GT
00003602: ISZERO
00003603: PUSH2 0x360f
00003606: JUMPI
00003607: PUSH2 0x360e
0000360a: PUSH2 0x3854
0000360d: JUMP
0000360e: JUMPDEST
0000360f: JUMPDEST
00003610: DUP2
00003611: DUP2
00003612: MUL
00003613: SWAP1
00003614: POP
00003615: JUMPDEST
00003616: SWAP4
00003617: SWAP3
00003618: POP
00003619: POP
0000361a: POP
0000361b: JUMP
0000361c: JUMPDEST
0000361d: PUSH1 0x00
0000361f: PUSH2 0x3627
00003622: DUP3
00003623: PUSH2 0x371e
00003626: JUMP
00003627: JUMPDEST
00003628: SWAP2
00003629: POP
0000362a: PUSH2 0x3632
0000362d: DUP4
0000362e: PUSH2 0x371e
00003631: JUMP
00003632: JUMPDEST
00003633: SWAP3
00003634: POP
00003635: DUP2
00003636: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003657: DIV
00003658: DUP4
00003659: GT
0000365a: DUP3
0000365b: ISZERO
0000365c: ISZERO
0000365d: AND
0000365e: ISZERO
0000365f: PUSH2 0x366b
00003662: JUMPI
00003663: PUSH2 0x366a
00003666: PUSH2 0x3854
00003669: JUMP
0000366a: JUMPDEST
0000366b: JUMPDEST
0000366c: DUP3
0000366d: DUP3
0000366e: MUL
0000366f: SWAP1
00003670: POP
00003671: SWAP3
00003672: SWAP2
00003673: POP
00003674: POP
00003675: JUMP
00003676: JUMPDEST
00003677: PUSH1 0x00
00003679: PUSH2 0x3681
0000367c: DUP3
0000367d: PUSH2 0x371e
00003680: JUMP
00003681: JUMPDEST
00003682: SWAP2
00003683: POP
00003684: PUSH2 0x368c
00003687: DUP4
00003688: PUSH2 0x371e
0000368b: JUMP
0000368c: JUMPDEST
0000368d: SWAP3
0000368e: POP
0000368f: DUP3
00003690: DUP3
00003691: LT
00003692: ISZERO
00003693: PUSH2 0x369f
00003696: JUMPI
00003697: PUSH2 0x369e
0000369a: PUSH2 0x3854
0000369d: JUMP
0000369e: JUMPDEST
0000369f: JUMPDEST
000036a0: DUP3
000036a1: DUP3
000036a2: SUB
000036a3: SWAP1
000036a4: POP
000036a5: SWAP3
000036a6: SWAP2
000036a7: POP
000036a8: POP
000036a9: JUMP
000036aa: JUMPDEST
000036ab: PUSH1 0x00
000036ad: PUSH2 0x36b5
000036b0: DUP3
000036b1: PUSH2 0x36fe
000036b4: JUMP
000036b5: JUMPDEST
000036b6: SWAP1
000036b7: POP
000036b8: SWAP2
000036b9: SWAP1
000036ba: POP
000036bb: JUMP
000036bc: JUMPDEST
000036bd: PUSH1 0x00
000036bf: DUP2
000036c0: ISZERO
000036c1: ISZERO
000036c2: SWAP1
000036c3: POP
000036c4: SWAP2
000036c5: SWAP1
000036c6: POP
000036c7: JUMP
000036c8: JUMPDEST
000036c9: PUSH1 0x00
000036cb: DUP2
000036cc: SWAP1
000036cd: POP
000036ce: SWAP2
000036cf: SWAP1
000036d0: POP
000036d1: JUMP
000036d2: JUMPDEST
000036d3: PUSH1 0x00
000036d5: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000036f6: DUP3
000036f7: AND
000036f8: SWAP1
000036f9: POP
000036fa: SWAP2
000036fb: SWAP1
000036fc: POP
000036fd: JUMP
000036fe: JUMPDEST
000036ff: PUSH1 0x00
00003701: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003716: DUP3
00003717: AND
00003718: SWAP1
00003719: POP
0000371a: SWAP2
0000371b: SWAP1
0000371c: POP
0000371d: JUMP
0000371e: JUMPDEST
0000371f: PUSH1 0x00
00003721: DUP2
00003722: SWAP1
00003723: POP
00003724: SWAP2
00003725: SWAP1
00003726: POP
00003727: JUMP
00003728: JUMPDEST
00003729: PUSH1 0x00
0000372b: PUSH1 0xff
0000372d: DUP3
0000372e: AND
0000372f: SWAP1
00003730: POP
00003731: SWAP2
00003732: SWAP1
00003733: POP
00003734: JUMP
00003735: JUMPDEST
00003736: DUP3
00003737: DUP2
00003738: DUP4
00003739: CALLDATACOPY
0000373a: PUSH1 0x00
0000373c: DUP4
0000373d: DUP4
0000373e: ADD
0000373f: MSTORE
00003740: POP
00003741: POP
00003742: POP
00003743: JUMP
00003744: JUMPDEST
00003745: PUSH1 0x00
00003747: JUMPDEST
00003748: DUP4
00003749: DUP2
0000374a: LT
0000374b: ISZERO
0000374c: PUSH2 0x3762
0000374f: JUMPI
00003750: DUP1
00003751: DUP3
00003752: ADD
00003753: MLOAD
00003754: DUP2
00003755: DUP5
00003756: ADD
00003757: MSTORE
00003758: PUSH1 0x20
0000375a: DUP2
0000375b: ADD
0000375c: SWAP1
0000375d: POP
0000375e: PUSH2 0x3747
00003761: JUMP
00003762: JUMPDEST
00003763: DUP4
00003764: DUP2
00003765: GT
00003766: ISZERO
00003767: PUSH2 0x3771
0000376a: JUMPI
0000376b: PUSH1 0x00
0000376d: DUP5
0000376e: DUP5
0000376f: ADD
00003770: MSTORE
00003771: JUMPDEST
00003772: POP
00003773: POP
00003774: POP
00003775: POP
00003776: JUMP
00003777: JUMPDEST
00003778: PUSH1 0x00
0000377a: PUSH2 0x3782
0000377d: DUP3
0000377e: PUSH2 0x371e
00003781: JUMP
00003782: JUMPDEST
00003783: SWAP2
00003784: POP
00003785: PUSH1 0x00
00003787: DUP3
00003788: EQ
00003789: ISZERO
0000378a: PUSH2 0x3796
0000378d: JUMPI
0000378e: PUSH2 0x3795
00003791: PUSH2 0x3854
00003794: JUMP
00003795: JUMPDEST
00003796: JUMPDEST
00003797: PUSH1 0x01
00003799: DUP3
0000379a: SUB
0000379b: SWAP1
0000379c: POP
0000379d: SWAP2
0000379e: SWAP1
0000379f: POP
000037a0: JUMP
000037a1: JUMPDEST
000037a2: PUSH1 0x00
000037a4: PUSH1 0x02
000037a6: DUP3
000037a7: DIV
000037a8: SWAP1
000037a9: POP
000037aa: PUSH1 0x01
000037ac: DUP3
000037ad: AND
000037ae: DUP1
000037af: PUSH2 0x37b9
000037b2: JUMPI
000037b3: PUSH1 0x7f
000037b5: DUP3
000037b6: AND
000037b7: SWAP2
000037b8: POP
000037b9: JUMPDEST
000037ba: PUSH1 0x20
000037bc: DUP3
000037bd: LT
000037be: DUP2
000037bf: EQ
000037c0: ISZERO
000037c1: PUSH2 0x37cd
000037c4: JUMPI
000037c5: PUSH2 0x37cc
000037c8: PUSH2 0x38b2
000037cb: JUMP
000037cc: JUMPDEST
000037cd: JUMPDEST
000037ce: POP
000037cf: SWAP2
000037d0: SWAP1
000037d1: POP
000037d2: JUMP
000037d3: JUMPDEST
000037d4: PUSH1 0x00
000037d6: PUSH2 0x37de
000037d9: DUP3
000037da: PUSH2 0x371e
000037dd: JUMP
000037de: JUMPDEST
000037df: SWAP2
000037e0: POP
000037e1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003802: DUP3
00003803: EQ
00003804: ISZERO
00003805: PUSH2 0x3811
00003808: JUMPI
00003809: PUSH2 0x3810
0000380c: PUSH2 0x3854
0000380f: JUMP
00003810: JUMPDEST
00003811: JUMPDEST
00003812: PUSH1 0x01
00003814: DUP3
00003815: ADD
00003816: SWAP1
00003817: POP
00003818: SWAP2
00003819: SWAP1
0000381a: POP
0000381b: JUMP
0000381c: JUMPDEST
0000381d: PUSH1 0x00
0000381f: PUSH2 0x3827
00003822: DUP3
00003823: PUSH2 0x3838
00003826: JUMP
00003827: JUMPDEST
00003828: SWAP1
00003829: POP
0000382a: SWAP2
0000382b: SWAP1
0000382c: POP
0000382d: JUMP
0000382e: JUMPDEST
0000382f: PUSH1 0x00
00003831: DUP2
00003832: SWAP1
00003833: POP
00003834: SWAP2
00003835: SWAP1
00003836: POP
00003837: JUMP
00003838: JUMPDEST
00003839: PUSH1 0x00
0000383b: PUSH2 0x3843
0000383e: DUP3
0000383f: PUSH2 0x3921
00003842: JUMP
00003843: JUMPDEST
00003844: SWAP1
00003845: POP
00003846: SWAP2
00003847: SWAP1
00003848: POP
00003849: JUMP
0000384a: JUMPDEST
0000384b: PUSH1 0x00
0000384d: DUP2
0000384e: SWAP1
0000384f: POP
00003850: SWAP2
00003851: SWAP1
00003852: POP
00003853: JUMP
00003854: JUMPDEST
00003855: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003876: PUSH1 0x00
00003878: MSTORE
00003879: PUSH1 0x11
0000387b: PUSH1 0x04
0000387d: MSTORE
0000387e: PUSH1 0x24
00003880: PUSH1 0x00
00003882: REVERT
00003883: JUMPDEST
00003884: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000038a5: PUSH1 0x00
000038a7: MSTORE
000038a8: PUSH1 0x12
000038aa: PUSH1 0x04
000038ac: MSTORE
000038ad: PUSH1 0x24
000038af: PUSH1 0x00
000038b1: REVERT
000038b2: JUMPDEST
000038b3: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000038d4: PUSH1 0x00
000038d6: MSTORE
000038d7: PUSH1 0x22
000038d9: PUSH1 0x04
000038db: MSTORE
000038dc: PUSH1 0x24
000038de: PUSH1 0x00
000038e0: REVERT
000038e1: JUMPDEST
000038e2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003903: PUSH1 0x00
00003905: MSTORE
00003906: PUSH1 0x41
00003908: PUSH1 0x04
0000390a: MSTORE
0000390b: PUSH1 0x24
0000390d: PUSH1 0x00
0000390f: REVERT
00003910: JUMPDEST
00003911: PUSH1 0x00
00003913: PUSH1 0x1f
00003915: NOT
00003916: PUSH1 0x1f
00003918: DUP4
00003919: ADD
0000391a: AND
0000391b: SWAP1
0000391c: POP
0000391d: SWAP2
0000391e: SWAP1
0000391f: POP
00003920: JUMP
00003921: JUMPDEST
00003922: PUSH1 0x00
00003924: DUP2
00003925: PUSH1 0x60
00003927: SHL
00003928: SWAP1
00003929: POP
0000392a: SWAP2
0000392b: SWAP1
0000392c: POP
0000392d: JUMP
0000392e: JUMPDEST
0000392f: PUSH1 0x00
00003931: DUP2
00003932: PUSH1 0x01
00003934: SHR
00003935: SWAP1
00003936: POP
00003937: SWAP2
00003938: SWAP1
00003939: POP
0000393a: JUMP
0000393b: JUMPDEST
0000393c: PUSH2 0x3944
0000393f: DUP2
00003940: PUSH2 0x36aa
00003943: JUMP
00003944: JUMPDEST
00003945: DUP2
00003946: EQ
00003947: PUSH2 0x394f
0000394a: JUMPI
0000394b: PUSH1 0x00
0000394d: DUP1
0000394e: REVERT
0000394f: JUMPDEST
00003950: POP
00003951: JUMP
00003952: JUMPDEST
00003953: PUSH2 0x395b
00003956: DUP2
00003957: PUSH2 0x36bc
0000395a: JUMP
0000395b: JUMPDEST
0000395c: DUP2
0000395d: EQ
0000395e: PUSH2 0x3966
00003961: JUMPI
00003962: PUSH1 0x00
00003964: DUP1
00003965: REVERT
00003966: JUMPDEST
00003967: POP
00003968: JUMP
00003969: JUMPDEST
0000396a: PUSH2 0x3972
0000396d: DUP2
0000396e: PUSH2 0x36c8
00003971: JUMP
00003972: JUMPDEST
00003973: DUP2
00003974: EQ
00003975: PUSH2 0x397d
00003978: JUMPI
00003979: PUSH1 0x00
0000397b: DUP1
0000397c: REVERT
0000397d: JUMPDEST
0000397e: POP
0000397f: JUMP
00003980: JUMPDEST
00003981: PUSH2 0x3989
00003984: DUP2
00003985: PUSH2 0x36d2
00003988: JUMP
00003989: JUMPDEST
0000398a: DUP2
0000398b: EQ
0000398c: PUSH2 0x3994
0000398f: JUMPI
00003990: PUSH1 0x00
00003992: DUP1
00003993: REVERT
00003994: JUMPDEST
00003995: POP
00003996: JUMP
00003997: JUMPDEST
00003998: PUSH2 0x39a0
0000399b: DUP2
0000399c: PUSH2 0x371e
0000399f: JUMP
000039a0: JUMPDEST
000039a1: DUP2
000039a2: EQ
000039a3: PUSH2 0x39ab
000039a6: JUMPI
000039a7: PUSH1 0x00
000039a9: DUP1
000039aa: REVERT
000039ab: JUMPDEST
000039ac: POP
000039ad: JUMP
000039ae: INVALID
000039af: LOG2
000039b0: PUSH5 0x6970667358
000039b6: UNKNOWN(0x22)
000039b7: SLT
000039b8: KECCAK256
000039b9: STATICCALL
000039ba: UNKNOWN(0xD6)
000039bb: LOG4
000039bc: UNKNOWN(0x0F)
000039bd: PUSH5 0xa0d12643ea
000039c3: UNKNOWN(0xCE)
000039c4: UNKNOWN(0x2C)
000039c5: UNKNOWN(0xDE)
000039c6: UNKNOWN(0x0C)
000039c7: UNKNOWN(0xE5)
000039c8: SMOD
000039c9: PUSH2 0x56d9
000039cc: SWAP11
000039cd: UNKNOWN(0xF8)
000039ce: LOG4
000039cf: PUSH20 0xf28b73b315818f585564736f6c63430008000033
View stderr
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x7af7411fc2867cae5a617fa097ab3e25e1cfe99670cbb305396de4b877e0952b
call_targets: 0x9abb7bddc43fa67c76a62d8c016513827f59be1b
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7af7411fc2867cae5a617fa097ab3e25e1cfe99670cbb305396de4b877e0952b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9abb7bddc43fa67c76a62d8c016513827f59be1b"
    ],
    "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": "0xb1ac1347",
            "selector": "0xb1ac1347",
            "calldata_variants": [
                "0xb1ac1347",
                "0xb1ac13470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9d110530",
            "selector": "0x9d110530",
            "calldata_variants": [
                "0x9d110530",
                "0x9d1105300000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaf88d599",
            "selector": "0xaf88d599",
            "calldata_variants": [
                "0xaf88d599",
                "0xaf88d5990000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4f6ccce7",
            "selector": "0x4f6ccce7",
            "calldata_variants": [
                "0x4f6ccce7",
                "0x4f6ccce70000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 4962,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6569,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7057,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 3
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x7af7411fc2867cae5a617fa097ab3e25e1cfe99670cbb305396de4b877e0952b
call_targets: 0x9abb7bddc43fa67c76a62d8c016513827f59be1b
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7af7411fc2867cae5a617fa097ab3e25e1cfe99670cbb305396de4b877e0952b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9abb7bddc43fa67c76a62d8c016513827f59be1b"
    ],
    "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": "0xb1ac1347",
            "selector": "0xb1ac1347",
            "calldata_variants": [
                "0xb1ac1347",
                "0xb1ac13470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9d110530",
            "selector": "0x9d110530",
            "calldata_variants": [
                "0x9d110530",
                "0x9d1105300000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaf88d599",
            "selector": "0xaf88d599",
            "calldata_variants": [
                "0xaf88d599",
                "0xaf88d5990000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4f6ccce7",
            "selector": "0x4f6ccce7",
            "calldata_variants": [
                "0x4f6ccce7",
                "0x4f6ccce70000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 4962,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6569,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7057,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}