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 NN/) |< w% Groebner_Bases:threads=2elapsed=33.519cpu=63.436gc=2.244factor=1.897zXZִF! ]ŗXf1-/6vRZnihNsDJ,anj 1#nE> !A xw) CT唣_2l^NP0\&+!τg bG82?[!$T<P3E?:0H9=Q⚿-S;m5)[Y&N$͐ޏ_&~A5s"ybIڦ,hƎ #gX{3(@'5CN]u.u*()|A\!SkAwgԵ]*^ w&&GN9)&Tk,n]beS6!ir5RbO²iK哦rROXr=H,'?}BuQB57i~7btwǡ$ A\Dz_&el BR+[7$*ڱgYZ7zXZִF! []ŗXi%}xձ|$*eB8i'lsp@/W&lxNPy'ݐM F/dO|~+\8 b!=@urJ%+[t쉝́er.Aa<3#v,wXiz5'mӏ嶴=WBq+}rsK-|֞وsi;~Ucgb'\Fbwx|wBpLJ:+m]JجK}?ܤ&,4S/PD}b_SFٿAEܳwf&N^ /er8g(kDhjɱ._5RmeV Qj"E3)"^ gU1l]Aٯ;S۠#MaXU: eIn@D5Tʷ(|ܷ{}uZzfΟ*Wv)%JZ82r-{v; }:ȅ$516 ZH$1JYBOHk/0Pt^'B{զqE;{V93#؞Xæ9ϰ2ףr"LhI =C!,h'*:,^uͽ7`l&'ڗ?>ѯ)xB-Ҩ nP'T?ƾ$vD Zs^7 j=։n8OVHLPKcwM"41('1 JxRz<ʈaSy) ud[?EXz H tӞ9t ?*EG,P,j#qз\Zݼ_| |S@# Ewl-ѢK}Tu@Vnl`P1*6N+OtXrxHnL;Ι"/>}O(}engʎ?"S]ItDkJW8: 7"_n, '륬qT (lvMr0͑s4ޮqKӽW {{  :Om?{7: uY{3jMv@qrߋG`W4=9[wϓ0y,BI'u_3ЩKX<rT<]BsG洪p٫^ `7[1WV.g9M3k 5FߦOZuMWXFk۟}=>ӕ X͐VQ.dDR.dѺDܥ:<;šՀ댋>S 7x"8RIfN+XUAڻZoGpGk6YvOm ;Th )/mAp\ss dѓ* dn:,k&*5N_mlSBa7%X5jA՗\>a6euU'nj;dg il(O2-푏~9MwC,iF:Srr8PybWC _f4iOA3W1ng7K=~p1L:˨P̮[a0]F- cN