(a3
 (f_TCC1 0
  (f_TCC1-1 nil 3307871565 3307871565 ("" (cond-disjoint-tcc) nil nil)
   proved nil 137 110 nil shostak))
 (f_TCC2 0
  (f_TCC2-1 nil 3307871565 3307871566 ("" (cond-coverage-tcc) nil nil)
   proved nil 102 70 nil shostak)))