SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 4# t ] FOL-Fitting:threads=2elapsed=14.822cpu=25.252gc=1.796factor=1.707zXZִF! k4]ŗXf1-/6vRZZz` #.;9≂ + Reh<:xp%#M$71l"+t8q o2DErBViJ"2Wg":D M8EMEg#1ecf{9"i⬳̚/ϓIQ8PL>(hP޸˙/!{IlȐz&&ؑ 9UL7}}[EHA;n:団b$@N.r1",)mxtESyҧ?D$P0&zM_ vb$+gYZ7zXZִF! Mt]ŗXi%6y2v~ni³ >NiY9/\w C-vy%GܓsZr@;?`薔}:9&D8\*XHg'?X-$1\4S9ىhӮ8M xǑ#ɧnG}꨾u5+ wY}3ˁ,pIΙ=Z_ ޾•-ҷ#S}IFpU\ +\(˲F0zZLC-r{Y׭[j@ r|tmlin5yIy7ĉ!R$+iq&$ C.x,eՓ2ZkSs(B]8󉇯E*%;W 5ct&\[hMB_kЎrrF&Tp⾹Xl;b2S+y8F6s Ii@ #m4í^$W6vv=ic{4sZ Fkٟ8rWv*;]XY98(8}pىġtcBMXW=(_)٬}F#q1Ʒ7P[tnd!t sw8\b,O7lXel{=ilQ/58'c F9[JeD" ,ԍ́-x1rӱn}&U 6~^0VNd7=D^҂I^o#QY\d l/sMM9!#S %bS)R<(Ig>҅68d Jh3b:pybWi$N-PfZZiKK?. ]>u9'+@X?rxp: PhCXޡ9<ɂ1dvzVUvu9b YʺT3\rl;d]E 2qaM&KuC 2݌B_}"B_(Grz(oyW#gr@[6R6sy4AA RzgYZ1d6d6d66a532834e274914f3894bae6b898833b672476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 # FOL-Fitting