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 II  {/]HOLCF:threads=2elapsed=22.113cpu=39.500gc=2.008factor=1.797zXZִF! ฾]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"k©5a^dW1fwӥD  lo/WFCZ-4egTչV=u ˻Nv-UE$E c1BMz.eΡ{oVfmqCű%n/W&zΊ n@kJ[6`>,7rnG!8$4,(,1cRvE(0Deia Ð{2a%Eg57n _4} ۵f$G{P8]Q;NB Į1 MAA )dguz*?TZx#Ssb꓆N)i'_m:`uC>lrOfܡɴ_9K"GwIZ NX{[0}ӻJʉEMpJƺyxTdAMobd[v1ICB=[XĭOQ:E&Y^Ee2sw\σTY [dw{T{Es.OU)g49"4,5f>Jh TnԶ~K/iLG^0](:'FPD훗aVu"-  HOLCF8Qȱy Na|]`?1x@_:ucb.~ @h|eK Yzw"4E>85=YuېZ?:$<ܔ|ha- v& bpUpLkp|O4P>33qkWw\gzc m((=.s!=~%)LçNDl&=\=c]( S<^at;BT-ˎ::*̀aETh8(d{R0`0H|ֵ"~Δ$@R !p4pxTOES.g;aE>H|Q`klR3$L bؗMH44$"e q†m^YoP71Wvjj1Wf]*.EjnyvDtimb;MXMg-b5Ofz-V4az_S<+­[p`llB~^#];&|DE z^?:=`BO߅­.x,!kW o4!rT c1BÑ5ئi ѐŜ5K`c _֔riɶmQ)T?E|Ati]H׷%Θz3+S:ro{] g{܁ݿʚ)+"Io.;(~җ*BIQ{R]O΄t*rih:{ '$vZ@ט U2oh'] c;\8 sJ0J[lœzڵH.jۖG ̷YL`@{`TnY6#83L -T xZAUel?)S a.+:L=KhxKf{'f_?wԚpL)8SƋ*V)6ʯHqxk,pGjvlQo3dQGY6́{K Epf3kQaE;^`tW@#yj٭S3Mr{dx5斂>hcBQ_ք$Wa{Rm巕s-x+]-0_iD"2E%5cNs\^AlI>i,۩ F,0z*hv$O܂ouf%5N|#'kSk[Ƥ 6lUpiVcOKNǨ/r|S-'Fb])b/u,yD+pKW?jb :kc,pDJC6y/{;PYr0k@ @4 +t3W_e5lf={7Q%1#Pَ|KpjT|2cJ_+(iLA yN9oGkLMTk2~­5odY QkQv YG \;3GO0kӆ3)N5 qfr= sD-Q"Jylη2iL,!-Q>C cŌ'.JSoa0 Ņ@+}L2:(<խ̖-k4mmS-ґx3Ea6M+:=U[A|'yNokR+kpb=n],L-èEV+X=&*QvMfb aoWv;]q$Cc+8panӂ'gᅥG[9&Y`1I”0/Fo}|,p;[RYm"7C.W?+6ڎڱ}u(uѥo\")+oَVHv"ϯ\4|aPE:SGnfOWyGW"|n ᾋ`;YCLѡn>~oy]FDjNS6q/Hccto;, }vS תy4[? fjVcTr`7ϛ &QYI6hmDcɝ@۱YcݺAPm(:hUMlj5>Qɔ̽ 2fNZ$1d=)f^*U;{ o "gxk+ %nW@<~yO7Vwc#+@5Ia*Rn(EX#09 5kjb+fmnށ,i>(QidPsJ J=7k'dztǦ`:9D@^#=L T _c(M ,/j:GkKbI$0= ^Eiis]SK/m ?a3qğ'V!|ȶF|D%qA+s:QMv@i^/DV]DBy%6]Cˬģ >g*u U>BB ;[̽Y &Ϣ"KG2lpX4;i{wmiH>U (ZI׀9VkaL;;{۝u΂f=] {'f-:kn2ƛ*ϮT0U"7U# +b+m%p(ЕhFVj`e#!4Ӥ$ %qs(UǦ 3wq1ni:d  k6A}l/:#Ҥ_4);QXho)]gYZ7zXZִF! z6F]ŗXi%P9~ w'büF,XY74x#BDQc+%Lx[L=|Ns*݈FCS4ф6% lvڽ< Ms||->#Mb]6Rkѵ"BTa򄇒 >N6Д[ Lّจ$dž{м$KџuG}N~_༭_E$m_SN tvf`9 z3EHX9ڣOo|0hMb6ܣoؼز3 ;Z=o">l { #1Vf`dLl ufDKr3@F']0WXkJzLjJNЯBa{m3Rd5KtZf+2Upr-{\:Cyq1?AxjΈÇ/1ɡm4Nb\FLMh)acB 5̴,Dn|wf̛>/&MѠu$RBt=@*.J2ykF1JW+YN/N v !\h:>Q`RhYY\>F?;O =m}8Ru[tCgVOgGY]XeNhӺAXR{p/4SuD|"9r2hw%(r{t߱dL o80ğ*p>Z"*`IdRԑ0ΑY'oNa jm1]DMXħ-8 MKU| Yf[Q))y,BᾏM* &m+U~VYJ5ǀ/ageTuUj&HҟrQ .jPWb: deJ&fy"˻mbOwatkL jK<筝5st  zb5J6Wau~j NL-Ywpla28ӗHHi;xΩ7Y)e%T*kdj@ Z(}eqsjE;3FոtC ޺2|P϶7~aR:?VUnhɉ-2|bt9`YmJQ!eM^s2+ ڿeh|rub88V7`RVRS\fQ32vJǗCňB>) F~<Ł]Σ:b~Xl3"tDAHA"B[r9 Zo /0