| { | |
| "version": "1.0", | |
| "truncation": null, | |
| "padding": null, | |
| "added_tokens": [ | |
| { | |
| "id": 0, | |
| "content": "<BOSOL>", | |
| "single_word": false, | |
| "lstrip": false, | |
| "rstrip": false, | |
| "normalized": false, | |
| "special": true | |
| }, | |
| { | |
| "id": 1, | |
| "content": "<EOSTEP>", | |
| "single_word": false, | |
| "lstrip": false, | |
| "rstrip": false, | |
| "normalized": false, | |
| "special": true | |
| }, | |
| { | |
| "id": 2, | |
| "content": "<EOSOL>", | |
| "single_word": false, | |
| "lstrip": false, | |
| "rstrip": false, | |
| "normalized": false, | |
| "special": true | |
| } | |
| ], | |
| "normalizer": null, | |
| "pre_tokenizer": { | |
| "type": "Whitespace" | |
| }, | |
| "post_processor": null, | |
| "decoder": null, | |
| "model": { | |
| "type": "BPE", | |
| "dropout": null, | |
| "unk_token": "[UNK]", | |
| "continuing_subword_prefix": null, | |
| "end_of_word_suffix": null, | |
| "fuse_unk": false, | |
| "byte_fallback": false, | |
| "ignore_merges": false, | |
| "vocab": { | |
| "<BOSOL>": 0, | |
| "<EOSTEP>": 1, | |
| "<EOSOL>": 2, | |
| "!": 3, | |
| "'": 4, | |
| "(": 5, | |
| ")": 6, | |
| "+": 7, | |
| ",": 8, | |
| "-": 9, | |
| ".": 10, | |
| "/": 11, | |
| "0": 12, | |
| "1": 13, | |
| "2": 14, | |
| "3": 15, | |
| "4": 16, | |
| "5": 17, | |
| "6": 18, | |
| "7": 19, | |
| "8": 20, | |
| "9": 21, | |
| ":": 22, | |
| "<": 23, | |
| "=": 24, | |
| ">": 25, | |
| "?": 26, | |
| "@": 27, | |
| "B": 28, | |
| "E": 29, | |
| "F": 30, | |
| "L": 31, | |
| "N": 32, | |
| "O": 33, | |
| "P": 34, | |
| "S": 35, | |
| "T": 36, | |
| "U": 37, | |
| "a": 38, | |
| "b": 39, | |
| "c": 40, | |
| "d": 41, | |
| "e": 42, | |
| "f": 43, | |
| "g": 44, | |
| "h": 45, | |
| "i": 46, | |
| "k": 47, | |
| "l": 48, | |
| "m": 49, | |
| "n": 50, | |
| "o": 51, | |
| "p": 52, | |
| "q": 53, | |
| "r": 54, | |
| "s": 55, | |
| "t": 56, | |
| "u": 57, | |
| "v": 58, | |
| "w": 59, | |
| "x": 60, | |
| "y": 61, | |
| "z": 62, | |
| "ti": 63, | |
| "on": 64, | |
| "al": 65, | |
| "le": 66, | |
| "en": 67, | |
| "or": 68, | |
| "mp": 69, | |
| "si": 70, | |
| "ar": 71, | |
| "an": 72, | |
| "<<": 73, | |
| ">>": 74, | |
| "ati": 75, | |
| "ation": 76, | |
| "st": 77, | |
| "co": 78, | |
| "mple": 79, | |
| "in": 80, | |
| "th": 81, | |
| "ge": 82, | |
| "as": 83, | |
| "tu": 84, | |
| "v1": 85, | |
| "gn": 86, | |
| "sign": 87, | |
| "assign": 88, | |
| "de": 89, | |
| "enc": 90, | |
| "pr": 91, | |
| "gu": 92, | |
| "age": 93, | |
| "ru": 94, | |
| "ac": 95, | |
| "tim": 96, | |
| "ce": 97, | |
| "ori": 98, | |
| "pe": 99, | |
| ".<": 100, | |
| "OS": 101, | |
| "we": 102, | |
| "EOS": 103, | |
| "<<<": 104, | |
| ">>>": 105, | |
| "the": 106, | |
| "@<<<": 107, | |
| "EP": 108, | |
| "TEP": 109, | |
| "EOSTEP": 110, | |
| ">>>@": 111, | |
| "re": 112, | |
| "se": 113, | |
| "is": 114, | |
| "qu": 115, | |
| "ing": 116, | |
| "ent": 117, | |
| "ex": 118, | |
| "ip": 119, | |
| "equ": 120, | |
| "be": 121, | |
| "at": 122, | |
| "v2": 123, | |
| "lan": 124, | |
| "guage": 125, | |
| "language": 126, | |
| "am": 127, | |
| "gr": 128, | |
| "ming": 129, | |
| "ogr": 130, | |
| "progr": 131, | |
| "amming": 132, | |
| "programming": 133, | |
| "ment": 134, | |
| "us": 135, | |
| "for": 136, | |
| "to": 137, | |
| "equation": 138, | |
| "ed": 139, | |
| "tice": 140, | |
| "prac": 141, | |
| "practice": 142, | |
| "eed": 143, | |
| "need": 144, | |
| "needle": 145, | |
| "ci": 146, | |
| "fi": 147, | |
| "iz": 148, | |
| "op": 149, | |
| "timiz": 150, | |
| "optimiz": 151, | |
| "optimization": 152, | |
| "ntim": 153, | |
| "runtim": 154, | |
| "runtime": 155, | |
| "mpar": 156, | |
| "compar": 157, | |
| "ison": 158, | |
| "comparison": 159, | |
| "ay": 160, | |
| "hay": 161, | |
| "stac": 162, | |
| "haystac": 163, | |
| "haystack": 164, | |
| "ide": 165, | |
| "guide": 166, | |
| "benc": 167, | |
| "hm": 168, | |
| "ark": 169, | |
| "benchm": 170, | |
| "benchmark": 171, | |
| "imple": 172, | |
| "mentation": 173, | |
| "implementation": 174, | |
| "em": 175, | |
| "mem": 176, | |
| "ory": 177, | |
| "memory": 178, | |
| "usage": 179, | |
| "tori": 180, | |
| "tutori": 181, | |
| "tutorial": 182, | |
| "ef": 183, | |
| "ency": 184, | |
| "ciency": 185, | |
| "ficiency": 186, | |
| "efficiency": 187, | |
| "it": 188, | |
| "xit": 189, | |
| "comple": 190, | |
| "xity": 191, | |
| "complexity": 192, | |
| "ample": 193, | |
| "example": 194, | |
| "gori": 195, | |
| "algori": 196, | |
| "thm": 197, | |
| "algorithm": 198, | |
| "code": 199, | |
| "ysi": 200, | |
| "alysi": 201, | |
| "analysi": 202, | |
| "analysis": 203, | |
| "ch": 204, | |
| "arch": 205, | |
| "search": 206, | |
| "dat": 207, | |
| "data": 208, | |
| "man": 209, | |
| "rfor": 210, | |
| "perfor": 211, | |
| "mance": 212, | |
| "performance": 213, | |
| "ctu": 214, | |
| "stru": 215, | |
| "cture": 216, | |
| "structure": 217, | |
| "nip": 218, | |
| "snip": 219, | |
| "pet": 220, | |
| "snippet": 221, | |
| "best": 222, | |
| "ng": 223, | |
| "no": 224, | |
| "Fr": 225, | |
| "om": 226, | |
| "From": 227, | |
| "es": 228, | |
| "get": 229, | |
| "Su": 230, | |
| "bs": 231, | |
| "kno": 232, | |
| "ues": 233, | |
| "val": 234, | |
| "wn": 235, | |
| "titu": 236, | |
| "ting": 237, | |
| "into": 238, | |
| "Subs": 239, | |
| "known": 240, | |
| "values": 241, | |
| "tituting": 242, | |
| "Substituting": 243, | |
| ">>>@@<<<": 244, | |
| "Th": 245, | |
| "are": 246, | |
| "v0": 247, | |
| "lation": 248, | |
| "lations": 249, | |
| "The": 250, | |
| "v3": 251, | |
| "v4": 252, | |
| "v5": 253, | |
| "10": 254, | |
| "v6": 255, | |
| "v7": 256, | |
| "hip": 257, | |
| "tex": 258, | |
| "and": 259, | |
| "relations": 260, | |
| "hips": 261, | |
| "text": 262, | |
| "relationships": 263, | |
| "ab": 264, | |
| "iab": 265, | |
| "var": 266, | |
| "iable": 267, | |
| "variable": 268, | |
| "v8": 269, | |
| "v9": 270, | |
| "v10": 271, | |
| ".@<<<": 272, | |
| "?@<<<": 273, | |
| "!@<<<": 274, | |
| "v11": 275, | |
| "v12": 276, | |
| "v13": 277, | |
| "of": 278, | |
| "v14": 279, | |
| "OL": 280, | |
| "by": 281, | |
| "con": 282, | |
| "cal": 283, | |
| "ep": 284, | |
| "ly": 285, | |
| "ou": 286, | |
| "you": 287, | |
| "end": 288, | |
| "step": 289, | |
| "This": 290, | |
| "your": 291, | |
| "v15": 292, | |
| "equal": 293, | |
| "v16": 294, | |
| "v17": 295, | |
| "v18": 296, | |
| "v19": 297, | |
| "v20": 298, | |
| "variables": 299, | |
| "v21": 300, | |
| "v22": 301, | |
| "'.": 302, | |
| "'<<<": 303, | |
| "'>>>": 304, | |
| "),": 305, | |
| "BOS": 306, | |
| "Sh": 307, | |
| "Usi": 308, | |
| "ain": 309, | |
| "athe": 310, | |
| "cl": 311, | |
| "cu": 312, | |
| "eo": 313, | |
| "er": 314, | |
| "fin": 315, | |
| "gin": 316, | |
| "hat": 317, | |
| "if": 318, | |
| "lo": 319, | |
| "lt": 320, | |
| "mu": 321, | |
| "mati": 322, | |
| "min": 323, | |
| "mathe": 324, | |
| "ning": 325, | |
| "ow": 326, | |
| "pend": 327, | |
| "swe": 328, | |
| "sent": 329, | |
| "tru": 330, | |
| "twe": 331, | |
| "tain": 332, | |
| "ter": 333, | |
| "ude": 334, | |
| "what": 335, | |
| "tial": 336, | |
| "oning": 337, | |
| "only": 338, | |
| "all": 339, | |
| "ential": 340, | |
| "simu": 341, | |
| "any": 342, | |
| "aneo": 343, | |
| "answe": 344, | |
| "inde": 345, | |
| "then": 346, | |
| "that": 347, | |
| "asoning": 348, | |
| "assignment": 349, | |
| "deter": 350, | |
| "ence": 351, | |
| "enclo": 352, | |
| "EOSOL": 353, | |
| "these": 354, | |
| "reasoning": 355, | |
| "sed": 356, | |
| "sequ": 357, | |
| "begin": 358, | |
| "betwe": 359, | |
| "usly": 360, | |
| "equations": 361, | |
| "not": 362, | |
| "They": 363, | |
| "These": 364, | |
| "concl": 365, | |
| "contain": 366, | |
| "calcu": 367, | |
| "'<<<'": 368, | |
| "'>>>'.": 369, | |
| "BOSOL": 370, | |
| "Show": 371, | |
| "Using": 372, | |
| "final": 373, | |
| "ltaneo": 374, | |
| "matical": 375, | |
| "mine": 376, | |
| "mathematical": 377, | |
| "pendent": 378, | |
| "sentence": 379, | |
| "true": 380, | |
| "simultaneo": 381, | |
| "answer": 382, | |
| "independent": 383, | |
| "assignments": 384, | |
| "determine": 385, | |
| "enclosed": 386, | |
| "sequential": 387, | |
| "beginning": 388, | |
| "between": 389, | |
| "conclude": 390, | |
| "contains": 391, | |
| "calculations": 392, | |
| "simultaneously": 393, | |
| "v23": 394, | |
| "refor": 395, | |
| "Therefor": 396, | |
| "Therefore": 397, | |
| "v24": 398, | |
| "v25": 399, | |
| "v26": 400, | |
| "11": 401, | |
| "v27": 402, | |
| "v28": 403, | |
| "Non": 404, | |
| "None": 405, | |
| "12": 406, | |
| "No": 407, | |
| "mbe": 408, | |
| "nu": 409, | |
| "spe": 410, | |
| "tar": 411, | |
| "tion": 412, | |
| "ques": 413, | |
| "cifi": 414, | |
| "mber": 415, | |
| "number": 416, | |
| "specifi": 417, | |
| "target": 418, | |
| "question": 419, | |
| "specified": 420, | |
| ",@<<<": 421, | |
| "13": 422, | |
| "14": 423, | |
| "15": 424 | |
| }, | |
| "merges": [ | |
| "t i", | |
| "o n", | |
| "a l", | |
| "l e", | |
| "e n", | |
| "o r", | |
| "m p", | |
| "s i", | |
| "a r", | |
| "a n", | |
| "< <", | |
| "> >", | |
| "a ti", | |
| "ati on", | |
| "s t", | |
| "c o", | |
| "mp le", | |
| "i n", | |
| "t h", | |
| "g e", | |
| "a s", | |
| "t u", | |
| "v 1", | |
| "g n", | |
| "si gn", | |
| "as sign", | |
| "d e", | |
| "en c", | |
| "p r", | |
| "g u", | |
| "a ge", | |
| "r u", | |
| "a c", | |
| "ti m", | |
| "c e", | |
| "or i", | |
| "p e", | |
| ". <", | |
| "O S", | |
| "w e", | |
| "E OS", | |
| "<< <", | |
| ">> >", | |
| "th e", | |
| "@ <<<", | |
| "E P", | |
| "T EP", | |
| "EOS TEP", | |
| ">>> @", | |
| "r e", | |
| "s e", | |
| "i s", | |
| "q u", | |
| "in g", | |
| "en t", | |
| "e x", | |
| "i p", | |
| "e qu", | |
| "b e", | |
| "a t", | |
| "v 2", | |
| "l an", | |
| "gu age", | |
| "lan guage", | |
| "a m", | |
| "g r", | |
| "m ing", | |
| "o gr", | |
| "pr ogr", | |
| "am ming", | |
| "progr amming", | |
| "m ent", | |
| "u s", | |
| "f or", | |
| "t o", | |
| "equ ation", | |
| "e d", | |
| "ti ce", | |
| "pr ac", | |
| "prac tice", | |
| "e ed", | |
| "n eed", | |
| "need le", | |
| "c i", | |
| "f i", | |
| "i z", | |
| "o p", | |
| "tim iz", | |
| "op timiz", | |
| "optimiz ation", | |
| "n tim", | |
| "ru ntim", | |
| "runtim e", | |
| "mp ar", | |
| "co mpar", | |
| "is on", | |
| "compar ison", | |
| "a y", | |
| "h ay", | |
| "st ac", | |
| "hay stac", | |
| "haystac k", | |
| "i de", | |
| "gu ide", | |
| "b enc", | |
| "h m", | |
| "ar k", | |
| "benc hm", | |
| "benchm ark", | |
| "i mple", | |
| "ment ation", | |
| "imple mentation", | |
| "e m", | |
| "m em", | |
| "or y", | |
| "mem ory", | |
| "us age", | |
| "t ori", | |
| "tu tori", | |
| "tutori al", | |
| "e f", | |
| "enc y", | |
| "ci ency", | |
| "fi ciency", | |
| "ef ficiency", | |
| "i t", | |
| "x it", | |
| "co mple", | |
| "xit y", | |
| "comple xity", | |
| "a mple", | |
| "ex ample", | |
| "g ori", | |
| "al gori", | |
| "th m", | |
| "algori thm", | |
| "co de", | |
| "y si", | |
| "al ysi", | |
| "an alysi", | |
| "analysi s", | |
| "c h", | |
| "ar ch", | |
| "se arch", | |
| "d at", | |
| "dat a", | |
| "m an", | |
| "r for", | |
| "pe rfor", | |
| "man ce", | |
| "perfor mance", | |
| "c tu", | |
| "st ru", | |
| "ctu re", | |
| "stru cture", | |
| "n ip", | |
| "s nip", | |
| "pe t", | |
| "snip pet", | |
| "be st", | |
| "n g", | |
| "n o", | |
| "F r", | |
| "o m", | |
| "Fr om", | |
| "e s", | |
| "ge t", | |
| "S u", | |
| "b s", | |
| "k no", | |
| "u es", | |
| "v al", | |
| "w n", | |
| "ti tu", | |
| "ti ng", | |
| "in to", | |
| "Su bs", | |
| "kno wn", | |
| "val ues", | |
| "titu ting", | |
| "Subs tituting", | |
| ">>>@ @<<<", | |
| "T h", | |
| "ar e", | |
| "v 0", | |
| "l ation", | |
| "lation s", | |
| "Th e", | |
| "v 3", | |
| "v 4", | |
| "v 5", | |
| "1 0", | |
| "v 6", | |
| "v 7", | |
| "h ip", | |
| "t ex", | |
| "an d", | |
| "re lations", | |
| "hip s", | |
| "tex t", | |
| "relations hips", | |
| "a b", | |
| "i ab", | |
| "v ar", | |
| "iab le", | |
| "var iable", | |
| "v 8", | |
| "v 9", | |
| "v1 0", | |
| ". @<<<", | |
| "? @<<<", | |
| "! @<<<", | |
| "v1 1", | |
| "v1 2", | |
| "v1 3", | |
| "o f", | |
| "v1 4", | |
| "O L", | |
| "b y", | |
| "c on", | |
| "c al", | |
| "e p", | |
| "l y", | |
| "o u", | |
| "y ou", | |
| "en d", | |
| "st ep", | |
| "Th is", | |
| "you r", | |
| "v1 5", | |
| "equ al", | |
| "v1 6", | |
| "v1 7", | |
| "v1 8", | |
| "v1 9", | |
| "v2 0", | |
| "variable s", | |
| "v2 1", | |
| "v2 2", | |
| "' .", | |
| "' <<<", | |
| "' >>>", | |
| ") ,", | |
| "B OS", | |
| "S h", | |
| "U si", | |
| "a in", | |
| "a the", | |
| "c l", | |
| "c u", | |
| "e o", | |
| "e r", | |
| "f in", | |
| "g in", | |
| "h at", | |
| "i f", | |
| "l o", | |
| "l t", | |
| "m u", | |
| "m ati", | |
| "m in", | |
| "m athe", | |
| "n ing", | |
| "o w", | |
| "p end", | |
| "s we", | |
| "s ent", | |
| "t ru", | |
| "t we", | |
| "t ain", | |
| "t er", | |
| "u de", | |
| "w hat", | |
| "ti al", | |
| "on ing", | |
| "on ly", | |
| "al l", | |
| "en tial", | |
| "si mu", | |
| "an y", | |
| "an eo", | |
| "an swe", | |
| "in de", | |
| "th en", | |
| "th at", | |
| "as oning", | |
| "assign ment", | |
| "de ter", | |
| "enc e", | |
| "enc lo", | |
| "EOS OL", | |
| "the se", | |
| "re asoning", | |
| "se d", | |
| "se qu", | |
| "be gin", | |
| "be twe", | |
| "us ly", | |
| "equation s", | |
| "no t", | |
| "The y", | |
| "The se", | |
| "con cl", | |
| "con tain", | |
| "cal cu", | |
| "'<<< '", | |
| "'>>> '.", | |
| "BOS OL", | |
| "Sh ow", | |
| "Usi ng", | |
| "fin al", | |
| "lt aneo", | |
| "mati cal", | |
| "min e", | |
| "mathe matical", | |
| "pend ent", | |
| "sent ence", | |
| "tru e", | |
| "simu ltaneo", | |
| "answe r", | |
| "inde pendent", | |
| "assignment s", | |
| "deter mine", | |
| "enclo sed", | |
| "sequ ential", | |
| "begin ning", | |
| "betwe en", | |
| "concl ude", | |
| "contain s", | |
| "calcu lations", | |
| "simultaneo usly", | |
| "v2 3", | |
| "re for", | |
| "The refor", | |
| "Therefor e", | |
| "v2 4", | |
| "v2 5", | |
| "v2 6", | |
| "1 1", | |
| "v2 7", | |
| "v2 8", | |
| "N on", | |
| "Non e", | |
| "1 2", | |
| "N o", | |
| "m be", | |
| "n u", | |
| "s pe", | |
| "t ar", | |
| "ti on", | |
| "qu es", | |
| "ci fi", | |
| "mbe r", | |
| "nu mber", | |
| "spe cifi", | |
| "tar get", | |
| "ques tion", | |
| "specifi ed", | |
| ", @<<<", | |
| "1 3", | |
| "1 4", | |
| "1 5" | |
| ] | |
| } | |
| } |