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 q+Cɜ'A^&$#;DC,02< [TJH-.j9%!Y~8yɬw &J5)hVaۨ)77ob'.3x}' v<x''F$_ovIDtSr !_ sL˭1(jD]S[FqxKɝn~٦Hx l gvuҭ-[NvdrXj-'BюkQذr}cC:>=OLf.yBec,i.TqtssX؛VCYW&56E_c߃RtTL঍QhuM;- ՄVfbjXˆ2ST U>DJߩۑWp27|u} ln=@%֩yMm[$=?ܥ,\c;w Vc^l"$;F4$3KO(Q,;ÎC@鳑,.\/UT\3/A~@pȿlTA M ܏J0í oF$[X|HWlPp?| 跹뭀>'FnWR JnS r-gx/gG6H>Fe23?a(vRՃ"TȔNxNL8 ]OɅGЕTjM1a򹼪6"ޱoxowqсk{&ֱH#ㆻF8_ʘĝ[ڪ29(_7۠_A$A_UtQ|DwѾ?\|2#6lYE?f.i;BK'Gr5e@&7`M`?NueJ t cehasQ,Amcj2_旋6ek"] f.Q:}*f~Ymm]dpi$!`,&/=RTT }6 ?OD3&g /vE4 N G?p#LG{k'@ʯvy&1F1$Z',h_;R!@}#>(iQ͎1k$aB8ҩԥ 5ͱgYZ7zXZִF! p]ŗXiɟ.և9J?(Ѻ<3~|"`4J{(:y=Ā }QM/n;"l\ 2T{>lGKu$V{e9qSK /`RCXOq%SW- tq"M4Zs% Wm@d싖StmQ"8\~gYZ7zXZִF! 㖬"]ŗXi%6\jpP}Iu!L ]a"}@J.:o>|&'$t.ߖ0!%5r[Bum822vK'Oe2v?fsh24d8e9Tn_7ui?xw@'&&[fӧp 2_-/Nb= )jX q6e_\YWK\>]h8bw2Nsp;4Z(pV60(Buu;XLs7:>QǘT@ Y:?oUvhh9S!F3hRgZ/>'1nt7.}!ȶ̲!LY۽O~7}NHLgFoٛ,pnh>ӑPb>(0c 4&!,&jduMCv9 !4E1^;E{Nڼ2udz:ɕ*g\bShGGfF^1<JGRL4 ̬I']^W xdܘ:z37Mˀ+`}tέ@裈uQR@]&+\g~5VɅ2ى`̲f G׺1DMx鰭߷~*Ȥa;S6%)M7rsΣ7r( ֛n)H y˜>zxȦnd?x +2KlYY:[: _aHPw^ HRۃ&6e=rcuNUWu@E(`k ;=W_|y0XX(4syUCMɕQeӌnsKla&|ً TR2ftf(!(O+␅kh`T]tt(_m#/L9WtuʿGx)*ǟ󔱌;o$tI?:g׊+e[n!9ɣեl/QE0* 2BB(q&Qk"m oHQ'v$~AL5Nw_cG$ۚ Hܙ& *|l=䯗7d`$x,5x]g[/HRLƮ:uޖlx+Q'qg^5w? (IZE@RH_UՐ8[zjJdm,r BRPug4.ەIFf:_9WUT=ckBziǫAOgodZXkٰK|o G-9sf]VW8o`>a5ؽ\[qȝya uvޛZyW#ACp1=;hRiEii4ELV'nz=+޵ ?r.f8Pc7 d'ao k˾ŐiVkL؜-gI-&SNYR^.!k!D;)IV)Ea)t;뉻7}V?)P*V[ђbzYKW%an L Nzm{R7&MŽ* rWu:pKdŗ 6V]=dk tumgd{ٛP$AD:쟴b蜲40)r|{Օ"D"d]$ئw+%`xς~EGЈcRB3T>;4j'5EM$S&l?ٔIg~vW_htx;,1NoZJ9I6ҌYu\-$_w0Х;|PK:y+ VFB. ;+McV]6!.bjp$8L-x_'ޢ#dñGD*S>ttܩ =urjkC 4:-@w{Z0\Np1BM~HZ n'b4`\j'$a,9 Z^+03ʽ[O&vx譛9T&d9v xPNWO鰻]_-T ѤͤrYR!݂ؗ!+.6ՈM4PƬGQHJܹܠz9p *vW7d/ u9` V<$"A|Ə0M8; G@h=L>ym(v b[w[ 0gډ1Шgd[9}dg&m+ω!,jT5(/g9XQMJCQ}gmdmz[ۯ{.!VQ})UFXlfYxxMS ,MA>ã9lBϓ&@ K t?PlٮYg Ks!V4#*lrۍ'@K?e?nct?*O,eѤ[><&ӔOC109\5bK' fu! U+|0ja2jI/8MaS0j[Cb@ d;h;$)0 U*. 0a<%FL(iZo,LJ,t&ĝ'}{/p1܌*Ѳt,*hauN$ 읹jxv(9Ž"ҥ&g%ʆL;aͫf-ySx =>Pq[7g4_.(DT [Q0*&(ԏlW,2!g?")eeʍeG`?6m.!epKBGd2ч*9?7 >&M3)Rze\lZzӶr˨B_e~NݻɊG}sW5|A6sAt]sQfvμj_PFWQy.tx0-t@ &o1\P̶?|Y/*vz* I))$uh;@D*fC"rvp`뒓+~wjc`3SoTPfoL;^N҅4s8^0dτ`c$Y2f='#׹lD*G#G(aw8g*ĞMK0bGۂⱝl$-(DyT+3nU h@q5qh Oqڹ;fklefJ*žKKQhƬ Xt=ġs97@M#om;Y PA̐ uC.v_sˈ$A^/ͮpt . >]ⲣ[˥|vXC')g͟,޴ :]uPe製)=Rpv rC1ܗT]MrzNk?J픈ZLe2.YdA˩iB\/ 3GmKs=#hYӣ ^;dwԭmPY٬[QA7G<ۃmM)S r$7S}coaw7 Li#x0Zi:D9Ӏrp?4ߛ5 'Cx9P̼.%[o*5Q/)W,F mVjn˵ډ _͟nYN+d#:x$IPK N2i˥X*QCΊx:ll^7GjM8*8`iice1ߺN )y+j(iT{?(BKP>dM=ϵE>(#{KRE5iV q hC2/SiqPՖc;vu֋ք.b=GS}0xU}$N(]sWQE٦ċkоr.HRoJhvuxc(NUOK3CzIXz~iXP*xNx}Es%ꚛܙjߨ=/>pȸzL 2eēkP 6 }k: ͣ̈́~0?ōU5#Ӌw@,?̺ AH\̻2 sN$[>Ki{n{ɱq"(4|>1N  ]VN75{ev?Z`ThR&qCtVO\&u k+ũ͗W`eU ِYde2NiN`=B3wA}[/2UޢsVRF e{7 Ej ,@~]QHĕkcy:1cCs|ƶbbΓ(E)QgzV[Mu6 @} 92jHL_i>3eF)7SVTx[]v(|OG[,ٷFC`aS̈4>$2BbZwL(Ti>uS0ʪ#ˁ GFd^"LIY=LgﶲĔDZ)*BiI+F̫0DcRe>,?wճ;QMBR3XVTc!m$'t?^7&0WğA(2ܤ{JT7m dv&?Ob,LO] F|:HnT:A lk!}q]s̮y8RyBrkbpHMrv)V-_n9J&a;T5ɸxj≌I3xr /g P1o0/T옎GE9u R/؞MDb`57izݾ<_2ɞt ;po!KzH0ëd֦>o=H#Nʉ/:Χ`bh\v-D!NUhYxӼ7Ct3;d3hV*(;tI!il{Y*E U>xJ;+bќ/__jN7^ebu.lmp0bXYF-j21 i{ٝMX!3 rn2D*RIA BE2!Ɖ6wb9:g~*0m/j@(ǤS# ~M&SVə\u\x*߼-"he>8\}w9}f,&^c[SZ0bs$q @u:xt2:͑V4w{zs'U9ǝA?Co|a|ڱpƷpMIY v ^pM&*@.cis#N[% #{ 3](sBς0kse?#x7TuQpFVl/շwq-\^'T[H' _p|}#8qM !Ylٜ:U)X>U_H>Tn]7W-O(Q^z0L,Οߘ.BhQ,>٘V٠MDr7I\}w710iDj>XV.YIr j0  ˲|եR1}v+S fŘG@<p"b { g.īⓡ +4c/O+I,z%u QIU@ͼFl[gYZ5dd1b354b257cfd7699779a3cc09fbd0958dc52ae70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f