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 G |T$ ]S CCS:threads=4elapsed=13.076cpu=40.620gc=0.876factor=3.117zXZִF! ]ŗXf[&:)V<2c_/:`5=^QO1κpj\LKDEfi WWl$aR8aP25_weZcoJ?jm:d% EL6IjV3X9nmf= kO-("sC}pی=N]ufN)Tej{WhΛw+->T&. gե.zoV-7O7pJj!{=#Mv=\:?uN<־yXnZ1 CUN9uOX|^3 3 "!{pD[ﴐȒʘv,?HjUagKdWgI(u! kgD*dSӸ<'5V]vIɥI|Zh#5Y`<`D$6օKktnuPq{RUh7QwV;?&*t!&~YvgYZ7zXZִF! *!]ŗXiɟAyԳbɚ->BkσK+rCo6W ?Rb콒 ρZ n:2Zc2E35\y:ݙ9ՓP,w2Rξ,ur{,T-ΏxV=͐oΓqs`.5z/·jdÌX /l/-S̱gi܎k O:ߪ#iWuORo$wkkZ6{Z?4V6e ĜJ e]|ttQU=4ɣa:@t=Pҁs]xC/JA#BOSu3orȚ1QHY~Å|Z^;+[rBh"s94nqMlЍ[Gfy)&i 7wQ(_>+\Q8u뵥e;=JKF_vO˕wkgwQc(IAQn`+{X mp gViG]pcP#UԅJϓ A~?b)/20{z:Qc6v{h[YSsTnIעP95JgZMcRrF<.Zù#j!y ^."0oޏHRT~Rݻ"n^!OgWZttXuGZTt{30 f'5'$. .) @3:cR+_hF5sF> zi),ǤZ6|Q%c=e!_*іAN7d͈ǯ=XESWҩ=JL{~ڙM2 ["͔ `Vb:I$E D1@18|İ(i^ų~Q ^+VMkVцYJ_:&^b瘆>`#I"xv2g]_; Q gYZ25eece65bd0b9af26b6bfcb5a421eb2180faed3bddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe efadd5e2415b70a835a36820e6157751d92cd168 e40e94661f2a14641442f74982c2d75e28ec160e  CCS