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 1 Ll %S]Nat-Interval-Logic:threads=2elapsed=43.268cpu=65.824gc=1.604factor=1.527zXZ 1 Nat-Interval-LogicִF! a0]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_^iOV8 I`wޟNS}[ 7mE jR4zyg/=*9Gf] k؟HoFگS*L^21쏆e8z# xjR])補PB*eA1kF2k- ˠoL"b`}D|QVƓ5p~Be¾{%uWK'Yb=[V#$?v$vU]' yfC;74=[#þz\ySQQ.yc|+Xm9as fڸ>)>p֊" /[eG48Qgum#-)gA<2=)P9TD}5Gzr_QpR|Q'eL1;ambY:TQwJIgcQ}[KAa`i^z s* hX6r{!MEu/ę7h-'TEi!#'P)n)߹'ƴRAH ]]^߻^Kbz~ D>T>H@}3*'mV"ub%Ubrۃ.,׳*1pB++nl.EC9@ 3 Ʈ|B?*?{ec4.p²nHF\{l>+->SLa˸%LNⲇތuN/„PlMFUBWhL uuH N̛30 qg gKY)&2^/x-\QĬ*x4*`NUL[סkf} ;O&* 7Ӆ,C:ٶu)a/'z,ୂ_ ݒT{@NuTӜv KġԀ;JJC?KNIŽƲ=ETБ*Ͻ5ڡ%7W\8]uP=Ӄa/xe*F5x!KIAnC6 وv ה.x 懍'tp授^ZB+ 61TWU-j%I ܑf$ ? ]2lw/{-Mu# CWbHqܒOrw ]6kCp qN&Q (<!o[8+Hls+ē"mw 'c8態Si]1ܣ{/iJi>l_Hm^72*}^wD=ȃ85icݩ%z!eԹp/&p:IZ]ȏ@Sv2Ή \ 3Pv\b&~Gtv'Tsz37K#eKY#G{Ei8˯rzsN"(dan8s W"CTՉAbHC?%,rʆf12?Վ1! Oskll`y lwSpiu&&ScV2&0È WV?u"wI`#~ֵ29a l`h^xj؜@aA=._H0뾹#iy2bZ釪TlRY&0:;䷊7WP\ׄk'jA>\m|yVYZ1,q[AiTn|[Ph#VN]|yk=4@8Fo$R+1l4UυМPtcq\I"/E|YjD+PK8k\ǎ٬z]/$"EOɚiҬz +\BݿO.o;kR*ȮI= 9{i?}2-H\ea k2>Њh&1_գt>5zbyKQ汙қVVֳ?k' "z&#ژ YT_ )9g8?/A7.; qՐ\MGxrˈ6xV1ٴP_o_T鋅 <ɛ]Zi7ۦÁD;Z=p.|HtBoyX)NQÓc$7FI=ex ͵Tb  ل$NfR<Q ,tbEG "`qxJF Q΂'e Ex8 ?V;Uww\:}t?8D:g L0+NMr45 cP|zN\ t 8{YaOb^B,@rVWϙj|H0sV)rA+]G]|$Ǹi)N|.![}y>NH8froyk8c7/ ϗ?$kbe^,s;E$;f0=E];N9$ئnj~6S}H^, KR-4u{Nݟ_6c:B8C # ]oj$$Gj.pv !qº.3S,A;Us_S/IO=+,m?Ist*9R0w8!gYnex[#02иme*d_ }T>r<\SAz) k՝5;F˥ç~'l tqRYW4ř&V'~t'GKq1v(W)N;g `s 8K6:N LwՠTi++}uA/[ڶNDj35G#m"ZtC+ejuyt(*Pd@7 n ^n@BC,Ta`o"0VaC?#?#Ykc?Ma۵IYqJ~6JVtH,UnU4('F>rd*A/MfM^aI]&tO .Qs3LU_*/æ~1|Z ov"2 ^V~,*Uu{4(-&T{WsyF7&Aw v)ÐU _V.S;Tif s$= nu6k3(3&|"UÙUCd;{Ȧ sq; RY3sJU.P|m 2&hDɭt |_ڶ+OGWն njkoX7xȌF\ӱqQ<c?6Mth|mK8}^..\z%)_%]}((*c]vSn h= V#f3#tcFfd xX%]XQ퀥lIF82څaA V"0&G9Zt=j3Ir{]hܗ{r9d_F;x|15nurg|^qĄ2F>ȡumo)[KWrax ښn2؏(J=RLv Cnǰ^*ew]ϬmjW/2W,hiVF}aAGc-F3٢y _N6ѕ'JXI1|xע5#o[}huuԞ`kBGmA\O* u^.] ֮U8NM3=._`1'w|qn X~"1J^JE_5U΁F_҇]*դn+N,yBרg =3+ uE$c(Xx} )- o'V$ZK!cLG7DqTWMGMmlj]3up߮ iPkc4Ps=ج6H_V4 Z[_˲|hSܚ5\O//[?|S] Иv> -ODiК|LǜHgJèha ϵKuYJWנ/goaA2iO^jlE҅CPB}P\˱([z95I% Upqb)ϖߌ0O!$u?n34]\>!I' Wğ΍jIffJpI0.,.jnEh3Sl9+AҦ^^d!8Jfp2=m"WX XWQL%FbPJ*?BFpֻH!z>ra;Q@r ?tqik58WPZFo-RTh[" `bǟcP{g )u[v}>44wC"dE/2'/ťrI#0 ]e`pN%zV7'ғ u.dr+k@om69Ɣ'p+g#f ;˳sD|>JJ|GU^LOglNV D~ML 7Ј~`8 lE 7ſ"6>r8"i:ȁ5i)!a~W784d!Z%/,7qh1Q_j2{[!:gBs4#z_NJq/'k s\P tm?Z|8 1eI 02śJͣhѦ>: ipu͕!̊M>:h#N.L@xʠrdrZy-hXтv,:دCۄc>Fm=CtwL _[Z,̯CZH/pTw ؼJP秡\M3BX"m#c p[4-lp3W1i ,-2Rs _="8R^tNGC3 c*nA