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   c#,4 ]/]HOL-Eisbach:threads=2elapsed=3.962cpu=7.900gc=0.236factor=1.997zXZִF! P]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NV&':򳬯EEpK&vO69yI4=)!UWNָ ׹$)ָ)aكw-U[ xJ.PhM^DOK|N`ѷ䄰R}8/P.S} bpD .;LSQ;ɡvDs<$j8{KȚ1sĕ&덴6L24¬FV4ϬsyVR(jvGYjrmmgYZ7zXZִF! :]ŗXiɟ1J2oeTʹ̰Koq!.ڞ@0se^C@ٓiHO/J]r[}pp%(GLpƠ,ܛ}0sV6PEU|Ab#:2-=BO1k|Kd p[rYpL!'794N9/'GnK \%dhgYZdf6871aae4d1b595d71df23156398f92d6f998cf79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc609b2a29292c1a7471ba9e0be788332f5577b246b # HOL-Eisbach