Date parser all discrete

Date parser all discrete

error: pathspec 'examples/src/worksheets/dateparser-all-discrete.clj' did not match any file(s) known to git

--- examples/src/worksheets/dateparser-all-discrete.clj
+++ examples/src/worksheets/dateparser-all-discrete.clj
@@ -0,0 +1,283 @@
+;; gorilla-repl.fileformat = 1
+
+;; **
+;;; # Learning to Parse Dates Quickly
+;; **
+
+;; @@
+(ns dateparser
+  (:require anglican.infcomp.csis
+            anglican.importance
+            anglican.smc
+            anglican.infcomp.core
+            [anglican.infcomp.zmq :as zmq]
+            [anglican.infcomp.prior :as prior]
+            [anglican.inference :refer [infer]]
+            [helpers.captcha :refer [levenshtein-normalized]]
+            [anglican.stat :refer [empirical-distribution collect-predicts collect-by collect-results]]
+            [helpers.gmm :refer [normalize]]
+            [rhizome.viz]
+            [clojure.string])
+  (:use [anglican emit runtime]
+        [gorilla-plot core]
+        [gorilla-repl image]))
+
+(anglican.infcomp.core/reset-infcomp-addressing-scheme!)
+;; @@
+;; =>
+;;; {"type":"html","content":"#function[anglican.infcomp.core/reset-infcomp-addressing-scheme!$fn--26381$fn--26382]","value":"#function[anglican.infcomp.core/reset-infcomp-addressing-scheme!$fn--26381$fn--26382]"}
+;; <=
+
+;; @@
+(defn b2i [b] (if b 1 0))
+;; @@
+;; =>
+;;; {"type":"html","content":"#'dateparser/b2i","value":"#'dateparser/b2i"}
+;; <=
+
+;; @@
+(defdist levenshtein-abc-dist
+  "Approximate Bayesian Computation distribution constructor."
+  [obsstr abc-sigma]
+  [dist (normal 0 abc-sigma)]
+  (sample* [this] obsstr)
+  (observe* [this string]
+            (observe* dist (levenshtein-normalized obsstr string))))
+
+;; @@
+;; =>
+;;; {"type":"html","content":"#multifn[print-method 0x22172d07]","value":"#multifn[print-method 0x22172d07]"}
+;; <=
+
+;; @@
+(defdist randomwhitespacedist
+  [rate]
+  ;[dist (poisson rate)]
+  [dist (uniform-discrete 0 1)]
+  (sample* [this] (apply str (repeat (sample* dist) " ")))
+  (observe* [this string] (observe* dist (count string))))
+;; @@
+;; =>
+;;; {"type":"html","content":"#multifn[print-method 0x22172d07]","value":"#multifn[print-method 0x22172d07]"}
+;; <=
+
+;; @@
+(sample* (randomwhitespacedist 0.3))
+;; @@
+;; =>
+;;; {"type":"html","content":"""","value":"\"\""}
+;; <=
+
+;; @@
+(with-primitive-procedures [b2i levenshtein-abc-dist randomwhitespacedist]
+  (defquery dateparser [obsdatestr]
+    (let [locale (sample (categorical [[:europe 5] [:usa 5]]))
+          year (if (sample (flip 0.1)) (sample (uniform-discrete -5000 3000))
+                 (int (floor (sample (uniform-discrete (- 2017 100) (+ 2017 100))))))
+          month (sample (uniform-discrete 1 13))
+          randomspacing (fn [] (apply str (repeat (sample (categorical [[0 7] [1 2] [2 1]])) " ")))
+
+      leap-year (sample (flip 0.5))
+      separator-char (sample (categorical [["/" 7] ["-" 3]]))
+      month-text (cond (= month 1) (sample (categorical [["1" 5] ["Jan" 5] ["Jan." 5] ["JAN" 5] ["JANUARY" 5] ["January" 5]]))
+                       (= month 2) (sample (categorical [["2" 5] ["Feb" 5] ["Feb." 5] ["FEB" 5] ["FEBRUARY" 5] ["February" 5]]))
+                       (= month 3) (sample (categorical [["3" 5] ["Mar" 5] ["Mar." 5] ["MAR" 5] ["MARCH" 5] ["March" 5]]))
+                       (= month 4) (sample (categorical [["4" 5] ["April" 5] ["Apr." 5] ["APR" 5] ["APRIL" 5] ["April" 5]]))
+                       (= month 5) (sample (categorical [["5" 5] ["May" 5] ["May." 5] ["MAY" 5]]))
+                       (= month 6) (sample (categorical [["6" 5] ["June" 5] ["Jun." 5] ["JUN" 5] ["JUNE" 5] ["June" 5]]))
+                       (= month 7) (sample (categorical [["7" 5] ["July" 5] ["Jul." 5] ["JUL" 5] ["JULY" 5] ["July" 5]]))
+                       (= month 8) (sample (categorical [["8" 5] ["August" 5] ["Aug." 5] ["AUG" 5] ["AUGUST" 5] ["August" 5]]))
+                       (= month 9) (sample (categorical [["9" 5] ["September" 5] ["Sept." 5] ["Sep." 5] ["SEPT" 5] ["SEP" 5] ["SEPTEMBER" 5] ["September" 5]]))
+                       (= month 10) (sample (categorical [["10" 5] ["October" 5] ["Oct." 5] ["OCT" 5] ["OCTOBER" 5] ["October" 5]]))
+                       (= month 11) (sample (categorical [["11" 5] ["November" 5] ["Nov." 5] ["NOV" 5] ["NOVEMBER" 5] ["November" 5]]))
+                       (= month 12) (sample (categorical [["12" 5] ["December" 5] ["Dec." 5] ["DEC" 5] ["DECEMBER" 5] ["December" 5]])))
+      misspell (sample (flip 0.05))
+      ;potentially-corrupted-month-text () ; could add corruption here, etc.  mistypes, misspelling, etc.
+      day (cond
+            (contains? [9 4 6 11] month) (sample (uniform-discrete 1 31))
+            (contains? [2] month) (sample (uniform-discrete 1 (- 30 (b2i leap-year))))
+            :else (sample (uniform-discrete 1 32)))
+      gendatestr (cond
+                   (< year 0) (str (- 0 year) (sample (categorical [["BC" 5] ["bc" 5] ["B.C." 5] ["b.c." 5] ["BC." 5] ["bc." 5]])))
+                   (< year 800) (str year (sample (categorical [["AD" 5] ["ad" 5] ["A.D." 5] ["a.d." 5] ["AD." 5] ["ad." 5]])))
+                   :else
+                   (cond (= locale :europe) (str day (randomspacing) separator-char (randomspacing) month-text separator-char (randomspacing) year)
+                         :else (str month-text (randomspacing) separator-char (randomspacing) day (randomspacing) separator-char (randomspacing) year)))
+      ]
+
+      ;(str obsdatestr " : " gendatestr)
+      (observe (levenshtein-abc-dist gendatestr 0.1) obsdatestr)
+      {:year year :month month :day day :locale locale})))
+;; @@
+;; =>
+;;; {"type":"html","content":"#'dateparser/dateparser","value":"#'dateparser/dateparser"}
+;; <=
+
+;; @@
+(take 5 (reverse (sort-by second
+         (vec (empirical-distribution (collect-results (take 100000 (infer :importance dateparser ["1/29/1980"]))))))))
+;; @@
+;; =>
+;;; {"type":"list-like","open":"(","close":")","separator":" ","items":[{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"list-like","open":"{","close":"}","separator":", ","items":[{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":year","value":":year"},{"type":"html","content":"1980","value":"1980"}],"value":"[:year 1980]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":month","value":":month"},{"type":"html","content":"4","value":"4"}],"value":"[:month 4]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":day","value":":day"},{"type":"html","content":"29","value":"29"}],"value":"[:day 29]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":locale","value":":locale"},{"type":"html","content":":usa","value":":usa"}],"value":"[:locale :usa]"}],"value":"{:year 1980, :month 4, :day 29, :locale :usa}"},{"type":"html","content":"0.16091493054051456","value":"0.16091493054051456"}],"value":"[{:year 1980, :month 4, :day 29, :locale :usa} 0.16091493054051456]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"list-like","open":"{","close":"}","separator":", ","items":[{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":year","value":":year"},{"type":"html","content":"1980","value":"1980"}],"value":"[:year 1980]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":month","value":":month"},{"type":"html","content":"9","value":"9"}],"value":"[:month 9]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":day","value":":day"},{"type":"html","content":"1","value":"1"}],"value":"[:day 1]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":locale","value":":locale"},{"type":"html","content":":europe","value":":europe"}],"value":"[:locale :europe]"}],"value":"{:year 1980, :month 9, :day 1, :locale :europe}"},{"type":"html","content":"0.16091493054051456","value":"0.16091493054051456"}],"value":"[{:year 1980, :month 9, :day 1, :locale :europe} 0.16091493054051456]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"list-like","open":"{","close":"}","separator":", ","items":[{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":year","value":":year"},{"type":"html","content":"1990","value":"1990"}],"value":"[:year 1990]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":month","value":":month"},{"type":"html","content":"9","value":"9"}],"value":"[:month 9]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":day","value":":day"},{"type":"html","content":"1","value":"1"}],"value":"[:day 1]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":locale","value":":locale"},{"type":"html","content":":europe","value":":europe"}],"value":"[:locale :europe]"}],"value":"{:year 1990, :month 9, :day 1, :locale :europe}"},{"type":"html","content":"0.050509990314157746","value":"0.050509990314157746"}],"value":"[{:year 1990, :month 9, :day 1, :locale :europe} 0.050509990314157746]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"list-like","open":"{","close":"}","separator":", ","items":[{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":year","value":":year"},{"type":"html","content":"1980","value":"1980"}],"value":"[:year 1980]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":month","value":":month"},{"type":"html","content":"1","value":"1"}],"value":"[:month 1]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":day","value":":day"},{"type":"html","content":"21","value":"21"}],"value":"[:day 21]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":locale","value":":locale"},{"type":"html","content":":usa","value":":usa"}],"value":"[:locale :usa]"}],"value":"{:year 1980, :month 1, :day 21, :locale :usa}"},{"type":"html","content":"0.04037293940438814","value":"0.04037293940438814"}],"value":"[{:year 1980, :month 1, :day 21, :locale :usa} 0.04037293940438814]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"list-like","open":"{","close":"}","separator":", ","items":[{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":year","value":":year"},{"type":"html","content":"1980","value":"1980"}],"value":"[:year 1980]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":month","value":":month"},{"type":"html","content":"5","value":"5"}],"value":"[:month 5]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":day","value":":day"},{"type":"html","content":"9","value":"9"}],"value":"[:day 9]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":locale","value":":locale"},{"type":"html","content":":usa","value":":usa"}],"value":"[:locale :usa]"}],"value":"{:year 1980, :month 5, :day 9, :locale :usa}"},{"type":"html","content":"0.02856900684487822","value":"0.02856900684487822"}],"value":"[{:year 1980, :month 5, :day 9, :locale :usa} 0.02856900684487822]"}],"value":"([{:year 1980, :month 4, :day 29, :locale :usa} 0.16091493054051456] [{:year 1980, :month 9, :day 1, :locale :europe} 0.16091493054051456] [{:year 1990, :month 9, :day 1, :locale :europe} 0.050509990314157746] [{:year 1980, :month 1, :day 21, :locale :usa} 0.04037293940438814] [{:year 1980, :month 5, :day 9, :locale :usa} 0.02856900684487822])"}
+;; <=
+
+;; **
+;;; ## Train a compilation artifact
+;; **
+
+;; @@
+(def alphabet (map str "0123456789bBcC.aAdD/eEfFgGhHiIjJkKlLmMnNoOpPqQrRsStTuUvVwWxXyYzZ- "))
+(def alphabet-len (count alphabet))
+(defn one-hot [len hot]
+  (assoc (vec (replicate len 0)) hot 1))
+(defn encode-char [s]
+  (let [i (.indexOf alphabet s)]
+    (one-hot alphabet-len i)))
+(defn encode-string [s]
+  (vec (map #(encode-char (str %)) s)))
+
+(encode-string "February/19/ 1967")
+(prior/sample-observes-from-prior dateparser [nil])
+;; @@
+;; =>
+;;; {"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"list-like","open":"{","close":"}","separator":", ","items":[{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":time-index","value":":time-index"},{"type":"html","content":"0","value":"0"}],"value":"[:time-index 0]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":observe-address","value":":observe-address"},{"type":"html","content":"O15","value":"O15"}],"value":"[:observe-address O15]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":observe-instance","value":":observe-instance"},{"type":"html","content":"0","value":"0"}],"value":"[:observe-instance 0]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":value","value":":value"},{"type":"html","content":""April/ 18/ 1970"","value":"\"April/ 18/ 1970\""}],"value":"[:value \"April/ 18/ 1970\"]"}],"value":"{:time-index 0, :observe-address O15, :observe-instance 0, :value \"April/ 18/ 1970\"}"}],"value":"[{:time-index 0, :observe-address O15, :observe-instance 0, :value \"April/ 18/ 1970\"}]"}
+;; <=
+
+;; @@
+(defn combine-observes-fn [observes]
+  ;(into [] (concat (encode-string (:value  (first observes))))))
+    (encode-string  (first (map  :value observes))))
+;; @@
+;; =>
+;;; {"type":"html","content":"#'dateparser/combine-observes-fn","value":"#'dateparser/combine-observes-fn"}
+;; <=
+
+;; @@
+(map (comp :value first) (repeatedly 10 #(prior/sample-observes-from-prior dateparser [nil])))
+;; @@
+;; =>
+;;; {"type":"list-like","open":"(","close":")","separator":" ","items":[{"type":"html","content":""DECEMBER-18-2059"","value":"\"DECEMBER-18-2059\""},{"type":"html","content":""23/SEP/2014"","value":"\"23/SEP/2014\""},{"type":"html","content":""4- FEBRUARY-2025"","value":"\"4- FEBRUARY-2025\""},{"type":"html","content":""13-AUG-1943"","value":"\"13-AUG-1943\""},{"type":"html","content":""Nov. /8 /1927"","value":"\"Nov. /8 /1927\""},{"type":"html","content":""8 -July-2085"","value":"\"8 -July-2085\""},{"type":"html","content":""June/22/2043"","value":"\"June/22/2043\""},{"type":"html","content":""11/ October/ 2103"","value":"\"11/ October/ 2103\""},{"type":"html","content":""14-3-1991"","value":"\"14-3-1991\""},{"type":"html","content":""Aug. /21/1984"","value":"\"Aug. /21/1984\""}],"value":"(\"DECEMBER-18-2059\" \"23/SEP/2014\" \"4- FEBRUARY-2025\" \"13-AUG-1943\" \"Nov. /8 /1927\" \"8 -July-2085\" \"June/22/2043\" \"11/ October/ 2103\" \"14-3-1991\" \"Aug. /21/1984\")"}
+;; <=
+
+;; @@
+(def a (map  :value (prior/sample-observes-from-prior dateparser [nil])))
+a
+
+;; @@
+;; =>
+;;; {"type":"list-like","open":"(","close":")","separator":" ","items":[{"type":"html","content":""May-15-2080"","value":"\"May-15-2080\""}],"value":"(\"May-15-2080\")"}
+;; <=
+
+;; @@
+(encode-string (first a))
+;; @@
+;; =>
+;;; {"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"}],"value":"[[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0] [0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0] [0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]]"}
+;; <=
+
+;; @@
+(combine-observes-fn (prior/sample-observes-from-prior dateparser [nil]))
+;; @@
+;; =>
+;;; {"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"html","content":"0","value":"0"},{"type":"html","content":"1","value":"1"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"},{"type":"html","content":"0","value":"0"}],"value":"[0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]"}],"value":"[[0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0]]"}
+;; <=
+
+;; **
+;;; Initialize Torch connection:
+;; **
+
+;; @@
+(def replier (zmq/start-replier dateparser [nil] combine-observes-fn))
+;; @@
+;; =>
+;;; {"type":"html","content":"#'dateparser/replier","value":"#'dateparser/replier"}
+;; <=
+
+;; **
+;;; Now, run
+;;;
+;;; `python -m infcomp.compile --obsEmb lstm --oneHotDim 512 --visdom`
+;;;
+;;; until you are happy with the loss value. Use Ctrl + C to stop training.
+;;;
+;;;
+;;; Alternatively, you can run it with the `--maxTraces` flag to stop after a set number of traces, such as:
+;;;
+;;; `python -m infcomp.compile --obsEmb lstm --oneHotDim 512 --maxTraces 2000`
+;;;
+;;;
+;;; If you want to use GPU, you can use the `--cuda` flag:
+;;;
+;;; `python -m infcomp.compile --obsEmb lstm --oneHotDim 512 --cuda`
+;;;
+;;;
+;;; More flags/options are available with:
+;;;
+;;; `python -m infcomp.compile --help`
+;; **
+
+;; **
+;;; The compilation process saves time-stamped compilation artifacts with names like `compile-artifact-20170427-135221` in the current folder (the target folder can be changed with the `--folder` flag). There are also corresponding log files like `compile-log-20170427-135221'.
+;;;
+;;; One can get information about the latest saved artifact by using:
+;;; `python -m infcomp.artifact_info`
+;;;
+;;; This command also has some flags you can learn about with `python -m infcomp.artifact_info --help`.
+;;;
+;;; Before moving on to inference, you should stop the torch connection for compilation:
+;; **
+
+;; @@
+(zmq/stop-replier replier)
+;; @@
+;; =>
+;;; {"type":"html","content":""ZMQ connection terminated."","value":"\"ZMQ connection terminated.\""}
+;; <=
+
+;; **
+;;; ## Inference
+;; **
+
+;; @@
+;(def test-observations
+;  (combine-observes-fn (prior/sample-observes-from-prior dateparser [nil])))
+
+(def test-observation "14/11/2085")
+
+(def test-observation-onehot-representation
+  (combine-observes-fn [{:value test-observation}]))
+;; @@
+;; =>
+;;; {"type":"html","content":"#'dateparser/test-observation-onehot-representation","value":"#'dateparser/test-observation-onehot-representation"}
+;; <=
+
+;; @@
+test-observation
+;; @@
+;; =>
+;;; {"type":"html","content":""14/11/2085"","value":"\"14/11/2085\""}
+;; <=
+
+;; **
+;;; ### Infcomp
+;;;
+;;; First, run the inference server from torch-infcomp:
+;;;
+;;; `python -m infcomp.infer`
+;;;
+;;; Then run the query, specifying number of particles:
+;; **
+
+;; @@
+(def num-particles 1000)
+(def csis-states (take num-particles (infer :csis dateparser [test-observation] :observe-embedder-input test-observation-onehot-representation)))
+(take 5 (reverse (sort-by second
+         (vec (empirical-distribution (collect-results csis-states))))))
+;; @@
+;; =>
+;;; {"type":"list-like","open":"(","close":")","separator":" ","items":[{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"list-like","open":"{","close":"}","separator":", ","items":[{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":year","value":":year"},{"type":"html","content":"2025","value":"2025"}],"value":"[:year 2025]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":month","value":":month"},{"type":"html","content":"2","value":"2"}],"value":"[:month 2]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":day","value":":day"},{"type":"html","content":"6","value":"6"}],"value":"[:day 6]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":locale","value":":locale"},{"type":"html","content":":usa","value":":usa"}],"value":"[:locale :usa]"}],"value":"{:year 2025, :month 2, :day 6, :locale :usa}"},{"type":"html","content":"0.5428710981087147","value":"0.5428710981087147"}],"value":"[{:year 2025, :month 2, :day 6, :locale :usa} 0.5428710981087147]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"list-like","open":"{","close":"}","separator":", ","items":[{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":year","value":":year"},{"type":"html","content":"2822","value":"2822"}],"value":"[:year 2822]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":month","value":":month"},{"type":"html","content":"11","value":"11"}],"value":"[:month 11]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":day","value":":day"},{"type":"html","content":"8","value":"8"}],"value":"[:day 8]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":locale","value":":locale"},{"type":"html","content":":europe","value":":europe"}],"value":"[:locale :europe]"}],"value":"{:year 2822, :month 11, :day 8, :locale :europe}"},{"type":"html","content":"0.3835766722203707","value":"0.3835766722203707"}],"value":"[{:year 2822, :month 11, :day 8, :locale :europe} 0.3835766722203707]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"list-like","open":"{","close":"}","separator":", ","items":[{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":year","value":":year"},{"type":"html","content":"2133","value":"2133"}],"value":"[:year 2133]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":month","value":":month"},{"type":"html","content":"11","value":"11"}],"value":"[:month 11]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":day","value":":day"},{"type":"html","content":"5","value":"5"}],"value":"[:day 5]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":locale","value":":locale"},{"type":"html","content":":europe","value":":europe"}],"value":"[:locale :europe]"}],"value":"{:year 2133, :month 11, :day 5, :locale :europe}"},{"type":"html","content":"0.04173372077342161","value":"0.04173372077342161"}],"value":"[{:year 2133, :month 11, :day 5, :locale :europe} 0.04173372077342161]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"list-like","open":"{","close":"}","separator":", ","items":[{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":year","value":":year"},{"type":"html","content":"-1110","value":"-1110"}],"value":"[:year -1110]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":month","value":":month"},{"type":"html","content":"12","value":"12"}],"value":"[:month 12]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":day","value":":day"},{"type":"html","content":"25","value":"25"}],"value":"[:day 25]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":locale","value":":locale"},{"type":"html","content":":europe","value":":europe"}],"value":"[:locale :europe]"}],"value":"{:year -1110, :month 12, :day 25, :locale :europe}"},{"type":"html","content":"0.012617564693980622","value":"0.012617564693980622"}],"value":"[{:year -1110, :month 12, :day 25, :locale :europe} 0.012617564693980622]"},{"type":"list-like","open":"[","close":"]","separator":" ","items":[{"type":"list-like","open":"{","close":"}","separator":", ","items":[{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":year","value":":year"},{"type":"html","content":"-1110","value":"-1110"}],"value":"[:year -1110]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":month","value":":month"},{"type":"html","content":"5","value":"5"}],"value":"[:month 5]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":day","value":":day"},{"type":"html","content":"14","value":"14"}],"value":"[:day 14]"},{"type":"list-like","open":"","close":"","separator":" ","items":[{"type":"html","content":":locale","value":":locale"},{"type":"html","content":":usa","value":":usa"}],"value":"[:locale :usa]"}],"value":"{:year -1110, :month 5, :day 14, :locale :usa}"},{"type":"html","content":"0.008443063999491287","value":"0.008443063999491287"}],"value":"[{:year -1110, :month 5, :day 14, :locale :usa} 0.008443063999491287]"}],"value":"([{:year 2025, :month 2, :day 6, :locale :usa} 0.5428710981087147] [{:year 2822, :month 11, :day 8, :locale :europe} 0.3835766722203707] [{:year 2133, :month 11, :day 5, :locale :europe} 0.04173372077342161] [{:year -1110, :month 12, :day 25, :locale :europe} 0.012617564693980622] [{:year -1110, :month 5, :day 14, :locale :usa} 0.008443063999491287])"}
+;; <=
+
+;; @@
+
+;; @@