{ "axis_rows": { "axis1_general": 3057, "axis2_legal": 3057, "axis3_code_agentic": 3057, "axis4_reasoning_termination": 3057 }, "calibration_baseline": true, "capture_bytes": 968741589600, "capture_fingerprint": "2efd10279b8c953e3e46a469d9ec9970593795859c7a2cebc98c9ea707115b51", "capture_tp": 8, "corpus_rows": 12228, "corpus_sha256": "cf247acc7c5da9f0600c7d6ab3b7c2fcfc54ec30b794e3b6047559285fa44df4", "max_sample_tokens": 4096, "min_sample_tokens": 8, "output_tp": 4, "owner_corpus_only": true, "passes": [ { "axis": "axis1_general", "name": "axis1_general", "quota_tokens": 294422, "samples": [ { "line": 9991, "ntok": 3586 }, { "line": 9910, "ntok": 1089 }, { "line": 8366, "ntok": 3735 }, { "line": 4065, "ntok": 91 }, { "line": 11377, "ntok": 573 }, { "line": 6702, "ntok": 1437 }, { "line": 11862, "ntok": 2486 }, { "line": 11828, "ntok": 1856 }, { "line": 11804, "ntok": 2760 }, { "line": 4524, "ntok": 361 }, { "line": 4920, "ntok": 4096 }, { "line": 3984, "ntok": 1362 }, { "line": 130, "ntok": 3188 }, { "line": 694, "ntok": 357 }, { "line": 476, "ntok": 851 }, { "line": 585, "ntok": 101 }, { "line": 4935, "ntok": 1748 }, { "line": 8118, "ntok": 1620 }, { "line": 5294, "ntok": 3397 }, { "line": 94, "ntok": 108 }, { "line": 6806, "ntok": 1080 }, { "line": 629, "ntok": 201 }, { "line": 7410, "ntok": 332 }, { "line": 3032, "ntok": 1696 }, { "line": 11805, "ntok": 381 }, { "line": 146, "ntok": 242 }, { "line": 6300, "ntok": 449 }, { "line": 8029, "ntok": 561 }, { "line": 7228, "ntok": 687 }, { "line": 3433, "ntok": 350 }, { "line": 9733, "ntok": 1557 }, { "line": 2759, "ntok": 2586 }, { "line": 10619, "ntok": 93 }, { "line": 7145, "ntok": 878 }, { "line": 3400, "ntok": 1618 }, { "line": 3064, "ntok": 113 }, { "line": 291, "ntok": 537 }, { "line": 9493, "ntok": 301 }, { "line": 1656, "ntok": 1200 }, { "line": 4365, "ntok": 1093 }, { "line": 8532, "ntok": 2185 }, { "line": 11307, "ntok": 2045 }, { "line": 8397, "ntok": 697 }, { "line": 9420, "ntok": 2567 }, { "line": 852, "ntok": 350 }, { "line": 10659, "ntok": 676 }, { "line": 11824, "ntok": 660 }, { "line": 2876, "ntok": 1017 }, { "line": 5185, "ntok": 1555 }, { "line": 3335, "ntok": 3385 }, { "line": 3895, "ntok": 203 }, { "line": 3833, "ntok": 2025 }, { "line": 2017, "ntok": 399 }, { "line": 5162, "ntok": 399 }, { "line": 6399, "ntok": 2836 }, { "line": 4106, "ntok": 561 }, { "line": 8671, "ntok": 513 }, { "line": 7979, "ntok": 665 }, { "line": 11213, "ntok": 1119 }, { "line": 8215, "ntok": 579 }, { "line": 9168, "ntok": 3094 }, { "line": 11797, "ntok": 4096 }, { "line": 6427, "ntok": 142 }, { "line": 984, "ntok": 2237 }, { "line": 12167, "ntok": 503 }, { "line": 639, "ntok": 601 }, { "line": 12213, "ntok": 544 }, { "line": 11304, "ntok": 4096 }, { "line": 2882, "ntok": 965 }, { "line": 1314, "ntok": 245 }, { "line": 7046, "ntok": 531 }, { "line": 3304, "ntok": 400 }, { "line": 11054, "ntok": 295 }, { "line": 11331, "ntok": 445 }, { "line": 2774, "ntok": 732 }, { "line": 11436, "ntok": 674 }, { "line": 10540, "ntok": 3925 }, { "line": 213, "ntok": 76 }, { "line": 6909, "ntok": 471 }, { "line": 8845, "ntok": 446 }, { "line": 2797, "ntok": 78 }, { "line": 6022, "ntok": 865 }, { "line": 285, "ntok": 1535 }, { "line": 11258, "ntok": 401 }, { "line": 11482, "ntok": 75 }, { "line": 8718, "ntok": 3203 }, { "line": 5700, "ntok": 77 }, { "line": 11682, "ntok": 1330 }, { "line": 5009, "ntok": 385 }, { "line": 7915, "ntok": 999 }, { "line": 11242, "ntok": 4096 }, { "line": 9645, "ntok": 54 }, { "line": 6912, "ntok": 509 }, { "line": 11983, "ntok": 375 }, { "line": 8170, "ntok": 1356 }, { "line": 7455, "ntok": 351 }, { "line": 2833, "ntok": 671 }, { "line": 10546, "ntok": 3899 }, { "line": 1995, "ntok": 598 }, { "line": 2954, "ntok": 296 }, { "line": 1407, "ntok": 3818 }, { "line": 8399, "ntok": 3606 }, { "line": 8708, "ntok": 775 }, { "line": 8717, "ntok": 1068 }, { "line": 7008, "ntok": 1122 }, { "line": 4252, "ntok": 3550 }, { "line": 6538, "ntok": 3397 }, { "line": 8846, "ntok": 77 }, { "line": 1475, "ntok": 1356 }, { "line": 2909, "ntok": 325 }, { "line": 2795, "ntok": 30 }, { "line": 9333, "ntok": 214 }, { "line": 5033, "ntok": 1771 }, { "line": 6514, "ntok": 1589 }, { "line": 9508, "ntok": 110 }, { "line": 3172, "ntok": 1489 }, { "line": 2490, "ntok": 1533 }, { "line": 2002, "ntok": 151 }, { "line": 419, "ntok": 163 }, { "line": 6967, "ntok": 886 }, { "line": 4041, "ntok": 213 }, { "line": 7487, "ntok": 560 }, { "line": 9795, "ntok": 108 }, { "line": 10808, "ntok": 818 }, { "line": 3501, "ntok": 2185 }, { "line": 207, "ntok": 2345 }, { "line": 3722, "ntok": 1141 }, { "line": 10924, "ntok": 1025 }, { "line": 4084, "ntok": 69 }, { "line": 6171, "ntok": 781 }, { "line": 511, "ntok": 153 }, { "line": 781, "ntok": 451 }, { "line": 8369, "ntok": 867 }, { "line": 8697, "ntok": 320 }, { "line": 7059, "ntok": 67 }, { "line": 9898, "ntok": 106 }, { "line": 8032, "ntok": 63 }, { "line": 5325, "ntok": 1793 }, { "line": 7189, "ntok": 144 }, { "line": 3316, "ntok": 641 }, { "line": 1533, "ntok": 1118 }, { "line": 8844, "ntok": 147 }, { "line": 717, "ntok": 761 }, { "line": 3521, "ntok": 1396 }, { "line": 9661, "ntok": 4090 }, { "line": 475, "ntok": 134 }, { "line": 10397, "ntok": 811 }, { "line": 6360, "ntok": 312 }, { "line": 1188, "ntok": 3042 }, { "line": 6173, "ntok": 80 }, { "line": 2028, "ntok": 155 }, { "line": 3319, "ntok": 481 }, { "line": 10179, "ntok": 429 }, { "line": 8982, "ntok": 393 }, { "line": 5857, "ntok": 4096 }, { "line": 8203, "ntok": 956 }, { "line": 9949, "ntok": 314 }, { "line": 8985, "ntok": 3591 }, { "line": 10506, "ntok": 88 }, { "line": 4942, "ntok": 1630 }, { "line": 11403, "ntok": 708 }, { "line": 9062, "ntok": 280 }, { "line": 10392, "ntok": 93 }, { "line": 6996, "ntok": 1063 }, { "line": 9304, "ntok": 3290 }, { "line": 8368, "ntok": 3292 }, { "line": 312, "ntok": 585 }, { "line": 10502, "ntok": 2369 }, { "line": 1721, "ntok": 2227 }, { "line": 9135, "ntok": 72 }, { "line": 6330, "ntok": 880 }, { "line": 10022, "ntok": 902 }, { "line": 5269, "ntok": 454 }, { "line": 1264, "ntok": 441 }, { "line": 10154, "ntok": 2528 }, { "line": 4638, "ntok": 205 }, { "line": 4806, "ntok": 1009 }, { "line": 7529, "ntok": 668 }, { "line": 3283, "ntok": 199 }, { "line": 2480, "ntok": 431 }, { "line": 9768, "ntok": 256 }, { "line": 5310, "ntok": 156 }, { "line": 5816, "ntok": 2590 }, { "line": 8688, "ntok": 4096 }, { "line": 8359, "ntok": 275 }, { "line": 8319, "ntok": 874 }, { "line": 8437, "ntok": 362 }, { "line": 6247, "ntok": 153 }, { "line": 11172, "ntok": 740 }, { "line": 10634, "ntok": 442 }, { "line": 11674, "ntok": 2003 }, { "line": 4606, "ntok": 423 }, { "line": 4092, "ntok": 1036 }, { "line": 1989, "ntok": 552 }, { "line": 11934, "ntok": 3021 }, { "line": 6682, "ntok": 3519 }, { "line": 4354, "ntok": 470 }, { "line": 1806, "ntok": 504 }, { "line": 6880, "ntok": 317 }, { "line": 3600, "ntok": 236 }, { "line": 4306, "ntok": 1989 }, { "line": 10730, "ntok": 163 }, { "line": 11523, "ntok": 758 }, { "line": 3632, "ntok": 3730 }, { "line": 4172, "ntok": 3350 }, { "line": 911, "ntok": 2540 }, { "line": 7666, "ntok": 2185 }, { "line": 6254, "ntok": 2447 }, { "line": 12124, "ntok": 678 }, { "line": 8188, "ntok": 363 }, { "line": 4804, "ntok": 85 }, { "line": 8371, "ntok": 1954 }, { "line": 9479, "ntok": 216 }, { "line": 3752, "ntok": 81 }, { "line": 11774, "ntok": 707 }, { "line": 7559, "ntok": 3799 }, { "line": 1924, "ntok": 3302 }, { "line": 11013, "ntok": 589 }, { "line": 5606, "ntok": 518 }, { "line": 3318, "ntok": 3789 }, { "line": 909, "ntok": 363 }, { "line": 12062, "ntok": 298 }, { "line": 403, "ntok": 425 }, { "line": 4011, "ntok": 105 }, { "line": 8827, "ntok": 790 }, { "line": 2385, "ntok": 264 }, { "line": 8898, "ntok": 82 }, { "line": 2692, "ntok": 468 }, { "line": 12123, "ntok": 404 }, { "line": 4704, "ntok": 269 }, { "line": 10867, "ntok": 4096 }, { "line": 11782, "ntok": 1186 }, { "line": 872, "ntok": 4096 }, { "line": 7966, "ntok": 4096 }, { "line": 6316, "ntok": 230 }, { "line": 11128, "ntok": 381 }, { "line": 6513, "ntok": 86 }, { "line": 4985, "ntok": 924 }, { "line": 5562, "ntok": 4096 }, { "line": 4548, "ntok": 3081 }, { "line": 4787, "ntok": 86 }, { "line": 8024, "ntok": 874 }, { "line": 7452, "ntok": 89 }, { "line": 5756, "ntok": 448 }, { "line": 2733, "ntok": 132 }, { "line": 5598, "ntok": 3512 }, { "line": 4096, "ntok": 1177 } ], "tokens": 294790 }, { "axis": "axis2_legal", "name": "axis2_legal", "quota_tokens": 294422, "samples": [ { "line": 9412, "ntok": 127 }, { "line": 3674, "ntok": 323 }, { "line": 7266, "ntok": 646 }, { "line": 7081, "ntok": 113 }, { "line": 421, "ntok": 601 }, { "line": 12179, "ntok": 15 }, { "line": 1234, "ntok": 601 }, { "line": 5442, "ntok": 98 }, { "line": 6085, "ntok": 589 }, { "line": 7232, "ntok": 648 }, { "line": 3993, "ntok": 644 }, { "line": 6761, "ntok": 375 }, { "line": 10155, "ntok": 484 }, { "line": 169, "ntok": 415 }, { "line": 6080, "ntok": 47 }, { "line": 1629, "ntok": 140 }, { "line": 3572, "ntok": 113 }, { "line": 1812, "ntok": 550 }, { "line": 6978, "ntok": 249 }, { "line": 11886, "ntok": 750 }, { "line": 10220, "ntok": 385 }, { "line": 3949, "ntok": 269 }, { "line": 8352, "ntok": 378 }, { "line": 11094, "ntok": 214 }, { "line": 2785, "ntok": 776 }, { "line": 11084, "ntok": 21 }, { "line": 11963, "ntok": 159 }, { "line": 2364, "ntok": 78 }, { "line": 9409, "ntok": 477 }, { "line": 9688, "ntok": 28 }, { "line": 10562, "ntok": 76 }, { "line": 7385, "ntok": 342 }, { "line": 11912, "ntok": 167 }, { "line": 11485, "ntok": 597 }, { "line": 4596, "ntok": 409 }, { "line": 10623, "ntok": 301 }, { "line": 6183, "ntok": 54 }, { "line": 10120, "ntok": 161 }, { "line": 11270, "ntok": 724 }, { "line": 4039, "ntok": 30 }, { "line": 2258, "ntok": 349 }, { "line": 10099, "ntok": 498 }, { "line": 7516, "ntok": 394 }, { "line": 3391, "ntok": 352 }, { "line": 34, "ntok": 23 }, { "line": 916, "ntok": 629 }, { "line": 10437, "ntok": 435 }, { "line": 2610, "ntok": 167 }, { "line": 3759, "ntok": 640 }, { "line": 5225, "ntok": 593 }, { "line": 9832, "ntok": 368 }, { "line": 6009, "ntok": 407 }, { "line": 3877, "ntok": 712 }, { "line": 10875, "ntok": 400 }, { "line": 3925, "ntok": 632 }, { "line": 10674, "ntok": 304 }, { "line": 11220, "ntok": 664 }, { "line": 11398, "ntok": 508 }, { "line": 11300, "ntok": 189 }, { "line": 8644, "ntok": 466 }, { "line": 7603, "ntok": 116 }, { "line": 1518, "ntok": 405 }, { "line": 1655, "ntok": 288 }, { "line": 9061, "ntok": 56 }, { "line": 5989, "ntok": 623 }, { "line": 6362, "ntok": 431 }, { "line": 12079, "ntok": 66 }, { "line": 12001, "ntok": 438 }, { "line": 4666, "ntok": 636 }, { "line": 12059, "ntok": 545 }, { "line": 9869, "ntok": 619 }, { "line": 7218, "ntok": 50 }, { "line": 272, "ntok": 31 }, { "line": 9830, "ntok": 455 }, { "line": 6496, "ntok": 506 }, { "line": 1883, "ntok": 672 }, { "line": 4377, "ntok": 25 }, { "line": 11148, "ntok": 745 }, { "line": 2531, "ntok": 588 }, { "line": 7759, "ntok": 667 }, { "line": 3587, "ntok": 335 }, { "line": 828, "ntok": 47 }, { "line": 10460, "ntok": 707 }, { "line": 9756, "ntok": 354 }, { "line": 8701, "ntok": 700 }, { "line": 3701, "ntok": 628 }, { "line": 8743, "ntok": 94 }, { "line": 2450, "ntok": 351 }, { "line": 11991, "ntok": 621 }, { "line": 7337, "ntok": 488 }, { "line": 4651, "ntok": 487 }, { "line": 7635, "ntok": 195 }, { "line": 9374, "ntok": 60 }, { "line": 1013, "ntok": 679 }, { "line": 2923, "ntok": 222 }, { "line": 9897, "ntok": 81 }, { "line": 11716, "ntok": 19 }, { "line": 3485, "ntok": 708 }, { "line": 298, "ntok": 162 }, { "line": 6529, "ntok": 601 }, { "line": 7200, "ntok": 654 }, { "line": 8431, "ntok": 741 }, { "line": 3986, "ntok": 602 }, { "line": 2049, "ntok": 499 }, { "line": 6908, "ntok": 20 }, { "line": 3656, "ntok": 84 }, { "line": 7364, "ntok": 366 }, { "line": 257, "ntok": 719 }, { "line": 5490, "ntok": 26 }, { "line": 228, "ntok": 629 }, { "line": 4398, "ntok": 612 }, { "line": 159, "ntok": 498 }, { "line": 12174, "ntok": 28 }, { "line": 2051, "ntok": 67 }, { "line": 8734, "ntok": 404 }, { "line": 2996, "ntok": 118 }, { "line": 11066, "ntok": 262 }, { "line": 11875, "ntok": 100 }, { "line": 3393, "ntok": 373 }, { "line": 5073, "ntok": 410 }, { "line": 7044, "ntok": 611 }, { "line": 978, "ntok": 428 }, { "line": 2560, "ntok": 634 }, { "line": 1808, "ntok": 329 }, { "line": 7237, "ntok": 203 }, { "line": 523, "ntok": 25 }, { "line": 467, "ntok": 367 }, { "line": 3182, "ntok": 378 }, { "line": 2955, "ntok": 336 }, { "line": 5049, "ntok": 809 }, { "line": 3199, "ntok": 629 }, { "line": 1113, "ntok": 246 }, { "line": 160, "ntok": 141 }, { "line": 5043, "ntok": 72 }, { "line": 3662, "ntok": 626 }, { "line": 7657, "ntok": 618 }, { "line": 8052, "ntok": 690 }, { "line": 11506, "ntok": 680 }, { "line": 6450, "ntok": 414 }, { "line": 973, "ntok": 502 }, { "line": 11312, "ntok": 147 }, { "line": 3197, "ntok": 62 }, { "line": 202, "ntok": 98 }, { "line": 5757, "ntok": 652 }, { "line": 5420, "ntok": 24 }, { "line": 135, "ntok": 706 }, { "line": 9385, "ntok": 641 }, { "line": 4286, "ntok": 42 }, { "line": 746, "ntok": 223 }, { "line": 5070, "ntok": 423 }, { "line": 5173, "ntok": 327 }, { "line": 1589, "ntok": 188 }, { "line": 5429, "ntok": 686 }, { "line": 4514, "ntok": 332 }, { "line": 10664, "ntok": 116 }, { "line": 607, "ntok": 533 }, { "line": 10372, "ntok": 106 }, { "line": 1702, "ntok": 248 }, { "line": 2300, "ntok": 528 }, { "line": 7034, "ntok": 141 }, { "line": 12099, "ntok": 716 }, { "line": 834, "ntok": 668 }, { "line": 1607, "ntok": 175 }, { "line": 2771, "ntok": 478 }, { "line": 5309, "ntok": 22 }, { "line": 10735, "ntok": 629 }, { "line": 4700, "ntok": 100 }, { "line": 3004, "ntok": 95 }, { "line": 3021, "ntok": 762 }, { "line": 3187, "ntok": 39 }, { "line": 5205, "ntok": 540 }, { "line": 1521, "ntok": 540 }, { "line": 6149, "ntok": 616 }, { "line": 10362, "ntok": 55 }, { "line": 179, "ntok": 453 }, { "line": 3516, "ntok": 440 }, { "line": 11787, "ntok": 573 }, { "line": 578, "ntok": 396 }, { "line": 5052, "ntok": 648 }, { "line": 9014, "ntok": 27 }, { "line": 4589, "ntok": 416 }, { "line": 863, "ntok": 612 }, { "line": 5362, "ntok": 377 }, { "line": 5723, "ntok": 46 }, { "line": 5941, "ntok": 412 }, { "line": 11354, "ntok": 77 }, { "line": 5323, "ntok": 601 }, { "line": 9275, "ntok": 61 }, { "line": 7319, "ntok": 298 }, { "line": 2945, "ntok": 225 }, { "line": 10128, "ntok": 119 }, { "line": 9584, "ntok": 17 }, { "line": 1419, "ntok": 380 }, { "line": 8221, "ntok": 15 }, { "line": 8616, "ntok": 536 }, { "line": 10209, "ntok": 340 }, { "line": 3565, "ntok": 559 }, { "line": 398, "ntok": 405 }, { "line": 7311, "ntok": 23 }, { "line": 10333, "ntok": 137 }, { "line": 3370, "ntok": 549 }, { "line": 10261, "ntok": 547 }, { "line": 8308, "ntok": 282 }, { "line": 2467, "ntok": 342 }, { "line": 2266, "ntok": 691 }, { "line": 3442, "ntok": 16 }, { "line": 5110, "ntok": 740 }, { "line": 8882, "ntok": 352 }, { "line": 429, "ntok": 627 }, { "line": 11395, "ntok": 338 }, { "line": 265, "ntok": 222 }, { "line": 6485, "ntok": 578 }, { "line": 4371, "ntok": 402 }, { "line": 1595, "ntok": 31 }, { "line": 2416, "ntok": 352 }, { "line": 129, "ntok": 661 }, { "line": 5533, "ntok": 598 }, { "line": 2122, "ntok": 22 }, { "line": 4249, "ntok": 389 }, { "line": 6802, "ntok": 324 }, { "line": 167, "ntok": 110 }, { "line": 1095, "ntok": 596 }, { "line": 8496, "ntok": 78 }, { "line": 6127, "ntok": 631 }, { "line": 10679, "ntok": 676 }, { "line": 5622, "ntok": 117 }, { "line": 4871, "ntok": 727 }, { "line": 5599, "ntok": 30 }, { "line": 2515, "ntok": 272 }, { "line": 9754, "ntok": 699 }, { "line": 9200, "ntok": 718 }, { "line": 1771, "ntok": 326 }, { "line": 1338, "ntok": 157 }, { "line": 820, "ntok": 224 }, { "line": 917, "ntok": 379 }, { "line": 3090, "ntok": 21 }, { "line": 4438, "ntok": 247 }, { "line": 3798, "ntok": 563 }, { "line": 7943, "ntok": 146 }, { "line": 6358, "ntok": 105 }, { "line": 10424, "ntok": 480 }, { "line": 7491, "ntok": 225 }, { "line": 9342, "ntok": 619 }, { "line": 347, "ntok": 724 }, { "line": 10016, "ntok": 674 }, { "line": 498, "ntok": 326 }, { "line": 10747, "ntok": 25 }, { "line": 7111, "ntok": 376 }, { "line": 2548, "ntok": 366 }, { "line": 5890, "ntok": 347 }, { "line": 456, "ntok": 378 }, { "line": 8667, "ntok": 623 }, { "line": 10330, "ntok": 348 }, { "line": 7581, "ntok": 734 }, { "line": 3847, "ntok": 353 }, { "line": 3368, "ntok": 328 }, { "line": 934, "ntok": 36 }, { "line": 11572, "ntok": 396 }, { "line": 2851, "ntok": 23 }, { "line": 10316, "ntok": 42 }, { "line": 12146, "ntok": 294 }, { "line": 12008, "ntok": 135 }, { "line": 1191, "ntok": 717 }, { "line": 3953, "ntok": 562 }, { "line": 10237, "ntok": 603 }, { "line": 11573, "ntok": 356 }, { "line": 245, "ntok": 681 }, { "line": 11211, "ntok": 451 }, { "line": 5771, "ntok": 472 }, { "line": 8546, "ntok": 692 }, { "line": 9132, "ntok": 350 }, { "line": 8781, "ntok": 18 }, { "line": 6094, "ntok": 87 }, { "line": 2401, "ntok": 775 }, { "line": 9325, "ntok": 401 }, { "line": 11064, "ntok": 21 }, { "line": 904, "ntok": 36 }, { "line": 407, "ntok": 371 }, { "line": 1754, "ntok": 54 }, { "line": 6598, "ntok": 24 }, { "line": 8182, "ntok": 27 }, { "line": 793, "ntok": 68 }, { "line": 33, "ntok": 296 }, { "line": 1252, "ntok": 723 }, { "line": 4750, "ntok": 33 }, { "line": 2427, "ntok": 355 }, { "line": 1387, "ntok": 12 }, { "line": 8694, "ntok": 240 }, { "line": 7097, "ntok": 706 }, { "line": 2447, "ntok": 357 }, { "line": 11112, "ntok": 508 }, { "line": 1733, "ntok": 410 }, { "line": 7477, "ntok": 136 }, { "line": 3113, "ntok": 696 }, { "line": 2997, "ntok": 741 }, { "line": 507, "ntok": 333 }, { "line": 1787, "ntok": 579 }, { "line": 4696, "ntok": 484 }, { "line": 10028, "ntok": 451 }, { "line": 6583, "ntok": 428 }, { "line": 3294, "ntok": 131 }, { "line": 5260, "ntok": 674 }, { "line": 6270, "ntok": 102 }, { "line": 7593, "ntok": 392 }, { "line": 6931, "ntok": 141 }, { "line": 313, "ntok": 35 }, { "line": 4873, "ntok": 117 }, { "line": 2308, "ntok": 173 }, { "line": 7764, "ntok": 128 }, { "line": 6551, "ntok": 366 }, { "line": 9242, "ntok": 22 }, { "line": 1882, "ntok": 374 }, { "line": 3267, "ntok": 369 }, { "line": 3441, "ntok": 168 }, { "line": 11990, "ntok": 376 }, { "line": 10141, "ntok": 634 }, { "line": 7262, "ntok": 159 }, { "line": 4689, "ntok": 344 }, { "line": 9485, "ntok": 63 }, { "line": 1348, "ntok": 666 }, { "line": 713, "ntok": 105 }, { "line": 2433, "ntok": 451 }, { "line": 6609, "ntok": 319 }, { "line": 11808, "ntok": 364 }, { "line": 11806, "ntok": 72 }, { "line": 3805, "ntok": 696 }, { "line": 5821, "ntok": 584 }, { "line": 4186, "ntok": 52 }, { "line": 1770, "ntok": 24 }, { "line": 3450, "ntok": 317 }, { "line": 8884, "ntok": 374 }, { "line": 6350, "ntok": 330 }, { "line": 10161, "ntok": 25 }, { "line": 7068, "ntok": 622 }, { "line": 11902, "ntok": 109 }, { "line": 8673, "ntok": 267 }, { "line": 464, "ntok": 250 }, { "line": 4105, "ntok": 644 }, { "line": 9163, "ntok": 55 }, { "line": 10530, "ntok": 211 }, { "line": 11397, "ntok": 686 }, { "line": 5278, "ntok": 83 }, { "line": 6065, "ntok": 765 }, { "line": 5809, "ntok": 405 }, { "line": 2485, "ntok": 233 }, { "line": 7783, "ntok": 563 }, { "line": 2181, "ntok": 719 }, { "line": 4077, "ntok": 336 }, { "line": 10868, "ntok": 588 }, { "line": 1309, "ntok": 342 }, { "line": 10021, "ntok": 656 }, { "line": 4853, "ntok": 597 }, { "line": 2448, "ntok": 412 }, { "line": 10503, "ntok": 699 }, { "line": 5664, "ntok": 312 }, { "line": 404, "ntok": 414 }, { "line": 8977, "ntok": 655 }, { "line": 11913, "ntok": 801 }, { "line": 8699, "ntok": 25 }, { "line": 1372, "ntok": 61 }, { "line": 2219, "ntok": 377 }, { "line": 9408, "ntok": 362 }, { "line": 11069, "ntok": 52 }, { "line": 1566, "ntok": 764 }, { "line": 7026, "ntok": 22 }, { "line": 4661, "ntok": 175 }, { "line": 3622, "ntok": 86 }, { "line": 10428, "ntok": 618 }, { "line": 4283, "ntok": 629 }, { "line": 673, "ntok": 150 }, { "line": 596, "ntok": 225 }, { "line": 11986, "ntok": 25 }, { "line": 3332, "ntok": 454 }, { "line": 3193, "ntok": 401 }, { "line": 7789, "ntok": 339 }, { "line": 3941, "ntok": 446 }, { "line": 4946, "ntok": 633 }, { "line": 8367, "ntok": 229 }, { "line": 4008, "ntok": 571 }, { "line": 4572, "ntok": 698 }, { "line": 9578, "ntok": 753 }, { "line": 8216, "ntok": 343 }, { "line": 8500, "ntok": 22 }, { "line": 5918, "ntok": 430 }, { "line": 6381, "ntok": 394 }, { "line": 2799, "ntok": 616 }, { "line": 10851, "ntok": 164 }, { "line": 674, "ntok": 251 }, { "line": 2154, "ntok": 111 }, { "line": 3106, "ntok": 713 }, { "line": 2948, "ntok": 343 }, { "line": 9803, "ntok": 408 }, { "line": 1720, "ntok": 602 }, { "line": 6521, "ntok": 668 }, { "line": 5823, "ntok": 248 }, { "line": 7618, "ntok": 174 }, { "line": 736, "ntok": 182 }, { "line": 3317, "ntok": 360 }, { "line": 4570, "ntok": 63 }, { "line": 1976, "ntok": 70 }, { "line": 1698, "ntok": 121 }, { "line": 3089, "ntok": 434 }, { "line": 2875, "ntok": 109 }, { "line": 9072, "ntok": 536 }, { "line": 9265, "ntok": 128 }, { "line": 4905, "ntok": 363 }, { "line": 1637, "ntok": 683 }, { "line": 9217, "ntok": 637 }, { "line": 9843, "ntok": 32 }, { "line": 4591, "ntok": 364 }, { "line": 1176, "ntok": 317 }, { "line": 1674, "ntok": 728 }, { "line": 7002, "ntok": 632 }, { "line": 10620, "ntok": 518 }, { "line": 643, "ntok": 616 }, { "line": 9523, "ntok": 223 }, { "line": 4137, "ntok": 352 }, { "line": 9649, "ntok": 45 }, { "line": 108, "ntok": 170 }, { "line": 571, "ntok": 371 }, { "line": 5815, "ntok": 677 }, { "line": 9695, "ntok": 84 }, { "line": 8389, "ntok": 690 }, { "line": 4796, "ntok": 341 }, { "line": 8061, "ntok": 496 }, { "line": 3418, "ntok": 581 }, { "line": 6543, "ntok": 660 }, { "line": 3680, "ntok": 752 }, { "line": 1863, "ntok": 404 }, { "line": 3284, "ntok": 118 }, { "line": 8942, "ntok": 664 }, { "line": 9001, "ntok": 137 }, { "line": 5267, "ntok": 28 }, { "line": 6110, "ntok": 39 }, { "line": 11604, "ntok": 672 }, { "line": 4639, "ntok": 616 }, { "line": 1353, "ntok": 27 }, { "line": 12069, "ntok": 561 }, { "line": 2671, "ntok": 181 }, { "line": 3421, "ntok": 55 }, { "line": 28, "ntok": 421 }, { "line": 11265, "ntok": 222 }, { "line": 2861, "ntok": 397 }, { "line": 10070, "ntok": 346 }, { "line": 9472, "ntok": 27 }, { "line": 12047, "ntok": 676 }, { "line": 9299, "ntok": 341 }, { "line": 11317, "ntok": 737 }, { "line": 11917, "ntok": 357 }, { "line": 4716, "ntok": 750 }, { "line": 73, "ntok": 16 }, { "line": 7840, "ntok": 251 }, { "line": 5617, "ntok": 108 }, { "line": 762, "ntok": 591 }, { "line": 9735, "ntok": 359 }, { "line": 4219, "ntok": 718 }, { "line": 8476, "ntok": 21 }, { "line": 724, "ntok": 592 }, { "line": 10785, "ntok": 387 }, { "line": 8050, "ntok": 39 }, { "line": 1935, "ntok": 446 }, { "line": 8680, "ntok": 221 }, { "line": 4376, "ntok": 141 }, { "line": 10420, "ntok": 144 }, { "line": 11996, "ntok": 65 }, { "line": 3660, "ntok": 23 }, { "line": 10928, "ntok": 89 }, { "line": 8998, "ntok": 719 }, { "line": 12104, "ntok": 139 }, { "line": 1867, "ntok": 362 }, { "line": 2126, "ntok": 325 }, { "line": 11746, "ntok": 555 }, { "line": 2170, "ntok": 48 }, { "line": 5694, "ntok": 387 }, { "line": 1996, "ntok": 24 }, { "line": 3822, "ntok": 313 }, { "line": 2661, "ntok": 684 }, { "line": 11872, "ntok": 411 }, { "line": 250, "ntok": 43 }, { "line": 1745, "ntok": 738 }, { "line": 7460, "ntok": 135 }, { "line": 9490, "ntok": 114 }, { "line": 9974, "ntok": 28 }, { "line": 3054, "ntok": 385 }, { "line": 11149, "ntok": 583 }, { "line": 6140, "ntok": 341 }, { "line": 10140, "ntok": 631 }, { "line": 6582, "ntok": 110 }, { "line": 4310, "ntok": 668 }, { "line": 5023, "ntok": 22 }, { "line": 6176, "ntok": 178 }, { "line": 9357, "ntok": 358 }, { "line": 7333, "ntok": 373 }, { "line": 8803, "ntok": 704 }, { "line": 739, "ntok": 22 }, { "line": 3936, "ntok": 602 }, { "line": 6172, "ntok": 627 }, { "line": 5271, "ntok": 733 }, { "line": 12128, "ntok": 447 }, { "line": 4487, "ntok": 297 }, { "line": 5897, "ntok": 530 }, { "line": 9460, "ntok": 357 }, { "line": 7610, "ntok": 653 }, { "line": 1133, "ntok": 244 }, { "line": 9531, "ntok": 438 }, { "line": 8737, "ntok": 310 }, { "line": 8450, "ntok": 658 }, { "line": 9115, "ntok": 415 }, { "line": 341, "ntok": 76 }, { "line": 1873, "ntok": 29 }, { "line": 9806, "ntok": 439 }, { "line": 11127, "ntok": 346 }, { "line": 1973, "ntok": 21 }, { "line": 11816, "ntok": 623 }, { "line": 6454, "ntok": 776 }, { "line": 3147, "ntok": 456 }, { "line": 6122, "ntok": 39 }, { "line": 2602, "ntok": 48 }, { "line": 9590, "ntok": 122 }, { "line": 5536, "ntok": 82 }, { "line": 4948, "ntok": 271 }, { "line": 4501, "ntok": 58 }, { "line": 1511, "ntok": 670 }, { "line": 6344, "ntok": 254 }, { "line": 10018, "ntok": 419 }, { "line": 6125, "ntok": 234 }, { "line": 10212, "ntok": 468 }, { "line": 387, "ntok": 452 }, { "line": 8246, "ntok": 407 }, { "line": 12163, "ntok": 550 }, { "line": 158, "ntok": 401 }, { "line": 7054, "ntok": 45 }, { "line": 8578, "ntok": 745 }, { "line": 995, "ntok": 429 }, { "line": 7560, "ntok": 460 }, { "line": 4293, "ntok": 329 }, { "line": 1174, "ntok": 220 }, { "line": 5268, "ntok": 373 }, { "line": 2874, "ntok": 179 }, { "line": 5916, "ntok": 417 }, { "line": 2355, "ntok": 381 }, { "line": 10752, "ntok": 391 }, { "line": 9188, "ntok": 639 }, { "line": 6857, "ntok": 28 }, { "line": 1240, "ntok": 106 }, { "line": 5905, "ntok": 205 }, { "line": 6707, "ntok": 223 }, { "line": 6117, "ntok": 774 }, { "line": 5869, "ntok": 627 }, { "line": 12064, "ntok": 384 }, { "line": 9961, "ntok": 327 }, { "line": 2746, "ntok": 125 }, { "line": 6306, "ntok": 1037 }, { "line": 2890, "ntok": 594 }, { "line": 9402, "ntok": 21 }, { "line": 2647, "ntok": 83 }, { "line": 6569, "ntok": 758 }, { "line": 883, "ntok": 23 }, { "line": 3582, "ntok": 401 }, { "line": 3251, "ntok": 435 }, { "line": 1633, "ntok": 369 }, { "line": 9491, "ntok": 1176 }, { "line": 9815, "ntok": 420 }, { "line": 1454, "ntok": 120 }, { "line": 4654, "ntok": 361 }, { "line": 11896, "ntok": 508 }, { "line": 6342, "ntok": 446 }, { "line": 4212, "ntok": 26 }, { "line": 9207, "ntok": 365 }, { "line": 6150, "ntok": 29 }, { "line": 539, "ntok": 363 }, { "line": 10763, "ntok": 71 }, { "line": 6460, "ntok": 694 }, { "line": 10585, "ntok": 225 }, { "line": 11159, "ntok": 545 }, { "line": 5798, "ntok": 645 }, { "line": 1978, "ntok": 795 }, { "line": 12105, "ntok": 700 }, { "line": 4045, "ntok": 385 }, { "line": 5220, "ntok": 209 }, { "line": 1992, "ntok": 365 }, { "line": 5994, "ntok": 689 }, { "line": 2376, "ntok": 233 }, { "line": 10029, "ntok": 648 }, { "line": 10953, "ntok": 215 }, { "line": 12170, "ntok": 328 }, { "line": 1057, "ntok": 716 }, { "line": 11111, "ntok": 515 }, { "line": 4528, "ntok": 632 }, { "line": 1398, "ntok": 13 }, { "line": 7748, "ntok": 344 }, { "line": 3535, "ntok": 434 }, { "line": 4444, "ntok": 358 }, { "line": 384, "ntok": 24 }, { "line": 8250, "ntok": 538 }, { "line": 8186, "ntok": 705 }, { "line": 7762, "ntok": 106 }, { "line": 10999, "ntok": 759 }, { "line": 1278, "ntok": 631 }, { "line": 6425, "ntok": 655 }, { "line": 12102, "ntok": 656 }, { "line": 1950, "ntok": 604 }, { "line": 5169, "ntok": 342 }, { "line": 2642, "ntok": 25 }, { "line": 5564, "ntok": 415 }, { "line": 5259, "ntok": 143 }, { "line": 2041, "ntok": 58 }, { "line": 274, "ntok": 17 }, { "line": 8916, "ntok": 220 }, { "line": 767, "ntok": 647 }, { "line": 8428, "ntok": 15 }, { "line": 7731, "ntok": 117 }, { "line": 11042, "ntok": 661 }, { "line": 10064, "ntok": 345 }, { "line": 10496, "ntok": 32 }, { "line": 8154, "ntok": 60 }, { "line": 6, "ntok": 681 }, { "line": 11874, "ntok": 33 }, { "line": 470, "ntok": 390 }, { "line": 11273, "ntok": 456 }, { "line": 7012, "ntok": 57 }, { "line": 8304, "ntok": 43 }, { "line": 3002, "ntok": 169 }, { "line": 11322, "ntok": 682 }, { "line": 4571, "ntok": 120 }, { "line": 542, "ntok": 522 }, { "line": 5913, "ntok": 60 }, { "line": 11499, "ntok": 112 }, { "line": 10145, "ntok": 327 }, { "line": 11966, "ntok": 100 }, { "line": 8398, "ntok": 109 }, { "line": 10098, "ntok": 691 }, { "line": 1857, "ntok": 440 }, { "line": 5132, "ntok": 29 }, { "line": 5350, "ntok": 589 }, { "line": 5921, "ntok": 155 }, { "line": 3952, "ntok": 346 }, { "line": 7320, "ntok": 211 }, { "line": 6516, "ntok": 353 }, { "line": 4795, "ntok": 24 }, { "line": 1433, "ntok": 372 }, { "line": 4276, "ntok": 163 }, { "line": 7137, "ntok": 531 }, { "line": 7709, "ntok": 19 }, { "line": 1110, "ntok": 354 }, { "line": 4071, "ntok": 608 }, { "line": 103, "ntok": 219 }, { "line": 9190, "ntok": 105 }, { "line": 2817, "ntok": 329 }, { "line": 6120, "ntok": 89 }, { "line": 12108, "ntok": 55 }, { "line": 680, "ntok": 18 }, { "line": 7101, "ntok": 530 }, { "line": 4561, "ntok": 370 }, { "line": 10108, "ntok": 693 }, { "line": 4474, "ntok": 726 }, { "line": 10039, "ntok": 308 }, { "line": 8962, "ntok": 101 }, { "line": 11368, "ntok": 648 }, { "line": 3313, "ntok": 459 }, { "line": 3224, "ntok": 29 }, { "line": 9415, "ntok": 33 }, { "line": 11293, "ntok": 453 }, { "line": 11195, "ntok": 77 }, { "line": 662, "ntok": 23 }, { "line": 1508, "ntok": 766 }, { "line": 1045, "ntok": 641 }, { "line": 5636, "ntok": 437 }, { "line": 4846, "ntok": 404 }, { "line": 9122, "ntok": 586 }, { "line": 2939, "ntok": 14 }, { "line": 7020, "ntok": 390 }, { "line": 306, "ntok": 95 }, { "line": 7029, "ntok": 501 }, { "line": 11776, "ntok": 207 }, { "line": 8006, "ntok": 517 }, { "line": 10813, "ntok": 106 }, { "line": 5305, "ntok": 74 }, { "line": 967, "ntok": 904 }, { "line": 6371, "ntok": 14 }, { "line": 9377, "ntok": 438 }, { "line": 7400, "ntok": 206 }, { "line": 6448, "ntok": 642 }, { "line": 6937, "ntok": 25 }, { "line": 308, "ntok": 453 }, { "line": 190, "ntok": 145 }, { "line": 5855, "ntok": 42 }, { "line": 2761, "ntok": 442 }, { "line": 5654, "ntok": 660 }, { "line": 55, "ntok": 84 }, { "line": 2240, "ntok": 682 }, { "line": 6956, "ntok": 85 }, { "line": 5581, "ntok": 333 }, { "line": 4807, "ntok": 142 }, { "line": 9446, "ntok": 190 }, { "line": 8934, "ntok": 21 }, { "line": 1395, "ntok": 436 }, { "line": 9210, "ntok": 570 }, { "line": 874, "ntok": 104 }, { "line": 10445, "ntok": 711 }, { "line": 1780, "ntok": 128 }, { "line": 3689, "ntok": 671 }, { "line": 4322, "ntok": 329 }, { "line": 8589, "ntok": 779 }, { "line": 3985, "ntok": 401 }, { "line": 2811, "ntok": 470 }, { "line": 2703, "ntok": 191 }, { "line": 1585, "ntok": 504 }, { "line": 6979, "ntok": 657 }, { "line": 11817, "ntok": 255 }, { "line": 8914, "ntok": 705 }, { "line": 6970, "ntok": 778 }, { "line": 3605, "ntok": 279 }, { "line": 2689, "ntok": 368 }, { "line": 2557, "ntok": 78 }, { "line": 6189, "ntok": 226 }, { "line": 8721, "ntok": 619 }, { "line": 4104, "ntok": 19 }, { "line": 2453, "ntok": 30 }, { "line": 8144, "ntok": 46 }, { "line": 11250, "ntok": 69 }, { "line": 3800, "ntok": 342 }, { "line": 3827, "ntok": 104 }, { "line": 6372, "ntok": 24 }, { "line": 5319, "ntok": 481 }, { "line": 9917, "ntok": 400 }, { "line": 8463, "ntok": 29 }, { "line": 10801, "ntok": 21 }, { "line": 3861, "ntok": 490 }, { "line": 11992, "ntok": 229 }, { "line": 10479, "ntok": 91 }, { "line": 11761, "ntok": 94 }, { "line": 11429, "ntok": 402 }, { "line": 6664, "ntok": 410 }, { "line": 5182, "ntok": 24 }, { "line": 1753, "ntok": 561 }, { "line": 7150, "ntok": 323 }, { "line": 7312, "ntok": 401 }, { "line": 7193, "ntok": 236 }, { "line": 8001, "ntok": 538 }, { "line": 4362, "ntok": 345 }, { "line": 1848, "ntok": 24 }, { "line": 4629, "ntok": 615 }, { "line": 1230, "ntok": 170 }, { "line": 5737, "ntok": 81 }, { "line": 156, "ntok": 368 }, { "line": 3017, "ntok": 211 }, { "line": 5102, "ntok": 49 }, { "line": 853, "ntok": 1079 }, { "line": 9155, "ntok": 134 }, { "line": 2038, "ntok": 498 }, { "line": 5949, "ntok": 730 }, { "line": 6640, "ntok": 29 }, { "line": 7626, "ntok": 688 }, { "line": 4836, "ntok": 371 }, { "line": 1946, "ntok": 544 }, { "line": 2841, "ntok": 434 }, { "line": 4607, "ntok": 25 }, { "line": 10701, "ntok": 76 }, { "line": 7130, "ntok": 130 }, { "line": 2528, "ntok": 713 }, { "line": 5902, "ntok": 374 }, { "line": 10256, "ntok": 173 }, { "line": 3347, "ntok": 31 }, { "line": 2966, "ntok": 685 }, { "line": 7728, "ntok": 143 }, { "line": 1280, "ntok": 40 }, { "line": 11163, "ntok": 433 }, { "line": 10135, "ntok": 349 }, { "line": 838, "ntok": 44 }, { "line": 8923, "ntok": 667 }, { "line": 6788, "ntok": 216 }, { "line": 4515, "ntok": 408 }, { "line": 7738, "ntok": 94 }, { "line": 9514, "ntok": 386 }, { "line": 3301, "ntok": 145 }, { "line": 10156, "ntok": 620 }, { "line": 11822, "ntok": 346 }, { "line": 3509, "ntok": 714 }, { "line": 12175, "ntok": 555 }, { "line": 5332, "ntok": 608 }, { "line": 5153, "ntok": 644 }, { "line": 5824, "ntok": 335 }, { "line": 11770, "ntok": 806 }, { "line": 9267, "ntok": 608 }, { "line": 10411, "ntok": 416 }, { "line": 4414, "ntok": 380 }, { "line": 6198, "ntok": 24 }, { "line": 10324, "ntok": 122 }, { "line": 1380, "ntok": 26 }, { "line": 9676, "ntok": 23 }, { "line": 356, "ntok": 316 }, { "line": 173, "ntok": 127 }, { "line": 7971, "ntok": 23 }, { "line": 6731, "ntok": 159 }, { "line": 7688, "ntok": 181 }, { "line": 8600, "ntok": 26 }, { "line": 3690, "ntok": 87 }, { "line": 3549, "ntok": 105 }, { "line": 5893, "ntok": 625 }, { "line": 11309, "ntok": 349 }, { "line": 10471, "ntok": 618 }, { "line": 8649, "ntok": 609 }, { "line": 8965, "ntok": 132 }, { "line": 1960, "ntok": 195 }, { "line": 4415, "ntok": 471 }, { "line": 140, "ntok": 85 }, { "line": 8706, "ntok": 205 }, { "line": 1089, "ntok": 296 }, { "line": 8358, "ntok": 466 }, { "line": 10876, "ntok": 551 }, { "line": 948, "ntok": 371 }, { "line": 5891, "ntok": 140 }, { "line": 5926, "ntok": 540 }, { "line": 6745, "ntok": 613 }, { "line": 6457, "ntok": 455 }, { "line": 10100, "ntok": 571 }, { "line": 7796, "ntok": 386 }, { "line": 11607, "ntok": 455 }, { "line": 5978, "ntok": 716 }, { "line": 1468, "ntok": 34 }, { "line": 7215, "ntok": 384 }, { "line": 11070, "ntok": 305 }, { "line": 9256, "ntok": 674 }, { "line": 7770, "ntok": 26 }, { "line": 235, "ntok": 552 }, { "line": 11409, "ntok": 697 }, { "line": 8520, "ntok": 49 }, { "line": 1265, "ntok": 186 }, { "line": 1562, "ntok": 676 }, { "line": 6320, "ntok": 148 }, { "line": 7469, "ntok": 368 } ], "tokens": 294681 }, { "axis": "axis3_code_agentic", "name": "axis3_code_agentic", "quota_tokens": 294422, "samples": [ { "line": 8547, "ntok": 227 }, { "line": 10931, "ntok": 1539 }, { "line": 11287, "ntok": 1715 }, { "line": 6000, "ntok": 30 }, { "line": 11100, "ntok": 765 }, { "line": 1308, "ntok": 182 }, { "line": 2189, "ntok": 4096 }, { "line": 496, "ntok": 1168 }, { "line": 9411, "ntok": 156 }, { "line": 1558, "ntok": 203 }, { "line": 10323, "ntok": 529 }, { "line": 6446, "ntok": 24 }, { "line": 7919, "ntok": 1271 }, { "line": 3894, "ntok": 2530 }, { "line": 11418, "ntok": 974 }, { "line": 610, "ntok": 292 }, { "line": 283, "ntok": 1360 }, { "line": 3753, "ntok": 43 }, { "line": 10865, "ntok": 179 }, { "line": 921, "ntok": 1273 }, { "line": 5061, "ntok": 44 }, { "line": 8057, "ntok": 244 }, { "line": 3260, "ntok": 223 }, { "line": 1611, "ntok": 89 }, { "line": 8338, "ntok": 110 }, { "line": 5953, "ntok": 522 }, { "line": 8237, "ntok": 166 }, { "line": 6052, "ntok": 896 }, { "line": 798, "ntok": 1161 }, { "line": 3457, "ntok": 682 }, { "line": 1527, "ntok": 92 }, { "line": 4562, "ntok": 351 }, { "line": 314, "ntok": 113 }, { "line": 10551, "ntok": 210 }, { "line": 3910, "ntok": 1161 }, { "line": 9596, "ntok": 1348 }, { "line": 4965, "ntok": 939 }, { "line": 2155, "ntok": 1481 }, { "line": 10799, "ntok": 3137 }, { "line": 11184, "ntok": 1101 }, { "line": 7265, "ntok": 44 }, { "line": 10639, "ntok": 602 }, { "line": 3119, "ntok": 1006 }, { "line": 3149, "ntok": 1390 }, { "line": 4517, "ntok": 2061 }, { "line": 6562, "ntok": 1192 }, { "line": 8897, "ntok": 1625 }, { "line": 1111, "ntok": 51 }, { "line": 10297, "ntok": 42 }, { "line": 2336, "ntok": 2792 }, { "line": 11751, "ntok": 1874 }, { "line": 9888, "ntok": 278 }, { "line": 10134, "ntok": 1005 }, { "line": 6920, "ntok": 1015 }, { "line": 10788, "ntok": 1260 }, { "line": 7450, "ntok": 90 }, { "line": 2470, "ntok": 2919 }, { "line": 10440, "ntok": 927 }, { "line": 1892, "ntok": 709 }, { "line": 1821, "ntok": 686 }, { "line": 6889, "ntok": 274 }, { "line": 6886, "ntok": 1567 }, { "line": 11783, "ntok": 537 }, { "line": 4124, "ntok": 1001 }, { "line": 901, "ntok": 903 }, { "line": 8907, "ntok": 205 }, { "line": 12066, "ntok": 546 }, { "line": 5333, "ntok": 108 }, { "line": 370, "ntok": 865 }, { "line": 3853, "ntok": 272 }, { "line": 7316, "ntok": 1230 }, { "line": 10153, "ntok": 4096 }, { "line": 5431, "ntok": 168 }, { "line": 8960, "ntok": 1427 }, { "line": 460, "ntok": 176 }, { "line": 8197, "ntok": 1979 }, { "line": 9800, "ntok": 906 }, { "line": 961, "ntok": 140 }, { "line": 12203, "ntok": 230 }, { "line": 3820, "ntok": 38 }, { "line": 3073, "ntok": 1816 }, { "line": 8043, "ntok": 4096 }, { "line": 10446, "ntok": 91 }, { "line": 7611, "ntok": 266 }, { "line": 9355, "ntok": 672 }, { "line": 2783, "ntok": 505 }, { "line": 4369, "ntok": 434 }, { "line": 12137, "ntok": 537 }, { "line": 11414, "ntok": 59 }, { "line": 5418, "ntok": 1298 }, { "line": 11308, "ntok": 1315 }, { "line": 7900, "ntok": 85 }, { "line": 6256, "ntok": 180 }, { "line": 1444, "ntok": 362 }, { "line": 6595, "ntok": 957 }, { "line": 4825, "ntok": 2027 }, { "line": 564, "ntok": 63 }, { "line": 1786, "ntok": 36 }, { "line": 8083, "ntok": 212 }, { "line": 2682, "ntok": 2543 }, { "line": 6201, "ntok": 2080 }, { "line": 1923, "ntok": 49 }, { "line": 554, "ntok": 670 }, { "line": 11679, "ntok": 1026 }, { "line": 4635, "ntok": 1647 }, { "line": 9953, "ntok": 462 }, { "line": 12073, "ntok": 1280 }, { "line": 9536, "ntok": 168 }, { "line": 7842, "ntok": 1270 }, { "line": 5607, "ntok": 870 }, { "line": 4062, "ntok": 1985 }, { "line": 8933, "ntok": 657 }, { "line": 8568, "ntok": 99 }, { "line": 11593, "ntok": 1169 }, { "line": 9447, "ntok": 1015 }, { "line": 4400, "ntok": 565 }, { "line": 6840, "ntok": 704 }, { "line": 9191, "ntok": 313 }, { "line": 1708, "ntok": 273 }, { "line": 3, "ntok": 656 }, { "line": 276, "ntok": 1049 }, { "line": 4242, "ntok": 1442 }, { "line": 9683, "ntok": 1002 }, { "line": 11009, "ntok": 31 }, { "line": 10595, "ntok": 234 }, { "line": 10174, "ntok": 1489 }, { "line": 8646, "ntok": 941 }, { "line": 12100, "ntok": 219 }, { "line": 8769, "ntok": 706 }, { "line": 11439, "ntok": 1178 }, { "line": 8314, "ntok": 909 }, { "line": 4608, "ntok": 283 }, { "line": 6257, "ntok": 81 }, { "line": 513, "ntok": 1080 }, { "line": 9870, "ntok": 61 }, { "line": 2006, "ntok": 574 }, { "line": 6474, "ntok": 126 }, { "line": 5282, "ntok": 271 }, { "line": 5932, "ntok": 1234 }, { "line": 10142, "ntok": 1193 }, { "line": 2069, "ntok": 189 }, { "line": 10377, "ntok": 930 }, { "line": 12208, "ntok": 57 }, { "line": 6034, "ntok": 73 }, { "line": 3031, "ntok": 40 }, { "line": 6240, "ntok": 263 }, { "line": 2104, "ntok": 716 }, { "line": 4715, "ntok": 630 }, { "line": 1583, "ntok": 391 }, { "line": 9631, "ntok": 395 }, { "line": 4093, "ntok": 850 }, { "line": 11168, "ntok": 2081 }, { "line": 854, "ntok": 630 }, { "line": 9825, "ntok": 2227 }, { "line": 9049, "ntok": 95 }, { "line": 166, "ntok": 2117 }, { "line": 5208, "ntok": 153 }, { "line": 1262, "ntok": 38 }, { "line": 5524, "ntok": 450 }, { "line": 11756, "ntok": 255 }, { "line": 68, "ntok": 59 }, { "line": 1498, "ntok": 70 }, { "line": 6883, "ntok": 293 }, { "line": 8919, "ntok": 291 }, { "line": 12184, "ntok": 585 }, { "line": 1179, "ntok": 495 }, { "line": 4531, "ntok": 4096 }, { "line": 7119, "ntok": 3313 }, { "line": 5702, "ntok": 3728 }, { "line": 11166, "ntok": 2026 }, { "line": 390, "ntok": 131 }, { "line": 3306, "ntok": 64 }, { "line": 8587, "ntok": 788 }, { "line": 10467, "ntok": 2326 }, { "line": 1817, "ntok": 53 }, { "line": 617, "ntok": 1343 }, { "line": 8535, "ntok": 1606 }, { "line": 8298, "ntok": 4096 }, { "line": 3865, "ntok": 90 }, { "line": 1245, "ntok": 189 }, { "line": 1187, "ntok": 85 }, { "line": 11075, "ntok": 33 }, { "line": 5148, "ntok": 1422 }, { "line": 695, "ntok": 84 }, { "line": 10995, "ntok": 82 }, { "line": 4379, "ntok": 660 }, { "line": 857, "ntok": 144 }, { "line": 4411, "ntok": 590 }, { "line": 11059, "ntok": 347 }, { "line": 1769, "ntok": 64 }, { "line": 2829, "ntok": 167 }, { "line": 10643, "ntok": 190 }, { "line": 10051, "ntok": 1316 }, { "line": 6818, "ntok": 2255 }, { "line": 2738, "ntok": 89 }, { "line": 3871, "ntok": 720 }, { "line": 2247, "ntok": 166 }, { "line": 6284, "ntok": 766 }, { "line": 11785, "ntok": 1650 }, { "line": 3154, "ntok": 1132 }, { "line": 1515, "ntok": 137 }, { "line": 11863, "ntok": 213 }, { "line": 2853, "ntok": 652 }, { "line": 7379, "ntok": 527 }, { "line": 11121, "ntok": 128 }, { "line": 12091, "ntok": 1291 }, { "line": 5460, "ntok": 127 }, { "line": 6749, "ntok": 1367 }, { "line": 2582, "ntok": 111 }, { "line": 4018, "ntok": 152 }, { "line": 2319, "ntok": 162 }, { "line": 3310, "ntok": 158 }, { "line": 8405, "ntok": 1268 }, { "line": 9141, "ntok": 1688 }, { "line": 2283, "ntok": 519 }, { "line": 10653, "ntok": 121 }, { "line": 6112, "ntok": 194 }, { "line": 8730, "ntok": 1238 }, { "line": 579, "ntok": 167 }, { "line": 4318, "ntok": 755 }, { "line": 8693, "ntok": 147 }, { "line": 10933, "ntok": 81 }, { "line": 3174, "ntok": 183 }, { "line": 7539, "ntok": 293 }, { "line": 9787, "ntok": 180 }, { "line": 7644, "ntok": 714 }, { "line": 4222, "ntok": 1473 }, { "line": 2457, "ntok": 158 }, { "line": 5833, "ntok": 93 }, { "line": 4227, "ntok": 990 }, { "line": 2709, "ntok": 172 }, { "line": 2962, "ntok": 735 }, { "line": 9732, "ntok": 2901 }, { "line": 9189, "ntok": 954 }, { "line": 5987, "ntok": 1696 }, { "line": 780, "ntok": 445 }, { "line": 426, "ntok": 95 }, { "line": 7025, "ntok": 780 }, { "line": 395, "ntok": 1949 }, { "line": 8558, "ntok": 602 }, { "line": 3639, "ntok": 155 }, { "line": 9236, "ntok": 1882 }, { "line": 10877, "ntok": 2698 }, { "line": 2112, "ntok": 1237 }, { "line": 120, "ntok": 1226 }, { "line": 3350, "ntok": 66 }, { "line": 1312, "ntok": 1518 }, { "line": 3515, "ntok": 119 }, { "line": 72, "ntok": 147 }, { "line": 4616, "ntok": 212 }, { "line": 8760, "ntok": 1557 }, { "line": 3022, "ntok": 874 }, { "line": 4280, "ntok": 2150 }, { "line": 7907, "ntok": 937 }, { "line": 11165, "ntok": 841 }, { "line": 1593, "ntok": 933 }, { "line": 7288, "ntok": 169 }, { "line": 9002, "ntok": 694 }, { "line": 11214, "ntok": 1233 }, { "line": 6392, "ntok": 1183 }, { "line": 1083, "ntok": 1202 }, { "line": 3111, "ntok": 938 }, { "line": 2883, "ntok": 4096 }, { "line": 3976, "ntok": 3108 }, { "line": 12165, "ntok": 109 }, { "line": 1523, "ntok": 133 }, { "line": 144, "ntok": 814 }, { "line": 3672, "ntok": 1290 }, { "line": 1944, "ntok": 1286 }, { "line": 4601, "ntok": 98 }, { "line": 10374, "ntok": 144 }, { "line": 8385, "ntok": 132 }, { "line": 4612, "ntok": 2045 }, { "line": 5929, "ntok": 1550 }, { "line": 9727, "ntok": 67 }, { "line": 3495, "ntok": 1388 }, { "line": 11614, "ntok": 215 }, { "line": 5807, "ntok": 212 }, { "line": 7533, "ntok": 719 }, { "line": 10191, "ntok": 1249 }, { "line": 2274, "ntok": 90 }, { "line": 5919, "ntok": 48 }, { "line": 9281, "ntok": 563 }, { "line": 7283, "ntok": 2128 }, { "line": 9231, "ntok": 80 }, { "line": 11487, "ntok": 89 }, { "line": 7398, "ntok": 225 }, { "line": 5745, "ntok": 1693 }, { "line": 6357, "ntok": 2275 }, { "line": 3438, "ntok": 1110 }, { "line": 2150, "ntok": 102 }, { "line": 8205, "ntok": 178 }, { "line": 11424, "ntok": 661 }, { "line": 2735, "ntok": 1105 }, { "line": 11303, "ntok": 844 }, { "line": 8282, "ntok": 1526 }, { "line": 5503, "ntok": 431 }, { "line": 450, "ntok": 68 }, { "line": 6644, "ntok": 1736 }, { "line": 1764, "ntok": 300 }, { "line": 5735, "ntok": 72 }, { "line": 11032, "ntok": 529 }, { "line": 4852, "ntok": 66 }, { "line": 8565, "ntok": 893 }, { "line": 6720, "ntok": 1020 }, { "line": 9551, "ntok": 3254 }, { "line": 4866, "ntok": 1189 }, { "line": 616, "ntok": 601 }, { "line": 4772, "ntok": 975 }, { "line": 6384, "ntok": 282 }, { "line": 11574, "ntok": 110 }, { "line": 9010, "ntok": 679 }, { "line": 9731, "ntok": 3547 }, { "line": 732, "ntok": 574 }, { "line": 8033, "ntok": 125 }, { "line": 3359, "ntok": 87 }, { "line": 1472, "ntok": 76 }, { "line": 8161, "ntok": 22 }, { "line": 1448, "ntok": 158 }, { "line": 8480, "ntok": 64 }, { "line": 10290, "ntok": 149 }, { "line": 8217, "ntok": 51 }, { "line": 10938, "ntok": 179 }, { "line": 1011, "ntok": 589 }, { "line": 8457, "ntok": 659 }, { "line": 5933, "ntok": 713 }, { "line": 3540, "ntok": 84 }, { "line": 10328, "ntok": 56 }, { "line": 8272, "ntok": 230 }, { "line": 5047, "ntok": 1836 }, { "line": 5246, "ntok": 999 }, { "line": 766, "ntok": 447 }, { "line": 7742, "ntok": 584 }, { "line": 5021, "ntok": 3093 }, { "line": 5788, "ntok": 1903 }, { "line": 522, "ntok": 61 }, { "line": 5518, "ntok": 63 }, { "line": 1218, "ntok": 1037 }, { "line": 5519, "ntok": 300 }, { "line": 10899, "ntok": 288 }, { "line": 4723, "ntok": 4096 }, { "line": 1845, "ntok": 1538 }, { "line": 4330, "ntok": 858 }, { "line": 8856, "ntok": 335 }, { "line": 2088, "ntok": 281 }, { "line": 9206, "ntok": 109 }, { "line": 1473, "ntok": 1188 }, { "line": 8125, "ntok": 1091 }, { "line": 6245, "ntok": 66 }, { "line": 795, "ntok": 1569 }, { "line": 2705, "ntok": 791 }, { "line": 3330, "ntok": 158 }, { "line": 7082, "ntok": 756 }, { "line": 1126, "ntok": 359 }, { "line": 2075, "ntok": 173 }, { "line": 485, "ntok": 33 }, { "line": 3505, "ntok": 425 }, { "line": 1219, "ntok": 99 }, { "line": 5839, "ntok": 404 }, { "line": 4340, "ntok": 287 }, { "line": 9178, "ntok": 2272 } ], "tokens": 295687 }, { "axis": "axis4_reasoning_termination", "name": "axis4_reasoning_termination", "quota_tokens": 165310, "samples": [ { "line": 2679, "ntok": 47 }, { "line": 825, "ntok": 56 }, { "line": 492, "ntok": 48 }, { "line": 10736, "ntok": 39 }, { "line": 8454, "ntok": 55 }, { "line": 2574, "ntok": 69 }, { "line": 589, "ntok": 47 }, { "line": 7419, "ntok": 47 }, { "line": 9053, "ntok": 57 }, { "line": 4746, "ntok": 69 }, { "line": 10765, "ntok": 47 }, { "line": 4175, "ntok": 56 }, { "line": 12116, "ntok": 69 }, { "line": 9652, "ntok": 38 }, { "line": 11202, "ntok": 68 }, { "line": 12131, "ntok": 47 }, { "line": 9957, "ntok": 37 }, { "line": 5479, "ntok": 56 }, { "line": 7672, "ntok": 56 }, { "line": 9556, "ntok": 55 }, { "line": 5179, "ntok": 68 }, { "line": 6578, "ntok": 47 }, { "line": 11083, "ntok": 69 }, { "line": 6063, "ntok": 48 }, { "line": 6769, "ntok": 66 }, { "line": 7295, "ntok": 56 }, { "line": 7231, "ntok": 56 }, { "line": 2268, "ntok": 56 }, { "line": 987, "ntok": 69 }, { "line": 10126, "ntok": 47 }, { "line": 7830, "ntok": 47 }, { "line": 452, "ntok": 46 }, { "line": 11219, "ntok": 69 }, { "line": 609, "ntok": 65 }, { "line": 9925, "ntok": 56 }, { "line": 7724, "ntok": 47 }, { "line": 1017, "ntok": 56 }, { "line": 11672, "ntok": 69 }, { "line": 8592, "ntok": 69 }, { "line": 5582, "ntok": 70 }, { "line": 5898, "ntok": 38 }, { "line": 4213, "ntok": 65 }, { "line": 9567, "ntok": 57 }, { "line": 4922, "ntok": 38 }, { "line": 1330, "ntok": 69 }, { "line": 5106, "ntok": 47 }, { "line": 8432, "ntok": 70 }, { "line": 6565, "ntok": 69 }, { "line": 10258, "ntok": 69 }, { "line": 7664, "ntok": 56 }, { "line": 3078, "ntok": 70 }, { "line": 11698, "ntok": 39 }, { "line": 10712, "ntok": 69 }, { "line": 10973, "ntok": 38 }, { "line": 5243, "ntok": 38 }, { "line": 11138, "ntok": 38 }, { "line": 5265, "ntok": 70 }, { "line": 4176, "ntok": 38 }, { "line": 11440, "ntok": 48 }, { "line": 7565, "ntok": 56 }, { "line": 6431, "ntok": 47 }, { "line": 4364, "ntok": 38 }, { "line": 7058, "ntok": 65 }, { "line": 5879, "ntok": 38 }, { "line": 1681, "ntok": 46 }, { "line": 12019, "ntok": 38 }, { "line": 4831, "ntok": 56 }, { "line": 890, "ntok": 70 }, { "line": 3677, "ntok": 39 }, { "line": 2365, "ntok": 57 }, { "line": 5703, "ntok": 39 }, { "line": 7828, "ntok": 46 }, { "line": 3302, "ntok": 69 }, { "line": 3595, "ntok": 56 }, { "line": 11206, "ntok": 69 }, { "line": 462, "ntok": 55 }, { "line": 10744, "ntok": 56 }, { "line": 7746, "ntok": 56 }, { "line": 7340, "ntok": 38 }, { "line": 11147, "ntok": 47 }, { "line": 6717, "ntok": 70 }, { "line": 8713, "ntok": 56 }, { "line": 5458, "ntok": 57 }, { "line": 5496, "ntok": 46 }, { "line": 4857, "ntok": 48 }, { "line": 332, "ntok": 56 }, { "line": 5848, "ntok": 55 }, { "line": 6995, "ntok": 56 }, { "line": 5925, "ntok": 69 }, { "line": 6401, "ntok": 65 }, { "line": 10065, "ntok": 38 }, { "line": 3983, "ntok": 56 }, { "line": 1000, "ntok": 46 }, { "line": 8852, "ntok": 57 }, { "line": 7922, "ntok": 65 }, { "line": 290, "ntok": 38 }, { "line": 3860, "ntok": 69 }, { "line": 6809, "ntok": 56 }, { "line": 3381, "ntok": 57 }, { "line": 8610, "ntok": 47 }, { "line": 2989, "ntok": 38 }, { "line": 7108, "ntok": 47 }, { "line": 5295, "ntok": 38 }, { "line": 9284, "ntok": 38 }, { "line": 4995, "ntok": 39 }, { "line": 10343, "ntok": 57 }, { "line": 4733, "ntok": 69 }, { "line": 10101, "ntok": 69 }, { "line": 11480, "ntok": 65 }, { "line": 4182, "ntok": 69 }, { "line": 4148, "ntok": 57 }, { "line": 927, "ntok": 56 }, { "line": 3724, "ntok": 56 }, { "line": 1211, "ntok": 69 }, { "line": 2500, "ntok": 69 }, { "line": 1035, "ntok": 70 }, { "line": 9069, "ntok": 38 }, { "line": 152, "ntok": 47 }, { "line": 4582, "ntok": 65 }, { "line": 6661, "ntok": 65 }, { "line": 11911, "ntok": 48 }, { "line": 9090, "ntok": 56 }, { "line": 8609, "ntok": 69 }, { "line": 5772, "ntok": 47 }, { "line": 6196, "ntok": 38 }, { "line": 1543, "ntok": 38 }, { "line": 11022, "ntok": 56 }, { "line": 10175, "ntok": 46 }, { "line": 1334, "ntok": 47 }, { "line": 7578, "ntok": 66 }, { "line": 3346, "ntok": 69 }, { "line": 528, "ntok": 68 }, { "line": 6146, "ntok": 38 }, { "line": 1868, "ntok": 38 }, { "line": 11910, "ntok": 65 }, { "line": 5180, "ntok": 38 }, { "line": 10814, "ntok": 69 }, { "line": 2309, "ntok": 39 }, { "line": 1970, "ntok": 38 }, { "line": 5101, "ntok": 69 }, { "line": 9788, "ntok": 66 }, { "line": 6007, "ntok": 70 }, { "line": 3640, "ntok": 38 }, { "line": 3467, "ntok": 38 }, { "line": 9586, "ntok": 37 }, { "line": 7649, "ntok": 69 }, { "line": 11328, "ntok": 47 }, { "line": 9848, "ntok": 47 }, { "line": 3931, "ntok": 48 }, { "line": 5331, "ntok": 38 }, { "line": 6634, "ntok": 66 }, { "line": 8574, "ntok": 39 }, { "line": 9340, "ntok": 57 }, { "line": 888, "ntok": 47 }, { "line": 9484, "ntok": 55 }, { "line": 2484, "ntok": 69 }, { "line": 11229, "ntok": 39 }, { "line": 7206, "ntok": 68 }, { "line": 9027, "ntok": 48 }, { "line": 1316, "ntok": 39 }, { "line": 6200, "ntok": 38 }, { "line": 2175, "ntok": 69 }, { "line": 2604, "ntok": 56 }, { "line": 4017, "ntok": 38 }, { "line": 5134, "ntok": 69 }, { "line": 11481, "ntok": 39 }, { "line": 544, "ntok": 69 }, { "line": 10795, "ntok": 56 }, { "line": 3405, "ntok": 47 }, { "line": 10443, "ntok": 69 }, { "line": 11881, "ntok": 69 }, { "line": 11903, "ntok": 56 }, { "line": 5119, "ntok": 56 }, { "line": 10219, "ntok": 57 }, { "line": 10495, "ntok": 56 }, { "line": 10078, "ntok": 69 }, { "line": 1246, "ntok": 56 }, { "line": 1741, "ntok": 47 }, { "line": 5140, "ntok": 70 }, { "line": 5347, "ntok": 38 }, { "line": 6819, "ntok": 56 }, { "line": 9016, "ntok": 56 }, { "line": 7274, "ntok": 37 }, { "line": 5204, "ntok": 69 }, { "line": 6188, "ntok": 70 }, { "line": 9918, "ntok": 56 }, { "line": 7736, "ntok": 69 }, { "line": 1354, "ntok": 70 }, { "line": 292, "ntok": 69 }, { "line": 11665, "ntok": 47 }, { "line": 9554, "ntok": 38 }, { "line": 7099, "ntok": 38 }, { "line": 11552, "ntok": 55 }, { "line": 4117, "ntok": 69 }, { "line": 10369, "ntok": 38 }, { "line": 4341, "ntok": 56 }, { "line": 3060, "ntok": 56 }, { "line": 11450, "ntok": 38 }, { "line": 9086, "ntok": 47 }, { "line": 57, "ntok": 47 }, { "line": 1202, "ntok": 56 }, { "line": 11053, "ntok": 38 }, { "line": 363, "ntok": 65 }, { "line": 10531, "ntok": 70 }, { "line": 6041, "ntok": 70 }, { "line": 8375, "ntok": 46 }, { "line": 2073, "ntok": 39 }, { "line": 10158, "ntok": 48 }, { "line": 8441, "ntok": 48 }, { "line": 1572, "ntok": 55 }, { "line": 1250, "ntok": 39 }, { "line": 5927, "ntok": 70 }, { "line": 3608, "ntok": 47 }, { "line": 5118, "ntok": 47 }, { "line": 4877, "ntok": 38 }, { "line": 5958, "ntok": 70 }, { "line": 7571, "ntok": 56 }, { "line": 2009, "ntok": 47 }, { "line": 5091, "ntok": 65 }, { "line": 10954, "ntok": 69 }, { "line": 9580, "ntok": 69 }, { "line": 1608, "ntok": 69 }, { "line": 10465, "ntok": 37 }, { "line": 11251, "ntok": 56 }, { "line": 4855, "ntok": 39 }, { "line": 1243, "ntok": 39 }, { "line": 2919, "ntok": 69 }, { "line": 3553, "ntok": 39 }, { "line": 6336, "ntok": 38 }, { "line": 4333, "ntok": 70 }, { "line": 7513, "ntok": 70 }, { "line": 5734, "ntok": 57 }, { "line": 11321, "ntok": 56 }, { "line": 3737, "ntok": 47 }, { "line": 7652, "ntok": 39 }, { "line": 8230, "ntok": 69 }, { "line": 10271, "ntok": 39 }, { "line": 2910, "ntok": 68 }, { "line": 5465, "ntok": 69 }, { "line": 11937, "ntok": 48 }, { "line": 4912, "ntok": 56 }, { "line": 7690, "ntok": 57 }, { "line": 7394, "ntok": 38 }, { "line": 8376, "ntok": 70 }, { "line": 10756, "ntok": 56 }, { "line": 5578, "ntok": 38 }, { "line": 5066, "ntok": 65 }, { "line": 2707, "ntok": 38 }, { "line": 6487, "ntok": 55 }, { "line": 12027, "ntok": 39 }, { "line": 10094, "ntok": 47 }, { "line": 1651, "ntok": 48 }, { "line": 7207, "ntok": 65 }, { "line": 11043, "ntok": 70 }, { "line": 3059, "ntok": 47 }, { "line": 6571, "ntok": 56 }, { "line": 2107, "ntok": 38 }, { "line": 2061, "ntok": 38 }, { "line": 6286, "ntok": 56 }, { "line": 6911, "ntok": 57 }, { "line": 3933, "ntok": 38 }, { "line": 3625, "ntok": 47 }, { "line": 4722, "ntok": 56 }, { "line": 8888, "ntok": 69 }, { "line": 12097, "ntok": 38 }, { "line": 6786, "ntok": 69 }, { "line": 12115, "ntok": 39 }, { "line": 11191, "ntok": 70 }, { "line": 251, "ntok": 39 }, { "line": 182, "ntok": 70 }, { "line": 2477, "ntok": 70 }, { "line": 2135, "ntok": 39 }, { "line": 8841, "ntok": 70 }, { "line": 1023, "ntok": 69 }, { "line": 7238, "ntok": 69 }, { "line": 3252, "ntok": 39 }, { "line": 1755, "ntok": 56 }, { "line": 8316, "ntok": 68 }, { "line": 10818, "ntok": 47 }, { "line": 9914, "ntok": 68 }, { "line": 8277, "ntok": 47 }, { "line": 8094, "ntok": 38 }, { "line": 203, "ntok": 69 }, { "line": 410, "ntok": 65 }, { "line": 826, "ntok": 38 }, { "line": 6045, "ntok": 38 }, { "line": 7938, "ntok": 64 }, { "line": 1075, "ntok": 47 }, { "line": 4190, "ntok": 69 }, { "line": 6096, "ntok": 69 }, { "line": 1490, "ntok": 39 }, { "line": 4660, "ntok": 69 }, { "line": 9317, "ntok": 56 }, { "line": 1676, "ntok": 38 }, { "line": 10488, "ntok": 66 }, { "line": 3723, "ntok": 48 }, { "line": 11527, "ntok": 56 }, { "line": 1107, "ntok": 66 }, { "line": 8009, "ntok": 70 }, { "line": 4191, "ntok": 57 }, { "line": 1908, "ntok": 69 }, { "line": 3074, "ntok": 68 }, { "line": 5612, "ntok": 56 }, { "line": 9269, "ntok": 38 }, { "line": 10951, "ntok": 38 }, { "line": 2116, "ntok": 69 }, { "line": 11795, "ntok": 56 }, { "line": 5996, "ntok": 47 }, { "line": 10919, "ntok": 38 }, { "line": 5122, "ntok": 47 }, { "line": 8642, "ntok": 68 }, { "line": 1522, "ntok": 65 }, { "line": 12052, "ntok": 57 }, { "line": 8596, "ntok": 38 }, { "line": 763, "ntok": 69 }, { "line": 3146, "ntok": 38 }, { "line": 1540, "ntok": 56 }, { "line": 11807, "ntok": 47 }, { "line": 5428, "ntok": 57 }, { "line": 1408, "ntok": 56 }, { "line": 6814, "ntok": 47 }, { "line": 342, "ntok": 57 }, { "line": 4094, "ntok": 57 }, { "line": 6078, "ntok": 38 }, { "line": 266, "ntok": 69 }, { "line": 1889, "ntok": 69 }, { "line": 11855, "ntok": 38 }, { "line": 10929, "ntok": 69 }, { "line": 7109, "ntok": 70 }, { "line": 3590, "ntok": 65 }, { "line": 1751, "ntok": 56 }, { "line": 9513, "ntok": 47 }, { "line": 5553, "ntok": 46 }, { "line": 2032, "ntok": 69 }, { "line": 5509, "ntok": 48 }, { "line": 7710, "ntok": 38 }, { "line": 10856, "ntok": 57 }, { "line": 8244, "ntok": 38 }, { "line": 2938, "ntok": 69 }, { "line": 6332, "ntok": 69 }, { "line": 7359, "ntok": 56 }, { "line": 7095, "ntok": 69 }, { "line": 3088, "ntok": 69 }, { "line": 3129, "ntok": 69 }, { "line": 9478, "ntok": 38 }, { "line": 9794, "ntok": 39 }, { "line": 7871, "ntok": 69 }, { "line": 6906, "ntok": 69 }, { "line": 4491, "ntok": 38 }, { "line": 7362, "ntok": 69 }, { "line": 4996, "ntok": 57 }, { "line": 8640, "ntok": 57 }, { "line": 2568, "ntok": 37 }, { "line": 12149, "ntok": 47 }, { "line": 6921, "ntok": 70 }, { "line": 950, "ntok": 38 }, { "line": 4174, "ntok": 56 }, { "line": 11362, "ntok": 57 }, { "line": 9915, "ntok": 39 }, { "line": 3121, "ntok": 56 }, { "line": 5586, "ntok": 57 }, { "line": 11789, "ntok": 38 }, { "line": 5597, "ntok": 56 }, { "line": 11553, "ntok": 47 }, { "line": 10491, "ntok": 55 }, { "line": 9372, "ntok": 47 }, { "line": 10492, "ntok": 38 }, { "line": 10013, "ntok": 70 }, { "line": 3900, "ntok": 46 }, { "line": 1494, "ntok": 37 }, { "line": 2860, "ntok": 66 }, { "line": 10728, "ntok": 69 }, { "line": 275, "ntok": 47 }, { "line": 4228, "ntok": 38 }, { "line": 9561, "ntok": 70 }, { "line": 5273, "ntok": 56 }, { "line": 3530, "ntok": 64 }, { "line": 5716, "ntok": 57 }, { "line": 4646, "ntok": 57 }, { "line": 4372, "ntok": 69 }, { "line": 5237, "ntok": 37 }, { "line": 9066, "ntok": 70 }, { "line": 352, "ntok": 57 }, { "line": 4625, "ntok": 47 }, { "line": 3928, "ntok": 56 }, { "line": 4938, "ntok": 38 }, { "line": 6490, "ntok": 38 }, { "line": 4805, "ntok": 38 }, { "line": 8824, "ntok": 56 }, { "line": 9073, "ntok": 70 }, { "line": 11080, "ntok": 66 }, { "line": 11972, "ntok": 38 }, { "line": 7018, "ntok": 38 }, { "line": 5060, "ntok": 46 }, { "line": 1305, "ntok": 56 }, { "line": 8200, "ntok": 38 }, { "line": 9388, "ntok": 47 }, { "line": 6677, "ntok": 55 }, { "line": 8456, "ntok": 68 }, { "line": 4149, "ntok": 57 }, { "line": 10308, "ntok": 66 }, { "line": 10602, "ntok": 56 }, { "line": 11332, "ntok": 38 }, { "line": 3766, "ntok": 47 }, { "line": 5733, "ntok": 47 }, { "line": 351, "ntok": 69 }, { "line": 4336, "ntok": 47 }, { "line": 9064, "ntok": 69 }, { "line": 733, "ntok": 56 }, { "line": 4083, "ntok": 47 }, { "line": 12113, "ntok": 55 }, { "line": 3358, "ntok": 39 }, { "line": 6964, "ntok": 65 }, { "line": 3710, "ntok": 57 }, { "line": 6389, "ntok": 38 }, { "line": 510, "ntok": 57 }, { "line": 10565, "ntok": 56 }, { "line": 7885, "ntok": 56 }, { "line": 8253, "ntok": 70 }, { "line": 6104, "ntok": 57 }, { "line": 3567, "ntok": 56 }, { "line": 4842, "ntok": 56 }, { "line": 1711, "ntok": 55 }, { "line": 5796, "ntok": 56 }, { "line": 4486, "ntok": 69 }, { "line": 11337, "ntok": 69 }, { "line": 1501, "ntok": 65 }, { "line": 8055, "ntok": 38 }, { "line": 11512, "ntok": 56 }, { "line": 2957, "ntok": 39 }, { "line": 3647, "ntok": 39 }, { "line": 6718, "ntok": 64 }, { "line": 4251, "ntok": 65 }, { "line": 6237, "ntok": 69 }, { "line": 6642, "ntok": 69 }, { "line": 3051, "ntok": 48 }, { "line": 9383, "ntok": 69 }, { "line": 1137, "ntok": 68 }, { "line": 5573, "ntok": 65 }, { "line": 8228, "ntok": 47 }, { "line": 9546, "ntok": 39 }, { "line": 10955, "ntok": 65 }, { "line": 649, "ntok": 69 }, { "line": 3718, "ntok": 38 }, { "line": 9120, "ntok": 38 }, { "line": 5477, "ntok": 56 }, { "line": 4078, "ntok": 47 }, { "line": 8645, "ntok": 47 }, { "line": 11597, "ntok": 48 }, { "line": 122, "ntok": 56 }, { "line": 11280, "ntok": 65 }, { "line": 2575, "ntok": 69 }, { "line": 11932, "ntok": 55 }, { "line": 11378, "ntok": 56 }, { "line": 9653, "ntok": 69 }, { "line": 1461, "ntok": 69 }, { "line": 2559, "ntok": 57 }, { "line": 4234, "ntok": 56 }, { "line": 10998, "ntok": 69 }, { "line": 10947, "ntok": 69 }, { "line": 7901, "ntok": 47 }, { "line": 3634, "ntok": 56 }, { "line": 7868, "ntok": 38 }, { "line": 6939, "ntok": 65 }, { "line": 346, "ntok": 69 }, { "line": 1272, "ntok": 38 }, { "line": 3638, "ntok": 66 }, { "line": 302, "ntok": 65 }, { "line": 6042, "ntok": 69 }, { "line": 11445, "ntok": 47 }, { "line": 10704, "ntok": 39 }, { "line": 3342, "ntok": 46 }, { "line": 4266, "ntok": 70 }, { "line": 4113, "ntok": 65 }, { "line": 2717, "ntok": 38 }, { "line": 7902, "ntok": 65 }, { "line": 2161, "ntok": 70 }, { "line": 4619, "ntok": 38 }, { "line": 3422, "ntok": 56 }, { "line": 11344, "ntok": 69 }, { "line": 1544, "ntok": 39 }, { "line": 4738, "ntok": 39 }, { "line": 11801, "ntok": 56 }, { "line": 1488, "ntok": 47 }, { "line": 7010, "ntok": 39 }, { "line": 11180, "ntok": 66 }, { "line": 4482, "ntok": 56 }, { "line": 638, "ntok": 65 }, { "line": 5588, "ntok": 66 }, { "line": 3782, "ntok": 69 }, { "line": 5635, "ntok": 39 }, { "line": 6061, "ntok": 47 }, { "line": 11601, "ntok": 56 }, { "line": 6599, "ntok": 68 }, { "line": 3150, "ntok": 38 }, { "line": 11864, "ntok": 38 }, { "line": 6073, "ntok": 39 }, { "line": 7212, "ntok": 47 }, { "line": 7181, "ntok": 38 }, { "line": 698, "ntok": 47 }, { "line": 11240, "ntok": 47 }, { "line": 8995, "ntok": 47 }, { "line": 3016, "ntok": 66 }, { "line": 2902, "ntok": 39 }, { "line": 11190, "ntok": 38 }, { "line": 1833, "ntok": 69 }, { "line": 8941, "ntok": 57 }, { "line": 11962, "ntok": 69 }, { "line": 2259, "ntok": 38 }, { "line": 6945, "ntok": 65 }, { "line": 9655, "ntok": 39 }, { "line": 3066, "ntok": 69 }, { "line": 8750, "ntok": 38 }, { "line": 9775, "ntok": 47 }, { "line": 11901, "ntok": 69 }, { "line": 3493, "ntok": 65 }, { "line": 4240, "ntok": 38 }, { "line": 3380, "ntok": 56 }, { "line": 534, "ntok": 38 }, { "line": 2182, "ntok": 47 }, { "line": 8906, "ntok": 70 }, { "line": 10337, "ntok": 47 }, { "line": 8792, "ntok": 56 }, { "line": 12003, "ntok": 46 }, { "line": 10927, "ntok": 47 }, { "line": 9657, "ntok": 56 }, { "line": 4443, "ntok": 57 }, { "line": 9339, "ntok": 69 }, { "line": 4210, "ntok": 39 }, { "line": 1623, "ntok": 39 }, { "line": 7318, "ntok": 65 }, { "line": 1452, "ntok": 47 }, { "line": 6134, "ntok": 47 }, { "line": 6507, "ntok": 39 }, { "line": 5505, "ntok": 68 }, { "line": 10630, "ntok": 47 }, { "line": 2859, "ntok": 56 }, { "line": 602, "ntok": 56 }, { "line": 101, "ntok": 56 }, { "line": 10041, "ntok": 70 }, { "line": 2770, "ntok": 38 }, { "line": 11520, "ntok": 64 }, { "line": 4786, "ntok": 57 }, { "line": 7222, "ntok": 38 }, { "line": 5790, "ntok": 39 }, { "line": 11426, "ntok": 69 }, { "line": 935, "ntok": 57 }, { "line": 3988, "ntok": 57 }, { "line": 10269, "ntok": 56 }, { "line": 8554, "ntok": 48 }, { "line": 10049, "ntok": 68 }, { "line": 11007, "ntok": 38 }, { "line": 3231, "ntok": 48 }, { "line": 2221, "ntok": 56 }, { "line": 10469, "ntok": 38 }, { "line": 2442, "ntok": 55 }, { "line": 726, "ntok": 69 }, { "line": 2132, "ntok": 66 }, { "line": 10298, "ntok": 47 }, { "line": 8467, "ntok": 69 }, { "line": 10461, "ntok": 56 }, { "line": 6090, "ntok": 48 }, { "line": 7351, "ntok": 39 }, { "line": 62, "ntok": 47 }, { "line": 6563, "ntok": 65 }, { "line": 5434, "ntok": 69 }, { "line": 9483, "ntok": 47 }, { "line": 3950, "ntok": 39 }, { "line": 12012, "ntok": 69 }, { "line": 6011, "ntok": 70 }, { "line": 7802, "ntok": 69 }, { "line": 3888, "ntok": 56 }, { "line": 75, "ntok": 68 }, { "line": 8140, "ntok": 69 }, { "line": 11947, "ntok": 69 }, { "line": 5190, "ntok": 65 }, { "line": 7700, "ntok": 38 }, { "line": 3929, "ntok": 70 }, { "line": 10105, "ntok": 65 }, { "line": 7296, "ntok": 46 }, { "line": 6800, "ntok": 47 }, { "line": 7698, "ntok": 39 }, { "line": 9261, "ntok": 57 }, { "line": 9681, "ntok": 56 }, { "line": 12058, "ntok": 38 }, { "line": 9741, "ntok": 56 }, { "line": 204, "ntok": 69 }, { "line": 9931, "ntok": 69 }, { "line": 7433, "ntok": 57 }, { "line": 7135, "ntok": 65 }, { "line": 9944, "ntok": 65 }, { "line": 263, "ntok": 56 }, { "line": 8725, "ntok": 56 }, { "line": 11643, "ntok": 69 }, { "line": 7335, "ntok": 69 }, { "line": 7468, "ntok": 56 }, { "line": 8815, "ntok": 47 }, { "line": 8689, "ntok": 38 }, { "line": 3539, "ntok": 46 }, { "line": 7995, "ntok": 56 }, { "line": 5424, "ntok": 69 }, { "line": 5701, "ntok": 56 }, { "line": 4727, "ntok": 69 }, { "line": 1484, "ntok": 56 }, { "line": 6767, "ntok": 70 }, { "line": 2976, "ntok": 56 }, { "line": 5446, "ntok": 56 }, { "line": 1429, "ntok": 47 }, { "line": 6305, "ntok": 38 }, { "line": 4502, "ntok": 66 }, { "line": 6267, "ntok": 69 }, { "line": 2998, "ntok": 57 }, { "line": 11405, "ntok": 38 }, { "line": 2681, "ntok": 47 }, { "line": 5454, "ntok": 39 }, { "line": 3201, "ntok": 47 }, { "line": 11372, "ntok": 69 }, { "line": 6926, "ntok": 56 }, { "line": 5457, "ntok": 38 }, { "line": 1357, "ntok": 69 }, { "line": 2686, "ntok": 69 }, { "line": 660, "ntok": 69 }, { "line": 3239, "ntok": 48 }, { "line": 1310, "ntok": 57 }, { "line": 2412, "ntok": 46 }, { "line": 11056, "ntok": 70 }, { "line": 3314, "ntok": 38 }, { "line": 10885, "ntok": 66 }, { "line": 5720, "ntok": 47 }, { "line": 8475, "ntok": 39 }, { "line": 7334, "ntok": 48 }, { "line": 6156, "ntok": 38 }, { "line": 11175, "ntok": 56 }, { "line": 2934, "ntok": 38 }, { "line": 3153, "ntok": 70 }, { "line": 856, "ntok": 48 }, { "line": 7198, "ntok": 70 }, { "line": 3116, "ntok": 56 }, { "line": 718, "ntok": 57 }, { "line": 138, "ntok": 69 }, { "line": 9289, "ntok": 56 }, { "line": 3926, "ntok": 57 }, { "line": 9893, "ntok": 57 }, { "line": 10281, "ntok": 56 }, { "line": 9397, "ntok": 47 }, { "line": 10012, "ntok": 47 }, { "line": 11413, "ntok": 38 }, { "line": 976, "ntok": 69 }, { "line": 3337, "ntok": 48 }, { "line": 3237, "ntok": 55 }, { "line": 4647, "ntok": 55 }, { "line": 10216, "ntok": 57 }, { "line": 10815, "ntok": 56 }, { "line": 2302, "ntok": 48 }, { "line": 939, "ntok": 69 }, { "line": 4973, "ntok": 38 }, { "line": 6762, "ntok": 57 }, { "line": 9392, "ntok": 69 }, { "line": 5480, "ntok": 55 }, { "line": 3616, "ntok": 55 }, { "line": 3522, "ntok": 38 }, { "line": 9105, "ntok": 69 }, { "line": 4407, "ntok": 69 }, { "line": 344, "ntok": 56 }, { "line": 10285, "ntok": 38 }, { "line": 9988, "ntok": 38 }, { "line": 10166, "ntok": 69 }, { "line": 8796, "ntok": 65 }, { "line": 11077, "ntok": 69 }, { "line": 2630, "ntok": 38 }, { "line": 10395, "ntok": 38 }, { "line": 4684, "ntok": 57 }, { "line": 8023, "ntok": 57 }, { "line": 7573, "ntok": 69 }, { "line": 6532, "ntok": 69 }, { "line": 620, "ntok": 56 }, { "line": 1369, "ntok": 39 }, { "line": 533, "ntok": 70 }, { "line": 5827, "ntok": 38 }, { "line": 10649, "ntok": 38 }, { "line": 5174, "ntok": 48 }, { "line": 6027, "ntok": 69 }, { "line": 1982, "ntok": 69 }, { "line": 7863, "ntok": 69 }, { "line": 9707, "ntok": 68 }, { "line": 8395, "ntok": 39 }, { "line": 10958, "ntok": 70 }, { "line": 374, "ntok": 38 }, { "line": 10691, "ntok": 38 }, { "line": 6936, "ntok": 56 }, { "line": 8801, "ntok": 38 }, { "line": 981, "ntok": 38 }, { "line": 1486, "ntok": 47 }, { "line": 8517, "ntok": 65 }, { "line": 7233, "ntok": 39 }, { "line": 8117, "ntok": 69 }, { "line": 7898, "ntok": 38 }, { "line": 5444, "ntok": 69 }, { "line": 6974, "ntok": 70 }, { "line": 1746, "ntok": 69 }, { "line": 5696, "ntok": 69 }, { "line": 1102, "ntok": 47 }, { "line": 10702, "ntok": 69 }, { "line": 1489, "ntok": 68 }, { "line": 10206, "ntok": 64 }, { "line": 6263, "ntok": 69 }, { "line": 2090, "ntok": 48 }, { "line": 11058, "ntok": 57 }, { "line": 2315, "ntok": 38 }, { "line": 9632, "ntok": 38 }, { "line": 1936, "ntok": 56 }, { "line": 2420, "ntok": 69 }, { "line": 59, "ntok": 69 }, { "line": 6991, "ntok": 57 }, { "line": 10262, "ntok": 56 }, { "line": 5583, "ntok": 47 }, { "line": 443, "ntok": 69 }, { "line": 8890, "ntok": 57 }, { "line": 9543, "ntok": 64 }, { "line": 11049, "ntok": 56 }, { "line": 1257, "ntok": 56 }, { "line": 11722, "ntok": 48 }, { "line": 8509, "ntok": 38 }, { "line": 5512, "ntok": 55 }, { "line": 6789, "ntok": 56 }, { "line": 9099, "ntok": 69 }, { "line": 2, "ntok": 65 }, { "line": 3978, "ntok": 38 }, { "line": 3502, "ntok": 48 }, { "line": 2791, "ntok": 56 }, { "line": 2920, "ntok": 39 }, { "line": 6250, "ntok": 70 }, { "line": 8333, "ntok": 47 }, { "line": 10812, "ntok": 56 }, { "line": 10123, "ntok": 39 }, { "line": 10573, "ntok": 47 }, { "line": 5340, "ntok": 38 }, { "line": 9160, "ntok": 56 }, { "line": 6935, "ntok": 38 }, { "line": 5163, "ntok": 38 }, { "line": 4007, "ntok": 56 }, { "line": 4563, "ntok": 38 }, { "line": 8198, "ntok": 66 }, { "line": 8776, "ntok": 57 }, { "line": 12172, "ntok": 70 }, { "line": 11425, "ntok": 69 }, { "line": 6180, "ntok": 38 }, { "line": 2270, "ntok": 38 }, { "line": 11223, "ntok": 38 }, { "line": 11455, "ntok": 56 }, { "line": 6347, "ntok": 47 }, { "line": 5419, "ntok": 69 }, { "line": 8171, "ntok": 47 }, { "line": 8323, "ntok": 47 }, { "line": 7905, "ntok": 39 }, { "line": 4134, "ntok": 65 }, { "line": 9700, "ntok": 38 }, { "line": 5468, "ntok": 69 }, { "line": 236, "ntok": 39 }, { "line": 11193, "ntok": 55 }, { "line": 2024, "ntok": 38 }, { "line": 6645, "ntok": 56 }, { "line": 380, "ntok": 57 }, { "line": 2440, "ntok": 65 }, { "line": 6459, "ntok": 56 }, { "line": 112, "ntok": 56 }, { "line": 10427, "ntok": 70 }, { "line": 6217, "ntok": 69 }, { "line": 4363, "ntok": 38 }, { "line": 5201, "ntok": 69 }, { "line": 8555, "ntok": 55 }, { "line": 9634, "ntok": 39 }, { "line": 7514, "ntok": 38 }, { "line": 6319, "ntok": 66 }, { "line": 9492, "ntok": 65 }, { "line": 2901, "ntok": 57 }, { "line": 11125, "ntok": 57 }, { "line": 4393, "ntok": 39 }, { "line": 11813, "ntok": 38 }, { "line": 4495, "ntok": 38 }, { "line": 4399, "ntok": 38 }, { "line": 1440, "ntok": 47 }, { "line": 1464, "ntok": 56 }, { "line": 9571, "ntok": 69 }, { "line": 243, "ntok": 69 }, { "line": 11463, "ntok": 56 }, { "line": 1727, "ntok": 38 }, { "line": 4819, "ntok": 56 }, { "line": 8007, "ntok": 69 }, { "line": 10804, "ntok": 47 }, { "line": 2226, "ntok": 47 }, { "line": 11216, "ntok": 69 }, { "line": 4950, "ntok": 57 }, { "line": 345, "ntok": 70 }, { "line": 12206, "ntok": 38 }, { "line": 946, "ntok": 69 }, { "line": 1409, "ntok": 56 }, { "line": 11169, "ntok": 56 }, { "line": 7269, "ntok": 56 }, { "line": 1927, "ntok": 48 }, { "line": 7857, "ntok": 38 }, { "line": 11508, "ntok": 39 }, { "line": 1843, "ntok": 47 }, { "line": 4220, "ntok": 56 }, { "line": 358, "ntok": 68 }, { "line": 1856, "ntok": 47 }, { "line": 6486, "ntok": 38 }, { "line": 12195, "ntok": 47 }, { "line": 5412, "ntok": 70 }, { "line": 4421, "ntok": 66 }, { "line": 8857, "ntok": 37 }, { "line": 474, "ntok": 70 }, { "line": 4679, "ntok": 47 }, { "line": 6244, "ntok": 38 }, { "line": 10139, "ntok": 56 }, { "line": 5686, "ntok": 69 }, { "line": 10359, "ntok": 69 }, { "line": 10737, "ntok": 39 }, { "line": 3328, "ntok": 56 }, { "line": 7980, "ntok": 55 }, { "line": 9370, "ntok": 66 }, { "line": 5624, "ntok": 69 }, { "line": 6236, "ntok": 38 }, { "line": 5355, "ntok": 56 }, { "line": 9876, "ntok": 56 }, { "line": 9807, "ntok": 39 }, { "line": 3713, "ntok": 69 }, { "line": 5170, "ntok": 56 }, { "line": 1359, "ntok": 56 }, { "line": 3492, "ntok": 47 }, { "line": 4349, "ntok": 39 }, { "line": 3184, "ntok": 38 }, { "line": 5877, "ntok": 68 }, { "line": 6620, "ntok": 70 }, { "line": 6865, "ntok": 38 }, { "line": 10227, "ntok": 38 }, { "line": 11752, "ntok": 56 }, { "line": 64, "ntok": 38 }, { "line": 2809, "ntok": 65 }, { "line": 1217, "ntok": 56 }, { "line": 3812, "ntok": 38 }, { "line": 7270, "ntok": 47 }, { "line": 7651, "ntok": 38 }, { "line": 7330, "ntok": 47 }, { "line": 8222, "ntok": 65 }, { "line": 1336, "ntok": 56 }, { "line": 8696, "ntok": 47 }, { "line": 10880, "ntok": 38 }, { "line": 4839, "ntok": 66 }, { "line": 6735, "ntok": 37 }, { "line": 8507, "ntok": 65 }, { "line": 10344, "ntok": 69 }, { "line": 11437, "ntok": 57 }, { "line": 659, "ntok": 65 }, { "line": 5160, "ntok": 66 }, { "line": 4356, "ntok": 38 }, { "line": 7121, "ntok": 65 }, { "line": 5882, "ntok": 69 }, { "line": 2320, "ntok": 57 }, { "line": 10310, "ntok": 56 }, { "line": 5130, "ntok": 38 }, { "line": 969, "ntok": 70 }, { "line": 5873, "ntok": 46 }, { "line": 5250, "ntok": 56 }, { "line": 1185, "ntok": 38 }, { "line": 799, "ntok": 70 }, { "line": 6299, "ntok": 70 }, { "line": 12070, "ntok": 57 }, { "line": 9080, "ntok": 38 }, { "line": 3114, "ntok": 39 }, { "line": 7156, "ntok": 69 }, { "line": 2983, "ntok": 37 }, { "line": 10035, "ntok": 46 }, { "line": 1445, "ntok": 38 }, { "line": 10313, "ntok": 56 }, { "line": 1029, "ntok": 56 }, { "line": 1001, "ntok": 55 }, { "line": 1847, "ntok": 48 }, { "line": 6047, "ntok": 56 }, { "line": 5760, "ntok": 65 }, { "line": 7493, "ntok": 70 }, { "line": 6975, "ntok": 68 }, { "line": 1269, "ntok": 38 }, { "line": 10770, "ntok": 38 }, { "line": 5939, "ntok": 56 }, { "line": 6890, "ntok": 38 }, { "line": 1631, "ntok": 57 }, { "line": 10863, "ntok": 48 }, { "line": 5, "ntok": 38 }, { "line": 7416, "ntok": 69 }, { "line": 6440, "ntok": 70 }, { "line": 8988, "ntok": 70 }, { "line": 3181, "ntok": 38 }, { "line": 1322, "ntok": 47 }, { "line": 7281, "ntok": 69 }, { "line": 943, "ntok": 48 }, { "line": 8598, "ntok": 47 }, { "line": 1389, "ntok": 38 }, { "line": 10463, "ntok": 47 }, { "line": 157, "ntok": 70 }, { "line": 7658, "ntok": 69 }, { "line": 5962, "ntok": 69 }, { "line": 8836, "ntok": 48 }, { "line": 6442, "ntok": 56 }, { "line": 5200, "ntok": 38 }, { "line": 7526, "ntok": 65 }, { "line": 3186, "ntok": 70 }, { "line": 11277, "ntok": 65 }, { "line": 4980, "ntok": 47 }, { "line": 7141, "ntok": 70 }, { "line": 9060, "ntok": 38 }, { "line": 9194, "ntok": 38 }, { "line": 3132, "ntok": 69 }, { "line": 5404, "ntok": 66 }, { "line": 1598, "ntok": 65 }, { "line": 8972, "ntok": 38 }, { "line": 7202, "ntok": 56 }, { "line": 11921, "ntok": 38 }, { "line": 8611, "ntok": 70 }, { "line": 3630, "ntok": 48 }, { "line": 1789, "ntok": 70 }, { "line": 5415, "ntok": 56 }, { "line": 1481, "ntok": 56 }, { "line": 9071, "ntok": 69 }, { "line": 771, "ntok": 56 }, { "line": 1492, "ntok": 70 }, { "line": 11660, "ntok": 56 }, { "line": 8770, "ntok": 69 }, { "line": 9403, "ntok": 69 }, { "line": 9840, "ntok": 47 }, { "line": 9170, "ntok": 48 }, { "line": 2863, "ntok": 69 }, { "line": 11187, "ntok": 68 }, { "line": 9507, "ntok": 46 }, { "line": 4405, "ntok": 38 }, { "line": 1794, "ntok": 46 }, { "line": 3948, "ntok": 69 }, { "line": 2808, "ntok": 65 }, { "line": 8422, "ntok": 38 }, { "line": 7298, "ntok": 69 }, { "line": 702, "ntok": 68 }, { "line": 51, "ntok": 47 }, { "line": 7801, "ntok": 47 }, { "line": 7788, "ntok": 56 }, { "line": 9874, "ntok": 38 }, { "line": 4924, "ntok": 56 }, { "line": 3795, "ntok": 69 }, { "line": 4470, "ntok": 55 }, { "line": 8986, "ntok": 56 }, { "line": 7973, "ntok": 38 }, { "line": 10466, "ntok": 38 }, { "line": 10642, "ntok": 69 }, { "line": 699, "ntok": 65 }, { "line": 11236, "ntok": 56 }, { "line": 6121, "ntok": 56 }, { "line": 7001, "ntok": 69 }, { "line": 7807, "ntok": 56 }, { "line": 8768, "ntok": 47 }, { "line": 2544, "ntok": 38 }, { "line": 6687, "ntok": 65 }, { "line": 10236, "ntok": 65 }, { "line": 11638, "ntok": 56 }, { "line": 4900, "ntok": 39 }, { "line": 2585, "ntok": 57 }, { "line": 11243, "ntok": 69 }, { "line": 2168, "ntok": 69 }, { "line": 6896, "ntok": 69 }, { "line": 933, "ntok": 56 }, { "line": 12050, "ntok": 56 }, { "line": 3823, "ntok": 38 }, { "line": 11970, "ntok": 56 }, { "line": 1885, "ntok": 69 }, { "line": 2424, "ntok": 68 }, { "line": 3355, "ntok": 39 }, { "line": 32, "ntok": 56 }, { "line": 10524, "ntok": 70 }, { "line": 855, "ntok": 57 }, { "line": 11156, "ntok": 48 }, { "line": 4335, "ntok": 56 }, { "line": 6338, "ntok": 69 }, { "line": 8261, "ntok": 38 }, { "line": 5671, "ntok": 56 }, { "line": 11232, "ntok": 70 }, { "line": 10097, "ntok": 38 }, { "line": 11078, "ntok": 70 }, { "line": 9085, "ntok": 56 }, { "line": 6436, "ntok": 47 }, { "line": 2033, "ntok": 69 }, { "line": 7014, "ntok": 70 }, { "line": 2196, "ntok": 57 }, { "line": 10990, "ntok": 47 }, { "line": 30, "ntok": 56 }, { "line": 3386, "ntok": 70 }, { "line": 5365, "ntok": 69 }, { "line": 6524, "ntok": 38 }, { "line": 4200, "ntok": 39 }, { "line": 8486, "ntok": 69 }, { "line": 3489, "ntok": 39 }, { "line": 1972, "ntok": 47 }, { "line": 8672, "ntok": 37 }, { "line": 4609, "ntok": 69 }, { "line": 7444, "ntok": 48 }, { "line": 12023, "ntok": 37 }, { "line": 1208, "ntok": 56 }, { "line": 9399, "ntok": 38 }, { "line": 10144, "ntok": 70 }, { "line": 7436, "ntok": 57 }, { "line": 5560, "ntok": 47 }, { "line": 9711, "ntok": 69 }, { "line": 2534, "ntok": 57 }, { "line": 1086, "ntok": 69 }, { "line": 5406, "ntok": 48 }, { "line": 11725, "ntok": 57 }, { "line": 7888, "ntok": 70 }, { "line": 2931, "ntok": 69 }, { "line": 10034, "ntok": 38 }, { "line": 3866, "ntok": 38 }, { "line": 9243, "ntok": 70 }, { "line": 4701, "ntok": 66 }, { "line": 11314, "ntok": 70 }, { "line": 10385, "ntok": 47 }, { "line": 1129, "ntok": 48 }, { "line": 4694, "ntok": 69 }, { "line": 760, "ntok": 56 }, { "line": 11089, "ntok": 47 }, { "line": 6092, "ntok": 39 }, { "line": 3100, "ntok": 65 }, { "line": 1773, "ntok": 47 }, { "line": 7615, "ntok": 38 }, { "line": 2071, "ntok": 69 }, { "line": 7413, "ntok": 38 }, { "line": 4770, "ntok": 39 }, { "line": 125, "ntok": 47 }, { "line": 5801, "ntok": 69 }, { "line": 1793, "ntok": 57 }, { "line": 1915, "ntok": 55 }, { "line": 3403, "ntok": 68 }, { "line": 2776, "ntok": 70 }, { "line": 1981, "ntok": 47 }, { "line": 6976, "ntok": 56 }, { "line": 1070, "ntok": 38 }, { "line": 11981, "ntok": 39 }, { "line": 8346, "ntok": 66 }, { "line": 1609, "ntok": 39 }, { "line": 6681, "ntok": 47 }, { "line": 5613, "ntok": 69 }, { "line": 3964, "ntok": 56 }, { "line": 6497, "ntok": 38 }, { "line": 10376, "ntok": 47 }, { "line": 7819, "ntok": 38 }, { "line": 8494, "ntok": 65 }, { "line": 1644, "ntok": 70 }, { "line": 7725, "ntok": 56 }, { "line": 5026, "ntok": 38 }, { "line": 5357, "ntok": 65 }, { "line": 11678, "ntok": 65 }, { "line": 10432, "ntok": 64 }, { "line": 5127, "ntok": 70 }, { "line": 2056, "ntok": 65 }, { "line": 10194, "ntok": 38 }, { "line": 6822, "ntok": 39 }, { "line": 2475, "ntok": 57 }, { "line": 5206, "ntok": 65 }, { "line": 9722, "ntok": 38 }, { "line": 10069, "ntok": 69 }, { "line": 5475, "ntok": 38 }, { "line": 6531, "ntok": 48 }, { "line": 9568, "ntok": 69 }, { "line": 11695, "ntok": 69 }, { "line": 8556, "ntok": 48 }, { "line": 5025, "ntok": 69 }, { "line": 7909, "ntok": 70 }, { "line": 10089, "ntok": 39 }, { "line": 5497, "ntok": 68 }, { "line": 527, "ntok": 69 }, { "line": 8039, "ntok": 69 }, { "line": 5856, "ntok": 47 }, { "line": 4597, "ntok": 56 }, { "line": 5135, "ntok": 38 }, { "line": 2880, "ntok": 39 }, { "line": 150, "ntok": 38 }, { "line": 813, "ntok": 69 }, { "line": 4145, "ntok": 39 }, { "line": 375, "ntok": 57 }, { "line": 4434, "ntok": 69 }, { "line": 6058, "ntok": 38 }, { "line": 1462, "ntok": 56 }, { "line": 8805, "ntok": 38 }, { "line": 11442, "ntok": 38 }, { "line": 1645, "ntok": 69 }, { "line": 1502, "ntok": 56 }, { "line": 3714, "ntok": 39 }, { "line": 9948, "ntok": 65 }, { "line": 7944, "ntok": 56 }, { "line": 10306, "ntok": 38 }, { "line": 9781, "ntok": 38 }, { "line": 4196, "ntok": 47 }, { "line": 1139, "ntok": 56 }, { "line": 8424, "ntok": 70 }, { "line": 3721, "ntok": 57 }, { "line": 9203, "ntok": 66 }, { "line": 7673, "ntok": 46 }, { "line": 6727, "ntok": 38 }, { "line": 6213, "ntok": 48 }, { "line": 1284, "ntok": 69 }, { "line": 5650, "ntok": 48 }, { "line": 9159, "ntok": 47 }, { "line": 4359, "ntok": 69 }, { "line": 3343, "ntok": 56 }, { "line": 11503, "ntok": 38 }, { "line": 7164, "ntok": 48 }, { "line": 3574, "ntok": 46 }, { "line": 10967, "ntok": 70 }, { "line": 1810, "ntok": 69 }, { "line": 221, "ntok": 47 }, { "line": 11374, "ntok": 56 }, { "line": 7414, "ntok": 69 }, { "line": 9347, "ntok": 70 }, { "line": 271, "ntok": 66 }, { "line": 3878, "ntok": 56 }, { "line": 893, "ntok": 47 }, { "line": 11038, "ntok": 47 }, { "line": 3413, "ntok": 69 }, { "line": 11625, "ntok": 69 }, { "line": 1561, "ntok": 38 }, { "line": 8843, "ntok": 47 }, { "line": 4967, "ntok": 39 }, { "line": 9022, "ntok": 56 }, { "line": 11924, "ntok": 65 }, { "line": 7988, "ntok": 57 }, { "line": 6930, "ntok": 56 }, { "line": 4397, "ntok": 56 }, { "line": 3338, "ntok": 38 }, { "line": 3794, "ntok": 56 }, { "line": 7388, "ntok": 69 }, { "line": 11477, "ntok": 69 }, { "line": 2346, "ntok": 55 }, { "line": 11346, "ntok": 38 }, { "line": 5079, "ntok": 57 }, { "line": 4785, "ntok": 70 }, { "line": 3856, "ntok": 69 }, { "line": 2979, "ntok": 38 }, { "line": 3177, "ntok": 47 }, { "line": 4028, "ntok": 38 }, { "line": 162, "ntok": 64 }, { "line": 10423, "ntok": 38 }, { "line": 9902, "ntok": 39 }, { "line": 3162, "ntok": 38 }, { "line": 7908, "ntok": 70 }, { "line": 9541, "ntok": 69 }, { "line": 360, "ntok": 69 }, { "line": 11507, "ntok": 38 }, { "line": 7599, "ntok": 65 }, { "line": 5894, "ntok": 64 }, { "line": 11021, "ntok": 38 }, { "line": 1556, "ntok": 69 }, { "line": 2386, "ntok": 56 }, { "line": 17, "ntok": 69 }, { "line": 9613, "ntok": 48 }, { "line": 2508, "ntok": 56 }, { "line": 4053, "ntok": 47 }, { "line": 664, "ntok": 48 }, { "line": 5440, "ntok": 55 }, { "line": 1765, "ntok": 37 }, { "line": 994, "ntok": 56 }, { "line": 405, "ntok": 68 }, { "line": 5943, "ntok": 47 }, { "line": 4500, "ntok": 56 }, { "line": 4718, "ntok": 38 }, { "line": 10600, "ntok": 47 }, { "line": 7848, "ntok": 66 }, { "line": 4334, "ntok": 38 }, { "line": 11580, "ntok": 48 }, { "line": 7360, "ntok": 48 }, { "line": 10329, "ntok": 57 }, { "line": 8566, "ntok": 57 }, { "line": 4590, "ntok": 48 }, { "line": 1734, "ntok": 38 }, { "line": 9601, "ntok": 70 }, { "line": 6584, "ntok": 69 }, { "line": 3456, "ntok": 48 }, { "line": 4917, "ntok": 47 }, { "line": 2850, "ntok": 48 }, { "line": 3053, "ntok": 56 }, { "line": 1220, "ntok": 38 }, { "line": 9489, "ntok": 65 }, { "line": 7835, "ntok": 65 }, { "line": 4351, "ntok": 69 }, { "line": 9736, "ntok": 56 }, { "line": 7352, "ntok": 57 }, { "line": 3801, "ntok": 56 }, { "line": 6695, "ntok": 69 }, { "line": 896, "ntok": 39 }, { "line": 11073, "ntok": 69 }, { "line": 9295, "ntok": 47 }, { "line": 4224, "ntok": 56 }, { "line": 6376, "ntok": 57 }, { "line": 1653, "ntok": 38 }, { "line": 5885, "ntok": 65 }, { "line": 6056, "ntok": 65 }, { "line": 552, "ntok": 48 }, { "line": 10523, "ntok": 69 }, { "line": 957, "ntok": 69 }, { "line": 9968, "ntok": 38 }, { "line": 6709, "ntok": 38 }, { "line": 2639, "ntok": 38 }, { "line": 4085, "ntok": 56 }, { "line": 4181, "ntok": 56 }, { "line": 11683, "ntok": 47 }, { "line": 7633, "ntok": 47 }, { "line": 1929, "ntok": 47 }, { "line": 2333, "ntok": 39 }, { "line": 5068, "ntok": 69 }, { "line": 6692, "ntok": 70 }, { "line": 9824, "ntok": 48 }, { "line": 2391, "ntok": 70 }, { "line": 5351, "ntok": 65 }, { "line": 666, "ntok": 69 }, { "line": 5249, "ntok": 38 }, { "line": 6405, "ntok": 38 }, { "line": 9934, "ntok": 65 }, { "line": 5051, "ntok": 69 }, { "line": 4511, "ntok": 56 }, { "line": 7004, "ntok": 70 }, { "line": 10964, "ntok": 56 }, { "line": 7158, "ntok": 38 }, { "line": 7199, "ntok": 57 }, { "line": 10062, "ntok": 56 }, { "line": 6216, "ntok": 69 }, { "line": 11357, "ntok": 39 }, { "line": 785, "ntok": 65 }, { "line": 1261, "ntok": 56 }, { "line": 4473, "ntok": 38 }, { "line": 6954, "ntok": 47 }, { "line": 3776, "ntok": 56 }, { "line": 1604, "ntok": 56 }, { "line": 5601, "ntok": 56 }, { "line": 9912, "ntok": 70 }, { "line": 8003, "ntok": 55 }, { "line": 3631, "ntok": 69 }, { "line": 4091, "ntok": 69 }, { "line": 6838, "ntok": 56 }, { "line": 8079, "ntok": 57 }, { "line": 7638, "ntok": 38 }, { "line": 367, "ntok": 56 }, { "line": 4221, "ntok": 69 }, { "line": 8427, "ntok": 69 }, { "line": 9451, "ntok": 56 }, { "line": 10164, "ntok": 68 }, { "line": 2844, "ntok": 69 }, { "line": 6028, "ntok": 47 }, { "line": 11011, "ntok": 48 }, { "line": 7756, "ntok": 65 }, { "line": 7542, "ntok": 65 }, { "line": 2275, "ntok": 56 }, { "line": 11106, "ntok": 38 }, { "line": 882, "ntok": 69 }, { "line": 8400, "ntok": 56 }, { "line": 4031, "ntok": 47 }, { "line": 6753, "ntok": 38 }, { "line": 8351, "ntok": 47 }, { "line": 2070, "ntok": 64 }, { "line": 1642, "ntok": 57 }, { "line": 5353, "ntok": 69 }, { "line": 8035, "ntok": 39 }, { "line": 11123, "ntok": 38 }, { "line": 11692, "ntok": 69 }, { "line": 4439, "ntok": 56 }, { "line": 10087, "ntok": 56 }, { "line": 2589, "ntok": 68 }, { "line": 5749, "ntok": 69 }, { "line": 5968, "ntok": 38 }, { "line": 10364, "ntok": 56 }, { "line": 10792, "ntok": 69 }, { "line": 12014, "ntok": 38 }, { "line": 7782, "ntok": 47 }, { "line": 9602, "ntok": 47 }, { "line": 8270, "ntok": 69 }, { "line": 6423, "ntok": 65 }, { "line": 1026, "ntok": 38 }, { "line": 3835, "ntok": 68 }, { "line": 9620, "ntok": 56 }, { "line": 10978, "ntok": 56 }, { "line": 8905, "ntok": 65 }, { "line": 11677, "ntok": 69 }, { "line": 6273, "ntok": 70 }, { "line": 5258, "ntok": 56 }, { "line": 8771, "ntok": 47 }, { "line": 7675, "ntok": 69 }, { "line": 862, "ntok": 70 }, { "line": 8053, "ntok": 69 }, { "line": 9863, "ntok": 70 }, { "line": 2095, "ntok": 65 }, { "line": 5657, "ntok": 56 }, { "line": 6283, "ntok": 38 }, { "line": 4347, "ntok": 56 }, { "line": 4811, "ntok": 65 }, { "line": 4424, "ntok": 39 }, { "line": 9457, "ntok": 56 }, { "line": 11654, "ntok": 70 }, { "line": 1010, "ntok": 38 }, { "line": 10629, "ntok": 37 }, { "line": 3673, "ntok": 38 }, { "line": 4799, "ntok": 69 }, { "line": 10091, "ntok": 47 }, { "line": 9095, "ntok": 47 }, { "line": 5693, "ntok": 38 }, { "line": 2377, "ntok": 38 }, { "line": 10853, "ntok": 66 }, { "line": 2261, "ntok": 65 }, { "line": 3814, "ntok": 69 }, { "line": 12187, "ntok": 56 }, { "line": 6724, "ntok": 56 }, { "line": 1172, "ntok": 65 }, { "line": 4410, "ntok": 38 }, { "line": 12103, "ntok": 69 }, { "line": 9595, "ntok": 38 }, { "line": 12197, "ntok": 56 }, { "line": 1154, "ntok": 38 }, { "line": 3857, "ntok": 39 }, { "line": 7985, "ntok": 47 }, { "line": 12045, "ntok": 66 }, { "line": 1678, "ntok": 38 }, { "line": 2520, "ntok": 56 }, { "line": 11316, "ntok": 47 }, { "line": 2456, "ntok": 39 }, { "line": 7431, "ntok": 57 }, { "line": 7373, "ntok": 38 }, { "line": 8739, "ntok": 38 }, { "line": 46, "ntok": 69 }, { "line": 3083, "ntok": 57 }, { "line": 11850, "ntok": 38 }, { "line": 11279, "ntok": 56 }, { "line": 4536, "ntok": 69 }, { "line": 1779, "ntok": 47 }, { "line": 2414, "ntok": 47 }, { "line": 1156, "ntok": 69 }, { "line": 5255, "ntok": 57 }, { "line": 6377, "ntok": 56 }, { "line": 11933, "ntok": 69 }, { "line": 8109, "ntok": 48 }, { "line": 7669, "ntok": 47 }, { "line": 3943, "ntok": 56 }, { "line": 210, "ntok": 65 }, { "line": 84, "ntok": 38 }, { "line": 11387, "ntok": 69 }, { "line": 7911, "ntok": 38 }, { "line": 3732, "ntok": 70 }, { "line": 8533, "ntok": 69 }, { "line": 7250, "ntok": 37 }, { "line": 1730, "ntok": 47 }, { "line": 8453, "ntok": 46 }, { "line": 5083, "ntok": 47 }, { "line": 6093, "ntok": 56 }, { "line": 357, "ntok": 69 }, { "line": 8761, "ntok": 56 }, { "line": 4823, "ntok": 65 }, { "line": 6901, "ntok": 69 }, { "line": 7376, "ntok": 39 }, { "line": 9270, "ntok": 37 }, { "line": 583, "ntok": 56 }, { "line": 11340, "ntok": 69 }, { "line": 8930, "ntok": 39 }, { "line": 6811, "ntok": 38 }, { "line": 6999, "ntok": 70 }, { "line": 6321, "ntok": 38 }, { "line": 6987, "ntok": 70 }, { "line": 1890, "ntok": 38 }, { "line": 10607, "ntok": 38 }, { "line": 7006, "ntok": 57 }, { "line": 1061, "ntok": 66 }, { "line": 7488, "ntok": 65 }, { "line": 1228, "ntok": 38 }, { "line": 10669, "ntok": 39 }, { "line": 415, "ntok": 37 }, { "line": 4390, "ntok": 65 }, { "line": 3635, "ntok": 39 }, { "line": 7839, "ntok": 70 }, { "line": 9450, "ntok": 56 }, { "line": 7861, "ntok": 65 }, { "line": 4047, "ntok": 66 }, { "line": 2745, "ntok": 47 }, { "line": 7152, "ntok": 70 }, { "line": 6197, "ntok": 69 }, { "line": 422, "ntok": 56 }, { "line": 334, "ntok": 55 }, { "line": 4302, "ntok": 46 }, { "line": 1665, "ntok": 69 }, { "line": 3079, "ntok": 38 }, { "line": 3873, "ntok": 70 }, { "line": 335, "ntok": 38 }, { "line": 11444, "ntok": 69 }, { "line": 11033, "ntok": 56 }, { "line": 5017, "ntok": 65 }, { "line": 4886, "ntok": 38 }, { "line": 10800, "ntok": 69 }, { "line": 3183, "ntok": 48 }, { "line": 1182, "ntok": 39 }, { "line": 5944, "ntok": 38 }, { "line": 12180, "ntok": 69 }, { "line": 286, "ntok": 38 }, { "line": 3703, "ntok": 38 }, { "line": 12122, "ntok": 65 }, { "line": 1686, "ntok": 39 }, { "line": 8674, "ntok": 69 }, { "line": 7525, "ntok": 39 }, { "line": 8275, "ntok": 56 }, { "line": 1038, "ntok": 47 }, { "line": 225, "ntok": 55 }, { "line": 11786, "ntok": 64 }, { "line": 2725, "ntok": 38 }, { "line": 10434, "ntok": 65 }, { "line": 4040, "ntok": 39 }, { "line": 1782, "ntok": 70 }, { "line": 7472, "ntok": 56 }, { "line": 2935, "ntok": 69 }, { "line": 4751, "ntok": 39 }, { "line": 181, "ntok": 69 }, { "line": 570, "ntok": 66 }, { "line": 487, "ntok": 47 }, { "line": 11538, "ntok": 37 }, { "line": 3571, "ntok": 65 }, { "line": 1073, "ntok": 70 }, { "line": 2587, "ntok": 57 }, { "line": 11689, "ntok": 69 }, { "line": 8365, "ntok": 65 }, { "line": 1614, "ntok": 65 }, { "line": 1028, "ntok": 39 }, { "line": 945, "ntok": 47 }, { "line": 10223, "ntok": 39 }, { "line": 9228, "ntok": 56 }, { "line": 8114, "ntok": 69 }, { "line": 9689, "ntok": 56 }, { "line": 10193, "ntok": 69 }, { "line": 1048, "ntok": 65 }, { "line": 5637, "ntok": 39 }, { "line": 7726, "ntok": 48 }, { "line": 4433, "ntok": 47 }, { "line": 6296, "ntok": 70 }, { "line": 9476, "ntok": 68 }, { "line": 7336, "ntok": 47 }, { "line": 5726, "ntok": 39 }, { "line": 8193, "ntok": 69 }, { "line": 11583, "ntok": 69 }, { "line": 965, "ntok": 48 }, { "line": 6066, "ntok": 47 }, { "line": 3831, "ntok": 69 }, { "line": 11556, "ntok": 57 }, { "line": 8287, "ntok": 38 }, { "line": 9183, "ntok": 66 }, { "line": 11883, "ntok": 56 }, { "line": 8147, "ntok": 65 }, { "line": 3972, "ntok": 69 }, { "line": 1049, "ntok": 56 }, { "line": 2828, "ntok": 69 }, { "line": 11411, "ntok": 55 }, { "line": 3726, "ntok": 38 }, { "line": 9321, "ntok": 39 }, { "line": 6614, "ntok": 69 }, { "line": 3296, "ntok": 38 }, { "line": 2166, "ntok": 47 }, { "line": 11759, "ntok": 56 }, { "line": 4159, "ntok": 47 }, { "line": 4112, "ntok": 56 }, { "line": 12209, "ntok": 47 }, { "line": 6732, "ntok": 38 }, { "line": 8296, "ntok": 56 }, { "line": 7184, "ntok": 38 }, { "line": 7069, "ntok": 57 }, { "line": 10341, "ntok": 47 }, { "line": 11629, "ntok": 47 }, { "line": 4217, "ntok": 47 }, { "line": 10521, "ntok": 37 }, { "line": 5717, "ntok": 57 }, { "line": 7925, "ntok": 56 }, { "line": 7022, "ntok": 38 }, { "line": 993, "ntok": 69 }, { "line": 1647, "ntok": 57 }, { "line": 8162, "ntok": 57 }, { "line": 8294, "ntok": 39 }, { "line": 6746, "ntok": 47 }, { "line": 1957, "ntok": 56 }, { "line": 7854, "ntok": 69 }, { "line": 4301, "ntok": 47 }, { "line": 8482, "ntok": 38 }, { "line": 7723, "ntok": 70 }, { "line": 8599, "ntok": 69 }, { "line": 9666, "ntok": 56 }, { "line": 12044, "ntok": 69 }, { "line": 9394, "ntok": 64 }, { "line": 1344, "ntok": 47 }, { "line": 391, "ntok": 69 }, { "line": 3278, "ntok": 38 }, { "line": 10926, "ntok": 47 }, { "line": 5707, "ntok": 37 }, { "line": 9670, "ntok": 69 }, { "line": 4584, "ntok": 47 }, { "line": 11680, "ntok": 38 }, { "line": 11985, "ntok": 56 }, { "line": 2695, "ntok": 70 }, { "line": 5797, "ntok": 56 }, { "line": 8133, "ntok": 38 }, { "line": 7660, "ntok": 38 }, { "line": 4713, "ntok": 38 }, { "line": 8413, "ntok": 56 }, { "line": 2873, "ntok": 38 }, { "line": 11334, "ntok": 56 }, { "line": 3803, "ntok": 56 }, { "line": 5395, "ntok": 69 }, { "line": 1578, "ntok": 37 }, { "line": 8570, "ntok": 38 }, { "line": 9273, "ntok": 56 }, { "line": 508, "ntok": 55 }, { "line": 2798, "ntok": 66 }, { "line": 3482, "ntok": 46 }, { "line": 11276, "ntok": 47 }, { "line": 10571, "ntok": 69 }, { "line": 9497, "ntok": 69 }, { "line": 191, "ntok": 56 }, { "line": 6005, "ntok": 39 }, { "line": 9255, "ntok": 47 }, { "line": 6839, "ntok": 39 }, { "line": 6265, "ntok": 55 }, { "line": 4452, "ntok": 65 }, { "line": 675, "ntok": 47 }, { "line": 10192, "ntok": 39 }, { "line": 8014, "ntok": 48 }, { "line": 6084, "ntok": 55 }, { "line": 2778, "ntok": 38 }, { "line": 11420, "ntok": 47 }, { "line": 558, "ntok": 69 }, { "line": 6214, "ntok": 65 }, { "line": 1276, "ntok": 69 }, { "line": 7424, "ntok": 48 }, { "line": 5224, "ntok": 56 }, { "line": 3748, "ntok": 38 }, { "line": 10706, "ntok": 70 }, { "line": 4189, "ntok": 47 }, { "line": 5846, "ntok": 65 }, { "line": 4840, "ntok": 69 }, { "line": 7078, "ntok": 56 }, { "line": 8164, "ntok": 39 }, { "line": 10810, "ntok": 69 }, { "line": 8446, "ntok": 38 }, { "line": 3280, "ntok": 57 }, { "line": 6493, "ntok": 57 }, { "line": 6445, "ntok": 48 }, { "line": 10615, "ntok": 56 }, { "line": 5426, "ntok": 55 }, { "line": 11636, "ntok": 47 }, { "line": 13, "ntok": 39 }, { "line": 7415, "ntok": 56 }, { "line": 9076, "ntok": 66 }, { "line": 9680, "ntok": 38 }, { "line": 1971, "ntok": 37 }, { "line": 722, "ntok": 47 }, { "line": 5565, "ntok": 39 }, { "line": 1628, "ntok": 47 }, { "line": 11122, "ntok": 69 }, { "line": 4990, "ntok": 38 }, { "line": 1922, "ntok": 38 }, { "line": 9334, "ntok": 69 }, { "line": 7720, "ntok": 38 }, { "line": 4059, "ntok": 70 }, { "line": 6100, "ntok": 39 }, { "line": 8411, "ntok": 47 }, { "line": 10950, "ntok": 47 }, { "line": 7142, "ntok": 37 }, { "line": 12150, "ntok": 70 }, { "line": 3882, "ntok": 47 }, { "line": 7942, "ntok": 47 }, { "line": 8382, "ntok": 56 }, { "line": 4838, "ntok": 38 }, { "line": 8288, "ntok": 65 }, { "line": 71, "ntok": 38 }, { "line": 12190, "ntok": 38 }, { "line": 45, "ntok": 68 }, { "line": 7566, "ntok": 48 }, { "line": 12222, "ntok": 55 }, { "line": 11259, "ntok": 56 }, { "line": 3459, "ntok": 39 }, { "line": 11417, "ntok": 38 }, { "line": 10449, "ntok": 56 }, { "line": 720, "ntok": 65 }, { "line": 8729, "ntok": 69 }, { "line": 9318, "ntok": 69 }, { "line": 9280, "ntok": 38 }, { "line": 9039, "ntok": 38 }, { "line": 8353, "ntok": 56 }, { "line": 438, "ntok": 56 }, { "line": 9292, "ntok": 47 }, { "line": 4573, "ntok": 65 }, { "line": 6437, "ntok": 48 }, { "line": 11989, "ntok": 38 }, { "line": 6157, "ntok": 55 }, { "line": 644, "ntok": 69 }, { "line": 10991, "ntok": 68 }, { "line": 10293, "ntok": 56 }, { "line": 7339, "ntok": 48 }, { "line": 941, "ntok": 57 }, { "line": 11435, "ntok": 69 }, { "line": 5158, "ntok": 69 }, { "line": 5113, "ntok": 65 }, { "line": 1043, "ntok": 56 }, { "line": 2878, "ntok": 66 }, { "line": 4634, "ntok": 57 }, { "line": 9445, "ntok": 65 }, { "line": 6949, "ntok": 70 }, { "line": 11778, "ntok": 38 }, { "line": 9103, "ntok": 56 }, { "line": 8356, "ntok": 39 }, { "line": 2971, "ntok": 56 }, { "line": 9158, "ntok": 38 }, { "line": 12002, "ntok": 65 }, { "line": 4203, "ntok": 38 }, { "line": 86, "ntok": 69 }, { "line": 4338, "ntok": 38 }, { "line": 7860, "ntok": 47 }, { "line": 1374, "ntok": 64 }, { "line": 7963, "ntok": 69 }, { "line": 4574, "ntok": 69 }, { "line": 2371, "ntok": 70 }, { "line": 8106, "ntok": 47 }, { "line": 9983, "ntok": 69 }, { "line": 6289, "ntok": 68 }, { "line": 11205, "ntok": 69 }, { "line": 10241, "ntok": 69 }, { "line": 10724, "ntok": 39 }, { "line": 10198, "ntok": 38 }, { "line": 6621, "ntok": 38 }, { "line": 2356, "ntok": 56 }, { "line": 595, "ntok": 56 }, { "line": 3650, "ntok": 38 }, { "line": 4724, "ntok": 69 }, { "line": 5546, "ntok": 69 }, { "line": 8927, "ntok": 38 }, { "line": 5085, "ntok": 69 }, { "line": 11675, "ntok": 56 }, { "line": 5547, "ntok": 56 }, { "line": 818, "ntok": 48 }, { "line": 4162, "ntok": 69 }, { "line": 1206, "ntok": 56 }, { "line": 3819, "ntok": 47 }, { "line": 11001, "ntok": 69 }, { "line": 8700, "ntok": 38 }, { "line": 1194, "ntok": 47 }, { "line": 9742, "ntok": 56 }, { "line": 804, "ntok": 38 }, { "line": 1706, "ntok": 56 }, { "line": 9126, "ntok": 57 }, { "line": 1545, "ntok": 69 }, { "line": 12173, "ntok": 38 }, { "line": 9462, "ntok": 57 }, { "line": 1592, "ntok": 39 }, { "line": 12007, "ntok": 38 }, { "line": 6178, "ntok": 47 }, { "line": 5266, "ntok": 47 }, { "line": 6012, "ntok": 46 }, { "line": 601, "ntok": 48 }, { "line": 8273, "ntok": 56 }, { "line": 3139, "ntok": 38 }, { "line": 10047, "ntok": 56 }, { "line": 744, "ntok": 39 }, { "line": 11628, "ntok": 38 }, { "line": 2115, "ntok": 38 }, { "line": 2755, "ntok": 65 }, { "line": 8471, "ntok": 39 }, { "line": 7306, "ntok": 70 }, { "line": 1104, "ntok": 39 }, { "line": 9030, "ntok": 39 }, { "line": 667, "ntok": 65 }, { "line": 1260, "ntok": 38 }, { "line": 11721, "ntok": 39 }, { "line": 12049, "ntok": 48 }, { "line": 5187, "ntok": 39 }, { "line": 11581, "ntok": 70 }, { "line": 4090, "ntok": 47 }, { "line": 2961, "ntok": 56 }, { "line": 1453, "ntok": 70 }, { "line": 1063, "ntok": 56 }, { "line": 3629, "ntok": 69 }, { "line": 5770, "ntok": 38 }, { "line": 10806, "ntok": 57 }, { "line": 8313, "ntok": 38 }, { "line": 1613, "ntok": 38 }, { "line": 7120, "ntok": 57 }, { "line": 439, "ntok": 38 }, { "line": 11146, "ntok": 56 }, { "line": 8091, "ntok": 69 }, { "line": 11791, "ntok": 65 }, { "line": 11905, "ntok": 39 }, { "line": 7246, "ntok": 57 }, { "line": 9998, "ntok": 47 }, { "line": 5993, "ntok": 56 }, { "line": 10222, "ntok": 69 }, { "line": 2718, "ntok": 56 }, { "line": 7752, "ntok": 56 }, { "line": 11338, "ntok": 70 }, { "line": 7240, "ntok": 55 }, { "line": 11095, "ntok": 56 }, { "line": 938, "ntok": 69 }, { "line": 9821, "ntok": 55 }, { "line": 10520, "ntok": 39 }, { "line": 7663, "ntok": 38 }, { "line": 4082, "ntok": 38 }, { "line": 572, "ntok": 56 }, { "line": 11432, "ntok": 69 }, { "line": 7536, "ntok": 56 }, { "line": 9637, "ntok": 38 }, { "line": 5754, "ntok": 56 }, { "line": 8643, "ntok": 39 }, { "line": 5970, "ntok": 65 }, { "line": 5048, "ntok": 39 }, { "line": 7315, "ntok": 56 }, { "line": 8105, "ntok": 38 }, { "line": 7374, "ntok": 57 }, { "line": 5555, "ntok": 65 }, { "line": 2847, "ntok": 48 }, { "line": 4640, "ntok": 69 }, { "line": 7591, "ntok": 55 }, { "line": 2478, "ntok": 38 }, { "line": 8821, "ntok": 47 }, { "line": 7342, "ntok": 48 }, { "line": 5529, "ntok": 56 }, { "line": 3371, "ntok": 69 }, { "line": 5236, "ntok": 47 }, { "line": 12135, "ntok": 55 }, { "line": 4610, "ntok": 57 }, { "line": 8842, "ntok": 39 }, { "line": 9, "ntok": 39 }, { "line": 6873, "ntok": 38 }, { "line": 688, "ntok": 38 }, { "line": 936, "ntok": 38 }, { "line": 8626, "ntok": 38 }, { "line": 9282, "ntok": 65 }, { "line": 10151, "ntok": 37 }, { "line": 1150, "ntok": 69 }, { "line": 7941, "ntok": 38 }, { "line": 4809, "ntok": 70 }, { "line": 6062, "ntok": 38 }, { "line": 10118, "ntok": 47 }, { "line": 8582, "ntok": 70 }, { "line": 9597, "ntok": 69 }, { "line": 5633, "ntok": 70 }, { "line": 8861, "ntok": 70 }, { "line": 223, "ntok": 38 }, { "line": 8887, "ntok": 69 }, { "line": 4231, "ntok": 47 }, { "line": 10056, "ntok": 48 }, { "line": 8638, "ntok": 68 }, { "line": 2103, "ntok": 65 }, { "line": 7917, "ntok": 56 }, { "line": 11605, "ntok": 48 }, { "line": 618, "ntok": 39 }, { "line": 3990, "ntok": 56 }, { "line": 1022, "ntok": 37 }, { "line": 6292, "ntok": 47 }, { "line": 8088, "ntok": 47 }, { "line": 7892, "ntok": 65 }, { "line": 5137, "ntok": 48 }, { "line": 12081, "ntok": 38 }, { "line": 1227, "ntok": 47 }, { "line": 3178, "ntok": 56 }, { "line": 10230, "ntok": 57 }, { "line": 2123, "ntok": 56 }, { "line": 9810, "ntok": 38 }, { "line": 11530, "ntok": 56 }, { "line": 1379, "ntok": 48 }, { "line": 6074, "ntok": 70 }, { "line": 4225, "ntok": 69 }, { "line": 7126, "ntok": 56 }, { "line": 6900, "ntok": 47 }, { "line": 5656, "ntok": 38 }, { "line": 7969, "ntok": 69 }, { "line": 6793, "ntok": 65 }, { "line": 11024, "ntok": 47 }, { "line": 2008, "ntok": 38 }, { "line": 9272, "ntok": 57 }, { "line": 5453, "ntok": 48 }, { "line": 4960, "ntok": 47 }, { "line": 6082, "ntok": 47 }, { "line": 9780, "ntok": 69 }, { "line": 1724, "ntok": 56 }, { "line": 4832, "ntok": 69 }, { "line": 11098, "ntok": 69 }, { "line": 2158, "ntok": 38 }, { "line": 4282, "ntok": 38 }, { "line": 10977, "ntok": 56 }, { "line": 8779, "ntok": 70 }, { "line": 2131, "ntok": 38 }, { "line": 8419, "ntok": 69 }, { "line": 9046, "ntok": 69 }, { "line": 9515, "ntok": 38 }, { "line": 5525, "ntok": 66 }, { "line": 5445, "ntok": 57 }, { "line": 6301, "ntok": 56 }, { "line": 6015, "ntok": 65 }, { "line": 3180, "ntok": 47 }, { "line": 2512, "ntok": 65 }, { "line": 168, "ntok": 38 }, { "line": 258, "ntok": 56 }, { "line": 1505, "ntok": 56 }, { "line": 7563, "ntok": 69 }, { "line": 3915, "ntok": 65 }, { "line": 5571, "ntok": 69 }, { "line": 5251, "ntok": 69 }, { "line": 4620, "ntok": 39 }, { "line": 11035, "ntok": 65 }, { "line": 9234, "ntok": 56 }, { "line": 8477, "ntok": 37 }, { "line": 6765, "ntok": 38 }, { "line": 11522, "ntok": 56 }, { "line": 3846, "ntok": 69 }, { "line": 8676, "ntok": 38 }, { "line": 1209, "ntok": 38 }, { "line": 11704, "ntok": 47 }, { "line": 12056, "ntok": 39 }, { "line": 10803, "ntok": 65 }, { "line": 8787, "ntok": 56 }, { "line": 9987, "ntok": 55 }, { "line": 7646, "ntok": 56 }, { "line": 4671, "ntok": 69 }, { "line": 10872, "ntok": 57 }, { "line": 6402, "ntok": 47 }, { "line": 9287, "ntok": 47 }, { "line": 827, "ntok": 57 }, { "line": 9610, "ntok": 38 }, { "line": 7027, "ntok": 69 }, { "line": 5884, "ntok": 46 }, { "line": 327, "ntok": 47 }, { "line": 9391, "ntok": 69 }, { "line": 11315, "ntok": 47 }, { "line": 8068, "ntok": 47 }, { "line": 7173, "ntok": 37 }, { "line": 8155, "ntok": 56 }, { "line": 2179, "ntok": 47 }, { "line": 7172, "ntok": 47 }, { "line": 5614, "ntok": 37 }, { "line": 9855, "ntok": 69 }, { "line": 3468, "ntok": 66 }, { "line": 5125, "ntok": 57 }, { "line": 8511, "ntok": 47 }, { "line": 11467, "ntok": 37 }, { "line": 12080, "ntok": 47 }, { "line": 6760, "ntok": 38 }, { "line": 8403, "ntok": 65 }, { "line": 6294, "ntok": 65 }, { "line": 10053, "ntok": 56 }, { "line": 5784, "ntok": 69 }, { "line": 10365, "ntok": 56 }, { "line": 6429, "ntok": 38 }, { "line": 8945, "ntok": 38 }, { "line": 8343, "ntok": 56 }, { "line": 2562, "ntok": 38 }, { "line": 742, "ntok": 69 }, { "line": 6726, "ntok": 38 }, { "line": 4456, "ntok": 69 }, { "line": 11116, "ntok": 48 }, { "line": 10199, "ntok": 38 }, { "line": 8681, "ntok": 56 }, { "line": 3223, "ntok": 47 }, { "line": 3496, "ntok": 38 }, { "line": 6965, "ntok": 39 }, { "line": 7347, "ntok": 69 }, { "line": 5963, "ntok": 56 }, { "line": 161, "ntok": 47 }, { "line": 902, "ntok": 69 }, { "line": 8657, "ntok": 70 }, { "line": 9582, "ntok": 47 }, { "line": 1573, "ntok": 65 }, { "line": 5328, "ntok": 56 }, { "line": 6162, "ntok": 68 }, { "line": 4653, "ntok": 56 }, { "line": 926, "ntok": 46 }, { "line": 2822, "ntok": 38 }, { "line": 3524, "ntok": 48 }, { "line": 7547, "ntok": 38 }, { "line": 9214, "ntok": 47 }, { "line": 2341, "ntok": 56 }, { "line": 3921, "ntok": 66 }, { "line": 1068, "ntok": 38 }, { "line": 6808, "ntok": 68 }, { "line": 1735, "ntok": 70 }, { "line": 3240, "ntok": 69 }, { "line": 2388, "ntok": 69 }, { "line": 10127, "ntok": 38 }, { "line": 3169, "ntok": 69 }, { "line": 980, "ntok": 69 }, { "line": 8823, "ntok": 48 }, { "line": 2367, "ntok": 70 }, { "line": 12211, "ntok": 56 }, { "line": 2078, "ntok": 47 }, { "line": 10782, "ntok": 38 }, { "line": 8139, "ntok": 38 }, { "line": 1201, "ntok": 69 }, { "line": 10301, "ntok": 57 }, { "line": 5098, "ntok": 56 }, { "line": 293, "ntok": 69 }, { "line": 1955, "ntok": 66 }, { "line": 7869, "ntok": 38 }, { "line": 2676, "ntok": 47 }, { "line": 7322, "ntok": 69 }, { "line": 2927, "ntok": 69 }, { "line": 529, "ntok": 56 }, { "line": 9785, "ntok": 38 }, { "line": 6001, "ntok": 38 }, { "line": 9587, "ntok": 38 }, { "line": 9750, "ntok": 46 }, { "line": 5277, "ntok": 64 }, { "line": 433, "ntok": 47 }, { "line": 5232, "ntok": 56 }, { "line": 8239, "ntok": 69 }, { "line": 10083, "ntok": 48 }, { "line": 3034, "ntok": 65 }, { "line": 4063, "ntok": 39 }, { "line": 10327, "ntok": 64 }, { "line": 6322, "ntok": 69 }, { "line": 1998, "ntok": 69 }, { "line": 6923, "ntok": 55 }, { "line": 9146, "ntok": 38 }, { "line": 3538, "ntok": 65 }, { "line": 8573, "ntok": 47 }, { "line": 3026, "ntok": 38 }, { "line": 1567, "ntok": 69 }, { "line": 12201, "ntok": 56 }, { "line": 6725, "ntok": 48 }, { "line": 8514, "ntok": 38 }, { "line": 4817, "ntok": 47 }, { "line": 7161, "ntok": 56 }, { "line": 1391, "ntok": 69 }, { "line": 4281, "ntok": 37 }, { "line": 3408, "ntok": 38 }, { "line": 10827, "ntok": 69 }, { "line": 3290, "ntok": 38 }, { "line": 5411, "ntok": 38 }, { "line": 1895, "ntok": 70 }, { "line": 1483, "ntok": 69 }, { "line": 4087, "ntok": 69 }, { "line": 8249, "ntok": 39 }, { "line": 7697, "ntok": 57 }, { "line": 5156, "ntok": 47 }, { "line": 9288, "ntok": 48 }, { "line": 6803, "ntok": 69 }, { "line": 8028, "ntok": 69 }, { "line": 3642, "ntok": 48 }, { "line": 1834, "ntok": 56 }, { "line": 9809, "ntok": 48 }, { "line": 4535, "ntok": 39 }, { "line": 2673, "ntok": 57 }, { "line": 10536, "ntok": 56 }, { "line": 6221, "ntok": 57 }, { "line": 10936, "ntok": 47 }, { "line": 777, "ntok": 65 }, { "line": 7005, "ntok": 66 }, { "line": 11818, "ntok": 56 }, { "line": 11906, "ntok": 56 }, { "line": 845, "ntok": 47 }, { "line": 2036, "ntok": 48 }, { "line": 8810, "ntok": 55 }, { "line": 2968, "ntok": 55 }, { "line": 8540, "ntok": 47 }, { "line": 4325, "ntok": 39 }, { "line": 6850, "ntok": 56 }, { "line": 7136, "ntok": 56 }, { "line": 8054, "ntok": 39 }, { "line": 2013, "ntok": 69 }, { "line": 5114, "ntok": 38 }, { "line": 8292, "ntok": 39 }, { "line": 5086, "ntok": 69 }, { "line": 4906, "ntok": 55 }, { "line": 6572, "ntok": 56 }, { "line": 7779, "ntok": 47 }, { "line": 1485, "ntok": 64 }, { "line": 7645, "ntok": 38 }, { "line": 11396, "ntok": 69 }, { "line": 2018, "ntok": 47 }, { "line": 3375, "ntok": 69 }, { "line": 176, "ntok": 69 }, { "line": 10661, "ntok": 56 }, { "line": 3151, "ntok": 56 }, { "line": 7524, "ntok": 69 }, { "line": 5191, "ntok": 38 }, { "line": 4986, "ntok": 56 }, { "line": 597, "ntok": 37 }, { "line": 1852, "ntok": 69 }, { "line": 3300, "ntok": 65 }, { "line": 11541, "ntok": 69 }, { "line": 816, "ntok": 38 }, { "line": 7989, "ntok": 38 }, { "line": 3751, "ntok": 57 }, { "line": 8608, "ntok": 55 }, { "line": 3699, "ntok": 65 }, { "line": 3006, "ntok": 56 }, { "line": 1799, "ntok": 47 }, { "line": 672, "ntok": 57 }, { "line": 2037, "ntok": 57 }, { "line": 988, "ntok": 39 }, { "line": 4431, "ntok": 55 }, { "line": 3397, "ntok": 47 }, { "line": 12130, "ntok": 57 }, { "line": 7176, "ntok": 70 }, { "line": 7132, "ntok": 47 }, { "line": 11284, "ntok": 38 }, { "line": 4932, "ntok": 39 }, { "line": 1054, "ntok": 38 }, { "line": 10398, "ntok": 47 }, { "line": 9886, "ntok": 39 }, { "line": 9051, "ntok": 38 }, { "line": 6204, "ntok": 56 }, { "line": 3828, "ntok": 70 }, { "line": 11935, "ntok": 65 }, { "line": 6790, "ntok": 48 }, { "line": 1166, "ntok": 57 }, { "line": 6472, "ntok": 48 }, { "line": 9858, "ntok": 56 }, { "line": 8663, "ntok": 47 }, { "line": 7070, "ntok": 56 }, { "line": 3431, "ntok": 69 }, { "line": 1428, "ntok": 56 }, { "line": 6415, "ntok": 69 }, { "line": 11528, "ntok": 37 }, { "line": 2317, "ntok": 65 }, { "line": 3387, "ntok": 38 }, { "line": 2845, "ntok": 69 }, { "line": 5984, "ntok": 38 }, { "line": 11227, "ntok": 38 }, { "line": 10185, "ntok": 68 }, { "line": 5303, "ntok": 38 }, { "line": 11518, "ntok": 56 }, { "line": 9673, "ntok": 56 }, { "line": 5922, "ntok": 38 }, { "line": 4404, "ntok": 69 }, { "line": 11237, "ntok": 57 }, { "line": 11210, "ntok": 57 }, { "line": 2438, "ntok": 65 }, { "line": 9797, "ntok": 39 }, { "line": 11734, "ntok": 69 }, { "line": 325, "ntok": 64 }, { "line": 393, "ntok": 64 }, { "line": 731, "ntok": 39 }, { "line": 1641, "ntok": 65 }, { "line": 2472, "ntok": 69 }, { "line": 4016, "ntok": 47 }, { "line": 3688, "ntok": 68 }, { "line": 1007, "ntok": 48 }, { "line": 10332, "ntok": 70 }, { "line": 6846, "ntok": 48 }, { "line": 4436, "ntok": 47 }, { "line": 10177, "ntok": 55 }, { "line": 12121, "ntok": 69 }, { "line": 2062, "ntok": 46 }, { "line": 4072, "ntok": 47 }, { "line": 4649, "ntok": 39 }, { "line": 11900, "ntok": 38 }, { "line": 8115, "ntok": 47 }, { "line": 3308, "ntok": 69 }, { "line": 6605, "ntok": 69 }, { "line": 690, "ntok": 69 }, { "line": 11548, "ntok": 70 }, { "line": 3158, "ntok": 38 }, { "line": 6409, "ntok": 47 }, { "line": 714, "ntok": 65 }, { "line": 3818, "ntok": 69 }, { "line": 7805, "ntok": 69 }, { "line": 2599, "ntok": 38 }, { "line": 4239, "ntok": 69 }, { "line": 5766, "ntok": 38 }, { "line": 5233, "ntok": 39 }, { "line": 9959, "ntok": 38 }, { "line": 9176, "ntok": 47 }, { "line": 1204, "ntok": 69 }, { "line": 7711, "ntok": 56 }, { "line": 9229, "ntok": 68 }, { "line": 2496, "ntok": 69 }, { "line": 6295, "ntok": 47 }, { "line": 2748, "ntok": 46 }, { "line": 10476, "ntok": 69 }, { "line": 9102, "ntok": 69 }, { "line": 2397, "ntok": 69 }, { "line": 5752, "ntok": 48 }, { "line": 6963, "ntok": 37 }, { "line": 2113, "ntok": 38 }, { "line": 11584, "ntok": 38 }, { "line": 10347, "ntok": 38 }, { "line": 11341, "ntok": 47 }, { "line": 682, "ntok": 64 }, { "line": 12199, "ntok": 69 }, { "line": 2016, "ntok": 38 }, { "line": 8515, "ntok": 39 }, { "line": 11760, "ntok": 69 }, { "line": 9430, "ntok": 38 }, { "line": 11988, "ntok": 69 }, { "line": 14, "ntok": 70 }, { "line": 4894, "ntok": 68 }, { "line": 2357, "ntok": 57 }, { "line": 11248, "ntok": 55 }, { "line": 9227, "ntok": 38 }, { "line": 10217, "ntok": 56 }, { "line": 10725, "ntok": 56 }, { "line": 5311, "ntok": 57 }, { "line": 1231, "ntok": 38 }, { "line": 5676, "ntok": 57 }, { "line": 5619, "ntok": 39 }, { "line": 8957, "ntok": 65 }, { "line": 11812, "ntok": 68 }, { "line": 1283, "ntok": 68 }, { "line": 6414, "ntok": 46 }, { "line": 9354, "ntok": 56 }, { "line": 5850, "ntok": 69 }, { "line": 7678, "ntok": 69 }, { "line": 8415, "ntok": 69 }, { "line": 3234, "ntok": 57 }, { "line": 9033, "ntok": 47 }, { "line": 5103, "ntok": 47 }, { "line": 2488, "ntok": 56 }, { "line": 9929, "ntok": 69 }, { "line": 4949, "ntok": 56 }, { "line": 9482, "ntok": 57 }, { "line": 8210, "ntok": 70 }, { "line": 4972, "ntok": 39 }, { "line": 11957, "ntok": 38 }, { "line": 8510, "ntok": 48 }, { "line": 11160, "ntok": 69 }, { "line": 6341, "ntok": 68 }, { "line": 11119, "ntok": 66 }, { "line": 6641, "ntok": 47 }, { "line": 12068, "ntok": 69 }, { "line": 1127, "ntok": 64 }, { "line": 3351, "ntok": 66 }, { "line": 472, "ntok": 47 }, { "line": 5149, "ntok": 38 }, { "line": 10518, "ntok": 69 }, { "line": 11093, "ntok": 38 }, { "line": 7292, "ntok": 47 }, { "line": 6167, "ntok": 39 }, { "line": 8130, "ntok": 56 }, { "line": 4812, "ntok": 68 }, { "line": 12155, "ntok": 38 }, { "line": 6774, "ntok": 46 }, { "line": 8455, "ntok": 56 }, { "line": 5727, "ntok": 69 }, { "line": 5738, "ntok": 39 }, { "line": 10610, "ntok": 69 }, { "line": 1818, "ntok": 65 }, { "line": 2625, "ntok": 48 }, { "line": 1763, "ntok": 70 }, { "line": 5690, "ntok": 46 }, { "line": 5121, "ntok": 68 }, { "line": 11656, "ntok": 56 }, { "line": 5144, "ntok": 69 }, { "line": 11659, "ntok": 39 }, { "line": 1487, "ntok": 38 }, { "line": 7540, "ntok": 55 }, { "line": 5594, "ntok": 66 }, { "line": 6393, "ntok": 39 }, { "line": 6674, "ntok": 39 }, { "line": 5276, "ntok": 46 }, { "line": 1840, "ntok": 48 }, { "line": 5337, "ntok": 48 }, { "line": 5517, "ntok": 69 }, { "line": 5067, "ntok": 48 }, { "line": 2940, "ntok": 38 }, { "line": 10458, "ntok": 38 }, { "line": 8493, "ntok": 48 }, { "line": 7792, "ntok": 69 }, { "line": 2645, "ntok": 47 }, { "line": 774, "ntok": 56 }, { "line": 9137, "ntok": 70 }, { "line": 10606, "ntok": 70 }, { "line": 11381, "ntok": 48 }, { "line": 1195, "ntok": 38 }, { "line": 9864, "ntok": 69 }, { "line": 4187, "ntok": 56 }, { "line": 2426, "ntok": 56 }, { "line": 493, "ntok": 69 }, { "line": 7361, "ntok": 69 }, { "line": 11108, "ntok": 48 }, { "line": 1203, "ntok": 65 }, { "line": 3222, "ntok": 69 }, { "line": 1603, "ntok": 64 }, { "line": 11693, "ntok": 55 }, { "line": 8483, "ntok": 47 }, { "line": 8772, "ntok": 56 }, { "line": 6391, "ntok": 70 }, { "line": 2185, "ntok": 70 }, { "line": 1434, "ntok": 66 }, { "line": 3784, "ntok": 47 }, { "line": 3411, "ntok": 68 }, { "line": 8311, "ntok": 38 }, { "line": 9937, "ntok": 47 }, { "line": 3024, "ntok": 38 }, { "line": 10104, "ntok": 64 }, { "line": 3855, "ntok": 47 }, { "line": 10505, "ntok": 56 }, { "line": 10689, "ntok": 69 }, { "line": 6334, "ntok": 39 }, { "line": 6647, "ntok": 38 }, { "line": 3128, "ntok": 38 }, { "line": 1903, "ntok": 69 }, { "line": 7066, "ntok": 69 }, { "line": 2766, "ntok": 66 }, { "line": 5448, "ntok": 38 }, { "line": 5544, "ntok": 48 }, { "line": 184, "ntok": 37 }, { "line": 5928, "ntok": 69 }, { "line": 8005, "ntok": 69 }, { "line": 6411, "ntok": 70 }, { "line": 5363, "ntok": 65 }, { "line": 2098, "ntok": 69 }, { "line": 887, "ntok": 38 }, { "line": 7906, "ntok": 39 }, { "line": 7241, "ntok": 39 }, { "line": 4382, "ntok": 47 }, { "line": 11427, "ntok": 70 }, { "line": 4983, "ntok": 57 }, { "line": 10934, "ntok": 56 }, { "line": 5980, "ntok": 48 }, { "line": 2461, "ntok": 69 }, { "line": 5814, "ntok": 57 }, { "line": 2244, "ntok": 39 }, { "line": 1925, "ntok": 65 }, { "line": 9059, "ntok": 39 }, { "line": 7500, "ntok": 69 }, { "line": 4880, "ntok": 38 }, { "line": 3233, "ntok": 69 }, { "line": 3430, "ntok": 70 }, { "line": 4499, "ntok": 48 }, { "line": 2889, "ntok": 47 }, { "line": 7568, "ntok": 39 }, { "line": 7305, "ntok": 39 }, { "line": 2462, "ntok": 55 }, { "line": 3204, "ntok": 65 }, { "line": 8387, "ntok": 69 }, { "line": 11209, "ntok": 39 }, { "line": 5280, "ntok": 46 }, { "line": 8364, "ntok": 39 }, { "line": 4236, "ntok": 56 }, { "line": 2638, "ntok": 57 }, { "line": 5867, "ntok": 56 }, { "line": 10515, "ntok": 65 }, { "line": 8026, "ntok": 66 }, { "line": 7098, "ntok": 69 }, { "line": 10519, "ntok": 39 }, { "line": 2473, "ntok": 70 }, { "line": 7703, "ntok": 56 }, { "line": 4579, "ntok": 38 }, { "line": 8378, "ntok": 69 }, { "line": 8917, "ntok": 70 }, { "line": 7957, "ntok": 69 }, { "line": 5071, "ntok": 56 }, { "line": 7643, "ntok": 38 }, { "line": 7370, "ntok": 70 }, { "line": 5081, "ntok": 56 }, { "line": 4261, "ntok": 56 }, { "line": 3263, "ntok": 56 }, { "line": 9743, "ntok": 56 }, { "line": 9034, "ntok": 37 }, { "line": 3366, "ntok": 68 }, { "line": 6627, "ntok": 47 }, { "line": 1355, "ntok": 69 }, { "line": 1163, "ntok": 47 }, { "line": 10727, "ntok": 37 }, { "line": 1337, "ntok": 69 }, { "line": 4277, "ntok": 38 }, { "line": 9332, "ntok": 56 }, { "line": 3570, "ntok": 48 }, { "line": 1451, "ntok": 47 }, { "line": 6151, "ntok": 38 }, { "line": 5543, "ntok": 48 }, { "line": 8421, "ntok": 38 }, { "line": 5835, "ntok": 39 }, { "line": 9675, "ntok": 69 }, { "line": 4720, "ntok": 47 }, { "line": 2852, "ntok": 65 }, { "line": 4139, "ntok": 69 }, { "line": 11048, "ntok": 56 }, { "line": 7461, "ntok": 48 }, { "line": 11117, "ntok": 69 }, { "line": 6494, "ntok": 56 }, { "line": 2624, "ntok": 38 }, { "line": 6226, "ntok": 47 }, { "line": 8459, "ntok": 69 }, { "line": 9114, "ntok": 47 }, { "line": 2711, "ntok": 65 }, { "line": 1225, "ntok": 37 }, { "line": 2786, "ntok": 56 }, { "line": 10030, "ntok": 55 }, { "line": 4267, "ntok": 70 }, { "line": 9148, "ntok": 39 }, { "line": 11297, "ntok": 70 }, { "line": 6943, "ntok": 37 }, { "line": 11196, "ntok": 69 }, { "line": 7338, "ntok": 38 }, { "line": 10218, "ntok": 39 }, { "line": 10917, "ntok": 69 }, { "line": 4235, "ntok": 56 }, { "line": 1906, "ntok": 56 }, { "line": 9686, "ntok": 39 }, { "line": 5474, "ntok": 38 }, { "line": 5569, "ntok": 38 }, { "line": 2767, "ntok": 69 }, { "line": 11681, "ntok": 69 }, { "line": 500, "ntok": 69 }, { "line": 3389, "ntok": 65 }, { "line": 10011, "ntok": 69 }, { "line": 7945, "ntok": 68 }, { "line": 4637, "ntok": 38 }, { "line": 4709, "ntok": 69 }, { "line": 8755, "ntok": 69 }, { "line": 864, "ntok": 66 }, { "line": 11768, "ntok": 69 }, { "line": 9812, "ntok": 47 }, { "line": 1517, "ntok": 47 }, { "line": 1722, "ntok": 57 }, { "line": 11744, "ntok": 56 }, { "line": 4964, "ntok": 38 }, { "line": 2471, "ntok": 48 }, { "line": 1364, "ntok": 39 }, { "line": 9880, "ntok": 38 }, { "line": 3874, "ntok": 57 }, { "line": 12089, "ntok": 47 }, { "line": 2550, "ntok": 47 }, { "line": 7636, "ntok": 56 }, { "line": 8537, "ntok": 56 }, { "line": 2906, "ntok": 38 }, { "line": 1537, "ntok": 56 }, { "line": 784, "ntok": 56 }, { "line": 9879, "ntok": 39 }, { "line": 12055, "ntok": 65 }, { "line": 7226, "ntok": 69 }, { "line": 8641, "ntok": 47 }, { "line": 418, "ntok": 56 }, { "line": 11598, "ntok": 47 }, { "line": 5572, "ntok": 69 }, { "line": 960, "ntok": 57 }, { "line": 2418, "ntok": 47 }, { "line": 7974, "ntok": 56 }, { "line": 8134, "ntok": 46 }, { "line": 12039, "ntok": 48 }, { "line": 9626, "ntok": 46 }, { "line": 6776, "ntok": 65 }, { "line": 6038, "ntok": 39 }, { "line": 1719, "ntok": 38 }, { "line": 78, "ntok": 38 }, { "line": 8953, "ntok": 38 }, { "line": 4114, "ntok": 69 }, { "line": 9305, "ntok": 47 }, { "line": 3027, "ntok": 68 }, { "line": 8798, "ntok": 69 }, { "line": 3569, "ntok": 57 }, { "line": 1093, "ntok": 47 }, { "line": 7767, "ntok": 70 }, { "line": 6881, "ntok": 69 }, { "line": 3361, "ntok": 56 }, { "line": 5840, "ntok": 38 }, { "line": 199, "ntok": 56 }, { "line": 3189, "ntok": 65 }, { "line": 10909, "ntok": 57 }, { "line": 8932, "ntok": 56 }, { "line": 7824, "ntok": 66 }, { "line": 7648, "ntok": 65 }, { "line": 3229, "ntok": 56 }, { "line": 8854, "ntok": 69 }, { "line": 9199, "ntok": 64 }, { "line": 11031, "ntok": 48 }, { "line": 6164, "ntok": 65 }, { "line": 5470, "ntok": 48 }, { "line": 88, "ntok": 68 }, { "line": 4883, "ntok": 57 }, { "line": 10624, "ntok": 47 }, { "line": 114, "ntok": 69 }, { "line": 4626, "ntok": 56 }, { "line": 8036, "ntok": 56 }, { "line": 9547, "ntok": 69 }, { "line": 7348, "ntok": 69 }, { "line": 389, "ntok": 38 }, { "line": 3671, "ntok": 56 }, { "line": 9109, "ntok": 38 }, { "line": 1148, "ntok": 47 }, { "line": 5001, "ntok": 38 }, { "line": 7216, "ntok": 69 }, { "line": 9378, "ntok": 38 }, { "line": 8858, "ntok": 39 }, { "line": 5983, "ntok": 48 }, { "line": 6249, "ntok": 57 }, { "line": 10418, "ntok": 38 }, { "line": 627, "ntok": 38 }, { "line": 5080, "ntok": 38 }, { "line": 11176, "ntok": 38 }, { "line": 6018, "ntok": 47 }, { "line": 11949, "ntok": 57 }, { "line": 9075, "ntok": 56 }, { "line": 8192, "ntok": 57 }, { "line": 3272, "ntok": 38 }, { "line": 12084, "ntok": 47 }, { "line": 4361, "ntok": 70 }, { "line": 2796, "ntok": 48 }, { "line": 5498, "ntok": 65 }, { "line": 6033, "ntok": 38 }, { "line": 6246, "ntok": 38 }, { "line": 10715, "ntok": 38 }, { "line": 1588, "ntok": 39 }, { "line": 6421, "ntok": 56 }, { "line": 5731, "ntok": 69 }, { "line": 9965, "ntok": 69 }, { "line": 5736, "ntok": 69 }, { "line": 11943, "ntok": 57 }, { "line": 4097, "ntok": 47 }, { "line": 1328, "ntok": 56 }, { "line": 612, "ntok": 48 }, { "line": 9719, "ntok": 65 }, { "line": 7548, "ntok": 37 }, { "line": 4014, "ntok": 56 }, { "line": 9562, "ntok": 69 }, { "line": 10075, "ntok": 56 }, { "line": 6785, "ntok": 57 }, { "line": 3036, "ntok": 37 }, { "line": 8711, "ntok": 39 }, { "line": 944, "ntok": 38 }, { "line": 4677, "ntok": 57 }, { "line": 3052, "ntok": 69 }, { "line": 7799, "ntok": 69 }, { "line": 11928, "ntok": 38 }, { "line": 9193, "ntok": 38 }, { "line": 6467, "ntok": 56 }, { "line": 3095, "ntok": 69 }, { "line": 4327, "ntok": 56 }, { "line": 3697, "ntok": 47 }, { "line": 2074, "ntok": 69 }, { "line": 1661, "ntok": 38 }, { "line": 10743, "ntok": 55 }, { "line": 2837, "ntok": 69 }, { "line": 520, "ntok": 38 }, { "line": 6832, "ntok": 39 }, { "line": 8963, "ntok": 38 }, { "line": 8344, "ntok": 56 }, { "line": 5288, "ntok": 39 }, { "line": 9323, "ntok": 47 }, { "line": 11777, "ntok": 56 }, { "line": 8704, "ntok": 57 }, { "line": 5595, "ntok": 55 }, { "line": 2464, "ntok": 37 }, { "line": 3969, "ntok": 37 }, { "line": 9277, "ntok": 64 }, { "line": 2255, "ntok": 38 }, { "line": 4869, "ntok": 37 }, { "line": 7609, "ntok": 56 }, { "line": 2180, "ntok": 69 }, { "line": 6821, "ntok": 69 }, { "line": 2978, "ntok": 69 }, { "line": 9128, "ntok": 56 }, { "line": 1695, "ntok": 56 }, { "line": 479, "ntok": 69 }, { "line": 7074, "ntok": 55 }, { "line": 8991, "ntok": 39 }, { "line": 10498, "ntok": 70 }, { "line": 10452, "ntok": 38 }, { "line": 11365, "ntok": 69 }, { "line": 35, "ntok": 69 }, { "line": 4066, "ntok": 56 }, { "line": 1198, "ntok": 48 }, { "line": 7772, "ntok": 38 }, { "line": 9706, "ntok": 55 }, { "line": 745, "ntok": 47 }, { "line": 9088, "ntok": 69 }, { "line": 3269, "ntok": 56 }, { "line": 6874, "ntok": 57 }, { "line": 5199, "ntok": 56 }, { "line": 7606, "ntok": 69 }, { "line": 7037, "ntok": 47 }, { "line": 233, "ntok": 47 }, { "line": 1933, "ntok": 56 }, { "line": 9246, "ntok": 38 }, { "line": 4413, "ntok": 47 }, { "line": 2252, "ntok": 38 }, { "line": 2497, "ntok": 65 }, { "line": 7286, "ntok": 37 }, { "line": 2117, "ntok": 69 }, { "line": 8278, "ntok": 47 }, { "line": 8410, "ntok": 39 }, { "line": 8329, "ntok": 39 }, { "line": 3232, "ntok": 57 }, { "line": 11591, "ntok": 69 }, { "line": 5279, "ntok": 70 }, { "line": 7016, "ntok": 56 }, { "line": 10486, "ntok": 47 }, { "line": 10048, "ntok": 56 }, { "line": 5452, "ntok": 65 }, { "line": 841, "ntok": 55 }, { "line": 2730, "ntok": 38 }, { "line": 924, "ntok": 56 }, { "line": 3508, "ntok": 38 }, { "line": 7441, "ntok": 38 }, { "line": 1153, "ntok": 38 }, { "line": 100, "ntok": 56 }, { "line": 10435, "ntok": 69 }, { "line": 11306, "ntok": 55 }, { "line": 3730, "ntok": 39 }, { "line": 8324, "ntok": 48 }, { "line": 7939, "ntok": 56 }, { "line": 11733, "ntok": 47 }, { "line": 7896, "ntok": 68 }, { "line": 2267, "ntok": 69 }, { "line": 3556, "ntok": 47 }, { "line": 3575, "ntok": 69 }, { "line": 4102, "ntok": 69 }, { "line": 7555, "ntok": 38 }, { "line": 1507, "ntok": 46 }, { "line": 7734, "ntok": 69 }, { "line": 10850, "ntok": 69 }, { "line": 6820, "ntok": 65 }, { "line": 10831, "ntok": 38 }, { "line": 142, "ntok": 57 }, { "line": 2622, "ntok": 39 }, { "line": 8789, "ntok": 57 }, { "line": 4955, "ntok": 57 }, { "line": 5957, "ntok": 38 }, { "line": 3134, "ntok": 57 }, { "line": 11890, "ntok": 69 }, { "line": 11579, "ntok": 37 }, { "line": 11709, "ntok": 56 }, { "line": 95, "ntok": 47 }, { "line": 7696, "ntok": 38 }, { "line": 9496, "ntok": 69 }, { "line": 8289, "ntok": 56 }, { "line": 870, "ntok": 47 }, { "line": 4550, "ntok": 56 }, { "line": 9724, "ntok": 38 }, { "line": 6426, "ntok": 47 }, { "line": 2060, "ntok": 38 }, { "line": 10525, "ntok": 48 }, { "line": 10829, "ntok": 69 }, { "line": 3326, "ntok": 38 }, { "line": 2805, "ntok": 47 }, { "line": 3733, "ntok": 69 }, { "line": 6154, "ntok": 38 }, { "line": 4496, "ntok": 56 }, { "line": 8981, "ntok": 56 }, { "line": 7913, "ntok": 69 }, { "line": 9495, "ntok": 65 }, { "line": 6568, "ntok": 38 }, { "line": 2579, "ntok": 69 }, { "line": 8835, "ntok": 37 }, { "line": 11843, "ntok": 65 }, { "line": 9465, "ntok": 37 }, { "line": 163, "ntok": 47 }, { "line": 2280, "ntok": 56 }, { "line": 7443, "ntok": 69 }, { "line": 1438, "ntok": 57 }, { "line": 6057, "ntok": 47 }, { "line": 8445, "ntok": 56 }, { "line": 3779, "ntok": 56 }, { "line": 5506, "ntok": 64 }, { "line": 8341, "ntok": 56 }, { "line": 6617, "ntok": 55 }, { "line": 3785, "ntok": 47 }, { "line": 11434, "ntok": 69 }, { "line": 3927, "ntok": 56 }, { "line": 11533, "ntok": 64 }, { "line": 5138, "ntok": 56 }, { "line": 8910, "ntok": 56 }, { "line": 8870, "ntok": 46 }, { "line": 4767, "ntok": 47 }, { "line": 3247, "ntok": 69 }, { "line": 1685, "ntok": 69 }, { "line": 9254, "ntok": 65 }, { "line": 6378, "ntok": 38 }, { "line": 3619, "ntok": 55 }, { "line": 10346, "ntok": 65 }, { "line": 5791, "ntok": 47 }, { "line": 260, "ntok": 56 }, { "line": 5629, "ntok": 48 }, { "line": 8954, "ntok": 56 }, { "line": 9131, "ntok": 39 }, { "line": 9036, "ntok": 56 }, { "line": 10709, "ntok": 38 }, { "line": 10633, "ntok": 38 }, { "line": 301, "ntok": 56 }, { "line": 6728, "ntok": 47 }, { "line": 10910, "ntok": 69 }, { "line": 3944, "ntok": 56 }, { "line": 7267, "ntok": 56 }, { "line": 10259, "ntok": 57 }, { "line": 7716, "ntok": 48 }, { "line": 650, "ntok": 38 }, { "line": 9725, "ntok": 57 }, { "line": 532, "ntok": 70 }, { "line": 9621, "ntok": 47 }, { "line": 6349, "ntok": 69 }, { "line": 2230, "ntok": 69 }, { "line": 6302, "ntok": 38 }, { "line": 7836, "ntok": 38 }, { "line": 7395, "ntok": 56 }, { "line": 5992, "ntok": 38 }, { "line": 2337, "ntok": 55 }, { "line": 2810, "ntok": 56 }, { "line": 5883, "ntok": 47 }, { "line": 1672, "ntok": 65 }, { "line": 920, "ntok": 38 }, { "line": 2943, "ntok": 56 }, { "line": 8585, "ntok": 38 }, { "line": 8262, "ntok": 38 }, { "line": 9973, "ntok": 39 }, { "line": 11575, "ntok": 38 }, { "line": 5964, "ntok": 47 }, { "line": 134, "ntok": 57 }, { "line": 7532, "ntok": 68 }, { "line": 284, "ntok": 38 }, { "line": 10015, "ntok": 69 }, { "line": 2444, "ntok": 68 }, { "line": 6561, "ntok": 48 }, { "line": 6714, "ntok": 47 }, { "line": 4692, "ntok": 38 }, { "line": 4641, "ntok": 70 }, { "line": 8632, "ntok": 38 }, { "line": 11010, "ntok": 38 }, { "line": 10556, "ntok": 69 }, { "line": 41, "ntok": 57 }, { "line": 5053, "ntok": 57 }, { "line": 489, "ntok": 38 }, { "line": 11589, "ntok": 56 }, { "line": 8309, "ntok": 38 }, { "line": 10004, "ntok": 69 }, { "line": 8360, "ntok": 37 }, { "line": 7964, "ntok": 38 }, { "line": 9629, "ntok": 56 }, { "line": 2306, "ntok": 39 }, { "line": 10380, "ntok": 57 }, { "line": 11765, "ntok": 38 }, { "line": 10339, "ntok": 38 }, { "line": 11197, "ntok": 69 }, { "line": 2289, "ntok": 69 }, { "line": 8406, "ntok": 47 }, { "line": 11696, "ntok": 39 }, { "line": 6465, "ntok": 47 }, { "line": 8175, "ntok": 69 }, { "line": 3867, "ntok": 70 }, { "line": 8993, "ntok": 38 }, { "line": 7768, "ntok": 38 }, { "line": 18, "ntok": 69 }, { "line": 1003, "ntok": 46 }, { "line": 975, "ntok": 38 }, { "line": 9440, "ntok": 56 }, { "line": 5416, "ntok": 69 }, { "line": 6958, "ntok": 57 }, { "line": 1937, "ntok": 70 }, { "line": 5841, "ntok": 69 }, { "line": 1020, "ntok": 65 }, { "line": 9752, "ntok": 48 }, { "line": 5054, "ntok": 39 }, { "line": 4844, "ntok": 38 }, { "line": 2644, "ntok": 38 }, { "line": 9031, "ntok": 56 }, { "line": 6759, "ntok": 47 }, { "line": 11081, "ntok": 57 }, { "line": 2084, "ntok": 56 }, { "line": 8000, "ntok": 69 }, { "line": 8684, "ntok": 57 }, { "line": 10729, "ntok": 56 }, { "line": 1796, "ntok": 56 }, { "line": 10125, "ntok": 56 }, { "line": 269, "ntok": 38 }, { "line": 6721, "ntok": 56 }, { "line": 6864, "ntok": 38 }, { "line": 3414, "ntok": 66 }, { "line": 2654, "ntok": 56 }, { "line": 4469, "ntok": 69 }, { "line": 4538, "ntok": 56 }, { "line": 3685, "ntok": 70 }, { "line": 5549, "ntok": 38 }, { "line": 244, "ntok": 56 }, { "line": 4602, "ntok": 47 }, { "line": 3070, "ntok": 69 }, { "line": 9065, "ntok": 56 }, { "line": 4999, "ntok": 68 }, { "line": 324, "ntok": 57 }, { "line": 6637, "ntok": 38 }, { "line": 4657, "ntok": 38 }, { "line": 10390, "ntok": 69 }, { "line": 7692, "ntok": 48 }, { "line": 3999, "ntok": 69 }, { "line": 8325, "ntok": 38 }, { "line": 8715, "ntok": 47 }, { "line": 1361, "ntok": 57 }, { "line": 8552, "ntok": 66 }, { "line": 2120, "ntok": 56 }, { "line": 9291, "ntok": 56 }, { "line": 6932, "ntok": 57 }, { "line": 4875, "ntok": 48 }, { "line": 11633, "ntok": 48 }, { "line": 2382, "ntok": 56 }, { "line": 1135, "ntok": 56 }, { "line": 8159, "ntok": 69 }, { "line": 3923, "ntok": 56 }, { "line": 9139, "ntok": 69 }, { "line": 11717, "ntok": 57 }, { "line": 8481, "ntok": 56 }, { "line": 5349, "ntok": 56 }, { "line": 6625, "ntok": 56 }, { "line": 12196, "ntok": 69 }, { "line": 1226, "ntok": 65 }, { "line": 5961, "ntok": 69 }, { "line": 10605, "ntok": 70 }, { "line": 8707, "ntok": 37 }, { "line": 11408, "ntok": 56 }, { "line": 1878, "ntok": 39 }, { "line": 459, "ntok": 69 }, { "line": 5903, "ntok": 47 }, { "line": 5625, "ntok": 69 }, { "line": 3547, "ntok": 38 }, { "line": 11648, "ntok": 56 }, { "line": 7837, "ntok": 55 }, { "line": 11511, "ntok": 39 }, { "line": 4766, "ntok": 47 }, { "line": 2675, "ntok": 56 }, { "line": 8080, "ntok": 56 }, { "line": 9401, "ntok": 47 }, { "line": 9692, "ntok": 69 }, { "line": 9201, "ntok": 38 }, { "line": 10684, "ntok": 69 }, { "line": 6199, "ntok": 55 }, { "line": 5459, "ntok": 55 }, { "line": 10671, "ntok": 68 }, { "line": 10311, "ntok": 56 }, { "line": 504, "ntok": 37 }, { "line": 9616, "ntok": 38 }, { "line": 3334, "ntok": 38 }, { "line": 1804, "ntok": 57 }, { "line": 1053, "ntok": 56 }, { "line": 5592, "ntok": 48 }, { "line": 5223, "ntok": 56 }, { "line": 1813, "ntok": 70 }, { "line": 3643, "ntok": 56 }, { "line": 557, "ntok": 39 }, { "line": 3205, "ntok": 70 }, { "line": 8775, "ntok": 39 }, { "line": 9838, "ntok": 38 }, { "line": 11490, "ntok": 70 }, { "line": 58, "ntok": 38 }, { "line": 4712, "ntok": 69 }, { "line": 8121, "ntok": 64 }, { "line": 6998, "ntok": 56 }, { "line": 10454, "ntok": 38 }, { "line": 2580, "ntok": 39 }, { "line": 7484, "ntok": 56 }, { "line": 186, "ntok": 47 }, { "line": 2160, "ntok": 38 }, { "line": 2347, "ntok": 39 }, { "line": 7451, "ntok": 56 }, { "line": 10722, "ntok": 66 }, { "line": 300, "ntok": 56 }, { "line": 7187, "ntok": 55 }, { "line": 940, "ntok": 56 }, { "line": 8807, "ntok": 38 }, { "line": 5602, "ntok": 69 }, { "line": 6875, "ntok": 57 }, { "line": 9467, "ntok": 47 }, { "line": 2740, "ntok": 38 }, { "line": 6522, "ntok": 65 }, { "line": 6297, "ntok": 39 }, { "line": 7481, "ntok": 38 }, { "line": 10305, "ntok": 38 }, { "line": 2384, "ntok": 56 }, { "line": 8541, "ntok": 69 }, { "line": 7092, "ntok": 56 }, { "line": 5829, "ntok": 38 }, { "line": 5605, "ntok": 38 }, { "line": 3829, "ntok": 38 }, { "line": 683, "ntok": 69 }, { "line": 11493, "ntok": 39 }, { "line": 5677, "ntok": 56 }, { "line": 6730, "ntok": 39 }, { "line": 3709, "ntok": 47 }, { "line": 2199, "ntok": 38 }, { "line": 5177, "ntok": 70 }, { "line": 155, "ntok": 69 }, { "line": 2405, "ntok": 48 }, { "line": 4897, "ntok": 47 }, { "line": 5146, "ntok": 68 }, { "line": 7050, "ntok": 47 }, { "line": 4384, "ntok": 70 }, { "line": 2096, "ntok": 55 }, { "line": 4285, "ntok": 47 }, { "line": 3190, "ntok": 46 }, { "line": 4248, "ntok": 38 }, { "line": 3322, "ntok": 38 }, { "line": 8868, "ntok": 70 }, { "line": 2492, "ntok": 70 }, { "line": 5399, "ntok": 38 }, { "line": 7328, "ntok": 57 }, { "line": 10976, "ntok": 38 }, { "line": 2697, "ntok": 48 }, { "line": 7138, "ntok": 47 }, { "line": 9755, "ntok": 47 }, { "line": 6796, "ntok": 56 }, { "line": 5627, "ntok": 47 }, { "line": 2042, "ntok": 56 }, { "line": 10846, "ntok": 56 }, { "line": 153, "ntok": 69 }, { "line": 10260, "ntok": 69 }, { "line": 80, "ntok": 38 }, { "line": 11960, "ntok": 56 }, { "line": 1384, "ntok": 55 }, { "line": 8629, "ntok": 65 }, { "line": 6147, "ntok": 38 }, { "line": 10287, "ntok": 56 }, { "line": 8089, "ntok": 69 }, { "line": 3327, "ntok": 65 }, { "line": 2816, "ntok": 70 }, { "line": 7855, "ntok": 56 }, { "line": 311, "ntok": 56 }, { "line": 8959, "ntok": 69 }, { "line": 2119, "ntok": 56 }, { "line": 708, "ntok": 66 }, { "line": 2404, "ntok": 37 }, { "line": 4714, "ntok": 55 }, { "line": 6081, "ntok": 57 }, { "line": 10601, "ntok": 68 }, { "line": 1039, "ntok": 38 }, { "line": 10387, "ntok": 56 }, { "line": 1180, "ntok": 38 }, { "line": 3432, "ntok": 38 }, { "line": 9714, "ntok": 56 }, { "line": 4324, "ntok": 47 }, { "line": 1673, "ntok": 69 }, { "line": 9702, "ntok": 69 }, { "line": 4622, "ntok": 66 }, { "line": 9461, "ntok": 56 }, { "line": 12204, "ntok": 69 }, { "line": 9640, "ntok": 56 }, { "line": 3033, "ntok": 56 }, { "line": 8943, "ntok": 64 }, { "line": 12067, "ntok": 69 }, { "line": 2316, "ntok": 65 }, { "line": 3443, "ntok": 70 }, { "line": 586, "ntok": 56 }, { "line": 7372, "ntok": 65 }, { "line": 5057, "ntok": 69 }, { "line": 193, "ntok": 69 }, { "line": 2977, "ntok": 69 }, { "line": 4337, "ntok": 69 }, { "line": 7003, "ntok": 38 }, { "line": 9505, "ntok": 55 }, { "line": 1465, "ntok": 56 }, { "line": 11815, "ntok": 69 }, { "line": 2428, "ntok": 65 }, { "line": 10878, "ntok": 57 }, { "line": 9993, "ntok": 65 }, { "line": 918, "ntok": 70 }, { "line": 11599, "ntok": 70 }, { "line": 2726, "ntok": 38 }, { "line": 814, "ntok": 48 }, { "line": 3922, "ntok": 38 }, { "line": 647, "ntok": 47 }, { "line": 4086, "ntok": 39 }, { "line": 7498, "ntok": 38 }, { "line": 6375, "ntok": 57 }, { "line": 396, "ntok": 65 }, { "line": 4944, "ntok": 47 }, { "line": 11360, "ntok": 69 }, { "line": 7155, "ntok": 69 }, { "line": 9603, "ntok": 69 }, { "line": 6635, "ntok": 69 }, { "line": 6293, "ntok": 38 }, { "line": 2272, "ntok": 56 }, { "line": 7996, "ntok": 38 }, { "line": 2130, "ntok": 69 }, { "line": 10357, "ntok": 47 }, { "line": 8958, "ntok": 46 }, { "line": 6918, "ntok": 48 }, { "line": 8505, "ntok": 38 }, { "line": 2628, "ntok": 57 }, { "line": 11488, "ntok": 48 }, { "line": 11946, "ntok": 69 }, { "line": 3858, "ntok": 69 }, { "line": 846, "ntok": 70 }, { "line": 7039, "ntok": 57 }, { "line": 3960, "ntok": 47 }, { "line": 7301, "ntok": 69 }, { "line": 9179, "ntok": 47 }, { "line": 9312, "ntok": 56 }, { "line": 7437, "ntok": 56 }, { "line": 1160, "ntok": 56 }, { "line": 2057, "ntok": 56 }, { "line": 1074, "ntok": 69 }, { "line": 10957, "ntok": 55 }, { "line": 4272, "ntok": 56 }, { "line": 4598, "ntok": 70 }, { "line": 9314, "ntok": 38 }, { "line": 4291, "ntok": 47 }, { "line": 9488, "ntok": 70 }, { "line": 2291, "ntok": 48 }, { "line": 8820, "ntok": 47 }, { "line": 1714, "ntok": 39 }, { "line": 11472, "ntok": 70 }, { "line": 11057, "ntok": 47 }, { "line": 11052, "ntok": 65 }, { "line": 5683, "ntok": 55 }, { "line": 7464, "ntok": 68 }, { "line": 9938, "ntok": 56 }, { "line": 5540, "ntok": 69 }, { "line": 4136, "ntok": 48 }, { "line": 1559, "ntok": 57 }, { "line": 4396, "ntok": 38 }, { "line": 10266, "ntok": 39 }, { "line": 2077, "ntok": 38 }, { "line": 1591, "ntok": 69 }, { "line": 3478, "ntok": 56 }, { "line": 9911, "ntok": 46 }, { "line": 5567, "ntok": 57 }, { "line": 3417, "ntok": 56 }, { "line": 10436, "ntok": 69 }, { "line": 2379, "ntok": 48 }, { "line": 8439, "ntok": 38 }, { "line": 9441, "ntok": 70 }, { "line": 3830, "ntok": 56 }, { "line": 10263, "ntok": 69 }, { "line": 9933, "ntok": 66 }, { "line": 1455, "ntok": 37 }, { "line": 3137, "ntok": 70 }, { "line": 5316, "ntok": 56 }, { "line": 6026, "ntok": 56 }, { "line": 175, "ntok": 56 }, { "line": 1080, "ntok": 38 }, { "line": 6559, "ntok": 38 }, { "line": 7780, "ntok": 39 }, { "line": 2014, "ntok": 56 }, { "line": 5435, "ntok": 70 }, { "line": 3145, "ntok": 38 }, { "line": 4706, "ntok": 56 }, { "line": 5822, "ntok": 39 }, { "line": 4918, "ntok": 38 }, { "line": 3920, "ntok": 47 }, { "line": 6940, "ntok": 38 }, { "line": 9978, "ntok": 38 }, { "line": 7825, "ntok": 46 }, { "line": 10692, "ntok": 56 }, { "line": 9999, "ntok": 39 }, { "line": 11380, "ntok": 38 }, { "line": 12169, "ntok": 66 }, { "line": 7721, "ntok": 69 }, { "line": 7085, "ntok": 55 }, { "line": 5642, "ntok": 69 }, { "line": 6961, "ntok": 48 }, { "line": 9040, "ntok": 69 }, { "line": 8896, "ntok": 70 }, { "line": 2446, "ntok": 38 }, { "line": 12021, "ntok": 70 }, { "line": 7224, "ntok": 56 }, { "line": 8522, "ntok": 69 }, { "line": 6365, "ntok": 47 }, { "line": 9994, "ntok": 39 }, { "line": 4441, "ntok": 56 }, { "line": 8903, "ntok": 56 }, { "line": 2164, "ntok": 56 }, { "line": 5789, "ntok": 47 }, { "line": 7740, "ntok": 37 }, { "line": 10844, "ntok": 70 }, { "line": 3341, "ntok": 64 }, { "line": 9899, "ntok": 69 }, { "line": 3447, "ntok": 47 }, { "line": 4569, "ntok": 70 }, { "line": 5580, "ntok": 69 }, { "line": 1373, "ntok": 56 }, { "line": 10651, "ntok": 57 }, { "line": 7291, "ntok": 69 }, { "line": 6143, "ntok": 56 }, { "line": 7430, "ntok": 56 }, { "line": 9063, "ntok": 47 }, { "line": 1824, "ntok": 65 }, { "line": 848, "ntok": 57 }, { "line": 3971, "ntok": 38 }, { "line": 665, "ntok": 70 }, { "line": 5688, "ntok": 65 }, { "line": 2781, "ntok": 47 }, { "line": 11803, "ntok": 37 }, { "line": 4892, "ntok": 38 }, { "line": 8778, "ntok": 56 }, { "line": 12133, "ntok": 38 }, { "line": 353, "ntok": 38 }, { "line": 10654, "ntok": 38 }, { "line": 5530, "ntok": 56 }, { "line": 432, "ntok": 38 }, { "line": 7506, "ntok": 69 }, { "line": 5283, "ntok": 38 }, { "line": 2321, "ntok": 69 }, { "line": 8181, "ntok": 38 }, { "line": 6938, "ntok": 69 }, { "line": 1777, "ntok": 56 }, { "line": 8911, "ntok": 47 }, { "line": 5645, "ntok": 56 }, { "line": 729, "ntok": 70 }, { "line": 4849, "ntok": 56 }, { "line": 11329, "ntok": 38 }, { "line": 8690, "ntok": 56 }, { "line": 5100, "ntok": 69 }, { "line": 6195, "ntok": 57 }, { "line": 5744, "ntok": 38 }, { "line": 10251, "ntok": 56 }, { "line": 1403, "ntok": 47 }, { "line": 10742, "ntok": 69 }, { "line": 8409, "ntok": 57 }, { "line": 9350, "ntok": 56 }, { "line": 7647, "ntok": 47 }, { "line": 8652, "ntok": 39 }, { "line": 10616, "ntok": 47 }, { "line": 6697, "ntok": 56 }, { "line": 9320, "ntok": 56 }, { "line": 128, "ntok": 38 }, { "line": 2504, "ntok": 57 }, { "line": 8926, "ntok": 69 }, { "line": 1342, "ntok": 55 }, { "line": 9865, "ntok": 57 }, { "line": 11446, "ntok": 47 }, { "line": 6181, "ntok": 65 }, { "line": 9525, "ntok": 66 }, { "line": 3774, "ntok": 69 }, { "line": 8504, "ntok": 69 }, { "line": 5378, "ntok": 69 }, { "line": 1679, "ntok": 57 }, { "line": 3423, "ntok": 69 }, { "line": 8469, "ntok": 69 }, { "line": 5837, "ntok": 47 }, { "line": 6694, "ntok": 65 }, { "line": 9903, "ntok": 56 }, { "line": 7, "ntok": 38 }, { "line": 2848, "ntok": 56 }, { "line": 2312, "ntok": 57 }, { "line": 9972, "ntok": 69 }, { "line": 10860, "ntok": 47 }, { "line": 3790, "ntok": 37 }, { "line": 951, "ntok": 47 }, { "line": 889, "ntok": 70 }, { "line": 8449, "ntok": 70 }, { "line": 8956, "ntok": 48 }, { "line": 11452, "ntok": 38 }, { "line": 8571, "ntok": 69 }, { "line": 2434, "ntok": 48 }, { "line": 2026, "ntok": 56 }, { "line": 11290, "ntok": 47 }, { "line": 4633, "ntok": 48 }, { "line": 4357, "ntok": 56 }, { "line": 524, "ntok": 38 }, { "line": 2953, "ntok": 69 }, { "line": 5375, "ntok": 57 }, { "line": 2563, "ntok": 56 }, { "line": 6174, "ntok": 47 }, { "line": 4969, "ntok": 56 }, { "line": 923, "ntok": 38 }, { "line": 7584, "ntok": 55 }, { "line": 10855, "ntok": 56 }, { "line": 5032, "ntok": 48 }, { "line": 477, "ntok": 47 }, { "line": 4230, "ntok": 46 }, { "line": 2987, "ntok": 69 }, { "line": 4290, "ntok": 38 }, { "line": 6741, "ntok": 37 } ], "tokens": 165310 } ], "routing": { "forced_expert_activation": false, "n_group": 1, "natural": true, "scoring_func": "sigmoid", "top_k": 8, "topk_group": 1 }, "schema": "glm52-b300-capture-plan-v1", "seed": 20260711, "selection_note": "Only the owner-pinned 12,228-row corpus is eligible. One natural-routing pass is sealed per owner axis; rows never repeat and no stock dataset is allowed.", "selection_policy": "owner-corpus-axis-separated-luke-multipass-no-repeat-v1", "skipped_short": 0, "source": { "config_sha256": "185f93ee6d12548e16a847e279dc0c3c90b1524c970b0866b42fb545747d859a", "index_sha256": "5fd47a926aefce0f2c917f42523e5e0f3c87e23e389e767c3681536a62f5cf5e" }, "target_tokens": 1048576, "tokenizer": { "class": "TokenizersBackend", "files_sha256": { "chat_template.jinja": "172dc74a35e1752df75ecfb2b2cf9326d2852bb1379868ebeec9571654489679", "tokenizer.json": "19e773648cb4e65de8660ea6365e10acca112d42a854923df93db4a6f333a82d", "tokenizer_config.json": "98b1271574f41abf89427ae2dda030d94dc9478f0edc5a8bd240db213c6fd5fc" }, "vocab_size": 154820 }, "total_tokens": 1050468 }