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

Analysis Run

019b477e-c2de-713c-aa45-ab4edb341219

complete
Chain ID
1
Address
Block Number
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
25117 artifact.fetch complete 1 / 3 3 months ago
25118 tool.cast_disasm complete 1 / 3 3 months ago
91025 analysis.bundle complete 1 / 3 2 weeks ago
91026 capability.graph complete 1 / 3 2 weeks ago
91027 detector.run complete 1 / 3 2 weeks ago
91028 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
4
EXT*/BALANCE
4
Total opcodes
7769
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 0x02dc
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6352211e
00000019: GT
0000001a: PUSH2 0x0184
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb03e6478
00000024: GT
00000025: PUSH2 0x00d6
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd1f9c24d
0000002f: GT
00000030: PUSH2 0x008a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe985e9c5
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe985e9c5
00000045: EQ
00000046: PUSH2 0x0762
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xed7a4e0b
00000050: EQ
00000051: PUSH2 0x07ab
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x07cb
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xd1f9c24d
0000006b: EQ
0000006c: PUSH2 0x070a
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xd547cfb7
00000076: EQ
00000077: PUSH2 0x0738
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xe960662b
00000081: EQ
00000082: PUSH2 0x074d
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0xc4cea797
00000091: GT
00000092: PUSH2 0x00bb
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xc4cea797
0000009c: EQ
0000009d: PUSH2 0x06c0
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xc87b56dd
000000a7: EQ
000000a8: PUSH2 0x06d5
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xca9f19ef
000000b2: EQ
000000b3: PUSH2 0x06f5
000000b6: JUMPI
000000b7: PUSH1 0x00
000000b9: DUP1
000000ba: REVERT
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0xb03e6478
000000c2: EQ
000000c3: PUSH2 0x068b
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0xb88d4fde
000000cd: EQ
000000ce: PUSH2 0x06a0
000000d1: JUMPI
000000d2: PUSH1 0x00
000000d4: DUP1
000000d5: REVERT
000000d6: JUMPDEST
000000d7: DUP1
000000d8: PUSH4 0x8ad5de28
000000dd: GT
000000de: PUSH2 0x0138
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x94985ddd
000000e8: GT
000000e9: PUSH2 0x0112
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x94985ddd
000000f3: EQ
000000f4: PUSH2 0x0636
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x95d89b41
000000fe: EQ
000000ff: PUSH2 0x0656
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xa22cb465
00000109: EQ
0000010a: PUSH2 0x066b
0000010d: JUMPI
0000010e: PUSH1 0x00
00000110: DUP1
00000111: REVERT
00000112: JUMPDEST
00000113: DUP1
00000114: PUSH4 0x8ad5de28
00000119: EQ
0000011a: PUSH2 0x05e7
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x8d859f3e
00000124: EQ
00000125: PUSH2 0x05fc
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x8da5cb5b
0000012f: EQ
00000130: PUSH2 0x0618
00000133: JUMPI
00000134: PUSH1 0x00
00000136: DUP1
00000137: REVERT
00000138: JUMPDEST
00000139: DUP1
0000013a: PUSH4 0x715018a6
0000013f: GT
00000140: PUSH2 0x0169
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x715018a6
0000014a: EQ
0000014b: PUSH2 0x05a7
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x86c62a8f
00000155: EQ
00000156: PUSH2 0x05bc
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x8a19c8bc
00000160: EQ
00000161: PUSH2 0x05d1
00000164: JUMPI
00000165: PUSH1 0x00
00000167: DUP1
00000168: REVERT
00000169: JUMPDEST
0000016a: DUP1
0000016b: PUSH4 0x6352211e
00000170: EQ
00000171: PUSH2 0x0567
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x70a08231
0000017b: EQ
0000017c: PUSH2 0x0587
0000017f: JUMPI
00000180: PUSH1 0x00
00000182: DUP1
00000183: REVERT
00000184: JUMPDEST
00000185: DUP1
00000186: PUSH4 0x2f745c59
0000018b: GT
0000018c: PUSH2 0x023d
0000018f: JUMPI
00000190: DUP1
00000191: PUSH4 0x438b6300
00000196: GT
00000197: PUSH2 0x01f1
0000019a: JUMPI
0000019b: DUP1
0000019c: PUSH4 0x57594818
000001a1: GT
000001a2: PUSH2 0x01cb
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x57594818
000001ac: EQ
000001ad: PUSH2 0x052b
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0x59a7715a
000001b7: EQ
000001b8: PUSH2 0x0533
000001bb: JUMPI
000001bc: DUP1
000001bd: PUSH4 0x5c975abb
000001c2: EQ
000001c3: PUSH2 0x0548
000001c6: JUMPI
000001c7: PUSH1 0x00
000001c9: DUP1
000001ca: REVERT
000001cb: JUMPDEST
000001cc: DUP1
000001cd: PUSH4 0x438b6300
000001d2: EQ
000001d3: PUSH2 0x04be
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0x4f6ccce7
000001dd: EQ
000001de: PUSH2 0x04eb
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0x55f804b3
000001e8: EQ
000001e9: PUSH2 0x050b
000001ec: JUMPI
000001ed: PUSH1 0x00
000001ef: DUP1
000001f0: REVERT
000001f1: JUMPDEST
000001f2: DUP1
000001f3: PUSH4 0x40c10f19
000001f8: GT
000001f9: PUSH2 0x0222
000001fc: JUMPI
000001fd: DUP1
000001fe: PUSH4 0x40c10f19
00000203: EQ
00000204: PUSH2 0x0475
00000207: JUMPI
00000208: DUP1
00000209: PUSH4 0x42619f66
0000020e: EQ
0000020f: PUSH2 0x0488
00000212: JUMPI
00000213: DUP1
00000214: PUSH4 0x42842e0e
00000219: EQ
0000021a: PUSH2 0x049e
0000021d: JUMPI
0000021e: PUSH1 0x00
00000220: DUP1
00000221: REVERT
00000222: JUMPDEST
00000223: DUP1
00000224: PUSH4 0x2f745c59
00000229: EQ
0000022a: PUSH2 0x0440
0000022d: JUMPI
0000022e: DUP1
0000022f: PUSH4 0x3502a716
00000234: EQ
00000235: PUSH2 0x0460
00000238: JUMPI
00000239: PUSH1 0x00
0000023b: DUP1
0000023c: REVERT
0000023d: JUMPDEST
0000023e: DUP1
0000023f: PUSH4 0x095ea7b3
00000244: GT
00000245: PUSH2 0x0294
00000248: JUMPI
00000249: DUP1
0000024a: PUSH4 0x18160ddd
0000024f: GT
00000250: PUSH2 0x0279
00000253: JUMPI
00000254: DUP1
00000255: PUSH4 0x18160ddd
0000025a: EQ
0000025b: PUSH2 0x03eb
0000025e: JUMPI
0000025f: DUP1
00000260: PUSH4 0x23b872dd
00000265: EQ
00000266: PUSH2 0x0400
00000269: JUMPI
0000026a: DUP1
0000026b: PUSH4 0x26a49e37
00000270: EQ
00000271: PUSH2 0x0420
00000274: JUMPI
00000275: PUSH1 0x00
00000277: DUP1
00000278: REVERT
00000279: JUMPDEST
0000027a: DUP1
0000027b: PUSH4 0x095ea7b3
00000280: EQ
00000281: PUSH2 0x03b6
00000284: JUMPI
00000285: DUP1
00000286: PUSH4 0x0f4f85bc
0000028b: EQ
0000028c: PUSH2 0x03d6
0000028f: JUMPI
00000290: PUSH1 0x00
00000292: DUP1
00000293: REVERT
00000294: JUMPDEST
00000295: DUP1
00000296: PUSH4 0x040b7a8e
0000029b: GT
0000029c: PUSH2 0x02c5
0000029f: JUMPI
000002a0: DUP1
000002a1: PUSH4 0x040b7a8e
000002a6: EQ
000002a7: PUSH2 0x0338
000002aa: JUMPI
000002ab: DUP1
000002ac: PUSH4 0x06fdde03
000002b1: EQ
000002b2: PUSH2 0x035c
000002b5: JUMPI
000002b6: DUP1
000002b7: PUSH4 0x081812fc
000002bc: EQ
000002bd: PUSH2 0x037e
000002c0: JUMPI
000002c1: PUSH1 0x00
000002c3: DUP1
000002c4: REVERT
000002c5: JUMPDEST
000002c6: DUP1
000002c7: PUSH4 0x01ffc9a7
000002cc: EQ
000002cd: PUSH2 0x02e1
000002d0: JUMPI
000002d1: DUP1
000002d2: PUSH4 0x02329a29
000002d7: EQ
000002d8: PUSH2 0x0316
000002db: JUMPI
000002dc: JUMPDEST
000002dd: PUSH1 0x00
000002df: DUP1
000002e0: REVERT
000002e1: JUMPDEST
000002e2: CALLVALUE
000002e3: DUP1
000002e4: ISZERO
000002e5: PUSH2 0x02ed
000002e8: JUMPI
000002e9: PUSH1 0x00
000002eb: DUP1
000002ec: REVERT
000002ed: JUMPDEST
000002ee: POP
000002ef: PUSH2 0x0301
000002f2: PUSH2 0x02fc
000002f5: CALLDATASIZE
000002f6: PUSH1 0x04
000002f8: PUSH2 0x3158
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH2 0x07eb
00000300: JUMP
00000301: JUMPDEST
00000302: PUSH1 0x40
00000304: MLOAD
00000305: SWAP1
00000306: ISZERO
00000307: ISZERO
00000308: DUP2
00000309: MSTORE
0000030a: PUSH1 0x20
0000030c: ADD
0000030d: JUMPDEST
0000030e: PUSH1 0x40
00000310: MLOAD
00000311: DUP1
00000312: SWAP2
00000313: SUB
00000314: SWAP1
00000315: RETURN
00000316: JUMPDEST
00000317: CALLVALUE
00000318: DUP1
00000319: ISZERO
0000031a: PUSH2 0x0322
0000031d: JUMPI
0000031e: PUSH1 0x00
00000320: DUP1
00000321: REVERT
00000322: JUMPDEST
00000323: POP
00000324: PUSH2 0x0336
00000327: PUSH2 0x0331
0000032a: CALLDATASIZE
0000032b: PUSH1 0x04
0000032d: PUSH2 0x30ff
00000330: JUMP
00000331: JUMPDEST
00000332: PUSH2 0x07fc
00000335: JUMP
00000336: JUMPDEST
00000337: STOP
00000338: JUMPDEST
00000339: CALLVALUE
0000033a: DUP1
0000033b: ISZERO
0000033c: PUSH2 0x0344
0000033f: JUMPI
00000340: PUSH1 0x00
00000342: DUP1
00000343: REVERT
00000344: JUMPDEST
00000345: POP
00000346: PUSH2 0x034e
00000349: PUSH1 0x12
0000034b: SLOAD
0000034c: DUP2
0000034d: JUMP
0000034e: JUMPDEST
0000034f: PUSH1 0x40
00000351: MLOAD
00000352: SWAP1
00000353: DUP2
00000354: MSTORE
00000355: PUSH1 0x20
00000357: ADD
00000358: PUSH2 0x030d
0000035b: JUMP
0000035c: JUMPDEST
0000035d: CALLVALUE
0000035e: DUP1
0000035f: ISZERO
00000360: PUSH2 0x0368
00000363: JUMPI
00000364: PUSH1 0x00
00000366: DUP1
00000367: REVERT
00000368: JUMPDEST
00000369: POP
0000036a: PUSH2 0x0371
0000036d: PUSH2 0x089d
00000370: JUMP
00000371: JUMPDEST
00000372: PUSH1 0x40
00000374: MLOAD
00000375: PUSH2 0x030d
00000378: SWAP2
00000379: SWAP1
0000037a: PUSH2 0x33c4
0000037d: JUMP
0000037e: JUMPDEST
0000037f: CALLVALUE
00000380: DUP1
00000381: ISZERO
00000382: PUSH2 0x038a
00000385: JUMPI
00000386: PUSH1 0x00
00000388: DUP1
00000389: REVERT
0000038a: JUMPDEST
0000038b: POP
0000038c: PUSH2 0x039e
0000038f: PUSH2 0x0399
00000392: CALLDATASIZE
00000393: PUSH1 0x04
00000395: PUSH2 0x31d6
00000398: JUMP
00000399: JUMPDEST
0000039a: PUSH2 0x092f
0000039d: JUMP
0000039e: JUMPDEST
0000039f: PUSH1 0x40
000003a1: MLOAD
000003a2: PUSH1 0x01
000003a4: PUSH1 0x01
000003a6: PUSH1 0xa0
000003a8: SHL
000003a9: SUB
000003aa: SWAP1
000003ab: SWAP2
000003ac: AND
000003ad: DUP2
000003ae: MSTORE
000003af: PUSH1 0x20
000003b1: ADD
000003b2: PUSH2 0x030d
000003b5: JUMP
000003b6: JUMPDEST
000003b7: CALLVALUE
000003b8: DUP1
000003b9: ISZERO
000003ba: PUSH2 0x03c2
000003bd: JUMPI
000003be: PUSH1 0x00
000003c0: DUP1
000003c1: REVERT
000003c2: JUMPDEST
000003c3: POP
000003c4: PUSH2 0x0336
000003c7: PUSH2 0x03d1
000003ca: CALLDATASIZE
000003cb: PUSH1 0x04
000003cd: PUSH2 0x30d6
000003d0: JUMP
000003d1: JUMPDEST
000003d2: PUSH2 0x09c4
000003d5: JUMP
000003d6: JUMPDEST
000003d7: CALLVALUE
000003d8: DUP1
000003d9: ISZERO
000003da: PUSH2 0x03e2
000003dd: JUMPI
000003de: PUSH1 0x00
000003e0: DUP1
000003e1: REVERT
000003e2: JUMPDEST
000003e3: POP
000003e4: PUSH2 0x034e
000003e7: PUSH1 0x07
000003e9: DUP2
000003ea: JUMP
000003eb: JUMPDEST
000003ec: CALLVALUE
000003ed: DUP1
000003ee: ISZERO
000003ef: PUSH2 0x03f7
000003f2: JUMPI
000003f3: PUSH1 0x00
000003f5: DUP1
000003f6: REVERT
000003f7: JUMPDEST
000003f8: POP
000003f9: PUSH1 0x08
000003fb: SLOAD
000003fc: PUSH2 0x034e
000003ff: JUMP
00000400: JUMPDEST
00000401: CALLVALUE
00000402: DUP1
00000403: ISZERO
00000404: PUSH2 0x040c
00000407: JUMPI
00000408: PUSH1 0x00
0000040a: DUP1
0000040b: REVERT
0000040c: JUMPDEST
0000040d: POP
0000040e: PUSH2 0x0336
00000411: PUSH2 0x041b
00000414: CALLDATASIZE
00000415: PUSH1 0x04
00000417: PUSH2 0x2fec
0000041a: JUMP
0000041b: JUMPDEST
0000041c: PUSH2 0x0af6
0000041f: JUMP
00000420: JUMPDEST
00000421: CALLVALUE
00000422: DUP1
00000423: ISZERO
00000424: PUSH2 0x042c
00000427: JUMPI
00000428: PUSH1 0x00
0000042a: DUP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: POP
0000042e: PUSH2 0x034e
00000431: PUSH2 0x043b
00000434: CALLDATASIZE
00000435: PUSH1 0x04
00000437: PUSH2 0x31d6
0000043a: JUMP
0000043b: JUMPDEST
0000043c: PUSH2 0x0b7d
0000043f: JUMP
00000440: JUMPDEST
00000441: CALLVALUE
00000442: DUP1
00000443: ISZERO
00000444: PUSH2 0x044c
00000447: JUMPI
00000448: PUSH1 0x00
0000044a: DUP1
0000044b: REVERT
0000044c: JUMPDEST
0000044d: POP
0000044e: PUSH2 0x034e
00000451: PUSH2 0x045b
00000454: CALLDATASIZE
00000455: PUSH1 0x04
00000457: PUSH2 0x30d6
0000045a: JUMP
0000045b: JUMPDEST
0000045c: PUSH2 0x0b91
0000045f: JUMP
00000460: JUMPDEST
00000461: CALLVALUE
00000462: DUP1
00000463: ISZERO
00000464: PUSH2 0x046c
00000467: JUMPI
00000468: PUSH1 0x00
0000046a: DUP1
0000046b: REVERT
0000046c: JUMPDEST
0000046d: POP
0000046e: PUSH2 0x034e
00000471: PUSH2 0x0c39
00000474: JUMP
00000475: JUMPDEST
00000476: PUSH2 0x0336
00000479: PUSH2 0x0483
0000047c: CALLDATASIZE
0000047d: PUSH1 0x04
0000047f: PUSH2 0x30d6
00000482: JUMP
00000483: JUMPDEST
00000484: PUSH2 0x0c48
00000487: JUMP
00000488: JUMPDEST
00000489: CALLVALUE
0000048a: DUP1
0000048b: ISZERO
0000048c: PUSH2 0x0494
0000048f: JUMPI
00000490: PUSH1 0x00
00000492: DUP1
00000493: REVERT
00000494: JUMPDEST
00000495: POP
00000496: PUSH2 0x034e
00000499: PUSH1 0x0e
0000049b: SLOAD
0000049c: DUP2
0000049d: JUMP
0000049e: JUMPDEST
0000049f: CALLVALUE
000004a0: DUP1
000004a1: ISZERO
000004a2: PUSH2 0x04aa
000004a5: JUMPI
000004a6: PUSH1 0x00
000004a8: DUP1
000004a9: REVERT
000004aa: JUMPDEST
000004ab: POP
000004ac: PUSH2 0x0336
000004af: PUSH2 0x04b9
000004b2: CALLDATASIZE
000004b3: PUSH1 0x04
000004b5: PUSH2 0x2fec
000004b8: JUMP
000004b9: JUMPDEST
000004ba: PUSH2 0x0e8c
000004bd: JUMP
000004be: JUMPDEST
000004bf: CALLVALUE
000004c0: DUP1
000004c1: ISZERO
000004c2: PUSH2 0x04ca
000004c5: JUMPI
000004c6: PUSH1 0x00
000004c8: DUP1
000004c9: REVERT
000004ca: JUMPDEST
000004cb: POP
000004cc: PUSH2 0x04de
000004cf: PUSH2 0x04d9
000004d2: CALLDATASIZE
000004d3: PUSH1 0x04
000004d5: PUSH2 0x2fa0
000004d8: JUMP
000004d9: JUMPDEST
000004da: PUSH2 0x0ea7
000004dd: JUMP
000004de: JUMPDEST
000004df: PUSH1 0x40
000004e1: MLOAD
000004e2: PUSH2 0x030d
000004e5: SWAP2
000004e6: SWAP1
000004e7: PUSH2 0x3358
000004ea: JUMP
000004eb: JUMPDEST
000004ec: CALLVALUE
000004ed: DUP1
000004ee: ISZERO
000004ef: PUSH2 0x04f7
000004f2: JUMPI
000004f3: PUSH1 0x00
000004f5: DUP1
000004f6: REVERT
000004f7: JUMPDEST
000004f8: POP
000004f9: PUSH2 0x034e
000004fc: PUSH2 0x0506
000004ff: CALLDATASIZE
00000500: PUSH1 0x04
00000502: PUSH2 0x31d6
00000505: JUMP
00000506: JUMPDEST
00000507: PUSH2 0x0f65
0000050a: JUMP
0000050b: JUMPDEST
0000050c: CALLVALUE
0000050d: DUP1
0000050e: ISZERO
0000050f: PUSH2 0x0517
00000512: JUMPI
00000513: PUSH1 0x00
00000515: DUP1
00000516: REVERT
00000517: JUMPDEST
00000518: POP
00000519: PUSH2 0x0336
0000051c: PUSH2 0x0526
0000051f: CALLDATASIZE
00000520: PUSH1 0x04
00000522: PUSH2 0x3190
00000525: JUMP
00000526: JUMPDEST
00000527: PUSH2 0x1017
0000052a: JUMP
0000052b: JUMPDEST
0000052c: PUSH2 0x0336
0000052f: PUSH2 0x1088
00000532: JUMP
00000533: JUMPDEST
00000534: CALLVALUE
00000535: DUP1
00000536: ISZERO
00000537: PUSH2 0x053f
0000053a: JUMPI
0000053b: PUSH1 0x00
0000053d: DUP1
0000053e: REVERT
0000053f: JUMPDEST
00000540: POP
00000541: PUSH2 0x034e
00000544: PUSH2 0x1108
00000547: JUMP
00000548: JUMPDEST
00000549: CALLVALUE
0000054a: DUP1
0000054b: ISZERO
0000054c: PUSH2 0x0554
0000054f: JUMPI
00000550: PUSH1 0x00
00000552: DUP1
00000553: REVERT
00000554: JUMPDEST
00000555: POP
00000556: PUSH1 0x0a
00000558: SLOAD
00000559: PUSH1 0x01
0000055b: PUSH1 0xa0
0000055d: SHL
0000055e: SWAP1
0000055f: DIV
00000560: PUSH1 0xff
00000562: AND
00000563: PUSH2 0x0301
00000566: JUMP
00000567: JUMPDEST
00000568: CALLVALUE
00000569: DUP1
0000056a: ISZERO
0000056b: PUSH2 0x0573
0000056e: JUMPI
0000056f: PUSH1 0x00
00000571: DUP1
00000572: REVERT
00000573: JUMPDEST
00000574: POP
00000575: PUSH2 0x039e
00000578: PUSH2 0x0582
0000057b: CALLDATASIZE
0000057c: PUSH1 0x04
0000057e: PUSH2 0x31d6
00000581: JUMP
00000582: JUMPDEST
00000583: PUSH2 0x1117
00000586: JUMP
00000587: JUMPDEST
00000588: CALLVALUE
00000589: DUP1
0000058a: ISZERO
0000058b: PUSH2 0x0593
0000058e: JUMPI
0000058f: PUSH1 0x00
00000591: DUP1
00000592: REVERT
00000593: JUMPDEST
00000594: POP
00000595: PUSH2 0x034e
00000598: PUSH2 0x05a2
0000059b: CALLDATASIZE
0000059c: PUSH1 0x04
0000059e: PUSH2 0x2fa0
000005a1: JUMP
000005a2: JUMPDEST
000005a3: PUSH2 0x11a2
000005a6: JUMP
000005a7: JUMPDEST
000005a8: CALLVALUE
000005a9: DUP1
000005aa: ISZERO
000005ab: PUSH2 0x05b3
000005ae: JUMPI
000005af: PUSH1 0x00
000005b1: DUP1
000005b2: REVERT
000005b3: JUMPDEST
000005b4: POP
000005b5: PUSH2 0x0336
000005b8: PUSH2 0x123c
000005bb: JUMP
000005bc: JUMPDEST
000005bd: CALLVALUE
000005be: DUP1
000005bf: ISZERO
000005c0: PUSH2 0x05c8
000005c3: JUMPI
000005c4: PUSH1 0x00
000005c6: DUP1
000005c7: REVERT
000005c8: JUMPDEST
000005c9: POP
000005ca: PUSH2 0x0336
000005cd: PUSH2 0x12a2
000005d0: JUMP
000005d1: JUMPDEST
000005d2: CALLVALUE
000005d3: DUP1
000005d4: ISZERO
000005d5: PUSH2 0x05dd
000005d8: JUMPI
000005d9: PUSH1 0x00
000005db: DUP1
000005dc: REVERT
000005dd: JUMPDEST
000005de: POP
000005df: PUSH2 0x034e
000005e2: PUSH1 0x11
000005e4: SLOAD
000005e5: DUP2
000005e6: JUMP
000005e7: JUMPDEST
000005e8: CALLVALUE
000005e9: DUP1
000005ea: ISZERO
000005eb: PUSH2 0x05f3
000005ee: JUMPI
000005ef: PUSH1 0x00
000005f1: DUP1
000005f2: REVERT
000005f3: JUMPDEST
000005f4: POP
000005f5: PUSH2 0x034e
000005f8: PUSH1 0x05
000005fa: DUP2
000005fb: JUMP
000005fc: JUMPDEST
000005fd: CALLVALUE
000005fe: DUP1
000005ff: ISZERO
00000600: PUSH2 0x0608
00000603: JUMPI
00000604: PUSH1 0x00
00000606: DUP1
00000607: REVERT
00000608: JUMPDEST
00000609: POP
0000060a: PUSH2 0x034e
0000060d: PUSH8 0x011c37937e080000
00000616: DUP2
00000617: JUMP
00000618: JUMPDEST
00000619: CALLVALUE
0000061a: DUP1
0000061b: ISZERO
0000061c: PUSH2 0x0624
0000061f: JUMPI
00000620: PUSH1 0x00
00000622: DUP1
00000623: REVERT
00000624: JUMPDEST
00000625: POP
00000626: PUSH1 0x0a
00000628: SLOAD
00000629: PUSH1 0x01
0000062b: PUSH1 0x01
0000062d: PUSH1 0xa0
0000062f: SHL
00000630: SUB
00000631: AND
00000632: PUSH2 0x039e
00000635: JUMP
00000636: JUMPDEST
00000637: CALLVALUE
00000638: DUP1
00000639: ISZERO
0000063a: PUSH2 0x0642
0000063d: JUMPI
0000063e: PUSH1 0x00
00000640: DUP1
00000641: REVERT
00000642: JUMPDEST
00000643: POP
00000644: PUSH2 0x0336
00000647: PUSH2 0x0651
0000064a: CALLDATASIZE
0000064b: PUSH1 0x04
0000064d: PUSH2 0x3137
00000650: JUMP
00000651: JUMPDEST
00000652: PUSH2 0x13ca
00000655: JUMP
00000656: JUMPDEST
00000657: CALLVALUE
00000658: DUP1
00000659: ISZERO
0000065a: PUSH2 0x0662
0000065d: JUMPI
0000065e: PUSH1 0x00
00000660: DUP1
00000661: REVERT
00000662: JUMPDEST
00000663: POP
00000664: PUSH2 0x0371
00000667: PUSH2 0x145a
0000066a: JUMP
0000066b: JUMPDEST
0000066c: CALLVALUE
0000066d: DUP1
0000066e: ISZERO
0000066f: PUSH2 0x0677
00000672: JUMPI
00000673: PUSH1 0x00
00000675: DUP1
00000676: REVERT
00000677: JUMPDEST
00000678: POP
00000679: PUSH2 0x0336
0000067c: PUSH2 0x0686
0000067f: CALLDATASIZE
00000680: PUSH1 0x04
00000682: PUSH2 0x30a0
00000685: JUMP
00000686: JUMPDEST
00000687: PUSH2 0x1469
0000068a: JUMP
0000068b: JUMPDEST
0000068c: CALLVALUE
0000068d: DUP1
0000068e: ISZERO
0000068f: PUSH2 0x0697
00000692: JUMPI
00000693: PUSH1 0x00
00000695: DUP1
00000696: REVERT
00000697: JUMPDEST
00000698: POP
00000699: PUSH2 0x0336
0000069c: PUSH2 0x152e
0000069f: JUMP
000006a0: JUMPDEST
000006a1: CALLVALUE
000006a2: DUP1
000006a3: ISZERO
000006a4: PUSH2 0x06ac
000006a7: JUMPI
000006a8: PUSH1 0x00
000006aa: DUP1
000006ab: REVERT
000006ac: JUMPDEST
000006ad: POP
000006ae: PUSH2 0x0336
000006b1: PUSH2 0x06bb
000006b4: CALLDATASIZE
000006b5: PUSH1 0x04
000006b7: PUSH2 0x3027
000006ba: JUMP
000006bb: JUMPDEST
000006bc: PUSH2 0x179b
000006bf: JUMP
000006c0: JUMPDEST
000006c1: CALLVALUE
000006c2: DUP1
000006c3: ISZERO
000006c4: PUSH2 0x06cc
000006c7: JUMPI
000006c8: PUSH1 0x00
000006ca: DUP1
000006cb: REVERT
000006cc: JUMPDEST
000006cd: POP
000006ce: PUSH2 0x0336
000006d1: PUSH2 0x1823
000006d4: JUMP
000006d5: JUMPDEST
000006d6: CALLVALUE
000006d7: DUP1
000006d8: ISZERO
000006d9: PUSH2 0x06e1
000006dc: JUMPI
000006dd: PUSH1 0x00
000006df: DUP1
000006e0: REVERT
000006e1: JUMPDEST
000006e2: POP
000006e3: PUSH2 0x0371
000006e6: PUSH2 0x06f0
000006e9: CALLDATASIZE
000006ea: PUSH1 0x04
000006ec: PUSH2 0x31d6
000006ef: JUMP
000006f0: JUMPDEST
000006f1: PUSH2 0x191d
000006f4: JUMP
000006f5: JUMPDEST
000006f6: CALLVALUE
000006f7: DUP1
000006f8: ISZERO
000006f9: PUSH2 0x0701
000006fc: JUMPI
000006fd: PUSH1 0x00
000006ff: DUP1
00000700: REVERT
00000701: JUMPDEST
00000702: POP
00000703: PUSH2 0x034e
00000706: PUSH1 0x14
00000708: DUP2
00000709: JUMP
0000070a: JUMPDEST
0000070b: CALLVALUE
0000070c: DUP1
0000070d: ISZERO
0000070e: PUSH2 0x0716
00000711: JUMPI
00000712: PUSH1 0x00
00000714: DUP1
00000715: REVERT
00000716: JUMPDEST
00000717: POP
00000718: PUSH1 0x14
0000071a: SLOAD
0000071b: PUSH2 0x072b
0000071e: SWAP1
0000071f: PUSH1 0x01
00000721: PUSH1 0xa0
00000723: SHL
00000724: SWAP1
00000725: DIV
00000726: PUSH1 0xff
00000728: AND
00000729: DUP2
0000072a: JUMP
0000072b: JUMPDEST
0000072c: PUSH1 0x40
0000072e: MLOAD
0000072f: PUSH2 0x030d
00000732: SWAP2
00000733: SWAP1
00000734: PUSH2 0x339c
00000737: JUMP
00000738: JUMPDEST
00000739: CALLVALUE
0000073a: DUP1
0000073b: ISZERO
0000073c: PUSH2 0x0744
0000073f: JUMPI
00000740: PUSH1 0x00
00000742: DUP1
00000743: REVERT
00000744: JUMPDEST
00000745: POP
00000746: PUSH2 0x0371
00000749: PUSH2 0x1951
0000074c: JUMP
0000074d: JUMPDEST
0000074e: CALLVALUE
0000074f: DUP1
00000750: ISZERO
00000751: PUSH2 0x0759
00000754: JUMPI
00000755: PUSH1 0x00
00000757: DUP1
00000758: REVERT
00000759: JUMPDEST
0000075a: POP
0000075b: PUSH2 0x0336
0000075e: PUSH2 0x19df
00000761: JUMP
00000762: JUMPDEST
00000763: CALLVALUE
00000764: DUP1
00000765: ISZERO
00000766: PUSH2 0x076e
00000769: JUMPI
0000076a: PUSH1 0x00
0000076c: DUP1
0000076d: REVERT
0000076e: JUMPDEST
0000076f: POP
00000770: PUSH2 0x0301
00000773: PUSH2 0x077d
00000776: CALLDATASIZE
00000777: PUSH1 0x04
00000779: PUSH2 0x2fba
0000077c: JUMP
0000077d: JUMPDEST
0000077e: PUSH1 0x01
00000780: PUSH1 0x01
00000782: PUSH1 0xa0
00000784: SHL
00000785: SUB
00000786: SWAP2
00000787: DUP3
00000788: AND
00000789: PUSH1 0x00
0000078b: SWAP1
0000078c: DUP2
0000078d: MSTORE
0000078e: PUSH1 0x05
00000790: PUSH1 0x20
00000792: SWAP1
00000793: DUP2
00000794: MSTORE
00000795: PUSH1 0x40
00000797: DUP1
00000798: DUP4
00000799: KECCAK256
0000079a: SWAP4
0000079b: SWAP1
0000079c: SWAP5
0000079d: AND
0000079e: DUP3
0000079f: MSTORE
000007a0: SWAP2
000007a1: SWAP1
000007a2: SWAP2
000007a3: MSTORE
000007a4: KECCAK256
000007a5: SLOAD
000007a6: PUSH1 0xff
000007a8: AND
000007a9: SWAP1
000007aa: JUMP
000007ab: JUMPDEST
000007ac: CALLVALUE
000007ad: DUP1
000007ae: ISZERO
000007af: PUSH2 0x07b7
000007b2: JUMPI
000007b3: PUSH1 0x00
000007b5: DUP1
000007b6: REVERT
000007b7: JUMPDEST
000007b8: POP
000007b9: PUSH1 0x14
000007bb: SLOAD
000007bc: PUSH2 0x039e
000007bf: SWAP1
000007c0: PUSH1 0x01
000007c2: PUSH1 0x01
000007c4: PUSH1 0xa0
000007c6: SHL
000007c7: SUB
000007c8: AND
000007c9: DUP2
000007ca: JUMP
000007cb: JUMPDEST
000007cc: CALLVALUE
000007cd: DUP1
000007ce: ISZERO
000007cf: PUSH2 0x07d7
000007d2: JUMPI
000007d3: PUSH1 0x00
000007d5: DUP1
000007d6: REVERT
000007d7: JUMPDEST
000007d8: POP
000007d9: PUSH2 0x0336
000007dc: PUSH2 0x07e6
000007df: CALLDATASIZE
000007e0: PUSH1 0x04
000007e2: PUSH2 0x2fa0
000007e5: JUMP
000007e6: JUMPDEST
000007e7: PUSH2 0x1afc
000007ea: JUMP
000007eb: JUMPDEST
000007ec: PUSH1 0x00
000007ee: PUSH2 0x07f6
000007f1: DUP3
000007f2: PUSH2 0x1bdb
000007f5: JUMP
000007f6: JUMPDEST
000007f7: SWAP3
000007f8: SWAP2
000007f9: POP
000007fa: POP
000007fb: JUMP
000007fc: JUMPDEST
000007fd: PUSH1 0x0a
000007ff: SLOAD
00000800: PUSH1 0x01
00000802: PUSH1 0x01
00000804: PUSH1 0xa0
00000806: SHL
00000807: SUB
00000808: AND
00000809: CALLER
0000080a: EQ
0000080b: PUSH2 0x085b
0000080e: JUMPI
0000080f: PUSH1 0x40
00000811: MLOAD
00000812: PUSH3 0x461bcd
00000816: PUSH1 0xe5
00000818: SHL
00000819: DUP2
0000081a: MSTORE
0000081b: PUSH1 0x20
0000081d: PUSH1 0x04
0000081f: DUP3
00000820: ADD
00000821: DUP2
00000822: SWAP1
00000823: MSTORE
00000824: PUSH1 0x24
00000826: DUP3
00000827: ADD
00000828: MSTORE
00000829: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000084a: PUSH1 0x44
0000084c: DUP3
0000084d: ADD
0000084e: MSTORE
0000084f: PUSH1 0x64
00000851: ADD
00000852: JUMPDEST
00000853: PUSH1 0x40
00000855: MLOAD
00000856: DUP1
00000857: SWAP2
00000858: SUB
00000859: SWAP1
0000085a: REVERT
0000085b: JUMPDEST
0000085c: PUSH1 0x01
0000085e: DUP2
0000085f: ISZERO
00000860: ISZERO
00000861: EQ
00000862: ISZERO
00000863: PUSH2 0x087e
00000866: JUMPI
00000867: PUSH2 0x086e
0000086a: PUSH2 0x1c19
0000086d: JUMP
0000086e: JUMPDEST
0000086f: POP
00000870: PUSH1 0x14
00000872: DUP1
00000873: SLOAD
00000874: PUSH1 0xff
00000876: PUSH1 0xa0
00000878: SHL
00000879: NOT
0000087a: AND
0000087b: SWAP1
0000087c: SSTORE
0000087d: JUMP
0000087e: JUMPDEST
0000087f: PUSH2 0x0886
00000882: PUSH2 0x1ccb
00000885: JUMP
00000886: JUMPDEST
00000887: PUSH1 0x14
00000889: DUP1
0000088a: SLOAD
0000088b: PUSH1 0xff
0000088d: PUSH1 0xa0
0000088f: SHL
00000890: NOT
00000891: AND
00000892: PUSH1 0x01
00000894: PUSH1 0xa0
00000896: SHL
00000897: OR
00000898: SWAP1
00000899: SSTORE
0000089a: JUMPDEST
0000089b: POP
0000089c: JUMP
0000089d: JUMPDEST
0000089e: PUSH1 0x60
000008a0: PUSH1 0x00
000008a2: DUP1
000008a3: SLOAD
000008a4: PUSH2 0x08ac
000008a7: SWAP1
000008a8: PUSH2 0x3550
000008ab: JUMP
000008ac: JUMPDEST
000008ad: DUP1
000008ae: PUSH1 0x1f
000008b0: ADD
000008b1: PUSH1 0x20
000008b3: DUP1
000008b4: SWAP2
000008b5: DIV
000008b6: MUL
000008b7: PUSH1 0x20
000008b9: ADD
000008ba: PUSH1 0x40
000008bc: MLOAD
000008bd: SWAP1
000008be: DUP2
000008bf: ADD
000008c0: PUSH1 0x40
000008c2: MSTORE
000008c3: DUP1
000008c4: SWAP3
000008c5: SWAP2
000008c6: SWAP1
000008c7: DUP2
000008c8: DUP2
000008c9: MSTORE
000008ca: PUSH1 0x20
000008cc: ADD
000008cd: DUP3
000008ce: DUP1
000008cf: SLOAD
000008d0: PUSH2 0x08d8
000008d3: SWAP1
000008d4: PUSH2 0x3550
000008d7: JUMP
000008d8: JUMPDEST
000008d9: DUP1
000008da: ISZERO
000008db: PUSH2 0x0925
000008de: JUMPI
000008df: DUP1
000008e0: PUSH1 0x1f
000008e2: LT
000008e3: PUSH2 0x08fa
000008e6: JUMPI
000008e7: PUSH2 0x0100
000008ea: DUP1
000008eb: DUP4
000008ec: SLOAD
000008ed: DIV
000008ee: MUL
000008ef: DUP4
000008f0: MSTORE
000008f1: SWAP2
000008f2: PUSH1 0x20
000008f4: ADD
000008f5: SWAP2
000008f6: PUSH2 0x0925
000008f9: JUMP
000008fa: JUMPDEST
000008fb: DUP3
000008fc: ADD
000008fd: SWAP2
000008fe: SWAP1
000008ff: PUSH1 0x00
00000901: MSTORE
00000902: PUSH1 0x20
00000904: PUSH1 0x00
00000906: KECCAK256
00000907: SWAP1
00000908: JUMPDEST
00000909: DUP2
0000090a: SLOAD
0000090b: DUP2
0000090c: MSTORE
0000090d: SWAP1
0000090e: PUSH1 0x01
00000910: ADD
00000911: SWAP1
00000912: PUSH1 0x20
00000914: ADD
00000915: DUP1
00000916: DUP4
00000917: GT
00000918: PUSH2 0x0908
0000091b: JUMPI
0000091c: DUP3
0000091d: SWAP1
0000091e: SUB
0000091f: PUSH1 0x1f
00000921: AND
00000922: DUP3
00000923: ADD
00000924: SWAP2
00000925: JUMPDEST
00000926: POP
00000927: POP
00000928: POP
00000929: POP
0000092a: POP
0000092b: SWAP1
0000092c: POP
0000092d: SWAP1
0000092e: JUMP
0000092f: JUMPDEST
00000930: PUSH1 0x00
00000932: DUP2
00000933: DUP2
00000934: MSTORE
00000935: PUSH1 0x02
00000937: PUSH1 0x20
00000939: MSTORE
0000093a: PUSH1 0x40
0000093c: DUP2
0000093d: KECCAK256
0000093e: SLOAD
0000093f: PUSH1 0x01
00000941: PUSH1 0x01
00000943: PUSH1 0xa0
00000945: SHL
00000946: SUB
00000947: AND
00000948: PUSH2 0x09a8
0000094b: JUMPI
0000094c: PUSH1 0x40
0000094e: MLOAD
0000094f: PUSH3 0x461bcd
00000953: PUSH1 0xe5
00000955: SHL
00000956: DUP2
00000957: MSTORE
00000958: PUSH1 0x20
0000095a: PUSH1 0x04
0000095c: DUP3
0000095d: ADD
0000095e: MSTORE
0000095f: PUSH1 0x2c
00000961: PUSH1 0x24
00000963: DUP3
00000964: ADD
00000965: MSTORE
00000966: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578
00000987: PUSH1 0x44
00000989: DUP3
0000098a: ADD
0000098b: MSTORE
0000098c: PUSH12 0x34b9ba32b73a103a37b5b2b7
00000999: PUSH1 0xa1
0000099b: SHL
0000099c: PUSH1 0x64
0000099e: DUP3
0000099f: ADD
000009a0: MSTORE
000009a1: PUSH1 0x84
000009a3: ADD
000009a4: PUSH2 0x0852
000009a7: JUMP
000009a8: JUMPDEST
000009a9: POP
000009aa: PUSH1 0x00
000009ac: SWAP1
000009ad: DUP2
000009ae: MSTORE
000009af: PUSH1 0x04
000009b1: PUSH1 0x20
000009b3: MSTORE
000009b4: PUSH1 0x40
000009b6: SWAP1
000009b7: KECCAK256
000009b8: SLOAD
000009b9: PUSH1 0x01
000009bb: PUSH1 0x01
000009bd: PUSH1 0xa0
000009bf: SHL
000009c0: SUB
000009c1: AND
000009c2: SWAP1
000009c3: JUMP
000009c4: JUMPDEST
000009c5: PUSH1 0x00
000009c7: PUSH2 0x09cf
000009ca: DUP3
000009cb: PUSH2 0x1117
000009ce: JUMP
000009cf: JUMPDEST
000009d0: SWAP1
000009d1: POP
000009d2: DUP1
000009d3: PUSH1 0x01
000009d5: PUSH1 0x01
000009d7: PUSH1 0xa0
000009d9: SHL
000009da: SUB
000009db: AND
000009dc: DUP4
000009dd: PUSH1 0x01
000009df: PUSH1 0x01
000009e1: PUSH1 0xa0
000009e3: SHL
000009e4: SUB
000009e5: AND
000009e6: EQ
000009e7: ISZERO
000009e8: PUSH2 0x0a59
000009eb: JUMPI
000009ec: PUSH1 0x40
000009ee: MLOAD
000009ef: PUSH3 0x461bcd
000009f3: PUSH1 0xe5
000009f5: SHL
000009f6: DUP2
000009f7: MSTORE
000009f8: PUSH1 0x20
000009fa: PUSH1 0x04
000009fc: DUP3
000009fd: ADD
000009fe: MSTORE
000009ff: PUSH1 0x21
00000a01: PUSH1 0x24
00000a03: DUP3
00000a04: ADD
00000a05: MSTORE
00000a06: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
00000a27: PUSH1 0x44
00000a29: DUP3
00000a2a: ADD
00000a2b: MSTORE
00000a2c: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000
00000a4d: PUSH1 0x64
00000a4f: DUP3
00000a50: ADD
00000a51: MSTORE
00000a52: PUSH1 0x84
00000a54: ADD
00000a55: PUSH2 0x0852
00000a58: JUMP
00000a59: JUMPDEST
00000a5a: CALLER
00000a5b: PUSH1 0x01
00000a5d: PUSH1 0x01
00000a5f: PUSH1 0xa0
00000a61: SHL
00000a62: SUB
00000a63: DUP3
00000a64: AND
00000a65: EQ
00000a66: DUP1
00000a67: PUSH2 0x0a75
00000a6a: JUMPI
00000a6b: POP
00000a6c: PUSH2 0x0a75
00000a6f: DUP2
00000a70: CALLER
00000a71: PUSH2 0x077d
00000a74: JUMP
00000a75: JUMPDEST
00000a76: PUSH2 0x0ae7
00000a79: JUMPI
00000a7a: PUSH1 0x40
00000a7c: MLOAD
00000a7d: PUSH3 0x461bcd
00000a81: PUSH1 0xe5
00000a83: SHL
00000a84: DUP2
00000a85: MSTORE
00000a86: PUSH1 0x20
00000a88: PUSH1 0x04
00000a8a: DUP3
00000a8b: ADD
00000a8c: MSTORE
00000a8d: PUSH1 0x38
00000a8f: PUSH1 0x24
00000a91: DUP3
00000a92: ADD
00000a93: MSTORE
00000a94: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77
00000ab5: PUSH1 0x44
00000ab7: DUP3
00000ab8: ADD
00000ab9: MSTORE
00000aba: PUSH32 0x6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000
00000adb: PUSH1 0x64
00000add: DUP3
00000ade: ADD
00000adf: MSTORE
00000ae0: PUSH1 0x84
00000ae2: ADD
00000ae3: PUSH2 0x0852
00000ae6: JUMP
00000ae7: JUMPDEST
00000ae8: PUSH2 0x0af1
00000aeb: DUP4
00000aec: DUP4
00000aed: PUSH2 0x1d58
00000af0: JUMP
00000af1: JUMPDEST
00000af2: POP
00000af3: POP
00000af4: POP
00000af5: JUMP
00000af6: JUMPDEST
00000af7: PUSH2 0x0b00
00000afa: CALLER
00000afb: DUP3
00000afc: PUSH2 0x1dc6
00000aff: JUMP
00000b00: JUMPDEST
00000b01: PUSH2 0x0b72
00000b04: JUMPI
00000b05: PUSH1 0x40
00000b07: MLOAD
00000b08: PUSH3 0x461bcd
00000b0c: PUSH1 0xe5
00000b0e: SHL
00000b0f: DUP2
00000b10: MSTORE
00000b11: PUSH1 0x20
00000b13: PUSH1 0x04
00000b15: DUP3
00000b16: ADD
00000b17: MSTORE
00000b18: PUSH1 0x31
00000b1a: PUSH1 0x24
00000b1c: DUP3
00000b1d: ADD
00000b1e: MSTORE
00000b1f: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
00000b40: PUSH1 0x44
00000b42: DUP3
00000b43: ADD
00000b44: MSTORE
00000b45: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000
00000b66: PUSH1 0x64
00000b68: DUP3
00000b69: ADD
00000b6a: MSTORE
00000b6b: PUSH1 0x84
00000b6d: ADD
00000b6e: PUSH2 0x0852
00000b71: JUMP
00000b72: JUMPDEST
00000b73: PUSH2 0x0af1
00000b76: DUP4
00000b77: DUP4
00000b78: DUP4
00000b79: PUSH2 0x1ebd
00000b7c: JUMP
00000b7d: JUMPDEST
00000b7e: PUSH1 0x00
00000b80: PUSH2 0x07f6
00000b83: PUSH8 0x011c37937e080000
00000b8c: DUP4
00000b8d: PUSH2 0x2095
00000b90: JUMP
00000b91: JUMPDEST
00000b92: PUSH1 0x00
00000b94: PUSH2 0x0b9c
00000b97: DUP4
00000b98: PUSH2 0x11a2
00000b9b: JUMP
00000b9c: JUMPDEST
00000b9d: DUP3
00000b9e: LT
00000b9f: PUSH2 0x0c10
00000ba2: JUMPI
00000ba3: PUSH1 0x40
00000ba5: MLOAD
00000ba6: PUSH3 0x461bcd
00000baa: PUSH1 0xe5
00000bac: SHL
00000bad: DUP2
00000bae: MSTORE
00000baf: PUSH1 0x20
00000bb1: PUSH1 0x04
00000bb3: DUP3
00000bb4: ADD
00000bb5: MSTORE
00000bb6: PUSH1 0x2b
00000bb8: PUSH1 0x24
00000bba: DUP3
00000bbb: ADD
00000bbc: MSTORE
00000bbd: PUSH32 0x455243373231456e756d657261626c653a206f776e657220696e646578206f75
00000bde: PUSH1 0x44
00000be0: DUP3
00000be1: ADD
00000be2: MSTORE
00000be3: PUSH32 0x74206f6620626f756e6473000000000000000000000000000000000000000000
00000c04: PUSH1 0x64
00000c06: DUP3
00000c07: ADD
00000c08: MSTORE
00000c09: PUSH1 0x84
00000c0b: ADD
00000c0c: PUSH2 0x0852
00000c0f: JUMP
00000c10: JUMPDEST
00000c11: POP
00000c12: PUSH1 0x01
00000c14: PUSH1 0x01
00000c16: PUSH1 0xa0
00000c18: SHL
00000c19: SUB
00000c1a: SWAP2
00000c1b: SWAP1
00000c1c: SWAP2
00000c1d: AND
00000c1e: PUSH1 0x00
00000c20: SWAP1
00000c21: DUP2
00000c22: MSTORE
00000c23: PUSH1 0x06
00000c25: PUSH1 0x20
00000c27: SWAP1
00000c28: DUP2
00000c29: MSTORE
00000c2a: PUSH1 0x40
00000c2c: DUP1
00000c2d: DUP4
00000c2e: KECCAK256
00000c2f: SWAP4
00000c30: DUP4
00000c31: MSTORE
00000c32: SWAP3
00000c33: SWAP1
00000c34: MSTORE
00000c35: KECCAK256
00000c36: SLOAD
00000c37: SWAP1
00000c38: JUMP
00000c39: JUMPDEST
00000c3a: PUSH2 0x0c45
00000c3d: PUSH1 0x07
00000c3f: PUSH1 0x02
00000c41: PUSH2 0x3446
00000c44: JUMP
00000c45: JUMPDEST
00000c46: DUP2
00000c47: JUMP
00000c48: JUMPDEST
00000c49: PUSH2 0x0c54
00000c4c: PUSH1 0x07
00000c4e: PUSH1 0x02
00000c50: PUSH2 0x3446
00000c53: JUMP
00000c54: JUMPDEST
00000c55: PUSH2 0x0c5c
00000c58: PUSH2 0x20a8
00000c5b: JUMP
00000c5c: JUMPDEST
00000c5d: GT
00000c5e: ISZERO
00000c5f: PUSH2 0x0c95
00000c62: JUMPI
00000c63: PUSH1 0x40
00000c65: MLOAD
00000c66: PUSH3 0x461bcd
00000c6a: PUSH1 0xe5
00000c6c: SHL
00000c6d: DUP2
00000c6e: MSTORE
00000c6f: PUSH1 0x20
00000c71: PUSH1 0x04
00000c73: DUP3
00000c74: ADD
00000c75: MSTORE
00000c76: PUSH1 0x08
00000c78: PUSH1 0x24
00000c7a: DUP3
00000c7b: ADD
00000c7c: MSTORE
00000c7d: PUSH8 0x14d85b1948195b99
00000c86: PUSH1 0xc2
00000c88: SHL
00000c89: PUSH1 0x44
00000c8b: DUP3
00000c8c: ADD
00000c8d: MSTORE
00000c8e: PUSH1 0x64
00000c90: ADD
00000c91: PUSH2 0x0852
00000c94: JUMP
00000c95: JUMPDEST
00000c96: PUSH1 0x0a
00000c98: SLOAD
00000c99: PUSH1 0x01
00000c9b: PUSH1 0x01
00000c9d: PUSH1 0xa0
00000c9f: SHL
00000ca0: SUB
00000ca1: AND
00000ca2: CALLER
00000ca3: EQ
00000ca4: PUSH2 0x0d01
00000ca7: JUMPI
00000ca8: PUSH1 0x0a
00000caa: SLOAD
00000cab: PUSH1 0x01
00000cad: PUSH1 0xa0
00000caf: SHL
00000cb0: SWAP1
00000cb1: DIV
00000cb2: PUSH1 0xff
00000cb4: AND
00000cb5: ISZERO
00000cb6: PUSH2 0x0d01
00000cb9: JUMPI
00000cba: PUSH1 0x40
00000cbc: MLOAD
00000cbd: PUSH3 0x461bcd
00000cc1: PUSH1 0xe5
00000cc3: SHL
00000cc4: DUP2
00000cc5: MSTORE
00000cc6: PUSH1 0x20
00000cc8: PUSH1 0x04
00000cca: DUP3
00000ccb: ADD
00000ccc: MSTORE
00000ccd: PUSH1 0x10
00000ccf: PUSH1 0x24
00000cd1: DUP3
00000cd2: ADD
00000cd3: MSTORE
00000cd4: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
00000cf5: PUSH1 0x44
00000cf7: DUP3
00000cf8: ADD
00000cf9: MSTORE
00000cfa: PUSH1 0x64
00000cfc: ADD
00000cfd: PUSH2 0x0852
00000d00: JUMP
00000d01: JUMPDEST
00000d02: PUSH1 0x00
00000d04: PUSH2 0x0d0b
00000d07: PUSH2 0x20a8
00000d0a: JUMP
00000d0b: JUMPDEST
00000d0c: SWAP1
00000d0d: POP
00000d0e: PUSH2 0x0d19
00000d11: PUSH1 0x07
00000d13: PUSH1 0x02
00000d15: PUSH2 0x3446
00000d18: JUMP
00000d19: JUMPDEST
00000d1a: PUSH2 0x0d23
00000d1d: DUP4
00000d1e: DUP4
00000d1f: PUSH2 0x33d7
00000d22: JUMP
00000d23: JUMPDEST
00000d24: GT
00000d25: ISZERO
00000d26: PUSH2 0x0d71
00000d29: JUMPI
00000d2a: PUSH1 0x40
00000d2c: MLOAD
00000d2d: PUSH3 0x461bcd
00000d31: PUSH1 0xe5
00000d33: SHL
00000d34: DUP2
00000d35: MSTORE
00000d36: PUSH1 0x20
00000d38: PUSH1 0x04
00000d3a: DUP3
00000d3b: ADD
00000d3c: MSTORE
00000d3d: PUSH1 0x09
00000d3f: PUSH1 0x24
00000d41: DUP3
00000d42: ADD
00000d43: MSTORE
00000d44: PUSH32 0x4d6178206c696d69740000000000000000000000000000000000000000000000
00000d65: PUSH1 0x44
00000d67: DUP3
00000d68: ADD
00000d69: MSTORE
00000d6a: PUSH1 0x64
00000d6c: ADD
00000d6d: PUSH2 0x0852
00000d70: JUMP
00000d71: JUMPDEST
00000d72: PUSH2 0x0d7d
00000d75: PUSH1 0x07
00000d77: PUSH1 0x02
00000d79: PUSH2 0x3446
00000d7c: JUMP
00000d7d: JUMPDEST
00000d7e: DUP2
00000d7f: GT
00000d80: ISZERO
00000d81: PUSH2 0x0db7
00000d84: JUMPI
00000d85: PUSH1 0x40
00000d87: MLOAD
00000d88: PUSH3 0x461bcd
00000d8c: PUSH1 0xe5
00000d8e: SHL
00000d8f: DUP2
00000d90: MSTORE
00000d91: PUSH1 0x20
00000d93: PUSH1 0x04
00000d95: DUP3
00000d96: ADD
00000d97: MSTORE
00000d98: PUSH1 0x08
00000d9a: PUSH1 0x24
00000d9c: DUP3
00000d9d: ADD
00000d9e: MSTORE
00000d9f: PUSH8 0x14d85b1948195b99
00000da8: PUSH1 0xc2
00000daa: SHL
00000dab: PUSH1 0x44
00000dad: DUP3
00000dae: ADD
00000daf: MSTORE
00000db0: PUSH1 0x64
00000db2: ADD
00000db3: PUSH2 0x0852
00000db6: JUMP
00000db7: JUMPDEST
00000db8: PUSH1 0x05
00000dba: DUP3
00000dbb: GT
00000dbc: ISZERO
00000dbd: PUSH2 0x0e08
00000dc0: JUMPI
00000dc1: PUSH1 0x40
00000dc3: MLOAD
00000dc4: PUSH3 0x461bcd
00000dc8: PUSH1 0xe5
00000dca: SHL
00000dcb: DUP2
00000dcc: MSTORE
00000dcd: PUSH1 0x20
00000dcf: PUSH1 0x04
00000dd1: DUP3
00000dd2: ADD
00000dd3: MSTORE
00000dd4: PUSH1 0x0e
00000dd6: PUSH1 0x24
00000dd8: DUP3
00000dd9: ADD
00000dda: MSTORE
00000ddb: PUSH32 0x45786365656473206e756d626572000000000000000000000000000000000000
00000dfc: PUSH1 0x44
00000dfe: DUP3
00000dff: ADD
00000e00: MSTORE
00000e01: PUSH1 0x64
00000e03: ADD
00000e04: PUSH2 0x0852
00000e07: JUMP
00000e08: JUMPDEST
00000e09: PUSH2 0x0e11
00000e0c: DUP3
00000e0d: PUSH2 0x0b7d
00000e10: JUMP
00000e11: JUMPDEST
00000e12: CALLVALUE
00000e13: LT
00000e14: ISZERO
00000e15: PUSH2 0x0e60
00000e18: JUMPI
00000e19: PUSH1 0x40
00000e1b: MLOAD
00000e1c: PUSH3 0x461bcd
00000e20: PUSH1 0xe5
00000e22: SHL
00000e23: DUP2
00000e24: MSTORE
00000e25: PUSH1 0x20
00000e27: PUSH1 0x04
00000e29: DUP3
00000e2a: ADD
00000e2b: MSTORE
00000e2c: PUSH1 0x11
00000e2e: PUSH1 0x24
00000e30: DUP3
00000e31: ADD
00000e32: MSTORE
00000e33: PUSH32 0x56616c75652062656c6f77207072696365000000000000000000000000000000
00000e54: PUSH1 0x44
00000e56: DUP3
00000e57: ADD
00000e58: MSTORE
00000e59: PUSH1 0x64
00000e5b: ADD
00000e5c: PUSH2 0x0852
00000e5f: JUMP
00000e60: JUMPDEST
00000e61: PUSH1 0x00
00000e63: JUMPDEST
00000e64: DUP3
00000e65: DUP2
00000e66: LT
00000e67: ISZERO
00000e68: PUSH2 0x0e86
00000e6b: JUMPI
00000e6c: PUSH2 0x0e74
00000e6f: DUP5
00000e70: PUSH2 0x20b3
00000e73: JUMP
00000e74: JUMPDEST
00000e75: DUP1
00000e76: PUSH2 0x0e7e
00000e79: DUP2
00000e7a: PUSH2 0x358b
00000e7d: JUMP
00000e7e: JUMPDEST
00000e7f: SWAP2
00000e80: POP
00000e81: POP
00000e82: PUSH2 0x0e63
00000e85: JUMP
00000e86: JUMPDEST
00000e87: POP
00000e88: POP
00000e89: POP
00000e8a: POP
00000e8b: JUMP
00000e8c: JUMPDEST
00000e8d: PUSH2 0x0af1
00000e90: DUP4
00000e91: DUP4
00000e92: DUP4
00000e93: PUSH1 0x40
00000e95: MLOAD
00000e96: DUP1
00000e97: PUSH1 0x20
00000e99: ADD
00000e9a: PUSH1 0x40
00000e9c: MSTORE
00000e9d: DUP1
00000e9e: PUSH1 0x00
00000ea0: DUP2
00000ea1: MSTORE
00000ea2: POP
00000ea3: PUSH2 0x179b
00000ea6: JUMP
00000ea7: JUMPDEST
00000ea8: PUSH1 0x60
00000eaa: PUSH1 0x00
00000eac: PUSH2 0x0eb4
00000eaf: DUP4
00000eb0: PUSH2 0x11a2
00000eb3: JUMP
00000eb4: JUMPDEST
00000eb5: SWAP1
00000eb6: POP
00000eb7: PUSH1 0x00
00000eb9: DUP2
00000eba: PUSH8 0xffffffffffffffff
00000ec3: DUP2
00000ec4: GT
00000ec5: ISZERO
00000ec6: PUSH2 0x0edf
00000ec9: JUMPI
00000eca: PUSH4 0x4e487b71
00000ecf: PUSH1 0xe0
00000ed1: SHL
00000ed2: PUSH1 0x00
00000ed4: MSTORE
00000ed5: PUSH1 0x41
00000ed7: PUSH1 0x04
00000ed9: MSTORE
00000eda: PUSH1 0x24
00000edc: PUSH1 0x00
00000ede: REVERT
00000edf: JUMPDEST
00000ee0: PUSH1 0x40
00000ee2: MLOAD
00000ee3: SWAP1
00000ee4: DUP1
00000ee5: DUP3
00000ee6: MSTORE
00000ee7: DUP1
00000ee8: PUSH1 0x20
00000eea: MUL
00000eeb: PUSH1 0x20
00000eed: ADD
00000eee: DUP3
00000eef: ADD
00000ef0: PUSH1 0x40
00000ef2: MSTORE
00000ef3: DUP1
00000ef4: ISZERO
00000ef5: PUSH2 0x0f08
00000ef8: JUMPI
00000ef9: DUP2
00000efa: PUSH1 0x20
00000efc: ADD
00000efd: PUSH1 0x20
00000eff: DUP3
00000f00: MUL
00000f01: DUP1
00000f02: CALLDATASIZE
00000f03: DUP4
00000f04: CALLDATACOPY
00000f05: ADD
00000f06: SWAP1
00000f07: POP
00000f08: JUMPDEST
00000f09: POP
00000f0a: SWAP1
00000f0b: POP
00000f0c: PUSH1 0x00
00000f0e: JUMPDEST
00000f0f: DUP3
00000f10: DUP2
00000f11: LT
00000f12: ISZERO
00000f13: PUSH2 0x0f5d
00000f16: JUMPI
00000f17: PUSH2 0x0f20
00000f1a: DUP6
00000f1b: DUP3
00000f1c: PUSH2 0x0b91
00000f1f: JUMP
00000f20: JUMPDEST
00000f21: DUP3
00000f22: DUP3
00000f23: DUP2
00000f24: MLOAD
00000f25: DUP2
00000f26: LT
00000f27: PUSH2 0x0f40
00000f2a: JUMPI
00000f2b: PUSH4 0x4e487b71
00000f30: PUSH1 0xe0
00000f32: SHL
00000f33: PUSH1 0x00
00000f35: MSTORE
00000f36: PUSH1 0x32
00000f38: PUSH1 0x04
00000f3a: MSTORE
00000f3b: PUSH1 0x24
00000f3d: PUSH1 0x00
00000f3f: REVERT
00000f40: JUMPDEST
00000f41: PUSH1 0x20
00000f43: SWAP1
00000f44: DUP2
00000f45: MUL
00000f46: SWAP2
00000f47: SWAP1
00000f48: SWAP2
00000f49: ADD
00000f4a: ADD
00000f4b: MSTORE
00000f4c: DUP1
00000f4d: PUSH2 0x0f55
00000f50: DUP2
00000f51: PUSH2 0x358b
00000f54: JUMP
00000f55: JUMPDEST
00000f56: SWAP2
00000f57: POP
00000f58: POP
00000f59: PUSH2 0x0f0e
00000f5c: JUMP
00000f5d: JUMPDEST
00000f5e: POP
00000f5f: SWAP4
00000f60: SWAP3
00000f61: POP
00000f62: POP
00000f63: POP
00000f64: JUMP
00000f65: JUMPDEST
00000f66: PUSH1 0x00
00000f68: PUSH2 0x0f70
00000f6b: PUSH1 0x08
00000f6d: SLOAD
00000f6e: SWAP1
00000f6f: JUMP
00000f70: JUMPDEST
00000f71: DUP3
00000f72: LT
00000f73: PUSH2 0x0fe4
00000f76: JUMPI
00000f77: PUSH1 0x40
00000f79: MLOAD
00000f7a: PUSH3 0x461bcd
00000f7e: PUSH1 0xe5
00000f80: SHL
00000f81: DUP2
00000f82: MSTORE
00000f83: PUSH1 0x20
00000f85: PUSH1 0x04
00000f87: DUP3
00000f88: ADD
00000f89: MSTORE
00000f8a: PUSH1 0x2c
00000f8c: PUSH1 0x24
00000f8e: DUP3
00000f8f: ADD
00000f90: MSTORE
00000f91: PUSH32 0x455243373231456e756d657261626c653a20676c6f62616c20696e646578206f
00000fb2: PUSH1 0x44
00000fb4: DUP3
00000fb5: ADD
00000fb6: MSTORE
00000fb7: PUSH32 0x7574206f6620626f756e64730000000000000000000000000000000000000000
00000fd8: PUSH1 0x64
00000fda: DUP3
00000fdb: ADD
00000fdc: MSTORE
00000fdd: PUSH1 0x84
00000fdf: ADD
00000fe0: PUSH2 0x0852
00000fe3: JUMP
00000fe4: JUMPDEST
00000fe5: PUSH1 0x08
00000fe7: DUP3
00000fe8: DUP2
00000fe9: SLOAD
00000fea: DUP2
00000feb: LT
00000fec: PUSH2 0x1005
00000fef: JUMPI
00000ff0: PUSH4 0x4e487b71
00000ff5: PUSH1 0xe0
00000ff7: SHL
00000ff8: PUSH1 0x00
00000ffa: MSTORE
00000ffb: PUSH1 0x32
00000ffd: PUSH1 0x04
00000fff: MSTORE
00001000: PUSH1 0x24
00001002: PUSH1 0x00
00001004: REVERT
00001005: JUMPDEST
00001006: SWAP1
00001007: PUSH1 0x00
00001009: MSTORE
0000100a: PUSH1 0x20
0000100c: PUSH1 0x00
0000100e: KECCAK256
0000100f: ADD
00001010: SLOAD
00001011: SWAP1
00001012: POP
00001013: SWAP2
00001014: SWAP1
00001015: POP
00001016: JUMP
00001017: JUMPDEST
00001018: PUSH1 0x0a
0000101a: SLOAD
0000101b: PUSH1 0x01
0000101d: PUSH1 0x01
0000101f: PUSH1 0xa0
00001021: SHL
00001022: SUB
00001023: AND
00001024: CALLER
00001025: EQ
00001026: PUSH2 0x1071
00001029: JUMPI
0000102a: PUSH1 0x40
0000102c: MLOAD
0000102d: PUSH3 0x461bcd
00001031: PUSH1 0xe5
00001033: SHL
00001034: DUP2
00001035: MSTORE
00001036: PUSH1 0x20
00001038: PUSH1 0x04
0000103a: DUP3
0000103b: ADD
0000103c: DUP2
0000103d: SWAP1
0000103e: MSTORE
0000103f: PUSH1 0x24
00001041: DUP3
00001042: ADD
00001043: MSTORE
00001044: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001065: PUSH1 0x44
00001067: DUP3
00001068: ADD
00001069: MSTORE
0000106a: PUSH1 0x64
0000106c: ADD
0000106d: PUSH2 0x0852
00001070: JUMP
00001071: JUMPDEST
00001072: DUP1
00001073: MLOAD
00001074: PUSH2 0x1084
00001077: SWAP1
00001078: PUSH1 0x13
0000107a: SWAP1
0000107b: PUSH1 0x20
0000107d: DUP5
0000107e: ADD
0000107f: SWAP1
00001080: PUSH2 0x2e5b
00001083: JUMP
00001084: JUMPDEST
00001085: POP
00001086: POP
00001087: JUMP
00001088: JUMPDEST
00001089: PUSH1 0x0a
0000108b: SLOAD
0000108c: PUSH1 0x01
0000108e: PUSH1 0x01
00001090: PUSH1 0xa0
00001092: SHL
00001093: SUB
00001094: AND
00001095: CALLER
00001096: EQ
00001097: PUSH2 0x10e2
0000109a: JUMPI
0000109b: PUSH1 0x40
0000109d: MLOAD
0000109e: PUSH3 0x461bcd
000010a2: PUSH1 0xe5
000010a4: SHL
000010a5: DUP2
000010a6: MSTORE
000010a7: PUSH1 0x20
000010a9: PUSH1 0x04
000010ab: DUP3
000010ac: ADD
000010ad: DUP2
000010ae: SWAP1
000010af: MSTORE
000010b0: PUSH1 0x24
000010b2: DUP3
000010b3: ADD
000010b4: MSTORE
000010b5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000010d6: PUSH1 0x44
000010d8: DUP3
000010d9: ADD
000010da: MSTORE
000010db: PUSH1 0x64
000010dd: ADD
000010de: PUSH2 0x0852
000010e1: JUMP
000010e2: JUMPDEST
000010e3: SELFBALANCE
000010e4: DUP1
000010e5: PUSH2 0x10ed
000010e8: JUMPI
000010e9: PUSH1 0x00
000010eb: DUP1
000010ec: REVERT
000010ed: JUMPDEST
000010ee: PUSH2 0x089a
000010f1: PUSH2 0x1102
000010f4: PUSH1 0x0a
000010f6: SLOAD
000010f7: PUSH1 0x01
000010f9: PUSH1 0x01
000010fb: PUSH1 0xa0
000010fd: SHL
000010fe: SUB
000010ff: AND
00001100: SWAP1
00001101: JUMP
00001102: JUMPDEST
00001103: SELFBALANCE
00001104: PUSH2 0x20d7
00001107: JUMP
00001108: JUMPDEST
00001109: PUSH1 0x00
0000110b: PUSH2 0x1112
0000110e: PUSH2 0x20a8
00001111: JUMP
00001112: JUMPDEST
00001113: SWAP1
00001114: POP
00001115: SWAP1
00001116: JUMP
00001117: JUMPDEST
00001118: PUSH1 0x00
0000111a: DUP2
0000111b: DUP2
0000111c: MSTORE
0000111d: PUSH1 0x02
0000111f: PUSH1 0x20
00001121: MSTORE
00001122: PUSH1 0x40
00001124: DUP2
00001125: KECCAK256
00001126: SLOAD
00001127: PUSH1 0x01
00001129: PUSH1 0x01
0000112b: PUSH1 0xa0
0000112d: SHL
0000112e: SUB
0000112f: AND
00001130: DUP1
00001131: PUSH2 0x07f6
00001134: JUMPI
00001135: PUSH1 0x40
00001137: MLOAD
00001138: PUSH3 0x461bcd
0000113c: PUSH1 0xe5
0000113e: SHL
0000113f: DUP2
00001140: MSTORE
00001141: PUSH1 0x20
00001143: PUSH1 0x04
00001145: DUP3
00001146: ADD
00001147: MSTORE
00001148: PUSH1 0x29
0000114a: PUSH1 0x24
0000114c: DUP3
0000114d: ADD
0000114e: MSTORE
0000114f: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374
00001170: PUSH1 0x44
00001172: DUP3
00001173: ADD
00001174: MSTORE
00001175: PUSH32 0x656e7420746f6b656e0000000000000000000000000000000000000000000000
00001196: PUSH1 0x64
00001198: DUP3
00001199: ADD
0000119a: MSTORE
0000119b: PUSH1 0x84
0000119d: ADD
0000119e: PUSH2 0x0852
000011a1: JUMP
000011a2: JUMPDEST
000011a3: PUSH1 0x00
000011a5: PUSH1 0x01
000011a7: PUSH1 0x01
000011a9: PUSH1 0xa0
000011ab: SHL
000011ac: SUB
000011ad: DUP3
000011ae: AND
000011af: PUSH2 0x1220
000011b2: JUMPI
000011b3: PUSH1 0x40
000011b5: MLOAD
000011b6: PUSH3 0x461bcd
000011ba: PUSH1 0xe5
000011bc: SHL
000011bd: DUP2
000011be: MSTORE
000011bf: PUSH1 0x20
000011c1: PUSH1 0x04
000011c3: DUP3
000011c4: ADD
000011c5: MSTORE
000011c6: PUSH1 0x2a
000011c8: PUSH1 0x24
000011ca: DUP3
000011cb: ADD
000011cc: MSTORE
000011cd: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65
000011ee: PUSH1 0x44
000011f0: DUP3
000011f1: ADD
000011f2: MSTORE
000011f3: PUSH32 0x726f206164647265737300000000000000000000000000000000000000000000
00001214: PUSH1 0x64
00001216: DUP3
00001217: ADD
00001218: MSTORE
00001219: PUSH1 0x84
0000121b: ADD
0000121c: PUSH2 0x0852
0000121f: JUMP
00001220: JUMPDEST
00001221: POP
00001222: PUSH1 0x01
00001224: PUSH1 0x01
00001226: PUSH1 0xa0
00001228: SHL
00001229: SUB
0000122a: AND
0000122b: PUSH1 0x00
0000122d: SWAP1
0000122e: DUP2
0000122f: MSTORE
00001230: PUSH1 0x03
00001232: PUSH1 0x20
00001234: MSTORE
00001235: PUSH1 0x40
00001237: SWAP1
00001238: KECCAK256
00001239: SLOAD
0000123a: SWAP1
0000123b: JUMP
0000123c: JUMPDEST
0000123d: PUSH1 0x0a
0000123f: SLOAD
00001240: PUSH1 0x01
00001242: PUSH1 0x01
00001244: PUSH1 0xa0
00001246: SHL
00001247: SUB
00001248: AND
00001249: CALLER
0000124a: EQ
0000124b: PUSH2 0x1296
0000124e: JUMPI
0000124f: PUSH1 0x40
00001251: MLOAD
00001252: PUSH3 0x461bcd
00001256: PUSH1 0xe5
00001258: SHL
00001259: DUP2
0000125a: MSTORE
0000125b: PUSH1 0x20
0000125d: PUSH1 0x04
0000125f: DUP3
00001260: ADD
00001261: DUP2
00001262: SWAP1
00001263: MSTORE
00001264: PUSH1 0x24
00001266: DUP3
00001267: ADD
00001268: MSTORE
00001269: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000128a: PUSH1 0x44
0000128c: DUP3
0000128d: ADD
0000128e: MSTORE
0000128f: PUSH1 0x64
00001291: ADD
00001292: PUSH2 0x0852
00001295: JUMP
00001296: JUMPDEST
00001297: PUSH2 0x12a0
0000129a: PUSH1 0x00
0000129c: PUSH2 0x217a
0000129f: JUMP
000012a0: JUMPDEST
000012a1: JUMP
000012a2: JUMPDEST
000012a3: PUSH1 0x10
000012a5: SLOAD
000012a6: PUSH1 0xff
000012a8: PUSH2 0x0100
000012ab: SWAP1
000012ac: SWAP2
000012ad: DIV
000012ae: AND
000012af: ISZERO
000012b0: ISZERO
000012b1: PUSH1 0x01
000012b3: EQ
000012b4: PUSH2 0x12ff
000012b7: JUMPI
000012b8: PUSH1 0x40
000012ba: MLOAD
000012bb: PUSH3 0x461bcd
000012bf: PUSH1 0xe5
000012c1: SHL
000012c2: DUP2
000012c3: MSTORE
000012c4: PUSH1 0x20
000012c6: PUSH1 0x04
000012c8: DUP3
000012c9: ADD
000012ca: MSTORE
000012cb: PUSH1 0x1a
000012cd: PUSH1 0x24
000012cf: DUP3
000012d0: ADD
000012d1: MSTORE
000012d2: PUSH32 0x43726561746f7220726577617264206e6f7420636c61696d6564000000000000
000012f3: PUSH1 0x44
000012f5: DUP3
000012f6: ADD
000012f7: MSTORE
000012f8: PUSH1 0x64
000012fa: ADD
000012fb: PUSH2 0x0852
000012fe: JUMP
000012ff: JUMPDEST
00001300: PUSH1 0x08
00001302: SLOAD
00001303: PUSH1 0x01
00001305: EQ
00001306: PUSH2 0x1351
00001309: JUMPI
0000130a: PUSH1 0x40
0000130c: MLOAD
0000130d: PUSH3 0x461bcd
00001311: PUSH1 0xe5
00001313: SHL
00001314: DUP2
00001315: MSTORE
00001316: PUSH1 0x20
00001318: PUSH1 0x04
0000131a: DUP3
0000131b: ADD
0000131c: MSTORE
0000131d: PUSH1 0x11
0000131f: PUSH1 0x24
00001321: DUP3
00001322: ADD
00001323: MSTORE
00001324: PUSH32 0x47616d65206e6f742066696e6973686564000000000000000000000000000000
00001345: PUSH1 0x44
00001347: DUP3
00001348: ADD
00001349: MSTORE
0000134a: PUSH1 0x64
0000134c: ADD
0000134d: PUSH2 0x0852
00001350: JUMP
00001351: JUMPDEST
00001352: PUSH1 0x14
00001354: SLOAD
00001355: PUSH1 0x01
00001357: PUSH1 0x01
00001359: PUSH1 0xa0
0000135b: SHL
0000135c: SUB
0000135d: AND
0000135e: CALLER
0000135f: PUSH1 0x01
00001361: PUSH1 0x01
00001363: PUSH1 0xa0
00001365: SHL
00001366: SUB
00001367: AND
00001368: EQ
00001369: PUSH2 0x13b4
0000136c: JUMPI
0000136d: PUSH1 0x40
0000136f: MLOAD
00001370: PUSH3 0x461bcd
00001374: PUSH1 0xe5
00001376: SHL
00001377: DUP2
00001378: MSTORE
00001379: PUSH1 0x20
0000137b: PUSH1 0x04
0000137d: DUP3
0000137e: ADD
0000137f: MSTORE
00001380: PUSH1 0x0a
00001382: PUSH1 0x24
00001384: DUP3
00001385: ADD
00001386: MSTORE
00001387: PUSH32 0x4e6f742077696e6e657200000000000000000000000000000000000000000000
000013a8: PUSH1 0x44
000013aa: DUP3
000013ab: ADD
000013ac: MSTORE
000013ad: PUSH1 0x64
000013af: ADD
000013b0: PUSH2 0x0852
000013b3: JUMP
000013b4: JUMPDEST
000013b5: PUSH1 0x14
000013b7: SLOAD
000013b8: PUSH2 0x12a0
000013bb: SWAP1
000013bc: PUSH1 0x01
000013be: PUSH1 0x01
000013c0: PUSH1 0xa0
000013c2: SHL
000013c3: SUB
000013c4: AND
000013c5: SELFBALANCE
000013c6: PUSH2 0x20d7
000013c9: JUMP
000013ca: JUMPDEST
000013cb: CALLER
000013cc: PUSH1 0x01
000013ce: PUSH1 0x01
000013d0: PUSH1 0xa0
000013d2: SHL
000013d3: SUB
000013d4: PUSH32 0x000000000000000000000000f0d54349addcf704f77ae15b96510dea15cb7952
000013f5: AND
000013f6: EQ
000013f7: PUSH2 0x1442
000013fa: JUMPI
000013fb: PUSH1 0x40
000013fd: MLOAD
000013fe: PUSH3 0x461bcd
00001402: PUSH1 0xe5
00001404: SHL
00001405: DUP2
00001406: MSTORE
00001407: PUSH1 0x20
00001409: PUSH1 0x04
0000140b: DUP3
0000140c: ADD
0000140d: MSTORE
0000140e: PUSH1 0x1f
00001410: PUSH1 0x24
00001412: DUP3
00001413: ADD
00001414: MSTORE
00001415: PUSH32 0x4f6e6c7920565246436f6f7264696e61746f722063616e2066756c66696c6c00
00001436: PUSH1 0x44
00001438: DUP3
00001439: ADD
0000143a: MSTORE
0000143b: PUSH1 0x64
0000143d: ADD
0000143e: PUSH2 0x0852
00001441: JUMP
00001442: JUMPDEST
00001443: PUSH2 0x1084
00001446: DUP3
00001447: DUP3
00001448: PUSH1 0x0e
0000144a: SSTORE
0000144b: POP
0000144c: PUSH1 0x10
0000144e: DUP1
0000144f: SLOAD
00001450: PUSH1 0xff
00001452: NOT
00001453: AND
00001454: PUSH1 0x01
00001456: OR
00001457: SWAP1
00001458: SSTORE
00001459: JUMP
0000145a: JUMPDEST
0000145b: PUSH1 0x60
0000145d: PUSH1 0x01
0000145f: DUP1
00001460: SLOAD
00001461: PUSH2 0x08ac
00001464: SWAP1
00001465: PUSH2 0x3550
00001468: JUMP
00001469: JUMPDEST
0000146a: PUSH1 0x01
0000146c: PUSH1 0x01
0000146e: PUSH1 0xa0
00001470: SHL
00001471: SUB
00001472: DUP3
00001473: AND
00001474: CALLER
00001475: EQ
00001476: ISZERO
00001477: PUSH2 0x14c2
0000147a: JUMPI
0000147b: PUSH1 0x40
0000147d: MLOAD
0000147e: PUSH3 0x461bcd
00001482: PUSH1 0xe5
00001484: SHL
00001485: DUP2
00001486: MSTORE
00001487: PUSH1 0x20
00001489: PUSH1 0x04
0000148b: DUP3
0000148c: ADD
0000148d: MSTORE
0000148e: PUSH1 0x19
00001490: PUSH1 0x24
00001492: DUP3
00001493: ADD
00001494: MSTORE
00001495: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
000014b6: PUSH1 0x44
000014b8: DUP3
000014b9: ADD
000014ba: MSTORE
000014bb: PUSH1 0x64
000014bd: ADD
000014be: PUSH2 0x0852
000014c1: JUMP
000014c2: JUMPDEST
000014c3: CALLER
000014c4: PUSH1 0x00
000014c6: DUP2
000014c7: DUP2
000014c8: MSTORE
000014c9: PUSH1 0x05
000014cb: PUSH1 0x20
000014cd: SWAP1
000014ce: DUP2
000014cf: MSTORE
000014d0: PUSH1 0x40
000014d2: DUP1
000014d3: DUP4
000014d4: KECCAK256
000014d5: PUSH1 0x01
000014d7: PUSH1 0x01
000014d9: PUSH1 0xa0
000014db: SHL
000014dc: SUB
000014dd: DUP8
000014de: AND
000014df: DUP1
000014e0: DUP6
000014e1: MSTORE
000014e2: SWAP1
000014e3: DUP4
000014e4: MSTORE
000014e5: SWAP3
000014e6: DUP2
000014e7: SWAP1
000014e8: KECCAK256
000014e9: DUP1
000014ea: SLOAD
000014eb: PUSH1 0xff
000014ed: NOT
000014ee: AND
000014ef: DUP7
000014f0: ISZERO
000014f1: ISZERO
000014f2: SWAP1
000014f3: DUP2
000014f4: OR
000014f5: SWAP1
000014f6: SWAP2
000014f7: SSTORE
000014f8: SWAP1
000014f9: MLOAD
000014fa: SWAP1
000014fb: DUP2
000014fc: MSTORE
000014fd: SWAP2
000014fe: SWAP3
000014ff: SWAP2
00001500: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001521: SWAP2
00001522: ADD
00001523: PUSH1 0x40
00001525: MLOAD
00001526: DUP1
00001527: SWAP2
00001528: SUB
00001529: SWAP1
0000152a: LOG3
0000152b: POP
0000152c: POP
0000152d: JUMP
0000152e: JUMPDEST
0000152f: PUSH1 0x0a
00001531: SLOAD
00001532: PUSH1 0x01
00001534: PUSH1 0x01
00001536: PUSH1 0xa0
00001538: SHL
00001539: SUB
0000153a: AND
0000153b: CALLER
0000153c: EQ
0000153d: PUSH2 0x1588
00001540: JUMPI
00001541: PUSH1 0x40
00001543: MLOAD
00001544: PUSH3 0x461bcd
00001548: PUSH1 0xe5
0000154a: SHL
0000154b: DUP2
0000154c: MSTORE
0000154d: PUSH1 0x20
0000154f: PUSH1 0x04
00001551: DUP3
00001552: ADD
00001553: DUP2
00001554: SWAP1
00001555: MSTORE
00001556: PUSH1 0x24
00001558: DUP3
00001559: ADD
0000155a: MSTORE
0000155b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000157c: PUSH1 0x44
0000157e: DUP3
0000157f: ADD
00001580: MSTORE
00001581: PUSH1 0x64
00001583: ADD
00001584: PUSH2 0x0852
00001587: JUMP
00001588: JUMPDEST
00001589: PUSH1 0x10
0000158b: SLOAD
0000158c: PUSH1 0xff
0000158e: AND
0000158f: PUSH2 0x15da
00001592: JUMPI
00001593: PUSH1 0x40
00001595: MLOAD
00001596: PUSH3 0x461bcd
0000159a: PUSH1 0xe5
0000159c: SHL
0000159d: DUP2
0000159e: MSTORE
0000159f: PUSH1 0x20
000015a1: PUSH1 0x04
000015a3: DUP3
000015a4: ADD
000015a5: MSTORE
000015a6: PUSH1 0x0d
000015a8: PUSH1 0x24
000015aa: DUP3
000015ab: ADD
000015ac: MSTORE
000015ad: PUSH32 0x4275726e2064697361626c656400000000000000000000000000000000000000
000015ce: PUSH1 0x44
000015d0: DUP3
000015d1: ADD
000015d2: MSTORE
000015d3: PUSH1 0x64
000015d5: ADD
000015d6: PUSH2 0x0852
000015d9: JUMP
000015da: JUMPDEST
000015db: PUSH1 0x01
000015dd: PUSH2 0x15e5
000015e0: PUSH1 0x08
000015e2: SLOAD
000015e3: SWAP1
000015e4: JUMP
000015e5: JUMPDEST
000015e6: GT
000015e7: PUSH2 0x1632
000015ea: JUMPI
000015eb: PUSH1 0x40
000015ed: MLOAD
000015ee: PUSH3 0x461bcd
000015f2: PUSH1 0xe5
000015f4: SHL
000015f5: DUP2
000015f6: MSTORE
000015f7: PUSH1 0x20
000015f9: PUSH1 0x04
000015fb: DUP3
000015fc: ADD
000015fd: MSTORE
000015fe: PUSH1 0x0c
00001600: PUSH1 0x24
00001602: DUP3
00001603: ADD
00001604: MSTORE
00001605: PUSH32 0x47616d65206973206f7665720000000000000000000000000000000000000000
00001626: PUSH1 0x44
00001628: DUP3
00001629: ADD
0000162a: MSTORE
0000162b: PUSH1 0x64
0000162d: ADD
0000162e: PUSH2 0x0852
00001631: JUMP
00001632: JUMPDEST
00001633: PUSH1 0x00
00001635: PUSH1 0x02
00001637: PUSH1 0x0e
00001639: SLOAD
0000163a: PUSH2 0x1643
0000163d: SWAP2
0000163e: SWAP1
0000163f: PUSH2 0x35a6
00001642: JUMP
00001643: JUMPDEST
00001644: PUSH1 0x14
00001646: DUP1
00001647: SLOAD
00001648: PUSH1 0xff
0000164a: PUSH1 0xa0
0000164c: SHL
0000164d: NOT
0000164e: AND
0000164f: PUSH21 0x020000000000000000000000000000000000000000
00001665: OR
00001666: SWAP1
00001667: SSTORE
00001668: PUSH1 0x08
0000166a: SLOAD
0000166b: SWAP1
0000166c: SWAP2
0000166d: POP
0000166e: DUP2
0000166f: JUMPDEST
00001670: DUP2
00001671: DUP2
00001672: LT
00001673: ISZERO
00001674: PUSH2 0x16aa
00001677: JUMPI
00001678: PUSH1 0x15
0000167a: PUSH2 0x1682
0000167d: DUP3
0000167e: PUSH2 0x0f65
00001681: JUMP
00001682: JUMPDEST
00001683: DUP2
00001684: SLOAD
00001685: PUSH1 0x01
00001687: DUP2
00001688: ADD
00001689: DUP4
0000168a: SSTORE
0000168b: PUSH1 0x00
0000168d: SWAP3
0000168e: DUP4
0000168f: MSTORE
00001690: PUSH1 0x20
00001692: SWAP1
00001693: SWAP3
00001694: KECCAK256
00001695: SWAP1
00001696: SWAP2
00001697: ADD
00001698: SSTORE
00001699: PUSH2 0x16a3
0000169c: PUSH1 0x02
0000169e: DUP3
0000169f: PUSH2 0x33d7
000016a2: JUMP
000016a3: JUMPDEST
000016a4: SWAP1
000016a5: POP
000016a6: PUSH2 0x166f
000016a9: JUMP
000016aa: JUMPDEST
000016ab: POP
000016ac: PUSH1 0x00
000016ae: JUMPDEST
000016af: PUSH1 0x15
000016b1: SLOAD
000016b2: DUP2
000016b3: LT
000016b4: ISZERO
000016b5: PUSH2 0x16fe
000016b8: JUMPI
000016b9: PUSH2 0x16ec
000016bc: PUSH1 0x15
000016be: DUP3
000016bf: DUP2
000016c0: SLOAD
000016c1: DUP2
000016c2: LT
000016c3: PUSH2 0x16dc
000016c6: JUMPI
000016c7: PUSH4 0x4e487b71
000016cc: PUSH1 0xe0
000016ce: SHL
000016cf: PUSH1 0x00
000016d1: MSTORE
000016d2: PUSH1 0x32
000016d4: PUSH1 0x04
000016d6: MSTORE
000016d7: PUSH1 0x24
000016d9: PUSH1 0x00
000016db: REVERT
000016dc: JUMPDEST
000016dd: SWAP1
000016de: PUSH1 0x00
000016e0: MSTORE
000016e1: PUSH1 0x20
000016e3: PUSH1 0x00
000016e5: KECCAK256
000016e6: ADD
000016e7: SLOAD
000016e8: PUSH2 0x21cc
000016eb: JUMP
000016ec: JUMPDEST
000016ed: DUP1
000016ee: PUSH2 0x16f6
000016f1: DUP2
000016f2: PUSH2 0x358b
000016f5: JUMP
000016f6: JUMPDEST
000016f7: SWAP2
000016f8: POP
000016f9: POP
000016fa: PUSH2 0x16ae
000016fd: JUMP
000016fe: JUMPDEST
000016ff: POP
00001700: PUSH1 0x01
00001702: PUSH1 0x11
00001704: PUSH1 0x00
00001706: DUP3
00001707: DUP3
00001708: SLOAD
00001709: PUSH2 0x1712
0000170c: SWAP2
0000170d: SWAP1
0000170e: PUSH2 0x33d7
00001711: JUMP
00001712: JUMPDEST
00001713: SWAP1
00001714: SWAP2
00001715: SSTORE
00001716: POP
00001717: POP
00001718: PUSH1 0x08
0000171a: SLOAD
0000171b: PUSH1 0x01
0000171d: EQ
0000171e: ISZERO
0000171f: PUSH2 0x1781
00001722: JUMPI
00001723: PUSH2 0x172f
00001726: PUSH2 0x0582
00001729: PUSH1 0x00
0000172b: PUSH2 0x0f65
0000172e: JUMP
0000172f: JUMPDEST
00001730: PUSH1 0x14
00001732: DUP1
00001733: SLOAD
00001734: PUSH1 0x01
00001736: PUSH1 0x01
00001738: PUSH1 0xa0
0000173a: SHL
0000173b: SUB
0000173c: SWAP3
0000173d: SWAP1
0000173e: SWAP3
0000173f: AND
00001740: PUSH32 0xffffffffffffffffffffff000000000000000000000000000000000000000000
00001761: SWAP1
00001762: SWAP3
00001763: AND
00001764: SWAP2
00001765: SWAP1
00001766: SWAP2
00001767: OR
00001768: PUSH21 0x030000000000000000000000000000000000000000
0000177e: OR
0000177f: SWAP1
00001780: SSTORE
00001781: JUMPDEST
00001782: PUSH2 0x178d
00001785: PUSH1 0x15
00001787: PUSH1 0x00
00001789: PUSH2 0x2edf
0000178c: JUMP
0000178d: JUMPDEST
0000178e: POP
0000178f: POP
00001790: PUSH1 0x10
00001792: DUP1
00001793: SLOAD
00001794: PUSH1 0xff
00001796: NOT
00001797: AND
00001798: SWAP1
00001799: SSTORE
0000179a: JUMP
0000179b: JUMPDEST
0000179c: PUSH2 0x17a5
0000179f: CALLER
000017a0: DUP4
000017a1: PUSH2 0x1dc6
000017a4: JUMP
000017a5: JUMPDEST
000017a6: PUSH2 0x1817
000017a9: JUMPI
000017aa: PUSH1 0x40
000017ac: MLOAD
000017ad: PUSH3 0x461bcd
000017b1: PUSH1 0xe5
000017b3: SHL
000017b4: DUP2
000017b5: MSTORE
000017b6: PUSH1 0x20
000017b8: PUSH1 0x04
000017ba: DUP3
000017bb: ADD
000017bc: MSTORE
000017bd: PUSH1 0x31
000017bf: PUSH1 0x24
000017c1: DUP3
000017c2: ADD
000017c3: MSTORE
000017c4: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
000017e5: PUSH1 0x44
000017e7: DUP3
000017e8: ADD
000017e9: MSTORE
000017ea: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000
0000180b: PUSH1 0x64
0000180d: DUP3
0000180e: ADD
0000180f: MSTORE
00001810: PUSH1 0x84
00001812: ADD
00001813: PUSH2 0x0852
00001816: JUMP
00001817: JUMPDEST
00001818: PUSH2 0x0e86
0000181b: DUP5
0000181c: DUP5
0000181d: DUP5
0000181e: DUP5
0000181f: PUSH2 0x2273
00001822: JUMP
00001823: JUMPDEST
00001824: PUSH1 0x0a
00001826: SLOAD
00001827: PUSH1 0x01
00001829: PUSH1 0x01
0000182b: PUSH1 0xa0
0000182d: SHL
0000182e: SUB
0000182f: AND
00001830: CALLER
00001831: EQ
00001832: PUSH2 0x187d
00001835: JUMPI
00001836: PUSH1 0x40
00001838: MLOAD
00001839: PUSH3 0x461bcd
0000183d: PUSH1 0xe5
0000183f: SHL
00001840: DUP2
00001841: MSTORE
00001842: PUSH1 0x20
00001844: PUSH1 0x04
00001846: DUP3
00001847: ADD
00001848: DUP2
00001849: SWAP1
0000184a: MSTORE
0000184b: PUSH1 0x24
0000184d: DUP3
0000184e: ADD
0000184f: MSTORE
00001850: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001871: PUSH1 0x44
00001873: DUP3
00001874: ADD
00001875: MSTORE
00001876: PUSH1 0x64
00001878: ADD
00001879: PUSH2 0x0852
0000187c: JUMP
0000187d: JUMPDEST
0000187e: PUSH1 0x10
00001880: SLOAD
00001881: PUSH2 0x0100
00001884: SWAP1
00001885: DIV
00001886: PUSH1 0xff
00001888: AND
00001889: ISZERO
0000188a: PUSH2 0x18d5
0000188d: JUMPI
0000188e: PUSH1 0x40
00001890: MLOAD
00001891: PUSH3 0x461bcd
00001895: PUSH1 0xe5
00001897: SHL
00001898: DUP2
00001899: MSTORE
0000189a: PUSH1 0x20
0000189c: PUSH1 0x04
0000189e: DUP3
0000189f: ADD
000018a0: MSTORE
000018a1: PUSH1 0x16
000018a3: PUSH1 0x24
000018a5: DUP3
000018a6: ADD
000018a7: MSTORE
000018a8: PUSH32 0x43726561746f722072657761726420636c61696d656400000000000000000000
000018c9: PUSH1 0x44
000018cb: DUP3
000018cc: ADD
000018cd: MSTORE
000018ce: PUSH1 0x64
000018d0: ADD
000018d1: PUSH2 0x0852
000018d4: JUMP
000018d5: JUMPDEST
000018d6: SELFBALANCE
000018d7: PUSH1 0x00
000018d9: PUSH2 0x18ed
000018dc: PUSH2 0x18e6
000018df: DUP4
000018e0: PUSH1 0x64
000018e2: PUSH2 0x22f1
000018e5: JUMP
000018e6: JUMPDEST
000018e7: PUSH1 0x14
000018e9: PUSH2 0x2095
000018ec: JUMP
000018ed: JUMPDEST
000018ee: SWAP1
000018ef: POP
000018f0: PUSH2 0x190a
000018f3: PUSH2 0x1904
000018f6: PUSH1 0x0a
000018f8: SLOAD
000018f9: PUSH1 0x01
000018fb: PUSH1 0x01
000018fd: PUSH1 0xa0
000018ff: SHL
00001900: SUB
00001901: AND
00001902: SWAP1
00001903: JUMP
00001904: JUMPDEST
00001905: DUP3
00001906: PUSH2 0x20d7
00001909: JUMP
0000190a: JUMPDEST
0000190b: POP
0000190c: POP
0000190d: PUSH1 0x10
0000190f: DUP1
00001910: SLOAD
00001911: PUSH2 0xff00
00001914: NOT
00001915: AND
00001916: PUSH2 0x0100
00001919: OR
0000191a: SWAP1
0000191b: SSTORE
0000191c: JUMP
0000191d: JUMPDEST
0000191e: PUSH1 0x60
00001920: PUSH1 0x13
00001922: PUSH2 0x192a
00001925: DUP4
00001926: PUSH2 0x22fd
00001929: JUMP
0000192a: JUMPDEST
0000192b: PUSH1 0x40
0000192d: MLOAD
0000192e: PUSH1 0x20
00001930: ADD
00001931: PUSH2 0x193b
00001934: SWAP3
00001935: SWAP2
00001936: SWAP1
00001937: PUSH2 0x324e
0000193a: JUMP
0000193b: JUMPDEST
0000193c: PUSH1 0x40
0000193e: MLOAD
0000193f: PUSH1 0x20
00001941: DUP2
00001942: DUP4
00001943: SUB
00001944: SUB
00001945: DUP2
00001946: MSTORE
00001947: SWAP1
00001948: PUSH1 0x40
0000194a: MSTORE
0000194b: SWAP1
0000194c: POP
0000194d: SWAP2
0000194e: SWAP1
0000194f: POP
00001950: JUMP
00001951: JUMPDEST
00001952: PUSH1 0x13
00001954: DUP1
00001955: SLOAD
00001956: PUSH2 0x195e
00001959: SWAP1
0000195a: PUSH2 0x3550
0000195d: JUMP
0000195e: JUMPDEST
0000195f: DUP1
00001960: PUSH1 0x1f
00001962: ADD
00001963: PUSH1 0x20
00001965: DUP1
00001966: SWAP2
00001967: DIV
00001968: MUL
00001969: PUSH1 0x20
0000196b: ADD
0000196c: PUSH1 0x40
0000196e: MLOAD
0000196f: SWAP1
00001970: DUP2
00001971: ADD
00001972: PUSH1 0x40
00001974: MSTORE
00001975: DUP1
00001976: SWAP3
00001977: SWAP2
00001978: SWAP1
00001979: DUP2
0000197a: DUP2
0000197b: MSTORE
0000197c: PUSH1 0x20
0000197e: ADD
0000197f: DUP3
00001980: DUP1
00001981: SLOAD
00001982: PUSH2 0x198a
00001985: SWAP1
00001986: PUSH2 0x3550
00001989: JUMP
0000198a: JUMPDEST
0000198b: DUP1
0000198c: ISZERO
0000198d: PUSH2 0x19d7
00001990: JUMPI
00001991: DUP1
00001992: PUSH1 0x1f
00001994: LT
00001995: PUSH2 0x19ac
00001998: JUMPI
00001999: PUSH2 0x0100
0000199c: DUP1
0000199d: DUP4
0000199e: SLOAD
0000199f: DIV
000019a0: MUL
000019a1: DUP4
000019a2: MSTORE
000019a3: SWAP2
000019a4: PUSH1 0x20
000019a6: ADD
000019a7: SWAP2
000019a8: PUSH2 0x19d7
000019ab: JUMP
000019ac: JUMPDEST
000019ad: DUP3
000019ae: ADD
000019af: SWAP2
000019b0: SWAP1
000019b1: PUSH1 0x00
000019b3: MSTORE
000019b4: PUSH1 0x20
000019b6: PUSH1 0x00
000019b8: KECCAK256
000019b9: SWAP1
000019ba: JUMPDEST
000019bb: DUP2
000019bc: SLOAD
000019bd: DUP2
000019be: MSTORE
000019bf: SWAP1
000019c0: PUSH1 0x01
000019c2: ADD
000019c3: SWAP1
000019c4: PUSH1 0x20
000019c6: ADD
000019c7: DUP1
000019c8: DUP4
000019c9: GT
000019ca: PUSH2 0x19ba
000019cd: JUMPI
000019ce: DUP3
000019cf: SWAP1
000019d0: SUB
000019d1: PUSH1 0x1f
000019d3: AND
000019d4: DUP3
000019d5: ADD
000019d6: SWAP2
000019d7: JUMPDEST
000019d8: POP
000019d9: POP
000019da: POP
000019db: POP
000019dc: POP
000019dd: DUP2
000019de: JUMP
000019df: JUMPDEST
000019e0: PUSH1 0x0a
000019e2: SLOAD
000019e3: PUSH1 0x01
000019e5: PUSH1 0x01
000019e7: PUSH1 0xa0
000019e9: SHL
000019ea: SUB
000019eb: AND
000019ec: CALLER
000019ed: EQ
000019ee: PUSH2 0x1a39
000019f1: JUMPI
000019f2: PUSH1 0x40
000019f4: MLOAD
000019f5: PUSH3 0x461bcd
000019f9: PUSH1 0xe5
000019fb: SHL
000019fc: DUP2
000019fd: MSTORE
000019fe: PUSH1 0x20
00001a00: PUSH1 0x04
00001a02: DUP3
00001a03: ADD
00001a04: DUP2
00001a05: SWAP1
00001a06: MSTORE
00001a07: PUSH1 0x24
00001a09: DUP3
00001a0a: ADD
00001a0b: MSTORE
00001a0c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001a2d: PUSH1 0x44
00001a2f: DUP3
00001a30: ADD
00001a31: MSTORE
00001a32: PUSH1 0x64
00001a34: ADD
00001a35: PUSH2 0x0852
00001a38: JUMP
00001a39: JUMPDEST
00001a3a: PUSH1 0x11
00001a3c: SLOAD
00001a3d: PUSH2 0x1a9c
00001a40: JUMPI
00001a41: PUSH2 0x1a4c
00001a44: PUSH1 0x07
00001a46: PUSH1 0x02
00001a48: PUSH2 0x3446
00001a4b: JUMP
00001a4c: JUMPDEST
00001a4d: PUSH1 0x08
00001a4f: SLOAD
00001a50: EQ
00001a51: PUSH2 0x1a9c
00001a54: JUMPI
00001a55: PUSH1 0x40
00001a57: MLOAD
00001a58: PUSH3 0x461bcd
00001a5c: PUSH1 0xe5
00001a5e: SHL
00001a5f: DUP2
00001a60: MSTORE
00001a61: PUSH1 0x20
00001a63: PUSH1 0x04
00001a65: DUP3
00001a66: ADD
00001a67: MSTORE
00001a68: PUSH1 0x15
00001a6a: PUSH1 0x24
00001a6c: DUP3
00001a6d: ADD
00001a6e: MSTORE
00001a6f: PUSH32 0x4e6f7420616c6c20746f6b656e73206d696e7465640000000000000000000000
00001a90: PUSH1 0x44
00001a92: DUP3
00001a93: ADD
00001a94: MSTORE
00001a95: PUSH1 0x64
00001a97: ADD
00001a98: PUSH2 0x0852
00001a9b: JUMP
00001a9c: JUMPDEST
00001a9d: PUSH1 0x01
00001a9f: PUSH2 0x1aa7
00001aa2: PUSH1 0x08
00001aa4: SLOAD
00001aa5: SWAP1
00001aa6: JUMP
00001aa7: JUMPDEST
00001aa8: GT
00001aa9: PUSH2 0x1af4
00001aac: JUMPI
00001aad: PUSH1 0x40
00001aaf: MLOAD
00001ab0: PUSH3 0x461bcd
00001ab4: PUSH1 0xe5
00001ab6: SHL
00001ab7: DUP2
00001ab8: MSTORE
00001ab9: PUSH1 0x20
00001abb: PUSH1 0x04
00001abd: DUP3
00001abe: ADD
00001abf: MSTORE
00001ac0: PUSH1 0x0d
00001ac2: PUSH1 0x24
00001ac4: DUP3
00001ac5: ADD
00001ac6: MSTORE
00001ac7: PUSH32 0x47616d652066696e697368656400000000000000000000000000000000000000
00001ae8: PUSH1 0x44
00001aea: DUP3
00001aeb: ADD
00001aec: MSTORE
00001aed: PUSH1 0x64
00001aef: ADD
00001af0: PUSH2 0x0852
00001af3: JUMP
00001af4: JUMPDEST
00001af5: PUSH2 0x089a
00001af8: PUSH2 0x244b
00001afb: JUMP
00001afc: JUMPDEST
00001afd: PUSH1 0x0a
00001aff: SLOAD
00001b00: PUSH1 0x01
00001b02: PUSH1 0x01
00001b04: PUSH1 0xa0
00001b06: SHL
00001b07: SUB
00001b08: AND
00001b09: CALLER
00001b0a: EQ
00001b0b: PUSH2 0x1b56
00001b0e: JUMPI
00001b0f: PUSH1 0x40
00001b11: MLOAD
00001b12: PUSH3 0x461bcd
00001b16: PUSH1 0xe5
00001b18: SHL
00001b19: DUP2
00001b1a: MSTORE
00001b1b: PUSH1 0x20
00001b1d: PUSH1 0x04
00001b1f: DUP3
00001b20: ADD
00001b21: DUP2
00001b22: SWAP1
00001b23: MSTORE
00001b24: PUSH1 0x24
00001b26: DUP3
00001b27: ADD
00001b28: MSTORE
00001b29: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001b4a: PUSH1 0x44
00001b4c: DUP3
00001b4d: ADD
00001b4e: MSTORE
00001b4f: PUSH1 0x64
00001b51: ADD
00001b52: PUSH2 0x0852
00001b55: JUMP
00001b56: JUMPDEST
00001b57: PUSH1 0x01
00001b59: PUSH1 0x01
00001b5b: PUSH1 0xa0
00001b5d: SHL
00001b5e: SUB
00001b5f: DUP2
00001b60: AND
00001b61: PUSH2 0x1bd2
00001b64: JUMPI
00001b65: PUSH1 0x40
00001b67: MLOAD
00001b68: PUSH3 0x461bcd
00001b6c: PUSH1 0xe5
00001b6e: SHL
00001b6f: DUP2
00001b70: MSTORE
00001b71: PUSH1 0x20
00001b73: PUSH1 0x04
00001b75: DUP3
00001b76: ADD
00001b77: MSTORE
00001b78: PUSH1 0x26
00001b7a: PUSH1 0x24
00001b7c: DUP3
00001b7d: ADD
00001b7e: MSTORE
00001b7f: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001ba0: PUSH1 0x44
00001ba2: DUP3
00001ba3: ADD
00001ba4: MSTORE
00001ba5: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00001bc6: PUSH1 0x64
00001bc8: DUP3
00001bc9: ADD
00001bca: MSTORE
00001bcb: PUSH1 0x84
00001bcd: ADD
00001bce: PUSH2 0x0852
00001bd1: JUMP
00001bd2: JUMPDEST
00001bd3: PUSH2 0x089a
00001bd6: DUP2
00001bd7: PUSH2 0x217a
00001bda: JUMP
00001bdb: JUMPDEST
00001bdc: PUSH1 0x00
00001bde: PUSH1 0x01
00001be0: PUSH1 0x01
00001be2: PUSH1 0xe0
00001be4: SHL
00001be5: SUB
00001be6: NOT
00001be7: DUP3
00001be8: AND
00001be9: PUSH32 0x780e9d6300000000000000000000000000000000000000000000000000000000
00001c0a: EQ
00001c0b: DUP1
00001c0c: PUSH2 0x07f6
00001c0f: JUMPI
00001c10: POP
00001c11: PUSH2 0x07f6
00001c14: DUP3
00001c15: PUSH2 0x2578
00001c18: JUMP
00001c19: JUMPDEST
00001c1a: PUSH1 0x0a
00001c1c: SLOAD
00001c1d: PUSH1 0x01
00001c1f: PUSH1 0xa0
00001c21: SHL
00001c22: SWAP1
00001c23: DIV
00001c24: PUSH1 0xff
00001c26: AND
00001c27: ISZERO
00001c28: PUSH2 0x1c73
00001c2b: JUMPI
00001c2c: PUSH1 0x40
00001c2e: MLOAD
00001c2f: PUSH3 0x461bcd
00001c33: PUSH1 0xe5
00001c35: SHL
00001c36: DUP2
00001c37: MSTORE
00001c38: PUSH1 0x20
00001c3a: PUSH1 0x04
00001c3c: DUP3
00001c3d: ADD
00001c3e: MSTORE
00001c3f: PUSH1 0x10
00001c41: PUSH1 0x24
00001c43: DUP3
00001c44: ADD
00001c45: MSTORE
00001c46: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
00001c67: PUSH1 0x44
00001c69: DUP3
00001c6a: ADD
00001c6b: MSTORE
00001c6c: PUSH1 0x64
00001c6e: ADD
00001c6f: PUSH2 0x0852
00001c72: JUMP
00001c73: JUMPDEST
00001c74: PUSH1 0x0a
00001c76: DUP1
00001c77: SLOAD
00001c78: PUSH1 0xff
00001c7a: PUSH1 0xa0
00001c7c: SHL
00001c7d: NOT
00001c7e: AND
00001c7f: PUSH1 0x01
00001c81: PUSH1 0xa0
00001c83: SHL
00001c84: OR
00001c85: SWAP1
00001c86: SSTORE
00001c87: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00001ca8: PUSH2 0x1cae
00001cab: CALLER
00001cac: SWAP1
00001cad: JUMP
00001cae: JUMPDEST
00001caf: PUSH1 0x40
00001cb1: MLOAD
00001cb2: PUSH1 0x01
00001cb4: PUSH1 0x01
00001cb6: PUSH1 0xa0
00001cb8: SHL
00001cb9: SUB
00001cba: SWAP1
00001cbb: SWAP2
00001cbc: AND
00001cbd: DUP2
00001cbe: MSTORE
00001cbf: PUSH1 0x20
00001cc1: ADD
00001cc2: PUSH1 0x40
00001cc4: MLOAD
00001cc5: DUP1
00001cc6: SWAP2
00001cc7: SUB
00001cc8: SWAP1
00001cc9: LOG1
00001cca: JUMP
00001ccb: JUMPDEST
00001ccc: PUSH1 0x0a
00001cce: SLOAD
00001ccf: PUSH1 0x01
00001cd1: PUSH1 0xa0
00001cd3: SHL
00001cd4: SWAP1
00001cd5: DIV
00001cd6: PUSH1 0xff
00001cd8: AND
00001cd9: PUSH2 0x1d24
00001cdc: JUMPI
00001cdd: PUSH1 0x40
00001cdf: MLOAD
00001ce0: PUSH3 0x461bcd
00001ce4: PUSH1 0xe5
00001ce6: SHL
00001ce7: DUP2
00001ce8: MSTORE
00001ce9: PUSH1 0x20
00001ceb: PUSH1 0x04
00001ced: DUP3
00001cee: ADD
00001cef: MSTORE
00001cf0: PUSH1 0x14
00001cf2: PUSH1 0x24
00001cf4: DUP3
00001cf5: ADD
00001cf6: MSTORE
00001cf7: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000
00001d18: PUSH1 0x44
00001d1a: DUP3
00001d1b: ADD
00001d1c: MSTORE
00001d1d: PUSH1 0x64
00001d1f: ADD
00001d20: PUSH2 0x0852
00001d23: JUMP
00001d24: JUMPDEST
00001d25: PUSH1 0x0a
00001d27: DUP1
00001d28: SLOAD
00001d29: PUSH1 0xff
00001d2b: PUSH1 0xa0
00001d2d: SHL
00001d2e: NOT
00001d2f: AND
00001d30: SWAP1
00001d31: SSTORE
00001d32: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00001d53: CALLER
00001d54: PUSH2 0x1cae
00001d57: JUMP
00001d58: JUMPDEST
00001d59: PUSH1 0x00
00001d5b: DUP2
00001d5c: DUP2
00001d5d: MSTORE
00001d5e: PUSH1 0x04
00001d60: PUSH1 0x20
00001d62: MSTORE
00001d63: PUSH1 0x40
00001d65: SWAP1
00001d66: KECCAK256
00001d67: DUP1
00001d68: SLOAD
00001d69: PUSH1 0x01
00001d6b: PUSH1 0x01
00001d6d: PUSH1 0xa0
00001d6f: SHL
00001d70: SUB
00001d71: NOT
00001d72: AND
00001d73: PUSH1 0x01
00001d75: PUSH1 0x01
00001d77: PUSH1 0xa0
00001d79: SHL
00001d7a: SUB
00001d7b: DUP5
00001d7c: AND
00001d7d: SWAP1
00001d7e: DUP2
00001d7f: OR
00001d80: SWAP1
00001d81: SWAP2
00001d82: SSTORE
00001d83: DUP2
00001d84: SWAP1
00001d85: PUSH2 0x1d8d
00001d88: DUP3
00001d89: PUSH2 0x1117
00001d8c: JUMP
00001d8d: JUMPDEST
00001d8e: PUSH1 0x01
00001d90: PUSH1 0x01
00001d92: PUSH1 0xa0
00001d94: SHL
00001d95: SUB
00001d96: AND
00001d97: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001db8: PUSH1 0x40
00001dba: MLOAD
00001dbb: PUSH1 0x40
00001dbd: MLOAD
00001dbe: DUP1
00001dbf: SWAP2
00001dc0: SUB
00001dc1: SWAP1
00001dc2: LOG4
00001dc3: POP
00001dc4: POP
00001dc5: JUMP
00001dc6: JUMPDEST
00001dc7: PUSH1 0x00
00001dc9: DUP2
00001dca: DUP2
00001dcb: MSTORE
00001dcc: PUSH1 0x02
00001dce: PUSH1 0x20
00001dd0: MSTORE
00001dd1: PUSH1 0x40
00001dd3: DUP2
00001dd4: KECCAK256
00001dd5: SLOAD
00001dd6: PUSH1 0x01
00001dd8: PUSH1 0x01
00001dda: PUSH1 0xa0
00001ddc: SHL
00001ddd: SUB
00001dde: AND
00001ddf: PUSH2 0x1e3f
00001de2: JUMPI
00001de3: PUSH1 0x40
00001de5: MLOAD
00001de6: PUSH3 0x461bcd
00001dea: PUSH1 0xe5
00001dec: SHL
00001ded: DUP2
00001dee: MSTORE
00001def: PUSH1 0x20
00001df1: PUSH1 0x04
00001df3: DUP3
00001df4: ADD
00001df5: MSTORE
00001df6: PUSH1 0x2c
00001df8: PUSH1 0x24
00001dfa: DUP3
00001dfb: ADD
00001dfc: MSTORE
00001dfd: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578
00001e1e: PUSH1 0x44
00001e20: DUP3
00001e21: ADD
00001e22: MSTORE
00001e23: PUSH12 0x34b9ba32b73a103a37b5b2b7
00001e30: PUSH1 0xa1
00001e32: SHL
00001e33: PUSH1 0x64
00001e35: DUP3
00001e36: ADD
00001e37: MSTORE
00001e38: PUSH1 0x84
00001e3a: ADD
00001e3b: PUSH2 0x0852
00001e3e: JUMP
00001e3f: JUMPDEST
00001e40: PUSH1 0x00
00001e42: PUSH2 0x1e4a
00001e45: DUP4
00001e46: PUSH2 0x1117
00001e49: JUMP
00001e4a: JUMPDEST
00001e4b: SWAP1
00001e4c: POP
00001e4d: DUP1
00001e4e: PUSH1 0x01
00001e50: PUSH1 0x01
00001e52: PUSH1 0xa0
00001e54: SHL
00001e55: SUB
00001e56: AND
00001e57: DUP5
00001e58: PUSH1 0x01
00001e5a: PUSH1 0x01
00001e5c: PUSH1 0xa0
00001e5e: SHL
00001e5f: SUB
00001e60: AND
00001e61: EQ
00001e62: DUP1
00001e63: PUSH2 0x1e85
00001e66: JUMPI
00001e67: POP
00001e68: DUP4
00001e69: PUSH1 0x01
00001e6b: PUSH1 0x01
00001e6d: PUSH1 0xa0
00001e6f: SHL
00001e70: SUB
00001e71: AND
00001e72: PUSH2 0x1e7a
00001e75: DUP5
00001e76: PUSH2 0x092f
00001e79: JUMP
00001e7a: JUMPDEST
00001e7b: PUSH1 0x01
00001e7d: PUSH1 0x01
00001e7f: PUSH1 0xa0
00001e81: SHL
00001e82: SUB
00001e83: AND
00001e84: EQ
00001e85: JUMPDEST
00001e86: DUP1
00001e87: PUSH2 0x1eb5
00001e8a: JUMPI
00001e8b: POP
00001e8c: PUSH1 0x01
00001e8e: PUSH1 0x01
00001e90: PUSH1 0xa0
00001e92: SHL
00001e93: SUB
00001e94: DUP1
00001e95: DUP3
00001e96: AND
00001e97: PUSH1 0x00
00001e99: SWAP1
00001e9a: DUP2
00001e9b: MSTORE
00001e9c: PUSH1 0x05
00001e9e: PUSH1 0x20
00001ea0: SWAP1
00001ea1: DUP2
00001ea2: MSTORE
00001ea3: PUSH1 0x40
00001ea5: DUP1
00001ea6: DUP4
00001ea7: KECCAK256
00001ea8: SWAP4
00001ea9: DUP9
00001eaa: AND
00001eab: DUP4
00001eac: MSTORE
00001ead: SWAP3
00001eae: SWAP1
00001eaf: MSTORE
00001eb0: KECCAK256
00001eb1: SLOAD
00001eb2: PUSH1 0xff
00001eb4: AND
00001eb5: JUMPDEST
00001eb6: SWAP5
00001eb7: SWAP4
00001eb8: POP
00001eb9: POP
00001eba: POP
00001ebb: POP
00001ebc: JUMP
00001ebd: JUMPDEST
00001ebe: DUP3
00001ebf: PUSH1 0x01
00001ec1: PUSH1 0x01
00001ec3: PUSH1 0xa0
00001ec5: SHL
00001ec6: SUB
00001ec7: AND
00001ec8: PUSH2 0x1ed0
00001ecb: DUP3
00001ecc: PUSH2 0x1117
00001ecf: JUMP
00001ed0: JUMPDEST
00001ed1: PUSH1 0x01
00001ed3: PUSH1 0x01
00001ed5: PUSH1 0xa0
00001ed7: SHL
00001ed8: SUB
00001ed9: AND
00001eda: EQ
00001edb: PUSH2 0x1f4c
00001ede: JUMPI
00001edf: PUSH1 0x40
00001ee1: MLOAD
00001ee2: PUSH3 0x461bcd
00001ee6: PUSH1 0xe5
00001ee8: SHL
00001ee9: DUP2
00001eea: MSTORE
00001eeb: PUSH1 0x20
00001eed: PUSH1 0x04
00001eef: DUP3
00001ef0: ADD
00001ef1: MSTORE
00001ef2: PUSH1 0x29
00001ef4: PUSH1 0x24
00001ef6: DUP3
00001ef7: ADD
00001ef8: MSTORE
00001ef9: PUSH32 0x4552433732313a207472616e73666572206f6620746f6b656e20746861742069
00001f1a: PUSH1 0x44
00001f1c: DUP3
00001f1d: ADD
00001f1e: MSTORE
00001f1f: PUSH32 0x73206e6f74206f776e0000000000000000000000000000000000000000000000
00001f40: PUSH1 0x64
00001f42: DUP3
00001f43: ADD
00001f44: MSTORE
00001f45: PUSH1 0x84
00001f47: ADD
00001f48: PUSH2 0x0852
00001f4b: JUMP
00001f4c: JUMPDEST
00001f4d: PUSH1 0x01
00001f4f: PUSH1 0x01
00001f51: PUSH1 0xa0
00001f53: SHL
00001f54: SUB
00001f55: DUP3
00001f56: AND
00001f57: PUSH2 0x1fc7
00001f5a: JUMPI
00001f5b: PUSH1 0x40
00001f5d: MLOAD
00001f5e: PUSH3 0x461bcd
00001f62: PUSH1 0xe5
00001f64: SHL
00001f65: DUP2
00001f66: MSTORE
00001f67: PUSH1 0x20
00001f69: PUSH1 0x04
00001f6b: DUP3
00001f6c: ADD
00001f6d: MSTORE
00001f6e: PUSH1 0x24
00001f70: DUP1
00001f71: DUP3
00001f72: ADD
00001f73: MSTORE
00001f74: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
00001f95: PUSH1 0x44
00001f97: DUP3
00001f98: ADD
00001f99: MSTORE
00001f9a: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
00001fbb: PUSH1 0x64
00001fbd: DUP3
00001fbe: ADD
00001fbf: MSTORE
00001fc0: PUSH1 0x84
00001fc2: ADD
00001fc3: PUSH2 0x0852
00001fc6: JUMP
00001fc7: JUMPDEST
00001fc8: PUSH2 0x1fd2
00001fcb: DUP4
00001fcc: DUP4
00001fcd: DUP4
00001fce: PUSH2 0x2613
00001fd1: JUMP
00001fd2: JUMPDEST
00001fd3: PUSH2 0x1fdd
00001fd6: PUSH1 0x00
00001fd8: DUP3
00001fd9: PUSH2 0x1d58
00001fdc: JUMP
00001fdd: JUMPDEST
00001fde: PUSH1 0x01
00001fe0: PUSH1 0x01
00001fe2: PUSH1 0xa0
00001fe4: SHL
00001fe5: SUB
00001fe6: DUP4
00001fe7: AND
00001fe8: PUSH1 0x00
00001fea: SWAP1
00001feb: DUP2
00001fec: MSTORE
00001fed: PUSH1 0x03
00001fef: PUSH1 0x20
00001ff1: MSTORE
00001ff2: PUSH1 0x40
00001ff4: DUP2
00001ff5: KECCAK256
00001ff6: DUP1
00001ff7: SLOAD
00001ff8: PUSH1 0x01
00001ffa: SWAP3
00001ffb: SWAP1
00001ffc: PUSH2 0x2006
00001fff: SWAP1
00002000: DUP5
00002001: SWAP1
00002002: PUSH2 0x350d
00002005: JUMP
00002006: JUMPDEST
00002007: SWAP1
00002008: SWAP2
00002009: SSTORE
0000200a: POP
0000200b: POP
0000200c: PUSH1 0x01
0000200e: PUSH1 0x01
00002010: PUSH1 0xa0
00002012: SHL
00002013: SUB
00002014: DUP3
00002015: AND
00002016: PUSH1 0x00
00002018: SWAP1
00002019: DUP2
0000201a: MSTORE
0000201b: PUSH1 0x03
0000201d: PUSH1 0x20
0000201f: MSTORE
00002020: PUSH1 0x40
00002022: DUP2
00002023: KECCAK256
00002024: DUP1
00002025: SLOAD
00002026: PUSH1 0x01
00002028: SWAP3
00002029: SWAP1
0000202a: PUSH2 0x2034
0000202d: SWAP1
0000202e: DUP5
0000202f: SWAP1
00002030: PUSH2 0x33d7
00002033: JUMP
00002034: JUMPDEST
00002035: SWAP1
00002036: SWAP2
00002037: SSTORE
00002038: POP
00002039: POP
0000203a: PUSH1 0x00
0000203c: DUP2
0000203d: DUP2
0000203e: MSTORE
0000203f: PUSH1 0x02
00002041: PUSH1 0x20
00002043: MSTORE
00002044: PUSH1 0x40
00002046: DUP1
00002047: DUP3
00002048: KECCAK256
00002049: DUP1
0000204a: SLOAD
0000204b: PUSH1 0x01
0000204d: PUSH1 0x01
0000204f: PUSH1 0xa0
00002051: SHL
00002052: SUB
00002053: NOT
00002054: AND
00002055: PUSH1 0x01
00002057: PUSH1 0x01
00002059: PUSH1 0xa0
0000205b: SHL
0000205c: SUB
0000205d: DUP7
0000205e: DUP2
0000205f: AND
00002060: SWAP2
00002061: DUP3
00002062: OR
00002063: SWAP1
00002064: SWAP3
00002065: SSTORE
00002066: SWAP2
00002067: MLOAD
00002068: DUP5
00002069: SWAP4
0000206a: SWAP2
0000206b: DUP8
0000206c: AND
0000206d: SWAP2
0000206e: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000208f: SWAP2
00002090: LOG4
00002091: POP
00002092: POP
00002093: POP
00002094: JUMP
00002095: JUMPDEST
00002096: PUSH1 0x00
00002098: PUSH2 0x20a1
0000209b: DUP3
0000209c: DUP5
0000209d: PUSH2 0x34ee
000020a0: JUMP
000020a1: JUMPDEST
000020a2: SWAP4
000020a3: SWAP3
000020a4: POP
000020a5: POP
000020a6: POP
000020a7: JUMP
000020a8: JUMPDEST
000020a9: PUSH1 0x00
000020ab: PUSH2 0x1112
000020ae: PUSH1 0x0f
000020b0: SLOAD
000020b1: SWAP1
000020b2: JUMP
000020b3: JUMPDEST
000020b4: PUSH1 0x00
000020b6: PUSH2 0x20bd
000020b9: PUSH2 0x20a8
000020bc: JUMP
000020bd: JUMPDEST
000020be: SWAP1
000020bf: POP
000020c0: PUSH2 0x20cd
000020c3: PUSH1 0x0f
000020c5: DUP1
000020c6: SLOAD
000020c7: PUSH1 0x01
000020c9: ADD
000020ca: SWAP1
000020cb: SSTORE
000020cc: JUMP
000020cd: JUMPDEST
000020ce: PUSH2 0x1084
000020d1: DUP3
000020d2: DUP3
000020d3: PUSH2 0x2683
000020d6: JUMP
000020d7: JUMPDEST
000020d8: PUSH1 0x00
000020da: DUP3
000020db: PUSH1 0x01
000020dd: PUSH1 0x01
000020df: PUSH1 0xa0
000020e1: SHL
000020e2: SUB
000020e3: AND
000020e4: DUP3
000020e5: PUSH1 0x40
000020e7: MLOAD
000020e8: PUSH1 0x00
000020ea: PUSH1 0x40
000020ec: MLOAD
000020ed: DUP1
000020ee: DUP4
000020ef: SUB
000020f0: DUP2
000020f1: DUP6
000020f2: DUP8
000020f3: GAS
000020f4: CALL
000020f5: SWAP3
000020f6: POP
000020f7: POP
000020f8: POP
000020f9: RETURNDATASIZE
000020fa: DUP1
000020fb: PUSH1 0x00
000020fd: DUP2
000020fe: EQ
000020ff: PUSH2 0x2124
00002102: JUMPI
00002103: PUSH1 0x40
00002105: MLOAD
00002106: SWAP2
00002107: POP
00002108: PUSH1 0x1f
0000210a: NOT
0000210b: PUSH1 0x3f
0000210d: RETURNDATASIZE
0000210e: ADD
0000210f: AND
00002110: DUP3
00002111: ADD
00002112: PUSH1 0x40
00002114: MSTORE
00002115: RETURNDATASIZE
00002116: DUP3
00002117: MSTORE
00002118: RETURNDATASIZE
00002119: PUSH1 0x00
0000211b: PUSH1 0x20
0000211d: DUP5
0000211e: ADD
0000211f: RETURNDATACOPY
00002120: PUSH2 0x2129
00002123: JUMP
00002124: JUMPDEST
00002125: PUSH1 0x60
00002127: SWAP2
00002128: POP
00002129: JUMPDEST
0000212a: POP
0000212b: POP
0000212c: SWAP1
0000212d: POP
0000212e: DUP1
0000212f: PUSH2 0x0af1
00002132: JUMPI
00002133: PUSH1 0x40
00002135: MLOAD
00002136: PUSH3 0x461bcd
0000213a: PUSH1 0xe5
0000213c: SHL
0000213d: DUP2
0000213e: MSTORE
0000213f: PUSH1 0x20
00002141: PUSH1 0x04
00002143: DUP3
00002144: ADD
00002145: MSTORE
00002146: PUSH1 0x0f
00002148: PUSH1 0x24
0000214a: DUP3
0000214b: ADD
0000214c: MSTORE
0000214d: PUSH32 0x5472616e73666572206661696c65640000000000000000000000000000000000
0000216e: PUSH1 0x44
00002170: DUP3
00002171: ADD
00002172: MSTORE
00002173: PUSH1 0x64
00002175: ADD
00002176: PUSH2 0x0852
00002179: JUMP
0000217a: JUMPDEST
0000217b: PUSH1 0x0a
0000217d: DUP1
0000217e: SLOAD
0000217f: PUSH1 0x01
00002181: PUSH1 0x01
00002183: PUSH1 0xa0
00002185: SHL
00002186: SUB
00002187: DUP4
00002188: DUP2
00002189: AND
0000218a: PUSH1 0x01
0000218c: PUSH1 0x01
0000218e: PUSH1 0xa0
00002190: SHL
00002191: SUB
00002192: NOT
00002193: DUP4
00002194: AND
00002195: DUP2
00002196: OR
00002197: SWAP1
00002198: SWAP4
00002199: SSTORE
0000219a: PUSH1 0x40
0000219c: MLOAD
0000219d: SWAP2
0000219e: AND
0000219f: SWAP2
000021a0: SWAP1
000021a1: DUP3
000021a2: SWAP1
000021a3: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000021c4: SWAP1
000021c5: PUSH1 0x00
000021c7: SWAP1
000021c8: LOG3
000021c9: POP
000021ca: POP
000021cb: JUMP
000021cc: JUMPDEST
000021cd: PUSH1 0x00
000021cf: PUSH2 0x21d7
000021d2: DUP3
000021d3: PUSH2 0x1117
000021d6: JUMP
000021d7: JUMPDEST
000021d8: SWAP1
000021d9: POP
000021da: PUSH2 0x21e5
000021dd: DUP2
000021de: PUSH1 0x00
000021e0: DUP5
000021e1: PUSH2 0x2613
000021e4: JUMP
000021e5: JUMPDEST
000021e6: PUSH2 0x21f0
000021e9: PUSH1 0x00
000021eb: DUP4
000021ec: PUSH2 0x1d58
000021ef: JUMP
000021f0: JUMPDEST
000021f1: PUSH1 0x01
000021f3: PUSH1 0x01
000021f5: PUSH1 0xa0
000021f7: SHL
000021f8: SUB
000021f9: DUP2
000021fa: AND
000021fb: PUSH1 0x00
000021fd: SWAP1
000021fe: DUP2
000021ff: MSTORE
00002200: PUSH1 0x03
00002202: PUSH1 0x20
00002204: MSTORE
00002205: PUSH1 0x40
00002207: DUP2
00002208: KECCAK256
00002209: DUP1
0000220a: SLOAD
0000220b: PUSH1 0x01
0000220d: SWAP3
0000220e: SWAP1
0000220f: PUSH2 0x2219
00002212: SWAP1
00002213: DUP5
00002214: SWAP1
00002215: PUSH2 0x350d
00002218: JUMP
00002219: JUMPDEST
0000221a: SWAP1
0000221b: SWAP2
0000221c: SSTORE
0000221d: POP
0000221e: POP
0000221f: PUSH1 0x00
00002221: DUP3
00002222: DUP2
00002223: MSTORE
00002224: PUSH1 0x02
00002226: PUSH1 0x20
00002228: MSTORE
00002229: PUSH1 0x40
0000222b: DUP1
0000222c: DUP3
0000222d: KECCAK256
0000222e: DUP1
0000222f: SLOAD
00002230: PUSH1 0x01
00002232: PUSH1 0x01
00002234: PUSH1 0xa0
00002236: SHL
00002237: SUB
00002238: NOT
00002239: AND
0000223a: SWAP1
0000223b: SSTORE
0000223c: MLOAD
0000223d: DUP4
0000223e: SWAP2
0000223f: SWAP1
00002240: PUSH1 0x01
00002242: PUSH1 0x01
00002244: PUSH1 0xa0
00002246: SHL
00002247: SUB
00002248: DUP5
00002249: AND
0000224a: SWAP1
0000224b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000226c: SWAP1
0000226d: DUP4
0000226e: SWAP1
0000226f: LOG4
00002270: POP
00002271: POP
00002272: JUMP
00002273: JUMPDEST
00002274: PUSH2 0x227e
00002277: DUP5
00002278: DUP5
00002279: DUP5
0000227a: PUSH2 0x1ebd
0000227d: JUMP
0000227e: JUMPDEST
0000227f: PUSH2 0x228a
00002282: DUP5
00002283: DUP5
00002284: DUP5
00002285: DUP5
00002286: PUSH2 0x269d
00002289: JUMP
0000228a: JUMPDEST
0000228b: PUSH2 0x0e86
0000228e: JUMPI
0000228f: PUSH1 0x40
00002291: MLOAD
00002292: PUSH3 0x461bcd
00002296: PUSH1 0xe5
00002298: SHL
00002299: DUP2
0000229a: MSTORE
0000229b: PUSH1 0x20
0000229d: PUSH1 0x04
0000229f: DUP3
000022a0: ADD
000022a1: MSTORE
000022a2: PUSH1 0x32
000022a4: PUSH1 0x24
000022a6: DUP3
000022a7: ADD
000022a8: MSTORE
000022a9: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
000022ca: PUSH1 0x44
000022cc: DUP3
000022cd: ADD
000022ce: MSTORE
000022cf: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9
000022e2: PUSH1 0x71
000022e4: SHL
000022e5: PUSH1 0x64
000022e7: DUP3
000022e8: ADD
000022e9: MSTORE
000022ea: PUSH1 0x84
000022ec: ADD
000022ed: PUSH2 0x0852
000022f0: JUMP
000022f1: JUMPDEST
000022f2: PUSH1 0x00
000022f4: PUSH2 0x20a1
000022f7: DUP3
000022f8: DUP5
000022f9: PUSH2 0x33ef
000022fc: JUMP
000022fd: JUMPDEST
000022fe: PUSH1 0x60
00002300: DUP2
00002301: PUSH2 0x233d
00002304: JUMPI
00002305: POP
00002306: POP
00002307: PUSH1 0x40
00002309: DUP1
0000230a: MLOAD
0000230b: DUP1
0000230c: DUP3
0000230d: ADD
0000230e: SWAP1
0000230f: SWAP2
00002310: MSTORE
00002311: PUSH1 0x01
00002313: DUP2
00002314: MSTORE
00002315: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00002336: PUSH1 0x20
00002338: DUP3
00002339: ADD
0000233a: MSTORE
0000233b: SWAP1
0000233c: JUMP
0000233d: JUMPDEST
0000233e: DUP2
0000233f: PUSH1 0x00
00002341: JUMPDEST
00002342: DUP2
00002343: ISZERO
00002344: PUSH2 0x2367
00002347: JUMPI
00002348: DUP1
00002349: PUSH2 0x2351
0000234c: DUP2
0000234d: PUSH2 0x358b
00002350: JUMP
00002351: JUMPDEST
00002352: SWAP2
00002353: POP
00002354: PUSH2 0x2360
00002357: SWAP1
00002358: POP
00002359: PUSH1 0x0a
0000235b: DUP4
0000235c: PUSH2 0x33ef
0000235f: JUMP
00002360: JUMPDEST
00002361: SWAP2
00002362: POP
00002363: PUSH2 0x2341
00002366: JUMP
00002367: JUMPDEST
00002368: PUSH1 0x00
0000236a: DUP2
0000236b: PUSH8 0xffffffffffffffff
00002374: DUP2
00002375: GT
00002376: ISZERO
00002377: PUSH2 0x2390
0000237a: JUMPI
0000237b: PUSH4 0x4e487b71
00002380: PUSH1 0xe0
00002382: SHL
00002383: PUSH1 0x00
00002385: MSTORE
00002386: PUSH1 0x41
00002388: PUSH1 0x04
0000238a: MSTORE
0000238b: PUSH1 0x24
0000238d: PUSH1 0x00
0000238f: REVERT
00002390: JUMPDEST
00002391: PUSH1 0x40
00002393: MLOAD
00002394: SWAP1
00002395: DUP1
00002396: DUP3
00002397: MSTORE
00002398: DUP1
00002399: PUSH1 0x1f
0000239b: ADD
0000239c: PUSH1 0x1f
0000239e: NOT
0000239f: AND
000023a0: PUSH1 0x20
000023a2: ADD
000023a3: DUP3
000023a4: ADD
000023a5: PUSH1 0x40
000023a7: MSTORE
000023a8: DUP1
000023a9: ISZERO
000023aa: PUSH2 0x23ba
000023ad: JUMPI
000023ae: PUSH1 0x20
000023b0: DUP3
000023b1: ADD
000023b2: DUP2
000023b3: DUP1
000023b4: CALLDATASIZE
000023b5: DUP4
000023b6: CALLDATACOPY
000023b7: ADD
000023b8: SWAP1
000023b9: POP
000023ba: JUMPDEST
000023bb: POP
000023bc: SWAP1
000023bd: POP
000023be: JUMPDEST
000023bf: DUP5
000023c0: ISZERO
000023c1: PUSH2 0x1eb5
000023c4: JUMPI
000023c5: PUSH2 0x23cf
000023c8: PUSH1 0x01
000023ca: DUP4
000023cb: PUSH2 0x350d
000023ce: JUMP
000023cf: JUMPDEST
000023d0: SWAP2
000023d1: POP
000023d2: PUSH2 0x23dc
000023d5: PUSH1 0x0a
000023d7: DUP7
000023d8: PUSH2 0x35a6
000023db: JUMP
000023dc: JUMPDEST
000023dd: PUSH2 0x23e7
000023e0: SWAP1
000023e1: PUSH1 0x30
000023e3: PUSH2 0x33d7
000023e6: JUMP
000023e7: JUMPDEST
000023e8: PUSH1 0xf8
000023ea: SHL
000023eb: DUP2
000023ec: DUP4
000023ed: DUP2
000023ee: MLOAD
000023ef: DUP2
000023f0: LT
000023f1: PUSH2 0x240a
000023f4: JUMPI
000023f5: PUSH4 0x4e487b71
000023fa: PUSH1 0xe0
000023fc: SHL
000023fd: PUSH1 0x00
000023ff: MSTORE
00002400: PUSH1 0x32
00002402: PUSH1 0x04
00002404: MSTORE
00002405: PUSH1 0x24
00002407: PUSH1 0x00
00002409: REVERT
0000240a: JUMPDEST
0000240b: PUSH1 0x20
0000240d: ADD
0000240e: ADD
0000240f: SWAP1
00002410: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002430: NOT
00002431: AND
00002432: SWAP1
00002433: DUP2
00002434: PUSH1 0x00
00002436: BYTE
00002437: SWAP1
00002438: MSTORE8
00002439: POP
0000243a: PUSH2 0x2444
0000243d: PUSH1 0x0a
0000243f: DUP7
00002440: PUSH2 0x33ef
00002443: JUMP
00002444: JUMPDEST
00002445: SWAP5
00002446: POP
00002447: PUSH2 0x23be
0000244a: JUMP
0000244b: JUMPDEST
0000244c: PUSH1 0x0d
0000244e: SLOAD
0000244f: PUSH1 0x40
00002451: MLOAD
00002452: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00002473: DUP2
00002474: MSTORE
00002475: ADDRESS
00002476: PUSH1 0x04
00002478: DUP3
00002479: ADD
0000247a: MSTORE
0000247b: PUSH1 0x00
0000247d: SWAP2
0000247e: SWAP1
0000247f: PUSH1 0x01
00002481: PUSH1 0x01
00002483: PUSH1 0xa0
00002485: SHL
00002486: SUB
00002487: PUSH32 0x000000000000000000000000514910771af9ca656af840dff83e8264ecf986ca
000024a8: AND
000024a9: SWAP1
000024aa: PUSH4 0x70a08231
000024af: SWAP1
000024b0: PUSH1 0x24
000024b2: ADD
000024b3: PUSH1 0x20
000024b5: PUSH1 0x40
000024b7: MLOAD
000024b8: DUP1
000024b9: DUP4
000024ba: SUB
000024bb: DUP2
000024bc: DUP7
000024bd: DUP1
000024be: EXTCODESIZE
000024bf: ISZERO
000024c0: DUP1
000024c1: ISZERO
000024c2: PUSH2 0x24ca
000024c5: JUMPI
000024c6: PUSH1 0x00
000024c8: DUP1
000024c9: REVERT
000024ca: JUMPDEST
000024cb: POP
000024cc: GAS
000024cd: STATICCALL
000024ce: ISZERO
000024cf: DUP1
000024d0: ISZERO
000024d1: PUSH2 0x24de
000024d4: JUMPI
000024d5: RETURNDATASIZE
000024d6: PUSH1 0x00
000024d8: DUP1
000024d9: RETURNDATACOPY
000024da: RETURNDATASIZE
000024db: PUSH1 0x00
000024dd: REVERT
000024de: JUMPDEST
000024df: POP
000024e0: POP
000024e1: POP
000024e2: POP
000024e3: PUSH1 0x40
000024e5: MLOAD
000024e6: RETURNDATASIZE
000024e7: PUSH1 0x1f
000024e9: NOT
000024ea: PUSH1 0x1f
000024ec: DUP3
000024ed: ADD
000024ee: AND
000024ef: DUP3
000024f0: ADD
000024f1: DUP1
000024f2: PUSH1 0x40
000024f4: MSTORE
000024f5: POP
000024f6: DUP2
000024f7: ADD
000024f8: SWAP1
000024f9: PUSH2 0x2502
000024fc: SWAP2
000024fd: SWAP1
000024fe: PUSH2 0x31ee
00002501: JUMP
00002502: JUMPDEST
00002503: LT
00002504: ISZERO
00002505: PUSH2 0x2550
00002508: JUMPI
00002509: PUSH1 0x40
0000250b: MLOAD
0000250c: PUSH3 0x461bcd
00002510: PUSH1 0xe5
00002512: SHL
00002513: DUP2
00002514: MSTORE
00002515: PUSH1 0x20
00002517: PUSH1 0x04
00002519: DUP3
0000251a: ADD
0000251b: MSTORE
0000251c: PUSH1 0x0f
0000251e: PUSH1 0x24
00002520: DUP3
00002521: ADD
00002522: MSTORE
00002523: PUSH32 0x4e6f7420656e6f756768204c494e4b0000000000000000000000000000000000
00002544: PUSH1 0x44
00002546: DUP3
00002547: ADD
00002548: MSTORE
00002549: PUSH1 0x64
0000254b: ADD
0000254c: PUSH2 0x0852
0000254f: JUMP
00002550: JUMPDEST
00002551: PUSH1 0x01
00002553: PUSH1 0x12
00002555: PUSH1 0x00
00002557: DUP3
00002558: DUP3
00002559: SLOAD
0000255a: PUSH2 0x2563
0000255d: SWAP2
0000255e: SWAP1
0000255f: PUSH2 0x33d7
00002562: JUMP
00002563: JUMPDEST
00002564: SWAP3
00002565: POP
00002566: POP
00002567: DUP2
00002568: SWAP1
00002569: SSTORE
0000256a: POP
0000256b: PUSH2 0x1112
0000256e: PUSH1 0x0c
00002570: SLOAD
00002571: PUSH1 0x0d
00002573: SLOAD
00002574: PUSH2 0x27f5
00002577: JUMP
00002578: JUMPDEST
00002579: PUSH1 0x00
0000257b: PUSH1 0x01
0000257d: PUSH1 0x01
0000257f: PUSH1 0xe0
00002581: SHL
00002582: SUB
00002583: NOT
00002584: DUP3
00002585: AND
00002586: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
000025a7: EQ
000025a8: DUP1
000025a9: PUSH2 0x25db
000025ac: JUMPI
000025ad: POP
000025ae: PUSH1 0x01
000025b0: PUSH1 0x01
000025b2: PUSH1 0xe0
000025b4: SHL
000025b5: SUB
000025b6: NOT
000025b7: DUP3
000025b8: AND
000025b9: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
000025da: EQ
000025db: JUMPDEST
000025dc: DUP1
000025dd: PUSH2 0x07f6
000025e0: JUMPI
000025e1: POP
000025e2: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00002603: PUSH1 0x01
00002605: PUSH1 0x01
00002607: PUSH1 0xe0
00002609: SHL
0000260a: SUB
0000260b: NOT
0000260c: DUP4
0000260d: AND
0000260e: EQ
0000260f: PUSH2 0x07f6
00002612: JUMP
00002613: JUMPDEST
00002614: PUSH1 0x0a
00002616: SLOAD
00002617: PUSH1 0x01
00002619: PUSH1 0x01
0000261b: PUSH1 0xa0
0000261d: SHL
0000261e: SUB
0000261f: AND
00002620: CALLER
00002621: EQ
00002622: PUSH2 0x2678
00002625: JUMPI
00002626: PUSH1 0x12
00002628: SLOAD
00002629: PUSH1 0x11
0000262b: SLOAD
0000262c: EQ
0000262d: PUSH2 0x2678
00002630: JUMPI
00002631: PUSH1 0x40
00002633: MLOAD
00002634: PUSH3 0x461bcd
00002638: PUSH1 0xe5
0000263a: SHL
0000263b: DUP2
0000263c: MSTORE
0000263d: PUSH1 0x20
0000263f: PUSH1 0x04
00002641: DUP3
00002642: ADD
00002643: MSTORE
00002644: PUSH1 0x08
00002646: PUSH1 0x24
00002648: DUP3
00002649: ADD
0000264a: MSTORE
0000264b: PUSH32 0x64697361626c6564000000000000000000000000000000000000000000000000
0000266c: PUSH1 0x44
0000266e: DUP3
0000266f: ADD
00002670: MSTORE
00002671: PUSH1 0x64
00002673: ADD
00002674: PUSH2 0x0852
00002677: JUMP
00002678: JUMPDEST
00002679: PUSH2 0x0af1
0000267c: DUP4
0000267d: DUP4
0000267e: DUP4
0000267f: PUSH2 0x2980
00002682: JUMP
00002683: JUMPDEST
00002684: PUSH2 0x1084
00002687: DUP3
00002688: DUP3
00002689: PUSH1 0x40
0000268b: MLOAD
0000268c: DUP1
0000268d: PUSH1 0x20
0000268f: ADD
00002690: PUSH1 0x40
00002692: MSTORE
00002693: DUP1
00002694: PUSH1 0x00
00002696: DUP2
00002697: MSTORE
00002698: POP
00002699: PUSH2 0x2a1d
0000269c: JUMP
0000269d: JUMPDEST
0000269e: PUSH1 0x00
000026a0: PUSH1 0x01
000026a2: PUSH1 0x01
000026a4: PUSH1 0xa0
000026a6: SHL
000026a7: SUB
000026a8: DUP5
000026a9: AND
000026aa: EXTCODESIZE
000026ab: ISZERO
000026ac: PUSH2 0x27ea
000026af: JUMPI
000026b0: PUSH1 0x40
000026b2: MLOAD
000026b3: PUSH4 0x0a85bd01
000026b8: PUSH1 0xe1
000026ba: SHL
000026bb: DUP2
000026bc: MSTORE
000026bd: PUSH1 0x01
000026bf: PUSH1 0x01
000026c1: PUSH1 0xa0
000026c3: SHL
000026c4: SUB
000026c5: DUP6
000026c6: AND
000026c7: SWAP1
000026c8: PUSH4 0x150b7a02
000026cd: SWAP1
000026ce: PUSH2 0x26e1
000026d1: SWAP1
000026d2: CALLER
000026d3: SWAP1
000026d4: DUP10
000026d5: SWAP1
000026d6: DUP9
000026d7: SWAP1
000026d8: DUP9
000026d9: SWAP1
000026da: PUSH1 0x04
000026dc: ADD
000026dd: PUSH2 0x32f4
000026e0: JUMP
000026e1: JUMPDEST
000026e2: PUSH1 0x20
000026e4: PUSH1 0x40
000026e6: MLOAD
000026e7: DUP1
000026e8: DUP4
000026e9: SUB
000026ea: DUP2
000026eb: PUSH1 0x00
000026ed: DUP8
000026ee: DUP1
000026ef: EXTCODESIZE
000026f0: ISZERO
000026f1: DUP1
000026f2: ISZERO
000026f3: PUSH2 0x26fb
000026f6: JUMPI
000026f7: PUSH1 0x00
000026f9: DUP1
000026fa: REVERT
000026fb: JUMPDEST
000026fc: POP
000026fd: GAS
000026fe: CALL
000026ff: SWAP3
00002700: POP
00002701: POP
00002702: POP
00002703: DUP1
00002704: ISZERO
00002705: PUSH2 0x272b
00002708: JUMPI
00002709: POP
0000270a: PUSH1 0x40
0000270c: DUP1
0000270d: MLOAD
0000270e: PUSH1 0x1f
00002710: RETURNDATASIZE
00002711: SWAP1
00002712: DUP2
00002713: ADD
00002714: PUSH1 0x1f
00002716: NOT
00002717: AND
00002718: DUP3
00002719: ADD
0000271a: SWAP1
0000271b: SWAP3
0000271c: MSTORE
0000271d: PUSH2 0x2728
00002720: SWAP2
00002721: DUP2
00002722: ADD
00002723: SWAP1
00002724: PUSH2 0x3174
00002727: JUMP
00002728: JUMPDEST
00002729: PUSH1 0x01
0000272b: JUMPDEST
0000272c: PUSH2 0x27d0
0000272f: JUMPI
00002730: RETURNDATASIZE
00002731: DUP1
00002732: DUP1
00002733: ISZERO
00002734: PUSH2 0x2759
00002737: JUMPI
00002738: PUSH1 0x40
0000273a: MLOAD
0000273b: SWAP2
0000273c: POP
0000273d: PUSH1 0x1f
0000273f: NOT
00002740: PUSH1 0x3f
00002742: RETURNDATASIZE
00002743: ADD
00002744: AND
00002745: DUP3
00002746: ADD
00002747: PUSH1 0x40
00002749: MSTORE
0000274a: RETURNDATASIZE
0000274b: DUP3
0000274c: MSTORE
0000274d: RETURNDATASIZE
0000274e: PUSH1 0x00
00002750: PUSH1 0x20
00002752: DUP5
00002753: ADD
00002754: RETURNDATACOPY
00002755: PUSH2 0x275e
00002758: JUMP
00002759: JUMPDEST
0000275a: PUSH1 0x60
0000275c: SWAP2
0000275d: POP
0000275e: JUMPDEST
0000275f: POP
00002760: DUP1
00002761: MLOAD
00002762: PUSH2 0x27c8
00002765: JUMPI
00002766: PUSH1 0x40
00002768: MLOAD
00002769: PUSH3 0x461bcd
0000276d: PUSH1 0xe5
0000276f: SHL
00002770: DUP2
00002771: MSTORE
00002772: PUSH1 0x20
00002774: PUSH1 0x04
00002776: DUP3
00002777: ADD
00002778: MSTORE
00002779: PUSH1 0x32
0000277b: PUSH1 0x24
0000277d: DUP3
0000277e: ADD
0000277f: MSTORE
00002780: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
000027a1: PUSH1 0x44
000027a3: DUP3
000027a4: ADD
000027a5: MSTORE
000027a6: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9
000027b9: PUSH1 0x71
000027bb: SHL
000027bc: PUSH1 0x64
000027be: DUP3
000027bf: ADD
000027c0: MSTORE
000027c1: PUSH1 0x84
000027c3: ADD
000027c4: PUSH2 0x0852
000027c7: JUMP
000027c8: JUMPDEST
000027c9: DUP1
000027ca: MLOAD
000027cb: DUP2
000027cc: PUSH1 0x20
000027ce: ADD
000027cf: REVERT
000027d0: JUMPDEST
000027d1: PUSH1 0x01
000027d3: PUSH1 0x01
000027d5: PUSH1 0xe0
000027d7: SHL
000027d8: SUB
000027d9: NOT
000027da: AND
000027db: PUSH4 0x0a85bd01
000027e0: PUSH1 0xe1
000027e2: SHL
000027e3: EQ
000027e4: SWAP1
000027e5: POP
000027e6: PUSH2 0x1eb5
000027e9: JUMP
000027ea: JUMPDEST
000027eb: POP
000027ec: PUSH1 0x01
000027ee: SWAP5
000027ef: SWAP4
000027f0: POP
000027f1: POP
000027f2: POP
000027f3: POP
000027f4: JUMP
000027f5: JUMPDEST
000027f6: PUSH1 0x00
000027f8: PUSH32 0x000000000000000000000000514910771af9ca656af840dff83e8264ecf986ca
00002819: PUSH1 0x01
0000281b: PUSH1 0x01
0000281d: PUSH1 0xa0
0000281f: SHL
00002820: SUB
00002821: AND
00002822: PUSH4 0x4000aea0
00002827: PUSH32 0x000000000000000000000000f0d54349addcf704f77ae15b96510dea15cb7952
00002848: DUP5
00002849: DUP7
0000284a: PUSH1 0x00
0000284c: PUSH1 0x40
0000284e: MLOAD
0000284f: PUSH1 0x20
00002851: ADD
00002852: PUSH2 0x2865
00002855: SWAP3
00002856: SWAP2
00002857: SWAP1
00002858: SWAP2
00002859: DUP3
0000285a: MSTORE
0000285b: PUSH1 0x20
0000285d: DUP3
0000285e: ADD
0000285f: MSTORE
00002860: PUSH1 0x40
00002862: ADD
00002863: SWAP1
00002864: JUMP
00002865: JUMPDEST
00002866: PUSH1 0x40
00002868: MLOAD
00002869: PUSH1 0x20
0000286b: DUP2
0000286c: DUP4
0000286d: SUB
0000286e: SUB
0000286f: DUP2
00002870: MSTORE
00002871: SWAP1
00002872: PUSH1 0x40
00002874: MSTORE
00002875: PUSH1 0x40
00002877: MLOAD
00002878: DUP5
00002879: PUSH4 0xffffffff
0000287e: AND
0000287f: PUSH1 0xe0
00002881: SHL
00002882: DUP2
00002883: MSTORE
00002884: PUSH1 0x04
00002886: ADD
00002887: PUSH2 0x2892
0000288a: SWAP4
0000288b: SWAP3
0000288c: SWAP2
0000288d: SWAP1
0000288e: PUSH2 0x3330
00002891: JUMP
00002892: JUMPDEST
00002893: PUSH1 0x20
00002895: PUSH1 0x40
00002897: MLOAD
00002898: DUP1
00002899: DUP4
0000289a: SUB
0000289b: DUP2
0000289c: PUSH1 0x00
0000289e: DUP8
0000289f: DUP1
000028a0: EXTCODESIZE
000028a1: ISZERO
000028a2: DUP1
000028a3: ISZERO
000028a4: PUSH2 0x28ac
000028a7: JUMPI
000028a8: PUSH1 0x00
000028aa: DUP1
000028ab: REVERT
000028ac: JUMPDEST
000028ad: POP
000028ae: GAS
000028af: CALL
000028b0: ISZERO
000028b1: DUP1
000028b2: ISZERO
000028b3: PUSH2 0x28c0
000028b6: JUMPI
000028b7: RETURNDATASIZE
000028b8: PUSH1 0x00
000028ba: DUP1
000028bb: RETURNDATACOPY
000028bc: RETURNDATASIZE
000028bd: PUSH1 0x00
000028bf: REVERT
000028c0: JUMPDEST
000028c1: POP
000028c2: POP
000028c3: POP
000028c4: POP
000028c5: PUSH1 0x40
000028c7: MLOAD
000028c8: RETURNDATASIZE
000028c9: PUSH1 0x1f
000028cb: NOT
000028cc: PUSH1 0x1f
000028ce: DUP3
000028cf: ADD
000028d0: AND
000028d1: DUP3
000028d2: ADD
000028d3: DUP1
000028d4: PUSH1 0x40
000028d6: MSTORE
000028d7: POP
000028d8: DUP2
000028d9: ADD
000028da: SWAP1
000028db: PUSH2 0x28e4
000028de: SWAP2
000028df: SWAP1
000028e0: PUSH2 0x311b
000028e3: JUMP
000028e4: JUMPDEST
000028e5: POP
000028e6: PUSH1 0x00
000028e8: DUP4
000028e9: DUP2
000028ea: MSTORE
000028eb: PUSH1 0x0b
000028ed: PUSH1 0x20
000028ef: DUP2
000028f0: DUP2
000028f1: MSTORE
000028f2: PUSH1 0x40
000028f4: DUP1
000028f5: DUP5
000028f6: KECCAK256
000028f7: SLOAD
000028f8: DUP2
000028f9: MLOAD
000028fa: DUP1
000028fb: DUP5
000028fc: ADD
000028fd: DUP10
000028fe: SWAP1
000028ff: MSTORE
00002900: DUP1
00002901: DUP4
00002902: ADD
00002903: DUP7
00002904: SWAP1
00002905: MSTORE
00002906: ADDRESS
00002907: PUSH1 0x60
00002909: DUP3
0000290a: ADD
0000290b: MSTORE
0000290c: PUSH1 0x80
0000290e: DUP1
0000290f: DUP3
00002910: ADD
00002911: DUP4
00002912: SWAP1
00002913: MSTORE
00002914: DUP4
00002915: MLOAD
00002916: DUP1
00002917: DUP4
00002918: SUB
00002919: SWAP1
0000291a: SWAP2
0000291b: ADD
0000291c: DUP2
0000291d: MSTORE
0000291e: PUSH1 0xa0
00002920: SWAP1
00002921: SWAP2
00002922: ADD
00002923: SWAP1
00002924: SWAP3
00002925: MSTORE
00002926: DUP2
00002927: MLOAD
00002928: SWAP2
00002929: DUP4
0000292a: ADD
0000292b: SWAP2
0000292c: SWAP1
0000292d: SWAP2
0000292e: KECCAK256
0000292f: SWAP4
00002930: DUP8
00002931: SWAP1
00002932: MSTORE
00002933: SWAP2
00002934: SWAP1
00002935: MSTORE
00002936: PUSH2 0x2940
00002939: SWAP1
0000293a: PUSH1 0x01
0000293c: PUSH2 0x33d7
0000293f: JUMP
00002940: JUMPDEST
00002941: PUSH1 0x00
00002943: DUP6
00002944: DUP2
00002945: MSTORE
00002946: PUSH1 0x0b
00002948: PUSH1 0x20
0000294a: MSTORE
0000294b: PUSH1 0x40
0000294d: SWAP1
0000294e: KECCAK256
0000294f: SSTORE
00002950: PUSH2 0x1eb5
00002953: DUP5
00002954: DUP3
00002955: PUSH1 0x40
00002957: DUP1
00002958: MLOAD
00002959: PUSH1 0x20
0000295b: DUP1
0000295c: DUP3
0000295d: ADD
0000295e: SWAP5
0000295f: SWAP1
00002960: SWAP5
00002961: MSTORE
00002962: DUP1
00002963: DUP3
00002964: ADD
00002965: SWAP3
00002966: SWAP1
00002967: SWAP3
00002968: MSTORE
00002969: DUP1
0000296a: MLOAD
0000296b: DUP1
0000296c: DUP4
0000296d: SUB
0000296e: DUP3
0000296f: ADD
00002970: DUP2
00002971: MSTORE
00002972: PUSH1 0x60
00002974: SWAP1
00002975: SWAP3
00002976: ADD
00002977: SWAP1
00002978: MSTORE
00002979: DUP1
0000297a: MLOAD
0000297b: SWAP2
0000297c: ADD
0000297d: KECCAK256
0000297e: SWAP1
0000297f: JUMP
00002980: JUMPDEST
00002981: PUSH2 0x298b
00002984: DUP4
00002985: DUP4
00002986: DUP4
00002987: PUSH2 0x2a9b
0000298a: JUMP
0000298b: JUMPDEST
0000298c: PUSH1 0x0a
0000298e: SLOAD
0000298f: PUSH1 0x01
00002991: PUSH1 0x01
00002993: PUSH1 0xa0
00002995: SHL
00002996: SUB
00002997: AND
00002998: CALLER
00002999: EQ
0000299a: PUSH2 0x0af1
0000299d: JUMPI
0000299e: PUSH1 0x0a
000029a0: SLOAD
000029a1: PUSH1 0x01
000029a3: PUSH1 0xa0
000029a5: SHL
000029a6: SWAP1
000029a7: DIV
000029a8: PUSH1 0xff
000029aa: AND
000029ab: ISZERO
000029ac: PUSH2 0x0af1
000029af: JUMPI
000029b0: PUSH1 0x40
000029b2: MLOAD
000029b3: PUSH3 0x461bcd
000029b7: PUSH1 0xe5
000029b9: SHL
000029ba: DUP2
000029bb: MSTORE
000029bc: PUSH1 0x20
000029be: PUSH1 0x04
000029c0: DUP3
000029c1: ADD
000029c2: MSTORE
000029c3: PUSH1 0x2b
000029c5: PUSH1 0x24
000029c7: DUP3
000029c8: ADD
000029c9: MSTORE
000029ca: PUSH32 0x4552433732315061757361626c653a20746f6b656e207472616e736665722077
000029eb: PUSH1 0x44
000029ed: DUP3
000029ee: ADD
000029ef: MSTORE
000029f0: PUSH32 0x68696c6520706175736564000000000000000000000000000000000000000000
00002a11: PUSH1 0x64
00002a13: DUP3
00002a14: ADD
00002a15: MSTORE
00002a16: PUSH1 0x84
00002a18: ADD
00002a19: PUSH2 0x0852
00002a1c: JUMP
00002a1d: JUMPDEST
00002a1e: PUSH2 0x2a27
00002a21: DUP4
00002a22: DUP4
00002a23: PUSH2 0x2b53
00002a26: JUMP
00002a27: JUMPDEST
00002a28: PUSH2 0x2a34
00002a2b: PUSH1 0x00
00002a2d: DUP5
00002a2e: DUP5
00002a2f: DUP5
00002a30: PUSH2 0x269d
00002a33: JUMP
00002a34: JUMPDEST
00002a35: PUSH2 0x0af1
00002a38: JUMPI
00002a39: PUSH1 0x40
00002a3b: MLOAD
00002a3c: PUSH3 0x461bcd
00002a40: PUSH1 0xe5
00002a42: SHL
00002a43: DUP2
00002a44: MSTORE
00002a45: PUSH1 0x20
00002a47: PUSH1 0x04
00002a49: DUP3
00002a4a: ADD
00002a4b: MSTORE
00002a4c: PUSH1 0x32
00002a4e: PUSH1 0x24
00002a50: DUP3
00002a51: ADD
00002a52: MSTORE
00002a53: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00002a74: PUSH1 0x44
00002a76: DUP3
00002a77: ADD
00002a78: MSTORE
00002a79: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9
00002a8c: PUSH1 0x71
00002a8e: SHL
00002a8f: PUSH1 0x64
00002a91: DUP3
00002a92: ADD
00002a93: MSTORE
00002a94: PUSH1 0x84
00002a96: ADD
00002a97: PUSH2 0x0852
00002a9a: JUMP
00002a9b: JUMPDEST
00002a9c: PUSH1 0x01
00002a9e: PUSH1 0x01
00002aa0: PUSH1 0xa0
00002aa2: SHL
00002aa3: SUB
00002aa4: DUP4
00002aa5: AND
00002aa6: PUSH2 0x2af6
00002aa9: JUMPI
00002aaa: PUSH2 0x2af1
00002aad: DUP2
00002aae: PUSH1 0x08
00002ab0: DUP1
00002ab1: SLOAD
00002ab2: PUSH1 0x00
00002ab4: DUP4
00002ab5: DUP2
00002ab6: MSTORE
00002ab7: PUSH1 0x09
00002ab9: PUSH1 0x20
00002abb: MSTORE
00002abc: PUSH1 0x40
00002abe: DUP2
00002abf: KECCAK256
00002ac0: DUP3
00002ac1: SWAP1
00002ac2: SSTORE
00002ac3: PUSH1 0x01
00002ac5: DUP3
00002ac6: ADD
00002ac7: DUP4
00002ac8: SSTORE
00002ac9: SWAP2
00002aca: SWAP1
00002acb: SWAP2
00002acc: MSTORE
00002acd: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3
00002aee: ADD
00002aef: SSTORE
00002af0: JUMP
00002af1: JUMPDEST
00002af2: PUSH2 0x2b19
00002af5: JUMP
00002af6: JUMPDEST
00002af7: DUP2
00002af8: PUSH1 0x01
00002afa: PUSH1 0x01
00002afc: PUSH1 0xa0
00002afe: SHL
00002aff: SUB
00002b00: AND
00002b01: DUP4
00002b02: PUSH1 0x01
00002b04: PUSH1 0x01
00002b06: PUSH1 0xa0
00002b08: SHL
00002b09: SUB
00002b0a: AND
00002b0b: EQ
00002b0c: PUSH2 0x2b19
00002b0f: JUMPI
00002b10: PUSH2 0x2b19
00002b13: DUP4
00002b14: DUP3
00002b15: PUSH2 0x2ca1
00002b18: JUMP
00002b19: JUMPDEST
00002b1a: PUSH1 0x01
00002b1c: PUSH1 0x01
00002b1e: PUSH1 0xa0
00002b20: SHL
00002b21: SUB
00002b22: DUP3
00002b23: AND
00002b24: PUSH2 0x2b30
00002b27: JUMPI
00002b28: PUSH2 0x0af1
00002b2b: DUP2
00002b2c: PUSH2 0x2d3e
00002b2f: JUMP
00002b30: JUMPDEST
00002b31: DUP3
00002b32: PUSH1 0x01
00002b34: PUSH1 0x01
00002b36: PUSH1 0xa0
00002b38: SHL
00002b39: SUB
00002b3a: AND
00002b3b: DUP3
00002b3c: PUSH1 0x01
00002b3e: PUSH1 0x01
00002b40: PUSH1 0xa0
00002b42: SHL
00002b43: SUB
00002b44: AND
00002b45: EQ
00002b46: PUSH2 0x0af1
00002b49: JUMPI
00002b4a: PUSH2 0x0af1
00002b4d: DUP3
00002b4e: DUP3
00002b4f: PUSH2 0x2e17
00002b52: JUMP
00002b53: JUMPDEST
00002b54: PUSH1 0x01
00002b56: PUSH1 0x01
00002b58: PUSH1 0xa0
00002b5a: SHL
00002b5b: SUB
00002b5c: DUP3
00002b5d: AND
00002b5e: PUSH2 0x2ba9
00002b61: JUMPI
00002b62: PUSH1 0x40
00002b64: MLOAD
00002b65: PUSH3 0x461bcd
00002b69: PUSH1 0xe5
00002b6b: SHL
00002b6c: DUP2
00002b6d: MSTORE
00002b6e: PUSH1 0x20
00002b70: PUSH1 0x04
00002b72: DUP3
00002b73: ADD
00002b74: DUP2
00002b75: SWAP1
00002b76: MSTORE
00002b77: PUSH1 0x24
00002b79: DUP3
00002b7a: ADD
00002b7b: MSTORE
00002b7c: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
00002b9d: PUSH1 0x44
00002b9f: DUP3
00002ba0: ADD
00002ba1: MSTORE
00002ba2: PUSH1 0x64
00002ba4: ADD
00002ba5: PUSH2 0x0852
00002ba8: JUMP
00002ba9: JUMPDEST
00002baa: PUSH1 0x00
00002bac: DUP2
00002bad: DUP2
00002bae: MSTORE
00002baf: PUSH1 0x02
00002bb1: PUSH1 0x20
00002bb3: MSTORE
00002bb4: PUSH1 0x40
00002bb6: SWAP1
00002bb7: KECCAK256
00002bb8: SLOAD
00002bb9: PUSH1 0x01
00002bbb: PUSH1 0x01
00002bbd: PUSH1 0xa0
00002bbf: SHL
00002bc0: SUB
00002bc1: AND
00002bc2: ISZERO
00002bc3: PUSH2 0x2c0e
00002bc6: JUMPI
00002bc7: PUSH1 0x40
00002bc9: MLOAD
00002bca: PUSH3 0x461bcd
00002bce: PUSH1 0xe5
00002bd0: SHL
00002bd1: DUP2
00002bd2: MSTORE
00002bd3: PUSH1 0x20
00002bd5: PUSH1 0x04
00002bd7: DUP3
00002bd8: ADD
00002bd9: MSTORE
00002bda: PUSH1 0x1c
00002bdc: PUSH1 0x24
00002bde: DUP3
00002bdf: ADD
00002be0: MSTORE
00002be1: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
00002c02: PUSH1 0x44
00002c04: DUP3
00002c05: ADD
00002c06: MSTORE
00002c07: PUSH1 0x64
00002c09: ADD
00002c0a: PUSH2 0x0852
00002c0d: JUMP
00002c0e: JUMPDEST
00002c0f: PUSH2 0x2c1a
00002c12: PUSH1 0x00
00002c14: DUP4
00002c15: DUP4
00002c16: PUSH2 0x2613
00002c19: JUMP
00002c1a: JUMPDEST
00002c1b: PUSH1 0x01
00002c1d: PUSH1 0x01
00002c1f: PUSH1 0xa0
00002c21: SHL
00002c22: SUB
00002c23: DUP3
00002c24: AND
00002c25: PUSH1 0x00
00002c27: SWAP1
00002c28: DUP2
00002c29: MSTORE
00002c2a: PUSH1 0x03
00002c2c: PUSH1 0x20
00002c2e: MSTORE
00002c2f: PUSH1 0x40
00002c31: DUP2
00002c32: KECCAK256
00002c33: DUP1
00002c34: SLOAD
00002c35: PUSH1 0x01
00002c37: SWAP3
00002c38: SWAP1
00002c39: PUSH2 0x2c43
00002c3c: SWAP1
00002c3d: DUP5
00002c3e: SWAP1
00002c3f: PUSH2 0x33d7
00002c42: JUMP
00002c43: JUMPDEST
00002c44: SWAP1
00002c45: SWAP2
00002c46: SSTORE
00002c47: POP
00002c48: POP
00002c49: PUSH1 0x00
00002c4b: DUP2
00002c4c: DUP2
00002c4d: MSTORE
00002c4e: PUSH1 0x02
00002c50: PUSH1 0x20
00002c52: MSTORE
00002c53: PUSH1 0x40
00002c55: DUP1
00002c56: DUP3
00002c57: KECCAK256
00002c58: DUP1
00002c59: SLOAD
00002c5a: PUSH1 0x01
00002c5c: PUSH1 0x01
00002c5e: PUSH1 0xa0
00002c60: SHL
00002c61: SUB
00002c62: NOT
00002c63: AND
00002c64: PUSH1 0x01
00002c66: PUSH1 0x01
00002c68: PUSH1 0xa0
00002c6a: SHL
00002c6b: SUB
00002c6c: DUP7
00002c6d: AND
00002c6e: SWAP1
00002c6f: DUP2
00002c70: OR
00002c71: SWAP1
00002c72: SWAP2
00002c73: SSTORE
00002c74: SWAP1
00002c75: MLOAD
00002c76: DUP4
00002c77: SWAP3
00002c78: SWAP1
00002c79: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002c9a: SWAP1
00002c9b: DUP3
00002c9c: SWAP1
00002c9d: LOG4
00002c9e: POP
00002c9f: POP
00002ca0: JUMP
00002ca1: JUMPDEST
00002ca2: PUSH1 0x00
00002ca4: PUSH1 0x01
00002ca6: PUSH2 0x2cae
00002ca9: DUP5
00002caa: PUSH2 0x11a2
00002cad: JUMP
00002cae: JUMPDEST
00002caf: PUSH2 0x2cb8
00002cb2: SWAP2
00002cb3: SWAP1
00002cb4: PUSH2 0x350d
00002cb7: JUMP
00002cb8: JUMPDEST
00002cb9: PUSH1 0x00
00002cbb: DUP4
00002cbc: DUP2
00002cbd: MSTORE
00002cbe: PUSH1 0x07
00002cc0: PUSH1 0x20
00002cc2: MSTORE
00002cc3: PUSH1 0x40
00002cc5: SWAP1
00002cc6: KECCAK256
00002cc7: SLOAD
00002cc8: SWAP1
00002cc9: SWAP2
00002cca: POP
00002ccb: DUP1
00002ccc: DUP3
00002ccd: EQ
00002cce: PUSH2 0x2d0b
00002cd1: JUMPI
00002cd2: PUSH1 0x01
00002cd4: PUSH1 0x01
00002cd6: PUSH1 0xa0
00002cd8: SHL
00002cd9: SUB
00002cda: DUP5
00002cdb: AND
00002cdc: PUSH1 0x00
00002cde: SWAP1
00002cdf: DUP2
00002ce0: MSTORE
00002ce1: PUSH1 0x06
00002ce3: PUSH1 0x20
00002ce5: SWAP1
00002ce6: DUP2
00002ce7: MSTORE
00002ce8: PUSH1 0x40
00002cea: DUP1
00002ceb: DUP4
00002cec: KECCAK256
00002ced: DUP6
00002cee: DUP5
00002cef: MSTORE
00002cf0: DUP3
00002cf1: MSTORE
00002cf2: DUP1
00002cf3: DUP4
00002cf4: KECCAK256
00002cf5: SLOAD
00002cf6: DUP5
00002cf7: DUP5
00002cf8: MSTORE
00002cf9: DUP2
00002cfa: DUP5
00002cfb: KECCAK256
00002cfc: DUP2
00002cfd: SWAP1
00002cfe: SSTORE
00002cff: DUP4
00002d00: MSTORE
00002d01: PUSH1 0x07
00002d03: SWAP1
00002d04: SWAP2
00002d05: MSTORE
00002d06: SWAP1
00002d07: KECCAK256
00002d08: DUP2
00002d09: SWAP1
00002d0a: SSTORE
00002d0b: JUMPDEST
00002d0c: POP
00002d0d: PUSH1 0x00
00002d0f: SWAP2
00002d10: DUP3
00002d11: MSTORE
00002d12: PUSH1 0x07
00002d14: PUSH1 0x20
00002d16: SWAP1
00002d17: DUP2
00002d18: MSTORE
00002d19: PUSH1 0x40
00002d1b: DUP1
00002d1c: DUP5
00002d1d: KECCAK256
00002d1e: DUP5
00002d1f: SWAP1
00002d20: SSTORE
00002d21: PUSH1 0x01
00002d23: PUSH1 0x01
00002d25: PUSH1 0xa0
00002d27: SHL
00002d28: SUB
00002d29: SWAP1
00002d2a: SWAP5
00002d2b: AND
00002d2c: DUP4
00002d2d: MSTORE
00002d2e: PUSH1 0x06
00002d30: DUP2
00002d31: MSTORE
00002d32: DUP4
00002d33: DUP4
00002d34: KECCAK256
00002d35: SWAP2
00002d36: DUP4
00002d37: MSTORE
00002d38: MSTORE
00002d39: SWAP1
00002d3a: DUP2
00002d3b: KECCAK256
00002d3c: SSTORE
00002d3d: JUMP
00002d3e: JUMPDEST
00002d3f: PUSH1 0x08
00002d41: SLOAD
00002d42: PUSH1 0x00
00002d44: SWAP1
00002d45: PUSH2 0x2d50
00002d48: SWAP1
00002d49: PUSH1 0x01
00002d4b: SWAP1
00002d4c: PUSH2 0x350d
00002d4f: JUMP
00002d50: JUMPDEST
00002d51: PUSH1 0x00
00002d53: DUP4
00002d54: DUP2
00002d55: MSTORE
00002d56: PUSH1 0x09
00002d58: PUSH1 0x20
00002d5a: MSTORE
00002d5b: PUSH1 0x40
00002d5d: DUP2
00002d5e: KECCAK256
00002d5f: SLOAD
00002d60: PUSH1 0x08
00002d62: DUP1
00002d63: SLOAD
00002d64: SWAP4
00002d65: SWAP5
00002d66: POP
00002d67: SWAP1
00002d68: SWAP3
00002d69: DUP5
00002d6a: SWAP1
00002d6b: DUP2
00002d6c: LT
00002d6d: PUSH2 0x2d86
00002d70: JUMPI
00002d71: PUSH4 0x4e487b71
00002d76: PUSH1 0xe0
00002d78: SHL
00002d79: PUSH1 0x00
00002d7b: MSTORE
00002d7c: PUSH1 0x32
00002d7e: PUSH1 0x04
00002d80: MSTORE
00002d81: PUSH1 0x24
00002d83: PUSH1 0x00
00002d85: REVERT
00002d86: JUMPDEST
00002d87: SWAP1
00002d88: PUSH1 0x00
00002d8a: MSTORE
00002d8b: PUSH1 0x20
00002d8d: PUSH1 0x00
00002d8f: KECCAK256
00002d90: ADD
00002d91: SLOAD
00002d92: SWAP1
00002d93: POP
00002d94: DUP1
00002d95: PUSH1 0x08
00002d97: DUP4
00002d98: DUP2
00002d99: SLOAD
00002d9a: DUP2
00002d9b: LT
00002d9c: PUSH2 0x2db5
00002d9f: JUMPI
00002da0: PUSH4 0x4e487b71
00002da5: PUSH1 0xe0
00002da7: SHL
00002da8: PUSH1 0x00
00002daa: MSTORE
00002dab: PUSH1 0x32
00002dad: PUSH1 0x04
00002daf: MSTORE
00002db0: PUSH1 0x24
00002db2: PUSH1 0x00
00002db4: REVERT
00002db5: JUMPDEST
00002db6: PUSH1 0x00
00002db8: SWAP2
00002db9: DUP3
00002dba: MSTORE
00002dbb: PUSH1 0x20
00002dbd: DUP1
00002dbe: DUP4
00002dbf: KECCAK256
00002dc0: SWAP1
00002dc1: SWAP2
00002dc2: ADD
00002dc3: SWAP3
00002dc4: SWAP1
00002dc5: SWAP3
00002dc6: SSTORE
00002dc7: DUP3
00002dc8: DUP2
00002dc9: MSTORE
00002dca: PUSH1 0x09
00002dcc: SWAP1
00002dcd: SWAP2
00002dce: MSTORE
00002dcf: PUSH1 0x40
00002dd1: DUP1
00002dd2: DUP3
00002dd3: KECCAK256
00002dd4: DUP5
00002dd5: SWAP1
00002dd6: SSTORE
00002dd7: DUP6
00002dd8: DUP3
00002dd9: MSTORE
00002dda: DUP2
00002ddb: KECCAK256
00002ddc: SSTORE
00002ddd: PUSH1 0x08
00002ddf: DUP1
00002de0: SLOAD
00002de1: DUP1
00002de2: PUSH2 0x2dfb
00002de5: JUMPI
00002de6: PUSH4 0x4e487b71
00002deb: PUSH1 0xe0
00002ded: SHL
00002dee: PUSH1 0x00
00002df0: MSTORE
00002df1: PUSH1 0x31
00002df3: PUSH1 0x04
00002df5: MSTORE
00002df6: PUSH1 0x24
00002df8: PUSH1 0x00
00002dfa: REVERT
00002dfb: JUMPDEST
00002dfc: PUSH1 0x01
00002dfe: SWAP1
00002dff: SUB
00002e00: DUP2
00002e01: DUP2
00002e02: SWAP1
00002e03: PUSH1 0x00
00002e05: MSTORE
00002e06: PUSH1 0x20
00002e08: PUSH1 0x00
00002e0a: KECCAK256
00002e0b: ADD
00002e0c: PUSH1 0x00
00002e0e: SWAP1
00002e0f: SSTORE
00002e10: SWAP1
00002e11: SSTORE
00002e12: POP
00002e13: POP
00002e14: POP
00002e15: POP
00002e16: JUMP
00002e17: JUMPDEST
00002e18: PUSH1 0x00
00002e1a: PUSH2 0x2e22
00002e1d: DUP4
00002e1e: PUSH2 0x11a2
00002e21: JUMP
00002e22: JUMPDEST
00002e23: PUSH1 0x01
00002e25: PUSH1 0x01
00002e27: PUSH1 0xa0
00002e29: SHL
00002e2a: SUB
00002e2b: SWAP1
00002e2c: SWAP4
00002e2d: AND
00002e2e: PUSH1 0x00
00002e30: SWAP1
00002e31: DUP2
00002e32: MSTORE
00002e33: PUSH1 0x06
00002e35: PUSH1 0x20
00002e37: SWAP1
00002e38: DUP2
00002e39: MSTORE
00002e3a: PUSH1 0x40
00002e3c: DUP1
00002e3d: DUP4
00002e3e: KECCAK256
00002e3f: DUP7
00002e40: DUP5
00002e41: MSTORE
00002e42: DUP3
00002e43: MSTORE
00002e44: DUP1
00002e45: DUP4
00002e46: KECCAK256
00002e47: DUP6
00002e48: SWAP1
00002e49: SSTORE
00002e4a: SWAP4
00002e4b: DUP3
00002e4c: MSTORE
00002e4d: PUSH1 0x07
00002e4f: SWAP1
00002e50: MSTORE
00002e51: SWAP2
00002e52: SWAP1
00002e53: SWAP2
00002e54: KECCAK256
00002e55: SWAP2
00002e56: SWAP1
00002e57: SWAP2
00002e58: SSTORE
00002e59: POP
00002e5a: JUMP
00002e5b: JUMPDEST
00002e5c: DUP3
00002e5d: DUP1
00002e5e: SLOAD
00002e5f: PUSH2 0x2e67
00002e62: SWAP1
00002e63: PUSH2 0x3550
00002e66: JUMP
00002e67: JUMPDEST
00002e68: SWAP1
00002e69: PUSH1 0x00
00002e6b: MSTORE
00002e6c: PUSH1 0x20
00002e6e: PUSH1 0x00
00002e70: KECCAK256
00002e71: SWAP1
00002e72: PUSH1 0x1f
00002e74: ADD
00002e75: PUSH1 0x20
00002e77: SWAP1
00002e78: DIV
00002e79: DUP2
00002e7a: ADD
00002e7b: SWAP3
00002e7c: DUP3
00002e7d: PUSH2 0x2e89
00002e80: JUMPI
00002e81: PUSH1 0x00
00002e83: DUP6
00002e84: SSTORE
00002e85: PUSH2 0x2ecf
00002e88: JUMP
00002e89: JUMPDEST
00002e8a: DUP3
00002e8b: PUSH1 0x1f
00002e8d: LT
00002e8e: PUSH2 0x2ea2
00002e91: JUMPI
00002e92: DUP1
00002e93: MLOAD
00002e94: PUSH1 0xff
00002e96: NOT
00002e97: AND
00002e98: DUP4
00002e99: DUP1
00002e9a: ADD
00002e9b: OR
00002e9c: DUP6
00002e9d: SSTORE
00002e9e: PUSH2 0x2ecf
00002ea1: JUMP
00002ea2: JUMPDEST
00002ea3: DUP3
00002ea4: DUP1
00002ea5: ADD
00002ea6: PUSH1 0x01
00002ea8: ADD
00002ea9: DUP6
00002eaa: SSTORE
00002eab: DUP3
00002eac: ISZERO
00002ead: PUSH2 0x2ecf
00002eb0: JUMPI
00002eb1: SWAP2
00002eb2: DUP3
00002eb3: ADD
00002eb4: JUMPDEST
00002eb5: DUP3
00002eb6: DUP2
00002eb7: GT
00002eb8: ISZERO
00002eb9: PUSH2 0x2ecf
00002ebc: JUMPI
00002ebd: DUP3
00002ebe: MLOAD
00002ebf: DUP3
00002ec0: SSTORE
00002ec1: SWAP2
00002ec2: PUSH1 0x20
00002ec4: ADD
00002ec5: SWAP2
00002ec6: SWAP1
00002ec7: PUSH1 0x01
00002ec9: ADD
00002eca: SWAP1
00002ecb: PUSH2 0x2eb4
00002ece: JUMP
00002ecf: JUMPDEST
00002ed0: POP
00002ed1: PUSH2 0x2edb
00002ed4: SWAP3
00002ed5: SWAP2
00002ed6: POP
00002ed7: PUSH2 0x2ef9
00002eda: JUMP
00002edb: JUMPDEST
00002edc: POP
00002edd: SWAP1
00002ede: JUMP
00002edf: JUMPDEST
00002ee0: POP
00002ee1: DUP1
00002ee2: SLOAD
00002ee3: PUSH1 0x00
00002ee5: DUP3
00002ee6: SSTORE
00002ee7: SWAP1
00002ee8: PUSH1 0x00
00002eea: MSTORE
00002eeb: PUSH1 0x20
00002eed: PUSH1 0x00
00002eef: KECCAK256
00002ef0: SWAP1
00002ef1: DUP2
00002ef2: ADD
00002ef3: SWAP1
00002ef4: PUSH2 0x089a
00002ef7: SWAP2
00002ef8: SWAP1
00002ef9: JUMPDEST
00002efa: JUMPDEST
00002efb: DUP1
00002efc: DUP3
00002efd: GT
00002efe: ISZERO
00002eff: PUSH2 0x2edb
00002f02: JUMPI
00002f03: PUSH1 0x00
00002f05: DUP2
00002f06: SSTORE
00002f07: PUSH1 0x01
00002f09: ADD
00002f0a: PUSH2 0x2efa
00002f0d: JUMP
00002f0e: JUMPDEST
00002f0f: PUSH1 0x00
00002f11: PUSH8 0xffffffffffffffff
00002f1a: DUP1
00002f1b: DUP5
00002f1c: GT
00002f1d: ISZERO
00002f1e: PUSH2 0x2f29
00002f21: JUMPI
00002f22: PUSH2 0x2f29
00002f25: PUSH2 0x35e6
00002f28: JUMP
00002f29: JUMPDEST
00002f2a: PUSH1 0x40
00002f2c: MLOAD
00002f2d: PUSH1 0x1f
00002f2f: DUP6
00002f30: ADD
00002f31: PUSH1 0x1f
00002f33: NOT
00002f34: SWAP1
00002f35: DUP2
00002f36: AND
00002f37: PUSH1 0x3f
00002f39: ADD
00002f3a: AND
00002f3b: DUP2
00002f3c: ADD
00002f3d: SWAP1
00002f3e: DUP3
00002f3f: DUP3
00002f40: GT
00002f41: DUP2
00002f42: DUP4
00002f43: LT
00002f44: OR
00002f45: ISZERO
00002f46: PUSH2 0x2f51
00002f49: JUMPI
00002f4a: PUSH2 0x2f51
00002f4d: PUSH2 0x35e6
00002f50: JUMP
00002f51: JUMPDEST
00002f52: DUP2
00002f53: PUSH1 0x40
00002f55: MSTORE
00002f56: DUP1
00002f57: SWAP4
00002f58: POP
00002f59: DUP6
00002f5a: DUP2
00002f5b: MSTORE
00002f5c: DUP7
00002f5d: DUP7
00002f5e: DUP7
00002f5f: ADD
00002f60: GT
00002f61: ISZERO
00002f62: PUSH2 0x2f6a
00002f65: JUMPI
00002f66: PUSH1 0x00
00002f68: DUP1
00002f69: REVERT
00002f6a: JUMPDEST
00002f6b: DUP6
00002f6c: DUP6
00002f6d: PUSH1 0x20
00002f6f: DUP4
00002f70: ADD
00002f71: CALLDATACOPY
00002f72: PUSH1 0x00
00002f74: PUSH1 0x20
00002f76: DUP8
00002f77: DUP4
00002f78: ADD
00002f79: ADD
00002f7a: MSTORE
00002f7b: POP
00002f7c: POP
00002f7d: POP
00002f7e: SWAP4
00002f7f: SWAP3
00002f80: POP
00002f81: POP
00002f82: POP
00002f83: JUMP
00002f84: JUMPDEST
00002f85: DUP1
00002f86: CALLDATALOAD
00002f87: PUSH1 0x01
00002f89: PUSH1 0x01
00002f8b: PUSH1 0xa0
00002f8d: SHL
00002f8e: SUB
00002f8f: DUP2
00002f90: AND
00002f91: DUP2
00002f92: EQ
00002f93: PUSH2 0x2f9b
00002f96: JUMPI
00002f97: PUSH1 0x00
00002f99: DUP1
00002f9a: REVERT
00002f9b: JUMPDEST
00002f9c: SWAP2
00002f9d: SWAP1
00002f9e: POP
00002f9f: JUMP
00002fa0: JUMPDEST
00002fa1: PUSH1 0x00
00002fa3: PUSH1 0x20
00002fa5: DUP3
00002fa6: DUP5
00002fa7: SUB
00002fa8: SLT
00002fa9: ISZERO
00002faa: PUSH2 0x2fb1
00002fad: JUMPI
00002fae: DUP1
00002faf: DUP2
00002fb0: REVERT
00002fb1: JUMPDEST
00002fb2: PUSH2 0x20a1
00002fb5: DUP3
00002fb6: PUSH2 0x2f84
00002fb9: JUMP
00002fba: JUMPDEST
00002fbb: PUSH1 0x00
00002fbd: DUP1
00002fbe: PUSH1 0x40
00002fc0: DUP4
00002fc1: DUP6
00002fc2: SUB
00002fc3: SLT
00002fc4: ISZERO
00002fc5: PUSH2 0x2fcc
00002fc8: JUMPI
00002fc9: DUP1
00002fca: DUP2
00002fcb: REVERT
00002fcc: JUMPDEST
00002fcd: PUSH2 0x2fd5
00002fd0: DUP4
00002fd1: PUSH2 0x2f84
00002fd4: JUMP
00002fd5: JUMPDEST
00002fd6: SWAP2
00002fd7: POP
00002fd8: PUSH2 0x2fe3
00002fdb: PUSH1 0x20
00002fdd: DUP5
00002fde: ADD
00002fdf: PUSH2 0x2f84
00002fe2: JUMP
00002fe3: JUMPDEST
00002fe4: SWAP1
00002fe5: POP
00002fe6: SWAP3
00002fe7: POP
00002fe8: SWAP3
00002fe9: SWAP1
00002fea: POP
00002feb: JUMP
00002fec: JUMPDEST
00002fed: PUSH1 0x00
00002fef: DUP1
00002ff0: PUSH1 0x00
00002ff2: PUSH1 0x60
00002ff4: DUP5
00002ff5: DUP7
00002ff6: SUB
00002ff7: SLT
00002ff8: ISZERO
00002ff9: PUSH2 0x3000
00002ffc: JUMPI
00002ffd: DUP1
00002ffe: DUP2
00002fff: REVERT
00003000: JUMPDEST
00003001: PUSH2 0x3009
00003004: DUP5
00003005: PUSH2 0x2f84
00003008: JUMP
00003009: JUMPDEST
0000300a: SWAP3
0000300b: POP
0000300c: PUSH2 0x3017
0000300f: PUSH1 0x20
00003011: DUP6
00003012: ADD
00003013: PUSH2 0x2f84
00003016: JUMP
00003017: JUMPDEST
00003018: SWAP2
00003019: POP
0000301a: PUSH1 0x40
0000301c: DUP5
0000301d: ADD
0000301e: CALLDATALOAD
0000301f: SWAP1
00003020: POP
00003021: SWAP3
00003022: POP
00003023: SWAP3
00003024: POP
00003025: SWAP3
00003026: JUMP
00003027: JUMPDEST
00003028: PUSH1 0x00
0000302a: DUP1
0000302b: PUSH1 0x00
0000302d: DUP1
0000302e: PUSH1 0x80
00003030: DUP6
00003031: DUP8
00003032: SUB
00003033: SLT
00003034: ISZERO
00003035: PUSH2 0x303c
00003038: JUMPI
00003039: DUP1
0000303a: DUP2
0000303b: REVERT
0000303c: JUMPDEST
0000303d: PUSH2 0x3045
00003040: DUP6
00003041: PUSH2 0x2f84
00003044: JUMP
00003045: JUMPDEST
00003046: SWAP4
00003047: POP
00003048: PUSH2 0x3053
0000304b: PUSH1 0x20
0000304d: DUP7
0000304e: ADD
0000304f: PUSH2 0x2f84
00003052: JUMP
00003053: JUMPDEST
00003054: SWAP3
00003055: POP
00003056: PUSH1 0x40
00003058: DUP6
00003059: ADD
0000305a: CALLDATALOAD
0000305b: SWAP2
0000305c: POP
0000305d: PUSH1 0x60
0000305f: DUP6
00003060: ADD
00003061: CALLDATALOAD
00003062: PUSH8 0xffffffffffffffff
0000306b: DUP2
0000306c: GT
0000306d: ISZERO
0000306e: PUSH2 0x3075
00003071: JUMPI
00003072: DUP2
00003073: DUP3
00003074: REVERT
00003075: JUMPDEST
00003076: DUP6
00003077: ADD
00003078: PUSH1 0x1f
0000307a: DUP2
0000307b: ADD
0000307c: DUP8
0000307d: SGT
0000307e: PUSH2 0x3085
00003081: JUMPI
00003082: DUP2
00003083: DUP3
00003084: REVERT
00003085: JUMPDEST
00003086: PUSH2 0x3094
00003089: DUP8
0000308a: DUP3
0000308b: CALLDATALOAD
0000308c: PUSH1 0x20
0000308e: DUP5
0000308f: ADD
00003090: PUSH2 0x2f0e
00003093: JUMP
00003094: JUMPDEST
00003095: SWAP2
00003096: POP
00003097: POP
00003098: SWAP3
00003099: SWAP6
0000309a: SWAP2
0000309b: SWAP5
0000309c: POP
0000309d: SWAP3
0000309e: POP
0000309f: JUMP
000030a0: JUMPDEST
000030a1: PUSH1 0x00
000030a3: DUP1
000030a4: PUSH1 0x40
000030a6: DUP4
000030a7: DUP6
000030a8: SUB
000030a9: SLT
000030aa: ISZERO
000030ab: PUSH2 0x30b2
000030ae: JUMPI
000030af: DUP2
000030b0: DUP3
000030b1: REVERT
000030b2: JUMPDEST
000030b3: PUSH2 0x30bb
000030b6: DUP4
000030b7: PUSH2 0x2f84
000030ba: JUMP
000030bb: JUMPDEST
000030bc: SWAP2
000030bd: POP
000030be: PUSH1 0x20
000030c0: DUP4
000030c1: ADD
000030c2: CALLDATALOAD
000030c3: PUSH2 0x30cb
000030c6: DUP2
000030c7: PUSH2 0x35fc
000030ca: JUMP
000030cb: JUMPDEST
000030cc: DUP1
000030cd: SWAP2
000030ce: POP
000030cf: POP
000030d0: SWAP3
000030d1: POP
000030d2: SWAP3
000030d3: SWAP1
000030d4: POP
000030d5: JUMP
000030d6: JUMPDEST
000030d7: PUSH1 0x00
000030d9: DUP1
000030da: PUSH1 0x40
000030dc: DUP4
000030dd: DUP6
000030de: SUB
000030df: SLT
000030e0: ISZERO
000030e1: PUSH2 0x30e8
000030e4: JUMPI
000030e5: DUP2
000030e6: DUP3
000030e7: REVERT
000030e8: JUMPDEST
000030e9: PUSH2 0x30f1
000030ec: DUP4
000030ed: PUSH2 0x2f84
000030f0: JUMP
000030f1: JUMPDEST
000030f2: SWAP5
000030f3: PUSH1 0x20
000030f5: SWAP4
000030f6: SWAP1
000030f7: SWAP4
000030f8: ADD
000030f9: CALLDATALOAD
000030fa: SWAP4
000030fb: POP
000030fc: POP
000030fd: POP
000030fe: JUMP
000030ff: JUMPDEST
00003100: PUSH1 0x00
00003102: PUSH1 0x20
00003104: DUP3
00003105: DUP5
00003106: SUB
00003107: SLT
00003108: ISZERO
00003109: PUSH2 0x3110
0000310c: JUMPI
0000310d: DUP1
0000310e: DUP2
0000310f: REVERT
00003110: JUMPDEST
00003111: DUP2
00003112: CALLDATALOAD
00003113: PUSH2 0x20a1
00003116: DUP2
00003117: PUSH2 0x35fc
0000311a: JUMP
0000311b: JUMPDEST
0000311c: PUSH1 0x00
0000311e: PUSH1 0x20
00003120: DUP3
00003121: DUP5
00003122: SUB
00003123: SLT
00003124: ISZERO
00003125: PUSH2 0x312c
00003128: JUMPI
00003129: DUP1
0000312a: DUP2
0000312b: REVERT
0000312c: JUMPDEST
0000312d: DUP2
0000312e: MLOAD
0000312f: PUSH2 0x20a1
00003132: DUP2
00003133: PUSH2 0x35fc
00003136: JUMP
00003137: JUMPDEST
00003138: PUSH1 0x00
0000313a: DUP1
0000313b: PUSH1 0x40
0000313d: DUP4
0000313e: DUP6
0000313f: SUB
00003140: SLT
00003141: ISZERO
00003142: PUSH2 0x3149
00003145: JUMPI
00003146: DUP2
00003147: DUP3
00003148: REVERT
00003149: JUMPDEST
0000314a: POP
0000314b: POP
0000314c: DUP1
0000314d: CALLDATALOAD
0000314e: SWAP3
0000314f: PUSH1 0x20
00003151: SWAP1
00003152: SWAP2
00003153: ADD
00003154: CALLDATALOAD
00003155: SWAP2
00003156: POP
00003157: JUMP
00003158: JUMPDEST
00003159: PUSH1 0x00
0000315b: PUSH1 0x20
0000315d: DUP3
0000315e: DUP5
0000315f: SUB
00003160: SLT
00003161: ISZERO
00003162: PUSH2 0x3169
00003165: JUMPI
00003166: DUP1
00003167: DUP2
00003168: REVERT
00003169: JUMPDEST
0000316a: DUP2
0000316b: CALLDATALOAD
0000316c: PUSH2 0x20a1
0000316f: DUP2
00003170: PUSH2 0x360a
00003173: JUMP
00003174: JUMPDEST
00003175: PUSH1 0x00
00003177: PUSH1 0x20
00003179: DUP3
0000317a: DUP5
0000317b: SUB
0000317c: SLT
0000317d: ISZERO
0000317e: PUSH2 0x3185
00003181: JUMPI
00003182: DUP1
00003183: DUP2
00003184: REVERT
00003185: JUMPDEST
00003186: DUP2
00003187: MLOAD
00003188: PUSH2 0x20a1
0000318b: DUP2
0000318c: PUSH2 0x360a
0000318f: JUMP
00003190: JUMPDEST
00003191: PUSH1 0x00
00003193: PUSH1 0x20
00003195: DUP3
00003196: DUP5
00003197: SUB
00003198: SLT
00003199: ISZERO
0000319a: PUSH2 0x31a1
0000319d: JUMPI
0000319e: DUP1
0000319f: DUP2
000031a0: REVERT
000031a1: JUMPDEST
000031a2: DUP2
000031a3: CALLDATALOAD
000031a4: PUSH8 0xffffffffffffffff
000031ad: DUP2
000031ae: GT
000031af: ISZERO
000031b0: PUSH2 0x31b7
000031b3: JUMPI
000031b4: DUP2
000031b5: DUP3
000031b6: REVERT
000031b7: JUMPDEST
000031b8: DUP3
000031b9: ADD
000031ba: PUSH1 0x1f
000031bc: DUP2
000031bd: ADD
000031be: DUP5
000031bf: SGT
000031c0: PUSH2 0x31c7
000031c3: JUMPI
000031c4: DUP2
000031c5: DUP3
000031c6: REVERT
000031c7: JUMPDEST
000031c8: PUSH2 0x1eb5
000031cb: DUP5
000031cc: DUP3
000031cd: CALLDATALOAD
000031ce: PUSH1 0x20
000031d0: DUP5
000031d1: ADD
000031d2: PUSH2 0x2f0e
000031d5: JUMP
000031d6: JUMPDEST
000031d7: PUSH1 0x00
000031d9: PUSH1 0x20
000031db: DUP3
000031dc: DUP5
000031dd: SUB
000031de: SLT
000031df: ISZERO
000031e0: PUSH2 0x31e7
000031e3: JUMPI
000031e4: DUP1
000031e5: DUP2
000031e6: REVERT
000031e7: JUMPDEST
000031e8: POP
000031e9: CALLDATALOAD
000031ea: SWAP2
000031eb: SWAP1
000031ec: POP
000031ed: JUMP
000031ee: JUMPDEST
000031ef: PUSH1 0x00
000031f1: PUSH1 0x20
000031f3: DUP3
000031f4: DUP5
000031f5: SUB
000031f6: SLT
000031f7: ISZERO
000031f8: PUSH2 0x31ff
000031fb: JUMPI
000031fc: DUP1
000031fd: DUP2
000031fe: REVERT
000031ff: JUMPDEST
00003200: POP
00003201: MLOAD
00003202: SWAP2
00003203: SWAP1
00003204: POP
00003205: JUMP
00003206: JUMPDEST
00003207: PUSH1 0x00
00003209: DUP2
0000320a: MLOAD
0000320b: DUP1
0000320c: DUP5
0000320d: MSTORE
0000320e: PUSH2 0x321e
00003211: DUP2
00003212: PUSH1 0x20
00003214: DUP7
00003215: ADD
00003216: PUSH1 0x20
00003218: DUP7
00003219: ADD
0000321a: PUSH2 0x3524
0000321d: JUMP
0000321e: JUMPDEST
0000321f: PUSH1 0x1f
00003221: ADD
00003222: PUSH1 0x1f
00003224: NOT
00003225: AND
00003226: SWAP3
00003227: SWAP1
00003228: SWAP3
00003229: ADD
0000322a: PUSH1 0x20
0000322c: ADD
0000322d: SWAP3
0000322e: SWAP2
0000322f: POP
00003230: POP
00003231: JUMP
00003232: JUMPDEST
00003233: PUSH1 0x00
00003235: DUP2
00003236: MLOAD
00003237: PUSH2 0x3244
0000323a: DUP2
0000323b: DUP6
0000323c: PUSH1 0x20
0000323e: DUP7
0000323f: ADD
00003240: PUSH2 0x3524
00003243: JUMP
00003244: JUMPDEST
00003245: SWAP3
00003246: SWAP1
00003247: SWAP3
00003248: ADD
00003249: SWAP3
0000324a: SWAP2
0000324b: POP
0000324c: POP
0000324d: JUMP
0000324e: JUMPDEST
0000324f: PUSH1 0x00
00003251: DUP1
00003252: DUP5
00003253: SLOAD
00003254: DUP3
00003255: PUSH1 0x01
00003257: DUP3
00003258: DUP2
00003259: SHR
0000325a: SWAP2
0000325b: POP
0000325c: DUP1
0000325d: DUP4
0000325e: AND
0000325f: DUP1
00003260: PUSH2 0x326a
00003263: JUMPI
00003264: PUSH1 0x7f
00003266: DUP4
00003267: AND
00003268: SWAP3
00003269: POP
0000326a: JUMPDEST
0000326b: PUSH1 0x20
0000326d: DUP1
0000326e: DUP5
0000326f: LT
00003270: DUP3
00003271: EQ
00003272: ISZERO
00003273: PUSH2 0x328a
00003276: JUMPI
00003277: PUSH4 0x4e487b71
0000327c: PUSH1 0xe0
0000327e: SHL
0000327f: DUP8
00003280: MSTORE
00003281: PUSH1 0x22
00003283: PUSH1 0x04
00003285: MSTORE
00003286: PUSH1 0x24
00003288: DUP8
00003289: REVERT
0000328a: JUMPDEST
0000328b: DUP2
0000328c: DUP1
0000328d: ISZERO
0000328e: PUSH2 0x329e
00003291: JUMPI
00003292: PUSH1 0x01
00003294: DUP2
00003295: EQ
00003296: PUSH2 0x32af
00003299: JUMPI
0000329a: PUSH2 0x32db
0000329d: JUMP
0000329e: JUMPDEST
0000329f: PUSH1 0xff
000032a1: NOT
000032a2: DUP7
000032a3: AND
000032a4: DUP10
000032a5: MSTORE
000032a6: DUP5
000032a7: DUP10
000032a8: ADD
000032a9: SWAP7
000032aa: POP
000032ab: PUSH2 0x32db
000032ae: JUMP
000032af: JUMPDEST
000032b0: PUSH1 0x00
000032b2: DUP12
000032b3: DUP2
000032b4: MSTORE
000032b5: PUSH1 0x20
000032b7: SWAP1
000032b8: KECCAK256
000032b9: DUP9
000032ba: JUMPDEST
000032bb: DUP7
000032bc: DUP2
000032bd: LT
000032be: ISZERO
000032bf: PUSH2 0x32d3
000032c2: JUMPI
000032c3: DUP2
000032c4: SLOAD
000032c5: DUP12
000032c6: DUP3
000032c7: ADD
000032c8: MSTORE
000032c9: SWAP1
000032ca: DUP6
000032cb: ADD
000032cc: SWAP1
000032cd: DUP4
000032ce: ADD
000032cf: PUSH2 0x32ba
000032d2: JUMP
000032d3: JUMPDEST
000032d4: POP
000032d5: POP
000032d6: DUP5
000032d7: DUP10
000032d8: ADD
000032d9: SWAP7
000032da: POP
000032db: JUMPDEST
000032dc: POP
000032dd: POP
000032de: POP
000032df: POP
000032e0: POP
000032e1: POP
000032e2: PUSH2 0x32eb
000032e5: DUP2
000032e6: DUP6
000032e7: PUSH2 0x3232
000032ea: JUMP
000032eb: JUMPDEST
000032ec: SWAP6
000032ed: SWAP5
000032ee: POP
000032ef: POP
000032f0: POP
000032f1: POP
000032f2: POP
000032f3: JUMP
000032f4: JUMPDEST
000032f5: PUSH1 0x00
000032f7: PUSH1 0x01
000032f9: PUSH1 0x01
000032fb: PUSH1 0xa0
000032fd: SHL
000032fe: SUB
000032ff: DUP1
00003300: DUP8
00003301: AND
00003302: DUP4
00003303: MSTORE
00003304: DUP1
00003305: DUP7
00003306: AND
00003307: PUSH1 0x20
00003309: DUP5
0000330a: ADD
0000330b: MSTORE
0000330c: POP
0000330d: DUP4
0000330e: PUSH1 0x40
00003310: DUP4
00003311: ADD
00003312: MSTORE
00003313: PUSH1 0x80
00003315: PUSH1 0x60
00003317: DUP4
00003318: ADD
00003319: MSTORE
0000331a: PUSH2 0x3326
0000331d: PUSH1 0x80
0000331f: DUP4
00003320: ADD
00003321: DUP5
00003322: PUSH2 0x3206
00003325: JUMP
00003326: JUMPDEST
00003327: SWAP7
00003328: SWAP6
00003329: POP
0000332a: POP
0000332b: POP
0000332c: POP
0000332d: POP
0000332e: POP
0000332f: JUMP
00003330: JUMPDEST
00003331: PUSH1 0x01
00003333: PUSH1 0x01
00003335: PUSH1 0xa0
00003337: SHL
00003338: SUB
00003339: DUP5
0000333a: AND
0000333b: DUP2
0000333c: MSTORE
0000333d: DUP3
0000333e: PUSH1 0x20
00003340: DUP3
00003341: ADD
00003342: MSTORE
00003343: PUSH1 0x60
00003345: PUSH1 0x40
00003347: DUP3
00003348: ADD
00003349: MSTORE
0000334a: PUSH1 0x00
0000334c: PUSH2 0x32eb
0000334f: PUSH1 0x60
00003351: DUP4
00003352: ADD
00003353: DUP5
00003354: PUSH2 0x3206
00003357: JUMP
00003358: JUMPDEST
00003359: PUSH1 0x20
0000335b: DUP1
0000335c: DUP3
0000335d: MSTORE
0000335e: DUP3
0000335f: MLOAD
00003360: DUP3
00003361: DUP3
00003362: ADD
00003363: DUP2
00003364: SWAP1
00003365: MSTORE
00003366: PUSH1 0x00
00003368: SWAP2
00003369: SWAP1
0000336a: DUP5
0000336b: DUP3
0000336c: ADD
0000336d: SWAP1
0000336e: PUSH1 0x40
00003370: DUP6
00003371: ADD
00003372: SWAP1
00003373: DUP5
00003374: JUMPDEST
00003375: DUP2
00003376: DUP2
00003377: LT
00003378: ISZERO
00003379: PUSH2 0x3390
0000337c: JUMPI
0000337d: DUP4
0000337e: MLOAD
0000337f: DUP4
00003380: MSTORE
00003381: SWAP3
00003382: DUP5
00003383: ADD
00003384: SWAP3
00003385: SWAP2
00003386: DUP5
00003387: ADD
00003388: SWAP2
00003389: PUSH1 0x01
0000338b: ADD
0000338c: PUSH2 0x3374
0000338f: JUMP
00003390: JUMPDEST
00003391: POP
00003392: SWAP1
00003393: SWAP7
00003394: SWAP6
00003395: POP
00003396: POP
00003397: POP
00003398: POP
00003399: POP
0000339a: POP
0000339b: JUMP
0000339c: JUMPDEST
0000339d: PUSH1 0x20
0000339f: DUP2
000033a0: ADD
000033a1: PUSH1 0x04
000033a3: DUP4
000033a4: LT
000033a5: PUSH2 0x33be
000033a8: JUMPI
000033a9: PUSH4 0x4e487b71
000033ae: PUSH1 0xe0
000033b0: SHL
000033b1: PUSH1 0x00
000033b3: MSTORE
000033b4: PUSH1 0x21
000033b6: PUSH1 0x04
000033b8: MSTORE
000033b9: PUSH1 0x24
000033bb: PUSH1 0x00
000033bd: REVERT
000033be: JUMPDEST
000033bf: SWAP2
000033c0: SWAP1
000033c1: MSTORE
000033c2: SWAP1
000033c3: JUMP
000033c4: JUMPDEST
000033c5: PUSH1 0x20
000033c7: DUP2
000033c8: MSTORE
000033c9: PUSH1 0x00
000033cb: PUSH2 0x20a1
000033ce: PUSH1 0x20
000033d0: DUP4
000033d1: ADD
000033d2: DUP5
000033d3: PUSH2 0x3206
000033d6: JUMP
000033d7: JUMPDEST
000033d8: PUSH1 0x00
000033da: DUP3
000033db: NOT
000033dc: DUP3
000033dd: GT
000033de: ISZERO
000033df: PUSH2 0x33ea
000033e2: JUMPI
000033e3: PUSH2 0x33ea
000033e6: PUSH2 0x35ba
000033e9: JUMP
000033ea: JUMPDEST
000033eb: POP
000033ec: ADD
000033ed: SWAP1
000033ee: JUMP
000033ef: JUMPDEST
000033f0: PUSH1 0x00
000033f2: DUP3
000033f3: PUSH2 0x33fe
000033f6: JUMPI
000033f7: PUSH2 0x33fe
000033fa: PUSH2 0x35d0
000033fd: JUMP
000033fe: JUMPDEST
000033ff: POP
00003400: DIV
00003401: SWAP1
00003402: JUMP
00003403: JUMPDEST
00003404: PUSH1 0x01
00003406: DUP2
00003407: DUP2
00003408: JUMPDEST
00003409: DUP1
0000340a: DUP6
0000340b: GT
0000340c: ISZERO
0000340d: PUSH2 0x343e
00003410: JUMPI
00003411: DUP2
00003412: PUSH1 0x00
00003414: NOT
00003415: DIV
00003416: DUP3
00003417: GT
00003418: ISZERO
00003419: PUSH2 0x3424
0000341c: JUMPI
0000341d: PUSH2 0x3424
00003420: PUSH2 0x35ba
00003423: JUMP
00003424: JUMPDEST
00003425: DUP1
00003426: DUP6
00003427: AND
00003428: ISZERO
00003429: PUSH2 0x3431
0000342c: JUMPI
0000342d: SWAP2
0000342e: DUP2
0000342f: MUL
00003430: SWAP2
00003431: JUMPDEST
00003432: SWAP4
00003433: DUP5
00003434: SHR
00003435: SWAP4
00003436: SWAP1
00003437: DUP1
00003438: MUL
00003439: SWAP1
0000343a: PUSH2 0x3408
0000343d: JUMP
0000343e: JUMPDEST
0000343f: POP
00003440: SWAP3
00003441: POP
00003442: SWAP3
00003443: SWAP1
00003444: POP
00003445: JUMP
00003446: JUMPDEST
00003447: PUSH1 0x00
00003449: PUSH2 0x20a1
0000344c: DUP4
0000344d: DUP4
0000344e: PUSH1 0x00
00003450: DUP3
00003451: PUSH2 0x345c
00003454: JUMPI
00003455: POP
00003456: PUSH1 0x01
00003458: PUSH2 0x07f6
0000345b: JUMP
0000345c: JUMPDEST
0000345d: DUP2
0000345e: PUSH2 0x3469
00003461: JUMPI
00003462: POP
00003463: PUSH1 0x00
00003465: PUSH2 0x07f6
00003468: JUMP
00003469: JUMPDEST
0000346a: DUP2
0000346b: PUSH1 0x01
0000346d: DUP2
0000346e: EQ
0000346f: PUSH2 0x347f
00003472: JUMPI
00003473: PUSH1 0x02
00003475: DUP2
00003476: EQ
00003477: PUSH2 0x3489
0000347a: JUMPI
0000347b: PUSH2 0x34a5
0000347e: JUMP
0000347f: JUMPDEST
00003480: PUSH1 0x01
00003482: SWAP2
00003483: POP
00003484: POP
00003485: PUSH2 0x07f6
00003488: JUMP
00003489: JUMPDEST
0000348a: PUSH1 0xff
0000348c: DUP5
0000348d: GT
0000348e: ISZERO
0000348f: PUSH2 0x349a
00003492: JUMPI
00003493: PUSH2 0x349a
00003496: PUSH2 0x35ba
00003499: JUMP
0000349a: JUMPDEST
0000349b: POP
0000349c: POP
0000349d: PUSH1 0x01
0000349f: DUP3
000034a0: SHL
000034a1: PUSH2 0x07f6
000034a4: JUMP
000034a5: JUMPDEST
000034a6: POP
000034a7: PUSH1 0x20
000034a9: DUP4
000034aa: LT
000034ab: PUSH2 0x0133
000034ae: DUP4
000034af: LT
000034b0: AND
000034b1: PUSH1 0x4e
000034b3: DUP5
000034b4: LT
000034b5: PUSH1 0x0b
000034b7: DUP5
000034b8: LT
000034b9: AND
000034ba: OR
000034bb: ISZERO
000034bc: PUSH2 0x34c8
000034bf: JUMPI
000034c0: POP
000034c1: DUP2
000034c2: DUP2
000034c3: EXP
000034c4: PUSH2 0x07f6
000034c7: JUMP
000034c8: JUMPDEST
000034c9: PUSH2 0x34d2
000034cc: DUP4
000034cd: DUP4
000034ce: PUSH2 0x3403
000034d1: JUMP
000034d2: JUMPDEST
000034d3: DUP1
000034d4: PUSH1 0x00
000034d6: NOT
000034d7: DIV
000034d8: DUP3
000034d9: GT
000034da: ISZERO
000034db: PUSH2 0x34e6
000034de: JUMPI
000034df: PUSH2 0x34e6
000034e2: PUSH2 0x35ba
000034e5: JUMP
000034e6: JUMPDEST
000034e7: MUL
000034e8: SWAP4
000034e9: SWAP3
000034ea: POP
000034eb: POP
000034ec: POP
000034ed: JUMP
000034ee: JUMPDEST
000034ef: PUSH1 0x00
000034f1: DUP2
000034f2: PUSH1 0x00
000034f4: NOT
000034f5: DIV
000034f6: DUP4
000034f7: GT
000034f8: DUP3
000034f9: ISZERO
000034fa: ISZERO
000034fb: AND
000034fc: ISZERO
000034fd: PUSH2 0x3508
00003500: JUMPI
00003501: PUSH2 0x3508
00003504: PUSH2 0x35ba
00003507: JUMP
00003508: JUMPDEST
00003509: POP
0000350a: MUL
0000350b: SWAP1
0000350c: JUMP
0000350d: JUMPDEST
0000350e: PUSH1 0x00
00003510: DUP3
00003511: DUP3
00003512: LT
00003513: ISZERO
00003514: PUSH2 0x351f
00003517: JUMPI
00003518: PUSH2 0x351f
0000351b: PUSH2 0x35ba
0000351e: JUMP
0000351f: JUMPDEST
00003520: POP
00003521: SUB
00003522: SWAP1
00003523: JUMP
00003524: JUMPDEST
00003525: PUSH1 0x00
00003527: JUMPDEST
00003528: DUP4
00003529: DUP2
0000352a: LT
0000352b: ISZERO
0000352c: PUSH2 0x353f
0000352f: JUMPI
00003530: DUP2
00003531: DUP2
00003532: ADD
00003533: MLOAD
00003534: DUP4
00003535: DUP3
00003536: ADD
00003537: MSTORE
00003538: PUSH1 0x20
0000353a: ADD
0000353b: PUSH2 0x3527
0000353e: JUMP
0000353f: JUMPDEST
00003540: DUP4
00003541: DUP2
00003542: GT
00003543: ISZERO
00003544: PUSH2 0x0e86
00003547: JUMPI
00003548: POP
00003549: POP
0000354a: PUSH1 0x00
0000354c: SWAP2
0000354d: ADD
0000354e: MSTORE
0000354f: JUMP
00003550: JUMPDEST
00003551: PUSH1 0x01
00003553: DUP2
00003554: DUP2
00003555: SHR
00003556: SWAP1
00003557: DUP3
00003558: AND
00003559: DUP1
0000355a: PUSH2 0x3564
0000355d: JUMPI
0000355e: PUSH1 0x7f
00003560: DUP3
00003561: AND
00003562: SWAP2
00003563: POP
00003564: JUMPDEST
00003565: PUSH1 0x20
00003567: DUP3
00003568: LT
00003569: DUP2
0000356a: EQ
0000356b: ISZERO
0000356c: PUSH2 0x3585
0000356f: JUMPI
00003570: PUSH4 0x4e487b71
00003575: PUSH1 0xe0
00003577: SHL
00003578: PUSH1 0x00
0000357a: MSTORE
0000357b: PUSH1 0x22
0000357d: PUSH1 0x04
0000357f: MSTORE
00003580: PUSH1 0x24
00003582: PUSH1 0x00
00003584: REVERT
00003585: JUMPDEST
00003586: POP
00003587: SWAP2
00003588: SWAP1
00003589: POP
0000358a: JUMP
0000358b: JUMPDEST
0000358c: PUSH1 0x00
0000358e: PUSH1 0x00
00003590: NOT
00003591: DUP3
00003592: EQ
00003593: ISZERO
00003594: PUSH2 0x359f
00003597: JUMPI
00003598: PUSH2 0x359f
0000359b: PUSH2 0x35ba
0000359e: JUMP
0000359f: JUMPDEST
000035a0: POP
000035a1: PUSH1 0x01
000035a3: ADD
000035a4: SWAP1
000035a5: JUMP
000035a6: JUMPDEST
000035a7: PUSH1 0x00
000035a9: DUP3
000035aa: PUSH2 0x35b5
000035ad: JUMPI
000035ae: PUSH2 0x35b5
000035b1: PUSH2 0x35d0
000035b4: JUMP
000035b5: JUMPDEST
000035b6: POP
000035b7: MOD
000035b8: SWAP1
000035b9: JUMP
000035ba: JUMPDEST
000035bb: PUSH4 0x4e487b71
000035c0: PUSH1 0xe0
000035c2: SHL
000035c3: PUSH1 0x00
000035c5: MSTORE
000035c6: PUSH1 0x11
000035c8: PUSH1 0x04
000035ca: MSTORE
000035cb: PUSH1 0x24
000035cd: PUSH1 0x00
000035cf: REVERT
000035d0: JUMPDEST
000035d1: PUSH4 0x4e487b71
000035d6: PUSH1 0xe0
000035d8: SHL
000035d9: PUSH1 0x00
000035db: MSTORE
000035dc: PUSH1 0x12
000035de: PUSH1 0x04
000035e0: MSTORE
000035e1: PUSH1 0x24
000035e3: PUSH1 0x00
000035e5: REVERT
000035e6: JUMPDEST
000035e7: PUSH4 0x4e487b71
000035ec: PUSH1 0xe0
000035ee: SHL
000035ef: PUSH1 0x00
000035f1: MSTORE
000035f2: PUSH1 0x41
000035f4: PUSH1 0x04
000035f6: MSTORE
000035f7: PUSH1 0x24
000035f9: PUSH1 0x00
000035fb: REVERT
000035fc: JUMPDEST
000035fd: DUP1
000035fe: ISZERO
000035ff: ISZERO
00003600: DUP2
00003601: EQ
00003602: PUSH2 0x089a
00003605: JUMPI
00003606: PUSH1 0x00
00003608: DUP1
00003609: REVERT
0000360a: JUMPDEST
0000360b: PUSH1 0x01
0000360d: PUSH1 0x01
0000360f: PUSH1 0xe0
00003611: SHL
00003612: SUB
00003613: NOT
00003614: DUP2
00003615: AND
00003616: DUP2
00003617: EQ
00003618: PUSH2 0x089a
0000361b: JUMPI
0000361c: PUSH1 0x00
0000361e: DUP1
0000361f: REVERT
00003620: INVALID
00003621: LOG2
00003622: PUSH5 0x6970667358
00003628: UNKNOWN(0x22)
00003629: SLT
0000362a: KECCAK256
0000362b: UNKNOWN(0xCE)
0000362c: UNKNOWN(0x25)
0000362d: GASLIMIT
0000362e: MUL
0000362f: CALLDATALOAD
00003630: UNKNOWN(0xAD)
00003631: MSTORE8
00003632: CALLDATACOPY
00003633: AND
00003634: UNKNOWN(0x2E)
00003635: UNKNOWN(0xFC)
00003636: PUSH19 0x281701240399bf38ad7d4500179a967a359eb7
0000364a: ADDMOD
0000364b: PUSH5 0x736f6c6343
00003651: STOP
00003652: ADDMOD
00003653: DIV
00003654: STOP
00003655: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x42b0807191d8b97d8f72df0d52d4b1ae810d7660435ec947da2e4e1d3e62b96b
call_targets: 0x0cc34f2ee846c97e6a2c31b8de8314781d779358
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x42b0807191d8b97d8f72df0d52d4b1ae810d7660435ec947da2e4e1d3e62b96b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0cc34f2ee846c97e6a2c31b8de8314781d779358"
    ],
    "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": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xed7a4e0b",
            "selector": "0xed7a4e0b",
            "calldata_variants": [
                "0xed7a4e0b",
                "0xed7a4e0b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd1f9c24d",
            "selector": "0xd1f9c24d",
            "calldata_variants": [
                "0xd1f9c24d",
                "0xd1f9c24d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd547cfb7",
            "selector": "0xd547cfb7",
            "calldata_variants": [
                "0xd547cfb7",
                "0xd547cfb70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe960662b",
            "selector": "0xe960662b",
            "calldata_variants": [
                "0xe960662b",
                "0xe960662b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc4cea797",
            "selector": "0xc4cea797",
            "calldata_variants": [
                "0xc4cea797",
                "0xc4cea7970000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 8436,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9982,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10415,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x42b0807191d8b97d8f72df0d52d4b1ae810d7660435ec947da2e4e1d3e62b96b
call_targets: 0x0cc34f2ee846c97e6a2c31b8de8314781d779358
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x42b0807191d8b97d8f72df0d52d4b1ae810d7660435ec947da2e4e1d3e62b96b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0cc34f2ee846c97e6a2c31b8de8314781d779358"
    ],
    "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": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xed7a4e0b",
            "selector": "0xed7a4e0b",
            "calldata_variants": [
                "0xed7a4e0b",
                "0xed7a4e0b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd1f9c24d",
            "selector": "0xd1f9c24d",
            "calldata_variants": [
                "0xd1f9c24d",
                "0xd1f9c24d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd547cfb7",
            "selector": "0xd547cfb7",
            "calldata_variants": [
                "0xd547cfb7",
                "0xd547cfb70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe960662b",
            "selector": "0xe960662b",
            "calldata_variants": [
                "0xe960662b",
                "0xe960662b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc4cea797",
            "selector": "0xc4cea797",
            "calldata_variants": [
                "0xc4cea797",
                "0xc4cea7970000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 8436,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9982,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10415,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 3
}