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 m!4 w Akra_Bazzi:threads=2elapsed=83.999cpu=147.260gc=5.980factor=1.757zXZִF! DR]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓є,R"wLN}>Ԗ5īC 2[>#10k ,ܶECَGb0 -UYwU*nЋ#b?vGJST6ڢ^SgN=v~#,Ѻì&ɿ=k)u^q#Is\"kl(VSe["_ A4.ORw X 5E|/Y-\S;*ꈭWThSƇG-N0sݡN ,Dƣ_li09m:]uK&XKvKFI\ Ik$i8ѱ9oȇT-ύe*wQkw 8I((n5Ǡ/=}P"9-#z:u[!Qm"%凕>^^o9ͨ(0^X y8 ~+3$f㟱e(w:f\2ޫΖ,5:.z+!A[u@/EVHw+_ïP(>كĦ{< {jU磯0/gѠ >{UEt=Îy&n9n{m@9A2~P9 vWg'PB6G>1 XkpŃW4:օ sHː O'_A_(Xr{) i& Y<#-{07B$bBק6c?S 6<572hQvC?rnl4b=)p=ޝdJfd_^f./Os`D>tO܅T*ap,*< lnLWWC#n4@ONOF&#:5a% Xy FHMG,A>tsJY*?^0)CN`|&dy|*d]u 3ೖDN؊SʼnF_me$ ݫPyC$vl<_RahiJrN<;s fYgYZ7zXZִF! C]ŗXi%6uTy^&Ħ9ex0+,yR' 5J-H(CKKɕ!4E CV{ t'ݽPN3҃3k[` 3[m˙IM;% W @NJL(IGb c9VLbM0aQ!F@T쮳4H;r:u{RP^ j睧rт(fbb~ػSxχ_Ӵ1#U,"7.6q;gImۇZG^a6J*`yzF\Lo؝qDBS= |oB^JD^J+Ǹv$.i6U߶~#$ny,aڵˇLy : (߱DS#ZBɩM,b{h{Q ^7üĉ天,(4 ة~ӨHkFz0/O P(±‡kvJ8dS^e&E:)l7gEǚbQiU*ֿdgs-[֥^x+qTmn}Wa1~O*|Xپ^SAaE `%.^V2yޝ up!g2tVS!h&Q+lwtFǹ78(TA?TA{5k +wvj - {lZE|9nу9cHXȡ Gn'N|y]@|=?GTƜ=d+@dUlDA;;xUQfJ2-P.1$q>(g22'i_fJ9nwJ;d;E9`K GL9&LL_.~OpX/I?E5&`ʛr8+yHES?K5sT"'zqLoGBeѯQo&id0: 1,CBYA2@{JߞN0z{|4qʙ;Ofz VՄjg| Llwzx):_&G%xf7aFZ0N`F'#6"SC._0@1 #ALKX{&gLP)&=QXt4KI룐 mFgE$ti_r2zYw;Vf0%7XcG*;[QANR"98+5ڌ~{&B;?Jwu_F#O3U*~ N03+zhJ7>캔1LU:wu(jѥt7xhɧ_v+T PؠUBޝ41Ѳ55L>ILE8#V`XUcv٢wˉ̨80y:V²˟[qB uP҆&x1=ͯ)DMK6 i*DZKW'γzkn|Tn{>x+=f,vuMKGYA[HPwA)G7ͼp'QKK 5qR|ޱl"&WK6sw HrfdQDb_/kjM 9To4gBD|9Wc776 #uB0.Cf`Tq}=[G汤k$IE! fnf+<ٖiFQ&&FZTdnaP\0)t$dP:Pz76k{Uj ﲛÅ͉ 'cbGS6߁ZyK6~є*?Ĭz m/IGui ~}}yG:@Bߔ)/wCbى.,:|;5@Q+_U\'6Iu;/ xzr*1E4ꗨNd}$iU8 JE4!}cxD#wx䠂[0/ɵ;_YTmJe`^@(n@ӂ۬k}cxMP|f]6HNѾXgr'= -H11)h3]8~C;ُZ@[k 0QL_҅Ebl<ǵDy2/RS4 )ȷ3'X ep͐&Vsgуm\7HN[۪ʾ cSqU4`cgŝ ꓅okw`v1uS36I ~Р-X0ঐXTVM o:|[l *;)Bz8ߥm TBESc'Fq(kW%0H:4?C (*gzҰZBԸ~fu}2G>yi1y$aU$442wCNI_M[xxP-kibZۢyHt4Q ?^E0PKfN~+ȋ~={& H`77 T)s!Ч!k37KlhU< ߟ[3=ВbSYz޸[H!)W5^X߷N4!biF4"{3= #QM.qs8̭q*\ Z0||yS$QC>Z-Ȩxx <U:A$7@+AzqK5짠w]$\e۩@(M%f0֓wXZɪ$ڔ\OF]e[.hVKW(> `4 IUtȤUQ:zɩ]}a c\,H9/AsI3_X.񝚈{}.@pr.6"IA+΁z)ryVbg5JW yL:U,zLWMJRVYA#S@K@_Gl8_':nq@6ki1$Ly}糤*ڥiBq+I+"4k:M̳iZ_J ':.VWJB>aqDžQw&,R]Vt w[iɓE[}6(i#*kc,8ZHAZXV\%`gO KI"<%u6?Րv@+QA>d4B8>A#jl @5:1ߩ͂ye g,_Qc#D, >r7PȄl6IP"2,S~56 PDnpqAW߹jS WGMJuy޷C )a BY{[eYP$Nr,y*T nهt9 ѕT9E6 $q'S0zGv:! kht6Ma",ҷp :92|F]ܤ u4{TR\kcf<]Ƈ=X]?Y<b7IeճR]h~դy5X8e?M2 &F/#Dٺբ_O4N}.GJ@J4g? /1%1ղ +