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 QQ,' wS)dps-gYZ7zXZִF! }4]ŗXi%>g *FxҼzaK|9B WZ%g_cmdeWJ'Y D#`.Ay7mzuɢ^j1hԅ]bR"s"m|Bz|UaƯ aRd1hV策;-!g3-%],CedrN K̓7vt/U-RE~y1/hm {0"}`e\Z8SXzoUᄄё&x<pD.RCᮊe'3xa]u :$~5!jU6 xNNz`1#q@R>L${~"- ̲gR 2*0 d/;a{7yChrZMB۶.͚SSo:NKܒ1j~fN}ý=EQJU2Jk]O'#.1|p!XaǏs4'v%:opd f]St_jײΔ{q1݋BJ=~UX9 u՝hzF)`{zCA g_h>BSFiB3wuu&Lri?`xN8wv=}O5Uh%uk6M>ڊ`<}53@1Pn*:D]Xth)g8!BB'-GM=׼I=u mZ)`ITw E.h;[AU\ iP8 S(gYZ89c9d8318aa9eef61444a3c8c562cdfd12f2bf5b767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 ' ConcurrentIMP