SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   P  {/]HOLCF:threads=6elapsed=15.967cpu=37.136gc=2.020factor=2.337zXZִF! ඿]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kx G~ι%o%fy_o)rlLF% 3!jKq} +pX#u!dxke45Kj6I|ai(U?]מp .m_# `4=k03Ş:V[ͭhE<~hJ6R枿173*Vu=Aq} ڣ9frQ'آi cLevryHS/2f:z@lIVh;XrESr\F@l!4qpfsŠ^Qt(r!۴`asOù$Ek|UkV1@1A+rJxd\ }ൈSgLY&]y4eh$Or\Is3Hf=`Jmkvnu=6*Nؚr }6 iS91 ,AQۙ_WA9mO$;,c7e0ѹh6ZN"ʜx؛Z֭a0(!JgEsɗFe!I7f3LM"{|Q{_xҲ?^tS^ReE|$݀m-?aulG5I;|DvT3iwrnQ8vڄ3g-W*BdxD'6j+ بqZ=:/':U{Ee%\C6m0E<[1i\ :l0'+qA@G8eJCYGњeLĜX@WE0L5}R`NVK-lD}?gR&Fq)I&*$P8AG{y(V}A+/5q-P@ ,%P{]Wm\i7}&D%L`}O9e_)&.kAL{k6 w&~5.amܞU w:XSJgJ^,4߉A-=`C*j|N-wO)뾹uOi0iv_Q6*$u uZ?2 #u׈2 )NQFPmd+!\qoqm|Fe`Y35#n ~l+eNtGbVД]DLJjP瘳 %7W)"hIgooa\lDf;+XW_/=VQ4$-֥/73Aۂe/ t)Vc2aaiEƟRE{YJRi2)mщhެ_H%gwx" sA&:uqg\̏a!+̩yA~rc:?S-6!!K"O;7a8nud)VOO񻫫 r?`ȽvA=aDلCNOlض }B;wk¢s.7ƣBCz<1gf;\siA^|~_RCTkF+˞KvŸ(6 x:e=\Z0Rc$\xBM_S A%C3;_V`{PQڨ^~߭O^V||8)Ae>`AC0P[f~/IiSPVy7o<@l.o? Qm̨92h_J // 1o]?d'Y#7T gcZ5權Ng ]N= d(o Ta򫾹YIsP4И?0w6 e13?]]btڼzO:Q}&21#+mg##ڑ`Øfe\'ĆÜ;6DzMR ·5Dv+\d6y{P FX{]ȖinsTj]TU/Sq# myv8AůyJ]G{m(79 >A&y/f,$tj3Gpx4kW~ۓ(f b`5fZz;j dC}9y=|1cXҊ$lgYZ7zXZִF! Kg]ŗXi%}bo?EG9BFf/i  BmK"lp&G٢p}18mUa;Oإ^\z^A,,YeRvwтf0= j)N8># r]ͯ1;Ű` F%j:#4YX^]H`'4zX4b:J>k~\S?ؤ ( /#+;pr@oTkc؜f=V&gu=pURyLOq}G&xg>ne:6h|)BWYR{Rc4:~#K>LaD LQ9m*C;y[Y}89, ~DWۜc`of5S%wRµj5XOM*rˢ#9'L:uR]C6B>WHvC_gAIsЯWMӃթϾ%QDbHA jLid˦4W492IJ_݂́;ߧqoL)qUJ±0bw~:Ӽ)`.T-=Yg^)zb;@F3&}>S"^c,L<b($X& LK,7ܿL("C4X|'`S`^ *`r3z&1O"h)5VvJ_ :h/Nj(4[X cYYw_gƑN:if=Ohsf*lt *@%χu]y6 '4B,((]#s0 ً