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  @ @5' ttT ]S UpDown_Scheme:threads=2elapsed=51.153cpu=97.132gc=4.000factor=1.907zXZִF! ?q]ŗXf1-q恉<]d %S TzA=0 e"~Wx-=vVx[,88բBclo˯uIOO ~QG$EpF,4dxΪC>'$w2M Leǩ{z?Tlˋt7gn"t4udHd⩼eri7#Z=,%A7kƣY S&X o7> ;oqE牚,N2bm?_cN{K'`HS%:D9X+__dZZsq׊Zf`RCRZM}P?iPN7u+#HZ>l{9oMEjp1 *;`R#t%ל Њw[Y`M"霾5Ux(;iM8ꆘ%U::"jßGQ]9Bb? ұuDuI{8Ol I:Y"sZF /ښt`&/g= YْQ Y,f '0,-iq6DSr( AM{9f*o%~mE2 -n#%uNUY&i y7I=}sq?2Ƅ)}]^=TEݦx2T \NaAgP$9]UYX཰d|:~ᠲ4ۏW4"odQ<% lm\l!^ Q^K$b`"\'I_d4!oT$u[*h!)Nb#.cu+.NyH|D8_ ʮ+OjDB+SD:A!G.bt^$㓩8k* O ;a,X bKb#`{IvZDl7\'{C\Kj9|d |^ Mu\yhk)ě3!,';,5ށ'hoѶiޚhZ0W/.G`%34v uQ4:6POT/Sa"Fd%EN#UW) GZ~Zd/bߪ5õPKՒv,g+*HIR<T3Tѻq y}. He' ?h|H1Z抻&)e4 tMbP)O Y`?MsO' { RnM7 ' UpDown_Scheme~!Q{,>Թ]a_! 0gHT

U_M6Ʃ<`v>v7h!;pmz+L±,Ea j ʯ[ֆ%a*fOӜ̢5#(Ǹ὚fg^A:Y!RoP0] 6tmN/'',s`Po|Yw!Ӱ6hx`Kҩ֝6u(2x9)X:bDޅR'gYZ7zXZִF! a]ŗXi%;DmcBDq.O"\m:B2XwrcKޅkx-Հ$ j8*m"8~l,ԒrS3c0=(*[A WH)(|oxI3߰?+07{S mvvóBgkGV f5 oH=,h vKKﭰ=uu{hcS0G 0f$)lp=ge}u;ϖ!WyܗɶF* kg{YHTxr!YBarCyᜲ7|HKbB~&#yP&gob3 R$Po߀| =/f<̍"/j,a׶¥_҄4/#mKă''ޱ9]k[RyQך7\㮿f@}r)!㦍K*c,w遥!gu E|խV<]k2(CD&__oN6E1ݕ xU"ވ"eVɜSu6&dk\=p]K/2emÞ4AWLct2CHd9c U/#d2;V_IWY?ܾM06M&jj૎]2Od[ ,Bp7. ]ծJ,&.-uV;)|5Jʛ؇u2iCl a><ǡF1/, 1;&NAlC巂p1e1J2{?O+ Ș2sJ /| &Es٪*#$I'P$$W0-hʉfsl u=j UH.0gXgANbS~Jq*ukp)S#'; ;ŐEbW-!z^񅂵}"R{(A+X_]Y|XV-7@.'DlhOfO UUƊ~M8۔el.f̬{S˳S@*<7A5(P'vYkEDG 4]-t藐; _bn Mљ%|!I韂xA4d L 'V],kPwl(:/k(OL^=vD~Y %=RyhQ1wl)"e`HF4(H8OlbּNDa`ϴ]o!Sg I%kO!8$#gGҼ̐T¡ĆbIM3[uʷ7#gIlD΍ITxQd`5ty3V@dIXL>vRFc4PYLT` 6Y;c`mn > +m8 d,1RżMMx7тʓbw@57@+N]D+x Bj+C"7E04ldmg}VUvK{WX_GiIkʃڪ,0yF0?q.ï0^L4T׊` aLdx\6o$_Mp4GyݳDHYك5F@Q 69l.F_Ufسr`e]-l(Rq׿7MTdՃON٨N),\aFW2.So\}}s:K\nv3\B#v^qkpI2iEPP>clRhm .ھ ѪHb4Ъ+'Ei#7:"P >2SԺ=NB[f[U@m_H!n0!1 J;iL^Ceb$HDظRr^&H]Zn岛Csp/~S$>H'\s-L˛O @FX*X8W@֩`mERJY.i65&ESCPPB _'q<$Oa9:qjo.Ng;wɑSLBd~\o=Yܪ6ͥRΆ؏"QKhoH^[G8B@j Ax\[ǩbqZېz(^ \ι+9^ϕ< ەS;8fݛKJqⱛWs5%εmbx^ '+]bҎ^-M* Z*gaItxppG (wG]}X-mKZYeu86GhQഁ8QQeL_Fa(KvEKF |5)4vt-EǂCA׾ -y +(@v/i1ԴV1W'xlVSË% ; yY 'BAzrF WXg1A?l6E1~U.WOӱgYZ90a4c53d03fd215fbb33bd697136b1a76cfed0e879d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 50d7567ba5f079e933f9c40588fc7548716f71d9 ac948ec914afd4b63e6792a895edef77d004e06b