Doing: timeout --foreground --kill-after=5 --signal=SIGINT 61 time metta /opt/logicmoo_opencog/hyperon-wam/examples/extended_compat/hyperon-pln/metta/hol/NatParityTest.metta
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[(let* (((: $prfarg#193 (=== Nat Nat)) (bc (: $prfarg#193 (=== Nat Nat)) (S (S Z))))) (: (((. Replace) Sym) $prfarg#193) (-> (: $k Nat) Nat))), (: ((. S) ((. S) S)) (-> (: $k Nat) Nat)), (: ((. S) ((. S) double)) (-> (: $k Nat) Nat)), (: ((. S) ((. double) S)) (-> (: $k Nat) Nat)), (: ((. S) ((. double) double)) (-> (: $k Nat) Nat)), (: ((. S) S) (-> (: $k Nat) Nat)), (: ((. S) double) (-> (: $k Nat) Nat)), (: ((. double) ((. S) S)) (-> (: $k Nat) Nat)), (: ((. double) ((. S) double)) (-> (: $k Nat) Nat)), (: ((. double) ((. double) S)) (-> (: $k Nat) Nat)), (: ((. double) ((. double) double)) (-> (: $k Nat) Nat)), (: ((. double) S) (-> (: $k Nat) Nat)), (: ((. double) double) (-> (: $k Nat) Nat)), (let* (((: $prfarg#193 (=== Nat Nat)) (bc (: $prfarg#193 (=== Nat Nat)) (S (S Z))))) (: (Replace $prfarg#193) (-> (: $k Nat) Nat))), (: S (-> (: $k Nat) Nat)), (: double (-> (: $k Nat) Nat))]
3.65user 0.00system 0:03.66elapsed 100%CPU (0avgtext+0avgdata 37560maxresident)k
0inputs+0outputs (0major+4675minor)pagefaults 0swaps