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 x) T4 ] HOL-TLA-Memory:threads=4elapsed=9.158cpu=25.752gc=0.640factor=2.817zXZִF! $]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋEL3QclupP1_";2ɈijAuV2\Eu@5R?e @R< h\U>),4 ȓZ`z Xf]/p,h i t/c /̼lv4dЊ҇^bK8+6^c̦L| _M-C+gYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKVd+y4Z#:w7yFdh?a`0.#!wuVL"4woc.wbE |Er^Ê {Mn'yE*%s :B9M=ZD0 b~b.tr5U(7]LD7`P67Oh0gYZ7zXZִF! 4]ŗXi%Gg8!;lUS7H.aٍ$OZ*vO:kLUFjsV^g DwI;4;z Z$K#:E/ $L/rVk.0wApkF(6iƤﳾ^4Q?!P˙)2ekxtδɴ}DF aоD9*_&d)?`x.#JOH%0ukfŬZ֊Y{Jy#N,L]fS\h0WO_2MK b!>U,.ՇZs ?J7uA6^埻;,)Xq3|z%-ҏ !HK_/LTr+"ꏭoNAɒ3r:ӛC-ďiMmΆGoT.'erzN졅 %,{UCсwaS>$PWXM u[ohfrAyA?{/-O!G[!)zdy}Gi:e>׼睋Za'QQ-z\gnA]~_BC37#n7 Ѓ)qicg yP+8@L^q>+ۍU*]ys$PכUmm>=t"%>v mԂ''f]6t>?#NawLW+N)rdKDl+Qg]$kh ?&  ck01\рxa - 4a-% 5XIE6R/( |CޔD'uAlno2GFdJ?˵67b-;2jR8uk Ɨc 樺 <̋.FuuW#]i20@Cs^G'Ycߞ!w