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 tt}cXժN*F>"}'q;H,k1NGÖ?AﰛʿE8׀_pFu ~ *t`OgK@tUZL_Z(9]C(:|o+okQް)h(_ĊGF9mq]q뢍NRSWa%.K/C~[{'Ap/rZyAP3)]3"l= Uv\ {7Ңihۖ*X2EOU? Wqڈ㴎8 U/o=)Cm7KϵoA.vM4U_s 먫Wﱃ|1`|Z"FWh"(ذҥnӭ4^:+!>+Jmgtc@Q|k5 k.R74iAs6tkQEVí)\墵<@ (G7NS$c񱞒Aqt{Feo\Y)-XhI5˺ۥ-6$µ]֫=6ĤQLfԑ9GUG_7NK#g s/t)@~m1L*`x RiD},ooME@YPպk/xm{ELl {7wP@9g3NM\ăeY8\a P,kr&7#Pð2T29jS") 'P ?avj!W!Ux6&Pe&QOwX"IP8oO h^Z\q qoؽQd;*weqzHO*uN峒 )}IW|-@ryNy-/^6DFm״yUYQ_c   HOL-Auth7`5՚x"U'dŨƀ1ή Hؓ>maQ~ EE'Qe_Ӟ !E9&{=Fe qVDx]J(l~' 4W|֣stwdHul`F-yp(q ;-Q&#,d;k퀶}boG]!{PVwߙ%@qCNwtaHH$ܫ2| XҖ zڏQ26"WZw\ Pcf@3ltZwo+4PP6 ~`]LKӦ<ŋen-2psD>f]߽i dg 4tp`A%넾^#š4r<~*]9^_kTzi[z*MB͕ uDͳ;LJC"lX4vڞ #2}2mq1 뙗Lm!Y~2Op.SoKzUɫ<^tnL)6I=4*G9)b.̳oU+_ oV v}rdž']W9HpY;q D``vrDzʗlZA'&KI/WXjNڙcUR)B[fέj5 }e M>a i78*=H{42{{DZqɞ`F, O2_#y10{,a ^0L RP_sGa5ޟ8<@nAaSIpR#*m6)tyo-dR4^ןUjԄk@mgq̱ @[?aGؖ&F[pMg۱(!I3Ra` "Ch l oޘ;{4FWsF7lbᾱtUHIǐ:'BsӸP DqLT mŎG>9ܹ;׮{D"HP4s]LF|Ć2D &%X44 bnuF&d3^2ʋkrr>dTƅ3SĴp>>.T52Y^<7;LngքD~dZyyo-.{n0Ućj0JZOFPX7C eb|wdi}t # ڱgYZ7zXZִF! 9]ŗXiɟ16_ U'U%MevGUŜ&6$~L柇UDFH) ^`Г45JaOl5^{9Ί&{b cpYw2%?, $*?dsyO*&و~⹴|M/&lHN06 ">EXl~ct_U} BprlZpX #;Y;TQyvU`]fZc^fԭ_zE-:5^DDb'PN |a)o'r$#t_pŐU0=pel#l;ZJɣ)G5Z09u9qAJU}\ | 1u=$FNOayeab*)ۀᕇ2rA.mtP+яŘE"nhO{E296n}&ZgWQ5;n%#u REUKSz>Q.)Q)3¸B襡l>\RD*HՆ3e4O"M_J?1}ȹFC׊[(n{YN2x* /e*VW&/dR_)$zU;O_NdaZHK5o1o67ж́7=!CԤ `~}~s~c9X5Uy4QőG O[`GcPq }FgYZ7zXZִF!  ]ŗXi%;`jyFA0#bܰ垵9/5O ȔJѽN"l|=/[ !2ҋX4k+UOJr^&M)T[AGyBR5- 'm3A}vyV-\&IGĹ~ġ)T1cj.=5 $O0V5^uRNpD}hP3SS :yb a7/9'"Sӛ7=xJ3yԴ% ~CUҸqF_`?f <6Vw G IK&f}+dmV'!Rgjac~0=?MB b"+{[9:\ujXG8S&aRq?5CS63H"ogX>+ Yn, {ˌ5[ZԬq[lng'7nڀzͅ!;پb$ptW+ rʋz.ݖ}#k#>.il_mMj`u#.G7-Kn8tl'jFSeF2&d#/;@Wu~0p^K.B7/.\NtubphcdZy8XsO#Sky քwE>s|p>͒G%{!KK|!W"F{ lÅ6+Lٍע+' cd vև(K/ϒX['EA\ogyٮ0O ; }x՞ވv++8cAkߨhh} tA.)p S0Î {fJd˦&g~r!~ 0k GiNjG36K<8. ~!pe58[qa|[U%w=Ğ3JB3⳿McDv/ ˵UO^1K#X?kn;n2ȏg,N`uҤK|B߉4,jyAYiס(C mq quvdLڽb`/k &eiCAI@exf\ 0+dl@E^*D>8fF]ViiSRsyGF?09Ib H?Nm1P5Ra{1<YDC:' Q{jn=p)5:Dzo2y YQ(6[Pwxhq>VjD>33Q8}?b!@qh9P>֌Sn9B:yW:]o#Y@' . _z/ ԵzXʾR9?W=JǏ^pkUt%C}ocZ&Pl:U|Tϒߍ6;t7?'pO-jJ2<~hDGڋHv]p_HpccphĂ&O}Y4eTo"B-Ҥ(@jDK-/#*7ʣ Pãr23P%j`iHŲpo9HڸAab3K- nvBƸjmm| ppN&`Sk5ifвVn[gwi"նJd1Y?E|6|^Ooo]{]-pZ VD~YpQ̠^sU4u>.) qZ}yAbU.&2aoPK OD%x6j_ګv]M/uG}֞zҝWn6>˿Y ɽ\OO ezFǏBox h8{*kqxy.6Z?4'ϒU$KC?Om$Ⱥۈ?»GK'~Q2=um'F\phIa:[+R ˀ־fk  Z*ͮ{ N\eLi 0yAHM(9BCrz+Ļ|5NOl20GI1yN~nV~6`. c j* 1˷ڰ;yۅ m]cj-~ӷKeiG)]ok|ӣ?|{W%6wapl-ȏN)9]uJu4}d->z.o@뎂5n`皓Gz>g [ac]ْj=ݬ{Mka3_m?-4Gݟ1}#uQ7$3ϢXT wrMhM'm{\f=m j/!k'I]${:[_nRN܍ѻbkax5_6J|.m.RֽĺZD͓qnp,OQP4! 0r[e@wZ 縐̙t,"+\UB&"^lc ^'6;fX ~b34R-qaz5WI28fo斡:pFvݙiy8ސ bѡ1됉zքFx, m_ m\s@#۽Hz/bJvrx,lАF][o7 Oyʾ"YEt' MMyU%Yv gVNGW0u P K+Zks֏Z| `<26;Œ ehZ[~2e=1Xݧ%sMk5N>Le4[xJquQ4}M?gT QYMLHm0{EWDgPoTsAQ|Ol\5gehj)Sj;xbr 5xT)]K_  prb*3M U,h|wj[6X5C*(um:Sc|[E a#bʗ%Z{o&iCgYZ3f1b6b646380c5aeb02ffe4ed00e91b00030014e76eaaa26d5dc8b218d0a611295d4ee3d6e6f203f eee62ea59121ed3e50df436f618922c8776e9ecf 975c8199fc5426d94aa9be585263124fdea5a8b4dcba3edebd58a6ae90f46162e7d8664a3ca8f51f