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 q% t|l ]/ VolpanoSmith:threads=2elapsed=8.813cpu=14.556gc=0.576factor=1.657zXZִF! r]ŗXf1-/6vR[iB9Gf}P9O`4Fm;s2ڃw)"kv71ju0vi:sAl>![Ėpye/l"*X:MWŇIz9Yhm9Zv+FktÛ$?N[&qeAc 3vNn0kt{$*=/[eu!#b~ďߛ|*  QϿ7EfT 1F oI1yJPdsV}0غv'm/N2E0ٜR:6^ Ӂ{>J10gYZ7zXZִF! x]ŗXiɟS+;̕*A!@l@?UVfpr"Wܡ/xuBfY}G!g ksixgfYIoD.Re++GqĘbوlYmZb%a`  #h=.&Cr .';Jd@П);%d4񄊢EDUs,>%%r>/ ,n"A\މUye0ٓN4l;{zX"ȸlQ⢂R%(̓+\!mmu ]8\^Ffo}fb S#-6Gӹ,dkI|yxbûV k ĕW'KF]Z*FN]2>x'PfL\f_t7c"#z 8R>ψ/e0ƆշtvSx%kO,R`A|%Ǯ:S_FV.T{U JЈFs` 7[b"u1xrۤ\jlMe>ں0 24 _{ȡ1̺SB{n}iI%~ڴ`ZGl 3J0TT?3(;q2=fax+Wm:ws*daC f4!g]-~-\ᓑ' K\ 뺺Ȧd" mXgV1O*x =+|3/'TytveŠܷTrJ,@nYT %2 ⌒[dѤ :l$ cb! 2}ែV I0<"TqN;v2sOЯD&F2z [M:7):cy1M8y0*Ղ+rnmUx(TK{eid@H-@s,7'L7'z;aj[MYB6(p",L>[DN(* v}5-XOxUgYZc28ee29c4ae1f3f5b45cd5b8bbb820027b8962e4665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 % VolpanoSmith