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  _ _- 4| m HOL-SET_Protocol:threads=6elapsed=24.810cpu=99.928gc=2.472factor=4.037zXZִF! u]ŗXf1-q恈%vA?'GAq,$L;׺N'nH`dzAFp{Yz;v.cÈb$8w8#^cbfbR݂?>M;^8HgckE6YڤMU>$NΩ2nAߊTfv7m1 \p 8W~c/1ȩS6 Е:J-CQ$uөΕ?gV5 9߁xF>i _pN|'Wsk'O.AQj_]6t7cF]_M m57_֊?uT+8 v&͢!Mc=`௝xǎd BU:tCWy~\%r9VCzR J>,`.]YT+qNp@F7W%Ilhiܘ#yWzB]Y.KTi M& `EYjmj7+P R:)ξ;$a%bjNPh`??~@ZmS?.3D$ؕeW[mQj}˿~Tpk$ãk~!"Vhd1"aN49 dߒDQPv|(S0T4ưw?zJUWUo5 iJJ3jn58ˬP(#66]ū7 #5ma6p*WMxPC+Kʝ=oNI,Jo31i`7&Q{ˢ'C?[޺üvT;I `bKO&PDe#2z B\!wu63έ"iFD^&{m\' WPTuMN9DH7?/%뉼P(?<.S3!sCA\֮K'W<o8ZT +kcsj 7_SGnwLjo'\ŲM `7SSp .En tT;>b ?v!{__%xO9n5I/ Y2O/;ehFf䵅ta:a## k?$W8!$LZ{Y7P@]#bX(sDB0Sq욽NF?!+ lOC8B">AU})f.?ͪ^L")7C[ehk!ovH~\5J>_]!.tG(B\z;  206j؋̈cR\AɤvLW^) HiQƄex5k71'yG 2!3T#vi*m2,bVF\ MS\rsa+Vy,P6QwA)<=g&3肋bW!;c8T0H58?ÒnЪcJ=xBK=H3Nc.PY(αzWW[!@D/A(^ޕ׵ogt^T/HPq>'D:R}O+UusiQ [Ϲᠾ!E1tIyG~Cca֔.xl-~wGpBJ5D꿞l?i;`]{_8 ([ xaI:CZGbiqSd2sZަ6qg|yWK/UOێ8 8?s2*4K΁o ˀV@[vU ԅ/^j+>56gٞӑHKds2jml _.OĬ74 x_Tw>P `Xk )ՖB`^Gn^?X9//>{7{).76m^Zh{M i'ƌtyDCuKeGrj!*S MG@æUUod.e\:gYZ7zXZִF! v"]ŗXi%!T4UiW"#aC%Q1异D="f0/gY(ȥ֊eƽL:i*\JJ-]5v4JػFyDgXɫ!B@Ndk*MEkh깠D]U4lͯP.lG(ȚÅ2; M4V)or&S1cȽH]VSK{?.~d2;bRfr"Aמ:n$\`VYi/SVSid FE1 h\!+u;uљC  YeF"mbC\j >*sT h}EqQ/ 0kdVI%urpp fi&CX2Bulk8ge"ӄ s24A f|C )1.}۵J`N\HǸ >fn;0qf]lis>} @Ks.t_AtT?>yb( w qwZ.j?:$.ihKG’r5p^%=ޣLgn ˒"*:׶Y^ɇ|Af`kT἞Py5Qoā[)!Ή;=!a*reo&E7G^b(;) 3[.mXKZ{G Dz3^ASh8=D[_' ggӥ1Ajݗ\trYË́% 3 zkSY)S0dڹEgķp w*.)b12%qdH iN@d̀z"xgmp:+"MR&4?X/c n-SP96f.k4'zd$=rJa-%VrٖvnGfݥW>vV` 6~^/4 {8ɘ7 >R m( uB&Wn{.fOI\t\>^!HfMlN BBwr0ș[d.ix[/$1^¦K{ZgS6/һے+36`Q 8QN9 ,n&K^$\&/bf/;ߜsLq_wǠtuy2!SF?==cXW"WDl)L9Hdgn3yE2p~~!c$Lw82pI8*#%]K%KX晪; JrfBo?5aZ )JTX2۔jCs;YOwsg}te'r)`Ș(L4vۈ39w{-"}QH/<A;2+!=B 4@>g{k)鸊Җ M9I5LR9 [}}Qb?f߹4AѢ9@ JBpvl;$8PoY^_N~mTJȲ4$mcƤ5ka b%hFd~1܋*Vp3գ`Zjh˭7!.Ct)ԗM%;nԥ <ywr['BkݡP?a?Bl'}rHل||~o3<*( <$z