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  Il S Stone_Kleene_Relation_Algebras:threads=2elapsed=94.912cpu=160.132gc=4.960factor=1.697zXZִF! gB]ŗXf1-/6vR[]o lY cjޮ_pGpB&A=8 RٟT>5ǺYtli{ )s*y/xұ}ɸZ hhdG!{΃%{-2&nyY.ʗ%̖rG N*Kg$QC^ڝ_ϓ7`_c/1|`u+h"W~M;ʒ⶝ cf]XG&okz8, >ݱ)#mWO` P5^%`=gfB(W츠;CP KhYXE@eQ>d/֎HjuP\n]Z%-ڄ8řz2Iʝ#UlgY2G[f%V k8{mսx8qU2Fpw_j<Q3 G+W{YE%O. ׏SY"P* Xy2 W+ڔx6{%PYtrӘ$p\Z""| [<[@e] t@dfuRqѪ0MϽnɳIy |@.Fiݙ~zeȸ-la .i|7Dx2DVC`ssp3 ,)Q"QO&a% N3DZ: 6UTYrA&F=˺$@K)MX,M$3(GlԚ)rr [k4@϶ss) j%FӯTm`a. q& yY H2ͽlJ՗ F2aSG]:_WXEDdڨ5&eX =͒92p{CITI,{iBRmݚ=‰Vp`t_\9 Zg P4>-kDFRXmy6y4<{i Ja K?M|5D ȠQ]8MM8(y]u >ufID UH9⏉ T0ƭɱpI)+Qlvc恟Lz Ʋ1? +^T=|_!ۼN!*9"]}_^il!~)r8ctV'!P-B-O:!jp_@\YA{L>Ir(6ݮLذeS>fwq$e&YFP86\p;e5hm9l<0BtrNF-l:+$*)?lZk>VŊTZ)M[? QB0Z/1(zv}K3"2v71{%4jiFt._/z/Z!2]ZͰe䴴̡@YnZGr^E`>qwtL(~NHe&[p(r'R,F/'rG" +*|i-}, , OΗqM5z_PvEkM6[!E!=0R<=QG)4XdD1MU*|q% %k"LJ!F2/K_֩kE TRRp0 Oc. _\Zn sɤwe"s\0g4xbc>p^77SuZ@s\e~fAJjV{ngYZ7zXZִF! ǵ]ŗXi%6F.$Yچ7l쳢'5;orc޿w ߄b!NZ`7eͰgjqj0 K9?اl+'V\Y,[">KWU9)횟jSNB&B%l~h6X\4X!R;밂"=l&<ArFCy@WabEP?YA{C M~!TUD5(^BA/Z~{Ze$$6lZx~]|( YRYHV%eNcR.U8_% >E^~770풾y򻩥8^[7 r5aig6+\[13`@.ea{mC9X%P#L Nl>H~ ́;+T}XU 㰸ILt`,hUaDn+p j&GkvuѹCXL&gBἿ ' 4(2IVFy"5MϷ/.гcfQtxģHLZaޮEhYfkwtN*#mpKPAT|`q@~9nPW}tM Ct,W@yW7Sb,AkaU?x2.yHɾ}ށӯpͱKtpλ`1 돤 (l%;_kCsG07plsLх`#4x}PllBc!C)ȂQUͅ|$JorsZ 5=lN1H|!z|2 \OHŞZDtOe֍_QAٵq 9+X hZ ; L 6NnLX^|}/R6gY_E>[>IɧgROH`:eW oVG+趔3'a).-pݫY=XjϗhHASO&`O`PGevUw:U)s%gcXϱZ4~`ptPUeaƈV XyVF] ;<BL/w8D+mH0yl&w#Xz u{}ޓx@Ȩ`t_V@[wenNt 5[P){#68epJQE i蒎WߏҎ #H&󧬠[ym$nD>}[+O҂o4(_˙G<э1^8_&fəw:0 dIt pHg"($4v/3y_^V)#αt2oar HCPgЄ*WITc@KJ6}٠֒U18`M Hm7@ciIKz,pJnùyHަɫE-(u|:1X10޲&j 4?s-ZȜ\Ϻ&FILcx9=hG; rLtw]9ס/;,p#c6Ց+/?\.fiih`' h=pg~m{A0*Yt~VQ\z`9 $ {Ex*hcR7[nzBp^_A !I Stone_Kleene_Relation_Algebras^q@@S["+2K* )pmoT's GxQ%'Ʉs/aPb1Jhm= UV7z - ,yАaPU5ƾ~"CyqXߣ/Ĺn9vZCQs`~0rPa,*2kK9驟h[Z)G]!z2?Ȏpc3d޿@1!A""U8iᑇyo,]4#z+iٯ |"usKQkξ)+k}M~lICh"Ѥ9}2B]7+R|"2';hn<.6ЖA69P('cs ḼΒ'~FK&@8Jp[YLlʠ~gG`o綛5Uv0o%59Fn1dN:E C2oO= \4KnJm}a2TF w`LWȆP5q&iW [o@5RF{*HT `K.Ck.(UXm,fEv]rP__IU>SQ$*O(V띶7W*3c{ƲN{Ø#r#+yj"h}3\C,uHdBB C&?\S 9i^TKņf\_| pd5/3Vnc6xԭ[v;SYfU|KnѶ\yLv})'[`<wnqVeH`ޣ,-S¼TZh\ `TyU!syHn)8c)*|cڏ>x+Ɓ4(fJPAnqs}S򋍺NjE뛻f{p,n+uԩG>]{CE-g`f:𢥴#6VS v):٫J*}wdh-<;sGxx /3:NyfV}ojt 8vJhMiqlF֢p$;}49u8'8Ĕx0ObAYpς*2UڇB$ DO;6MqN"B<05R?CIIP"=3{pw0/V/;0Dm jŐ$ Ga[|a!҅>^+zM 9;f.Z>iy"#,lP;N{gU"Cay'f/9Q3:潾᠑Nj)y='B $BUJ`Y5HhcvwB47A%'LM@oɍfeT3)JUO8!-s_Y˘1{<-skOjY/L2 ]"9%?nMۏq)L"8pHO$"˺3`]ެRfvD0gT>em]LxR}^"L `aݭP166 3ِޱROZEd6h,`BO[Ԭb ;` Aw] P%-#TkW Sޭd#å 0p9}WU$Kd%XjR|z;|uGe"6s43JSA=^'l 3 47* K*:C DԆ]x4xDc?P_lKc+=t.2Ťxk4c[oqS_dkjƤ$kJ:.lABd=qLK4 k֗B|T%и D+ĂgeȈA_zQSՔ/}4vm?֑͞x!0l0 S%cY⾡z~m>餸9m?`m%LDBIȁw͙Bǡy8 #=dt'“>E^NjKA=L&28Oswvcun\Ɩ0En| f=+Qהl̈́9{8Z\@EG5B4E g]* |H|Pآ,6egd.h=:z0dGgz B<>_6%Bo1E==vdH[.4#N- eE`,j@N*S; >4.4}flZ9h}iVt^vf4yLfjm;[Ueh3/)I ذt\H#X̰Tm,036UCji!A*49l%=W8zR/vrmH'Gh9[,|:>O1_?F&ފ>둸Mp7܊٭?kmTS- A}.aylӳmD Wnv P-|XqJsi=ux=bϡGj$u5X}ycb?M q ]`ccrIFJR{}̉W1߅"3Ky* *"icEHNߧ3*>ݢ͠c3PW|/MHA: ( !qQH nd'?UM(91+etˤo,L\ mĦ *ygX¶vB9C1`X(h(m1˵: UeqL羽^kLijgYZ10e287192134e7ebd7ab93e1218092add0b3f875 1ec2d3519e48bedc38eda0e63d5343839bdacfaa 402b5571b2e1d87f79171c8d146f188d9bbc790e 4559d5bcd753e466b54f866cba1d36c87da9b6be 4d44a4d8ad022560e8665cbed668a8ff5ec653ad 7e01b0a2f16e91fae2ca7b099674b468a872651b c6038b6fe1d126151ffaf021ccded2ee8e90f2e4 f243765ca08e1b19d1b01fab211ba67536452272e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 711ec6d978e8fbf375e8cb8ad023e8afa8d04982 d28cf72cc9ef3981f75d86bfe8b243befde3cf68