rank 7: 63 inequalities; extended point feasible; row k=1 forced to 0; old system recovered; integer points with interior values in [-4,5]: 0 (290 nodes)
rank 8: 84 inequalities; extended point feasible; row k=1 forced to 0; old system recovered
rank 9: 108 inequalities; extended point feasible; row k=1 forced to 0; old system recovered
rank 10: 135 inequalities; extended point feasible; row k=1 forced to 0; old system recovered
rank 11: 165 inequalities; extended point feasible; row k=1 forced to 0; old system recovered
rank 12: 198 inequalities; extended point feasible; row k=1 forced to 0; old system recovered
