| IsoRightTriangle-Bottema1_4a.smt2 |
| IsoRightTriangle-Bottema1_7b.smt2 |
| Triangle-2Sides_Medians_a.smt2 |
| OposicionsSecundariaCatalunya2018-2_4b.smt2 |
| Odom-GoldenRatio-RegTriangle.smt2 |
| RegNonagon-Diagonal_Side.smt2 |
| IsoTriangle-Bottema4_2b.smt2 |
| IsoTriangle-Perimeter_CircumRadius_a.smt2 |
| IsoRightTriangle-Bottema11_20b.smt2 |
| Triangle-Bottema1_15.smt2 |
| IsoTriangle-Area_Perimeter_a.smt2 |
| IsoRightTriangle-Bottema1_2a.smt2 |
| IsoTriangle-Bottema11_20a.smt2 |
| RightTriangle-Bottema11_20a.smt2 |
| RegHexagon-Diagonal_Side.smt2 |
| Triangle-SymmHomPoly_3-3-1.smt2 |
| IsoRightTriangle-Bottema1_14a.smt2 |
| IsoRightTriangle-Bottema1_3b.smt2 |
| Triangle-SymmHomPoly_3-2-1.smt2 |
| IsoRightTriangle-Bottema1_5b.smt2 |
| IsoTriangle-Perimeter_InRadius.smt2 |
| IsoTriangle-Bottema1_1a.smt2 |
| RightTriangle-Bottema6_1b.smt2 |
| IsoTriangle-Bottema6_1a.smt2 |
| IsoRightTriangle-Bottema1_23a.smt2 |
| PythagoreanGeneralization_Triangle-aa+bb_cc.smt2 |
| Triangle-Bottema1_6.smt2 |
| IsoRightTriangle-Bottema1_2b.smt2 |
| IsoRightTriangle-Bottema1_12a.smt2 |
| IsoRightTriangle-Bottema1_4b.smt2 |
| Triangle-Bottema1_8.smt2 |
| IsoTriangle-Bottema1_1b.smt2 |
| IsoRightTriangle-Bottema1_3a.smt2 |
| Triangle-SymmHomPoly_3-2-3.smt2 |
| IsoTriangle-Median_Perimeter_a1.smt2 |
| IsoRightTriangle-Bottema1_7a.smt2 |
| Triangle-Bottema1_17.smt2 |
| Triangle-Bottema1_5.smt2 |
| IsoRightTriangle-Bottema1_17a.smt2 |
| RightTriangle-Bottema5_3a.smt2 |
| EulerInequality_IsoTriangle-CircumRadius_InRadius.smt2 |
| IsoRightTriangle-Bottema1_6b.smt2 |
| IsoRightTriangle-Bottema1_1b.smt2 |
| IsoTriangle-Bottema1_19b.smt2 |
| RightTriangle-Bottema1_1b.smt2 |
| IsoRightTriangle-Bottema6_1b.smt2 |
| IsoRightTriangle-Bottema1_17b.smt2 |
| IsoRightTriangle-Bottema1_15a.smt2 |
| IsoRightTriangle-Bottema1_23b.smt2 |
| IsoTriangle-Bottema11_20b.smt2 |
| RegOctagon-Diagonal_Side.smt2 |
| RegPentagon-Diagonal_Side.smt2 |
| IsoRightTriangle-Bottema1_5a.smt2 |
| RightTriangle-Bottema11_20.smt2 |
| IsoTriangle-Bottema4_2a.smt2 |
| Triangle-Area_Perimeter_a.smt2 |
| IsoTriangle-Bottema8_1a.smt2 |
| RightTriangle-Bottema1_19a.smt2 |
| RegHexagon-ProductDiagonals_CircumRadius.smt2 |
| RegHendecagon-Diagonal_Side.smt2 |
| IsoTriangle-Bottema5_3a.smt2 |
| Triangle-Bottema5_3.smt2 |
| RightTriangle-Bottema11_20b.smt2 |
| RightTriangle-Bottema6_1a.smt2 |
| IsoTriangle-Perimeter_CircumRadius_b.smt2 |
| Triangle-Bottema1_3.smt2 |
| Triangle-Bottema1_9.smt2 |
| IsoRightTriangle-Bottema1_9b.smt2 |
| Triangle-Perimeter_2Medians_a.smt2 |
| Triangle-Bottema1_1.smt2 |
| OposicionsSecundariaCatalunya2018-2_4a.smt2 |
| Triangle-Bottema1_19.smt2 |
| IsoTriangle-Bottema1_19a.smt2 |
| IsoRightTriangle-Bottema8_1b.smt2 |
| KochanskiPiApproximation.smt2 |
| IsoRightTriangle-Bottema4_2b.smt2 |
| Triangle-Bottema1_14.smt2 |
| IsoRightTriangle-Bottema1_19b.smt2 |
| Triangle-Bottema1_2.smt2 |
| Triangle-Bottema1_7.smt2 |
| Triangle-Bottema1_12.smt2 |
| IsoRightTriangle-Bottema1_8b.smt2 |
| RightTriangle-Bottema1_19b.smt2 |
| RightTriangle-Bottema5_3b.smt2 |
| IsoTriangle-Perimeter_CircumRadius_c.smt2 |
| Triangle-Bottema1_4.smt2 |
| TriangleInequality_Triangle-a+b_c.smt2 |
| Triangle-Bottema1_23.smt2 |
| IsoTriangle-Median_Perimeter_a2.smt2 |
| RegHeptagon-Diagonal_Side.smt2 |
| IsoRightTriangle-Bottema1_12b.smt2 |
| IsoRightTriangle-Bottema1_9a.smt2 |
| IsoTriangle-Bottema6_1b.smt2 |
| RightTriangle-Bottema4_2b.smt2 |
| RightTriangle-Bottema1_1a.smt2 |
| KochanskiPiApproximation-RegDodecagon.smt2 |
| RightTriangle-Bottema8_1b.smt2 |
| IsoRightTriangle-Bottema5_3b.smt2 |
| IsoRightTriangle-Bottema1_19a.smt2 |
| IsoRightTriangle-Bottema1_15b.smt2 |
| RegOctagon-ProductDiagonals_CircumRadius.smt2 |
| IsoRightTriangle-Bottema1_8a.smt2 |
| IsoTriangle-Bottema8_1b.smt2 |
| Triangle-SymmHomPoly_3-2-2.smt2 |
| IsoRightTriangle-Bottema1_6a.smt2 |
| RightTriangle-Bottema8_1a.smt2 |
| IsoRightTriangle-Bottema1_14b.smt2 |
| IsoRightTriangle-Bottema1_1a.smt2 |
| IsoTriangle-Bottema5_3b.smt2 |
| RightTriangle-Bottema4_2a.smt2 |
| RegDecagon-Diagonal_Side.smt2 |
| Square-Diagonal_Side.smt2 |