  ok   13542222 in: graded data have H = [1, 3, 5, 4, 2, 2, 2, 2]
  ok   13542222 in graded (seed 2): closed, H [1, 3, 5, 4, 2, 2, 2, 2]; colon cubics: dim pi = 2, claim "noncube" holds
  ok   13542222 in random (seed 0): closed, H [1, 3, 5, 4, 2, 2, 2, 2]; colon cubics: dim pi = 2, claim "noncube" holds
   time 6.9 s
  ok   135422211 in: graded data have H = [1, 3, 5, 4, 2, 2, 2, 1, 1]
  ok   135422211 in graded (seed 2): closed, H [1, 3, 5, 4, 2, 2, 2, 1, 1]; colon cubics: dim pi = 2, claim "xy2" holds
   135422211 in random seed 0: inconsistent draw, rejected
   135422211 in random seed 1: inconsistent draw, rejected
   135422211 in random seed 2: inconsistent draw, rejected
   135422211 in random seed 3: inconsistent draw, rejected
   135422211 in random seed 4: inconsistent draw, rejected
   135422211 in random seed 5: inconsistent draw, rejected
   135422211 in random seed 6: inconsistent draw, rejected
   135422211 in random seed 7: inconsistent draw, rejected
   135422211 in random, depth-1 tails zero seed 0: inconsistent draw, rejected
   135422211 in random, depth-1 tails zero seed 1: inconsistent draw, rejected
   135422211 in random, depth-1 tails zero seed 2: inconsistent draw, rejected
   135422211 in random, depth-1 tails zero seed 3: inconsistent draw, rejected
  ok   135422211 in random, depth-1 tails zero (seed 4): closed, H [1, 3, 5, 4, 2, 2, 2, 1, 1]; colon cubics: dim pi = 2, claim "xy2" holds
   time 63.7 s
  ok   1354221111 in: graded data have H = [1, 3, 5, 4, 2, 2, 1, 1, 1, 1]
  ok   1354221111 in graded (seed 2): closed, H [1, 3, 5, 4, 2, 2, 1, 1, 1, 1]; colon cubics: dim pi = 2, claim "noncube or (z^3 and xy2)" holds
   1354221111 in random seed 0: inconsistent draw, rejected
   1354221111 in random seed 1: inconsistent draw, rejected
   1354221111 in random seed 2: inconsistent draw, rejected
   1354221111 in random seed 3: inconsistent draw, rejected
   1354221111 in random seed 4: inconsistent draw, rejected
   1354221111 in random seed 5: inconsistent draw, rejected
   1354221111 in random seed 6: inconsistent draw, rejected
   1354221111 in random seed 7: inconsistent draw, rejected
  ok   1354221111 in random, depth-1 tails zero (seed 0): closed, H [1, 3, 5, 4, 2, 2, 1, 1, 1, 1]; colon cubics: dim pi = 2, claim "noncube or (z^3 and xy2)" holds
   time 115.3 s
  ok   13542222 out: graded data have H = [1, 3, 5, 4, 2, 2, 2, 2]
  ok   13542222 out graded (seed 2): closed, H [1, 3, 5, 4, 2, 2, 2, 2]; colon cubics: dim pi = 3, claim "noncube" holds
  ok   13542222 out random (seed 0): closed, H [1, 3, 5, 4, 2, 2, 2, 2]; colon cubics: dim pi = 3, claim "noncube" holds
   time 119.8 s
  ok   135422211 out: graded data have H = [1, 3, 5, 4, 2, 2, 2, 1, 1]
  ok   135422211 out graded (seed 2): closed, H [1, 3, 5, 4, 2, 2, 2, 1, 1]; colon cubics: dim pi = 3, claim "noncube" holds
   135422211 out random seed 0: inconsistent draw, rejected
   135422211 out random seed 1: inconsistent draw, rejected
   135422211 out random seed 2: inconsistent draw, rejected
   135422211 out random seed 3: inconsistent draw, rejected
   135422211 out random seed 4: inconsistent draw, rejected
   135422211 out random seed 5: inconsistent draw, rejected
   135422211 out random seed 6: inconsistent draw, rejected
   135422211 out random seed 7: inconsistent draw, rejected
   135422211 out random, depth-1 tails zero seed 0: inconsistent draw, rejected
   135422211 out random, depth-1 tails zero seed 1: inconsistent draw, rejected
   135422211 out random, depth-1 tails zero seed 2: inconsistent draw, rejected
   135422211 out random, depth-1 tails zero seed 3: inconsistent draw, rejected
   135422211 out random, depth-1 tails zero seed 4: inconsistent draw, rejected
   135422211 out random, depth-1 tails zero seed 5: inconsistent draw, rejected
   135422211 out random, depth-1 tails zero seed 6: inconsistent draw, rejected
   135422211 out random, depth-1 tails zero seed 7: inconsistent draw, rejected
  ok   135422211 out random, depth-1,2 tails zero (seed 0): closed, H [1, 3, 5, 4, 2, 2, 2, 1, 1]; colon cubics: dim pi = 3, claim "noncube" holds
   time 160.4 s
  ok   1354221111 out: graded data have H = [1, 3, 5, 4, 2, 2, 1, 1, 1, 1]
  ok   1354221111 out graded (seed 2): closed, H [1, 3, 5, 4, 2, 2, 1, 1, 1, 1]; colon cubics: dim pi = 3, claim "noncube or (z^3 and xy2)" holds
   1354221111 out random seed 0: inconsistent draw, rejected
   1354221111 out random seed 1: inconsistent draw, rejected
   1354221111 out random seed 2: inconsistent draw, rejected
   1354221111 out random seed 3: inconsistent draw, rejected
   1354221111 out random seed 4: inconsistent draw, rejected
   1354221111 out random seed 5: inconsistent draw, rejected
   1354221111 out random seed 6: inconsistent draw, rejected
   1354221111 out random seed 7: inconsistent draw, rejected
   1354221111 out random, depth-1 tails zero seed 0: inconsistent draw, rejected
   1354221111 out random, depth-1 tails zero seed 1: inconsistent draw, rejected
   1354221111 out random, depth-1 tails zero seed 2: inconsistent draw, rejected
  ok   1354221111 out random, depth-1 tails zero (seed 3): closed, H [1, 3, 5, 4, 2, 2, 1, 1, 1, 1]; colon cubics: dim pi = 3, claim "noncube or (z^3 and xy2)" holds
   time 205.6 s
  ok   1354221111 sec: graded data have H = [1, 3, 5, 4, 2, 2, 1, 1, 1, 1]
  ok   1354221111 sec graded (seed 2): closed, H [1, 3, 5, 4, 2, 2, 1, 1, 1, 1]; colon cubics: dim pi = 2, claim "noncube" holds
   1354221111 sec random seed 0: inconsistent draw, rejected
  ok   1354221111 sec random (seed 1): closed, H [1, 3, 5, 4, 2, 2, 1, 1, 1, 1]; colon cubics: dim pi = 2, claim "noncube" holds
   time 215.5 s
accepted samples 14 of 14, inconsistent draws 48
time 215.5 s
ALL CHECKS PASSED
