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  3l6-A(1o=s|䢅`el N7\*(sj -L0=Yu%M`d- K=hm򙓱gYZ7zXZִF! ]ŗXiɟHR,~OG_lop{gg'U!C#it$bE0i1Cņ.rY4͡lCy5.EPI]cKՏ!zt> zs3CΡcpb9|w~\.̘M5:ۨOGYүRXпuw) |Uu0\b^=PB:gYZ7zXZִF! ]ŗXi%9(R b6qq8n(aAڀϵ& "m\ a}az!9J6 َFB=3ِO5@vlR/=+'c `yAs )rM;gl6}Ip0 K&oZPg{Kðs\?`c S/4h$zNk~OQ hI(%9&Ɔ{Ǹ"Jrx{b 1a&rgqP'VY('O9%=6. pb7K}T|wjU_O5Dz1V#Ņ68Ǩ2Gl&)angYZe31467d5cdfb5492af6498417eb9da229fb0012cf24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 38432a9791fffdffab451c89115903a806c36c9a   FOLP-ex