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 % TDd ]S Sturm_Tarski:threads=4elapsed=16.431cpu=39.204gc=0.436factor=2.397zXZִF! !]ŗXf[&R;~iY x$}2qd 6_e.׍2BXHa0fixm9vV[y仑*ld*BYX9m|$wzLc.B(*阭H*؁ڧ 8AXTM4K❒CHX' 1%Pr Jt|ZIF)ǖw,A8YQjbk, PZGWٍBWsDn L]P<ˁSHVO&YσqUR`,rv%^"*d_x~_+,}bc6K>Cs c!']a+BF *,zr =PwƑ*gYZ7zXZִF! Z]ŗXiɟ==M*]0tI'ZbrC_S95pMXկC<͌)d`4i٫N  Kv1GgYZ7zXZִF! e]ŗXi%B4Lssf:R ԴnVpBqRW8Q?vqp7s$悢>`~h-J.ky -IE.HAJ$yc"09 4[gzs=i'7M6 ¾pC|dU-L207؞_Į =`!|؁2kSghsq S4ʜ:'d &tiX'7O,h9'P` j}GТ*diK[ nR.goJF"hmELiN9M; i1]kt!{Omن-A q?7] l|q`Qo3sݸ۸}=hg.BR>JL @ -fzQ?] H仧dR.GMPhvzM_CXۘ^3)}`ġ B\MVgH>KX@_B̝֚s(4[:iD/,@iaz4/6'ߠ E=/v {xZV[yJ2|*!{^0ReH+t k݄vP~ɨ[ *R~xe===7\X?V]dGh*\I`kI- -&#ٙ{> [\S $W 7.IL_G^G}l$i? PI9gYZe927d6226643fe2efa77a094238ae9b6e1d9d73c9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c f83d9d1b992c26af0df3bcb095b2e78e488da3d4 % Sturm_Tarski