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 ; l< ? Stone_Relation_Algebras:threads=2elapsed=52.497cpu=95.916gc=3.220factor=1.837zXZִF! f]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQĄ'6qԃ%̇gA޽gXO+RYnG%"mJ!jWKJm_4 јMfOPȘd#ZS\C,]shEj"#Lj/ (6OQ)=s`b8;nN@İ̱ՍЅ >ه4] Oȸ.&r)Um)ĺb,`Lv >4541k7YGeb' JUC0n_$w6Md^&Xb?# wO- iP_%/I3C}P\!2ȣRP2yZmj|õ5->%!mb/&S}+4n}M d Ȇ#f#|TsOb2@^Уz4t{⚃&Y ʋGW<}Es1`U(v43{ρ>65 9DX%|PKs^$÷Fg'' *qSh^O#FxY1QҬꊖM`ǫ鎃2 ; Stone_Relation_AlgebrasJ"s6}͠ݹ$]5B1b<Wtތ~ڋGQdו6|1 /|qIG <4!R&)Xkøa#s5͖r֦Xc%SwO-R4-Lvʻ@*\2IkP k[]SkX&(V bʠy-K%%߂Nj- :?QNz*(V"F>u*@Z3L8hA8X놕 5} PmdBv:r{ b|L>Ñ[-L0qX:ng"L*Uǜ߇3](ѤB]B͋,.1G}?&>)J؆Jck.)nopZMMF[1( .LizDF31W=z9p}V#:xL|^)K AɈyn(Dp&bXwMbqi/V܏[C$W\%_yZ 5@ɽZjW[p -h˸͝(WzA|>nLª"$o:? 3h319wp,̷EVDiK{:SIG%݌0R] 魝4U1 P+F:׹2Z={5nCl;-zQW5+Öݚsg:5̒'>RE$ _ cUB,yL1Sg.لh/lSO~ ׊e^X[]Ymƛϑv@JCofbMq\SNJy-2t>bN\\ũ}.bUI5aٚ$wo{H'V)uh.Xd;KtDCap;/aG'Kr,n֔F؜Vd^-6I[-OدC(A ~Oa kj &ϴnCżLڦpC%HԼ)EwZbK^Ť9e.,Uw׍҅_DZL9Kh$"GvpsuQvrYg1= SWeg7 fe(d2i=8@P#Y:`6$Gl-upPZDaU?"7΅ò[h7X6F *X7F,Db2U+Uk=vԻ*1oZkօ&SU&155D)j?LG%]ƲTmqK^Q`r'pH9;p(u`#{?.~WGʌ;$LHYMu#q q/@M𕚙ײ[ʼnr39cBGwsBPv ߷&BX^v2+67]oD*b}kR-*E$תvՎeL[=K `?x3y>al5?bHbP\%)%ւm(i(pp 玳4;Lla˙`["ړ;8T}|S'_3[db0r[2U`\:PѯEo*}f"Sh3 &L_tl+23(JWV.Jם߃m|eL_±}4,:G,LMM[MES(jvE˿2Sq+jZvNX^*3{~T#̸EԬiNRaoi6Z>[p[{=2_<8&|0Oy)5rBQj0!:,-#dAVh1R\ztG]g^4J‘opH,TK‚gI_@# $"AO1 ÆRafcu,-yƖ_VV9̛Ne]kOHQv-#YdS1{%=,D`b\OQA9 i ͠㙑 ual&m!N{j@pCeՖB-o0yjްC/U+= %T1%_tx2X?@RȤA:cpHPZg 8 9NZKq]9g:J)@?5A)gYPe sxLaN#wEEC0/9AO\$HjJ<]:nC਽|F0 UpݡnFs- n1_ǟ)"Z`HJtҦXFLbi| qaӷSkLJUSٻA\w*'Nl9+ŕǪ-z`ɇr7}}$NBR [N&o'"G;G"(7 XsQG^\9߶lWukșȞ63MϿʶ5uhl;(|Kk=\k0@叇%XiF, N۔}`R*^?t"l2}{URC58OY6O9Oq"3'ŸgYZ7zXZִF! V]ŗXi%Qtn4'/؋Lac;"Ԁ>Rak|){OcQ>?U22^dD,/vhHDLܨ]Rl&,15Gy*׭?.&D`o7 y[`Oӣݣ7L^L]U?M>To.M2P 6ҷk8(xX'dz H@']aQ0!^fۙp (A2 =ΐηI2bz-9qއh/!ʰc΃^as&[ ib/ׇ*B>E#u'E;Ir{[LgK.􍇆cg2%Us pE -A ILnJ1:ߠg?0L{#|jr(ag9y?!0ɟ:kM$WJOCcV 9Dt}waP(Z{8hف,JfCsӫC@\ 4 ?~Cq$8[ 3/pdg`یO:mNҊ9w,E Qwsg2ȅZh O)}Tc% c''1dͪdA[]q/G;[&#>&0TY.WC:ÃidmME0pò8n* *%瀈YǓK|L>peԎ|DC(?~ BB8'sD~c~Rz) D& Ǻ)3pZ)H:h%nD'͊2# 6R*Dk W!vw>L9}4=taH&sR%3m2N5qOђNTBldop $QQ[q?8c+W+Ԝ`D=WIUb{C/O;pXW7#htB.E86☯]R1")ܩ CNU\h< *鄧vzE.%+DS+4?h6ՙZ9GA-r%50sKZaJfie.#Fd NA?NbP1p5dk@;!9#4Xab63MZ*udSĩ4ohub9mK.UzނA gU]+9:O:g6(ʯ_q7JGZOy \*u,ޓ+MuQh^H)?o;M'1ȓRTKM~|ʛ/0Hj-q @F!A?/]|Ap[⎑UGh=ɗX.U@Jyi^ , MD{9Pa ߐb<{ZLN .;)fĸ`U0O`u PeǣĪ@;fԽ2<{F-L!C/ ]|?PZ%@{ S_pR 7o58:P͎F"ligP t+s2sy2hG , r`-Ei_3Ms׺7vi*"|ȼ>4RQP{Fȹ̜۳DPIݖ0q{U`ݨ0QF0*ǭUQ_)\Q~L(g5ʿ賙2wXzZ 16.su:TWKd#pHT&; _OR[.'h$y}),&Rn/v2hD+!zĎXʩh16 +McK\ )Ě1jq4ڈQkF/S|ҬMj1dJRߠyv\v*p:HUhH&:;2E ek!+[5rUgxnҳ]؜SVC~.<2m_^ 4-ݱMVTgӥ%$1Z38 ELa ^z@%gjnl2Qύ3keֹ[*/i^n:U;8WLE%㞻 C[zA ?pk\B!$9 mT"SXkp@dTQ gЗ̄ >XgKd謄>N5I{+ ;ip?%w ]p rIC7ڃ$9Эj5z⨐/>iB{l8.G|+j]SSyM]^.N;RfNcز}:N2PjDy癗}t]]#;R/S(+V/"ύ8k|?ޞ_/;3R1c~yKUo?YKK)hjvrџ;+?rrVmM/B#Bed׈fP`G{_D&k!$FMAm!;?B+S*jڿ3'6~ˇVjȞ1J>77hQEV_(x/L$^ѴwC1vYaujw;`i6kQh@4PCk~fS;P GGO|\,`&;6'S6)cq4tfj{&^V5-2jˉBsx)̰|R}}'M|ZS^(ym<]сѱgYZ0a28500c9cd54c61d25d49ec3b240af715f8c432 10695c7814284f5bd8111213b7ff4a17bdfdc2f6 2eb9258a93463f0c98dd4d337e90707e66103296 3c8cd887c248fb46907e322f94cefa929221b95c 421747f71fc1992e2ef85097ae041447c7a6f00e 6969c3c300be75bac81b6017a7cadfe044512696 74348731017fbaafabc74dd4316c2234aa5bd72c 9cf71692657e5b1cc055fd134ecf3fdb9b919708 c7f3c508346e5bff5867083ea0a1150a6c70e2e1 e291d123f5649812200704f53f7e2eb04737dda180f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 b3e62c7a1debb770aea81c0598e310742d1673f3