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 JJ7\ / WHATandWHERE_Security:threads=2elapsed=53.144cpu=104.676gc=2.952factor=1.977zXZִF! A ]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL?bz]S"/&_S|A?fD`knHzs3IgdT"2-}qJ) )[ҿnGސ!M}+G ilorG͉4k ޙ" $|(3NG[J2V,Y7E^Sn`~0ڏ+ Tbݐ 56t]]Mѐ{KY$ m j~>S1ܒJ}f.1_4W%g & *aZ_ڿpt?26q3B'3P˕ts6t<wW+o&)D :%̾v 4SGFqj?#-.jF? oxሙX/DH2LωvX/{if\gS<~ڤ݁>Fk2{c Y!A 7 WHATandWHERE_Security=VvE*p!S$oS=pP>4 kkMo6q\^F,/'{]u\9ʄ^d7 u=0NwKa ,cWPQOy4| %[,p31ѧ?J".FnOIQCLVO|PvcMkV2bGbsa( ˡEtnU4nz)Ϻ}ÑSΕU@C#S#x4趧vū$;dЕjb' ǥbrCp݀KS-&,HC`<9Ws J|YCN q pt <;'5kK;H6Z|.HM0{>6St$Ъel <;o/02Q lS9jK4|tRD䒨~PΙENV y!Ggh:z6"Nԥ~F'H|.` *_ѽTIh\#R"R|pw? 1MY$#3W|qo^LΌƣ)`Lsz&%e.9µ1)X6,GÌ !/V~mMIǺTaIpFZ` H' mo}VׂufR!۝Ȼ#Q̮_U+,kzV ,gF%<%ȓ=E#ľMu 4a)#ܦF\i@$x"5'𺋭:>hAӅoSPq\%mf,FhVۗD 6'NQSfU׳)u࿲pB>m$0S\^ oiGկAjG0$(ZJ4(5ClGSAuMifOZg"g=.#T\8P}eIa~DZKÑCe6D#u`?vwsU~X$x5D7UW?_Mw[\t~zvjHr5ZCR1yÕ]L֔AG 6g; u􄞱B ,VؚM3itxpoZ R\@ՙ I~Qf<~o+\3O>9IoW-^vsUE7\!CEңL ki;k9γtJtty)B#z*Qrnx`LHhAwv{ 9.c.žS&D$pUL`>HtyH{r{P$ӫ?>Wh~Zm-U]u2n"_nLr,V.5G44;{Gŷx|F.!}aDnXe0*b#;w'6qv@8.&#S/So~;%1h-{|"C" $G##@k1)H癩hw_-_9vmE]}p7"OMV LtЂ!P/!z|EV, ncҿ`ɹV4KFK`#vU+I`&[J%F.Ov$0t )x%iH/NjVSq6bd'K.s~/tHݚ`ó8 ]p}mƑ|j8$ ߔ&dU=6^~ABCd0U*A3b1l &Trʖa#3f31>A2[T2m7rE@p`H>WgYZ7zXZִF! ' ']ŗXi% ό7Ɂ5I KXL-CW8DbߔHɯ1ZP)|`N ȽpؽV)\5IύKzYU8SMk1֩&:_4J.Q׃{pp#ϧ2kv5A+3[UvL[3ӟ$jʫΤ12RCGiLerrm\~UHiYm{$E8\Z0ֲr<f݉t~W"s1w BQ.R%[)" ǔLKdWvH1D\5o_쩞1Ѡn,zvglַ5\L&;X;l(t`9\2 yt;Ds-b{H%(SwAH!¦hL5f>ǣOt6]F(i ^ @ZGKK7neذOLI2wa4t.DAo4s2 0TER}Kl[8aLmJDnWf,<~:I"W9'$W%ľ8%5;\;Cש.] FGP0Dcԓ[+|Gt_l`c1i̦|99>ZVl_4sc*gksh18Al\HCR^?T>[}RWsPmeu/‹.eS[XpW t-i fk/z;̀hs:QK}q4exS&Mb;4ԡ6m5"9*8_xR,j+Ԙ&B Tx U~BdIތҟ?`!iTԆ0r Y 3@#f['xg|b`-}zoą3tO.W( -[NM')>kԖ#g.8NMd3Qֵ*$ߡ^1>pS&Y@AdS%Eo8!pEcg%A覌.5f~Ѥu H1?g8x[|B?뽽O]5!gɡ{Jsqk иN˔ve3Ȅ[1ȊkAgȢ*X2\i.EcW[󹫌} 7> W/x+eq|A| >9` H1Rrz;_f(y 3Pa."_PqZso}<\@ډ30ur{PwB=(i W{5/Dڿ- T?ɐ-PNH6}Q%v!d c;3şTYwH7D]mk~Dm4BQGL|-1-pҢT=c mRZRwP1lYp:H_z#3="Lڛ.r D:ޗ|a]6-#kŁ bTiULۆ$~0ȱ?ӫ77k3e3JXd7qTLfJSFYCDxz!.E(qV clTE= I(DiaJVQ<| ""{*T߼6Oi)~&vKq>,| K},i [^(xHX QUP̷ƾC̐ipИ qp8ed+tV.,m\Á U; ~CcڴìtB2c 67WEQ{O۠ryt㹒a:c-=czobm}l=#q Z82D6M2Y І[5'|M˾m7F*&zͪ0n.6{E=q0a$ Y:5L/+F43aN.EG(ih#EF=PʴT{T)u+wn) '7*'`ARD[$xwtARI Mv'l4 f~bF$@W qw Cv@3aȃ"OlKt8'j)2ӈI\ )os?@,|?O6P 祲h%%,{J57rL2kfsTP}9Oh%}Yaj+%s2>=HafNO@[-.^$Ҫ7lO$0OjԞo-@2v@kPP3:a})BO`،)' '@Tc v*e= <8M$)he!p!Ō[m2