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 o7 T D ]]Abstract_Completeness:threads=2elapsed=8.560cpu=14.404gc=0.760factor=1.687zXZִF! fa]ŗXf1-/6vRZyغgЕgQ,n0 w{YK-L2l 7^+6IM\ܔ!yĉHF\²)bjA0gvAW48 6u8dX.UrD__#?Luh˿K`mc9QZi}o/#c/ { a &Ph}m# !߿?`ڀLzmVr -:swqfHdKpĽ^Aej+ܲu3y}-O5w(8r!e݋` e&3uv%ѐ^nr4 %X~^Y[c1WGgYZ7zXZִF! ]ŗXiɟlAC,YflӅn] 6X, Bs1O)Bv$!S-%N uBp]C& ^Eί?;bWn]fqC_0 \WфS8H?D/ͨxBal[xͿT. -gYZ7zXZִF! 9]ŗXi%>gJR϶ =p`!]X\E#Ϸm(NĬe0:HUYJҞ]ÑBlQLJxfLuJw0b"DC6wC:bs_쿂mDHHl<8Bm-X{,tn>?e GrXS*;9z B -:E2IZ掴U9ޚ\GQ/>Dd-ltq6k0/G,+N/"?!ߍu ϛuFڿ;h<SRiFсI2|&25FDN[)xMvEo,$I L*`Xu7S+N 6bnl6X9GG:~T{p+1&Qvpo t[esg-D[R!AU*֪d?w߳KHU\h;jgrJ?z":]X57OڰHV:kUKd+\Zx8e&Nlc½ y' 8Vo]i$r1p6]oJ,q mߘy C;;w{>eUv,T@pT gb(FȢ+_Cu"Lq%NU8KZ]h(\)[P6H4#MoHO8rрϜf Xx$M-iv3Ȁi cwE<7+9pWXjD/B$3}80\TKew0cZJ[)ř#