Analysis Run

019b477e-bc57-7251-a483-f4747549d9c7
complete
Chain ID
1
Address
0x1e887e7115321b4ee5d58dd446ec09e12b45d81b
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
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
24055	artifact.fetch	complete	1 / 3	3 months ago
24056	tool.cast_disasm	complete	1 / 3	3 months ago
67294	analysis.bundle	complete	1 / 3	2 weeks ago
67295	capability.graph	complete	1 / 3	2 weeks ago
67296	detector.run	complete	1 / 3	2 weeks ago
67297	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)
27
EXT*/BALANCE
27
Total opcodes
7488
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0329
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x98f17a3b
00000019: GT
0000001a: PUSH2 0x01a5
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xbe8682db
00000024: GT
00000025: PUSH2 0x00ec
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdae8f1fd
0000002f: GT
00000030: PUSH2 0x0095
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf34184fa
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf34184fa
00000045: EQ
00000046: PUSH2 0x088e
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfa8aa3d7
00000050: EQ
00000051: PUSH2 0x08a3
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfc0c546a
0000005b: EQ
0000005c: PUSH2 0x08b8
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfc60a096
00000066: EQ
00000067: PUSH2 0x08cd
0000006a: JUMPI
0000006b: PUSH2 0x0329
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xdae8f1fd
00000076: EQ
00000077: PUSH2 0x084f
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xe3beb314
00000081: EQ
00000082: PUSH2 0x0864
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xea550ad9
0000008c: EQ
0000008d: PUSH2 0x0879
00000090: JUMPI
00000091: PUSH2 0x0329
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xcd312cc4
0000009c: GT
0000009d: PUSH2 0x00c6
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xcd312cc4
000000a7: EQ
000000a8: PUSH2 0x0810
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xcf71d211
000000b2: EQ
000000b3: PUSH2 0x0825
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xd34d05b9
000000bd: EQ
000000be: PUSH2 0x083a
000000c1: JUMPI
000000c2: PUSH2 0x0329
000000c5: JUMP
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0xbe8682db
000000cd: EQ
000000ce: PUSH2 0x07b3
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0xc135916f
000000d8: EQ
000000d9: PUSH2 0x07c8
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0xc7b30602
000000e3: EQ
000000e4: PUSH2 0x07fb
000000e7: JUMPI
000000e8: PUSH2 0x0329
000000eb: JUMP
000000ec: JUMPDEST
000000ed: DUP1
000000ee: PUSH4 0xa87430ba
000000f3: GT
000000f4: PUSH2 0x014e
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xb4af6489
000000fe: GT
000000ff: PUSH2 0x0128
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xb4af6489
00000109: EQ
0000010a: PUSH2 0x0763
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0xb53e51e1
00000114: EQ
00000115: PUSH2 0x0796
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0xb568d8a4
0000011f: EQ
00000120: PUSH2 0x079e
00000123: JUMPI
00000124: PUSH2 0x0329
00000127: JUMP
00000128: JUMPDEST
00000129: DUP1
0000012a: PUSH4 0xa87430ba
0000012f: EQ
00000130: PUSH2 0x06b5
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0xaaf5eb68
0000013a: EQ
0000013b: PUSH2 0x0739
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0xb082d99c
00000145: EQ
00000146: PUSH2 0x074e
00000149: JUMPI
0000014a: PUSH2 0x0329
0000014d: JUMP
0000014e: JUMPDEST
0000014f: DUP1
00000150: PUSH4 0x9d916523
00000155: GT
00000156: PUSH2 0x017f
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x9d916523
00000160: EQ
00000161: PUSH2 0x0658
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x9f7fd11d
0000016b: EQ
0000016c: PUSH2 0x066d
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0xa7ae510b
00000176: EQ
00000177: PUSH2 0x0682
0000017a: JUMPI
0000017b: PUSH2 0x0329
0000017e: JUMP
0000017f: JUMPDEST
00000180: DUP1
00000181: PUSH4 0x98f17a3b
00000186: EQ
00000187: PUSH2 0x0619
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x997f5dac
00000191: EQ
00000192: PUSH2 0x062e
00000195: JUMPI
00000196: DUP1
00000197: PUSH4 0x9acd5e83
0000019c: EQ
0000019d: PUSH2 0x0643
000001a0: JUMPI
000001a1: PUSH2 0x0329
000001a4: JUMP
000001a5: JUMPDEST
000001a6: DUP1
000001a7: PUSH4 0x4edbbb5d
000001ac: GT
000001ad: PUSH2 0x0274
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0x60f5a98b
000001b7: GT
000001b8: PUSH2 0x021d
000001bb: JUMPI
000001bc: DUP1
000001bd: PUSH4 0x8a8cd1e3
000001c2: GT
000001c3: PUSH2 0x01f7
000001c6: JUMPI
000001c7: DUP1
000001c8: PUSH4 0x8a8cd1e3
000001cd: EQ
000001ce: PUSH2 0x05a7
000001d1: JUMPI
000001d2: DUP1
000001d3: PUSH4 0x8b49f078
000001d8: EQ
000001d9: PUSH2 0x05bc
000001dc: JUMPI
000001dd: DUP1
000001de: PUSH4 0x92570992
000001e3: EQ
000001e4: PUSH2 0x05d1
000001e7: JUMPI
000001e8: DUP1
000001e9: PUSH4 0x9332fddc
000001ee: EQ
000001ef: PUSH2 0x0604
000001f2: JUMPI
000001f3: PUSH2 0x0329
000001f6: JUMP
000001f7: JUMPDEST
000001f8: DUP1
000001f9: PUSH4 0x60f5a98b
000001fe: EQ
000001ff: PUSH2 0x0553
00000202: JUMPI
00000203: DUP1
00000204: PUSH4 0x7159ffd8
00000209: EQ
0000020a: PUSH2 0x0568
0000020d: JUMPI
0000020e: DUP1
0000020f: PUSH4 0x7417f926
00000214: EQ
00000215: PUSH2 0x057d
00000218: JUMPI
00000219: PUSH2 0x0329
0000021c: JUMP
0000021d: JUMPDEST
0000021e: DUP1
0000021f: PUSH4 0x546ae039
00000224: GT
00000225: PUSH2 0x024e
00000228: JUMPI
00000229: DUP1
0000022a: PUSH4 0x546ae039
0000022f: EQ
00000230: PUSH2 0x0514
00000233: JUMPI
00000234: DUP1
00000235: PUSH4 0x577b4059
0000023a: EQ
0000023b: PUSH2 0x0529
0000023e: JUMPI
0000023f: DUP1
00000240: PUSH4 0x5ee3f1a7
00000245: EQ
00000246: PUSH2 0x053e
00000249: JUMPI
0000024a: PUSH2 0x0329
0000024d: JUMP
0000024e: JUMPDEST
0000024f: DUP1
00000250: PUSH4 0x4edbbb5d
00000255: EQ
00000256: PUSH2 0x04b1
00000259: JUMPI
0000025a: DUP1
0000025b: PUSH4 0x4f90ea4a
00000260: EQ
00000261: PUSH2 0x04c6
00000264: JUMPI
00000265: DUP1
00000266: PUSH4 0x5407886c
0000026b: EQ
0000026c: PUSH2 0x04ff
0000026f: JUMPI
00000270: PUSH2 0x0329
00000273: JUMP
00000274: JUMPDEST
00000275: DUP1
00000276: PUSH4 0x313c06a0
0000027b: GT
0000027c: PUSH2 0x02d6
0000027f: JUMPI
00000280: DUP1
00000281: PUSH4 0x47ccca02
00000286: GT
00000287: PUSH2 0x02b0
0000028a: JUMPI
0000028b: DUP1
0000028c: PUSH4 0x47ccca02
00000291: EQ
00000292: PUSH2 0x0454
00000295: JUMPI
00000296: DUP1
00000297: PUSH4 0x49263637
0000029c: EQ
0000029d: PUSH2 0x0469
000002a0: JUMPI
000002a1: DUP1
000002a2: PUSH4 0x4d159df7
000002a7: EQ
000002a8: PUSH2 0x049c
000002ab: JUMPI
000002ac: PUSH2 0x0329
000002af: JUMP
000002b0: JUMPDEST
000002b1: DUP1
000002b2: PUSH4 0x313c06a0
000002b7: EQ
000002b8: PUSH2 0x0400
000002bb: JUMPI
000002bc: DUP1
000002bd: PUSH4 0x3dfe7304
000002c2: EQ
000002c3: PUSH2 0x0415
000002c6: JUMPI
000002c7: DUP1
000002c8: PUSH4 0x3e218361
000002cd: EQ
000002ce: PUSH2 0x043f
000002d1: JUMPI
000002d2: PUSH2 0x0329
000002d5: JUMP
000002d6: JUMPDEST
000002d7: DUP1
000002d8: PUSH4 0x2614d4a4
000002dd: GT
000002de: PUSH2 0x0307
000002e1: JUMPI
000002e2: DUP1
000002e3: PUSH4 0x2614d4a4
000002e8: EQ
000002e9: PUSH2 0x039b
000002ec: JUMPI
000002ed: DUP1
000002ee: PUSH4 0x2ecf03f6
000002f3: EQ
000002f4: PUSH2 0x03d6
000002f7: JUMPI
000002f8: DUP1
000002f9: PUSH4 0x307c7a26
000002fe: EQ
000002ff: PUSH2 0x03eb
00000302: JUMPI
00000303: PUSH2 0x0329
00000306: JUMP
00000307: JUMPDEST
00000308: DUP1
00000309: PUSH4 0x054b3cfd
0000030e: EQ
0000030f: PUSH2 0x032e
00000312: JUMPI
00000313: DUP1
00000314: PUSH4 0x14627834
00000319: EQ
0000031a: PUSH2 0x0355
0000031d: JUMPI
0000031e: DUP1
0000031f: PUSH4 0x1c2f9918
00000324: EQ
00000325: PUSH2 0x0386
00000328: JUMPI
00000329: JUMPDEST
0000032a: PUSH1 0x00
0000032c: DUP1
0000032d: REVERT
0000032e: JUMPDEST
0000032f: CALLVALUE
00000330: DUP1
00000331: ISZERO
00000332: PUSH2 0x033a
00000335: JUMPI
00000336: PUSH1 0x00
00000338: DUP1
00000339: REVERT
0000033a: JUMPDEST
0000033b: POP
0000033c: PUSH2 0x0343
0000033f: PUSH2 0x08e2
00000342: JUMP
00000343: JUMPDEST
00000344: PUSH1 0x40
00000346: DUP1
00000347: MLOAD
00000348: SWAP2
00000349: DUP3
0000034a: MSTORE
0000034b: MLOAD
0000034c: SWAP1
0000034d: DUP2
0000034e: SWAP1
0000034f: SUB
00000350: PUSH1 0x20
00000352: ADD
00000353: SWAP1
00000354: RETURN
00000355: JUMPDEST
00000356: CALLVALUE
00000357: DUP1
00000358: ISZERO
00000359: PUSH2 0x0361
0000035c: JUMPI
0000035d: PUSH1 0x00
0000035f: DUP1
00000360: REVERT
00000361: JUMPDEST
00000362: POP
00000363: PUSH2 0x036a
00000366: PUSH2 0x0906
00000369: JUMP
0000036a: JUMPDEST
0000036b: PUSH1 0x40
0000036d: DUP1
0000036e: MLOAD
0000036f: PUSH1 0x01
00000371: PUSH1 0x01
00000373: PUSH1 0xa0
00000375: SHL
00000376: SUB
00000377: SWAP1
00000378: SWAP3
00000379: AND
0000037a: DUP3
0000037b: MSTORE
0000037c: MLOAD
0000037d: SWAP1
0000037e: DUP2
0000037f: SWAP1
00000380: SUB
00000381: PUSH1 0x20
00000383: ADD
00000384: SWAP1
00000385: RETURN
00000386: JUMPDEST
00000387: CALLVALUE
00000388: DUP1
00000389: ISZERO
0000038a: PUSH2 0x0392
0000038d: JUMPI
0000038e: PUSH1 0x00
00000390: DUP1
00000391: REVERT
00000392: JUMPDEST
00000393: POP
00000394: PUSH2 0x0343
00000397: PUSH2 0x0915
0000039a: JUMP
0000039b: JUMPDEST
0000039c: CALLVALUE
0000039d: DUP1
0000039e: ISZERO
0000039f: PUSH2 0x03a7
000003a2: JUMPI
000003a3: PUSH1 0x00
000003a5: DUP1
000003a6: REVERT
000003a7: JUMPDEST
000003a8: POP
000003a9: PUSH2 0x03d4
000003ac: PUSH1 0x04
000003ae: DUP1
000003af: CALLDATASIZE
000003b0: SUB
000003b1: PUSH1 0x40
000003b3: DUP2
000003b4: LT
000003b5: ISZERO
000003b6: PUSH2 0x03be
000003b9: JUMPI
000003ba: PUSH1 0x00
000003bc: DUP1
000003bd: REVERT
000003be: JUMPDEST
000003bf: POP
000003c0: PUSH1 0x01
000003c2: PUSH1 0x01
000003c4: PUSH1 0xa0
000003c6: SHL
000003c7: SUB
000003c8: DUP2
000003c9: CALLDATALOAD
000003ca: AND
000003cb: SWAP1
000003cc: PUSH1 0x20
000003ce: ADD
000003cf: CALLDATALOAD
000003d0: PUSH2 0x091b
000003d3: JUMP
000003d4: JUMPDEST
000003d5: STOP
000003d6: JUMPDEST
000003d7: CALLVALUE
000003d8: DUP1
000003d9: ISZERO
000003da: PUSH2 0x03e2
000003dd: JUMPI
000003de: PUSH1 0x00
000003e0: DUP1
000003e1: REVERT
000003e2: JUMPDEST
000003e3: POP
000003e4: PUSH2 0x0343
000003e7: PUSH2 0x09b5
000003ea: JUMP
000003eb: JUMPDEST
000003ec: CALLVALUE
000003ed: DUP1
000003ee: ISZERO
000003ef: PUSH2 0x03f7
000003f2: JUMPI
000003f3: PUSH1 0x00
000003f5: DUP1
000003f6: REVERT
000003f7: JUMPDEST
000003f8: POP
000003f9: PUSH2 0x0343
000003fc: PUSH2 0x09bb
000003ff: JUMP
00000400: JUMPDEST
00000401: CALLVALUE
00000402: DUP1
00000403: ISZERO
00000404: PUSH2 0x040c
00000407: JUMPI
00000408: PUSH1 0x00
0000040a: DUP1
0000040b: REVERT
0000040c: JUMPDEST
0000040d: POP
0000040e: PUSH2 0x036a
00000411: PUSH2 0x09dc
00000414: JUMP
00000415: JUMPDEST
00000416: CALLVALUE
00000417: DUP1
00000418: ISZERO
00000419: PUSH2 0x0421
0000041c: JUMPI
0000041d: PUSH1 0x00
0000041f: DUP1
00000420: REVERT
00000421: JUMPDEST
00000422: POP
00000423: PUSH2 0x03d4
00000426: PUSH1 0x04
00000428: DUP1
00000429: CALLDATASIZE
0000042a: SUB
0000042b: PUSH1 0x20
0000042d: DUP2
0000042e: LT
0000042f: ISZERO
00000430: PUSH2 0x0438
00000433: JUMPI
00000434: PUSH1 0x00
00000436: DUP1
00000437: REVERT
00000438: JUMPDEST
00000439: POP
0000043a: CALLDATALOAD
0000043b: PUSH2 0x09eb
0000043e: JUMP
0000043f: JUMPDEST
00000440: CALLVALUE
00000441: DUP1
00000442: ISZERO
00000443: PUSH2 0x044b
00000446: JUMPI
00000447: PUSH1 0x00
00000449: DUP1
0000044a: REVERT
0000044b: JUMPDEST
0000044c: POP
0000044d: PUSH2 0x0343
00000450: PUSH2 0x0b08
00000453: JUMP
00000454: JUMPDEST
00000455: CALLVALUE
00000456: DUP1
00000457: ISZERO
00000458: PUSH2 0x0460
0000045b: JUMPI
0000045c: PUSH1 0x00
0000045e: DUP1
0000045f: REVERT
00000460: JUMPDEST
00000461: POP
00000462: PUSH2 0x036a
00000465: PUSH2 0x0b0e
00000468: JUMP
00000469: JUMPDEST
0000046a: CALLVALUE
0000046b: DUP1
0000046c: ISZERO
0000046d: PUSH2 0x0475
00000470: JUMPI
00000471: PUSH1 0x00
00000473: DUP1
00000474: REVERT
00000475: JUMPDEST
00000476: POP
00000477: PUSH2 0x03d4
0000047a: PUSH1 0x04
0000047c: DUP1
0000047d: CALLDATASIZE
0000047e: SUB
0000047f: PUSH1 0x20
00000481: DUP2
00000482: LT
00000483: ISZERO
00000484: PUSH2 0x048c
00000487: JUMPI
00000488: PUSH1 0x00
0000048a: DUP1
0000048b: REVERT
0000048c: JUMPDEST
0000048d: POP
0000048e: CALLDATALOAD
0000048f: PUSH1 0x01
00000491: PUSH1 0x01
00000493: PUSH1 0xa0
00000495: SHL
00000496: SUB
00000497: AND
00000498: PUSH2 0x0b1d
0000049b: JUMP
0000049c: JUMPDEST
0000049d: CALLVALUE
0000049e: DUP1
0000049f: ISZERO
000004a0: PUSH2 0x04a8
000004a3: JUMPI
000004a4: PUSH1 0x00
000004a6: DUP1
000004a7: REVERT
000004a8: JUMPDEST
000004a9: POP
000004aa: PUSH2 0x0343
000004ad: PUSH2 0x0bb4
000004b0: JUMP
000004b1: JUMPDEST
000004b2: CALLVALUE
000004b3: DUP1
000004b4: ISZERO
000004b5: PUSH2 0x04bd
000004b8: JUMPI
000004b9: PUSH1 0x00
000004bb: DUP1
000004bc: REVERT
000004bd: JUMPDEST
000004be: POP
000004bf: PUSH2 0x0343
000004c2: PUSH2 0x0c40
000004c5: JUMP
000004c6: JUMPDEST
000004c7: CALLVALUE
000004c8: DUP1
000004c9: ISZERO
000004ca: PUSH2 0x04d2
000004cd: JUMPI
000004ce: PUSH1 0x00
000004d0: DUP1
000004d1: REVERT
000004d2: JUMPDEST
000004d3: POP
000004d4: PUSH2 0x03d4
000004d7: PUSH1 0x04
000004d9: DUP1
000004da: CALLDATASIZE
000004db: SUB
000004dc: PUSH1 0x40
000004de: DUP2
000004df: LT
000004e0: ISZERO
000004e1: PUSH2 0x04e9
000004e4: JUMPI
000004e5: PUSH1 0x00
000004e7: DUP1
000004e8: REVERT
000004e9: JUMPDEST
000004ea: POP
000004eb: DUP1
000004ec: CALLDATALOAD
000004ed: SWAP1
000004ee: PUSH1 0x20
000004f0: ADD
000004f1: CALLDATALOAD
000004f2: PUSH1 0x01
000004f4: PUSH1 0x01
000004f6: PUSH1 0xa0
000004f8: SHL
000004f9: SUB
000004fa: AND
000004fb: PUSH2 0x0c64
000004fe: JUMP
000004ff: JUMPDEST
00000500: CALLVALUE
00000501: DUP1
00000502: ISZERO
00000503: PUSH2 0x050b
00000506: JUMPI
00000507: PUSH1 0x00
00000509: DUP1
0000050a: REVERT
0000050b: JUMPDEST
0000050c: POP
0000050d: PUSH2 0x0343
00000510: PUSH2 0x0f82
00000513: JUMP
00000514: JUMPDEST
00000515: CALLVALUE
00000516: DUP1
00000517: ISZERO
00000518: PUSH2 0x0520
0000051b: JUMPI
0000051c: PUSH1 0x00
0000051e: DUP1
0000051f: REVERT
00000520: JUMPDEST
00000521: POP
00000522: PUSH2 0x0343
00000525: PUSH2 0x0fa2
00000528: JUMP
00000529: JUMPDEST
0000052a: CALLVALUE
0000052b: DUP1
0000052c: ISZERO
0000052d: PUSH2 0x0535
00000530: JUMPI
00000531: PUSH1 0x00
00000533: DUP1
00000534: REVERT
00000535: JUMPDEST
00000536: POP
00000537: PUSH2 0x0343
0000053a: PUSH2 0x1011
0000053d: JUMP
0000053e: JUMPDEST
0000053f: CALLVALUE
00000540: DUP1
00000541: ISZERO
00000542: PUSH2 0x054a
00000545: JUMPI
00000546: PUSH1 0x00
00000548: DUP1
00000549: REVERT
0000054a: JUMPDEST
0000054b: POP
0000054c: PUSH2 0x0343
0000054f: PUSH2 0x101c
00000552: JUMP
00000553: JUMPDEST
00000554: CALLVALUE
00000555: DUP1
00000556: ISZERO
00000557: PUSH2 0x055f
0000055a: JUMPI
0000055b: PUSH1 0x00
0000055d: DUP1
0000055e: REVERT
0000055f: JUMPDEST
00000560: POP
00000561: PUSH2 0x0343
00000564: PUSH2 0x1022
00000567: JUMP
00000568: JUMPDEST
00000569: CALLVALUE
0000056a: DUP1
0000056b: ISZERO
0000056c: PUSH2 0x0574
0000056f: JUMPI
00000570: PUSH1 0x00
00000572: DUP1
00000573: REVERT
00000574: JUMPDEST
00000575: POP
00000576: PUSH2 0x036a
00000579: PUSH2 0x1028
0000057c: JUMP
0000057d: JUMPDEST
0000057e: CALLVALUE
0000057f: DUP1
00000580: ISZERO
00000581: PUSH2 0x0589
00000584: JUMPI
00000585: PUSH1 0x00
00000587: DUP1
00000588: REVERT
00000589: JUMPDEST
0000058a: POP
0000058b: PUSH2 0x03d4
0000058e: PUSH1 0x04
00000590: DUP1
00000591: CALLDATASIZE
00000592: SUB
00000593: PUSH1 0x20
00000595: DUP2
00000596: LT
00000597: ISZERO
00000598: PUSH2 0x05a0
0000059b: JUMPI
0000059c: PUSH1 0x00
0000059e: DUP1
0000059f: REVERT
000005a0: JUMPDEST
000005a1: POP
000005a2: CALLDATALOAD
000005a3: PUSH2 0x1047
000005a6: JUMP
000005a7: JUMPDEST
000005a8: CALLVALUE
000005a9: DUP1
000005aa: ISZERO
000005ab: PUSH2 0x05b3
000005ae: JUMPI
000005af: PUSH1 0x00
000005b1: DUP1
000005b2: REVERT
000005b3: JUMPDEST
000005b4: POP
000005b5: PUSH2 0x0343
000005b8: PUSH2 0x1282
000005bb: JUMP
000005bc: JUMPDEST
000005bd: CALLVALUE
000005be: DUP1
000005bf: ISZERO
000005c0: PUSH2 0x05c8
000005c3: JUMPI
000005c4: PUSH1 0x00
000005c6: DUP1
000005c7: REVERT
000005c8: JUMPDEST
000005c9: POP
000005ca: PUSH2 0x0343
000005cd: PUSH2 0x1288
000005d0: JUMP
000005d1: JUMPDEST
000005d2: CALLVALUE
000005d3: DUP1
000005d4: ISZERO
000005d5: PUSH2 0x05dd
000005d8: JUMPI
000005d9: PUSH1 0x00
000005db: DUP1
000005dc: REVERT
000005dd: JUMPDEST
000005de: POP
000005df: PUSH2 0x03d4
000005e2: PUSH1 0x04
000005e4: DUP1
000005e5: CALLDATASIZE
000005e6: SUB
000005e7: PUSH1 0x20
000005e9: DUP2
000005ea: LT
000005eb: ISZERO
000005ec: PUSH2 0x05f4
000005ef: JUMPI
000005f0: PUSH1 0x00
000005f2: DUP1
000005f3: REVERT
000005f4: JUMPDEST
000005f5: POP
000005f6: CALLDATALOAD
000005f7: PUSH1 0x01
000005f9: PUSH1 0x01
000005fb: PUSH1 0xa0
000005fd: SHL
000005fe: SUB
000005ff: AND
00000600: PUSH2 0x12e4
00000603: JUMP
00000604: JUMPDEST
00000605: CALLVALUE
00000606: DUP1
00000607: ISZERO
00000608: PUSH2 0x0610
0000060b: JUMPI
0000060c: PUSH1 0x00
0000060e: DUP1
0000060f: REVERT
00000610: JUMPDEST
00000611: POP
00000612: PUSH2 0x0343
00000615: PUSH2 0x137b
00000618: JUMP
00000619: JUMPDEST
0000061a: CALLVALUE
0000061b: DUP1
0000061c: ISZERO
0000061d: PUSH2 0x0625
00000620: JUMPI
00000621: PUSH1 0x00
00000623: DUP1
00000624: REVERT
00000625: JUMPDEST
00000626: POP
00000627: PUSH2 0x0343
0000062a: PUSH2 0x1391
0000062d: JUMP
0000062e: JUMPDEST
0000062f: CALLVALUE
00000630: DUP1
00000631: ISZERO
00000632: PUSH2 0x063a
00000635: JUMPI
00000636: PUSH1 0x00
00000638: DUP1
00000639: REVERT
0000063a: JUMPDEST
0000063b: POP
0000063c: PUSH2 0x03d4
0000063f: PUSH2 0x13a4
00000642: JUMP
00000643: JUMPDEST
00000644: CALLVALUE
00000645: DUP1
00000646: ISZERO
00000647: PUSH2 0x064f
0000064a: JUMPI
0000064b: PUSH1 0x00
0000064d: DUP1
0000064e: REVERT
0000064f: JUMPDEST
00000650: POP
00000651: PUSH2 0x0343
00000654: PUSH2 0x1424
00000657: JUMP
00000658: JUMPDEST
00000659: CALLVALUE
0000065a: DUP1
0000065b: ISZERO
0000065c: PUSH2 0x0664
0000065f: JUMPI
00000660: PUSH1 0x00
00000662: DUP1
00000663: REVERT
00000664: JUMPDEST
00000665: POP
00000666: PUSH2 0x0343
00000669: PUSH2 0x1448
0000066c: JUMP
0000066d: JUMPDEST
0000066e: CALLVALUE
0000066f: DUP1
00000670: ISZERO
00000671: PUSH2 0x0679
00000674: JUMPI
00000675: PUSH1 0x00
00000677: DUP1
00000678: REVERT
00000679: JUMPDEST
0000067a: POP
0000067b: PUSH2 0x0343
0000067e: PUSH2 0x1481
00000681: JUMP
00000682: JUMPDEST
00000683: CALLVALUE
00000684: DUP1
00000685: ISZERO
00000686: PUSH2 0x068e
00000689: JUMPI
0000068a: PUSH1 0x00
0000068c: DUP1
0000068d: REVERT
0000068e: JUMPDEST
0000068f: POP
00000690: PUSH2 0x03d4
00000693: PUSH1 0x04
00000695: DUP1
00000696: CALLDATASIZE
00000697: SUB
00000698: PUSH1 0x20
0000069a: DUP2
0000069b: LT
0000069c: ISZERO
0000069d: PUSH2 0x06a5
000006a0: JUMPI
000006a1: PUSH1 0x00
000006a3: DUP1
000006a4: REVERT
000006a5: JUMPDEST
000006a6: POP
000006a7: CALLDATALOAD
000006a8: PUSH1 0x01
000006aa: PUSH1 0x01
000006ac: PUSH1 0xa0
000006ae: SHL
000006af: SUB
000006b0: AND
000006b1: PUSH2 0x14cd
000006b4: JUMP
000006b5: JUMPDEST
000006b6: CALLVALUE
000006b7: DUP1
000006b8: ISZERO
000006b9: PUSH2 0x06c1
000006bc: JUMPI
000006bd: PUSH1 0x00
000006bf: DUP1
000006c0: REVERT
000006c1: JUMPDEST
000006c2: POP
000006c3: PUSH2 0x06e8
000006c6: PUSH1 0x04
000006c8: DUP1
000006c9: CALLDATASIZE
000006ca: SUB
000006cb: PUSH1 0x20
000006cd: DUP2
000006ce: LT
000006cf: ISZERO
000006d0: PUSH2 0x06d8
000006d3: JUMPI
000006d4: PUSH1 0x00
000006d6: DUP1
000006d7: REVERT
000006d8: JUMPDEST
000006d9: POP
000006da: CALLDATALOAD
000006db: PUSH1 0x01
000006dd: PUSH1 0x01
000006df: PUSH1 0xa0
000006e1: SHL
000006e2: SUB
000006e3: AND
000006e4: PUSH2 0x1506
000006e7: JUMP
000006e8: JUMPDEST
000006e9: PUSH1 0x40
000006eb: DUP1
000006ec: MLOAD
000006ed: SWAP10
000006ee: DUP11
000006ef: MSTORE
000006f0: PUSH1 0x20
000006f2: DUP11
000006f3: ADD
000006f4: SWAP9
000006f5: SWAP1
000006f6: SWAP9
000006f7: MSTORE
000006f8: PUSH1 0x01
000006fa: PUSH1 0x01
000006fc: PUSH1 0xa0
000006fe: SHL
000006ff: SUB
00000700: SWAP1
00000701: SWAP7
00000702: AND
00000703: DUP9
00000704: DUP9
00000705: ADD
00000706: MSTORE
00000707: PUSH1 0x60
00000709: DUP9
0000070a: ADD
0000070b: SWAP5
0000070c: SWAP1
0000070d: SWAP5
0000070e: MSTORE
0000070f: PUSH1 0x80
00000711: DUP8
00000712: ADD
00000713: SWAP3
00000714: SWAP1
00000715: SWAP3
00000716: MSTORE
00000717: PUSH1 0xa0
00000719: DUP7
0000071a: ADD
0000071b: MSTORE
0000071c: PUSH1 0xc0
0000071e: DUP6
0000071f: ADD
00000720: MSTORE
00000721: PUSH1 0xe0
00000723: DUP5
00000724: ADD
00000725: MSTORE
00000726: ISZERO
00000727: ISZERO
00000728: PUSH2 0x0100
0000072b: DUP4
0000072c: ADD
0000072d: MSTORE
0000072e: MLOAD
0000072f: SWAP1
00000730: DUP2
00000731: SWAP1
00000732: SUB
00000733: PUSH2 0x0120
00000736: ADD
00000737: SWAP1
00000738: RETURN
00000739: JUMPDEST
0000073a: CALLVALUE
0000073b: DUP1
0000073c: ISZERO
0000073d: PUSH2 0x0745
00000740: JUMPI
00000741: PUSH1 0x00
00000743: DUP1
00000744: REVERT
00000745: JUMPDEST
00000746: POP
00000747: PUSH2 0x0343
0000074a: PUSH2 0x155e
0000074d: JUMP
0000074e: JUMPDEST
0000074f: CALLVALUE
00000750: DUP1
00000751: ISZERO
00000752: PUSH2 0x075a
00000755: JUMPI
00000756: PUSH1 0x00
00000758: DUP1
00000759: REVERT
0000075a: JUMPDEST
0000075b: POP
0000075c: PUSH2 0x0343
0000075f: PUSH2 0x1565
00000762: JUMP
00000763: JUMPDEST
00000764: CALLVALUE
00000765: DUP1
00000766: ISZERO
00000767: PUSH2 0x076f
0000076a: JUMPI
0000076b: PUSH1 0x00
0000076d: DUP1
0000076e: REVERT
0000076f: JUMPDEST
00000770: POP
00000771: PUSH2 0x0343
00000774: PUSH1 0x04
00000776: DUP1
00000777: CALLDATASIZE
00000778: SUB
00000779: PUSH1 0x20
0000077b: DUP2
0000077c: LT
0000077d: ISZERO
0000077e: PUSH2 0x0786
00000781: JUMPI
00000782: PUSH1 0x00
00000784: DUP1
00000785: REVERT
00000786: JUMPDEST
00000787: POP
00000788: CALLDATALOAD
00000789: PUSH1 0x01
0000078b: PUSH1 0x01
0000078d: PUSH1 0xa0
0000078f: SHL
00000790: SUB
00000791: AND
00000792: PUSH2 0x156b
00000795: JUMP
00000796: JUMPDEST
00000797: PUSH2 0x03d4
0000079a: PUSH2 0x163c
0000079d: JUMP
0000079e: JUMPDEST
0000079f: CALLVALUE
000007a0: DUP1
000007a1: ISZERO
000007a2: PUSH2 0x07aa
000007a5: JUMPI
000007a6: PUSH1 0x00
000007a8: DUP1
000007a9: REVERT
000007aa: JUMPDEST
000007ab: POP
000007ac: PUSH2 0x0343
000007af: PUSH2 0x180b
000007b2: JUMP
000007b3: JUMPDEST
000007b4: CALLVALUE
000007b5: DUP1
000007b6: ISZERO
000007b7: PUSH2 0x07bf
000007ba: JUMPI
000007bb: PUSH1 0x00
000007bd: DUP1
000007be: REVERT
000007bf: JUMPDEST
000007c0: POP
000007c1: PUSH2 0x0343
000007c4: PUSH2 0x1896
000007c7: JUMP
000007c8: JUMPDEST
000007c9: CALLVALUE
000007ca: DUP1
000007cb: ISZERO
000007cc: PUSH2 0x07d4
000007cf: JUMPI
000007d0: PUSH1 0x00
000007d2: DUP1
000007d3: REVERT
000007d4: JUMPDEST
000007d5: POP
000007d6: PUSH2 0x03d4
000007d9: PUSH1 0x04
000007db: DUP1
000007dc: CALLDATASIZE
000007dd: SUB
000007de: PUSH1 0x20
000007e0: DUP2
000007e1: LT
000007e2: ISZERO
000007e3: PUSH2 0x07eb
000007e6: JUMPI
000007e7: PUSH1 0x00
000007e9: DUP1
000007ea: REVERT
000007eb: JUMPDEST
000007ec: POP
000007ed: CALLDATALOAD
000007ee: PUSH1 0x01
000007f0: PUSH1 0x01
000007f2: PUSH1 0xa0
000007f4: SHL
000007f5: SUB
000007f6: AND
000007f7: PUSH2 0x1b8e
000007fa: JUMP
000007fb: JUMPDEST
000007fc: CALLVALUE
000007fd: DUP1
000007fe: ISZERO
000007ff: PUSH2 0x0807
00000802: JUMPI
00000803: PUSH1 0x00
00000805: DUP1
00000806: REVERT
00000807: JUMPDEST
00000808: POP
00000809: PUSH2 0x0343
0000080c: PUSH2 0x1c25
0000080f: JUMP
00000810: JUMPDEST
00000811: CALLVALUE
00000812: DUP1
00000813: ISZERO
00000814: PUSH2 0x081c
00000817: JUMPI
00000818: PUSH1 0x00
0000081a: DUP1
0000081b: REVERT
0000081c: JUMPDEST
0000081d: POP
0000081e: PUSH2 0x0343
00000821: PUSH2 0x1ca6
00000824: JUMP
00000825: JUMPDEST
00000826: CALLVALUE
00000827: DUP1
00000828: ISZERO
00000829: PUSH2 0x0831
0000082c: JUMPI
0000082d: PUSH1 0x00
0000082f: DUP1
00000830: REVERT
00000831: JUMPDEST
00000832: POP
00000833: PUSH2 0x03d4
00000836: PUSH2 0x1cab
00000839: JUMP
0000083a: JUMPDEST
0000083b: CALLVALUE
0000083c: DUP1
0000083d: ISZERO
0000083e: PUSH2 0x0846
00000841: JUMPI
00000842: PUSH1 0x00
00000844: DUP1
00000845: REVERT
00000846: JUMPDEST
00000847: POP
00000848: PUSH2 0x0343
0000084b: PUSH2 0x1d2b
0000084e: JUMP
0000084f: JUMPDEST
00000850: CALLVALUE
00000851: DUP1
00000852: ISZERO
00000853: PUSH2 0x085b
00000856: JUMPI
00000857: PUSH1 0x00
00000859: DUP1
0000085a: REVERT
0000085b: JUMPDEST
0000085c: POP
0000085d: PUSH2 0x0343
00000860: PUSH2 0x1db5
00000863: JUMP
00000864: JUMPDEST
00000865: CALLVALUE
00000866: DUP1
00000867: ISZERO
00000868: PUSH2 0x0870
0000086b: JUMPI
0000086c: PUSH1 0x00
0000086e: DUP1
0000086f: REVERT
00000870: JUMPDEST
00000871: POP
00000872: PUSH2 0x0343
00000875: PUSH2 0x1dbb
00000878: JUMP
00000879: JUMPDEST
0000087a: CALLVALUE
0000087b: DUP1
0000087c: ISZERO
0000087d: PUSH2 0x0885
00000880: JUMPI
00000881: PUSH1 0x00
00000883: DUP1
00000884: REVERT
00000885: JUMPDEST
00000886: POP
00000887: PUSH2 0x0343
0000088a: PUSH2 0x1dc1
0000088d: JUMP
0000088e: JUMPDEST
0000088f: CALLVALUE
00000890: DUP1
00000891: ISZERO
00000892: PUSH2 0x089a
00000895: JUMPI
00000896: PUSH1 0x00
00000898: DUP1
00000899: REVERT
0000089a: JUMPDEST
0000089b: POP
0000089c: PUSH2 0x036a
0000089f: PUSH2 0x1e1d
000008a2: JUMP
000008a3: JUMPDEST
000008a4: CALLVALUE
000008a5: DUP1
000008a6: ISZERO
000008a7: PUSH2 0x08af
000008aa: JUMPI
000008ab: PUSH1 0x00
000008ad: DUP1
000008ae: REVERT
000008af: JUMPDEST
000008b0: POP
000008b1: PUSH2 0x0343
000008b4: PUSH2 0x1e41
000008b7: JUMP
000008b8: JUMPDEST
000008b9: CALLVALUE
000008ba: DUP1
000008bb: ISZERO
000008bc: PUSH2 0x08c4
000008bf: JUMPI
000008c0: PUSH1 0x00
000008c2: DUP1
000008c3: REVERT
000008c4: JUMPDEST
000008c5: POP
000008c6: PUSH2 0x036a
000008c9: PUSH2 0x1e57
000008cc: JUMP
000008cd: JUMPDEST
000008ce: CALLVALUE
000008cf: DUP1
000008d0: ISZERO
000008d1: PUSH2 0x08d9
000008d4: JUMPI
000008d5: PUSH1 0x00
000008d7: DUP1
000008d8: REVERT
000008d9: JUMPDEST
000008da: POP
000008db: PUSH2 0x0343
000008de: PUSH2 0x1e66
000008e1: JUMP
000008e2: JUMPDEST
000008e3: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b2670c
00000904: DUP2
00000905: JUMP
00000906: JUMPDEST
00000907: PUSH1 0x09
00000909: SLOAD
0000090a: PUSH1 0x01
0000090c: PUSH1 0x01
0000090e: PUSH1 0xa0
00000910: SHL
00000911: SUB
00000912: AND
00000913: DUP2
00000914: JUMP
00000915: JUMPDEST
00000916: PUSH1 0x05
00000918: SLOAD
00000919: DUP2
0000091a: JUMP
0000091b: JUMPDEST
0000091c: PUSH1 0x02
0000091e: SLOAD
0000091f: PUSH1 0x01
00000921: PUSH1 0x01
00000923: PUSH1 0xa0
00000925: SHL
00000926: SUB
00000927: AND
00000928: CALLER
00000929: EQ
0000092a: PUSH2 0x097a
0000092d: JUMPI
0000092e: PUSH1 0x40
00000930: DUP1
00000931: MLOAD
00000932: PUSH3 0x461bcd
00000936: PUSH1 0xe5
00000938: SHL
00000939: DUP2
0000093a: MSTORE
0000093b: PUSH1 0x20
0000093d: PUSH1 0x04
0000093f: DUP3
00000940: ADD
00000941: MSTORE
00000942: PUSH1 0x1c
00000944: PUSH1 0x24
00000946: DUP3
00000947: ADD
00000948: MSTORE
00000949: PUSH32 0x43616e206f6e6c792063616c6c656420627920474661726d4e46542e00000000
0000096a: PUSH1 0x44
0000096c: DUP3
0000096d: ADD
0000096e: MSTORE
0000096f: SWAP1
00000970: MLOAD
00000971: SWAP1
00000972: DUP2
00000973: SWAP1
00000974: SUB
00000975: PUSH1 0x64
00000977: ADD
00000978: SWAP1
00000979: REVERT
0000097a: JUMPDEST
0000097b: PUSH1 0x01
0000097d: PUSH1 0x01
0000097f: PUSH1 0xa0
00000981: SHL
00000982: SUB
00000983: DUP3
00000984: AND
00000985: PUSH1 0x00
00000987: SWAP1
00000988: DUP2
00000989: MSTORE
0000098a: PUSH1 0x0a
0000098c: PUSH1 0x20
0000098e: MSTORE
0000098f: PUSH1 0x40
00000991: SWAP1
00000992: KECCAK256
00000993: PUSH2 0x09a5
00000996: DUP3
00000997: PUSH2 0x099f
0000099a: DUP6
0000099b: PUSH2 0x156b
0000099e: JUMP
0000099f: JUMPDEST
000009a0: SWAP1
000009a1: PUSH2 0x1f10
000009a4: JUMP
000009a5: JUMPDEST
000009a6: PUSH1 0x06
000009a8: DUP3
000009a9: ADD
000009aa: SSTORE
000009ab: NUMBER
000009ac: PUSH1 0x07
000009ae: SWAP1
000009af: SWAP2
000009b0: ADD
000009b1: SSTORE
000009b2: POP
000009b3: POP
000009b4: JUMP
000009b5: JUMPDEST
000009b6: PUSH1 0x07
000009b8: SLOAD
000009b9: DUP2
000009ba: JUMP
000009bb: JUMPDEST
000009bc: PUSH1 0x00
000009be: PUSH2 0x09d6
000009c1: PUSH2 0x09c8
000009c4: PUSH2 0x0f82
000009c7: JUMP
000009c8: JUMPDEST
000009c9: PUSH2 0x09d0
000009cc: PUSH2 0x1896
000009cf: JUMP
000009d0: JUMPDEST
000009d1: SWAP1
000009d2: PUSH2 0x1e6b
000009d5: JUMP
000009d6: JUMPDEST
000009d7: SWAP1
000009d8: POP
000009d9: JUMPDEST
000009da: SWAP1
000009db: JUMP
000009dc: JUMPDEST
000009dd: PUSH1 0x01
000009df: SLOAD
000009e0: PUSH1 0x01
000009e2: PUSH1 0x01
000009e4: PUSH1 0xa0
000009e6: SHL
000009e7: SUB
000009e8: AND
000009e9: DUP2
000009ea: JUMP
000009eb: JUMPDEST
000009ec: CALLER
000009ed: PUSH1 0x00
000009ef: SWAP1
000009f0: DUP2
000009f1: MSTORE
000009f2: PUSH1 0x0a
000009f4: PUSH1 0x20
000009f6: MSTORE
000009f7: PUSH1 0x40
000009f9: SWAP1
000009fa: KECCAK256
000009fb: DUP2
000009fc: PUSH2 0x0a4c
000009ff: JUMPI
00000a00: PUSH1 0x40
00000a02: DUP1
00000a03: MLOAD
00000a04: PUSH3 0x461bcd
00000a08: PUSH1 0xe5
00000a0a: SHL
00000a0b: DUP2
00000a0c: MSTORE
00000a0d: PUSH1 0x20
00000a0f: PUSH1 0x04
00000a11: DUP3
00000a12: ADD
00000a13: MSTORE
00000a14: PUSH1 0x10
00000a16: PUSH1 0x24
00000a18: DUP3
00000a19: ADD
00000a1a: MSTORE
00000a1b: PUSH32 0x556e7374616b696e672030204554482e00000000000000000000000000000000
00000a3c: PUSH1 0x44
00000a3e: DUP3
00000a3f: ADD
00000a40: MSTORE
00000a41: SWAP1
00000a42: MLOAD
00000a43: SWAP1
00000a44: DUP2
00000a45: SWAP1
00000a46: SUB
00000a47: PUSH1 0x64
00000a49: ADD
00000a4a: SWAP1
00000a4b: REVERT
00000a4c: JUMPDEST
00000a4d: DUP2
00000a4e: DUP2
00000a4f: PUSH1 0x04
00000a51: ADD
00000a52: SLOAD
00000a53: LT
00000a54: ISZERO
00000a55: PUSH2 0x0a8f
00000a58: JUMPI
00000a59: PUSH1 0x40
00000a5b: MLOAD
00000a5c: PUSH3 0x461bcd
00000a60: PUSH1 0xe5
00000a62: SHL
00000a63: DUP2
00000a64: MSTORE
00000a65: PUSH1 0x04
00000a67: ADD
00000a68: DUP1
00000a69: DUP1
00000a6a: PUSH1 0x20
00000a6c: ADD
00000a6d: DUP3
00000a6e: DUP2
00000a6f: SUB
00000a70: DUP3
00000a71: MSTORE
00000a72: PUSH1 0x25
00000a74: DUP2
00000a75: MSTORE
00000a76: PUSH1 0x20
00000a78: ADD
00000a79: DUP1
00000a7a: PUSH2 0x30ad
00000a7d: PUSH1 0x25
00000a7f: SWAP2
00000a80: CODECOPY
00000a81: PUSH1 0x40
00000a83: ADD
00000a84: SWAP2
00000a85: POP
00000a86: POP
00000a87: PUSH1 0x40
00000a89: MLOAD
00000a8a: DUP1
00000a8b: SWAP2
00000a8c: SUB
00000a8d: SWAP1
00000a8e: REVERT
00000a8f: JUMPDEST
00000a90: PUSH2 0x0a9a
00000a93: CALLER
00000a94: PUSH1 0x00
00000a96: PUSH2 0x1f52
00000a99: JUMP
00000a9a: JUMPDEST
00000a9b: PUSH1 0x40
00000a9d: MLOAD
00000a9e: CALLER
00000a9f: SWAP1
00000aa0: DUP4
00000aa1: ISZERO
00000aa2: PUSH2 0x08fc
00000aa5: MUL
00000aa6: SWAP1
00000aa7: DUP5
00000aa8: SWAP1
00000aa9: PUSH1 0x00
00000aab: DUP2
00000aac: DUP2
00000aad: DUP2
00000aae: DUP6
00000aaf: DUP9
00000ab0: DUP9
00000ab1: CALL
00000ab2: SWAP4
00000ab3: POP
00000ab4: POP
00000ab5: POP
00000ab6: POP
00000ab7: ISZERO
00000ab8: DUP1
00000ab9: ISZERO
00000aba: PUSH2 0x0ac7
00000abd: JUMPI
00000abe: RETURNDATASIZE
00000abf: PUSH1 0x00
00000ac1: DUP1
00000ac2: RETURNDATACOPY
00000ac3: RETURNDATASIZE
00000ac4: PUSH1 0x00
00000ac6: REVERT
00000ac7: JUMPDEST
00000ac8: POP
00000ac9: PUSH1 0x04
00000acb: DUP2
00000acc: ADD
00000acd: SLOAD
00000ace: PUSH2 0x0ad7
00000ad1: SWAP1
00000ad2: DUP4
00000ad3: PUSH2 0x1f10
00000ad6: JUMP
00000ad7: JUMPDEST
00000ad8: PUSH1 0x04
00000ada: DUP3
00000adb: ADD
00000adc: DUP2
00000add: SWAP1
00000ade: SSTORE
00000adf: PUSH1 0x08
00000ae1: SLOAD
00000ae2: PUSH2 0x0aff
00000ae5: SWAP2
00000ae6: PUSH8 0x0de0b6b3a7640000
00000aef: SWAP2
00000af0: PUSH2 0x0af9
00000af3: SWAP2
00000af4: SWAP1
00000af5: PUSH2 0x202d
00000af8: JUMP
00000af9: JUMPDEST
00000afa: SWAP1
00000afb: PUSH2 0x1ece
00000afe: JUMP
00000aff: JUMPDEST
00000b00: PUSH1 0x05
00000b02: SWAP1
00000b03: SWAP2
00000b04: ADD
00000b05: SSTORE
00000b06: POP
00000b07: JUMP
00000b08: JUMPDEST
00000b09: PUSH2 0x7d00
00000b0c: DUP2
00000b0d: JUMP
00000b0e: JUMPDEST
00000b0f: PUSH1 0x02
00000b11: SLOAD
00000b12: PUSH1 0x01
00000b14: PUSH1 0x01
00000b16: PUSH1 0xa0
00000b18: SHL
00000b19: SUB
00000b1a: AND
00000b1b: DUP2
00000b1c: JUMP
00000b1d: JUMPDEST
00000b1e: PUSH1 0x09
00000b20: SLOAD
00000b21: PUSH1 0x01
00000b23: PUSH1 0x01
00000b25: PUSH1 0xa0
00000b27: SHL
00000b28: SUB
00000b29: AND
00000b2a: CALLER
00000b2b: EQ
00000b2c: PUSH2 0x0b34
00000b2f: JUMPI
00000b30: PUSH1 0x00
00000b32: DUP1
00000b33: REVERT
00000b34: JUMPDEST
00000b35: PUSH1 0x00
00000b37: SLOAD
00000b38: PUSH1 0x01
00000b3a: PUSH1 0x01
00000b3c: PUSH1 0xa0
00000b3e: SHL
00000b3f: SUB
00000b40: AND
00000b41: ISZERO
00000b42: PUSH2 0x0b92
00000b45: JUMPI
00000b46: PUSH1 0x40
00000b48: DUP1
00000b49: MLOAD
00000b4a: PUSH3 0x461bcd
00000b4e: PUSH1 0xe5
00000b50: SHL
00000b51: DUP2
00000b52: MSTORE
00000b53: PUSH1 0x20
00000b55: PUSH1 0x04
00000b57: DUP3
00000b58: ADD
00000b59: MSTORE
00000b5a: PUSH1 0x19
00000b5c: PUSH1 0x24
00000b5e: DUP3
00000b5f: ADD
00000b60: MSTORE
00000b61: PUSH32 0x546f6b656e206164647265737320616c72656164792073657400000000000000
00000b82: PUSH1 0x44
00000b84: DUP3
00000b85: ADD
00000b86: MSTORE
00000b87: SWAP1
00000b88: MLOAD
00000b89: SWAP1
00000b8a: DUP2
00000b8b: SWAP1
00000b8c: SUB
00000b8d: PUSH1 0x64
00000b8f: ADD
00000b90: SWAP1
00000b91: REVERT
00000b92: JUMPDEST
00000b93: PUSH1 0x00
00000b95: DUP1
00000b96: SLOAD
00000b97: PUSH1 0x01
00000b99: PUSH1 0x01
00000b9b: PUSH1 0xa0
00000b9d: SHL
00000b9e: SUB
00000b9f: NOT
00000ba0: AND
00000ba1: PUSH1 0x01
00000ba3: PUSH1 0x01
00000ba5: PUSH1 0xa0
00000ba7: SHL
00000ba8: SUB
00000ba9: SWAP3
00000baa: SWAP1
00000bab: SWAP3
00000bac: AND
00000bad: SWAP2
00000bae: SWAP1
00000baf: SWAP2
00000bb0: OR
00000bb1: SWAP1
00000bb2: SSTORE
00000bb3: JUMP
00000bb4: JUMPDEST
00000bb5: PUSH1 0x01
00000bb7: DUP1
00000bb8: SLOAD
00000bb9: PUSH1 0x40
00000bbb: DUP1
00000bbc: MLOAD
00000bbd: PUSH4 0x70a08231
00000bc2: PUSH1 0xe0
00000bc4: SHL
00000bc5: DUP2
00000bc6: MSTORE
00000bc7: ADDRESS
00000bc8: PUSH1 0x04
00000bca: DUP3
00000bcb: ADD
00000bcc: MSTORE
00000bcd: SWAP1
00000bce: MLOAD
00000bcf: PUSH1 0x00
00000bd1: SWAP4
00000bd2: PUSH2 0x09d6
00000bd5: SWAP4
00000bd6: PUSH1 0x64
00000bd8: SWAP4
00000bd9: PUSH2 0x0af9
00000bdc: SWAP4
00000bdd: PUSH1 0x01
00000bdf: PUSH1 0x01
00000be1: PUSH1 0xa0
00000be3: SHL
00000be4: SUB
00000be5: SWAP1
00000be6: SWAP3
00000be7: AND
00000be8: SWAP2
00000be9: PUSH4 0x70a08231
00000bee: SWAP2
00000bef: PUSH1 0x24
00000bf1: DUP1
00000bf2: DUP3
00000bf3: ADD
00000bf4: SWAP3
00000bf5: PUSH1 0x20
00000bf7: SWAP3
00000bf8: SWAP1
00000bf9: SWAP2
00000bfa: SWAP1
00000bfb: DUP3
00000bfc: SWAP1
00000bfd: SUB
00000bfe: ADD
00000bff: DUP2
00000c00: DUP7
00000c01: DUP1
00000c02: EXTCODESIZE
00000c03: ISZERO
00000c04: DUP1
00000c05: ISZERO
00000c06: PUSH2 0x0c0e
00000c09: JUMPI
00000c0a: PUSH1 0x00
00000c0c: DUP1
00000c0d: REVERT
00000c0e: JUMPDEST
00000c0f: POP
00000c10: GAS
00000c11: STATICCALL
00000c12: ISZERO
00000c13: DUP1
00000c14: ISZERO
00000c15: PUSH2 0x0c22
00000c18: JUMPI
00000c19: RETURNDATASIZE
00000c1a: PUSH1 0x00
00000c1c: DUP1
00000c1d: RETURNDATACOPY
00000c1e: RETURNDATASIZE
00000c1f: PUSH1 0x00
00000c21: REVERT
00000c22: JUMPDEST
00000c23: POP
00000c24: POP
00000c25: POP
00000c26: POP
00000c27: PUSH1 0x40
00000c29: MLOAD
00000c2a: RETURNDATASIZE
00000c2b: PUSH1 0x20
00000c2d: DUP2
00000c2e: LT
00000c2f: ISZERO
00000c30: PUSH2 0x0c38
00000c33: JUMPI
00000c34: PUSH1 0x00
00000c36: DUP1
00000c37: REVERT
00000c38: JUMPDEST
00000c39: POP
00000c3a: MLOAD
00000c3b: SWAP1
00000c3c: PUSH2 0x202d
00000c3f: JUMP
00000c40: JUMPDEST
00000c41: PUSH32 0x000000000000000000000000000000000000000000000000003b363eba41aaaa
00000c62: DUP2
00000c63: JUMP
00000c64: JUMPDEST
00000c65: ORIGIN
00000c66: CALLER
00000c67: EQ
00000c68: PUSH2 0x0cb8
00000c6b: JUMPI
00000c6c: PUSH1 0x40
00000c6e: DUP1
00000c6f: MLOAD
00000c70: PUSH3 0x461bcd
00000c74: PUSH1 0xe5
00000c76: SHL
00000c77: DUP2
00000c78: MSTORE
00000c79: PUSH1 0x20
00000c7b: PUSH1 0x04
00000c7d: DUP3
00000c7e: ADD
00000c7f: MSTORE
00000c80: PUSH1 0x16
00000c82: PUSH1 0x24
00000c84: DUP3
00000c85: ADD
00000c86: MSTORE
00000c87: PUSH32 0x436f6e747261637473206e6f7420616c6c6f7765642e00000000000000000000
00000ca8: PUSH1 0x44
00000caa: DUP3
00000cab: ADD
00000cac: MSTORE
00000cad: SWAP1
00000cae: MLOAD
00000caf: SWAP1
00000cb0: DUP2
00000cb1: SWAP1
00000cb2: SUB
00000cb3: PUSH1 0x64
00000cb5: ADD
00000cb6: SWAP1
00000cb7: REVERT
00000cb8: JUMPDEST
00000cb9: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b1ea0c
00000cda: NUMBER
00000cdb: LT
00000cdc: ISZERO
00000cdd: PUSH2 0x0d2d
00000ce0: JUMPI
00000ce1: PUSH1 0x40
00000ce3: DUP1
00000ce4: MLOAD
00000ce5: PUSH3 0x461bcd
00000ce9: PUSH1 0xe5
00000ceb: SHL
00000cec: DUP2
00000ced: MSTORE
00000cee: PUSH1 0x20
00000cf0: PUSH1 0x04
00000cf2: DUP3
00000cf3: ADD
00000cf4: MSTORE
00000cf5: PUSH1 0x18
00000cf7: PUSH1 0x24
00000cf9: DUP3
00000cfa: ADD
00000cfb: MSTORE
00000cfc: PUSH32 0x506f6f6c206861736e27742073746172746564207965742e0000000000000000
00000d1d: PUSH1 0x44
00000d1f: DUP3
00000d20: ADD
00000d21: MSTORE
00000d22: SWAP1
00000d23: MLOAD
00000d24: SWAP1
00000d25: DUP2
00000d26: SWAP1
00000d27: SUB
00000d28: PUSH1 0x64
00000d2a: ADD
00000d2b: SWAP1
00000d2c: REVERT
00000d2d: JUMPDEST
00000d2e: PUSH1 0x00
00000d30: DUP3
00000d31: GT
00000d32: PUSH2 0x0d82
00000d35: JUMPI
00000d36: PUSH1 0x40
00000d38: DUP1
00000d39: MLOAD
00000d3a: PUSH3 0x461bcd
00000d3e: PUSH1 0xe5
00000d40: SHL
00000d41: DUP2
00000d42: MSTORE
00000d43: PUSH1 0x20
00000d45: PUSH1 0x04
00000d47: DUP3
00000d48: ADD
00000d49: MSTORE
00000d4a: PUSH1 0x0d
00000d4c: PUSH1 0x24
00000d4e: DUP3
00000d4f: ADD
00000d50: MSTORE
00000d51: PUSH32 0x5374616b696e672030206c702e00000000000000000000000000000000000000
00000d72: PUSH1 0x44
00000d74: DUP3
00000d75: ADD
00000d76: MSTORE
00000d77: SWAP1
00000d78: MLOAD
00000d79: SWAP1
00000d7a: DUP2
00000d7b: SWAP1
00000d7c: SUB
00000d7d: PUSH1 0x64
00000d7f: ADD
00000d80: SWAP1
00000d81: REVERT
00000d82: JUMPDEST
00000d83: PUSH1 0x01
00000d85: SLOAD
00000d86: PUSH1 0x40
00000d88: DUP1
00000d89: MLOAD
00000d8a: PUSH4 0x70a08231
00000d8f: PUSH1 0xe0
00000d91: SHL
00000d92: DUP2
00000d93: MSTORE
00000d94: ADDRESS
00000d95: PUSH1 0x04
00000d97: DUP3
00000d98: ADD
00000d99: MSTORE
00000d9a: SWAP1
00000d9b: MLOAD
00000d9c: PUSH1 0x00
00000d9e: SWAP3
00000d9f: PUSH1 0x01
00000da1: PUSH1 0x01
00000da3: PUSH1 0xa0
00000da5: SHL
00000da6: SUB
00000da7: AND
00000da8: SWAP2
00000da9: PUSH4 0x70a08231
00000dae: SWAP2
00000daf: PUSH1 0x24
00000db1: DUP1
00000db2: DUP4
00000db3: ADD
00000db4: SWAP3
00000db5: PUSH1 0x20
00000db7: SWAP3
00000db8: SWAP2
00000db9: SWAP1
00000dba: DUP3
00000dbb: SWAP1
00000dbc: SUB
00000dbd: ADD
00000dbe: DUP2
00000dbf: DUP7
00000dc0: DUP1
00000dc1: EXTCODESIZE
00000dc2: ISZERO
00000dc3: DUP1
00000dc4: ISZERO
00000dc5: PUSH2 0x0dcd
00000dc8: JUMPI
00000dc9: PUSH1 0x00
00000dcb: DUP1
00000dcc: REVERT
00000dcd: JUMPDEST
00000dce: POP
00000dcf: GAS
00000dd0: STATICCALL
00000dd1: ISZERO
00000dd2: DUP1
00000dd3: ISZERO
00000dd4: PUSH2 0x0de1
00000dd7: JUMPI
00000dd8: RETURNDATASIZE
00000dd9: PUSH1 0x00
00000ddb: DUP1
00000ddc: RETURNDATACOPY
00000ddd: RETURNDATASIZE
00000dde: PUSH1 0x00
00000de0: REVERT
00000de1: JUMPDEST
00000de2: POP
00000de3: POP
00000de4: POP
00000de5: POP
00000de6: PUSH1 0x40
00000de8: MLOAD
00000de9: RETURNDATASIZE
00000dea: PUSH1 0x20
00000dec: DUP2
00000ded: LT
00000dee: ISZERO
00000def: PUSH2 0x0df7
00000df2: JUMPI
00000df3: PUSH1 0x00
00000df5: DUP1
00000df6: REVERT
00000df7: JUMPDEST
00000df8: POP
00000df9: MLOAD
00000dfa: SWAP1
00000dfb: POP
00000dfc: PUSH2 0x0e04
00000dff: CALLER
00000e00: PUSH2 0x2086
00000e03: JUMP
00000e04: JUMPDEST
00000e05: PUSH1 0x01
00000e07: SLOAD
00000e08: PUSH1 0x40
00000e0a: DUP1
00000e0b: MLOAD
00000e0c: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00000e2d: DUP2
00000e2e: MSTORE
00000e2f: CALLER
00000e30: PUSH1 0x04
00000e32: DUP3
00000e33: ADD
00000e34: MSTORE
00000e35: ADDRESS
00000e36: PUSH1 0x24
00000e38: DUP3
00000e39: ADD
00000e3a: MSTORE
00000e3b: PUSH1 0x44
00000e3d: DUP2
00000e3e: ADD
00000e3f: DUP7
00000e40: SWAP1
00000e41: MSTORE
00000e42: SWAP1
00000e43: MLOAD
00000e44: PUSH1 0x01
00000e46: PUSH1 0x01
00000e48: PUSH1 0xa0
00000e4a: SHL
00000e4b: SUB
00000e4c: SWAP1
00000e4d: SWAP3
00000e4e: AND
00000e4f: SWAP2
00000e50: PUSH4 0x23b872dd
00000e55: SWAP2
00000e56: PUSH1 0x64
00000e58: DUP1
00000e59: DUP3
00000e5a: ADD
00000e5b: SWAP3
00000e5c: PUSH1 0x20
00000e5e: SWAP3
00000e5f: SWAP1
00000e60: SWAP2
00000e61: SWAP1
00000e62: DUP3
00000e63: SWAP1
00000e64: SUB
00000e65: ADD
00000e66: DUP2
00000e67: PUSH1 0x00
00000e69: DUP8
00000e6a: DUP1
00000e6b: EXTCODESIZE
00000e6c: ISZERO
00000e6d: DUP1
00000e6e: ISZERO
00000e6f: PUSH2 0x0e77
00000e72: JUMPI
00000e73: PUSH1 0x00
00000e75: DUP1
00000e76: REVERT
00000e77: JUMPDEST
00000e78: POP
00000e79: GAS
00000e7a: CALL
00000e7b: ISZERO
00000e7c: DUP1
00000e7d: ISZERO
00000e7e: PUSH2 0x0e8b
00000e81: JUMPI
00000e82: RETURNDATASIZE
00000e83: PUSH1 0x00
00000e85: DUP1
00000e86: RETURNDATACOPY
00000e87: RETURNDATASIZE
00000e88: PUSH1 0x00
00000e8a: REVERT
00000e8b: JUMPDEST
00000e8c: POP
00000e8d: POP
00000e8e: POP
00000e8f: POP
00000e90: PUSH1 0x40
00000e92: MLOAD
00000e93: RETURNDATASIZE
00000e94: PUSH1 0x20
00000e96: DUP2
00000e97: LT
00000e98: ISZERO
00000e99: PUSH2 0x0ea1
00000e9c: JUMPI
00000e9d: PUSH1 0x00
00000e9f: DUP1
00000ea0: REVERT
00000ea1: JUMPDEST
00000ea2: POP
00000ea3: POP
00000ea4: CALLER
00000ea5: PUSH1 0x00
00000ea7: SWAP1
00000ea8: DUP2
00000ea9: MSTORE
00000eaa: PUSH1 0x0a
00000eac: PUSH1 0x20
00000eae: MSTORE
00000eaf: PUSH1 0x40
00000eb1: SWAP1
00000eb2: KECCAK256
00000eb3: DUP1
00000eb4: SLOAD
00000eb5: PUSH2 0x0ebe
00000eb8: SWAP1
00000eb9: DUP6
00000eba: PUSH2 0x1e6b
00000ebd: JUMP
00000ebe: JUMPDEST
00000ebf: DUP1
00000ec0: DUP3
00000ec1: SSTORE
00000ec2: PUSH1 0x06
00000ec4: SLOAD
00000ec5: PUSH2 0x0edc
00000ec8: SWAP2
00000ec9: PUSH8 0x0de0b6b3a7640000
00000ed2: SWAP2
00000ed3: PUSH2 0x0af9
00000ed6: SWAP2
00000ed7: SWAP1
00000ed8: PUSH2 0x202d
00000edb: JUMP
00000edc: JUMPDEST
00000edd: PUSH1 0x01
00000edf: DUP3
00000ee0: ADD
00000ee1: SSTORE
00000ee2: PUSH1 0x08
00000ee4: DUP2
00000ee5: ADD
00000ee6: SLOAD
00000ee7: PUSH1 0xff
00000ee9: AND
00000eea: ISZERO
00000eeb: DUP1
00000eec: ISZERO
00000eed: PUSH2 0x0f06
00000ef0: JUMPI
00000ef1: POP
00000ef2: PUSH2 0x0f01
00000ef5: PUSH1 0x64
00000ef7: PUSH2 0x0af9
00000efa: DUP5
00000efb: PUSH1 0x01
00000efd: PUSH2 0x202d
00000f00: JUMP
00000f01: JUMPDEST
00000f02: DUP2
00000f03: SLOAD
00000f04: LT
00000f05: ISZERO
00000f06: JUMPDEST
00000f07: ISZERO
00000f08: PUSH2 0x0f21
00000f0b: JUMPI
00000f0c: PUSH1 0x08
00000f0e: DUP2
00000f0f: ADD
00000f10: DUP1
00000f11: SLOAD
00000f12: PUSH1 0xff
00000f14: NOT
00000f15: AND
00000f16: PUSH1 0x01
00000f18: OR
00000f19: SWAP1
00000f1a: SSTORE
00000f1b: NUMBER
00000f1c: PUSH1 0x07
00000f1e: DUP3
00000f1f: ADD
00000f20: SSTORE
00000f21: JUMPDEST
00000f22: PUSH1 0x02
00000f24: DUP2
00000f25: ADD
00000f26: SLOAD
00000f27: PUSH1 0x01
00000f29: PUSH1 0x01
00000f2b: PUSH1 0xa0
00000f2d: SHL
00000f2e: SUB
00000f2f: AND
00000f30: ISZERO
00000f31: DUP1
00000f32: ISZERO
00000f33: PUSH2 0x0f44
00000f36: JUMPI
00000f37: POP
00000f38: PUSH1 0x01
00000f3a: PUSH1 0x01
00000f3c: PUSH1 0xa0
00000f3e: SHL
00000f3f: SUB
00000f40: DUP4
00000f41: AND
00000f42: ISZERO
00000f43: ISZERO
00000f44: JUMPDEST
00000f45: DUP1
00000f46: ISZERO
00000f47: PUSH2 0x0f59
00000f4a: JUMPI
00000f4b: POP
00000f4c: PUSH1 0x01
00000f4e: PUSH1 0x01
00000f50: PUSH1 0xa0
00000f52: SHL
00000f53: SUB
00000f54: DUP4
00000f55: AND
00000f56: CALLER
00000f57: EQ
00000f58: ISZERO
00000f59: JUMPDEST
00000f5a: ISZERO
00000f5b: PUSH2 0x0f7c
00000f5e: JUMPI
00000f5f: PUSH1 0x02
00000f61: DUP2
00000f62: ADD
00000f63: DUP1
00000f64: SLOAD
00000f65: PUSH1 0x01
00000f67: PUSH1 0x01
00000f69: PUSH1 0xa0
00000f6b: SHL
00000f6c: SUB
00000f6d: NOT
00000f6e: AND
00000f6f: PUSH1 0x01
00000f71: PUSH1 0x01
00000f73: PUSH1 0xa0
00000f75: SHL
00000f76: SUB
00000f77: DUP6
00000f78: AND
00000f79: OR
00000f7a: SWAP1
00000f7b: SSTORE
00000f7c: JUMPDEST
00000f7d: POP
00000f7e: POP
00000f7f: POP
00000f80: POP
00000f81: JUMP
00000f82: JUMPDEST
00000f83: PUSH1 0x00
00000f85: PUSH2 0x09d6
00000f88: PUSH8 0x0de0b6b3a7640000
00000f91: PUSH2 0x0af9
00000f94: PUSH2 0x0f9b
00000f97: PUSH2 0x2268
00000f9a: JUMP
00000f9b: JUMPDEST
00000f9c: SELFBALANCE
00000f9d: SWAP1
00000f9e: PUSH2 0x202d
00000fa1: JUMP
00000fa2: JUMPDEST
00000fa3: PUSH1 0x00
00000fa5: PUSH2 0x0fac
00000fa8: PUSH2 0x0f82
00000fab: JUMP
00000fac: JUMPDEST
00000fad: PUSH2 0x0fb8
00000fb0: JUMPI
00000fb1: POP
00000fb2: PUSH1 0x00
00000fb4: PUSH2 0x09d9
00000fb7: JUMP
00000fb8: JUMPDEST
00000fb9: PUSH2 0x09d6
00000fbc: PUSH2 0x0fc3
00000fbf: PUSH2 0x0f82
00000fc2: JUMP
00000fc3: JUMPDEST
00000fc4: PUSH2 0x0af9
00000fc7: PUSH1 0x64
00000fc9: PUSH2 0x100b
00000fcc: PUSH2 0x0fd3
00000fcf: PUSH2 0x2268
00000fd2: JUMP
00000fd3: JUMPDEST
00000fd4: PUSH2 0x100b
00000fd7: PUSH2 0x0fde
00000fda: PUSH2 0x23e7
00000fdd: JUMP
00000fde: JUMPDEST
00000fdf: PUSH2 0x100b
00000fe2: PUSH32 0x000000000000000000000000000000000000000000000000003b363eba41aaaa
00001003: PUSH3 0x23a500
00001007: PUSH2 0x202d
0000100a: JUMP
0000100b: JUMPDEST
0000100c: SWAP1
0000100d: PUSH2 0x202d
00001010: JUMP
00001011: JUMPDEST
00001012: PUSH1 0x00
00001014: PUSH2 0x09d6
00001017: CALLER
00001018: PUSH2 0x156b
0000101b: JUMP
0000101c: JUMPDEST
0000101d: PUSH1 0x03
0000101f: SLOAD
00001020: DUP2
00001021: JUMP
00001022: JUMPDEST
00001023: PUSH1 0x04
00001025: SLOAD
00001026: DUP2
00001027: JUMP
00001028: JUMPDEST
00001029: CALLER
0000102a: PUSH1 0x00
0000102c: SWAP1
0000102d: DUP2
0000102e: MSTORE
0000102f: PUSH1 0x0a
00001031: PUSH1 0x20
00001033: MSTORE
00001034: PUSH1 0x40
00001036: SWAP1
00001037: KECCAK256
00001038: PUSH1 0x02
0000103a: ADD
0000103b: SLOAD
0000103c: PUSH1 0x01
0000103e: PUSH1 0x01
00001040: PUSH1 0xa0
00001042: SHL
00001043: SUB
00001044: AND
00001045: SWAP1
00001046: JUMP
00001047: JUMPDEST
00001048: CALLER
00001049: PUSH1 0x00
0000104b: SWAP1
0000104c: DUP2
0000104d: MSTORE
0000104e: PUSH1 0x0a
00001050: PUSH1 0x20
00001052: MSTORE
00001053: PUSH1 0x40
00001055: SWAP1
00001056: KECCAK256
00001057: DUP2
00001058: PUSH2 0x10a8
0000105b: JUMPI
0000105c: PUSH1 0x40
0000105e: DUP1
0000105f: MLOAD
00001060: PUSH3 0x461bcd
00001064: PUSH1 0xe5
00001066: SHL
00001067: DUP2
00001068: MSTORE
00001069: PUSH1 0x20
0000106b: PUSH1 0x04
0000106d: DUP3
0000106e: ADD
0000106f: MSTORE
00001070: PUSH1 0x0f
00001072: PUSH1 0x24
00001074: DUP3
00001075: ADD
00001076: MSTORE
00001077: PUSH32 0x556e7374616b696e672030206c702e0000000000000000000000000000000000
00001098: PUSH1 0x44
0000109a: DUP3
0000109b: ADD
0000109c: MSTORE
0000109d: SWAP1
0000109e: MLOAD
0000109f: SWAP1
000010a0: DUP2
000010a1: SWAP1
000010a2: SUB
000010a3: PUSH1 0x64
000010a5: ADD
000010a6: SWAP1
000010a7: REVERT
000010a8: JUMPDEST
000010a9: DUP1
000010aa: SLOAD
000010ab: DUP3
000010ac: GT
000010ad: ISZERO
000010ae: PUSH2 0x10e8
000010b1: JUMPI
000010b2: PUSH1 0x40
000010b4: MLOAD
000010b5: PUSH3 0x461bcd
000010b9: PUSH1 0xe5
000010bb: SHL
000010bc: DUP2
000010bd: MSTORE
000010be: PUSH1 0x04
000010c0: ADD
000010c1: DUP1
000010c2: DUP1
000010c3: PUSH1 0x20
000010c5: ADD
000010c6: DUP3
000010c7: DUP2
000010c8: SUB
000010c9: DUP3
000010ca: MSTORE
000010cb: PUSH1 0x25
000010cd: DUP2
000010ce: MSTORE
000010cf: PUSH1 0x20
000010d1: ADD
000010d2: DUP1
000010d3: PUSH2 0x30ad
000010d6: PUSH1 0x25
000010d8: SWAP2
000010d9: CODECOPY
000010da: PUSH1 0x40
000010dc: ADD
000010dd: SWAP2
000010de: POP
000010df: POP
000010e0: PUSH1 0x40
000010e2: MLOAD
000010e3: DUP1
000010e4: SWAP2
000010e5: SUB
000010e6: SWAP1
000010e7: REVERT
000010e8: JUMPDEST
000010e9: PUSH2 0x10f1
000010ec: CALLER
000010ed: PUSH2 0x2086
000010f0: JUMP
000010f1: JUMPDEST
000010f2: PUSH1 0x01
000010f4: SLOAD
000010f5: PUSH1 0x40
000010f7: DUP1
000010f8: MLOAD
000010f9: PUSH4 0xa9059cbb
000010fe: PUSH1 0xe0
00001100: SHL
00001101: DUP2
00001102: MSTORE
00001103: CALLER
00001104: PUSH1 0x04
00001106: DUP3
00001107: ADD
00001108: MSTORE
00001109: PUSH1 0x24
0000110b: DUP2
0000110c: ADD
0000110d: DUP6
0000110e: SWAP1
0000110f: MSTORE
00001110: SWAP1
00001111: MLOAD
00001112: PUSH1 0x01
00001114: PUSH1 0x01
00001116: PUSH1 0xa0
00001118: SHL
00001119: SUB
0000111a: SWAP1
0000111b: SWAP3
0000111c: AND
0000111d: SWAP2
0000111e: PUSH4 0xa9059cbb
00001123: SWAP2
00001124: PUSH1 0x44
00001126: DUP1
00001127: DUP3
00001128: ADD
00001129: SWAP3
0000112a: PUSH1 0x20
0000112c: SWAP3
0000112d: SWAP1
0000112e: SWAP2
0000112f: SWAP1
00001130: DUP3
00001131: SWAP1
00001132: SUB
00001133: ADD
00001134: DUP2
00001135: PUSH1 0x00
00001137: DUP8
00001138: DUP1
00001139: EXTCODESIZE
0000113a: ISZERO
0000113b: DUP1
0000113c: ISZERO
0000113d: PUSH2 0x1145
00001140: JUMPI
00001141: PUSH1 0x00
00001143: DUP1
00001144: REVERT
00001145: JUMPDEST
00001146: POP
00001147: GAS
00001148: CALL
00001149: ISZERO
0000114a: DUP1
0000114b: ISZERO
0000114c: PUSH2 0x1159
0000114f: JUMPI
00001150: RETURNDATASIZE
00001151: PUSH1 0x00
00001153: DUP1
00001154: RETURNDATACOPY
00001155: RETURNDATASIZE
00001156: PUSH1 0x00
00001158: REVERT
00001159: JUMPDEST
0000115a: POP
0000115b: POP
0000115c: POP
0000115d: POP
0000115e: PUSH1 0x40
00001160: MLOAD
00001161: RETURNDATASIZE
00001162: PUSH1 0x20
00001164: DUP2
00001165: LT
00001166: ISZERO
00001167: PUSH2 0x116f
0000116a: JUMPI
0000116b: PUSH1 0x00
0000116d: DUP1
0000116e: REVERT
0000116f: JUMPDEST
00001170: POP
00001171: POP
00001172: DUP1
00001173: SLOAD
00001174: PUSH2 0x117d
00001177: SWAP1
00001178: DUP4
00001179: PUSH2 0x1f10
0000117c: JUMP
0000117d: JUMPDEST
0000117e: DUP1
0000117f: DUP3
00001180: SSTORE
00001181: PUSH1 0x06
00001183: SLOAD
00001184: PUSH2 0x119b
00001187: SWAP2
00001188: PUSH8 0x0de0b6b3a7640000
00001191: SWAP2
00001192: PUSH2 0x0af9
00001195: SWAP2
00001196: SWAP1
00001197: PUSH2 0x202d
0000119a: JUMP
0000119b: JUMPDEST
0000119c: PUSH1 0x01
0000119e: DUP1
0000119f: DUP4
000011a0: ADD
000011a1: SWAP2
000011a2: SWAP1
000011a3: SWAP2
000011a4: SSTORE
000011a5: SLOAD
000011a6: PUSH1 0x40
000011a8: DUP1
000011a9: MLOAD
000011aa: PUSH4 0x70a08231
000011af: PUSH1 0xe0
000011b1: SHL
000011b2: DUP2
000011b3: MSTORE
000011b4: ADDRESS
000011b5: PUSH1 0x04
000011b7: DUP3
000011b8: ADD
000011b9: MSTORE
000011ba: SWAP1
000011bb: MLOAD
000011bc: PUSH1 0x00
000011be: SWAP3
000011bf: PUSH1 0x01
000011c1: PUSH1 0x01
000011c3: PUSH1 0xa0
000011c5: SHL
000011c6: SUB
000011c7: AND
000011c8: SWAP2
000011c9: PUSH4 0x70a08231
000011ce: SWAP2
000011cf: PUSH1 0x24
000011d1: DUP1
000011d2: DUP4
000011d3: ADD
000011d4: SWAP3
000011d5: PUSH1 0x20
000011d7: SWAP3
000011d8: SWAP2
000011d9: SWAP1
000011da: DUP3
000011db: SWAP1
000011dc: SUB
000011dd: ADD
000011de: DUP2
000011df: DUP7
000011e0: DUP1
000011e1: EXTCODESIZE
000011e2: ISZERO
000011e3: DUP1
000011e4: ISZERO
000011e5: PUSH2 0x11ed
000011e8: JUMPI
000011e9: PUSH1 0x00
000011eb: DUP1
000011ec: REVERT
000011ed: JUMPDEST
000011ee: POP
000011ef: GAS
000011f0: STATICCALL
000011f1: ISZERO
000011f2: DUP1
000011f3: ISZERO
000011f4: PUSH2 0x1201
000011f7: JUMPI
000011f8: RETURNDATASIZE
000011f9: PUSH1 0x00
000011fb: DUP1
000011fc: RETURNDATACOPY
000011fd: RETURNDATASIZE
000011fe: PUSH1 0x00
00001200: REVERT
00001201: JUMPDEST
00001202: POP
00001203: POP
00001204: POP
00001205: POP
00001206: PUSH1 0x40
00001208: MLOAD
00001209: RETURNDATASIZE
0000120a: PUSH1 0x20
0000120c: DUP2
0000120d: LT
0000120e: ISZERO
0000120f: PUSH2 0x1217
00001212: JUMPI
00001213: PUSH1 0x00
00001215: DUP1
00001216: REVERT
00001217: JUMPDEST
00001218: POP
00001219: MLOAD
0000121a: PUSH1 0x08
0000121c: DUP4
0000121d: ADD
0000121e: SLOAD
0000121f: SWAP1
00001220: SWAP2
00001221: POP
00001222: PUSH1 0xff
00001224: AND
00001225: DUP1
00001226: ISZERO
00001227: PUSH2 0x123f
0000122a: JUMPI
0000122b: POP
0000122c: PUSH2 0x123b
0000122f: PUSH1 0x64
00001231: PUSH2 0x0af9
00001234: DUP4
00001235: PUSH1 0x01
00001237: PUSH2 0x202d
0000123a: JUMP
0000123b: JUMPDEST
0000123c: DUP3
0000123d: SLOAD
0000123e: LT
0000123f: JUMPDEST
00001240: DUP1
00001241: PUSH2 0x1257
00001244: JUMPI
00001245: POP
00001246: PUSH1 0x08
00001248: DUP3
00001249: ADD
0000124a: SLOAD
0000124b: PUSH1 0xff
0000124d: AND
0000124e: DUP1
0000124f: ISZERO
00001250: PUSH2 0x1257
00001253: JUMPI
00001254: POP
00001255: DUP1
00001256: ISZERO
00001257: JUMPDEST
00001258: ISZERO
00001259: PUSH2 0x127d
0000125c: JUMPI
0000125d: PUSH2 0x1265
00001260: CALLER
00001261: PUSH2 0x156b
00001264: JUMP
00001265: JUMPDEST
00001266: PUSH1 0x06
00001268: DUP4
00001269: ADD
0000126a: SSTORE
0000126b: PUSH1 0x08
0000126d: DUP3
0000126e: ADD
0000126f: DUP1
00001270: SLOAD
00001271: PUSH1 0xff
00001273: NOT
00001274: AND
00001275: SWAP1
00001276: SSTORE
00001277: NUMBER
00001278: PUSH1 0x07
0000127a: DUP4
0000127b: ADD
0000127c: SSTORE
0000127d: JUMPDEST
0000127e: POP
0000127f: POP
00001280: POP
00001281: JUMP
00001282: JUMPDEST
00001283: PUSH2 0xafc8
00001286: DUP2
00001287: JUMP
00001288: JUMPDEST
00001289: PUSH1 0x00
0000128b: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b2670c
000012ac: NUMBER
000012ad: GT
000012ae: ISZERO
000012af: PUSH2 0x12ba
000012b2: JUMPI
000012b3: POP
000012b4: PUSH1 0x00
000012b6: PUSH2 0x09d9
000012b9: JUMP
000012ba: JUMPDEST
000012bb: PUSH2 0x09d6
000012be: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b2670c
000012df: NUMBER
000012e0: PUSH2 0x1f10
000012e3: JUMP
000012e4: JUMPDEST
000012e5: PUSH1 0x09
000012e7: SLOAD
000012e8: PUSH1 0x01
000012ea: PUSH1 0x01
000012ec: PUSH1 0xa0
000012ee: SHL
000012ef: SUB
000012f0: AND
000012f1: CALLER
000012f2: EQ
000012f3: PUSH2 0x12fb
000012f6: JUMPI
000012f7: PUSH1 0x00
000012f9: DUP1
000012fa: REVERT
000012fb: JUMPDEST
000012fc: PUSH1 0x02
000012fe: SLOAD
000012ff: PUSH1 0x01
00001301: PUSH1 0x01
00001303: PUSH1 0xa0
00001305: SHL
00001306: SUB
00001307: AND
00001308: ISZERO
00001309: PUSH2 0x1359
0000130c: JUMPI
0000130d: PUSH1 0x40
0000130f: DUP1
00001310: MLOAD
00001311: PUSH3 0x461bcd
00001315: PUSH1 0xe5
00001317: SHL
00001318: DUP2
00001319: MSTORE
0000131a: PUSH1 0x20
0000131c: PUSH1 0x04
0000131e: DUP3
0000131f: ADD
00001320: MSTORE
00001321: PUSH1 0x17
00001323: PUSH1 0x24
00001325: DUP3
00001326: ADD
00001327: MSTORE
00001328: PUSH32 0x4e4654206164647265737320616c726561647920736574000000000000000000
00001349: PUSH1 0x44
0000134b: DUP3
0000134c: ADD
0000134d: MSTORE
0000134e: SWAP1
0000134f: MLOAD
00001350: SWAP1
00001351: DUP2
00001352: SWAP1
00001353: SUB
00001354: PUSH1 0x64
00001356: ADD
00001357: SWAP1
00001358: REVERT
00001359: JUMPDEST
0000135a: PUSH1 0x02
0000135c: DUP1
0000135d: SLOAD
0000135e: PUSH1 0x01
00001360: PUSH1 0x01
00001362: PUSH1 0xa0
00001364: SHL
00001365: SUB
00001366: NOT
00001367: AND
00001368: PUSH1 0x01
0000136a: PUSH1 0x01
0000136c: PUSH1 0xa0
0000136e: SHL
0000136f: SUB
00001370: SWAP3
00001371: SWAP1
00001372: SWAP3
00001373: AND
00001374: SWAP2
00001375: SWAP1
00001376: SWAP2
00001377: OR
00001378: SWAP1
00001379: SSTORE
0000137a: JUMP
0000137b: JUMPDEST
0000137c: CALLER
0000137d: PUSH1 0x00
0000137f: SWAP1
00001380: DUP2
00001381: MSTORE
00001382: PUSH1 0x0a
00001384: PUSH1 0x20
00001386: MSTORE
00001387: PUSH1 0x40
00001389: SWAP1
0000138a: KECCAK256
0000138b: PUSH1 0x03
0000138d: ADD
0000138e: SLOAD
0000138f: SWAP1
00001390: JUMP
00001391: JUMPDEST
00001392: CALLER
00001393: PUSH1 0x00
00001395: SWAP1
00001396: DUP2
00001397: MSTORE
00001398: PUSH1 0x0a
0000139a: PUSH1 0x20
0000139c: MSTORE
0000139d: PUSH1 0x40
0000139f: SWAP1
000013a0: KECCAK256
000013a1: SLOAD
000013a2: SWAP1
000013a3: JUMP
000013a4: JUMPDEST
000013a5: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b1ea0c
000013c6: NUMBER
000013c7: LT
000013c8: ISZERO
000013c9: PUSH2 0x1419
000013cc: JUMPI
000013cd: PUSH1 0x40
000013cf: DUP1
000013d0: MLOAD
000013d1: PUSH3 0x461bcd
000013d5: PUSH1 0xe5
000013d7: SHL
000013d8: DUP2
000013d9: MSTORE
000013da: PUSH1 0x20
000013dc: PUSH1 0x04
000013de: DUP3
000013df: ADD
000013e0: MSTORE
000013e1: PUSH1 0x18
000013e3: PUSH1 0x24
000013e5: DUP3
000013e6: ADD
000013e7: MSTORE
000013e8: PUSH32 0x506f6f6c206861736e27742073746172746564207965742e0000000000000000
00001409: PUSH1 0x44
0000140b: DUP3
0000140c: ADD
0000140d: MSTORE
0000140e: SWAP1
0000140f: MLOAD
00001410: SWAP1
00001411: DUP2
00001412: SWAP1
00001413: SUB
00001414: PUSH1 0x64
00001416: ADD
00001417: SWAP1
00001418: REVERT
00001419: JUMPDEST
0000141a: PUSH2 0x1422
0000141d: CALLER
0000141e: PUSH2 0x2086
00001421: JUMP
00001422: JUMPDEST
00001423: JUMP
00001424: JUMPDEST
00001425: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b1ea0c
00001446: DUP2
00001447: JUMP
00001448: JUMPDEST
00001449: PUSH1 0x00
0000144b: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b1ea0c
0000146c: NUMBER
0000146d: LT
0000146e: ISZERO
0000146f: PUSH2 0x147a
00001472: JUMPI
00001473: POP
00001474: PUSH1 0x00
00001476: PUSH2 0x09d9
00001479: JUMP
0000147a: JUMPDEST
0000147b: POP
0000147c: PUSH1 0x03
0000147e: SLOAD
0000147f: SWAP1
00001480: JUMP
00001481: JUMPDEST
00001482: PUSH1 0x00
00001484: PUSH2 0x148b
00001487: PUSH2 0x1896
0000148a: JUMP
0000148b: JUMPDEST
0000148c: PUSH2 0x1497
0000148f: JUMPI
00001490: POP
00001491: PUSH1 0x00
00001493: PUSH2 0x09d9
00001496: JUMP
00001497: JUMPDEST
00001498: PUSH2 0x09d6
0000149b: PUSH2 0x14a2
0000149e: PUSH2 0x1896
000014a1: JUMP
000014a2: JUMPDEST
000014a3: PUSH2 0x0af9
000014a6: PUSH1 0x64
000014a8: PUSH2 0x100b
000014ab: PUSH2 0x14b2
000014ae: PUSH2 0x2268
000014b1: JUMP
000014b2: JUMPDEST
000014b3: PUSH2 0x100b
000014b6: PUSH2 0x14bd
000014b9: PUSH2 0x23e7
000014bc: JUMP
000014bd: JUMPDEST
000014be: PUSH1 0x03
000014c0: SLOAD
000014c1: PUSH2 0x100b
000014c4: SWAP1
000014c5: PUSH3 0x23a500
000014c9: PUSH2 0x202d
000014cc: JUMP
000014cd: JUMPDEST
000014ce: PUSH1 0x09
000014d0: SLOAD
000014d1: PUSH1 0x01
000014d3: PUSH1 0x01
000014d5: PUSH1 0xa0
000014d7: SHL
000014d8: SUB
000014d9: AND
000014da: CALLER
000014db: EQ
000014dc: PUSH2 0x14e4
000014df: JUMPI
000014e0: PUSH1 0x00
000014e2: DUP1
000014e3: REVERT
000014e4: JUMPDEST
000014e5: PUSH1 0x09
000014e7: DUP1
000014e8: SLOAD
000014e9: PUSH1 0x01
000014eb: PUSH1 0x01
000014ed: PUSH1 0xa0
000014ef: SHL
000014f0: SUB
000014f1: NOT
000014f2: AND
000014f3: PUSH1 0x01
000014f5: PUSH1 0x01
000014f7: PUSH1 0xa0
000014f9: SHL
000014fa: SUB
000014fb: SWAP3
000014fc: SWAP1
000014fd: SWAP3
000014fe: AND
000014ff: SWAP2
00001500: SWAP1
00001501: SWAP2
00001502: OR
00001503: SWAP1
00001504: SSTORE
00001505: JUMP
00001506: JUMPDEST
00001507: PUSH1 0x0a
00001509: PUSH1 0x20
0000150b: MSTORE
0000150c: PUSH1 0x00
0000150e: SWAP1
0000150f: DUP2
00001510: MSTORE
00001511: PUSH1 0x40
00001513: SWAP1
00001514: KECCAK256
00001515: DUP1
00001516: SLOAD
00001517: PUSH1 0x01
00001519: DUP3
0000151a: ADD
0000151b: SLOAD
0000151c: PUSH1 0x02
0000151e: DUP4
0000151f: ADD
00001520: SLOAD
00001521: PUSH1 0x03
00001523: DUP5
00001524: ADD
00001525: SLOAD
00001526: PUSH1 0x04
00001528: DUP6
00001529: ADD
0000152a: SLOAD
0000152b: PUSH1 0x05
0000152d: DUP7
0000152e: ADD
0000152f: SLOAD
00001530: PUSH1 0x06
00001532: DUP8
00001533: ADD
00001534: SLOAD
00001535: PUSH1 0x07
00001537: DUP9
00001538: ADD
00001539: SLOAD
0000153a: PUSH1 0x08
0000153c: SWAP1
0000153d: SWAP9
0000153e: ADD
0000153f: SLOAD
00001540: SWAP7
00001541: SWAP8
00001542: SWAP6
00001543: SWAP7
00001544: PUSH1 0x01
00001546: PUSH1 0x01
00001548: PUSH1 0xa0
0000154a: SHL
0000154b: SUB
0000154c: SWAP1
0000154d: SWAP6
0000154e: AND
0000154f: SWAP6
00001550: SWAP4
00001551: SWAP5
00001552: SWAP3
00001553: SWAP4
00001554: SWAP2
00001555: SWAP3
00001556: SWAP1
00001557: SWAP2
00001558: SWAP1
00001559: PUSH1 0xff
0000155b: AND
0000155c: DUP10
0000155d: JUMP
0000155e: JUMPDEST
0000155f: PUSH3 0x0186a0
00001563: DUP2
00001564: JUMP
00001565: JUMPDEST
00001566: PUSH2 0x06ef
00001569: DUP2
0000156a: JUMP
0000156b: JUMPDEST
0000156c: PUSH1 0x00
0000156e: PUSH2 0x1575
00001571: PUSH2 0x3055
00001574: JUMP
00001575: JUMPDEST
00001576: POP
00001577: PUSH1 0x01
00001579: PUSH1 0x01
0000157b: PUSH1 0xa0
0000157d: SHL
0000157e: SUB
0000157f: DUP1
00001580: DUP4
00001581: AND
00001582: PUSH1 0x00
00001584: SWAP1
00001585: DUP2
00001586: MSTORE
00001587: PUSH1 0x0a
00001589: PUSH1 0x20
0000158b: SWAP1
0000158c: DUP2
0000158d: MSTORE
0000158e: PUSH1 0x40
00001590: SWAP2
00001591: DUP3
00001592: SWAP1
00001593: KECCAK256
00001594: DUP3
00001595: MLOAD
00001596: PUSH2 0x0120
00001599: DUP2
0000159a: ADD
0000159b: DUP5
0000159c: MSTORE
0000159d: DUP2
0000159e: SLOAD
0000159f: DUP2
000015a0: MSTORE
000015a1: PUSH1 0x01
000015a3: DUP3
000015a4: ADD
000015a5: SLOAD
000015a6: SWAP3
000015a7: DUP2
000015a8: ADD
000015a9: SWAP3
000015aa: SWAP1
000015ab: SWAP3
000015ac: MSTORE
000015ad: PUSH1 0x02
000015af: DUP2
000015b0: ADD
000015b1: SLOAD
000015b2: SWAP1
000015b3: SWAP4
000015b4: AND
000015b5: SWAP2
000015b6: DUP2
000015b7: ADD
000015b8: SWAP2
000015b9: SWAP1
000015ba: SWAP2
000015bb: MSTORE
000015bc: PUSH1 0x03
000015be: DUP3
000015bf: ADD
000015c0: SLOAD
000015c1: PUSH1 0x60
000015c3: DUP3
000015c4: ADD
000015c5: MSTORE
000015c6: PUSH1 0x04
000015c8: DUP3
000015c9: ADD
000015ca: SLOAD
000015cb: PUSH1 0x80
000015cd: DUP3
000015ce: ADD
000015cf: MSTORE
000015d0: PUSH1 0x05
000015d2: DUP3
000015d3: ADD
000015d4: SLOAD
000015d5: PUSH1 0xa0
000015d7: DUP3
000015d8: ADD
000015d9: MSTORE
000015da: PUSH1 0x06
000015dc: DUP3
000015dd: ADD
000015de: SLOAD
000015df: PUSH1 0xc0
000015e1: DUP3
000015e2: ADD
000015e3: MSTORE
000015e4: PUSH1 0x07
000015e6: DUP3
000015e7: ADD
000015e8: SLOAD
000015e9: PUSH1 0xe0
000015eb: DUP3
000015ec: ADD
000015ed: MSTORE
000015ee: PUSH1 0x08
000015f0: SWAP1
000015f1: SWAP2
000015f2: ADD
000015f3: SLOAD
000015f4: PUSH1 0xff
000015f6: AND
000015f7: ISZERO
000015f8: DUP1
000015f9: ISZERO
000015fa: PUSH2 0x0100
000015fd: DUP4
000015fe: ADD
000015ff: MSTORE
00001600: PUSH2 0x1630
00001603: JUMPI
00001604: PUSH2 0x1628
00001607: PUSH2 0x161d
0000160a: DUP3
0000160b: PUSH1 0xe0
0000160d: ADD
0000160e: MLOAD
0000160f: NUMBER
00001610: PUSH2 0x1f10
00001613: SWAP1
00001614: SWAP2
00001615: SWAP1
00001616: PUSH4 0xffffffff
0000161b: AND
0000161c: JUMP
0000161d: JUMPDEST
0000161e: PUSH1 0xc0
00001620: DUP4
00001621: ADD
00001622: MLOAD
00001623: SWAP1
00001624: PUSH2 0x1e6b
00001627: JUMP
00001628: JUMPDEST
00001629: SWAP2
0000162a: POP
0000162b: POP
0000162c: PUSH2 0x1637
0000162f: JUMP
00001630: JUMPDEST
00001631: PUSH1 0xc0
00001633: ADD
00001634: MLOAD
00001635: SWAP1
00001636: POP
00001637: JUMPDEST
00001638: SWAP2
00001639: SWAP1
0000163a: POP
0000163b: JUMP
0000163c: JUMPDEST
0000163d: ORIGIN
0000163e: CALLER
0000163f: EQ
00001640: PUSH2 0x1690
00001643: JUMPI
00001644: PUSH1 0x40
00001646: DUP1
00001647: MLOAD
00001648: PUSH3 0x461bcd
0000164c: PUSH1 0xe5
0000164e: SHL
0000164f: DUP2
00001650: MSTORE
00001651: PUSH1 0x20
00001653: PUSH1 0x04
00001655: DUP3
00001656: ADD
00001657: MSTORE
00001658: PUSH1 0x16
0000165a: PUSH1 0x24
0000165c: DUP3
0000165d: ADD
0000165e: MSTORE
0000165f: PUSH32 0x436f6e747261637473206e6f7420616c6c6f7765642e00000000000000000000
00001680: PUSH1 0x44
00001682: DUP3
00001683: ADD
00001684: MSTORE
00001685: SWAP1
00001686: MLOAD
00001687: SWAP1
00001688: DUP2
00001689: SWAP1
0000168a: SUB
0000168b: PUSH1 0x64
0000168d: ADD
0000168e: SWAP1
0000168f: REVERT
00001690: JUMPDEST
00001691: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b1ea0c
000016b2: NUMBER
000016b3: LT
000016b4: ISZERO
000016b5: PUSH2 0x1705
000016b8: JUMPI
000016b9: PUSH1 0x40
000016bb: DUP1
000016bc: MLOAD
000016bd: PUSH3 0x461bcd
000016c1: PUSH1 0xe5
000016c3: SHL
000016c4: DUP2
000016c5: MSTORE
000016c6: PUSH1 0x20
000016c8: PUSH1 0x04
000016ca: DUP3
000016cb: ADD
000016cc: MSTORE
000016cd: PUSH1 0x18
000016cf: PUSH1 0x24
000016d1: DUP3
000016d2: ADD
000016d3: MSTORE
000016d4: PUSH32 0x506f6f6c206861736e27742073746172746564207965742e0000000000000000
000016f5: PUSH1 0x44
000016f7: DUP3
000016f8: ADD
000016f9: MSTORE
000016fa: SWAP1
000016fb: MLOAD
000016fc: SWAP1
000016fd: DUP2
000016fe: SWAP1
000016ff: SUB
00001700: PUSH1 0x64
00001702: ADD
00001703: SWAP1
00001704: REVERT
00001705: JUMPDEST
00001706: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b2670c
00001727: NUMBER
00001728: GT
00001729: ISZERO
0000172a: PUSH2 0x1764
0000172d: JUMPI
0000172e: PUSH1 0x40
00001730: MLOAD
00001731: PUSH3 0x461bcd
00001735: PUSH1 0xe5
00001737: SHL
00001738: DUP2
00001739: MSTORE
0000173a: PUSH1 0x04
0000173c: ADD
0000173d: DUP1
0000173e: DUP1
0000173f: PUSH1 0x20
00001741: ADD
00001742: DUP3
00001743: DUP2
00001744: SUB
00001745: DUP3
00001746: MSTORE
00001747: PUSH1 0x22
00001749: DUP2
0000174a: MSTORE
0000174b: PUSH1 0x20
0000174d: ADD
0000174e: DUP1
0000174f: PUSH2 0x30d2
00001752: PUSH1 0x22
00001754: SWAP2
00001755: CODECOPY
00001756: PUSH1 0x40
00001758: ADD
00001759: SWAP2
0000175a: POP
0000175b: POP
0000175c: PUSH1 0x40
0000175e: MLOAD
0000175f: DUP1
00001760: SWAP2
00001761: SUB
00001762: SWAP1
00001763: REVERT
00001764: JUMPDEST
00001765: PUSH1 0x00
00001767: CALLVALUE
00001768: GT
00001769: PUSH2 0x17b9
0000176c: JUMPI
0000176d: PUSH1 0x40
0000176f: DUP1
00001770: MLOAD
00001771: PUSH3 0x461bcd
00001775: PUSH1 0xe5
00001777: SHL
00001778: DUP2
00001779: MSTORE
0000177a: PUSH1 0x20
0000177c: PUSH1 0x04
0000177e: DUP3
0000177f: ADD
00001780: MSTORE
00001781: PUSH1 0x0e
00001783: PUSH1 0x24
00001785: DUP3
00001786: ADD
00001787: MSTORE
00001788: PUSH32 0x5374616b696e672030204554482e000000000000000000000000000000000000
000017a9: PUSH1 0x44
000017ab: DUP3
000017ac: ADD
000017ad: MSTORE
000017ae: SWAP1
000017af: MLOAD
000017b0: SWAP1
000017b1: DUP2
000017b2: SWAP1
000017b3: SUB
000017b4: PUSH1 0x64
000017b6: ADD
000017b7: SWAP1
000017b8: REVERT
000017b9: JUMPDEST
000017ba: PUSH2 0x17c3
000017bd: CALLER
000017be: CALLVALUE
000017bf: PUSH2 0x1f52
000017c2: JUMP
000017c3: JUMPDEST
000017c4: CALLER
000017c5: PUSH1 0x00
000017c7: SWAP1
000017c8: DUP2
000017c9: MSTORE
000017ca: PUSH1 0x0a
000017cc: PUSH1 0x20
000017ce: MSTORE
000017cf: PUSH1 0x40
000017d1: SWAP1
000017d2: KECCAK256
000017d3: PUSH1 0x04
000017d5: DUP2
000017d6: ADD
000017d7: SLOAD
000017d8: PUSH2 0x17e1
000017db: SWAP1
000017dc: CALLVALUE
000017dd: PUSH2 0x1e6b
000017e0: JUMP
000017e1: JUMPDEST
000017e2: PUSH1 0x04
000017e4: DUP3
000017e5: ADD
000017e6: DUP2
000017e7: SWAP1
000017e8: SSTORE
000017e9: PUSH1 0x08
000017eb: SLOAD
000017ec: PUSH2 0x1803
000017ef: SWAP2
000017f0: PUSH8 0x0de0b6b3a7640000
000017f9: SWAP2
000017fa: PUSH2 0x0af9
000017fd: SWAP2
000017fe: SWAP1
000017ff: PUSH2 0x202d
00001802: JUMP
00001803: JUMPDEST
00001804: PUSH1 0x05
00001806: SWAP1
00001807: SWAP2
00001808: ADD
00001809: SSTORE
0000180a: JUMP
0000180b: JUMPDEST
0000180c: CALLER
0000180d: PUSH1 0x00
0000180f: SWAP1
00001810: DUP2
00001811: MSTORE
00001812: PUSH1 0x0a
00001814: PUSH1 0x20
00001816: SWAP1
00001817: DUP2
00001818: MSTORE
00001819: PUSH1 0x40
0000181b: DUP1
0000181c: DUP4
0000181d: KECCAK256
0000181e: DUP2
0000181f: MLOAD
00001820: PUSH2 0x0120
00001823: DUP2
00001824: ADD
00001825: DUP4
00001826: MSTORE
00001827: DUP2
00001828: SLOAD
00001829: DUP2
0000182a: MSTORE
0000182b: PUSH1 0x01
0000182d: DUP3
0000182e: ADD
0000182f: SLOAD
00001830: SWAP4
00001831: DUP2
00001832: ADD
00001833: SWAP4
00001834: SWAP1
00001835: SWAP4
00001836: MSTORE
00001837: PUSH1 0x02
00001839: DUP2
0000183a: ADD
0000183b: SLOAD
0000183c: PUSH1 0x01
0000183e: PUSH1 0x01
00001840: PUSH1 0xa0
00001842: SHL
00001843: SUB
00001844: AND
00001845: SWAP2
00001846: DUP4
00001847: ADD
00001848: SWAP2
00001849: SWAP1
0000184a: SWAP2
0000184b: MSTORE
0000184c: PUSH1 0x03
0000184e: DUP2
0000184f: ADD
00001850: SLOAD
00001851: PUSH1 0x60
00001853: DUP4
00001854: ADD
00001855: MSTORE
00001856: PUSH1 0x04
00001858: DUP2
00001859: ADD
0000185a: SLOAD
0000185b: PUSH1 0x80
0000185d: DUP4
0000185e: ADD
0000185f: MSTORE
00001860: PUSH1 0x05
00001862: DUP2
00001863: ADD
00001864: SLOAD
00001865: PUSH1 0xa0
00001867: DUP4
00001868: ADD
00001869: MSTORE
0000186a: PUSH1 0x06
0000186c: DUP2
0000186d: ADD
0000186e: SLOAD
0000186f: PUSH1 0xc0
00001871: DUP4
00001872: ADD
00001873: MSTORE
00001874: PUSH1 0x07
00001876: DUP2
00001877: ADD
00001878: SLOAD
00001879: PUSH1 0xe0
0000187b: DUP4
0000187c: ADD
0000187d: MSTORE
0000187e: PUSH1 0x08
00001880: ADD
00001881: SLOAD
00001882: PUSH1 0xff
00001884: AND
00001885: ISZERO
00001886: ISZERO
00001887: PUSH2 0x0100
0000188a: DUP3
0000188b: ADD
0000188c: MSTORE
0000188d: PUSH2 0x09d6
00001890: SWAP1
00001891: DUP3
00001892: PUSH2 0x254d
00001895: JUMP
00001896: JUMPDEST
00001897: PUSH1 0x01
00001899: SLOAD
0000189a: PUSH1 0x40
0000189c: DUP1
0000189d: MLOAD
0000189e: PUSH32 0x18160ddd00000000000000000000000000000000000000000000000000000000
000018bf: DUP2
000018c0: MSTORE
000018c1: SWAP1
000018c2: MLOAD
000018c3: PUSH1 0x00
000018c5: SWAP3
000018c6: PUSH1 0x01
000018c8: PUSH1 0x01
000018ca: PUSH1 0xa0
000018cc: SHL
000018cd: SUB
000018ce: AND
000018cf: SWAP2
000018d0: PUSH4 0x18160ddd
000018d5: SWAP2
000018d6: PUSH1 0x04
000018d8: DUP1
000018d9: DUP4
000018da: ADD
000018db: SWAP3
000018dc: PUSH1 0x20
000018de: SWAP3
000018df: SWAP2
000018e0: SWAP1
000018e1: DUP3
000018e2: SWAP1
000018e3: SUB
000018e4: ADD
000018e5: DUP2
000018e6: DUP7
000018e7: DUP1
000018e8: EXTCODESIZE
000018e9: ISZERO
000018ea: DUP1
000018eb: ISZERO
000018ec: PUSH2 0x18f4
000018ef: JUMPI
000018f0: PUSH1 0x00
000018f2: DUP1
000018f3: REVERT
000018f4: JUMPDEST
000018f5: POP
000018f6: GAS
000018f7: STATICCALL
000018f8: ISZERO
000018f9: DUP1
000018fa: ISZERO
000018fb: PUSH2 0x1908
000018fe: JUMPI
000018ff: RETURNDATASIZE
00001900: PUSH1 0x00
00001902: DUP1
00001903: RETURNDATACOPY
00001904: RETURNDATASIZE
00001905: PUSH1 0x00
00001907: REVERT
00001908: JUMPDEST
00001909: POP
0000190a: POP
0000190b: POP
0000190c: POP
0000190d: PUSH1 0x40
0000190f: MLOAD
00001910: RETURNDATASIZE
00001911: PUSH1 0x20
00001913: DUP2
00001914: LT
00001915: ISZERO
00001916: PUSH2 0x191e
00001919: JUMPI
0000191a: PUSH1 0x00
0000191c: DUP1
0000191d: REVERT
0000191e: JUMPDEST
0000191f: POP
00001920: MLOAD
00001921: PUSH2 0x192c
00001924: JUMPI
00001925: POP
00001926: PUSH1 0x00
00001928: PUSH2 0x09d9
0000192b: JUMP
0000192c: JUMPDEST
0000192d: PUSH1 0x00
0000192f: DUP1
00001930: PUSH1 0x01
00001932: PUSH1 0x00
00001934: SWAP1
00001935: SLOAD
00001936: SWAP1
00001937: PUSH2 0x0100
0000193a: EXP
0000193b: SWAP1
0000193c: DIV
0000193d: PUSH1 0x01
0000193f: PUSH1 0x01
00001941: PUSH1 0xa0
00001943: SHL
00001944: SUB
00001945: AND
00001946: PUSH1 0x01
00001948: PUSH1 0x01
0000194a: PUSH1 0xa0
0000194c: SHL
0000194d: SUB
0000194e: AND
0000194f: PUSH4 0x0902f1ac
00001954: PUSH1 0x40
00001956: MLOAD
00001957: DUP2
00001958: PUSH4 0xffffffff
0000195d: AND
0000195e: PUSH1 0xe0
00001960: SHL
00001961: DUP2
00001962: MSTORE
00001963: PUSH1 0x04
00001965: ADD
00001966: PUSH1 0x60
00001968: PUSH1 0x40
0000196a: MLOAD
0000196b: DUP1
0000196c: DUP4
0000196d: SUB
0000196e: DUP2
0000196f: DUP7
00001970: DUP1
00001971: EXTCODESIZE
00001972: ISZERO
00001973: DUP1
00001974: ISZERO
00001975: PUSH2 0x197d
00001978: JUMPI
00001979: PUSH1 0x00
0000197b: DUP1
0000197c: REVERT
0000197d: JUMPDEST
0000197e: POP
0000197f: GAS
00001980: STATICCALL
00001981: ISZERO
00001982: DUP1
00001983: ISZERO
00001984: PUSH2 0x1991
00001987: JUMPI
00001988: RETURNDATASIZE
00001989: PUSH1 0x00
0000198b: DUP1
0000198c: RETURNDATACOPY
0000198d: RETURNDATASIZE
0000198e: PUSH1 0x00
00001990: REVERT
00001991: JUMPDEST
00001992: POP
00001993: POP
00001994: POP
00001995: POP
00001996: PUSH1 0x40
00001998: MLOAD
00001999: RETURNDATASIZE
0000199a: PUSH1 0x60
0000199c: DUP2
0000199d: LT
0000199e: ISZERO
0000199f: PUSH2 0x19a7
000019a2: JUMPI
000019a3: PUSH1 0x00
000019a5: DUP1
000019a6: REVERT
000019a7: JUMPDEST
000019a8: POP
000019a9: DUP1
000019aa: MLOAD
000019ab: PUSH1 0x20
000019ad: SWAP2
000019ae: DUP3
000019af: ADD
000019b0: MLOAD
000019b1: PUSH1 0x01
000019b3: SLOAD
000019b4: PUSH1 0x40
000019b6: DUP1
000019b7: MLOAD
000019b8: PUSH4 0x0dfe1681
000019bd: PUSH1 0xe0
000019bf: SHL
000019c0: DUP2
000019c1: MSTORE
000019c2: SWAP1
000019c3: MLOAD
000019c4: SWAP4
000019c5: SWAP7
000019c6: POP
000019c7: SWAP2
000019c8: SWAP5
000019c9: POP
000019ca: PUSH1 0x00
000019cc: SWAP4
000019cd: PUSH1 0x01
000019cf: PUSH1 0x01
000019d1: PUSH1 0xa0
000019d3: SHL
000019d4: SUB
000019d5: SWAP1
000019d6: SWAP2
000019d7: AND
000019d8: SWAP3
000019d9: PUSH4 0x0dfe1681
000019de: SWAP3
000019df: PUSH1 0x04
000019e1: DUP1
000019e2: DUP3
000019e3: ADD
000019e4: SWAP4
000019e5: SWAP3
000019e6: SWAP2
000019e7: DUP3
000019e8: SWAP1
000019e9: SUB
000019ea: ADD
000019eb: DUP2
000019ec: DUP7
000019ed: DUP1
000019ee: EXTCODESIZE
000019ef: ISZERO
000019f0: DUP1
000019f1: ISZERO
000019f2: PUSH2 0x19fa
000019f5: JUMPI
000019f6: PUSH1 0x00
000019f8: DUP1
000019f9: REVERT
000019fa: JUMPDEST
000019fb: POP
000019fc: GAS
000019fd: STATICCALL
000019fe: ISZERO
000019ff: DUP1
00001a00: ISZERO
00001a01: PUSH2 0x1a0e
00001a04: JUMPI
00001a05: RETURNDATASIZE
00001a06: PUSH1 0x00
00001a08: DUP1
00001a09: RETURNDATACOPY
00001a0a: RETURNDATASIZE
00001a0b: PUSH1 0x00
00001a0d: REVERT
00001a0e: JUMPDEST
00001a0f: POP
00001a10: POP
00001a11: POP
00001a12: POP
00001a13: PUSH1 0x40
00001a15: MLOAD
00001a16: RETURNDATASIZE
00001a17: PUSH1 0x20
00001a19: DUP2
00001a1a: LT
00001a1b: ISZERO
00001a1c: PUSH2 0x1a24
00001a1f: JUMPI
00001a20: PUSH1 0x00
00001a22: DUP1
00001a23: REVERT
00001a24: JUMPDEST
00001a25: POP
00001a26: MLOAD
00001a27: PUSH1 0x01
00001a29: PUSH1 0x01
00001a2b: PUSH1 0xa0
00001a2d: SHL
00001a2e: SUB
00001a2f: AND
00001a30: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001a45: EQ
00001a46: ISZERO
00001a47: PUSH2 0x1a61
00001a4a: JUMPI
00001a4b: POP
00001a4c: PUSH14 0xffffffffffffffffffffffffffff
00001a5b: DUP3
00001a5c: AND
00001a5d: PUSH2 0x1a74
00001a60: JUMP
00001a61: JUMPDEST
00001a62: POP
00001a63: PUSH14 0xffffffffffffffffffffffffffff
00001a72: DUP2
00001a73: AND
00001a74: JUMPDEST
00001a75: PUSH1 0x00
00001a77: PUSH2 0x1b05
00001a7a: PUSH1 0x01
00001a7c: PUSH1 0x00
00001a7e: SWAP1
00001a7f: SLOAD
00001a80: SWAP1
00001a81: PUSH2 0x0100
00001a84: EXP
00001a85: SWAP1
00001a86: DIV
00001a87: PUSH1 0x01
00001a89: PUSH1 0x01
00001a8b: PUSH1 0xa0
00001a8d: SHL
00001a8e: SUB
00001a8f: AND
00001a90: PUSH1 0x01
00001a92: PUSH1 0x01
00001a94: PUSH1 0xa0
00001a96: SHL
00001a97: SUB
00001a98: AND
00001a99: PUSH4 0x18160ddd
00001a9e: PUSH1 0x40
00001aa0: MLOAD
00001aa1: DUP2
00001aa2: PUSH4 0xffffffff
00001aa7: AND
00001aa8: PUSH1 0xe0
00001aaa: SHL
00001aab: DUP2
00001aac: MSTORE
00001aad: PUSH1 0x04
00001aaf: ADD
00001ab0: PUSH1 0x20
00001ab2: PUSH1 0x40
00001ab4: MLOAD
00001ab5: DUP1
00001ab6: DUP4
00001ab7: SUB
00001ab8: DUP2
00001ab9: DUP7
00001aba: DUP1
00001abb: EXTCODESIZE
00001abc: ISZERO
00001abd: DUP1
00001abe: ISZERO
00001abf: PUSH2 0x1ac7
00001ac2: JUMPI
00001ac3: PUSH1 0x00
00001ac5: DUP1
00001ac6: REVERT
00001ac7: JUMPDEST
00001ac8: POP
00001ac9: GAS
00001aca: STATICCALL
00001acb: ISZERO
00001acc: DUP1
00001acd: ISZERO
00001ace: PUSH2 0x1adb
00001ad1: JUMPI
00001ad2: RETURNDATASIZE
00001ad3: PUSH1 0x00
00001ad5: DUP1
00001ad6: RETURNDATACOPY
00001ad7: RETURNDATASIZE
00001ad8: PUSH1 0x00
00001ada: REVERT
00001adb: JUMPDEST
00001adc: POP
00001add: POP
00001ade: POP
00001adf: POP
00001ae0: PUSH1 0x40
00001ae2: MLOAD
00001ae3: RETURNDATASIZE
00001ae4: PUSH1 0x20
00001ae6: DUP2
00001ae7: LT
00001ae8: ISZERO
00001ae9: PUSH2 0x1af1
00001aec: JUMPI
00001aed: PUSH1 0x00
00001aef: DUP1
00001af0: REVERT
00001af1: JUMPDEST
00001af2: POP
00001af3: MLOAD
00001af4: PUSH2 0x0af9
00001af7: PUSH1 0x02
00001af9: PUSH2 0x100b
00001afc: DUP7
00001afd: PUSH3 0x0186a0
00001b01: PUSH2 0x202d
00001b04: JUMP
00001b05: JUMPDEST
00001b06: SWAP1
00001b07: POP
00001b08: PUSH1 0x00
00001b0a: PUSH2 0x1b22
00001b0d: PUSH3 0x0186a0
00001b11: PUSH2 0x0af9
00001b14: PUSH2 0x1b1b
00001b17: PUSH2 0x2268
00001b1a: JUMP
00001b1b: JUMPDEST
00001b1c: DUP6
00001b1d: SWAP1
00001b1e: PUSH2 0x202d
00001b21: JUMP
00001b22: JUMPDEST
00001b23: PUSH1 0x01
00001b25: SLOAD
00001b26: PUSH1 0x40
00001b28: DUP1
00001b29: MLOAD
00001b2a: PUSH4 0x70a08231
00001b2f: PUSH1 0xe0
00001b31: SHL
00001b32: DUP2
00001b33: MSTORE
00001b34: ADDRESS
00001b35: PUSH1 0x04
00001b37: DUP3
00001b38: ADD
00001b39: MSTORE
00001b3a: SWAP1
00001b3b: MLOAD
00001b3c: SWAP3
00001b3d: SWAP4
00001b3e: POP
00001b3f: PUSH2 0x1b84
00001b42: SWAP3
00001b43: PUSH8 0x0de0b6b3a7640000
00001b4c: SWAP3
00001b4d: PUSH2 0x0af9
00001b50: SWAP3
00001b51: DUP7
00001b52: SWAP3
00001b53: PUSH1 0x01
00001b55: PUSH1 0x01
00001b57: PUSH1 0xa0
00001b59: SHL
00001b5a: SUB
00001b5b: SWAP1
00001b5c: SWAP3
00001b5d: AND
00001b5e: SWAP2
00001b5f: PUSH4 0x70a08231
00001b64: SWAP2
00001b65: PUSH1 0x24
00001b67: DUP1
00001b68: DUP3
00001b69: ADD
00001b6a: SWAP3
00001b6b: PUSH1 0x20
00001b6d: SWAP3
00001b6e: SWAP1
00001b6f: SWAP2
00001b70: SWAP1
00001b71: DUP3
00001b72: SWAP1
00001b73: SUB
00001b74: ADD
00001b75: DUP2
00001b76: DUP7
00001b77: DUP1
00001b78: EXTCODESIZE
00001b79: ISZERO
00001b7a: DUP1
00001b7b: ISZERO
00001b7c: PUSH2 0x0c0e
00001b7f: JUMPI
00001b80: PUSH1 0x00
00001b82: DUP1
00001b83: REVERT
00001b84: JUMPDEST
00001b85: SWAP6
00001b86: POP
00001b87: POP
00001b88: POP
00001b89: POP
00001b8a: POP
00001b8b: POP
00001b8c: SWAP1
00001b8d: JUMP
00001b8e: JUMPDEST
00001b8f: PUSH1 0x09
00001b91: SLOAD
00001b92: PUSH1 0x01
00001b94: PUSH1 0x01
00001b96: PUSH1 0xa0
00001b98: SHL
00001b99: SUB
00001b9a: AND
00001b9b: CALLER
00001b9c: EQ
00001b9d: PUSH2 0x1ba5
00001ba0: JUMPI
00001ba1: PUSH1 0x00
00001ba3: DUP1
00001ba4: REVERT
00001ba5: JUMPDEST
00001ba6: PUSH1 0x01
00001ba8: SLOAD
00001ba9: PUSH1 0x01
00001bab: PUSH1 0x01
00001bad: PUSH1 0xa0
00001baf: SHL
00001bb0: SUB
00001bb1: AND
00001bb2: ISZERO
00001bb3: PUSH2 0x1c03
00001bb6: JUMPI
00001bb7: PUSH1 0x40
00001bb9: DUP1
00001bba: MLOAD
00001bbb: PUSH3 0x461bcd
00001bbf: PUSH1 0xe5
00001bc1: SHL
00001bc2: DUP2
00001bc3: MSTORE
00001bc4: PUSH1 0x20
00001bc6: PUSH1 0x04
00001bc8: DUP3
00001bc9: ADD
00001bca: MSTORE
00001bcb: PUSH1 0x16
00001bcd: PUSH1 0x24
00001bcf: DUP3
00001bd0: ADD
00001bd1: MSTORE
00001bd2: PUSH32 0x4c50206164647265737320616c72656164792073657400000000000000000000
00001bf3: PUSH1 0x44
00001bf5: DUP3
00001bf6: ADD
00001bf7: MSTORE
00001bf8: SWAP1
00001bf9: MLOAD
00001bfa: SWAP1
00001bfb: DUP2
00001bfc: SWAP1
00001bfd: SUB
00001bfe: PUSH1 0x64
00001c00: ADD
00001c01: SWAP1
00001c02: REVERT
00001c03: JUMPDEST
00001c04: PUSH1 0x01
00001c06: DUP1
00001c07: SLOAD
00001c08: PUSH1 0x01
00001c0a: PUSH1 0x01
00001c0c: PUSH1 0xa0
00001c0e: SHL
00001c0f: SUB
00001c10: NOT
00001c11: AND
00001c12: PUSH1 0x01
00001c14: PUSH1 0x01
00001c16: PUSH1 0xa0
00001c18: SHL
00001c19: SUB
00001c1a: SWAP3
00001c1b: SWAP1
00001c1c: SWAP3
00001c1d: AND
00001c1e: SWAP2
00001c1f: SWAP1
00001c20: SWAP2
00001c21: OR
00001c22: SWAP1
00001c23: SSTORE
00001c24: JUMP
00001c25: JUMPDEST
00001c26: PUSH1 0x00
00001c28: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b1ea0c
00001c49: NUMBER
00001c4a: LT
00001c4b: DUP1
00001c4c: PUSH2 0x1c74
00001c4f: JUMPI
00001c50: POP
00001c51: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b2670c
00001c72: NUMBER
00001c73: GT
00001c74: JUMPDEST
00001c75: ISZERO
00001c76: PUSH2 0x1c81
00001c79: JUMPI
00001c7a: POP
00001c7b: PUSH1 0x00
00001c7d: PUSH2 0x09d9
00001c80: JUMP
00001c81: JUMPDEST
00001c82: POP
00001c83: PUSH32 0x000000000000000000000000000000000000000000000000003b363eba41aaaa
00001ca4: SWAP1
00001ca5: JUMP
00001ca6: JUMPDEST
00001ca7: PUSH1 0x01
00001ca9: DUP2
00001caa: JUMP
00001cab: JUMPDEST
00001cac: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b1ea0c
00001ccd: NUMBER
00001cce: LT
00001ccf: ISZERO
00001cd0: PUSH2 0x1d20
00001cd3: JUMPI
00001cd4: PUSH1 0x40
00001cd6: DUP1
00001cd7: MLOAD
00001cd8: PUSH3 0x461bcd
00001cdc: PUSH1 0xe5
00001cde: SHL
00001cdf: DUP2
00001ce0: MSTORE
00001ce1: PUSH1 0x20
00001ce3: PUSH1 0x04
00001ce5: DUP3
00001ce6: ADD
00001ce7: MSTORE
00001ce8: PUSH1 0x18
00001cea: PUSH1 0x24
00001cec: DUP3
00001ced: ADD
00001cee: MSTORE
00001cef: PUSH32 0x506f6f6c206861736e27742073746172746564207965742e0000000000000000
00001d10: PUSH1 0x44
00001d12: DUP3
00001d13: ADD
00001d14: MSTORE
00001d15: SWAP1
00001d16: MLOAD
00001d17: SWAP1
00001d18: DUP2
00001d19: SWAP1
00001d1a: SUB
00001d1b: PUSH1 0x64
00001d1d: ADD
00001d1e: SWAP1
00001d1f: REVERT
00001d20: JUMPDEST
00001d21: PUSH2 0x1422
00001d24: CALLER
00001d25: PUSH1 0x00
00001d27: PUSH2 0x1f52
00001d2a: JUMP
00001d2b: JUMPDEST
00001d2c: CALLER
00001d2d: PUSH1 0x00
00001d2f: SWAP1
00001d30: DUP2
00001d31: MSTORE
00001d32: PUSH1 0x0a
00001d34: PUSH1 0x20
00001d36: SWAP1
00001d37: DUP2
00001d38: MSTORE
00001d39: PUSH1 0x40
00001d3b: DUP1
00001d3c: DUP4
00001d3d: KECCAK256
00001d3e: DUP2
00001d3f: MLOAD
00001d40: PUSH2 0x0120
00001d43: DUP2
00001d44: ADD
00001d45: DUP4
00001d46: MSTORE
00001d47: DUP2
00001d48: SLOAD
00001d49: DUP2
00001d4a: MSTORE
00001d4b: PUSH1 0x01
00001d4d: DUP3
00001d4e: ADD
00001d4f: SLOAD
00001d50: SWAP4
00001d51: DUP2
00001d52: ADD
00001d53: SWAP4
00001d54: SWAP1
00001d55: SWAP4
00001d56: MSTORE
00001d57: PUSH1 0x02
00001d59: DUP2
00001d5a: ADD
00001d5b: SLOAD
00001d5c: PUSH1 0x01
00001d5e: PUSH1 0x01
00001d60: PUSH1 0xa0
00001d62: SHL
00001d63: SUB
00001d64: AND
00001d65: SWAP2
00001d66: DUP4
00001d67: ADD
00001d68: SWAP2
00001d69: SWAP1
00001d6a: SWAP2
00001d6b: MSTORE
00001d6c: PUSH1 0x03
00001d6e: DUP2
00001d6f: ADD
00001d70: SLOAD
00001d71: PUSH1 0x60
00001d73: DUP4
00001d74: ADD
00001d75: MSTORE
00001d76: PUSH1 0x04
00001d78: DUP2
00001d79: ADD
00001d7a: SLOAD
00001d7b: PUSH1 0x80
00001d7d: DUP4
00001d7e: ADD
00001d7f: MSTORE
00001d80: PUSH1 0x05
00001d82: DUP2
00001d83: ADD
00001d84: SLOAD
00001d85: PUSH1 0xa0
00001d87: DUP4
00001d88: ADD
00001d89: MSTORE
00001d8a: PUSH1 0x06
00001d8c: DUP2
00001d8d: ADD
00001d8e: SLOAD
00001d8f: PUSH1 0xc0
00001d91: DUP4
00001d92: ADD
00001d93: MSTORE
00001d94: PUSH1 0x07
00001d96: DUP2
00001d97: ADD
00001d98: SLOAD
00001d99: PUSH1 0xe0
00001d9b: DUP4
00001d9c: ADD
00001d9d: MSTORE
00001d9e: PUSH1 0x08
00001da0: ADD
00001da1: SLOAD
00001da2: PUSH1 0xff
00001da4: AND
00001da5: ISZERO
00001da6: ISZERO
00001da7: PUSH2 0x0100
00001daa: DUP3
00001dab: ADD
00001dac: MSTORE
00001dad: PUSH2 0x09d6
00001db0: SWAP1
00001db1: PUSH2 0x25dd
00001db4: JUMP
00001db5: JUMPDEST
00001db6: PUSH1 0x08
00001db8: SLOAD
00001db9: DUP2
00001dba: JUMP
00001dbb: JUMPDEST
00001dbc: PUSH1 0x06
00001dbe: SLOAD
00001dbf: DUP2
00001dc0: JUMP
00001dc1: JUMPDEST
00001dc2: PUSH1 0x00
00001dc4: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b1ea0c
00001de5: NUMBER
00001de6: GT
00001de7: ISZERO
00001de8: PUSH2 0x1df3
00001deb: JUMPI
00001dec: POP
00001ded: PUSH1 0x00
00001def: PUSH2 0x09d9
00001df2: JUMP
00001df3: JUMPDEST
00001df4: PUSH2 0x09d6
00001df7: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b1ea0c
00001e18: NUMBER
00001e19: PUSH2 0x1f10
00001e1c: JUMP
00001e1d: JUMPDEST
00001e1e: PUSH32 0x000000000000000000000000d39a38bd2d2d552f3908ff698a5530aa397fb92d
00001e3f: DUP2
00001e40: JUMP
00001e41: JUMPDEST
00001e42: CALLER
00001e43: PUSH1 0x00
00001e45: SWAP1
00001e46: DUP2
00001e47: MSTORE
00001e48: PUSH1 0x0a
00001e4a: PUSH1 0x20
00001e4c: MSTORE
00001e4d: PUSH1 0x40
00001e4f: SWAP1
00001e50: KECCAK256
00001e51: PUSH1 0x04
00001e53: ADD
00001e54: SLOAD
00001e55: SWAP1
00001e56: JUMP
00001e57: JUMPDEST
00001e58: PUSH1 0x00
00001e5a: SLOAD
00001e5b: PUSH1 0x01
00001e5d: PUSH1 0x01
00001e5f: PUSH1 0xa0
00001e61: SHL
00001e62: SUB
00001e63: AND
00001e64: DUP2
00001e65: JUMP
00001e66: JUMPDEST
00001e67: PUSH1 0x06
00001e69: DUP2
00001e6a: JUMP
00001e6b: JUMPDEST
00001e6c: PUSH1 0x00
00001e6e: DUP3
00001e6f: DUP3
00001e70: ADD
00001e71: DUP4
00001e72: DUP2
00001e73: LT
00001e74: ISZERO
00001e75: PUSH2 0x1ec5
00001e78: JUMPI
00001e79: PUSH1 0x40
00001e7b: DUP1
00001e7c: MLOAD
00001e7d: PUSH3 0x461bcd
00001e81: PUSH1 0xe5
00001e83: SHL
00001e84: DUP2
00001e85: MSTORE
00001e86: PUSH1 0x20
00001e88: PUSH1 0x04
00001e8a: DUP3
00001e8b: ADD
00001e8c: MSTORE
00001e8d: PUSH1 0x1b
00001e8f: PUSH1 0x24
00001e91: DUP3
00001e92: ADD
00001e93: MSTORE
00001e94: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001eb5: PUSH1 0x44
00001eb7: DUP3
00001eb8: ADD
00001eb9: MSTORE
00001eba: SWAP1
00001ebb: MLOAD
00001ebc: SWAP1
00001ebd: DUP2
00001ebe: SWAP1
00001ebf: SUB
00001ec0: PUSH1 0x64
00001ec2: ADD
00001ec3: SWAP1
00001ec4: REVERT
00001ec5: JUMPDEST
00001ec6: SWAP1
00001ec7: POP
00001ec8: JUMPDEST
00001ec9: SWAP3
00001eca: SWAP2
00001ecb: POP
00001ecc: POP
00001ecd: JUMP
00001ece: JUMPDEST
00001ecf: PUSH1 0x00
00001ed1: PUSH2 0x1ec5
00001ed4: DUP4
00001ed5: DUP4
00001ed6: PUSH1 0x40
00001ed8: MLOAD
00001ed9: DUP1
00001eda: PUSH1 0x40
00001edc: ADD
00001edd: PUSH1 0x40
00001edf: MSTORE
00001ee0: DUP1
00001ee1: PUSH1 0x1a
00001ee3: DUP2
00001ee4: MSTORE
00001ee5: PUSH1 0x20
00001ee7: ADD
00001ee8: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00001f09: DUP2
00001f0a: MSTORE
00001f0b: POP
00001f0c: PUSH2 0x26d5
00001f0f: JUMP
00001f10: JUMPDEST
00001f11: PUSH1 0x00
00001f13: PUSH2 0x1ec5
00001f16: DUP4
00001f17: DUP4
00001f18: PUSH1 0x40
00001f1a: MLOAD
00001f1b: DUP1
00001f1c: PUSH1 0x40
00001f1e: ADD
00001f1f: PUSH1 0x40
00001f21: MSTORE
00001f22: DUP1
00001f23: PUSH1 0x1e
00001f25: DUP2
00001f26: MSTORE
00001f27: PUSH1 0x20
00001f29: ADD
00001f2a: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001f4b: DUP2
00001f4c: MSTORE
00001f4d: POP
00001f4e: PUSH2 0x2777
00001f51: JUMP
00001f52: JUMPDEST
00001f53: PUSH1 0x01
00001f55: PUSH1 0x01
00001f57: PUSH1 0xa0
00001f59: SHL
00001f5a: SUB
00001f5b: DUP1
00001f5c: DUP4
00001f5d: AND
00001f5e: PUSH1 0x00
00001f60: SWAP1
00001f61: DUP2
00001f62: MSTORE
00001f63: PUSH1 0x0a
00001f65: PUSH1 0x20
00001f67: SWAP1
00001f68: DUP2
00001f69: MSTORE
00001f6a: PUSH1 0x40
00001f6c: DUP1
00001f6d: DUP4
00001f6e: KECCAK256
00001f6f: DUP2
00001f70: MLOAD
00001f71: PUSH2 0x0120
00001f74: DUP2
00001f75: ADD
00001f76: DUP4
00001f77: MSTORE
00001f78: DUP2
00001f79: SLOAD
00001f7a: DUP2
00001f7b: MSTORE
00001f7c: PUSH1 0x01
00001f7e: DUP3
00001f7f: ADD
00001f80: SLOAD
00001f81: SWAP4
00001f82: DUP2
00001f83: ADD
00001f84: SWAP4
00001f85: SWAP1
00001f86: SWAP4
00001f87: MSTORE
00001f88: PUSH1 0x02
00001f8a: DUP2
00001f8b: ADD
00001f8c: SLOAD
00001f8d: SWAP1
00001f8e: SWAP5
00001f8f: AND
00001f90: SWAP1
00001f91: DUP3
00001f92: ADD
00001f93: MSTORE
00001f94: PUSH1 0x03
00001f96: DUP4
00001f97: ADD
00001f98: SLOAD
00001f99: PUSH1 0x60
00001f9b: DUP3
00001f9c: ADD
00001f9d: MSTORE
00001f9e: PUSH1 0x04
00001fa0: DUP4
00001fa1: ADD
00001fa2: SLOAD
00001fa3: PUSH1 0x80
00001fa5: DUP3
00001fa6: ADD
00001fa7: MSTORE
00001fa8: PUSH1 0x05
00001faa: DUP4
00001fab: ADD
00001fac: SLOAD
00001fad: PUSH1 0xa0
00001faf: DUP3
00001fb0: ADD
00001fb1: MSTORE
00001fb2: PUSH1 0x06
00001fb4: DUP4
00001fb5: ADD
00001fb6: SLOAD
00001fb7: PUSH1 0xc0
00001fb9: DUP3
00001fba: ADD
00001fbb: MSTORE
00001fbc: PUSH1 0x07
00001fbe: DUP4
00001fbf: ADD
00001fc0: SLOAD
00001fc1: PUSH1 0xe0
00001fc3: DUP3
00001fc4: ADD
00001fc5: MSTORE
00001fc6: PUSH1 0x08
00001fc8: DUP4
00001fc9: ADD
00001fca: SLOAD
00001fcb: PUSH1 0xff
00001fcd: AND
00001fce: ISZERO
00001fcf: ISZERO
00001fd0: PUSH2 0x0100
00001fd3: DUP3
00001fd4: ADD
00001fd5: MSTORE
00001fd6: PUSH2 0x1fdf
00001fd9: SWAP1
00001fda: DUP5
00001fdb: PUSH2 0x254d
00001fde: JUMP
00001fdf: JUMPDEST
00001fe0: SWAP1
00001fe1: POP
00001fe2: PUSH2 0x1fea
00001fe5: DUP4
00001fe6: PUSH2 0x27d1
00001fe9: JUMP
00001fea: JUMPDEST
00001feb: DUP1
00001fec: ISZERO
00001fed: PUSH2 0x1ffa
00001ff0: JUMPI
00001ff1: PUSH2 0x1ffa
00001ff4: DUP5
00001ff5: DUP3
00001ff6: PUSH2 0x29e0
00001ff9: JUMP
00001ffa: JUMPDEST
00001ffb: PUSH2 0x201f
00001ffe: PUSH8 0x0de0b6b3a7640000
00002007: PUSH2 0x0af9
0000200a: PUSH1 0x08
0000200c: SLOAD
0000200d: DUP6
0000200e: PUSH1 0x04
00002010: ADD
00002011: SLOAD
00002012: PUSH2 0x202d
00002015: SWAP1
00002016: SWAP2
00002017: SWAP1
00002018: PUSH4 0xffffffff
0000201d: AND
0000201e: JUMP
0000201f: JUMPDEST
00002020: DUP3
00002021: PUSH1 0x05
00002023: ADD
00002024: DUP2
00002025: SWAP1
00002026: SSTORE
00002027: POP
00002028: POP
00002029: POP
0000202a: POP
0000202b: POP
0000202c: JUMP
0000202d: JUMPDEST
0000202e: PUSH1 0x00
00002030: DUP3
00002031: PUSH2 0x203c
00002034: JUMPI
00002035: POP
00002036: PUSH1 0x00
00002038: PUSH2 0x1ec8
0000203b: JUMP
0000203c: JUMPDEST
0000203d: DUP3
0000203e: DUP3
0000203f: MUL
00002040: DUP3
00002041: DUP5
00002042: DUP3
00002043: DUP2
00002044: PUSH2 0x2049
00002047: JUMPI
00002048: INVALID
00002049: JUMPDEST
0000204a: DIV
0000204b: EQ
0000204c: PUSH2 0x1ec5
0000204f: JUMPI
00002050: PUSH1 0x40
00002052: MLOAD
00002053: PUSH3 0x461bcd
00002057: PUSH1 0xe5
00002059: SHL
0000205a: DUP2
0000205b: MSTORE
0000205c: PUSH1 0x04
0000205e: ADD
0000205f: DUP1
00002060: DUP1
00002061: PUSH1 0x20
00002063: ADD
00002064: DUP3
00002065: DUP2
00002066: SUB
00002067: DUP3
00002068: MSTORE
00002069: PUSH1 0x21
0000206b: DUP2
0000206c: MSTORE
0000206d: PUSH1 0x20
0000206f: ADD
00002070: DUP1
00002071: PUSH2 0x30f4
00002074: PUSH1 0x21
00002076: SWAP2
00002077: CODECOPY
00002078: PUSH1 0x40
0000207a: ADD
0000207b: SWAP2
0000207c: POP
0000207d: POP
0000207e: PUSH1 0x40
00002080: MLOAD
00002081: DUP1
00002082: SWAP2
00002083: SUB
00002084: SWAP1
00002085: REVERT
00002086: JUMPDEST
00002087: PUSH1 0x01
00002089: PUSH1 0x01
0000208b: PUSH1 0xa0
0000208d: SHL
0000208e: SUB
0000208f: DUP1
00002090: DUP3
00002091: AND
00002092: PUSH1 0x00
00002094: SWAP1
00002095: DUP2
00002096: MSTORE
00002097: PUSH1 0x0a
00002099: PUSH1 0x20
0000209b: SWAP1
0000209c: DUP2
0000209d: MSTORE
0000209e: PUSH1 0x40
000020a0: DUP1
000020a1: DUP4
000020a2: KECCAK256
000020a3: DUP2
000020a4: MLOAD
000020a5: PUSH2 0x0120
000020a8: DUP2
000020a9: ADD
000020aa: DUP4
000020ab: MSTORE
000020ac: DUP2
000020ad: SLOAD
000020ae: DUP2
000020af: MSTORE
000020b0: PUSH1 0x01
000020b2: DUP3
000020b3: ADD
000020b4: SLOAD
000020b5: SWAP4
000020b6: DUP2
000020b7: ADD
000020b8: SWAP4
000020b9: SWAP1
000020ba: SWAP4
000020bb: MSTORE
000020bc: PUSH1 0x02
000020be: DUP2
000020bf: ADD
000020c0: SLOAD
000020c1: SWAP1
000020c2: SWAP5
000020c3: AND
000020c4: SWAP1
000020c5: DUP3
000020c6: ADD
000020c7: MSTORE
000020c8: PUSH1 0x03
000020ca: DUP4
000020cb: ADD
000020cc: SLOAD
000020cd: PUSH1 0x60
000020cf: DUP3
000020d0: ADD
000020d1: MSTORE
000020d2: PUSH1 0x04
000020d4: DUP4
000020d5: ADD
000020d6: SLOAD
000020d7: PUSH1 0x80
000020d9: DUP3
000020da: ADD
000020db: MSTORE
000020dc: PUSH1 0x05
000020de: DUP4
000020df: ADD
000020e0: SLOAD
000020e1: PUSH1 0xa0
000020e3: DUP3
000020e4: ADD
000020e5: MSTORE
000020e6: PUSH1 0x06
000020e8: DUP4
000020e9: ADD
000020ea: SLOAD
000020eb: PUSH1 0xc0
000020ed: DUP3
000020ee: ADD
000020ef: MSTORE
000020f0: PUSH1 0x07
000020f2: DUP4
000020f3: ADD
000020f4: SLOAD
000020f5: PUSH1 0xe0
000020f7: DUP3
000020f8: ADD
000020f9: MSTORE
000020fa: PUSH1 0x08
000020fc: DUP4
000020fd: ADD
000020fe: SLOAD
000020ff: PUSH1 0xff
00002101: AND
00002102: ISZERO
00002103: ISZERO
00002104: PUSH2 0x0100
00002107: DUP3
00002108: ADD
00002109: MSTORE
0000210a: PUSH2 0x2112
0000210d: SWAP1
0000210e: PUSH2 0x25dd
00002111: JUMP
00002112: JUMPDEST
00002113: SWAP1
00002114: POP
00002115: PUSH2 0x211c
00002118: PUSH2 0x2b77
0000211b: JUMP
0000211c: JUMPDEST
0000211d: DUP1
0000211e: ISZERO
0000211f: PUSH2 0x223f
00002122: JUMPI
00002123: PUSH1 0x02
00002125: DUP3
00002126: ADD
00002127: SLOAD
00002128: PUSH1 0x01
0000212a: PUSH1 0x01
0000212c: PUSH1 0xa0
0000212e: SHL
0000212f: SUB
00002130: AND
00002131: PUSH2 0x21c3
00002134: JUMPI
00002135: PUSH2 0x213e
00002138: DUP4
00002139: DUP3
0000213a: PUSH2 0x29e0
0000213d: JUMP
0000213e: JUMPDEST
0000213f: PUSH1 0x00
00002141: SLOAD
00002142: PUSH1 0x01
00002144: PUSH1 0x01
00002146: PUSH1 0xa0
00002148: SHL
00002149: SUB
0000214a: AND
0000214b: PUSH4 0x9dc29fac
00002150: DUP5
00002151: PUSH2 0x2160
00002154: PUSH1 0x64
00002156: PUSH2 0x0af9
00002159: DUP7
0000215a: PUSH1 0x06
0000215c: PUSH2 0x202d
0000215f: JUMP
00002160: JUMPDEST
00002161: PUSH1 0x40
00002163: MLOAD
00002164: DUP4
00002165: PUSH4 0xffffffff
0000216a: AND
0000216b: PUSH1 0xe0
0000216d: SHL
0000216e: DUP2
0000216f: MSTORE
00002170: PUSH1 0x04
00002172: ADD
00002173: DUP1
00002174: DUP4
00002175: PUSH1 0x01
00002177: PUSH1 0x01
00002179: PUSH1 0xa0
0000217b: SHL
0000217c: SUB
0000217d: AND
0000217e: DUP2
0000217f: MSTORE
00002180: PUSH1 0x20
00002182: ADD
00002183: DUP3
00002184: DUP2
00002185: MSTORE
00002186: PUSH1 0x20
00002188: ADD
00002189: SWAP3
0000218a: POP
0000218b: POP
0000218c: POP
0000218d: PUSH1 0x00
0000218f: PUSH1 0x40
00002191: MLOAD
00002192: DUP1
00002193: DUP4
00002194: SUB
00002195: DUP2
00002196: PUSH1 0x00
00002198: DUP8
00002199: DUP1
0000219a: EXTCODESIZE
0000219b: ISZERO
0000219c: DUP1
0000219d: ISZERO
0000219e: PUSH2 0x21a6
000021a1: JUMPI
000021a2: PUSH1 0x00
000021a4: DUP1
000021a5: REVERT
000021a6: JUMPDEST
000021a7: POP
000021a8: GAS
000021a9: CALL
000021aa: ISZERO
000021ab: DUP1
000021ac: ISZERO
000021ad: PUSH2 0x21ba
000021b0: JUMPI
000021b1: RETURNDATASIZE
000021b2: PUSH1 0x00
000021b4: DUP1
000021b5: RETURNDATACOPY
000021b6: RETURNDATASIZE
000021b7: PUSH1 0x00
000021b9: REVERT
000021ba: JUMPDEST
000021bb: POP
000021bc: POP
000021bd: POP
000021be: POP
000021bf: PUSH2 0x223f
000021c2: JUMP
000021c3: JUMPDEST
000021c4: PUSH1 0x00
000021c6: PUSH2 0x21d9
000021c9: PUSH1 0x64
000021cb: PUSH2 0x0af9
000021ce: PUSH2 0x1b1b
000021d1: PUSH1 0x06
000021d3: PUSH1 0x02
000021d5: PUSH2 0x1ece
000021d8: JUMP
000021d9: JUMPDEST
000021da: SWAP1
000021db: POP
000021dc: PUSH1 0x00
000021de: PUSH2 0x21e7
000021e1: DUP4
000021e2: DUP4
000021e3: PUSH2 0x1f10
000021e6: JUMP
000021e7: JUMPDEST
000021e8: SWAP1
000021e9: POP
000021ea: PUSH2 0x21f3
000021ed: DUP6
000021ee: DUP3
000021ef: PUSH2 0x29e0
000021f2: JUMP
000021f3: JUMPDEST
000021f4: PUSH1 0x02
000021f6: DUP5
000021f7: ADD
000021f8: SLOAD
000021f9: PUSH2 0x220b
000021fc: SWAP1
000021fd: PUSH1 0x01
000021ff: PUSH1 0x01
00002201: PUSH1 0xa0
00002203: SHL
00002204: SUB
00002205: AND
00002206: DUP4
00002207: PUSH2 0x29e0
0000220a: JUMP
0000220b: JUMPDEST
0000220c: PUSH1 0x02
0000220e: DUP5
0000220f: ADD
00002210: SLOAD
00002211: PUSH1 0x01
00002213: PUSH1 0x01
00002215: PUSH1 0xa0
00002217: SHL
00002218: SUB
00002219: AND
0000221a: PUSH1 0x00
0000221c: SWAP1
0000221d: DUP2
0000221e: MSTORE
0000221f: PUSH1 0x0a
00002221: PUSH1 0x20
00002223: MSTORE
00002224: PUSH1 0x40
00002226: SWAP1
00002227: KECCAK256
00002228: PUSH1 0x03
0000222a: DUP2
0000222b: ADD
0000222c: SLOAD
0000222d: PUSH2 0x2236
00002230: SWAP1
00002231: DUP5
00002232: PUSH2 0x1e6b
00002235: JUMP
00002236: JUMPDEST
00002237: PUSH1 0x03
00002239: SWAP1
0000223a: SWAP2
0000223b: ADD
0000223c: SSTORE
0000223d: POP
0000223e: POP
0000223f: JUMPDEST
00002240: PUSH1 0x06
00002242: SLOAD
00002243: DUP3
00002244: SLOAD
00002245: PUSH2 0x225b
00002248: SWAP2
00002249: PUSH8 0x0de0b6b3a7640000
00002252: SWAP2
00002253: PUSH2 0x0af9
00002256: SWAP2
00002257: PUSH2 0x202d
0000225a: JUMP
0000225b: JUMPDEST
0000225c: DUP3
0000225d: PUSH1 0x01
0000225f: ADD
00002260: DUP2
00002261: SWAP1
00002262: SSTORE
00002263: POP
00002264: POP
00002265: POP
00002266: POP
00002267: JUMP
00002268: JUMPDEST
00002269: PUSH1 0x00
0000226b: DUP1
0000226c: PUSH1 0x00
0000226e: PUSH20 0xb4e16d0168e52d35cacd2c6185b44281ec28c9dc
00002283: PUSH1 0x01
00002285: PUSH1 0x01
00002287: PUSH1 0xa0
00002289: SHL
0000228a: SUB
0000228b: AND
0000228c: PUSH4 0x0902f1ac
00002291: PUSH1 0x40
00002293: MLOAD
00002294: DUP2
00002295: PUSH4 0xffffffff
0000229a: AND
0000229b: PUSH1 0xe0
0000229d: SHL
0000229e: DUP2
0000229f: MSTORE
000022a0: PUSH1 0x04
000022a2: ADD
000022a3: PUSH1 0x60
000022a5: PUSH1 0x40
000022a7: MLOAD
000022a8: DUP1
000022a9: DUP4
000022aa: SUB
000022ab: DUP2
000022ac: DUP7
000022ad: DUP1
000022ae: EXTCODESIZE
000022af: ISZERO
000022b0: DUP1
000022b1: ISZERO
000022b2: PUSH2 0x22ba
000022b5: JUMPI
000022b6: PUSH1 0x00
000022b8: DUP1
000022b9: REVERT
000022ba: JUMPDEST
000022bb: POP
000022bc: GAS
000022bd: STATICCALL
000022be: ISZERO
000022bf: DUP1
000022c0: ISZERO
000022c1: PUSH2 0x22ce
000022c4: JUMPI
000022c5: RETURNDATASIZE
000022c6: PUSH1 0x00
000022c8: DUP1
000022c9: RETURNDATACOPY
000022ca: RETURNDATASIZE
000022cb: PUSH1 0x00
000022cd: REVERT
000022ce: JUMPDEST
000022cf: POP
000022d0: POP
000022d1: POP
000022d2: POP
000022d3: PUSH1 0x40
000022d5: MLOAD
000022d6: RETURNDATASIZE
000022d7: PUSH1 0x60
000022d9: DUP2
000022da: LT
000022db: ISZERO
000022dc: PUSH2 0x22e4
000022df: JUMPI
000022e0: PUSH1 0x00
000022e2: DUP1
000022e3: REVERT
000022e4: JUMPDEST
000022e5: POP
000022e6: DUP1
000022e7: MLOAD
000022e8: PUSH1 0x20
000022ea: SWAP2
000022eb: DUP3
000022ec: ADD
000022ed: MLOAD
000022ee: PUSH1 0x40
000022f0: DUP1
000022f1: MLOAD
000022f2: PUSH4 0x0dfe1681
000022f7: PUSH1 0xe0
000022f9: SHL
000022fa: DUP2
000022fb: MSTORE
000022fc: SWAP1
000022fd: MLOAD
000022fe: SWAP3
000022ff: SWAP6
00002300: POP
00002301: SWAP1
00002302: SWAP4
00002303: POP
00002304: PUSH1 0x00
00002306: SWAP3
00002307: DUP4
00002308: SWAP3
00002309: PUSH20 0xb4e16d0168e52d35cacd2c6185b44281ec28c9dc
0000231e: SWAP3
0000231f: PUSH4 0x0dfe1681
00002324: SWAP3
00002325: PUSH1 0x04
00002327: DUP1
00002328: DUP4
00002329: ADD
0000232a: SWAP4
0000232b: SWAP2
0000232c: SWAP3
0000232d: DUP3
0000232e: SWAP1
0000232f: SUB
00002330: ADD
00002331: DUP2
00002332: DUP7
00002333: DUP1
00002334: EXTCODESIZE
00002335: ISZERO
00002336: DUP1
00002337: ISZERO
00002338: PUSH2 0x2340
0000233b: JUMPI
0000233c: PUSH1 0x00
0000233e: DUP1
0000233f: REVERT
00002340: JUMPDEST
00002341: POP
00002342: GAS
00002343: STATICCALL
00002344: ISZERO
00002345: DUP1
00002346: ISZERO
00002347: PUSH2 0x2354
0000234a: JUMPI
0000234b: RETURNDATASIZE
0000234c: PUSH1 0x00
0000234e: DUP1
0000234f: RETURNDATACOPY
00002350: RETURNDATASIZE
00002351: PUSH1 0x00
00002353: REVERT
00002354: JUMPDEST
00002355: POP
00002356: POP
00002357: POP
00002358: POP
00002359: PUSH1 0x40
0000235b: MLOAD
0000235c: RETURNDATASIZE
0000235d: PUSH1 0x20
0000235f: DUP2
00002360: LT
00002361: ISZERO
00002362: PUSH2 0x236a
00002365: JUMPI
00002366: PUSH1 0x00
00002368: DUP1
00002369: REVERT
0000236a: JUMPDEST
0000236b: POP
0000236c: MLOAD
0000236d: PUSH1 0x01
0000236f: PUSH1 0x01
00002371: PUSH1 0xa0
00002373: SHL
00002374: SUB
00002375: AND
00002376: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000238b: EQ
0000238c: ISZERO
0000238d: PUSH2 0x23ac
00002390: JUMPI
00002391: POP
00002392: POP
00002393: PUSH14 0xffffffffffffffffffffffffffff
000023a2: DUP2
000023a3: DUP2
000023a4: AND
000023a5: SWAP1
000023a6: DUP4
000023a7: AND
000023a8: PUSH2 0x23c4
000023ab: JUMP
000023ac: JUMPDEST
000023ad: POP
000023ae: POP
000023af: PUSH14 0xffffffffffffffffffffffffffff
000023be: DUP1
000023bf: DUP4
000023c0: AND
000023c1: SWAP1
000023c2: DUP3
000023c3: AND
000023c4: JUMPDEST
000023c5: PUSH2 0x23de
000023c8: DUP2
000023c9: PUSH2 0x0af9
000023cc: PUSH3 0x0186a0
000023d0: PUSH2 0x100b
000023d3: DUP7
000023d4: PUSH5 0xe8d4a51000
000023da: PUSH2 0x202d
000023dd: JUMP
000023de: JUMPDEST
000023df: SWAP5
000023e0: POP
000023e1: POP
000023e2: POP
000023e3: POP
000023e4: POP
000023e5: SWAP1
000023e6: JUMP
000023e7: JUMPDEST
000023e8: PUSH1 0x00
000023ea: DUP1
000023eb: PUSH1 0x00
000023ed: PUSH1 0x01
000023ef: PUSH1 0x00
000023f1: SWAP1
000023f2: SLOAD
000023f3: SWAP1
000023f4: PUSH2 0x0100
000023f7: EXP
000023f8: SWAP1
000023f9: DIV
000023fa: PUSH1 0x01
000023fc: PUSH1 0x01
000023fe: PUSH1 0xa0
00002400: SHL
00002401: SUB
00002402: AND
00002403: PUSH1 0x01
00002405: PUSH1 0x01
00002407: PUSH1 0xa0
00002409: SHL
0000240a: SUB
0000240b: AND
0000240c: PUSH4 0x0902f1ac
00002411: PUSH1 0x40
00002413: MLOAD
00002414: DUP2
00002415: PUSH4 0xffffffff
0000241a: AND
0000241b: PUSH1 0xe0
0000241d: SHL
0000241e: DUP2
0000241f: MSTORE
00002420: PUSH1 0x04
00002422: ADD
00002423: PUSH1 0x60
00002425: PUSH1 0x40
00002427: MLOAD
00002428: DUP1
00002429: DUP4
0000242a: SUB
0000242b: DUP2
0000242c: DUP7
0000242d: DUP1
0000242e: EXTCODESIZE
0000242f: ISZERO
00002430: DUP1
00002431: ISZERO
00002432: PUSH2 0x243a
00002435: JUMPI
00002436: PUSH1 0x00
00002438: DUP1
00002439: REVERT
0000243a: JUMPDEST
0000243b: POP
0000243c: GAS
0000243d: STATICCALL
0000243e: ISZERO
0000243f: DUP1
00002440: ISZERO
00002441: PUSH2 0x244e
00002444: JUMPI
00002445: RETURNDATASIZE
00002446: PUSH1 0x00
00002448: DUP1
00002449: RETURNDATACOPY
0000244a: RETURNDATASIZE
0000244b: PUSH1 0x00
0000244d: REVERT
0000244e: JUMPDEST
0000244f: POP
00002450: POP
00002451: POP
00002452: POP
00002453: PUSH1 0x40
00002455: MLOAD
00002456: RETURNDATASIZE
00002457: PUSH1 0x60
00002459: DUP2
0000245a: LT
0000245b: ISZERO
0000245c: PUSH2 0x2464
0000245f: JUMPI
00002460: PUSH1 0x00
00002462: DUP1
00002463: REVERT
00002464: JUMPDEST
00002465: POP
00002466: DUP1
00002467: MLOAD
00002468: PUSH1 0x20
0000246a: SWAP2
0000246b: DUP3
0000246c: ADD
0000246d: MLOAD
0000246e: PUSH1 0x01
00002470: SLOAD
00002471: PUSH1 0x40
00002473: DUP1
00002474: MLOAD
00002475: PUSH4 0x0dfe1681
0000247a: PUSH1 0xe0
0000247c: SHL
0000247d: DUP2
0000247e: MSTORE
0000247f: SWAP1
00002480: MLOAD
00002481: SWAP4
00002482: SWAP7
00002483: POP
00002484: SWAP2
00002485: SWAP5
00002486: POP
00002487: PUSH1 0x00
00002489: SWAP4
0000248a: DUP5
0000248b: SWAP4
0000248c: PUSH1 0x01
0000248e: PUSH1 0x01
00002490: PUSH1 0xa0
00002492: SHL
00002493: SUB
00002494: SWAP1
00002495: SWAP3
00002496: AND
00002497: SWAP3
00002498: PUSH4 0x0dfe1681
0000249d: SWAP3
0000249e: PUSH1 0x04
000024a0: DUP1
000024a1: DUP4
000024a2: ADD
000024a3: SWAP4
000024a4: SWAP3
000024a5: DUP3
000024a6: SWAP1
000024a7: SUB
000024a8: ADD
000024a9: DUP2
000024aa: DUP7
000024ab: DUP1
000024ac: EXTCODESIZE
000024ad: ISZERO
000024ae: DUP1
000024af: ISZERO
000024b0: PUSH2 0x24b8
000024b3: JUMPI
000024b4: PUSH1 0x00
000024b6: DUP1
000024b7: REVERT
000024b8: JUMPDEST
000024b9: POP
000024ba: GAS
000024bb: STATICCALL
000024bc: ISZERO
000024bd: DUP1
000024be: ISZERO
000024bf: PUSH2 0x24cc
000024c2: JUMPI
000024c3: RETURNDATASIZE
000024c4: PUSH1 0x00
000024c6: DUP1
000024c7: RETURNDATACOPY
000024c8: RETURNDATASIZE
000024c9: PUSH1 0x00
000024cb: REVERT
000024cc: JUMPDEST
000024cd: POP
000024ce: POP
000024cf: POP
000024d0: POP
000024d1: PUSH1 0x40
000024d3: MLOAD
000024d4: RETURNDATASIZE
000024d5: PUSH1 0x20
000024d7: DUP2
000024d8: LT
000024d9: ISZERO
000024da: PUSH2 0x24e2
000024dd: JUMPI
000024de: PUSH1 0x00
000024e0: DUP1
000024e1: REVERT
000024e2: JUMPDEST
000024e3: POP
000024e4: MLOAD
000024e5: PUSH1 0x01
000024e7: PUSH1 0x01
000024e9: PUSH1 0xa0
000024eb: SHL
000024ec: SUB
000024ed: AND
000024ee: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00002503: EQ
00002504: ISZERO
00002505: PUSH2 0x2524
00002508: JUMPI
00002509: POP
0000250a: POP
0000250b: PUSH14 0xffffffffffffffffffffffffffff
0000251a: DUP1
0000251b: DUP4
0000251c: AND
0000251d: SWAP1
0000251e: DUP3
0000251f: AND
00002520: PUSH2 0x253c
00002523: JUMP
00002524: JUMPDEST
00002525: POP
00002526: POP
00002527: PUSH14 0xffffffffffffffffffffffffffff
00002536: DUP2
00002537: DUP2
00002538: AND
00002539: SWAP1
0000253a: DUP4
0000253b: AND
0000253c: JUMPDEST
0000253d: PUSH2 0x23de
00002540: DUP2
00002541: PUSH2 0x0af9
00002544: DUP5
00002545: PUSH3 0x0186a0
00002549: PUSH2 0x202d
0000254c: JUMP
0000254d: JUMPDEST
0000254e: PUSH1 0x08
00002550: SLOAD
00002551: PUSH1 0x00
00002553: SWAP1
00002554: DUP2
00002555: PUSH2 0x255e
00002558: SELFBALANCE
00002559: DUP6
0000255a: PUSH2 0x1f10
0000255d: JUMP
0000255e: JUMPDEST
0000255f: SWAP1
00002560: POP
00002561: PUSH1 0x07
00002563: SLOAD
00002564: NUMBER
00002565: GT
00002566: DUP1
00002567: ISZERO
00002568: PUSH2 0x2570
0000256b: JUMPI
0000256c: POP
0000256d: DUP1
0000256e: ISZERO
0000256f: ISZERO
00002570: JUMPDEST
00002571: ISZERO
00002572: PUSH2 0x25a9
00002575: JUMPI
00002576: PUSH1 0x00
00002578: PUSH2 0x2583
0000257b: PUSH1 0x07
0000257d: SLOAD
0000257e: NUMBER
0000257f: PUSH2 0x2e25
00002582: JUMP
00002583: JUMPDEST
00002584: SWAP1
00002585: POP
00002586: PUSH2 0x25a5
00002589: PUSH2 0x259e
0000258c: DUP4
0000258d: PUSH2 0x0af9
00002590: DUP5
00002591: PUSH8 0x0de0b6b3a7640000
0000259a: PUSH2 0x202d
0000259d: JUMP
0000259e: JUMPDEST
0000259f: DUP5
000025a0: SWAP1
000025a1: PUSH2 0x1e6b
000025a4: JUMP
000025a5: JUMPDEST
000025a6: SWAP3
000025a7: POP
000025a8: POP
000025a9: JUMPDEST
000025aa: PUSH2 0x25d4
000025ad: DUP6
000025ae: PUSH1 0xa0
000025b0: ADD
000025b1: MLOAD
000025b2: PUSH2 0x099f
000025b5: PUSH8 0x0de0b6b3a7640000
000025be: PUSH2 0x0af9
000025c1: DUP7
000025c2: DUP11
000025c3: PUSH1 0x80
000025c5: ADD
000025c6: MLOAD
000025c7: PUSH2 0x202d
000025ca: SWAP1
000025cb: SWAP2
000025cc: SWAP1
000025cd: PUSH4 0xffffffff
000025d2: AND
000025d3: JUMP
000025d4: JUMPDEST
000025d5: SWAP6
000025d6: SWAP5
000025d7: POP
000025d8: POP
000025d9: POP
000025da: POP
000025db: POP
000025dc: JUMP
000025dd: JUMPDEST
000025de: PUSH1 0x06
000025e0: SLOAD
000025e1: PUSH1 0x01
000025e3: SLOAD
000025e4: PUSH1 0x40
000025e6: DUP1
000025e7: MLOAD
000025e8: PUSH4 0x70a08231
000025ed: PUSH1 0xe0
000025ef: SHL
000025f0: DUP2
000025f1: MSTORE
000025f2: ADDRESS
000025f3: PUSH1 0x04
000025f5: DUP3
000025f6: ADD
000025f7: MSTORE
000025f8: SWAP1
000025f9: MLOAD
000025fa: PUSH1 0x00
000025fc: SWAP4
000025fd: SWAP3
000025fe: DUP5
000025ff: SWAP3
00002600: PUSH1 0x01
00002602: PUSH1 0x01
00002604: PUSH1 0xa0
00002606: SHL
00002607: SUB
00002608: SWAP1
00002609: SWAP2
0000260a: AND
0000260b: SWAP2
0000260c: PUSH4 0x70a08231
00002611: SWAP2
00002612: PUSH1 0x24
00002614: DUP1
00002615: DUP3
00002616: ADD
00002617: SWAP3
00002618: PUSH1 0x20
0000261a: SWAP3
0000261b: SWAP1
0000261c: SWAP2
0000261d: SWAP1
0000261e: DUP3
0000261f: SWAP1
00002620: SUB
00002621: ADD
00002622: DUP2
00002623: DUP7
00002624: DUP1
00002625: EXTCODESIZE
00002626: ISZERO
00002627: DUP1
00002628: ISZERO
00002629: PUSH2 0x2631
0000262c: JUMPI
0000262d: PUSH1 0x00
0000262f: DUP1
00002630: REVERT
00002631: JUMPDEST
00002632: POP
00002633: GAS
00002634: STATICCALL
00002635: ISZERO
00002636: DUP1
00002637: ISZERO
00002638: PUSH2 0x2645
0000263b: JUMPI
0000263c: RETURNDATASIZE
0000263d: PUSH1 0x00
0000263f: DUP1
00002640: RETURNDATACOPY
00002641: RETURNDATASIZE
00002642: PUSH1 0x00
00002644: REVERT
00002645: JUMPDEST
00002646: POP
00002647: POP
00002648: POP
00002649: POP
0000264a: PUSH1 0x40
0000264c: MLOAD
0000264d: RETURNDATASIZE
0000264e: PUSH1 0x20
00002650: DUP2
00002651: LT
00002652: ISZERO
00002653: PUSH2 0x265b
00002656: JUMPI
00002657: PUSH1 0x00
00002659: DUP1
0000265a: REVERT
0000265b: JUMPDEST
0000265c: POP
0000265d: MLOAD
0000265e: PUSH1 0x05
00002660: SLOAD
00002661: SWAP1
00002662: SWAP2
00002663: POP
00002664: NUMBER
00002665: GT
00002666: DUP1
00002667: ISZERO
00002668: PUSH2 0x2670
0000266b: JUMPI
0000266c: POP
0000266d: DUP1
0000266e: ISZERO
0000266f: ISZERO
00002670: JUMPDEST
00002671: ISZERO
00002672: PUSH2 0x26a2
00002675: JUMPI
00002676: PUSH1 0x00
00002678: PUSH2 0x2683
0000267b: PUSH1 0x05
0000267d: SLOAD
0000267e: NUMBER
0000267f: PUSH2 0x2fe2
00002682: JUMP
00002683: JUMPDEST
00002684: SWAP1
00002685: POP
00002686: PUSH2 0x269e
00002689: PUSH2 0x259e
0000268c: DUP4
0000268d: PUSH2 0x0af9
00002690: DUP5
00002691: PUSH8 0x0de0b6b3a7640000
0000269a: PUSH2 0x202d
0000269d: JUMP
0000269e: JUMPDEST
0000269f: SWAP3
000026a0: POP
000026a1: POP
000026a2: JUMPDEST
000026a3: PUSH2 0x26cd
000026a6: DUP5
000026a7: PUSH1 0x20
000026a9: ADD
000026aa: MLOAD
000026ab: PUSH2 0x099f
000026ae: PUSH8 0x0de0b6b3a7640000
000026b7: PUSH2 0x0af9
000026ba: DUP7
000026bb: DUP10
000026bc: PUSH1 0x00
000026be: ADD
000026bf: MLOAD
000026c0: PUSH2 0x202d
000026c3: SWAP1
000026c4: SWAP2
000026c5: SWAP1
000026c6: PUSH4 0xffffffff
000026cb: AND
000026cc: JUMP
000026cd: JUMPDEST
000026ce: SWAP5
000026cf: SWAP4
000026d0: POP
000026d1: POP
000026d2: POP
000026d3: POP
000026d4: JUMP
000026d5: JUMPDEST
000026d6: PUSH1 0x00
000026d8: DUP2
000026d9: DUP4
000026da: PUSH2 0x2761
000026dd: JUMPI
000026de: PUSH1 0x40
000026e0: MLOAD
000026e1: PUSH3 0x461bcd
000026e5: PUSH1 0xe5
000026e7: SHL
000026e8: DUP2
000026e9: MSTORE
000026ea: PUSH1 0x04
000026ec: ADD
000026ed: DUP1
000026ee: DUP1
000026ef: PUSH1 0x20
000026f1: ADD
000026f2: DUP3
000026f3: DUP2
000026f4: SUB
000026f5: DUP3
000026f6: MSTORE
000026f7: DUP4
000026f8: DUP2
000026f9: DUP2
000026fa: MLOAD
000026fb: DUP2
000026fc: MSTORE
000026fd: PUSH1 0x20
000026ff: ADD
00002700: SWAP2
00002701: POP
00002702: DUP1
00002703: MLOAD
00002704: SWAP1
00002705: PUSH1 0x20
00002707: ADD
00002708: SWAP1
00002709: DUP1
0000270a: DUP4
0000270b: DUP4
0000270c: PUSH1 0x00
0000270e: JUMPDEST
0000270f: DUP4
00002710: DUP2
00002711: LT
00002712: ISZERO
00002713: PUSH2 0x2726
00002716: JUMPI
00002717: DUP2
00002718: DUP2
00002719: ADD
0000271a: MLOAD
0000271b: DUP4
0000271c: DUP3
0000271d: ADD
0000271e: MSTORE
0000271f: PUSH1 0x20
00002721: ADD
00002722: PUSH2 0x270e
00002725: JUMP
00002726: JUMPDEST
00002727: POP
00002728: POP
00002729: POP
0000272a: POP
0000272b: SWAP1
0000272c: POP
0000272d: SWAP1
0000272e: DUP2
0000272f: ADD
00002730: SWAP1
00002731: PUSH1 0x1f
00002733: AND
00002734: DUP1
00002735: ISZERO
00002736: PUSH2 0x2753
00002739: JUMPI
0000273a: DUP1
0000273b: DUP3
0000273c: SUB
0000273d: DUP1
0000273e: MLOAD
0000273f: PUSH1 0x01
00002741: DUP4
00002742: PUSH1 0x20
00002744: SUB
00002745: PUSH2 0x0100
00002748: EXP
00002749: SUB
0000274a: NOT
0000274b: AND
0000274c: DUP2
0000274d: MSTORE
0000274e: PUSH1 0x20
00002750: ADD
00002751: SWAP2
00002752: POP
00002753: JUMPDEST
00002754: POP
00002755: SWAP3
00002756: POP
00002757: POP
00002758: POP
00002759: PUSH1 0x40
0000275b: MLOAD
0000275c: DUP1
0000275d: SWAP2
0000275e: SUB
0000275f: SWAP1
00002760: REVERT
00002761: JUMPDEST
00002762: POP
00002763: PUSH1 0x00
00002765: DUP4
00002766: DUP6
00002767: DUP2
00002768: PUSH2 0x276d
0000276b: JUMPI
0000276c: INVALID
0000276d: JUMPDEST
0000276e: DIV
0000276f: SWAP6
00002770: SWAP5
00002771: POP
00002772: POP
00002773: POP
00002774: POP
00002775: POP
00002776: JUMP
00002777: JUMPDEST
00002778: PUSH1 0x00
0000277a: DUP2
0000277b: DUP5
0000277c: DUP5
0000277d: GT
0000277e: ISZERO
0000277f: PUSH2 0x27c9
00002782: JUMPI
00002783: PUSH1 0x40
00002785: MLOAD
00002786: PUSH3 0x461bcd
0000278a: PUSH1 0xe5
0000278c: SHL
0000278d: DUP2
0000278e: MSTORE
0000278f: PUSH1 0x20
00002791: PUSH1 0x04
00002793: DUP3
00002794: ADD
00002795: DUP2
00002796: DUP2
00002797: MSTORE
00002798: DUP4
00002799: MLOAD
0000279a: PUSH1 0x24
0000279c: DUP5
0000279d: ADD
0000279e: MSTORE
0000279f: DUP4
000027a0: MLOAD
000027a1: SWAP1
000027a2: SWAP3
000027a3: DUP4
000027a4: SWAP3
000027a5: PUSH1 0x44
000027a7: SWAP1
000027a8: SWAP2
000027a9: ADD
000027aa: SWAP2
000027ab: SWAP1
000027ac: DUP6
000027ad: ADD
000027ae: SWAP1
000027af: DUP1
000027b0: DUP4
000027b1: DUP4
000027b2: PUSH1 0x00
000027b4: DUP4
000027b5: ISZERO
000027b6: PUSH2 0x2726
000027b9: JUMPI
000027ba: DUP2
000027bb: DUP2
000027bc: ADD
000027bd: MLOAD
000027be: DUP4
000027bf: DUP3
000027c0: ADD
000027c1: MSTORE
000027c2: PUSH1 0x20
000027c4: ADD
000027c5: PUSH2 0x270e
000027c8: JUMP
000027c9: JUMPDEST
000027ca: POP
000027cb: POP
000027cc: POP
000027cd: SWAP1
000027ce: SUB
000027cf: SWAP1
000027d0: JUMP
000027d1: JUMPDEST
000027d2: PUSH1 0x00
000027d4: PUSH2 0x27dd
000027d7: SELFBALANCE
000027d8: DUP4
000027d9: PUSH2 0x1f10
000027dc: JUMP
000027dd: JUMPDEST
000027de: SWAP1
000027df: POP
000027e0: PUSH1 0x07
000027e2: SLOAD
000027e3: PUSH1 0x00
000027e5: EQ
000027e6: DUP1
000027e7: PUSH2 0x27ee
000027ea: JUMPI
000027eb: POP
000027ec: DUP1
000027ed: ISZERO
000027ee: JUMPDEST
000027ef: ISZERO
000027f0: PUSH2 0x27fd
000027f3: JUMPI
000027f4: POP
000027f5: NUMBER
000027f6: PUSH1 0x07
000027f8: SSTORE
000027f9: PUSH2 0x29dd
000027fc: JUMP
000027fd: JUMPDEST
000027fe: PUSH1 0x00
00002800: PUSH2 0x280b
00002803: PUSH1 0x07
00002805: SLOAD
00002806: NUMBER
00002807: PUSH2 0x2e25
0000280a: JUMP
0000280b: JUMPDEST
0000280c: PUSH1 0x00
0000280e: DUP1
0000280f: SLOAD
00002810: PUSH1 0x40
00002812: DUP1
00002813: MLOAD
00002814: PUSH4 0x40c10f19
00002819: PUSH1 0xe0
0000281b: SHL
0000281c: DUP2
0000281d: MSTORE
0000281e: ADDRESS
0000281f: PUSH1 0x04
00002821: DUP3
00002822: ADD
00002823: MSTORE
00002824: PUSH1 0x24
00002826: DUP2
00002827: ADD
00002828: DUP6
00002829: SWAP1
0000282a: MSTORE
0000282b: SWAP1
0000282c: MLOAD
0000282d: SWAP4
0000282e: SWAP5
0000282f: POP
00002830: PUSH1 0x01
00002832: PUSH1 0x01
00002834: PUSH1 0xa0
00002836: SHL
00002837: SUB
00002838: SWAP1
00002839: SWAP2
0000283a: AND
0000283b: SWAP3
0000283c: PUSH4 0x40c10f19
00002841: SWAP3
00002842: PUSH1 0x44
00002844: DUP1
00002845: DUP5
00002846: ADD
00002847: SWAP4
00002848: SWAP2
00002849: SWAP3
0000284a: SWAP2
0000284b: DUP3
0000284c: SWAP1
0000284d: SUB
0000284e: ADD
0000284f: DUP2
00002850: DUP4
00002851: DUP8
00002852: DUP1
00002853: EXTCODESIZE
00002854: ISZERO
00002855: DUP1
00002856: ISZERO
00002857: PUSH2 0x285f
0000285a: JUMPI
0000285b: PUSH1 0x00
0000285d: DUP1
0000285e: REVERT
0000285f: JUMPDEST
00002860: POP
00002861: GAS
00002862: CALL
00002863: ISZERO
00002864: DUP1
00002865: ISZERO
00002866: PUSH2 0x2873
00002869: JUMPI
0000286a: RETURNDATASIZE
0000286b: PUSH1 0x00
0000286d: DUP1
0000286e: RETURNDATACOPY
0000286f: RETURNDATASIZE
00002870: PUSH1 0x00
00002872: REVERT
00002873: JUMPDEST
00002874: POP
00002875: POP
00002876: PUSH1 0x00
00002878: SLOAD
00002879: PUSH1 0x09
0000287b: SLOAD
0000287c: PUSH1 0x01
0000287e: PUSH1 0x01
00002880: PUSH1 0xa0
00002882: SHL
00002883: SUB
00002884: SWAP2
00002885: DUP3
00002886: AND
00002887: SWAP4
00002888: POP
00002889: PUSH4 0x40c10f19
0000288e: SWAP3
0000288f: POP
00002890: AND
00002891: PUSH2 0x28a4
00002894: PUSH3 0x989680
00002898: PUSH2 0x0af9
0000289b: DUP7
0000289c: PUSH3 0x07a120
000028a0: PUSH2 0x202d
000028a3: JUMP
000028a4: JUMPDEST
000028a5: PUSH1 0x40
000028a7: MLOAD
000028a8: DUP4
000028a9: PUSH4 0xffffffff
000028ae: AND
000028af: PUSH1 0xe0
000028b1: SHL
000028b2: DUP2
000028b3: MSTORE
000028b4: PUSH1 0x04
000028b6: ADD
000028b7: DUP1
000028b8: DUP4
000028b9: PUSH1 0x01
000028bb: PUSH1 0x01
000028bd: PUSH1 0xa0
000028bf: SHL
000028c0: SUB
000028c1: AND
000028c2: DUP2
000028c3: MSTORE
000028c4: PUSH1 0x20
000028c6: ADD
000028c7: DUP3
000028c8: DUP2
000028c9: MSTORE
000028ca: PUSH1 0x20
000028cc: ADD
000028cd: SWAP3
000028ce: POP
000028cf: POP
000028d0: POP
000028d1: PUSH1 0x00
000028d3: PUSH1 0x40
000028d5: MLOAD
000028d6: DUP1
000028d7: DUP4
000028d8: SUB
000028d9: DUP2
000028da: PUSH1 0x00
000028dc: DUP8
000028dd: DUP1
000028de: EXTCODESIZE
000028df: ISZERO
000028e0: DUP1
000028e1: ISZERO
000028e2: PUSH2 0x28ea
000028e5: JUMPI
000028e6: PUSH1 0x00
000028e8: DUP1
000028e9: REVERT
000028ea: JUMPDEST
000028eb: POP
000028ec: GAS
000028ed: CALL
000028ee: ISZERO
000028ef: DUP1
000028f0: ISZERO
000028f1: PUSH2 0x28fe
000028f4: JUMPI
000028f5: RETURNDATASIZE
000028f6: PUSH1 0x00
000028f8: DUP1
000028f9: RETURNDATACOPY
000028fa: RETURNDATASIZE
000028fb: PUSH1 0x00
000028fd: REVERT
000028fe: JUMPDEST
000028ff: POP
00002900: POP
00002901: PUSH1 0x00
00002903: SLOAD
00002904: PUSH1 0x01
00002906: PUSH1 0x01
00002908: PUSH1 0xa0
0000290a: SHL
0000290b: SUB
0000290c: AND
0000290d: SWAP2
0000290e: POP
0000290f: PUSH4 0x40c10f19
00002914: SWAP1
00002915: POP
00002916: PUSH32 0x000000000000000000000000d39a38bd2d2d552f3908ff698a5530aa397fb92d
00002937: PUSH2 0x294a
0000293a: PUSH3 0x989680
0000293e: PUSH2 0x0af9
00002941: DUP7
00002942: PUSH3 0x07a120
00002946: PUSH2 0x202d
00002949: JUMP
0000294a: JUMPDEST
0000294b: PUSH1 0x40
0000294d: MLOAD
0000294e: DUP4
0000294f: PUSH4 0xffffffff
00002954: AND
00002955: PUSH1 0xe0
00002957: SHL
00002958: DUP2
00002959: MSTORE
0000295a: PUSH1 0x04
0000295c: ADD
0000295d: DUP1
0000295e: DUP4
0000295f: PUSH1 0x01
00002961: PUSH1 0x01
00002963: PUSH1 0xa0
00002965: SHL
00002966: SUB
00002967: AND
00002968: DUP2
00002969: MSTORE
0000296a: PUSH1 0x20
0000296c: ADD
0000296d: DUP3
0000296e: DUP2
0000296f: MSTORE
00002970: PUSH1 0x20
00002972: ADD
00002973: SWAP3
00002974: POP
00002975: POP
00002976: POP
00002977: PUSH1 0x00
00002979: PUSH1 0x40
0000297b: MLOAD
0000297c: DUP1
0000297d: DUP4
0000297e: SUB
0000297f: DUP2
00002980: PUSH1 0x00
00002982: DUP8
00002983: DUP1
00002984: EXTCODESIZE
00002985: ISZERO
00002986: DUP1
00002987: ISZERO
00002988: PUSH2 0x2990
0000298b: JUMPI
0000298c: PUSH1 0x00
0000298e: DUP1
0000298f: REVERT
00002990: JUMPDEST
00002991: POP
00002992: GAS
00002993: CALL
00002994: ISZERO
00002995: DUP1
00002996: ISZERO
00002997: PUSH2 0x29a4
0000299a: JUMPI
0000299b: RETURNDATASIZE
0000299c: PUSH1 0x00
0000299e: DUP1
0000299f: RETURNDATACOPY
000029a0: RETURNDATASIZE
000029a1: PUSH1 0x00
000029a3: REVERT
000029a4: JUMPDEST
000029a5: POP
000029a6: POP
000029a7: POP
000029a8: POP
000029a9: PUSH2 0x29d3
000029ac: PUSH2 0x29ca
000029af: DUP4
000029b0: PUSH2 0x0af9
000029b3: PUSH8 0x0de0b6b3a7640000
000029bc: DUP6
000029bd: PUSH2 0x202d
000029c0: SWAP1
000029c1: SWAP2
000029c2: SWAP1
000029c3: PUSH4 0xffffffff
000029c8: AND
000029c9: JUMP
000029ca: JUMPDEST
000029cb: PUSH1 0x08
000029cd: SLOAD
000029ce: SWAP1
000029cf: PUSH2 0x1e6b
000029d2: JUMP
000029d3: JUMPDEST
000029d4: PUSH1 0x08
000029d6: SSTORE
000029d7: POP
000029d8: POP
000029d9: NUMBER
000029da: PUSH1 0x07
000029dc: SSTORE
000029dd: JUMPDEST
000029de: POP
000029df: JUMP
000029e0: JUMPDEST
000029e1: PUSH1 0x00
000029e3: DUP1
000029e4: SLOAD
000029e5: PUSH1 0x40
000029e7: DUP1
000029e8: MLOAD
000029e9: PUSH4 0x70a08231
000029ee: PUSH1 0xe0
000029f0: SHL
000029f1: DUP2
000029f2: MSTORE
000029f3: ADDRESS
000029f4: PUSH1 0x04
000029f6: DUP3
000029f7: ADD
000029f8: MSTORE
000029f9: SWAP1
000029fa: MLOAD
000029fb: PUSH1 0x01
000029fd: PUSH1 0x01
000029ff: PUSH1 0xa0
00002a01: SHL
00002a02: SUB
00002a03: SWAP1
00002a04: SWAP3
00002a05: AND
00002a06: SWAP2
00002a07: PUSH4 0x70a08231
00002a0c: SWAP2
00002a0d: PUSH1 0x24
00002a0f: DUP1
00002a10: DUP3
00002a11: ADD
00002a12: SWAP3
00002a13: PUSH1 0x20
00002a15: SWAP3
00002a16: SWAP1
00002a17: SWAP2
00002a18: SWAP1
00002a19: DUP3
00002a1a: SWAP1
00002a1b: SUB
00002a1c: ADD
00002a1d: DUP2
00002a1e: DUP7
00002a1f: DUP1
00002a20: EXTCODESIZE
00002a21: ISZERO
00002a22: DUP1
00002a23: ISZERO
00002a24: PUSH2 0x2a2c
00002a27: JUMPI
00002a28: PUSH1 0x00
00002a2a: DUP1
00002a2b: REVERT
00002a2c: JUMPDEST
00002a2d: POP
00002a2e: GAS
00002a2f: STATICCALL
00002a30: ISZERO
00002a31: DUP1
00002a32: ISZERO
00002a33: PUSH2 0x2a40
00002a36: JUMPI
00002a37: RETURNDATASIZE
00002a38: PUSH1 0x00
00002a3a: DUP1
00002a3b: RETURNDATACOPY
00002a3c: RETURNDATASIZE
00002a3d: PUSH1 0x00
00002a3f: REVERT
00002a40: JUMPDEST
00002a41: POP
00002a42: POP
00002a43: POP
00002a44: POP
00002a45: PUSH1 0x40
00002a47: MLOAD
00002a48: RETURNDATASIZE
00002a49: PUSH1 0x20
00002a4b: DUP2
00002a4c: LT
00002a4d: ISZERO
00002a4e: PUSH2 0x2a56
00002a51: JUMPI
00002a52: PUSH1 0x00
00002a54: DUP1
00002a55: REVERT
00002a56: JUMPDEST
00002a57: POP
00002a58: MLOAD
00002a59: SWAP1
00002a5a: POP
00002a5b: DUP1
00002a5c: DUP3
00002a5d: GT
00002a5e: ISZERO
00002a5f: PUSH2 0x2aed
00002a62: JUMPI
00002a63: PUSH1 0x00
00002a65: DUP1
00002a66: SLOAD
00002a67: PUSH1 0x40
00002a69: DUP1
00002a6a: MLOAD
00002a6b: PUSH4 0xa9059cbb
00002a70: PUSH1 0xe0
00002a72: SHL
00002a73: DUP2
00002a74: MSTORE
00002a75: PUSH1 0x01
00002a77: PUSH1 0x01
00002a79: PUSH1 0xa0
00002a7b: SHL
00002a7c: SUB
00002a7d: DUP8
00002a7e: DUP2
00002a7f: AND
00002a80: PUSH1 0x04
00002a82: DUP4
00002a83: ADD
00002a84: MSTORE
00002a85: PUSH1 0x24
00002a87: DUP3
00002a88: ADD
00002a89: DUP7
00002a8a: SWAP1
00002a8b: MSTORE
00002a8c: SWAP2
00002a8d: MLOAD
00002a8e: SWAP2
00002a8f: SWAP1
00002a90: SWAP3
00002a91: AND
00002a92: SWAP3
00002a93: PUSH4 0xa9059cbb
00002a98: SWAP3
00002a99: PUSH1 0x44
00002a9b: DUP1
00002a9c: DUP3
00002a9d: ADD
00002a9e: SWAP4
00002a9f: PUSH1 0x20
00002aa1: SWAP4
00002aa2: SWAP1
00002aa3: SWAP3
00002aa4: DUP4
00002aa5: SWAP1
00002aa6: SUB
00002aa7: SWAP1
00002aa8: SWAP2
00002aa9: ADD
00002aaa: SWAP1
00002aab: DUP3
00002aac: SWAP1
00002aad: DUP8
00002aae: DUP1
00002aaf: EXTCODESIZE
00002ab0: ISZERO
00002ab1: DUP1
00002ab2: ISZERO
00002ab3: PUSH2 0x2abb
00002ab6: JUMPI
00002ab7: PUSH1 0x00
00002ab9: DUP1
00002aba: REVERT
00002abb: JUMPDEST
00002abc: POP
00002abd: GAS
00002abe: CALL
00002abf: ISZERO
00002ac0: DUP1
00002ac1: ISZERO
00002ac2: PUSH2 0x2acf
00002ac5: JUMPI
00002ac6: RETURNDATASIZE
00002ac7: PUSH1 0x00
00002ac9: DUP1
00002aca: RETURNDATACOPY
00002acb: RETURNDATASIZE
00002acc: PUSH1 0x00
00002ace: REVERT
00002acf: JUMPDEST
00002ad0: POP
00002ad1: POP
00002ad2: POP
00002ad3: POP
00002ad4: PUSH1 0x40
00002ad6: MLOAD
00002ad7: RETURNDATASIZE
00002ad8: PUSH1 0x20
00002ada: DUP2
00002adb: LT
00002adc: ISZERO
00002add: PUSH2 0x2ae5
00002ae0: JUMPI
00002ae1: PUSH1 0x00
00002ae3: DUP1
00002ae4: REVERT
00002ae5: JUMPDEST
00002ae6: POP
00002ae7: PUSH2 0x127d
00002aea: SWAP1
00002aeb: POP
00002aec: JUMP
00002aed: JUMPDEST
00002aee: PUSH1 0x00
00002af0: DUP1
00002af1: SLOAD
00002af2: PUSH1 0x40
00002af4: DUP1
00002af5: MLOAD
00002af6: PUSH4 0xa9059cbb
00002afb: PUSH1 0xe0
00002afd: SHL
00002afe: DUP2
00002aff: MSTORE
00002b00: PUSH1 0x01
00002b02: PUSH1 0x01
00002b04: PUSH1 0xa0
00002b06: SHL
00002b07: SUB
00002b08: DUP8
00002b09: DUP2
00002b0a: AND
00002b0b: PUSH1 0x04
00002b0d: DUP4
00002b0e: ADD
00002b0f: MSTORE
00002b10: PUSH1 0x24
00002b12: DUP3
00002b13: ADD
00002b14: DUP8
00002b15: SWAP1
00002b16: MSTORE
00002b17: SWAP2
00002b18: MLOAD
00002b19: SWAP2
00002b1a: SWAP1
00002b1b: SWAP3
00002b1c: AND
00002b1d: SWAP3
00002b1e: PUSH4 0xa9059cbb
00002b23: SWAP3
00002b24: PUSH1 0x44
00002b26: DUP1
00002b27: DUP3
00002b28: ADD
00002b29: SWAP4
00002b2a: PUSH1 0x20
00002b2c: SWAP4
00002b2d: SWAP1
00002b2e: SWAP3
00002b2f: DUP4
00002b30: SWAP1
00002b31: SUB
00002b32: SWAP1
00002b33: SWAP2
00002b34: ADD
00002b35: SWAP1
00002b36: DUP3
00002b37: SWAP1
00002b38: DUP8
00002b39: DUP1
00002b3a: EXTCODESIZE
00002b3b: ISZERO
00002b3c: DUP1
00002b3d: ISZERO
00002b3e: PUSH2 0x2b46
00002b41: JUMPI
00002b42: PUSH1 0x00
00002b44: DUP1
00002b45: REVERT
00002b46: JUMPDEST
00002b47: POP
00002b48: GAS
00002b49: CALL
00002b4a: ISZERO
00002b4b: DUP1
00002b4c: ISZERO
00002b4d: PUSH2 0x2b5a
00002b50: JUMPI
00002b51: RETURNDATASIZE
00002b52: PUSH1 0x00
00002b54: DUP1
00002b55: RETURNDATACOPY
00002b56: RETURNDATASIZE
00002b57: PUSH1 0x00
00002b59: REVERT
00002b5a: JUMPDEST
00002b5b: POP
00002b5c: POP
00002b5d: POP
00002b5e: POP
00002b5f: PUSH1 0x40
00002b61: MLOAD
00002b62: RETURNDATASIZE
00002b63: PUSH1 0x20
00002b65: DUP2
00002b66: LT
00002b67: ISZERO
00002b68: PUSH2 0x2b70
00002b6b: JUMPI
00002b6c: PUSH1 0x00
00002b6e: DUP1
00002b6f: REVERT
00002b70: JUMPDEST
00002b71: POP
00002b72: POP
00002b73: POP
00002b74: POP
00002b75: POP
00002b76: JUMP
00002b77: JUMPDEST
00002b78: PUSH1 0x01
00002b7a: SLOAD
00002b7b: PUSH1 0x40
00002b7d: DUP1
00002b7e: MLOAD
00002b7f: PUSH4 0x70a08231
00002b84: PUSH1 0xe0
00002b86: SHL
00002b87: DUP2
00002b88: MSTORE
00002b89: ADDRESS
00002b8a: PUSH1 0x04
00002b8c: DUP3
00002b8d: ADD
00002b8e: MSTORE
00002b8f: SWAP1
00002b90: MLOAD
00002b91: PUSH1 0x00
00002b93: SWAP3
00002b94: PUSH1 0x01
00002b96: PUSH1 0x01
00002b98: PUSH1 0xa0
00002b9a: SHL
00002b9b: SUB
00002b9c: AND
00002b9d: SWAP2
00002b9e: PUSH4 0x70a08231
00002ba3: SWAP2
00002ba4: PUSH1 0x24
00002ba6: DUP1
00002ba7: DUP4
00002ba8: ADD
00002ba9: SWAP3
00002baa: PUSH1 0x20
00002bac: SWAP3
00002bad: SWAP2
00002bae: SWAP1
00002baf: DUP3
00002bb0: SWAP1
00002bb1: SUB
00002bb2: ADD
00002bb3: DUP2
00002bb4: DUP7
00002bb5: DUP1
00002bb6: EXTCODESIZE
00002bb7: ISZERO
00002bb8: DUP1
00002bb9: ISZERO
00002bba: PUSH2 0x2bc2
00002bbd: JUMPI
00002bbe: PUSH1 0x00
00002bc0: DUP1
00002bc1: REVERT
00002bc2: JUMPDEST
00002bc3: POP
00002bc4: GAS
00002bc5: STATICCALL
00002bc6: ISZERO
00002bc7: DUP1
00002bc8: ISZERO
00002bc9: PUSH2 0x2bd6
00002bcc: JUMPI
00002bcd: RETURNDATASIZE
00002bce: PUSH1 0x00
00002bd0: DUP1
00002bd1: RETURNDATACOPY
00002bd2: RETURNDATASIZE
00002bd3: PUSH1 0x00
00002bd5: REVERT
00002bd6: JUMPDEST
00002bd7: POP
00002bd8: POP
00002bd9: POP
00002bda: POP
00002bdb: PUSH1 0x40
00002bdd: MLOAD
00002bde: RETURNDATASIZE
00002bdf: PUSH1 0x20
00002be1: DUP2
00002be2: LT
00002be3: ISZERO
00002be4: PUSH2 0x2bec
00002be7: JUMPI
00002be8: PUSH1 0x00
00002bea: DUP1
00002beb: REVERT
00002bec: JUMPDEST
00002bed: POP
00002bee: MLOAD
00002bef: PUSH1 0x05
00002bf1: SLOAD
00002bf2: SWAP1
00002bf3: SWAP2
00002bf4: POP
00002bf5: ISZERO
00002bf6: DUP1
00002bf7: PUSH2 0x2bfe
00002bfa: JUMPI
00002bfb: POP
00002bfc: DUP1
00002bfd: ISZERO
00002bfe: JUMPDEST
00002bff: ISZERO
00002c00: PUSH2 0x2c0d
00002c03: JUMPI
00002c04: POP
00002c05: NUMBER
00002c06: PUSH1 0x05
00002c08: SSTORE
00002c09: PUSH2 0x1422
00002c0c: JUMP
00002c0d: JUMPDEST
00002c0e: PUSH1 0x00
00002c10: PUSH2 0x2c1b
00002c13: PUSH1 0x05
00002c15: SLOAD
00002c16: NUMBER
00002c17: PUSH2 0x2fe2
00002c1a: JUMP
00002c1b: JUMPDEST
00002c1c: PUSH1 0x00
00002c1e: DUP1
00002c1f: SLOAD
00002c20: PUSH1 0x40
00002c22: DUP1
00002c23: MLOAD
00002c24: PUSH4 0x40c10f19
00002c29: PUSH1 0xe0
00002c2b: SHL
00002c2c: DUP2
00002c2d: MSTORE
00002c2e: ADDRESS
00002c2f: PUSH1 0x04
00002c31: DUP3
00002c32: ADD
00002c33: MSTORE
00002c34: PUSH1 0x24
00002c36: DUP2
00002c37: ADD
00002c38: DUP6
00002c39: SWAP1
00002c3a: MSTORE
00002c3b: SWAP1
00002c3c: MLOAD
00002c3d: SWAP4
00002c3e: SWAP5
00002c3f: POP
00002c40: PUSH1 0x01
00002c42: PUSH1 0x01
00002c44: PUSH1 0xa0
00002c46: SHL
00002c47: SUB
00002c48: SWAP1
00002c49: SWAP2
00002c4a: AND
00002c4b: SWAP3
00002c4c: PUSH4 0x40c10f19
00002c51: SWAP3
00002c52: PUSH1 0x44
00002c54: DUP1
00002c55: DUP5
00002c56: ADD
00002c57: SWAP4
00002c58: SWAP2
00002c59: SWAP3
00002c5a: SWAP2
00002c5b: DUP3
00002c5c: SWAP1
00002c5d: SUB
00002c5e: ADD
00002c5f: DUP2
00002c60: DUP4
00002c61: DUP8
00002c62: DUP1
00002c63: EXTCODESIZE
00002c64: ISZERO
00002c65: DUP1
00002c66: ISZERO
00002c67: PUSH2 0x2c6f
00002c6a: JUMPI
00002c6b: PUSH1 0x00
00002c6d: DUP1
00002c6e: REVERT
00002c6f: JUMPDEST
00002c70: POP
00002c71: GAS
00002c72: CALL
00002c73: ISZERO
00002c74: DUP1
00002c75: ISZERO
00002c76: PUSH2 0x2c83
00002c79: JUMPI
00002c7a: RETURNDATASIZE
00002c7b: PUSH1 0x00
00002c7d: DUP1
00002c7e: RETURNDATACOPY
00002c7f: RETURNDATASIZE
00002c80: PUSH1 0x00
00002c82: REVERT
00002c83: JUMPDEST
00002c84: POP
00002c85: POP
00002c86: PUSH1 0x00
00002c88: SLOAD
00002c89: PUSH1 0x09
00002c8b: SLOAD
00002c8c: PUSH1 0x01
00002c8e: PUSH1 0x01
00002c90: PUSH1 0xa0
00002c92: SHL
00002c93: SUB
00002c94: SWAP2
00002c95: DUP3
00002c96: AND
00002c97: SWAP4
00002c98: POP
00002c99: PUSH4 0x40c10f19
00002c9e: SWAP3
00002c9f: POP
00002ca0: AND
00002ca1: PUSH2 0x2cb4
00002ca4: PUSH3 0x989680
00002ca8: PUSH2 0x0af9
00002cab: DUP7
00002cac: PUSH3 0x07a120
00002cb0: PUSH2 0x202d
00002cb3: JUMP
00002cb4: JUMPDEST
00002cb5: PUSH1 0x40
00002cb7: MLOAD
00002cb8: DUP4
00002cb9: PUSH4 0xffffffff
00002cbe: AND
00002cbf: PUSH1 0xe0
00002cc1: SHL
00002cc2: DUP2
00002cc3: MSTORE
00002cc4: PUSH1 0x04
00002cc6: ADD
00002cc7: DUP1
00002cc8: DUP4
00002cc9: PUSH1 0x01
00002ccb: PUSH1 0x01
00002ccd: PUSH1 0xa0
00002ccf: SHL
00002cd0: SUB
00002cd1: AND
00002cd2: DUP2
00002cd3: MSTORE
00002cd4: PUSH1 0x20
00002cd6: ADD
00002cd7: DUP3
00002cd8: DUP2
00002cd9: MSTORE
00002cda: PUSH1 0x20
00002cdc: ADD
00002cdd: SWAP3
00002cde: POP
00002cdf: POP
00002ce0: POP
00002ce1: PUSH1 0x00
00002ce3: PUSH1 0x40
00002ce5: MLOAD
00002ce6: DUP1
00002ce7: DUP4
00002ce8: SUB
00002ce9: DUP2
00002cea: PUSH1 0x00
00002cec: DUP8
00002ced: DUP1
00002cee: EXTCODESIZE
00002cef: ISZERO
00002cf0: DUP1
00002cf1: ISZERO
00002cf2: PUSH2 0x2cfa
00002cf5: JUMPI
00002cf6: PUSH1 0x00
00002cf8: DUP1
00002cf9: REVERT
00002cfa: JUMPDEST
00002cfb: POP
00002cfc: GAS
00002cfd: CALL
00002cfe: ISZERO
00002cff: DUP1
00002d00: ISZERO
00002d01: PUSH2 0x2d0e
00002d04: JUMPI
00002d05: RETURNDATASIZE
00002d06: PUSH1 0x00
00002d08: DUP1
00002d09: RETURNDATACOPY
00002d0a: RETURNDATASIZE
00002d0b: PUSH1 0x00
00002d0d: REVERT
00002d0e: JUMPDEST
00002d0f: POP
00002d10: POP
00002d11: PUSH1 0x00
00002d13: SLOAD
00002d14: PUSH1 0x01
00002d16: PUSH1 0x01
00002d18: PUSH1 0xa0
00002d1a: SHL
00002d1b: SUB
00002d1c: AND
00002d1d: SWAP2
00002d1e: POP
00002d1f: PUSH4 0x40c10f19
00002d24: SWAP1
00002d25: POP
00002d26: PUSH32 0x000000000000000000000000d39a38bd2d2d552f3908ff698a5530aa397fb92d
00002d47: PUSH2 0x2d5a
00002d4a: PUSH3 0x989680
00002d4e: PUSH2 0x0af9
00002d51: DUP7
00002d52: PUSH3 0x07a120
00002d56: PUSH2 0x202d
00002d59: JUMP
00002d5a: JUMPDEST
00002d5b: PUSH1 0x40
00002d5d: MLOAD
00002d5e: DUP4
00002d5f: PUSH4 0xffffffff
00002d64: AND
00002d65: PUSH1 0xe0
00002d67: SHL
00002d68: DUP2
00002d69: MSTORE
00002d6a: PUSH1 0x04
00002d6c: ADD
00002d6d: DUP1
00002d6e: DUP4
00002d6f: PUSH1 0x01
00002d71: PUSH1 0x01
00002d73: PUSH1 0xa0
00002d75: SHL
00002d76: SUB
00002d77: AND
00002d78: DUP2
00002d79: MSTORE
00002d7a: PUSH1 0x20
00002d7c: ADD
00002d7d: DUP3
00002d7e: DUP2
00002d7f: MSTORE
00002d80: PUSH1 0x20
00002d82: ADD
00002d83: SWAP3
00002d84: POP
00002d85: POP
00002d86: POP
00002d87: PUSH1 0x00
00002d89: PUSH1 0x40
00002d8b: MLOAD
00002d8c: DUP1
00002d8d: DUP4
00002d8e: SUB
00002d8f: DUP2
00002d90: PUSH1 0x00
00002d92: DUP8
00002d93: DUP1
00002d94: EXTCODESIZE
00002d95: ISZERO
00002d96: DUP1
00002d97: ISZERO
00002d98: PUSH2 0x2da0
00002d9b: JUMPI
00002d9c: PUSH1 0x00
00002d9e: DUP1
00002d9f: REVERT
00002da0: JUMPDEST
00002da1: POP
00002da2: GAS
00002da3: CALL
00002da4: ISZERO
00002da5: DUP1
00002da6: ISZERO
00002da7: PUSH2 0x2db4
00002daa: JUMPI
00002dab: RETURNDATASIZE
00002dac: PUSH1 0x00
00002dae: DUP1
00002daf: RETURNDATACOPY
00002db0: RETURNDATASIZE
00002db1: PUSH1 0x00
00002db3: REVERT
00002db4: JUMPDEST
00002db5: POP
00002db6: POP
00002db7: POP
00002db8: POP
00002db9: PUSH2 0x2de3
00002dbc: PUSH2 0x2dda
00002dbf: DUP4
00002dc0: PUSH2 0x0af9
00002dc3: PUSH8 0x0de0b6b3a7640000
00002dcc: DUP6
00002dcd: PUSH2 0x202d
00002dd0: SWAP1
00002dd1: SWAP2
00002dd2: SWAP1
00002dd3: PUSH4 0xffffffff
00002dd8: AND
00002dd9: JUMP
00002dda: JUMPDEST
00002ddb: PUSH1 0x06
00002ddd: SLOAD
00002dde: SWAP1
00002ddf: PUSH2 0x1e6b
00002de2: JUMP
00002de3: JUMPDEST
00002de4: PUSH1 0x06
00002de6: SSTORE
00002de7: NUMBER
00002de8: PUSH1 0x05
00002dea: SSTORE
00002deb: PUSH1 0x04
00002ded: SLOAD
00002dee: PUSH2 0x2df9
00002df1: SWAP1
00002df2: PUSH2 0xafc8
00002df5: PUSH2 0x1e6b
00002df8: JUMP
00002df9: JUMPDEST
00002dfa: NUMBER
00002dfb: LT
00002dfc: PUSH2 0x2e21
00002dff: JUMPI
00002e00: PUSH2 0x2e19
00002e03: PUSH1 0x04
00002e05: PUSH2 0x0af9
00002e08: PUSH1 0x03
00002e0a: DUP1
00002e0b: SLOAD
00002e0c: PUSH2 0x202d
00002e0f: SWAP1
00002e10: SWAP2
00002e11: SWAP1
00002e12: PUSH4 0xffffffff
00002e17: AND
00002e18: JUMP
00002e19: JUMPDEST
00002e1a: PUSH1 0x03
00002e1c: SSTORE
00002e1d: NUMBER
00002e1e: PUSH1 0x04
00002e20: SSTORE
00002e21: JUMPDEST
00002e22: POP
00002e23: POP
00002e24: JUMP
00002e25: JUMPDEST
00002e26: PUSH1 0x00
00002e28: DUP1
00002e29: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b1ea0c
00002e4a: DUP5
00002e4b: LT
00002e4c: ISZERO
00002e4d: DUP1
00002e4e: ISZERO
00002e4f: PUSH2 0x2e78
00002e52: JUMPI
00002e53: POP
00002e54: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b1ea0c
00002e75: DUP4
00002e76: LT
00002e77: ISZERO
00002e78: JUMPDEST
00002e79: ISZERO
00002e7a: PUSH2 0x2fb8
00002e7d: JUMPI
00002e7e: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b2670c
00002e9f: DUP5
00002ea0: GT
00002ea1: ISZERO
00002ea2: DUP1
00002ea3: ISZERO
00002ea4: PUSH2 0x2ecd
00002ea7: JUMPI
00002ea8: POP
00002ea9: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b2670c
00002eca: DUP4
00002ecb: GT
00002ecc: ISZERO
00002ecd: JUMPDEST
00002ece: ISZERO
00002ecf: PUSH2 0x2ee3
00002ed2: JUMPI
00002ed3: PUSH2 0x2edc
00002ed6: DUP4
00002ed7: DUP6
00002ed8: PUSH2 0x1f10
00002edb: JUMP
00002edc: JUMPDEST
00002edd: SWAP1
00002ede: POP
00002edf: PUSH2 0x2fb8
00002ee2: JUMP
00002ee3: JUMPDEST
00002ee4: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b2670c
00002f05: DUP5
00002f06: GT
00002f07: ISZERO
00002f08: DUP1
00002f09: ISZERO
00002f0a: PUSH2 0x2f32
00002f0d: JUMPI
00002f0e: POP
00002f0f: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b2670c
00002f30: DUP4
00002f31: GT
00002f32: JUMPDEST
00002f33: ISZERO
00002f34: PUSH2 0x2f61
00002f37: JUMPI
00002f38: PUSH2 0x2edc
00002f3b: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b2670c
00002f5c: DUP6
00002f5d: PUSH2 0x1f10
00002f60: JUMP
00002f61: JUMPDEST
00002f62: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b2670c
00002f83: DUP5
00002f84: GT
00002f85: DUP1
00002f86: ISZERO
00002f87: PUSH2 0x2faf
00002f8a: JUMPI
00002f8b: POP
00002f8c: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b2670c
00002fad: DUP4
00002fae: GT
00002faf: JUMPDEST
00002fb0: ISZERO
00002fb1: PUSH2 0x2fb8
00002fb4: JUMPI
00002fb5: POP
00002fb6: PUSH1 0x00
00002fb8: JUMPDEST
00002fb9: PUSH2 0x26cd
00002fbc: DUP2
00002fbd: PUSH32 0x000000000000000000000000000000000000000000000000003b363eba41aaaa
00002fde: PUSH2 0x202d
00002fe1: JUMP
00002fe2: JUMPDEST
00002fe3: PUSH1 0x00
00002fe5: DUP1
00002fe6: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b1ea0c
00003007: DUP5
00003008: LT
00003009: ISZERO
0000300a: DUP1
0000300b: ISZERO
0000300c: PUSH2 0x3035
0000300f: JUMPI
00003010: POP
00003011: PUSH32 0x0000000000000000000000000000000000000000000000000000000000b1ea0c
00003032: DUP4
00003033: LT
00003034: ISZERO
00003035: JUMPDEST
00003036: ISZERO
00003037: PUSH2 0x3047
0000303a: JUMPI
0000303b: PUSH2 0x3044
0000303e: DUP4
0000303f: DUP6
00003040: PUSH2 0x1f10
00003043: JUMP
00003044: JUMPDEST
00003045: SWAP1
00003046: POP
00003047: JUMPDEST
00003048: PUSH1 0x03
0000304a: SLOAD
0000304b: PUSH2 0x26cd
0000304e: SWAP1
0000304f: DUP3
00003050: SWAP1
00003051: PUSH2 0x202d
00003054: JUMP
00003055: JUMPDEST
00003056: PUSH1 0x40
00003058: MLOAD
00003059: DUP1
0000305a: PUSH2 0x0120
0000305d: ADD
0000305e: PUSH1 0x40
00003060: MSTORE
00003061: DUP1
00003062: PUSH1 0x00
00003064: DUP2
00003065: MSTORE
00003066: PUSH1 0x20
00003068: ADD
00003069: PUSH1 0x00
0000306b: DUP2
0000306c: MSTORE
0000306d: PUSH1 0x20
0000306f: ADD
00003070: PUSH1 0x00
00003072: PUSH1 0x01
00003074: PUSH1 0x01
00003076: PUSH1 0xa0
00003078: SHL
00003079: SUB
0000307a: AND
0000307b: DUP2
0000307c: MSTORE
0000307d: PUSH1 0x20
0000307f: ADD
00003080: PUSH1 0x00
00003082: DUP2
00003083: MSTORE
00003084: PUSH1 0x20
00003086: ADD
00003087: PUSH1 0x00
00003089: DUP2
0000308a: MSTORE
0000308b: PUSH1 0x20
0000308d: ADD
0000308e: PUSH1 0x00
00003090: DUP2
00003091: MSTORE
00003092: PUSH1 0x20
00003094: ADD
00003095: PUSH1 0x00
00003097: DUP2
00003098: MSTORE
00003099: PUSH1 0x20
0000309b: ADD
0000309c: PUSH1 0x00
0000309e: DUP2
0000309f: MSTORE
000030a0: PUSH1 0x20
000030a2: ADD
000030a3: PUSH1 0x00
000030a5: ISZERO
000030a6: ISZERO
000030a7: DUP2
000030a8: MSTORE
000030a9: POP
000030aa: SWAP1
000030ab: JUMP
000030ac: INVALID
000030ad: SSTORE
000030ae: PUSH15 0x7374616b696e67206d6f7265207468
000030be: PUSH2 0x6e20
000030c1: PUSH4 0x75727265
000030c6: PUSH15 0x746c79207374616b65642e506f6f6c
000030d6: KECCAK256
000030d7: PUSH10 0x732066696e6973686564
000030e2: UNKNOWN(0x2C)
000030e3: KECCAK256
000030e4: PUSH15 0x6f206d6f7265207374616b696e672e
000030f4: MSTORE8
000030f5: PUSH2 0x6665
000030f8: UNKNOWN(0x4D)
000030f9: PUSH2 0x7468
000030fc: GASPRICE
000030fd: KECCAK256
000030fe: PUSH14 0x756c7469706c69636174696f6e20
0000310d: PUSH16 0x766572666c6f77a26469706673582212
0000311e: KECCAK256
0000311f: EXP
00003120: UNKNOWN(0x4D)
00003121: ADD
00003122: UNKNOWN(0xBF)
00003123: NOT
00003124: UNKNOWN(0xC9)
00003125: UNKNOWN(0xBE)
00003126: GASPRICE
00003127: UNKNOWN(0xE0)
00003128: LT
00003129: UNKNOWN(0xA8)
0000312a: UNKNOWN(0x2C)
0000312b: UNKNOWN(0xA7)
0000312c: EQ
0000312d: PC
0000312e: SELFBALANCE
0000312f: LT
00003130: UNKNOWN(0xAB)
00003131: REVERT
00003132: DUP10
00003133: RETURNDATASIZE
00003134: CALLDATASIZE
00003135: STATICCALL
00003136: BALANCE
00003137: PUSH10 0x2f3ceea195c38f64736f
00003142: PUSH13
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": "0xf34184fa", "selector": "0xf34184fa", "calldata_variants": [ "0xf34184fa", "0xf34184fa0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa8aa3d7", "selector": "0xfa8aa3d7", "calldata_variants": [ "0xfa8aa3d7", "0xfa8aa3d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc0c546a", "selector": "0xfc0c546a", "calldata_variants": [ "0xfc0c546a", "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc60a096", "selector": "0xfc60a096", "calldata_variants": [ "0xfc60a096", "0xfc60a0960000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdae8f1fd", "selector": "0xdae8f1fd", "calldata_variants": [ "0xdae8f1fd", "0xdae8f1fd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe3beb314", "selector": "0xe3beb314", "calldata_variants": [ "0xe3beb314", "0xe3beb3140000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea550ad9", "selector": "0xea550ad9", "calldata_variants": [ "0xea550ad9", "0xea550ad90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcd312cc4", "selector": "0xcd312cc4", "calldata_variants": [ "0xcd312cc4", "0xcd312cc40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 3175, "type": "tx_origin_used" }, { "pc": 5695, "type": "tx_origin_used" }, { "pc": 3173, "type": "tx_origin_used" }, { "pc": 5693, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xa1cfc5e1445ae5aee0f743395ae3b30f1b19b908b2c7b85a09882f04d67138a0 call_targets: 0x1e887e7115321b4ee5d58dd446ec09e12b45d81b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa1cfc5e1445ae5aee0f743395ae3b30f1b19b908b2c7b85a09882f04d67138a0", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x1e887e7115321b4ee5d58dd446ec09e12b45d81b" ], "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": "0xf34184fa", "selector": "0xf34184fa", "calldata_variants": [ "0xf34184fa", "0xf34184fa0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa8aa3d7", "selector": "0xfa8aa3d7", "calldata_variants": [ "0xfa8aa3d7", "0xfa8aa3d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc0c546a", "selector": "0xfc0c546a", "calldata_variants": [ "0xfc0c546a", "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc60a096", "selector": "0xfc60a096", "calldata_variants": [ "0xfc60a096", "0xfc60a0960000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdae8f1fd", "selector": "0xdae8f1fd", "calldata_variants": [ "0xdae8f1fd", "0xdae8f1fd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe3beb314", "selector": "0xe3beb314", "calldata_variants": [ "0xe3beb314", "0xe3beb3140000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea550ad9", "selector": "0xea550ad9", "calldata_variants": [ "0xea550ad9", "0xea550ad90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcd312cc4", "selector": "0xcd312cc4", "calldata_variants": [ "0xcd312cc4", "0xcd312cc40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2737, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3706, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4424, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 12, "guards_detected": [ { "pc": 3175, "type": "tx_origin_used" }, { "pc": 5695, "type": "tx_origin_used" }, { "pc": 3173, "type": "tx_origin_used" }, { "pc": 5693, "type": "tx_origin_used" } ], "untrusted_call_count": 12 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xa1cfc5e1445ae5aee0f743395ae3b30f1b19b908b2c7b85a09882f04d67138a0 call_targets: 0x1e887e7115321b4ee5d58dd446ec09e12b45d81b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa1cfc5e1445ae5aee0f743395ae3b30f1b19b908b2c7b85a09882f04d67138a0", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x1e887e7115321b4ee5d58dd446ec09e12b45d81b" ], "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": "0xf34184fa", "selector": "0xf34184fa", "calldata_variants": [ "0xf34184fa", "0xf34184fa0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa8aa3d7", "selector": "0xfa8aa3d7", "calldata_variants": [ "0xfa8aa3d7", "0xfa8aa3d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc0c546a", "selector": "0xfc0c546a", "calldata_variants": [ "0xfc0c546a", "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc60a096", "selector": "0xfc60a096", "calldata_variants": [ "0xfc60a096", "0xfc60a0960000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdae8f1fd", "selector": "0xdae8f1fd", "calldata_variants": [ "0xdae8f1fd", "0xdae8f1fd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe3beb314", "selector": "0xe3beb314", "calldata_variants": [ "0xe3beb314", "0xe3beb3140000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea550ad9", "selector": "0xea550ad9", "calldata_variants": [ "0xea550ad9", "0xea550ad90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcd312cc4", "selector": "0xcd312cc4", "calldata_variants": [ "0xcd312cc4", "0xcd312cc40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2737, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3706, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4424, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 12, "guards_detected": [ { "pc": 3175, "type": "tx_origin_used" }, { "pc": 5695, "type": "tx_origin_used" }, { "pc": 3173, "type": "tx_origin_used" }, { "pc": 5693, "type": "tx_origin_used" } ] }
Severity