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 jj I L c/ Abortable_Linearizable_Modules:threads=2elapsed=80.574cpu=123.412gc=4.484factor=1.537zXZִF! d]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3L=>xi %`r&5 !$1ۘKHfT'Žɹ<6n4&l7kfǾ@"|;̥Ϻ3A&6<7N&A+BY.kiDxG %$m)2|X\61~>n@ޤAm ͉QГgz5Hde&9Et5_xHB.n( -vhѯ~`/4y%%HgiD4߃'$g`&˶L9;^o)nl߳Cb\ |UGء i?AD(O k+OL`Z;G!J&4`Sx%)IQȁ7MQ2ĭ%"sVRm)Y"ا Z`jSeCD)vz/Ꝛp9-q{*Œj+R5;=!S_-skUB=Hf3ή|WA8;SIt(zT_6?qlhcXU8ßY(z_%3ß@; u'c8EPg[ ̣/S;; SJ 0L|R_^.b)IЈf>4܎k c&i9T)?=|oS^J-G+:Yט1EELlC9VK811=3Uݍ '5$u %>d+R||. -4] kD'{7O= ֖euHtZiD}ҁO~V!`~uց_)m/gFId 2]/s#"_kıg(G^ھZƀj+t!XnYCm#߬J|'u%8R7L5rWF]nl cLaFVQH1d1♠\53eܱ;dq*l"x}Mn^yG_C­ kvf3|JUaO&wsL=Ey^x o>J͋'BeupԪƚj61KQ3nCo6ReQwKsdQO;t0o)f_+0l#eoyߟjgwoܒon_{ cَ}ёR)}K *V$!aF< J#Eh!-(ңEɌ{߻DqƀȅigÃOb:'rE0G.5A/$ -#& _Jh%U\#McZ醡R#D*QnRmed}gyWTau X,]5V{21>k &w\b;"'^6Jt < M<(dXF`NbF?y-gYZ7zXZִF! }^]ŗXi%6x1Puo9NKSMV:$*ǂlبE3A$0Q}@=XN}X̯m%yN8F;i_m<1>ΞR ᢮PNd H, !)`rQ,N#:Oj}\ZoM=!uy9s1Yow śC}FT椂ܶ ^ Ɵ= #nz4~53$qCɬˏ^epFQߏvI䒶ތKxqщ賷L`@EBZ<ѡn XPR`uV͵A!Yxxcʂ <2B+)y|mx\LkoJ /3d KDC/t<^u'Aq !I Abortable_Linearizable_Modules遇SG>!a\; 堔V~tQp_>. 7^JnݝwufكM+݀$zs& Cu=io&))kT.KGAy,p!a)k V+z!6|ZXi59n e\V+ۮЬGG @Kn5,llMOYQTɏ{NpӣXeH6/ l?e_8H"3P#51Tp][R( g Xw*1 xv_R$%F NI j>p[`[M\h3{FJ6eV>!Y !_QE\֍tJ'; ֑F4PM|0W I~L~7I4\Os"VK61:Z|Lth7 T{&yRWjMݢꍯ=I/21P2=X,Xhl0rY%Sx{"[ԨFq'6 MQY.,0Y#ԗ`=?EZQ?BaA6ie?Ѹ-;F=Hi}F&v~d#^ы_$;;]*vU$4K0'ܦ"B_ΎO5Ņ:O`٩c$]b+p(gĐ%f9z*(pQ|7$Gk"ڇ{}S$ꕅq{|`$˥3E)mB\T5U5d?VՕ =攰^7D94h(C(|U9\}$cSS^d9qs0O*P1XˋŀHD+f[z0e;-&|YY;Μ{'I<ѬAifqš ӈ>77yAֽjiM[J֝d-(|%tq$EM'7+C&2)gc♹1/ZKFB< `sjL<膅6=Wj{֟Vk,dv&i[=a|$ޓ"|f`4y'/ԯS|8r|+̜c i/?H͒],n:WW24e=KAU~+wNێ-*\" vNo yGf|_YU4Q.DH7jAc2bآ"UcTSz%*/v82-GZ3A+z\`D $f,u%J8C-J4f 9s7S#ajސ(~:mf8 0M]Hd{:x! >@5ndNAGAted'A:\Lf0.:*xzDdGỤpQC[f/[:KNxR"?=pTRuՀ^fį|wbq|5gCOe80r#e#xCZKaӾ$~{zE^Yl*;xr#ݕ٩{>Me A%G?N4R.-Xm߳CvpP{S}'ܒҶܮ"̍ކȣn6^sV- !UKw \[{SCW?W[ک1ckd\cD0xF^H~fYɁNE~҉|c1_HA(}RS.Mߢt鮥/:뉞zܬJWscSVg 9mM1F/2QoOpoDȠ8'C;]Cc5T9;R.J1-SOP5o{&!@HCKSBBK7qGt鳤̃זPa!Gkqm:+yk j%:/*;28C$7H_e(Pi=ihaRjBGo#PCTX1RAȳ̩?}8yH`+ef4SAυ;m,)McJ83Ua=@ 9ۚli<q3E,O/ \qkd{JObɧN`V* 1kM% ;#D"{[80$}Lßg}v*b)h}HRo+K|S"V=ʬ6yٕ;D+t?$ڕ'[q/9{[ =+eH%JCUN_CͿ ÕH*;kӟv iyXA;p}y}c=h*WXfuC Hs34Xj:Vu sqOPsW}{nV$8u9,oY-|U#Hie^LVɇD{bfX3\j@oG44OhBn<JXd~U\6 xlm=i⨹rDN2