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  @ @54< %S Valuation:threads=2elapsed=66.364cpu=104.040gc=3.640factor=1.577zXZִF! >]ŗXf1-/6vR[ldco^IrT,^'&$vҜ+A\'*j>3=ˑC>YtZBD6Y\.,<r],2UC=hص{L(+d)_f[J gOTVSnaW1a ]W І(=l7dc`#٪;_W5Vm߸HBfS`% oyJ,Bp,a YQ^@}|gdeIn粮xP ߭~ywF}hp0'1pU-) jQW!l2L%SWlʀkc#R|EJ~~ p [f7A! FvgC\M[!~Ĵ#J_b%1d0snŋRtuSaUAܲ쀱)l7K7%m$QB Ѹ|":;oW[)ۍ(k#8kdp[=(6)VjjȍFuNб(QNIjJ^ e _sap(-QFGG2z xq1wMv0&Ef~WDNECg(DUuƩ0.apvg@O2K@wj ~gR] CWOxOG_,^ a+lw-X, \jBԛa:4   Valuation{D߲Z#(#!up׺R4{rpV Q #9wEoQ(f\}?(`w aA7b~Ũ J M~#wl=AF ˓_4Cq:4+> ϯxSgxS*o1LIm?TGƾPk8 jRMU0u| mshByAF-/ygR@< {A#Cs# IvcVR~V~j1`$(D}^"}BTtǙLJ51bʠ;zWzDFLXerLg-I$-F~FF<  wZ$+_ ,_w;_Sf%t+'jL󸓐c={Yw}m?|qe b ?+y[eX`E kj²Co"sz枍>L*BR~Qn.| жceTLW3{A}@e_uoǶ%q5i?<ؓz~8׃XJլX],mOIRKZC\|}_V]H%oͫ.#z:iS4bU G&|=i-brIIqnQkej7זi;ٲb-h{p?0$^eE H,W%tƮC+O Ͷ35ȳj G+qOuEqu+*|obXVS_Fp^.dYWx}+&fVVnϓ!Ϻ5RW]954C4z@~C.Aòr;K8 #ܲOkǟ9Un8QfYXYjqc> ~?oRJǡA];%&y_[όse`?悼J'BNyG&թYCZ\Z q+l΂l*;Ȇ!\dv(DZJ?O,a÷{b{K;4RPci K@+9EM^b?udWPEEQ55}r#mOA^0.c[?|_+&:Td`GV 9:vYRYs9uZjXD zV@r*bPB2ӂ,t tx$&gzИhY~Q𵿹Sժ%|/b9FL;$w"(!Y^X3P htN/xbuJ:X\|O|(e!: 闞 V` ڗ)vR|h\y 0߳r> dc[*(sVrף9oBA;"٫&}Vکl32A d&3F5HoG?Ub7e's5ȸ;bTAVAwV5Axony- \L0_fHc: \iVk7L}t a#D0iTہ@tʧh [vSRlmU$x/Q_Uk͖Mq/nbá3-(EYc&&\j_DAIW|j)Pzzd!n'a(:\1σD iNHK :)6Ì1f~QZ,;lxS:]zP?HOВ~*ҙX*UR: n9R,P/*3#GJi"ݢG528C- LrO9d>dkMN{Vh^f b#^ aSs1[69I-̰-OC}A7ƿ %R,B2+d#^CSB!`0 qz{Zԍjj VY~T[ 6]ӱX6T+`xk@zQy{EgBލ䱔tE{+jbK= uMB6XAbs `:D۰>db4 n>ߍLĿ(|ra7DX&1-@Jc C'׏q0+.6ݦIѽ'=(?xʬ6dnt3cڬAeRVE`G6#DmnPp~^)ChE220w[tp|8-7a^]:ڼ0xķ)o{X(O q@YdGG&Z܅ލr)vYtCU%5> Sqi֮лK٢Q ;w1rM;7^p碲xXDĽl];:qzTGɔ}kx*ٌ~(3!ƈȚyG(_ aC~mE!mM"-GpTS }r$َ 6eNc{˔#ӊA&?+6CDǿUX*^=?pGx/7@Qg>h֞Z1dsQc$ ~'<bs[M갓O3q&>++X"㉪Ҍb}oqE e2$ t,.U| )t/+`!s{:SǯiܵO?PߧqͭBA|h>ҙ\6.:y4,fbix%8FXWO`,zuKX Pjt/2^4bEWYP_#HDюڱ(hf5cG`ʌ?Ľ2j޴s;u x<0 I/z*X{YNv{Y$ 3IK2J6m@~Kh3t_n@Ʒ/2 %c=} mS"Z+@՝^*v#R;6j Y֦kgP_gm" _gYZ012dc459da0b8ae14f7c5b67aedbed1d7e4646c4 54abd8c9cb7bde34940ed973a59900cc7d7e836b eac6050eeb850c93f872613724be0d145bffe014 ef686537ecafbc5ea505ac88b1ccbeae6dffe213 f3348a64c921ee590f1cf858e965bb889aa0d40bb9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 87cbc31d29bd9793175d381a3d4eaf3905a4f855