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 Vr,D ]/]ZF-Induct:threads=6elapsed=3.542cpu=12.256gc=0.4047zXZ ִF ! R<] ŗXiɟH)0%o
fbs.{*s>ZlUl0jw/?ݹj~|cne145sQ1d2PᚣY3W֖f8uDA$Y}qN&wih^ўevPizP !,/Q7bP]SH2Ԫ,FQg?pڀ7`1@'do@{Ԫԥdf߁#J7A gYƅٜʋDP7lGg}`Cj&)7t)|W48SւQ4aƚ{L% R\|ͻvR d-UyPy&B9zIFw7&d [12c["=:gU@%.0}UyEDa;s աx%"K~*)Y ЪjZ,!jxc3Mbl>t'Gڿ0ck
w
xTP:w68F=Up(Eλ}T[2<m3A`nh2S&~OA Դx5Q1lɳ.8Ue^v%딁]!9!LRۃܰP 9b5$)ZXUDt&eC<h7,fs7Htm1:M!!kz8ΜB[+=#֙ϊ{l]QtMroxBF`
c$S5$ e("j"ۖ+Rٹ
>鍕j'.kyx4L l+7 &Ȩt:Z\Kfzja97iՖi߰eS srJb[cW-;sB%T:JWs>s:C{*bl"G8S)˖Vef 9[ɋPk3[Jwc0D$c3
-y
80Z6'\V1*@[hwVɭ~S.*