{
  "source": "https://www.complang.tuwien.ac.at/ulrich/iso-prolog/conformity_testing",
  "checkedOn": "2026-09-10",
  "protocol": "Each query is read and executed in strict ISO mode; /**/ rows reuse the preceding setup.",
  "cases": [
    {
      "id": 1,
      "query": "writeq('\\n').",
      "input": "writeq('\\n').",
      "readCount": 1,
      "expected": "'\\n'",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'\\n'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 2,
      "query": "'",
      "input": "'",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 3,
      "query": ")",
      "input": ")",
      "readCount": 1,
      "expected": "waits",
      "outcome": {
        "type": "waits"
      }
    },
    {
      "id": 261,
      "query": ")\n'",
      "input": ")\n'",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 4,
      "query": ".",
      "input": ".",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 5,
      "query": "writeq('\t'). % horiz. tab",
      "input": "writeq('\t'). % horiz. tab",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 177,
      "query": "0'\\t=0'\t. % horiz. tab",
      "input": "0'\\t=0'\t. % horiz. tab",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 6,
      "query": "writeq('\n').",
      "input": "writeq('\n').",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 7,
      "query": "writeq('\\\n'). % \"\\\\\\n\"",
      "input": "writeq('\\\n'). % \"\\\\\\n\"",
      "readCount": 1,
      "expected": "''",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "''",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 8,
      "query": "writeq('\\\na'). % \"\\\\\\na\"",
      "input": "writeq('\\\na'). % \"\\\\\\na\"",
      "readCount": 1,
      "expected": "a",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "a",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 9,
      "query": "writeq('a\\\nb'). % \"a\\\\\\nb\"",
      "input": "writeq('a\\\nb'). % \"a\\\\\\nb\"",
      "readCount": 1,
      "expected": "ab",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "ab",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 10,
      "query": "writeq('a\\\n b'). % \"a\\\\\\n b\"",
      "input": "writeq('a\\\n b'). % \"a\\\\\\n b\"",
      "readCount": 1,
      "expected": "'a b'",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'a b'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 11,
      "query": "writeq('\\ ').",
      "input": "writeq('\\ ').",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 193,
      "query": "writeq('\\ \n'). % \"\\\\ \\n\"",
      "input": "writeq('\\ \n'). % \"\\\\ \\n\"",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 12,
      "query": "writeq('\\\t'). % \"\\\\\\t\"",
      "input": "writeq('\\\t'). % \"\\\\\\t\"",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 13,
      "query": "writeq('\\t').",
      "input": "writeq('\\t').",
      "readCount": 1,
      "expected": "'\\t'",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'\\t'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 14,
      "query": "writeq('\\a').",
      "input": "writeq('\\a').",
      "readCount": 1,
      "expected": "e.g. '\\a'",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'\\a'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 15,
      "query": "writeq('\\7\\').",
      "input": "writeq('\\7\\').",
      "readCount": 1,
      "expected": "e.g. '\\a'",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'\\a'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 16,
      "query": "writeq('\\ca').",
      "input": "writeq('\\ca').",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 241,
      "query": "writeq('\\d').",
      "input": "writeq('\\d').",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 17,
      "query": "writeq('\\e').",
      "input": "writeq('\\e').",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 18,
      "query": "writeq('\\033\\').",
      "input": "writeq('\\033\\').",
      "readCount": 1,
      "expected": "e.g. '\\33\\' or repr. err.",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'\\33\\'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 301,
      "query": "writeq('\\0\\').",
      "input": "writeq('\\0\\').",
      "readCount": 1,
      "expected": "e.g. '\\0\\' or repr. err.",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'\\0\\'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 19,
      "query": "char_code('\\e',C).",
      "input": "char_code('\\e',C).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 21,
      "query": "char_code('\\d',C).",
      "input": "char_code('\\d',C).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 22,
      "query": "writeq('\\u1').",
      "input": "writeq('\\u1').",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 312,
      "query": "writeq('\\u0021').",
      "input": "writeq('\\u0021').",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 313,
      "query": "put_code(0'\\u0021).",
      "input": "put_code(0'\\u0021).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 314,
      "query": "writeq(\"\\u0021\").",
      "input": "writeq(\"\\u0021\").",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 315,
      "query": "writeq('\\x21\\').",
      "input": "writeq('\\x21\\').",
      "readCount": 1,
      "expected": "!",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "!",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 316,
      "query": "writeq('\\x0021\\').",
      "input": "writeq('\\x0021\\').",
      "readCount": 1,
      "expected": "!",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "!",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 23,
      "query": "X = 0'\\u1.",
      "input": "X = 0'\\u1.",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 24,
      "query": "writeq('",
      "input": "writeq('",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 25,
      "query": "writeq(.",
      "input": "writeq(.",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 26,
      "query": "'\\\n''.",
      "input": "'\\\n''.",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 210,
      "query": "X = 0'\\.",
      "input": "X = 0'\\.",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 211,
      "query": "X = 0'\\. .",
      "input": "X = 0'\\. .",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 222,
      "query": "writeq((-)-(-)).",
      "input": "writeq((-)-(-)).",
      "readCount": 1,
      "expected": "(-)-(-)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "(-)-(-)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 223,
      "query": "writeq(((:-):-(:-))).",
      "input": "writeq(((:-):-(:-))).",
      "readCount": 1,
      "expected": "(:-):-(:-)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "(:-):-(:-)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 27,
      "query": "writeq((*)=(*)).",
      "input": "writeq((*)=(*)).",
      "readCount": 1,
      "expected": "(*)=(*)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "(*)=(*)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 28,
      "query": "writeq([:-,-]).",
      "input": "writeq([:-,-]).",
      "readCount": 1,
      "expected": "[:-,-]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "[:-,-]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 29,
      "query": "writeq(f(*)).",
      "input": "writeq(f(*)).",
      "readCount": 1,
      "expected": "f(*)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "f(*)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 30,
      "query": "writeq(a*(b+c)).",
      "input": "writeq(a*(b+c)).",
      "readCount": 1,
      "expected": "a*(b+c)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "a*(b+c)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 31,
      "query": "writeq(f(;,'|',';;')).",
      "input": "writeq(f(;,'|',';;')).",
      "readCount": 1,
      "expected": "f(;,'|',';;')",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "f(;,'|',';;')",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 32,
      "query": "writeq([.,.(.,.,.)]).",
      "input": "writeq([.,.(.,.,.)]).",
      "readCount": 1,
      "expected": "['.','.'('.','.','.')]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "['.','.'('.','.','.')]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 33,
      "query": "writeq((a :- b,c)).",
      "input": "writeq((a :- b,c)).",
      "readCount": 1,
      "expected": "a:-b,c",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "a:-b,c",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 34,
      "query": "write_canonical([a]).",
      "input": "write_canonical([a]).",
      "readCount": 1,
      "expected": "'.'(a,[])",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'.'(a,[])",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 35,
      "query": "writeq('/*').",
      "input": "writeq('/*').",
      "readCount": 1,
      "expected": "'/*'",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'/*'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 203,
      "query": "writeq(//*).",
      "input": "writeq(//*).",
      "readCount": 1,
      "expected": "//*",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "//*",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 282,
      "query": "writeq(//*.*/).",
      "input": "writeq(//*.*/).",
      "readCount": 1,
      "expected": "//*.*/",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "//*.*/",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 36,
      "query": "writeq('/**').",
      "input": "writeq('/**').",
      "readCount": 1,
      "expected": "'/**'",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'/**'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 37,
      "query": "writeq('*/').",
      "input": "writeq('*/').",
      "readCount": 1,
      "expected": "*/",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "*/",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 38,
      "query": "\"\\'\\`\\\"\" = \"'`\"\"\". % \"",
      "input": "\"\\'\\`\\\"\" = \"'`\"\"\". % \"",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 179,
      "query": "\"\\'\\\"\" = \"'\"\"\". % \"",
      "input": "\"\\'\\\"\" = \"'\"\"\". % \"",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 178,
      "query": "\"\\`\" = \"`\".",
      "input": "\"\\`\" = \"`\".",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 39,
      "query": "'\\'\\`\\\"' = '''`\"'.",
      "input": "'\\'\\`\\\"' = '''`\"'.",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 40,
      "query": "writeq('\\'\\`\\\"\\\"').",
      "input": "writeq('\\'\\`\\\"\\\"').",
      "readCount": 1,
      "expected": "e.g. '\\'`\"\"'",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'''`\"\"'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 41,
      "query": "('\\\\') = (\\).",
      "input": "('\\\\') = (\\).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 42,
      "query": "op(1,xf,xf1).\n1xf1 = xf1(1).",
      "input": "op(1,xf,xf1).\n1xf1 = xf1(1).",
      "readCount": 2,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 43,
      "query": "X = 0X1.",
      "input": "X = 0X1.",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 44,
      "query": "float(.0).",
      "input": "float(.0).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 45,
      "query": "op(100,xfx,.).\nfunctor(3 .2,F,A).",
      "input": "op(100,xfx,.).\nfunctor(3 .2,F,A).",
      "readCount": 2,
      "expected": "F = ('.'), A = 2.",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "['F'=('.'),'A'=2]"
          }
        ]
      }
    },
    {
      "id": 46,
      "query": "float(- .0).",
      "input": "float(- .0).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 47,
      "query": "float(1E9).",
      "input": "float(1E9).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 48,
      "query": "integer(1e).",
      "input": "integer(1e).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 49,
      "query": "op(9,xf,e9).\n1e9 = e9(1).",
      "input": "op(9,xf,e9).\n1e9 = e9(1).",
      "readCount": 2,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 50,
      "query": "op(9,xf,e).\n1e-9 = -(e(1),9).",
      "input": "op(9,xf,e).\n1e-9 = -(e(1),9).",
      "readCount": 2,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 51,
      "query": " /**/ 1.0e- 9 = -(e(1.0),9).",
      "input": "(catch((op(9,xf,e)), _, true) -> true ; true).\n  1.0e- 9 = -(e(1.0),9).",
      "readCount": 2,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 204,
      "query": " /**/ writeq(1e).",
      "input": "(catch((op(9,xf,e)), _, true) -> true ; true).\n  writeq(1e).",
      "readCount": 2,
      "expected": "e.g. 1 e",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "1 e",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 220,
      "query": " /**/ writeq(1.0e).",
      "input": "(catch((op(9,xf,e)), _, true) -> true ; true).\n  writeq(1.0e).",
      "readCount": 2,
      "expected": "e.g. 1.0 e",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "1.0 e",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 52,
      "query": "op(9,xfy,e).\n1.2e 3 = e(X,Y).",
      "input": "op(9,xfy,e).\n1.2e 3 = e(X,Y).",
      "readCount": 2,
      "expected": "X = 1.2, Y = 3.",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "['X'=1.2,'Y'=3]"
          }
        ]
      }
    },
    {
      "id": 53,
      "query": "writeq(1.0e100).",
      "input": "writeq(1.0e100).",
      "readCount": 1,
      "expected": "e.g. 1.0e+100",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "1.0e+100",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 54,
      "query": "float(1.0ee9).",
      "input": "float(1.0ee9).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 286,
      "query": "(- (1)) = -(1).",
      "input": "(- (1)) = -(1).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 287,
      "query": "(- -1) = -(-1).",
      "input": "(- -1) = -(-1).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 288,
      "query": "(- 1^2) = ^(-1,2).",
      "input": "(- 1^2) = ^(-1,2).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 56,
      "query": "integer(- 1).",
      "input": "integer(- 1).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 57,
      "query": "integer('-'1).",
      "input": "integer('-'1).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 58,
      "query": "integer('-' 1).",
      "input": "integer('-' 1).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 59,
      "query": "integer(- /*.*/1).",
      "input": "integer(- /*.*/1).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 60,
      "query": "integer(-/*.*/1).",
      "input": "integer(-/*.*/1).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 61,
      "query": "integer('-'/*.*/1).",
      "input": "integer('-'/*.*/1).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 62,
      "query": "atom(-/*.*/-).",
      "input": "atom(-/*.*/-).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 63,
      "query": "op(0,fy,-).",
      "input": "op(0,fy,-).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 180,
      "query": " /**/ integer(-1).",
      "input": "(catch((op(0,fy,-)), _, true) -> true ; true).\n  integer(-1).",
      "readCount": 2,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 64,
      "query": " /**/ integer(- 1).",
      "input": "(catch((op(0,fy,-)), _, true) -> true ; true).\n  integer(- 1).",
      "readCount": 2,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 136,
      "query": " /**/ writeq(-(1)).",
      "input": "(catch((op(0,fy,-)), _, true) -> true ; true).\n  writeq(-(1)).",
      "readCount": 2,
      "expected": "-(1)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "-(1)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 328,
      "query": " /**/ writeq([-]).",
      "input": "(catch((op(0,fy,-)), _, true) -> true ; true).\n  writeq([-]).",
      "readCount": 2,
      "expected": "[-]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "[-]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 135,
      "query": "writeq(-(1)).",
      "input": "writeq(-(1)).",
      "readCount": 1,
      "expected": "- (1)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "- (1)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 182,
      "query": "writeq(-(-1)).",
      "input": "writeq(-(-1)).",
      "readCount": 1,
      "expected": "- -1",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "- -1",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 183,
      "query": "writeq(-(1^2)).",
      "input": "writeq(-(1^2)).",
      "readCount": 1,
      "expected": "- (1^2)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "- (1^2)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 260,
      "query": "writeq(-(a^2)).",
      "input": "writeq(-(a^2)).",
      "readCount": 1,
      "expected": "- (a^2)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "- (a^2)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 139,
      "query": "writeq(-((a,b))).",
      "input": "writeq(-((a,b))).",
      "readCount": 1,
      "expected": "- (a,b)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "- (a,b)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 218,
      "query": "writeq(-(1*2)).",
      "input": "writeq(-(1*2)).",
      "readCount": 1,
      "expected": "- (1*2)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "- (1*2)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 140,
      "query": "writeq(-a).",
      "input": "writeq(-a).",
      "readCount": 1,
      "expected": "-a",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "-a",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 184,
      "query": "writeq(-(-)).",
      "input": "writeq(-(-)).",
      "readCount": 1,
      "expected": "- (-)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "- (-)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 185,
      "query": "writeq(-[-]).",
      "input": "writeq(-[-]).",
      "readCount": 1,
      "expected": "-[-]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "-[-]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 188,
      "query": "writeq(-p(c)).",
      "input": "writeq(-p(c)).",
      "readCount": 1,
      "expected": "-p(c)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "-p(c)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 189,
      "query": "writeq(-{}).",
      "input": "writeq(-{}).",
      "readCount": 1,
      "expected": "-{}",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "-{}",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 190,
      "query": "writeq(-{a}).",
      "input": "writeq(-{a}).",
      "readCount": 1,
      "expected": "-{a}",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "-{a}",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 191,
      "query": "writeq(-(-a)).",
      "input": "writeq(-(-a)).",
      "readCount": 1,
      "expected": "- -a",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "- -a",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 192,
      "query": "writeq(-(-(-a))).",
      "input": "writeq(-(-(-a))).",
      "readCount": 1,
      "expected": "- - -a",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "- - -a",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 216,
      "query": "writeq(-(-(1))).",
      "input": "writeq(-(-(1))).",
      "readCount": 1,
      "expected": "- - (1)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "- - (1)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 215,
      "query": "op(100,yfx,~).\nwriteq(-(1~2~3)).",
      "input": "op(100,yfx,~).\nwriteq(-(1~2~3)).",
      "readCount": 2,
      "expected": "- (1~2~3)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "- (1~2~3)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 248,
      "query": " /**/ writeq(- (1~2)).",
      "input": "(catch((op(100,yfx,~)), _, true) -> true ; true).\n  writeq(- (1~2)).",
      "readCount": 2,
      "expected": "- (1~2)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "- (1~2)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 249,
      "query": " /**/ writeq(1~2).",
      "input": "(catch((op(100,yfx,~)), _, true) -> true ; true).\n  writeq(1~2).",
      "readCount": 2,
      "expected": "1~2",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "1~2",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 278,
      "query": "op(9,xfy,.), writeq(-[1]).",
      "input": "op(9,xfy,.), writeq(-[1]).",
      "readCount": 1,
      "expected": "-[1]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "-[1]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 279,
      "query": "op(9,xf,'$VAR'), writeq(- '$VAR'(0)).",
      "input": "op(9,xf,'$VAR'), writeq(- '$VAR'(0)).",
      "readCount": 1,
      "expected": "-A",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "-A",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 296,
      "query": " /**/ writeq('$VAR'(0)).",
      "input": "(catch((op(9,xf,'$VAR'), writeq(- '$VAR'(0))), _, true) -> true ; true).\n  writeq('$VAR'(0)).",
      "readCount": 2,
      "expected": "A",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "-A",
            "variables": "[]"
          },
          {
            "output": "A",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 355,
      "query": " /**/ writeq('$VAR'(-1)).",
      "input": "(catch((op(9,xf,'$VAR'), writeq(- '$VAR'(0))), _, true) -> true ; true).\n  writeq('$VAR'(-1)).",
      "readCount": 2,
      "expected": "-1'$VAR'",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "-A",
            "variables": "[]"
          },
          {
            "output": "-1'$VAR'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 55,
      "query": "op(1,yf,yf1).\n{-1 yf1}={yf1(X)}.",
      "input": "op(1,yf,yf1).\n{-1 yf1}={yf1(X)}.",
      "readCount": 2,
      "expected": "X = -1.",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "['X'= -1]"
          }
        ]
      }
    },
    {
      "id": 65,
      "query": "compound(+1).",
      "input": "compound(+1).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 66,
      "query": "compound(+ 1).",
      "input": "compound(+ 1).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 277,
      "query": "writeq(+1^2).",
      "input": "writeq(+1^2).",
      "readCount": 1,
      "expected": "+1^2",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "+1^2",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 67,
      "query": "op(0,fy,+).\ncompound(+1).",
      "input": "op(0,fy,+).\ncompound(+1).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 257,
      "query": "writeq([+{a},+[]]).",
      "input": "writeq([+{a},+[]]).",
      "readCount": 1,
      "expected": "[+{a},+[]]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "[+{a},+[]]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 68,
      "query": "[(:-)|(:-)]=[:-|:-].",
      "input": "[(:-)|(:-)]=[:-|:-].",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 69,
      "query": "X=[a|b,c].",
      "input": "X=[a|b,c].",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 70,
      "query": "op(1000,xfy,',').",
      "input": "op(1000,xfy,',').",
      "readCount": 1,
      "expected": "p._e.(m., o.,',')",
      "outcome": {
        "type": "error",
        "formal": "permission_error(modify, operator)"
      }
    },
    {
      "id": 71,
      "query": "op(1001,xfy,',').",
      "input": "op(1001,xfy,',').",
      "readCount": 1,
      "expected": "p._e.(m., o.,',') or\np._e.(c., o.,',')",
      "outcome": {
        "type": "error",
        "formal": "permission_error(modify, operator)"
      }
    },
    {
      "id": 72,
      "query": "op(999,xfy,'|').",
      "input": "op(999,xfy,'|').",
      "readCount": 1,
      "expected": "p._e.(c., o.,'|')",
      "outcome": {
        "type": "error",
        "formal": "permission_error(create, operator)"
      }
    },
    {
      "id": 73,
      "query": " /**/ X=[a|b].",
      "input": "(catch((op(999,xfy,'|')), _, true) -> true ; true).\n  X=[a|b].",
      "readCount": 2,
      "expected": "X=[a|b].",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "['X'=[a|b]]"
          }
        ]
      }
    },
    {
      "id": 285,
      "query": " /**/ X=[(a|b)].",
      "input": "(catch((op(999,xfy,'|')), _, true) -> true ; true).\n  X=[(a|b)].",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 219,
      "query": " /**/ [a|[]]=[a].",
      "input": "(catch((op(999,xfy,'|')), _, true) -> true ; true).\n  [a|[]]=[a].",
      "readCount": 2,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 74,
      "query": " /**/ X=[a|b|c].",
      "input": "(catch((op(999,xfy,'|')), _, true) -> true ; true).\n  X=[a|b|c].",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 75,
      "query": "var(a:-b).",
      "input": "var(a:-b).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 76,
      "query": ":- = :- .",
      "input": ":- = :- .",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 77,
      "query": "- = - .",
      "input": "- = - .",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 78,
      "query": "* = * .",
      "input": "* = * .",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 79,
      "query": "current_op(200,fy,-).",
      "input": "current_op(200,fy,-).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 80,
      "query": "current_op(200,fy,+).",
      "input": "current_op(200,fy,+).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 81,
      "query": "{- - c}={-(-(c))}.",
      "input": "{- - c}={-(-(c))}.",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 82,
      "query": "(- -) = -(-).",
      "input": "(- -) = -(-).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 83,
      "query": "(- - -) = -(-(-)).",
      "input": "(- - -) = -(-(-)).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 84,
      "query": "(- - - -) = -(-(-(-))).",
      "input": "(- - - -) = -(-(-(-))).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 85,
      "query": "{:- :- c} = {:-(:-,c)}.",
      "input": "{:- :- c} = {:-(:-,c)}.",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 86,
      "query": "{- = - 1}={(-(=)) - 1}.",
      "input": "{- = - 1}={(-(=)) - 1}.",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 87,
      "query": "write_canonical((- = - 1)).",
      "input": "write_canonical((- = - 1)).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 88,
      "query": "write_canonical((- = -1)).",
      "input": "write_canonical((- = -1)).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 89,
      "query": "write_canonical((-;)).",
      "input": "write_canonical((-;)).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 90,
      "query": "write_canonical((-;-)).",
      "input": "write_canonical((-;-)).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 91,
      "query": "write_canonical((:-;-)).",
      "input": "write_canonical((:-;-)).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 92,
      "query": "[:- -c] = [(:- -c)].",
      "input": "[:- -c] = [(:- -c)].",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 93,
      "query": "writeq([a,b|,]).",
      "input": "writeq([a,b|,]).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 94,
      "query": "X ={,}.",
      "input": "X ={,}.",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 95,
      "query": "{1} = {}(1).",
      "input": "{1} = {}(1).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 96,
      "query": "write_canonical({1}).",
      "input": "write_canonical({1}).",
      "readCount": 1,
      "expected": "{}(1)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "{}(1)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 97,
      "query": "'[]'(1) = [ ](X).",
      "input": "'[]'(1) = [ ](X).",
      "readCount": 1,
      "expected": "X = 1",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['X'=1]"
          }
        ]
      }
    },
    {
      "id": 98,
      "query": "X = [] (1).",
      "input": "X = [] (1).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 99,
      "query": "op(100,yfy,op).",
      "input": "op(100,yfy,op).",
      "readCount": 1,
      "expected": "d._e.(op._s., yfy)",
      "outcome": {
        "type": "error",
        "formal": "domain_error(operator_specifier)"
      }
    },
    {
      "id": 100,
      "query": "'''' = '\\''.",
      "input": "'''' = '\\''.",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 101,
      "query": "a = '\\141\\'.",
      "input": "a = '\\141\\'.",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 102,
      "query": "a = '\\141'.",
      "input": "a = '\\141'.",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 103,
      "query": "X = '\\141\\141'.",
      "input": "X = '\\141\\141'.",
      "readCount": 1,
      "expected": "X = a141",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['X'=a141]"
          }
        ]
      }
    },
    {
      "id": 104,
      "query": "X = '\\9'.",
      "input": "X = '\\9'.",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 105,
      "query": "X = '\\N'.",
      "input": "X = '\\N'.",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 106,
      "query": "X = '\\\\' .",
      "input": "X = '\\\\' .",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 107,
      "query": "X = '\\77777777777\\'.",
      "input": "X = '\\77777777777\\'.",
      "readCount": 1,
      "expected": "syntax/repr. err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 108,
      "query": "a = '\\x61\\'.",
      "input": "a = '\\x61\\'.",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 109,
      "query": "atom_codes('\\xG\\',Cs).",
      "input": "atom_codes('\\xG\\',Cs).",
      "readCount": 1,
      "expected": "syntax err./waits",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 110,
      "query": "atom_codes('\\xG1\\',Cs).",
      "input": "atom_codes('\\xG1\\',Cs).",
      "readCount": 1,
      "expected": "syntax err./waits",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 111,
      "query": "atom(`).",
      "input": "atom(`).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 112,
      "query": "atom(`+).",
      "input": "atom(`+).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 297,
      "query": "atom(`\n`).",
      "input": "atom(`\n`).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 113,
      "query": "X = `a`.",
      "input": "X = `a`.",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 114,
      "query": "integer(0'\\').",
      "input": "integer(0'\\').",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 115,
      "query": "integer(0''').",
      "input": "integer(0''').",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 116,
      "query": "0''' = 0'\\'.",
      "input": "0''' = 0'\\'.",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 117,
      "query": "integer(0'').",
      "input": "integer(0'').",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 195,
      "query": "op(100,xf,'').",
      "input": "op(100,xf,'').",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 205,
      "query": " /**/ (0 '') = ''(X).",
      "input": "(catch((op(100,xf,'')), _, true) -> true ; true).\n  (0 '') = ''(X).",
      "readCount": 2,
      "expected": "X = 0.",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "['X'=0]"
          }
        ]
      }
    },
    {
      "id": 196,
      "query": " /**/ writeq(0 '').",
      "input": "(catch((op(100,xf,'')), _, true) -> true ; true).\n  writeq(0 '').",
      "readCount": 2,
      "expected": "0 '' or 0''",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "0 ''",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 197,
      "query": " /**/ writeq(0'').",
      "input": "(catch((op(100,xf,'')), _, true) -> true ; true).\n  writeq(0'').",
      "readCount": 2,
      "expected": "0 '' or 0''",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "0 ''",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 118,
      "query": "op(100,xfx,'').",
      "input": "op(100,xfx,'').",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 119,
      "query": " /**/ functor(0 ''1, F, A).",
      "input": "(catch((op(100,xfx,'')), _, true) -> true ; true).\n  functor(0 ''1, F, A).",
      "readCount": 2,
      "expected": "F = (''), A = 2.",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "['F'=(''),'A'=2]"
          }
        ]
      }
    },
    {
      "id": 120,
      "query": " /**/ functor(0''1, F, A).",
      "input": "(catch((op(100,xfx,'')), _, true) -> true ; true).\n  functor(0''1, F, A).",
      "readCount": 2,
      "expected": "F = (''), A = 2.",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "['F'=(''),'A'=2]"
          }
        ]
      }
    },
    {
      "id": 206,
      "query": "op(100,xf,f).\nwriteq(0'f').",
      "input": "op(100,xf,f).\nwriteq(0'f').",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 207,
      "query": " /**/ writeq(0'f'f').",
      "input": "(catch((op(100,xf,f)), _, true) -> true ; true).\n  writeq(0'f'f').",
      "readCount": 2,
      "expected": "e.g. 102 f",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "102 f",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 209,
      "query": " /**/ writeq(0'ff).",
      "input": "(catch((op(100,xf,f)), _, true) -> true ; true).\n  writeq(0'ff).",
      "readCount": 2,
      "expected": "102 f",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "102 f",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 256,
      "query": " /**/ writeq(0f).",
      "input": "(catch((op(100,xf,f)), _, true) -> true ; true).\n  writeq(0f).",
      "readCount": 2,
      "expected": "0 f",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "0 f",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 208,
      "query": "op(100,xf,'f ').\nwriteq(0 'f ').",
      "input": "op(100,xf,'f ').\nwriteq(0 'f ').",
      "readCount": 2,
      "expected": "0 'f '",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "0 'f '",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 121,
      "query": "X = 2'1.",
      "input": "X = 2'1.",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 122,
      "query": "op(100,xfx,'1').\nfunctor(2'1'y, F, A).",
      "input": "op(100,xfx,'1').\nfunctor(2'1'y, F, A).",
      "readCount": 2,
      "expected": "F = ('1'), A = 2.",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "['F'=('1'),'A'=2]"
          }
        ]
      }
    },
    {
      "id": 262,
      "query": " /**/ functor(2 '1'y, F, A).",
      "input": "(catch((op(100,xfx,'1')), _, true) -> true ; true).\n  functor(2 '1'y, F, A).",
      "readCount": 2,
      "expected": "F = ('1'), A = 2.",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "['F'=('1'),'A'=2]"
          }
        ]
      }
    },
    {
      "id": 123,
      "query": "X =0'\\x41\\ .",
      "input": "X =0'\\x41\\ .",
      "readCount": 1,
      "expected": "X = 65",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['X'=65]"
          }
        ]
      }
    },
    {
      "id": 124,
      "query": "X =0'\\x41\\.",
      "input": "X =0'\\x41\\.",
      "readCount": 1,
      "expected": "X = 65",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['X'=65]"
          }
        ]
      }
    },
    {
      "id": 125,
      "query": "X =0'\\x1\\.",
      "input": "X =0'\\x1\\.",
      "readCount": 1,
      "expected": "X = 1",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['X'=1]"
          }
        ]
      }
    },
    {
      "id": 339,
      "query": "writeq(0'\\x\\).",
      "input": "writeq(0'\\x\\).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 127,
      "query": "X is 16'mod'2.",
      "input": "X is 16'mod'2.",
      "readCount": 1,
      "expected": "X = 0",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['X'=0]"
          }
        ]
      }
    },
    {
      "id": 128,
      "query": "X is 37'mod'2.",
      "input": "X is 37'mod'2.",
      "readCount": 1,
      "expected": "X = 1",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['X'=1]"
          }
        ]
      }
    },
    {
      "id": 129,
      "query": "X is 0'mod'1.",
      "input": "X is 0'mod'1.",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 130,
      "query": "X is 1'+'1.",
      "input": "X is 1'+'1.",
      "readCount": 1,
      "expected": "X = 2",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['X'=2]"
          }
        ]
      }
    },
    {
      "id": 212,
      "query": "X is 1'\\\n+'1.",
      "input": "X is 1'\\\n+'1.",
      "readCount": 1,
      "expected": "X = 2.",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['X'=2]"
          }
        ]
      }
    },
    {
      "id": 213,
      "query": "X is 0'\\\n+'1.",
      "input": "X is 0'\\\n+'1.",
      "readCount": 1,
      "expected": "X = 1.",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['X'=1]"
          }
        ]
      }
    },
    {
      "id": 259,
      "query": "X = 0'\\\n+'/*'. %*/1.",
      "input": "X = 0'\\\n+'/*'. %*/1.",
      "readCount": 1,
      "expected": "X = 0+1",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['X'=0+1]"
          }
        ]
      }
    },
    {
      "id": 303,
      "query": "X = 0'\\\na.",
      "input": "X = 0'\\\na.",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 214,
      "query": "X is 0'\\",
      "input": "X is 0'\\",
      "readCount": 1,
      "expected": "waits",
      "outcome": {
        "type": "waits"
      }
    },
    {
      "id": 126,
      "query": "X = 0'\\\n.\\",
      "input": "X = 0'\\\n.\\",
      "readCount": 1,
      "expected": "waits",
      "outcome": {
        "type": "waits"
      }
    },
    {
      "id": 131,
      "query": "op(100,fx,' op').",
      "input": "op(100,fx,' op').",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 132,
      "query": " /**/ writeq(' op' '1').",
      "input": "(catch((op(100,fx,' op')), _, true) -> true ; true).\n  writeq(' op' '1').",
      "readCount": 2,
      "expected": "' op' '1'",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "' op' '1'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 133,
      "query": " /**/ writeq(' op'[]).",
      "input": "(catch((op(100,fx,' op')), _, true) -> true ; true).\n  writeq(' op'[]).",
      "readCount": 2,
      "expected": "' op'[]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "' op'[]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 134,
      "query": "op(1,xf,xf1).\nwriteq({- =xf1}).",
      "input": "op(1,xf,xf1).\nwriteq({- =xf1}).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 137,
      "query": "writeq(- (a*b)).",
      "input": "writeq(- (a*b)).",
      "readCount": 1,
      "expected": "- (a*b)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "- (a*b)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 138,
      "query": "writeq(\\ (a*b)).",
      "input": "writeq(\\ (a*b)).",
      "readCount": 1,
      "expected": "\\ (a*b)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "\\ (a*b)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 141,
      "query": "current_op(P,xfy,.).",
      "input": "current_op(P,xfy,.).",
      "readCount": 1,
      "expected": "fails",
      "outcome": {
        "type": "failure"
      }
    },
    {
      "id": 142,
      "query": "op(100,xfy,.).",
      "input": "op(100,xfy,.).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 143,
      "query": " /**/ writeq(1 .2).",
      "input": "(catch((op(100,xfy,.)), _, true) -> true ; true).\n  writeq(1 .2).",
      "readCount": 2,
      "expected": "[1|2]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "[1|2]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 144,
      "query": " /**/ writeq([1]).",
      "input": "(catch((op(100,xfy,.)), _, true) -> true ; true).\n  writeq([1]).",
      "readCount": 2,
      "expected": "[1]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "[1]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 283,
      "query": " /**/ writeq(-[1]).",
      "input": "(catch((op(100,xfy,.)), _, true) -> true ; true).\n  writeq(-[1]).",
      "readCount": 2,
      "expected": "-[1]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "-[1]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 221,
      "query": " /**/ X = 1.e.",
      "input": "(catch((op(100,xfy,.)), _, true) -> true ; true).\n  X = 1.e.",
      "readCount": 2,
      "expected": "X = [1|e].",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "['X'=[1|e]]"
          }
        ]
      }
    },
    {
      "id": 258,
      "query": " /**/ writeq(ok).%\n1 = X.",
      "input": "(catch((op(100,xfy,.)), _, true) -> true ; true).\n  writeq(ok).%\n1 = X.",
      "readCount": 3,
      "expected": "ok X = 1",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "ok",
            "variables": "[]"
          },
          {
            "output": "",
            "variables": "['X'=1]"
          }
        ]
      }
    },
    {
      "id": 145,
      "query": "write_canonical('$VAR'(0)).",
      "input": "write_canonical('$VAR'(0)).",
      "readCount": 1,
      "expected": "'$VAR'(0)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'$VAR'(0)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 146,
      "query": "write_term('$VAR'(0),[]).",
      "input": "write_term('$VAR'(0),[]).",
      "readCount": 1,
      "expected": "$VAR(0)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "$VAR(0)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 244,
      "query": "writeq('$VAR'(0)).",
      "input": "writeq('$VAR'(0)).",
      "readCount": 1,
      "expected": "A",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "A",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 245,
      "query": "writeq('$VAR'(-1)).",
      "input": "writeq('$VAR'(-1)).",
      "readCount": 1,
      "expected": "'$VAR'(-1)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'$VAR'(-1)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 246,
      "query": "writeq('$VAR'(-2)).",
      "input": "writeq('$VAR'(-2)).",
      "readCount": 1,
      "expected": "'$VAR'(-2)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'$VAR'(-2)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 247,
      "query": "writeq('$VAR'(x)).",
      "input": "writeq('$VAR'(x)).",
      "readCount": 1,
      "expected": "'$VAR'(x)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'$VAR'(x)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 289,
      "query": "writeq('$VAR'('A')).",
      "input": "writeq('$VAR'('A')).",
      "readCount": 1,
      "expected": "'$VAR'('A')",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'$VAR'('A')",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 147,
      "query": "op(9,fy,fy),op(9,yf,yf).\nwrite_canonical(fy 1 yf).",
      "input": "op(9,fy,fy),op(9,yf,yf).\nwrite_canonical(fy 1 yf).",
      "readCount": 2,
      "expected": "fy(yf(1))",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "fy(yf(1))",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 148,
      "query": " /**/ write_canonical(fy yf).",
      "input": "(catch((op(9,fy,fy),op(9,yf,yf)), _, true) -> true ; true).\n  write_canonical(fy yf).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 149,
      "query": " /**/ writeq(fy(yf(1))).",
      "input": "(catch((op(9,fy,fy),op(9,yf,yf)), _, true) -> true ; true).\n  writeq(fy(yf(1))).",
      "readCount": 2,
      "expected": "fy 1 yf",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "fy 1 yf",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 150,
      "query": " /**/ writeq(yf(fy(1))).",
      "input": "(catch((op(9,fy,fy),op(9,yf,yf)), _, true) -> true ; true).\n  writeq(yf(fy(1))).",
      "readCount": 2,
      "expected": "(fy 1)yf",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "(fy 1)yf",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 319,
      "query": " /**/ writeq(yf(fy(yf(fy(1))))).",
      "input": "(catch((op(9,fy,fy),op(9,yf,yf)), _, true) -> true ; true).\n  writeq(yf(fy(yf(fy(1))))).",
      "readCount": 2,
      "expected": "(fy (fy 1)yf)yf",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "(fy (fy 1)yf)yf",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 151,
      "query": "op(9,fy,fy),op(9,yfx,yfx).\nwrite_canonical(fy 1 yfx 2).",
      "input": "op(9,fy,fy),op(9,yfx,yfx).\nwrite_canonical(fy 1 yfx 2).",
      "readCount": 2,
      "expected": "fy(yfx(1,2))",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "fy(yfx(1,2))",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 152,
      "query": " /**/ writeq(fy(yfx(1,2))).",
      "input": "(catch((op(9,fy,fy),op(9,yfx,yfx)), _, true) -> true ; true).\n  writeq(fy(yfx(1,2))).",
      "readCount": 2,
      "expected": "fy 1 yfx 2",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "fy 1 yfx 2",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 153,
      "query": " /**/ writeq(yfx(fy(1),2)).",
      "input": "(catch((op(9,fy,fy),op(9,yfx,yfx)), _, true) -> true ; true).\n  writeq(yfx(fy(1),2)).",
      "readCount": 2,
      "expected": "(fy 1)yfx 2",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "(fy 1)yfx 2",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 154,
      "query": "op(9,yf,yf),op(9,xfy,xfy).\nwrite_canonical(1 xfy 2 yf).",
      "input": "op(9,yf,yf),op(9,xfy,xfy).\nwrite_canonical(1 xfy 2 yf).",
      "readCount": 2,
      "expected": "xfy(1,yf(2))",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "xfy(1,yf(2))",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 155,
      "query": " /**/ writeq(xfy(1,yf(2))).",
      "input": "(catch((op(9,yf,yf),op(9,xfy,xfy)), _, true) -> true ; true).\n  writeq(xfy(1,yf(2))).",
      "readCount": 2,
      "expected": "1 xfy 2 yf",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "1 xfy 2 yf",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 156,
      "query": " /**/ writeq(yf(xfy(1,2))).",
      "input": "(catch((op(9,yf,yf),op(9,xfy,xfy)), _, true) -> true ; true).\n  writeq(yf(xfy(1,2))).",
      "readCount": 2,
      "expected": "(1 xfy 2)yf",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "(1 xfy 2)yf",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 157,
      "query": "op(0,xfy,:-).\ncurrent_op(P,xfx,:-).",
      "input": "op(0,xfy,:-).\ncurrent_op(P,xfx,:-).",
      "readCount": 2,
      "expected": "fails",
      "outcome": {
        "type": "failure"
      }
    },
    {
      "id": 158,
      "query": "op(0,xfy,',').",
      "input": "op(0,xfy,',').",
      "readCount": 1,
      "expected": "p._e.(m., o.,',')",
      "outcome": {
        "type": "error",
        "formal": "permission_error(modify, operator)"
      }
    },
    {
      "id": 159,
      "query": "op(9,fy,f),op(9,yf,f).\nwrite_canonical(f f 0).",
      "input": "op(9,fy,f),op(9,yf,f).\nwrite_canonical(f f 0).",
      "readCount": 2,
      "expected": "f(f(0))",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "f(f(0))",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 201,
      "query": " /**/ writeq(f(f(0))).",
      "input": "(catch((op(9,fy,f),op(9,yf,f)), _, true) -> true ; true).\n  writeq(f(f(0))).",
      "readCount": 2,
      "expected": "e.g. f f 0",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "f f 0",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 202,
      "query": " /**/ write_canonical(f 0 f).",
      "input": "(catch((op(9,fy,f),op(9,yf,f)), _, true) -> true ; true).\n  write_canonical(f 0 f).",
      "readCount": 2,
      "expected": "f(f(0))",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "f(f(0))",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 160,
      "query": " /**/ write_canonical(0 f f).",
      "input": "(catch((op(9,fy,f),op(9,yf,f)), _, true) -> true ; true).\n  write_canonical(0 f f).",
      "readCount": 2,
      "expected": "f(f(0))",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "f(f(0))",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 161,
      "query": " /**/ write_canonical(f f).",
      "input": "(catch((op(9,fy,f),op(9,yf,f)), _, true) -> true ; true).\n  write_canonical(f f).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 162,
      "query": "op(9,fy,p),op(9,yfx,p).\nwrite_canonical(1 p p p 2).",
      "input": "op(9,fy,p),op(9,yfx,p).\nwrite_canonical(1 p p p 2).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 163,
      "query": "op(9,fy,p),op(9,xfy,p).\nwrite_canonical(1 p p p 2).",
      "input": "op(9,fy,p),op(9,xfy,p).\nwrite_canonical(1 p p p 2).",
      "readCount": 2,
      "expected": "p(1,p(p(2)))",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "p(1,p(p(2)))",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 164,
      "query": "op(7,fy,p),op(9,yfx,p).\nwrite_canonical(1 p p p 2).",
      "input": "op(7,fy,p),op(9,yfx,p).\nwrite_canonical(1 p p p 2).",
      "readCount": 2,
      "expected": "p(1,p(p(2)))",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "p(1,p(p(2)))",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 165,
      "query": "atom('.''-''.').",
      "input": "atom('.''-''.').",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 166,
      "query": "op(0,xfy,'|').",
      "input": "op(0,xfy,'|').",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 167,
      "query": " /**/ writeq((a|b)).",
      "input": "(catch((op(0,xfy,'|')), _, true) -> true ; true).\n  writeq((a|b)).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 168,
      "query": "op(0,xfy,.),op(9,yf,.).",
      "input": "op(0,xfy,.),op(9,yf,.).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 169,
      "query": " /**/ writeq(.(.)).",
      "input": "(catch((op(0,xfy,.),op(9,yf,.)), _, true) -> true ; true).\n  writeq(.(.)).",
      "readCount": 2,
      "expected": "('.')'.'",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "('.')'.'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 194,
      "query": "op(0,xfy,.),writeq((.)+(.)).",
      "input": "op(0,xfy,.),writeq((.)+(.)).",
      "readCount": 1,
      "expected": "'.'+'.'",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'.'+'.'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 170,
      "query": "set_prolog_flag(\n double_quotes,chars).",
      "input": "set_prolog_flag(\n double_quotes,chars).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 171,
      "query": " /**/ writeq(\"a\").",
      "input": "(catch((set_prolog_flag(\n double_quotes,chars)), _, true) -> true ; true).\n  writeq(\"a\").",
      "readCount": 2,
      "expected": "[a]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "[a]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 229,
      "query": " /**/ writeq(\"\\z\").",
      "input": "(catch((set_prolog_flag(\n double_quotes,chars)), _, true) -> true ; true).\n  writeq(\"\\z\").",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 300,
      "query": " /**/ writeq(\"\\0\\\").",
      "input": "(catch((set_prolog_flag(\n double_quotes,chars)), _, true) -> true ; true).\n  writeq(\"\\0\\\").",
      "readCount": 2,
      "expected": "e.g. ['\\0\\']",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "['\\0\\']",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 172,
      "query": "X is 10.0** -323, writeq(X).",
      "input": "X is 10.0** -323, writeq(X).",
      "readCount": 1,
      "expected": "e.g. 1.0e-323",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "1.0e-323",
            "variables": "['X'=1.0e-323]"
          }
        ]
      }
    },
    {
      "id": 173,
      "query": "1.0e-323=:=10.0** -323.",
      "input": "1.0e-323=:=10.0** -323.",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 174,
      "query": "-1 = -0x1.",
      "input": "-1 = -0x1.",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 175,
      "query": "T = t(0b1,0o1,0x1).",
      "input": "T = t(0b1,0o1,0x1).",
      "readCount": 1,
      "expected": "T = t(1,1,1)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['T'=t(1,1,1)]"
          }
        ]
      }
    },
    {
      "id": 176,
      "query": "X is 0b1mod 2.",
      "input": "X is 0b1mod 2.",
      "readCount": 1,
      "expected": "X = 1",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['X'=1]"
          }
        ]
      }
    },
    {
      "id": 217,
      "query": "op(1105,xfy,'|').",
      "input": "op(1105,xfy,'|').",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 181,
      "query": " /**/ writeq((a-->b,c|d)).",
      "input": "(catch((op(1105,xfy,'|')), _, true) -> true ; true).\n  writeq((a-->b,c|d)).",
      "readCount": 2,
      "expected": "a-->b,c|d",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "a-->b,c|d",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 322,
      "query": " /**/ write_canonical((a|b;c)).",
      "input": "(catch((op(1105,xfy,'|')), _, true) -> true ; true).\n  write_canonical((a|b;c)).",
      "readCount": 2,
      "expected": "'|'(a,;(b,c))",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "'|'(a,;(b,c))",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 323,
      "query": " /**/ write_canonical((a;b|c)).",
      "input": "(catch((op(1105,xfy,'|')), _, true) -> true ; true).\n  write_canonical((a;b|c)).",
      "readCount": 2,
      "expected": "'|'(;(a,b),c)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "'|'(;(a,b),c)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 348,
      "query": " /**/ write_canonical([a;b|c]).",
      "input": "(catch((op(1105,xfy,'|')), _, true) -> true ; true).\n  write_canonical([a;b|c]).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 290,
      "query": " /**/ writeq([(a|b)]).",
      "input": "(catch((op(1105,xfy,'|')), _, true) -> true ; true).\n  writeq([(a|b)]).",
      "readCount": 2,
      "expected": "[(a|b)]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "[(a|b)]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 317,
      "query": " /**/ writeq([a,(b,c)|[]]).",
      "input": "(catch((op(1105,xfy,'|')), _, true) -> true ; true).\n  writeq([a,(b,c)|[]]).",
      "readCount": 2,
      "expected": "[a,(b,c)]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "[a,(b,c)]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 186,
      "query": "X/* /*/=7.",
      "input": "X/* /*/=7.",
      "readCount": 1,
      "expected": "X = 7",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['X'=7]"
          }
        ]
      }
    },
    {
      "id": 187,
      "query": "X/*/*/=7.",
      "input": "X/*/*/=7.",
      "readCount": 1,
      "expected": "X = 7",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['X'=7]"
          }
        ]
      }
    },
    {
      "id": 198,
      "query": "atom($-).",
      "input": "atom($-).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 199,
      "query": "atom(-$).",
      "input": "atom(-$).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 200,
      "query": "op(900, fy, [$]).\nwrite_canonical($a+b).",
      "input": "op(900, fy, [$]).\nwrite_canonical($a+b).",
      "readCount": 2,
      "expected": "$(+(a,b))",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "$(+(a,b))",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 224,
      "query": "\\ .",
      "input": "\\ .",
      "readCount": 1,
      "expected": "ex._e.(..)",
      "outcome": {
        "type": "error",
        "formal": "existence_error(procedure)"
      }
    },
    {
      "id": 225,
      "query": "char_code(C,0), writeq(C).",
      "input": "char_code(C,0), writeq(C).",
      "readCount": 1,
      "expected": "'\\0\\' or rep._e.",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'\\0\\'",
            "variables": "['C'='\\0\\']"
          }
        ]
      }
    },
    {
      "id": 250,
      "query": "writeq('\\0\\').",
      "input": "writeq('\\0\\').",
      "readCount": 1,
      "expected": "rep._e. or '\\0\\'",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'\\0\\'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 226,
      "query": "write_canonical(_+_).",
      "input": "write_canonical(_+_).",
      "readCount": 1,
      "expected": "e.g. +(_1,_2)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "+(_A,_B)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 227,
      "query": "write_canonical(B+B).",
      "input": "write_canonical(B+B).",
      "readCount": 1,
      "expected": "e.g. +(_1,_1)",
      "assertion": "upstream"
    },
    {
      "id": 228,
      "query": "writeq(0'\\z).",
      "input": "writeq(0'\\z).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 230,
      "query": "char_code('\\^',X).",
      "input": "char_code('\\^',X).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 231,
      "query": "writeq(0'\\c).",
      "input": "writeq(0'\\c).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 232,
      "query": "writeq(0'\\ ).",
      "input": "writeq(0'\\ ).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 233,
      "query": "writeq(nop (1)).",
      "input": "writeq(nop (1)).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 234,
      "query": "op(400,fx,f).\nwriteq(f/*.*/(1,2)).",
      "input": "op(400,fx,f).\nwriteq(f/*.*/(1,2)).",
      "readCount": 2,
      "expected": "f (1,2)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "f (1,2)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 235,
      "query": " /**/ writeq(1 = f).",
      "input": "(catch((op(400,fx,f)), _, true) -> true ; true).\n  writeq(1 = f).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 236,
      "query": "write_canonical(a- - -b).",
      "input": "write_canonical(a- - -b).",
      "readCount": 1,
      "expected": "-(a,-(-(b)))",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "-(a,-(-(b)))",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 340,
      "query": "op(699,xf,>.).",
      "input": "op(699,xf,>.).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 341,
      "query": " /**/ writeq(>(>.(a),b)).",
      "input": "(catch((op(699,xf,>.)), _, true) -> true ; true).\n  writeq(>(>.(a),b)).",
      "readCount": 2,
      "expected": "a>. >b",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "a>. >b",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 342,
      "query": " /**/ write_canonical(a>. >b).",
      "input": "(catch((op(699,xf,>.)), _, true) -> true ; true).\n  write_canonical(a>. >b).",
      "readCount": 3,
      "expected": ">(>.(a),b)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": ">(>.(a),b)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 343,
      "query": " /**/ write_canonical(a>. =b).",
      "input": "(catch((op(699,xf,>.)), _, true) -> true ; true).\n  write_canonical(a>. =b).",
      "readCount": 3,
      "expected": "=(>.(a),b)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "=(>.(a),b)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 344,
      "query": " /**/ write_canonical((a>.,b)).",
      "input": "(catch((op(699,xf,>.)), _, true) -> true ; true).\n  write_canonical((a>.,b)).",
      "readCount": 2,
      "expected": "','(>.(a),b)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "','(>.(a),b)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 345,
      "query": " /**/ write_canonical(a>.).",
      "input": "(catch((op(699,xf,>.)), _, true) -> true ; true).\n  write_canonical(a>.).",
      "readCount": 2,
      "expected": ">.(a)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": ">.(a)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 237,
      "query": "op(699,xf,>).",
      "input": "op(699,xf,>).",
      "readCount": 1,
      "expected": "p._e.(c.,op,>)",
      "outcome": {
        "type": "error",
        "formal": "permission_error(create, operator)"
      }
    },
    {
      "id": 238,
      "query": " /**/ writeq(>(>(a),b)).",
      "input": "(catch((op(699,xf,>)), _, true) -> true ; true).\n  writeq(>(>(a),b)).",
      "readCount": 2,
      "expected": ">(a)>b",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": ">(a)>b",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 239,
      "query": " /**/ write_canonical(a> >b).",
      "input": "(catch((op(699,xf,>)), _, true) -> true ; true).\n  write_canonical(a> >b).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 242,
      "query": " /**/ write_canonical(a> =b).",
      "input": "(catch((op(699,xf,>)), _, true) -> true ; true).\n  write_canonical(a> =b).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 243,
      "query": " /**/ write_canonical((a>,b)).",
      "input": "(catch((op(699,xf,>)), _, true) -> true ; true).\n  write_canonical((a>,b)).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 240,
      "query": " /**/ write_canonical(a>).",
      "input": "(catch((op(699,xf,>)), _, true) -> true ; true).\n  write_canonical(a>).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 346,
      "query": " /**/ write_canonical(a>b).",
      "input": "(catch((op(699,xf,>)), _, true) -> true ; true).\n  write_canonical(a>b).",
      "readCount": 2,
      "expected": ">(a,b)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": ">(a,b)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 251,
      "query": "op(9,yfx,[bop,bo,b,op,xor]).\nwriteq(0bop 2).",
      "input": "op(9,yfx,[bop,bo,b,op,xor]).\nwriteq(0bop 2).",
      "readCount": 2,
      "expected": "0 bop 2",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "0 bop 2",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 263,
      "query": " /**/ writeq(0 bop 2).",
      "input": "(catch((op(9,yfx,[bop,bo,b,op,xor])), _, true) -> true ; true).\n  writeq(0 bop 2).",
      "readCount": 2,
      "expected": "0 bop 2",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "0 bop 2",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 252,
      "query": " /**/ writeq(0bo 2).",
      "input": "(catch((op(9,yfx,[bop,bo,b,op,xor])), _, true) -> true ; true).\n  writeq(0bo 2).",
      "readCount": 2,
      "expected": "0 bo 2",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "0 bo 2",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 253,
      "query": " /**/ writeq(0b 2).",
      "input": "(catch((op(9,yfx,[bop,bo,b,op,xor])), _, true) -> true ; true).\n  writeq(0b 2).",
      "readCount": 2,
      "expected": "0 b 2",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "0 b 2",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 254,
      "query": " /**/ writeq(0op 2).",
      "input": "(catch((op(9,yfx,[bop,bo,b,op,xor])), _, true) -> true ; true).\n  writeq(0op 2).",
      "readCount": 2,
      "expected": "0 op 2",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "0 op 2",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 255,
      "query": " /**/ writeq(0xor 2).",
      "input": "(catch((op(9,yfx,[bop,bo,b,op,xor])), _, true) -> true ; true).\n  writeq(0xor 2).",
      "readCount": 2,
      "expected": "0 xor 2",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "0 xor 2",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 264,
      "query": "writeq('^`').",
      "input": "writeq('^`').",
      "readCount": 1,
      "expected": "'^`'",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'^`'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 265,
      "query": "op(9,yf,[b2,o8]).",
      "input": "op(9,yf,[b2,o8]).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 266,
      "query": " /**/ writeq(0b2).",
      "input": "(catch((op(9,yf,[b2,o8])), _, true) -> true ; true).\n  writeq(0b2).",
      "readCount": 2,
      "expected": "0 b2",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "0 b2",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 267,
      "query": " /**/ writeq(0o8).",
      "input": "(catch((op(9,yf,[b2,o8])), _, true) -> true ; true).\n  writeq(0o8).",
      "readCount": 2,
      "expected": "0 o8",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "0 o8",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 268,
      "query": "op(500, xfy, {}).",
      "input": "op(500, xfy, {}).",
      "readCount": 1,
      "expected": "p._e.(c.,o.,{})",
      "outcome": {
        "type": "error",
        "formal": "permission_error(create, operator)"
      }
    },
    {
      "id": 269,
      "query": "writeq('\\b\\r\\f\\t\\n').",
      "input": "writeq('\\b\\r\\f\\t\\n').",
      "readCount": 1,
      "expected": "'\\b\\r\\f\\t\\n'",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'\\b\\r\\f\\t\\n'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 270,
      "query": "get_char(C). %a",
      "input": "get_char(C). %a",
      "readCount": 1,
      "expected": "C = ' '",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['C'=' ']"
          }
        ]
      }
    },
    {
      "id": 271,
      "query": "get_char(C).%a",
      "input": "get_char(C).%a",
      "readCount": 1,
      "expected": "C = '%'",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['C'='%']"
          }
        ]
      }
    },
    {
      "id": 272,
      "query": "writeq(0B1).",
      "input": "writeq(0B1).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 274,
      "query": "op(20,fx,--),writeq(--(a)).",
      "input": "op(20,fx,--),writeq(--(a)).",
      "readCount": 1,
      "expected": "--a",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "--a",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 275,
      "query": " /**/ op(0,fy,--),writeq(--(a)).",
      "input": "(catch((op(20,fx,--),writeq(--(a))), _, true) -> true ; true).\n  op(0,fy,--),writeq(--(a)).",
      "readCount": 2,
      "expected": "--(a)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "--a",
            "variables": "[]"
          },
          {
            "output": "--(a)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 276,
      "query": "writeq(0xamod 2).",
      "input": "writeq(0xamod 2).",
      "readCount": 1,
      "expected": "10 mod 2",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "10 mod 2",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 363,
      "query": "writeq(010).",
      "input": "writeq(010).",
      "readCount": 1,
      "expected": "10",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "10",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 280,
      "query": "writeq(00'+'1).",
      "input": "writeq(00'+'1).",
      "readCount": 1,
      "expected": "0+1",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "0+1",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 281,
      "query": "writeq(00'a).",
      "input": "writeq(00'a).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 284,
      "query": "writeq('\\^J').",
      "input": "writeq('\\^J').",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 291,
      "query": "writeq([(a,b)]).",
      "input": "writeq([(a,b)]).",
      "readCount": 1,
      "expected": "[(a,b)]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "[(a,b)]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 292,
      "query": "writeq(1= \\\\).",
      "input": "writeq(1= \\\\).",
      "readCount": 1,
      "expected": "1= \\\\",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "1= \\\\",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 293,
      "query": "writeq((,)).",
      "input": "writeq((,)).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 294,
      "query": "writeq({[}).",
      "input": "writeq({[}).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 295,
      "query": "writeq({(}).",
      "input": "writeq({(}).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 298,
      "query": "writeq([a,b|c]).",
      "input": "writeq([a,b|c]).",
      "readCount": 1,
      "expected": "[a,b|c]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "[a,b|c]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 299,
      "query": "(\\+ (a,b)) = \\+(T).",
      "input": "(\\+ (a,b)) = \\+(T).",
      "readCount": 1,
      "expected": "T = (a,b)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "['T'=(a,b)]"
          }
        ]
      }
    },
    {
      "id": 302,
      "query": "[] = '[]'.",
      "input": "[] = '[]'.",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 304,
      "query": "op(300,fy,~). writeq(~ (a=b)).",
      "input": "op(300,fy,~). writeq(~ (a=b)).",
      "readCount": 2,
      "expected": "~ (a=b)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "~ (a=b)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 305,
      "query": "writeq(\\ (a=b)).",
      "input": "writeq(\\ (a=b)).",
      "readCount": 1,
      "expected": "\\ (a=b)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "\\ (a=b)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 306,
      "query": "writeq(+ (a=b)).",
      "input": "writeq(+ (a=b)).",
      "readCount": 1,
      "expected": "+ (a=b)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "+ (a=b)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 307,
      "query": "writeq([/*.*/]).",
      "input": "writeq([/*.*/]).",
      "readCount": 1,
      "expected": "[]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "[]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 308,
      "query": "writeq(.+).",
      "input": "writeq(.+).",
      "readCount": 1,
      "expected": ".+",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": ".+",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 309,
      "query": "writeq({a,b}).",
      "input": "writeq({a,b}).",
      "readCount": 1,
      "expected": "{a,b}",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "{a,b}",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 310,
      "query": "writeq({\\+ (}).",
      "input": "writeq({\\+ (}).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 311,
      "query": "writeq(\\+ (()).",
      "input": "writeq(\\+ (()).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 318,
      "query": "writeq(+((1*2)^3)).",
      "input": "writeq(+((1*2)^3)).",
      "readCount": 1,
      "expected": "+ (1*2)^3",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "+ (1*2)^3",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 327,
      "query": "writeq(-((1*2)^3)).",
      "input": "writeq(-((1*2)^3)).",
      "readCount": 1,
      "expected": "- ((1*2)^3)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "- ((1*2)^3)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 320,
      "query": "writeq([a|\\+2]).",
      "input": "writeq([a|\\+2]).",
      "readCount": 1,
      "expected": "[a|\\+2]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "[a|\\+2]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 321,
      "query": "writeq((a)(b)).",
      "input": "writeq((a)(b)).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 324,
      "query": "writeq('%').",
      "input": "writeq('%').",
      "readCount": 1,
      "expected": "'%'",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'%'",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 325,
      "query": "writeq({[y}]).",
      "input": "writeq({[y}]).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 326,
      "query": "(>)(1,2).",
      "input": "(>)(1,2).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 329,
      "query": "write_canonical(;(a)).",
      "input": "write_canonical(;(a)).",
      "readCount": 1,
      "expected": ";(a)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": ";(a)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 330,
      "query": "write_canonical(';'(a)).",
      "input": "write_canonical(';'(a)).",
      "readCount": 1,
      "expected": ";(a)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": ";(a)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 331,
      "query": "write_canonical(;(a,b)).",
      "input": "write_canonical(;(a,b)).",
      "readCount": 1,
      "expected": ";(a,b)",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": ";(a,b)",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 332,
      "query": "writeq(1 is _).",
      "input": "writeq(1 is _).",
      "readCount": 1,
      "expected": "e.g. 1 is _1",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "1 is _A",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 333,
      "query": "op(9,fx,.),writeq(.(' ')).",
      "input": "op(9,fx,.),writeq(.(' ')).",
      "readCount": 1,
      "expected": "'.' ' '",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "'.' ' '",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 334,
      "query": "op(9,yf,.>).",
      "input": "op(9,yf,.>).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 335,
      "query": "/**/ write_canonical(a.> .>).",
      "input": "(catch((op(9,yf,.>)), _, true) -> true ; true).\n write_canonical(a.> .>).",
      "readCount": 2,
      "expected": ".>(.>(a))",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": ".>(.>(a))",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 336,
      "query": "/**/ writeq(((a).>).>).",
      "input": "(catch((op(9,yf,.>)), _, true) -> true ; true).\n writeq(((a).>).>).",
      "readCount": 2,
      "expected": "a.> .>",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          },
          {
            "output": "a.> .>",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 337,
      "query": "writeq([.|1]).",
      "input": "writeq([.|1]).",
      "readCount": 1,
      "expected": "['.'|1]",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "['.'|1]",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 338,
      "query": "writeq(-'-'2).",
      "input": "writeq(-'-'2).",
      "readCount": 1,
      "expected": "- -2",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "- -2",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 347,
      "query": "op(100,fx,',').",
      "input": "op(100,fx,',').",
      "readCount": 1,
      "expected": "p._e.(m., o.,',')",
      "outcome": {
        "type": "error",
        "formal": "permission_error(modify, operator)"
      }
    },
    {
      "id": 349,
      "query": "write_canonical((-,(1))).",
      "input": "write_canonical((-,(1))).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 350,
      "query": "writeq(-[]1).",
      "input": "writeq(-[]1).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 351,
      "query": "writeq(-{}1).",
      "input": "writeq(-{}1).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 352,
      "query": "op(1000,xfx,~>). writeq([a~>b]).",
      "input": "op(1000,xfx,~>). writeq([a~>b]).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 353,
      "query": "op(1000,yfx,~>). writeq([a~>b]).",
      "input": "op(1000,yfx,~>). writeq([a~>b]).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 354,
      "query": "op(1000,xfy,~>). writeq([a~>b]).",
      "input": "op(1000,xfy,~>). writeq([a~>b]).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 356,
      "query": "writeq({|}).",
      "input": "writeq({|}).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 357,
      "query": "writeq(([)).",
      "input": "writeq(([)).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 358,
      "query": "writeq(((>)(1)).",
      "input": "writeq(((>)(1)).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 359,
      "query": "writeq({a:-b}).",
      "input": "writeq({a:-b}).",
      "readCount": 1,
      "expected": "{a:-b}",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "{a:-b}",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 360,
      "query": "op(1105,xfy,'|').\nwriteq((|)).",
      "input": "op(1105,xfy,'|').\nwriteq((|)).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 361,
      "query": "op(0,xfy,'|').\nwriteq((|)).",
      "input": "op(0,xfy,'|').\nwriteq((|)).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 362,
      "query": "writeq(\\(!;!)).",
      "input": "writeq(\\(!;!)).",
      "readCount": 1,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 364,
      "query": "writeq(-0.0).",
      "input": "writeq(-0.0).",
      "readCount": 1,
      "expected": "e.g. 0.0",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "0.0",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 365,
      "query": "op(0,fy,$).",
      "input": "op(0,fy,$).",
      "readCount": 1,
      "expected": "succeeds",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 366,
      "query": "/**/ writeq($ab).",
      "input": "(catch((op(0,fy,$)), _, true) -> true ; true).\n writeq($ab).",
      "readCount": 2,
      "expected": "syntax err.",
      "outcome": {
        "type": "error",
        "formal": "syntax_error(read_term)"
      }
    },
    {
      "id": 367,
      "query": "writeq(0'. ).",
      "input": "writeq(0'. ).",
      "readCount": 1,
      "expected": "46",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "46",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 368,
      "query": "writeq(?).",
      "input": "writeq(?).",
      "readCount": 1,
      "expected": "?",
      "assertion": "upstream",
      "outcome": {
        "type": "success",
        "stages": [
          {
            "output": "?",
            "variables": "[]"
          }
        ]
      }
    },
    {
      "id": 369,
      "query": "writeq(?-).",
      "input": "writeq(?-).",
      "readCount": 1,
      "expected": "?-",
      "assertion": "upstream"
    },
    {
      "id": 370,
      "query": "writeq(./*).",
      "input": "writeq(./*).",
      "readCount": 1,
      "expected": "./*",
      "assertion": "upstream"
    },
    {
      "id": 371,
      "query": "writeq({*}).",
      "input": "writeq({*}).",
      "readCount": 1,
      "expected": "{*}",
      "assertion": "upstream"
    },
    {
      "id": 372,
      "query": "writeq(.*).",
      "input": "writeq(.*).",
      "readCount": 1,
      "expected": ".*",
      "assertion": "upstream"
    },
    {
      "id": 373,
      "query": "writeq(...*).",
      "input": "writeq(...*).",
      "readCount": 1,
      "expected": "...*",
      "assertion": "upstream"
    },
    {
      "id": 374,
      "query": "[.",
      "input": "[.",
      "readCount": 1,
      "expected": "syntax err.",
      "assertion": "upstream"
    },
    {
      "id": 375,
      "query": "{.",
      "input": "{.",
      "readCount": 1,
      "expected": "syntax err.",
      "assertion": "upstream"
    },
    {
      "id": 376,
      "query": "writeq(E).",
      "input": "writeq(E).",
      "readCount": 1,
      "expected": "e.g. _1",
      "assertion": "upstream"
    },
    {
      "id": 377,
      "query": "write_term(., [ignore_ops(true)]).",
      "input": "write_term(., [ignore_ops(true)]).",
      "readCount": 1,
      "expected": ".",
      "assertion": "upstream"
    },
    {
      "id": 380,
      "query": "write_term([' '], [ignore_ops(true)]).",
      "input": "write_term([' '], [ignore_ops(true)]).",
      "readCount": 1,
      "expected": ".( ,[])",
      "assertion": "upstream"
    },
    {
      "id": 378,
      "query": "writeq(--> /2).",
      "input": "writeq(--> /2).",
      "readCount": 1,
      "expected": "syntax err.",
      "assertion": "upstream"
    },
    {
      "id": 379,
      "query": "writeq((-->)/2).",
      "input": "writeq((-->)/2).",
      "readCount": 1,
      "expected": "(-->)/2",
      "assertion": "upstream"
    },
    {
      "id": 381,
      "query": "Finis ().",
      "input": "Finis ().",
      "readCount": 1,
      "expected": "syntax err.",
      "assertion": "upstream"
    }
  ],
  "sourceRevision": "1.300",
  "sourceSha256": "db1edfc48e065b90169be55cd93a2a62b32f9dacb2fd0707667590c1a7536e69"
}