{ "schema": "evalarc.skill-context-tokenization.v1", "conditions": { "relevant": { "serialized_sha256": "68e68729ecc54190c990a9bbd8ed2a691c03229d285161b33d5b84016dfbc5d6", "token_count": 476, "token_ids": [ 4913, 606, 788, 330, 18247, 59172, 2678, 45721, 497, 330, 4684, 788, 330, 19432, 4718, 14, 5370, 43, 73606, 11379, 34383, 323, 12564, 2309, 11, 15435, 11, 16184, 46767, 11, 8866, 11, 34682, 18917, 11, 323, 7402, 83879, 13064, 10465, 330, 1796, 788, 5869, 10294, 12433, 12305, 11379, 1699, 1699, 11066, 279, 3395, 2163, 279, 17221, 14633, 5116, 13, 4457, 1181, 4034, 12731, 26266, 77, 25643, 11, 8866, 6238, 11, 6077, 47216, 11, 323, 2530, 20882, 1573, 24231, 1699, 46592, 32676, 7110, 77, 1699, 12, 7169, 9892, 323, 74057, 1119, 279, 1852, 1879, 21277, 13, 38041, 1699, 220, 17180, 311, 9892, 26, 3796, 8024, 11929, 323, 4982, 5452, 311, 2176, 13, 22603, 4628, 1699, 220, 1283, 14409, 11, 4751, 1091, 65644, 264, 3692, 438, 264, 25621, 7110, 77, 12, 93210, 264, 8866, 594, 6238, 1573, 26943, 311, 25333, 6486, 13, 34006, 33437, 1699, 220, 4034, 5109, 5961, 311, 882, 979, 16878, 48781, 525, 3897, 7110, 77, 12, 8008, 23722, 553, 862, 11464, 47216, 13, 81306, 297, 5176, 26, 1334, 1699, 220, 1973, 11, 2802, 1760, 323, 1537, 2802, 653, 537, 5695, 25986, 2449, 476, 79314, 7110, 77, 12, 3197, 26297, 448, 6783, 37598, 3672, 20927, 11379, 11, 15442, 279, 5785, 1699, 220, 23606, 25156, 518, 1817, 2500, 11441, 13, 5443, 279, 21963, 50078, 4621, 1699, 220, 1465, 11, 1221, 23192, 1172, 279, 23722, 3520, 3042, 7110, 77, 12, 95210, 264, 34682, 16162, 504, 1879, 2608, 11, 18950, 279, 5116, 594, 18131, 5912, 7110, 77, 220, 362, 1590, 4034, 646, 1795, 279, 16162, 553, 264, 11924, 9873, 7110, 77, 12, 13655, 4024, 62024, 304, 279, 1102, 13, 362, 12579, 20882, 4933, 892, 1699, 220, 14633, 572, 1483, 26, 432, 1558, 537, 5695, 429, 279, 14633, 374, 21893, 1699, 220, 13382, 476, 429, 1181, 3150, 374, 37260, 7110, 77, 1699, 2461, 264, 2473, 8129, 11, 2506, 279, 34776, 17991, 8651, 504, 1699, 51602, 21546, 411, 11589, 13, 32818, 279, 8145, 2025, 389, 279, 17221, 3110, 26266, 77, 16169, 1181, 5042, 4718, 83363, 1946, 13, 8259, 7402, 5904, 20975, 323, 1699, 13096, 15089, 1467, 700, 315, 5662, 83218, 2550, 10465, 330, 15247, 17, 20, 21, 788, 330, 22, 24, 15, 17, 19, 17, 64, 23, 24, 17, 7628, 329, 97987, 16, 19, 20, 66, 21, 68, 23, 68, 15, 68, 18, 22, 19, 21, 15, 66, 23, 15, 20, 6902, 2577, 23, 2940, 65, 19, 16, 24, 23, 15, 22, 21, 67, 20, 12508, 19, 19, 64, 19, 15, 16, 67, 21, 21, 497, 330, 34518, 48836, 17, 20, 21, 788, 330, 542, 17, 8316, 18, 21, 66, 15, 17, 1021, 14092, 16, 21, 22, 22, 16, 66, 19, 19, 370, 22, 19, 24, 68, 16, 542, 23, 64, 17, 68, 24, 18, 69, 17, 15, 21, 69, 18, 15, 69, 19, 16, 66, 17, 17, 18, 19, 64, 20, 17, 17, 69, 21, 68, 18, 24, 64, 9207 ] }, "neutral": { "serialized_sha256": "8ea93379dc69ed8ebb8a749cadc13216da39545ae747499ad6521386a67dbce2", "token_count": 476, "token_ids": [ 4913, 606, 788, 330, 18247, 59172, 2678, 45721, 497, 330, 4684, 788, 330, 19432, 4718, 14, 5370, 43, 73606, 11379, 34383, 323, 12564, 2309, 11, 15435, 11, 16184, 46767, 11, 8866, 11, 34682, 18917, 11, 323, 7402, 83879, 13064, 10465, 330, 1796, 788, 5869, 8601, 8388, 1699, 1699, 32, 2613, 37166, 53231, 29388, 264, 3241, 13, 11445, 14396, 3421, 374, 27539, 6176, 13, 576, 3054, 5610, 264, 22360, 10496, 11, 264, 54015, 45766, 11, 323, 264, 27645, 315, 97202, 67682, 13, 41151, 11, 10901, 3271, 29273, 304, 279, 13354, 45285, 13, 362, 42024, 10525, 13352, 3143, 264, 92384, 315, 31620, 19281, 13, 576, 67682, 1473, 95640, 11, 23091, 11, 323, 279, 10018, 7987, 315, 458, 41674, 13551, 13, 576, 1790, 2150, 16555, 279, 2666, 315, 5567, 323, 279, 5112, 315, 11174, 389, 264, 15134, 13, 576, 8388, 525, 52844, 60701, 911, 19119, 6171, 13, 2619, 525, 902, 11221, 369, 8692, 821, 476, 24931, 264, 2025, 1588, 13, 362, 2613, 37166, 53231, 29388, 264, 3241, 13, 11445, 14396, 3421, 374, 27539, 6176, 13, 576, 3054, 5610, 264, 22360, 10496, 11, 264, 54015, 45766, 11, 323, 264, 27645, 315, 97202, 67682, 13, 41151, 11, 10901, 3271, 29273, 304, 279, 13354, 45285, 13, 362, 42024, 10525, 13352, 3143, 264, 92384, 315, 31620, 19281, 13, 576, 67682, 1473, 95640, 11, 23091, 11, 323, 279, 10018, 7987, 315, 458, 41674, 13551, 13, 576, 1790, 2150, 16555, 279, 2666, 315, 5567, 323, 279, 5112, 315, 11174, 389, 264, 15134, 13, 576, 8388, 525, 52844, 60701, 911, 19119, 6171, 13, 2619, 525, 902, 11221, 369, 8692, 821, 476, 24931, 264, 2025, 1588, 13, 362, 2613, 37166, 53231, 29388, 264, 3241, 13, 11445, 14396, 3421, 374, 27539, 6176, 13, 576, 3054, 5610, 264, 22360, 10496, 11, 264, 54015, 45766, 11, 323, 264, 27645, 315, 97202, 67682, 13, 41151, 11, 10901, 3271, 29273, 304, 279, 13354, 45285, 13, 362, 42024, 10525, 13352, 3143, 264, 92384, 315, 31620, 19281, 13, 576, 67682, 1473, 95640, 11, 23091, 11, 323, 279, 10018, 7987, 315, 458, 41674, 13551, 13, 576, 1790, 2150, 16555, 279, 2666, 315, 5567, 323, 10465, 330, 15247, 17, 20, 21, 788, 330, 19, 15, 23, 22, 291, 23, 17, 18, 66, 23, 19, 1999, 22, 18, 17, 17, 19, 66, 21, 22, 23, 15, 23, 19, 16, 21, 69, 23, 23, 21, 16, 15, 22, 20, 67, 19, 64, 15, 24, 69, 23, 16, 24, 6902, 19, 20, 69, 20, 8904, 24, 18, 19, 23, 19, 24, 68, 21, 66, 15, 20, 497, 330, 34518, 48836, 17, 20, 21, 788, 330, 21, 15, 823, 17, 20, 16, 17, 23, 20, 65, 19, 21, 15, 6902, 20, 24, 6902, 15, 16, 17, 22, 64, 24, 8229, 64, 20, 16, 19, 17, 17, 16, 21, 69, 24, 631, 21, 6902, 17, 3235, 15, 24, 22, 16, 16, 15, 66, 21, 6445, 23, 21, 6902, 18, 17, 9207 ] } }, "tokenizer_files": { "tokenizer.json": "aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4", "tokenizer_config.json": "d5d09f07b48c3086c508b30d1c9114bd1189145b74e982a265350c923acd8101", "vocab.json": "ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910", "merges.txt": "8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5" } }