rank 6 (phi of the claim): M 63 x 73; exact (min,max) of the support coordinates over {x>=0 : M x = b*}: [((1, 4, 1), ('1/2', '1/2')), ((2, 1, 3), ('1/2', '1/2')), ((2, 3, 1), ('1/2', '1/2')), ((3, 1, 2), ('1/2', '1/2'))]; exact range of the sum of all coordinates: [25/2, 25/2]; integer t in it: False; 0.0s
rank 6 (psi = mirror image of phi): M 63 x 73; exact (min,max) of the support coordinates over {x>=0 : M x = b*}: [((1, 3, 2), ('1/2', '1/2')), ((1, 4, 1), ('1/2', '1/2')), ((2, 1, 3), ('1/2', '1/2')), ((3, 1, 2), ('1/2', '1/2'))]; exact range of the sum of all coordinates: [25/2, 25/2]; integer t in it: False; 0.1s
rank 6 (phi plus 1/2 at (4,1,1): own second example): M 63 x 73; exact (min,max) of the support coordinates over {x>=0 : M x = b*}: [((1, 4, 1), ('1/2', '1/2')), ((2, 1, 3), ('1/2', '1/2')), ((2, 3, 1), ('1/2', '1/2')), ((3, 1, 2), ('1/2', '1/2')), ((4, 1, 1), ('1/2', '1/2'))]; exact range of the sum of all coordinates: [13, 13]; integer t in it: True; 0.1s
rank 7 (extension of psi by the rule of Lemma 5): M 84 x 99; exact (min,max) of the support coordinates over {x>=0 : M x = b*}: [((1, 3, 3), ('1/2', '1/2')), ((1, 4, 2), ('1/2', '1/2')), ((2, 1, 4), ('1/2', '1/2')), ((3, 1, 3), ('1/2', '1/2'))]; exact range of the sum of all coordinates: [18, 18]; integer t in it: True; 0.2s
rank 8 (extension of psi by the rule of Lemma 5): M 108 x 129; exact (min,max) of the support coordinates over {x>=0 : M x = b*}: [((1, 3, 4), ('1/2', '1/2')), ((1, 4, 3), ('1/2', '1/2')), ((2, 1, 5), ('1/2', '1/2')), ((3, 1, 4), ('1/2', '1/2'))]; exact range of the sum of all coordinates: [25, 25]; integer t in it: True; 0.3s
rank 9 (extension of psi by the rule of Lemma 5): M 135 x 163; exact (min,max) of the support coordinates over {x>=0 : M x = b*}: [((1, 3, 5), ('1/2', '1/2')), ((1, 4, 4), ('1/2', '1/2')), ((2, 1, 6), ('1/2', '1/2')), ((3, 1, 5), ('1/2', '1/2'))]; exact range of the sum of all coordinates: [33, 33]; integer t in it: True; 0.4s
