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  ^ ^3 d$ m% Residuated_Lattices:threads=2elapsed=28.734cpu=50.736gc=1.644factor=1.777zXZִF! D ,]ŗXf1-/6vR[Oxtۻ<8(O-H7;4p$=,KGP?(aZ.AL㲃XcI Sb($?T0XQ5E! _;O4"|p٧1(˳YBvr,^'(+{k)AA/']^^>I_ "rE55 ؼɰJLxO߃6f]G3ŏ?|1U(o6/aez.uƕFX-;SrH|?=Va|6fхb]FGQh6X=bz>t~tj' =caŌrLtUCv=D}+C>[,zTNV\b{Qk}\H~F f nkS4G| JCL0ݮ;# ,%%Yzv`D\pU[YGN̦o zrML2}۬<!|F)8[",|V~*=cԜPG"v6vKMޱbi"- -9VNJW$ǖqVH@Uc=nWMz RTTYu7jO!]9]c,[To0!dW-V~s>穖96I}v ତ d% )I y!,$мvȿGjo-9gRBALnu]D^!+ȗwP&z Ixu)!)̎8m{V]2 1H jZ}$ޒr9{騁ל+Q̽҇YH 7xb ֨KhYC6c:XfW_kOrMΑ;uKtVZےx}ݤDC`SfYŻ9ގ.β^%ǿޅKϟማ*sc & {=oE^ړW5y:>G:`k<)Ĝ:ffF^b\&h$ZnYhGxjXM)o !#aB('p\U@2y'`oHUJZK3O#T#F0~3ƕ5B邱m|j5#2K9)zx!q[)}/%*?-&(Rw4 QĹͬþ?|x5+a÷wv*9%ѼDs2wAπtrҝz(C8FQu~ӃվRzMoHZ3+ 3(W+]s dPAUPݟGcc_5Q+,ܱ%xBI<%.-I gd+?}UVyl1a;4 6-j~lUz8Ck`^b 9Qy#wB?H;{h6UǖĈvY4{(:zkf<#%x$Q;Q~ hAA/Y4D(osG |y*}L,b}*%75hyvzI K|{}x_js&\TQ#1l]!W: wWS`E+TC ׃# nПW̃gp@w/2O\6t[NOv/ZhYۡLn}_/rWLWǮ:68LyڦjƼn?8h'L2 B{ 7aalri8ly/MJo 5[ ӅʴCǬCA uk7np .}9P0j0+ķm-hx5dUq)ڤ`"}X%Kn8E;/":VOt]*_b0UgYZ7zXZִF! J]ŗXi%n8ujpm'7:r,a(ἱ5q$Z[Y:38'nVͨB崘1O| |dz cq"K&x+ECԻW uޥ+a( g9?5&!=y~+& w<%鏿sInxBiCT~\' ev.D-!c;M, ]ҁZ:vao{ɐpHŠc5-^Dޯ-f Kt })1 )pҳI_hxqX+J&cwzi2شrPZW!C9ʽ,fP^=pgsu~; u'  uPh,si+!աbVv=P"B2\ <5lI]o_jz?Q. ;T .to Xͷfn]fx% :.`(RCJ7G..:j[8_"&w*4Z|XLx?v1T_b9N2{ltO_#ڶ2s bcHN%h|h5uðZt93>%j 7^ Cw2D%F,QڙW &_:%hNsgcJn [aE[Xeo,qb\z⎷b)v0P\eC@d\{r6%EImLW ,G2%^c 3s/˼+SdAˡF_c25=505,7;@uѨO" 6|}glx!,]! {`|n?HX %=ڕ Lm!6FVw>zt*'q?zdƼcxi. PlKR XRF AwR6:^ SBJ$K5p<{|B5E2xvUC)a(teOL Ŏpo>uBMrFR;<^GҔP̤4)y9!Y^@sIʙUGF?qݨ+ PG+gK)IWX][ʨALХB J4n8`" s7NpKaQ]drHd7&/}u]|O8;W6æ61̚"tuPF p}L 4{qc831P/.*%ά=̙GDs6@Ҝ#:YR'߹*-ìǬDdP(JIH|dO6螀=,$PѳQ!w[1Hm LU {9yy^p&>BXUZ36i5_x[жBRfbNcT Qls:X U opUQq'G>u&'S:QIKܨla