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.395cpu=24.952gc=1.728factor=1.627zXZִF! >]ŗXf1-/6vRZZz` #.;9≂ + Reh<:xp%#>;IE֯,)p>\RAcfxAXu-^?@Fj())@B>ݎ 8dXIBWjԗp,LZ[Q'>Z\(zxu"D9ڌ޳"q[ /AzpoDEB<Ĺh-ufؓCxJrPh, [[ Fh*\.zo,6͓5gYZ7zXZִF! MG]ŗXiɟ1QOϒ3kг^*]HB6À ̵ PrBΠJK%ϖcN2}YZ7zXZִF! V]ŗXi%92޼۶#\c1'iIܿAL3-89x.렢{zYs/)O`c"MpO'2%lB45#YNM& ˋ>xŎ1RO1 pʐlSdЪ|7 R*$ LPhiK_p(_:L o''mF{@ O=:U8ro2 /u=l#cb +|hͦ"F/+Qm'Rߐ$36$E̔^P~] m,j:Nѱ+D"n8eh-2^Thcv۹^h7`̱’>(}-[rW 1袙'1ק:$TdLxbC%qq7/sHQBi&z\{&e\ ҆eԩgx.٭(Ibqqy~x]Ryj k\Sȟ"ZmDzƺs!7վFz6xV0,ŷrڬ: Xnl@O|!r@EX峃'vȡƚ\Bv'ȧ*[ET+)OZ(?vͧ?6)&T_9E7k2$Tܫ^Nt, /.ˍՄ>lZ+NUI}I)܌ZC$l % pobQU,ښ XCoG.RNVi Z5YEJڊJ~bt kC5 5U瞍Ԫ(}m&dkT^M~;mUnYeLMJ 'ik6~:M?˕lgySw;S2dէ]aQᫌfv]ZY;)cM<6$|%p@P#I72C0HpOBR-ǕuC\"gJP2|oWk+O>8hEwttD2&1'iag-ET'*9QR!ˀ: ok٣:l:sgߴH2hvLS^9^n۟x~acWaE8k8Q^@Z:Yx sUgYZf299d5fbbfb688523b82af09e5f8d222901531a7fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740 # FOL-Fitting