SQLite format 3 @ .
Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
b! $ S/
NormByEval:threads=2elapsed=28.604cpu=49.240gc=1.428factor=1.727zXZ ִF ! "k] ŗXf1-/6vR[yK6Φ
+ ?+)82AN2mt:l#
hHH'9 6* Vz ܚ-h٫lpV
m3O(r _|
eˢ6bjͪlg`z#l*a ~*5Ǚ53iJ'WJWM:9x~yAnj
y# j}cCrJ3RD/11zOHڡ4yG> u`ܚ>wOUnhfx] O።/
Quk:Ti2HWq }Q+ 1: nZ,}Fcn ᕃ,iZ2۟ W$M-&X "<N ?NuB7YI[9s)7
}b_J]u#3qU2< fvܼ@
!Q@ kdNHkO^t! U87T}Kj6\$%+x9ԑ1DWNyS?%POC`] 09ï{"lx)F:lhn&j8 g}t 6ٰ&W}pi,y
mfL/
g
cQQ]h iU7vW
5R9fWGQ iaLӝν,Ț7JOw8# \t:o:ֲ ߟeo(/9zՌU\+~fU3 {,OKm/ҘAOiNrtllwDc ~JmCjLw&'ڴ I,nD@36W73'[Fx](u7{O-O{fF q4i8
)d )OLLÖg&<<]./~Y-~s $\Tox`
8oղ O>v
oOu=7{njNaMflH.Vh;|_ QF!e{E@ѭ%pZoF.65*z_ nt RVDg>Ө)Vs 2Jǰ閟6|okr4