☰

AtCoder Easy Test v2

Make testing sample cases easy

As of 02.11.2021. See ბოლო ვერსია.

  1. // ==UserScript==
  2. // @name        AtCoder Easy Test v2
  3. // @namespace   https://atcoder.jp/
  4. // @version     2.9.2
  5. // @description Make testing sample cases easy
  6. // @author      magurofly
  7. // @license     MIT
  8. // @supportURL  https://github.com/magurofly/atcoder-easy-test/
  9. // @match       https://atcoder.jp/contests/*/tasks/*
  10. // @match       https://yukicoder.me/problems/no/*
  11. // @match       http://codeforces.com/contest/*/problem/*
  12. // @match       http://codeforces.com/gym/*/problem/*
  13. // @match       http://codeforces.com/problemset/problem/*
  14. // @match       http://codeforces.com/group/*/contest/*/problem/*
  15. // @match       http://*.contest.codeforces.com/group/*/contest/*/problem/*
  16. // @match       https://codeforces.com/contest/*/problem/*
  17. // @match       https://codeforces.com/gym/*/problem/*
  18. // @match       https://codeforces.com/problemset/problem/*
  19. // @match       https://codeforces.com/group/*/contest/*/problem/*
  20. // @match       https://*.contest.codeforces.com/group/*/contest/*/problem/*
  21. // @match       https://m1.codeforces.com/contest/*/problem/*
  22. // @match       https://m2.codeforces.com/contest/*/problem/*
  23. // @match       https://m3.codeforces.com/contest/*/problem/*
  24. // @match       https://greatest.deepsurf.us/*/scripts/433152-atcoder-easy-test-v2
  25. // @grant       unsafeWindow
  26. // @grant       GM_getValue
  27. // @grant       GM_setValue
  28. // ==/UserScript==
  29. (function() {
  30. const codeSaver = {
  31.     LIMIT: 10,
  32.     get() {
  33.         // `json` は、ソースコード文字列またはJSON文字列
  34.         let json = unsafeWindow.localStorage.AtCoderEasyTest$lastCode;
  35.         let data = [];
  36.         try {
  37.             if (typeof json == "string") {
  38.                 data.push(...JSON.parse(json));
  39.             }
  40.             else {
  41.                 data = [];
  42.             }
  43.         }
  44.         catch (e) {
  45.             data.push({
  46.                 path: unsafeWindow.localStorage.AtCoderEasyTset$lastPage,
  47.                 code: json,
  48.             });
  49.         }
  50.         return data;
  51.     },
  52.     set(data) {
  53.         unsafeWindow.localStorage.AtCoderEasyTest$lastCode = JSON.stringify(data);
  54.     },
  55.     save(code) {
  56.         let data = codeSaver.get();
  57.         const idx = data.findIndex(({ path }) => path == location.pathname);
  58.         if (idx != -1)
  59.             data.splice(idx, idx + 1);
  60.         data.push({
  61.             path: location.pathname,
  62.             code,
  63.         });
  64.         while (data.length > codeSaver.LIMIT)
  65.             data.shift();
  66.         codeSaver.set(data);
  67.     },
  68.     restore() {
  69.         const data = codeSaver.get();
  70.         const idx = data.findIndex(({ path }) => path == location.pathname);
  71.         if (idx == -1 || !(data[idx] instanceof Object))
  72.             return Promise.reject(`No saved code found for ${location.pathname}`);
  73.         return Promise.resolve(data[idx].code);
  74.     }
  75. };
  76.  
  77. function similarLangs(targetLang, candidateLangs) {
  78.     const [targetName, targetDetail] = targetLang.split(" ", 2);
  79.     const selectedLangs = candidateLangs.filter(candidateLang => {
  80.         const [name, _] = candidateLang.split(" ", 2);
  81.         return name == targetName;
  82.     }).map(candidateLang => {
  83.         const [_, detail] = candidateLang.split(" ", 2);
  84.         return [candidateLang, similarity(detail, targetDetail)];
  85.     });
  86.     return selectedLangs.sort((a, b) => a[1] - b[1]).map(([lang, _]) => lang);
  87. }
  88. function similarity(s, t) {
  89.     const n = s.length, m = t.length;
  90.     let dp = new Array(m + 1).fill(0);
  91.     for (let i = 0; i < n; i++) {
  92.         const dp2 = new Array(m + 1).fill(0);
  93.         for (let j = 0; j < m; j++) {
  94.             const cost = (s.charCodeAt(i) - t.charCodeAt(j)) ** 2;
  95.             dp2[j + 1] = Math.min(dp[j] + cost, dp[j + 1] + cost * 0.25, dp2[j] + cost * 0.25);
  96.         }
  97.         dp = dp2;
  98.     }
  99.     return dp[m];
  100. }
  101.  
  102. class CodeRunner {
  103.     get label() {
  104.         return this._label;
  105.     }
  106.     constructor(label, site) {
  107.         this._label = `${label} [${site}]`;
  108.     }
  109.     async test(sourceCode, input, expectedOutput, options) {
  110.         let result = { status: "IE", input };
  111.         try {
  112.             result = await this.run(sourceCode, input);
  113.         }
  114.         catch (e) {
  115.             result.error = e.toString();
  116.             return result;
  117.         }
  118.         if (expectedOutput != null)
  119.             result.expectedOutput = expectedOutput;
  120.         if (result.status != "OK" || typeof expectedOutput != "string")
  121.             return result;
  122.         let output = result.output || "";
  123.         if (options.trim) {
  124.             expectedOutput = expectedOutput.trim();
  125.             output = output.trim();
  126.         }
  127.         let equals = (x, y) => x === y;
  128.         if (options.allowableError) {
  129.             const floatPattern = /^[-+]?[0-9]*\.?[0-9]+([eE][-+]?[0-9]+)?$/;
  130.             const superEquals = equals;
  131.             equals = (x, y) => {
  132.                 if (floatPattern.test(x) && floatPattern.test(y))
  133.                     return Math.abs(parseFloat(x) - parseFloat(y)) <= options.allowableError;
  134.                 return superEquals(x, y);
  135.             };
  136.         }
  137.         if (options.split) {
  138.             const superEquals = equals;
  139.             equals = (x, y) => {
  140.                 const xs = x.split(/\s+/);
  141.                 const ys = y.split(/\s+/);
  142.                 if (xs.length != ys.length)
  143.                     return false;
  144.                 const len = xs.length;
  145.                 for (let i = 0; i < len; i++) {
  146.                     if (!superEquals(xs[i], ys[i]))
  147.                         return false;
  148.                 }
  149.                 return true;
  150.             };
  151.         }
  152.         result.status = equals(output, expectedOutput) ? "AC" : "WA";
  153.         return result;
  154.     }
  155. }
  156.  
  157. class CustomRunner extends CodeRunner {
  158.     run;
  159.     constructor(label, run) {
  160.         super(label, "Browser");
  161.         this.run = run;
  162.     }
  163. }
  164.  
  165. function buildParams(data) {
  166.     return Object.entries(data).map(([key, value]) => encodeURIComponent(key) + "=" + encodeURIComponent(value)).join("&");
  167. }
  168. function sleep(ms) {
  169.     return new Promise(done => setTimeout(done, ms));
  170. }
  171. function doneOrFail(p) {
  172.     return p.then(() => Promise.resolve(), () => Promise.resolve());
  173. }
  174. function html2element(html) {
  175.     const template = document.createElement("template");
  176.     template.innerHTML = html;
  177.     return template.content.firstChild;
  178. }
  179. function newElement(tagName, attrs = {}, children = []) {
  180.     const e = document.createElement(tagName);
  181.     for (const [key, value] of Object.entries(attrs)) {
  182.         if (key == "style") {
  183.             for (const [propKey, propValue] of Object.entries(value)) {
  184.                 e.style[propKey] = propValue;
  185.             }
  186.         }
  187.         else {
  188.             e[key] = value;
  189.         }
  190.     }
  191.     for (const child of children) {
  192.         e.appendChild(child);
  193.     }
  194.     return e;
  195. }
  196. function uuid() {
  197.     return "xxxxxxxx-xxxx-4xxx-yxxx-xxxxxxxxxxxx".
  198.         replace(/x/g, () => "0123456789abcdef"[Math.random() * 16 | 0]).
  199.         replace(/y/g, () => "89ab"[Math.random() * 4 | 0]);
  200. }
  201. async function loadScript(src, ctx = null, env = {}) {
  202.     const js = await fetch(src).then(res => res.text());
  203.     const keys = [];
  204.     const values = [];
  205.     for (const [key, value] of Object.entries(env)) {
  206.         keys.push(key);
  207.         values.push(value);
  208.     }
  209.     unsafeWindow["Function"](keys.join(), js).apply(ctx, values);
  210. }
  211. const eventListeners = {};
  212. const events = {
  213.     on(name, listener) {
  214.         const listeners = (name in eventListeners ? eventListeners[name] : eventListeners[name] = []);
  215.         listeners.push(listener);
  216.     },
  217.     trig(name) {
  218.         if (name in eventListeners) {
  219.             for (const listener of eventListeners[name])
  220.                 listener();
  221.         }
  222.     },
  223. };
  224. function compareVersion(a, b) {
  225.     const x = a.split(".").map((s) => parseInt(s, 10));
  226.     const y = b.split(".").map((s) => parseInt(s, 10));
  227.     for (let i = 0; i < 3; i++) {
  228.         if (x[i] < y[i]) {
  229.             return -1;
  230.         }
  231.         else if (x[i] > y[i]) {
  232.             return 1;
  233.         }
  234.     }
  235.     return 0;
  236. }
  237. class ObservableValue {
  238.     _value;
  239.     _listeners;
  240.     constructor(value) {
  241.         this._value = value;
  242.         this._listeners = new Set();
  243.     }
  244.     get value() {
  245.         return this._value;
  246.     }
  247.     set value(value) {
  248.         this._value = value;
  249.         for (const listener of this._listeners)
  250.             listener(value);
  251.     }
  252.     addListener(listener) {
  253.         this._listeners.add(listener);
  254.         listener(this._value);
  255.     }
  256.     removeListener(listener) {
  257.         this._listeners.delete(listener);
  258.     }
  259.     map(f) {
  260.         const y = new ObservableValue(f(this.value));
  261.         this.addListener(x => {
  262.             y.value = f(x);
  263.         });
  264.         return y;
  265.     }
  266. }
  267.  
  268. let waitAtCoderCustomTest = Promise.resolve();
  269. const AtCoderCustomTestBase = location.href.replace(/\/tasks\/.+$/, "/custom_test");
  270. const AtCoderCustomTestResultAPI = AtCoderCustomTestBase + "/json?reload=true";
  271. const AtCoderCustomTestSubmitAPI = AtCoderCustomTestBase + "/submit/json";
  272. class AtCoderRunner extends CodeRunner {
  273.     languageId;
  274.     constructor(languageId, label) {
  275.         super(label, "AtCoder");
  276.         this.languageId = languageId;
  277.     }
  278.     async run(sourceCode, input) {
  279.         const promise = this.submit(sourceCode, input);
  280.         waitAtCoderCustomTest = promise;
  281.         return await promise;
  282.     }
  283.     async submit(sourceCode, input) {
  284.         try {
  285.             await waitAtCoderCustomTest;
  286.         }
  287.         catch (error) {
  288.             console.error(error);
  289.         }
  290.         const error = await fetch(AtCoderCustomTestSubmitAPI, {
  291.             method: "POST",
  292.             credentials: "include",
  293.             headers: {
  294.                 "Content-Type": "application/x-www-form-urlencoded; charset=UTF-8"
  295.             },
  296.             body: buildParams({
  297.                 "data.LanguageId": String(this.languageId),
  298.                 sourceCode,
  299.                 input,
  300.                 csrf_token: unsafeWindow.csrfToken,
  301.             }),
  302.         }).then(r => r.text());
  303.         if (error) {
  304.             throw new Error(error);
  305.         }
  306.         await sleep(100);
  307.         for (;;) {
  308.             const data = await fetch(AtCoderCustomTestResultAPI, {
  309.                 method: "GET",
  310.                 credentials: "include",
  311.             }).then(r => r.json());
  312.             if (!("Result" in data))
  313.                 continue;
  314.             const result = data.Result;
  315.             if ("Interval" in data) {
  316.                 await sleep(data.Interval);
  317.                 continue;
  318.             }
  319.             return {
  320.                 status: (result.ExitCode == 0) ? "OK" : (result.TimeConsumption == -1) ? "CE" : "RE",
  321.                 exitCode: result.ExitCode,
  322.                 execTime: result.TimeConsumption,
  323.                 memory: result.MemoryConsumption,
  324.                 input,
  325.                 output: data.Stdout,
  326.                 error: data.Stderr,
  327.             };
  328.         }
  329.     }
  330. }
  331.  
  332. class PaizaIORunner extends CodeRunner {
  333.     name;
  334.     constructor(name, label) {
  335.         super(label, "PaizaIO");
  336.         this.name = name;
  337.     }
  338.     async run(sourceCode, input) {
  339.         let id, status, error;
  340.         try {
  341.             const res = await fetch("https://api.paiza.io/runners/create?" + buildParams({
  342.                 source_code: sourceCode,
  343.                 language: this.name,
  344.                 input,
  345.                 longpoll: "true",
  346.                 longpoll_timeout: "10",
  347.                 api_key: "guest",
  348.             }), {
  349.                 method: "POST",
  350.                 mode: "cors",
  351.             }).then(r => r.json());
  352.             id = res.id;
  353.             status = res.status;
  354.             error = res.error;
  355.         }
  356.         catch (error) {
  357.             return {
  358.                 status: "IE",
  359.                 input,
  360.                 error: String(error),
  361.             };
  362.         }
  363.         while (status == "running") {
  364.             const res = await fetch("https://api.paiza.io/runners/get_status?" + buildParams({
  365.                 id,
  366.                 api_key: "guest",
  367.             }), {
  368.                 mode: "cors",
  369.             }).then(res => res.json());
  370.             status = res.status;
  371.             error = res.error;
  372.         }
  373.         const res = await fetch("https://api.paiza.io/runners/get_details?" + buildParams({
  374.             id,
  375.             api_key: "guest",
  376.         }), {
  377.             mode: "cors",
  378.         }).then(r => r.json());
  379.         const result = {
  380.             status: "OK",
  381.             exitCode: String(res.exit_code),
  382.             execTime: +res.time * 1e3,
  383.             memory: +res.memory * 1e-3,
  384.             input,
  385.         };
  386.         if (res.build_result == "failure") {
  387.             result.status = "CE";
  388.             result.exitCode = res.build_exit_code;
  389.             result.output = res.build_stdout;
  390.             result.error = res.build_stderr;
  391.         }
  392.         else {
  393.             result.status = (res.result == "timeout") ? "TLE" : (res.result == "failure") ? "RE" : "OK";
  394.             result.exitCode = res.exit_code;
  395.             result.output = res.stdout;
  396.             result.error = res.stderr;
  397.         }
  398.         return result;
  399.     }
  400. }
  401.  
  402. class WandboxRunner extends CodeRunner {
  403.     name;
  404.     options;
  405.     constructor(name, label, options = {}) {
  406.         super(label, "Wandbox");
  407.         this.name = name;
  408.         this.options = options;
  409.     }
  410.     getOptions(sourceCode, input) {
  411.         if (typeof this.options == "function")
  412.             return this.options(sourceCode, input);
  413.         return this.options;
  414.     }
  415.     run(sourceCode, input) {
  416.         const options = this.getOptions(sourceCode, input);
  417.         return this.request(Object.assign({
  418.             compiler: this.name,
  419.             code: sourceCode,
  420.             stdin: input,
  421.         }, options));
  422.     }
  423.     async request(body) {
  424.         const startTime = Date.now();
  425.         let res;
  426.         try {
  427.             res = await fetch("https://wandbox.org/api/compile.json", {
  428.                 method: "POST",
  429.                 mode: "cors",
  430.                 headers: {
  431.                     "Content-Type": "application/json",
  432.                 },
  433.                 body: JSON.stringify(body),
  434.             }).then(r => r.json());
  435.         }
  436.         catch (error) {
  437.             console.error(error);
  438.             return {
  439.                 status: "IE",
  440.                 input: body.stdin,
  441.                 error: String(error),
  442.             };
  443.         }
  444.         const endTime = Date.now();
  445.         const result = {
  446.             status: "OK",
  447.             exitCode: String(res.status),
  448.             execTime: endTime - startTime,
  449.             input: body.stdin,
  450.             output: String(res.program_output || ""),
  451.             error: String(res.program_error || ""),
  452.         };
  453.         // 正常終了以外の場合
  454.         if (res.status != 0) {
  455.             if (res.signal) {
  456.                 result.exitCode += ` (${res.signal})`;
  457.             }
  458.             result.output = String(res.compiler_output || "") + String(result.output || "");
  459.             result.error = String(res.compiler_error || "") + String(result.error || "");
  460.             if (res.compiler_output || res.compiler_error) {
  461.                 result.status = "CE";
  462.             }
  463.             else {
  464.                 result.status = "RE";
  465.             }
  466.         }
  467.         return result;
  468.     }
  469. }
  470.  
  471. class WandboxCppRunner extends WandboxRunner {
  472.     async run(sourceCode, input) {
  473.         // ACL を結合する
  474.         const ACLBase = "https://cdn.jsdelivr.net/gh/atcoder/ac-library/";
  475.         const files = new Map();
  476.         const includeHeader = async (source) => {
  477.             const pattern = /^#\s*include\s*[<"]atcoder\/([^>"]+)[>"]/gm;
  478.             const loaded = [];
  479.             let match;
  480.             while (match = pattern.exec(source)) {
  481.                 const file = "atcoder/" + match[1];
  482.                 if (files.has(file))
  483.                     continue;
  484.                 files.set(file, null);
  485.                 loaded.push([file, fetch(ACLBase + file, { mode: "cors", cache: "force-cache", }).then(r => r.text())]);
  486.             }
  487.             const included = await Promise.all(loaded.map(async ([file, r]) => {
  488.                 const source = await r;
  489.                 files.set(file, source);
  490.                 return source;
  491.             }));
  492.             for (const source of included) {
  493.                 await includeHeader(source);
  494.             }
  495.         };
  496.         await includeHeader(sourceCode);
  497.         const codes = [];
  498.         for (const [file, code] of files) {
  499.             codes.push({ file, code, });
  500.         }
  501.         const options = this.getOptions(sourceCode, input);
  502.         return await this.request(Object.assign({
  503.             compiler: this.name,
  504.             code: sourceCode,
  505.             stdin: input,
  506.             codes,
  507.             "compiler-option-raw": "-I.",
  508.         }, options));
  509.     }
  510. }
  511.  
  512. let brythonRunnerLoaded = false;
  513. const brythonRunner = new CustomRunner("Brython", async (sourceCode, input) => {
  514.     if (!brythonRunnerLoaded) {
  515.         // BrythonRunner を読み込む
  516.         await new Promise((resolve) => {
  517.             const script = document.createElement("script");
  518.             script.src = "https://cdn.jsdelivr.net/gh/pythonpad/brython-runner/lib/brython-runner.bundle.js";
  519.             script.onload = () => {
  520.                 brythonRunnerLoaded = true;
  521.                 resolve(null);
  522.             };
  523.             document.head.appendChild(script);
  524.         });
  525.     }
  526.     let stdout = "";
  527.     let stderr = "";
  528.     let stdinOffset = 0;
  529.     const BrythonRunner = unsafeWindow.BrythonRunner;
  530.     const runner = new BrythonRunner({
  531.         stdout: { write(content) { stdout += content; }, flush() { } },
  532.         stderr: { write(content) { stderr += content; }, flush() { } },
  533.         stdin: { async readline() {
  534.                 let index = input.indexOf("\n", stdinOffset) + 1;
  535.                 if (index == 0)
  536.                     index = input.length;
  537.                 const text = input.slice(stdinOffset, index);
  538.                 stdinOffset = index;
  539.                 return text;
  540.             } },
  541.     });
  542.     const timeStart = Date.now();
  543.     await runner.runCode(sourceCode);
  544.     const timeEnd = Date.now();
  545.     return {
  546.         status: "OK",
  547.         exitCode: "0",
  548.         execTime: (timeEnd - timeStart),
  549.         input,
  550.         output: stdout,
  551.         error: stderr,
  552.     };
  553. });
  554.  
  555. async function loadPyodide() {
  556.     const script = await fetch("https://cdn.jsdelivr.net/pyodide/v0.18.1/full/pyodide.js").then(res => res.text());
  557.     unsafeWindow["Function"](script)();
  558.     const pyodide = await unsafeWindow["loadPyodide"]({
  559.         indexURL: "https://cdn.jsdelivr.net/pyodide/v0.18.1/full/",
  560.     });
  561.     await pyodide.runPythonAsync(`
  562. import contextlib, io, platform
  563. class __redirect_stdin(contextlib._RedirectStream):
  564.   _stream = "stdin"
  565. `);
  566.     return pyodide;
  567. }
  568. let _pyodide = Promise.reject();
  569. let _serial = Promise.resolve();
  570. const pyodideRunner = new CustomRunner("Pyodide", (sourceCode, input) => new Promise((resolve, reject) => {
  571.     _serial = _serial.finally(async () => {
  572.         const pyodide = await (_pyodide = _pyodide.catch(loadPyodide));
  573.         const code = `
  574. def __run():
  575.  global __stdout, __stderr, __stdin, __code
  576.  with __redirect_stdin(io.StringIO(__stdin)):
  577.   with contextlib.redirect_stdout(io.StringIO()) as __stdout:
  578.    with contextlib.redirect_stderr(io.StringIO()) as __stderr:
  579.     try:
  580.      pass
  581. ` + sourceCode.split("\n").map(line => "     " + line).join("\n") + `
  582.     except SystemExit as e:
  583.      __code = e.code
  584. `;
  585.         let status = "OK";
  586.         let exitCode = "0";
  587.         let stdout = "";
  588.         let stderr = "";
  589.         let startTime = -Infinity;
  590.         let endTime = Infinity;
  591.         pyodide.globals.__stdin = input;
  592.         try {
  593.             pyodide.globals.__code = null;
  594.             await pyodide.loadPackagesFromImports(code);
  595.             await pyodide.runPythonAsync(code);
  596.             startTime = Date.now();
  597.             pyodide.runPython("__run()");
  598.             endTime = Date.now();
  599.             stdout += pyodide.globals.__stdout.getvalue();
  600.             stderr += pyodide.globals.__stderr.getvalue();
  601.             if (typeof pyodide.globals.__code == "number") {
  602.                 exitCode = String(pyodide.globals.__code);
  603.                 if (pyodide.globals.__code != 0)
  604.                     status = "RE";
  605.             }
  606.         }
  607.         catch (error) {
  608.             status = "RE";
  609.             exitCode = "-1";
  610.             stderr += error.toString();
  611.         }
  612.         resolve({
  613.             status,
  614.             exitCode,
  615.             execTime: (endTime - startTime),
  616.             input,
  617.             output: stdout,
  618.             error: stderr,
  619.         });
  620.     });
  621. }));
  622.  
  623. function pairs(list) {
  624.     const pairs = [];
  625.     const len = list.length >> 1;
  626.     for (let i = 0; i < len; i++)
  627.         pairs.push([list[i * 2], list[i * 2 + 1]]);
  628.     return pairs;
  629. }
  630. async function init$5() {
  631.     if (location.host != "atcoder.jp")
  632.         throw "Not AtCoder";
  633.     const doc = unsafeWindow.document;
  634.     const eLanguage = unsafeWindow.$("#select-lang>select");
  635.     const langMap = {
  636.         4001: "C GCC 9.2.1",
  637.         4002: "C Clang 10.0.0",
  638.         4003: "C++ GCC 9.2.1",
  639.         4004: "C++ Clang 10.0.0",
  640.         4005: "Java OpenJDK 11.0.6",
  641.         4006: "Python3 CPython 3.8.2",
  642.         4007: "Bash 5.0.11",
  643.         4008: "bc 1.07.1",
  644.         4009: "Awk GNU Awk 4.1.4",
  645.         4010: "C# .NET Core 3.1.201",
  646.         4011: "C# Mono-mcs 6.8.0.105",
  647.         4012: "C# Mono-csc 3.5.0",
  648.         4013: "Clojure 1.10.1.536",
  649.         4014: "Crystal 0.33.0",
  650.         4015: "D DMD 2.091.0",
  651.         4016: "D GDC 9.2.1",
  652.         4017: "D LDC 1.20.1",
  653.         4018: "Dart 2.7.2",
  654.         4019: "dc 1.4.1",
  655.         4020: "Erlang 22.3",
  656.         4021: "Elixir 1.10.2",
  657.         4022: "F# .NET Core 3.1.201",
  658.         4023: "F# Mono 10.2.3",
  659.         4024: "Forth gforth 0.7.3",
  660.         4025: "Fortran GNU Fortran 9.2.1",
  661.         4026: "Go 1.14.1",
  662.         4027: "Haskell GHC 8.8.3",
  663.         4028: "Haxe 4.0.3",
  664.         4029: "Haxe 4.0.3",
  665.         4030: "JavaScript Node.js 12.16.1",
  666.         4031: "Julia 1.4.0",
  667.         4032: "Kotlin 1.3.71",
  668.         4033: "Lua Lua 5.3.5",
  669.         4034: "Lua LuaJIT 2.1.0",
  670.         4035: "Dash 0.5.8",
  671.         4036: "Nim 1.0.6",
  672.         4037: "Objective-C Clang 10.0.0",
  673.         4038: "Lisp SBCL 2.0.3",
  674.         4039: "OCaml 4.10.0",
  675.         4040: "Octave 5.2.0",
  676.         4041: "Pascal FPC 3.0.4",
  677.         4042: "Perl 5.26.1",
  678.         4043: "Raku Rakudo 2020.02.1",
  679.         4044: "PHP 7.4.4",
  680.         4045: "Prolog SWI-Prolog 8.0.3",
  681.         4046: "Python PyPy2 7.3.0",
  682.         4047: "Python3 PyPy3 7.3.0",
  683.         4048: "Racket 7.6",
  684.         4049: "Ruby 2.7.1",
  685.         4050: "Rust 1.42.0",
  686.         4051: "Scala 2.13.1",
  687.         4052: "Java OpenJDK 1.8.0",
  688.         4053: "Scheme Gauche 0.9.9",
  689.         4054: "ML MLton 20130715",
  690.         4055: "Swift 5.2.1",
  691.         4056: "Text cat 8.28",
  692.         4057: "TypeScript 3.8",
  693.         4058: "Basic .NET Core 3.1.101",
  694.         4059: "Zsh 5.4.2",
  695.         4060: "COBOL Fixed OpenCOBOL 1.1.0",
  696.         4061: "COBOL Free OpenCOBOL 1.1.0",
  697.         4062: "Brainfuck bf 20041219",
  698.         4063: "Ada Ada2012 GNAT 9.2.1",
  699.         4064: "Unlambda 2.0.0",
  700.         4065: "Cython 0.29.16",
  701.         4066: "Sed 4.4",
  702.         4067: "Vim 8.2.0460",
  703.     };
  704.     const languageId = new ObservableValue(eLanguage.val());
  705.     eLanguage.change(() => {
  706.         languageId.value = eLanguage.val();
  707.     });
  708.     const language = languageId.map(lang => langMap[lang]);
  709.     function getTestCases() {
  710.         const selectors = [
  711.             ["#task-statement p+pre.literal-block", ".section"],
  712.             ["#task-statement pre.source-code-for-copy", ".part"],
  713.             ["#task-statement .lang>*:nth-child(1) .div-btn-copy+pre", ".part"],
  714.             ["#task-statement .div-btn-copy+pre", ".part"],
  715.             ["#task-statement>.part pre.linenums", ".part"],
  716.             ["#task-statement>.part:not(.io-style)>h3+section>pre", ".part"],
  717.             ["#task-statement pre", ".part"],
  718.         ];
  719.         for (const [selector, closestSelector] of selectors) {
  720.             let e = [...doc.querySelectorAll(selector)];
  721.             e = e.filter(e => !e.closest(".io-style")); // practice2
  722.             if (e.length == 0)
  723.                 continue;
  724.             return pairs(e).map(([input, output], index) => ({
  725.                 title: `Sample ${index + 1}`,
  726.                 input: input.textContent,
  727.                 output: output.textContent,
  728.                 anchor: (input.closest(closestSelector) || input.parentElement).querySelector(".btn-copy"),
  729.             }));
  730.         }
  731.         { // maximum_cup_2018_d
  732.             let e = [...doc.querySelectorAll("#task-statement .div-btn-copy+pre")];
  733.             e = e.filter(f => !f.childElementCount);
  734.             if (e.length) {
  735.                 return pairs(e).map(([input, output], index) => ({
  736.                     title: `Sample ${index + 1}`,
  737.                     input: input.textContent,
  738.                     output: output.textContent,
  739.                     anchor: (input.closest(".part") || input.parentElement).querySelector(".btn-copy"),
  740.                 }));
  741.             }
  742.         }
  743.         return [];
  744.     }
  745.     return {
  746.         name: "AtCoder",
  747.         language,
  748.         get sourceCode() {
  749.             return unsafeWindow.getSourceCode();
  750.         },
  751.         set sourceCode(sourceCode) {
  752.             doc.querySelector(".plain-textarea").value = sourceCode;
  753.             unsafeWindow.$(".editor").data("editor").doc.setValue(sourceCode);
  754.         },
  755.         submit() {
  756.             doc.querySelector("#submit").click();
  757.         },
  758.         get testButtonContainer() {
  759.             return doc.querySelector("#submit").parentElement;
  760.         },
  761.         get sideButtonContainer() {
  762.             return doc.querySelector(".editor-buttons");
  763.         },
  764.         get bottomMenuContainer() {
  765.             return doc.getElementById("main-div");
  766.         },
  767.         get resultListContainer() {
  768.             return doc.querySelector(".form-code-submit");
  769.         },
  770.         get testCases() {
  771.             return getTestCases();
  772.         },
  773.         get jQuery() {
  774.             return unsafeWindow["jQuery"];
  775.         },
  776.     };
  777. }
  778.  
  779. async function init$4() {
  780.     if (location.host != "yukicoder.me")
  781.         throw "Not yukicoder";
  782.     const $ = unsafeWindow.$;
  783.     const doc = unsafeWindow.document;
  784.     const editor = unsafeWindow.ace.edit("rich_source");
  785.     const eSourceObject = $("#source");
  786.     const eLang = $("#lang");
  787.     const eSamples = $(".sample");
  788.     const langMap = {
  789.         "cpp14": "C++ C++14 GCC 11.1.0 + Boost 1.77.0",
  790.         "cpp17": "C++ C++17 GCC 11.1.0 + Boost 1.77.0",
  791.         "cpp-clang": "C++ C++17 Clang 10.0.0 + Boost 1.76.0",
  792.         "cpp23": "C++ C++11 GCC 8.4.1",
  793.         "c11": "C++ C++11 GCC 11.1.0",
  794.         "c": "C C90 GCC 8.4.1",
  795.         "java8": "Java Java16 OpenJDK 16.0.1",
  796.         "csharp": "C# CSC 3.9.0",
  797.         "csharp_mono": "C# Mono 6.12.0.147",
  798.         "csharp_dotnet": "C# .NET 5.0",
  799.         "perl": "Perl 5.26.3",
  800.         "raku": "Raku Rakudo v2021-07-2-g74d7ff771",
  801.         "php": "PHP 7.2.24",
  802.         "php7": "PHP 8.0.8",
  803.         "python3": "Python3 3.9.6 + numpy 1.14.5 + scipy 1.1.0",
  804.         "pypy2": "Python PyPy2 7.3.5",
  805.         "pypy3": "Python3 PyPy3 7.3.5",
  806.         "ruby": "Ruby 3.0.2p107",
  807.         "d": "D DMD 2.097.1",
  808.         "go": "Go 1.16.6",
  809.         "haskell": "Haskell 8.10.5",
  810.         "scala": "Scala 2.13.6",
  811.         "nim": "Nim 1.4.8",
  812.         "rust": "Rust 1.53.0",
  813.         "kotlin": "Kotlin 1.5.21",
  814.         "scheme": "Scheme Gauche 0.9.10",
  815.         "crystal": "Crystal 1.1.1",
  816.         "swift": "Swift 5.4.2",
  817.         "ocaml": "OCaml 4.12.0",
  818.         "clojure": "Clojure 1.10.2.790",
  819.         "fsharp": "F# 5.0",
  820.         "elixir": "Elixir 1.7.4",
  821.         "lua": "Lua LuaJIT 2.0.5",
  822.         "fortran": "Fortran gFortran 8.4.1",
  823.         "node": "JavaScript Node.js 15.5.0",
  824.         "typescript": "TypeScript 4.3.5",
  825.         "lisp": "Lisp Common Lisp sbcl 2.1.6",
  826.         "sml": "ML Standard ML MLton 20180207-6",
  827.         "kuin": "Kuin KuinC++ v.2021.7.17",
  828.         "vim": "Vim v8.2",
  829.         "sh": "Bash 4.4.19",
  830.         "nasm": "Assembler nasm 2.13.03",
  831.         "clay": "cLay 20210917-1",
  832.         "bf": "Brainfuck BFI 1.1",
  833.         "Whitespace": "Whitespace 0.3",
  834.         "text": "Text cat 8.3",
  835.     };
  836.     const language = new ObservableValue(langMap[eLang.val()]);
  837.     eLang.on("change", () => {
  838.         language.value = langMap[eLang.val()];
  839.     });
  840.     return {
  841.         name: "yukicoder",
  842.         language,
  843.         get sourceCode() {
  844.             if (eSourceObject.is(":visible"))
  845.                 return eSourceObject.val();
  846.             return editor.getSession().getValue();
  847.         },
  848.         set sourceCode(sourceCode) {
  849.             eSourceObject.val(sourceCode);
  850.             editor.getSession().setValue(sourceCode);
  851.         },
  852.         submit() {
  853.             doc.querySelector(`#submit_form input[type="submit"]`).click();
  854.         },
  855.         get testButtonContainer() {
  856.             return doc.querySelector("#submit_form");
  857.         },
  858.         get sideButtonContainer() {
  859.             return doc.querySelector("#toggle_source_editor").parentElement;
  860.         },
  861.         get bottomMenuContainer() {
  862.             return doc.body;
  863.         },
  864.         get resultListContainer() {
  865.             return doc.querySelector("#content");
  866.         },
  867.         get testCases() {
  868.             const testCases = [];
  869.             let sampleId = 1;
  870.             for (let i = 0; i < eSamples.length; i++) {
  871.                 const eSample = eSamples.eq(i);
  872.                 const [eInput, eOutput] = eSample.find("pre");
  873.                 const anchorContainer = $(`<span>`);
  874.                 const anchor = $(`<span>`);
  875.                 anchorContainer.append(anchor);
  876.                 eSample.find("h6").eq(0).appendTo(anchorContainer);
  877.                 anchorContainer.insertAfter(eSample.find("button").eq(0));
  878.                 testCases.push({
  879.                     title: `Sample ${sampleId++}`,
  880.                     input: eInput.textContent,
  881.                     output: eOutput.textContent,
  882.                     anchor: anchor[0],
  883.                 });
  884.             }
  885.             return testCases;
  886.         },
  887.         get jQuery() {
  888.             return $;
  889.         },
  890.     };
  891. }
  892.  
  893. var hPage = "<!DOCTYPE html>\n<html>\n  <head>\n    <meta charset=\"utf-8\">\n    <meta name=\"viewport\" content=\"width=device-width,initial-scale=1\">\n    <title>AtCoder Easy Test</title>\n    <link href=\"https://maxcdn.bootstrapcdn.com/bootstrap/3.3.1/css/bootstrap.min.css\" rel=\"stylesheet\">\n  </head>\n  <body>\n    <div class=\"container\">\n      <div class=\"panel panel-default\">\n        <div class=\"panel-heading\">config</div>\n        <div class=\"panel-body\">\n          <form id=\"options\" class=\"form-horizontal\">\n          </form>\n        </div>\n      </div>\n    </div>\n    <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js\"></script>\n    <script src=\"https://maxcdn.bootstrapcdn.com/bootstrap/3.3.1/js/bootstrap.min.js\"></script>\n  </body>\n</html>";
  894.  
  895. const options = [];
  896. let data = {};
  897. function toString() {
  898.     return JSON.stringify(data);
  899. }
  900. function save() {
  901.     GM_setValue("config", toString());
  902. }
  903. function load() {
  904.     data = JSON.parse(GM_getValue("config") || "{}");
  905. }
  906. function reset() {
  907.     data = {};
  908.     save();
  909. }
  910. load();
  911. const config = {
  912.     getString(key, defaultValue = "") {
  913.         if (!(key in data))
  914.             config.setString(key, defaultValue);
  915.         return data[key];
  916.     },
  917.     setString(key, value) {
  918.         data[key] = value;
  919.         save();
  920.     },
  921.     has(key) {
  922.         return key in data;
  923.     },
  924.     get(key, defaultValue = null) {
  925.         if (!(key in data))
  926.             config.set(key, defaultValue);
  927.         return JSON.parse(data[key]);
  928.     },
  929.     set(key, value) {
  930.         config.setString(key, JSON.stringify(value));
  931.     },
  932.     save,
  933.     load,
  934.     toString,
  935.     reset,
  936.     /** 設定ページを開く
  937.      * クリックなどのイベント時にしか正しく実行できない
  938.      */
  939.     open() {
  940.         const win = window.open("about:blank");
  941.         const doc = win.document;
  942.         doc.open();
  943.         doc.write(hPage);
  944.         doc.close();
  945.         const root = doc.getElementById("options");
  946.         options.sort((a, b) => {
  947.             const x = a.key.split(".");
  948.             const y = b.key.split(".");
  949.             return x < y ? -1 : x > y ? 1 : 0;
  950.         });
  951.         for (const { type, key, defaultValue, description } of options) {
  952.             const id = uuid();
  953.             const control = newElement("div", { className: "col-sm-3 text-center" });
  954.             const group = newElement("div", { className: "form-group" }, [
  955.                 control,
  956.                 newElement("label", {
  957.                     className: "col-sm-3",
  958.                     htmlFor: id,
  959.                     textContent: key,
  960.                     style: {
  961.                         fontFamily: "monospace",
  962.                     },
  963.                 }),
  964.                 newElement("label", {
  965.                     className: "col-sm-6",
  966.                     htmlFor: id,
  967.                     textContent: description,
  968.                 }),
  969.             ]);
  970.             root.appendChild(group);
  971.             switch (type) {
  972.                 case "flag": {
  973.                     control.appendChild(newElement("input", {
  974.                         id,
  975.                         type: "checkbox",
  976.                         checked: config.get(key, defaultValue),
  977.                         onchange() {
  978.                             config.set(key, this.checked);
  979.                         },
  980.                     }));
  981.                     break;
  982.                 }
  983.                 case "count": {
  984.                     control.appendChild(newElement("input", {
  985.                         id,
  986.                         type: "number",
  987.                         min: "0",
  988.                         value: config.get(key, defaultValue),
  989.                         onchange() {
  990.                             config.set(key, +this.value);
  991.                         },
  992.                     }));
  993.                     break;
  994.                 }
  995.                 default:
  996.                     throw new TypeError(`AtCoderEasyTest.setting: undefined option type ${type} for ${key}`);
  997.             }
  998.         }
  999.         root.appendChild(newElement("button", {
  1000.             className: "btn btn-danger",
  1001.             textContent: "Reset",
  1002.             type: "button",
  1003.             onclick() {
  1004.                 if (win.confirm("Configuration data will be cleared. Are you sure?")) {
  1005.                     config.reset();
  1006.                 }
  1007.             },
  1008.         }));
  1009.     },
  1010.     /** 設定項目を登録 */
  1011.     registerFlag(key, defaultValue, description) {
  1012.         options.push({
  1013.             type: "flag",
  1014.             key,
  1015.             defaultValue,
  1016.             description,
  1017.         });
  1018.     },
  1019.     registerCount(key, defaultValue, description) {
  1020.         options.push({
  1021.             type: "count",
  1022.             key,
  1023.             defaultValue,
  1024.             description,
  1025.         });
  1026.     },
  1027. };
  1028.  
  1029. class Editor {
  1030.     _element;
  1031.     constructor(lang) {
  1032.         this._element = document.createElement("textarea");
  1033.         this._element.style.fontFamily = "monospace";
  1034.         this._element.style.width = "100%";
  1035.         this._element.style.minHeight = "5em";
  1036.     }
  1037.     get element() {
  1038.         return this._element;
  1039.     }
  1040.     get sourceCode() {
  1041.         return this._element.value;
  1042.     }
  1043.     set sourceCode(sourceCode) {
  1044.         this._element.value = sourceCode;
  1045.     }
  1046.     setLanguage(lang) {
  1047.     }
  1048. }
  1049.  
  1050. var langMap = {
  1051.     3: "Delphi 7",
  1052.     4: "Pascal Free Pascal 3.0.2",
  1053.     6: "PHP 7.2.13",
  1054.     7: "Python 2.7.18",
  1055.     9: "C# Mono 6.8",
  1056.     12: "Haskell GHC 8.10.1",
  1057.     13: "Perl 5.20.1",
  1058.     19: "OCaml 4.02.1",
  1059.     20: "Scala 2.12.8",
  1060.     28: "D DMD32 v2.091.0",
  1061.     31: "Python3 3.8.10",
  1062.     32: "Go 1.15.6",
  1063.     34: "JavaScript V8 4.8.0",
  1064.     36: "Java 1.8.0_241",
  1065.     40: "Python PyPy2 2.7 (7.3.0)",
  1066.     41: "Python3 PyPy3 3.7 (7.3.0)",
  1067.     43: "C C11 GCC 5.1.0",
  1068.     48: "Kotlin 1.5.31",
  1069.     49: "Rust 1.49.0",
  1070.     50: "C++ C++14 G++ 6.4.0",
  1071.     51: "Pascal PascalABC.NET 3.4.1",
  1072.     52: "C++ C++17 Clang++",
  1073.     54: "C++ C++17 G++ 7.3.0",
  1074.     55: "JavaScript Node.js 12.6.3",
  1075.     59: "C++ Microsoft Visual C++ 2017",
  1076.     60: "Java 11.0.6",
  1077.     61: "C++ C++17 9.2.0 (64 bit, msys 2)",
  1078.     65: "C# 8, .NET Core 3.1",
  1079.     67: "Ruby 3.0.0",
  1080.     70: "Python3 PyPy 3.7 (7.3.5, 64bit)",
  1081.     72: "Kotlin 1.5.31",
  1082.     73: "C++ GNU G++ 11.2.0 (64 bit, winlibs)",
  1083. };
  1084.  
  1085. config.registerFlag("site.codeforces.showEditor", true, "Show Editor in Codeforces Problem Page");
  1086. async function init$3() {
  1087.     if (location.host != "codeforces.com")
  1088.         throw "not Codeforces";
  1089.     //TODO: m1.codeforces.com, m2.codeforces.com, m3.codeforces.com に対応する
  1090.     const doc = unsafeWindow.document;
  1091.     const eLang = doc.querySelector("select[name='programTypeId']");
  1092.     doc.head.appendChild(newElement("link", {
  1093.         rel: "stylesheet",
  1094.         href: "https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/css/bootstrap.min.css",
  1095.     }));
  1096.     const eButtons = newElement("span");
  1097.     doc.querySelector(".submitForm").appendChild(eButtons);
  1098.     await loadScript("https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js");
  1099.     const jQuery = unsafeWindow["jQuery"].noConflict();
  1100.     unsafeWindow["jQuery"] = unsafeWindow["$"];
  1101.     unsafeWindow["jQuery11"] = jQuery;
  1102.     await loadScript("https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/js/bootstrap.min.js", null, { jQuery, $: jQuery });
  1103.     const language = new ObservableValue(langMap[eLang.value]);
  1104.     eLang.addEventListener("change", () => {
  1105.         language.value = langMap[eLang.value];
  1106.     });
  1107.     let _sourceCode = "";
  1108.     const eFile = doc.querySelector(".submitForm").elements["sourceFile"];
  1109.     eFile.addEventListener("change", async () => {
  1110.         if (eFile.files[0]) {
  1111.             _sourceCode = await eFile.files[0].text();
  1112.             if (editor)
  1113.                 editor.sourceCode = _sourceCode;
  1114.         }
  1115.     });
  1116.     let editor = null;
  1117.     let waitCfFastSubmitCount = 0;
  1118.     const waitCfFastSubmit = setInterval(() => {
  1119.         if (document.getElementById("editor")) {
  1120.             // cf-fast-submit
  1121.             if (editor && editor.element)
  1122.                 editor.element.style.display = "none";
  1123.             // 言語セレクトを同期させる
  1124.             const eLang2 = doc.querySelector(".submit-form select[name='programTypeId']");
  1125.             if (eLang2) {
  1126.                 eLang.addEventListener("change", () => {
  1127.                     eLang2.value = eLang.value;
  1128.                 });
  1129.                 eLang2.addEventListener("change", () => {
  1130.                     eLang.value = eLang2.value;
  1131.                     language.value = langMap[eLang.value];
  1132.                 });
  1133.             }
  1134.             // TODO: 選択されたファイルをどうかする
  1135.             // エディタを使う
  1136.             const aceEditor = unsafeWindow["ace"].edit("editor");
  1137.             editor = {
  1138.                 get sourceCode() {
  1139.                     return aceEditor.getValue();
  1140.                 },
  1141.                 set sourceCode(sourceCode) {
  1142.                     aceEditor.setValue(sourceCode);
  1143.                 },
  1144.                 setLanguage(lang) { },
  1145.             };
  1146.             // ボタンを追加する
  1147.             const buttonContainer = doc.querySelector(".submit-form .submit").parentElement;
  1148.             buttonContainer.appendChild(newElement("a", {
  1149.                 className: "btn btn-info",
  1150.                 textContent: "Test & Submit",
  1151.                 onclick: () => events.trig("testAndSubmit"),
  1152.             }));
  1153.             buttonContainer.appendChild(newElement("a", {
  1154.                 className: "btn btn-default",
  1155.                 textContent: "Test All Samples",
  1156.                 onclick: () => events.trig("testAllSamples"),
  1157.             }));
  1158.             clearInterval(waitCfFastSubmit);
  1159.         }
  1160.         else {
  1161.             waitCfFastSubmitCount++;
  1162.             if (waitCfFastSubmitCount >= 100)
  1163.                 clearInterval(waitCfFastSubmit);
  1164.         }
  1165.     }, 100);
  1166.     if (config.get("site.codeforces.showEditor", true)) {
  1167.         editor = new Editor(langMap[eLang.value].split(" ")[0]);
  1168.         doc.getElementById("pageContent").appendChild(editor.element);
  1169.         language.addListener(lang => {
  1170.             editor.setLanguage(lang);
  1171.         });
  1172.     }
  1173.     return {
  1174.         name: "Codeforces",
  1175.         language,
  1176.         get sourceCode() {
  1177.             if (editor)
  1178.                 return editor.sourceCode;
  1179.             return _sourceCode;
  1180.         },
  1181.         set sourceCode(sourceCode) {
  1182.             const container = new DataTransfer();
  1183.             container.items.add(new File([sourceCode], "prog.txt", { type: "text/plain" }));
  1184.             const eFile = doc.querySelector(".submitForm").elements["sourceFile"];
  1185.             eFile.files = container.files;
  1186.             _sourceCode = sourceCode;
  1187.             if (editor)
  1188.                 editor.sourceCode = sourceCode;
  1189.         },
  1190.         submit() {
  1191.             if (editor)
  1192.                 _sourceCode = editor.sourceCode;
  1193.             this.sourceCode = _sourceCode;
  1194.             doc.querySelector(`.submitForm .submit`).click();
  1195.         },
  1196.         get testButtonContainer() {
  1197.             return eButtons;
  1198.         },
  1199.         get sideButtonContainer() {
  1200.             return eButtons;
  1201.         },
  1202.         get bottomMenuContainer() {
  1203.             return doc.body;
  1204.         },
  1205.         get resultListContainer() {
  1206.             return doc.querySelector("#pageContent");
  1207.         },
  1208.         get testCases() {
  1209.             return [...doc.querySelectorAll(".sample-test")].map((e, i) => ({
  1210.                 title: `Sample ${i + 1}`,
  1211.                 input: e.querySelector(".input pre").textContent,
  1212.                 output: e.querySelector(".output pre").textContent,
  1213.                 anchor: e.querySelector(".input .title"),
  1214.             }));
  1215.         },
  1216.         get jQuery() {
  1217.             return jQuery;
  1218.         },
  1219.     };
  1220. }
  1221.  
  1222. config.registerFlag("site.codeforcesMobile.showEditor", true, "Show Editor in Mobile Codeforces (m[1-3].codeforces.com) Problem Page");
  1223. async function init$2() {
  1224.     if (!/^m[1-3]\.codeforces\.com$/.test(location.host))
  1225.         throw "not Codeforces Mobile";
  1226.     const url = /\/contest\/(\d+)\/problem\/([^/]+)/.exec(location.pathname);
  1227.     const contestId = url[1];
  1228.     const problemId = url[2];
  1229.     const doc = unsafeWindow.document;
  1230.     const main = doc.querySelector("main");
  1231.     doc.head.appendChild(newElement("link", {
  1232.         rel: "stylesheet",
  1233.         href: "https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/css/bootstrap.min.css",
  1234.     }));
  1235.     await loadScript("https://maxcdn.bootstrapcdn.com/bootstrap/3.3.1/js/bootstrap.min.js");
  1236.     const language = new ObservableValue("");
  1237.     let submit = () => { };
  1238.     let getSourceCode = () => "";
  1239.     let setSourceCode = (_) => { };
  1240.     // make Editor
  1241.     if (config.get("site.codeforcesMobile.showEditor", true)) {
  1242.         const frame = newElement("iframe", {
  1243.             src: `/contest/${contestId}/submit`,
  1244.             style: {
  1245.                 display: "none",
  1246.             },
  1247.         });
  1248.         doc.body.appendChild(frame);
  1249.         await new Promise(done => frame.onload = done);
  1250.         const fdoc = frame.contentDocument;
  1251.         const form = fdoc.querySelector("._SubmitPage_submitForm");
  1252.         form.elements["problemIndex"].value = problemId;
  1253.         form.elements["problemIndex"].readonly = true;
  1254.         form.elements["programTypeId"].addEventListener("change", function () {
  1255.             language.value = langMap[this.value];
  1256.         });
  1257.         for (const row of form.children) {
  1258.             if (row.tagName != "DIV")
  1259.                 continue;
  1260.             row.classList.add("form-group");
  1261.             const control = row.querySelector("*[name]");
  1262.             if (control)
  1263.                 control.classList.add("form-control");
  1264.         }
  1265.         form.parentElement.removeChild(form);
  1266.         main.appendChild(form);
  1267.         submit = () => form.submit();
  1268.         getSourceCode = () => form.elements["source"].value;
  1269.         setSourceCode = sourceCode => {
  1270.             form.elements["source"].value = sourceCode;
  1271.         };
  1272.     }
  1273.     return {
  1274.         name: "Codeforces",
  1275.         language,
  1276.         get sourceCode() {
  1277.             return getSourceCode();
  1278.         },
  1279.         set sourceCode(sourceCode) {
  1280.             setSourceCode(sourceCode);
  1281.         },
  1282.         submit,
  1283.         get testButtonContainer() {
  1284.             return main;
  1285.         },
  1286.         get sideButtonContainer() {
  1287.             return main;
  1288.         },
  1289.         get bottomMenuContainer() {
  1290.             return doc.body;
  1291.         },
  1292.         get resultListContainer() {
  1293.             return main;
  1294.         },
  1295.         get testCases() {
  1296.             const testcases = [];
  1297.             let index = 1;
  1298.             for (const container of doc.querySelectorAll(".sample-test")) {
  1299.                 const input = container.querySelector(".input pre.content").textContent;
  1300.                 const output = container.querySelector(".output pre.content").textContent;
  1301.                 const anchor = container.querySelector(".input .title");
  1302.                 testcases.push({
  1303.                     input, output, anchor,
  1304.                     title: `Sample ${index++}`,
  1305.                 });
  1306.             }
  1307.             return testcases;
  1308.         },
  1309.         get jQuery() {
  1310.             return unsafeWindow["jQuery"];
  1311.         },
  1312.     };
  1313. }
  1314.  
  1315. async function init$1() {
  1316.     if (location.host != "greatest.deepsurf.us" && !location.href.match(/433152-atcoder-easy-test-v2/))
  1317.         throw "Not about page";
  1318.     const doc = unsafeWindow.document;
  1319.     await loadScript("https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js");
  1320.     const jQuery = unsafeWindow["jQuery"];
  1321.     await loadScript("https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/js/bootstrap.min.js", null, { jQuery, $: jQuery });
  1322.     const e = newElement("div");
  1323.     doc.getElementById("install-area").appendChild(newElement("button", {
  1324.         type: "button",
  1325.         textContent: "Open config",
  1326.         onclick: () => config.open(),
  1327.     }));
  1328.     return {
  1329.         name: "About Page",
  1330.         language: new ObservableValue(""),
  1331.         get sourceCode() { return ""; },
  1332.         set sourceCode(sourceCode) { },
  1333.         submit() { },
  1334.         get testButtonContainer() { return e; },
  1335.         get sideButtonContainer() { return e; },
  1336.         get bottomMenuContainer() { return e; },
  1337.         get resultListContainer() { return e; },
  1338.         get testCases() { return []; },
  1339.         get jQuery() { return jQuery; },
  1340.     };
  1341. }
  1342.  
  1343. // 設定ページが開けなくなるのを避ける
  1344. const inits = [init$1()];
  1345. config.registerFlag("site.atcoder", true, "Use AtCoder Easy Test in AtCoder");
  1346. if (config.get("site.atcoder", true))
  1347.     inits.push(init$5());
  1348. config.registerFlag("site.yukicoder", true, "Use AtCoder Easy Test in yukicoder");
  1349. if (config.get("site.yukicoder", true))
  1350.     inits.push(init$4());
  1351. config.registerFlag("site.codeforces", true, "Use AtCoder Easy Test in Codeforces");
  1352. if (config.get("site.codeforces", true))
  1353.     inits.push(init$3());
  1354. config.registerFlag("site.codeforcesMobile", true, "Use AtCoder Easy Test in Codeforces Mobile (m[1-3].codeforces.com)");
  1355. if (config.get("site.codeforcesMobile", true))
  1356.     inits.push(init$2());
  1357. var pSite = Promise.any(inits);
  1358.  
  1359. const runners = {
  1360.     "C GCC 10.1.0 Wandbox": new WandboxRunner("gcc-10.1.0-c", "C (GCC 10.1.0)"),
  1361.     "C C17 Clang 10.0.0 paiza.io": new PaizaIORunner("c", "C (C17 / Clang 10.0.0)"),
  1362.     "C++ GCC 10.1.0 + Boost 1.73.0 + ACL Wandbox": new WandboxCppRunner("gcc-10.1.0", "C++ (GCC 10.1.0) + ACL", { options: "warning,boost-1.73.0-gcc-9.2.0,gnu++17" }),
  1363.     "C++ Clang 10.0.0 + ACL Wandbox": new WandboxCppRunner("clang-10.0.0", "C++ (Clang 10.0.0) + ACL", { options: "warning,boost-nothing-clang-10.0.0,c++17" }),
  1364.     "Python3 CPython 3.8.2 paiza.io": new PaizaIORunner("python3", "Python (3.8.2)"),
  1365.     "Python3 Brython": brythonRunner,
  1366.     "Python3 Pyodide": pyodideRunner,
  1367.     "Bash 5.0.17 paiza.io": new PaizaIORunner("bash", "Bash (5.0.17)"),
  1368.     "C# .NET Core 6.0.100-alpha.1.20562.2 Wandbox": new WandboxRunner("csharp", "C# (.NET Core 6.0.100-alpha.1.20562.2)"),
  1369.     "C# Mono-mcs HEAD Wandbox": new WandboxRunner("mono-head", "C# (Mono-mcs HEAD)"),
  1370.     "Clojure 1.10.1-1 paiza.io": new PaizaIORunner("clojure", "Clojure (1.10.1-1)"),
  1371.     "D LDC 1.23.0 paiza.io": new PaizaIORunner("d", "D (LDC 1.23.0)"),
  1372.     "Erlang 10.6.4 paiza.io": new PaizaIORunner("erlang", "Erlang (10.6.4)"),
  1373.     "Elixir 1.10.4 paiza.io": new PaizaIORunner("elixir", "Elixir (1.10.4)"),
  1374.     "F# Interactive 4.0 paiza.io": new PaizaIORunner("fsharp", "F# (Interactive 4.0)"),
  1375.     "Go 1.14.1 Wandbox": new WandboxRunner("go-1.14.1", "Go (1.14.1)"),
  1376.     "Haskell GHC HEAD Wandbox": new WandboxRunner("ghc-head", "Haskell (GHC HEAD)"),
  1377.     "Java 1.8.0 jdk8u121-b13 Wandbox": new WandboxRunner("openjdk-jdk8u121-b13", "Java (1.8.0_121 jdk8u121-b13)"),
  1378.     "Java 11 jdk-11+28 Wandbox": new WandboxRunner("openjdk-jdk-11+28", "Java (11)"),
  1379.     "JavaScript Node.js paiza.io": new PaizaIORunner("javascript", "JavaScript (Node.js 12.18.3)"),
  1380.     "Kotlin 1.4.0 paiza.io": new PaizaIORunner("kotlin", "Kotlin (1.4.0)"),
  1381.     "Lua 5.3.4 Wandbox": new WandboxRunner("lua-5.3.4", "Lua (Lua 5.3.4)"),
  1382.     "Lua LuaJIT HEAD Wandbox": new WandboxRunner("luajit-head", "Lua (LuaJIT HEAD)"),
  1383.     "Nim 1.0.6 Wandbox": new WandboxRunner("nim-1.0.6", "Nim (1.0.6)"),
  1384.     "Objective-C Clang 10.0.0 paiza.io": new PaizaIORunner("objective-c", "Objective-C (Clang 10.0.0)"),
  1385.     "OCaml HEAD Wandbox": new WandboxRunner("ocaml-head", "OCaml (HEAD)"),
  1386.     "Pascal FPC 3.0.2 Wandbox": new WandboxRunner("fpc-3.0.2", "Pascal (FPC 3.0.2)"),
  1387.     "Perl 5.30.0 paiza.io": new PaizaIORunner("perl", "Perl (5.30.0)"),
  1388.     "PHP 7.4.10 paiza.io": new PaizaIORunner("php", "PHP (7.4.10)"),
  1389.     "PHP 7.3.3 Wandbox": new WandboxRunner("php-7.3.3", "PHP (7.3.3)"),
  1390.     "Python PyPy HEAD Wandbox": new WandboxRunner("pypy-head", "PyPy2 (HEAD)"),
  1391.     "Python3 PyPy3 7.2.0 Wandbox": new WandboxRunner("pypy-7.2.0-3", "PyPy3 (7.2.0)"),
  1392.     "Ruby 2.7.1 paiza.io": new PaizaIORunner("ruby", "Ruby (2.7.1)"),
  1393.     "Ruby HEAD Wandbox": new WandboxRunner("ruby-head", "Ruby (HEAD)"),
  1394.     "Ruby 2.7.1 Wandbox": new WandboxRunner("ruby-2.7.1", "Ruby (2.7.1)"),
  1395.     "Rust 1.42.0 AtCoder": new AtCoderRunner("4050", "Rust (1.42.0)"),
  1396.     "Rust HEAD Wandbox": new WandboxRunner("rust-head", "Rust (HEAD)"),
  1397.     "Rust 1.43.0 paiza.io": new PaizaIORunner("rust", "Rust (1.43.0)"),
  1398.     "Scala 2.13.3 paiza": new PaizaIORunner("scala", "Scala (2.13.3)"),
  1399.     "Scheme Gauche 0.9.6 paiza.io": new PaizaIORunner("scheme", "Scheme (Gauche 0.9.6)"),
  1400.     "Swift 5.2.5 paiza.io": new PaizaIORunner("swift", "Swift (5.2.5)"),
  1401.     "Text local": new CustomRunner("Text", async (sourceCode, input) => {
  1402.         return {
  1403.             status: "OK",
  1404.             exitCode: "0",
  1405.             input,
  1406.             output: sourceCode,
  1407.         };
  1408.     }),
  1409.     "Basic Visual Basic .NET Core 4.0.1 paiza.io": new PaizaIORunner("vb", "Visual Basic (.NET Core 4.0.1)"),
  1410.     "COBOL Free OpenCOBOL 2.2.0 paiza.io": new PaizaIORunner("cobol", "COBOL - Free (OpenCOBOL 2.2.0)"),
  1411.     "COBOL Fixed OpenCOBOL 1.1.0 AtCoder": new AtCoderRunner("4060", "COBOL - Fixed (OpenCOBOL 1.1.0)"),
  1412.     "COBOL Free OpenCOBOL 1.1.0 AtCoder": new AtCoderRunner("4061", "COBOL - Free (OpenCOBOL 1.1.0)"),
  1413.     "C++ GCC 9.2.0 + ACL Wandbox": new WandboxCppRunner("gcc-9.2.0", "C++ (GCC 9.2.0) + ACL"),
  1414. };
  1415. pSite.then(site => {
  1416.     if (site.name == "AtCoder") {
  1417.         // AtCoderRunner がない場合は、追加する
  1418.         for (const e of document.querySelectorAll("#select-lang option[value]")) {
  1419.             const m = e.textContent.match(/([^ ]+) \(([^)]+)\)/);
  1420.             if (m) {
  1421.                 const name = `${m[1]} ${m[2]} AtCoder`;
  1422.                 const languageId = e.value;
  1423.                 runners[name] = new AtCoderRunner(languageId, e.textContent);
  1424.             }
  1425.         }
  1426.     }
  1427. });
  1428. console.info("AtCoder Easy Test: codeRunner OK");
  1429. config.registerCount("codeRunner.maxRetry", 3, "Max count of retry when IE (Internal Error)");
  1430. var codeRunner = {
  1431.     // 指定した環境でコードを実行する
  1432.     async run(runnerId, sourceCode, input, expectedOutput, options = { trim: true, split: true }) {
  1433.         // CodeRunner が存在しない言語ID
  1434.         if (!(runnerId in runners))
  1435.             return Promise.reject("Language not supported");
  1436.         // 最後に実行したコードを保存
  1437.         if (sourceCode.length > 0)
  1438.             codeSaver.save(sourceCode);
  1439.         // 実行
  1440.         const maxRetry = config.get("codeRunner.maxRetry", 3);
  1441.         for (let retry = 0; retry < maxRetry; retry++) {
  1442.             try {
  1443.                 const result = await runners[runnerId].test(sourceCode, input, expectedOutput, options);
  1444.                 const lang = runnerId.split(" ")[0];
  1445.                 if (result.status == "IE") {
  1446.                     console.error(result);
  1447.                     const runnerIds = Object.keys(runners).filter(runnerId => runnerId.split(" ")[0] == lang);
  1448.                     const index = runnerIds.indexOf(runnerId);
  1449.                     runnerId = runnerIds[(index + 1) % runnerIds.length];
  1450.                     continue;
  1451.                 }
  1452.                 return result;
  1453.             }
  1454.             catch (e) {
  1455.                 console.error(e);
  1456.             }
  1457.         }
  1458.     },
  1459.     // 環境の名前の一覧を取得する
  1460.     // @return runnerIdとラベルのペアの配列
  1461.     async getEnvironment(languageId) {
  1462.         const langs = similarLangs(languageId, Object.keys(runners));
  1463.         if (langs.length == 0)
  1464.             throw `Undefined language: ${languageId}`;
  1465.         return langs.map(runnerId => [runnerId, runners[runnerId].label]);
  1466.     },
  1467. };
  1468.  
  1469. var hBottomMenu = "<div id=\"bottom-menu-wrapper\" class=\"navbar navbar-default navbar-fixed-bottom\">\n  <div class=\"container\">\n    <div class=\"navbar-header\">\n      <button id=\"bottom-menu-key\" type=\"button\" class=\"navbar-toggle collapsed glyphicon glyphicon-menu-down\" data-toggle=\"collapse\" data-target=\"#bottom-menu\"></button>\n    </div>\n    <div id=\"bottom-menu\" class=\"collapse navbar-collapse\">\n      <ul id=\"bottom-menu-tabs\" class=\"nav nav-tabs\"></ul>\n      <div id=\"bottom-menu-contents\" class=\"tab-content\"></div>\n    </div>\n  </div>\n</div>";
  1470.  
  1471. var hStyle$1 = "<style>\n#bottom-menu-wrapper {\n  background: transparent;\n  border: none;\n  pointer-events: none;\n  padding: 0;\n}\n\n#bottom-menu-wrapper>.container {\n  position: absolute;\n  bottom: 0;\n  width: 100%;\n  padding: 0;\n}\n\n#bottom-menu-wrapper>.container>.navbar-header {\n  float: none;\n}\n\n#bottom-menu-key {\n  display: block;\n  float: none;\n  margin: 0 auto;\n  padding: 10px 3em;\n  border-radius: 5px 5px 0 0;\n  background: #000;\n  opacity: 0.5;\n  color: #FFF;\n  cursor: pointer;\n  pointer-events: auto;\n  text-align: center;\n}\n\n@media screen and (max-width: 767px) {\n  #bottom-menu-key {\n    opacity: 0.25;\n  }\n}\n\n#bottom-menu-key.collapsed:before {\n  content: \"\\e260\";\n}\n\n#bottom-menu-tabs {\n  padding: 3px 0 0 10px;\n  cursor: n-resize;\n}\n\n#bottom-menu-tabs a {\n  pointer-events: auto;\n}\n\n#bottom-menu {\n  pointer-events: auto;\n  background: rgba(0, 0, 0, 0.8);\n  color: #fff;\n  max-height: unset;\n}\n\n#bottom-menu.collapse:not(.in) {\n  display: none !important;\n}\n\n#bottom-menu-tabs>li>a {\n  background: rgba(150, 150, 150, 0.5);\n  color: #000;\n  border: solid 1px #ccc;\n  filter: brightness(0.75);\n}\n\n#bottom-menu-tabs>li>a:hover {\n  background: rgba(150, 150, 150, 0.5);\n  border: solid 1px #ccc;\n  color: #111;\n  filter: brightness(0.9);\n}\n\n#bottom-menu-tabs>li.active>a {\n  background: #eee;\n  border: solid 1px #ccc;\n  color: #333;\n  filter: none;\n}\n\n.bottom-menu-btn-close {\n  font-size: 8pt;\n  vertical-align: baseline;\n  padding: 0 0 0 6px;\n  margin-right: -6px;\n}\n\n#bottom-menu-contents {\n  padding: 5px 15px;\n  max-height: 50vh;\n  overflow-y: auto;\n}\n\n#bottom-menu-contents .panel {\n  color: #333;\n}\n</style>";
  1472.  
  1473. async function init() {
  1474.     const site = await pSite;
  1475.     const style = html2element(hStyle$1);
  1476.     const bottomMenu = html2element(hBottomMenu);
  1477.     unsafeWindow.document.head.appendChild(style);
  1478.     site.bottomMenuContainer.appendChild(bottomMenu);
  1479.     const bottomMenuKey = bottomMenu.querySelector("#bottom-menu-key");
  1480.     const bottomMenuTabs = bottomMenu.querySelector("#bottom-menu-tabs");
  1481.     const bottomMenuContents = bottomMenu.querySelector("#bottom-menu-contents");
  1482.     // メニューのリサイズ
  1483.     {
  1484.         let resizeStart = null;
  1485.         const onStart = (event) => {
  1486.             const target = event.target;
  1487.             const pageY = event.pageY;
  1488.             if (target.id != "bottom-menu-tabs")
  1489.                 return;
  1490.             resizeStart = { y: pageY, height: bottomMenuContents.getBoundingClientRect().height };
  1491.         };
  1492.         const onMove = (event) => {
  1493.             if (!resizeStart)
  1494.                 return;
  1495.             event.preventDefault();
  1496.             bottomMenuContents.style.height = `${resizeStart.height - (event.pageY - resizeStart.y)}px`;
  1497.         };
  1498.         const onEnd = () => {
  1499.             resizeStart = null;
  1500.         };
  1501.         bottomMenuTabs.addEventListener("mousedown", onStart);
  1502.         bottomMenuTabs.addEventListener("mousemove", onMove);
  1503.         bottomMenuTabs.addEventListener("mouseup", onEnd);
  1504.         bottomMenuTabs.addEventListener("mouseleave", onEnd);
  1505.     }
  1506.     let tabs = new Set();
  1507.     let selectedTab = null;
  1508.     /** 下メニューの操作 */
  1509.     const menuController = {
  1510.         /** タブを選択 */
  1511.         selectTab(tabId) {
  1512.             const tab = site.jQuery(`#bottom-menu-tab-${tabId}`);
  1513.             if (tab && tab[0]) {
  1514.                 tab.tab("show"); // Bootstrap 3
  1515.                 selectedTab = tabId;
  1516.             }
  1517.         },
  1518.         /** 下メニューにタブを追加する */
  1519.         addTab(tabId, tabLabel, paneContent, options = {}) {
  1520.             console.log(`AtCoder Easy Test: addTab: ${tabLabel} (${tabId})`, paneContent);
  1521.             // タブを追加
  1522.             const tab = document.createElement("a");
  1523.             tab.textContent = tabLabel;
  1524.             tab.id = `bottom-menu-tab-${tabId}`;
  1525.             tab.href = "#";
  1526.             tab.dataset.target = `#bottom-menu-pane-${tabId}`;
  1527.             tab.dataset.toggle = "tab";
  1528.             tab.addEventListener("click", event => {
  1529.                 event.preventDefault();
  1530.                 menuController.selectTab(tabId);
  1531.             });
  1532.             const tabLi = document.createElement("li");
  1533.             tabLi.appendChild(tab);
  1534.             bottomMenuTabs.appendChild(tabLi);
  1535.             // 内容を追加
  1536.             const pane = document.createElement("div");
  1537.             pane.className = "tab-pane";
  1538.             pane.id = `bottom-menu-pane-${tabId}`;
  1539.             pane.appendChild(paneContent);
  1540.             bottomMenuContents.appendChild(pane);
  1541.             const controller = {
  1542.                 get id() {
  1543.                     return tabId;
  1544.                 },
  1545.                 close() {
  1546.                     bottomMenuTabs.removeChild(tabLi);
  1547.                     bottomMenuContents.removeChild(pane);
  1548.                     tabs.delete(tab);
  1549.                     if (selectedTab == tabId) {
  1550.                         selectedTab = null;
  1551.                         if (tabs.size > 0) {
  1552.                             menuController.selectTab(tabs.values().next().value.id);
  1553.                         }
  1554.                     }
  1555.                 },
  1556.                 show() {
  1557.                     menuController.show();
  1558.                     menuController.selectTab(tabId);
  1559.                 },
  1560.                 set color(color) {
  1561.                     tab.style.backgroundColor = color;
  1562.                 },
  1563.             };
  1564.             // 閉じるボタン
  1565.             if (options.closeButton) {
  1566.                 const btn = document.createElement("a");
  1567.                 btn.className = "bottom-menu-btn-close btn btn-link glyphicon glyphicon-remove";
  1568.                 btn.addEventListener("click", () => {
  1569.                     controller.close();
  1570.                 });
  1571.                 tab.appendChild(btn);
  1572.             }
  1573.             // 選択されているタブがなければ選択
  1574.             if (!selectedTab)
  1575.                 menuController.selectTab(tabId);
  1576.             return controller;
  1577.         },
  1578.         /** 下メニューを表示する */
  1579.         show() {
  1580.             if (bottomMenuKey.classList.contains("collapsed"))
  1581.                 bottomMenuKey.click();
  1582.         },
  1583.         /** 下メニューの表示/非表示を切り替える */
  1584.         toggle() {
  1585.             bottomMenuKey.click();
  1586.         },
  1587.     };
  1588.     console.info("AtCoder Easy Test: bottomMenu OK");
  1589.     return menuController;
  1590. }
  1591.  
  1592. var hRowTemplate = "<div class=\"atcoder-easy-test-cases-row alert alert-dismissible\">\n  <button type=\"button\" class=\"close\" data-dismiss=\"alert\" aria-label=\"close\">\n    <span aria-hidden=\"true\">×</span>\n  </button>\n  <div class=\"progress\">\n    <div class=\"progress-bar\" style=\"width: 0%;\">0 / 0</div>\n  </div>\n  <div class=\"atcoder-easy-test-cases-row-date\" style=\"font-family: monospace; text-align: right; position: absolute; right: 1em;\"></div>\n</div>";
  1593.  
  1594. class ResultRow {
  1595.     _tabs;
  1596.     _element;
  1597.     _promise;
  1598.     constructor(pairs) {
  1599.         this._tabs = pairs.map(([_, tab]) => tab);
  1600.         this._element = html2element(hRowTemplate);
  1601.         this._element.querySelector(".close").addEventListener("click", () => this.remove());
  1602.         {
  1603.             const date = new Date();
  1604.             const h = date.getHours().toString().padStart(2, "0");
  1605.             const m = date.getMinutes().toString().padStart(2, "0");
  1606.             const s = date.getSeconds().toString().padStart(2, "0");
  1607.             this._element.querySelector(".atcoder-easy-test-cases-row-date").textContent = `${h}:${m}:${s}`;
  1608.         }
  1609.         const numCases = pairs.length;
  1610.         let numFinished = 0;
  1611.         let numAccepted = 0;
  1612.         const progressBar = this._element.querySelector(".progress-bar");
  1613.         progressBar.textContent = `${numFinished} / ${numCases}`;
  1614.         this._promise = Promise.all(pairs.map(([pResult, tab]) => {
  1615.             const button = html2element(`<div class="label label-default" style="margin: 3px; cursor: pointer;">WJ</div>`);
  1616.             button.addEventListener("click", async () => {
  1617.                 (await tab).show();
  1618.             });
  1619.             this._element.appendChild(button);
  1620.             return pResult.then(result => {
  1621.                 button.textContent = result.status;
  1622.                 if (result.status == "AC") {
  1623.                     button.classList.add("label-success");
  1624.                 }
  1625.                 else if (result.status != "OK") {
  1626.                     button.classList.add("label-warning");
  1627.                 }
  1628.                 numFinished++;
  1629.                 if (result.status == "AC")
  1630.                     numAccepted++;
  1631.                 progressBar.textContent = `${numFinished} / ${numCases}`;
  1632.                 progressBar.style.width = `${100 * numFinished / numCases}%`;
  1633.                 if (numFinished == numCases) {
  1634.                     if (numAccepted == numCases)
  1635.                         this._element.classList.add("alert-success");
  1636.                     else
  1637.                         this._element.classList.add("alert-warning");
  1638.                 }
  1639.             }).catch(reason => {
  1640.                 button.textContent = "IE";
  1641.                 button.classList.add("label-danger");
  1642.                 console.error(reason);
  1643.             });
  1644.         }));
  1645.     }
  1646.     get element() {
  1647.         return this._element;
  1648.     }
  1649.     onFinish(listener) {
  1650.         this._promise.then(listener);
  1651.     }
  1652.     remove() {
  1653.         for (const pTab of this._tabs)
  1654.             pTab.then(tab => tab.close());
  1655.         const parent = this._element.parentElement;
  1656.         if (parent)
  1657.             parent.removeChild(this._element);
  1658.     }
  1659. }
  1660.  
  1661. var hResultList = "<div class=\"row\"></div>";
  1662.  
  1663. const eResultList = html2element(hResultList);
  1664. pSite.then(site => site.resultListContainer.appendChild(eResultList));
  1665. const resultList = {
  1666.     addResult(pairs) {
  1667.         const result = new ResultRow(pairs);
  1668.         eResultList.insertBefore(result.element, eResultList.firstChild);
  1669.         return result;
  1670.     },
  1671. };
  1672.  
  1673. var hTabTemplate = "<div class=\"atcoder-easy-test-result container\">\n  <div class=\"row\">\n    <div class=\"atcoder-easy-test-result-col-input col-xs-12\" data-if-expected-output=\"col-sm-6 col-sm-push-6\">\n      <div class=\"form-group\">\n        <label class=\"control-label col-xs-12\">\n          Standard Input\n          <div class=\"col-xs-12\">\n            <textarea class=\"atcoder-easy-test-result-input form-control\" rows=\"3\" readonly=\"readonly\"></textarea>\n          </div>\n        </label>\n      </div>\n    </div>\n    <div class=\"atcoder-easy-test-result-col-expected-output col-xs-12 col-sm-6 hidden\" data-if-expected-output=\"!hidden col-sm-pull-6\">\n      <div class=\"form-group\">\n        <label class=\"control-label col-xs-12\">\n          Expected Output\n          <div class=\"col-xs-12\">\n            <textarea class=\"atcoder-easy-test-result-expected-output form-control\" rows=\"3\" readonly=\"readonly\"></textarea>\n          </div>\n        </label>\n      </div>\n    </div>\n  </div>\n  <div class=\"row\"><div class=\"col-sm-6 col-sm-offset-3\">\n    <div class=\"panel panel-default\">\n      <table class=\"table table-condensed\">\n        <tbody>\n          <tr>\n            <th class=\"text-center\">Exit Code</th>\n            <th class=\"text-center\">Exec Time</th>\n            <th class=\"text-center\">Memory</th>\n          </tr>\n          <tr>\n            <td class=\"atcoder-easy-test-result-exit-code text-center\"></td>\n            <td class=\"atcoder-easy-test-result-exec-time text-center\"></td>\n            <td class=\"atcoder-easy-test-result-memory text-center\"></td>\n          </tr>\n        </tbody>\n      </table>\n    </div>\n  </div></div>\n  <div class=\"row\">\n    <div class=\"atcoder-easy-test-result-col-output col-xs-12\" data-if-error=\"col-md-6\">\n      <div class=\"form-group\">\n        <label class=\"control-label col-xs-12\">\n          Standard Output\n          <div class=\"col-xs-12\">\n            <textarea class=\"atcoder-easy-test-result-output form-control\" rows=\"5\" readonly=\"readonly\"></textarea>\n          </div>\n        </label>\n      </div>\n    </div>\n    <div class=\"atcoder-easy-test-result-col-error col-xs-12 col-md-6 hidden\" data-if-error=\"!hidden\">\n      <div class=\"form-group\">\n        <label class=\"control-label col-xs-12\">\n          Standard Error\n          <div class=\"col-xs-12\">\n            <textarea class=\"atcoder-easy-test-result-error form-control\" rows=\"5\" readonly=\"readonly\"></textarea>\n          </div>\n        </label>\n      </div>\n    </div>\n  </div>\n</div>";
  1674.  
  1675. function setClassFromData(element, name) {
  1676.     const classes = element.dataset[name].split(/\s+/);
  1677.     for (let className of classes) {
  1678.         let flag = true;
  1679.         if (className[0] == "!") {
  1680.             className = className.slice(1);
  1681.             flag = false;
  1682.         }
  1683.         element.classList.toggle(className, flag);
  1684.     }
  1685. }
  1686. class ResultTabContent {
  1687.     _title;
  1688.     _uid;
  1689.     _element;
  1690.     _result;
  1691.     constructor() {
  1692.         this._uid = Date.now().toString(16);
  1693.         this._result = null;
  1694.         this._element = html2element(hTabTemplate);
  1695.         this._element.id = `atcoder-easy-test-result-${this._uid}`;
  1696.     }
  1697.     set result(result) {
  1698.         this._result = result;
  1699.         if (result.status == "AC") {
  1700.             this.outputStyle.backgroundColor = "#dff0d8";
  1701.         }
  1702.         else if (result.status != "OK") {
  1703.             this.outputStyle.backgroundColor = "#fcf8e3";
  1704.         }
  1705.         this.input = result.input;
  1706.         if ("expectedOutput" in result)
  1707.             this.expectedOutput = result.expectedOutput;
  1708.         this.exitCode = result.exitCode;
  1709.         if ("execTime" in result)
  1710.             this.execTime = `${result.execTime} ms`;
  1711.         if ("memory" in result)
  1712.             this.memory = `${result.memory} KB`;
  1713.         if ("output" in result)
  1714.             this.output = result.output;
  1715.         if (result.error)
  1716.             this.error = result.error;
  1717.     }
  1718.     get result() {
  1719.         return this._result;
  1720.     }
  1721.     get uid() {
  1722.         return this._uid;
  1723.     }
  1724.     get element() {
  1725.         return this._element;
  1726.     }
  1727.     set title(title) {
  1728.         this._title = title;
  1729.     }
  1730.     get title() {
  1731.         return this._title;
  1732.     }
  1733.     set input(input) {
  1734.         this._get("input").value = input;
  1735.     }
  1736.     get inputStyle() {
  1737.         return this._get("input").style;
  1738.     }
  1739.     set expectedOutput(output) {
  1740.         this._get("expected-output").value = output;
  1741.         setClassFromData(this._get("col-input"), "ifExpectedOutput");
  1742.         setClassFromData(this._get("col-expected-output"), "ifExpectedOutput");
  1743.     }
  1744.     get expectedOutputStyle() {
  1745.         return this._get("expected-output").style;
  1746.     }
  1747.     set output(output) {
  1748.         this._get("output").value = output;
  1749.     }
  1750.     get outputStyle() {
  1751.         return this._get("output").style;
  1752.     }
  1753.     set error(error) {
  1754.         this._get("error").value = error;
  1755.         setClassFromData(this._get("col-output"), "ifError");
  1756.         setClassFromData(this._get("col-error"), "ifError");
  1757.     }
  1758.     set exitCode(code) {
  1759.         const element = this._get("exit-code");
  1760.         element.textContent = code;
  1761.         const isSuccess = code == "0";
  1762.         element.classList.toggle("bg-success", isSuccess);
  1763.         element.classList.toggle("bg-danger", !isSuccess);
  1764.     }
  1765.     set execTime(time) {
  1766.         this._get("exec-time").textContent = time;
  1767.     }
  1768.     set memory(memory) {
  1769.         this._get("memory").textContent = memory;
  1770.     }
  1771.     _get(name) {
  1772.         return this._element.querySelector(`.atcoder-easy-test-result-${name}`);
  1773.     }
  1774. }
  1775.  
  1776. var hRoot = "<form id=\"atcoder-easy-test-container\" class=\"form-horizontal\">\n  <div class=\"row\">\n      <div class=\"col-xs-12 col-lg-8\">\n          <div class=\"form-group\">\n              <label class=\"control-label col-sm-2\">Test Environment</label>\n              <div class=\"col-sm-10\">\n                  <select class=\"form-control\" id=\"atcoder-easy-test-language\"></select>\n              </div>\n          </div>\n          <div class=\"form-group\">\n              <label class=\"control-label col-sm-2\" for=\"atcoder-easy-test-input\">Standard Input</label>\n              <div class=\"col-sm-10\">\n                  <textarea id=\"atcoder-easy-test-input\" name=\"input\" class=\"form-control\" rows=\"3\"></textarea>\n              </div>\n          </div>\n      </div>\n      <div class=\"col-xs-12 col-lg-4\">\n          <details close>\n              <summary>Expected Output</summary>\n              <div class=\"form-group\">\n                  <label class=\"control-label col-sm-2\" for=\"atcoder-easy-test-allowable-error-check\">Allowable Error</label>\n                  <div class=\"col-sm-10\">\n                      <div class=\"input-group\">\n                          <span class=\"input-group-addon\">\n                              <input id=\"atcoder-easy-test-allowable-error-check\" type=\"checkbox\" checked=\"checked\">\n                          </span>\n                          <input id=\"atcoder-easy-test-allowable-error\" type=\"text\" class=\"form-control\" value=\"1e-6\">\n                      </div>\n                  </div>\n              </div>\n              <div class=\"form-group\">\n                  <label class=\"control-label col-sm-2\" for=\"atcoder-easy-test-output\">Expected Output</label>\n                  <div class=\"col-sm-10\">\n                      <textarea id=\"atcoder-easy-test-output\" name=\"output\" class=\"form-control\" rows=\"3\"></textarea>\n                  </div>\n              </div>\n          </details>\n      </div>\n      <div class=\"col-xs-12 col-md-6\">\n          <div class=\"col-xs-11 col-xs-offset=1\">\n              <div class=\"form-group\">\n                  <a id=\"atcoder-easy-test-run\" class=\"btn btn-primary\">Run</a>\n              </div>\n          </div>\n      </div>\n      <div class=\"col-xs-12 col-md-6\">\n          <div class=\"col-xs-11 col-xs-offset=1\">\n              <div class=\"form-group text-right\">\n                  <small>AtCoder Easy Test v<span id=\"atcoder-easy-test-version\"></span></small>\n                  <a id=\"atcoder-easy-test-setting\" class=\"btn btn-xs btn-default\">Setting</a>\n              </div>\n          </div>\n      </div>\n  </div>\n  <style>\n  #atcoder-easy-test-language {\n      border: none;\n      background: transparent;\n      font: inherit;\n      color: #fff;\n  }\n  #atcoder-easy-test-language option {\n      border: none;\n      color: #333;\n      font: inherit;\n  }\n  </style>\n</form>";
  1777.  
  1778. var hStyle = "<style>\n.atcoder-easy-test-result textarea {\n  font-family: monospace;\n  font-weight: normal;\n}\n</style>";
  1779.  
  1780. var hRunButton = "<a class=\"btn btn-primary btn-sm\" style=\"vertical-align: top; margin-left: 0.5em\">Run</a>";
  1781.  
  1782. var hTestAndSubmit = "<a id=\"atcoder-easy-test-btn-test-and-submit\" class=\"btn btn-info btn\" style=\"margin-left: 1rem\" title=\"Ctrl+Enter\" data-toggle=\"tooltip\">Test &amp; Submit</a>";
  1783.  
  1784. var hTestAllSamples = "<a id=\"atcoder-easy-test-btn-test-all\" class=\"btn btn-default btn-sm\" style=\"margin-left: 1rem\" title=\"Alt+Enter\" data-toggle=\"tooltip\">Test All Samples</a>";
  1785.  
  1786. (async () => {
  1787.     const site = await pSite;
  1788.     const doc = unsafeWindow.document;
  1789.     // init bottomMenu
  1790.     const pBottomMenu = init();
  1791.     pBottomMenu.then(bottomMenu => {
  1792.         unsafeWindow.bottomMenu = bottomMenu;
  1793.     });
  1794.     await doneOrFail(pBottomMenu);
  1795.     // external interfaces
  1796.     unsafeWindow.codeRunner = codeRunner;
  1797.     doc.head.appendChild(html2element(hStyle));
  1798.     // interface
  1799.     const atCoderEasyTest = {
  1800.         version: "2.9.2",
  1801.         config,
  1802.         codeSaver,
  1803.         enableButtons() {
  1804.             events.trig("enable");
  1805.         },
  1806.         disableButtons() {
  1807.             events.trig("disable");
  1808.         },
  1809.         runCount: 0,
  1810.         runTest(title, language, sourceCode, input, output = null, options = { trim: true, split: true, }) {
  1811.             this.disableButtons();
  1812.             const content = new ResultTabContent();
  1813.             const pTab = pBottomMenu.then(bottomMenu => bottomMenu.addTab("easy-test-result-" + content.uid, `#${++this.runCount} ${title}`, content.element, { active: true, closeButton: true }));
  1814.             const pResult = codeRunner.run(language, sourceCode, input, output, options);
  1815.             pResult.then(result => {
  1816.                 content.result = result;
  1817.                 if (result.status == "AC") {
  1818.                     pTab.then(tab => tab.color = "#dff0d8");
  1819.                 }
  1820.                 else if (result.status != "OK") {
  1821.                     pTab.then(tab => tab.color = "#fcf8e3");
  1822.                 }
  1823.             }).finally(() => {
  1824.                 this.enableButtons();
  1825.             });
  1826.             return [pResult, pTab];
  1827.         }
  1828.     };
  1829.     unsafeWindow.atCoderEasyTest = atCoderEasyTest;
  1830.     // place "Easy Test" tab
  1831.     {
  1832.         // declare const hRoot: string;
  1833.         const root = html2element(hRoot);
  1834.         const E = (id) => root.querySelector(`#atcoder-easy-test-${id}`);
  1835.         const eLanguage = E("language");
  1836.         const eInput = E("input");
  1837.         const eAllowableErrorCheck = E("allowable-error-check");
  1838.         const eAllowableError = E("allowable-error");
  1839.         const eOutput = E("output");
  1840.         const eRun = E("run");
  1841.         const eSetting = E("setting");
  1842.         const eVersion = E("version");
  1843.         eVersion.textContent = atCoderEasyTest.version;
  1844.         events.on("enable", () => {
  1845.             eRun.classList.remove("disabled");
  1846.         });
  1847.         events.on("disable", () => {
  1848.             eRun.classList.add("disabled");
  1849.         });
  1850.         eSetting.addEventListener("click", () => {
  1851.             config.open();
  1852.         });
  1853.         // バージョン確認
  1854.         {
  1855.             const aDay = 24 * 60 * 60 * 1e3;
  1856.             config.registerCount("version.checkInterval", aDay, "Interval [ms] of checking for new version");
  1857.             let isButtonShown = false;
  1858.             const interval = config.get("version.checkInterval", aDay);
  1859.             const showButton = (version) => {
  1860.                 if (isButtonShown)
  1861.                     return;
  1862.                 isButtonShown = true;
  1863.                 console.info(`AtCoder Easy Test: New version available: v${version}`);
  1864.                 eVersion.insertAdjacentElement("afterend", newElement("a", {
  1865.                     href: "https://github.com/magurofly/atcoder-easy-test/raw/main/v2/atcoder-easy-test.user.js",
  1866.                     target: "_blank",
  1867.                     className: "btn btn-xs btn-info",
  1868.                     textContent: `Update to v${version}`,
  1869.                 }));
  1870.             };
  1871.             const checkVersion = () => {
  1872.                 const latest = config.get("version.latest", atCoderEasyTest.version);
  1873.                 if (compareVersion(atCoderEasyTest.version, latest) < 0) {
  1874.                     showButton(latest);
  1875.                 }
  1876.                 else {
  1877.                     const lastCheck = config.get("version.lastCheck", 0);
  1878.                     const now = Date.now();
  1879.                     if (now - lastCheck >= interval) {
  1880.                         config.set("version.lastCheck", now);
  1881.                         fetch("https://raw.githubusercontent.com/magurofly/atcoder-easy-test/main/v2/package.json").
  1882.                             then(r => r.json()).
  1883.                             then((data) => new Promise((resolve, reject) => {
  1884.                             const x = compareVersion(atCoderEasyTest.version, data.version);
  1885.                             if (x >= 0)
  1886.                                 resolve("OK");
  1887.                             else {
  1888.                                 reject(data.version);
  1889.                             }
  1890.                         })).
  1891.                             catch(showButton);
  1892.                     }
  1893.                 }
  1894.             };
  1895.             setInterval(checkVersion, interval);
  1896.             checkVersion();
  1897.         }
  1898.         // 言語選択関係
  1899.         {
  1900.             eLanguage.addEventListener("change", async () => {
  1901.                 const langSelection = config.get("langSelection", {});
  1902.                 langSelection[site.language.value] = eLanguage.value;
  1903.                 config.set("langSelection", langSelection);
  1904.             });
  1905.             async function setLanguage() {
  1906.                 const languageId = site.language.value;
  1907.                 while (eLanguage.firstChild)
  1908.                     eLanguage.removeChild(eLanguage.firstChild);
  1909.                 try {
  1910.                     const langs = await codeRunner.getEnvironment(languageId);
  1911.                     console.log(`language: ${langs[1]} (${langs[0]})`);
  1912.                     // add <option>
  1913.                     for (const [languageId, label] of langs) {
  1914.                         const option = document.createElement("option");
  1915.                         option.value = languageId;
  1916.                         option.textContent = label;
  1917.                         eLanguage.appendChild(option);
  1918.                     }
  1919.                     // load
  1920.                     const langSelection = config.get("langSelection", {});
  1921.                     if (languageId in langSelection) {
  1922.                         const prev = langSelection[languageId];
  1923.                         const [lang, _] = langs.find(([lang, label]) => lang == prev);
  1924.                         if (lang)
  1925.                             eLanguage.value = lang;
  1926.                     }
  1927.                     events.trig("enable");
  1928.                 }
  1929.                 catch (error) {
  1930.                     console.log(`language: ? (${languageId})`);
  1931.                     console.error(error);
  1932.                     const option = document.createElement("option");
  1933.                     option.className = "fg-danger";
  1934.                     option.textContent = error;
  1935.                     eLanguage.appendChild(option);
  1936.                     events.trig("disable");
  1937.                 }
  1938.             }
  1939.             site.language.addListener(() => setLanguage());
  1940.             eAllowableError.disabled = !eAllowableErrorCheck.checked;
  1941.             eAllowableErrorCheck.addEventListener("change", event => {
  1942.                 eAllowableError.disabled = !eAllowableErrorCheck.checked;
  1943.             });
  1944.         }
  1945.         // テスト実行
  1946.         function runTest(title, input, output = null) {
  1947.             const options = { trim: true, split: true, };
  1948.             if (eAllowableErrorCheck.checked) {
  1949.                 options.allowableError = parseFloat(eAllowableError.value);
  1950.             }
  1951.             return atCoderEasyTest.runTest(title, eLanguage.value, site.sourceCode, input, output, options);
  1952.         }
  1953.         function runAllCases(testcases) {
  1954.             const pairs = testcases.map(testcase => runTest(testcase.title, testcase.input, testcase.output));
  1955.             resultList.addResult(pairs);
  1956.             return Promise.all(pairs.map(([pResult, _]) => pResult.then(result => {
  1957.                 if (result.status == "AC")
  1958.                     return Promise.resolve(result);
  1959.                 else
  1960.                     return Promise.reject(result);
  1961.             })));
  1962.         }
  1963.         eRun.addEventListener("click", _ => {
  1964.             const title = "Run";
  1965.             const input = eInput.value;
  1966.             const output = eOutput.value;
  1967.             runTest(title, input, output || null);
  1968.         });
  1969.         await doneOrFail(pBottomMenu.then(bottomMenu => bottomMenu.addTab("easy-test", "Easy Test", root)));
  1970.         // place "Run" button on each sample
  1971.         for (const testCase of site.testCases) {
  1972.             const eRunButton = html2element(hRunButton);
  1973.             eRunButton.addEventListener("click", async () => {
  1974.                 const [pResult, pTab] = runTest(testCase.title, testCase.input, testCase.output);
  1975.                 await pResult;
  1976.                 (await pTab).show();
  1977.             });
  1978.             testCase.anchor.insertAdjacentElement("afterend", eRunButton);
  1979.             events.on("disable", () => {
  1980.                 eRunButton.classList.add("disabled");
  1981.             });
  1982.             events.on("enable", () => {
  1983.                 eRunButton.classList.remove("disabled");
  1984.             });
  1985.         }
  1986.         // place "Test & Submit" button
  1987.         {
  1988.             const button = html2element(hTestAndSubmit);
  1989.             site.testButtonContainer.appendChild(button);
  1990.             const testAndSubmit = async () => {
  1991.                 await runAllCases(site.testCases);
  1992.                 site.submit();
  1993.             };
  1994.             button.addEventListener("click", testAndSubmit);
  1995.             events.on("testAndSubmit", testAndSubmit);
  1996.             events.on("disable", () => button.classList.add("disabled"));
  1997.             events.on("enable", () => button.classList.remove("disabled"));
  1998.         }
  1999.         // place "Test All Samples" button
  2000.         {
  2001.             const button = html2element(hTestAllSamples);
  2002.             site.testButtonContainer.appendChild(button);
  2003.             const testAllSamples = () => runAllCases(site.testCases);
  2004.             button.addEventListener("click", testAllSamples);
  2005.             events.on("testAllSamples", testAllSamples);
  2006.             events.on("disable", () => button.classList.add("disabled"));
  2007.             events.on("enable", () => button.classList.remove("disabled"));
  2008.         }
  2009.     }
  2010.     // place "Restore Last Play" button
  2011.     try {
  2012.         const restoreButton = doc.createElement("a");
  2013.         restoreButton.className = "btn btn-danger btn-sm";
  2014.         restoreButton.textContent = "Restore Last Play";
  2015.         restoreButton.addEventListener("click", async () => {
  2016.             try {
  2017.                 const lastCode = await codeSaver.restore();
  2018.                 if (site.sourceCode.length == 0 || confirm("Your current code will be replaced. Are you sure?")) {
  2019.                     site.sourceCode = lastCode;
  2020.                 }
  2021.             }
  2022.             catch (reason) {
  2023.                 alert(reason);
  2024.             }
  2025.         });
  2026.         site.sideButtonContainer.appendChild(restoreButton);
  2027.     }
  2028.     catch (e) {
  2029.         console.error(e);
  2030.     }
  2031.     // キーボードショートカット
  2032.     config.registerFlag("ui.useKeyboardShortcut", true, "Use Keyboard Shortcuts");
  2033.     unsafeWindow.addEventListener("keydown", (event) => {
  2034.         if (config.get("ui.useKeyboardShortcut", true)) {
  2035.             if (event.key == "Enter" && event.ctrlKey) {
  2036.                 events.trig("testAndSubmit");
  2037.             }
  2038.             else if (event.key == "Enter" && event.altKey) {
  2039.                 events.trig("testAllSamples");
  2040.             }
  2041.             else if (event.key == "Escape" && event.altKey) {
  2042.                 pBottomMenu.then(bottomMenu => bottomMenu.toggle());
  2043.             }
  2044.         }
  2045.     });
  2046. })();
  2047. })();