SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 j/ $ ]% Localization_Ring:threads=4elapsed=27.229cpu=70.372gc=1.568factor=2.587zXZִF! 5I]ŗXf[&!вIփ+LPuD^>xapFP% g` dW!_< s8x?WƞԿ.mص7Ak\^][쌘"ȃ@~Vƹƥ7s_v,)Pk,@DPny7X! ;q^(J{)#%~|@h0}q ZHݾRp>&" #+D]Mv+:q'ls-*|O΃x髤8C: K& ܏Iv^P {ul%v~I:+Hs<"_}7j>6NY / Localization_Ring  3= ,UaiM^&:)z_F9j^+#U&*u.jבG6"kLkѱgYZ7zXZִF! RH]ŗXiɟ }#xLG_^ }@Bizg>?CE1)ˠDz ҃sv掏o@v"bfIiCH JQsEX=-Q][+IO]Ug)sN#^B>SwIR.pp_sy2 A.ι-DUTs6S~o$%٦4ZΙ(]T&&h-5fzr{=h9[{𖬾1.v6>4"$H.`fef\6C|j{EmOJqnjqGa?(F.?".r^Nmg8E,$gbqGp/u4^*Fy XZKA45 XX>h䮄fqN OhG(ı4+PAܠ0N^WUJ.n<; Ǖ t|q^M%/['HygdSeŵjoQ4g/Vj̑e՗jD<:=h_چx j0dKUU9%C@TE̷b i"ս6 q q#~37nwK g Cp)[@01ΩDUk/p}\htB^Wܦae` ma+ ( m2SZyp&_ן6D}9I9:wa}gA(RhlQξ!P#Eح\Cw](} t@_ַI_ކl6Jx~緁(Z޼Q@h7n EUgYZa5f894d8987975dcd465c11d4e673621fd31fedac2093642ce0e52d658430117f07a6a10f135143e 958f81e74e154e8719a792f45217a865d1da1a47 bb942e3de3a6ee0c81dc1f934c33e4250aa33115 311da8e30ca66082f8792d0561fac6558e211806 83c4e8ba081665f95eae2cbeb14d01828ca7625e