K 5 files 101 near-sphere enclosures papers' (literal) time 4.6s
   A4 185
   A5 3200
   A6 644
   SGrule_min(n2,khat) 2
   lpv 4863
   minus_SG_l0 2
   minus_TC_l0 4301
   minus_TC_l1 4873
   minus_TC_l2 3958
   ms 4303
   node_l0 4303
   node_l1 4873
   node_l2 3958
   plus_A_l1 127
   plus_A_l2 1431
   plus_TCN_l0 4873
   plus_TCN_l1 3958
   plus_TCS_l0 58
   plus_TCS_l1 1400
   plus_TCS_l2 396
   plus_TC_l0 5445
   plus_TC_l1 5768
   plus_TC_l2 6240
errors 0
notes 0
max ns ratio (lhs/T-) among passes {4: 0.9971100651723541, 5: 0.9998084420719634, 6: 0.9997587443972272}
cert sets by k {2: 9168, 3: 14735, 4: 17399, 5: 10990} total 52292
vertices by k {2: 36672, 3: 117880, 4: 278384, 5: 351680} total 784616
