{
  "HumanEval": {
    "benchmark": "HumanEval",
    "status": "ok",
    "stats": {
      "count": 164,
      "min": 38,
      "max": 391,
      "mean": 131.3109756097561,
      "median": 117.0,
      "p25": 86.75,
      "p75": 154.75,
      "p95": 270.09999999999997,
      "p99": 310.33000000000004,
      "pct_under_1024": 100.0,
      "pct_under_2048": 100.0,
      "pct_under_4096": 100.0,
      "pct_under_8192": 100.0,
      "pct_under_16384": 100.0,
      "pct_under_32768": 100.0
    },
    "per_problem_tokens": [
      118,
      109,
      80,
      113,
      111,
      86,
      106,
      87,
      104,
      94,
      137,
      70,
      96,
      65,
      53,
      63,
      65,
      166,
      83,
      99,
      160,
      117,
      85,
      38,
      47,
      120,
      78,
      43,
      51,
      81,
      108,
      94,
      253,
      145,
      68,
      77,
      74,
      118,
      153,
      92,
      154,
      146,
      103,
      152,
      86,
      41,
      166,
      70,
      66,
      100,
      85,
      117,
      74,
      48,
      135,
      47,
      87,
      82,
      109,
      58,
      89,
      84,
      103,
      144,
      121,
      77,
      107,
      205,
      307,
      160,
      119,
      116,
      225,
      152,
      188,
      74,
      137,
      105,
      294,
      134,
      116,
      265,
      76,
      39,
      128,
      50,
      125,
      254,
      198,
      105,
      119,
      102,
      130,
      104,
      281,
      164,
      140,
      93,
      67,
      151,
      127,
      111,
      89,
      135,
      97,
      271,
      119,
      206,
      119,
      294,
      192,
      146,
      157,
      168,
      83,
      316,
      165,
      176,
      144,
      163,
      212,
      92,
      123,
      226,
      258,
      135,
      244,
      249,
      117,
      391,
      230,
      66,
      128,
      152,
      132,
      98,
      133,
      136,
      72,
      90,
      101,
      209,
      164,
      142,
      150,
      110,
      114,
      160,
      206,
      182,
      81,
      132,
      225,
      272,
      124,
      60,
      96,
      103,
      115,
      272,
      202,
      102,
      71,
      99
    ]
  },
  "MBPP (sanitized)": {
    "benchmark": "MBPP (sanitized)",
    "status": "ok",
    "stats": {
      "count": 257,
      "min": 8,
      "max": 49,
      "mean": 18.019455252918288,
      "median": 16.0,
      "p25": 14.0,
      "p75": 20.0,
      "p95": 30.19999999999999,
      "p99": 48.44,
      "pct_under_1024": 100.0,
      "pct_under_2048": 100.0,
      "pct_under_4096": 100.0,
      "pct_under_8192": 100.0,
      "pct_under_16384": 100.0,
      "pct_under_32768": 100.0
    },
    "per_problem_tokens": [
      18,
      19,
      13,
      24,
      17,
      18,
      16,
      15,
      18,
      20,
      17,
      11,
      21,
      12,
      17,
      17,
      14,
      15,
      17,
      16,
      15,
      16,
      10,
      22,
      16,
      20,
      15,
      17,
      12,
      11,
      26,
      16,
      12,
      11,
      12,
      20,
      12,
      13,
      21,
      15,
      17,
      23,
      18,
      16,
      21,
      20,
      23,
      19,
      19,
      14,
      14,
      16,
      14,
      13,
      13,
      25,
      13,
      14,
      16,
      16,
      17,
      18,
      17,
      20,
      17,
      12,
      31,
      17,
      8,
      19,
      13,
      15,
      21,
      11,
      18,
      11,
      19,
      25,
      11,
      16,
      10,
      19,
      14,
      18,
      28,
      16,
      48,
      20,
      19,
      30,
      21,
      19,
      17,
      20,
      19,
      21,
      18,
      49,
      24,
      18,
      10,
      19,
      49,
      26,
      25,
      13,
      15,
      14,
      29,
      18,
      49,
      25,
      14,
      16,
      38,
      14,
      21,
      19,
      11,
      26,
      28,
      12,
      16,
      37,
      26,
      22,
      10,
      18,
      20,
      42,
      14,
      29,
      17,
      25,
      12,
      12,
      18,
      29,
      22,
      29,
      22,
      19,
      28,
      20,
      11,
      44,
      18,
      10,
      29,
      25,
      24,
      27,
      22,
      16,
      37,
      18,
      14,
      14,
      15,
      12,
      11,
      14,
      32,
      11,
      16,
      18,
      37,
      11,
      23,
      12,
      14,
      12,
      11,
      21,
      13,
      18,
      13,
      46,
      11,
      12,
      17,
      19,
      11,
      17,
      15,
      15,
      18,
      12,
      13,
      16,
      19,
      27,
      18,
      14,
      15,
      13,
      15,
      19,
      18,
      14,
      15,
      26,
      16,
      13,
      16,
      18,
      15,
      8,
      18,
      13,
      16,
      14,
      19,
      15,
      19,
      19,
      14,
      13,
      11,
      10,
      15,
      17,
      16,
      16,
      15,
      15,
      17,
      18,
      13,
      13,
      17,
      13,
      21,
      15,
      11,
      17,
      15,
      12,
      11,
      13,
      13,
      15,
      16,
      15,
      14,
      12,
      21,
      17,
      15,
      16,
      20,
      10,
      10,
      19,
      13,
      13,
      14
    ]
  },
  "SWE-bench": {
    "benchmark": "SWE-bench",
    "status": "ok",
    "stats": {
      "count": 2294,
      "min": 6,
      "max": 22483,
      "mean": 480.36530078465563,
      "median": 282.0,
      "p25": 151.0,
      "p75": 550.25,
      "p95": 1399.849999999999,
      "p99": 2937.1700000000214,
      "pct_under_1024": 90.71490845684394,
      "pct_under_2048": 97.2972972972973,
      "pct_under_4096": 99.43330427201394,
      "pct_under_8192": 99.78204010462075,
      "pct_under_16384": 99.95640802092414,
      "pct_under_32768": 100.0
    },
    "per_problem_tokens": [
      3896,
      439,
      449,
      374,
      495,
      2377,
      2377,
      354,
      322,
      761,
      592,
      684,
      283,
      765,
      216,
      1016,
      1673,
      335,
      1269,
      469,
      817,
      2928,
      1230,
      290,
      2188,
      620,
      2162,
      439,
      529,
      224,
      1334,
      230,
      1418,
      872,
      1459,
      265,
      108,
      864,
      864,
      3728,
      539,
      604,
      894,
      288,
      243,
      1508,
      508,
      1077,
      312,
      2503,
      1272,
      444,
      688,
      80,
      164,
      330,
      162,
      218,
      759,
      305,
      436,
      445,
      263,
      665,
      748,
      382,
      172,
      448,
      3776,
      88,
      355,
      291,
      737,
      118,
      52,
      35,
      94,
      384,
      82,
      273,
      502,
      109,
      569,
      445,
      284,
      244,
      243,
      536,
      172,
      532,
      293,
      193,
      1622,
      55,
      288,
      53,
      560,
      193,
      235,
      164,
      111,
      565,
      60,
      108,
      812,
      128,
      160,
      235,
      54,
      77,
      414,
      55,
      258,
      618,
      209,
      169,
      70,
      107,
      77,
      498,
      196,
      216,
      507,
      291,
      136,
      391,
      3341,
      48,
      184,
      101,
      163,
      83,
      136,
      397,
      406,
      166,
      260,
      2407,
      1160,
      85,
      142,
      165,
      608,
      80,
      519,
      182,
      890,
      176,
      181,
      175,
      95,
      136,
      296,
      127,
      187,
      205,
      62,
      55,
      63,
      205,
      154,
      214,
      290,
      305,
      195,
      267,
      718,
      44,
      1034,
      68,
      254,
      71,
      120,
      51,
      264,
      74,
      336,
      228,
      737,
      138,
      318,
      1231,
      495,
      212,
      133,
      273,
      390,
      137,
      74,
      90,
      937,
      188,
      121,
      54,
      196,
      552,
      270,
      135,
      137,
      441,
      262,
      44,
      122,
      85,
      137,
      254,
      248,
      188,
      674,
      45,
      181,
      613,
      1260,
      162,
      162,
      109,
      211,
      1351,
      896,
      93,
      170,
      78,
      153,
      887,
      436,
      182,
      105,
      153,
      149,
      227,
      46,
      1077,
      348,
      382,
      215,
      89,
      1407,
      397,
      94,
      114,
      220,
      478,
      64,
      272,
      665,
      185,
      389,
      114,
      220,
      218,
      564,
      354,
      98,
      180,
      388,
      158,
      261,
      97,
      287,
      171,
      72,
      122,
      193,
      93,
      286,
      881,
      1305,
      151,
      500,
      179,
      315,
      216,
      142,
      333,
      287,
      337,
      66,
      62,
      98,
      127,
      1218,
      321,
      103,
      360,
      137,
      351,
      88,
      216,
      179,
      186,
      166,
      253,
      183,
      666,
      155,
      274,
      82,
      264,
      2201,
      63,
      194,
      988,
      226,
      218,
      146,
      227,
      223,
      168,
      158,
      122,
      478,
      97,
      1050,
      186,
      113,
      285,
      190,
      283,
      2250,
      264,
      505,
      156,
      65,
      865,
      896,
      594,
      846,
      421,
      72,
      148,
      291,
      230,
      220,
      146,
      375,
      170,
      171,
      83,
      91,
      126,
      264,
      457,
      1673,
      45,
      181,
      47,
      62,
      59,
      736,
      248,
      322,
      190,
      121,
      735,
      121,
      78,
      457,
      234,
      59,
      87,
      145,
      78,
      214,
      31,
      183,
      193,
      277,
      211,
      342,
      645,
      287,
      39,
      84,
      100,
      208,
      239,
      130,
      287,
      127,
      656,
      216,
      167,
      60,
      67,
      346,
      137,
      69,
      360,
      670,
      261,
      93,
      326,
      121,
      112,
      666,
      448,
      228,
      1028,
      341,
      333,
      340,
      396,
      88,
      409,
      141,
      456,
      71,
      473,
      292,
      77,
      197,
      257,
      201,
      1066,
      149,
      195,
      560,
      560,
      144,
      92,
      176,
      120,
      63,
      188,
      53,
      96,
      141,
      424,
      100,
      461,
      352,
      116,
      471,
      478,
      293,
      354,
      213,
      92,
      58,
      1118,
      183,
      400,
      241,
      289,
      142,
      159,
      53,
      1083,
      727,
      382,
      904,
      172,
      158,
      283,
      786,
      338,
      160,
      251,
      699,
      182,
      89,
      1292,
      1755,
      176,
      208,
      253,
      440,
      676,
      365,
      288,
      110,
      288,
      139,
      159,
      248,
      166,
      123,
      311,
      95,
      91,
      163,
      503,
      244,
      251,
      504,
      192,
      244,
      103,
      432,
      169,
      164,
      983,
      212,
      301,
      613,
      220,
      289,
      224,
      229,
      324,
      1135,
      209,
      331,
      1028,
      209,
      182,
      272,
      74,
      203,
      113,
      102,
      226,
      129,
      160,
      273,
      153,
      301,
      60,
      56,
      125,
      373,
      405,
      96,
      473,
      505,
      433,
      146,
      150,
      187,
      363,
      821,
      400,
      82,
      135,
      70,
      884,
      268,
      101,
      372,
      273,
      104,
      283,
      424,
      30,
      164,
      356,
      54,
      110,
      161,
      210,
      309,
      316,
      718,
      157,
      146,
      155,
      179,
      68,
      80,
      120,
      264,
      280,
      265,
      109,
      109,
      112,
      430,
      425,
      138,
      201,
      62,
      676,
      333,
      825,
      280,
      1949,
      122,
      236,
      115,
      165,
      753,
      155,
      126,
      76,
      319,
      124,
      564,
      2355,
      342,
      254,
      48,
      149,
      245,
      127,
      61,
      1120,
      317,
      70,
      352,
      78,
      218,
      87,
      183,
      425,
      36,
      33,
      59,
      700,
      153,
      194,
      179,
      458,
      141,
      356,
      649,
      63,
      477,
      212,
      171,
      369,
      109,
      106,
      122,
      383,
      53,
      179,
      278,
      136,
      299,
      25,
      218,
      125,
      385,
      236,
      1734,
      305,
      134,
      2167,
      82,
      180,
      104,
      88,
      201,
      633,
      326,
      129,
      299,
      480,
      1304,
      175,
      422,
      180,
      200,
      296,
      254,
      209,
      277,
      82,
      133,
      118,
      163,
      873,
      251,
      3059,
      317,
      238,
      142,
      122,
      177,
      165,
      313,
      1586,
      55,
      234,
      282,
      159,
      120,
      224,
      470,
      545,
      84,
      1564,
      61,
      726,
      270,
      88,
      1108,
      300,
      112,
      55,
      654,
      152,
      34,
      97,
      516,
      100,
      64,
      809,
      102,
      149,
      172,
      45,
      180,
      388,
      111,
      357,
      326,
      123,
      693,
      292,
      594,
      100,
      422,
      186,
      128,
      374,
      233,
      390,
      124,
      752,
      285,
      188,
      321,
      662,
      461,
      430,
      92,
      186,
      180,
      181,
      909,
      72,
      202,
      108,
      313,
      102,
      204,
      185,
      73,
      125,
      648,
      159,
      178,
      445,
      80,
      52,
      497,
      197,
      1117,
      152,
      314,
      147,
      73,
      440,
      154,
      359,
      172,
      66,
      335,
      741,
      262,
      566,
      465,
      32,
      173,
      224,
      252,
      133,
      60,
      108,
      501,
      552,
      309,
      652,
      34,
      255,
      143,
      353,
      444,
      83,
      341,
      62,
      628,
      52,
      278,
      273,
      367,
      110,
      109,
      164,
      738,
      117,
      56,
      148,
      189,
      241,
      82,
      367,
      500,
      173,
      181,
      299,
      1508,
      33,
      55,
      154,
      137,
      522,
      604,
      220,
      2132,
      297,
      73,
      175,
      452,
      239,
      118,
      811,
      57,
      87,
      53,
      29,
      165,
      693,
      148,
      577,
      346,
      198,
      193,
      163,
      75,
      286,
      940,
      387,
      567,
      402,
      121,
      135,
      306,
      124,
      200,
      317,
      154,
      993,
      131,
      259,
      149,
      99,
      291,
      113,
      544,
      206,
      96,
      261,
      474,
      64,
      1259,
      219,
      1478,
      490,
      420,
      106,
      164,
      125,
      1224,
      159,
      404,
      76,
      288,
      361,
      721,
      691,
      363,
      663,
      198,
      116,
      482,
      181,
      544,
      67,
      152,
      81,
      289,
      142,
      424,
      181,
      75,
      305,
      130,
      198,
      175,
      27,
      89,
      104,
      2075,
      202,
      652,
      146,
      837,
      183,
      1236,
      24,
      76,
      555,
      296,
      308,
      306,
      562,
      97,
      620,
      175,
      925,
      169,
      292,
      196,
      1330,
      396,
      494,
      985,
      126,
      359,
      644,
      176,
      236,
      126,
      753,
      245,
      180,
      728,
      283,
      171,
      262,
      381,
      222,
      109,
      67,
      107,
      61,
      47,
      37,
      269,
      678,
      91,
      53,
      146,
      220,
      422,
      919,
      380,
      474,
      471,
      311,
      438,
      370,
      622,
      329,
      453,
      352,
      814,
      21,
      744,
      1058,
      208,
      520,
      375,
      311,
      385,
      489,
      233,
      643,
      1098,
      712,
      105,
      676,
      636,
      594,
      268,
      795,
      378,
      736,
      563,
      289,
      6837,
      1874,
      374,
      1035,
      608,
      984,
      2513,
      215,
      333,
      475,
      492,
      398,
      389,
      123,
      984,
      776,
      782,
      1396,
      346,
      575,
      1025,
      82,
      902,
      804,
      733,
      92,
      534,
      181,
      81,
      452,
      128,
      312,
      359,
      470,
      232,
      376,
      247,
      575,
      1074,
      485,
      355,
      1336,
      270,
      432,
      704,
      143,
      1179,
      318,
      526,
      604,
      379,
      226,
      881,
      510,
      808,
      194,
      341,
      229,
      309,
      173,
      844,
      306,
      572,
      233,
      388,
      366,
      539,
      134,
      532,
      218,
      280,
      1196,
      399,
      347,
      444,
      222,
      421,
      512,
      208,
      2680,
      1034,
      886,
      288,
      323,
      73,
      132,
      2304,
      539,
      206,
      248,
      322,
      630,
      263,
      127,
      1122,
      211,
      511,
      434,
      513,
      1731,
      414,
      434,
      175,
      2703,
      297,
      2091,
      137,
      350,
      536,
      161,
      457,
      596,
      236,
      3861,
      153,
      258,
      309,
      241,
      166,
      220,
      346,
      5420,
      325,
      817,
      897,
      250,
      2636,
      330,
      175,
      439,
      612,
      860,
      831,
      1140,
      447,
      301,
      984,
      293,
      624,
      250,
      152,
      293,
      419,
      302,
      802,
      599,
      106,
      87,
      59,
      718,
      324,
      260,
      386,
      240,
      47,
      430,
      216,
      58,
      1173,
      262,
      468,
      377,
      473,
      1229,
      319,
      314,
      278,
      449,
      811,
      49,
      154,
      477,
      232,
      194,
      69,
      587,
      792,
      275,
      48,
      349,
      78,
      521,
      942,
      145,
      525,
      186,
      55,
      190,
      487,
      2067,
      1085,
      205,
      95,
      97,
      582,
      166,
      839,
      61,
      166,
      742,
      832,
      69,
      214,
      112,
      170,
      2110,
      700,
      110,
      110,
      350,
      881,
      174,
      79,
      122,
      800,
      181,
      313,
      902,
      568,
      604,
      426,
      375,
      422,
      172,
      655,
      51,
      540,
      3351,
      718,
      460,
      279,
      168,
      276,
      596,
      1034,
      133,
      1263,
      623,
      166,
      1857,
      657,
      12533,
      937,
      401,
      534,
      72,
      1308,
      853,
      2176,
      212,
      719,
      568,
      8,
      335,
      2177,
      246,
      73,
      204,
      1877,
      1204,
      665,
      780,
      710,
      865,
      525,
      884,
      1297,
      1266,
      774,
      739,
      1652,
      581,
      732,
      246,
      257,
      797,
      652,
      705,
      2109,
      1234,
      821,
      191,
      203,
      515,
      1359,
      548,
      622,
      688,
      883,
      308,
      191,
      22483,
      805,
      946,
      252,
      1032,
      1024,
      665,
      267,
      803,
      1194,
      1602,
      562,
      2649,
      440,
      1558,
      120,
      1164,
      888,
      1254,
      1277,
      919,
      302,
      405,
      860,
      161,
      670,
      391,
      27,
      1409,
      919,
      3154,
      760,
      851,
      1467,
      356,
      783,
      918,
      529,
      274,
      179,
      763,
      97,
      1615,
      624,
      218,
      246,
      251,
      993,
      221,
      506,
      240,
      202,
      221,
      389,
      100,
      95,
      119,
      147,
      436,
      196,
      451,
      774,
      118,
      260,
      119,
      601,
      37,
      175,
      304,
      498,
      195,
      866,
      1473,
      677,
      217,
      95,
      482,
      371,
      276,
      553,
      228,
      191,
      817,
      149,
      6939,
      898,
      523,
      1326,
      282,
      587,
      1634,
      507,
      118,
      157,
      194,
      632,
      427,
      244,
      947,
      727,
      422,
      702,
      416,
      298,
      1216,
      168,
      146,
      320,
      896,
      440,
      115,
      315,
      10024,
      160,
      363,
      1240,
      2246,
      1769,
      740,
      846,
      419,
      160,
      562,
      736,
      51,
      278,
      235,
      1177,
      610,
      174,
      988,
      995,
      81,
      189,
      2617,
      258,
      403,
      626,
      359,
      796,
      268,
      268,
      176,
      285,
      214,
      31,
      862,
      657,
      926,
      618,
      62,
      247,
      103,
      25,
      586,
      587,
      1232,
      269,
      2282,
      1886,
      1137,
      627,
      66,
      693,
      693,
      551,
      130,
      1656,
      247,
      207,
      155,
      161,
      2759,
      4184,
      401,
      1895,
      1074,
      451,
      120,
      75,
      481,
      110,
      1749,
      177,
      125,
      67,
      188,
      259,
      55,
      130,
      1261,
      455,
      244,
      766,
      64,
      1446,
      424,
      173,
      168,
      2213,
      487,
      366,
      147,
      451,
      1031,
      185,
      332,
      285,
      1446,
      845,
      610,
      4075,
      1218,
      537,
      520,
      257,
      645,
      326,
      244,
      89,
      386,
      188,
      324,
      570,
      381,
      188,
      48,
      171,
      223,
      40,
      312,
      72,
      170,
      288,
      432,
      265,
      85,
      378,
      753,
      71,
      46,
      140,
      580,
      976,
      757,
      760,
      490,
      322,
      460,
      246,
      1430,
      171,
      315,
      156,
      67,
      359,
      312,
      209,
      68,
      621,
      116,
      282,
      203,
      203,
      10043,
      934,
      253,
      136,
      25,
      1766,
      711,
      60,
      108,
      405,
      368,
      876,
      1113,
      577,
      624,
      88,
      93,
      323,
      1204,
      84,
      650,
      129,
      561,
      146,
      597,
      1260,
      1277,
      115,
      793,
      95,
      796,
      1303,
      586,
      397,
      104,
      531,
      563,
      282,
      459,
      1328,
      567,
      2612,
      1542,
      975,
      283,
      118,
      127,
      112,
      419,
      270,
      222,
      340,
      591,
      78,
      60,
      1339,
      587,
      684,
      342,
      195,
      569,
      374,
      698,
      350,
      85,
      541,
      237,
      325,
      68,
      399,
      248,
      1366,
      93,
      2470,
      819,
      262,
      74,
      937,
      110,
      142,
      83,
      774,
      557,
      742,
      773,
      857,
      97,
      1551,
      649,
      6,
      235,
      161,
      821,
      1697,
      670,
      704,
      406,
      336,
      35,
      759,
      1329,
      994,
      201,
      277,
      1116,
      585,
      148,
      272,
      283,
      513,
      456,
      132,
      1639,
      48,
      1237,
      558,
      191,
      621,
      1064,
      567,
      504,
      353,
      411,
      133,
      161,
      789,
      1070,
      607,
      247,
      606,
      315,
      83,
      137,
      89,
      253,
      558,
      2011,
      142,
      108,
      466,
      139,
      172,
      288,
      86,
      556,
      322,
      210,
      8801,
      145,
      1847,
      525,
      1265,
      1556,
      1167,
      1593,
      444,
      572,
      1009,
      70,
      564,
      728,
      1673,
      753,
      199,
      349,
      819,
      390,
      460,
      317,
      393,
      274,
      276,
      841,
      984,
      203,
      115,
      87,
      110,
      1114,
      693,
      936,
      214,
      35,
      1203,
      164,
      463,
      460,
      202,
      174,
      281,
      1119,
      304,
      633,
      780,
      214,
      2131,
      392,
      334,
      770,
      1042,
      422,
      488,
      796,
      537,
      141,
      1633,
      413,
      783,
      340,
      98,
      904,
      303,
      258,
      330,
      460,
      780,
      638,
      353,
      527,
      270,
      282,
      282,
      1484,
      331,
      734,
      72,
      39,
      174,
      241,
      296,
      176,
      176,
      400,
      191,
      257,
      751,
      340,
      257,
      276,
      250,
      158,
      352,
      119,
      206,
      119,
      335,
      286,
      85,
      195,
      452,
      1990,
      695,
      265,
      369,
      3520,
      311,
      353,
      318,
      128,
      211,
      142,
      113,
      445,
      97,
      583,
      895,
      331,
      160,
      2876,
      447,
      110,
      678,
      437,
      275,
      482,
      315,
      483,
      2523,
      509,
      316,
      216,
      378,
      225,
      216,
      415,
      501,
      227,
      346,
      123,
      176,
      175,
      251,
      152,
      802,
      94,
      543,
      133,
      513,
      175,
      186,
      384,
      4188,
      519,
      537,
      336,
      632,
      694,
      374,
      130,
      324,
      72,
      289,
      126,
      388,
      140,
      144,
      392,
      524,
      178,
      231,
      328,
      307,
      596,
      512,
      23,
      5697,
      392,
      521,
      147,
      213,
      502,
      984,
      362,
      310,
      202,
      278,
      2122,
      125,
      477,
      435,
      211,
      312,
      1141,
      292,
      257,
      138,
      252,
      274,
      529,
      314,
      281,
      499,
      468,
      354,
      315,
      755,
      207,
      336,
      236,
      393,
      341,
      858,
      233,
      188,
      508,
      476,
      341,
      357,
      318,
      303,
      1903,
      148,
      376,
      121,
      108,
      74,
      273,
      215,
      18,
      833,
      101,
      968,
      641,
      455,
      120,
      219,
      89,
      133,
      720,
      176,
      103,
      411,
      160,
      52,
      162,
      229,
      419,
      686,
      408,
      411,
      218,
      200,
      333,
      59,
      397,
      90,
      90,
      262,
      82,
      39,
      94,
      111,
      37,
      145,
      406,
      97,
      344,
      291,
      101,
      430,
      118,
      151,
      141,
      1769,
      1154,
      223,
      323,
      619,
      959,
      133,
      134,
      78,
      57,
      1256,
      200,
      236,
      242,
      354,
      335,
      154,
      6668,
      228,
      152,
      204,
      338,
      87,
      66,
      129,
      207,
      657,
      247,
      292,
      4294,
      148,
      123,
      87,
      225,
      228,
      52,
      257,
      67,
      576,
      143,
      1319,
      877,
      231,
      34,
      225,
      353,
      156,
      370,
      52,
      877,
      280,
      125,
      90,
      96,
      96,
      376,
      394,
      44,
      73,
      242,
      186,
      350,
      125,
      234,
      308,
      595,
      224,
      558,
      301,
      147,
      195,
      267,
      178,
      546,
      49,
      241,
      222,
      288,
      251,
      69,
      107,
      115,
      181,
      2439,
      268,
      81,
      185,
      600,
      127,
      76,
      275,
      74,
      450,
      227,
      136,
      1526,
      198,
      215,
      215,
      331,
      72,
      575,
      125,
      593,
      415,
      251,
      303,
      81,
      142,
      48,
      1074,
      42,
      235,
      381,
      839,
      235,
      283,
      363,
      519,
      572,
      33,
      554,
      1756,
      125,
      77,
      234,
      44,
      248,
      48,
      43,
      108,
      152,
      85,
      204,
      292,
      423,
      151,
      135,
      470,
      24,
      311,
      191,
      483,
      48,
      285,
      402,
      188,
      666,
      97,
      307,
      260,
      758,
      1304,
      714,
      924,
      636,
      236,
      487,
      426,
      299,
      185,
      174,
      399,
      219,
      322,
      55,
      139,
      48,
      870,
      30,
      242,
      476,
      1076,
      1138,
      487,
      145,
      89,
      82,
      315,
      125,
      176,
      141,
      68,
      161,
      490,
      66,
      78,
      49,
      100,
      59,
      805,
      246,
      308,
      536,
      327,
      96,
      566,
      192,
      459,
      658,
      313,
      83,
      43,
      73,
      172,
      274,
      661,
      1225,
      43,
      54,
      92,
      215,
      925,
      306,
      207,
      171,
      80,
      213,
      62,
      51,
      82,
      307,
      187,
      337,
      385,
      458,
      112,
      296,
      60,
      343,
      152,
      146,
      175,
      625,
      104,
      65,
      179,
      96,
      359,
      308,
      459,
      259,
      459,
      145,
      224,
      116,
      35,
      129,
      2066,
      253,
      1238,
      431,
      202,
      616,
      53,
      184,
      136,
      186,
      188,
      161,
      74,
      238,
      39,
      2100,
      216,
      169,
      600,
      687,
      325,
      806,
      1501,
      466,
      56,
      868,
      1264,
      190,
      203,
      474,
      261,
      246,
      103,
      73,
      583,
      92,
      297,
      879,
      431,
      192,
      294,
      63,
      277,
      464,
      203,
      352,
      93,
      327,
      40,
      75,
      59,
      472,
      640,
      194,
      1769,
      169,
      18,
      526,
      1222,
      420,
      489,
      724,
      282,
      425,
      124,
      174,
      224,
      377,
      567,
      561,
      218,
      147,
      420,
      545,
      265,
      600,
      152,
      788,
      209,
      708,
      225,
      79,
      93,
      100,
      460,
      178
    ]
  },
  "SWE-bench Verified": {
    "benchmark": "SWE-bench Verified",
    "status": "ok",
    "stats": {
      "count": 500,
      "min": 24,
      "max": 6939,
      "mean": 447.716,
      "median": 294.5,
      "p25": 163.0,
      "p75": 539.25,
      "p95": 1266.2999999999997,
      "p99": 2513.989999999999,
      "pct_under_1024": 91.8,
      "pct_under_2048": 98.0,
      "pct_under_4096": 99.6,
      "pct_under_8192": 100.0,
      "pct_under_16384": 100.0,
      "pct_under_32768": 100.0
    },
    "per_problem_tokens": [
      322,
      684,
      469,
      1230,
      2162,
      1418,
      894,
      243,
      508,
      1272,
      444,
      688,
      759,
      436,
      748,
      737,
      35,
      384,
      273,
      502,
      193,
      288,
      560,
      812,
      55,
      209,
      77,
      216,
      406,
      2407,
      85,
      165,
      80,
      182,
      890,
      176,
      181,
      95,
      62,
      154,
      214,
      267,
      1034,
      254,
      74,
      737,
      318,
      188,
      135,
      441,
      44,
      122,
      674,
      1260,
      162,
      78,
      114,
      220,
      478,
      272,
      114,
      354,
      98,
      158,
      261,
      287,
      151,
      500,
      142,
      287,
      66,
      360,
      351,
      179,
      155,
      264,
      226,
      218,
      146,
      122,
      97,
      186,
      264,
      156,
      735,
      234,
      59,
      78,
      183,
      277,
      208,
      670,
      326,
      112,
      666,
      1028,
      396,
      409,
      456,
      292,
      77,
      257,
      560,
      92,
      116,
      354,
      58,
      241,
      289,
      142,
      382,
      283,
      786,
      338,
      251,
      1755,
      110,
      288,
      139,
      123,
      163,
      503,
      192,
      301,
      224,
      203,
      153,
      60,
      373,
      96,
      473,
      433,
      146,
      363,
      884,
      268,
      372,
      283,
      424,
      356,
      309,
      718,
      68,
      120,
      280,
      109,
      425,
      676,
      165,
      155,
      564,
      2355,
      48,
      245,
      78,
      36,
      356,
      63,
      369,
      109,
      122,
      383,
      136,
      299,
      1734,
      82,
      633,
      129,
      299,
      175,
      422,
      209,
      251,
      55,
      282,
      120,
      726,
      88,
      1108,
      55,
      654,
      100,
      357,
      326,
      693,
      292,
      594,
      186,
      321,
      461,
      430,
      92,
      185,
      52,
      497,
      1117,
      314,
      73,
      440,
      154,
      359,
      566,
      309,
      255,
      143,
      83,
      738,
      148,
      189,
      367,
      173,
      181,
      1508,
      33,
      220,
      57,
      53,
      165,
      577,
      346,
      163,
      387,
      567,
      121,
      317,
      131,
      261,
      474,
      64,
      219,
      490,
      125,
      159,
      404,
      361,
      198,
      181,
      67,
      289,
      142,
      424,
      146,
      24,
      97,
      169,
      292,
      985,
      359,
      236,
      171,
      262,
      107,
      91,
      438,
      329,
      520,
      385,
      676,
      636,
      374,
      2513,
      398,
      389,
      470,
      232,
      575,
      1074,
      604,
      881,
      510,
      388,
      134,
      532,
      347,
      421,
      288,
      539,
      206,
      248,
      1731,
      153,
      220,
      2636,
      612,
      984,
      152,
      419,
      262,
      377,
      48,
      78,
      2067,
      205,
      166,
      214,
      79,
      426,
      375,
      655,
      540,
      718,
      596,
      401,
      212,
      719,
      568,
      204,
      865,
      1297,
      1266,
      1234,
      267,
      1602,
      2649,
      440,
      919,
      405,
      918,
      529,
      763,
      240,
      202,
      221,
      147,
      217,
      553,
      817,
      6939,
      282,
      947,
      422,
      702,
      1216,
      1177,
      626,
      796,
      268,
      176,
      862,
      657,
      1137,
      693,
      130,
      207,
      4184,
      1074,
      120,
      125,
      244,
      386,
      580,
      490,
      282,
      1766,
      323,
      129,
      397,
      2612,
      1542,
      975,
      1339,
      374,
      325,
      142,
      821,
      670,
      35,
      585,
      513,
      1639,
      567,
      411,
      606,
      556,
      322,
      1673,
      819,
      460,
      317,
      841,
      936,
      780,
      770,
      1042,
      796,
      783,
      340,
      527,
      1484,
      257,
      751,
      340,
      158,
      85,
      195,
      311,
      318,
      445,
      160,
      447,
      482,
      509,
      316,
      346,
      176,
      94,
      543,
      175,
      186,
      537,
      694,
      144,
      984,
      362,
      125,
      211,
      292,
      138,
      529,
      468,
      354,
      755,
      336,
      236,
      393,
      74,
      176,
      333,
      90,
      262,
      291,
      430,
      354,
      152,
      204,
      66,
      657,
      148,
      228,
      576,
      1319,
      877,
      370,
      186,
      224,
      267,
      241,
      288,
      74,
      227,
      575,
      81,
      142,
      381,
      248,
      85,
      151,
      470,
      48,
      636,
      870,
      1076,
      487,
      308,
      96,
      192,
      215,
      207,
      385,
      146,
      625,
      65,
      96,
      308,
      116,
      1238,
      431,
      184,
      161,
      74,
      466,
      261,
      246,
      297,
      192,
      203,
      75,
      472,
      169,
      282,
      124,
      174,
      561,
      218,
      147,
      265,
      209,
      225,
      79,
      100
    ]
  },
  "LiveCodeBench": {
    "benchmark": "LiveCodeBench",
    "status": "ok",
    "stats": {
      "count": 400,
      "min": 115,
      "max": 1521,
      "mean": 456.51,
      "median": 421.0,
      "p25": 304.75,
      "p75": 557.0,
      "p95": 822.0,
      "p99": 1104.9099999999992,
      "pct_under_1024": 98.25,
      "pct_under_2048": 100.0,
      "pct_under_4096": 100.0,
      "pct_under_8192": 100.0,
      "pct_under_16384": 100.0,
      "pct_under_32768": 100.0
    },
    "per_problem_tokens": [
      330,
      312,
      361,
      347,
      466,
      730,
      700,
      186,
      523,
      607,
      963,
      337,
      563,
      557,
      811,
      558,
      404,
      753,
      758,
      423,
      530,
      392,
      602,
      822,
      295,
      295,
      757,
      649,
      190,
      884,
      457,
      439,
      311,
      1062,
      311,
      402,
      421,
      601,
      299,
      421,
      392,
      467,
      391,
      689,
      618,
      189,
      557,
      500,
      516,
      439,
      319,
      460,
      822,
      1000,
      278,
      429,
      607,
      646,
      700,
      186,
      285,
      697,
      343,
      525,
      770,
      259,
      365,
      607,
      1369,
      283,
      1214,
      712,
      610,
      653,
      458,
      512,
      189,
      625,
      448,
      557,
      501,
      319,
      397,
      286,
      538,
      621,
      927,
      815,
      389,
      634,
      184,
      513,
      160,
      783,
      314,
      650,
      645,
      381,
      562,
      1104,
      447,
      275,
      364,
      572,
      580,
      700,
      423,
      491,
      249,
      490,
      759,
      268,
      740,
      512,
      254,
      545,
      596,
      630,
      253,
      454,
      511,
      196,
      218,
      555,
      372,
      631,
      223,
      451,
      929,
      538,
      189,
      437,
      346,
      644,
      275,
      816,
      633,
      288,
      174,
      359,
      563,
      265,
      340,
      324,
      597,
      520,
      185,
      371,
      230,
      583,
      739,
      714,
      523,
      693,
      1195,
      504,
      534,
      209,
      1022,
      286,
      115,
      671,
      491,
      424,
      440,
      197,
      603,
      448,
      203,
      547,
      167,
      228,
      485,
      233,
      667,
      467,
      960,
      700,
      395,
      628,
      232,
      230,
      352,
      683,
      852,
      326,
      200,
      575,
      457,
      417,
      533,
      403,
      556,
      232,
      894,
      658,
      910,
      292,
      702,
      138,
      1521,
      169,
      466,
      299,
      492,
      733,
      1082,
      226,
      527,
      300,
      703,
      404,
      231,
      435,
      290,
      507,
      688,
      692,
      695,
      619,
      508,
      520,
      386,
      243,
      332,
      360,
      124,
      375,
      508,
      417,
      275,
      334,
      407,
      661,
      279,
      357,
      204,
      358,
      580,
      317,
      224,
      436,
      233,
      342,
      469,
      287,
      484,
      465,
      286,
      378,
      377,
      637,
      328,
      381,
      333,
      462,
      294,
      217,
      353,
      295,
      354,
      508,
      228,
      361,
      351,
      199,
      398,
      313,
      284,
      481,
      533,
      205,
      311,
      603,
      239,
      361,
      326,
      305,
      591,
      201,
      504,
      335,
      385,
      450,
      573,
      390,
      454,
      416,
      525,
      382,
      478,
      498,
      474,
      276,
      373,
      495,
      427,
      621,
      260,
      294,
      395,
      498,
      529,
      287,
      295,
      253,
      446,
      249,
      292,
      262,
      512,
      242,
      268,
      383,
      313,
      525,
      433,
      334,
      555,
      342,
      564,
      327,
      355,
      283,
      277,
      438,
      427,
      573,
      395,
      393,
      239,
      465,
      235,
      546,
      312,
      325,
      330,
      404,
      478,
      473,
      351,
      315,
      349,
      258,
      299,
      235,
      412,
      375,
      272,
      445,
      264,
      549,
      408,
      220,
      304,
      328,
      353,
      311,
      388,
      270,
      300,
      514,
      188,
      418,
      517,
      366,
      345,
      304,
      589,
      372,
      456,
      312,
      292,
      422,
      466,
      461,
      275,
      385,
      379,
      477,
      390,
      458,
      405,
      965,
      630,
      653,
      883,
      708,
      789,
      441,
      504,
      471,
      393,
      224,
      811,
      510,
      287,
      253,
      277,
      356
    ]
  },
  "BigCodeBench": {
    "benchmark": "BigCodeBench",
    "status": "ok",
    "stats": {
      "count": 1140,
      "min": 52,
      "max": 1216,
      "mean": 144.8280701754386,
      "median": 129.0,
      "p25": 102.0,
      "p75": 170.0,
      "p95": 273.0,
      "p99": 363.4399999999996,
      "pct_under_1024": 99.91228070175438,
      "pct_under_2048": 100.0,
      "pct_under_4096": 100.0,
      "pct_under_8192": 100.0,
      "pct_under_16384": 100.0,
      "pct_under_32768": 100.0
    },
    "per_problem_tokens": [
      112,
      112,
      94,
      116,
      124,
      152,
      131,
      164,
      128,
      111,
      166,
      135,
      191,
      321,
      172,
      171,
      125,
      121,
      137,
      111,
      110,
      174,
      123,
      166,
      126,
      80,
      92,
      149,
      95,
      78,
      234,
      162,
      72,
      89,
      100,
      102,
      131,
      175,
      186,
      276,
      146,
      105,
      217,
      141,
      84,
      163,
      112,
      87,
      121,
      202,
      242,
      220,
      88,
      173,
      97,
      184,
      83,
      102,
      96,
      81,
      73,
      239,
      106,
      128,
      145,
      181,
      304,
      113,
      111,
      156,
      179,
      144,
      226,
      213,
      135,
      171,
      149,
      322,
      123,
      119,
      142,
      127,
      237,
      96,
      182,
      235,
      135,
      103,
      118,
      188,
      129,
      125,
      145,
      118,
      249,
      234,
      144,
      105,
      115,
      198,
      156,
      121,
      129,
      127,
      153,
      152,
      175,
      146,
      164,
      150,
      95,
      88,
      133,
      169,
      160,
      147,
      236,
      291,
      106,
      141,
      280,
      153,
      124,
      135,
      297,
      121,
      179,
      136,
      114,
      257,
      129,
      129,
      145,
      148,
      130,
      139,
      159,
      82,
      128,
      142,
      95,
      228,
      172,
      226,
      161,
      77,
      121,
      104,
      73,
      136,
      153,
      126,
      189,
      102,
      95,
      140,
      133,
      128,
      82,
      140,
      251,
      160,
      127,
      100,
      134,
      95,
      181,
      118,
      131,
      135,
      156,
      183,
      82,
      122,
      89,
      198,
      101,
      122,
      108,
      187,
      145,
      77,
      129,
      64,
      415,
      158,
      108,
      155,
      170,
      124,
      159,
      111,
      227,
      299,
      114,
      56,
      140,
      101,
      156,
      282,
      111,
      146,
      93,
      146,
      101,
      139,
      71,
      62,
      177,
      102,
      121,
      76,
      120,
      128,
      121,
      165,
      124,
      169,
      177,
      124,
      105,
      170,
      109,
      182,
      230,
      109,
      108,
      239,
      183,
      138,
      172,
      151,
      130,
      177,
      142,
      163,
      153,
      174,
      147,
      145,
      97,
      116,
      125,
      150,
      139,
      114,
      213,
      173,
      85,
      149,
      111,
      89,
      116,
      111,
      73,
      131,
      142,
      109,
      311,
      127,
      132,
      110,
      82,
      150,
      148,
      108,
      76,
      154,
      143,
      207,
      83,
      157,
      232,
      294,
      232,
      98,
      108,
      129,
      112,
      166,
      151,
      90,
      114,
      116,
      88,
      90,
      122,
      79,
      93,
      122,
      96,
      83,
      114,
      117,
      115,
      120,
      136,
      64,
      230,
      128,
      201,
      135,
      179,
      164,
      184,
      98,
      116,
      109,
      222,
      117,
      117,
      110,
      75,
      115,
      91,
      173,
      100,
      84,
      114,
      115,
      82,
      186,
      112,
      167,
      58,
      126,
      89,
      104,
      119,
      131,
      84,
      105,
      74,
      96,
      83,
      123,
      76,
      178,
      149,
      100,
      138,
      152,
      133,
      170,
      95,
      101,
      119,
      132,
      103,
      127,
      127,
      107,
      214,
      120,
      112,
      205,
      147,
      130,
      118,
      78,
      174,
      166,
      125,
      113,
      114,
      107,
      140,
      134,
      88,
      106,
      133,
      83,
      87,
      117,
      84,
      114,
      109,
      94,
      158,
      86,
      60,
      303,
      119,
      75,
      261,
      180,
      120,
      225,
      81,
      76,
      172,
      100,
      159,
      96,
      73,
      140,
      121,
      99,
      64,
      115,
      157,
      133,
      141,
      146,
      103,
      80,
      144,
      132,
      90,
      117,
      145,
      87,
      196,
      82,
      106,
      113,
      112,
      291,
      211,
      240,
      122,
      150,
      123,
      164,
      265,
      157,
      161,
      175,
      150,
      102,
      179,
      196,
      135,
      146,
      323,
      134,
      117,
      80,
      115,
      106,
      183,
      147,
      180,
      164,
      123,
      150,
      113,
      197,
      109,
      128,
      179,
      138,
      156,
      115,
      150,
      127,
      168,
      147,
      222,
      93,
      202,
      210,
      170,
      156,
      143,
      184,
      134,
      105,
      133,
      171,
      120,
      65,
      113,
      139,
      163,
      157,
      98,
      181,
      88,
      136,
      134,
      97,
      282,
      150,
      198,
      188,
      146,
      206,
      120,
      253,
      77,
      176,
      168,
      196,
      241,
      147,
      165,
      148,
      205,
      127,
      153,
      156,
      183,
      122,
      130,
      117,
      245,
      143,
      150,
      241,
      132,
      144,
      155,
      207,
      105,
      150,
      182,
      137,
      146,
      110,
      148,
      160,
      183,
      113,
      143,
      163,
      117,
      189,
      126,
      145,
      250,
      128,
      212,
      234,
      160,
      171,
      70,
      137,
      98,
      177,
      121,
      175,
      156,
      71,
      70,
      105,
      97,
      75,
      78,
      93,
      95,
      99,
      89,
      165,
      139,
      109,
      127,
      157,
      102,
      121,
      109,
      71,
      193,
      99,
      128,
      112,
      109,
      130,
      131,
      120,
      90,
      209,
      88,
      125,
      90,
      103,
      120,
      148,
      129,
      171,
      195,
      94,
      77,
      185,
      191,
      156,
      152,
      160,
      158,
      140,
      213,
      148,
      115,
      171,
      130,
      117,
      96,
      90,
      103,
      92,
      98,
      115,
      85,
      88,
      147,
      89,
      56,
      127,
      119,
      118,
      152,
      127,
      210,
      160,
      110,
      114,
      191,
      174,
      159,
      158,
      95,
      87,
      98,
      91,
      102,
      85,
      114,
      140,
      101,
      88,
      91,
      111,
      79,
      118,
      152,
      135,
      137,
      134,
      102,
      97,
      191,
      120,
      107,
      139,
      69,
      89,
      105,
      79,
      72,
      133,
      84,
      104,
      177,
      104,
      85,
      229,
      182,
      118,
      192,
      87,
      101,
      123,
      81,
      120,
      81,
      74,
      100,
      63,
      70,
      71,
      76,
      88,
      73,
      97,
      91,
      76,
      121,
      90,
      105,
      87,
      73,
      80,
      69,
      75,
      102,
      72,
      77,
      109,
      66,
      77,
      90,
      77,
      88,
      82,
      59,
      64,
      72,
      82,
      95,
      135,
      63,
      62,
      81,
      90,
      91,
      80,
      84,
      95,
      78,
      92,
      56,
      57,
      64,
      113,
      119,
      109,
      147,
      111,
      114,
      63,
      96,
      110,
      87,
      90,
      77,
      86,
      139,
      140,
      131,
      88,
      78,
      133,
      87,
      54,
      95,
      59,
      54,
      52,
      66,
      104,
      83,
      76,
      120,
      105,
      183,
      85,
      228,
      85,
      509,
      66,
      244,
      73,
      271,
      81,
      208,
      65,
      93,
      60,
      238,
      89,
      577,
      116,
      250,
      104,
      1216,
      83,
      99,
      86,
      141,
      67,
      195,
      121,
      210,
      102,
      184,
      103,
      212,
      96,
      341,
      121,
      162,
      87,
      234,
      61,
      338,
      81,
      273,
      158,
      208,
      82,
      186,
      128,
      203,
      111,
      171,
      157,
      109,
      139,
      137,
      248,
      207,
      102,
      110,
      101,
      137,
      256,
      108,
      254,
      95,
      145,
      134,
      212,
      131,
      210,
      116,
      206,
      201,
      351,
      70,
      264,
      84,
      190,
      116,
      82,
      67,
      140,
      129,
      135,
      191,
      228,
      128,
      156,
      73,
      290,
      75,
      164,
      150,
      271,
      133,
      202,
      133,
      205,
      365,
      155,
      382,
      254,
      231,
      81,
      199,
      92,
      125,
      67,
      150,
      118,
      179,
      126,
      222,
      105,
      173,
      139,
      210,
      135,
      359,
      108,
      205,
      133,
      211,
      180,
      254,
      240,
      300,
      247,
      173,
      271,
      185,
      196,
      310,
      303,
      213,
      287,
      326,
      132,
      116,
      163,
      338,
      370,
      146,
      282,
      88,
      120,
      141,
      175,
      71,
      79,
      153,
      152,
      101,
      170,
      91,
      125,
      109,
      210,
      83,
      148,
      115,
      156,
      94,
      76,
      130,
      136,
      211,
      117,
      76,
      168,
      124,
      206,
      152,
      125,
      83,
      161,
      76,
      86,
      495,
      128,
      92,
      99,
      107,
      104,
      110,
      102,
      138,
      80,
      138,
      94,
      79,
      150,
      154,
      83,
      103,
      87,
      79,
      140,
      159,
      141,
      140,
      118,
      93,
      113,
      105,
      103,
      121,
      187,
      162,
      239,
      170,
      131,
      121,
      109,
      91,
      114,
      125,
      114,
      148,
      130,
      165,
      113,
      187,
      122,
      111,
      129,
      186,
      198,
      156,
      182,
      108,
      109,
      180,
      165,
      156,
      121,
      145,
      209,
      100,
      113,
      114,
      182,
      128,
      219,
      136,
      151,
      309,
      77,
      106,
      127,
      357,
      228,
      142,
      181,
      169,
      191,
      118,
      175,
      169,
      198,
      187,
      196,
      284,
      279,
      380,
      209,
      210,
      335,
      135,
      111,
      174,
      273,
      147,
      182,
      258,
      153,
      238,
      123,
      199,
      123,
      278,
      93,
      347,
      124,
      217,
      106,
      72,
      153,
      308,
      140,
      161,
      162,
      162,
      279,
      71,
      160,
      110,
      136,
      129,
      361,
      197,
      254,
      105,
      92,
      74,
      179,
      122,
      265,
      214,
      370,
      331,
      199,
      305,
      203,
      227,
      232,
      342,
      346,
      284,
      149,
      128,
      88,
      272,
      175,
      143,
      87,
      199,
      236,
      196,
      129,
      149,
      157,
      192,
      208,
      198,
      301,
      121,
      222,
      144,
      311,
      248,
      99,
      167,
      122,
      105,
      130,
      114,
      118,
      124,
      109,
      121,
      123,
      106,
      390,
      76,
      414,
      250,
      68,
      86,
      90,
      170,
      144,
      109,
      103,
      62,
      79,
      75,
      153,
      158,
      63,
      91,
      78,
      103,
      149,
      104,
      86,
      123,
      123,
      114,
      151,
      146,
      108,
      76,
      106,
      144,
      150,
      98,
      97,
      119,
      110,
      143,
      126,
      171,
      83,
      121,
      139
    ]
  },
  "APPS": {
    "benchmark": "APPS",
    "status": "ok",
    "stats": {
      "count": 5000,
      "min": 36,
      "max": 1815,
      "mean": 477.2582,
      "median": 456.5,
      "p25": 331.0,
      "p75": 591.0,
      "p95": 865.0,
      "p99": 1103.0100000000002,
      "pct_under_1024": 98.46000000000001,
      "pct_under_2048": 100.0,
      "pct_under_4096": 100.0,
      "pct_under_8192": 100.0,
      "pct_under_16384": 100.0,
      "pct_under_32768": 100.0
    },
    "per_problem_tokens": [
      317,
      152,
      197,
      325,
      404,
      513,
      641,
      697,
      862,
      1015,
      213,
      280,
      366,
      643,
      665,
      356,
      408,
      642,
      165,
      812,
      357,
      360,
      190,
      207,
      301,
      212,
      639,
      307,
      750,
      251,
      424,
      527,
      602,
      200,
      403,
      389,
      183,
      305,
      617,
      487,
      553,
      274,
      365,
      319,
      489,
      173,
      426,
      446,
      274,
      148,
      546,
      807,
      415,
      353,
      360,
      706,
      412,
      354,
      335,
      377,
      651,
      561,
      450,
      449,
      311,
      210,
      495,
      486,
      695,
      507,
      381,
      798,
      752,
      452,
      248,
      374,
      492,
      232,
      887,
      435,
      383,
      287,
      698,
      543,
      563,
      672,
      430,
      463,
      335,
      202,
      536,
      553,
      357,
      419,
      357,
      419,
      559,
      551,
      387,
      644,
      686,
      511,
      228,
      542,
      384,
      617,
      1331,
      199,
      250,
      515,
      524,
      204,
      383,
      189,
      749,
      302,
      308,
      495,
      415,
      385,
      412,
      480,
      318,
      684,
      532,
      464,
      373,
      656,
      409,
      385,
      421,
      602,
      474,
      657,
      336,
      273,
      264,
      762,
      412,
      356,
      738,
      268,
      451,
      426,
      305,
      356,
      609,
      496,
      756,
      389,
      332,
      437,
      877,
      452,
      459,
      409,
      267,
      410,
      361,
      294,
      305,
      671,
      414,
      600,
      1056,
      567,
      623,
      298,
      530,
      435,
      448,
      264,
      490,
      406,
      704,
      317,
      118,
      147,
      384,
      577,
      503,
      631,
      345,
      292,
      392,
      627,
      316,
      625,
      555,
      458,
      570,
      615,
      441,
      411,
      547,
      602,
      408,
      538,
      367,
      463,
      479,
      384,
      297,
      571,
      552,
      551,
      441,
      449,
      364,
      263,
      449,
      482,
      249,
      548,
      376,
      358,
      320,
      644,
      336,
      618,
      202,
      635,
      317,
      433,
      275,
      287,
      415,
      472,
      376,
      348,
      319,
      474,
      345,
      524,
      428,
      559,
      271,
      363,
      626,
      268,
      277,
      463,
      234,
      651,
      455,
      367,
      290,
      281,
      496,
      791,
      460,
      398,
      556,
      517,
      189,
      355,
      620,
      438,
      505,
      586,
      195,
      498,
      741,
      466,
      424,
      861,
      180,
      460,
      539,
      606,
      532,
      244,
      407,
      325,
      574,
      411,
      358,
      482,
      527,
      428,
      616,
      382,
      492,
      297,
      358,
      582,
      444,
      293,
      436,
      378,
      478,
      393,
      506,
      355,
      566,
      403,
      639,
      365,
      347,
      469,
      550,
      236,
      111,
      443,
      471,
      513,
      224,
      371,
      333,
      257,
      687,
      889,
      432,
      556,
      447,
      599,
      250,
      193,
      246,
      415,
      435,
      532,
      264,
      391,
      213,
      633,
      383,
      363,
      249,
      256,
      330,
      631,
      1040,
      311,
      300,
      196,
      958,
      703,
      483,
      384,
      355,
      574,
      321,
      743,
      354,
      695,
      566,
      643,
      493,
      713,
      277,
      521,
      749,
      575,
      379,
      681,
      539,
      217,
      240,
      477,
      579,
      410,
      365,
      219,
      569,
      384,
      304,
      267,
      581,
      500,
      534,
      586,
      232,
      336,
      535,
      381,
      881,
      553,
      455,
      490,
      257,
      382,
      526,
      335,
      430,
      870,
      458,
      364,
      820,
      354,
      614,
      276,
      282,
      297,
      867,
      324,
      293,
      725,
      299,
      260,
      826,
      330,
      466,
      1020,
      290,
      403,
      477,
      517,
      351,
      208,
      1106,
      359,
      510,
      259,
      536,
      350,
      427,
      352,
      479,
      340,
      430,
      270,
      661,
      561,
      396,
      641,
      307,
      445,
      699,
      563,
      318,
      639,
      843,
      345,
      613,
      259,
      938,
      418,
      183,
      261,
      301,
      484,
      305,
      470,
      519,
      368,
      230,
      450,
      451,
      252,
      394,
      545,
      387,
      519,
      228,
      1030,
      395,
      594,
      290,
      400,
      819,
      534,
      295,
      356,
      451,
      540,
      302,
      434,
      442,
      306,
      451,
      399,
      303,
      313,
      251,
      411,
      160,
      655,
      668,
      569,
      682,
      197,
      370,
      540,
      396,
      385,
      221,
      560,
      379,
      375,
      378,
      377,
      440,
      537,
      491,
      175,
      335,
      584,
      507,
      380,
      529,
      539,
      322,
      456,
      489,
      578,
      298,
      713,
      608,
      468,
      557,
      191,
      491,
      374,
      545,
      286,
      433,
      478,
      376,
      503,
      372,
      451,
      285,
      470,
      429,
      559,
      623,
      343,
      534,
      85,
      548,
      817,
      459,
      636,
      401,
      469,
      344,
      360,
      203,
      243,
      657,
      287,
      477,
      581,
      746,
      281,
      659,
      685,
      267,
      277,
      627,
      401,
      670,
      382,
      738,
      166,
      339,
      491,
      251,
      365,
      305,
      448,
      283,
      469,
      348,
      488,
      262,
      436,
      375,
      358,
      267,
      511,
      756,
      400,
      406,
      750,
      256,
      517,
      457,
      664,
      820,
      420,
      390,
      722,
      578,
      555,
      367,
      330,
      487,
      734,
      529,
      482,
      331,
      550,
      442,
      232,
      267,
      624,
      601,
      389,
      482,
      625,
      56,
      275,
      347,
      359,
      468,
      910,
      656,
      332,
      462,
      565,
      453,
      270,
      359,
      313,
      359,
      322,
      336,
      622,
      332,
      556,
      401,
      523,
      486,
      157,
      561,
      397,
      483,
      760,
      606,
      430,
      747,
      424,
      616,
      722,
      363,
      573,
      840,
      409,
      271,
      433,
      343,
      432,
      601,
      492,
      725,
      466,
      316,
      646,
      110,
      575,
      160,
      879,
      386,
      850,
      585,
      342,
      619,
      428,
      390,
      498,
      426,
      291,
      248,
      618,
      285,
      273,
      628,
      341,
      483,
      207,
      378,
      109,
      407,
      628,
      656,
      265,
      298,
      431,
      542,
      500,
      457,
      45,
      483,
      750,
      412,
      337,
      267,
      401,
      468,
      358,
      476,
      470,
      418,
      76,
      236,
      573,
      657,
      245,
      427,
      542,
      456,
      405,
      1039,
      600,
      251,
      891,
      785,
      240,
      521,
      229,
      370,
      368,
      360,
      516,
      539,
      349,
      381,
      130,
      446,
      370,
      344,
      660,
      403,
      448,
      518,
      538,
      477,
      333,
      395,
      265,
      272,
      416,
      448,
      465,
      252,
      197,
      440,
      310,
      512,
      789,
      370,
      292,
      450,
      322,
      516,
      595,
      314,
      135,
      272,
      307,
      583,
      386,
      204,
      236,
      336,
      558,
      466,
      490,
      261,
      360,
      556,
      634,
      371,
      405,
      262,
      341,
      248,
      212,
      451,
      339,
      291,
      529,
      198,
      637,
      502,
      281,
      649,
      353,
      920,
      578,
      553,
      432,
      382,
      262,
      580,
      296,
      86,
      255,
      657,
      351,
      477,
      427,
      301,
      257,
      275,
      724,
      403,
      395,
      420,
      336,
      463,
      283,
      282,
      542,
      348,
      576,
      220,
      356,
      264,
      250,
      586,
      391,
      379,
      400,
      442,
      660,
      199,
      610,
      323,
      487,
      323,
      303,
      646,
      233,
      320,
      217,
      399,
      667,
      637,
      798,
      512,
      461,
      730,
      633,
      927,
      233,
      263,
      742,
      365,
      508,
      255,
      337,
      260,
      267,
      492,
      378,
      391,
      219,
      275,
      550,
      1571,
      304,
      645,
      771,
      485,
      469,
      203,
      542,
      1148,
      496,
      705,
      506,
      532,
      346,
      239,
      560,
      209,
      349,
      426,
      538,
      336,
      358,
      275,
      546,
      307,
      535,
      622,
      334,
      661,
      487,
      408,
      432,
      472,
      484,
      330,
      214,
      444,
      332,
      421,
      621,
      321,
      521,
      357,
      335,
      457,
      780,
      203,
      586,
      186,
      634,
      350,
      454,
      200,
      426,
      313,
      494,
      563,
      297,
      491,
      1104,
      628,
      839,
      381,
      225,
      724,
      692,
      707,
      635,
      731,
      442,
      549,
      488,
      487,
      428,
      946,
      325,
      276,
      574,
      439,
      547,
      488,
      266,
      564,
      476,
      334,
      525,
      741,
      548,
      410,
      503,
      580,
      240,
      475,
      440,
      340,
      454,
      340,
      247,
      542,
      207,
      774,
      707,
      356,
      499,
      814,
      177,
      443,
      303,
      437,
      539,
      522,
      481,
      520,
      322,
      155,
      526,
      673,
      518,
      448,
      447,
      284,
      578,
      531,
      505,
      561,
      911,
      419,
      531,
      425,
      289,
      591,
      421,
      620,
      376,
      652,
      360,
      608,
      386,
      378,
      705,
      436,
      357,
      544,
      341,
      897,
      438,
      329,
      648,
      538,
      603,
      555,
      290,
      1098,
      720,
      390,
      326,
      268,
      506,
      319,
      358,
      377,
      644,
      683,
      809,
      436,
      323,
      720,
      295,
      351,
      550,
      977,
      950,
      523,
      349,
      675,
      472,
      306,
      610,
      453,
      472,
      939,
      722,
      755,
      293,
      663,
      302,
      284,
      536,
      168,
      355,
      204,
      644,
      872,
      205,
      465,
      249,
      336,
      402,
      319,
      386,
      165,
      249,
      300,
      362,
      1815,
      549,
      681,
      548,
      389,
      396,
      513,
      318,
      620,
      605,
      287,
      510,
      352,
      190,
      296,
      384,
      362,
      277,
      536,
      296,
      465,
      601,
      595,
      308,
      300,
      69,
      328,
      288,
      499,
      224,
      475,
      362,
      510,
      494,
      396,
      302,
      285,
      1454,
      422,
      561,
      162,
      643,
      400,
      548,
      335,
      483,
      546,
      503,
      801,
      396,
      604,
      625,
      257,
      560,
      389,
      888,
      477,
      898,
      555,
      665,
      499,
      359,
      530,
      439,
      375,
      316,
      608,
      299,
      377,
      385,
      212,
      554,
      223,
      160,
      508,
      365,
      696,
      379,
      416,
      512,
      175,
      554,
      398,
      682,
      348,
      391,
      907,
      635,
      483,
      288,
      326,
      419,
      512,
      348,
      553,
      652,
      1005,
      705,
      621,
      473,
      599,
      342,
      586,
      644,
      534,
      293,
      699,
      298,
      494,
      314,
      654,
      708,
      630,
      362,
      410,
      481,
      488,
      440,
      272,
      318,
      332,
      430,
      396,
      398,
      406,
      611,
      450,
      614,
      217,
      334,
      240,
      418,
      503,
      472,
      562,
      562,
      604,
      477,
      694,
      337,
      780,
      453,
      490,
      575,
      268,
      597,
      656,
      295,
      787,
      270,
      644,
      533,
      603,
      515,
      874,
      391,
      447,
      676,
      639,
      174,
      363,
      254,
      405,
      389,
      366,
      415,
      223,
      288,
      194,
      268,
      295,
      142,
      615,
      496,
      577,
      249,
      506,
      473,
      906,
      737,
      495,
      462,
      414,
      349,
      713,
      291,
      521,
      176,
      267,
      443,
      827,
      252,
      391,
      1038,
      358,
      415,
      645,
      365,
      583,
      433,
      291,
      399,
      808,
      616,
      1146,
      364,
      1187,
      575,
      383,
      372,
      621,
      332,
      347,
      639,
      184,
      696,
      395,
      300,
      321,
      201,
      213,
      459,
      592,
      492,
      479,
      720,
      508,
      483,
      427,
      547,
      585,
      408,
      606,
      959,
      397,
      513,
      600,
      382,
      488,
      416,
      523,
      419,
      331,
      618,
      362,
      408,
      322,
      519,
      949,
      254,
      343,
      281,
      655,
      347,
      272,
      403,
      340,
      296,
      1010,
      596,
      526,
      499,
      562,
      308,
      389,
      369,
      578,
      364,
      337,
      454,
      170,
      572,
      466,
      217,
      1034,
      474,
      353,
      288,
      430,
      874,
      877,
      705,
      320,
      342,
      578,
      421,
      278,
      651,
      188,
      387,
      822,
      547,
      466,
      880,
      368,
      185,
      447,
      245,
      468,
      305,
      283,
      366,
      472,
      519,
      620,
      604,
      685,
      1002,
      579,
      554,
      278,
      230,
      341,
      226,
      358,
      138,
      333,
      479,
      451,
      273,
      815,
      581,
      688,
      707,
      447,
      285,
      524,
      767,
      369,
      700,
      366,
      598,
      768,
      1011,
      436,
      524,
      197,
      469,
      350,
      390,
      455,
      574,
      487,
      375,
      782,
      494,
      394,
      723,
      384,
      304,
      310,
      478,
      327,
      354,
      867,
      490,
      529,
      399,
      661,
      659,
      517,
      399,
      283,
      387,
      349,
      767,
      466,
      714,
      371,
      501,
      499,
      252,
      599,
      292,
      361,
      460,
      478,
      509,
      428,
      446,
      392,
      385,
      570,
      354,
      467,
      703,
      603,
      725,
      576,
      575,
      725,
      430,
      556,
      770,
      419,
      280,
      662,
      579,
      591,
      625,
      817,
      443,
      533,
      473,
      506,
      516,
      260,
      414,
      535,
      679,
      502,
      708,
      677,
      511,
      314,
      326,
      449,
      447,
      448,
      502,
      308,
      644,
      696,
      864,
      413,
      200,
      410,
      588,
      403,
      530,
      396,
      336,
      682,
      322,
      546,
      458,
      657,
      419,
      396,
      379,
      716,
      349,
      796,
      514,
      1352,
      576,
      45,
      607,
      987,
      535,
      430,
      568,
      458,
      654,
      457,
      587,
      232,
      478,
      973,
      338,
      881,
      424,
      342,
      460,
      657,
      279,
      681,
      507,
      368,
      344,
      245,
      326,
      332,
      335,
      258,
      517,
      391,
      381,
      221,
      400,
      698,
      706,
      318,
      429,
      608,
      480,
      457,
      855,
      323,
      885,
      640,
      574,
      435,
      686,
      269,
      800,
      472,
      554,
      422,
      780,
      489,
      710,
      356,
      344,
      373,
      406,
      685,
      536,
      490,
      373,
      543,
      455,
      481,
      954,
      184,
      547,
      304,
      396,
      550,
      746,
      411,
      364,
      203,
      318,
      406,
      161,
      233,
      277,
      237,
      171,
      169,
      280,
      614,
      505,
      654,
      701,
      733,
      507,
      537,
      397,
      623,
      564,
      617,
      366,
      532,
      702,
      444,
      579,
      717,
      420,
      777,
      258,
      316,
      437,
      305,
      578,
      449,
      1005,
      451,
      426,
      369,
      597,
      656,
      683,
      222,
      351,
      521,
      540,
      498,
      468,
      594,
      505,
      573,
      720,
      824,
      554,
      563,
      507,
      621,
      413,
      895,
      817,
      654,
      275,
      424,
      761,
      488,
      628,
      482,
      535,
      335,
      617,
      448,
      190,
      326,
      155,
      159,
      491,
      325,
      274,
      457,
      597,
      346,
      557,
      495,
      775,
      343,
      362,
      506,
      322,
      447,
      562,
      506,
      1109,
      558,
      497,
      375,
      428,
      876,
      385,
      770,
      394,
      426,
      220,
      441,
      447,
      498,
      752,
      497,
      608,
      721,
      230,
      728,
      598,
      462,
      389,
      382,
      658,
      703,
      440,
      428,
      477,
      504,
      206,
      668,
      662,
      1430,
      460,
      731,
      547,
      588,
      693,
      1490,
      922,
      409,
      327,
      433,
      480,
      441,
      685,
      414,
      227,
      303,
      260,
      554,
      309,
      708,
      629,
      487,
      272,
      260,
      514,
      648,
      635,
      498,
      347,
      547,
      838,
      405,
      249,
      365,
      921,
      425,
      582,
      569,
      528,
      751,
      572,
      874,
      681,
      346,
      307,
      545,
      695,
      653,
      663,
      532,
      959,
      804,
      471,
      702,
      261,
      555,
      509,
      533,
      513,
      531,
      411,
      567,
      482,
      380,
      564,
      782,
      298,
      475,
      911,
      444,
      560,
      134,
      470,
      555,
      432,
      647,
      366,
      355,
      1156,
      565,
      477,
      495,
      719,
      477,
      380,
      178,
      338,
      471,
      741,
      884,
      493,
      476,
      309,
      308,
      520,
      332,
      856,
      565,
      523,
      616,
      480,
      335,
      449,
      703,
      198,
      477,
      539,
      211,
      330,
      313,
      312,
      884,
      668,
      485,
      314,
      325,
      326,
      519,
      371,
      898,
      661,
      540,
      499,
      277,
      579,
      705,
      359,
      419,
      408,
      747,
      502,
      274,
      689,
      593,
      327,
      871,
      630,
      485,
      381,
      238,
      211,
      342,
      576,
      524,
      670,
      319,
      267,
      392,
      379,
      522,
      611,
      639,
      903,
      552,
      173,
      351,
      183,
      138,
      501,
      642,
      505,
      211,
      406,
      644,
      319,
      667,
      320,
      534,
      639,
      238,
      364,
      292,
      303,
      692,
      523,
      412,
      472,
      310,
      554,
      710,
      660,
      781,
      128,
      110,
      572,
      547,
      442,
      355,
      633,
      434,
      265,
      577,
      487,
      290,
      498,
      234,
      546,
      420,
      607,
      590,
      650,
      538,
      734,
      220,
      697,
      864,
      767,
      377,
      498,
      430,
      453,
      472,
      322,
      479,
      699,
      404,
      243,
      446,
      552,
      249,
      306,
      379,
      213,
      522,
      850,
      719,
      374,
      650,
      474,
      547,
      428,
      403,
      1050,
      286,
      564,
      559,
      314,
      541,
      386,
      564,
      807,
      273,
      397,
      802,
      878,
      442,
      390,
      496,
      709,
      1079,
      272,
      483,
      677,
      694,
      518,
      475,
      486,
      646,
      512,
      516,
      406,
      570,
      592,
      331,
      497,
      554,
      543,
      628,
      357,
      386,
      665,
      678,
      339,
      413,
      480,
      1008,
      768,
      495,
      637,
      359,
      405,
      699,
      494,
      396,
      515,
      727,
      283,
      865,
      628,
      872,
      504,
      389,
      382,
      774,
      635,
      503,
      564,
      257,
      718,
      716,
      485,
      345,
      640,
      468,
      460,
      592,
      833,
      507,
      1385,
      500,
      633,
      230,
      488,
      866,
      351,
      492,
      448,
      579,
      581,
      646,
      646,
      425,
      334,
      475,
      527,
      415,
      557,
      535,
      1165,
      1309,
      1469,
      552,
      772,
      640,
      465,
      575,
      279,
      312,
      1191,
      415,
      317,
      665,
      293,
      487,
      522,
      544,
      503,
      362,
      686,
      463,
      592,
      284,
      722,
      601,
      476,
      479,
      490,
      277,
      522,
      652,
      435,
      223,
      969,
      446,
      1384,
      465,
      545,
      473,
      560,
      459,
      711,
      434,
      466,
      482,
      916,
      450,
      637,
      437,
      325,
      840,
      1548,
      305,
      582,
      510,
      218,
      568,
      510,
      413,
      494,
      939,
      513,
      772,
      482,
      529,
      615,
      481,
      921,
      607,
      757,
      711,
      373,
      327,
      813,
      511,
      678,
      580,
      387,
      946,
      560,
      630,
      486,
      734,
      570,
      627,
      432,
      624,
      474,
      607,
      638,
      127,
      423,
      909,
      493,
      936,
      702,
      497,
      518,
      654,
      598,
      806,
      575,
      587,
      728,
      790,
      834,
      458,
      456,
      350,
      593,
      794,
      592,
      252,
      412,
      1008,
      1391,
      452,
      733,
      769,
      650,
      387,
      492,
      351,
      761,
      1151,
      411,
      592,
      397,
      772,
      684,
      906,
      176,
      492,
      497,
      443,
      317,
      489,
      562,
      263,
      320,
      544,
      304,
      337,
      516,
      997,
      312,
      696,
      643,
      229,
      562,
      606,
      285,
      455,
      665,
      322,
      667,
      604,
      318,
      305,
      556,
      475,
      898,
      962,
      470,
      319,
      463,
      693,
      456,
      394,
      500,
      539,
      830,
      595,
      335,
      440,
      476,
      535,
      373,
      430,
      724,
      126,
      559,
      605,
      733,
      536,
      914,
      534,
      342,
      464,
      857,
      752,
      341,
      492,
      617,
      907,
      401,
      365,
      379,
      296,
      739,
      830,
      440,
      423,
      562,
      467,
      562,
      198,
      504,
      534,
      532,
      186,
      936,
      558,
      327,
      551,
      371,
      351,
      828,
      865,
      590,
      672,
      523,
      605,
      701,
      397,
      482,
      582,
      482,
      176,
      708,
      358,
      1058,
      608,
      504,
      677,
      219,
      528,
      406,
      704,
      348,
      345,
      741,
      645,
      598,
      391,
      674,
      662,
      460,
      633,
      202,
      402,
      539,
      471,
      1008,
      710,
      302,
      590,
      649,
      510,
      295,
      699,
      712,
      688,
      268,
      925,
      648,
      388,
      585,
      738,
      446,
      1028,
      273,
      489,
      464,
      453,
      1098,
      816,
      794,
      1132,
      730,
      585,
      729,
      1012,
      287,
      667,
      790,
      529,
      642,
      840,
      469,
      1036,
      1005,
      362,
      338,
      532,
      552,
      441,
      959,
      839,
      617,
      572,
      466,
      466,
      429,
      842,
      583,
      726,
      772,
      656,
      492,
      595,
      928,
      626,
      461,
      996,
      594,
      94,
      560,
      578,
      438,
      947,
      716,
      600,
      429,
      394,
      678,
      703,
      527,
      591,
      619,
      416,
      211,
      748,
      232,
      260,
      266,
      490,
      304,
      452,
      333,
      421,
      227,
      609,
      267,
      247,
      365,
      465,
      352,
      297,
      216,
      434,
      288,
      202,
      372,
      301,
      215,
      495,
      424,
      577,
      507,
      468,
      868,
      621,
      512,
      395,
      447,
      872,
      567,
      570,
      694,
      921,
      618,
      154,
      747,
      878,
      836,
      496,
      1591,
      777,
      497,
      321,
      962,
      146,
      121,
      461,
      550,
      735,
      391,
      493,
      581,
      509,
      365,
      642,
      559,
      407,
      554,
      490,
      355,
      320,
      891,
      57,
      397,
      343,
      538,
      1160,
      428,
      508,
      1042,
      736,
      625,
      572,
      327,
      661,
      448,
      373,
      485,
      744,
      352,
      824,
      528,
      581,
      442,
      655,
      507,
      650,
      760,
      417,
      480,
      807,
      340,
      779,
      434,
      348,
      370,
      75,
      124,
      117,
      91,
      310,
      419,
      401,
      335,
      449,
      612,
      311,
      373,
      238,
      404,
      236,
      651,
      417,
      438,
      453,
      332,
      407,
      520,
      376,
      191,
      317,
      519,
      277,
      473,
      103,
      289,
      303,
      475,
      327,
      433,
      319,
      368,
      453,
      349,
      617,
      547,
      485,
      547,
      649,
      175,
      276,
      326,
      542,
      574,
      362,
      288,
      370,
      422,
      383,
      240,
      670,
      280,
      294,
      314,
      365,
      432,
      419,
      286,
      276,
      242,
      937,
      612,
      481,
      589,
      630,
      614,
      880,
      715,
      438,
      287,
      400,
      177,
      418,
      896,
      724,
      422,
      697,
      704,
      489,
      622,
      477,
      412,
      1257,
      412,
      499,
      1029,
      527,
      592,
      877,
      1070,
      678,
      631,
      429,
      520,
      346,
      762,
      584,
      816,
      299,
      707,
      658,
      591,
      428,
      537,
      535,
      269,
      714,
      532,
      400,
      268,
      824,
      414,
      257,
      465,
      899,
      319,
      452,
      611,
      744,
      434,
      687,
      552,
      534,
      490,
      470,
      693,
      679,
      513,
      486,
      243,
      695,
      580,
      811,
      503,
      444,
      620,
      667,
      508,
      957,
      973,
      910,
      1310,
      594,
      696,
      649,
      405,
      679,
      887,
      1236,
      724,
      950,
      851,
      479,
      801,
      624,
      376,
      346,
      89,
      226,
      64,
      197,
      251,
      104,
      370,
      86,
      155,
      520,
      55,
      126,
      77,
      444,
      324,
      319,
      611,
      450,
      437,
      583,
      318,
      311,
      233,
      757,
      371,
      285,
      591,
      410,
      364,
      186,
      357,
      280,
      193,
      452,
      538,
      222,
      346,
      1164,
      283,
      817,
      293,
      496,
      305,
      442,
      535,
      98,
      335,
      101,
      739,
      389,
      283,
      548,
      671,
      523,
      315,
      865,
      621,
      421,
      420,
      1008,
      648,
      710,
      450,
      268,
      274,
      342,
      346,
      1199,
      392,
      473,
      96,
      637,
      351,
      222,
      588,
      878,
      501,
      490,
      544,
      446,
      381,
      238,
      738,
      426,
      349,
      349,
      655,
      567,
      255,
      544,
      405,
      402,
      1330,
      338,
      671,
      627,
      845,
      551,
      747,
      514,
      533,
      556,
      275,
      613,
      446,
      463,
      1014,
      289,
      822,
      533,
      752,
      656,
      333,
      391,
      347,
      470,
      543,
      640,
      149,
      195,
      121,
      112,
      372,
      342,
      401,
      578,
      505,
      461,
      552,
      801,
      719,
      1143,
      568,
      378,
      358,
      449,
      559,
      637,
      758,
      362,
      353,
      457,
      511,
      405,
      614,
      644,
      642,
      863,
      539,
      363,
      642,
      364,
      737,
      458,
      376,
      558,
      564,
      482,
      506,
      335,
      762,
      489,
      480,
      722,
      379,
      689,
      413,
      730,
      546,
      502,
      217,
      776,
      696,
      705,
      649,
      527,
      355,
      400,
      176,
      651,
      386,
      527,
      511,
      545,
      548,
      435,
      570,
      774,
      209,
      484,
      746,
      332,
      702,
      540,
      370,
      512,
      392,
      477,
      475,
      614,
      685,
      505,
      336,
      354,
      385,
      529,
      323,
      128,
      326,
      367,
      632,
      366,
      809,
      376,
      494,
      568,
      273,
      494,
      313,
      245,
      539,
      543,
      486,
      290,
      318,
      570,
      365,
      694,
      469,
      318,
      214,
      352,
      576,
      554,
      653,
      635,
      350,
      931,
      634,
      305,
      906,
      430,
      304,
      638,
      490,
      400,
      269,
      507,
      418,
      310,
      256,
      278,
      361,
      362,
      220,
      58,
      117,
      183,
      151,
      310,
      559,
      799,
      732,
      620,
      596,
      581,
      216,
      410,
      609,
      291,
      537,
      576,
      443,
      304,
      801,
      731,
      336,
      536,
      477,
      371,
      391,
      248,
      390,
      425,
      709,
      491,
      498,
      353,
      492,
      704,
      649,
      444,
      1225,
      458,
      532,
      299,
      533,
      485,
      772,
      611,
      603,
      532,
      433,
      270,
      392,
      205,
      229,
      315,
      644,
      722,
      399,
      475,
      352,
      1151,
      754,
      251,
      340,
      506,
      684,
      440,
      562,
      487,
      482,
      339,
      407,
      215,
      325,
      549,
      444,
      477,
      261,
      599,
      508,
      216,
      767,
      478,
      142,
      345,
      570,
      323,
      409,
      494,
      607,
      376,
      340,
      277,
      421,
      800,
      526,
      609,
      688,
      591,
      546,
      738,
      428,
      307,
      427,
      416,
      389,
      528,
      726,
      541,
      613,
      631,
      383,
      388,
      535,
      272,
      477,
      516,
      335,
      574,
      557,
      781,
      544,
      852,
      467,
      418,
      570,
      626,
      674,
      511,
      599,
      396,
      259,
      1103,
      664,
      567,
      717,
      721,
      253,
      426,
      424,
      540,
      617,
      327,
      644,
      257,
      662,
      290,
      590,
      480,
      508,
      517,
      723,
      856,
      278,
      867,
      563,
      808,
      791,
      1101,
      292,
      184,
      420,
      359,
      522,
      789,
      542,
      681,
      711,
      682,
      454,
      1093,
      1399,
      762,
      416,
      795,
      503,
      415,
      555,
      675,
      939,
      508,
      879,
      595,
      510,
      391,
      691,
      538,
      415,
      414,
      411,
      521,
      478,
      288,
      687,
      390,
      428,
      568,
      545,
      283,
      358,
      973,
      547,
      958,
      740,
      538,
      592,
      533,
      777,
      166,
      390,
      468,
      632,
      464,
      372,
      323,
      366,
      497,
      712,
      364,
      649,
      486,
      395,
      541,
      667,
      246,
      575,
      647,
      939,
      205,
      802,
      589,
      500,
      1011,
      604,
      379,
      483,
      333,
      253,
      484,
      818,
      716,
      588,
      495,
      460,
      446,
      390,
      853,
      701,
      638,
      200,
      851,
      314,
      374,
      590,
      580,
      477,
      678,
      580,
      436,
      557,
      486,
      462,
      212,
      662,
      478,
      279,
      698,
      364,
      560,
      706,
      358,
      320,
      324,
      642,
      1018,
      391,
      763,
      458,
      801,
      587,
      585,
      466,
      618,
      547,
      255,
      587,
      792,
      659,
      413,
      600,
      984,
      856,
      436,
      859,
      642,
      272,
      670,
      351,
      493,
      644,
      590,
      275,
      200,
      344,
      426,
      208,
      141,
      496,
      384,
      365,
      331,
      464,
      537,
      499,
      402,
      612,
      321,
      377,
      492,
      321,
      457,
      481,
      344,
      460,
      544,
      399,
      538,
      635,
      528,
      710,
      545,
      537,
      367,
      518,
      653,
      511,
      403,
      368,
      601,
      416,
      431,
      695,
      608,
      393,
      386,
      470,
      783,
      468,
      415,
      925,
      457,
      727,
      287,
      319,
      224,
      766,
      481,
      715,
      680,
      405,
      622,
      675,
      415,
      654,
      297,
      654,
      373,
      364,
      369,
      581,
      1278,
      273,
      886,
      716,
      224,
      477,
      673,
      344,
      636,
      745,
      358,
      441,
      807,
      885,
      417,
      564,
      487,
      339,
      1710,
      278,
      540,
      233,
      642,
      786,
      637,
      577,
      460,
      420,
      466,
      769,
      380,
      678,
      490,
      536,
      211,
      437,
      434,
      434,
      439,
      685,
      620,
      758,
      373,
      649,
      466,
      483,
      829,
      594,
      536,
      540,
      726,
      838,
      639,
      406,
      641,
      718,
      398,
      545,
      476,
      526,
      562,
      438,
      640,
      480,
      293,
      356,
      378,
      343,
      225,
      996,
      493,
      481,
      857,
      453,
      999,
      437,
      523,
      585,
      330,
      493,
      431,
      415,
      671,
      284,
      534,
      316,
      359,
      445,
      614,
      371,
      467,
      519,
      483,
      330,
      470,
      512,
      659,
      490,
      402,
      499,
      334,
      1546,
      942,
      615,
      347,
      849,
      378,
      356,
      408,
      521,
      1046,
      467,
      649,
      651,
      229,
      386,
      197,
      601,
      519,
      1000,
      638,
      597,
      704,
      357,
      1025,
      281,
      1100,
      890,
      823,
      660,
      252,
      518,
      617,
      605,
      142,
      663,
      376,
      803,
      478,
      465,
      506,
      495,
      544,
      498,
      957,
      802,
      298,
      406,
      685,
      526,
      809,
      612,
      770,
      442,
      719,
      366,
      605,
      588,
      297,
      484,
      610,
      689,
      711,
      603,
      420,
      351,
      718,
      287,
      271,
      331,
      603,
      539,
      738,
      635,
      305,
      397,
      695,
      609,
      411,
      440,
      472,
      183,
      339,
      335,
      381,
      405,
      274,
      456,
      485,
      683,
      658,
      1020,
      691,
      371,
      662,
      482,
      935,
      735,
      542,
      537,
      252,
      491,
      625,
      658,
      985,
      613,
      406,
      349,
      468,
      391,
      348,
      850,
      240,
      311,
      395,
      351,
      600,
      533,
      566,
      486,
      328,
      550,
      437,
      761,
      506,
      738,
      904,
      483,
      580,
      527,
      848,
      797,
      607,
      763,
      631,
      591,
      436,
      1186,
      586,
      625,
      545,
      723,
      608,
      426,
      541,
      558,
      531,
      485,
      936,
      193,
      941,
      466,
      687,
      371,
      649,
      181,
      593,
      273,
      479,
      781,
      618,
      635,
      465,
      177,
      660,
      542,
      561,
      555,
      632,
      300,
      658,
      441,
      588,
      340,
      381,
      684,
      451,
      354,
      480,
      317,
      469,
      566,
      440,
      326,
      600,
      408,
      514,
      621,
      569,
      548,
      357,
      471,
      336,
      634,
      360,
      950,
      366,
      305,
      458,
      689,
      835,
      504,
      499,
      406,
      707,
      566,
      627,
      370,
      415,
      930,
      650,
      295,
      492,
      281,
      550,
      821,
      530,
      381,
      676,
      459,
      866,
      931,
      500,
      568,
      408,
      550,
      589,
      340,
      672,
      496,
      401,
      910,
      818,
      640,
      494,
      767,
      176,
      428,
      363,
      399,
      518,
      404,
      443,
      270,
      573,
      609,
      951,
      970,
      444,
      370,
      506,
      480,
      366,
      496,
      530,
      259,
      527,
      834,
      357,
      505,
      488,
      350,
      880,
      583,
      428,
      446,
      429,
      705,
      514,
      556,
      351,
      444,
      653,
      397,
      541,
      443,
      326,
      467,
      540,
      486,
      386,
      558,
      475,
      651,
      487,
      589,
      437,
      529,
      547,
      560,
      304,
      228,
      333,
      516,
      698,
      675,
      639,
      612,
      533,
      276,
      1287,
      582,
      339,
      466,
      761,
      545,
      697,
      611,
      431,
      516,
      320,
      731,
      469,
      575,
      675,
      411,
      464,
      759,
      499,
      279,
      281,
      472,
      483,
      692,
      301,
      273,
      807,
      462,
      559,
      379,
      296,
      852,
      577,
      549,
      809,
      562,
      381,
      697,
      507,
      348,
      566,
      945,
      363,
      378,
      722,
      675,
      686,
      817,
      345,
      745,
      421,
      624,
      542,
      566,
      1444,
      371,
      649,
      502,
      491,
      348,
      407,
      354,
      410,
      472,
      667,
      670,
      252,
      438,
      488,
      607,
      285,
      730,
      530,
      430,
      296,
      524,
      248,
      465,
      464,
      422,
      272,
      529,
      379,
      601,
      397,
      347,
      309,
      398,
      442,
      483,
      170,
      300,
      462,
      373,
      592,
      685,
      544,
      474,
      324,
      428,
      264,
      392,
      488,
      705,
      394,
      373,
      584,
      257,
      551,
      253,
      497,
      249,
      299,
      616,
      563,
      479,
      486,
      507,
      654,
      430,
      527,
      391,
      444,
      546,
      325,
      740,
      363,
      407,
      695,
      666,
      892,
      645,
      374,
      314,
      503,
      365,
      712,
      291,
      366,
      214,
      231,
      574,
      488,
      509,
      335,
      483,
      321,
      290,
      350,
      240,
      243,
      831,
      266,
      447,
      281,
      586,
      505,
      513,
      448,
      565,
      1028,
      511,
      417,
      384,
      443,
      551,
      328,
      366,
      338,
      629,
      581,
      400,
      411,
      511,
      415,
      392,
      396,
      406,
      278,
      425,
      612,
      615,
      601,
      545,
      465,
      407,
      724,
      882,
      840,
      816,
      430,
      452,
      670,
      422,
      384,
      474,
      600,
      661,
      320,
      576,
      476,
      817,
      354,
      474,
      425,
      366,
      393,
      450,
      411,
      442,
      428,
      247,
      523,
      304,
      648,
      219,
      553,
      548,
      776,
      263,
      756,
      1003,
      392,
      285,
      563,
      551,
      397,
      592,
      493,
      285,
      261,
      717,
      656,
      242,
      1256,
      231,
      546,
      262,
      367,
      584,
      394,
      280,
      840,
      579,
      395,
      375,
      371,
      397,
      522,
      575,
      443,
      375,
      483,
      502,
      525,
      1077,
      299,
      602,
      614,
      474,
      462,
      468,
      286,
      701,
      1037,
      382,
      832,
      346,
      675,
      321,
      334,
      398,
      1368,
      337,
      466,
      395,
      504,
      430,
      580,
      286,
      432,
      816,
      313,
      567,
      539,
      424,
      331,
      415,
      394,
      617,
      525,
      628,
      353,
      485,
      551,
      888,
      859,
      274,
      603,
      829,
      771,
      350,
      614,
      680,
      303,
      307,
      397,
      576,
      495,
      838,
      365,
      455,
      451,
      577,
      418,
      603,
      515,
      443,
      900,
      622,
      259,
      345,
      226,
      448,
      286,
      624,
      363,
      528,
      638,
      1158,
      250,
      988,
      680,
      584,
      529,
      448,
      391,
      490,
      588,
      218,
      588,
      685,
      657,
      823,
      507,
      626,
      551,
      487,
      557,
      554,
      552,
      479,
      438,
      553,
      539,
      772,
      407,
      599,
      530,
      435,
      823,
      404,
      433,
      323,
      919,
      319,
      285,
      738,
      485,
      611,
      474,
      60,
      670,
      561,
      475,
      504,
      889,
      346,
      453,
      277,
      500,
      359,
      568,
      474,
      423,
      326,
      585,
      482,
      1259,
      552,
      1105,
      454,
      115,
      434,
      388,
      464,
      438,
      473,
      189,
      738,
      706,
      451,
      570,
      536,
      180,
      455,
      305,
      287,
      792,
      144,
      306,
      466,
      192,
      298,
      646,
      688,
      331,
      377,
      359,
      276,
      97,
      36,
      54,
      186,
      473,
      436,
      262,
      532,
      921,
      350,
      923,
      575,
      385,
      355,
      246,
      326,
      396,
      226,
      935,
      397,
      646,
      807,
      543,
      577,
      176,
      556,
      990,
      671,
      431,
      272,
      549,
      565,
      68,
      692,
      162,
      895,
      471,
      635,
      232,
      170,
      516,
      987,
      472,
      166,
      454,
      158,
      161,
      300,
      166,
      361,
      886,
      659,
      462,
      320,
      502,
      379,
      234,
      141,
      432,
      498,
      415,
      436,
      230,
      422,
      862,
      367,
      104,
      346,
      488,
      196,
      187,
      300,
      305,
      549,
      172,
      148,
      266,
      543,
      190,
      570,
      838,
      432,
      622,
      235,
      276,
      285,
      526,
      525,
      459,
      283,
      209,
      252,
      221,
      262,
      172,
      219,
      258,
      215,
      247,
      306,
      197,
      361,
      388,
      465,
      245,
      285,
      201,
      105,
      229,
      409,
      137,
      266,
      428,
      257,
      256,
      889,
      434,
      498,
      491,
      194,
      519,
      56,
      216,
      427,
      266,
      227,
      218,
      236,
      327,
      198,
      211,
      399,
      190,
      192,
      419,
      232,
      554,
      421,
      684,
      707,
      450,
      220,
      433,
      153,
      548,
      210,
      214,
      346,
      176,
      427,
      194,
      187,
      353,
      198,
      408,
      205,
      221,
      413,
      369,
      275,
      236,
      198,
      402,
      651,
      286,
      469,
      490,
      154,
      162,
      228,
      213,
      211,
      163,
      234,
      275,
      160,
      288,
      270,
      521,
      987,
      804,
      567,
      400,
      141,
      151,
      161,
      180,
      100,
      179,
      176,
      247,
      207,
      339,
      220,
      136,
      189,
      305,
      113,
      492,
      149,
      338,
      374,
      142,
      278,
      174,
      156,
      317,
      183,
      334,
      481,
      731,
      649,
      677,
      403,
      666,
      679,
      598,
      985,
      149,
      308,
      259,
      427,
      263,
      346,
      134,
      187,
      161,
      132,
      225,
      250,
      342,
      289,
      170,
      308,
      287,
      212,
      269,
      124,
      182,
      168,
      218,
      257,
      303,
      243,
      365,
      138,
      122,
      139,
      274,
      452,
      655,
      293,
      590,
      663,
      478,
      208,
      170,
      170,
      133,
      196,
      160,
      99,
      146,
      371,
      228,
      154,
      286,
      300,
      514,
      331,
      947,
      616,
      639,
      414,
      438,
      699,
      630,
      432,
      349,
      653,
      652,
      139,
      328,
      169,
      487,
      152,
      411,
      255,
      250,
      486,
      279,
      312,
      113,
      251,
      230,
      134,
      187,
      249,
      132,
      158,
      211,
      293,
      680,
      362,
      479,
      433,
      730,
      368,
      444,
      589,
      170,
      231,
      127,
      145,
      213,
      436,
      170,
      179,
      196,
      541,
      246,
      580,
      704,
      330,
      878,
      475,
      486,
      133,
      165,
      247,
      176,
      233,
      201,
      316,
      171,
      526,
      800,
      458,
      738,
      604,
      813,
      470,
      531,
      551,
      381,
      855,
      672,
      793,
      610,
      396,
      453,
      577,
      136,
      383,
      148,
      497,
      143,
      274,
      643,
      381,
      707,
      585,
      800,
      739,
      462,
      382,
      266,
      559,
      665,
      151,
      197,
      266,
      167,
      84,
      130,
      452,
      546,
      455,
      633,
      434,
      656,
      750,
      389,
      798,
      472,
      652,
      491,
      615,
      246,
      316,
      210,
      223,
      205,
      348,
      199,
      175,
      188,
      354,
      268,
      1000,
      335,
      719,
      753,
      574,
      554,
      563,
      406,
      416,
      818,
      251,
      299,
      225,
      211,
      196,
      249,
      302,
      149,
      187,
      108,
      375,
      130,
      340,
      215,
      332,
      149,
      150,
      111,
      212,
      211,
      159,
      190,
      312,
      369,
      244,
      255,
      112,
      417,
      897,
      469,
      274,
      806,
      577,
      464,
      431,
      1124,
      442,
      1196,
      975,
      593,
      469,
      458,
      488,
      565,
      524,
      815,
      471,
      699,
      687,
      311,
      782,
      759,
      560,
      795,
      295,
      90,
      316,
      138,
      132,
      345,
      145,
      544,
      103,
      413,
      128,
      231,
      148,
      162,
      109,
      359,
      413,
      209,
      255,
      604,
      188,
      235,
      209,
      196,
      190,
      157,
      189,
      162,
      262,
      115,
      370,
      107,
      319,
      277,
      296,
      214,
      137,
      210,
      428,
      161,
      378,
      180,
      404,
      254,
      129,
      418,
      144,
      324,
      280,
      239,
      222,
      276,
      220,
      118,
      453,
      194,
      405,
      483,
      318,
      125,
      153,
      321,
      188,
      289,
      200,
      127,
      252,
      351,
      304,
      527,
      284,
      311,
      197,
      132,
      262,
      265,
      293,
      246,
      353,
      125,
      355,
      176,
      560,
      130,
      184,
      332,
      539,
      549,
      223,
      138,
      710,
      449,
      1023,
      530,
      505,
      881,
      538,
      845,
      673,
      708,
      269,
      964,
      444,
      1069,
      803,
      877,
      518,
      858,
      1228,
      524,
      170,
      420,
      404,
      601,
      581,
      437,
      554,
      504,
      912,
      588,
      671,
      427,
      565,
      670,
      867,
      334,
      86,
      292,
      303,
      87,
      143,
      924,
      391,
      120,
      97,
      159,
      255,
      100,
      130,
      217,
      190,
      318,
      210,
      248,
      357,
      264,
      482,
      194,
      241,
      204,
      207,
      180,
      315,
      144,
      237,
      198,
      256,
      246,
      306,
      117,
      119,
      220,
      125,
      116,
      193,
      472,
      334,
      523,
      198,
      121,
      240,
      278,
      183,
      245,
      155,
      246,
      129,
      147,
      232,
      184,
      212,
      159,
      186,
      195,
      247,
      222,
      333,
      205,
      126,
      190,
      294,
      289,
      307,
      876,
      832,
      572,
      779,
      416,
      387,
      271,
      603,
      452,
      263,
      477,
      893,
      309,
      487,
      293,
      334,
      605,
      440,
      327,
      374,
      469,
      443,
      458,
      294,
      529,
      255,
      93,
      150,
      469,
      342,
      384,
      398,
      223,
      610,
      199,
      478,
      259,
      362,
      293,
      303,
      531,
      453,
      528,
      248,
      376,
      770,
      291,
      376,
      471,
      401,
      463,
      255,
      1070,
      196,
      322,
      551,
      504,
      666,
      307,
      178,
      516,
      335,
      386,
      473,
      262,
      314,
      430,
      318,
      464,
      460,
      312,
      312,
      290,
      478,
      380,
      515,
      381,
      348,
      589,
      179,
      530,
      293,
      486,
      609,
      423,
      363,
      509,
      493,
      319,
      478,
      312,
      116,
      524,
      327,
      303,
      418,
      557,
      197,
      429,
      618,
      218,
      898,
      526,
      437,
      515,
      285,
      355,
      319,
      409,
      540,
      419,
      477,
      262,
      456,
      444,
      290,
      619,
      539,
      436,
      151,
      349,
      391,
      391,
      323,
      348,
      279,
      593,
      652,
      356,
      323,
      227,
      202,
      933,
      422,
      310,
      775,
      218,
      533,
      341,
      355,
      311,
      345,
      504,
      286,
      442,
      774,
      593,
      448,
      790,
      370,
      337,
      230,
      161,
      311,
      401,
      134,
      305,
      660,
      285,
      914,
      462,
      150,
      324,
      321,
      594,
      238,
      381,
      318,
      724,
      338,
      225,
      617,
      473,
      218,
      614,
      355,
      306,
      347,
      345,
      666,
      443,
      355,
      172,
      426,
      330,
      758,
      396,
      504,
      355,
      758,
      570,
      392,
      487,
      502,
      365,
      318,
      667,
      426,
      303,
      426,
      371,
      497,
      236,
      390,
      230,
      288,
      321,
      162,
      176,
      501,
      339,
      384,
      382,
      582,
      508,
      474,
      324,
      556,
      212,
      550,
      371,
      253,
      535,
      305,
      268,
      369,
      338,
      695,
      337,
      556,
      297,
      397,
      455,
      206,
      213,
      363,
      591,
      237,
      600,
      419,
      421,
      377,
      333,
      158,
      233,
      373,
      172,
      442,
      253,
      758,
      416,
      446,
      326,
      243,
      356,
      191,
      988,
      227,
      298,
      438,
      380,
      325,
      189,
      353,
      439,
      525,
      461,
      341,
      123,
      431,
      411,
      257,
      249,
      176
    ]
  }
}