# Route: lp-upper-bounds

## What happened

- Set up the order-type enumeration for n ≤ 9; the LP is not written yet.

## Reproduce

```
python3 verify.py routes/lp-upper-bounds/*.txt
```

## Next

Write the LP; sanity-check on n = 6, where the optimum 1/8 is known.