prelude.json

{"type":"in","l":{"type":"let","l":{"type":"bind","s":"id","time":1},"r":{"type":"fun","l":{"type":"bind","s":"x","time":1},"r":{"type":"var","s":"x","time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"const","time":1},"r":{"type":"fun","l":{"type":"bind","s":"x","time":1},"r":{"type":"fun","l":{"type":"bind","s":"","time":1},"r":{"type":"var","s":"x","time":1},"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"app","time":1},"r":{"type":"fun","l":{"type":"bind","s":"x","time":1},"r":{"type":"fun","l":{"type":"bind","s":"f","time":1},"r":{"type":"app","l":{"type":"var","s":"f","time":1},"r":{"type":"var","s":"x","time":1},"time":1},"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"not","time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"sym","s":"true","time":1},"r":{"type":"sym","s":"false","time":1},"time":1},"r":{"type":"fun","l":{"type":"bind","s":"","time":1},"r":{"type":"sym","s":"true","time":1},"newline":true,"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"and","time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"sym","s":"true","time":1},"r":{"type":"fun","l":{"type":"sym","s":"true","time":1},"r":{"type":"sym","s":"true","time":1},"time":1},"time":1},"r":{"type":"fun","l":{"type":"bind","s":"","time":1},"r":{"type":"fun","l":{"type":"bind","s":"","time":1},"r":{"type":"sym","s":"false","time":1},"time":1},"newline":true,"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"or","time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"sym","s":"true","time":1},"r":{"type":"fun","l":{"type":"bind","s":"","time":1},"r":{"type":"sym","s":"true","time":1},"time":1},"time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"bind","s":"","time":1},"r":{"type":"fun","l":{"type":"sym","s":"true","time":1},"r":{"type":"sym","s":"true","time":1},"time":1},"time":1},"r":{"type":"fun","l":{"type":"bind","s":"","time":1},"r":{"type":"fun","l":{"type":"bind","s":"","time":1},"r":{"type":"sym","s":"false","time":1},"time":1},"newline":true,"time":1},"newline":true,"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"if","time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"sym","s":"true","time":1},"r":{"type":"fun","l":{"type":"bind","s":"a","time":1},"r":{"type":"fun","l":{"type":"bind","s":"","time":1},"r":{"type":"var","s":"a","time":1},"time":1},"time":1},"time":1},"r":{"type":"fun","l":{"type":"bind","s":"","time":1},"r":{"type":"fun","l":{"type":"bind","s":"","time":1},"r":{"type":"fun","l":{"type":"bind","s":"b","time":1},"r":{"type":"var","s":"b","time":1},"time":1},"time":1},"newline":true,"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"+","time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"bind","s":"n","time":1},"r":{"type":"fun","l":{"type":"sym","s":"z","time":1},"r":{"type":"var","s":"n","time":1},"time":1},"time":1},"r":{"type":"fun","l":{"type":"bind","s":"n","time":1},"r":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"s","time":1},"r":{"type":"bind","s":"m","time":1},"time":1},"r":{"type":"cons","l":{"type":"sym","s":"s","time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"+","time":1},"r":{"type":"var","s":"n","time":1},"time":1},"r":{"type":"var","s":"m","time":1},"time":1},"time":1},"time":1},"newline":true,"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"*","time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"bind","s":"n","time":1},"r":{"type":"fun","l":{"type":"sym","s":"z","time":1},"r":{"type":"sym","s":"z","time":1},"time":1},"time":1},"r":{"type":"fun","l":{"type":"bind","s":"n","time":1},"r":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"s","time":1},"r":{"type":"bind","s":"m","time":1},"time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"+","time":1},"r":{"type":"var","s":"n","time":1},"time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"*","time":1},"r":{"type":"var","s":"n","time":1},"time":1},"r":{"type":"var","s":"m","time":1},"time":1},"time":1},"time":1},"newline":true,"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"compare","time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"sym","s":"z","time":1},"r":{"type":"fun","l":{"type":"sym","s":"z","time":1},"r":{"type":"sym","s":"==","time":1},"time":1},"time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"s","time":1},"r":{"type":"bind","s":"","time":1},"time":1},"r":{"type":"fun","l":{"type":"sym","s":"z","time":1},"r":{"type":"sym","s":">","time":1},"time":1},"time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"sym","s":"z","time":1},"r":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"s","time":1},"r":{"type":"bind","s":"","time":1},"time":1},"r":{"type":"sym","s":"<","time":1},"time":1},"time":1},"r":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"s","time":1},"r":{"type":"bind","s":"n","time":1},"time":1},"r":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"s","time":1},"r":{"type":"bind","s":"m","time":1},"time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"compare","time":1},"r":{"type":"var","s":"n","time":1},"time":1},"r":{"type":"var","s":"m","time":1},"time":1},"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"<","time":1},"r":{"type":"fun","l":{"type":"bind","s":"n","time":1},"r":{"type":"fun","l":{"type":"bind","s":"m","time":1},"r":{"type":"match","l":{"type":"let","l":{"type":"sym","s":"<","time":1},"m":{"type":"app","l":{"type":"app","l":{"type":"var","s":"compare","time":1},"r":{"type":"var","s":"n","time":1},"time":1},"r":{"type":"var","s":"m","time":1},"time":1},"r":{"type":"sym","s":"true","time":1},"time":1},"r":{"type":"sym","s":"false","time":1},"time":1},"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":">","time":1},"r":{"type":"fun","l":{"type":"bind","s":"n","time":1},"r":{"type":"fun","l":{"type":"bind","s":"m","time":1},"r":{"type":"match","l":{"type":"let","l":{"type":"sym","s":">","time":1},"m":{"type":"app","l":{"type":"app","l":{"type":"var","s":"compare","time":1},"r":{"type":"var","s":"n","time":1},"time":1},"r":{"type":"var","s":"m","time":1},"time":1},"r":{"type":"sym","s":"true","time":1},"time":1},"r":{"type":"sym","s":"false","time":1},"time":1},"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"==","time":1},"r":{"type":"fun","l":{"type":"bind","s":"n","time":1},"r":{"type":"fun","l":{"type":"bind","s":"m","time":1},"r":{"type":"match","l":{"type":"let","l":{"type":"sym","s":"==","time":1},"m":{"type":"app","l":{"type":"app","l":{"type":"var","s":"compare","time":1},"r":{"type":"var","s":"n","time":1},"time":1},"r":{"type":"var","s":"m","time":1},"time":1},"r":{"type":"sym","s":"true","time":1},"time":1},"r":{"type":"sym","s":"false","time":1},"time":1},"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"<=","time":1},"r":{"type":"fun","l":{"type":"bind","s":"n","time":1},"r":{"type":"fun","l":{"type":"bind","s":"m","time":1},"r":{"type":"let","l":{"type":"bind","s":"c","time":1},"m":{"type":"app","l":{"type":"app","l":{"type":"var","s":"compare","time":1},"r":{"type":"var","s":"n","time":1},"time":1},"r":{"type":"var","s":"m","time":1},"time":1},"r":{"type":"match","l":{"type":"let","l":{"type":"sym","s":"<","time":1},"m":{"type":"var","s":"c","time":1},"r":{"type":"sym","s":"true","time":1},"time":1},"r":{"type":"match","l":{"type":"let","l":{"type":"sym","s":"==","time":1},"m":{"type":"var","s":"c","time":1},"r":{"type":"sym","s":"true","time":1},"time":1},"r":{"type":"sym","s":"false","time":1},"time":1},"time":1},"time":1},"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":">=","time":1},"r":{"type":"fun","l":{"type":"bind","s":"n","time":1},"r":{"type":"fun","l":{"type":"bind","s":"m","time":1},"r":{"type":"let","l":{"type":"bind","s":"c","time":1},"m":{"type":"app","l":{"type":"app","l":{"type":"var","s":"compare","time":1},"r":{"type":"var","s":"n","time":1},"time":1},"r":{"type":"var","s":"m","time":1},"time":1},"r":{"type":"match","l":{"type":"let","l":{"type":"sym","s":">","time":1},"m":{"type":"var","s":"c","time":1},"r":{"type":"sym","s":"true","time":1},"time":1},"r":{"type":"match","l":{"type":"let","l":{"type":"sym","s":"==","time":1},"m":{"type":"var","s":"c","time":1},"r":{"type":"sym","s":"true","time":1},"time":1},"r":{"type":"sym","s":"false","time":1},"time":1},"time":1},"time":1},"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"else","time":1},"r":{"type":"fun","l":{"type":"bind","s":"x","time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"sym","s":"nil","time":1},"r":{"type":"var","s":"x","time":1},"time":1},"r":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"just","time":1},"r":{"type":"bind","s":"x","time":1},"time":1},"r":{"type":"var","s":"x","time":1},"time":1},"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"head","time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"sym","s":"nil","time":1},"r":{"type":"sym","s":"nil","time":1},"time":1},"r":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"cons","time":1},"r":{"type":"cons","l":{"type":"bind","s":"x","time":1},"r":{"type":"bind","s":"","time":1},"time":1},"time":1},"r":{"type":"cons","l":{"type":"sym","s":"just","time":1},"r":{"type":"var","s":"x","time":1},"time":1},"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"cat","time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"sym","s":"nil","time":1},"r":{"type":"fun","l":{"type":"bind","s":"ys","time":1},"r":{"type":"var","s":"ys","time":1},"time":1},"time":1},"r":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"cons","time":1},"r":{"type":"bind","s":"xs","time":1},"time":1},"r":{"type":"fun","l":{"type":"bind","s":"ys","time":1},"r":{"type":"cons","l":{"type":"sym","s":"cons","time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"cat","time":1},"r":{"type":"var","s":"xs","time":1},"time":1},"r":{"type":"var","s":"ys","time":1},"time":1},"time":1},"time":1},"newline":true,"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"foldl","time":1},"r":{"type":"fun","l":{"type":"bind","s":"f","time":1},"r":{"type":"fun","l":{"type":"bind","s":"acc","time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"sym","s":"nil","time":1},"r":{"type":"var","s":"acc","time":1},"time":1},"r":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"cons","time":1},"r":{"type":"cons","l":{"type":"bind","s":"x","time":1},"r":{"type":"bind","s":"xs","time":1},"time":1},"time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"app","l":{"type":"var","s":"foldl","time":1},"r":{"type":"var","s":"f","time":1},"time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"f","time":1},"r":{"type":"var","s":"acc","time":1},"time":1},"r":{"type":"var","s":"x","time":1},"time":1},"time":1},"r":{"type":"var","s":"xs","time":1},"time":1},"newline":true,"time":1},"time":1},"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"foldr","time":1},"r":{"type":"fun","l":{"type":"bind","s":"f","time":1},"r":{"type":"fun","l":{"type":"bind","s":"acc","time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"sym","s":"nil","time":1},"r":{"type":"var","s":"acc","time":1},"time":1},"r":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"cons","time":1},"r":{"type":"cons","l":{"type":"bind","s":"x","time":1},"r":{"type":"bind","s":"xs","time":1},"time":1},"time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"f","time":1},"r":{"type":"var","s":"x","time":1},"time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"app","l":{"type":"var","s":"foldr","time":1},"r":{"type":"var","s":"f","time":1},"time":1},"r":{"type":"var","s":"acc","time":1},"time":1},"r":{"type":"var","s":"xs","time":1},"time":1},"time":1},"newline":true,"time":1},"time":1},"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"keep","time":1},"r":{"type":"fun","l":{"type":"bind","s":"f","time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"foldr","time":1},"r":{"type":"fun","l":{"type":"bind","s":"x","time":1},"r":{"type":"fun","l":{"type":"bind","s":"xs","time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"app","l":{"type":"var","s":"if","time":1},"r":{"type":"app","l":{"type":"var","s":"f","time":1},"r":{"type":"var","s":"x","time":1},"time":1},"time":1},"r":{"type":"cons","l":{"type":"sym","s":"cons","time":1},"r":{"type":"cons","l":{"type":"var","s":"x","time":1},"r":{"type":"var","s":"xs","time":1},"time":1},"time":1},"time":1},"r":{"type":"var","s":"xs","time":1},"time":1},"time":1},"time":1},"time":1},"r":{"type":"sym","s":"nil","time":1},"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"find","time":1},"r":{"type":"fun","l":{"type":"bind","s":"f","time":1},"r":{"type":"fun","l":{"type":"bind","s":"xs","time":1},"r":{"type":"app","l":{"type":"var","s":"head","time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"keep","time":1},"r":{"type":"var","s":"f","time":1},"time":1},"r":{"type":"var","s":"xs","time":1},"time":1},"time":1},"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"=","time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"sym","s":"z","time":1},"r":{"type":"fun","l":{"type":"sym","s":"z","time":1},"r":{"type":"sym","s":"true","time":1},"time":1},"time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"s","time":1},"r":{"type":"bind","s":"n","time":1},"time":1},"r":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"s","time":1},"r":{"type":"bind","s":"m","time":1},"time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"=","time":1},"r":{"type":"var","s":"n","time":1},"time":1},"r":{"type":"var","s":"m","time":1},"time":1},"time":1},"time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"sym","s":"nil","time":1},"r":{"type":"fun","l":{"type":"sym","s":"nil","time":1},"r":{"type":"sym","s":"true","time":1},"time":1},"time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"just","time":1},"r":{"type":"bind","s":"x","time":1},"time":1},"r":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"just","time":1},"r":{"type":"bind","s":"y","time":1},"time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"=","time":1},"r":{"type":"var","s":"x","time":1},"time":1},"r":{"type":"var","s":"y","time":1},"time":1},"time":1},"time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"cons","time":1},"r":{"type":"cons","l":{"type":"bind","s":"x","time":1},"r":{"type":"bind","s":"xs","time":1},"time":1},"time":1},"r":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"cons","time":1},"r":{"type":"cons","l":{"type":"bind","s":"y","time":1},"r":{"type":"bind","s":"ys","time":1},"time":1},"time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"and","time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"=","time":1},"r":{"type":"var","s":"x","time":1},"time":1},"r":{"type":"var","s":"y","time":1},"time":1},"time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"=","time":1},"r":{"type":"var","s":"xs","time":1},"time":1},"r":{"type":"var","s":"ys","time":1},"time":1},"time":1},"time":1},"time":1},"r":{"type":"fun","l":{"type":"bind","s":"","time":1},"r":{"type":"fun","l":{"type":"bind","s":"","time":1},"r":{"type":"sym","s":"false","time":1},"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"time":1},"time":1},"r":{"type":"in","l":{"type":"let","l":{"type":"bind","s":"map","time":1},"r":{"type":"fun","l":{"type":"bind","s":"f","time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"fun","l":{"type":"bind","s":"a","time":1},"r":{"type":"bind","s":"b","time":1},"time":1},"r":{"type":"fun","l":{"type":"var","s":"a","time":1},"r":{"type":"app","l":{"type":"var","s":"f","time":1},"r":{"type":"var","s":"b","time":1},"time":1},"time":1},"time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"match","l":{"type":"fun","l":{"type":"bind","s":"a","time":1},"r":{"type":"bind","s":"b","time":1},"time":1},"r":{"type":"bind","s":"fs","time":1},"time":1},"r":{"type":"match","l":{"type":"app","l":{"type":"app","l":{"type":"var","s":"map","time":1},"r":{"type":"var","s":"f","time":1},"time":1},"r":{"type":"fun","l":{"type":"var","s":"a","time":1},"r":{"type":"var","s":"b","time":1},"time":1},"time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"map","time":1},"r":{"type":"var","s":"f","time":1},"time":1},"r":{"type":"var","s":"fs","time":1},"time":1},"time":1},"time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"sym","s":"nil","time":1},"r":{"type":"sym","s":"nil","time":1},"time":1},"r":{"type":"match","l":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"just","time":1},"r":{"type":"bind","s":"x","time":1},"time":1},"r":{"type":"cons","l":{"type":"sym","s":"just","time":1},"r":{"type":"app","l":{"type":"var","s":"f","time":1},"r":{"type":"var","s":"x","time":1},"time":1},"time":1},"time":1},"r":{"type":"fun","l":{"type":"cons","l":{"type":"sym","s":"cons","time":1},"r":{"type":"cons","l":{"type":"bind","s":"x","time":1},"r":{"type":"bind","s":"xs","time":1},"time":1},"time":1},"r":{"type":"cons","l":{"type":"sym","s":"cons","time":1},"r":{"type":"cons","l":{"type":"app","l":{"type":"var","s":"f","time":1},"r":{"type":"var","s":"x","time":1},"time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"map","time":1},"r":{"type":"var","s":"f","time":1},"time":1},"r":{"type":"var","s":"xs","time":1},"time":1},"time":1},"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"time":1},"time":1},"time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"map","time":1},"r":{"type":"fun","l":{"type":"bind","s":"f","time":1},"r":{"type":"app","l":{"type":"var","s":"f","time":1},"r":{"type":"sym","s":"!","time":1},"time":1},"time":1},"time":1},"r":{"type":"app","l":{"type":"app","l":{"type":"var","s":"map","time":1},"r":{"type":"app","l":{"type":"var","s":"map","time":1},"r":{"type":"fun","l":{"type":"bind","s":"x","time":1},"r":{"type":"cons","l":{"type":"sym","s":"foo","time":1},"r":{"type":"var","s":"x","time":1},"time":1},"time":1},"time":1},"time":1},"r":{"type":"cons","l":{"type":"sym","s":"cons","time":1},"r":{"type":"cons","l":{"type":"fun","l":{"type":"bind","s":"x","time":1},"r":{"type":"cons","l":{"type":"sym","s":"a","time":1},"r":{"type":"var","s":"x","time":1},"time":1},"time":1},"r":{"type":"cons","l":{"type":"sym","s":"cons","time":1},"r":{"type":"cons","l":{"type":"fun","l":{"type":"bind","s":"x","time":1},"r":{"type":"cons","l":{"type":"sym","s":"b","time":1},"r":{"type":"var","s":"x","time":1},"time":1},"time":1},"r":{"type":"sym","s":"nil","time":1},"time":1},"time":1},"time":1},"time":1},"time":1},"time":1,"newline":true},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"newline":true,"time":1},"time":1,"focused":true}