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 q1 |, ]S HOL-Probability-ex:threads=6elapsed=6.768cpu=20.072gc=0.916factor=2.977zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-FF%Eж6)g6_ܻ$l hq8ٵd%>5@%RF2tY82łL=@]rFTF6<4T;ځvoT|7B X .cT80) H\c)f5?I34Kw ]4IHmD' 9$*_J#ɱ1sR`hl WJx s1HgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >w4⨥&L/U>@7.M Ox_W$Zo7eD'䬻Ca=NϪ^> R#A6Ӄ"w]!OKfwY ?`o`h_ fʱgYZ7zXZִF! ']ŗXi%BUO[M0>WMHk0CI_3dI H3T?2l8EұnPs(ޑI с]UA/='8]8!/_`QsG)00ZX/IJ 3hEHM[+xxЫfJ~)"vc< k![z]TVrQhi^OTMśWE5Օ5;C?cP