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   d $ )/]HOLCF:threads=2elapsed=20.379cpu=37.356gc=1.928factor=1.837zXZִF!  ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/Gjc]S\%qD26]bI!Pf c[UumQwADyxuVR34/w}.T8fe|ES/!!!?xItu)O i<X-tR).,=F>P}Y%-D|;,FѡE)!'N D왦gu-E LH>PV$7@mv.ajXa]qvZɤO$ţPA_NȃƷ.ޙ=}M-԰QGnzpy4UV"tT1 {zNAI Bv3$w,~Ý]Q qd Fy8`_dki ޽'Td[;MO{P<Si^ޯ*1[ܶ'W4iN!؋43ޓ^_k))M4eƧ7VvDNXҦ,``Ql =bx^\ľ%l@>d!\ks{8աriW@H>'  HOLCFlQsIj<Pws&`{ߣ'YPɹ:|.'#}|XIN/ -0I!Mt Ɩtԋ 00KcN1)@XSƂ6fkܗ"pEj&XVuR JLG%TgYZ7zXZִF! q]ŗXi%6x]6{Ow?D pn)ZluD@M|cny ے=zB,K|;Xpཫ"G ~!#@-u iyβZ~RўQp͹!B~JgxJ9m.+k-)#kCJf\>aC;pz~ݏr=8Ci*N8ດ΋z*Mݺo=vu31߸]PtQK E4zݹٶ|^`;p34㨻u`r7`3怙SJYtEոje&c NJv]mQ|Peg"P5.{^K-T+a_{ b'Vetؖyw'lBME=Mq4dn75?x.Azj(cԑ=K&b>}}t\ܛUِ<ٯ3>!JivDr€kx H݇R;ٓĶQ(C%o;i,/M^5@Zn?-j(kTLj6^fX19t| ޑ J*Δ9U^E%r(hАs6X0?qx0s:2g=XWK߿;yZ2OD_a[ gKAgc\RjzE|eS2NY.{$ 32%m:A9܀kJz)9X3#fNMcum_]"Z`\'SH41@5ԫeJ2je1MJ%pn?\8EZ{M{\l3badT)7>x_`ؾ=@yM4>ˍ16}(;_jJy'.'[M]PL8[6<&[h ~QyWS^PҤˍ\Z:X%Wh%ptO}OI+Uj>\vaPޢ1&)t@re&@ 'Vgz; $M'ϰQr|Ԭ0kp=\rPa7[ C/g1PsɾZװsL#o U^MxBmrC{r J—X]{K,WE$GrM7(mr2eJ tP