Selection-factor evaluation at 27

This shard verifies one independent rational abscissa.

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.selectionEvalAt27 (d : ℚ) : SelectionEvalCertificate d 27