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 rr 7 |_=֭0fA@NF &K][S<<+p,wx̸xüuJ7O -ґ -eu=b!ňP]M.EGVƒuBwR֣藛\6D9, ^@`4N.dNWI+[^B|$PZq DG*. : tdX[SLuĤΈ ,*ƘҬqTۘF*;ycݮXst\ӊ:ޙ,o(I(M{nUR-Ih4KGzxafzf$#u_|JG}.\mNPNTE2U4Z1`+ :lOgYZ7zXZִF! ]ŗXiɟCrh8å -nIM) hX^~vg3W$1QW TOe½ɫ+<Z͍0M8B'٬ OP/@! ys˫T:~A#]K'X\|Kķ~ߠ.4m 'rMJ22n)fs⤈ 2HzMJ} m"(f!gYZ7zXZִF! KQ[]ŗXi%923TxBa[&GbM'DqKq `bZWc| S^|+x3HD5EU R3u-{ Nrћj*PÐg*X9 ,3 ~ GzSb<)&V u.Tv;*"IM='o^Åz[0Ss8fů~v MYUW* $Aݞ3CGvSCˠ0jy{PL 7/V"OoZ.-C K;eHHaĵZ84 cd7sJDbP"WXvF]4}hhsu wՂ+S[8 vL֣yW吙:jO,LpX;lv LnW+TP&8\B'l5$M{Sߪd:ԴwaP:H R%5 @TsR6 ^`pz$?DѪ}7?MZ=XWIn(|S )\ ucHA-[<mJ.`%ȏ9Uᄚ:(^ZG~F &zǯ  R]{v~&9l