SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 22CI<\ ]S Stone_Kleene_Relation_Algebras:threads=2elapsed=86.237cpu=150.712gc=4.960factor=1.757zXZִF! _k]ŗXf1-/6vR[]o lY cjޮ_pGpB&gW4 k3&cDN08Xh͐6ai/_bSXW7muUOC4* drYBF8i+XC\G*AiE$tVMo 鿝s'6%Uȋ,тM_z.ƯQj? {" "\sFaSnK&:z{1SrQ@wBwA k)>Q(xd *U12_& F0rQS!7VVv5nkT#py/2m*&4Y_>*^ռoKL(e#X+;bd F^B4k .֫H!eb.x2H>rM*FQ"֘GCբIW!.|X†ŬrfRMgo}?}--p=A6z} P)R .2lϕh1dtOq$#ɥԏ͚.)XO;枇یyO?cz6pisY9~!vSK=%S6 AMvJT 6vR$,_z<$&5!wDφڈ$)8޿yT9i>.qҞD$N6 f y _%<0#8#(_쉷<NQ_b|a)hZDX[מ%i)&dE !@>?ZΫT81( RBb<\>^˱6qP0z 4G;І/>z4+?z mh6œ!6³DQӌN$u3~yÆKGw|?dj[d3W~M>^Bf AKe,VHbM[w1:s(m$Eݧ#4jl S(mo!nF~mMEtF;*>b\|gQ7Lb^ԝ؝'|/;CVV4C%xă!`1=}I: \)ot.e !I Stone_Kleene_Relation_Algebrasov\[ӗr5!iqylZc@q8@/$Ɵu1j9RZ䜶t!~.>z C<$` */Vo&K,.MP+7 ,QW@xVvrV)LZwG&m4VnG0 XS037p9!t(k'%,_,sT ;P܈4#C SffCWy_Xxԑxe Es/)$QH i$)L_qN(+Ō@Ej}/A8Ěy%Ϫw7GU\fsqOҌ#:жRXr}XuŻczt.vFǣ0l[C^D\΀v ]i[ ƺE!#I\TWl$c-Ykg$ 1ex/K V)slڛM%, vKX$zNq#L !reXXMBR_4Uӭ$t]1zWr6WUaL)R@G$1/E5~*A, lL2Hl\}<~ pՔ4I}]v2+OjST!YbYV[GCDB`A n( so^)kaL ɼ'S!LY$ƾ7#3=^j%F>3pUD2֣d𯛐KtH 4&Bb4I;e"Is咅H֣ ,ns@ڔcQуD23.8}6W9,#JV*X9%?zG۝5$ qpse"<vj}$?\vZm? ]EX gn+^OFuN8Z[.A@[:g}]\C)Gj =Ҿ{:v ojG:U*Sl7tEҿJ#jEI3UV u3l(zB?bi(`6lh>1)l֗²)RiL @q]_{235j/4޹5m Eןd"}/r!%3WCr݋ #8Bs* €*U`2ft4+w))hh 'MJ(DO%@jGs & 8sa\=FQ-]"8I՝/,%Q-d,~ nl&y:Ļe(rt9 r\>V5hfq@C^0Dp;Vn7IC~N|'lP[_&8GU'k_ ~ rRm464{k{!:,;OUh3}i]o`jD^8lo$hi!U-F%`T6&rq :GhWy7!jzmkv%.F]oCG9Ӆάs?d_!9oD.N ciAB9 ELT*l9cg&z~?qxΔB1 YƌMռvij!8A4Vj8VDXM+/Y bCڀhd#e?JfdWjr.>a%ptvBqY?NV4 B!Ҷ&8&n$T|=mβ@0sT&=:;FNwYp6yRj =YBNUSaYlSp Ks(1d] //7#Ϛƞv4JOPP:W\{c[ߎK-@dĢo"{Ɛ2ꦄOhU/{[~v4PRHK?фH&1vk/bK`{N'ϟCXA.Gƌ5&=g(7^^lU&E63aDWJh4B{>ՙO:Q? SƓ0KݺW˘`30 [DBͩRW>`bx{'N8>FTP "L7ˡ^ju^qa?; GwA1z \ $] !mĽLQW^fv%{-'B+ IH .%,)"?=w]cSs#̦>0G P.m2^$.ikN?1u_b4l&Y4m7ka}0CNZ UbUՐ,g%GP%QT좤0_%;qG޸]WAq@M0HFYY{kr&qUXKIk~Nmz5)<}JpUS5 ;vnDH KV,f.1@ d7̭x@ br>@49e dq2viu18zZZ#c8/rPo>dIr@w02PO+Rxɺ'V540._8~_`!,"99Lb9BZp;$̧Ƴ%6HR8EՀu.Tha"̿j P>{nt.z'q& d%Bj+WGD%'Р1 Ss|y!}Iw'CR[ME^|TS*v|٨TRox#/!Ҧl-%`0J,/Sl/`DgI3WBKOHZB [eإ3|>T: Zg<>hH` Z ;6"D<s(|~VJiKS P+t"_qMG[@Z~ \3bP.Oa êivO$F<t5q%CjzeRq\u.%TgYZ4f0295c89bc5568e87c7cfbfc2106a7d00ee5ad4e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc ca7964e21e327b5bd629d2c7839127d2b2c730f1 199968e7f0a635f1032fd607c09907b91c91438e