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 ` TL )/]HOLCF:threads=2elapsed=20.448cpu=37.072gc=1.964factor=1.817zXZִF! ম b]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L au}S8 vC*M(n="}}d""pnPR: âSÐGZI8LoɽA& 4`k&"$hP6LI`5kT4@/:㠔vNwu^o믒4`YA8{!zQ+M?bcBΡАK_h%'GG}/$P>>^CPm@TqB*ڔ!T̀]HN 0|q/qkZjG@֞TJq!WRo>hڄ V = cXzR&sOy={<2biaUl9G*sIsG;SB1S R,.51 y`&LJHhq^Rj޻C%5mu_'`p^G h04w&qtiNGFueݹ},:*z?sLԩl-G,ۀ^K֍Nr[<+ |d*j׫,鷆tӷ⍰͛@J R/׏k#GMn)eo11LPﵛc@m_K9ѐiy*<ÌAry3 +qbxv)>uƞ>^C58N7q-MqQ#J`uuUcv͠4uPO{퇈+}&E{B]Uf&:cXeh JWhΓzcJ3nkAjMkwĈQ%&j2rOe&h~>[EM!OE\}bI0L^!rR)rpjQxM~5F,XmC)v()ʣE G -|Ir__I8|h ML 9 ~BMs< ;z$HC!$Pnu5݋8KpT$RNnj^g}Ua1a,9Լڻ޲]k8g3_񁠸HB:D m>n_{౱ hae&GC$mb'-:!x1|l+*sY!1&NO'K9H0%l*Bؐ^68)0-kzqJ`pcʈJ1 hXW >VFB1]]910P/p.:ǣYg~vf74.Q{5Xs(@=Kal;?(jhw)\El,)e yI[خ9ۗvmF:0@ {qr|!=TG"&뽐8vJ@"x&׎3.( uf";E,7z74051 lxP51dJ:Wųδ1n=q2lDN>b+bJ{$L5B__.~z1}L Egc4,lS7n;yG4U4׵ez;D*ټeߏ('7 {=zSfn6a+pK/Kd,23k+:W5HALyꑢ+($?fKERXa6}DZc/d ]sR0>I坴aÃ"x`gڻ -GL* z"xCl;Xt]0\NѤ{Y&ts/qTn7T[b`K"ަ9F+wڹ78sxd]qF97}Ơ8&/)@=H0^ft!&W!"Q6#z95Yl|uFc?}c&{Qf|E-/ϲg'dcnM+D |(gUg.YC9J@d󅷇e P`fPmͫ[`At=WtX6I;tͱn@&D%&4i혴I; F9Xzj i=XM/\:VЂDKS*t&W=a3DYKd@z3NzRl\Ywv5y;)cKIIpx;5?2usi '8R  HOLCF`1Fh+~-pSab ϱ̛>Wpx}R%ϘgLC45c=oBPLl9jJZo>* Rd$ "Im7䔬,'Z$ӝRl㽤[UMxgYZ7zXZִF! p]ŗXi%n8pîne625A&6V Il^m`U+^YwJ|~qRiFɌTZ7e!-&"4F%׸pyT4Pңu'+7O=?;Z.йM 界Ih hfh%jcCjlPUAUDY/ $FQlzhaˠVlMҹcӆaI6Wn׍Ԯ i<#MB q0yvAXSc/Þr, pd}(NvPʛ #AIf,,D$_!;I^H^ P]K9 oXn6;/ E_"iuSjlHV~ I7UlJAI(1Bx}oBlʁM:~PLJ:b{\cſ/TlQƝ/1+A^˻&FSe(gc1;T2\M}U Vl@c LXqBE}A&/h"k*.FE< ]6:â~To\=>`ulv P7=z {+rx 7)\$W1ݢ9+e]>rGf8Ofk&d+b=sw8~R#.%qyX5prIk3D8֔4Wt?fZB=T'XsUfN.ZYљ߼Q*ϊre,Vm![@ǘd ~i_g/ ,~ v?/|ȠbD̰?/y/92~:L{xgc1I53K8(1m|13`p* VyMʜcrlþc@?-C&(d#lU&D,q|KPN?K&e(x$56anf6∮q9+1JdE9bhrE887rB' k1ENy's^v5v~!ؔ;HI DBSǀ\= F7 83 9TpO(I. BhutgXHEQ_4&Pϋ_ g)=1402hZeRFհ'@[>uyY@JQH N4Buv;Kad98]qĝ(@aw,'W.# )8EKfpDFAoҋ