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 FF7 LD ]/]HOLCF:threads=2elapsed=15.598cpu=30.520gc=1.772factor=1.967zXZִF! ]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_Jk8`[N0RhnKH?J$(sOߟt #/ </  Д.@hbO{)2Ѱ!Gb4AĿ9X•d(JRi(83#&bis6DY5DBI~RwK5$:69b{ vBNeHt . 2 1JJT}k4 )G)pV/4J~˯+] fP6J byQ.9ǐ&stEKDDJU4 N}6ҳ:9ŐNqMGVg/MHWZzy)(k|=7\z[w5^.:tV\uL J dG&Љj!'/88\=j>֖#X єywWuL|Dؒj>YM :Ǟ8pG[b^ZV\lھjK?RbЇ71 ޱgYZ7zXZִF! B]ŗXiɟ1˦r~KunύNN{)vt]+Oo4'p<2:mi$Jɻ+mŎ1F]΋T4.'LcH>b\*6`=ok==FLXA7^o˙Wz*;T1o+2G'*q1s2(-CfK[(r3IMa!߲WR˛3gW`+ 7m{-i1~/4(w-JCK_4HRØ[TA$•8@ty։^Q4SKݠNp]mzfzz{鞵EwZ͈T>yd6 vݕ譹@FYw`G){l;i:*/|$X;kC֡!s0s/*}L_w@[ċ)0/r1U mTYg.b Zzj` Q!lzp̸۞PLSv9^߬tjgYZ7zXZִF! b]ŗXi%;j6^ f$Eh\ Vo{x{H$Q^Bvcds# L7~ڎqKźQ7K[WhZfåQ x.Hܒ =iPxw##VffST *fh~hqREuN^-3_]e]}X6GR{X: Tgފ4Z R9AJIؿ/HTykV9^nz tz(tVe{dl^:H]ƑAފ)L'&Z:Miq d϶/]D`-ol_tFð{"pTj0n) -g:Kto̔a :Z.U U;1!F3EM%.D2p_LhXmhCy>[Ur]o6BsbJ48 Q4fd>gYځ`r91 (_B,Ճ,gcN5pS`>X$z*"L|t ag.?̑YADPY}r JܨnjĐ}-s08? *NnM"`@vMˎ|9ZJ.dT3hEX[Y-wn΀VEB@KF!۴^ Q /k= -!őb6|֝w &ScvWO4x@@/)fW,Xb"gkܖq4c* m,w3& nvU?HU?J N>Nf <ָ"$pC$bIRDe&#O7~R!x)"55x, !ZFJi~ -9<GS4{1Rٖ2tJ\¬"hᅲR xަ/ JVKw!s%9O炩c5mrr /`W5Wޫ22M^:q^ye