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 ] FOL-Fitting:threads=2elapsed=15.150cpu=25.932gc=2.024factor=1.717zXZִF! ,]ŗXf1-/6vRZZz` #.;9≂ + Reh<:xp%#Qd1>XɲR:@ |i\~bI>;!Ly 8r3~%8Fh8n~L+߀}m@&N'im .c)RD̴DvE{3GTƳf,W(Z=K8oZnN*r.B& W:\eX=z2nꨌ;)wh$b㫇'O WE(jQ3$iq8mgYZ7zXZִF! MF]ŗXiɟ1QOϒ3kг^*]HBy }ǟm._ if/8;oncv7"@fll?;>R ;@I m>bHna.T%f#FxN(Ua/WK5VIRSU#4 VZ/t}rWrCKOSWf]U,E;JOIԤS@8C~J 2T6R|0Yvj=U)գ6 έC+q=k:< %[??qddVA#zo#WN;!mQ5S Yq[&),`K<KQzm̺j dJc} u_pQdIz^bdQ)9#;K%б˒w Y#PϬDNuDfڐx<&4|£uFXja/:!y?K"Ȼg^rF]KY*E76|I-#DColGB eNZ{jȼ,FL3,^Wc4<nn!, DzE.Shu?9mU?5C'Cq2Kqz :gYZ0f0cc0f79d22d82fe6a1cb35ca27ac4eb425b07e665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 # FOL-Fitting