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  1 1@)rAolSQ@qEoG;`g<, X#Ac"ڻEVړ@)nܦv_ڏ-+dvO ɃmOJٛ7ښFԆct-Ɍ/ճAgL4(22q n \_>\S o6dkFk b*$V18S6{czvk̭kZ?8H`jII40Lf'u wP.b"^2kSjoO'{9-~js'k:tCYCHr(y^0O>pL$5@\ _,','`#r0XOi?CZ<2'T KWN ɰVТY#,XOrKRe!Z ~]L/ZTCcK:9O٪ZH7KA%5(X/X_9i;67nFÕŒljX>w \VY+ #N@pd'M\!y&ZNy^՗l+,=>((HP7Kүp`\K%nC+nZaaD!]rHW @5[~RӒF7v S VoK"f_NpSṉLJը`h`f̻}4BB3#R'VO^'ؼB(5Y/ H 0},'3.Z9j^Z濨{Ruf 7*P%Xi~\ڄ(&li8\Ğ爠UGqe+c_4ahݺl3\e%\^b<7iN{:Zdr(/ӶyXUY'e mE Lj:1?|ڿkȞ͔Ա,X7urI!@c .]g$Q(귬TRRR+ue(EXj{Xm|[_М{K7Ae$AՉ/##9YcjхqL$'RKg%I f>IW]8kgYZ7zXZִF! +J]ŗXi%6Ț~.K4 Zږ}eͅyXJUs"*6o.) ˒dăv}]l=Iݣiϡ AƩǑkh;n 8_(C6'/Y9YC"nWuG&\n\ ku$GR@$ҋL$ӹ NyޟZ ̂O8{ ?3}͛05iwDa=#K oIxJSZaw*rU:9c2*RsJbӿ=G+8g,)]UJǞtnZǥ=A޸J?#DƜLd[LpLxx"ͯ~ӂ R: jN'Wb^:/xF†pX ,]qVaGm ώ۲՛pգ\^IndተITt@~`]M؇㩒_ .Hv,!ZE_>Y$ ꊋf[1Q~[^}eG;(%-uλ i5vܮ"4VaҲpO5~goˮH#cF"MPWN}Ʃ[OSW {YLJ[gVt21-p$'_ hs \?E6H:+5Һ\ώ jo;qjږR84:Eq+˾J';f80MjK4`I`'Jʄa'> 'ZJc ˲ Ng!Mdq8q! < =M#fhqD7S%&Pac&Ɨl8{zT:JKwe|nƉpEb6nRPF6v֖'\D݇w-ްHX$`4!`.n5Lh;Bֺv5"YK}Uԋɋs5=3*ipf~Q;ͪf6*8! \W5jD5 A5 l2"$.\CD8gMG7/Ј 'R sۛky4 clD4+иr(;^m:[;K NT=HwZR)ƜF66$b2VOAn+/=7Zv5r7yoНwz_@ȷ;jV׋#ǜik\FED͖XzZg㶕!)rCVhu2[< -%!gaAMs6 k'*p8ƶBNBp%!ɉ: dnuޥ +$qE̸޼?JqCC}].iG$ L EkLM,-3.IhA Af]WEgKw / C3sܠ*[r͕-g /\%TMOX5G碂ɪ5CEÃٕ9V&mc]*/-XDHҥ u\kWquE}E-_o BS[ho|Si5G^Sa`}WÍΰdVv&[-^\v뚋hSa0-F{5v8+#p&Pt׉ETQ­]AS:^S?:"=y (, Vcn ᙷu|fKTf)h&x0)Kqɷ ]Ð/b\ꄺV7nϒTd뷞<MMg#Rф7/ڱrIx,b׉+{'9hP#;) Bj풼f5_NdaA][RVa&o4Mb7qu8Ϲ`tBkN6swlrG_#-VT~rR}*ͯs'rKF iP)5W+=1E)㜿0~mI.JmvC5;CMEhcd?fiALdA8E3(4_O:9A! _l!e( $OrS8ӊ ' "j^!/5.P \5p[TyNunO=3}mNHT{sUWI:?hw~lM:%/?sDP7G&9mw37se vEiFցT6M}sx–bjb.NAT!Poқ >x$lDߖCȓQ,"EtUXcY\}3ѕU3c\4Ӧ&Yc%j0nGfy_2`698ڕ?kHPu tBW5$[E݉ gU# 7q,]7nN>>) ]^'s=w}"]{/gE|e*d3""xvsIɔYW ŝmTZ;QD"ȞK,MCCOo6f4[<[z vDZzy5#bfmpݡu^f}#?y'W>r]X`h t'[_%q}藋rF?P&6?cgf'dD. Z᲌<ڷd!-lŅ/,s/g*0 D_ozM) *2TXۋt$LMild:Y'Z][&(=3hv1d?]S /v㫝Fd_cgMk $u멘XaPd͕QDx|]u0&nT*G/-vARK4 xN(4m87~JB;hD3@ZH @e\k_qBAM%  jZ _#X$LYL|%ܮ˪@a<90kq{|m.{H!1+V>E$8̯)]|cʯ6pʋ<,5Xa&4J,bJvT;K /آ1`g )vn"LBGtB ϝYtÅZ!8.K YvYT &L{$.O!L^\ A }ضBNKJcurC@c˖ԥ}-QA{wcHT:Z;\x2ÐܮFlPP;DHӴ 1rAp=Ly`wd!e/޲7sܿDc"ºJcia| ᧭,!>c͑V&= JU]Tl56jWG3 ^L3脚^A:ķ` !ITh(5p%N&ͷٮh#͒I XvabK5 I\B&~2*49jeO3|/DLJK|0vu|3fRA 7--t5oGG+dtl╓>dL> Uӫ$wOU!AL\kz ƛ|KXƿݧ)RAmUaӕ[ǗItV(=x꺑8Z+̩3A~{"B&Dɻn؉l{̊J* ٝ2;qnUQ+{q pr] v_*oIR+&T0֕i`avs)X$ K3ߗc* tϽXMtD&^G8]5Q*;qÚeBPsڤF0=5=LdlM $osa[L େY&wT-~jͣ4B=ԔȬYMh@׶~PQ8?p|b". D!K Eȇ.g[ t5?>ݐg=\x$#zYՍãb:;%\ _Y= y9JH%F%^GtwF-A:tsP