{ "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" ] } }