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 *  T ]]]ZF:threads=6elapsed=12.447cpu=43.992gc=3.060factor=3.537zXZִF! b<]ŗXf1-) enȈA$jB80l,v8-qFN}YeG_ckwU\{|A$CvT܍Iq] 32 Ii98"?%>WhO3)v,w6(ۨ@PȃDM%(L.u.TLczb2놽б/NLiMأ/"=zaHd( V߹xm;=5"8_xig+WYhV;s8#I]6+_ "Ae`QWO1lHz2(xȖגGҨ&uv<QQymNOfeC@(gD|j}A :qZmC ̈^vM!Yւ 5hI<.R7~u_._ w!WA>1nK}/$gYZ7zXZִF! >]ŗXiɟ 1FE`穱 #JR7?8>OMQ8X|X8;2 9aU71恼 T,.RdQX\:̋F¬97]W&U:;#C۞ ]C#zcouJ^YAǎP"S0 ̺] K~~"JP_H=)ħMQfhv`! R!pyRM%t$蒈_T6EpF `t3u(pr{NånG?@w$q4vR hrקަcy[U|[r^.{K;"bִCX~Qht$Ow4ֵ6]Zw;*[kpI.RQ"Tӏ1#-27ש̇Vʚl3PnO֩b65BAoD$Z[{УՒo{fv*TcH3S(mVg-mGC|'BV{ӡC'gYZ7zXZִF! L& :}d Duwg{f^XLj;}<ٰSPbP}+i|d>WEZJcKж*h gLnWAǘz9W1jy7xkϱb9J5j|'bEjbhM Q"gQc(: d BC/ƙ,X"CvqDnw0.䎘͸ xi]蚉h\',?QY_zP|xXMIDz_GX77M*(p* փclc>yJvvb^V#f/`/L@]=*{zTv_ii%`v`Φ-"m༬t[9Ѹ\SUXLdO YĘA+ȟMg$[!x]MK]&:FU({Ǖ[n"(?**Čq=n},U5ug.Y;IQ)*}` P\zy,Q2Oqx?\'RyDDuK)Ҳ{] A\!<< ~:egr6V0!奄,AY@e&tdne,9Vj}vePHmƭ_JJL%6Y`#^H"?7 TXbʾk1`\kԔ-L,J_Y'ɭS?Hsl/E!z`,DՈA?Z 1LiS!_k'% yPV!ӉDB-DXnn_sEdٜg䣏=#Te< /Q5dO9ׇ )*U/;bFj6CfF@"pvpm [{g (L@<#xz88O xgűgYZd11a450a907c8dd29a2bff61365ce2e83a0fcf3907237e2b3ade8f359663183ef1c4fdf52bd9e545c909ad9c7d6e5552840462280111a5b5fda0c019  ZF