SQLite format 3@ . BBh77otableisabelle_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   g! D ]/ Prog_Prove:threads=2elapsed=5.794cpu=11.144gc=0.648factor=1.927zXZִF! ]ŗXf1-hg3㶌 8UA5kGc,SnW8a:P f (ߺ)e(ia w ;Ô(Cn 1¬Qmi` +~W|`'&0Ѽ]5f|GY:s.D\ؒ[خX8c %x\HE!3S4s(M`.>21R |gYZ7zXZִF! ]ŗXiɟ˕A*++YĊkqdT丼4ȵ+EySCP^ro"O 3ǥ$hY BS4"(\`*1#wrsf3T;Lx$mENؗ\w0W̤.k=?9. :`gYZ7zXZִF! ]ŗXi%9*Wθvf,oqXd Cő<*t|G.v6$Ċ2@=Oy3^g-;bZf9 ((dVPk?"}ʴ `k=#%ݘ6uJ63q-z*ӣ772O)Hybb88Z 2=̕ T8Ն"yhJWZ|~!Wl.ƈvp[ZԾkT\7 !bOri}u\J &Ŝ-w5nc(Z7qf:%ݣ?k9i)!1.'Vl}Їq[6wzej[+V#*f;XJJ ^mN!"h-<з0KGHut R-z