| tightrhombus-283-245-9.smt2 |
| tightrhombus-273-245-10.smt2 |
| tightrhombus-283-245-8.smt2 |
| tightrhombus-283-245-3.smt2 |
| tightrhombus-283-245-6.smt2 |
| tightrhombus-283-245-1.smt2 |
| tightrhombus-273-245-5.smt2 |
| tightrhombus-283-245-4.smt2 |
| tightrhombus-283-245-10.smt2 |
| tightrhombus-273-245-3.smt2 |
| tightrhombus-283-245-5.smt2 |
| tightrhombus-273-245-2.smt2 |
| tightrhombus-273-245-7.smt2 |
| tightrhombus-273-245-8.smt2 |
| tightrhombus-273-245-9.smt2 |
| tightrhombus-283-245-2.smt2 |
| tightrhombus-273-245-0.smt2 |
| tightrhombus-273-245-1.smt2 |
| tightrhombus-283-245-7.smt2 |
| tightrhombus-283-245-0.smt2 |
| tightrhombus-273-245-6.smt2 |
| tightrhombus-273-245-4.smt2 |