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 2# $T ] FOL-Fitting:threads=2elapsed=15.826cpu=25.980gc=1.768factor=1.647zXZִF! J]ŗXf1-/6vRZZz` #.;9≂ + Reh<:xp%#kË llD{z]'j_6Ӄ(~g:k?e;^&wWuH.FV͋;D|/$^lHuK1Xʠ9M [w)v[WNUKgQIg)¡H`)}T¹rm9'z t &]M%QTcS%@w7bHy0!+NKB;e5*c|\8[ElX:T)PiJC+%+0#.dk,oml&Ԍ 9jRnd 5}X<+BW/=w| ~*_ D>[8BtkSTZU+zM 8a-3ϦzX8ȦyOY  uZ .p܂!P\jQ_X;i-f1n׌('n25BxʷmWA7ޡ}M1hwؽ7☨XHfM*8kʼ/ѳ$yheUlĘ. fUr횟uM.ގ. >a) 1eȻc [32gYZbf88c6a412b4c513a2f108ef3195534b127abf1c8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c # FOL-Fitting