File size: 2,480 Bytes
84f159e
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
{
  "version": "1.0",
  "truncation": {
    "direction": "Right",
    "max_length": 128,
    "strategy": "LongestFirst",
    "stride": 0
  },
  "padding": {
    "strategy": {
      "Fixed": 128
    },
    "direction": "Right",
    "pad_to_multiple_of": null,
    "pad_id": 70,
    "pad_type_id": 0,
    "pad_token": "[PAD]"
  },
  "added_tokens": [
    {
      "id": 0,
      "content": "[UNK]",
      "single_word": false,
      "lstrip": false,
      "rstrip": false,
      "normalized": false,
      "special": true
    },
    {
      "id": 1,
      "content": "<s>",
      "single_word": false,
      "lstrip": false,
      "rstrip": false,
      "normalized": false,
      "special": true
    },
    {
      "id": 2,
      "content": "</s>",
      "single_word": false,
      "lstrip": false,
      "rstrip": false,
      "normalized": false,
      "special": true
    },
    {
      "id": 70,
      "content": "[PAD]",
      "single_word": false,
      "lstrip": false,
      "rstrip": false,
      "normalized": false,
      "special": true
    }
  ],
  "normalizer": null,
  "pre_tokenizer": {
    "type": "Whitespace"
  },
  "post_processor": null,
  "decoder": null,
  "model": {
    "type": "WordLevel",
    "vocab": {
      "[UNK]": 0,
      "<s>": 1,
      "</s>": 2,
      "\"": 3,
      "{{": 4,
      "\":\"": 5,
      ",": 6,
      "}": 7,
      "\":": 8,
      "name": 9,
      "{": 10,
      "\":{": 11,
      "id": 12,
      "ktl": 13,
      "pli": 14,
      "translation": 15,
      "}}": 16,
      "},": 17,
      "}}\",": 18,
      "value": 19,
      "}}\"": 20,
      ":": 21,
      "param0": 22,
      "type0": 23,
      "\":\"{{": 24,
      "PROCEDURE": 25,
      "fun": 26,
      "return": 27,
      "\",": 28,
      "CALL": 29,
      "type": 30,
      "type1": 31,
      "}}()\"": 32,
      "}}({{": 33,
      "}})\"": 34,
      "\":\"{\"": 35,
      "\":\"}\"": 36,
      "(": 37,
      "({{": 38,
      "0": 39,
      "1": 40,
      "10": 41,
      "2": 42,
      "3": 43,
      "4": 44,
      "5": 45,
      "6": 46,
      "7": 47,
      "8": 48,
      "9": 49,
      "<{{": 50,
      "=": 51,
      "ASSIGN": 52,
      "DECLARE": 53,
      "DO": 54,
      "END": 55,
      "IF": 56,
      "MAIN": 57,
      "RETURN": 58,
      "THEN": 59,
      "[": 60,
      "]": 61,
      "args": 62,
      "data": 63,
      "if": 64,
      "main": 65,
      "var": 66,
      "}})": 67,
      "}},{{": 68,
      "}}>)\"": 69
    },
    "unk_token": "[UNK]"
  }
}