Proof summary for theory th_E
    fac_TCC1..............................proved - complete   [shostak](0.02 s)
    fac_TCC2..............................proved - complete   [shostak](0.01 s)
    thm_E_0...............................proved - complete   [shostak](0.30 s)
    thm_E_1...............................proved - complete   [shostak](0.03 s)
    thm_E_2...............................proved - complete   [shostak](0.06 s)
    tfac_TCC1.............................proved - complete   [shostak](0.01 s)
    tfac_TCC2.............................proved - complete   [shostak](0.01 s)
    lemma_E_3.............................proved - complete   [shostak](0.06 s)
    th_E_4................................proved - complete   [shostak](0.03 s)
    fib_TCC1..............................proved - complete   [shostak](0.01 s)
    fib_TCC2..............................proved - complete   [shostak](0.01 s)
    lem_E_Camil_2_TCC1....................proved - complete   [shostak](0.01 s)
    lem_E_Camil_2_TCC2....................proved - complete   [shostak](0.02 s)
    lem_E_Camil_2.........................proved - complete   [shostak](0.31 s)
    thm_E_6...............................proved - complete   [shostak](0.06 s)
    Theory totals: 15 formulas, 15 attempted, 15 succeeded (0.97 s)

Grand Totals: 15 proofs, 15 attempted, 15 succeeded (0.97 s)