{
 "K": 4,
 "files": 76,
 "header_or_kind_problems": [],
 "kinds": {
  "lpv": 4543,
  "ms5": 2718
 },
 "sign+1": {
  "boxes": 6045,
  "covered": true,
  "gap": null,
  "all_inside_region": true,
  "search_nodes": 15813,
  "maxdepth": 16
 },
 "sign-1": {
  "boxes": 1216,
  "covered": true,
  "gap": null,
  "all_inside_region": true,
  "search_nodes": 2431,
  "maxdepth": 11
 },
 "cells": {
  "files": 4,
  "cells": 1268,
  "covered": true,
  "gap": null,
  "search_nodes": 2767
 },
 "boxes containing an extremiser, by kind": {
  "(e1+..+e4)/2, all q in [q5,q4]": {
   "ms5": 61
  },
  "(e1+e2+e3)/sqrt3 at q4": {
   "ms5": 1
  },
  "(e1+..+e5)/sqrt5 at q5": {
   "ms5": 1
  }
 }
}

real	0m0.949s
user	0m0.653s
sys	0m0.088s
