{
  "slug": "sums-diffs",
  "domain": "Mathematics",
  "title": "More sums, fewer differences.",
  "description": "An integer-set search using structured families, exact bitmask scoring, and local refinement.",
  "metric": "MSTD exponent C(A)",
  "unit": "",
  "note": "The displayed 509-element set is from the validated replay of this selected N=8 program; it is not the older N=16 construction.",
  "task": "Sums/Diffs",
  "score": 1.1449985165387928,
  "reference": 1.1448868597133133,
  "direction": "max",
  "outcome": "Improved",
  "model": "Gemini-3.8-Flash",
  "budget": 8,
  "seed": 42,
  "best_iteration": 87,
  "last_iteration": 100,
  "cost_usd": 161.33332675,
  "program_id": "8478b059-fbef-4d36-ac83-7511c1bb5ec3",
  "source_sha256": "d7fbc6d7e0a784f6d751c55c9d16385baae5cbddfa0bf0c0d6af483f5cedad8c",
  "source": "static/programs/sums_diffs.py",
  "language": "Python",
  "lines": 421,
  "history": {
    "points": [
      {
        "iteration": 0,
        "candidate_score": 1.0597930945472454,
        "best_score": 1.0597930945472454,
        "gate": "unrecorded"
      },
      {
        "iteration": 1,
        "candidate_score": 1.0674417365049016,
        "best_score": 1.0674417365049016,
        "gate": "retrieve"
      },
      {
        "iteration": 2,
        "candidate_score": 1.075666601458281,
        "best_score": 1.075666601458281,
        "gate": "retrieve"
      },
      {
        "iteration": 3,
        "candidate_score": 1.0792778098203661,
        "best_score": 1.0792778098203661,
        "gate": "retrieve"
      },
      {
        "iteration": 4,
        "candidate_score": 1.0864654088464354,
        "best_score": 1.0864654088464354,
        "gate": "retrieve"
      },
      {
        "iteration": 5,
        "candidate_score": 1.0864654088464354,
        "best_score": 1.0864654088464354,
        "gate": "retrieve"
      },
      {
        "iteration": 6,
        "candidate_score": 1.098213696007334,
        "best_score": 1.098213696007334,
        "gate": "retrieve"
      },
      {
        "iteration": 7,
        "candidate_score": 1.099691577220916,
        "best_score": 1.099691577220916,
        "gate": "retrieve"
      },
      {
        "iteration": 8,
        "candidate_score": 1.099844637903413,
        "best_score": 1.099844637903413,
        "gate": "retrieve"
      },
      {
        "iteration": 9,
        "candidate_score": 1.1244624200665096,
        "best_score": 1.1244624200665096,
        "gate": "retrieve"
      },
      {
        "iteration": 10,
        "candidate_score": 1.1244624200665096,
        "best_score": 1.1244624200665096,
        "gate": "retrieve"
      },
      {
        "iteration": 11,
        "candidate_score": 1.099691577220916,
        "best_score": 1.1244624200665096,
        "gate": "retrieve"
      },
      {
        "iteration": 12,
        "candidate_score": 1.0758523882244526,
        "best_score": 1.1244624200665096,
        "gate": "retrieve"
      },
      {
        "iteration": 13,
        "candidate_score": 1.099844637903413,
        "best_score": 1.1244624200665096,
        "gate": "retrieve"
      },
      {
        "iteration": 14,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 15,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 16,
        "candidate_score": 1.099844637903413,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 17,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 18,
        "candidate_score": 1.099844637903413,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 19,
        "candidate_score": 1.1442045360510542,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 20,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 21,
        "candidate_score": 1.099844637903413,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 22,
        "candidate_score": 1.0758523882244526,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 23,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 24,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 25,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 26,
        "candidate_score": 1.0758523882244526,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 27,
        "candidate_score": 1.0758523882244526,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 28,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 29,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 30,
        "candidate_score": 1.1442045360510542,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 31,
        "candidate_score": 1.0758468520469398,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 32,
        "candidate_score": 1.0758523882244526,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 33,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 34,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 35,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 36,
        "candidate_score": 1.0758523882244526,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 37,
        "candidate_score": 1.0758523882244526,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 38,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 39,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 40,
        "candidate_score": 1.1442045360510542,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 41,
        "candidate_score": 1.0062581471675265,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 42,
        "candidate_score": 1.099844637903413,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 43,
        "candidate_score": 1.1442045360510542,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 44,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 45,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "noop"
      },
      {
        "iteration": 46,
        "candidate_score": 1.0758523882244526,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 47,
        "candidate_score": 1.0758344480288422,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 48,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 49,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 50,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 51,
        "candidate_score": 1.0758523882244526,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 52,
        "candidate_score": 1.0991840952425438,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 53,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 54,
        "candidate_score": 1.1442045360510542,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 55,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 56,
        "candidate_score": 1.075815834316597,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 57,
        "candidate_score": 1.0758523882244526,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 58,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 59,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 60,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 61,
        "candidate_score": 1.0667915450050371,
        "best_score": 1.1443827397046247,
        "gate": "lookup"
      },
      {
        "iteration": 62,
        "candidate_score": 1.0758523882244526,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 63,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 64,
        "candidate_score": 1.1442045360510542,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 65,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 66,
        "candidate_score": 1.1442045360510542,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 67,
        "candidate_score": 1.0758523882244526,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 68,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "lookup"
      },
      {
        "iteration": 69,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 70,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "retrieve"
      },
      {
        "iteration": 71,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1443827397046247,
        "gate": "lookup"
      },
      {
        "iteration": 72,
        "candidate_score": 1.1447090430750297,
        "best_score": 1.1447090430750297,
        "gate": "retrieve"
      },
      {
        "iteration": 73,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1447090430750297,
        "gate": "retrieve"
      },
      {
        "iteration": 74,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1447090430750297,
        "gate": "retrieve"
      },
      {
        "iteration": 75,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1447090430750297,
        "gate": "retrieve"
      },
      {
        "iteration": 76,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1447090430750297,
        "gate": "retrieve"
      },
      {
        "iteration": 77,
        "candidate_score": 1.1447090430750297,
        "best_score": 1.1447090430750297,
        "gate": "noop"
      },
      {
        "iteration": 79,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1447090430750297,
        "gate": "noop"
      },
      {
        "iteration": 80,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1447090430750297,
        "gate": "noop"
      },
      {
        "iteration": 81,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1447090430750297,
        "gate": "noop"
      },
      {
        "iteration": 83,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1447090430750297,
        "gate": "retrieve"
      },
      {
        "iteration": 84,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1447090430750297,
        "gate": "retrieve"
      },
      {
        "iteration": 86,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1447090430750297,
        "gate": "lookup"
      },
      {
        "iteration": 87,
        "candidate_score": 1.1449985165387928,
        "best_score": 1.1449985165387928,
        "gate": "retrieve"
      },
      {
        "iteration": 88,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1449985165387928,
        "gate": "retrieve"
      },
      {
        "iteration": 89,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1449985165387928,
        "gate": "retrieve"
      },
      {
        "iteration": 90,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1449985165387928,
        "gate": "retrieve"
      },
      {
        "iteration": 91,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1449985165387928,
        "gate": "noop"
      },
      {
        "iteration": 92,
        "candidate_score": 1.1447090430750297,
        "best_score": 1.1449985165387928,
        "gate": "noop"
      },
      {
        "iteration": 93,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1449985165387928,
        "gate": "noop"
      },
      {
        "iteration": 94,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1449985165387928,
        "gate": "noop"
      },
      {
        "iteration": 95,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1449985165387928,
        "gate": "retrieve"
      },
      {
        "iteration": 96,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1449985165387928,
        "gate": "noop"
      },
      {
        "iteration": 97,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1449985165387928,
        "gate": "retrieve"
      },
      {
        "iteration": 100,
        "candidate_score": 1.1443827397046247,
        "best_score": 1.1449985165387928,
        "gate": "noop"
      }
    ],
    "trace_sha256": "91b744fb3a44d1d3b118e43b514bd9d43ccd698ed4e6c5b929f3e258b8d391f2",
    "score_label": "Search-time evaluator score ↑",
    "note": "Best-so-far envelope of recorded, non-migrant programs. If multiple programs share an iteration, the highest recorded score is used. Missing iterations are not invented."
  },
  "run_fingerprint": "c346451bf26211268aa4dbf4e647573ab3e415c8fe8a9fb56305a5084051429c",
  "artifact": {
    "views": [
      {
        "image": "static/images/programs/sums-diffs-comparison.webp",
        "thumbnail": "static/images/programs/sums-diffs-comparison-thumb.webp",
        "pdf": "static/figures/programs/sums-diffs-comparison.pdf",
        "paper_pdf": "static/figures/programs/paper-math.pdf",
        "provenance": {
          "source": "figures/supp_figures/sota_objects_math.pdf",
          "source_sha256": "69b06c0cdce6b7745dec28d5fe3c6fa59a1bad2b2f866d2d294359a30af35c5b",
          "clip_points": [
            0.0,
            116.0,
            396.0,
            172.8000030517578
          ],
          "cropped": true,
          "pdf_sha256": "a2fd2d91e3e727f44f6dbde974ef7baeedaa4a77e22038dec1f56145f3277a0d",
          "image_sha256": "e45e191444823323c85bf8a2367112395e030a84855c7a4387be5f75c874b8bb",
          "thumbnail_sha256": "a5523d85dcc1119cf1dfb21e3ba35205c48606f10318c178b8c7eef318a76658"
        },
        "label": "Set comparison",
        "caption": "The first 120 shifted integers are shown. The table reports full-set counts: EvoDuet has 509 elements, 3,575 sums, and 2,793 differences."
      }
    ],
    "kind": "views",
    "data": {
      "set": [
        0,
        1,
        4,
        5,
        8,
        9,
        12,
        13,
        16,
        17,
        20,
        21,
        24,
        25,
        26,
        28,
        29,
        32,
        33,
        36,
        37,
        40,
        41,
        44,
        45,
        48,
        49,
        52,
        53,
        57,
        61,
        65,
        69,
        73,
        77,
        81,
        84,
        85,
        89,
        93,
        97,
        101,
        105,
        109,
        113,
        117,
        121,
        125,
        129,
        133,
        137,
        140,
        141,
        145,
        149,
        153,
        157,
        161,
        165,
        169,
        173,
        177,
        181,
        185,
        189,
        193,
        196,
        197,
        201,
        205,
        209,
        213,
        217,
        221,
        225,
        229,
        233,
        237,
        241,
        245,
        249,
        252,
        253,
        257,
        261,
        265,
        269,
        273,
        277,
        281,
        285,
        289,
        293,
        297,
        301,
        305,
        308,
        309,
        313,
        317,
        321,
        325,
        329,
        333,
        337,
        341,
        345,
        349,
        353,
        357,
        361,
        364,
        365,
        369,
        373,
        377,
        381,
        385,
        389,
        393,
        397,
        401,
        405,
        409,
        413,
        417,
        420,
        421,
        425,
        429,
        433,
        437,
        441,
        445,
        449,
        453,
        457,
        461,
        465,
        469,
        473,
        476,
        477,
        481,
        485,
        489,
        493,
        497,
        501,
        505,
        509,
        513,
        517,
        521,
        525,
        529,
        532,
        533,
        537,
        541,
        545,
        549,
        553,
        557,
        561,
        565,
        569,
        573,
        577,
        581,
        585,
        588,
        589,
        593,
        597,
        601,
        605,
        609,
        613,
        617,
        621,
        625,
        629,
        633,
        637,
        641,
        644,
        645,
        649,
        653,
        657,
        661,
        665,
        669,
        673,
        677,
        681,
        685,
        689,
        693,
        697,
        700,
        701,
        705,
        709,
        713,
        717,
        721,
        725,
        729,
        733,
        737,
        741,
        745,
        749,
        753,
        756,
        757,
        761,
        765,
        769,
        773,
        777,
        781,
        785,
        789,
        793,
        797,
        801,
        805,
        809,
        812,
        813,
        817,
        821,
        825,
        829,
        833,
        837,
        841,
        845,
        849,
        853,
        857,
        861,
        865,
        868,
        869,
        873,
        877,
        881,
        885,
        889,
        893,
        897,
        901,
        905,
        909,
        913,
        917,
        921,
        924,
        925,
        929,
        933,
        937,
        941,
        945,
        949,
        953,
        957,
        961,
        965,
        969,
        973,
        977,
        980,
        981,
        985,
        989,
        993,
        997,
        1001,
        1005,
        1009,
        1013,
        1017,
        1021,
        1025,
        1029,
        1033,
        1036,
        1037,
        1041,
        1045,
        1049,
        1053,
        1057,
        1061,
        1065,
        1069,
        1073,
        1077,
        1081,
        1085,
        1089,
        1092,
        1093,
        1097,
        1101,
        1105,
        1109,
        1113,
        1117,
        1121,
        1125,
        1129,
        1133,
        1137,
        1141,
        1145,
        1148,
        1149,
        1153,
        1157,
        1161,
        1165,
        1169,
        1173,
        1177,
        1181,
        1185,
        1189,
        1193,
        1197,
        1201,
        1204,
        1205,
        1209,
        1213,
        1217,
        1221,
        1225,
        1229,
        1233,
        1237,
        1241,
        1245,
        1249,
        1253,
        1257,
        1260,
        1261,
        1265,
        1269,
        1273,
        1277,
        1281,
        1285,
        1289,
        1293,
        1297,
        1301,
        1305,
        1309,
        1313,
        1316,
        1317,
        1321,
        1325,
        1329,
        1333,
        1337,
        1341,
        1345,
        1349,
        1353,
        1357,
        1361,
        1365,
        1369,
        1372,
        1373,
        1377,
        1381,
        1385,
        1389,
        1393,
        1397,
        1401,
        1405,
        1409,
        1413,
        1417,
        1421,
        1425,
        1428,
        1429,
        1433,
        1437,
        1441,
        1445,
        1449,
        1453,
        1457,
        1461,
        1465,
        1469,
        1473,
        1477,
        1481,
        1484,
        1485,
        1489,
        1493,
        1497,
        1501,
        1505,
        1509,
        1513,
        1517,
        1521,
        1525,
        1529,
        1533,
        1537,
        1540,
        1541,
        1545,
        1549,
        1553,
        1557,
        1561,
        1565,
        1569,
        1573,
        1577,
        1581,
        1585,
        1589,
        1593,
        1596,
        1597,
        1601,
        1605,
        1609,
        1613,
        1617,
        1621,
        1625,
        1629,
        1633,
        1637,
        1641,
        1645,
        1649,
        1652,
        1653,
        1657,
        1661,
        1665,
        1669,
        1673,
        1677,
        1681,
        1685,
        1689,
        1693,
        1697,
        1701,
        1705,
        1708,
        1709,
        1713,
        1717,
        1721,
        1725,
        1729,
        1733,
        1737,
        1740,
        1741,
        1744,
        1745,
        1748,
        1749,
        1752,
        1753,
        1756,
        1757,
        1760,
        1761,
        1764,
        1765,
        1766,
        1768,
        1769,
        1772,
        1773,
        1776,
        1777,
        1780,
        1781,
        1784,
        1785,
        1788,
        1789,
        1792,
        1793
      ],
      "sumset": [
        0,
        1,
        2,
        4,
        5,
        6,
        8,
        9,
        10,
        12,
        13,
        14,
        16,
        17,
        18,
        20,
        21,
        22,
        24,
        25,
        26,
        27,
        28,
        29,
        30,
        31,
        32,
        33,
        34,
        35,
        36,
        37,
        38,
        39,
        40,
        41,
        42,
        43,
        44,
        45,
        46,
        47,
        48,
        49,
        50,
        51,
        52,
        53,
        54,
        55,
        56,
        57,
        58,
        59,
        60,
        61,
        62,
        63,
        64,
        65,
        66,
        67,
        68,
        69,
        70,
        71,
        72,
        73,
        74,
        75,
        76,
        77,
        78,
        79,
        80,
        81,
        82,
        83,
        84,
        85,
        86,
        87,
        88,
        89,
        90,
        91,
        92,
        93,
        94,
        95,
        96,
        97,
        98,
        99,
        100,
        101,
        102,
        103,
        104,
        105,
        106,
        107,
        108,
        109,
        110,
        111,
        112,
        113,
        114,
        115,
        116,
        117,
        118,
        119,
        120,
        121,
        122,
        123,
        124,
        125,
        126,
        127,
        128,
        129,
        130,
        131,
        132,
        133,
        134,
        135,
        136,
        137,
        138,
        139,
        140,
        141,
        142,
        143,
        144,
        145,
        146,
        147,
        148,
        149,
        150,
        151,
        152,
        153,
        154,
        155,
        156,
        157,
        158,
        159,
        160,
        161,
        162,
        163,
        164,
        165,
        166,
        167,
        168,
        169,
        170,
        171,
        172,
        173,
        174,
        175,
        176,
        177,
        178,
        179,
        180,
        181,
        182,
        183,
        184,
        185,
        186,
        187,
        188,
        189,
        190,
        191,
        192,
        193,
        194,
        195,
        196,
        197,
        198,
        199,
        200,
        201,
        202,
        203,
        204,
        205,
        206,
        207,
        208,
        209,
        210,
        211,
        212,
        213,
        214,
        215,
        216,
        217,
        218,
        219,
        220,
        221,
        222,
        223,
        224,
        225,
        226,
        227,
        228,
        229,
        230,
        231,
        232,
        233,
        234,
        235,
        236,
        237,
        238,
        239,
        240,
        241,
        242,
        243,
        244,
        245,
        246,
        247,
        248,
        249,
        250,
        251,
        252,
        253,
        254,
        255,
        256,
        257,
        258,
        259,
        260,
        261,
        262,
        263,
        264,
        265,
        266,
        267,
        268,
        269,
        270,
        271,
        272,
        273,
        274,
        275,
        276,
        277,
        278,
        279,
        280,
        281,
        282,
        283,
        284,
        285,
        286,
        287,
        288,
        289,
        290,
        291,
        292,
        293,
        294,
        295,
        296,
        297,
        298,
        299,
        300,
        301,
        302,
        303,
        304,
        305,
        306,
        307,
        308,
        309,
        310,
        311,
        312,
        313,
        314,
        315,
        316,
        317,
        318,
        319,
        320,
        321,
        322,
        323,
        324,
        325,
        326,
        327,
        328,
        329,
        330,
        331,
        332,
        333,
        334,
        335,
        336,
        337,
        338,
        339,
        340,
        341,
        342,
        343,
        344,
        345,
        346,
        347,
        348,
        349,
        350,
        351,
        352,
        353,
        354,
        355,
        356,
        357,
        358,
        359,
        360,
        361,
        362,
        363,
        364,
        365,
        366,
        367,
        368,
        369,
        370,
        371,
        372,
        373,
        374,
        375,
        376,
        377,
        378,
        379,
        380,
        381,
        382,
        383,
        384,
        385,
        386,
        387,
        388,
        389,
        390,
        391,
        392,
        393,
        394,
        395,
        396,
        397,
        398,
        399,
        400,
        401,
        402,
        403,
        404,
        405,
        406,
        407,
        408,
        409,
        410,
        411,
        412,
        413,
        414,
        415,
        416,
        417,
        418,
        419,
        420,
        421,
        422,
        423,
        424,
        425,
        426,
        427,
        428,
        429,
        430,
        431,
        432,
        433,
        434,
        435,
        436,
        437,
        438,
        439,
        440,
        441,
        442,
        443,
        444,
        445,
        446,
        447,
        448,
        449,
        450,
        451,
        452,
        453,
        454,
        455,
        456,
        457,
        458,
        459,
        460,
        461,
        462,
        463,
        464,
        465,
        466,
        467,
        468,
        469,
        470,
        471,
        472,
        473,
        474,
        475,
        476,
        477,
        478,
        479,
        480,
        481,
        482,
        483,
        484,
        485,
        486,
        487,
        488,
        489,
        490,
        491,
        492,
        493,
        494,
        495,
        496,
        497,
        498,
        499,
        500,
        501,
        502,
        503,
        504,
        505,
        506,
        507,
        508,
        509,
        510,
        511,
        512,
        513,
        514,
        515,
        516,
        517,
        518,
        519,
        520,
        521,
        522,
        523,
        524,
        525,
        526,
        527,
        528,
        529,
        530,
        531,
        532,
        533,
        534,
        535,
        536,
        537,
        538,
        539,
        540,
        541,
        542,
        543,
        544,
        545,
        546,
        547,
        548,
        549,
        550,
        551,
        552,
        553,
        554,
        555,
        556,
        557,
        558,
        559,
        560,
        561,
        562,
        563,
        564,
        565,
        566,
        567,
        568,
        569,
        570,
        571,
        572,
        573,
        574,
        575,
        576,
        577,
        578,
        579,
        580,
        581,
        582,
        583,
        584,
        585,
        586,
        587,
        588,
        589,
        590,
        591,
        592,
        593,
        594,
        595,
        596,
        597,
        598,
        599,
        600,
        601,
        602,
        603,
        604,
        605,
        606,
        607,
        608,
        609,
        610,
        611,
        612,
        613,
        614,
        615,
        616,
        617,
        618,
        619,
        620,
        621,
        622,
        623,
        624,
        625,
        626,
        627,
        628,
        629,
        630,
        631,
        632,
        633,
        634,
        635,
        636,
        637,
        638,
        639,
        640,
        641,
        642,
        643,
        644,
        645,
        646,
        647,
        648,
        649,
        650,
        651,
        652,
        653,
        654,
        655,
        656,
        657,
        658,
        659,
        660,
        661,
        662,
        663,
        664,
        665,
        666,
        667,
        668,
        669,
        670,
        671,
        672,
        673,
        674,
        675,
        676,
        677,
        678,
        679,
        680,
        681,
        682,
        683,
        684,
        685,
        686,
        687,
        688,
        689,
        690,
        691,
        692,
        693,
        694,
        695,
        696,
        697,
        698,
        699,
        700,
        701,
        702,
        703,
        704,
        705,
        706,
        707,
        708,
        709,
        710,
        711,
        712,
        713,
        714,
        715,
        716,
        717,
        718,
        719,
        720,
        721,
        722,
        723,
        724,
        725,
        726,
        727,
        728,
        729,
        730,
        731,
        732,
        733,
        734,
        735,
        736,
        737,
        738,
        739,
        740,
        741,
        742,
        743,
        744,
        745,
        746,
        747,
        748,
        749,
        750,
        751,
        752,
        753,
        754,
        755,
        756,
        757,
        758,
        759,
        760,
        761,
        762,
        763,
        764,
        765,
        766,
        767,
        768,
        769,
        770,
        771,
        772,
        773,
        774,
        775,
        776,
        777,
        778,
        779,
        780,
        781,
        782,
        783,
        784,
        785,
        786,
        787,
        788,
        789,
        790,
        791,
        792,
        793,
        794,
        795,
        796,
        797,
        798,
        799,
        800,
        801,
        802,
        803,
        804,
        805,
        806,
        807,
        808,
        809,
        810,
        811,
        812,
        813,
        814,
        815,
        816,
        817,
        818,
        819,
        820,
        821,
        822,
        823,
        824,
        825,
        826,
        827,
        828,
        829,
        830,
        831,
        832,
        833,
        834,
        835,
        836,
        837,
        838,
        839,
        840,
        841,
        842,
        843,
        844,
        845,
        846,
        847,
        848,
        849,
        850,
        851,
        852,
        853,
        854,
        855,
        856,
        857,
        858,
        859,
        860,
        861,
        862,
        863,
        864,
        865,
        866,
        867,
        868,
        869,
        870,
        871,
        872,
        873,
        874,
        875,
        876,
        877,
        878,
        879,
        880,
        881,
        882,
        883,
        884,
        885,
        886,
        887,
        888,
        889,
        890,
        891,
        892,
        893,
        894,
        895,
        896,
        897,
        898,
        899,
        900,
        901,
        902,
        903,
        904,
        905,
        906,
        907,
        908,
        909,
        910,
        911,
        912,
        913,
        914,
        915,
        916,
        917,
        918,
        919,
        920,
        921,
        922,
        923,
        924,
        925,
        926,
        927,
        928,
        929,
        930,
        931,
        932,
        933,
        934,
        935,
        936,
        937,
        938,
        939,
        940,
        941,
        942,
        943,
        944,
        945,
        946,
        947,
        948,
        949,
        950,
        951,
        952,
        953,
        954,
        955,
        956,
        957,
        958,
        959,
        960,
        961,
        962,
        963,
        964,
        965,
        966,
        967,
        968,
        969,
        970,
        971,
        972,
        973,
        974,
        975,
        976,
        977,
        978,
        979,
        980,
        981,
        982,
        983,
        984,
        985,
        986,
        987,
        988,
        989,
        990,
        991,
        992,
        993,
        994,
        995,
        996,
        997,
        998,
        999,
        1000,
        1001,
        1002,
        1003,
        1004,
        1005,
        1006,
        1007,
        1008,
        1009,
        1010,
        1011,
        1012,
        1013,
        1014,
        1015,
        1016,
        1017,
        1018,
        1019,
        1020,
        1021,
        1022,
        1023,
        1024,
        1025,
        1026,
        1027,
        1028,
        1029,
        1030,
        1031,
        1032,
        1033,
        1034,
        1035,
        1036,
        1037,
        1038,
        1039,
        1040,
        1041,
        1042,
        1043,
        1044,
        1045,
        1046,
        1047,
        1048,
        1049,
        1050,
        1051,
        1052,
        1053,
        1054,
        1055,
        1056,
        1057,
        1058,
        1059,
        1060,
        1061,
        1062,
        1063,
        1064,
        1065,
        1066,
        1067,
        1068,
        1069,
        1070,
        1071,
        1072,
        1073,
        1074,
        1075,
        1076,
        1077,
        1078,
        1079,
        1080,
        1081,
        1082,
        1083,
        1084,
        1085,
        1086,
        1087,
        1088,
        1089,
        1090,
        1091,
        1092,
        1093,
        1094,
        1095,
        1096,
        1097,
        1098,
        1099,
        1100,
        1101,
        1102,
        1103,
        1104,
        1105,
        1106,
        1107,
        1108,
        1109,
        1110,
        1111,
        1112,
        1113,
        1114,
        1115,
        1116,
        1117,
        1118,
        1119,
        1120,
        1121,
        1122,
        1123,
        1124,
        1125,
        1126,
        1127,
        1128,
        1129,
        1130,
        1131,
        1132,
        1133,
        1134,
        1135,
        1136,
        1137,
        1138,
        1139,
        1140,
        1141,
        1142,
        1143,
        1144,
        1145,
        1146,
        1147,
        1148,
        1149,
        1150,
        1151,
        1152,
        1153,
        1154,
        1155,
        1156,
        1157,
        1158,
        1159,
        1160,
        1161,
        1162,
        1163,
        1164,
        1165,
        1166,
        1167,
        1168,
        1169,
        1170,
        1171,
        1172,
        1173,
        1174,
        1175,
        1176,
        1177,
        1178,
        1179,
        1180,
        1181,
        1182,
        1183,
        1184,
        1185,
        1186,
        1187,
        1188,
        1189,
        1190,
        1191,
        1192,
        1193,
        1194,
        1195,
        1196,
        1197,
        1198,
        1199,
        1200,
        1201,
        1202,
        1203,
        1204,
        1205,
        1206,
        1207,
        1208,
        1209,
        1210,
        1211,
        1212,
        1213,
        1214,
        1215,
        1216,
        1217,
        1218,
        1219,
        1220,
        1221,
        1222,
        1223,
        1224,
        1225,
        1226,
        1227,
        1228,
        1229,
        1230,
        1231,
        1232,
        1233,
        1234,
        1235,
        1236,
        1237,
        1238,
        1239,
        1240,
        1241,
        1242,
        1243,
        1244,
        1245,
        1246,
        1247,
        1248,
        1249,
        1250,
        1251,
        1252,
        1253,
        1254,
        1255,
        1256,
        1257,
        1258,
        1259,
        1260,
        1261,
        1262,
        1263,
        1264,
        1265,
        1266,
        1267,
        1268,
        1269,
        1270,
        1271,
        1272,
        1273,
        1274,
        1275,
        1276,
        1277,
        1278,
        1279,
        1280,
        1281,
        1282,
        1283,
        1284,
        1285,
        1286,
        1287,
        1288,
        1289,
        1290,
        1291,
        1292,
        1293,
        1294,
        1295,
        1296,
        1297,
        1298,
        1299,
        1300,
        1301,
        1302,
        1303,
        1304,
        1305,
        1306,
        1307,
        1308,
        1309,
        1310,
        1311,
        1312,
        1313,
        1314,
        1315,
        1316,
        1317,
        1318,
        1319,
        1320,
        1321,
        1322,
        1323,
        1324,
        1325,
        1326,
        1327,
        1328,
        1329,
        1330,
        1331,
        1332,
        1333,
        1334,
        1335,
        1336,
        1337,
        1338,
        1339,
        1340,
        1341,
        1342,
        1343,
        1344,
        1345,
        1346,
        1347,
        1348,
        1349,
        1350,
        1351,
        1352,
        1353,
        1354,
        1355,
        1356,
        1357,
        1358,
        1359,
        1360,
        1361,
        1362,
        1363,
        1364,
        1365,
        1366,
        1367,
        1368,
        1369,
        1370,
        1371,
        1372,
        1373,
        1374,
        1375,
        1376,
        1377,
        1378,
        1379,
        1380,
        1381,
        1382,
        1383,
        1384,
        1385,
        1386,
        1387,
        1388,
        1389,
        1390,
        1391,
        1392,
        1393,
        1394,
        1395,
        1396,
        1397,
        1398,
        1399,
        1400,
        1401,
        1402,
        1403,
        1404,
        1405,
        1406,
        1407,
        1408,
        1409,
        1410,
        1411,
        1412,
        1413,
        1414,
        1415,
        1416,
        1417,
        1418,
        1419,
        1420,
        1421,
        1422,
        1423,
        1424,
        1425,
        1426,
        1427,
        1428,
        1429,
        1430,
        1431,
        1432,
        1433,
        1434,
        1435,
        1436,
        1437,
        1438,
        1439,
        1440,
        1441,
        1442,
        1443,
        1444,
        1445,
        1446,
        1447,
        1448,
        1449,
        1450,
        1451,
        1452,
        1453,
        1454,
        1455,
        1456,
        1457,
        1458,
        1459,
        1460,
        1461,
        1462,
        1463,
        1464,
        1465,
        1466,
        1467,
        1468,
        1469,
        1470,
        1471,
        1472,
        1473,
        1474,
        1475,
        1476,
        1477,
        1478,
        1479,
        1480,
        1481,
        1482,
        1483,
        1484,
        1485,
        1486,
        1487,
        1488,
        1489,
        1490,
        1491,
        1492,
        1493,
        1494,
        1495,
        1496,
        1497,
        1498,
        1499,
        1500,
        1501,
        1502,
        1503,
        1504,
        1505,
        1506,
        1507,
        1508,
        1509,
        1510,
        1511,
        1512,
        1513,
        1514,
        1515,
        1516,
        1517,
        1518,
        1519,
        1520,
        1521,
        1522,
        1523,
        1524,
        1525,
        1526,
        1527,
        1528,
        1529,
        1530,
        1531,
        1532,
        1533,
        1534,
        1535,
        1536,
        1537,
        1538,
        1539,
        1540,
        1541,
        1542,
        1543,
        1544,
        1545,
        1546,
        1547,
        1548,
        1549,
        1550,
        1551,
        1552,
        1553,
        1554,
        1555,
        1556,
        1557,
        1558,
        1559,
        1560,
        1561,
        1562,
        1563,
        1564,
        1565,
        1566,
        1567,
        1568,
        1569,
        1570,
        1571,
        1572,
        1573,
        1574,
        1575,
        1576,
        1577,
        1578,
        1579,
        1580,
        1581,
        1582,
        1583,
        1584,
        1585,
        1586,
        1587,
        1588,
        1589,
        1590,
        1591,
        1592,
        1593,
        1594,
        1595,
        1596,
        1597,
        1598,
        1599,
        1600,
        1601,
        1602,
        1603,
        1604,
        1605,
        1606,
        1607,
        1608,
        1609,
        1610,
        1611,
        1612,
        1613,
        1614,
        1615,
        1616,
        1617,
        1618,
        1619,
        1620,
        1621,
        1622,
        1623,
        1624,
        1625,
        1626,
        1627,
        1628,
        1629,
        1630,
        1631,
        1632,
        1633,
        1634,
        1635,
        1636,
        1637,
        1638,
        1639,
        1640,
        1641,
        1642,
        1643,
        1644,
        1645,
        1646,
        1647,
        1648,
        1649,
        1650,
        1651,
        1652,
        1653,
        1654,
        1655,
        1656,
        1657,
        1658,
        1659,
        1660,
        1661,
        1662,
        1663,
        1664,
        1665,
        1666,
        1667,
        1668,
        1669,
        1670,
        1671,
        1672,
        1673,
        1674,
        1675,
        1676,
        1677,
        1678,
        1679,
        1680,
        1681,
        1682,
        1683,
        1684,
        1685,
        1686,
        1687,
        1688,
        1689,
        1690,
        1691,
        1692,
        1693,
        1694,
        1695,
        1696,
        1697,
        1698,
        1699,
        1700,
        1701,
        1702,
        1703,
        1704,
        1705,
        1706,
        1707,
        1708,
        1709,
        1710,
        1711,
        1712,
        1713,
        1714,
        1715,
        1716,
        1717,
        1718,
        1719,
        1720,
        1721,
        1722,
        1723,
        1724,
        1725,
        1726,
        1727,
        1728,
        1729,
        1730,
        1731,
        1732,
        1733,
        1734,
        1735,
        1736,
        1737,
        1738,
        1739,
        1740,
        1741,
        1742,
        1743,
        1744,
        1745,
        1746,
        1747,
        1748,
        1749,
        1750,
        1751,
        1752,
        1753,
        1754,
        1755,
        1756,
        1757,
        1758,
        1759,
        1760,
        1761,
        1762,
        1763,
        1764,
        1765,
        1766,
        1767,
        1768,
        1769,
        1770,
        1771,
        1772,
        1773,
        1774,
        1775,
        1776,
        1777,
        1778,
        1779,
        1780,
        1781,
        1782,
        1783,
        1784,
        1785,
        1786,
        1787,
        1788,
        1789,
        1790,
        1791,
        1792,
        1793,
        1794,
        1795,
        1796,
        1797,
        1798,
        1799,
        1800,
        1801,
        1802,
        1803,
        1804,
        1805,
        1806,
        1807,
        1808,
        1809,
        1810,
        1811,
        1812,
        1813,
        1814,
        1815,
        1816,
        1817,
        1818,
        1819,
        1820,
        1821,
        1822,
        1823,
        1824,
        1825,
        1826,
        1827,
        1828,
        1829,
        1830,
        1831,
        1832,
        1833,
        1834,
        1835,
        1836,
        1837,
        1838,
        1839,
        1840,
        1841,
        1842,
        1843,
        1844,
        1845,
        1846,
        1847,
        1848,
        1849,
        1850,
        1851,
        1852,
        1853,
        1854,
        1855,
        1856,
        1857,
        1858,
        1859,
        1860,
        1861,
        1862,
        1863,
        1864,
        1865,
        1866,
        1867,
        1868,
        1869,
        1870,
        1871,
        1872,
        1873,
        1874,
        1875,
        1876,
        1877,
        1878,
        1879,
        1880,
        1881,
        1882,
        1883,
        1884,
        1885,
        1886,
        1887,
        1888,
        1889,
        1890,
        1891,
        1892,
        1893,
        1894,
        1895,
        1896,
        1897,
        1898,
        1899,
        1900,
        1901,
        1902,
        1903,
        1904,
        1905,
        1906,
        1907,
        1908,
        1909,
        1910,
        1911,
        1912,
        1913,
        1914,
        1915,
        1916,
        1917,
        1918,
        1919,
        1920,
        1921,
        1922,
        1923,
        1924,
        1925,
        1926,
        1927,
        1928,
        1929,
        1930,
        1931,
        1932,
        1933,
        1934,
        1935,
        1936,
        1937,
        1938,
        1939,
        1940,
        1941,
        1942,
        1943,
        1944,
        1945,
        1946,
        1947,
        1948,
        1949,
        1950,
        1951,
        1952,
        1953,
        1954,
        1955,
        1956,
        1957,
        1958,
        1959,
        1960,
        1961,
        1962,
        1963,
        1964,
        1965,
        1966,
        1967,
        1968,
        1969,
        1970,
        1971,
        1972,
        1973,
        1974,
        1975,
        1976,
        1977,
        1978,
        1979,
        1980,
        1981,
        1982,
        1983,
        1984,
        1985,
        1986,
        1987,
        1988,
        1989,
        1990,
        1991,
        1992,
        1993,
        1994,
        1995,
        1996,
        1997,
        1998,
        1999,
        2000,
        2001,
        2002,
        2003,
        2004,
        2005,
        2006,
        2007,
        2008,
        2009,
        2010,
        2011,
        2012,
        2013,
        2014,
        2015,
        2016,
        2017,
        2018,
        2019,
        2020,
        2021,
        2022,
        2023,
        2024,
        2025,
        2026,
        2027,
        2028,
        2029,
        2030,
        2031,
        2032,
        2033,
        2034,
        2035,
        2036,
        2037,
        2038,
        2039,
        2040,
        2041,
        2042,
        2043,
        2044,
        2045,
        2046,
        2047,
        2048,
        2049,
        2050,
        2051,
        2052,
        2053,
        2054,
        2055,
        2056,
        2057,
        2058,
        2059,
        2060,
        2061,
        2062,
        2063,
        2064,
        2065,
        2066,
        2067,
        2068,
        2069,
        2070,
        2071,
        2072,
        2073,
        2074,
        2075,
        2076,
        2077,
        2078,
        2079,
        2080,
        2081,
        2082,
        2083,
        2084,
        2085,
        2086,
        2087,
        2088,
        2089,
        2090,
        2091,
        2092,
        2093,
        2094,
        2095,
        2096,
        2097,
        2098,
        2099,
        2100,
        2101,
        2102,
        2103,
        2104,
        2105,
        2106,
        2107,
        2108,
        2109,
        2110,
        2111,
        2112,
        2113,
        2114,
        2115,
        2116,
        2117,
        2118,
        2119,
        2120,
        2121,
        2122,
        2123,
        2124,
        2125,
        2126,
        2127,
        2128,
        2129,
        2130,
        2131,
        2132,
        2133,
        2134,
        2135,
        2136,
        2137,
        2138,
        2139,
        2140,
        2141,
        2142,
        2143,
        2144,
        2145,
        2146,
        2147,
        2148,
        2149,
        2150,
        2151,
        2152,
        2153,
        2154,
        2155,
        2156,
        2157,
        2158,
        2159,
        2160,
        2161,
        2162,
        2163,
        2164,
        2165,
        2166,
        2167,
        2168,
        2169,
        2170,
        2171,
        2172,
        2173,
        2174,
        2175,
        2176,
        2177,
        2178,
        2179,
        2180,
        2181,
        2182,
        2183,
        2184,
        2185,
        2186,
        2187,
        2188,
        2189,
        2190,
        2191,
        2192,
        2193,
        2194,
        2195,
        2196,
        2197,
        2198,
        2199,
        2200,
        2201,
        2202,
        2203,
        2204,
        2205,
        2206,
        2207,
        2208,
        2209,
        2210,
        2211,
        2212,
        2213,
        2214,
        2215,
        2216,
        2217,
        2218,
        2219,
        2220,
        2221,
        2222,
        2223,
        2224,
        2225,
        2226,
        2227,
        2228,
        2229,
        2230,
        2231,
        2232,
        2233,
        2234,
        2235,
        2236,
        2237,
        2238,
        2239,
        2240,
        2241,
        2242,
        2243,
        2244,
        2245,
        2246,
        2247,
        2248,
        2249,
        2250,
        2251,
        2252,
        2253,
        2254,
        2255,
        2256,
        2257,
        2258,
        2259,
        2260,
        2261,
        2262,
        2263,
        2264,
        2265,
        2266,
        2267,
        2268,
        2269,
        2270,
        2271,
        2272,
        2273,
        2274,
        2275,
        2276,
        2277,
        2278,
        2279,
        2280,
        2281,
        2282,
        2283,
        2284,
        2285,
        2286,
        2287,
        2288,
        2289,
        2290,
        2291,
        2292,
        2293,
        2294,
        2295,
        2296,
        2297,
        2298,
        2299,
        2300,
        2301,
        2302,
        2303,
        2304,
        2305,
        2306,
        2307,
        2308,
        2309,
        2310,
        2311,
        2312,
        2313,
        2314,
        2315,
        2316,
        2317,
        2318,
        2319,
        2320,
        2321,
        2322,
        2323,
        2324,
        2325,
        2326,
        2327,
        2328,
        2329,
        2330,
        2331,
        2332,
        2333,
        2334,
        2335,
        2336,
        2337,
        2338,
        2339,
        2340,
        2341,
        2342,
        2343,
        2344,
        2345,
        2346,
        2347,
        2348,
        2349,
        2350,
        2351,
        2352,
        2353,
        2354,
        2355,
        2356,
        2357,
        2358,
        2359,
        2360,
        2361,
        2362,
        2363,
        2364,
        2365,
        2366,
        2367,
        2368,
        2369,
        2370,
        2371,
        2372,
        2373,
        2374,
        2375,
        2376,
        2377,
        2378,
        2379,
        2380,
        2381,
        2382,
        2383,
        2384,
        2385,
        2386,
        2387,
        2388,
        2389,
        2390,
        2391,
        2392,
        2393,
        2394,
        2395,
        2396,
        2397,
        2398,
        2399,
        2400,
        2401,
        2402,
        2403,
        2404,
        2405,
        2406,
        2407,
        2408,
        2409,
        2410,
        2411,
        2412,
        2413,
        2414,
        2415,
        2416,
        2417,
        2418,
        2419,
        2420,
        2421,
        2422,
        2423,
        2424,
        2425,
        2426,
        2427,
        2428,
        2429,
        2430,
        2431,
        2432,
        2433,
        2434,
        2435,
        2436,
        2437,
        2438,
        2439,
        2440,
        2441,
        2442,
        2443,
        2444,
        2445,
        2446,
        2447,
        2448,
        2449,
        2450,
        2451,
        2452,
        2453,
        2454,
        2455,
        2456,
        2457,
        2458,
        2459,
        2460,
        2461,
        2462,
        2463,
        2464,
        2465,
        2466,
        2467,
        2468,
        2469,
        2470,
        2471,
        2472,
        2473,
        2474,
        2475,
        2476,
        2477,
        2478,
        2479,
        2480,
        2481,
        2482,
        2483,
        2484,
        2485,
        2486,
        2487,
        2488,
        2489,
        2490,
        2491,
        2492,
        2493,
        2494,
        2495,
        2496,
        2497,
        2498,
        2499,
        2500,
        2501,
        2502,
        2503,
        2504,
        2505,
        2506,
        2507,
        2508,
        2509,
        2510,
        2511,
        2512,
        2513,
        2514,
        2515,
        2516,
        2517,
        2518,
        2519,
        2520,
        2521,
        2522,
        2523,
        2524,
        2525,
        2526,
        2527,
        2528,
        2529,
        2530,
        2531,
        2532,
        2533,
        2534,
        2535,
        2536,
        2537,
        2538,
        2539,
        2540,
        2541,
        2542,
        2543,
        2544,
        2545,
        2546,
        2547,
        2548,
        2549,
        2550,
        2551,
        2552,
        2553,
        2554,
        2555,
        2556,
        2557,
        2558,
        2559,
        2560,
        2561,
        2562,
        2563,
        2564,
        2565,
        2566,
        2567,
        2568,
        2569,
        2570,
        2571,
        2572,
        2573,
        2574,
        2575,
        2576,
        2577,
        2578,
        2579,
        2580,
        2581,
        2582,
        2583,
        2584,
        2585,
        2586,
        2587,
        2588,
        2589,
        2590,
        2591,
        2592,
        2593,
        2594,
        2595,
        2596,
        2597,
        2598,
        2599,
        2600,
        2601,
        2602,
        2603,
        2604,
        2605,
        2606,
        2607,
        2608,
        2609,
        2610,
        2611,
        2612,
        2613,
        2614,
        2615,
        2616,
        2617,
        2618,
        2619,
        2620,
        2621,
        2622,
        2623,
        2624,
        2625,
        2626,
        2627,
        2628,
        2629,
        2630,
        2631,
        2632,
        2633,
        2634,
        2635,
        2636,
        2637,
        2638,
        2639,
        2640,
        2641,
        2642,
        2643,
        2644,
        2645,
        2646,
        2647,
        2648,
        2649,
        2650,
        2651,
        2652,
        2653,
        2654,
        2655,
        2656,
        2657,
        2658,
        2659,
        2660,
        2661,
        2662,
        2663,
        2664,
        2665,
        2666,
        2667,
        2668,
        2669,
        2670,
        2671,
        2672,
        2673,
        2674,
        2675,
        2676,
        2677,
        2678,
        2679,
        2680,
        2681,
        2682,
        2683,
        2684,
        2685,
        2686,
        2687,
        2688,
        2689,
        2690,
        2691,
        2692,
        2693,
        2694,
        2695,
        2696,
        2697,
        2698,
        2699,
        2700,
        2701,
        2702,
        2703,
        2704,
        2705,
        2706,
        2707,
        2708,
        2709,
        2710,
        2711,
        2712,
        2713,
        2714,
        2715,
        2716,
        2717,
        2718,
        2719,
        2720,
        2721,
        2722,
        2723,
        2724,
        2725,
        2726,
        2727,
        2728,
        2729,
        2730,
        2731,
        2732,
        2733,
        2734,
        2735,
        2736,
        2737,
        2738,
        2739,
        2740,
        2741,
        2742,
        2743,
        2744,
        2745,
        2746,
        2747,
        2748,
        2749,
        2750,
        2751,
        2752,
        2753,
        2754,
        2755,
        2756,
        2757,
        2758,
        2759,
        2760,
        2761,
        2762,
        2763,
        2764,
        2765,
        2766,
        2767,
        2768,
        2769,
        2770,
        2771,
        2772,
        2773,
        2774,
        2775,
        2776,
        2777,
        2778,
        2779,
        2780,
        2781,
        2782,
        2783,
        2784,
        2785,
        2786,
        2787,
        2788,
        2789,
        2790,
        2791,
        2792,
        2793,
        2794,
        2795,
        2796,
        2797,
        2798,
        2799,
        2800,
        2801,
        2802,
        2803,
        2804,
        2805,
        2806,
        2807,
        2808,
        2809,
        2810,
        2811,
        2812,
        2813,
        2814,
        2815,
        2816,
        2817,
        2818,
        2819,
        2820,
        2821,
        2822,
        2823,
        2824,
        2825,
        2826,
        2827,
        2828,
        2829,
        2830,
        2831,
        2832,
        2833,
        2834,
        2835,
        2836,
        2837,
        2838,
        2839,
        2840,
        2841,
        2842,
        2843,
        2844,
        2845,
        2846,
        2847,
        2848,
        2849,
        2850,
        2851,
        2852,
        2853,
        2854,
        2855,
        2856,
        2857,
        2858,
        2859,
        2860,
        2861,
        2862,
        2863,
        2864,
        2865,
        2866,
        2867,
        2868,
        2869,
        2870,
        2871,
        2872,
        2873,
        2874,
        2875,
        2876,
        2877,
        2878,
        2879,
        2880,
        2881,
        2882,
        2883,
        2884,
        2885,
        2886,
        2887,
        2888,
        2889,
        2890,
        2891,
        2892,
        2893,
        2894,
        2895,
        2896,
        2897,
        2898,
        2899,
        2900,
        2901,
        2902,
        2903,
        2904,
        2905,
        2906,
        2907,
        2908,
        2909,
        2910,
        2911,
        2912,
        2913,
        2914,
        2915,
        2916,
        2917,
        2918,
        2919,
        2920,
        2921,
        2922,
        2923,
        2924,
        2925,
        2926,
        2927,
        2928,
        2929,
        2930,
        2931,
        2932,
        2933,
        2934,
        2935,
        2936,
        2937,
        2938,
        2939,
        2940,
        2941,
        2942,
        2943,
        2944,
        2945,
        2946,
        2947,
        2948,
        2949,
        2950,
        2951,
        2952,
        2953,
        2954,
        2955,
        2956,
        2957,
        2958,
        2959,
        2960,
        2961,
        2962,
        2963,
        2964,
        2965,
        2966,
        2967,
        2968,
        2969,
        2970,
        2971,
        2972,
        2973,
        2974,
        2975,
        2976,
        2977,
        2978,
        2979,
        2980,
        2981,
        2982,
        2983,
        2984,
        2985,
        2986,
        2987,
        2988,
        2989,
        2990,
        2991,
        2992,
        2993,
        2994,
        2995,
        2996,
        2997,
        2998,
        2999,
        3000,
        3001,
        3002,
        3003,
        3004,
        3005,
        3006,
        3007,
        3008,
        3009,
        3010,
        3011,
        3012,
        3013,
        3014,
        3015,
        3016,
        3017,
        3018,
        3019,
        3020,
        3021,
        3022,
        3023,
        3024,
        3025,
        3026,
        3027,
        3028,
        3029,
        3030,
        3031,
        3032,
        3033,
        3034,
        3035,
        3036,
        3037,
        3038,
        3039,
        3040,
        3041,
        3042,
        3043,
        3044,
        3045,
        3046,
        3047,
        3048,
        3049,
        3050,
        3051,
        3052,
        3053,
        3054,
        3055,
        3056,
        3057,
        3058,
        3059,
        3060,
        3061,
        3062,
        3063,
        3064,
        3065,
        3066,
        3067,
        3068,
        3069,
        3070,
        3071,
        3072,
        3073,
        3074,
        3075,
        3076,
        3077,
        3078,
        3079,
        3080,
        3081,
        3082,
        3083,
        3084,
        3085,
        3086,
        3087,
        3088,
        3089,
        3090,
        3091,
        3092,
        3093,
        3094,
        3095,
        3096,
        3097,
        3098,
        3099,
        3100,
        3101,
        3102,
        3103,
        3104,
        3105,
        3106,
        3107,
        3108,
        3109,
        3110,
        3111,
        3112,
        3113,
        3114,
        3115,
        3116,
        3117,
        3118,
        3119,
        3120,
        3121,
        3122,
        3123,
        3124,
        3125,
        3126,
        3127,
        3128,
        3129,
        3130,
        3131,
        3132,
        3133,
        3134,
        3135,
        3136,
        3137,
        3138,
        3139,
        3140,
        3141,
        3142,
        3143,
        3144,
        3145,
        3146,
        3147,
        3148,
        3149,
        3150,
        3151,
        3152,
        3153,
        3154,
        3155,
        3156,
        3157,
        3158,
        3159,
        3160,
        3161,
        3162,
        3163,
        3164,
        3165,
        3166,
        3167,
        3168,
        3169,
        3170,
        3171,
        3172,
        3173,
        3174,
        3175,
        3176,
        3177,
        3178,
        3179,
        3180,
        3181,
        3182,
        3183,
        3184,
        3185,
        3186,
        3187,
        3188,
        3189,
        3190,
        3191,
        3192,
        3193,
        3194,
        3195,
        3196,
        3197,
        3198,
        3199,
        3200,
        3201,
        3202,
        3203,
        3204,
        3205,
        3206,
        3207,
        3208,
        3209,
        3210,
        3211,
        3212,
        3213,
        3214,
        3215,
        3216,
        3217,
        3218,
        3219,
        3220,
        3221,
        3222,
        3223,
        3224,
        3225,
        3226,
        3227,
        3228,
        3229,
        3230,
        3231,
        3232,
        3233,
        3234,
        3235,
        3236,
        3237,
        3238,
        3239,
        3240,
        3241,
        3242,
        3243,
        3244,
        3245,
        3246,
        3247,
        3248,
        3249,
        3250,
        3251,
        3252,
        3253,
        3254,
        3255,
        3256,
        3257,
        3258,
        3259,
        3260,
        3261,
        3262,
        3263,
        3264,
        3265,
        3266,
        3267,
        3268,
        3269,
        3270,
        3271,
        3272,
        3273,
        3274,
        3275,
        3276,
        3277,
        3278,
        3279,
        3280,
        3281,
        3282,
        3283,
        3284,
        3285,
        3286,
        3287,
        3288,
        3289,
        3290,
        3291,
        3292,
        3293,
        3294,
        3295,
        3296,
        3297,
        3298,
        3299,
        3300,
        3301,
        3302,
        3303,
        3304,
        3305,
        3306,
        3307,
        3308,
        3309,
        3310,
        3311,
        3312,
        3313,
        3314,
        3315,
        3316,
        3317,
        3318,
        3319,
        3320,
        3321,
        3322,
        3323,
        3324,
        3325,
        3326,
        3327,
        3328,
        3329,
        3330,
        3331,
        3332,
        3333,
        3334,
        3335,
        3336,
        3337,
        3338,
        3339,
        3340,
        3341,
        3342,
        3343,
        3344,
        3345,
        3346,
        3347,
        3348,
        3349,
        3350,
        3351,
        3352,
        3353,
        3354,
        3355,
        3356,
        3357,
        3358,
        3359,
        3360,
        3361,
        3362,
        3363,
        3364,
        3365,
        3366,
        3367,
        3368,
        3369,
        3370,
        3371,
        3372,
        3373,
        3374,
        3375,
        3376,
        3377,
        3378,
        3379,
        3380,
        3381,
        3382,
        3383,
        3384,
        3385,
        3386,
        3387,
        3388,
        3389,
        3390,
        3391,
        3392,
        3393,
        3394,
        3395,
        3396,
        3397,
        3398,
        3399,
        3400,
        3401,
        3402,
        3403,
        3404,
        3405,
        3406,
        3407,
        3408,
        3409,
        3410,
        3411,
        3412,
        3413,
        3414,
        3415,
        3416,
        3417,
        3418,
        3419,
        3420,
        3421,
        3422,
        3423,
        3424,
        3425,
        3426,
        3427,
        3428,
        3429,
        3430,
        3431,
        3432,
        3433,
        3434,
        3435,
        3436,
        3437,
        3438,
        3439,
        3440,
        3441,
        3442,
        3443,
        3444,
        3445,
        3446,
        3447,
        3448,
        3449,
        3450,
        3451,
        3452,
        3453,
        3454,
        3455,
        3456,
        3457,
        3458,
        3459,
        3460,
        3461,
        3462,
        3463,
        3464,
        3465,
        3466,
        3467,
        3468,
        3469,
        3470,
        3471,
        3472,
        3473,
        3474,
        3475,
        3476,
        3477,
        3478,
        3479,
        3480,
        3481,
        3482,
        3483,
        3484,
        3485,
        3486,
        3487,
        3488,
        3489,
        3490,
        3491,
        3492,
        3493,
        3494,
        3495,
        3496,
        3497,
        3498,
        3499,
        3500,
        3501,
        3502,
        3503,
        3504,
        3505,
        3506,
        3507,
        3508,
        3509,
        3510,
        3511,
        3512,
        3513,
        3514,
        3515,
        3516,
        3517,
        3518,
        3519,
        3520,
        3521,
        3522,
        3523,
        3524,
        3525,
        3526,
        3527,
        3528,
        3529,
        3530,
        3531,
        3532,
        3533,
        3534,
        3535,
        3536,
        3537,
        3538,
        3539,
        3540,
        3541,
        3542,
        3543,
        3544,
        3545,
        3546,
        3547,
        3548,
        3549,
        3550,
        3551,
        3552,
        3553,
        3554,
        3555,
        3556,
        3557,
        3558,
        3559,
        3560,
        3561,
        3562,
        3564,
        3565,
        3566,
        3568,
        3569,
        3570,
        3572,
        3573,
        3574,
        3576,
        3577,
        3578,
        3580,
        3581,
        3582,
        3584,
        3585,
        3586
      ],
      "diffset": [
        -1793,
        -1792,
        -1791,
        -1789,
        -1788,
        -1787,
        -1785,
        -1784,
        -1783,
        -1781,
        -1780,
        -1779,
        -1777,
        -1776,
        -1775,
        -1773,
        -1772,
        -1771,
        -1769,
        -1768,
        -1767,
        -1766,
        -1765,
        -1764,
        -1763,
        -1762,
        -1761,
        -1760,
        -1759,
        -1758,
        -1757,
        -1756,
        -1755,
        -1754,
        -1753,
        -1752,
        -1751,
        -1750,
        -1749,
        -1748,
        -1747,
        -1746,
        -1745,
        -1744,
        -1743,
        -1742,
        -1741,
        -1740,
        -1739,
        -1738,
        -1737,
        -1736,
        -1735,
        -1734,
        -1733,
        -1732,
        -1731,
        -1730,
        -1729,
        -1728,
        -1727,
        -1726,
        -1725,
        -1724,
        -1723,
        -1722,
        -1721,
        -1720,
        -1719,
        -1718,
        -1717,
        -1716,
        -1715,
        -1714,
        -1713,
        -1712,
        -1711,
        -1709,
        -1708,
        -1707,
        -1705,
        -1704,
        -1703,
        -1701,
        -1700,
        -1699,
        -1697,
        -1696,
        -1695,
        -1693,
        -1692,
        -1691,
        -1689,
        -1688,
        -1687,
        -1685,
        -1684,
        -1683,
        -1682,
        -1681,
        -1680,
        -1679,
        -1677,
        -1676,
        -1675,
        -1673,
        -1672,
        -1671,
        -1669,
        -1668,
        -1667,
        -1665,
        -1664,
        -1663,
        -1661,
        -1660,
        -1659,
        -1657,
        -1656,
        -1655,
        -1653,
        -1652,
        -1651,
        -1649,
        -1648,
        -1647,
        -1645,
        -1644,
        -1643,
        -1641,
        -1640,
        -1639,
        -1637,
        -1636,
        -1635,
        -1633,
        -1632,
        -1631,
        -1629,
        -1628,
        -1627,
        -1626,
        -1625,
        -1624,
        -1623,
        -1621,
        -1620,
        -1619,
        -1617,
        -1616,
        -1615,
        -1613,
        -1612,
        -1611,
        -1609,
        -1608,
        -1607,
        -1605,
        -1604,
        -1603,
        -1601,
        -1600,
        -1599,
        -1597,
        -1596,
        -1595,
        -1593,
        -1592,
        -1591,
        -1589,
        -1588,
        -1587,
        -1585,
        -1584,
        -1583,
        -1581,
        -1580,
        -1579,
        -1577,
        -1576,
        -1575,
        -1573,
        -1572,
        -1571,
        -1570,
        -1569,
        -1568,
        -1567,
        -1565,
        -1564,
        -1563,
        -1561,
        -1560,
        -1559,
        -1557,
        -1556,
        -1555,
        -1553,
        -1552,
        -1551,
        -1549,
        -1548,
        -1547,
        -1545,
        -1544,
        -1543,
        -1541,
        -1540,
        -1539,
        -1537,
        -1536,
        -1535,
        -1533,
        -1532,
        -1531,
        -1529,
        -1528,
        -1527,
        -1525,
        -1524,
        -1523,
        -1521,
        -1520,
        -1519,
        -1517,
        -1516,
        -1515,
        -1514,
        -1513,
        -1512,
        -1511,
        -1509,
        -1508,
        -1507,
        -1505,
        -1504,
        -1503,
        -1501,
        -1500,
        -1499,
        -1497,
        -1496,
        -1495,
        -1493,
        -1492,
        -1491,
        -1489,
        -1488,
        -1487,
        -1485,
        -1484,
        -1483,
        -1481,
        -1480,
        -1479,
        -1477,
        -1476,
        -1475,
        -1473,
        -1472,
        -1471,
        -1469,
        -1468,
        -1467,
        -1465,
        -1464,
        -1463,
        -1461,
        -1460,
        -1459,
        -1458,
        -1457,
        -1456,
        -1455,
        -1453,
        -1452,
        -1451,
        -1449,
        -1448,
        -1447,
        -1445,
        -1444,
        -1443,
        -1441,
        -1440,
        -1439,
        -1437,
        -1436,
        -1435,
        -1433,
        -1432,
        -1431,
        -1429,
        -1428,
        -1427,
        -1425,
        -1424,
        -1423,
        -1421,
        -1420,
        -1419,
        -1417,
        -1416,
        -1415,
        -1413,
        -1412,
        -1411,
        -1409,
        -1408,
        -1407,
        -1405,
        -1404,
        -1403,
        -1402,
        -1401,
        -1400,
        -1399,
        -1397,
        -1396,
        -1395,
        -1393,
        -1392,
        -1391,
        -1389,
        -1388,
        -1387,
        -1385,
        -1384,
        -1383,
        -1381,
        -1380,
        -1379,
        -1377,
        -1376,
        -1375,
        -1373,
        -1372,
        -1371,
        -1369,
        -1368,
        -1367,
        -1365,
        -1364,
        -1363,
        -1361,
        -1360,
        -1359,
        -1357,
        -1356,
        -1355,
        -1353,
        -1352,
        -1351,
        -1349,
        -1348,
        -1347,
        -1346,
        -1345,
        -1344,
        -1343,
        -1341,
        -1340,
        -1339,
        -1337,
        -1336,
        -1335,
        -1333,
        -1332,
        -1331,
        -1329,
        -1328,
        -1327,
        -1325,
        -1324,
        -1323,
        -1321,
        -1320,
        -1319,
        -1317,
        -1316,
        -1315,
        -1313,
        -1312,
        -1311,
        -1309,
        -1308,
        -1307,
        -1305,
        -1304,
        -1303,
        -1301,
        -1300,
        -1299,
        -1297,
        -1296,
        -1295,
        -1293,
        -1292,
        -1291,
        -1290,
        -1289,
        -1288,
        -1287,
        -1285,
        -1284,
        -1283,
        -1281,
        -1280,
        -1279,
        -1277,
        -1276,
        -1275,
        -1273,
        -1272,
        -1271,
        -1269,
        -1268,
        -1267,
        -1265,
        -1264,
        -1263,
        -1261,
        -1260,
        -1259,
        -1257,
        -1256,
        -1255,
        -1253,
        -1252,
        -1251,
        -1249,
        -1248,
        -1247,
        -1245,
        -1244,
        -1243,
        -1241,
        -1240,
        -1239,
        -1237,
        -1236,
        -1235,
        -1234,
        -1233,
        -1232,
        -1231,
        -1229,
        -1228,
        -1227,
        -1225,
        -1224,
        -1223,
        -1221,
        -1220,
        -1219,
        -1217,
        -1216,
        -1215,
        -1213,
        -1212,
        -1211,
        -1209,
        -1208,
        -1207,
        -1205,
        -1204,
        -1203,
        -1201,
        -1200,
        -1199,
        -1197,
        -1196,
        -1195,
        -1193,
        -1192,
        -1191,
        -1189,
        -1188,
        -1187,
        -1185,
        -1184,
        -1183,
        -1181,
        -1180,
        -1179,
        -1178,
        -1177,
        -1176,
        -1175,
        -1173,
        -1172,
        -1171,
        -1169,
        -1168,
        -1167,
        -1165,
        -1164,
        -1163,
        -1161,
        -1160,
        -1159,
        -1157,
        -1156,
        -1155,
        -1153,
        -1152,
        -1151,
        -1149,
        -1148,
        -1147,
        -1145,
        -1144,
        -1143,
        -1141,
        -1140,
        -1139,
        -1137,
        -1136,
        -1135,
        -1133,
        -1132,
        -1131,
        -1129,
        -1128,
        -1127,
        -1125,
        -1124,
        -1123,
        -1122,
        -1121,
        -1120,
        -1119,
        -1117,
        -1116,
        -1115,
        -1113,
        -1112,
        -1111,
        -1109,
        -1108,
        -1107,
        -1105,
        -1104,
        -1103,
        -1101,
        -1100,
        -1099,
        -1097,
        -1096,
        -1095,
        -1093,
        -1092,
        -1091,
        -1089,
        -1088,
        -1087,
        -1085,
        -1084,
        -1083,
        -1081,
        -1080,
        -1079,
        -1077,
        -1076,
        -1075,
        -1073,
        -1072,
        -1071,
        -1069,
        -1068,
        -1067,
        -1066,
        -1065,
        -1064,
        -1063,
        -1061,
        -1060,
        -1059,
        -1057,
        -1056,
        -1055,
        -1053,
        -1052,
        -1051,
        -1049,
        -1048,
        -1047,
        -1045,
        -1044,
        -1043,
        -1041,
        -1040,
        -1039,
        -1037,
        -1036,
        -1035,
        -1033,
        -1032,
        -1031,
        -1029,
        -1028,
        -1027,
        -1025,
        -1024,
        -1023,
        -1021,
        -1020,
        -1019,
        -1017,
        -1016,
        -1015,
        -1013,
        -1012,
        -1011,
        -1010,
        -1009,
        -1008,
        -1007,
        -1005,
        -1004,
        -1003,
        -1001,
        -1000,
        -999,
        -997,
        -996,
        -995,
        -993,
        -992,
        -991,
        -989,
        -988,
        -987,
        -985,
        -984,
        -983,
        -981,
        -980,
        -979,
        -977,
        -976,
        -975,
        -973,
        -972,
        -971,
        -969,
        -968,
        -967,
        -965,
        -964,
        -963,
        -961,
        -960,
        -959,
        -957,
        -956,
        -955,
        -954,
        -953,
        -952,
        -951,
        -949,
        -948,
        -947,
        -945,
        -944,
        -943,
        -941,
        -940,
        -939,
        -937,
        -936,
        -935,
        -933,
        -932,
        -931,
        -929,
        -928,
        -927,
        -925,
        -924,
        -923,
        -921,
        -920,
        -919,
        -917,
        -916,
        -915,
        -913,
        -912,
        -911,
        -909,
        -908,
        -907,
        -905,
        -904,
        -903,
        -901,
        -900,
        -899,
        -898,
        -897,
        -896,
        -895,
        -893,
        -892,
        -891,
        -889,
        -888,
        -887,
        -885,
        -884,
        -883,
        -881,
        -880,
        -879,
        -877,
        -876,
        -875,
        -873,
        -872,
        -871,
        -869,
        -868,
        -867,
        -865,
        -864,
        -863,
        -861,
        -860,
        -859,
        -857,
        -856,
        -855,
        -853,
        -852,
        -851,
        -849,
        -848,
        -847,
        -845,
        -844,
        -843,
        -842,
        -841,
        -840,
        -839,
        -837,
        -836,
        -835,
        -833,
        -832,
        -831,
        -829,
        -828,
        -827,
        -825,
        -824,
        -823,
        -821,
        -820,
        -819,
        -817,
        -816,
        -815,
        -813,
        -812,
        -811,
        -809,
        -808,
        -807,
        -805,
        -804,
        -803,
        -801,
        -800,
        -799,
        -797,
        -796,
        -795,
        -793,
        -792,
        -791,
        -789,
        -788,
        -787,
        -786,
        -785,
        -784,
        -783,
        -781,
        -780,
        -779,
        -777,
        -776,
        -775,
        -773,
        -772,
        -771,
        -769,
        -768,
        -767,
        -765,
        -764,
        -763,
        -761,
        -760,
        -759,
        -757,
        -756,
        -755,
        -753,
        -752,
        -751,
        -749,
        -748,
        -747,
        -745,
        -744,
        -743,
        -741,
        -740,
        -739,
        -737,
        -736,
        -735,
        -733,
        -732,
        -731,
        -730,
        -729,
        -728,
        -727,
        -725,
        -724,
        -723,
        -721,
        -720,
        -719,
        -717,
        -716,
        -715,
        -713,
        -712,
        -711,
        -709,
        -708,
        -707,
        -705,
        -704,
        -703,
        -701,
        -700,
        -699,
        -697,
        -696,
        -695,
        -693,
        -692,
        -691,
        -689,
        -688,
        -687,
        -685,
        -684,
        -683,
        -681,
        -680,
        -679,
        -677,
        -676,
        -675,
        -674,
        -673,
        -672,
        -671,
        -669,
        -668,
        -667,
        -665,
        -664,
        -663,
        -661,
        -660,
        -659,
        -657,
        -656,
        -655,
        -653,
        -652,
        -651,
        -649,
        -648,
        -647,
        -645,
        -644,
        -643,
        -641,
        -640,
        -639,
        -637,
        -636,
        -635,
        -633,
        -632,
        -631,
        -629,
        -628,
        -627,
        -625,
        -624,
        -623,
        -621,
        -620,
        -619,
        -618,
        -617,
        -616,
        -615,
        -613,
        -612,
        -611,
        -609,
        -608,
        -607,
        -605,
        -604,
        -603,
        -601,
        -600,
        -599,
        -597,
        -596,
        -595,
        -593,
        -592,
        -591,
        -589,
        -588,
        -587,
        -585,
        -584,
        -583,
        -581,
        -580,
        -579,
        -577,
        -576,
        -575,
        -573,
        -572,
        -571,
        -569,
        -568,
        -567,
        -565,
        -564,
        -563,
        -562,
        -561,
        -560,
        -559,
        -557,
        -556,
        -555,
        -553,
        -552,
        -551,
        -549,
        -548,
        -547,
        -545,
        -544,
        -543,
        -541,
        -540,
        -539,
        -537,
        -536,
        -535,
        -533,
        -532,
        -531,
        -529,
        -528,
        -527,
        -525,
        -524,
        -523,
        -521,
        -520,
        -519,
        -517,
        -516,
        -515,
        -513,
        -512,
        -511,
        -509,
        -508,
        -507,
        -506,
        -505,
        -504,
        -503,
        -501,
        -500,
        -499,
        -497,
        -496,
        -495,
        -493,
        -492,
        -491,
        -489,
        -488,
        -487,
        -485,
        -484,
        -483,
        -481,
        -480,
        -479,
        -477,
        -476,
        -475,
        -473,
        -472,
        -471,
        -469,
        -468,
        -467,
        -465,
        -464,
        -463,
        -461,
        -460,
        -459,
        -457,
        -456,
        -455,
        -453,
        -452,
        -451,
        -450,
        -449,
        -448,
        -447,
        -445,
        -444,
        -443,
        -441,
        -440,
        -439,
        -437,
        -436,
        -435,
        -433,
        -432,
        -431,
        -429,
        -428,
        -427,
        -425,
        -424,
        -423,
        -421,
        -420,
        -419,
        -417,
        -416,
        -415,
        -413,
        -412,
        -411,
        -409,
        -408,
        -407,
        -405,
        -404,
        -403,
        -401,
        -400,
        -399,
        -397,
        -396,
        -395,
        -394,
        -393,
        -392,
        -391,
        -389,
        -388,
        -387,
        -385,
        -384,
        -383,
        -381,
        -380,
        -379,
        -377,
        -376,
        -375,
        -373,
        -372,
        -371,
        -369,
        -368,
        -367,
        -365,
        -364,
        -363,
        -361,
        -360,
        -359,
        -357,
        -356,
        -355,
        -353,
        -352,
        -351,
        -349,
        -348,
        -347,
        -345,
        -344,
        -343,
        -341,
        -340,
        -339,
        -338,
        -337,
        -336,
        -335,
        -333,
        -332,
        -331,
        -329,
        -328,
        -327,
        -325,
        -324,
        -323,
        -321,
        -320,
        -319,
        -317,
        -316,
        -315,
        -313,
        -312,
        -311,
        -309,
        -308,
        -307,
        -305,
        -304,
        -303,
        -301,
        -300,
        -299,
        -297,
        -296,
        -295,
        -293,
        -292,
        -291,
        -289,
        -288,
        -287,
        -285,
        -284,
        -283,
        -282,
        -281,
        -280,
        -279,
        -277,
        -276,
        -275,
        -273,
        -272,
        -271,
        -269,
        -268,
        -267,
        -265,
        -264,
        -263,
        -261,
        -260,
        -259,
        -257,
        -256,
        -255,
        -253,
        -252,
        -251,
        -249,
        -248,
        -247,
        -245,
        -244,
        -243,
        -241,
        -240,
        -239,
        -237,
        -236,
        -235,
        -233,
        -232,
        -231,
        -229,
        -228,
        -227,
        -226,
        -225,
        -224,
        -223,
        -221,
        -220,
        -219,
        -217,
        -216,
        -215,
        -213,
        -212,
        -211,
        -209,
        -208,
        -207,
        -205,
        -204,
        -203,
        -201,
        -200,
        -199,
        -197,
        -196,
        -195,
        -193,
        -192,
        -191,
        -189,
        -188,
        -187,
        -185,
        -184,
        -183,
        -181,
        -180,
        -179,
        -177,
        -176,
        -175,
        -173,
        -172,
        -171,
        -170,
        -169,
        -168,
        -167,
        -165,
        -164,
        -163,
        -161,
        -160,
        -159,
        -157,
        -156,
        -155,
        -153,
        -152,
        -151,
        -149,
        -148,
        -147,
        -145,
        -144,
        -143,
        -141,
        -140,
        -139,
        -137,
        -136,
        -135,
        -133,
        -132,
        -131,
        -129,
        -128,
        -127,
        -125,
        -124,
        -123,
        -121,
        -120,
        -119,
        -117,
        -116,
        -115,
        -114,
        -113,
        -112,
        -111,
        -109,
        -108,
        -107,
        -105,
        -104,
        -103,
        -101,
        -100,
        -99,
        -97,
        -96,
        -95,
        -93,
        -92,
        -91,
        -89,
        -88,
        -87,
        -85,
        -84,
        -83,
        -81,
        -80,
        -79,
        -77,
        -76,
        -75,
        -73,
        -72,
        -71,
        -69,
        -68,
        -67,
        -65,
        -64,
        -63,
        -61,
        -60,
        -59,
        -58,
        -57,
        -56,
        -55,
        -53,
        -52,
        -51,
        -49,
        -48,
        -47,
        -45,
        -44,
        -43,
        -41,
        -40,
        -39,
        -37,
        -36,
        -35,
        -33,
        -32,
        -31,
        -29,
        -28,
        -27,
        -26,
        -25,
        -24,
        -23,
        -22,
        -21,
        -20,
        -19,
        -18,
        -17,
        -16,
        -15,
        -14,
        -13,
        -12,
        -11,
        -10,
        -9,
        -8,
        -7,
        -6,
        -5,
        -4,
        -3,
        -2,
        -1,
        0,
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        16,
        17,
        18,
        19,
        20,
        21,
        22,
        23,
        24,
        25,
        26,
        27,
        28,
        29,
        31,
        32,
        33,
        35,
        36,
        37,
        39,
        40,
        41,
        43,
        44,
        45,
        47,
        48,
        49,
        51,
        52,
        53,
        55,
        56,
        57,
        58,
        59,
        60,
        61,
        63,
        64,
        65,
        67,
        68,
        69,
        71,
        72,
        73,
        75,
        76,
        77,
        79,
        80,
        81,
        83,
        84,
        85,
        87,
        88,
        89,
        91,
        92,
        93,
        95,
        96,
        97,
        99,
        100,
        101,
        103,
        104,
        105,
        107,
        108,
        109,
        111,
        112,
        113,
        114,
        115,
        116,
        117,
        119,
        120,
        121,
        123,
        124,
        125,
        127,
        128,
        129,
        131,
        132,
        133,
        135,
        136,
        137,
        139,
        140,
        141,
        143,
        144,
        145,
        147,
        148,
        149,
        151,
        152,
        153,
        155,
        156,
        157,
        159,
        160,
        161,
        163,
        164,
        165,
        167,
        168,
        169,
        170,
        171,
        172,
        173,
        175,
        176,
        177,
        179,
        180,
        181,
        183,
        184,
        185,
        187,
        188,
        189,
        191,
        192,
        193,
        195,
        196,
        197,
        199,
        200,
        201,
        203,
        204,
        205,
        207,
        208,
        209,
        211,
        212,
        213,
        215,
        216,
        217,
        219,
        220,
        221,
        223,
        224,
        225,
        226,
        227,
        228,
        229,
        231,
        232,
        233,
        235,
        236,
        237,
        239,
        240,
        241,
        243,
        244,
        245,
        247,
        248,
        249,
        251,
        252,
        253,
        255,
        256,
        257,
        259,
        260,
        261,
        263,
        264,
        265,
        267,
        268,
        269,
        271,
        272,
        273,
        275,
        276,
        277,
        279,
        280,
        281,
        282,
        283,
        284,
        285,
        287,
        288,
        289,
        291,
        292,
        293,
        295,
        296,
        297,
        299,
        300,
        301,
        303,
        304,
        305,
        307,
        308,
        309,
        311,
        312,
        313,
        315,
        316,
        317,
        319,
        320,
        321,
        323,
        324,
        325,
        327,
        328,
        329,
        331,
        332,
        333,
        335,
        336,
        337,
        338,
        339,
        340,
        341,
        343,
        344,
        345,
        347,
        348,
        349,
        351,
        352,
        353,
        355,
        356,
        357,
        359,
        360,
        361,
        363,
        364,
        365,
        367,
        368,
        369,
        371,
        372,
        373,
        375,
        376,
        377,
        379,
        380,
        381,
        383,
        384,
        385,
        387,
        388,
        389,
        391,
        392,
        393,
        394,
        395,
        396,
        397,
        399,
        400,
        401,
        403,
        404,
        405,
        407,
        408,
        409,
        411,
        412,
        413,
        415,
        416,
        417,
        419,
        420,
        421,
        423,
        424,
        425,
        427,
        428,
        429,
        431,
        432,
        433,
        435,
        436,
        437,
        439,
        440,
        441,
        443,
        444,
        445,
        447,
        448,
        449,
        450,
        451,
        452,
        453,
        455,
        456,
        457,
        459,
        460,
        461,
        463,
        464,
        465,
        467,
        468,
        469,
        471,
        472,
        473,
        475,
        476,
        477,
        479,
        480,
        481,
        483,
        484,
        485,
        487,
        488,
        489,
        491,
        492,
        493,
        495,
        496,
        497,
        499,
        500,
        501,
        503,
        504,
        505,
        506,
        507,
        508,
        509,
        511,
        512,
        513,
        515,
        516,
        517,
        519,
        520,
        521,
        523,
        524,
        525,
        527,
        528,
        529,
        531,
        532,
        533,
        535,
        536,
        537,
        539,
        540,
        541,
        543,
        544,
        545,
        547,
        548,
        549,
        551,
        552,
        553,
        555,
        556,
        557,
        559,
        560,
        561,
        562,
        563,
        564,
        565,
        567,
        568,
        569,
        571,
        572,
        573,
        575,
        576,
        577,
        579,
        580,
        581,
        583,
        584,
        585,
        587,
        588,
        589,
        591,
        592,
        593,
        595,
        596,
        597,
        599,
        600,
        601,
        603,
        604,
        605,
        607,
        608,
        609,
        611,
        612,
        613,
        615,
        616,
        617,
        618,
        619,
        620,
        621,
        623,
        624,
        625,
        627,
        628,
        629,
        631,
        632,
        633,
        635,
        636,
        637,
        639,
        640,
        641,
        643,
        644,
        645,
        647,
        648,
        649,
        651,
        652,
        653,
        655,
        656,
        657,
        659,
        660,
        661,
        663,
        664,
        665,
        667,
        668,
        669,
        671,
        672,
        673,
        674,
        675,
        676,
        677,
        679,
        680,
        681,
        683,
        684,
        685,
        687,
        688,
        689,
        691,
        692,
        693,
        695,
        696,
        697,
        699,
        700,
        701,
        703,
        704,
        705,
        707,
        708,
        709,
        711,
        712,
        713,
        715,
        716,
        717,
        719,
        720,
        721,
        723,
        724,
        725,
        727,
        728,
        729,
        730,
        731,
        732,
        733,
        735,
        736,
        737,
        739,
        740,
        741,
        743,
        744,
        745,
        747,
        748,
        749,
        751,
        752,
        753,
        755,
        756,
        757,
        759,
        760,
        761,
        763,
        764,
        765,
        767,
        768,
        769,
        771,
        772,
        773,
        775,
        776,
        777,
        779,
        780,
        781,
        783,
        784,
        785,
        786,
        787,
        788,
        789,
        791,
        792,
        793,
        795,
        796,
        797,
        799,
        800,
        801,
        803,
        804,
        805,
        807,
        808,
        809,
        811,
        812,
        813,
        815,
        816,
        817,
        819,
        820,
        821,
        823,
        824,
        825,
        827,
        828,
        829,
        831,
        832,
        833,
        835,
        836,
        837,
        839,
        840,
        841,
        842,
        843,
        844,
        845,
        847,
        848,
        849,
        851,
        852,
        853,
        855,
        856,
        857,
        859,
        860,
        861,
        863,
        864,
        865,
        867,
        868,
        869,
        871,
        872,
        873,
        875,
        876,
        877,
        879,
        880,
        881,
        883,
        884,
        885,
        887,
        888,
        889,
        891,
        892,
        893,
        895,
        896,
        897,
        898,
        899,
        900,
        901,
        903,
        904,
        905,
        907,
        908,
        909,
        911,
        912,
        913,
        915,
        916,
        917,
        919,
        920,
        921,
        923,
        924,
        925,
        927,
        928,
        929,
        931,
        932,
        933,
        935,
        936,
        937,
        939,
        940,
        941,
        943,
        944,
        945,
        947,
        948,
        949,
        951,
        952,
        953,
        954,
        955,
        956,
        957,
        959,
        960,
        961,
        963,
        964,
        965,
        967,
        968,
        969,
        971,
        972,
        973,
        975,
        976,
        977,
        979,
        980,
        981,
        983,
        984,
        985,
        987,
        988,
        989,
        991,
        992,
        993,
        995,
        996,
        997,
        999,
        1000,
        1001,
        1003,
        1004,
        1005,
        1007,
        1008,
        1009,
        1010,
        1011,
        1012,
        1013,
        1015,
        1016,
        1017,
        1019,
        1020,
        1021,
        1023,
        1024,
        1025,
        1027,
        1028,
        1029,
        1031,
        1032,
        1033,
        1035,
        1036,
        1037,
        1039,
        1040,
        1041,
        1043,
        1044,
        1045,
        1047,
        1048,
        1049,
        1051,
        1052,
        1053,
        1055,
        1056,
        1057,
        1059,
        1060,
        1061,
        1063,
        1064,
        1065,
        1066,
        1067,
        1068,
        1069,
        1071,
        1072,
        1073,
        1075,
        1076,
        1077,
        1079,
        1080,
        1081,
        1083,
        1084,
        1085,
        1087,
        1088,
        1089,
        1091,
        1092,
        1093,
        1095,
        1096,
        1097,
        1099,
        1100,
        1101,
        1103,
        1104,
        1105,
        1107,
        1108,
        1109,
        1111,
        1112,
        1113,
        1115,
        1116,
        1117,
        1119,
        1120,
        1121,
        1122,
        1123,
        1124,
        1125,
        1127,
        1128,
        1129,
        1131,
        1132,
        1133,
        1135,
        1136,
        1137,
        1139,
        1140,
        1141,
        1143,
        1144,
        1145,
        1147,
        1148,
        1149,
        1151,
        1152,
        1153,
        1155,
        1156,
        1157,
        1159,
        1160,
        1161,
        1163,
        1164,
        1165,
        1167,
        1168,
        1169,
        1171,
        1172,
        1173,
        1175,
        1176,
        1177,
        1178,
        1179,
        1180,
        1181,
        1183,
        1184,
        1185,
        1187,
        1188,
        1189,
        1191,
        1192,
        1193,
        1195,
        1196,
        1197,
        1199,
        1200,
        1201,
        1203,
        1204,
        1205,
        1207,
        1208,
        1209,
        1211,
        1212,
        1213,
        1215,
        1216,
        1217,
        1219,
        1220,
        1221,
        1223,
        1224,
        1225,
        1227,
        1228,
        1229,
        1231,
        1232,
        1233,
        1234,
        1235,
        1236,
        1237,
        1239,
        1240,
        1241,
        1243,
        1244,
        1245,
        1247,
        1248,
        1249,
        1251,
        1252,
        1253,
        1255,
        1256,
        1257,
        1259,
        1260,
        1261,
        1263,
        1264,
        1265,
        1267,
        1268,
        1269,
        1271,
        1272,
        1273,
        1275,
        1276,
        1277,
        1279,
        1280,
        1281,
        1283,
        1284,
        1285,
        1287,
        1288,
        1289,
        1290,
        1291,
        1292,
        1293,
        1295,
        1296,
        1297,
        1299,
        1300,
        1301,
        1303,
        1304,
        1305,
        1307,
        1308,
        1309,
        1311,
        1312,
        1313,
        1315,
        1316,
        1317,
        1319,
        1320,
        1321,
        1323,
        1324,
        1325,
        1327,
        1328,
        1329,
        1331,
        1332,
        1333,
        1335,
        1336,
        1337,
        1339,
        1340,
        1341,
        1343,
        1344,
        1345,
        1346,
        1347,
        1348,
        1349,
        1351,
        1352,
        1353,
        1355,
        1356,
        1357,
        1359,
        1360,
        1361,
        1363,
        1364,
        1365,
        1367,
        1368,
        1369,
        1371,
        1372,
        1373,
        1375,
        1376,
        1377,
        1379,
        1380,
        1381,
        1383,
        1384,
        1385,
        1387,
        1388,
        1389,
        1391,
        1392,
        1393,
        1395,
        1396,
        1397,
        1399,
        1400,
        1401,
        1402,
        1403,
        1404,
        1405,
        1407,
        1408,
        1409,
        1411,
        1412,
        1413,
        1415,
        1416,
        1417,
        1419,
        1420,
        1421,
        1423,
        1424,
        1425,
        1427,
        1428,
        1429,
        1431,
        1432,
        1433,
        1435,
        1436,
        1437,
        1439,
        1440,
        1441,
        1443,
        1444,
        1445,
        1447,
        1448,
        1449,
        1451,
        1452,
        1453,
        1455,
        1456,
        1457,
        1458,
        1459,
        1460,
        1461,
        1463,
        1464,
        1465,
        1467,
        1468,
        1469,
        1471,
        1472,
        1473,
        1475,
        1476,
        1477,
        1479,
        1480,
        1481,
        1483,
        1484,
        1485,
        1487,
        1488,
        1489,
        1491,
        1492,
        1493,
        1495,
        1496,
        1497,
        1499,
        1500,
        1501,
        1503,
        1504,
        1505,
        1507,
        1508,
        1509,
        1511,
        1512,
        1513,
        1514,
        1515,
        1516,
        1517,
        1519,
        1520,
        1521,
        1523,
        1524,
        1525,
        1527,
        1528,
        1529,
        1531,
        1532,
        1533,
        1535,
        1536,
        1537,
        1539,
        1540,
        1541,
        1543,
        1544,
        1545,
        1547,
        1548,
        1549,
        1551,
        1552,
        1553,
        1555,
        1556,
        1557,
        1559,
        1560,
        1561,
        1563,
        1564,
        1565,
        1567,
        1568,
        1569,
        1570,
        1571,
        1572,
        1573,
        1575,
        1576,
        1577,
        1579,
        1580,
        1581,
        1583,
        1584,
        1585,
        1587,
        1588,
        1589,
        1591,
        1592,
        1593,
        1595,
        1596,
        1597,
        1599,
        1600,
        1601,
        1603,
        1604,
        1605,
        1607,
        1608,
        1609,
        1611,
        1612,
        1613,
        1615,
        1616,
        1617,
        1619,
        1620,
        1621,
        1623,
        1624,
        1625,
        1626,
        1627,
        1628,
        1629,
        1631,
        1632,
        1633,
        1635,
        1636,
        1637,
        1639,
        1640,
        1641,
        1643,
        1644,
        1645,
        1647,
        1648,
        1649,
        1651,
        1652,
        1653,
        1655,
        1656,
        1657,
        1659,
        1660,
        1661,
        1663,
        1664,
        1665,
        1667,
        1668,
        1669,
        1671,
        1672,
        1673,
        1675,
        1676,
        1677,
        1679,
        1680,
        1681,
        1682,
        1683,
        1684,
        1685,
        1687,
        1688,
        1689,
        1691,
        1692,
        1693,
        1695,
        1696,
        1697,
        1699,
        1700,
        1701,
        1703,
        1704,
        1705,
        1707,
        1708,
        1709,
        1711,
        1712,
        1713,
        1714,
        1715,
        1716,
        1717,
        1718,
        1719,
        1720,
        1721,
        1722,
        1723,
        1724,
        1725,
        1726,
        1727,
        1728,
        1729,
        1730,
        1731,
        1732,
        1733,
        1734,
        1735,
        1736,
        1737,
        1738,
        1739,
        1740,
        1741,
        1742,
        1743,
        1744,
        1745,
        1746,
        1747,
        1748,
        1749,
        1750,
        1751,
        1752,
        1753,
        1754,
        1755,
        1756,
        1757,
        1758,
        1759,
        1760,
        1761,
        1762,
        1763,
        1764,
        1765,
        1766,
        1767,
        1768,
        1769,
        1771,
        1772,
        1773,
        1775,
        1776,
        1777,
        1779,
        1780,
        1781,
        1783,
        1784,
        1785,
        1787,
        1788,
        1789,
        1791,
        1792,
        1793
      ],
      "exponent": 1.1449985165387928
    }
  },
  "related_trajectories": []
}