SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 & |D ]]]ZF:threads=6elapsed=12.801cpu=44.936gc=3.108factor=3.517zXZִF! H]ŗXf1-) enȈA$jB80l,v8-qFN}seG_ckrꇡ)l`~K0N%P@X8X#;-F 鰄 j75 3<76[ZA ([ dᳩD| 䭩թ P- 6Q@$>WPlq*L0P엿J(*2/AaQPKf1XD\L\$ zmLe8\8XÔ"/o~Fŗʎ[&b ^&ՙR[hcmilz0L/jÅpH喐ؔ΅*g<<pj(۵VɅf,|=9Չ RD$᮵­},OsbW)B /٦uuIQ2R $[$>-)[wJ8r)?;yrRj,vZe:HVYgmvT9BqDM`N9l <V oO֪F!BMo.VfG;Ox^gYZ7zXZִF! 5]ŗXiɟ 1FE`穱 v~`NԚ«_R-n>^\Z#.b9mx"Č9ōE~o41Nj'7'uR.!C12M 65e'dܲHv/GNgZ|S&'@.8Dq 9]&g`)Նx 8jNIR|׍TwM۳vGMccwJթȐS UWlݟc_v2?ix6c@މrc.T fٍOBy練QXN@V(AK\wJīCX1OٵrvLh%q3s*@53t`3>ophܗTH0BzU[|дVcK ]g4xVH6YF/3gzlf3EG.WwX [͓6XFNZ>]qչg24} Ӓs~IUxg}q gYZ7zXZִF! >]ŗXi%AY_sܱF0OXJj%h۷M#HfV!udamK'c Dx|$q$,L/2}:n$%b_B]RTtj]Ǯ?G|$6~Y2XZXuNᙼqfCTeq˻l xOK E.%"8qgv0K1m[2.!gx[GSx%?Jx'$se[ܩ]zs; IEtOpt]܂Fs%9{$}&.nlg; ocջJY9D-z#vSɐUpvnjݝvҳY!hy3A΀N3HQ/~MB░b`~i|)xcZ¯$IjooP?f9i&z3 k gۇxɣ}նSS!O5{6ă<(wwV@۲-ѩDv"fh@іƧ7Ly8R'<r*2/f"q?j/gzwC[o uv.NGvfC#t tF !xU{<2-&fZN:etC|:_r 9{% /K3GzAPO֖O)ۗCL3~sY~XeJ?A4v 6̴1.4<ӹ)(V+5G Xrxr3"[.FRemSOoafh riT4˴c̊쀯lDFRϷUЇ\9Q* aVS>zerqx5:S~ĩ0o()miY&cA+8O`]1ª6;Ũ8^TV*y? ߘRHaLDOq3m lzç%pHqL#jT yu 1Mԅ S=;{H ~<9Vd 7 5̤h U@*