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

Analysis Run

019b477e-d8ca-70c2-86e0-bda3de5fe3e3

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

What survived the funnel

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

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
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
29135 artifact.fetch complete 1 / 3 3 months ago
29136 tool.cast_disasm complete 1 / 3 3 months ago
72800 analysis.bundle complete 1 / 3 1 week ago
72801 capability.graph complete 1 / 3 1 week ago
72802 detector.run complete 1 / 3 1 week ago
72803 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
0
Selfdestruct
0
CREATE2
1
CALL-family (heavy)
10
EXT*/BALANCE
1
Total opcodes
7031
Flags
create_opcodes_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0143
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x73830fef
00000018: GT
00000019: PUSH2 0x00b5
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0x95d89b41
00000023: GT
00000024: PUSH2 0x006e
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0x95d89b41
0000002e: EQ
0000002f: PUSH2 0x040c
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xa9059cbb
00000039: EQ
0000003a: PUSH2 0x0436
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xae436e82
00000044: EQ
00000045: PUSH2 0x0472
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xbf474bed
0000004f: EQ
00000050: PUSH2 0x049a
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xc9567bf9
0000005a: EQ
0000005b: PUSH2 0x04c4
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0xdd62ed3e
00000065: EQ
00000066: PUSH2 0x04da
00000069: JUMPI
0000006a: PUSH2 0x014a
0000006d: JUMP
0000006e: JUMPDEST
0000006f: DUP1
00000070: PUSH4 0x73830fef
00000075: EQ
00000076: PUSH2 0x0328
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0x774b2240
00000080: EQ
00000081: PUSH2 0x0350
00000084: JUMPI
00000085: DUP1
00000086: PUSH4 0x7d1db4a5
0000008b: EQ
0000008c: PUSH2 0x0366
0000008f: JUMPI
00000090: DUP1
00000091: PUSH4 0x8cd4426d
00000096: EQ
00000097: PUSH2 0x0390
0000009a: JUMPI
0000009b: DUP1
0000009c: PUSH4 0x8da5cb5b
000000a1: EQ
000000a2: PUSH2 0x03b8
000000a5: JUMPI
000000a6: DUP1
000000a7: PUSH4 0x8f9a55c0
000000ac: EQ
000000ad: PUSH2 0x03e2
000000b0: JUMPI
000000b1: PUSH2 0x014a
000000b4: JUMP
000000b5: JUMPDEST
000000b6: DUP1
000000b7: PUSH4 0x313ce567
000000bc: GT
000000bd: PUSH2 0x0107
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x313ce567
000000c7: EQ
000000c8: PUSH2 0x0244
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x3bbac579
000000d2: EQ
000000d3: PUSH2 0x026e
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x51bc3c85
000000dd: EQ
000000de: PUSH2 0x02aa
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x6fc3eaec
000000e8: EQ
000000e9: PUSH2 0x02c0
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x70a08231
000000f3: EQ
000000f4: PUSH2 0x02d6
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x715018a6
000000fe: EQ
000000ff: PUSH2 0x0312
00000102: JUMPI
00000103: PUSH2 0x014a
00000106: JUMP
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0x06fdde03
0000010e: EQ
0000010f: PUSH2 0x014e
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x095ea7b3
00000119: EQ
0000011a: PUSH2 0x0178
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x0faee56f
00000124: EQ
00000125: PUSH2 0x01b4
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x18160ddd
0000012f: EQ
00000130: PUSH2 0x01de
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0x23b872dd
0000013a: EQ
0000013b: PUSH2 0x0208
0000013e: JUMPI
0000013f: PUSH2 0x014a
00000142: JUMP
00000143: JUMPDEST
00000144: CALLDATASIZE
00000145: PUSH2 0x014a
00000148: JUMPI
00000149: STOP
0000014a: JUMPDEST
0000014b: PUSH0
0000014c: DUP1
0000014d: REVERT
0000014e: JUMPDEST
0000014f: CALLVALUE
00000150: DUP1
00000151: ISZERO
00000152: PUSH2 0x0159
00000155: JUMPI
00000156: PUSH0
00000157: DUP1
00000158: REVERT
00000159: JUMPDEST
0000015a: POP
0000015b: PUSH2 0x0162
0000015e: PUSH2 0x0516
00000161: JUMP
00000162: JUMPDEST
00000163: PUSH1 0x40
00000165: MLOAD
00000166: PUSH2 0x016f
00000169: SWAP2
0000016a: SWAP1
0000016b: PUSH2 0x2583
0000016e: JUMP
0000016f: JUMPDEST
00000170: PUSH1 0x40
00000172: MLOAD
00000173: DUP1
00000174: SWAP2
00000175: SUB
00000176: SWAP1
00000177: RETURN
00000178: JUMPDEST
00000179: CALLVALUE
0000017a: DUP1
0000017b: ISZERO
0000017c: PUSH2 0x0183
0000017f: JUMPI
00000180: PUSH0
00000181: DUP1
00000182: REVERT
00000183: JUMPDEST
00000184: POP
00000185: PUSH2 0x019e
00000188: PUSH1 0x04
0000018a: DUP1
0000018b: CALLDATASIZE
0000018c: SUB
0000018d: DUP2
0000018e: ADD
0000018f: SWAP1
00000190: PUSH2 0x0199
00000193: SWAP2
00000194: SWAP1
00000195: PUSH2 0x2641
00000198: JUMP
00000199: JUMPDEST
0000019a: PUSH2 0x0553
0000019d: JUMP
0000019e: JUMPDEST
0000019f: PUSH1 0x40
000001a1: MLOAD
000001a2: PUSH2 0x01ab
000001a5: SWAP2
000001a6: SWAP1
000001a7: PUSH2 0x2699
000001aa: JUMP
000001ab: JUMPDEST
000001ac: PUSH1 0x40
000001ae: MLOAD
000001af: DUP1
000001b0: SWAP2
000001b1: SUB
000001b2: SWAP1
000001b3: RETURN
000001b4: JUMPDEST
000001b5: CALLVALUE
000001b6: DUP1
000001b7: ISZERO
000001b8: PUSH2 0x01bf
000001bb: JUMPI
000001bc: PUSH0
000001bd: DUP1
000001be: REVERT
000001bf: JUMPDEST
000001c0: POP
000001c1: PUSH2 0x01c8
000001c4: PUSH2 0x0570
000001c7: JUMP
000001c8: JUMPDEST
000001c9: PUSH1 0x40
000001cb: MLOAD
000001cc: PUSH2 0x01d5
000001cf: SWAP2
000001d0: SWAP1
000001d1: PUSH2 0x26c1
000001d4: JUMP
000001d5: JUMPDEST
000001d6: PUSH1 0x40
000001d8: MLOAD
000001d9: DUP1
000001da: SWAP2
000001db: SUB
000001dc: SWAP1
000001dd: RETURN
000001de: JUMPDEST
000001df: CALLVALUE
000001e0: DUP1
000001e1: ISZERO
000001e2: PUSH2 0x01e9
000001e5: JUMPI
000001e6: PUSH0
000001e7: DUP1
000001e8: REVERT
000001e9: JUMPDEST
000001ea: POP
000001eb: PUSH2 0x01f2
000001ee: PUSH2 0x0576
000001f1: JUMP
000001f2: JUMPDEST
000001f3: PUSH1 0x40
000001f5: MLOAD
000001f6: PUSH2 0x01ff
000001f9: SWAP2
000001fa: SWAP1
000001fb: PUSH2 0x26c1
000001fe: JUMP
000001ff: JUMPDEST
00000200: PUSH1 0x40
00000202: MLOAD
00000203: DUP1
00000204: SWAP2
00000205: SUB
00000206: SWAP1
00000207: RETURN
00000208: JUMPDEST
00000209: CALLVALUE
0000020a: DUP1
0000020b: ISZERO
0000020c: PUSH2 0x0213
0000020f: JUMPI
00000210: PUSH0
00000211: DUP1
00000212: REVERT
00000213: JUMPDEST
00000214: POP
00000215: PUSH2 0x022e
00000218: PUSH1 0x04
0000021a: DUP1
0000021b: CALLDATASIZE
0000021c: SUB
0000021d: DUP2
0000021e: ADD
0000021f: SWAP1
00000220: PUSH2 0x0229
00000223: SWAP2
00000224: SWAP1
00000225: PUSH2 0x26da
00000228: JUMP
00000229: JUMPDEST
0000022a: PUSH2 0x059a
0000022d: JUMP
0000022e: JUMPDEST
0000022f: PUSH1 0x40
00000231: MLOAD
00000232: PUSH2 0x023b
00000235: SWAP2
00000236: SWAP1
00000237: PUSH2 0x2699
0000023a: JUMP
0000023b: JUMPDEST
0000023c: PUSH1 0x40
0000023e: MLOAD
0000023f: DUP1
00000240: SWAP2
00000241: SUB
00000242: SWAP1
00000243: RETURN
00000244: JUMPDEST
00000245: CALLVALUE
00000246: DUP1
00000247: ISZERO
00000248: PUSH2 0x024f
0000024b: JUMPI
0000024c: PUSH0
0000024d: DUP1
0000024e: REVERT
0000024f: JUMPDEST
00000250: POP
00000251: PUSH2 0x0258
00000254: PUSH2 0x066e
00000257: JUMP
00000258: JUMPDEST
00000259: PUSH1 0x40
0000025b: MLOAD
0000025c: PUSH2 0x0265
0000025f: SWAP2
00000260: SWAP1
00000261: PUSH2 0x2745
00000264: JUMP
00000265: JUMPDEST
00000266: PUSH1 0x40
00000268: MLOAD
00000269: DUP1
0000026a: SWAP2
0000026b: SUB
0000026c: SWAP1
0000026d: RETURN
0000026e: JUMPDEST
0000026f: CALLVALUE
00000270: DUP1
00000271: ISZERO
00000272: PUSH2 0x0279
00000275: JUMPI
00000276: PUSH0
00000277: DUP1
00000278: REVERT
00000279: JUMPDEST
0000027a: POP
0000027b: PUSH2 0x0294
0000027e: PUSH1 0x04
00000280: DUP1
00000281: CALLDATASIZE
00000282: SUB
00000283: DUP2
00000284: ADD
00000285: SWAP1
00000286: PUSH2 0x028f
00000289: SWAP2
0000028a: SWAP1
0000028b: PUSH2 0x275e
0000028e: JUMP
0000028f: JUMPDEST
00000290: PUSH2 0x0676
00000293: JUMP
00000294: JUMPDEST
00000295: PUSH1 0x40
00000297: MLOAD
00000298: PUSH2 0x02a1
0000029b: SWAP2
0000029c: SWAP1
0000029d: PUSH2 0x2699
000002a0: JUMP
000002a1: JUMPDEST
000002a2: PUSH1 0x40
000002a4: MLOAD
000002a5: DUP1
000002a6: SWAP2
000002a7: SUB
000002a8: SWAP1
000002a9: RETURN
000002aa: JUMPDEST
000002ab: CALLVALUE
000002ac: DUP1
000002ad: ISZERO
000002ae: PUSH2 0x02b5
000002b1: JUMPI
000002b2: PUSH0
000002b3: DUP1
000002b4: REVERT
000002b5: JUMPDEST
000002b6: POP
000002b7: PUSH2 0x02be
000002ba: PUSH2 0x06c8
000002bd: JUMP
000002be: JUMPDEST
000002bf: STOP
000002c0: JUMPDEST
000002c1: CALLVALUE
000002c2: DUP1
000002c3: ISZERO
000002c4: PUSH2 0x02cb
000002c7: JUMPI
000002c8: PUSH0
000002c9: DUP1
000002ca: REVERT
000002cb: JUMPDEST
000002cc: POP
000002cd: PUSH2 0x02d4
000002d0: PUSH2 0x075f
000002d3: JUMP
000002d4: JUMPDEST
000002d5: STOP
000002d6: JUMPDEST
000002d7: CALLVALUE
000002d8: DUP1
000002d9: ISZERO
000002da: PUSH2 0x02e1
000002dd: JUMPI
000002de: PUSH0
000002df: DUP1
000002e0: REVERT
000002e1: JUMPDEST
000002e2: POP
000002e3: PUSH2 0x02fc
000002e6: PUSH1 0x04
000002e8: DUP1
000002e9: CALLDATASIZE
000002ea: SUB
000002eb: DUP2
000002ec: ADD
000002ed: SWAP1
000002ee: PUSH2 0x02f7
000002f1: SWAP2
000002f2: SWAP1
000002f3: PUSH2 0x275e
000002f6: JUMP
000002f7: JUMPDEST
000002f8: PUSH2 0x07ce
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH1 0x40
000002ff: MLOAD
00000300: PUSH2 0x0309
00000303: SWAP2
00000304: SWAP1
00000305: PUSH2 0x26c1
00000308: JUMP
00000309: JUMPDEST
0000030a: PUSH1 0x40
0000030c: MLOAD
0000030d: DUP1
0000030e: SWAP2
0000030f: SUB
00000310: SWAP1
00000311: RETURN
00000312: JUMPDEST
00000313: CALLVALUE
00000314: DUP1
00000315: ISZERO
00000316: PUSH2 0x031d
00000319: JUMPI
0000031a: PUSH0
0000031b: DUP1
0000031c: REVERT
0000031d: JUMPDEST
0000031e: POP
0000031f: PUSH2 0x0326
00000322: PUSH2 0x0814
00000325: JUMP
00000326: JUMPDEST
00000327: STOP
00000328: JUMPDEST
00000329: CALLVALUE
0000032a: DUP1
0000032b: ISZERO
0000032c: PUSH2 0x0333
0000032f: JUMPI
00000330: PUSH0
00000331: DUP1
00000332: REVERT
00000333: JUMPDEST
00000334: POP
00000335: PUSH2 0x034e
00000338: PUSH1 0x04
0000033a: DUP1
0000033b: CALLDATASIZE
0000033c: SUB
0000033d: DUP2
0000033e: ADD
0000033f: SWAP1
00000340: PUSH2 0x0349
00000343: SWAP2
00000344: SWAP1
00000345: PUSH2 0x28c9
00000348: JUMP
00000349: JUMPDEST
0000034a: PUSH2 0x0962
0000034d: JUMP
0000034e: JUMPDEST
0000034f: STOP
00000350: JUMPDEST
00000351: CALLVALUE
00000352: DUP1
00000353: ISZERO
00000354: PUSH2 0x035b
00000357: JUMPI
00000358: PUSH0
00000359: DUP1
0000035a: REVERT
0000035b: JUMPDEST
0000035c: POP
0000035d: PUSH2 0x0364
00000360: PUSH2 0x0a81
00000363: JUMP
00000364: JUMPDEST
00000365: STOP
00000366: JUMPDEST
00000367: CALLVALUE
00000368: DUP1
00000369: ISZERO
0000036a: PUSH2 0x0371
0000036d: JUMPI
0000036e: PUSH0
0000036f: DUP1
00000370: REVERT
00000371: JUMPDEST
00000372: POP
00000373: PUSH2 0x037a
00000376: PUSH2 0x0bb3
00000379: JUMP
0000037a: JUMPDEST
0000037b: PUSH1 0x40
0000037d: MLOAD
0000037e: PUSH2 0x0387
00000381: SWAP2
00000382: SWAP1
00000383: PUSH2 0x26c1
00000386: JUMP
00000387: JUMPDEST
00000388: PUSH1 0x40
0000038a: MLOAD
0000038b: DUP1
0000038c: SWAP2
0000038d: SUB
0000038e: SWAP1
0000038f: RETURN
00000390: JUMPDEST
00000391: CALLVALUE
00000392: DUP1
00000393: ISZERO
00000394: PUSH2 0x039b
00000397: JUMPI
00000398: PUSH0
00000399: DUP1
0000039a: REVERT
0000039b: JUMPDEST
0000039c: POP
0000039d: PUSH2 0x03b6
000003a0: PUSH1 0x04
000003a2: DUP1
000003a3: CALLDATASIZE
000003a4: SUB
000003a5: DUP2
000003a6: ADD
000003a7: SWAP1
000003a8: PUSH2 0x03b1
000003ab: SWAP2
000003ac: SWAP1
000003ad: PUSH2 0x2641
000003b0: JUMP
000003b1: JUMPDEST
000003b2: PUSH2 0x0bb9
000003b5: JUMP
000003b6: JUMPDEST
000003b7: STOP
000003b8: JUMPDEST
000003b9: CALLVALUE
000003ba: DUP1
000003bb: ISZERO
000003bc: PUSH2 0x03c3
000003bf: JUMPI
000003c0: PUSH0
000003c1: DUP1
000003c2: REVERT
000003c3: JUMPDEST
000003c4: POP
000003c5: PUSH2 0x03cc
000003c8: PUSH2 0x0d5a
000003cb: JUMP
000003cc: JUMPDEST
000003cd: PUSH1 0x40
000003cf: MLOAD
000003d0: PUSH2 0x03d9
000003d3: SWAP2
000003d4: SWAP1
000003d5: PUSH2 0x291f
000003d8: JUMP
000003d9: JUMPDEST
000003da: PUSH1 0x40
000003dc: MLOAD
000003dd: DUP1
000003de: SWAP2
000003df: SUB
000003e0: SWAP1
000003e1: RETURN
000003e2: JUMPDEST
000003e3: CALLVALUE
000003e4: DUP1
000003e5: ISZERO
000003e6: PUSH2 0x03ed
000003e9: JUMPI
000003ea: PUSH0
000003eb: DUP1
000003ec: REVERT
000003ed: JUMPDEST
000003ee: POP
000003ef: PUSH2 0x03f6
000003f2: PUSH2 0x0d81
000003f5: JUMP
000003f6: JUMPDEST
000003f7: PUSH1 0x40
000003f9: MLOAD
000003fa: PUSH2 0x0403
000003fd: SWAP2
000003fe: SWAP1
000003ff: PUSH2 0x26c1
00000402: JUMP
00000403: JUMPDEST
00000404: PUSH1 0x40
00000406: MLOAD
00000407: DUP1
00000408: SWAP2
00000409: SUB
0000040a: SWAP1
0000040b: RETURN
0000040c: JUMPDEST
0000040d: CALLVALUE
0000040e: DUP1
0000040f: ISZERO
00000410: PUSH2 0x0417
00000413: JUMPI
00000414: PUSH0
00000415: DUP1
00000416: REVERT
00000417: JUMPDEST
00000418: POP
00000419: PUSH2 0x0420
0000041c: PUSH2 0x0d87
0000041f: JUMP
00000420: JUMPDEST
00000421: PUSH1 0x40
00000423: MLOAD
00000424: PUSH2 0x042d
00000427: SWAP2
00000428: SWAP1
00000429: PUSH2 0x2583
0000042c: JUMP
0000042d: JUMPDEST
0000042e: PUSH1 0x40
00000430: MLOAD
00000431: DUP1
00000432: SWAP2
00000433: SUB
00000434: SWAP1
00000435: RETURN
00000436: JUMPDEST
00000437: CALLVALUE
00000438: DUP1
00000439: ISZERO
0000043a: PUSH2 0x0441
0000043d: JUMPI
0000043e: PUSH0
0000043f: DUP1
00000440: REVERT
00000441: JUMPDEST
00000442: POP
00000443: PUSH2 0x045c
00000446: PUSH1 0x04
00000448: DUP1
00000449: CALLDATASIZE
0000044a: SUB
0000044b: DUP2
0000044c: ADD
0000044d: SWAP1
0000044e: PUSH2 0x0457
00000451: SWAP2
00000452: SWAP1
00000453: PUSH2 0x2641
00000456: JUMP
00000457: JUMPDEST
00000458: PUSH2 0x0dc4
0000045b: JUMP
0000045c: JUMPDEST
0000045d: PUSH1 0x40
0000045f: MLOAD
00000460: PUSH2 0x0469
00000463: SWAP2
00000464: SWAP1
00000465: PUSH2 0x2699
00000468: JUMP
00000469: JUMPDEST
0000046a: PUSH1 0x40
0000046c: MLOAD
0000046d: DUP1
0000046e: SWAP2
0000046f: SUB
00000470: SWAP1
00000471: RETURN
00000472: JUMPDEST
00000473: CALLVALUE
00000474: DUP1
00000475: ISZERO
00000476: PUSH2 0x047d
00000479: JUMPI
0000047a: PUSH0
0000047b: DUP1
0000047c: REVERT
0000047d: JUMPDEST
0000047e: POP
0000047f: PUSH2 0x0498
00000482: PUSH1 0x04
00000484: DUP1
00000485: CALLDATASIZE
00000486: SUB
00000487: DUP2
00000488: ADD
00000489: SWAP1
0000048a: PUSH2 0x0493
0000048d: SWAP2
0000048e: SWAP1
0000048f: PUSH2 0x28c9
00000492: JUMP
00000493: JUMPDEST
00000494: PUSH2 0x0de1
00000497: JUMP
00000498: JUMPDEST
00000499: STOP
0000049a: JUMPDEST
0000049b: CALLVALUE
0000049c: DUP1
0000049d: ISZERO
0000049e: PUSH2 0x04a5
000004a1: JUMPI
000004a2: PUSH0
000004a3: DUP1
000004a4: REVERT
000004a5: JUMPDEST
000004a6: POP
000004a7: PUSH2 0x04ae
000004aa: PUSH2 0x0eff
000004ad: JUMP
000004ae: JUMPDEST
000004af: PUSH1 0x40
000004b1: MLOAD
000004b2: PUSH2 0x04bb
000004b5: SWAP2
000004b6: SWAP1
000004b7: PUSH2 0x26c1
000004ba: JUMP
000004bb: JUMPDEST
000004bc: PUSH1 0x40
000004be: MLOAD
000004bf: DUP1
000004c0: SWAP2
000004c1: SUB
000004c2: SWAP1
000004c3: RETURN
000004c4: JUMPDEST
000004c5: CALLVALUE
000004c6: DUP1
000004c7: ISZERO
000004c8: PUSH2 0x04cf
000004cb: JUMPI
000004cc: PUSH0
000004cd: DUP1
000004ce: REVERT
000004cf: JUMPDEST
000004d0: POP
000004d1: PUSH2 0x04d8
000004d4: PUSH2 0x0f05
000004d7: JUMP
000004d8: JUMPDEST
000004d9: STOP
000004da: JUMPDEST
000004db: CALLVALUE
000004dc: DUP1
000004dd: ISZERO
000004de: PUSH2 0x04e5
000004e1: JUMPI
000004e2: PUSH0
000004e3: DUP1
000004e4: REVERT
000004e5: JUMPDEST
000004e6: POP
000004e7: PUSH2 0x0500
000004ea: PUSH1 0x04
000004ec: DUP1
000004ed: CALLDATASIZE
000004ee: SUB
000004ef: DUP2
000004f0: ADD
000004f1: SWAP1
000004f2: PUSH2 0x04fb
000004f5: SWAP2
000004f6: SWAP1
000004f7: PUSH2 0x2938
000004fa: JUMP
000004fb: JUMPDEST
000004fc: PUSH2 0x148f
000004ff: JUMP
00000500: JUMPDEST
00000501: PUSH1 0x40
00000503: MLOAD
00000504: PUSH2 0x050d
00000507: SWAP2
00000508: SWAP1
00000509: PUSH2 0x26c1
0000050c: JUMP
0000050d: JUMPDEST
0000050e: PUSH1 0x40
00000510: MLOAD
00000511: DUP1
00000512: SWAP2
00000513: SUB
00000514: SWAP1
00000515: RETURN
00000516: JUMPDEST
00000517: PUSH1 0x60
00000519: PUSH1 0x40
0000051b: MLOAD
0000051c: DUP1
0000051d: PUSH1 0x40
0000051f: ADD
00000520: PUSH1 0x40
00000522: MSTORE
00000523: DUP1
00000524: PUSH1 0x08
00000526: DUP2
00000527: MSTORE
00000528: PUSH1 0x20
0000052a: ADD
0000052b: PUSH32 0x4d4f4f2044454e47000000000000000000000000000000000000000000000000
0000054c: DUP2
0000054d: MSTORE
0000054e: POP
0000054f: SWAP1
00000550: POP
00000551: SWAP1
00000552: JUMP
00000553: JUMPDEST
00000554: PUSH0
00000555: PUSH2 0x0566
00000558: PUSH2 0x055f
0000055b: PUSH2 0x1511
0000055e: JUMP
0000055f: JUMPDEST
00000560: DUP5
00000561: DUP5
00000562: PUSH2 0x1518
00000565: JUMP
00000566: JUMPDEST
00000567: PUSH1 0x01
00000569: SWAP1
0000056a: POP
0000056b: SWAP3
0000056c: SWAP2
0000056d: POP
0000056e: POP
0000056f: JUMP
00000570: JUMPDEST
00000571: PUSH1 0x11
00000573: SLOAD
00000574: DUP2
00000575: JUMP
00000576: JUMPDEST
00000577: PUSH0
00000578: PUSH1 0x09
0000057a: PUSH1 0x0a
0000057c: PUSH2 0x0585
0000057f: SWAP2
00000580: SWAP1
00000581: PUSH2 0x2ad2
00000584: JUMP
00000585: JUMPDEST
00000586: PUSH5 0x61f313f880
0000058c: PUSH2 0x0595
0000058f: SWAP2
00000590: SWAP1
00000591: PUSH2 0x2b1c
00000594: JUMP
00000595: JUMPDEST
00000596: SWAP1
00000597: POP
00000598: SWAP1
00000599: JUMP
0000059a: JUMPDEST
0000059b: PUSH0
0000059c: PUSH2 0x05a6
0000059f: DUP5
000005a0: DUP5
000005a1: DUP5
000005a2: PUSH2 0x16db
000005a5: JUMP
000005a6: JUMPDEST
000005a7: PUSH2 0x0663
000005aa: DUP5
000005ab: PUSH2 0x05b2
000005ae: PUSH2 0x1511
000005b1: JUMP
000005b2: JUMPDEST
000005b3: PUSH2 0x065e
000005b6: DUP6
000005b7: PUSH1 0x40
000005b9: MLOAD
000005ba: DUP1
000005bb: PUSH1 0x60
000005bd: ADD
000005be: PUSH1 0x40
000005c0: MSTORE
000005c1: DUP1
000005c2: PUSH1 0x28
000005c4: DUP2
000005c5: MSTORE
000005c6: PUSH1 0x20
000005c8: ADD
000005c9: PUSH2 0x35f3
000005cc: PUSH1 0x28
000005ce: SWAP2
000005cf: CODECOPY
000005d0: PUSH1 0x02
000005d2: PUSH0
000005d3: DUP12
000005d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e9: AND
000005ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ff: AND
00000600: DUP2
00000601: MSTORE
00000602: PUSH1 0x20
00000604: ADD
00000605: SWAP1
00000606: DUP2
00000607: MSTORE
00000608: PUSH1 0x20
0000060a: ADD
0000060b: PUSH0
0000060c: KECCAK256
0000060d: PUSH0
0000060e: PUSH2 0x0615
00000611: PUSH2 0x1511
00000614: JUMP
00000615: JUMPDEST
00000616: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000062b: AND
0000062c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000641: AND
00000642: DUP2
00000643: MSTORE
00000644: PUSH1 0x20
00000646: ADD
00000647: SWAP1
00000648: DUP2
00000649: MSTORE
0000064a: PUSH1 0x20
0000064c: ADD
0000064d: PUSH0
0000064e: KECCAK256
0000064f: SLOAD
00000650: PUSH2 0x1fe5
00000653: SWAP1
00000654: SWAP3
00000655: SWAP2
00000656: SWAP1
00000657: PUSH4 0xffffffff
0000065c: AND
0000065d: JUMP
0000065e: JUMPDEST
0000065f: PUSH2 0x1518
00000662: JUMP
00000663: JUMPDEST
00000664: PUSH1 0x01
00000666: SWAP1
00000667: POP
00000668: SWAP4
00000669: SWAP3
0000066a: POP
0000066b: POP
0000066c: POP
0000066d: JUMP
0000066e: JUMPDEST
0000066f: PUSH0
00000670: PUSH1 0x09
00000672: SWAP1
00000673: POP
00000674: SWAP1
00000675: JUMP
00000676: JUMPDEST
00000677: PUSH0
00000678: PUSH1 0x04
0000067a: PUSH0
0000067b: DUP4
0000067c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000691: AND
00000692: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006a7: AND
000006a8: DUP2
000006a9: MSTORE
000006aa: PUSH1 0x20
000006ac: ADD
000006ad: SWAP1
000006ae: DUP2
000006af: MSTORE
000006b0: PUSH1 0x20
000006b2: ADD
000006b3: PUSH0
000006b4: KECCAK256
000006b5: PUSH0
000006b6: SWAP1
000006b7: SLOAD
000006b8: SWAP1
000006b9: PUSH2 0x0100
000006bc: EXP
000006bd: SWAP1
000006be: DIV
000006bf: PUSH1 0xff
000006c1: AND
000006c2: SWAP1
000006c3: POP
000006c4: SWAP2
000006c5: SWAP1
000006c6: POP
000006c7: JUMP
000006c8: JUMPDEST
000006c9: PUSH1 0x05
000006cb: PUSH0
000006cc: SWAP1
000006cd: SLOAD
000006ce: SWAP1
000006cf: PUSH2 0x0100
000006d2: EXP
000006d3: SWAP1
000006d4: DIV
000006d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ea: AND
000006eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000700: AND
00000701: PUSH2 0x0708
00000704: PUSH2 0x1511
00000707: JUMP
00000708: JUMPDEST
00000709: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000071e: AND
0000071f: EQ
00000720: PUSH2 0x0727
00000723: JUMPI
00000724: PUSH0
00000725: DUP1
00000726: REVERT
00000727: JUMPDEST
00000728: PUSH0
00000729: PUSH2 0x0731
0000072c: ADDRESS
0000072d: PUSH2 0x07ce
00000730: JUMP
00000731: JUMPDEST
00000732: SWAP1
00000733: POP
00000734: PUSH0
00000735: DUP2
00000736: GT
00000737: ISZERO
00000738: PUSH2 0x0745
0000073b: JUMPI
0000073c: PUSH2 0x0744
0000073f: DUP2
00000740: PUSH2 0x2047
00000743: JUMP
00000744: JUMPDEST
00000745: JUMPDEST
00000746: PUSH0
00000747: SELFBALANCE
00000748: SWAP1
00000749: POP
0000074a: PUSH0
0000074b: DUP2
0000074c: GT
0000074d: ISZERO
0000074e: PUSH2 0x075b
00000751: JUMPI
00000752: PUSH2 0x075a
00000755: DUP2
00000756: PUSH2 0x22b2
00000759: JUMP
0000075a: JUMPDEST
0000075b: JUMPDEST
0000075c: POP
0000075d: POP
0000075e: JUMP
0000075f: JUMPDEST
00000760: PUSH1 0x05
00000762: PUSH0
00000763: SWAP1
00000764: SLOAD
00000765: SWAP1
00000766: PUSH2 0x0100
00000769: EXP
0000076a: SWAP1
0000076b: DIV
0000076c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000781: AND
00000782: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000797: AND
00000798: PUSH2 0x079f
0000079b: PUSH2 0x1511
0000079e: JUMP
0000079f: JUMPDEST
000007a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007b5: AND
000007b6: EQ
000007b7: PUSH2 0x07be
000007ba: JUMPI
000007bb: PUSH0
000007bc: DUP1
000007bd: REVERT
000007be: JUMPDEST
000007bf: PUSH0
000007c0: SELFBALANCE
000007c1: SWAP1
000007c2: POP
000007c3: PUSH2 0x07cb
000007c6: DUP2
000007c7: PUSH2 0x22b2
000007ca: JUMP
000007cb: JUMPDEST
000007cc: POP
000007cd: JUMP
000007ce: JUMPDEST
000007cf: PUSH0
000007d0: PUSH1 0x01
000007d2: PUSH0
000007d3: DUP4
000007d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e9: AND
000007ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007ff: AND
00000800: DUP2
00000801: MSTORE
00000802: PUSH1 0x20
00000804: ADD
00000805: SWAP1
00000806: DUP2
00000807: MSTORE
00000808: PUSH1 0x20
0000080a: ADD
0000080b: PUSH0
0000080c: KECCAK256
0000080d: SLOAD
0000080e: SWAP1
0000080f: POP
00000810: SWAP2
00000811: SWAP1
00000812: POP
00000813: JUMP
00000814: JUMPDEST
00000815: PUSH2 0x081c
00000818: PUSH2 0x1511
0000081b: JUMP
0000081c: JUMPDEST
0000081d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000832: AND
00000833: PUSH0
00000834: DUP1
00000835: SLOAD
00000836: SWAP1
00000837: PUSH2 0x0100
0000083a: EXP
0000083b: SWAP1
0000083c: DIV
0000083d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000852: AND
00000853: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000868: AND
00000869: EQ
0000086a: PUSH2 0x08a8
0000086d: JUMPI
0000086e: PUSH1 0x40
00000870: MLOAD
00000871: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000892: DUP2
00000893: MSTORE
00000894: PUSH1 0x04
00000896: ADD
00000897: PUSH2 0x089f
0000089a: SWAP1
0000089b: PUSH2 0x2ba7
0000089e: JUMP
0000089f: JUMPDEST
000008a0: PUSH1 0x40
000008a2: MLOAD
000008a3: DUP1
000008a4: SWAP2
000008a5: SUB
000008a6: SWAP1
000008a7: REVERT
000008a8: JUMPDEST
000008a9: PUSH0
000008aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008bf: AND
000008c0: PUSH0
000008c1: DUP1
000008c2: SLOAD
000008c3: SWAP1
000008c4: PUSH2 0x0100
000008c7: EXP
000008c8: SWAP1
000008c9: DIV
000008ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008df: AND
000008e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008f5: AND
000008f6: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000917: PUSH1 0x40
00000919: MLOAD
0000091a: PUSH1 0x40
0000091c: MLOAD
0000091d: DUP1
0000091e: SWAP2
0000091f: SUB
00000920: SWAP1
00000921: LOG3
00000922: PUSH0
00000923: DUP1
00000924: PUSH0
00000925: PUSH2 0x0100
00000928: EXP
00000929: DUP2
0000092a: SLOAD
0000092b: DUP2
0000092c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000941: MUL
00000942: NOT
00000943: AND
00000944: SWAP1
00000945: DUP4
00000946: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000095b: AND
0000095c: MUL
0000095d: OR
0000095e: SWAP1
0000095f: SSTORE
00000960: POP
00000961: JUMP
00000962: JUMPDEST
00000963: PUSH2 0x096a
00000966: PUSH2 0x1511
00000969: JUMP
0000096a: JUMPDEST
0000096b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000980: AND
00000981: PUSH0
00000982: DUP1
00000983: SLOAD
00000984: SWAP1
00000985: PUSH2 0x0100
00000988: EXP
00000989: SWAP1
0000098a: DIV
0000098b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a0: AND
000009a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b6: AND
000009b7: EQ
000009b8: PUSH2 0x09f6
000009bb: JUMPI
000009bc: PUSH1 0x40
000009be: MLOAD
000009bf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009e0: DUP2
000009e1: MSTORE
000009e2: PUSH1 0x04
000009e4: ADD
000009e5: PUSH2 0x09ed
000009e8: SWAP1
000009e9: PUSH2 0x2ba7
000009ec: JUMP
000009ed: JUMPDEST
000009ee: PUSH1 0x40
000009f0: MLOAD
000009f1: DUP1
000009f2: SWAP2
000009f3: SUB
000009f4: SWAP1
000009f5: REVERT
000009f6: JUMPDEST
000009f7: PUSH0
000009f8: JUMPDEST
000009f9: DUP2
000009fa: MLOAD
000009fb: DUP2
000009fc: LT
000009fd: ISZERO
000009fe: PUSH2 0x0a7d
00000a01: JUMPI
00000a02: PUSH1 0x01
00000a04: PUSH1 0x04
00000a06: PUSH0
00000a07: DUP5
00000a08: DUP5
00000a09: DUP2
00000a0a: MLOAD
00000a0b: DUP2
00000a0c: LT
00000a0d: PUSH2 0x0a19
00000a10: JUMPI
00000a11: PUSH2 0x0a18
00000a14: PUSH2 0x2bc5
00000a17: JUMP
00000a18: JUMPDEST
00000a19: JUMPDEST
00000a1a: PUSH1 0x20
00000a1c: MUL
00000a1d: PUSH1 0x20
00000a1f: ADD
00000a20: ADD
00000a21: MLOAD
00000a22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a37: AND
00000a38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a4d: AND
00000a4e: DUP2
00000a4f: MSTORE
00000a50: PUSH1 0x20
00000a52: ADD
00000a53: SWAP1
00000a54: DUP2
00000a55: MSTORE
00000a56: PUSH1 0x20
00000a58: ADD
00000a59: PUSH0
00000a5a: KECCAK256
00000a5b: PUSH0
00000a5c: PUSH2 0x0100
00000a5f: EXP
00000a60: DUP2
00000a61: SLOAD
00000a62: DUP2
00000a63: PUSH1 0xff
00000a65: MUL
00000a66: NOT
00000a67: AND
00000a68: SWAP1
00000a69: DUP4
00000a6a: ISZERO
00000a6b: ISZERO
00000a6c: MUL
00000a6d: OR
00000a6e: SWAP1
00000a6f: SSTORE
00000a70: POP
00000a71: DUP1
00000a72: DUP1
00000a73: PUSH1 0x01
00000a75: ADD
00000a76: SWAP2
00000a77: POP
00000a78: POP
00000a79: PUSH2 0x09f8
00000a7c: JUMP
00000a7d: JUMPDEST
00000a7e: POP
00000a7f: POP
00000a80: JUMP
00000a81: JUMPDEST
00000a82: PUSH2 0x0a89
00000a85: PUSH2 0x1511
00000a88: JUMP
00000a89: JUMPDEST
00000a8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a9f: AND
00000aa0: PUSH0
00000aa1: DUP1
00000aa2: SLOAD
00000aa3: SWAP1
00000aa4: PUSH2 0x0100
00000aa7: EXP
00000aa8: SWAP1
00000aa9: DIV
00000aaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000abf: AND
00000ac0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad5: AND
00000ad6: EQ
00000ad7: PUSH2 0x0b15
00000ada: JUMPI
00000adb: PUSH1 0x40
00000add: MLOAD
00000ade: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000aff: DUP2
00000b00: MSTORE
00000b01: PUSH1 0x04
00000b03: ADD
00000b04: PUSH2 0x0b0c
00000b07: SWAP1
00000b08: PUSH2 0x2ba7
00000b0b: JUMP
00000b0c: JUMPDEST
00000b0d: PUSH1 0x40
00000b0f: MLOAD
00000b10: DUP1
00000b11: SWAP2
00000b12: SUB
00000b13: SWAP1
00000b14: REVERT
00000b15: JUMPDEST
00000b16: PUSH1 0x09
00000b18: PUSH1 0x0a
00000b1a: PUSH2 0x0b23
00000b1d: SWAP2
00000b1e: SWAP1
00000b1f: PUSH2 0x2ad2
00000b22: JUMP
00000b23: JUMPDEST
00000b24: PUSH5 0x61f313f880
00000b2a: PUSH2 0x0b33
00000b2d: SWAP2
00000b2e: SWAP1
00000b2f: PUSH2 0x2b1c
00000b32: JUMP
00000b33: JUMPDEST
00000b34: PUSH1 0x0e
00000b36: DUP2
00000b37: SWAP1
00000b38: SSTORE
00000b39: POP
00000b3a: PUSH1 0x09
00000b3c: PUSH1 0x0a
00000b3e: PUSH2 0x0b47
00000b41: SWAP2
00000b42: SWAP1
00000b43: PUSH2 0x2ad2
00000b46: JUMP
00000b47: JUMPDEST
00000b48: PUSH5 0x61f313f880
00000b4e: PUSH2 0x0b57
00000b51: SWAP2
00000b52: SWAP1
00000b53: PUSH2 0x2b1c
00000b56: JUMP
00000b57: JUMPDEST
00000b58: PUSH1 0x0f
00000b5a: DUP2
00000b5b: SWAP1
00000b5c: SSTORE
00000b5d: POP
00000b5e: PUSH32 0x947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf
00000b7f: PUSH1 0x09
00000b81: PUSH1 0x0a
00000b83: PUSH2 0x0b8c
00000b86: SWAP2
00000b87: SWAP1
00000b88: PUSH2 0x2ad2
00000b8b: JUMP
00000b8c: JUMPDEST
00000b8d: PUSH5 0x61f313f880
00000b93: PUSH2 0x0b9c
00000b96: SWAP2
00000b97: SWAP1
00000b98: PUSH2 0x2b1c
00000b9b: JUMP
00000b9c: JUMPDEST
00000b9d: PUSH1 0x40
00000b9f: MLOAD
00000ba0: PUSH2 0x0ba9
00000ba3: SWAP2
00000ba4: SWAP1
00000ba5: PUSH2 0x26c1
00000ba8: JUMP
00000ba9: JUMPDEST
00000baa: PUSH1 0x40
00000bac: MLOAD
00000bad: DUP1
00000bae: SWAP2
00000baf: SUB
00000bb0: SWAP1
00000bb1: LOG1
00000bb2: JUMP
00000bb3: JUMPDEST
00000bb4: PUSH1 0x0e
00000bb6: SLOAD
00000bb7: DUP2
00000bb8: JUMP
00000bb9: JUMPDEST
00000bba: PUSH1 0x05
00000bbc: PUSH0
00000bbd: SWAP1
00000bbe: SLOAD
00000bbf: SWAP1
00000bc0: PUSH2 0x0100
00000bc3: EXP
00000bc4: SWAP1
00000bc5: DIV
00000bc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bdb: AND
00000bdc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf1: AND
00000bf2: PUSH2 0x0bf9
00000bf5: PUSH2 0x1511
00000bf8: JUMP
00000bf9: JUMPDEST
00000bfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c0f: AND
00000c10: EQ
00000c11: PUSH2 0x0c18
00000c14: JUMPI
00000c15: PUSH0
00000c16: DUP1
00000c17: REVERT
00000c18: JUMPDEST
00000c19: PUSH0
00000c1a: PUSH2 0x0cb6
00000c1d: PUSH1 0x64
00000c1f: PUSH2 0x0ca8
00000c22: DUP5
00000c23: DUP7
00000c24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c39: AND
00000c3a: PUSH4 0x70a08231
00000c3f: ADDRESS
00000c40: PUSH1 0x40
00000c42: MLOAD
00000c43: DUP3
00000c44: PUSH4 0xffffffff
00000c49: AND
00000c4a: PUSH1 0xe0
00000c4c: SHL
00000c4d: DUP2
00000c4e: MSTORE
00000c4f: PUSH1 0x04
00000c51: ADD
00000c52: PUSH2 0x0c5b
00000c55: SWAP2
00000c56: SWAP1
00000c57: PUSH2 0x291f
00000c5a: JUMP
00000c5b: JUMPDEST
00000c5c: PUSH1 0x20
00000c5e: PUSH1 0x40
00000c60: MLOAD
00000c61: DUP1
00000c62: DUP4
00000c63: SUB
00000c64: DUP2
00000c65: DUP7
00000c66: GAS
00000c67: STATICCALL
00000c68: ISZERO
00000c69: DUP1
00000c6a: ISZERO
00000c6b: PUSH2 0x0c76
00000c6e: JUMPI
00000c6f: RETURNDATASIZE
00000c70: PUSH0
00000c71: DUP1
00000c72: RETURNDATACOPY
00000c73: RETURNDATASIZE
00000c74: PUSH0
00000c75: REVERT
00000c76: JUMPDEST
00000c77: POP
00000c78: POP
00000c79: POP
00000c7a: POP
00000c7b: PUSH1 0x40
00000c7d: MLOAD
00000c7e: RETURNDATASIZE
00000c7f: PUSH1 0x1f
00000c81: NOT
00000c82: PUSH1 0x1f
00000c84: DUP3
00000c85: ADD
00000c86: AND
00000c87: DUP3
00000c88: ADD
00000c89: DUP1
00000c8a: PUSH1 0x40
00000c8c: MSTORE
00000c8d: POP
00000c8e: DUP2
00000c8f: ADD
00000c90: SWAP1
00000c91: PUSH2 0x0c9a
00000c94: SWAP2
00000c95: SWAP1
00000c96: PUSH2 0x2c06
00000c99: JUMP
00000c9a: JUMPDEST
00000c9b: PUSH2 0x231a
00000c9e: SWAP1
00000c9f: SWAP2
00000ca0: SWAP1
00000ca1: PUSH4 0xffffffff
00000ca6: AND
00000ca7: JUMP
00000ca8: JUMPDEST
00000ca9: PUSH2 0x2391
00000cac: SWAP1
00000cad: SWAP2
00000cae: SWAP1
00000caf: PUSH4 0xffffffff
00000cb4: AND
00000cb5: JUMP
00000cb6: JUMPDEST
00000cb7: SWAP1
00000cb8: POP
00000cb9: DUP3
00000cba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ccf: AND
00000cd0: PUSH4 0xa9059cbb
00000cd5: PUSH1 0x05
00000cd7: PUSH0
00000cd8: SWAP1
00000cd9: SLOAD
00000cda: SWAP1
00000cdb: PUSH2 0x0100
00000cde: EXP
00000cdf: SWAP1
00000ce0: DIV
00000ce1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf6: AND
00000cf7: DUP4
00000cf8: PUSH1 0x40
00000cfa: MLOAD
00000cfb: DUP4
00000cfc: PUSH4 0xffffffff
00000d01: AND
00000d02: PUSH1 0xe0
00000d04: SHL
00000d05: DUP2
00000d06: MSTORE
00000d07: PUSH1 0x04
00000d09: ADD
00000d0a: PUSH2 0x0d14
00000d0d: SWAP3
00000d0e: SWAP2
00000d0f: SWAP1
00000d10: PUSH2 0x2c8c
00000d13: JUMP
00000d14: JUMPDEST
00000d15: PUSH1 0x20
00000d17: PUSH1 0x40
00000d19: MLOAD
00000d1a: DUP1
00000d1b: DUP4
00000d1c: SUB
00000d1d: DUP2
00000d1e: PUSH0
00000d1f: DUP8
00000d20: GAS
00000d21: CALL
00000d22: ISZERO
00000d23: DUP1
00000d24: ISZERO
00000d25: PUSH2 0x0d30
00000d28: JUMPI
00000d29: RETURNDATASIZE
00000d2a: PUSH0
00000d2b: DUP1
00000d2c: RETURNDATACOPY
00000d2d: RETURNDATASIZE
00000d2e: PUSH0
00000d2f: REVERT
00000d30: JUMPDEST
00000d31: POP
00000d32: POP
00000d33: POP
00000d34: POP
00000d35: PUSH1 0x40
00000d37: MLOAD
00000d38: RETURNDATASIZE
00000d39: PUSH1 0x1f
00000d3b: NOT
00000d3c: PUSH1 0x1f
00000d3e: DUP3
00000d3f: ADD
00000d40: AND
00000d41: DUP3
00000d42: ADD
00000d43: DUP1
00000d44: PUSH1 0x40
00000d46: MSTORE
00000d47: POP
00000d48: DUP2
00000d49: ADD
00000d4a: SWAP1
00000d4b: PUSH2 0x0d54
00000d4e: SWAP2
00000d4f: SWAP1
00000d50: PUSH2 0x2cdd
00000d53: JUMP
00000d54: JUMPDEST
00000d55: POP
00000d56: POP
00000d57: POP
00000d58: POP
00000d59: JUMP
00000d5a: JUMPDEST
00000d5b: PUSH0
00000d5c: DUP1
00000d5d: PUSH0
00000d5e: SWAP1
00000d5f: SLOAD
00000d60: SWAP1
00000d61: PUSH2 0x0100
00000d64: EXP
00000d65: SWAP1
00000d66: DIV
00000d67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d7c: AND
00000d7d: SWAP1
00000d7e: POP
00000d7f: SWAP1
00000d80: JUMP
00000d81: JUMPDEST
00000d82: PUSH1 0x0f
00000d84: SLOAD
00000d85: DUP2
00000d86: JUMP
00000d87: JUMPDEST
00000d88: PUSH1 0x60
00000d8a: PUSH1 0x40
00000d8c: MLOAD
00000d8d: DUP1
00000d8e: PUSH1 0x40
00000d90: ADD
00000d91: PUSH1 0x40
00000d93: MSTORE
00000d94: DUP1
00000d95: PUSH1 0x07
00000d97: DUP2
00000d98: MSTORE
00000d99: PUSH1 0x20
00000d9b: ADD
00000d9c: PUSH32 0x4d4f4f44454e4700000000000000000000000000000000000000000000000000
00000dbd: DUP2
00000dbe: MSTORE
00000dbf: POP
00000dc0: SWAP1
00000dc1: POP
00000dc2: SWAP1
00000dc3: JUMP
00000dc4: JUMPDEST
00000dc5: PUSH0
00000dc6: PUSH2 0x0dd7
00000dc9: PUSH2 0x0dd0
00000dcc: PUSH2 0x1511
00000dcf: JUMP
00000dd0: JUMPDEST
00000dd1: DUP5
00000dd2: DUP5
00000dd3: PUSH2 0x16db
00000dd6: JUMP
00000dd7: JUMPDEST
00000dd8: PUSH1 0x01
00000dda: SWAP1
00000ddb: POP
00000ddc: SWAP3
00000ddd: SWAP2
00000dde: POP
00000ddf: POP
00000de0: JUMP
00000de1: JUMPDEST
00000de2: PUSH2 0x0de9
00000de5: PUSH2 0x1511
00000de8: JUMP
00000de9: JUMPDEST
00000dea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dff: AND
00000e00: PUSH0
00000e01: DUP1
00000e02: SLOAD
00000e03: SWAP1
00000e04: PUSH2 0x0100
00000e07: EXP
00000e08: SWAP1
00000e09: DIV
00000e0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e1f: AND
00000e20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e35: AND
00000e36: EQ
00000e37: PUSH2 0x0e75
00000e3a: JUMPI
00000e3b: PUSH1 0x40
00000e3d: MLOAD
00000e3e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e5f: DUP2
00000e60: MSTORE
00000e61: PUSH1 0x04
00000e63: ADD
00000e64: PUSH2 0x0e6c
00000e67: SWAP1
00000e68: PUSH2 0x2ba7
00000e6b: JUMP
00000e6c: JUMPDEST
00000e6d: PUSH1 0x40
00000e6f: MLOAD
00000e70: DUP1
00000e71: SWAP2
00000e72: SUB
00000e73: SWAP1
00000e74: REVERT
00000e75: JUMPDEST
00000e76: PUSH0
00000e77: JUMPDEST
00000e78: DUP2
00000e79: MLOAD
00000e7a: DUP2
00000e7b: LT
00000e7c: ISZERO
00000e7d: PUSH2 0x0efb
00000e80: JUMPI
00000e81: PUSH0
00000e82: PUSH1 0x04
00000e84: PUSH0
00000e85: DUP5
00000e86: DUP5
00000e87: DUP2
00000e88: MLOAD
00000e89: DUP2
00000e8a: LT
00000e8b: PUSH2 0x0e97
00000e8e: JUMPI
00000e8f: PUSH2 0x0e96
00000e92: PUSH2 0x2bc5
00000e95: JUMP
00000e96: JUMPDEST
00000e97: JUMPDEST
00000e98: PUSH1 0x20
00000e9a: MUL
00000e9b: PUSH1 0x20
00000e9d: ADD
00000e9e: ADD
00000e9f: MLOAD
00000ea0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eb5: AND
00000eb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ecb: AND
00000ecc: DUP2
00000ecd: MSTORE
00000ece: PUSH1 0x20
00000ed0: ADD
00000ed1: SWAP1
00000ed2: DUP2
00000ed3: MSTORE
00000ed4: PUSH1 0x20
00000ed6: ADD
00000ed7: PUSH0
00000ed8: KECCAK256
00000ed9: PUSH0
00000eda: PUSH2 0x0100
00000edd: EXP
00000ede: DUP2
00000edf: SLOAD
00000ee0: DUP2
00000ee1: PUSH1 0xff
00000ee3: MUL
00000ee4: NOT
00000ee5: AND
00000ee6: SWAP1
00000ee7: DUP4
00000ee8: ISZERO
00000ee9: ISZERO
00000eea: MUL
00000eeb: OR
00000eec: SWAP1
00000eed: SSTORE
00000eee: POP
00000eef: DUP1
00000ef0: DUP1
00000ef1: PUSH1 0x01
00000ef3: ADD
00000ef4: SWAP2
00000ef5: POP
00000ef6: POP
00000ef7: PUSH2 0x0e77
00000efa: JUMP
00000efb: JUMPDEST
00000efc: POP
00000efd: POP
00000efe: JUMP
00000eff: JUMPDEST
00000f00: PUSH1 0x10
00000f02: SLOAD
00000f03: DUP2
00000f04: JUMP
00000f05: JUMPDEST
00000f06: PUSH2 0x0f0d
00000f09: PUSH2 0x1511
00000f0c: JUMP
00000f0d: JUMPDEST
00000f0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f23: AND
00000f24: PUSH0
00000f25: DUP1
00000f26: SLOAD
00000f27: SWAP1
00000f28: PUSH2 0x0100
00000f2b: EXP
00000f2c: SWAP1
00000f2d: DIV
00000f2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f43: AND
00000f44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f59: AND
00000f5a: EQ
00000f5b: PUSH2 0x0f99
00000f5e: JUMPI
00000f5f: PUSH1 0x40
00000f61: MLOAD
00000f62: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f83: DUP2
00000f84: MSTORE
00000f85: PUSH1 0x04
00000f87: ADD
00000f88: PUSH2 0x0f90
00000f8b: SWAP1
00000f8c: PUSH2 0x2ba7
00000f8f: JUMP
00000f90: JUMPDEST
00000f91: PUSH1 0x40
00000f93: MLOAD
00000f94: DUP1
00000f95: SWAP2
00000f96: SUB
00000f97: SWAP1
00000f98: REVERT
00000f99: JUMPDEST
00000f9a: PUSH1 0x13
00000f9c: PUSH1 0x14
00000f9e: SWAP1
00000f9f: SLOAD
00000fa0: SWAP1
00000fa1: PUSH2 0x0100
00000fa4: EXP
00000fa5: SWAP1
00000fa6: DIV
00000fa7: PUSH1 0xff
00000fa9: AND
00000faa: ISZERO
00000fab: PUSH2 0x0fe9
00000fae: JUMPI
00000faf: PUSH1 0x40
00000fb1: MLOAD
00000fb2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fd3: DUP2
00000fd4: MSTORE
00000fd5: PUSH1 0x04
00000fd7: ADD
00000fd8: PUSH2 0x0fe0
00000fdb: SWAP1
00000fdc: PUSH2 0x2d52
00000fdf: JUMP
00000fe0: JUMPDEST
00000fe1: PUSH1 0x40
00000fe3: MLOAD
00000fe4: DUP1
00000fe5: SWAP2
00000fe6: SUB
00000fe7: SWAP1
00000fe8: REVERT
00000fe9: JUMPDEST
00000fea: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00000fff: PUSH1 0x12
00001001: PUSH0
00001002: PUSH2 0x0100
00001005: EXP
00001006: DUP2
00001007: SLOAD
00001008: DUP2
00001009: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000101e: MUL
0000101f: NOT
00001020: AND
00001021: SWAP1
00001022: DUP4
00001023: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001038: AND
00001039: MUL
0000103a: OR
0000103b: SWAP1
0000103c: SSTORE
0000103d: POP
0000103e: PUSH2 0x1068
00001041: ADDRESS
00001042: CALLER
00001043: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001064: PUSH2 0x1518
00001067: JUMP
00001068: JUMPDEST
00001069: PUSH2 0x10a0
0000106c: ADDRESS
0000106d: PUSH2 0x109b
00001070: PUSH1 0x64
00001072: PUSH2 0x108d
00001075: PUSH1 0x62
00001077: PUSH2 0x107f
0000107a: CALLER
0000107b: PUSH2 0x07ce
0000107e: JUMP
0000107f: JUMPDEST
00001080: PUSH2 0x231a
00001083: SWAP1
00001084: SWAP2
00001085: SWAP1
00001086: PUSH4 0xffffffff
0000108b: AND
0000108c: JUMP
0000108d: JUMPDEST
0000108e: PUSH2 0x2391
00001091: SWAP1
00001092: SWAP2
00001093: SWAP1
00001094: PUSH4 0xffffffff
00001099: AND
0000109a: JUMP
0000109b: JUMPDEST
0000109c: PUSH2 0x0dc4
0000109f: JUMP
000010a0: JUMPDEST
000010a1: POP
000010a2: PUSH1 0x12
000010a4: PUSH0
000010a5: SWAP1
000010a6: SLOAD
000010a7: SWAP1
000010a8: PUSH2 0x0100
000010ab: EXP
000010ac: SWAP1
000010ad: DIV
000010ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c3: AND
000010c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d9: AND
000010da: PUSH4 0xc45a0155
000010df: PUSH1 0x40
000010e1: MLOAD
000010e2: DUP2
000010e3: PUSH4 0xffffffff
000010e8: AND
000010e9: PUSH1 0xe0
000010eb: SHL
000010ec: DUP2
000010ed: MSTORE
000010ee: PUSH1 0x04
000010f0: ADD
000010f1: PUSH1 0x20
000010f3: PUSH1 0x40
000010f5: MLOAD
000010f6: DUP1
000010f7: DUP4
000010f8: SUB
000010f9: DUP2
000010fa: DUP7
000010fb: GAS
000010fc: STATICCALL
000010fd: ISZERO
000010fe: DUP1
000010ff: ISZERO
00001100: PUSH2 0x110b
00001103: JUMPI
00001104: RETURNDATASIZE
00001105: PUSH0
00001106: DUP1
00001107: RETURNDATACOPY
00001108: RETURNDATASIZE
00001109: PUSH0
0000110a: REVERT
0000110b: JUMPDEST
0000110c: POP
0000110d: POP
0000110e: POP
0000110f: POP
00001110: PUSH1 0x40
00001112: MLOAD
00001113: RETURNDATASIZE
00001114: PUSH1 0x1f
00001116: NOT
00001117: PUSH1 0x1f
00001119: DUP3
0000111a: ADD
0000111b: AND
0000111c: DUP3
0000111d: ADD
0000111e: DUP1
0000111f: PUSH1 0x40
00001121: MSTORE
00001122: POP
00001123: DUP2
00001124: ADD
00001125: SWAP1
00001126: PUSH2 0x112f
00001129: SWAP2
0000112a: SWAP1
0000112b: PUSH2 0x2d84
0000112e: JUMP
0000112f: JUMPDEST
00001130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001145: AND
00001146: PUSH4 0xc9c65396
0000114b: ADDRESS
0000114c: PUSH1 0x12
0000114e: PUSH0
0000114f: SWAP1
00001150: SLOAD
00001151: SWAP1
00001152: PUSH2 0x0100
00001155: EXP
00001156: SWAP1
00001157: DIV
00001158: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000116d: AND
0000116e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001183: AND
00001184: PUSH4 0xad5c4648
00001189: PUSH1 0x40
0000118b: MLOAD
0000118c: DUP2
0000118d: PUSH4 0xffffffff
00001192: AND
00001193: PUSH1 0xe0
00001195: SHL
00001196: DUP2
00001197: MSTORE
00001198: PUSH1 0x04
0000119a: ADD
0000119b: PUSH1 0x20
0000119d: PUSH1 0x40
0000119f: MLOAD
000011a0: DUP1
000011a1: DUP4
000011a2: SUB
000011a3: DUP2
000011a4: DUP7
000011a5: GAS
000011a6: STATICCALL
000011a7: ISZERO
000011a8: DUP1
000011a9: ISZERO
000011aa: PUSH2 0x11b5
000011ad: JUMPI
000011ae: RETURNDATASIZE
000011af: PUSH0
000011b0: DUP1
000011b1: RETURNDATACOPY
000011b2: RETURNDATASIZE
000011b3: PUSH0
000011b4: REVERT
000011b5: JUMPDEST
000011b6: POP
000011b7: POP
000011b8: POP
000011b9: POP
000011ba: PUSH1 0x40
000011bc: MLOAD
000011bd: RETURNDATASIZE
000011be: PUSH1 0x1f
000011c0: NOT
000011c1: PUSH1 0x1f
000011c3: DUP3
000011c4: ADD
000011c5: AND
000011c6: DUP3
000011c7: ADD
000011c8: DUP1
000011c9: PUSH1 0x40
000011cb: MSTORE
000011cc: POP
000011cd: DUP2
000011ce: ADD
000011cf: SWAP1
000011d0: PUSH2 0x11d9
000011d3: SWAP2
000011d4: SWAP1
000011d5: PUSH2 0x2d84
000011d8: JUMP
000011d9: JUMPDEST
000011da: PUSH1 0x40
000011dc: MLOAD
000011dd: DUP4
000011de: PUSH4 0xffffffff
000011e3: AND
000011e4: PUSH1 0xe0
000011e6: SHL
000011e7: DUP2
000011e8: MSTORE
000011e9: PUSH1 0x04
000011eb: ADD
000011ec: PUSH2 0x11f6
000011ef: SWAP3
000011f0: SWAP2
000011f1: SWAP1
000011f2: PUSH2 0x2daf
000011f5: JUMP
000011f6: JUMPDEST
000011f7: PUSH1 0x20
000011f9: PUSH1 0x40
000011fb: MLOAD
000011fc: DUP1
000011fd: DUP4
000011fe: SUB
000011ff: DUP2
00001200: PUSH0
00001201: DUP8
00001202: GAS
00001203: CALL
00001204: ISZERO
00001205: DUP1
00001206: ISZERO
00001207: PUSH2 0x1212
0000120a: JUMPI
0000120b: RETURNDATASIZE
0000120c: PUSH0
0000120d: DUP1
0000120e: RETURNDATACOPY
0000120f: RETURNDATASIZE
00001210: PUSH0
00001211: REVERT
00001212: JUMPDEST
00001213: POP
00001214: POP
00001215: POP
00001216: POP
00001217: PUSH1 0x40
00001219: MLOAD
0000121a: RETURNDATASIZE
0000121b: PUSH1 0x1f
0000121d: NOT
0000121e: PUSH1 0x1f
00001220: DUP3
00001221: ADD
00001222: AND
00001223: DUP3
00001224: ADD
00001225: DUP1
00001226: PUSH1 0x40
00001228: MSTORE
00001229: POP
0000122a: DUP2
0000122b: ADD
0000122c: SWAP1
0000122d: PUSH2 0x1236
00001230: SWAP2
00001231: SWAP1
00001232: PUSH2 0x2d84
00001235: JUMP
00001236: JUMPDEST
00001237: PUSH1 0x13
00001239: PUSH0
0000123a: PUSH2 0x0100
0000123d: EXP
0000123e: DUP2
0000123f: SLOAD
00001240: DUP2
00001241: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001256: MUL
00001257: NOT
00001258: AND
00001259: SWAP1
0000125a: DUP4
0000125b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001270: AND
00001271: MUL
00001272: OR
00001273: SWAP1
00001274: SSTORE
00001275: POP
00001276: PUSH2 0x12c1
00001279: ADDRESS
0000127a: PUSH1 0x12
0000127c: PUSH0
0000127d: SWAP1
0000127e: SLOAD
0000127f: SWAP1
00001280: PUSH2 0x0100
00001283: EXP
00001284: SWAP1
00001285: DIV
00001286: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000129b: AND
0000129c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000012bd: PUSH2 0x1518
000012c0: JUMP
000012c1: JUMPDEST
000012c2: PUSH1 0x12
000012c4: PUSH0
000012c5: SWAP1
000012c6: SLOAD
000012c7: SWAP1
000012c8: PUSH2 0x0100
000012cb: EXP
000012cc: SWAP1
000012cd: DIV
000012ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e3: AND
000012e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012f9: AND
000012fa: PUSH4 0xf305d719
000012ff: SELFBALANCE
00001300: ADDRESS
00001301: PUSH2 0x1309
00001304: ADDRESS
00001305: PUSH2 0x07ce
00001308: JUMP
00001309: JUMPDEST
0000130a: PUSH0
0000130b: DUP1
0000130c: PUSH2 0x1313
0000130f: PUSH2 0x0d5a
00001312: JUMP
00001313: JUMPDEST
00001314: TIMESTAMP
00001315: PUSH1 0x40
00001317: MLOAD
00001318: DUP9
00001319: PUSH4 0xffffffff
0000131e: AND
0000131f: PUSH1 0xe0
00001321: SHL
00001322: DUP2
00001323: MSTORE
00001324: PUSH1 0x04
00001326: ADD
00001327: PUSH2 0x1335
0000132a: SWAP7
0000132b: SWAP6
0000132c: SWAP5
0000132d: SWAP4
0000132e: SWAP3
0000132f: SWAP2
00001330: SWAP1
00001331: PUSH2 0x2e0f
00001334: JUMP
00001335: JUMPDEST
00001336: PUSH1 0x60
00001338: PUSH1 0x40
0000133a: MLOAD
0000133b: DUP1
0000133c: DUP4
0000133d: SUB
0000133e: DUP2
0000133f: DUP6
00001340: DUP9
00001341: GAS
00001342: CALL
00001343: ISZERO
00001344: DUP1
00001345: ISZERO
00001346: PUSH2 0x1351
00001349: JUMPI
0000134a: RETURNDATASIZE
0000134b: PUSH0
0000134c: DUP1
0000134d: RETURNDATACOPY
0000134e: RETURNDATASIZE
0000134f: PUSH0
00001350: REVERT
00001351: JUMPDEST
00001352: POP
00001353: POP
00001354: POP
00001355: POP
00001356: POP
00001357: PUSH1 0x40
00001359: MLOAD
0000135a: RETURNDATASIZE
0000135b: PUSH1 0x1f
0000135d: NOT
0000135e: PUSH1 0x1f
00001360: DUP3
00001361: ADD
00001362: AND
00001363: DUP3
00001364: ADD
00001365: DUP1
00001366: PUSH1 0x40
00001368: MSTORE
00001369: POP
0000136a: DUP2
0000136b: ADD
0000136c: SWAP1
0000136d: PUSH2 0x1376
00001370: SWAP2
00001371: SWAP1
00001372: PUSH2 0x2e6e
00001375: JUMP
00001376: JUMPDEST
00001377: POP
00001378: POP
00001379: POP
0000137a: PUSH1 0x13
0000137c: PUSH0
0000137d: SWAP1
0000137e: SLOAD
0000137f: SWAP1
00001380: PUSH2 0x0100
00001383: EXP
00001384: SWAP1
00001385: DIV
00001386: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000139b: AND
0000139c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013b1: AND
000013b2: PUSH4 0x095ea7b3
000013b7: PUSH1 0x12
000013b9: PUSH0
000013ba: SWAP1
000013bb: SLOAD
000013bc: SWAP1
000013bd: PUSH2 0x0100
000013c0: EXP
000013c1: SWAP1
000013c2: DIV
000013c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d8: AND
000013d9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000013fa: PUSH1 0x40
000013fc: MLOAD
000013fd: DUP4
000013fe: PUSH4 0xffffffff
00001403: AND
00001404: PUSH1 0xe0
00001406: SHL
00001407: DUP2
00001408: MSTORE
00001409: PUSH1 0x04
0000140b: ADD
0000140c: PUSH2 0x1416
0000140f: SWAP3
00001410: SWAP2
00001411: SWAP1
00001412: PUSH2 0x2ebe
00001415: JUMP
00001416: JUMPDEST
00001417: PUSH1 0x20
00001419: PUSH1 0x40
0000141b: MLOAD
0000141c: DUP1
0000141d: DUP4
0000141e: SUB
0000141f: DUP2
00001420: PUSH0
00001421: DUP8
00001422: GAS
00001423: CALL
00001424: ISZERO
00001425: DUP1
00001426: ISZERO
00001427: PUSH2 0x1432
0000142a: JUMPI
0000142b: RETURNDATASIZE
0000142c: PUSH0
0000142d: DUP1
0000142e: RETURNDATACOPY
0000142f: RETURNDATASIZE
00001430: PUSH0
00001431: REVERT
00001432: JUMPDEST
00001433: POP
00001434: POP
00001435: POP
00001436: POP
00001437: PUSH1 0x40
00001439: MLOAD
0000143a: RETURNDATASIZE
0000143b: PUSH1 0x1f
0000143d: NOT
0000143e: PUSH1 0x1f
00001440: DUP3
00001441: ADD
00001442: AND
00001443: DUP3
00001444: ADD
00001445: DUP1
00001446: PUSH1 0x40
00001448: MSTORE
00001449: POP
0000144a: DUP2
0000144b: ADD
0000144c: SWAP1
0000144d: PUSH2 0x1456
00001450: SWAP2
00001451: SWAP1
00001452: PUSH2 0x2cdd
00001455: JUMP
00001456: JUMPDEST
00001457: POP
00001458: PUSH1 0x01
0000145a: PUSH1 0x13
0000145c: PUSH1 0x16
0000145e: PUSH2 0x0100
00001461: EXP
00001462: DUP2
00001463: SLOAD
00001464: DUP2
00001465: PUSH1 0xff
00001467: MUL
00001468: NOT
00001469: AND
0000146a: SWAP1
0000146b: DUP4
0000146c: ISZERO
0000146d: ISZERO
0000146e: MUL
0000146f: OR
00001470: SWAP1
00001471: SSTORE
00001472: POP
00001473: PUSH1 0x01
00001475: PUSH1 0x13
00001477: PUSH1 0x14
00001479: PUSH2 0x0100
0000147c: EXP
0000147d: DUP2
0000147e: SLOAD
0000147f: DUP2
00001480: PUSH1 0xff
00001482: MUL
00001483: NOT
00001484: AND
00001485: SWAP1
00001486: DUP4
00001487: ISZERO
00001488: ISZERO
00001489: MUL
0000148a: OR
0000148b: SWAP1
0000148c: SSTORE
0000148d: POP
0000148e: JUMP
0000148f: JUMPDEST
00001490: PUSH0
00001491: PUSH1 0x02
00001493: PUSH0
00001494: DUP5
00001495: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014aa: AND
000014ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014c0: AND
000014c1: DUP2
000014c2: MSTORE
000014c3: PUSH1 0x20
000014c5: ADD
000014c6: SWAP1
000014c7: DUP2
000014c8: MSTORE
000014c9: PUSH1 0x20
000014cb: ADD
000014cc: PUSH0
000014cd: KECCAK256
000014ce: PUSH0
000014cf: DUP4
000014d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e5: AND
000014e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014fb: AND
000014fc: DUP2
000014fd: MSTORE
000014fe: PUSH1 0x20
00001500: ADD
00001501: SWAP1
00001502: DUP2
00001503: MSTORE
00001504: PUSH1 0x20
00001506: ADD
00001507: PUSH0
00001508: KECCAK256
00001509: SLOAD
0000150a: SWAP1
0000150b: POP
0000150c: SWAP3
0000150d: SWAP2
0000150e: POP
0000150f: POP
00001510: JUMP
00001511: JUMPDEST
00001512: PUSH0
00001513: CALLER
00001514: SWAP1
00001515: POP
00001516: SWAP1
00001517: JUMP
00001518: JUMPDEST
00001519: PUSH0
0000151a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000152f: AND
00001530: DUP4
00001531: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001546: AND
00001547: SUB
00001548: PUSH2 0x1586
0000154b: JUMPI
0000154c: PUSH1 0x40
0000154e: MLOAD
0000154f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001570: DUP2
00001571: MSTORE
00001572: PUSH1 0x04
00001574: ADD
00001575: PUSH2 0x157d
00001578: SWAP1
00001579: PUSH2 0x2f55
0000157c: JUMP
0000157d: JUMPDEST
0000157e: PUSH1 0x40
00001580: MLOAD
00001581: DUP1
00001582: SWAP2
00001583: SUB
00001584: SWAP1
00001585: REVERT
00001586: JUMPDEST
00001587: PUSH0
00001588: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000159d: AND
0000159e: DUP3
0000159f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b4: AND
000015b5: SUB
000015b6: PUSH2 0x15f4
000015b9: JUMPI
000015ba: PUSH1 0x40
000015bc: MLOAD
000015bd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015de: DUP2
000015df: MSTORE
000015e0: PUSH1 0x04
000015e2: ADD
000015e3: PUSH2 0x15eb
000015e6: SWAP1
000015e7: PUSH2 0x2fe3
000015ea: JUMP
000015eb: JUMPDEST
000015ec: PUSH1 0x40
000015ee: MLOAD
000015ef: DUP1
000015f0: SWAP2
000015f1: SUB
000015f2: SWAP1
000015f3: REVERT
000015f4: JUMPDEST
000015f5: DUP1
000015f6: PUSH1 0x02
000015f8: PUSH0
000015f9: DUP6
000015fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000160f: AND
00001610: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001625: AND
00001626: DUP2
00001627: MSTORE
00001628: PUSH1 0x20
0000162a: ADD
0000162b: SWAP1
0000162c: DUP2
0000162d: MSTORE
0000162e: PUSH1 0x20
00001630: ADD
00001631: PUSH0
00001632: KECCAK256
00001633: PUSH0
00001634: DUP5
00001635: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000164a: AND
0000164b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001660: AND
00001661: DUP2
00001662: MSTORE
00001663: PUSH1 0x20
00001665: ADD
00001666: SWAP1
00001667: DUP2
00001668: MSTORE
00001669: PUSH1 0x20
0000166b: ADD
0000166c: PUSH0
0000166d: KECCAK256
0000166e: DUP2
0000166f: SWAP1
00001670: SSTORE
00001671: POP
00001672: DUP2
00001673: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001688: AND
00001689: DUP4
0000168a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000169f: AND
000016a0: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000016c1: DUP4
000016c2: PUSH1 0x40
000016c4: MLOAD
000016c5: PUSH2 0x16ce
000016c8: SWAP2
000016c9: SWAP1
000016ca: PUSH2 0x26c1
000016cd: JUMP
000016ce: JUMPDEST
000016cf: PUSH1 0x40
000016d1: MLOAD
000016d2: DUP1
000016d3: SWAP2
000016d4: SUB
000016d5: SWAP1
000016d6: LOG3
000016d7: POP
000016d8: POP
000016d9: POP
000016da: JUMP
000016db: JUMPDEST
000016dc: PUSH0
000016dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f2: AND
000016f3: DUP4
000016f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001709: AND
0000170a: SUB
0000170b: PUSH2 0x1749
0000170e: JUMPI
0000170f: PUSH1 0x40
00001711: MLOAD
00001712: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001733: DUP2
00001734: MSTORE
00001735: PUSH1 0x04
00001737: ADD
00001738: PUSH2 0x1740
0000173b: SWAP1
0000173c: PUSH2 0x3071
0000173f: JUMP
00001740: JUMPDEST
00001741: PUSH1 0x40
00001743: MLOAD
00001744: DUP1
00001745: SWAP2
00001746: SUB
00001747: SWAP1
00001748: REVERT
00001749: JUMPDEST
0000174a: PUSH0
0000174b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001760: AND
00001761: DUP3
00001762: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001777: AND
00001778: SUB
00001779: PUSH2 0x17b7
0000177c: JUMPI
0000177d: PUSH1 0x40
0000177f: MLOAD
00001780: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017a1: DUP2
000017a2: MSTORE
000017a3: PUSH1 0x04
000017a5: ADD
000017a6: PUSH2 0x17ae
000017a9: SWAP1
000017aa: PUSH2 0x30ff
000017ad: JUMP
000017ae: JUMPDEST
000017af: PUSH1 0x40
000017b1: MLOAD
000017b2: DUP1
000017b3: SWAP2
000017b4: SUB
000017b5: SWAP1
000017b6: REVERT
000017b7: JUMPDEST
000017b8: PUSH0
000017b9: DUP2
000017ba: GT
000017bb: PUSH2 0x17f9
000017be: JUMPI
000017bf: PUSH1 0x40
000017c1: MLOAD
000017c2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017e3: DUP2
000017e4: MSTORE
000017e5: PUSH1 0x04
000017e7: ADD
000017e8: PUSH2 0x17f0
000017eb: SWAP1
000017ec: PUSH2 0x318d
000017ef: JUMP
000017f0: JUMPDEST
000017f1: PUSH1 0x40
000017f3: MLOAD
000017f4: DUP1
000017f5: SWAP2
000017f6: SUB
000017f7: SWAP1
000017f8: REVERT
000017f9: JUMPDEST
000017fa: PUSH0
000017fb: PUSH2 0x1802
000017fe: PUSH2 0x0d5a
00001801: JUMP
00001802: JUMPDEST
00001803: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001818: AND
00001819: DUP5
0000181a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000182f: AND
00001830: EQ
00001831: ISZERO
00001832: DUP1
00001833: ISZERO
00001834: PUSH2 0x1870
00001837: JUMPI
00001838: POP
00001839: PUSH2 0x1840
0000183c: PUSH2 0x0d5a
0000183f: JUMP
00001840: JUMPDEST
00001841: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001856: AND
00001857: DUP4
00001858: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000186d: AND
0000186e: EQ
0000186f: ISZERO
00001870: JUMPDEST
00001871: ISZERO
00001872: PUSH2 0x1d35
00001875: JUMPI
00001876: PUSH1 0x04
00001878: PUSH0
00001879: DUP6
0000187a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000188f: AND
00001890: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a5: AND
000018a6: DUP2
000018a7: MSTORE
000018a8: PUSH1 0x20
000018aa: ADD
000018ab: SWAP1
000018ac: DUP2
000018ad: MSTORE
000018ae: PUSH1 0x20
000018b0: ADD
000018b1: PUSH0
000018b2: KECCAK256
000018b3: PUSH0
000018b4: SWAP1
000018b5: SLOAD
000018b6: SWAP1
000018b7: PUSH2 0x0100
000018ba: EXP
000018bb: SWAP1
000018bc: DIV
000018bd: PUSH1 0xff
000018bf: AND
000018c0: ISZERO
000018c1: DUP1
000018c2: ISZERO
000018c3: PUSH2 0x1913
000018c6: JUMPI
000018c7: POP
000018c8: PUSH1 0x04
000018ca: PUSH0
000018cb: DUP5
000018cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018e1: AND
000018e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f7: AND
000018f8: DUP2
000018f9: MSTORE
000018fa: PUSH1 0x20
000018fc: ADD
000018fd: SWAP1
000018fe: DUP2
000018ff: MSTORE
00001900: PUSH1 0x20
00001902: ADD
00001903: PUSH0
00001904: KECCAK256
00001905: PUSH0
00001906: SWAP1
00001907: SLOAD
00001908: SWAP1
00001909: PUSH2 0x0100
0000190c: EXP
0000190d: SWAP1
0000190e: DIV
0000190f: PUSH1 0xff
00001911: AND
00001912: ISZERO
00001913: JUMPDEST
00001914: PUSH2 0x191b
00001917: JUMPI
00001918: PUSH0
00001919: DUP1
0000191a: REVERT
0000191b: JUMPDEST
0000191c: PUSH2 0x1957
0000191f: PUSH1 0x64
00001921: PUSH2 0x1949
00001924: PUSH1 0x0a
00001926: SLOAD
00001927: PUSH1 0x0d
00001929: SLOAD
0000192a: GT
0000192b: PUSH2 0x1936
0000192e: JUMPI
0000192f: PUSH1 0x06
00001931: SLOAD
00001932: PUSH2 0x193a
00001935: JUMP
00001936: JUMPDEST
00001937: PUSH1 0x08
00001939: SLOAD
0000193a: JUMPDEST
0000193b: DUP6
0000193c: PUSH2 0x231a
0000193f: SWAP1
00001940: SWAP2
00001941: SWAP1
00001942: PUSH4 0xffffffff
00001947: AND
00001948: JUMP
00001949: JUMPDEST
0000194a: PUSH2 0x2391
0000194d: SWAP1
0000194e: SWAP2
0000194f: SWAP1
00001950: PUSH4 0xffffffff
00001955: AND
00001956: JUMP
00001957: JUMPDEST
00001958: SWAP1
00001959: POP
0000195a: PUSH1 0x13
0000195c: PUSH0
0000195d: SWAP1
0000195e: SLOAD
0000195f: SWAP1
00001960: PUSH2 0x0100
00001963: EXP
00001964: SWAP1
00001965: DIV
00001966: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000197b: AND
0000197c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001991: AND
00001992: DUP5
00001993: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019a8: AND
000019a9: EQ
000019aa: DUP1
000019ab: ISZERO
000019ac: PUSH2 0x1a02
000019af: JUMPI
000019b0: POP
000019b1: PUSH1 0x12
000019b3: PUSH0
000019b4: SWAP1
000019b5: SLOAD
000019b6: SWAP1
000019b7: PUSH2 0x0100
000019ba: EXP
000019bb: SWAP1
000019bc: DIV
000019bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d2: AND
000019d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019e8: AND
000019e9: DUP4
000019ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ff: AND
00001a00: EQ
00001a01: ISZERO
00001a02: JUMPDEST
00001a03: DUP1
00001a04: ISZERO
00001a05: PUSH2 0x1a55
00001a08: JUMPI
00001a09: POP
00001a0a: PUSH1 0x03
00001a0c: PUSH0
00001a0d: DUP5
00001a0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a23: AND
00001a24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a39: AND
00001a3a: DUP2
00001a3b: MSTORE
00001a3c: PUSH1 0x20
00001a3e: ADD
00001a3f: SWAP1
00001a40: DUP2
00001a41: MSTORE
00001a42: PUSH1 0x20
00001a44: ADD
00001a45: PUSH0
00001a46: KECCAK256
00001a47: PUSH0
00001a48: SWAP1
00001a49: SLOAD
00001a4a: SWAP1
00001a4b: PUSH2 0x0100
00001a4e: EXP
00001a4f: SWAP1
00001a50: DIV
00001a51: PUSH1 0xff
00001a53: AND
00001a54: ISZERO
00001a55: JUMPDEST
00001a56: ISZERO
00001a57: PUSH2 0x1b0f
00001a5a: JUMPI
00001a5b: PUSH1 0x0e
00001a5d: SLOAD
00001a5e: DUP3
00001a5f: GT
00001a60: ISZERO
00001a61: PUSH2 0x1a9f
00001a64: JUMPI
00001a65: PUSH1 0x40
00001a67: MLOAD
00001a68: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a89: DUP2
00001a8a: MSTORE
00001a8b: PUSH1 0x04
00001a8d: ADD
00001a8e: PUSH2 0x1a96
00001a91: SWAP1
00001a92: PUSH2 0x31f5
00001a95: JUMP
00001a96: JUMPDEST
00001a97: PUSH1 0x40
00001a99: MLOAD
00001a9a: DUP1
00001a9b: SWAP2
00001a9c: SUB
00001a9d: SWAP1
00001a9e: REVERT
00001a9f: JUMPDEST
00001aa0: PUSH1 0x0f
00001aa2: SLOAD
00001aa3: DUP3
00001aa4: PUSH2 0x1aac
00001aa7: DUP6
00001aa8: PUSH2 0x07ce
00001aab: JUMP
00001aac: JUMPDEST
00001aad: PUSH2 0x1ab6
00001ab0: SWAP2
00001ab1: SWAP1
00001ab2: PUSH2 0x3213
00001ab5: JUMP
00001ab6: JUMPDEST
00001ab7: GT
00001ab8: ISZERO
00001ab9: PUSH2 0x1af7
00001abc: JUMPI
00001abd: PUSH1 0x40
00001abf: MLOAD
00001ac0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ae1: DUP2
00001ae2: MSTORE
00001ae3: PUSH1 0x04
00001ae5: ADD
00001ae6: PUSH2 0x1aee
00001ae9: SWAP1
00001aea: PUSH2 0x3290
00001aed: JUMP
00001aee: JUMPDEST
00001aef: PUSH1 0x40
00001af1: MLOAD
00001af2: DUP1
00001af3: SWAP2
00001af4: SUB
00001af5: SWAP1
00001af6: REVERT
00001af7: JUMPDEST
00001af8: PUSH1 0x0d
00001afa: PUSH0
00001afb: DUP2
00001afc: SLOAD
00001afd: DUP1
00001afe: SWAP3
00001aff: SWAP2
00001b00: SWAP1
00001b01: PUSH2 0x1b09
00001b04: SWAP1
00001b05: PUSH2 0x32ae
00001b08: JUMP
00001b09: JUMPDEST
00001b0a: SWAP2
00001b0b: SWAP1
00001b0c: POP
00001b0d: SSTORE
00001b0e: POP
00001b0f: JUMPDEST
00001b10: PUSH1 0x13
00001b12: PUSH0
00001b13: SWAP1
00001b14: SLOAD
00001b15: SWAP1
00001b16: PUSH2 0x0100
00001b19: EXP
00001b1a: SWAP1
00001b1b: DIV
00001b1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b31: AND
00001b32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b47: AND
00001b48: DUP4
00001b49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b5e: AND
00001b5f: EQ
00001b60: DUP1
00001b61: ISZERO
00001b62: PUSH2 0x1b97
00001b65: JUMPI
00001b66: POP
00001b67: ADDRESS
00001b68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b7d: AND
00001b7e: DUP5
00001b7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b94: AND
00001b95: EQ
00001b96: ISZERO
00001b97: JUMPDEST
00001b98: ISZERO
00001b99: PUSH2 0x1bdb
00001b9c: JUMPI
00001b9d: PUSH2 0x1bd8
00001ba0: PUSH1 0x64
00001ba2: PUSH2 0x1bca
00001ba5: PUSH1 0x0b
00001ba7: SLOAD
00001ba8: PUSH1 0x0d
00001baa: SLOAD
00001bab: GT
00001bac: PUSH2 0x1bb7
00001baf: JUMPI
00001bb0: PUSH1 0x07
00001bb2: SLOAD
00001bb3: PUSH2 0x1bbb
00001bb6: JUMP
00001bb7: JUMPDEST
00001bb8: PUSH1 0x09
00001bba: SLOAD
00001bbb: JUMPDEST
00001bbc: DUP6
00001bbd: PUSH2 0x231a
00001bc0: SWAP1
00001bc1: SWAP2
00001bc2: SWAP1
00001bc3: PUSH4 0xffffffff
00001bc8: AND
00001bc9: JUMP
00001bca: JUMPDEST
00001bcb: PUSH2 0x2391
00001bce: SWAP1
00001bcf: SWAP2
00001bd0: SWAP1
00001bd1: PUSH4 0xffffffff
00001bd6: AND
00001bd7: JUMP
00001bd8: JUMPDEST
00001bd9: SWAP1
00001bda: POP
00001bdb: JUMPDEST
00001bdc: PUSH0
00001bdd: PUSH2 0x1be5
00001be0: ADDRESS
00001be1: PUSH2 0x07ce
00001be4: JUMP
00001be5: JUMPDEST
00001be6: SWAP1
00001be7: POP
00001be8: PUSH1 0x13
00001bea: PUSH1 0x15
00001bec: SWAP1
00001bed: SLOAD
00001bee: SWAP1
00001bef: PUSH2 0x0100
00001bf2: EXP
00001bf3: SWAP1
00001bf4: DIV
00001bf5: PUSH1 0xff
00001bf7: AND
00001bf8: ISZERO
00001bf9: DUP1
00001bfa: ISZERO
00001bfb: PUSH2 0x1c50
00001bfe: JUMPI
00001bff: POP
00001c00: PUSH1 0x13
00001c02: PUSH0
00001c03: SWAP1
00001c04: SLOAD
00001c05: SWAP1
00001c06: PUSH2 0x0100
00001c09: EXP
00001c0a: SWAP1
00001c0b: DIV
00001c0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c21: AND
00001c22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c37: AND
00001c38: DUP5
00001c39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c4e: AND
00001c4f: EQ
00001c50: JUMPDEST
00001c51: DUP1
00001c52: ISZERO
00001c53: PUSH2 0x1c68
00001c56: JUMPI
00001c57: POP
00001c58: PUSH1 0x13
00001c5a: PUSH1 0x16
00001c5c: SWAP1
00001c5d: SLOAD
00001c5e: SWAP1
00001c5f: PUSH2 0x0100
00001c62: EXP
00001c63: SWAP1
00001c64: DIV
00001c65: PUSH1 0xff
00001c67: AND
00001c68: JUMPDEST
00001c69: DUP1
00001c6a: ISZERO
00001c6b: PUSH2 0x1c75
00001c6e: JUMPI
00001c6f: POP
00001c70: PUSH1 0x10
00001c72: SLOAD
00001c73: DUP2
00001c74: GT
00001c75: JUMPDEST
00001c76: DUP1
00001c77: ISZERO
00001c78: PUSH2 0x1c84
00001c7b: JUMPI
00001c7c: POP
00001c7d: PUSH1 0x0c
00001c7f: SLOAD
00001c80: PUSH1 0x0d
00001c82: SLOAD
00001c83: GT
00001c84: JUMPDEST
00001c85: ISZERO
00001c86: PUSH2 0x1d33
00001c89: JUMPI
00001c8a: PUSH1 0x15
00001c8c: SLOAD
00001c8d: NUMBER
00001c8e: GT
00001c8f: ISZERO
00001c90: PUSH2 0x1c9b
00001c93: JUMPI
00001c94: PUSH0
00001c95: PUSH1 0x14
00001c97: DUP2
00001c98: SWAP1
00001c99: SSTORE
00001c9a: POP
00001c9b: JUMPDEST
00001c9c: PUSH1 0x03
00001c9e: PUSH1 0x14
00001ca0: SLOAD
00001ca1: LT
00001ca2: PUSH2 0x1ce0
00001ca5: JUMPI
00001ca6: PUSH1 0x40
00001ca8: MLOAD
00001ca9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001cca: DUP2
00001ccb: MSTORE
00001ccc: PUSH1 0x04
00001cce: ADD
00001ccf: PUSH2 0x1cd7
00001cd2: SWAP1
00001cd3: PUSH2 0x333f
00001cd6: JUMP
00001cd7: JUMPDEST
00001cd8: PUSH1 0x40
00001cda: MLOAD
00001cdb: DUP1
00001cdc: SWAP2
00001cdd: SUB
00001cde: SWAP1
00001cdf: REVERT
00001ce0: JUMPDEST
00001ce1: PUSH2 0x1cfd
00001ce4: PUSH2 0x1cf8
00001ce7: DUP5
00001ce8: PUSH2 0x1cf3
00001ceb: DUP5
00001cec: PUSH1 0x11
00001cee: SLOAD
00001cef: PUSH2 0x23da
00001cf2: JUMP
00001cf3: JUMPDEST
00001cf4: PUSH2 0x23da
00001cf7: JUMP
00001cf8: JUMPDEST
00001cf9: PUSH2 0x2047
00001cfc: JUMP
00001cfd: JUMPDEST
00001cfe: PUSH0
00001cff: SELFBALANCE
00001d00: SWAP1
00001d01: POP
00001d02: PUSH0
00001d03: DUP2
00001d04: GT
00001d05: ISZERO
00001d06: PUSH2 0x1d13
00001d09: JUMPI
00001d0a: PUSH2 0x1d12
00001d0d: SELFBALANCE
00001d0e: PUSH2 0x22b2
00001d11: JUMP
00001d12: JUMPDEST
00001d13: JUMPDEST
00001d14: PUSH1 0x14
00001d16: PUSH0
00001d17: DUP2
00001d18: SLOAD
00001d19: DUP1
00001d1a: SWAP3
00001d1b: SWAP2
00001d1c: SWAP1
00001d1d: PUSH2 0x1d25
00001d20: SWAP1
00001d21: PUSH2 0x32ae
00001d24: JUMP
00001d25: JUMPDEST
00001d26: SWAP2
00001d27: SWAP1
00001d28: POP
00001d29: SSTORE
00001d2a: POP
00001d2b: NUMBER
00001d2c: PUSH1 0x15
00001d2e: DUP2
00001d2f: SWAP1
00001d30: SSTORE
00001d31: POP
00001d32: POP
00001d33: JUMPDEST
00001d34: POP
00001d35: JUMPDEST
00001d36: PUSH0
00001d37: DUP2
00001d38: GT
00001d39: ISZERO
00001d3a: PUSH2 0x1e34
00001d3d: JUMPI
00001d3e: PUSH2 0x1d8d
00001d41: DUP2
00001d42: PUSH1 0x01
00001d44: PUSH0
00001d45: ADDRESS
00001d46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d5b: AND
00001d5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d71: AND
00001d72: DUP2
00001d73: MSTORE
00001d74: PUSH1 0x20
00001d76: ADD
00001d77: SWAP1
00001d78: DUP2
00001d79: MSTORE
00001d7a: PUSH1 0x20
00001d7c: ADD
00001d7d: PUSH0
00001d7e: KECCAK256
00001d7f: SLOAD
00001d80: PUSH2 0x23f2
00001d83: SWAP1
00001d84: SWAP2
00001d85: SWAP1
00001d86: PUSH4 0xffffffff
00001d8b: AND
00001d8c: JUMP
00001d8d: JUMPDEST
00001d8e: PUSH1 0x01
00001d90: PUSH0
00001d91: ADDRESS
00001d92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001da7: AND
00001da8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dbd: AND
00001dbe: DUP2
00001dbf: MSTORE
00001dc0: PUSH1 0x20
00001dc2: ADD
00001dc3: SWAP1
00001dc4: DUP2
00001dc5: MSTORE
00001dc6: PUSH1 0x20
00001dc8: ADD
00001dc9: PUSH0
00001dca: KECCAK256
00001dcb: DUP2
00001dcc: SWAP1
00001dcd: SSTORE
00001dce: POP
00001dcf: ADDRESS
00001dd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de5: AND
00001de6: DUP5
00001de7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dfc: AND
00001dfd: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001e1e: DUP4
00001e1f: PUSH1 0x40
00001e21: MLOAD
00001e22: PUSH2 0x1e2b
00001e25: SWAP2
00001e26: SWAP1
00001e27: PUSH2 0x26c1
00001e2a: JUMP
00001e2b: JUMPDEST
00001e2c: PUSH1 0x40
00001e2e: MLOAD
00001e2f: DUP1
00001e30: SWAP2
00001e31: SUB
00001e32: SWAP1
00001e33: LOG3
00001e34: JUMPDEST
00001e35: PUSH2 0x1e84
00001e38: DUP3
00001e39: PUSH1 0x01
00001e3b: PUSH0
00001e3c: DUP8
00001e3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e52: AND
00001e53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e68: AND
00001e69: DUP2
00001e6a: MSTORE
00001e6b: PUSH1 0x20
00001e6d: ADD
00001e6e: SWAP1
00001e6f: DUP2
00001e70: MSTORE
00001e71: PUSH1 0x20
00001e73: ADD
00001e74: PUSH0
00001e75: KECCAK256
00001e76: SLOAD
00001e77: PUSH2 0x244f
00001e7a: SWAP1
00001e7b: SWAP2
00001e7c: SWAP1
00001e7d: PUSH4 0xffffffff
00001e82: AND
00001e83: JUMP
00001e84: JUMPDEST
00001e85: PUSH1 0x01
00001e87: PUSH0
00001e88: DUP7
00001e89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e9e: AND
00001e9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb4: AND
00001eb5: DUP2
00001eb6: MSTORE
00001eb7: PUSH1 0x20
00001eb9: ADD
00001eba: SWAP1
00001ebb: DUP2
00001ebc: MSTORE
00001ebd: PUSH1 0x20
00001ebf: ADD
00001ec0: PUSH0
00001ec1: KECCAK256
00001ec2: DUP2
00001ec3: SWAP1
00001ec4: SSTORE
00001ec5: POP
00001ec6: PUSH2 0x1f27
00001ec9: PUSH2 0x1edb
00001ecc: DUP3
00001ecd: DUP5
00001ece: PUSH2 0x244f
00001ed1: SWAP1
00001ed2: SWAP2
00001ed3: SWAP1
00001ed4: PUSH4 0xffffffff
00001ed9: AND
00001eda: JUMP
00001edb: JUMPDEST
00001edc: PUSH1 0x01
00001ede: PUSH0
00001edf: DUP7
00001ee0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ef5: AND
00001ef6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f0b: AND
00001f0c: DUP2
00001f0d: MSTORE
00001f0e: PUSH1 0x20
00001f10: ADD
00001f11: SWAP1
00001f12: DUP2
00001f13: MSTORE
00001f14: PUSH1 0x20
00001f16: ADD
00001f17: PUSH0
00001f18: KECCAK256
00001f19: SLOAD
00001f1a: PUSH2 0x23f2
00001f1d: SWAP1
00001f1e: SWAP2
00001f1f: SWAP1
00001f20: PUSH4 0xffffffff
00001f25: AND
00001f26: JUMP
00001f27: JUMPDEST
00001f28: PUSH1 0x01
00001f2a: PUSH0
00001f2b: DUP6
00001f2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f41: AND
00001f42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f57: AND
00001f58: DUP2
00001f59: MSTORE
00001f5a: PUSH1 0x20
00001f5c: ADD
00001f5d: SWAP1
00001f5e: DUP2
00001f5f: MSTORE
00001f60: PUSH1 0x20
00001f62: ADD
00001f63: PUSH0
00001f64: KECCAK256
00001f65: DUP2
00001f66: SWAP1
00001f67: SSTORE
00001f68: POP
00001f69: DUP3
00001f6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f7f: AND
00001f80: DUP5
00001f81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f96: AND
00001f97: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001fb8: PUSH2 0x1fca
00001fbb: DUP5
00001fbc: DUP7
00001fbd: PUSH2 0x244f
00001fc0: SWAP1
00001fc1: SWAP2
00001fc2: SWAP1
00001fc3: PUSH4 0xffffffff
00001fc8: AND
00001fc9: JUMP
00001fca: JUMPDEST
00001fcb: PUSH1 0x40
00001fcd: MLOAD
00001fce: PUSH2 0x1fd7
00001fd1: SWAP2
00001fd2: SWAP1
00001fd3: PUSH2 0x26c1
00001fd6: JUMP
00001fd7: JUMPDEST
00001fd8: PUSH1 0x40
00001fda: MLOAD
00001fdb: DUP1
00001fdc: SWAP2
00001fdd: SUB
00001fde: SWAP1
00001fdf: LOG3
00001fe0: POP
00001fe1: POP
00001fe2: POP
00001fe3: POP
00001fe4: JUMP
00001fe5: JUMPDEST
00001fe6: PUSH0
00001fe7: DUP4
00001fe8: DUP4
00001fe9: GT
00001fea: ISZERO
00001feb: DUP3
00001fec: SWAP1
00001fed: PUSH2 0x202c
00001ff0: JUMPI
00001ff1: PUSH1 0x40
00001ff3: MLOAD
00001ff4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002015: DUP2
00002016: MSTORE
00002017: PUSH1 0x04
00002019: ADD
0000201a: PUSH2 0x2023
0000201d: SWAP2
0000201e: SWAP1
0000201f: PUSH2 0x2583
00002022: JUMP
00002023: JUMPDEST
00002024: PUSH1 0x40
00002026: MLOAD
00002027: DUP1
00002028: SWAP2
00002029: SUB
0000202a: SWAP1
0000202b: REVERT
0000202c: JUMPDEST
0000202d: POP
0000202e: PUSH0
0000202f: DUP4
00002030: DUP6
00002031: PUSH2 0x203a
00002034: SWAP2
00002035: SWAP1
00002036: PUSH2 0x335d
00002039: JUMP
0000203a: JUMPDEST
0000203b: SWAP1
0000203c: POP
0000203d: DUP1
0000203e: SWAP2
0000203f: POP
00002040: POP
00002041: SWAP4
00002042: SWAP3
00002043: POP
00002044: POP
00002045: POP
00002046: JUMP
00002047: JUMPDEST
00002048: PUSH1 0x01
0000204a: PUSH1 0x13
0000204c: PUSH1 0x15
0000204e: PUSH2 0x0100
00002051: EXP
00002052: DUP2
00002053: SLOAD
00002054: DUP2
00002055: PUSH1 0xff
00002057: MUL
00002058: NOT
00002059: AND
0000205a: SWAP1
0000205b: DUP4
0000205c: ISZERO
0000205d: ISZERO
0000205e: MUL
0000205f: OR
00002060: SWAP1
00002061: SSTORE
00002062: POP
00002063: PUSH0
00002064: PUSH1 0x02
00002066: PUSH8 0xffffffffffffffff
0000206f: DUP2
00002070: GT
00002071: ISZERO
00002072: PUSH2 0x207e
00002075: JUMPI
00002076: PUSH2 0x207d
00002079: PUSH2 0x278d
0000207c: JUMP
0000207d: JUMPDEST
0000207e: JUMPDEST
0000207f: PUSH1 0x40
00002081: MLOAD
00002082: SWAP1
00002083: DUP1
00002084: DUP3
00002085: MSTORE
00002086: DUP1
00002087: PUSH1 0x20
00002089: MUL
0000208a: PUSH1 0x20
0000208c: ADD
0000208d: DUP3
0000208e: ADD
0000208f: PUSH1 0x40
00002091: MSTORE
00002092: DUP1
00002093: ISZERO
00002094: PUSH2 0x20ac
00002097: JUMPI
00002098: DUP2
00002099: PUSH1 0x20
0000209b: ADD
0000209c: PUSH1 0x20
0000209e: DUP3
0000209f: MUL
000020a0: DUP1
000020a1: CALLDATASIZE
000020a2: DUP4
000020a3: CALLDATACOPY
000020a4: DUP1
000020a5: DUP3
000020a6: ADD
000020a7: SWAP2
000020a8: POP
000020a9: POP
000020aa: SWAP1
000020ab: POP
000020ac: JUMPDEST
000020ad: POP
000020ae: SWAP1
000020af: POP
000020b0: ADDRESS
000020b1: DUP2
000020b2: PUSH0
000020b3: DUP2
000020b4: MLOAD
000020b5: DUP2
000020b6: LT
000020b7: PUSH2 0x20c3
000020ba: JUMPI
000020bb: PUSH2 0x20c2
000020be: PUSH2 0x2bc5
000020c1: JUMP
000020c2: JUMPDEST
000020c3: JUMPDEST
000020c4: PUSH1 0x20
000020c6: MUL
000020c7: PUSH1 0x20
000020c9: ADD
000020ca: ADD
000020cb: SWAP1
000020cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020e1: AND
000020e2: SWAP1
000020e3: DUP2
000020e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020f9: AND
000020fa: DUP2
000020fb: MSTORE
000020fc: POP
000020fd: POP
000020fe: PUSH1 0x12
00002100: PUSH0
00002101: SWAP1
00002102: SLOAD
00002103: SWAP1
00002104: PUSH2 0x0100
00002107: EXP
00002108: SWAP1
00002109: DIV
0000210a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000211f: AND
00002120: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002135: AND
00002136: PUSH4 0xad5c4648
0000213b: PUSH1 0x40
0000213d: MLOAD
0000213e: DUP2
0000213f: PUSH4 0xffffffff
00002144: AND
00002145: PUSH1 0xe0
00002147: SHL
00002148: DUP2
00002149: MSTORE
0000214a: PUSH1 0x04
0000214c: ADD
0000214d: PUSH1 0x20
0000214f: PUSH1 0x40
00002151: MLOAD
00002152: DUP1
00002153: DUP4
00002154: SUB
00002155: DUP2
00002156: DUP7
00002157: GAS
00002158: STATICCALL
00002159: ISZERO
0000215a: DUP1
0000215b: ISZERO
0000215c: PUSH2 0x2167
0000215f: JUMPI
00002160: RETURNDATASIZE
00002161: PUSH0
00002162: DUP1
00002163: RETURNDATACOPY
00002164: RETURNDATASIZE
00002165: PUSH0
00002166: REVERT
00002167: JUMPDEST
00002168: POP
00002169: POP
0000216a: POP
0000216b: POP
0000216c: PUSH1 0x40
0000216e: MLOAD
0000216f: RETURNDATASIZE
00002170: PUSH1 0x1f
00002172: NOT
00002173: PUSH1 0x1f
00002175: DUP3
00002176: ADD
00002177: AND
00002178: DUP3
00002179: ADD
0000217a: DUP1
0000217b: PUSH1 0x40
0000217d: MSTORE
0000217e: POP
0000217f: DUP2
00002180: ADD
00002181: SWAP1
00002182: PUSH2 0x218b
00002185: SWAP2
00002186: SWAP1
00002187: PUSH2 0x2d84
0000218a: JUMP
0000218b: JUMPDEST
0000218c: DUP2
0000218d: PUSH1 0x01
0000218f: DUP2
00002190: MLOAD
00002191: DUP2
00002192: LT
00002193: PUSH2 0x219f
00002196: JUMPI
00002197: PUSH2 0x219e
0000219a: PUSH2 0x2bc5
0000219d: JUMP
0000219e: JUMPDEST
0000219f: JUMPDEST
000021a0: PUSH1 0x20
000021a2: MUL
000021a3: PUSH1 0x20
000021a5: ADD
000021a6: ADD
000021a7: SWAP1
000021a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021bd: AND
000021be: SWAP1
000021bf: DUP2
000021c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021d5: AND
000021d6: DUP2
000021d7: MSTORE
000021d8: POP
000021d9: POP
000021da: PUSH2 0x2205
000021dd: ADDRESS
000021de: PUSH1 0x12
000021e0: PUSH0
000021e1: SWAP1
000021e2: SLOAD
000021e3: SWAP1
000021e4: PUSH2 0x0100
000021e7: EXP
000021e8: SWAP1
000021e9: DIV
000021ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ff: AND
00002200: DUP5
00002201: PUSH2 0x1518
00002204: JUMP
00002205: JUMPDEST
00002206: PUSH1 0x12
00002208: PUSH0
00002209: SWAP1
0000220a: SLOAD
0000220b: SWAP1
0000220c: PUSH2 0x0100
0000220f: EXP
00002210: SWAP1
00002211: DIV
00002212: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002227: AND
00002228: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000223d: AND
0000223e: PUSH4 0x791ac947
00002243: DUP4
00002244: PUSH0
00002245: DUP5
00002246: ADDRESS
00002247: TIMESTAMP
00002248: PUSH1 0x40
0000224a: MLOAD
0000224b: DUP7
0000224c: PUSH4 0xffffffff
00002251: AND
00002252: PUSH1 0xe0
00002254: SHL
00002255: DUP2
00002256: MSTORE
00002257: PUSH1 0x04
00002259: ADD
0000225a: PUSH2 0x2267
0000225d: SWAP6
0000225e: SWAP5
0000225f: SWAP4
00002260: SWAP3
00002261: SWAP2
00002262: SWAP1
00002263: PUSH2 0x3447
00002266: JUMP
00002267: JUMPDEST
00002268: PUSH0
00002269: PUSH1 0x40
0000226b: MLOAD
0000226c: DUP1
0000226d: DUP4
0000226e: SUB
0000226f: DUP2
00002270: PUSH0
00002271: DUP8
00002272: DUP1
00002273: EXTCODESIZE
00002274: ISZERO
00002275: DUP1
00002276: ISZERO
00002277: PUSH2 0x227e
0000227a: JUMPI
0000227b: PUSH0
0000227c: DUP1
0000227d: REVERT
0000227e: JUMPDEST
0000227f: POP
00002280: GAS
00002281: CALL
00002282: ISZERO
00002283: DUP1
00002284: ISZERO
00002285: PUSH2 0x2290
00002288: JUMPI
00002289: RETURNDATASIZE
0000228a: PUSH0
0000228b: DUP1
0000228c: RETURNDATACOPY
0000228d: RETURNDATASIZE
0000228e: PUSH0
0000228f: REVERT
00002290: JUMPDEST
00002291: POP
00002292: POP
00002293: POP
00002294: POP
00002295: POP
00002296: PUSH0
00002297: PUSH1 0x13
00002299: PUSH1 0x15
0000229b: PUSH2 0x0100
0000229e: EXP
0000229f: DUP2
000022a0: SLOAD
000022a1: DUP2
000022a2: PUSH1 0xff
000022a4: MUL
000022a5: NOT
000022a6: AND
000022a7: SWAP1
000022a8: DUP4
000022a9: ISZERO
000022aa: ISZERO
000022ab: MUL
000022ac: OR
000022ad: SWAP1
000022ae: SSTORE
000022af: POP
000022b0: POP
000022b1: JUMP
000022b2: JUMPDEST
000022b3: PUSH1 0x05
000022b5: PUSH0
000022b6: SWAP1
000022b7: SLOAD
000022b8: SWAP1
000022b9: PUSH2 0x0100
000022bc: EXP
000022bd: SWAP1
000022be: DIV
000022bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022d4: AND
000022d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022ea: AND
000022eb: PUSH2 0x08fc
000022ee: DUP3
000022ef: SWAP1
000022f0: DUP2
000022f1: ISZERO
000022f2: MUL
000022f3: SWAP1
000022f4: PUSH1 0x40
000022f6: MLOAD
000022f7: PUSH0
000022f8: PUSH1 0x40
000022fa: MLOAD
000022fb: DUP1
000022fc: DUP4
000022fd: SUB
000022fe: DUP2
000022ff: DUP6
00002300: DUP9
00002301: DUP9
00002302: CALL
00002303: SWAP4
00002304: POP
00002305: POP
00002306: POP
00002307: POP
00002308: ISZERO
00002309: DUP1
0000230a: ISZERO
0000230b: PUSH2 0x2316
0000230e: JUMPI
0000230f: RETURNDATASIZE
00002310: PUSH0
00002311: DUP1
00002312: RETURNDATACOPY
00002313: RETURNDATASIZE
00002314: PUSH0
00002315: REVERT
00002316: JUMPDEST
00002317: POP
00002318: POP
00002319: JUMP
0000231a: JUMPDEST
0000231b: PUSH0
0000231c: DUP1
0000231d: DUP4
0000231e: SUB
0000231f: PUSH2 0x232a
00002322: JUMPI
00002323: PUSH0
00002324: SWAP1
00002325: POP
00002326: PUSH2 0x238b
00002329: JUMP
0000232a: JUMPDEST
0000232b: PUSH0
0000232c: DUP3
0000232d: DUP5
0000232e: PUSH2 0x2337
00002331: SWAP2
00002332: SWAP1
00002333: PUSH2 0x2b1c
00002336: JUMP
00002337: JUMPDEST
00002338: SWAP1
00002339: POP
0000233a: DUP3
0000233b: DUP5
0000233c: DUP3
0000233d: PUSH2 0x2346
00002340: SWAP2
00002341: SWAP1
00002342: PUSH2 0x34cc
00002345: JUMP
00002346: JUMPDEST
00002347: EQ
00002348: PUSH2 0x2386
0000234b: JUMPI
0000234c: PUSH1 0x40
0000234e: MLOAD
0000234f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002370: DUP2
00002371: MSTORE
00002372: PUSH1 0x04
00002374: ADD
00002375: PUSH2 0x237d
00002378: SWAP1
00002379: PUSH2 0x356c
0000237c: JUMP
0000237d: JUMPDEST
0000237e: PUSH1 0x40
00002380: MLOAD
00002381: DUP1
00002382: SWAP2
00002383: SUB
00002384: SWAP1
00002385: REVERT
00002386: JUMPDEST
00002387: DUP1
00002388: SWAP2
00002389: POP
0000238a: POP
0000238b: JUMPDEST
0000238c: SWAP3
0000238d: SWAP2
0000238e: POP
0000238f: POP
00002390: JUMP
00002391: JUMPDEST
00002392: PUSH0
00002393: PUSH2 0x23d2
00002396: DUP4
00002397: DUP4
00002398: PUSH1 0x40
0000239a: MLOAD
0000239b: DUP1
0000239c: PUSH1 0x40
0000239e: ADD
0000239f: PUSH1 0x40
000023a1: MSTORE
000023a2: DUP1
000023a3: PUSH1 0x1a
000023a5: DUP2
000023a6: MSTORE
000023a7: PUSH1 0x20
000023a9: ADD
000023aa: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
000023cb: DUP2
000023cc: MSTORE
000023cd: POP
000023ce: PUSH2 0x2498
000023d1: JUMP
000023d2: JUMPDEST
000023d3: SWAP1
000023d4: POP
000023d5: SWAP3
000023d6: SWAP2
000023d7: POP
000023d8: POP
000023d9: JUMP
000023da: JUMPDEST
000023db: PUSH0
000023dc: DUP2
000023dd: DUP4
000023de: GT
000023df: PUSH2 0x23e8
000023e2: JUMPI
000023e3: DUP3
000023e4: PUSH2 0x23ea
000023e7: JUMP
000023e8: JUMPDEST
000023e9: DUP2
000023ea: JUMPDEST
000023eb: SWAP1
000023ec: POP
000023ed: SWAP3
000023ee: SWAP2
000023ef: POP
000023f0: POP
000023f1: JUMP
000023f2: JUMPDEST
000023f3: PUSH0
000023f4: DUP1
000023f5: DUP3
000023f6: DUP5
000023f7: PUSH2 0x2400
000023fa: SWAP2
000023fb: SWAP1
000023fc: PUSH2 0x3213
000023ff: JUMP
00002400: JUMPDEST
00002401: SWAP1
00002402: POP
00002403: DUP4
00002404: DUP2
00002405: LT
00002406: ISZERO
00002407: PUSH2 0x2445
0000240a: JUMPI
0000240b: PUSH1 0x40
0000240d: MLOAD
0000240e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000242f: DUP2
00002430: MSTORE
00002431: PUSH1 0x04
00002433: ADD
00002434: PUSH2 0x243c
00002437: SWAP1
00002438: PUSH2 0x35d4
0000243b: JUMP
0000243c: JUMPDEST
0000243d: PUSH1 0x40
0000243f: MLOAD
00002440: DUP1
00002441: SWAP2
00002442: SUB
00002443: SWAP1
00002444: REVERT
00002445: JUMPDEST
00002446: DUP1
00002447: SWAP2
00002448: POP
00002449: POP
0000244a: SWAP3
0000244b: SWAP2
0000244c: POP
0000244d: POP
0000244e: JUMP
0000244f: JUMPDEST
00002450: PUSH0
00002451: PUSH2 0x2490
00002454: DUP4
00002455: DUP4
00002456: PUSH1 0x40
00002458: MLOAD
00002459: DUP1
0000245a: PUSH1 0x40
0000245c: ADD
0000245d: PUSH1 0x40
0000245f: MSTORE
00002460: DUP1
00002461: PUSH1 0x1e
00002463: DUP2
00002464: MSTORE
00002465: PUSH1 0x20
00002467: ADD
00002468: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00002489: DUP2
0000248a: MSTORE
0000248b: POP
0000248c: PUSH2 0x1fe5
0000248f: JUMP
00002490: JUMPDEST
00002491: SWAP1
00002492: POP
00002493: SWAP3
00002494: SWAP2
00002495: POP
00002496: POP
00002497: JUMP
00002498: JUMPDEST
00002499: PUSH0
0000249a: DUP1
0000249b: DUP4
0000249c: GT
0000249d: DUP3
0000249e: SWAP1
0000249f: PUSH2 0x24de
000024a2: JUMPI
000024a3: PUSH1 0x40
000024a5: MLOAD
000024a6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000024c7: DUP2
000024c8: MSTORE
000024c9: PUSH1 0x04
000024cb: ADD
000024cc: PUSH2 0x24d5
000024cf: SWAP2
000024d0: SWAP1
000024d1: PUSH2 0x2583
000024d4: JUMP
000024d5: JUMPDEST
000024d6: PUSH1 0x40
000024d8: MLOAD
000024d9: DUP1
000024da: SWAP2
000024db: SUB
000024dc: SWAP1
000024dd: REVERT
000024de: JUMPDEST
000024df: POP
000024e0: PUSH0
000024e1: DUP4
000024e2: DUP6
000024e3: PUSH2 0x24ec
000024e6: SWAP2
000024e7: SWAP1
000024e8: PUSH2 0x34cc
000024eb: JUMP
000024ec: JUMPDEST
000024ed: SWAP1
000024ee: POP
000024ef: DUP1
000024f0: SWAP2
000024f1: POP
000024f2: POP
000024f3: SWAP4
000024f4: SWAP3
000024f5: POP
000024f6: POP
000024f7: POP
000024f8: JUMP
000024f9: JUMPDEST
000024fa: PUSH0
000024fb: DUP2
000024fc: MLOAD
000024fd: SWAP1
000024fe: POP
000024ff: SWAP2
00002500: SWAP1
00002501: POP
00002502: JUMP
00002503: JUMPDEST
00002504: PUSH0
00002505: DUP3
00002506: DUP3
00002507: MSTORE
00002508: PUSH1 0x20
0000250a: DUP3
0000250b: ADD
0000250c: SWAP1
0000250d: POP
0000250e: SWAP3
0000250f: SWAP2
00002510: POP
00002511: POP
00002512: JUMP
00002513: JUMPDEST
00002514: PUSH0
00002515: JUMPDEST
00002516: DUP4
00002517: DUP2
00002518: LT
00002519: ISZERO
0000251a: PUSH2 0x2530
0000251d: JUMPI
0000251e: DUP1
0000251f: DUP3
00002520: ADD
00002521: MLOAD
00002522: DUP2
00002523: DUP5
00002524: ADD
00002525: MSTORE
00002526: PUSH1 0x20
00002528: DUP2
00002529: ADD
0000252a: SWAP1
0000252b: POP
0000252c: PUSH2 0x2515
0000252f: JUMP
00002530: JUMPDEST
00002531: PUSH0
00002532: DUP5
00002533: DUP5
00002534: ADD
00002535: MSTORE
00002536: POP
00002537: POP
00002538: POP
00002539: POP
0000253a: JUMP
0000253b: JUMPDEST
0000253c: PUSH0
0000253d: PUSH1 0x1f
0000253f: NOT
00002540: PUSH1 0x1f
00002542: DUP4
00002543: ADD
00002544: AND
00002545: SWAP1
00002546: POP
00002547: SWAP2
00002548: SWAP1
00002549: POP
0000254a: JUMP
0000254b: JUMPDEST
0000254c: PUSH0
0000254d: PUSH2 0x2555
00002550: DUP3
00002551: PUSH2 0x24f9
00002554: JUMP
00002555: JUMPDEST
00002556: PUSH2 0x255f
00002559: DUP2
0000255a: DUP6
0000255b: PUSH2 0x2503
0000255e: JUMP
0000255f: JUMPDEST
00002560: SWAP4
00002561: POP
00002562: PUSH2 0x256f
00002565: DUP2
00002566: DUP6
00002567: PUSH1 0x20
00002569: DUP7
0000256a: ADD
0000256b: PUSH2 0x2513
0000256e: JUMP
0000256f: JUMPDEST
00002570: PUSH2 0x2578
00002573: DUP2
00002574: PUSH2 0x253b
00002577: JUMP
00002578: JUMPDEST
00002579: DUP5
0000257a: ADD
0000257b: SWAP2
0000257c: POP
0000257d: POP
0000257e: SWAP3
0000257f: SWAP2
00002580: POP
00002581: POP
00002582: JUMP
00002583: JUMPDEST
00002584: PUSH0
00002585: PUSH1 0x20
00002587: DUP3
00002588: ADD
00002589: SWAP1
0000258a: POP
0000258b: DUP2
0000258c: DUP2
0000258d: SUB
0000258e: PUSH0
0000258f: DUP4
00002590: ADD
00002591: MSTORE
00002592: PUSH2 0x259b
00002595: DUP2
00002596: DUP5
00002597: PUSH2 0x254b
0000259a: JUMP
0000259b: JUMPDEST
0000259c: SWAP1
0000259d: POP
0000259e: SWAP3
0000259f: SWAP2
000025a0: POP
000025a1: POP
000025a2: JUMP
000025a3: JUMPDEST
000025a4: PUSH0
000025a5: PUSH1 0x40
000025a7: MLOAD
000025a8: SWAP1
000025a9: POP
000025aa: SWAP1
000025ab: JUMP
000025ac: JUMPDEST
000025ad: PUSH0
000025ae: DUP1
000025af: REVERT
000025b0: JUMPDEST
000025b1: PUSH0
000025b2: DUP1
000025b3: REVERT
000025b4: JUMPDEST
000025b5: PUSH0
000025b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025cb: DUP3
000025cc: AND
000025cd: SWAP1
000025ce: POP
000025cf: SWAP2
000025d0: SWAP1
000025d1: POP
000025d2: JUMP
000025d3: JUMPDEST
000025d4: PUSH0
000025d5: PUSH2 0x25dd
000025d8: DUP3
000025d9: PUSH2 0x25b4
000025dc: JUMP
000025dd: JUMPDEST
000025de: SWAP1
000025df: POP
000025e0: SWAP2
000025e1: SWAP1
000025e2: POP
000025e3: JUMP
000025e4: JUMPDEST
000025e5: PUSH2 0x25ed
000025e8: DUP2
000025e9: PUSH2 0x25d3
000025ec: JUMP
000025ed: JUMPDEST
000025ee: DUP2
000025ef: EQ
000025f0: PUSH2 0x25f7
000025f3: JUMPI
000025f4: PUSH0
000025f5: DUP1
000025f6: REVERT
000025f7: JUMPDEST
000025f8: POP
000025f9: JUMP
000025fa: JUMPDEST
000025fb: PUSH0
000025fc: DUP2
000025fd: CALLDATALOAD
000025fe: SWAP1
000025ff: POP
00002600: PUSH2 0x2608
00002603: DUP2
00002604: PUSH2 0x25e4
00002607: JUMP
00002608: JUMPDEST
00002609: SWAP3
0000260a: SWAP2
0000260b: POP
0000260c: POP
0000260d: JUMP
0000260e: JUMPDEST
0000260f: PUSH0
00002610: DUP2
00002611: SWAP1
00002612: POP
00002613: SWAP2
00002614: SWAP1
00002615: POP
00002616: JUMP
00002617: JUMPDEST
00002618: PUSH2 0x2620
0000261b: DUP2
0000261c: PUSH2 0x260e
0000261f: JUMP
00002620: JUMPDEST
00002621: DUP2
00002622: EQ
00002623: PUSH2 0x262a
00002626: JUMPI
00002627: PUSH0
00002628: DUP1
00002629: REVERT
0000262a: JUMPDEST
0000262b: POP
0000262c: JUMP
0000262d: JUMPDEST
0000262e: PUSH0
0000262f: DUP2
00002630: CALLDATALOAD
00002631: SWAP1
00002632: POP
00002633: PUSH2 0x263b
00002636: DUP2
00002637: PUSH2 0x2617
0000263a: JUMP
0000263b: JUMPDEST
0000263c: SWAP3
0000263d: SWAP2
0000263e: POP
0000263f: POP
00002640: JUMP
00002641: JUMPDEST
00002642: PUSH0
00002643: DUP1
00002644: PUSH1 0x40
00002646: DUP4
00002647: DUP6
00002648: SUB
00002649: SLT
0000264a: ISZERO
0000264b: PUSH2 0x2657
0000264e: JUMPI
0000264f: PUSH2 0x2656
00002652: PUSH2 0x25ac
00002655: JUMP
00002656: JUMPDEST
00002657: JUMPDEST
00002658: PUSH0
00002659: PUSH2 0x2664
0000265c: DUP6
0000265d: DUP3
0000265e: DUP7
0000265f: ADD
00002660: PUSH2 0x25fa
00002663: JUMP
00002664: JUMPDEST
00002665: SWAP3
00002666: POP
00002667: POP
00002668: PUSH1 0x20
0000266a: PUSH2 0x2675
0000266d: DUP6
0000266e: DUP3
0000266f: DUP7
00002670: ADD
00002671: PUSH2 0x262d
00002674: JUMP
00002675: JUMPDEST
00002676: SWAP2
00002677: POP
00002678: POP
00002679: SWAP3
0000267a: POP
0000267b: SWAP3
0000267c: SWAP1
0000267d: POP
0000267e: JUMP
0000267f: JUMPDEST
00002680: PUSH0
00002681: DUP2
00002682: ISZERO
00002683: ISZERO
00002684: SWAP1
00002685: POP
00002686: SWAP2
00002687: SWAP1
00002688: POP
00002689: JUMP
0000268a: JUMPDEST
0000268b: PUSH2 0x2693
0000268e: DUP2
0000268f: PUSH2 0x267f
00002692: JUMP
00002693: JUMPDEST
00002694: DUP3
00002695: MSTORE
00002696: POP
00002697: POP
00002698: JUMP
00002699: JUMPDEST
0000269a: PUSH0
0000269b: PUSH1 0x20
0000269d: DUP3
0000269e: ADD
0000269f: SWAP1
000026a0: POP
000026a1: PUSH2 0x26ac
000026a4: PUSH0
000026a5: DUP4
000026a6: ADD
000026a7: DUP5
000026a8: PUSH2 0x268a
000026ab: JUMP
000026ac: JUMPDEST
000026ad: SWAP3
000026ae: SWAP2
000026af: POP
000026b0: POP
000026b1: JUMP
000026b2: JUMPDEST
000026b3: PUSH2 0x26bb
000026b6: DUP2
000026b7: PUSH2 0x260e
000026ba: JUMP
000026bb: JUMPDEST
000026bc: DUP3
000026bd: MSTORE
000026be: POP
000026bf: POP
000026c0: JUMP
000026c1: JUMPDEST
000026c2: PUSH0
000026c3: PUSH1 0x20
000026c5: DUP3
000026c6: ADD
000026c7: SWAP1
000026c8: POP
000026c9: PUSH2 0x26d4
000026cc: PUSH0
000026cd: DUP4
000026ce: ADD
000026cf: DUP5
000026d0: PUSH2 0x26b2
000026d3: JUMP
000026d4: JUMPDEST
000026d5: SWAP3
000026d6: SWAP2
000026d7: POP
000026d8: POP
000026d9: JUMP
000026da: JUMPDEST
000026db: PUSH0
000026dc: DUP1
000026dd: PUSH0
000026de: PUSH1 0x60
000026e0: DUP5
000026e1: DUP7
000026e2: SUB
000026e3: SLT
000026e4: ISZERO
000026e5: PUSH2 0x26f1
000026e8: JUMPI
000026e9: PUSH2 0x26f0
000026ec: PUSH2 0x25ac
000026ef: JUMP
000026f0: JUMPDEST
000026f1: JUMPDEST
000026f2: PUSH0
000026f3: PUSH2 0x26fe
000026f6: DUP7
000026f7: DUP3
000026f8: DUP8
000026f9: ADD
000026fa: PUSH2 0x25fa
000026fd: JUMP
000026fe: JUMPDEST
000026ff: SWAP4
00002700: POP
00002701: POP
00002702: PUSH1 0x20
00002704: PUSH2 0x270f
00002707: DUP7
00002708: DUP3
00002709: DUP8
0000270a: ADD
0000270b: PUSH2 0x25fa
0000270e: JUMP
0000270f: JUMPDEST
00002710: SWAP3
00002711: POP
00002712: POP
00002713: PUSH1 0x40
00002715: PUSH2 0x2720
00002718: DUP7
00002719: DUP3
0000271a: DUP8
0000271b: ADD
0000271c: PUSH2 0x262d
0000271f: JUMP
00002720: JUMPDEST
00002721: SWAP2
00002722: POP
00002723: POP
00002724: SWAP3
00002725: POP
00002726: SWAP3
00002727: POP
00002728: SWAP3
00002729: JUMP
0000272a: JUMPDEST
0000272b: PUSH0
0000272c: PUSH1 0xff
0000272e: DUP3
0000272f: AND
00002730: SWAP1
00002731: POP
00002732: SWAP2
00002733: SWAP1
00002734: POP
00002735: JUMP
00002736: JUMPDEST
00002737: PUSH2 0x273f
0000273a: DUP2
0000273b: PUSH2 0x272a
0000273e: JUMP
0000273f: JUMPDEST
00002740: DUP3
00002741: MSTORE
00002742: POP
00002743: POP
00002744: JUMP
00002745: JUMPDEST
00002746: PUSH0
00002747: PUSH1 0x20
00002749: DUP3
0000274a: ADD
0000274b: SWAP1
0000274c: POP
0000274d: PUSH2 0x2758
00002750: PUSH0
00002751: DUP4
00002752: ADD
00002753: DUP5
00002754: PUSH2 0x2736
00002757: JUMP
00002758: JUMPDEST
00002759: SWAP3
0000275a: SWAP2
0000275b: POP
0000275c: POP
0000275d: JUMP
0000275e: JUMPDEST
0000275f: PUSH0
00002760: PUSH1 0x20
00002762: DUP3
00002763: DUP5
00002764: SUB
00002765: SLT
00002766: ISZERO
00002767: PUSH2 0x2773
0000276a: JUMPI
0000276b: PUSH2 0x2772
0000276e: PUSH2 0x25ac
00002771: JUMP
00002772: JUMPDEST
00002773: JUMPDEST
00002774: PUSH0
00002775: PUSH2 0x2780
00002778: DUP5
00002779: DUP3
0000277a: DUP6
0000277b: ADD
0000277c: PUSH2 0x25fa
0000277f: JUMP
00002780: JUMPDEST
00002781: SWAP2
00002782: POP
00002783: POP
00002784: SWAP3
00002785: SWAP2
00002786: POP
00002787: POP
00002788: JUMP
00002789: JUMPDEST
0000278a: PUSH0
0000278b: DUP1
0000278c: REVERT
0000278d: JUMPDEST
0000278e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000027af: PUSH0
000027b0: MSTORE
000027b1: PUSH1 0x41
000027b3: PUSH1 0x04
000027b5: MSTORE
000027b6: PUSH1 0x24
000027b8: PUSH0
000027b9: REVERT
000027ba: JUMPDEST
000027bb: PUSH2 0x27c3
000027be: DUP3
000027bf: PUSH2 0x253b
000027c2: JUMP
000027c3: JUMPDEST
000027c4: DUP2
000027c5: ADD
000027c6: DUP2
000027c7: DUP2
000027c8: LT
000027c9: PUSH8 0xffffffffffffffff
000027d2: DUP3
000027d3: GT
000027d4: OR
000027d5: ISZERO
000027d6: PUSH2 0x27e2
000027d9: JUMPI
000027da: PUSH2 0x27e1
000027dd: PUSH2 0x278d
000027e0: JUMP
000027e1: JUMPDEST
000027e2: JUMPDEST
000027e3: DUP1
000027e4: PUSH1 0x40
000027e6: MSTORE
000027e7: POP
000027e8: POP
000027e9: POP
000027ea: JUMP
000027eb: JUMPDEST
000027ec: PUSH0
000027ed: PUSH2 0x27f4
000027f0: PUSH2 0x25a3
000027f3: JUMP
000027f4: JUMPDEST
000027f5: SWAP1
000027f6: POP
000027f7: PUSH2 0x2800
000027fa: DUP3
000027fb: DUP3
000027fc: PUSH2 0x27ba
000027ff: JUMP
00002800: JUMPDEST
00002801: SWAP2
00002802: SWAP1
00002803: POP
00002804: JUMP
00002805: JUMPDEST
00002806: PUSH0
00002807: PUSH8 0xffffffffffffffff
00002810: DUP3
00002811: GT
00002812: ISZERO
00002813: PUSH2 0x281f
00002816: JUMPI
00002817: PUSH2 0x281e
0000281a: PUSH2 0x278d
0000281d: JUMP
0000281e: JUMPDEST
0000281f: JUMPDEST
00002820: PUSH1 0x20
00002822: DUP3
00002823: MUL
00002824: SWAP1
00002825: POP
00002826: PUSH1 0x20
00002828: DUP2
00002829: ADD
0000282a: SWAP1
0000282b: POP
0000282c: SWAP2
0000282d: SWAP1
0000282e: POP
0000282f: JUMP
00002830: JUMPDEST
00002831: PUSH0
00002832: DUP1
00002833: REVERT
00002834: JUMPDEST
00002835: PUSH0
00002836: PUSH2 0x2846
00002839: PUSH2 0x2841
0000283c: DUP5
0000283d: PUSH2 0x2805
00002840: JUMP
00002841: JUMPDEST
00002842: PUSH2 0x27eb
00002845: JUMP
00002846: JUMPDEST
00002847: SWAP1
00002848: POP
00002849: DUP1
0000284a: DUP4
0000284b: DUP3
0000284c: MSTORE
0000284d: PUSH1 0x20
0000284f: DUP3
00002850: ADD
00002851: SWAP1
00002852: POP
00002853: PUSH1 0x20
00002855: DUP5
00002856: MUL
00002857: DUP4
00002858: ADD
00002859: DUP6
0000285a: DUP2
0000285b: GT
0000285c: ISZERO
0000285d: PUSH2 0x2869
00002860: JUMPI
00002861: PUSH2 0x2868
00002864: PUSH2 0x2830
00002867: JUMP
00002868: JUMPDEST
00002869: JUMPDEST
0000286a: DUP4
0000286b: JUMPDEST
0000286c: DUP2
0000286d: DUP2
0000286e: LT
0000286f: ISZERO
00002870: PUSH2 0x2892
00002873: JUMPI
00002874: DUP1
00002875: PUSH2 0x287e
00002878: DUP9
00002879: DUP3
0000287a: PUSH2 0x25fa
0000287d: JUMP
0000287e: JUMPDEST
0000287f: DUP5
00002880: MSTORE
00002881: PUSH1 0x20
00002883: DUP5
00002884: ADD
00002885: SWAP4
00002886: POP
00002887: POP
00002888: PUSH1 0x20
0000288a: DUP2
0000288b: ADD
0000288c: SWAP1
0000288d: POP
0000288e: PUSH2 0x286b
00002891: JUMP
00002892: JUMPDEST
00002893: POP
00002894: POP
00002895: POP
00002896: SWAP4
00002897: SWAP3
00002898: POP
00002899: POP
0000289a: POP
0000289b: JUMP
0000289c: JUMPDEST
0000289d: PUSH0
0000289e: DUP3
0000289f: PUSH1 0x1f
000028a1: DUP4
000028a2: ADD
000028a3: SLT
000028a4: PUSH2 0x28b0
000028a7: JUMPI
000028a8: PUSH2 0x28af
000028ab: PUSH2 0x2789
000028ae: JUMP
000028af: JUMPDEST
000028b0: JUMPDEST
000028b1: DUP2
000028b2: CALLDATALOAD
000028b3: PUSH2 0x28c0
000028b6: DUP5
000028b7: DUP3
000028b8: PUSH1 0x20
000028ba: DUP7
000028bb: ADD
000028bc: PUSH2 0x2834
000028bf: JUMP
000028c0: JUMPDEST
000028c1: SWAP2
000028c2: POP
000028c3: POP
000028c4: SWAP3
000028c5: SWAP2
000028c6: POP
000028c7: POP
000028c8: JUMP
000028c9: JUMPDEST
000028ca: PUSH0
000028cb: PUSH1 0x20
000028cd: DUP3
000028ce: DUP5
000028cf: SUB
000028d0: SLT
000028d1: ISZERO
000028d2: PUSH2 0x28de
000028d5: JUMPI
000028d6: PUSH2 0x28dd
000028d9: PUSH2 0x25ac
000028dc: JUMP
000028dd: JUMPDEST
000028de: JUMPDEST
000028df: PUSH0
000028e0: DUP3
000028e1: ADD
000028e2: CALLDATALOAD
000028e3: PUSH8 0xffffffffffffffff
000028ec: DUP2
000028ed: GT
000028ee: ISZERO
000028ef: PUSH2 0x28fb
000028f2: JUMPI
000028f3: PUSH2 0x28fa
000028f6: PUSH2 0x25b0
000028f9: JUMP
000028fa: JUMPDEST
000028fb: JUMPDEST
000028fc: PUSH2 0x2907
000028ff: DUP5
00002900: DUP3
00002901: DUP6
00002902: ADD
00002903: PUSH2 0x289c
00002906: JUMP
00002907: JUMPDEST
00002908: SWAP2
00002909: POP
0000290a: POP
0000290b: SWAP3
0000290c: SWAP2
0000290d: POP
0000290e: POP
0000290f: JUMP
00002910: JUMPDEST
00002911: PUSH2 0x2919
00002914: DUP2
00002915: PUSH2 0x25d3
00002918: JUMP
00002919: JUMPDEST
0000291a: DUP3
0000291b: MSTORE
0000291c: POP
0000291d: POP
0000291e: JUMP
0000291f: JUMPDEST
00002920: PUSH0
00002921: PUSH1 0x20
00002923: DUP3
00002924: ADD
00002925: SWAP1
00002926: POP
00002927: PUSH2 0x2932
0000292a: PUSH0
0000292b: DUP4
0000292c: ADD
0000292d: DUP5
0000292e: PUSH2 0x2910
00002931: JUMP
00002932: JUMPDEST
00002933: SWAP3
00002934: SWAP2
00002935: POP
00002936: POP
00002937: JUMP
00002938: JUMPDEST
00002939: PUSH0
0000293a: DUP1
0000293b: PUSH1 0x40
0000293d: DUP4
0000293e: DUP6
0000293f: SUB
00002940: SLT
00002941: ISZERO
00002942: PUSH2 0x294e
00002945: JUMPI
00002946: PUSH2 0x294d
00002949: PUSH2 0x25ac
0000294c: JUMP
0000294d: JUMPDEST
0000294e: JUMPDEST
0000294f: PUSH0
00002950: PUSH2 0x295b
00002953: DUP6
00002954: DUP3
00002955: DUP7
00002956: ADD
00002957: PUSH2 0x25fa
0000295a: JUMP
0000295b: JUMPDEST
0000295c: SWAP3
0000295d: POP
0000295e: POP
0000295f: PUSH1 0x20
00002961: PUSH2 0x296c
00002964: DUP6
00002965: DUP3
00002966: DUP7
00002967: ADD
00002968: PUSH2 0x25fa
0000296b: JUMP
0000296c: JUMPDEST
0000296d: SWAP2
0000296e: POP
0000296f: POP
00002970: SWAP3
00002971: POP
00002972: SWAP3
00002973: SWAP1
00002974: POP
00002975: JUMP
00002976: JUMPDEST
00002977: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002998: PUSH0
00002999: MSTORE
0000299a: PUSH1 0x11
0000299c: PUSH1 0x04
0000299e: MSTORE
0000299f: PUSH1 0x24
000029a1: PUSH0
000029a2: REVERT
000029a3: JUMPDEST
000029a4: PUSH0
000029a5: DUP2
000029a6: PUSH1 0x01
000029a8: SHR
000029a9: SWAP1
000029aa: POP
000029ab: SWAP2
000029ac: SWAP1
000029ad: POP
000029ae: JUMP
000029af: JUMPDEST
000029b0: PUSH0
000029b1: DUP1
000029b2: DUP3
000029b3: SWAP2
000029b4: POP
000029b5: DUP4
000029b6: SWAP1
000029b7: POP
000029b8: JUMPDEST
000029b9: PUSH1 0x01
000029bb: DUP6
000029bc: GT
000029bd: ISZERO
000029be: PUSH2 0x29f8
000029c1: JUMPI
000029c2: DUP1
000029c3: DUP7
000029c4: DIV
000029c5: DUP2
000029c6: GT
000029c7: ISZERO
000029c8: PUSH2 0x29d4
000029cb: JUMPI
000029cc: PUSH2 0x29d3
000029cf: PUSH2 0x2976
000029d2: JUMP
000029d3: JUMPDEST
000029d4: JUMPDEST
000029d5: PUSH1 0x01
000029d7: DUP6
000029d8: AND
000029d9: ISZERO
000029da: PUSH2 0x29e3
000029dd: JUMPI
000029de: DUP1
000029df: DUP3
000029e0: MUL
000029e1: SWAP2
000029e2: POP
000029e3: JUMPDEST
000029e4: DUP1
000029e5: DUP2
000029e6: MUL
000029e7: SWAP1
000029e8: POP
000029e9: PUSH2 0x29f1
000029ec: DUP6
000029ed: PUSH2 0x29a3
000029f0: JUMP
000029f1: JUMPDEST
000029f2: SWAP5
000029f3: POP
000029f4: PUSH2 0x29b8
000029f7: JUMP
000029f8: JUMPDEST
000029f9: SWAP5
000029fa: POP
000029fb: SWAP5
000029fc: SWAP3
000029fd: POP
000029fe: POP
000029ff: POP
00002a00: JUMP
00002a01: JUMPDEST
00002a02: PUSH0
00002a03: DUP3
00002a04: PUSH2 0x2a10
00002a07: JUMPI
00002a08: PUSH1 0x01
00002a0a: SWAP1
00002a0b: POP
00002a0c: PUSH2 0x2acb
00002a0f: JUMP
00002a10: JUMPDEST
00002a11: DUP2
00002a12: PUSH2 0x2a1d
00002a15: JUMPI
00002a16: PUSH0
00002a17: SWAP1
00002a18: POP
00002a19: PUSH2 0x2acb
00002a1c: JUMP
00002a1d: JUMPDEST
00002a1e: DUP2
00002a1f: PUSH1 0x01
00002a21: DUP2
00002a22: EQ
00002a23: PUSH2 0x2a33
00002a26: JUMPI
00002a27: PUSH1 0x02
00002a29: DUP2
00002a2a: EQ
00002a2b: PUSH2 0x2a3d
00002a2e: JUMPI
00002a2f: PUSH2 0x2a6c
00002a32: JUMP
00002a33: JUMPDEST
00002a34: PUSH1 0x01
00002a36: SWAP2
00002a37: POP
00002a38: POP
00002a39: PUSH2 0x2acb
00002a3c: JUMP
00002a3d: JUMPDEST
00002a3e: PUSH1 0xff
00002a40: DUP5
00002a41: GT
00002a42: ISZERO
00002a43: PUSH2 0x2a4f
00002a46: JUMPI
00002a47: PUSH2 0x2a4e
00002a4a: PUSH2 0x2976
00002a4d: JUMP
00002a4e: JUMPDEST
00002a4f: JUMPDEST
00002a50: DUP4
00002a51: PUSH1 0x02
00002a53: EXP
00002a54: SWAP2
00002a55: POP
00002a56: DUP5
00002a57: DUP3
00002a58: GT
00002a59: ISZERO
00002a5a: PUSH2 0x2a66
00002a5d: JUMPI
00002a5e: PUSH2 0x2a65
00002a61: PUSH2 0x2976
00002a64: JUMP
00002a65: JUMPDEST
00002a66: JUMPDEST
00002a67: POP
00002a68: PUSH2 0x2acb
00002a6b: JUMP
00002a6c: JUMPDEST
00002a6d: POP
00002a6e: PUSH1 0x20
00002a70: DUP4
00002a71: LT
00002a72: PUSH2 0x0133
00002a75: DUP4
00002a76: LT
00002a77: AND
00002a78: PUSH1 0x4e
00002a7a: DUP5
00002a7b: LT
00002a7c: PUSH1 0x0b
00002a7e: DUP5
00002a7f: LT
00002a80: AND
00002a81: OR
00002a82: ISZERO
00002a83: PUSH2 0x2aa1
00002a86: JUMPI
00002a87: DUP3
00002a88: DUP3
00002a89: EXP
00002a8a: SWAP1
00002a8b: POP
00002a8c: DUP4
00002a8d: DUP2
00002a8e: GT
00002a8f: ISZERO
00002a90: PUSH2 0x2a9c
00002a93: JUMPI
00002a94: PUSH2 0x2a9b
00002a97: PUSH2 0x2976
00002a9a: JUMP
00002a9b: JUMPDEST
00002a9c: JUMPDEST
00002a9d: PUSH2 0x2acb
00002aa0: JUMP
00002aa1: JUMPDEST
00002aa2: PUSH2 0x2aae
00002aa5: DUP5
00002aa6: DUP5
00002aa7: DUP5
00002aa8: PUSH1 0x01
00002aaa: PUSH2 0x29af
00002aad: JUMP
00002aae: JUMPDEST
00002aaf: SWAP3
00002ab0: POP
00002ab1: SWAP1
00002ab2: POP
00002ab3: DUP2
00002ab4: DUP5
00002ab5: DIV
00002ab6: DUP2
00002ab7: GT
00002ab8: ISZERO
00002ab9: PUSH2 0x2ac5
00002abc: JUMPI
00002abd: PUSH2 0x2ac4
00002ac0: PUSH2 0x2976
00002ac3: JUMP
00002ac4: JUMPDEST
00002ac5: JUMPDEST
00002ac6: DUP2
00002ac7: DUP2
00002ac8: MUL
00002ac9: SWAP1
00002aca: POP
00002acb: JUMPDEST
00002acc: SWAP4
00002acd: SWAP3
00002ace: POP
00002acf: POP
00002ad0: POP
00002ad1: JUMP
00002ad2: JUMPDEST
00002ad3: PUSH0
00002ad4: PUSH2 0x2adc
00002ad7: DUP3
00002ad8: PUSH2 0x260e
00002adb: JUMP
00002adc: JUMPDEST
00002add: SWAP2
00002ade: POP
00002adf: PUSH2 0x2ae7
00002ae2: DUP4
00002ae3: PUSH2 0x272a
00002ae6: JUMP
00002ae7: JUMPDEST
00002ae8: SWAP3
00002ae9: POP
00002aea: PUSH2 0x2b14
00002aed: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002b0e: DUP5
00002b0f: DUP5
00002b10: PUSH2 0x2a01
00002b13: JUMP
00002b14: JUMPDEST
00002b15: SWAP1
00002b16: POP
00002b17: SWAP3
00002b18: SWAP2
00002b19: POP
00002b1a: POP
00002b1b: JUMP
00002b1c: JUMPDEST
00002b1d: PUSH0
00002b1e: PUSH2 0x2b26
00002b21: DUP3
00002b22: PUSH2 0x260e
00002b25: JUMP
00002b26: JUMPDEST
00002b27: SWAP2
00002b28: POP
00002b29: PUSH2 0x2b31
00002b2c: DUP4
00002b2d: PUSH2 0x260e
00002b30: JUMP
00002b31: JUMPDEST
00002b32: SWAP3
00002b33: POP
00002b34: DUP3
00002b35: DUP3
00002b36: MUL
00002b37: PUSH2 0x2b3f
00002b3a: DUP2
00002b3b: PUSH2 0x260e
00002b3e: JUMP
00002b3f: JUMPDEST
00002b40: SWAP2
00002b41: POP
00002b42: DUP3
00002b43: DUP3
00002b44: DIV
00002b45: DUP5
00002b46: EQ
00002b47: DUP4
00002b48: ISZERO
00002b49: OR
00002b4a: PUSH2 0x2b56
00002b4d: JUMPI
00002b4e: PUSH2 0x2b55
00002b51: PUSH2 0x2976
00002b54: JUMP
00002b55: JUMPDEST
00002b56: JUMPDEST
00002b57: POP
00002b58: SWAP3
00002b59: SWAP2
00002b5a: POP
00002b5b: POP
00002b5c: JUMP
00002b5d: JUMPDEST
00002b5e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002b7f: PUSH0
00002b80: DUP3
00002b81: ADD
00002b82: MSTORE
00002b83: POP
00002b84: JUMP
00002b85: JUMPDEST
00002b86: PUSH0
00002b87: PUSH2 0x2b91
00002b8a: PUSH1 0x20
00002b8c: DUP4
00002b8d: PUSH2 0x2503
00002b90: JUMP
00002b91: JUMPDEST
00002b92: SWAP2
00002b93: POP
00002b94: PUSH2 0x2b9c
00002b97: DUP3
00002b98: PUSH2 0x2b5d
00002b9b: JUMP
00002b9c: JUMPDEST
00002b9d: PUSH1 0x20
00002b9f: DUP3
00002ba0: ADD
00002ba1: SWAP1
00002ba2: POP
00002ba3: SWAP2
00002ba4: SWAP1
00002ba5: POP
00002ba6: JUMP
00002ba7: JUMPDEST
00002ba8: PUSH0
00002ba9: PUSH1 0x20
00002bab: DUP3
00002bac: ADD
00002bad: SWAP1
00002bae: POP
00002baf: DUP2
00002bb0: DUP2
00002bb1: SUB
00002bb2: PUSH0
00002bb3: DUP4
00002bb4: ADD
00002bb5: MSTORE
00002bb6: PUSH2 0x2bbe
00002bb9: DUP2
00002bba: PUSH2 0x2b85
00002bbd: JUMP
00002bbe: JUMPDEST
00002bbf: SWAP1
00002bc0: POP
00002bc1: SWAP2
00002bc2: SWAP1
00002bc3: POP
00002bc4: JUMP
00002bc5: JUMPDEST
00002bc6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002be7: PUSH0
00002be8: MSTORE
00002be9: PUSH1 0x32
00002beb: PUSH1 0x04
00002bed: MSTORE
00002bee: PUSH1 0x24
00002bf0: PUSH0
00002bf1: REVERT
00002bf2: JUMPDEST
00002bf3: PUSH0
00002bf4: DUP2
00002bf5: MLOAD
00002bf6: SWAP1
00002bf7: POP
00002bf8: PUSH2 0x2c00
00002bfb: DUP2
00002bfc: PUSH2 0x2617
00002bff: JUMP
00002c00: JUMPDEST
00002c01: SWAP3
00002c02: SWAP2
00002c03: POP
00002c04: POP
00002c05: JUMP
00002c06: JUMPDEST
00002c07: PUSH0
00002c08: PUSH1 0x20
00002c0a: DUP3
00002c0b: DUP5
00002c0c: SUB
00002c0d: SLT
00002c0e: ISZERO
00002c0f: PUSH2 0x2c1b
00002c12: JUMPI
00002c13: PUSH2 0x2c1a
00002c16: PUSH2 0x25ac
00002c19: JUMP
00002c1a: JUMPDEST
00002c1b: JUMPDEST
00002c1c: PUSH0
00002c1d: PUSH2 0x2c28
00002c20: DUP5
00002c21: DUP3
00002c22: DUP6
00002c23: ADD
00002c24: PUSH2 0x2bf2
00002c27: JUMP
00002c28: JUMPDEST
00002c29: SWAP2
00002c2a: POP
00002c2b: POP
00002c2c: SWAP3
00002c2d: SWAP2
00002c2e: POP
00002c2f: POP
00002c30: JUMP
00002c31: JUMPDEST
00002c32: PUSH0
00002c33: DUP2
00002c34: SWAP1
00002c35: POP
00002c36: SWAP2
00002c37: SWAP1
00002c38: POP
00002c39: JUMP
00002c3a: JUMPDEST
00002c3b: PUSH0
00002c3c: PUSH2 0x2c54
00002c3f: PUSH2 0x2c4f
00002c42: PUSH2 0x2c4a
00002c45: DUP5
00002c46: PUSH2 0x25b4
00002c49: JUMP
00002c4a: JUMPDEST
00002c4b: PUSH2 0x2c31
00002c4e: JUMP
00002c4f: JUMPDEST
00002c50: PUSH2 0x25b4
00002c53: JUMP
00002c54: JUMPDEST
00002c55: SWAP1
00002c56: POP
00002c57: SWAP2
00002c58: SWAP1
00002c59: POP
00002c5a: JUMP
00002c5b: JUMPDEST
00002c5c: PUSH0
00002c5d: PUSH2 0x2c65
00002c60: DUP3
00002c61: PUSH2 0x2c3a
00002c64: JUMP
00002c65: JUMPDEST
00002c66: SWAP1
00002c67: POP
00002c68: SWAP2
00002c69: SWAP1
00002c6a: POP
00002c6b: JUMP
00002c6c: JUMPDEST
00002c6d: PUSH0
00002c6e: PUSH2 0x2c76
00002c71: DUP3
00002c72: PUSH2 0x2c5b
00002c75: JUMP
00002c76: JUMPDEST
00002c77: SWAP1
00002c78: POP
00002c79: SWAP2
00002c7a: SWAP1
00002c7b: POP
00002c7c: JUMP
00002c7d: JUMPDEST
00002c7e: PUSH2 0x2c86
00002c81: DUP2
00002c82: PUSH2 0x2c6c
00002c85: JUMP
00002c86: JUMPDEST
00002c87: DUP3
00002c88: MSTORE
00002c89: POP
00002c8a: POP
00002c8b: JUMP
00002c8c: JUMPDEST
00002c8d: PUSH0
00002c8e: PUSH1 0x40
00002c90: DUP3
00002c91: ADD
00002c92: SWAP1
00002c93: POP
00002c94: PUSH2 0x2c9f
00002c97: PUSH0
00002c98: DUP4
00002c99: ADD
00002c9a: DUP6
00002c9b: PUSH2 0x2c7d
00002c9e: JUMP
00002c9f: JUMPDEST
00002ca0: PUSH2 0x2cac
00002ca3: PUSH1 0x20
00002ca5: DUP4
00002ca6: ADD
00002ca7: DUP5
00002ca8: PUSH2 0x26b2
00002cab: JUMP
00002cac: JUMPDEST
00002cad: SWAP4
00002cae: SWAP3
00002caf: POP
00002cb0: POP
00002cb1: POP
00002cb2: JUMP
00002cb3: JUMPDEST
00002cb4: PUSH2 0x2cbc
00002cb7: DUP2
00002cb8: PUSH2 0x267f
00002cbb: JUMP
00002cbc: JUMPDEST
00002cbd: DUP2
00002cbe: EQ
00002cbf: PUSH2 0x2cc6
00002cc2: JUMPI
00002cc3: PUSH0
00002cc4: DUP1
00002cc5: REVERT
00002cc6: JUMPDEST
00002cc7: POP
00002cc8: JUMP
00002cc9: JUMPDEST
00002cca: PUSH0
00002ccb: DUP2
00002ccc: MLOAD
00002ccd: SWAP1
00002cce: POP
00002ccf: PUSH2 0x2cd7
00002cd2: DUP2
00002cd3: PUSH2 0x2cb3
00002cd6: JUMP
00002cd7: JUMPDEST
00002cd8: SWAP3
00002cd9: SWAP2
00002cda: POP
00002cdb: POP
00002cdc: JUMP
00002cdd: JUMPDEST
00002cde: PUSH0
00002cdf: PUSH1 0x20
00002ce1: DUP3
00002ce2: DUP5
00002ce3: SUB
00002ce4: SLT
00002ce5: ISZERO
00002ce6: PUSH2 0x2cf2
00002ce9: JUMPI
00002cea: PUSH2 0x2cf1
00002ced: PUSH2 0x25ac
00002cf0: JUMP
00002cf1: JUMPDEST
00002cf2: JUMPDEST
00002cf3: PUSH0
00002cf4: PUSH2 0x2cff
00002cf7: DUP5
00002cf8: DUP3
00002cf9: DUP6
00002cfa: ADD
00002cfb: PUSH2 0x2cc9
00002cfe: JUMP
00002cff: JUMPDEST
00002d00: SWAP2
00002d01: POP
00002d02: POP
00002d03: SWAP3
00002d04: SWAP2
00002d05: POP
00002d06: POP
00002d07: JUMP
00002d08: JUMPDEST
00002d09: PUSH32 0x74726164696e6720697320616c7265616479206f70656e000000000000000000
00002d2a: PUSH0
00002d2b: DUP3
00002d2c: ADD
00002d2d: MSTORE
00002d2e: POP
00002d2f: JUMP
00002d30: JUMPDEST
00002d31: PUSH0
00002d32: PUSH2 0x2d3c
00002d35: PUSH1 0x17
00002d37: DUP4
00002d38: PUSH2 0x2503
00002d3b: JUMP
00002d3c: JUMPDEST
00002d3d: SWAP2
00002d3e: POP
00002d3f: PUSH2 0x2d47
00002d42: DUP3
00002d43: PUSH2 0x2d08
00002d46: JUMP
00002d47: JUMPDEST
00002d48: PUSH1 0x20
00002d4a: DUP3
00002d4b: ADD
00002d4c: SWAP1
00002d4d: POP
00002d4e: SWAP2
00002d4f: SWAP1
00002d50: POP
00002d51: JUMP
00002d52: JUMPDEST
00002d53: PUSH0
00002d54: PUSH1 0x20
00002d56: DUP3
00002d57: ADD
00002d58: SWAP1
00002d59: POP
00002d5a: DUP2
00002d5b: DUP2
00002d5c: SUB
00002d5d: PUSH0
00002d5e: DUP4
00002d5f: ADD
00002d60: MSTORE
00002d61: PUSH2 0x2d69
00002d64: DUP2
00002d65: PUSH2 0x2d30
00002d68: JUMP
00002d69: JUMPDEST
00002d6a: SWAP1
00002d6b: POP
00002d6c: SWAP2
00002d6d: SWAP1
00002d6e: POP
00002d6f: JUMP
00002d70: JUMPDEST
00002d71: PUSH0
00002d72: DUP2
00002d73: MLOAD
00002d74: SWAP1
00002d75: POP
00002d76: PUSH2 0x2d7e
00002d79: DUP2
00002d7a: PUSH2 0x25e4
00002d7d: JUMP
00002d7e: JUMPDEST
00002d7f: SWAP3
00002d80: SWAP2
00002d81: POP
00002d82: POP
00002d83: JUMP
00002d84: JUMPDEST
00002d85: PUSH0
00002d86: PUSH1 0x20
00002d88: DUP3
00002d89: DUP5
00002d8a: SUB
00002d8b: SLT
00002d8c: ISZERO
00002d8d: PUSH2 0x2d99
00002d90: JUMPI
00002d91: PUSH2 0x2d98
00002d94: PUSH2 0x25ac
00002d97: JUMP
00002d98: JUMPDEST
00002d99: JUMPDEST
00002d9a: PUSH0
00002d9b: PUSH2 0x2da6
00002d9e: DUP5
00002d9f: DUP3
00002da0: DUP6
00002da1: ADD
00002da2: PUSH2 0x2d70
00002da5: JUMP
00002da6: JUMPDEST
00002da7: SWAP2
00002da8: POP
00002da9: POP
00002daa: SWAP3
00002dab: SWAP2
00002dac: POP
00002dad: POP
00002dae: JUMP
00002daf: JUMPDEST
00002db0: PUSH0
00002db1: PUSH1 0x40
00002db3: DUP3
00002db4: ADD
00002db5: SWAP1
00002db6: POP
00002db7: PUSH2 0x2dc2
00002dba: PUSH0
00002dbb: DUP4
00002dbc: ADD
00002dbd: DUP6
00002dbe: PUSH2 0x2910
00002dc1: JUMP
00002dc2: JUMPDEST
00002dc3: PUSH2 0x2dcf
00002dc6: PUSH1 0x20
00002dc8: DUP4
00002dc9: ADD
00002dca: DUP5
00002dcb: PUSH2 0x2910
00002dce: JUMP
00002dcf: JUMPDEST
00002dd0: SWAP4
00002dd1: SWAP3
00002dd2: POP
00002dd3: POP
00002dd4: POP
00002dd5: JUMP
00002dd6: JUMPDEST
00002dd7: PUSH0
00002dd8: DUP2
00002dd9: SWAP1
00002dda: POP
00002ddb: SWAP2
00002ddc: SWAP1
00002ddd: POP
00002dde: JUMP
00002ddf: JUMPDEST
00002de0: PUSH0
00002de1: PUSH2 0x2df9
00002de4: PUSH2 0x2df4
00002de7: PUSH2 0x2def
00002dea: DUP5
00002deb: PUSH2 0x2dd6
00002dee: JUMP
00002def: JUMPDEST
00002df0: PUSH2 0x2c31
00002df3: JUMP
00002df4: JUMPDEST
00002df5: PUSH2 0x260e
00002df8: JUMP
00002df9: JUMPDEST
00002dfa: SWAP1
00002dfb: POP
00002dfc: SWAP2
00002dfd: SWAP1
00002dfe: POP
00002dff: JUMP
00002e00: JUMPDEST
00002e01: PUSH2 0x2e09
00002e04: DUP2
00002e05: PUSH2 0x2ddf
00002e08: JUMP
00002e09: JUMPDEST
00002e0a: DUP3
00002e0b: MSTORE
00002e0c: POP
00002e0d: POP
00002e0e: JUMP
00002e0f: JUMPDEST
00002e10: PUSH0
00002e11: PUSH1 0xc0
00002e13: DUP3
00002e14: ADD
00002e15: SWAP1
00002e16: POP
00002e17: PUSH2 0x2e22
00002e1a: PUSH0
00002e1b: DUP4
00002e1c: ADD
00002e1d: DUP10
00002e1e: PUSH2 0x2910
00002e21: JUMP
00002e22: JUMPDEST
00002e23: PUSH2 0x2e2f
00002e26: PUSH1 0x20
00002e28: DUP4
00002e29: ADD
00002e2a: DUP9
00002e2b: PUSH2 0x26b2
00002e2e: JUMP
00002e2f: JUMPDEST
00002e30: PUSH2 0x2e3c
00002e33: PUSH1 0x40
00002e35: DUP4
00002e36: ADD
00002e37: DUP8
00002e38: PUSH2 0x2e00
00002e3b: JUMP
00002e3c: JUMPDEST
00002e3d: PUSH2 0x2e49
00002e40: PUSH1 0x60
00002e42: DUP4
00002e43: ADD
00002e44: DUP7
00002e45: PUSH2 0x2e00
00002e48: JUMP
00002e49: JUMPDEST
00002e4a: PUSH2 0x2e56
00002e4d: PUSH1 0x80
00002e4f: DUP4
00002e50: ADD
00002e51: DUP6
00002e52: PUSH2 0x2910
00002e55: JUMP
00002e56: JUMPDEST
00002e57: PUSH2 0x2e63
00002e5a: PUSH1 0xa0
00002e5c: DUP4
00002e5d: ADD
00002e5e: DUP5
00002e5f: PUSH2 0x26b2
00002e62: JUMP
00002e63: JUMPDEST
00002e64: SWAP8
00002e65: SWAP7
00002e66: POP
00002e67: POP
00002e68: POP
00002e69: POP
00002e6a: POP
00002e6b: POP
00002e6c: POP
00002e6d: JUMP
00002e6e: JUMPDEST
00002e6f: PUSH0
00002e70: DUP1
00002e71: PUSH0
00002e72: PUSH1 0x60
00002e74: DUP5
00002e75: DUP7
00002e76: SUB
00002e77: SLT
00002e78: ISZERO
00002e79: PUSH2 0x2e85
00002e7c: JUMPI
00002e7d: PUSH2 0x2e84
00002e80: PUSH2 0x25ac
00002e83: JUMP
00002e84: JUMPDEST
00002e85: JUMPDEST
00002e86: PUSH0
00002e87: PUSH2 0x2e92
00002e8a: DUP7
00002e8b: DUP3
00002e8c: DUP8
00002e8d: ADD
00002e8e: PUSH2 0x2bf2
00002e91: JUMP
00002e92: JUMPDEST
00002e93: SWAP4
00002e94: POP
00002e95: POP
00002e96: PUSH1 0x20
00002e98: PUSH2 0x2ea3
00002e9b: DUP7
00002e9c: DUP3
00002e9d: DUP8
00002e9e: ADD
00002e9f: PUSH2 0x2bf2
00002ea2: JUMP
00002ea3: JUMPDEST
00002ea4: SWAP3
00002ea5: POP
00002ea6: POP
00002ea7: PUSH1 0x40
00002ea9: PUSH2 0x2eb4
00002eac: DUP7
00002ead: DUP3
00002eae: DUP8
00002eaf: ADD
00002eb0: PUSH2 0x2bf2
00002eb3: JUMP
00002eb4: JUMPDEST
00002eb5: SWAP2
00002eb6: POP
00002eb7: POP
00002eb8: SWAP3
00002eb9: POP
00002eba: SWAP3
00002ebb: POP
00002ebc: SWAP3
00002ebd: JUMP
00002ebe: JUMPDEST
00002ebf: PUSH0
00002ec0: PUSH1 0x40
00002ec2: DUP3
00002ec3: ADD
00002ec4: SWAP1
00002ec5: POP
00002ec6: PUSH2 0x2ed1
00002ec9: PUSH0
00002eca: DUP4
00002ecb: ADD
00002ecc: DUP6
00002ecd: PUSH2 0x2910
00002ed0: JUMP
00002ed1: JUMPDEST
00002ed2: PUSH2 0x2ede
00002ed5: PUSH1 0x20
00002ed7: DUP4
00002ed8: ADD
00002ed9: DUP5
00002eda: PUSH2 0x26b2
00002edd: JUMP
00002ede: JUMPDEST
00002edf: SWAP4
00002ee0: SWAP3
00002ee1: POP
00002ee2: POP
00002ee3: POP
00002ee4: JUMP
00002ee5: JUMPDEST
00002ee6: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00002f07: PUSH0
00002f08: DUP3
00002f09: ADD
00002f0a: MSTORE
00002f0b: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
00002f2c: PUSH1 0x20
00002f2e: DUP3
00002f2f: ADD
00002f30: MSTORE
00002f31: POP
00002f32: JUMP
00002f33: JUMPDEST
00002f34: PUSH0
00002f35: PUSH2 0x2f3f
00002f38: PUSH1 0x24
00002f3a: DUP4
00002f3b: PUSH2 0x2503
00002f3e: JUMP
00002f3f: JUMPDEST
00002f40: SWAP2
00002f41: POP
00002f42: PUSH2 0x2f4a
00002f45: DUP3
00002f46: PUSH2 0x2ee5
00002f49: JUMP
00002f4a: JUMPDEST
00002f4b: PUSH1 0x40
00002f4d: DUP3
00002f4e: ADD
00002f4f: SWAP1
00002f50: POP
00002f51: SWAP2
00002f52: SWAP1
00002f53: POP
00002f54: JUMP
00002f55: JUMPDEST
00002f56: PUSH0
00002f57: PUSH1 0x20
00002f59: DUP3
00002f5a: ADD
00002f5b: SWAP1
00002f5c: POP
00002f5d: DUP2
00002f5e: DUP2
00002f5f: SUB
00002f60: PUSH0
00002f61: DUP4
00002f62: ADD
00002f63: MSTORE
00002f64: PUSH2 0x2f6c
00002f67: DUP2
00002f68: PUSH2 0x2f33
00002f6b: JUMP
00002f6c: JUMPDEST
00002f6d: SWAP1
00002f6e: POP
00002f6f: SWAP2
00002f70: SWAP1
00002f71: POP
00002f72: JUMP
00002f73: JUMPDEST
00002f74: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00002f95: PUSH0
00002f96: DUP3
00002f97: ADD
00002f98: MSTORE
00002f99: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
00002fba: PUSH1 0x20
00002fbc: DUP3
00002fbd: ADD
00002fbe: MSTORE
00002fbf: POP
00002fc0: JUMP
00002fc1: JUMPDEST
00002fc2: PUSH0
00002fc3: PUSH2 0x2fcd
00002fc6: PUSH1 0x22
00002fc8: DUP4
00002fc9: PUSH2 0x2503
00002fcc: JUMP
00002fcd: JUMPDEST
00002fce: SWAP2
00002fcf: POP
00002fd0: PUSH2 0x2fd8
00002fd3: DUP3
00002fd4: PUSH2 0x2f73
00002fd7: JUMP
00002fd8: JUMPDEST
00002fd9: PUSH1 0x40
00002fdb: DUP3
00002fdc: ADD
00002fdd: SWAP1
00002fde: POP
00002fdf: SWAP2
00002fe0: SWAP1
00002fe1: POP
00002fe2: JUMP
00002fe3: JUMPDEST
00002fe4: PUSH0
00002fe5: PUSH1 0x20
00002fe7: DUP3
00002fe8: ADD
00002fe9: SWAP1
00002fea: POP
00002feb: DUP2
00002fec: DUP2
00002fed: SUB
00002fee: PUSH0
00002fef: DUP4
00002ff0: ADD
00002ff1: MSTORE
00002ff2: PUSH2 0x2ffa
00002ff5: DUP2
00002ff6: PUSH2 0x2fc1
00002ff9: JUMP
00002ffa: JUMPDEST
00002ffb: SWAP1
00002ffc: POP
00002ffd: SWAP2
00002ffe: SWAP1
00002fff: POP
00003000: JUMP
00003001: JUMPDEST
00003002: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00003023: PUSH0
00003024: DUP3
00003025: ADD
00003026: MSTORE
00003027: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
00003048: PUSH1 0x20
0000304a: DUP3
0000304b: ADD
0000304c: MSTORE
0000304d: POP
0000304e: JUMP
0000304f: JUMPDEST
00003050: PUSH0
00003051: PUSH2 0x305b
00003054: PUSH1 0x25
00003056: DUP4
00003057: PUSH2 0x2503
0000305a: JUMP
0000305b: JUMPDEST
0000305c: SWAP2
0000305d: POP
0000305e: PUSH2 0x3066
00003061: DUP3
00003062: PUSH2 0x3001
00003065: JUMP
00003066: JUMPDEST
00003067: PUSH1 0x40
00003069: DUP3
0000306a: ADD
0000306b: SWAP1
0000306c: POP
0000306d: SWAP2
0000306e: SWAP1
0000306f: POP
00003070: JUMP
00003071: JUMPDEST
00003072: PUSH0
00003073: PUSH1 0x20
00003075: DUP3
00003076: ADD
00003077: SWAP1
00003078: POP
00003079: DUP2
0000307a: DUP2
0000307b: SUB
0000307c: PUSH0
0000307d: DUP4
0000307e: ADD
0000307f: MSTORE
00003080: PUSH2 0x3088
00003083: DUP2
00003084: PUSH2 0x304f
00003087: JUMP
00003088: JUMPDEST
00003089: SWAP1
0000308a: POP
0000308b: SWAP2
0000308c: SWAP1
0000308d: POP
0000308e: JUMP
0000308f: JUMPDEST
00003090: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
000030b1: PUSH0
000030b2: DUP3
000030b3: ADD
000030b4: MSTORE
000030b5: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000
000030d6: PUSH1 0x20
000030d8: DUP3
000030d9: ADD
000030da: MSTORE
000030db: POP
000030dc: JUMP
000030dd: JUMPDEST
000030de: PUSH0
000030df: PUSH2 0x30e9
000030e2: PUSH1 0x23
000030e4: DUP4
000030e5: PUSH2 0x2503
000030e8: JUMP
000030e9: JUMPDEST
000030ea: SWAP2
000030eb: POP
000030ec: PUSH2 0x30f4
000030ef: DUP3
000030f0: PUSH2 0x308f
000030f3: JUMP
000030f4: JUMPDEST
000030f5: PUSH1 0x40
000030f7: DUP3
000030f8: ADD
000030f9: SWAP1
000030fa: POP
000030fb: SWAP2
000030fc: SWAP1
000030fd: POP
000030fe: JUMP
000030ff: JUMPDEST
00003100: PUSH0
00003101: PUSH1 0x20
00003103: DUP3
00003104: ADD
00003105: SWAP1
00003106: POP
00003107: DUP2
00003108: DUP2
00003109: SUB
0000310a: PUSH0
0000310b: DUP4
0000310c: ADD
0000310d: MSTORE
0000310e: PUSH2 0x3116
00003111: DUP2
00003112: PUSH2 0x30dd
00003115: JUMP
00003116: JUMPDEST
00003117: SWAP1
00003118: POP
00003119: SWAP2
0000311a: SWAP1
0000311b: POP
0000311c: JUMP
0000311d: JUMPDEST
0000311e: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220
0000313f: PUSH0
00003140: DUP3
00003141: ADD
00003142: MSTORE
00003143: PUSH32 0x7468616e207a65726f0000000000000000000000000000000000000000000000
00003164: PUSH1 0x20
00003166: DUP3
00003167: ADD
00003168: MSTORE
00003169: POP
0000316a: JUMP
0000316b: JUMPDEST
0000316c: PUSH0
0000316d: PUSH2 0x3177
00003170: PUSH1 0x29
00003172: DUP4
00003173: PUSH2 0x2503
00003176: JUMP
00003177: JUMPDEST
00003178: SWAP2
00003179: POP
0000317a: PUSH2 0x3182
0000317d: DUP3
0000317e: PUSH2 0x311d
00003181: JUMP
00003182: JUMPDEST
00003183: PUSH1 0x40
00003185: DUP3
00003186: ADD
00003187: SWAP1
00003188: POP
00003189: SWAP2
0000318a: SWAP1
0000318b: POP
0000318c: JUMP
0000318d: JUMPDEST
0000318e: PUSH0
0000318f: PUSH1 0x20
00003191: DUP3
00003192: ADD
00003193: SWAP1
00003194: POP
00003195: DUP2
00003196: DUP2
00003197: SUB
00003198: PUSH0
00003199: DUP4
0000319a: ADD
0000319b: MSTORE
0000319c: PUSH2 0x31a4
0000319f: DUP2
000031a0: PUSH2 0x316b
000031a3: JUMP
000031a4: JUMPDEST
000031a5: SWAP1
000031a6: POP
000031a7: SWAP2
000031a8: SWAP1
000031a9: POP
000031aa: JUMP
000031ab: JUMPDEST
000031ac: PUSH32 0x4578636565647320746865205f6d61785478416d6f756e742e00000000000000
000031cd: PUSH0
000031ce: DUP3
000031cf: ADD
000031d0: MSTORE
000031d1: POP
000031d2: JUMP
000031d3: JUMPDEST
000031d4: PUSH0
000031d5: PUSH2 0x31df
000031d8: PUSH1 0x19
000031da: DUP4
000031db: PUSH2 0x2503
000031de: JUMP
000031df: JUMPDEST
000031e0: SWAP2
000031e1: POP
000031e2: PUSH2 0x31ea
000031e5: DUP3
000031e6: PUSH2 0x31ab
000031e9: JUMP
000031ea: JUMPDEST
000031eb: PUSH1 0x20
000031ed: DUP3
000031ee: ADD
000031ef: SWAP1
000031f0: POP
000031f1: SWAP2
000031f2: SWAP1
000031f3: POP
000031f4: JUMP
000031f5: JUMPDEST
000031f6: PUSH0
000031f7: PUSH1 0x20
000031f9: DUP3
000031fa: ADD
000031fb: SWAP1
000031fc: POP
000031fd: DUP2
000031fe: DUP2
000031ff: SUB
00003200: PUSH0
00003201: DUP4
00003202: ADD
00003203: MSTORE
00003204: PUSH2 0x320c
00003207: DUP2
00003208: PUSH2 0x31d3
0000320b: JUMP
0000320c: JUMPDEST
0000320d: SWAP1
0000320e: POP
0000320f: SWAP2
00003210: SWAP1
00003211: POP
00003212: JUMP
00003213: JUMPDEST
00003214: PUSH0
00003215: PUSH2 0x321d
00003218: DUP3
00003219: PUSH2 0x260e
0000321c: JUMP
0000321d: JUMPDEST
0000321e: SWAP2
0000321f: POP
00003220: PUSH2 0x3228
00003223: DUP4
00003224: PUSH2 0x260e
00003227: JUMP
00003228: JUMPDEST
00003229: SWAP3
0000322a: POP
0000322b: DUP3
0000322c: DUP3
0000322d: ADD
0000322e: SWAP1
0000322f: POP
00003230: DUP1
00003231: DUP3
00003232: GT
00003233: ISZERO
00003234: PUSH2 0x3240
00003237: JUMPI
00003238: PUSH2 0x323f
0000323b: PUSH2 0x2976
0000323e: JUMP
0000323f: JUMPDEST
00003240: JUMPDEST
00003241: SWAP3
00003242: SWAP2
00003243: POP
00003244: POP
00003245: JUMP
00003246: JUMPDEST
00003247: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000
00003268: PUSH0
00003269: DUP3
0000326a: ADD
0000326b: MSTORE
0000326c: POP
0000326d: JUMP
0000326e: JUMPDEST
0000326f: PUSH0
00003270: PUSH2 0x327a
00003273: PUSH1 0x1a
00003275: DUP4
00003276: PUSH2 0x2503
00003279: JUMP
0000327a: JUMPDEST
0000327b: SWAP2
0000327c: POP
0000327d: PUSH2 0x3285
00003280: DUP3
00003281: PUSH2 0x3246
00003284: JUMP
00003285: JUMPDEST
00003286: PUSH1 0x20
00003288: DUP3
00003289: ADD
0000328a: SWAP1
0000328b: POP
0000328c: SWAP2
0000328d: SWAP1
0000328e: POP
0000328f: JUMP
00003290: JUMPDEST
00003291: PUSH0
00003292: PUSH1 0x20
00003294: DUP3
00003295: ADD
00003296: SWAP1
00003297: POP
00003298: DUP2
00003299: DUP2
0000329a: SUB
0000329b: PUSH0
0000329c: DUP4
0000329d: ADD
0000329e: MSTORE
0000329f: PUSH2 0x32a7
000032a2: DUP2
000032a3: PUSH2 0x326e
000032a6: JUMP
000032a7: JUMPDEST
000032a8: SWAP1
000032a9: POP
000032aa: SWAP2
000032ab: SWAP1
000032ac: POP
000032ad: JUMP
000032ae: JUMPDEST
000032af: PUSH0
000032b0: PUSH2 0x32b8
000032b3: DUP3
000032b4: PUSH2 0x260e
000032b7: JUMP
000032b8: JUMPDEST
000032b9: SWAP2
000032ba: POP
000032bb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000032dc: DUP3
000032dd: SUB
000032de: PUSH2 0x32ea
000032e1: JUMPI
000032e2: PUSH2 0x32e9
000032e5: PUSH2 0x2976
000032e8: JUMP
000032e9: JUMPDEST
000032ea: JUMPDEST
000032eb: PUSH1 0x01
000032ed: DUP3
000032ee: ADD
000032ef: SWAP1
000032f0: POP
000032f1: SWAP2
000032f2: SWAP1
000032f3: POP
000032f4: JUMP
000032f5: JUMPDEST
000032f6: PUSH32 0x4f6e6c7920332073656c6c732070657220626c6f636b21000000000000000000
00003317: PUSH0
00003318: DUP3
00003319: ADD
0000331a: MSTORE
0000331b: POP
0000331c: JUMP
0000331d: JUMPDEST
0000331e: PUSH0
0000331f: PUSH2 0x3329
00003322: PUSH1 0x17
00003324: DUP4
00003325: PUSH2 0x2503
00003328: JUMP
00003329: JUMPDEST
0000332a: SWAP2
0000332b: POP
0000332c: PUSH2 0x3334
0000332f: DUP3
00003330: PUSH2 0x32f5
00003333: JUMP
00003334: JUMPDEST
00003335: PUSH1 0x20
00003337: DUP3
00003338: ADD
00003339: SWAP1
0000333a: POP
0000333b: SWAP2
0000333c: SWAP1
0000333d: POP
0000333e: JUMP
0000333f: JUMPDEST
00003340: PUSH0
00003341: PUSH1 0x20
00003343: DUP3
00003344: ADD
00003345: SWAP1
00003346: POP
00003347: DUP2
00003348: DUP2
00003349: SUB
0000334a: PUSH0
0000334b: DUP4
0000334c: ADD
0000334d: MSTORE
0000334e: PUSH2 0x3356
00003351: DUP2
00003352: PUSH2 0x331d
00003355: JUMP
00003356: JUMPDEST
00003357: SWAP1
00003358: POP
00003359: SWAP2
0000335a: SWAP1
0000335b: POP
0000335c: JUMP
0000335d: JUMPDEST
0000335e: PUSH0
0000335f: PUSH2 0x3367
00003362: DUP3
00003363: PUSH2 0x260e
00003366: JUMP
00003367: JUMPDEST
00003368: SWAP2
00003369: POP
0000336a: PUSH2 0x3372
0000336d: DUP4
0000336e: PUSH2 0x260e
00003371: JUMP
00003372: JUMPDEST
00003373: SWAP3
00003374: POP
00003375: DUP3
00003376: DUP3
00003377: SUB
00003378: SWAP1
00003379: POP
0000337a: DUP2
0000337b: DUP2
0000337c: GT
0000337d: ISZERO
0000337e: PUSH2 0x338a
00003381: JUMPI
00003382: PUSH2 0x3389
00003385: PUSH2 0x2976
00003388: JUMP
00003389: JUMPDEST
0000338a: JUMPDEST
0000338b: SWAP3
0000338c: SWAP2
0000338d: POP
0000338e: POP
0000338f: JUMP
00003390: JUMPDEST
00003391: PUSH0
00003392: DUP2
00003393: MLOAD
00003394: SWAP1
00003395: POP
00003396: SWAP2
00003397: SWAP1
00003398: POP
00003399: JUMP
0000339a: JUMPDEST
0000339b: PUSH0
0000339c: DUP3
0000339d: DUP3
0000339e: MSTORE
0000339f: PUSH1 0x20
000033a1: DUP3
000033a2: ADD
000033a3: SWAP1
000033a4: POP
000033a5: SWAP3
000033a6: SWAP2
000033a7: POP
000033a8: POP
000033a9: JUMP
000033aa: JUMPDEST
000033ab: PUSH0
000033ac: DUP2
000033ad: SWAP1
000033ae: POP
000033af: PUSH1 0x20
000033b1: DUP3
000033b2: ADD
000033b3: SWAP1
000033b4: POP
000033b5: SWAP2
000033b6: SWAP1
000033b7: POP
000033b8: JUMP
000033b9: JUMPDEST
000033ba: PUSH2 0x33c2
000033bd: DUP2
000033be: PUSH2 0x25d3
000033c1: JUMP
000033c2: JUMPDEST
000033c3: DUP3
000033c4: MSTORE
000033c5: POP
000033c6: POP
000033c7: JUMP
000033c8: JUMPDEST
000033c9: PUSH0
000033ca: PUSH2 0x33d3
000033cd: DUP4
000033ce: DUP4
000033cf: PUSH2 0x33b9
000033d2: JUMP
000033d3: JUMPDEST
000033d4: PUSH1 0x20
000033d6: DUP4
000033d7: ADD
000033d8: SWAP1
000033d9: POP
000033da: SWAP3
000033db: SWAP2
000033dc: POP
000033dd: POP
000033de: JUMP
000033df: JUMPDEST
000033e0: PUSH0
000033e1: PUSH1 0x20
000033e3: DUP3
000033e4: ADD
000033e5: SWAP1
000033e6: POP
000033e7: SWAP2
000033e8: SWAP1
000033e9: POP
000033ea: JUMP
000033eb: JUMPDEST
000033ec: PUSH0
000033ed: PUSH2 0x33f5
000033f0: DUP3
000033f1: PUSH2 0x3390
000033f4: JUMP
000033f5: JUMPDEST
000033f6: PUSH2 0x33ff
000033f9: DUP2
000033fa: DUP6
000033fb: PUSH2 0x339a
000033fe: JUMP
000033ff: JUMPDEST
00003400: SWAP4
00003401: POP
00003402: PUSH2 0x340a
00003405: DUP4
00003406: PUSH2 0x33aa
00003409: JUMP
0000340a: JUMPDEST
0000340b: DUP1
0000340c: PUSH0
0000340d: JUMPDEST
0000340e: DUP4
0000340f: DUP2
00003410: LT
00003411: ISZERO
00003412: PUSH2 0x343a
00003415: JUMPI
00003416: DUP2
00003417: MLOAD
00003418: PUSH2 0x3421
0000341b: DUP9
0000341c: DUP3
0000341d: PUSH2 0x33c8
00003420: JUMP
00003421: JUMPDEST
00003422: SWAP8
00003423: POP
00003424: PUSH2 0x342c
00003427: DUP4
00003428: PUSH2 0x33df
0000342b: JUMP
0000342c: JUMPDEST
0000342d: SWAP3
0000342e: POP
0000342f: POP
00003430: PUSH1 0x01
00003432: DUP2
00003433: ADD
00003434: SWAP1
00003435: POP
00003436: PUSH2 0x340d
00003439: JUMP
0000343a: JUMPDEST
0000343b: POP
0000343c: DUP6
0000343d: SWAP4
0000343e: POP
0000343f: POP
00003440: POP
00003441: POP
00003442: SWAP3
00003443: SWAP2
00003444: POP
00003445: POP
00003446: JUMP
00003447: JUMPDEST
00003448: PUSH0
00003449: PUSH1 0xa0
0000344b: DUP3
0000344c: ADD
0000344d: SWAP1
0000344e: POP
0000344f: PUSH2 0x345a
00003452: PUSH0
00003453: DUP4
00003454: ADD
00003455: DUP9
00003456: PUSH2 0x26b2
00003459: JUMP
0000345a: JUMPDEST
0000345b: PUSH2 0x3467
0000345e: PUSH1 0x20
00003460: DUP4
00003461: ADD
00003462: DUP8
00003463: PUSH2 0x2e00
00003466: JUMP
00003467: JUMPDEST
00003468: DUP2
00003469: DUP2
0000346a: SUB
0000346b: PUSH1 0x40
0000346d: DUP4
0000346e: ADD
0000346f: MSTORE
00003470: PUSH2 0x3479
00003473: DUP2
00003474: DUP7
00003475: PUSH2 0x33eb
00003478: JUMP
00003479: JUMPDEST
0000347a: SWAP1
0000347b: POP
0000347c: PUSH2 0x3488
0000347f: PUSH1 0x60
00003481: DUP4
00003482: ADD
00003483: DUP6
00003484: PUSH2 0x2910
00003487: JUMP
00003488: JUMPDEST
00003489: PUSH2 0x3495
0000348c: PUSH1 0x80
0000348e: DUP4
0000348f: ADD
00003490: DUP5
00003491: PUSH2 0x26b2
00003494: JUMP
00003495: JUMPDEST
00003496: SWAP7
00003497: SWAP6
00003498: POP
00003499: POP
0000349a: POP
0000349b: POP
0000349c: POP
0000349d: POP
0000349e: JUMP
0000349f: JUMPDEST
000034a0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000034c1: PUSH0
000034c2: MSTORE
000034c3: PUSH1 0x12
000034c5: PUSH1 0x04
000034c7: MSTORE
000034c8: PUSH1 0x24
000034ca: PUSH0
000034cb: REVERT
000034cc: JUMPDEST
000034cd: PUSH0
000034ce: PUSH2 0x34d6
000034d1: DUP3
000034d2: PUSH2 0x260e
000034d5: JUMP
000034d6: JUMPDEST
000034d7: SWAP2
000034d8: POP
000034d9: PUSH2 0x34e1
000034dc: DUP4
000034dd: PUSH2 0x260e
000034e0: JUMP
000034e1: JUMPDEST
000034e2: SWAP3
000034e3: POP
000034e4: DUP3
000034e5: PUSH2 0x34f1
000034e8: JUMPI
000034e9: PUSH2 0x34f0
000034ec: PUSH2 0x349f
000034ef: JUMP
000034f0: JUMPDEST
000034f1: JUMPDEST
000034f2: DUP3
000034f3: DUP3
000034f4: DIV
000034f5: SWAP1
000034f6: POP
000034f7: SWAP3
000034f8: SWAP2
000034f9: POP
000034fa: POP
000034fb: JUMP
000034fc: JUMPDEST
000034fd: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
0000351e: PUSH0
0000351f: DUP3
00003520: ADD
00003521: MSTORE
00003522: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000
00003543: PUSH1 0x20
00003545: DUP3
00003546: ADD
00003547: MSTORE
00003548: POP
00003549: JUMP
0000354a: JUMPDEST
0000354b: PUSH0
0000354c: PUSH2 0x3556
0000354f: PUSH1 0x21
00003551: DUP4
00003552: PUSH2 0x2503
00003555: JUMP
00003556: JUMPDEST
00003557: SWAP2
00003558: POP
00003559: PUSH2 0x3561
0000355c: DUP3
0000355d: PUSH2 0x34fc
00003560: JUMP
00003561: JUMPDEST
00003562: PUSH1 0x40
00003564: DUP3
00003565: ADD
00003566: SWAP1
00003567: POP
00003568: SWAP2
00003569: SWAP1
0000356a: POP
0000356b: JUMP
0000356c: JUMPDEST
0000356d: PUSH0
0000356e: PUSH1 0x20
00003570: DUP3
00003571: ADD
00003572: SWAP1
00003573: POP
00003574: DUP2
00003575: DUP2
00003576: SUB
00003577: PUSH0
00003578: DUP4
00003579: ADD
0000357a: MSTORE
0000357b: PUSH2 0x3583
0000357e: DUP2
0000357f: PUSH2 0x354a
00003582: JUMP
00003583: JUMPDEST
00003584: SWAP1
00003585: POP
00003586: SWAP2
00003587: SWAP1
00003588: POP
00003589: JUMP
0000358a: JUMPDEST
0000358b: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
000035ac: PUSH0
000035ad: DUP3
000035ae: ADD
000035af: MSTORE
000035b0: POP
000035b1: JUMP
000035b2: JUMPDEST
000035b3: PUSH0
000035b4: PUSH2 0x35be
000035b7: PUSH1 0x1b
000035b9: DUP4
000035ba: PUSH2 0x2503
000035bd: JUMP
000035be: JUMPDEST
000035bf: SWAP2
000035c0: POP
000035c1: PUSH2 0x35c9
000035c4: DUP3
000035c5: PUSH2 0x358a
000035c8: JUMP
000035c9: JUMPDEST
000035ca: PUSH1 0x20
000035cc: DUP3
000035cd: ADD
000035ce: SWAP1
000035cf: POP
000035d0: SWAP2
000035d1: SWAP1
000035d2: POP
000035d3: JUMP
000035d4: JUMPDEST
000035d5: PUSH0
000035d6: PUSH1 0x20
000035d8: DUP3
000035d9: ADD
000035da: SWAP1
000035db: POP
000035dc: DUP2
000035dd: DUP2
000035de: SUB
000035df: PUSH0
000035e0: DUP4
000035e1: ADD
000035e2: MSTORE
000035e3: PUSH2 0x35eb
000035e6: DUP2
000035e7: PUSH2 0x35b2
000035ea: JUMP
000035eb: JUMPDEST
000035ec: SWAP1
000035ed: POP
000035ee: SWAP2
000035ef: SWAP1
000035f0: POP
000035f1: JUMP
000035f2: INVALID
000035f3: GASLIMIT
000035f4: MSTORE
000035f5: NUMBER
000035f6: ORIGIN
000035f7: ADDRESS
000035f8: GASPRICE
000035f9: KECCAK256
000035fa: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00003610: PUSH20 0x20616c6c6f77616e6365a2646970667358221220
00003625: DUP2
00003626: CALLDATASIZE
00003627: UNKNOWN(0xD1)
00003628: CREATE2
00003629: BYTE
0000362a: PUSH32 0xefa6064f82d32802f36f16318de2869bdac89f020313987d618564736f6c6343
0000364b: STOP
0000364c: ADDMOD
0000364d: OR
0000364e: STOP
0000364f: 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": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xae436e82",
            "selector": "0xae436e82",
            "calldata_variants": [
                "0xae436e82",
                "0xae436e820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf474bed",
            "selector": "0xbf474bed",
            "calldata_variants": [
                "0xbf474bed",
                "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc9567bf9",
            "selector": "0xc9567bf9",
            "calldata_variants": [
                "0xc9567bf9",
                "0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x73830fef",
            "selector": "0x73830fef",
            "calldata_variants": [
                "0x73830fef",
                "0x73830fef0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x774b2240",
            "selector": "0x774b2240",
            "calldata_variants": [
                "0x774b2240",
                "0x774b22400000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 13814,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x70819f85f95848c47eee2f04e4e204583399ba1b370b1899d7306143b53e32d1
call_targets: 0x28561b8a2360f463011c16b6cc0b0cbef8dbbcad
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x70819f85f95848c47eee2f04e4e204583399ba1b370b1899d7306143b53e32d1",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x28561b8a2360f463011c16b6cc0b0cbef8dbbcad"
    ],
    "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": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xae436e82",
            "selector": "0xae436e82",
            "calldata_variants": [
                "0xae436e82",
                "0xae436e820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf474bed",
            "selector": "0xbf474bed",
            "calldata_variants": [
                "0xbf474bed",
                "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc9567bf9",
            "selector": "0xc9567bf9",
            "calldata_variants": [
                "0xc9567bf9",
                "0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x73830fef",
            "selector": "0x73830fef",
            "calldata_variants": [
                "0x73830fef",
                "0x73830fef0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x774b2240",
            "selector": "0x774b2240",
            "calldata_variants": [
                "0x774b2240",
                "0x774b22400000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3361,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4611,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4930,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 6,
    "guards_detected": [
        {
            "pc": 13814,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 6
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x70819f85f95848c47eee2f04e4e204583399ba1b370b1899d7306143b53e32d1
call_targets: 0x28561b8a2360f463011c16b6cc0b0cbef8dbbcad
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x70819f85f95848c47eee2f04e4e204583399ba1b370b1899d7306143b53e32d1",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x28561b8a2360f463011c16b6cc0b0cbef8dbbcad"
    ],
    "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": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xae436e82",
            "selector": "0xae436e82",
            "calldata_variants": [
                "0xae436e82",
                "0xae436e820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf474bed",
            "selector": "0xbf474bed",
            "calldata_variants": [
                "0xbf474bed",
                "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc9567bf9",
            "selector": "0xc9567bf9",
            "calldata_variants": [
                "0xc9567bf9",
                "0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x73830fef",
            "selector": "0x73830fef",
            "calldata_variants": [
                "0x73830fef",
                "0x73830fef0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x774b2240",
            "selector": "0x774b2240",
            "calldata_variants": [
                "0x774b2240",
                "0x774b22400000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3361,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4611,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4930,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 6,
    "guards_detected": [
        {
            "pc": 13814,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x88aaad5e3d23f125864dda24d19cdd5ac8f424d862f48ddd41dc1e40254f0961
validation_json
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x88aaad5e3d23f125864dda24d19cdd5ac8f424d862f48ddd41dc1e40254f0961",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xae436e82",
            "selector": "0xae436e82",
            "calldata_variants": [
                "0xae436e82",
                "0xae436e820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf474bed",
            "selector": "0xbf474bed",
            "calldata_variants": [
                "0xbf474bed",
                "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc9567bf9",
            "selector": "0xc9567bf9",
            "calldata_variants": [
                "0xc9567bf9",
                "0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x73830fef",
            "selector": "0x73830fef",
            "calldata_variants": [
                "0x73830fef",
                "0x73830fef0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x774b2240",
            "selector": "0x774b2240",
            "calldata_variants": [
                "0x774b2240",
                "0x774b22400000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "create_count": 0,
    "create2_count": 1
}