{
  "actual_removed_params": 50205818880,
  "actual_removed_params_b": 50.20581888,
  "aggregate": {
    "category_counts": {
      "agentic_tool_trajectory": 4096,
      "reasoning_code": 1408,
      "reasoning_math": 4096,
      "reasoning_science": 4096
    },
    "metric": "reap_score",
    "offset_max": 24512,
    "offset_min": 10880,
    "rows_seen": 13696,
    "shards_seen": 3424,
    "source_counts": {
      "SWE-bench/SWE-smith-trajectories/tool": 4096,
      "open-r1/Mixture-of-Thoughts/code": 1408,
      "open-r1/Mixture-of-Thoughts/math": 4096,
      "open-r1/Mixture-of-Thoughts/science": 4096
    },
    "tokens_seen_sum_seqlen": 101735663,
    "window_count": 214
  },
  "base_snapshot": "/home/ubuntu/models/hf-cache/models--stepfun-ai--Step-3.7-Flash-NVFP4/snapshots/4275532ffd9a9496ff36b7a2dc4a9db1048da438",
  "checkpoint_rewrite": {
    "files_written": [
      "model-00001-of-00013.safetensors",
      "model-00002-of-00013.safetensors",
      "model-00003-of-00013.safetensors",
      "model-00004-of-00013.safetensors",
      "model-00005-of-00013.safetensors",
      "model-00006-of-00013.safetensors",
      "model-00007-of-00013.safetensors",
      "model-00008-of-00013.safetensors",
      "model-00009-of-00013.safetensors",
      "model-00010-of-00013.safetensors",
      "model-00011-of-00013.safetensors",
      "model-00012-of-00013.safetensors",
      "model-00013-of-00013.safetensors",
      "model-mtp-bf16.safetensors"
    ],
    "sliced_tensors": 588,
    "tensor_bytes": {
      "model-00001-of-00013.safetensors": 8668441256,
      "model-00002-of-00013.safetensors": 7008457288,
      "model-00003-of-00013.safetensors": 7496831560,
      "model-00004-of-00013.safetensors": 7262658112,
      "model-00005-of-00013.safetensors": 7496831560,
      "model-00006-of-00013.safetensors": 7262658112,
      "model-00007-of-00013.safetensors": 7496831560,
      "model-00008-of-00013.safetensors": 7262658112,
      "model-00009-of-00013.safetensors": 7008457288,
      "model-00010-of-00013.safetensors": 7193188256,
      "model-00011-of-00013.safetensors": 7496831560,
      "model-00012-of-00013.safetensors": 7262658112,
      "model-00013-of-00013.safetensors": 7201498704,
      "model-mtp-bf16.safetensors": 4856342016
    },
    "total_tensor_bytes": 100974343496
  },
  "created_unix": 1780657675.350539,
  "label": "step37-prune-50b",
  "moe_layers": 42,
  "n_experts_pruned_per_layer": 76,
  "observations_root": "/home/ubuntu/observations/step37-reap",
  "original_experts_per_layer": 288,
  "params_per_expert_per_layer": 15728640,
  "prune_maps": {
    "10": {
      "keep": [
        2,
        3,
        4,
        5,
        7,
        8,
        9,
        10,
        12,
        13,
        14,
        15,
        16,
        17,
        18,
        20,
        21,
        22,
        24,
        27,
        28,
        29,
        31,
        32,
        33,
        34,
        35,
        36,
        38,
        39,
        40,
        42,
        43,
        44,
        46,
        47,
        50,
        51,
        52,
        53,
        54,
        55,
        56,
        57,
        59,
        62,
        63,
        64,
        65,
        66,
        67,
        68,
        69,
        70,
        71,
        72,
        73,
        74,
        75,
        76,
        77,
        78,
        80,
        82,
        85,
        86,
        88,
        90,
        91,
        92,
        95,
        97,
        99,
        100,
        101,
        103,
        105,
        106,
        108,
        109,
        110,
        111,
        112,
        113,
        116,
        118,
        119,
        122,
        123,
        124,
        125,
        126,
        128,
        129,
        131,
        132,
        133,
        134,
        135,
        137,
        138,
        141,
        144,
        145,
        146,
        147,
        148,
        149,
        152,
        153,
        154,
        156,
        157,
        158,
        159,
        161,
        163,
        164,
        165,
        166,
        167,
        168,
        169,
        170,
        173,
        175,
        177,
        179,
        180,
        181,
        182,
        183,
        185,
        187,
        188,
        189,
        190,
        192,
        193,
        194,
        195,
        197,
        198,
        199,
        200,
        201,
        202,
        203,
        204,
        206,
        207,
        208,
        209,
        210,
        211,
        212,
        213,
        214,
        215,
        216,
        217,
        219,
        220,
        221,
        222,
        225,
        226,
        227,
        228,
        229,
        230,
        231,
        232,
        233,
        235,
        236,
        237,
        238,
        239,
        240,
        241,
        243,
        245,
        246,
        247,
        251,
        252,
        253,
        254,
        255,
        256,
        258,
        261,
        262,
        264,
        265,
        266,
        269,
        270,
        271,
        273,
        274,
        277,
        278,
        279,
        280,
        281,
        282,
        283,
        285,
        286,
        287
      ],
      "kept_frequency_sum": 689144162,
      "kept_metric_max": 0.5558311077328545,
      "kept_metric_min": 0.12526086238155612,
      "prune": [
        0,
        1,
        6,
        11,
        19,
        23,
        25,
        26,
        30,
        37,
        41,
        45,
        48,
        49,
        58,
        60,
        61,
        79,
        81,
        83,
        84,
        87,
        89,
        93,
        94,
        96,
        98,
        102,
        104,
        107,
        114,
        115,
        117,
        120,
        121,
        127,
        130,
        136,
        139,
        140,
        142,
        143,
        150,
        151,
        155,
        160,
        162,
        171,
        172,
        174,
        176,
        178,
        184,
        186,
        191,
        196,
        205,
        218,
        223,
        224,
        234,
        242,
        244,
        248,
        249,
        250,
        257,
        259,
        260,
        263,
        267,
        268,
        272,
        275,
        276,
        284
      ],
      "pruned_frequency_sum": 124741142,
      "pruned_metric_max": 0.12477134501976764,
      "pruned_metric_min": 0.05177170957783192
    },
    "11": {
      "keep": [
        1,
        2,
        3,
        4,
        5,
        9,
        10,
        11,
        13,
        15,
        16,
        18,
        19,
        20,
        21,
        22,
        23,
        24,
        26,
        29,
        31,
        32,
        35,
        36,
        37,
        39,
        41,
        42,
        43,
        44,
        45,
        46,
        48,
        49,
        51,
        54,
        55,
        57,
        58,
        59,
        60,
        61,
        62,
        63,
        64,
        65,
        66,
        67,
        68,
        70,
        71,
        74,
        75,
        76,
        79,
        82,
        83,
        85,
        86,
        88,
        89,
        90,
        91,
        92,
        94,
        95,
        96,
        97,
        98,
        99,
        100,
        102,
        103,
        104,
        105,
        107,
        108,
        109,
        110,
        111,
        113,
        114,
        115,
        116,
        117,
        118,
        119,
        120,
        121,
        124,
        125,
        126,
        127,
        128,
        130,
        131,
        132,
        133,
        134,
        135,
        136,
        137,
        138,
        139,
        140,
        141,
        142,
        143,
        144,
        145,
        146,
        147,
        148,
        150,
        151,
        154,
        155,
        156,
        157,
        160,
        161,
        162,
        163,
        164,
        165,
        166,
        167,
        168,
        170,
        171,
        172,
        173,
        175,
        176,
        178,
        179,
        183,
        184,
        185,
        189,
        190,
        191,
        192,
        194,
        195,
        197,
        199,
        200,
        203,
        204,
        205,
        206,
        208,
        209,
        210,
        212,
        213,
        215,
        216,
        217,
        219,
        220,
        221,
        222,
        223,
        224,
        225,
        226,
        227,
        228,
        229,
        230,
        231,
        233,
        234,
        235,
        236,
        237,
        238,
        240,
        243,
        244,
        245,
        247,
        248,
        249,
        251,
        252,
        253,
        254,
        257,
        261,
        263,
        264,
        265,
        266,
        267,
        268,
        269,
        270,
        271,
        272,
        273,
        276,
        277,
        279,
        280,
        282,
        283,
        284,
        285,
        287
      ],
      "kept_frequency_sum": 706393309,
      "kept_metric_max": 0.791684441217601,
      "kept_metric_min": 0.13996441094184156,
      "prune": [
        0,
        6,
        7,
        8,
        12,
        14,
        17,
        25,
        27,
        28,
        30,
        33,
        34,
        38,
        40,
        47,
        50,
        52,
        53,
        56,
        69,
        72,
        73,
        77,
        78,
        80,
        81,
        84,
        87,
        93,
        101,
        106,
        112,
        122,
        123,
        129,
        149,
        152,
        153,
        158,
        159,
        169,
        174,
        177,
        180,
        181,
        182,
        186,
        187,
        188,
        193,
        196,
        198,
        201,
        202,
        207,
        211,
        214,
        218,
        232,
        239,
        241,
        242,
        246,
        250,
        255,
        256,
        258,
        259,
        260,
        262,
        274,
        275,
        278,
        281,
        286
      ],
      "pruned_frequency_sum": 107491995,
      "pruned_metric_max": 0.13937669510405337,
      "pruned_metric_min": 0.06104361065339521
    },
    "12": {
      "keep": [
        2,
        4,
        7,
        8,
        9,
        10,
        14,
        15,
        16,
        17,
        18,
        19,
        20,
        22,
        23,
        24,
        26,
        28,
        29,
        33,
        35,
        36,
        37,
        39,
        40,
        42,
        43,
        44,
        45,
        46,
        47,
        50,
        51,
        53,
        54,
        55,
        56,
        57,
        58,
        59,
        60,
        62,
        63,
        65,
        66,
        68,
        69,
        70,
        71,
        72,
        73,
        75,
        76,
        77,
        81,
        84,
        86,
        89,
        90,
        91,
        92,
        93,
        94,
        95,
        96,
        98,
        100,
        101,
        104,
        107,
        108,
        109,
        110,
        112,
        113,
        114,
        115,
        116,
        119,
        120,
        121,
        124,
        125,
        126,
        127,
        128,
        129,
        130,
        133,
        134,
        135,
        136,
        138,
        140,
        142,
        144,
        145,
        146,
        147,
        148,
        149,
        150,
        152,
        153,
        154,
        155,
        156,
        157,
        158,
        159,
        160,
        161,
        162,
        163,
        164,
        165,
        167,
        168,
        170,
        171,
        174,
        175,
        176,
        177,
        178,
        180,
        181,
        182,
        183,
        184,
        185,
        186,
        187,
        188,
        190,
        191,
        192,
        195,
        197,
        198,
        199,
        200,
        201,
        202,
        203,
        204,
        205,
        206,
        207,
        208,
        209,
        211,
        212,
        213,
        214,
        216,
        217,
        219,
        220,
        221,
        222,
        223,
        226,
        227,
        228,
        229,
        230,
        231,
        232,
        233,
        234,
        235,
        236,
        237,
        238,
        239,
        241,
        242,
        243,
        244,
        245,
        246,
        247,
        248,
        250,
        252,
        253,
        254,
        255,
        256,
        258,
        259,
        262,
        264,
        265,
        266,
        267,
        268,
        269,
        270,
        271,
        272,
        273,
        274,
        275,
        277,
        279,
        280,
        281,
        282,
        283,
        284
      ],
      "kept_frequency_sum": 706294473,
      "kept_metric_max": 1.3830934757451976,
      "kept_metric_min": 0.17566305989264672,
      "prune": [
        0,
        1,
        3,
        5,
        6,
        11,
        12,
        13,
        21,
        25,
        27,
        30,
        31,
        32,
        34,
        38,
        41,
        48,
        49,
        52,
        61,
        64,
        67,
        74,
        78,
        79,
        80,
        82,
        83,
        85,
        87,
        88,
        97,
        99,
        102,
        103,
        105,
        106,
        111,
        117,
        118,
        122,
        123,
        131,
        132,
        137,
        139,
        141,
        143,
        151,
        166,
        169,
        172,
        173,
        179,
        189,
        193,
        194,
        196,
        210,
        215,
        218,
        224,
        225,
        240,
        249,
        251,
        257,
        260,
        261,
        263,
        276,
        278,
        285,
        286,
        287
      ],
      "pruned_frequency_sum": 107590831,
      "pruned_metric_max": 0.17529686177007714,
      "pruned_metric_min": 0.087856102043717
    },
    "13": {
      "keep": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23,
        24,
        25,
        26,
        27,
        28,
        29,
        30,
        31,
        34,
        36,
        37,
        38,
        42,
        44,
        45,
        47,
        49,
        50,
        54,
        55,
        56,
        57,
        59,
        62,
        63,
        64,
        65,
        66,
        67,
        69,
        70,
        72,
        73,
        75,
        76,
        77,
        81,
        82,
        83,
        84,
        85,
        87,
        88,
        89,
        90,
        91,
        92,
        94,
        95,
        97,
        99,
        100,
        101,
        102,
        103,
        104,
        105,
        106,
        108,
        109,
        110,
        111,
        112,
        113,
        114,
        117,
        118,
        119,
        122,
        123,
        124,
        125,
        127,
        129,
        130,
        131,
        132,
        133,
        134,
        135,
        137,
        139,
        140,
        141,
        143,
        149,
        151,
        152,
        153,
        154,
        155,
        156,
        157,
        160,
        162,
        163,
        164,
        167,
        169,
        170,
        171,
        172,
        173,
        174,
        175,
        176,
        177,
        178,
        179,
        182,
        184,
        186,
        187,
        188,
        189,
        190,
        191,
        192,
        193,
        195,
        196,
        197,
        199,
        201,
        202,
        203,
        204,
        205,
        209,
        210,
        211,
        212,
        213,
        214,
        215,
        216,
        218,
        219,
        220,
        221,
        223,
        224,
        225,
        227,
        228,
        229,
        230,
        231,
        233,
        234,
        235,
        236,
        237,
        240,
        243,
        244,
        245,
        246,
        247,
        248,
        249,
        250,
        251,
        252,
        253,
        255,
        256,
        257,
        258,
        259,
        261,
        262,
        263,
        265,
        267,
        268,
        270,
        271,
        272,
        273,
        275,
        276,
        277,
        278,
        279,
        280,
        281,
        283,
        284,
        287
      ],
      "kept_frequency_sum": 687462787,
      "kept_metric_max": 1.313748069561975,
      "kept_metric_min": 0.21308962461029182,
      "prune": [
        0,
        16,
        32,
        33,
        35,
        39,
        40,
        41,
        43,
        46,
        48,
        51,
        52,
        53,
        58,
        60,
        61,
        68,
        71,
        74,
        78,
        79,
        80,
        86,
        93,
        96,
        98,
        107,
        115,
        116,
        120,
        121,
        126,
        128,
        136,
        138,
        142,
        144,
        145,
        146,
        147,
        148,
        150,
        158,
        159,
        161,
        165,
        166,
        168,
        180,
        181,
        183,
        185,
        194,
        198,
        200,
        206,
        207,
        208,
        217,
        222,
        226,
        232,
        238,
        239,
        241,
        242,
        254,
        260,
        264,
        266,
        269,
        274,
        282,
        285,
        286
      ],
      "pruned_frequency_sum": 126422517,
      "pruned_metric_max": 0.21295079612064644,
      "pruned_metric_min": 0.11144575523950308
    },
    "14": {
      "keep": [
        0,
        1,
        2,
        3,
        4,
        6,
        7,
        10,
        11,
        12,
        13,
        14,
        15,
        16,
        18,
        20,
        22,
        23,
        24,
        25,
        26,
        30,
        35,
        36,
        38,
        39,
        40,
        41,
        42,
        43,
        44,
        45,
        46,
        49,
        50,
        52,
        53,
        55,
        56,
        57,
        58,
        59,
        61,
        63,
        64,
        66,
        67,
        68,
        69,
        71,
        73,
        74,
        75,
        76,
        78,
        79,
        80,
        82,
        84,
        85,
        86,
        88,
        89,
        91,
        92,
        94,
        95,
        96,
        97,
        99,
        100,
        101,
        103,
        105,
        106,
        107,
        108,
        109,
        110,
        111,
        113,
        115,
        117,
        118,
        119,
        121,
        122,
        123,
        124,
        126,
        127,
        129,
        130,
        131,
        132,
        133,
        134,
        135,
        137,
        138,
        140,
        142,
        143,
        144,
        145,
        146,
        147,
        148,
        150,
        151,
        152,
        153,
        156,
        159,
        160,
        161,
        162,
        163,
        165,
        166,
        167,
        168,
        169,
        171,
        172,
        175,
        176,
        177,
        178,
        179,
        181,
        183,
        184,
        185,
        187,
        188,
        189,
        190,
        192,
        193,
        194,
        195,
        196,
        197,
        198,
        199,
        200,
        201,
        202,
        203,
        204,
        206,
        207,
        208,
        209,
        210,
        211,
        213,
        214,
        216,
        217,
        219,
        220,
        222,
        223,
        225,
        226,
        228,
        230,
        231,
        232,
        233,
        234,
        235,
        236,
        237,
        239,
        241,
        242,
        243,
        245,
        246,
        247,
        248,
        249,
        250,
        251,
        252,
        256,
        257,
        258,
        260,
        262,
        263,
        264,
        265,
        266,
        267,
        268,
        269,
        270,
        271,
        274,
        276,
        278,
        279,
        280,
        281,
        282,
        283,
        284,
        286
      ],
      "kept_frequency_sum": 713610375,
      "kept_metric_max": 1.2653981721028456,
      "kept_metric_min": 0.2721110923250398,
      "prune": [
        5,
        8,
        9,
        17,
        19,
        21,
        27,
        28,
        29,
        31,
        32,
        33,
        34,
        37,
        47,
        48,
        51,
        54,
        60,
        62,
        65,
        70,
        72,
        77,
        81,
        83,
        87,
        90,
        93,
        98,
        102,
        104,
        112,
        114,
        116,
        120,
        125,
        128,
        136,
        139,
        141,
        149,
        154,
        155,
        157,
        158,
        164,
        170,
        173,
        174,
        180,
        182,
        186,
        191,
        205,
        212,
        215,
        218,
        221,
        224,
        227,
        229,
        238,
        240,
        244,
        253,
        254,
        255,
        259,
        261,
        272,
        273,
        275,
        277,
        285,
        287
      ],
      "pruned_frequency_sum": 100274929,
      "pruned_metric_max": 0.2682281283306258,
      "pruned_metric_min": 0.13066615107733331
    },
    "15": {
      "keep": [
        0,
        1,
        2,
        3,
        5,
        6,
        9,
        10,
        12,
        13,
        14,
        15,
        16,
        17,
        18,
        19,
        20,
        21,
        22,
        25,
        27,
        29,
        30,
        31,
        32,
        33,
        34,
        35,
        37,
        38,
        39,
        41,
        42,
        43,
        44,
        45,
        46,
        47,
        48,
        49,
        50,
        51,
        52,
        54,
        55,
        56,
        57,
        58,
        59,
        60,
        61,
        62,
        63,
        64,
        65,
        66,
        67,
        68,
        69,
        70,
        72,
        73,
        74,
        75,
        76,
        78,
        80,
        81,
        82,
        84,
        85,
        86,
        88,
        89,
        90,
        92,
        93,
        95,
        100,
        101,
        102,
        105,
        106,
        107,
        109,
        110,
        111,
        112,
        114,
        115,
        116,
        117,
        118,
        119,
        120,
        124,
        125,
        126,
        127,
        128,
        129,
        131,
        132,
        133,
        134,
        135,
        136,
        137,
        139,
        140,
        143,
        144,
        145,
        146,
        147,
        148,
        149,
        153,
        156,
        157,
        158,
        159,
        160,
        161,
        164,
        166,
        169,
        171,
        172,
        173,
        174,
        175,
        176,
        179,
        181,
        182,
        183,
        184,
        186,
        188,
        190,
        192,
        193,
        194,
        195,
        196,
        197,
        198,
        199,
        201,
        202,
        208,
        209,
        211,
        213,
        214,
        215,
        216,
        217,
        218,
        219,
        221,
        223,
        225,
        226,
        227,
        229,
        231,
        233,
        236,
        237,
        238,
        239,
        240,
        242,
        243,
        244,
        248,
        249,
        250,
        251,
        252,
        253,
        254,
        255,
        256,
        258,
        259,
        260,
        261,
        262,
        263,
        264,
        265,
        266,
        267,
        269,
        270,
        271,
        272,
        274,
        275,
        276,
        277,
        278,
        280,
        282,
        283,
        284,
        285,
        286,
        287
      ],
      "kept_frequency_sum": 701557412,
      "kept_metric_max": 3.9098344050870106,
      "kept_metric_min": 0.32670225333460134,
      "prune": [
        4,
        7,
        8,
        11,
        23,
        24,
        26,
        28,
        36,
        40,
        53,
        71,
        77,
        79,
        83,
        87,
        91,
        94,
        96,
        97,
        98,
        99,
        103,
        104,
        108,
        113,
        121,
        122,
        123,
        130,
        138,
        141,
        142,
        150,
        151,
        152,
        154,
        155,
        162,
        163,
        165,
        167,
        168,
        170,
        177,
        178,
        180,
        185,
        187,
        189,
        191,
        200,
        203,
        204,
        205,
        206,
        207,
        210,
        212,
        220,
        222,
        224,
        228,
        230,
        232,
        234,
        235,
        241,
        245,
        246,
        247,
        257,
        268,
        273,
        279,
        281
      ],
      "pruned_frequency_sum": 112327892,
      "pruned_metric_max": 0.322061354779328,
      "pruned_metric_min": 0.15141843002963157
    },
    "16": {
      "keep": [
        0,
        1,
        2,
        6,
        8,
        11,
        12,
        13,
        14,
        15,
        16,
        17,
        20,
        21,
        22,
        23,
        24,
        25,
        27,
        28,
        29,
        30,
        31,
        32,
        33,
        34,
        35,
        39,
        40,
        41,
        42,
        43,
        44,
        46,
        47,
        48,
        49,
        51,
        52,
        54,
        55,
        57,
        60,
        61,
        62,
        63,
        64,
        65,
        66,
        69,
        72,
        73,
        74,
        76,
        77,
        78,
        79,
        81,
        82,
        83,
        84,
        85,
        86,
        88,
        89,
        90,
        93,
        95,
        96,
        97,
        99,
        103,
        104,
        105,
        106,
        108,
        109,
        110,
        111,
        112,
        113,
        114,
        115,
        116,
        117,
        118,
        119,
        120,
        121,
        122,
        123,
        124,
        125,
        127,
        128,
        129,
        130,
        131,
        133,
        134,
        135,
        136,
        137,
        138,
        140,
        141,
        143,
        144,
        145,
        146,
        147,
        149,
        150,
        151,
        153,
        154,
        157,
        158,
        159,
        160,
        161,
        163,
        164,
        165,
        166,
        168,
        170,
        171,
        173,
        174,
        177,
        178,
        179,
        183,
        184,
        185,
        186,
        187,
        188,
        189,
        190,
        191,
        192,
        193,
        194,
        196,
        199,
        200,
        203,
        204,
        205,
        206,
        207,
        209,
        210,
        211,
        212,
        213,
        215,
        216,
        217,
        218,
        219,
        220,
        221,
        222,
        223,
        224,
        225,
        226,
        227,
        232,
        233,
        234,
        236,
        237,
        238,
        239,
        240,
        241,
        244,
        245,
        246,
        247,
        248,
        249,
        251,
        252,
        255,
        256,
        257,
        258,
        259,
        261,
        262,
        263,
        264,
        265,
        266,
        267,
        268,
        269,
        273,
        275,
        276,
        277,
        280,
        281,
        282,
        283,
        285,
        287
      ],
      "kept_frequency_sum": 683571771,
      "kept_metric_max": 6.388886809395085,
      "kept_metric_min": 0.4311056836366042,
      "prune": [
        3,
        4,
        5,
        7,
        9,
        10,
        18,
        19,
        26,
        36,
        37,
        38,
        45,
        50,
        53,
        56,
        58,
        59,
        67,
        68,
        70,
        71,
        75,
        80,
        87,
        91,
        92,
        94,
        98,
        100,
        101,
        102,
        107,
        126,
        132,
        139,
        142,
        148,
        152,
        155,
        156,
        162,
        167,
        169,
        172,
        175,
        176,
        180,
        181,
        182,
        195,
        197,
        198,
        201,
        202,
        208,
        214,
        228,
        229,
        230,
        231,
        235,
        242,
        243,
        250,
        253,
        254,
        260,
        270,
        271,
        272,
        274,
        278,
        279,
        284,
        286
      ],
      "pruned_frequency_sum": 130313533,
      "pruned_metric_max": 0.4295936456175028,
      "pruned_metric_min": 0.18079024783728803
    },
    "17": {
      "keep": [
        0,
        2,
        4,
        5,
        6,
        7,
        10,
        13,
        15,
        16,
        18,
        20,
        21,
        22,
        23,
        24,
        25,
        26,
        27,
        28,
        29,
        31,
        32,
        34,
        35,
        36,
        39,
        40,
        43,
        44,
        46,
        48,
        49,
        50,
        51,
        52,
        53,
        54,
        55,
        57,
        58,
        59,
        60,
        61,
        62,
        65,
        67,
        68,
        69,
        70,
        71,
        73,
        74,
        75,
        76,
        79,
        81,
        82,
        84,
        86,
        88,
        90,
        91,
        92,
        93,
        94,
        95,
        96,
        98,
        99,
        100,
        102,
        103,
        104,
        105,
        106,
        110,
        111,
        112,
        113,
        114,
        115,
        116,
        117,
        118,
        119,
        120,
        121,
        122,
        123,
        124,
        125,
        126,
        127,
        128,
        129,
        130,
        131,
        132,
        133,
        134,
        135,
        136,
        137,
        138,
        139,
        140,
        141,
        144,
        146,
        147,
        149,
        150,
        151,
        152,
        153,
        154,
        156,
        157,
        159,
        160,
        162,
        164,
        165,
        168,
        169,
        170,
        171,
        172,
        173,
        174,
        176,
        178,
        179,
        180,
        181,
        182,
        183,
        184,
        186,
        188,
        190,
        191,
        192,
        194,
        195,
        196,
        198,
        199,
        200,
        203,
        205,
        206,
        207,
        208,
        210,
        211,
        212,
        213,
        214,
        216,
        217,
        218,
        219,
        220,
        222,
        223,
        224,
        227,
        228,
        229,
        230,
        231,
        233,
        235,
        236,
        238,
        240,
        241,
        242,
        244,
        248,
        249,
        250,
        251,
        253,
        254,
        255,
        257,
        258,
        259,
        260,
        261,
        263,
        264,
        265,
        266,
        267,
        268,
        270,
        271,
        274,
        277,
        278,
        279,
        280,
        281,
        282,
        284,
        285,
        286,
        287
      ],
      "kept_frequency_sum": 702479224,
      "kept_metric_max": 2.25166435753318,
      "kept_metric_min": 0.4661559647208543,
      "prune": [
        1,
        3,
        8,
        9,
        11,
        12,
        14,
        17,
        19,
        30,
        33,
        37,
        38,
        41,
        42,
        45,
        47,
        56,
        63,
        64,
        66,
        72,
        77,
        78,
        80,
        83,
        85,
        87,
        89,
        97,
        101,
        107,
        108,
        109,
        142,
        143,
        145,
        148,
        155,
        158,
        161,
        163,
        166,
        167,
        175,
        177,
        185,
        187,
        189,
        193,
        197,
        201,
        202,
        204,
        209,
        215,
        221,
        225,
        226,
        232,
        234,
        237,
        239,
        243,
        245,
        246,
        247,
        252,
        256,
        262,
        269,
        272,
        273,
        275,
        276,
        283
      ],
      "pruned_frequency_sum": 111406080,
      "pruned_metric_max": 0.46594750367800036,
      "pruned_metric_min": 0.20827588057872437
    },
    "18": {
      "keep": [
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        23,
        24,
        25,
        29,
        32,
        33,
        34,
        36,
        37,
        38,
        39,
        42,
        43,
        44,
        46,
        49,
        50,
        51,
        53,
        54,
        55,
        56,
        57,
        58,
        59,
        61,
        63,
        64,
        65,
        66,
        67,
        68,
        69,
        70,
        72,
        74,
        75,
        76,
        77,
        79,
        80,
        81,
        82,
        83,
        84,
        85,
        86,
        87,
        88,
        89,
        92,
        93,
        95,
        98,
        100,
        101,
        102,
        103,
        104,
        105,
        106,
        107,
        108,
        110,
        111,
        112,
        113,
        114,
        115,
        116,
        117,
        118,
        119,
        120,
        121,
        122,
        123,
        125,
        126,
        127,
        128,
        129,
        131,
        132,
        133,
        135,
        136,
        137,
        138,
        139,
        141,
        142,
        143,
        144,
        146,
        147,
        148,
        149,
        151,
        152,
        153,
        155,
        156,
        157,
        158,
        159,
        161,
        162,
        163,
        164,
        166,
        167,
        168,
        170,
        171,
        172,
        173,
        174,
        175,
        176,
        179,
        180,
        181,
        184,
        185,
        186,
        187,
        189,
        190,
        192,
        193,
        194,
        196,
        197,
        201,
        203,
        205,
        206,
        207,
        208,
        209,
        210,
        212,
        217,
        218,
        220,
        221,
        222,
        224,
        226,
        228,
        229,
        230,
        231,
        232,
        234,
        235,
        236,
        238,
        239,
        240,
        242,
        243,
        244,
        245,
        247,
        248,
        249,
        250,
        251,
        253,
        255,
        256,
        257,
        258,
        259,
        260,
        262,
        263,
        264,
        265,
        268,
        269,
        270,
        271,
        272,
        274,
        275,
        276,
        278,
        280,
        281,
        282,
        283,
        285,
        286,
        287
      ],
      "kept_frequency_sum": 696748805,
      "kept_metric_max": 2.7671979626198433,
      "kept_metric_min": 0.5415713340727251,
      "prune": [
        0,
        1,
        2,
        11,
        12,
        16,
        21,
        22,
        26,
        27,
        28,
        30,
        31,
        35,
        40,
        41,
        45,
        47,
        48,
        52,
        60,
        62,
        71,
        73,
        78,
        90,
        91,
        94,
        96,
        97,
        99,
        109,
        124,
        130,
        134,
        140,
        145,
        150,
        154,
        160,
        165,
        169,
        177,
        178,
        182,
        183,
        188,
        191,
        195,
        198,
        199,
        200,
        202,
        204,
        211,
        213,
        214,
        215,
        216,
        219,
        223,
        225,
        227,
        233,
        237,
        241,
        246,
        252,
        254,
        261,
        266,
        267,
        273,
        277,
        279,
        284
      ],
      "pruned_frequency_sum": 117136499,
      "pruned_metric_max": 0.5343896283077754,
      "pruned_metric_min": 0.20558285667307644
    },
    "19": {
      "keep": [
        0,
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        11,
        12,
        13,
        15,
        16,
        17,
        18,
        20,
        21,
        22,
        23,
        25,
        26,
        27,
        28,
        29,
        31,
        34,
        36,
        37,
        39,
        40,
        41,
        42,
        43,
        44,
        45,
        46,
        47,
        48,
        49,
        50,
        51,
        52,
        53,
        54,
        55,
        56,
        59,
        60,
        62,
        63,
        64,
        65,
        68,
        69,
        70,
        71,
        72,
        75,
        76,
        77,
        80,
        81,
        82,
        84,
        85,
        86,
        87,
        89,
        91,
        94,
        95,
        96,
        99,
        100,
        101,
        102,
        103,
        105,
        106,
        107,
        108,
        109,
        110,
        112,
        114,
        115,
        116,
        117,
        118,
        119,
        120,
        121,
        123,
        124,
        126,
        128,
        129,
        130,
        131,
        132,
        133,
        135,
        137,
        138,
        139,
        140,
        141,
        143,
        144,
        145,
        146,
        147,
        148,
        149,
        150,
        151,
        152,
        153,
        154,
        155,
        156,
        157,
        158,
        161,
        164,
        165,
        167,
        168,
        169,
        170,
        172,
        173,
        174,
        175,
        176,
        177,
        178,
        180,
        181,
        182,
        183,
        184,
        185,
        187,
        189,
        190,
        191,
        194,
        195,
        196,
        198,
        199,
        200,
        201,
        202,
        203,
        207,
        208,
        211,
        213,
        214,
        218,
        219,
        221,
        222,
        223,
        225,
        226,
        227,
        228,
        232,
        233,
        234,
        235,
        236,
        237,
        238,
        239,
        240,
        242,
        246,
        249,
        250,
        251,
        252,
        253,
        254,
        255,
        256,
        257,
        258,
        259,
        261,
        263,
        265,
        266,
        267,
        269,
        270,
        271,
        272,
        277,
        279,
        280,
        281,
        282,
        283,
        284,
        285,
        286,
        287
      ],
      "kept_frequency_sum": 675774436,
      "kept_metric_max": 3.8312097029733576,
      "kept_metric_min": 0.5589796214413372,
      "prune": [
        9,
        10,
        14,
        19,
        24,
        30,
        32,
        33,
        35,
        38,
        57,
        58,
        61,
        66,
        67,
        73,
        74,
        78,
        79,
        83,
        88,
        90,
        92,
        93,
        97,
        98,
        104,
        111,
        113,
        122,
        125,
        127,
        134,
        136,
        142,
        159,
        160,
        162,
        163,
        166,
        171,
        179,
        186,
        188,
        192,
        193,
        197,
        204,
        205,
        206,
        209,
        210,
        212,
        215,
        216,
        217,
        220,
        224,
        229,
        230,
        231,
        241,
        243,
        244,
        245,
        247,
        248,
        260,
        262,
        264,
        268,
        273,
        274,
        275,
        276,
        278
      ],
      "pruned_frequency_sum": 138110868,
      "pruned_metric_max": 0.557704342323587,
      "pruned_metric_min": 0.2985401726340839
    },
    "20": {
      "keep": [
        1,
        2,
        3,
        5,
        7,
        8,
        9,
        10,
        11,
        13,
        16,
        17,
        18,
        20,
        21,
        22,
        23,
        25,
        26,
        27,
        30,
        33,
        34,
        35,
        37,
        38,
        39,
        40,
        41,
        42,
        43,
        46,
        48,
        50,
        51,
        52,
        53,
        56,
        57,
        58,
        59,
        60,
        61,
        63,
        65,
        66,
        67,
        68,
        69,
        71,
        73,
        74,
        75,
        76,
        77,
        78,
        79,
        80,
        81,
        82,
        83,
        84,
        85,
        86,
        87,
        88,
        90,
        93,
        94,
        95,
        96,
        98,
        99,
        100,
        104,
        105,
        107,
        109,
        110,
        111,
        112,
        114,
        115,
        116,
        117,
        118,
        119,
        122,
        123,
        124,
        129,
        130,
        132,
        133,
        134,
        135,
        137,
        138,
        139,
        140,
        141,
        142,
        144,
        145,
        147,
        149,
        150,
        151,
        152,
        153,
        154,
        155,
        156,
        157,
        158,
        159,
        160,
        161,
        163,
        164,
        165,
        166,
        168,
        169,
        170,
        171,
        172,
        174,
        175,
        176,
        177,
        179,
        182,
        184,
        185,
        186,
        188,
        189,
        190,
        191,
        192,
        193,
        194,
        195,
        196,
        197,
        198,
        199,
        200,
        201,
        202,
        203,
        204,
        205,
        206,
        207,
        208,
        209,
        210,
        211,
        212,
        213,
        214,
        215,
        216,
        217,
        219,
        220,
        221,
        223,
        226,
        227,
        228,
        229,
        232,
        234,
        235,
        237,
        238,
        240,
        242,
        244,
        245,
        246,
        249,
        250,
        251,
        252,
        253,
        256,
        257,
        258,
        259,
        260,
        262,
        264,
        265,
        266,
        267,
        268,
        269,
        271,
        273,
        274,
        276,
        277,
        278,
        283,
        284,
        285,
        286,
        287
      ],
      "kept_frequency_sum": 663445569,
      "kept_metric_max": 7.183801859325588,
      "kept_metric_min": 0.6668451671683939,
      "prune": [
        0,
        4,
        6,
        12,
        14,
        15,
        19,
        24,
        28,
        29,
        31,
        32,
        36,
        44,
        45,
        47,
        49,
        54,
        55,
        62,
        64,
        70,
        72,
        89,
        91,
        92,
        97,
        101,
        102,
        103,
        106,
        108,
        113,
        120,
        121,
        125,
        126,
        127,
        128,
        131,
        136,
        143,
        146,
        148,
        162,
        167,
        173,
        178,
        180,
        181,
        183,
        187,
        218,
        222,
        224,
        225,
        230,
        231,
        233,
        236,
        239,
        241,
        243,
        247,
        248,
        254,
        255,
        261,
        263,
        270,
        272,
        275,
        279,
        280,
        281,
        282
      ],
      "pruned_frequency_sum": 150439735,
      "pruned_metric_max": 0.6652925530234661,
      "pruned_metric_min": 0.2971377253700656
    },
    "21": {
      "keep": [
        1,
        2,
        3,
        4,
        5,
        6,
        8,
        9,
        10,
        11,
        12,
        13,
        14,
        17,
        18,
        20,
        21,
        22,
        23,
        24,
        25,
        26,
        27,
        28,
        29,
        31,
        32,
        34,
        35,
        36,
        37,
        38,
        39,
        40,
        41,
        43,
        46,
        47,
        48,
        49,
        50,
        52,
        54,
        55,
        56,
        57,
        58,
        59,
        61,
        62,
        63,
        65,
        67,
        68,
        69,
        71,
        72,
        73,
        74,
        75,
        77,
        78,
        79,
        80,
        83,
        84,
        86,
        88,
        91,
        92,
        93,
        96,
        97,
        98,
        99,
        100,
        101,
        103,
        105,
        106,
        107,
        108,
        109,
        111,
        114,
        115,
        116,
        117,
        118,
        119,
        122,
        123,
        124,
        125,
        127,
        129,
        131,
        132,
        137,
        138,
        139,
        140,
        142,
        143,
        144,
        145,
        146,
        148,
        149,
        150,
        153,
        154,
        156,
        157,
        158,
        159,
        160,
        161,
        162,
        163,
        164,
        165,
        166,
        167,
        170,
        171,
        172,
        174,
        176,
        177,
        179,
        180,
        181,
        182,
        184,
        185,
        186,
        187,
        188,
        189,
        190,
        191,
        195,
        196,
        197,
        199,
        200,
        202,
        204,
        205,
        207,
        209,
        210,
        211,
        212,
        213,
        215,
        216,
        217,
        218,
        219,
        221,
        222,
        223,
        224,
        227,
        228,
        229,
        231,
        232,
        234,
        235,
        236,
        237,
        238,
        239,
        242,
        243,
        244,
        245,
        246,
        247,
        248,
        250,
        251,
        252,
        253,
        254,
        255,
        257,
        258,
        259,
        260,
        261,
        262,
        263,
        264,
        265,
        266,
        267,
        268,
        269,
        273,
        275,
        276,
        278,
        279,
        280,
        281,
        282,
        286,
        287
      ],
      "kept_frequency_sum": 683284861,
      "kept_metric_max": 4.242114177360894,
      "kept_metric_min": 0.6489220037338951,
      "prune": [
        0,
        7,
        15,
        16,
        19,
        30,
        33,
        42,
        44,
        45,
        51,
        53,
        60,
        64,
        66,
        70,
        76,
        81,
        82,
        85,
        87,
        89,
        90,
        94,
        95,
        102,
        104,
        110,
        112,
        113,
        120,
        121,
        126,
        128,
        130,
        133,
        134,
        135,
        136,
        141,
        147,
        151,
        152,
        155,
        168,
        169,
        173,
        175,
        178,
        183,
        192,
        193,
        194,
        198,
        201,
        203,
        206,
        208,
        214,
        220,
        225,
        226,
        230,
        233,
        240,
        241,
        249,
        256,
        270,
        271,
        272,
        274,
        277,
        283,
        284,
        285
      ],
      "pruned_frequency_sum": 130600443,
      "pruned_metric_max": 0.6466583480861532,
      "pruned_metric_min": 0.4148442507817514
    },
    "22": {
      "keep": [
        0,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        15,
        17,
        18,
        19,
        20,
        21,
        23,
        24,
        25,
        26,
        27,
        28,
        29,
        31,
        32,
        34,
        35,
        36,
        37,
        38,
        39,
        41,
        42,
        44,
        45,
        46,
        48,
        49,
        50,
        52,
        53,
        54,
        55,
        56,
        57,
        58,
        59,
        60,
        61,
        62,
        64,
        66,
        68,
        69,
        70,
        71,
        72,
        73,
        75,
        76,
        77,
        78,
        79,
        81,
        83,
        84,
        85,
        86,
        87,
        90,
        91,
        92,
        93,
        95,
        96,
        97,
        98,
        99,
        100,
        102,
        103,
        105,
        107,
        108,
        110,
        111,
        112,
        116,
        117,
        119,
        120,
        125,
        126,
        127,
        128,
        129,
        130,
        132,
        135,
        136,
        139,
        140,
        141,
        142,
        143,
        144,
        145,
        147,
        148,
        149,
        150,
        151,
        152,
        153,
        155,
        156,
        157,
        159,
        161,
        162,
        164,
        165,
        166,
        167,
        168,
        170,
        171,
        172,
        175,
        176,
        177,
        178,
        179,
        180,
        183,
        185,
        186,
        187,
        188,
        189,
        190,
        191,
        192,
        193,
        194,
        195,
        197,
        198,
        200,
        201,
        202,
        203,
        205,
        206,
        207,
        209,
        211,
        212,
        213,
        214,
        215,
        217,
        218,
        221,
        222,
        226,
        227,
        228,
        229,
        232,
        233,
        234,
        236,
        237,
        239,
        241,
        242,
        244,
        247,
        248,
        249,
        250,
        251,
        252,
        253,
        254,
        256,
        257,
        258,
        260,
        261,
        262,
        264,
        265,
        266,
        267,
        268,
        269,
        270,
        271,
        273,
        274,
        277,
        278,
        279,
        281,
        283,
        284,
        285,
        287
      ],
      "kept_frequency_sum": 655781268,
      "kept_metric_max": 5.059906578152495,
      "kept_metric_min": 0.6815128034374299,
      "prune": [
        1,
        13,
        14,
        16,
        22,
        30,
        33,
        40,
        43,
        47,
        51,
        63,
        65,
        67,
        74,
        80,
        82,
        88,
        89,
        94,
        101,
        104,
        106,
        109,
        113,
        114,
        115,
        118,
        121,
        122,
        123,
        124,
        131,
        133,
        134,
        137,
        138,
        146,
        154,
        158,
        160,
        163,
        169,
        173,
        174,
        181,
        182,
        184,
        196,
        199,
        204,
        208,
        210,
        216,
        219,
        220,
        223,
        224,
        225,
        230,
        231,
        235,
        238,
        240,
        243,
        245,
        246,
        255,
        259,
        263,
        272,
        275,
        276,
        280,
        282,
        286
      ],
      "pruned_frequency_sum": 158104036,
      "pruned_metric_max": 0.6720420908592519,
      "pruned_metric_min": 0.4633837318898163
    },
    "23": {
      "keep": [
        0,
        1,
        3,
        5,
        6,
        8,
        11,
        14,
        15,
        16,
        18,
        19,
        20,
        22,
        23,
        24,
        25,
        27,
        28,
        29,
        30,
        31,
        32,
        33,
        34,
        35,
        36,
        38,
        40,
        41,
        43,
        46,
        47,
        48,
        49,
        50,
        51,
        52,
        53,
        54,
        58,
        59,
        60,
        61,
        62,
        63,
        64,
        65,
        66,
        67,
        68,
        69,
        70,
        71,
        72,
        74,
        75,
        76,
        77,
        78,
        81,
        82,
        83,
        84,
        85,
        86,
        87,
        88,
        90,
        91,
        92,
        93,
        94,
        96,
        97,
        98,
        99,
        100,
        101,
        102,
        103,
        105,
        106,
        108,
        111,
        112,
        113,
        114,
        116,
        117,
        118,
        119,
        120,
        121,
        122,
        123,
        124,
        125,
        126,
        127,
        128,
        131,
        133,
        136,
        139,
        141,
        142,
        143,
        145,
        146,
        149,
        150,
        151,
        153,
        154,
        155,
        156,
        157,
        161,
        164,
        165,
        166,
        167,
        169,
        170,
        172,
        173,
        174,
        175,
        176,
        177,
        178,
        181,
        182,
        183,
        184,
        185,
        186,
        187,
        190,
        191,
        192,
        193,
        194,
        195,
        198,
        200,
        201,
        202,
        203,
        204,
        206,
        207,
        208,
        211,
        213,
        214,
        215,
        217,
        218,
        219,
        220,
        222,
        224,
        225,
        226,
        227,
        228,
        230,
        232,
        233,
        234,
        236,
        237,
        238,
        239,
        241,
        244,
        247,
        249,
        250,
        251,
        253,
        254,
        255,
        256,
        257,
        258,
        259,
        261,
        262,
        263,
        264,
        265,
        267,
        268,
        269,
        270,
        271,
        272,
        273,
        274,
        276,
        277,
        279,
        280,
        282,
        283,
        284,
        285,
        286,
        287
      ],
      "kept_frequency_sum": 660066310,
      "kept_metric_max": 6.26237480573733,
      "kept_metric_min": 0.7871745534097062,
      "prune": [
        2,
        4,
        7,
        9,
        10,
        12,
        13,
        17,
        21,
        26,
        37,
        39,
        42,
        44,
        45,
        55,
        56,
        57,
        73,
        79,
        80,
        89,
        95,
        104,
        107,
        109,
        110,
        115,
        129,
        130,
        132,
        134,
        135,
        137,
        138,
        140,
        144,
        147,
        148,
        152,
        158,
        159,
        160,
        162,
        163,
        168,
        171,
        179,
        180,
        188,
        189,
        196,
        197,
        199,
        205,
        209,
        210,
        212,
        216,
        221,
        223,
        229,
        231,
        235,
        240,
        242,
        243,
        245,
        246,
        248,
        252,
        260,
        266,
        275,
        278,
        281
      ],
      "pruned_frequency_sum": 153818994,
      "pruned_metric_max": 0.7863443520388752,
      "pruned_metric_min": 0.5031331404337219
    },
    "24": {
      "keep": [
        0,
        1,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        16,
        17,
        18,
        19,
        22,
        24,
        25,
        26,
        27,
        29,
        30,
        32,
        33,
        34,
        35,
        36,
        37,
        38,
        40,
        42,
        45,
        46,
        47,
        48,
        49,
        50,
        53,
        54,
        55,
        56,
        57,
        58,
        59,
        60,
        62,
        63,
        64,
        65,
        66,
        67,
        69,
        71,
        72,
        73,
        74,
        75,
        77,
        79,
        81,
        82,
        83,
        84,
        85,
        86,
        88,
        89,
        94,
        95,
        97,
        98,
        99,
        101,
        102,
        103,
        104,
        105,
        107,
        108,
        109,
        110,
        112,
        114,
        115,
        116,
        117,
        118,
        121,
        122,
        123,
        124,
        126,
        127,
        128,
        130,
        131,
        132,
        133,
        134,
        137,
        139,
        140,
        141,
        144,
        145,
        146,
        147,
        148,
        149,
        150,
        151,
        152,
        154,
        155,
        156,
        157,
        158,
        159,
        161,
        164,
        166,
        168,
        170,
        173,
        175,
        177,
        178,
        180,
        184,
        185,
        186,
        187,
        188,
        189,
        190,
        191,
        192,
        193,
        194,
        195,
        196,
        197,
        198,
        199,
        200,
        201,
        202,
        203,
        204,
        205,
        206,
        207,
        208,
        209,
        210,
        212,
        213,
        214,
        216,
        217,
        218,
        219,
        221,
        222,
        223,
        226,
        227,
        228,
        229,
        231,
        233,
        235,
        236,
        237,
        238,
        241,
        242,
        243,
        244,
        248,
        250,
        251,
        252,
        253,
        255,
        256,
        258,
        259,
        261,
        263,
        264,
        265,
        266,
        268,
        269,
        270,
        271,
        272,
        274,
        275,
        276,
        279,
        280,
        281,
        282,
        283,
        284,
        285,
        287
      ],
      "kept_frequency_sum": 639479950,
      "kept_metric_max": 8.559355321212797,
      "kept_metric_min": 0.7969425518587975,
      "prune": [
        2,
        3,
        20,
        21,
        23,
        28,
        31,
        39,
        41,
        43,
        44,
        51,
        52,
        61,
        68,
        70,
        76,
        78,
        80,
        87,
        90,
        91,
        92,
        93,
        96,
        100,
        106,
        111,
        113,
        119,
        120,
        125,
        129,
        135,
        136,
        138,
        142,
        143,
        153,
        160,
        162,
        163,
        165,
        167,
        169,
        171,
        172,
        174,
        176,
        179,
        181,
        182,
        183,
        211,
        215,
        220,
        224,
        225,
        230,
        232,
        234,
        239,
        240,
        245,
        246,
        247,
        249,
        254,
        257,
        260,
        262,
        267,
        273,
        277,
        278,
        286
      ],
      "pruned_frequency_sum": 174405354,
      "pruned_metric_max": 0.7965983671820009,
      "pruned_metric_min": 0.5099474315697586
    },
    "25": {
      "keep": [
        0,
        1,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        14,
        16,
        17,
        18,
        19,
        20,
        22,
        24,
        26,
        27,
        28,
        29,
        30,
        33,
        34,
        35,
        36,
        37,
        38,
        39,
        40,
        42,
        44,
        45,
        47,
        49,
        53,
        56,
        57,
        59,
        60,
        61,
        62,
        63,
        65,
        66,
        67,
        68,
        69,
        70,
        71,
        73,
        74,
        75,
        76,
        77,
        80,
        82,
        83,
        84,
        86,
        87,
        89,
        90,
        92,
        93,
        94,
        95,
        96,
        98,
        99,
        101,
        102,
        103,
        104,
        105,
        107,
        108,
        110,
        111,
        112,
        113,
        115,
        116,
        117,
        118,
        119,
        120,
        121,
        122,
        123,
        124,
        125,
        126,
        127,
        129,
        130,
        131,
        134,
        135,
        137,
        138,
        139,
        140,
        144,
        146,
        147,
        148,
        149,
        150,
        152,
        153,
        154,
        155,
        156,
        157,
        158,
        159,
        161,
        163,
        164,
        168,
        169,
        171,
        173,
        175,
        176,
        177,
        178,
        179,
        180,
        181,
        182,
        183,
        184,
        185,
        186,
        187,
        188,
        189,
        190,
        191,
        193,
        195,
        196,
        198,
        199,
        200,
        202,
        204,
        205,
        207,
        209,
        210,
        211,
        212,
        214,
        215,
        216,
        217,
        218,
        221,
        222,
        224,
        225,
        226,
        227,
        228,
        229,
        230,
        231,
        232,
        233,
        234,
        236,
        237,
        239,
        241,
        242,
        243,
        246,
        247,
        249,
        250,
        251,
        252,
        253,
        255,
        256,
        257,
        258,
        259,
        260,
        262,
        263,
        264,
        265,
        266,
        268,
        270,
        271,
        272,
        273,
        274,
        275,
        276,
        277,
        280,
        281,
        282,
        283,
        285,
        287
      ],
      "kept_frequency_sum": 637340349,
      "kept_metric_max": 9.39115745528102,
      "kept_metric_min": 0.8593554975912745,
      "prune": [
        2,
        3,
        4,
        5,
        13,
        15,
        21,
        23,
        25,
        31,
        32,
        41,
        43,
        46,
        48,
        50,
        51,
        52,
        54,
        55,
        58,
        64,
        72,
        78,
        79,
        81,
        85,
        88,
        91,
        97,
        100,
        106,
        109,
        114,
        128,
        132,
        133,
        136,
        141,
        142,
        143,
        145,
        151,
        160,
        162,
        165,
        166,
        167,
        170,
        172,
        174,
        192,
        194,
        197,
        201,
        203,
        206,
        208,
        213,
        219,
        220,
        223,
        235,
        238,
        240,
        244,
        245,
        248,
        254,
        261,
        267,
        269,
        278,
        279,
        284,
        286
      ],
      "pruned_frequency_sum": 176544955,
      "pruned_metric_max": 0.8532623119103101,
      "pruned_metric_min": 0.5166783758964261
    },
    "26": {
      "keep": [
        0,
        1,
        2,
        3,
        4,
        6,
        7,
        8,
        9,
        11,
        13,
        14,
        16,
        17,
        18,
        20,
        22,
        23,
        25,
        26,
        28,
        29,
        31,
        34,
        36,
        37,
        38,
        39,
        40,
        41,
        42,
        43,
        45,
        46,
        47,
        49,
        52,
        53,
        54,
        56,
        57,
        58,
        59,
        60,
        61,
        62,
        64,
        65,
        66,
        67,
        68,
        69,
        70,
        73,
        74,
        75,
        76,
        77,
        78,
        79,
        80,
        81,
        82,
        84,
        85,
        87,
        89,
        92,
        93,
        94,
        95,
        98,
        100,
        101,
        102,
        103,
        105,
        107,
        108,
        109,
        110,
        111,
        115,
        116,
        117,
        119,
        121,
        122,
        123,
        124,
        125,
        126,
        127,
        128,
        130,
        131,
        132,
        133,
        134,
        135,
        137,
        138,
        140,
        141,
        142,
        144,
        146,
        149,
        150,
        152,
        153,
        154,
        155,
        156,
        157,
        158,
        159,
        160,
        161,
        162,
        163,
        164,
        165,
        167,
        168,
        170,
        172,
        173,
        176,
        177,
        178,
        179,
        180,
        184,
        185,
        187,
        189,
        190,
        191,
        192,
        194,
        195,
        196,
        197,
        199,
        200,
        201,
        202,
        203,
        206,
        207,
        208,
        209,
        211,
        215,
        216,
        217,
        218,
        219,
        221,
        223,
        224,
        225,
        226,
        227,
        228,
        229,
        230,
        231,
        232,
        233,
        234,
        235,
        236,
        237,
        238,
        239,
        240,
        241,
        242,
        243,
        244,
        245,
        246,
        247,
        249,
        250,
        251,
        252,
        254,
        255,
        256,
        257,
        258,
        259,
        261,
        262,
        263,
        264,
        266,
        267,
        268,
        269,
        270,
        271,
        272,
        273,
        278,
        279,
        281,
        282,
        286
      ],
      "kept_frequency_sum": 619683160,
      "kept_metric_max": 7.0433595323672895,
      "kept_metric_min": 0.9100272952614459,
      "prune": [
        5,
        10,
        12,
        15,
        19,
        21,
        24,
        27,
        30,
        32,
        33,
        35,
        44,
        48,
        50,
        51,
        55,
        63,
        71,
        72,
        83,
        86,
        88,
        90,
        91,
        96,
        97,
        99,
        104,
        106,
        112,
        113,
        114,
        118,
        120,
        129,
        136,
        139,
        143,
        145,
        147,
        148,
        151,
        166,
        169,
        171,
        174,
        175,
        181,
        182,
        183,
        186,
        188,
        193,
        198,
        204,
        205,
        210,
        212,
        213,
        214,
        220,
        222,
        248,
        253,
        260,
        265,
        274,
        275,
        276,
        277,
        280,
        283,
        284,
        285,
        287
      ],
      "pruned_frequency_sum": 194202144,
      "pruned_metric_max": 0.899605836113336,
      "pruned_metric_min": 0.4210506893569156
    },
    "27": {
      "keep": [
        0,
        1,
        3,
        4,
        6,
        9,
        11,
        12,
        13,
        14,
        15,
        16,
        17,
        18,
        19,
        20,
        22,
        23,
        24,
        25,
        26,
        27,
        28,
        29,
        30,
        32,
        35,
        36,
        37,
        38,
        40,
        41,
        43,
        44,
        46,
        47,
        48,
        49,
        50,
        51,
        52,
        53,
        54,
        55,
        56,
        57,
        58,
        59,
        60,
        61,
        62,
        63,
        64,
        65,
        66,
        67,
        68,
        69,
        71,
        73,
        74,
        75,
        77,
        78,
        80,
        81,
        82,
        83,
        84,
        85,
        86,
        87,
        88,
        90,
        92,
        93,
        95,
        96,
        97,
        98,
        99,
        100,
        101,
        102,
        103,
        104,
        106,
        107,
        109,
        110,
        111,
        113,
        114,
        115,
        117,
        118,
        119,
        120,
        121,
        122,
        123,
        124,
        125,
        126,
        127,
        129,
        130,
        131,
        132,
        133,
        135,
        136,
        138,
        140,
        142,
        143,
        144,
        147,
        149,
        151,
        154,
        155,
        156,
        158,
        159,
        160,
        161,
        162,
        163,
        164,
        165,
        166,
        167,
        168,
        169,
        171,
        172,
        173,
        174,
        178,
        179,
        181,
        182,
        185,
        189,
        191,
        192,
        194,
        195,
        196,
        197,
        198,
        199,
        200,
        203,
        204,
        205,
        207,
        208,
        209,
        210,
        212,
        213,
        215,
        216,
        219,
        220,
        221,
        222,
        223,
        226,
        227,
        229,
        232,
        234,
        235,
        236,
        237,
        238,
        239,
        241,
        243,
        244,
        245,
        246,
        247,
        248,
        249,
        250,
        251,
        252,
        253,
        254,
        259,
        260,
        262,
        264,
        267,
        268,
        270,
        271,
        272,
        273,
        275,
        277,
        278,
        279,
        280,
        282,
        283,
        284,
        285
      ],
      "kept_frequency_sum": 593991382,
      "kept_metric_max": 9.15208237465257,
      "kept_metric_min": 0.9686158504680047,
      "prune": [
        2,
        5,
        7,
        8,
        10,
        21,
        31,
        33,
        34,
        39,
        42,
        45,
        70,
        72,
        76,
        79,
        89,
        91,
        94,
        105,
        108,
        112,
        116,
        128,
        134,
        137,
        139,
        141,
        145,
        146,
        148,
        150,
        152,
        153,
        157,
        170,
        175,
        176,
        177,
        180,
        183,
        184,
        186,
        187,
        188,
        190,
        193,
        201,
        202,
        206,
        211,
        214,
        217,
        218,
        224,
        225,
        228,
        230,
        231,
        233,
        240,
        242,
        255,
        256,
        257,
        258,
        261,
        263,
        265,
        266,
        269,
        274,
        276,
        281,
        286,
        287
      ],
      "pruned_frequency_sum": 219893922,
      "pruned_metric_max": 0.959468844381072,
      "pruned_metric_min": 0.6780223289541984
    },
    "28": {
      "keep": [
        1,
        2,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        15,
        16,
        17,
        19,
        20,
        22,
        23,
        24,
        25,
        26,
        27,
        28,
        29,
        30,
        31,
        32,
        33,
        37,
        38,
        39,
        41,
        42,
        43,
        45,
        49,
        50,
        51,
        52,
        53,
        54,
        55,
        57,
        58,
        59,
        60,
        61,
        62,
        65,
        66,
        67,
        68,
        70,
        71,
        73,
        75,
        76,
        77,
        78,
        79,
        80,
        81,
        82,
        83,
        85,
        86,
        88,
        90,
        91,
        92,
        94,
        95,
        96,
        97,
        100,
        101,
        104,
        105,
        106,
        109,
        110,
        111,
        112,
        115,
        116,
        119,
        120,
        121,
        124,
        125,
        126,
        127,
        129,
        130,
        131,
        132,
        133,
        134,
        136,
        137,
        138,
        139,
        142,
        143,
        144,
        145,
        146,
        148,
        151,
        152,
        154,
        155,
        157,
        158,
        159,
        160,
        161,
        162,
        164,
        165,
        166,
        167,
        169,
        170,
        171,
        172,
        173,
        174,
        175,
        177,
        178,
        179,
        181,
        182,
        183,
        184,
        186,
        188,
        190,
        191,
        192,
        193,
        194,
        195,
        197,
        199,
        200,
        201,
        202,
        204,
        205,
        206,
        207,
        208,
        210,
        211,
        212,
        213,
        214,
        215,
        217,
        218,
        220,
        222,
        226,
        227,
        228,
        229,
        230,
        232,
        233,
        234,
        235,
        236,
        237,
        238,
        239,
        240,
        241,
        242,
        245,
        246,
        247,
        248,
        249,
        250,
        253,
        254,
        256,
        257,
        258,
        259,
        260,
        261,
        262,
        263,
        265,
        266,
        268,
        269,
        270,
        271,
        272,
        273,
        274,
        276,
        279,
        281,
        282,
        283,
        284,
        287
      ],
      "kept_frequency_sum": 651673521,
      "kept_metric_max": 10.321624127768837,
      "kept_metric_min": 1.0195986862348436,
      "prune": [
        0,
        3,
        8,
        14,
        18,
        21,
        34,
        35,
        36,
        40,
        44,
        46,
        47,
        48,
        56,
        63,
        64,
        69,
        72,
        74,
        84,
        87,
        89,
        93,
        98,
        99,
        102,
        103,
        107,
        108,
        113,
        114,
        117,
        118,
        122,
        123,
        128,
        135,
        140,
        141,
        147,
        149,
        150,
        153,
        156,
        163,
        168,
        176,
        180,
        185,
        187,
        189,
        196,
        198,
        203,
        209,
        216,
        219,
        221,
        223,
        224,
        225,
        231,
        243,
        244,
        251,
        252,
        255,
        264,
        267,
        275,
        277,
        278,
        280,
        285,
        286
      ],
      "pruned_frequency_sum": 162211783,
      "pruned_metric_max": 1.0100229343957965,
      "pruned_metric_min": 0.6590172676994442
    },
    "29": {
      "keep": [
        0,
        1,
        2,
        4,
        5,
        7,
        8,
        9,
        11,
        12,
        14,
        15,
        16,
        17,
        18,
        19,
        20,
        21,
        22,
        23,
        24,
        25,
        26,
        27,
        28,
        29,
        30,
        31,
        32,
        33,
        35,
        36,
        37,
        38,
        40,
        41,
        42,
        43,
        44,
        47,
        48,
        49,
        51,
        52,
        53,
        54,
        55,
        58,
        59,
        60,
        61,
        62,
        63,
        64,
        65,
        66,
        67,
        68,
        71,
        72,
        73,
        75,
        76,
        77,
        78,
        80,
        81,
        82,
        83,
        84,
        85,
        86,
        87,
        88,
        90,
        91,
        92,
        93,
        94,
        96,
        97,
        98,
        100,
        101,
        102,
        103,
        105,
        106,
        107,
        108,
        109,
        111,
        114,
        115,
        117,
        120,
        121,
        124,
        125,
        126,
        128,
        129,
        130,
        131,
        132,
        133,
        134,
        135,
        137,
        138,
        139,
        141,
        142,
        143,
        145,
        146,
        147,
        148,
        149,
        150,
        152,
        153,
        154,
        155,
        156,
        157,
        160,
        162,
        163,
        165,
        166,
        168,
        171,
        172,
        173,
        174,
        175,
        176,
        177,
        178,
        179,
        181,
        183,
        184,
        185,
        186,
        188,
        189,
        190,
        192,
        194,
        198,
        199,
        200,
        202,
        204,
        205,
        207,
        208,
        209,
        210,
        213,
        214,
        215,
        219,
        220,
        221,
        222,
        224,
        225,
        226,
        227,
        228,
        229,
        231,
        233,
        234,
        235,
        236,
        237,
        238,
        239,
        241,
        242,
        243,
        245,
        246,
        248,
        249,
        250,
        252,
        253,
        254,
        255,
        258,
        259,
        260,
        262,
        263,
        265,
        267,
        268,
        269,
        270,
        271,
        274,
        276,
        277,
        280,
        281,
        283,
        285
      ],
      "kept_frequency_sum": 599199211,
      "kept_metric_max": 12.724505714697663,
      "kept_metric_min": 1.0024212787232365,
      "prune": [
        3,
        6,
        10,
        13,
        34,
        39,
        45,
        46,
        50,
        56,
        57,
        69,
        70,
        74,
        79,
        89,
        95,
        99,
        104,
        110,
        112,
        113,
        116,
        118,
        119,
        122,
        123,
        127,
        136,
        140,
        144,
        151,
        158,
        159,
        161,
        164,
        167,
        169,
        170,
        180,
        182,
        187,
        191,
        193,
        195,
        196,
        197,
        201,
        203,
        206,
        211,
        212,
        216,
        217,
        218,
        223,
        230,
        232,
        240,
        244,
        247,
        251,
        256,
        257,
        261,
        264,
        266,
        272,
        273,
        275,
        278,
        279,
        282,
        284,
        286,
        287
      ],
      "pruned_frequency_sum": 214686093,
      "pruned_metric_max": 0.9901270237094102,
      "pruned_metric_min": 0.645592094017498
    },
    "3": {
      "keep": [
        1,
        2,
        3,
        7,
        8,
        10,
        11,
        12,
        14,
        15,
        16,
        17,
        18,
        19,
        20,
        21,
        23,
        24,
        26,
        28,
        29,
        32,
        33,
        35,
        36,
        38,
        39,
        40,
        41,
        43,
        45,
        46,
        47,
        48,
        49,
        50,
        51,
        52,
        53,
        54,
        56,
        57,
        58,
        59,
        62,
        63,
        64,
        65,
        66,
        68,
        70,
        71,
        72,
        73,
        74,
        75,
        78,
        79,
        80,
        82,
        83,
        85,
        87,
        88,
        89,
        90,
        91,
        92,
        94,
        98,
        99,
        100,
        101,
        102,
        103,
        105,
        107,
        108,
        109,
        110,
        111,
        112,
        113,
        114,
        116,
        117,
        118,
        119,
        120,
        121,
        122,
        123,
        124,
        125,
        126,
        127,
        130,
        131,
        132,
        133,
        134,
        135,
        137,
        138,
        139,
        141,
        144,
        146,
        148,
        151,
        152,
        154,
        155,
        156,
        157,
        159,
        160,
        161,
        162,
        163,
        164,
        165,
        166,
        167,
        168,
        171,
        172,
        175,
        177,
        178,
        179,
        180,
        181,
        182,
        183,
        184,
        186,
        189,
        190,
        192,
        193,
        194,
        196,
        197,
        199,
        201,
        203,
        204,
        205,
        206,
        211,
        212,
        213,
        214,
        215,
        216,
        217,
        218,
        219,
        220,
        221,
        222,
        223,
        224,
        225,
        227,
        228,
        229,
        230,
        231,
        232,
        233,
        234,
        235,
        238,
        239,
        241,
        242,
        244,
        245,
        246,
        247,
        248,
        249,
        250,
        251,
        253,
        254,
        255,
        256,
        257,
        258,
        261,
        262,
        263,
        266,
        267,
        268,
        269,
        270,
        272,
        273,
        274,
        275,
        276,
        277,
        279,
        280,
        282,
        284,
        286,
        287
      ],
      "kept_frequency_sum": 616189446,
      "kept_metric_max": 0.3086481051940269,
      "kept_metric_min": 0.03431737443371494,
      "prune": [
        0,
        4,
        5,
        6,
        9,
        13,
        22,
        25,
        27,
        30,
        31,
        34,
        37,
        42,
        44,
        55,
        60,
        61,
        67,
        69,
        76,
        77,
        81,
        84,
        86,
        93,
        95,
        96,
        97,
        104,
        106,
        115,
        128,
        129,
        136,
        140,
        142,
        143,
        145,
        147,
        149,
        150,
        153,
        158,
        169,
        170,
        173,
        174,
        176,
        185,
        187,
        188,
        191,
        195,
        198,
        200,
        202,
        207,
        208,
        209,
        210,
        226,
        236,
        237,
        240,
        243,
        252,
        259,
        260,
        264,
        265,
        271,
        278,
        281,
        283,
        285
      ],
      "pruned_frequency_sum": 197695858,
      "pruned_metric_max": 0.03426188696594025,
      "pruned_metric_min": 0.014596958064051724
    },
    "30": {
      "keep": [
        0,
        1,
        3,
        4,
        6,
        7,
        8,
        9,
        10,
        12,
        13,
        14,
        15,
        16,
        17,
        18,
        19,
        20,
        21,
        22,
        23,
        24,
        25,
        26,
        27,
        28,
        29,
        30,
        31,
        34,
        35,
        36,
        37,
        40,
        47,
        48,
        49,
        50,
        51,
        52,
        53,
        58,
        59,
        60,
        61,
        62,
        63,
        64,
        67,
        68,
        71,
        73,
        74,
        75,
        76,
        78,
        79,
        80,
        81,
        82,
        83,
        85,
        87,
        88,
        90,
        91,
        92,
        93,
        94,
        97,
        98,
        99,
        100,
        101,
        103,
        106,
        108,
        109,
        110,
        111,
        112,
        115,
        116,
        117,
        119,
        120,
        121,
        122,
        123,
        124,
        125,
        126,
        127,
        130,
        131,
        132,
        133,
        134,
        135,
        138,
        140,
        141,
        142,
        144,
        145,
        147,
        148,
        149,
        150,
        151,
        152,
        154,
        155,
        156,
        158,
        159,
        160,
        161,
        162,
        163,
        165,
        167,
        168,
        170,
        171,
        172,
        173,
        174,
        175,
        176,
        177,
        179,
        180,
        181,
        182,
        183,
        185,
        186,
        187,
        189,
        190,
        191,
        192,
        194,
        195,
        196,
        197,
        198,
        199,
        201,
        202,
        203,
        204,
        205,
        206,
        207,
        208,
        209,
        211,
        212,
        213,
        216,
        219,
        223,
        224,
        226,
        229,
        230,
        231,
        232,
        234,
        235,
        236,
        237,
        239,
        240,
        241,
        243,
        244,
        245,
        247,
        248,
        250,
        251,
        252,
        253,
        255,
        256,
        257,
        258,
        259,
        260,
        261,
        263,
        264,
        265,
        266,
        267,
        269,
        273,
        274,
        276,
        277,
        278,
        279,
        280,
        281,
        282,
        283,
        284,
        285,
        287
      ],
      "kept_frequency_sum": 631555763,
      "kept_metric_max": 28.967570772790634,
      "kept_metric_min": 0.9620166486763918,
      "prune": [
        2,
        5,
        11,
        32,
        33,
        38,
        39,
        41,
        42,
        43,
        44,
        45,
        46,
        54,
        55,
        56,
        57,
        65,
        66,
        69,
        70,
        72,
        77,
        84,
        86,
        89,
        95,
        96,
        102,
        104,
        105,
        107,
        113,
        114,
        118,
        128,
        129,
        136,
        137,
        139,
        143,
        146,
        153,
        157,
        164,
        166,
        169,
        178,
        184,
        188,
        193,
        200,
        210,
        214,
        215,
        217,
        218,
        220,
        221,
        222,
        225,
        227,
        228,
        233,
        238,
        242,
        246,
        249,
        254,
        262,
        268,
        270,
        271,
        272,
        275,
        286
      ],
      "pruned_frequency_sum": 182329541,
      "pruned_metric_max": 0.959883015506297,
      "pruned_metric_min": 0.6252672780913073
    },
    "31": {
      "keep": [
        0,
        1,
        3,
        5,
        6,
        7,
        8,
        9,
        10,
        12,
        14,
        16,
        17,
        18,
        20,
        23,
        24,
        26,
        27,
        28,
        29,
        30,
        31,
        32,
        33,
        34,
        35,
        36,
        38,
        40,
        41,
        42,
        43,
        44,
        45,
        46,
        48,
        49,
        50,
        51,
        52,
        53,
        55,
        57,
        58,
        62,
        63,
        65,
        67,
        68,
        69,
        70,
        71,
        72,
        73,
        75,
        76,
        77,
        78,
        80,
        81,
        83,
        84,
        85,
        87,
        88,
        89,
        90,
        91,
        92,
        93,
        96,
        97,
        98,
        101,
        102,
        103,
        105,
        107,
        108,
        109,
        110,
        111,
        112,
        113,
        114,
        116,
        118,
        120,
        121,
        123,
        125,
        127,
        129,
        130,
        131,
        132,
        135,
        136,
        137,
        138,
        139,
        140,
        142,
        144,
        145,
        146,
        148,
        149,
        151,
        153,
        155,
        156,
        157,
        159,
        161,
        163,
        164,
        166,
        167,
        168,
        169,
        170,
        171,
        172,
        173,
        174,
        176,
        177,
        178,
        181,
        182,
        184,
        185,
        186,
        187,
        188,
        189,
        190,
        191,
        192,
        194,
        195,
        197,
        198,
        200,
        201,
        202,
        203,
        206,
        207,
        208,
        209,
        210,
        211,
        215,
        216,
        217,
        218,
        219,
        220,
        221,
        224,
        225,
        226,
        227,
        228,
        229,
        230,
        231,
        232,
        233,
        234,
        235,
        236,
        237,
        240,
        241,
        242,
        243,
        244,
        245,
        247,
        251,
        253,
        254,
        256,
        257,
        258,
        259,
        260,
        262,
        263,
        264,
        266,
        268,
        269,
        270,
        272,
        273,
        275,
        277,
        278,
        279,
        280,
        281,
        282,
        283,
        284,
        285,
        286,
        287
      ],
      "kept_frequency_sum": 597198343,
      "kept_metric_max": 12.767838217114418,
      "kept_metric_min": 1.151444497604827,
      "prune": [
        2,
        4,
        11,
        13,
        15,
        19,
        21,
        22,
        25,
        37,
        39,
        47,
        54,
        56,
        59,
        60,
        61,
        64,
        66,
        74,
        79,
        82,
        86,
        94,
        95,
        99,
        100,
        104,
        106,
        115,
        117,
        119,
        122,
        124,
        126,
        128,
        133,
        134,
        141,
        143,
        147,
        150,
        152,
        154,
        158,
        160,
        162,
        165,
        175,
        179,
        180,
        183,
        193,
        196,
        199,
        204,
        205,
        212,
        213,
        214,
        222,
        223,
        238,
        239,
        246,
        248,
        249,
        250,
        252,
        255,
        261,
        265,
        267,
        271,
        274,
        276
      ],
      "pruned_frequency_sum": 216686961,
      "pruned_metric_max": 1.1506488040307623,
      "pruned_metric_min": 0.693678852693119
    },
    "32": {
      "keep": [
        0,
        2,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        13,
        14,
        17,
        18,
        19,
        20,
        23,
        25,
        27,
        29,
        30,
        31,
        33,
        34,
        35,
        36,
        37,
        38,
        40,
        41,
        42,
        43,
        44,
        45,
        46,
        47,
        48,
        49,
        50,
        52,
        53,
        54,
        55,
        56,
        58,
        60,
        61,
        63,
        64,
        67,
        68,
        69,
        70,
        71,
        72,
        74,
        77,
        79,
        80,
        81,
        82,
        83,
        84,
        87,
        88,
        90,
        91,
        92,
        93,
        94,
        95,
        96,
        97,
        98,
        99,
        100,
        101,
        103,
        104,
        105,
        106,
        107,
        108,
        109,
        110,
        112,
        113,
        114,
        117,
        118,
        119,
        120,
        121,
        122,
        123,
        124,
        126,
        127,
        128,
        129,
        132,
        133,
        134,
        135,
        136,
        137,
        139,
        140,
        141,
        142,
        144,
        146,
        149,
        150,
        151,
        152,
        155,
        156,
        158,
        159,
        160,
        161,
        163,
        169,
        171,
        172,
        173,
        174,
        175,
        177,
        181,
        182,
        183,
        185,
        187,
        188,
        189,
        191,
        192,
        193,
        194,
        195,
        196,
        197,
        198,
        199,
        201,
        202,
        203,
        204,
        206,
        209,
        211,
        212,
        213,
        214,
        215,
        217,
        218,
        219,
        220,
        222,
        224,
        226,
        229,
        230,
        231,
        232,
        233,
        234,
        235,
        236,
        237,
        238,
        239,
        241,
        242,
        244,
        246,
        247,
        248,
        249,
        250,
        253,
        254,
        255,
        256,
        257,
        258,
        259,
        260,
        261,
        262,
        263,
        264,
        266,
        267,
        269,
        270,
        271,
        273,
        274,
        276,
        277,
        279,
        281,
        282,
        283,
        284,
        285,
        286,
        287
      ],
      "kept_frequency_sum": 643918342,
      "kept_metric_max": 20.950950285964083,
      "kept_metric_min": 1.1367729912886015,
      "prune": [
        1,
        3,
        12,
        15,
        16,
        21,
        22,
        24,
        26,
        28,
        32,
        39,
        51,
        57,
        59,
        62,
        65,
        66,
        73,
        75,
        76,
        78,
        85,
        86,
        89,
        102,
        111,
        115,
        116,
        125,
        130,
        131,
        138,
        143,
        145,
        147,
        148,
        153,
        154,
        157,
        162,
        164,
        165,
        166,
        167,
        168,
        170,
        176,
        178,
        179,
        180,
        184,
        186,
        190,
        200,
        205,
        207,
        208,
        210,
        216,
        221,
        223,
        225,
        227,
        228,
        240,
        243,
        245,
        251,
        252,
        265,
        268,
        272,
        275,
        278,
        280
      ],
      "pruned_frequency_sum": 169966962,
      "pruned_metric_max": 1.1353238094231193,
      "pruned_metric_min": 0.5856294078736407
    },
    "33": {
      "keep": [
        0,
        1,
        2,
        3,
        4,
        6,
        7,
        8,
        11,
        13,
        15,
        16,
        17,
        18,
        19,
        20,
        21,
        22,
        23,
        24,
        26,
        28,
        29,
        30,
        32,
        33,
        34,
        35,
        37,
        38,
        39,
        40,
        42,
        43,
        44,
        46,
        47,
        49,
        50,
        51,
        52,
        53,
        56,
        59,
        61,
        62,
        63,
        67,
        68,
        69,
        70,
        71,
        72,
        73,
        74,
        75,
        76,
        77,
        78,
        79,
        80,
        81,
        82,
        84,
        85,
        86,
        88,
        89,
        90,
        91,
        92,
        93,
        96,
        99,
        100,
        102,
        103,
        105,
        106,
        107,
        111,
        112,
        115,
        116,
        117,
        120,
        121,
        122,
        123,
        124,
        126,
        128,
        129,
        130,
        131,
        132,
        133,
        134,
        135,
        136,
        137,
        139,
        140,
        142,
        143,
        145,
        146,
        147,
        149,
        150,
        151,
        153,
        154,
        155,
        157,
        158,
        161,
        162,
        163,
        164,
        165,
        166,
        168,
        170,
        172,
        173,
        174,
        175,
        178,
        181,
        182,
        183,
        186,
        187,
        188,
        189,
        190,
        193,
        194,
        195,
        196,
        197,
        198,
        200,
        201,
        202,
        203,
        207,
        208,
        209,
        210,
        212,
        213,
        214,
        215,
        216,
        217,
        218,
        220,
        221,
        222,
        223,
        224,
        225,
        226,
        227,
        228,
        230,
        231,
        232,
        233,
        234,
        235,
        236,
        237,
        238,
        239,
        242,
        243,
        244,
        246,
        247,
        248,
        249,
        250,
        251,
        253,
        254,
        255,
        257,
        258,
        259,
        260,
        263,
        264,
        265,
        266,
        267,
        268,
        269,
        272,
        273,
        274,
        275,
        277,
        278,
        279,
        281,
        282,
        283,
        284,
        285
      ],
      "kept_frequency_sum": 611053372,
      "kept_metric_max": 12.49847801341541,
      "kept_metric_min": 1.1681254663145428,
      "prune": [
        5,
        9,
        10,
        12,
        14,
        25,
        27,
        31,
        36,
        41,
        45,
        48,
        54,
        55,
        57,
        58,
        60,
        64,
        65,
        66,
        83,
        87,
        94,
        95,
        97,
        98,
        101,
        104,
        108,
        109,
        110,
        113,
        114,
        118,
        119,
        125,
        127,
        138,
        141,
        144,
        148,
        152,
        156,
        159,
        160,
        167,
        169,
        171,
        176,
        177,
        179,
        180,
        184,
        185,
        191,
        192,
        199,
        204,
        205,
        206,
        211,
        219,
        229,
        240,
        241,
        245,
        252,
        256,
        261,
        262,
        270,
        271,
        276,
        280,
        286,
        287
      ],
      "pruned_frequency_sum": 202831932,
      "pruned_metric_max": 1.1680907575712187,
      "pruned_metric_min": 0.7650086716215434
    },
    "34": {
      "keep": [
        0,
        1,
        2,
        3,
        4,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23,
        24,
        25,
        27,
        28,
        29,
        30,
        31,
        32,
        34,
        36,
        37,
        38,
        39,
        40,
        42,
        44,
        45,
        48,
        49,
        51,
        52,
        53,
        55,
        57,
        58,
        59,
        60,
        61,
        62,
        63,
        64,
        65,
        66,
        67,
        68,
        69,
        70,
        71,
        74,
        75,
        79,
        81,
        83,
        86,
        87,
        88,
        89,
        90,
        91,
        92,
        93,
        95,
        96,
        98,
        99,
        100,
        101,
        102,
        105,
        106,
        107,
        108,
        109,
        111,
        112,
        114,
        115,
        116,
        117,
        119,
        121,
        122,
        124,
        125,
        126,
        127,
        128,
        129,
        130,
        133,
        134,
        135,
        136,
        137,
        138,
        139,
        140,
        141,
        142,
        143,
        145,
        146,
        148,
        149,
        150,
        151,
        152,
        154,
        155,
        159,
        160,
        161,
        163,
        164,
        166,
        167,
        168,
        169,
        170,
        171,
        172,
        174,
        177,
        178,
        179,
        180,
        181,
        182,
        184,
        185,
        186,
        187,
        189,
        190,
        192,
        193,
        195,
        196,
        197,
        198,
        199,
        200,
        201,
        202,
        203,
        205,
        206,
        207,
        209,
        211,
        213,
        214,
        216,
        217,
        218,
        219,
        220,
        221,
        222,
        223,
        224,
        225,
        226,
        227,
        228,
        229,
        230,
        231,
        235,
        236,
        237,
        238,
        240,
        241,
        242,
        244,
        245,
        246,
        248,
        249,
        250,
        252,
        255,
        256,
        258,
        260,
        261,
        263,
        264,
        270,
        271,
        272,
        275,
        277,
        279,
        281,
        282,
        283,
        284,
        285,
        286,
        287
      ],
      "kept_frequency_sum": 597290657,
      "kept_metric_max": 11.057492881955719,
      "kept_metric_min": 1.348380494992969,
      "prune": [
        5,
        13,
        14,
        16,
        26,
        33,
        35,
        41,
        43,
        46,
        47,
        50,
        54,
        56,
        72,
        73,
        76,
        77,
        78,
        80,
        82,
        84,
        85,
        94,
        97,
        103,
        104,
        110,
        113,
        118,
        120,
        123,
        131,
        132,
        144,
        147,
        153,
        156,
        157,
        158,
        162,
        165,
        173,
        175,
        176,
        183,
        188,
        191,
        194,
        204,
        208,
        210,
        212,
        215,
        232,
        233,
        234,
        239,
        243,
        247,
        251,
        253,
        254,
        257,
        259,
        262,
        265,
        266,
        267,
        268,
        269,
        273,
        274,
        276,
        278,
        280
      ],
      "pruned_frequency_sum": 216594647,
      "pruned_metric_max": 1.3480143286509474,
      "pruned_metric_min": 0.7804540039073714
    },
    "35": {
      "keep": [
        0,
        2,
        3,
        7,
        8,
        9,
        10,
        12,
        13,
        14,
        16,
        17,
        21,
        22,
        26,
        27,
        29,
        30,
        31,
        32,
        33,
        34,
        36,
        37,
        38,
        39,
        41,
        42,
        43,
        45,
        46,
        48,
        51,
        52,
        53,
        54,
        55,
        56,
        58,
        60,
        62,
        63,
        64,
        65,
        66,
        67,
        68,
        70,
        71,
        73,
        74,
        75,
        76,
        78,
        79,
        80,
        82,
        83,
        84,
        85,
        86,
        87,
        88,
        90,
        91,
        92,
        93,
        94,
        95,
        96,
        97,
        98,
        99,
        101,
        102,
        103,
        104,
        105,
        106,
        107,
        109,
        111,
        114,
        115,
        116,
        118,
        119,
        120,
        121,
        123,
        124,
        125,
        126,
        127,
        128,
        129,
        130,
        134,
        135,
        138,
        139,
        140,
        142,
        143,
        144,
        145,
        146,
        148,
        149,
        150,
        152,
        154,
        155,
        156,
        157,
        158,
        159,
        160,
        161,
        162,
        163,
        164,
        165,
        166,
        167,
        168,
        171,
        172,
        173,
        174,
        175,
        176,
        177,
        178,
        179,
        180,
        181,
        182,
        184,
        185,
        186,
        188,
        189,
        190,
        191,
        192,
        193,
        194,
        195,
        196,
        198,
        199,
        201,
        202,
        203,
        205,
        206,
        208,
        209,
        212,
        214,
        215,
        216,
        217,
        218,
        219,
        220,
        221,
        222,
        223,
        224,
        227,
        229,
        230,
        231,
        232,
        233,
        234,
        235,
        236,
        237,
        239,
        240,
        241,
        242,
        243,
        246,
        247,
        249,
        255,
        256,
        257,
        258,
        259,
        261,
        264,
        265,
        266,
        267,
        269,
        270,
        272,
        273,
        274,
        275,
        276,
        278,
        279,
        280,
        281,
        283,
        284
      ],
      "kept_frequency_sum": 584183499,
      "kept_metric_max": 12.393800458351748,
      "kept_metric_min": 1.5045729646943957,
      "prune": [
        1,
        4,
        5,
        6,
        11,
        15,
        18,
        19,
        20,
        23,
        24,
        25,
        28,
        35,
        40,
        44,
        47,
        49,
        50,
        57,
        59,
        61,
        69,
        72,
        77,
        81,
        89,
        100,
        108,
        110,
        112,
        113,
        117,
        122,
        131,
        132,
        133,
        136,
        137,
        141,
        147,
        151,
        153,
        169,
        170,
        183,
        187,
        197,
        200,
        204,
        207,
        210,
        211,
        213,
        225,
        226,
        228,
        238,
        244,
        245,
        248,
        250,
        251,
        252,
        253,
        254,
        260,
        262,
        263,
        268,
        271,
        277,
        282,
        285,
        286,
        287
      ],
      "pruned_frequency_sum": 229701805,
      "pruned_metric_max": 1.5042066526293756,
      "pruned_metric_min": 0.8250572127107113
    },
    "36": {
      "keep": [
        5,
        7,
        8,
        9,
        10,
        12,
        13,
        17,
        18,
        19,
        20,
        22,
        23,
        24,
        25,
        28,
        29,
        31,
        32,
        33,
        34,
        35,
        37,
        39,
        40,
        42,
        43,
        44,
        45,
        47,
        48,
        49,
        50,
        51,
        52,
        53,
        55,
        56,
        57,
        58,
        59,
        60,
        62,
        63,
        64,
        65,
        66,
        67,
        68,
        69,
        70,
        72,
        73,
        74,
        75,
        76,
        77,
        78,
        79,
        80,
        81,
        85,
        86,
        87,
        88,
        89,
        90,
        91,
        93,
        95,
        96,
        99,
        100,
        101,
        102,
        103,
        104,
        105,
        106,
        107,
        108,
        109,
        110,
        111,
        112,
        113,
        115,
        116,
        117,
        118,
        119,
        120,
        121,
        122,
        124,
        127,
        128,
        129,
        130,
        131,
        133,
        134,
        136,
        137,
        138,
        139,
        141,
        143,
        144,
        147,
        149,
        150,
        151,
        152,
        153,
        154,
        156,
        157,
        158,
        159,
        163,
        164,
        165,
        166,
        167,
        169,
        170,
        171,
        172,
        173,
        174,
        175,
        176,
        178,
        179,
        180,
        182,
        184,
        185,
        186,
        187,
        189,
        190,
        191,
        192,
        194,
        195,
        196,
        197,
        198,
        204,
        205,
        206,
        208,
        209,
        210,
        211,
        212,
        213,
        214,
        216,
        217,
        218,
        219,
        220,
        221,
        224,
        225,
        228,
        229,
        230,
        231,
        232,
        234,
        235,
        236,
        237,
        238,
        239,
        240,
        242,
        243,
        244,
        245,
        246,
        248,
        249,
        250,
        251,
        252,
        255,
        256,
        259,
        262,
        263,
        264,
        265,
        266,
        267,
        268,
        269,
        270,
        272,
        276,
        278,
        279,
        280,
        281,
        283,
        284,
        285,
        286
      ],
      "kept_frequency_sum": 582577828,
      "kept_metric_max": 14.86062787138288,
      "kept_metric_min": 1.6177393915303395,
      "prune": [
        0,
        1,
        2,
        3,
        4,
        6,
        11,
        14,
        15,
        16,
        21,
        26,
        27,
        30,
        36,
        38,
        41,
        46,
        54,
        61,
        71,
        82,
        83,
        84,
        92,
        94,
        97,
        98,
        114,
        123,
        125,
        126,
        132,
        135,
        140,
        142,
        145,
        146,
        148,
        155,
        160,
        161,
        162,
        168,
        177,
        181,
        183,
        188,
        193,
        199,
        200,
        201,
        202,
        203,
        207,
        215,
        222,
        223,
        226,
        227,
        233,
        241,
        247,
        253,
        254,
        257,
        258,
        260,
        261,
        271,
        273,
        274,
        275,
        277,
        282,
        287
      ],
      "pruned_frequency_sum": 231307476,
      "pruned_metric_max": 1.6114077803826286,
      "pruned_metric_min": 0.9108538616384683
    },
    "37": {
      "keep": [
        0,
        1,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        18,
        20,
        21,
        22,
        24,
        25,
        28,
        30,
        31,
        33,
        34,
        36,
        37,
        38,
        39,
        40,
        41,
        42,
        43,
        46,
        47,
        48,
        50,
        51,
        52,
        53,
        55,
        56,
        57,
        58,
        59,
        60,
        61,
        62,
        64,
        65,
        66,
        67,
        69,
        70,
        71,
        72,
        75,
        76,
        77,
        78,
        79,
        81,
        82,
        84,
        85,
        86,
        88,
        89,
        90,
        91,
        92,
        93,
        94,
        95,
        96,
        97,
        98,
        100,
        101,
        104,
        105,
        106,
        107,
        108,
        109,
        110,
        111,
        112,
        113,
        114,
        116,
        118,
        120,
        121,
        122,
        123,
        124,
        127,
        128,
        129,
        131,
        133,
        135,
        137,
        141,
        142,
        143,
        146,
        147,
        150,
        151,
        152,
        155,
        156,
        157,
        158,
        159,
        160,
        164,
        165,
        167,
        169,
        170,
        171,
        173,
        174,
        175,
        176,
        178,
        179,
        180,
        181,
        182,
        183,
        184,
        185,
        186,
        187,
        189,
        190,
        192,
        193,
        194,
        196,
        198,
        199,
        200,
        201,
        202,
        203,
        204,
        205,
        206,
        207,
        208,
        209,
        210,
        211,
        213,
        214,
        215,
        219,
        222,
        224,
        227,
        228,
        231,
        234,
        235,
        237,
        238,
        240,
        241,
        242,
        243,
        244,
        245,
        246,
        247,
        248,
        249,
        252,
        253,
        255,
        256,
        257,
        258,
        259,
        260,
        261,
        262,
        263,
        264,
        265,
        266,
        267,
        268,
        269,
        270,
        271,
        272,
        273,
        274,
        276,
        278,
        279,
        280,
        282,
        283,
        284,
        285,
        286
      ],
      "kept_frequency_sum": 588676000,
      "kept_metric_max": 20.298407138056184,
      "kept_metric_min": 1.5156646118250556,
      "prune": [
        2,
        3,
        16,
        17,
        19,
        23,
        26,
        27,
        29,
        32,
        35,
        44,
        45,
        49,
        54,
        63,
        68,
        73,
        74,
        80,
        83,
        87,
        99,
        102,
        103,
        115,
        117,
        119,
        125,
        126,
        130,
        132,
        134,
        136,
        138,
        139,
        140,
        144,
        145,
        148,
        149,
        153,
        154,
        161,
        162,
        163,
        166,
        168,
        172,
        177,
        188,
        191,
        195,
        197,
        212,
        216,
        217,
        218,
        220,
        221,
        223,
        225,
        226,
        229,
        230,
        232,
        233,
        236,
        239,
        250,
        251,
        254,
        275,
        277,
        281,
        287
      ],
      "pruned_frequency_sum": 225209304,
      "pruned_metric_max": 1.502890099855203,
      "pruned_metric_min": 0.7421701210824135
    },
    "38": {
      "keep": [
        1,
        2,
        3,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13,
        16,
        17,
        19,
        20,
        21,
        22,
        23,
        25,
        26,
        27,
        28,
        30,
        31,
        32,
        33,
        36,
        37,
        38,
        40,
        41,
        43,
        44,
        45,
        46,
        48,
        49,
        50,
        51,
        52,
        53,
        55,
        56,
        57,
        58,
        59,
        62,
        63,
        64,
        66,
        67,
        68,
        69,
        70,
        71,
        72,
        73,
        74,
        76,
        79,
        80,
        81,
        82,
        84,
        86,
        87,
        89,
        91,
        92,
        93,
        94,
        95,
        96,
        98,
        99,
        100,
        101,
        102,
        103,
        104,
        105,
        106,
        107,
        108,
        110,
        111,
        112,
        114,
        115,
        116,
        118,
        119,
        121,
        122,
        124,
        125,
        126,
        128,
        131,
        132,
        133,
        134,
        135,
        136,
        137,
        138,
        139,
        140,
        141,
        142,
        143,
        144,
        146,
        147,
        148,
        150,
        151,
        152,
        153,
        155,
        156,
        158,
        159,
        160,
        161,
        162,
        164,
        165,
        166,
        168,
        175,
        176,
        177,
        180,
        181,
        182,
        183,
        185,
        186,
        188,
        190,
        191,
        193,
        194,
        195,
        196,
        197,
        198,
        201,
        202,
        203,
        204,
        205,
        206,
        207,
        210,
        211,
        212,
        213,
        214,
        216,
        219,
        220,
        221,
        222,
        224,
        226,
        227,
        229,
        234,
        235,
        236,
        237,
        238,
        239,
        241,
        242,
        243,
        244,
        245,
        246,
        247,
        248,
        249,
        251,
        252,
        255,
        256,
        257,
        258,
        259,
        260,
        265,
        266,
        267,
        268,
        270,
        271,
        272,
        273,
        275,
        276,
        277,
        280,
        281,
        282,
        283,
        284,
        285,
        286,
        287
      ],
      "kept_frequency_sum": 539292880,
      "kept_metric_max": 17.06538680945879,
      "kept_metric_min": 1.7375081991044625,
      "prune": [
        0,
        4,
        14,
        15,
        18,
        24,
        29,
        34,
        35,
        39,
        42,
        47,
        54,
        60,
        61,
        65,
        75,
        77,
        78,
        83,
        85,
        88,
        90,
        97,
        109,
        113,
        117,
        120,
        123,
        127,
        129,
        130,
        145,
        149,
        154,
        157,
        163,
        167,
        169,
        170,
        171,
        172,
        173,
        174,
        178,
        179,
        184,
        187,
        189,
        192,
        199,
        200,
        208,
        209,
        215,
        217,
        218,
        223,
        225,
        228,
        230,
        231,
        232,
        233,
        240,
        250,
        253,
        254,
        261,
        262,
        263,
        264,
        269,
        274,
        278,
        279
      ],
      "pruned_frequency_sum": 274592424,
      "pruned_metric_max": 1.7217670267035616,
      "pruned_metric_min": 0.7508882890393107
    },
    "39": {
      "keep": [
        0,
        2,
        3,
        4,
        5,
        6,
        8,
        9,
        11,
        13,
        15,
        19,
        22,
        23,
        24,
        27,
        28,
        29,
        31,
        32,
        35,
        36,
        37,
        38,
        39,
        40,
        43,
        44,
        45,
        46,
        47,
        48,
        49,
        50,
        51,
        52,
        53,
        54,
        55,
        56,
        57,
        59,
        60,
        61,
        62,
        63,
        65,
        66,
        67,
        70,
        71,
        72,
        74,
        75,
        76,
        77,
        81,
        83,
        85,
        86,
        88,
        89,
        90,
        91,
        93,
        94,
        95,
        96,
        97,
        98,
        99,
        100,
        101,
        104,
        105,
        106,
        108,
        110,
        112,
        113,
        114,
        115,
        117,
        118,
        120,
        121,
        122,
        123,
        124,
        125,
        126,
        127,
        128,
        129,
        130,
        131,
        132,
        133,
        134,
        135,
        137,
        138,
        139,
        140,
        141,
        142,
        143,
        144,
        147,
        148,
        150,
        151,
        155,
        156,
        157,
        158,
        159,
        160,
        161,
        163,
        164,
        165,
        167,
        168,
        169,
        170,
        171,
        172,
        173,
        174,
        175,
        177,
        179,
        180,
        181,
        182,
        183,
        185,
        186,
        187,
        188,
        190,
        191,
        192,
        193,
        194,
        195,
        196,
        197,
        198,
        199,
        200,
        202,
        203,
        204,
        206,
        207,
        208,
        209,
        212,
        213,
        214,
        215,
        216,
        219,
        220,
        221,
        222,
        225,
        226,
        227,
        228,
        230,
        231,
        232,
        234,
        235,
        236,
        237,
        239,
        240,
        241,
        242,
        244,
        247,
        248,
        249,
        252,
        254,
        255,
        256,
        257,
        258,
        259,
        261,
        262,
        264,
        265,
        266,
        267,
        268,
        269,
        271,
        272,
        274,
        276,
        278,
        279,
        280,
        282,
        286,
        287
      ],
      "kept_frequency_sum": 585820885,
      "kept_metric_max": 20.048333070180224,
      "kept_metric_min": 1.7850220213317165,
      "prune": [
        1,
        7,
        10,
        12,
        14,
        16,
        17,
        18,
        20,
        21,
        25,
        26,
        30,
        33,
        34,
        41,
        42,
        58,
        64,
        68,
        69,
        73,
        78,
        79,
        80,
        82,
        84,
        87,
        92,
        102,
        103,
        107,
        109,
        111,
        116,
        119,
        136,
        145,
        146,
        149,
        152,
        153,
        154,
        162,
        166,
        176,
        178,
        184,
        189,
        201,
        205,
        210,
        211,
        217,
        218,
        223,
        224,
        229,
        233,
        238,
        243,
        245,
        246,
        250,
        251,
        253,
        260,
        263,
        270,
        273,
        275,
        277,
        281,
        283,
        284,
        285
      ],
      "pruned_frequency_sum": 228064419,
      "pruned_metric_max": 1.7783023206966084,
      "pruned_metric_min": 0.796592625104478
    },
    "4": {
      "keep": [
        0,
        1,
        4,
        5,
        6,
        8,
        10,
        11,
        12,
        13,
        15,
        17,
        18,
        21,
        23,
        24,
        25,
        27,
        28,
        30,
        31,
        32,
        33,
        35,
        36,
        39,
        41,
        42,
        46,
        48,
        49,
        52,
        53,
        55,
        57,
        59,
        60,
        61,
        62,
        64,
        65,
        67,
        68,
        69,
        70,
        71,
        72,
        73,
        77,
        78,
        79,
        80,
        81,
        82,
        84,
        85,
        86,
        87,
        88,
        89,
        90,
        91,
        92,
        93,
        94,
        95,
        97,
        98,
        100,
        101,
        102,
        103,
        105,
        106,
        107,
        108,
        111,
        112,
        114,
        115,
        116,
        117,
        118,
        119,
        120,
        124,
        125,
        126,
        127,
        128,
        129,
        130,
        134,
        135,
        136,
        137,
        138,
        139,
        140,
        141,
        142,
        143,
        144,
        145,
        146,
        147,
        149,
        151,
        153,
        154,
        155,
        156,
        158,
        159,
        160,
        161,
        162,
        163,
        165,
        167,
        168,
        169,
        173,
        174,
        175,
        176,
        177,
        179,
        180,
        181,
        184,
        187,
        190,
        193,
        194,
        197,
        198,
        199,
        202,
        203,
        206,
        207,
        208,
        209,
        210,
        211,
        212,
        213,
        214,
        215,
        216,
        217,
        218,
        219,
        220,
        221,
        222,
        224,
        226,
        227,
        228,
        229,
        231,
        232,
        234,
        235,
        238,
        239,
        240,
        242,
        243,
        244,
        245,
        246,
        247,
        249,
        250,
        252,
        253,
        254,
        255,
        256,
        257,
        258,
        259,
        260,
        261,
        262,
        264,
        265,
        266,
        267,
        268,
        269,
        270,
        271,
        272,
        273,
        274,
        275,
        276,
        277,
        278,
        279,
        280,
        281,
        282,
        283,
        284,
        285,
        286,
        287
      ],
      "kept_frequency_sum": 653773750,
      "kept_metric_max": 0.3608234194697629,
      "kept_metric_min": 0.03221972932185566,
      "prune": [
        2,
        3,
        7,
        9,
        14,
        16,
        19,
        20,
        22,
        26,
        29,
        34,
        37,
        38,
        40,
        43,
        44,
        45,
        47,
        50,
        51,
        54,
        56,
        58,
        63,
        66,
        74,
        75,
        76,
        83,
        96,
        99,
        104,
        109,
        110,
        113,
        121,
        122,
        123,
        131,
        132,
        133,
        148,
        150,
        152,
        157,
        164,
        166,
        170,
        171,
        172,
        178,
        182,
        183,
        185,
        186,
        188,
        189,
        191,
        192,
        195,
        196,
        200,
        201,
        204,
        205,
        223,
        225,
        230,
        233,
        236,
        237,
        241,
        248,
        251,
        263
      ],
      "pruned_frequency_sum": 160111554,
      "pruned_metric_max": 0.03216123563639748,
      "pruned_metric_min": 0.0
    },
    "40": {
      "keep": [
        0,
        1,
        3,
        4,
        6,
        9,
        10,
        11,
        12,
        13,
        15,
        16,
        17,
        20,
        21,
        22,
        24,
        25,
        26,
        27,
        28,
        30,
        31,
        32,
        35,
        36,
        38,
        39,
        40,
        41,
        43,
        44,
        45,
        47,
        48,
        49,
        52,
        53,
        55,
        56,
        58,
        60,
        62,
        63,
        64,
        67,
        68,
        71,
        72,
        73,
        74,
        75,
        77,
        79,
        81,
        82,
        83,
        84,
        85,
        86,
        87,
        88,
        89,
        91,
        92,
        93,
        94,
        96,
        97,
        98,
        99,
        100,
        101,
        103,
        104,
        106,
        107,
        109,
        111,
        114,
        116,
        117,
        118,
        119,
        120,
        121,
        122,
        123,
        124,
        126,
        128,
        129,
        130,
        131,
        133,
        135,
        136,
        137,
        138,
        139,
        141,
        142,
        146,
        148,
        149,
        150,
        151,
        152,
        153,
        154,
        157,
        159,
        160,
        161,
        162,
        163,
        164,
        165,
        168,
        169,
        170,
        171,
        172,
        173,
        174,
        175,
        177,
        178,
        180,
        183,
        185,
        186,
        187,
        188,
        189,
        191,
        192,
        193,
        194,
        195,
        196,
        198,
        199,
        200,
        201,
        202,
        203,
        204,
        206,
        207,
        208,
        209,
        211,
        212,
        213,
        214,
        215,
        216,
        217,
        219,
        220,
        221,
        222,
        223,
        224,
        225,
        226,
        227,
        228,
        231,
        232,
        234,
        236,
        238,
        239,
        240,
        241,
        242,
        243,
        244,
        246,
        247,
        248,
        249,
        250,
        251,
        253,
        254,
        257,
        260,
        261,
        263,
        264,
        265,
        266,
        268,
        270,
        271,
        272,
        273,
        274,
        276,
        277,
        279,
        280,
        281,
        282,
        283,
        284,
        285,
        286,
        287
      ],
      "kept_frequency_sum": 560834856,
      "kept_metric_max": 22.404487190007302,
      "kept_metric_min": 1.824638283792029,
      "prune": [
        2,
        5,
        7,
        8,
        14,
        18,
        19,
        23,
        29,
        33,
        34,
        37,
        42,
        46,
        50,
        51,
        54,
        57,
        59,
        61,
        65,
        66,
        69,
        70,
        76,
        78,
        80,
        90,
        95,
        102,
        105,
        108,
        110,
        112,
        113,
        115,
        125,
        127,
        132,
        134,
        140,
        143,
        144,
        145,
        147,
        155,
        156,
        158,
        166,
        167,
        176,
        179,
        181,
        182,
        184,
        190,
        197,
        205,
        210,
        218,
        229,
        230,
        233,
        235,
        237,
        245,
        252,
        255,
        256,
        258,
        259,
        262,
        267,
        269,
        275,
        278
      ],
      "pruned_frequency_sum": 253050448,
      "pruned_metric_max": 1.7898515714079306,
      "pruned_metric_min": 0.7168108227561963
    },
    "41": {
      "keep": [
        0,
        1,
        2,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        13,
        14,
        15,
        16,
        17,
        18,
        19,
        21,
        22,
        23,
        24,
        25,
        26,
        27,
        28,
        29,
        30,
        32,
        34,
        35,
        37,
        38,
        39,
        40,
        41,
        44,
        46,
        47,
        49,
        50,
        51,
        52,
        53,
        54,
        57,
        58,
        60,
        61,
        62,
        63,
        64,
        65,
        69,
        70,
        71,
        73,
        75,
        76,
        78,
        81,
        82,
        83,
        84,
        85,
        86,
        87,
        88,
        89,
        90,
        91,
        92,
        96,
        97,
        100,
        101,
        102,
        103,
        104,
        105,
        107,
        108,
        111,
        112,
        113,
        116,
        117,
        121,
        122,
        123,
        124,
        126,
        127,
        128,
        129,
        130,
        131,
        132,
        133,
        134,
        136,
        137,
        138,
        140,
        141,
        143,
        144,
        146,
        147,
        148,
        149,
        151,
        152,
        153,
        154,
        156,
        160,
        162,
        165,
        167,
        168,
        169,
        170,
        171,
        172,
        174,
        175,
        176,
        177,
        178,
        179,
        180,
        183,
        184,
        185,
        186,
        187,
        188,
        189,
        190,
        191,
        192,
        193,
        195,
        196,
        197,
        200,
        201,
        202,
        203,
        204,
        206,
        207,
        209,
        210,
        211,
        212,
        213,
        214,
        215,
        216,
        217,
        218,
        219,
        220,
        221,
        222,
        223,
        224,
        225,
        229,
        230,
        231,
        232,
        234,
        235,
        236,
        239,
        240,
        242,
        244,
        246,
        247,
        249,
        250,
        251,
        252,
        253,
        254,
        255,
        256,
        257,
        258,
        260,
        262,
        264,
        265,
        266,
        267,
        268,
        269,
        271,
        273,
        274,
        275,
        276,
        277,
        280,
        283,
        284,
        285,
        286
      ],
      "kept_frequency_sum": 549697094,
      "kept_metric_max": 25.147766169170172,
      "kept_metric_min": 1.9109831581606032,
      "prune": [
        3,
        12,
        20,
        31,
        33,
        36,
        42,
        43,
        45,
        48,
        55,
        56,
        59,
        66,
        67,
        68,
        72,
        74,
        77,
        79,
        80,
        93,
        94,
        95,
        98,
        99,
        106,
        109,
        110,
        114,
        115,
        118,
        119,
        120,
        125,
        135,
        139,
        142,
        145,
        150,
        155,
        157,
        158,
        159,
        161,
        163,
        164,
        166,
        173,
        181,
        182,
        194,
        198,
        199,
        205,
        208,
        226,
        227,
        228,
        233,
        237,
        238,
        241,
        243,
        245,
        248,
        259,
        261,
        263,
        270,
        272,
        278,
        279,
        281,
        282,
        287
      ],
      "pruned_frequency_sum": 264188210,
      "pruned_metric_max": 1.8953348437983715,
      "pruned_metric_min": 0.8109332685756632
    },
    "42": {
      "keep": [
        1,
        3,
        4,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        16,
        18,
        19,
        22,
        23,
        24,
        25,
        26,
        27,
        28,
        30,
        31,
        33,
        34,
        36,
        38,
        40,
        41,
        42,
        43,
        44,
        45,
        48,
        49,
        50,
        51,
        52,
        54,
        55,
        58,
        59,
        60,
        61,
        62,
        63,
        64,
        65,
        67,
        68,
        69,
        70,
        71,
        73,
        75,
        76,
        77,
        78,
        79,
        80,
        83,
        85,
        87,
        89,
        90,
        91,
        92,
        93,
        94,
        97,
        98,
        99,
        100,
        102,
        103,
        105,
        106,
        107,
        109,
        111,
        112,
        113,
        114,
        115,
        116,
        117,
        118,
        119,
        120,
        123,
        124,
        126,
        128,
        129,
        130,
        131,
        132,
        133,
        134,
        135,
        136,
        137,
        139,
        141,
        142,
        143,
        144,
        146,
        147,
        148,
        149,
        150,
        151,
        152,
        156,
        157,
        158,
        159,
        160,
        161,
        163,
        165,
        166,
        168,
        169,
        172,
        173,
        174,
        177,
        178,
        179,
        180,
        182,
        183,
        184,
        185,
        186,
        187,
        188,
        189,
        190,
        191,
        192,
        193,
        196,
        200,
        203,
        205,
        206,
        207,
        208,
        209,
        210,
        211,
        212,
        213,
        214,
        215,
        217,
        218,
        219,
        220,
        221,
        224,
        225,
        228,
        229,
        230,
        232,
        233,
        234,
        236,
        237,
        238,
        239,
        240,
        241,
        242,
        243,
        244,
        248,
        249,
        252,
        256,
        257,
        258,
        259,
        260,
        261,
        262,
        263,
        264,
        265,
        266,
        268,
        269,
        270,
        271,
        272,
        273,
        275,
        276,
        277,
        278,
        279,
        280,
        282,
        283,
        284,
        285
      ],
      "kept_frequency_sum": 539423241,
      "kept_metric_max": 32.6707737480858,
      "kept_metric_min": 1.8717604402322132,
      "prune": [
        0,
        2,
        5,
        17,
        20,
        21,
        29,
        32,
        35,
        37,
        39,
        46,
        47,
        53,
        56,
        57,
        66,
        72,
        74,
        81,
        82,
        84,
        86,
        88,
        95,
        96,
        101,
        104,
        108,
        110,
        121,
        122,
        125,
        127,
        138,
        140,
        145,
        153,
        154,
        155,
        162,
        164,
        167,
        170,
        171,
        175,
        176,
        181,
        194,
        195,
        197,
        198,
        199,
        201,
        202,
        204,
        216,
        222,
        223,
        226,
        227,
        231,
        235,
        245,
        246,
        247,
        250,
        251,
        253,
        254,
        255,
        267,
        274,
        281,
        286,
        287
      ],
      "pruned_frequency_sum": 274462063,
      "pruned_metric_max": 1.8605964843114076,
      "pruned_metric_min": 0.7541220247858241
    },
    "43": {
      "keep": [
        0,
        2,
        3,
        4,
        6,
        8,
        9,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        24,
        25,
        26,
        28,
        30,
        31,
        32,
        33,
        34,
        36,
        37,
        38,
        39,
        41,
        42,
        43,
        45,
        46,
        47,
        49,
        51,
        53,
        54,
        57,
        58,
        59,
        60,
        61,
        63,
        64,
        65,
        67,
        68,
        69,
        71,
        72,
        73,
        74,
        75,
        76,
        77,
        78,
        79,
        80,
        81,
        82,
        83,
        84,
        85,
        86,
        88,
        89,
        90,
        91,
        92,
        94,
        95,
        97,
        99,
        101,
        102,
        103,
        105,
        106,
        107,
        108,
        109,
        110,
        111,
        112,
        119,
        120,
        122,
        123,
        124,
        126,
        127,
        128,
        129,
        132,
        133,
        134,
        135,
        137,
        139,
        140,
        141,
        142,
        143,
        144,
        145,
        146,
        149,
        150,
        152,
        153,
        155,
        156,
        157,
        158,
        159,
        160,
        161,
        162,
        163,
        164,
        165,
        166,
        167,
        168,
        169,
        170,
        171,
        172,
        173,
        174,
        175,
        176,
        177,
        178,
        179,
        180,
        181,
        182,
        185,
        186,
        187,
        188,
        189,
        190,
        192,
        193,
        194,
        196,
        198,
        200,
        201,
        202,
        203,
        205,
        206,
        207,
        208,
        210,
        211,
        215,
        216,
        217,
        218,
        219,
        220,
        221,
        222,
        225,
        226,
        229,
        230,
        231,
        232,
        234,
        236,
        238,
        240,
        241,
        244,
        245,
        246,
        247,
        248,
        251,
        252,
        254,
        255,
        257,
        258,
        259,
        261,
        262,
        263,
        264,
        265,
        267,
        269,
        270,
        271,
        272,
        274,
        275,
        277,
        278,
        279,
        281,
        283,
        284,
        286
      ],
      "kept_frequency_sum": 616667118,
      "kept_metric_max": 58.815821976196226,
      "kept_metric_min": 1.929227025154785,
      "prune": [
        1,
        5,
        7,
        10,
        11,
        16,
        23,
        27,
        29,
        35,
        40,
        44,
        48,
        50,
        52,
        55,
        56,
        62,
        66,
        70,
        87,
        93,
        96,
        98,
        100,
        104,
        113,
        114,
        115,
        116,
        117,
        118,
        121,
        125,
        130,
        131,
        136,
        138,
        147,
        148,
        151,
        154,
        183,
        184,
        191,
        195,
        197,
        199,
        204,
        209,
        212,
        213,
        214,
        223,
        224,
        227,
        228,
        233,
        235,
        237,
        239,
        242,
        243,
        249,
        250,
        253,
        256,
        260,
        266,
        268,
        273,
        276,
        280,
        282,
        285,
        287
      ],
      "pruned_frequency_sum": 197218186,
      "pruned_metric_max": 1.9042218107736784,
      "pruned_metric_min": 0.2711430585122991
    },
    "44": {
      "keep": [
        0,
        1,
        2,
        3,
        7,
        8,
        9,
        11,
        14,
        15,
        16,
        17,
        20,
        21,
        22,
        26,
        27,
        28,
        29,
        30,
        31,
        32,
        33,
        34,
        36,
        37,
        38,
        40,
        41,
        42,
        43,
        44,
        45,
        46,
        49,
        50,
        54,
        56,
        59,
        60,
        62,
        63,
        64,
        65,
        66,
        67,
        68,
        69,
        70,
        71,
        73,
        74,
        76,
        77,
        78,
        79,
        80,
        81,
        84,
        85,
        86,
        88,
        89,
        91,
        92,
        94,
        95,
        96,
        97,
        98,
        99,
        100,
        101,
        102,
        104,
        105,
        107,
        108,
        109,
        110,
        112,
        113,
        115,
        116,
        118,
        119,
        120,
        121,
        122,
        123,
        125,
        127,
        128,
        129,
        130,
        134,
        135,
        136,
        137,
        138,
        139,
        141,
        142,
        143,
        144,
        145,
        146,
        148,
        149,
        150,
        151,
        152,
        153,
        154,
        155,
        156,
        159,
        160,
        161,
        163,
        164,
        165,
        169,
        170,
        173,
        175,
        176,
        177,
        181,
        182,
        184,
        186,
        187,
        188,
        191,
        192,
        196,
        197,
        199,
        200,
        202,
        204,
        206,
        207,
        209,
        210,
        211,
        212,
        213,
        214,
        215,
        216,
        218,
        219,
        220,
        222,
        224,
        225,
        226,
        227,
        228,
        230,
        232,
        234,
        235,
        236,
        237,
        238,
        239,
        240,
        241,
        242,
        243,
        244,
        245,
        246,
        247,
        249,
        250,
        251,
        253,
        254,
        255,
        256,
        257,
        258,
        260,
        261,
        262,
        263,
        264,
        265,
        266,
        267,
        268,
        270,
        272,
        273,
        274,
        275,
        276,
        277,
        278,
        279,
        280,
        281,
        282,
        283,
        284,
        285,
        286,
        287
      ],
      "kept_frequency_sum": 607473297,
      "kept_metric_max": 248.79144041860621,
      "kept_metric_min": 2.0227740243634793,
      "prune": [
        4,
        5,
        6,
        10,
        12,
        13,
        18,
        19,
        23,
        24,
        25,
        35,
        39,
        47,
        48,
        51,
        52,
        53,
        55,
        57,
        58,
        61,
        72,
        75,
        82,
        83,
        87,
        90,
        93,
        103,
        106,
        111,
        114,
        117,
        124,
        126,
        131,
        132,
        133,
        140,
        147,
        157,
        158,
        162,
        166,
        167,
        168,
        171,
        172,
        174,
        178,
        179,
        180,
        183,
        185,
        189,
        190,
        193,
        194,
        195,
        198,
        201,
        203,
        205,
        208,
        217,
        221,
        223,
        229,
        231,
        233,
        248,
        252,
        259,
        269,
        271
      ],
      "pruned_frequency_sum": 206412007,
      "pruned_metric_max": 2.0193294302387366,
      "pruned_metric_min": 0.4894048739958577
    },
    "5": {
      "keep": [
        0,
        1,
        3,
        4,
        5,
        7,
        8,
        9,
        12,
        13,
        14,
        15,
        16,
        17,
        18,
        19,
        20,
        21,
        22,
        23,
        24,
        25,
        29,
        30,
        31,
        32,
        33,
        35,
        36,
        37,
        38,
        41,
        42,
        43,
        44,
        45,
        46,
        49,
        50,
        53,
        54,
        55,
        56,
        57,
        58,
        59,
        61,
        62,
        63,
        64,
        66,
        67,
        69,
        70,
        71,
        74,
        75,
        77,
        78,
        79,
        81,
        84,
        85,
        88,
        89,
        91,
        94,
        95,
        97,
        98,
        100,
        101,
        102,
        103,
        104,
        105,
        106,
        107,
        108,
        110,
        111,
        112,
        113,
        114,
        115,
        116,
        118,
        119,
        122,
        123,
        124,
        126,
        128,
        129,
        130,
        131,
        132,
        133,
        134,
        135,
        136,
        137,
        138,
        141,
        143,
        144,
        145,
        146,
        147,
        149,
        150,
        152,
        153,
        155,
        156,
        157,
        158,
        159,
        161,
        162,
        163,
        164,
        165,
        167,
        168,
        169,
        171,
        174,
        176,
        177,
        178,
        179,
        180,
        181,
        182,
        183,
        184,
        187,
        188,
        189,
        190,
        193,
        196,
        197,
        198,
        200,
        202,
        203,
        204,
        205,
        206,
        207,
        208,
        209,
        210,
        211,
        212,
        216,
        217,
        219,
        221,
        222,
        223,
        224,
        226,
        227,
        228,
        229,
        230,
        231,
        233,
        234,
        235,
        236,
        237,
        238,
        240,
        242,
        244,
        245,
        246,
        247,
        248,
        249,
        251,
        252,
        253,
        255,
        257,
        259,
        260,
        261,
        262,
        263,
        264,
        265,
        266,
        270,
        271,
        272,
        274,
        275,
        276,
        277,
        278,
        280,
        281,
        282,
        283,
        285,
        286,
        287
      ],
      "kept_frequency_sum": 662559929,
      "kept_metric_max": 0.23207315946154902,
      "kept_metric_min": 0.045765150939654664,
      "prune": [
        2,
        6,
        10,
        11,
        26,
        27,
        28,
        34,
        39,
        40,
        47,
        48,
        51,
        52,
        60,
        65,
        68,
        72,
        73,
        76,
        80,
        82,
        83,
        86,
        87,
        90,
        92,
        93,
        96,
        99,
        109,
        117,
        120,
        121,
        125,
        127,
        139,
        140,
        142,
        148,
        151,
        154,
        160,
        166,
        170,
        172,
        173,
        175,
        185,
        186,
        191,
        192,
        194,
        195,
        199,
        201,
        213,
        214,
        215,
        218,
        220,
        225,
        232,
        239,
        241,
        243,
        250,
        254,
        256,
        258,
        267,
        268,
        269,
        273,
        279,
        284
      ],
      "pruned_frequency_sum": 151325375,
      "pruned_metric_max": 0.04575348736007385,
      "pruned_metric_min": 0.018877432905561486
    },
    "6": {
      "keep": [
        0,
        1,
        4,
        5,
        6,
        8,
        9,
        10,
        12,
        13,
        14,
        15,
        17,
        19,
        20,
        21,
        23,
        27,
        28,
        29,
        30,
        31,
        35,
        36,
        37,
        38,
        40,
        41,
        42,
        44,
        45,
        46,
        48,
        50,
        51,
        52,
        54,
        56,
        57,
        58,
        60,
        61,
        63,
        64,
        68,
        69,
        71,
        72,
        73,
        74,
        75,
        76,
        77,
        79,
        80,
        82,
        84,
        85,
        86,
        88,
        90,
        91,
        92,
        93,
        94,
        95,
        97,
        99,
        100,
        101,
        103,
        104,
        105,
        106,
        107,
        108,
        109,
        110,
        112,
        113,
        114,
        115,
        116,
        117,
        118,
        119,
        120,
        122,
        123,
        124,
        125,
        126,
        127,
        129,
        130,
        131,
        132,
        133,
        134,
        135,
        136,
        137,
        138,
        139,
        140,
        141,
        142,
        143,
        144,
        145,
        147,
        148,
        152,
        154,
        155,
        156,
        158,
        161,
        162,
        164,
        165,
        166,
        167,
        170,
        172,
        173,
        176,
        178,
        179,
        181,
        182,
        183,
        186,
        187,
        188,
        189,
        190,
        191,
        192,
        193,
        194,
        195,
        196,
        197,
        198,
        200,
        201,
        202,
        203,
        204,
        205,
        207,
        208,
        210,
        211,
        212,
        213,
        215,
        216,
        218,
        219,
        220,
        221,
        222,
        223,
        224,
        225,
        226,
        229,
        231,
        233,
        234,
        236,
        237,
        238,
        239,
        240,
        243,
        244,
        245,
        246,
        247,
        248,
        249,
        250,
        252,
        253,
        254,
        256,
        258,
        259,
        260,
        261,
        263,
        267,
        268,
        269,
        270,
        271,
        272,
        273,
        274,
        275,
        277,
        278,
        279,
        280,
        281,
        282,
        284,
        285,
        286
      ],
      "kept_frequency_sum": 663341009,
      "kept_metric_max": 0.3703568926375575,
      "kept_metric_min": 0.05378224633186408,
      "prune": [
        2,
        3,
        7,
        11,
        16,
        18,
        22,
        24,
        25,
        26,
        32,
        33,
        34,
        39,
        43,
        47,
        49,
        53,
        55,
        59,
        62,
        65,
        66,
        67,
        70,
        78,
        81,
        83,
        87,
        89,
        96,
        98,
        102,
        111,
        121,
        128,
        146,
        149,
        150,
        151,
        153,
        157,
        159,
        160,
        163,
        168,
        169,
        171,
        174,
        175,
        177,
        180,
        184,
        185,
        199,
        206,
        209,
        214,
        217,
        227,
        228,
        230,
        232,
        235,
        241,
        242,
        251,
        255,
        257,
        262,
        264,
        265,
        266,
        276,
        283,
        287
      ],
      "pruned_frequency_sum": 150544295,
      "pruned_metric_max": 0.05364216619350576,
      "pruned_metric_min": 0.025730792073264723
    },
    "7": {
      "keep": [
        0,
        2,
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        12,
        13,
        16,
        17,
        20,
        21,
        22,
        23,
        24,
        26,
        27,
        28,
        30,
        31,
        34,
        36,
        38,
        39,
        41,
        42,
        43,
        44,
        45,
        46,
        47,
        48,
        49,
        51,
        52,
        54,
        55,
        56,
        57,
        58,
        59,
        61,
        62,
        63,
        64,
        65,
        66,
        67,
        68,
        69,
        70,
        71,
        72,
        74,
        76,
        78,
        79,
        80,
        81,
        82,
        83,
        85,
        86,
        88,
        90,
        91,
        92,
        94,
        95,
        96,
        97,
        99,
        100,
        102,
        104,
        105,
        107,
        108,
        109,
        110,
        111,
        112,
        113,
        114,
        115,
        116,
        118,
        120,
        121,
        122,
        123,
        124,
        125,
        126,
        127,
        128,
        130,
        131,
        132,
        134,
        135,
        136,
        137,
        139,
        140,
        141,
        142,
        144,
        145,
        147,
        148,
        149,
        150,
        152,
        154,
        155,
        156,
        157,
        159,
        160,
        161,
        162,
        163,
        164,
        166,
        168,
        169,
        170,
        171,
        172,
        173,
        174,
        175,
        176,
        178,
        179,
        180,
        181,
        182,
        184,
        185,
        186,
        188,
        190,
        192,
        193,
        194,
        196,
        198,
        200,
        201,
        202,
        203,
        204,
        205,
        206,
        207,
        208,
        210,
        211,
        212,
        213,
        214,
        215,
        216,
        217,
        218,
        222,
        225,
        226,
        229,
        230,
        231,
        232,
        233,
        234,
        235,
        236,
        238,
        239,
        240,
        243,
        244,
        246,
        249,
        251,
        252,
        253,
        256,
        257,
        258,
        262,
        263,
        264,
        265,
        267,
        269,
        270,
        273,
        274,
        275,
        277,
        278,
        280,
        281,
        282,
        285,
        286,
        287
      ],
      "kept_frequency_sum": 677012414,
      "kept_metric_max": 0.30717430392333595,
      "kept_metric_min": 0.06137501897015321,
      "prune": [
        1,
        8,
        11,
        14,
        15,
        18,
        19,
        25,
        29,
        32,
        33,
        35,
        37,
        40,
        50,
        53,
        60,
        73,
        75,
        77,
        84,
        87,
        89,
        93,
        98,
        101,
        103,
        106,
        117,
        119,
        129,
        133,
        138,
        143,
        146,
        151,
        153,
        158,
        165,
        167,
        177,
        183,
        187,
        189,
        191,
        195,
        197,
        199,
        209,
        219,
        220,
        221,
        223,
        224,
        227,
        228,
        237,
        241,
        242,
        245,
        247,
        248,
        250,
        254,
        255,
        259,
        260,
        261,
        266,
        268,
        271,
        272,
        276,
        279,
        283,
        284
      ],
      "pruned_frequency_sum": 136872890,
      "pruned_metric_max": 0.06129923012260831,
      "pruned_metric_min": 0.027907452493315235
    },
    "8": {
      "keep": [
        1,
        2,
        3,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        14,
        16,
        17,
        19,
        20,
        23,
        24,
        25,
        28,
        30,
        31,
        32,
        33,
        34,
        35,
        36,
        38,
        39,
        40,
        42,
        43,
        44,
        46,
        47,
        48,
        51,
        52,
        53,
        54,
        56,
        58,
        59,
        60,
        61,
        62,
        63,
        65,
        66,
        67,
        68,
        69,
        70,
        71,
        75,
        78,
        79,
        80,
        81,
        82,
        84,
        85,
        86,
        88,
        89,
        90,
        91,
        93,
        94,
        95,
        96,
        97,
        100,
        101,
        102,
        104,
        105,
        106,
        107,
        108,
        109,
        110,
        111,
        112,
        113,
        114,
        116,
        117,
        118,
        121,
        123,
        124,
        125,
        126,
        127,
        128,
        129,
        130,
        131,
        132,
        133,
        135,
        136,
        137,
        139,
        140,
        142,
        143,
        144,
        147,
        148,
        149,
        150,
        151,
        152,
        153,
        154,
        155,
        156,
        157,
        158,
        159,
        160,
        161,
        162,
        163,
        164,
        165,
        166,
        168,
        169,
        171,
        172,
        173,
        174,
        176,
        177,
        178,
        180,
        181,
        183,
        185,
        186,
        187,
        188,
        190,
        192,
        193,
        194,
        195,
        196,
        197,
        198,
        199,
        200,
        201,
        202,
        203,
        204,
        205,
        206,
        207,
        211,
        214,
        217,
        218,
        219,
        220,
        221,
        222,
        224,
        225,
        227,
        228,
        229,
        230,
        231,
        232,
        234,
        236,
        237,
        239,
        240,
        242,
        243,
        244,
        245,
        246,
        247,
        248,
        250,
        252,
        254,
        257,
        258,
        259,
        260,
        261,
        262,
        264,
        267,
        268,
        269,
        270,
        271,
        272,
        276,
        278,
        280,
        281,
        284,
        287
      ],
      "kept_frequency_sum": 686623167,
      "kept_metric_max": 0.4697887711034445,
      "kept_metric_min": 0.07683066288354608,
      "prune": [
        0,
        4,
        13,
        15,
        18,
        21,
        22,
        26,
        27,
        29,
        37,
        41,
        45,
        49,
        50,
        55,
        57,
        64,
        72,
        73,
        74,
        76,
        77,
        83,
        87,
        92,
        98,
        99,
        103,
        115,
        119,
        120,
        122,
        134,
        138,
        141,
        145,
        146,
        167,
        170,
        175,
        179,
        182,
        184,
        189,
        191,
        208,
        209,
        210,
        212,
        213,
        215,
        216,
        223,
        226,
        233,
        235,
        238,
        241,
        249,
        251,
        253,
        255,
        256,
        263,
        265,
        266,
        273,
        274,
        275,
        277,
        279,
        282,
        283,
        285,
        286
      ],
      "pruned_frequency_sum": 127262137,
      "pruned_metric_max": 0.07675158741956659,
      "pruned_metric_min": 0.04108195702687532
    },
    "9": {
      "keep": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        20,
        21,
        23,
        24,
        26,
        27,
        30,
        31,
        33,
        35,
        37,
        38,
        39,
        40,
        41,
        42,
        44,
        47,
        50,
        52,
        53,
        54,
        55,
        56,
        59,
        60,
        61,
        63,
        64,
        65,
        67,
        69,
        70,
        72,
        74,
        75,
        76,
        77,
        79,
        80,
        81,
        82,
        83,
        86,
        87,
        88,
        89,
        90,
        91,
        92,
        93,
        94,
        96,
        98,
        99,
        100,
        101,
        102,
        103,
        104,
        105,
        106,
        108,
        109,
        110,
        111,
        112,
        113,
        115,
        117,
        120,
        123,
        125,
        129,
        130,
        133,
        134,
        135,
        136,
        137,
        138,
        139,
        140,
        142,
        144,
        145,
        146,
        147,
        148,
        149,
        150,
        151,
        152,
        153,
        155,
        156,
        158,
        159,
        160,
        161,
        163,
        165,
        166,
        167,
        169,
        170,
        172,
        173,
        174,
        175,
        176,
        177,
        178,
        179,
        180,
        182,
        183,
        184,
        185,
        186,
        187,
        188,
        191,
        192,
        194,
        195,
        196,
        197,
        201,
        204,
        205,
        206,
        207,
        208,
        209,
        210,
        216,
        217,
        218,
        220,
        221,
        222,
        223,
        224,
        225,
        226,
        227,
        228,
        229,
        230,
        231,
        232,
        233,
        234,
        235,
        236,
        237,
        238,
        239,
        240,
        241,
        242,
        243,
        244,
        245,
        246,
        248,
        249,
        250,
        251,
        252,
        254,
        255,
        256,
        258,
        259,
        261,
        262,
        263,
        264,
        265,
        266,
        270,
        271,
        272,
        274,
        275,
        276,
        277,
        278,
        280,
        282,
        283,
        284,
        285,
        286,
        287
      ],
      "kept_frequency_sum": 695193267,
      "kept_metric_max": 0.677973773169091,
      "kept_metric_min": 0.09825630460826712,
      "prune": [
        0,
        9,
        16,
        18,
        19,
        22,
        25,
        28,
        29,
        32,
        34,
        36,
        43,
        45,
        46,
        48,
        49,
        51,
        57,
        58,
        62,
        66,
        68,
        71,
        73,
        78,
        84,
        85,
        95,
        97,
        107,
        114,
        116,
        118,
        119,
        121,
        122,
        124,
        126,
        127,
        128,
        131,
        132,
        141,
        143,
        154,
        157,
        162,
        164,
        168,
        171,
        181,
        189,
        190,
        193,
        198,
        199,
        200,
        202,
        203,
        211,
        212,
        213,
        214,
        215,
        219,
        247,
        253,
        257,
        260,
        267,
        268,
        269,
        273,
        279,
        281
      ],
      "pruned_frequency_sum": 118692037,
      "pruned_metric_max": 0.09814698349943353,
      "pruned_metric_min": 0.0451073178710316
    }
  },
  "retained_experts_per_layer": 212,
  "selected_windows": [
    {
      "offset": 10880,
      "run_id": "observe-prod-16k-v2-offset10880-limit00064-gpu48-patched-20260603T115519Z",
      "shard_count": 16
    },
    {
      "offset": 10944,
      "run_id": "observe-prod-16k-v2-offset10944-limit00064-gpu48-patched-20260603T115519Z",
      "shard_count": 16
    },
    {
      "offset": 11008,
      "run_id": "observe-prod-16k-v2-offset11008-limit00064-gpu48-patched-20260603T123128Z",
      "shard_count": 16
    },
    {
      "offset": 11072,
      "run_id": "observe-prod-16k-v2-offset11072-limit00064-gpu48-patched-20260603T123128Z",
      "shard_count": 16
    },
    {
      "offset": 11136,
      "run_id": "observe-prod-16k-v2-offset11136-limit00064-gpu48-patched-20260603T131109Z",
      "shard_count": 16
    },
    {
      "offset": 11200,
      "run_id": "observe-prod-16k-v2-offset11200-limit00064-gpu48-patched-20260603T131109Z",
      "shard_count": 16
    },
    {
      "offset": 11264,
      "run_id": "observe-prod-16k-v2-offset11264-limit00064-gpu48-patched-20260603T141924Z",
      "shard_count": 16
    },
    {
      "offset": 11328,
      "run_id": "observe-prod-16k-v2-offset11328-limit00064-gpu48-patched-20260603T141924Z",
      "shard_count": 16
    },
    {
      "offset": 11392,
      "run_id": "observe-prod-16k-v2-offset11392-limit00064-gpu48-patched-20260603T144716Z",
      "shard_count": 16
    },
    {
      "offset": 11456,
      "run_id": "observe-prod-16k-v2-offset11456-limit00064-gpu48-patched-20260603T144716Z",
      "shard_count": 16
    },
    {
      "offset": 11520,
      "run_id": "observe-prod-16k-v2-offset11520-limit00064-gpu48-patched-20260603T151519Z",
      "shard_count": 16
    },
    {
      "offset": 11584,
      "run_id": "observe-prod-16k-v2-offset11584-limit00064-gpu48-patched-20260603T151519Z",
      "shard_count": 16
    },
    {
      "offset": 11648,
      "run_id": "observe-prod-16k-v2-offset11648-limit00064-gpu48-patched-20260603T154332Z",
      "shard_count": 16
    },
    {
      "offset": 11712,
      "run_id": "observe-prod-16k-v2-offset11712-limit00064-gpu48-patched-20260603T154332Z",
      "shard_count": 16
    },
    {
      "offset": 11776,
      "run_id": "observe-prod-16k-v2-offset11776-limit00064-gpu48-patched-20260603T161202Z",
      "shard_count": 16
    },
    {
      "offset": 11840,
      "run_id": "observe-prod-16k-v2-offset11840-limit00064-gpu48-patched-20260603T161202Z",
      "shard_count": 16
    },
    {
      "offset": 11904,
      "run_id": "observe-prod-16k-v2-offset11904-limit00064-gpu48-patched-20260603T164048Z",
      "shard_count": 16
    },
    {
      "offset": 11968,
      "run_id": "observe-prod-16k-v2-offset11968-limit00064-gpu48-patched-20260603T164048Z",
      "shard_count": 16
    },
    {
      "offset": 12032,
      "run_id": "observe-prod-16k-v2-offset12032-limit00064-gpu48-patched-20260603T170938Z",
      "shard_count": 16
    },
    {
      "offset": 12096,
      "run_id": "observe-prod-16k-v2-offset12096-limit00064-gpu48-patched-20260603T170938Z",
      "shard_count": 16
    },
    {
      "offset": 12160,
      "run_id": "observe-prod-16k-v2-offset12160-limit00064-gpu48-patched-20260603T173521Z",
      "shard_count": 16
    },
    {
      "offset": 12224,
      "run_id": "observe-prod-16k-v2-offset12224-limit00064-gpu48-patched-20260603T173837Z",
      "shard_count": 16
    },
    {
      "offset": 12288,
      "run_id": "observe-prod-16k-v2-offset12288-limit00064-gpu48-patched-20260603T180108Z",
      "shard_count": 16
    },
    {
      "offset": 12352,
      "run_id": "observe-prod-16k-v2-offset12352-limit00064-gpu48-patched-20260603T180736Z",
      "shard_count": 16
    },
    {
      "offset": 12416,
      "run_id": "observe-prod-16k-v2-offset12416-limit00064-gpu48-patched-20260603T182351Z",
      "shard_count": 16
    },
    {
      "offset": 12480,
      "run_id": "observe-prod-16k-v2-offset12480-limit00064-gpu48-patched-20260603T183026Z",
      "shard_count": 16
    },
    {
      "offset": 12544,
      "run_id": "observe-prod-16k-v2-offset12544-limit00064-gpu48-patched-20260603T184646Z",
      "shard_count": 16
    },
    {
      "offset": 12608,
      "run_id": "observe-prod-16k-v2-offset12608-limit00064-gpu48-patched-20260603T185324Z",
      "shard_count": 16
    },
    {
      "offset": 12672,
      "run_id": "observe-prod-16k-v2-offset12672-limit00064-gpu48-patched-20260603T190947Z",
      "shard_count": 16
    },
    {
      "offset": 12736,
      "run_id": "observe-prod-16k-v2-offset12736-limit00064-gpu48-patched-20260603T191624Z",
      "shard_count": 16
    },
    {
      "offset": 12800,
      "run_id": "observe-prod-16k-v2-offset12800-limit00064-gpu48-patched-20260603T193249Z",
      "shard_count": 16
    },
    {
      "offset": 12864,
      "run_id": "observe-prod-16k-v2-offset12864-limit00064-gpu48-patched-20260603T194252Z",
      "shard_count": 16
    },
    {
      "offset": 12928,
      "run_id": "observe-prod-16k-v2-offset12928-limit00064-gpu48-patched-20260603T195614Z",
      "shard_count": 16
    },
    {
      "offset": 12992,
      "run_id": "observe-prod-16k-v2-offset12992-limit00064-gpu48-patched-20260603T200617Z",
      "shard_count": 16
    },
    {
      "offset": 13056,
      "run_id": "observe-prod-16k-v2-offset13056-limit00064-gpu48-patched-20260603T201938Z",
      "shard_count": 16
    },
    {
      "offset": 13120,
      "run_id": "observe-prod-16k-v2-offset13120-limit00064-gpu48-patched-20260603T202943Z",
      "shard_count": 16
    },
    {
      "offset": 13184,
      "run_id": "observe-prod-16k-v2-offset13184-limit00064-gpu48-patched-20260603T204315Z",
      "shard_count": 16
    },
    {
      "offset": 13248,
      "run_id": "observe-prod-16k-v2-offset13248-limit00064-gpu48-patched-20260603T205334Z",
      "shard_count": 16
    },
    {
      "offset": 13312,
      "run_id": "observe-prod-16k-v2-offset13312-limit00064-gpu48-patched-20260603T210709Z",
      "shard_count": 16
    },
    {
      "offset": 13376,
      "run_id": "observe-prod-16k-v2-offset13376-limit00064-gpu48-patched-20260603T211718Z",
      "shard_count": 16
    },
    {
      "offset": 13440,
      "run_id": "observe-prod-16k-v2-offset13440-limit00064-gpu48-patched-20260603T213043Z",
      "shard_count": 16
    },
    {
      "offset": 13504,
      "run_id": "observe-prod-16k-v2-offset13504-limit00064-gpu48-patched-20260603T214059Z",
      "shard_count": 16
    },
    {
      "offset": 13568,
      "run_id": "observe-prod-16k-v2-offset13568-limit00064-gpu48-patched-20260603T215437Z",
      "shard_count": 16
    },
    {
      "offset": 13632,
      "run_id": "observe-prod-16k-v2-offset13632-limit00064-gpu48-patched-20260603T220451Z",
      "shard_count": 16
    },
    {
      "offset": 13696,
      "run_id": "observe-prod-16k-v2-offset13696-limit00064-gpu48-patched-20260603T221839Z",
      "shard_count": 16
    },
    {
      "offset": 13760,
      "run_id": "observe-prod-16k-v2-offset13760-limit00064-gpu48-patched-20260603T222859Z",
      "shard_count": 16
    },
    {
      "offset": 13824,
      "run_id": "observe-prod-16k-v2-offset13824-limit00064-gpu48-patched-20260603T224256Z",
      "shard_count": 16
    },
    {
      "offset": 13888,
      "run_id": "observe-prod-16k-v2-offset13888-limit00064-gpu48-patched-20260603T225317Z",
      "shard_count": 16
    },
    {
      "offset": 13952,
      "run_id": "observe-prod-16k-v2-offset13952-limit00064-gpu48-patched-20260603T230709Z",
      "shard_count": 16
    },
    {
      "offset": 14016,
      "run_id": "observe-prod-16k-v2-offset14016-limit00064-gpu48-patched-20260603T231732Z",
      "shard_count": 16
    },
    {
      "offset": 14080,
      "run_id": "observe-prod-16k-v2-offset14080-limit00064-gpu48-patched-20260603T233126Z",
      "shard_count": 16
    },
    {
      "offset": 14144,
      "run_id": "observe-prod-16k-v2-offset14144-limit00064-gpu48-patched-20260603T234153Z",
      "shard_count": 16
    },
    {
      "offset": 14208,
      "run_id": "observe-prod-16k-v2-offset14208-limit00064-gpu48-patched-20260603T235551Z",
      "shard_count": 16
    },
    {
      "offset": 14272,
      "run_id": "observe-prod-16k-v2-offset14272-limit00064-gpu48-patched-20260604T000621Z",
      "shard_count": 16
    },
    {
      "offset": 14336,
      "run_id": "observe-prod-16k-v2-offset14336-limit00064-gpu48-patched-20260604T002033Z",
      "shard_count": 16
    },
    {
      "offset": 14400,
      "run_id": "observe-prod-16k-v2-offset14400-limit00064-gpu48-patched-20260604T003107Z",
      "shard_count": 16
    },
    {
      "offset": 14464,
      "run_id": "observe-prod-16k-v2-offset14464-limit00064-gpu48-patched-20260604T004514Z",
      "shard_count": 16
    },
    {
      "offset": 14528,
      "run_id": "observe-prod-16k-v2-offset14528-limit00064-gpu48-patched-20260604T005558Z",
      "shard_count": 16
    },
    {
      "offset": 14592,
      "run_id": "observe-prod-16k-v2-offset14592-limit00064-gpu48-patched-20260604T011006Z",
      "shard_count": 16
    },
    {
      "offset": 14656,
      "run_id": "observe-prod-16k-v2-offset14656-limit00064-gpu48-patched-20260604T012058Z",
      "shard_count": 16
    },
    {
      "offset": 14720,
      "run_id": "observe-prod-16k-v2-offset14720-limit00064-gpu48-patched-20260604T013514Z",
      "shard_count": 16
    },
    {
      "offset": 14784,
      "run_id": "observe-prod-16k-v2-offset14784-limit00064-gpu48-patched-20260604T014558Z",
      "shard_count": 16
    },
    {
      "offset": 14848,
      "run_id": "observe-prod-16k-v2-offset14848-limit00064-gpu48-patched-20260604T020009Z",
      "shard_count": 16
    },
    {
      "offset": 14912,
      "run_id": "observe-prod-16k-v2-offset14912-limit00064-gpu48-patched-20260604T021103Z",
      "shard_count": 16
    },
    {
      "offset": 14976,
      "run_id": "observe-prod-16k-v2-offset14976-limit00064-gpu48-patched-20260604T022534Z",
      "shard_count": 16
    },
    {
      "offset": 15040,
      "run_id": "observe-prod-16k-v2-offset15040-limit00064-gpu48-patched-20260604T023634Z",
      "shard_count": 16
    },
    {
      "offset": 15104,
      "run_id": "observe-prod-16k-v2-offset15104-limit00064-gpu48-patched-20260604T025058Z",
      "shard_count": 16
    },
    {
      "offset": 15168,
      "run_id": "observe-prod-16k-v2-offset15168-limit00064-gpu48-patched-20260604T030146Z",
      "shard_count": 16
    },
    {
      "offset": 15232,
      "run_id": "observe-prod-16k-v2-offset15232-limit00064-gpu48-patched-20260604T031625Z",
      "shard_count": 16
    },
    {
      "offset": 15296,
      "run_id": "observe-prod-16k-v2-offset15296-limit00064-gpu48-patched-20260604T032719Z",
      "shard_count": 16
    },
    {
      "offset": 15360,
      "run_id": "observe-prod-16k-v2-offset15360-limit00064-gpu48-patched-20260604T034152Z",
      "shard_count": 16
    },
    {
      "offset": 15424,
      "run_id": "observe-prod-16k-v2-offset15424-limit00064-gpu48-patched-20260604T035256Z",
      "shard_count": 16
    },
    {
      "offset": 15488,
      "run_id": "observe-prod-16k-v2-offset15488-limit00064-gpu48-patched-20260604T040733Z",
      "shard_count": 16
    },
    {
      "offset": 15552,
      "run_id": "observe-prod-16k-v2-offset15552-limit00064-gpu48-patched-20260604T041854Z",
      "shard_count": 16
    },
    {
      "offset": 15616,
      "run_id": "observe-prod-16k-v2-offset15616-limit00064-gpu48-patched-20260604T043347Z",
      "shard_count": 16
    },
    {
      "offset": 15680,
      "run_id": "observe-prod-16k-v2-offset15680-limit00064-gpu48-patched-20260604T044447Z",
      "shard_count": 16
    },
    {
      "offset": 15744,
      "run_id": "observe-prod-16k-v2-offset15744-limit00064-gpu48-patched-20260604T045932Z",
      "shard_count": 16
    },
    {
      "offset": 15808,
      "run_id": "observe-prod-16k-v2-offset15808-limit00064-gpu48-patched-20260604T051049Z",
      "shard_count": 16
    },
    {
      "offset": 15872,
      "run_id": "observe-prod-16k-v2-offset15872-limit00064-gpu48-patched-20260604T052536Z",
      "shard_count": 16
    },
    {
      "offset": 15936,
      "run_id": "observe-prod-16k-v2-offset15936-limit00064-gpu48-patched-20260604T053259Z",
      "shard_count": 16
    },
    {
      "offset": 16000,
      "run_id": "observe-prod-16k-v2-offset16000-limit00064-gpu48-patched-20260604T055143Z",
      "shard_count": 16
    },
    {
      "offset": 16064,
      "run_id": "observe-prod-16k-v2-offset16064-limit00064-gpu48-patched-20260604T055538Z",
      "shard_count": 16
    },
    {
      "offset": 16128,
      "run_id": "observe-prod-16k-v2-offset16128-limit00064-gpu48-patched-20260604T061437Z",
      "shard_count": 16
    },
    {
      "offset": 16192,
      "run_id": "observe-prod-16k-v2-offset16192-limit00064-gpu48-patched-20260604T061821Z",
      "shard_count": 16
    },
    {
      "offset": 16256,
      "run_id": "observe-prod-16k-v2-offset16256-limit00064-gpu48-patched-20260604T064054Z",
      "shard_count": 16
    },
    {
      "offset": 16320,
      "run_id": "observe-prod-16k-v2-offset16320-limit00064-gpu48-patched-20260604T064054Z",
      "shard_count": 16
    },
    {
      "offset": 16384,
      "run_id": "observe-prod-16k-v2-offset16384-limit00064-gpu48-patched-20260604T070340Z",
      "shard_count": 16
    },
    {
      "offset": 16448,
      "run_id": "observe-prod-16k-v2-offset16448-limit00064-gpu48-patched-20260604T070340Z",
      "shard_count": 16
    },
    {
      "offset": 16512,
      "run_id": "observe-prod-16k-v2-offset16512-limit00064-gpu48-patched-20260604T072655Z",
      "shard_count": 16
    },
    {
      "offset": 16576,
      "run_id": "observe-prod-16k-v2-offset16576-limit00064-gpu48-patched-20260604T072655Z",
      "shard_count": 16
    },
    {
      "offset": 16640,
      "run_id": "observe-prod-16k-v2-offset16640-limit00064-gpu48-patched-20260604T074619Z",
      "shard_count": 16
    },
    {
      "offset": 16704,
      "run_id": "observe-prod-16k-v2-offset16704-limit00064-gpu48-patched-20260604T075007Z",
      "shard_count": 16
    },
    {
      "offset": 16768,
      "run_id": "observe-prod-16k-v2-offset16768-limit00064-gpu48-patched-20260604T080932Z",
      "shard_count": 16
    },
    {
      "offset": 16832,
      "run_id": "observe-prod-16k-v2-offset16832-limit00064-gpu48-patched-20260604T081332Z",
      "shard_count": 16
    },
    {
      "offset": 16896,
      "run_id": "observe-prod-16k-v2-offset16896-limit00064-gpu48-patched-20260604T082930Z",
      "shard_count": 16
    },
    {
      "offset": 16960,
      "run_id": "observe-prod-16k-v2-offset16960-limit00064-gpu48-patched-20260604T083731Z",
      "shard_count": 16
    },
    {
      "offset": 17024,
      "run_id": "observe-prod-16k-v2-offset17024-limit00064-gpu48-patched-20260604T085320Z",
      "shard_count": 16
    },
    {
      "offset": 17088,
      "run_id": "observe-prod-16k-v2-offset17088-limit00064-gpu48-patched-20260604T090118Z",
      "shard_count": 16
    },
    {
      "offset": 17152,
      "run_id": "observe-prod-16k-v2-offset17152-limit00064-gpu48-patched-20260604T091306Z",
      "shard_count": 16
    },
    {
      "offset": 17216,
      "run_id": "observe-prod-16k-v2-offset17216-limit00064-gpu48-patched-20260604T092100Z",
      "shard_count": 16
    },
    {
      "offset": 17280,
      "run_id": "observe-prod-16k-v2-offset17280-limit00064-gpu48-patched-20260604T093309Z",
      "shard_count": 16
    },
    {
      "offset": 17344,
      "run_id": "observe-prod-16k-v2-offset17344-limit00064-gpu48-patched-20260604T094112Z",
      "shard_count": 16
    },
    {
      "offset": 17408,
      "run_id": "observe-prod-16k-v2-offset17408-limit00064-gpu48-patched-20260604T095315Z",
      "shard_count": 16
    },
    {
      "offset": 17472,
      "run_id": "observe-prod-16k-v2-offset17472-limit00064-gpu48-patched-20260604T100110Z",
      "shard_count": 16
    },
    {
      "offset": 17536,
      "run_id": "observe-prod-16k-v2-offset17536-limit00064-gpu48-patched-20260604T101714Z",
      "shard_count": 16
    },
    {
      "offset": 17600,
      "run_id": "observe-prod-16k-v2-offset17600-limit00064-gpu48-patched-20260604T102121Z",
      "shard_count": 16
    },
    {
      "offset": 17664,
      "run_id": "observe-prod-16k-v2-offset17664-limit00064-gpu48-patched-20260604T103727Z",
      "shard_count": 16
    },
    {
      "offset": 17728,
      "run_id": "observe-prod-16k-v2-offset17728-limit00064-gpu48-patched-20260604T104530Z",
      "shard_count": 16
    },
    {
      "offset": 17792,
      "run_id": "observe-prod-16k-v2-offset17792-limit00064-gpu48-patched-20260604T105745Z",
      "shard_count": 16
    },
    {
      "offset": 17856,
      "run_id": "observe-prod-16k-v2-offset17856-limit00064-gpu48-patched-20260604T110547Z",
      "shard_count": 16
    },
    {
      "offset": 17920,
      "run_id": "observe-prod-16k-v2-offset17920-limit00064-gpu48-patched-20260604T111800Z",
      "shard_count": 16
    },
    {
      "offset": 17984,
      "run_id": "observe-prod-16k-v2-offset17984-limit00064-gpu48-patched-20260604T112601Z",
      "shard_count": 16
    },
    {
      "offset": 18048,
      "run_id": "observe-prod-16k-v2-offset18048-limit00064-gpu48-patched-20260604T113825Z",
      "shard_count": 16
    },
    {
      "offset": 18112,
      "run_id": "observe-prod-16k-v2-offset18112-limit00064-gpu48-patched-20260604T115049Z",
      "shard_count": 16
    },
    {
      "offset": 18176,
      "run_id": "observe-prod-16k-v2-offset18176-limit00064-gpu48-patched-20260604T115901Z",
      "shard_count": 16
    },
    {
      "offset": 18240,
      "run_id": "observe-prod-16k-v2-offset18240-limit00064-gpu48-patched-20260604T121120Z",
      "shard_count": 16
    },
    {
      "offset": 18304,
      "run_id": "observe-prod-16k-v2-offset18304-limit00064-gpu48-patched-20260604T121937Z",
      "shard_count": 16
    },
    {
      "offset": 18368,
      "run_id": "observe-prod-16k-v2-offset18368-limit00064-gpu48-patched-20260604T123203Z",
      "shard_count": 16
    },
    {
      "offset": 18432,
      "run_id": "observe-prod-16k-v2-offset18432-limit00064-gpu48-patched-20260604T124018Z",
      "shard_count": 16
    },
    {
      "offset": 18496,
      "run_id": "observe-prod-16k-v2-offset18496-limit00064-gpu48-patched-20260604T125236Z",
      "shard_count": 16
    },
    {
      "offset": 18560,
      "run_id": "observe-prod-16k-v2-offset18560-limit00064-gpu48-patched-20260604T130050Z",
      "shard_count": 16
    },
    {
      "offset": 18624,
      "run_id": "observe-prod-16k-v2-offset18624-limit00064-gpu48-patched-20260604T131305Z",
      "shard_count": 16
    },
    {
      "offset": 18688,
      "run_id": "observe-prod-16k-v2-offset18688-limit00064-gpu48-patched-20260604T132128Z",
      "shard_count": 16
    },
    {
      "offset": 18752,
      "run_id": "observe-prod-16k-v2-offset18752-limit00064-gpu48-patched-20260604T133356Z",
      "shard_count": 16
    },
    {
      "offset": 18816,
      "run_id": "observe-prod-16k-v2-offset18816-limit00064-gpu48-patched-20260604T134221Z",
      "shard_count": 16
    },
    {
      "offset": 18880,
      "run_id": "observe-prod-16k-v2-offset18880-limit00064-gpu48-patched-20260604T135907Z",
      "shard_count": 16
    },
    {
      "offset": 18944,
      "run_id": "observe-prod-16k-v2-offset18944-limit00064-gpu48-patched-20260604T140321Z",
      "shard_count": 16
    },
    {
      "offset": 19008,
      "run_id": "observe-prod-16k-v2-offset19008-limit00064-gpu48-patched-20260604T142019Z",
      "shard_count": 16
    },
    {
      "offset": 19072,
      "run_id": "observe-prod-16k-v2-offset19072-limit00064-gpu48-patched-20260604T142430Z",
      "shard_count": 16
    },
    {
      "offset": 19136,
      "run_id": "observe-prod-16k-v2-offset19136-limit00064-gpu48-patched-20260604T144135Z",
      "shard_count": 16
    },
    {
      "offset": 19200,
      "run_id": "observe-prod-16k-v2-offset19200-limit00064-gpu48-patched-20260604T144604Z",
      "shard_count": 16
    },
    {
      "offset": 19264,
      "run_id": "observe-prod-16k-v2-offset19264-limit00064-gpu48-patched-20260604T150350Z",
      "shard_count": 16
    },
    {
      "offset": 19328,
      "run_id": "observe-prod-16k-v2-offset19328-limit00064-gpu48-patched-20260604T150829Z",
      "shard_count": 16
    },
    {
      "offset": 19392,
      "run_id": "observe-prod-16k-v2-offset19392-limit00064-gpu48-patched-20260604T152544Z",
      "shard_count": 16
    },
    {
      "offset": 19456,
      "run_id": "observe-prod-16k-v2-offset19456-limit00064-gpu48-patched-20260604T153000Z",
      "shard_count": 16
    },
    {
      "offset": 19520,
      "run_id": "observe-prod-16k-v2-offset19520-limit00064-gpu48-patched-20260604T154730Z",
      "shard_count": 16
    },
    {
      "offset": 19584,
      "run_id": "observe-prod-16k-v2-offset19584-limit00064-gpu48-patched-20260604T155151Z",
      "shard_count": 16
    },
    {
      "offset": 19648,
      "run_id": "observe-prod-16k-v2-offset19648-limit00064-gpu48-patched-20260604T160913Z",
      "shard_count": 16
    },
    {
      "offset": 19712,
      "run_id": "observe-prod-16k-v2-offset19712-limit00064-gpu48-patched-20260604T161341Z",
      "shard_count": 16
    },
    {
      "offset": 19776,
      "run_id": "observe-prod-16k-v2-offset19776-limit00064-gpu48-patched-20260604T163304Z",
      "shard_count": 16
    },
    {
      "offset": 19840,
      "run_id": "observe-prod-16k-v2-offset19840-limit00064-gpu48-patched-20260604T163722Z",
      "shard_count": 16
    },
    {
      "offset": 19904,
      "run_id": "observe-prod-16k-v2-offset19904-limit00064-gpu48-patched-20260604T165442Z",
      "shard_count": 16
    },
    {
      "offset": 19968,
      "run_id": "observe-prod-16k-v2-offset19968-limit00064-gpu48-patched-20260604T165900Z",
      "shard_count": 16
    },
    {
      "offset": 20032,
      "run_id": "observe-prod-16k-v2-offset20032-limit00064-gpu48-patched-20260604T171628Z",
      "shard_count": 16
    },
    {
      "offset": 20096,
      "run_id": "observe-prod-16k-v2-offset20096-limit00064-gpu48-patched-20260604T172047Z",
      "shard_count": 16
    },
    {
      "offset": 20160,
      "run_id": "observe-prod-16k-v2-offset20160-limit00064-gpu48-patched-20260604T173802Z",
      "shard_count": 16
    },
    {
      "offset": 20224,
      "run_id": "observe-prod-16k-v2-offset20224-limit00064-gpu48-patched-20260604T174221Z",
      "shard_count": 16
    },
    {
      "offset": 20288,
      "run_id": "observe-prod-16k-v2-offset20288-limit00064-gpu48-patched-20260604T175952Z",
      "shard_count": 16
    },
    {
      "offset": 20352,
      "run_id": "observe-prod-16k-v2-offset20352-limit00064-gpu48-patched-20260604T180411Z",
      "shard_count": 16
    },
    {
      "offset": 20416,
      "run_id": "observe-prod-16k-v2-offset20416-limit00064-gpu48-patched-20260604T182140Z",
      "shard_count": 16
    },
    {
      "offset": 20480,
      "run_id": "observe-prod-16k-v2-offset20480-limit00064-gpu48-patched-20260604T182601Z",
      "shard_count": 16
    },
    {
      "offset": 20544,
      "run_id": "observe-prod-16k-v2-offset20544-limit00064-gpu48-patched-20260604T184351Z",
      "shard_count": 16
    },
    {
      "offset": 20608,
      "run_id": "observe-prod-16k-v2-offset20608-limit00064-gpu48-patched-20260604T185245Z",
      "shard_count": 16
    },
    {
      "offset": 20672,
      "run_id": "observe-prod-16k-v2-offset20672-limit00064-gpu48-patched-20260604T191049Z",
      "shard_count": 16
    },
    {
      "offset": 20736,
      "run_id": "observe-prod-16k-v2-offset20736-limit00064-gpu48-patched-20260604T192005Z",
      "shard_count": 16
    },
    {
      "offset": 20800,
      "run_id": "observe-prod-16k-v2-offset20800-limit00064-gpu48-patched-20260604T193804Z",
      "shard_count": 16
    },
    {
      "offset": 20864,
      "run_id": "observe-prod-16k-v2-offset20864-limit00064-gpu48-patched-20260604T194657Z",
      "shard_count": 16
    },
    {
      "offset": 20928,
      "run_id": "observe-prod-16k-v2-offset20928-limit00064-gpu48-patched-20260604T200452Z",
      "shard_count": 16
    },
    {
      "offset": 20992,
      "run_id": "observe-prod-16k-v2-offset20992-limit00064-gpu48-patched-20260604T201402Z",
      "shard_count": 16
    },
    {
      "offset": 21056,
      "run_id": "observe-prod-16k-v2-offset21056-limit00064-gpu48-patched-20260604T203219Z",
      "shard_count": 16
    },
    {
      "offset": 21120,
      "run_id": "observe-prod-16k-v2-offset21120-limit00064-gpu48-patched-20260604T204113Z",
      "shard_count": 16
    },
    {
      "offset": 21184,
      "run_id": "observe-prod-16k-v2-offset21184-limit00064-gpu48-patched-20260604T205916Z",
      "shard_count": 16
    },
    {
      "offset": 21248,
      "run_id": "observe-prod-16k-v2-offset21248-limit00064-gpu48-patched-20260604T210823Z",
      "shard_count": 16
    },
    {
      "offset": 21312,
      "run_id": "observe-prod-16k-v2-offset21312-limit00064-gpu48-patched-20260604T212631Z",
      "shard_count": 16
    },
    {
      "offset": 21376,
      "run_id": "observe-prod-16k-v2-offset21376-limit00064-gpu48-patched-20260604T213534Z",
      "shard_count": 16
    },
    {
      "offset": 21440,
      "run_id": "observe-prod-16k-v2-offset21440-limit00064-gpu48-patched-20260604T215328Z",
      "shard_count": 16
    },
    {
      "offset": 21504,
      "run_id": "observe-prod-16k-v2-offset21504-limit00064-gpu48-patched-20260604T220230Z",
      "shard_count": 16
    },
    {
      "offset": 21568,
      "run_id": "observe-prod-16k-v2-offset21568-limit00064-gpu48-patched-20260604T222043Z",
      "shard_count": 16
    },
    {
      "offset": 21632,
      "run_id": "observe-prod-16k-v2-offset21632-limit00064-gpu48-patched-20260604T222959Z",
      "shard_count": 16
    },
    {
      "offset": 21696,
      "run_id": "observe-prod-16k-v2-offset21696-limit00064-gpu48-patched-20260604T224748Z",
      "shard_count": 16
    },
    {
      "offset": 21760,
      "run_id": "observe-prod-16k-v2-offset21760-limit00064-gpu48-patched-20260604T225648Z",
      "shard_count": 16
    },
    {
      "offset": 21824,
      "run_id": "observe-prod-16k-v2-offset21824-limit00064-gpu48-patched-20260604T231501Z",
      "shard_count": 16
    },
    {
      "offset": 21888,
      "run_id": "observe-prod-16k-v2-offset21888-limit00064-gpu48-patched-20260604T232405Z",
      "shard_count": 16
    },
    {
      "offset": 21952,
      "run_id": "observe-prod-16k-v2-offset21952-limit00064-gpu48-patched-20260604T234204Z",
      "shard_count": 16
    },
    {
      "offset": 22016,
      "run_id": "observe-prod-16k-v2-offset22016-limit00064-gpu48-patched-20260604T235118Z",
      "shard_count": 16
    },
    {
      "offset": 22080,
      "run_id": "observe-prod-16k-v2-offset22080-limit00064-gpu48-patched-20260605T001002Z",
      "shard_count": 16
    },
    {
      "offset": 22144,
      "run_id": "observe-prod-16k-v2-offset22144-limit00064-gpu48-patched-20260605T002847Z",
      "shard_count": 16
    },
    {
      "offset": 22208,
      "run_id": "observe-prod-16k-v2-offset22208-limit00064-gpu48-patched-20260605T003805Z",
      "shard_count": 16
    },
    {
      "offset": 22272,
      "run_id": "observe-prod-16k-v2-offset22272-limit00064-gpu48-patched-20260605T005640Z",
      "shard_count": 16
    },
    {
      "offset": 22336,
      "run_id": "observe-prod-16k-v2-offset22336-limit00064-gpu48-patched-20260605T010609Z",
      "shard_count": 16
    },
    {
      "offset": 22400,
      "run_id": "observe-prod-16k-v2-offset22400-limit00064-gpu48-patched-20260605T012512Z",
      "shard_count": 16
    },
    {
      "offset": 22464,
      "run_id": "observe-prod-16k-v2-offset22464-limit00064-gpu48-patched-20260605T013438Z",
      "shard_count": 16
    },
    {
      "offset": 22528,
      "run_id": "observe-prod-16k-v2-offset22528-limit00064-gpu48-patched-20260605T015754Z",
      "shard_count": 16
    },
    {
      "offset": 22592,
      "run_id": "observe-prod-16k-v2-offset22592-limit00064-gpu48-patched-20260605T020243Z",
      "shard_count": 16
    },
    {
      "offset": 22656,
      "run_id": "observe-prod-16k-v2-offset22656-limit00064-gpu48-patched-20260605T022604Z",
      "shard_count": 16
    },
    {
      "offset": 22720,
      "run_id": "observe-prod-16k-v2-offset22720-limit00064-gpu48-patched-20260605T023046Z",
      "shard_count": 16
    },
    {
      "offset": 22784,
      "run_id": "observe-prod-16k-v2-offset22784-limit00064-gpu48-patched-20260605T025411Z",
      "shard_count": 16
    },
    {
      "offset": 22848,
      "run_id": "observe-prod-16k-v2-offset22848-limit00064-gpu48-patched-20260605T025852Z",
      "shard_count": 16
    },
    {
      "offset": 22912,
      "run_id": "observe-prod-16k-v2-offset22912-limit00064-gpu48-patched-20260605T032251Z",
      "shard_count": 16
    },
    {
      "offset": 22976,
      "run_id": "observe-prod-16k-v2-offset22976-limit00064-gpu48-patched-20260605T032731Z",
      "shard_count": 16
    },
    {
      "offset": 23040,
      "run_id": "observe-prod-16k-v2-offset23040-limit00064-gpu48-patched-20260605T035105Z",
      "shard_count": 16
    },
    {
      "offset": 23104,
      "run_id": "observe-prod-16k-v2-offset23104-limit00064-gpu48-patched-20260605T035546Z",
      "shard_count": 16
    },
    {
      "offset": 23168,
      "run_id": "observe-prod-16k-v2-offset23168-limit00064-gpu48-patched-20260605T041927Z",
      "shard_count": 16
    },
    {
      "offset": 23232,
      "run_id": "observe-prod-16k-v2-offset23232-limit00064-gpu48-patched-20260605T042408Z",
      "shard_count": 16
    },
    {
      "offset": 23296,
      "run_id": "observe-prod-16k-v2-offset23296-limit00064-gpu48-patched-20260605T044755Z",
      "shard_count": 16
    },
    {
      "offset": 23360,
      "run_id": "observe-prod-16k-v2-offset23360-limit00064-gpu48-patched-20260605T045239Z",
      "shard_count": 16
    },
    {
      "offset": 23424,
      "run_id": "observe-prod-16k-v2-offset23424-limit00064-gpu48-patched-20260605T051633Z",
      "shard_count": 16
    },
    {
      "offset": 23488,
      "run_id": "observe-prod-16k-v2-offset23488-limit00064-gpu48-patched-20260605T052115Z",
      "shard_count": 16
    },
    {
      "offset": 23552,
      "run_id": "observe-prod-16k-v2-offset23552-limit00064-gpu48-patched-20260605T054506Z",
      "shard_count": 16
    },
    {
      "offset": 23616,
      "run_id": "observe-prod-16k-v2-offset23616-limit00064-gpu48-patched-20260605T055000Z",
      "shard_count": 16
    },
    {
      "offset": 23680,
      "run_id": "observe-prod-16k-v2-offset23680-limit00064-gpu48-patched-20260605T061422Z",
      "shard_count": 16
    },
    {
      "offset": 23744,
      "run_id": "observe-prod-16k-v2-offset23744-limit00064-gpu48-patched-20260605T061913Z",
      "shard_count": 16
    },
    {
      "offset": 23808,
      "run_id": "observe-prod-16k-v2-offset23808-limit00064-gpu48-patched-20260605T064347Z",
      "shard_count": 16
    },
    {
      "offset": 23872,
      "run_id": "observe-prod-16k-v2-offset23872-limit00064-gpu48-patched-20260605T064833Z",
      "shard_count": 16
    },
    {
      "offset": 23936,
      "run_id": "observe-prod-16k-v2-offset23936-limit00064-gpu48-patched-20260605T071311Z",
      "shard_count": 16
    },
    {
      "offset": 24000,
      "run_id": "observe-prod-16k-v2-offset24000-limit00064-gpu48-patched-20260605T071805Z",
      "shard_count": 16
    },
    {
      "offset": 24064,
      "run_id": "observe-prod-16k-v2-offset24064-limit00064-gpu48-patched-20260605T074249Z",
      "shard_count": 16
    },
    {
      "offset": 24128,
      "run_id": "observe-prod-16k-v2-offset24128-limit00064-gpu48-patched-20260605T074744Z",
      "shard_count": 16
    },
    {
      "offset": 24192,
      "run_id": "observe-prod-16k-v2-offset24192-limit00064-gpu48-patched-20260605T081215Z",
      "shard_count": 16
    },
    {
      "offset": 24256,
      "run_id": "observe-prod-16k-v2-offset24256-limit00064-gpu48-patched-20260605T081711Z",
      "shard_count": 16
    },
    {
      "offset": 24320,
      "run_id": "observe-prod-16k-v2-offset24320-limit00064-gpu48-patched-20260605T084142Z",
      "shard_count": 16
    },
    {
      "offset": 24384,
      "run_id": "observe-prod-16k-v2-offset24384-limit00064-gpu48-patched-20260605T084634Z",
      "shard_count": 16
    },
    {
      "offset": 24448,
      "run_id": "observe-prod-16k-v2-offset24448-limit00064-gpu48-patched-20260605T091125Z",
      "shard_count": 16
    },
    {
      "offset": 24512,
      "run_id": "observe-prod-16k-v2-offset24512-limit00064-gpu48-patched-20260605T091620Z",
      "shard_count": 16
    }
  ],
  "strict_h100_offset_range": [
    10880,
    24576
  ],
  "target_remove_params_b": 50.0,
  "trusted_prefix_note": "This aggregation uses complete local/HF-verified H100 production windows from the supervisor trusted frontier onward."
}