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

Analysis Run

019b477e-c64e-71f9-ba5b-68d9616b86ff

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
25751 artifact.fetch complete 1 / 3 3 months ago
25752 tool.cast_disasm complete 1 / 3 3 months ago
69102 analysis.bundle complete 1 / 3 2 weeks ago
69103 capability.graph complete 1 / 3 2 weeks ago
69104 detector.run complete 1 / 3 2 weeks ago
69105 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
6
EXT*/BALANCE
34
Total opcodes
5144
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01b7
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6352211e
00000019: GT
0000001a: PUSH2 0x00ec
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x9f181b5e
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xb88d4fde
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xb88d4fde
0000003a: EQ
0000003b: PUSH2 0x04fc
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xc87b56dd
00000045: EQ
00000046: PUSH2 0x051c
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xd1bdb1d1
00000050: EQ
00000051: PUSH2 0x053c
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe985e9c5
0000005b: EQ
0000005c: PUSH2 0x0551
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x9f181b5e
0000006b: EQ
0000006c: PUSH2 0x049b
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa22cb465
00000076: EQ
00000077: PUSH2 0x04c7
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xb42ccdfd
00000081: EQ
00000082: PUSH2 0x04e7
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x70a08231
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x70a08231
0000009c: EQ
0000009d: PUSH2 0x0421
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x785bb03e
000000a7: EQ
000000a8: PUSH2 0x044e
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x8da5cb5b
000000b2: EQ
000000b3: PUSH2 0x0461
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x95d89b41
000000bd: EQ
000000be: PUSH2 0x0486
000000c1: JUMPI
000000c2: PUSH1 0x00
000000c4: DUP1
000000c5: REVERT
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x6352211e
000000cd: EQ
000000ce: PUSH2 0x03b8
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x6900a3ae
000000d8: EQ
000000d9: PUSH2 0x03ee
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x6a627842
000000e3: EQ
000000e4: PUSH2 0x040e
000000e7: JUMPI
000000e8: PUSH1 0x00
000000ea: DUP1
000000eb: REVERT
000000ec: JUMPDEST
000000ed: DUP1
000000ee: PUSH4 0x23b872dd
000000f3: GT
000000f4: PUSH2 0x0159
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x40d097c3
000000fe: GT
000000ff: PUSH2 0x0133
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x40d097c3
00000109: EQ
0000010a: PUSH2 0x0352
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x42842e0e
00000114: EQ
00000115: PUSH2 0x0365
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x49df728c
0000011f: EQ
00000120: PUSH2 0x0385
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x58e8ca0a
0000012a: EQ
0000012b: PUSH2 0x03a5
0000012e: JUMPI
0000012f: PUSH1 0x00
00000131: DUP1
00000132: REVERT
00000133: JUMPDEST
00000134: DUP1
00000135: PUSH4 0x23b872dd
0000013a: EQ
0000013b: PUSH2 0x02fd
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0x28cad13d
00000145: EQ
00000146: PUSH2 0x031d
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x3ccfd60b
00000150: EQ
00000151: PUSH2 0x033d
00000154: JUMPI
00000155: PUSH1 0x00
00000157: DUP1
00000158: REVERT
00000159: JUMPDEST
0000015a: DUP1
0000015b: PUSH4 0x081812fc
00000160: GT
00000161: PUSH2 0x0195
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x081812fc
0000016b: EQ
0000016c: PUSH2 0x023c
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x095ea7b3
00000176: EQ
00000177: PUSH2 0x028a
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x1e7269c5
00000181: EQ
00000182: PUSH2 0x02ac
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x1e84c413
0000018c: EQ
0000018d: PUSH2 0x02dc
00000190: JUMPI
00000191: PUSH1 0x00
00000193: DUP1
00000194: REVERT
00000195: JUMPDEST
00000196: DUP1
00000197: PUSH4 0x01ffc9a7
0000019c: EQ
0000019d: PUSH2 0x01bc
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0x06fdde03
000001a7: EQ
000001a8: PUSH2 0x01f1
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0x07e89ec0
000001b2: EQ
000001b3: PUSH2 0x0213
000001b6: JUMPI
000001b7: JUMPDEST
000001b8: PUSH1 0x00
000001ba: DUP1
000001bb: REVERT
000001bc: JUMPDEST
000001bd: CALLVALUE
000001be: DUP1
000001bf: ISZERO
000001c0: PUSH2 0x01c8
000001c3: JUMPI
000001c4: PUSH1 0x00
000001c6: DUP1
000001c7: REVERT
000001c8: JUMPDEST
000001c9: POP
000001ca: PUSH2 0x01dc
000001cd: PUSH2 0x01d7
000001d0: CALLDATASIZE
000001d1: PUSH1 0x04
000001d3: PUSH2 0x184e
000001d6: JUMP
000001d7: JUMPDEST
000001d8: PUSH2 0x058c
000001db: JUMP
000001dc: JUMPDEST
000001dd: PUSH1 0x40
000001df: MLOAD
000001e0: SWAP1
000001e1: ISZERO
000001e2: ISZERO
000001e3: DUP2
000001e4: MSTORE
000001e5: PUSH1 0x20
000001e7: ADD
000001e8: JUMPDEST
000001e9: PUSH1 0x40
000001eb: MLOAD
000001ec: DUP1
000001ed: SWAP2
000001ee: SUB
000001ef: SWAP1
000001f0: RETURN
000001f1: JUMPDEST
000001f2: CALLVALUE
000001f3: DUP1
000001f4: ISZERO
000001f5: PUSH2 0x01fd
000001f8: JUMPI
000001f9: PUSH1 0x00
000001fb: DUP1
000001fc: REVERT
000001fd: JUMPDEST
000001fe: POP
000001ff: PUSH2 0x0206
00000202: PUSH2 0x0629
00000205: JUMP
00000206: JUMPDEST
00000207: PUSH1 0x40
00000209: MLOAD
0000020a: PUSH2 0x01e8
0000020d: SWAP2
0000020e: SWAP1
0000020f: PUSH2 0x18ca
00000212: JUMP
00000213: JUMPDEST
00000214: CALLVALUE
00000215: DUP1
00000216: ISZERO
00000217: PUSH2 0x021f
0000021a: JUMPI
0000021b: PUSH1 0x00
0000021d: DUP1
0000021e: REVERT
0000021f: JUMPDEST
00000220: POP
00000221: PUSH2 0x022e
00000224: PUSH7 0xb1a2bc2ec50000
0000022c: DUP2
0000022d: JUMP
0000022e: JUMPDEST
0000022f: PUSH1 0x40
00000231: MLOAD
00000232: SWAP1
00000233: DUP2
00000234: MSTORE
00000235: PUSH1 0x20
00000237: ADD
00000238: PUSH2 0x01e8
0000023b: JUMP
0000023c: JUMPDEST
0000023d: CALLVALUE
0000023e: DUP1
0000023f: ISZERO
00000240: PUSH2 0x0248
00000243: JUMPI
00000244: PUSH1 0x00
00000246: DUP1
00000247: REVERT
00000248: JUMPDEST
00000249: POP
0000024a: PUSH2 0x0272
0000024d: PUSH2 0x0257
00000250: CALLDATASIZE
00000251: PUSH1 0x04
00000253: PUSH2 0x18dd
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH1 0x04
0000025a: PUSH1 0x20
0000025c: MSTORE
0000025d: PUSH1 0x00
0000025f: SWAP1
00000260: DUP2
00000261: MSTORE
00000262: PUSH1 0x40
00000264: SWAP1
00000265: KECCAK256
00000266: SLOAD
00000267: PUSH1 0x01
00000269: PUSH1 0x01
0000026b: PUSH1 0xa0
0000026d: SHL
0000026e: SUB
0000026f: AND
00000270: DUP2
00000271: JUMP
00000272: JUMPDEST
00000273: PUSH1 0x40
00000275: MLOAD
00000276: PUSH1 0x01
00000278: PUSH1 0x01
0000027a: PUSH1 0xa0
0000027c: SHL
0000027d: SUB
0000027e: SWAP1
0000027f: SWAP2
00000280: AND
00000281: DUP2
00000282: MSTORE
00000283: PUSH1 0x20
00000285: ADD
00000286: PUSH2 0x01e8
00000289: JUMP
0000028a: JUMPDEST
0000028b: CALLVALUE
0000028c: DUP1
0000028d: ISZERO
0000028e: PUSH2 0x0296
00000291: JUMPI
00000292: PUSH1 0x00
00000294: DUP1
00000295: REVERT
00000296: JUMPDEST
00000297: POP
00000298: PUSH2 0x02aa
0000029b: PUSH2 0x02a5
0000029e: CALLDATASIZE
0000029f: PUSH1 0x04
000002a1: PUSH2 0x190b
000002a4: JUMP
000002a5: JUMPDEST
000002a6: PUSH2 0x06b7
000002a9: JUMP
000002aa: JUMPDEST
000002ab: STOP
000002ac: JUMPDEST
000002ad: CALLVALUE
000002ae: DUP1
000002af: ISZERO
000002b0: PUSH2 0x02b8
000002b3: JUMPI
000002b4: PUSH1 0x00
000002b6: DUP1
000002b7: REVERT
000002b8: JUMPDEST
000002b9: POP
000002ba: PUSH2 0x01dc
000002bd: PUSH2 0x02c7
000002c0: CALLDATASIZE
000002c1: PUSH1 0x04
000002c3: PUSH2 0x1937
000002c6: JUMP
000002c7: JUMPDEST
000002c8: PUSH1 0x07
000002ca: PUSH1 0x20
000002cc: MSTORE
000002cd: PUSH1 0x00
000002cf: SWAP1
000002d0: DUP2
000002d1: MSTORE
000002d2: PUSH1 0x40
000002d4: SWAP1
000002d5: KECCAK256
000002d6: SLOAD
000002d7: PUSH1 0xff
000002d9: AND
000002da: DUP2
000002db: JUMP
000002dc: JUMPDEST
000002dd: CALLVALUE
000002de: DUP1
000002df: ISZERO
000002e0: PUSH2 0x02e8
000002e3: JUMPI
000002e4: PUSH1 0x00
000002e6: DUP1
000002e7: REVERT
000002e8: JUMPDEST
000002e9: POP
000002ea: PUSH1 0x06
000002ec: SLOAD
000002ed: PUSH2 0x01dc
000002f0: SWAP1
000002f1: PUSH1 0x01
000002f3: PUSH1 0xa8
000002f5: SHL
000002f6: SWAP1
000002f7: DIV
000002f8: PUSH1 0xff
000002fa: AND
000002fb: DUP2
000002fc: JUMP
000002fd: JUMPDEST
000002fe: CALLVALUE
000002ff: DUP1
00000300: ISZERO
00000301: PUSH2 0x0309
00000304: JUMPI
00000305: PUSH1 0x00
00000307: DUP1
00000308: REVERT
00000309: JUMPDEST
0000030a: POP
0000030b: PUSH2 0x02aa
0000030e: PUSH2 0x0318
00000311: CALLDATASIZE
00000312: PUSH1 0x04
00000314: PUSH2 0x1954
00000317: JUMP
00000318: JUMPDEST
00000319: PUSH2 0x07ba
0000031c: JUMP
0000031d: JUMPDEST
0000031e: CALLVALUE
0000031f: DUP1
00000320: ISZERO
00000321: PUSH2 0x0329
00000324: JUMPI
00000325: PUSH1 0x00
00000327: DUP1
00000328: REVERT
00000329: JUMPDEST
0000032a: POP
0000032b: PUSH2 0x02aa
0000032e: PUSH2 0x0338
00000331: CALLDATASIZE
00000332: PUSH1 0x04
00000334: PUSH2 0x19a3
00000337: JUMP
00000338: JUMPDEST
00000339: PUSH2 0x09bc
0000033c: JUMP
0000033d: JUMPDEST
0000033e: CALLVALUE
0000033f: DUP1
00000340: ISZERO
00000341: PUSH2 0x0349
00000344: JUMPI
00000345: PUSH1 0x00
00000347: DUP1
00000348: REVERT
00000349: JUMPDEST
0000034a: POP
0000034b: PUSH2 0x02aa
0000034e: PUSH2 0x0a24
00000351: JUMP
00000352: JUMPDEST
00000353: PUSH2 0x02aa
00000356: PUSH2 0x0360
00000359: CALLDATASIZE
0000035a: PUSH1 0x04
0000035c: PUSH2 0x1937
0000035f: JUMP
00000360: JUMPDEST
00000361: PUSH2 0x0af1
00000364: JUMP
00000365: JUMPDEST
00000366: CALLVALUE
00000367: DUP1
00000368: ISZERO
00000369: PUSH2 0x0371
0000036c: JUMPI
0000036d: PUSH1 0x00
0000036f: DUP1
00000370: REVERT
00000371: JUMPDEST
00000372: POP
00000373: PUSH2 0x02aa
00000376: PUSH2 0x0380
00000379: CALLDATASIZE
0000037a: PUSH1 0x04
0000037c: PUSH2 0x1954
0000037f: JUMP
00000380: JUMPDEST
00000381: PUSH2 0x0c0e
00000384: JUMP
00000385: JUMPDEST
00000386: CALLVALUE
00000387: DUP1
00000388: ISZERO
00000389: PUSH2 0x0391
0000038c: JUMPI
0000038d: PUSH1 0x00
0000038f: DUP1
00000390: REVERT
00000391: JUMPDEST
00000392: POP
00000393: PUSH2 0x02aa
00000396: PUSH2 0x03a0
00000399: CALLDATASIZE
0000039a: PUSH1 0x04
0000039c: PUSH2 0x1937
0000039f: JUMP
000003a0: JUMPDEST
000003a1: PUSH2 0x0d07
000003a4: JUMP
000003a5: JUMPDEST
000003a6: PUSH2 0x02aa
000003a9: PUSH2 0x03b3
000003ac: CALLDATASIZE
000003ad: PUSH1 0x04
000003af: PUSH2 0x1937
000003b2: JUMP
000003b3: JUMPDEST
000003b4: PUSH2 0x0e47
000003b7: JUMP
000003b8: JUMPDEST
000003b9: CALLVALUE
000003ba: DUP1
000003bb: ISZERO
000003bc: PUSH2 0x03c4
000003bf: JUMPI
000003c0: PUSH1 0x00
000003c2: DUP1
000003c3: REVERT
000003c4: JUMPDEST
000003c5: POP
000003c6: PUSH2 0x0272
000003c9: PUSH2 0x03d3
000003cc: CALLDATASIZE
000003cd: PUSH1 0x04
000003cf: PUSH2 0x18dd
000003d2: JUMP
000003d3: JUMPDEST
000003d4: PUSH1 0x03
000003d6: PUSH1 0x20
000003d8: MSTORE
000003d9: PUSH1 0x00
000003db: SWAP1
000003dc: DUP2
000003dd: MSTORE
000003de: PUSH1 0x40
000003e0: SWAP1
000003e1: KECCAK256
000003e2: SLOAD
000003e3: PUSH1 0x01
000003e5: PUSH1 0x01
000003e7: PUSH1 0xa0
000003e9: SHL
000003ea: SUB
000003eb: AND
000003ec: DUP2
000003ed: JUMP
000003ee: JUMPDEST
000003ef: CALLVALUE
000003f0: DUP1
000003f1: ISZERO
000003f2: PUSH2 0x03fa
000003f5: JUMPI
000003f6: PUSH1 0x00
000003f8: DUP1
000003f9: REVERT
000003fa: JUMPDEST
000003fb: POP
000003fc: PUSH2 0x0206
000003ff: PUSH2 0x0409
00000402: CALLDATASIZE
00000403: PUSH1 0x04
00000405: PUSH2 0x18dd
00000408: JUMP
00000409: JUMPDEST
0000040a: PUSH2 0x0e9a
0000040d: JUMP
0000040e: JUMPDEST
0000040f: PUSH2 0x02aa
00000412: PUSH2 0x041c
00000415: CALLDATASIZE
00000416: PUSH1 0x04
00000418: PUSH2 0x1937
0000041b: JUMP
0000041c: JUMPDEST
0000041d: PUSH2 0x0fd4
00000420: JUMP
00000421: JUMPDEST
00000422: CALLVALUE
00000423: DUP1
00000424: ISZERO
00000425: PUSH2 0x042d
00000428: JUMPI
00000429: PUSH1 0x00
0000042b: DUP1
0000042c: REVERT
0000042d: JUMPDEST
0000042e: POP
0000042f: PUSH2 0x022e
00000432: PUSH2 0x043c
00000435: CALLDATASIZE
00000436: PUSH1 0x04
00000438: PUSH2 0x1937
0000043b: JUMP
0000043c: JUMPDEST
0000043d: PUSH1 0x02
0000043f: PUSH1 0x20
00000441: MSTORE
00000442: PUSH1 0x00
00000444: SWAP1
00000445: DUP2
00000446: MSTORE
00000447: PUSH1 0x40
00000449: SWAP1
0000044a: KECCAK256
0000044b: SLOAD
0000044c: DUP2
0000044d: JUMP
0000044e: JUMPDEST
0000044f: PUSH2 0x02aa
00000452: PUSH2 0x045c
00000455: CALLDATASIZE
00000456: PUSH1 0x04
00000458: PUSH2 0x1a63
0000045b: JUMP
0000045c: JUMPDEST
0000045d: PUSH2 0x10f1
00000460: JUMP
00000461: JUMPDEST
00000462: CALLVALUE
00000463: DUP1
00000464: ISZERO
00000465: PUSH2 0x046d
00000468: JUMPI
00000469: PUSH1 0x00
0000046b: DUP1
0000046c: REVERT
0000046d: JUMPDEST
0000046e: POP
0000046f: PUSH1 0x06
00000471: SLOAD
00000472: PUSH2 0x0272
00000475: SWAP1
00000476: PUSH2 0x0100
00000479: SWAP1
0000047a: DIV
0000047b: PUSH1 0x01
0000047d: PUSH1 0x01
0000047f: PUSH1 0xa0
00000481: SHL
00000482: SUB
00000483: AND
00000484: DUP2
00000485: JUMP
00000486: JUMPDEST
00000487: CALLVALUE
00000488: DUP1
00000489: ISZERO
0000048a: PUSH2 0x0492
0000048d: JUMPI
0000048e: PUSH1 0x00
00000490: DUP1
00000491: REVERT
00000492: JUMPDEST
00000493: POP
00000494: PUSH2 0x0206
00000497: PUSH2 0x120f
0000049a: JUMP
0000049b: JUMPDEST
0000049c: CALLVALUE
0000049d: DUP1
0000049e: ISZERO
0000049f: PUSH2 0x04a7
000004a2: JUMPI
000004a3: PUSH1 0x00
000004a5: DUP1
000004a6: REVERT
000004a7: JUMPDEST
000004a8: POP
000004a9: PUSH1 0x06
000004ab: SLOAD
000004ac: PUSH2 0x04b5
000004af: SWAP1
000004b0: PUSH1 0xff
000004b2: AND
000004b3: DUP2
000004b4: JUMP
000004b5: JUMPDEST
000004b6: PUSH1 0x40
000004b8: MLOAD
000004b9: PUSH1 0xff
000004bb: SWAP1
000004bc: SWAP2
000004bd: AND
000004be: DUP2
000004bf: MSTORE
000004c0: PUSH1 0x20
000004c2: ADD
000004c3: PUSH2 0x01e8
000004c6: JUMP
000004c7: JUMPDEST
000004c8: CALLVALUE
000004c9: DUP1
000004ca: ISZERO
000004cb: PUSH2 0x04d3
000004ce: JUMPI
000004cf: PUSH1 0x00
000004d1: DUP1
000004d2: REVERT
000004d3: JUMPDEST
000004d4: POP
000004d5: PUSH2 0x02aa
000004d8: PUSH2 0x04e2
000004db: CALLDATASIZE
000004dc: PUSH1 0x04
000004de: PUSH2 0x1ab3
000004e1: JUMP
000004e2: JUMPDEST
000004e3: PUSH2 0x121c
000004e6: JUMP
000004e7: JUMPDEST
000004e8: CALLVALUE
000004e9: DUP1
000004ea: ISZERO
000004eb: PUSH2 0x04f3
000004ee: JUMPI
000004ef: PUSH1 0x00
000004f1: DUP1
000004f2: REVERT
000004f3: JUMPDEST
000004f4: POP
000004f5: PUSH2 0x022e
000004f8: PUSH1 0x64
000004fa: DUP2
000004fb: JUMP
000004fc: JUMPDEST
000004fd: CALLVALUE
000004fe: DUP1
000004ff: ISZERO
00000500: PUSH2 0x0508
00000503: JUMPI
00000504: PUSH1 0x00
00000506: DUP1
00000507: REVERT
00000508: JUMPDEST
00000509: POP
0000050a: PUSH2 0x02aa
0000050d: PUSH2 0x0517
00000510: CALLDATASIZE
00000511: PUSH1 0x04
00000513: PUSH2 0x1aec
00000516: JUMP
00000517: JUMPDEST
00000518: PUSH2 0x1288
0000051b: JUMP
0000051c: JUMPDEST
0000051d: CALLVALUE
0000051e: DUP1
0000051f: ISZERO
00000520: PUSH2 0x0528
00000523: JUMPI
00000524: PUSH1 0x00
00000526: DUP1
00000527: REVERT
00000528: JUMPDEST
00000529: POP
0000052a: PUSH2 0x0206
0000052d: PUSH2 0x0537
00000530: CALLDATASIZE
00000531: PUSH1 0x04
00000533: PUSH2 0x18dd
00000536: JUMP
00000537: JUMPDEST
00000538: PUSH2 0x136d
0000053b: JUMP
0000053c: JUMPDEST
0000053d: CALLVALUE
0000053e: DUP1
0000053f: ISZERO
00000540: PUSH2 0x0548
00000543: JUMPI
00000544: PUSH1 0x00
00000546: DUP1
00000547: REVERT
00000548: JUMPDEST
00000549: POP
0000054a: PUSH2 0x022e
0000054d: PUSH1 0x01
0000054f: DUP2
00000550: JUMP
00000551: JUMPDEST
00000552: CALLVALUE
00000553: DUP1
00000554: ISZERO
00000555: PUSH2 0x055d
00000558: JUMPI
00000559: PUSH1 0x00
0000055b: DUP1
0000055c: REVERT
0000055d: JUMPDEST
0000055e: POP
0000055f: PUSH2 0x01dc
00000562: PUSH2 0x056c
00000565: CALLDATASIZE
00000566: PUSH1 0x04
00000568: PUSH2 0x1b58
0000056b: JUMP
0000056c: JUMPDEST
0000056d: PUSH1 0x05
0000056f: PUSH1 0x20
00000571: SWAP1
00000572: DUP2
00000573: MSTORE
00000574: PUSH1 0x00
00000576: SWAP3
00000577: DUP4
00000578: MSTORE
00000579: PUSH1 0x40
0000057b: DUP1
0000057c: DUP5
0000057d: KECCAK256
0000057e: SWAP1
0000057f: SWAP2
00000580: MSTORE
00000581: SWAP1
00000582: DUP3
00000583: MSTORE
00000584: SWAP1
00000585: KECCAK256
00000586: SLOAD
00000587: PUSH1 0xff
00000589: AND
0000058a: DUP2
0000058b: JUMP
0000058c: JUMPDEST
0000058d: PUSH1 0x00
0000058f: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
000005b0: PUSH1 0x01
000005b2: PUSH1 0x01
000005b4: PUSH1 0xe0
000005b6: SHL
000005b7: SUB
000005b8: NOT
000005b9: DUP4
000005ba: AND
000005bb: EQ
000005bc: DUP1
000005bd: PUSH2 0x05ef
000005c0: JUMPI
000005c1: POP
000005c2: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
000005e3: PUSH1 0x01
000005e5: PUSH1 0x01
000005e7: PUSH1 0xe0
000005e9: SHL
000005ea: SUB
000005eb: NOT
000005ec: DUP4
000005ed: AND
000005ee: EQ
000005ef: JUMPDEST
000005f0: DUP1
000005f1: PUSH2 0x0623
000005f4: JUMPI
000005f5: POP
000005f6: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
00000617: PUSH1 0x01
00000619: PUSH1 0x01
0000061b: PUSH1 0xe0
0000061d: SHL
0000061e: SUB
0000061f: NOT
00000620: DUP4
00000621: AND
00000622: EQ
00000623: JUMPDEST
00000624: SWAP3
00000625: SWAP2
00000626: POP
00000627: POP
00000628: JUMP
00000629: JUMPDEST
0000062a: PUSH1 0x00
0000062c: DUP1
0000062d: SLOAD
0000062e: PUSH2 0x0636
00000631: SWAP1
00000632: PUSH2 0x1b86
00000635: JUMP
00000636: JUMPDEST
00000637: DUP1
00000638: PUSH1 0x1f
0000063a: ADD
0000063b: PUSH1 0x20
0000063d: DUP1
0000063e: SWAP2
0000063f: DIV
00000640: MUL
00000641: PUSH1 0x20
00000643: ADD
00000644: PUSH1 0x40
00000646: MLOAD
00000647: SWAP1
00000648: DUP2
00000649: ADD
0000064a: PUSH1 0x40
0000064c: MSTORE
0000064d: DUP1
0000064e: SWAP3
0000064f: SWAP2
00000650: SWAP1
00000651: DUP2
00000652: DUP2
00000653: MSTORE
00000654: PUSH1 0x20
00000656: ADD
00000657: DUP3
00000658: DUP1
00000659: SLOAD
0000065a: PUSH2 0x0662
0000065d: SWAP1
0000065e: PUSH2 0x1b86
00000661: JUMP
00000662: JUMPDEST
00000663: DUP1
00000664: ISZERO
00000665: PUSH2 0x06af
00000668: JUMPI
00000669: DUP1
0000066a: PUSH1 0x1f
0000066c: LT
0000066d: PUSH2 0x0684
00000670: JUMPI
00000671: PUSH2 0x0100
00000674: DUP1
00000675: DUP4
00000676: SLOAD
00000677: DIV
00000678: MUL
00000679: DUP4
0000067a: MSTORE
0000067b: SWAP2
0000067c: PUSH1 0x20
0000067e: ADD
0000067f: SWAP2
00000680: PUSH2 0x06af
00000683: JUMP
00000684: JUMPDEST
00000685: DUP3
00000686: ADD
00000687: SWAP2
00000688: SWAP1
00000689: PUSH1 0x00
0000068b: MSTORE
0000068c: PUSH1 0x20
0000068e: PUSH1 0x00
00000690: KECCAK256
00000691: SWAP1
00000692: JUMPDEST
00000693: DUP2
00000694: SLOAD
00000695: DUP2
00000696: MSTORE
00000697: SWAP1
00000698: PUSH1 0x01
0000069a: ADD
0000069b: SWAP1
0000069c: PUSH1 0x20
0000069e: ADD
0000069f: DUP1
000006a0: DUP4
000006a1: GT
000006a2: PUSH2 0x0692
000006a5: JUMPI
000006a6: DUP3
000006a7: SWAP1
000006a8: SUB
000006a9: PUSH1 0x1f
000006ab: AND
000006ac: DUP3
000006ad: ADD
000006ae: SWAP2
000006af: JUMPDEST
000006b0: POP
000006b1: POP
000006b2: POP
000006b3: POP
000006b4: POP
000006b5: DUP2
000006b6: JUMP
000006b7: JUMPDEST
000006b8: PUSH1 0x00
000006ba: DUP2
000006bb: DUP2
000006bc: MSTORE
000006bd: PUSH1 0x03
000006bf: PUSH1 0x20
000006c1: MSTORE
000006c2: PUSH1 0x40
000006c4: SWAP1
000006c5: KECCAK256
000006c6: SLOAD
000006c7: PUSH1 0x01
000006c9: PUSH1 0x01
000006cb: PUSH1 0xa0
000006cd: SHL
000006ce: SUB
000006cf: AND
000006d0: CALLER
000006d1: DUP2
000006d2: EQ
000006d3: DUP1
000006d4: PUSH2 0x0700
000006d7: JUMPI
000006d8: POP
000006d9: PUSH1 0x01
000006db: PUSH1 0x01
000006dd: PUSH1 0xa0
000006df: SHL
000006e0: SUB
000006e1: DUP2
000006e2: AND
000006e3: PUSH1 0x00
000006e5: SWAP1
000006e6: DUP2
000006e7: MSTORE
000006e8: PUSH1 0x05
000006ea: PUSH1 0x20
000006ec: SWAP1
000006ed: DUP2
000006ee: MSTORE
000006ef: PUSH1 0x40
000006f1: DUP1
000006f2: DUP4
000006f3: KECCAK256
000006f4: CALLER
000006f5: DUP5
000006f6: MSTORE
000006f7: SWAP1
000006f8: SWAP2
000006f9: MSTORE
000006fa: SWAP1
000006fb: KECCAK256
000006fc: SLOAD
000006fd: PUSH1 0xff
000006ff: AND
00000700: JUMPDEST
00000701: PUSH2 0x0751
00000704: JUMPI
00000705: PUSH1 0x40
00000707: MLOAD
00000708: PUSH3 0x461bcd
0000070c: PUSH1 0xe5
0000070e: SHL
0000070f: DUP2
00000710: MSTORE
00000711: PUSH1 0x20
00000713: PUSH1 0x04
00000715: DUP3
00000716: ADD
00000717: MSTORE
00000718: PUSH1 0x0e
0000071a: PUSH1 0x24
0000071c: DUP3
0000071d: ADD
0000071e: MSTORE
0000071f: PUSH32 0x4e4f545f415554484f52495a4544000000000000000000000000000000000000
00000740: PUSH1 0x44
00000742: DUP3
00000743: ADD
00000744: MSTORE
00000745: PUSH1 0x64
00000747: ADD
00000748: JUMPDEST
00000749: PUSH1 0x40
0000074b: MLOAD
0000074c: DUP1
0000074d: SWAP2
0000074e: SUB
0000074f: SWAP1
00000750: REVERT
00000751: JUMPDEST
00000752: PUSH1 0x00
00000754: DUP3
00000755: DUP2
00000756: MSTORE
00000757: PUSH1 0x04
00000759: PUSH1 0x20
0000075b: MSTORE
0000075c: PUSH1 0x40
0000075e: DUP1
0000075f: DUP3
00000760: KECCAK256
00000761: DUP1
00000762: SLOAD
00000763: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000778: NOT
00000779: AND
0000077a: PUSH1 0x01
0000077c: PUSH1 0x01
0000077e: PUSH1 0xa0
00000780: SHL
00000781: SUB
00000782: DUP8
00000783: DUP2
00000784: AND
00000785: SWAP2
00000786: DUP3
00000787: OR
00000788: SWAP1
00000789: SWAP3
0000078a: SSTORE
0000078b: SWAP2
0000078c: MLOAD
0000078d: DUP6
0000078e: SWAP4
0000078f: SWAP2
00000790: DUP6
00000791: AND
00000792: SWAP2
00000793: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000007b4: SWAP2
000007b5: LOG4
000007b6: POP
000007b7: POP
000007b8: POP
000007b9: JUMP
000007ba: JUMPDEST
000007bb: PUSH1 0x00
000007bd: DUP2
000007be: DUP2
000007bf: MSTORE
000007c0: PUSH1 0x03
000007c2: PUSH1 0x20
000007c4: MSTORE
000007c5: PUSH1 0x40
000007c7: SWAP1
000007c8: KECCAK256
000007c9: SLOAD
000007ca: PUSH1 0x01
000007cc: PUSH1 0x01
000007ce: PUSH1 0xa0
000007d0: SHL
000007d1: SUB
000007d2: DUP5
000007d3: DUP2
000007d4: AND
000007d5: SWAP2
000007d6: AND
000007d7: EQ
000007d8: PUSH2 0x0823
000007db: JUMPI
000007dc: PUSH1 0x40
000007de: MLOAD
000007df: PUSH3 0x461bcd
000007e3: PUSH1 0xe5
000007e5: SHL
000007e6: DUP2
000007e7: MSTORE
000007e8: PUSH1 0x20
000007ea: PUSH1 0x04
000007ec: DUP3
000007ed: ADD
000007ee: MSTORE
000007ef: PUSH1 0x0a
000007f1: PUSH1 0x24
000007f3: DUP3
000007f4: ADD
000007f5: MSTORE
000007f6: PUSH32 0x57524f4e475f46524f4d00000000000000000000000000000000000000000000
00000817: PUSH1 0x44
00000819: DUP3
0000081a: ADD
0000081b: MSTORE
0000081c: PUSH1 0x64
0000081e: ADD
0000081f: PUSH2 0x0748
00000822: JUMP
00000823: JUMPDEST
00000824: PUSH1 0x01
00000826: PUSH1 0x01
00000828: PUSH1 0xa0
0000082a: SHL
0000082b: SUB
0000082c: DUP3
0000082d: AND
0000082e: PUSH2 0x0879
00000831: JUMPI
00000832: PUSH1 0x40
00000834: MLOAD
00000835: PUSH3 0x461bcd
00000839: PUSH1 0xe5
0000083b: SHL
0000083c: DUP2
0000083d: MSTORE
0000083e: PUSH1 0x20
00000840: PUSH1 0x04
00000842: DUP3
00000843: ADD
00000844: MSTORE
00000845: PUSH1 0x11
00000847: PUSH1 0x24
00000849: DUP3
0000084a: ADD
0000084b: MSTORE
0000084c: PUSH32 0x494e56414c49445f524543495049454e54000000000000000000000000000000
0000086d: PUSH1 0x44
0000086f: DUP3
00000870: ADD
00000871: MSTORE
00000872: PUSH1 0x64
00000874: ADD
00000875: PUSH2 0x0748
00000878: JUMP
00000879: JUMPDEST
0000087a: CALLER
0000087b: PUSH1 0x01
0000087d: PUSH1 0x01
0000087f: PUSH1 0xa0
00000881: SHL
00000882: SUB
00000883: DUP5
00000884: AND
00000885: EQ
00000886: DUP1
00000887: PUSH2 0x08a6
0000088a: JUMPI
0000088b: POP
0000088c: PUSH1 0x00
0000088e: DUP2
0000088f: DUP2
00000890: MSTORE
00000891: PUSH1 0x04
00000893: PUSH1 0x20
00000895: MSTORE
00000896: PUSH1 0x40
00000898: SWAP1
00000899: KECCAK256
0000089a: SLOAD
0000089b: PUSH1 0x01
0000089d: PUSH1 0x01
0000089f: PUSH1 0xa0
000008a1: SHL
000008a2: SUB
000008a3: AND
000008a4: CALLER
000008a5: EQ
000008a6: JUMPDEST
000008a7: DUP1
000008a8: PUSH2 0x08d4
000008ab: JUMPI
000008ac: POP
000008ad: PUSH1 0x01
000008af: PUSH1 0x01
000008b1: PUSH1 0xa0
000008b3: SHL
000008b4: SUB
000008b5: DUP4
000008b6: AND
000008b7: PUSH1 0x00
000008b9: SWAP1
000008ba: DUP2
000008bb: MSTORE
000008bc: PUSH1 0x05
000008be: PUSH1 0x20
000008c0: SWAP1
000008c1: DUP2
000008c2: MSTORE
000008c3: PUSH1 0x40
000008c5: DUP1
000008c6: DUP4
000008c7: KECCAK256
000008c8: CALLER
000008c9: DUP5
000008ca: MSTORE
000008cb: SWAP1
000008cc: SWAP2
000008cd: MSTORE
000008ce: SWAP1
000008cf: KECCAK256
000008d0: SLOAD
000008d1: PUSH1 0xff
000008d3: AND
000008d4: JUMPDEST
000008d5: PUSH2 0x0920
000008d8: JUMPI
000008d9: PUSH1 0x40
000008db: MLOAD
000008dc: PUSH3 0x461bcd
000008e0: PUSH1 0xe5
000008e2: SHL
000008e3: DUP2
000008e4: MSTORE
000008e5: PUSH1 0x20
000008e7: PUSH1 0x04
000008e9: DUP3
000008ea: ADD
000008eb: MSTORE
000008ec: PUSH1 0x0e
000008ee: PUSH1 0x24
000008f0: DUP3
000008f1: ADD
000008f2: MSTORE
000008f3: PUSH32 0x4e4f545f415554484f52495a4544000000000000000000000000000000000000
00000914: PUSH1 0x44
00000916: DUP3
00000917: ADD
00000918: MSTORE
00000919: PUSH1 0x64
0000091b: ADD
0000091c: PUSH2 0x0748
0000091f: JUMP
00000920: JUMPDEST
00000921: PUSH1 0x01
00000923: PUSH1 0x01
00000925: PUSH1 0xa0
00000927: SHL
00000928: SUB
00000929: DUP1
0000092a: DUP5
0000092b: AND
0000092c: PUSH1 0x00
0000092e: DUP2
0000092f: DUP2
00000930: MSTORE
00000931: PUSH1 0x02
00000933: PUSH1 0x20
00000935: SWAP1
00000936: DUP2
00000937: MSTORE
00000938: PUSH1 0x40
0000093a: DUP1
0000093b: DUP4
0000093c: KECCAK256
0000093d: DUP1
0000093e: SLOAD
0000093f: PUSH1 0x00
00000941: NOT
00000942: ADD
00000943: SWAP1
00000944: SSTORE
00000945: SWAP4
00000946: DUP7
00000947: AND
00000948: DUP1
00000949: DUP4
0000094a: MSTORE
0000094b: DUP5
0000094c: DUP4
0000094d: KECCAK256
0000094e: DUP1
0000094f: SLOAD
00000950: PUSH1 0x01
00000952: ADD
00000953: SWAP1
00000954: SSTORE
00000955: DUP6
00000956: DUP4
00000957: MSTORE
00000958: PUSH1 0x03
0000095a: DUP3
0000095b: MSTORE
0000095c: DUP5
0000095d: DUP4
0000095e: KECCAK256
0000095f: DUP1
00000960: SLOAD
00000961: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000976: NOT
00000977: SWAP1
00000978: DUP2
00000979: AND
0000097a: DUP4
0000097b: OR
0000097c: SWAP1
0000097d: SWAP2
0000097e: SSTORE
0000097f: PUSH1 0x04
00000981: SWAP1
00000982: SWAP3
00000983: MSTORE
00000984: DUP5
00000985: DUP4
00000986: KECCAK256
00000987: DUP1
00000988: SLOAD
00000989: SWAP1
0000098a: SWAP3
0000098b: AND
0000098c: SWAP1
0000098d: SWAP2
0000098e: SSTORE
0000098f: SWAP3
00000990: MLOAD
00000991: DUP5
00000992: SWAP4
00000993: SWAP3
00000994: SWAP2
00000995: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000009b6: SWAP2
000009b7: LOG4
000009b8: POP
000009b9: POP
000009ba: POP
000009bb: JUMP
000009bc: JUMPDEST
000009bd: PUSH1 0x06
000009bf: SLOAD
000009c0: PUSH2 0x0100
000009c3: SWAP1
000009c4: DIV
000009c5: PUSH1 0x01
000009c7: PUSH1 0x01
000009c9: PUSH1 0xa0
000009cb: SHL
000009cc: SUB
000009cd: AND
000009ce: CALLER
000009cf: EQ
000009d0: PUSH2 0x09eb
000009d3: JUMPI
000009d4: PUSH1 0x40
000009d6: MLOAD
000009d7: PUSH3 0x82b429
000009db: PUSH1 0xe8
000009dd: SHL
000009de: DUP2
000009df: MSTORE
000009e0: PUSH1 0x04
000009e2: ADD
000009e3: PUSH1 0x40
000009e5: MLOAD
000009e6: DUP1
000009e7: SWAP2
000009e8: SUB
000009e9: SWAP1
000009ea: REVERT
000009eb: JUMPDEST
000009ec: PUSH1 0x06
000009ee: DUP1
000009ef: SLOAD
000009f0: SWAP2
000009f1: ISZERO
000009f2: ISZERO
000009f3: PUSH1 0x01
000009f5: PUSH1 0xa8
000009f7: SHL
000009f8: MUL
000009f9: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff
00000a1a: SWAP1
00000a1b: SWAP3
00000a1c: AND
00000a1d: SWAP2
00000a1e: SWAP1
00000a1f: SWAP2
00000a20: OR
00000a21: SWAP1
00000a22: SSTORE
00000a23: JUMP
00000a24: JUMPDEST
00000a25: PUSH1 0x06
00000a27: SLOAD
00000a28: PUSH2 0x0100
00000a2b: SWAP1
00000a2c: DIV
00000a2d: PUSH1 0x01
00000a2f: PUSH1 0x01
00000a31: PUSH1 0xa0
00000a33: SHL
00000a34: SUB
00000a35: AND
00000a36: CALLER
00000a37: EQ
00000a38: PUSH2 0x0a53
00000a3b: JUMPI
00000a3c: PUSH1 0x40
00000a3e: MLOAD
00000a3f: PUSH3 0x82b429
00000a43: PUSH1 0xe8
00000a45: SHL
00000a46: DUP2
00000a47: MSTORE
00000a48: PUSH1 0x04
00000a4a: ADD
00000a4b: PUSH1 0x40
00000a4d: MLOAD
00000a4e: DUP1
00000a4f: SWAP2
00000a50: SUB
00000a51: SWAP1
00000a52: REVERT
00000a53: JUMPDEST
00000a54: PUSH1 0x40
00000a56: MLOAD
00000a57: SELFBALANCE
00000a58: SWAP1
00000a59: PUSH1 0x00
00000a5b: SWAP1
00000a5c: CALLER
00000a5d: SWAP1
00000a5e: DUP4
00000a5f: SWAP1
00000a60: DUP4
00000a61: DUP2
00000a62: DUP2
00000a63: DUP2
00000a64: DUP6
00000a65: DUP8
00000a66: GAS
00000a67: CALL
00000a68: SWAP3
00000a69: POP
00000a6a: POP
00000a6b: POP
00000a6c: RETURNDATASIZE
00000a6d: DUP1
00000a6e: PUSH1 0x00
00000a70: DUP2
00000a71: EQ
00000a72: PUSH2 0x0a97
00000a75: JUMPI
00000a76: PUSH1 0x40
00000a78: MLOAD
00000a79: SWAP2
00000a7a: POP
00000a7b: PUSH1 0x1f
00000a7d: NOT
00000a7e: PUSH1 0x3f
00000a80: RETURNDATASIZE
00000a81: ADD
00000a82: AND
00000a83: DUP3
00000a84: ADD
00000a85: PUSH1 0x40
00000a87: MSTORE
00000a88: RETURNDATASIZE
00000a89: DUP3
00000a8a: MSTORE
00000a8b: RETURNDATASIZE
00000a8c: PUSH1 0x00
00000a8e: PUSH1 0x20
00000a90: DUP5
00000a91: ADD
00000a92: RETURNDATACOPY
00000a93: PUSH2 0x0a9c
00000a96: JUMP
00000a97: JUMPDEST
00000a98: PUSH1 0x60
00000a9a: SWAP2
00000a9b: POP
00000a9c: JUMPDEST
00000a9d: POP
00000a9e: POP
00000a9f: SWAP1
00000aa0: POP
00000aa1: DUP1
00000aa2: PUSH2 0x0aed
00000aa5: JUMPI
00000aa6: PUSH1 0x40
00000aa8: MLOAD
00000aa9: PUSH3 0x461bcd
00000aad: PUSH1 0xe5
00000aaf: SHL
00000ab0: DUP2
00000ab1: MSTORE
00000ab2: PUSH1 0x20
00000ab4: PUSH1 0x04
00000ab6: DUP3
00000ab7: ADD
00000ab8: MSTORE
00000ab9: PUSH1 0x14
00000abb: PUSH1 0x24
00000abd: DUP3
00000abe: ADD
00000abf: MSTORE
00000ac0: PUSH32 0x4661696c656420746f2073656e64204574686572000000000000000000000000
00000ae1: PUSH1 0x44
00000ae3: DUP3
00000ae4: ADD
00000ae5: MSTORE
00000ae6: PUSH1 0x64
00000ae8: ADD
00000ae9: PUSH2 0x0748
00000aec: JUMP
00000aed: JUMPDEST
00000aee: POP
00000aef: POP
00000af0: JUMP
00000af1: JUMPDEST
00000af2: CALLVALUE
00000af3: PUSH7 0xb1a2bc2ec50000
00000afb: GT
00000afc: ISZERO
00000afd: PUSH2 0x0b19
00000b00: JUMPI
00000b01: PUSH1 0x40
00000b03: MLOAD
00000b04: PUSH4 0x356680b7
00000b09: PUSH1 0xe0
00000b0b: SHL
00000b0c: DUP2
00000b0d: MSTORE
00000b0e: PUSH1 0x04
00000b10: ADD
00000b11: PUSH1 0x40
00000b13: MLOAD
00000b14: DUP1
00000b15: SWAP2
00000b16: SUB
00000b17: SWAP1
00000b18: REVERT
00000b19: JUMPDEST
00000b1a: PUSH1 0x06
00000b1c: SLOAD
00000b1d: PUSH1 0x64
00000b1f: PUSH1 0xff
00000b21: SWAP1
00000b22: SWAP2
00000b23: AND
00000b24: LT
00000b25: PUSH2 0x0b41
00000b28: JUMPI
00000b29: PUSH1 0x40
00000b2b: MLOAD
00000b2c: PUSH4 0x71e3b461
00000b31: PUSH1 0xe0
00000b33: SHL
00000b34: DUP2
00000b35: MSTORE
00000b36: PUSH1 0x04
00000b38: ADD
00000b39: PUSH1 0x40
00000b3b: MLOAD
00000b3c: DUP1
00000b3d: SWAP2
00000b3e: SUB
00000b3f: SWAP1
00000b40: REVERT
00000b41: JUMPDEST
00000b42: PUSH1 0x06
00000b44: SLOAD
00000b45: PUSH1 0x64
00000b47: SWAP1
00000b48: PUSH2 0x0b55
00000b4b: SWAP1
00000b4c: PUSH1 0xff
00000b4e: AND
00000b4f: PUSH1 0x01
00000b51: PUSH2 0x1bd7
00000b54: JUMP
00000b55: JUMPDEST
00000b56: PUSH1 0xff
00000b58: AND
00000b59: GT
00000b5a: ISZERO
00000b5b: PUSH2 0x0b77
00000b5e: JUMPI
00000b5f: PUSH1 0x40
00000b61: MLOAD
00000b62: PUSH4 0x28a90331
00000b67: PUSH1 0xe2
00000b69: SHL
00000b6a: DUP2
00000b6b: MSTORE
00000b6c: PUSH1 0x04
00000b6e: ADD
00000b6f: PUSH1 0x40
00000b71: MLOAD
00000b72: DUP1
00000b73: SWAP2
00000b74: SUB
00000b75: SWAP1
00000b76: REVERT
00000b77: JUMPDEST
00000b78: CALLER
00000b79: PUSH1 0x00
00000b7b: SWAP1
00000b7c: DUP2
00000b7d: MSTORE
00000b7e: PUSH1 0x07
00000b80: PUSH1 0x20
00000b82: MSTORE
00000b83: PUSH1 0x40
00000b85: SWAP1
00000b86: KECCAK256
00000b87: SLOAD
00000b88: PUSH1 0xff
00000b8a: AND
00000b8b: ISZERO
00000b8c: PUSH2 0x0ba8
00000b8f: JUMPI
00000b90: PUSH1 0x40
00000b92: MLOAD
00000b93: PUSH4 0x1bbdf5c5
00000b98: PUSH1 0xe3
00000b9a: SHL
00000b9b: DUP2
00000b9c: MSTORE
00000b9d: PUSH1 0x04
00000b9f: ADD
00000ba0: PUSH1 0x40
00000ba2: MLOAD
00000ba3: DUP1
00000ba4: SWAP2
00000ba5: SUB
00000ba6: SWAP1
00000ba7: REVERT
00000ba8: JUMPDEST
00000ba9: PUSH1 0x06
00000bab: SLOAD
00000bac: PUSH1 0x01
00000bae: PUSH1 0xa8
00000bb0: SHL
00000bb1: SWAP1
00000bb2: DIV
00000bb3: PUSH1 0xff
00000bb5: AND
00000bb6: PUSH2 0x0bd2
00000bb9: JUMPI
00000bba: PUSH1 0x40
00000bbc: MLOAD
00000bbd: PUSH4 0x589ed34b
00000bc2: PUSH1 0xe0
00000bc4: SHL
00000bc5: DUP2
00000bc6: MSTORE
00000bc7: PUSH1 0x04
00000bc9: ADD
00000bca: PUSH1 0x40
00000bcc: MLOAD
00000bcd: DUP1
00000bce: SWAP2
00000bcf: SUB
00000bd0: SWAP1
00000bd1: REVERT
00000bd2: JUMPDEST
00000bd3: PUSH1 0x06
00000bd5: DUP1
00000bd6: SLOAD
00000bd7: PUSH1 0xff
00000bd9: DUP1
00000bda: DUP3
00000bdb: AND
00000bdc: PUSH1 0x01
00000bde: DUP2
00000bdf: DUP2
00000be0: ADD
00000be1: SWAP1
00000be2: SWAP3
00000be3: AND
00000be4: PUSH1 0xff
00000be6: NOT
00000be7: SWAP4
00000be8: DUP5
00000be9: AND
00000bea: OR
00000beb: SWAP1
00000bec: SWAP4
00000bed: SSTORE
00000bee: CALLER
00000bef: PUSH1 0x00
00000bf1: SWAP1
00000bf2: DUP2
00000bf3: MSTORE
00000bf4: PUSH1 0x07
00000bf6: PUSH1 0x20
00000bf8: MSTORE
00000bf9: PUSH1 0x40
00000bfb: SWAP1
00000bfc: KECCAK256
00000bfd: DUP1
00000bfe: SLOAD
00000bff: SWAP1
00000c00: SWAP3
00000c01: AND
00000c02: OR
00000c03: SWAP1
00000c04: SSTORE
00000c05: PUSH2 0x0aed
00000c08: DUP3
00000c09: DUP3
00000c0a: PUSH2 0x1425
00000c0d: JUMP
00000c0e: JUMPDEST
00000c0f: PUSH2 0x0c19
00000c12: DUP4
00000c13: DUP4
00000c14: DUP4
00000c15: PUSH2 0x07ba
00000c18: JUMP
00000c19: JUMPDEST
00000c1a: PUSH1 0x01
00000c1c: PUSH1 0x01
00000c1e: PUSH1 0xa0
00000c20: SHL
00000c21: SUB
00000c22: DUP3
00000c23: AND
00000c24: EXTCODESIZE
00000c25: ISZERO
00000c26: DUP1
00000c27: PUSH2 0x0cc3
00000c2a: JUMPI
00000c2b: POP
00000c2c: PUSH1 0x40
00000c2e: MLOAD
00000c2f: PUSH4 0x0a85bd01
00000c34: PUSH1 0xe1
00000c36: SHL
00000c37: DUP1
00000c38: DUP3
00000c39: MSTORE
00000c3a: CALLER
00000c3b: PUSH1 0x04
00000c3d: DUP4
00000c3e: ADD
00000c3f: MSTORE
00000c40: PUSH1 0x01
00000c42: PUSH1 0x01
00000c44: PUSH1 0xa0
00000c46: SHL
00000c47: SUB
00000c48: DUP6
00000c49: DUP2
00000c4a: AND
00000c4b: PUSH1 0x24
00000c4d: DUP5
00000c4e: ADD
00000c4f: MSTORE
00000c50: PUSH1 0x44
00000c52: DUP4
00000c53: ADD
00000c54: DUP5
00000c55: SWAP1
00000c56: MSTORE
00000c57: PUSH1 0x80
00000c59: PUSH1 0x64
00000c5b: DUP5
00000c5c: ADD
00000c5d: MSTORE
00000c5e: PUSH1 0x00
00000c60: PUSH1 0x84
00000c62: DUP5
00000c63: ADD
00000c64: MSTORE
00000c65: SWAP1
00000c66: SWAP2
00000c67: SWAP1
00000c68: DUP5
00000c69: AND
00000c6a: SWAP1
00000c6b: PUSH4 0x150b7a02
00000c70: SWAP1
00000c71: PUSH1 0xa4
00000c73: ADD
00000c74: JUMPDEST
00000c75: PUSH1 0x20
00000c77: PUSH1 0x40
00000c79: MLOAD
00000c7a: DUP1
00000c7b: DUP4
00000c7c: SUB
00000c7d: DUP2
00000c7e: PUSH1 0x00
00000c80: DUP8
00000c81: GAS
00000c82: CALL
00000c83: ISZERO
00000c84: DUP1
00000c85: ISZERO
00000c86: PUSH2 0x0c93
00000c89: JUMPI
00000c8a: RETURNDATASIZE
00000c8b: PUSH1 0x00
00000c8d: DUP1
00000c8e: RETURNDATACOPY
00000c8f: RETURNDATASIZE
00000c90: PUSH1 0x00
00000c92: REVERT
00000c93: JUMPDEST
00000c94: POP
00000c95: POP
00000c96: POP
00000c97: POP
00000c98: PUSH1 0x40
00000c9a: MLOAD
00000c9b: RETURNDATASIZE
00000c9c: PUSH1 0x1f
00000c9e: NOT
00000c9f: PUSH1 0x1f
00000ca1: DUP3
00000ca2: ADD
00000ca3: AND
00000ca4: DUP3
00000ca5: ADD
00000ca6: DUP1
00000ca7: PUSH1 0x40
00000ca9: MSTORE
00000caa: POP
00000cab: DUP2
00000cac: ADD
00000cad: SWAP1
00000cae: PUSH2 0x0cb7
00000cb1: SWAP2
00000cb2: SWAP1
00000cb3: PUSH2 0x1bfc
00000cb6: JUMP
00000cb7: JUMPDEST
00000cb8: PUSH1 0x01
00000cba: PUSH1 0x01
00000cbc: PUSH1 0xe0
00000cbe: SHL
00000cbf: SUB
00000cc0: NOT
00000cc1: AND
00000cc2: EQ
00000cc3: JUMPDEST
00000cc4: PUSH2 0x0d02
00000cc7: JUMPI
00000cc8: PUSH1 0x40
00000cca: MLOAD
00000ccb: PUSH3 0x461bcd
00000ccf: PUSH1 0xe5
00000cd1: SHL
00000cd2: DUP2
00000cd3: MSTORE
00000cd4: PUSH1 0x20
00000cd6: PUSH1 0x04
00000cd8: DUP3
00000cd9: ADD
00000cda: MSTORE
00000cdb: PUSH1 0x10
00000cdd: PUSH1 0x24
00000cdf: DUP3
00000ce0: ADD
00000ce1: MSTORE
00000ce2: PUSH16 0x155394d0519157d49150d25412515395
00000cf3: PUSH1 0x82
00000cf5: SHL
00000cf6: PUSH1 0x44
00000cf8: DUP3
00000cf9: ADD
00000cfa: MSTORE
00000cfb: PUSH1 0x64
00000cfd: ADD
00000cfe: PUSH2 0x0748
00000d01: JUMP
00000d02: JUMPDEST
00000d03: POP
00000d04: POP
00000d05: POP
00000d06: JUMP
00000d07: JUMPDEST
00000d08: PUSH1 0x06
00000d0a: SLOAD
00000d0b: PUSH2 0x0100
00000d0e: SWAP1
00000d0f: DIV
00000d10: PUSH1 0x01
00000d12: PUSH1 0x01
00000d14: PUSH1 0xa0
00000d16: SHL
00000d17: SUB
00000d18: AND
00000d19: CALLER
00000d1a: EQ
00000d1b: PUSH2 0x0d36
00000d1e: JUMPI
00000d1f: PUSH1 0x40
00000d21: MLOAD
00000d22: PUSH3 0x82b429
00000d26: PUSH1 0xe8
00000d28: SHL
00000d29: DUP2
00000d2a: MSTORE
00000d2b: PUSH1 0x04
00000d2d: ADD
00000d2e: PUSH1 0x40
00000d30: MLOAD
00000d31: DUP1
00000d32: SWAP2
00000d33: SUB
00000d34: SWAP1
00000d35: REVERT
00000d36: JUMPDEST
00000d37: PUSH1 0x40
00000d39: MLOAD
00000d3a: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000d5b: DUP2
00000d5c: MSTORE
00000d5d: ADDRESS
00000d5e: PUSH1 0x04
00000d60: DUP3
00000d61: ADD
00000d62: MSTORE
00000d63: PUSH1 0x00
00000d65: SWAP1
00000d66: PUSH1 0x01
00000d68: PUSH1 0x01
00000d6a: PUSH1 0xa0
00000d6c: SHL
00000d6d: SUB
00000d6e: DUP4
00000d6f: AND
00000d70: SWAP1
00000d71: PUSH4 0x70a08231
00000d76: SWAP1
00000d77: PUSH1 0x24
00000d79: ADD
00000d7a: PUSH1 0x20
00000d7c: PUSH1 0x40
00000d7e: MLOAD
00000d7f: DUP1
00000d80: DUP4
00000d81: SUB
00000d82: DUP2
00000d83: DUP7
00000d84: GAS
00000d85: STATICCALL
00000d86: ISZERO
00000d87: DUP1
00000d88: ISZERO
00000d89: PUSH2 0x0d96
00000d8c: JUMPI
00000d8d: RETURNDATASIZE
00000d8e: PUSH1 0x00
00000d90: DUP1
00000d91: RETURNDATACOPY
00000d92: RETURNDATASIZE
00000d93: PUSH1 0x00
00000d95: REVERT
00000d96: JUMPDEST
00000d97: POP
00000d98: POP
00000d99: POP
00000d9a: POP
00000d9b: PUSH1 0x40
00000d9d: MLOAD
00000d9e: RETURNDATASIZE
00000d9f: PUSH1 0x1f
00000da1: NOT
00000da2: PUSH1 0x1f
00000da4: DUP3
00000da5: ADD
00000da6: AND
00000da7: DUP3
00000da8: ADD
00000da9: DUP1
00000daa: PUSH1 0x40
00000dac: MSTORE
00000dad: POP
00000dae: DUP2
00000daf: ADD
00000db0: SWAP1
00000db1: PUSH2 0x0dba
00000db4: SWAP2
00000db5: SWAP1
00000db6: PUSH2 0x1c19
00000db9: JUMP
00000dba: JUMPDEST
00000dbb: PUSH1 0x40
00000dbd: MLOAD
00000dbe: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00000ddf: DUP2
00000de0: MSTORE
00000de1: CALLER
00000de2: PUSH1 0x04
00000de4: DUP3
00000de5: ADD
00000de6: MSTORE
00000de7: PUSH1 0x24
00000de9: DUP2
00000dea: ADD
00000deb: DUP3
00000dec: SWAP1
00000ded: MSTORE
00000dee: SWAP1
00000def: SWAP2
00000df0: POP
00000df1: PUSH1 0x01
00000df3: PUSH1 0x01
00000df5: PUSH1 0xa0
00000df7: SHL
00000df8: SUB
00000df9: DUP4
00000dfa: AND
00000dfb: SWAP1
00000dfc: PUSH4 0xa9059cbb
00000e01: SWAP1
00000e02: PUSH1 0x44
00000e04: ADD
00000e05: PUSH1 0x20
00000e07: PUSH1 0x40
00000e09: MLOAD
00000e0a: DUP1
00000e0b: DUP4
00000e0c: SUB
00000e0d: DUP2
00000e0e: PUSH1 0x00
00000e10: DUP8
00000e11: GAS
00000e12: CALL
00000e13: ISZERO
00000e14: DUP1
00000e15: ISZERO
00000e16: PUSH2 0x0e23
00000e19: JUMPI
00000e1a: RETURNDATASIZE
00000e1b: PUSH1 0x00
00000e1d: DUP1
00000e1e: RETURNDATACOPY
00000e1f: RETURNDATASIZE
00000e20: PUSH1 0x00
00000e22: REVERT
00000e23: JUMPDEST
00000e24: POP
00000e25: POP
00000e26: POP
00000e27: POP
00000e28: PUSH1 0x40
00000e2a: MLOAD
00000e2b: RETURNDATASIZE
00000e2c: PUSH1 0x1f
00000e2e: NOT
00000e2f: PUSH1 0x1f
00000e31: DUP3
00000e32: ADD
00000e33: AND
00000e34: DUP3
00000e35: ADD
00000e36: DUP1
00000e37: PUSH1 0x40
00000e39: MSTORE
00000e3a: POP
00000e3b: DUP2
00000e3c: ADD
00000e3d: SWAP1
00000e3e: PUSH2 0x0d02
00000e41: SWAP2
00000e42: SWAP1
00000e43: PUSH2 0x1c32
00000e46: JUMP
00000e47: JUMPDEST
00000e48: PUSH1 0x06
00000e4a: SLOAD
00000e4b: PUSH2 0x0100
00000e4e: SWAP1
00000e4f: DIV
00000e50: PUSH1 0x01
00000e52: PUSH1 0x01
00000e54: PUSH1 0xa0
00000e56: SHL
00000e57: SUB
00000e58: AND
00000e59: CALLER
00000e5a: EQ
00000e5b: PUSH2 0x0e76
00000e5e: JUMPI
00000e5f: PUSH1 0x40
00000e61: MLOAD
00000e62: PUSH3 0x82b429
00000e66: PUSH1 0xe8
00000e68: SHL
00000e69: DUP2
00000e6a: MSTORE
00000e6b: PUSH1 0x04
00000e6d: ADD
00000e6e: PUSH1 0x40
00000e70: MLOAD
00000e71: DUP1
00000e72: SWAP2
00000e73: SUB
00000e74: SWAP1
00000e75: REVERT
00000e76: JUMPDEST
00000e77: PUSH1 0x06
00000e79: DUP1
00000e7a: SLOAD
00000e7b: PUSH1 0xff
00000e7d: NOT
00000e7e: DUP2
00000e7f: AND
00000e80: PUSH1 0x01
00000e82: PUSH1 0xff
00000e84: SWAP3
00000e85: DUP4
00000e86: AND
00000e87: SWAP1
00000e88: DUP2
00000e89: ADD
00000e8a: SWAP1
00000e8b: SWAP3
00000e8c: AND
00000e8d: OR
00000e8e: SWAP1
00000e8f: SWAP2
00000e90: SSTORE
00000e91: PUSH2 0x0aed
00000e94: DUP3
00000e95: DUP3
00000e96: PUSH2 0x1514
00000e99: JUMP
00000e9a: JUMPDEST
00000e9b: PUSH1 0x60
00000e9d: DUP2
00000e9e: PUSH2 0x0eda
00000ea1: JUMPI
00000ea2: POP
00000ea3: POP
00000ea4: PUSH1 0x40
00000ea6: DUP1
00000ea7: MLOAD
00000ea8: DUP1
00000ea9: DUP3
00000eaa: ADD
00000eab: SWAP1
00000eac: SWAP2
00000ead: MSTORE
00000eae: PUSH1 0x01
00000eb0: DUP2
00000eb1: MSTORE
00000eb2: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00000ed3: PUSH1 0x20
00000ed5: DUP3
00000ed6: ADD
00000ed7: MSTORE
00000ed8: SWAP1
00000ed9: JUMP
00000eda: JUMPDEST
00000edb: DUP2
00000edc: PUSH1 0x00
00000ede: JUMPDEST
00000edf: DUP2
00000ee0: ISZERO
00000ee1: PUSH2 0x0f04
00000ee4: JUMPI
00000ee5: DUP1
00000ee6: PUSH2 0x0eee
00000ee9: DUP2
00000eea: PUSH2 0x1c4f
00000eed: JUMP
00000eee: JUMPDEST
00000eef: SWAP2
00000ef0: POP
00000ef1: PUSH2 0x0efd
00000ef4: SWAP1
00000ef5: POP
00000ef6: PUSH1 0x0a
00000ef8: DUP4
00000ef9: PUSH2 0x1c80
00000efc: JUMP
00000efd: JUMPDEST
00000efe: SWAP2
00000eff: POP
00000f00: PUSH2 0x0ede
00000f03: JUMP
00000f04: JUMPDEST
00000f05: PUSH1 0x00
00000f07: DUP2
00000f08: PUSH8 0xffffffffffffffff
00000f11: DUP2
00000f12: GT
00000f13: ISZERO
00000f14: PUSH2 0x0f1f
00000f17: JUMPI
00000f18: PUSH2 0x0f1f
00000f1b: PUSH2 0x19c0
00000f1e: JUMP
00000f1f: JUMPDEST
00000f20: PUSH1 0x40
00000f22: MLOAD
00000f23: SWAP1
00000f24: DUP1
00000f25: DUP3
00000f26: MSTORE
00000f27: DUP1
00000f28: PUSH1 0x1f
00000f2a: ADD
00000f2b: PUSH1 0x1f
00000f2d: NOT
00000f2e: AND
00000f2f: PUSH1 0x20
00000f31: ADD
00000f32: DUP3
00000f33: ADD
00000f34: PUSH1 0x40
00000f36: MSTORE
00000f37: DUP1
00000f38: ISZERO
00000f39: PUSH2 0x0f49
00000f3c: JUMPI
00000f3d: PUSH1 0x20
00000f3f: DUP3
00000f40: ADD
00000f41: DUP2
00000f42: DUP1
00000f43: CALLDATASIZE
00000f44: DUP4
00000f45: CALLDATACOPY
00000f46: ADD
00000f47: SWAP1
00000f48: POP
00000f49: JUMPDEST
00000f4a: POP
00000f4b: SWAP1
00000f4c: POP
00000f4d: JUMPDEST
00000f4e: DUP5
00000f4f: ISZERO
00000f50: PUSH2 0x0fcc
00000f53: JUMPI
00000f54: PUSH2 0x0f5e
00000f57: PUSH1 0x01
00000f59: DUP4
00000f5a: PUSH2 0x1c94
00000f5d: JUMP
00000f5e: JUMPDEST
00000f5f: SWAP2
00000f60: POP
00000f61: PUSH2 0x0f6b
00000f64: PUSH1 0x0a
00000f66: DUP7
00000f67: PUSH2 0x1cab
00000f6a: JUMP
00000f6b: JUMPDEST
00000f6c: PUSH2 0x0f76
00000f6f: SWAP1
00000f70: PUSH1 0x30
00000f72: PUSH2 0x1cbf
00000f75: JUMP
00000f76: JUMPDEST
00000f77: PUSH1 0xf8
00000f79: SHL
00000f7a: DUP2
00000f7b: DUP4
00000f7c: DUP2
00000f7d: MLOAD
00000f7e: DUP2
00000f7f: LT
00000f80: PUSH2 0x0f8b
00000f83: JUMPI
00000f84: PUSH2 0x0f8b
00000f87: PUSH2 0x1cd7
00000f8a: JUMP
00000f8b: JUMPDEST
00000f8c: PUSH1 0x20
00000f8e: ADD
00000f8f: ADD
00000f90: SWAP1
00000f91: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000fb1: NOT
00000fb2: AND
00000fb3: SWAP1
00000fb4: DUP2
00000fb5: PUSH1 0x00
00000fb7: BYTE
00000fb8: SWAP1
00000fb9: MSTORE8
00000fba: POP
00000fbb: PUSH2 0x0fc5
00000fbe: PUSH1 0x0a
00000fc0: DUP7
00000fc1: PUSH2 0x1c80
00000fc4: JUMP
00000fc5: JUMPDEST
00000fc6: SWAP5
00000fc7: POP
00000fc8: PUSH2 0x0f4d
00000fcb: JUMP
00000fcc: JUMPDEST
00000fcd: SWAP5
00000fce: SWAP4
00000fcf: POP
00000fd0: POP
00000fd1: POP
00000fd2: POP
00000fd3: JUMP
00000fd4: JUMPDEST
00000fd5: CALLVALUE
00000fd6: PUSH7 0xb1a2bc2ec50000
00000fde: GT
00000fdf: ISZERO
00000fe0: PUSH2 0x0ffc
00000fe3: JUMPI
00000fe4: PUSH1 0x40
00000fe6: MLOAD
00000fe7: PUSH4 0x356680b7
00000fec: PUSH1 0xe0
00000fee: SHL
00000fef: DUP2
00000ff0: MSTORE
00000ff1: PUSH1 0x04
00000ff3: ADD
00000ff4: PUSH1 0x40
00000ff6: MLOAD
00000ff7: DUP1
00000ff8: SWAP2
00000ff9: SUB
00000ffa: SWAP1
00000ffb: REVERT
00000ffc: JUMPDEST
00000ffd: PUSH1 0x06
00000fff: SLOAD
00001000: PUSH1 0x64
00001002: PUSH1 0xff
00001004: SWAP1
00001005: SWAP2
00001006: AND
00001007: LT
00001008: PUSH2 0x1024
0000100b: JUMPI
0000100c: PUSH1 0x40
0000100e: MLOAD
0000100f: PUSH4 0x71e3b461
00001014: PUSH1 0xe0
00001016: SHL
00001017: DUP2
00001018: MSTORE
00001019: PUSH1 0x04
0000101b: ADD
0000101c: PUSH1 0x40
0000101e: MLOAD
0000101f: DUP1
00001020: SWAP2
00001021: SUB
00001022: SWAP1
00001023: REVERT
00001024: JUMPDEST
00001025: PUSH1 0x06
00001027: SLOAD
00001028: PUSH1 0x64
0000102a: SWAP1
0000102b: PUSH2 0x1038
0000102e: SWAP1
0000102f: PUSH1 0xff
00001031: AND
00001032: PUSH1 0x01
00001034: PUSH2 0x1bd7
00001037: JUMP
00001038: JUMPDEST
00001039: PUSH1 0xff
0000103b: AND
0000103c: GT
0000103d: ISZERO
0000103e: PUSH2 0x105a
00001041: JUMPI
00001042: PUSH1 0x40
00001044: MLOAD
00001045: PUSH4 0x28a90331
0000104a: PUSH1 0xe2
0000104c: SHL
0000104d: DUP2
0000104e: MSTORE
0000104f: PUSH1 0x04
00001051: ADD
00001052: PUSH1 0x40
00001054: MLOAD
00001055: DUP1
00001056: SWAP2
00001057: SUB
00001058: SWAP1
00001059: REVERT
0000105a: JUMPDEST
0000105b: CALLER
0000105c: PUSH1 0x00
0000105e: SWAP1
0000105f: DUP2
00001060: MSTORE
00001061: PUSH1 0x07
00001063: PUSH1 0x20
00001065: MSTORE
00001066: PUSH1 0x40
00001068: SWAP1
00001069: KECCAK256
0000106a: SLOAD
0000106b: PUSH1 0xff
0000106d: AND
0000106e: ISZERO
0000106f: PUSH2 0x108b
00001072: JUMPI
00001073: PUSH1 0x40
00001075: MLOAD
00001076: PUSH4 0x1bbdf5c5
0000107b: PUSH1 0xe3
0000107d: SHL
0000107e: DUP2
0000107f: MSTORE
00001080: PUSH1 0x04
00001082: ADD
00001083: PUSH1 0x40
00001085: MLOAD
00001086: DUP1
00001087: SWAP2
00001088: SUB
00001089: SWAP1
0000108a: REVERT
0000108b: JUMPDEST
0000108c: PUSH1 0x06
0000108e: SLOAD
0000108f: PUSH1 0x01
00001091: PUSH1 0xa8
00001093: SHL
00001094: SWAP1
00001095: DIV
00001096: PUSH1 0xff
00001098: AND
00001099: PUSH2 0x10b5
0000109c: JUMPI
0000109d: PUSH1 0x40
0000109f: MLOAD
000010a0: PUSH4 0x589ed34b
000010a5: PUSH1 0xe0
000010a7: SHL
000010a8: DUP2
000010a9: MSTORE
000010aa: PUSH1 0x04
000010ac: ADD
000010ad: PUSH1 0x40
000010af: MLOAD
000010b0: DUP1
000010b1: SWAP2
000010b2: SUB
000010b3: SWAP1
000010b4: REVERT
000010b5: JUMPDEST
000010b6: PUSH1 0x06
000010b8: DUP1
000010b9: SLOAD
000010ba: PUSH1 0xff
000010bc: DUP1
000010bd: DUP3
000010be: AND
000010bf: PUSH1 0x01
000010c1: DUP2
000010c2: DUP2
000010c3: ADD
000010c4: SWAP1
000010c5: SWAP3
000010c6: AND
000010c7: PUSH1 0xff
000010c9: NOT
000010ca: SWAP4
000010cb: DUP5
000010cc: AND
000010cd: OR
000010ce: SWAP1
000010cf: SWAP4
000010d0: SSTORE
000010d1: CALLER
000010d2: PUSH1 0x00
000010d4: SWAP1
000010d5: DUP2
000010d6: MSTORE
000010d7: PUSH1 0x07
000010d9: PUSH1 0x20
000010db: MSTORE
000010dc: PUSH1 0x40
000010de: SWAP1
000010df: KECCAK256
000010e0: DUP1
000010e1: SLOAD
000010e2: SWAP1
000010e3: SWAP3
000010e4: AND
000010e5: OR
000010e6: SWAP1
000010e7: SSTORE
000010e8: PUSH2 0x0aed
000010eb: DUP3
000010ec: DUP3
000010ed: PUSH2 0x1514
000010f0: JUMP
000010f1: JUMPDEST
000010f2: CALLVALUE
000010f3: PUSH7 0xb1a2bc2ec50000
000010fb: GT
000010fc: ISZERO
000010fd: PUSH2 0x1119
00001100: JUMPI
00001101: PUSH1 0x40
00001103: MLOAD
00001104: PUSH4 0x356680b7
00001109: PUSH1 0xe0
0000110b: SHL
0000110c: DUP2
0000110d: MSTORE
0000110e: PUSH1 0x04
00001110: ADD
00001111: PUSH1 0x40
00001113: MLOAD
00001114: DUP1
00001115: SWAP2
00001116: SUB
00001117: SWAP1
00001118: REVERT
00001119: JUMPDEST
0000111a: PUSH1 0x06
0000111c: SLOAD
0000111d: PUSH1 0x64
0000111f: PUSH1 0xff
00001121: SWAP1
00001122: SWAP2
00001123: AND
00001124: LT
00001125: PUSH2 0x1141
00001128: JUMPI
00001129: PUSH1 0x40
0000112b: MLOAD
0000112c: PUSH4 0x71e3b461
00001131: PUSH1 0xe0
00001133: SHL
00001134: DUP2
00001135: MSTORE
00001136: PUSH1 0x04
00001138: ADD
00001139: PUSH1 0x40
0000113b: MLOAD
0000113c: DUP1
0000113d: SWAP2
0000113e: SUB
0000113f: SWAP1
00001140: REVERT
00001141: JUMPDEST
00001142: PUSH1 0x06
00001144: SLOAD
00001145: PUSH1 0x64
00001147: SWAP1
00001148: PUSH2 0x1155
0000114b: SWAP1
0000114c: PUSH1 0xff
0000114e: AND
0000114f: PUSH1 0x01
00001151: PUSH2 0x1bd7
00001154: JUMP
00001155: JUMPDEST
00001156: PUSH1 0xff
00001158: AND
00001159: GT
0000115a: ISZERO
0000115b: PUSH2 0x1177
0000115e: JUMPI
0000115f: PUSH1 0x40
00001161: MLOAD
00001162: PUSH4 0x28a90331
00001167: PUSH1 0xe2
00001169: SHL
0000116a: DUP2
0000116b: MSTORE
0000116c: PUSH1 0x04
0000116e: ADD
0000116f: PUSH1 0x40
00001171: MLOAD
00001172: DUP1
00001173: SWAP2
00001174: SUB
00001175: SWAP1
00001176: REVERT
00001177: JUMPDEST
00001178: CALLER
00001179: PUSH1 0x00
0000117b: SWAP1
0000117c: DUP2
0000117d: MSTORE
0000117e: PUSH1 0x07
00001180: PUSH1 0x20
00001182: MSTORE
00001183: PUSH1 0x40
00001185: SWAP1
00001186: KECCAK256
00001187: SLOAD
00001188: PUSH1 0xff
0000118a: AND
0000118b: ISZERO
0000118c: PUSH2 0x11a8
0000118f: JUMPI
00001190: PUSH1 0x40
00001192: MLOAD
00001193: PUSH4 0x1bbdf5c5
00001198: PUSH1 0xe3
0000119a: SHL
0000119b: DUP2
0000119c: MSTORE
0000119d: PUSH1 0x04
0000119f: ADD
000011a0: PUSH1 0x40
000011a2: MLOAD
000011a3: DUP1
000011a4: SWAP2
000011a5: SUB
000011a6: SWAP1
000011a7: REVERT
000011a8: JUMPDEST
000011a9: PUSH1 0x06
000011ab: SLOAD
000011ac: PUSH1 0x01
000011ae: PUSH1 0xa8
000011b0: SHL
000011b1: SWAP1
000011b2: DIV
000011b3: PUSH1 0xff
000011b5: AND
000011b6: PUSH2 0x11d2
000011b9: JUMPI
000011ba: PUSH1 0x40
000011bc: MLOAD
000011bd: PUSH4 0x589ed34b
000011c2: PUSH1 0xe0
000011c4: SHL
000011c5: DUP2
000011c6: MSTORE
000011c7: PUSH1 0x04
000011c9: ADD
000011ca: PUSH1 0x40
000011cc: MLOAD
000011cd: DUP1
000011ce: SWAP2
000011cf: SUB
000011d0: SWAP1
000011d1: REVERT
000011d2: JUMPDEST
000011d3: PUSH1 0x06
000011d5: DUP1
000011d6: SLOAD
000011d7: PUSH1 0xff
000011d9: DUP1
000011da: DUP3
000011db: AND
000011dc: PUSH1 0x01
000011de: DUP2
000011df: DUP2
000011e0: ADD
000011e1: SWAP1
000011e2: SWAP3
000011e3: AND
000011e4: PUSH1 0xff
000011e6: NOT
000011e7: SWAP4
000011e8: DUP5
000011e9: AND
000011ea: OR
000011eb: SWAP1
000011ec: SWAP4
000011ed: SSTORE
000011ee: CALLER
000011ef: PUSH1 0x00
000011f1: SWAP1
000011f2: DUP2
000011f3: MSTORE
000011f4: PUSH1 0x07
000011f6: PUSH1 0x20
000011f8: MSTORE
000011f9: PUSH1 0x40
000011fb: SWAP1
000011fc: KECCAK256
000011fd: DUP1
000011fe: SLOAD
000011ff: SWAP1
00001200: SWAP3
00001201: AND
00001202: OR
00001203: SWAP1
00001204: SSTORE
00001205: PUSH2 0x0d02
00001208: DUP4
00001209: DUP3
0000120a: DUP5
0000120b: PUSH2 0x1647
0000120e: JUMP
0000120f: JUMPDEST
00001210: PUSH1 0x01
00001212: DUP1
00001213: SLOAD
00001214: PUSH2 0x0636
00001217: SWAP1
00001218: PUSH2 0x1b86
0000121b: JUMP
0000121c: JUMPDEST
0000121d: CALLER
0000121e: PUSH1 0x00
00001220: DUP2
00001221: DUP2
00001222: MSTORE
00001223: PUSH1 0x05
00001225: PUSH1 0x20
00001227: SWAP1
00001228: DUP2
00001229: MSTORE
0000122a: PUSH1 0x40
0000122c: DUP1
0000122d: DUP4
0000122e: KECCAK256
0000122f: PUSH1 0x01
00001231: PUSH1 0x01
00001233: PUSH1 0xa0
00001235: SHL
00001236: SUB
00001237: DUP8
00001238: AND
00001239: DUP1
0000123a: DUP6
0000123b: MSTORE
0000123c: SWAP1
0000123d: DUP4
0000123e: MSTORE
0000123f: SWAP3
00001240: DUP2
00001241: SWAP1
00001242: KECCAK256
00001243: DUP1
00001244: SLOAD
00001245: PUSH1 0xff
00001247: NOT
00001248: AND
00001249: DUP7
0000124a: ISZERO
0000124b: ISZERO
0000124c: SWAP1
0000124d: DUP2
0000124e: OR
0000124f: SWAP1
00001250: SWAP2
00001251: SSTORE
00001252: SWAP1
00001253: MLOAD
00001254: SWAP1
00001255: DUP2
00001256: MSTORE
00001257: SWAP2
00001258: SWAP3
00001259: SWAP2
0000125a: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
0000127b: SWAP2
0000127c: ADD
0000127d: PUSH1 0x40
0000127f: MLOAD
00001280: DUP1
00001281: SWAP2
00001282: SUB
00001283: SWAP1
00001284: LOG3
00001285: POP
00001286: POP
00001287: JUMP
00001288: JUMPDEST
00001289: PUSH2 0x1293
0000128c: DUP5
0000128d: DUP5
0000128e: DUP5
0000128f: PUSH2 0x07ba
00001292: JUMP
00001293: JUMPDEST
00001294: PUSH1 0x01
00001296: PUSH1 0x01
00001298: PUSH1 0xa0
0000129a: SHL
0000129b: SUB
0000129c: DUP4
0000129d: AND
0000129e: EXTCODESIZE
0000129f: ISZERO
000012a0: DUP1
000012a1: PUSH2 0x1328
000012a4: JUMPI
000012a5: POP
000012a6: PUSH1 0x40
000012a8: MLOAD
000012a9: PUSH4 0x0a85bd01
000012ae: PUSH1 0xe1
000012b0: SHL
000012b1: DUP1
000012b2: DUP3
000012b3: MSTORE
000012b4: SWAP1
000012b5: PUSH1 0x01
000012b7: PUSH1 0x01
000012b9: PUSH1 0xa0
000012bb: SHL
000012bc: SUB
000012bd: DUP6
000012be: AND
000012bf: SWAP1
000012c0: PUSH4 0x150b7a02
000012c5: SWAP1
000012c6: PUSH2 0x12d9
000012c9: SWAP1
000012ca: CALLER
000012cb: SWAP1
000012cc: DUP10
000012cd: SWAP1
000012ce: DUP9
000012cf: SWAP1
000012d0: DUP9
000012d1: SWAP1
000012d2: PUSH1 0x04
000012d4: ADD
000012d5: PUSH2 0x1ced
000012d8: JUMP
000012d9: JUMPDEST
000012da: PUSH1 0x20
000012dc: PUSH1 0x40
000012de: MLOAD
000012df: DUP1
000012e0: DUP4
000012e1: SUB
000012e2: DUP2
000012e3: PUSH1 0x00
000012e5: DUP8
000012e6: GAS
000012e7: CALL
000012e8: ISZERO
000012e9: DUP1
000012ea: ISZERO
000012eb: PUSH2 0x12f8
000012ee: JUMPI
000012ef: RETURNDATASIZE
000012f0: PUSH1 0x00
000012f2: DUP1
000012f3: RETURNDATACOPY
000012f4: RETURNDATASIZE
000012f5: PUSH1 0x00
000012f7: REVERT
000012f8: JUMPDEST
000012f9: POP
000012fa: POP
000012fb: POP
000012fc: POP
000012fd: PUSH1 0x40
000012ff: MLOAD
00001300: RETURNDATASIZE
00001301: PUSH1 0x1f
00001303: NOT
00001304: PUSH1 0x1f
00001306: DUP3
00001307: ADD
00001308: AND
00001309: DUP3
0000130a: ADD
0000130b: DUP1
0000130c: PUSH1 0x40
0000130e: MSTORE
0000130f: POP
00001310: DUP2
00001311: ADD
00001312: SWAP1
00001313: PUSH2 0x131c
00001316: SWAP2
00001317: SWAP1
00001318: PUSH2 0x1bfc
0000131b: JUMP
0000131c: JUMPDEST
0000131d: PUSH1 0x01
0000131f: PUSH1 0x01
00001321: PUSH1 0xe0
00001323: SHL
00001324: SUB
00001325: NOT
00001326: AND
00001327: EQ
00001328: JUMPDEST
00001329: PUSH2 0x1367
0000132c: JUMPI
0000132d: PUSH1 0x40
0000132f: MLOAD
00001330: PUSH3 0x461bcd
00001334: PUSH1 0xe5
00001336: SHL
00001337: DUP2
00001338: MSTORE
00001339: PUSH1 0x20
0000133b: PUSH1 0x04
0000133d: DUP3
0000133e: ADD
0000133f: MSTORE
00001340: PUSH1 0x10
00001342: PUSH1 0x24
00001344: DUP3
00001345: ADD
00001346: MSTORE
00001347: PUSH16 0x155394d0519157d49150d25412515395
00001358: PUSH1 0x82
0000135a: SHL
0000135b: PUSH1 0x44
0000135d: DUP3
0000135e: ADD
0000135f: MSTORE
00001360: PUSH1 0x64
00001362: ADD
00001363: PUSH2 0x0748
00001366: JUMP
00001367: JUMPDEST
00001368: POP
00001369: POP
0000136a: POP
0000136b: POP
0000136c: JUMP
0000136d: JUMPDEST
0000136e: PUSH1 0x60
00001370: PUSH1 0x00
00001372: PUSH1 0x40
00001374: MLOAD
00001375: DUP1
00001376: PUSH2 0x0720
00001379: ADD
0000137a: PUSH1 0x40
0000137c: MSTORE
0000137d: DUP1
0000137e: PUSH2 0x06ff
00001381: DUP2
00001382: MSTORE
00001383: PUSH1 0x20
00001385: ADD
00001386: PUSH2 0x1f93
00001389: PUSH2 0x06ff
0000138c: SWAP2
0000138d: CODECOPY
0000138e: SWAP1
0000138f: POP
00001390: PUSH1 0x00
00001392: PUSH2 0x139a
00001395: DUP5
00001396: PUSH2 0x0e9a
00001399: JUMP
0000139a: JUMPDEST
0000139b: SWAP1
0000139c: POP
0000139d: PUSH1 0x00
0000139f: DUP3
000013a0: DUP3
000013a1: PUSH1 0x40
000013a3: MLOAD
000013a4: PUSH1 0x20
000013a6: ADD
000013a7: PUSH2 0x13b1
000013aa: SWAP3
000013ab: SWAP2
000013ac: SWAP1
000013ad: PUSH2 0x1d29
000013b0: JUMP
000013b1: JUMPDEST
000013b2: PUSH1 0x40
000013b4: MLOAD
000013b5: PUSH1 0x20
000013b7: DUP2
000013b8: DUP4
000013b9: SUB
000013ba: SUB
000013bb: DUP2
000013bc: MSTORE
000013bd: SWAP1
000013be: PUSH1 0x40
000013c0: MSTORE
000013c1: SWAP1
000013c2: POP
000013c3: PUSH1 0x00
000013c5: PUSH2 0x13f8
000013c8: DUP4
000013c9: DUP5
000013ca: PUSH2 0x13d2
000013cd: DUP6
000013ce: PUSH2 0x1698
000013d1: JUMP
000013d2: JUMPDEST
000013d3: PUSH1 0x40
000013d5: MLOAD
000013d6: PUSH1 0x20
000013d8: ADD
000013d9: PUSH2 0x13e4
000013dc: SWAP4
000013dd: SWAP3
000013de: SWAP2
000013df: SWAP1
000013e0: PUSH2 0x1dd2
000013e3: JUMP
000013e4: JUMPDEST
000013e5: PUSH1 0x40
000013e7: MLOAD
000013e8: PUSH1 0x20
000013ea: DUP2
000013eb: DUP4
000013ec: SUB
000013ed: SUB
000013ee: DUP2
000013ef: MSTORE
000013f0: SWAP1
000013f1: PUSH1 0x40
000013f3: MSTORE
000013f4: PUSH2 0x1698
000013f7: JUMP
000013f8: JUMPDEST
000013f9: SWAP1
000013fa: POP
000013fb: DUP1
000013fc: PUSH1 0x40
000013fe: MLOAD
000013ff: PUSH1 0x20
00001401: ADD
00001402: PUSH2 0x140b
00001405: SWAP2
00001406: SWAP1
00001407: PUSH2 0x1f2e
0000140a: JUMP
0000140b: JUMPDEST
0000140c: PUSH1 0x40
0000140e: MLOAD
0000140f: PUSH1 0x20
00001411: DUP2
00001412: DUP4
00001413: SUB
00001414: SUB
00001415: DUP2
00001416: MSTORE
00001417: SWAP1
00001418: PUSH1 0x40
0000141a: MSTORE
0000141b: SWAP5
0000141c: POP
0000141d: POP
0000141e: POP
0000141f: POP
00001420: POP
00001421: SWAP2
00001422: SWAP1
00001423: POP
00001424: JUMP
00001425: JUMPDEST
00001426: PUSH2 0x142f
00001429: DUP3
0000142a: DUP3
0000142b: PUSH2 0x1514
0000142e: JUMP
0000142f: JUMPDEST
00001430: PUSH1 0x01
00001432: PUSH1 0x01
00001434: PUSH1 0xa0
00001436: SHL
00001437: SUB
00001438: DUP3
00001439: AND
0000143a: EXTCODESIZE
0000143b: ISZERO
0000143c: DUP1
0000143d: PUSH2 0x14d5
00001440: JUMPI
00001441: POP
00001442: PUSH1 0x40
00001444: MLOAD
00001445: PUSH4 0x0a85bd01
0000144a: PUSH1 0xe1
0000144c: SHL
0000144d: DUP1
0000144e: DUP3
0000144f: MSTORE
00001450: CALLER
00001451: PUSH1 0x04
00001453: DUP4
00001454: ADD
00001455: MSTORE
00001456: PUSH1 0x00
00001458: PUSH1 0x24
0000145a: DUP4
0000145b: ADD
0000145c: DUP2
0000145d: SWAP1
0000145e: MSTORE
0000145f: PUSH1 0x44
00001461: DUP4
00001462: ADD
00001463: DUP5
00001464: SWAP1
00001465: MSTORE
00001466: PUSH1 0x80
00001468: PUSH1 0x64
0000146a: DUP5
0000146b: ADD
0000146c: MSTORE
0000146d: PUSH1 0x84
0000146f: DUP4
00001470: ADD
00001471: MSTORE
00001472: SWAP1
00001473: PUSH1 0x01
00001475: PUSH1 0x01
00001477: PUSH1 0xa0
00001479: SHL
0000147a: SUB
0000147b: DUP5
0000147c: AND
0000147d: SWAP1
0000147e: PUSH4 0x150b7a02
00001483: SWAP1
00001484: PUSH1 0xa4
00001486: ADD
00001487: PUSH1 0x20
00001489: PUSH1 0x40
0000148b: MLOAD
0000148c: DUP1
0000148d: DUP4
0000148e: SUB
0000148f: DUP2
00001490: PUSH1 0x00
00001492: DUP8
00001493: GAS
00001494: CALL
00001495: ISZERO
00001496: DUP1
00001497: ISZERO
00001498: PUSH2 0x14a5
0000149b: JUMPI
0000149c: RETURNDATASIZE
0000149d: PUSH1 0x00
0000149f: DUP1
000014a0: RETURNDATACOPY
000014a1: RETURNDATASIZE
000014a2: PUSH1 0x00
000014a4: REVERT
000014a5: JUMPDEST
000014a6: POP
000014a7: POP
000014a8: POP
000014a9: POP
000014aa: PUSH1 0x40
000014ac: MLOAD
000014ad: RETURNDATASIZE
000014ae: PUSH1 0x1f
000014b0: NOT
000014b1: PUSH1 0x1f
000014b3: DUP3
000014b4: ADD
000014b5: AND
000014b6: DUP3
000014b7: ADD
000014b8: DUP1
000014b9: PUSH1 0x40
000014bb: MSTORE
000014bc: POP
000014bd: DUP2
000014be: ADD
000014bf: SWAP1
000014c0: PUSH2 0x14c9
000014c3: SWAP2
000014c4: SWAP1
000014c5: PUSH2 0x1bfc
000014c8: JUMP
000014c9: JUMPDEST
000014ca: PUSH1 0x01
000014cc: PUSH1 0x01
000014ce: PUSH1 0xe0
000014d0: SHL
000014d1: SUB
000014d2: NOT
000014d3: AND
000014d4: EQ
000014d5: JUMPDEST
000014d6: PUSH2 0x0aed
000014d9: JUMPI
000014da: PUSH1 0x40
000014dc: MLOAD
000014dd: PUSH3 0x461bcd
000014e1: PUSH1 0xe5
000014e3: SHL
000014e4: DUP2
000014e5: MSTORE
000014e6: PUSH1 0x20
000014e8: PUSH1 0x04
000014ea: DUP3
000014eb: ADD
000014ec: MSTORE
000014ed: PUSH1 0x10
000014ef: PUSH1 0x24
000014f1: DUP3
000014f2: ADD
000014f3: MSTORE
000014f4: PUSH16 0x155394d0519157d49150d25412515395
00001505: PUSH1 0x82
00001507: SHL
00001508: PUSH1 0x44
0000150a: DUP3
0000150b: ADD
0000150c: MSTORE
0000150d: PUSH1 0x64
0000150f: ADD
00001510: PUSH2 0x0748
00001513: JUMP
00001514: JUMPDEST
00001515: PUSH1 0x01
00001517: PUSH1 0x01
00001519: PUSH1 0xa0
0000151b: SHL
0000151c: SUB
0000151d: DUP3
0000151e: AND
0000151f: PUSH2 0x156a
00001522: JUMPI
00001523: PUSH1 0x40
00001525: MLOAD
00001526: PUSH3 0x461bcd
0000152a: PUSH1 0xe5
0000152c: SHL
0000152d: DUP2
0000152e: MSTORE
0000152f: PUSH1 0x20
00001531: PUSH1 0x04
00001533: DUP3
00001534: ADD
00001535: MSTORE
00001536: PUSH1 0x11
00001538: PUSH1 0x24
0000153a: DUP3
0000153b: ADD
0000153c: MSTORE
0000153d: PUSH32 0x494e56414c49445f524543495049454e54000000000000000000000000000000
0000155e: PUSH1 0x44
00001560: DUP3
00001561: ADD
00001562: MSTORE
00001563: PUSH1 0x64
00001565: ADD
00001566: PUSH2 0x0748
00001569: JUMP
0000156a: JUMPDEST
0000156b: PUSH1 0x00
0000156d: DUP2
0000156e: DUP2
0000156f: MSTORE
00001570: PUSH1 0x03
00001572: PUSH1 0x20
00001574: MSTORE
00001575: PUSH1 0x40
00001577: SWAP1
00001578: KECCAK256
00001579: SLOAD
0000157a: PUSH1 0x01
0000157c: PUSH1 0x01
0000157e: PUSH1 0xa0
00001580: SHL
00001581: SUB
00001582: AND
00001583: ISZERO
00001584: PUSH2 0x15cf
00001587: JUMPI
00001588: PUSH1 0x40
0000158a: MLOAD
0000158b: PUSH3 0x461bcd
0000158f: PUSH1 0xe5
00001591: SHL
00001592: DUP2
00001593: MSTORE
00001594: PUSH1 0x20
00001596: PUSH1 0x04
00001598: DUP3
00001599: ADD
0000159a: MSTORE
0000159b: PUSH1 0x0e
0000159d: PUSH1 0x24
0000159f: DUP3
000015a0: ADD
000015a1: MSTORE
000015a2: PUSH32 0x414c52454144595f4d494e544544000000000000000000000000000000000000
000015c3: PUSH1 0x44
000015c5: DUP3
000015c6: ADD
000015c7: MSTORE
000015c8: PUSH1 0x64
000015ca: ADD
000015cb: PUSH2 0x0748
000015ce: JUMP
000015cf: JUMPDEST
000015d0: PUSH1 0x01
000015d2: PUSH1 0x01
000015d4: PUSH1 0xa0
000015d6: SHL
000015d7: SUB
000015d8: DUP3
000015d9: AND
000015da: PUSH1 0x00
000015dc: DUP2
000015dd: DUP2
000015de: MSTORE
000015df: PUSH1 0x02
000015e1: PUSH1 0x20
000015e3: SWAP1
000015e4: DUP2
000015e5: MSTORE
000015e6: PUSH1 0x40
000015e8: DUP1
000015e9: DUP4
000015ea: KECCAK256
000015eb: DUP1
000015ec: SLOAD
000015ed: PUSH1 0x01
000015ef: ADD
000015f0: SWAP1
000015f1: SSTORE
000015f2: DUP5
000015f3: DUP4
000015f4: MSTORE
000015f5: PUSH1 0x03
000015f7: SWAP1
000015f8: SWAP2
000015f9: MSTORE
000015fa: DUP1
000015fb: DUP3
000015fc: KECCAK256
000015fd: DUP1
000015fe: SLOAD
000015ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001614: NOT
00001615: AND
00001616: DUP5
00001617: OR
00001618: SWAP1
00001619: SSTORE
0000161a: MLOAD
0000161b: DUP4
0000161c: SWAP3
0000161d: SWAP2
0000161e: SWAP1
0000161f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001640: SWAP1
00001641: DUP3
00001642: SWAP1
00001643: LOG4
00001644: POP
00001645: POP
00001646: JUMP
00001647: JUMPDEST
00001648: PUSH2 0x1651
0000164b: DUP4
0000164c: DUP4
0000164d: PUSH2 0x1514
00001650: JUMP
00001651: JUMPDEST
00001652: PUSH1 0x01
00001654: PUSH1 0x01
00001656: PUSH1 0xa0
00001658: SHL
00001659: SUB
0000165a: DUP4
0000165b: AND
0000165c: EXTCODESIZE
0000165d: ISZERO
0000165e: DUP1
0000165f: PUSH2 0x0cc3
00001662: JUMPI
00001663: POP
00001664: PUSH1 0x40
00001666: MLOAD
00001667: PUSH4 0x0a85bd01
0000166c: PUSH1 0xe1
0000166e: SHL
0000166f: DUP1
00001670: DUP3
00001671: MSTORE
00001672: SWAP1
00001673: PUSH1 0x01
00001675: PUSH1 0x01
00001677: PUSH1 0xa0
00001679: SHL
0000167a: SUB
0000167b: DUP6
0000167c: AND
0000167d: SWAP1
0000167e: PUSH4 0x150b7a02
00001683: SWAP1
00001684: PUSH2 0x0c74
00001687: SWAP1
00001688: CALLER
00001689: SWAP1
0000168a: PUSH1 0x00
0000168c: SWAP1
0000168d: DUP9
0000168e: SWAP1
0000168f: DUP9
00001690: SWAP1
00001691: PUSH1 0x04
00001693: ADD
00001694: PUSH2 0x1ced
00001697: JUMP
00001698: JUMPDEST
00001699: DUP1
0000169a: MLOAD
0000169b: PUSH1 0x60
0000169d: SWAP1
0000169e: DUP1
0000169f: PUSH2 0x16b8
000016a2: JUMPI
000016a3: POP
000016a4: POP
000016a5: PUSH1 0x40
000016a7: DUP1
000016a8: MLOAD
000016a9: PUSH1 0x20
000016ab: DUP2
000016ac: ADD
000016ad: SWAP1
000016ae: SWAP2
000016af: MSTORE
000016b0: PUSH1 0x00
000016b2: DUP2
000016b3: MSTORE
000016b4: SWAP2
000016b5: SWAP1
000016b6: POP
000016b7: JUMP
000016b8: JUMPDEST
000016b9: PUSH1 0x00
000016bb: PUSH1 0x03
000016bd: PUSH2 0x16c7
000016c0: DUP4
000016c1: PUSH1 0x02
000016c3: PUSH2 0x1cbf
000016c6: JUMP
000016c7: JUMPDEST
000016c8: PUSH2 0x16d1
000016cb: SWAP2
000016cc: SWAP1
000016cd: PUSH2 0x1c80
000016d0: JUMP
000016d1: JUMPDEST
000016d2: PUSH2 0x16dc
000016d5: SWAP1
000016d6: PUSH1 0x04
000016d8: PUSH2 0x1f73
000016db: JUMP
000016dc: JUMPDEST
000016dd: SWAP1
000016de: POP
000016df: PUSH1 0x00
000016e1: PUSH2 0x16eb
000016e4: DUP3
000016e5: PUSH1 0x20
000016e7: PUSH2 0x1cbf
000016ea: JUMP
000016eb: JUMPDEST
000016ec: PUSH8 0xffffffffffffffff
000016f5: DUP2
000016f6: GT
000016f7: ISZERO
000016f8: PUSH2 0x1703
000016fb: JUMPI
000016fc: PUSH2 0x1703
000016ff: PUSH2 0x19c0
00001702: JUMP
00001703: JUMPDEST
00001704: PUSH1 0x40
00001706: MLOAD
00001707: SWAP1
00001708: DUP1
00001709: DUP3
0000170a: MSTORE
0000170b: DUP1
0000170c: PUSH1 0x1f
0000170e: ADD
0000170f: PUSH1 0x1f
00001711: NOT
00001712: AND
00001713: PUSH1 0x20
00001715: ADD
00001716: DUP3
00001717: ADD
00001718: PUSH1 0x40
0000171a: MSTORE
0000171b: DUP1
0000171c: ISZERO
0000171d: PUSH2 0x172d
00001720: JUMPI
00001721: PUSH1 0x20
00001723: DUP3
00001724: ADD
00001725: DUP2
00001726: DUP1
00001727: CALLDATASIZE
00001728: DUP4
00001729: CALLDATACOPY
0000172a: ADD
0000172b: SWAP1
0000172c: POP
0000172d: JUMPDEST
0000172e: POP
0000172f: SWAP1
00001730: POP
00001731: PUSH1 0x00
00001733: PUSH1 0x40
00001735: MLOAD
00001736: DUP1
00001737: PUSH1 0x60
00001739: ADD
0000173a: PUSH1 0x40
0000173c: MSTORE
0000173d: DUP1
0000173e: PUSH1 0x40
00001740: DUP2
00001741: MSTORE
00001742: PUSH1 0x20
00001744: ADD
00001745: PUSH2 0x2692
00001748: PUSH1 0x40
0000174a: SWAP2
0000174b: CODECOPY
0000174c: SWAP1
0000174d: POP
0000174e: PUSH1 0x01
00001750: DUP2
00001751: ADD
00001752: PUSH1 0x20
00001754: DUP4
00001755: ADD
00001756: PUSH1 0x00
00001758: JUMPDEST
00001759: DUP7
0000175a: DUP2
0000175b: LT
0000175c: ISZERO
0000175d: PUSH2 0x17b9
00001760: JUMPI
00001761: PUSH1 0x03
00001763: DUP2
00001764: DUP11
00001765: ADD
00001766: DUP2
00001767: ADD
00001768: MLOAD
00001769: PUSH1 0x3f
0000176b: PUSH1 0x12
0000176d: DUP3
0000176e: SWAP1
0000176f: SHR
00001770: DUP2
00001771: AND
00001772: DUP7
00001773: ADD
00001774: MLOAD
00001775: PUSH1 0x0c
00001777: DUP4
00001778: SWAP1
00001779: SHR
0000177a: DUP3
0000177b: AND
0000177c: DUP8
0000177d: ADD
0000177e: MLOAD
0000177f: PUSH1 0x06
00001781: DUP5
00001782: SWAP1
00001783: SHR
00001784: DUP4
00001785: AND
00001786: DUP9
00001787: ADD
00001788: MLOAD
00001789: SWAP3
0000178a: SWAP1
0000178b: SWAP4
0000178c: AND
0000178d: DUP8
0000178e: ADD
0000178f: MLOAD
00001790: PUSH1 0x08
00001792: SWAP2
00001793: DUP3
00001794: SHL
00001795: PUSH1 0xff
00001797: SWAP5
00001798: DUP6
00001799: AND
0000179a: ADD
0000179b: DUP3
0000179c: SHL
0000179d: SWAP3
0000179e: DUP5
0000179f: AND
000017a0: SWAP3
000017a1: SWAP1
000017a2: SWAP3
000017a3: ADD
000017a4: SWAP1
000017a5: SHL
000017a6: SWAP2
000017a7: AND
000017a8: ADD
000017a9: PUSH1 0xe0
000017ab: SHL
000017ac: DUP4
000017ad: MSTORE
000017ae: PUSH1 0x04
000017b0: SWAP1
000017b1: SWAP3
000017b2: ADD
000017b3: SWAP2
000017b4: ADD
000017b5: PUSH2 0x1758
000017b8: JUMP
000017b9: JUMPDEST
000017ba: POP
000017bb: PUSH1 0x03
000017bd: DUP7
000017be: MOD
000017bf: PUSH1 0x01
000017c1: DUP2
000017c2: EQ
000017c3: PUSH2 0x17d3
000017c6: JUMPI
000017c7: PUSH1 0x02
000017c9: DUP2
000017ca: EQ
000017cb: PUSH2 0x17ff
000017ce: JUMPI
000017cf: PUSH2 0x1827
000017d2: JUMP
000017d3: JUMPDEST
000017d4: PUSH32 0x3d3d000000000000000000000000000000000000000000000000000000000000
000017f5: PUSH1 0x01
000017f7: NOT
000017f8: DUP4
000017f9: ADD
000017fa: MSTORE
000017fb: PUSH2 0x1827
000017fe: JUMP
000017ff: JUMPDEST
00001800: PUSH32 0x3d00000000000000000000000000000000000000000000000000000000000000
00001821: PUSH1 0x00
00001823: NOT
00001824: DUP4
00001825: ADD
00001826: MSTORE
00001827: JUMPDEST
00001828: POP
00001829: POP
0000182a: POP
0000182b: SWAP2
0000182c: DUP2
0000182d: MSTORE
0000182e: SWAP5
0000182f: SWAP4
00001830: POP
00001831: POP
00001832: POP
00001833: POP
00001834: JUMP
00001835: JUMPDEST
00001836: PUSH1 0x01
00001838: PUSH1 0x01
0000183a: PUSH1 0xe0
0000183c: SHL
0000183d: SUB
0000183e: NOT
0000183f: DUP2
00001840: AND
00001841: DUP2
00001842: EQ
00001843: PUSH2 0x184b
00001846: JUMPI
00001847: PUSH1 0x00
00001849: DUP1
0000184a: REVERT
0000184b: JUMPDEST
0000184c: POP
0000184d: JUMP
0000184e: JUMPDEST
0000184f: PUSH1 0x00
00001851: PUSH1 0x20
00001853: DUP3
00001854: DUP5
00001855: SUB
00001856: SLT
00001857: ISZERO
00001858: PUSH2 0x1860
0000185b: JUMPI
0000185c: PUSH1 0x00
0000185e: DUP1
0000185f: REVERT
00001860: JUMPDEST
00001861: DUP2
00001862: CALLDATALOAD
00001863: PUSH2 0x186b
00001866: DUP2
00001867: PUSH2 0x1835
0000186a: JUMP
0000186b: JUMPDEST
0000186c: SWAP4
0000186d: SWAP3
0000186e: POP
0000186f: POP
00001870: POP
00001871: JUMP
00001872: JUMPDEST
00001873: PUSH1 0x00
00001875: JUMPDEST
00001876: DUP4
00001877: DUP2
00001878: LT
00001879: ISZERO
0000187a: PUSH2 0x188d
0000187d: JUMPI
0000187e: DUP2
0000187f: DUP2
00001880: ADD
00001881: MLOAD
00001882: DUP4
00001883: DUP3
00001884: ADD
00001885: MSTORE
00001886: PUSH1 0x20
00001888: ADD
00001889: PUSH2 0x1875
0000188c: JUMP
0000188d: JUMPDEST
0000188e: DUP4
0000188f: DUP2
00001890: GT
00001891: ISZERO
00001892: PUSH2 0x1367
00001895: JUMPI
00001896: POP
00001897: POP
00001898: PUSH1 0x00
0000189a: SWAP2
0000189b: ADD
0000189c: MSTORE
0000189d: JUMP
0000189e: JUMPDEST
0000189f: PUSH1 0x00
000018a1: DUP2
000018a2: MLOAD
000018a3: DUP1
000018a4: DUP5
000018a5: MSTORE
000018a6: PUSH2 0x18b6
000018a9: DUP2
000018aa: PUSH1 0x20
000018ac: DUP7
000018ad: ADD
000018ae: PUSH1 0x20
000018b0: DUP7
000018b1: ADD
000018b2: PUSH2 0x1872
000018b5: JUMP
000018b6: JUMPDEST
000018b7: PUSH1 0x1f
000018b9: ADD
000018ba: PUSH1 0x1f
000018bc: NOT
000018bd: AND
000018be: SWAP3
000018bf: SWAP1
000018c0: SWAP3
000018c1: ADD
000018c2: PUSH1 0x20
000018c4: ADD
000018c5: SWAP3
000018c6: SWAP2
000018c7: POP
000018c8: POP
000018c9: JUMP
000018ca: JUMPDEST
000018cb: PUSH1 0x20
000018cd: DUP2
000018ce: MSTORE
000018cf: PUSH1 0x00
000018d1: PUSH2 0x186b
000018d4: PUSH1 0x20
000018d6: DUP4
000018d7: ADD
000018d8: DUP5
000018d9: PUSH2 0x189e
000018dc: JUMP
000018dd: JUMPDEST
000018de: PUSH1 0x00
000018e0: PUSH1 0x20
000018e2: DUP3
000018e3: DUP5
000018e4: SUB
000018e5: SLT
000018e6: ISZERO
000018e7: PUSH2 0x18ef
000018ea: JUMPI
000018eb: PUSH1 0x00
000018ed: DUP1
000018ee: REVERT
000018ef: JUMPDEST
000018f0: POP
000018f1: CALLDATALOAD
000018f2: SWAP2
000018f3: SWAP1
000018f4: POP
000018f5: JUMP
000018f6: JUMPDEST
000018f7: PUSH1 0x01
000018f9: PUSH1 0x01
000018fb: PUSH1 0xa0
000018fd: SHL
000018fe: SUB
000018ff: DUP2
00001900: AND
00001901: DUP2
00001902: EQ
00001903: PUSH2 0x184b
00001906: JUMPI
00001907: PUSH1 0x00
00001909: DUP1
0000190a: REVERT
0000190b: JUMPDEST
0000190c: PUSH1 0x00
0000190e: DUP1
0000190f: PUSH1 0x40
00001911: DUP4
00001912: DUP6
00001913: SUB
00001914: SLT
00001915: ISZERO
00001916: PUSH2 0x191e
00001919: JUMPI
0000191a: PUSH1 0x00
0000191c: DUP1
0000191d: REVERT
0000191e: JUMPDEST
0000191f: DUP3
00001920: CALLDATALOAD
00001921: PUSH2 0x1929
00001924: DUP2
00001925: PUSH2 0x18f6
00001928: JUMP
00001929: JUMPDEST
0000192a: SWAP5
0000192b: PUSH1 0x20
0000192d: SWAP4
0000192e: SWAP1
0000192f: SWAP4
00001930: ADD
00001931: CALLDATALOAD
00001932: SWAP4
00001933: POP
00001934: POP
00001935: POP
00001936: JUMP
00001937: JUMPDEST
00001938: PUSH1 0x00
0000193a: PUSH1 0x20
0000193c: DUP3
0000193d: DUP5
0000193e: SUB
0000193f: SLT
00001940: ISZERO
00001941: PUSH2 0x1949
00001944: JUMPI
00001945: PUSH1 0x00
00001947: DUP1
00001948: REVERT
00001949: JUMPDEST
0000194a: DUP2
0000194b: CALLDATALOAD
0000194c: PUSH2 0x186b
0000194f: DUP2
00001950: PUSH2 0x18f6
00001953: JUMP
00001954: JUMPDEST
00001955: PUSH1 0x00
00001957: DUP1
00001958: PUSH1 0x00
0000195a: PUSH1 0x60
0000195c: DUP5
0000195d: DUP7
0000195e: SUB
0000195f: SLT
00001960: ISZERO
00001961: PUSH2 0x1969
00001964: JUMPI
00001965: PUSH1 0x00
00001967: DUP1
00001968: REVERT
00001969: JUMPDEST
0000196a: DUP4
0000196b: CALLDATALOAD
0000196c: PUSH2 0x1974
0000196f: DUP2
00001970: PUSH2 0x18f6
00001973: JUMP
00001974: JUMPDEST
00001975: SWAP3
00001976: POP
00001977: PUSH1 0x20
00001979: DUP5
0000197a: ADD
0000197b: CALLDATALOAD
0000197c: PUSH2 0x1984
0000197f: DUP2
00001980: PUSH2 0x18f6
00001983: JUMP
00001984: JUMPDEST
00001985: SWAP3
00001986: SWAP6
00001987: SWAP3
00001988: SWAP5
00001989: POP
0000198a: POP
0000198b: POP
0000198c: PUSH1 0x40
0000198e: SWAP2
0000198f: SWAP1
00001990: SWAP2
00001991: ADD
00001992: CALLDATALOAD
00001993: SWAP1
00001994: JUMP
00001995: JUMPDEST
00001996: DUP1
00001997: ISZERO
00001998: ISZERO
00001999: DUP2
0000199a: EQ
0000199b: PUSH2 0x184b
0000199e: JUMPI
0000199f: PUSH1 0x00
000019a1: DUP1
000019a2: REVERT
000019a3: JUMPDEST
000019a4: PUSH1 0x00
000019a6: PUSH1 0x20
000019a8: DUP3
000019a9: DUP5
000019aa: SUB
000019ab: SLT
000019ac: ISZERO
000019ad: PUSH2 0x19b5
000019b0: JUMPI
000019b1: PUSH1 0x00
000019b3: DUP1
000019b4: REVERT
000019b5: JUMPDEST
000019b6: DUP2
000019b7: CALLDATALOAD
000019b8: PUSH2 0x186b
000019bb: DUP2
000019bc: PUSH2 0x1995
000019bf: JUMP
000019c0: JUMPDEST
000019c1: PUSH4 0x4e487b71
000019c6: PUSH1 0xe0
000019c8: SHL
000019c9: PUSH1 0x00
000019cb: MSTORE
000019cc: PUSH1 0x41
000019ce: PUSH1 0x04
000019d0: MSTORE
000019d1: PUSH1 0x24
000019d3: PUSH1 0x00
000019d5: REVERT
000019d6: JUMPDEST
000019d7: PUSH1 0x00
000019d9: DUP3
000019da: PUSH1 0x1f
000019dc: DUP4
000019dd: ADD
000019de: SLT
000019df: PUSH2 0x19e7
000019e2: JUMPI
000019e3: PUSH1 0x00
000019e5: DUP1
000019e6: REVERT
000019e7: JUMPDEST
000019e8: DUP2
000019e9: CALLDATALOAD
000019ea: PUSH8 0xffffffffffffffff
000019f3: DUP1
000019f4: DUP3
000019f5: GT
000019f6: ISZERO
000019f7: PUSH2 0x1a02
000019fa: JUMPI
000019fb: PUSH2 0x1a02
000019fe: PUSH2 0x19c0
00001a01: JUMP
00001a02: JUMPDEST
00001a03: PUSH1 0x40
00001a05: MLOAD
00001a06: PUSH1 0x1f
00001a08: DUP4
00001a09: ADD
00001a0a: PUSH1 0x1f
00001a0c: NOT
00001a0d: SWAP1
00001a0e: DUP2
00001a0f: AND
00001a10: PUSH1 0x3f
00001a12: ADD
00001a13: AND
00001a14: DUP2
00001a15: ADD
00001a16: SWAP1
00001a17: DUP3
00001a18: DUP3
00001a19: GT
00001a1a: DUP2
00001a1b: DUP4
00001a1c: LT
00001a1d: OR
00001a1e: ISZERO
00001a1f: PUSH2 0x1a2a
00001a22: JUMPI
00001a23: PUSH2 0x1a2a
00001a26: PUSH2 0x19c0
00001a29: JUMP
00001a2a: JUMPDEST
00001a2b: DUP2
00001a2c: PUSH1 0x40
00001a2e: MSTORE
00001a2f: DUP4
00001a30: DUP2
00001a31: MSTORE
00001a32: DUP7
00001a33: PUSH1 0x20
00001a35: DUP6
00001a36: DUP9
00001a37: ADD
00001a38: ADD
00001a39: GT
00001a3a: ISZERO
00001a3b: PUSH2 0x1a43
00001a3e: JUMPI
00001a3f: PUSH1 0x00
00001a41: DUP1
00001a42: REVERT
00001a43: JUMPDEST
00001a44: DUP4
00001a45: PUSH1 0x20
00001a47: DUP8
00001a48: ADD
00001a49: PUSH1 0x20
00001a4b: DUP4
00001a4c: ADD
00001a4d: CALLDATACOPY
00001a4e: PUSH1 0x00
00001a50: PUSH1 0x20
00001a52: DUP6
00001a53: DUP4
00001a54: ADD
00001a55: ADD
00001a56: MSTORE
00001a57: DUP1
00001a58: SWAP5
00001a59: POP
00001a5a: POP
00001a5b: POP
00001a5c: POP
00001a5d: POP
00001a5e: SWAP3
00001a5f: SWAP2
00001a60: POP
00001a61: POP
00001a62: JUMP
00001a63: JUMPDEST
00001a64: PUSH1 0x00
00001a66: DUP1
00001a67: PUSH1 0x40
00001a69: DUP4
00001a6a: DUP6
00001a6b: SUB
00001a6c: SLT
00001a6d: ISZERO
00001a6e: PUSH2 0x1a76
00001a71: JUMPI
00001a72: PUSH1 0x00
00001a74: DUP1
00001a75: REVERT
00001a76: JUMPDEST
00001a77: DUP3
00001a78: CALLDATALOAD
00001a79: PUSH2 0x1a81
00001a7c: DUP2
00001a7d: PUSH2 0x18f6
00001a80: JUMP
00001a81: JUMPDEST
00001a82: SWAP2
00001a83: POP
00001a84: PUSH1 0x20
00001a86: DUP4
00001a87: ADD
00001a88: CALLDATALOAD
00001a89: PUSH8 0xffffffffffffffff
00001a92: DUP2
00001a93: GT
00001a94: ISZERO
00001a95: PUSH2 0x1a9d
00001a98: JUMPI
00001a99: PUSH1 0x00
00001a9b: DUP1
00001a9c: REVERT
00001a9d: JUMPDEST
00001a9e: PUSH2 0x1aa9
00001aa1: DUP6
00001aa2: DUP3
00001aa3: DUP7
00001aa4: ADD
00001aa5: PUSH2 0x19d6
00001aa8: JUMP
00001aa9: JUMPDEST
00001aaa: SWAP2
00001aab: POP
00001aac: POP
00001aad: SWAP3
00001aae: POP
00001aaf: SWAP3
00001ab0: SWAP1
00001ab1: POP
00001ab2: JUMP
00001ab3: JUMPDEST
00001ab4: PUSH1 0x00
00001ab6: DUP1
00001ab7: PUSH1 0x40
00001ab9: DUP4
00001aba: DUP6
00001abb: SUB
00001abc: SLT
00001abd: ISZERO
00001abe: PUSH2 0x1ac6
00001ac1: JUMPI
00001ac2: PUSH1 0x00
00001ac4: DUP1
00001ac5: REVERT
00001ac6: JUMPDEST
00001ac7: DUP3
00001ac8: CALLDATALOAD
00001ac9: PUSH2 0x1ad1
00001acc: DUP2
00001acd: PUSH2 0x18f6
00001ad0: JUMP
00001ad1: JUMPDEST
00001ad2: SWAP2
00001ad3: POP
00001ad4: PUSH1 0x20
00001ad6: DUP4
00001ad7: ADD
00001ad8: CALLDATALOAD
00001ad9: PUSH2 0x1ae1
00001adc: DUP2
00001add: PUSH2 0x1995
00001ae0: JUMP
00001ae1: JUMPDEST
00001ae2: DUP1
00001ae3: SWAP2
00001ae4: POP
00001ae5: POP
00001ae6: SWAP3
00001ae7: POP
00001ae8: SWAP3
00001ae9: SWAP1
00001aea: POP
00001aeb: JUMP
00001aec: JUMPDEST
00001aed: PUSH1 0x00
00001aef: DUP1
00001af0: PUSH1 0x00
00001af2: DUP1
00001af3: PUSH1 0x80
00001af5: DUP6
00001af6: DUP8
00001af7: SUB
00001af8: SLT
00001af9: ISZERO
00001afa: PUSH2 0x1b02
00001afd: JUMPI
00001afe: PUSH1 0x00
00001b00: DUP1
00001b01: REVERT
00001b02: JUMPDEST
00001b03: DUP5
00001b04: CALLDATALOAD
00001b05: PUSH2 0x1b0d
00001b08: DUP2
00001b09: PUSH2 0x18f6
00001b0c: JUMP
00001b0d: JUMPDEST
00001b0e: SWAP4
00001b0f: POP
00001b10: PUSH1 0x20
00001b12: DUP6
00001b13: ADD
00001b14: CALLDATALOAD
00001b15: PUSH2 0x1b1d
00001b18: DUP2
00001b19: PUSH2 0x18f6
00001b1c: JUMP
00001b1d: JUMPDEST
00001b1e: SWAP3
00001b1f: POP
00001b20: PUSH1 0x40
00001b22: DUP6
00001b23: ADD
00001b24: CALLDATALOAD
00001b25: SWAP2
00001b26: POP
00001b27: PUSH1 0x60
00001b29: DUP6
00001b2a: ADD
00001b2b: CALLDATALOAD
00001b2c: PUSH8 0xffffffffffffffff
00001b35: DUP2
00001b36: GT
00001b37: ISZERO
00001b38: PUSH2 0x1b40
00001b3b: JUMPI
00001b3c: PUSH1 0x00
00001b3e: DUP1
00001b3f: REVERT
00001b40: JUMPDEST
00001b41: PUSH2 0x1b4c
00001b44: DUP8
00001b45: DUP3
00001b46: DUP9
00001b47: ADD
00001b48: PUSH2 0x19d6
00001b4b: JUMP
00001b4c: JUMPDEST
00001b4d: SWAP2
00001b4e: POP
00001b4f: POP
00001b50: SWAP3
00001b51: SWAP6
00001b52: SWAP2
00001b53: SWAP5
00001b54: POP
00001b55: SWAP3
00001b56: POP
00001b57: JUMP
00001b58: JUMPDEST
00001b59: PUSH1 0x00
00001b5b: DUP1
00001b5c: PUSH1 0x40
00001b5e: DUP4
00001b5f: DUP6
00001b60: SUB
00001b61: SLT
00001b62: ISZERO
00001b63: PUSH2 0x1b6b
00001b66: JUMPI
00001b67: PUSH1 0x00
00001b69: DUP1
00001b6a: REVERT
00001b6b: JUMPDEST
00001b6c: DUP3
00001b6d: CALLDATALOAD
00001b6e: PUSH2 0x1b76
00001b71: DUP2
00001b72: PUSH2 0x18f6
00001b75: JUMP
00001b76: JUMPDEST
00001b77: SWAP2
00001b78: POP
00001b79: PUSH1 0x20
00001b7b: DUP4
00001b7c: ADD
00001b7d: CALLDATALOAD
00001b7e: PUSH2 0x1ae1
00001b81: DUP2
00001b82: PUSH2 0x18f6
00001b85: JUMP
00001b86: JUMPDEST
00001b87: PUSH1 0x01
00001b89: DUP2
00001b8a: DUP2
00001b8b: SHR
00001b8c: SWAP1
00001b8d: DUP3
00001b8e: AND
00001b8f: DUP1
00001b90: PUSH2 0x1b9a
00001b93: JUMPI
00001b94: PUSH1 0x7f
00001b96: DUP3
00001b97: AND
00001b98: SWAP2
00001b99: POP
00001b9a: JUMPDEST
00001b9b: PUSH1 0x20
00001b9d: DUP3
00001b9e: LT
00001b9f: DUP2
00001ba0: EQ
00001ba1: ISZERO
00001ba2: PUSH2 0x1bbb
00001ba5: JUMPI
00001ba6: PUSH4 0x4e487b71
00001bab: PUSH1 0xe0
00001bad: SHL
00001bae: PUSH1 0x00
00001bb0: MSTORE
00001bb1: PUSH1 0x22
00001bb3: PUSH1 0x04
00001bb5: MSTORE
00001bb6: PUSH1 0x24
00001bb8: PUSH1 0x00
00001bba: REVERT
00001bbb: JUMPDEST
00001bbc: POP
00001bbd: SWAP2
00001bbe: SWAP1
00001bbf: POP
00001bc0: JUMP
00001bc1: JUMPDEST
00001bc2: PUSH4 0x4e487b71
00001bc7: PUSH1 0xe0
00001bc9: SHL
00001bca: PUSH1 0x00
00001bcc: MSTORE
00001bcd: PUSH1 0x11
00001bcf: PUSH1 0x04
00001bd1: MSTORE
00001bd2: PUSH1 0x24
00001bd4: PUSH1 0x00
00001bd6: REVERT
00001bd7: JUMPDEST
00001bd8: PUSH1 0x00
00001bda: PUSH1 0xff
00001bdc: DUP3
00001bdd: AND
00001bde: PUSH1 0xff
00001be0: DUP5
00001be1: AND
00001be2: DUP1
00001be3: PUSH1 0xff
00001be5: SUB
00001be6: DUP3
00001be7: GT
00001be8: ISZERO
00001be9: PUSH2 0x1bf4
00001bec: JUMPI
00001bed: PUSH2 0x1bf4
00001bf0: PUSH2 0x1bc1
00001bf3: JUMP
00001bf4: JUMPDEST
00001bf5: ADD
00001bf6: SWAP4
00001bf7: SWAP3
00001bf8: POP
00001bf9: POP
00001bfa: POP
00001bfb: JUMP
00001bfc: JUMPDEST
00001bfd: PUSH1 0x00
00001bff: PUSH1 0x20
00001c01: DUP3
00001c02: DUP5
00001c03: SUB
00001c04: SLT
00001c05: ISZERO
00001c06: PUSH2 0x1c0e
00001c09: JUMPI
00001c0a: PUSH1 0x00
00001c0c: DUP1
00001c0d: REVERT
00001c0e: JUMPDEST
00001c0f: DUP2
00001c10: MLOAD
00001c11: PUSH2 0x186b
00001c14: DUP2
00001c15: PUSH2 0x1835
00001c18: JUMP
00001c19: JUMPDEST
00001c1a: PUSH1 0x00
00001c1c: PUSH1 0x20
00001c1e: DUP3
00001c1f: DUP5
00001c20: SUB
00001c21: SLT
00001c22: ISZERO
00001c23: PUSH2 0x1c2b
00001c26: JUMPI
00001c27: PUSH1 0x00
00001c29: DUP1
00001c2a: REVERT
00001c2b: JUMPDEST
00001c2c: POP
00001c2d: MLOAD
00001c2e: SWAP2
00001c2f: SWAP1
00001c30: POP
00001c31: JUMP
00001c32: JUMPDEST
00001c33: PUSH1 0x00
00001c35: PUSH1 0x20
00001c37: DUP3
00001c38: DUP5
00001c39: SUB
00001c3a: SLT
00001c3b: ISZERO
00001c3c: PUSH2 0x1c44
00001c3f: JUMPI
00001c40: PUSH1 0x00
00001c42: DUP1
00001c43: REVERT
00001c44: JUMPDEST
00001c45: DUP2
00001c46: MLOAD
00001c47: PUSH2 0x186b
00001c4a: DUP2
00001c4b: PUSH2 0x1995
00001c4e: JUMP
00001c4f: JUMPDEST
00001c50: PUSH1 0x00
00001c52: PUSH1 0x00
00001c54: NOT
00001c55: DUP3
00001c56: EQ
00001c57: ISZERO
00001c58: PUSH2 0x1c63
00001c5b: JUMPI
00001c5c: PUSH2 0x1c63
00001c5f: PUSH2 0x1bc1
00001c62: JUMP
00001c63: JUMPDEST
00001c64: POP
00001c65: PUSH1 0x01
00001c67: ADD
00001c68: SWAP1
00001c69: JUMP
00001c6a: JUMPDEST
00001c6b: PUSH4 0x4e487b71
00001c70: PUSH1 0xe0
00001c72: SHL
00001c73: PUSH1 0x00
00001c75: MSTORE
00001c76: PUSH1 0x12
00001c78: PUSH1 0x04
00001c7a: MSTORE
00001c7b: PUSH1 0x24
00001c7d: PUSH1 0x00
00001c7f: REVERT
00001c80: JUMPDEST
00001c81: PUSH1 0x00
00001c83: DUP3
00001c84: PUSH2 0x1c8f
00001c87: JUMPI
00001c88: PUSH2 0x1c8f
00001c8b: PUSH2 0x1c6a
00001c8e: JUMP
00001c8f: JUMPDEST
00001c90: POP
00001c91: DIV
00001c92: SWAP1
00001c93: JUMP
00001c94: JUMPDEST
00001c95: PUSH1 0x00
00001c97: DUP3
00001c98: DUP3
00001c99: LT
00001c9a: ISZERO
00001c9b: PUSH2 0x1ca6
00001c9e: JUMPI
00001c9f: PUSH2 0x1ca6
00001ca2: PUSH2 0x1bc1
00001ca5: JUMP
00001ca6: JUMPDEST
00001ca7: POP
00001ca8: SUB
00001ca9: SWAP1
00001caa: JUMP
00001cab: JUMPDEST
00001cac: PUSH1 0x00
00001cae: DUP3
00001caf: PUSH2 0x1cba
00001cb2: JUMPI
00001cb3: PUSH2 0x1cba
00001cb6: PUSH2 0x1c6a
00001cb9: JUMP
00001cba: JUMPDEST
00001cbb: POP
00001cbc: MOD
00001cbd: SWAP1
00001cbe: JUMP
00001cbf: JUMPDEST
00001cc0: PUSH1 0x00
00001cc2: DUP3
00001cc3: NOT
00001cc4: DUP3
00001cc5: GT
00001cc6: ISZERO
00001cc7: PUSH2 0x1cd2
00001cca: JUMPI
00001ccb: PUSH2 0x1cd2
00001cce: PUSH2 0x1bc1
00001cd1: JUMP
00001cd2: JUMPDEST
00001cd3: POP
00001cd4: ADD
00001cd5: SWAP1
00001cd6: JUMP
00001cd7: JUMPDEST
00001cd8: PUSH4 0x4e487b71
00001cdd: PUSH1 0xe0
00001cdf: SHL
00001ce0: PUSH1 0x00
00001ce2: MSTORE
00001ce3: PUSH1 0x32
00001ce5: PUSH1 0x04
00001ce7: MSTORE
00001ce8: PUSH1 0x24
00001cea: PUSH1 0x00
00001cec: REVERT
00001ced: JUMPDEST
00001cee: PUSH1 0x00
00001cf0: PUSH1 0x01
00001cf2: PUSH1 0x01
00001cf4: PUSH1 0xa0
00001cf6: SHL
00001cf7: SUB
00001cf8: DUP1
00001cf9: DUP8
00001cfa: AND
00001cfb: DUP4
00001cfc: MSTORE
00001cfd: DUP1
00001cfe: DUP7
00001cff: AND
00001d00: PUSH1 0x20
00001d02: DUP5
00001d03: ADD
00001d04: MSTORE
00001d05: POP
00001d06: DUP4
00001d07: PUSH1 0x40
00001d09: DUP4
00001d0a: ADD
00001d0b: MSTORE
00001d0c: PUSH1 0x80
00001d0e: PUSH1 0x60
00001d10: DUP4
00001d11: ADD
00001d12: MSTORE
00001d13: PUSH2 0x1d1f
00001d16: PUSH1 0x80
00001d18: DUP4
00001d19: ADD
00001d1a: DUP5
00001d1b: PUSH2 0x189e
00001d1e: JUMP
00001d1f: JUMPDEST
00001d20: SWAP7
00001d21: SWAP6
00001d22: POP
00001d23: POP
00001d24: POP
00001d25: POP
00001d26: POP
00001d27: POP
00001d28: JUMP
00001d29: JUMPDEST
00001d2a: PUSH1 0x00
00001d2c: DUP4
00001d2d: MLOAD
00001d2e: PUSH2 0x1d3b
00001d31: DUP2
00001d32: DUP5
00001d33: PUSH1 0x20
00001d35: DUP9
00001d36: ADD
00001d37: PUSH2 0x1872
00001d3a: JUMP
00001d3b: JUMPDEST
00001d3c: DUP1
00001d3d: DUP4
00001d3e: ADD
00001d3f: SWAP1
00001d40: POP
00001d41: PUSH32 0x3c7465787420636c6173733d27746f702d7465787427206d617267696e3d2732
00001d62: DUP2
00001d63: MSTORE
00001d64: PUSH32 0x70782720783d2734252720793d273825273e0000000000000000000000000000
00001d85: PUSH1 0x20
00001d87: DUP3
00001d88: ADD
00001d89: MSTORE
00001d8a: DUP4
00001d8b: MLOAD
00001d8c: PUSH2 0x1d9c
00001d8f: DUP2
00001d90: PUSH1 0x32
00001d92: DUP5
00001d93: ADD
00001d94: PUSH1 0x20
00001d96: DUP9
00001d97: ADD
00001d98: PUSH2 0x1872
00001d9b: JUMP
00001d9c: JUMPDEST
00001d9d: PUSH32 0x3c2f746578743e3c2f7376673e00000000000000000000000000000000000000
00001dbe: PUSH1 0x32
00001dc0: SWAP3
00001dc1: SWAP1
00001dc2: SWAP2
00001dc3: ADD
00001dc4: SWAP2
00001dc5: DUP3
00001dc6: ADD
00001dc7: MSTORE
00001dc8: PUSH1 0x3f
00001dca: ADD
00001dcb: SWAP5
00001dcc: SWAP4
00001dcd: POP
00001dce: POP
00001dcf: POP
00001dd0: POP
00001dd1: JUMP
00001dd2: JUMPDEST
00001dd3: PUSH32 0x7b226e616d65223a202250696f6e656572200000000000000000000000000000
00001df4: DUP2
00001df5: MSTORE
00001df6: PUSH1 0x00
00001df8: DUP5
00001df9: MLOAD
00001dfa: PUSH2 0x1e0a
00001dfd: DUP2
00001dfe: PUSH1 0x12
00001e00: DUP6
00001e01: ADD
00001e02: PUSH1 0x20
00001e04: DUP10
00001e05: ADD
00001e06: PUSH2 0x1872
00001e09: JUMP
00001e0a: JUMPDEST
00001e0b: PUSH32 0x222c20226465736372697074696f6e223a202200000000000000000000000000
00001e2c: PUSH1 0x12
00001e2e: SWAP2
00001e2f: DUP5
00001e30: ADD
00001e31: SWAP2
00001e32: DUP3
00001e33: ADD
00001e34: MSTORE
00001e35: PUSH32 0x4e756d6265722000000000000000000000000000000000000000000000000000
00001e56: PUSH1 0x25
00001e58: DUP3
00001e59: ADD
00001e5a: MSTORE
00001e5b: DUP5
00001e5c: MLOAD
00001e5d: PUSH2 0x1e6d
00001e60: DUP2
00001e61: PUSH1 0x2c
00001e63: DUP5
00001e64: ADD
00001e65: PUSH1 0x20
00001e67: DUP10
00001e68: ADD
00001e69: PUSH2 0x1872
00001e6c: JUMP
00001e6d: JUMPDEST
00001e6e: PUSH32 0x206f66207468652050696f6e65657220636f6c6c656374696f6e20666f722065
00001e8f: PUSH1 0x2c
00001e91: SWAP3
00001e92: SWAP1
00001e93: SWAP2
00001e94: ADD
00001e95: SWAP2
00001e96: DUP3
00001e97: ADD
00001e98: MSTORE
00001e99: PUSH32 0x61726c7920596f626f742041646f7074657273222c2022696d616765223a2022
00001eba: PUSH1 0x4c
00001ebc: DUP3
00001ebd: ADD
00001ebe: MSTORE
00001ebf: PUSH32 0x646174613a696d6167652f7376672b786d6c3b6261736536342c000000000000
00001ee0: PUSH1 0x6c
00001ee2: DUP3
00001ee3: ADD
00001ee4: MSTORE
00001ee5: DUP4
00001ee6: MLOAD
00001ee7: PUSH2 0x1ef7
00001eea: DUP2
00001eeb: PUSH1 0x86
00001eed: DUP5
00001eee: ADD
00001eef: PUSH1 0x20
00001ef1: DUP9
00001ef2: ADD
00001ef3: PUSH2 0x1872
00001ef6: JUMP
00001ef7: JUMPDEST
00001ef8: PUSH32 0x227d000000000000000000000000000000000000000000000000000000000000
00001f19: PUSH1 0x86
00001f1b: SWAP3
00001f1c: SWAP1
00001f1d: SWAP2
00001f1e: ADD
00001f1f: SWAP2
00001f20: DUP3
00001f21: ADD
00001f22: MSTORE
00001f23: PUSH1 0x88
00001f25: ADD
00001f26: SWAP6
00001f27: SWAP5
00001f28: POP
00001f29: POP
00001f2a: POP
00001f2b: POP
00001f2c: POP
00001f2d: JUMP
00001f2e: JUMPDEST
00001f2f: PUSH32 0x646174613a6170706c69636174696f6e2f6a736f6e3b6261736536342c000000
00001f50: DUP2
00001f51: MSTORE
00001f52: PUSH1 0x00
00001f54: DUP3
00001f55: MLOAD
00001f56: PUSH2 0x1f66
00001f59: DUP2
00001f5a: PUSH1 0x1d
00001f5c: DUP6
00001f5d: ADD
00001f5e: PUSH1 0x20
00001f60: DUP8
00001f61: ADD
00001f62: PUSH2 0x1872
00001f65: JUMP
00001f66: JUMPDEST
00001f67: SWAP2
00001f68: SWAP1
00001f69: SWAP2
00001f6a: ADD
00001f6b: PUSH1 0x1d
00001f6d: ADD
00001f6e: SWAP3
00001f6f: SWAP2
00001f70: POP
00001f71: POP
00001f72: JUMP
00001f73: JUMPDEST
00001f74: PUSH1 0x00
00001f76: DUP2
00001f77: PUSH1 0x00
00001f79: NOT
00001f7a: DIV
00001f7b: DUP4
00001f7c: GT
00001f7d: DUP3
00001f7e: ISZERO
00001f7f: ISZERO
00001f80: AND
00001f81: ISZERO
00001f82: PUSH2 0x1f8d
00001f85: JUMPI
00001f86: PUSH2 0x1f8d
00001f89: PUSH2 0x1bc1
00001f8c: JUMP
00001f8d: JUMPDEST
00001f8e: POP
00001f8f: MUL
00001f90: SWAP1
00001f91: JUMP
00001f92: INVALID
00001f93: EXTCODECOPY
00001f94: PUSH20 0x76672076696577426f783d273020302038303020
00001fa9: CODESIZE
00001faa: ADDRESS
00001fab: ADDRESS
00001fac: UNKNOWN(0x27)
00001fad: KECCAK256
00001fae: PUSH25 0x6d6c6e733d27687474703a2f2f7777772e77332e6f72672f32
00001fc8: ADDRESS
00001fc9: ADDRESS
00001fca: ADDRESS
00001fcb: UNKNOWN(0x2F)
00001fcc: PUSH20 0x76672720786d6c6e733a786c696e6b3d27687474
00001fe1: PUSH17 0x3a2f2f7777772e77332e6f72672f313939
00001ff3: CODECOPY
00001ff4: UNKNOWN(0x2F)
00001ff5: PUSH25 0x6c696e6b273e3c7374796c653e2e746578742d2d6c696e657b
0000200f: PUSH7 0x6f6e742d73697a
00002017: PUSH6 0x3a3430307078
0000201e: EXTCODESIZE
0000201f: PUSH7 0x6f6e742d776569
00002027: PUSH8 0x68743a626f6c643b
00002030: PUSH7 0x6f6e742d66616d
00002038: PUSH10 0x6c793a27417269616c27
00002043: EXTCODESIZE
00002044: PUSH30 0x2e746f702d746578747b66696c6c3a236261666534393b666f6e742d7765
00002063: PUSH10 0x6768743a20626f6c643b
0000206e: PUSH7 0x6f6e742d636f6c
00002076: PUSH16 0x723a236261666534393b666f6e742d73
00002087: PUSH10 0x7a653a343070783b666f
00002092: PUSH15 0x742d66616d696c793a27417269616c
000020a2: UNKNOWN(0x27)
000020a3: EXTCODESIZE
000020a4: PUSH30 0x2e746578742d636f70797b66696c6c3a6e6f6e653b7374726f6b653a7768
000020c3: PUSH10 0x74653b7374726f6b652d
000020ce: PUSH5 0x6173686172
000020d4: PUSH19 0x61793a323525203430253b7374726f6b652d77
000020e8: PUSH10 0x6474683a3470783b616e
000020f3: PUSH10 0x6d6174696f6e3a737472
000020fe: PUSH16 0x6b652d6f666673657420397320696e66
0000210f: PUSH10 0x6e697465206c696e6561
0000211a: PUSH19 0x3b7d2e746578742d636f70793a6e74682d6368
0000212e: PUSH10 0x6c642831297b7374726f
00002139: PUSH12 0x653a236261666534393b7374
00002146: PUSH19 0x6f6b652d646173686f66667365743a3625202a
0000215a: KECCAK256
0000215b: BALANCE
0000215c: EXTCODESIZE
0000215d: PUSH30 0x2e746578742d636f70793a6e74682d6368696c642832297b7374726f6b65
0000217c: GASPRICE
0000217d: UNKNOWN(0x23)
0000217e: PUSH3 0x616665
00002182: CALLVALUE
00002183: CODECOPY
00002184: EXTCODESIZE
00002185: PUSH20 0x74726f6b652d646173686f66667365743a362520
0000219a: UNKNOWN(0x2A)
0000219b: KECCAK256
0000219c: ORIGIN
0000219d: EXTCODESIZE
0000219e: PUSH30 0x2e746578742d636f70793a6e74682d6368696c642833297b7374726f6b65
000021bd: GASPRICE
000021be: UNKNOWN(0x23)
000021bf: PUSH3 0x616665
000021c3: CALLVALUE
000021c4: CODECOPY
000021c5: EXTCODESIZE
000021c6: PUSH20 0x74726f6b652d646173686f66667365743a362520
000021db: UNKNOWN(0x2A)
000021dc: KECCAK256
000021dd: CALLER
000021de: EXTCODESIZE
000021df: PUSH30 0x2e746578742d636f70793a6e74682d6368696c642834297b7374726f6b65
000021fe: GASPRICE
000021ff: UNKNOWN(0x23)
00002200: PUSH3 0x616665
00002204: CALLVALUE
00002205: CODECOPY
00002206: EXTCODESIZE
00002207: PUSH20 0x74726f6b652d646173686f66667365743a362520
0000221c: UNKNOWN(0x2A)
0000221d: KECCAK256
0000221e: CALLVALUE
0000221f: EXTCODESIZE
00002220: PUSH30 0x2e746578742d636f70793a6e74682d6368696c642835297b7374726f6b65
0000223f: GASPRICE
00002240: UNKNOWN(0x23)
00002241: PUSH3 0x616665
00002245: CALLVALUE
00002246: CODECOPY
00002247: EXTCODESIZE
00002248: PUSH20 0x74726f6b652d646173686f66667365743a362520
0000225d: UNKNOWN(0x2A)
0000225e: KECCAK256
0000225f: CALLDATALOAD
00002260: EXTCODESIZE
00002261: PUSH30 0x2e746578742d636f70793a6e74682d6368696c642836297b7374726f6b65
00002280: GASPRICE
00002281: UNKNOWN(0x23)
00002282: PUSH3 0x616665
00002286: CALLVALUE
00002287: CODECOPY
00002288: EXTCODESIZE
00002289: PUSH20 0x74726f6b652d646173686f66667365743a362520
0000229e: UNKNOWN(0x2A)
0000229f: KECCAK256
000022a0: CALLDATASIZE
000022a1: EXTCODESIZE
000022a2: PUSH30 0x2e746578742d636f70793a6e74682d6368696c642837297b7374726f6b65
000022c1: GASPRICE
000022c2: UNKNOWN(0x23)
000022c3: PUSH3 0x616665
000022c7: CALLVALUE
000022c8: CODECOPY
000022c9: EXTCODESIZE
000022ca: PUSH20 0x74726f6b652d646173686f66667365743a362520
000022df: UNKNOWN(0x2A)
000022e0: KECCAK256
000022e1: CALLDATACOPY
000022e2: EXTCODESIZE
000022e3: PUSH30 0x2e746578742d636f70793a6e74682d6368696c642838297b7374726f6b65
00002302: GASPRICE
00002303: UNKNOWN(0x23)
00002304: PUSH3 0x616665
00002308: CALLVALUE
00002309: CODECOPY
0000230a: EXTCODESIZE
0000230b: PUSH20 0x74726f6b652d646173686f66667365743a362520
00002320: UNKNOWN(0x2A)
00002321: KECCAK256
00002322: CODESIZE
00002323: EXTCODESIZE
00002324: PUSH30 0x2e746578742d636f70793a6e74682d6368696c642839297b7374726f6b65
00002343: GASPRICE
00002344: UNKNOWN(0x23)
00002345: PUSH3 0x616665
00002349: CALLVALUE
0000234a: CODECOPY
0000234b: EXTCODESIZE
0000234c: PUSH20 0x74726f6b652d646173686f66667365743a362520
00002361: UNKNOWN(0x2A)
00002362: KECCAK256
00002363: CODECOPY
00002364: EXTCODESIZE
00002365: PUSH30 0x2e746578742d636f70793a6e74682d6368696c64283130297b7374726f6b
00002384: PUSH6 0x3a2362616665
0000238b: CALLVALUE
0000238c: CODECOPY
0000238d: EXTCODESIZE
0000238e: PUSH20 0x74726f6b652d646173686f66667365743a362520
000023a3: UNKNOWN(0x2A)
000023a4: KECCAK256
000023a5: BALANCE
000023a6: ADDRESS
000023a7: EXTCODESIZE
000023a8: PUSH30 0x406b65796672616d6573207374726f6b652d6f66667365747b3435257b73
000023c7: PUSH21 0x726f6b652d646173686f66667365743a3430253b73
000023dd: PUSH21 0x726f6b652d6461736861727261793a323525203025
000023f3: EXTCODESIZE
000023f4: PUSH30 0x3630257b7374726f6b652d646173686f66667365743a3430253b7374726f
00002413: PUSH12 0x652d6461736861727261793a
00002420: ORIGIN
00002421: CALLDATALOAD
00002422: UNKNOWN(0x25)
00002423: KECCAK256
00002424: ADDRESS
00002425: UNKNOWN(0x25)
00002426: EXTCODESIZE
00002427: PUSH30 0x7d3c2f7374796c653e3c726563742077696474683d273130302527206865
00002446: PUSH10 0x6768743d273130302527
00002451: KECCAK256
00002452: PUSH7 0x696c6c3d27626c
0000245a: PUSH2 0x636b
0000245d: UNKNOWN(0x27)
0000245e: KECCAK256
0000245f: UNKNOWN(0x2F)
00002460: RETURNDATACOPY
00002461: EXTCODECOPY
00002462: PUSH20 0x796d626f6c2069643d27732d74657874273e3c74
00002477: PUSH6 0x787420746578
0000247e: PUSH21 0x2d616e63686f723d276d6964646c652720783d2735
00002494: ADDRESS
00002495: UNKNOWN(0x25)
00002496: UNKNOWN(0x27)
00002497: KECCAK256
00002498: PUSH26 0x3d273730252720636c6173733d27746578742d2d6c696e65273e
000024b3: MSIZE
000024b4: EXTCODECOPY
000024b5: UNKNOWN(0x2F)
000024b6: PUSH21 0x6578743e3c2f73796d626f6c3e3c6720636c617373
000024cc: RETURNDATASIZE
000024cd: UNKNOWN(0x27)
000024ce: PUSH8 0x2d616e7473273e3c
000024d7: PUSH22 0x736520687265663d2723732d746578742720636c6173
000024ee: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c
00002503: PUSH22 0x736520687265663d2723732d746578742720636c6173
0000251a: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c
0000252f: PUSH22 0x736520687265663d2723732d746578742720636c6173
00002546: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c
0000255b: PUSH22 0x736520687265663d2723732d746578742720636c6173
00002572: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c
00002587: PUSH22 0x736520687265663d2723732d746578742720636c6173
0000259e: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c
000025b3: PUSH22 0x736520687265663d2723732d746578742720636c6173
000025ca: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c
000025df: PUSH22 0x736520687265663d2723732d746578742720636c6173
000025f6: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c
0000260b: PUSH22 0x736520687265663d2723732d746578742720636c6173
00002622: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c
00002637: PUSH22 0x736520687265663d2723732d746578742720636c6173
0000264e: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c
00002663: PUSH22 0x736520687265663d2723732d746578742720636c6173
0000267a: PUSH20 0x3d27746578742d636f7079273e3c2f7573653e3c
0000268f: UNKNOWN(0x2F)
00002690: PUSH8 0x3e41424344454647
00002699: BASEFEE
0000269a: BLOBHASH
0000269b: BLOBBASEFEE
0000269c: UNKNOWN(0x4B)
0000269d: UNKNOWN(0x4C)
0000269e: UNKNOWN(0x4D)
0000269f: UNKNOWN(0x4E)
000026a0: UNKNOWN(0x4F)
000026a1: POP
000026a2: MLOAD
000026a3: MSTORE
000026a4: MSTORE8
000026a5: SLOAD
000026a6: SSTORE
000026a7: JUMP
000026a8: JUMPI
000026a9: PC
000026aa: MSIZE
000026ab: GAS
000026ac: PUSH2 0x6263
000026af: PUSH5 0x6566676869
000026b5: PUSH11 0x6b6c6d6e6f707172737475
000026c1: PUSH23 0x7778797a303132333435363738392b2fa2646970667358
000026d9: UNKNOWN(0x22)
000026da: SLT
000026db: KECCAK256
000026dc: DUP10
000026dd: UNKNOWN(0xE0)
000026de: DUP9
000026df: UNKNOWN(0xE8)
000026e0: MOD
000026e1: UNKNOWN(0xD9)
000026e2: UNKNOWN(0xAB)
000026e3: EXTCODEHASH
000026e4: UNKNOWN(0xF7)
000026e5: PUSH20 0x68d8829312f6baca70ea8bba01b921257a18e675
000026fa: BASEFEE
000026fb: ORIGIN
000026fc: PUSH5 0x736f6c6343
00002702: STOP
00002703: ADDMOD
00002704: UNKNOWN(0x0C)
00002705: STOP
00002706: 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": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd1bdb1d1",
            "selector": "0xd1bdb1d1",
            "calldata_variants": [
                "0xd1bdb1d1",
                "0xd1bdb1d10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9f181b5e",
            "selector": "0x9f181b5e",
            "calldata_variants": [
                "0x9f181b5e",
                "0x9f181b5e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb42ccdfd",
            "selector": "0xb42ccdfd",
            "calldata_variants": [
                "0xb42ccdfd",
                "0xb42ccdfd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 8604,
            "type": "tx_origin_used"
        },
        {
            "pc": 9248,
            "type": "tx_origin_used"
        },
        {
            "pc": 9979,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x2827ccd03dc259b06c8775de6b509aaf207b0c7a3c1351fe8e82d11f36400cf0
call_targets: 0x4b5904b2821a39402788910312b873b08db0566c
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x2827ccd03dc259b06c8775de6b509aaf207b0c7a3c1351fe8e82d11f36400cf0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x4b5904b2821a39402788910312b873b08db0566c"
    ],
    "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": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd1bdb1d1",
            "selector": "0xd1bdb1d1",
            "calldata_variants": [
                "0xd1bdb1d1",
                "0xd1bdb1d10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9f181b5e",
            "selector": "0x9f181b5e",
            "calldata_variants": [
                "0x9f181b5e",
                "0x9f181b5e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb42ccdfd",
            "selector": "0xb42ccdfd",
            "calldata_variants": [
                "0xb42ccdfd",
                "0xb42ccdfd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2663,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3202,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3602,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [
        {
            "pc": 8604,
            "type": "tx_origin_used"
        },
        {
            "pc": 9248,
            "type": "tx_origin_used"
        },
        {
            "pc": 9979,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 5
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x2827ccd03dc259b06c8775de6b509aaf207b0c7a3c1351fe8e82d11f36400cf0
call_targets: 0x4b5904b2821a39402788910312b873b08db0566c
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x2827ccd03dc259b06c8775de6b509aaf207b0c7a3c1351fe8e82d11f36400cf0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x4b5904b2821a39402788910312b873b08db0566c"
    ],
    "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": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd1bdb1d1",
            "selector": "0xd1bdb1d1",
            "calldata_variants": [
                "0xd1bdb1d1",
                "0xd1bdb1d10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9f181b5e",
            "selector": "0x9f181b5e",
            "calldata_variants": [
                "0x9f181b5e",
                "0x9f181b5e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb42ccdfd",
            "selector": "0xb42ccdfd",
            "calldata_variants": [
                "0xb42ccdfd",
                "0xb42ccdfd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2663,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3202,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3602,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": [
        {
            "pc": 8604,
            "type": "tx_origin_used"
        },
        {
            "pc": 9248,
            "type": "tx_origin_used"
        },
        {
            "pc": 9979,
            "type": "tx_origin_used"
        }
    ]
}