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 *d E/ Corec:threads=2elapsed=65.682cpu=102.356gc=6.180factor=1.567zXZִF! ;]ŗXf1-)&$c)zaBcFeNT[ b^qSЧܖ^ ;AF Pzg1;MR yȑ1}1"/4~K c27:R$@?:- <Ԣ,Ktf7L\TBuwbKN#=e$-So mszzCi N$_녯Z}CN)'],|IBhP "I/鞟UN1g*/!vCZLo_ɮth3-H~5y M6Pg9 wO$[ !j&T5 M7qp5#@,Xx@𻝞,=kf$S[O_ `㧸0YߩBGn-B5as6ח>0lܝ0%ׯ6oOL:0})6D=ry7-+9oա0+}? 4#)I)ɬ(R M~Y!?-G&Y.@{4Vɸ7˙&BxBh\K+O~u_GOL̕3 ºʔ9l5iK"B`yVXc4 ʠcBSmeW3)f ^~ +WA5YK)I)e  CorecGGs*0" hP5S@ޡF9dЌapAP'-lܘ2SdRBMבshd5$ a, ]ܓ#~FIʤk<1vٔ ֪6xI~VkyHm^ x9-]*s9\ F20`󖱰}%=u4GJ8mI_V:~>D9~*!K= 2TtpzGcVJ_yc2A N+Tdnn@J.t{UD9cnG>pe( O / =Zm[,Z _yrVAI.9sP"L "f&D#,&za=!b@R g5iǡ~XɌap@h) XYj$b8i~]j̥ti "RHJfC RbGt"|3k_u~Z*p2MZE>RcHѢ6+-:8}y[?_p7M}4 MsYb@E|NxgżT<8JG Ÿ( rٔjpJ.>ڗf/kGQD(QV$~f<F ɔb]ܠM9+;xrD[:'F'hg;A؊P9yp6oG\f w6gYZ7zXZִF! * ]ŗXi%3$NZP0yPlzƽ͹κF!N>}py \!HB`D: ϐ_{4ui/ܘ e}Q bלɍTe`؜= Z h"` ɇA9\ƒX5hTYE퓥 hcǓhrYD9 k$T-ZG+zÖ.$ Yz}x?S#ٷCt ]c76y>{ ,H*uXD 9S^^a*Rg0|V>nEJ#EO[DZyDIF@)kVA9̬.`/舢KMca^FdOӱiy6TN ,lܰZʍm<_X_.8NWg-ZTIAM/5K.МؚR)8aR=#9Z_;rk&_L*e, j|$O>dմIG&ɵ̆YUv˖4i)\khh9PU(<\ AV|)n+XWX뫏O{&,t3nN%Fy$*۝àF~9DqsQ /o[ b݈ Vp n1꜆6j YThh{@dP[6oyovOMd ?79ؚ$ ` w{DŦ]F.4-mF;`bBls hYTQTY3KQs}wW[O}>x[97O72qjgU_H䇩ՅTCdzj 05bD ,kmO]yu,[xh8@_?$G߇_Aqmޚoa}q>VgR}`ˇ};$5b柋G9+Y;PF,Un`gIƓ+Dl.u:XS,B嗵iX"IhERd9:$dp6HsJ~qicn˚k1.y9H A,Lm+nX|¥$#zƿj~CA.K ڄ  K\u?-Z!]BDРڿ{y>q*VG(A,!qcCwUZA{Z|ȓoCыВ)W$5{gDU=`X? 2gm _EcKgRq8M)n8ڒ@!}RMpI_PHiZCqɻؠDUkm)ɋJbi(8^暖o]^>!5l  ZO<}^ iq$t/lj),bNxwTk<3!A>6-31Uvgo?`wA@jR: ̝ ĉAєd{rZaY  Xc~H]GJ΢5| G4rV؟=2#Ӎ|޻1={6A49vҔ"W\|f% 4e0]xS@`ʁ2pa%GWm|ߢilFN4__ WNP'd-UaR/c>gnktm聸DTeg썈A*'j p̀77; N7yW@ler'wz&+Xt~= \5u7}R:T˱cZ?bj6h_[}ǰ~` TG/Sd:qy}H§o*ݟ$,IWǭoِAT>P!dƃ_9I=e$`Y(]+؍P_0ís%#?Q-zY_{ 877ν M "]!C\VzȺj'_Xjg'\KM; 'ϝ8gG5XoЈg47UKw*)~TX?QGS|!Zd۱Hz ;m03"ruXoB`v`)1XdĊf< 8T\byEnedƋ /Zچk3N8{c!CBu8z4->_q[V}F]<0"uwe;Δp4*w޻'+IQ1[:EHn׎1K8xsdfii7n{"/Ҟ1(fn~M2jnc˨X#Hi:(Zt fCE= DS X-2gkBIاTM}E}əMj& _ { C)c-5+$⹠Xe勑҄ gYZ007664efb3738ca409342bcbf25b57d436593bcf 1abe1d707d1f67f06e78c7b3ea6b81b85559c29e 345733401f52a910d8dadb57e7e63432afb912ce 36545764fd444e531db13bf1c0f3ea261fccf9dc 457d02a572a0fdf5e6d683531094ab0706112941 4b174e346e2b2ef68e63381410770e342180497a 513effd0b9a67d2a2e9ba2830d3ad6f26b4aeb81 5a8bf46f142fabbc62d8f177806670fdb6d4c2f2 8f194db846e67a7e87b25a27fa8ba1259c4af82d a2e51d15f6a974e83adb7d3e988585c0b5f3754a a438efea6288f9f4f15f7d643bb504a34d38c343 a634d2977750efd14daaf8018feb1fdee3310b68 b004bec88faa3c7d786fcf116279519116b87a63 b549213b2aef49e3da5304ab78395d90a826e17d cc208ed3a7c8d606faf4ae986d288f99b98dfcde cca035523dddb33f6c1096c40433b20f796d9748 d4a7c808b5209d986d7d6f6b5f43b3451099554d da1567c528c0591b76c11bbf612dc90f71ec564d e5665e756f50b5a5d1e5c4ad5fa3be76bf26c5d2 fc7344ff3b0e3dfee6086e358daf3f162204296e fd2b02dded527fdedfb330e24b0df02361aff2bbd38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5