deletion.json

[
  {
    "evaluations": 92,
    "seed": "1258931616",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 160,
    "seed": "1699764649",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 136,
    "seed": "-246313597",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 224,
    "seed": "1099120804",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 99,
    "seed": "498859692",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 198,
    "seed": "-1393978455",
    "shrunk": {
      "ls": "[2147483619,2147483619]",
      "i": "0"
    }
  },
  {
    "evaluations": 107,
    "seed": "1757017148",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 18,
    "seed": "-1878077887",
    "shrunk": {
      "ls": "[-1,-1]",
      "i": "0"
    }
  },
  {
    "evaluations": 13,
    "seed": "1275102484",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 26,
    "seed": "-795541130",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 66,
    "seed": "324069532",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 58,
    "seed": "-2112617246",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 45,
    "seed": "-1673691578",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 45,
    "seed": "1543664857",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 46,
    "seed": "1501780898",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 29,
    "seed": "-1076186319",
    "shrunk": {
      "ls": "[4,4]",
      "i": "0"
    }
  },
  {
    "evaluations": 21,
    "seed": "229956500",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 19,
    "seed": "-46848249",
    "shrunk": {
      "ls": "[1,1]",
      "i": "0"
    }
  },
  {
    "evaluations": 36,
    "seed": "210379662",
    "shrunk": {
      "ls": "[-27,-27]",
      "i": "0"
    }
  },
  {
    "evaluations": 66,
    "seed": "-1599542746",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 38,
    "seed": "1790974142",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 36,
    "seed": "891214894",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 38,
    "seed": "746334041",
    "shrunk": {
      "ls": "[-10,-10]",
      "i": "0"
    }
  },
  {
    "evaluations": 149,
    "seed": "-2042636132",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 169,
    "seed": "1642493924",
    "shrunk": {
      "ls": "[-2147483627,-2147483627]",
      "i": "0"
    }
  },
  {
    "evaluations": 40,
    "seed": "786869599",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 24,
    "seed": "1393754181",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 45,
    "seed": "485423660",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 220,
    "seed": "564356144",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 91,
    "seed": "-49480112",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 23,
    "seed": "541510961",
    "shrunk": {
      "ls": "[15,15]",
      "i": "0"
    }
  },
  {
    "evaluations": 43,
    "seed": "-95288572",
    "shrunk": {
      "ls": "[-17,-17]",
      "i": "0"
    }
  },
  {
    "evaluations": 26,
    "seed": "-973066173",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 59,
    "seed": "1470985740",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 90,
    "seed": "659406692",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 91,
    "seed": "-390996963",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 26,
    "seed": "-885322232",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 30,
    "seed": "-915922638",
    "shrunk": {
      "ls": "[5,5]",
      "i": "0"
    }
  },
  {
    "evaluations": 49,
    "seed": "480018144",
    "shrunk": {
      "ls": "[-21,-21]",
      "i": "0"
    }
  },
  {
    "evaluations": 24,
    "seed": "-1543045079",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 24,
    "seed": "-455785466",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 21,
    "seed": "1331925152",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 48,
    "seed": "1093531859",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 63,
    "seed": "918078103",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 21,
    "seed": "-1236871809",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 71,
    "seed": "385510329",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 31,
    "seed": "-1675894823",
    "shrunk": {
      "ls": "[16,16]",
      "i": "0"
    }
  },
  {
    "evaluations": 161,
    "seed": "1615281896",
    "shrunk": {
      "ls": "[0,0]",
      "i": "0"
    }
  },
  {
    "evaluations": 28,
    "seed": "-561906076",
    "shrunk": {
      "ls": "[-31,-31]",
      "i": "0"
    }
  },
  {
    "evaluations": 21,
    "seed": "516913285",
    "shrunk": {
      "ls": "[20,20]",
      "i": "0"
    }
  },
  {
    "evaluations": 131,
    "seed": "1904723744",
    "shrunk": {
      "ls": "[2147483621,2147483621]",
      "i": "0"
    }
  },
  {
    "evaluations": 40,
    "seed": "-1904153159",
    "shrunk": {
      "ls": "[-26,-26]",
      "i": "0"
    }
  },
  {
    "evaluations": 33,
    "seed": "1502515291",
    "shrunk": {
      "ls": "[2,2]",
      "i": "0"
    }
  },
  {
    "evaluations": 199,
    "seed": "685459594",
    "shrunk": {
      "ls": "[2147483620,2147483620]",
      "i": "0"
    }
  }
]