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  Q'l4| ]/ HOL-Proofs-ex:threads=4elapsed=0.809cpu=1.676gc=0.000factor=2.077zXZִF! p]ŗXf1-q恈ܗ`(IP-̺|"~:.LZ^^֋SV`J^8:EN1k~aWN!s{]lkkJ!͢xM\|l;f>p=&Ty,:$3T @C߱gYZ7zXZִF! ]ŗXi%Gsmqo PCq͋bZ aE-YTiFFjP-Z-ֱw/8 XQsBCvEc⅝v[;cu1j0M= YɃ !&1KNgiP)Wd5mzTM ; R(hqȣlSaVEFF;V+ ˜ʠ)o+&!%`(~´/|a{Xez}<k" NfǻdbH4*6+lE"PT,4O <4dCdRTL_,.(/UuomxRGc/y/jaQ>nŁlOT8ުa48OML|oX9gYZc55c8b7713d591ef7b8316c0b9e5caa9b9fa29c84e13432f40f7b1835a151e11bc124aeab3c9b529 f56fa812193aef23b60dbe287320338d385f2b57 ' HOL-Proofs-ex