SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  p<4L ]]Word_Lib:threads=2elapsed=64.406cpu=123.820gc=3.028factor=1.927zXZִF! ]ŗXf1-/6vR[@W /9% ojIV\|Ͼy& `)K,Ng"/kw>X8U$XZMbl9gMiп'E,+Oy@u0 V,k肼©˲L}ՠND>mPzk1#``VWtQ P0#ٺm(hrc9Ox#lC13U%`o*crՐ"7Q0`zUϓ!_{55M2lj "uKrqqlQO$ΰts;tp"*s,,OdpRW1IB\L$U1%O {.WZ>٧kʶLa[)WespipWt 6"hn^.&T׷!PWKIh1bt^,86OU3CQ3(hG(->Z٬ 8@A5ޛvoA ;~R6(&9%qǠ`-€l5naNٱgYZ7zXZִF! +T]ŗXiɟϨ:}(lZnFpe߉ѥwm}/KiF|>$T&T gş2LZT5UgGŅa ZN\`aw"-N ,-2jݽqgYU$hq   Word_Lib3>އ#r"J*v ] Fx{;`Z'vFjyJ]N@nqڗ[ȇ x°8F^Bq+vLwkYmE @D3% ͓{ۺM7 )QNc(dB]#x1⵺1Svk;;fJ Ͻ-gYZ7zXZִF! 9]ŗXi%9(PA./ē"MfQ}퇰S=nk\L4%^ 0P̜S5.hf8ޢx:Q6'GAW/8 .JpR7>pϕalms9c;RaqDpwm8` o SkܾSu;'";3 !3$۲}K\&$ ޛߎǗZo睨}Gf"'@Y\tKv eRY['EBkvTߕɄ])׺/1kkgBEٮVKETsAG`@9*G(Q4T:} `8?!~ I&cg.'HWAZys>,t邜a^pa)v?\Xk #t79 #\TNs[kSmݣ^Xラصh^2_ėJ~ 9QsvGAdʽ?|<'i_gBAM YDC?o/ Z8]y pZX)/56fyBfgw8 #exWSi` ֱ O|?*]wy;ۆ?-*}> ]s!D+]]pF_eء,!rz,buL3/ sg+t,ICwJ8\H8!l~j ԉ0O7T<#3[ήǾMA_$gyToWhW]mwR̮o5$^NiAKshsτnydy% ::KEW<*gkұJX_&wLr(v d/7FIuw`DCH.[H7lS"q!ٮ/e GGYaGu{!1S y; k`%ȋJNqgu$=j$r#Ed"_c+7jV _Ҏѩ6m?K\:inSDW0*w~XKeQ 8XCԘۯLlgeWWQD{vr6N,8eR2VlE!7 ʙhlJ'zݯڂn{#c\4nj,'3s :JA0(5h(2 s:y4C}j"5 7bD6z1x~orh[#,7?garZM+5g `oU^<Y(׉:rCh/Y "e Rl]t? 3(ŧyѤ@Bŧܬ(Wn2u!XH&J2̂gu6.γmM~ZK}$V?Z$RؿPd~q:5ǿugߑII.iԔevM& R(gFUtjR9ɟt:&j<˃R~}^ԆQ Y-rm7UAG̶R6J01${"Ƶ7-#0h^iل0V2݆}9d=.#4<яq'w"bqW]7M@ ]b.4 F(zb!Sa* <u 8,]A*jgkG <`5= uiC3ekX9mKq5U]HuaS aehI9 !,7HőoBO x) x/ud5}Aպdx$c:$XÙxk@hޙYٯ˅4A*v[LX$7y9´_6dDN;)5iz׿$eX i.7eOV."bu3Fg9@1ii_EW_H}΅˽ܭ òk**+AyMvh^HM~Qt_DBv՘lw]کh+؋`X4y2uavW&X0TO]86_oRȂ|;_GtxpiN%bo1:SumovOn1yTI,uPӫacjWEe1}kS\ϾLMt?6︛Vr=EIiJIn t$B:_+~"yyP_A_N-CӹQ.F⒇ܛ?B #ťZBt3Nv5"%aVa_@g)M†" Q#=UIj|͞"+ękV$ ^0ZwޢvnxX!+C GV6&8BHجS'ex|9݄B1 QFgMZ8{#p+/!5r:Kkn_.χ /3._;sJc>=^9%j/%bPx ;eıl a%~Qt 𓺋b,yư7J=ڗ)UW2C({a]/""Yal%5נ+~d1|~bS>w] !)B(je--NTjP~IMg+d#㿑iQE3oeþ|yD6{X/Ł ?=d*ci}篾f7Gf2G^U;OI/i|٤rGB#I]Pb7.9I}ɘc1'@3sFd&j&x{4t.śTߐztzs':zw9cz*^ls`EG#mA> XlIQ a]'