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 ; < ? Stone_Relation_Algebras:threads=2elapsed=47.971cpu=87.168gc=3.164factor=1.827zXZִF! Y]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQĄ'6qԃ%̇g;C`9t![%X6PS4u@K [ Dw@6T3%ޜX$9[w[MfD*"f?҂CژVcN M4:qe  ĔfIK9j~ {6Dc9u\ӿƻA83F D6|#JhV{J1g tr;G9^@1 \-vnP9dá{<ȽrPo | ; Stone_Relation_AlgebrasC| b9r,v{/9+dv^f@}gOI#%?essO|r0zU]F)S3G?}-s7{9lD po7 ʵotN\%93h@R,Т'iqkDlBɿF/v +z0pLW'zHQ:?o;.2^^vV"!@$o3<^C[grDQ[>=d8u'݄ծR,&xmPq:DHl1n[v[7~`>QMe30}E\||rW]khDkN'ƁP_R'v/Tf`RzpI[@Ek/JE [,-ɢռ=<3KAk0QWtAwzU"9 TR._s$nu"K9L%Rfw@ec-\&EQԏ1ݸ$5xIx!L7HcR}ÌV֖L LPuXӒ,hv{e/m:$FE‹hl)$܍ ]4kV IFX""o-&G Y] %jjkL k߉nq &"a$܎1O[aW91څ=sLoC)I;uF*ӯ+jp o8q3U}PCQo1zַ^xǦY3RWp/ h\$uWkGYyY$& O`=_箼˥e93lʏY+0جH MHaBd*->HGDfǪ:>y *"е4'vU<5b)V3n؄w2KZ˥ V.f:$#ݭ1wRL( d&E{^t;%fLKo@'>Զ8lq9&.V6Ȑ^_v) Wa+Dwyq A3=4kiHˤ#͵ &Ms Bf8 *]"vu48ƥ<@QnEВ(04Q3cMOQW3lh۞M K40k <' Je2xfpv$.Ꙭ=ҙ;&n?` &n4g[^{տe8љ#Vhqxt=dzF,K+\ȣ)SDtNt{P~aic#a~Y+ϊBGX*:˗ֽ=>&H O]XYז4Ȭ-Wɾ=9oĨڮJχb3J\&!iKY%./Kd:*$~)l-j#!*<RtVA Y:+4у(IA>["ۦ&EcӰd6"UHQz #|$J]Dwy'\> |۷>nwV/sܳHR8'19xNZXHYt{Fz+a?{5Q7;\ƫE G.XOIY% *Rze/i戸 U&m%_X9)ϖ>!CNR˓5u/LT ~VI2 7e uA2f%;[ Y7?ې(Y,We&rP*چJ<㭫/TpfEF-we&+!>p9;d).]RJ2gB͗5r#GE,>Wy%qk14ٻijBlBZdQtW`G>ZǶO-ipʁҎ'wC>q&=݋2#\Bc'JtP01OuHLMٵbA1RU"'UQOrLF` ' G}'gzmu)l+6qQ*#+e1:|:Jzl1U?:h.D:j7WٗFg!_rQwK酮n#U@,Mgb8v#=?mC%|ʙh;15\d?=ŗp}^M[J?B<|WpZN *OF9P-ŭ\ck% my"h#;.2cTQkǞ~!2UN jvrKI%&o;s!n_bS.l)Qt%I)Qzfir q&* CfTwgT4`2AEgJhϸO< ui>++0b/7tr )hs TO2C*j9Q؃pۭl#D x~n9׫&]8Aɥ  r{dmYص`vGudK`&627G<Ͽ{|i+_zŵR.:BCRF >;\;(/%"9j疖~:,oqIJK04@mzp\{._u#O-xH|7vFyY `>_ )h&ɷ'$bU:t|ʬ&)kK@l4rAz ͤvI%*0*nM9#3}<[<ǐ,U\VT0jiq2cZh9'`0gi(_&xW2"pbq.G[hhrj?L5~$8QMkTT89S~He_ةXL_7kMa]%A7QvݶP>;4UsgZ`pfdDQH[ 0*1/ _-ApɣJjfzm.e^y*%f%såTƒp٨7- =9u$]+6 k]|} UdV,3R0;g j1vs$HK0["Q Q7^mV8׹߽-<"jg޳c2uϫXYTT<p%8Ry! \k)rDc8f"jЬu>3]a7d &v53QwO$[KFu`conZt(e5 ѓYne,ǥFf@l.zKr#:Gg| ( 2pJg} 6UelliH])Eءjx`>mf<:LrA_UD͗ |R{yqJE.65?=KΩ/xFCuNhjWDz(&ۑOl t[/mJwΈvZ{;e:vǀhŀʑZ;g/h,mWS~dI[סb<ؕ#_\tO\84YxVe%m7oXAc'fbu<=kֵͶ{1*kB%pv,ː~Ok`s5P'_TI@QV |a"+QwyIDh=MNX >V 0`h2O3  &HAiU ;F2@iӎޘ^'iUon(@FdP4Fe!.C X<w1U{N?Mk#x:ΤPA? phk }Tĩ.%ٳy+lCƨ_T%g &9gYZ7zXZִF! ~ ]ŗXi%sOKO;iW`ˌ"k+ NTZ%!c c͎"h!͵(WiU69 2[.D;_:xix2tݑ$D\{HSn60@5TMckR ;4SgK .=S`a(<|WAsH""xa̷DU]t;Un}OHVYFj(VtC <ʜy2<.2E֌ߏ`mr$Nvil+h(nSP-V` EqMEyE4%x Ո>$N;wKP*B*V:Ix u o@͗M.d;h`RYqH(?4z˫N2>iՈPI'1w}tnyzߒރCEB3hAU\ЙCR/ K!(9 R. ЅFJ ji_JЁm@8܁1Ge?Ŝ v7ըxUQщ~B/^!9u>t|$hS2>u;pxfyPçiL<άSpch ۋWѣ*_=a<+oi–jPPeq=0j&j,% DobEm D{4;jaΌ8tJh/p os$opA#Dyi!@ 僓UD]vy?ىH9Y۔DU95إ JToxt̵H5Pm%E?^K )@ߵ>!C'"ufY13̤yΆ6{tMI8?U!Vk=D*4vK1aeJJ0 39<ƺ8M0)>n.I^4J϶JyiuJmu2ބ 훓#ek|S ;>73=䴞t7U[‡i҈J 8Ak̏ɿo7<$-n͋U[~. &9C3W>Aک2c %E B*"\fx,s܃ bqz@` )מ]Sʥ@:#_s̘bmrvU.o :j;uɏdsf_ Fdf+ёJA 6iCa5:S麟Sof/u={JaVӈv|#G7P4k~)N~8%X4!5DQVز APHHDCq!JMnhX3Vn*zd/6XQM&DUPld;Tt$P1w=NCo(ǫRraij3\ZE9U=D%UeZ1ͥх=ʊͻw?l,힭Ji2!u]*;)%par59ː>mk]/TqC }VzD"tW?MywWkh 1L%EHdvه܆vN .oij1wwnX&L>n3,DB=ҩ@+K-Miy{pIZh^'kG[6#䎔{qqon\6い:XBځc3.2rMAcJ3& !i@(]3t@m?@XsccYcD%FBvx|[4&ZǽQ>=+b]:l@~$1`CrgCTޟ%Z1cC8Ga$yj4uQu RQi$xZ)db`"M*! AtşZ bX#QbfT\ Q*I.9 zfܻ-H\LWGlE*Vzs'H].v1ɯx:^\T_OR"XɤtJhڇ2យ${N=/,Am 1 +MavS.c&+ 1;Os{P~t^ @y4KZbk[!a+gZ0r)һ!**ٻ /&8-(ߢ\`ժN~C$5;cEa/?A@4w