Proof summary for theory lazylist_backsim
    lazylist_totality....................proved - complete   [shostak]( 0.25 s)
    lazylist_initial.....................proved - complete   [shostak]( 1.32 s)
    remlist_lemma_TCC1...................proved - complete   [shostak]( 0.88 s)
    remlist_lemma........................proved - complete   [shostak](14.77 s)
    bssa_add.............................proved - complete   [shostak](14.13 s)
    bssa_doAddT..........................proved - complete   [shostak](17.34 s)
    bssa_doAddF..........................proved - complete   [shostak](17.18 s)
    bssa_addResp.........................proved - complete   [shostak](13.82 s)
    bssa_rem.............................proved - complete   [shostak](13.98 s)
    bssa_doRemT..........................proved - complete   [shostak](38.27 s)
    bssa_doRemF..........................proved - complete   [shostak](16.98 s)
    bssa_remResp.........................proved - complete   [shostak](13.82 s)
    bssa_cont............................proved - complete   [shostak](17.13 s)
    bssa_doContT.........................proved - complete   [shostak](16.66 s)
    bssa_doContF.........................proved - complete   [shostak](12.
    Theory totals: 0 formulas, 0 attempted, 0 succeeded (0.00 s)

 Proof summary for theory lazylist_proof
    Theory totals: 0 formulas, 0 attempted, 0 succeeded (0.00 s)

Grand Totals: 165 proofs, 165 attempted, 165 succeeded (6399.70 s)