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 # , ] FOL-Fitting:threads=2elapsed=15.576cpu=26.340gc=2.048factor=1.697zXZִF! NP]ŗXf1-/6vRZZz` #.;9≂ + Reh<:xp%#L6z'fv$Fm "}%߿2nH-|GkgٺhtB./Ň']wf8._V2*MIm`ٛ@}bI)ݍًh'=KykFڔ4UO _̔KXF” I ow5}gWF;_y-<2o[γʤZuE%'tV9(yCdMw9B035j-@cNuF3V 0?狕k%}Ȥ@6<!yc\1_<02@XUFOVWz֠ikHVUM,KFv\>G3 U'(<(KYz4b Dܽ^2 ⤢3ٝS(}-+0▶D/u"؍Ui]YK*`Q;>#D49zΣsD=jGh«{^|YM.R hRנ̰3/7W^m+?fEްT3XXvp\tMyVa( p ?jK3'ts՚.Qgl_K.W/qXQTctQ^-r9n~Ohl]_qQٚ&CPyBdݓ܌sncpv.0Zњ4Tw(N]iN{_*t=t3&j0J?>$Sm1p<(7Ƭ~"gw nA৑GgU({u)0s.L@K{ێx7ޛÈG7 |2C=}jV r:YigYZ81f5073cf70bece85c1133c00f856679566ad56079d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 # FOL-Fitting