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   \T ] Category2:threads=4elapsed=10.380cpu=35.508gc=1.900factor=3.427zXZִF! f(]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~&&}Xk{*pVQu][X=mF7]D̚=XD;Z%?~P(?#G!i7#m#rхnQqoG"0OdVcmI]SCK4Mxƻ/M- a߬[ ؿd)thRX Y%)vc"E-K) .16mme@0#kw36J+;66|N6ҐKۋ q8 LU"CݍVY3B*g60!wG&,/y-o~ OSK5 ^rl L]~A4ۅfvQ!"[|F{"OM=ӧ|d^=6',`F}Y߾K ȵAa$v^?E#ܵil0&>GIIjfƜ#CQ.KrN:svo[$#g;^`1gYZ7zXZִF! ]ŗXiɟ1qnAcP꺣3TAa߉I%WH#Jy%k8)w9F Ŏ^242-}mL epW|JA˗Cy l2N OQTFH8 62G.D/ 2}/R_of 'z8?*5N'qu}+?xĞ$:2ky?LKhx PGKk-/ˍ#$js7Nd$qgYZ7zXZִF! Y $]ŗXi%Bt0KE4v$ 37Jݱe"ЇC!ej k m'HK=lEc0sW;F vvaK#* D{DjG_1L3J22ޢ>G*Qm<k$%ޔH|gc>!|7 P7hyB_J/z63 1̹n֨CbI0qmwܑ GWdg~\U܌yAO}^ xT״2 1^wb o`Λx 弅 'xI$E1P/KmnX F:Yxi'΃E+j äV}Z>VJ0B֜Ә"/^Ǡ[,J2n꽯LJS4bBsaa+R5wC;;oBϥE.ꐭ@Vs(q9迫/G`: V֚icdX6R͊[8$hm.c q`&ǦZ'>_(>iF\IERNHDChOcU,:)Ddg5|@RI_X`m92V:KڌP YM`7\SwnEjަd#YjL< :`LJUJDEÍM먽T1 7נfɾk&ܠ/զDsX^85g53ptKJ`0py'!"@K4ʽapǘYvLեYlG;JdV-0n߸.4}eܷ&$OԼtÇy`C 3姌~t? ]G@f"\;0"j!:7]D_1?uʸ\02"LhP`0fɵE#T*D7Q?i__