a :< a | |
(:<) c b => c :< (a, b) | |
a :< ((a, (a, (a, (a, (a, (a, (a, a))))))), a) | |
a :< ((a, (a, (a, (a, (a, (a, (a, a))))))), a) | |
a :< ((a, (a, (a, (a, (a, (a, a)))))), a) | |
a :< ((a, (a, (a, (a, (a, ((a, a), a)))))), a) | |
a :< ((a, (a, (a, (a, (a, ((a, a), a)))))), a) | |
a :< ((a, (a, (a, (a, (a, (a, a)))))), a) | |
a :< ((a, (a, (a, (a, (a, a))))), a) | |
a :< ((a, (a, (a, (a, ((a, (a, a)), a))))), a) | |
a :< ((a, (a, (a, (a, ((a, (a, a)), a))))), a) | |
a :< ((a, (a, (a, (a, ((a, a), a))))), a) | |
a :< ((a, (a, (a, (a, (((a, a), a), a))))), a) | |
a :< ((a, (a, (a, (a, (((a, a), a), a))))), a) | |
a :< ((a, (a, (a, (a, ((a, a), a))))), a) | |
a :< ((a, (a, (a, (a, (a, a))))), a) | |
a :< ((a, (a, (a, (a, a)))), a) | |
a :< ((a, (a, (a, ((a, (a, (a, a))), a)))), a) | |
a :< ((a, (a, (a, ((a, (a, (a, a))), a)))), a) | |
a :< ((a, (a, (a, ((a, (a, a)), a)))), a) | |
a :< ((a, (a, (a, ((a, ((a, a), a)), a)))), a) | |
a :< ((a, (a, (a, ((a, ((a, a), a)), a)))), a) | |
a :< ((a, (a, (a, ((a, (a, a)), a)))), a) | |
a :< ((a, (a, (a, ((a, a), a)))), a) | |
a :< ((a, (a, (a, (((a, (a, a)), a), a)))), a) | |
a :< ((a, (a, (a, (((a, (a, a)), a), a)))), a) | |
a :< ((a, (a, (a, (((a, a), a), a)))), a) | |
a :< ((a, (a, (a, ((((a, a), a), a), a)))), a) | |
a :< ((a, (a, (a, ((((a, a), a), a), a)))), a) | |
a :< ((a, (a, (a, (((a, a), a), a)))), a) | |
a :< ((a, (a, (a, ((a, a), a)))), a) | |
a :< ((a, (a, (a, (a, a)))), a) | |
a :< ((a, (a, (a, a))), a) | |
a :< ((a, (a, ((a, (a, (a, (a, a)))), a))), a) | |
a :< ((a, (a, ((a, (a, (a, (a, a)))), a))), a) | |
a :< ((a, (a, ((a, (a, (a, a))), a))), a) | |
a :< ((a, (a, ((a, (a, ((a, a), a))), a))), a) | |
a :< ((a, (a, ((a, (a, ((a, a), a))), a))), a) | |
a :< ((a, (a, ((a, (a, (a, a))), a))), a) | |
a :< ((a, (a, ((a, (a, a)), a))), a) | |
a :< ((a, (a, ((a, ((a, (a, a)), a)), a))), a) | |
a :< ((a, (a, ((a, ((a, (a, a)), a)), a))), a) | |
a :< ((a, (a, ((a, ((a, a), a)), a))), a) | |
a :< ((a, (a, ((a, (((a, a), a), a)), a))), a) | |
a :< ((a, (a, ((a, (((a, a), a), a)), a))), a) | |
a :< ((a, (a, ((a, ((a, a), a)), a))), a) | |
a :< ((a, (a, ((a, (a, a)), a))), a) | |
a :< ((a, (a, ((a, a), a))), a) | |
a :< ((a, (a, (((a, (a, (a, a))), a), a))), a) | |
a :< ((a, (a, (((a, (a, (a, a))), a), a))), a) | |
a :< ((a, (a, (((a, (a, a)), a), a))), a) | |
a :< ((a, (a, (((a, ((a, a), a)), a), a))), a) | |
a :< ((a, (a, (((a, ((a, a), a)), a), a))), a) | |
a :< ((a, (a, (((a, (a, a)), a), a))), a) | |
a :< ((a, (a, (((a, a), a), a))), a) | |
a :< ((a, (a, ((((a, (a, a)), a), a), a))), a) | |
a :< ((a, (a, ((((a, (a, a)), a), a), a))), a) | |
a :< ((a, (a, ((((a, a), a), a), a))), a) | |
a :< ((a, (a, (((((a, a), a), a), a), a))), a) | |
a :< ((a, (a, (((((a, a), a), a), a), a))), a) | |
a :< ((a, (a, ((((a, a), a), a), a))), a) | |
a :< ((a, (a, (((a, a), a), a))), a) | |
a :< ((a, (a, ((a, a), a))), a) | |
a :< ((a, (a, (a, a))), a) | |
a :< ((a, (a, a)), a) | |
a :< ((a, ((a, (a, (a, (a, (a, a))))), a)), a) | |
a :< ((a, ((a, (a, (a, (a, (a, a))))), a)), a) | |
a :< ((a, ((a, (a, (a, (a, a)))), a)), a) | |
a :< ((a, ((a, (a, (a, ((a, a), a)))), a)), a) | |
a :< ((a, ((a, (a, (a, ((a, a), a)))), a)), a) | |
a :< ((a, ((a, (a, (a, (a, a)))), a)), a) | |
a :< ((a, ((a, (a, (a, a))), a)), a) | |
a :< ((a, ((a, (a, ((a, (a, a)), a))), a)), a) | |
a :< ((a, ((a, (a, ((a, (a, a)), a))), a)), a) | |
a :< ((a, ((a, (a, ((a, a), a))), a)), a) | |
a :< ((a, ((a, (a, (((a, a), a), a))), a)), a) | |
a :< ((a, ((a, (a, (((a, a), a), a))), a)), a) | |
a :< ((a, ((a, (a, ((a, a), a))), a)), a) | |
a :< ((a, ((a, (a, (a, a))), a)), a) | |
a :< ((a, ((a, (a, a)), a)), a) | |
a :< ((a, ((a, ((a, (a, (a, a))), a)), a)), a) | |
a :< ((a, ((a, ((a, (a, (a, a))), a)), a)), a) | |
a :< ((a, ((a, ((a, (a, a)), a)), a)), a) | |
a :< ((a, ((a, ((a, ((a, a), a)), a)), a)), a) | |
a :< ((a, ((a, ((a, ((a, a), a)), a)), a)), a) | |
a :< ((a, ((a, ((a, (a, a)), a)), a)), a) | |
a :< ((a, ((a, ((a, a), a)), a)), a) | |
a :< ((a, ((a, (((a, (a, a)), a), a)), a)), a) | |
a :< ((a, ((a, (((a, (a, a)), a), a)), a)), a) | |
a :< ((a, ((a, (((a, a), a), a)), a)), a) | |
a :< ((a, ((a, ((((a, a), a), a), a)), a)), a) | |
a :< ((a, ((a, ((((a, a), a), a), a)), a)), a) | |
a :< ((a, ((a, (((a, a), a), a)), a)), a) | |
a :< ((a, ((a, ((a, a), a)), a)), a) | |
a :< ((a, ((a, (a, a)), a)), a) | |
a :< ((a, ((a, a), a)), a) | |
a :< ((a, (((a, (a, (a, (a, a)))), a), a)), a) | |
a :< ((a, (((a, (a, (a, (a, a)))), a), a)), a) | |
a :< ((a, (((a, (a, (a, a))), a), a)), a) | |
a :< ((a, (((a, (a, ((a, a), a))), a), a)), a) | |
a :< ((a, (((a, (a, ((a, a), a))), a), a)), a) | |
a :< ((a, (((a, (a, (a, a))), a), a)), a) | |
a :< ((a, (((a, (a, a)), a), a)), a) | |
a :< ((a, (((a, ((a, (a, a)), a)), a), a)), a) | |
a :< ((a, (((a, ((a, (a, a)), a)), a), a)), a) | |
a :< ((a, (((a, ((a, a), a)), a), a)), a) | |
a :< ((a, (((a, (((a, a), a), a)), a), a)), a) | |
a :< ((a, (((a, (((a, a), a), a)), a), a)), a) | |
a :< ((a, (((a, ((a, a), a)), a), a)), a) | |
a :< ((a, (((a, (a, a)), a), a)), a) | |
a :< ((a, (((a, a), a), a)), a) | |
a :< ((a, ((((a, (a, (a, a))), a), a), a)), a) | |
a :< ((a, ((((a, (a, (a, a))), a), a), a)), a) | |
a :< ((a, ((((a, (a, a)), a), a), a)), a) | |
a :< ((a, ((((a, ((a, a), a)), a), a), a)), a) | |
a :< ((a, ((((a, ((a, a), a)), a), a), a)), a) | |
a :< ((a, ((((a, (a, a)), a), a), a)), a) | |
a :< ((a, ((((a, a), a), a), a)), a) | |
a :< ((a, (((((a, (a, a)), a), a), a), a)), a) | |
a :< ((a, (((((a, (a, a)), a), a), a), a)), a) | |
a :< ((a, (((((a, a), a), a), a), a)), a) | |
a :< ((a, ((((((a, a), a), a), a), a), a)), a) | |
a :< ((a, ((((((a, a), a), a), a), a), a)), a) | |
a :< ((a, (((((a, a), a), a), a), a)), a) | |
a :< ((a, ((((a, a), a), a), a)), a) | |
a :< ((a, (((a, a), a), a)), a) | |
a :< ((a, ((a, a), a)), a) | |
a :< ((a, (a, a)), a) | |
a :< ((a, a), a) | |
a :< (((a, (a, (a, (a, (a, (a, a)))))), a), a) | |
a :< (((a, (a, (a, (a, (a, (a, a)))))), a), a) | |
a :< (((a, (a, (a, (a, (a, a))))), a), a) | |
a :< (((a, (a, (a, (a, ((a, a), a))))), a), a) | |
a :< (((a, (a, (a, (a, ((a, a), a))))), a), a) | |
a :< (((a, (a, (a, (a, (a, a))))), a), a) | |
a :< (((a, (a, (a, (a, a)))), a), a) | |
a :< (((a, (a, (a, ((a, (a, a)), a)))), a), a) | |
a :< (((a, (a, (a, ((a, (a, a)), a)))), a), a) | |
a :< (((a, (a, (a, ((a, a), a)))), a), a) | |
a :< (((a, (a, (a, (((a, a), a), a)))), a), a) | |
a :< (((a, (a, (a, (((a, a), a), a)))), a), a) | |
a :< (((a, (a, (a, ((a, a), a)))), a), a) | |
a :< (((a, (a, (a, (a, a)))), a), a) | |
a :< (((a, (a, (a, a))), a), a) | |
a :< (((a, (a, ((a, (a, (a, a))), a))), a), a) | |
a :< (((a, (a, ((a, (a, (a, a))), a))), a), a) | |
a :< (((a, (a, ((a, (a, a)), a))), a), a) | |
a :< (((a, (a, ((a, ((a, a), a)), a))), a), a) | |
a :< (((a, (a, ((a, ((a, a), a)), a))), a), a) | |
a :< (((a, (a, ((a, (a, a)), a))), a), a) | |
a :< (((a, (a, ((a, a), a))), a), a) | |
a :< (((a, (a, (((a, (a, a)), a), a))), a), a) | |
a :< (((a, (a, (((a, (a, a)), a), a))), a), a) | |
a :< (((a, (a, (((a, a), a), a))), a), a) | |
a :< (((a, (a, ((((a, a), a), a), a))), a), a) | |
a :< (((a, (a, ((((a, a), a), a), a))), a), a) | |
a :< (((a, (a, (((a, a), a), a))), a), a) | |
a :< (((a, (a, ((a, a), a))), a), a) | |
a :< (((a, (a, (a, a))), a), a) | |
a :< (((a, (a, a)), a), a) | |
a :< (((a, ((a, (a, (a, (a, a)))), a)), a), a) | |
a :< (((a, ((a, (a, (a, (a, a)))), a)), a), a) | |
a :< (((a, ((a, (a, (a, a))), a)), a), a) | |
a :< (((a, ((a, (a, ((a, a), a))), a)), a), a) | |
a :< (((a, ((a, (a, ((a, a), a))), a)), a), a) | |
a :< (((a, ((a, (a, (a, a))), a)), a), a) | |
a :< (((a, ((a, (a, a)), a)), a), a) | |
a :< (((a, ((a, ((a, (a, a)), a)), a)), a), a) | |
a :< (((a, ((a, ((a, (a, a)), a)), a)), a), a) | |
a :< (((a, ((a, ((a, a), a)), a)), a), a) | |
a :< (((a, ((a, (((a, a), a), a)), a)), a), a) | |
a :< (((a, ((a, (((a, a), a), a)), a)), a), a) | |
a :< (((a, ((a, ((a, a), a)), a)), a), a) | |
a :< (((a, ((a, (a, a)), a)), a), a) | |
a :< (((a, ((a, a), a)), a), a) | |
a :< (((a, (((a, (a, (a, a))), a), a)), a), a) | |
a :< (((a, (((a, (a, (a, a))), a), a)), a), a) | |
a :< (((a, (((a, (a, a)), a), a)), a), a) | |
a :< (((a, (((a, ((a, a), a)), a), a)), a), a) | |
a :< (((a, (((a, ((a, a), a)), a), a)), a), a) | |
a :< (((a, (((a, (a, a)), a), a)), a), a) | |
a :< (((a, (((a, a), a), a)), a), a) | |
a :< (((a, ((((a, (a, a)), a), a), a)), a), a) | |
a :< (((a, ((((a, (a, a)), a), a), a)), a), a) | |
a :< (((a, ((((a, a), a), a), a)), a), a) | |
a :< (((a, (((((a, a), a), a), a), a)), a), a) | |
a :< (((a, (((((a, a), a), a), a), a)), a), a) | |
a :< (((a, ((((a, a), a), a), a)), a), a) | |
a :< (((a, (((a, a), a), a)), a), a) | |
a :< (((a, ((a, a), a)), a), a) | |
a :< (((a, (a, a)), a), a) | |
a :< (((a, a), a), a) | |
a :< ((((a, (a, (a, (a, (a, a))))), a), a), a) | |
a :< ((((a, (a, (a, (a, (a, a))))), a), a), a) | |
a :< ((((a, (a, (a, (a, a)))), a), a), a) | |
a :< ((((a, (a, (a, ((a, a), a)))), a), a), a) | |
a :< ((((a, (a, (a, ((a, a), a)))), a), a), a) | |
a :< ((((a, (a, (a, (a, a)))), a), a), a) | |
a :< ((((a, (a, (a, a))), a), a), a) | |
a :< ((((a, (a, ((a, (a, a)), a))), a), a), a) | |
a :< ((((a, (a, ((a, (a, a)), a))), a), a), a) | |
a :< ((((a, (a, ((a, a), a))), a), a), a) | |
a :< ((((a, (a, (((a, a), a), a))), a), a), a) | |
a :< ((((a, (a, (((a, a), a), a))), a), a), a) | |
a :< ((((a, (a, ((a, a), a))), a), a), a) | |
a :< ((((a, (a, (a, a))), a), a), a) | |
a :< ((((a, (a, a)), a), a), a) | |
a :< ((((a, ((a, (a, (a, a))), a)), a), a), a) | |
a :< ((((a, ((a, (a, (a, a))), a)), a), a), a) | |
a :< ((((a, ((a, (a, a)), a)), a), a), a) | |
a :< ((((a, ((a, ((a, a), a)), a)), a), a), a) | |
a :< ((((a, ((a, ((a, a), a)), a)), a), a), a) | |
a :< ((((a, ((a, (a, a)), a)), a), a), a) | |
a :< ((((a, ((a, a), a)), a), a), a) | |
a :< ((((a, (((a, (a, a)), a), a)), a), a), a) | |
a :< ((((a, (((a, (a, a)), a), a)), a), a), a) | |
a :< ((((a, (((a, a), a), a)), a), a), a) | |
a :< ((((a, ((((a, a), a), a), a)), a), a), a) | |
a :< ((((a, ((((a, a), a), a), a)), a), a), a) | |
a :< ((((a, (((a, a), a), a)), a), a), a) | |
a :< ((((a, ((a, a), a)), a), a), a) | |
a :< ((((a, (a, a)), a), a), a) | |
a :< ((((a, a), a), a), a) | |
a :< (((((a, (a, (a, (a, a)))), a), a), a), a) | |
a :< (((((a, (a, (a, (a, a)))), a), a), a), a) | |
a :< (((((a, (a, (a, a))), a), a), a), a) | |
a :< (((((a, (a, ((a, a), a))), a), a), a), a) | |
a :< (((((a, (a, ((a, a), a))), a), a), a), a) | |
a :< (((((a, (a, (a, a))), a), a), a), a) | |
a :< (((((a, (a, a)), a), a), a), a) | |
a :< (((((a, ((a, (a, a)), a)), a), a), a), a) | |
a :< (((((a, ((a, (a, a)), a)), a), a), a), a) | |
a :< (((((a, ((a, a), a)), a), a), a), a) | |
a :< (((((a, (((a, a), a), a)), a), a), a), a) | |
a :< (((((a, (((a, a), a), a)), a), a), a), a) | |
a :< (((((a, ((a, a), a)), a), a), a), a) | |
a :< (((((a, (a, a)), a), a), a), a) | |
a :< (((((a, a), a), a), a), a) | |
a :< ((((((a, (a, (a, a))), a), a), a), a), a) | |
a :< ((((((a, (a, (a, a))), a), a), a), a), a) | |
a :< ((((((a, (a, a)), a), a), a), a), a) | |
a :< ((((((a, ((a, a), a)), a), a), a), a), a) | |
a :< ((((((a, ((a, a), a)), a), a), a), a), a) | |
a :< ((((((a, (a, a)), a), a), a), a), a) | |
a :< ((((((a, a), a), a), a), a), a) | |
a :< (((((((a, (a, a)), a), a), a), a), a), a) | |
a :< (((((((a, (a, a)), a), a), a), a), a), a) | |
a :< (((((((a, a), a), a), a), a), a), a) | |
a :< ((((((((a, a), a), a), a), a), a), a), a) | |
a :< ((((((((a, a), a), a), a), a), a), a), a) | |
a :< (((((((a, a), a), a), a), a), a), a) | |
a :< ((((((a, a), a), a), a), a), a) | |
a :< (((((a, a), a), a), a), a) | |
a :< ((((a, a), a), a), a) | |
a :< (((a, a), a), a) | |
a :< ((a, a), a) | |
a :< (a, a) | |
(a, b) :< (a, b) | |