{
  "kind": "Region placement permutation; logical instruction stream and per-region sizes unchanged",
  "original_program_sha256": "cb47a5a314b12f943eba618aae28a586b8b50aeebc0578b537ebefe67143bb2a",
  "logical_body_sha256": "8af20461174254ffe7a362b7127bebae50605b8f3def66bc8591cba1a1417453",
  "original_regions": [
    {
      "name": "f_s",
      "words": 20
    },
    {
      "name": "f_k",
      "words": 20
    },
    {
      "name": "f_ind",
      "words": 63
    },
    {
      "name": "f_resp",
      "words": 5
    },
    {
      "name": "f_m1",
      "words": 9248
    },
    {
      "name": "f_hist",
      "words": 2304
    },
    {
      "name": "f_cov",
      "words": 2401
    },
    {
      "name": "f_W1",
      "words": 392
    },
    {
      "name": "f_W2",
      "words": 245
    },
    {
      "name": "f_V",
      "words": 392
    },
    {
      "name": "f_den",
      "words": 8
    },
    {
      "name": "f_pv",
      "words": 49
    },
    {
      "name": "f_px",
      "words": 69360000
    },
    {
      "name": "f_pq",
      "words": 11560000
    },
    {
      "name": "f_x",
      "words": 47040000
    },
    {
      "name": "f_xq",
      "words": 7840000
    },
    {
      "name": "s",
      "words": 32
    },
    {
      "name": "k",
      "words": 36
    },
    {
      "name": "jval",
      "words": 8
    },
    {
      "name": "clsval",
      "words": 10
    },
    {
      "name": "kval",
      "words": 100
    },
    {
      "name": "gm",
      "words": 2655360
    },
    {
      "name": "gs",
      "words": 2304
    },
    {
      "name": "S",
      "words": 5308416
    },
    {
      "name": "ui",
      "words": 2304
    },
    {
      "name": "sc",
      "words": 100000
    },
    {
      "name": "sc2",
      "words": 100000
    },
    {
      "name": "SkA",
      "words": 10000
    },
    {
      "name": "muA",
      "words": 800
    },
    {
      "name": "clcovA",
      "words": 10000
    },
    {
      "name": "PwA",
      "words": 10000
    },
    {
      "name": "llA",
      "words": 8
    },
    {
      "name": "ldA",
      "words": 8
    },
    {
      "name": "piA",
      "words": 8
    },
    {
      "name": "csA",
      "words": 800
    },
    {
      "name": "ccA",
      "words": 8
    },
    {
      "name": "cntA",
      "words": 8
    },
    {
      "name": "denA",
      "words": 100
    },
    {
      "name": "mA",
      "words": 2304
    },
    {
      "name": "PA",
      "words": 80000
    },
    {
      "name": "WA",
      "words": 230400
    },
    {
      "name": "VA",
      "words": 230400
    },
    {
      "name": "covA",
      "words": 10000
    },
    {
      "name": "asA",
      "words": 60000
    },
    {
      "name": "rA",
      "words": 480000
    },
    {
      "name": "zA",
      "words": 6000000
    },
    {
      "name": "zqA",
      "words": 1000000
    },
    {
      "name": "x",
      "words": 138240000
    },
    {
      "name": "q",
      "words": 23040000
    },
    {
      "name": "labels",
      "words": 60000
    },
    {
      "name": "out",
      "words": 10000
    },
    {
      "name": "rng_s",
      "words": 10
    },
    {
      "name": "rng_keys",
      "words": 8
    },
    {
      "name": "rng_vals",
      "words": 8
    },
    {
      "name": "rng_pick",
      "words": 8
    },
    {
      "name": "rng_bits",
      "words": 2560
    },
    {
      "name": "exp_s",
      "words": 2
    },
    {
      "name": "rng_eps",
      "words": 1
    }
  ],
  "placed_regions": [
    {
      "name": "s",
      "words": 32
    },
    {
      "name": "f_s",
      "words": 20
    },
    {
      "name": "f_pv",
      "words": 49
    },
    {
      "name": "f_k",
      "words": 20
    },
    {
      "name": "f_ind",
      "words": 63
    },
    {
      "name": "f_resp",
      "words": 5
    },
    {
      "name": "muA",
      "words": 800
    },
    {
      "name": "f_W2",
      "words": 245
    },
    {
      "name": "k",
      "words": 36
    },
    {
      "name": "exp_s",
      "words": 2
    },
    {
      "name": "SkA",
      "words": 10000
    },
    {
      "name": "f_W1",
      "words": 392
    },
    {
      "name": "rng_s",
      "words": 10
    },
    {
      "name": "csA",
      "words": 800
    },
    {
      "name": "f_hist",
      "words": 2304
    },
    {
      "name": "llA",
      "words": 8
    },
    {
      "name": "clsval",
      "words": 10
    },
    {
      "name": "f_m1",
      "words": 9248
    },
    {
      "name": "jval",
      "words": 8
    },
    {
      "name": "ccA",
      "words": 8
    },
    {
      "name": "ui",
      "words": 2304
    },
    {
      "name": "PA",
      "words": 80000
    },
    {
      "name": "ldA",
      "words": 8
    },
    {
      "name": "piA",
      "words": 8
    },
    {
      "name": "clcovA",
      "words": 10000
    },
    {
      "name": "f_cov",
      "words": 2401
    },
    {
      "name": "WA",
      "words": 230400
    },
    {
      "name": "rng_pick",
      "words": 8
    },
    {
      "name": "PwA",
      "words": 10000
    },
    {
      "name": "S",
      "words": 5308416
    },
    {
      "name": "zA",
      "words": 6000000
    },
    {
      "name": "gs",
      "words": 2304
    },
    {
      "name": "kval",
      "words": 100
    },
    {
      "name": "mA",
      "words": 2304
    },
    {
      "name": "VA",
      "words": 230400
    },
    {
      "name": "denA",
      "words": 100
    },
    {
      "name": "zqA",
      "words": 1000000
    },
    {
      "name": "f_V",
      "words": 392
    },
    {
      "name": "x",
      "words": 138240000
    },
    {
      "name": "labels",
      "words": 60000
    },
    {
      "name": "rng_eps",
      "words": 1
    },
    {
      "name": "f_den",
      "words": 8
    },
    {
      "name": "asA",
      "words": 60000
    },
    {
      "name": "rA",
      "words": 480000
    },
    {
      "name": "rng_keys",
      "words": 8
    },
    {
      "name": "rng_vals",
      "words": 8
    },
    {
      "name": "f_px",
      "words": 69360000
    },
    {
      "name": "f_pq",
      "words": 11560000
    },
    {
      "name": "q",
      "words": 23040000
    },
    {
      "name": "sc",
      "words": 100000
    },
    {
      "name": "rng_bits",
      "words": 2560
    },
    {
      "name": "out",
      "words": 10000
    },
    {
      "name": "cntA",
      "words": 8
    },
    {
      "name": "covA",
      "words": 10000
    },
    {
      "name": "f_x",
      "words": 47040000
    },
    {
      "name": "f_xq",
      "words": 7840000
    },
    {
      "name": "gm",
      "words": 2655360
    },
    {
      "name": "sc2",
      "words": 100000
    }
  ],
  "selection": "Descending exact rational ordinary-read/write accesses per word, then region name; no dataset or predictions used.",
  "densities": {
    "s": "5989281668977/32",
    "f_s": "343126793797/5",
    "f_pv": "6460777873",
    "f_k": "13102757009/5",
    "f_ind": "2461760001",
    "f_resp": "1975680001",
    "muA": "1046300261",
    "f_W2": "987846402",
    "k": "2403764621/6",
    "exp_s": "98000001",
    "SkA": "433116113/5",
    "f_W1": "54911490",
    "rng_s": "50783502",
    "csA": "112501379/4",
    "f_hist": "27580001",
    "llA": "20212501",
    "clsval": "13140001",
    "f_m1": "3059838309/289",
    "jval": "10200066",
    "ccA": "9600241",
    "ui": "7070001",
    "PA": "4900091",
    "ldA": "4900091",
    "piA": "4900091",
    "clcovA": "12007713/10",
    "f_cov": "801506",
    "WA": "660082",
    "rng_pick": "600011",
    "PwA": "1094441/5",
    "S": "145603",
    "zA": "140462",
    "gs": "124612",
    "kval": "72001",
    "mA": "70002",
    "VA": "66689",
    "denA": "12929",
    "zqA": "8082",
    "f_V": "5745",
    "x": "4637",
    "labels": "2190",
    "rng_eps": "1442",
    "f_den": "817",
    "asA": "801",
    "rA": "431",
    "rng_keys": "81",
    "rng_vals": "81",
    "f_px": "148386587/2167500",
    "f_pq": "19693/289",
    "q": "28",
    "sc": "39/10",
    "rng_bits": "3",
    "out": "2",
    "cntA": "1",
    "covA": "1",
    "f_x": "1",
    "f_xq": "1",
    "gm": "1",
    "sc2": "1"
  },
  "placed_program_sha256": "fa5bb19926bb5c39a585f0453400f81bf118ab2ca844d1f25d552dc6a48cc294"
}