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  ` `T\ ]]]FOL:threads=4elapsed=3.449cpu=3.936gc=0.208factor=1.147zXZִF! ]ŗXf1-) enȈA [bYo;E*&ùŅJ~q 2`ƴΪrIӨƩuzMggEI1r++l[{k{n h,Dn I!ݥ"+A`t7 LgYZ7zXZִF! pL]ŗXiɟ 1FE`uNno疷紪o Y/H4[~;WmsVr\!mqFrUhq.}YZ7zXZִF! &(]ŗXi%L>/}8!TT2ۙ2m]Uy {;b@.ʺomۋau|RI a{MSW()Ώ~V_?:V-Q?nvʽɊIrK6Pr 4K%N@LdXZ:H1̅N]FC5e[Q9Ky#׎f$>3C)Κnv~!A5 fY+ ;e`אO o=C60Ff=y_[]\ڤk0`|EDU-#zs*LǹOit LI[:~`^a;  ^a2d㎽XHq` V8 KW/ڔ"h|$+{vOߖW_nً @fK(ݔaYmU d[M%J-XB/6gyj2fy1V2t;׭j/8T SVGNy(G{R/&%4AN@cUN4%)  UP6.fk%f[{6lC蓸=fhis'ԼQ 4[DF`Ff ij9jBk1?SY倣"N$Z1LE(_v`_~ ^ m5I?ymSy=*V LW/y jqbx; %Re?@ ;u0MoԱgYZ5edddc76abfced780ab37d12ef22dbda057b11e3d3f90704504dab3f9fc94e3d143d1180eb260c4a1a893b859f84ead0927c62a00f3437ead4404405  FOL