SQLite format 3 @ .; 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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info W D,l ]/]ZF-Induct:threads=4elapsed=4.601cpu=12.400gc=0.300factor=2.707zXZ ִF ! H] ŗXiɟH)0%o
fbs<s' 9WlԒ4onr#o5])FTEfIܫP7qf3
O/t/ )^7t}G',$>}d8ÍjZLXww}7 bddFhEu$d':S`\q&0oR
ha/ڗCjɒ^_.[WURT}lp.l.7ct7|E1\+F#"]N
B,UhFt*C5sv;an#r[6V!5!tTd|}p} 9R剓[PwUŀx'Ohn+i^ZԊ/3n\Y'CJ_h)zR&Lo
*M
=7\~3q&\?ij{f /nݠh@jPZn\
Bj(84HӲ˝Q0s cbz;]GXixtcJX`ytgw\$MZV,bʆv#t<{mUȪuW^ۓpX2n+Lx& 9?$֣o:h;>mF1fJ
/˕#q,ck|@FyIAo}úm z2arMA>Ԕ+&ܸPFrG>ZjU##ؕ5?8'nz9ddfWB>PxəA;\wܳ5k4b.j9Ė
\}
(/1{\)AsYhx;p`BwbYW|5Ԙ;F9
( poec1eHvx)m1H
LF2E*yY؏s((ϡV$DhfRQw
Py_d'V OG~-8fzeBX6:U#T 5[#~ yOa.=hT3Q3`/I':B@O-VxTYpjPֶ;<9yF72B\
FR{!դх*,kuEcYrG8=ۤ&c䙆meEs&˄<[%A29lxL˻P9&`'؟{mxϔ$]&~AUm/[ew(9V;a@s L$¤*T.Oܴ"KAG4KoʲE(@c콱{9c1_ex`4oꑇJ6^hHgM݉Kgt^
G~iz@͑cIh
$
Y*DufoR7*űTN:5J5d`YY|_7J.Z}${
Ҕ3!kk?vMf^_+/7BzZh9\j3`9ugnfHe/E(VcD0.T18J\C[L5$M5Md@7܈*='4k!\gb{c&r!m_ӍL++=xgWsj)SG G%=7f)X?H2*<&尕Gk gsPn33AEV8_A,}$GCSW!\gps;~=30G