Beginning of the validations.

                          Re Pappus line, [t u, -1, 1]

                       Re Steiner points, Steiner conics

                              Is S0 on QS0 ?, TRUE

                              Is S1 on QS1 ?, TRUE

                                Re: six conics:

                        six cross points on new_conic QF

                             Is AD.BE on QF ?, TRUE

                             Is BE.CD on QF ?, TRUE

                             Is CD.AE on QF ?, TRUE

                             Is AE.BD on QF ?, TRUE

                             Is BD.CE on QF ?, TRUE

                             Is CE.AD on QF ?, TRUE

                        six cross points on new_conic QD

                             Is AE.BF on QD ?, TRUE

                             Is BF.CE on QD ?, TRUE

                             Is CE.AF on QD ?, TRUE

                             Is AF.BE on QD ?, TRUE

                             Is BE.CF on QD ?, TRUE

                             Is CF.AE on QD ?, TRUE

                        six cross points on new_conic QE

                             Is AF.BD on QE ?, TRUE

                             Is BD.CF on QE ?, TRUE

                             Is CF.AD on QE ?, TRUE

                             Is AD.BF on QE ?, TRUE

                             Is BF.CD on QE ?, TRUE

                             Is CD.AF on QE ?, TRUE

                        six cross points on new_conic QC

                             Is DA.EB on QC ?, TRUE

                             Is EB.FA on QC ?, TRUE

                             Is FA.DB on QC ?, TRUE

                             Is DB.EA on QC ?, TRUE

                             Is EA.FB on QC ?, TRUE

                             Is FB.DA on QC ?, TRUE

                        six cross points on new_conic QA

                             Is DB.EC on QA ?, TRUE

                             Is EC.FB on QA ?, TRUE

                             Is FB.DC on QA ?, TRUE

                             Is DC.EB on QA ?, TRUE

                             Is EB.FC on QA ?, TRUE

                             Is FC.DB on QA ?, TRUE

                        six cross points on new_conic QB

                             Is DC.EA on QB ?, TRUE

                             Is EA.FC on QB ?, TRUE

                             Is FC.DA on QB ?, TRUE

                             Is DA.EC on QB ?, TRUE

                             Is EC.FA on QB ?, TRUE

                             Is FA.DC on QB ?, TRUE

                            Re T1 on  QD, QE, and QF

                        Is point T1 on conic QD ?, TRUE

                        Is point T1 on conic QE ?, TRUE

                        Is point T1 on conic QF ?, TRUE

                            Re T2 on  QD, QE, and QF

                        Is point T2 on conic QD ?, TRUE

                        Is point T2 on conic QE ?, TRUE

                        Is point T2 on conic QF ?, TRUE

                            Re U1 on  QA, QB, and QC

                        Is point U1 on conic QA ?, TRUE

                        Is point U1 on conic QB ?, TRUE

                        Is point U1 on conic QC ?, TRUE

                            Re U2 on  QA, QB, and QC

                        Is point U2 on conic QA ?, TRUE

                        Is point U2 on conic QB ?, TRUE

                        Is point U2 on conic QC ?, TRUE

                      Re V1 on  QA, QB, QC, QD, QE, and QF

                        Is point V1 on conic QA ?, TRUE

                        Is point V1 on conic QB ?, TRUE

                        Is point V1 on conic QC ?, TRUE

                        Is point V1 on conic QD ?, TRUE

                        Is point V1 on conic QE ?, TRUE

                        Is point V1 on conic QF ?, TRUE

                      Re V2 on  QA, QB, QC, QD, QE, and QF

                        Is point V2 on conic QA ?, TRUE

                        Is point V2 on conic QB ?, TRUE

                        Is point V2 on conic QC ?, TRUE

                        Is point V2 on conic QD ?, TRUE

                        Is point V2 on conic QE ?, TRUE

                        Is point V2 on conic QF ?, TRUE

                      This is the end of the validations.