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 ''N7 <4 ]/ HOL-Proofs-Extraction:threads=2elapsed=109.716cpu=199.008gc=12.228factor=1.817zXZִF! 0+?]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jj I燈 Dڬa?Pڰ[Tt3eӜy1ϋaEqf֫Lޑpmrc{X\T']4N)Szю*3[4nCy`(2pf\$<{nYsChN裙Шq^fu^gҾoHۦPޟHVZ2N]^[<$uzKxt7I;ڀJgxjBZf/ 2,'CDo{.l"˜ƞ0@.p^MOljƵd[IKlhLa6X(q!8"]nBzfP.'-x`F"<;8,8Ge1?;-)=e ËS($BU$°A}" M ~qo%0J5o$-v·y9|jg—yoH,6kp6BxV2&+ʉSxfعo Ѳkud[IrGqh|'g$<@'-Yln*;02 0Dxˬs*+]MU,~ ,r Ayt~^LВp1W\ln"U݆FߴZ泒[2뢞݄ $G½}prK8pm弊J29*0E&`g`}jՄtK܌{n2I *CO~;̾%jLh?FEuEZmhUZ͊Xs GVC#W;0z+e@&t,A98+FƮRǰ%?xpB'XVzHo gl!9, ׭35![_8)G 1-:=0A(z\()Dz eͲ4}ٴ-CȇA0m7Os0c})|eGD :b]|3n21q%+$)27[&@)M ` MvgYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5R]\0yBUQ*}C^ 1q_x`ecl?rbcp L㫵; =9a_A YO2zER?fË1"![EUh5Kޅ{I ԓ6N5NQ'>4xys;d.Qck*BVtjrJĬ!BG&A){Iˌc\d7 XhgYZ7zXZִF! _]ŗXi%96}uj{ Rk761f m|{[!=Q`gP:;x'%j`U$Z,Kqpc }|xTҼ#*ͥIk@݋˷gt6=̙61] {r;p\B8Y EX WqKPv+Pwf撀v!l`K.]|8A@5m=VY8xW7Z? ln:e+{CL$m_BNXN7+dR^:X֍`Ԭ\A] &l)sDo"5 $LI# 2CDF2DUodp< A`JnaRzYzj|ٴXVa.i,욡7h@}R;iѰZ14J\+$iAł;;q .k <\3wbf,XHEn\˲g% afύ ۙR˯?=B͵%fHqqU 0I_j-mO::);Y 532<x {wϼl4-ҾBCyŷr%ObNѼd|wױ>{ "<^kM[j `d9o@_of4&4R|OhANK]@r@`/GLH‹=̼t^%>?ԖC n!YBn𮛪E ~MJ1?py)F?>Di?k8˶;͒)>EGƆ|&Isp_wQS+* ]?Hj."8LQ6SiZxlH)՜{O}ʑ^vfadq|4SϘ`|g&zG[#Y 'Ls* / !Nq>؄[1C {tw%T}i8-M\Iq)2>0() 5(V0^C-+)Xmgw7"g.=h3"z٧KGeJfO'SZ&G@XM{[ƋIUђeU\ \eIje.X5nzhh<-&/2wb5v"JQx`BY%|Ugs2)wq5}sy> 7 HOL-Proofs-Extraction޽G,G^ !p؞9q?9.HZD=(u~&""!>n'exa|R}i덬إ_"Tro+(]ivlu=oBL7L(,֯O'hoRǯ?ZT9\d[/0-N_= MSu VHt1yC1/JZ-ˋfqb7~:4{oiSV<Uń (."` S\R B] N/cyGrb /uܓq%6?u*OŰ"&x]^ȫ{SɄeeoD< >QlɧEMvR\J'N'b8V94_2.U7P~Ǩ8bD Zǯ/! pneh~ѩ`2DuJR%UJ.Z麇@憓FԔs,.؈P*fw;vN5 ١ZI0p944LF&S g"-?5o`'ދR(G z؈X*+{,>)唌vg(#⟁ v=y$Ü]"甀܅:hQ?J >yb:yԛmJY 9\FCgsί ZOS!7CJ̧0=6itزHi1r\g2N-*7gcR.qWioDT[@Mς$e ;`m\#Gy{ Dz's|最ढ |I0UZ:%jpt'[إTAI} 詥qͦdX Nk&nڃ!8M'>&,uG)7tBiCH|h~w=kVY