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 iIL, ]S Stone_Kleene_Relation_Algebras:threads=2elapsed=89.196cpu=165.108gc=6.188factor=1.857zXZִF! b]ŗXf1-/6vR[]o lY cjޮ_pGpB&gW4 k3&cDK?>2Ҿ.==S/;^j脥AHʐ4&ވuyٹ(k'Cgܽg_9eY%8hY_ ]\e26XN&U XH8.[zd([V?t4d*unԎX%7Z:^ݟ#oQK"-yhCSoSE{ّj=ϲm91iƎM5=3+6*h.sL$ӨPoA 'E$,rL.rJ5ֿU3N_rXR8KZ ѣ3``r6+TJ<3`v '/xCKxR8>k'F{` !Lm {)->BqsLsk:ᮍI -gX.iǢFT4.!2"][) ǒ ծ{G뵦LN\ݻ*ia&$el2Y%_)p3+v2ځ1}!y艦B6Tjfb `kLr"N$+IPMWQ>{CTgR)z,1,Ӱ[E'N]5sט?ӘↃd YZm~QeoUGdxjH%W;;)dp;&;c"73g9v&U=J8_ ¸GhBҚ9aR)’$apH ?@hneGPI"pM|Byß1̺y:T ygYZ7zXZִF! ]ŗXi%6Ar-qGΦ՞\GXI(,~GBNk{6=!4 Ӊr D_ԞZۂ󪠹Ǘ6Z0y&ZdT;3ObqAdP*KVntyv}kT sҡk:m:rDUHWcyMDZyZC*[I>o2#Tc S>4r}ۅn2 v0svQv_B:WYy:"za]ZaoOQQnjU H]êoSK va>y80ais<7$:C!bMed`r6{Fx(0 5 06i`Xݏ\I 3,v#VEm9,BxspЬlly0Ln`b /v6ԳziGiF,tehiFmfXd8R6x(@>%m 6>!Y#FQѰ*2mU+K?vt9 {Eޱo $ړp)Ak? fL[_57&fG /* }/&Hj'җTuhϹr8B5-ױәEv/_gʼcj$o&_lCPL^/[0ri"#4Y?'1I,d14l6V-e៼NcsV"gZ}+Øs;I#5M-mn=Gs?,ԟ=Vd*ɀ ݟh{giR 34nsٟG0Ȁ=ve͚b#e-Kbq͗{[?RlxVg\ܘէLl6e]ẩꭩ0~>5D%P?k4(;X((W'*C)!$sRh"ʆ;lĠg.RPoOtF=N{e]xYL޾S9] sq'#-["4%(tC/AM8`#kG Vp)2Oo]S$2|eEJ!6M0'~FzOt2mi d˦Ę}nt2s􎺌h {Ryb!o'w\LcPOBڣ\fwIP=$L92t(k?m%VnƷ٣g!) ƚ&^n"GUXTy$"G wɆ-SO U t5뭄om]mPoX}498XRB C4z%*p?R՟A4dҗ I6.$jvLl0BsW,S fONލx$UբY~b?=ns|)ЈS(t:1sGi%w Z>z)X| i1d),ԣN+j[vX*gz5Y]QƢAOljyHFGO:-zƥ sIs^eB5`~߉\c/1i96P t"BJ̹eYZՋ72r[Lp6j@5o9&GQ  f3st 2P0RZ\w >`E2+DB;~C6G"]5*4Z_n  zPТa8 *$5 |qۑy9F;~\./ٺmupUL΍l({r!:3qؑ֩k^<3p;6\E7 Z2dpMجMrtY;~r]V"$%@}]!hᄑu Ьv؝*2;fo?#s07Y)xn*^HQJdn_QGsqX) -?F{C΂&z<, Q AR`~MY^7t5hwrP-%KpIB5UMs/} B=oNxF΃x};rO1O΅m;pem䈒]Yx(vCo|>qh]&"/U~8h5 7 tN1cM>jkB%;Fǥp3(>y#-~܄&Pn+F/~"Hox7OL}z0DҹI vwL ^q$4?6vou] W]SwT^< 镥-i#l%v*i}X6qAkKQi;/1%& =l%f”zω'=[Z w$Qr KdMKLS$>:aq5^JRwL)S.uK]tU7}<>І-䂤f, vZޢ=vH:Qwc 4 u%!h*jdJF֚.cśL3$оߐYI|VaI(н׌5!5lCρbtLȽ1_/i("/VL 溳A=O l0OVɐ(vrQ&=!vhqbJ$a~oHhw0j貏PPJkXX67=/UQNKΪ)!=A>s ?>@-Sy > 5L NrkO˼ gݩW`*#@ ڧ΃~BD6@=yr&ɆT wC]G]ս岣,݀VtxN&l "'$zݬ E=Ou:lTlsQja`|訜! 7Bj?ZIn*l T|i NPJaX*yys32ecNR=Ėx]Ҁ?7ߍN^p~\>33tj,!'aFsTiUo}:/ RhI?wqQ{f)@>Veщ&MP{Lc&DLGx#b銠'2V.IBIK?:sG_,N꼊A \AOMJ5