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   < ]/]ZF-Induct:threads=6elapsed=3.432cpu=12.960gc=0.508factor=3.787zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N KgC{XR7H}V Ci2@l=)!w}Ӵړ}dj:s썓wւ\97m\kJ콤?UY&Uiߞx@Hi]L nW^T <4_I]O!cbDx}ܹD b*2֨8y,r:$k30sv<\š#Pv h!s0[9I)}uúgf ^zgڂ̛ڋ1`ۍ։b 5.:_x!CYL*@RVscR7e`@u9Ey. r -b,R+ͣ\q%5^ } tA+NlfgBxnkT 0TO!%PY|e:\mƿҀ,Z嵄Ǖ'!v5Z>WPn)u;)..