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  H+ \ ]/ Verified-Prover:threads=2elapsed=8.617cpu=11.448gc=0.412factor=1.337zXZִF! Y]ŗXf1-/6vR[w?q2F)4|*[X\>!~&YT̐b\ߛɿg\Q5$֔CUHù%I_784E?w4)2pBwh=.=XlV!(\ 8@Q UR9+zc SDD8Pn 9?C`Hhm?p]\gϳ,v'Kj qG|gYZ7zXZִF! JG]ŗXiɟ@: {GXjWwPAxp|ULvgGjYi,]cKWX}YZ7zXZִF! 8K]ŗXi%923Tzg YWDŽSb2 IVN>lae˪*f-is%b2DG&_5dΧIǶh|MYc7rglwS wzj36ܹSGi*մ2SE)O9Ŵp(r[A#xyg"> (g63Y򹮄KU= TvEa\l|=8t@ .a^Q s _YiOU8F+q~X0޵WLJ_kѦ3؁,NI}_Wɼ es6'KwqAxnW|Dy}p 7/e}Q bcTUaz RY3X q}Y+*mfI 㚩y|)ik%Le9Ej=eqt}G|7E+C@r,#EdiӞZ[E_-Kբt:FJ,F:aC82|~LCP1g/P߮S%!X#nmc#4^>%%乶^5t֪</= 5NlAbD