-
Notifications
You must be signed in to change notification settings - Fork 9
/
bring_to_front_test.txt
9 lines (9 loc) · 3.29 KB
/
bring_to_front_test.txt
1
2
3
4
5
6
7
8
9
(q-transform/hint (quote (lambda (cons (car (cdr (var ()))) (cons (car (var ())) (quote ()))))) (quote ((1 #f) (#f a) (a b) (b 1) (1 1))))
(q-transform/hint (quote (lambda (cons (car (cdr (cdr (var ())))) (cons (car (var ())) (cons (car (cdr (var ()))) (quote ())))))) (quote ((1 #f a) (#f a b) (a b 1) (b 1 1) (1 1 #f))))
(q-transform/hint (quote (lambda (cons (car (cdr (cdr (cdr (var ()))))) (cons (car (var ())) (cons (car (cdr (var ()))) (cons (car (cdr (cdr (var ())))) (quote ()))))))) (quote ((1 #f a b) (#f a b 1) (a b 1 1) (b 1 1 #f) (1 1 #f a))))
(q-transform/hint (quote (lambda (cons (car (cdr (cdr (cdr (cdr (var ())))))) (cons (car (var ())) (cons (car (cdr (var ()))) (cons (car (cdr (cdr (var ())))) (cons (car (cdr (cdr (cdr (var ()))))) (quote ())))))))) (quote ((1 #f a b 1) (#f a b 1 1) (a b 1 1 #f) (b 1 1 #f a) (1 1 #f a b))))
(q-transform/hint (quote (lambda (cons (car (cdr (cdr (cdr (cdr (cdr (var ()))))))) (cons (car (var ())) (cons (car (cdr (var ()))) (cons (car (cdr (cdr (var ())))) (cons (car (cdr (cdr (cdr (var ()))))) (cons (car (cdr (cdr (cdr (cdr (var ())))))) (quote ()))))))))) (quote ((1 #f a b 0 1) (#f a b 0 1 1) (a b 0 1 1 #f) (b 0 1 1 #f a) (0 1 1 #f a b))))
(q-transform/hint (quote (lambda (cons (car (cdr (cdr (cdr (cdr (cdr (cdr (var ())))))))) (cons (car (var ())) (cons (car (cdr (var ()))) (cons (car (cdr (cdr (var ())))) (cons (car (cdr (cdr (cdr (var ()))))) (cons (car (cdr (cdr (cdr (cdr (var ())))))) (cons (car (cdr (cdr (cdr (cdr (cdr (var ()))))))) (quote ())))))))))) (quote ((1 #f a b 0 1 x) (x #f a b 0 1 1) (a b 0 x 1 1 #f) (b 0 1 x 1 #f a) (0 1 1 #f x a b))))
(q-transform/hint (quote (lambda (cons (car (cdr (cdr (cdr (cdr (cdr (cdr (cdr (var ()))))))))) (cons (car (var ())) (cons (car (cdr (var ()))) (cons (car (cdr (cdr (var ())))) (cons (car (cdr (cdr (cdr (var ()))))) (cons (car (cdr (cdr (cdr (cdr (var ())))))) (cons (car (cdr (cdr (cdr (cdr (cdr (var ()))))))) (cons (car (cdr (cdr (cdr (cdr (cdr (cdr (var ())))))))) (quote ()))))))))))) (quote ((1 #f a b 0 a 1 x) (x #f a b 0 a 1 1) (a b 0 a x 1 1 #f) (b 0 a 1 x 1 #f a) (0 a 1 1 #f x a b))))
(q-transform/hint (quote (lambda (cons (car (cdr (cdr (cdr (cdr (cdr (cdr (cdr (cdr (var ())))))))))) (cons (car (var ())) (cons (car (cdr (var ()))) (cons (car (cdr (cdr (var ())))) (cons (car (cdr (cdr (cdr (var ()))))) (cons (car (cdr (cdr (cdr (cdr (var ())))))) (cons (car (cdr (cdr (cdr (cdr (cdr (var ()))))))) (cons (car (cdr (cdr (cdr (cdr (cdr (cdr (var ())))))))) (cons (car (cdr (cdr (cdr (cdr (cdr (cdr (cdr (var ()))))))))) (quote ())))))))))))) (quote ((1 b #f a b 0 a 1 x) (x #f a b 0 a 1 b 1) (a b 0 a x 1 b 1 #f) (b 0 a 1 x b 1 #f a) (0 a 1 b 1 #f x a b))))
(q-transform/hint (quote (lambda (cons (car (cdr (cdr (cdr (cdr (cdr (cdr (cdr (cdr (cdr (var ()))))))))))) (cons (car (var ())) (cons (car (cdr (var ()))) (cons (car (cdr (cdr (var ())))) (cons (car (cdr (cdr (cdr (var ()))))) (cons (car (cdr (cdr (cdr (cdr (var ())))))) (cons (car (cdr (cdr (cdr (cdr (cdr (var ()))))))) (cons (car (cdr (cdr (cdr (cdr (cdr (cdr (var ())))))))) (cons (car (cdr (cdr (cdr (cdr (cdr (cdr (cdr (var ()))))))))) (cons (car (cdr (cdr (cdr (cdr (cdr (cdr (cdr (cdr (var ())))))))))) (quote ()))))))))))))) (quote ((1 b #f a b #f 0 a 1 x) (x #f a b #f 0 a 1 b 1) (a b #f 0 a x 1 b 1 #f) (b #f 0 a 1 x b 1 #f a) (0 a 1 b 1 #f x a b #f))))