SQLite format 3@ .  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 N D|l ]]]ZF:threads=6elapsed=13.245cpu=46.792gc=3.400factor=3.537zXZִF! X]ŗXf1-) enȈA"tr-j. ZbNVH ur)BZpsÏ7nMŐEjոT(ޘK&H5 >eWr(3 y![B=% 𵶋g,.GF^]FYtHz TC>G<(m)(/ƭ.$AJIŝ{D{[~亭CunQ8E BVkea'z5+i?!5%L`GgXг}䩤qS-^S}V@pwXǠ,^&ڏ9Sful͇BN }٨PMK#k*?ʻ@z/ \݌9گ)7,-a[rK9A}i<nmj+ V%\CMmeE'x70Fcxަyգ%} ) 5Rw#E&zɏΘg1>g=ȻcG`ֳ*}L4(*rwӞub/}`\:nDaW*H^;ZbV}'TԷz?hYX_(p(=S{ [8&m⯱gYZ7zXZִF! 7]ŗXiɟ 1FE`空P z$:l-MA6Qʛ~j9եSpΎv&5(G2ϴYo JߝˊX_ian=MwY$gT#vJ$o*܃*,bdFOcm4){TCNwW8G1ڃJwZUd&l >1>3C:v!jqf8[R&n@nm8C{@)m|R4,("8ۓ( ;F"Q|F~OmE;`Cy9]+@rW:t,EN%] L/#(VjPaC>PRF#oHhY4U`"^V8hѠ(4}Q7j59.yI!ڡ,jǟ?St BĆHX)9?w k?q.3Q9={Z: Iofd|l(鴗PyY\!U8 @ж #h6v{k^Hzٹl-OC㗨e'?1F=Cʆ͛TJٍ/X\dҧW7h~z0i5$0{"1b,6 O*0>͉Ҋ8*W;X~Էt>MLjLXL!)zMh %Qݕ;_6EJe*E*rbnMie JiМ35Sg\pn+F(ER&A^tµZn/c]$4뒨ʊE̐M6mY!@hҔTFqIDt΃\R_] kx|j AR yM\(vܱÁ*^X-Eo*)R>F(ds w*`KtH 婞bj͕Y(6ÍW96 х('iZ[rX_=Y[Xo3Z:#tWJyccmn&Yxɜ)e<ޣ/k. }m\0_͸e5%%)pJ[r3 2sšD{-P*T:Y`勶w\U29z31&y M~/j=ot#qi%Fn,% Xr>F?r~.kV Z9.\v7fEqgURXyLR14鹪7{IU DgYZ16325a66f75d798c45e21b5cdc43394fbfc315c124a02e746c61040204a8bb5050040c0249134cdf8de3e88015f551cb05fd7a157ad282c66cb1be74  ZF