(define (test/letnondeterministic/choose-null? _)
  (⊦= '() (letnondeterministic (? ¿ ⊦ • !) (? '()))))

((eta 0.004)
 (memory #(12582912 2374800 1048576))
 (stdout "((left 0) (tried 1) (accepted 0) (ratio 0.0) (distribution ()))\n")
 (stderr ""))

(define (test/letnondeterministic/choose _)
  (⊦= '(1 2 3) (letnondeterministic (? ¿ ⊦ • !) (? '(1 2 3)))))

((eta 0.002)
 (memory #(12582912 2362464 1048576))
 (stdout
   "((left 0)\n (tried 7)\n (accepted 3)\n (ratio 0.428571428571429)\n (distribution\n   ((1 0.333333333333333) (3 0.333333333333333) (2 0.333333333333333))))\n")
 (stderr ""))

(define (test/letnondeterministic/choose§ _)
  (⊦= '(1 2 3)
        (letnondeterministic
          (? ¿ ⊦ • !)
          (? (cons§ 1 (cons§ 2 (cons§ 3 '())))))))

((eta 0.0)
 (memory #(12582912 2360112 1048576))
 (stdout
   "((left 0)\n (tried 7)\n (accepted 3)\n (ratio 0.428571428571429)\n (distribution\n   ((2 0.333333333333333) (3 0.333333333333333) (1 0.333333333333333))))\n")
 (stderr ""))

(define (test/letnondeterministic/choose-rec _)
  (⊦= '(0 1 1 2 3 5 8 13 21 34 55 89 144 233 377 610 987 1597 2584)
        (§->list
          (stop§
            (λ (v) (> v 3000))
            (letnondeterministic§ (? ¿ ⊦ • !) (? (fibs§ 0 1)))))))

((eta 0.001) (memory #(12582912 2355752 1048576)) (stdout "") (stderr ""))

(define (test/letnondeterministic/choose+nested _)
  (⊦= '(1 4 3 1 5 3)
        (letnondeterministic (? ¿ ⊦ • !) (? `(1 ,(? '(4 5)) 3)))))

((eta 0.0)
 (memory #(12582912 2361008 1048576))
 (stdout
   "((left 0)\n (tried 17)\n (accepted 6)\n (ratio 0.352941176470588)\n (distribution\n   ((3 0.333333333333333)\n    (1 0.333333333333333)\n    (5 0.166666666666667)\n    (4 0.166666666666667))))\n")
 (stderr ""))

(define (test/letnondeterministic/choose+nested+¿ _)
  (⊦= '(1 4 3 1 5 3)
        (letnondeterministic (? ¿ ⊦ • !) (? `(1 ,(¿ '(4 5)) 3)))))

((eta 0.0)
 (memory #(12582912 2367296 1048576))
 (stdout
   "((left 0)\n (tried 17)\n (accepted 6)\n (ratio 0.352941176470588)\n (distribution\n   ((3 0.333333333333333)\n    (1 0.333333333333333)\n    (4 0.166666666666667)\n    (5 0.166666666666667))))\n")
 (stderr ""))

(define (test/letnondeterministic/choose+double _)
  (⊦= '(5 6 6 7 7 8)
        (letnondeterministic (? ¿ ⊦ • !) (+ (? '(1 2 3)) (? '(4 5))))))

((eta 0.0)
 (memory #(12582912 2373856 1048576))
 (stdout
   "((left 0)\n (tried 19)\n (accepted 6)\n (ratio 0.315789473684211)\n (distribution\n   ((6 0.333333333333333)\n    (7 0.333333333333333)\n    (8 0.166666666666667)\n    (5 0.166666666666667))))\n")
 (stderr ""))

(define (test/letnondeterministic/choose+fair+fibs _)
  (⊦= '((a 0)
          (b 0)
          (c 0)
          (a 1)
          (b 1)
          (c 1)
          (a 1)
          (b 1)
          (c 1)
          (a 2)
          (b 2)
          (c 2)
          (a 3)
          (b 3)
          (c 3)
          (a 5)
          (b 5)
          (c 5)
          (a 8)
          (b 8)
          (c 8))
        (letnondeterministic
          21
          (? ¿ ⊦ • !)
          (? (append§/interleaved
               (map§ (lambda (v) (list 'a v)) (fibs§ 0 1))
               (map§ (lambda (v) (list 'b v)) (fibs§ 0 1))
               (map§ (lambda (v) (list 'c v)) (fibs§ 0 1)))))))

((eta 0.0) (memory #(12582912 2378008 1048576)) (stdout "") (stderr ""))

(define (test/letnondeterministic/choose+fair _)
  (⊦= '((a 1) (b 1) (a 2) (b 2) (a 3))
        (letnondeterministic
          (? ¿ ⊦ • !)
          (? (append§/interleaved '((a 1) (a 2) (a 3)) '((b 1) (b 2)))))))

((eta 0.0)
 (memory #(12582912 2384168 1048576))
 (stdout
   "((left 0)\n (tried 11)\n (accepted 5)\n (ratio 0.454545454545455)\n (distribution (((b 1) 0.2) ((a 2) 0.2) ((b 2) 0.2) ((a 3) 0.2) ((a 1) 0.2))))\n")
 (stderr ""))

(define (test/letnondeterministic/odd _)
  (⊦= '(1 3)
        (letnondeterministic
          (? ¿ ⊦ • !)
          (let1 (v (? '(1 2 3))) (⊦ (odd? v)) v))))

((eta 0.0)
 (memory #(12582912 2390424 1048576))
 (stdout
   "((left 0)\n (tried 7)\n (accepted 2)\n (ratio 0.285714285714286)\n (distribution ((1 0.5) (3 0.5))))\n")
 (stderr ""))

(define (test/letnondeterministic/parlor _)
  (⊦= '((1 1 5)
          (1 2 4)
          (1 3 3)
          (1 4 2)
          (1 5 1)
          (2 1 4)
          (2 2 3)
          (2 3 2)
          (2 4 1)
          (3 1 3)
          (3 2 2)
          (3 3 1)
          (4 1 2)
          (4 2 1)
          (5 1 1))
        (letnondeterministic
          (? ¿ ⊦ • !)
          (define (two-numbers)
            (list (? '(1 2 3 4 5)) (? '(1 2 3 4 5)) (? '(1 2 3 4 5))))
          (define (parlor sum)
            (let ((nums (two-numbers))) (⊦ (eq? (apply + nums) sum)) nums))
          (parlor 7))))

((eta 0.001)
 (memory #(12582912 2367592 1048576))
 (stdout
   "((left 0)\n (tried 311)\n (accepted 15)\n (ratio 0.0482315112540193)\n (distribution\n   (((1 1 5) 0.0666666666666667)\n    ((1 2 4) 0.0666666666666667)\n    ((1 4 2) 0.0666666666666667)\n    ((1 5 1) 0.0666666666666667)\n    ((2 1 4) 0.0666666666666667)\n    ((2 4 1) 0.0666666666666667)\n    ((4 1 2) 0.0666666666666667)\n    ((4 2 1) 0.0666666666666667)\n    ((5 1 1) 0.0666666666666667)\n    ((1 3 3) 0.0666666666666667)\n    ((2 2 3) 0.0666666666666667)\n    ((2 3 2) 0.0666666666666667)\n    ((3 1 3) 0.0666666666666667)\n    ((3 2 2) 0.0666666666666667)\n    ((3 3 1) 0.0666666666666667))))\n")
 (stderr ""))

(define (test/letnondeterministic/parlor+sorted _)
  (⊦= '((1 1 5) (1 2 4) (1 3 3) (2 2 3))
        (letnondeterministic
          (? ¿ ⊦ • !)
          (define (two-numbers)
            (list (? '(1 2 3 4 5)) (? '(1 2 3 4 5)) (? '(1 2 3 4 5))))
          (define (parlor sum)
            (let ((nums (two-numbers)))
              (⊦ (and (eq? (apply + nums) sum) (sorted? nums <)))
              nums))
          (parlor 7))))

((eta 0.0)
 (memory #(12582912 2367168 1048576))
 (stdout
   "((left 0)\n (tried 311)\n (accepted 4)\n (ratio 0.0128617363344051)\n (distribution (((1 3 3) 0.25) ((2 2 3) 0.25) ((1 1 5) 0.25) ((1 2 4) 0.25))))\n")
 (stderr ""))

(define (test/letnondeterministic/coin _)
  (⊦= '(((la 1 1) (la 1 2))
          ((la 1 1) (la 1 2) (la 2 1) (la 2 2) (ny 1 1))
          ((la 1 1)
           (la 1 2)
           (la 2 1)
           (la 2 2)
           (ny 1 1)
           (ny 1 2)
           (ny 2 1)
           (ny 2 2)
           (bos 1 1)
           (bos 1 2)
           (bos 2 1)
           (bos 2 2)))
        (letnondeterministic
          (? ¿ ⊦ • !)
          (define (coin? x) (member? x '((la 1 2) (ny 1 1) (bos 2 2))))
          (let* ((*paths* '())
                 (attempts '())
                 (city (? '(la ny bos)))
                 (store (? '(1 2)))
                 (box (? '(1 2)))
                 (triple (list city store box)))
            (push! triple attempts)
            (⊦ (coin? triple))
            (reverse attempts)))))

((eta 0.0)
 (memory #(12582912 2373296 1048576))
 (stdout
   "((left 0)\n (tried 43)\n (accepted 3)\n (ratio 0.0697674418604651)\n (distribution\n   ((((la 1 1) (la 1 2) (la 2 1) (la 2 2) (ny 1 1)) 0.333333333333333)\n    (((la 1 1)\n      (la 1 2)\n      (la 2 1)\n      (la 2 2)\n      (ny 1 1)\n      (ny 1 2)\n      (ny 2 1)\n      (ny 2 2)\n      (bos 1 1)\n      (bos 1 2)\n      (bos 2 1)\n      (bos 2 2))\n     0.333333333333333)\n    (((la 1 1) (la 1 2)) 0.333333333333333))))\n")
 (stderr ""))

(define (test/letnondeterministic/coin+cut _)
  (⊦= '(((la 1 1) (la 1 2))
          ((la 1 1) (la 1 2) (ny 1 1))
          ((la 1 1) (la 1 2) (ny 1 1) (bos 1 1) (bos 1 2) (bos 2 1) (bos 2 2)))
        (letnondeterministic
          (? ¿ ⊦ • !)
          (define (coin? x) (member? x '((la 1 2) (ny 1 1) (bos 2 2))))
          (let* ((*paths* '())
                 (attempts '())
                 (city (? '(la ny bos)))
                 (flag (•))
                 (store (? '(1 2)))
                 (_ (•))
                 (box (? '(1 2)))
                 (triple (list city store box)))
            (push! triple attempts)
            (⊦ (coin? triple))
            (! flag)
            (reverse attempts)))))

((eta 0.0)
 (memory #(12582912 2377304 1048576))
 (stdout
   "((left 0)\n (tried 23)\n (accepted 3)\n (ratio 0.130434782608696)\n (distribution\n   ((((la 1 1) (la 1 2)) 0.333333333333333)\n    (((la 1 1) (la 1 2) (ny 1 1) (bos 1 1) (bos 1 2) (bos 2 1) (bos 2 2))\n     0.333333333333333)\n    (((la 1 1) (la 1 2) (ny 1 1)) 0.333333333333333))))\n")
 (stderr ""))

(define (test/letnondeterministic/graph+cycles/bfs _)
  (⊦= '((a b c a) (a b c e a) (a b d e a))
        (letnondeterministic
          (? ¿ ⊦ • !)
          (define (neighbors node)
            (letassoc
              (node '((a (b)) (b (c d)) (c (a e)) (d (e)) (e (a))))
              (else '())))
          (define (path node1 node2 seen)
            (⊦ (not (member? node1 seen)))
            (let1 (n (? (neighbors node1)))
                  (if (eq? n node2)
                    (list node2)
                    (cons n (path n node2 (cons node1 seen))))))
          (let* ((source 'a) (p (path source 'a '()))) (cons source p)))))

((eta 0.0)
 (memory #(12582912 2372792 1048576))
 (stdout
   "((left 0)\n (tried 17)\n (accepted 3)\n (ratio 0.176470588235294)\n (distribution\n   (((a b c a) 0.333333333333333)\n    ((a b c e a) 0.333333333333333)\n    ((a b d e a) 0.333333333333333))))\n")
 (stderr ""))

(define (test/letnondeterministic/temporal-graphs _)
  (define graph-simple
    `((a ((b (1 2 3))))
      (b ((c (2 5)) (d ,ℕ)))
      (c ((a (2 3 4 5 6)) (e ,ℕ)))
      (d ((e (3 4 5))))
      (e ((a ,ℕ)))))
  (define (V g) (map car g))
  (⊦= '(((a b) ((a 1) (b 2)))
          ((a b) ((a 1) (b 3)))
          ((a c) ((a 1) (b 2) (c 5)))
          ((a c) ((a 1) (b 3) (c 5)))
          ((a d) ((a 1) (b 2) (d 3)))
          ((a d) ((a 1) (b 2) (d 4)))
          ((a d) ((a 1) (b 2) (d 5)))
          ((a d) ((a 1) (b 2) (d 6)))
          ((a d) ((a 1) (b 2) (d 7)))
          ((a d) ((a 1) (b 3) (d 4)))
          ((a d) ((a 1) (b 3) (d 5)))
          ((a d) ((a 1) (b 3) (d 6)))
          ((a d) ((a 1) (b 3) (d 7)))
          ((a e) ((a 1) (b 2) (c 5) (e 6)))
          ((a e) ((a 1) (b 2) (c 5) (e 7)))
          ((a e) ((a 1) (b 2) (d 3) (e 4)))
          ((a e) ((a 1) (b 2) (d 3) (e 5)))
          ((a e) ((a 1) (b 2) (d 4) (e 5)))
          ((a e) ((a 1) (b 3) (c 5) (e 6)))
          ((a e) ((a 1) (b 3) (c 5) (e 7)))
          ((a e) ((a 1) (b 3) (d 4) (e 5)))
          ((b a) ((b 1) (c 2) (a 3)))
          ((b a) ((b 1) (c 2) (a 4)))
          ((b a) ((b 1) (c 2) (a 5)))
          ((b a) ((b 1) (c 2) (a 6)))
          ((b a) ((b 1) (c 2) (e 3) (a 4)))
          ((b a) ((b 1) (c 2) (e 3) (a 5)))
          ((b a) ((b 1) (c 2) (e 3) (a 6)))
          ((b a) ((b 1) (c 2) (e 3) (a 7)))
          ((b a) ((b 1) (c 2) (e 4) (a 5)))
          ((b a) ((b 1) (c 2) (e 4) (a 6)))
          ((b a) ((b 1) (c 2) (e 4) (a 7)))
          ((b a) ((b 1) (c 2) (e 5) (a 6)))
          ((b a) ((b 1) (c 2) (e 5) (a 7)))
          ((b a) ((b 1) (c 2) (e 6) (a 7)))
          ((b a) ((b 1) (c 5) (a 6)))
          ((b a) ((b 1) (c 5) (e 6) (a 7)))
          ((b a) ((b 1) (d 2) (e 3) (a 4)))
          ((b a) ((b 1) (d 2) (e 3) (a 5)))
          ((b a) ((b 1) (d 2) (e 3) (a 6)))
          ((b a) ((b 1) (d 2) (e 3) (a 7)))
          ((b a) ((b 1) (d 2) (e 4) (a 5)))
          ((b a) ((b 1) (d 2) (e 4) (a 6)))
          ((b a) ((b 1) (d 2) (e 4) (a 7)))
          ((b a) ((b 1) (d 2) (e 5) (a 6)))
          ((b a) ((b 1) (d 2) (e 5) (a 7)))
          ((b a) ((b 1) (d 3) (e 4) (a 5)))
          ((b a) ((b 1) (d 3) (e 4) (a 6)))
          ((b a) ((b 1) (d 3) (e 4) (a 7)))
          ((b a) ((b 1) (d 3) (e 5) (a 6)))
          ((b a) ((b 1) (d 3) (e 5) (a 7)))
          ((b a) ((b 1) (d 4) (e 5) (a 6)))
          ((b a) ((b 1) (d 4) (e 5) (a 7)))
          ((b c) ((b 1) (c 2)))
          ((b c) ((b 1) (c 5)))
          ((b d) ((b 1) (d 2)))
          ((b d) ((b 1) (d 3)))
          ((b d) ((b 1) (d 4)))
          ((b d) ((b 1) (d 5)))
          ((b d) ((b 1) (d 6)))
          ((b d) ((b 1) (d 7)))
          ((b e) ((b 1) (c 2) (e 3)))
          ((b e) ((b 1) (c 2) (e 4)))
          ((b e) ((b 1) (c 2) (e 5)))
          ((b e) ((b 1) (c 2) (e 6)))
          ((b e) ((b 1) (c 2) (e 7)))
          ((b e) ((b 1) (c 5) (e 6)))
          ((b e) ((b 1) (c 5) (e 7)))
          ((b e) ((b 1) (d 2) (e 3)))
          ((b e) ((b 1) (d 2) (e 4)))
          ((b e) ((b 1) (d 2) (e 5)))
          ((b e) ((b 1) (d 3) (e 4)))
          ((b e) ((b 1) (d 3) (e 5)))
          ((b e) ((b 1) (d 4) (e 5)))
          ((c a) ((c 1) (a 2)))
          ((c a) ((c 1) (a 3)))
          ((c a) ((c 1) (a 4)))
          ((c a) ((c 1) (a 5)))
          ((c a) ((c 1) (a 6)))
          ((c a) ((c 1) (e 2) (a 3)))
          ((c a) ((c 1) (e 2) (a 4)))
          ((c a) ((c 1) (e 2) (a 5)))
          ((c a) ((c 1) (e 2) (a 6)))
          ((c a) ((c 1) (e 2) (a 7)))
          ((c a) ((c 1) (e 3) (a 4)))
          ((c a) ((c 1) (e 3) (a 5)))
          ((c a) ((c 1) (e 3) (a 6)))
          ((c a) ((c 1) (e 3) (a 7)))
          ((c a) ((c 1) (e 4) (a 5)))
          ((c a) ((c 1) (e 4) (a 6)))
          ((c a) ((c 1) (e 4) (a 7)))
          ((c a) ((c 1) (e 5) (a 6)))
          ((c a) ((c 1) (e 5) (a 7)))
          ((c a) ((c 1) (e 6) (a 7)))
          ((c b) ((c 1) (a 2) (b 3)))
          ((c d) ((c 1) (a 2) (b 3) (d 4)))
          ((c d) ((c 1) (a 2) (b 3) (d 5)))
          ((c d) ((c 1) (a 2) (b 3) (d 6)))
          ((c d) ((c 1) (a 2) (b 3) (d 7)))
          ((c e) ((c 1) (a 2) (b 3) (d 4) (e 5)))
          ((c e) ((c 1) (e 2)))
          ((c e) ((c 1) (e 3)))
          ((c e) ((c 1) (e 4)))
          ((c e) ((c 1) (e 5)))
          ((c e) ((c 1) (e 6)))
          ((c e) ((c 1) (e 7)))
          ((d a) ((d 1) (e 3) (a 4)))
          ((d a) ((d 1) (e 3) (a 5)))
          ((d a) ((d 1) (e 3) (a 6)))
          ((d a) ((d 1) (e 3) (a 7)))
          ((d a) ((d 1) (e 4) (a 5)))
          ((d a) ((d 1) (e 4) (a 6)))
          ((d a) ((d 1) (e 4) (a 7)))
          ((d a) ((d 1) (e 5) (a 6)))
          ((d a) ((d 1) (e 5) (a 7)))
          ((d e) ((d 1) (e 3)))
          ((d e) ((d 1) (e 4)))
          ((d e) ((d 1) (e 5)))
          ((e a) ((e 1) (a 2)))
          ((e a) ((e 1) (a 3)))
          ((e a) ((e 1) (a 4)))
          ((e a) ((e 1) (a 5)))
          ((e a) ((e 1) (a 6)))
          ((e a) ((e 1) (a 7)))
          ((e b) ((e 1) (a 2) (b 3)))
          ((e c) ((e 1) (a 2) (b 3) (c 5)))
          ((e d) ((e 1) (a 2) (b 3) (d 4)))
          ((e d) ((e 1) (a 2) (b 3) (d 5)))
          ((e d) ((e 1) (a 2) (b 3) (d 6)))
          ((e d) ((e 1) (a 2) (b 3) (d 7))))
        (letnondeterministic
          -1
          (? ¿ ⊦ • !)
          (define (path p node1 node2 seen maxlen maxt)
            (let* ((lastpair (car p))
                   (l (caddr lastpair))
                   (_ (⊦ (< l (add1 maxlen))))
                   (pair (? (letassoc (node1 graph-simple) (else '()))))
                   (n (car pair))
                   (_ (⊦ (not (member? n seen))))
                   (t₁ (? (cadr pair) (λ (t) (< t maxt))))
                   (t₀ (cadr lastpair))
                   (_ (⊦ (> t₁ t₀)))
                   (newp (cons (list n t₁ (add1 l)) p)))
              (cond ((eq? n node2) (reverse newp))
                    (else (path newp n node2 (cons node1 seen) maxlen maxt)))))
          (let* ((vertices (V graph-simple))
                 (source (? vertices))
                 (destination (? vertices))
                 (p (path (list (list source 1 1))
                          source
                          destination
                          '()
                          15
                          7)))
            (list (list source destination)
                  (map (λ (triple) (list (car triple) (cadr triple))) p))))))

((eta 0.003)
 (memory #(12582912 2439984 1048576))
 (stdout
   "((left 0)\n (tried 4013)\n (accepted 130)\n (ratio 0.0323947171692001)\n (distribution\n   ((((a b) ((a 1) (b 2))) 0.00769230769230769)\n    (((a b) ((a 1) (b 3))) 0.00769230769230769)\n    (((a c) ((a 1) (b 2) (c 5))) 0.00769230769230769)\n    (((a c) ((a 1) (b 3) (c 5))) 0.00769230769230769)\n    (((a d) ((a 1) (b 2) (d 3))) 0.00769230769230769)\n    (((a d) ((a 1) (b 2) (d 4))) 0.00769230769230769)\n    (((a d) ((a 1) (b 2) (d 5))) 0.00769230769230769)\n    (((a d) ((a 1) (b 2) (d 6))) 0.00769230769230769)\n    (((a d) ((a 1) (b 2) (d 7))) 0.00769230769230769)\n    (((a d) ((a 1) (b 3) (d 4))) 0.00769230769230769)\n    (((a d) ((a 1) (b 3) (d 5))) 0.00769230769230769)\n    (((a d) ((a 1) (b 3) (d 6))) 0.00769230769230769)\n    (((a d) ((a 1) (b 3) (d 7))) 0.00769230769230769)\n    (((a e) ((a 1) (b 2) (c 5) (e 6))) 0.00769230769230769)\n    (((a e) ((a 1) (b 2) (c 5) (e 7))) 0.00769230769230769)\n    (((a e) ((a 1) (b 2) (d 3) (e 4))) 0.00769230769230769)\n    (((a e) ((a 1) (b 2) (d 3) (e 5))) 0.00769230769230769)\n    (((a e) ((a 1) (b 2) (d 4) (e 5))) 0.00769230769230769)\n    (((a e) ((a 1) (b 3) (c 5) (e 6))) 0.00769230769230769)\n    (((a e) ((a 1) (b 3) (c 5) (e 7))) 0.00769230769230769)\n    (((a e) ((a 1) (b 3) (d 4) (e 5))) 0.00769230769230769)\n    (((b a) ((b 1) (c 2) (a 3))) 0.00769230769230769)\n    (((b a) ((b 1) (c 2) (a 4))) 0.00769230769230769)\n    (((b a) ((b 1) (c 2) (a 5))) 0.00769230769230769)\n    (((b a) ((b 1) (c 2) (a 6))) 0.00769230769230769)\n    (((b a) ((b 1) (c 2) (e 3) (a 4))) 0.00769230769230769)\n    (((b a) ((b 1) (c 2) (e 3) (a 5))) 0.00769230769230769)\n    (((b a) ((b 1) (c 2) (e 3) (a 6))) 0.00769230769230769)\n    (((b a) ((b 1) (c 2) (e 3) (a 7))) 0.00769230769230769)\n    (((b a) ((b 1) (c 2) (e 4) (a 5))) 0.00769230769230769)\n    (((b a) ((b 1) (c 2) (e 4) (a 6))) 0.00769230769230769)\n    (((b a) ((b 1) (c 2) (e 4) (a 7))) 0.00769230769230769)\n    (((b a) ((b 1) (c 2) (e 5) (a 6))) 0.00769230769230769)\n    (((b a) ((b 1) (c 2) (e 5) (a 7))) 0.00769230769230769)\n    (((b a) ((b 1) (c 2) (e 6) (a 7))) 0.00769230769230769)\n    (((b a) ((b 1) (c 5) (a 6))) 0.00769230769230769)\n    (((b a) ((b 1) (c 5) (e 6) (a 7))) 0.00769230769230769)\n    (((b a) ((b 1) (d 2) (e 3) (a 4))) 0.00769230769230769)\n    (((b a) ((b 1) (d 2) (e 3) (a 5))) 0.00769230769230769)\n    (((b a) ((b 1) (d 2) (e 3) (a 6))) 0.00769230769230769)\n    (((b a) ((b 1) (d 2) (e 3) (a 7))) 0.00769230769230769)\n    (((b a) ((b 1) (d 2) (e 4) (a 5))) 0.00769230769230769)\n    (((b a) ((b 1) (d 2) (e 4) (a 6))) 0.00769230769230769)\n    (((b a) ((b 1) (d 2) (e 4) (a 7))) 0.00769230769230769)\n    (((b a) ((b 1) (d 2) (e 5) (a 6))) 0.00769230769230769)\n    (((b a) ((b 1) (d 2) (e 5) (a 7))) 0.00769230769230769)\n    (((b a) ((b 1) (d 3) (e 4) (a 5))) 0.00769230769230769)\n    (((b a) ((b 1) (d 3) (e 4) (a 6))) 0.00769230769230769)\n    (((b a) ((b 1) (d 3) (e 4) (a 7))) 0.00769230769230769)\n    (((b a) ((b 1) (d 3) (e 5) (a 6))) 0.00769230769230769)\n    (((b a) ((b 1) (d 3) (e 5) (a 7))) 0.00769230769230769)\n    (((b a) ((b 1) (d 4) (e 5) (a 6))) 0.00769230769230769)\n    (((b a) ((b 1) (d 4) (e 5) (a 7))) 0.00769230769230769)\n    (((b c) ((b 1) (c 2))) 0.00769230769230769)\n    (((b c) ((b 1) (c 5))) 0.00769230769230769)\n    (((b d) ((b 1) (d 2))) 0.00769230769230769)\n    (((b d) ((b 1) (d 3))) 0.00769230769230769)\n    (((b d) ((b 1) (d 4))) 0.00769230769230769)\n    (((b d) ((b 1) (d 5))) 0.00769230769230769)\n    (((b d) ((b 1) (d 6))) 0.00769230769230769)\n    (((b d) ((b 1) (d 7))) 0.00769230769230769)\n    (((b e) ((b 1) (c 2) (e 3))) 0.00769230769230769)\n    (((b e) ((b 1) (c 2) (e 4))) 0.00769230769230769)\n    (((b e) ((b 1) (c 2) (e 5))) 0.00769230769230769)\n    (((b e) ((b 1) (c 2) (e 6))) 0.00769230769230769)\n    (((b e) ((b 1) (c 2) (e 7))) 0.00769230769230769)\n    (((b e) ((b 1) (c 5) (e 6))) 0.00769230769230769)\n    (((b e) ((b 1) (c 5) (e 7))) 0.00769230769230769)\n    (((b e) ((b 1) (d 2) (e 3))) 0.00769230769230769)\n    (((b e) ((b 1) (d 2) (e 4))) 0.00769230769230769)\n    (((b e) ((b 1) (d 2) (e 5))) 0.00769230769230769)\n    (((b e) ((b 1) (d 3) (e 4))) 0.00769230769230769)\n    (((b e) ((b 1) (d 3) (e 5))) 0.00769230769230769)\n    (((b e) ((b 1) (d 4) (e 5))) 0.00769230769230769)\n    (((c a) ((c 1) (a 2))) 0.00769230769230769)\n    (((c a) ((c 1) (a 3))) 0.00769230769230769)\n    (((c a) ((c 1) (a 4))) 0.00769230769230769)\n    (((c a) ((c 1) (a 5))) 0.00769230769230769)\n    (((c a) ((c 1) (a 6))) 0.00769230769230769)\n    (((c a) ((c 1) (e 2) (a 3))) 0.00769230769230769)\n    (((c a) ((c 1) (e 2) (a 4))) 0.00769230769230769)\n    (((c a) ((c 1) (e 2) (a 5))) 0.00769230769230769)\n    (((c a) ((c 1) (e 2) (a 6))) 0.00769230769230769)\n    (((c a) ((c 1) (e 2) (a 7))) 0.00769230769230769)\n    (((c a) ((c 1) (e 3) (a 4))) 0.00769230769230769)\n    (((c a) ((c 1) (e 3) (a 5))) 0.00769230769230769)\n    (((c a) ((c 1) (e 3) (a 6))) 0.00769230769230769)\n    (((c a) ((c 1) (e 3) (a 7))) 0.00769230769230769)\n    (((c a) ((c 1) (e 4) (a 5))) 0.00769230769230769)\n    (((c a) ((c 1) (e 4) (a 6))) 0.00769230769230769)\n    (((c a) ((c 1) (e 4) (a 7))) 0.00769230769230769)\n    (((c a) ((c 1) (e 5) (a 6))) 0.00769230769230769)\n    (((c a) ((c 1) (e 5) (a 7))) 0.00769230769230769)\n    (((c a) ((c 1) (e 6) (a 7))) 0.00769230769230769)\n    (((c b) ((c 1) (a 2) (b 3))) 0.00769230769230769)\n    (((c d) ((c 1) (a 2) (b 3) (d 4))) 0.00769230769230769)\n    (((c d) ((c 1) (a 2) (b 3) (d 5))) 0.00769230769230769)\n    (((c d) ((c 1) (a 2) (b 3) (d 6))) 0.00769230769230769)\n    (((c d) ((c 1) (a 2) (b 3) (d 7))) 0.00769230769230769)\n    (((c e) ((c 1) (a 2) (b 3) (d 4) (e 5))) 0.00769230769230769)\n    (((c e) ((c 1) (e 2))) 0.00769230769230769)\n    (((c e) ((c 1) (e 3))) 0.00769230769230769)\n    (((c e) ((c 1) (e 4))) 0.00769230769230769)\n    (((c e) ((c 1) (e 5))) 0.00769230769230769)\n    (((c e) ((c 1) (e 6))) 0.00769230769230769)\n    (((c e) ((c 1) (e 7))) 0.00769230769230769)\n    (((d a) ((d 1) (e 3) (a 4))) 0.00769230769230769)\n    (((d a) ((d 1) (e 3) (a 5))) 0.00769230769230769)\n    (((d a) ((d 1) (e 3) (a 6))) 0.00769230769230769)\n    (((d a) ((d 1) (e 3) (a 7))) 0.00769230769230769)\n    (((d a) ((d 1) (e 4) (a 5))) 0.00769230769230769)\n    (((d a) ((d 1) (e 4) (a 6))) 0.00769230769230769)\n    (((d a) ((d 1) (e 4) (a 7))) 0.00769230769230769)\n    (((d a) ((d 1) (e 5) (a 6))) 0.00769230769230769)\n    (((d a) ((d 1) (e 5) (a 7))) 0.00769230769230769)\n    (((d e) ((d 1) (e 3))) 0.00769230769230769)\n    (((d e) ((d 1) (e 4))) 0.00769230769230769)\n    (((d e) ((d 1) (e 5))) 0.00769230769230769)\n    (((e a) ((e 1) (a 2))) 0.00769230769230769)\n    (((e a) ((e 1) (a 3))) 0.00769230769230769)\n    (((e a) ((e 1) (a 4))) 0.00769230769230769)\n    (((e a) ((e 1) (a 5))) 0.00769230769230769)\n    (((e a) ((e 1) (a 6))) 0.00769230769230769)\n    (((e a) ((e 1) (a 7))) 0.00769230769230769)\n    (((e b) ((e 1) (a 2) (b 3))) 0.00769230769230769)\n    (((e c) ((e 1) (a 2) (b 3) (c 5))) 0.00769230769230769)\n    (((e d) ((e 1) (a 2) (b 3) (d 4))) 0.00769230769230769)\n    (((e d) ((e 1) (a 2) (b 3) (d 5))) 0.00769230769230769)\n    (((e d) ((e 1) (a 2) (b 3) (d 6))) 0.00769230769230769)\n    (((e d) ((e 1) (a 2) (b 3) (d 7))) 0.00769230769230769))))\n")
 (stderr ""))