Proof summary for theory th_D
    sum_TCC1..............................proved - complete   [shostak](0.02 s)
    sum_TCC2..............................proved - complete   [shostak](-.00 s)
    D_1...................................proved - complete   [shostak](0.09 s)
    D_2...................................proved - complete   [shostak](0.09 s)
    pow_TCC1..............................proved - complete   [shostak](0.01 s)
    pow_TCC2..............................proved - complete   [shostak](-.01 s)
    Theory totals: 6 formulas, 6 attempted, 6 succeeded (0.20 s)

 Proof summary for theory th_Da
    Da_1..................................proved - complete   [shostak](0.13 s)
    Da_2..................................proved - complete   [shostak](0.28 s)
    Da_3..................................proved - complete   [shostak](0.23 s)
    Da_4..................................proved - complete   [shostak](0.06 s)
    Da_5..................................proved - complete   [shostak](0.06 s)
    Theory totals: 5 formulas, 5 attempted, 5 succeeded (0.77 s)

 Proof summary for theory th_Db
    geom_TCC1.............................proved - complete   [shostak](0.01 s)
    geom_TCC2.............................proved - complete   [shostak](0.01 s)
    geom_sum..............................proved - complete   [shostak](0.14 s)
    Theory totals: 3 formulas, 3 attempted, 3 succeeded (0.16 s)

Grand Totals: 14 proofs, 14 attempted, 14 succeeded (1.13 s)