SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info {% D4 %S Posix-Lexing:threads=2elapsed=15.428cpu=28.220gc=1.752factor=1.837zXZִF! x]ŗXf1-/6vR[2u)qS?'CΠPhuK!ͶuZa_f 2`4v-Cӳ9yșNfH?%@-G5I^.d^h"W;ASUʒ—_R.^YOR yMW`qχJ3f.ֽ:%Uy=O;ܥ!u?B3|}t/gc&ꃣА(_ Ϲӂ^Ė 9v@"Q_ s=eΕk7#ٛTY•WKF:q!fZEټ1EdC6[ K}M^Q)8hXv2Cijr 0Hm!^E~ZCיmwc,}<0,К؀Μ`c[A6s?+_a]&ǢN"vL7sIYNP:0H`q0"lne(A VtqRM/;<_7pnw3~3ǩd\I$j y{k$rYΖ}=Bjvf,^`V/$]uȪ=Hò'P bTc. "/ + vVchq> :gKѱgYZ7zXZִF! O]ŗXi% džN/CuDʂ)3,]+~pG?LLNr`&v}$Tďz^Dž+#DZUIߵNe+!-4 Z,`斅[) dԺ43Dۼ;S'攬 dM?tm^FPlӼġ,Ia:?nYG-0"4߄N ݥU0֤Y{o?*&e$}w$_rZ/`FAXC#733B*E蝵x+ǜPוb=:YM8zǵy Q~@{_?b.n7}K2%:ϋN!&{Ė8RM㗿Q;ޔęzTg&8 hĞŴYQ̥|!:&1xI-p^QK2c]ss5nW6+ oLKgE^gJBH AիY?+[ q2fe!gK*C&> XE:~!S .@ m1M؝]h0| SHv"A]Q}cUqSG|e.|7|AŇR}!s}C람^¤BΈ3eS<})>%bvEScAMA?Kn=Uf8LTCi M$ŤpCuF5yca_d|}HRo30Jv-wmiЯLK+;Ǩ% e1F!THOݔ7H{!n3ѮI.`H?Q ^̪-,Iٽ)fQg.-鍋*h@ALAZQph8J$Ls'#/D c0EA V mgFE`1 :zq~ :Zu?(M0f7A:DoI"{U6Z"U.ȨZGE5t scR,,qYn\-FSNvs.ceml\IfL;[7MьG.%WPrnM%,F/_5_eRyT76Ni-[`t9E GKgLr@s1_՝7BDe.+u` ߟhsgYZ155e566ffe279a8228ba65d38dbe9f08ac4811dd 53a44ac630dd30bd987648a68f2c704fd95ec4ba 70b6156516dedf8c4b101f9047d7e1717eb03406 f4cce8ef5dffddbb021b83d6b068aeb73038c0fd f767bbdb8c9f31d324c4ae5b483b56c867852e40728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 13a8c6586f15ef2af4412e22d4b5be631b79a232 % Posix-Lexing