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

Analysis Run

019b477e-da27-73ac-a8b1-790c2e562241

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

What survived the funnel

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

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
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
29425 artifact.fetch complete 1 / 3 3 months ago
29426 tool.cast_disasm complete 1 / 3 3 months ago
108157 analysis.bundle complete 1 / 3 1 week ago
108158 capability.graph complete 1 / 3 1 week ago
108159 detector.run complete 1 / 3 1 week ago
108160 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
51
EXT*/BALANCE
9
Total opcodes
8953
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 0x0178
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x5e71823b
00000018: GT
00000019: PUSH2 0x00d1
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0x9b49eac0
00000023: GT
00000024: PUSH2 0x007c
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xddde6090
0000002e: GT
0000002f: PUSH2 0x0057
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xddde6090
00000039: EQ
0000003a: PUSH2 0x0412
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xdeebe410
00000044: EQ
00000045: PUSH2 0x0431
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xf6738f21
0000004f: EQ
00000050: PUSH2 0x055c
00000053: JUMPI
00000054: PUSH0
00000055: DUP1
00000056: REVERT
00000057: JUMPDEST
00000058: DUP1
00000059: PUSH4 0x9b49eac0
0000005e: EQ
0000005f: PUSH2 0x03b5
00000062: JUMPI
00000063: DUP1
00000064: PUSH4 0xb83b4022
00000069: EQ
0000006a: PUSH2 0x03d4
0000006d: JUMPI
0000006e: DUP1
0000006f: PUSH4 0xcaed0135
00000074: EQ
00000075: PUSH2 0x03f3
00000078: JUMPI
00000079: PUSH0
0000007a: DUP1
0000007b: REVERT
0000007c: JUMPDEST
0000007d: DUP1
0000007e: PUSH4 0x7a7c0e01
00000083: GT
00000084: PUSH2 0x00ac
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x7a7c0e01
0000008e: EQ
0000008f: PUSH2 0x0337
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x7f660be1
00000099: EQ
0000009a: PUSH2 0x034b
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x846a1ee1
000000a4: EQ
000000a5: PUSH2 0x036a
000000a8: JUMPI
000000a9: PUSH0
000000aa: DUP1
000000ab: REVERT
000000ac: JUMPDEST
000000ad: DUP1
000000ae: PUSH4 0x5e71823b
000000b3: EQ
000000b4: PUSH2 0x02d4
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0x6bb224c3
000000be: EQ
000000bf: PUSH2 0x0305
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0x72b6da32
000000c9: EQ
000000ca: PUSH2 0x0318
000000cd: JUMPI
000000ce: PUSH0
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x23d86a65
000000d8: GT
000000d9: PUSH2 0x0131
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x4b9d9b75
000000e3: GT
000000e4: PUSH2 0x010c
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x4b9d9b75
000000ee: EQ
000000ef: PUSH2 0x0283
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x55378f48
000000f9: EQ
000000fa: PUSH2 0x0296
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x5c412bb2
00000104: EQ
00000105: PUSH2 0x02b5
00000108: JUMPI
00000109: PUSH0
0000010a: DUP1
0000010b: REVERT
0000010c: JUMPDEST
0000010d: DUP1
0000010e: PUSH4 0x23d86a65
00000113: EQ
00000114: PUSH2 0x0231
00000117: JUMPI
00000118: DUP1
00000119: PUSH4 0x2d5e3d5b
0000011e: EQ
0000011f: PUSH2 0x0245
00000122: JUMPI
00000123: DUP1
00000124: PUSH4 0x3502a65e
00000129: EQ
0000012a: PUSH2 0x0264
0000012d: JUMPI
0000012e: PUSH0
0000012f: DUP1
00000130: REVERT
00000131: JUMPDEST
00000132: DUP1
00000133: PUSH4 0x0beebd39
00000138: GT
00000139: PUSH2 0x0161
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x0beebd39
00000143: EQ
00000144: PUSH2 0x01d1
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0x1b479651
0000014e: EQ
0000014f: PUSH2 0x01e5
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0x1f1fa65d
00000159: EQ
0000015a: PUSH2 0x0204
0000015d: JUMPI
0000015e: PUSH0
0000015f: DUP1
00000160: REVERT
00000161: JUMPDEST
00000162: DUP1
00000163: PUSH4 0x0403dc09
00000168: EQ
00000169: PUSH2 0x017c
0000016c: JUMPI
0000016d: DUP1
0000016e: PUSH4 0x085c63a3
00000173: EQ
00000174: PUSH2 0x01b0
00000177: JUMPI
00000178: JUMPDEST
00000179: PUSH0
0000017a: DUP1
0000017b: REVERT
0000017c: JUMPDEST
0000017d: CALLVALUE
0000017e: DUP1
0000017f: ISZERO
00000180: PUSH2 0x0187
00000183: JUMPI
00000184: PUSH0
00000185: DUP1
00000186: REVERT
00000187: JUMPDEST
00000188: POP
00000189: PUSH2 0x019b
0000018c: PUSH2 0x0196
0000018f: CALLDATASIZE
00000190: PUSH1 0x04
00000192: PUSH2 0x39fd
00000195: JUMP
00000196: JUMPDEST
00000197: PUSH2 0x057b
0000019a: JUMP
0000019b: JUMPDEST
0000019c: PUSH1 0x40
0000019e: MLOAD
0000019f: SWAP1
000001a0: ISZERO
000001a1: ISZERO
000001a2: DUP2
000001a3: MSTORE
000001a4: PUSH1 0x20
000001a6: ADD
000001a7: JUMPDEST
000001a8: PUSH1 0x40
000001aa: MLOAD
000001ab: DUP1
000001ac: SWAP2
000001ad: SUB
000001ae: SWAP1
000001af: RETURN
000001b0: JUMPDEST
000001b1: CALLVALUE
000001b2: DUP1
000001b3: ISZERO
000001b4: PUSH2 0x01bb
000001b7: JUMPI
000001b8: PUSH0
000001b9: DUP1
000001ba: REVERT
000001bb: JUMPDEST
000001bc: POP
000001bd: PUSH2 0x01cf
000001c0: PUSH2 0x01ca
000001c3: CALLDATASIZE
000001c4: PUSH1 0x04
000001c6: PUSH2 0x3a38
000001c9: JUMP
000001ca: JUMPDEST
000001cb: PUSH2 0x06ee
000001ce: JUMP
000001cf: JUMPDEST
000001d0: STOP
000001d1: JUMPDEST
000001d2: CALLVALUE
000001d3: DUP1
000001d4: ISZERO
000001d5: PUSH2 0x01dc
000001d8: JUMPI
000001d9: PUSH0
000001da: DUP1
000001db: REVERT
000001dc: JUMPDEST
000001dd: POP
000001de: PUSH2 0x01cf
000001e1: PUSH2 0x0804
000001e4: JUMP
000001e5: JUMPDEST
000001e6: CALLVALUE
000001e7: DUP1
000001e8: ISZERO
000001e9: PUSH2 0x01f0
000001ec: JUMPI
000001ed: PUSH0
000001ee: DUP1
000001ef: REVERT
000001f0: JUMPDEST
000001f1: POP
000001f2: PUSH2 0x01cf
000001f5: PUSH2 0x01ff
000001f8: CALLDATASIZE
000001f9: PUSH1 0x04
000001fb: PUSH2 0x3a38
000001fe: JUMP
000001ff: JUMPDEST
00000200: PUSH2 0x08f7
00000203: JUMP
00000204: JUMPDEST
00000205: CALLVALUE
00000206: DUP1
00000207: ISZERO
00000208: PUSH2 0x020f
0000020b: JUMPI
0000020c: PUSH0
0000020d: DUP1
0000020e: REVERT
0000020f: JUMPDEST
00000210: POP
00000211: PUSH2 0x0223
00000214: PUSH2 0x021e
00000217: CALLDATASIZE
00000218: PUSH1 0x04
0000021a: PUSH2 0x3a53
0000021d: JUMP
0000021e: JUMPDEST
0000021f: PUSH2 0x0c60
00000222: JUMP
00000223: JUMPDEST
00000224: PUSH1 0x40
00000226: MLOAD
00000227: SWAP1
00000228: DUP2
00000229: MSTORE
0000022a: PUSH1 0x20
0000022c: ADD
0000022d: PUSH2 0x01a7
00000230: JUMP
00000231: JUMPDEST
00000232: CALLVALUE
00000233: DUP1
00000234: ISZERO
00000235: PUSH2 0x023c
00000238: JUMPI
00000239: PUSH0
0000023a: DUP1
0000023b: REVERT
0000023c: JUMPDEST
0000023d: POP
0000023e: PUSH2 0x01cf
00000241: PUSH2 0x0e95
00000244: JUMP
00000245: JUMPDEST
00000246: CALLVALUE
00000247: DUP1
00000248: ISZERO
00000249: PUSH2 0x0250
0000024c: JUMPI
0000024d: PUSH0
0000024e: DUP1
0000024f: REVERT
00000250: JUMPDEST
00000251: POP
00000252: PUSH2 0x01cf
00000255: PUSH2 0x025f
00000258: CALLDATASIZE
00000259: PUSH1 0x04
0000025b: PUSH2 0x3a38
0000025e: JUMP
0000025f: JUMPDEST
00000260: PUSH2 0x11fd
00000263: JUMP
00000264: JUMPDEST
00000265: CALLVALUE
00000266: DUP1
00000267: ISZERO
00000268: PUSH2 0x026f
0000026b: JUMPI
0000026c: PUSH0
0000026d: DUP1
0000026e: REVERT
0000026f: JUMPDEST
00000270: POP
00000271: PUSH2 0x01cf
00000274: PUSH2 0x027e
00000277: CALLDATASIZE
00000278: PUSH1 0x04
0000027a: PUSH2 0x3a38
0000027d: JUMP
0000027e: JUMPDEST
0000027f: PUSH2 0x19aa
00000282: JUMP
00000283: JUMPDEST
00000284: PUSH2 0x019b
00000287: PUSH2 0x0291
0000028a: CALLDATASIZE
0000028b: PUSH1 0x04
0000028d: PUSH2 0x3a6a
00000290: JUMP
00000291: JUMPDEST
00000292: PUSH2 0x1cdb
00000295: JUMP
00000296: JUMPDEST
00000297: CALLVALUE
00000298: DUP1
00000299: ISZERO
0000029a: PUSH2 0x02a1
0000029d: JUMPI
0000029e: PUSH0
0000029f: DUP1
000002a0: REVERT
000002a1: JUMPDEST
000002a2: POP
000002a3: PUSH2 0x01cf
000002a6: PUSH2 0x02b0
000002a9: CALLDATASIZE
000002aa: PUSH1 0x04
000002ac: PUSH2 0x3a86
000002af: JUMP
000002b0: JUMPDEST
000002b1: PUSH2 0x220e
000002b4: JUMP
000002b5: JUMPDEST
000002b6: CALLVALUE
000002b7: DUP1
000002b8: ISZERO
000002b9: PUSH2 0x02c0
000002bc: JUMPI
000002bd: PUSH0
000002be: DUP1
000002bf: REVERT
000002c0: JUMPDEST
000002c1: POP
000002c2: PUSH2 0x01cf
000002c5: PUSH2 0x02cf
000002c8: CALLDATASIZE
000002c9: PUSH1 0x04
000002cb: PUSH2 0x3ac8
000002ce: JUMP
000002cf: JUMPDEST
000002d0: PUSH2 0x24d1
000002d3: JUMP
000002d4: JUMPDEST
000002d5: CALLVALUE
000002d6: DUP1
000002d7: ISZERO
000002d8: PUSH2 0x02df
000002db: JUMPI
000002dc: PUSH0
000002dd: DUP1
000002de: REVERT
000002df: JUMPDEST
000002e0: POP
000002e1: PUSH1 0x01
000002e3: SLOAD
000002e4: PUSH2 0x02f0
000002e7: SWAP1
000002e8: PUSH4 0xffffffff
000002ed: AND
000002ee: DUP2
000002ef: JUMP
000002f0: JUMPDEST
000002f1: PUSH1 0x40
000002f3: MLOAD
000002f4: PUSH4 0xffffffff
000002f9: SWAP1
000002fa: SWAP2
000002fb: AND
000002fc: DUP2
000002fd: MSTORE
000002fe: PUSH1 0x20
00000300: ADD
00000301: PUSH2 0x01a7
00000304: JUMP
00000305: JUMPDEST
00000306: PUSH2 0x0223
00000309: PUSH2 0x0313
0000030c: CALLDATASIZE
0000030d: PUSH1 0x04
0000030f: PUSH2 0x3a53
00000312: JUMP
00000313: JUMPDEST
00000314: PUSH2 0x2615
00000317: JUMP
00000318: JUMPDEST
00000319: CALLVALUE
0000031a: DUP1
0000031b: ISZERO
0000031c: PUSH2 0x0323
0000031f: JUMPI
00000320: PUSH0
00000321: DUP1
00000322: REVERT
00000323: JUMPDEST
00000324: POP
00000325: PUSH2 0x0223
00000328: PUSH2 0x0332
0000032b: CALLDATASIZE
0000032c: PUSH1 0x04
0000032e: PUSH2 0x3a38
00000331: JUMP
00000332: JUMPDEST
00000333: PUSH2 0x29ed
00000336: JUMP
00000337: JUMPDEST
00000338: CALLVALUE
00000339: DUP1
0000033a: ISZERO
0000033b: PUSH2 0x0342
0000033e: JUMPI
0000033f: PUSH0
00000340: DUP1
00000341: REVERT
00000342: JUMPDEST
00000343: POP
00000344: PUSH2 0x01cf
00000347: PUSH2 0x2a2f
0000034a: JUMP
0000034b: JUMPDEST
0000034c: CALLVALUE
0000034d: DUP1
0000034e: ISZERO
0000034f: PUSH2 0x0356
00000352: JUMPI
00000353: PUSH0
00000354: DUP1
00000355: REVERT
00000356: JUMPDEST
00000357: POP
00000358: PUSH2 0x01cf
0000035b: PUSH2 0x0365
0000035e: CALLDATASIZE
0000035f: PUSH1 0x04
00000361: PUSH2 0x3ac8
00000364: JUMP
00000365: JUMPDEST
00000366: PUSH2 0x2f68
00000369: JUMP
0000036a: JUMPDEST
0000036b: CALLVALUE
0000036c: DUP1
0000036d: ISZERO
0000036e: PUSH2 0x0375
00000371: JUMPI
00000372: PUSH0
00000373: DUP1
00000374: REVERT
00000375: JUMPDEST
00000376: POP
00000377: PUSH2 0x039d
0000037a: PUSH32 0x000000000000000000000000bcf58de37791efe60fe87a6d420fe8f7aea99ef8
0000039b: DUP2
0000039c: JUMP
0000039d: JUMPDEST
0000039e: PUSH1 0x40
000003a0: MLOAD
000003a1: PUSH1 0x01
000003a3: PUSH1 0x01
000003a5: PUSH1 0xa0
000003a7: SHL
000003a8: SUB
000003a9: SWAP1
000003aa: SWAP2
000003ab: AND
000003ac: DUP2
000003ad: MSTORE
000003ae: PUSH1 0x20
000003b0: ADD
000003b1: PUSH2 0x01a7
000003b4: JUMP
000003b5: JUMPDEST
000003b6: CALLVALUE
000003b7: DUP1
000003b8: ISZERO
000003b9: PUSH2 0x03c0
000003bc: JUMPI
000003bd: PUSH0
000003be: DUP1
000003bf: REVERT
000003c0: JUMPDEST
000003c1: POP
000003c2: PUSH2 0x01cf
000003c5: PUSH2 0x03cf
000003c8: CALLDATASIZE
000003c9: PUSH1 0x04
000003cb: PUSH2 0x3a38
000003ce: JUMP
000003cf: JUMPDEST
000003d0: PUSH2 0x34b4
000003d3: JUMP
000003d4: JUMPDEST
000003d5: CALLVALUE
000003d6: DUP1
000003d7: ISZERO
000003d8: PUSH2 0x03df
000003db: JUMPI
000003dc: PUSH0
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: PUSH2 0x01cf
000003e4: PUSH2 0x03ee
000003e7: CALLDATASIZE
000003e8: PUSH1 0x04
000003ea: PUSH2 0x3a38
000003ed: JUMP
000003ee: JUMPDEST
000003ef: PUSH2 0x36db
000003f2: JUMP
000003f3: JUMPDEST
000003f4: CALLVALUE
000003f5: DUP1
000003f6: ISZERO
000003f7: PUSH2 0x03fe
000003fa: JUMPI
000003fb: PUSH0
000003fc: DUP1
000003fd: REVERT
000003fe: JUMPDEST
000003ff: POP
00000400: PUSH2 0x0223
00000403: PUSH2 0x040d
00000406: CALLDATASIZE
00000407: PUSH1 0x04
00000409: PUSH2 0x3a38
0000040c: JUMP
0000040d: JUMPDEST
0000040e: PUSH2 0x37c2
00000411: JUMP
00000412: JUMPDEST
00000413: CALLVALUE
00000414: DUP1
00000415: ISZERO
00000416: PUSH2 0x041d
00000419: JUMPI
0000041a: PUSH0
0000041b: DUP1
0000041c: REVERT
0000041d: JUMPDEST
0000041e: POP
0000041f: PUSH2 0x0223
00000422: PUSH2 0x042c
00000425: CALLDATASIZE
00000426: PUSH1 0x04
00000428: PUSH2 0x3a38
0000042b: JUMP
0000042c: JUMPDEST
0000042d: PUSH2 0x3842
00000430: JUMP
00000431: JUMPDEST
00000432: CALLVALUE
00000433: DUP1
00000434: ISZERO
00000435: PUSH2 0x043c
00000438: JUMPI
00000439: PUSH0
0000043a: DUP1
0000043b: REVERT
0000043c: JUMPDEST
0000043d: POP
0000043e: PUSH2 0x04e0
00000441: PUSH2 0x044b
00000444: CALLDATASIZE
00000445: PUSH1 0x04
00000447: PUSH2 0x3a38
0000044a: JUMP
0000044b: JUMPDEST
0000044c: PUSH1 0x05
0000044e: PUSH1 0x20
00000450: MSTORE
00000451: PUSH0
00000452: SWAP1
00000453: DUP2
00000454: MSTORE
00000455: PUSH1 0x40
00000457: SWAP1
00000458: KECCAK256
00000459: DUP1
0000045a: SLOAD
0000045b: PUSH1 0x01
0000045d: DUP3
0000045e: ADD
0000045f: SLOAD
00000460: PUSH1 0x02
00000462: SWAP1
00000463: SWAP3
00000464: ADD
00000465: SLOAD
00000466: PUSH1 0x01
00000468: PUSH1 0x01
0000046a: PUSH1 0x80
0000046c: SHL
0000046d: SUB
0000046e: DUP1
0000046f: DUP4
00000470: AND
00000471: SWAP4
00000472: PUSH1 0x01
00000474: PUSH1 0x80
00000476: SHL
00000477: SWAP4
00000478: DUP5
00000479: SWAP1
0000047a: DIV
0000047b: DUP3
0000047c: AND
0000047d: SWAP4
0000047e: SWAP2
0000047f: DUP2
00000480: AND
00000481: SWAP3
00000482: SWAP2
00000483: DUP2
00000484: DIV
00000485: PUSH4 0xffffffff
0000048a: SWAP1
0000048b: DUP2
0000048c: AND
0000048d: SWAP3
0000048e: PUSH1 0x01
00000490: PUSH1 0xa0
00000492: SHL
00000493: DUP4
00000494: DIV
00000495: DUP3
00000496: AND
00000497: SWAP3
00000498: PUSH1 0x01
0000049a: PUSH1 0xc0
0000049c: SHL
0000049d: DUP2
0000049e: DIV
0000049f: PUSH3 0xffffff
000004a3: SWAP1
000004a4: DUP2
000004a5: AND
000004a6: SWAP4
000004a7: PUSH1 0x01
000004a9: PUSH1 0xd8
000004ab: SHL
000004ac: SWAP1
000004ad: SWAP3
000004ae: DIV
000004af: DUP3
000004b0: AND
000004b1: SWAP3
000004b2: SWAP1
000004b3: DUP2
000004b4: AND
000004b5: SWAP2
000004b6: PUSH4 0x01000000
000004bb: DUP3
000004bc: DIV
000004bd: AND
000004be: SWAP1
000004bf: PUSH8 0x0100000000000000
000004c8: DUP2
000004c9: DIV
000004ca: PUSH1 0xff
000004cc: AND
000004cd: SWAP1
000004ce: PUSH1 0x01
000004d0: PUSH1 0x40
000004d2: SHL
000004d3: SWAP1
000004d4: DIV
000004d5: PUSH1 0x01
000004d7: PUSH1 0x01
000004d9: PUSH1 0xa0
000004db: SHL
000004dc: SUB
000004dd: AND
000004de: DUP12
000004df: JUMP
000004e0: JUMPDEST
000004e1: PUSH1 0x40
000004e3: DUP1
000004e4: MLOAD
000004e5: PUSH1 0x01
000004e7: PUSH1 0x01
000004e9: PUSH1 0x80
000004eb: SHL
000004ec: SUB
000004ed: SWAP13
000004ee: DUP14
000004ef: AND
000004f0: DUP2
000004f1: MSTORE
000004f2: SWAP11
000004f3: DUP13
000004f4: AND
000004f5: PUSH1 0x20
000004f7: DUP13
000004f8: ADD
000004f9: MSTORE
000004fa: SWAP9
000004fb: SWAP1
000004fc: SWAP11
000004fd: AND
000004fe: SWAP8
000004ff: DUP10
00000500: ADD
00000501: SWAP8
00000502: SWAP1
00000503: SWAP8
00000504: MSTORE
00000505: PUSH4 0xffffffff
0000050a: SWAP6
0000050b: DUP7
0000050c: AND
0000050d: PUSH1 0x60
0000050f: DUP10
00000510: ADD
00000511: MSTORE
00000512: SWAP4
00000513: DUP6
00000514: AND
00000515: PUSH1 0x80
00000517: DUP9
00000518: ADD
00000519: MSTORE
0000051a: PUSH3 0xffffff
0000051e: SWAP3
0000051f: DUP4
00000520: AND
00000521: PUSH1 0xa0
00000523: DUP9
00000524: ADD
00000525: MSTORE
00000526: SWAP1
00000527: DUP5
00000528: AND
00000529: PUSH1 0xc0
0000052b: DUP8
0000052c: ADD
0000052d: MSTORE
0000052e: AND
0000052f: PUSH1 0xe0
00000531: DUP6
00000532: ADD
00000533: MSTORE
00000534: AND
00000535: PUSH2 0x0100
00000538: DUP4
00000539: ADD
0000053a: MSTORE
0000053b: ISZERO
0000053c: ISZERO
0000053d: PUSH2 0x0120
00000540: DUP3
00000541: ADD
00000542: MSTORE
00000543: PUSH1 0x01
00000545: PUSH1 0x01
00000547: PUSH1 0xa0
00000549: SHL
0000054a: SUB
0000054b: SWAP1
0000054c: SWAP2
0000054d: AND
0000054e: PUSH2 0x0140
00000551: DUP3
00000552: ADD
00000553: MSTORE
00000554: PUSH2 0x0160
00000557: ADD
00000558: PUSH2 0x01a7
0000055b: JUMP
0000055c: JUMPDEST
0000055d: CALLVALUE
0000055e: DUP1
0000055f: ISZERO
00000560: PUSH2 0x0567
00000563: JUMPI
00000564: PUSH0
00000565: DUP1
00000566: REVERT
00000567: JUMPDEST
00000568: POP
00000569: PUSH2 0x01cf
0000056c: PUSH2 0x0576
0000056f: CALLDATASIZE
00000570: PUSH1 0x04
00000572: PUSH2 0x3a38
00000575: JUMP
00000576: JUMPDEST
00000577: PUSH2 0x3877
0000057a: JUMP
0000057b: JUMPDEST
0000057c: PUSH1 0x40
0000057e: MLOAD
0000057f: PUSH4 0xbdfe7d47
00000584: PUSH1 0xe0
00000586: SHL
00000587: DUP2
00000588: MSTORE
00000589: PUSH1 0x20
0000058b: PUSH1 0x04
0000058d: DUP3
0000058e: ADD
0000058f: MSTORE
00000590: PUSH1 0x07
00000592: PUSH1 0x24
00000594: DUP3
00000595: ADD
00000596: MSTORE
00000597: PUSH7 0x30bab1ba34b7b7
0000059f: PUSH1 0xc9
000005a1: SHL
000005a2: PUSH1 0x44
000005a4: DUP3
000005a5: ADD
000005a6: MSTORE
000005a7: PUSH0
000005a8: SWAP1
000005a9: PUSH32 0x00000000000000000000000055ead3b40016b1d5417f5a20f2d1e53e2d1c9122
000005ca: PUSH1 0x01
000005cc: PUSH1 0x01
000005ce: PUSH1 0xa0
000005d0: SHL
000005d1: SUB
000005d2: AND
000005d3: SWAP1
000005d4: PUSH4 0xbdfe7d47
000005d9: SWAP1
000005da: PUSH1 0x64
000005dc: ADD
000005dd: PUSH1 0x20
000005df: PUSH1 0x40
000005e1: MLOAD
000005e2: DUP1
000005e3: DUP4
000005e4: SUB
000005e5: DUP2
000005e6: DUP7
000005e7: GAS
000005e8: STATICCALL
000005e9: ISZERO
000005ea: DUP1
000005eb: ISZERO
000005ec: PUSH2 0x05f7
000005ef: JUMPI
000005f0: RETURNDATASIZE
000005f1: PUSH0
000005f2: DUP1
000005f3: RETURNDATACOPY
000005f4: RETURNDATASIZE
000005f5: PUSH0
000005f6: REVERT
000005f7: JUMPDEST
000005f8: POP
000005f9: POP
000005fa: POP
000005fb: POP
000005fc: PUSH1 0x40
000005fe: MLOAD
000005ff: RETURNDATASIZE
00000600: PUSH1 0x1f
00000602: NOT
00000603: PUSH1 0x1f
00000605: DUP3
00000606: ADD
00000607: AND
00000608: DUP3
00000609: ADD
0000060a: DUP1
0000060b: PUSH1 0x40
0000060d: MSTORE
0000060e: POP
0000060f: DUP2
00000610: ADD
00000611: SWAP1
00000612: PUSH2 0x061b
00000615: SWAP2
00000616: SWAP1
00000617: PUSH2 0x3aeb
0000061a: JUMP
0000061b: JUMPDEST
0000061c: PUSH1 0x01
0000061e: PUSH1 0x01
00000620: PUSH1 0xa0
00000622: SHL
00000623: SUB
00000624: AND
00000625: CALLER
00000626: PUSH1 0x01
00000628: PUSH1 0x01
0000062a: PUSH1 0xa0
0000062c: SHL
0000062d: SUB
0000062e: AND
0000062f: EQ
00000630: PUSH2 0x0680
00000633: JUMPI
00000634: PUSH1 0x40
00000636: MLOAD
00000637: PUSH3 0x461bcd
0000063b: PUSH1 0xe5
0000063d: SHL
0000063e: DUP2
0000063f: MSTORE
00000640: PUSH1 0x20
00000642: PUSH1 0x04
00000644: DUP3
00000645: ADD
00000646: MSTORE
00000647: PUSH1 0x0c
00000649: PUSH1 0x24
0000064b: DUP3
0000064c: ADD
0000064d: MSTORE
0000064e: PUSH32 0x6f6e6c792061756374696f6e0000000000000000000000000000000000000000
0000066f: PUSH1 0x44
00000671: DUP3
00000672: ADD
00000673: MSTORE
00000674: PUSH1 0x64
00000676: ADD
00000677: JUMPDEST
00000678: PUSH1 0x40
0000067a: MLOAD
0000067b: DUP1
0000067c: SWAP2
0000067d: SUB
0000067e: SWAP1
0000067f: REVERT
00000680: JUMPDEST
00000681: PUSH1 0x04
00000683: DUP1
00000684: SLOAD
00000685: PUSH1 0x40
00000687: MLOAD
00000688: PUSH4 0x40c10f19
0000068d: PUSH1 0xe0
0000068f: SHL
00000690: DUP2
00000691: MSTORE
00000692: PUSH1 0x01
00000694: PUSH1 0x01
00000696: PUSH1 0xa0
00000698: SHL
00000699: SUB
0000069a: DUP7
0000069b: DUP2
0000069c: AND
0000069d: SWAP4
0000069e: DUP3
0000069f: ADD
000006a0: SWAP4
000006a1: SWAP1
000006a2: SWAP4
000006a3: MSTORE
000006a4: PUSH1 0x24
000006a6: DUP2
000006a7: ADD
000006a8: DUP6
000006a9: SWAP1
000006aa: MSTORE
000006ab: SWAP2
000006ac: AND
000006ad: SWAP1
000006ae: PUSH4 0x40c10f19
000006b3: SWAP1
000006b4: PUSH1 0x44
000006b6: ADD
000006b7: PUSH0
000006b8: PUSH1 0x40
000006ba: MLOAD
000006bb: DUP1
000006bc: DUP4
000006bd: SUB
000006be: DUP2
000006bf: PUSH0
000006c0: DUP8
000006c1: DUP1
000006c2: EXTCODESIZE
000006c3: ISZERO
000006c4: DUP1
000006c5: ISZERO
000006c6: PUSH2 0x06cd
000006c9: JUMPI
000006ca: PUSH0
000006cb: DUP1
000006cc: REVERT
000006cd: JUMPDEST
000006ce: POP
000006cf: GAS
000006d0: CALL
000006d1: ISZERO
000006d2: DUP1
000006d3: ISZERO
000006d4: PUSH2 0x06df
000006d7: JUMPI
000006d8: RETURNDATASIZE
000006d9: PUSH0
000006da: DUP1
000006db: RETURNDATACOPY
000006dc: RETURNDATASIZE
000006dd: PUSH0
000006de: REVERT
000006df: JUMPDEST
000006e0: POP
000006e1: POP
000006e2: POP
000006e3: POP
000006e4: PUSH1 0x01
000006e6: SWAP1
000006e7: POP
000006e8: JUMPDEST
000006e9: SWAP3
000006ea: SWAP2
000006eb: POP
000006ec: POP
000006ed: JUMP
000006ee: JUMPDEST
000006ef: PUSH4 0xffffffff
000006f4: DUP1
000006f5: DUP3
000006f6: AND
000006f7: PUSH0
000006f8: SWAP1
000006f9: DUP2
000006fa: MSTORE
000006fb: PUSH1 0x05
000006fd: PUSH1 0x20
000006ff: MSTORE
00000700: PUSH1 0x40
00000702: SWAP1
00000703: KECCAK256
00000704: PUSH1 0x01
00000706: DUP2
00000707: ADD
00000708: SLOAD
00000709: SWAP1
0000070a: SWAP2
0000070b: PUSH1 0x01
0000070d: PUSH1 0xd8
0000070f: SHL
00000710: SWAP1
00000711: SWAP2
00000712: DIV
00000713: AND
00000714: ISZERO
00000715: DUP1
00000716: ISZERO
00000717: PUSH2 0x0727
0000071a: JUMPI
0000071b: POP
0000071c: PUSH1 0x02
0000071e: DUP2
0000071f: ADD
00000720: SLOAD
00000721: PUSH3 0xffffff
00000725: AND
00000726: ISZERO
00000727: JUMPDEST
00000728: PUSH2 0x0773
0000072b: JUMPI
0000072c: PUSH1 0x40
0000072e: MLOAD
0000072f: PUSH3 0x461bcd
00000733: PUSH1 0xe5
00000735: SHL
00000736: DUP2
00000737: MSTORE
00000738: PUSH1 0x20
0000073a: PUSH1 0x04
0000073c: DUP3
0000073d: ADD
0000073e: MSTORE
0000073f: PUSH1 0x17
00000741: PUSH1 0x24
00000743: DUP3
00000744: ADD
00000745: MSTORE
00000746: PUSH32 0x77726f6e67206c69717569646174696f6e537461747573000000000000000000
00000767: PUSH1 0x44
00000769: DUP3
0000076a: ADD
0000076b: MSTORE
0000076c: PUSH1 0x64
0000076e: ADD
0000076f: PUSH2 0x0677
00000772: JUMP
00000773: JUMPDEST
00000774: DUP1
00000775: SLOAD
00000776: PUSH1 0x01
00000778: PUSH1 0x01
0000077a: PUSH1 0x80
0000077c: SHL
0000077d: SUB
0000077e: AND
0000077f: PUSH2 0x0787
00000782: DUP4
00000783: PUSH2 0x29ed
00000786: JUMP
00000787: JUMPDEST
00000788: LT
00000789: PUSH2 0x07d4
0000078c: JUMPI
0000078d: PUSH1 0x40
0000078f: MLOAD
00000790: PUSH3 0x461bcd
00000794: PUSH1 0xe5
00000796: SHL
00000797: DUP2
00000798: MSTORE
00000799: PUSH1 0x20
0000079b: PUSH1 0x04
0000079d: DUP3
0000079e: ADD
0000079f: MSTORE
000007a0: PUSH1 0x14
000007a2: PUSH1 0x24
000007a4: DUP3
000007a5: ADD
000007a6: MSTORE
000007a7: PUSH32 0x636f6c6c61746572616c20697320656e6f756768000000000000000000000000
000007c8: PUSH1 0x44
000007ca: DUP3
000007cb: ADD
000007cc: MSTORE
000007cd: PUSH1 0x64
000007cf: ADD
000007d0: PUSH2 0x0677
000007d3: JUMP
000007d4: JUMPDEST
000007d5: PUSH1 0x01
000007d7: DUP2
000007d8: DUP2
000007d9: ADD
000007da: DUP1
000007db: SLOAD
000007dc: PUSH4 0xffffffff
000007e1: PUSH1 0xd8
000007e3: SHL
000007e4: NOT
000007e5: AND
000007e6: PUSH1 0x01
000007e8: PUSH1 0xd8
000007ea: SHL
000007eb: TIMESTAMP
000007ec: PUSH4 0xffffffff
000007f1: AND
000007f2: MUL
000007f3: OR
000007f4: SWAP1
000007f5: SSTORE
000007f6: PUSH2 0x0800
000007f9: SWAP1
000007fa: DUP4
000007fb: SWAP1
000007fc: PUSH2 0x3906
000007ff: JUMP
00000800: JUMPDEST
00000801: POP
00000802: POP
00000803: JUMP
00000804: JUMPDEST
00000805: PUSH1 0x04
00000807: DUP1
00000808: SLOAD
00000809: PUSH1 0x40
0000080b: MLOAD
0000080c: PUSH4 0x70a08231
00000811: PUSH1 0xe0
00000813: SHL
00000814: DUP2
00000815: MSTORE
00000816: PUSH1 0x01
00000818: PUSH1 0x01
0000081a: PUSH1 0xa0
0000081c: SHL
0000081d: SUB
0000081e: PUSH32 0x000000000000000000000000bcf58de37791efe60fe87a6d420fe8f7aea99ef8
0000083f: DUP2
00000840: DUP2
00000841: AND
00000842: SWAP5
00000843: DUP4
00000844: ADD
00000845: SWAP5
00000846: SWAP1
00000847: SWAP5
00000848: MSTORE
00000849: SWAP1
0000084a: SWAP2
0000084b: AND
0000084c: SWAP2
0000084d: PUSH4 0x9dc29fac
00000852: SWAP2
00000853: DUP4
00000854: SWAP1
00000855: PUSH4 0x70a08231
0000085a: SWAP1
0000085b: PUSH1 0x24
0000085d: ADD
0000085e: PUSH1 0x20
00000860: PUSH1 0x40
00000862: MLOAD
00000863: DUP1
00000864: DUP4
00000865: SUB
00000866: DUP2
00000867: DUP7
00000868: GAS
00000869: STATICCALL
0000086a: ISZERO
0000086b: DUP1
0000086c: ISZERO
0000086d: PUSH2 0x0878
00000870: JUMPI
00000871: RETURNDATASIZE
00000872: PUSH0
00000873: DUP1
00000874: RETURNDATACOPY
00000875: RETURNDATASIZE
00000876: PUSH0
00000877: REVERT
00000878: JUMPDEST
00000879: POP
0000087a: POP
0000087b: POP
0000087c: POP
0000087d: PUSH1 0x40
0000087f: MLOAD
00000880: RETURNDATASIZE
00000881: PUSH1 0x1f
00000883: NOT
00000884: PUSH1 0x1f
00000886: DUP3
00000887: ADD
00000888: AND
00000889: DUP3
0000088a: ADD
0000088b: DUP1
0000088c: PUSH1 0x40
0000088e: MSTORE
0000088f: POP
00000890: DUP2
00000891: ADD
00000892: SWAP1
00000893: PUSH2 0x089c
00000896: SWAP2
00000897: SWAP1
00000898: PUSH2 0x3b06
0000089b: JUMP
0000089c: JUMPDEST
0000089d: PUSH1 0x40
0000089f: MLOAD
000008a0: PUSH1 0x01
000008a2: PUSH1 0x01
000008a4: PUSH1 0xe0
000008a6: SHL
000008a7: SUB
000008a8: NOT
000008a9: PUSH1 0xe0
000008ab: DUP6
000008ac: SWAP1
000008ad: SHL
000008ae: AND
000008af: DUP2
000008b0: MSTORE
000008b1: PUSH1 0x01
000008b3: PUSH1 0x01
000008b5: PUSH1 0xa0
000008b7: SHL
000008b8: SUB
000008b9: SWAP1
000008ba: SWAP3
000008bb: AND
000008bc: PUSH1 0x04
000008be: DUP4
000008bf: ADD
000008c0: MSTORE
000008c1: PUSH1 0x24
000008c3: DUP3
000008c4: ADD
000008c5: MSTORE
000008c6: PUSH1 0x44
000008c8: ADD
000008c9: PUSH0
000008ca: PUSH1 0x40
000008cc: MLOAD
000008cd: DUP1
000008ce: DUP4
000008cf: SUB
000008d0: DUP2
000008d1: PUSH0
000008d2: DUP8
000008d3: DUP1
000008d4: EXTCODESIZE
000008d5: ISZERO
000008d6: DUP1
000008d7: ISZERO
000008d8: PUSH2 0x08df
000008db: JUMPI
000008dc: PUSH0
000008dd: DUP1
000008de: REVERT
000008df: JUMPDEST
000008e0: POP
000008e1: GAS
000008e2: CALL
000008e3: ISZERO
000008e4: DUP1
000008e5: ISZERO
000008e6: PUSH2 0x08f1
000008e9: JUMPI
000008ea: RETURNDATASIZE
000008eb: PUSH0
000008ec: DUP1
000008ed: RETURNDATACOPY
000008ee: RETURNDATASIZE
000008ef: PUSH0
000008f0: REVERT
000008f1: JUMPDEST
000008f2: POP
000008f3: POP
000008f4: POP
000008f5: POP
000008f6: JUMP
000008f7: JUMPDEST
000008f8: PUSH2 0x08ff
000008fb: PUSH2 0x3992
000008fe: JUMP
000008ff: JUMPDEST
00000900: PUSH4 0xffffffff
00000905: DUP1
00000906: DUP3
00000907: AND
00000908: PUSH0
00000909: SWAP1
0000090a: DUP2
0000090b: MSTORE
0000090c: PUSH1 0x05
0000090e: PUSH1 0x20
00000910: MSTORE
00000911: PUSH1 0x40
00000913: SWAP1
00000914: KECCAK256
00000915: PUSH1 0x01
00000917: DUP2
00000918: ADD
00000919: SLOAD
0000091a: SWAP1
0000091b: SWAP2
0000091c: PUSH1 0x01
0000091e: PUSH1 0xd8
00000920: SHL
00000921: SWAP1
00000922: SWAP2
00000923: DIV
00000924: AND
00000925: ISZERO
00000926: DUP1
00000927: ISZERO
00000928: SWAP1
00000929: PUSH2 0x0a00
0000092c: JUMPI
0000092d: POP
0000092e: PUSH1 0x40
00000930: MLOAD
00000931: PUSH4 0x145f822b
00000936: PUSH1 0xe0
00000938: SHL
00000939: DUP2
0000093a: MSTORE
0000093b: PUSH1 0x20
0000093d: PUSH1 0x04
0000093f: DUP3
00000940: ADD
00000941: MSTORE
00000942: PUSH1 0x13
00000944: PUSH1 0x24
00000946: DUP3
00000947: ADD
00000948: MSTORE
00000949: PUSH32 0x6d617267696e43616c6c54696d654c696d697400000000000000000000000000
0000096a: PUSH1 0x44
0000096c: DUP3
0000096d: ADD
0000096e: MSTORE
0000096f: PUSH32 0x00000000000000000000000055ead3b40016b1d5417f5a20f2d1e53e2d1c9122
00000990: PUSH1 0x01
00000992: PUSH1 0x01
00000994: PUSH1 0xa0
00000996: SHL
00000997: SUB
00000998: AND
00000999: SWAP1
0000099a: PUSH4 0x145f822b
0000099f: SWAP1
000009a0: PUSH1 0x64
000009a2: ADD
000009a3: PUSH1 0x20
000009a5: PUSH1 0x40
000009a7: MLOAD
000009a8: DUP1
000009a9: DUP4
000009aa: SUB
000009ab: DUP2
000009ac: DUP7
000009ad: GAS
000009ae: STATICCALL
000009af: ISZERO
000009b0: DUP1
000009b1: ISZERO
000009b2: PUSH2 0x09bd
000009b5: JUMPI
000009b6: RETURNDATASIZE
000009b7: PUSH0
000009b8: DUP1
000009b9: RETURNDATACOPY
000009ba: RETURNDATASIZE
000009bb: PUSH0
000009bc: REVERT
000009bd: JUMPDEST
000009be: POP
000009bf: POP
000009c0: POP
000009c1: POP
000009c2: PUSH1 0x40
000009c4: MLOAD
000009c5: RETURNDATASIZE
000009c6: PUSH1 0x1f
000009c8: NOT
000009c9: PUSH1 0x1f
000009cb: DUP3
000009cc: ADD
000009cd: AND
000009ce: DUP3
000009cf: ADD
000009d0: DUP1
000009d1: PUSH1 0x40
000009d3: MSTORE
000009d4: POP
000009d5: DUP2
000009d6: ADD
000009d7: SWAP1
000009d8: PUSH2 0x09e1
000009db: SWAP2
000009dc: SWAP1
000009dd: PUSH2 0x3b06
000009e0: JUMP
000009e1: JUMPDEST
000009e2: PUSH1 0x01
000009e4: DUP3
000009e5: ADD
000009e6: SLOAD
000009e7: PUSH2 0x09fd
000009ea: SWAP1
000009eb: PUSH1 0x01
000009ed: PUSH1 0xd8
000009ef: SHL
000009f0: SWAP1
000009f1: DIV
000009f2: PUSH4 0xffffffff
000009f7: AND
000009f8: TIMESTAMP
000009f9: PUSH2 0x3b31
000009fc: JUMP
000009fd: JUMPDEST
000009fe: LT
000009ff: ISZERO
00000a00: JUMPDEST
00000a01: PUSH2 0x0a72
00000a04: JUMPI
00000a05: PUSH1 0x40
00000a07: MLOAD
00000a08: PUSH3 0x461bcd
00000a0c: PUSH1 0xe5
00000a0e: SHL
00000a0f: DUP2
00000a10: MSTORE
00000a11: PUSH1 0x20
00000a13: PUSH1 0x04
00000a15: DUP3
00000a16: ADD
00000a17: MSTORE
00000a18: PUSH1 0x27
00000a1a: PUSH1 0x24
00000a1c: DUP3
00000a1d: ADD
00000a1e: MSTORE
00000a1f: PUSH32 0x6e6f74206f6e206c69717569646174696f6e2f6f776e6572207374696c6c2068
00000a40: PUSH1 0x44
00000a42: DUP3
00000a43: ADD
00000a44: MSTORE
00000a45: PUSH32 0x61732074696d6500000000000000000000000000000000000000000000000000
00000a66: PUSH1 0x64
00000a68: DUP3
00000a69: ADD
00000a6a: MSTORE
00000a6b: PUSH1 0x84
00000a6d: ADD
00000a6e: PUSH2 0x0677
00000a71: JUMP
00000a72: JUMPDEST
00000a73: PUSH1 0x02
00000a75: DUP2
00000a76: ADD
00000a77: SLOAD
00000a78: PUSH3 0xffffff
00000a7c: AND
00000a7d: PUSH1 0x01
00000a7f: EQ
00000a80: PUSH2 0x0acb
00000a83: JUMPI
00000a84: PUSH1 0x40
00000a86: MLOAD
00000a87: PUSH3 0x461bcd
00000a8b: PUSH1 0xe5
00000a8d: SHL
00000a8e: DUP2
00000a8f: MSTORE
00000a90: PUSH1 0x20
00000a92: PUSH1 0x04
00000a94: DUP3
00000a95: ADD
00000a96: MSTORE
00000a97: PUSH1 0x18
00000a99: PUSH1 0x24
00000a9b: DUP3
00000a9c: ADD
00000a9d: MSTORE
00000a9e: PUSH32 0x77726f6e67206c69717569646174696f6e207374617475730000000000000000
00000abf: PUSH1 0x44
00000ac1: DUP3
00000ac2: ADD
00000ac3: MSTORE
00000ac4: PUSH1 0x64
00000ac6: ADD
00000ac7: PUSH2 0x0677
00000aca: JUMP
00000acb: JUMPDEST
00000acc: DUP1
00000acd: SLOAD
00000ace: PUSH1 0x01
00000ad0: PUSH1 0x01
00000ad2: PUSH1 0x80
00000ad4: SHL
00000ad5: SUB
00000ad6: AND
00000ad7: PUSH2 0x0adf
00000ada: DUP4
00000adb: PUSH2 0x29ed
00000ade: JUMP
00000adf: JUMPDEST
00000ae0: LT
00000ae1: PUSH2 0x0b2c
00000ae4: JUMPI
00000ae5: PUSH1 0x40
00000ae7: MLOAD
00000ae8: PUSH3 0x461bcd
00000aec: PUSH1 0xe5
00000aee: SHL
00000aef: DUP2
00000af0: MSTORE
00000af1: PUSH1 0x20
00000af3: PUSH1 0x04
00000af5: DUP3
00000af6: ADD
00000af7: MSTORE
00000af8: PUSH1 0x11
00000afa: PUSH1 0x24
00000afc: DUP3
00000afd: ADD
00000afe: MSTORE
00000aff: PUSH32 0x656e6f75676820636f6c6c61746572616c000000000000000000000000000000
00000b20: PUSH1 0x44
00000b22: DUP3
00000b23: ADD
00000b24: MSTORE
00000b25: PUSH1 0x64
00000b27: ADD
00000b28: PUSH2 0x0677
00000b2b: JUMP
00000b2c: JUMPDEST
00000b2d: PUSH2 0x0b37
00000b30: DUP3
00000b31: PUSH1 0x02
00000b33: PUSH2 0x3906
00000b36: JUMP
00000b37: JUMPDEST
00000b38: PUSH1 0x03
00000b3a: SLOAD
00000b3b: DUP2
00000b3c: SLOAD
00000b3d: PUSH1 0x40
00000b3f: DUP1
00000b40: MLOAD
00000b41: PUSH32 0xc66f6a0400000000000000000000000000000000000000000000000000000000
00000b62: DUP2
00000b63: MSTORE
00000b64: SWAP1
00000b65: MLOAD
00000b66: PUSH1 0x01
00000b68: PUSH1 0x01
00000b6a: PUSH1 0xa0
00000b6c: SHL
00000b6d: SUB
00000b6e: SWAP1
00000b6f: SWAP4
00000b70: AND
00000b71: SWAP3
00000b72: PUSH4 0xc66f6a04
00000b77: SWAP3
00000b78: PUSH1 0x01
00000b7a: PUSH1 0x80
00000b7c: SHL
00000b7d: SWAP1
00000b7e: DIV
00000b7f: PUSH1 0x01
00000b81: PUSH1 0x01
00000b83: PUSH1 0x80
00000b85: SHL
00000b86: SUB
00000b87: AND
00000b88: SWAP2
00000b89: PUSH1 0x04
00000b8b: DUP1
00000b8c: DUP3
00000b8d: ADD
00000b8e: SWAP3
00000b8f: PUSH1 0x20
00000b91: SWAP3
00000b92: SWAP1
00000b93: SWAP2
00000b94: SWAP1
00000b95: DUP3
00000b96: SWAP1
00000b97: SUB
00000b98: ADD
00000b99: DUP2
00000b9a: DUP6
00000b9b: DUP9
00000b9c: GAS
00000b9d: CALL
00000b9e: ISZERO
00000b9f: DUP1
00000ba0: ISZERO
00000ba1: PUSH2 0x0bac
00000ba4: JUMPI
00000ba5: RETURNDATASIZE
00000ba6: PUSH0
00000ba7: DUP1
00000ba8: RETURNDATACOPY
00000ba9: RETURNDATASIZE
00000baa: PUSH0
00000bab: REVERT
00000bac: JUMPDEST
00000bad: POP
00000bae: POP
00000baf: POP
00000bb0: POP
00000bb1: POP
00000bb2: PUSH1 0x40
00000bb4: MLOAD
00000bb5: RETURNDATASIZE
00000bb6: PUSH1 0x1f
00000bb8: NOT
00000bb9: PUSH1 0x1f
00000bbb: DUP3
00000bbc: ADD
00000bbd: AND
00000bbe: DUP3
00000bbf: ADD
00000bc0: DUP1
00000bc1: PUSH1 0x40
00000bc3: MSTORE
00000bc4: POP
00000bc5: DUP2
00000bc6: ADD
00000bc7: SWAP1
00000bc8: PUSH2 0x0bd1
00000bcb: SWAP2
00000bcc: SWAP1
00000bcd: PUSH2 0x3b44
00000bd0: JUMP
00000bd1: JUMPDEST
00000bd2: PUSH1 0x02
00000bd4: DUP3
00000bd5: ADD
00000bd6: DUP1
00000bd7: SLOAD
00000bd8: PUSH7 0xffffffff000000
00000be0: NOT
00000be1: AND
00000be2: PUSH4 0x01000000
00000be7: PUSH4 0xffffffff
00000bec: SWAP4
00000bed: DUP5
00000bee: AND
00000bef: DUP2
00000bf0: MUL
00000bf1: SWAP2
00000bf2: SWAP1
00000bf3: SWAP2
00000bf4: OR
00000bf5: SWAP2
00000bf6: DUP3
00000bf7: SWAP1
00000bf8: SSTORE
00000bf9: DUP4
00000bfa: SLOAD
00000bfb: PUSH1 0x40
00000bfd: MLOAD
00000bfe: PUSH1 0x01
00000c00: PUSH1 0x80
00000c02: SHL
00000c03: SWAP1
00000c04: SWAP2
00000c05: DIV
00000c06: PUSH1 0x01
00000c08: PUSH1 0x01
00000c0a: PUSH1 0x80
00000c0c: SHL
00000c0d: SUB
00000c0e: AND
00000c0f: DUP2
00000c10: MSTORE
00000c11: DUP6
00000c12: DUP5
00000c13: AND
00000c14: SWAP4
00000c15: SWAP2
00000c16: SWAP1
00000c17: SWAP3
00000c18: DIV
00000c19: AND
00000c1a: SWAP1
00000c1b: PUSH32 0x57d4aab32eade804f8f407f3824262274ab0ed1d0b56534364033177b91924e4
00000c3c: SWAP1
00000c3d: PUSH1 0x20
00000c3f: ADD
00000c40: PUSH1 0x40
00000c42: MLOAD
00000c43: DUP1
00000c44: SWAP2
00000c45: SUB
00000c46: SWAP1
00000c47: LOG3
00000c48: DUP1
00000c49: SLOAD
00000c4a: PUSH1 0x01
00000c4c: PUSH1 0x01
00000c4e: PUSH1 0x80
00000c50: SHL
00000c51: SUB
00000c52: AND
00000c53: SWAP1
00000c54: SSTORE
00000c55: PUSH2 0x0c5d
00000c58: PUSH1 0x01
00000c5a: PUSH0
00000c5b: SSTORE
00000c5c: JUMP
00000c5d: JUMPDEST
00000c5e: POP
00000c5f: JUMP
00000c60: JUMPDEST
00000c61: PUSH0
00000c62: DUP1
00000c63: PUSH1 0x01
00000c65: PUSH1 0x04
00000c67: SWAP1
00000c68: SLOAD
00000c69: SWAP1
00000c6a: PUSH2 0x0100
00000c6d: EXP
00000c6e: SWAP1
00000c6f: DIV
00000c70: PUSH1 0x01
00000c72: PUSH1 0x01
00000c74: PUSH1 0xa0
00000c76: SHL
00000c77: SUB
00000c78: AND
00000c79: PUSH1 0x01
00000c7b: PUSH1 0x01
00000c7d: PUSH1 0xa0
00000c7f: SHL
00000c80: SUB
00000c81: AND
00000c82: PUSH4 0x3d1a4f13
00000c87: PUSH1 0x40
00000c89: MLOAD
00000c8a: DUP2
00000c8b: PUSH4 0xffffffff
00000c90: AND
00000c91: PUSH1 0xe0
00000c93: SHL
00000c94: DUP2
00000c95: MSTORE
00000c96: PUSH1 0x04
00000c98: ADD
00000c99: PUSH1 0x20
00000c9b: PUSH1 0x40
00000c9d: MLOAD
00000c9e: DUP1
00000c9f: DUP4
00000ca0: SUB
00000ca1: DUP2
00000ca2: DUP7
00000ca3: GAS
00000ca4: STATICCALL
00000ca5: ISZERO
00000ca6: DUP1
00000ca7: ISZERO
00000ca8: PUSH2 0x0cb3
00000cab: JUMPI
00000cac: RETURNDATASIZE
00000cad: PUSH0
00000cae: DUP1
00000caf: RETURNDATACOPY
00000cb0: RETURNDATASIZE
00000cb1: PUSH0
00000cb2: REVERT
00000cb3: JUMPDEST
00000cb4: POP
00000cb5: POP
00000cb6: POP
00000cb7: POP
00000cb8: PUSH1 0x40
00000cba: MLOAD
00000cbb: RETURNDATASIZE
00000cbc: PUSH1 0x1f
00000cbe: NOT
00000cbf: PUSH1 0x1f
00000cc1: DUP3
00000cc2: ADD
00000cc3: AND
00000cc4: DUP3
00000cc5: ADD
00000cc6: DUP1
00000cc7: PUSH1 0x40
00000cc9: MSTORE
00000cca: POP
00000ccb: DUP2
00000ccc: ADD
00000ccd: SWAP1
00000cce: PUSH2 0x0cd7
00000cd1: SWAP2
00000cd2: SWAP1
00000cd3: PUSH2 0x3b06
00000cd6: JUMP
00000cd7: JUMPDEST
00000cd8: PUSH1 0x01
00000cda: SLOAD
00000cdb: PUSH1 0x40
00000cdd: MLOAD
00000cde: PUSH32 0xafd0fd1d00000000000000000000000000000000000000000000000000000000
00000cff: DUP2
00000d00: MSTORE
00000d01: PUSH1 0x20
00000d03: PUSH1 0x04
00000d05: DUP3
00000d06: ADD
00000d07: MSTORE
00000d08: PUSH1 0x03
00000d0a: PUSH1 0x24
00000d0c: DUP3
00000d0d: ADD
00000d0e: MSTORE
00000d0f: PUSH32 0x6574680000000000000000000000000000000000000000000000000000000000
00000d30: PUSH1 0x44
00000d32: DUP3
00000d33: ADD
00000d34: MSTORE
00000d35: SWAP2
00000d36: SWAP3
00000d37: POP
00000d38: PUSH0
00000d39: SWAP2
00000d3a: PUSH5 0x0100000000
00000d40: SWAP1
00000d41: SWAP2
00000d42: DIV
00000d43: PUSH1 0x01
00000d45: PUSH1 0x01
00000d47: PUSH1 0xa0
00000d49: SHL
00000d4a: SUB
00000d4b: AND
00000d4c: SWAP1
00000d4d: PUSH4 0xafd0fd1d
00000d52: SWAP1
00000d53: PUSH1 0x64
00000d55: ADD
00000d56: PUSH1 0x20
00000d58: PUSH1 0x40
00000d5a: MLOAD
00000d5b: DUP1
00000d5c: DUP4
00000d5d: SUB
00000d5e: DUP2
00000d5f: DUP7
00000d60: GAS
00000d61: STATICCALL
00000d62: ISZERO
00000d63: DUP1
00000d64: ISZERO
00000d65: PUSH2 0x0d70
00000d68: JUMPI
00000d69: RETURNDATASIZE
00000d6a: PUSH0
00000d6b: DUP1
00000d6c: RETURNDATACOPY
00000d6d: RETURNDATASIZE
00000d6e: PUSH0
00000d6f: REVERT
00000d70: JUMPDEST
00000d71: POP
00000d72: POP
00000d73: POP
00000d74: POP
00000d75: PUSH1 0x40
00000d77: MLOAD
00000d78: RETURNDATASIZE
00000d79: PUSH1 0x1f
00000d7b: NOT
00000d7c: PUSH1 0x1f
00000d7e: DUP3
00000d7f: ADD
00000d80: AND
00000d81: DUP3
00000d82: ADD
00000d83: DUP1
00000d84: PUSH1 0x40
00000d86: MSTORE
00000d87: POP
00000d88: DUP2
00000d89: ADD
00000d8a: SWAP1
00000d8b: PUSH2 0x0d94
00000d8e: SWAP2
00000d8f: SWAP1
00000d90: PUSH2 0x3b5f
00000d93: JUMP
00000d94: JUMPDEST
00000d95: PUSH1 0xff
00000d97: AND
00000d98: SWAP1
00000d99: POP
00000d9a: PUSH1 0x64
00000d9c: PUSH2 0x0da6
00000d9f: DUP3
00000da0: PUSH1 0x0a
00000da2: PUSH2 0x3c62
00000da5: JUMP
00000da6: JUMPDEST
00000da7: PUSH1 0x40
00000da9: MLOAD
00000daa: PUSH4 0x145f822b
00000daf: PUSH1 0xe0
00000db1: SHL
00000db2: DUP2
00000db3: MSTORE
00000db4: PUSH1 0x20
00000db6: PUSH1 0x04
00000db8: DUP3
00000db9: ADD
00000dba: MSTORE
00000dbb: PUSH1 0x12
00000dbd: PUSH1 0x24
00000dbf: DUP3
00000dc0: ADD
00000dc1: MSTORE
00000dc2: PUSH32 0x636f6c6c61746572616c446973636f756e740000000000000000000000000000
00000de3: PUSH1 0x44
00000de5: DUP3
00000de6: ADD
00000de7: MSTORE
00000de8: PUSH32 0x00000000000000000000000055ead3b40016b1d5417f5a20f2d1e53e2d1c9122
00000e09: PUSH1 0x01
00000e0b: PUSH1 0x01
00000e0d: PUSH1 0xa0
00000e0f: SHL
00000e10: SUB
00000e11: AND
00000e12: SWAP1
00000e13: PUSH4 0x145f822b
00000e18: SWAP1
00000e19: PUSH1 0x64
00000e1b: ADD
00000e1c: PUSH1 0x20
00000e1e: PUSH1 0x40
00000e20: MLOAD
00000e21: DUP1
00000e22: DUP4
00000e23: SUB
00000e24: DUP2
00000e25: DUP7
00000e26: GAS
00000e27: STATICCALL
00000e28: ISZERO
00000e29: DUP1
00000e2a: ISZERO
00000e2b: PUSH2 0x0e36
00000e2e: JUMPI
00000e2f: RETURNDATASIZE
00000e30: PUSH0
00000e31: DUP1
00000e32: RETURNDATACOPY
00000e33: RETURNDATASIZE
00000e34: PUSH0
00000e35: REVERT
00000e36: JUMPDEST
00000e37: POP
00000e38: POP
00000e39: POP
00000e3a: POP
00000e3b: PUSH1 0x40
00000e3d: MLOAD
00000e3e: RETURNDATASIZE
00000e3f: PUSH1 0x1f
00000e41: NOT
00000e42: PUSH1 0x1f
00000e44: DUP3
00000e45: ADD
00000e46: AND
00000e47: DUP3
00000e48: ADD
00000e49: DUP1
00000e4a: PUSH1 0x40
00000e4c: MSTORE
00000e4d: POP
00000e4e: DUP2
00000e4f: ADD
00000e50: SWAP1
00000e51: PUSH2 0x0e5a
00000e54: SWAP2
00000e55: SWAP1
00000e56: PUSH2 0x3b06
00000e59: JUMP
00000e5a: JUMPDEST
00000e5b: PUSH2 0x0e65
00000e5e: SWAP1
00000e5f: PUSH1 0x64
00000e61: PUSH2 0x3b31
00000e64: JUMP
00000e65: JUMPDEST
00000e66: PUSH2 0x0e6f
00000e69: DUP6
00000e6a: DUP9
00000e6b: PUSH2 0x3c6d
00000e6e: JUMP
00000e6f: JUMPDEST
00000e70: PUSH2 0x0e79
00000e73: SWAP2
00000e74: SWAP1
00000e75: PUSH2 0x3c6d
00000e78: JUMP
00000e79: JUMPDEST
00000e7a: PUSH2 0x0e83
00000e7d: SWAP2
00000e7e: SWAP1
00000e7f: PUSH2 0x3c84
00000e82: JUMP
00000e83: JUMPDEST
00000e84: PUSH2 0x0e8d
00000e87: SWAP2
00000e88: SWAP1
00000e89: PUSH2 0x3c84
00000e8c: JUMP
00000e8d: JUMPDEST
00000e8e: SWAP5
00000e8f: SWAP4
00000e90: POP
00000e91: POP
00000e92: POP
00000e93: POP
00000e94: JUMP
00000e95: JUMPDEST
00000e96: PUSH1 0x40
00000e98: MLOAD
00000e99: PUSH4 0xbdfe7d47
00000e9e: PUSH1 0xe0
00000ea0: SHL
00000ea1: DUP2
00000ea2: MSTORE
00000ea3: PUSH1 0x20
00000ea5: PUSH1 0x04
00000ea7: DUP3
00000ea8: ADD
00000ea9: MSTORE
00000eaa: PUSH1 0x08
00000eac: PUSH1 0x24
00000eae: DUP3
00000eaf: ADD
00000eb0: MSTORE
00000eb1: PUSH32 0x666c6174436f696e000000000000000000000000000000000000000000000000
00000ed2: PUSH1 0x44
00000ed4: DUP3
00000ed5: ADD
00000ed6: MSTORE
00000ed7: PUSH32 0x00000000000000000000000055ead3b40016b1d5417f5a20f2d1e53e2d1c9122
00000ef8: PUSH1 0x01
00000efa: PUSH1 0x01
00000efc: PUSH1 0xa0
00000efe: SHL
00000eff: SUB
00000f00: AND
00000f01: SWAP1
00000f02: PUSH4 0xbdfe7d47
00000f07: SWAP1
00000f08: PUSH1 0x64
00000f0a: ADD
00000f0b: PUSH1 0x20
00000f0d: PUSH1 0x40
00000f0f: MLOAD
00000f10: DUP1
00000f11: DUP4
00000f12: SUB
00000f13: DUP2
00000f14: DUP7
00000f15: GAS
00000f16: STATICCALL
00000f17: ISZERO
00000f18: DUP1
00000f19: ISZERO
00000f1a: PUSH2 0x0f25
00000f1d: JUMPI
00000f1e: RETURNDATASIZE
00000f1f: PUSH0
00000f20: DUP1
00000f21: RETURNDATACOPY
00000f22: RETURNDATASIZE
00000f23: PUSH0
00000f24: REVERT
00000f25: JUMPDEST
00000f26: POP
00000f27: POP
00000f28: POP
00000f29: POP
00000f2a: PUSH1 0x40
00000f2c: MLOAD
00000f2d: RETURNDATASIZE
00000f2e: PUSH1 0x1f
00000f30: NOT
00000f31: PUSH1 0x1f
00000f33: DUP3
00000f34: ADD
00000f35: AND
00000f36: DUP3
00000f37: ADD
00000f38: DUP1
00000f39: PUSH1 0x40
00000f3b: MSTORE
00000f3c: POP
00000f3d: DUP2
00000f3e: ADD
00000f3f: SWAP1
00000f40: PUSH2 0x0f49
00000f43: SWAP2
00000f44: SWAP1
00000f45: PUSH2 0x3aeb
00000f48: JUMP
00000f49: JUMPDEST
00000f4a: PUSH1 0x02
00000f4c: DUP1
00000f4d: SLOAD
00000f4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f63: NOT
00000f64: AND
00000f65: PUSH1 0x01
00000f67: PUSH1 0x01
00000f69: PUSH1 0xa0
00000f6b: SHL
00000f6c: SUB
00000f6d: SWAP3
00000f6e: DUP4
00000f6f: AND
00000f70: OR
00000f71: SWAP1
00000f72: SSTORE
00000f73: PUSH1 0x40
00000f75: MLOAD
00000f76: PUSH4 0xbdfe7d47
00000f7b: PUSH1 0xe0
00000f7d: SHL
00000f7e: DUP2
00000f7f: MSTORE
00000f80: PUSH1 0x20
00000f82: PUSH1 0x04
00000f84: DUP1
00000f85: DUP4
00000f86: ADD
00000f87: SWAP2
00000f88: SWAP1
00000f89: SWAP2
00000f8a: MSTORE
00000f8b: PUSH1 0x24
00000f8d: DUP3
00000f8e: ADD
00000f8f: MSTORE
00000f90: PUSH32 0x72756c6500000000000000000000000000000000000000000000000000000000
00000fb1: PUSH1 0x44
00000fb3: DUP3
00000fb4: ADD
00000fb5: MSTORE
00000fb6: PUSH32 0x00000000000000000000000055ead3b40016b1d5417f5a20f2d1e53e2d1c9122
00000fd7: SWAP1
00000fd8: SWAP2
00000fd9: AND
00000fda: SWAP1
00000fdb: PUSH4 0xbdfe7d47
00000fe0: SWAP1
00000fe1: PUSH1 0x64
00000fe3: ADD
00000fe4: PUSH1 0x20
00000fe6: PUSH1 0x40
00000fe8: MLOAD
00000fe9: DUP1
00000fea: DUP4
00000feb: SUB
00000fec: DUP2
00000fed: DUP7
00000fee: GAS
00000fef: STATICCALL
00000ff0: ISZERO
00000ff1: DUP1
00000ff2: ISZERO
00000ff3: PUSH2 0x0ffe
00000ff6: JUMPI
00000ff7: RETURNDATASIZE
00000ff8: PUSH0
00000ff9: DUP1
00000ffa: RETURNDATACOPY
00000ffb: RETURNDATASIZE
00000ffc: PUSH0
00000ffd: REVERT
00000ffe: JUMPDEST
00000fff: POP
00001000: POP
00001001: POP
00001002: POP
00001003: PUSH1 0x40
00001005: MLOAD
00001006: RETURNDATASIZE
00001007: PUSH1 0x1f
00001009: NOT
0000100a: PUSH1 0x1f
0000100c: DUP3
0000100d: ADD
0000100e: AND
0000100f: DUP3
00001010: ADD
00001011: DUP1
00001012: PUSH1 0x40
00001014: MSTORE
00001015: POP
00001016: DUP2
00001017: ADD
00001018: SWAP1
00001019: PUSH2 0x1022
0000101c: SWAP2
0000101d: SWAP1
0000101e: PUSH2 0x3aeb
00001021: JUMP
00001022: JUMPDEST
00001023: PUSH1 0x04
00001025: DUP1
00001026: SLOAD
00001027: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000103c: NOT
0000103d: AND
0000103e: PUSH1 0x01
00001040: PUSH1 0x01
00001042: PUSH1 0xa0
00001044: SHL
00001045: SUB
00001046: SWAP3
00001047: DUP4
00001048: AND
00001049: OR
0000104a: DUP2
0000104b: SSTORE
0000104c: PUSH1 0x40
0000104e: MLOAD
0000104f: PUSH4 0xbdfe7d47
00001054: PUSH1 0xe0
00001056: SHL
00001057: DUP2
00001058: MSTORE
00001059: PUSH1 0x20
0000105b: SWAP2
0000105c: DUP2
0000105d: ADD
0000105e: SWAP2
0000105f: SWAP1
00001060: SWAP2
00001061: MSTORE
00001062: PUSH1 0x06
00001064: PUSH1 0x24
00001066: DUP3
00001067: ADD
00001068: MSTORE
00001069: PUSH32 0x6261736b65740000000000000000000000000000000000000000000000000000
0000108a: PUSH1 0x44
0000108c: DUP3
0000108d: ADD
0000108e: MSTORE
0000108f: PUSH32 0x00000000000000000000000055ead3b40016b1d5417f5a20f2d1e53e2d1c9122
000010b0: SWAP1
000010b1: SWAP2
000010b2: AND
000010b3: SWAP1
000010b4: PUSH4 0xbdfe7d47
000010b9: SWAP1
000010ba: PUSH1 0x64
000010bc: ADD
000010bd: PUSH1 0x20
000010bf: PUSH1 0x40
000010c1: MLOAD
000010c2: DUP1
000010c3: DUP4
000010c4: SUB
000010c5: DUP2
000010c6: DUP7
000010c7: GAS
000010c8: STATICCALL
000010c9: ISZERO
000010ca: DUP1
000010cb: ISZERO
000010cc: PUSH2 0x10d7
000010cf: JUMPI
000010d0: RETURNDATASIZE
000010d1: PUSH0
000010d2: DUP1
000010d3: RETURNDATACOPY
000010d4: RETURNDATASIZE
000010d5: PUSH0
000010d6: REVERT
000010d7: JUMPDEST
000010d8: POP
000010d9: POP
000010da: POP
000010db: POP
000010dc: PUSH1 0x40
000010de: MLOAD
000010df: RETURNDATASIZE
000010e0: PUSH1 0x1f
000010e2: NOT
000010e3: PUSH1 0x1f
000010e5: DUP3
000010e6: ADD
000010e7: AND
000010e8: DUP3
000010e9: ADD
000010ea: DUP1
000010eb: PUSH1 0x40
000010ed: MSTORE
000010ee: POP
000010ef: DUP2
000010f0: ADD
000010f1: SWAP1
000010f2: PUSH2 0x10fb
000010f5: SWAP2
000010f6: SWAP1
000010f7: PUSH2 0x3aeb
000010fa: JUMP
000010fb: JUMPDEST
000010fc: PUSH1 0x01
000010fe: DUP1
000010ff: SLOAD
00001100: PUSH32 0xffffffffffffffff0000000000000000000000000000000000000000ffffffff
00001121: AND
00001122: PUSH5 0x0100000000
00001128: PUSH1 0x01
0000112a: PUSH1 0x01
0000112c: PUSH1 0xa0
0000112e: SHL
0000112f: SUB
00001130: SWAP4
00001131: DUP5
00001132: AND
00001133: MUL
00001134: OR
00001135: SWAP1
00001136: SSTORE
00001137: PUSH1 0x40
00001139: MLOAD
0000113a: PUSH4 0xbdfe7d47
0000113f: PUSH1 0xe0
00001141: SHL
00001142: DUP2
00001143: MSTORE
00001144: PUSH1 0x20
00001146: PUSH1 0x04
00001148: DUP3
00001149: ADD
0000114a: MSTORE
0000114b: PUSH1 0x07
0000114d: PUSH1 0x24
0000114f: DUP3
00001150: ADD
00001151: MSTORE
00001152: PUSH7 0x30bab1ba34b7b7
0000115a: PUSH1 0xc9
0000115c: SHL
0000115d: PUSH1 0x44
0000115f: DUP3
00001160: ADD
00001161: MSTORE
00001162: PUSH32 0x00000000000000000000000055ead3b40016b1d5417f5a20f2d1e53e2d1c9122
00001183: SWAP1
00001184: SWAP2
00001185: AND
00001186: SWAP1
00001187: PUSH4 0xbdfe7d47
0000118c: SWAP1
0000118d: PUSH1 0x64
0000118f: ADD
00001190: PUSH1 0x20
00001192: PUSH1 0x40
00001194: MLOAD
00001195: DUP1
00001196: DUP4
00001197: SUB
00001198: DUP2
00001199: DUP7
0000119a: GAS
0000119b: STATICCALL
0000119c: ISZERO
0000119d: DUP1
0000119e: ISZERO
0000119f: PUSH2 0x11aa
000011a2: JUMPI
000011a3: RETURNDATASIZE
000011a4: PUSH0
000011a5: DUP1
000011a6: RETURNDATACOPY
000011a7: RETURNDATASIZE
000011a8: PUSH0
000011a9: REVERT
000011aa: JUMPDEST
000011ab: POP
000011ac: POP
000011ad: POP
000011ae: POP
000011af: PUSH1 0x40
000011b1: MLOAD
000011b2: RETURNDATASIZE
000011b3: PUSH1 0x1f
000011b5: NOT
000011b6: PUSH1 0x1f
000011b8: DUP3
000011b9: ADD
000011ba: AND
000011bb: DUP3
000011bc: ADD
000011bd: DUP1
000011be: PUSH1 0x40
000011c0: MSTORE
000011c1: POP
000011c2: DUP2
000011c3: ADD
000011c4: SWAP1
000011c5: PUSH2 0x11ce
000011c8: SWAP2
000011c9: SWAP1
000011ca: PUSH2 0x3aeb
000011cd: JUMP
000011ce: JUMPDEST
000011cf: PUSH1 0x03
000011d1: DUP1
000011d2: SLOAD
000011d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e8: NOT
000011e9: AND
000011ea: PUSH1 0x01
000011ec: PUSH1 0x01
000011ee: PUSH1 0xa0
000011f0: SHL
000011f1: SUB
000011f2: SWAP3
000011f3: SWAP1
000011f4: SWAP3
000011f5: AND
000011f6: SWAP2
000011f7: SWAP1
000011f8: SWAP2
000011f9: OR
000011fa: SWAP1
000011fb: SSTORE
000011fc: JUMP
000011fd: JUMPDEST
000011fe: PUSH2 0x1205
00001201: PUSH2 0x3992
00001204: JUMP
00001205: JUMPDEST
00001206: PUSH4 0xffffffff
0000120b: DUP2
0000120c: AND
0000120d: PUSH0
0000120e: SWAP1
0000120f: DUP2
00001210: MSTORE
00001211: PUSH1 0x05
00001213: PUSH1 0x20
00001215: MSTORE
00001216: PUSH1 0x40
00001218: SWAP1
00001219: KECCAK256
0000121a: PUSH1 0x02
0000121c: DUP1
0000121d: DUP3
0000121e: ADD
0000121f: SLOAD
00001220: PUSH3 0xffffff
00001224: AND
00001225: EQ
00001226: DUP1
00001227: ISZERO
00001228: PUSH2 0x1241
0000122b: JUMPI
0000122c: POP
0000122d: PUSH1 0x02
0000122f: DUP2
00001230: ADD
00001231: SLOAD
00001232: PUSH4 0x01000000
00001237: SWAP1
00001238: DIV
00001239: PUSH4 0xffffffff
0000123e: AND
0000123f: ISZERO
00001240: ISZERO
00001241: JUMPDEST
00001242: PUSH2 0x12b3
00001245: JUMPI
00001246: PUSH1 0x40
00001248: MLOAD
00001249: PUSH3 0x461bcd
0000124d: PUSH1 0xe5
0000124f: SHL
00001250: DUP2
00001251: MSTORE
00001252: PUSH1 0x20
00001254: PUSH1 0x04
00001256: DUP3
00001257: ADD
00001258: MSTORE
00001259: PUSH1 0x30
0000125b: PUSH1 0x24
0000125d: DUP3
0000125e: ADD
0000125f: MSTORE
00001260: PUSH32 0x6e6f74206f6e206c69717569646174696f6e206f72206c697175696461746564
00001281: PUSH1 0x44
00001283: DUP3
00001284: ADD
00001285: MSTORE
00001286: PUSH32 0x2f61756374696f6e207374617274656400000000000000000000000000000000
000012a7: PUSH1 0x64
000012a9: DUP3
000012aa: ADD
000012ab: MSTORE
000012ac: PUSH1 0x84
000012ae: ADD
000012af: PUSH2 0x0677
000012b2: JUMP
000012b3: JUMPDEST
000012b4: PUSH1 0x03
000012b6: SLOAD
000012b7: PUSH1 0x02
000012b9: DUP3
000012ba: ADD
000012bb: SLOAD
000012bc: PUSH1 0x40
000012be: MLOAD
000012bf: PUSH32 0xc745f33f00000000000000000000000000000000000000000000000000000000
000012e0: DUP2
000012e1: MSTORE
000012e2: PUSH4 0x01000000
000012e7: SWAP1
000012e8: SWAP2
000012e9: DIV
000012ea: PUSH4 0xffffffff
000012ef: AND
000012f0: PUSH1 0x04
000012f2: DUP3
000012f3: ADD
000012f4: MSTORE
000012f5: PUSH1 0x01
000012f7: PUSH1 0x01
000012f9: PUSH1 0xa0
000012fb: SHL
000012fc: SUB
000012fd: SWAP1
000012fe: SWAP2
000012ff: AND
00001300: SWAP1
00001301: PUSH4 0xc745f33f
00001306: SWAP1
00001307: PUSH1 0x24
00001309: ADD
0000130a: PUSH1 0x20
0000130c: PUSH1 0x40
0000130e: MLOAD
0000130f: DUP1
00001310: DUP4
00001311: SUB
00001312: DUP2
00001313: DUP7
00001314: GAS
00001315: STATICCALL
00001316: ISZERO
00001317: DUP1
00001318: ISZERO
00001319: PUSH2 0x1324
0000131c: JUMPI
0000131d: RETURNDATASIZE
0000131e: PUSH0
0000131f: DUP1
00001320: RETURNDATACOPY
00001321: RETURNDATASIZE
00001322: PUSH0
00001323: REVERT
00001324: JUMPDEST
00001325: POP
00001326: POP
00001327: POP
00001328: POP
00001329: PUSH1 0x40
0000132b: MLOAD
0000132c: RETURNDATASIZE
0000132d: PUSH1 0x1f
0000132f: NOT
00001330: PUSH1 0x1f
00001332: DUP3
00001333: ADD
00001334: AND
00001335: DUP3
00001336: ADD
00001337: DUP1
00001338: PUSH1 0x40
0000133a: MSTORE
0000133b: POP
0000133c: DUP2
0000133d: ADD
0000133e: SWAP1
0000133f: PUSH2 0x1348
00001342: SWAP2
00001343: SWAP1
00001344: PUSH2 0x3ca3
00001347: JUMP
00001348: JUMPDEST
00001349: PUSH2 0x142e
0000134c: JUMPI
0000134d: PUSH1 0x03
0000134f: SLOAD
00001350: PUSH1 0x02
00001352: DUP3
00001353: ADD
00001354: SLOAD
00001355: PUSH1 0x40
00001357: MLOAD
00001358: PUSH32 0xbd249ab600000000000000000000000000000000000000000000000000000000
00001379: DUP2
0000137a: MSTORE
0000137b: PUSH4 0x01000000
00001380: SWAP1
00001381: SWAP2
00001382: DIV
00001383: PUSH4 0xffffffff
00001388: AND
00001389: PUSH1 0x04
0000138b: DUP3
0000138c: ADD
0000138d: MSTORE
0000138e: PUSH1 0x01
00001390: PUSH1 0x01
00001392: PUSH1 0xa0
00001394: SHL
00001395: SUB
00001396: SWAP1
00001397: SWAP2
00001398: AND
00001399: SWAP1
0000139a: PUSH4 0xbd249ab6
0000139f: SWAP1
000013a0: PUSH1 0x24
000013a2: ADD
000013a3: PUSH1 0x20
000013a5: PUSH1 0x40
000013a7: MLOAD
000013a8: DUP1
000013a9: DUP4
000013aa: SUB
000013ab: DUP2
000013ac: PUSH0
000013ad: DUP8
000013ae: GAS
000013af: CALL
000013b0: ISZERO
000013b1: DUP1
000013b2: ISZERO
000013b3: PUSH2 0x13be
000013b6: JUMPI
000013b7: RETURNDATASIZE
000013b8: PUSH0
000013b9: DUP1
000013ba: RETURNDATACOPY
000013bb: RETURNDATASIZE
000013bc: PUSH0
000013bd: REVERT
000013be: JUMPDEST
000013bf: POP
000013c0: POP
000013c1: POP
000013c2: POP
000013c3: PUSH1 0x40
000013c5: MLOAD
000013c6: RETURNDATASIZE
000013c7: PUSH1 0x1f
000013c9: NOT
000013ca: PUSH1 0x1f
000013cc: DUP3
000013cd: ADD
000013ce: AND
000013cf: DUP3
000013d0: ADD
000013d1: DUP1
000013d2: PUSH1 0x40
000013d4: MSTORE
000013d5: POP
000013d6: DUP2
000013d7: ADD
000013d8: SWAP1
000013d9: PUSH2 0x13e2
000013dc: SWAP2
000013dd: SWAP1
000013de: PUSH2 0x3ca3
000013e1: JUMP
000013e2: JUMPDEST
000013e3: PUSH2 0x142e
000013e6: JUMPI
000013e7: PUSH1 0x40
000013e9: MLOAD
000013ea: PUSH3 0x461bcd
000013ee: PUSH1 0xe5
000013f0: SHL
000013f1: DUP2
000013f2: MSTORE
000013f3: PUSH1 0x20
000013f5: PUSH1 0x04
000013f7: DUP3
000013f8: ADD
000013f9: MSTORE
000013fa: PUSH1 0x0f
000013fc: PUSH1 0x24
000013fe: DUP3
000013ff: ADD
00001400: MSTORE
00001401: PUSH32 0x66696e616c697a65206661696c65640000000000000000000000000000000000
00001422: PUSH1 0x44
00001424: DUP3
00001425: ADD
00001426: MSTORE
00001427: PUSH1 0x64
00001429: ADD
0000142a: PUSH2 0x0677
0000142d: JUMP
0000142e: JUMPDEST
0000142f: PUSH1 0x03
00001431: SLOAD
00001432: PUSH1 0x02
00001434: DUP3
00001435: ADD
00001436: SLOAD
00001437: PUSH1 0x40
00001439: MLOAD
0000143a: PUSH32 0x82eae40200000000000000000000000000000000000000000000000000000000
0000145b: DUP2
0000145c: MSTORE
0000145d: PUSH4 0x01000000
00001462: SWAP1
00001463: SWAP2
00001464: DIV
00001465: PUSH4 0xffffffff
0000146a: AND
0000146b: PUSH1 0x04
0000146d: DUP3
0000146e: ADD
0000146f: MSTORE
00001470: PUSH0
00001471: SWAP2
00001472: PUSH1 0x01
00001474: PUSH1 0x01
00001476: PUSH1 0xa0
00001478: SHL
00001479: SUB
0000147a: AND
0000147b: SWAP1
0000147c: PUSH4 0x82eae402
00001481: SWAP1
00001482: PUSH1 0x24
00001484: ADD
00001485: PUSH1 0x20
00001487: PUSH1 0x40
00001489: MLOAD
0000148a: DUP1
0000148b: DUP4
0000148c: SUB
0000148d: DUP2
0000148e: DUP7
0000148f: GAS
00001490: STATICCALL
00001491: ISZERO
00001492: DUP1
00001493: ISZERO
00001494: PUSH2 0x149f
00001497: JUMPI
00001498: RETURNDATASIZE
00001499: PUSH0
0000149a: DUP1
0000149b: RETURNDATACOPY
0000149c: RETURNDATASIZE
0000149d: PUSH0
0000149e: REVERT
0000149f: JUMPDEST
000014a0: POP
000014a1: POP
000014a2: POP
000014a3: POP
000014a4: PUSH1 0x40
000014a6: MLOAD
000014a7: RETURNDATASIZE
000014a8: PUSH1 0x1f
000014aa: NOT
000014ab: PUSH1 0x1f
000014ad: DUP3
000014ae: ADD
000014af: AND
000014b0: DUP3
000014b1: ADD
000014b2: DUP1
000014b3: PUSH1 0x40
000014b5: MSTORE
000014b6: POP
000014b7: DUP2
000014b8: ADD
000014b9: SWAP1
000014ba: PUSH2 0x14c3
000014bd: SWAP2
000014be: SWAP1
000014bf: PUSH2 0x3b06
000014c2: JUMP
000014c3: JUMPDEST
000014c4: DUP3
000014c5: SLOAD
000014c6: SWAP1
000014c7: SWAP2
000014c8: POP
000014c9: PUSH1 0x01
000014cb: PUSH1 0x01
000014cd: PUSH1 0x80
000014cf: SHL
000014d0: SUB
000014d1: AND
000014d2: DUP2
000014d3: LT
000014d4: PUSH2 0x1755
000014d7: JUMPI
000014d8: PUSH1 0x40
000014da: MLOAD
000014db: PUSH4 0x145f822b
000014e0: PUSH1 0xe0
000014e2: SHL
000014e3: DUP2
000014e4: MSTORE
000014e5: PUSH1 0x20
000014e7: PUSH1 0x04
000014e9: DUP3
000014ea: ADD
000014eb: MSTORE
000014ec: PUSH1 0x0e
000014ee: PUSH1 0x24
000014f0: DUP3
000014f1: ADD
000014f2: MSTORE
000014f3: PUSH32 0x6c69717569646174696f6e466565000000000000000000000000000000000000
00001514: PUSH1 0x44
00001516: DUP3
00001517: ADD
00001518: MSTORE
00001519: PUSH0
0000151a: SWAP1
0000151b: PUSH1 0x64
0000151d: SWAP1
0000151e: PUSH1 0x01
00001520: PUSH1 0x01
00001522: PUSH1 0xa0
00001524: SHL
00001525: SUB
00001526: PUSH32 0x00000000000000000000000055ead3b40016b1d5417f5a20f2d1e53e2d1c9122
00001547: AND
00001548: SWAP1
00001549: PUSH4 0x145f822b
0000154e: SWAP1
0000154f: DUP4
00001550: ADD
00001551: PUSH1 0x20
00001553: PUSH1 0x40
00001555: MLOAD
00001556: DUP1
00001557: DUP4
00001558: SUB
00001559: DUP2
0000155a: DUP7
0000155b: GAS
0000155c: STATICCALL
0000155d: ISZERO
0000155e: DUP1
0000155f: ISZERO
00001560: PUSH2 0x156b
00001563: JUMPI
00001564: RETURNDATASIZE
00001565: PUSH0
00001566: DUP1
00001567: RETURNDATACOPY
00001568: RETURNDATASIZE
00001569: PUSH0
0000156a: REVERT
0000156b: JUMPDEST
0000156c: POP
0000156d: POP
0000156e: POP
0000156f: POP
00001570: PUSH1 0x40
00001572: MLOAD
00001573: RETURNDATASIZE
00001574: PUSH1 0x1f
00001576: NOT
00001577: PUSH1 0x1f
00001579: DUP3
0000157a: ADD
0000157b: AND
0000157c: DUP3
0000157d: ADD
0000157e: DUP1
0000157f: PUSH1 0x40
00001581: MSTORE
00001582: POP
00001583: DUP2
00001584: ADD
00001585: SWAP1
00001586: PUSH2 0x158f
00001589: SWAP2
0000158a: SWAP1
0000158b: PUSH2 0x3b06
0000158e: JUMP
0000158f: JUMPDEST
00001590: DUP5
00001591: SLOAD
00001592: PUSH2 0x15a4
00001595: SWAP2
00001596: SWAP1
00001597: PUSH1 0x01
00001599: PUSH1 0x01
0000159b: PUSH1 0x80
0000159d: SHL
0000159e: SUB
0000159f: AND
000015a0: PUSH2 0x3c6d
000015a3: JUMP
000015a4: JUMPDEST
000015a5: PUSH2 0x15ae
000015a8: SWAP2
000015a9: SWAP1
000015aa: PUSH2 0x3c84
000015ad: JUMP
000015ae: JUMPDEST
000015af: PUSH2 0x15b7
000015b2: DUP6
000015b3: PUSH2 0x3842
000015b6: JUMP
000015b7: JUMPDEST
000015b8: DUP5
000015b9: SLOAD
000015ba: PUSH2 0x15cc
000015bd: SWAP2
000015be: SWAP1
000015bf: PUSH1 0x01
000015c1: PUSH1 0x01
000015c3: PUSH1 0x80
000015c5: SHL
000015c6: SUB
000015c7: AND
000015c8: PUSH2 0x3cc2
000015cb: JUMP
000015cc: JUMPDEST
000015cd: PUSH2 0x15d6
000015d0: SWAP2
000015d1: SWAP1
000015d2: PUSH2 0x3cc2
000015d5: JUMP
000015d6: JUMPDEST
000015d7: SWAP1
000015d8: POP
000015d9: DUP1
000015da: DUP3
000015db: GT
000015dc: ISZERO
000015dd: PUSH2 0x16b6
000015e0: JUMPI
000015e1: PUSH1 0x02
000015e3: DUP1
000015e4: SLOAD
000015e5: SWAP1
000015e6: DUP5
000015e7: ADD
000015e8: SLOAD
000015e9: PUSH1 0x01
000015eb: PUSH1 0x01
000015ed: PUSH1 0xa0
000015ef: SHL
000015f0: SUB
000015f1: SWAP2
000015f2: DUP3
000015f3: AND
000015f4: SWAP2
000015f5: PUSH4 0xa9059cbb
000015fa: SWAP2
000015fb: PUSH1 0x01
000015fd: PUSH1 0x40
000015ff: SHL
00001600: SWAP1
00001601: DIV
00001602: AND
00001603: PUSH2 0x160c
00001606: DUP5
00001607: DUP7
00001608: PUSH2 0x3b31
0000160b: JUMP
0000160c: JUMPDEST
0000160d: PUSH1 0x40
0000160f: MLOAD
00001610: PUSH1 0x01
00001612: PUSH1 0x01
00001614: PUSH1 0xe0
00001616: SHL
00001617: SUB
00001618: NOT
00001619: PUSH1 0xe0
0000161b: DUP6
0000161c: SWAP1
0000161d: SHL
0000161e: AND
0000161f: DUP2
00001620: MSTORE
00001621: PUSH1 0x01
00001623: PUSH1 0x01
00001625: PUSH1 0xa0
00001627: SHL
00001628: SUB
00001629: SWAP1
0000162a: SWAP3
0000162b: AND
0000162c: PUSH1 0x04
0000162e: DUP4
0000162f: ADD
00001630: MSTORE
00001631: PUSH1 0x24
00001633: DUP3
00001634: ADD
00001635: MSTORE
00001636: PUSH1 0x44
00001638: ADD
00001639: PUSH1 0x20
0000163b: PUSH1 0x40
0000163d: MLOAD
0000163e: DUP1
0000163f: DUP4
00001640: SUB
00001641: DUP2
00001642: PUSH0
00001643: DUP8
00001644: GAS
00001645: CALL
00001646: ISZERO
00001647: DUP1
00001648: ISZERO
00001649: PUSH2 0x1654
0000164c: JUMPI
0000164d: RETURNDATASIZE
0000164e: PUSH0
0000164f: DUP1
00001650: RETURNDATACOPY
00001651: RETURNDATASIZE
00001652: PUSH0
00001653: REVERT
00001654: JUMPDEST
00001655: POP
00001656: POP
00001657: POP
00001658: POP
00001659: PUSH1 0x40
0000165b: MLOAD
0000165c: RETURNDATASIZE
0000165d: PUSH1 0x1f
0000165f: NOT
00001660: PUSH1 0x1f
00001662: DUP3
00001663: ADD
00001664: AND
00001665: DUP3
00001666: ADD
00001667: DUP1
00001668: PUSH1 0x40
0000166a: MSTORE
0000166b: POP
0000166c: DUP2
0000166d: ADD
0000166e: SWAP1
0000166f: PUSH2 0x1678
00001672: SWAP2
00001673: SWAP1
00001674: PUSH2 0x3ca3
00001677: JUMP
00001678: JUMPDEST
00001679: PUSH2 0x16b6
0000167c: JUMPI
0000167d: PUSH1 0x40
0000167f: MLOAD
00001680: PUSH3 0x461bcd
00001684: PUSH1 0xe5
00001686: SHL
00001687: DUP2
00001688: MSTORE
00001689: PUSH1 0x20
0000168b: PUSH1 0x04
0000168d: DUP3
0000168e: ADD
0000168f: MSTORE
00001690: PUSH1 0x0f
00001692: PUSH1 0x24
00001694: DUP3
00001695: ADD
00001696: MSTORE
00001697: PUSH15 0x1d1c985b9cd9995c8819985a5b1959
000016a7: PUSH1 0x8a
000016a9: SHL
000016aa: PUSH1 0x44
000016ac: DUP3
000016ad: ADD
000016ae: MSTORE
000016af: PUSH1 0x64
000016b1: ADD
000016b2: PUSH2 0x0677
000016b5: JUMP
000016b6: JUMPDEST
000016b7: PUSH1 0x02
000016b9: SLOAD
000016ba: DUP4
000016bb: SLOAD
000016bc: PUSH1 0x40
000016be: MLOAD
000016bf: PUSH4 0x2770a7eb
000016c4: PUSH1 0xe2
000016c6: SHL
000016c7: DUP2
000016c8: MSTORE
000016c9: PUSH1 0x01
000016cb: PUSH1 0x01
000016cd: PUSH1 0xa0
000016cf: SHL
000016d0: SUB
000016d1: PUSH32 0x000000000000000000000000bcf58de37791efe60fe87a6d420fe8f7aea99ef8
000016f2: DUP2
000016f3: AND
000016f4: PUSH1 0x04
000016f6: DUP4
000016f7: ADD
000016f8: MSTORE
000016f9: PUSH1 0x01
000016fb: PUSH1 0x01
000016fd: PUSH1 0x80
000016ff: SHL
00001700: SUB
00001701: SWAP1
00001702: SWAP3
00001703: AND
00001704: PUSH1 0x24
00001706: DUP3
00001707: ADD
00001708: MSTORE
00001709: SWAP2
0000170a: AND
0000170b: SWAP1
0000170c: PUSH4 0x9dc29fac
00001711: SWAP1
00001712: PUSH1 0x44
00001714: ADD
00001715: JUMPDEST
00001716: PUSH0
00001717: PUSH1 0x40
00001719: MLOAD
0000171a: DUP1
0000171b: DUP4
0000171c: SUB
0000171d: DUP2
0000171e: PUSH0
0000171f: DUP8
00001720: DUP1
00001721: EXTCODESIZE
00001722: ISZERO
00001723: DUP1
00001724: ISZERO
00001725: PUSH2 0x172c
00001728: JUMPI
00001729: PUSH0
0000172a: DUP1
0000172b: REVERT
0000172c: JUMPDEST
0000172d: POP
0000172e: GAS
0000172f: CALL
00001730: ISZERO
00001731: DUP1
00001732: ISZERO
00001733: PUSH2 0x173e
00001736: JUMPI
00001737: RETURNDATASIZE
00001738: PUSH0
00001739: DUP1
0000173a: RETURNDATACOPY
0000173b: RETURNDATASIZE
0000173c: PUSH0
0000173d: REVERT
0000173e: JUMPDEST
0000173f: POP
00001740: POP
00001741: POP
00001742: POP
00001743: PUSH2 0x174d
00001746: DUP5
00001747: PUSH1 0x03
00001749: PUSH2 0x3906
0000174c: JUMP
0000174d: JUMPDEST
0000174e: POP
0000174f: POP
00001750: POP
00001751: PUSH2 0x19a1
00001754: JUMP
00001755: JUMPDEST
00001756: PUSH1 0x02
00001758: SLOAD
00001759: PUSH1 0x40
0000175b: MLOAD
0000175c: PUSH4 0x70a08231
00001761: PUSH1 0xe0
00001763: SHL
00001764: DUP2
00001765: MSTORE
00001766: PUSH1 0x01
00001768: PUSH1 0x01
0000176a: PUSH1 0xa0
0000176c: SHL
0000176d: SUB
0000176e: PUSH32 0x000000000000000000000000bcf58de37791efe60fe87a6d420fe8f7aea99ef8
0000178f: DUP2
00001790: AND
00001791: PUSH1 0x04
00001793: DUP4
00001794: ADD
00001795: MSTORE
00001796: PUSH0
00001797: SWAP3
00001798: AND
00001799: SWAP1
0000179a: PUSH4 0x70a08231
0000179f: SWAP1
000017a0: PUSH1 0x24
000017a2: ADD
000017a3: PUSH1 0x20
000017a5: PUSH1 0x40
000017a7: MLOAD
000017a8: DUP1
000017a9: DUP4
000017aa: SUB
000017ab: DUP2
000017ac: DUP7
000017ad: GAS
000017ae: STATICCALL
000017af: ISZERO
000017b0: DUP1
000017b1: ISZERO
000017b2: PUSH2 0x17bd
000017b5: JUMPI
000017b6: RETURNDATASIZE
000017b7: PUSH0
000017b8: DUP1
000017b9: RETURNDATACOPY
000017ba: RETURNDATASIZE
000017bb: PUSH0
000017bc: REVERT
000017bd: JUMPDEST
000017be: POP
000017bf: POP
000017c0: POP
000017c1: POP
000017c2: PUSH1 0x40
000017c4: MLOAD
000017c5: RETURNDATASIZE
000017c6: PUSH1 0x1f
000017c8: NOT
000017c9: PUSH1 0x1f
000017cb: DUP3
000017cc: ADD
000017cd: AND
000017ce: DUP3
000017cf: ADD
000017d0: DUP1
000017d1: PUSH1 0x40
000017d3: MSTORE
000017d4: POP
000017d5: DUP2
000017d6: ADD
000017d7: SWAP1
000017d8: PUSH2 0x17e1
000017db: SWAP2
000017dc: SWAP1
000017dd: PUSH2 0x3b06
000017e0: JUMP
000017e1: JUMPDEST
000017e2: DUP4
000017e3: SLOAD
000017e4: SWAP1
000017e5: SWAP2
000017e6: POP
000017e7: PUSH1 0x01
000017e9: PUSH1 0x01
000017eb: PUSH1 0x80
000017ed: SHL
000017ee: SUB
000017ef: AND
000017f0: DUP2
000017f1: LT
000017f2: PUSH2 0x1858
000017f5: JUMPI
000017f6: PUSH1 0x02
000017f8: SLOAD
000017f9: DUP4
000017fa: SLOAD
000017fb: PUSH1 0x40
000017fd: MLOAD
000017fe: PUSH4 0x2770a7eb
00001803: PUSH1 0xe2
00001805: SHL
00001806: DUP2
00001807: MSTORE
00001808: PUSH1 0x01
0000180a: PUSH1 0x01
0000180c: PUSH1 0xa0
0000180e: SHL
0000180f: SUB
00001810: PUSH32 0x000000000000000000000000bcf58de37791efe60fe87a6d420fe8f7aea99ef8
00001831: DUP2
00001832: AND
00001833: PUSH1 0x04
00001835: DUP4
00001836: ADD
00001837: MSTORE
00001838: PUSH1 0x01
0000183a: PUSH1 0x01
0000183c: PUSH1 0x80
0000183e: SHL
0000183f: SUB
00001840: SWAP1
00001841: SWAP3
00001842: AND
00001843: PUSH1 0x24
00001845: DUP3
00001846: ADD
00001847: MSTORE
00001848: SWAP2
00001849: AND
0000184a: SWAP1
0000184b: PUSH4 0x9dc29fac
00001850: SWAP1
00001851: PUSH1 0x44
00001853: ADD
00001854: PUSH2 0x1715
00001857: JUMP
00001858: JUMPDEST
00001859: PUSH1 0x02
0000185b: SLOAD
0000185c: PUSH1 0x40
0000185e: MLOAD
0000185f: PUSH4 0x2770a7eb
00001864: PUSH1 0xe2
00001866: SHL
00001867: DUP2
00001868: MSTORE
00001869: PUSH1 0x01
0000186b: PUSH1 0x01
0000186d: PUSH1 0xa0
0000186f: SHL
00001870: SUB
00001871: PUSH32 0x000000000000000000000000bcf58de37791efe60fe87a6d420fe8f7aea99ef8
00001892: DUP2
00001893: AND
00001894: PUSH1 0x04
00001896: DUP4
00001897: ADD
00001898: MSTORE
00001899: PUSH1 0x24
0000189b: DUP3
0000189c: ADD
0000189d: DUP5
0000189e: SWAP1
0000189f: MSTORE
000018a0: SWAP1
000018a1: SWAP2
000018a2: AND
000018a3: SWAP1
000018a4: PUSH4 0x9dc29fac
000018a9: SWAP1
000018aa: PUSH1 0x44
000018ac: ADD
000018ad: PUSH0
000018ae: PUSH1 0x40
000018b0: MLOAD
000018b1: DUP1
000018b2: DUP4
000018b3: SUB
000018b4: DUP2
000018b5: PUSH0
000018b6: DUP8
000018b7: DUP1
000018b8: EXTCODESIZE
000018b9: ISZERO
000018ba: DUP1
000018bb: ISZERO
000018bc: PUSH2 0x18c3
000018bf: JUMPI
000018c0: PUSH0
000018c1: DUP1
000018c2: REVERT
000018c3: JUMPDEST
000018c4: POP
000018c5: GAS
000018c6: CALL
000018c7: ISZERO
000018c8: DUP1
000018c9: ISZERO
000018ca: PUSH2 0x18d5
000018cd: JUMPI
000018ce: RETURNDATASIZE
000018cf: PUSH0
000018d0: DUP1
000018d1: RETURNDATACOPY
000018d2: RETURNDATASIZE
000018d3: PUSH0
000018d4: REVERT
000018d5: JUMPDEST
000018d6: POP
000018d7: POP
000018d8: DUP5
000018d9: SLOAD
000018da: DUP4
000018db: SWAP3
000018dc: POP
000018dd: DUP6
000018de: SWAP2
000018df: POP
000018e0: PUSH0
000018e1: SWAP1
000018e2: PUSH2 0x18f5
000018e5: SWAP1
000018e6: DUP5
000018e7: SWAP1
000018e8: PUSH1 0x01
000018ea: PUSH1 0x01
000018ec: PUSH1 0x80
000018ee: SHL
000018ef: SUB
000018f0: AND
000018f1: PUSH2 0x3cd5
000018f4: JUMP
000018f5: JUMPDEST
000018f6: DUP3
000018f7: SLOAD
000018f8: PUSH2 0x0100
000018fb: SWAP3
000018fc: SWAP1
000018fd: SWAP3
000018fe: EXP
000018ff: PUSH1 0x01
00001901: PUSH1 0x01
00001903: PUSH1 0x80
00001905: SHL
00001906: SUB
00001907: DUP2
00001908: DUP2
00001909: MUL
0000190a: NOT
0000190b: SWAP1
0000190c: SWAP4
0000190d: AND
0000190e: SWAP2
0000190f: DUP4
00001910: AND
00001911: MUL
00001912: OR
00001913: SWAP1
00001914: SWAP2
00001915: SSTORE
00001916: PUSH1 0x03
00001918: SLOAD
00001919: DUP6
0000191a: SLOAD
0000191b: PUSH1 0x40
0000191d: MLOAD
0000191e: PUSH32 0xf85badde00000000000000000000000000000000000000000000000000000000
0000193f: DUP2
00001940: MSTORE
00001941: SWAP3
00001942: AND
00001943: PUSH1 0x04
00001945: DUP4
00001946: ADD
00001947: MSTORE
00001948: PUSH1 0x01
0000194a: PUSH1 0x01
0000194c: PUSH1 0xa0
0000194e: SHL
0000194f: SUB
00001950: AND
00001951: SWAP2
00001952: POP
00001953: PUSH4 0xf85badde
00001958: SWAP1
00001959: PUSH1 0x24
0000195b: ADD
0000195c: PUSH1 0x20
0000195e: PUSH1 0x40
00001960: MLOAD
00001961: DUP1
00001962: DUP4
00001963: SUB
00001964: DUP2
00001965: PUSH0
00001966: DUP8
00001967: GAS
00001968: CALL
00001969: ISZERO
0000196a: DUP1
0000196b: ISZERO
0000196c: PUSH2 0x1977
0000196f: JUMPI
00001970: RETURNDATASIZE
00001971: PUSH0
00001972: DUP1
00001973: RETURNDATACOPY
00001974: RETURNDATASIZE
00001975: PUSH0
00001976: REVERT
00001977: JUMPDEST
00001978: POP
00001979: POP
0000197a: POP
0000197b: POP
0000197c: PUSH1 0x40
0000197e: MLOAD
0000197f: RETURNDATASIZE
00001980: PUSH1 0x1f
00001982: NOT
00001983: PUSH1 0x1f
00001985: DUP3
00001986: ADD
00001987: AND
00001988: DUP3
00001989: ADD
0000198a: DUP1
0000198b: PUSH1 0x40
0000198d: MSTORE
0000198e: POP
0000198f: DUP2
00001990: ADD
00001991: SWAP1
00001992: PUSH2 0x199b
00001995: SWAP2
00001996: SWAP1
00001997: PUSH2 0x3b06
0000199a: JUMP
0000199b: JUMPDEST
0000199c: POP
0000199d: POP
0000199e: JUMPDEST
0000199f: POP
000019a0: POP
000019a1: JUMPDEST
000019a2: PUSH2 0x0c5d
000019a5: PUSH1 0x01
000019a7: PUSH0
000019a8: SSTORE
000019a9: JUMP
000019aa: JUMPDEST
000019ab: PUSH2 0x19b2
000019ae: PUSH2 0x3992
000019b1: JUMP
000019b2: JUMPDEST
000019b3: PUSH4 0xffffffff
000019b8: DUP2
000019b9: AND
000019ba: PUSH0
000019bb: SWAP1
000019bc: DUP2
000019bd: MSTORE
000019be: PUSH1 0x05
000019c0: PUSH1 0x20
000019c2: MSTORE
000019c3: PUSH1 0x40
000019c5: SWAP1
000019c6: KECCAK256
000019c7: PUSH1 0x02
000019c9: DUP2
000019ca: ADD
000019cb: SLOAD
000019cc: PUSH1 0x01
000019ce: PUSH1 0x40
000019d0: SHL
000019d1: SWAP1
000019d2: DIV
000019d3: PUSH1 0x01
000019d5: PUSH1 0x01
000019d7: PUSH1 0xa0
000019d9: SHL
000019da: SUB
000019db: AND
000019dc: CALLER
000019dd: EQ
000019de: PUSH2 0x1a16
000019e1: JUMPI
000019e2: PUSH1 0x40
000019e4: MLOAD
000019e5: PUSH3 0x461bcd
000019e9: PUSH1 0xe5
000019eb: SHL
000019ec: DUP2
000019ed: MSTORE
000019ee: PUSH1 0x20
000019f0: PUSH1 0x04
000019f2: DUP3
000019f3: ADD
000019f4: MSTORE
000019f5: PUSH1 0x0a
000019f7: PUSH1 0x24
000019f9: DUP3
000019fa: ADD
000019fb: MSTORE
000019fc: PUSH10 0x37b7363c9037bbb732b9
00001a07: PUSH1 0xb1
00001a09: SHL
00001a0a: PUSH1 0x44
00001a0c: DUP3
00001a0d: ADD
00001a0e: MSTORE
00001a0f: PUSH1 0x64
00001a11: ADD
00001a12: PUSH2 0x0677
00001a15: JUMP
00001a16: JUMPDEST
00001a17: PUSH1 0x02
00001a19: DUP2
00001a1a: DUP2
00001a1b: ADD
00001a1c: SLOAD
00001a1d: PUSH3 0xffffff
00001a21: AND
00001a22: LT
00001a23: PUSH2 0x1a94
00001a26: JUMPI
00001a27: PUSH1 0x40
00001a29: MLOAD
00001a2a: PUSH3 0x461bcd
00001a2e: PUSH1 0xe5
00001a30: SHL
00001a31: DUP2
00001a32: MSTORE
00001a33: PUSH1 0x20
00001a35: PUSH1 0x04
00001a37: DUP3
00001a38: ADD
00001a39: MSTORE
00001a3a: PUSH1 0x23
00001a3c: PUSH1 0x24
00001a3e: DUP3
00001a3f: ADD
00001a40: MSTORE
00001a41: PUSH32 0x6f6e206c69717569646174696f6e206f72206c6971756964617465642f636c6f
00001a62: PUSH1 0x44
00001a64: DUP3
00001a65: ADD
00001a66: MSTORE
00001a67: PUSH32 0x7365640000000000000000000000000000000000000000000000000000000000
00001a88: PUSH1 0x64
00001a8a: DUP3
00001a8b: ADD
00001a8c: MSTORE
00001a8d: PUSH1 0x84
00001a8f: ADD
00001a90: PUSH2 0x0677
00001a93: JUMP
00001a94: JUMPDEST
00001a95: DUP1
00001a96: SLOAD
00001a97: PUSH0
00001a98: SWAP1
00001a99: PUSH1 0x01
00001a9b: PUSH1 0x01
00001a9d: PUSH1 0x80
00001a9f: SHL
00001aa0: SUB
00001aa1: AND
00001aa2: PUSH2 0x1aaa
00001aa5: DUP5
00001aa6: PUSH2 0x3842
00001aa9: JUMP
00001aaa: JUMPDEST
00001aab: PUSH2 0x1ab4
00001aae: SWAP2
00001aaf: SWAP1
00001ab0: PUSH2 0x3cc2
00001ab3: JUMP
00001ab4: JUMPDEST
00001ab5: PUSH1 0x02
00001ab7: DUP1
00001ab8: SLOAD
00001ab9: SWAP1
00001aba: DUP5
00001abb: ADD
00001abc: SLOAD
00001abd: PUSH1 0x40
00001abf: MLOAD
00001ac0: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00001ae1: DUP2
00001ae2: MSTORE
00001ae3: PUSH1 0x01
00001ae5: PUSH1 0x01
00001ae7: PUSH1 0xa0
00001ae9: SHL
00001aea: SUB
00001aeb: PUSH1 0x01
00001aed: PUSH1 0x40
00001aef: SHL
00001af0: SWAP1
00001af1: SWAP3
00001af2: DIV
00001af3: DUP3
00001af4: AND
00001af5: PUSH1 0x04
00001af7: DUP3
00001af8: ADD
00001af9: MSTORE
00001afa: PUSH32 0x000000000000000000000000bcf58de37791efe60fe87a6d420fe8f7aea99ef8
00001b1b: DUP3
00001b1c: AND
00001b1d: PUSH1 0x24
00001b1f: DUP3
00001b20: ADD
00001b21: MSTORE
00001b22: PUSH1 0x44
00001b24: DUP2
00001b25: ADD
00001b26: DUP5
00001b27: SWAP1
00001b28: MSTORE
00001b29: SWAP3
00001b2a: SWAP4
00001b2b: POP
00001b2c: AND
00001b2d: SWAP1
00001b2e: PUSH4 0x23b872dd
00001b33: SWAP1
00001b34: PUSH1 0x64
00001b36: ADD
00001b37: PUSH1 0x20
00001b39: PUSH1 0x40
00001b3b: MLOAD
00001b3c: DUP1
00001b3d: DUP4
00001b3e: SUB
00001b3f: DUP2
00001b40: PUSH0
00001b41: DUP8
00001b42: GAS
00001b43: CALL
00001b44: ISZERO
00001b45: DUP1
00001b46: ISZERO
00001b47: PUSH2 0x1b52
00001b4a: JUMPI
00001b4b: RETURNDATASIZE
00001b4c: PUSH0
00001b4d: DUP1
00001b4e: RETURNDATACOPY
00001b4f: RETURNDATASIZE
00001b50: PUSH0
00001b51: REVERT
00001b52: JUMPDEST
00001b53: POP
00001b54: POP
00001b55: POP
00001b56: POP
00001b57: PUSH1 0x40
00001b59: MLOAD
00001b5a: RETURNDATASIZE
00001b5b: PUSH1 0x1f
00001b5d: NOT
00001b5e: PUSH1 0x1f
00001b60: DUP3
00001b61: ADD
00001b62: AND
00001b63: DUP3
00001b64: ADD
00001b65: DUP1
00001b66: PUSH1 0x40
00001b68: MSTORE
00001b69: POP
00001b6a: DUP2
00001b6b: ADD
00001b6c: SWAP1
00001b6d: PUSH2 0x1b76
00001b70: SWAP2
00001b71: SWAP1
00001b72: PUSH2 0x3ca3
00001b75: JUMP
00001b76: JUMPDEST
00001b77: PUSH2 0x1bc2
00001b7a: JUMPI
00001b7b: PUSH1 0x40
00001b7d: MLOAD
00001b7e: PUSH3 0x461bcd
00001b82: PUSH1 0xe5
00001b84: SHL
00001b85: DUP2
00001b86: MSTORE
00001b87: PUSH1 0x20
00001b89: PUSH1 0x04
00001b8b: DUP3
00001b8c: ADD
00001b8d: MSTORE
00001b8e: PUSH1 0x1c
00001b90: PUSH1 0x24
00001b92: DUP3
00001b93: ADD
00001b94: MSTORE
00001b95: PUSH32 0x7472616e73666572206661696c65642c20616c6c6f7720666972737400000000
00001bb6: PUSH1 0x44
00001bb8: DUP3
00001bb9: ADD
00001bba: MSTORE
00001bbb: PUSH1 0x64
00001bbd: ADD
00001bbe: PUSH2 0x0677
00001bc1: JUMP
00001bc2: JUMPDEST
00001bc3: PUSH1 0x02
00001bc5: DUP3
00001bc6: ADD
00001bc7: SLOAD
00001bc8: DUP3
00001bc9: SLOAD
00001bca: PUSH1 0x40
00001bcc: MLOAD
00001bcd: PUSH1 0x01
00001bcf: PUSH1 0x40
00001bd1: SHL
00001bd2: SWAP1
00001bd3: SWAP3
00001bd4: DIV
00001bd5: PUSH1 0x01
00001bd7: PUSH1 0x01
00001bd9: PUSH1 0xa0
00001bdb: SHL
00001bdc: SUB
00001bdd: AND
00001bde: SWAP2
00001bdf: PUSH2 0x08fc
00001be2: PUSH1 0x01
00001be4: PUSH1 0x80
00001be6: SHL
00001be7: SWAP1
00001be8: SWAP3
00001be9: DIV
00001bea: PUSH1 0x01
00001bec: PUSH1 0x01
00001bee: PUSH1 0x80
00001bf0: SHL
00001bf1: SUB
00001bf2: AND
00001bf3: DUP1
00001bf4: ISZERO
00001bf5: SWAP3
00001bf6: SWAP1
00001bf7: SWAP3
00001bf8: MUL
00001bf9: SWAP2
00001bfa: SWAP1
00001bfb: PUSH0
00001bfc: DUP2
00001bfd: DUP2
00001bfe: DUP2
00001bff: DUP6
00001c00: DUP9
00001c01: DUP9
00001c02: CALL
00001c03: SWAP4
00001c04: POP
00001c05: POP
00001c06: POP
00001c07: POP
00001c08: PUSH2 0x1c45
00001c0b: JUMPI
00001c0c: PUSH1 0x40
00001c0e: MLOAD
00001c0f: PUSH3 0x461bcd
00001c13: PUSH1 0xe5
00001c15: SHL
00001c16: DUP2
00001c17: MSTORE
00001c18: PUSH1 0x20
00001c1a: PUSH1 0x04
00001c1c: DUP3
00001c1d: ADD
00001c1e: MSTORE
00001c1f: PUSH1 0x0f
00001c21: PUSH1 0x24
00001c23: DUP3
00001c24: ADD
00001c25: MSTORE
00001c26: PUSH15 0x1d1c985b9cd9995c8819985a5b1959
00001c36: PUSH1 0x8a
00001c38: SHL
00001c39: PUSH1 0x44
00001c3b: DUP3
00001c3c: ADD
00001c3d: MSTORE
00001c3e: PUSH1 0x64
00001c40: ADD
00001c41: PUSH2 0x0677
00001c44: JUMP
00001c45: JUMPDEST
00001c46: PUSH1 0x02
00001c48: SLOAD
00001c49: DUP3
00001c4a: SLOAD
00001c4b: PUSH1 0x40
00001c4d: MLOAD
00001c4e: PUSH4 0x2770a7eb
00001c53: PUSH1 0xe2
00001c55: SHL
00001c56: DUP2
00001c57: MSTORE
00001c58: PUSH1 0x01
00001c5a: PUSH1 0x01
00001c5c: PUSH1 0xa0
00001c5e: SHL
00001c5f: SUB
00001c60: PUSH32 0x000000000000000000000000bcf58de37791efe60fe87a6d420fe8f7aea99ef8
00001c81: DUP2
00001c82: AND
00001c83: PUSH1 0x04
00001c85: DUP4
00001c86: ADD
00001c87: MSTORE
00001c88: PUSH1 0x01
00001c8a: PUSH1 0x01
00001c8c: PUSH1 0x80
00001c8e: SHL
00001c8f: SUB
00001c90: SWAP1
00001c91: SWAP3
00001c92: AND
00001c93: PUSH1 0x24
00001c95: DUP3
00001c96: ADD
00001c97: MSTORE
00001c98: SWAP2
00001c99: AND
00001c9a: SWAP1
00001c9b: PUSH4 0x9dc29fac
00001ca0: SWAP1
00001ca1: PUSH1 0x44
00001ca3: ADD
00001ca4: PUSH0
00001ca5: PUSH1 0x40
00001ca7: MLOAD
00001ca8: DUP1
00001ca9: DUP4
00001caa: SUB
00001cab: DUP2
00001cac: PUSH0
00001cad: DUP8
00001cae: DUP1
00001caf: EXTCODESIZE
00001cb0: ISZERO
00001cb1: DUP1
00001cb2: ISZERO
00001cb3: PUSH2 0x1cba
00001cb6: JUMPI
00001cb7: PUSH0
00001cb8: DUP1
00001cb9: REVERT
00001cba: JUMPDEST
00001cbb: POP
00001cbc: GAS
00001cbd: CALL
00001cbe: ISZERO
00001cbf: DUP1
00001cc0: ISZERO
00001cc1: PUSH2 0x1ccc
00001cc4: JUMPI
00001cc5: RETURNDATASIZE
00001cc6: PUSH0
00001cc7: DUP1
00001cc8: RETURNDATACOPY
00001cc9: RETURNDATASIZE
00001cca: PUSH0
00001ccb: REVERT
00001ccc: JUMPDEST
00001ccd: POP
00001cce: POP
00001ccf: POP
00001cd0: POP
00001cd1: PUSH2 0x199e
00001cd4: DUP4
00001cd5: PUSH1 0x04
00001cd7: PUSH2 0x3906
00001cda: JUMP
00001cdb: JUMPDEST
00001cdc: PUSH0
00001cdd: PUSH2 0x1ce4
00001ce0: PUSH2 0x3992
00001ce3: JUMP
00001ce4: JUMPDEST
00001ce5: PUSH4 0xffffffff
00001cea: DUP4
00001ceb: AND
00001cec: PUSH0
00001ced: SWAP1
00001cee: DUP2
00001cef: MSTORE
00001cf0: PUSH1 0x05
00001cf2: PUSH1 0x20
00001cf4: MSTORE
00001cf5: PUSH1 0x40
00001cf7: SWAP1
00001cf8: KECCAK256
00001cf9: PUSH1 0x02
00001cfb: DUP1
00001cfc: DUP3
00001cfd: ADD
00001cfe: SLOAD
00001cff: PUSH3 0xffffff
00001d03: AND
00001d04: LT
00001d05: PUSH2 0x1d50
00001d08: JUMPI
00001d09: PUSH1 0x40
00001d0b: MLOAD
00001d0c: PUSH3 0x461bcd
00001d10: PUSH1 0xe5
00001d12: SHL
00001d13: DUP2
00001d14: MSTORE
00001d15: PUSH1 0x20
00001d17: PUSH1 0x04
00001d19: DUP3
00001d1a: ADD
00001d1b: MSTORE
00001d1c: PUSH1 0x17
00001d1e: PUSH1 0x24
00001d20: DUP3
00001d21: ADD
00001d22: MSTORE
00001d23: PUSH32 0x77726f6e67206c69717569646174696f6e537461747573000000000000000000
00001d44: PUSH1 0x44
00001d46: DUP3
00001d47: ADD
00001d48: MSTORE
00001d49: PUSH1 0x64
00001d4b: ADD
00001d4c: PUSH2 0x0677
00001d4f: JUMP
00001d50: JUMPDEST
00001d51: PUSH1 0x02
00001d53: DUP2
00001d54: ADD
00001d55: SLOAD
00001d56: PUSH1 0x01
00001d58: PUSH1 0x40
00001d5a: SHL
00001d5b: SWAP1
00001d5c: DIV
00001d5d: PUSH1 0x01
00001d5f: PUSH1 0x01
00001d61: PUSH1 0xa0
00001d63: SHL
00001d64: SUB
00001d65: AND
00001d66: CALLER
00001d67: EQ
00001d68: PUSH2 0x1da0
00001d6b: JUMPI
00001d6c: PUSH1 0x40
00001d6e: MLOAD
00001d6f: PUSH3 0x461bcd
00001d73: PUSH1 0xe5
00001d75: SHL
00001d76: DUP2
00001d77: MSTORE
00001d78: PUSH1 0x20
00001d7a: PUSH1 0x04
00001d7c: DUP3
00001d7d: ADD
00001d7e: MSTORE
00001d7f: PUSH1 0x0a
00001d81: PUSH1 0x24
00001d83: DUP3
00001d84: ADD
00001d85: MSTORE
00001d86: PUSH10 0x37b7363c9037bbb732b9
00001d91: PUSH1 0xb1
00001d93: SHL
00001d94: PUSH1 0x44
00001d96: DUP3
00001d97: ADD
00001d98: MSTORE
00001d99: PUSH1 0x64
00001d9b: ADD
00001d9c: PUSH2 0x0677
00001d9f: JUMP
00001da0: JUMPDEST
00001da1: PUSH1 0x40
00001da3: MLOAD
00001da4: PUSH4 0x145f822b
00001da9: PUSH1 0xe0
00001dab: SHL
00001dac: DUP2
00001dad: MSTORE
00001dae: PUSH1 0x20
00001db0: PUSH1 0x04
00001db2: DUP3
00001db3: ADD
00001db4: MSTORE
00001db5: PUSH1 0x0e
00001db7: PUSH1 0x24
00001db9: DUP3
00001dba: ADD
00001dbb: MSTORE
00001dbc: PUSH32 0x6d696e436f696e73546f4d696e74000000000000000000000000000000000000
00001ddd: PUSH1 0x44
00001ddf: DUP3
00001de0: ADD
00001de1: MSTORE
00001de2: PUSH32 0x00000000000000000000000055ead3b40016b1d5417f5a20f2d1e53e2d1c9122
00001e03: PUSH1 0x01
00001e05: PUSH1 0x01
00001e07: PUSH1 0xa0
00001e09: SHL
00001e0a: SUB
00001e0b: AND
00001e0c: SWAP1
00001e0d: PUSH4 0x145f822b
00001e12: SWAP1
00001e13: PUSH1 0x64
00001e15: ADD
00001e16: PUSH1 0x20
00001e18: PUSH1 0x40
00001e1a: MLOAD
00001e1b: DUP1
00001e1c: DUP4
00001e1d: SUB
00001e1e: DUP2
00001e1f: DUP7
00001e20: GAS
00001e21: STATICCALL
00001e22: ISZERO
00001e23: DUP1
00001e24: ISZERO
00001e25: PUSH2 0x1e30
00001e28: JUMPI
00001e29: RETURNDATASIZE
00001e2a: PUSH0
00001e2b: DUP1
00001e2c: RETURNDATACOPY
00001e2d: RETURNDATASIZE
00001e2e: PUSH0
00001e2f: REVERT
00001e30: JUMPDEST
00001e31: POP
00001e32: POP
00001e33: POP
00001e34: POP
00001e35: PUSH1 0x40
00001e37: MLOAD
00001e38: RETURNDATASIZE
00001e39: PUSH1 0x1f
00001e3b: NOT
00001e3c: PUSH1 0x1f
00001e3e: DUP3
00001e3f: ADD
00001e40: AND
00001e41: DUP3
00001e42: ADD
00001e43: DUP1
00001e44: PUSH1 0x40
00001e46: MSTORE
00001e47: POP
00001e48: DUP2
00001e49: ADD
00001e4a: SWAP1
00001e4b: PUSH2 0x1e54
00001e4e: SWAP2
00001e4f: SWAP1
00001e50: PUSH2 0x3b06
00001e53: JUMP
00001e54: JUMPDEST
00001e55: DUP4
00001e56: LT
00001e57: ISZERO
00001e58: PUSH2 0x1ea3
00001e5b: JUMPI
00001e5c: PUSH1 0x40
00001e5e: MLOAD
00001e5f: PUSH3 0x461bcd
00001e63: PUSH1 0xe5
00001e65: SHL
00001e66: DUP2
00001e67: MSTORE
00001e68: PUSH1 0x20
00001e6a: PUSH1 0x04
00001e6c: DUP3
00001e6d: ADD
00001e6e: MSTORE
00001e6f: PUSH1 0x10
00001e71: PUSH1 0x24
00001e73: DUP3
00001e74: ADD
00001e75: MSTORE
00001e76: PUSH32 0x746f6f206c6974746c6520636f696e7300000000000000000000000000000000
00001e97: PUSH1 0x44
00001e99: DUP3
00001e9a: ADD
00001e9b: MSTORE
00001e9c: PUSH1 0x64
00001e9e: ADD
00001e9f: PUSH2 0x0677
00001ea2: JUMP
00001ea3: JUMPDEST
00001ea4: PUSH2 0x1eac
00001ea7: DUP5
00001ea8: PUSH2 0x37c2
00001eab: JUMP
00001eac: JUMPDEST
00001ead: PUSH1 0x01
00001eaf: DUP3
00001eb0: ADD
00001eb1: DUP1
00001eb2: SLOAD
00001eb3: PUSH0
00001eb4: SWAP1
00001eb5: PUSH2 0x1ec8
00001eb8: SWAP1
00001eb9: DUP5
00001eba: SWAP1
00001ebb: PUSH1 0x01
00001ebd: PUSH1 0x01
00001ebf: PUSH1 0x80
00001ec1: SHL
00001ec2: SUB
00001ec3: AND
00001ec4: PUSH2 0x3cf4
00001ec7: JUMP
00001ec8: JUMPDEST
00001ec9: DUP3
00001eca: SLOAD
00001ecb: PUSH2 0x0100
00001ece: SWAP3
00001ecf: SWAP1
00001ed0: SWAP3
00001ed1: EXP
00001ed2: PUSH1 0x01
00001ed4: PUSH1 0x01
00001ed6: PUSH1 0x80
00001ed8: SHL
00001ed9: SUB
00001eda: DUP2
00001edb: DUP2
00001edc: MUL
00001edd: NOT
00001ede: SWAP1
00001edf: SWAP4
00001ee0: AND
00001ee1: SWAP2
00001ee2: SWAP1
00001ee3: SWAP3
00001ee4: AND
00001ee5: SWAP2
00001ee6: SWAP1
00001ee7: SWAP2
00001ee8: MUL
00001ee9: OR
00001eea: SWAP1
00001eeb: SSTORE
00001eec: POP
00001eed: PUSH1 0x01
00001eef: DUP2
00001ef0: ADD
00001ef1: DUP1
00001ef2: SLOAD
00001ef3: PUSH4 0xffffffff
00001ef8: PUSH1 0xa0
00001efa: SHL
00001efb: NOT
00001efc: AND
00001efd: PUSH1 0x01
00001eff: PUSH1 0xa0
00001f01: SHL
00001f02: TIMESTAMP
00001f03: PUSH4 0xffffffff
00001f08: AND
00001f09: MUL
00001f0a: OR
00001f0b: SWAP1
00001f0c: SSTORE
00001f0d: CALLVALUE
00001f0e: ISZERO
00001f0f: PUSH2 0x1f5b
00001f12: JUMPI
00001f13: DUP1
00001f14: SLOAD
00001f15: CALLVALUE
00001f16: SWAP1
00001f17: DUP3
00001f18: SWAP1
00001f19: PUSH1 0x10
00001f1b: SWAP1
00001f1c: PUSH2 0x1f36
00001f1f: SWAP1
00001f20: DUP5
00001f21: SWAP1
00001f22: PUSH1 0x01
00001f24: PUSH1 0x80
00001f26: SHL
00001f27: SWAP1
00001f28: DIV
00001f29: PUSH1 0x01
00001f2b: PUSH1 0x01
00001f2d: PUSH1 0x80
00001f2f: SHL
00001f30: SUB
00001f31: AND
00001f32: PUSH2 0x3cf4
00001f35: JUMP
00001f36: JUMPDEST
00001f37: SWAP3
00001f38: POP
00001f39: PUSH2 0x0100
00001f3c: EXP
00001f3d: DUP2
00001f3e: SLOAD
00001f3f: DUP2
00001f40: PUSH1 0x01
00001f42: PUSH1 0x01
00001f44: PUSH1 0x80
00001f46: SHL
00001f47: SUB
00001f48: MUL
00001f49: NOT
00001f4a: AND
00001f4b: SWAP1
00001f4c: DUP4
00001f4d: PUSH1 0x01
00001f4f: PUSH1 0x01
00001f51: PUSH1 0x80
00001f53: SHL
00001f54: SUB
00001f55: AND
00001f56: MUL
00001f57: OR
00001f58: SWAP1
00001f59: SSTORE
00001f5a: POP
00001f5b: JUMPDEST
00001f5c: DUP3
00001f5d: PUSH2 0x1f65
00001f60: DUP6
00001f61: PUSH2 0x29ed
00001f64: JUMP
00001f65: JUMPDEST
00001f66: LT
00001f67: ISZERO
00001f68: PUSH2 0x1fb3
00001f6b: JUMPI
00001f6c: PUSH1 0x40
00001f6e: MLOAD
00001f6f: PUSH3 0x461bcd
00001f73: PUSH1 0xe5
00001f75: SHL
00001f76: DUP2
00001f77: MSTORE
00001f78: PUSH1 0x20
00001f7a: PUSH1 0x04
00001f7c: DUP3
00001f7d: ADD
00001f7e: MSTORE
00001f7f: PUSH1 0x15
00001f81: PUSH1 0x24
00001f83: DUP3
00001f84: ADD
00001f85: MSTORE
00001f86: PUSH32 0x6e6f7420656e6f75676820636f6c6c61746572616c0000000000000000000000
00001fa7: PUSH1 0x44
00001fa9: DUP3
00001faa: ADD
00001fab: MSTORE
00001fac: PUSH1 0x64
00001fae: ADD
00001faf: PUSH2 0x0677
00001fb2: JUMP
00001fb3: JUMPDEST
00001fb4: DUP1
00001fb5: SLOAD
00001fb6: PUSH1 0x01
00001fb8: PUSH1 0x01
00001fba: PUSH1 0x80
00001fbc: SHL
00001fbd: SUB
00001fbe: AND
00001fbf: DUP4
00001fc0: GT
00001fc1: ISZERO
00001fc2: PUSH2 0x206e
00001fc5: JUMPI
00001fc6: DUP1
00001fc7: SLOAD
00001fc8: PUSH0
00001fc9: SWAP1
00001fca: PUSH2 0x1fdc
00001fcd: SWAP1
00001fce: PUSH1 0x01
00001fd0: PUSH1 0x01
00001fd2: PUSH1 0x80
00001fd4: SHL
00001fd5: SUB
00001fd6: AND
00001fd7: DUP6
00001fd8: PUSH2 0x3b31
00001fdb: JUMP
00001fdc: JUMPDEST
00001fdd: PUSH1 0x02
00001fdf: DUP1
00001fe0: SLOAD
00001fe1: SWAP1
00001fe2: DUP5
00001fe3: ADD
00001fe4: SLOAD
00001fe5: PUSH1 0x40
00001fe7: MLOAD
00001fe8: PUSH4 0x40c10f19
00001fed: PUSH1 0xe0
00001fef: SHL
00001ff0: DUP2
00001ff1: MSTORE
00001ff2: PUSH1 0x01
00001ff4: PUSH1 0x01
00001ff6: PUSH1 0xa0
00001ff8: SHL
00001ff9: SUB
00001ffa: PUSH1 0x01
00001ffc: PUSH1 0x40
00001ffe: SHL
00001fff: SWAP1
00002000: SWAP3
00002001: DIV
00002002: DUP3
00002003: AND
00002004: PUSH1 0x04
00002006: DUP3
00002007: ADD
00002008: MSTORE
00002009: PUSH1 0x24
0000200b: DUP2
0000200c: ADD
0000200d: DUP5
0000200e: SWAP1
0000200f: MSTORE
00002010: SWAP3
00002011: SWAP4
00002012: POP
00002013: AND
00002014: SWAP1
00002015: PUSH4 0x40c10f19
0000201a: SWAP1
0000201b: PUSH1 0x44
0000201d: ADD
0000201e: PUSH0
0000201f: PUSH1 0x40
00002021: MLOAD
00002022: DUP1
00002023: DUP4
00002024: SUB
00002025: DUP2
00002026: PUSH0
00002027: DUP8
00002028: DUP1
00002029: EXTCODESIZE
0000202a: ISZERO
0000202b: DUP1
0000202c: ISZERO
0000202d: PUSH2 0x2034
00002030: JUMPI
00002031: PUSH0
00002032: DUP1
00002033: REVERT
00002034: JUMPDEST
00002035: POP
00002036: GAS
00002037: CALL
00002038: ISZERO
00002039: DUP1
0000203a: ISZERO
0000203b: PUSH2 0x2046
0000203e: JUMPI
0000203f: RETURNDATASIZE
00002040: PUSH0
00002041: DUP1
00002042: RETURNDATACOPY
00002043: RETURNDATASIZE
00002044: PUSH0
00002045: REVERT
00002046: JUMPDEST
00002047: POP
00002048: POP
00002049: DUP4
0000204a: SLOAD
0000204b: PUSH16 0xffffffffffffffffffffffffffffffff
0000205c: NOT
0000205d: AND
0000205e: PUSH1 0x01
00002060: PUSH1 0x01
00002062: PUSH1 0x80
00002064: SHL
00002065: SUB
00002066: DUP8
00002067: AND
00002068: OR
00002069: DUP5
0000206a: SSTORE
0000206b: POP
0000206c: POP
0000206d: POP
0000206e: JUMPDEST
0000206f: DUP1
00002070: SLOAD
00002071: PUSH1 0x01
00002073: PUSH1 0x01
00002075: PUSH1 0x80
00002077: SHL
00002078: SUB
00002079: AND
0000207a: DUP4
0000207b: LT
0000207c: ISZERO
0000207d: PUSH2 0x21ae
00002080: JUMPI
00002081: DUP1
00002082: SLOAD
00002083: PUSH0
00002084: SWAP1
00002085: PUSH2 0x2098
00002088: SWAP1
00002089: DUP6
0000208a: SWAP1
0000208b: PUSH1 0x01
0000208d: PUSH1 0x01
0000208f: PUSH1 0x80
00002091: SHL
00002092: SUB
00002093: AND
00002094: PUSH2 0x3b31
00002097: JUMP
00002098: JUMPDEST
00002099: PUSH1 0x02
0000209b: DUP1
0000209c: SLOAD
0000209d: SWAP1
0000209e: DUP5
0000209f: ADD
000020a0: SLOAD
000020a1: PUSH1 0x40
000020a3: MLOAD
000020a4: PUSH4 0x70a08231
000020a9: PUSH1 0xe0
000020ab: SHL
000020ac: DUP2
000020ad: MSTORE
000020ae: PUSH1 0x01
000020b0: PUSH1 0x01
000020b2: PUSH1 0xa0
000020b4: SHL
000020b5: SUB
000020b6: PUSH1 0x01
000020b8: PUSH1 0x40
000020ba: SHL
000020bb: SWAP1
000020bc: SWAP3
000020bd: DIV
000020be: DUP3
000020bf: AND
000020c0: PUSH1 0x04
000020c2: DUP3
000020c3: ADD
000020c4: MSTORE
000020c5: SWAP3
000020c6: SWAP4
000020c7: POP
000020c8: DUP4
000020c9: SWAP3
000020ca: SWAP2
000020cb: AND
000020cc: SWAP1
000020cd: PUSH4 0x70a08231
000020d2: SWAP1
000020d3: PUSH1 0x24
000020d5: ADD
000020d6: PUSH1 0x20
000020d8: PUSH1 0x40
000020da: MLOAD
000020db: DUP1
000020dc: DUP4
000020dd: SUB
000020de: DUP2
000020df: DUP7
000020e0: GAS
000020e1: STATICCALL
000020e2: ISZERO
000020e3: DUP1
000020e4: ISZERO
000020e5: PUSH2 0x20f0
000020e8: JUMPI
000020e9: RETURNDATASIZE
000020ea: PUSH0
000020eb: DUP1
000020ec: RETURNDATACOPY
000020ed: RETURNDATASIZE
000020ee: PUSH0
000020ef: REVERT
000020f0: JUMPDEST
000020f1: POP
000020f2: POP
000020f3: POP
000020f4: POP
000020f5: PUSH1 0x40
000020f7: MLOAD
000020f8: RETURNDATASIZE
000020f9: PUSH1 0x1f
000020fb: NOT
000020fc: PUSH1 0x1f
000020fe: DUP3
000020ff: ADD
00002100: AND
00002101: DUP3
00002102: ADD
00002103: DUP1
00002104: PUSH1 0x40
00002106: MSTORE
00002107: POP
00002108: DUP2
00002109: ADD
0000210a: SWAP1
0000210b: PUSH2 0x2114
0000210e: SWAP2
0000210f: SWAP1
00002110: PUSH2 0x3b06
00002113: JUMP
00002114: JUMPDEST
00002115: LT
00002116: ISZERO
00002117: PUSH2 0x211e
0000211a: JUMPI
0000211b: PUSH0
0000211c: DUP1
0000211d: REVERT
0000211e: JUMPDEST
0000211f: PUSH1 0x02
00002121: DUP1
00002122: SLOAD
00002123: SWAP1
00002124: DUP4
00002125: ADD
00002126: SLOAD
00002127: PUSH1 0x40
00002129: MLOAD
0000212a: PUSH4 0x2770a7eb
0000212f: PUSH1 0xe2
00002131: SHL
00002132: DUP2
00002133: MSTORE
00002134: PUSH1 0x01
00002136: PUSH1 0x01
00002138: PUSH1 0xa0
0000213a: SHL
0000213b: SUB
0000213c: PUSH1 0x01
0000213e: PUSH1 0x40
00002140: SHL
00002141: SWAP1
00002142: SWAP3
00002143: DIV
00002144: DUP3
00002145: AND
00002146: PUSH1 0x04
00002148: DUP3
00002149: ADD
0000214a: MSTORE
0000214b: PUSH1 0x24
0000214d: DUP2
0000214e: ADD
0000214f: DUP5
00002150: SWAP1
00002151: MSTORE
00002152: SWAP2
00002153: AND
00002154: SWAP1
00002155: PUSH4 0x9dc29fac
0000215a: SWAP1
0000215b: PUSH1 0x44
0000215d: ADD
0000215e: PUSH0
0000215f: PUSH1 0x40
00002161: MLOAD
00002162: DUP1
00002163: DUP4
00002164: SUB
00002165: DUP2
00002166: PUSH0
00002167: DUP8
00002168: DUP1
00002169: EXTCODESIZE
0000216a: ISZERO
0000216b: DUP1
0000216c: ISZERO
0000216d: PUSH2 0x2174
00002170: JUMPI
00002171: PUSH0
00002172: DUP1
00002173: REVERT
00002174: JUMPDEST
00002175: POP
00002176: GAS
00002177: CALL
00002178: ISZERO
00002179: DUP1
0000217a: ISZERO
0000217b: PUSH2 0x2186
0000217e: JUMPI
0000217f: RETURNDATASIZE
00002180: PUSH0
00002181: DUP1
00002182: RETURNDATACOPY
00002183: RETURNDATASIZE
00002184: PUSH0
00002185: REVERT
00002186: JUMPDEST
00002187: POP
00002188: POP
00002189: DUP4
0000218a: SLOAD
0000218b: PUSH16 0xffffffffffffffffffffffffffffffff
0000219c: NOT
0000219d: AND
0000219e: PUSH1 0x01
000021a0: PUSH1 0x01
000021a2: PUSH1 0x80
000021a4: SHL
000021a5: SUB
000021a6: DUP8
000021a7: AND
000021a8: OR
000021a9: DUP5
000021aa: SSTORE
000021ab: POP
000021ac: POP
000021ad: POP
000021ae: JUMPDEST
000021af: DUP1
000021b0: SLOAD
000021b1: PUSH1 0x40
000021b3: DUP1
000021b4: MLOAD
000021b5: DUP6
000021b6: DUP2
000021b7: MSTORE
000021b8: PUSH1 0x01
000021ba: PUSH1 0x80
000021bc: SHL
000021bd: SWAP1
000021be: SWAP3
000021bf: DIV
000021c0: PUSH1 0x01
000021c2: PUSH1 0x01
000021c4: PUSH1 0x80
000021c6: SHL
000021c7: SUB
000021c8: AND
000021c9: PUSH1 0x20
000021cb: DUP4
000021cc: ADD
000021cd: MSTORE
000021ce: PUSH4 0xffffffff
000021d3: DUP7
000021d4: AND
000021d5: SWAP2
000021d6: PUSH32 0x08f4653388d1722dda80df5371a929c2646144ba37dca412b134cc286eaa3cb5
000021f7: SWAP2
000021f8: ADD
000021f9: PUSH1 0x40
000021fb: MLOAD
000021fc: DUP1
000021fd: SWAP2
000021fe: SUB
000021ff: SWAP1
00002200: LOG2
00002201: PUSH1 0x01
00002203: SWAP2
00002204: POP
00002205: POP
00002206: PUSH2 0x06e8
00002209: PUSH1 0x01
0000220b: PUSH0
0000220c: SSTORE
0000220d: JUMP
0000220e: JUMPDEST
0000220f: PUSH2 0x2216
00002212: PUSH2 0x3992
00002215: JUMP
00002216: JUMPDEST
00002217: PUSH4 0xffffffff
0000221c: DUP3
0000221d: AND
0000221e: PUSH0
0000221f: SWAP1
00002220: DUP2
00002221: MSTORE
00002222: PUSH1 0x05
00002224: PUSH1 0x20
00002226: MSTORE
00002227: PUSH1 0x40
00002229: SWAP1
0000222a: KECCAK256
0000222b: PUSH1 0x02
0000222d: DUP2
0000222e: ADD
0000222f: SLOAD
00002230: PUSH3 0xffffff
00002234: AND
00002235: ISZERO
00002236: PUSH2 0x2281
00002239: JUMPI
0000223a: PUSH1 0x40
0000223c: MLOAD
0000223d: PUSH3 0x461bcd
00002241: PUSH1 0xe5
00002243: SHL
00002244: DUP2
00002245: MSTORE
00002246: PUSH1 0x20
00002248: PUSH1 0x04
0000224a: DUP3
0000224b: ADD
0000224c: MSTORE
0000224d: PUSH1 0x17
0000224f: PUSH1 0x24
00002251: DUP3
00002252: ADD
00002253: MSTORE
00002254: PUSH32 0x77726f6e67206c69717569646174696f6e537461747573000000000000000000
00002275: PUSH1 0x44
00002277: DUP3
00002278: ADD
00002279: MSTORE
0000227a: PUSH1 0x64
0000227c: ADD
0000227d: PUSH2 0x0677
00002280: JUMP
00002281: JUMPDEST
00002282: PUSH1 0x02
00002284: DUP2
00002285: ADD
00002286: SLOAD
00002287: PUSH1 0x01
00002289: PUSH1 0x40
0000228b: SHL
0000228c: SWAP1
0000228d: DIV
0000228e: PUSH1 0x01
00002290: PUSH1 0x01
00002292: PUSH1 0xa0
00002294: SHL
00002295: SUB
00002296: AND
00002297: CALLER
00002298: EQ
00002299: PUSH2 0x22d1
0000229c: JUMPI
0000229d: PUSH1 0x40
0000229f: MLOAD
000022a0: PUSH3 0x461bcd
000022a4: PUSH1 0xe5
000022a6: SHL
000022a7: DUP2
000022a8: MSTORE
000022a9: PUSH1 0x20
000022ab: PUSH1 0x04
000022ad: DUP3
000022ae: ADD
000022af: MSTORE
000022b0: PUSH1 0x0a
000022b2: PUSH1 0x24
000022b4: DUP3
000022b5: ADD
000022b6: MSTORE
000022b7: PUSH10 0x37b7363c9037bbb732b9
000022c2: PUSH1 0xb1
000022c4: SHL
000022c5: PUSH1 0x44
000022c7: DUP3
000022c8: ADD
000022c9: MSTORE
000022ca: PUSH1 0x64
000022cc: ADD
000022cd: PUSH2 0x0677
000022d0: JUMP
000022d1: JUMPDEST
000022d2: DUP1
000022d3: SLOAD
000022d4: PUSH1 0x01
000022d6: PUSH1 0x01
000022d8: PUSH1 0x80
000022da: SHL
000022db: SUB
000022dc: PUSH1 0x01
000022de: PUSH1 0x80
000022e0: SHL
000022e1: SWAP1
000022e2: SWAP2
000022e3: DIV
000022e4: DUP2
000022e5: AND
000022e6: SWAP1
000022e7: DUP4
000022e8: AND
000022e9: LT
000022ea: PUSH2 0x2335
000022ed: JUMPI
000022ee: PUSH1 0x40
000022f0: MLOAD
000022f1: PUSH3 0x461bcd
000022f5: PUSH1 0xe5
000022f7: SHL
000022f8: DUP2
000022f9: MSTORE
000022fa: PUSH1 0x20
000022fc: PUSH1 0x04
000022fe: DUP3
000022ff: ADD
00002300: MSTORE
00002301: PUSH1 0x14
00002303: PUSH1 0x24
00002305: DUP3
00002306: ADD
00002307: MSTORE
00002308: PUSH32 0x746f6f206d616e792065746820636c61696d6564000000000000000000000000
00002329: PUSH1 0x44
0000232b: DUP3
0000232c: ADD
0000232d: MSTORE
0000232e: PUSH1 0x64
00002330: ADD
00002331: PUSH2 0x0677
00002334: JUMP
00002335: JUMPDEST
00002336: DUP1
00002337: SLOAD
00002338: PUSH0
00002339: SWAP1
0000233a: PUSH2 0x2354
0000233d: SWAP1
0000233e: DUP5
0000233f: SWAP1
00002340: PUSH1 0x01
00002342: PUSH1 0x80
00002344: SHL
00002345: SWAP1
00002346: DIV
00002347: PUSH1 0x01
00002349: PUSH1 0x01
0000234b: PUSH1 0x80
0000234d: SHL
0000234e: SUB
0000234f: AND
00002350: PUSH2 0x3cd5
00002353: JUMP
00002354: JUMPDEST
00002355: PUSH1 0x01
00002357: PUSH1 0x01
00002359: PUSH1 0x80
0000235b: SHL
0000235c: SUB
0000235d: AND
0000235e: SWAP1
0000235f: POP
00002360: PUSH0
00002361: PUSH2 0x2369
00002364: DUP6
00002365: PUSH2 0x3842
00002368: JUMP
00002369: JUMPDEST
0000236a: PUSH2 0x2372
0000236d: DUP4
0000236e: PUSH2 0x0c60
00002371: JUMP
00002372: JUMPDEST
00002373: PUSH2 0x237c
00002376: SWAP2
00002377: SWAP1
00002378: PUSH2 0x3b31
0000237b: JUMP
0000237c: JUMPDEST
0000237d: DUP4
0000237e: SLOAD
0000237f: SWAP1
00002380: SWAP2
00002381: POP
00002382: PUSH1 0x01
00002384: PUSH1 0x01
00002386: PUSH1 0x80
00002388: SHL
00002389: SUB
0000238a: AND
0000238b: DUP2
0000238c: GT
0000238d: PUSH2 0x23d8
00002390: JUMPI
00002391: PUSH1 0x40
00002393: MLOAD
00002394: PUSH3 0x461bcd
00002398: PUSH1 0xe5
0000239a: SHL
0000239b: DUP2
0000239c: MSTORE
0000239d: PUSH1 0x20
0000239f: PUSH1 0x04
000023a1: DUP3
000023a2: ADD
000023a3: MSTORE
000023a4: PUSH1 0x0e
000023a6: PUSH1 0x24
000023a8: DUP3
000023a9: ADD
000023aa: MSTORE
000023ab: PUSH32 0x6e6f7420656e6f75676820657468000000000000000000000000000000000000
000023cc: PUSH1 0x44
000023ce: DUP3
000023cf: ADD
000023d0: MSTORE
000023d1: PUSH1 0x64
000023d3: ADD
000023d4: PUSH2 0x0677
000023d7: JUMP
000023d8: JUMPDEST
000023d9: DUP3
000023da: SLOAD
000023db: DUP5
000023dc: SWAP1
000023dd: DUP5
000023de: SWAP1
000023df: PUSH1 0x10
000023e1: SWAP1
000023e2: PUSH2 0x23fc
000023e5: SWAP1
000023e6: DUP5
000023e7: SWAP1
000023e8: PUSH1 0x01
000023ea: PUSH1 0x80
000023ec: SHL
000023ed: SWAP1
000023ee: DIV
000023ef: PUSH1 0x01
000023f1: PUSH1 0x01
000023f3: PUSH1 0x80
000023f5: SHL
000023f6: SUB
000023f7: AND
000023f8: PUSH2 0x3cd5
000023fb: JUMP
000023fc: JUMPDEST
000023fd: SWAP3
000023fe: POP
000023ff: PUSH2 0x0100
00002402: EXP
00002403: DUP2
00002404: SLOAD
00002405: DUP2
00002406: PUSH1 0x01
00002408: PUSH1 0x01
0000240a: PUSH1 0x80
0000240c: SHL
0000240d: SUB
0000240e: MUL
0000240f: NOT
00002410: AND
00002411: SWAP1
00002412: DUP4
00002413: PUSH1 0x01
00002415: PUSH1 0x01
00002417: PUSH1 0x80
00002419: SHL
0000241a: SUB
0000241b: AND
0000241c: MUL
0000241d: OR
0000241e: SWAP1
0000241f: SSTORE
00002420: POP
00002421: DUP3
00002422: PUSH1 0x02
00002424: ADD
00002425: PUSH1 0x08
00002427: SWAP1
00002428: SLOAD
00002429: SWAP1
0000242a: PUSH2 0x0100
0000242d: EXP
0000242e: SWAP1
0000242f: DIV
00002430: PUSH1 0x01
00002432: PUSH1 0x01
00002434: PUSH1 0xa0
00002436: SHL
00002437: SUB
00002438: AND
00002439: PUSH1 0x01
0000243b: PUSH1 0x01
0000243d: PUSH1 0xa0
0000243f: SHL
00002440: SUB
00002441: AND
00002442: PUSH2 0x08fc
00002445: DUP6
00002446: PUSH1 0x01
00002448: PUSH1 0x01
0000244a: PUSH1 0x80
0000244c: SHL
0000244d: SUB
0000244e: AND
0000244f: SWAP1
00002450: DUP2
00002451: ISZERO
00002452: MUL
00002453: SWAP1
00002454: PUSH1 0x40
00002456: MLOAD
00002457: PUSH0
00002458: PUSH1 0x40
0000245a: MLOAD
0000245b: DUP1
0000245c: DUP4
0000245d: SUB
0000245e: DUP2
0000245f: DUP6
00002460: DUP9
00002461: DUP9
00002462: CALL
00002463: SWAP4
00002464: POP
00002465: POP
00002466: POP
00002467: POP
00002468: PUSH2 0x246f
0000246b: JUMPI
0000246c: PUSH0
0000246d: DUP1
0000246e: REVERT
0000246f: JUMPDEST
00002470: DUP3
00002471: SLOAD
00002472: PUSH1 0x40
00002474: DUP1
00002475: MLOAD
00002476: PUSH1 0x01
00002478: PUSH1 0x01
0000247a: PUSH1 0x80
0000247c: SHL
0000247d: SUB
0000247e: DUP1
0000247f: DUP5
00002480: AND
00002481: DUP3
00002482: MSTORE
00002483: PUSH1 0x01
00002485: PUSH1 0x80
00002487: SHL
00002488: SWAP1
00002489: SWAP4
0000248a: DIV
0000248b: SWAP1
0000248c: SWAP3
0000248d: AND
0000248e: PUSH1 0x20
00002490: DUP4
00002491: ADD
00002492: MSTORE
00002493: PUSH4 0xffffffff
00002498: DUP8
00002499: AND
0000249a: SWAP2
0000249b: PUSH32 0x08f4653388d1722dda80df5371a929c2646144ba37dca412b134cc286eaa3cb5
000024bc: SWAP2
000024bd: ADD
000024be: PUSH1 0x40
000024c0: MLOAD
000024c1: DUP1
000024c2: SWAP2
000024c3: SUB
000024c4: SWAP1
000024c5: LOG2
000024c6: POP
000024c7: POP
000024c8: POP
000024c9: PUSH2 0x0800
000024cc: PUSH1 0x01
000024ce: PUSH0
000024cf: SSTORE
000024d0: JUMP
000024d1: JUMPDEST
000024d2: PUSH2 0x24d9
000024d5: PUSH2 0x3992
000024d8: JUMP
000024d9: JUMPDEST
000024da: PUSH1 0x40
000024dc: MLOAD
000024dd: PUSH4 0x01fd3f77
000024e2: PUSH1 0xe7
000024e4: SHL
000024e5: DUP2
000024e6: MSTORE
000024e7: CALLER
000024e8: PUSH1 0x04
000024ea: DUP3
000024eb: ADD
000024ec: MSTORE
000024ed: PUSH32 0x00000000000000000000000055ead3b40016b1d5417f5a20f2d1e53e2d1c9122
0000250e: PUSH1 0x01
00002510: PUSH1 0x01
00002512: PUSH1 0xa0
00002514: SHL
00002515: SUB
00002516: AND
00002517: SWAP1
00002518: PUSH4 0xfe9fbb80
0000251d: SWAP1
0000251e: PUSH1 0x24
00002520: ADD
00002521: PUSH1 0x20
00002523: PUSH1 0x40
00002525: MLOAD
00002526: DUP1
00002527: DUP4
00002528: SUB
00002529: DUP2
0000252a: DUP7
0000252b: GAS
0000252c: STATICCALL
0000252d: ISZERO
0000252e: DUP1
0000252f: ISZERO
00002530: PUSH2 0x253b
00002533: JUMPI
00002534: RETURNDATASIZE
00002535: PUSH0
00002536: DUP1
00002537: RETURNDATACOPY
00002538: RETURNDATASIZE
00002539: PUSH0
0000253a: REVERT
0000253b: JUMPDEST
0000253c: POP
0000253d: POP
0000253e: POP
0000253f: POP
00002540: PUSH1 0x40
00002542: MLOAD
00002543: RETURNDATASIZE
00002544: PUSH1 0x1f
00002546: NOT
00002547: PUSH1 0x1f
00002549: DUP3
0000254a: ADD
0000254b: AND
0000254c: DUP3
0000254d: ADD
0000254e: DUP1
0000254f: PUSH1 0x40
00002551: MSTORE
00002552: POP
00002553: DUP2
00002554: ADD
00002555: SWAP1
00002556: PUSH2 0x255f
00002559: SWAP2
0000255a: SWAP1
0000255b: PUSH2 0x3ca3
0000255e: JUMP
0000255f: JUMPDEST
00002560: PUSH2 0x25ab
00002563: JUMPI
00002564: PUSH1 0x40
00002566: MLOAD
00002567: PUSH3 0x461bcd
0000256b: PUSH1 0xe5
0000256d: SHL
0000256e: DUP2
0000256f: MSTORE
00002570: PUSH1 0x20
00002572: PUSH1 0x04
00002574: DUP3
00002575: ADD
00002576: MSTORE
00002577: PUSH1 0x0f
00002579: PUSH1 0x24
0000257b: DUP3
0000257c: ADD
0000257d: MSTORE
0000257e: PUSH32 0x617574686f72697a6564206f6e6c790000000000000000000000000000000000
0000259f: PUSH1 0x44
000025a1: DUP3
000025a2: ADD
000025a3: MSTORE
000025a4: PUSH1 0x64
000025a6: ADD
000025a7: PUSH2 0x0677
000025aa: JUMP
000025ab: JUMPDEST
000025ac: PUSH1 0x02
000025ae: SLOAD
000025af: PUSH1 0x40
000025b1: MLOAD
000025b2: PUSH4 0x40c10f19
000025b7: PUSH1 0xe0
000025b9: SHL
000025ba: DUP2
000025bb: MSTORE
000025bc: PUSH1 0x01
000025be: PUSH1 0x01
000025c0: PUSH1 0xa0
000025c2: SHL
000025c3: SUB
000025c4: DUP4
000025c5: DUP2
000025c6: AND
000025c7: PUSH1 0x04
000025c9: DUP4
000025ca: ADD
000025cb: MSTORE
000025cc: PUSH1 0x24
000025ce: DUP3
000025cf: ADD
000025d0: DUP6
000025d1: SWAP1
000025d2: MSTORE
000025d3: SWAP1
000025d4: SWAP2
000025d5: AND
000025d6: SWAP1
000025d7: PUSH4 0x40c10f19
000025dc: SWAP1
000025dd: PUSH1 0x44
000025df: ADD
000025e0: PUSH0
000025e1: PUSH1 0x40
000025e3: MLOAD
000025e4: DUP1
000025e5: DUP4
000025e6: SUB
000025e7: DUP2
000025e8: PUSH0
000025e9: DUP8
000025ea: DUP1
000025eb: EXTCODESIZE
000025ec: ISZERO
000025ed: DUP1
000025ee: ISZERO
000025ef: PUSH2 0x25f6
000025f2: JUMPI
000025f3: PUSH0
000025f4: DUP1
000025f5: REVERT
000025f6: JUMPDEST
000025f7: POP
000025f8: GAS
000025f9: CALL
000025fa: ISZERO
000025fb: DUP1
000025fc: ISZERO
000025fd: PUSH2 0x2608
00002600: JUMPI
00002601: RETURNDATASIZE
00002602: PUSH0
00002603: DUP1
00002604: RETURNDATACOPY
00002605: RETURNDATASIZE
00002606: PUSH0
00002607: REVERT
00002608: JUMPDEST
00002609: POP
0000260a: POP
0000260b: POP
0000260c: POP
0000260d: PUSH2 0x0800
00002610: PUSH1 0x01
00002612: PUSH0
00002613: SSTORE
00002614: JUMP
00002615: JUMPDEST
00002616: PUSH0
00002617: PUSH2 0x261e
0000261a: PUSH2 0x3992
0000261d: JUMP
0000261e: JUMPDEST
0000261f: PUSH2 0x2627
00002622: CALLVALUE
00002623: PUSH2 0x0c60
00002626: JUMP
00002627: JUMPDEST
00002628: DUP3
00002629: GT
0000262a: PUSH2 0x2633
0000262d: JUMPI
0000262e: DUP2
0000262f: PUSH2 0x263c
00002632: JUMP
00002633: JUMPDEST
00002634: PUSH2 0x263c
00002637: CALLVALUE
00002638: PUSH2 0x0c60
0000263b: JUMP
0000263c: JUMPDEST
0000263d: PUSH1 0x40
0000263f: MLOAD
00002640: PUSH4 0x145f822b
00002645: PUSH1 0xe0
00002647: SHL
00002648: DUP2
00002649: MSTORE
0000264a: PUSH1 0x20
0000264c: PUSH1 0x04
0000264e: DUP3
0000264f: ADD
00002650: MSTORE
00002651: PUSH1 0x0e
00002653: PUSH1 0x24
00002655: DUP3
00002656: ADD
00002657: MSTORE
00002658: PUSH32 0x6d696e436f696e73546f4d696e74000000000000000000000000000000000000
00002679: PUSH1 0x44
0000267b: DUP3
0000267c: ADD
0000267d: MSTORE
0000267e: SWAP1
0000267f: SWAP3
00002680: POP
00002681: PUSH32 0x00000000000000000000000055ead3b40016b1d5417f5a20f2d1e53e2d1c9122
000026a2: PUSH1 0x01
000026a4: PUSH1 0x01
000026a6: PUSH1 0xa0
000026a8: SHL
000026a9: SUB
000026aa: AND
000026ab: SWAP1
000026ac: PUSH4 0x145f822b
000026b1: SWAP1
000026b2: PUSH1 0x64
000026b4: ADD
000026b5: PUSH1 0x20
000026b7: PUSH1 0x40
000026b9: MLOAD
000026ba: DUP1
000026bb: DUP4
000026bc: SUB
000026bd: DUP2
000026be: DUP7
000026bf: GAS
000026c0: STATICCALL
000026c1: ISZERO
000026c2: DUP1
000026c3: ISZERO
000026c4: PUSH2 0x26cf
000026c7: JUMPI
000026c8: RETURNDATASIZE
000026c9: PUSH0
000026ca: DUP1
000026cb: RETURNDATACOPY
000026cc: RETURNDATASIZE
000026cd: PUSH0
000026ce: REVERT
000026cf: JUMPDEST
000026d0: POP
000026d1: POP
000026d2: POP
000026d3: POP
000026d4: PUSH1 0x40
000026d6: MLOAD
000026d7: RETURNDATASIZE
000026d8: PUSH1 0x1f
000026da: NOT
000026db: PUSH1 0x1f
000026dd: DUP3
000026de: ADD
000026df: AND
000026e0: DUP3
000026e1: ADD
000026e2: DUP1
000026e3: PUSH1 0x40
000026e5: MSTORE
000026e6: POP
000026e7: DUP2
000026e8: ADD
000026e9: SWAP1
000026ea: PUSH2 0x26f3
000026ed: SWAP2
000026ee: SWAP1
000026ef: PUSH2 0x3b06
000026f2: JUMP
000026f3: JUMPDEST
000026f4: PUSH2 0x2705
000026f7: SWAP1
000026f8: PUSH8 0x0de0b6b3a7640000
00002701: PUSH2 0x3c6d
00002704: JUMP
00002705: JUMPDEST
00002706: DUP3
00002707: LT
00002708: ISZERO
00002709: PUSH2 0x2754
0000270c: JUMPI
0000270d: PUSH1 0x40
0000270f: MLOAD
00002710: PUSH3 0x461bcd
00002714: PUSH1 0xe5
00002716: SHL
00002717: DUP2
00002718: MSTORE
00002719: PUSH1 0x20
0000271b: PUSH1 0x04
0000271d: DUP3
0000271e: ADD
0000271f: MSTORE
00002720: PUSH1 0x10
00002722: PUSH1 0x24
00002724: DUP3
00002725: ADD
00002726: MSTORE
00002727: PUSH32 0x746f6f206c6974746c6520636f696e7300000000000000000000000000000000
00002748: PUSH1 0x44
0000274a: DUP3
0000274b: ADD
0000274c: MSTORE
0000274d: PUSH1 0x64
0000274f: ADD
00002750: PUSH2 0x0677
00002753: JUMP
00002754: JUMPDEST
00002755: PUSH1 0x01
00002757: DUP1
00002758: SLOAD
00002759: PUSH4 0xffffffff
0000275e: SWAP1
0000275f: DUP2
00002760: AND
00002761: PUSH0
00002762: SWAP1
00002763: DUP2
00002764: MSTORE
00002765: PUSH1 0x05
00002767: PUSH1 0x20
00002769: SWAP1
0000276a: DUP2
0000276b: MSTORE
0000276c: PUSH1 0x40
0000276e: SWAP2
0000276f: DUP3
00002770: SWAP1
00002771: KECCAK256
00002772: PUSH1 0x01
00002774: PUSH1 0x01
00002776: PUSH1 0x80
00002778: SHL
00002779: SUB
0000277a: DUP8
0000277b: DUP2
0000277c: AND
0000277d: PUSH1 0x01
0000277f: PUSH1 0x80
00002781: SHL
00002782: CALLVALUE
00002783: SWAP3
00002784: SWAP1
00002785: SWAP3
00002786: AND
00002787: DUP3
00002788: MUL
00002789: OR
0000278a: DUP3
0000278b: SSTORE
0000278c: PUSH1 0x02
0000278e: DUP3
0000278f: ADD
00002790: DUP1
00002791: SLOAD
00002792: PUSH32 0xffffffff0000000000000000000000000000000000000000ffffffffffffffff
000027b3: AND
000027b4: CALLER
000027b5: PUSH1 0x01
000027b7: PUSH1 0x40
000027b9: SHL
000027ba: MUL
000027bb: OR
000027bc: SWAP1
000027bd: SSTORE
000027be: SWAP5
000027bf: DUP2
000027c0: ADD
000027c1: DUP1
000027c2: SLOAD
000027c3: PUSH32 0xffffffffffffffff0000000000000000ffffffffffffffffffffffffffffffff
000027e4: AND
000027e5: TIMESTAMP
000027e6: SWAP1
000027e7: SWAP6
000027e8: AND
000027e9: SWAP6
000027ea: DUP7
000027eb: MUL
000027ec: PUSH4 0xffffffff
000027f1: PUSH1 0xa0
000027f3: SHL
000027f4: NOT
000027f5: AND
000027f6: SWAP5
000027f7: SWAP1
000027f8: SWAP5
000027f9: OR
000027fa: PUSH1 0x01
000027fc: PUSH1 0xa0
000027fe: SHL
000027ff: SWAP6
00002800: SWAP1
00002801: SWAP6
00002802: MUL
00002803: SWAP5
00002804: SWAP1
00002805: SWAP5
00002806: OR
00002807: SWAP1
00002808: SWAP3
00002809: SSTORE
0000280a: MLOAD
0000280b: PUSH4 0x145f822b
00002810: PUSH1 0xe0
00002812: SHL
00002813: DUP2
00002814: MSTORE
00002815: PUSH1 0x04
00002817: DUP2
00002818: ADD
00002819: SWAP2
0000281a: SWAP1
0000281b: SWAP2
0000281c: MSTORE
0000281d: PUSH1 0x0c
0000281f: PUSH1 0x24
00002821: DUP3
00002822: ADD
00002823: MSTORE
00002824: PUSH32 0x696e746572657374526174650000000000000000000000000000000000000000
00002845: PUSH1 0x44
00002847: DUP3
00002848: ADD
00002849: MSTORE
0000284a: PUSH1 0x01
0000284c: PUSH1 0x01
0000284e: PUSH1 0xa0
00002850: SHL
00002851: SUB
00002852: PUSH32 0x00000000000000000000000055ead3b40016b1d5417f5a20f2d1e53e2d1c9122
00002873: AND
00002874: SWAP1
00002875: PUSH4 0x145f822b
0000287a: SWAP1
0000287b: PUSH1 0x64
0000287d: ADD
0000287e: PUSH1 0x20
00002880: PUSH1 0x40
00002882: MLOAD
00002883: DUP1
00002884: DUP4
00002885: SUB
00002886: DUP2
00002887: DUP7
00002888: GAS
00002889: STATICCALL
0000288a: ISZERO
0000288b: DUP1
0000288c: ISZERO
0000288d: PUSH2 0x2898
00002890: JUMPI
00002891: RETURNDATASIZE
00002892: PUSH0
00002893: DUP1
00002894: RETURNDATACOPY
00002895: RETURNDATASIZE
00002896: PUSH0
00002897: REVERT
00002898: JUMPDEST
00002899: POP
0000289a: POP
0000289b: POP
0000289c: POP
0000289d: PUSH1 0x40
0000289f: MLOAD
000028a0: RETURNDATASIZE
000028a1: PUSH1 0x1f
000028a3: NOT
000028a4: PUSH1 0x1f
000028a6: DUP3
000028a7: ADD
000028a8: AND
000028a9: DUP3
000028aa: ADD
000028ab: DUP1
000028ac: PUSH1 0x40
000028ae: MSTORE
000028af: POP
000028b0: DUP2
000028b1: ADD
000028b2: SWAP1
000028b3: PUSH2 0x28bc
000028b6: SWAP2
000028b7: SWAP1
000028b8: PUSH2 0x3b06
000028bb: JUMP
000028bc: JUMPDEST
000028bd: PUSH1 0x01
000028bf: DUP3
000028c0: ADD
000028c1: DUP1
000028c2: SLOAD
000028c3: PUSH3 0xffffff
000028c7: SWAP3
000028c8: SWAP1
000028c9: SWAP3
000028ca: AND
000028cb: PUSH1 0x01
000028cd: PUSH1 0xc0
000028cf: SHL
000028d0: MUL
000028d1: PUSH32 0xffffffffff000000ffffffffffffffffffffffffffffffffffffffffffffffff
000028f2: SWAP1
000028f3: SWAP3
000028f4: AND
000028f5: SWAP2
000028f6: SWAP1
000028f7: SWAP2
000028f8: OR
000028f9: SWAP1
000028fa: SSTORE
000028fb: PUSH1 0x02
000028fd: SLOAD
000028fe: PUSH1 0x40
00002900: MLOAD
00002901: PUSH4 0x40c10f19
00002906: PUSH1 0xe0
00002908: SHL
00002909: DUP2
0000290a: MSTORE
0000290b: CALLER
0000290c: PUSH1 0x04
0000290e: DUP3
0000290f: ADD
00002910: MSTORE
00002911: PUSH1 0x24
00002913: DUP2
00002914: ADD
00002915: DUP6
00002916: SWAP1
00002917: MSTORE
00002918: PUSH1 0x01
0000291a: PUSH1 0x01
0000291c: PUSH1 0xa0
0000291e: SHL
0000291f: SUB
00002920: SWAP1
00002921: SWAP2
00002922: AND
00002923: SWAP1
00002924: PUSH4 0x40c10f19
00002929: SWAP1
0000292a: PUSH1 0x44
0000292c: ADD
0000292d: PUSH0
0000292e: PUSH1 0x40
00002930: MLOAD
00002931: DUP1
00002932: DUP4
00002933: SUB
00002934: DUP2
00002935: PUSH0
00002936: DUP8
00002937: DUP1
00002938: EXTCODESIZE
00002939: ISZERO
0000293a: DUP1
0000293b: ISZERO
0000293c: PUSH2 0x2943
0000293f: JUMPI
00002940: PUSH0
00002941: DUP1
00002942: REVERT
00002943: JUMPDEST
00002944: POP
00002945: GAS
00002946: CALL
00002947: ISZERO
00002948: DUP1
00002949: ISZERO
0000294a: PUSH2 0x2955
0000294d: JUMPI
0000294e: RETURNDATASIZE
0000294f: PUSH0
00002950: DUP1
00002951: RETURNDATACOPY
00002952: RETURNDATASIZE
00002953: PUSH0
00002954: REVERT
00002955: JUMPDEST
00002956: POP
00002957: POP
00002958: PUSH1 0x01
0000295a: SLOAD
0000295b: PUSH1 0x02
0000295d: DUP5
0000295e: ADD
0000295f: SLOAD
00002960: PUSH1 0x40
00002962: MLOAD
00002963: PUSH4 0xffffffff
00002968: SWAP1
00002969: SWAP3
0000296a: AND
0000296b: SWAP4
0000296c: POP
0000296d: PUSH1 0x01
0000296f: PUSH1 0x40
00002971: SHL
00002972: SWAP1
00002973: DIV
00002974: PUSH1 0x01
00002976: PUSH1 0x01
00002978: PUSH1 0xa0
0000297a: SHL
0000297b: SUB
0000297c: AND
0000297d: SWAP2
0000297e: POP
0000297f: PUSH32 0x7033b91d43234ea7f0b72ec01052e5285ce842c91dcf6ab963fa44a548741720
000029a0: SWAP1
000029a1: PUSH0
000029a2: SWAP1
000029a3: LOG3
000029a4: PUSH1 0x01
000029a6: DUP1
000029a7: SLOAD
000029a8: PUSH4 0xffffffff
000029ad: AND
000029ae: SWAP1
000029af: PUSH0
000029b0: PUSH2 0x29b8
000029b3: DUP4
000029b4: PUSH2 0x3d13
000029b7: JUMP
000029b8: JUMPDEST
000029b9: SWAP2
000029ba: SWAP1
000029bb: PUSH2 0x0100
000029be: EXP
000029bf: DUP2
000029c0: SLOAD
000029c1: DUP2
000029c2: PUSH4 0xffffffff
000029c7: MUL
000029c8: NOT
000029c9: AND
000029ca: SWAP1
000029cb: DUP4
000029cc: PUSH4 0xffffffff
000029d1: AND
000029d2: MUL
000029d3: OR
000029d4: SWAP1
000029d5: SSTORE
000029d6: POP
000029d7: PUSH4 0xffffffff
000029dc: AND
000029dd: SWAP2
000029de: POP
000029df: POP
000029e0: PUSH2 0x29e8
000029e3: PUSH1 0x01
000029e5: PUSH0
000029e6: SSTORE
000029e7: JUMP
000029e8: JUMPDEST
000029e9: SWAP2
000029ea: SWAP1
000029eb: POP
000029ec: JUMP
000029ed: JUMPDEST
000029ee: PUSH0
000029ef: PUSH2 0x29f7
000029f2: DUP3
000029f3: PUSH2 0x3842
000029f6: JUMP
000029f7: JUMPDEST
000029f8: PUSH4 0xffffffff
000029fd: DUP4
000029fe: AND
000029ff: PUSH0
00002a00: SWAP1
00002a01: DUP2
00002a02: MSTORE
00002a03: PUSH1 0x05
00002a05: PUSH1 0x20
00002a07: MSTORE
00002a08: PUSH1 0x40
00002a0a: SWAP1
00002a0b: KECCAK256
00002a0c: SLOAD
00002a0d: PUSH2 0x2a25
00002a10: SWAP1
00002a11: PUSH1 0x01
00002a13: PUSH1 0x80
00002a15: SHL
00002a16: SWAP1
00002a17: DIV
00002a18: PUSH1 0x01
00002a1a: PUSH1 0x01
00002a1c: PUSH1 0x80
00002a1e: SHL
00002a1f: SUB
00002a20: AND
00002a21: PUSH2 0x0c60
00002a24: JUMP
00002a25: JUMPDEST
00002a26: PUSH2 0x06e8
00002a29: SWAP2
00002a2a: SWAP1
00002a2b: PUSH2 0x3b31
00002a2e: JUMP
00002a2f: JUMPDEST
00002a30: PUSH2 0x2a37
00002a33: PUSH2 0x3992
00002a36: JUMP
00002a37: JUMPDEST
00002a38: PUSH0
00002a39: PUSH1 0x64
00002a3b: PUSH1 0x02
00002a3d: PUSH0
00002a3e: SWAP1
00002a3f: SLOAD
00002a40: SWAP1
00002a41: PUSH2 0x0100
00002a44: EXP
00002a45: SWAP1
00002a46: DIV
00002a47: PUSH1 0x01
00002a49: PUSH1 0x01
00002a4b: PUSH1 0xa0
00002a4d: SHL
00002a4e: SUB
00002a4f: AND
00002a50: PUSH1 0x01
00002a52: PUSH1 0x01
00002a54: PUSH1 0xa0
00002a56: SHL
00002a57: SUB
00002a58: AND
00002a59: PUSH4 0x18160ddd
00002a5e: PUSH1 0x40
00002a60: MLOAD
00002a61: DUP2
00002a62: PUSH4 0xffffffff
00002a67: AND
00002a68: PUSH1 0xe0
00002a6a: SHL
00002a6b: DUP2
00002a6c: MSTORE
00002a6d: PUSH1 0x04
00002a6f: ADD
00002a70: PUSH1 0x20
00002a72: PUSH1 0x40
00002a74: MLOAD
00002a75: DUP1
00002a76: DUP4
00002a77: SUB
00002a78: DUP2
00002a79: DUP7
00002a7a: GAS
00002a7b: STATICCALL
00002a7c: ISZERO
00002a7d: DUP1
00002a7e: ISZERO
00002a7f: PUSH2 0x2a8a
00002a82: JUMPI
00002a83: RETURNDATASIZE
00002a84: PUSH0
00002a85: DUP1
00002a86: RETURNDATACOPY
00002a87: RETURNDATASIZE
00002a88: PUSH0
00002a89: REVERT
00002a8a: JUMPDEST
00002a8b: POP
00002a8c: POP
00002a8d: POP
00002a8e: POP
00002a8f: PUSH1 0x40
00002a91: MLOAD
00002a92: RETURNDATASIZE
00002a93: PUSH1 0x1f
00002a95: NOT
00002a96: PUSH1 0x1f
00002a98: DUP3
00002a99: ADD
00002a9a: AND
00002a9b: DUP3
00002a9c: ADD
00002a9d: DUP1
00002a9e: PUSH1 0x40
00002aa0: MSTORE
00002aa1: POP
00002aa2: DUP2
00002aa3: ADD
00002aa4: SWAP1
00002aa5: PUSH2 0x2aae
00002aa8: SWAP2
00002aa9: SWAP1
00002aaa: PUSH2 0x3b06
00002aad: JUMP
00002aae: JUMPDEST
00002aaf: PUSH1 0x40
00002ab1: MLOAD
00002ab2: PUSH4 0x145f822b
00002ab7: PUSH1 0xe0
00002ab9: SHL
00002aba: DUP2
00002abb: MSTORE
00002abc: PUSH1 0x20
00002abe: PUSH1 0x04
00002ac0: DUP3
00002ac1: ADD
00002ac2: MSTORE
00002ac3: PUSH1 0x18
00002ac5: PUSH1 0x24
00002ac7: DUP3
00002ac8: ADD
00002ac9: MSTORE
00002aca: PUSH32 0x73746162696c697a6174696f6e46756e6450657263656e740000000000000000
00002aeb: PUSH1 0x44
00002aed: DUP3
00002aee: ADD
00002aef: MSTORE
00002af0: PUSH32 0x00000000000000000000000055ead3b40016b1d5417f5a20f2d1e53e2d1c9122
00002b11: PUSH1 0x01
00002b13: PUSH1 0x01
00002b15: PUSH1 0xa0
00002b17: SHL
00002b18: SUB
00002b19: AND
00002b1a: SWAP1
00002b1b: PUSH4 0x145f822b
00002b20: SWAP1
00002b21: PUSH1 0x64
00002b23: ADD
00002b24: PUSH1 0x20
00002b26: PUSH1 0x40
00002b28: MLOAD
00002b29: DUP1
00002b2a: DUP4
00002b2b: SUB
00002b2c: DUP2
00002b2d: DUP7
00002b2e: GAS
00002b2f: STATICCALL
00002b30: ISZERO
00002b31: DUP1
00002b32: ISZERO
00002b33: PUSH2 0x2b3e
00002b36: JUMPI
00002b37: RETURNDATASIZE
00002b38: PUSH0
00002b39: DUP1
00002b3a: RETURNDATACOPY
00002b3b: RETURNDATASIZE
00002b3c: PUSH0
00002b3d: REVERT
00002b3e: JUMPDEST
00002b3f: POP
00002b40: POP
00002b41: POP
00002b42: POP
00002b43: PUSH1 0x40
00002b45: MLOAD
00002b46: RETURNDATASIZE
00002b47: PUSH1 0x1f
00002b49: NOT
00002b4a: PUSH1 0x1f
00002b4c: DUP3
00002b4d: ADD
00002b4e: AND
00002b4f: DUP3
00002b50: ADD
00002b51: DUP1
00002b52: PUSH1 0x40
00002b54: MSTORE
00002b55: POP
00002b56: DUP2
00002b57: ADD
00002b58: SWAP1
00002b59: PUSH2 0x2b62
00002b5c: SWAP2
00002b5d: SWAP1
00002b5e: PUSH2 0x3b06
00002b61: JUMP
00002b62: JUMPDEST
00002b63: PUSH2 0x2b6c
00002b66: SWAP2
00002b67: SWAP1
00002b68: PUSH2 0x3c6d
00002b6b: JUMP
00002b6c: JUMPDEST
00002b6d: PUSH2 0x2b76
00002b70: SWAP2
00002b71: SWAP1
00002b72: PUSH2 0x3c84
00002b75: JUMP
00002b76: JUMPDEST
00002b77: PUSH1 0x02
00002b79: SLOAD
00002b7a: PUSH1 0x40
00002b7c: MLOAD
00002b7d: PUSH4 0x70a08231
00002b82: PUSH1 0xe0
00002b84: SHL
00002b85: DUP2
00002b86: MSTORE
00002b87: PUSH1 0x01
00002b89: PUSH1 0x01
00002b8b: PUSH1 0xa0
00002b8d: SHL
00002b8e: SUB
00002b8f: PUSH32 0x000000000000000000000000bcf58de37791efe60fe87a6d420fe8f7aea99ef8
00002bb0: DUP2
00002bb1: AND
00002bb2: PUSH1 0x04
00002bb4: DUP4
00002bb5: ADD
00002bb6: MSTORE
00002bb7: SWAP3
00002bb8: SWAP4
00002bb9: POP
00002bba: DUP4
00002bbb: SWAP3
00002bbc: SWAP1
00002bbd: SWAP2
00002bbe: AND
00002bbf: SWAP1
00002bc0: PUSH4 0x70a08231
00002bc5: SWAP1
00002bc6: PUSH1 0x24
00002bc8: ADD
00002bc9: PUSH1 0x20
00002bcb: PUSH1 0x40
00002bcd: MLOAD
00002bce: DUP1
00002bcf: DUP4
00002bd0: SUB
00002bd1: DUP2
00002bd2: DUP7
00002bd3: GAS
00002bd4: STATICCALL
00002bd5: ISZERO
00002bd6: DUP1
00002bd7: ISZERO
00002bd8: PUSH2 0x2be3
00002bdb: JUMPI
00002bdc: RETURNDATASIZE
00002bdd: PUSH0
00002bde: DUP1
00002bdf: RETURNDATACOPY
00002be0: RETURNDATASIZE
00002be1: PUSH0
00002be2: REVERT
00002be3: JUMPDEST
00002be4: POP
00002be5: POP
00002be6: POP
00002be7: POP
00002be8: PUSH1 0x40
00002bea: MLOAD
00002beb: RETURNDATASIZE
00002bec: PUSH1 0x1f
00002bee: NOT
00002bef: PUSH1 0x1f
00002bf1: DUP3
00002bf2: ADD
00002bf3: AND
00002bf4: DUP3
00002bf5: ADD
00002bf6: DUP1
00002bf7: PUSH1 0x40
00002bf9: MSTORE
00002bfa: POP
00002bfb: DUP2
00002bfc: ADD
00002bfd: SWAP1
00002bfe: PUSH2 0x2c07
00002c01: SWAP2
00002c02: SWAP1
00002c03: PUSH2 0x3b06
00002c06: JUMP
00002c07: JUMPDEST
00002c08: LT
00002c09: ISZERO
00002c0a: PUSH2 0x2c55
00002c0d: JUMPI
00002c0e: PUSH1 0x40
00002c10: MLOAD
00002c11: PUSH3 0x461bcd
00002c15: PUSH1 0xe5
00002c17: SHL
00002c18: DUP2
00002c19: MSTORE
00002c1a: PUSH1 0x20
00002c1c: PUSH1 0x04
00002c1e: DUP3
00002c1f: ADD
00002c20: MSTORE
00002c21: PUSH1 0x0f
00002c23: PUSH1 0x24
00002c25: DUP3
00002c26: ADD
00002c27: MSTORE
00002c28: PUSH32 0x6c6f77204344502062616c616e63650000000000000000000000000000000000
00002c49: PUSH1 0x44
00002c4b: DUP3
00002c4c: ADD
00002c4d: MSTORE
00002c4e: PUSH1 0x64
00002c50: ADD
00002c51: PUSH2 0x0677
00002c54: JUMP
00002c55: JUMPDEST
00002c56: PUSH1 0x02
00002c58: SLOAD
00002c59: PUSH1 0x40
00002c5b: MLOAD
00002c5c: PUSH4 0x70a08231
00002c61: PUSH1 0xe0
00002c63: SHL
00002c64: DUP2
00002c65: MSTORE
00002c66: PUSH1 0x01
00002c68: PUSH1 0x01
00002c6a: PUSH1 0xa0
00002c6c: SHL
00002c6d: SUB
00002c6e: PUSH32 0x000000000000000000000000bcf58de37791efe60fe87a6d420fe8f7aea99ef8
00002c8f: DUP2
00002c90: AND
00002c91: PUSH1 0x04
00002c93: DUP4
00002c94: ADD
00002c95: MSTORE
00002c96: PUSH0
00002c97: SWAP3
00002c98: DUP5
00002c99: SWAP3
00002c9a: SWAP2
00002c9b: AND
00002c9c: SWAP1
00002c9d: PUSH4 0x70a08231
00002ca2: SWAP1
00002ca3: PUSH1 0x24
00002ca5: ADD
00002ca6: PUSH1 0x20
00002ca8: PUSH1 0x40
00002caa: MLOAD
00002cab: DUP1
00002cac: DUP4
00002cad: SUB
00002cae: DUP2
00002caf: DUP7
00002cb0: GAS
00002cb1: STATICCALL
00002cb2: ISZERO
00002cb3: DUP1
00002cb4: ISZERO
00002cb5: PUSH2 0x2cc0
00002cb8: JUMPI
00002cb9: RETURNDATASIZE
00002cba: PUSH0
00002cbb: DUP1
00002cbc: RETURNDATACOPY
00002cbd: RETURNDATASIZE
00002cbe: PUSH0
00002cbf: REVERT
00002cc0: JUMPDEST
00002cc1: POP
00002cc2: POP
00002cc3: POP
00002cc4: POP
00002cc5: PUSH1 0x40
00002cc7: MLOAD
00002cc8: RETURNDATASIZE
00002cc9: PUSH1 0x1f
00002ccb: NOT
00002ccc: PUSH1 0x1f
00002cce: DUP3
00002ccf: ADD
00002cd0: AND
00002cd1: DUP3
00002cd2: ADD
00002cd3: DUP1
00002cd4: PUSH1 0x40
00002cd6: MSTORE
00002cd7: POP
00002cd8: DUP2
00002cd9: ADD
00002cda: SWAP1
00002cdb: PUSH2 0x2ce4
00002cde: SWAP2
00002cdf: SWAP1
00002ce0: PUSH2 0x3b06
00002ce3: JUMP
00002ce4: JUMPDEST
00002ce5: PUSH2 0x2cee
00002ce8: SWAP2
00002ce9: SWAP1
00002cea: PUSH2 0x3b31
00002ced: JUMP
00002cee: JUMPDEST
00002cef: PUSH1 0x40
00002cf1: MLOAD
00002cf2: PUSH4 0x145f822b
00002cf7: PUSH1 0xe0
00002cf9: SHL
00002cfa: DUP2
00002cfb: MSTORE
00002cfc: PUSH1 0x20
00002cfe: PUSH1 0x04
00002d00: DUP3
00002d01: ADD
00002d02: MSTORE
00002d03: PUSH1 0x19
00002d05: PUSH1 0x24
00002d07: DUP3
00002d08: ADD
00002d09: MSTORE
00002d0a: PUSH32 0x6d696e43445042616c616e6365546f496e69744275794f757400000000000000
00002d2b: PUSH1 0x44
00002d2d: DUP3
00002d2e: ADD
00002d2f: MSTORE
00002d30: SWAP1
00002d31: SWAP2
00002d32: POP
00002d33: PUSH32 0x00000000000000000000000055ead3b40016b1d5417f5a20f2d1e53e2d1c9122
00002d54: PUSH1 0x01
00002d56: PUSH1 0x01
00002d58: PUSH1 0xa0
00002d5a: SHL
00002d5b: SUB
00002d5c: AND
00002d5d: SWAP1
00002d5e: PUSH4 0x145f822b
00002d63: SWAP1
00002d64: PUSH1 0x64
00002d66: ADD
00002d67: PUSH1 0x20
00002d69: PUSH1 0x40
00002d6b: MLOAD
00002d6c: DUP1
00002d6d: DUP4
00002d6e: SUB
00002d6f: DUP2
00002d70: DUP7
00002d71: GAS
00002d72: STATICCALL
00002d73: ISZERO
00002d74: DUP1
00002d75: ISZERO
00002d76: PUSH2 0x2d81
00002d79: JUMPI
00002d7a: RETURNDATASIZE
00002d7b: PUSH0
00002d7c: DUP1
00002d7d: RETURNDATACOPY
00002d7e: RETURNDATASIZE
00002d7f: PUSH0
00002d80: REVERT
00002d81: JUMPDEST
00002d82: POP
00002d83: POP
00002d84: POP
00002d85: POP
00002d86: PUSH1 0x40
00002d88: MLOAD
00002d89: RETURNDATASIZE
00002d8a: PUSH1 0x1f
00002d8c: NOT
00002d8d: PUSH1 0x1f
00002d8f: DUP3
00002d90: ADD
00002d91: AND
00002d92: DUP3
00002d93: ADD
00002d94: DUP1
00002d95: PUSH1 0x40
00002d97: MSTORE
00002d98: POP
00002d99: DUP2
00002d9a: ADD
00002d9b: SWAP1
00002d9c: PUSH2 0x2da5
00002d9f: SWAP2
00002da0: SWAP1
00002da1: PUSH2 0x3b06
00002da4: JUMP
00002da5: JUMPDEST
00002da6: DUP2
00002da7: LT
00002da8: ISZERO
00002da9: PUSH2 0x2df4
00002dac: JUMPI
00002dad: PUSH1 0x40
00002daf: MLOAD
00002db0: PUSH3 0x461bcd
00002db4: PUSH1 0xe5
00002db6: SHL
00002db7: DUP2
00002db8: MSTORE
00002db9: PUSH1 0x20
00002dbb: PUSH1 0x04
00002dbd: DUP3
00002dbe: ADD
00002dbf: MSTORE
00002dc0: PUSH1 0x12
00002dc2: PUSH1 0x24
00002dc4: DUP3
00002dc5: ADD
00002dc6: MSTORE
00002dc7: PUSH32 0x6e6f7420656e6f75676820737572706c75730000000000000000000000000000
00002de8: PUSH1 0x44
00002dea: DUP3
00002deb: ADD
00002dec: MSTORE
00002ded: PUSH1 0x64
00002def: ADD
00002df0: PUSH2 0x0677
00002df3: JUMP
00002df4: JUMPDEST
00002df5: PUSH1 0x02
00002df7: SLOAD
00002df8: PUSH1 0x40
00002dfa: MLOAD
00002dfb: PUSH4 0xbdfe7d47
00002e00: PUSH1 0xe0
00002e02: SHL
00002e03: DUP2
00002e04: MSTORE
00002e05: PUSH1 0x20
00002e07: PUSH1 0x04
00002e09: DUP3
00002e0a: ADD
00002e0b: MSTORE
00002e0c: PUSH1 0x07
00002e0e: PUSH1 0x24
00002e10: DUP3
00002e11: ADD
00002e12: MSTORE
00002e13: PUSH7 0x30bab1ba34b7b7
00002e1b: PUSH1 0xc9
00002e1d: SHL
00002e1e: PUSH1 0x44
00002e20: DUP3
00002e21: ADD
00002e22: MSTORE
00002e23: PUSH1 0x01
00002e25: PUSH1 0x01
00002e27: PUSH1 0xa0
00002e29: SHL
00002e2a: SUB
00002e2b: SWAP2
00002e2c: DUP3
00002e2d: AND
00002e2e: SWAP2
00002e2f: PUSH4 0x095ea7b3
00002e34: SWAP2
00002e35: PUSH32 0x00000000000000000000000055ead3b40016b1d5417f5a20f2d1e53e2d1c9122
00002e56: SWAP1
00002e57: SWAP2
00002e58: AND
00002e59: SWAP1
00002e5a: PUSH4 0xbdfe7d47
00002e5f: SWAP1
00002e60: PUSH1 0x64
00002e62: ADD
00002e63: PUSH1 0x20
00002e65: PUSH1 0x40
00002e67: MLOAD
00002e68: DUP1
00002e69: DUP4
00002e6a: SUB
00002e6b: DUP2
00002e6c: DUP7
00002e6d: GAS
00002e6e: STATICCALL
00002e6f: ISZERO
00002e70: DUP1
00002e71: ISZERO
00002e72: PUSH2 0x2e7d
00002e75: JUMPI
00002e76: RETURNDATASIZE
00002e77: PUSH0
00002e78: DUP1
00002e79: RETURNDATACOPY
00002e7a: RETURNDATASIZE
00002e7b: PUSH0
00002e7c: REVERT
00002e7d: JUMPDEST
00002e7e: POP
00002e7f: POP
00002e80: POP
00002e81: POP
00002e82: PUSH1 0x40
00002e84: MLOAD
00002e85: RETURNDATASIZE
00002e86: PUSH1 0x1f
00002e88: NOT
00002e89: PUSH1 0x1f
00002e8b: DUP3
00002e8c: ADD
00002e8d: AND
00002e8e: DUP3
00002e8f: ADD
00002e90: DUP1
00002e91: PUSH1 0x40
00002e93: MSTORE
00002e94: POP
00002e95: DUP2
00002e96: ADD
00002e97: SWAP1
00002e98: PUSH2 0x2ea1
00002e9b: SWAP2
00002e9c: SWAP1
00002e9d: PUSH2 0x3aeb
00002ea0: JUMP
00002ea1: JUMPDEST
00002ea2: PUSH1 0x40
00002ea4: MLOAD
00002ea5: PUSH1 0x01
00002ea7: PUSH1 0x01
00002ea9: PUSH1 0xe0
00002eab: SHL
00002eac: SUB
00002ead: NOT
00002eae: PUSH1 0xe0
00002eb0: DUP5
00002eb1: SWAP1
00002eb2: SHL
00002eb3: AND
00002eb4: DUP2
00002eb5: MSTORE
00002eb6: PUSH1 0x01
00002eb8: PUSH1 0x01
00002eba: PUSH1 0xa0
00002ebc: SHL
00002ebd: SUB
00002ebe: SWAP1
00002ebf: SWAP2
00002ec0: AND
00002ec1: PUSH1 0x04
00002ec3: DUP3
00002ec4: ADD
00002ec5: MSTORE
00002ec6: PUSH1 0x24
00002ec8: DUP2
00002ec9: ADD
00002eca: DUP5
00002ecb: SWAP1
00002ecc: MSTORE
00002ecd: PUSH1 0x44
00002ecf: ADD
00002ed0: PUSH1 0x20
00002ed2: PUSH1 0x40
00002ed4: MLOAD
00002ed5: DUP1
00002ed6: DUP4
00002ed7: SUB
00002ed8: DUP2
00002ed9: PUSH0
00002eda: DUP8
00002edb: GAS
00002edc: CALL
00002edd: ISZERO
00002ede: DUP1
00002edf: ISZERO
00002ee0: PUSH2 0x2eeb
00002ee3: JUMPI
00002ee4: RETURNDATASIZE
00002ee5: PUSH0
00002ee6: DUP1
00002ee7: RETURNDATACOPY
00002ee8: RETURNDATASIZE
00002ee9: PUSH0
00002eea: REVERT
00002eeb: JUMPDEST
00002eec: POP
00002eed: POP
00002eee: POP
00002eef: POP
00002ef0: PUSH1 0x40
00002ef2: MLOAD
00002ef3: RETURNDATASIZE
00002ef4: PUSH1 0x1f
00002ef6: NOT
00002ef7: PUSH1 0x1f
00002ef9: DUP3
00002efa: ADD
00002efb: AND
00002efc: DUP3
00002efd: ADD
00002efe: DUP1
00002eff: PUSH1 0x40
00002f01: MSTORE
00002f02: POP
00002f03: DUP2
00002f04: ADD
00002f05: SWAP1
00002f06: PUSH2 0x2f0f
00002f09: SWAP2
00002f0a: SWAP1
00002f0b: PUSH2 0x3ca3
00002f0e: JUMP
00002f0f: JUMPDEST
00002f10: PUSH2 0x2f5b
00002f13: JUMPI
00002f14: PUSH1 0x40
00002f16: MLOAD
00002f17: PUSH3 0x461bcd
00002f1b: PUSH1 0xe5
00002f1d: SHL
00002f1e: DUP2
00002f1f: MSTORE
00002f20: PUSH1 0x20
00002f22: PUSH1 0x04
00002f24: DUP3
00002f25: ADD
00002f26: MSTORE
00002f27: PUSH1 0x0e
00002f29: PUSH1 0x24
00002f2b: DUP3
00002f2c: ADD
00002f2d: MSTORE
00002f2e: PUSH32 0x617070726f7665206661696c6564000000000000000000000000000000000000
00002f4f: PUSH1 0x44
00002f51: DUP3
00002f52: ADD
00002f53: MSTORE
00002f54: PUSH1 0x64
00002f56: ADD
00002f57: PUSH2 0x0677
00002f5a: JUMP
00002f5b: JUMPDEST
00002f5c: POP
00002f5d: POP
00002f5e: PUSH2 0x2f66
00002f61: PUSH1 0x01
00002f63: PUSH0
00002f64: SSTORE
00002f65: JUMP
00002f66: JUMPDEST
00002f67: JUMP
00002f68: JUMPDEST
00002f69: PUSH2 0x2f70
00002f6c: PUSH2 0x3992
00002f6f: JUMP
00002f70: JUMPDEST
00002f71: PUSH1 0x40
00002f73: MLOAD
00002f74: PUSH4 0x01fd3f77
00002f79: PUSH1 0xe7
00002f7b: SHL
00002f7c: DUP2
00002f7d: MSTORE
00002f7e: CALLER
00002f7f: PUSH1 0x04
00002f81: DUP3
00002f82: ADD
00002f83: MSTORE
00002f84: PUSH32 0x00000000000000000000000055ead3b40016b1d5417f5a20f2d1e53e2d1c9122
00002fa5: PUSH1 0x01
00002fa7: PUSH1 0x01
00002fa9: PUSH1 0xa0
00002fab: SHL
00002fac: SUB
00002fad: AND
00002fae: SWAP1
00002faf: PUSH4 0xfe9fbb80
00002fb4: SWAP1
00002fb5: PUSH1 0x24
00002fb7: ADD
00002fb8: PUSH1 0x20
00002fba: PUSH1 0x40
00002fbc: MLOAD
00002fbd: DUP1
00002fbe: DUP4
00002fbf: SUB
00002fc0: DUP2
00002fc1: DUP7
00002fc2: GAS
00002fc3: STATICCALL
00002fc4: ISZERO
00002fc5: DUP1
00002fc6: ISZERO
00002fc7: PUSH2 0x2fd2
00002fca: JUMPI
00002fcb: RETURNDATASIZE
00002fcc: PUSH0
00002fcd: DUP1
00002fce: RETURNDATACOPY
00002fcf: RETURNDATASIZE
00002fd0: PUSH0
00002fd1: REVERT
00002fd2: JUMPDEST
00002fd3: POP
00002fd4: POP
00002fd5: POP
00002fd6: POP
00002fd7: PUSH1 0x40
00002fd9: MLOAD
00002fda: RETURNDATASIZE
00002fdb: PUSH1 0x1f
00002fdd: NOT
00002fde: PUSH1 0x1f
00002fe0: DUP3
00002fe1: ADD
00002fe2: AND
00002fe3: DUP3
00002fe4: ADD
00002fe5: DUP1
00002fe6: PUSH1 0x40
00002fe8: MSTORE
00002fe9: POP
00002fea: DUP2
00002feb: ADD
00002fec: SWAP1
00002fed: PUSH2 0x2ff6
00002ff0: SWAP2
00002ff1: SWAP1
00002ff2: PUSH2 0x3ca3
00002ff5: JUMP
00002ff6: JUMPDEST
00002ff7: PUSH2 0x3042
00002ffa: JUMPI
00002ffb: PUSH1 0x40
00002ffd: MLOAD
00002ffe: PUSH3 0x461bcd
00003002: PUSH1 0xe5
00003004: SHL
00003005: DUP2
00003006: MSTORE
00003007: PUSH1 0x20
00003009: PUSH1 0x04
0000300b: DUP3
0000300c: ADD
0000300d: MSTORE
0000300e: PUSH1 0x0f
00003010: PUSH1 0x24
00003012: DUP3
00003013: ADD
00003014: MSTORE
00003015: PUSH32 0x617574686f72697a6564206f6e6c790000000000000000000000000000000000
00003036: PUSH1 0x44
00003038: DUP3
00003039: ADD
0000303a: MSTORE
0000303b: PUSH1 0x64
0000303d: ADD
0000303e: PUSH2 0x0677
00003041: JUMP
00003042: JUMPDEST
00003043: PUSH1 0x02
00003045: SLOAD
00003046: PUSH1 0x40
00003048: MLOAD
00003049: PUSH4 0x70a08231
0000304e: PUSH1 0xe0
00003050: SHL
00003051: DUP2
00003052: MSTORE
00003053: PUSH1 0x01
00003055: PUSH1 0x01
00003057: PUSH1 0xa0
00003059: SHL
0000305a: SUB
0000305b: PUSH32 0x000000000000000000000000bcf58de37791efe60fe87a6d420fe8f7aea99ef8
0000307c: DUP2
0000307d: AND
0000307e: PUSH1 0x04
00003080: DUP4
00003081: ADD
00003082: MSTORE
00003083: DUP5
00003084: SWAP3
00003085: AND
00003086: SWAP1
00003087: PUSH4 0x70a08231
0000308c: SWAP1
0000308d: PUSH1 0x24
0000308f: ADD
00003090: PUSH1 0x20
00003092: PUSH1 0x40
00003094: MLOAD
00003095: DUP1
00003096: DUP4
00003097: SUB
00003098: DUP2
00003099: DUP7
0000309a: GAS
0000309b: STATICCALL
0000309c: ISZERO
0000309d: DUP1
0000309e: ISZERO
0000309f: PUSH2 0x30aa
000030a2: JUMPI
000030a3: RETURNDATASIZE
000030a4: PUSH0
000030a5: DUP1
000030a6: RETURNDATACOPY
000030a7: RETURNDATASIZE
000030a8: PUSH0
000030a9: REVERT
000030aa: JUMPDEST
000030ab: POP
000030ac: POP
000030ad: POP
000030ae: POP
000030af: PUSH1 0x40
000030b1: MLOAD
000030b2: RETURNDATASIZE
000030b3: PUSH1 0x1f
000030b5: NOT
000030b6: PUSH1 0x1f
000030b8: DUP3
000030b9: ADD
000030ba: AND
000030bb: DUP3
000030bc: ADD
000030bd: DUP1
000030be: PUSH1 0x40
000030c0: MSTORE
000030c1: POP
000030c2: DUP2
000030c3: ADD
000030c4: SWAP1
000030c5: PUSH2 0x30ce
000030c8: SWAP2
000030c9: SWAP1
000030ca: PUSH2 0x3b06
000030cd: JUMP
000030ce: JUMPDEST
000030cf: LT
000030d0: PUSH2 0x31a3
000030d3: JUMPI
000030d4: PUSH1 0x02
000030d6: SLOAD
000030d7: PUSH1 0x40
000030d9: MLOAD
000030da: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
000030fb: DUP2
000030fc: MSTORE
000030fd: PUSH1 0x01
000030ff: PUSH1 0x01
00003101: PUSH1 0xa0
00003103: SHL
00003104: SUB
00003105: DUP4
00003106: DUP2
00003107: AND
00003108: PUSH1 0x04
0000310a: DUP4
0000310b: ADD
0000310c: MSTORE
0000310d: PUSH1 0x24
0000310f: DUP3
00003110: ADD
00003111: DUP6
00003112: SWAP1
00003113: MSTORE
00003114: SWAP1
00003115: SWAP2
00003116: AND
00003117: SWAP1
00003118: PUSH4 0xa9059cbb
0000311d: SWAP1
0000311e: PUSH1 0x44
00003120: ADD
00003121: PUSH1 0x20
00003123: PUSH1 0x40
00003125: MLOAD
00003126: DUP1
00003127: DUP4
00003128: SUB
00003129: DUP2
0000312a: PUSH0
0000312b: DUP8
0000312c: GAS
0000312d: CALL
0000312e: ISZERO
0000312f: DUP1
00003130: ISZERO
00003131: PUSH2 0x313c
00003134: JUMPI
00003135: RETURNDATASIZE
00003136: PUSH0
00003137: DUP1
00003138: RETURNDATACOPY
00003139: RETURNDATASIZE
0000313a: PUSH0
0000313b: REVERT
0000313c: JUMPDEST
0000313d: POP
0000313e: POP
0000313f: POP
00003140: POP
00003141: PUSH1 0x40
00003143: MLOAD
00003144: RETURNDATASIZE
00003145: PUSH1 0x1f
00003147: NOT
00003148: PUSH1 0x1f
0000314a: DUP3
0000314b: ADD
0000314c: AND
0000314d: DUP3
0000314e: ADD
0000314f: DUP1
00003150: PUSH1 0x40
00003152: MSTORE
00003153: POP
00003154: DUP2
00003155: ADD
00003156: SWAP1
00003157: PUSH2 0x3160
0000315a: SWAP2
0000315b: SWAP1
0000315c: PUSH2 0x3ca3
0000315f: JUMP
00003160: JUMPDEST
00003161: PUSH2 0x319e
00003164: JUMPI
00003165: PUSH1 0x40
00003167: MLOAD
00003168: PUSH3 0x461bcd
0000316c: PUSH1 0xe5
0000316e: SHL
0000316f: DUP2
00003170: MSTORE
00003171: PUSH1 0x20
00003173: PUSH1 0x04
00003175: DUP3
00003176: ADD
00003177: MSTORE
00003178: PUSH1 0x0f
0000317a: PUSH1 0x24
0000317c: DUP3
0000317d: ADD
0000317e: MSTORE
0000317f: PUSH15 0x1d1c985b9cd9995c8819985a5b1959
0000318f: PUSH1 0x8a
00003191: SHL
00003192: PUSH1 0x44
00003194: DUP3
00003195: ADD
00003196: MSTORE
00003197: PUSH1 0x64
00003199: ADD
0000319a: PUSH2 0x0677
0000319d: JUMP
0000319e: JUMPDEST
0000319f: PUSH2 0x34ab
000031a2: JUMP
000031a3: JUMPDEST
000031a4: PUSH1 0x02
000031a6: SLOAD
000031a7: PUSH1 0x40
000031a9: MLOAD
000031aa: PUSH4 0x70a08231
000031af: PUSH1 0xe0
000031b1: SHL
000031b2: DUP2
000031b3: MSTORE
000031b4: PUSH1 0x01
000031b6: PUSH1 0x01
000031b8: PUSH1 0xa0
000031ba: SHL
000031bb: SUB
000031bc: PUSH32 0x000000000000000000000000bcf58de37791efe60fe87a6d420fe8f7aea99ef8
000031dd: DUP2
000031de: AND
000031df: PUSH1 0x04
000031e1: DUP4
000031e2: ADD
000031e3: MSTORE
000031e4: PUSH0
000031e5: SWAP3
000031e6: AND
000031e7: SWAP1
000031e8: PUSH4 0x70a08231
000031ed: SWAP1
000031ee: PUSH1 0x24
000031f0: ADD
000031f1: PUSH1 0x20
000031f3: PUSH1 0x40
000031f5: MLOAD
000031f6: DUP1
000031f7: DUP4
000031f8: SUB
000031f9: DUP2
000031fa: DUP7
000031fb: GAS
000031fc: STATICCALL
000031fd: ISZERO
000031fe: DUP1
000031ff: ISZERO
00003200: PUSH2 0x320b
00003203: JUMPI
00003204: RETURNDATASIZE
00003205: PUSH0
00003206: DUP1
00003207: RETURNDATACOPY
00003208: RETURNDATASIZE
00003209: PUSH0
0000320a: REVERT
0000320b: JUMPDEST
0000320c: POP
0000320d: POP
0000320e: POP
0000320f: POP
00003210: PUSH1 0x40
00003212: MLOAD
00003213: RETURNDATASIZE
00003214: PUSH1 0x1f
00003216: NOT
00003217: PUSH1 0x1f
00003219: DUP3
0000321a: ADD
0000321b: AND
0000321c: DUP3
0000321d: ADD
0000321e: DUP1
0000321f: PUSH1 0x40
00003221: MSTORE
00003222: POP
00003223: DUP2
00003224: ADD
00003225: SWAP1
00003226: PUSH2 0x322f
00003229: SWAP2
0000322a: SWAP1
0000322b: PUSH2 0x3b06
0000322e: JUMP
0000322f: JUMPDEST
00003230: PUSH2 0x3239
00003233: SWAP1
00003234: DUP5
00003235: PUSH2 0x3b31
00003238: JUMP
00003239: JUMPDEST
0000323a: PUSH1 0x02
0000323c: SLOAD
0000323d: PUSH1 0x40
0000323f: MLOAD
00003240: PUSH4 0x70a08231
00003245: PUSH1 0xe0
00003247: SHL
00003248: DUP2
00003249: MSTORE
0000324a: PUSH1 0x01
0000324c: PUSH1 0x01
0000324e: PUSH1 0xa0
00003250: SHL
00003251: SUB
00003252: PUSH32 0x000000000000000000000000bcf58de37791efe60fe87a6d420fe8f7aea99ef8
00003273: DUP2
00003274: AND
00003275: PUSH1 0x04
00003277: DUP4
00003278: ADD
00003279: MSTORE
0000327a: SWAP3
0000327b: SWAP4
0000327c: POP
0000327d: SWAP2
0000327e: AND
0000327f: SWAP1
00003280: PUSH4 0xa9059cbb
00003285: SWAP1
00003286: DUP5
00003287: SWAP1
00003288: DUP4
00003289: SWAP1
0000328a: PUSH4 0x70a08231
0000328f: SWAP1
00003290: PUSH1 0x24
00003292: ADD
00003293: PUSH1 0x20
00003295: PUSH1 0x40
00003297: MLOAD
00003298: DUP1
00003299: DUP4
0000329a: SUB
0000329b: DUP2
0000329c: DUP7
0000329d: GAS
0000329e: STATICCALL
0000329f: ISZERO
000032a0: DUP1
000032a1: ISZERO
000032a2: PUSH2 0x32ad
000032a5: JUMPI
000032a6: RETURNDATASIZE
000032a7: PUSH0
000032a8: DUP1
000032a9: RETURNDATACOPY
000032aa: RETURNDATASIZE
000032ab: PUSH0
000032ac: REVERT
000032ad: JUMPDEST
000032ae: POP
000032af: POP
000032b0: POP
000032b1: POP
000032b2: PUSH1 0x40
000032b4: MLOAD
000032b5: RETURNDATASIZE
000032b6: PUSH1 0x1f
000032b8: NOT
000032b9: PUSH1 0x1f
000032bb: DUP3
000032bc: ADD
000032bd: AND
000032be: DUP3
000032bf: ADD
000032c0: DUP1
000032c1: PUSH1 0x40
000032c3: MSTORE
000032c4: POP
000032c5: DUP2
000032c6: ADD
000032c7: SWAP1
000032c8: PUSH2 0x32d1
000032cb: SWAP2
000032cc: SWAP1
000032cd: PUSH2 0x3b06
000032d0: JUMP
000032d1: JUMPDEST
000032d2: PUSH1 0x40
000032d4: MLOAD
000032d5: PUSH1 0x01
000032d7: PUSH1 0x01
000032d9: PUSH1 0xe0
000032db: SHL
000032dc: SUB
000032dd: NOT
000032de: PUSH1 0xe0
000032e0: DUP6
000032e1: SWAP1
000032e2: SHL
000032e3: AND
000032e4: DUP2
000032e5: MSTORE
000032e6: PUSH1 0x01
000032e8: PUSH1 0x01
000032ea: PUSH1 0xa0
000032ec: SHL
000032ed: SUB
000032ee: SWAP1
000032ef: SWAP3
000032f0: AND
000032f1: PUSH1 0x04
000032f3: DUP4
000032f4: ADD
000032f5: MSTORE
000032f6: PUSH1 0x24
000032f8: DUP3
000032f9: ADD
000032fa: MSTORE
000032fb: PUSH1 0x44
000032fd: ADD
000032fe: PUSH1 0x20
00003300: PUSH1 0x40
00003302: MLOAD
00003303: DUP1
00003304: DUP4
00003305: SUB
00003306: DUP2
00003307: PUSH0
00003308: DUP8
00003309: GAS
0000330a: CALL
0000330b: ISZERO
0000330c: DUP1
0000330d: ISZERO
0000330e: PUSH2 0x3319
00003311: JUMPI
00003312: RETURNDATASIZE
00003313: PUSH0
00003314: DUP1
00003315: RETURNDATACOPY
00003316: RETURNDATASIZE
00003317: PUSH0
00003318: REVERT
00003319: JUMPDEST
0000331a: POP
0000331b: POP
0000331c: POP
0000331d: POP
0000331e: PUSH1 0x40
00003320: MLOAD
00003321: RETURNDATASIZE
00003322: PUSH1 0x1f
00003324: NOT
00003325: PUSH1 0x1f
00003327: DUP3
00003328: ADD
00003329: AND
0000332a: DUP3
0000332b: ADD
0000332c: DUP1
0000332d: PUSH1 0x40
0000332f: MSTORE
00003330: POP
00003331: DUP2
00003332: ADD
00003333: SWAP1
00003334: PUSH2 0x333d
00003337: SWAP2
00003338: SWAP1
00003339: PUSH2 0x3ca3
0000333c: JUMP
0000333d: JUMPDEST
0000333e: PUSH2 0x337b
00003341: JUMPI
00003342: PUSH1 0x40
00003344: MLOAD
00003345: PUSH3 0x461bcd
00003349: PUSH1 0xe5
0000334b: SHL
0000334c: DUP2
0000334d: MSTORE
0000334e: PUSH1 0x20
00003350: PUSH1 0x04
00003352: DUP3
00003353: ADD
00003354: MSTORE
00003355: PUSH1 0x0f
00003357: PUSH1 0x24
00003359: DUP3
0000335a: ADD
0000335b: MSTORE
0000335c: PUSH15 0x1d1c985b9cd9995c8819985a5b1959
0000336c: PUSH1 0x8a
0000336e: SHL
0000336f: PUSH1 0x44
00003371: DUP3
00003372: ADD
00003373: MSTORE
00003374: PUSH1 0x64
00003376: ADD
00003377: PUSH2 0x0677
0000337a: JUMP
0000337b: JUMPDEST
0000337c: PUSH1 0x02
0000337e: SLOAD
0000337f: PUSH1 0x40
00003381: MLOAD
00003382: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000
000033a3: DUP2
000033a4: MSTORE
000033a5: PUSH1 0x01
000033a7: PUSH1 0x01
000033a9: PUSH1 0xa0
000033ab: SHL
000033ac: SUB
000033ad: PUSH32 0x000000000000000000000000bcf58de37791efe60fe87a6d420fe8f7aea99ef8
000033ce: DUP2
000033cf: AND
000033d0: PUSH1 0x04
000033d2: DUP4
000033d3: ADD
000033d4: MSTORE
000033d5: DUP5
000033d6: DUP2
000033d7: AND
000033d8: PUSH1 0x24
000033da: DUP4
000033db: ADD
000033dc: MSTORE
000033dd: SWAP1
000033de: SWAP2
000033df: AND
000033e0: SWAP1
000033e1: PUSH4 0x095ea7b3
000033e6: SWAP1
000033e7: DUP5
000033e8: SWAP1
000033e9: DUP4
000033ea: SWAP1
000033eb: PUSH4 0xdd62ed3e
000033f0: SWAP1
000033f1: PUSH1 0x44
000033f3: ADD
000033f4: PUSH1 0x20
000033f6: PUSH1 0x40
000033f8: MLOAD
000033f9: DUP1
000033fa: DUP4
000033fb: SUB
000033fc: DUP2
000033fd: DUP7
000033fe: GAS
000033ff: STATICCALL
00003400: ISZERO
00003401: DUP1
00003402: ISZERO
00003403: PUSH2 0x340e
00003406: JUMPI
00003407: RETURNDATASIZE
00003408: PUSH0
00003409: DUP1
0000340a: RETURNDATACOPY
0000340b: RETURNDATASIZE
0000340c: PUSH0
0000340d: REVERT
0000340e: JUMPDEST
0000340f: POP
00003410: POP
00003411: POP
00003412: POP
00003413: PUSH1 0x40
00003415: MLOAD
00003416: RETURNDATASIZE
00003417: PUSH1 0x1f
00003419: NOT
0000341a: PUSH1 0x1f
0000341c: DUP3
0000341d: ADD
0000341e: AND
0000341f: DUP3
00003420: ADD
00003421: DUP1
00003422: PUSH1 0x40
00003424: MSTORE
00003425: POP
00003426: DUP2
00003427: ADD
00003428: SWAP1
00003429: PUSH2 0x3432
0000342c: SWAP2
0000342d: SWAP1
0000342e: PUSH2 0x3b06
00003431: JUMP
00003432: JUMPDEST
00003433: PUSH2 0x343c
00003436: SWAP1
00003437: DUP6
00003438: PUSH2 0x3cc2
0000343b: JUMP
0000343c: JUMPDEST
0000343d: PUSH1 0x40
0000343f: MLOAD
00003440: PUSH1 0x01
00003442: PUSH1 0x01
00003444: PUSH1 0xe0
00003446: SHL
00003447: SUB
00003448: NOT
00003449: PUSH1 0xe0
0000344b: DUP6
0000344c: SWAP1
0000344d: SHL
0000344e: AND
0000344f: DUP2
00003450: MSTORE
00003451: PUSH1 0x01
00003453: PUSH1 0x01
00003455: PUSH1 0xa0
00003457: SHL
00003458: SUB
00003459: SWAP1
0000345a: SWAP3
0000345b: AND
0000345c: PUSH1 0x04
0000345e: DUP4
0000345f: ADD
00003460: MSTORE
00003461: PUSH1 0x24
00003463: DUP3
00003464: ADD
00003465: MSTORE
00003466: PUSH1 0x44
00003468: ADD
00003469: PUSH1 0x20
0000346b: PUSH1 0x40
0000346d: MLOAD
0000346e: DUP1
0000346f: DUP4
00003470: SUB
00003471: DUP2
00003472: PUSH0
00003473: DUP8
00003474: GAS
00003475: CALL
00003476: ISZERO
00003477: DUP1
00003478: ISZERO
00003479: PUSH2 0x3484
0000347c: JUMPI
0000347d: RETURNDATASIZE
0000347e: PUSH0
0000347f: DUP1
00003480: RETURNDATACOPY
00003481: RETURNDATASIZE
00003482: PUSH0
00003483: REVERT
00003484: JUMPDEST
00003485: POP
00003486: POP
00003487: POP
00003488: POP
00003489: PUSH1 0x40
0000348b: MLOAD
0000348c: RETURNDATASIZE
0000348d: PUSH1 0x1f
0000348f: NOT
00003490: PUSH1 0x1f
00003492: DUP3
00003493: ADD
00003494: AND
00003495: DUP3
00003496: ADD
00003497: DUP1
00003498: PUSH1 0x40
0000349a: MSTORE
0000349b: POP
0000349c: DUP2
0000349d: ADD
0000349e: SWAP1
0000349f: PUSH2 0x34a8
000034a2: SWAP2
000034a3: SWAP1
000034a4: PUSH2 0x3ca3
000034a7: JUMP
000034a8: JUMPDEST
000034a9: POP
000034aa: POP
000034ab: JUMPDEST
000034ac: PUSH2 0x0800
000034af: PUSH1 0x01
000034b1: PUSH0
000034b2: SSTORE
000034b3: JUMP
000034b4: JUMPDEST
000034b5: PUSH2 0x34bc
000034b8: PUSH2 0x3992
000034bb: JUMP
000034bc: JUMPDEST
000034bd: PUSH4 0xffffffff
000034c2: DUP2
000034c3: AND
000034c4: PUSH0
000034c5: SWAP1
000034c6: DUP2
000034c7: MSTORE
000034c8: PUSH1 0x05
000034ca: PUSH1 0x20
000034cc: MSTORE
000034cd: PUSH1 0x40
000034cf: SWAP1
000034d0: KECCAK256
000034d1: PUSH1 0x02
000034d3: DUP2
000034d4: ADD
000034d5: SLOAD
000034d6: PUSH8 0x0100000000000000
000034df: SWAP1
000034e0: DIV
000034e1: PUSH1 0xff
000034e3: AND
000034e4: ISZERO
000034e5: PUSH2 0x3538
000034e8: JUMPI
000034e9: PUSH1 0x02
000034eb: DUP2
000034ec: ADD
000034ed: SLOAD
000034ee: PUSH1 0x01
000034f0: PUSH1 0x40
000034f2: SHL
000034f3: SWAP1
000034f4: DIV
000034f5: PUSH1 0x01
000034f7: PUSH1 0x01
000034f9: PUSH1 0xa0
000034fb: SHL
000034fc: SUB
000034fd: AND
000034fe: CALLER
000034ff: EQ
00003500: PUSH2 0x3538
00003503: JUMPI
00003504: PUSH1 0x40
00003506: MLOAD
00003507: PUSH3 0x461bcd
0000350b: PUSH1 0xe5
0000350d: SHL
0000350e: DUP2
0000350f: MSTORE
00003510: PUSH1 0x20
00003512: PUSH1 0x04
00003514: DUP3
00003515: ADD
00003516: MSTORE
00003517: PUSH1 0x0a
00003519: PUSH1 0x24
0000351b: DUP3
0000351c: ADD
0000351d: MSTORE
0000351e: PUSH10 0x37b7363c9037bbb732b9
00003529: PUSH1 0xb1
0000352b: SHL
0000352c: PUSH1 0x44
0000352e: DUP3
0000352f: ADD
00003530: MSTORE
00003531: PUSH1 0x64
00003533: ADD
00003534: PUSH2 0x0677
00003537: JUMP
00003538: JUMPDEST
00003539: PUSH1 0x02
0000353b: DUP2
0000353c: DUP2
0000353d: ADD
0000353e: SLOAD
0000353f: PUSH3 0xffffff
00003543: AND
00003544: LT
00003545: PUSH2 0x3590
00003548: JUMPI
00003549: PUSH1 0x40
0000354b: MLOAD
0000354c: PUSH3 0x461bcd
00003550: PUSH1 0xe5
00003552: SHL
00003553: DUP2
00003554: MSTORE
00003555: PUSH1 0x20
00003557: PUSH1 0x04
00003559: DUP3
0000355a: ADD
0000355b: MSTORE
0000355c: PUSH1 0x19
0000355e: PUSH1 0x24
00003560: DUP3
00003561: ADD
00003562: MSTORE
00003563: PUSH32 0x6f6e206c69717569646174696f6e2f6c69717569646174656400000000000000
00003584: PUSH1 0x44
00003586: DUP3
00003587: ADD
00003588: MSTORE
00003589: PUSH1 0x64
0000358b: ADD
0000358c: PUSH2 0x0677
0000358f: JUMP
00003590: JUMPDEST
00003591: PUSH1 0x02
00003593: DUP1
00003594: SLOAD
00003595: SWAP1
00003596: DUP3
00003597: ADD
00003598: SLOAD
00003599: PUSH1 0x01
0000359b: PUSH1 0x01
0000359d: PUSH1 0xa0
0000359f: SHL
000035a0: SUB
000035a1: SWAP2
000035a2: DUP3
000035a3: AND
000035a4: SWAP2
000035a5: PUSH4 0x23b872dd
000035aa: SWAP2
000035ab: PUSH1 0x01
000035ad: PUSH1 0x40
000035af: SHL
000035b0: SWAP1
000035b1: DIV
000035b2: AND
000035b3: PUSH32 0x000000000000000000000000bcf58de37791efe60fe87a6d420fe8f7aea99ef8
000035d4: PUSH2 0x35dc
000035d7: DUP7
000035d8: PUSH2 0x3842
000035db: JUMP
000035dc: JUMPDEST
000035dd: PUSH1 0x40
000035df: MLOAD
000035e0: PUSH1 0x01
000035e2: PUSH1 0x01
000035e4: PUSH1 0xe0
000035e6: SHL
000035e7: SUB
000035e8: NOT
000035e9: PUSH1 0xe0
000035eb: DUP7
000035ec: SWAP1
000035ed: SHL
000035ee: AND
000035ef: DUP2
000035f0: MSTORE
000035f1: PUSH1 0x01
000035f3: PUSH1 0x01
000035f5: PUSH1 0xa0
000035f7: SHL
000035f8: SUB
000035f9: SWAP4
000035fa: DUP5
000035fb: AND
000035fc: PUSH1 0x04
000035fe: DUP3
000035ff: ADD
00003600: MSTORE
00003601: SWAP3
00003602: SWAP1
00003603: SWAP2
00003604: AND
00003605: PUSH1 0x24
00003607: DUP4
00003608: ADD
00003609: MSTORE
0000360a: PUSH1 0x44
0000360c: DUP3
0000360d: ADD
0000360e: MSTORE
0000360f: PUSH1 0x64
00003611: ADD
00003612: PUSH1 0x20
00003614: PUSH1 0x40
00003616: MLOAD
00003617: DUP1
00003618: DUP4
00003619: SUB
0000361a: DUP2
0000361b: PUSH0
0000361c: DUP8
0000361d: GAS
0000361e: CALL
0000361f: ISZERO
00003620: DUP1
00003621: ISZERO
00003622: PUSH2 0x362d
00003625: JUMPI
00003626: RETURNDATASIZE
00003627: PUSH0
00003628: DUP1
00003629: RETURNDATACOPY
0000362a: RETURNDATASIZE
0000362b: PUSH0
0000362c: REVERT
0000362d: JUMPDEST
0000362e: POP
0000362f: POP
00003630: POP
00003631: POP
00003632: PUSH1 0x40
00003634: MLOAD
00003635: RETURNDATASIZE
00003636: PUSH1 0x1f
00003638: NOT
00003639: PUSH1 0x1f
0000363b: DUP3
0000363c: ADD
0000363d: AND
0000363e: DUP3
0000363f: ADD
00003640: DUP1
00003641: PUSH1 0x40
00003643: MSTORE
00003644: POP
00003645: DUP2
00003646: ADD
00003647: SWAP1
00003648: PUSH2 0x3651
0000364b: SWAP2
0000364c: SWAP1
0000364d: PUSH2 0x3ca3
00003650: JUMP
00003651: JUMPDEST
00003652: PUSH2 0x369d
00003655: JUMPI
00003656: PUSH1 0x40
00003658: MLOAD
00003659: PUSH3 0x461bcd
0000365d: PUSH1 0xe5
0000365f: SHL
00003660: DUP2
00003661: MSTORE
00003662: PUSH1 0x20
00003664: PUSH1 0x04
00003666: DUP3
00003667: ADD
00003668: MSTORE
00003669: PUSH1 0x15
0000366b: PUSH1 0x24
0000366d: DUP3
0000366e: ADD
0000366f: MSTORE
00003670: PUSH32 0x6c6f772062616c616e63652f616c6c6f77616e63650000000000000000000000
00003691: PUSH1 0x44
00003693: DUP3
00003694: ADD
00003695: MSTORE
00003696: PUSH1 0x64
00003698: ADD
00003699: PUSH2 0x0677
0000369c: JUMP
0000369d: JUMPDEST
0000369e: PUSH1 0x01
000036a0: SWAP1
000036a1: DUP2
000036a2: ADD
000036a3: DUP1
000036a4: SLOAD
000036a5: PUSH32 0xffffffffffffffff00000000ffffffff00000000000000000000000000000000
000036c6: AND
000036c7: PUSH1 0x01
000036c9: PUSH1 0xa0
000036cb: SHL
000036cc: TIMESTAMP
000036cd: PUSH4 0xffffffff
000036d2: AND
000036d3: MUL
000036d4: OR
000036d5: SWAP1
000036d6: SSTORE
000036d7: PUSH0
000036d8: SSTORE
000036d9: POP
000036da: JUMP
000036db: JUMPDEST
000036dc: PUSH4 0xffffffff
000036e1: DUP1
000036e2: DUP3
000036e3: AND
000036e4: PUSH0
000036e5: SWAP1
000036e6: DUP2
000036e7: MSTORE
000036e8: PUSH1 0x05
000036ea: PUSH1 0x20
000036ec: MSTORE
000036ed: PUSH1 0x40
000036ef: SWAP1
000036f0: KECCAK256
000036f1: PUSH1 0x01
000036f3: DUP2
000036f4: ADD
000036f5: SLOAD
000036f6: SWAP1
000036f7: SWAP2
000036f8: PUSH1 0x01
000036fa: PUSH1 0xd8
000036fc: SHL
000036fd: SWAP1
000036fe: SWAP2
000036ff: DIV
00003700: AND
00003701: ISZERO
00003702: DUP1
00003703: ISZERO
00003704: SWAP1
00003705: PUSH2 0x3717
00003708: JUMPI
00003709: POP
0000370a: PUSH1 0x02
0000370c: DUP2
0000370d: ADD
0000370e: SLOAD
0000370f: PUSH3 0xffffff
00003713: AND
00003714: PUSH1 0x01
00003716: EQ
00003717: JUMPDEST
00003718: PUSH2 0x3789
0000371b: JUMPI
0000371c: PUSH1 0x40
0000371e: MLOAD
0000371f: PUSH3 0x461bcd
00003723: PUSH1 0xe5
00003725: SHL
00003726: DUP2
00003727: MSTORE
00003728: PUSH1 0x20
0000372a: PUSH1 0x04
0000372c: DUP3
0000372d: ADD
0000372e: MSTORE
0000372f: PUSH1 0x27
00003731: PUSH1 0x24
00003733: DUP3
00003734: ADD
00003735: MSTORE
00003736: PUSH32 0x6e6f74206d61726b6564206f72206f6e206c69717569646174696f6e2f6c6971
00003757: PUSH1 0x44
00003759: DUP3
0000375a: ADD
0000375b: MSTORE
0000375c: PUSH32 0x7569646174656400000000000000000000000000000000000000000000000000
0000377d: PUSH1 0x64
0000377f: DUP3
00003780: ADD
00003781: MSTORE
00003782: PUSH1 0x84
00003784: ADD
00003785: PUSH2 0x0677
00003788: JUMP
00003789: JUMPDEST
0000378a: DUP1
0000378b: SLOAD
0000378c: PUSH1 0x01
0000378e: PUSH1 0x01
00003790: PUSH1 0x80
00003792: SHL
00003793: SUB
00003794: AND
00003795: PUSH2 0x379d
00003798: DUP4
00003799: PUSH2 0x29ed
0000379c: JUMP
0000379d: JUMPDEST
0000379e: GT
0000379f: PUSH2 0x37a6
000037a2: JUMPI
000037a3: PUSH0
000037a4: DUP1
000037a5: REVERT
000037a6: JUMPDEST
000037a7: PUSH1 0x01
000037a9: DUP2
000037aa: ADD
000037ab: DUP1
000037ac: SLOAD
000037ad: PUSH4 0xffffffff
000037b2: PUSH1 0xd8
000037b4: SHL
000037b5: NOT
000037b6: AND
000037b7: SWAP1
000037b8: SSTORE
000037b9: PUSH2 0x0800
000037bc: DUP3
000037bd: PUSH0
000037be: PUSH2 0x3906
000037c1: JUMP
000037c2: JUMPDEST
000037c3: PUSH4 0xffffffff
000037c8: DUP1
000037c9: DUP3
000037ca: AND
000037cb: PUSH0
000037cc: SWAP1
000037cd: DUP2
000037ce: MSTORE
000037cf: PUSH1 0x05
000037d1: PUSH1 0x20
000037d3: MSTORE
000037d4: PUSH1 0x40
000037d6: DUP2
000037d7: KECCAK256
000037d8: PUSH1 0x01
000037da: DUP2
000037db: ADD
000037dc: SLOAD
000037dd: SWAP2
000037de: SWAP3
000037df: SWAP1
000037e0: SWAP2
000037e1: PUSH1 0x64
000037e3: SWAP2
000037e4: PUSH4 0x01e13380
000037e9: SWAP2
000037ea: PUSH3 0xffffff
000037ee: PUSH1 0x01
000037f0: PUSH1 0xc0
000037f2: SHL
000037f3: DUP3
000037f4: DIV
000037f5: AND
000037f6: SWAP2
000037f7: PUSH2 0x3808
000037fa: SWAP2
000037fb: PUSH1 0x01
000037fd: PUSH1 0xa0
000037ff: SHL
00003800: SWAP1
00003801: DIV
00003802: AND
00003803: TIMESTAMP
00003804: PUSH2 0x3b31
00003807: JUMP
00003808: JUMPDEST
00003809: DUP5
0000380a: SLOAD
0000380b: PUSH2 0x381d
0000380e: SWAP2
0000380f: SWAP1
00003810: PUSH1 0x01
00003812: PUSH1 0x01
00003814: PUSH1 0x80
00003816: SHL
00003817: SUB
00003818: AND
00003819: PUSH2 0x3c6d
0000381c: JUMP
0000381d: JUMPDEST
0000381e: PUSH2 0x3827
00003821: SWAP2
00003822: SWAP1
00003823: PUSH2 0x3c6d
00003826: JUMP
00003827: JUMPDEST
00003828: PUSH2 0x3831
0000382b: SWAP2
0000382c: SWAP1
0000382d: PUSH2 0x3c84
00003830: JUMP
00003831: JUMPDEST
00003832: PUSH2 0x383b
00003835: SWAP2
00003836: SWAP1
00003837: PUSH2 0x3c84
0000383a: JUMP
0000383b: JUMPDEST
0000383c: SWAP4
0000383d: SWAP3
0000383e: POP
0000383f: POP
00003840: POP
00003841: JUMP
00003842: JUMPDEST
00003843: PUSH0
00003844: PUSH2 0x384c
00003847: DUP3
00003848: PUSH2 0x37c2
0000384b: JUMP
0000384c: JUMPDEST
0000384d: PUSH4 0xffffffff
00003852: DUP4
00003853: AND
00003854: PUSH0
00003855: SWAP1
00003856: DUP2
00003857: MSTORE
00003858: PUSH1 0x05
0000385a: PUSH1 0x20
0000385c: MSTORE
0000385d: PUSH1 0x40
0000385f: SWAP1
00003860: KECCAK256
00003861: PUSH1 0x01
00003863: ADD
00003864: SLOAD
00003865: PUSH2 0x06e8
00003868: SWAP2
00003869: SWAP1
0000386a: PUSH1 0x01
0000386c: PUSH1 0x01
0000386e: PUSH1 0x80
00003870: SHL
00003871: SUB
00003872: AND
00003873: PUSH2 0x3cc2
00003876: JUMP
00003877: JUMPDEST
00003878: PUSH4 0xffffffff
0000387d: DUP2
0000387e: AND
0000387f: PUSH0
00003880: SWAP1
00003881: DUP2
00003882: MSTORE
00003883: PUSH1 0x05
00003885: PUSH1 0x20
00003887: MSTORE
00003888: PUSH1 0x40
0000388a: SWAP1
0000388b: KECCAK256
0000388c: PUSH1 0x02
0000388e: DUP2
0000388f: ADD
00003890: SLOAD
00003891: PUSH1 0x01
00003893: PUSH1 0x40
00003895: SHL
00003896: SWAP1
00003897: DIV
00003898: PUSH1 0x01
0000389a: PUSH1 0x01
0000389c: PUSH1 0xa0
0000389e: SHL
0000389f: SUB
000038a0: AND
000038a1: CALLER
000038a2: EQ
000038a3: PUSH2 0x38db
000038a6: JUMPI
000038a7: PUSH1 0x40
000038a9: MLOAD
000038aa: PUSH3 0x461bcd
000038ae: PUSH1 0xe5
000038b0: SHL
000038b1: DUP2
000038b2: MSTORE
000038b3: PUSH1 0x20
000038b5: PUSH1 0x04
000038b7: DUP3
000038b8: ADD
000038b9: MSTORE
000038ba: PUSH1 0x0a
000038bc: PUSH1 0x24
000038be: DUP3
000038bf: ADD
000038c0: MSTORE
000038c1: PUSH10 0x37b7363c9037bbb732b9
000038cc: PUSH1 0xb1
000038ce: SHL
000038cf: PUSH1 0x44
000038d1: DUP3
000038d2: ADD
000038d3: MSTORE
000038d4: PUSH1 0x64
000038d6: ADD
000038d7: PUSH2 0x0677
000038da: JUMP
000038db: JUMPDEST
000038dc: PUSH1 0x02
000038de: ADD
000038df: DUP1
000038e0: SLOAD
000038e1: PUSH8 0xff00000000000000
000038ea: NOT
000038eb: DUP2
000038ec: AND
000038ed: PUSH8 0x0100000000000000
000038f6: SWAP2
000038f7: DUP3
000038f8: SWAP1
000038f9: DIV
000038fa: PUSH1 0xff
000038fc: AND
000038fd: ISZERO
000038fe: SWAP1
000038ff: SWAP2
00003900: MUL
00003901: OR
00003902: SWAP1
00003903: SSTORE
00003904: POP
00003905: JUMP
00003906: JUMPDEST
00003907: PUSH4 0xffffffff
0000390c: DUP3
0000390d: DUP2
0000390e: AND
0000390f: PUSH0
00003910: DUP2
00003911: DUP2
00003912: MSTORE
00003913: PUSH1 0x05
00003915: PUSH1 0x20
00003917: SWAP1
00003918: DUP2
00003919: MSTORE
0000391a: PUSH1 0x40
0000391c: SWAP2
0000391d: DUP3
0000391e: SWAP1
0000391f: KECCAK256
00003920: PUSH1 0x02
00003922: DUP2
00003923: ADD
00003924: DUP1
00003925: SLOAD
00003926: PUSH3 0xffffff
0000392a: NOT
0000392b: AND
0000392c: PUSH3 0xffffff
00003930: DUP9
00003931: AND
00003932: SWAP1
00003933: DUP2
00003934: OR
00003935: SWAP1
00003936: SWAP2
00003937: SSTORE
00003938: PUSH1 0x01
0000393a: DUP3
0000393b: ADD
0000393c: DUP1
0000393d: SLOAD
0000393e: PUSH4 0xffffffff
00003943: PUSH1 0xa0
00003945: SHL
00003946: NOT
00003947: AND
00003948: PUSH1 0x01
0000394a: PUSH1 0xa0
0000394c: SHL
0000394d: TIMESTAMP
0000394e: SWAP1
0000394f: SWAP9
00003950: AND
00003951: SWAP8
00003952: SWAP1
00003953: SWAP8
00003954: MUL
00003955: SWAP7
00003956: SWAP1
00003957: SWAP7
00003958: OR
00003959: SWAP1
0000395a: SWAP6
0000395b: SSTORE
0000395c: SWAP2
0000395d: MLOAD
0000395e: SWAP4
0000395f: DUP5
00003960: MSTORE
00003961: SWAP1
00003962: SWAP3
00003963: PUSH32 0xb178ef024f193469eaf1f07de14c7fdb010da53f3c6a5b82c968d0e12138192c
00003984: SWAP2
00003985: ADD
00003986: PUSH1 0x40
00003988: MLOAD
00003989: DUP1
0000398a: SWAP2
0000398b: SUB
0000398c: SWAP1
0000398d: LOG2
0000398e: POP
0000398f: POP
00003990: POP
00003991: JUMP
00003992: JUMPDEST
00003993: PUSH1 0x02
00003995: PUSH0
00003996: SLOAD
00003997: SUB
00003998: PUSH2 0x39e3
0000399b: JUMPI
0000399c: PUSH1 0x40
0000399e: MLOAD
0000399f: PUSH3 0x461bcd
000039a3: PUSH1 0xe5
000039a5: SHL
000039a6: DUP2
000039a7: MSTORE
000039a8: PUSH1 0x20
000039aa: PUSH1 0x04
000039ac: DUP3
000039ad: ADD
000039ae: MSTORE
000039af: PUSH1 0x1f
000039b1: PUSH1 0x24
000039b3: DUP3
000039b4: ADD
000039b5: MSTORE
000039b6: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000039d7: PUSH1 0x44
000039d9: DUP3
000039da: ADD
000039db: MSTORE
000039dc: PUSH1 0x64
000039de: ADD
000039df: PUSH2 0x0677
000039e2: JUMP
000039e3: JUMPDEST
000039e4: PUSH1 0x02
000039e6: PUSH0
000039e7: SSTORE
000039e8: JUMP
000039e9: JUMPDEST
000039ea: PUSH1 0x01
000039ec: PUSH1 0x01
000039ee: PUSH1 0xa0
000039f0: SHL
000039f1: SUB
000039f2: DUP2
000039f3: AND
000039f4: DUP2
000039f5: EQ
000039f6: PUSH2 0x0c5d
000039f9: JUMPI
000039fa: PUSH0
000039fb: DUP1
000039fc: REVERT
000039fd: JUMPDEST
000039fe: PUSH0
000039ff: DUP1
00003a00: PUSH1 0x40
00003a02: DUP4
00003a03: DUP6
00003a04: SUB
00003a05: SLT
00003a06: ISZERO
00003a07: PUSH2 0x3a0e
00003a0a: JUMPI
00003a0b: PUSH0
00003a0c: DUP1
00003a0d: REVERT
00003a0e: JUMPDEST
00003a0f: DUP3
00003a10: CALLDATALOAD
00003a11: PUSH2 0x3a19
00003a14: DUP2
00003a15: PUSH2 0x39e9
00003a18: JUMP
00003a19: JUMPDEST
00003a1a: SWAP5
00003a1b: PUSH1 0x20
00003a1d: SWAP4
00003a1e: SWAP1
00003a1f: SWAP4
00003a20: ADD
00003a21: CALLDATALOAD
00003a22: SWAP4
00003a23: POP
00003a24: POP
00003a25: POP
00003a26: JUMP
00003a27: JUMPDEST
00003a28: PUSH4 0xffffffff
00003a2d: DUP2
00003a2e: AND
00003a2f: DUP2
00003a30: EQ
00003a31: PUSH2 0x0c5d
00003a34: JUMPI
00003a35: PUSH0
00003a36: DUP1
00003a37: REVERT
00003a38: JUMPDEST
00003a39: PUSH0
00003a3a: PUSH1 0x20
00003a3c: DUP3
00003a3d: DUP5
00003a3e: SUB
00003a3f: SLT
00003a40: ISZERO
00003a41: PUSH2 0x3a48
00003a44: JUMPI
00003a45: PUSH0
00003a46: DUP1
00003a47: REVERT
00003a48: JUMPDEST
00003a49: DUP2
00003a4a: CALLDATALOAD
00003a4b: PUSH2 0x383b
00003a4e: DUP2
00003a4f: PUSH2 0x3a27
00003a52: JUMP
00003a53: JUMPDEST
00003a54: PUSH0
00003a55: PUSH1 0x20
00003a57: DUP3
00003a58: DUP5
00003a59: SUB
00003a5a: SLT
00003a5b: ISZERO
00003a5c: PUSH2 0x3a63
00003a5f: JUMPI
00003a60: PUSH0
00003a61: DUP1
00003a62: REVERT
00003a63: JUMPDEST
00003a64: POP
00003a65: CALLDATALOAD
00003a66: SWAP2
00003a67: SWAP1
00003a68: POP
00003a69: JUMP
00003a6a: JUMPDEST
00003a6b: PUSH0
00003a6c: DUP1
00003a6d: PUSH1 0x40
00003a6f: DUP4
00003a70: DUP6
00003a71: SUB
00003a72: SLT
00003a73: ISZERO
00003a74: PUSH2 0x3a7b
00003a77: JUMPI
00003a78: PUSH0
00003a79: DUP1
00003a7a: REVERT
00003a7b: JUMPDEST
00003a7c: DUP3
00003a7d: CALLDATALOAD
00003a7e: PUSH2 0x3a19
00003a81: DUP2
00003a82: PUSH2 0x3a27
00003a85: JUMP
00003a86: JUMPDEST
00003a87: PUSH0
00003a88: DUP1
00003a89: PUSH1 0x40
00003a8b: DUP4
00003a8c: DUP6
00003a8d: SUB
00003a8e: SLT
00003a8f: ISZERO
00003a90: PUSH2 0x3a97
00003a93: JUMPI
00003a94: PUSH0
00003a95: DUP1
00003a96: REVERT
00003a97: JUMPDEST
00003a98: DUP3
00003a99: CALLDATALOAD
00003a9a: PUSH2 0x3aa2
00003a9d: DUP2
00003a9e: PUSH2 0x3a27
00003aa1: JUMP
00003aa2: JUMPDEST
00003aa3: SWAP2
00003aa4: POP
00003aa5: PUSH1 0x20
00003aa7: DUP4
00003aa8: ADD
00003aa9: CALLDATALOAD
00003aaa: PUSH1 0x01
00003aac: PUSH1 0x01
00003aae: PUSH1 0x80
00003ab0: SHL
00003ab1: SUB
00003ab2: DUP2
00003ab3: AND
00003ab4: DUP2
00003ab5: EQ
00003ab6: PUSH2 0x3abd
00003ab9: JUMPI
00003aba: PUSH0
00003abb: DUP1
00003abc: REVERT
00003abd: JUMPDEST
00003abe: DUP1
00003abf: SWAP2
00003ac0: POP
00003ac1: POP
00003ac2: SWAP3
00003ac3: POP
00003ac4: SWAP3
00003ac5: SWAP1
00003ac6: POP
00003ac7: JUMP
00003ac8: JUMPDEST
00003ac9: PUSH0
00003aca: DUP1
00003acb: PUSH1 0x40
00003acd: DUP4
00003ace: DUP6
00003acf: SUB
00003ad0: SLT
00003ad1: ISZERO
00003ad2: PUSH2 0x3ad9
00003ad5: JUMPI
00003ad6: PUSH0
00003ad7: DUP1
00003ad8: REVERT
00003ad9: JUMPDEST
00003ada: DUP3
00003adb: CALLDATALOAD
00003adc: SWAP2
00003add: POP
00003ade: PUSH1 0x20
00003ae0: DUP4
00003ae1: ADD
00003ae2: CALLDATALOAD
00003ae3: PUSH2 0x3abd
00003ae6: DUP2
00003ae7: PUSH2 0x39e9
00003aea: JUMP
00003aeb: JUMPDEST
00003aec: PUSH0
00003aed: PUSH1 0x20
00003aef: DUP3
00003af0: DUP5
00003af1: SUB
00003af2: SLT
00003af3: ISZERO
00003af4: PUSH2 0x3afb
00003af7: JUMPI
00003af8: PUSH0
00003af9: DUP1
00003afa: REVERT
00003afb: JUMPDEST
00003afc: DUP2
00003afd: MLOAD
00003afe: PUSH2 0x383b
00003b01: DUP2
00003b02: PUSH2 0x39e9
00003b05: JUMP
00003b06: JUMPDEST
00003b07: PUSH0
00003b08: PUSH1 0x20
00003b0a: DUP3
00003b0b: DUP5
00003b0c: SUB
00003b0d: SLT
00003b0e: ISZERO
00003b0f: PUSH2 0x3b16
00003b12: JUMPI
00003b13: PUSH0
00003b14: DUP1
00003b15: REVERT
00003b16: JUMPDEST
00003b17: POP
00003b18: MLOAD
00003b19: SWAP2
00003b1a: SWAP1
00003b1b: POP
00003b1c: JUMP
00003b1d: JUMPDEST
00003b1e: PUSH4 0x4e487b71
00003b23: PUSH1 0xe0
00003b25: SHL
00003b26: PUSH0
00003b27: MSTORE
00003b28: PUSH1 0x11
00003b2a: PUSH1 0x04
00003b2c: MSTORE
00003b2d: PUSH1 0x24
00003b2f: PUSH0
00003b30: REVERT
00003b31: JUMPDEST
00003b32: DUP2
00003b33: DUP2
00003b34: SUB
00003b35: DUP2
00003b36: DUP2
00003b37: GT
00003b38: ISZERO
00003b39: PUSH2 0x06e8
00003b3c: JUMPI
00003b3d: PUSH2 0x06e8
00003b40: PUSH2 0x3b1d
00003b43: JUMP
00003b44: JUMPDEST
00003b45: PUSH0
00003b46: PUSH1 0x20
00003b48: DUP3
00003b49: DUP5
00003b4a: SUB
00003b4b: SLT
00003b4c: ISZERO
00003b4d: PUSH2 0x3b54
00003b50: JUMPI
00003b51: PUSH0
00003b52: DUP1
00003b53: REVERT
00003b54: JUMPDEST
00003b55: DUP2
00003b56: MLOAD
00003b57: PUSH2 0x383b
00003b5a: DUP2
00003b5b: PUSH2 0x3a27
00003b5e: JUMP
00003b5f: JUMPDEST
00003b60: PUSH0
00003b61: PUSH1 0x20
00003b63: DUP3
00003b64: DUP5
00003b65: SUB
00003b66: SLT
00003b67: ISZERO
00003b68: PUSH2 0x3b6f
00003b6b: JUMPI
00003b6c: PUSH0
00003b6d: DUP1
00003b6e: REVERT
00003b6f: JUMPDEST
00003b70: DUP2
00003b71: MLOAD
00003b72: PUSH1 0xff
00003b74: DUP2
00003b75: AND
00003b76: DUP2
00003b77: EQ
00003b78: PUSH2 0x383b
00003b7b: JUMPI
00003b7c: PUSH0
00003b7d: DUP1
00003b7e: REVERT
00003b7f: JUMPDEST
00003b80: PUSH1 0x01
00003b82: DUP2
00003b83: JUMPDEST
00003b84: PUSH1 0x01
00003b86: DUP5
00003b87: GT
00003b88: ISZERO
00003b89: PUSH2 0x3bba
00003b8c: JUMPI
00003b8d: DUP1
00003b8e: DUP6
00003b8f: DIV
00003b90: DUP2
00003b91: GT
00003b92: ISZERO
00003b93: PUSH2 0x3b9e
00003b96: JUMPI
00003b97: PUSH2 0x3b9e
00003b9a: PUSH2 0x3b1d
00003b9d: JUMP
00003b9e: JUMPDEST
00003b9f: PUSH1 0x01
00003ba1: DUP5
00003ba2: AND
00003ba3: ISZERO
00003ba4: PUSH2 0x3bac
00003ba7: JUMPI
00003ba8: SWAP1
00003ba9: DUP2
00003baa: MUL
00003bab: SWAP1
00003bac: JUMPDEST
00003bad: PUSH1 0x01
00003baf: SWAP4
00003bb0: SWAP1
00003bb1: SWAP4
00003bb2: SHR
00003bb3: SWAP3
00003bb4: DUP1
00003bb5: MUL
00003bb6: PUSH2 0x3b83
00003bb9: JUMP
00003bba: JUMPDEST
00003bbb: SWAP4
00003bbc: POP
00003bbd: SWAP4
00003bbe: SWAP2
00003bbf: POP
00003bc0: POP
00003bc1: JUMP
00003bc2: JUMPDEST
00003bc3: PUSH0
00003bc4: DUP3
00003bc5: PUSH2 0x3bd0
00003bc8: JUMPI
00003bc9: POP
00003bca: PUSH1 0x01
00003bcc: PUSH2 0x06e8
00003bcf: JUMP
00003bd0: JUMPDEST
00003bd1: DUP2
00003bd2: PUSH2 0x3bdc
00003bd5: JUMPI
00003bd6: POP
00003bd7: PUSH0
00003bd8: PUSH2 0x06e8
00003bdb: JUMP
00003bdc: JUMPDEST
00003bdd: DUP2
00003bde: PUSH1 0x01
00003be0: DUP2
00003be1: EQ
00003be2: PUSH2 0x3bf2
00003be5: JUMPI
00003be6: PUSH1 0x02
00003be8: DUP2
00003be9: EQ
00003bea: PUSH2 0x3bfc
00003bed: JUMPI
00003bee: PUSH2 0x3c18
00003bf1: JUMP
00003bf2: JUMPDEST
00003bf3: PUSH1 0x01
00003bf5: SWAP2
00003bf6: POP
00003bf7: POP
00003bf8: PUSH2 0x06e8
00003bfb: JUMP
00003bfc: JUMPDEST
00003bfd: PUSH1 0xff
00003bff: DUP5
00003c00: GT
00003c01: ISZERO
00003c02: PUSH2 0x3c0d
00003c05: JUMPI
00003c06: PUSH2 0x3c0d
00003c09: PUSH2 0x3b1d
00003c0c: JUMP
00003c0d: JUMPDEST
00003c0e: POP
00003c0f: POP
00003c10: PUSH1 0x01
00003c12: DUP3
00003c13: SHL
00003c14: PUSH2 0x06e8
00003c17: JUMP
00003c18: JUMPDEST
00003c19: POP
00003c1a: PUSH1 0x20
00003c1c: DUP4
00003c1d: LT
00003c1e: PUSH2 0x0133
00003c21: DUP4
00003c22: LT
00003c23: AND
00003c24: PUSH1 0x4e
00003c26: DUP5
00003c27: LT
00003c28: PUSH1 0x0b
00003c2a: DUP5
00003c2b: LT
00003c2c: AND
00003c2d: OR
00003c2e: ISZERO
00003c2f: PUSH2 0x3c3b
00003c32: JUMPI
00003c33: POP
00003c34: DUP2
00003c35: DUP2
00003c36: EXP
00003c37: PUSH2 0x06e8
00003c3a: JUMP
00003c3b: JUMPDEST
00003c3c: PUSH2 0x3c47
00003c3f: PUSH0
00003c40: NOT
00003c41: DUP5
00003c42: DUP5
00003c43: PUSH2 0x3b7f
00003c46: JUMP
00003c47: JUMPDEST
00003c48: DUP1
00003c49: PUSH0
00003c4a: NOT
00003c4b: DIV
00003c4c: DUP3
00003c4d: GT
00003c4e: ISZERO
00003c4f: PUSH2 0x3c5a
00003c52: JUMPI
00003c53: PUSH2 0x3c5a
00003c56: PUSH2 0x3b1d
00003c59: JUMP
00003c5a: JUMPDEST
00003c5b: MUL
00003c5c: SWAP4
00003c5d: SWAP3
00003c5e: POP
00003c5f: POP
00003c60: POP
00003c61: JUMP
00003c62: JUMPDEST
00003c63: PUSH0
00003c64: PUSH2 0x383b
00003c67: DUP4
00003c68: DUP4
00003c69: PUSH2 0x3bc2
00003c6c: JUMP
00003c6d: JUMPDEST
00003c6e: DUP1
00003c6f: DUP3
00003c70: MUL
00003c71: DUP2
00003c72: ISZERO
00003c73: DUP3
00003c74: DUP3
00003c75: DIV
00003c76: DUP5
00003c77: EQ
00003c78: OR
00003c79: PUSH2 0x06e8
00003c7c: JUMPI
00003c7d: PUSH2 0x06e8
00003c80: PUSH2 0x3b1d
00003c83: JUMP
00003c84: JUMPDEST
00003c85: PUSH0
00003c86: DUP3
00003c87: PUSH2 0x3c9e
00003c8a: JUMPI
00003c8b: PUSH4 0x4e487b71
00003c90: PUSH1 0xe0
00003c92: SHL
00003c93: PUSH0
00003c94: MSTORE
00003c95: PUSH1 0x12
00003c97: PUSH1 0x04
00003c99: MSTORE
00003c9a: PUSH1 0x24
00003c9c: PUSH0
00003c9d: REVERT
00003c9e: JUMPDEST
00003c9f: POP
00003ca0: DIV
00003ca1: SWAP1
00003ca2: JUMP
00003ca3: JUMPDEST
00003ca4: PUSH0
00003ca5: PUSH1 0x20
00003ca7: DUP3
00003ca8: DUP5
00003ca9: SUB
00003caa: SLT
00003cab: ISZERO
00003cac: PUSH2 0x3cb3
00003caf: JUMPI
00003cb0: PUSH0
00003cb1: DUP1
00003cb2: REVERT
00003cb3: JUMPDEST
00003cb4: DUP2
00003cb5: MLOAD
00003cb6: DUP1
00003cb7: ISZERO
00003cb8: ISZERO
00003cb9: DUP2
00003cba: EQ
00003cbb: PUSH2 0x383b
00003cbe: JUMPI
00003cbf: PUSH0
00003cc0: DUP1
00003cc1: REVERT
00003cc2: JUMPDEST
00003cc3: DUP1
00003cc4: DUP3
00003cc5: ADD
00003cc6: DUP1
00003cc7: DUP3
00003cc8: GT
00003cc9: ISZERO
00003cca: PUSH2 0x06e8
00003ccd: JUMPI
00003cce: PUSH2 0x06e8
00003cd1: PUSH2 0x3b1d
00003cd4: JUMP
00003cd5: JUMPDEST
00003cd6: PUSH1 0x01
00003cd8: PUSH1 0x01
00003cda: PUSH1 0x80
00003cdc: SHL
00003cdd: SUB
00003cde: DUP3
00003cdf: DUP2
00003ce0: AND
00003ce1: DUP3
00003ce2: DUP3
00003ce3: AND
00003ce4: SUB
00003ce5: SWAP1
00003ce6: DUP2
00003ce7: GT
00003ce8: ISZERO
00003ce9: PUSH2 0x06e8
00003cec: JUMPI
00003ced: PUSH2 0x06e8
00003cf0: PUSH2 0x3b1d
00003cf3: JUMP
00003cf4: JUMPDEST
00003cf5: PUSH1 0x01
00003cf7: PUSH1 0x01
00003cf9: PUSH1 0x80
00003cfb: SHL
00003cfc: SUB
00003cfd: DUP2
00003cfe: DUP2
00003cff: AND
00003d00: DUP4
00003d01: DUP3
00003d02: AND
00003d03: ADD
00003d04: SWAP1
00003d05: DUP2
00003d06: GT
00003d07: ISZERO
00003d08: PUSH2 0x06e8
00003d0b: JUMPI
00003d0c: PUSH2 0x06e8
00003d0f: PUSH2 0x3b1d
00003d12: JUMP
00003d13: JUMPDEST
00003d14: PUSH0
00003d15: PUSH4 0xffffffff
00003d1a: DUP3
00003d1b: AND
00003d1c: PUSH4 0xffffffff
00003d21: DUP2
00003d22: SUB
00003d23: PUSH2 0x3d2e
00003d26: JUMPI
00003d27: PUSH2 0x3d2e
00003d2a: PUSH2 0x3b1d
00003d2d: JUMP
00003d2e: JUMPDEST
00003d2f: PUSH1 0x01
00003d31: ADD
00003d32: SWAP3
00003d33: SWAP2
00003d34: POP
00003d35: POP
00003d36: JUMP
00003d37: INVALID
00003d38: LOG2
00003d39: PUSH5 0x6970667358
00003d3f: UNKNOWN(0x22)
00003d40: SLT
00003d41: KECCAK256
00003d42: GASPRICE
00003d43: PUSH31 0x699227af91be6e9a8e753a5edaea489b3825515e1a0ca7470267e53ae45c64
00003d63: PUSH20

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x8940af11e4cb95b3a77d6e8e85f3b508a13745363ffdcbab1666a71b833727eb
call_targets: 0xbcf58de37791efe60fe87a6d420fe8f7aea99ef8
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x8940af11e4cb95b3a77d6e8e85f3b508a13745363ffdcbab1666a71b833727eb",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xbcf58de37791efe60fe87a6d420fe8f7aea99ef8"
    ],
    "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": "0xddde6090",
            "selector": "0xddde6090",
            "calldata_variants": [
                "0xddde6090",
                "0xddde60900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdeebe410",
            "selector": "0xdeebe410",
            "calldata_variants": [
                "0xdeebe410",
                "0xdeebe4100000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf6738f21",
            "selector": "0xf6738f21",
            "calldata_variants": [
                "0xf6738f21",
                "0xf6738f210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9b49eac0",
            "selector": "0x9b49eac0",
            "calldata_variants": [
                "0x9b49eac0",
                "0x9b49eac00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb83b4022",
            "selector": "0xb83b4022",
            "calldata_variants": [
                "0xb83b4022",
                "0xb83b40220000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcaed0135",
            "selector": "0xcaed0135",
            "calldata_variants": [
                "0xcaed0135",
                "0xcaed01350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7a7c0e01",
            "selector": "0x7a7c0e01",
            "calldata_variants": [
                "0x7a7c0e01",
                "0x7a7c0e010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7f660be1",
            "selector": "0x7f660be1",
            "calldata_variants": [
                "0x7f660be1",
                "0x7f660be10000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1744,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2274,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2973,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 21,
    "guards_detected": [],
    "untrusted_call_count": 21
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x8940af11e4cb95b3a77d6e8e85f3b508a13745363ffdcbab1666a71b833727eb
call_targets: 0xbcf58de37791efe60fe87a6d420fe8f7aea99ef8
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x8940af11e4cb95b3a77d6e8e85f3b508a13745363ffdcbab1666a71b833727eb",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xbcf58de37791efe60fe87a6d420fe8f7aea99ef8"
    ],
    "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": "0xddde6090",
            "selector": "0xddde6090",
            "calldata_variants": [
                "0xddde6090",
                "0xddde60900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdeebe410",
            "selector": "0xdeebe410",
            "calldata_variants": [
                "0xdeebe410",
                "0xdeebe4100000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf6738f21",
            "selector": "0xf6738f21",
            "calldata_variants": [
                "0xf6738f21",
                "0xf6738f210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9b49eac0",
            "selector": "0x9b49eac0",
            "calldata_variants": [
                "0x9b49eac0",
                "0x9b49eac00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb83b4022",
            "selector": "0xb83b4022",
            "calldata_variants": [
                "0xb83b4022",
                "0xb83b40220000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcaed0135",
            "selector": "0xcaed0135",
            "calldata_variants": [
                "0xcaed0135",
                "0xcaed01350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7a7c0e01",
            "selector": "0x7a7c0e01",
            "calldata_variants": [
                "0x7a7c0e01",
                "0x7a7c0e010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7f660be1",
            "selector": "0x7f660be1",
            "calldata_variants": [
                "0x7f660be1",
                "0x7f660be10000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1744,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2274,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2973,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 21,
    "guards_detected": []
}