TSTP Solution File: COM069_5 by Duper---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Duper---1.0
% Problem : COM069_5 : TPTP v8.1.2. Released v6.0.0.
% Transfm : none
% Format : tptp:raw
% Command : duper %s
% Computer : n004.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Wed Aug 30 18:38:17 EDT 2023
% Result : Theorem 9.53s 9.70s
% Output : Proof 10.43s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : COM069_5 : TPTP v8.1.2. Released v6.0.0.
% 0.07/0.14 % Command : duper %s
% 0.14/0.35 % Computer : n004.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 300
% 0.14/0.35 % DateTime : Tue Aug 29 12:48:52 EDT 2023
% 0.14/0.35 % CPUTime :
% 9.53/9.70 SZS status Theorem for theBenchmark.p
% 9.53/9.70 SZS output start Proof for theBenchmark.p
% 9.53/9.70 Clause #75 (by assumption #[]): Eq (∀ (A : Type) (P1 : fun A bool), Eq (collect A P1) P1) True
% 9.53/9.70 Clause #81 (by assumption #[]): Eq
% 9.53/9.70 (∀ (Y M X : int),
% 9.53/9.70 Eq (div_mod int (aa int int (aa int (fun int int) (minus_minus int) (div_mod int X M)) Y) M)
% 9.53/9.70 (div_mod int (aa int int (aa int (fun int int) (minus_minus int) X) Y) M))
% 9.53/9.70 True
% 9.53/9.70 Clause #82 (by assumption #[]): Eq
% 9.53/9.70 (∀ (M Y X : int),
% 9.53/9.70 Eq (div_mod int (aa int int (aa int (fun int int) (minus_minus int) X) (div_mod int Y M)) M)
% 9.53/9.70 (div_mod int (aa int int (aa int (fun int int) (minus_minus int) X) Y) M))
% 9.53/9.70 True
% 9.53/9.70 Clause #130 (by assumption #[]): Eq
% 9.53/9.70 (Not
% 9.53/9.70 (Eq
% 9.53/9.70 (div_mod int
% 9.53/9.70 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.53/9.70 (aa int int
% 9.53/9.70 (times_times int
% 9.53/9.70 (plus_plus int
% 9.53/9.70 (div_div int
% 9.53/9.70 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.53/9.70 (big_linorder_Min int
% 9.53/9.70 (collect int
% 9.53/9.70 (aa (fun int (fun (list int) bool)) (fun int bool)
% 9.53/9.70 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 9.53/9.70 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 9.53/9.70 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 9.53/9.70 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.53/9.70 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 9.53/9.70 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 9.53/9.70 (aa (fun (fun int bool) bool) (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.53/9.70 (combb (fun int bool) bool (list int)) (fEx int)))
% 9.53/9.70 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 9.53/9.70 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.53/9.70 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 9.53/9.70 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 9.53/9.70 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.53/9.70 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.53/9.70 (aa
% 9.53/9.70 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.53/9.70 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.53/9.70 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.53/9.70 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 9.53/9.70 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.53/9.70 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 9.53/9.70 (combs (list int) (fun int bool) (fun int bool)))
% 9.53/9.70 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 9.53/9.70 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.53/9.70 (aa
% 9.53/9.70 (fun (fun (list int) (fun int (fun bool bool)))
% 9.53/9.70 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.53/9.70 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 9.53/9.70 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 9.53/9.70 (combb (fun (list int) (fun int (fun bool bool)))
% 9.53/9.70 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 9.53/9.70 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 9.53/9.70 (fun (fun (list int) (fun int (fun bool bool)))
% 9.53/9.70 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.53/9.70 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)) (list int))
% 9.53/9.70 (combs int bool bool)))
% 9.53/9.70 (aa (fun int (fun (list int) (fun int bool)))
% 9.53/9.70 (fun int (fun (list int) (fun int (fun bool bool))))
% 9.53/9.70 (aa
% 9.53/9.70 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.53/9.70 (fun (fun int (fun (list int) (fun int bool)))
% 9.53/9.70 (fun int (fun (list int) (fun int (fun bool bool)))))
% 9.53/9.70 (combb (fun (list int) (fun int bool))
% 9.53/9.70 (fun (list int) (fun int (fun bool bool))) int)
% 9.53/9.70 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 9.53/9.70 (fun (fun (list int) (fun int bool))
% 9.53/9.70 (fun (list int) (fun int (fun bool bool))))
% 9.53/9.70 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 9.53/9.70 (aa (fun bool (fun bool bool)) (fun (fun int bool) (fun int (fun bool bool)))
% 9.53/9.70 (combb bool (fun bool bool) int) fconj)))
% 9.53/9.70 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 9.53/9.70 (aa
% 9.53/9.70 (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.53/9.70 (fun (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool))))
% 9.53/9.70 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 9.53/9.70 (aa (fun int (fun (fun int int) (fun int bool)))
% 9.53/9.70 (fun int
% 9.53/9.70 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.53/9.70 (aa
% 9.53/9.70 (fun (fun (fun int int) (fun int bool))
% 9.53/9.70 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.53/9.70 (fun (fun int (fun (fun int int) (fun int bool)))
% 9.53/9.70 (fun int
% 9.53/9.70 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))))
% 9.53/9.70 (combb (fun (fun int int) (fun int bool))
% 9.53/9.70 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 9.53/9.70 int)
% 9.53/9.70 (combb (fun int int) (fun int bool) (list int)))
% 9.53/9.70 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 9.53/9.70 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 9.53/9.70 (fun (fun int (fun int bool))
% 9.53/9.70 (fun int (fun (fun int int) (fun int bool))))
% 9.53/9.70 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 9.53/9.70 (combb int bool int))
% 9.53/9.70 (fequal int))))
% 9.53/9.70 (aa (fun (list int) int) (fun (list int) (fun int int))
% 9.53/9.70 (aa (fun int (fun int int))
% 9.53/9.70 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 9.53/9.70 (combb int (fun int int) (list int)) (minus_minus int))
% 9.53/9.70 (aa (list int) (fun (list int) int)
% 9.53/9.70 (aa (fun (list int) (fun (list int) int))
% 9.53/9.70 (fun (list int) (fun (list int) int)) (combc (list int) (list int) int)
% 9.53/9.70 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 9.53/9.70 (aa (fun (list int) (fun (list int) int))
% 9.53/9.70 (fun (fun (list int) (list int))
% 9.53/9.70 (fun (list int) (fun (list int) int)))
% 9.53/9.70 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 9.53/9.70 (tl int)))
% 9.53/9.70 xs)))))))
% 9.53/9.70 (aa (fun atom bool) (fun (list int) (fun int bool))
% 9.53/9.70 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.53/9.70 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 9.53/9.70 (combc (list int) (fun atom bool) (fun int bool))
% 9.53/9.70 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.53/9.70 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.53/9.70 (aa (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 9.53/9.70 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.53/9.70 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 9.53/9.70 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 9.53/9.70 (list int))
% 9.53/9.70 (combc int (fun atom bool) bool))
% 9.53/9.70 (aa (fun (list int) (fun int atom))
% 9.53/9.70 (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.53/9.70 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.53/9.70 (fun (fun (list int) (fun int atom))
% 9.53/9.70 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 9.53/9.70 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 9.53/9.70 (aa (fun atom (fun (fun atom bool) bool))
% 9.53/9.70 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.53/9.70 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 9.53/9.70 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 9.53/9.70 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 9.53/9.70 (collect atom
% 9.53/9.70 (aa (fun atom bool) (fun atom bool)
% 9.53/9.70 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool))
% 9.53/9.70 (combs atom bool bool)
% 9.53/9.70 (aa (fun atom bool) (fun atom (fun bool bool))
% 9.53/9.70 (aa (fun bool (fun bool bool)) (fun (fun atom bool) (fun atom (fun bool bool)))
% 9.53/9.70 (combb bool (fun bool bool) atom) fconj)
% 9.53/9.70 (aa (fun atom bool) (fun atom bool)
% 9.53/9.70 (aa (fun atom (fun (fun atom bool) bool))
% 9.53/9.70 (fun (fun atom bool) (fun atom bool)) (combc atom (fun atom bool) bool)
% 9.53/9.70 (member atom))
% 9.53/9.70 (set atom as))))
% 9.53/9.70 (atom_case bool
% 9.53/9.70 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.53/9.70 (combk (fun (list int) bool) int)
% 9.53/9.70 (list_case bool int fFalse
% 9.53/9.70 (aa (fun int bool) (fun int (fun (list int) bool))
% 9.53/9.70 (aa (fun bool (fun (list int) bool))
% 9.53/9.70 (fun (fun int bool) (fun int (fun (list int) bool)))
% 9.53/9.70 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 9.53/9.70 (aa int (fun int bool)
% 9.53/9.70 (aa (fun int (fun int bool)) (fun int (fun int bool)) (combc int int bool)
% 9.53/9.70 (ord_less int))
% 9.53/9.70 (zero_zero int)))))
% 9.53/9.70 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.53/9.70 (combk (fun int (fun (list int) bool)) int)
% 9.53/9.70 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.53/9.70 (combk (fun (list int) bool) int)
% 9.53/9.70 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 9.53/9.70 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.53/9.70 (combk (fun int (fun (list int) bool)) int)
% 9.53/9.70 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.53/9.70 (combk (fun (list int) bool) int)
% 9.53/9.70 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))))))))))))
% 9.53/9.70 (zlcms
% 9.53/9.70 (map atom int divisor
% 9.53/9.70 (filter atom
% 9.53/9.70 (atom_case bool
% 9.53/9.70 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.53/9.70 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.53/9.70 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.53/9.70 (combk (fun int (fun (list int) bool)) int)
% 9.53/9.70 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.53/9.70 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.53/9.70 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.53/9.70 (combk (fun int (fun (list int) bool)) int)
% 9.53/9.70 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.53/9.70 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.53/9.70 as))))
% 9.53/9.70 (one_one int)))
% 9.53/9.70 (zlcms
% 9.53/9.70 (map atom int divisor
% 9.53/9.70 (filter atom
% 9.53/9.70 (atom_case bool
% 9.53/9.70 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.53/9.70 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.53/9.70 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.53/9.70 (combk (fun int (fun (list int) bool)) int)
% 9.53/9.70 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.53/9.70 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.53/9.70 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.53/9.70 (combk (fun int (fun (list int) bool)) int)
% 9.53/9.70 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.53/9.70 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.53/9.70 as)))))
% 9.53/9.70 (aa atom int divisor a))
% 9.53/9.70 (div_mod int
% 9.53/9.70 (aa int int (aa int (fun int int) (minus_minus int) (div_mod int n (aa atom int divisor a)))
% 9.53/9.70 (div_mod int
% 9.53/9.70 (aa int int
% 9.53/9.70 (times_times int
% 9.53/9.70 (plus_plus int
% 9.53/9.70 (div_div int
% 9.53/9.70 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.53/9.70 (big_linorder_Min int
% 9.53/9.70 (collect int
% 9.53/9.70 (aa (fun int (fun (list int) bool)) (fun int bool)
% 9.53/9.70 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 9.53/9.70 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 9.53/9.70 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 9.53/9.70 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.53/9.70 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 9.53/9.70 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 9.53/9.70 (aa (fun (fun int bool) bool)
% 9.53/9.70 (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.53/9.70 (combb (fun int bool) bool (list int)) (fEx int)))
% 9.53/9.70 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 9.53/9.70 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.53/9.70 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 9.53/9.70 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 9.53/9.70 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.53/9.70 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.53/9.70 (aa
% 9.53/9.70 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.53/9.70 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.53/9.70 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.53/9.70 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 9.53/9.70 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.53/9.70 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 9.53/9.70 (combs (list int) (fun int bool) (fun int bool)))
% 9.53/9.70 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 9.53/9.70 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.53/9.70 (aa
% 9.53/9.70 (fun (fun (list int) (fun int (fun bool bool)))
% 9.53/9.70 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.53/9.70 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 9.53/9.70 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 9.53/9.70 (combb (fun (list int) (fun int (fun bool bool)))
% 9.53/9.70 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 9.53/9.70 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 9.53/9.70 (fun (fun (list int) (fun int (fun bool bool)))
% 9.53/9.70 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.53/9.70 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool))
% 9.53/9.70 (list int))
% 9.53/9.70 (combs int bool bool)))
% 9.53/9.70 (aa (fun int (fun (list int) (fun int bool)))
% 9.53/9.70 (fun int (fun (list int) (fun int (fun bool bool))))
% 9.53/9.70 (aa
% 9.53/9.70 (fun (fun (list int) (fun int bool))
% 9.53/9.70 (fun (list int) (fun int (fun bool bool))))
% 9.53/9.70 (fun (fun int (fun (list int) (fun int bool)))
% 9.53/9.70 (fun int (fun (list int) (fun int (fun bool bool)))))
% 9.53/9.70 (combb (fun (list int) (fun int bool))
% 9.53/9.70 (fun (list int) (fun int (fun bool bool))) int)
% 9.53/9.70 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 9.53/9.70 (fun (fun (list int) (fun int bool))
% 9.53/9.70 (fun (list int) (fun int (fun bool bool))))
% 9.53/9.70 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 9.53/9.70 (aa (fun bool (fun bool bool))
% 9.53/9.70 (fun (fun int bool) (fun int (fun bool bool)))
% 9.53/9.70 (combb bool (fun bool bool) int) fconj)))
% 9.53/9.70 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 9.53/9.70 (aa
% 9.53/9.70 (fun int
% 9.53/9.70 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.53/9.70 (fun (fun (list int) (fun int int))
% 9.53/9.70 (fun int (fun (list int) (fun int bool))))
% 9.53/9.70 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 9.53/9.70 (aa (fun int (fun (fun int int) (fun int bool)))
% 9.53/9.70 (fun int
% 9.53/9.70 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.53/9.70 (aa
% 9.53/9.70 (fun (fun (fun int int) (fun int bool))
% 9.53/9.70 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.53/9.70 (fun (fun int (fun (fun int int) (fun int bool)))
% 9.53/9.70 (fun int
% 9.53/9.70 (fun (fun (list int) (fun int int))
% 9.53/9.70 (fun (list int) (fun int bool)))))
% 9.53/9.70 (combb (fun (fun int int) (fun int bool))
% 9.53/9.70 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 9.53/9.70 int)
% 9.53/9.70 (combb (fun int int) (fun int bool) (list int)))
% 9.53/9.70 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 9.53/9.70 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 9.53/9.70 (fun (fun int (fun int bool))
% 9.53/9.70 (fun int (fun (fun int int) (fun int bool))))
% 9.53/9.70 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 9.53/9.70 (combb int bool int))
% 9.53/9.70 (fequal int))))
% 9.53/9.70 (aa (fun (list int) int) (fun (list int) (fun int int))
% 9.53/9.70 (aa (fun int (fun int int))
% 9.53/9.70 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 9.53/9.70 (combb int (fun int int) (list int)) (minus_minus int))
% 9.53/9.70 (aa (list int) (fun (list int) int)
% 9.53/9.70 (aa (fun (list int) (fun (list int) int))
% 9.53/9.70 (fun (list int) (fun (list int) int)) (combc (list int) (list int) int)
% 9.53/9.70 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 9.53/9.70 (aa (fun (list int) (fun (list int) int))
% 9.53/9.70 (fun (fun (list int) (list int))
% 9.53/9.70 (fun (list int) (fun (list int) int)))
% 9.53/9.70 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 9.53/9.70 (tl int)))
% 9.53/9.70 xs)))))))
% 9.53/9.70 (aa (fun atom bool) (fun (list int) (fun int bool))
% 9.53/9.70 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.53/9.70 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 9.53/9.70 (combc (list int) (fun atom bool) (fun int bool))
% 9.53/9.70 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.53/9.70 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.53/9.70 (aa
% 9.53/9.70 (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 9.53/9.70 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.53/9.70 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 9.53/9.70 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 9.53/9.70 (list int))
% 9.53/9.70 (combc int (fun atom bool) bool))
% 9.53/9.70 (aa (fun (list int) (fun int atom))
% 9.53/9.70 (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.53/9.70 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.53/9.70 (fun (fun (list int) (fun int atom))
% 9.53/9.70 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 9.53/9.70 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 9.53/9.70 (aa (fun atom (fun (fun atom bool) bool))
% 9.53/9.70 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.53/9.70 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 9.53/9.70 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 9.53/9.70 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 9.53/9.70 (collect atom
% 9.53/9.70 (aa (fun atom bool) (fun atom bool)
% 9.53/9.70 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool))
% 9.53/9.70 (combs atom bool bool)
% 9.53/9.70 (aa (fun atom bool) (fun atom (fun bool bool))
% 9.53/9.70 (aa (fun bool (fun bool bool))
% 9.53/9.70 (fun (fun atom bool) (fun atom (fun bool bool)))
% 9.53/9.70 (combb bool (fun bool bool) atom) fconj)
% 9.53/9.70 (aa (fun atom bool) (fun atom bool)
% 9.53/9.70 (aa (fun atom (fun (fun atom bool) bool))
% 9.53/9.70 (fun (fun atom bool) (fun atom bool)) (combc atom (fun atom bool) bool)
% 9.53/9.70 (member atom))
% 9.53/9.70 (set atom as))))
% 9.53/9.70 (atom_case bool
% 9.53/9.70 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.53/9.70 (combk (fun (list int) bool) int)
% 9.53/9.70 (list_case bool int fFalse
% 9.53/9.70 (aa (fun int bool) (fun int (fun (list int) bool))
% 9.53/9.70 (aa (fun bool (fun (list int) bool))
% 9.53/9.70 (fun (fun int bool) (fun int (fun (list int) bool)))
% 9.53/9.70 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 9.53/9.70 (aa int (fun int bool)
% 9.53/9.70 (aa (fun int (fun int bool)) (fun int (fun int bool))
% 9.53/9.70 (combc int int bool) (ord_less int))
% 9.53/9.70 (zero_zero int)))))
% 9.53/9.70 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.53/9.70 (combk (fun int (fun (list int) bool)) int)
% 9.53/9.70 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.53/9.70 (combk (fun (list int) bool) int)
% 9.53/9.70 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 9.53/9.70 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.53/9.70 (combk (fun int (fun (list int) bool)) int)
% 9.53/9.70 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.53/9.70 (combk (fun (list int) bool) int)
% 9.53/9.70 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))))))))))))
% 9.53/9.70 (zlcms
% 9.53/9.70 (map atom int divisor
% 9.53/9.70 (filter atom
% 9.53/9.70 (atom_case bool
% 9.53/9.70 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.53/9.70 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.53/9.70 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.53/9.70 (combk (fun int (fun (list int) bool)) int)
% 9.53/9.70 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.53/9.70 (combk (fun (list int) bool) int)
% 9.53/9.70 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.53/9.70 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.53/9.70 (combk (fun int (fun (list int) bool)) int)
% 9.53/9.70 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.53/9.70 (combk (fun (list int) bool) int)
% 9.53/9.70 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.53/9.70 as))))
% 9.53/9.70 (one_one int)))
% 9.53/9.70 (zlcms
% 9.53/9.70 (map atom int divisor
% 9.53/9.70 (filter atom
% 9.53/9.70 (atom_case bool
% 9.53/9.70 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.65/9.83 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.65/9.83 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.65/9.83 (combk (fun int (fun (list int) bool)) int)
% 9.65/9.83 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.65/9.83 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.65/9.83 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.65/9.83 (combk (fun int (fun (list int) bool)) int)
% 9.65/9.83 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.65/9.83 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.65/9.83 as))))
% 9.65/9.83 (aa atom int divisor a)))
% 9.65/9.83 (aa atom int divisor a))))
% 9.65/9.83 True
% 9.65/9.83 Clause #1994 (by clausification #[75]): ∀ (a : Type), Eq (∀ (P1 : fun a bool), Eq (collect a P1) P1) True
% 9.65/9.83 Clause #1995 (by clausification #[1994]): ∀ (a : Type) (a_1 : fun a bool), Eq (Eq (collect a a_1) a_1) True
% 9.65/9.83 Clause #1996 (by clausification #[1995]): ∀ (a : Type) (a_1 : fun a bool), Eq (collect a a_1) a_1
% 9.65/9.83 Clause #2044 (by clausification #[81]): ∀ (a : int),
% 9.65/9.83 Eq
% 9.65/9.83 (∀ (M X : int),
% 9.65/9.83 Eq (div_mod int (aa int int (aa int (fun int int) (minus_minus int) (div_mod int X M)) a) M)
% 9.65/9.83 (div_mod int (aa int int (aa int (fun int int) (minus_minus int) X) a) M))
% 9.65/9.83 True
% 9.65/9.83 Clause #2045 (by clausification #[2044]): ∀ (a a_1 : int),
% 9.65/9.83 Eq
% 9.65/9.83 (∀ (X : int),
% 9.65/9.83 Eq (div_mod int (aa int int (aa int (fun int int) (minus_minus int) (div_mod int X a)) a_1) a)
% 9.65/9.83 (div_mod int (aa int int (aa int (fun int int) (minus_minus int) X) a_1) a))
% 9.65/9.83 True
% 9.65/9.83 Clause #2046 (by clausification #[2045]): ∀ (a a_1 a_2 : int),
% 9.65/9.83 Eq
% 9.65/9.83 (Eq (div_mod int (aa int int (aa int (fun int int) (minus_minus int) (div_mod int a a_1)) a_2) a_1)
% 9.65/9.83 (div_mod int (aa int int (aa int (fun int int) (minus_minus int) a) a_2) a_1))
% 9.65/9.83 True
% 9.65/9.83 Clause #2047 (by clausification #[2046]): ∀ (a a_1 a_2 : int),
% 9.65/9.83 Eq (div_mod int (aa int int (aa int (fun int int) (minus_minus int) (div_mod int a a_1)) a_2) a_1)
% 9.65/9.83 (div_mod int (aa int int (aa int (fun int int) (minus_minus int) a) a_2) a_1)
% 9.65/9.83 Clause #2325 (by clausification #[82]): ∀ (a : int),
% 9.65/9.83 Eq
% 9.65/9.83 (∀ (Y X : int),
% 9.65/9.83 Eq (div_mod int (aa int int (aa int (fun int int) (minus_minus int) X) (div_mod int Y a)) a)
% 9.65/9.83 (div_mod int (aa int int (aa int (fun int int) (minus_minus int) X) Y) a))
% 9.65/9.83 True
% 9.65/9.83 Clause #2326 (by clausification #[2325]): ∀ (a a_1 : int),
% 9.65/9.83 Eq
% 9.65/9.83 (∀ (X : int),
% 9.65/9.83 Eq (div_mod int (aa int int (aa int (fun int int) (minus_minus int) X) (div_mod int a a_1)) a_1)
% 9.65/9.83 (div_mod int (aa int int (aa int (fun int int) (minus_minus int) X) a) a_1))
% 9.65/9.83 True
% 9.65/9.83 Clause #2327 (by clausification #[2326]): ∀ (a a_1 a_2 : int),
% 9.65/9.83 Eq
% 9.65/9.83 (Eq (div_mod int (aa int int (aa int (fun int int) (minus_minus int) a) (div_mod int a_1 a_2)) a_2)
% 9.65/9.83 (div_mod int (aa int int (aa int (fun int int) (minus_minus int) a) a_1) a_2))
% 9.65/9.83 True
% 9.65/9.83 Clause #2328 (by clausification #[2327]): ∀ (a a_1 a_2 : int),
% 9.65/9.83 Eq (div_mod int (aa int int (aa int (fun int int) (minus_minus int) a) (div_mod int a_1 a_2)) a_2)
% 9.65/9.83 (div_mod int (aa int int (aa int (fun int int) (minus_minus int) a) a_1) a_2)
% 9.65/9.83 Clause #3504 (by clausification #[130]): Eq
% 9.65/9.83 (Eq
% 9.65/9.83 (div_mod int
% 9.65/9.83 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.65/9.83 (aa int int
% 9.65/9.83 (times_times int
% 9.65/9.83 (plus_plus int
% 9.65/9.83 (div_div int
% 9.65/9.83 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.65/9.83 (big_linorder_Min int
% 9.65/9.83 (collect int
% 9.65/9.83 (aa (fun int (fun (list int) bool)) (fun int bool)
% 9.65/9.83 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 9.65/9.83 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 9.65/9.83 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 9.65/9.83 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.65/9.83 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 9.65/9.83 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 9.65/9.83 (aa (fun (fun int bool) bool) (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.65/9.83 (combb (fun int bool) bool (list int)) (fEx int)))
% 9.65/9.83 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 9.65/9.83 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.65/9.83 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 9.65/9.83 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 9.65/9.83 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.65/9.83 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.65/9.83 (aa
% 9.65/9.83 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.65/9.83 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.65/9.83 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.65/9.83 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 9.65/9.83 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.65/9.83 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 9.65/9.83 (combs (list int) (fun int bool) (fun int bool)))
% 9.65/9.83 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 9.65/9.83 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.65/9.83 (aa
% 9.65/9.83 (fun (fun (list int) (fun int (fun bool bool)))
% 9.65/9.83 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.65/9.83 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 9.65/9.83 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 9.65/9.83 (combb (fun (list int) (fun int (fun bool bool)))
% 9.65/9.83 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 9.65/9.83 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 9.65/9.83 (fun (fun (list int) (fun int (fun bool bool)))
% 9.65/9.83 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.65/9.83 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)) (list int))
% 9.65/9.83 (combs int bool bool)))
% 9.65/9.83 (aa (fun int (fun (list int) (fun int bool)))
% 9.65/9.83 (fun int (fun (list int) (fun int (fun bool bool))))
% 9.65/9.83 (aa (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.65/9.83 (fun (fun int (fun (list int) (fun int bool)))
% 9.65/9.83 (fun int (fun (list int) (fun int (fun bool bool)))))
% 9.65/9.83 (combb (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool)))
% 9.65/9.83 int)
% 9.65/9.83 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 9.65/9.83 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.65/9.83 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 9.65/9.83 (aa (fun bool (fun bool bool)) (fun (fun int bool) (fun int (fun bool bool)))
% 9.65/9.83 (combb bool (fun bool bool) int) fconj)))
% 9.65/9.83 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 9.65/9.83 (aa (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.65/9.83 (fun (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool))))
% 9.65/9.83 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 9.65/9.83 (aa (fun int (fun (fun int int) (fun int bool)))
% 9.65/9.83 (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.65/9.83 (aa
% 9.65/9.83 (fun (fun (fun int int) (fun int bool))
% 9.65/9.83 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.65/9.83 (fun (fun int (fun (fun int int) (fun int bool)))
% 9.65/9.83 (fun int
% 9.65/9.83 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))))
% 9.65/9.83 (combb (fun (fun int int) (fun int bool))
% 9.65/9.83 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))) int)
% 9.65/9.83 (combb (fun int int) (fun int bool) (list int)))
% 9.65/9.83 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 9.65/9.83 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 9.65/9.83 (fun (fun int (fun int bool))
% 9.65/9.83 (fun int (fun (fun int int) (fun int bool))))
% 9.65/9.83 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 9.65/9.83 (combb int bool int))
% 9.65/9.83 (fequal int))))
% 9.65/9.83 (aa (fun (list int) int) (fun (list int) (fun int int))
% 9.65/9.83 (aa (fun int (fun int int))
% 9.65/9.83 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 9.65/9.83 (combb int (fun int int) (list int)) (minus_minus int))
% 9.65/9.83 (aa (list int) (fun (list int) int)
% 9.65/9.83 (aa (fun (list int) (fun (list int) int))
% 9.65/9.83 (fun (list int) (fun (list int) int)) (combc (list int) (list int) int)
% 9.65/9.83 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 9.65/9.83 (aa (fun (list int) (fun (list int) int))
% 9.65/9.83 (fun (fun (list int) (list int)) (fun (list int) (fun (list int) int)))
% 9.65/9.83 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 9.65/9.83 (tl int)))
% 9.65/9.83 xs)))))))
% 9.65/9.83 (aa (fun atom bool) (fun (list int) (fun int bool))
% 9.65/9.83 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.65/9.83 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 9.65/9.83 (combc (list int) (fun atom bool) (fun int bool))
% 9.65/9.83 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.65/9.83 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.65/9.83 (aa (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 9.65/9.83 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.65/9.83 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 9.65/9.83 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 9.65/9.83 (list int))
% 9.65/9.83 (combc int (fun atom bool) bool))
% 9.65/9.83 (aa (fun (list int) (fun int atom))
% 9.65/9.83 (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.65/9.83 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.65/9.83 (fun (fun (list int) (fun int atom))
% 9.65/9.83 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 9.65/9.83 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 9.65/9.83 (aa (fun atom (fun (fun atom bool) bool))
% 9.65/9.83 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.65/9.83 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 9.65/9.83 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 9.65/9.83 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 9.65/9.83 (collect atom
% 9.65/9.83 (aa (fun atom bool) (fun atom bool)
% 9.65/9.83 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool))
% 9.65/9.83 (combs atom bool bool)
% 9.65/9.83 (aa (fun atom bool) (fun atom (fun bool bool))
% 9.65/9.83 (aa (fun bool (fun bool bool)) (fun (fun atom bool) (fun atom (fun bool bool)))
% 9.65/9.83 (combb bool (fun bool bool) atom) fconj)
% 9.65/9.83 (aa (fun atom bool) (fun atom bool)
% 9.65/9.83 (aa (fun atom (fun (fun atom bool) bool)) (fun (fun atom bool) (fun atom bool))
% 9.65/9.83 (combc atom (fun atom bool) bool) (member atom))
% 9.65/9.83 (set atom as))))
% 9.65/9.83 (atom_case bool
% 9.65/9.83 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.65/9.83 (combk (fun (list int) bool) int)
% 9.65/9.83 (list_case bool int fFalse
% 9.65/9.83 (aa (fun int bool) (fun int (fun (list int) bool))
% 9.65/9.83 (aa (fun bool (fun (list int) bool))
% 9.65/9.83 (fun (fun int bool) (fun int (fun (list int) bool)))
% 9.65/9.83 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 9.65/9.83 (aa int (fun int bool)
% 9.65/9.83 (aa (fun int (fun int bool)) (fun int (fun int bool)) (combc int int bool)
% 9.65/9.83 (ord_less int))
% 9.65/9.83 (zero_zero int)))))
% 9.65/9.83 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.65/9.83 (combk (fun int (fun (list int) bool)) int)
% 9.65/9.83 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.65/9.83 (combk (fun (list int) bool) int)
% 9.65/9.83 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 9.65/9.83 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.65/9.83 (combk (fun int (fun (list int) bool)) int)
% 9.65/9.83 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.65/9.83 (combk (fun (list int) bool) int)
% 9.65/9.83 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))))))))))))
% 9.65/9.83 (zlcms
% 9.65/9.83 (map atom int divisor
% 9.65/9.83 (filter atom
% 9.65/9.83 (atom_case bool
% 9.65/9.83 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.65/9.83 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.65/9.83 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.65/9.83 (combk (fun int (fun (list int) bool)) int)
% 9.65/9.83 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.65/9.83 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.65/9.83 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.65/9.83 (combk (fun int (fun (list int) bool)) int)
% 9.65/9.83 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.65/9.83 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.65/9.83 as))))
% 9.65/9.83 (one_one int)))
% 9.65/9.83 (zlcms
% 9.65/9.83 (map atom int divisor
% 9.65/9.83 (filter atom
% 9.65/9.83 (atom_case bool
% 9.65/9.83 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.65/9.83 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.65/9.83 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.65/9.83 (combk (fun int (fun (list int) bool)) int)
% 9.65/9.83 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.65/9.83 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.65/9.83 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.65/9.83 (combk (fun int (fun (list int) bool)) int)
% 9.65/9.83 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.65/9.83 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.65/9.83 as)))))
% 9.65/9.83 (aa atom int divisor a))
% 9.65/9.83 (div_mod int
% 9.65/9.83 (aa int int (aa int (fun int int) (minus_minus int) (div_mod int n (aa atom int divisor a)))
% 9.65/9.83 (div_mod int
% 9.65/9.83 (aa int int
% 9.65/9.83 (times_times int
% 9.65/9.83 (plus_plus int
% 9.65/9.83 (div_div int
% 9.65/9.83 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.65/9.83 (big_linorder_Min int
% 9.65/9.83 (collect int
% 9.65/9.83 (aa (fun int (fun (list int) bool)) (fun int bool)
% 9.65/9.83 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 9.65/9.83 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 9.65/9.83 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 9.65/9.83 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.65/9.83 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 9.65/9.83 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 9.65/9.83 (aa (fun (fun int bool) bool) (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.65/9.83 (combb (fun int bool) bool (list int)) (fEx int)))
% 9.65/9.83 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 9.65/9.83 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.65/9.83 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 9.65/9.83 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 9.65/9.83 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.65/9.83 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.65/9.83 (aa
% 9.65/9.83 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.65/9.83 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.65/9.83 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.65/9.83 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 9.65/9.83 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.65/9.83 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 9.65/9.83 (combs (list int) (fun int bool) (fun int bool)))
% 9.65/9.83 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 9.65/9.83 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.65/9.83 (aa
% 9.65/9.83 (fun (fun (list int) (fun int (fun bool bool)))
% 9.65/9.83 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.65/9.83 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 9.65/9.83 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 9.65/9.83 (combb (fun (list int) (fun int (fun bool bool)))
% 9.65/9.83 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 9.65/9.83 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 9.65/9.83 (fun (fun (list int) (fun int (fun bool bool)))
% 9.65/9.83 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.65/9.83 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)) (list int))
% 9.65/9.83 (combs int bool bool)))
% 9.65/9.83 (aa (fun int (fun (list int) (fun int bool)))
% 9.65/9.83 (fun int (fun (list int) (fun int (fun bool bool))))
% 9.65/9.83 (aa
% 9.65/9.83 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.65/9.83 (fun (fun int (fun (list int) (fun int bool)))
% 9.65/9.83 (fun int (fun (list int) (fun int (fun bool bool)))))
% 9.65/9.83 (combb (fun (list int) (fun int bool))
% 9.65/9.83 (fun (list int) (fun int (fun bool bool))) int)
% 9.65/9.83 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 9.65/9.83 (fun (fun (list int) (fun int bool))
% 9.65/9.83 (fun (list int) (fun int (fun bool bool))))
% 9.65/9.83 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 9.65/9.83 (aa (fun bool (fun bool bool)) (fun (fun int bool) (fun int (fun bool bool)))
% 9.65/9.83 (combb bool (fun bool bool) int) fconj)))
% 9.65/9.83 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 9.65/9.83 (aa
% 9.65/9.83 (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.65/9.83 (fun (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool))))
% 9.65/9.83 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 9.65/9.83 (aa (fun int (fun (fun int int) (fun int bool)))
% 9.65/9.83 (fun int
% 9.65/9.83 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.65/9.83 (aa
% 9.65/9.83 (fun (fun (fun int int) (fun int bool))
% 9.65/9.83 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.65/9.83 (fun (fun int (fun (fun int int) (fun int bool)))
% 9.65/9.83 (fun int
% 9.65/9.83 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))))
% 9.65/9.83 (combb (fun (fun int int) (fun int bool))
% 9.65/9.83 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 9.65/9.83 int)
% 9.65/9.83 (combb (fun int int) (fun int bool) (list int)))
% 9.65/9.83 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 9.65/9.83 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 9.65/9.83 (fun (fun int (fun int bool))
% 9.65/9.83 (fun int (fun (fun int int) (fun int bool))))
% 9.65/9.83 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 9.65/9.83 (combb int bool int))
% 9.65/9.83 (fequal int))))
% 9.65/9.83 (aa (fun (list int) int) (fun (list int) (fun int int))
% 9.65/9.83 (aa (fun int (fun int int))
% 9.65/9.83 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 9.65/9.83 (combb int (fun int int) (list int)) (minus_minus int))
% 9.65/9.83 (aa (list int) (fun (list int) int)
% 9.65/9.83 (aa (fun (list int) (fun (list int) int))
% 9.65/9.83 (fun (list int) (fun (list int) int)) (combc (list int) (list int) int)
% 9.65/9.83 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 9.65/9.83 (aa (fun (list int) (fun (list int) int))
% 9.65/9.83 (fun (fun (list int) (list int))
% 9.65/9.83 (fun (list int) (fun (list int) int)))
% 9.65/9.83 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 9.65/9.83 (tl int)))
% 9.65/9.83 xs)))))))
% 9.65/9.83 (aa (fun atom bool) (fun (list int) (fun int bool))
% 9.65/9.83 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.65/9.83 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 9.65/9.83 (combc (list int) (fun atom bool) (fun int bool))
% 9.65/9.83 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.65/9.83 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.65/9.83 (aa (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 9.65/9.83 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.65/9.83 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 9.65/9.83 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 9.65/9.83 (list int))
% 9.65/9.83 (combc int (fun atom bool) bool))
% 9.65/9.83 (aa (fun (list int) (fun int atom))
% 9.65/9.83 (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.65/9.83 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.65/9.83 (fun (fun (list int) (fun int atom))
% 9.65/9.83 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 9.65/9.83 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 9.65/9.83 (aa (fun atom (fun (fun atom bool) bool))
% 9.65/9.83 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.65/9.83 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 9.65/9.83 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 9.65/9.83 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 9.65/9.83 (collect atom
% 9.65/9.83 (aa (fun atom bool) (fun atom bool)
% 9.65/9.83 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool))
% 9.65/9.83 (combs atom bool bool)
% 9.65/9.83 (aa (fun atom bool) (fun atom (fun bool bool))
% 9.65/9.83 (aa (fun bool (fun bool bool)) (fun (fun atom bool) (fun atom (fun bool bool)))
% 9.65/9.83 (combb bool (fun bool bool) atom) fconj)
% 9.65/9.83 (aa (fun atom bool) (fun atom bool)
% 9.65/9.83 (aa (fun atom (fun (fun atom bool) bool))
% 9.65/9.83 (fun (fun atom bool) (fun atom bool)) (combc atom (fun atom bool) bool)
% 9.65/9.83 (member atom))
% 9.65/9.83 (set atom as))))
% 9.65/9.83 (atom_case bool
% 9.65/9.83 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.65/9.83 (combk (fun (list int) bool) int)
% 9.65/9.83 (list_case bool int fFalse
% 9.65/9.83 (aa (fun int bool) (fun int (fun (list int) bool))
% 9.65/9.83 (aa (fun bool (fun (list int) bool))
% 9.65/9.83 (fun (fun int bool) (fun int (fun (list int) bool)))
% 9.65/9.83 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 9.65/9.83 (aa int (fun int bool)
% 9.65/9.83 (aa (fun int (fun int bool)) (fun int (fun int bool)) (combc int int bool)
% 9.65/9.83 (ord_less int))
% 9.65/9.83 (zero_zero int)))))
% 9.65/9.83 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.65/9.83 (combk (fun int (fun (list int) bool)) int)
% 9.65/9.83 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.65/9.83 (combk (fun (list int) bool) int)
% 9.65/9.83 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 9.65/9.83 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.65/9.83 (combk (fun int (fun (list int) bool)) int)
% 9.65/9.83 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.65/9.83 (combk (fun (list int) bool) int)
% 9.65/9.83 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))))))))))))
% 9.65/9.83 (zlcms
% 9.65/9.83 (map atom int divisor
% 9.73/9.94 (filter atom
% 9.73/9.94 (atom_case bool
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.73/9.94 (combk (fun int (fun (list int) bool)) int)
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.73/9.94 (combk (fun int (fun (list int) bool)) int)
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.73/9.94 as))))
% 9.73/9.94 (one_one int)))
% 9.73/9.94 (zlcms
% 9.73/9.94 (map atom int divisor
% 9.73/9.94 (filter atom
% 9.73/9.94 (atom_case bool
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.73/9.94 (combk (fun int (fun (list int) bool)) int)
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.73/9.94 (combk (fun int (fun (list int) bool)) int)
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.73/9.94 as))))
% 9.73/9.94 (aa atom int divisor a)))
% 9.73/9.94 (aa atom int divisor a)))
% 9.73/9.94 False
% 9.73/9.94 Clause #3505 (by clausification #[3504]): Ne
% 9.73/9.94 (div_mod int
% 9.73/9.94 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.73/9.94 (aa int int
% 9.73/9.94 (times_times int
% 9.73/9.94 (plus_plus int
% 9.73/9.94 (div_div int
% 9.73/9.94 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.73/9.94 (big_linorder_Min int
% 9.73/9.94 (collect int
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int bool)
% 9.73/9.94 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 9.73/9.94 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 9.73/9.94 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 9.73/9.94 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.73/9.94 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 9.73/9.94 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 9.73/9.94 (aa (fun (fun int bool) bool) (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.73/9.94 (combb (fun int bool) bool (list int)) (fEx int)))
% 9.73/9.94 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 9.73/9.94 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.73/9.94 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 9.73/9.94 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 9.73/9.94 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.73/9.94 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.73/9.94 (aa
% 9.73/9.94 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.73/9.94 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.73/9.94 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.73/9.94 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 9.73/9.94 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.73/9.94 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 9.73/9.94 (combs (list int) (fun int bool) (fun int bool)))
% 9.73/9.94 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 9.73/9.94 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.73/9.94 (aa
% 9.73/9.94 (fun (fun (list int) (fun int (fun bool bool)))
% 9.73/9.94 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.73/9.94 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 9.73/9.94 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 9.73/9.94 (combb (fun (list int) (fun int (fun bool bool)))
% 9.73/9.94 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 9.73/9.94 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 9.73/9.94 (fun (fun (list int) (fun int (fun bool bool)))
% 9.73/9.94 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.73/9.94 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)) (list int))
% 9.73/9.94 (combs int bool bool)))
% 9.73/9.94 (aa (fun int (fun (list int) (fun int bool)))
% 9.73/9.94 (fun int (fun (list int) (fun int (fun bool bool))))
% 9.73/9.94 (aa (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.73/9.94 (fun (fun int (fun (list int) (fun int bool)))
% 9.73/9.94 (fun int (fun (list int) (fun int (fun bool bool)))))
% 9.73/9.94 (combb (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool)))
% 9.73/9.94 int)
% 9.73/9.94 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 9.73/9.94 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.73/9.94 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 9.73/9.94 (aa (fun bool (fun bool bool)) (fun (fun int bool) (fun int (fun bool bool)))
% 9.73/9.94 (combb bool (fun bool bool) int) fconj)))
% 9.73/9.94 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 9.73/9.94 (aa (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.73/9.94 (fun (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool))))
% 9.73/9.94 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 9.73/9.94 (aa (fun int (fun (fun int int) (fun int bool)))
% 9.73/9.94 (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.73/9.94 (aa
% 9.73/9.94 (fun (fun (fun int int) (fun int bool))
% 9.73/9.94 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.73/9.94 (fun (fun int (fun (fun int int) (fun int bool)))
% 9.73/9.94 (fun int
% 9.73/9.94 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))))
% 9.73/9.94 (combb (fun (fun int int) (fun int bool))
% 9.73/9.94 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))) int)
% 9.73/9.94 (combb (fun int int) (fun int bool) (list int)))
% 9.73/9.94 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 9.73/9.94 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 9.73/9.94 (fun (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool))))
% 9.73/9.94 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 9.73/9.94 (combb int bool int))
% 9.73/9.94 (fequal int))))
% 9.73/9.94 (aa (fun (list int) int) (fun (list int) (fun int int))
% 9.73/9.94 (aa (fun int (fun int int))
% 9.73/9.94 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 9.73/9.94 (combb int (fun int int) (list int)) (minus_minus int))
% 9.73/9.94 (aa (list int) (fun (list int) int)
% 9.73/9.94 (aa (fun (list int) (fun (list int) int)) (fun (list int) (fun (list int) int))
% 9.73/9.94 (combc (list int) (list int) int)
% 9.73/9.94 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 9.73/9.94 (aa (fun (list int) (fun (list int) int))
% 9.73/9.94 (fun (fun (list int) (list int)) (fun (list int) (fun (list int) int)))
% 9.73/9.94 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 9.73/9.94 (tl int)))
% 9.73/9.94 xs)))))))
% 9.73/9.94 (aa (fun atom bool) (fun (list int) (fun int bool))
% 9.73/9.94 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.73/9.94 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 9.73/9.94 (combc (list int) (fun atom bool) (fun int bool))
% 9.73/9.94 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.73/9.94 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.73/9.94 (aa (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 9.73/9.94 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.73/9.94 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 9.73/9.94 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 9.73/9.94 (list int))
% 9.73/9.94 (combc int (fun atom bool) bool))
% 9.73/9.94 (aa (fun (list int) (fun int atom))
% 9.73/9.94 (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.73/9.94 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.73/9.94 (fun (fun (list int) (fun int atom))
% 9.73/9.94 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 9.73/9.94 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 9.73/9.94 (aa (fun atom (fun (fun atom bool) bool))
% 9.73/9.94 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.73/9.94 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 9.73/9.94 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 9.73/9.94 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 9.73/9.94 (collect atom
% 9.73/9.94 (aa (fun atom bool) (fun atom bool)
% 9.73/9.94 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool))
% 9.73/9.94 (combs atom bool bool)
% 9.73/9.94 (aa (fun atom bool) (fun atom (fun bool bool))
% 9.73/9.94 (aa (fun bool (fun bool bool)) (fun (fun atom bool) (fun atom (fun bool bool)))
% 9.73/9.94 (combb bool (fun bool bool) atom) fconj)
% 9.73/9.94 (aa (fun atom bool) (fun atom bool)
% 9.73/9.94 (aa (fun atom (fun (fun atom bool) bool)) (fun (fun atom bool) (fun atom bool))
% 9.73/9.94 (combc atom (fun atom bool) bool) (member atom))
% 9.73/9.94 (set atom as))))
% 9.73/9.94 (atom_case bool
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.73/9.94 (combk (fun (list int) bool) int)
% 9.73/9.94 (list_case bool int fFalse
% 9.73/9.94 (aa (fun int bool) (fun int (fun (list int) bool))
% 9.73/9.94 (aa (fun bool (fun (list int) bool))
% 9.73/9.94 (fun (fun int bool) (fun int (fun (list int) bool)))
% 9.73/9.94 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 9.73/9.94 (aa int (fun int bool)
% 9.73/9.94 (aa (fun int (fun int bool)) (fun int (fun int bool)) (combc int int bool)
% 9.73/9.94 (ord_less int))
% 9.73/9.94 (zero_zero int)))))
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.73/9.94 (combk (fun int (fun (list int) bool)) int)
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.73/9.94 (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.73/9.94 (combk (fun int (fun (list int) bool)) int)
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.73/9.94 (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))))))))))))
% 9.73/9.94 (zlcms
% 9.73/9.94 (map atom int divisor
% 9.73/9.94 (filter atom
% 9.73/9.94 (atom_case bool
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.73/9.94 (combk (fun int (fun (list int) bool)) int)
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.73/9.94 (combk (fun int (fun (list int) bool)) int)
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.73/9.94 as))))
% 9.73/9.94 (one_one int)))
% 9.73/9.94 (zlcms
% 9.73/9.94 (map atom int divisor
% 9.73/9.94 (filter atom
% 9.73/9.94 (atom_case bool
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.73/9.94 (combk (fun int (fun (list int) bool)) int)
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.73/9.94 (combk (fun int (fun (list int) bool)) int)
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.73/9.94 as)))))
% 9.73/9.94 (aa atom int divisor a))
% 9.73/9.94 (div_mod int
% 9.73/9.94 (aa int int (aa int (fun int int) (minus_minus int) (div_mod int n (aa atom int divisor a)))
% 9.73/9.94 (div_mod int
% 9.73/9.94 (aa int int
% 9.73/9.94 (times_times int
% 9.73/9.94 (plus_plus int
% 9.73/9.94 (div_div int
% 9.73/9.94 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.73/9.94 (big_linorder_Min int
% 9.73/9.94 (collect int
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int bool)
% 9.73/9.94 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 9.73/9.94 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 9.73/9.94 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 9.73/9.94 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.73/9.94 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 9.73/9.94 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 9.73/9.94 (aa (fun (fun int bool) bool) (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.73/9.94 (combb (fun int bool) bool (list int)) (fEx int)))
% 9.73/9.94 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 9.73/9.94 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.73/9.94 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 9.73/9.94 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 9.73/9.94 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.73/9.94 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.73/9.94 (aa
% 9.73/9.94 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.73/9.94 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.73/9.94 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.73/9.94 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 9.73/9.94 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.73/9.94 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 9.73/9.94 (combs (list int) (fun int bool) (fun int bool)))
% 9.73/9.94 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 9.73/9.94 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.73/9.94 (aa
% 9.73/9.94 (fun (fun (list int) (fun int (fun bool bool)))
% 9.73/9.94 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.73/9.94 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 9.73/9.94 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 9.73/9.94 (combb (fun (list int) (fun int (fun bool bool)))
% 9.73/9.94 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 9.73/9.94 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 9.73/9.94 (fun (fun (list int) (fun int (fun bool bool)))
% 9.73/9.94 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.73/9.94 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)) (list int))
% 9.73/9.94 (combs int bool bool)))
% 9.73/9.94 (aa (fun int (fun (list int) (fun int bool)))
% 9.73/9.94 (fun int (fun (list int) (fun int (fun bool bool))))
% 9.73/9.94 (aa (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.73/9.94 (fun (fun int (fun (list int) (fun int bool)))
% 9.73/9.94 (fun int (fun (list int) (fun int (fun bool bool)))))
% 9.73/9.94 (combb (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool)))
% 9.73/9.94 int)
% 9.73/9.94 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 9.73/9.94 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.73/9.94 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 9.73/9.94 (aa (fun bool (fun bool bool)) (fun (fun int bool) (fun int (fun bool bool)))
% 9.73/9.94 (combb bool (fun bool bool) int) fconj)))
% 9.73/9.94 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 9.73/9.94 (aa (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.73/9.94 (fun (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool))))
% 9.73/9.94 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 9.73/9.94 (aa (fun int (fun (fun int int) (fun int bool)))
% 9.73/9.94 (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.73/9.94 (aa
% 9.73/9.94 (fun (fun (fun int int) (fun int bool))
% 9.73/9.94 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.73/9.94 (fun (fun int (fun (fun int int) (fun int bool)))
% 9.73/9.94 (fun int
% 9.73/9.94 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))))
% 9.73/9.94 (combb (fun (fun int int) (fun int bool))
% 9.73/9.94 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))) int)
% 9.73/9.94 (combb (fun int int) (fun int bool) (list int)))
% 9.73/9.94 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 9.73/9.94 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 9.73/9.94 (fun (fun int (fun int bool))
% 9.73/9.94 (fun int (fun (fun int int) (fun int bool))))
% 9.73/9.94 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 9.73/9.94 (combb int bool int))
% 9.73/9.94 (fequal int))))
% 9.73/9.94 (aa (fun (list int) int) (fun (list int) (fun int int))
% 9.73/9.94 (aa (fun int (fun int int))
% 9.73/9.94 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 9.73/9.94 (combb int (fun int int) (list int)) (minus_minus int))
% 9.73/9.94 (aa (list int) (fun (list int) int)
% 9.73/9.94 (aa (fun (list int) (fun (list int) int))
% 9.73/9.94 (fun (list int) (fun (list int) int)) (combc (list int) (list int) int)
% 9.73/9.94 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 9.73/9.94 (aa (fun (list int) (fun (list int) int))
% 9.73/9.94 (fun (fun (list int) (list int)) (fun (list int) (fun (list int) int)))
% 9.73/9.94 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 9.73/9.94 (tl int)))
% 9.73/9.94 xs)))))))
% 9.73/9.94 (aa (fun atom bool) (fun (list int) (fun int bool))
% 9.73/9.94 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.73/9.94 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 9.73/9.94 (combc (list int) (fun atom bool) (fun int bool))
% 9.73/9.94 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.73/9.94 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.73/9.94 (aa (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 9.73/9.94 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.73/9.94 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 9.73/9.94 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 9.73/9.94 (list int))
% 9.73/9.94 (combc int (fun atom bool) bool))
% 9.73/9.94 (aa (fun (list int) (fun int atom))
% 9.73/9.94 (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.73/9.94 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.73/9.94 (fun (fun (list int) (fun int atom))
% 9.73/9.94 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 9.73/9.94 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 9.73/9.94 (aa (fun atom (fun (fun atom bool) bool))
% 9.73/9.94 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.73/9.94 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 9.73/9.94 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 9.73/9.94 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 9.73/9.94 (collect atom
% 9.73/9.94 (aa (fun atom bool) (fun atom bool)
% 9.73/9.94 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool))
% 9.73/9.94 (combs atom bool bool)
% 9.73/9.94 (aa (fun atom bool) (fun atom (fun bool bool))
% 9.73/9.94 (aa (fun bool (fun bool bool)) (fun (fun atom bool) (fun atom (fun bool bool)))
% 9.73/9.94 (combb bool (fun bool bool) atom) fconj)
% 9.73/9.94 (aa (fun atom bool) (fun atom bool)
% 9.73/9.94 (aa (fun atom (fun (fun atom bool) bool)) (fun (fun atom bool) (fun atom bool))
% 9.73/9.94 (combc atom (fun atom bool) bool) (member atom))
% 9.73/9.94 (set atom as))))
% 9.73/9.94 (atom_case bool
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.73/9.94 (combk (fun (list int) bool) int)
% 9.73/9.94 (list_case bool int fFalse
% 9.73/9.94 (aa (fun int bool) (fun int (fun (list int) bool))
% 9.73/9.94 (aa (fun bool (fun (list int) bool))
% 9.73/9.94 (fun (fun int bool) (fun int (fun (list int) bool)))
% 9.73/9.94 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 9.73/9.94 (aa int (fun int bool)
% 9.73/9.94 (aa (fun int (fun int bool)) (fun int (fun int bool)) (combc int int bool)
% 9.73/9.94 (ord_less int))
% 9.73/9.94 (zero_zero int)))))
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.73/9.94 (combk (fun int (fun (list int) bool)) int)
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.73/9.94 (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.73/9.94 (combk (fun int (fun (list int) bool)) int)
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.73/9.94 (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))))))))))))
% 9.73/9.94 (zlcms
% 9.73/9.94 (map atom int divisor
% 9.73/9.94 (filter atom
% 9.73/9.94 (atom_case bool
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.73/9.94 (combk (fun int (fun (list int) bool)) int)
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.73/9.94 (combk (fun int (fun (list int) bool)) int)
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.73/9.94 as))))
% 9.73/9.94 (one_one int)))
% 9.73/9.94 (zlcms
% 9.73/9.94 (map atom int divisor
% 9.73/9.94 (filter atom
% 9.73/9.94 (atom_case bool
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.73/9.94 (combk (fun int (fun (list int) bool)) int)
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.73/9.94 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.73/9.94 (combk (fun int (fun (list int) bool)) int)
% 9.73/9.94 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.73/9.94 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.73/9.94 as))))
% 9.73/9.94 (aa atom int divisor a)))
% 9.73/9.94 (aa atom int divisor a))
% 9.85/10.05 Clause #3506 (by forward demodulation #[3505, 1996]): Ne
% 9.85/10.05 (div_mod int
% 9.85/10.05 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.85/10.05 (aa int int
% 9.85/10.05 (times_times int
% 9.85/10.05 (plus_plus int
% 9.85/10.05 (div_div int
% 9.85/10.05 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.85/10.05 (big_linorder_Min int
% 9.85/10.05 (aa (fun int (fun (list int) bool)) (fun int bool)
% 9.85/10.05 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 9.85/10.05 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 9.85/10.05 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 9.85/10.05 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.85/10.05 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 9.85/10.05 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 9.85/10.05 (aa (fun (fun int bool) bool) (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.85/10.05 (combb (fun int bool) bool (list int)) (fEx int)))
% 9.85/10.05 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 9.85/10.05 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.85/10.05 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 9.85/10.05 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 9.85/10.05 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.85/10.05 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.85/10.05 (aa
% 9.85/10.05 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.85/10.05 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.85/10.05 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.85/10.05 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 9.85/10.05 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.85/10.05 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 9.85/10.05 (combs (list int) (fun int bool) (fun int bool)))
% 9.85/10.05 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 9.85/10.05 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.85/10.05 (aa
% 9.85/10.05 (fun (fun (list int) (fun int (fun bool bool)))
% 9.85/10.05 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.85/10.05 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 9.85/10.05 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 9.85/10.05 (combb (fun (list int) (fun int (fun bool bool)))
% 9.85/10.05 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 9.85/10.05 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 9.85/10.05 (fun (fun (list int) (fun int (fun bool bool)))
% 9.85/10.05 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.85/10.05 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)) (list int))
% 9.85/10.05 (combs int bool bool)))
% 9.85/10.05 (aa (fun int (fun (list int) (fun int bool)))
% 9.85/10.05 (fun int (fun (list int) (fun int (fun bool bool))))
% 9.85/10.05 (aa (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.85/10.05 (fun (fun int (fun (list int) (fun int bool)))
% 9.85/10.05 (fun int (fun (list int) (fun int (fun bool bool)))))
% 9.85/10.05 (combb (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))) int)
% 9.85/10.05 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 9.85/10.05 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.85/10.05 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 9.85/10.05 (aa (fun bool (fun bool bool)) (fun (fun int bool) (fun int (fun bool bool)))
% 9.85/10.05 (combb bool (fun bool bool) int) fconj)))
% 9.85/10.05 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 9.85/10.05 (aa (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.85/10.05 (fun (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool))))
% 9.85/10.05 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 9.85/10.05 (aa (fun int (fun (fun int int) (fun int bool)))
% 9.85/10.05 (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.85/10.05 (aa
% 9.85/10.05 (fun (fun (fun int int) (fun int bool))
% 9.85/10.05 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.85/10.05 (fun (fun int (fun (fun int int) (fun int bool)))
% 9.85/10.05 (fun int
% 9.85/10.05 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))))
% 9.85/10.05 (combb (fun (fun int int) (fun int bool))
% 9.85/10.05 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))) int)
% 9.85/10.05 (combb (fun int int) (fun int bool) (list int)))
% 9.85/10.05 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 9.85/10.05 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 9.85/10.05 (fun (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool))))
% 9.85/10.05 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 9.85/10.05 (combb int bool int))
% 9.85/10.05 (fequal int))))
% 9.85/10.05 (aa (fun (list int) int) (fun (list int) (fun int int))
% 9.85/10.05 (aa (fun int (fun int int))
% 9.85/10.05 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 9.85/10.05 (combb int (fun int int) (list int)) (minus_minus int))
% 9.85/10.05 (aa (list int) (fun (list int) int)
% 9.85/10.05 (aa (fun (list int) (fun (list int) int)) (fun (list int) (fun (list int) int))
% 9.85/10.05 (combc (list int) (list int) int)
% 9.85/10.05 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 9.85/10.05 (aa (fun (list int) (fun (list int) int))
% 9.85/10.05 (fun (fun (list int) (list int)) (fun (list int) (fun (list int) int)))
% 9.85/10.05 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 9.85/10.05 (tl int)))
% 9.85/10.05 xs)))))))
% 9.85/10.05 (aa (fun atom bool) (fun (list int) (fun int bool))
% 9.85/10.05 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.85/10.05 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 9.85/10.05 (combc (list int) (fun atom bool) (fun int bool))
% 9.85/10.05 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.85/10.05 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.85/10.05 (aa (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 9.85/10.05 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.85/10.05 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 9.85/10.05 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 9.85/10.05 (list int))
% 9.85/10.05 (combc int (fun atom bool) bool))
% 9.85/10.05 (aa (fun (list int) (fun int atom)) (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.85/10.05 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.85/10.05 (fun (fun (list int) (fun int atom))
% 9.85/10.05 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 9.85/10.05 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 9.85/10.05 (aa (fun atom (fun (fun atom bool) bool))
% 9.85/10.05 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.85/10.05 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 9.85/10.05 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 9.85/10.05 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 9.85/10.05 (collect atom
% 9.85/10.05 (aa (fun atom bool) (fun atom bool)
% 9.85/10.05 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool))
% 9.85/10.05 (combs atom bool bool)
% 9.85/10.05 (aa (fun atom bool) (fun atom (fun bool bool))
% 9.85/10.05 (aa (fun bool (fun bool bool)) (fun (fun atom bool) (fun atom (fun bool bool)))
% 9.85/10.05 (combb bool (fun bool bool) atom) fconj)
% 9.85/10.05 (aa (fun atom bool) (fun atom bool)
% 9.85/10.05 (aa (fun atom (fun (fun atom bool) bool)) (fun (fun atom bool) (fun atom bool))
% 9.85/10.05 (combc atom (fun atom bool) bool) (member atom))
% 9.85/10.05 (set atom as))))
% 9.85/10.05 (atom_case bool
% 9.85/10.05 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.85/10.05 (combk (fun (list int) bool) int)
% 9.85/10.05 (list_case bool int fFalse
% 9.85/10.05 (aa (fun int bool) (fun int (fun (list int) bool))
% 9.85/10.05 (aa (fun bool (fun (list int) bool))
% 9.85/10.05 (fun (fun int bool) (fun int (fun (list int) bool)))
% 9.85/10.05 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 9.85/10.05 (aa int (fun int bool)
% 9.85/10.05 (aa (fun int (fun int bool)) (fun int (fun int bool)) (combc int int bool)
% 9.85/10.05 (ord_less int))
% 9.85/10.05 (zero_zero int)))))
% 9.85/10.05 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.85/10.05 (combk (fun int (fun (list int) bool)) int)
% 9.85/10.05 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.85/10.05 (combk (fun (list int) bool) int)
% 9.85/10.05 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 9.85/10.05 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.85/10.05 (combk (fun int (fun (list int) bool)) int)
% 9.85/10.05 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.85/10.05 (combk (fun (list int) bool) int)
% 9.85/10.05 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))))))))))))
% 9.85/10.05 (zlcms
% 9.85/10.05 (map atom int divisor
% 9.85/10.05 (filter atom
% 9.85/10.05 (atom_case bool
% 9.85/10.05 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.85/10.05 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.85/10.05 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.85/10.05 (combk (fun int (fun (list int) bool)) int)
% 9.85/10.05 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.85/10.05 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.85/10.05 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.85/10.05 (combk (fun int (fun (list int) bool)) int)
% 9.85/10.05 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.85/10.05 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.85/10.05 as))))
% 9.85/10.05 (one_one int)))
% 9.85/10.05 (zlcms
% 9.85/10.05 (map atom int divisor
% 9.85/10.05 (filter atom
% 9.85/10.05 (atom_case bool
% 9.85/10.05 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.85/10.05 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.85/10.05 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.85/10.05 (combk (fun int (fun (list int) bool)) int)
% 9.85/10.05 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.85/10.05 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.85/10.05 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.85/10.05 (combk (fun int (fun (list int) bool)) int)
% 9.85/10.05 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.85/10.05 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.85/10.05 as)))))
% 9.85/10.05 (aa atom int divisor a))
% 9.85/10.05 (div_mod int
% 9.85/10.05 (aa int int (aa int (fun int int) (minus_minus int) (div_mod int n (aa atom int divisor a)))
% 9.85/10.05 (div_mod int
% 9.85/10.05 (aa int int
% 9.85/10.05 (times_times int
% 9.85/10.05 (plus_plus int
% 9.85/10.05 (div_div int
% 9.85/10.05 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.85/10.05 (big_linorder_Min int
% 9.85/10.05 (collect int
% 9.85/10.05 (aa (fun int (fun (list int) bool)) (fun int bool)
% 9.85/10.05 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 9.85/10.05 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 9.85/10.05 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 9.85/10.05 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.85/10.05 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 9.85/10.05 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 9.85/10.05 (aa (fun (fun int bool) bool) (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.85/10.05 (combb (fun int bool) bool (list int)) (fEx int)))
% 9.85/10.05 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 9.85/10.05 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.85/10.05 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 9.85/10.05 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 9.85/10.05 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.85/10.05 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.85/10.05 (aa
% 9.85/10.05 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.85/10.05 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.85/10.05 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.85/10.05 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 9.85/10.05 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.85/10.05 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 9.85/10.05 (combs (list int) (fun int bool) (fun int bool)))
% 9.85/10.05 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 9.85/10.05 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.85/10.05 (aa
% 9.85/10.05 (fun (fun (list int) (fun int (fun bool bool)))
% 9.85/10.05 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.85/10.05 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 9.85/10.05 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 9.85/10.05 (combb (fun (list int) (fun int (fun bool bool)))
% 9.85/10.05 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 9.85/10.05 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 9.85/10.05 (fun (fun (list int) (fun int (fun bool bool)))
% 9.85/10.05 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.85/10.05 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)) (list int))
% 9.85/10.05 (combs int bool bool)))
% 9.85/10.05 (aa (fun int (fun (list int) (fun int bool)))
% 9.85/10.05 (fun int (fun (list int) (fun int (fun bool bool))))
% 9.85/10.05 (aa (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.85/10.05 (fun (fun int (fun (list int) (fun int bool)))
% 9.85/10.05 (fun int (fun (list int) (fun int (fun bool bool)))))
% 9.85/10.05 (combb (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool)))
% 9.85/10.05 int)
% 9.85/10.05 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 9.85/10.05 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.85/10.05 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 9.85/10.05 (aa (fun bool (fun bool bool)) (fun (fun int bool) (fun int (fun bool bool)))
% 9.85/10.05 (combb bool (fun bool bool) int) fconj)))
% 9.85/10.05 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 9.85/10.05 (aa (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.85/10.05 (fun (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool))))
% 9.85/10.05 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 9.85/10.05 (aa (fun int (fun (fun int int) (fun int bool)))
% 9.85/10.05 (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.85/10.05 (aa
% 9.85/10.05 (fun (fun (fun int int) (fun int bool))
% 9.85/10.05 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.85/10.05 (fun (fun int (fun (fun int int) (fun int bool)))
% 9.85/10.05 (fun int
% 9.85/10.05 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))))
% 9.85/10.05 (combb (fun (fun int int) (fun int bool))
% 9.85/10.05 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))) int)
% 9.85/10.05 (combb (fun int int) (fun int bool) (list int)))
% 9.85/10.05 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 9.85/10.05 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 9.85/10.05 (fun (fun int (fun int bool))
% 9.85/10.05 (fun int (fun (fun int int) (fun int bool))))
% 9.85/10.05 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 9.85/10.05 (combb int bool int))
% 9.85/10.05 (fequal int))))
% 9.85/10.05 (aa (fun (list int) int) (fun (list int) (fun int int))
% 9.85/10.05 (aa (fun int (fun int int))
% 9.85/10.05 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 9.85/10.05 (combb int (fun int int) (list int)) (minus_minus int))
% 9.85/10.05 (aa (list int) (fun (list int) int)
% 9.85/10.05 (aa (fun (list int) (fun (list int) int))
% 9.85/10.05 (fun (list int) (fun (list int) int)) (combc (list int) (list int) int)
% 9.85/10.05 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 9.85/10.05 (aa (fun (list int) (fun (list int) int))
% 9.85/10.05 (fun (fun (list int) (list int)) (fun (list int) (fun (list int) int)))
% 9.85/10.05 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 9.85/10.05 (tl int)))
% 9.85/10.05 xs)))))))
% 9.85/10.05 (aa (fun atom bool) (fun (list int) (fun int bool))
% 9.85/10.05 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.85/10.05 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 9.85/10.05 (combc (list int) (fun atom bool) (fun int bool))
% 9.85/10.05 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.85/10.05 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.85/10.05 (aa (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 9.85/10.05 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.85/10.05 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 9.85/10.05 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 9.85/10.05 (list int))
% 9.85/10.05 (combc int (fun atom bool) bool))
% 9.85/10.05 (aa (fun (list int) (fun int atom))
% 9.85/10.05 (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.85/10.05 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.85/10.05 (fun (fun (list int) (fun int atom))
% 9.85/10.05 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 9.85/10.05 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 9.85/10.05 (aa (fun atom (fun (fun atom bool) bool))
% 9.85/10.05 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.85/10.05 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 9.85/10.05 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 9.85/10.05 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 9.85/10.05 (collect atom
% 9.85/10.05 (aa (fun atom bool) (fun atom bool)
% 9.85/10.05 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool))
% 9.85/10.05 (combs atom bool bool)
% 9.85/10.05 (aa (fun atom bool) (fun atom (fun bool bool))
% 9.85/10.05 (aa (fun bool (fun bool bool)) (fun (fun atom bool) (fun atom (fun bool bool)))
% 9.85/10.05 (combb bool (fun bool bool) atom) fconj)
% 9.85/10.05 (aa (fun atom bool) (fun atom bool)
% 9.85/10.05 (aa (fun atom (fun (fun atom bool) bool)) (fun (fun atom bool) (fun atom bool))
% 9.85/10.05 (combc atom (fun atom bool) bool) (member atom))
% 9.85/10.05 (set atom as))))
% 9.85/10.05 (atom_case bool
% 9.85/10.05 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.85/10.05 (combk (fun (list int) bool) int)
% 9.85/10.05 (list_case bool int fFalse
% 9.85/10.05 (aa (fun int bool) (fun int (fun (list int) bool))
% 9.85/10.05 (aa (fun bool (fun (list int) bool))
% 9.85/10.05 (fun (fun int bool) (fun int (fun (list int) bool)))
% 9.85/10.05 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 9.85/10.05 (aa int (fun int bool)
% 9.85/10.05 (aa (fun int (fun int bool)) (fun int (fun int bool)) (combc int int bool)
% 9.85/10.05 (ord_less int))
% 9.85/10.05 (zero_zero int)))))
% 9.85/10.05 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.85/10.05 (combk (fun int (fun (list int) bool)) int)
% 9.85/10.05 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.85/10.05 (combk (fun (list int) bool) int)
% 9.85/10.05 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 9.85/10.05 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.85/10.05 (combk (fun int (fun (list int) bool)) int)
% 9.85/10.05 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.85/10.05 (combk (fun (list int) bool) int)
% 9.85/10.05 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))))))))))))
% 9.85/10.05 (zlcms
% 9.85/10.05 (map atom int divisor
% 9.85/10.05 (filter atom
% 9.85/10.05 (atom_case bool
% 9.85/10.05 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.85/10.05 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.85/10.05 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.85/10.05 (combk (fun int (fun (list int) bool)) int)
% 9.85/10.05 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.85/10.05 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.85/10.05 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.16 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.16 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.16 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.95/10.16 as))))
% 9.95/10.16 (one_one int)))
% 9.95/10.16 (zlcms
% 9.95/10.16 (map atom int divisor
% 9.95/10.16 (filter atom
% 9.95/10.16 (atom_case bool
% 9.95/10.16 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.16 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.95/10.16 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.16 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.16 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.16 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.95/10.16 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.16 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.16 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.16 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.95/10.16 as))))
% 9.95/10.16 (aa atom int divisor a)))
% 9.95/10.16 (aa atom int divisor a))
% 9.95/10.16 Clause #3507 (by forward demodulation #[3506, 1996]): Ne
% 9.95/10.16 (div_mod int
% 9.95/10.16 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.95/10.16 (aa int int
% 9.95/10.16 (times_times int
% 9.95/10.16 (plus_plus int
% 9.95/10.16 (div_div int
% 9.95/10.16 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.95/10.16 (big_linorder_Min int
% 9.95/10.16 (aa (fun int (fun (list int) bool)) (fun int bool)
% 9.95/10.16 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 9.95/10.16 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 9.95/10.16 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 9.95/10.16 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.95/10.16 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 9.95/10.16 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 9.95/10.16 (aa (fun (fun int bool) bool) (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.95/10.16 (combb (fun int bool) bool (list int)) (fEx int)))
% 9.95/10.16 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 9.95/10.16 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.95/10.16 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 9.95/10.16 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 9.95/10.16 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.16 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.95/10.16 (aa
% 9.95/10.16 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.95/10.16 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.95/10.16 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.16 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 9.95/10.16 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.95/10.16 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 9.95/10.16 (combs (list int) (fun int bool) (fun int bool)))
% 9.95/10.16 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 9.95/10.16 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.16 (aa
% 9.95/10.16 (fun (fun (list int) (fun int (fun bool bool)))
% 9.95/10.16 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.16 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 9.95/10.16 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 9.95/10.16 (combb (fun (list int) (fun int (fun bool bool)))
% 9.95/10.16 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 9.95/10.16 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 9.95/10.16 (fun (fun (list int) (fun int (fun bool bool)))
% 9.95/10.16 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.16 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)) (list int))
% 9.95/10.16 (combs int bool bool)))
% 9.95/10.16 (aa (fun int (fun (list int) (fun int bool)))
% 9.95/10.16 (fun int (fun (list int) (fun int (fun bool bool))))
% 9.95/10.16 (aa (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.95/10.16 (fun (fun int (fun (list int) (fun int bool)))
% 9.95/10.16 (fun int (fun (list int) (fun int (fun bool bool)))))
% 9.95/10.16 (combb (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))) int)
% 9.95/10.16 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 9.95/10.16 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.95/10.16 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 9.95/10.16 (aa (fun bool (fun bool bool)) (fun (fun int bool) (fun int (fun bool bool)))
% 9.95/10.16 (combb bool (fun bool bool) int) fconj)))
% 9.95/10.16 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 9.95/10.16 (aa (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.95/10.16 (fun (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool))))
% 9.95/10.16 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 9.95/10.16 (aa (fun int (fun (fun int int) (fun int bool)))
% 9.95/10.16 (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.95/10.16 (aa
% 9.95/10.16 (fun (fun (fun int int) (fun int bool))
% 9.95/10.16 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.95/10.16 (fun (fun int (fun (fun int int) (fun int bool)))
% 9.95/10.16 (fun int
% 9.95/10.16 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))))
% 9.95/10.16 (combb (fun (fun int int) (fun int bool))
% 9.95/10.16 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))) int)
% 9.95/10.16 (combb (fun int int) (fun int bool) (list int)))
% 9.95/10.16 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 9.95/10.16 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 9.95/10.16 (fun (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool))))
% 9.95/10.16 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 9.95/10.16 (combb int bool int))
% 9.95/10.16 (fequal int))))
% 9.95/10.16 (aa (fun (list int) int) (fun (list int) (fun int int))
% 9.95/10.16 (aa (fun int (fun int int))
% 9.95/10.16 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 9.95/10.16 (combb int (fun int int) (list int)) (minus_minus int))
% 9.95/10.16 (aa (list int) (fun (list int) int)
% 9.95/10.16 (aa (fun (list int) (fun (list int) int)) (fun (list int) (fun (list int) int))
% 9.95/10.16 (combc (list int) (list int) int)
% 9.95/10.16 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 9.95/10.16 (aa (fun (list int) (fun (list int) int))
% 9.95/10.16 (fun (fun (list int) (list int)) (fun (list int) (fun (list int) int)))
% 9.95/10.16 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 9.95/10.16 (tl int)))
% 9.95/10.16 xs)))))))
% 9.95/10.16 (aa (fun atom bool) (fun (list int) (fun int bool))
% 9.95/10.16 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.95/10.16 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 9.95/10.16 (combc (list int) (fun atom bool) (fun int bool))
% 9.95/10.16 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.95/10.16 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.95/10.16 (aa (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 9.95/10.16 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.95/10.16 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 9.95/10.16 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 9.95/10.16 (list int))
% 9.95/10.16 (combc int (fun atom bool) bool))
% 9.95/10.16 (aa (fun (list int) (fun int atom)) (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.95/10.16 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.95/10.16 (fun (fun (list int) (fun int atom))
% 9.95/10.16 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 9.95/10.16 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 9.95/10.16 (aa (fun atom (fun (fun atom bool) bool))
% 9.95/10.16 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.95/10.16 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 9.95/10.16 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 9.95/10.16 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 9.95/10.16 (aa (fun atom bool) (fun atom bool)
% 9.95/10.16 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool)) (combs atom bool bool)
% 9.95/10.16 (aa (fun atom bool) (fun atom (fun bool bool))
% 9.95/10.16 (aa (fun bool (fun bool bool)) (fun (fun atom bool) (fun atom (fun bool bool)))
% 9.95/10.16 (combb bool (fun bool bool) atom) fconj)
% 9.95/10.16 (aa (fun atom bool) (fun atom bool)
% 9.95/10.16 (aa (fun atom (fun (fun atom bool) bool)) (fun (fun atom bool) (fun atom bool))
% 9.95/10.16 (combc atom (fun atom bool) bool) (member atom))
% 9.95/10.16 (set atom as))))
% 9.95/10.16 (atom_case bool
% 9.95/10.16 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.95/10.16 (combk (fun (list int) bool) int)
% 9.95/10.16 (list_case bool int fFalse
% 9.95/10.16 (aa (fun int bool) (fun int (fun (list int) bool))
% 9.95/10.16 (aa (fun bool (fun (list int) bool))
% 9.95/10.16 (fun (fun int bool) (fun int (fun (list int) bool)))
% 9.95/10.16 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 9.95/10.16 (aa int (fun int bool)
% 9.95/10.16 (aa (fun int (fun int bool)) (fun int (fun int bool)) (combc int int bool)
% 9.95/10.16 (ord_less int))
% 9.95/10.16 (zero_zero int)))))
% 9.95/10.16 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.16 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.16 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.95/10.16 (combk (fun (list int) bool) int)
% 9.95/10.16 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 9.95/10.16 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.16 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.16 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.95/10.16 (combk (fun (list int) bool) int)
% 9.95/10.16 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))))))))))
% 9.95/10.16 (zlcms
% 9.95/10.16 (map atom int divisor
% 9.95/10.16 (filter atom
% 9.95/10.16 (atom_case bool
% 9.95/10.16 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.16 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.95/10.16 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.16 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.16 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.16 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.95/10.16 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.16 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.16 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.16 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.95/10.16 as))))
% 9.95/10.16 (one_one int)))
% 9.95/10.16 (zlcms
% 9.95/10.16 (map atom int divisor
% 9.95/10.16 (filter atom
% 9.95/10.16 (atom_case bool
% 9.95/10.16 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.16 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.95/10.16 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.16 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.16 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.16 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.95/10.16 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.16 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.16 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.16 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.95/10.16 as)))))
% 9.95/10.16 (aa atom int divisor a))
% 9.95/10.16 (div_mod int
% 9.95/10.16 (aa int int (aa int (fun int int) (minus_minus int) (div_mod int n (aa atom int divisor a)))
% 9.95/10.16 (div_mod int
% 9.95/10.16 (aa int int
% 9.95/10.16 (times_times int
% 9.95/10.16 (plus_plus int
% 9.95/10.16 (div_div int
% 9.95/10.16 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.95/10.16 (big_linorder_Min int
% 9.95/10.16 (collect int
% 9.95/10.16 (aa (fun int (fun (list int) bool)) (fun int bool)
% 9.95/10.16 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 9.95/10.16 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 9.95/10.16 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 9.95/10.16 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.95/10.16 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 9.95/10.16 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 9.95/10.16 (aa (fun (fun int bool) bool) (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.95/10.16 (combb (fun int bool) bool (list int)) (fEx int)))
% 9.95/10.16 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 9.95/10.16 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.95/10.16 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 9.95/10.16 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 9.95/10.16 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.16 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.95/10.16 (aa
% 9.95/10.16 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.95/10.16 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.95/10.16 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.16 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 9.95/10.16 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.95/10.16 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 9.95/10.16 (combs (list int) (fun int bool) (fun int bool)))
% 9.95/10.16 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 9.95/10.16 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.16 (aa
% 9.95/10.16 (fun (fun (list int) (fun int (fun bool bool)))
% 9.95/10.16 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.16 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 9.95/10.16 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 9.95/10.16 (combb (fun (list int) (fun int (fun bool bool)))
% 9.95/10.16 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 9.95/10.16 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 9.95/10.16 (fun (fun (list int) (fun int (fun bool bool)))
% 9.95/10.16 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.16 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)) (list int))
% 9.95/10.16 (combs int bool bool)))
% 9.95/10.16 (aa (fun int (fun (list int) (fun int bool)))
% 9.95/10.16 (fun int (fun (list int) (fun int (fun bool bool))))
% 9.95/10.16 (aa (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.95/10.16 (fun (fun int (fun (list int) (fun int bool)))
% 9.95/10.16 (fun int (fun (list int) (fun int (fun bool bool)))))
% 9.95/10.16 (combb (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool)))
% 9.95/10.16 int)
% 9.95/10.16 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 9.95/10.16 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.95/10.16 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 9.95/10.16 (aa (fun bool (fun bool bool)) (fun (fun int bool) (fun int (fun bool bool)))
% 9.95/10.16 (combb bool (fun bool bool) int) fconj)))
% 9.95/10.16 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 9.95/10.16 (aa (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.95/10.16 (fun (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool))))
% 9.95/10.16 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 9.95/10.16 (aa (fun int (fun (fun int int) (fun int bool)))
% 9.95/10.16 (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.95/10.16 (aa
% 9.95/10.16 (fun (fun (fun int int) (fun int bool))
% 9.95/10.16 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.95/10.16 (fun (fun int (fun (fun int int) (fun int bool)))
% 9.95/10.16 (fun int
% 9.95/10.16 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))))
% 9.95/10.16 (combb (fun (fun int int) (fun int bool))
% 9.95/10.16 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))) int)
% 9.95/10.16 (combb (fun int int) (fun int bool) (list int)))
% 9.95/10.16 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 9.95/10.16 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 9.95/10.16 (fun (fun int (fun int bool))
% 9.95/10.16 (fun int (fun (fun int int) (fun int bool))))
% 9.95/10.16 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 9.95/10.16 (combb int bool int))
% 9.95/10.16 (fequal int))))
% 9.95/10.16 (aa (fun (list int) int) (fun (list int) (fun int int))
% 9.95/10.16 (aa (fun int (fun int int))
% 9.95/10.16 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 9.95/10.16 (combb int (fun int int) (list int)) (minus_minus int))
% 9.95/10.16 (aa (list int) (fun (list int) int)
% 9.95/10.16 (aa (fun (list int) (fun (list int) int))
% 9.95/10.16 (fun (list int) (fun (list int) int)) (combc (list int) (list int) int)
% 9.95/10.16 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 9.95/10.16 (aa (fun (list int) (fun (list int) int))
% 9.95/10.16 (fun (fun (list int) (list int)) (fun (list int) (fun (list int) int)))
% 9.95/10.16 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 9.95/10.16 (tl int)))
% 9.95/10.16 xs)))))))
% 9.95/10.16 (aa (fun atom bool) (fun (list int) (fun int bool))
% 9.95/10.16 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.95/10.16 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 9.95/10.16 (combc (list int) (fun atom bool) (fun int bool))
% 9.95/10.16 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.95/10.16 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.95/10.16 (aa (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 9.95/10.16 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.95/10.16 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 9.95/10.16 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 9.95/10.16 (list int))
% 9.95/10.16 (combc int (fun atom bool) bool))
% 9.95/10.16 (aa (fun (list int) (fun int atom))
% 9.95/10.16 (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.95/10.16 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.95/10.16 (fun (fun (list int) (fun int atom))
% 9.95/10.16 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 9.95/10.16 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 9.95/10.16 (aa (fun atom (fun (fun atom bool) bool))
% 9.95/10.16 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.95/10.16 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 9.95/10.16 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 9.95/10.16 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 9.95/10.16 (collect atom
% 9.95/10.16 (aa (fun atom bool) (fun atom bool)
% 9.95/10.16 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool))
% 9.95/10.16 (combs atom bool bool)
% 9.95/10.16 (aa (fun atom bool) (fun atom (fun bool bool))
% 9.95/10.16 (aa (fun bool (fun bool bool)) (fun (fun atom bool) (fun atom (fun bool bool)))
% 9.95/10.16 (combb bool (fun bool bool) atom) fconj)
% 9.95/10.16 (aa (fun atom bool) (fun atom bool)
% 9.95/10.16 (aa (fun atom (fun (fun atom bool) bool)) (fun (fun atom bool) (fun atom bool))
% 9.95/10.16 (combc atom (fun atom bool) bool) (member atom))
% 9.95/10.16 (set atom as))))
% 9.95/10.16 (atom_case bool
% 9.95/10.16 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.95/10.16 (combk (fun (list int) bool) int)
% 9.95/10.16 (list_case bool int fFalse
% 9.95/10.16 (aa (fun int bool) (fun int (fun (list int) bool))
% 9.95/10.16 (aa (fun bool (fun (list int) bool))
% 9.95/10.16 (fun (fun int bool) (fun int (fun (list int) bool)))
% 9.95/10.16 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 9.95/10.16 (aa int (fun int bool)
% 9.95/10.16 (aa (fun int (fun int bool)) (fun int (fun int bool)) (combc int int bool)
% 9.95/10.16 (ord_less int))
% 9.95/10.16 (zero_zero int)))))
% 9.95/10.16 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.16 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.16 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.95/10.16 (combk (fun (list int) bool) int)
% 9.95/10.16 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 9.95/10.27 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.27 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.27 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.95/10.27 (combk (fun (list int) bool) int)
% 9.95/10.27 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))))))))))))
% 9.95/10.27 (zlcms
% 9.95/10.27 (map atom int divisor
% 9.95/10.27 (filter atom
% 9.95/10.27 (atom_case bool
% 9.95/10.27 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.27 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.95/10.27 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.27 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.27 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.27 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.95/10.27 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.27 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.27 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.27 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.95/10.27 as))))
% 9.95/10.27 (one_one int)))
% 9.95/10.27 (zlcms
% 9.95/10.27 (map atom int divisor
% 9.95/10.27 (filter atom
% 9.95/10.27 (atom_case bool
% 9.95/10.27 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.27 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.95/10.27 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.27 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.27 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.27 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.95/10.27 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.27 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.27 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.27 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.95/10.27 as))))
% 9.95/10.27 (aa atom int divisor a)))
% 9.95/10.27 (aa atom int divisor a))
% 9.95/10.27 Clause #3508 (by forward demodulation #[3507, 2047]): Ne
% 9.95/10.27 (div_mod int
% 9.95/10.27 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.95/10.27 (aa int int
% 9.95/10.27 (times_times int
% 9.95/10.27 (plus_plus int
% 9.95/10.27 (div_div int
% 9.95/10.27 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.95/10.27 (big_linorder_Min int
% 9.95/10.27 (aa (fun int (fun (list int) bool)) (fun int bool)
% 9.95/10.27 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 9.95/10.27 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 9.95/10.27 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 9.95/10.27 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.95/10.27 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 9.95/10.27 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 9.95/10.27 (aa (fun (fun int bool) bool) (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.95/10.27 (combb (fun int bool) bool (list int)) (fEx int)))
% 9.95/10.27 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 9.95/10.27 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.95/10.27 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 9.95/10.27 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 9.95/10.27 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.27 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.95/10.27 (aa
% 9.95/10.27 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.95/10.27 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.95/10.27 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.27 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 9.95/10.27 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.95/10.27 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 9.95/10.27 (combs (list int) (fun int bool) (fun int bool)))
% 9.95/10.27 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 9.95/10.27 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.27 (aa
% 9.95/10.27 (fun (fun (list int) (fun int (fun bool bool)))
% 9.95/10.27 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.27 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 9.95/10.27 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 9.95/10.27 (combb (fun (list int) (fun int (fun bool bool)))
% 9.95/10.27 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 9.95/10.27 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 9.95/10.27 (fun (fun (list int) (fun int (fun bool bool)))
% 9.95/10.27 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.27 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)) (list int))
% 9.95/10.27 (combs int bool bool)))
% 9.95/10.27 (aa (fun int (fun (list int) (fun int bool)))
% 9.95/10.27 (fun int (fun (list int) (fun int (fun bool bool))))
% 9.95/10.27 (aa (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.95/10.27 (fun (fun int (fun (list int) (fun int bool)))
% 9.95/10.27 (fun int (fun (list int) (fun int (fun bool bool)))))
% 9.95/10.27 (combb (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))) int)
% 9.95/10.27 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 9.95/10.27 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.95/10.27 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 9.95/10.27 (aa (fun bool (fun bool bool)) (fun (fun int bool) (fun int (fun bool bool)))
% 9.95/10.27 (combb bool (fun bool bool) int) fconj)))
% 9.95/10.27 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 9.95/10.27 (aa (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.95/10.27 (fun (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool))))
% 9.95/10.27 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 9.95/10.27 (aa (fun int (fun (fun int int) (fun int bool)))
% 9.95/10.27 (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.95/10.27 (aa
% 9.95/10.27 (fun (fun (fun int int) (fun int bool))
% 9.95/10.27 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.95/10.27 (fun (fun int (fun (fun int int) (fun int bool)))
% 9.95/10.27 (fun int
% 9.95/10.27 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))))
% 9.95/10.27 (combb (fun (fun int int) (fun int bool))
% 9.95/10.27 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))) int)
% 9.95/10.27 (combb (fun int int) (fun int bool) (list int)))
% 9.95/10.27 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 9.95/10.27 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 9.95/10.27 (fun (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool))))
% 9.95/10.27 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 9.95/10.27 (combb int bool int))
% 9.95/10.27 (fequal int))))
% 9.95/10.27 (aa (fun (list int) int) (fun (list int) (fun int int))
% 9.95/10.27 (aa (fun int (fun int int))
% 9.95/10.27 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 9.95/10.27 (combb int (fun int int) (list int)) (minus_minus int))
% 9.95/10.27 (aa (list int) (fun (list int) int)
% 9.95/10.27 (aa (fun (list int) (fun (list int) int)) (fun (list int) (fun (list int) int))
% 9.95/10.27 (combc (list int) (list int) int)
% 9.95/10.27 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 9.95/10.27 (aa (fun (list int) (fun (list int) int))
% 9.95/10.27 (fun (fun (list int) (list int)) (fun (list int) (fun (list int) int)))
% 9.95/10.27 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 9.95/10.27 (tl int)))
% 9.95/10.27 xs)))))))
% 9.95/10.27 (aa (fun atom bool) (fun (list int) (fun int bool))
% 9.95/10.27 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.95/10.27 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 9.95/10.27 (combc (list int) (fun atom bool) (fun int bool))
% 9.95/10.27 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.95/10.27 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.95/10.27 (aa (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 9.95/10.27 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.95/10.27 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 9.95/10.27 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 9.95/10.27 (list int))
% 9.95/10.27 (combc int (fun atom bool) bool))
% 9.95/10.27 (aa (fun (list int) (fun int atom)) (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.95/10.27 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.95/10.27 (fun (fun (list int) (fun int atom))
% 9.95/10.27 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 9.95/10.27 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 9.95/10.27 (aa (fun atom (fun (fun atom bool) bool))
% 9.95/10.27 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.95/10.27 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 9.95/10.27 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 9.95/10.27 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 9.95/10.27 (aa (fun atom bool) (fun atom bool)
% 9.95/10.27 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool)) (combs atom bool bool)
% 9.95/10.27 (aa (fun atom bool) (fun atom (fun bool bool))
% 9.95/10.27 (aa (fun bool (fun bool bool)) (fun (fun atom bool) (fun atom (fun bool bool)))
% 9.95/10.27 (combb bool (fun bool bool) atom) fconj)
% 9.95/10.27 (aa (fun atom bool) (fun atom bool)
% 9.95/10.27 (aa (fun atom (fun (fun atom bool) bool)) (fun (fun atom bool) (fun atom bool))
% 9.95/10.27 (combc atom (fun atom bool) bool) (member atom))
% 9.95/10.27 (set atom as))))
% 9.95/10.27 (atom_case bool
% 9.95/10.27 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.95/10.27 (combk (fun (list int) bool) int)
% 9.95/10.27 (list_case bool int fFalse
% 9.95/10.27 (aa (fun int bool) (fun int (fun (list int) bool))
% 9.95/10.27 (aa (fun bool (fun (list int) bool))
% 9.95/10.27 (fun (fun int bool) (fun int (fun (list int) bool)))
% 9.95/10.27 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 9.95/10.27 (aa int (fun int bool)
% 9.95/10.27 (aa (fun int (fun int bool)) (fun int (fun int bool)) (combc int int bool)
% 9.95/10.27 (ord_less int))
% 9.95/10.27 (zero_zero int)))))
% 9.95/10.27 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.27 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.27 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.95/10.27 (combk (fun (list int) bool) int)
% 9.95/10.27 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 9.95/10.27 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.27 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.27 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 9.95/10.27 (combk (fun (list int) bool) int)
% 9.95/10.27 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))))))))))
% 9.95/10.27 (zlcms
% 9.95/10.27 (map atom int divisor
% 9.95/10.27 (filter atom
% 9.95/10.27 (atom_case bool
% 9.95/10.27 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.27 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.95/10.27 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.27 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.27 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.27 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.95/10.27 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.27 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.27 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.27 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.95/10.27 as))))
% 9.95/10.27 (one_one int)))
% 9.95/10.27 (zlcms
% 9.95/10.27 (map atom int divisor
% 9.95/10.27 (filter atom
% 9.95/10.27 (atom_case bool
% 9.95/10.27 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.27 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 9.95/10.27 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.27 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.27 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.27 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 9.95/10.27 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 9.95/10.27 (combk (fun int (fun (list int) bool)) int)
% 9.95/10.27 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 9.95/10.27 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 9.95/10.27 as)))))
% 9.95/10.27 (aa atom int divisor a))
% 9.95/10.27 (div_mod int
% 9.95/10.27 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.95/10.27 (div_mod int
% 9.95/10.27 (aa int int
% 9.95/10.27 (times_times int
% 9.95/10.27 (plus_plus int
% 9.95/10.27 (div_div int
% 9.95/10.27 (aa int int (aa int (fun int int) (minus_minus int) n)
% 9.95/10.27 (big_linorder_Min int
% 9.95/10.27 (collect int
% 9.95/10.27 (aa (fun int (fun (list int) bool)) (fun int bool)
% 9.95/10.27 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 9.95/10.27 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 9.95/10.27 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 9.95/10.27 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.95/10.27 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 9.95/10.27 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 9.95/10.27 (aa (fun (fun int bool) bool) (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 9.95/10.27 (combb (fun int bool) bool (list int)) (fEx int)))
% 9.95/10.27 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 9.95/10.27 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.95/10.27 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 9.95/10.27 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 9.95/10.27 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.27 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.95/10.27 (aa
% 9.95/10.27 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.95/10.27 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 9.95/10.27 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.27 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 9.95/10.27 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 9.95/10.27 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 9.95/10.27 (combs (list int) (fun int bool) (fun int bool)))
% 9.95/10.27 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 9.95/10.27 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.27 (aa
% 9.95/10.27 (fun (fun (list int) (fun int (fun bool bool)))
% 9.95/10.27 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.27 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 9.95/10.27 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 9.95/10.27 (combb (fun (list int) (fun int (fun bool bool)))
% 9.95/10.27 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 9.95/10.27 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 9.95/10.27 (fun (fun (list int) (fun int (fun bool bool)))
% 9.95/10.27 (fun (list int) (fun (fun int bool) (fun int bool))))
% 9.95/10.27 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)) (list int))
% 9.95/10.27 (combs int bool bool)))
% 9.95/10.27 (aa (fun int (fun (list int) (fun int bool)))
% 9.95/10.27 (fun int (fun (list int) (fun int (fun bool bool))))
% 9.95/10.27 (aa (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.95/10.27 (fun (fun int (fun (list int) (fun int bool)))
% 9.95/10.27 (fun int (fun (list int) (fun int (fun bool bool)))))
% 9.95/10.27 (combb (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool)))
% 9.95/10.27 int)
% 9.95/10.27 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 9.95/10.27 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 9.95/10.27 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 9.95/10.27 (aa (fun bool (fun bool bool)) (fun (fun int bool) (fun int (fun bool bool)))
% 9.95/10.27 (combb bool (fun bool bool) int) fconj)))
% 9.95/10.27 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 9.95/10.27 (aa (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.95/10.27 (fun (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool))))
% 9.95/10.27 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 9.95/10.27 (aa (fun int (fun (fun int int) (fun int bool)))
% 9.95/10.27 (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.95/10.27 (aa
% 9.95/10.27 (fun (fun (fun int int) (fun int bool))
% 9.95/10.27 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 9.95/10.27 (fun (fun int (fun (fun int int) (fun int bool)))
% 9.95/10.27 (fun int
% 9.95/10.27 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))))
% 9.95/10.27 (combb (fun (fun int int) (fun int bool))
% 9.95/10.27 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))) int)
% 9.95/10.27 (combb (fun int int) (fun int bool) (list int)))
% 9.95/10.27 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 9.95/10.27 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 9.95/10.27 (fun (fun int (fun int bool))
% 9.95/10.27 (fun int (fun (fun int int) (fun int bool))))
% 9.95/10.27 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 9.95/10.27 (combb int bool int))
% 9.95/10.27 (fequal int))))
% 9.95/10.27 (aa (fun (list int) int) (fun (list int) (fun int int))
% 9.95/10.27 (aa (fun int (fun int int))
% 9.95/10.27 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 9.95/10.27 (combb int (fun int int) (list int)) (minus_minus int))
% 9.95/10.27 (aa (list int) (fun (list int) int)
% 9.95/10.27 (aa (fun (list int) (fun (list int) int))
% 9.95/10.27 (fun (list int) (fun (list int) int)) (combc (list int) (list int) int)
% 9.95/10.27 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 9.95/10.27 (aa (fun (list int) (fun (list int) int))
% 9.95/10.27 (fun (fun (list int) (list int)) (fun (list int) (fun (list int) int)))
% 9.95/10.27 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 9.95/10.27 (tl int)))
% 9.95/10.27 xs)))))))
% 9.95/10.27 (aa (fun atom bool) (fun (list int) (fun int bool))
% 9.95/10.27 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.95/10.27 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 9.95/10.27 (combc (list int) (fun atom bool) (fun int bool))
% 9.95/10.27 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.95/10.27 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 9.95/10.27 (aa (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 9.95/10.27 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.95/10.27 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 9.95/10.27 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 9.95/10.27 (list int))
% 9.95/10.27 (combc int (fun atom bool) bool))
% 9.95/10.27 (aa (fun (list int) (fun int atom))
% 9.95/10.27 (fun (list int) (fun int (fun (fun atom bool) bool)))
% 9.95/10.27 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.95/10.27 (fun (fun (list int) (fun int atom))
% 9.95/10.27 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 9.95/10.27 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 9.95/10.27 (aa (fun atom (fun (fun atom bool) bool))
% 9.95/10.27 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 9.95/10.27 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 9.95/10.27 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 9.95/10.27 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 9.95/10.27 (collect atom
% 9.95/10.27 (aa (fun atom bool) (fun atom bool)
% 9.95/10.27 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool))
% 9.95/10.27 (combs atom bool bool)
% 9.95/10.27 (aa (fun atom bool) (fun atom (fun bool bool))
% 9.95/10.27 (aa (fun bool (fun bool bool)) (fun (fun atom bool) (fun atom (fun bool bool)))
% 9.95/10.27 (combb bool (fun bool bool) atom) fconj)
% 9.95/10.27 (aa (fun atom bool) (fun atom bool)
% 9.95/10.27 (aa (fun atom (fun (fun atom bool) bool)) (fun (fun atom bool) (fun atom bool))
% 9.95/10.27 (combc atom (fun atom bool) bool) (member atom))
% 9.95/10.27 (set atom as))))
% 9.95/10.27 (atom_case bool
% 9.95/10.27 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.22/10.38 (combk (fun (list int) bool) int)
% 10.22/10.38 (list_case bool int fFalse
% 10.22/10.38 (aa (fun int bool) (fun int (fun (list int) bool))
% 10.22/10.38 (aa (fun bool (fun (list int) bool))
% 10.22/10.38 (fun (fun int bool) (fun int (fun (list int) bool)))
% 10.22/10.38 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 10.22/10.38 (aa int (fun int bool)
% 10.22/10.38 (aa (fun int (fun int bool)) (fun int (fun int bool)) (combc int int bool)
% 10.22/10.38 (ord_less int))
% 10.22/10.38 (zero_zero int)))))
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.22/10.38 (combk (fun int (fun (list int) bool)) int)
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.22/10.38 (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.22/10.38 (combk (fun int (fun (list int) bool)) int)
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.22/10.38 (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))))))))))))
% 10.22/10.38 (zlcms
% 10.22/10.38 (map atom int divisor
% 10.22/10.38 (filter atom
% 10.22/10.38 (atom_case bool
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.22/10.38 (combk (fun int (fun (list int) bool)) int)
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.22/10.38 (combk (fun int (fun (list int) bool)) int)
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 10.22/10.38 as))))
% 10.22/10.38 (one_one int)))
% 10.22/10.38 (zlcms
% 10.22/10.38 (map atom int divisor
% 10.22/10.38 (filter atom
% 10.22/10.38 (atom_case bool
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.22/10.38 (combk (fun int (fun (list int) bool)) int)
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.22/10.38 (combk (fun int (fun (list int) bool)) int)
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 10.22/10.38 as))))
% 10.22/10.38 (aa atom int divisor a)))
% 10.22/10.38 (aa atom int divisor a))
% 10.22/10.38 Clause #3509 (by forward demodulation #[3508, 2328]): Ne
% 10.22/10.38 (div_mod int
% 10.22/10.38 (aa int int (aa int (fun int int) (minus_minus int) n)
% 10.22/10.38 (aa int int
% 10.22/10.38 (times_times int
% 10.22/10.38 (plus_plus int
% 10.22/10.38 (div_div int
% 10.22/10.38 (aa int int (aa int (fun int int) (minus_minus int) n)
% 10.22/10.38 (big_linorder_Min int
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int bool)
% 10.22/10.38 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 10.22/10.38 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 10.22/10.38 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 10.22/10.38 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 10.22/10.38 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 10.22/10.38 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 10.22/10.38 (aa (fun (fun int bool) bool) (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 10.22/10.38 (combb (fun int bool) bool (list int)) (fEx int)))
% 10.22/10.38 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 10.22/10.38 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.22/10.38 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 10.22/10.38 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 10.22/10.38 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.22/10.38 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.22/10.38 (aa
% 10.22/10.38 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 10.22/10.38 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.22/10.38 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.22/10.38 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 10.22/10.38 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 10.22/10.38 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 10.22/10.38 (combs (list int) (fun int bool) (fun int bool)))
% 10.22/10.38 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 10.22/10.38 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.22/10.38 (aa
% 10.22/10.38 (fun (fun (list int) (fun int (fun bool bool)))
% 10.22/10.38 (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.22/10.38 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 10.22/10.38 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 10.22/10.38 (combb (fun (list int) (fun int (fun bool bool)))
% 10.22/10.38 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 10.22/10.38 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 10.22/10.38 (fun (fun (list int) (fun int (fun bool bool)))
% 10.22/10.38 (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.22/10.38 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)) (list int))
% 10.22/10.38 (combs int bool bool)))
% 10.22/10.38 (aa (fun int (fun (list int) (fun int bool)))
% 10.22/10.38 (fun int (fun (list int) (fun int (fun bool bool))))
% 10.22/10.38 (aa (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 10.22/10.38 (fun (fun int (fun (list int) (fun int bool)))
% 10.22/10.38 (fun int (fun (list int) (fun int (fun bool bool)))))
% 10.22/10.38 (combb (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))) int)
% 10.22/10.38 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 10.22/10.38 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 10.22/10.38 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 10.22/10.38 (aa (fun bool (fun bool bool)) (fun (fun int bool) (fun int (fun bool bool)))
% 10.22/10.38 (combb bool (fun bool bool) int) fconj)))
% 10.22/10.38 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 10.22/10.38 (aa (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.22/10.38 (fun (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool))))
% 10.22/10.38 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 10.22/10.38 (aa (fun int (fun (fun int int) (fun int bool)))
% 10.22/10.38 (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.22/10.38 (aa
% 10.22/10.38 (fun (fun (fun int int) (fun int bool))
% 10.22/10.38 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.22/10.38 (fun (fun int (fun (fun int int) (fun int bool)))
% 10.22/10.38 (fun int
% 10.22/10.38 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))))
% 10.22/10.38 (combb (fun (fun int int) (fun int bool))
% 10.22/10.38 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))) int)
% 10.22/10.38 (combb (fun int int) (fun int bool) (list int)))
% 10.22/10.38 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 10.22/10.38 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 10.22/10.38 (fun (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool))))
% 10.22/10.38 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 10.22/10.38 (combb int bool int))
% 10.22/10.38 (fequal int))))
% 10.22/10.38 (aa (fun (list int) int) (fun (list int) (fun int int))
% 10.22/10.38 (aa (fun int (fun int int))
% 10.22/10.38 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 10.22/10.38 (combb int (fun int int) (list int)) (minus_minus int))
% 10.22/10.38 (aa (list int) (fun (list int) int)
% 10.22/10.38 (aa (fun (list int) (fun (list int) int)) (fun (list int) (fun (list int) int))
% 10.22/10.38 (combc (list int) (list int) int)
% 10.22/10.38 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 10.22/10.38 (aa (fun (list int) (fun (list int) int))
% 10.22/10.38 (fun (fun (list int) (list int)) (fun (list int) (fun (list int) int)))
% 10.22/10.38 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 10.22/10.38 (tl int)))
% 10.22/10.38 xs)))))))
% 10.22/10.38 (aa (fun atom bool) (fun (list int) (fun int bool))
% 10.22/10.38 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 10.22/10.38 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 10.22/10.38 (combc (list int) (fun atom bool) (fun int bool))
% 10.22/10.38 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.22/10.38 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 10.22/10.38 (aa (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 10.22/10.38 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.22/10.38 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 10.22/10.38 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 10.22/10.38 (list int))
% 10.22/10.38 (combc int (fun atom bool) bool))
% 10.22/10.38 (aa (fun (list int) (fun int atom)) (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.22/10.38 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 10.22/10.38 (fun (fun (list int) (fun int atom))
% 10.22/10.38 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 10.22/10.38 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 10.22/10.38 (aa (fun atom (fun (fun atom bool) bool))
% 10.22/10.38 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 10.22/10.38 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 10.22/10.38 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 10.22/10.38 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 10.22/10.38 (aa (fun atom bool) (fun atom bool)
% 10.22/10.38 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool)) (combs atom bool bool)
% 10.22/10.38 (aa (fun atom bool) (fun atom (fun bool bool))
% 10.22/10.38 (aa (fun bool (fun bool bool)) (fun (fun atom bool) (fun atom (fun bool bool)))
% 10.22/10.38 (combb bool (fun bool bool) atom) fconj)
% 10.22/10.38 (aa (fun atom bool) (fun atom bool)
% 10.22/10.38 (aa (fun atom (fun (fun atom bool) bool)) (fun (fun atom bool) (fun atom bool))
% 10.22/10.38 (combc atom (fun atom bool) bool) (member atom))
% 10.22/10.38 (set atom as))))
% 10.22/10.38 (atom_case bool
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.22/10.38 (combk (fun (list int) bool) int)
% 10.22/10.38 (list_case bool int fFalse
% 10.22/10.38 (aa (fun int bool) (fun int (fun (list int) bool))
% 10.22/10.38 (aa (fun bool (fun (list int) bool))
% 10.22/10.38 (fun (fun int bool) (fun int (fun (list int) bool)))
% 10.22/10.38 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 10.22/10.38 (aa int (fun int bool)
% 10.22/10.38 (aa (fun int (fun int bool)) (fun int (fun int bool)) (combc int int bool)
% 10.22/10.38 (ord_less int))
% 10.22/10.38 (zero_zero int)))))
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.22/10.38 (combk (fun int (fun (list int) bool)) int)
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.22/10.38 (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.22/10.38 (combk (fun int (fun (list int) bool)) int)
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.22/10.38 (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))))))))))
% 10.22/10.38 (zlcms
% 10.22/10.38 (map atom int divisor
% 10.22/10.38 (filter atom
% 10.22/10.38 (atom_case bool
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.22/10.38 (combk (fun int (fun (list int) bool)) int)
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.22/10.38 (combk (fun int (fun (list int) bool)) int)
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 10.22/10.38 as))))
% 10.22/10.38 (one_one int)))
% 10.22/10.38 (zlcms
% 10.22/10.38 (map atom int divisor
% 10.22/10.38 (filter atom
% 10.22/10.38 (atom_case bool
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.22/10.38 (combk (fun int (fun (list int) bool)) int)
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.22/10.38 (combk (fun int (fun (list int) bool)) int)
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 10.22/10.38 as)))))
% 10.22/10.38 (aa atom int divisor a))
% 10.22/10.38 (div_mod int
% 10.22/10.38 (aa int int (aa int (fun int int) (minus_minus int) n)
% 10.22/10.38 (aa int int
% 10.22/10.38 (times_times int
% 10.22/10.38 (plus_plus int
% 10.22/10.38 (div_div int
% 10.22/10.38 (aa int int (aa int (fun int int) (minus_minus int) n)
% 10.22/10.38 (big_linorder_Min int
% 10.22/10.38 (collect int
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int bool)
% 10.22/10.38 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 10.22/10.38 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 10.22/10.38 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 10.22/10.38 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 10.22/10.38 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 10.22/10.38 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 10.22/10.38 (aa (fun (fun int bool) bool) (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 10.22/10.38 (combb (fun int bool) bool (list int)) (fEx int)))
% 10.22/10.38 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 10.22/10.38 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.22/10.38 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 10.22/10.38 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 10.22/10.38 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.22/10.38 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.22/10.38 (aa
% 10.22/10.38 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 10.22/10.38 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.22/10.38 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.22/10.38 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 10.22/10.38 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 10.22/10.38 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 10.22/10.38 (combs (list int) (fun int bool) (fun int bool)))
% 10.22/10.38 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 10.22/10.38 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.22/10.38 (aa
% 10.22/10.38 (fun (fun (list int) (fun int (fun bool bool)))
% 10.22/10.38 (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.22/10.38 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 10.22/10.38 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 10.22/10.38 (combb (fun (list int) (fun int (fun bool bool)))
% 10.22/10.38 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 10.22/10.38 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 10.22/10.38 (fun (fun (list int) (fun int (fun bool bool)))
% 10.22/10.38 (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.22/10.38 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)) (list int))
% 10.22/10.38 (combs int bool bool)))
% 10.22/10.38 (aa (fun int (fun (list int) (fun int bool)))
% 10.22/10.38 (fun int (fun (list int) (fun int (fun bool bool))))
% 10.22/10.38 (aa (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 10.22/10.38 (fun (fun int (fun (list int) (fun int bool)))
% 10.22/10.38 (fun int (fun (list int) (fun int (fun bool bool)))))
% 10.22/10.38 (combb (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool)))
% 10.22/10.38 int)
% 10.22/10.38 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 10.22/10.38 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 10.22/10.38 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 10.22/10.38 (aa (fun bool (fun bool bool)) (fun (fun int bool) (fun int (fun bool bool)))
% 10.22/10.38 (combb bool (fun bool bool) int) fconj)))
% 10.22/10.38 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 10.22/10.38 (aa (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.22/10.38 (fun (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool))))
% 10.22/10.38 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 10.22/10.38 (aa (fun int (fun (fun int int) (fun int bool)))
% 10.22/10.38 (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.22/10.38 (aa
% 10.22/10.38 (fun (fun (fun int int) (fun int bool))
% 10.22/10.38 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.22/10.38 (fun (fun int (fun (fun int int) (fun int bool)))
% 10.22/10.38 (fun int
% 10.22/10.38 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))))
% 10.22/10.38 (combb (fun (fun int int) (fun int bool))
% 10.22/10.38 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))) int)
% 10.22/10.38 (combb (fun int int) (fun int bool) (list int)))
% 10.22/10.38 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 10.22/10.38 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 10.22/10.38 (fun (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool))))
% 10.22/10.38 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 10.22/10.38 (combb int bool int))
% 10.22/10.38 (fequal int))))
% 10.22/10.38 (aa (fun (list int) int) (fun (list int) (fun int int))
% 10.22/10.38 (aa (fun int (fun int int))
% 10.22/10.38 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 10.22/10.38 (combb int (fun int int) (list int)) (minus_minus int))
% 10.22/10.38 (aa (list int) (fun (list int) int)
% 10.22/10.38 (aa (fun (list int) (fun (list int) int)) (fun (list int) (fun (list int) int))
% 10.22/10.38 (combc (list int) (list int) int)
% 10.22/10.38 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 10.22/10.38 (aa (fun (list int) (fun (list int) int))
% 10.22/10.38 (fun (fun (list int) (list int)) (fun (list int) (fun (list int) int)))
% 10.22/10.38 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 10.22/10.38 (tl int)))
% 10.22/10.38 xs)))))))
% 10.22/10.38 (aa (fun atom bool) (fun (list int) (fun int bool))
% 10.22/10.38 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 10.22/10.38 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 10.22/10.38 (combc (list int) (fun atom bool) (fun int bool))
% 10.22/10.38 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.22/10.38 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 10.22/10.38 (aa (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 10.22/10.38 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.22/10.38 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 10.22/10.38 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 10.22/10.38 (list int))
% 10.22/10.38 (combc int (fun atom bool) bool))
% 10.22/10.38 (aa (fun (list int) (fun int atom))
% 10.22/10.38 (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.22/10.38 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 10.22/10.38 (fun (fun (list int) (fun int atom))
% 10.22/10.38 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 10.22/10.38 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 10.22/10.38 (aa (fun atom (fun (fun atom bool) bool))
% 10.22/10.38 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 10.22/10.38 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 10.22/10.38 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 10.22/10.38 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 10.22/10.38 (collect atom
% 10.22/10.38 (aa (fun atom bool) (fun atom bool)
% 10.22/10.38 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool))
% 10.22/10.38 (combs atom bool bool)
% 10.22/10.38 (aa (fun atom bool) (fun atom (fun bool bool))
% 10.22/10.38 (aa (fun bool (fun bool bool)) (fun (fun atom bool) (fun atom (fun bool bool)))
% 10.22/10.38 (combb bool (fun bool bool) atom) fconj)
% 10.22/10.38 (aa (fun atom bool) (fun atom bool)
% 10.22/10.38 (aa (fun atom (fun (fun atom bool) bool)) (fun (fun atom bool) (fun atom bool))
% 10.22/10.38 (combc atom (fun atom bool) bool) (member atom))
% 10.22/10.38 (set atom as))))
% 10.22/10.38 (atom_case bool
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.22/10.38 (combk (fun (list int) bool) int)
% 10.22/10.38 (list_case bool int fFalse
% 10.22/10.38 (aa (fun int bool) (fun int (fun (list int) bool))
% 10.22/10.38 (aa (fun bool (fun (list int) bool))
% 10.22/10.38 (fun (fun int bool) (fun int (fun (list int) bool)))
% 10.22/10.38 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 10.22/10.38 (aa int (fun int bool)
% 10.22/10.38 (aa (fun int (fun int bool)) (fun int (fun int bool)) (combc int int bool)
% 10.22/10.38 (ord_less int))
% 10.22/10.38 (zero_zero int)))))
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.22/10.38 (combk (fun int (fun (list int) bool)) int)
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.22/10.38 (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.22/10.38 (combk (fun int (fun (list int) bool)) int)
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.22/10.38 (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))))))))))))
% 10.22/10.38 (zlcms
% 10.22/10.38 (map atom int divisor
% 10.22/10.38 (filter atom
% 10.22/10.38 (atom_case bool
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.22/10.38 (combk (fun int (fun (list int) bool)) int)
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 10.22/10.38 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.22/10.38 (combk (fun int (fun (list int) bool)) int)
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 10.22/10.38 as))))
% 10.22/10.38 (one_one int)))
% 10.22/10.38 (zlcms
% 10.22/10.38 (map atom int divisor
% 10.22/10.38 (filter atom
% 10.22/10.38 (atom_case bool
% 10.22/10.38 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.22/10.38 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 10.26/10.49 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.26/10.49 (combk (fun int (fun (list int) bool)) int)
% 10.26/10.49 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.26/10.49 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 10.26/10.49 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.26/10.49 (combk (fun int (fun (list int) bool)) int)
% 10.26/10.49 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.26/10.49 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 10.26/10.49 as)))))
% 10.26/10.49 (aa atom int divisor a))
% 10.26/10.49 Clause #3510 (by forward demodulation #[3509, 1996]): Ne
% 10.26/10.49 (div_mod int
% 10.26/10.49 (aa int int (aa int (fun int int) (minus_minus int) n)
% 10.26/10.49 (aa int int
% 10.26/10.49 (times_times int
% 10.26/10.49 (plus_plus int
% 10.26/10.49 (div_div int
% 10.26/10.49 (aa int int (aa int (fun int int) (minus_minus int) n)
% 10.26/10.49 (big_linorder_Min int
% 10.26/10.49 (aa (fun int (fun (list int) bool)) (fun int bool)
% 10.26/10.49 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 10.26/10.49 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 10.26/10.49 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 10.26/10.49 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 10.26/10.49 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 10.26/10.49 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 10.26/10.49 (aa (fun (fun int bool) bool) (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 10.26/10.49 (combb (fun int bool) bool (list int)) (fEx int)))
% 10.26/10.49 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 10.26/10.49 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.26/10.49 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 10.26/10.49 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 10.26/10.49 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.26/10.49 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.26/10.49 (aa
% 10.26/10.49 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 10.26/10.49 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.26/10.49 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.26/10.49 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 10.26/10.49 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 10.26/10.49 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 10.26/10.49 (combs (list int) (fun int bool) (fun int bool)))
% 10.26/10.49 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 10.26/10.49 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.26/10.49 (aa
% 10.26/10.49 (fun (fun (list int) (fun int (fun bool bool)))
% 10.26/10.49 (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.26/10.49 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 10.26/10.49 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 10.26/10.49 (combb (fun (list int) (fun int (fun bool bool)))
% 10.26/10.49 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 10.26/10.49 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 10.26/10.49 (fun (fun (list int) (fun int (fun bool bool)))
% 10.26/10.49 (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.26/10.49 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)) (list int))
% 10.26/10.49 (combs int bool bool)))
% 10.26/10.49 (aa (fun int (fun (list int) (fun int bool)))
% 10.26/10.49 (fun int (fun (list int) (fun int (fun bool bool))))
% 10.26/10.49 (aa (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 10.26/10.49 (fun (fun int (fun (list int) (fun int bool)))
% 10.26/10.49 (fun int (fun (list int) (fun int (fun bool bool)))))
% 10.26/10.49 (combb (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))) int)
% 10.26/10.49 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 10.26/10.49 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 10.26/10.49 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 10.26/10.49 (aa (fun bool (fun bool bool)) (fun (fun int bool) (fun int (fun bool bool)))
% 10.26/10.49 (combb bool (fun bool bool) int) fconj)))
% 10.26/10.49 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 10.26/10.49 (aa (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.26/10.49 (fun (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool))))
% 10.26/10.49 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 10.26/10.49 (aa (fun int (fun (fun int int) (fun int bool)))
% 10.26/10.49 (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.26/10.49 (aa
% 10.26/10.49 (fun (fun (fun int int) (fun int bool))
% 10.26/10.49 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.26/10.49 (fun (fun int (fun (fun int int) (fun int bool)))
% 10.26/10.49 (fun int
% 10.26/10.49 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))))
% 10.26/10.49 (combb (fun (fun int int) (fun int bool))
% 10.26/10.49 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))) int)
% 10.26/10.49 (combb (fun int int) (fun int bool) (list int)))
% 10.26/10.49 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 10.26/10.49 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 10.26/10.49 (fun (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool))))
% 10.26/10.49 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 10.26/10.49 (combb int bool int))
% 10.26/10.49 (fequal int))))
% 10.26/10.49 (aa (fun (list int) int) (fun (list int) (fun int int))
% 10.26/10.49 (aa (fun int (fun int int))
% 10.26/10.49 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 10.26/10.49 (combb int (fun int int) (list int)) (minus_minus int))
% 10.26/10.49 (aa (list int) (fun (list int) int)
% 10.26/10.49 (aa (fun (list int) (fun (list int) int)) (fun (list int) (fun (list int) int))
% 10.26/10.49 (combc (list int) (list int) int)
% 10.26/10.49 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 10.26/10.49 (aa (fun (list int) (fun (list int) int))
% 10.26/10.49 (fun (fun (list int) (list int)) (fun (list int) (fun (list int) int)))
% 10.26/10.49 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 10.26/10.49 (tl int)))
% 10.26/10.49 xs)))))))
% 10.26/10.49 (aa (fun atom bool) (fun (list int) (fun int bool))
% 10.26/10.49 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 10.26/10.49 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 10.26/10.49 (combc (list int) (fun atom bool) (fun int bool))
% 10.26/10.49 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.26/10.49 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 10.26/10.49 (aa (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 10.26/10.49 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.26/10.49 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 10.26/10.49 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 10.26/10.49 (list int))
% 10.26/10.49 (combc int (fun atom bool) bool))
% 10.26/10.49 (aa (fun (list int) (fun int atom)) (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.26/10.49 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 10.26/10.49 (fun (fun (list int) (fun int atom))
% 10.26/10.49 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 10.26/10.49 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 10.26/10.49 (aa (fun atom (fun (fun atom bool) bool))
% 10.26/10.49 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 10.26/10.49 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 10.26/10.49 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 10.26/10.49 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 10.26/10.49 (aa (fun atom bool) (fun atom bool)
% 10.26/10.49 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool)) (combs atom bool bool)
% 10.26/10.49 (aa (fun atom bool) (fun atom (fun bool bool))
% 10.26/10.49 (aa (fun bool (fun bool bool)) (fun (fun atom bool) (fun atom (fun bool bool)))
% 10.26/10.49 (combb bool (fun bool bool) atom) fconj)
% 10.26/10.49 (aa (fun atom bool) (fun atom bool)
% 10.26/10.49 (aa (fun atom (fun (fun atom bool) bool)) (fun (fun atom bool) (fun atom bool))
% 10.26/10.49 (combc atom (fun atom bool) bool) (member atom))
% 10.26/10.49 (set atom as))))
% 10.26/10.49 (atom_case bool
% 10.26/10.49 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.26/10.49 (combk (fun (list int) bool) int)
% 10.26/10.49 (list_case bool int fFalse
% 10.26/10.49 (aa (fun int bool) (fun int (fun (list int) bool))
% 10.26/10.49 (aa (fun bool (fun (list int) bool))
% 10.26/10.49 (fun (fun int bool) (fun int (fun (list int) bool)))
% 10.26/10.49 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 10.26/10.49 (aa int (fun int bool)
% 10.26/10.49 (aa (fun int (fun int bool)) (fun int (fun int bool)) (combc int int bool)
% 10.26/10.49 (ord_less int))
% 10.26/10.49 (zero_zero int)))))
% 10.26/10.49 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.26/10.49 (combk (fun int (fun (list int) bool)) int)
% 10.26/10.49 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.26/10.49 (combk (fun (list int) bool) int)
% 10.26/10.49 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 10.26/10.49 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.26/10.49 (combk (fun int (fun (list int) bool)) int)
% 10.26/10.49 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.26/10.49 (combk (fun (list int) bool) int)
% 10.26/10.49 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))))))))))
% 10.26/10.49 (zlcms
% 10.26/10.49 (map atom int divisor
% 10.26/10.49 (filter atom
% 10.26/10.49 (atom_case bool
% 10.26/10.49 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.26/10.49 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 10.26/10.49 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.26/10.49 (combk (fun int (fun (list int) bool)) int)
% 10.26/10.49 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.26/10.49 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 10.26/10.49 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.26/10.49 (combk (fun int (fun (list int) bool)) int)
% 10.26/10.49 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.26/10.49 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 10.26/10.49 as))))
% 10.26/10.49 (one_one int)))
% 10.26/10.49 (zlcms
% 10.26/10.49 (map atom int divisor
% 10.26/10.49 (filter atom
% 10.26/10.49 (atom_case bool
% 10.26/10.49 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.26/10.49 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 10.26/10.49 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.26/10.49 (combk (fun int (fun (list int) bool)) int)
% 10.26/10.49 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.26/10.49 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 10.26/10.49 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.26/10.49 (combk (fun int (fun (list int) bool)) int)
% 10.26/10.49 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.26/10.49 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 10.26/10.49 as)))))
% 10.26/10.49 (aa atom int divisor a))
% 10.26/10.49 (div_mod int
% 10.26/10.49 (aa int int (aa int (fun int int) (minus_minus int) n)
% 10.26/10.49 (aa int int
% 10.26/10.49 (times_times int
% 10.26/10.49 (plus_plus int
% 10.26/10.49 (div_div int
% 10.26/10.49 (aa int int (aa int (fun int int) (minus_minus int) n)
% 10.26/10.49 (big_linorder_Min int
% 10.26/10.49 (aa (fun int (fun (list int) bool)) (fun int bool)
% 10.26/10.49 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 10.26/10.49 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 10.26/10.49 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 10.26/10.49 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 10.26/10.49 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 10.26/10.49 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 10.26/10.49 (aa (fun (fun int bool) bool) (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 10.26/10.49 (combb (fun int bool) bool (list int)) (fEx int)))
% 10.26/10.49 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 10.26/10.49 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.26/10.49 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 10.26/10.49 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 10.26/10.49 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.26/10.49 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.26/10.49 (aa
% 10.26/10.49 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 10.26/10.49 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.26/10.49 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.26/10.49 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 10.26/10.49 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 10.26/10.49 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 10.26/10.49 (combs (list int) (fun int bool) (fun int bool)))
% 10.26/10.49 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 10.26/10.49 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.26/10.49 (aa
% 10.26/10.49 (fun (fun (list int) (fun int (fun bool bool)))
% 10.26/10.49 (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.26/10.49 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 10.26/10.49 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 10.26/10.49 (combb (fun (list int) (fun int (fun bool bool)))
% 10.26/10.49 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 10.26/10.49 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 10.26/10.49 (fun (fun (list int) (fun int (fun bool bool)))
% 10.26/10.49 (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.26/10.49 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)) (list int))
% 10.26/10.49 (combs int bool bool)))
% 10.26/10.49 (aa (fun int (fun (list int) (fun int bool)))
% 10.26/10.49 (fun int (fun (list int) (fun int (fun bool bool))))
% 10.26/10.49 (aa (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 10.26/10.49 (fun (fun int (fun (list int) (fun int bool)))
% 10.26/10.49 (fun int (fun (list int) (fun int (fun bool bool)))))
% 10.26/10.49 (combb (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))) int)
% 10.26/10.49 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 10.26/10.49 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 10.26/10.49 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 10.26/10.49 (aa (fun bool (fun bool bool)) (fun (fun int bool) (fun int (fun bool bool)))
% 10.26/10.49 (combb bool (fun bool bool) int) fconj)))
% 10.26/10.49 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 10.26/10.49 (aa (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.26/10.49 (fun (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool))))
% 10.26/10.49 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 10.26/10.49 (aa (fun int (fun (fun int int) (fun int bool)))
% 10.26/10.49 (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.26/10.49 (aa
% 10.26/10.49 (fun (fun (fun int int) (fun int bool))
% 10.26/10.49 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.26/10.49 (fun (fun int (fun (fun int int) (fun int bool)))
% 10.26/10.49 (fun int
% 10.26/10.49 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))))
% 10.26/10.49 (combb (fun (fun int int) (fun int bool))
% 10.26/10.49 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))) int)
% 10.26/10.49 (combb (fun int int) (fun int bool) (list int)))
% 10.26/10.49 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 10.26/10.49 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 10.26/10.49 (fun (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool))))
% 10.26/10.49 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 10.26/10.49 (combb int bool int))
% 10.26/10.49 (fequal int))))
% 10.26/10.49 (aa (fun (list int) int) (fun (list int) (fun int int))
% 10.26/10.49 (aa (fun int (fun int int))
% 10.26/10.49 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 10.26/10.49 (combb int (fun int int) (list int)) (minus_minus int))
% 10.26/10.49 (aa (list int) (fun (list int) int)
% 10.26/10.49 (aa (fun (list int) (fun (list int) int)) (fun (list int) (fun (list int) int))
% 10.26/10.49 (combc (list int) (list int) int)
% 10.26/10.49 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 10.26/10.49 (aa (fun (list int) (fun (list int) int))
% 10.26/10.49 (fun (fun (list int) (list int)) (fun (list int) (fun (list int) int)))
% 10.26/10.49 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 10.26/10.49 (tl int)))
% 10.26/10.49 xs)))))))
% 10.26/10.49 (aa (fun atom bool) (fun (list int) (fun int bool))
% 10.26/10.49 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 10.26/10.49 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 10.26/10.49 (combc (list int) (fun atom bool) (fun int bool))
% 10.26/10.49 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.26/10.49 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 10.26/10.49 (aa (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 10.26/10.49 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.26/10.49 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 10.26/10.49 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 10.26/10.49 (list int))
% 10.26/10.49 (combc int (fun atom bool) bool))
% 10.26/10.49 (aa (fun (list int) (fun int atom)) (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.26/10.49 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 10.26/10.49 (fun (fun (list int) (fun int atom))
% 10.26/10.49 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 10.26/10.49 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 10.26/10.49 (aa (fun atom (fun (fun atom bool) bool))
% 10.26/10.49 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 10.26/10.49 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 10.26/10.49 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 10.26/10.49 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 10.26/10.49 (collect atom
% 10.26/10.49 (aa (fun atom bool) (fun atom bool)
% 10.26/10.49 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool))
% 10.26/10.49 (combs atom bool bool)
% 10.26/10.49 (aa (fun atom bool) (fun atom (fun bool bool))
% 10.26/10.49 (aa (fun bool (fun bool bool)) (fun (fun atom bool) (fun atom (fun bool bool)))
% 10.26/10.49 (combb bool (fun bool bool) atom) fconj)
% 10.26/10.49 (aa (fun atom bool) (fun atom bool)
% 10.26/10.49 (aa (fun atom (fun (fun atom bool) bool)) (fun (fun atom bool) (fun atom bool))
% 10.26/10.49 (combc atom (fun atom bool) bool) (member atom))
% 10.26/10.49 (set atom as))))
% 10.26/10.49 (atom_case bool
% 10.26/10.49 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.26/10.49 (combk (fun (list int) bool) int)
% 10.26/10.49 (list_case bool int fFalse
% 10.26/10.49 (aa (fun int bool) (fun int (fun (list int) bool))
% 10.26/10.49 (aa (fun bool (fun (list int) bool))
% 10.26/10.49 (fun (fun int bool) (fun int (fun (list int) bool)))
% 10.26/10.49 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 10.26/10.49 (aa int (fun int bool)
% 10.26/10.49 (aa (fun int (fun int bool)) (fun int (fun int bool)) (combc int int bool)
% 10.26/10.49 (ord_less int))
% 10.26/10.49 (zero_zero int)))))
% 10.26/10.49 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.26/10.49 (combk (fun int (fun (list int) bool)) int)
% 10.26/10.49 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.26/10.49 (combk (fun (list int) bool) int)
% 10.26/10.49 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 10.26/10.49 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.26/10.49 (combk (fun int (fun (list int) bool)) int)
% 10.26/10.49 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.26/10.49 (combk (fun (list int) bool) int)
% 10.26/10.49 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))))))))))))
% 10.26/10.49 (zlcms
% 10.26/10.49 (map atom int divisor
% 10.26/10.49 (filter atom
% 10.26/10.49 (atom_case bool
% 10.26/10.49 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.26/10.49 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 10.26/10.49 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.26/10.49 (combk (fun int (fun (list int) bool)) int)
% 10.26/10.49 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.26/10.49 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 10.26/10.49 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.26/10.49 (combk (fun int (fun (list int) bool)) int)
% 10.26/10.49 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.43/10.60 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 10.43/10.60 as))))
% 10.43/10.60 (one_one int)))
% 10.43/10.60 (zlcms
% 10.43/10.60 (map atom int divisor
% 10.43/10.60 (filter atom
% 10.43/10.60 (atom_case bool
% 10.43/10.60 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.43/10.60 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 10.43/10.60 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.43/10.60 (combk (fun int (fun (list int) bool)) int)
% 10.43/10.60 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.43/10.60 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 10.43/10.60 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.43/10.60 (combk (fun int (fun (list int) bool)) int)
% 10.43/10.60 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.43/10.60 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 10.43/10.60 as)))))
% 10.43/10.60 (aa atom int divisor a))
% 10.43/10.60 Clause #3511 (by forward demodulation #[3510, 1996]): Ne
% 10.43/10.60 (div_mod int
% 10.43/10.60 (aa int int (aa int (fun int int) (minus_minus int) n)
% 10.43/10.60 (aa int int
% 10.43/10.60 (times_times int
% 10.43/10.60 (plus_plus int
% 10.43/10.60 (div_div int
% 10.43/10.60 (aa int int (aa int (fun int int) (minus_minus int) n)
% 10.43/10.60 (big_linorder_Min int
% 10.43/10.60 (aa (fun int (fun (list int) bool)) (fun int bool)
% 10.43/10.60 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 10.43/10.60 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 10.43/10.60 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 10.43/10.60 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 10.43/10.60 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 10.43/10.60 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 10.43/10.60 (aa (fun (fun int bool) bool) (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 10.43/10.60 (combb (fun int bool) bool (list int)) (fEx int)))
% 10.43/10.60 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 10.43/10.60 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.43/10.60 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 10.43/10.60 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 10.43/10.60 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.43/10.60 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.43/10.60 (aa
% 10.43/10.60 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 10.43/10.60 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.43/10.60 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.43/10.60 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 10.43/10.60 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 10.43/10.60 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 10.43/10.60 (combs (list int) (fun int bool) (fun int bool)))
% 10.43/10.60 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 10.43/10.60 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.43/10.60 (aa
% 10.43/10.60 (fun (fun (list int) (fun int (fun bool bool)))
% 10.43/10.60 (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.43/10.60 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 10.43/10.60 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 10.43/10.60 (combb (fun (list int) (fun int (fun bool bool)))
% 10.43/10.60 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 10.43/10.60 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 10.43/10.60 (fun (fun (list int) (fun int (fun bool bool)))
% 10.43/10.60 (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.43/10.60 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)) (list int))
% 10.43/10.60 (combs int bool bool)))
% 10.43/10.60 (aa (fun int (fun (list int) (fun int bool)))
% 10.43/10.60 (fun int (fun (list int) (fun int (fun bool bool))))
% 10.43/10.60 (aa (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 10.43/10.60 (fun (fun int (fun (list int) (fun int bool)))
% 10.43/10.60 (fun int (fun (list int) (fun int (fun bool bool)))))
% 10.43/10.60 (combb (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))) int)
% 10.43/10.60 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 10.43/10.60 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 10.43/10.60 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 10.43/10.60 (aa (fun bool (fun bool bool)) (fun (fun int bool) (fun int (fun bool bool)))
% 10.43/10.60 (combb bool (fun bool bool) int) fconj)))
% 10.43/10.60 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 10.43/10.60 (aa (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.43/10.60 (fun (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool))))
% 10.43/10.60 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 10.43/10.60 (aa (fun int (fun (fun int int) (fun int bool)))
% 10.43/10.60 (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.43/10.60 (aa
% 10.43/10.60 (fun (fun (fun int int) (fun int bool))
% 10.43/10.60 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.43/10.60 (fun (fun int (fun (fun int int) (fun int bool)))
% 10.43/10.60 (fun int
% 10.43/10.60 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))))
% 10.43/10.60 (combb (fun (fun int int) (fun int bool))
% 10.43/10.60 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))) int)
% 10.43/10.60 (combb (fun int int) (fun int bool) (list int)))
% 10.43/10.60 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 10.43/10.60 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 10.43/10.60 (fun (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool))))
% 10.43/10.60 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 10.43/10.60 (combb int bool int))
% 10.43/10.60 (fequal int))))
% 10.43/10.60 (aa (fun (list int) int) (fun (list int) (fun int int))
% 10.43/10.60 (aa (fun int (fun int int))
% 10.43/10.60 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 10.43/10.60 (combb int (fun int int) (list int)) (minus_minus int))
% 10.43/10.60 (aa (list int) (fun (list int) int)
% 10.43/10.60 (aa (fun (list int) (fun (list int) int)) (fun (list int) (fun (list int) int))
% 10.43/10.60 (combc (list int) (list int) int)
% 10.43/10.60 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 10.43/10.60 (aa (fun (list int) (fun (list int) int))
% 10.43/10.60 (fun (fun (list int) (list int)) (fun (list int) (fun (list int) int)))
% 10.43/10.60 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 10.43/10.60 (tl int)))
% 10.43/10.60 xs)))))))
% 10.43/10.60 (aa (fun atom bool) (fun (list int) (fun int bool))
% 10.43/10.60 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 10.43/10.60 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 10.43/10.60 (combc (list int) (fun atom bool) (fun int bool))
% 10.43/10.60 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.43/10.60 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 10.43/10.60 (aa (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 10.43/10.60 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.43/10.60 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 10.43/10.60 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 10.43/10.60 (list int))
% 10.43/10.60 (combc int (fun atom bool) bool))
% 10.43/10.60 (aa (fun (list int) (fun int atom)) (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.43/10.60 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 10.43/10.60 (fun (fun (list int) (fun int atom))
% 10.43/10.60 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 10.43/10.60 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 10.43/10.60 (aa (fun atom (fun (fun atom bool) bool))
% 10.43/10.60 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 10.43/10.60 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 10.43/10.60 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 10.43/10.60 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 10.43/10.60 (aa (fun atom bool) (fun atom bool)
% 10.43/10.60 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool)) (combs atom bool bool)
% 10.43/10.60 (aa (fun atom bool) (fun atom (fun bool bool))
% 10.43/10.60 (aa (fun bool (fun bool bool)) (fun (fun atom bool) (fun atom (fun bool bool)))
% 10.43/10.60 (combb bool (fun bool bool) atom) fconj)
% 10.43/10.60 (aa (fun atom bool) (fun atom bool)
% 10.43/10.60 (aa (fun atom (fun (fun atom bool) bool)) (fun (fun atom bool) (fun atom bool))
% 10.43/10.60 (combc atom (fun atom bool) bool) (member atom))
% 10.43/10.60 (set atom as))))
% 10.43/10.60 (atom_case bool
% 10.43/10.60 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.43/10.60 (combk (fun (list int) bool) int)
% 10.43/10.60 (list_case bool int fFalse
% 10.43/10.60 (aa (fun int bool) (fun int (fun (list int) bool))
% 10.43/10.60 (aa (fun bool (fun (list int) bool))
% 10.43/10.60 (fun (fun int bool) (fun int (fun (list int) bool)))
% 10.43/10.60 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 10.43/10.60 (aa int (fun int bool)
% 10.43/10.60 (aa (fun int (fun int bool)) (fun int (fun int bool)) (combc int int bool)
% 10.43/10.60 (ord_less int))
% 10.43/10.60 (zero_zero int)))))
% 10.43/10.60 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.43/10.60 (combk (fun int (fun (list int) bool)) int)
% 10.43/10.60 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.43/10.60 (combk (fun (list int) bool) int)
% 10.43/10.60 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 10.43/10.60 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.43/10.60 (combk (fun int (fun (list int) bool)) int)
% 10.43/10.60 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.43/10.60 (combk (fun (list int) bool) int)
% 10.43/10.60 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))))))))))
% 10.43/10.60 (zlcms
% 10.43/10.60 (map atom int divisor
% 10.43/10.60 (filter atom
% 10.43/10.60 (atom_case bool
% 10.43/10.60 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.43/10.60 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 10.43/10.60 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.43/10.60 (combk (fun int (fun (list int) bool)) int)
% 10.43/10.60 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.43/10.60 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 10.43/10.60 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.43/10.60 (combk (fun int (fun (list int) bool)) int)
% 10.43/10.60 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.43/10.60 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 10.43/10.60 as))))
% 10.43/10.60 (one_one int)))
% 10.43/10.60 (zlcms
% 10.43/10.60 (map atom int divisor
% 10.43/10.60 (filter atom
% 10.43/10.60 (atom_case bool
% 10.43/10.60 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.43/10.60 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 10.43/10.60 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.43/10.60 (combk (fun int (fun (list int) bool)) int)
% 10.43/10.60 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.43/10.60 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 10.43/10.60 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.43/10.60 (combk (fun int (fun (list int) bool)) int)
% 10.43/10.60 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.43/10.60 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 10.43/10.60 as)))))
% 10.43/10.60 (aa atom int divisor a))
% 10.43/10.60 (div_mod int
% 10.43/10.60 (aa int int (aa int (fun int int) (minus_minus int) n)
% 10.43/10.60 (aa int int
% 10.43/10.60 (times_times int
% 10.43/10.60 (plus_plus int
% 10.43/10.60 (div_div int
% 10.43/10.60 (aa int int (aa int (fun int int) (minus_minus int) n)
% 10.43/10.60 (big_linorder_Min int
% 10.43/10.60 (aa (fun int (fun (list int) bool)) (fun int bool)
% 10.43/10.60 (aa (fun (fun (list int) bool) bool) (fun (fun int (fun (list int) bool)) (fun int bool))
% 10.43/10.60 (combb (fun (list int) bool) bool int) (fEx (list int)))
% 10.43/10.60 (aa (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool))
% 10.43/10.60 (aa (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 10.43/10.60 (fun (fun int (fun (list int) (fun int bool))) (fun int (fun (list int) bool)))
% 10.43/10.60 (combb (fun (list int) (fun int bool)) (fun (list int) bool) int)
% 10.43/10.60 (aa (fun (fun int bool) bool) (fun (fun (list int) (fun int bool)) (fun (list int) bool))
% 10.43/10.60 (combb (fun int bool) bool (list int)) (fEx int)))
% 10.43/10.60 (aa (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool)))
% 10.43/10.60 (aa (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.43/10.60 (fun (fun (list int) (fun int bool)) (fun int (fun (list int) (fun int bool))))
% 10.43/10.60 (combc int (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))
% 10.43/10.60 (aa (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.43/10.60 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.43/10.60 (aa
% 10.43/10.60 (fun (fun (list int) (fun (fun int bool) (fun int bool)))
% 10.43/10.60 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))))
% 10.43/10.60 (fun (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.43/10.60 (fun int (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool)))))
% 10.43/10.60 (combb (fun (list int) (fun (fun int bool) (fun int bool)))
% 10.43/10.60 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int bool))) int)
% 10.43/10.60 (combs (list int) (fun int bool) (fun int bool)))
% 10.43/10.60 (aa (fun int (fun (list int) (fun int (fun bool bool))))
% 10.43/10.60 (fun int (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.43/10.60 (aa
% 10.43/10.60 (fun (fun (list int) (fun int (fun bool bool)))
% 10.43/10.60 (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.43/10.60 (fun (fun int (fun (list int) (fun int (fun bool bool))))
% 10.43/10.60 (fun int (fun (list int) (fun (fun int bool) (fun int bool)))))
% 10.43/10.60 (combb (fun (list int) (fun int (fun bool bool)))
% 10.43/10.60 (fun (list int) (fun (fun int bool) (fun int bool))) int)
% 10.43/10.60 (aa (fun (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)))
% 10.43/10.60 (fun (fun (list int) (fun int (fun bool bool)))
% 10.43/10.60 (fun (list int) (fun (fun int bool) (fun int bool))))
% 10.43/10.60 (combb (fun int (fun bool bool)) (fun (fun int bool) (fun int bool)) (list int))
% 10.43/10.60 (combs int bool bool)))
% 10.43/10.60 (aa (fun int (fun (list int) (fun int bool)))
% 10.43/10.60 (fun int (fun (list int) (fun int (fun bool bool))))
% 10.43/10.60 (aa (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 10.43/10.60 (fun (fun int (fun (list int) (fun int bool)))
% 10.43/10.60 (fun int (fun (list int) (fun int (fun bool bool)))))
% 10.43/10.60 (combb (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))) int)
% 10.43/10.60 (aa (fun (fun int bool) (fun int (fun bool bool)))
% 10.43/10.60 (fun (fun (list int) (fun int bool)) (fun (list int) (fun int (fun bool bool))))
% 10.43/10.60 (combb (fun int bool) (fun int (fun bool bool)) (list int))
% 10.43/10.60 (aa (fun bool (fun bool bool)) (fun (fun int bool) (fun int (fun bool bool)))
% 10.43/10.60 (combb bool (fun bool bool) int) fconj)))
% 10.43/10.60 (aa (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool)))
% 10.43/10.60 (aa (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.43/10.60 (fun (fun (list int) (fun int int)) (fun int (fun (list int) (fun int bool))))
% 10.43/10.60 (combc int (fun (list int) (fun int int)) (fun (list int) (fun int bool)))
% 10.43/10.60 (aa (fun int (fun (fun int int) (fun int bool)))
% 10.43/10.60 (fun int (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.43/10.60 (aa
% 10.43/10.60 (fun (fun (fun int int) (fun int bool))
% 10.43/10.60 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))))
% 10.43/10.60 (fun (fun int (fun (fun int int) (fun int bool)))
% 10.43/10.60 (fun int
% 10.43/10.60 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool)))))
% 10.43/10.60 (combb (fun (fun int int) (fun int bool))
% 10.43/10.60 (fun (fun (list int) (fun int int)) (fun (list int) (fun int bool))) int)
% 10.43/10.60 (combb (fun int int) (fun int bool) (list int)))
% 10.43/10.60 (aa (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool)))
% 10.43/10.60 (aa (fun (fun int bool) (fun (fun int int) (fun int bool)))
% 10.43/10.60 (fun (fun int (fun int bool)) (fun int (fun (fun int int) (fun int bool))))
% 10.43/10.60 (combb (fun int bool) (fun (fun int int) (fun int bool)) int)
% 10.43/10.60 (combb int bool int))
% 10.43/10.60 (fequal int))))
% 10.43/10.60 (aa (fun (list int) int) (fun (list int) (fun int int))
% 10.43/10.60 (aa (fun int (fun int int))
% 10.43/10.60 (fun (fun (list int) int) (fun (list int) (fun int int)))
% 10.43/10.60 (combb int (fun int int) (list int)) (minus_minus int))
% 10.43/10.60 (aa (list int) (fun (list int) int)
% 10.43/10.60 (aa (fun (list int) (fun (list int) int)) (fun (list int) (fun (list int) int))
% 10.43/10.60 (combc (list int) (list int) int)
% 10.43/10.60 (aa (fun (list int) (list int)) (fun (list int) (fun (list int) int))
% 10.43/10.60 (aa (fun (list int) (fun (list int) int))
% 10.43/10.60 (fun (fun (list int) (list int)) (fun (list int) (fun (list int) int)))
% 10.43/10.60 (combb (list int) (fun (list int) int) (list int)) (iprod int))
% 10.43/10.60 (tl int)))
% 10.43/10.60 xs)))))))
% 10.43/10.60 (aa (fun atom bool) (fun (list int) (fun int bool))
% 10.43/10.60 (aa (fun (list int) (fun (fun atom bool) (fun int bool)))
% 10.43/10.60 (fun (fun atom bool) (fun (list int) (fun int bool)))
% 10.43/10.60 (combc (list int) (fun atom bool) (fun int bool))
% 10.43/10.60 (aa (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.43/10.60 (fun (list int) (fun (fun atom bool) (fun int bool)))
% 10.43/10.60 (aa (fun (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool)))
% 10.43/10.60 (fun (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.43/10.60 (fun (list int) (fun (fun atom bool) (fun int bool))))
% 10.43/10.60 (combb (fun int (fun (fun atom bool) bool)) (fun (fun atom bool) (fun int bool))
% 10.43/10.60 (list int))
% 10.43/10.60 (combc int (fun atom bool) bool))
% 10.43/10.60 (aa (fun (list int) (fun int atom)) (fun (list int) (fun int (fun (fun atom bool) bool)))
% 10.43/10.60 (aa (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 10.43/10.60 (fun (fun (list int) (fun int atom))
% 10.43/10.60 (fun (list int) (fun int (fun (fun atom bool) bool))))
% 10.43/10.60 (combb (fun int atom) (fun int (fun (fun atom bool) bool)) (list int))
% 10.43/10.60 (aa (fun atom (fun (fun atom bool) bool))
% 10.43/10.60 (fun (fun int atom) (fun int (fun (fun atom bool) bool)))
% 10.43/10.60 (combb atom (fun (fun atom bool) bool) int) (member atom)))
% 10.43/10.60 (aa (fun int (fun (list int) atom)) (fun (list int) (fun int atom))
% 10.43/10.60 (combc int (list int) atom) c_PresArith_Oatom_OLe))))
% 10.43/10.60 (aa (fun atom bool) (fun atom bool)
% 10.43/10.60 (aa (fun atom (fun bool bool)) (fun (fun atom bool) (fun atom bool)) (combs atom bool bool)
% 10.43/10.60 (aa (fun atom bool) (fun atom (fun bool bool))
% 10.43/10.60 (aa (fun bool (fun bool bool)) (fun (fun atom bool) (fun atom (fun bool bool)))
% 10.43/10.60 (combb bool (fun bool bool) atom) fconj)
% 10.43/10.60 (aa (fun atom bool) (fun atom bool)
% 10.43/10.60 (aa (fun atom (fun (fun atom bool) bool)) (fun (fun atom bool) (fun atom bool))
% 10.43/10.60 (combc atom (fun atom bool) bool) (member atom))
% 10.43/10.60 (set atom as))))
% 10.43/10.60 (atom_case bool
% 10.43/10.60 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.43/10.60 (combk (fun (list int) bool) int)
% 10.43/10.60 (list_case bool int fFalse
% 10.43/10.60 (aa (fun int bool) (fun int (fun (list int) bool))
% 10.43/10.60 (aa (fun bool (fun (list int) bool))
% 10.43/10.60 (fun (fun int bool) (fun int (fun (list int) bool)))
% 10.43/10.60 (combb bool (fun (list int) bool) int) (combk bool (list int)))
% 10.43/10.60 (aa int (fun int bool)
% 10.43/10.60 (aa (fun int (fun int bool)) (fun int (fun int bool)) (combc int int bool)
% 10.43/10.60 (ord_less int))
% 10.43/10.60 (zero_zero int)))))
% 10.43/10.60 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.43/10.60 (combk (fun int (fun (list int) bool)) int)
% 10.43/10.60 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.43/10.60 (combk (fun (list int) bool) int)
% 10.43/10.60 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))
% 10.43/10.60 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.43/10.60 (combk (fun int (fun (list int) bool)) int)
% 10.43/10.60 (aa (fun (list int) bool) (fun int (fun (list int) bool))
% 10.43/10.60 (combk (fun (list int) bool) int)
% 10.43/10.60 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse)))))))))))
% 10.43/10.60 (zlcms
% 10.43/10.60 (map atom int divisor
% 10.43/10.60 (filter atom
% 10.43/10.60 (atom_case bool
% 10.43/10.60 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.43/10.60 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 10.43/10.60 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.43/10.60 (combk (fun int (fun (list int) bool)) int)
% 10.43/10.60 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.43/10.60 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 10.43/10.62 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.43/10.62 (combk (fun int (fun (list int) bool)) int)
% 10.43/10.62 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.43/10.62 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 10.43/10.62 as))))
% 10.43/10.62 (one_one int)))
% 10.43/10.62 (zlcms
% 10.43/10.62 (map atom int divisor
% 10.43/10.62 (filter atom
% 10.43/10.62 (atom_case bool
% 10.43/10.62 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.43/10.62 (aa bool (fun (list int) bool) (combk bool (list int)) fFalse))
% 10.43/10.62 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.43/10.62 (combk (fun int (fun (list int) bool)) int)
% 10.43/10.62 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.43/10.62 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue)))
% 10.43/10.62 (aa (fun int (fun (list int) bool)) (fun int (fun int (fun (list int) bool)))
% 10.43/10.62 (combk (fun int (fun (list int) bool)) int)
% 10.43/10.62 (aa (fun (list int) bool) (fun int (fun (list int) bool)) (combk (fun (list int) bool) int)
% 10.43/10.62 (aa bool (fun (list int) bool) (combk bool (list int)) fTrue))))
% 10.43/10.62 as)))))
% 10.43/10.62 (aa atom int divisor a))
% 10.43/10.62 Clause #3512 (by eliminate resolved literals #[3511]): False
% 10.43/10.62 SZS output end Proof for theBenchmark.p
%------------------------------------------------------------------------------