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 v+ D S/ Verified-Prover:threads=2elapsed=8.673cpu=12.636gc=0.404factor=1.467zXZִF! I]ŗXf1-/6vR[w?q2F)4|*[X\>!~ X.h_ .GoT ʗy4MM;y 1`1>';aX ʭnE","R~`0f >Y@%MetD@QmK_q G-3.k>qcd x.z\K;yOϥsO>~!  E̊kY.Sk&XYM/hF`]*R?#j9xU'<b,P ĸ[96E^-:>Isp"n&&f '|㆐ik( %e ³>n;J#4 `Ye`o4O eg~L~w$+dYks|WL01Druh@ny;(*#`,_pEqyK 膈+ *M֊FV ~e-Ła;+,-`L2_s_w{no2٦GË[3&Q2гri +1M,!ma|EWŘw6`}OGA`Jد?KU6z#njUp]- ,έHon=tub|BO"|/Z.j!1ֈnq{K{jch*-ru~[Gl&lC[72s-W-sdFY(D`ڇZ:H|_*ѯ+ )d͉d)z^+;=MRF=)\&c+1O(a$! ռ, YWx`c_-(8`Bf؞O;[.r{5ޓYlAynsJQIЎbGH.Đ1)U\tw͏NL"v먽ق#jq0@@RRAӓ/V? ܃- kCmI+3Oa xsXdpi w@ A( <0} A n,uGi"%3 txשŚjW4ְ@|Uo.CzE>;$ ߟOJBZ ѳt0Cu{匫 . .5ѬMtr,R1?PG2rZNsX6EˆWp]Sg+tHԓ7cI@s|6BX4 /}܏:$yN#pp}vz}2'ؕ7cKNδ{€/W(FZ{^GF~O~0oE %v~NAo{cwM#]2ܵd/Zs