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 . , ]]HOLCF:threads=6elapsed=13.229cpu=31.876gc=1.648factor=2.417zXZִF! ]ŗXf1-qN?dO*4 ᅉ(Xu>4X_j`pfb&H1@w(͜{%CC<7âҙQhYbuT41lMvn7LGc&!5.$;HN=`%a8J`bA##l/6*fu|L[l}Z@SNNXAvP?6HC붼#M4]&m_tk1(N?ɭ=z{X7EXZ#0DŽ5,H[ִ/1qA]PHόEV* TR#+a3)$s%Q>6], ᢾI$5w( XqSm"|to~oRπUcxL'5-`h @+rLɌpA =3Hf`#kjʤ2<4VCnNj̎eNqJ_D"N,W_]OVMUlgYZ7zXZִF! ?y]ŗXi%6MsaK+;<<|&Uo3v!U g}^$z#baBћfI3mINn ^Ʈa"O'n١y.2Dy.F$&ex A!_ޯl!b?v$nTuL{44Z'P~ۑ}XemPG֝FqӬ'ÂLԙHOe+0wA[wL7q! D;bB;,8# l ѕojr}knO`; ?ܺj-Ė!^c\XWF8~axY&q/T>LOFWƳ⛋U[:W|ޅKe-?=~% 7wףtFJ0н6ݝG}9f6mf* Y.#E7YVW5:t_ʯM  )G^(d&27;2c}yO }!Hm[,'G[20aj'i!P+'*t_^\Ʉ^hjGi |WlsGpz%F #@u[ސM~m替0B\2iAzqOom2ZDk͊ݡG,T+pv{5zyD[k-m׀g5[my ͇r2_i-& 8)G>F눚2UuRW4ܐ ‘y'z:CT퓓@ ^PVOV6\h) XL3*=R!> ~tg{oŞX]jsY6ˡ|%wnÎb$P