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  s! ,4 ]/ Prog_Prove:threads=4elapsed=3.458cpu=11.456gc=0.520factor=3.317zXZִF! j]ŗXf1-hg3U]r1K9a"cX]ݵ*RmFUI@hWdRo4{9$atz#a .COQ)M,V P{l| ayJQzm>LV/4ǐNի "_\w^̯aHzqg+V*զ=$- 04+zle=NJQh$| %ƱgYZ7zXZִF! ]ŗXiɟ˕A*++YĊkqdT丼4ȴ׽h ȴ1^;z:vHk঵N(93- [f!<$izn a ;KXj z+ Vj!ZֈKH T)_,- [@. Պ#.v]6:_= 2܆w{pbXQy\+ݹD~ ;hWx88.ı?C]y˷«uTGZ3C\Ӿhv?'h:tV+>D[EMzY*&7 yrE-P\wM̡?Ȭ,D{W²;Kl{tڬ \EըvFh) hz%o\v/ewP{&dM1V5! eeVT*^ؿ ۀ 2|2(MWvC2Q|Sk:vob&w]y~<*>Yp;jINN0{WJf1$LUn B-3:f-BDxX^4A(A.8W&бgYZ7eaa73329e085ba8c55755644d47d73722eabea9d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3  ! Prog_Prove