SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   D ]/]ZF-Induct:threads=6elapsed=3.284cpu=12.748gc=0.596factor=3.887zXZִF! ^]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb Nׯ`Q rOo*fkij jTj/.7oB[: h#=mr)"*)MEQҁ%µNȄ}9-W:̢>5B,23(j%W}/8neD#ZCZqigYZ7zXZִF! <]ŗXi%>n=IǾ-|mJ.FK`4zHo#sIf asv``YKIIQ2g^9{"C_5$+YDΛ6$qIZ7Ze}TS5w>E>Ԇ*B,Wrc(BfmI j nj3SA^BI%ט0 K:%vml|)Cv[!WHjQZά>eٻե(EDE,>B ovv\6:~ rn͜R_N ;n~%~$_`MJhE}7\d=vۗ*P"A{3S]6hD!l#gYZ2036f6df19e55f7714ba47de845f47237ccea13fd10e51eaf97bcfb5a974b5a9660b4a9c4ab71c42 61709c59360fcedfea28fcc8492ebde6efca76a661499393491d0acdbccbbb8f6412aefebfb6eec6   ZF-Induct