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  ' 'V+L\ ]% Secondary_Sylow:threads=4elapsed=3.112cpu=9.332gc=0.200factor=3.007zXZִF! ]ŗXf[&Qe_ u]v+F0}bƝ<|[$'6$ۙ8ϑ2Ȱ!i+OWu":]g]ITdB! (_MNeCgt.?J/ïR njk16Q%hDqUj{ aYVBd0y8'*gYZ7zXZִF! y]ŗXiɟy|1J(*BhJp4N=f/1;)i}[p$SN5@rVFx+>HdAx/ZW9ytY?gYZ7zXZִF! &e]ŗXi%B:prCOy{ w{q4 Xl:nhEoORmԶUR^J`rVX+kLFLr_Is+3׀yu 9N?p48 Pi?%k\"$1'[o"0V 8IWVWMQJoY fVf[OeE?_ˏzYF =/VF՗ P(8.n0{u;. 2FI@mvU*4\yqE(F7S{g@# g>%LaLp~G4Ư-DYa%d6DG5_7Ŏ[^iM: h-zOp$k=)Zë*XHI%CNCZwzE4q)886w'P)\PiXT@knTm˃kBl{a>\`oȵ[ '8ts[e