{
 "K": 5,
 "files": 101,
 "header_or_kind_problems": [],
 "kinds": {
  "lpv": 4863,
  "ms": 4303
 },
 "sign+1": {
  "boxes": 8107,
  "covered": true,
  "gap": null,
  "all_inside_region": true,
  "search_nodes": 20583,
  "maxdepth": 16
 },
 "sign-1": {
  "boxes": 1059,
  "covered": true,
  "gap": null,
  "all_inside_region": true,
  "search_nodes": 2143,
  "maxdepth": 11
 },
 "cells": {
  "files": 4,
  "cells": 861,
  "covered": true,
  "gap": null,
  "search_nodes": 1751
 },
 "boxes containing an extremiser, by kind": {
  "(e1+..+e5)/sqrt5, all q in [q6,q5]": {
   "ms": 68
  },
  "(e1+..+e4)/2 at q5": {
   "ms": 1
  },
  "(e1+..+e6)/sqrt6 at q6": {
   "ms": 1
  }
 }
}
