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 ==@% ,< II Stern_Brocot:threads=2elapsed=32.927cpu=53.256gc=3.440factor=1.627zXZִF! 9]ŗXf1-/6vR[]ׇvb1߁ݶ( Wrśę W^@s;ñ.FyxJ T)7dHabҳpCk[54'`K a+rrd,M1]Hf:#(A(y ٰ߳ %ˀ !{voqQ!ZdOIbH4$C襖2]M+s}Դ\NR`\+\F]S# = ֞3:N=`A \NKAm*'BF4kbYCcmIci^#zͶ:';u[d^-izm]Ng_ݤ*7)>/9E>%N6Yl"'AxJeT=^?t4z޸F1[ׯoN+ka0'9l7y׏d5:VIzl7)e q؅}嬼V)7@ xŐfbwq#:pLO-fo%3a| }|SؙT)hVAVPD?HIP\Jw9HE*2G XXVV_u,)6ܳgPk{J d0 0 +U;ծviLNЪ^H[ ~5Dwd C%˖r'@n8ذ >h1FR1޴d)FE>'{Wb/z gd:>4IR''^'W%On`"?"|3< hD 6/3R*1--%,豠eVPKӱ?CGMQDukk=|=:ˑ,*.¶ލf?N_ y& /ie sɭgYZ7zXZִF! ]ŗXi%sjrtEr#&,;.0yW8 cMr;~{r] ƁUafsӂ.!ؖO>uH]w&5ߓ]̘ |Ӫ(E3w*x콥25ExR;uM6fQ7߾$f>r ҹ!-/GAifߩrxA\aD8u~ZՍepaKNesT}N9-O(;X,CƁq)!E\JSnabhiUxHHc, fiQLTEץh?=pӅ * JʝBҨT*Gdrґ9, '[f y Ŀcq[{ }6!sp>/r -G ikug9٬gvpẕeAM$߲bgɴ\1ҭb3aUOu-gc9x_,%|b=肒)FOtG OUz'3\^Gt2"l(򡼧DCGllȐo}Yg Yn[M^LIF+=m<4ݣ$tozWM+FZО82 }(+CYw.ȭeAn$JV ;7$0c&|$0bۺPztuv|ZX.{"CVl-Dwqklݽѝ`)ū V3XiFlpPϾXO$Y[r6ө|xׇ1N~Xad8.h9.@tN'ڰjNU5nY+Ϣ7YpiAl_xNQ jЦHAb/:CI=yIHN"u Upz!2#_G+0)ًDf|; 9ij-,nO]H$s܁W: ~c̟cdagY|9rnk}It(g $i7A/Š6$*VȖ|GewMqb1KXzE|KK<,k SB,HaZRKhsgS \A"^%"X6d1f>8fGOt6BE锑q%k9{)b3 YWмMeKjm# p(=2iTD Zvqj qe IX6v >.|$t꺋ve4bw-> `ri{u h̢* z;Ej)*ڈ+ [#EOٷC&Q+ʬʌvERH?GsAip%_:b%:{⯇ ׀ 7 % R&u,mpxXx_6K䜽,wMrg"o*U*$Gldh0mb˴1lȬ{ĥK0F$Ü&nN4V//Vψ=-3jc_MejRvصsgӍBGZYlA @r$n)h2B!mpnAeE߷f!FkFA^C5{bHɍ;ǸVP|f AE>Ep>{}[JC%NlIͯK%Y( | f>ɴ&cYJ߈Z{BО{0ͬEܐ^'a2_s* _rB5ο^(E. vggYZ1d674607b47b0e5fddbe94207659c2ad64bba092 9c3bcd73f5772e14e4e0ebdefe08fc56a83e9114 b048c4c894ba192ff4495d01de6dd39d08a420aa c2671cf74f5bf1923a33103584419cbedde498a3 cbcd70e2dff31dd7d23a91a5127d9ab3987ffe00 d419a2f7542de8b3837a1e8dc193b025a1b909b2 edb134994f175a0bc4e2c1336ad67621ac540f1d9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 4392414ee18e21cdf5931c628c2aae793eba06bd 0f920945119846c2bc31e47e56420208d47fb2a6 5927c7c657527836caa20a190f9f719e37ba14eb % Stern_Brocot