Ideone.com

download

; The Little Schemer in Clojure – Chapter 8 – Friends and Relations
; This is the code behind the page here: 
; http://j...content-available-to-author-only...e.com/blog/2012/09/07/the-little-schemer-in-clojure-chapter-8-friends-and-relations/
 
(ns Chapter8FriendsAndRelations)
 
; Big idea is set operations
 
(def atom?
  (fn [a]
    (not (seq? a))))
 
(def null?
  (fn [a]
    (or
      (nil? a)
      (= () a))))
 
; from Chapter 5
(def member?
  (fn [a lat]
    (cond
      (null? lat) false
      true (or
        (= (first lat) a)
        (member? a (rest lat)))) ))
 
; assumes implementation of member
(def set_?
  (fn [lat]
    (cond
      (null? lat) true
      true (cond
             (member? (first lat) (rest lat)) false
             true (set_? (rest lat))))))
 
(println "")
(println "set_?")
(println (set_? '(toasted banana bread with butter for breakfast)))
;//=>true
(println (set_? '(breakfast toasted banana bread with butter for breakfast)))
;//=>false
 
;simplified set
(def member
  (fn [lat]
    (cond
      (null? lat) true
      (member? (first lat) (rest lat)) false
      true (set? (rest lat)))))
 
(println "")
(println "set_? refactored")
(println (set_? '(toasted banana bread with butter for breakfast)))
;//=>true
(println (set_? '(breakfast toasted banana bread with butter for breakfast)))
;//=>false
 
 
(def makeset
  (fn [lat]
    (cond
      (null? lat) '()
      (member? (first lat) (rest lat)) (makeset (rest lat))
      true (cons (first lat) (makeset (rest lat))))))
 
(println "")
(println "makeset")
(println (makeset '(breakfast toasted banana bread with butter for breakfast)))
;//=> (toasted banana bread with butter for breakfast)
(println (set_? (makeset '(breakfast toasted banana bread with butter for breakfast))))
;//=>true
 
; now we'll refactor makeset using multirember from Chapter 5
(def multirember
  (fn [a lat]
    (cond
      (null? lat) '()
      true (cond
             (= (first lat) a) (multirember a (rest lat))
             true (cons (first lat) (multirember a (rest lat)))))))
 
(def makeset
  (fn [lat]
    (cond
      (null? lat) '()
      true (cons (first lat) (makeset (multirember (first lat) (rest lat)))))))
 
(println "")
(println "makeset - refactored with multirember")
(println (makeset '(breakfast toasted banana bread with butter for breakfast)))
;//=> (breakfast toasted banana bread with butter for)
; note other way around
(println (set_? (makeset '(breakfast toasted banana bread with butter for breakfast))))
;//=>true
 
(def subset?
  (fn [set1 set2]
    (cond
      (null? set1) true
      true (cond
             (member? (first set1) set2) (subset? (rest set1) set2)
             true false))))
 
(println "")
(println "subset ")
(println (subset? '(banana butter) '(breakfast toasted banana bread with butter for breakfast)))
;//=>true
(println (subset? '(banana butter) '(toasted banana bread with butter for breakfast)))
;//=>true
(println (subset? '(peanut butter) '(toasted banana bread with butter for breakfast)))
;//=>false
 
 
;refactor subset? to remove redundant second conditional
(def subset?
  (fn [set1 set2]
    (cond
      (null? set1) true
      (member? (first set1) set2) (subset? (rest set1) set2)
      true false)))
 
(println "")
(println "subset - refactored to remove redundant second cond")
(println (subset? '(banana butter) '(breakfast toasted banana bread with butter for breakfast)))
;//=>true
(println (subset? '(banana butter) '(toasted banana bread with butter for breakfast)))
;//=>true
(println (subset? '(peanut butter) '(toasted banana bread with butter for breakfast)))
;//=>false
 
; now we'll refactor subset? to better use the final trailing true condition
(def subset?
  (fn [set1 set2]
    (cond
      (null? set1) true
      true (and
             (member? (first set1) set2) 
             (subset? (rest set1) set2)))))
 
(println "")
(println "subset - refactored to use trailing true condition")
(println (subset? '(banana butter) '(breakfast toasted banana bread with butter for breakfast)))
;//=>true
(println (subset? '(banana butter) '(toasted banana bread with butter for breakfast)))
;//=>true
(println (subset? '(peanut butter) '(toasted banana bread with butter for breakfast)))
;//=>false
 
 
(def eqset?
  (fn [set1 set2]
    (cond
      (subset? set1 set2) (subset? set2 set1)
      true false)))
 
(println "")
(println "eqset?")
(println (eqset? '(toasted banana bread) '(breakfast toasted banana bread with butter for breakfast)))
;//=>false
(println (eqset? '(toasted banana bread) '(toasted banana bread)))
;//=>true
(println (subset? '(toasted peanut butter for breakfast) '(toasted banana bread )))
;//=>false
 
 
;refactor eqset? to have only one condition line
(def eqset?
  (fn [set1 set2]
    (cond
      true (and
             (subset? set1 set2) 
             (subset? set2 set1)))))
 
(println "")
(println "eqset? - refactored for only one condition line")
(println (eqset? '(toasted banana bread) '(breakfast toasted banana bread with butter for breakfast)))
;//=>false
(println (eqset? '(toasted banana bread) '(toasted banana bread)))
;//=>true
(println (subset? '(toasted peanut butter for breakfast) '(toasted banana bread )))
;//=>false
 
;refactor eqset? to have no condition line
(def eqset?
  (fn [set1 set2]
      (and
        (subset? set1 set2) 
        (subset? set2 set1))))
 
(println "")
(println "eqset? - refactored for no condition line")
(println (eqset? '(toasted banana bread) '(breakfast toasted banana bread with butter for breakfast)))
;//=>false
(println (eqset? '(toasted banana bread) '(toasted banana bread)))
;//=>true
(println (subset? '(toasted peanut butter for breakfast) '(toasted banana bread )))
;//=>false
 
 
(def intersect?
  (fn [set1 set2]
    (cond
      (null? set1) false
      true (cond
             (member? (first set1) set2) true
             true (intersect? (rest set1) set2)))))
 
(println "")
(println "intersect? ")
(println (intersect? '(toasted banana bread) '(breakfast toasted banana bread with butter for breakfast)))
;//=>true
(println (intersect? '(toasted banana bread) '(toasted banana bread)))
;//=>true
(println (intersect? '(toasted peanut butter for breakfast) '(toasted banana bread )))
;//=>true
(println (intersect? '(strawberry yoghurt) '(toasted banana bread )))
;//=>false
 
; now we'll refactor intersect? to remove the redundant second cond
(def intersect?
  (fn [set1 set2]
    (cond
      (null? set1) false
      (member? (first set1) set2) true
      true (intersect? (rest set1) set2))))
 
(println "")
(println "intersect? refactored to remove redundant second cond")
(println (intersect? '(toasted banana bread) '(breakfast toasted banana bread with butter for breakfast)))
;//=>true
(println (intersect? '(toasted banana bread) '(toasted banana bread)))
;//=>true
(println (intersect? '(toasted peanut butter for breakfast) '(toasted banana bread )))
;//=>true
(println (intersect? '(strawberry yoghurt) '(toasted banana bread )))
;//=>false
 
; now we'll refactor intersect to use or to reduce the number of conditions
(def intersect?
  (fn [set1 set2]
    (cond
      (null? set1) false
      true (or 
             (member? (first set1) set2)
             (intersect? (rest set1) set2)))))
 
(println "")
(println "intersect? refactored to remove redundant second cond")
(println (intersect? '(toasted banana bread) '(breakfast toasted banana bread with butter for breakfast)))
;//=>true
(println (intersect? '(toasted banana bread) '(toasted banana bread)))
;//=>true
(println (intersect? '(toasted peanut butter for breakfast) '(toasted banana bread )))
;//=>true
(println (intersect? '(strawberry yoghurt) '(toasted banana bread )))
;//=>false
 
; now we'll actually extract out the intersection of the sets
(def intersect
  (fn [set1 set2]
    (cond
      (null? set1) '()
      (member? (first set1) set2) (cons (first set1) (intersect (rest set1) set2))
      true (intersect (rest set1) set2))))
 
(println "")
(println "intersect")
(println (intersect '(toasted banana bread) '(breakfast toasted banana bread with butter for breakfast)))
;//=>(toasted banana bread)
(println (intersect '(toasted peanut butter for breakfast) '(toasted banana bread )))
;//=>(toasted)
(println (intersect '(strawberry yoghurt) '(toasted banana bread )))
;//=>()
 
;now we'll refactor intersect to focus on filtering out non-members first
(def intersect
  (fn [set1 set2]
    (cond
      (null? set1) '()
      (not (member? (first set1) set2)) (intersect (rest set1) set2)
      true (cons (first set1) (intersect (rest set1) set2)))))
 
(println "")
(println "intersect")
(println (intersect '(toasted banana bread) '(breakfast toasted banana bread with butter for breakfast)))
;//=>(toasted banana bread)
(println (intersect '(toasted peanut butter for breakfast) '(toasted banana bread )))
;//=>(toasted)
(println (intersect '(strawberry yoghurt) '(toasted banana bread )))
;//=>()
 
(def union
  (fn [set1 set2]
    (cond
      (null? set1) set2
      (member? (first set1) set2) (union (rest set1) set2)
      true (cons (first set1) (union (rest set1) set2)))))
 
(println "")
(println "union")
(println (union '(toasted banana bread) '(breakfast toasted banana bread with butter for breakfast)))
;//=>(breakfast toasted banana bread with butter for breakfast)
;// note not a set since not given a set
(println (union '(toasted peanut butter for breakfast) '(toasted banana bread )))
;//=>(peanut butter for breakfast toasted banana bread)
(println (union '(strawberry yoghurt) '(toasted banana bread )))
;//=>(strawberry yoghurt toasted banana bread)
 
(def complement_
  (fn [set1 set2]
    (cond
      (null? set1) '()
      (member? (first set1) set2) (complement_ (rest set1) set2)
      true (cons (first set1) (complement_ (rest set1) set2)))))
 
(println "")
(println "complement_")
(println (complement_ '(toasted banana bread) '(breakfast toasted banana bread with butter for breakfast)))
;//=>()
(println (complement_ '(toasted peanut butter for breakfast) '(toasted banana bread )))
;//=>(peanut butter for breakfast)
(println (complement_ '(strawberry yoghurt) '(toasted banana bread )))
;//=>(strawberry yoghurt)
 
(def intersect-all
  (fn [l-set]
    (cond
      (null? (rest l-set)) (first l-set)
      true (intersect (first l-set) (intersect-all (rest l-set))))))
 
(println "")
(println "intersect-all")
(println (intersect-all 
           '(
              (toasted banana bread) 
              (breakfast toasted banana bread with butter for breakfast)
              (toasted peanut butter for breakfast) 
              (toasted banana bread ))))
;//=>(toasted)
 
;now we'll start with some functions for examining pairs
(def first_
  (fn [p]
    (cond
      true (first p))))
 
(println "")
(println "first_")
(println (first_ '(a b)))
;//=>a
 
(def second_
  (fn [p]
    (cond
      true (first (rest p)))))
 
(println "")
(println "second_")
(println (second_ '(a b)))
;//=>b
 
(def build
  (fn [a b]
    (cond
      true (cons a (cons b '())))))
 
(println "")
(println "build")
(println (build 'a 'b))
;//=>(a b)
 
(def third_
  (fn [p]
    (cond
      true (first (rest (rest p))))))
 
(println "")
(println "third_")
(println (third_ '(a b c)))
;//=>c
 
(def member*
  (fn [a l]
    (cond
      (null? l) '()
      (atom? (first l))
        (or
          (= (first l) a)
          (member* a (rest l)))
      true (or
        (member* a (first l))
        (member* a (rest l))))))
 
; now we'll test to see if this is a function
(comment waste of time if this doesnt' work
(def fun?
  (fn [rel]
    (println "fun? " rel)
    (cond
      (null? rel) true
      (member* (first_ (first rel)) (rest rel)) false
      true (fun? (rest rel)))))
 
(println "")
(println "fun?")
(println (fun? '((4 3)(4 2)(7 6)(6 2)(3 4))))
;//=>false
(println (fun? '((8 3)(4 2)(7 6)(6 2)(3 4))))
;//=>false - not quite correct yet
(println (fun? '((8 3)(4 2)(7 1)(6 0)(9 5))))
;//=>false - not quite correct yet
)
 
(def firsts
  (fn [l]
    (cond
      (empty? l) '()
      true (cons (first (first l))
        (firsts (rest l))))))
 
(println "")
(println "firsts")
(println (firsts '((8 3)(4 2)(7 6)(6 2)(3 4))))
;//=>(8 4 7 6 3)
 
(def fun?
  (fn [rel]
    (cond
      (null? rel) true
      (member? (first_ (first rel)) (firsts (rest rel))) false
      true (fun? (rest rel)))))
 
(println "")
(println "fun? - corrections")
(println (fun? '((4 3)(4 2)(7 6)(6 2)(3 4))))
;//=>false
(println (fun? '((8 3)(4 2)(7 6)(6 2)(3 4))))
;//=>true
(println (fun? '((8 3)(4 2)(7 1)(6 0)(9 5))))
;//=>true
 
 
(def fun?
  (fn [rel]
    (set? (firsts rel))))
 
(println "")
(println "fun? - refactored to use set? and firsts")
(println (fun? '((4 3)(4 2)(7 6)(6 2)(3 4))))
;//=>false
(println (fun? '((8 3)(4 2)(7 6)(6 2)(3 4))))
;//=>true
(println (fun? '((8 3)(4 2)(7 1)(6 0)(9 5))))
;//=>true
 
(def revrel
  (fn [rel]
    (cond
      (null? rel) '()
      true (cons
             (build
               (second_ (first rel))
               (first_ (first rel)))
             (revrel (rest rel))))))
 
(println "")
(println "revrel ")
(println (revrel '((4 3)(4 2)(7 6)(6 2)(3 4))))
;//=>((3 4) (2 4) (6 7) (2 6) (4 3))
(println (revrel '((8 3)(4 2)(7 6)(6 2)(3 4))))
;//=>((3 8) (2 4) (6 7) (2 6) (4 3))
(println (revrel '((8 3)(4 2)(7 1)(6 0)(9 5))))
;//=>((3 8) (2 4) (1 7) (0 6) (5 9))
 
;note there is a question about whether we've introduced seconds here or it was already somewhere earlier...               
(def seconds_
  (fn [l]
    (cond
      (null? l) '()
      true (cons (first (rest (first l)))
        (seconds_ (rest l))))))
 
(println "")
(println "seconds")
(println (seconds_ '((large burger)(fries coke)(chocolate sundae))))
;//=>(burger coke sundae)
(println (seconds_ '((8 3)(4 2)(7 1)(6 0)(9 5))))
;//=>(3 2 1 0 5)
 
 
(def fullfun?
  (fn [fun]
    (set_? (seconds_ fun))))
 
(println "")
(println "fullfun?")
(println (fullfun? '((4 3)(4 2)(7 6)(6 2)(3 4))))
;//=>false
(println (fullfun? '((8 3)(4 2)(7 6)(6 2)(3 4))))
;//=>false
(println (fullfun? '((8 3)(4 2)(7 1)(6 0)(9 5))))
;//=>true
 
(def one-to-one?
  (fn [fun]
    (fun? (revrel fun))))
 
(println "")
(println "one-to-one?")
(println (one-to-one? '((4 3)(4 2)(7 6)(6 2)(3 4))))
;//=>false
(println (one-to-one? '((8 3)(4 2)(7 6)(6 2)(3 4))))
;//=>false
(println (one-to-one? '((8 3)(4 2)(7 1)(6 0)(9 5))))
;//=>true

OyBUaGUgTGl0dGxlIFNjaGVtZXIgaW4gQ2xvanVyZSDigJMgQ2hhcHRlciA4IOKAkyBGcmllbmRzIGFuZCBSZWxhdGlvbnMKOyBUaGlzIGlzIHRoZSBjb2RlIGJlaGluZCB0aGUgcGFnZSBoZXJlOiAKOyBodHRwOi8vai4uLmNvbnRlbnQtYXZhaWxhYmxlLXRvLWF1dGhvci1vbmx5Li4uZS5jb20vYmxvZy8yMDEyLzA5LzA3L3RoZS1saXR0bGUtc2NoZW1lci1pbi1jbG9qdXJlLWNoYXB0ZXItOC1mcmllbmRzLWFuZC1yZWxhdGlvbnMvCgoobnMgQ2hhcHRlcjhGcmllbmRzQW5kUmVsYXRpb25zKQoKOyBCaWcgaWRlYSBpcyBzZXQgb3BlcmF0aW9ucwoKKGRlZiBhdG9tPwogIChmbiBbYV0KICAgIChub3QgKHNlcT8gYSkpKSkKCihkZWYgbnVsbD8KICAoZm4gW2FdCiAgICAob3IKICAgICAgKG5pbD8gYSkKICAgICAgKD0gKCkgYSkpKSkKCjsgZnJvbSBDaGFwdGVyIDUKKGRlZiBtZW1iZXI/CiAgKGZuIFthIGxhdF0KICAgIChjb25kCiAgICAgIChudWxsPyBsYXQpIGZhbHNlCiAgICAgIHRydWUgKG9yCiAgICAgICAgKD0gKGZpcnN0IGxhdCkgYSkKICAgICAgICAobWVtYmVyPyBhIChyZXN0IGxhdCkpKSkgKSkKCjsgYXNzdW1lcyBpbXBsZW1lbnRhdGlvbiBvZiBtZW1iZXIKKGRlZiBzZXRfPwogIChmbiBbbGF0XQogICAgKGNvbmQKICAgICAgKG51bGw/IGxhdCkgdHJ1ZQogICAgICB0cnVlIChjb25kCiAgICAgICAgICAgICAobWVtYmVyPyAoZmlyc3QgbGF0KSAocmVzdCBsYXQpKSBmYWxzZQogICAgICAgICAgICAgdHJ1ZSAoc2V0Xz8gKHJlc3QgbGF0KSkpKSkpCgoocHJpbnRsbiAiIikKKHByaW50bG4gInNldF8/IikKKHByaW50bG4gKHNldF8/ICcodG9hc3RlZCBiYW5hbmEgYnJlYWQgd2l0aCBidXR0ZXIgZm9yIGJyZWFrZmFzdCkpKQo7Ly89PnRydWUKKHByaW50bG4gKHNldF8/ICcoYnJlYWtmYXN0IHRvYXN0ZWQgYmFuYW5hIGJyZWFkIHdpdGggYnV0dGVyIGZvciBicmVha2Zhc3QpKSkKOy8vPT5mYWxzZQoKO3NpbXBsaWZpZWQgc2V0CihkZWYgbWVtYmVyCiAgKGZuIFtsYXRdCiAgICAoY29uZAogICAgICAobnVsbD8gbGF0KSB0cnVlCiAgICAgIChtZW1iZXI/IChmaXJzdCBsYXQpIChyZXN0IGxhdCkpIGZhbHNlCiAgICAgIHRydWUgKHNldD8gKHJlc3QgbGF0KSkpKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAic2V0Xz8gcmVmYWN0b3JlZCIpCihwcmludGxuIChzZXRfPyAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkIHdpdGggYnV0dGVyIGZvciBicmVha2Zhc3QpKSkKOy8vPT50cnVlCihwcmludGxuIChzZXRfPyAnKGJyZWFrZmFzdCB0b2FzdGVkIGJhbmFuYSBicmVhZCB3aXRoIGJ1dHRlciBmb3IgYnJlYWtmYXN0KSkpCjsvLz0+ZmFsc2UKCgooZGVmIG1ha2VzZXQKICAoZm4gW2xhdF0KICAgIChjb25kCiAgICAgIChudWxsPyBsYXQpICcoKQogICAgICAobWVtYmVyPyAoZmlyc3QgbGF0KSAocmVzdCBsYXQpKSAobWFrZXNldCAocmVzdCBsYXQpKQogICAgICB0cnVlIChjb25zIChmaXJzdCBsYXQpIChtYWtlc2V0IChyZXN0IGxhdCkpKSkpKQoKKHByaW50bG4gIiIpCihwcmludGxuICJtYWtlc2V0IikKKHByaW50bG4gKG1ha2VzZXQgJyhicmVha2Zhc3QgdG9hc3RlZCBiYW5hbmEgYnJlYWQgd2l0aCBidXR0ZXIgZm9yIGJyZWFrZmFzdCkpKQo7Ly89PiAodG9hc3RlZCBiYW5hbmEgYnJlYWQgd2l0aCBidXR0ZXIgZm9yIGJyZWFrZmFzdCkKKHByaW50bG4gKHNldF8/IChtYWtlc2V0ICcoYnJlYWtmYXN0IHRvYXN0ZWQgYmFuYW5hIGJyZWFkIHdpdGggYnV0dGVyIGZvciBicmVha2Zhc3QpKSkpCjsvLz0+dHJ1ZQoKOyBub3cgd2UnbGwgcmVmYWN0b3IgbWFrZXNldCB1c2luZyBtdWx0aXJlbWJlciBmcm9tIENoYXB0ZXIgNQooZGVmIG11bHRpcmVtYmVyCiAgKGZuIFthIGxhdF0KICAgIChjb25kCiAgICAgIChudWxsPyBsYXQpICcoKQogICAgICB0cnVlIChjb25kCiAgICAgICAgICAgICAoPSAoZmlyc3QgbGF0KSBhKSAobXVsdGlyZW1iZXIgYSAocmVzdCBsYXQpKQogICAgICAgICAgICAgdHJ1ZSAoY29ucyAoZmlyc3QgbGF0KSAobXVsdGlyZW1iZXIgYSAocmVzdCBsYXQpKSkpKSkpCgooZGVmIG1ha2VzZXQKICAoZm4gW2xhdF0KICAgIChjb25kCiAgICAgIChudWxsPyBsYXQpICcoKQogICAgICB0cnVlIChjb25zIChmaXJzdCBsYXQpIChtYWtlc2V0IChtdWx0aXJlbWJlciAoZmlyc3QgbGF0KSAocmVzdCBsYXQpKSkpKSkpCgoocHJpbnRsbiAiIikKKHByaW50bG4gIm1ha2VzZXQgLSByZWZhY3RvcmVkIHdpdGggbXVsdGlyZW1iZXIiKQoocHJpbnRsbiAobWFrZXNldCAnKGJyZWFrZmFzdCB0b2FzdGVkIGJhbmFuYSBicmVhZCB3aXRoIGJ1dHRlciBmb3IgYnJlYWtmYXN0KSkpCjsvLz0+IChicmVha2Zhc3QgdG9hc3RlZCBiYW5hbmEgYnJlYWQgd2l0aCBidXR0ZXIgZm9yKQo7IG5vdGUgb3RoZXIgd2F5IGFyb3VuZAoocHJpbnRsbiAoc2V0Xz8gKG1ha2VzZXQgJyhicmVha2Zhc3QgdG9hc3RlZCBiYW5hbmEgYnJlYWQgd2l0aCBidXR0ZXIgZm9yIGJyZWFrZmFzdCkpKSkKOy8vPT50cnVlCgooZGVmIHN1YnNldD8KICAoZm4gW3NldDEgc2V0Ml0KICAgIChjb25kCiAgICAgIChudWxsPyBzZXQxKSB0cnVlCiAgICAgIHRydWUgKGNvbmQKICAgICAgICAgICAgIChtZW1iZXI/IChmaXJzdCBzZXQxKSBzZXQyKSAoc3Vic2V0PyAocmVzdCBzZXQxKSBzZXQyKQogICAgICAgICAgICAgdHJ1ZSBmYWxzZSkpKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAic3Vic2V0ICIpCihwcmludGxuIChzdWJzZXQ/ICcoYmFuYW5hIGJ1dHRlcikgJyhicmVha2Zhc3QgdG9hc3RlZCBiYW5hbmEgYnJlYWQgd2l0aCBidXR0ZXIgZm9yIGJyZWFrZmFzdCkpKQo7Ly89PnRydWUKKHByaW50bG4gKHN1YnNldD8gJyhiYW5hbmEgYnV0dGVyKSAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkIHdpdGggYnV0dGVyIGZvciBicmVha2Zhc3QpKSkKOy8vPT50cnVlCihwcmludGxuIChzdWJzZXQ/ICcocGVhbnV0IGJ1dHRlcikgJyh0b2FzdGVkIGJhbmFuYSBicmVhZCB3aXRoIGJ1dHRlciBmb3IgYnJlYWtmYXN0KSkpCjsvLz0+ZmFsc2UKCgo7cmVmYWN0b3Igc3Vic2V0PyB0byByZW1vdmUgcmVkdW5kYW50IHNlY29uZCBjb25kaXRpb25hbAooZGVmIHN1YnNldD8KICAoZm4gW3NldDEgc2V0Ml0KICAgIChjb25kCiAgICAgIChudWxsPyBzZXQxKSB0cnVlCiAgICAgIChtZW1iZXI/IChmaXJzdCBzZXQxKSBzZXQyKSAoc3Vic2V0PyAocmVzdCBzZXQxKSBzZXQyKQogICAgICB0cnVlIGZhbHNlKSkpCgoocHJpbnRsbiAiIikKKHByaW50bG4gInN1YnNldCAtIHJlZmFjdG9yZWQgdG8gcmVtb3ZlIHJlZHVuZGFudCBzZWNvbmQgY29uZCIpCihwcmludGxuIChzdWJzZXQ/ICcoYmFuYW5hIGJ1dHRlcikgJyhicmVha2Zhc3QgdG9hc3RlZCBiYW5hbmEgYnJlYWQgd2l0aCBidXR0ZXIgZm9yIGJyZWFrZmFzdCkpKQo7Ly89PnRydWUKKHByaW50bG4gKHN1YnNldD8gJyhiYW5hbmEgYnV0dGVyKSAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkIHdpdGggYnV0dGVyIGZvciBicmVha2Zhc3QpKSkKOy8vPT50cnVlCihwcmludGxuIChzdWJzZXQ/ICcocGVhbnV0IGJ1dHRlcikgJyh0b2FzdGVkIGJhbmFuYSBicmVhZCB3aXRoIGJ1dHRlciBmb3IgYnJlYWtmYXN0KSkpCjsvLz0+ZmFsc2UKCjsgbm93IHdlJ2xsIHJlZmFjdG9yIHN1YnNldD8gdG8gYmV0dGVyIHVzZSB0aGUgZmluYWwgdHJhaWxpbmcgdHJ1ZSBjb25kaXRpb24KKGRlZiBzdWJzZXQ/CiAgKGZuIFtzZXQxIHNldDJdCiAgICAoY29uZAogICAgICAobnVsbD8gc2V0MSkgdHJ1ZQogICAgICB0cnVlIChhbmQKICAgICAgICAgICAgIChtZW1iZXI/IChmaXJzdCBzZXQxKSBzZXQyKSAKICAgICAgICAgICAgIChzdWJzZXQ/IChyZXN0IHNldDEpIHNldDIpKSkpKQoKKHByaW50bG4gIiIpCihwcmludGxuICJzdWJzZXQgLSByZWZhY3RvcmVkIHRvIHVzZSB0cmFpbGluZyB0cnVlIGNvbmRpdGlvbiIpCihwcmludGxuIChzdWJzZXQ/ICcoYmFuYW5hIGJ1dHRlcikgJyhicmVha2Zhc3QgdG9hc3RlZCBiYW5hbmEgYnJlYWQgd2l0aCBidXR0ZXIgZm9yIGJyZWFrZmFzdCkpKQo7Ly89PnRydWUKKHByaW50bG4gKHN1YnNldD8gJyhiYW5hbmEgYnV0dGVyKSAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkIHdpdGggYnV0dGVyIGZvciBicmVha2Zhc3QpKSkKOy8vPT50cnVlCihwcmludGxuIChzdWJzZXQ/ICcocGVhbnV0IGJ1dHRlcikgJyh0b2FzdGVkIGJhbmFuYSBicmVhZCB3aXRoIGJ1dHRlciBmb3IgYnJlYWtmYXN0KSkpCjsvLz0+ZmFsc2UKCgooZGVmIGVxc2V0PwogIChmbiBbc2V0MSBzZXQyXQogICAgKGNvbmQKICAgICAgKHN1YnNldD8gc2V0MSBzZXQyKSAoc3Vic2V0PyBzZXQyIHNldDEpCiAgICAgIHRydWUgZmFsc2UpKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAiZXFzZXQ/IikKKHByaW50bG4gKGVxc2V0PyAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkKSAnKGJyZWFrZmFzdCB0b2FzdGVkIGJhbmFuYSBicmVhZCB3aXRoIGJ1dHRlciBmb3IgYnJlYWtmYXN0KSkpCjsvLz0+ZmFsc2UKKHByaW50bG4gKGVxc2V0PyAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkKSAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkKSkpCjsvLz0+dHJ1ZQoocHJpbnRsbiAoc3Vic2V0PyAnKHRvYXN0ZWQgcGVhbnV0IGJ1dHRlciBmb3IgYnJlYWtmYXN0KSAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkICkpKQo7Ly89PmZhbHNlCgoKO3JlZmFjdG9yIGVxc2V0PyB0byBoYXZlIG9ubHkgb25lIGNvbmRpdGlvbiBsaW5lCihkZWYgZXFzZXQ/CiAgKGZuIFtzZXQxIHNldDJdCiAgICAoY29uZAogICAgICB0cnVlIChhbmQKICAgICAgICAgICAgIChzdWJzZXQ/IHNldDEgc2V0MikgCiAgICAgICAgICAgICAoc3Vic2V0PyBzZXQyIHNldDEpKSkpKQoKKHByaW50bG4gIiIpCihwcmludGxuICJlcXNldD8gLSByZWZhY3RvcmVkIGZvciBvbmx5IG9uZSBjb25kaXRpb24gbGluZSIpCihwcmludGxuIChlcXNldD8gJyh0b2FzdGVkIGJhbmFuYSBicmVhZCkgJyhicmVha2Zhc3QgdG9hc3RlZCBiYW5hbmEgYnJlYWQgd2l0aCBidXR0ZXIgZm9yIGJyZWFrZmFzdCkpKQo7Ly89PmZhbHNlCihwcmludGxuIChlcXNldD8gJyh0b2FzdGVkIGJhbmFuYSBicmVhZCkgJyh0b2FzdGVkIGJhbmFuYSBicmVhZCkpKQo7Ly89PnRydWUKKHByaW50bG4gKHN1YnNldD8gJyh0b2FzdGVkIHBlYW51dCBidXR0ZXIgZm9yIGJyZWFrZmFzdCkgJyh0b2FzdGVkIGJhbmFuYSBicmVhZCApKSkKOy8vPT5mYWxzZQoKO3JlZmFjdG9yIGVxc2V0PyB0byBoYXZlIG5vIGNvbmRpdGlvbiBsaW5lCihkZWYgZXFzZXQ/CiAgKGZuIFtzZXQxIHNldDJdCiAgICAgIChhbmQKICAgICAgICAoc3Vic2V0PyBzZXQxIHNldDIpIAogICAgICAgIChzdWJzZXQ/IHNldDIgc2V0MSkpKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAiZXFzZXQ/IC0gcmVmYWN0b3JlZCBmb3Igbm8gY29uZGl0aW9uIGxpbmUiKQoocHJpbnRsbiAoZXFzZXQ/ICcodG9hc3RlZCBiYW5hbmEgYnJlYWQpICcoYnJlYWtmYXN0IHRvYXN0ZWQgYmFuYW5hIGJyZWFkIHdpdGggYnV0dGVyIGZvciBicmVha2Zhc3QpKSkKOy8vPT5mYWxzZQoocHJpbnRsbiAoZXFzZXQ/ICcodG9hc3RlZCBiYW5hbmEgYnJlYWQpICcodG9hc3RlZCBiYW5hbmEgYnJlYWQpKSkKOy8vPT50cnVlCihwcmludGxuIChzdWJzZXQ/ICcodG9hc3RlZCBwZWFudXQgYnV0dGVyIGZvciBicmVha2Zhc3QpICcodG9hc3RlZCBiYW5hbmEgYnJlYWQgKSkpCjsvLz0+ZmFsc2UKCgooZGVmIGludGVyc2VjdD8KICAoZm4gW3NldDEgc2V0Ml0KICAgIChjb25kCiAgICAgIChudWxsPyBzZXQxKSBmYWxzZQogICAgICB0cnVlIChjb25kCiAgICAgICAgICAgICAobWVtYmVyPyAoZmlyc3Qgc2V0MSkgc2V0MikgdHJ1ZQogICAgICAgICAgICAgdHJ1ZSAoaW50ZXJzZWN0PyAocmVzdCBzZXQxKSBzZXQyKSkpKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAiaW50ZXJzZWN0PyAiKQoocHJpbnRsbiAoaW50ZXJzZWN0PyAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkKSAnKGJyZWFrZmFzdCB0b2FzdGVkIGJhbmFuYSBicmVhZCB3aXRoIGJ1dHRlciBmb3IgYnJlYWtmYXN0KSkpCjsvLz0+dHJ1ZQoocHJpbnRsbiAoaW50ZXJzZWN0PyAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkKSAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkKSkpCjsvLz0+dHJ1ZQoocHJpbnRsbiAoaW50ZXJzZWN0PyAnKHRvYXN0ZWQgcGVhbnV0IGJ1dHRlciBmb3IgYnJlYWtmYXN0KSAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkICkpKQo7Ly89PnRydWUKKHByaW50bG4gKGludGVyc2VjdD8gJyhzdHJhd2JlcnJ5IHlvZ2h1cnQpICcodG9hc3RlZCBiYW5hbmEgYnJlYWQgKSkpCjsvLz0+ZmFsc2UKCjsgbm93IHdlJ2xsIHJlZmFjdG9yIGludGVyc2VjdD8gdG8gcmVtb3ZlIHRoZSByZWR1bmRhbnQgc2Vjb25kIGNvbmQKKGRlZiBpbnRlcnNlY3Q/CiAgKGZuIFtzZXQxIHNldDJdCiAgICAoY29uZAogICAgICAobnVsbD8gc2V0MSkgZmFsc2UKICAgICAgKG1lbWJlcj8gKGZpcnN0IHNldDEpIHNldDIpIHRydWUKICAgICAgdHJ1ZSAoaW50ZXJzZWN0PyAocmVzdCBzZXQxKSBzZXQyKSkpKQoKKHByaW50bG4gIiIpCihwcmludGxuICJpbnRlcnNlY3Q/IHJlZmFjdG9yZWQgdG8gcmVtb3ZlIHJlZHVuZGFudCBzZWNvbmQgY29uZCIpCihwcmludGxuIChpbnRlcnNlY3Q/ICcodG9hc3RlZCBiYW5hbmEgYnJlYWQpICcoYnJlYWtmYXN0IHRvYXN0ZWQgYmFuYW5hIGJyZWFkIHdpdGggYnV0dGVyIGZvciBicmVha2Zhc3QpKSkKOy8vPT50cnVlCihwcmludGxuIChpbnRlcnNlY3Q/ICcodG9hc3RlZCBiYW5hbmEgYnJlYWQpICcodG9hc3RlZCBiYW5hbmEgYnJlYWQpKSkKOy8vPT50cnVlCihwcmludGxuIChpbnRlcnNlY3Q/ICcodG9hc3RlZCBwZWFudXQgYnV0dGVyIGZvciBicmVha2Zhc3QpICcodG9hc3RlZCBiYW5hbmEgYnJlYWQgKSkpCjsvLz0+dHJ1ZQoocHJpbnRsbiAoaW50ZXJzZWN0PyAnKHN0cmF3YmVycnkgeW9naHVydCkgJyh0b2FzdGVkIGJhbmFuYSBicmVhZCApKSkKOy8vPT5mYWxzZQoKOyBub3cgd2UnbGwgcmVmYWN0b3IgaW50ZXJzZWN0IHRvIHVzZSBvciB0byByZWR1Y2UgdGhlIG51bWJlciBvZiBjb25kaXRpb25zCihkZWYgaW50ZXJzZWN0PwogIChmbiBbc2V0MSBzZXQyXQogICAgKGNvbmQKICAgICAgKG51bGw/IHNldDEpIGZhbHNlCiAgICAgIHRydWUgKG9yIAogICAgICAgICAgICAgKG1lbWJlcj8gKGZpcnN0IHNldDEpIHNldDIpCiAgICAgICAgICAgICAoaW50ZXJzZWN0PyAocmVzdCBzZXQxKSBzZXQyKSkpKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAiaW50ZXJzZWN0PyByZWZhY3RvcmVkIHRvIHJlbW92ZSByZWR1bmRhbnQgc2Vjb25kIGNvbmQiKQoocHJpbnRsbiAoaW50ZXJzZWN0PyAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkKSAnKGJyZWFrZmFzdCB0b2FzdGVkIGJhbmFuYSBicmVhZCB3aXRoIGJ1dHRlciBmb3IgYnJlYWtmYXN0KSkpCjsvLz0+dHJ1ZQoocHJpbnRsbiAoaW50ZXJzZWN0PyAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkKSAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkKSkpCjsvLz0+dHJ1ZQoocHJpbnRsbiAoaW50ZXJzZWN0PyAnKHRvYXN0ZWQgcGVhbnV0IGJ1dHRlciBmb3IgYnJlYWtmYXN0KSAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkICkpKQo7Ly89PnRydWUKKHByaW50bG4gKGludGVyc2VjdD8gJyhzdHJhd2JlcnJ5IHlvZ2h1cnQpICcodG9hc3RlZCBiYW5hbmEgYnJlYWQgKSkpCjsvLz0+ZmFsc2UKCjsgbm93IHdlJ2xsIGFjdHVhbGx5IGV4dHJhY3Qgb3V0IHRoZSBpbnRlcnNlY3Rpb24gb2YgdGhlIHNldHMKKGRlZiBpbnRlcnNlY3QKICAoZm4gW3NldDEgc2V0Ml0KICAgIChjb25kCiAgICAgIChudWxsPyBzZXQxKSAnKCkKICAgICAgKG1lbWJlcj8gKGZpcnN0IHNldDEpIHNldDIpIChjb25zIChmaXJzdCBzZXQxKSAoaW50ZXJzZWN0IChyZXN0IHNldDEpIHNldDIpKQogICAgICB0cnVlIChpbnRlcnNlY3QgKHJlc3Qgc2V0MSkgc2V0MikpKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAiaW50ZXJzZWN0IikKKHByaW50bG4gKGludGVyc2VjdCAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkKSAnKGJyZWFrZmFzdCB0b2FzdGVkIGJhbmFuYSBicmVhZCB3aXRoIGJ1dHRlciBmb3IgYnJlYWtmYXN0KSkpCjsvLz0+KHRvYXN0ZWQgYmFuYW5hIGJyZWFkKQoocHJpbnRsbiAoaW50ZXJzZWN0ICcodG9hc3RlZCBwZWFudXQgYnV0dGVyIGZvciBicmVha2Zhc3QpICcodG9hc3RlZCBiYW5hbmEgYnJlYWQgKSkpCjsvLz0+KHRvYXN0ZWQpCihwcmludGxuIChpbnRlcnNlY3QgJyhzdHJhd2JlcnJ5IHlvZ2h1cnQpICcodG9hc3RlZCBiYW5hbmEgYnJlYWQgKSkpCjsvLz0+KCkKCjtub3cgd2UnbGwgcmVmYWN0b3IgaW50ZXJzZWN0IHRvIGZvY3VzIG9uIGZpbHRlcmluZyBvdXQgbm9uLW1lbWJlcnMgZmlyc3QKKGRlZiBpbnRlcnNlY3QKICAoZm4gW3NldDEgc2V0Ml0KICAgIChjb25kCiAgICAgIChudWxsPyBzZXQxKSAnKCkKICAgICAgKG5vdCAobWVtYmVyPyAoZmlyc3Qgc2V0MSkgc2V0MikpIChpbnRlcnNlY3QgKHJlc3Qgc2V0MSkgc2V0MikKICAgICAgdHJ1ZSAoY29ucyAoZmlyc3Qgc2V0MSkgKGludGVyc2VjdCAocmVzdCBzZXQxKSBzZXQyKSkpKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAiaW50ZXJzZWN0IikKKHByaW50bG4gKGludGVyc2VjdCAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkKSAnKGJyZWFrZmFzdCB0b2FzdGVkIGJhbmFuYSBicmVhZCB3aXRoIGJ1dHRlciBmb3IgYnJlYWtmYXN0KSkpCjsvLz0+KHRvYXN0ZWQgYmFuYW5hIGJyZWFkKQoocHJpbnRsbiAoaW50ZXJzZWN0ICcodG9hc3RlZCBwZWFudXQgYnV0dGVyIGZvciBicmVha2Zhc3QpICcodG9hc3RlZCBiYW5hbmEgYnJlYWQgKSkpCjsvLz0+KHRvYXN0ZWQpCihwcmludGxuIChpbnRlcnNlY3QgJyhzdHJhd2JlcnJ5IHlvZ2h1cnQpICcodG9hc3RlZCBiYW5hbmEgYnJlYWQgKSkpCjsvLz0+KCkKCihkZWYgdW5pb24KICAoZm4gW3NldDEgc2V0Ml0KICAgIChjb25kCiAgICAgIChudWxsPyBzZXQxKSBzZXQyCiAgICAgIChtZW1iZXI/IChmaXJzdCBzZXQxKSBzZXQyKSAodW5pb24gKHJlc3Qgc2V0MSkgc2V0MikKICAgICAgdHJ1ZSAoY29ucyAoZmlyc3Qgc2V0MSkgKHVuaW9uIChyZXN0IHNldDEpIHNldDIpKSkpKQoKKHByaW50bG4gIiIpCihwcmludGxuICJ1bmlvbiIpCihwcmludGxuICh1bmlvbiAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkKSAnKGJyZWFrZmFzdCB0b2FzdGVkIGJhbmFuYSBicmVhZCB3aXRoIGJ1dHRlciBmb3IgYnJlYWtmYXN0KSkpCjsvLz0+KGJyZWFrZmFzdCB0b2FzdGVkIGJhbmFuYSBicmVhZCB3aXRoIGJ1dHRlciBmb3IgYnJlYWtmYXN0KQo7Ly8gbm90ZSBub3QgYSBzZXQgc2luY2Ugbm90IGdpdmVuIGEgc2V0CihwcmludGxuICh1bmlvbiAnKHRvYXN0ZWQgcGVhbnV0IGJ1dHRlciBmb3IgYnJlYWtmYXN0KSAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkICkpKQo7Ly89PihwZWFudXQgYnV0dGVyIGZvciBicmVha2Zhc3QgdG9hc3RlZCBiYW5hbmEgYnJlYWQpCihwcmludGxuICh1bmlvbiAnKHN0cmF3YmVycnkgeW9naHVydCkgJyh0b2FzdGVkIGJhbmFuYSBicmVhZCApKSkKOy8vPT4oc3RyYXdiZXJyeSB5b2dodXJ0IHRvYXN0ZWQgYmFuYW5hIGJyZWFkKQoKKGRlZiBjb21wbGVtZW50XwogIChmbiBbc2V0MSBzZXQyXQogICAgKGNvbmQKICAgICAgKG51bGw/IHNldDEpICcoKQogICAgICAobWVtYmVyPyAoZmlyc3Qgc2V0MSkgc2V0MikgKGNvbXBsZW1lbnRfIChyZXN0IHNldDEpIHNldDIpCiAgICAgIHRydWUgKGNvbnMgKGZpcnN0IHNldDEpIChjb21wbGVtZW50XyAocmVzdCBzZXQxKSBzZXQyKSkpKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAiY29tcGxlbWVudF8iKQoocHJpbnRsbiAoY29tcGxlbWVudF8gJyh0b2FzdGVkIGJhbmFuYSBicmVhZCkgJyhicmVha2Zhc3QgdG9hc3RlZCBiYW5hbmEgYnJlYWQgd2l0aCBidXR0ZXIgZm9yIGJyZWFrZmFzdCkpKQo7Ly89PigpCihwcmludGxuIChjb21wbGVtZW50XyAnKHRvYXN0ZWQgcGVhbnV0IGJ1dHRlciBmb3IgYnJlYWtmYXN0KSAnKHRvYXN0ZWQgYmFuYW5hIGJyZWFkICkpKQo7Ly89PihwZWFudXQgYnV0dGVyIGZvciBicmVha2Zhc3QpCihwcmludGxuIChjb21wbGVtZW50XyAnKHN0cmF3YmVycnkgeW9naHVydCkgJyh0b2FzdGVkIGJhbmFuYSBicmVhZCApKSkKOy8vPT4oc3RyYXdiZXJyeSB5b2dodXJ0KQoKKGRlZiBpbnRlcnNlY3QtYWxsCiAgKGZuIFtsLXNldF0KICAgIChjb25kCiAgICAgIChudWxsPyAocmVzdCBsLXNldCkpIChmaXJzdCBsLXNldCkKICAgICAgdHJ1ZSAoaW50ZXJzZWN0IChmaXJzdCBsLXNldCkgKGludGVyc2VjdC1hbGwgKHJlc3QgbC1zZXQpKSkpKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAiaW50ZXJzZWN0LWFsbCIpCihwcmludGxuIChpbnRlcnNlY3QtYWxsIAogICAgICAgICAgICcoCiAgICAgICAgICAgICAgKHRvYXN0ZWQgYmFuYW5hIGJyZWFkKSAKICAgICAgICAgICAgICAoYnJlYWtmYXN0IHRvYXN0ZWQgYmFuYW5hIGJyZWFkIHdpdGggYnV0dGVyIGZvciBicmVha2Zhc3QpCiAgICAgICAgICAgICAgKHRvYXN0ZWQgcGVhbnV0IGJ1dHRlciBmb3IgYnJlYWtmYXN0KSAKICAgICAgICAgICAgICAodG9hc3RlZCBiYW5hbmEgYnJlYWQgKSkpKQo7Ly89Pih0b2FzdGVkKQoKO25vdyB3ZSdsbCBzdGFydCB3aXRoIHNvbWUgZnVuY3Rpb25zIGZvciBleGFtaW5pbmcgcGFpcnMKKGRlZiBmaXJzdF8KICAoZm4gW3BdCiAgICAoY29uZAogICAgICB0cnVlIChmaXJzdCBwKSkpKQoKKHByaW50bG4gIiIpCihwcmludGxuICJmaXJzdF8iKQoocHJpbnRsbiAoZmlyc3RfICcoYSBiKSkpCjsvLz0+YQoKKGRlZiBzZWNvbmRfCiAgKGZuIFtwXQogICAgKGNvbmQKICAgICAgdHJ1ZSAoZmlyc3QgKHJlc3QgcCkpKSkpCgoocHJpbnRsbiAiIikKKHByaW50bG4gInNlY29uZF8iKQoocHJpbnRsbiAoc2Vjb25kXyAnKGEgYikpKQo7Ly89PmIKCihkZWYgYnVpbGQKICAoZm4gW2EgYl0KICAgIChjb25kCiAgICAgIHRydWUgKGNvbnMgYSAoY29ucyBiICcoKSkpKSkpCgoocHJpbnRsbiAiIikKKHByaW50bG4gImJ1aWxkIikKKHByaW50bG4gKGJ1aWxkICdhICdiKSkKOy8vPT4oYSBiKQoKKGRlZiB0aGlyZF8KICAoZm4gW3BdCiAgICAoY29uZAogICAgICB0cnVlIChmaXJzdCAocmVzdCAocmVzdCBwKSkpKSkpCgoocHJpbnRsbiAiIikKKHByaW50bG4gInRoaXJkXyIpCihwcmludGxuICh0aGlyZF8gJyhhIGIgYykpKQo7Ly89PmMKCihkZWYgbWVtYmVyKgogIChmbiBbYSBsXQogICAgKGNvbmQKICAgICAgKG51bGw/IGwpICcoKQogICAgICAoYXRvbT8gKGZpcnN0IGwpKQogICAgICAgIChvcgogICAgICAgICAgKD0gKGZpcnN0IGwpIGEpCiAgICAgICAgICAobWVtYmVyKiBhIChyZXN0IGwpKSkKICAgICAgdHJ1ZSAob3IKICAgICAgICAobWVtYmVyKiBhIChmaXJzdCBsKSkKICAgICAgICAobWVtYmVyKiBhIChyZXN0IGwpKSkpKSkKCjsgbm93IHdlJ2xsIHRlc3QgdG8gc2VlIGlmIHRoaXMgaXMgYSBmdW5jdGlvbgooY29tbWVudCB3YXN0ZSBvZiB0aW1lIGlmIHRoaXMgZG9lc250JyB3b3JrCihkZWYgZnVuPwogIChmbiBbcmVsXQogICAgKHByaW50bG4gImZ1bj8gIiByZWwpCiAgICAoY29uZAogICAgICAobnVsbD8gcmVsKSB0cnVlCiAgICAgIChtZW1iZXIqIChmaXJzdF8gKGZpcnN0IHJlbCkpIChyZXN0IHJlbCkpIGZhbHNlCiAgICAgIHRydWUgKGZ1bj8gKHJlc3QgcmVsKSkpKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAiZnVuPyIpCihwcmludGxuIChmdW4/ICcoKDQgMykoNCAyKSg3IDYpKDYgMikoMyA0KSkpKQo7Ly89PmZhbHNlCihwcmludGxuIChmdW4/ICcoKDggMykoNCAyKSg3IDYpKDYgMikoMyA0KSkpKQo7Ly89PmZhbHNlIC0gbm90IHF1aXRlIGNvcnJlY3QgeWV0CihwcmludGxuIChmdW4/ICcoKDggMykoNCAyKSg3IDEpKDYgMCkoOSA1KSkpKQo7Ly89PmZhbHNlIC0gbm90IHF1aXRlIGNvcnJlY3QgeWV0CikKCihkZWYgZmlyc3RzCiAgKGZuIFtsXQogICAgKGNvbmQKICAgICAgKGVtcHR5PyBsKSAnKCkKICAgICAgdHJ1ZSAoY29ucyAoZmlyc3QgKGZpcnN0IGwpKQogICAgICAgIChmaXJzdHMgKHJlc3QgbCkpKSkpKQoKKHByaW50bG4gIiIpCihwcmludGxuICJmaXJzdHMiKQoocHJpbnRsbiAoZmlyc3RzICcoKDggMykoNCAyKSg3IDYpKDYgMikoMyA0KSkpKQo7Ly89Pig4IDQgNyA2IDMpCgooZGVmIGZ1bj8KICAoZm4gW3JlbF0KICAgIChjb25kCiAgICAgIChudWxsPyByZWwpIHRydWUKICAgICAgKG1lbWJlcj8gKGZpcnN0XyAoZmlyc3QgcmVsKSkgKGZpcnN0cyAocmVzdCByZWwpKSkgZmFsc2UKICAgICAgdHJ1ZSAoZnVuPyAocmVzdCByZWwpKSkpKQogICAgICAKKHByaW50bG4gIiIpCihwcmludGxuICJmdW4/IC0gY29ycmVjdGlvbnMiKQoocHJpbnRsbiAoZnVuPyAnKCg0IDMpKDQgMikoNyA2KSg2IDIpKDMgNCkpKSkKOy8vPT5mYWxzZQoocHJpbnRsbiAoZnVuPyAnKCg4IDMpKDQgMikoNyA2KSg2IDIpKDMgNCkpKSkKOy8vPT50cnVlCihwcmludGxuIChmdW4/ICcoKDggMykoNCAyKSg3IDEpKDYgMCkoOSA1KSkpKQo7Ly89PnRydWUKCgooZGVmIGZ1bj8KICAoZm4gW3JlbF0KICAgIChzZXQ/IChmaXJzdHMgcmVsKSkpKQoKKHByaW50bG4gIiIpCihwcmludGxuICJmdW4/IC0gcmVmYWN0b3JlZCB0byB1c2Ugc2V0PyBhbmQgZmlyc3RzIikKKHByaW50bG4gKGZ1bj8gJygoNCAzKSg0IDIpKDcgNikoNiAyKSgzIDQpKSkpCjsvLz0+ZmFsc2UKKHByaW50bG4gKGZ1bj8gJygoOCAzKSg0IDIpKDcgNikoNiAyKSgzIDQpKSkpCjsvLz0+dHJ1ZQoocHJpbnRsbiAoZnVuPyAnKCg4IDMpKDQgMikoNyAxKSg2IDApKDkgNSkpKSkKOy8vPT50cnVlCgooZGVmIHJldnJlbAogIChmbiBbcmVsXQogICAgKGNvbmQKICAgICAgKG51bGw/IHJlbCkgJygpCiAgICAgIHRydWUgKGNvbnMKICAgICAgICAgICAgIChidWlsZAogICAgICAgICAgICAgICAoc2Vjb25kXyAoZmlyc3QgcmVsKSkKICAgICAgICAgICAgICAgKGZpcnN0XyAoZmlyc3QgcmVsKSkpCiAgICAgICAgICAgICAocmV2cmVsIChyZXN0IHJlbCkpKSkpKQoKKHByaW50bG4gIiIpCihwcmludGxuICJyZXZyZWwgIikKKHByaW50bG4gKHJldnJlbCAnKCg0IDMpKDQgMikoNyA2KSg2IDIpKDMgNCkpKSkKOy8vPT4oKDMgNCkgKDIgNCkgKDYgNykgKDIgNikgKDQgMykpCihwcmludGxuIChyZXZyZWwgJygoOCAzKSg0IDIpKDcgNikoNiAyKSgzIDQpKSkpCjsvLz0+KCgzIDgpICgyIDQpICg2IDcpICgyIDYpICg0IDMpKQoocHJpbnRsbiAocmV2cmVsICcoKDggMykoNCAyKSg3IDEpKDYgMCkoOSA1KSkpKQo7Ly89PigoMyA4KSAoMiA0KSAoMSA3KSAoMCA2KSAoNSA5KSkKCjtub3RlIHRoZXJlIGlzIGEgcXVlc3Rpb24gYWJvdXQgd2hldGhlciB3ZSd2ZSBpbnRyb2R1Y2VkIHNlY29uZHMgaGVyZSBvciBpdCB3YXMgYWxyZWFkeSBzb21ld2hlcmUgZWFybGllci4uLiAgICAgICAgICAgICAgIAooZGVmIHNlY29uZHNfCiAgKGZuIFtsXQogICAgKGNvbmQKICAgICAgKG51bGw/IGwpICcoKQogICAgICB0cnVlIChjb25zIChmaXJzdCAocmVzdCAoZmlyc3QgbCkpKQogICAgICAgIChzZWNvbmRzXyAocmVzdCBsKSkpKSkpCiAKKHByaW50bG4gIiIpCihwcmludGxuICJzZWNvbmRzIikKKHByaW50bG4gKHNlY29uZHNfICcoKGxhcmdlIGJ1cmdlcikoZnJpZXMgY29rZSkoY2hvY29sYXRlIHN1bmRhZSkpKSkKOy8vPT4oYnVyZ2VyIGNva2Ugc3VuZGFlKQoocHJpbnRsbiAoc2Vjb25kc18gJygoOCAzKSg0IDIpKDcgMSkoNiAwKSg5IDUpKSkpCjsvLz0+KDMgMiAxIDAgNSkKCgooZGVmIGZ1bGxmdW4/CiAgKGZuIFtmdW5dCiAgICAoc2V0Xz8gKHNlY29uZHNfIGZ1bikpKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAiZnVsbGZ1bj8iKQoocHJpbnRsbiAoZnVsbGZ1bj8gJygoNCAzKSg0IDIpKDcgNikoNiAyKSgzIDQpKSkpCjsvLz0+ZmFsc2UKKHByaW50bG4gKGZ1bGxmdW4/ICcoKDggMykoNCAyKSg3IDYpKDYgMikoMyA0KSkpKQo7Ly89PmZhbHNlCihwcmludGxuIChmdWxsZnVuPyAnKCg4IDMpKDQgMikoNyAxKSg2IDApKDkgNSkpKSkKOy8vPT50cnVlCgooZGVmIG9uZS10by1vbmU/CiAgKGZuIFtmdW5dCiAgICAoZnVuPyAocmV2cmVsIGZ1bikpKSkKCihwcmludGxuICIiKQoocHJpbnRsbiAib25lLXRvLW9uZT8iKQoocHJpbnRsbiAob25lLXRvLW9uZT8gJygoNCAzKSg0IDIpKDcgNikoNiAyKSgzIDQpKSkpCjsvLz0+ZmFsc2UKKHByaW50bG4gKG9uZS10by1vbmU/ICcoKDggMykoNCAyKSg3IDYpKDYgMikoMyA0KSkpKQo7Ly89PmZhbHNlCihwcmludGxuIChvbmUtdG8tb25lPyAnKCg4IDMpKDQgMikoNyAxKSg2IDApKDkgNSkpKSkKOy8vPT50cnVlCgoK

Success #stdin #stdout 1.52s 220288KB

stdin

Standard input is empty

stdout

set_?
true
false

set_? refactored
true
false

makeset
(toasted banana bread with butter for breakfast)
true

makeset - refactored with multirember
(breakfast toasted banana bread with butter for)
true

subset 
true
true
false

subset - refactored to remove redundant second cond
true
true
false

subset - refactored to use trailing true condition
true
true
false

eqset?
false
true
false

eqset? - refactored for only one condition line
false
true
false

eqset? - refactored for no condition line
false
true
false

intersect? 
true
true
true
false

intersect? refactored to remove redundant second cond
true
true
true
false

intersect? refactored to remove redundant second cond
true
true
true
false

intersect
(toasted banana bread)
(toasted)
()

intersect
(toasted banana bread)
(toasted)
()

union
(breakfast toasted banana bread with butter for breakfast)
(peanut butter for breakfast toasted banana bread)
(strawberry yoghurt toasted banana bread)

complement_
()
(peanut butter for breakfast)
(strawberry yoghurt)

intersect-all
(toasted)

first_
a

second_
b

build
(a b)

third_
c

firsts
(8 4 7 6 3)

fun? - corrections
false
true
true

fun? - refactored to use set? and firsts
false
false
false

revrel 
((3 4) (2 4) (6 7) (2 6) (4 3))
((3 8) (2 4) (6 7) (2 6) (4 3))
((3 8) (2 4) (1 7) (0 6) (5 9))

seconds
(burger coke sundae)
(3 2 1 0 5)

fullfun?
false
false
true

one-to-one?
false
false
false

https://ideone.com/a5yls

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