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  iL ]/ AnselmGod:threads=2elapsed=2.375cpu=3.092gc=0.032factor=1.307zXZִF! kz]ŗXf1-/6vRZ]Nj-Fhϴ}L3)si ? +GqڧNm {6#~T5a#=ÎZ&T~9l cKY7hPnZuz.>|,@9UwÙ芣7[,w)[@ۤh<"4:Ed~J? jRٞW@ze׿.N>9YF,"%(){VcgQh+Q-p/fzE] }5(YESQ&}uCt9Gƹ80]뮒6I絹kӼ<@+Ā|Wr僀S<3hHbzr~Pt7!Q Q,$خp <*OIX f`kUm>V["Iɑ1%'0 .hbc|Z-' 4A&qKlZi)c"gYZ629a5c6d68869dc66b54e688405dc6b08e40ba12e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc   AnselmGod