[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[(: PROOFTrace (supportOf (Inheritance B (VarIdx (S Z))) (S Z))), (: PROOFTrace (-> (specializationOf $sptrn#48820 (Inheritance (VarIdx Z) (VarIdx (S Z)))) (supportOf $sptrn#48820 (countNat $sptrn#48820)))), (: PROOFTrace (minsup (Inheritance (VarIdx Z) (VarIdx (S Z)))))]
29.10user 0.00system 0:29.10elapsed 99%CPU (0avgtext+0avgdata 39520maxresident)k
0inputs+0outputs (0major+5052minor)pagefaults 0swaps