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  ! ,L ]/ Prog_Prove:threads=4elapsed=3.847cpu=11.456gc=0.560factor=2.987zXZִF! y ]ŗXf1-hg3U]r1K9a"cX]ݵ*RmFUI@fkK+ xwLpOK~ͦtW%c'Jz0r޼knk䤟YߨJ!i.| G 2%@zT<-F:A+zv+}hىd4],TŚ?a^iU\3&¡( T'=jgwoCv0ݓ+Ÿ_LsOwm~ cgYZ7zXZִF! ]ŗXiɟ˕A*++Yđ+YHz.F)ǺÂgZq.@&: tMrЇ|NľtͨyK6]Q #IqyEŽ7A|W4c_'c~A#ٻO-N75>93af3[J?FdQ>P80+gYZ7zXZִF! ]ŗXi%Bon+,oha.$׋KGn)HÆe2o)>Ðd_7D.g%ķ m֩tEf;iz5uU_rݭ k+UMm]VՌ5)>inNT3Wor ]\ 4ˬԈCqڦ5~y0(;}C-6RnA =܁M+~y0+}^7!pҐ_S*W&̏a?sE#[#,Sw,^W]amCpp_1"v\TQ`ț,U+Gr i-#9H2O{wErzxzQ T׍7x~rO% 3!ĐqX8to04ukxYEZmk}ݩ -)5tug`ܘMւU:dT6r4o36**/a,{o&AF*Z,>