Ideone.com

download

copy

(ns Chapter9LambdaTheUltimate)
 
(def null?
  (fn [a]
    (or
      (nil? a)
      (= () a))))
(println "")
(println "defined null? as a utility function")
 
;demonstrating passing functions around
(def rember-f
  (fn [test? a l]
    (cond
      (null? l) '()
      true (cond
             (test? (first l) a) (rest l)
             true (cons (first l) (rember-f test? a (rest l)))))))
 
(println "")
(println "rember-f")
(println (rember-f = '(pop corn) '(lemonade (pop corn) and (cake))))
;//=>(lemonade and (cake))
 
 
(def rember-f
  (fn [test? a l]
    (cond
      (null? l) '()
      (test? (first l) a) (rest l)
      true (cons (first l) (rember-f test? a (rest l))))))
 
(println "")
(println "rember-f - refactored to remove redundant condition")
(println (rember-f = '(pop corn) '(lemonade (pop corn) and (cake))))
;//=>(lemonade and (cake))
 
 
;do a function that returns a function
(def eq?-c
  (fn [a]
    (fn [x]
      (= x a))))
 
(println "")
(println "eq-c?")
(println (eq?-c 'lemonade))
;//=> #<Chapter9LambdaTheUltimate$eq_QMARK__c$fn__974 Chapter9LambdaTheUltimate$eq_QMARK__c$fn__974@2a2a2ae9>
(println ((eq?-c 'lemonade) 'coke))
;//=> false
(println ((eq?-c 'lemonade) 'lemonade))
;//=> true
 
 
(def eq?-salad (eq?-c 'salad))
 
(println "")
(println "eq-salad?")
(println (eq?-salad 'tuna))
;//=>false
(println (eq?-salad 'salad))
;//=>true
 
;now we're making a function-maker for our rember-f function
;(def rember-eq? (rember-f test?))
 
(def rember-f
  (fn [test?]
    (fn [a l]
      (cond
        (null? l) '()
        (test? (first l) a) (rest l)
        true (cons (first l) ((rember-f test?) a (rest l)))))))
 
(println "")
(println "rember-f with function arg")
(println ((rember-f =) 'tuna '(tuna salad is good)))
;//=>(salad is good)
 
(def rember-eq? (rember-f =))
(println (rember-eq? 'tuna '(tuna salad is good)))
;//=>(salad is good)
 
(def insertL-f
  (fn [test?]
    (fn [new old l]
      (cond
        (null? l) '()
        (test? (first l) old) (cons new (cons old (rest l)))
        true (cons (first l) ((insertL-f test?) new old (rest l)))))))
 
(println "")
(println "insertL with function arg")
(println ((insertL-f =) 'creamy 'latte '(a hot cup of latte)))
 
(def insertR-f
  (fn [test?]
    (fn [new old l]
      (cond
        (null? l) '()
        (test? (first l) old) (cons old (cons new (rest l)))
        true (cons (first l) ((insertR-f test?) new old (rest l)))))))
 
(println "")
(println "insertR with function arg")
(println ((insertR-f =) 'cake 'cheese '(new york cheese)))
 
 
(def seqL
  (fn [new old l]
    (cons new (cons old l))))
 
(def seqR
  (fn [new old l]
    (cons old (cons new l))))
 
(def insert-g
  (fn [seqarg]
    (fn [new old l]
      (cond
        (null? l) '()
        (= (first l) old) (seqarg new old (rest l))
        true (cons (first l) ((insert-g seqarg) new old (rest l)))))))
 
 
(def insertL (insert-g seqL))
(println "")
(println "insertL with common definition")
(println (insertL  'creamy 'latte '(a hot cup of latte)))
;//=>(a hot cup of creamy latte)
(def insertR (insert-g seqR))
(println "")
(println "insertR with common definition")
(println (insertR 'cake 'cheese '(new york cheese)))
;//=>(new york cheese cake)
 
(def insertL
  (insert-g
    (fn [new old l]
      (cons new (cons old l)))))
(println "")
(println "insertL with inline common definition")
(println (insertL 'creamy 'latte '(a hot cup of latte)))
;//=>(a hot cup of creamy latte)
 
(def subst
  (fn [new old l]
    (cond
      (null? l) '()
      (= (first l) old) (cons new (rest l))
      true (cons (first l) (subst new old (rest l))))))
 
(println "")
(println "subst with inline common definition")
(println (subst 'espresso 'latte '(a hot cup of latte)))
;//=>(a hot cup of espresso)
 
(def seqS
  (fn [new old l]
    (cons new l)))
 
(def subst (insert-g seqS))
 
(println "")
(println "subst with common definition")
(println (subst 'espresso 'latte '(a hot cup of latte)))
;//>(a hot cup of espresso)
 
(def seqrem
  (fn [new old l]
    l))
 
(def rember
  (fn [a l]
    ((insert-g seqrem) nil a l)))
 
(println "")
(println "rember with common definition")
(println (rember 'hot '(a hot cup of espresso)))
;//=>(a cup of espresso)
 
; note tenth commandment - abstract functions with common structures into a single function
 
(def number_?
  (fn [a]
;    (println "number_? " a)
    (cond
      (null? a) false
      (number? a) true
      true false)))
 
(println "")
(println "number_?")
 
(def first-sub-exp
  (fn [aexp]
    (first (rest aexp))))
 
(println "")
(println "first-sub-exp")
 
 
(def second-sub-exp
  (fn [aexp]
;    (println "second-sub-exp " aexp)
    (first (rest (rest aexp)))))
 
(println "")
(println "second-sub-exp")
 
(def operator
  (fn [aexp]
    (first aexp)))
 
(println "")
(println "operator")
 
;(use 'clojure.math.numeric-tower)
 
(def value
  (fn [aexp]
    ;(println "value " aexp)
    (cond
      (number_? aexp) aexp
      (= (operator aexp) '+ ) (+ (value (first-sub-exp aexp)) (value  (second-sub-exp aexp)))
      (= (operator aexp) '* ) (* (value (first-sub-exp aexp)) (value (second-sub-exp aexp)))
;      (= (operator aexp) 'exp ) (expt (value (first-sub-exp aexp)) (value (second-sub-exp aexp)))
      )))
 
(println "")
(println "value")
(println (value '(+ 1 1)))
;//=>2
 
(def atom-to-function
  (fn [x]
    (cond
      (= x '+ ) +
      (= x '* ) *
      ;(= x 'exp ) expt 
      )))
 
(println "")
(println "atom-to-function")
 
 
(def value
  (fn [aexp]
;    (println "value " aexp)
    (cond
      (number_? aexp) aexp
      true ((atom-to-function (operator aexp))
             (value (first-sub-exp aexp))
             (value (second-sub-exp aexp))))))
 
(println "")
(println "value simplified")
 
(println (value '(+ 1 1)))
;//=> 2
 
(def member?
  (fn [a lat]
    (cond
      (null? lat) false
      true (or
        (= (first lat) a)
        (member? a (rest lat)))) ))
 
(println "")
(println "member?")
 
 
(def subset?
  (fn [set1 set2]
    (cond
      (null? set1) true
      true (and
             (member? (first set1) set2) 
             (subset? (rest set1) set2)))))
 
(println "")
(println "subset?")
 
(println (subset? '(a b c) '(b c d)))
;//=>false
(println (subset? '(b c) '(b c d)))
;//=>true
 
 
(def intersect?
  (fn [set1 set2]
    (cond
      (null? set1) false
      true (or 
             (member? (first set1) set2)
             (intersect? (rest set1) set2)))))
 
(println "")
(println "intersect?")
 
(println (intersect? '(a b c) '(b c d)))
;//=>true
 
(def set-f?
  (fn [logical? const]
    (fn [set1 set2]
      (cond
        (null? set1) const
        true (logical? 
               (member? (first set1) set2)
               ((set-f? logical? const) (rest set1) set2))))))
 
;(def subset? (set-f? and true))
;(def intersect? (set-f? or nil))
; note - doesn't work yet
 
(def and-prime
  (fn [x y]
    (and x y)))
 
(def or-prime
  (fn [x y]
    (or x y)))
; still doesn't work
 
(def or-prime
  (fn [x set1 set2]
    (or x (intersect? (rest set1) set2))))
 
(def and-prime
  (fn [x set1 set2]
    (and x (subset? (rest set1) set2))))
 
(def member?
  (fn [a lat]
    (cond
      (null? lat) false
      true (or
        (= (first lat) a)
        (member? a (rest lat)))) ))
 
(def set-f?
  (fn [logical? const]
    (fn [set1 set2]
      (cond
        (null? set1) const
        true (logical? 
               (member? (first set1) set2)
               set1 set2)))))
;rewritten
 
(def intersect? (set-f? or-prime false))
(def subset? (set-f? and-prime true))
 
(println (intersect?  '(toasted banana bread) '(breakfast toasted banana bread with butter for breakfast)))
;//=>true
(println (subset? '(banana butter) '(breakfast toasted banana bread with butter for breakfast)))
;//=>true
 
;refactored to remove inner cond
(def multirember
  (fn [a lat]
    (cond
      (null? lat) '()
      (= (first lat) a) (multirember a (rest lat))
      true (cons (first lat) (multirember a (rest lat))))))
 
(println (multirember 'breakfast '(breakfast toasted banana bread with butter for breakfast)))
;//=>(toasted banana bread with butter for)
 
(def mrember-curry
  (fn [l]
    (multirember 'curry l)))
 
(println (mrember-curry '(curry chicken with curry rice)))
;//=>(chicken with rice)
 
 
; now we've rewritten it to ask three questions
(def mrember-curry
  (fn [l]
    (cond
      (null? l) '()
      (= (first l) 'curry) (mrember-curry (rest l))
      true (cons (first l) (mrember-curry (rest l))))))
 
(println (mrember-curry '(curry chicken with curry rice)))
;//=>(chicken with rice)
 
; now we're rewriting it to return a curried function
(def curry-maker
  (fn [future]
    (fn [l]
      (cond
        (null? l) '()
        (= (first l) 'curry) ((curry-maker future) (rest l))
        true (cons (first l) ((curry-maker future) (rest l)))))))
 
(def mrember-curry (curry-maker 0))
 
;//=>(chicken with rice)
 
; this could be a spin-out
(def mrember-curry
  (curry-maker curry-maker))
(println (mrember-curry '(curry chicken with curry rice)))
;//=>(chicken with rice)
 
; ie curry-maker is not specific to this function
 
(def function-maker
  (fn [future]
    (fn [l]
      (cond
        (null? l) '()
        (= (first l) 'curry) ((future future) (rest l))
        true (cons (first l) ((future future) (rest l)))))))
 
;for yielding mrember-curry when applied to a fcuntion
 
;
(def mrember-curry
  (function-maker function-maker))
(println (mrember-curry '(curry chicken with curry rice)))
;//=>(chicken with rice)
 
 
;so (future future) is the same as (function-maker function-maker)
;and mrember-curry doesn't actually need a name - it can be anonymous
;no recursive function needs to be given a name with def
;so for add1 - we don't need the (def, we could just start with the (fn
; this implies that (fn [x] (add1 x)) can be replaced by (fn [x] ((fn [x] (add1 x)) x))
 
(def function-maker
  (fn [future]
    (fn [l]
      (cond
        (null? l) '()
        (= (first l) 'curry) ((fn [arg] ((future future) arg)) (rest l))
        true (cons (first l) ((fn [arg] ((future future) arg)) (rest l)))))))
 
(def mrember-curry
  (function-maker function-maker))
(println (mrember-curry '(curry chicken with curry rice)))
;//=>(chicken with rice)
 
 
;now we'll add an extra function
(def function-maker
  (fn [future]
    ((fn [recfun]
      (fn [l]
        (cond
          (null? l) '()
          (= (first l) 'curry) (recfun (rest l))
        true (cons (first l) ((future future))))))
    (fn [arg] ((future future) arg)))))
;abstraction above to remove l
; just take my word on this for now
 
 
 
; now we'll split it up into two functions
(def M
  (fn [recfun]
    (fn [l]
      (cond
        (null? l) '()
        (= (first l) 'curry) (recfun (rest l))
        true (cons (first l) (recfun (rest l)))))))
 
(def function-maker
  (fn [future]
    (M (fn [arg]
         ((future future) arg)))))
 
 
;Now we'll change this
(def mrember-curry
  (function-maker function-maker))
;to this
(def mrember-curry
  ((fn [future]
     (M (fn [arg]
          ((future future) arg))))
    (fn [future]
      (M (fn [arg]
           ((future future) arg))))))
 
; now we'll pass in M as a function
(def Y
  (fn [M]
    ((fn [future]
       (M (fn [arg]
            ((future future) arg))))
      (fn [future]
        (M (fn [arg]
             ((future future) arg)))))))
 
(def mrember-curry (Y M))
 
(println (mrember-curry '(curry chicken with curry rice)))
;//=>(chicken with rice)
 
;using add1 from chapter 7 not chapter 4
(def add1
  (fn [n]
    (cons '() n)))
 
; now we'll look at using the y-combinator to look at the length of a list
(def L
  (fn [recfun]
    (fn [l]
      (cond
        (null? l) '()
        true (add1 (recfun (rest l)))))))
 
(def length (Y L))
 
(println (length '(curry chicken with curry rice)))
;//=>(() () () () ()) ie 5
 
;strangely enough we switch our definition of add1 to the definition from chapter 4
(def add1
  (fn [n]
    (+ 1 n)))
 
;just for the sake of it - we'll rewrite length without the L function
(def length
  (Y
    (fn [recfun]
      (fn [l]
        (cond
          (null? l) 0
          true (add1 (recfun (rest l))))))))
 
(println (length '(curry chicken with curry rice)))
;//=>5
 
;now we'll define length without Y or L
(def length
  ((fn [M]
     ((fn [future]
        (M (fn [arg]
             ((future future) arg))))
     (fn [future]
       (M (fn [arg]
            ((future future) arg))))))
    (fn [recfun]
      (fn [l]
        (cond
          (null? l) 0
          true (add1 (recfun (rest l))))))))
 
(println (length '(curry chicken with curry rice)))
;//=>5
;----
;exercise 9.8 and 9.10
;-----
 
;building a pair with an S-expression and a thunk leads to a stream
(def first$ first)
 
(def second$
  (fn [str]
    ((second str))))
 
; careful re use of first and second here - as yet undefined!
 
(def build
  (fn [a b]
    (cond
      true (cons a (cons b '())))))
 
(def str-maker
  (fn [next n]
    (build n (fn [] (str-maker next (next n))))))
 
(def int_ (str-maker add1 0))
 
(def even (str-maker (fn [n] (+ 2 n)) 0))
 
;sub1 from chapter 4
(def sub1
  (fn [n]
    (- n 1)))
 
(def frontier
  (fn [str n]
    (cond
      (zero? n) '()
      true (cons (first$ str) (frontier (second$ str) (sub1 n))))))
 
(frontier int_ 10)
;//=>(0 1 2 3 4 5 6 7 8 9)
; 9.10
 
 
(def Q
  (fn [str n]
    (cond
      (zero? (rem (first$ str) n)) (Q (second$ str) n)
      true (build (first$ str) (fn [] (Q (second$ str) n))))))
; note new function call rem - re new primitve
 
(def P
  (fn [str]
    (build (first$ str) (fn [] (P (Q str (first$ str)))))))
 
(frontier (P (second$ (second$ int_))) 10)
;//=>(2 3 5 7 11 13 17 19 23 29)

KG5zIENoYXB0ZXI5TGFtYmRhVGhlVWx0aW1hdGUpCgooZGVmIG51bGw/CiAgKGZuIFthXQogICAgKG9yCiAgICAgIChuaWw/IGEpCiAgICAgICg9ICgpIGEpKSkpCihwcmludGxuICIiKQoocHJpbnRsbiAiZGVmaW5lZCBudWxsPyBhcyBhIHV0aWxpdHkgZnVuY3Rpb24iKQoKO2RlbW9uc3RyYXRpbmcgcGFzc2luZyBmdW5jdGlvbnMgYXJvdW5kCihkZWYgcmVtYmVyLWYKICAoZm4gW3Rlc3Q/IGEgbF0KICAgIChjb25kCiAgICAgIChudWxsPyBsKSAnKCkKICAgICAgdHJ1ZSAoY29uZAogICAgICAgICAgICAgKHRlc3Q/IChmaXJzdCBsKSBhKSAocmVzdCBsKQogICAgICAgICAgICAgdHJ1ZSAoY29ucyAoZmlyc3QgbCkgKHJlbWJlci1mIHRlc3Q/IGEgKHJlc3QgbCkpKSkpKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAicmVtYmVyLWYiKQoocHJpbnRsbiAocmVtYmVyLWYgPSAnKHBvcCBjb3JuKSAnKGxlbW9uYWRlIChwb3AgY29ybikgYW5kIChjYWtlKSkpKQo7Ly89PihsZW1vbmFkZSBhbmQgKGNha2UpKQoKCihkZWYgcmVtYmVyLWYKICAoZm4gW3Rlc3Q/IGEgbF0KICAgIChjb25kCiAgICAgIChudWxsPyBsKSAnKCkKICAgICAgKHRlc3Q/IChmaXJzdCBsKSBhKSAocmVzdCBsKQogICAgICB0cnVlIChjb25zIChmaXJzdCBsKSAocmVtYmVyLWYgdGVzdD8gYSAocmVzdCBsKSkpKSkpCgoocHJpbnRsbiAiIikKKHByaW50bG4gInJlbWJlci1mIC0gcmVmYWN0b3JlZCB0byByZW1vdmUgcmVkdW5kYW50IGNvbmRpdGlvbiIpCihwcmludGxuIChyZW1iZXItZiA9ICcocG9wIGNvcm4pICcobGVtb25hZGUgKHBvcCBjb3JuKSBhbmQgKGNha2UpKSkpCjsvLz0+KGxlbW9uYWRlIGFuZCAoY2FrZSkpCgoKO2RvIGEgZnVuY3Rpb24gdGhhdCByZXR1cm5zIGEgZnVuY3Rpb24KKGRlZiBlcT8tYwogIChmbiBbYV0KICAgIChmbiBbeF0KICAgICAgKD0geCBhKSkpKQoKKHByaW50bG4gIiIpCihwcmludGxuICJlcS1jPyIpCihwcmludGxuIChlcT8tYyAnbGVtb25hZGUpKQo7Ly89PiAjPENoYXB0ZXI5TGFtYmRhVGhlVWx0aW1hdGUkZXFfUU1BUktfX2MkZm5fXzk3NCBDaGFwdGVyOUxhbWJkYVRoZVVsdGltYXRlJGVxX1FNQVJLX19jJGZuX185NzRAMmEyYTJhZTk+CihwcmludGxuICgoZXE/LWMgJ2xlbW9uYWRlKSAnY29rZSkpCjsvLz0+IGZhbHNlCihwcmludGxuICgoZXE/LWMgJ2xlbW9uYWRlKSAnbGVtb25hZGUpKQo7Ly89PiB0cnVlCgoKKGRlZiBlcT8tc2FsYWQgKGVxPy1jICdzYWxhZCkpCgoocHJpbnRsbiAiIikKKHByaW50bG4gImVxLXNhbGFkPyIpCihwcmludGxuIChlcT8tc2FsYWQgJ3R1bmEpKQo7Ly89PmZhbHNlCihwcmludGxuIChlcT8tc2FsYWQgJ3NhbGFkKSkKOy8vPT50cnVlCgo7bm93IHdlJ3JlIG1ha2luZyBhIGZ1bmN0aW9uLW1ha2VyIGZvciBvdXIgcmVtYmVyLWYgZnVuY3Rpb24KOyhkZWYgcmVtYmVyLWVxPyAocmVtYmVyLWYgdGVzdD8pKQoKKGRlZiByZW1iZXItZgogIChmbiBbdGVzdD9dCiAgICAoZm4gW2EgbF0KICAgICAgKGNvbmQKICAgICAgICAobnVsbD8gbCkgJygpCiAgICAgICAgKHRlc3Q/IChmaXJzdCBsKSBhKSAocmVzdCBsKQogICAgICAgIHRydWUgKGNvbnMgKGZpcnN0IGwpICgocmVtYmVyLWYgdGVzdD8pIGEgKHJlc3QgbCkpKSkpKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAicmVtYmVyLWYgd2l0aCBmdW5jdGlvbiBhcmciKQoocHJpbnRsbiAoKHJlbWJlci1mID0pICd0dW5hICcodHVuYSBzYWxhZCBpcyBnb29kKSkpCjsvLz0+KHNhbGFkIGlzIGdvb2QpCgooZGVmIHJlbWJlci1lcT8gKHJlbWJlci1mID0pKQoocHJpbnRsbiAocmVtYmVyLWVxPyAndHVuYSAnKHR1bmEgc2FsYWQgaXMgZ29vZCkpKQo7Ly89PihzYWxhZCBpcyBnb29kKQoKKGRlZiBpbnNlcnRMLWYKICAoZm4gW3Rlc3Q/XQogICAgKGZuIFtuZXcgb2xkIGxdCiAgICAgIChjb25kCiAgICAgICAgKG51bGw/IGwpICcoKQogICAgICAgICh0ZXN0PyAoZmlyc3QgbCkgb2xkKSAoY29ucyBuZXcgKGNvbnMgb2xkIChyZXN0IGwpKSkKICAgICAgICB0cnVlIChjb25zIChmaXJzdCBsKSAoKGluc2VydEwtZiB0ZXN0PykgbmV3IG9sZCAocmVzdCBsKSkpKSkpKQoKKHByaW50bG4gIiIpCihwcmludGxuICJpbnNlcnRMIHdpdGggZnVuY3Rpb24gYXJnIikKKHByaW50bG4gKChpbnNlcnRMLWYgPSkgJ2NyZWFteSAnbGF0dGUgJyhhIGhvdCBjdXAgb2YgbGF0dGUpKSkKCihkZWYgaW5zZXJ0Ui1mCiAgKGZuIFt0ZXN0P10KICAgIChmbiBbbmV3IG9sZCBsXQogICAgICAoY29uZAogICAgICAgIChudWxsPyBsKSAnKCkKICAgICAgICAodGVzdD8gKGZpcnN0IGwpIG9sZCkgKGNvbnMgb2xkIChjb25zIG5ldyAocmVzdCBsKSkpCiAgICAgICAgdHJ1ZSAoY29ucyAoZmlyc3QgbCkgKChpbnNlcnRSLWYgdGVzdD8pIG5ldyBvbGQgKHJlc3QgbCkpKSkpKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAiaW5zZXJ0UiB3aXRoIGZ1bmN0aW9uIGFyZyIpCihwcmludGxuICgoaW5zZXJ0Ui1mID0pICdjYWtlICdjaGVlc2UgJyhuZXcgeW9yayBjaGVlc2UpKSkKCgooZGVmIHNlcUwKICAoZm4gW25ldyBvbGQgbF0KICAgIChjb25zIG5ldyAoY29ucyBvbGQgbCkpKSkKCihkZWYgc2VxUgogIChmbiBbbmV3IG9sZCBsXQogICAgKGNvbnMgb2xkIChjb25zIG5ldyBsKSkpKQoKKGRlZiBpbnNlcnQtZwogIChmbiBbc2VxYXJnXQogICAgKGZuIFtuZXcgb2xkIGxdCiAgICAgIChjb25kCiAgICAgICAgKG51bGw/IGwpICcoKQogICAgICAgICg9IChmaXJzdCBsKSBvbGQpIChzZXFhcmcgbmV3IG9sZCAocmVzdCBsKSkKICAgICAgICB0cnVlIChjb25zIChmaXJzdCBsKSAoKGluc2VydC1nIHNlcWFyZykgbmV3IG9sZCAocmVzdCBsKSkpKSkpKQoKCihkZWYgaW5zZXJ0TCAoaW5zZXJ0LWcgc2VxTCkpCihwcmludGxuICIiKQoocHJpbnRsbiAiaW5zZXJ0TCB3aXRoIGNvbW1vbiBkZWZpbml0aW9uIikKKHByaW50bG4gKGluc2VydEwgICdjcmVhbXkgJ2xhdHRlICcoYSBob3QgY3VwIG9mIGxhdHRlKSkpCjsvLz0+KGEgaG90IGN1cCBvZiBjcmVhbXkgbGF0dGUpCihkZWYgaW5zZXJ0UiAoaW5zZXJ0LWcgc2VxUikpCihwcmludGxuICIiKQoocHJpbnRsbiAiaW5zZXJ0UiB3aXRoIGNvbW1vbiBkZWZpbml0aW9uIikKKHByaW50bG4gKGluc2VydFIgJ2Nha2UgJ2NoZWVzZSAnKG5ldyB5b3JrIGNoZWVzZSkpKQo7Ly89PihuZXcgeW9yayBjaGVlc2UgY2FrZSkKCihkZWYgaW5zZXJ0TAogIChpbnNlcnQtZwogICAgKGZuIFtuZXcgb2xkIGxdCiAgICAgIChjb25zIG5ldyAoY29ucyBvbGQgbCkpKSkpCihwcmludGxuICIiKQoocHJpbnRsbiAiaW5zZXJ0TCB3aXRoIGlubGluZSBjb21tb24gZGVmaW5pdGlvbiIpCihwcmludGxuIChpbnNlcnRMICdjcmVhbXkgJ2xhdHRlICcoYSBob3QgY3VwIG9mIGxhdHRlKSkpCjsvLz0+KGEgaG90IGN1cCBvZiBjcmVhbXkgbGF0dGUpCgooZGVmIHN1YnN0CiAgKGZuIFtuZXcgb2xkIGxdCiAgICAoY29uZAogICAgICAobnVsbD8gbCkgJygpCiAgICAgICg9IChmaXJzdCBsKSBvbGQpIChjb25zIG5ldyAocmVzdCBsKSkKICAgICAgdHJ1ZSAoY29ucyAoZmlyc3QgbCkgKHN1YnN0IG5ldyBvbGQgKHJlc3QgbCkpKSkpKQoKKHByaW50bG4gIiIpCihwcmludGxuICJzdWJzdCB3aXRoIGlubGluZSBjb21tb24gZGVmaW5pdGlvbiIpCihwcmludGxuIChzdWJzdCAnZXNwcmVzc28gJ2xhdHRlICcoYSBob3QgY3VwIG9mIGxhdHRlKSkpCjsvLz0+KGEgaG90IGN1cCBvZiBlc3ByZXNzbykKCihkZWYgc2VxUwogIChmbiBbbmV3IG9sZCBsXQogICAgKGNvbnMgbmV3IGwpKSkKCihkZWYgc3Vic3QgKGluc2VydC1nIHNlcVMpKQoKKHByaW50bG4gIiIpCihwcmludGxuICJzdWJzdCB3aXRoIGNvbW1vbiBkZWZpbml0aW9uIikKKHByaW50bG4gKHN1YnN0ICdlc3ByZXNzbyAnbGF0dGUgJyhhIGhvdCBjdXAgb2YgbGF0dGUpKSkKOy8vPihhIGhvdCBjdXAgb2YgZXNwcmVzc28pCgooZGVmIHNlcXJlbQogIChmbiBbbmV3IG9sZCBsXQogICAgbCkpCgooZGVmIHJlbWJlcgogIChmbiBbYSBsXQogICAgKChpbnNlcnQtZyBzZXFyZW0pIG5pbCBhIGwpKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAicmVtYmVyIHdpdGggY29tbW9uIGRlZmluaXRpb24iKQoocHJpbnRsbiAocmVtYmVyICdob3QgJyhhIGhvdCBjdXAgb2YgZXNwcmVzc28pKSkKOy8vPT4oYSBjdXAgb2YgZXNwcmVzc28pCgo7IG5vdGUgdGVudGggY29tbWFuZG1lbnQgLSBhYnN0cmFjdCBmdW5jdGlvbnMgd2l0aCBjb21tb24gc3RydWN0dXJlcyBpbnRvIGEgc2luZ2xlIGZ1bmN0aW9uCgooZGVmIG51bWJlcl8/CiAgKGZuIFthXQo7ICAgIChwcmludGxuICJudW1iZXJfPyAiIGEpCiAgICAoY29uZAogICAgICAobnVsbD8gYSkgZmFsc2UKICAgICAgKG51bWJlcj8gYSkgdHJ1ZQogICAgICB0cnVlIGZhbHNlKSkpCgoocHJpbnRsbiAiIikKKHByaW50bG4gIm51bWJlcl8/IikKCihkZWYgZmlyc3Qtc3ViLWV4cAogIChmbiBbYWV4cF0KICAgIChmaXJzdCAocmVzdCBhZXhwKSkpKQoKKHByaW50bG4gIiIpCihwcmludGxuICJmaXJzdC1zdWItZXhwIikKCgooZGVmIHNlY29uZC1zdWItZXhwCiAgKGZuIFthZXhwXQo7ICAgIChwcmludGxuICJzZWNvbmQtc3ViLWV4cCAiIGFleHApCiAgICAoZmlyc3QgKHJlc3QgKHJlc3QgYWV4cCkpKSkpCgoocHJpbnRsbiAiIikKKHByaW50bG4gInNlY29uZC1zdWItZXhwIikKCihkZWYgb3BlcmF0b3IKICAoZm4gW2FleHBdCiAgICAoZmlyc3QgYWV4cCkpKQoKKHByaW50bG4gIiIpCihwcmludGxuICJvcGVyYXRvciIpCgo7KHVzZSAnY2xvanVyZS5tYXRoLm51bWVyaWMtdG93ZXIpCgooZGVmIHZhbHVlCiAgKGZuIFthZXhwXQogICAgOyhwcmludGxuICJ2YWx1ZSAiIGFleHApCiAgICAoY29uZAogICAgICAobnVtYmVyXz8gYWV4cCkgYWV4cAogICAgICAoPSAob3BlcmF0b3IgYWV4cCkgJysgKSAoKyAodmFsdWUgKGZpcnN0LXN1Yi1leHAgYWV4cCkpICh2YWx1ZSAgKHNlY29uZC1zdWItZXhwIGFleHApKSkKICAgICAgKD0gKG9wZXJhdG9yIGFleHApICcqICkgKCogKHZhbHVlIChmaXJzdC1zdWItZXhwIGFleHApKSAodmFsdWUgKHNlY29uZC1zdWItZXhwIGFleHApKSkKOyAgICAgICg9IChvcGVyYXRvciBhZXhwKSAnZXhwICkgKGV4cHQgKHZhbHVlIChmaXJzdC1zdWItZXhwIGFleHApKSAodmFsdWUgKHNlY29uZC1zdWItZXhwIGFleHApKSkKICAgICAgKSkpCgoocHJpbnRsbiAiIikKKHByaW50bG4gInZhbHVlIikKKHByaW50bG4gKHZhbHVlICcoKyAxIDEpKSkKOy8vPT4yCiAgCihkZWYgYXRvbS10by1mdW5jdGlvbgogIChmbiBbeF0KICAgIChjb25kCiAgICAgICg9IHggJysgKSArCiAgICAgICg9IHggJyogKSAqCiAgICAgIDsoPSB4ICdleHAgKSBleHB0IAogICAgICApKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAiYXRvbS10by1mdW5jdGlvbiIpCgoKKGRlZiB2YWx1ZQogIChmbiBbYWV4cF0KOyAgICAocHJpbnRsbiAidmFsdWUgIiBhZXhwKQogICAgKGNvbmQKICAgICAgKG51bWJlcl8/IGFleHApIGFleHAKICAgICAgdHJ1ZSAoKGF0b20tdG8tZnVuY3Rpb24gKG9wZXJhdG9yIGFleHApKQogICAgICAgICAgICAgKHZhbHVlIChmaXJzdC1zdWItZXhwIGFleHApKQogICAgICAgICAgICAgKHZhbHVlIChzZWNvbmQtc3ViLWV4cCBhZXhwKSkpKSkpCgoocHJpbnRsbiAiIikKKHByaW50bG4gInZhbHVlIHNpbXBsaWZpZWQiKQoKKHByaW50bG4gKHZhbHVlICcoKyAxIDEpKSkKOy8vPT4gMgoKKGRlZiBtZW1iZXI/CiAgKGZuIFthIGxhdF0KICAgIChjb25kCiAgICAgIChudWxsPyBsYXQpIGZhbHNlCiAgICAgIHRydWUgKG9yCiAgICAgICAgKD0gKGZpcnN0IGxhdCkgYSkKICAgICAgICAobWVtYmVyPyBhIChyZXN0IGxhdCkpKSkgKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAibWVtYmVyPyIpCgoKKGRlZiBzdWJzZXQ/CiAgKGZuIFtzZXQxIHNldDJdCiAgICAoY29uZAogICAgICAobnVsbD8gc2V0MSkgdHJ1ZQogICAgICB0cnVlIChhbmQKICAgICAgICAgICAgIChtZW1iZXI/IChmaXJzdCBzZXQxKSBzZXQyKSAKICAgICAgICAgICAgIChzdWJzZXQ/IChyZXN0IHNldDEpIHNldDIpKSkpKQoKKHByaW50bG4gIiIpCihwcmludGxuICJzdWJzZXQ/IikKCihwcmludGxuIChzdWJzZXQ/ICcoYSBiIGMpICcoYiBjIGQpKSkKOy8vPT5mYWxzZQoocHJpbnRsbiAoc3Vic2V0PyAnKGIgYykgJyhiIGMgZCkpKQo7Ly89PnRydWUKCgooZGVmIGludGVyc2VjdD8KICAoZm4gW3NldDEgc2V0Ml0KICAgIChjb25kCiAgICAgIChudWxsPyBzZXQxKSBmYWxzZQogICAgICB0cnVlIChvciAKICAgICAgICAgICAgIChtZW1iZXI/IChmaXJzdCBzZXQxKSBzZXQyKQogICAgICAgICAgICAgKGludGVyc2VjdD8gKHJlc3Qgc2V0MSkgc2V0MikpKSkpCgoocHJpbnRsbiAiIikKKHByaW50bG4gImludGVyc2VjdD8iKQoKKHByaW50bG4gKGludGVyc2VjdD8gJyhhIGIgYykgJyhiIGMgZCkpKQo7Ly89PnRydWUKCihkZWYgc2V0LWY/CiAgKGZuIFtsb2dpY2FsPyBjb25zdF0KICAgIChmbiBbc2V0MSBzZXQyXQogICAgICAoY29uZAogICAgICAgIChudWxsPyBzZXQxKSBjb25zdAogICAgICAgIHRydWUgKGxvZ2ljYWw/IAogICAgICAgICAgICAgICAobWVtYmVyPyAoZmlyc3Qgc2V0MSkgc2V0MikKICAgICAgICAgICAgICAgKChzZXQtZj8gbG9naWNhbD8gY29uc3QpIChyZXN0IHNldDEpIHNldDIpKSkpKSkKCjsoZGVmIHN1YnNldD8gKHNldC1mPyBhbmQgdHJ1ZSkpCjsoZGVmIGludGVyc2VjdD8gKHNldC1mPyBvciBuaWwpKQo7IG5vdGUgLSBkb2Vzbid0IHdvcmsgeWV0CgooZGVmIGFuZC1wcmltZQogIChmbiBbeCB5XQogICAgKGFuZCB4IHkpKSkKCihkZWYgb3ItcHJpbWUKICAoZm4gW3ggeV0KICAgIChvciB4IHkpKSkKOyBzdGlsbCBkb2Vzbid0IHdvcmsKCihkZWYgb3ItcHJpbWUKICAoZm4gW3ggc2V0MSBzZXQyXQogICAgKG9yIHggKGludGVyc2VjdD8gKHJlc3Qgc2V0MSkgc2V0MikpKSkKCihkZWYgYW5kLXByaW1lCiAgKGZuIFt4IHNldDEgc2V0Ml0KICAgIChhbmQgeCAoc3Vic2V0PyAocmVzdCBzZXQxKSBzZXQyKSkpKQoKKGRlZiBtZW1iZXI/CiAgKGZuIFthIGxhdF0KICAgIChjb25kCiAgICAgIChudWxsPyBsYXQpIGZhbHNlCiAgICAgIHRydWUgKG9yCiAgICAgICAgKD0gKGZpcnN0IGxhdCkgYSkKICAgICAgICAobWVtYmVyPyBhIChyZXN0IGxhdCkpKSkgKSkKCihkZWYgc2V0LWY/CiAgKGZuIFtsb2dpY2FsPyBjb25zdF0KICAgIChmbiBbc2V0MSBzZXQyXQogICAgICAoY29uZAogICAgICAgIChudWxsPyBzZXQxKSBjb25zdAogICAgICAgIHRydWUgKGxvZ2ljYWw/IAogICAgICAgICAgICAgICAobWVtYmVyPyAoZmlyc3Qgc2V0MSkgc2V0MikKICAgICAgICAgICAgICAgc2V0MSBzZXQyKSkpKSkKO3Jld3JpdHRlbgoKKGRlZiBpbnRlcnNlY3Q/IChzZXQtZj8gb3ItcHJpbWUgZmFsc2UpKQooZGVmIHN1YnNldD8gKHNldC1mPyBhbmQtcHJpbWUgdHJ1ZSkpCgoocHJpbnRsbiAoaW50ZXJzZWN0PyAgJyh0b2FzdGVkIGJhbmFuYSBicmVhZCkgJyhicmVha2Zhc3QgdG9hc3RlZCBiYW5hbmEgYnJlYWQgd2l0aCBidXR0ZXIgZm9yIGJyZWFrZmFzdCkpKQo7Ly89PnRydWUKKHByaW50bG4gKHN1YnNldD8gJyhiYW5hbmEgYnV0dGVyKSAnKGJyZWFrZmFzdCB0b2FzdGVkIGJhbmFuYSBicmVhZCB3aXRoIGJ1dHRlciBmb3IgYnJlYWtmYXN0KSkpCjsvLz0+dHJ1ZQoKO3JlZmFjdG9yZWQgdG8gcmVtb3ZlIGlubmVyIGNvbmQKKGRlZiBtdWx0aXJlbWJlcgogIChmbiBbYSBsYXRdCiAgICAoY29uZAogICAgICAobnVsbD8gbGF0KSAnKCkKICAgICAgKD0gKGZpcnN0IGxhdCkgYSkgKG11bHRpcmVtYmVyIGEgKHJlc3QgbGF0KSkKICAgICAgdHJ1ZSAoY29ucyAoZmlyc3QgbGF0KSAobXVsdGlyZW1iZXIgYSAocmVzdCBsYXQpKSkpKSkKCihwcmludGxuIChtdWx0aXJlbWJlciAnYnJlYWtmYXN0ICcoYnJlYWtmYXN0IHRvYXN0ZWQgYmFuYW5hIGJyZWFkIHdpdGggYnV0dGVyIGZvciBicmVha2Zhc3QpKSkKOy8vPT4odG9hc3RlZCBiYW5hbmEgYnJlYWQgd2l0aCBidXR0ZXIgZm9yKQoKKGRlZiBtcmVtYmVyLWN1cnJ5CiAgKGZuIFtsXQogICAgKG11bHRpcmVtYmVyICdjdXJyeSBsKSkpCgoocHJpbnRsbiAobXJlbWJlci1jdXJyeSAnKGN1cnJ5IGNoaWNrZW4gd2l0aCBjdXJyeSByaWNlKSkpCjsvLz0+KGNoaWNrZW4gd2l0aCByaWNlKQoKCjsgbm93IHdlJ3ZlIHJld3JpdHRlbiBpdCB0byBhc2sgdGhyZWUgcXVlc3Rpb25zCihkZWYgbXJlbWJlci1jdXJyeQogIChmbiBbbF0KICAgIChjb25kCiAgICAgIChudWxsPyBsKSAnKCkKICAgICAgKD0gKGZpcnN0IGwpICdjdXJyeSkgKG1yZW1iZXItY3VycnkgKHJlc3QgbCkpCiAgICAgIHRydWUgKGNvbnMgKGZpcnN0IGwpIChtcmVtYmVyLWN1cnJ5IChyZXN0IGwpKSkpKSkKCihwcmludGxuIChtcmVtYmVyLWN1cnJ5ICcoY3VycnkgY2hpY2tlbiB3aXRoIGN1cnJ5IHJpY2UpKSkKOy8vPT4oY2hpY2tlbiB3aXRoIHJpY2UpCgo7IG5vdyB3ZSdyZSByZXdyaXRpbmcgaXQgdG8gcmV0dXJuIGEgY3VycmllZCBmdW5jdGlvbgooZGVmIGN1cnJ5LW1ha2VyCiAgKGZuIFtmdXR1cmVdCiAgICAoZm4gW2xdCiAgICAgIChjb25kCiAgICAgICAgKG51bGw/IGwpICcoKQogICAgICAgICg9IChmaXJzdCBsKSAnY3VycnkpICgoY3VycnktbWFrZXIgZnV0dXJlKSAocmVzdCBsKSkKICAgICAgICB0cnVlIChjb25zIChmaXJzdCBsKSAoKGN1cnJ5LW1ha2VyIGZ1dHVyZSkgKHJlc3QgbCkpKSkpKSkKCihkZWYgbXJlbWJlci1jdXJyeSAoY3VycnktbWFrZXIgMCkpCgo7Ly89PihjaGlja2VuIHdpdGggcmljZSkKCjsgdGhpcyBjb3VsZCBiZSBhIHNwaW4tb3V0CihkZWYgbXJlbWJlci1jdXJyeQogIChjdXJyeS1tYWtlciBjdXJyeS1tYWtlcikpCihwcmludGxuIChtcmVtYmVyLWN1cnJ5ICcoY3VycnkgY2hpY2tlbiB3aXRoIGN1cnJ5IHJpY2UpKSkKOy8vPT4oY2hpY2tlbiB3aXRoIHJpY2UpCgo7IGllIGN1cnJ5LW1ha2VyIGlzIG5vdCBzcGVjaWZpYyB0byB0aGlzIGZ1bmN0aW9uCgooZGVmIGZ1bmN0aW9uLW1ha2VyCiAgKGZuIFtmdXR1cmVdCiAgICAoZm4gW2xdCiAgICAgIChjb25kCiAgICAgICAgKG51bGw/IGwpICcoKQogICAgICAgICg9IChmaXJzdCBsKSAnY3VycnkpICgoZnV0dXJlIGZ1dHVyZSkgKHJlc3QgbCkpCiAgICAgICAgdHJ1ZSAoY29ucyAoZmlyc3QgbCkgKChmdXR1cmUgZnV0dXJlKSAocmVzdCBsKSkpKSkpKQoKO2ZvciB5aWVsZGluZyBtcmVtYmVyLWN1cnJ5IHdoZW4gYXBwbGllZCB0byBhIGZjdW50aW9uCgo7CihkZWYgbXJlbWJlci1jdXJyeQogIChmdW5jdGlvbi1tYWtlciBmdW5jdGlvbi1tYWtlcikpCihwcmludGxuIChtcmVtYmVyLWN1cnJ5ICcoY3VycnkgY2hpY2tlbiB3aXRoIGN1cnJ5IHJpY2UpKSkKOy8vPT4oY2hpY2tlbiB3aXRoIHJpY2UpCgoKO3NvIChmdXR1cmUgZnV0dXJlKSBpcyB0aGUgc2FtZSBhcyAoZnVuY3Rpb24tbWFrZXIgZnVuY3Rpb24tbWFrZXIpCjthbmQgbXJlbWJlci1jdXJyeSBkb2Vzbid0IGFjdHVhbGx5IG5lZWQgYSBuYW1lIC0gaXQgY2FuIGJlIGFub255bW91cwo7bm8gcmVjdXJzaXZlIGZ1bmN0aW9uIG5lZWRzIHRvIGJlIGdpdmVuIGEgbmFtZSB3aXRoIGRlZgo7c28gZm9yIGFkZDEgLSB3ZSBkb24ndCBuZWVkIHRoZSAoZGVmLCB3ZSBjb3VsZCBqdXN0IHN0YXJ0IHdpdGggdGhlIChmbgo7IHRoaXMgaW1wbGllcyB0aGF0IChmbiBbeF0gKGFkZDEgeCkpIGNhbiBiZSByZXBsYWNlZCBieSAoZm4gW3hdICgoZm4gW3hdIChhZGQxIHgpKSB4KSkKCihkZWYgZnVuY3Rpb24tbWFrZXIKICAoZm4gW2Z1dHVyZV0KICAgIChmbiBbbF0KICAgICAgKGNvbmQKICAgICAgICAobnVsbD8gbCkgJygpCiAgICAgICAgKD0gKGZpcnN0IGwpICdjdXJyeSkgKChmbiBbYXJnXSAoKGZ1dHVyZSBmdXR1cmUpIGFyZykpIChyZXN0IGwpKQogICAgICAgIHRydWUgKGNvbnMgKGZpcnN0IGwpICgoZm4gW2FyZ10gKChmdXR1cmUgZnV0dXJlKSBhcmcpKSAocmVzdCBsKSkpKSkpKQoKKGRlZiBtcmVtYmVyLWN1cnJ5CiAgKGZ1bmN0aW9uLW1ha2VyIGZ1bmN0aW9uLW1ha2VyKSkKKHByaW50bG4gKG1yZW1iZXItY3VycnkgJyhjdXJyeSBjaGlja2VuIHdpdGggY3VycnkgcmljZSkpKQo7Ly89PihjaGlja2VuIHdpdGggcmljZSkKCgo7bm93IHdlJ2xsIGFkZCBhbiBleHRyYSBmdW5jdGlvbgooZGVmIGZ1bmN0aW9uLW1ha2VyCiAgKGZuIFtmdXR1cmVdCiAgICAoKGZuIFtyZWNmdW5dCiAgICAgIChmbiBbbF0KICAgICAgICAoY29uZAogICAgICAgICAgKG51bGw/IGwpICcoKQogICAgICAgICAgKD0gKGZpcnN0IGwpICdjdXJyeSkgKHJlY2Z1biAocmVzdCBsKSkKICAgICAgICB0cnVlIChjb25zIChmaXJzdCBsKSAoKGZ1dHVyZSBmdXR1cmUpKSkpKSkKICAgIChmbiBbYXJnXSAoKGZ1dHVyZSBmdXR1cmUpIGFyZykpKSkpCjthYnN0cmFjdGlvbiBhYm92ZSB0byByZW1vdmUgbAo7IGp1c3QgdGFrZSBteSB3b3JkIG9uIHRoaXMgZm9yIG5vdwoKCgo7IG5vdyB3ZSdsbCBzcGxpdCBpdCB1cCBpbnRvIHR3byBmdW5jdGlvbnMKKGRlZiBNCiAgKGZuIFtyZWNmdW5dCiAgICAoZm4gW2xdCiAgICAgIChjb25kCiAgICAgICAgKG51bGw/IGwpICcoKQogICAgICAgICg9IChmaXJzdCBsKSAnY3VycnkpIChyZWNmdW4gKHJlc3QgbCkpCiAgICAgICAgdHJ1ZSAoY29ucyAoZmlyc3QgbCkgKHJlY2Z1biAocmVzdCBsKSkpKSkpKQoKKGRlZiBmdW5jdGlvbi1tYWtlcgogIChmbiBbZnV0dXJlXQogICAgKE0gKGZuIFthcmddCiAgICAgICAgICgoZnV0dXJlIGZ1dHVyZSkgYXJnKSkpKSkKCgo7Tm93IHdlJ2xsIGNoYW5nZSB0aGlzCihkZWYgbXJlbWJlci1jdXJyeQogIChmdW5jdGlvbi1tYWtlciBmdW5jdGlvbi1tYWtlcikpCjt0byB0aGlzCihkZWYgbXJlbWJlci1jdXJyeQogICgoZm4gW2Z1dHVyZV0KICAgICAoTSAoZm4gW2FyZ10KICAgICAgICAgICgoZnV0dXJlIGZ1dHVyZSkgYXJnKSkpKQogICAgKGZuIFtmdXR1cmVdCiAgICAgIChNIChmbiBbYXJnXQogICAgICAgICAgICgoZnV0dXJlIGZ1dHVyZSkgYXJnKSkpKSkpCgo7IG5vdyB3ZSdsbCBwYXNzIGluIE0gYXMgYSBmdW5jdGlvbgooZGVmIFkKICAoZm4gW01dCiAgICAoKGZuIFtmdXR1cmVdCiAgICAgICAoTSAoZm4gW2FyZ10KICAgICAgICAgICAgKChmdXR1cmUgZnV0dXJlKSBhcmcpKSkpCiAgICAgIChmbiBbZnV0dXJlXQogICAgICAgIChNIChmbiBbYXJnXQogICAgICAgICAgICAgKChmdXR1cmUgZnV0dXJlKSBhcmcpKSkpKSkpCgooZGVmIG1yZW1iZXItY3VycnkgKFkgTSkpCgoocHJpbnRsbiAobXJlbWJlci1jdXJyeSAnKGN1cnJ5IGNoaWNrZW4gd2l0aCBjdXJyeSByaWNlKSkpCjsvLz0+KGNoaWNrZW4gd2l0aCByaWNlKQoKO3VzaW5nIGFkZDEgZnJvbSBjaGFwdGVyIDcgbm90IGNoYXB0ZXIgNAooZGVmIGFkZDEKICAoZm4gW25dCiAgICAoY29ucyAnKCkgbikpKQoKOyBub3cgd2UnbGwgbG9vayBhdCB1c2luZyB0aGUgeS1jb21iaW5hdG9yIHRvIGxvb2sgYXQgdGhlIGxlbmd0aCBvZiBhIGxpc3QKKGRlZiBMCiAgKGZuIFtyZWNmdW5dCiAgICAoZm4gW2xdCiAgICAgIChjb25kCiAgICAgICAgKG51bGw/IGwpICcoKQogICAgICAgIHRydWUgKGFkZDEgKHJlY2Z1biAocmVzdCBsKSkpKSkpKQoKKGRlZiBsZW5ndGggKFkgTCkpCgoocHJpbnRsbiAobGVuZ3RoICcoY3VycnkgY2hpY2tlbiB3aXRoIGN1cnJ5IHJpY2UpKSkKOy8vPT4oKCkgKCkgKCkgKCkgKCkpIGllIDUKCjtzdHJhbmdlbHkgZW5vdWdoIHdlIHN3aXRjaCBvdXIgZGVmaW5pdGlvbiBvZiBhZGQxIHRvIHRoZSBkZWZpbml0aW9uIGZyb20gY2hhcHRlciA0CihkZWYgYWRkMQogIChmbiBbbl0KICAgICgrIDEgbikpKQoKO2p1c3QgZm9yIHRoZSBzYWtlIG9mIGl0IC0gd2UnbGwgcmV3cml0ZSBsZW5ndGggd2l0aG91dCB0aGUgTCBmdW5jdGlvbgooZGVmIGxlbmd0aAogIChZCiAgICAoZm4gW3JlY2Z1bl0KICAgICAgKGZuIFtsXQogICAgICAgIChjb25kCiAgICAgICAgICAobnVsbD8gbCkgMAogICAgICAgICAgdHJ1ZSAoYWRkMSAocmVjZnVuIChyZXN0IGwpKSkpKSkpKQoKKHByaW50bG4gKGxlbmd0aCAnKGN1cnJ5IGNoaWNrZW4gd2l0aCBjdXJyeSByaWNlKSkpCjsvLz0+NQoKO25vdyB3ZSdsbCBkZWZpbmUgbGVuZ3RoIHdpdGhvdXQgWSBvciBMCihkZWYgbGVuZ3RoCiAgKChmbiBbTV0KICAgICAoKGZuIFtmdXR1cmVdCiAgICAgICAgKE0gKGZuIFthcmddCiAgICAgICAgICAgICAoKGZ1dHVyZSBmdXR1cmUpIGFyZykpKSkKICAgICAoZm4gW2Z1dHVyZV0KICAgICAgIChNIChmbiBbYXJnXQogICAgICAgICAgICAoKGZ1dHVyZSBmdXR1cmUpIGFyZykpKSkpKQogICAgKGZuIFtyZWNmdW5dCiAgICAgIChmbiBbbF0KICAgICAgICAoY29uZAogICAgICAgICAgKG51bGw/IGwpIDAKICAgICAgICAgIHRydWUgKGFkZDEgKHJlY2Z1biAocmVzdCBsKSkpKSkpKSkKCihwcmludGxuIChsZW5ndGggJyhjdXJyeSBjaGlja2VuIHdpdGggY3VycnkgcmljZSkpKQo7Ly89PjUKOy0tLS0KO2V4ZXJjaXNlIDkuOCBhbmQgOS4xMAo7LS0tLS0KCjtidWlsZGluZyBhIHBhaXIgd2l0aCBhbiBTLWV4cHJlc3Npb24gYW5kIGEgdGh1bmsgbGVhZHMgdG8gYSBzdHJlYW0KKGRlZiBmaXJzdCQgZmlyc3QpCgooZGVmIHNlY29uZCQKICAoZm4gW3N0cl0KICAgICgoc2Vjb25kIHN0cikpKSkKCjsgY2FyZWZ1bCByZSB1c2Ugb2YgZmlyc3QgYW5kIHNlY29uZCBoZXJlIC0gYXMgeWV0IHVuZGVmaW5lZCEKCihkZWYgYnVpbGQKICAoZm4gW2EgYl0KICAgIChjb25kCiAgICAgIHRydWUgKGNvbnMgYSAoY29ucyBiICcoKSkpKSkpCgooZGVmIHN0ci1tYWtlcgogIChmbiBbbmV4dCBuXQogICAgKGJ1aWxkIG4gKGZuIFtdIChzdHItbWFrZXIgbmV4dCAobmV4dCBuKSkpKSkpCgooZGVmIGludF8gKHN0ci1tYWtlciBhZGQxIDApKQoKKGRlZiBldmVuIChzdHItbWFrZXIgKGZuIFtuXSAoKyAyIG4pKSAwKSkKCjtzdWIxIGZyb20gY2hhcHRlciA0CihkZWYgc3ViMQogIChmbiBbbl0KICAgICgtIG4gMSkpKQoKKGRlZiBmcm9udGllcgogIChmbiBbc3RyIG5dCiAgICAoY29uZAogICAgICAoemVybz8gbikgJygpCiAgICAgIHRydWUgKGNvbnMgKGZpcnN0JCBzdHIpIChmcm9udGllciAoc2Vjb25kJCBzdHIpIChzdWIxIG4pKSkpKSkKCihmcm9udGllciBpbnRfIDEwKQo7Ly89PigwIDEgMiAzIDQgNSA2IDcgOCA5KQo7IDkuMTAKCgooZGVmIFEKICAoZm4gW3N0ciBuXQogICAgKGNvbmQKICAgICAgKHplcm8/IChyZW0gKGZpcnN0JCBzdHIpIG4pKSAoUSAoc2Vjb25kJCBzdHIpIG4pCiAgICAgIHRydWUgKGJ1aWxkIChmaXJzdCQgc3RyKSAoZm4gW10gKFEgKHNlY29uZCQgc3RyKSBuKSkpKSkpCjsgbm90ZSBuZXcgZnVuY3Rpb24gY2FsbCByZW0gLSByZSBuZXcgcHJpbWl0dmUKCihkZWYgUAogIChmbiBbc3RyXQogICAgKGJ1aWxkIChmaXJzdCQgc3RyKSAoZm4gW10gKFAgKFEgc3RyIChmaXJzdCQgc3RyKSkpKSkpKQoKKGZyb250aWVyIChQIChzZWNvbmQkIChzZWNvbmQkIGludF8pKSkgMTApCjsvLz0+KDIgMyA1IDcgMTEgMTMgMTcgMTkgMjMgMjkpCg==

Success #stdin #stdout 1.65s 220224KB

stdin

copy

Standard input is empty

stdout

copy

defined null? as a utility function

rember-f
(lemonade and (cake))

rember-f - refactored to remove redundant condition
(lemonade and (cake))

eq-c?
#<Chapter9LambdaTheUltimate$eq_QMARK__c$fn__27 Chapter9LambdaTheUltimate$eq_QMARK__c$fn__27@13785d3>
false
true

eq-salad?
false
true

rember-f with function arg
(salad is good)
(salad is good)

insertL with function arg
(a hot cup of creamy latte)

insertR with function arg
(new york cheese cake)

insertL with common definition
(a hot cup of creamy latte)

insertR with common definition
(new york cheese cake)

insertL with inline common definition
(a hot cup of creamy latte)

subst with inline common definition
(a hot cup of espresso)

subst with common definition
(a hot cup of espresso)

rember with common definition
(a cup of espresso)

number_?

first-sub-exp

second-sub-exp

operator

value
2

atom-to-function

value simplified
2

member?

subset?
false
true

intersect?
true
true
true
(toasted banana bread with butter for)
(chicken with rice)
(chicken with rice)
(chicken with rice)
(chicken with rice)
(chicken with rice)
(chicken with rice)
(() () () () ())
5
5

https://ideone.com/FCdfQ

language:

Clojure (clojure 1.10.0)

created:

visibility:

public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!

Discover > Sphere Engine API

Discover > IDE Widget

Choose your language