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 b/ Ld ]S]HOL-Number_Theory:threads=6elapsed=61.501cpu=212.516gc=8.840factor=3.467zXZִF!  @]ŗXf1-q恈D='-/w)P5$WD,^D7+ nL͊ [@ 5im o2 Y#^l^2,.CS1WGE2l U%n!ȿP+e+h wzAMcgKg8y}kr@$l R.e|рVp`.k^hXHLt?9֡'=VNШĕwp_iQh[0VwB#&FhJ1ߩjk%7!n:Sn]w~wa@}5 m<'aw Eԑ,dU(7/UxS=d+?@B&0JsNߒanKjž؁] %ѬJ}JxOʋR|҉QNip2=ain: UP8l9OyRe૿٠L\!';:X 0Kk;9 KLx'm(0ۅJ72ĕ|CYIi5 j̗zE2[J'wGCѦJ9w"Vj,/Af%SԞIԾt-?8ťIjVgU_W1HQBt}1\j%KtBE5򁭏P#z/9%W2킻}HK3 uҊ"bio}o)k7c0Z ORD{56è3R6 I4`&5M2Nw)];ǚC/Y258[_>e5̊ϑF o&RpTZ>FrCQMEa0w9l,76cdO77'b$? ni|Rk?8+0MץՔs9:pF;|'H\" V\1o ΋G b2jqm+l>*_6\DkIRʸ8aL$PXn)BLwDl0?? sLMO}K\IMn[WcricSzU,,r3dN^^M>w2…:p.,ĊE7}⺭Ec`!Wu*J ^M"oVaec/(>oAIm؉NŽƬ^|<0V^ sòe5O#I$/<"$J[>;Xn!vu0gA]CV!z҄kwC|Yvl!oEqYX:!(H4F//h|O bw2_5r:jXoDF%gsS'j) vb**-zpcDenT#2Ǵ(R|N&BgsiuB'Yb̳B^ .":,zO6IT?oc[@@/I)p}?}\{=ЮȢO$TW} ^[̾,@ilVuB8_~KlySy=rj Og[Hf[C(N;+" Ԛ^U~]fISq_9n_׫&/YI*V+S5yDƨs"Q)bvmCe͡Ah.*}JJD^a:ʑW/Qԕ+֧Yi<n!,s\af͕D]#1bcYP /uNN 93 aU],ڟKM@I-RY-(B\ϼFgir&`כ΄ aInN@LKlMq;{ }V/kE08}|YdL\}Ŋ=FdKhmf\/S"c>c Fz[VTğJQOK9?6e/y*rMN.*?O4t&9$DOC0pQt\R@:'(, `?"q{LZ7iE˾0\5Y R1]98KM=j@Uy0}F{Xx 5O9+ջ|gYZ7zXZִF! q]]ŗXiɟ1e YSCMqmO2+LR$XMJ k8}a؅>3VPa͇ 5j"۩iԍ}KGz K YA̓ M#)5+fDcCj@T=0IK5fLhSz/.}qֳumd8u.!'4 gFeDTe~rZhy< }`+A֬Àgy]7L.T؄nw[_Q|^XI<˂!hx k0nz[ˎ`T?1V-e\zσrbXv^,~ fzlj^c5RmrK+>$P"xWK,a\JBI&g/eH V34d`W_C8"N-9ڲkmtҏ hc^dʙYñ0ӕd$̅v+oYJ-L Nrd!9䓦b?yqG4gYZ7zXZִF! 0+]ŗXi%6ưKqRyk3o |?j Ensd1?z%1@t5`die΢YE/e {&qsF pでMXa۩눽ԭAoMB5L^]~LJw5xI䏈DSvbRqRUIc3KH=&3H3ʮ;\@P%Y G%? +~g~fVF0W"h90P5E&!Ȑz_'D,SvJ!8Ԛ$eae :8D=ڿvQ'> fY+5c}:˗0j@аhCobН)Ll8M#HE1ds!ȓ}I+ppp)VXFc{.tujhfosvjm'ҩ$ I"M*!hJ߄ }jITZl8ƈݛ.Lk;ٸ&LHtayz٪xZ,qVn+kE.m_r˶Z&(%9,f=?@fu`Y8(ރ0s?_~Dngyhn~iu+ARO3 aF̦3v캖%)Ů~|4tW]r+ׁRڼS>Bfyz5|eqI( or-r9{q*Vn3MFv`EAAm@"u`(sV' Hş~T3?&+.F2V$ O{1}b` !w. o3OTqb>S9Zv sKt[Mp vZ: ZOnO1eg[4-OLnFvJ/1|5 -TkBHT}̡`VT$^!.8.0e;j/:WǕai5Ce Q{klZ O &Rna׵/ݕ 7cs6=Ka~x:`& (*aҕq Z>P|+KuwwǰyR9I"0rz8waPp 麑GWم1זUA:[ Oxc"5;.Uk# k',*<1cts`[R+" 2 W 0%R_C 9\ _ ^_?(K +bj+ȇ TtDӞ%i ܱD 1˄ygٞ{fPY"4clSPQ7xf>p#Qr4)#2ְG6yJ 䄿PzLK<:/9z+>bFOEfˌcu<AkSva[.vE]OvEPKjr⳧͜ӎV2V.ngkm 6=$|;E)og9}BKNy'\1&]Y[[2:'k M.@%bIX/g(UC!p#e. . dk a|3$,D@sw&dO wK<56b3`gX0 Hߘ7;x%H"{)68|XN@? 3fœjxS `L륃yOw$%.lBƾj>֧n!+h A 2MT8OnmQ=,v> lrqN eHab2ǖ3Lj~,C۫4&eiT%83[xe yoOt8ٮ]صjIqN iF A#CGVBXl^@ō+W7gLu6yߵ6Ew!Q3I}% iGo;0H%Ŗj^dȮr샬6&^60ؗ-?\Do0օ'ܵpc$m<{q֝-]ޣRF+, QSiݙ`