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 j!D, gw Call_Arity:threads=2elapsed=79.532cpu=151.640gc=7.140factor=1.917zXZִF! "]ŗXf1-/6vRZy_: nIJ"R+lVg2(1C-ơ=JL6KBjX$ID84[ ~& dp<QVtƧP\Mjo3dGldnWp OՔd] #`|~YwsJ3@g` "ܼLZ\W7e\e':w%9J{=!,lj][ki忘 D|4Z_*"5a (eMtfs1T[-:їERKS蝒_'{ђMYv|t# f>X"|e`)@a4-ҝ-ll~eIXٖ p=E ' 8a-`D欑{IS$ńk(ׁ ӛRMI8ts]>V?sۻ!t #>e `2+u#ָڱ0P<`fMe^\,f+)ZXUwȰpHjB2 \(#^CL]o4羼8!fHTv~_dyM2 9[cyPz?"%TKRJ'޿SA(i Cfi{Jԏ/B#"C %6q^ i ̂smqh~2HpT'qN"7.=f}(lo NŻ^״cuE5|6rxۄ\ed7L7NҢ%y)؂f6Wuݬ9y3x y챵+\dj$ͼ]Il#u-I+ :Ů][4^:Pqoу@ȑўIw{mI6h!!pպfg4 *b;;_$=5|E(^WG;yglF\VI;y~QhGB9'GjJcVLEE7R,43#T/M}$jbJ;l.vCo-^f%bOpW@&ʟ4iă D<1<Èg-rT*!6N{rm1UDob5wK}j&Cwd՝/~Dnh_N%}lhߚ^up_MXF'/w=H6߁S(t1džVJ¥Ҡ|WuRʛ/g}rsVE[V>XdftfQ @뇤䝙suv.CDTTl dnFѐ)3ID(Ak/b%6' \c " DiёUÊv(?u@G[QUfc!7Åk02`ޒmAJOػr#Mo'%yY)V0x҂qd674hE+q/" HcNnfB/Y݃Lkx}5E8ͦ<:/83.wqۿ]ۥᯀ%oFhxnx6 df*pRP82h Bhxd9ױ?;ZP|ms~_ ?RV&]f@cɼ;q1d\qSBo!x!ں!EEm *@MA Gn߈ŅE+NXF{Mc7[2wz\&k9lBPB? z\WstR2D~^sC6Q=T`QV>QF[˃ :Dk* \^GٙQ9yP OoTp^ ;F5GOBQK2A*pXsN'dЯA]vW\s%ޡU@}%ie/(\_,tZ^jid ]o8wbɵ ?!x!M\J % |Q|3Nt\z" rAS# dei@{ N{ts_Ӈ᷃"}΀,ԥ$~cĈd14pPk+iV:By=+`yw;'fL[P4v0d@H.i }q|Pnyj책@MM_N 阨ԥv|zlcܔv͜v1!d '~ Q0,z2$"Rq]J Hu1T`V]$a"A&6z.}={Ed㣊a ̶zD/ܕߜ\ff?Wld"(J0X~jLeQO{wN=&^:pP#֊`ٯTB>N0[#cqۻvT*9+LYb͏aUShb*H\Z1E$腌p\ b<Ў^7JgWpŘ> u$̊? ząTW%y\ ꫚RZQ u٣UE\JF(d.a?j ˈ251,mcOX_Tizݮ m*<u/'YDA|P'v}tEAC \,DKs?*Ŷ ߨ]P>hxnXDwQrRUxUNPP_+9 I,f|-rw譀9ȴDd=!dd)Ylth4<3ARdL3Bz/Pɋ88eAJ-*=< "` Bi~u;{.^H߄i-,~3Kdau-}Lʗs ["#]Z\BƊ/]#p=lIވE?)? 2m}Q9P+' c(U2mp+q[6r5[ \X*^=" lΘ}LA67zHJĹ q$FVxGkCC6z!khnFqffH<.E>J}JXKNΘBqMXxB kVk@I@$iz9.~x\;0@ jb{Ț0T2 }v@Ej+ϻ!3B*Idi>h?VE` l}cBg.8%<˄2nL_Rլ@ lg9xA]1f!Q75GDZYiO=a#"Sd; x" VIYwS{GUf-RY˨<[!L~ҝdoJ"= ugQ2i}RPr{O1+iNIII8 k1RS91AD;ɧxwbP+srYfnƮ!Y&B<vݪ$+zMp!Hx32Ϫ5s֛|h__Tp4393"=NXeC`W !1AD'0BCMW` (y/*.LͥI61YP_T逸omT{U%Z`tEcMEJYleP`sD𕺯LjdЊ;/1YI`)tsX=a* mWB h>ɈD*!Xk=DxґOcbB.̂eYE>\q9smĹTیn8W]V)M!Tk6}qZ7ͯT=͝\4a"PVzaNJ› c3uG̦cj(5 13S9^t)o_2[l_Vb%MxH#f=0-1pkkGbVݎ uu+lA-&R:vT dkY{Kz7uV֚"2*N˔V >ZE_rX¸N_b2!U.hd; +bhQ.P9WJk]dciQ炢NNRB%v] “q}`ls=@HI/9x(RڼUQd6-` ]D_bvtǟt>\I@[ =[# 'فGSLZAƁ9V' ,>5>^/l_; ܥ9cV-]ݝ!6YNzccע@?i*2al \[!B>>Q5IMu@7oڴEi,^5` O0yfn#v\bki8Ԡ:3ao}MN{KŰ&n\1MgXivX)e!xj 'H0 i3@%:d};\ 1$yE7ͺNKu/> |CZv;?bZ?>):#@ֺi;4r |OE ف2Kd\!ě?9 x_D 9zxݍfy1ocEc @SR:\ӘuxVw4/pCu>ٰLJ6x$t >,rcKU8,dS#XbƠ_dW-ub,t\+L|,o 7J5 ,h_Q,J16w[`n(˸ ߹ͿFQw"H!R%qrN6abږ4=i.RO4rڪ%6ȇT,}Ѩ h`7\, |qX\c6xUxe${[ɡ#D>Ʉ|6 1Pݢ9{Y0iyDY ۭ+EMG$#k޷ELmY .@]w2"/!M2ZI?%2u?.[@(6*A4x0Ȟ݇^|4xEy$YQy#Dᖨ*"c5 '4SCdzӎ&o %~`Y'/Ŷ@l4?jC<{#OUV47> h 4z7V1k.$ 3P-z8 !d|5|Znzxc[~ط0Cj먐xC!!C^JzU ]ty~f-SI|bmOs?X(;OaJC\ uX~w0ڙ:c qדb@&h !i jSW*SurO1('j/tٽI͓1F6R/O&_MV?ѥ&%a#+PXڰ[ԡ&)tÊ]# 6c76v>B7A>2qu @KVڵN1b)1ZQErI hdS3ҩ?3 #l9Q: T Z#}p}-,@kH|R{.B|`ÐRD-0wZ&/ bB)jRi;Q)v9 ;u\4\҈GB잳` 7rSsXL*i/NPA hZqr;i?5j\$R{fW'&2OP_VsEI:cE@E‡er?xEۣq4,Ғ[d%˙cG5WA"1߂MXp A"%"jq/E&\-b,YIpan+,hj9<@o,h͍^—+J_<ZIX=TnW"K>V%ƺ7R=GZ:V?kE`sz%ίw̙YcUۻi `B9q=eF_:=!뻸*{č] #$X.s\3΄4^9 DtHU+})U#,0s F=}xRo)E K*kG [ޠ˞"胦EdG~;Ǎ1r{t[^)RW $ԃpyC)(*f)(~>Oq&1Dw _2Ga  {vs򈂤n7RQ`2 Y禓'Z͝Mm8F]tul*9Uw&uMvjla?]^} =?o)!`sf 9vgN䛾jW' l&isaԳH'tObXy|9 9U~>@>2K:ԏkĸ9fԘ V1&bdPn̢wev B^y$E:ncXEQ@٘"?cLT6bplv陝]S)EsbBຶk=Y WaSp84&I YUA"좷 ެ/q0yDHAh}ֿW6pҸ\[*^IF fp8"KҎri<n̕kLkB֔g('N}|/ױ֦Oΰ~<%Uo>A\o EJ17Mf0}N&`+f$ܼcTTa^^tώͶ|[;rˇZ07c碌gL8kc4݀eu^PkhdKͼTG9g,Z=BcLTZZ(nM1tA9v(ͪFM=OcŹvAeŝaSɚ=@(qctX%PRvN#&=B )j{FHC P&cy`fI\4GI:nm}إٗa(t/vZŪum#LNw#DP!t|E'DoF5@di.׫^F֎Q03-]Yj/lz( x_}sKbXS(?38`%"′˩E7fw[7Yx8šwA`ٜF|@#64ņ!{k٦Fw%mx,HnH \Ojƥ(ދʶ$R9Ojׅ._s]-F"@X5H 3lyާ@TY?r}V0;#3.څ&`ǘZl C6'7`2F wB#f}{?710 mgyl Ỹ(@W;⤙mpTrL/R FϘ9Rn=XUN0W!2<Ø?&jѠaɿR]\)9,%ie{O>σ̮tq]G̙dPYtq|c_M "EK|Y=Ji?z>un6D5τ.:3Z}ӰRtל)ke)Oы$> ֶ1(di2e˧nnuD)%8 ^WUrKʞH@HH>k6_e*k5#S׏]~(YZX$-gxk Eў3XW֡vҘ--h悌C (:d&d@҇SU5z9{'OqcCwPue Vv$- w\?|A,"y/ n* pK] zr@խRZj5)F{Mp| BLk"D mɃ 0I:N 1r B$E[(4'G﷊4+.7!v{b}n:1lQm|J8hJ^&=gǾ&EU>q>K};U_%8Q\ (+ ֨'