Tripwire
Find contracts. Test them. Review real vulns.
Analysis Run

019b477e-c1f9-708a-abb7-ceb2d74de8a0
complete
Chain ID
Address
0xd376e51fcc9889eb3eac3ead9e78f1215ccb6118
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?
back to vulns open contract
Confirmed
Validated
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
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
24953	artifact.fetch	complete	1 / 3	3 months ago
24954	tool.cast_disasm	complete	1 / 3	3 months ago
68586	analysis.bundle	complete	1 / 3	1 week ago
68587	capability.graph	complete	1 / 3	1 week ago
68588	detector.run	complete	1 / 3	1 week ago
68589	validation.fork	complete	1 / 3	1 week 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
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
9280
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x020f
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x70a08231
00000019: GT
0000001a: PUSH2 0x0118
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xba278e08
00000024: GT
00000025: PUSH2 0x00a0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc87b56dd
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc87b56dd
0000003a: EQ
0000003b: PUSH2 0x0ec7
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd2d8cb67
00000045: EQ
00000046: PUSH2 0x0f7b
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xd3364687
00000050: EQ
00000051: PUSH2 0x0fa6
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe985e9c5
0000005b: EQ
0000005c: PUSH2 0x0fd1
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf2fde38b
00000066: EQ
00000067: PUSH2 0x1058
0000006a: JUMPI
0000006b: PUSH2 0x020f
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xba278e08
00000076: EQ
00000077: PUSH2 0x0dfe
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xbadda178
00000081: EQ
00000082: PUSH2 0x0e43
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xc2229fea
0000008c: EQ
0000008d: PUSH2 0x0e92
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xc6374d0c
00000097: EQ
00000098: PUSH2 0x0e9c
0000009b: JUMPI
0000009c: PUSH2 0x020f
0000009f: JUMP
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x95d89b41
000000a7: GT
000000a8: PUSH2 0x00e7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x95d89b41
000000b2: EQ
000000b3: PUSH2 0x0b20
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa0bcfc7f
000000bd: EQ
000000be: PUSH2 0x0bb0
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa22cb465
000000c8: EQ
000000c9: PUSH2 0x0c78
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xb88a802f
000000d3: EQ
000000d4: PUSH2 0x0cd5
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xb88d4fde
000000de: EQ
000000df: PUSH2 0x0cec
000000e2: JUMPI
000000e3: PUSH2 0x020f
000000e6: JUMP
000000e7: JUMPDEST
000000e8: DUP1
000000e9: PUSH4 0x70a08231
000000ee: EQ
000000ef: PUSH2 0x099e
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x715018a6
000000f9: EQ
000000fa: PUSH2 0x0a03
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x740d73f3
00000104: EQ
00000105: PUSH2 0x0a1a
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x8da5cb5b
0000010f: EQ
00000110: PUSH2 0x0adf
00000113: JUMPI
00000114: PUSH2 0x020f
00000117: JUMP
00000118: JUMPDEST
00000119: DUP1
0000011a: PUSH4 0x32cb6b0c
0000011f: GT
00000120: PUSH2 0x019b
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x4f6ccce7
0000012a: GT
0000012b: PUSH2 0x016a
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x4f6ccce7
00000135: EQ
00000136: PUSH2 0x072e
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x565904be
00000140: EQ
00000141: PUSH2 0x077d
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x60b2531e
0000014b: EQ
0000014c: PUSH2 0x07e4
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x6352211e
00000156: EQ
00000157: PUSH2 0x08a9
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x6c0360eb
00000161: EQ
00000162: PUSH2 0x090e
00000165: JUMPI
00000166: PUSH2 0x020f
00000169: JUMP
0000016a: JUMPDEST
0000016b: DUP1
0000016c: PUSH4 0x32cb6b0c
00000171: EQ
00000172: PUSH2 0x0609
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x372c12b1
0000017c: EQ
0000017d: PUSH2 0x0634
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x3ccfd60b
00000187: EQ
00000188: PUSH2 0x069c
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x42842e0e
00000192: EQ
00000193: PUSH2 0x06b3
00000196: JUMPI
00000197: PUSH2 0x020f
0000019a: JUMP
0000019b: JUMPDEST
0000019c: DUP1
0000019d: PUSH4 0x18160ddd
000001a2: GT
000001a3: PUSH2 0x01e2
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x18160ddd
000001ad: EQ
000001ae: PUSH2 0x03d4
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x18821400
000001b8: EQ
000001b9: PUSH2 0x03ff
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x23b872dd
000001c3: EQ
000001c4: PUSH2 0x048f
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x2a905318
000001ce: EQ
000001cf: PUSH2 0x050a
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x2f745c59
000001d9: EQ
000001da: PUSH2 0x059a
000001dd: JUMPI
000001de: PUSH2 0x020f
000001e1: JUMP
000001e2: JUMPDEST
000001e3: DUP1
000001e4: PUSH4 0x01ffc9a7
000001e9: EQ
000001ea: PUSH2 0x0214
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0x06fdde03
000001f4: EQ
000001f5: PUSH2 0x0284
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0x081812fc
000001ff: EQ
00000200: PUSH2 0x0314
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0x095ea7b3
0000020a: EQ
0000020b: PUSH2 0x0379
0000020e: JUMPI
0000020f: JUMPDEST
00000210: PUSH1 0x00
00000212: DUP1
00000213: REVERT
00000214: JUMPDEST
00000215: CALLVALUE
00000216: DUP1
00000217: ISZERO
00000218: PUSH2 0x0220
0000021b: JUMPI
0000021c: PUSH1 0x00
0000021e: DUP1
0000021f: REVERT
00000220: JUMPDEST
00000221: POP
00000222: PUSH2 0x026c
00000225: PUSH1 0x04
00000227: DUP1
00000228: CALLDATASIZE
00000229: SUB
0000022a: PUSH1 0x20
0000022c: DUP2
0000022d: LT
0000022e: ISZERO
0000022f: PUSH2 0x0237
00000232: JUMPI
00000233: PUSH1 0x00
00000235: DUP1
00000236: REVERT
00000237: JUMPDEST
00000238: DUP2
00000239: ADD
0000023a: SWAP1
0000023b: DUP1
0000023c: DUP1
0000023d: CALLDATALOAD
0000023e: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000025b: NOT
0000025c: AND
0000025d: SWAP1
0000025e: PUSH1 0x20
00000260: ADD
00000261: SWAP1
00000262: SWAP3
00000263: SWAP2
00000264: SWAP1
00000265: POP
00000266: POP
00000267: POP
00000268: PUSH2 0x10a9
0000026b: JUMP
0000026c: JUMPDEST
0000026d: PUSH1 0x40
0000026f: MLOAD
00000270: DUP1
00000271: DUP3
00000272: ISZERO
00000273: ISZERO
00000274: DUP2
00000275: MSTORE
00000276: PUSH1 0x20
00000278: ADD
00000279: SWAP2
0000027a: POP
0000027b: POP
0000027c: PUSH1 0x40
0000027e: MLOAD
0000027f: DUP1
00000280: SWAP2
00000281: SUB
00000282: SWAP1
00000283: RETURN
00000284: JUMPDEST
00000285: CALLVALUE
00000286: DUP1
00000287: ISZERO
00000288: PUSH2 0x0290
0000028b: JUMPI
0000028c: PUSH1 0x00
0000028e: DUP1
0000028f: REVERT
00000290: JUMPDEST
00000291: POP
00000292: PUSH2 0x0299
00000295: PUSH2 0x1111
00000298: JUMP
00000299: JUMPDEST
0000029a: PUSH1 0x40
0000029c: MLOAD
0000029d: DUP1
0000029e: DUP1
0000029f: PUSH1 0x20
000002a1: ADD
000002a2: DUP3
000002a3: DUP2
000002a4: SUB
000002a5: DUP3
000002a6: MSTORE
000002a7: DUP4
000002a8: DUP2
000002a9: DUP2
000002aa: MLOAD
000002ab: DUP2
000002ac: MSTORE
000002ad: PUSH1 0x20
000002af: ADD
000002b0: SWAP2
000002b1: POP
000002b2: DUP1
000002b3: MLOAD
000002b4: SWAP1
000002b5: PUSH1 0x20
000002b7: ADD
000002b8: SWAP1
000002b9: DUP1
000002ba: DUP4
000002bb: DUP4
000002bc: PUSH1 0x00
000002be: JUMPDEST
000002bf: DUP4
000002c0: DUP2
000002c1: LT
000002c2: ISZERO
000002c3: PUSH2 0x02d9
000002c6: JUMPI
000002c7: DUP1
000002c8: DUP3
000002c9: ADD
000002ca: MLOAD
000002cb: DUP2
000002cc: DUP5
000002cd: ADD
000002ce: MSTORE
000002cf: PUSH1 0x20
000002d1: DUP2
000002d2: ADD
000002d3: SWAP1
000002d4: POP
000002d5: PUSH2 0x02be
000002d8: JUMP
000002d9: JUMPDEST
000002da: POP
000002db: POP
000002dc: POP
000002dd: POP
000002de: SWAP1
000002df: POP
000002e0: SWAP1
000002e1: DUP2
000002e2: ADD
000002e3: SWAP1
000002e4: PUSH1 0x1f
000002e6: AND
000002e7: DUP1
000002e8: ISZERO
000002e9: PUSH2 0x0306
000002ec: JUMPI
000002ed: DUP1
000002ee: DUP3
000002ef: SUB
000002f0: DUP1
000002f1: MLOAD
000002f2: PUSH1 0x01
000002f4: DUP4
000002f5: PUSH1 0x20
000002f7: SUB
000002f8: PUSH2 0x0100
000002fb: EXP
000002fc: SUB
000002fd: NOT
000002fe: AND
000002ff: DUP2
00000300: MSTORE
00000301: PUSH1 0x20
00000303: ADD
00000304: SWAP2
00000305: POP
00000306: JUMPDEST
00000307: POP
00000308: SWAP3
00000309: POP
0000030a: POP
0000030b: POP
0000030c: PUSH1 0x40
0000030e: MLOAD
0000030f: DUP1
00000310: SWAP2
00000311: SUB
00000312: SWAP1
00000313: RETURN
00000314: JUMPDEST
00000315: CALLVALUE
00000316: DUP1
00000317: ISZERO
00000318: PUSH2 0x0320
0000031b: JUMPI
0000031c: PUSH1 0x00
0000031e: DUP1
0000031f: REVERT
00000320: JUMPDEST
00000321: POP
00000322: PUSH2 0x034d
00000325: PUSH1 0x04
00000327: DUP1
00000328: CALLDATASIZE
00000329: SUB
0000032a: PUSH1 0x20
0000032c: DUP2
0000032d: LT
0000032e: ISZERO
0000032f: PUSH2 0x0337
00000332: JUMPI
00000333: PUSH1 0x00
00000335: DUP1
00000336: REVERT
00000337: JUMPDEST
00000338: DUP2
00000339: ADD
0000033a: SWAP1
0000033b: DUP1
0000033c: DUP1
0000033d: CALLDATALOAD
0000033e: SWAP1
0000033f: PUSH1 0x20
00000341: ADD
00000342: SWAP1
00000343: SWAP3
00000344: SWAP2
00000345: SWAP1
00000346: POP
00000347: POP
00000348: POP
00000349: PUSH2 0x11b3
0000034c: JUMP
0000034d: JUMPDEST
0000034e: PUSH1 0x40
00000350: MLOAD
00000351: DUP1
00000352: DUP3
00000353: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000368: AND
00000369: DUP2
0000036a: MSTORE
0000036b: PUSH1 0x20
0000036d: ADD
0000036e: SWAP2
0000036f: POP
00000370: POP
00000371: PUSH1 0x40
00000373: MLOAD
00000374: DUP1
00000375: SWAP2
00000376: SUB
00000377: SWAP1
00000378: RETURN
00000379: JUMPDEST
0000037a: CALLVALUE
0000037b: DUP1
0000037c: ISZERO
0000037d: PUSH2 0x0385
00000380: JUMPI
00000381: PUSH1 0x00
00000383: DUP1
00000384: REVERT
00000385: JUMPDEST
00000386: POP
00000387: PUSH2 0x03d2
0000038a: PUSH1 0x04
0000038c: DUP1
0000038d: CALLDATASIZE
0000038e: SUB
0000038f: PUSH1 0x40
00000391: DUP2
00000392: LT
00000393: ISZERO
00000394: PUSH2 0x039c
00000397: JUMPI
00000398: PUSH1 0x00
0000039a: DUP1
0000039b: REVERT
0000039c: JUMPDEST
0000039d: DUP2
0000039e: ADD
0000039f: SWAP1
000003a0: DUP1
000003a1: DUP1
000003a2: CALLDATALOAD
000003a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003b8: AND
000003b9: SWAP1
000003ba: PUSH1 0x20
000003bc: ADD
000003bd: SWAP1
000003be: SWAP3
000003bf: SWAP2
000003c0: SWAP1
000003c1: DUP1
000003c2: CALLDATALOAD
000003c3: SWAP1
000003c4: PUSH1 0x20
000003c6: ADD
000003c7: SWAP1
000003c8: SWAP3
000003c9: SWAP2
000003ca: SWAP1
000003cb: POP
000003cc: POP
000003cd: POP
000003ce: PUSH2 0x124e
000003d1: JUMP
000003d2: JUMPDEST
000003d3: STOP
000003d4: JUMPDEST
000003d5: CALLVALUE
000003d6: DUP1
000003d7: ISZERO
000003d8: PUSH2 0x03e0
000003db: JUMPI
000003dc: PUSH1 0x00
000003de: DUP1
000003df: REVERT
000003e0: JUMPDEST
000003e1: POP
000003e2: PUSH2 0x03e9
000003e5: PUSH2 0x1392
000003e8: JUMP
000003e9: JUMPDEST
000003ea: PUSH1 0x40
000003ec: MLOAD
000003ed: DUP1
000003ee: DUP3
000003ef: DUP2
000003f0: MSTORE
000003f1: PUSH1 0x20
000003f3: ADD
000003f4: SWAP2
000003f5: POP
000003f6: POP
000003f7: PUSH1 0x40
000003f9: MLOAD
000003fa: DUP1
000003fb: SWAP2
000003fc: SUB
000003fd: SWAP1
000003fe: RETURN
000003ff: JUMPDEST
00000400: CALLVALUE
00000401: DUP1
00000402: ISZERO
00000403: PUSH2 0x040b
00000406: JUMPI
00000407: PUSH1 0x00
00000409: DUP1
0000040a: REVERT
0000040b: JUMPDEST
0000040c: POP
0000040d: PUSH2 0x0414
00000410: PUSH2 0x13a3
00000413: JUMP
00000414: JUMPDEST
00000415: PUSH1 0x40
00000417: MLOAD
00000418: DUP1
00000419: DUP1
0000041a: PUSH1 0x20
0000041c: ADD
0000041d: DUP3
0000041e: DUP2
0000041f: SUB
00000420: DUP3
00000421: MSTORE
00000422: DUP4
00000423: DUP2
00000424: DUP2
00000425: MLOAD
00000426: DUP2
00000427: MSTORE
00000428: PUSH1 0x20
0000042a: ADD
0000042b: SWAP2
0000042c: POP
0000042d: DUP1
0000042e: MLOAD
0000042f: SWAP1
00000430: PUSH1 0x20
00000432: ADD
00000433: SWAP1
00000434: DUP1
00000435: DUP4
00000436: DUP4
00000437: PUSH1 0x00
00000439: JUMPDEST
0000043a: DUP4
0000043b: DUP2
0000043c: LT
0000043d: ISZERO
0000043e: PUSH2 0x0454
00000441: JUMPI
00000442: DUP1
00000443: DUP3
00000444: ADD
00000445: MLOAD
00000446: DUP2
00000447: DUP5
00000448: ADD
00000449: MSTORE
0000044a: PUSH1 0x20
0000044c: DUP2
0000044d: ADD
0000044e: SWAP1
0000044f: POP
00000450: PUSH2 0x0439
00000453: JUMP
00000454: JUMPDEST
00000455: POP
00000456: POP
00000457: POP
00000458: POP
00000459: SWAP1
0000045a: POP
0000045b: SWAP1
0000045c: DUP2
0000045d: ADD
0000045e: SWAP1
0000045f: PUSH1 0x1f
00000461: AND
00000462: DUP1
00000463: ISZERO
00000464: PUSH2 0x0481
00000467: JUMPI
00000468: DUP1
00000469: DUP3
0000046a: SUB
0000046b: DUP1
0000046c: MLOAD
0000046d: PUSH1 0x01
0000046f: DUP4
00000470: PUSH1 0x20
00000472: SUB
00000473: PUSH2 0x0100
00000476: EXP
00000477: SUB
00000478: NOT
00000479: AND
0000047a: DUP2
0000047b: MSTORE
0000047c: PUSH1 0x20
0000047e: ADD
0000047f: SWAP2
00000480: POP
00000481: JUMPDEST
00000482: POP
00000483: SWAP3
00000484: POP
00000485: POP
00000486: POP
00000487: PUSH1 0x40
00000489: MLOAD
0000048a: DUP1
0000048b: SWAP2
0000048c: SUB
0000048d: SWAP1
0000048e: RETURN
0000048f: JUMPDEST
00000490: CALLVALUE
00000491: DUP1
00000492: ISZERO
00000493: PUSH2 0x049b
00000496: JUMPI
00000497: PUSH1 0x00
00000499: DUP1
0000049a: REVERT
0000049b: JUMPDEST
0000049c: POP
0000049d: PUSH2 0x0508
000004a0: PUSH1 0x04
000004a2: DUP1
000004a3: CALLDATASIZE
000004a4: SUB
000004a5: PUSH1 0x60
000004a7: DUP2
000004a8: LT
000004a9: ISZERO
000004aa: PUSH2 0x04b2
000004ad: JUMPI
000004ae: PUSH1 0x00
000004b0: DUP1
000004b1: REVERT
000004b2: JUMPDEST
000004b3: DUP2
000004b4: ADD
000004b5: SWAP1
000004b6: DUP1
000004b7: DUP1
000004b8: CALLDATALOAD
000004b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ce: AND
000004cf: SWAP1
000004d0: PUSH1 0x20
000004d2: ADD
000004d3: SWAP1
000004d4: SWAP3
000004d5: SWAP2
000004d6: SWAP1
000004d7: DUP1
000004d8: CALLDATALOAD
000004d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ee: AND
000004ef: SWAP1
000004f0: PUSH1 0x20
000004f2: ADD
000004f3: SWAP1
000004f4: SWAP3
000004f5: SWAP2
000004f6: SWAP1
000004f7: DUP1
000004f8: CALLDATALOAD
000004f9: SWAP1
000004fa: PUSH1 0x20
000004fc: ADD
000004fd: SWAP1
000004fe: SWAP3
000004ff: SWAP2
00000500: SWAP1
00000501: POP
00000502: POP
00000503: POP
00000504: PUSH2 0x13dc
00000507: JUMP
00000508: JUMPDEST
00000509: STOP
0000050a: JUMPDEST
0000050b: CALLVALUE
0000050c: DUP1
0000050d: ISZERO
0000050e: PUSH2 0x0516
00000511: JUMPI
00000512: PUSH1 0x00
00000514: DUP1
00000515: REVERT
00000516: JUMPDEST
00000517: POP
00000518: PUSH2 0x051f
0000051b: PUSH2 0x1452
0000051e: JUMP
0000051f: JUMPDEST
00000520: PUSH1 0x40
00000522: MLOAD
00000523: DUP1
00000524: DUP1
00000525: PUSH1 0x20
00000527: ADD
00000528: DUP3
00000529: DUP2
0000052a: SUB
0000052b: DUP3
0000052c: MSTORE
0000052d: DUP4
0000052e: DUP2
0000052f: DUP2
00000530: MLOAD
00000531: DUP2
00000532: MSTORE
00000533: PUSH1 0x20
00000535: ADD
00000536: SWAP2
00000537: POP
00000538: DUP1
00000539: MLOAD
0000053a: SWAP1
0000053b: PUSH1 0x20
0000053d: ADD
0000053e: SWAP1
0000053f: DUP1
00000540: DUP4
00000541: DUP4
00000542: PUSH1 0x00
00000544: JUMPDEST
00000545: DUP4
00000546: DUP2
00000547: LT
00000548: ISZERO
00000549: PUSH2 0x055f
0000054c: JUMPI
0000054d: DUP1
0000054e: DUP3
0000054f: ADD
00000550: MLOAD
00000551: DUP2
00000552: DUP5
00000553: ADD
00000554: MSTORE
00000555: PUSH1 0x20
00000557: DUP2
00000558: ADD
00000559: SWAP1
0000055a: POP
0000055b: PUSH2 0x0544
0000055e: JUMP
0000055f: JUMPDEST
00000560: POP
00000561: POP
00000562: POP
00000563: POP
00000564: SWAP1
00000565: POP
00000566: SWAP1
00000567: DUP2
00000568: ADD
00000569: SWAP1
0000056a: PUSH1 0x1f
0000056c: AND
0000056d: DUP1
0000056e: ISZERO
0000056f: PUSH2 0x058c
00000572: JUMPI
00000573: DUP1
00000574: DUP3
00000575: SUB
00000576: DUP1
00000577: MLOAD
00000578: PUSH1 0x01
0000057a: DUP4
0000057b: PUSH1 0x20
0000057d: SUB
0000057e: PUSH2 0x0100
00000581: EXP
00000582: SUB
00000583: NOT
00000584: AND
00000585: DUP2
00000586: MSTORE
00000587: PUSH1 0x20
00000589: ADD
0000058a: SWAP2
0000058b: POP
0000058c: JUMPDEST
0000058d: POP
0000058e: SWAP3
0000058f: POP
00000590: POP
00000591: POP
00000592: PUSH1 0x40
00000594: MLOAD
00000595: DUP1
00000596: SWAP2
00000597: SUB
00000598: SWAP1
00000599: RETURN
0000059a: JUMPDEST
0000059b: CALLVALUE
0000059c: DUP1
0000059d: ISZERO
0000059e: PUSH2 0x05a6
000005a1: JUMPI
000005a2: PUSH1 0x00
000005a4: DUP1
000005a5: REVERT
000005a6: JUMPDEST
000005a7: POP
000005a8: PUSH2 0x05f3
000005ab: PUSH1 0x04
000005ad: DUP1
000005ae: CALLDATASIZE
000005af: SUB
000005b0: PUSH1 0x40
000005b2: DUP2
000005b3: LT
000005b4: ISZERO
000005b5: PUSH2 0x05bd
000005b8: JUMPI
000005b9: PUSH1 0x00
000005bb: DUP1
000005bc: REVERT
000005bd: JUMPDEST
000005be: DUP2
000005bf: ADD
000005c0: SWAP1
000005c1: DUP1
000005c2: DUP1
000005c3: CALLDATALOAD
000005c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005d9: AND
000005da: SWAP1
000005db: PUSH1 0x20
000005dd: ADD
000005de: SWAP1
000005df: SWAP3
000005e0: SWAP2
000005e1: SWAP1
000005e2: DUP1
000005e3: CALLDATALOAD
000005e4: SWAP1
000005e5: PUSH1 0x20
000005e7: ADD
000005e8: SWAP1
000005e9: SWAP3
000005ea: SWAP2
000005eb: SWAP1
000005ec: POP
000005ed: POP
000005ee: POP
000005ef: PUSH2 0x148b
000005f2: JUMP
000005f3: JUMPDEST
000005f4: PUSH1 0x40
000005f6: MLOAD
000005f7: DUP1
000005f8: DUP3
000005f9: DUP2
000005fa: MSTORE
000005fb: PUSH1 0x20
000005fd: ADD
000005fe: SWAP2
000005ff: POP
00000600: POP
00000601: PUSH1 0x40
00000603: MLOAD
00000604: DUP1
00000605: SWAP2
00000606: SUB
00000607: SWAP1
00000608: RETURN
00000609: JUMPDEST
0000060a: CALLVALUE
0000060b: DUP1
0000060c: ISZERO
0000060d: PUSH2 0x0615
00000610: JUMPI
00000611: PUSH1 0x00
00000613: DUP1
00000614: REVERT
00000615: JUMPDEST
00000616: POP
00000617: PUSH2 0x061e
0000061a: PUSH2 0x14e6
0000061d: JUMP
0000061e: JUMPDEST
0000061f: PUSH1 0x40
00000621: MLOAD
00000622: DUP1
00000623: DUP3
00000624: DUP2
00000625: MSTORE
00000626: PUSH1 0x20
00000628: ADD
00000629: SWAP2
0000062a: POP
0000062b: POP
0000062c: PUSH1 0x40
0000062e: MLOAD
0000062f: DUP1
00000630: SWAP2
00000631: SUB
00000632: SWAP1
00000633: RETURN
00000634: JUMPDEST
00000635: CALLVALUE
00000636: DUP1
00000637: ISZERO
00000638: PUSH2 0x0640
0000063b: JUMPI
0000063c: PUSH1 0x00
0000063e: DUP1
0000063f: REVERT
00000640: JUMPDEST
00000641: POP
00000642: PUSH2 0x0683
00000645: PUSH1 0x04
00000647: DUP1
00000648: CALLDATASIZE
00000649: SUB
0000064a: PUSH1 0x20
0000064c: DUP2
0000064d: LT
0000064e: ISZERO
0000064f: PUSH2 0x0657
00000652: JUMPI
00000653: PUSH1 0x00
00000655: DUP1
00000656: REVERT
00000657: JUMPDEST
00000658: DUP2
00000659: ADD
0000065a: SWAP1
0000065b: DUP1
0000065c: DUP1
0000065d: CALLDATALOAD
0000065e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000673: AND
00000674: SWAP1
00000675: PUSH1 0x20
00000677: ADD
00000678: SWAP1
00000679: SWAP3
0000067a: SWAP2
0000067b: SWAP1
0000067c: POP
0000067d: POP
0000067e: POP
0000067f: PUSH2 0x14ec
00000682: JUMP
00000683: JUMPDEST
00000684: PUSH1 0x40
00000686: MLOAD
00000687: DUP1
00000688: DUP3
00000689: PUSH1 0xff
0000068b: AND
0000068c: DUP2
0000068d: MSTORE
0000068e: PUSH1 0x20
00000690: ADD
00000691: SWAP2
00000692: POP
00000693: POP
00000694: PUSH1 0x40
00000696: MLOAD
00000697: DUP1
00000698: SWAP2
00000699: SUB
0000069a: SWAP1
0000069b: RETURN
0000069c: JUMPDEST
0000069d: CALLVALUE
0000069e: DUP1
0000069f: ISZERO
000006a0: PUSH2 0x06a8
000006a3: JUMPI
000006a4: PUSH1 0x00
000006a6: DUP1
000006a7: REVERT
000006a8: JUMPDEST
000006a9: POP
000006aa: PUSH2 0x06b1
000006ad: PUSH2 0x150c
000006b0: JUMP
000006b1: JUMPDEST
000006b2: STOP
000006b3: JUMPDEST
000006b4: CALLVALUE
000006b5: DUP1
000006b6: ISZERO
000006b7: PUSH2 0x06bf
000006ba: JUMPI
000006bb: PUSH1 0x00
000006bd: DUP1
000006be: REVERT
000006bf: JUMPDEST
000006c0: POP
000006c1: PUSH2 0x072c
000006c4: PUSH1 0x04
000006c6: DUP1
000006c7: CALLDATASIZE
000006c8: SUB
000006c9: PUSH1 0x60
000006cb: DUP2
000006cc: LT
000006cd: ISZERO
000006ce: PUSH2 0x06d6
000006d1: JUMPI
000006d2: PUSH1 0x00
000006d4: DUP1
000006d5: REVERT
000006d6: JUMPDEST
000006d7: DUP2
000006d8: ADD
000006d9: SWAP1
000006da: DUP1
000006db: DUP1
000006dc: CALLDATALOAD
000006dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006f2: AND
000006f3: SWAP1
000006f4: PUSH1 0x20
000006f6: ADD
000006f7: SWAP1
000006f8: SWAP3
000006f9: SWAP2
000006fa: SWAP1
000006fb: DUP1
000006fc: CALLDATALOAD
000006fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000712: AND
00000713: SWAP1
00000714: PUSH1 0x20
00000716: ADD
00000717: SWAP1
00000718: SWAP3
00000719: SWAP2
0000071a: SWAP1
0000071b: DUP1
0000071c: CALLDATALOAD
0000071d: SWAP1
0000071e: PUSH1 0x20
00000720: ADD
00000721: SWAP1
00000722: SWAP3
00000723: SWAP2
00000724: SWAP1
00000725: POP
00000726: POP
00000727: POP
00000728: PUSH2 0x1681
0000072b: JUMP
0000072c: JUMPDEST
0000072d: STOP
0000072e: JUMPDEST
0000072f: CALLVALUE
00000730: DUP1
00000731: ISZERO
00000732: PUSH2 0x073a
00000735: JUMPI
00000736: PUSH1 0x00
00000738: DUP1
00000739: REVERT
0000073a: JUMPDEST
0000073b: POP
0000073c: PUSH2 0x0767
0000073f: PUSH1 0x04
00000741: DUP1
00000742: CALLDATASIZE
00000743: SUB
00000744: PUSH1 0x20
00000746: DUP2
00000747: LT
00000748: ISZERO
00000749: PUSH2 0x0751
0000074c: JUMPI
0000074d: PUSH1 0x00
0000074f: DUP1
00000750: REVERT
00000751: JUMPDEST
00000752: DUP2
00000753: ADD
00000754: SWAP1
00000755: DUP1
00000756: DUP1
00000757: CALLDATALOAD
00000758: SWAP1
00000759: PUSH1 0x20
0000075b: ADD
0000075c: SWAP1
0000075d: SWAP3
0000075e: SWAP2
0000075f: SWAP1
00000760: POP
00000761: POP
00000762: POP
00000763: PUSH2 0x16a1
00000766: JUMP
00000767: JUMPDEST
00000768: PUSH1 0x40
0000076a: MLOAD
0000076b: DUP1
0000076c: DUP3
0000076d: DUP2
0000076e: MSTORE
0000076f: PUSH1 0x20
00000771: ADD
00000772: SWAP2
00000773: POP
00000774: POP
00000775: PUSH1 0x40
00000777: MLOAD
00000778: DUP1
00000779: SWAP2
0000077a: SUB
0000077b: SWAP1
0000077c: RETURN
0000077d: JUMPDEST
0000077e: CALLVALUE
0000077f: DUP1
00000780: ISZERO
00000781: PUSH2 0x0789
00000784: JUMPI
00000785: PUSH1 0x00
00000787: DUP1
00000788: REVERT
00000789: JUMPDEST
0000078a: POP
0000078b: PUSH2 0x07cc
0000078e: PUSH1 0x04
00000790: DUP1
00000791: CALLDATASIZE
00000792: SUB
00000793: PUSH1 0x20
00000795: DUP2
00000796: LT
00000797: ISZERO
00000798: PUSH2 0x07a0
0000079b: JUMPI
0000079c: PUSH1 0x00
0000079e: DUP1
0000079f: REVERT
000007a0: JUMPDEST
000007a1: DUP2
000007a2: ADD
000007a3: SWAP1
000007a4: DUP1
000007a5: DUP1
000007a6: CALLDATALOAD
000007a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007bc: AND
000007bd: SWAP1
000007be: PUSH1 0x20
000007c0: ADD
000007c1: SWAP1
000007c2: SWAP3
000007c3: SWAP2
000007c4: SWAP1
000007c5: POP
000007c6: POP
000007c7: POP
000007c8: PUSH2 0x16c4
000007cb: JUMP
000007cc: JUMPDEST
000007cd: PUSH1 0x40
000007cf: MLOAD
000007d0: DUP1
000007d1: DUP3
000007d2: ISZERO
000007d3: ISZERO
000007d4: DUP2
000007d5: MSTORE
000007d6: PUSH1 0x20
000007d8: ADD
000007d9: SWAP2
000007da: POP
000007db: POP
000007dc: PUSH1 0x40
000007de: MLOAD
000007df: DUP1
000007e0: SWAP2
000007e1: SUB
000007e2: SWAP1
000007e3: RETURN
000007e4: JUMPDEST
000007e5: CALLVALUE
000007e6: DUP1
000007e7: ISZERO
000007e8: PUSH2 0x07f0
000007eb: JUMPI
000007ec: PUSH1 0x00
000007ee: DUP1
000007ef: REVERT
000007f0: JUMPDEST
000007f1: POP
000007f2: PUSH2 0x08a7
000007f5: PUSH1 0x04
000007f7: DUP1
000007f8: CALLDATASIZE
000007f9: SUB
000007fa: PUSH1 0x20
000007fc: DUP2
000007fd: LT
000007fe: ISZERO
000007ff: PUSH2 0x0807
00000802: JUMPI
00000803: PUSH1 0x00
00000805: DUP1
00000806: REVERT
00000807: JUMPDEST
00000808: DUP2
00000809: ADD
0000080a: SWAP1
0000080b: DUP1
0000080c: DUP1
0000080d: CALLDATALOAD
0000080e: SWAP1
0000080f: PUSH1 0x20
00000811: ADD
00000812: SWAP1
00000813: PUSH5 0x0100000000
00000819: DUP2
0000081a: GT
0000081b: ISZERO
0000081c: PUSH2 0x0824
0000081f: JUMPI
00000820: PUSH1 0x00
00000822: DUP1
00000823: REVERT
00000824: JUMPDEST
00000825: DUP3
00000826: ADD
00000827: DUP4
00000828: PUSH1 0x20
0000082a: DUP3
0000082b: ADD
0000082c: GT
0000082d: ISZERO
0000082e: PUSH2 0x0836
00000831: JUMPI
00000832: PUSH1 0x00
00000834: DUP1
00000835: REVERT
00000836: JUMPDEST
00000837: DUP1
00000838: CALLDATALOAD
00000839: SWAP1
0000083a: PUSH1 0x20
0000083c: ADD
0000083d: SWAP2
0000083e: DUP5
0000083f: PUSH1 0x20
00000841: DUP4
00000842: MUL
00000843: DUP5
00000844: ADD
00000845: GT
00000846: PUSH5 0x0100000000
0000084c: DUP4
0000084d: GT
0000084e: OR
0000084f: ISZERO
00000850: PUSH2 0x0858
00000853: JUMPI
00000854: PUSH1 0x00
00000856: DUP1
00000857: REVERT
00000858: JUMPDEST
00000859: SWAP2
0000085a: SWAP1
0000085b: DUP1
0000085c: DUP1
0000085d: PUSH1 0x20
0000085f: MUL
00000860: PUSH1 0x20
00000862: ADD
00000863: PUSH1 0x40
00000865: MLOAD
00000866: SWAP1
00000867: DUP2
00000868: ADD
00000869: PUSH1 0x40
0000086b: MSTORE
0000086c: DUP1
0000086d: SWAP4
0000086e: SWAP3
0000086f: SWAP2
00000870: SWAP1
00000871: DUP2
00000872: DUP2
00000873: MSTORE
00000874: PUSH1 0x20
00000876: ADD
00000877: DUP4
00000878: DUP4
00000879: PUSH1 0x20
0000087b: MUL
0000087c: DUP1
0000087d: DUP3
0000087e: DUP5
0000087f: CALLDATACOPY
00000880: PUSH1 0x00
00000882: DUP2
00000883: DUP5
00000884: ADD
00000885: MSTORE
00000886: PUSH1 0x1f
00000888: NOT
00000889: PUSH1 0x1f
0000088b: DUP3
0000088c: ADD
0000088d: AND
0000088e: SWAP1
0000088f: POP
00000890: DUP1
00000891: DUP4
00000892: ADD
00000893: SWAP3
00000894: POP
00000895: POP
00000896: POP
00000897: POP
00000898: POP
00000899: POP
0000089a: POP
0000089b: SWAP2
0000089c: SWAP3
0000089d: SWAP2
0000089e: SWAP3
0000089f: SWAP1
000008a0: POP
000008a1: POP
000008a2: POP
000008a3: PUSH2 0x16e4
000008a6: JUMP
000008a7: JUMPDEST
000008a8: STOP
000008a9: JUMPDEST
000008aa: CALLVALUE
000008ab: DUP1
000008ac: ISZERO
000008ad: PUSH2 0x08b5
000008b0: JUMPI
000008b1: PUSH1 0x00
000008b3: DUP1
000008b4: REVERT
000008b5: JUMPDEST
000008b6: POP
000008b7: PUSH2 0x08e2
000008ba: PUSH1 0x04
000008bc: DUP1
000008bd: CALLDATASIZE
000008be: SUB
000008bf: PUSH1 0x20
000008c1: DUP2
000008c2: LT
000008c3: ISZERO
000008c4: PUSH2 0x08cc
000008c7: JUMPI
000008c8: PUSH1 0x00
000008ca: DUP1
000008cb: REVERT
000008cc: JUMPDEST
000008cd: DUP2
000008ce: ADD
000008cf: SWAP1
000008d0: DUP1
000008d1: DUP1
000008d2: CALLDATALOAD
000008d3: SWAP1
000008d4: PUSH1 0x20
000008d6: ADD
000008d7: SWAP1
000008d8: SWAP3
000008d9: SWAP2
000008da: SWAP1
000008db: POP
000008dc: POP
000008dd: POP
000008de: PUSH2 0x1898
000008e1: JUMP
000008e2: JUMPDEST
000008e3: PUSH1 0x40
000008e5: MLOAD
000008e6: DUP1
000008e7: DUP3
000008e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fd: AND
000008fe: DUP2
000008ff: MSTORE
00000900: PUSH1 0x20
00000902: ADD
00000903: SWAP2
00000904: POP
00000905: POP
00000906: PUSH1 0x40
00000908: MLOAD
00000909: DUP1
0000090a: SWAP2
0000090b: SUB
0000090c: SWAP1
0000090d: RETURN
0000090e: JUMPDEST
0000090f: CALLVALUE
00000910: DUP1
00000911: ISZERO
00000912: PUSH2 0x091a
00000915: JUMPI
00000916: PUSH1 0x00
00000918: DUP1
00000919: REVERT
0000091a: JUMPDEST
0000091b: POP
0000091c: PUSH2 0x0923
0000091f: PUSH2 0x18cf
00000922: JUMP
00000923: JUMPDEST
00000924: PUSH1 0x40
00000926: MLOAD
00000927: DUP1
00000928: DUP1
00000929: PUSH1 0x20
0000092b: ADD
0000092c: DUP3
0000092d: DUP2
0000092e: SUB
0000092f: DUP3
00000930: MSTORE
00000931: DUP4
00000932: DUP2
00000933: DUP2
00000934: MLOAD
00000935: DUP2
00000936: MSTORE
00000937: PUSH1 0x20
00000939: ADD
0000093a: SWAP2
0000093b: POP
0000093c: DUP1
0000093d: MLOAD
0000093e: SWAP1
0000093f: PUSH1 0x20
00000941: ADD
00000942: SWAP1
00000943: DUP1
00000944: DUP4
00000945: DUP4
00000946: PUSH1 0x00
00000948: JUMPDEST
00000949: DUP4
0000094a: DUP2
0000094b: LT
0000094c: ISZERO
0000094d: PUSH2 0x0963
00000950: JUMPI
00000951: DUP1
00000952: DUP3
00000953: ADD
00000954: MLOAD
00000955: DUP2
00000956: DUP5
00000957: ADD
00000958: MSTORE
00000959: PUSH1 0x20
0000095b: DUP2
0000095c: ADD
0000095d: SWAP1
0000095e: POP
0000095f: PUSH2 0x0948
00000962: JUMP
00000963: JUMPDEST
00000964: POP
00000965: POP
00000966: POP
00000967: POP
00000968: SWAP1
00000969: POP
0000096a: SWAP1
0000096b: DUP2
0000096c: ADD
0000096d: SWAP1
0000096e: PUSH1 0x1f
00000970: AND
00000971: DUP1
00000972: ISZERO
00000973: PUSH2 0x0990
00000976: JUMPI
00000977: DUP1
00000978: DUP3
00000979: SUB
0000097a: DUP1
0000097b: MLOAD
0000097c: PUSH1 0x01
0000097e: DUP4
0000097f: PUSH1 0x20
00000981: SUB
00000982: PUSH2 0x0100
00000985: EXP
00000986: SUB
00000987: NOT
00000988: AND
00000989: DUP2
0000098a: MSTORE
0000098b: PUSH1 0x20
0000098d: ADD
0000098e: SWAP2
0000098f: POP
00000990: JUMPDEST
00000991: POP
00000992: SWAP3
00000993: POP
00000994: POP
00000995: POP
00000996: PUSH1 0x40
00000998: MLOAD
00000999: DUP1
0000099a: SWAP2
0000099b: SUB
0000099c: SWAP1
0000099d: RETURN
0000099e: JUMPDEST
0000099f: CALLVALUE
000009a0: DUP1
000009a1: ISZERO
000009a2: PUSH2 0x09aa
000009a5: JUMPI
000009a6: PUSH1 0x00
000009a8: DUP1
000009a9: REVERT
000009aa: JUMPDEST
000009ab: POP
000009ac: PUSH2 0x09ed
000009af: PUSH1 0x04
000009b1: DUP1
000009b2: CALLDATASIZE
000009b3: SUB
000009b4: PUSH1 0x20
000009b6: DUP2
000009b7: LT
000009b8: ISZERO
000009b9: PUSH2 0x09c1
000009bc: JUMPI
000009bd: PUSH1 0x00
000009bf: DUP1
000009c0: REVERT
000009c1: JUMPDEST
000009c2: DUP2
000009c3: ADD
000009c4: SWAP1
000009c5: DUP1
000009c6: DUP1
000009c7: CALLDATALOAD
000009c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009dd: AND
000009de: SWAP1
000009df: PUSH1 0x20
000009e1: ADD
000009e2: SWAP1
000009e3: SWAP3
000009e4: SWAP2
000009e5: SWAP1
000009e6: POP
000009e7: POP
000009e8: POP
000009e9: PUSH2 0x1971
000009ec: JUMP
000009ed: JUMPDEST
000009ee: PUSH1 0x40
000009f0: MLOAD
000009f1: DUP1
000009f2: DUP3
000009f3: DUP2
000009f4: MSTORE
000009f5: PUSH1 0x20
000009f7: ADD
000009f8: SWAP2
000009f9: POP
000009fa: POP
000009fb: PUSH1 0x40
000009fd: MLOAD
000009fe: DUP1
000009ff: SWAP2
00000a00: SUB
00000a01: SWAP1
00000a02: RETURN
00000a03: JUMPDEST
00000a04: CALLVALUE
00000a05: DUP1
00000a06: ISZERO
00000a07: PUSH2 0x0a0f
00000a0a: JUMPI
00000a0b: PUSH1 0x00
00000a0d: DUP1
00000a0e: REVERT
00000a0f: JUMPDEST
00000a10: POP
00000a11: PUSH2 0x0a18
00000a14: PUSH2 0x1a46
00000a17: JUMP
00000a18: JUMPDEST
00000a19: STOP
00000a1a: JUMPDEST
00000a1b: CALLVALUE
00000a1c: DUP1
00000a1d: ISZERO
00000a1e: PUSH2 0x0a26
00000a21: JUMPI
00000a22: PUSH1 0x00
00000a24: DUP1
00000a25: REVERT
00000a26: JUMPDEST
00000a27: POP
00000a28: PUSH2 0x0add
00000a2b: PUSH1 0x04
00000a2d: DUP1
00000a2e: CALLDATASIZE
00000a2f: SUB
00000a30: PUSH1 0x20
00000a32: DUP2
00000a33: LT
00000a34: ISZERO
00000a35: PUSH2 0x0a3d
00000a38: JUMPI
00000a39: PUSH1 0x00
00000a3b: DUP1
00000a3c: REVERT
00000a3d: JUMPDEST
00000a3e: DUP2
00000a3f: ADD
00000a40: SWAP1
00000a41: DUP1
00000a42: DUP1
00000a43: CALLDATALOAD
00000a44: SWAP1
00000a45: PUSH1 0x20
00000a47: ADD
00000a48: SWAP1
00000a49: PUSH5 0x0100000000
00000a4f: DUP2
00000a50: GT
00000a51: ISZERO
00000a52: PUSH2 0x0a5a
00000a55: JUMPI
00000a56: PUSH1 0x00
00000a58: DUP1
00000a59: REVERT
00000a5a: JUMPDEST
00000a5b: DUP3
00000a5c: ADD
00000a5d: DUP4
00000a5e: PUSH1 0x20
00000a60: DUP3
00000a61: ADD
00000a62: GT
00000a63: ISZERO
00000a64: PUSH2 0x0a6c
00000a67: JUMPI
00000a68: PUSH1 0x00
00000a6a: DUP1
00000a6b: REVERT
00000a6c: JUMPDEST
00000a6d: DUP1
00000a6e: CALLDATALOAD
00000a6f: SWAP1
00000a70: PUSH1 0x20
00000a72: ADD
00000a73: SWAP2
00000a74: DUP5
00000a75: PUSH1 0x20
00000a77: DUP4
00000a78: MUL
00000a79: DUP5
00000a7a: ADD
00000a7b: GT
00000a7c: PUSH5 0x0100000000
00000a82: DUP4
00000a83: GT
00000a84: OR
00000a85: ISZERO
00000a86: PUSH2 0x0a8e
00000a89: JUMPI
00000a8a: PUSH1 0x00
00000a8c: DUP1
00000a8d: REVERT
00000a8e: JUMPDEST
00000a8f: SWAP2
00000a90: SWAP1
00000a91: DUP1
00000a92: DUP1
00000a93: PUSH1 0x20
00000a95: MUL
00000a96: PUSH1 0x20
00000a98: ADD
00000a99: PUSH1 0x40
00000a9b: MLOAD
00000a9c: SWAP1
00000a9d: DUP2
00000a9e: ADD
00000a9f: PUSH1 0x40
00000aa1: MSTORE
00000aa2: DUP1
00000aa3: SWAP4
00000aa4: SWAP3
00000aa5: SWAP2
00000aa6: SWAP1
00000aa7: DUP2
00000aa8: DUP2
00000aa9: MSTORE
00000aaa: PUSH1 0x20
00000aac: ADD
00000aad: DUP4
00000aae: DUP4
00000aaf: PUSH1 0x20
00000ab1: MUL
00000ab2: DUP1
00000ab3: DUP3
00000ab4: DUP5
00000ab5: CALLDATACOPY
00000ab6: PUSH1 0x00
00000ab8: DUP2
00000ab9: DUP5
00000aba: ADD
00000abb: MSTORE
00000abc: PUSH1 0x1f
00000abe: NOT
00000abf: PUSH1 0x1f
00000ac1: DUP3
00000ac2: ADD
00000ac3: AND
00000ac4: SWAP1
00000ac5: POP
00000ac6: DUP1
00000ac7: DUP4
00000ac8: ADD
00000ac9: SWAP3
00000aca: POP
00000acb: POP
00000acc: POP
00000acd: POP
00000ace: POP
00000acf: POP
00000ad0: POP
00000ad1: SWAP2
00000ad2: SWAP3
00000ad3: SWAP2
00000ad4: SWAP3
00000ad5: SWAP1
00000ad6: POP
00000ad7: POP
00000ad8: POP
00000ad9: PUSH2 0x1bb3
00000adc: JUMP
00000add: JUMPDEST
00000ade: STOP
00000adf: JUMPDEST
00000ae0: CALLVALUE
00000ae1: DUP1
00000ae2: ISZERO
00000ae3: PUSH2 0x0aeb
00000ae6: JUMPI
00000ae7: PUSH1 0x00
00000ae9: DUP1
00000aea: REVERT
00000aeb: JUMPDEST
00000aec: POP
00000aed: PUSH2 0x0af4
00000af0: PUSH2 0x1d68
00000af3: JUMP
00000af4: JUMPDEST
00000af5: PUSH1 0x40
00000af7: MLOAD
00000af8: DUP1
00000af9: DUP3
00000afa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b0f: AND
00000b10: DUP2
00000b11: MSTORE
00000b12: PUSH1 0x20
00000b14: ADD
00000b15: SWAP2
00000b16: POP
00000b17: POP
00000b18: PUSH1 0x40
00000b1a: MLOAD
00000b1b: DUP1
00000b1c: SWAP2
00000b1d: SUB
00000b1e: SWAP1
00000b1f: RETURN
00000b20: JUMPDEST
00000b21: CALLVALUE
00000b22: DUP1
00000b23: ISZERO
00000b24: PUSH2 0x0b2c
00000b27: JUMPI
00000b28: PUSH1 0x00
00000b2a: DUP1
00000b2b: REVERT
00000b2c: JUMPDEST
00000b2d: POP
00000b2e: PUSH2 0x0b35
00000b31: PUSH2 0x1d91
00000b34: JUMP
00000b35: JUMPDEST
00000b36: PUSH1 0x40
00000b38: MLOAD
00000b39: DUP1
00000b3a: DUP1
00000b3b: PUSH1 0x20
00000b3d: ADD
00000b3e: DUP3
00000b3f: DUP2
00000b40: SUB
00000b41: DUP3
00000b42: MSTORE
00000b43: DUP4
00000b44: DUP2
00000b45: DUP2
00000b46: MLOAD
00000b47: DUP2
00000b48: MSTORE
00000b49: PUSH1 0x20
00000b4b: ADD
00000b4c: SWAP2
00000b4d: POP
00000b4e: DUP1
00000b4f: MLOAD
00000b50: SWAP1
00000b51: PUSH1 0x20
00000b53: ADD
00000b54: SWAP1
00000b55: DUP1
00000b56: DUP4
00000b57: DUP4
00000b58: PUSH1 0x00
00000b5a: JUMPDEST
00000b5b: DUP4
00000b5c: DUP2
00000b5d: LT
00000b5e: ISZERO
00000b5f: PUSH2 0x0b75
00000b62: JUMPI
00000b63: DUP1
00000b64: DUP3
00000b65: ADD
00000b66: MLOAD
00000b67: DUP2
00000b68: DUP5
00000b69: ADD
00000b6a: MSTORE
00000b6b: PUSH1 0x20
00000b6d: DUP2
00000b6e: ADD
00000b6f: SWAP1
00000b70: POP
00000b71: PUSH2 0x0b5a
00000b74: JUMP
00000b75: JUMPDEST
00000b76: POP
00000b77: POP
00000b78: POP
00000b79: POP
00000b7a: SWAP1
00000b7b: POP
00000b7c: SWAP1
00000b7d: DUP2
00000b7e: ADD
00000b7f: SWAP1
00000b80: PUSH1 0x1f
00000b82: AND
00000b83: DUP1
00000b84: ISZERO
00000b85: PUSH2 0x0ba2
00000b88: JUMPI
00000b89: DUP1
00000b8a: DUP3
00000b8b: SUB
00000b8c: DUP1
00000b8d: MLOAD
00000b8e: PUSH1 0x01
00000b90: DUP4
00000b91: PUSH1 0x20
00000b93: SUB
00000b94: PUSH2 0x0100
00000b97: EXP
00000b98: SUB
00000b99: NOT
00000b9a: AND
00000b9b: DUP2
00000b9c: MSTORE
00000b9d: PUSH1 0x20
00000b9f: ADD
00000ba0: SWAP2
00000ba1: POP
00000ba2: JUMPDEST
00000ba3: POP
00000ba4: SWAP3
00000ba5: POP
00000ba6: POP
00000ba7: POP
00000ba8: PUSH1 0x40
00000baa: MLOAD
00000bab: DUP1
00000bac: SWAP2
00000bad: SUB
00000bae: SWAP1
00000baf: RETURN
00000bb0: JUMPDEST
00000bb1: CALLVALUE
00000bb2: DUP1
00000bb3: ISZERO
00000bb4: PUSH2 0x0bbc
00000bb7: JUMPI
00000bb8: PUSH1 0x00
00000bba: DUP1
00000bbb: REVERT
00000bbc: JUMPDEST
00000bbd: POP
00000bbe: PUSH2 0x0c76
00000bc1: PUSH1 0x04
00000bc3: DUP1
00000bc4: CALLDATASIZE
00000bc5: SUB
00000bc6: PUSH1 0x20
00000bc8: DUP2
00000bc9: LT
00000bca: ISZERO
00000bcb: PUSH2 0x0bd3
00000bce: JUMPI
00000bcf: PUSH1 0x00
00000bd1: DUP1
00000bd2: REVERT
00000bd3: JUMPDEST
00000bd4: DUP2
00000bd5: ADD
00000bd6: SWAP1
00000bd7: DUP1
00000bd8: DUP1
00000bd9: CALLDATALOAD
00000bda: SWAP1
00000bdb: PUSH1 0x20
00000bdd: ADD
00000bde: SWAP1
00000bdf: PUSH5 0x0100000000
00000be5: DUP2
00000be6: GT
00000be7: ISZERO
00000be8: PUSH2 0x0bf0
00000beb: JUMPI
00000bec: PUSH1 0x00
00000bee: DUP1
00000bef: REVERT
00000bf0: JUMPDEST
00000bf1: DUP3
00000bf2: ADD
00000bf3: DUP4
00000bf4: PUSH1 0x20
00000bf6: DUP3
00000bf7: ADD
00000bf8: GT
00000bf9: ISZERO
00000bfa: PUSH2 0x0c02
00000bfd: JUMPI
00000bfe: PUSH1 0x00
00000c00: DUP1
00000c01: REVERT
00000c02: JUMPDEST
00000c03: DUP1
00000c04: CALLDATALOAD
00000c05: SWAP1
00000c06: PUSH1 0x20
00000c08: ADD
00000c09: SWAP2
00000c0a: DUP5
00000c0b: PUSH1 0x01
00000c0d: DUP4
00000c0e: MUL
00000c0f: DUP5
00000c10: ADD
00000c11: GT
00000c12: PUSH5 0x0100000000
00000c18: DUP4
00000c19: GT
00000c1a: OR
00000c1b: ISZERO
00000c1c: PUSH2 0x0c24
00000c1f: JUMPI
00000c20: PUSH1 0x00
00000c22: DUP1
00000c23: REVERT
00000c24: JUMPDEST
00000c25: SWAP2
00000c26: SWAP1
00000c27: DUP1
00000c28: DUP1
00000c29: PUSH1 0x1f
00000c2b: ADD
00000c2c: PUSH1 0x20
00000c2e: DUP1
00000c2f: SWAP2
00000c30: DIV
00000c31: MUL
00000c32: PUSH1 0x20
00000c34: ADD
00000c35: PUSH1 0x40
00000c37: MLOAD
00000c38: SWAP1
00000c39: DUP2
00000c3a: ADD
00000c3b: PUSH1 0x40
00000c3d: MSTORE
00000c3e: DUP1
00000c3f: SWAP4
00000c40: SWAP3
00000c41: SWAP2
00000c42: SWAP1
00000c43: DUP2
00000c44: DUP2
00000c45: MSTORE
00000c46: PUSH1 0x20
00000c48: ADD
00000c49: DUP4
00000c4a: DUP4
00000c4b: DUP1
00000c4c: DUP3
00000c4d: DUP5
00000c4e: CALLDATACOPY
00000c4f: PUSH1 0x00
00000c51: DUP2
00000c52: DUP5
00000c53: ADD
00000c54: MSTORE
00000c55: PUSH1 0x1f
00000c57: NOT
00000c58: PUSH1 0x1f
00000c5a: DUP3
00000c5b: ADD
00000c5c: AND
00000c5d: SWAP1
00000c5e: POP
00000c5f: DUP1
00000c60: DUP4
00000c61: ADD
00000c62: SWAP3
00000c63: POP
00000c64: POP
00000c65: POP
00000c66: POP
00000c67: POP
00000c68: POP
00000c69: POP
00000c6a: SWAP2
00000c6b: SWAP3
00000c6c: SWAP2
00000c6d: SWAP3
00000c6e: SWAP1
00000c6f: POP
00000c70: POP
00000c71: POP
00000c72: PUSH2 0x1e33
00000c75: JUMP
00000c76: JUMPDEST
00000c77: STOP
00000c78: JUMPDEST
00000c79: CALLVALUE
00000c7a: DUP1
00000c7b: ISZERO
00000c7c: PUSH2 0x0c84
00000c7f: JUMPI
00000c80: PUSH1 0x00
00000c82: DUP1
00000c83: REVERT
00000c84: JUMPDEST
00000c85: POP
00000c86: PUSH2 0x0cd3
00000c89: PUSH1 0x04
00000c8b: DUP1
00000c8c: CALLDATASIZE
00000c8d: SUB
00000c8e: PUSH1 0x40
00000c90: DUP2
00000c91: LT
00000c92: ISZERO
00000c93: PUSH2 0x0c9b
00000c96: JUMPI
00000c97: PUSH1 0x00
00000c99: DUP1
00000c9a: REVERT
00000c9b: JUMPDEST
00000c9c: DUP2
00000c9d: ADD
00000c9e: SWAP1
00000c9f: DUP1
00000ca0: DUP1
00000ca1: CALLDATALOAD
00000ca2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb7: AND
00000cb8: SWAP1
00000cb9: PUSH1 0x20
00000cbb: ADD
00000cbc: SWAP1
00000cbd: SWAP3
00000cbe: SWAP2
00000cbf: SWAP1
00000cc0: DUP1
00000cc1: CALLDATALOAD
00000cc2: ISZERO
00000cc3: ISZERO
00000cc4: SWAP1
00000cc5: PUSH1 0x20
00000cc7: ADD
00000cc8: SWAP1
00000cc9: SWAP3
00000cca: SWAP2
00000ccb: SWAP1
00000ccc: POP
00000ccd: POP
00000cce: POP
00000ccf: PUSH2 0x1eee
00000cd2: JUMP
00000cd3: JUMPDEST
00000cd4: STOP
00000cd5: JUMPDEST
00000cd6: CALLVALUE
00000cd7: DUP1
00000cd8: ISZERO
00000cd9: PUSH2 0x0ce1
00000cdc: JUMPI
00000cdd: PUSH1 0x00
00000cdf: DUP1
00000ce0: REVERT
00000ce1: JUMPDEST
00000ce2: POP
00000ce3: PUSH2 0x0cea
00000ce6: PUSH2 0x20a4
00000ce9: JUMP
00000cea: JUMPDEST
00000ceb: STOP
00000cec: JUMPDEST
00000ced: CALLVALUE
00000cee: DUP1
00000cef: ISZERO
00000cf0: PUSH2 0x0cf8
00000cf3: JUMPI
00000cf4: PUSH1 0x00
00000cf6: DUP1
00000cf7: REVERT
00000cf8: JUMPDEST
00000cf9: POP
00000cfa: PUSH2 0x0dfc
00000cfd: PUSH1 0x04
00000cff: DUP1
00000d00: CALLDATASIZE
00000d01: SUB
00000d02: PUSH1 0x80
00000d04: DUP2
00000d05: LT
00000d06: ISZERO
00000d07: PUSH2 0x0d0f
00000d0a: JUMPI
00000d0b: PUSH1 0x00
00000d0d: DUP1
00000d0e: REVERT
00000d0f: JUMPDEST
00000d10: DUP2
00000d11: ADD
00000d12: SWAP1
00000d13: DUP1
00000d14: DUP1
00000d15: CALLDATALOAD
00000d16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d2b: AND
00000d2c: SWAP1
00000d2d: PUSH1 0x20
00000d2f: ADD
00000d30: SWAP1
00000d31: SWAP3
00000d32: SWAP2
00000d33: SWAP1
00000d34: DUP1
00000d35: CALLDATALOAD
00000d36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d4b: AND
00000d4c: SWAP1
00000d4d: PUSH1 0x20
00000d4f: ADD
00000d50: SWAP1
00000d51: SWAP3
00000d52: SWAP2
00000d53: SWAP1
00000d54: DUP1
00000d55: CALLDATALOAD
00000d56: SWAP1
00000d57: PUSH1 0x20
00000d59: ADD
00000d5a: SWAP1
00000d5b: SWAP3
00000d5c: SWAP2
00000d5d: SWAP1
00000d5e: DUP1
00000d5f: CALLDATALOAD
00000d60: SWAP1
00000d61: PUSH1 0x20
00000d63: ADD
00000d64: SWAP1
00000d65: PUSH5 0x0100000000
00000d6b: DUP2
00000d6c: GT
00000d6d: ISZERO
00000d6e: PUSH2 0x0d76
00000d71: JUMPI
00000d72: PUSH1 0x00
00000d74: DUP1
00000d75: REVERT
00000d76: JUMPDEST
00000d77: DUP3
00000d78: ADD
00000d79: DUP4
00000d7a: PUSH1 0x20
00000d7c: DUP3
00000d7d: ADD
00000d7e: GT
00000d7f: ISZERO
00000d80: PUSH2 0x0d88
00000d83: JUMPI
00000d84: PUSH1 0x00
00000d86: DUP1
00000d87: REVERT
00000d88: JUMPDEST
00000d89: DUP1
00000d8a: CALLDATALOAD
00000d8b: SWAP1
00000d8c: PUSH1 0x20
00000d8e: ADD
00000d8f: SWAP2
00000d90: DUP5
00000d91: PUSH1 0x01
00000d93: DUP4
00000d94: MUL
00000d95: DUP5
00000d96: ADD
00000d97: GT
00000d98: PUSH5 0x0100000000
00000d9e: DUP4
00000d9f: GT
00000da0: OR
00000da1: ISZERO
00000da2: PUSH2 0x0daa
00000da5: JUMPI
00000da6: PUSH1 0x00
00000da8: DUP1
00000da9: REVERT
00000daa: JUMPDEST
00000dab: SWAP2
00000dac: SWAP1
00000dad: DUP1
00000dae: DUP1
00000daf: PUSH1 0x1f
00000db1: ADD
00000db2: PUSH1 0x20
00000db4: DUP1
00000db5: SWAP2
00000db6: DIV
00000db7: MUL
00000db8: PUSH1 0x20
00000dba: ADD
00000dbb: PUSH1 0x40
00000dbd: MLOAD
00000dbe: SWAP1
00000dbf: DUP2
00000dc0: ADD
00000dc1: PUSH1 0x40
00000dc3: MSTORE
00000dc4: DUP1
00000dc5: SWAP4
00000dc6: SWAP3
00000dc7: SWAP2
00000dc8: SWAP1
00000dc9: DUP2
00000dca: DUP2
00000dcb: MSTORE
00000dcc: PUSH1 0x20
00000dce: ADD
00000dcf: DUP4
00000dd0: DUP4
00000dd1: DUP1
00000dd2: DUP3
00000dd3: DUP5
00000dd4: CALLDATACOPY
00000dd5: PUSH1 0x00
00000dd7: DUP2
00000dd8: DUP5
00000dd9: ADD
00000dda: MSTORE
00000ddb: PUSH1 0x1f
00000ddd: NOT
00000dde: PUSH1 0x1f
00000de0: DUP3
00000de1: ADD
00000de2: AND
00000de3: SWAP1
00000de4: POP
00000de5: DUP1
00000de6: DUP4
00000de7: ADD
00000de8: SWAP3
00000de9: POP
00000dea: POP
00000deb: POP
00000dec: POP
00000ded: POP
00000dee: POP
00000def: POP
00000df0: SWAP2
00000df1: SWAP3
00000df2: SWAP2
00000df3: SWAP3
00000df4: SWAP1
00000df5: POP
00000df6: POP
00000df7: POP
00000df8: PUSH2 0x21db
00000dfb: JUMP
00000dfc: JUMPDEST
00000dfd: STOP
00000dfe: JUMPDEST
00000dff: CALLVALUE
00000e00: DUP1
00000e01: ISZERO
00000e02: PUSH2 0x0e0a
00000e05: JUMPI
00000e06: PUSH1 0x00
00000e08: DUP1
00000e09: REVERT
00000e0a: JUMPDEST
00000e0b: POP
00000e0c: PUSH2 0x0e41
00000e0f: PUSH1 0x04
00000e11: DUP1
00000e12: CALLDATASIZE
00000e13: SUB
00000e14: PUSH1 0x40
00000e16: DUP2
00000e17: LT
00000e18: ISZERO
00000e19: PUSH2 0x0e21
00000e1c: JUMPI
00000e1d: PUSH1 0x00
00000e1f: DUP1
00000e20: REVERT
00000e21: JUMPDEST
00000e22: DUP2
00000e23: ADD
00000e24: SWAP1
00000e25: DUP1
00000e26: DUP1
00000e27: CALLDATALOAD
00000e28: SWAP1
00000e29: PUSH1 0x20
00000e2b: ADD
00000e2c: SWAP1
00000e2d: SWAP3
00000e2e: SWAP2
00000e2f: SWAP1
00000e30: DUP1
00000e31: CALLDATALOAD
00000e32: SWAP1
00000e33: PUSH1 0x20
00000e35: ADD
00000e36: SWAP1
00000e37: SWAP3
00000e38: SWAP2
00000e39: SWAP1
00000e3a: POP
00000e3b: POP
00000e3c: POP
00000e3d: PUSH2 0x2253
00000e40: JUMP
00000e41: JUMPDEST
00000e42: STOP
00000e43: JUMPDEST
00000e44: CALLVALUE
00000e45: DUP1
00000e46: ISZERO
00000e47: PUSH2 0x0e4f
00000e4a: JUMPI
00000e4b: PUSH1 0x00
00000e4d: DUP1
00000e4e: REVERT
00000e4f: JUMPDEST
00000e50: POP
00000e51: PUSH2 0x0e7c
00000e54: PUSH1 0x04
00000e56: DUP1
00000e57: CALLDATASIZE
00000e58: SUB
00000e59: PUSH1 0x20
00000e5b: DUP2
00000e5c: LT
00000e5d: ISZERO
00000e5e: PUSH2 0x0e66
00000e61: JUMPI
00000e62: PUSH1 0x00
00000e64: DUP1
00000e65: REVERT
00000e66: JUMPDEST
00000e67: DUP2
00000e68: ADD
00000e69: SWAP1
00000e6a: DUP1
00000e6b: DUP1
00000e6c: CALLDATALOAD
00000e6d: SWAP1
00000e6e: PUSH1 0x20
00000e70: ADD
00000e71: SWAP1
00000e72: SWAP3
00000e73: SWAP2
00000e74: SWAP1
00000e75: POP
00000e76: POP
00000e77: POP
00000e78: PUSH2 0x2314
00000e7b: JUMP
00000e7c: JUMPDEST
00000e7d: PUSH1 0x40
00000e7f: MLOAD
00000e80: DUP1
00000e81: DUP3
00000e82: DUP2
00000e83: MSTORE
00000e84: PUSH1 0x20
00000e86: ADD
00000e87: SWAP2
00000e88: POP
00000e89: POP
00000e8a: PUSH1 0x40
00000e8c: MLOAD
00000e8d: DUP1
00000e8e: SWAP2
00000e8f: SUB
00000e90: SWAP1
00000e91: RETURN
00000e92: JUMPDEST
00000e93: PUSH2 0x0e9a
00000e96: PUSH2 0x232c
00000e99: JUMP
00000e9a: JUMPDEST
00000e9b: STOP
00000e9c: JUMPDEST
00000e9d: CALLVALUE
00000e9e: DUP1
00000e9f: ISZERO
00000ea0: PUSH2 0x0ea8
00000ea3: JUMPI
00000ea4: PUSH1 0x00
00000ea6: DUP1
00000ea7: REVERT
00000ea8: JUMPDEST
00000ea9: POP
00000eaa: PUSH2 0x0eb1
00000ead: PUSH2 0x2651
00000eb0: JUMP
00000eb1: JUMPDEST
00000eb2: PUSH1 0x40
00000eb4: MLOAD
00000eb5: DUP1
00000eb6: DUP3
00000eb7: DUP2
00000eb8: MSTORE
00000eb9: PUSH1 0x20
00000ebb: ADD
00000ebc: SWAP2
00000ebd: POP
00000ebe: POP
00000ebf: PUSH1 0x40
00000ec1: MLOAD
00000ec2: DUP1
00000ec3: SWAP2
00000ec4: SUB
00000ec5: SWAP1
00000ec6: RETURN
00000ec7: JUMPDEST
00000ec8: CALLVALUE
00000ec9: DUP1
00000eca: ISZERO
00000ecb: PUSH2 0x0ed3
00000ece: JUMPI
00000ecf: PUSH1 0x00
00000ed1: DUP1
00000ed2: REVERT
00000ed3: JUMPDEST
00000ed4: POP
00000ed5: PUSH2 0x0f00
00000ed8: PUSH1 0x04
00000eda: DUP1
00000edb: CALLDATASIZE
00000edc: SUB
00000edd: PUSH1 0x20
00000edf: DUP2
00000ee0: LT
00000ee1: ISZERO
00000ee2: PUSH2 0x0eea
00000ee5: JUMPI
00000ee6: PUSH1 0x00
00000ee8: DUP1
00000ee9: REVERT
00000eea: JUMPDEST
00000eeb: DUP2
00000eec: ADD
00000eed: SWAP1
00000eee: DUP1
00000eef: DUP1
00000ef0: CALLDATALOAD
00000ef1: SWAP1
00000ef2: PUSH1 0x20
00000ef4: ADD
00000ef5: SWAP1
00000ef6: SWAP3
00000ef7: SWAP2
00000ef8: SWAP1
00000ef9: POP
00000efa: POP
00000efb: POP
00000efc: PUSH2 0x2657
00000eff: JUMP
00000f00: JUMPDEST
00000f01: PUSH1 0x40
00000f03: MLOAD
00000f04: DUP1
00000f05: DUP1
00000f06: PUSH1 0x20
00000f08: ADD
00000f09: DUP3
00000f0a: DUP2
00000f0b: SUB
00000f0c: DUP3
00000f0d: MSTORE
00000f0e: DUP4
00000f0f: DUP2
00000f10: DUP2
00000f11: MLOAD
00000f12: DUP2
00000f13: MSTORE
00000f14: PUSH1 0x20
00000f16: ADD
00000f17: SWAP2
00000f18: POP
00000f19: DUP1
00000f1a: MLOAD
00000f1b: SWAP1
00000f1c: PUSH1 0x20
00000f1e: ADD
00000f1f: SWAP1
00000f20: DUP1
00000f21: DUP4
00000f22: DUP4
00000f23: PUSH1 0x00
00000f25: JUMPDEST
00000f26: DUP4
00000f27: DUP2
00000f28: LT
00000f29: ISZERO
00000f2a: PUSH2 0x0f40
00000f2d: JUMPI
00000f2e: DUP1
00000f2f: DUP3
00000f30: ADD
00000f31: MLOAD
00000f32: DUP2
00000f33: DUP5
00000f34: ADD
00000f35: MSTORE
00000f36: PUSH1 0x20
00000f38: DUP2
00000f39: ADD
00000f3a: SWAP1
00000f3b: POP
00000f3c: PUSH2 0x0f25
00000f3f: JUMP
00000f40: JUMPDEST
00000f41: POP
00000f42: POP
00000f43: POP
00000f44: POP
00000f45: SWAP1
00000f46: POP
00000f47: SWAP1
00000f48: DUP2
00000f49: ADD
00000f4a: SWAP1
00000f4b: PUSH1 0x1f
00000f4d: AND
00000f4e: DUP1
00000f4f: ISZERO
00000f50: PUSH2 0x0f6d
00000f53: JUMPI
00000f54: DUP1
00000f55: DUP3
00000f56: SUB
00000f57: DUP1
00000f58: MLOAD
00000f59: PUSH1 0x01
00000f5b: DUP4
00000f5c: PUSH1 0x20
00000f5e: SUB
00000f5f: PUSH2 0x0100
00000f62: EXP
00000f63: SUB
00000f64: NOT
00000f65: AND
00000f66: DUP2
00000f67: MSTORE
00000f68: PUSH1 0x20
00000f6a: ADD
00000f6b: SWAP2
00000f6c: POP
00000f6d: JUMPDEST
00000f6e: POP
00000f6f: SWAP3
00000f70: POP
00000f71: POP
00000f72: POP
00000f73: PUSH1 0x40
00000f75: MLOAD
00000f76: DUP1
00000f77: SWAP2
00000f78: SUB
00000f79: SWAP1
00000f7a: RETURN
00000f7b: JUMPDEST
00000f7c: CALLVALUE
00000f7d: DUP1
00000f7e: ISZERO
00000f7f: PUSH2 0x0f87
00000f82: JUMPI
00000f83: PUSH1 0x00
00000f85: DUP1
00000f86: REVERT
00000f87: JUMPDEST
00000f88: POP
00000f89: PUSH2 0x0f90
00000f8c: PUSH2 0x2928
00000f8f: JUMP
00000f90: JUMPDEST
00000f91: PUSH1 0x40
00000f93: MLOAD
00000f94: DUP1
00000f95: DUP3
00000f96: DUP2
00000f97: MSTORE
00000f98: PUSH1 0x20
00000f9a: ADD
00000f9b: SWAP2
00000f9c: POP
00000f9d: POP
00000f9e: PUSH1 0x40
00000fa0: MLOAD
00000fa1: DUP1
00000fa2: SWAP2
00000fa3: SUB
00000fa4: SWAP1
00000fa5: RETURN
00000fa6: JUMPDEST
00000fa7: CALLVALUE
00000fa8: DUP1
00000fa9: ISZERO
00000faa: PUSH2 0x0fb2
00000fad: JUMPI
00000fae: PUSH1 0x00
00000fb0: DUP1
00000fb1: REVERT
00000fb2: JUMPDEST
00000fb3: POP
00000fb4: PUSH2 0x0fbb
00000fb7: PUSH2 0x2933
00000fba: JUMP
00000fbb: JUMPDEST
00000fbc: PUSH1 0x40
00000fbe: MLOAD
00000fbf: DUP1
00000fc0: DUP3
00000fc1: DUP2
00000fc2: MSTORE
00000fc3: PUSH1 0x20
00000fc5: ADD
00000fc6: SWAP2
00000fc7: POP
00000fc8: POP
00000fc9: PUSH1 0x40
00000fcb: MLOAD
00000fcc: DUP1
00000fcd: SWAP2
00000fce: SUB
00000fcf: SWAP1
00000fd0: RETURN
00000fd1: JUMPDEST
00000fd2: CALLVALUE
00000fd3: DUP1
00000fd4: ISZERO
00000fd5: PUSH2 0x0fdd
00000fd8: JUMPI
00000fd9: PUSH1 0x00
00000fdb: DUP1
00000fdc: REVERT
00000fdd: JUMPDEST
00000fde: POP
00000fdf: PUSH2 0x1040
00000fe2: PUSH1 0x04
00000fe4: DUP1
00000fe5: CALLDATASIZE
00000fe6: SUB
00000fe7: PUSH1 0x40
00000fe9: DUP2
00000fea: LT
00000feb: ISZERO
00000fec: PUSH2 0x0ff4
00000fef: JUMPI
00000ff0: PUSH1 0x00
00000ff2: DUP1
00000ff3: REVERT
00000ff4: JUMPDEST
00000ff5: DUP2
00000ff6: ADD
00000ff7: SWAP1
00000ff8: DUP1
00000ff9: DUP1
00000ffa: CALLDATALOAD
00000ffb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001010: AND
00001011: SWAP1
00001012: PUSH1 0x20
00001014: ADD
00001015: SWAP1
00001016: SWAP3
00001017: SWAP2
00001018: SWAP1
00001019: DUP1
0000101a: CALLDATALOAD
0000101b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001030: AND
00001031: SWAP1
00001032: PUSH1 0x20
00001034: ADD
00001035: SWAP1
00001036: SWAP3
00001037: SWAP2
00001038: SWAP1
00001039: POP
0000103a: POP
0000103b: POP
0000103c: PUSH2 0x2939
0000103f: JUMP
00001040: JUMPDEST
00001041: PUSH1 0x40
00001043: MLOAD
00001044: DUP1
00001045: DUP3
00001046: ISZERO
00001047: ISZERO
00001048: DUP2
00001049: MSTORE
0000104a: PUSH1 0x20
0000104c: ADD
0000104d: SWAP2
0000104e: POP
0000104f: POP
00001050: PUSH1 0x40
00001052: MLOAD
00001053: DUP1
00001054: SWAP2
00001055: SUB
00001056: SWAP1
00001057: RETURN
00001058: JUMPDEST
00001059: CALLVALUE
0000105a: DUP1
0000105b: ISZERO
0000105c: PUSH2 0x1064
0000105f: JUMPI
00001060: PUSH1 0x00
00001062: DUP1
00001063: REVERT
00001064: JUMPDEST
00001065: POP
00001066: PUSH2 0x10a7
00001069: PUSH1 0x04
0000106b: DUP1
0000106c: CALLDATASIZE
0000106d: SUB
0000106e: PUSH1 0x20
00001070: DUP2
00001071: LT
00001072: ISZERO
00001073: PUSH2 0x107b
00001076: JUMPI
00001077: PUSH1 0x00
00001079: DUP1
0000107a: REVERT
0000107b: JUMPDEST
0000107c: DUP2
0000107d: ADD
0000107e: SWAP1
0000107f: DUP1
00001080: DUP1
00001081: CALLDATALOAD
00001082: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001097: AND
00001098: SWAP1
00001099: PUSH1 0x20
0000109b: ADD
0000109c: SWAP1
0000109d: SWAP3
0000109e: SWAP2
0000109f: SWAP1
000010a0: POP
000010a1: POP
000010a2: POP
000010a3: PUSH2 0x29cd
000010a6: JUMP
000010a7: JUMPDEST
000010a8: STOP
000010a9: JUMPDEST
000010aa: PUSH1 0x00
000010ac: PUSH1 0x01
000010ae: PUSH1 0x00
000010b0: DUP4
000010b1: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000010ce: NOT
000010cf: AND
000010d0: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000010ed: NOT
000010ee: AND
000010ef: DUP2
000010f0: MSTORE
000010f1: PUSH1 0x20
000010f3: ADD
000010f4: SWAP1
000010f5: DUP2
000010f6: MSTORE
000010f7: PUSH1 0x20
000010f9: ADD
000010fa: PUSH1 0x00
000010fc: KECCAK256
000010fd: PUSH1 0x00
000010ff: SWAP1
00001100: SLOAD
00001101: SWAP1
00001102: PUSH2 0x0100
00001105: EXP
00001106: SWAP1
00001107: DIV
00001108: PUSH1 0xff
0000110a: AND
0000110b: SWAP1
0000110c: POP
0000110d: SWAP2
0000110e: SWAP1
0000110f: POP
00001110: JUMP
00001111: JUMPDEST
00001112: PUSH1 0x60
00001114: PUSH1 0x07
00001116: DUP1
00001117: SLOAD
00001118: PUSH1 0x01
0000111a: DUP2
0000111b: PUSH1 0x01
0000111d: AND
0000111e: ISZERO
0000111f: PUSH2 0x0100
00001122: MUL
00001123: SUB
00001124: AND
00001125: PUSH1 0x02
00001127: SWAP1
00001128: DIV
00001129: DUP1
0000112a: PUSH1 0x1f
0000112c: ADD
0000112d: PUSH1 0x20
0000112f: DUP1
00001130: SWAP2
00001131: DIV
00001132: MUL
00001133: PUSH1 0x20
00001135: ADD
00001136: PUSH1 0x40
00001138: MLOAD
00001139: SWAP1
0000113a: DUP2
0000113b: ADD
0000113c: PUSH1 0x40
0000113e: MSTORE
0000113f: DUP1
00001140: SWAP3
00001141: SWAP2
00001142: SWAP1
00001143: DUP2
00001144: DUP2
00001145: MSTORE
00001146: PUSH1 0x20
00001148: ADD
00001149: DUP3
0000114a: DUP1
0000114b: SLOAD
0000114c: PUSH1 0x01
0000114e: DUP2
0000114f: PUSH1 0x01
00001151: AND
00001152: ISZERO
00001153: PUSH2 0x0100
00001156: MUL
00001157: SUB
00001158: AND
00001159: PUSH1 0x02
0000115b: SWAP1
0000115c: DIV
0000115d: DUP1
0000115e: ISZERO
0000115f: PUSH2 0x11a9
00001162: JUMPI
00001163: DUP1
00001164: PUSH1 0x1f
00001166: LT
00001167: PUSH2 0x117e
0000116a: JUMPI
0000116b: PUSH2 0x0100
0000116e: DUP1
0000116f: DUP4
00001170: SLOAD
00001171: DIV
00001172: MUL
00001173: DUP4
00001174: MSTORE
00001175: SWAP2
00001176: PUSH1 0x20
00001178: ADD
00001179: SWAP2
0000117a: PUSH2 0x11a9
0000117d: JUMP
0000117e: JUMPDEST
0000117f: DUP3
00001180: ADD
00001181: SWAP2
00001182: SWAP1
00001183: PUSH1 0x00
00001185: MSTORE
00001186: PUSH1 0x20
00001188: PUSH1 0x00
0000118a: KECCAK256
0000118b: SWAP1
0000118c: JUMPDEST
0000118d: DUP2
0000118e: SLOAD
0000118f: DUP2
00001190: MSTORE
00001191: SWAP1
00001192: PUSH1 0x01
00001194: ADD
00001195: SWAP1
00001196: PUSH1 0x20
00001198: ADD
00001199: DUP1
0000119a: DUP4
0000119b: GT
0000119c: PUSH2 0x118c
0000119f: JUMPI
000011a0: DUP3
000011a1: SWAP1
000011a2: SUB
000011a3: PUSH1 0x1f
000011a5: AND
000011a6: DUP3
000011a7: ADD
000011a8: SWAP2
000011a9: JUMPDEST
000011aa: POP
000011ab: POP
000011ac: POP
000011ad: POP
000011ae: POP
000011af: SWAP1
000011b0: POP
000011b1: SWAP1
000011b2: JUMP
000011b3: JUMPDEST
000011b4: PUSH1 0x00
000011b6: PUSH2 0x11be
000011b9: DUP3
000011ba: PUSH2 0x2c3d
000011bd: JUMP
000011be: JUMPDEST
000011bf: PUSH2 0x1213
000011c2: JUMPI
000011c3: PUSH1 0x40
000011c5: MLOAD
000011c6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011e7: DUP2
000011e8: MSTORE
000011e9: PUSH1 0x04
000011eb: ADD
000011ec: DUP1
000011ed: DUP1
000011ee: PUSH1 0x20
000011f0: ADD
000011f1: DUP3
000011f2: DUP2
000011f3: SUB
000011f4: DUP3
000011f5: MSTORE
000011f6: PUSH1 0x2c
000011f8: DUP2
000011f9: MSTORE
000011fa: PUSH1 0x20
000011fc: ADD
000011fd: DUP1
000011fe: PUSH2 0x4220
00001201: PUSH1 0x2c
00001203: SWAP2
00001204: CODECOPY
00001205: PUSH1 0x40
00001207: ADD
00001208: SWAP2
00001209: POP
0000120a: POP
0000120b: PUSH1 0x40
0000120d: MLOAD
0000120e: DUP1
0000120f: SWAP2
00001210: SUB
00001211: SWAP1
00001212: REVERT
00001213: JUMPDEST
00001214: PUSH1 0x05
00001216: PUSH1 0x00
00001218: DUP4
00001219: DUP2
0000121a: MSTORE
0000121b: PUSH1 0x20
0000121d: ADD
0000121e: SWAP1
0000121f: DUP2
00001220: MSTORE
00001221: PUSH1 0x20
00001223: ADD
00001224: PUSH1 0x00
00001226: KECCAK256
00001227: PUSH1 0x00
00001229: SWAP1
0000122a: SLOAD
0000122b: SWAP1
0000122c: PUSH2 0x0100
0000122f: EXP
00001230: SWAP1
00001231: DIV
00001232: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001247: AND
00001248: SWAP1
00001249: POP
0000124a: SWAP2
0000124b: SWAP1
0000124c: POP
0000124d: JUMP
0000124e: JUMPDEST
0000124f: PUSH1 0x00
00001251: PUSH2 0x1259
00001254: DUP3
00001255: PUSH2 0x1898
00001258: JUMP
00001259: JUMPDEST
0000125a: SWAP1
0000125b: POP
0000125c: DUP1
0000125d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001272: AND
00001273: DUP4
00001274: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001289: AND
0000128a: EQ
0000128b: ISZERO
0000128c: PUSH2 0x12e0
0000128f: JUMPI
00001290: PUSH1 0x40
00001292: MLOAD
00001293: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012b4: DUP2
000012b5: MSTORE
000012b6: PUSH1 0x04
000012b8: ADD
000012b9: DUP1
000012ba: DUP1
000012bb: PUSH1 0x20
000012bd: ADD
000012be: DUP3
000012bf: DUP2
000012c0: SUB
000012c1: DUP3
000012c2: MSTORE
000012c3: PUSH1 0x21
000012c5: DUP2
000012c6: MSTORE
000012c7: PUSH1 0x20
000012c9: ADD
000012ca: DUP1
000012cb: PUSH2 0x42c5
000012ce: PUSH1 0x21
000012d0: SWAP2
000012d1: CODECOPY
000012d2: PUSH1 0x40
000012d4: ADD
000012d5: SWAP2
000012d6: POP
000012d7: POP
000012d8: PUSH1 0x40
000012da: MLOAD
000012db: DUP1
000012dc: SWAP2
000012dd: SUB
000012de: SWAP1
000012df: REVERT
000012e0: JUMPDEST
000012e1: DUP1
000012e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012f7: AND
000012f8: PUSH2 0x12ff
000012fb: PUSH2 0x2c5a
000012fe: JUMP
000012ff: JUMPDEST
00001300: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001315: AND
00001316: EQ
00001317: DUP1
00001318: PUSH2 0x132e
0000131b: JUMPI
0000131c: POP
0000131d: PUSH2 0x132d
00001320: DUP2
00001321: PUSH2 0x1328
00001324: PUSH2 0x2c5a
00001327: JUMP
00001328: JUMPDEST
00001329: PUSH2 0x2939
0000132c: JUMP
0000132d: JUMPDEST
0000132e: JUMPDEST
0000132f: PUSH2 0x1383
00001332: JUMPI
00001333: PUSH1 0x40
00001335: MLOAD
00001336: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001357: DUP2
00001358: MSTORE
00001359: PUSH1 0x04
0000135b: ADD
0000135c: DUP1
0000135d: DUP1
0000135e: PUSH1 0x20
00001360: ADD
00001361: DUP3
00001362: DUP2
00001363: SUB
00001364: DUP3
00001365: MSTORE
00001366: PUSH1 0x38
00001368: DUP2
00001369: MSTORE
0000136a: PUSH1 0x20
0000136c: ADD
0000136d: DUP1
0000136e: PUSH2 0x4173
00001371: PUSH1 0x38
00001373: SWAP2
00001374: CODECOPY
00001375: PUSH1 0x40
00001377: ADD
00001378: SWAP2
00001379: POP
0000137a: POP
0000137b: PUSH1 0x40
0000137d: MLOAD
0000137e: DUP1
0000137f: SWAP2
00001380: SUB
00001381: SWAP1
00001382: REVERT
00001383: JUMPDEST
00001384: PUSH2 0x138d
00001387: DUP4
00001388: DUP4
00001389: PUSH2 0x2c62
0000138c: JUMP
0000138d: JUMPDEST
0000138e: POP
0000138f: POP
00001390: POP
00001391: JUMP
00001392: JUMPDEST
00001393: PUSH1 0x00
00001395: PUSH2 0x139e
00001398: PUSH1 0x03
0000139a: PUSH2 0x2bbf
0000139d: JUMP
0000139e: JUMPDEST
0000139f: SWAP1
000013a0: POP
000013a1: SWAP1
000013a2: JUMP
000013a3: JUMPDEST
000013a4: PUSH1 0x40
000013a6: MLOAD
000013a7: DUP1
000013a8: PUSH1 0x40
000013aa: ADD
000013ab: PUSH1 0x40
000013ad: MSTORE
000013ae: DUP1
000013af: PUSH1 0x13
000013b1: DUP2
000013b2: MSTORE
000013b3: PUSH1 0x20
000013b5: ADD
000013b6: PUSH32 0x53686172706546696e616e6365436174746c6500000000000000000000000000
000013d7: DUP2
000013d8: MSTORE
000013d9: POP
000013da: DUP2
000013db: JUMP
000013dc: JUMPDEST
000013dd: PUSH2 0x13ed
000013e0: PUSH2 0x13e7
000013e3: PUSH2 0x2c5a
000013e6: JUMP
000013e7: JUMPDEST
000013e8: DUP3
000013e9: PUSH2 0x2d1b
000013ec: JUMP
000013ed: JUMPDEST
000013ee: PUSH2 0x1442
000013f1: JUMPI
000013f2: PUSH1 0x40
000013f4: MLOAD
000013f5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001416: DUP2
00001417: MSTORE
00001418: PUSH1 0x04
0000141a: ADD
0000141b: DUP1
0000141c: DUP1
0000141d: PUSH1 0x20
0000141f: ADD
00001420: DUP3
00001421: DUP2
00001422: SUB
00001423: DUP3
00001424: MSTORE
00001425: PUSH1 0x31
00001427: DUP2
00001428: MSTORE
00001429: PUSH1 0x20
0000142b: ADD
0000142c: DUP1
0000142d: PUSH2 0x42e6
00001430: PUSH1 0x31
00001432: SWAP2
00001433: CODECOPY
00001434: PUSH1 0x40
00001436: ADD
00001437: SWAP2
00001438: POP
00001439: POP
0000143a: PUSH1 0x40
0000143c: MLOAD
0000143d: DUP1
0000143e: SWAP2
0000143f: SUB
00001440: SWAP1
00001441: REVERT
00001442: JUMPDEST
00001443: PUSH2 0x144d
00001446: DUP4
00001447: DUP4
00001448: DUP4
00001449: PUSH2 0x2e0f
0000144c: JUMP
0000144d: JUMPDEST
0000144e: POP
0000144f: POP
00001450: POP
00001451: JUMP
00001452: JUMPDEST
00001453: PUSH1 0x40
00001455: MLOAD
00001456: DUP1
00001457: PUSH1 0x40
00001459: ADD
0000145a: PUSH1 0x40
0000145c: MSTORE
0000145d: DUP1
0000145e: PUSH1 0x03
00001460: DUP2
00001461: MSTORE
00001462: PUSH1 0x20
00001464: ADD
00001465: PUSH32 0x5346430000000000000000000000000000000000000000000000000000000000
00001486: DUP2
00001487: MSTORE
00001488: POP
00001489: DUP2
0000148a: JUMP
0000148b: JUMPDEST
0000148c: PUSH1 0x00
0000148e: PUSH2 0x14de
00001491: DUP3
00001492: PUSH1 0x02
00001494: PUSH1 0x00
00001496: DUP7
00001497: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ac: AND
000014ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014c2: AND
000014c3: DUP2
000014c4: MSTORE
000014c5: PUSH1 0x20
000014c7: ADD
000014c8: SWAP1
000014c9: DUP2
000014ca: MSTORE
000014cb: PUSH1 0x20
000014cd: ADD
000014ce: PUSH1 0x00
000014d0: KECCAK256
000014d1: PUSH2 0x3052
000014d4: SWAP1
000014d5: SWAP2
000014d6: SWAP1
000014d7: PUSH4 0xffffffff
000014dc: AND
000014dd: JUMP
000014de: JUMPDEST
000014df: SWAP1
000014e0: POP
000014e1: SWAP3
000014e2: SWAP2
000014e3: POP
000014e4: POP
000014e5: JUMP
000014e6: JUMPDEST
000014e7: PUSH2 0x138d
000014ea: DUP2
000014eb: JUMP
000014ec: JUMPDEST
000014ed: PUSH1 0x0e
000014ef: PUSH1 0x20
000014f1: MSTORE
000014f2: DUP1
000014f3: PUSH1 0x00
000014f5: MSTORE
000014f6: PUSH1 0x40
000014f8: PUSH1 0x00
000014fa: KECCAK256
000014fb: PUSH1 0x00
000014fd: SWAP2
000014fe: POP
000014ff: SLOAD
00001500: SWAP1
00001501: PUSH2 0x0100
00001504: EXP
00001505: SWAP1
00001506: DIV
00001507: PUSH1 0xff
00001509: AND
0000150a: DUP2
0000150b: JUMP
0000150c: JUMPDEST
0000150d: PUSH2 0x1514
00001510: PUSH2 0x2c5a
00001513: JUMP
00001514: JUMPDEST
00001515: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000152a: AND
0000152b: PUSH2 0x1532
0000152e: PUSH2 0x1d68
00001531: JUMP
00001532: JUMPDEST
00001533: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001548: AND
00001549: EQ
0000154a: PUSH2 0x15bb
0000154d: JUMPI
0000154e: PUSH1 0x40
00001550: MLOAD
00001551: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001572: DUP2
00001573: MSTORE
00001574: PUSH1 0x04
00001576: ADD
00001577: DUP1
00001578: DUP1
00001579: PUSH1 0x20
0000157b: ADD
0000157c: DUP3
0000157d: DUP2
0000157e: SUB
0000157f: DUP3
00001580: MSTORE
00001581: PUSH1 0x20
00001583: DUP2
00001584: MSTORE
00001585: PUSH1 0x20
00001587: ADD
00001588: DUP1
00001589: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000015aa: DUP2
000015ab: MSTORE
000015ac: POP
000015ad: PUSH1 0x20
000015af: ADD
000015b0: SWAP2
000015b1: POP
000015b2: POP
000015b3: PUSH1 0x40
000015b5: MLOAD
000015b6: DUP1
000015b7: SWAP2
000015b8: SUB
000015b9: SWAP1
000015ba: REVERT
000015bb: JUMPDEST
000015bc: PUSH1 0x00
000015be: SELFBALANCE
000015bf: GT
000015c0: PUSH2 0x1631
000015c3: JUMPI
000015c4: PUSH1 0x40
000015c6: MLOAD
000015c7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015e8: DUP2
000015e9: MSTORE
000015ea: PUSH1 0x04
000015ec: ADD
000015ed: DUP1
000015ee: DUP1
000015ef: PUSH1 0x20
000015f1: ADD
000015f2: DUP3
000015f3: DUP2
000015f4: SUB
000015f5: DUP3
000015f6: MSTORE
000015f7: PUSH1 0x12
000015f9: DUP2
000015fa: MSTORE
000015fb: PUSH1 0x20
000015fd: ADD
000015fe: DUP1
000015ff: PUSH32 0x496e73756666696369656e742066756e642e0000000000000000000000000000
00001620: DUP2
00001621: MSTORE
00001622: POP
00001623: PUSH1 0x20
00001625: ADD
00001626: SWAP2
00001627: POP
00001628: POP
00001629: PUSH1 0x40
0000162b: MLOAD
0000162c: DUP1
0000162d: SWAP2
0000162e: SUB
0000162f: SWAP1
00001630: REVERT
00001631: JUMPDEST
00001632: PUSH2 0x1639
00001635: PUSH2 0x2c5a
00001638: JUMP
00001639: JUMPDEST
0000163a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000164f: AND
00001650: PUSH2 0x08fc
00001653: SELFBALANCE
00001654: SWAP1
00001655: DUP2
00001656: ISZERO
00001657: MUL
00001658: SWAP1
00001659: PUSH1 0x40
0000165b: MLOAD
0000165c: PUSH1 0x00
0000165e: PUSH1 0x40
00001660: MLOAD
00001661: DUP1
00001662: DUP4
00001663: SUB
00001664: DUP2
00001665: DUP6
00001666: DUP9
00001667: DUP9
00001668: CALL
00001669: SWAP4
0000166a: POP
0000166b: POP
0000166c: POP
0000166d: POP
0000166e: ISZERO
0000166f: DUP1
00001670: ISZERO
00001671: PUSH2 0x167e
00001674: JUMPI
00001675: RETURNDATASIZE
00001676: PUSH1 0x00
00001678: DUP1
00001679: RETURNDATACOPY
0000167a: RETURNDATASIZE
0000167b: PUSH1 0x00
0000167d: REVERT
0000167e: JUMPDEST
0000167f: POP
00001680: JUMP
00001681: JUMPDEST
00001682: PUSH2 0x169c
00001685: DUP4
00001686: DUP4
00001687: DUP4
00001688: PUSH1 0x40
0000168a: MLOAD
0000168b: DUP1
0000168c: PUSH1 0x20
0000168e: ADD
0000168f: PUSH1 0x40
00001691: MSTORE
00001692: DUP1
00001693: PUSH1 0x00
00001695: DUP2
00001696: MSTORE
00001697: POP
00001698: PUSH2 0x21db
0000169b: JUMP
0000169c: JUMPDEST
0000169d: POP
0000169e: POP
0000169f: POP
000016a0: JUMP
000016a1: JUMPDEST
000016a2: PUSH1 0x00
000016a4: DUP1
000016a5: PUSH2 0x16b8
000016a8: DUP4
000016a9: PUSH1 0x03
000016ab: PUSH2 0x306c
000016ae: SWAP1
000016af: SWAP2
000016b0: SWAP1
000016b1: PUSH4 0xffffffff
000016b6: AND
000016b7: JUMP
000016b8: JUMPDEST
000016b9: POP
000016ba: SWAP1
000016bb: POP
000016bc: DUP1
000016bd: SWAP2
000016be: POP
000016bf: POP
000016c0: SWAP2
000016c1: SWAP1
000016c2: POP
000016c3: JUMP
000016c4: JUMPDEST
000016c5: PUSH1 0x0f
000016c7: PUSH1 0x20
000016c9: MSTORE
000016ca: DUP1
000016cb: PUSH1 0x00
000016cd: MSTORE
000016ce: PUSH1 0x40
000016d0: PUSH1 0x00
000016d2: KECCAK256
000016d3: PUSH1 0x00
000016d5: SWAP2
000016d6: POP
000016d7: SLOAD
000016d8: SWAP1
000016d9: PUSH2 0x0100
000016dc: EXP
000016dd: SWAP1
000016de: DIV
000016df: PUSH1 0xff
000016e1: AND
000016e2: DUP2
000016e3: JUMP
000016e4: JUMPDEST
000016e5: PUSH2 0x16ec
000016e8: PUSH2 0x2c5a
000016eb: JUMP
000016ec: JUMPDEST
000016ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001702: AND
00001703: PUSH2 0x170a
00001706: PUSH2 0x1d68
00001709: JUMP
0000170a: JUMPDEST
0000170b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001720: AND
00001721: EQ
00001722: PUSH2 0x1793
00001725: JUMPI
00001726: PUSH1 0x40
00001728: MLOAD
00001729: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000174a: DUP2
0000174b: MSTORE
0000174c: PUSH1 0x04
0000174e: ADD
0000174f: DUP1
00001750: DUP1
00001751: PUSH1 0x20
00001753: ADD
00001754: DUP3
00001755: DUP2
00001756: SUB
00001757: DUP3
00001758: MSTORE
00001759: PUSH1 0x20
0000175b: DUP2
0000175c: MSTORE
0000175d: PUSH1 0x20
0000175f: ADD
00001760: DUP1
00001761: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001782: DUP2
00001783: MSTORE
00001784: POP
00001785: PUSH1 0x20
00001787: ADD
00001788: SWAP2
00001789: POP
0000178a: POP
0000178b: PUSH1 0x40
0000178d: MLOAD
0000178e: DUP1
0000178f: SWAP2
00001790: SUB
00001791: SWAP1
00001792: REVERT
00001793: JUMPDEST
00001794: PUSH1 0x00
00001796: DUP2
00001797: MLOAD
00001798: GT
00001799: PUSH2 0x180a
0000179c: JUMPI
0000179d: PUSH1 0x40
0000179f: MLOAD
000017a0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017c1: DUP2
000017c2: MSTORE
000017c3: PUSH1 0x04
000017c5: ADD
000017c6: DUP1
000017c7: DUP1
000017c8: PUSH1 0x20
000017ca: ADD
000017cb: DUP3
000017cc: DUP2
000017cd: SUB
000017ce: DUP3
000017cf: MSTORE
000017d0: PUSH1 0x14
000017d2: DUP2
000017d3: MSTORE
000017d4: PUSH1 0x20
000017d6: ADD
000017d7: DUP1
000017d8: PUSH32 0x456d70747920616464726573732061727261792e000000000000000000000000
000017f9: DUP2
000017fa: MSTORE
000017fb: POP
000017fc: PUSH1 0x20
000017fe: ADD
000017ff: SWAP2
00001800: POP
00001801: POP
00001802: PUSH1 0x40
00001804: MLOAD
00001805: DUP1
00001806: SWAP2
00001807: SUB
00001808: SWAP1
00001809: REVERT
0000180a: JUMPDEST
0000180b: PUSH1 0x00
0000180d: JUMPDEST
0000180e: DUP2
0000180f: MLOAD
00001810: DUP2
00001811: LT
00001812: ISZERO
00001813: PUSH2 0x1894
00001816: JUMPI
00001817: PUSH1 0x00
00001819: DUP3
0000181a: DUP3
0000181b: DUP2
0000181c: MLOAD
0000181d: DUP2
0000181e: LT
0000181f: PUSH2 0x1824
00001822: JUMPI
00001823: INVALID
00001824: JUMPDEST
00001825: PUSH1 0x20
00001827: MUL
00001828: PUSH1 0x20
0000182a: ADD
0000182b: ADD
0000182c: MLOAD
0000182d: SWAP1
0000182e: POP
0000182f: PUSH1 0x01
00001831: PUSH1 0x0f
00001833: PUSH1 0x00
00001835: DUP4
00001836: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000184b: AND
0000184c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001861: AND
00001862: DUP2
00001863: MSTORE
00001864: PUSH1 0x20
00001866: ADD
00001867: SWAP1
00001868: DUP2
00001869: MSTORE
0000186a: PUSH1 0x20
0000186c: ADD
0000186d: PUSH1 0x00
0000186f: KECCAK256
00001870: PUSH1 0x00
00001872: PUSH2 0x0100
00001875: EXP
00001876: DUP2
00001877: SLOAD
00001878: DUP2
00001879: PUSH1 0xff
0000187b: MUL
0000187c: NOT
0000187d: AND
0000187e: SWAP1
0000187f: DUP4
00001880: ISZERO
00001881: ISZERO
00001882: MUL
00001883: OR
00001884: SWAP1
00001885: SSTORE
00001886: POP
00001887: POP
00001888: DUP1
00001889: DUP1
0000188a: PUSH1 0x01
0000188c: ADD
0000188d: SWAP2
0000188e: POP
0000188f: POP
00001890: PUSH2 0x180d
00001893: JUMP
00001894: JUMPDEST
00001895: POP
00001896: POP
00001897: JUMP
00001898: JUMPDEST
00001899: PUSH1 0x00
0000189b: PUSH2 0x18c8
0000189e: DUP3
0000189f: PUSH1 0x40
000018a1: MLOAD
000018a2: DUP1
000018a3: PUSH1 0x60
000018a5: ADD
000018a6: PUSH1 0x40
000018a8: MSTORE
000018a9: DUP1
000018aa: PUSH1 0x29
000018ac: DUP2
000018ad: MSTORE
000018ae: PUSH1 0x20
000018b0: ADD
000018b1: PUSH2 0x41d5
000018b4: PUSH1 0x29
000018b6: SWAP2
000018b7: CODECOPY
000018b8: PUSH1 0x03
000018ba: PUSH2 0x3098
000018bd: SWAP1
000018be: SWAP3
000018bf: SWAP2
000018c0: SWAP1
000018c1: PUSH4 0xffffffff
000018c6: AND
000018c7: JUMP
000018c8: JUMPDEST
000018c9: SWAP1
000018ca: POP
000018cb: SWAP2
000018cc: SWAP1
000018cd: POP
000018ce: JUMP
000018cf: JUMPDEST
000018d0: PUSH1 0x60
000018d2: PUSH1 0x0a
000018d4: DUP1
000018d5: SLOAD
000018d6: PUSH1 0x01
000018d8: DUP2
000018d9: PUSH1 0x01
000018db: AND
000018dc: ISZERO
000018dd: PUSH2 0x0100
000018e0: MUL
000018e1: SUB
000018e2: AND
000018e3: PUSH1 0x02
000018e5: SWAP1
000018e6: DIV
000018e7: DUP1
000018e8: PUSH1 0x1f
000018ea: ADD
000018eb: PUSH1 0x20
000018ed: DUP1
000018ee: SWAP2
000018ef: DIV
000018f0: MUL
000018f1: PUSH1 0x20
000018f3: ADD
000018f4: PUSH1 0x40
000018f6: MLOAD
000018f7: SWAP1
000018f8: DUP2
000018f9: ADD
000018fa: PUSH1 0x40
000018fc: MSTORE
000018fd: DUP1
000018fe: SWAP3
000018ff: SWAP2
00001900: SWAP1
00001901: DUP2
00001902: DUP2
00001903: MSTORE
00001904: PUSH1 0x20
00001906: ADD
00001907: DUP3
00001908: DUP1
00001909: SLOAD
0000190a: PUSH1 0x01
0000190c: DUP2
0000190d: PUSH1 0x01
0000190f: AND
00001910: ISZERO
00001911: PUSH2 0x0100
00001914: MUL
00001915: SUB
00001916: AND
00001917: PUSH1 0x02
00001919: SWAP1
0000191a: DIV
0000191b: DUP1
0000191c: ISZERO
0000191d: PUSH2 0x1967
00001920: JUMPI
00001921: DUP1
00001922: PUSH1 0x1f
00001924: LT
00001925: PUSH2 0x193c
00001928: JUMPI
00001929: PUSH2 0x0100
0000192c: DUP1
0000192d: DUP4
0000192e: SLOAD
0000192f: DIV
00001930: MUL
00001931: DUP4
00001932: MSTORE
00001933: SWAP2
00001934: PUSH1 0x20
00001936: ADD
00001937: SWAP2
00001938: PUSH2 0x1967
0000193b: JUMP
0000193c: JUMPDEST
0000193d: DUP3
0000193e: ADD
0000193f: SWAP2
00001940: SWAP1
00001941: PUSH1 0x00
00001943: MSTORE
00001944: PUSH1 0x20
00001946: PUSH1 0x00
00001948: KECCAK256
00001949: SWAP1
0000194a: JUMPDEST
0000194b: DUP2
0000194c: SLOAD
0000194d: DUP2
0000194e: MSTORE
0000194f: SWAP1
00001950: PUSH1 0x01
00001952: ADD
00001953: SWAP1
00001954: PUSH1 0x20
00001956: ADD
00001957: DUP1
00001958: DUP4
00001959: GT
0000195a: PUSH2 0x194a
0000195d: JUMPI
0000195e: DUP3
0000195f: SWAP1
00001960: SUB
00001961: PUSH1 0x1f
00001963: AND
00001964: DUP3
00001965: ADD
00001966: SWAP2
00001967: JUMPDEST
00001968: POP
00001969: POP
0000196a: POP
0000196b: POP
0000196c: POP
0000196d: SWAP1
0000196e: POP
0000196f: SWAP1
00001970: JUMP
00001971: JUMPDEST
00001972: PUSH1 0x00
00001974: DUP1
00001975: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000198a: AND
0000198b: DUP3
0000198c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019a1: AND
000019a2: EQ
000019a3: ISZERO
000019a4: PUSH2 0x19f8
000019a7: JUMPI
000019a8: PUSH1 0x40
000019aa: MLOAD
000019ab: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019cc: DUP2
000019cd: MSTORE
000019ce: PUSH1 0x04
000019d0: ADD
000019d1: DUP1
000019d2: DUP1
000019d3: PUSH1 0x20
000019d5: ADD
000019d6: DUP3
000019d7: DUP2
000019d8: SUB
000019d9: DUP3
000019da: MSTORE
000019db: PUSH1 0x2a
000019dd: DUP2
000019de: MSTORE
000019df: PUSH1 0x20
000019e1: ADD
000019e2: DUP1
000019e3: PUSH2 0x41ab
000019e6: PUSH1 0x2a
000019e8: SWAP2
000019e9: CODECOPY
000019ea: PUSH1 0x40
000019ec: ADD
000019ed: SWAP2
000019ee: POP
000019ef: POP
000019f0: PUSH1 0x40
000019f2: MLOAD
000019f3: DUP1
000019f4: SWAP2
000019f5: SUB
000019f6: SWAP1
000019f7: REVERT
000019f8: JUMPDEST
000019f9: PUSH2 0x1a3f
000019fc: PUSH1 0x02
000019fe: PUSH1 0x00
00001a00: DUP5
00001a01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a16: AND
00001a17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a2c: AND
00001a2d: DUP2
00001a2e: MSTORE
00001a2f: PUSH1 0x20
00001a31: ADD
00001a32: SWAP1
00001a33: DUP2
00001a34: MSTORE
00001a35: PUSH1 0x20
00001a37: ADD
00001a38: PUSH1 0x00
00001a3a: KECCAK256
00001a3b: PUSH2 0x30b7
00001a3e: JUMP
00001a3f: JUMPDEST
00001a40: SWAP1
00001a41: POP
00001a42: SWAP2
00001a43: SWAP1
00001a44: POP
00001a45: JUMP
00001a46: JUMPDEST
00001a47: PUSH2 0x1a4e
00001a4a: PUSH2 0x2c5a
00001a4d: JUMP
00001a4e: JUMPDEST
00001a4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a64: AND
00001a65: PUSH2 0x1a6c
00001a68: PUSH2 0x1d68
00001a6b: JUMP
00001a6c: JUMPDEST
00001a6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a82: AND
00001a83: EQ
00001a84: PUSH2 0x1af5
00001a87: JUMPI
00001a88: PUSH1 0x40
00001a8a: MLOAD
00001a8b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001aac: DUP2
00001aad: MSTORE
00001aae: PUSH1 0x04
00001ab0: ADD
00001ab1: DUP1
00001ab2: DUP1
00001ab3: PUSH1 0x20
00001ab5: ADD
00001ab6: DUP3
00001ab7: DUP2
00001ab8: SUB
00001ab9: DUP3
00001aba: MSTORE
00001abb: PUSH1 0x20
00001abd: DUP2
00001abe: MSTORE
00001abf: PUSH1 0x20
00001ac1: ADD
00001ac2: DUP1
00001ac3: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001ae4: DUP2
00001ae5: MSTORE
00001ae6: POP
00001ae7: PUSH1 0x20
00001ae9: ADD
00001aea: SWAP2
00001aeb: POP
00001aec: POP
00001aed: PUSH1 0x40
00001aef: MLOAD
00001af0: DUP1
00001af1: SWAP2
00001af2: SUB
00001af3: SWAP1
00001af4: REVERT
00001af5: JUMPDEST
00001af6: PUSH1 0x00
00001af8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b0d: AND
00001b0e: PUSH1 0x00
00001b10: DUP1
00001b11: SLOAD
00001b12: SWAP1
00001b13: PUSH2 0x0100
00001b16: EXP
00001b17: SWAP1
00001b18: DIV
00001b19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b2e: AND
00001b2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b44: AND
00001b45: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001b66: PUSH1 0x40
00001b68: MLOAD
00001b69: PUSH1 0x40
00001b6b: MLOAD
00001b6c: DUP1
00001b6d: SWAP2
00001b6e: SUB
00001b6f: SWAP1
00001b70: LOG3
00001b71: PUSH1 0x00
00001b73: DUP1
00001b74: PUSH1 0x00
00001b76: PUSH2 0x0100
00001b79: EXP
00001b7a: DUP2
00001b7b: SLOAD
00001b7c: DUP2
00001b7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b92: MUL
00001b93: NOT
00001b94: AND
00001b95: SWAP1
00001b96: DUP4
00001b97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bac: AND
00001bad: MUL
00001bae: OR
00001baf: SWAP1
00001bb0: SSTORE
00001bb1: POP
00001bb2: JUMP
00001bb3: JUMPDEST
00001bb4: PUSH2 0x1bbb
00001bb7: PUSH2 0x2c5a
00001bba: JUMP
00001bbb: JUMPDEST
00001bbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd1: AND
00001bd2: PUSH2 0x1bd9
00001bd5: PUSH2 0x1d68
00001bd8: JUMP
00001bd9: JUMPDEST
00001bda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bef: AND
00001bf0: EQ
00001bf1: PUSH2 0x1c62
00001bf4: JUMPI
00001bf5: PUSH1 0x40
00001bf7: MLOAD
00001bf8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c19: DUP2
00001c1a: MSTORE
00001c1b: PUSH1 0x04
00001c1d: ADD
00001c1e: DUP1
00001c1f: DUP1
00001c20: PUSH1 0x20
00001c22: ADD
00001c23: DUP3
00001c24: DUP2
00001c25: SUB
00001c26: DUP3
00001c27: MSTORE
00001c28: PUSH1 0x20
00001c2a: DUP2
00001c2b: MSTORE
00001c2c: PUSH1 0x20
00001c2e: ADD
00001c2f: DUP1
00001c30: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001c51: DUP2
00001c52: MSTORE
00001c53: POP
00001c54: PUSH1 0x20
00001c56: ADD
00001c57: SWAP2
00001c58: POP
00001c59: POP
00001c5a: PUSH1 0x40
00001c5c: MLOAD
00001c5d: DUP1
00001c5e: SWAP2
00001c5f: SUB
00001c60: SWAP1
00001c61: REVERT
00001c62: JUMPDEST
00001c63: PUSH1 0x00
00001c65: DUP2
00001c66: MLOAD
00001c67: GT
00001c68: PUSH2 0x1cd9
00001c6b: JUMPI
00001c6c: PUSH1 0x40
00001c6e: MLOAD
00001c6f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c90: DUP2
00001c91: MSTORE
00001c92: PUSH1 0x04
00001c94: ADD
00001c95: DUP1
00001c96: DUP1
00001c97: PUSH1 0x20
00001c99: ADD
00001c9a: DUP3
00001c9b: DUP2
00001c9c: SUB
00001c9d: DUP3
00001c9e: MSTORE
00001c9f: PUSH1 0x14
00001ca1: DUP2
00001ca2: MSTORE
00001ca3: PUSH1 0x20
00001ca5: ADD
00001ca6: DUP1
00001ca7: PUSH32 0x456d70747920616464726573732061727261792e000000000000000000000000
00001cc8: DUP2
00001cc9: MSTORE
00001cca: POP
00001ccb: PUSH1 0x20
00001ccd: ADD
00001cce: SWAP2
00001ccf: POP
00001cd0: POP
00001cd1: PUSH1 0x40
00001cd3: MLOAD
00001cd4: DUP1
00001cd5: SWAP2
00001cd6: SUB
00001cd7: SWAP1
00001cd8: REVERT
00001cd9: JUMPDEST
00001cda: PUSH1 0x00
00001cdc: JUMPDEST
00001cdd: DUP2
00001cde: MLOAD
00001cdf: DUP2
00001ce0: LT
00001ce1: ISZERO
00001ce2: PUSH2 0x1d64
00001ce5: JUMPI
00001ce6: PUSH1 0x00
00001ce8: DUP3
00001ce9: DUP3
00001cea: DUP2
00001ceb: MLOAD
00001cec: DUP2
00001ced: LT
00001cee: PUSH2 0x1cf3
00001cf1: JUMPI
00001cf2: INVALID
00001cf3: JUMPDEST
00001cf4: PUSH1 0x20
00001cf6: MUL
00001cf7: PUSH1 0x20
00001cf9: ADD
00001cfa: ADD
00001cfb: MLOAD
00001cfc: SWAP1
00001cfd: POP
00001cfe: PUSH1 0x05
00001d00: PUSH1 0x0e
00001d02: PUSH1 0x00
00001d04: DUP4
00001d05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d1a: AND
00001d1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d30: AND
00001d31: DUP2
00001d32: MSTORE
00001d33: PUSH1 0x20
00001d35: ADD
00001d36: SWAP1
00001d37: DUP2
00001d38: MSTORE
00001d39: PUSH1 0x20
00001d3b: ADD
00001d3c: PUSH1 0x00
00001d3e: KECCAK256
00001d3f: PUSH1 0x00
00001d41: PUSH2 0x0100
00001d44: EXP
00001d45: DUP2
00001d46: SLOAD
00001d47: DUP2
00001d48: PUSH1 0xff
00001d4a: MUL
00001d4b: NOT
00001d4c: AND
00001d4d: SWAP1
00001d4e: DUP4
00001d4f: PUSH1 0xff
00001d51: AND
00001d52: MUL
00001d53: OR
00001d54: SWAP1
00001d55: SSTORE
00001d56: POP
00001d57: POP
00001d58: DUP1
00001d59: DUP1
00001d5a: PUSH1 0x01
00001d5c: ADD
00001d5d: SWAP2
00001d5e: POP
00001d5f: POP
00001d60: PUSH2 0x1cdc
00001d63: JUMP
00001d64: JUMPDEST
00001d65: POP
00001d66: POP
00001d67: JUMP
00001d68: JUMPDEST
00001d69: PUSH1 0x00
00001d6b: DUP1
00001d6c: PUSH1 0x00
00001d6e: SWAP1
00001d6f: SLOAD
00001d70: SWAP1
00001d71: PUSH2 0x0100
00001d74: EXP
00001d75: SWAP1
00001d76: DIV
00001d77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d8c: AND
00001d8d: SWAP1
00001d8e: POP
00001d8f: SWAP1
00001d90: JUMP
00001d91: JUMPDEST
00001d92: PUSH1 0x60
00001d94: PUSH1 0x08
00001d96: DUP1
00001d97: SLOAD
00001d98: PUSH1 0x01
00001d9a: DUP2
00001d9b: PUSH1 0x01
00001d9d: AND
00001d9e: ISZERO
00001d9f: PUSH2 0x0100
00001da2: MUL
00001da3: SUB
00001da4: AND
00001da5: PUSH1 0x02
00001da7: SWAP1
00001da8: DIV
00001da9: DUP1
00001daa: PUSH1 0x1f
00001dac: ADD
00001dad: PUSH1 0x20
00001daf: DUP1
00001db0: SWAP2
00001db1: DIV
00001db2: MUL
00001db3: PUSH1 0x20
00001db5: ADD
00001db6: PUSH1 0x40
00001db8: MLOAD
00001db9: SWAP1
00001dba: DUP2
00001dbb: ADD
00001dbc: PUSH1 0x40
00001dbe: MSTORE
00001dbf: DUP1
00001dc0: SWAP3
00001dc1: SWAP2
00001dc2: SWAP1
00001dc3: DUP2
00001dc4: DUP2
00001dc5: MSTORE
00001dc6: PUSH1 0x20
00001dc8: ADD
00001dc9: DUP3
00001dca: DUP1
00001dcb: SLOAD
00001dcc: PUSH1 0x01
00001dce: DUP2
00001dcf: PUSH1 0x01
00001dd1: AND
00001dd2: ISZERO
00001dd3: PUSH2 0x0100
00001dd6: MUL
00001dd7: SUB
00001dd8: AND
00001dd9: PUSH1 0x02
00001ddb: SWAP1
00001ddc: DIV
00001ddd: DUP1
00001dde: ISZERO
00001ddf: PUSH2 0x1e29
00001de2: JUMPI
00001de3: DUP1
00001de4: PUSH1 0x1f
00001de6: LT
00001de7: PUSH2 0x1dfe
00001dea: JUMPI
00001deb: PUSH2 0x0100
00001dee: DUP1
00001def: DUP4
00001df0: SLOAD
00001df1: DIV
00001df2: MUL
00001df3: DUP4
00001df4: MSTORE
00001df5: SWAP2
00001df6: PUSH1 0x20
00001df8: ADD
00001df9: SWAP2
00001dfa: PUSH2 0x1e29
00001dfd: JUMP
00001dfe: JUMPDEST
00001dff: DUP3
00001e00: ADD
00001e01: SWAP2
00001e02: SWAP1
00001e03: PUSH1 0x00
00001e05: MSTORE
00001e06: PUSH1 0x20
00001e08: PUSH1 0x00
00001e0a: KECCAK256
00001e0b: SWAP1
00001e0c: JUMPDEST
00001e0d: DUP2
00001e0e: SLOAD
00001e0f: DUP2
00001e10: MSTORE
00001e11: SWAP1
00001e12: PUSH1 0x01
00001e14: ADD
00001e15: SWAP1
00001e16: PUSH1 0x20
00001e18: ADD
00001e19: DUP1
00001e1a: DUP4
00001e1b: GT
00001e1c: PUSH2 0x1e0c
00001e1f: JUMPI
00001e20: DUP3
00001e21: SWAP1
00001e22: SUB
00001e23: PUSH1 0x1f
00001e25: AND
00001e26: DUP3
00001e27: ADD
00001e28: SWAP2
00001e29: JUMPDEST
00001e2a: POP
00001e2b: POP
00001e2c: POP
00001e2d: POP
00001e2e: POP
00001e2f: SWAP1
00001e30: POP
00001e31: SWAP1
00001e32: JUMP
00001e33: JUMPDEST
00001e34: PUSH2 0x1e3b
00001e37: PUSH2 0x2c5a
00001e3a: JUMP
00001e3b: JUMPDEST
00001e3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e51: AND
00001e52: PUSH2 0x1e59
00001e55: PUSH2 0x1d68
00001e58: JUMP
00001e59: JUMPDEST
00001e5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e6f: AND
00001e70: EQ
00001e71: PUSH2 0x1ee2
00001e74: JUMPI
00001e75: PUSH1 0x40
00001e77: MLOAD
00001e78: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e99: DUP2
00001e9a: MSTORE
00001e9b: PUSH1 0x04
00001e9d: ADD
00001e9e: DUP1
00001e9f: DUP1
00001ea0: PUSH1 0x20
00001ea2: ADD
00001ea3: DUP3
00001ea4: DUP2
00001ea5: SUB
00001ea6: DUP3
00001ea7: MSTORE
00001ea8: PUSH1 0x20
00001eaa: DUP2
00001eab: MSTORE
00001eac: PUSH1 0x20
00001eae: ADD
00001eaf: DUP1
00001eb0: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001ed1: DUP2
00001ed2: MSTORE
00001ed3: POP
00001ed4: PUSH1 0x20
00001ed6: ADD
00001ed7: SWAP2
00001ed8: POP
00001ed9: POP
00001eda: PUSH1 0x40
00001edc: MLOAD
00001edd: DUP1
00001ede: SWAP2
00001edf: SUB
00001ee0: SWAP1
00001ee1: REVERT
00001ee2: JUMPDEST
00001ee3: PUSH2 0x1eeb
00001ee6: DUP2
00001ee7: PUSH2 0x30cc
00001eea: JUMP
00001eeb: JUMPDEST
00001eec: POP
00001eed: JUMP
00001eee: JUMPDEST
00001eef: PUSH2 0x1ef6
00001ef2: PUSH2 0x2c5a
00001ef5: JUMP
00001ef6: JUMPDEST
00001ef7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f0c: AND
00001f0d: DUP3
00001f0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f23: AND
00001f24: EQ
00001f25: ISZERO
00001f26: PUSH2 0x1f97
00001f29: JUMPI
00001f2a: PUSH1 0x40
00001f2c: MLOAD
00001f2d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f4e: DUP2
00001f4f: MSTORE
00001f50: PUSH1 0x04
00001f52: ADD
00001f53: DUP1
00001f54: DUP1
00001f55: PUSH1 0x20
00001f57: ADD
00001f58: DUP3
00001f59: DUP2
00001f5a: SUB
00001f5b: DUP3
00001f5c: MSTORE
00001f5d: PUSH1 0x19
00001f5f: DUP2
00001f60: MSTORE
00001f61: PUSH1 0x20
00001f63: ADD
00001f64: DUP1
00001f65: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
00001f86: DUP2
00001f87: MSTORE
00001f88: POP
00001f89: PUSH1 0x20
00001f8b: ADD
00001f8c: SWAP2
00001f8d: POP
00001f8e: POP
00001f8f: PUSH1 0x40
00001f91: MLOAD
00001f92: DUP1
00001f93: SWAP2
00001f94: SUB
00001f95: SWAP1
00001f96: REVERT
00001f97: JUMPDEST
00001f98: DUP1
00001f99: PUSH1 0x06
00001f9b: PUSH1 0x00
00001f9d: PUSH2 0x1fa4
00001fa0: PUSH2 0x2c5a
00001fa3: JUMP
00001fa4: JUMPDEST
00001fa5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fba: AND
00001fbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd0: AND
00001fd1: DUP2
00001fd2: MSTORE
00001fd3: PUSH1 0x20
00001fd5: ADD
00001fd6: SWAP1
00001fd7: DUP2
00001fd8: MSTORE
00001fd9: PUSH1 0x20
00001fdb: ADD
00001fdc: PUSH1 0x00
00001fde: KECCAK256
00001fdf: PUSH1 0x00
00001fe1: DUP5
00001fe2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff7: AND
00001ff8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000200d: AND
0000200e: DUP2
0000200f: MSTORE
00002010: PUSH1 0x20
00002012: ADD
00002013: SWAP1
00002014: DUP2
00002015: MSTORE
00002016: PUSH1 0x20
00002018: ADD
00002019: PUSH1 0x00
0000201b: KECCAK256
0000201c: PUSH1 0x00
0000201e: PUSH2 0x0100
00002021: EXP
00002022: DUP2
00002023: SLOAD
00002024: DUP2
00002025: PUSH1 0xff
00002027: MUL
00002028: NOT
00002029: AND
0000202a: SWAP1
0000202b: DUP4
0000202c: ISZERO
0000202d: ISZERO
0000202e: MUL
0000202f: OR
00002030: SWAP1
00002031: SSTORE
00002032: POP
00002033: DUP2
00002034: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002049: AND
0000204a: PUSH2 0x2051
0000204d: PUSH2 0x2c5a
00002050: JUMP
00002051: JUMPDEST
00002052: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002067: AND
00002068: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00002089: DUP4
0000208a: PUSH1 0x40
0000208c: MLOAD
0000208d: DUP1
0000208e: DUP3
0000208f: ISZERO
00002090: ISZERO
00002091: DUP2
00002092: MSTORE
00002093: PUSH1 0x20
00002095: ADD
00002096: SWAP2
00002097: POP
00002098: POP
00002099: PUSH1 0x40
0000209b: MLOAD
0000209c: DUP1
0000209d: SWAP2
0000209e: SUB
0000209f: SWAP1
000020a0: LOG3
000020a1: POP
000020a2: POP
000020a3: JUMP
000020a4: JUMPDEST
000020a5: PUSH1 0x0f
000020a7: PUSH1 0x00
000020a9: PUSH2 0x20b0
000020ac: PUSH2 0x2c5a
000020af: JUMP
000020b0: JUMPDEST
000020b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020c6: AND
000020c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020dc: AND
000020dd: DUP2
000020de: MSTORE
000020df: PUSH1 0x20
000020e1: ADD
000020e2: SWAP1
000020e3: DUP2
000020e4: MSTORE
000020e5: PUSH1 0x20
000020e7: ADD
000020e8: PUSH1 0x00
000020ea: KECCAK256
000020eb: PUSH1 0x00
000020ed: SWAP1
000020ee: SLOAD
000020ef: SWAP1
000020f0: PUSH2 0x0100
000020f3: EXP
000020f4: SWAP1
000020f5: DIV
000020f6: PUSH1 0xff
000020f8: AND
000020f9: PUSH2 0x216a
000020fc: JUMPI
000020fd: PUSH1 0x40
000020ff: MLOAD
00002100: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002121: DUP2
00002122: MSTORE
00002123: PUSH1 0x04
00002125: ADD
00002126: DUP1
00002127: DUP1
00002128: PUSH1 0x20
0000212a: ADD
0000212b: DUP3
0000212c: DUP2
0000212d: SUB
0000212e: DUP3
0000212f: MSTORE
00002130: PUSH1 0x1f
00002132: DUP2
00002133: MSTORE
00002134: PUSH1 0x20
00002136: ADD
00002137: DUP1
00002138: PUSH32 0x526577617264207175616c696669636174696f6e207265717565737465642e00
00002159: DUP2
0000215a: MSTORE
0000215b: POP
0000215c: PUSH1 0x20
0000215e: ADD
0000215f: SWAP2
00002160: POP
00002161: POP
00002162: PUSH1 0x40
00002164: MLOAD
00002165: DUP1
00002166: SWAP2
00002167: SUB
00002168: SWAP1
00002169: REVERT
0000216a: JUMPDEST
0000216b: PUSH2 0x217a
0000216e: PUSH2 0x2175
00002171: PUSH2 0x2c5a
00002174: JUMP
00002175: JUMPDEST
00002176: PUSH2 0x30e6
00002179: JUMP
0000217a: JUMPDEST
0000217b: PUSH1 0x00
0000217d: PUSH1 0x0f
0000217f: PUSH1 0x00
00002181: PUSH2 0x2188
00002184: PUSH2 0x2c5a
00002187: JUMP
00002188: JUMPDEST
00002189: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000219e: AND
0000219f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021b4: AND
000021b5: DUP2
000021b6: MSTORE
000021b7: PUSH1 0x20
000021b9: ADD
000021ba: SWAP1
000021bb: DUP2
000021bc: MSTORE
000021bd: PUSH1 0x20
000021bf: ADD
000021c0: PUSH1 0x00
000021c2: KECCAK256
000021c3: PUSH1 0x00
000021c5: PUSH2 0x0100
000021c8: EXP
000021c9: DUP2
000021ca: SLOAD
000021cb: DUP2
000021cc: PUSH1 0xff
000021ce: MUL
000021cf: NOT
000021d0: AND
000021d1: SWAP1
000021d2: DUP4
000021d3: ISZERO
000021d4: ISZERO
000021d5: MUL
000021d6: OR
000021d7: SWAP1
000021d8: SSTORE
000021d9: POP
000021da: JUMP
000021db: JUMPDEST
000021dc: PUSH2 0x21ec
000021df: PUSH2 0x21e6
000021e2: PUSH2 0x2c5a
000021e5: JUMP
000021e6: JUMPDEST
000021e7: DUP4
000021e8: PUSH2 0x2d1b
000021eb: JUMP
000021ec: JUMPDEST
000021ed: PUSH2 0x2241
000021f0: JUMPI
000021f1: PUSH1 0x40
000021f3: MLOAD
000021f4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002215: DUP2
00002216: MSTORE
00002217: PUSH1 0x04
00002219: ADD
0000221a: DUP1
0000221b: DUP1
0000221c: PUSH1 0x20
0000221e: ADD
0000221f: DUP3
00002220: DUP2
00002221: SUB
00002222: DUP3
00002223: MSTORE
00002224: PUSH1 0x31
00002226: DUP2
00002227: MSTORE
00002228: PUSH1 0x20
0000222a: ADD
0000222b: DUP1
0000222c: PUSH2 0x42e6
0000222f: PUSH1 0x31
00002231: SWAP2
00002232: CODECOPY
00002233: PUSH1 0x40
00002235: ADD
00002236: SWAP2
00002237: POP
00002238: POP
00002239: PUSH1 0x40
0000223b: MLOAD
0000223c: DUP1
0000223d: SWAP2
0000223e: SUB
0000223f: SWAP1
00002240: REVERT
00002241: JUMPDEST
00002242: PUSH2 0x224d
00002245: DUP5
00002246: DUP5
00002247: DUP5
00002248: DUP5
00002249: PUSH2 0x321e
0000224c: JUMP
0000224d: JUMPDEST
0000224e: POP
0000224f: POP
00002250: POP
00002251: POP
00002252: JUMP
00002253: JUMPDEST
00002254: PUSH2 0x225b
00002257: PUSH2 0x2c5a
0000225a: JUMP
0000225b: JUMPDEST
0000225c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002271: AND
00002272: PUSH2 0x2279
00002275: PUSH2 0x1d68
00002278: JUMP
00002279: JUMPDEST
0000227a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000228f: AND
00002290: EQ
00002291: PUSH2 0x2302
00002294: JUMPI
00002295: PUSH1 0x40
00002297: MLOAD
00002298: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022b9: DUP2
000022ba: MSTORE
000022bb: PUSH1 0x04
000022bd: ADD
000022be: DUP1
000022bf: DUP1
000022c0: PUSH1 0x20
000022c2: ADD
000022c3: DUP3
000022c4: DUP2
000022c5: SUB
000022c6: DUP3
000022c7: MSTORE
000022c8: PUSH1 0x20
000022ca: DUP2
000022cb: MSTORE
000022cc: PUSH1 0x20
000022ce: ADD
000022cf: DUP1
000022d0: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000022f1: DUP2
000022f2: MSTORE
000022f3: POP
000022f4: PUSH1 0x20
000022f6: ADD
000022f7: SWAP2
000022f8: POP
000022f9: POP
000022fa: PUSH1 0x40
000022fc: MLOAD
000022fd: DUP1
000022fe: SWAP2
000022ff: SUB
00002300: SWAP1
00002301: REVERT
00002302: JUMPDEST
00002303: DUP2
00002304: PUSH1 0x0b
00002306: DUP2
00002307: SWAP1
00002308: SSTORE
00002309: POP
0000230a: DUP1
0000230b: PUSH1 0x0c
0000230d: DUP2
0000230e: SWAP1
0000230f: SSTORE
00002310: POP
00002311: POP
00002312: POP
00002313: JUMP
00002314: JUMPDEST
00002315: PUSH1 0x0d
00002317: PUSH1 0x20
00002319: MSTORE
0000231a: DUP1
0000231b: PUSH1 0x00
0000231d: MSTORE
0000231e: PUSH1 0x40
00002320: PUSH1 0x00
00002322: KECCAK256
00002323: PUSH1 0x00
00002325: SWAP2
00002326: POP
00002327: SWAP1
00002328: POP
00002329: SLOAD
0000232a: DUP2
0000232b: JUMP
0000232c: JUMPDEST
0000232d: PUSH7 0xdb8ec5c71e8000
00002335: CALLVALUE
00002336: EQ
00002337: PUSH2 0x23a8
0000233a: JUMPI
0000233b: PUSH1 0x40
0000233d: MLOAD
0000233e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000235f: DUP2
00002360: MSTORE
00002361: PUSH1 0x04
00002363: ADD
00002364: DUP1
00002365: DUP1
00002366: PUSH1 0x20
00002368: ADD
00002369: DUP3
0000236a: DUP2
0000236b: SUB
0000236c: DUP3
0000236d: MSTORE
0000236e: PUSH1 0x12
00002370: DUP2
00002371: MSTORE
00002372: PUSH1 0x20
00002374: ADD
00002375: DUP1
00002376: PUSH32 0x496e73756666696369656e742066756e642e0000000000000000000000000000
00002397: DUP2
00002398: MSTORE
00002399: POP
0000239a: PUSH1 0x20
0000239c: ADD
0000239d: SWAP2
0000239e: POP
0000239f: POP
000023a0: PUSH1 0x40
000023a2: MLOAD
000023a3: DUP1
000023a4: SWAP2
000023a5: SUB
000023a6: SWAP1
000023a7: REVERT
000023a8: JUMPDEST
000023a9: PUSH1 0x0a
000023ab: PUSH2 0x23ba
000023ae: PUSH2 0x23b5
000023b1: PUSH2 0x2c5a
000023b4: JUMP
000023b5: JUMPDEST
000023b6: PUSH2 0x1971
000023b9: JUMP
000023ba: JUMPDEST
000023bb: LT
000023bc: PUSH2 0x2410
000023bf: JUMPI
000023c0: PUSH1 0x40
000023c2: MLOAD
000023c3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000023e4: DUP2
000023e5: MSTORE
000023e6: PUSH1 0x04
000023e8: ADD
000023e9: DUP1
000023ea: DUP1
000023eb: PUSH1 0x20
000023ed: ADD
000023ee: DUP3
000023ef: DUP2
000023f0: SUB
000023f1: DUP3
000023f2: MSTORE
000023f3: PUSH1 0x21
000023f5: DUP2
000023f6: MSTORE
000023f7: PUSH1 0x20
000023f9: ADD
000023fa: DUP1
000023fb: PUSH2 0x42a4
000023fe: PUSH1 0x21
00002400: SWAP2
00002401: CODECOPY
00002402: PUSH1 0x40
00002404: ADD
00002405: SWAP2
00002406: POP
00002407: POP
00002408: PUSH1 0x40
0000240a: MLOAD
0000240b: DUP1
0000240c: SWAP2
0000240d: SUB
0000240e: SWAP1
0000240f: REVERT
00002410: JUMPDEST
00002411: PUSH1 0x00
00002413: PUSH1 0x0e
00002415: PUSH1 0x00
00002417: PUSH2 0x241e
0000241a: PUSH2 0x2c5a
0000241d: JUMP
0000241e: JUMPDEST
0000241f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002434: AND
00002435: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000244a: AND
0000244b: DUP2
0000244c: MSTORE
0000244d: PUSH1 0x20
0000244f: ADD
00002450: SWAP1
00002451: DUP2
00002452: MSTORE
00002453: PUSH1 0x20
00002455: ADD
00002456: PUSH1 0x00
00002458: KECCAK256
00002459: PUSH1 0x00
0000245b: SWAP1
0000245c: SLOAD
0000245d: SWAP1
0000245e: PUSH2 0x0100
00002461: EXP
00002462: SWAP1
00002463: DIV
00002464: PUSH1 0xff
00002466: AND
00002467: PUSH1 0xff
00002469: AND
0000246a: GT
0000246b: DUP1
0000246c: ISZERO
0000246d: PUSH2 0x24cd
00002470: JUMPI
00002471: POP
00002472: PUSH1 0x05
00002474: PUSH1 0x0e
00002476: PUSH1 0x00
00002478: PUSH2 0x247f
0000247b: PUSH2 0x2c5a
0000247e: JUMP
0000247f: JUMPDEST
00002480: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002495: AND
00002496: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024ab: AND
000024ac: DUP2
000024ad: MSTORE
000024ae: PUSH1 0x20
000024b0: ADD
000024b1: SWAP1
000024b2: DUP2
000024b3: MSTORE
000024b4: PUSH1 0x20
000024b6: ADD
000024b7: PUSH1 0x00
000024b9: KECCAK256
000024ba: PUSH1 0x00
000024bc: SWAP1
000024bd: SLOAD
000024be: SWAP1
000024bf: PUSH2 0x0100
000024c2: EXP
000024c3: SWAP1
000024c4: DIV
000024c5: PUSH1 0xff
000024c7: AND
000024c8: PUSH1 0xff
000024ca: AND
000024cb: GT
000024cc: ISZERO
000024cd: JUMPDEST
000024ce: ISZERO
000024cf: PUSH2 0x25c6
000024d2: JUMPI
000024d3: PUSH1 0x0c
000024d5: SLOAD
000024d6: TIMESTAMP
000024d7: LT
000024d8: ISZERO
000024d9: PUSH2 0x254a
000024dc: JUMPI
000024dd: PUSH1 0x40
000024df: MLOAD
000024e0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002501: DUP2
00002502: MSTORE
00002503: PUSH1 0x04
00002505: ADD
00002506: DUP1
00002507: DUP1
00002508: PUSH1 0x20
0000250a: ADD
0000250b: DUP3
0000250c: DUP2
0000250d: SUB
0000250e: DUP3
0000250f: MSTORE
00002510: PUSH1 0x15
00002512: DUP2
00002513: MSTORE
00002514: PUSH1 0x20
00002516: ADD
00002517: DUP1
00002518: PUSH32 0x4d696e7420686173206e6f7420737461727465642e0000000000000000000000
00002539: DUP2
0000253a: MSTORE
0000253b: POP
0000253c: PUSH1 0x20
0000253e: ADD
0000253f: SWAP2
00002540: POP
00002541: POP
00002542: PUSH1 0x40
00002544: MLOAD
00002545: DUP1
00002546: SWAP2
00002547: SUB
00002548: SWAP1
00002549: REVERT
0000254a: JUMPDEST
0000254b: PUSH1 0x0e
0000254d: PUSH1 0x00
0000254f: PUSH2 0x2556
00002552: PUSH2 0x2c5a
00002555: JUMP
00002556: JUMPDEST
00002557: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000256c: AND
0000256d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002582: AND
00002583: DUP2
00002584: MSTORE
00002585: PUSH1 0x20
00002587: ADD
00002588: SWAP1
00002589: DUP2
0000258a: MSTORE
0000258b: PUSH1 0x20
0000258d: ADD
0000258e: PUSH1 0x00
00002590: KECCAK256
00002591: PUSH1 0x00
00002593: DUP2
00002594: DUP2
00002595: SWAP1
00002596: SLOAD
00002597: SWAP1
00002598: PUSH2 0x0100
0000259b: EXP
0000259c: SWAP1
0000259d: DIV
0000259e: PUSH1 0xff
000025a0: AND
000025a1: DUP1
000025a2: SWAP3
000025a3: SWAP2
000025a4: SWAP1
000025a5: PUSH1 0x01
000025a7: SWAP1
000025a8: SUB
000025a9: SWAP2
000025aa: SWAP1
000025ab: PUSH2 0x0100
000025ae: EXP
000025af: DUP2
000025b0: SLOAD
000025b1: DUP2
000025b2: PUSH1 0xff
000025b4: MUL
000025b5: NOT
000025b6: AND
000025b7: SWAP1
000025b8: DUP4
000025b9: PUSH1 0xff
000025bb: AND
000025bc: MUL
000025bd: OR
000025be: SWAP1
000025bf: SSTORE
000025c0: POP
000025c1: POP
000025c2: PUSH2 0x263f
000025c5: JUMP
000025c6: JUMPDEST
000025c7: PUSH1 0x0b
000025c9: SLOAD
000025ca: TIMESTAMP
000025cb: LT
000025cc: ISZERO
000025cd: PUSH2 0x263e
000025d0: JUMPI
000025d1: PUSH1 0x40
000025d3: MLOAD
000025d4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000025f5: DUP2
000025f6: MSTORE
000025f7: PUSH1 0x04
000025f9: ADD
000025fa: DUP1
000025fb: DUP1
000025fc: PUSH1 0x20
000025fe: ADD
000025ff: DUP3
00002600: DUP2
00002601: SUB
00002602: DUP3
00002603: MSTORE
00002604: PUSH1 0x15
00002606: DUP2
00002607: MSTORE
00002608: PUSH1 0x20
0000260a: ADD
0000260b: DUP1
0000260c: PUSH32 0x4d696e7420686173206e6f7420737461727465642e0000000000000000000000
0000262d: DUP2
0000262e: MSTORE
0000262f: POP
00002630: PUSH1 0x20
00002632: ADD
00002633: SWAP2
00002634: POP
00002635: POP
00002636: PUSH1 0x40
00002638: MLOAD
00002639: DUP1
0000263a: SWAP2
0000263b: SUB
0000263c: SWAP1
0000263d: REVERT
0000263e: JUMPDEST
0000263f: JUMPDEST
00002640: PUSH2 0x264f
00002643: PUSH2 0x264a
00002646: PUSH2 0x2c5a
00002649: JUMP
0000264a: JUMPDEST
0000264b: PUSH2 0x30e6
0000264e: JUMP
0000264f: JUMPDEST
00002650: JUMP
00002651: JUMPDEST
00002652: PUSH1 0x0b
00002654: SLOAD
00002655: DUP2
00002656: JUMP
00002657: JUMPDEST
00002658: PUSH1 0x60
0000265a: PUSH2 0x2662
0000265d: DUP3
0000265e: PUSH2 0x2c3d
00002661: JUMP
00002662: JUMPDEST
00002663: PUSH2 0x26b7
00002666: JUMPI
00002667: PUSH1 0x40
00002669: MLOAD
0000266a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000268b: DUP2
0000268c: MSTORE
0000268d: PUSH1 0x04
0000268f: ADD
00002690: DUP1
00002691: DUP1
00002692: PUSH1 0x20
00002694: ADD
00002695: DUP3
00002696: DUP2
00002697: SUB
00002698: DUP3
00002699: MSTORE
0000269a: PUSH1 0x2f
0000269c: DUP2
0000269d: MSTORE
0000269e: PUSH1 0x20
000026a0: ADD
000026a1: DUP1
000026a2: PUSH2 0x4275
000026a5: PUSH1 0x2f
000026a7: SWAP2
000026a8: CODECOPY
000026a9: PUSH1 0x40
000026ab: ADD
000026ac: SWAP2
000026ad: POP
000026ae: POP
000026af: PUSH1 0x40
000026b1: MLOAD
000026b2: DUP1
000026b3: SWAP2
000026b4: SUB
000026b5: SWAP1
000026b6: REVERT
000026b7: JUMPDEST
000026b8: PUSH1 0x60
000026ba: PUSH1 0x09
000026bc: PUSH1 0x00
000026be: DUP5
000026bf: DUP2
000026c0: MSTORE
000026c1: PUSH1 0x20
000026c3: ADD
000026c4: SWAP1
000026c5: DUP2
000026c6: MSTORE
000026c7: PUSH1 0x20
000026c9: ADD
000026ca: PUSH1 0x00
000026cc: KECCAK256
000026cd: DUP1
000026ce: SLOAD
000026cf: PUSH1 0x01
000026d1: DUP2
000026d2: PUSH1 0x01
000026d4: AND
000026d5: ISZERO
000026d6: PUSH2 0x0100
000026d9: MUL
000026da: SUB
000026db: AND
000026dc: PUSH1 0x02
000026de: SWAP1
000026df: DIV
000026e0: DUP1
000026e1: PUSH1 0x1f
000026e3: ADD
000026e4: PUSH1 0x20
000026e6: DUP1
000026e7: SWAP2
000026e8: DIV
000026e9: MUL
000026ea: PUSH1 0x20
000026ec: ADD
000026ed: PUSH1 0x40
000026ef: MLOAD
000026f0: SWAP1
000026f1: DUP2
000026f2: ADD
000026f3: PUSH1 0x40
000026f5: MSTORE
000026f6: DUP1
000026f7: SWAP3
000026f8: SWAP2
000026f9: SWAP1
000026fa: DUP2
000026fb: DUP2
000026fc: MSTORE
000026fd: PUSH1 0x20
000026ff: ADD
00002700: DUP3
00002701: DUP1
00002702: SLOAD
00002703: PUSH1 0x01
00002705: DUP2
00002706: PUSH1 0x01
00002708: AND
00002709: ISZERO
0000270a: PUSH2 0x0100
0000270d: MUL
0000270e: SUB
0000270f: AND
00002710: PUSH1 0x02
00002712: SWAP1
00002713: DIV
00002714: DUP1
00002715: ISZERO
00002716: PUSH2 0x2760
00002719: JUMPI
0000271a: DUP1
0000271b: PUSH1 0x1f
0000271d: LT
0000271e: PUSH2 0x2735
00002721: JUMPI
00002722: PUSH2 0x0100
00002725: DUP1
00002726: DUP4
00002727: SLOAD
00002728: DIV
00002729: MUL
0000272a: DUP4
0000272b: MSTORE
0000272c: SWAP2
0000272d: PUSH1 0x20
0000272f: ADD
00002730: SWAP2
00002731: PUSH2 0x2760
00002734: JUMP
00002735: JUMPDEST
00002736: DUP3
00002737: ADD
00002738: SWAP2
00002739: SWAP1
0000273a: PUSH1 0x00
0000273c: MSTORE
0000273d: PUSH1 0x20
0000273f: PUSH1 0x00
00002741: KECCAK256
00002742: SWAP1
00002743: JUMPDEST
00002744: DUP2
00002745: SLOAD
00002746: DUP2
00002747: MSTORE
00002748: SWAP1
00002749: PUSH1 0x01
0000274b: ADD
0000274c: SWAP1
0000274d: PUSH1 0x20
0000274f: ADD
00002750: DUP1
00002751: DUP4
00002752: GT
00002753: PUSH2 0x2743
00002756: JUMPI
00002757: DUP3
00002758: SWAP1
00002759: SUB
0000275a: PUSH1 0x1f
0000275c: AND
0000275d: DUP3
0000275e: ADD
0000275f: SWAP2
00002760: JUMPDEST
00002761: POP
00002762: POP
00002763: POP
00002764: POP
00002765: POP
00002766: SWAP1
00002767: POP
00002768: PUSH1 0x60
0000276a: PUSH2 0x2771
0000276d: PUSH2 0x18cf
00002770: JUMP
00002771: JUMPDEST
00002772: SWAP1
00002773: POP
00002774: PUSH1 0x00
00002776: DUP2
00002777: MLOAD
00002778: EQ
00002779: ISZERO
0000277a: PUSH2 0x2787
0000277d: JUMPI
0000277e: DUP2
0000277f: SWAP3
00002780: POP
00002781: POP
00002782: POP
00002783: PUSH2 0x2923
00002786: JUMP
00002787: JUMPDEST
00002788: PUSH1 0x00
0000278a: DUP3
0000278b: MLOAD
0000278c: GT
0000278d: ISZERO
0000278e: PUSH2 0x2858
00002791: JUMPI
00002792: DUP1
00002793: DUP3
00002794: PUSH1 0x40
00002796: MLOAD
00002797: PUSH1 0x20
00002799: ADD
0000279a: DUP1
0000279b: DUP4
0000279c: DUP1
0000279d: MLOAD
0000279e: SWAP1
0000279f: PUSH1 0x20
000027a1: ADD
000027a2: SWAP1
000027a3: DUP1
000027a4: DUP4
000027a5: DUP4
000027a6: JUMPDEST
000027a7: PUSH1 0x20
000027a9: DUP4
000027aa: LT
000027ab: PUSH2 0x27c9
000027ae: JUMPI
000027af: DUP1
000027b0: MLOAD
000027b1: DUP3
000027b2: MSTORE
000027b3: PUSH1 0x20
000027b5: DUP3
000027b6: ADD
000027b7: SWAP2
000027b8: POP
000027b9: PUSH1 0x20
000027bb: DUP2
000027bc: ADD
000027bd: SWAP1
000027be: POP
000027bf: PUSH1 0x20
000027c1: DUP4
000027c2: SUB
000027c3: SWAP3
000027c4: POP
000027c5: PUSH2 0x27a6
000027c8: JUMP
000027c9: JUMPDEST
000027ca: PUSH1 0x01
000027cc: DUP4
000027cd: PUSH1 0x20
000027cf: SUB
000027d0: PUSH2 0x0100
000027d3: EXP
000027d4: SUB
000027d5: DUP1
000027d6: NOT
000027d7: DUP3
000027d8: MLOAD
000027d9: AND
000027da: DUP2
000027db: DUP5
000027dc: MLOAD
000027dd: AND
000027de: DUP1
000027df: DUP3
000027e0: OR
000027e1: DUP6
000027e2: MSTORE
000027e3: POP
000027e4: POP
000027e5: POP
000027e6: POP
000027e7: POP
000027e8: POP
000027e9: SWAP1
000027ea: POP
000027eb: ADD
000027ec: DUP3
000027ed: DUP1
000027ee: MLOAD
000027ef: SWAP1
000027f0: PUSH1 0x20
000027f2: ADD
000027f3: SWAP1
000027f4: DUP1
000027f5: DUP4
000027f6: DUP4
000027f7: JUMPDEST
000027f8: PUSH1 0x20
000027fa: DUP4
000027fb: LT
000027fc: PUSH2 0x281a
000027ff: JUMPI
00002800: DUP1
00002801: MLOAD
00002802: DUP3
00002803: MSTORE
00002804: PUSH1 0x20
00002806: DUP3
00002807: ADD
00002808: SWAP2
00002809: POP
0000280a: PUSH1 0x20
0000280c: DUP2
0000280d: ADD
0000280e: SWAP1
0000280f: POP
00002810: PUSH1 0x20
00002812: DUP4
00002813: SUB
00002814: SWAP3
00002815: POP
00002816: PUSH2 0x27f7
00002819: JUMP
0000281a: JUMPDEST
0000281b: PUSH1 0x01
0000281d: DUP4
0000281e: PUSH1 0x20
00002820: SUB
00002821: PUSH2 0x0100
00002824: EXP
00002825: SUB
00002826: DUP1
00002827: NOT
00002828: DUP3
00002829: MLOAD
0000282a: AND
0000282b: DUP2
0000282c: DUP5
0000282d: MLOAD
0000282e: AND
0000282f: DUP1
00002830: DUP3
00002831: OR
00002832: DUP6
00002833: MSTORE
00002834: POP
00002835: POP
00002836: POP
00002837: POP
00002838: POP
00002839: POP
0000283a: SWAP1
0000283b: POP
0000283c: ADD
0000283d: SWAP3
0000283e: POP
0000283f: POP
00002840: POP
00002841: PUSH1 0x40
00002843: MLOAD
00002844: PUSH1 0x20
00002846: DUP2
00002847: DUP4
00002848: SUB
00002849: SUB
0000284a: DUP2
0000284b: MSTORE
0000284c: SWAP1
0000284d: PUSH1 0x40
0000284f: MSTORE
00002850: SWAP3
00002851: POP
00002852: POP
00002853: POP
00002854: PUSH2 0x2923
00002857: JUMP
00002858: JUMPDEST
00002859: DUP1
0000285a: PUSH2 0x2862
0000285d: DUP6
0000285e: PUSH2 0x3290
00002861: JUMP
00002862: JUMPDEST
00002863: PUSH1 0x40
00002865: MLOAD
00002866: PUSH1 0x20
00002868: ADD
00002869: DUP1
0000286a: DUP4
0000286b: DUP1
0000286c: MLOAD
0000286d: SWAP1
0000286e: PUSH1 0x20
00002870: ADD
00002871: SWAP1
00002872: DUP1
00002873: DUP4
00002874: DUP4
00002875: JUMPDEST
00002876: PUSH1 0x20
00002878: DUP4
00002879: LT
0000287a: PUSH2 0x2898
0000287d: JUMPI
0000287e: DUP1
0000287f: MLOAD
00002880: DUP3
00002881: MSTORE
00002882: PUSH1 0x20
00002884: DUP3
00002885: ADD
00002886: SWAP2
00002887: POP
00002888: PUSH1 0x20
0000288a: DUP2
0000288b: ADD
0000288c: SWAP1
0000288d: POP
0000288e: PUSH1 0x20
00002890: DUP4
00002891: SUB
00002892: SWAP3
00002893: POP
00002894: PUSH2 0x2875
00002897: JUMP
00002898: JUMPDEST
00002899: PUSH1 0x01
0000289b: DUP4
0000289c: PUSH1 0x20
0000289e: SUB
0000289f: PUSH2 0x0100
000028a2: EXP
000028a3: SUB
000028a4: DUP1
000028a5: NOT
000028a6: DUP3
000028a7: MLOAD
000028a8: AND
000028a9: DUP2
000028aa: DUP5
000028ab: MLOAD
000028ac: AND
000028ad: DUP1
000028ae: DUP3
000028af: OR
000028b0: DUP6
000028b1: MSTORE
000028b2: POP
000028b3: POP
000028b4: POP
000028b5: POP
000028b6: POP
000028b7: POP
000028b8: SWAP1
000028b9: POP
000028ba: ADD
000028bb: DUP3
000028bc: DUP1
000028bd: MLOAD
000028be: SWAP1
000028bf: PUSH1 0x20
000028c1: ADD
000028c2: SWAP1
000028c3: DUP1
000028c4: DUP4
000028c5: DUP4
000028c6: JUMPDEST
000028c7: PUSH1 0x20
000028c9: DUP4
000028ca: LT
000028cb: PUSH2 0x28e9
000028ce: JUMPI
000028cf: DUP1
000028d0: MLOAD
000028d1: DUP3
000028d2: MSTORE
000028d3: PUSH1 0x20
000028d5: DUP3
000028d6: ADD
000028d7: SWAP2
000028d8: POP
000028d9: PUSH1 0x20
000028db: DUP2
000028dc: ADD
000028dd: SWAP1
000028de: POP
000028df: PUSH1 0x20
000028e1: DUP4
000028e2: SUB
000028e3: SWAP3
000028e4: POP
000028e5: PUSH2 0x28c6
000028e8: JUMP
000028e9: JUMPDEST
000028ea: PUSH1 0x01
000028ec: DUP4
000028ed: PUSH1 0x20
000028ef: SUB
000028f0: PUSH2 0x0100
000028f3: EXP
000028f4: SUB
000028f5: DUP1
000028f6: NOT
000028f7: DUP3
000028f8: MLOAD
000028f9: AND
000028fa: DUP2
000028fb: DUP5
000028fc: MLOAD
000028fd: AND
000028fe: DUP1
000028ff: DUP3
00002900: OR
00002901: DUP6
00002902: MSTORE
00002903: POP
00002904: POP
00002905: POP
00002906: POP
00002907: POP
00002908: POP
00002909: SWAP1
0000290a: POP
0000290b: ADD
0000290c: SWAP3
0000290d: POP
0000290e: POP
0000290f: POP
00002910: PUSH1 0x40
00002912: MLOAD
00002913: PUSH1 0x20
00002915: DUP2
00002916: DUP4
00002917: SUB
00002918: SUB
00002919: DUP2
0000291a: MSTORE
0000291b: SWAP1
0000291c: PUSH1 0x40
0000291e: MSTORE
0000291f: SWAP3
00002920: POP
00002921: POP
00002922: POP
00002923: JUMPDEST
00002924: SWAP2
00002925: SWAP1
00002926: POP
00002927: JUMP
00002928: JUMPDEST
00002929: PUSH7 0xdb8ec5c71e8000
00002931: DUP2
00002932: JUMP
00002933: JUMPDEST
00002934: PUSH1 0x0c
00002936: SLOAD
00002937: DUP2
00002938: JUMP
00002939: JUMPDEST
0000293a: PUSH1 0x00
0000293c: PUSH1 0x06
0000293e: PUSH1 0x00
00002940: DUP5
00002941: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002956: AND
00002957: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000296c: AND
0000296d: DUP2
0000296e: MSTORE
0000296f: PUSH1 0x20
00002971: ADD
00002972: SWAP1
00002973: DUP2
00002974: MSTORE
00002975: PUSH1 0x20
00002977: ADD
00002978: PUSH1 0x00
0000297a: KECCAK256
0000297b: PUSH1 0x00
0000297d: DUP4
0000297e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002993: AND
00002994: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029a9: AND
000029aa: DUP2
000029ab: MSTORE
000029ac: PUSH1 0x20
000029ae: ADD
000029af: SWAP1
000029b0: DUP2
000029b1: MSTORE
000029b2: PUSH1 0x20
000029b4: ADD
000029b5: PUSH1 0x00
000029b7: KECCAK256
000029b8: PUSH1 0x00
000029ba: SWAP1
000029bb: SLOAD
000029bc: SWAP1
000029bd: PUSH2 0x0100
000029c0: EXP
000029c1: SWAP1
000029c2: DIV
000029c3: PUSH1 0xff
000029c5: AND
000029c6: SWAP1
000029c7: POP
000029c8: SWAP3
000029c9: SWAP2
000029ca: POP
000029cb: POP
000029cc: JUMP
000029cd: JUMPDEST
000029ce: PUSH2 0x29d5
000029d1: PUSH2 0x2c5a
000029d4: JUMP
000029d5: JUMPDEST
000029d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029eb: AND
000029ec: PUSH2 0x29f3
000029ef: PUSH2 0x1d68
000029f2: JUMP
000029f3: JUMPDEST
000029f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a09: AND
00002a0a: EQ
00002a0b: PUSH2 0x2a7c
00002a0e: JUMPI
00002a0f: PUSH1 0x40
00002a11: MLOAD
00002a12: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002a33: DUP2
00002a34: MSTORE
00002a35: PUSH1 0x04
00002a37: ADD
00002a38: DUP1
00002a39: DUP1
00002a3a: PUSH1 0x20
00002a3c: ADD
00002a3d: DUP3
00002a3e: DUP2
00002a3f: SUB
00002a40: DUP3
00002a41: MSTORE
00002a42: PUSH1 0x20
00002a44: DUP2
00002a45: MSTORE
00002a46: PUSH1 0x20
00002a48: ADD
00002a49: DUP1
00002a4a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002a6b: DUP2
00002a6c: MSTORE
00002a6d: POP
00002a6e: PUSH1 0x20
00002a70: ADD
00002a71: SWAP2
00002a72: POP
00002a73: POP
00002a74: PUSH1 0x40
00002a76: MLOAD
00002a77: DUP1
00002a78: SWAP2
00002a79: SUB
00002a7a: SWAP1
00002a7b: REVERT
00002a7c: JUMPDEST
00002a7d: PUSH1 0x00
00002a7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a94: AND
00002a95: DUP2
00002a96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002aab: AND
00002aac: EQ
00002aad: ISZERO
00002aae: PUSH2 0x2b02
00002ab1: JUMPI
00002ab2: PUSH1 0x40
00002ab4: MLOAD
00002ab5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002ad6: DUP2
00002ad7: MSTORE
00002ad8: PUSH1 0x04
00002ada: ADD
00002adb: DUP1
00002adc: DUP1
00002add: PUSH1 0x20
00002adf: ADD
00002ae0: DUP3
00002ae1: DUP2
00002ae2: SUB
00002ae3: DUP3
00002ae4: MSTORE
00002ae5: PUSH1 0x26
00002ae7: DUP2
00002ae8: MSTORE
00002ae9: PUSH1 0x20
00002aeb: ADD
00002aec: DUP1
00002aed: PUSH2 0x40d7
00002af0: PUSH1 0x26
00002af2: SWAP2
00002af3: CODECOPY
00002af4: PUSH1 0x40
00002af6: ADD
00002af7: SWAP2
00002af8: POP
00002af9: POP
00002afa: PUSH1 0x40
00002afc: MLOAD
00002afd: DUP1
00002afe: SWAP2
00002aff: SUB
00002b00: SWAP1
00002b01: REVERT
00002b02: JUMPDEST
00002b03: DUP1
00002b04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b19: AND
00002b1a: PUSH1 0x00
00002b1c: DUP1
00002b1d: SLOAD
00002b1e: SWAP1
00002b1f: PUSH2 0x0100
00002b22: EXP
00002b23: SWAP1
00002b24: DIV
00002b25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b3a: AND
00002b3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b50: AND
00002b51: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002b72: PUSH1 0x40
00002b74: MLOAD
00002b75: PUSH1 0x40
00002b77: MLOAD
00002b78: DUP1
00002b79: SWAP2
00002b7a: SUB
00002b7b: SWAP1
00002b7c: LOG3
00002b7d: DUP1
00002b7e: PUSH1 0x00
00002b80: DUP1
00002b81: PUSH2 0x0100
00002b84: EXP
00002b85: DUP2
00002b86: SLOAD
00002b87: DUP2
00002b88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b9d: MUL
00002b9e: NOT
00002b9f: AND
00002ba0: SWAP1
00002ba1: DUP4
00002ba2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bb7: AND
00002bb8: MUL
00002bb9: OR
00002bba: SWAP1
00002bbb: SSTORE
00002bbc: POP
00002bbd: POP
00002bbe: JUMP
00002bbf: JUMPDEST
00002bc0: PUSH1 0x00
00002bc2: PUSH2 0x2bcd
00002bc5: DUP3
00002bc6: PUSH1 0x00
00002bc8: ADD
00002bc9: PUSH2 0x33d7
00002bcc: JUMP
00002bcd: JUMPDEST
00002bce: SWAP1
00002bcf: POP
00002bd0: SWAP2
00002bd1: SWAP1
00002bd2: POP
00002bd3: JUMP
00002bd4: JUMPDEST
00002bd5: PUSH1 0x00
00002bd7: PUSH2 0x2be6
00002bda: DUP4
00002bdb: PUSH1 0x00
00002bdd: ADD
00002bde: DUP4
00002bdf: PUSH1 0x00
00002be1: SHL
00002be2: PUSH2 0x33e8
00002be5: JUMP
00002be6: JUMPDEST
00002be7: SWAP1
00002be8: POP
00002be9: SWAP3
00002bea: SWAP2
00002beb: POP
00002bec: POP
00002bed: JUMP
00002bee: JUMPDEST
00002bef: PUSH1 0x00
00002bf1: PUSH2 0x2c1a
00002bf4: DUP5
00002bf5: PUSH1 0x00
00002bf7: ADD
00002bf8: DUP5
00002bf9: PUSH1 0x00
00002bfb: SHL
00002bfc: DUP5
00002bfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c12: AND
00002c13: PUSH1 0x00
00002c15: SHL
00002c16: PUSH2 0x3458
00002c19: JUMP
00002c1a: JUMPDEST
00002c1b: SWAP1
00002c1c: POP
00002c1d: SWAP4
00002c1e: SWAP3
00002c1f: POP
00002c20: POP
00002c21: POP
00002c22: JUMP
00002c23: JUMPDEST
00002c24: PUSH1 0x00
00002c26: PUSH2 0x2c35
00002c29: DUP4
00002c2a: PUSH1 0x00
00002c2c: ADD
00002c2d: DUP4
00002c2e: PUSH1 0x00
00002c30: SHL
00002c31: PUSH2 0x3534
00002c34: JUMP
00002c35: JUMPDEST
00002c36: SWAP1
00002c37: POP
00002c38: SWAP3
00002c39: SWAP2
00002c3a: POP
00002c3b: POP
00002c3c: JUMP
00002c3d: JUMPDEST
00002c3e: PUSH1 0x00
00002c40: PUSH2 0x2c53
00002c43: DUP3
00002c44: PUSH1 0x03
00002c46: PUSH2 0x2c23
00002c49: SWAP1
00002c4a: SWAP2
00002c4b: SWAP1
00002c4c: PUSH4 0xffffffff
00002c51: AND
00002c52: JUMP
00002c53: JUMPDEST
00002c54: SWAP1
00002c55: POP
00002c56: SWAP2
00002c57: SWAP1
00002c58: POP
00002c59: JUMP
00002c5a: JUMPDEST
00002c5b: PUSH1 0x00
00002c5d: CALLER
00002c5e: SWAP1
00002c5f: POP
00002c60: SWAP1
00002c61: JUMP
00002c62: JUMPDEST
00002c63: DUP2
00002c64: PUSH1 0x05
00002c66: PUSH1 0x00
00002c68: DUP4
00002c69: DUP2
00002c6a: MSTORE
00002c6b: PUSH1 0x20
00002c6d: ADD
00002c6e: SWAP1
00002c6f: DUP2
00002c70: MSTORE
00002c71: PUSH1 0x20
00002c73: ADD
00002c74: PUSH1 0x00
00002c76: KECCAK256
00002c77: PUSH1 0x00
00002c79: PUSH2 0x0100
00002c7c: EXP
00002c7d: DUP2
00002c7e: SLOAD
00002c7f: DUP2
00002c80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c95: MUL
00002c96: NOT
00002c97: AND
00002c98: SWAP1
00002c99: DUP4
00002c9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002caf: AND
00002cb0: MUL
00002cb1: OR
00002cb2: SWAP1
00002cb3: SSTORE
00002cb4: POP
00002cb5: DUP1
00002cb6: DUP3
00002cb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ccc: AND
00002ccd: PUSH2 0x2cd5
00002cd0: DUP4
00002cd1: PUSH2 0x1898
00002cd4: JUMP
00002cd5: JUMPDEST
00002cd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ceb: AND
00002cec: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00002d0d: PUSH1 0x40
00002d0f: MLOAD
00002d10: PUSH1 0x40
00002d12: MLOAD
00002d13: DUP1
00002d14: SWAP2
00002d15: SUB
00002d16: SWAP1
00002d17: LOG4
00002d18: POP
00002d19: POP
00002d1a: JUMP
00002d1b: JUMPDEST
00002d1c: PUSH1 0x00
00002d1e: PUSH2 0x2d26
00002d21: DUP3
00002d22: PUSH2 0x2c3d
00002d25: JUMP
00002d26: JUMPDEST
00002d27: PUSH2 0x2d7b
00002d2a: JUMPI
00002d2b: PUSH1 0x40
00002d2d: MLOAD
00002d2e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d4f: DUP2
00002d50: MSTORE
00002d51: PUSH1 0x04
00002d53: ADD
00002d54: DUP1
00002d55: DUP1
00002d56: PUSH1 0x20
00002d58: ADD
00002d59: DUP3
00002d5a: DUP2
00002d5b: SUB
00002d5c: DUP3
00002d5d: MSTORE
00002d5e: PUSH1 0x2c
00002d60: DUP2
00002d61: MSTORE
00002d62: PUSH1 0x20
00002d64: ADD
00002d65: DUP1
00002d66: PUSH2 0x4147
00002d69: PUSH1 0x2c
00002d6b: SWAP2
00002d6c: CODECOPY
00002d6d: PUSH1 0x40
00002d6f: ADD
00002d70: SWAP2
00002d71: POP
00002d72: POP
00002d73: PUSH1 0x40
00002d75: MLOAD
00002d76: DUP1
00002d77: SWAP2
00002d78: SUB
00002d79: SWAP1
00002d7a: REVERT
00002d7b: JUMPDEST
00002d7c: PUSH1 0x00
00002d7e: PUSH2 0x2d86
00002d81: DUP4
00002d82: PUSH2 0x1898
00002d85: JUMP
00002d86: JUMPDEST
00002d87: SWAP1
00002d88: POP
00002d89: DUP1
00002d8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d9f: AND
00002da0: DUP5
00002da1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002db6: AND
00002db7: EQ
00002db8: DUP1
00002db9: PUSH2 0x2df5
00002dbc: JUMPI
00002dbd: POP
00002dbe: DUP4
00002dbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dd4: AND
00002dd5: PUSH2 0x2ddd
00002dd8: DUP5
00002dd9: PUSH2 0x11b3
00002ddc: JUMP
00002ddd: JUMPDEST
00002dde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002df3: AND
00002df4: EQ
00002df5: JUMPDEST
00002df6: DUP1
00002df7: PUSH2 0x2e06
00002dfa: JUMPI
00002dfb: POP
00002dfc: PUSH2 0x2e05
00002dff: DUP2
00002e00: DUP6
00002e01: PUSH2 0x2939
00002e04: JUMP
00002e05: JUMPDEST
00002e06: JUMPDEST
00002e07: SWAP2
00002e08: POP
00002e09: POP
00002e0a: SWAP3
00002e0b: SWAP2
00002e0c: POP
00002e0d: POP
00002e0e: JUMP
00002e0f: JUMPDEST
00002e10: DUP3
00002e11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e26: AND
00002e27: PUSH2 0x2e2f
00002e2a: DUP3
00002e2b: PUSH2 0x1898
00002e2e: JUMP
00002e2f: JUMPDEST
00002e30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e45: AND
00002e46: EQ
00002e47: PUSH2 0x2e9b
00002e4a: JUMPI
00002e4b: PUSH1 0x40
00002e4d: MLOAD
00002e4e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002e6f: DUP2
00002e70: MSTORE
00002e71: PUSH1 0x04
00002e73: ADD
00002e74: DUP1
00002e75: DUP1
00002e76: PUSH1 0x20
00002e78: ADD
00002e79: DUP3
00002e7a: DUP2
00002e7b: SUB
00002e7c: DUP3
00002e7d: MSTORE
00002e7e: PUSH1 0x29
00002e80: DUP2
00002e81: MSTORE
00002e82: PUSH1 0x20
00002e84: ADD
00002e85: DUP1
00002e86: PUSH2 0x424c
00002e89: PUSH1 0x29
00002e8b: SWAP2
00002e8c: CODECOPY
00002e8d: PUSH1 0x40
00002e8f: ADD
00002e90: SWAP2
00002e91: POP
00002e92: POP
00002e93: PUSH1 0x40
00002e95: MLOAD
00002e96: DUP1
00002e97: SWAP2
00002e98: SUB
00002e99: SWAP1
00002e9a: REVERT
00002e9b: JUMPDEST
00002e9c: PUSH1 0x00
00002e9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002eb3: AND
00002eb4: DUP3
00002eb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002eca: AND
00002ecb: EQ
00002ecc: ISZERO
00002ecd: PUSH2 0x2f21
00002ed0: JUMPI
00002ed1: PUSH1 0x40
00002ed3: MLOAD
00002ed4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002ef5: DUP2
00002ef6: MSTORE
00002ef7: PUSH1 0x04
00002ef9: ADD
00002efa: DUP1
00002efb: DUP1
00002efc: PUSH1 0x20
00002efe: ADD
00002eff: DUP3
00002f00: DUP2
00002f01: SUB
00002f02: DUP3
00002f03: MSTORE
00002f04: PUSH1 0x24
00002f06: DUP2
00002f07: MSTORE
00002f08: PUSH1 0x20
00002f0a: ADD
00002f0b: DUP1
00002f0c: PUSH2 0x40fd
00002f0f: PUSH1 0x24
00002f11: SWAP2
00002f12: CODECOPY
00002f13: PUSH1 0x40
00002f15: ADD
00002f16: SWAP2
00002f17: POP
00002f18: POP
00002f19: PUSH1 0x40
00002f1b: MLOAD
00002f1c: DUP1
00002f1d: SWAP2
00002f1e: SUB
00002f1f: SWAP1
00002f20: REVERT
00002f21: JUMPDEST
00002f22: PUSH2 0x2f2c
00002f25: DUP4
00002f26: DUP4
00002f27: DUP4
00002f28: PUSH2 0x3557
00002f2b: JUMP
00002f2c: JUMPDEST
00002f2d: PUSH2 0x2f37
00002f30: PUSH1 0x00
00002f32: DUP3
00002f33: PUSH2 0x2c62
00002f36: JUMP
00002f37: JUMPDEST
00002f38: PUSH2 0x2f88
00002f3b: DUP2
00002f3c: PUSH1 0x02
00002f3e: PUSH1 0x00
00002f40: DUP7
00002f41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f56: AND
00002f57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f6c: AND
00002f6d: DUP2
00002f6e: MSTORE
00002f6f: PUSH1 0x20
00002f71: ADD
00002f72: SWAP1
00002f73: DUP2
00002f74: MSTORE
00002f75: PUSH1 0x20
00002f77: ADD
00002f78: PUSH1 0x00
00002f7a: KECCAK256
00002f7b: PUSH2 0x355c
00002f7e: SWAP1
00002f7f: SWAP2
00002f80: SWAP1
00002f81: PUSH4 0xffffffff
00002f86: AND
00002f87: JUMP
00002f88: JUMPDEST
00002f89: POP
00002f8a: PUSH2 0x2fda
00002f8d: DUP2
00002f8e: PUSH1 0x02
00002f90: PUSH1 0x00
00002f92: DUP6
00002f93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fa8: AND
00002fa9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fbe: AND
00002fbf: DUP2
00002fc0: MSTORE
00002fc1: PUSH1 0x20
00002fc3: ADD
00002fc4: SWAP1
00002fc5: DUP2
00002fc6: MSTORE
00002fc7: PUSH1 0x20
00002fc9: ADD
00002fca: PUSH1 0x00
00002fcc: KECCAK256
00002fcd: PUSH2 0x2bd4
00002fd0: SWAP1
00002fd1: SWAP2
00002fd2: SWAP1
00002fd3: PUSH4 0xffffffff
00002fd8: AND
00002fd9: JUMP
00002fda: JUMPDEST
00002fdb: POP
00002fdc: PUSH2 0x2ff1
00002fdf: DUP2
00002fe0: DUP4
00002fe1: PUSH1 0x03
00002fe3: PUSH2 0x2bee
00002fe6: SWAP1
00002fe7: SWAP3
00002fe8: SWAP2
00002fe9: SWAP1
00002fea: PUSH4 0xffffffff
00002fef: AND
00002ff0: JUMP
00002ff1: JUMPDEST
00002ff2: POP
00002ff3: DUP1
00002ff4: DUP3
00002ff5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000300a: AND
0000300b: DUP5
0000300c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003021: AND
00003022: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003043: PUSH1 0x40
00003045: MLOAD
00003046: PUSH1 0x40
00003048: MLOAD
00003049: DUP1
0000304a: SWAP2
0000304b: SUB
0000304c: SWAP1
0000304d: LOG4
0000304e: POP
0000304f: POP
00003050: POP
00003051: JUMP
00003052: JUMPDEST
00003053: PUSH1 0x00
00003055: PUSH2 0x3061
00003058: DUP4
00003059: PUSH1 0x00
0000305b: ADD
0000305c: DUP4
0000305d: PUSH2 0x3576
00003060: JUMP
00003061: JUMPDEST
00003062: PUSH1 0x00
00003064: SHR
00003065: SWAP1
00003066: POP
00003067: SWAP3
00003068: SWAP2
00003069: POP
0000306a: POP
0000306b: JUMP
0000306c: JUMPDEST
0000306d: PUSH1 0x00
0000306f: DUP1
00003070: PUSH1 0x00
00003072: DUP1
00003073: PUSH2 0x307f
00003076: DUP7
00003077: PUSH1 0x00
00003079: ADD
0000307a: DUP7
0000307b: PUSH2 0x35f9
0000307e: JUMP
0000307f: JUMPDEST
00003080: SWAP2
00003081: POP
00003082: SWAP2
00003083: POP
00003084: DUP2
00003085: PUSH1 0x00
00003087: SHR
00003088: DUP2
00003089: PUSH1 0x00
0000308b: SHR
0000308c: SWAP4
0000308d: POP
0000308e: SWAP4
0000308f: POP
00003090: POP
00003091: POP
00003092: SWAP3
00003093: POP
00003094: SWAP3
00003095: SWAP1
00003096: POP
00003097: JUMP
00003098: JUMPDEST
00003099: PUSH1 0x00
0000309b: PUSH2 0x30ab
0000309e: DUP5
0000309f: PUSH1 0x00
000030a1: ADD
000030a2: DUP5
000030a3: PUSH1 0x00
000030a5: SHL
000030a6: DUP5
000030a7: PUSH2 0x3692
000030aa: JUMP
000030ab: JUMPDEST
000030ac: PUSH1 0x00
000030ae: SHR
000030af: SWAP1
000030b0: POP
000030b1: SWAP4
000030b2: SWAP3
000030b3: POP
000030b4: POP
000030b5: POP
000030b6: JUMP
000030b7: JUMPDEST
000030b8: PUSH1 0x00
000030ba: PUSH2 0x30c5
000030bd: DUP3
000030be: PUSH1 0x00
000030c0: ADD
000030c1: PUSH2 0x3788
000030c4: JUMP
000030c5: JUMPDEST
000030c6: SWAP1
000030c7: POP
000030c8: SWAP2
000030c9: SWAP1
000030ca: POP
000030cb: JUMP
000030cc: JUMPDEST
000030cd: DUP1
000030ce: PUSH1 0x0a
000030d0: SWAP1
000030d1: DUP1
000030d2: MLOAD
000030d3: SWAP1
000030d4: PUSH1 0x20
000030d6: ADD
000030d7: SWAP1
000030d8: PUSH2 0x30e2
000030db: SWAP3
000030dc: SWAP2
000030dd: SWAP1
000030de: PUSH2 0x3fe5
000030e1: JUMP
000030e2: JUMPDEST
000030e3: POP
000030e4: POP
000030e5: JUMP
000030e6: JUMPDEST
000030e7: PUSH2 0x138d
000030ea: PUSH2 0x30f1
000030ed: PUSH2 0x1392
000030f0: JUMP
000030f1: JUMPDEST
000030f2: LT
000030f3: PUSH2 0x3164
000030f6: JUMPI
000030f7: PUSH1 0x40
000030f9: MLOAD
000030fa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000311b: DUP2
0000311c: MSTORE
0000311d: PUSH1 0x04
0000311f: ADD
00003120: DUP1
00003121: DUP1
00003122: PUSH1 0x20
00003124: ADD
00003125: DUP3
00003126: DUP2
00003127: SUB
00003128: DUP3
00003129: MSTORE
0000312a: PUSH1 0x1b
0000312c: DUP2
0000312d: MSTORE
0000312e: PUSH1 0x20
00003130: ADD
00003131: DUP1
00003132: PUSH32 0x416c6c20746f6b656e7320686173206265656e206d696e7465642e0000000000
00003153: DUP2
00003154: MSTORE
00003155: POP
00003156: PUSH1 0x20
00003158: ADD
00003159: SWAP2
0000315a: POP
0000315b: POP
0000315c: PUSH1 0x40
0000315e: MLOAD
0000315f: DUP1
00003160: SWAP2
00003161: SUB
00003162: SWAP1
00003163: REVERT
00003164: JUMPDEST
00003165: PUSH1 0x00
00003167: PUSH2 0x316e
0000316a: PUSH2 0x1392
0000316d: JUMP
0000316e: JUMPDEST
0000316f: PUSH2 0x138d
00003172: SUB
00003173: SWAP1
00003174: POP
00003175: PUSH1 0x00
00003177: PUSH1 0x01
00003179: DUP3
0000317a: SUB
0000317b: SWAP1
0000317c: POP
0000317d: PUSH1 0x00
0000317f: PUSH2 0x3187
00003182: DUP4
00003183: PUSH2 0x3799
00003186: JUMP
00003187: JUMPDEST
00003188: SWAP1
00003189: POP
0000318a: PUSH1 0x00
0000318c: PUSH1 0x0d
0000318e: PUSH1 0x00
00003190: DUP4
00003191: DUP2
00003192: MSTORE
00003193: PUSH1 0x20
00003195: ADD
00003196: SWAP1
00003197: DUP2
00003198: MSTORE
00003199: PUSH1 0x20
0000319b: ADD
0000319c: PUSH1 0x00
0000319e: KECCAK256
0000319f: SLOAD
000031a0: SWAP1
000031a1: POP
000031a2: PUSH1 0x00
000031a4: PUSH1 0x0d
000031a6: PUSH1 0x00
000031a8: DUP6
000031a9: DUP2
000031aa: MSTORE
000031ab: PUSH1 0x20
000031ad: ADD
000031ae: SWAP1
000031af: DUP2
000031b0: MSTORE
000031b1: PUSH1 0x20
000031b3: ADD
000031b4: PUSH1 0x00
000031b6: KECCAK256
000031b7: SLOAD
000031b8: SWAP1
000031b9: POP
000031ba: DUP4
000031bb: DUP4
000031bc: EQ
000031bd: PUSH2 0x3200
000031c0: JUMPI
000031c1: PUSH1 0x00
000031c3: DUP2
000031c4: EQ
000031c5: ISZERO
000031c6: PUSH2 0x31e6
000031c9: JUMPI
000031ca: DUP4
000031cb: PUSH1 0x0d
000031cd: PUSH1 0x00
000031cf: DUP6
000031d0: DUP2
000031d1: MSTORE
000031d2: PUSH1 0x20
000031d4: ADD
000031d5: SWAP1
000031d6: DUP2
000031d7: MSTORE
000031d8: PUSH1 0x20
000031da: ADD
000031db: PUSH1 0x00
000031dd: KECCAK256
000031de: DUP2
000031df: SWAP1
000031e0: SSTORE
000031e1: POP
000031e2: PUSH2 0x31ff
000031e5: JUMP
000031e6: JUMPDEST
000031e7: DUP1
000031e8: PUSH1 0x0d
000031ea: PUSH1 0x00
000031ec: DUP6
000031ed: DUP2
000031ee: MSTORE
000031ef: PUSH1 0x20
000031f1: ADD
000031f2: SWAP1
000031f3: DUP2
000031f4: MSTORE
000031f5: PUSH1 0x20
000031f7: ADD
000031f8: PUSH1 0x00
000031fa: KECCAK256
000031fb: DUP2
000031fc: SWAP1
000031fd: SSTORE
000031fe: POP
000031ff: JUMPDEST
00003200: JUMPDEST
00003201: PUSH1 0x00
00003203: DUP3
00003204: EQ
00003205: PUSH2 0x320c
00003208: JUMPI
00003209: DUP2
0000320a: SWAP3
0000320b: POP
0000320c: JUMPDEST
0000320d: PUSH2 0x3216
00003210: DUP7
00003211: DUP5
00003212: PUSH2 0x382d
00003215: JUMP
00003216: JUMPDEST
00003217: POP
00003218: POP
00003219: POP
0000321a: POP
0000321b: POP
0000321c: POP
0000321d: JUMP
0000321e: JUMPDEST
0000321f: PUSH2 0x3229
00003222: DUP5
00003223: DUP5
00003224: DUP5
00003225: PUSH2 0x2e0f
00003228: JUMP
00003229: JUMPDEST
0000322a: PUSH2 0x3235
0000322d: DUP5
0000322e: DUP5
0000322f: DUP5
00003230: DUP5
00003231: PUSH2 0x3a21
00003234: JUMP
00003235: JUMPDEST
00003236: PUSH2 0x328a
00003239: JUMPI
0000323a: PUSH1 0x40
0000323c: MLOAD
0000323d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000325e: DUP2
0000325f: MSTORE
00003260: PUSH1 0x04
00003262: ADD
00003263: DUP1
00003264: DUP1
00003265: PUSH1 0x20
00003267: ADD
00003268: DUP3
00003269: DUP2
0000326a: SUB
0000326b: DUP3
0000326c: MSTORE
0000326d: PUSH1 0x32
0000326f: DUP2
00003270: MSTORE
00003271: PUSH1 0x20
00003273: ADD
00003274: DUP1
00003275: PUSH2 0x40a5
00003278: PUSH1 0x32
0000327a: SWAP2
0000327b: CODECOPY
0000327c: PUSH1 0x40
0000327e: ADD
0000327f: SWAP2
00003280: POP
00003281: POP
00003282: PUSH1 0x40
00003284: MLOAD
00003285: DUP1
00003286: SWAP2
00003287: SUB
00003288: SWAP1
00003289: REVERT
0000328a: JUMPDEST
0000328b: POP
0000328c: POP
0000328d: POP
0000328e: POP
0000328f: JUMP
00003290: JUMPDEST
00003291: PUSH1 0x60
00003293: PUSH1 0x00
00003295: DUP3
00003296: EQ
00003297: ISZERO
00003298: PUSH2 0x32d8
0000329b: JUMPI
0000329c: PUSH1 0x40
0000329e: MLOAD
0000329f: DUP1
000032a0: PUSH1 0x40
000032a2: ADD
000032a3: PUSH1 0x40
000032a5: MSTORE
000032a6: DUP1
000032a7: PUSH1 0x01
000032a9: DUP2
000032aa: MSTORE
000032ab: PUSH1 0x20
000032ad: ADD
000032ae: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
000032cf: DUP2
000032d0: MSTORE
000032d1: POP
000032d2: SWAP1
000032d3: POP
000032d4: PUSH2 0x33d2
000032d7: JUMP
000032d8: JUMPDEST
000032d9: PUSH1 0x00
000032db: DUP3
000032dc: SWAP1
000032dd: POP
000032de: PUSH1 0x00
000032e0: JUMPDEST
000032e1: PUSH1 0x00
000032e3: DUP3
000032e4: EQ
000032e5: PUSH2 0x3302
000032e8: JUMPI
000032e9: DUP1
000032ea: DUP1
000032eb: PUSH1 0x01
000032ed: ADD
000032ee: SWAP2
000032ef: POP
000032f0: POP
000032f1: PUSH1 0x0a
000032f3: DUP3
000032f4: DUP2
000032f5: PUSH2 0x32fa
000032f8: JUMPI
000032f9: INVALID
000032fa: JUMPDEST
000032fb: DIV
000032fc: SWAP2
000032fd: POP
000032fe: PUSH2 0x32e0
00003301: JUMP
00003302: JUMPDEST
00003303: PUSH1 0x60
00003305: DUP2
00003306: PUSH8 0xffffffffffffffff
0000330f: DUP2
00003310: GT
00003311: DUP1
00003312: ISZERO
00003313: PUSH2 0x331b
00003316: JUMPI
00003317: PUSH1 0x00
00003319: DUP1
0000331a: REVERT
0000331b: JUMPDEST
0000331c: POP
0000331d: PUSH1 0x40
0000331f: MLOAD
00003320: SWAP1
00003321: DUP1
00003322: DUP3
00003323: MSTORE
00003324: DUP1
00003325: PUSH1 0x1f
00003327: ADD
00003328: PUSH1 0x1f
0000332a: NOT
0000332b: AND
0000332c: PUSH1 0x20
0000332e: ADD
0000332f: DUP3
00003330: ADD
00003331: PUSH1 0x40
00003333: MSTORE
00003334: DUP1
00003335: ISZERO
00003336: PUSH2 0x334e
00003339: JUMPI
0000333a: DUP2
0000333b: PUSH1 0x20
0000333d: ADD
0000333e: PUSH1 0x01
00003340: DUP3
00003341: MUL
00003342: DUP1
00003343: CALLDATASIZE
00003344: DUP4
00003345: CALLDATACOPY
00003346: DUP1
00003347: DUP3
00003348: ADD
00003349: SWAP2
0000334a: POP
0000334b: POP
0000334c: SWAP1
0000334d: POP
0000334e: JUMPDEST
0000334f: POP
00003350: SWAP1
00003351: POP
00003352: PUSH1 0x00
00003354: PUSH1 0x01
00003356: DUP4
00003357: SUB
00003358: SWAP1
00003359: POP
0000335a: DUP6
0000335b: SWAP4
0000335c: POP
0000335d: JUMPDEST
0000335e: PUSH1 0x00
00003360: DUP5
00003361: EQ
00003362: PUSH2 0x33ca
00003365: JUMPI
00003366: PUSH1 0x0a
00003368: DUP5
00003369: DUP2
0000336a: PUSH2 0x336f
0000336d: JUMPI
0000336e: INVALID
0000336f: JUMPDEST
00003370: MOD
00003371: PUSH1 0x30
00003373: ADD
00003374: PUSH1 0xf8
00003376: SHL
00003377: DUP3
00003378: DUP3
00003379: DUP1
0000337a: PUSH1 0x01
0000337c: SWAP1
0000337d: SUB
0000337e: SWAP4
0000337f: POP
00003380: DUP2
00003381: MLOAD
00003382: DUP2
00003383: LT
00003384: PUSH2 0x3389
00003387: JUMPI
00003388: INVALID
00003389: JUMPDEST
0000338a: PUSH1 0x20
0000338c: ADD
0000338d: ADD
0000338e: SWAP1
0000338f: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000033af: NOT
000033b0: AND
000033b1: SWAP1
000033b2: DUP2
000033b3: PUSH1 0x00
000033b5: BYTE
000033b6: SWAP1
000033b7: MSTORE8
000033b8: POP
000033b9: PUSH1 0x0a
000033bb: DUP5
000033bc: DUP2
000033bd: PUSH2 0x33c2
000033c0: JUMPI
000033c1: INVALID
000033c2: JUMPDEST
000033c3: DIV
000033c4: SWAP4
000033c5: POP
000033c6: PUSH2 0x335d
000033c9: JUMP
000033ca: JUMPDEST
000033cb: DUP2
000033cc: SWAP5
000033cd: POP
000033ce: POP
000033cf: POP
000033d0: POP
000033d1: POP
000033d2: JUMPDEST
000033d3: SWAP2
000033d4: SWAP1
000033d5: POP
000033d6: JUMP
000033d7: JUMPDEST
000033d8: PUSH1 0x00
000033da: DUP2
000033db: PUSH1 0x00
000033dd: ADD
000033de: DUP1
000033df: SLOAD
000033e0: SWAP1
000033e1: POP
000033e2: SWAP1
000033e3: POP
000033e4: SWAP2
000033e5: SWAP1
000033e6: POP
000033e7: JUMP
000033e8: JUMPDEST
000033e9: PUSH1 0x00
000033eb: PUSH2 0x33f4
000033ee: DUP4
000033ef: DUP4
000033f0: PUSH2 0x3c3a
000033f3: JUMP
000033f4: JUMPDEST
000033f5: PUSH2 0x344d
000033f8: JUMPI
000033f9: DUP3
000033fa: PUSH1 0x00
000033fc: ADD
000033fd: DUP3
000033fe: SWAP1
000033ff: DUP1
00003400: PUSH1 0x01
00003402: DUP2
00003403: SLOAD
00003404: ADD
00003405: DUP1
00003406: DUP3
00003407: SSTORE
00003408: DUP1
00003409: SWAP2
0000340a: POP
0000340b: POP
0000340c: PUSH1 0x01
0000340e: SWAP1
0000340f: SUB
00003410: SWAP1
00003411: PUSH1 0x00
00003413: MSTORE
00003414: PUSH1 0x20
00003416: PUSH1 0x00
00003418: KECCAK256
00003419: ADD
0000341a: PUSH1 0x00
0000341c: SWAP1
0000341d: SWAP2
0000341e: SWAP1
0000341f: SWAP2
00003420: SWAP1
00003421: SWAP2
00003422: POP
00003423: SSTORE
00003424: DUP3
00003425: PUSH1 0x00
00003427: ADD
00003428: DUP1
00003429: SLOAD
0000342a: SWAP1
0000342b: POP
0000342c: DUP4
0000342d: PUSH1 0x01
0000342f: ADD
00003430: PUSH1 0x00
00003432: DUP5
00003433: DUP2
00003434: MSTORE
00003435: PUSH1 0x20
00003437: ADD
00003438: SWAP1
00003439: DUP2
0000343a: MSTORE
0000343b: PUSH1 0x20
0000343d: ADD
0000343e: PUSH1 0x00
00003440: KECCAK256
00003441: DUP2
00003442: SWAP1
00003443: SSTORE
00003444: POP
00003445: PUSH1 0x01
00003447: SWAP1
00003448: POP
00003449: PUSH2 0x3452
0000344c: JUMP
0000344d: JUMPDEST
0000344e: PUSH1 0x00
00003450: SWAP1
00003451: POP
00003452: JUMPDEST
00003453: SWAP3
00003454: SWAP2
00003455: POP
00003456: POP
00003457: JUMP
00003458: JUMPDEST
00003459: PUSH1 0x00
0000345b: DUP1
0000345c: DUP5
0000345d: PUSH1 0x01
0000345f: ADD
00003460: PUSH1 0x00
00003462: DUP6
00003463: DUP2
00003464: MSTORE
00003465: PUSH1 0x20
00003467: ADD
00003468: SWAP1
00003469: DUP2
0000346a: MSTORE
0000346b: PUSH1 0x20
0000346d: ADD
0000346e: PUSH1 0x00
00003470: KECCAK256
00003471: SLOAD
00003472: SWAP1
00003473: POP
00003474: PUSH1 0x00
00003476: DUP2
00003477: EQ
00003478: ISZERO
00003479: PUSH2 0x34ff
0000347c: JUMPI
0000347d: DUP5
0000347e: PUSH1 0x00
00003480: ADD
00003481: PUSH1 0x40
00003483: MLOAD
00003484: DUP1
00003485: PUSH1 0x40
00003487: ADD
00003488: PUSH1 0x40
0000348a: MSTORE
0000348b: DUP1
0000348c: DUP7
0000348d: DUP2
0000348e: MSTORE
0000348f: PUSH1 0x20
00003491: ADD
00003492: DUP6
00003493: DUP2
00003494: MSTORE
00003495: POP
00003496: SWAP1
00003497: DUP1
00003498: PUSH1 0x01
0000349a: DUP2
0000349b: SLOAD
0000349c: ADD
0000349d: DUP1
0000349e: DUP3
0000349f: SSTORE
000034a0: DUP1
000034a1: SWAP2
000034a2: POP
000034a3: POP
000034a4: PUSH1 0x01
000034a6: SWAP1
000034a7: SUB
000034a8: SWAP1
000034a9: PUSH1 0x00
000034ab: MSTORE
000034ac: PUSH1 0x20
000034ae: PUSH1 0x00
000034b0: KECCAK256
000034b1: SWAP1
000034b2: PUSH1 0x02
000034b4: MUL
000034b5: ADD
000034b6: PUSH1 0x00
000034b8: SWAP1
000034b9: SWAP2
000034ba: SWAP1
000034bb: SWAP2
000034bc: SWAP1
000034bd: SWAP2
000034be: POP
000034bf: PUSH1 0x00
000034c1: DUP3
000034c2: ADD
000034c3: MLOAD
000034c4: DUP2
000034c5: PUSH1 0x00
000034c7: ADD
000034c8: SSTORE
000034c9: PUSH1 0x20
000034cb: DUP3
000034cc: ADD
000034cd: MLOAD
000034ce: DUP2
000034cf: PUSH1 0x01
000034d1: ADD
000034d2: SSTORE
000034d3: POP
000034d4: POP
000034d5: DUP5
000034d6: PUSH1 0x00
000034d8: ADD
000034d9: DUP1
000034da: SLOAD
000034db: SWAP1
000034dc: POP
000034dd: DUP6
000034de: PUSH1 0x01
000034e0: ADD
000034e1: PUSH1 0x00
000034e3: DUP7
000034e4: DUP2
000034e5: MSTORE
000034e6: PUSH1 0x20
000034e8: ADD
000034e9: SWAP1
000034ea: DUP2
000034eb: MSTORE
000034ec: PUSH1 0x20
000034ee: ADD
000034ef: PUSH1 0x00
000034f1: KECCAK256
000034f2: DUP2
000034f3: SWAP1
000034f4: SSTORE
000034f5: POP
000034f6: PUSH1 0x01
000034f8: SWAP2
000034f9: POP
000034fa: POP
000034fb: PUSH2 0x352d
000034fe: JUMP
000034ff: JUMPDEST
00003500: DUP3
00003501: DUP6
00003502: PUSH1 0x00
00003504: ADD
00003505: PUSH1 0x01
00003507: DUP4
00003508: SUB
00003509: DUP2
0000350a: SLOAD
0000350b: DUP2
0000350c: LT
0000350d: PUSH2 0x3512
00003510: JUMPI
00003511: INVALID
00003512: JUMPDEST
00003513: SWAP1
00003514: PUSH1 0x00
00003516: MSTORE
00003517: PUSH1 0x20
00003519: PUSH1 0x00
0000351b: KECCAK256
0000351c: SWAP1
0000351d: PUSH1 0x02
0000351f: MUL
00003520: ADD
00003521: PUSH1 0x01
00003523: ADD
00003524: DUP2
00003525: SWAP1
00003526: SSTORE
00003527: POP
00003528: PUSH1 0x00
0000352a: SWAP2
0000352b: POP
0000352c: POP
0000352d: JUMPDEST
0000352e: SWAP4
0000352f: SWAP3
00003530: POP
00003531: POP
00003532: POP
00003533: JUMP
00003534: JUMPDEST
00003535: PUSH1 0x00
00003537: DUP1
00003538: DUP4
00003539: PUSH1 0x01
0000353b: ADD
0000353c: PUSH1 0x00
0000353e: DUP5
0000353f: DUP2
00003540: MSTORE
00003541: PUSH1 0x20
00003543: ADD
00003544: SWAP1
00003545: DUP2
00003546: MSTORE
00003547: PUSH1 0x20
00003549: ADD
0000354a: PUSH1 0x00
0000354c: KECCAK256
0000354d: SLOAD
0000354e: EQ
0000354f: ISZERO
00003550: SWAP1
00003551: POP
00003552: SWAP3
00003553: SWAP2
00003554: POP
00003555: POP
00003556: JUMP
00003557: JUMPDEST
00003558: POP
00003559: POP
0000355a: POP
0000355b: JUMP
0000355c: JUMPDEST
0000355d: PUSH1 0x00
0000355f: PUSH2 0x356e
00003562: DUP4
00003563: PUSH1 0x00
00003565: ADD
00003566: DUP4
00003567: PUSH1 0x00
00003569: SHL
0000356a: PUSH2 0x3c5d
0000356d: JUMP
0000356e: JUMPDEST
0000356f: SWAP1
00003570: POP
00003571: SWAP3
00003572: SWAP2
00003573: POP
00003574: POP
00003575: JUMP
00003576: JUMPDEST
00003577: PUSH1 0x00
00003579: DUP2
0000357a: DUP4
0000357b: PUSH1 0x00
0000357d: ADD
0000357e: DUP1
0000357f: SLOAD
00003580: SWAP1
00003581: POP
00003582: GT
00003583: PUSH2 0x35d7
00003586: JUMPI
00003587: PUSH1 0x40
00003589: MLOAD
0000358a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000035ab: DUP2
000035ac: MSTORE
000035ad: PUSH1 0x04
000035af: ADD
000035b0: DUP1
000035b1: DUP1
000035b2: PUSH1 0x20
000035b4: ADD
000035b5: DUP3
000035b6: DUP2
000035b7: SUB
000035b8: DUP3
000035b9: MSTORE
000035ba: PUSH1 0x22
000035bc: DUP2
000035bd: MSTORE
000035be: PUSH1 0x20
000035c0: ADD
000035c1: DUP1
000035c2: PUSH2 0x4083
000035c5: PUSH1 0x22
000035c7: SWAP2
000035c8: CODECOPY
000035c9: PUSH1 0x40
000035cb: ADD
000035cc: SWAP2
000035cd: POP
000035ce: POP
000035cf: PUSH1 0x40
000035d1: MLOAD
000035d2: DUP1
000035d3: SWAP2
000035d4: SUB
000035d5: SWAP1
000035d6: REVERT
000035d7: JUMPDEST
000035d8: DUP3
000035d9: PUSH1 0x00
000035db: ADD
000035dc: DUP3
000035dd: DUP2
000035de: SLOAD
000035df: DUP2
000035e0: LT
000035e1: PUSH2 0x35e6
000035e4: JUMPI
000035e5: INVALID
000035e6: JUMPDEST
000035e7: SWAP1
000035e8: PUSH1 0x00
000035ea: MSTORE
000035eb: PUSH1 0x20
000035ed: PUSH1 0x00
000035ef: KECCAK256
000035f0: ADD
000035f1: SLOAD
000035f2: SWAP1
000035f3: POP
000035f4: SWAP3
000035f5: SWAP2
000035f6: POP
000035f7: POP
000035f8: JUMP
000035f9: JUMPDEST
000035fa: PUSH1 0x00
000035fc: DUP1
000035fd: DUP3
000035fe: DUP5
000035ff: PUSH1 0x00
00003601: ADD
00003602: DUP1
00003603: SLOAD
00003604: SWAP1
00003605: POP
00003606: GT
00003607: PUSH2 0x365b
0000360a: JUMPI
0000360b: PUSH1 0x40
0000360d: MLOAD
0000360e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000362f: DUP2
00003630: MSTORE
00003631: PUSH1 0x04
00003633: ADD
00003634: DUP1
00003635: DUP1
00003636: PUSH1 0x20
00003638: ADD
00003639: DUP3
0000363a: DUP2
0000363b: SUB
0000363c: DUP3
0000363d: MSTORE
0000363e: PUSH1 0x22
00003640: DUP2
00003641: MSTORE
00003642: PUSH1 0x20
00003644: ADD
00003645: DUP1
00003646: PUSH2 0x41fe
00003649: PUSH1 0x22
0000364b: SWAP2
0000364c: CODECOPY
0000364d: PUSH1 0x40
0000364f: ADD
00003650: SWAP2
00003651: POP
00003652: POP
00003653: PUSH1 0x40
00003655: MLOAD
00003656: DUP1
00003657: SWAP2
00003658: SUB
00003659: SWAP1
0000365a: REVERT
0000365b: JUMPDEST
0000365c: PUSH1 0x00
0000365e: DUP5
0000365f: PUSH1 0x00
00003661: ADD
00003662: DUP5
00003663: DUP2
00003664: SLOAD
00003665: DUP2
00003666: LT
00003667: PUSH2 0x366c
0000366a: JUMPI
0000366b: INVALID
0000366c: JUMPDEST
0000366d: SWAP1
0000366e: PUSH1 0x00
00003670: MSTORE
00003671: PUSH1 0x20
00003673: PUSH1 0x00
00003675: KECCAK256
00003676: SWAP1
00003677: PUSH1 0x02
00003679: MUL
0000367a: ADD
0000367b: SWAP1
0000367c: POP
0000367d: DUP1
0000367e: PUSH1 0x00
00003680: ADD
00003681: SLOAD
00003682: DUP2
00003683: PUSH1 0x01
00003685: ADD
00003686: SLOAD
00003687: SWAP3
00003688: POP
00003689: SWAP3
0000368a: POP
0000368b: POP
0000368c: SWAP3
0000368d: POP
0000368e: SWAP3
0000368f: SWAP1
00003690: POP
00003691: JUMP
00003692: JUMPDEST
00003693: PUSH1 0x00
00003695: DUP1
00003696: DUP5
00003697: PUSH1 0x01
00003699: ADD
0000369a: PUSH1 0x00
0000369c: DUP6
0000369d: DUP2
0000369e: MSTORE
0000369f: PUSH1 0x20
000036a1: ADD
000036a2: SWAP1
000036a3: DUP2
000036a4: MSTORE
000036a5: PUSH1 0x20
000036a7: ADD
000036a8: PUSH1 0x00
000036aa: KECCAK256
000036ab: SLOAD
000036ac: SWAP1
000036ad: POP
000036ae: PUSH1 0x00
000036b0: DUP2
000036b1: EQ
000036b2: ISZERO
000036b3: DUP4
000036b4: SWAP1
000036b5: PUSH2 0x3759
000036b8: JUMPI
000036b9: PUSH1 0x40
000036bb: MLOAD
000036bc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000036dd: DUP2
000036de: MSTORE
000036df: PUSH1 0x04
000036e1: ADD
000036e2: DUP1
000036e3: DUP1
000036e4: PUSH1 0x20
000036e6: ADD
000036e7: DUP3
000036e8: DUP2
000036e9: SUB
000036ea: DUP3
000036eb: MSTORE
000036ec: DUP4
000036ed: DUP2
000036ee: DUP2
000036ef: MLOAD
000036f0: DUP2
000036f1: MSTORE
000036f2: PUSH1 0x20
000036f4: ADD
000036f5: SWAP2
000036f6: POP
000036f7: DUP1
000036f8: MLOAD
000036f9: SWAP1
000036fa: PUSH1 0x20
000036fc: ADD
000036fd: SWAP1
000036fe: DUP1
000036ff: DUP4
00003700: DUP4
00003701: PUSH1 0x00
00003703: JUMPDEST
00003704: DUP4
00003705: DUP2
00003706: LT
00003707: ISZERO
00003708: PUSH2 0x371e
0000370b: JUMPI
0000370c: DUP1
0000370d: DUP3
0000370e: ADD
0000370f: MLOAD
00003710: DUP2
00003711: DUP5
00003712: ADD
00003713: MSTORE
00003714: PUSH1 0x20
00003716: DUP2
00003717: ADD
00003718: SWAP1
00003719: POP
0000371a: PUSH2 0x3703
0000371d: JUMP
0000371e: JUMPDEST
0000371f: POP
00003720: POP
00003721: POP
00003722: POP
00003723: SWAP1
00003724: POP
00003725: SWAP1
00003726: DUP2
00003727: ADD
00003728: SWAP1
00003729: PUSH1 0x1f
0000372b: AND
0000372c: DUP1
0000372d: ISZERO
0000372e: PUSH2 0x374b
00003731: JUMPI
00003732: DUP1
00003733: DUP3
00003734: SUB
00003735: DUP1
00003736: MLOAD
00003737: PUSH1 0x01
00003739: DUP4
0000373a: PUSH1 0x20
0000373c: SUB
0000373d: PUSH2 0x0100
00003740: EXP
00003741: SUB
00003742: NOT
00003743: AND
00003744: DUP2
00003745: MSTORE
00003746: PUSH1 0x20
00003748: ADD
00003749: SWAP2
0000374a: POP
0000374b: JUMPDEST
0000374c: POP
0000374d: SWAP3
0000374e: POP
0000374f: POP
00003750: POP
00003751: PUSH1 0x40
00003753: MLOAD
00003754: DUP1
00003755: SWAP2
00003756: SUB
00003757: SWAP1
00003758: REVERT
00003759: JUMPDEST
0000375a: POP
0000375b: DUP5
0000375c: PUSH1 0x00
0000375e: ADD
0000375f: PUSH1 0x01
00003761: DUP3
00003762: SUB
00003763: DUP2
00003764: SLOAD
00003765: DUP2
00003766: LT
00003767: PUSH2 0x376c
0000376a: JUMPI
0000376b: INVALID
0000376c: JUMPDEST
0000376d: SWAP1
0000376e: PUSH1 0x00
00003770: MSTORE
00003771: PUSH1 0x20
00003773: PUSH1 0x00
00003775: KECCAK256
00003776: SWAP1
00003777: PUSH1 0x02
00003779: MUL
0000377a: ADD
0000377b: PUSH1 0x01
0000377d: ADD
0000377e: SLOAD
0000377f: SWAP2
00003780: POP
00003781: POP
00003782: SWAP4
00003783: SWAP3
00003784: POP
00003785: POP
00003786: POP
00003787: JUMP
00003788: JUMPDEST
00003789: PUSH1 0x00
0000378b: DUP2
0000378c: PUSH1 0x00
0000378e: ADD
0000378f: DUP1
00003790: SLOAD
00003791: SWAP1
00003792: POP
00003793: SWAP1
00003794: POP
00003795: SWAP2
00003796: SWAP1
00003797: POP
00003798: JUMP
00003799: JUMPDEST
0000379a: PUSH1 0x00
0000379c: DUP1
0000379d: PUSH2 0x37a4
000037a0: PUSH2 0x1392
000037a3: JUMP
000037a4: JUMPDEST
000037a5: SWAP1
000037a6: POP
000037a7: PUSH1 0x00
000037a9: DIFFICULTY
000037aa: SWAP1
000037ab: POP
000037ac: PUSH1 0x00
000037ae: GASLIMIT
000037af: SWAP1
000037b0: POP
000037b1: PUSH1 0x00
000037b3: NUMBER
000037b4: SWAP1
000037b5: POP
000037b6: PUSH1 0x00
000037b8: TIMESTAMP
000037b9: SWAP1
000037ba: POP
000037bb: PUSH1 0x00
000037bd: GASPRICE
000037be: SWAP1
000037bf: POP
000037c0: PUSH1 0x00
000037c2: DUP9
000037c3: DUP8
000037c4: DUP8
000037c5: DUP8
000037c6: DUP8
000037c7: DUP8
000037c8: DUP8
000037c9: PUSH1 0x40
000037cb: MLOAD
000037cc: PUSH1 0x20
000037ce: ADD
000037cf: DUP1
000037d0: DUP8
000037d1: DUP2
000037d2: MSTORE
000037d3: PUSH1 0x20
000037d5: ADD
000037d6: DUP7
000037d7: DUP2
000037d8: MSTORE
000037d9: PUSH1 0x20
000037db: ADD
000037dc: DUP6
000037dd: DUP2
000037de: MSTORE
000037df: PUSH1 0x20
000037e1: ADD
000037e2: DUP5
000037e3: DUP2
000037e4: MSTORE
000037e5: PUSH1 0x20
000037e7: ADD
000037e8: DUP4
000037e9: DUP2
000037ea: MSTORE
000037eb: PUSH1 0x20
000037ed: ADD
000037ee: DUP3
000037ef: DUP2
000037f0: MSTORE
000037f1: PUSH1 0x20
000037f3: ADD
000037f4: SWAP7
000037f5: POP
000037f6: POP
000037f7: POP
000037f8: POP
000037f9: POP
000037fa: POP
000037fb: POP
000037fc: PUSH1 0x40
000037fe: MLOAD
000037ff: PUSH1 0x20
00003801: DUP2
00003802: DUP4
00003803: SUB
00003804: SUB
00003805: DUP2
00003806: MSTORE
00003807: SWAP1
00003808: PUSH1 0x40
0000380a: MSTORE
0000380b: DUP1
0000380c: MLOAD
0000380d: SWAP1
0000380e: PUSH1 0x20
00003810: ADD
00003811: KECCAK256
00003812: PUSH1 0x00
00003814: SHR
00003815: DUP2
00003816: PUSH2 0x381b
00003819: JUMPI
0000381a: INVALID
0000381b: JUMPDEST
0000381c: MOD
0000381d: SWAP1
0000381e: POP
0000381f: DUP1
00003820: SWAP8
00003821: POP
00003822: POP
00003823: POP
00003824: POP
00003825: POP
00003826: POP
00003827: POP
00003828: POP
00003829: SWAP2
0000382a: SWAP1
0000382b: POP
0000382c: JUMP
0000382d: JUMPDEST
0000382e: PUSH1 0x00
00003830: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003845: AND
00003846: DUP3
00003847: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000385c: AND
0000385d: EQ
0000385e: ISZERO
0000385f: PUSH2 0x38d0
00003862: JUMPI
00003863: PUSH1 0x40
00003865: MLOAD
00003866: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003887: DUP2
00003888: MSTORE
00003889: PUSH1 0x04
0000388b: ADD
0000388c: DUP1
0000388d: DUP1
0000388e: PUSH1 0x20
00003890: ADD
00003891: DUP3
00003892: DUP2
00003893: SUB
00003894: DUP3
00003895: MSTORE
00003896: PUSH1 0x20
00003898: DUP2
00003899: MSTORE
0000389a: PUSH1 0x20
0000389c: ADD
0000389d: DUP1
0000389e: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
000038bf: DUP2
000038c0: MSTORE
000038c1: POP
000038c2: PUSH1 0x20
000038c4: ADD
000038c5: SWAP2
000038c6: POP
000038c7: POP
000038c8: PUSH1 0x40
000038ca: MLOAD
000038cb: DUP1
000038cc: SWAP2
000038cd: SUB
000038ce: SWAP1
000038cf: REVERT
000038d0: JUMPDEST
000038d1: PUSH2 0x38d9
000038d4: DUP2
000038d5: PUSH2 0x2c3d
000038d8: JUMP
000038d9: JUMPDEST
000038da: ISZERO
000038db: PUSH2 0x394c
000038de: JUMPI
000038df: PUSH1 0x40
000038e1: MLOAD
000038e2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003903: DUP2
00003904: MSTORE
00003905: PUSH1 0x04
00003907: ADD
00003908: DUP1
00003909: DUP1
0000390a: PUSH1 0x20
0000390c: ADD
0000390d: DUP3
0000390e: DUP2
0000390f: SUB
00003910: DUP3
00003911: MSTORE
00003912: PUSH1 0x1c
00003914: DUP2
00003915: MSTORE
00003916: PUSH1 0x20
00003918: ADD
00003919: DUP1
0000391a: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
0000393b: DUP2
0000393c: MSTORE
0000393d: POP
0000393e: PUSH1 0x20
00003940: ADD
00003941: SWAP2
00003942: POP
00003943: POP
00003944: PUSH1 0x40
00003946: MLOAD
00003947: DUP1
00003948: SWAP2
00003949: SUB
0000394a: SWAP1
0000394b: REVERT
0000394c: JUMPDEST
0000394d: PUSH2 0x3958
00003950: PUSH1 0x00
00003952: DUP4
00003953: DUP4
00003954: PUSH2 0x3557
00003957: JUMP
00003958: JUMPDEST
00003959: PUSH2 0x39a9
0000395c: DUP2
0000395d: PUSH1 0x02
0000395f: PUSH1 0x00
00003961: DUP6
00003962: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003977: AND
00003978: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000398d: AND
0000398e: DUP2
0000398f: MSTORE
00003990: PUSH1 0x20
00003992: ADD
00003993: SWAP1
00003994: DUP2
00003995: MSTORE
00003996: PUSH1 0x20
00003998: ADD
00003999: PUSH1 0x00
0000399b: KECCAK256
0000399c: PUSH2 0x2bd4
0000399f: SWAP1
000039a0: SWAP2
000039a1: SWAP1
000039a2: PUSH4 0xffffffff
000039a7: AND
000039a8: JUMP
000039a9: JUMPDEST
000039aa: POP
000039ab: PUSH2 0x39c0
000039ae: DUP2
000039af: DUP4
000039b0: PUSH1 0x03
000039b2: PUSH2 0x2bee
000039b5: SWAP1
000039b6: SWAP3
000039b7: SWAP2
000039b8: SWAP1
000039b9: PUSH4 0xffffffff
000039be: AND
000039bf: JUMP
000039c0: JUMPDEST
000039c1: POP
000039c2: DUP1
000039c3: DUP3
000039c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000039d9: AND
000039da: PUSH1 0x00
000039dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000039f1: AND
000039f2: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003a13: PUSH1 0x40
00003a15: MLOAD
00003a16: PUSH1 0x40
00003a18: MLOAD
00003a19: DUP1
00003a1a: SWAP2
00003a1b: SUB
00003a1c: SWAP1
00003a1d: LOG4
00003a1e: POP
00003a1f: POP
00003a20: JUMP
00003a21: JUMPDEST
00003a22: PUSH1 0x00
00003a24: PUSH2 0x3a42
00003a27: DUP5
00003a28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a3d: AND
00003a3e: PUSH2 0x3d45
00003a41: JUMP
00003a42: JUMPDEST
00003a43: PUSH2 0x3a4f
00003a46: JUMPI
00003a47: PUSH1 0x01
00003a49: SWAP1
00003a4a: POP
00003a4b: PUSH2 0x3c32
00003a4e: JUMP
00003a4f: JUMPDEST
00003a50: PUSH1 0x60
00003a52: PUSH2 0x3bb9
00003a55: PUSH4 0x150b7a02
00003a5a: PUSH1 0xe0
00003a5c: SHL
00003a5d: PUSH2 0x3a64
00003a60: PUSH2 0x2c5a
00003a63: JUMP
00003a64: JUMPDEST
00003a65: DUP9
00003a66: DUP8
00003a67: DUP8
00003a68: PUSH1 0x40
00003a6a: MLOAD
00003a6b: PUSH1 0x24
00003a6d: ADD
00003a6e: DUP1
00003a6f: DUP6
00003a70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a85: AND
00003a86: DUP2
00003a87: MSTORE
00003a88: PUSH1 0x20
00003a8a: ADD
00003a8b: DUP5
00003a8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003aa1: AND
00003aa2: DUP2
00003aa3: MSTORE
00003aa4: PUSH1 0x20
00003aa6: ADD
00003aa7: DUP4
00003aa8: DUP2
00003aa9: MSTORE
00003aaa: PUSH1 0x20
00003aac: ADD
00003aad: DUP1
00003aae: PUSH1 0x20
00003ab0: ADD
00003ab1: DUP3
00003ab2: DUP2
00003ab3: SUB
00003ab4: DUP3
00003ab5: MSTORE
00003ab6: DUP4
00003ab7: DUP2
00003ab8: DUP2
00003ab9: MLOAD
00003aba: DUP2
00003abb: MSTORE
00003abc: PUSH1 0x20
00003abe: ADD
00003abf: SWAP2
00003ac0: POP
00003ac1: DUP1
00003ac2: MLOAD
00003ac3: SWAP1
00003ac4: PUSH1 0x20
00003ac6: ADD
00003ac7: SWAP1
00003ac8: DUP1
00003ac9: DUP4
00003aca: DUP4
00003acb: PUSH1 0x00
00003acd: JUMPDEST
00003ace: DUP4
00003acf: DUP2
00003ad0: LT
00003ad1: ISZERO
00003ad2: PUSH2 0x3ae8
00003ad5: JUMPI
00003ad6: DUP1
00003ad7: DUP3
00003ad8: ADD
00003ad9: MLOAD
00003ada: DUP2
00003adb: DUP5
00003adc: ADD
00003add: MSTORE
00003ade: PUSH1 0x20
00003ae0: DUP2
00003ae1: ADD
00003ae2: SWAP1
00003ae3: POP
00003ae4: PUSH2 0x3acd
00003ae7: JUMP
00003ae8: JUMPDEST
00003ae9: POP
00003aea: POP
00003aeb: POP
00003aec: POP
00003aed: SWAP1
00003aee: POP
00003aef: SWAP1
00003af0: DUP2
00003af1: ADD
00003af2: SWAP1
00003af3: PUSH1 0x1f
00003af5: AND
00003af6: DUP1
00003af7: ISZERO
00003af8: PUSH2 0x3b15
00003afb: JUMPI
00003afc: DUP1
00003afd: DUP3
00003afe: SUB
00003aff: DUP1
00003b00: MLOAD
00003b01: PUSH1 0x01
00003b03: DUP4
00003b04: PUSH1 0x20
00003b06: SUB
00003b07: PUSH2 0x0100
00003b0a: EXP
00003b0b: SUB
00003b0c: NOT
00003b0d: AND
00003b0e: DUP2
00003b0f: MSTORE
00003b10: PUSH1 0x20
00003b12: ADD
00003b13: SWAP2
00003b14: POP
00003b15: JUMPDEST
00003b16: POP
00003b17: SWAP6
00003b18: POP
00003b19: POP
00003b1a: POP
00003b1b: POP
00003b1c: POP
00003b1d: POP
00003b1e: PUSH1 0x40
00003b20: MLOAD
00003b21: PUSH1 0x20
00003b23: DUP2
00003b24: DUP4
00003b25: SUB
00003b26: SUB
00003b27: DUP2
00003b28: MSTORE
00003b29: SWAP1
00003b2a: PUSH1 0x40
00003b2c: MSTORE
00003b2d: SWAP1
00003b2e: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003b4b: NOT
00003b4c: AND
00003b4d: PUSH1 0x20
00003b4f: DUP3
00003b50: ADD
00003b51: DUP1
00003b52: MLOAD
00003b53: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003b70: DUP4
00003b71: DUP2
00003b72: DUP4
00003b73: AND
00003b74: OR
00003b75: DUP4
00003b76: MSTORE
00003b77: POP
00003b78: POP
00003b79: POP
00003b7a: POP
00003b7b: PUSH1 0x40
00003b7d: MLOAD
00003b7e: DUP1
00003b7f: PUSH1 0x60
00003b81: ADD
00003b82: PUSH1 0x40
00003b84: MSTORE
00003b85: DUP1
00003b86: PUSH1 0x32
00003b88: DUP2
00003b89: MSTORE
00003b8a: PUSH1 0x20
00003b8c: ADD
00003b8d: PUSH2 0x40a5
00003b90: PUSH1 0x32
00003b92: SWAP2
00003b93: CODECOPY
00003b94: DUP8
00003b95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003baa: AND
00003bab: PUSH2 0x3d58
00003bae: SWAP1
00003baf: SWAP3
00003bb0: SWAP2
00003bb1: SWAP1
00003bb2: PUSH4 0xffffffff
00003bb7: AND
00003bb8: JUMP
00003bb9: JUMPDEST
00003bba: SWAP1
00003bbb: POP
00003bbc: PUSH1 0x00
00003bbe: DUP2
00003bbf: DUP1
00003bc0: PUSH1 0x20
00003bc2: ADD
00003bc3: SWAP1
00003bc4: MLOAD
00003bc5: PUSH1 0x20
00003bc7: DUP2
00003bc8: LT
00003bc9: ISZERO
00003bca: PUSH2 0x3bd2
00003bcd: JUMPI
00003bce: PUSH1 0x00
00003bd0: DUP1
00003bd1: REVERT
00003bd2: JUMPDEST
00003bd3: DUP2
00003bd4: ADD
00003bd5: SWAP1
00003bd6: DUP1
00003bd7: DUP1
00003bd8: MLOAD
00003bd9: SWAP1
00003bda: PUSH1 0x20
00003bdc: ADD
00003bdd: SWAP1
00003bde: SWAP3
00003bdf: SWAP2
00003be0: SWAP1
00003be1: POP
00003be2: POP
00003be3: POP
00003be4: SWAP1
00003be5: POP
00003be6: PUSH4 0x150b7a02
00003beb: PUSH1 0xe0
00003bed: SHL
00003bee: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003c0b: NOT
00003c0c: AND
00003c0d: DUP2
00003c0e: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003c2b: NOT
00003c2c: AND
00003c2d: EQ
00003c2e: SWAP3
00003c2f: POP
00003c30: POP
00003c31: POP
00003c32: JUMPDEST
00003c33: SWAP5
00003c34: SWAP4
00003c35: POP
00003c36: POP
00003c37: POP
00003c38: POP
00003c39: JUMP
00003c3a: JUMPDEST
00003c3b: PUSH1 0x00
00003c3d: DUP1
00003c3e: DUP4
00003c3f: PUSH1 0x01
00003c41: ADD
00003c42: PUSH1 0x00
00003c44: DUP5
00003c45: DUP2
00003c46: MSTORE
00003c47: PUSH1 0x20
00003c49: ADD
00003c4a: SWAP1
00003c4b: DUP2
00003c4c: MSTORE
00003c4d: PUSH1 0x20
00003c4f: ADD
00003c50: PUSH1 0x00
00003c52: KECCAK256
00003c53: SLOAD
00003c54: EQ
00003c55: ISZERO
00003c56: SWAP1
00003c57: POP
00003c58: SWAP3
00003c59: SWAP2
00003c5a: POP
00003c5b: POP
00003c5c: JUMP
00003c5d: JUMPDEST
00003c5e: PUSH1 0x00
00003c60: DUP1
00003c61: DUP4
00003c62: PUSH1 0x01
00003c64: ADD
00003c65: PUSH1 0x00
00003c67: DUP5
00003c68: DUP2
00003c69: MSTORE
00003c6a: PUSH1 0x20
00003c6c: ADD
00003c6d: SWAP1
00003c6e: DUP2
00003c6f: MSTORE
00003c70: PUSH1 0x20
00003c72: ADD
00003c73: PUSH1 0x00
00003c75: KECCAK256
00003c76: SLOAD
00003c77: SWAP1
00003c78: POP
00003c79: PUSH1 0x00
00003c7b: DUP2
00003c7c: EQ
00003c7d: PUSH2 0x3d39
00003c80: JUMPI
00003c81: PUSH1 0x00
00003c83: PUSH1 0x01
00003c85: DUP3
00003c86: SUB
00003c87: SWAP1
00003c88: POP
00003c89: PUSH1 0x00
00003c8b: PUSH1 0x01
00003c8d: DUP7
00003c8e: PUSH1 0x00
00003c90: ADD
00003c91: DUP1
00003c92: SLOAD
00003c93: SWAP1
00003c94: POP
00003c95: SUB
00003c96: SWAP1
00003c97: POP
00003c98: PUSH1 0x00
00003c9a: DUP7
00003c9b: PUSH1 0x00
00003c9d: ADD
00003c9e: DUP3
00003c9f: DUP2
00003ca0: SLOAD
00003ca1: DUP2
00003ca2: LT
00003ca3: PUSH2 0x3ca8
00003ca6: JUMPI
00003ca7: INVALID
00003ca8: JUMPDEST
00003ca9: SWAP1
00003caa: PUSH1 0x00
00003cac: MSTORE
00003cad: PUSH1 0x20
00003caf: PUSH1 0x00
00003cb1: KECCAK256
00003cb2: ADD
00003cb3: SLOAD
00003cb4: SWAP1
00003cb5: POP
00003cb6: DUP1
00003cb7: DUP8
00003cb8: PUSH1 0x00
00003cba: ADD
00003cbb: DUP5
00003cbc: DUP2
00003cbd: SLOAD
00003cbe: DUP2
00003cbf: LT
00003cc0: PUSH2 0x3cc5
00003cc3: JUMPI
00003cc4: INVALID
00003cc5: JUMPDEST
00003cc6: SWAP1
00003cc7: PUSH1 0x00
00003cc9: MSTORE
00003cca: PUSH1 0x20
00003ccc: PUSH1 0x00
00003cce: KECCAK256
00003ccf: ADD
00003cd0: DUP2
00003cd1: SWAP1
00003cd2: SSTORE
00003cd3: POP
00003cd4: PUSH1 0x01
00003cd6: DUP4
00003cd7: ADD
00003cd8: DUP8
00003cd9: PUSH1 0x01
00003cdb: ADD
00003cdc: PUSH1 0x00
00003cde: DUP4
00003cdf: DUP2
00003ce0: MSTORE
00003ce1: PUSH1 0x20
00003ce3: ADD
00003ce4: SWAP1
00003ce5: DUP2
00003ce6: MSTORE
00003ce7: PUSH1 0x20
00003ce9: ADD
00003cea: PUSH1 0x00
00003cec: KECCAK256
00003ced: DUP2
00003cee: SWAP1
00003cef: SSTORE
00003cf0: POP
00003cf1: DUP7
00003cf2: PUSH1 0x00
00003cf4: ADD
00003cf5: DUP1
00003cf6: SLOAD
00003cf7: DUP1
00003cf8: PUSH2 0x3cfd
00003cfb: JUMPI
00003cfc: INVALID
00003cfd: JUMPDEST
00003cfe: PUSH1 0x01
00003d00: SWAP1
00003d01: SUB
00003d02: DUP2
00003d03: DUP2
00003d04: SWAP1
00003d05: PUSH1 0x00
00003d07: MSTORE
00003d08: PUSH1 0x20
00003d0a: PUSH1 0x00
00003d0c: KECCAK256
00003d0d: ADD
00003d0e: PUSH1 0x00
00003d10: SWAP1
00003d11: SSTORE
00003d12: SWAP1
00003d13: SSTORE
00003d14: DUP7
00003d15: PUSH1 0x01
00003d17: ADD
00003d18: PUSH1 0x00
00003d1a: DUP8
00003d1b: DUP2
00003d1c: MSTORE
00003d1d: PUSH1 0x20
00003d1f: ADD
00003d20: SWAP1
00003d21: DUP2
00003d22: MSTORE
00003d23: PUSH1 0x20
00003d25: ADD
00003d26: PUSH1 0x00
00003d28: KECCAK256
00003d29: PUSH1 0x00
00003d2b: SWAP1
00003d2c: SSTORE
00003d2d: PUSH1 0x01
00003d2f: SWAP5
00003d30: POP
00003d31: POP
00003d32: POP
00003d33: POP
00003d34: POP
00003d35: PUSH2 0x3d3f
00003d38: JUMP
00003d39: JUMPDEST
00003d3a: PUSH1 0x00
00003d3c: SWAP2
00003d3d: POP
00003d3e: POP
00003d3f: JUMPDEST
00003d40: SWAP3
00003d41: SWAP2
00003d42: POP
00003d43: POP
00003d44: JUMP
00003d45: JUMPDEST
00003d46: PUSH1 0x00
00003d48: DUP1
00003d49: DUP3
00003d4a: EXTCODESIZE
00003d4b: SWAP1
00003d4c: POP
00003d4d: PUSH1 0x00
00003d4f: DUP2
00003d50: GT
00003d51: SWAP2
00003d52: POP
00003d53: POP
00003d54: SWAP2
00003d55: SWAP1
00003d56: POP
00003d57: JUMP
00003d58: JUMPDEST
00003d59: PUSH1 0x60
00003d5b: PUSH2 0x3d67
00003d5e: DUP5
00003d5f: DUP5
00003d60: PUSH1 0x00
00003d62: DUP6
00003d63: PUSH2 0x3d70
00003d66: JUMP
00003d67: JUMPDEST
00003d68: SWAP1
00003d69: POP
00003d6a: SWAP4
00003d6b: SWAP3
00003d6c: POP
00003d6d: POP
00003d6e: POP
00003d6f: JUMP
00003d70: JUMPDEST
00003d71: PUSH1 0x60
00003d73: DUP3
00003d74: SELFBALANCE
00003d75: LT
00003d76: ISZERO
00003d77: PUSH2 0x3dcb
00003d7a: JUMPI
00003d7b: PUSH1 0x40
00003d7d: MLOAD
00003d7e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003d9f: DUP2
00003da0: MSTORE
00003da1: PUSH1 0x04
00003da3: ADD
00003da4: DUP1
00003da5: DUP1
00003da6: PUSH1 0x20
00003da8: ADD
00003da9: DUP3
00003daa: DUP2
00003dab: SUB
00003dac: DUP3
00003dad: MSTORE
00003dae: PUSH1 0x26
00003db0: DUP2
00003db1: MSTORE
00003db2: PUSH1 0x20
00003db4: ADD
00003db5: DUP1
00003db6: PUSH2 0x4121
00003db9: PUSH1 0x26
00003dbb: SWAP2
00003dbc: CODECOPY
00003dbd: PUSH1 0x40
00003dbf: ADD
00003dc0: SWAP2
00003dc1: POP
00003dc2: POP
00003dc3: PUSH1 0x40
00003dc5: MLOAD
00003dc6: DUP1
00003dc7: SWAP2
00003dc8: SUB
00003dc9: SWAP1
00003dca: REVERT
00003dcb: JUMPDEST
00003dcc: PUSH2 0x3dd4
00003dcf: DUP6
00003dd0: PUSH2 0x3d45
00003dd3: JUMP
00003dd4: JUMPDEST
00003dd5: PUSH2 0x3e46
00003dd8: JUMPI
00003dd9: PUSH1 0x40
00003ddb: MLOAD
00003ddc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003dfd: DUP2
00003dfe: MSTORE
00003dff: PUSH1 0x04
00003e01: ADD
00003e02: DUP1
00003e03: DUP1
00003e04: PUSH1 0x20
00003e06: ADD
00003e07: DUP3
00003e08: DUP2
00003e09: SUB
00003e0a: DUP3
00003e0b: MSTORE
00003e0c: PUSH1 0x1d
00003e0e: DUP2
00003e0f: MSTORE
00003e10: PUSH1 0x20
00003e12: ADD
00003e13: DUP1
00003e14: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00003e35: DUP2
00003e36: MSTORE
00003e37: POP
00003e38: PUSH1 0x20
00003e3a: ADD
00003e3b: SWAP2
00003e3c: POP
00003e3d: POP
00003e3e: PUSH1 0x40
00003e40: MLOAD
00003e41: DUP1
00003e42: SWAP2
00003e43: SUB
00003e44: SWAP1
00003e45: REVERT
00003e46: JUMPDEST
00003e47: PUSH1 0x00
00003e49: PUSH1 0x60
00003e4b: DUP7
00003e4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e61: AND
00003e62: DUP6
00003e63: DUP8
00003e64: PUSH1 0x40
00003e66: MLOAD
00003e67: DUP1
00003e68: DUP3
00003e69: DUP1
00003e6a: MLOAD
00003e6b: SWAP1
00003e6c: PUSH1 0x20
00003e6e: ADD
00003e6f: SWAP1
00003e70: DUP1
00003e71: DUP4
00003e72: DUP4
00003e73: JUMPDEST
00003e74: PUSH1 0x20
00003e76: DUP4
00003e77: LT
00003e78: PUSH2 0x3e96
00003e7b: JUMPI
00003e7c: DUP1
00003e7d: MLOAD
00003e7e: DUP3
00003e7f: MSTORE
00003e80: PUSH1 0x20
00003e82: DUP3
00003e83: ADD
00003e84: SWAP2
00003e85: POP
00003e86: PUSH1 0x20
00003e88: DUP2
00003e89: ADD
00003e8a: SWAP1
00003e8b: POP
00003e8c: PUSH1 0x20
00003e8e: DUP4
00003e8f: SUB
00003e90: SWAP3
00003e91: POP
00003e92: PUSH2 0x3e73
00003e95: JUMP
00003e96: JUMPDEST
00003e97: PUSH1 0x01
00003e99: DUP4
00003e9a: PUSH1 0x20
00003e9c: SUB
00003e9d: PUSH2 0x0100
00003ea0: EXP
00003ea1: SUB
00003ea2: DUP1
00003ea3: NOT
00003ea4: DUP3
00003ea5: MLOAD
00003ea6: AND
00003ea7: DUP2
00003ea8: DUP5
00003ea9: MLOAD
00003eaa: AND
00003eab: DUP1
00003eac: DUP3
00003ead: OR
00003eae: DUP6
00003eaf: MSTORE
00003eb0: POP
00003eb1: POP
00003eb2: POP
00003eb3: POP
00003eb4: POP
00003eb5: POP
00003eb6: SWAP1
00003eb7: POP
00003eb8: ADD
00003eb9: SWAP2
00003eba: POP
00003ebb: POP
00003ebc: PUSH1 0x00
00003ebe: PUSH1 0x40
00003ec0: MLOAD
00003ec1: DUP1
00003ec2: DUP4
00003ec3: SUB
00003ec4: DUP2
00003ec5: DUP6
00003ec6: DUP8
00003ec7: GAS
00003ec8: CALL
00003ec9: SWAP3
00003eca: POP
00003ecb: POP
00003ecc: POP
00003ecd: RETURNDATASIZE
00003ece: DUP1
00003ecf: PUSH1 0x00
00003ed1: DUP2
00003ed2: EQ
00003ed3: PUSH2 0x3ef8
00003ed6: JUMPI
00003ed7: PUSH1 0x40
00003ed9: MLOAD
00003eda: SWAP2
00003edb: POP
00003edc: PUSH1 0x1f
00003ede: NOT
00003edf: PUSH1 0x3f
00003ee1: RETURNDATASIZE
00003ee2: ADD
00003ee3: AND
00003ee4: DUP3
00003ee5: ADD
00003ee6: PUSH1 0x40
00003ee8: MSTORE
00003ee9: RETURNDATASIZE
00003eea: DUP3
00003eeb: MSTORE
00003eec: RETURNDATASIZE
00003eed: PUSH1 0x00
00003eef: PUSH1 0x20
00003ef1: DUP5
00003ef2: ADD
00003ef3: RETURNDATACOPY
00003ef4: PUSH2 0x3efd
00003ef7: JUMP
00003ef8: JUMPDEST
00003ef9: PUSH1 0x60
00003efb: SWAP2
00003efc: POP
00003efd: JUMPDEST
00003efe: POP
00003eff: SWAP2
00003f00: POP
00003f01: SWAP2
00003f02: POP
00003f03: PUSH2 0x3f0d
00003f06: DUP3
00003f07: DUP3
00003f08: DUP7
00003f09: PUSH2 0x3f19
00003f0c: JUMP
00003f0d: JUMPDEST
00003f0e: SWAP3
00003f0f: POP
00003f10: POP
00003f11: POP
00003f12: SWAP5
00003f13: SWAP4
00003f14: POP
00003f15: POP
00003f16: POP
00003f17: POP
00003f18: JUMP
00003f19: JUMPDEST
00003f1a: PUSH1 0x60
00003f1c: DUP4
00003f1d: ISZERO
00003f1e: PUSH2 0x3f29
00003f21: JUMPI
00003f22: DUP3
00003f23: SWAP1
00003f24: POP
00003f25: PUSH2 0x3fde
00003f28: JUMP
00003f29: JUMPDEST
00003f2a: PUSH1 0x00
00003f2c: DUP4
00003f2d: MLOAD
00003f2e: GT
00003f2f: ISZERO
00003f30: PUSH2 0x3f3c
00003f33: JUMPI
00003f34: DUP3
00003f35: MLOAD
00003f36: DUP1
00003f37: DUP5
00003f38: PUSH1 0x20
00003f3a: ADD
00003f3b: REVERT
00003f3c: JUMPDEST
00003f3d: DUP2
00003f3e: PUSH1 0x40
00003f40: MLOAD
00003f41: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003f62: DUP2
00003f63: MSTORE
00003f64: PUSH1 0x04
00003f66: ADD
00003f67: DUP1
00003f68: DUP1
00003f69: PUSH1 0x20
00003f6b: ADD
00003f6c: DUP3
00003f6d: DUP2
00003f6e: SUB
00003f6f: DUP3
00003f70: MSTORE
00003f71: DUP4
00003f72: DUP2
00003f73: DUP2
00003f74: MLOAD
00003f75: DUP2
00003f76: MSTORE
00003f77: PUSH1 0x20
00003f79: ADD
00003f7a: SWAP2
00003f7b: POP
00003f7c: DUP1
00003f7d: MLOAD
00003f7e: SWAP1
00003f7f: PUSH1 0x20
00003f81: ADD
00003f82: SWAP1
00003f83: DUP1
00003f84: DUP4
00003f85: DUP4
00003f86: PUSH1 0x00
00003f88: JUMPDEST
00003f89: DUP4
00003f8a: DUP2
00003f8b: LT
00003f8c: ISZERO
00003f8d: PUSH2 0x3fa3
00003f90: JUMPI
00003f91: DUP1
00003f92: DUP3
00003f93: ADD
00003f94: MLOAD
00003f95: DUP2
00003f96: DUP5
00003f97: ADD
00003f98: MSTORE
00003f99: PUSH1 0x20
00003f9b: DUP2
00003f9c: ADD
00003f9d: SWAP1
00003f9e: POP
00003f9f: PUSH2 0x3f88
00003fa2: JUMP
00003fa3: JUMPDEST
00003fa4: POP
00003fa5: POP
00003fa6: POP
00003fa7: POP
00003fa8: SWAP1
00003fa9: POP
00003faa: SWAP1
00003fab: DUP2
00003fac: ADD
00003fad: SWAP1
00003fae: PUSH1 0x1f
00003fb0: AND
00003fb1: DUP1
00003fb2: ISZERO
00003fb3: PUSH2 0x3fd0
00003fb6: JUMPI
00003fb7: DUP1
00003fb8: DUP3
00003fb9: SUB
00003fba: DUP1
00003fbb: MLOAD
00003fbc: PUSH1 0x01
00003fbe: DUP4
00003fbf: PUSH1 0x20
00003fc1: SUB
00003fc2: PUSH2 0x0100
00003fc5: EXP
00003fc6: SUB
00003fc7: NOT
00003fc8: AND
00003fc9: DUP2
00003fca: MSTORE
00003fcb: PUSH1 0x20
00003fcd: ADD
00003fce: SWAP2
00003fcf: POP
00003fd0: JUMPDEST
00003fd1: POP
00003fd2: SWAP3
00003fd3: POP
00003fd4: POP
00003fd5: POP
00003fd6: PUSH1 0x40
00003fd8: MLOAD
00003fd9: DUP1
00003fda: SWAP2
00003fdb: SUB
00003fdc: SWAP1
00003fdd: REVERT
00003fde: JUMPDEST
00003fdf: SWAP4
00003fe0: SWAP3
00003fe1: POP
00003fe2: POP
00003fe3: POP
00003fe4: JUMP
00003fe5: JUMPDEST
00003fe6: DUP3
00003fe7: DUP1
00003fe8: SLOAD
00003fe9: PUSH1 0x01
00003feb: DUP2
00003fec: PUSH1 0x01
00003fee: AND
00003fef: ISZERO
00003ff0: PUSH2 0x0100
00003ff3: MUL
00003ff4: SUB
00003ff5: AND
00003ff6: PUSH1 0x02
00003ff8: SWAP1
00003ff9: DIV
00003ffa: SWAP1
00003ffb: PUSH1 0x00
00003ffd: MSTORE
00003ffe: PUSH1 0x20
00004000: PUSH1 0x00
00004002: KECCAK256
00004003: SWAP1
00004004: PUSH1 0x1f
00004006: ADD
00004007: PUSH1 0x20
00004009: SWAP1
0000400a: DIV
0000400b: DUP2
0000400c: ADD
0000400d: SWAP3
0000400e: DUP3
0000400f: PUSH1 0x1f
00004011: LT
00004012: PUSH2 0x4026
00004015: JUMPI
00004016: DUP1
00004017: MLOAD
00004018: PUSH1 0xff
0000401a: NOT
0000401b: AND
0000401c: DUP4
0000401d: DUP1
0000401e: ADD
0000401f: OR
00004020: DUP6
00004021: SSTORE
00004022: PUSH2 0x4054
00004025: JUMP
00004026: JUMPDEST
00004027: DUP3
00004028: DUP1
00004029: ADD
0000402a: PUSH1 0x01
0000402c: ADD
0000402d: DUP6
0000402e: SSTORE
0000402f: DUP3
00004030: ISZERO
00004031: PUSH2 0x4054
00004034: JUMPI
00004035: SWAP2
00004036: DUP3
00004037: ADD
00004038: JUMPDEST
00004039: DUP3
0000403a: DUP2
0000403b: GT
0000403c: ISZERO
0000403d: PUSH2 0x4053
00004040: JUMPI
00004041: DUP3
00004042: MLOAD
00004043: DUP3
00004044: SSTORE
00004045: SWAP2
00004046: PUSH1 0x20
00004048: ADD
00004049: SWAP2
0000404a: SWAP1
0000404b: PUSH1 0x01
0000404d: ADD
0000404e: SWAP1
0000404f: PUSH2 0x4038
00004052: JUMP
00004053: JUMPDEST
00004054: JUMPDEST
00004055: POP
00004056: SWAP1
00004057: POP
00004058: PUSH2 0x4061
0000405b: SWAP2
0000405c: SWAP1
0000405d: PUSH2 0x4065
00004060: JUMP
00004061: JUMPDEST
00004062: POP
00004063: SWAP1
00004064: JUMP
00004065: JUMPDEST
00004066: JUMPDEST
00004067: DUP1
00004068: DUP3
00004069: GT
0000406a: ISZERO
0000406b: PUSH2 0x407e
0000406e: JUMPI
0000406f: PUSH1 0x00
00004071: DUP2
00004072: PUSH1 0x00
00004074: SWAP1
00004075: SSTORE
00004076: POP
00004077: PUSH1 0x01
00004079: ADD
0000407a: PUSH2 0x4066
0000407d: JUMP
0000407e: JUMPDEST
0000407f: POP
00004080: SWAP1
00004081: JUMP
00004082: INVALID
00004083: GASLIMIT
00004084: PUSH15 0x756d657261626c655365743a20696e
00004094: PUSH5 0x6578206f75
0000409a: PUSH21 0x206f6620626f756e64734552433732313a20747261
000040b0: PUSH15 0x7366657220746f206e6f6e20455243
000040c0: CALLDATACOPY
000040c1: ORIGIN
000040c2: BALANCE
000040c3: MSTORE
000040c4: PUSH6 0x636569766572
000040cb: KECCAK256
000040cc: PUSH10 0x6d706c656d656e746572
000040d7: UNKNOWN(0x4F)
000040d8: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520
000040f1: PUSH27 0x65726f20616464726573734552433732313a207472616e73666572
0000410d: KECCAK256
0000410e: PUSH21 0x6f20746865207a65726f2061646472657373416464
00004124: PUSH19 0x6573733a20696e73756666696369656e742062
00004138: PUSH2 0x6c61
0000413b: PUSH15 0x636520666f722063616c6c45524337
0000414b: ORIGIN
0000414c: BALANCE
0000414d: GASPRICE
0000414e: KECCAK256
0000414f: PUSH16 0x70657261746f7220717565727920666f
00004160: PUSH19 0x206e6f6e6578697374656e7420746f6b656e45
00004174: MSTORE
00004175: NUMBER
00004176: CALLDATACOPY
00004177: ORIGIN
00004178: BALANCE
00004179: GASPRICE
0000417a: KECCAK256
0000417b: PUSH2 0x7070
0000417e: PUSH19 0x6f76652063616c6c6572206973206e6f74206f
00004192: PUSH24 0x6e6572206e6f7220617070726f76656420666f7220616c6c
000041ab: GASLIMIT
000041ac: MSTORE
000041ad: NUMBER
000041ae: CALLDATACOPY
000041af: ORIGIN
000041b0: BALANCE
000041b1: GASPRICE
000041b2: KECCAK256
000041b3: PUSH3 0x616c61
000041b7: PUSH15 0x636520717565727920666f72207468
000041c7: PUSH6 0x207a65726f20
000041ce: PUSH2 0x6464
000041d1: PUSH19 0x6573734552433732313a206f776e6572207175
000041e5: PUSH6 0x727920666f72
000041ec: KECCAK256
000041ed: PUSH15 0x6f6e6578697374656e7420746f6b65
000041fd: PUSH15 0x456e756d657261626c654d61703a20
0000420d: PUSH10 0x6e646578206f7574206f
00004218: PUSH7 0x20626f756e6473
00004220: GASLIMIT
00004221: MSTORE
00004222: NUMBER
00004223: CALLDATACOPY
00004224: ORIGIN
00004225: BALANCE
00004226: GASPRICE
00004227: KECCAK256
00004228: PUSH2 0x7070
0000422b: PUSH19 0x6f76656420717565727920666f72206e6f6e65
0000423f: PUSH25 0x697374656e7420746f6b656e4552433732313a207472616e73
00004259: PUSH7 0x6572206f662074
00004261: PUSH16 0x6b656e2074686174206973206e6f7420
00004272: PUSH16 0x776e4552433732314d65746164617461
00004283: GASPRICE
00004284: KECCAK256
00004285: SSTORE
00004286: MSTORE
00004287: BLOBHASH
00004288: KECCAK256
00004289: PUSH18 0x7565727920666f72206e6f6e657869737465
0000429c: PUSH15 0x7420746f6b656e4163636f756e7420
000042ac: PUSH19 0x656163686573206d617820746f6b656e20616d
000042c0: PUSH16 0x756e742e4552433732313a2061707072
000042d1: PUSH16 0x76616c20746f2063757272656e74206f
000042e2: PUSH24 0x6e65724552433732313a207472616e736665722063616c6c
000042fb: PUSH6 0x72206973206e
00004302: PUSH16 0x74206f776e6572206e6f722061707072
00004313: PUSH16 0x766564a26469706673582212202c627b
00004324: DUP10
00004325: UNKNOWN(0xDB)
00004326: SWAP3
00004327: MOD
00004328: LOG0
00004329: CODECOPY
0000432a: UNKNOWN(0xD4)
0000432b: DIFFICULTY
0000432c: PUSH8 0x1d4ae90be927db66
00004335: NOT
00004336: UNKNOWN(0xB6)
00004337: UNKNOWN(0xE3)
00004338: PUSH15 0xc616173ad20fd8bb64736f6c634300
00004348: MOD
00004349: UNKNOWN(0x0C)
0000434a: STOP
0000434b: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd2d8cb67", "selector": "0xd2d8cb67", "calldata_variants": [ "0xd2d8cb67", "0xd2d8cb670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd3364687", "selector": "0xd3364687", "calldata_variants": [ "0xd3364687", "0xd33646870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xba278e08", "selector": "0xba278e08", "calldata_variants": [ "0xba278e08", "0xba278e080000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbadda178", "selector": "0xbadda178", "calldata_variants": [ "0xbadda178", "0xbadda1780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc2229fea", "selector": "0xc2229fea", "calldata_variants": [ "0xc2229fea", "0xc2229fea0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 16577, "type": "tx_origin_used" }, { "pc": 16715, "type": "tx_origin_used" }, { "pc": 16759, "type": "tx_origin_used" }, { "pc": 16815, "type": "tx_origin_used" }, { "pc": 16932, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xe634d42285747426396006f998503d90cc85fd6a7c917eae932be0af56b25490 call_targets: 0xd376e51fcc9889eb3eac3ead9e78f1215ccb6118 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xe634d42285747426396006f998503d90cc85fd6a7c917eae932be0af56b25490", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xd376e51fcc9889eb3eac3ead9e78f1215ccb6118" ], "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": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd2d8cb67", "selector": "0xd2d8cb67", "calldata_variants": [ "0xd2d8cb67", "0xd2d8cb670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd3364687", "selector": "0xd3364687", "calldata_variants": [ "0xd3364687", "0xd33646870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xba278e08", "selector": "0xba278e08", "calldata_variants": [ "0xba278e08", "0xba278e080000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbadda178", "selector": "0xbadda178", "calldata_variants": [ "0xbadda178", "0xbadda1780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc2229fea", "selector": "0xc2229fea", "calldata_variants": [ "0xc2229fea", "0xc2229fea0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5736, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 16072, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [ { "pc": 16577, "type": "tx_origin_used" }, { "pc": 16715, "type": "tx_origin_used" }, { "pc": 16759, "type": "tx_origin_used" }, { "pc": 16815, "type": "tx_origin_used" }, { "pc": 16932, "type": "tx_origin_used" } ], "untrusted_call_count": 2 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xe634d42285747426396006f998503d90cc85fd6a7c917eae932be0af56b25490 call_targets: 0xd376e51fcc9889eb3eac3ead9e78f1215ccb6118 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xe634d42285747426396006f998503d90cc85fd6a7c917eae932be0af56b25490", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xd376e51fcc9889eb3eac3ead9e78f1215ccb6118" ], "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": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd2d8cb67", "selector": "0xd2d8cb67", "calldata_variants": [ "0xd2d8cb67", "0xd2d8cb670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd3364687", "selector": "0xd3364687", "calldata_variants": [ "0xd3364687", "0xd33646870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xba278e08", "selector": "0xba278e08", "calldata_variants": [ "0xba278e08", "0xba278e080000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbadda178", "selector": "0xbadda178", "calldata_variants": [ "0xbadda178", "0xbadda1780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc2229fea", "selector": "0xc2229fea", "calldata_variants": [ "0xc2229fea", "0xc2229fea0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5736, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 16072, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [ { "pc": 16577, "type": "tx_origin_used" }, { "pc": 16715, "type": "tx_origin_used" }, { "pc": 16759, "type": "tx_origin_used" }, { "pc": 16815, "type": "tx_origin_used" }, { "pc": 16932, "type": "tx_origin_used" } ] }
Severity