SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  |!DDt ]S]Containers:threads=2elapsed=94.207cpu=176.576gc=11.292factor=1.877zXZִF! Rf]ŗXf1-/6vRZy蔴I@B_J?< Xk+CG߇V;- J$H^|MRNws<ϭ,b-? m6OaG1w5HS U2;kف uU-?*}C[nj+fԌ”NsHSt:]{92 Ds1G*[TT  ! Containers/{`lF:':!hY̔C}rWe]Mӽ^)``b''{-LJhm {ky t| ԣ*iAC-/- 泩bZB_|a}&6b R'1nl WX٠OaqN0P] YdVP+(1xv!\#Jqiț)yB`75d=d^(ڐkAaiN53t ~Mx/mO rf T:'Ryf6|i( ̾do_!6x:P)/f~6ZRgmEpZj ϢNIb7kL׼]Y,ٵa nۏWPhK+)ї9p QIٗ)8f[ԦAT+"G(LB*=Wy8L6YدDžqP@Čid4if5oe RЩ-yzϛxŁ RX>R.xqZm wa|kD]@lwnT0I(e|U ).׈2gYZ7zXZִF! ]ŗXiɟט+-ǺژO O72[2ys.+%nO:}]֍CltZ V)=ӕww"^k6tNOiVy^l>s;jD\"Ԏ`} y7O 0v=梜d<(5e2IIʒ-"!Ą n;Jok3wy졢GWQqA<{<~-B!Z^(ÓPv붍&UenJJ<GQW)^b3yO\۷@=1Zd;XepD(:Pt:Ön/ fHRu6[mo:Q ۂ&m G;=nxj1(;/^:gYZ7zXZִF! &r]ŗXi%92,q{A 8x)ቋܺ/>K|Cw|N&<{bgVGᘌuMQ-luK(I.o9&l1n~Km(Lj7\|J}eN~ H/iBVo̹d1 KIiMl5ٓ؅n,|su4 ]gƦ0nEbo^rHaک0ѫԓ0krÉ۲ 1SS_|+Ϯ4w&WA&=b1c17:F =y$6P5T_(G̒V†0uU(bZ93'{ZZ3~h팙HSiۆDb1$ x'P@}}pLy_XA45[!A.TtaN2o؄} Q|l6$fv dT 8ugW@hj[4N?D#1ZXw oV@Q3k==(I,c #$.Eb)K5صaW~UXff" {ZSIoT0{mIf|PV-0N֋2wFa̯Xqk~W+x8 n?fS6s o5%3ݜ]^Otak4C0]]ߗUy>fZE0,~&oxV;<\Q$q,Cn F\qVS;b`$^;Z;(r枵aҞ;|3T9+a<#}gT3ha-/=N$(Hڲ&Y\CD4R0OB良EP_@;soa$^^c 5uJ>58[=D0Crp.Zͬ>n+Kչ`c_2Q^oh >ٿ9SL![*U-c{zHޠLC@+Y9x!u]3{si5ۦ%p~+dPXS`gD f/ Fy9&E Zc؜,d, f`؃/M$ L_n֫S@{ow|x oV<$Ǥ,}߾W;Ɲ]`v829Й`- ׄX 2&0U{S& ǷuKA=93/pP|D{^Y (_6.9bܪM6'ͩ=Uxsʎ0K?1Q/a!@D|&  ΀ U 85Cfђ'Us+9d擄a]csؠ%dFbE]wv뢟"eQDzVg"xd!?VN _^*xp~DZ (Ua/+M{Skřx,KQaq_<RtVٞmfw_Y,H>@* 'zE(շR`@x+; H) P'Ffp3$J#i= b%Ļ#4uM"<9 %`|mYq ~#S< Z9ى`5jM[g*2w}˟v4dŸr{.jHn58)ԌOsaE;+cͱ8bSNB!o3Q7TnaF^@dA$P2d}9 1q1[mSCJ ¬J}YŪlѶu_Vq {6ԶsPwT&ǹ僆YUMo1Aߛn$hc$)[E },MVX35Vk_tkd{aA+-鐲!lSE"]ly2^mCXOLTXfdH4XI)_ݐp8J e#t(2R>i/$W <b!&OE-2KSg%X.'yķd ï| J*"|ʧ7ܳכJڐPVv!5/=P˨yok8JU?[gx3~暶}B2=\p΍޺ﲛ@2#kŸ˓aQ FhL gްrY+MeK{&|̸uK `̩.m&ԍ6l䗧 }7I.gv7%<\ ~9|2%Kmzd5N1_JP|%>pRg{c@EhqJ_P#Lұ} jh#vJ'گzצ*bI2gWVptU_ܖNɃSh;*m1ҝrQ*ʺqoS+{ʰ`G:2f.E%rDz'r *'HvXwu:ZWh#eE4]_듳 U/ǔ~i['e :jy d8p^ϣ;+ )M*&#MQ Lq1ƆxvOrc=}"澲jQrM7q[􂳐Q샋8Gx۫D*Nii=!0e">c4=,yuUt~Ay{nь^puT \̉xE/;nciN`1ozlK)m6x.Be3py~%2 yZ í]ٌdɣ<U6 Rlw啝5 9+DjW~l g" # %NȡMGN ?pY ~2 w."̼=yB]lUeT-Fw7G_7\MqJ SƧL% tbEE&u80 +NtL.zWG|cU=2&TuS 1kPp3tiҨ̓&vkZMSg䰨Lz Vto/7a5Үpi+6VqO[mxvnU wh#TZ:7 F;Z[QM+Aٙ/ &ua͑]uTUb9:n&uD%zm\,؅  !b{1j*xK"ʓU06d3y4_3 R׽ ϮVl9C]gQ$s'¥[7$@*dAPH)h+MPJT++}i3{ \mH)X@#Fޕ 8rT" Qt%_NC[`yHl"mL'MCe2 S#emsI؝. y h m_D)bj ^܍r=m(*A< m)`SwJjwoR5@:00>aƂߝw7vZAyfRpvvB^rj׷8E)Gnu13 -``oAȷ|]zDuF߸ۺ4?}ScG > j!J$5(zX~Vnqzp>_g!&rۋ`z⢳| J۩7l.l 1gY@[= ;IOjC7Ԧ"(}EYZ<178ˢKn҆xM򳛯 D8:Ïf:U˴%Z<15K2 /h#چTRT">mwGs`x}sJ_#֝CGΰ5|$TreRUe^]d,bJm ~F