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 - \lL ] IOA:threads=6elapsed=6.778cpu=30.860gc=1.128factor=4.557zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K ?|c +O1T5X*@R·dAO(=z™UE\[' "a֊-?+[`KzR؅8"@OdV'l:lBV[tr7]KS[TD伀ECKHN ҠMOe`snh\EjK-j+z[&kc5bYHWs݂`H{ ߬Zc\VI9۔njaKF8aj[F0t1eGʹB*z{ ҿy9R9ώf.q9~Aړrjh`FmI LwfK4r]_^֗ajѭeqHyT=*V6)$h{ JvRD._@L 3!gYZ7zXZִF! `m]ŗXiɟdN'LvH۹O2ܥFyiK[@tA{G7}oKR1E+/yTeFP (^wwm!{#(i. FEWj!+P El>Ypltz/V^BџuY QXVS# v*aHCq<ۚ*joԃuA@zo>״>Y᭍&ݥQb]m7 tficۭZ/?!d >:2NyFټLtlK %G+\,{K ng3rhd0v  HޱgYZ7zXZִF! &]ŗXi%ǦdԬYsɰe$%(Ծ.8W쾯m!6EfaV|܋zq>k6OD *`0k5ݹ;2ōXb!+]Tw+ Š威coБq34 B'i+" Tb b+R{Lҍ^VX+Ir|2wCΐZgZݵҏыA)LRoi-p [!ƼMy#4%".EF-:-< G~(3|+\.*0ؑ6 E7,"Nj1xtxPOy6k@{vJ/,W4 %, Es)J g"cI)-1ۜ6& 7 Ojac]TZ@@d..7z|1۴"(.YLLn@fl40Q'*T})#)ŏP-wצ ڹ(rII/yΑX\Q䔜^epTgWaׯhnDJ fNL?@FMKXcS],ffДuk{ v w r4Tκyl²G!YS2g\̜}(brQ8L[׋Kr~D4#S1eo8nz,JA!GSPx$BC%w q˞I4xӡ.vIhD; jbDTزŦt~Ҵ] *a_AF&7<\hJھ5*.ӈc7־ A½V0 WƶHCe-CśeVfl ,՞SįKF7`Җ^|Wfu?r  [OLoAwK﷗QG~v`$l{\^P9]|ZMH ±gYZa26eef402980ca95cfb7f00fad801bd599dfb459171f1401f05a7647b01cb7cdef953bd877fc895c 92d83a3f9935544ccc941b486a98a794a1901ee6 1b737957f874f36c13d742e908eb3d3278809d03  IOA