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   `#dd| ]S]HOL-Algebra:threads=6elapsed=29.639cpu=136.440gc=9.720factor=4.607zXZִF! K]ŗXf1-q恈\T,rB I|2C;" FEII핪j*~m5-KPӴՎAtgIUlLg)-sӮ,Ia>0{2҅Z3yGR%-O˺H@l`Y r8à |f7",NF!ЖT*WBjC1H|=悁@F^Mոp"(~BЩaɈ"3xs#i;؎gXw5[i>%lRU7娈j(cu; JL]EH j Ј9ߙ_F% zsόIOt~,<3-r*<x ߇1ku{>JU߮ Mrw&q7]2N/# x%i.X$lϸJѯ&IH|<4PY<T +3}NBJh*_}xҫ.GZ;DZ.B}à92~-$JO!A#*< )[}mS{{-V BDc4CZISQ‚A (% 9zV#x{;t).i%f9%cPxS MXm=8mdgR_v8xvN3$빣銇(cm2yE퇾LOHs fLjE(x&5vڳn r)ԉ|hA 4&}YF硏C͏)ߕu`" ۘO˨Gx)uN$2_0-G#&!XtibcG}?Yd5% /7X9wr 쓷 ^>՛1}%M{WWfJǼ"&l b$ o#OMq<VeSdR*}h?b1?EΥT-g`tW2؆Ί] .FFL)(. Yk['|?lF2vl5P(8%fԧ~(= $%F<7)FďBGi1l{ \QV#D1au@=9 F+hMF&db 5mt ʢgAODrf*ytŗTgYZ7zXZִF! ]ŗXiɟ1`?#DaCu8g%[ׇYMT+.PZ<ئQodhp% .w ҎAs9o&]z 4_xQ`Yh'$l)`TJVñoE3ãX4%1ah@~E<FOIC~uW@]$Be1ط$%榕4F #U ̦aϩ:pq_X[a}g>NV%pkC Yi%>mwSjq$WߵQ %kEXM+e! Wi 8 g%)'pS(Vwp^7f#{Z"lЌ2ꦘzgz0Ka@gn#<2Wg~ T UgYZ7zXZִF!  ]ŗXi%;0hֺ[ 8ՋnI'(ғdXKgŎʣgcI\P*gYt14Yʴ *}I`*RgQȒ"`jx)v=,QuC]cVdzfv)!ZMA4>YE5Gu{&Y@W[6IŊWz8@ 4h<>`[hv&N*.g(Io2yMePZ:1o: v ^NĐt_n/u>_D)"rhyΫjbZ;gqWNuch}@:cft:MUPƇj.3TZCSz[,]YO̼PM]SOCռ5WL#f(VUOUht-Q0VVȍLѶzVJ(Lb D9Њu$` hetoO62y_6}&vI[ƫKq&ʪ:,`DIД;C xJTf(n>rPe^M)=ߦR/Fk%AB%xԋn*Nq0gJU 6C‚p$'=X|[5+s /hX-eQ?>J"䡄NΤ{׊2/\'J~Q _ r0΅)HĹՉXM^ S۠O mm+]9-|b˨ΤfqFfXUy6#T_f:ޭ;!Sц)٪XjdL'le,NMHTΠ_lҲqFMs`D5Ԑ mH!e@M9F ;vM8h7}Ys񍟃g{$2KC;O^ڇgmd|F2$OGq] qtmO E^w^$5Upv;a1d93 SVV>r^+KQG'{{oOVww>M#/_\ @ BB _(ڶ–:>ƀ:6B :$U |:Nq&׼V'un{Lj2C&[y5 \(3LP2'#T cƻhƨr甞 e_1Eq -b~n^ch|;,:deJ$F .$o buS= ڧ"Q\8.ݶ.nـOd AN,4}c#P. |*RNq{y-rW } ~ЍFH tUX0y(?ې\c 3G\* x6ȖZl+UZ^&:Zi5Yѱ| d3*#h%j-V/-2M~i?jHѢ!YU*<Cg{;=P:WcKk@Bb?y|JTE| GӏE BC0W$& $qiL}E JҐM,ǝ9Q#@gz5i@Q󠉇Ƌpωq0aC7LbM*(*b;BTM "j >,ii3<=Ix*lscҵFmȡ:=7a걞rop4r ҷ^a4:48}<3rͲ h_eƼF}\54#pc-Y Ѩf;}.(k!}@XHL\=:Ĺw䒺qkv[WQ^G0sL$[VC^/x*Zzdg)o4gYZ1ffff39d32a16c59ccd9807b5e25d14690e126d57c773fa34a6bc8928e20fca183df288d33e2e574 be7fbf64373ecd23768e48f09055d3bcf2a7c79f c727bee9efe6ff505b36ca42fd9f0df06577f467 98334754143275e4d4bd352f6d9d32ca44202c2dd02cfb70f0fb0ec83e92ee5cef4daec1aee15ba3