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]7 indexsqlite_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'Jz0rknk䤟YߨJ!i.| G 2%@zT<-F:A+zv+}hىd4],TŚ?a^iU\3&¡( T'=jgwoCv0ݓ+Ÿ_Ls Owm~ cg YZ7zXZ ִF ! ] ŗXiɟ˕A*++Yđ+YHz.F)ǺÂgZq.@&: tMrЇ|NľtͨyK6]Q#IqyE7A|W4c_'c~A#ٻO-N75>93af3[J?F dQ>P80 +g YZ7zXZ ִ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 T7x~rO% 3!ĐqX8to04ukxYEZmk}ݩ -)5tug`ܘMւU:dT6r4 o36**/a,{o&AF*Z,>