K 4 files 76 near-sphere enclosures referee's time 1.5s
   A3 101
   A4 2533
   A5 383
   SGrule_min(n2,khat) 284
   lpv 4543
   minus_SG_l0 211
   minus_SG_l1 73
   minus_TC_l0 2507
   minus_TC_l1 1247
   ms 2718
   node_l0 2718
   node_l1 1247
   plus_A_l0 101
   plus_A_l1 534
   plus_TCN_l0 1247
   plus_TCS_l0 1438
   plus_TCS_l1 216
   plus_TC_l0 2681
   plus_TC_l1 2479
errors 0
notes 0
max ns ratio (lhs/T-) among passes {3: 0.9955910316643981, 4: 0.9996045838622014, 5: 0.9997406643245145}
cert sets by k {2: 7472, 3: 9384, 4: 4158} total 21014
vertices by k {2: 29888, 3: 75072, 4: 66528} total 171488
