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 }1 l4 %S]Nat-Interval-Logic:threads=2elapsed=43.967cpu=65.728gc=1.276factor=1.497zXZִF! `]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_߀Ł jӍڃmZ&:ѓ:gQZ/Inr u`.w4Y$q+ $ #ftqn qh&ƒS9NC6)hM9fчج?;IUDAEj>]1N>茞ʘQh_/@/R $-A CE:3O`lnIeͮf}áS,ߊR sҺ=߀NޤlY⪜wŇ!u9ϷdĿŻbs?XM/qg:A<De!#{ܚ| Hb %[Â<͊[E,SRO0x+ =`)JFMUڕ`[ifڷۙ;pc̖29Kavpb_d;[SY)zsY6֚GVd%xզ1 *ҟj+<$Թ\i!XF? ()1,o3U}k[qd?H Ȅx1蚱 1njp46gT:7bAneߴn7t=d օ"Vqkl}dWB,޺EvCM#(*;zp ]MihΌ,Xg}0 "f!~IC(~\%KNښ}WXG ;0|:ku:l>LrcCcU!YZiXfW*w# {(/ͶGnFΝ)=iӆ7 - 0M5BoXHYM| {Sr]s S喓?{}.Ea bv~huX>a]q}+msωBD_rO|\5c.LӀk;Lǥ$[q+lO?aX¡a|VH-0IX)0/Szu%LY~L哉1\ ؚ[A>?٬+܃Ҍ~0+f4:[-Ơ!L|}V/],_ϼ/T'a9Pt)̚F,DCF&4eoʠFP ḹ;<Wm;LJGdG?5n+ڶV4ƫ`$pNh dal&aʼoNWɎy2{̀kI.i*5w(pGt`qMiGX 3MơFy=ìxLo/7L5zy!Ē{g #^T\ڍQ564& $XSթs1'1Y% h5,.S`/6FYh&Scbس]B~:ږtq *MvcNlOL|,7*BҷLl|q9ۛq#Dat^| Io'گbf8yWU#1K q_w{EtɗE>Зm |̯Lu>HڰZ8z,ap[rj|dž}3usUHtE\s+tA=d*8`4qU̱'"E/u6v@(%hzh=`C&4Pb]bC{6[uey!ڸ5wYb_a6۟EYI/?VScixNO_v%c[p1ۣ*dEFz˝/B7-r!LI/F]\ETߴg/w_Dz3 KHŃJ9ULWs+!˥̸_!PR'b(-OӇCYcUQd.m)mS@ Ė{"b x} q.R]f|oLnAz L3~J˫.7A|L2x^2B! ;QR>0FvDgل0TovhR Wvb2 " ~Ĺ 5woKmqg!DR4(8^r$[ J|UE3fDJJb|[IQ K3M/ s홤S{5)Iuy)vPj1tS9 R/iwW-<[䴪1h(Ǘ'b=_*Q+|vWuL%U?c6| P(c$pcY=޾yWD!mft.+ |ޢ,~"Aī1D&SFy@)B9lIw2~Ub,Rq nXe} w.ZDʙ|gajX+_.I ySƖ'OR 0p7|{Hci߭֨N'`13}tO2z*bOf:6vg¨ϊ,nbuP(8ow2 20Mds{̤ p":s-"xL808KDϟ%/ DhIiIο3r՞PjnlAs4 C`:PB˧k?+r8b`Hq.8CR(cxχ /Tc *|2zB6+C?oAT2d[DAn=-[s6,W{p0Cߗk?W[F_ ;Y(1bGPvv^fn8%uOoڛD¢aʨ#EX)%-Ďm7N#]2Ll&ܧRvyGEvE ut] [(00pKVNRAu۱`S^W$-~2`A(nu\-ViF&_WIk'-n)J@Mh;XJ(EQ pW FYf!Ŝ^D; /!C@B=:LJĩBwMJf [x1EIw#OGzmP%䌨#`AC1>G [15cEY}IIcA %u ${@(#t>f2b,Axw^%);PJ,M!d1*:S( =3썧(WVW^"AxC|~! IZF.! iQݸ]xS}V\Uކ9_mK-$[U7Lyy&}䭞ՓX/us&u[NQfgSȩORz<ћw+68E: LW@ vI׬/SECn΂ݦS?rW͍臕lʝ}h뵺1F=Ԝ@J.y:s$̀Jh`mQa]=;Z9H4G*W Wz</EPyxScpeet~ tYjS"c`+Zu"mVk47Ta zåyiD`C?8a&`=ӵVT'ӎm!,@_-b]T~yJiRKX$3$tYf"tkv Zo>'' c rp,E 8%gȃXVQؓ_uɵ=zWV*@[hliF]A1`2m[i+! K-0F)L$hDm⅜7u{S_fqm܏XlyVmxStThC|vܲ/# ڭO6^T87Q2m* 5P;n N`EeXt# A2m. &aHdGbRa- DED?il.KbwJsgLj_Аb5tZ HK? JA. pS*uMq4&'(#o#51Yc[[ k28E%'jkgf-y sX n;|©ו+LT^/5viS:@'#FX)U70[`l; 'QJ*^Kpng#"5Ia}JGz^B7?뵟!ʅ ;xTNpaR½lH("1 V3 65~SПXk"loXJR>-:4  Do0L|2QqT C*- |4n&y53TfYȄ*g m @ |TZ[oUX}\Z/ܗ*P3MJjZ3q64R6ݥJ۪2HD84g?o͊JXJ ) H->qoRBy^s}yxd;r-ЏSQH4`[e63_UkCIqtGn1iu ` xG}<_8tp۵&+-% ~oJaKm{:ɵn( ,-0B.?te憪R<*#F {<7VmmҐLV⎋I5=4<`h%n4'(\MEx|^Ew,qEcLѼG/1#EzK柼b#+JiZ-0wwzm#8.{xX2zL:yo,:ɭ8f'+nZ"?o2f