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 w# t s Rewriting_Z:threads=2elapsed=28.075cpu=51.816gc=2.096factor=1.857zXZִF! , ]ŗXf1-q恈NucvAݪ4 c?[2C IfW6n\b9_-1riXν`\]ϠYnB_"Y9YPb x.TNT9Cn;i2k XO!-D~tV hXw-A~iE!v+ Nz{4; k[S6n]cS\znyY$/fuͪ@UnJشwqԵ]Y[<61Q ETkv~w_<.  b6-kgڝVףQ`^18 纓QCʂQo|$͈k(b2 ~]AH EĮj&_R;>@jrN'ik©lm ߖ0(7+Nɱ>kc R^m)]h=ebkj%9gب %ƘI)9r2 cjVk}~efTxγDF7UHxm!@6 # Rewriting_ZAث3AE6D`vHHP5h՛hsNZPbC oXWPv\-tN+lm1( H$sv9 B۷͂7\׉D-@rJb<ξkQثbx0T \Ov sV,k{ (r([izpbygJ*ئ{: +M+]eŊ t%mxgnd&Zf^NU~1Mp iMr(d܂njWhz*gKлA ,c(U nrދ| m/ 'b@w;(p;gg5Rd]+Q&Z~ƞ+a:! (sg&%pV.82f 3]SC撾Έ-`3]J/kƆnLP?B>go\KeN$yARjiU1-}P&$t@]n3[6jD͟%_~δߕ5ycO""ɲw!>@gIB?uqA2i߸62f,msA& ij6KEYѰF\ [wD%4}*%d0̗$} ОzaљQ231ȱY(L)em N~xJ7%Q۔v2辙;>=F[)VB?{ᵢ)lWY}ã7big1Q[٢"hayg\Fs贄S5+ 0_ xβ ?t? sgF3GTEsau/ BYz{$ÒG t=˄.f,U|r5u&Q_Gh(XЋmO h)( X% oeS!+`ֵ9]S~sPFMpjzkV;pZH~ 14QήѾ̽zJސL(C G^`UMV*{-2iWOgYZ7zXZִF! {]ŗXi%DQM +'ѹX "WӘa$Kj.y) DWb\N ; 8QicҬ*dm}8V۷6;p50W+S.pؾj4 AA}%Yk/>䊆S(67:,?wf|ɍd%J8-wz+YzTUN~CbB@m4bу2~ SʬČ%WꢖYz]J bЖ$?oEh@Aa ]-dt"ېiUrjr6.]5E]AdT,2mD UčBrgb?Ѽ VmfKrmL^!l]DA:yj:n2Thd)$_y0z*{cuQNޗG-7^?M"Χ!ӭrk^,ib/p˙ĥ4e]Vh7a;:StZ1|??Ob{}*$u_O:o[rxs^}KrqY[Bn}r:9YcJ&(dy.ʐ8KXs(u-"jy͍t0 ʆQR1 jF#H\̞b`is9,U8A s= oUX74@;ƀ.R@opԆK5 6*)3U[-^B#|^Kd%q~ImY|a'1{wݚ935b^_4 \ͦJeC=}-%Td#p@"t[. "'Aڨ kWgQ%bKnٳ;{VlM܈r1_;QtY>qͪuC4㻛z/⑧\yuw)( !{BkҎ(gԵ)X7B"xq)_C_zCRGT9p2P(\7"Nmc{z06z;>[hS&i m jB