SQLite format 3@ . BBh77otableisabelle_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 T3 tLT ]/ MonoBoolTranAlgebra:threads=2elapsed=7.718cpu=13.372gc=0.624factor=1.737zXZִF! r]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2U,%~ vjRB{Q#^džQ:G揄9 &G:Bpv-m!tc!xF/ &9-P_'.1 /<(GQ}";lc)־XGHO$l6}ā`f[Hq43)-_j8EOdڮ_^]4q`8׋W7]_:&JFi>;n=T"jI4qDVre\ (Sry. ?~F Xa_Yxn_4`)N5{`gYZ7zXZִF! j]ŗXiɟjg*Cp a:~- ;t0JTg(SOKu c>E:ݣ^LS47~ptIӪ&j#k׊vYzP%ED{{ٯPq/rr7h蓔twDqR+eWe.(^$X!8Ts%DV'@޾+#kA(~uQ~)zRzgYZ7zXZִF! 5c]ŗXi%;w-2NL{@< -u9=?_\gȷzy]ꨪa\7&YYIO6VQ ܀HMpe5QZe&XsM8:/Gtơ%`|Iln,b +6m-hlΪT *{^ٺԼћʺON̻OȤrFD.ZqiJ6@w .X [:,&>rv?bQ#iڱ1fuSJGdDX36OX |H|k[5>pNv"I 2cd8'zso!FE2dPoEyAbU}]\/JMdF"\ժC_B(۾ͅ$˄{Wu4`/鄑 t{faEOVUDNzgS'k[n|)6F?lk$* ~-1RBgJv+aTUfE$צr"1zֹ_'G:k+AB֘k-ׯ&2q`ݷQhڼ.0]\"r|M*=DBSht_ol|?A vrZ>Zuu_!CQZ lT'( nuWa kxNgYZef1f910688a38f4ccf724769e1fc3ecbb84fd06479d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 3 MonoBoolTranAlgebra