ats-sessions.sublime-workspace

{
	"auto_complete":
	{
		"selected_items":
		[
			[
				"uni",
				"uniqueValues"
			],
			[
				"skip",
				"skipSenderCheck"
			],
			[
				"com",
				"committed"
			],
			[
				"requ",
				"requests〔variable〕"
			],
			[
				"respon",
				"responses"
			],
			[
				"acc",
				"accptorside"
			],
			[
				"re",
				"requesterside"
			],
			[
				"proto",
				"prototype"
			],
			[
				"in",
				"intersect"
			],
			[
				"pattern",
				"patterns"
			],
			[
				"pat",
				"patterns〔argument〕"
			],
			[
				"rece",
				"receivers〔variable〕"
			],
			[
				"res",
				"respondents"
			],
			[
				"Na",
				"NanomsgBroker"
			],
			[
				"cast",
				"castvwtp1"
			],
			[
				"nng",
				"nng_socket"
			],
			[
				"pthr",
				"pthread_t"
			],
			[
				"pt",
				"pthread_t"
			],
			[
				"t",
				"transport"
			],
			[
				"expli",
				"explicitly"
			],
			[
				"equiv",
				"equivalences"
			],
			[
				"sych",
				"synchronously"
			],
			[
				"syn",
				"synchronously"
			],
			[
				"exp",
				"explicitly"
			],
			[
				"sig",
				"signature"
			],
			[
				"pres",
				"preserves"
			],
			[
				"clas",
				"classes"
			],
			[
				"__",
				"__name__ == '__main__':〔variable〕"
			],
			[
				"mem",
				"memory"
			],
			[
				"evalu",
				"evaluation"
			],
			[
				"appli",
				"applying"
			],
			[
				"the",
				"theorems"
			],
			[
				"lem",
				"lemmas"
			],
			[
				"contra",
				"contractum"
			],
			[
				"constn",
				"constants"
			],
			[
				"all",
				"allocated"
			],
			[
				"resou",
				"resources"
			],
			[
				"faci",
				"facilitate"
			],
			[
				"invol",
				"involves"
			],
			[
				"Subs",
				"Substitution"
			],
			[
				"implem",
				"implementations"
			],
			[
				"sy",
				"symmetric"
			],
			[
				"corres",
				"correspond"
			],
			[
				"gene",
				"generalization"
			],
			[
				"genera",
				"generalize"
			],
			[
				"gen",
				"generalized"
			],
			[
				"functi",
				"functional"
			],
			[
				"jud",
				"judgement"
			],
			[
				"thero",
				"theory"
			],
			[
				"bal",
				"balanced"
			],
			[
				"st",
				"straightforward"
			],
			[
				"pre-de",
				"pre-defined"
			],
			[
				"des",
				"described"
			],
			[
				"colon",
				"coloncolon"
			],
			[
				"rel",
				"relations"
			],
			[
				"comm",
				"communication"
			],
			[
				"corrspon",
				"correspondences"
			],
			[
				"equi",
				"equivalences"
			],
			[
				"constru",
				"constructors"
			],
			[
				"stu",
				"structured"
			],
			[
				"bro",
				"broadcast"
			],
			[
				"clos",
				"closeendpoint"
			],
			[
				"conn",
				"connected"
			],
			[
				"marg",
				"margin-bottom"
			],
			[
				"margin",
				"margin-right"
			],
			[
				"margi",
				"margin-left"
			],
			[
				"mar",
				"margin-top"
			],
			[
				"ba",
				"background-color"
			],
			[
				"back",
				"background-color"
			],
			[
				"even",
				"events〔variable〕"
			],
			[
				"mail",
				"mailboxes"
			],
			[
				"updateMail",
				"updateSvgMailboxLinks"
			],
			[
				"selec",
				"selectAll"
			],
			[
				"endpoin",
				"endpoints"
			],
			[
				"select",
				"selection〔variable〕"
			],
			[
				"Sess",
				"SessionRecorder"
			],
			[
				"Se",
				"SessionEvent"
			],
			[
				"Ses",
				"SessionRecorderWorker"
			],
			[
				"cons",
				"constructor"
			],
			[
				"close",
				"close_as_leader"
			],
			[
				"Les",
				"LessThan"
			],
			[
				"Gre",
				"GreaterThanEquals"
			],
			[
				"n",
				"n_items"
			],
			[
				"G",
				"GreaterThanEquals"
			],
			[
				"setup",
				"setup_x11"
			],
			[
				"broker",
				"brokeraddr〔variable〕"
			],
			[
				"brok",
				"brokeraddr"
			],
			[
				"print",
				"print_delim"
			],
			[
				"Path",
				"PathParam"
			],
			[
				"jo",
				"jobPoolSize"
			],
			[
				"transf",
				"transfer_state"
			],
			[
				"regis",
				"registerMapper"
			],
			[
				"APOLLO_",
				"APOLLO_URL"
			],
			[
				"APOLLO",
				"APOLLO_VER"
			],
			[
				"PRO",
				"PROTOBUF_CPP"
			],
			[
				"clearT",
				"clearInterval〔function〕"
			],
			[
				"clear",
				"clearTimeout〔function〕"
			],
			[
				"reset",
				"reset_timer"
			],
			[
				"send",
				"send_within_session"
			],
			[
				"vo",
				"votedfor"
			],
			[
				"multi",
				"multiplier〔variable〕"
			],
			[
				"Nested",
				"NestedProd"
			],
			[
				"ann",
				"announce"
			],
			[
				"on_",
				"on_match"
			],
			[
				"worker",
				"worker.onmessage"
			],
			[
				"gener",
				"generalization"
			],
			[
				"endo",
				"endomorphism"
			],
			[
				"ult",
				"ultrafilter"
			],
			[
				"ultra",
				"ultrafilters"
			],
			[
				"cut",
				"cut-elimination"
			],
			[
				"con",
				"containsHelper"
			],
			[
				"pretty_s0",
				"pretty_s0tring"
			],
			[
				"pretty_i",
				"pretty_d0eclist"
			],
			[
				"pretty_d0",
				"pretty_d0eclist"
			],
			[
				"pretty_e",
				"pretty_d0eclist"
			],
			[
				"displays",
				"displayStr"
			],
			[
				"besideSof",
				"besideSoftbreak"
			],
			[
				"rbra",
				"rbracket"
			],
			[
				"lbra",
				"lbrace"
			],
			[
				"fix",
				"fix-point"
			],
			[
				"deadlock",
				"deadlock-freeness"
			],
			[
				"dead",
				"deadlock-freeness"
			],
			[
				"intui",
				"intuitionistic"
			],
			[
				"form",
				"formalization"
			],
			[
				"deque",
				"dequeuing"
			],
			[
				"strai",
				"straitforwardly"
			],
			[
				"read",
				"read〔function〕"
			],
			[
				"readlin",
				"readlines〔function〕"
			]
		]
	},
	"buffers":
	[
		{
			"file": "node2/util.js",
			"settings":
			{
				"buffer_size": 1413,
				"encoding": "UTF-8",
				"line_ending": "Unix"
			}
		},
		{
			"file": "node2/collection.js",
			"settings":
			{
				"buffer_size": 4049,
				"encoding": "UTF-8",
				"line_ending": "Unix"
			}
		},
		{
			"file": "node2/msg.js",
			"settings":
			{
				"buffer_size": 1259,
				"encoding": "UTF-8",
				"line_ending": "Unix"
			}
		},
		{
			"file": "node2/session.js",
			"settings":
			{
				"buffer_size": 2306,
				"encoding": "UTF-8",
				"line_ending": "Unix"
			}
		},
		{
			"file": "rtsession.sats",
			"settings":
			{
				"buffer_size": 1070,
				"encoding": "UTF-8",
				"line_ending": "Unix"
			}
		},
		{
			"file": "rt.sats",
			"settings":
			{
				"buffer_size": 1138,
				"encoding": "UTF-8",
				"line_ending": "Unix"
			}
		},
		{
			"file": "libsession.sats",
			"settings":
			{
				"buffer_size": 4098,
				"line_ending": "Unix"
			}
		},
		{
			"file": "node2/transport.js",
			"settings":
			{
				"buffer_size": 2284,
				"encoding": "UTF-8",
				"line_ending": "Unix"
			}
		},
		{
			"file": "node2/test.js",
			"settings":
			{
				"buffer_size": 9717,
				"encoding": "UTF-8",
				"line_ending": "Unix"
			}
		},
		{
			"file": "node2/endpoint.js",
			"settings":
			{
				"buffer_size": 16914,
				"encoding": "UTF-8",
				"line_ending": "Unix"
			}
		},
		{
			"file": "node2/recorder.js",
			"settings":
			{
				"buffer_size": 1651,
				"encoding": "UTF-8",
				"line_ending": "Unix"
			}
		},
		{
			"file": "node2/renderer.js",
			"settings":
			{
				"buffer_size": 4016,
				"encoding": "UTF-8",
				"line_ending": "Unix"
			}
		}
	],
	"build_system": "Packages/User/ats.sublime-build",
	"build_system_choices":
	[
		[
			[
				[
					"Packages/Haskell/Haskell.sublime-build",
					""
				],
				[
					"Packages/SublimeREPL/sublimerepl_build_system_hack.sublime-build",
					""
				]
			],
			[
				"Packages/Haskell/Haskell.sublime-build",
				""
			]
		],
		[
			[
				[
					"Packages/Makefile/Make.sublime-build",
					""
				],
				[
					"Packages/Makefile/Make.sublime-build",
					"Clean"
				],
				[
					"Packages/JSLint/JSLint.sublime-build",
					""
				],
				[
					"Packages/SublimeREPL/sublimerepl_build_system_hack.sublime-build",
					""
				]
			],
			[
				"Packages/JSLint/JSLint.sublime-build",
				""
			]
		],
		[
			[
				[
					"Packages/Makefile/Make.sublime-build",
					""
				],
				[
					"Packages/Makefile/Make.sublime-build",
					"Clean"
				],
				[
					"Packages/JSLint/JSLint.sublime-build",
					""
				],
				[
					"Packages/SublimeREPL/sublimerepl_build_system_hack.sublime-build",
					""
				],
				[
					"Packages/User/ats.sublime-build",
					""
				],
				[
					"Packages/User/ats.sublime-build",
					"Type Check"
				],
				[
					"Packages/User/ats.sublime-build",
					"Compile with GC"
				],
				[
					"Packages/User/ats.sublime-build",
					"Make"
				],
				[
					"Packages/User/ats.sublime-build",
					"Compile to C"
				]
			],
			[
				"Packages/User/ats.sublime-build",
				"Type Check"
			]
		],
		[
			[
				[
					"Packages/Makefile/Make.sublime-build",
					""
				],
				[
					"Packages/Makefile/Make.sublime-build",
					"Clean"
				],
				[
					"Packages/SublimeREPL/sublimerepl_build_system_hack.sublime-build",
					""
				],
				[
					"Packages/User/ats.sublime-build",
					""
				],
				[
					"Packages/User/ats.sublime-build",
					"Type Check"
				],
				[
					"Packages/User/ats.sublime-build",
					"Compile with GC"
				],
				[
					"Packages/User/ats.sublime-build",
					"Make"
				],
				[
					"Packages/User/ats.sublime-build",
					"Compile to C"
				]
			],
			[
				"Packages/User/ats.sublime-build",
				"Type Check"
			]
		],
		[
			[
				[
					"Packages/Python/Python.sublime-build",
					""
				],
				[
					"Packages/Python/Python.sublime-build",
					"Syntax Check"
				],
				[
					"Packages/Python 3/Python3.sublime-build",
					""
				],
				[
					"Packages/SublimeREPL/sublimerepl_build_system_hack.sublime-build",
					""
				]
			],
			[
				"Packages/Python 3/Python3.sublime-build",
				""
			]
		],
		[
			[
				[
					"Packages/Python/Python.sublime-build",
					""
				],
				[
					"Packages/Python/Python.sublime-build",
					"Syntax Check"
				],
				[
					"Packages/SublimeREPL/sublimerepl_build_system_hack.sublime-build",
					""
				]
			],
			[
				"Packages/Python/Python.sublime-build",
				""
			]
		],
		[
			[
				[
					"Packages/Python/Python.sublime-build",
					""
				],
				[
					"Packages/Python/Python.sublime-build",
					"Syntax Check"
				],
				[
					"Packages/SublimeREPL/sublimerepl_build_system_hack.sublime-build",
					""
				],
				[
					"Packages/User/Python 3.sublime-build",
					""
				]
			],
			[
				"Packages/User/Python 3.sublime-build",
				""
			]
		],
		[
			[
				[
					"Packages/SublimeREPL/sublimerepl_build_system_hack.sublime-build",
					""
				],
				[
					"Packages/User/ats.sublime-build",
					""
				]
			],
			[
				"Packages/User/ats.sublime-build",
				""
			]
		],
		[
			[
				[
					"Packages/SublimeREPL/sublimerepl_build_system_hack.sublime-build",
					""
				],
				[
					"Packages/User/ats.sublime-build",
					""
				],
				[
					"Packages/User/ats.sublime-build",
					"Type Check"
				],
				[
					"Packages/User/ats.sublime-build",
					"Compile with GC"
				],
				[
					"Packages/User/ats.sublime-build",
					"Make"
				]
			],
			[
				"Packages/User/ats.sublime-build",
				"Make"
			]
		],
		[
			[
				[
					"Packages/SublimeREPL/sublimerepl_build_system_hack.sublime-build",
					""
				],
				[
					"Packages/User/ats.sublime-build",
					""
				],
				[
					"Packages/User/ats.sublime-build",
					"Type Check"
				],
				[
					"Packages/User/ats.sublime-build",
					"Compile with GC"
				],
				[
					"Packages/User/ats.sublime-build",
					"Make"
				],
				[
					"Packages/User/ats.sublime-build",
					"Compile to C"
				]
			],
			[
				"Packages/User/ats.sublime-build",
				"Type Check"
			]
		],
		[
			[
				[
					"Packages/SublimeREPL/sublimerepl_build_system_hack.sublime-build",
					""
				],
				[
					"Packages/User/ats.sublime-build",
					""
				],
				[
					"Packages/User/ats.sublime-build",
					"Type Checking"
				],
				[
					"Packages/User/ats.sublime-build",
					"Compile with GC"
				],
				[
					"Packages/User/ats.sublime-build",
					"Make"
				]
			],
			[
				"Packages/User/ats.sublime-build",
				"Type Checking"
			]
		],
		[
			[
				[
					"Packages/User/ats.sublime-build",
					""
				],
				[
					"Packages/User/ats.sublime-build",
					"Type Check"
				],
				[
					"Packages/User/ats.sublime-build",
					"Compile with GC"
				],
				[
					"Packages/User/ats.sublime-build",
					"Make"
				]
			],
			[
				"Packages/User/ats.sublime-build",
				"Type Check"
			]
		],
		[
			[
				[
					"Packages/User/ats.sublime-build",
					""
				],
				[
					"Packages/User/ats.sublime-build",
					"Type Checking"
				],
				[
					"Packages/User/ats.sublime-build",
					"Compile with GC"
				]
			],
			[
				"Packages/User/ats.sublime-build",
				"Compile with GC"
			]
		],
		[
			[
				[
					"Packages/User/ats.sublime-build",
					""
				],
				[
					"Packages/User/ats.sublime-build",
					"Type Checking"
				],
				[
					"Packages/User/ats.sublime-build",
					"Compile with GC"
				],
				[
					"Packages/User/ats.sublime-build",
					"Make"
				]
			],
			[
				"Packages/User/ats.sublime-build",
				"Make"
			]
		]
	],
	"build_varint": "Type Check",
	"command_palette":
	{
		"height": 345.0,
		"last_filter": "",
		"selected_items":
		[
			[
				"jslint",
				"JSLint"
			],
			[
				"lint",
				"JSLint"
			],
			[
				"setting",
				"Preferences: Settings"
			],
			[
				"insta",
				"Package Control: Install Package"
			],
			[
				"ali",
				"AlignTab: Live Preview Mode"
			],
			[
				"ats",
				"Set Syntax: ATS"
			],
			[
				"extende",
				"Set Syntax: Markdown Extended"
			],
			[
				"high vio",
				"BracketHighlighter: Toggle High Visibility Mode"
			],
			[
				"removep",
				"Package Control: Remove Package"
			],
			[
				"package",
				"Package Control: Remove Package"
			],
			[
				"markdownexten",
				"Set Syntax: Markdown Extended"
			],
			[
				"syntaxmarkdown",
				"Set Syntax: Markdown Extended"
			],
			[
				"spac",
				"Indentation: Convert to Spaces"
			],
			[
				"late",
				"Set Syntax: LaTeX"
			],
			[
				"space",
				"Indentation: Convert to Spaces"
			],
			[
				"tex",
				"Set Syntax: LaTeX"
			],
			[
				"latex",
				"Set Syntax: LaTeX"
			],
			[
				"colorsche",
				"UI: Select Color Scheme"
			],
			[
				"install",
				"Package Control: Install Package"
			],
			[
				"matlab",
				"Set Syntax: MATLAB"
			],
			[
				"python",
				"Set Syntax: Python3"
			],
			[
				"alig",
				"AlignTab: Live Preview Mode"
			],
			[
				"",
				"AlignTab: Live Preview Mode"
			],
			[
				"wrap",
				"Word Wrap: Toggle"
			],
			[
				"align",
				"AlignTab: Live Preview Mode"
			],
			[
				"formatasj",
				"CodeFormatter: Format as Javascript Syntax"
			],
			[
				"fo",
				"CodeFormatter: Format as Javascript Syntax"
			],
			[
				"format as",
				"CodeFormatter: Format as Javascript Syntax"
			],
			[
				"format",
				"CodeFormatter: Format Code"
			],
			[
				"upgra",
				"Package Control: Upgrade Package"
			],
			[
				"upper",
				"Convert Case: Upper Case"
			],
			[
				"fmt",
				"JSFMT: Format the current file"
			],
			[
				"json",
				"Set Syntax: JSON"
			],
			[
				"javascrip",
				"Set Syntax: JavaScript Next"
			],
			[
				"sort",
				"Sort Lines"
			],
			[
				"c++",
				"Set Syntax: C++"
			],
			[
				"typech",
				"Build With: ats - Type Check"
			],
			[
				"repl",
				"SublimeREPL: Python"
			],
			[
				"pytho",
				"Set Syntax: Python3"
			],
			[
				"jsfm",
				"JSFMT: Format the current file"
			],
			[
				"javascipt",
				"CodeFormatter: Format as Javascript Syntax"
			],
			[
				"aligi",
				"AlignTab: Live Preview Mode"
			],
			[
				"typ",
				"Build With: ats - Type Check"
			],
			[
				"type",
				"Build With: ats - Type Check"
			],
			[
				"list",
				"Package Control: List Packages"
			],
			[
				"jsonto",
				"Convert: JSON to CSON"
			],
			[
				"cson",
				"Convert: CSON to JSON"
			],
			[
				"togcson",
				"Convert: Toggle Object Notation (CSON⟷JSON)"
			],
			[
				"upgrade",
				"Package Control: Upgrade Package"
			],
			[
				"instal",
				"Package Control: Install Package"
			],
			[
				"yamle",
				"PackageDev: Convert to YAML and Rearrange Syntax Definition"
			],
			[
				"yaml",
				"Set Syntax: YAML"
			],
			[
				"atomizer",
				"Atomizr: Convert Atom to Sublime Text"
			],
			[
				"in",
				"Package Control: Install Package"
			],
			[
				"te",
				"Set Syntax: LaTeX"
			],
			[
				"hask",
				"Set Syntax: Haskell"
			],
			[
				"java",
				"Set Syntax: Java"
			],
			[
				"tab",
				"Indentation: Convert to Tabs"
			],
			[
				"surround",
				"Surround: delete surround"
			],
			[
				"random",
				"Random:Text"
			],
			[
				"form",
				"CodeFormatter: Format Code"
			],
			[
				"com",
				"CSV: Compact columns"
			],
			[
				"justify",
				"CSV: Justify columns"
			],
			[
				"python3",
				"Set Syntax: Python3"
			],
			[
				"just",
				"CSV: Justify columns"
			],
			[
				"ju",
				"CSV: Justify columns"
			],
			[
				"compa",
				"CSV: Compact columns"
			],
			[
				"csv",
				"CSV: Justify columns"
			],
			[
				"delete",
				"CSV: Delete column"
			],
			[
				"install pa",
				"Package Control: Install Package"
			],
			[
				"bash",
				"Set Syntax: Shell Script (Bash)"
			],
			[
				"shell",
				"SublimeREPL: Shell"
			],
			[
				"markdown",
				"Set Syntax: AcademicMarkdown"
			],
			[
				"scala",
				"Set Syntax: Scala"
			],
			[
				"make",
				"Set Syntax: Makefile"
			],
			[
				"merge",
				"Sublimerge: Show Changes Between Current and Remote..."
			],
			[
				"haske",
				"Set Syntax: Haskell"
			],
			[
				"update",
				"Package Control: Upgrade/Overwrite All Packages"
			],
			[
				"jsfmt",
				"JSFMT: Format the current file"
			],
			[
				"al",
				"AlignTab: Live Preview Mode"
			],
			[
				"replcur",
				"SublimeREPL: Python - RUN current file"
			],
			[
				"replpy",
				"SublimeREPL: Python"
			],
			[
				"markdo",
				"Set Syntax: Markdown Extended"
			],
			[
				"pandoc",
				"Pandoc"
			],
			[
				"ma",
				"Set Syntax: Markdown GFM"
			],
			[
				"docker",
				"Set Syntax: Dockerfile"
			],
			[
				"reinde",
				"Indentation: Reindent Lines"
			],
			[
				"ruby",
				"Set Syntax: Ruby"
			],
			[
				"compi",
				"Coffee: Compile File"
			],
			[
				"cofeescript",
				"Set Syntax: CoffeeScript"
			],
			[
				"coffeescr",
				"Set Syntax: CoffeeScript (Literate)"
			],
			[
				"coffee",
				"Set Syntax: CoffeeScript"
			],
			[
				"randomte",
				"Random:Text"
			],
			[
				"lisp",
				"Set Syntax: Lisp"
			],
			[
				"ins",
				"Package Control: Install Package"
			],
			[
				"user",
				"Preferences: Settings - User"
			],
			[
				"instl",
				"Package Control: Install Package"
			],
			[
				"awk",
				"Set Syntax: AWK"
			],
			[
				"sor",
				"Sort Lines"
			],
			[
				"close",
				"Project: Close"
			],
			[
				"add",
				"Project: Add Folder"
			],
			[
				"comple",
				"PackageDev: New Completions File"
			],
			[
				"syntaxc",
				"Set Syntax: C"
			],
			[
				"syntax c",
				"Set Syntax: C"
			],
			[
				"up",
				"Package Control: Upgrade Package"
			],
			[
				"convert",
				"PackageDev: Convert (YAML, JSON, PList) to…"
			],
			[
				"aaa",
				"Package Control: Add Repository"
			],
			[
				"upgr",
				"Package Control: Upgrade Package"
			],
			[
				"pack",
				"Package Control: Upgrade Package"
			],
			[
				"acd",
				"Set Syntax: AcademicMarkdown"
			],
			[
				"markdow",
				"Set Syntax: AcademicMarkdown"
			],
			[
				"fortmat",
				"CodeFormatter: Format as CSS Syntax"
			],
			[
				"pando",
				"Pandoc"
			],
			[
				"pand",
				"Pandoc"
			],
			[
				"aca",
				"Set Syntax: AcademicMarkdown"
			],
			[
				"forma",
				"CodeFormatter: Format Code"
			],
			[
				"fotm",
				"JSFMT: Format the current file"
			],
			[
				"emma",
				"Emmet: Wrap With Abbreviation"
			],
			[
				"emmet",
				"Emmet: Rename Tag"
			],
			[
				"for",
				"CodeFormatter: Format as CSS Syntax"
			],
			[
				"liqu",
				"Set Syntax: HTML Liquid"
			],
			[
				"html",
				"HTML: Encode Special Characters"
			],
			[
				"acdemi",
				"Set Syntax: AcademicMarkdown"
			],
			[
				"scss",
				"Set Syntax: SCSS"
			],
			[
				"erlan",
				"Set Syntax: Erlang"
			],
			[
				"erlang",
				"Set Syntax: Erlang"
			],
			[
				"alitn",
				"AlignTab: Live Preview Mode"
			],
			[
				"low",
				"Convert Case: Lower Case"
			]
		],
		"width": 528.0
	},
	"console":
	{
		"height": 282.0,
		"history":
		[
			"pwd",
			"asd",
			"clean",
			"clear",
			"import urllib.request,os,hashlib; h = '2915d1851351e5ee549c20394736b442' + '8bc59f460fa1548d1514676163dafc88'; pf = 'Package Control.sublime-package'; ipp = sublime.installed_packages_path(); urllib.request.install_opener( urllib.request.build_opener( urllib.request.ProxyHandler()) ); by = urllib.request.urlopen( 'http://packagecontrol.io/' + pf.replace(' ', '%20')).read(); dh = hashlib.sha256(by).hexdigest(); print('Error validating download (got %s instead of %s), please try manual install' % (dh, h)) if dh != h else open(os.path.join( ipp, pf), 'wb' ).write(by)"
		]
	},
	"distraction_free":
	{
		"menu_visible": true,
		"show_minimap": false,
		"show_open_files": false,
		"show_tabs": false,
		"side_bar_visible": false,
		"status_bar_visible": false
	},
	"expanded_folders":
	[
		"/Users/hwwu/Git/ats-sessions",
		"/Users/hwwu/Git/ats-sessions/node2"
	],
	"file_history":
	[
		"/Users/hwwu/Library/Application Support/Sublime Text 3/Packages/JSLint/JSLint.sublime-settings",
		"/Users/hwwu/Git/ats-sessions/node2/transport.js",
		"/Users/hwwu/Git/ats-sessions/node2/log",
		"/Users/hwwu/Git/ats-sessions/node2/test.js",
		"/Users/hwwu/Git/ats-sessions/node2/collection.js",
		"/Users/hwwu/Git/ats-sessions/node2/msg.js",
		"/Users/hwwu/Downloads/nonwindows-2/client2.conf",
		"/Users/hwwu/Downloads/openvpn-2/51 Glen.ovpn",
		"/Users/hwwu/Downloads/openvpn-3/VPNConfig.ovpn",
		"/Users/hwwu/Downloads/openvpn-2/VPNConfig.ovpn",
		"/Users/hwwu/Downloads/openvpn/51 Glen.ovpn",
		"/Users/hwwu/Git/ats-sessions/node/renderer.js",
		"/Users/hwwu/Git/ats-sessions/node/endpoint.js",
		"/Users/hwwu/Git/ats-sessions/node2/util.js",
		"/Users/hwwu/Git/ats-sessions/node2/session.js",
		"/Users/hwwu/Git/ats-sessions/node/util.js",
		"/Users/hwwu/Git/ats-sessions/node2/node_modules/nanomsg/lib/index.js",
		"/Users/hwwu/Git/ats-sessions/node/socket.js",
		"/Users/hwwu/Git/ats-sessions/ats/Makefile",
		"/Users/hwwu/Git/ats-sessions/ats/uuid.dats",
		"/Users/hwwu/Git/ats-sessions/ats/transport.dats",
		"/Users/hwwu/Git/ats-sessions/ats/thread.dats",
		"/Users/hwwu/Git/ats-sessions/ats/main.dats",
		"/Users/hwwu/Git/ats-sessions/ats/endpoint.dats",
		"/Users/hwwu/Git/ats-sessions/ats/transport.sats",
		"/Users/hwwu/Git/ats-sessions/ats/thread.sats",
		"/Users/hwwu/Git/ats-sessions/ats/test.c",
		"/Users/hwwu/Git/ats-sessions/ats/json.sats",
		"/Users/hwwu/Git/ats-sessions/ats/endpoint.sats",
		"/Users/hwwu/Git/ats-sessions/thread.sats",
		"/Users/hwwu/Git/ats-sessions/ats/uuid.sats",
		"/Users/hwwu/Git/ats-sessions/ats/uuid_dats.c",
		"/Users/hwwu/Git/ats-sessions/ats/thread_dats.c",
		"/usr/include/uuid/uuid.h",
		"/Users/hwwu/Git/ats-sessions/ats/transport_dats.c",
		"/usr/local/Homebrew/Library/Taps/homebrew/homebrew-core/Formula/valgrind.rb",
		"/usr/include/sys/_types.h",
		"/usr/include/sys/_types/_uuid_t.h",
		"/usr/local/include/zuuid.h",
		"/Users/hwwu/Git/ats-sessions/ats/main_dats.c",
		"/Users/hwwu/Git/ats-sessions/ats/json.dats",
		"/Users/hwwu/Git/ats-sessions/node/node_modules/nanomsg/deps/nanomsg/src/devices/device.h",
		"/Users/hwwu/Git/ats-sessions/python/transport.py",
		"/Users/hwwu/Git/ats-sessions/node/node_modules/nanomsg/deps/nanomsg/src/devices/device.c",
		"/Users/hwwu/Git/ats-sessions/constraints",
		"/Users/hwwu/Git/ats-sessions/c/transport.h",
		"/Users/hwwu/Git/ats-sessions/rtsession.sats",
		"/Users/hwwu/Git/ats-sessions/python/redis_transport.py",
		"/Users/hwwu/Git/ats-sessions/Makefile",
		"/Users/hwwu/Git/ats-sessions/libsession.sats",
		"/Users/hwwu/Git/ats-sessions/test_bitcoinpayment.dats",
		"/Users/hwwu/Git/ats-sessions/c/msg.h",
		"/Users/hwwu/Git/ats-sessions/python/msg.py",
		"/Users/hwwu/Git/ats-sessions/python/endpoint.py",
		"/Users/hwwu/Git/ats-sessions/python/broker.py",
		"/Users/hwwu/Git/ats-sessions/python/test.py",
		"/usr/local/lib/python3.6/site-packages/nanomsg/__init__.py",
		"/Users/hwwu/Git/ats-sessions/rtsession.dats",
		"/Users/hwwu/Git/ats-sessions/c/utils.h",
		"/Users/hwwu/Git/ats-sessions/endpoint.sats",
		"/Users/hwwu/Git/ats-sessions/ats/roles.sats",
		"/Users/hwwu/Git/ats-sessions/c/roles.h",
		"/Users/hwwu/Git/ats-sessions/c/endpoint.h",
		"/Users/hwwu/Git/ats-sessions/endpoint.dats",
		"/Users/hwwu/Git/ats-sessions/endpoint_redis.dats",
		"/Users/hwwu/Library/Application Support/Sublime Text 3/Packages/BracketHighlighter/bh_core.sublime-settings",
		"/Users/hwwu/Library/Application Support/Sublime Text 3/Packages/User/bh_core.sublime-settings",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/30-simplesession.md",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/build/ex-simple-eq.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/div2thm.py",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/test.md",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/Makefile",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/build/preserve_comments.py",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/40-mtlcdep.md",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/before.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/mtlc0typing.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/mtlc0_prf_subst.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/mtlc0_prf_subjectreduction.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/mtlc0_prf_subjectreduction_terms.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/mtlc0_prf_progress.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/mtlc0red.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/20-mtlc0.md",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/mtlc0_prf_progress_terms.tex",
		"/Users/hwwu/Git/ats-postiats-release/my-travis-ci/install_contrib.sh",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/mtlcsimplered.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/mtlc0syntax.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/mtlc0rho.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/mrl.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/lmrl.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/lk.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/header.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/mtlcsimplerho.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/mtlcdepsyntax.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/abbrv.md",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/typography.md",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/mtlcsimplesyntax.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/10-intro.md",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/mtlc0_prf_uniquedecomposition.tex",
		"/Users/hwwu/Git/paper-jekyll-theme/_config.yml",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/include/mtlc0_prf_subjectreduction.tex.md",
		"/Users/hwwu/Git/research-notes/2017-01-CONCUR2017/include/mtlc0syntax.tex",
		"/Users/hwwu/Git/ats-session-playground/dependent/tests/teststub.dats",
		"/Users/hwwu/Git/ats-session-playground/dependent/tests/simple.dats",
		"/Users/hwwu/Git/ats-session-playground/dependent/tests/poly.dats",
		"/Users/hwwu/Git/ats-session-playground/dependent/tests/dep_testeq.dats",
		"/Users/hwwu/Git/ats-sessions/set.smt2",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/01-intro.md",
		"/Users/hwwu/Git/ats-sessions/test_typechecking.dats",
		"/Users/hwwu/Library/Group Containers/2E337YPCZY.airmail/Library/Application Support/it.bloop.airmail2/Airmail/steinwaywhw@gmail.com_1/AttachmentsNg/CAAfXiEnfhmwMk6XWU2R+UrtTeonO=7pVeCSF+NH9gt6_uSFkAg@mail.gmail.com/contours2ucm.m",
		"/Users/hwwu/Git/ats-postiats-release/my-travis-ci/build_docker.sh",
		"/Users/hwwu/Git/ats-postiats-release/my-travis-ci/Dockerfile",
		"/Users/hwwu/Git/docker-ats-base/install.sh",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/main.md",
		"/Users/hwwu/Git/pandoc-templates/bu_ece_thesis/bu_ece_thesis.pandoc-template",
		"/Users/hwwu/Git/research-notes/2017-08-LC2017-Talk/cut.tex",
		"/Users/hwwu/Git/research-notes/2017-08-LC2017-Talk/Makefile",
		"/Users/hwwu/Git/research-notes/2017-08-LC2017-Talk/intuitions.tex",
		"/Users/hwwu/Git/pandoc-templates/bu_ece_thesis/build/before.tex",
		"/Users/hwwu/Git/research-notes/2018-03-Thesis/build/submission.tex",
		"/Users/hwwu/Git/ats-sessions/set.sats",
		"/Users/hwwu/Git/ats-sessions/session.dats",
		"/Users/hwwu/Git/ats-session-playground/multiparty/session.dats",
		"/Users/hwwu/Git/ats-session-playground/multiparty/test.beam",
		"/Users/hwwu/Git/ats-session-playground/multiparty/session.erl",
		"/Users/hwwu/Git/ats-learn-some-logics/multirole/set.smt",
		"/Users/hwwu/Git/ats-session-playground/multiparty/Makefile",
		"/Users/hwwu/Git/ats-session-playground/multiparty/session_dats.c",
		"/Users/hwwu/Git/ats-session-playground/multiparty/app/lib/session.erl"
	],
	"find":
	{
		"height": 54.0
	},
	"find_in_files":
	{
		"height": 139.0,
		"where_history":
		[
		]
	},
	"find_state":
	{
		"case_sensitive": false,
		"find_history":
		[
			"rtdata",
			"rttype",
			"table",
			"commit",
			"yes",
			"link.payload.roles",
			"committed",
			"vote",
			"receive",
			"cancel",
			"console.log",
			"here",
			"decodeMsg",
			"s.ep.",
			"s",
			"link",
			"ping",
			"\t\trecorder.log(this)",
			"recorder.log",
			"current",
			"record",
			"new Msg",
			"role",
			"this",
			"s.sync",
			"new Msg('msg', [",
			"Endpoint",
			"committed",
			"yes",
			"link",
			"child.peers.uniqueValues()",
			"vote",
			"Vote",
			"vote",
			"sender",
			"vote",
			"Session",
			"trans",
			"roles",
			"layer",
			"full",
			"root",
			"vote",
			"encodeMsg",
			"vote",
			"Endpoint",
			"ep2",
			"ep1",
			"layer",
			"uniqueValues",
			"full",
			"layer",
			"node",
			"keep",
			"uniquevalues",
			"responses",
			"build_condition",
			"  'msg/session1/",
			"  ... 1 more item ] │",
			"  'go/session1'",
			"as root",
			"as node",
			"ep2",
			"epb",
			"[1,2,3]",
			"epb",
			"console.log",
			"map",
			"link finished",
			"encode",
			"isempty",
			"this.buffer",
			"push(msg)",
			"msg",
			"newroles",
			"full",
			"keep",
			"this",
			"commit",
			"vote",
			"toJSON()",
			"_receive",
			"encode",
			"reply",
			"vote?",
			"req",
			"vote?",
			"recorder",
			"json.stringify",
			"addClass",
			"\"",
			"ep",
			"link",
			"empty",
			"vote.sender",
			"req",
			"uniquevalues",
			"peers",
			"responses",
			"linkaccept",
			"linkrequest",
			"vote",
			"isSubsetOf",
			"linkaccept",
			"accmsg",
			"var",
			"reqside",
			"accside",
			"respondents.has",
			"_send",
			"isoutofsession",
			"map",
			"accept",
			"request",
			"accept",
			"const",
			"_receive",
			"accept",
			"req",
			"linkrequests",
			"keep.",
			"empty",
			"requesterside",
			"accptorside",
			"forward",
			".get(0)",
			"[0]",
			"Set.minus(full, keep.roles)"
		],
		"highlight": false,
		"in_selection": false,
		"preserve_case": false,
		"regex": false,
		"replace_history":
		[
		],
		"reverse": false,
		"show_context": true,
		"use_buffer2": true,
		"whole_word": false,
		"wrap": true
	},
	"groups":
	[
		{
			"selected": 5,
			"sheets":
			[
				{
					"buffer": 0,
					"file": "node2/util.js",
					"semi_transient": false,
					"settings":
					{
						"buffer_size": 1413,
						"regions":
						{
						},
						"selection":
						[
							[
								591,
								591
							]
						],
						"settings":
						{
							"WordCount":
							{
								"changes": 0,
								"count": 118,
								"modified": false,
								"selection": false,
								"status": -1,
								"syntax": "plain text"
							},
							"auto_complete": false,
							"bracket_highlighter.busy": false,
							"bracket_highlighter.clone": -1,
							"bracket_highlighter.clone_locations":
							{
								"close":
								{
									"1":
									[
										1389,
										1390
									]
								},
								"icon":
								{
									"1":
									[
										"Packages/BracketHighlighter/icons/curly_bracket.png",
										"region.purplish"
									]
								},
								"open":
								{
									"1":
									[
										590,
										591
									]
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.clone_regions":
							[
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content"
							],
							"bracket_highlighter.locations":
							{
								"close":
								{
									"1":
									[
										1389,
										1390
									]
								},
								"icon":
								{
									"1":
									[
										"Packages/BracketHighlighter/icons/curly_bracket.png",
										"region.purplish"
									]
								},
								"open":
								{
									"1":
									[
										590,
										591
									]
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.regions":
							[
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content"
							],
							"git_gutter_is_enabled": true,
							"incomplete_sync": null,
							"remote_loading": false,
							"synced": false,
							"syntax": "Packages/JavaScriptNext - ES6 Syntax/JavaScriptNext.tmLanguage",
							"translate_tabs_to_spaces": false
						},
						"translation.x": 0.0,
						"translation.y": 0.0,
						"zoom_level": 1.0
					},
					"stack_index": 10,
					"type": "text"
				},
				{
					"buffer": 1,
					"file": "node2/collection.js",
					"semi_transient": false,
					"settings":
					{
						"buffer_size": 4049,
						"regions":
						{
						},
						"selection":
						[
							[
								1095,
								1095
							]
						],
						"settings":
						{
							"WordCount":
							{
								"changes": 0,
								"count": 271,
								"modified": false,
								"selection": false,
								"status": -1,
								"syntax": "plain text"
							},
							"auto_complete": false,
							"bracket_highlighter.busy": false,
							"bracket_highlighter.clone": -1,
							"bracket_highlighter.clone_locations":
							{
								"close":
								{
									"1":
									[
										1187,
										1188
									]
								},
								"icon":
								{
									"1":
									[
										"Packages/BracketHighlighter/icons/curly_bracket.png",
										"region.purplish"
									]
								},
								"open":
								{
									"1":
									[
										1159,
										1160
									]
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.clone_regions":
							[
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content"
							],
							"bracket_highlighter.locations":
							{
								"close":
								{
									"1":
									[
										1096,
										1097
									]
								},
								"icon":
								{
									"1":
									[
										"Packages/BracketHighlighter/icons/curly_bracket.png",
										"region.purplish"
									]
								},
								"open":
								{
									"1":
									[
										1024,
										1025
									]
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.regions":
							[
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content"
							],
							"git_gutter_is_enabled": true,
							"incomplete_sync": null,
							"remote_loading": false,
							"synced": false,
							"syntax": "Packages/JavaScriptNext - ES6 Syntax/JavaScriptNext.tmLanguage",
							"translate_tabs_to_spaces": false
						},
						"translation.x": 0.0,
						"translation.y": 188.0,
						"zoom_level": 1.0
					},
					"stack_index": 8,
					"type": "text"
				},
				{
					"buffer": 2,
					"file": "node2/msg.js",
					"semi_transient": false,
					"settings":
					{
						"buffer_size": 1259,
						"regions":
						{
						},
						"selection":
						[
							[
								748,
								748
							]
						],
						"settings":
						{
							"WordCount":
							{
								"changes": 0,
								"count": 69,
								"modified": false,
								"selection": false,
								"status": -1,
								"syntax": "plain text"
							},
							"auto_complete": false,
							"bracket_highlighter.busy": false,
							"bracket_highlighter.clone": -1,
							"bracket_highlighter.clone_locations":
							{
								"close":
								{
									"1":
									[
										1236,
										1237
									]
								},
								"icon":
								{
									"1":
									[
										"Packages/BracketHighlighter/icons/curly_bracket.png",
										"region.purplish"
									]
								},
								"open":
								{
									"1":
									[
										24,
										25
									]
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.clone_regions":
							[
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content"
							],
							"bracket_highlighter.locations":
							{
								"close":
								{
									"1":
									[
										1236,
										1237
									]
								},
								"icon":
								{
									"1":
									[
										"Packages/BracketHighlighter/icons/curly_bracket.png",
										"region.purplish"
									]
								},
								"open":
								{
									"1":
									[
										24,
										25
									]
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.regions":
							[
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content"
							],
							"git_gutter_is_enabled": true,
							"incomplete_sync": null,
							"remote_loading": false,
							"synced": false,
							"syntax": "Packages/JavaScriptNext - ES6 Syntax/JavaScriptNext.tmLanguage",
							"tab_size": 4,
							"translate_tabs_to_spaces": true
						},
						"translation.x": 0.0,
						"translation.y": 0.0,
						"zoom_level": 1.0
					},
					"stack_index": 5,
					"type": "text"
				},
				{
					"buffer": 3,
					"file": "node2/session.js",
					"semi_transient": false,
					"settings":
					{
						"buffer_size": 2306,
						"regions":
						{
						},
						"selection":
						[
							[
								1520,
								1520
							]
						],
						"settings":
						{
							"WordCount":
							{
								"changes": 0,
								"count": 102,
								"modified": false,
								"selection": false,
								"status": -1,
								"syntax": "plain text"
							},
							"auto_complete": false,
							"bracket_highlighter.busy": false,
							"bracket_highlighter.clone": 112,
							"bracket_highlighter.clone_locations":
							{
								"close":
								{
									"1":
									[
										1626,
										1627
									]
								},
								"icon":
								{
									"1":
									[
										"Packages/BracketHighlighter/icons/curly_bracket.png",
										"region.purplish"
									]
								},
								"open":
								{
									"1":
									[
										1251,
										1252
									]
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.clone_regions":
							[
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content"
							],
							"bracket_highlighter.locations":
							{
								"close":
								{
								},
								"icon":
								{
								},
								"open":
								{
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.regions":
							[
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content"
							],
							"git_gutter_is_enabled": true,
							"incomplete_sync": null,
							"remote_loading": false,
							"synced": false,
							"syntax": "Packages/JavaScriptNext - ES6 Syntax/JavaScriptNext.tmLanguage",
							"translate_tabs_to_spaces": false
						},
						"translation.x": 0.0,
						"translation.y": 536.0,
						"zoom_level": 1.0
					},
					"stack_index": 3,
					"type": "text"
				},
				{
					"buffer": 4,
					"file": "rtsession.sats",
					"semi_transient": false,
					"settings":
					{
						"buffer_size": 1070,
						"regions":
						{
						},
						"selection":
						[
							[
								7,
								7
							]
						],
						"settings":
						{
							"WordCount":
							{
								"changes": 27,
								"count": 99,
								"modified": false,
								"selection": false,
								"status": -1,
								"syntax": "plain text"
							},
							"bracket_highlighter.busy": false,
							"bracket_highlighter.clone": -1,
							"bracket_highlighter.clone_locations":
							{
								"close":
								{
								},
								"icon":
								{
								},
								"open":
								{
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.clone_regions":
							[
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content"
							],
							"bracket_highlighter.locations":
							{
								"close":
								{
								},
								"icon":
								{
								},
								"open":
								{
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.regions":
							[
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content"
							],
							"git_gutter_is_enabled": true,
							"incomplete_sync": null,
							"remote_loading": false,
							"synced": false,
							"syntax": "Packages/ATS Syntax Highlight/ats.tmLanguage"
						},
						"translation.x": 0.0,
						"translation.y": 0.0,
						"zoom_level": 1.0
					},
					"stack_index": 2,
					"type": "text"
				},
				{
					"buffer": 5,
					"file": "rt.sats",
					"semi_transient": false,
					"settings":
					{
						"buffer_size": 1138,
						"regions":
						{
						},
						"selection":
						[
							[
								290,
								290
							]
						],
						"settings":
						{
							"WordCount":
							{
								"changes": 1793,
								"count": 128,
								"modified": false,
								"selection": false,
								"status": -1,
								"syntax": "plain text"
							},
							"auto_name": "",
							"bracket_highlighter.busy": false,
							"bracket_highlighter.clone": -1,
							"bracket_highlighter.clone_locations":
							{
								"close":
								{
								},
								"icon":
								{
								},
								"open":
								{
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.clone_regions":
							[
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content"
							],
							"bracket_highlighter.locations":
							{
								"close":
								{
								},
								"icon":
								{
								},
								"open":
								{
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.regions":
							[
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content"
							],
							"git_gutter_is_enabled": true,
							"incomplete_sync": null,
							"syntax": "Packages/ATS Syntax Highlight/ats.tmLanguage"
						},
						"translation.x": 0.0,
						"translation.y": 0.0,
						"zoom_level": 1.0
					},
					"stack_index": 0,
					"type": "text"
				},
				{
					"buffer": 6,
					"file": "libsession.sats",
					"semi_transient": true,
					"settings":
					{
						"buffer_size": 4098,
						"regions":
						{
						},
						"selection":
						[
							[
								0,
								0
							]
						],
						"settings":
						{
							"WordCount":
							{
								"changes": 0,
								"count": 192,
								"modified": false,
								"selection": false,
								"status": -1,
								"syntax": "plain text"
							},
							"bracket_highlighter.busy": false,
							"bracket_highlighter.clone": 130,
							"bracket_highlighter.clone_locations":
							{
								"close":
								{
								},
								"icon":
								{
								},
								"open":
								{
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.clone_regions":
							[
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content"
							],
							"bracket_highlighter.locations":
							{
								"close":
								{
								},
								"icon":
								{
								},
								"open":
								{
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.regions":
							[
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content"
							],
							"git_gutter_is_enabled": true,
							"incomplete_sync": null,
							"remote_loading": false,
							"synced": false,
							"syntax": "Packages/ATS Syntax Highlight/ats.tmLanguage",
							"translate_tabs_to_spaces": false
						},
						"translation.x": 0.0,
						"translation.y": 448.0,
						"zoom_level": 1.0
					},
					"stack_index": 1,
					"type": "text"
				},
				{
					"buffer": 7,
					"file": "node2/transport.js",
					"semi_transient": false,
					"settings":
					{
						"buffer_size": 2284,
						"regions":
						{
						},
						"selection":
						[
							[
								1710,
								1710
							]
						],
						"settings":
						{
							"WordCount":
							{
								"changes": 0,
								"count": 88,
								"modified": false,
								"selection": false,
								"status": -1,
								"syntax": "plain text"
							},
							"auto_complete": false,
							"bracket_highlighter.busy": false,
							"bracket_highlighter.clone": -1,
							"bracket_highlighter.clone_locations":
							{
								"close":
								{
									"1":
									[
										1709,
										1710
									]
								},
								"icon":
								{
									"1":
									[
										"Packages/BracketHighlighter/icons/round_bracket.png",
										"region.yellowish"
									]
								},
								"open":
								{
									"1":
									[
										1697,
										1698
									]
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.clone_regions":
							[
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content"
							],
							"bracket_highlighter.locations":
							{
								"close":
								{
									"1":
									[
										1709,
										1710
									]
								},
								"icon":
								{
									"1":
									[
										"Packages/BracketHighlighter/icons/round_bracket.png",
										"region.yellowish"
									]
								},
								"open":
								{
									"1":
									[
										1697,
										1698
									]
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.regions":
							[
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content"
							],
							"git_gutter_is_enabled": true,
							"incomplete_sync": null,
							"remote_loading": false,
							"synced": false,
							"syntax": "Packages/JavaScriptNext - ES6 Syntax/JavaScriptNext.tmLanguage",
							"translate_tabs_to_spaces": false
						},
						"translation.x": 0.0,
						"translation.y": 1416.0,
						"zoom_level": 1.0
					},
					"stack_index": 6,
					"type": "text"
				}
			]
		},
		{
			"selected": 0,
			"sheets":
			[
				{
					"buffer": 8,
					"file": "node2/test.js",
					"semi_transient": false,
					"settings":
					{
						"buffer_size": 9717,
						"regions":
						{
						},
						"selection":
						[
							[
								8567,
								8567
							]
						],
						"settings":
						{
							"WordCount":
							{
								"changes": 0,
								"count": 560,
								"modified": false,
								"selection": false,
								"status": -1,
								"syntax": "plain text"
							},
							"auto_complete": false,
							"bracket_highlighter.busy": false,
							"bracket_highlighter.clone": -1,
							"bracket_highlighter.clone_locations":
							{
								"close":
								{
									"1":
									[
										8520,
										8521
									]
								},
								"icon":
								{
									"1":
									[
										"Packages/BracketHighlighter/icons/round_bracket.png",
										"region.yellowish"
									]
								},
								"open":
								{
									"1":
									[
										8499,
										8500
									]
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.clone_regions":
							[
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content"
							],
							"bracket_highlighter.locations":
							{
								"close":
								{
									"1":
									[
										8566,
										8567
									]
								},
								"icon":
								{
									"1":
									[
										"Packages/BracketHighlighter/icons/round_bracket.png",
										"region.yellowish"
									]
								},
								"open":
								{
									"1":
									[
										8562,
										8563
									]
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.regions":
							[
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content"
							],
							"git_gutter_is_enabled": true,
							"incomplete_sync": null,
							"remote_loading": false,
							"synced": false,
							"syntax": "Packages/JavaScriptNext - ES6 Syntax/JavaScriptNext.tmLanguage",
							"translate_tabs_to_spaces": false
						},
						"translation.x": 0.0,
						"translation.y": 5448.0,
						"zoom_level": 1.0
					},
					"stack_index": 4,
					"type": "text"
				},
				{
					"buffer": 9,
					"file": "node2/endpoint.js",
					"semi_transient": false,
					"settings":
					{
						"buffer_size": 16914,
						"regions":
						{
						},
						"selection":
						[
							[
								12735,
								12735
							]
						],
						"settings":
						{
							"WordCount":
							{
								"changes": 1404,
								"count": 923,
								"modified": false,
								"selection": false,
								"status": -1,
								"syntax": "plain text"
							},
							"auto_complete": false,
							"bracket_highlighter.busy": false,
							"bracket_highlighter.clone": -1,
							"bracket_highlighter.clone_locations":
							{
								"close":
								{
									"1":
									[
										12878,
										12879
									]
								},
								"icon":
								{
									"1":
									[
										"Packages/BracketHighlighter/icons/curly_bracket.png",
										"region.purplish"
									]
								},
								"open":
								{
									"1":
									[
										10720,
										10721
									]
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.clone_regions":
							[
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content"
							],
							"bracket_highlighter.locations":
							{
								"close":
								{
									"1":
									[
										12735,
										12736
									]
								},
								"icon":
								{
									"1":
									[
										"Packages/BracketHighlighter/icons/round_bracket.png",
										"region.yellowish"
									]
								},
								"open":
								{
									"1":
									[
										12720,
										12721
									]
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.regions":
							[
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content"
							],
							"git_gutter_is_enabled": true,
							"incomplete_sync": null,
							"remote_loading": false,
							"synced": false,
							"syntax": "Packages/JavaScriptNext - ES6 Syntax/JavaScriptNext.tmLanguage",
							"translate_tabs_to_spaces": false
						},
						"translation.x": 0.0,
						"translation.y": 6681.0,
						"zoom_level": 1.0
					},
					"stack_index": 7,
					"type": "text"
				},
				{
					"buffer": 10,
					"file": "node2/recorder.js",
					"semi_transient": false,
					"settings":
					{
						"buffer_size": 1651,
						"regions":
						{
						},
						"selection":
						[
							[
								1210,
								1210
							]
						],
						"settings":
						{
							"auto_complete": false,
							"bracket_highlighter.busy": false,
							"bracket_highlighter.clone": -1,
							"bracket_highlighter.clone_locations":
							{
								"close":
								{
									"1":
									[
										1479,
										1480
									]
								},
								"icon":
								{
									"1":
									[
										"Packages/BracketHighlighter/icons/curly_bracket.png",
										"region.purplish"
									]
								},
								"open":
								{
									"1":
									[
										1196,
										1197
									]
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.clone_regions":
							[
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content"
							],
							"bracket_highlighter.locations":
							{
								"close":
								{
									"1":
									[
										1482,
										1483
									]
								},
								"icon":
								{
									"1":
									[
										"Packages/BracketHighlighter/icons/curly_bracket.png",
										"region.purplish"
									]
								},
								"open":
								{
									"1":
									[
										1196,
										1197
									]
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.regions":
							[
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content"
							],
							"git_gutter_is_enabled": true,
							"incomplete_sync": null,
							"remote_loading": false,
							"synced": false,
							"syntax": "Packages/JavaScriptNext - ES6 Syntax/JavaScriptNext.tmLanguage",
							"translate_tabs_to_spaces": false
						},
						"translation.x": 0.0,
						"translation.y": 0.0,
						"zoom_level": 1.0
					},
					"stack_index": 9,
					"type": "text"
				},
				{
					"buffer": 11,
					"file": "node2/renderer.js",
					"semi_transient": false,
					"settings":
					{
						"buffer_size": 4016,
						"regions":
						{
						},
						"selection":
						[
							[
								218,
								218
							]
						],
						"settings":
						{
							"auto_complete": false,
							"bracket_highlighter.busy": false,
							"bracket_highlighter.clone": -1,
							"bracket_highlighter.locations":
							{
								"close":
								{
									"1":
									[
										217,
										218
									]
								},
								"icon":
								{
									"1":
									[
										"Packages/BracketHighlighter/icons/round_bracket.png",
										"region.yellowish"
									]
								},
								"open":
								{
									"1":
									[
										216,
										217
									]
								},
								"unmatched":
								{
								}
							},
							"bracket_highlighter.regions":
							[
								"bh_curly",
								"bh_curly_center",
								"bh_curly_open",
								"bh_curly_close",
								"bh_curly_content",
								"bh_single_quote",
								"bh_single_quote_center",
								"bh_single_quote_open",
								"bh_single_quote_close",
								"bh_single_quote_content",
								"bh_unmatched",
								"bh_unmatched_center",
								"bh_unmatched_open",
								"bh_unmatched_close",
								"bh_unmatched_content",
								"bh_c_define",
								"bh_c_define_center",
								"bh_c_define_open",
								"bh_c_define_close",
								"bh_c_define_content",
								"bh_tag",
								"bh_tag_center",
								"bh_tag_open",
								"bh_tag_close",
								"bh_tag_content",
								"bh_double_quote",
								"bh_double_quote_center",
								"bh_double_quote_open",
								"bh_double_quote_close",
								"bh_double_quote_content",
								"bh_regex",
								"bh_regex_center",
								"bh_regex_open",
								"bh_regex_close",
								"bh_regex_content",
								"bh_round",
								"bh_round_center",
								"bh_round_open",
								"bh_round_close",
								"bh_round_content",
								"bh_angle",
								"bh_angle_center",
								"bh_angle_open",
								"bh_angle_close",
								"bh_angle_content",
								"bh_default",
								"bh_default_center",
								"bh_default_open",
								"bh_default_close",
								"bh_default_content",
								"bh_square",
								"bh_square_center",
								"bh_square_open",
								"bh_square_close",
								"bh_square_content"
							],
							"git_gutter_is_enabled": true,
							"incomplete_sync": null,
							"remote_loading": false,
							"synced": false,
							"syntax": "Packages/JavaScriptNext - ES6 Syntax/JavaScriptNext.tmLanguage",
							"tab_size": 4,
							"translate_tabs_to_spaces": true
						},
						"translation.x": 0.0,
						"translation.y": 0.0,
						"zoom_level": 1.0
					},
					"stack_index": 11,
					"type": "text"
				}
			]
		}
	],
	"incremental_find":
	{
		"height": 27.0
	},
	"input":
	{
		"height": 71.0
	},
	"layout":
	{
		"cells":
		[
			[
				0,
				0,
				1,
				1
			],
			[
				1,
				0,
				2,
				1
			]
		],
		"cols":
		[
			0.0,
			0.498893821023,
			1.0
		],
		"rows":
		[
			0.0,
			1.0
		]
	},
	"menu_visible": true,
	"output.astyle_error_message":
	{
		"height": 0.0
	},
	"output.exec":
	{
		"height": 295.0
	},
	"output.find_results":
	{
		"height": 0.0
	},
	"output.mdpopups":
	{
		"height": 0.0
	},
	"output.package_dev":
	{
		"height": 122.0
	},
	"output.sftp":
	{
		"height": 110.0
	},
	"pinned_build_system": "",
	"project": "ats-sessions.sublime-project",
	"replace":
	{
		"height": 50.0
	},
	"save_all_on_build": true,
	"select_file":
	{
		"height": 0.0,
		"last_filter": "",
		"selected_items":
		[
			[
				"transportjs",
				"ats-sessions/node2/transport.js"
			],
			[
				"test.js",
				"ats-sessions/node2/test.js"
			],
			[
				"msg.js",
				"ats-sessions/node2/msg.js"
			],
			[
				"collection",
				"ats-sessions/node2/collection.js"
			],
			[
				"session.js",
				"ats-sessions/node2/session.js"
			],
			[
				"log",
				"ats-sessions/node2/log"
			],
			[
				"renderer",
				"ats-sessions/node/renderer.js"
			],
			[
				"util.js",
				"ats-sessions/node2/util.js"
			],
			[
				"mailbox.js",
				"ats-sessions/node/mailbox.js"
			],
			[
				"node2util",
				"ats-sessions/node2/util.js"
			],
			[
				"transport.js",
				"ats-sessions/node2/transport.js"
			],
			[
				"collection.js",
				"ats-sessions/node2/collection.js"
			],
			[
				"endpoint.js",
				"ats-sessions/node/endpoint.js"
			],
			[
				"node2 utils",
				"ats-sessions/node2/util.js"
			],
			[
				"socket.js",
				"ats-sessions/node/socket.js"
			],
			[
				"thread.sats",
				"ats-sessions/ats/thread.sats"
			],
			[
				"thread",
				"ats-sessions/thread.sats"
			],
			[
				"json.sats",
				"ats-sessions/ats/json.sats"
			],
			[
				"uuid.dats",
				"ats-sessions/ats/uuid.dats"
			],
			[
				"device.h",
				"ats-sessions/node/node_modules/nanomsg/deps/nanomsg/src/devices/device.h"
			],
			[
				"device.c",
				"ats-sessions/node/node_modules/nanomsg/deps/nanomsg/src/devices/device.c"
			],
			[
				"transportpy",
				"ats-sessions/python/transport.py"
			],
			[
				"test.py",
				"ats-sessions/python/test.py"
			],
			[
				"redis",
				"ats-sessions/python/redis_transport.py"
			],
			[
				"20",
				"20-mtlc0.md"
			],
			[
				"30",
				"30-simplesession.md"
			],
			[
				"header",
				"include/header.tex"
			],
			[
				"50",
				"50-mtlcmult.md"
			],
			[
				"submisstex",
				"build/submission.tex"
			],
			[
				"eg",
				"include/eg-simple-1.tex"
			],
			[
				"simplered",
				"include/mtlcsimplered.tex"
			],
			[
				"be",
				"include/before.tex"
			],
			[
				"",
				"include/eg-simple-1.tex"
			],
			[
				"bef",
				"include/before.tex"
			],
			[
				"head",
				"include/header.tex"
			],
			[
				"before",
				"include/before.tex"
			],
			[
				"hea",
				"include/header.tex"
			],
			[
				"e",
				"include/eg-simple-eq.tex"
			],
			[
				"ex",
				"include/eg-simple-eq.tex"
			],
			[
				"div",
				"include/div2thm.py"
			],
			[
				"test",
				"include/test.md"
			],
			[
				"testmd",
				"build/test.md"
			],
			[
				"pres",
				"build/preserve_comments.py"
			],
			[
				"mtlc",
				"20-mtlc0.md"
			],
			[
				"mtlcsimplered",
				"include/mtlcsimplered.tex"
			],
			[
				"mtlcsim",
				"include/mtlcsimplesyntax.tex"
			],
			[
				"mtlc0",
				"include/mtlc0typing.tex"
			],
			[
				"mtlcred",
				"include/mtlc0red.tex"
			],
			[
				"red",
				"include/mtlc0red.tex"
			],
			[
				"mtlc0sy",
				"include/mtlc0syntax.tex"
			],
			[
				"mtlc0synt",
				"build/mtlc0syntax.tex"
			],
			[
				"ab",
				"abbrv.md"
			],
			[
				"40",
				"40-mtlcdep.md"
			],
			[
				"10",
				"10-intro.md"
			],
			[
				"mtlc0syntax",
				"include/mtlc0syntax.tex"
			],
			[
				"pired",
				"include/mtlcdeppired.tex"
			],
			[
				"mtsimplet",
				"include/mtlcsimplesyntax.tex"
			],
			[
				"mtlcsimplesyn",
				"include/mtlcsimplesyntax.tex"
			],
			[
				"dep",
				"include/mtlcdeppisyntax.tex"
			],
			[
				"deppi",
				"include/mtlcdeppisyntax.tex"
			],
			[
				"deppisy",
				"include/mtlcdeppisyntax.tex"
			],
			[
				"deppisyn",
				"include/mtlcdeppisyntax.tex"
			],
			[
				"syntax",
				"include/mtlcdeppisyntax.tex"
			],
			[
				"mtlcsimplesyntax",
				"include/mtlcsimplesyntax.tex"
			],
			[
				"mtlc0red",
				"include/mtlc0red.tex"
			],
			[
				"rho",
				"build/mtlc0rho.tex"
			],
			[
				"before.t",
				"include/before.tex"
			],
			[
				"prfprogress",
				"include/mtlc0_prf_progress.tex"
			],
			[
				"mtlc0_prf_progress_terms",
				"include/mtlc0_prf_progress_terms.tex"
			],
			[
				"mtlc0prfsubjectreduction",
				"include/mtlc0_prf_subjectreduction.tex"
			],
			[
				"mtlc0_prf_subjectreduction_terms",
				"include/mtlc0_prf_subjectreduction_terms.tex"
			],
			[
				"mtlc0typing.tex",
				"include/mtlc0typing.tex"
			],
			[
				"20mt",
				"research-notes/2018-03-Thesis/20-mtlc0.md"
			],
			[
				"mtlc0typingtex",
				"research-notes/2018-03-Thesis/include/mtlc0typing.tex"
			],
			[
				"thesisbefore",
				"research-notes/2018-03-Thesis/include/before.tex"
			],
			[
				"thesisincludehead",
				"research-notes/2018-03-Thesis/include/header.tex"
			],
			[
				"thesisincludeheader",
				"research-notes/2018-03-Thesis/include/header.tex"
			],
			[
				"thesisinclumtlc0typingtex",
				"research-notes/2018-03-Thesis/include/mtlc0typing.tex"
			],
			[
				"subjectr",
				"research-notes/2018-03-Thesis/include/mtlc0_prf_subjectreduction.tex"
			],
			[
				"thesismtlc0rho",
				"research-notes/2018-03-Thesis/include/mtlc0rho.tex"
			],
			[
				"thesismtlc0syntax",
				"research-notes/2018-03-Thesis/include/mtlc0syntax.tex"
			],
			[
				"atssessionsconst",
				"ats-sessions/constraints"
			],
			[
				"releasemy-travis-ci/bui",
				"ats-postiats-release/my-travis-ci/build_docker.sh"
			],
			[
				"thesisinclumtlcdepsyntax",
				"research-notes/2018-03-Thesis/include/mtlcdepsyntax.tex"
			],
			[
				"thesisbefore.tex",
				"research-notes/2018-03-Thesis/include/before.tex"
			],
			[
				"libsession.sats",
				"ats-sessions/libsession.sats"
			],
			[
				"constraint",
				"ats-sessions/constraints"
			],
			[
				"set.sats",
				"ats-sessions/set.sats"
			],
			[
				"dependentsession",
				"ats-session-playground/dependent/session.sats"
			],
			[
				"set.smt2",
				"ats-sessions/set.smt2"
			],
			[
				"constraints",
				"ats-sessions/constraints"
			],
			[
				"simple.dats",
				"ats-session-playground/dependent/tests/simple.dats"
			],
			[
				"teststub",
				"ats-session-playground/dependent/tests/teststub.dats"
			],
			[
				"lmrl",
				"research-notes/2017-05-01-Proposal/include/lmrl.tex"
			],
			[
				"lmrl.tex",
				"research-notes/2017-05-01-Proposal/include/lmrl.tex"
			],
			[
				"proposalbefore",
				"research-notes/2017-05-01-Proposal/include/before.tex"
			],
			[
				"proposeheader",
				"research-notes/2017-05-01-Proposal/include/header.tex"
			],
			[
				"mtlcsimplesy",
				"research-notes/2017-05-01-Proposal/include/mtlcsimplesyntax.tex"
			],
			[
				"include/mtlcsimplesyntax",
				"research-notes/2017-05-01-Proposal/include/mtlcsimplesyntax.tex"
			],
			[
				"abbrv",
				"research-notes/2017-05-01-Proposal/abbrv.md"
			],
			[
				"mbox.js",
				"ats-sessions/node/mailbox.js"
			],
			[
				"sock.j",
				"ats-sessions/node/socket.js"
			],
			[
				"recorder.js",
				"ats-sessions/node/recorder.js"
			],
			[
				"renderer.js",
				"ats-sessions/node/renderer.js"
			],
			[
				"nanomsgindex.js",
				"ats-sessions/node/node_modules/nanomsg/lib/index.js"
			],
			[
				"nanomsg/lib/index.js",
				"ats-sessions/node/node_modules/nanomsg/lib/index.js"
			],
			[
				"mailboxjs",
				"ats-sessions/node/mailbox.js"
			],
			[
				"sock",
				"ats-sessions/node/socket.js"
			],
			[
				"visul",
				"ats-sessions/node/visualizer.html"
			],
			[
				"render",
				"ats-sessions/node/renderer.js"
			],
			[
				"index.js",
				"ats-sessions/node/index.js"
			],
			[
				"collections.js",
				"ats-sessions/node/collections.js"
			],
			[
				"recor",
				"ats-sessions/node/recorder.js"
			],
			[
				"mbox",
				"ats-sessions/js/mbox.js"
			],
			[
				"deparr",
				"ats-session-playground/dependent/output/dep_array.dats"
			],
			[
				"util.sh",
				"Git/iseedocker/scripts/util.sh"
			],
			[
				"python3",
				"Git/ATS-Python3/LICENSE"
			],
			[
				"test2datsc",
				"Git/test2_dats.c"
			],
			[
				"socket.sats",
				"Git/ats-sessions/socket.sats"
			],
			[
				"endpoint.dats",
				"Git/ats-sessions/endpoint.dats"
			],
			[
				"uuid.sats",
				"Git/ats-sessions/uuid.sats"
			],
			[
				"payload.",
				"Git/ats-sessions/payload.sats"
			],
			[
				"session.sats",
				"Git/ats-sessions/session.sats"
			],
			[
				"session.dats",
				"Git/ats-sessions/session.dats"
			],
			[
				"resume.tex",
				"Git/resume/Resume.tex"
			],
			[
				"asl.cls",
				"Git/pandoc-templates/asl/asl.cls"
			],
			[
				"aslpandocte",
				"Git/pandoc-templates/asl/asl.pandoc-template"
			],
			[
				"jslsubmission.tex",
				"Git/research-notes/2017-09-JSL-Multirole/build/submission.tex"
			]
		],
		"width": 0.0
	},
	"select_project":
	{
		"height": 500.0,
		"last_filter": "thesis",
		"selected_items":
		[
			[
				"thesis",
				"~/Git/research-notes/2018-03-Thesis/thesis.sublime-project"
			],
			[
				"research",
				"~/Git/research-notes/research.sublime-project"
			],
			[
				"redis",
				"~/Git/ats-redis/ats-redis.sublime-project"
			],
			[
				"atssesspl",
				"~/Git/ats-session-playground/ats-session-playground.sublime-project"
			],
			[
				"sessionpl",
				"~/Git/ats-session-playground/ats-session-playground.sublime-project"
			],
			[
				"",
				"~/Git/pandoc-templates/sigplanconf/sigplanconf.sublime-workspace"
			]
		],
		"width": 380.0
	},
	"select_symbol":
	{
		"height": 0.0,
		"last_filter": "",
		"selected_items":
		[
		],
		"width": 0.0
	},
	"selected_group": 0,
	"settings":
	{
	},
	"show_minimap": false,
	"show_open_files": true,
	"show_tabs": true,
	"side_bar_visible": true,
	"side_bar_width": 270.0,
	"status_bar_visible": true,
	"template_settings":
	{
	}
}