SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 -TL ]% AutoFocus-Stream:threads=4elapsed=48.715cpu=138.920gc=2.484factor=2.857zXZִF! V]ŗXf[&,X՘$i4XϤʌIe*t& ֊jzSPhr =-$}WTi.S ^xzL6斓Y]/݋+w Dn|:{tޡxu/fj՞]7y?{zw4'";{e7,;)-Dh`Z{%Y. ɛ"S~7U̕au4kF啟(TBHTʼn+ѵv8 T'҇eZs"9la6*StnK1| z w;lZh(q TS=.<\7~%(f'O;CW:;.) xcqXBL40@tYi`&~_j7ZD`颠DS-n1>"יNDi"wCBcE([Lݏjlj8|cd(ZL=$-X,ҏ1S&U\~6G88.0|=V}Q6 ۃKGÃ˫V3Ejh;GX"8Bɘ@CF"A(2j|ro p!su֮]0tJIvd{`hC :f6eo]n` MgYZ7zXZִF! 4]ŗXi%Gk-om+w:n0(EV"W^V`i*\ 8?6խNA&* aa/U Z Ɇ(t_ͤraD1 "}7t*+e5pdQ݁Y<:"|*1V#fh[T S:+X A^'!obEw9׉IOLc﹵G`Y$f(@ ?U/ j@« 6r_oYRoF0]]6KW@Qf A_K~[7Bq~qA^Hn~򎨯Vi^878T ]\GA59b!H|`eo_ˇ+ϩoms@̰T\ (J(XNK15x68Hfva"WZY8M:*ۈlY2P/1loIK9 $dNk95Ƥ^uܒKz&C Fe3Jm& :bl(Zg! ֔~bpM?i!gE*+܇7TU^'xv:mʆ8"k1X5U!1Õۓ 1Eÿсb S\GӁ,rO+ (U3ɾ'T Ѻ'yķ$+!!f&p4}z`Xf&NP4WPdw`"ѷv ':DnN$WL݊՜S~g8ͼTe4\+~y -$1mRl@g=:QW4Y&{܅ rpшF+rruEzk[_,{,RMLںŌݍJ =1>M!ʙ,3gulAhO i-$v=gM%.#>o:}RY q&$jV)C,';LSe)w!Y0M,FgEǽѢ/86tb@ވs`ޒs$UF V`جrOSQur.bPxtڷ.M>MeZ'gki5am>9D : >9PkmuKɽ-x_wpG~{Og!(//:J`*_d$Eӥ`k<~k@i*|6V|!9s}QBa*Tk"B3WI*,awǡXī#IBMF' mVBVT"c:vd?jր=jc0yj;5՚ݦ~1]w8V[vhT#"ǃ7$>Ɔ[}dgm^P%oei Py7lY$A}*9i1DN׌H8*}R\*0Vj"֑D֤~8Yϩ#xďW@R8@)Ri@y t*F蒡eӀ ;#R2*ʆf^՜05=bhL"茮sXzB"?ŭ3Foc닿L2-*f%>`5~T A}װs3)Bl mhM'%?_ a s(}ITqXػBH^O& ~`c߄9$,ĎԺf6 Ƽis 9&d-ڗΊ%xIbQ:(7uN/ӎx&8̼3u1 q*Or?s ,(M "3c< i&-PKXA^%16*­h9S0 !; *"G"hbMDde }p u"gA# 1 ٫G!ƵW7 !@ET^m@5cJWBdX d(иz7FNL:SpűWCg:Z˷:Q> Hfv!¥$'I Myv0ༀ }kwȵoN_IIV[J`BS%\T=<(1  b6š. bx_gTQU f+3z.]:tmB{ vlzc.N.1UB8vɓTiSÔyPxɈt /k?N}&u^?7UJ4MTONr{av ,}σֵZA R?槬\=}Z:ɒ<|T1SH