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 gg ,l$ ]]]ZF:threads=6elapsed=12.059cpu=43.972gc=2.476factor=3.657zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw>S|p/כ* QDh`z@h0|4xhr-9lFMyj9}qZt.#xcAREQRaiADQvjmJpzOd&ٓ{$c㫨,D*㚸Ŀ+T. tA̳ 2nC-:|ᣞEX{iz Qɜ6et~0VUD'5^& =]tK5[uUY.عK#ZKx'yP9u0X5 Sal+2687[ɱ2w!eK~PMWw>&@xhgw~,O!V~0 {mgrnݛph+xN e>J~r'z,JΟ=gYZ7zXZִF! .]ŗXiɟ 1FE`穱 ɷܢ%}OϲTH@L=kGOa$ }SS?rn/ - x쮈C $r.`>۫B&;}i u@tqS azAFpu~pWm\xb)rq#H`2mЦߺIj }O?tz $[ul_~uWK֏$7\]C1T Uy#4!Ιȶ ѮCg{ޫ!LkA0|zR)wb(HF,3Z` 71$]E` A2.%- @P| HmhCE^FAFH^z0+ Β A|$>m?} :i[acQaכi9ߐ%x|FK>rm,*-xnA5^ Hx1^GfN6Ѧ|AF=⤵z;DݺCWd9K<:LhC|)gYZ7zXZִF! eRY <$Vos Cb*Z`5<47:=)J/岪Y/Q$j{fRDH_tEu墳+hڨ;A8M[0=`lj+]Y|>G-!V򐄭8Gx<"$O}|#}.(+ؼ Obc>_n1QHtnLdW8jwVYb(vV918|ʣS!Tzjx/W[n:+H(o z-vwoBvc@Q| 9gS ^E@[HU))UJIS3S؈SLT84E7{$Gڵ/TEy޺ʮW9zq?E3K(*"O<+* W-Z vLS7XKvIYYV~rX0H %ёˀ0'=,~/慼 K+̛B]ysyTXWL5L!t Wi,"nbV,~_UڊBFv7o՝AP,[ď &B>QD0(=l,r8,6 OV͐p_poJ눷EW+r9S7wrD!{J!|2s-[Fj ZvnNO>ńgSIKUYOaPtur_[Hy9kMF2'KL LƐLNr@֏dVL>DT|1=ۺNvA&ÑƦ΀1s\mUL)ŎS*&i-c 7٪38%Mk|TP*ݏس9RJKɎYpԆI=A媨fa>ʐ>~o0`PΑd4g%Agj- O;#e9Dֹ`w!g++`S%G"6!naS\8׋ eè x gYZb06531def9472707d332eb6c4c50a7e5563c6166f7ad79d6f9e93f2b021491a660edb894fe30c4c7e3ae3acecacafe6d7e7ce33c5aa46fae6145c03d  ZF