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 D T4 ]/ MiniML:threads=2elapsed=11.774cpu=16.352gc=0.708factor=1.397zXZִF! #]ŗXf1-/6vR[ m; Z9a2G1B`jj?լ4 "4 BĈp h[~dJ)K9+Pj?!/g}FCw_)$ː3ь)XwaX:**3_>UG=AQ*\ӻY. zszbEPu@P~كa9h5 !mPY^ϔe(K_s:gU~^~-3RU0 ұgYZ7zXZִF! ]ŗXiɟ"xS2}YNd Ffl hǍp$nD gh\ϧqm$v﷭.GfJ؃+r[kx̖;k F]V2B7M/x=o^|]dgYZ7zXZִF! Fe]ŗXi%;*eqHl{PA]'(w-PMkPӗךl Z !;ZuL!;B˯:*17{ v6}k,vh` . 3(ڏTqb;p@wiK=JZ~%:CTs0^f[C Q%#tPs.';Е nd_$3ҳSޮw^%wk|ʳNuN1s>{6.E'B|QQKhk/,. ݾ"!ѱ"qq$8l$(_k?$&EƲߗ2S<{=@<#֐>04'ʂrspE+d&F0yzLM ;+ j?yx<^x60E3ǟ=Wk{"o H%:(~+mG]Y5H'Z=. ܏zCR -YJ:N_`ʬl"ʞ1NU5&;f@ ? ,Q֋؇܋(h^؍?֙'p_77~ a.lzMI _ɾ%_}mN7drQT1]R㿣Pqoig|#òxl$hyo%;r;صi]CO`f2|1- MәvܳHd_@zX~im