00 negative certificate entry                     -> REJECTED (node 3 case 0: certificate not >= 0 / zero / wrong length)
01 altered certificate                            -> REJECTED (node 3 case 0: v not in span(E u {e}))
02 zero certificate                               -> REJECTED (node 3 case 0: certificate not >= 0 / zero / wrong length)
03 deleted case                                   -> REJECTED (node 3: cases != order-feasible patterns of Q (missing 1, extra 0))
04 duplicated case                                -> REJECTED (node 3: a case is listed twice)
05 continued case declared refuted                -> REJECTED (node 2 case 0: v not in span(E u {e}))
06 extra relation in a child                      -> REJECTED (child 1: relations != parent relations + case)
07 case replaced by a non-order-feasible vector   -> REJECTED (node 3: cases != order-feasible patterns of Q (missing 1, extra 1))
08 changed subset Q                               -> REJECTED (node 0: cases != order-feasible patterns of Q (missing 5, extra 5))
09 open leaf                                      -> REJECTED (node 3: open leaf (no cases))
10 case relation outside Q                        -> REJECTED (node 3: cases != order-feasible patterns of Q (missing 1, extra 1))
11 wrong parent field                             -> REJECTED (child 2: parent field 0 != 1)
ALL 12 CORRUPTIONS REJECTED: True
N = 6 tree: NOT CLOSED (exact solution points verified) ; solution points / smallest element:
  node   3: ['1', '384793583/263539663', '525112447/263539663', '648333246/263539663', '1177110/340931', '1518041/340931']
  node   4: ['1', '84152117/59085835', '109565648/59085835', '143237952/59085835', '168651483/59085835', '50560720/11817167']
  node   6: ['1', '2', '28383/11368', '3', '51119/11368', '62487/11368']
  node  10: ['1', '77271785/42898346', '58502507/21449173', '79951680/21449173', '541161/119494', '660655/119494']
  node  12: ['1', '151834/126787', '2', '3', '405408/126787', '532195/126787']
  node  19: ['1', '45841184/31945611', '77786795/31945611', '120158404/31945611', '507644/97693', '605337/97693']
  node  20: ['1', '116279053/62434736', '178713789/62434736', '783187/195312', '978499/195312', '321804425/46826052']
  node  22: ['1', '2', '3', '296159/50183', '396525/50183', '446708/50183']
  node  28: ['1', '183587/96758', '280345/96758', '377103/96758', '231966/48379', '280345/48379']
  node  30: ['1', '2', '3', '4', '5', '6']
