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 # <d ] FOL-Fitting:threads=2elapsed=15.203cpu=25.384gc=1.724factor=1.677zXZִF! V]ŗXf1-/6vRZZz` #.;9≂ + Reh<:xp%#I "']a'f!^E &C=e >OfF~K %29Qݶ~:,cBsA Ggc!;Nm"!1;/U%j)WHklJ,i 6tX^Iyofl@P.uҦWC:5]96F[8O5W.\,)cfE zP1sFiOUM\f5VKHi;d}z!7EU넕JgYZ7zXZִF! MG]ŗXiɟ1QOϒ3kг^*]HB0$VWB|X]fF;d2' cN2}YZ7zXZִF! T]ŗXi%ή++T\mN3me{^,<0 ĭY$xinc/02|BE]R= qwHx @?nxW"(ċࡣ~dz6D:k?wnl,1NMG$?a| hey@\Vps c"+䶢XgBg*FC& )!tB^Asl`]SK-Xn3@Q-U+ :)'ge|@Ut7[͍hng =*') r|MÂDՖ1 3 UV4NȈTcv[ȤAKP0[;PY, `D}{&#z[*nW`[[ka#ok/̻$Sg1ED?(8X \ƒԲ|GG5Br;ETAETkq,zsyGsY%.=^u^4YIV)X#BMQVV8'&`V/ޱ_I LƱgYZd6acfe74602d9dce346ea03c7b4a7a5abae02a8900b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c # FOL-Fitting