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 TT # | i/ CISC-Kernel:threads=2elapsed=29.049cpu=51.396gc=2.088factor=1.777zXZִF! 8 <]ŗXf1-/6vRZx>3dd  # CISC-KernelW4Xhz0a=s`P&1D}SOz>MeܮXƶ:4ua}M}OP%IS>Uqs(58ڀ a*,X[(qe}\D^B\ih[j0#/lQ4<CSeL-/w;`pHvARg{IFChAz[X'sL oAzLPhT+$GP:kVb>dc`F̱nrw$ԟ5H+izVĴ0SZ'60˄?  *+g[7y(Ob5BwYSjadV7K{y^ӯh#q;c)C/"D/mT\>Vn ۴ [lcJi5Oq5S X->rܿ'3D-PTHi_ZU2h¾os m?C'勵!MGh ׬nߌ7-݀O.N7Ҳ#B[`ѥkgnE%Oc9)#5(Q7Ԉ|SP@Dk?[PƏmILߓTBWJFgk-n ի ~g dó"mh ;׃7Wfys@ck#5e4b@1h;9cΪ^Fyj+UDh^9ȔnC^Ȗ@,̎ ˑy< W.(MAV̾,ͅDK;N D.j@5)$*SBtBEрyDERIpjH=HC揲Tۤ4j'Kn4S*zIRWU9_qchbw~;qj~S9>( BD [:<v9 ݽe"E4PT E]`gK'Ѩn;O<< Q&R|!`Zu2!h6ǎYF넯Ѯ'.z K#]*̠#bqi5~qZQL*{ O'a%#xPXهD~j~1he)Ax-{(Vuy3!c$;6Fw2~/ g!*`@q慏As^q/Uʧ>5g ِ؆7~JܪwVvO"$!IAq(F49?;frxy tJ0qΔv\e7AgFk䍱, (0JqTA@P?hxxme!{.K-ğA QxՉU %{jR# |!ߣ9֑s[Aב*81#4gQDD %œ@P ֽЋBק3o!x*eEױ$V/(󦿃P[MGMiȷx$mGzI+p ?涸.[\c7uRK\=H>!ÿ,F&R**I{Ƃ-QE 4~Ʒ(z0$>V{OWT*Ql|qBcL -iբ3/~aH>9\Vl[= I~H ,زFc*&aw_~b]xoQq3 צ%uH88U f HDô:g s<7Oy#% _^ucr-]ʊC3KdgUSG(eHtPt:6!5h+n} k2"I`|EAeN?r(Ui3i_P]kμ7wVGc#흦.9H5MJۼ8)* wk ˅q?<$HB?c!a ȝHTh0IR\P0j#̎)%!dy8dwNBԺ~zkwےVK&ƒ.yf )eapTd5&ڝndžF:F46޶zJ uEiOId)u†.jYOO% //+MrwY.pG@nȔ7|屳"~_hg9S\V; mS.])7peUZ:#hQOηy*[Ů%mДܘB)dZAڙy2pu}P/ޤMSDE}'q<C>3☑̃W4Y橌G9ƮXo+wU#[COu(B^[ g $e|PL:SPARjZ$XN#w&]ym c(}f[p=?TpW.Yn.u)Զs 0 n yFDn\[7 Ə۩*Au!LJH<էsf_IrZomuěKSP+<]` XQX|r]%M.)24?vM4ΌࠃVp /?*oAS$JdЛwe_\pOE}MxL8Gb6l)z=2lsn$5maO"wӅ.Ej˿ N>Geo %JМ`x"6ݱ *BVdCq~a{a 4nդ1l]O{16i:΀^{ q`OɤO_ kkehMdG33@|yoԥ7<7U]F*|"/MEI[o=$tKEC!(;2F(Z^Jg};U nL`Zm9Uɚ/ystI4$0mCM2?oA ֻz('{困2c܌K.ӦiM `6ZzYT %$;fJ g&fuDwl2JVա70̨7ؐo'\ecɔX5WV\Z?U9\#Dq%u0Fvۧ]"[X^6 53.