SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ;$P ˴Q!Ҳ L[l|e \F{ځu95$m&eu;f.I8D`nZ\_o.\Gr'݀wxW"U;B]UVid»~,nT`i˲Ot40Q.,mDL=+j"܍n4mY4?Eo༺x3=ٚ@JGF9䊄^KsOϫβIOX+~чܸ;XoOy#B!]igd+}̓F1%Ѳ1~>TcϝAc $&ZVgD%c42kcH}زD[Vm!W{jF,1_̳pS;0N3@XRYa!; kks6W7H*VA?2FDoeV*-biޜFMc;b+ 2ڗhOI Qj4Um{6pa62WZKTR4h3x-˘4H vCa` y44GVTSm}59ȶ`j$`ثf7OtڧEF1/8XM:0-Uh4~h0n"9MiM) ܩ$AɤSURk)hd>whɚ-Ѯ/:8'hTXM@BYj8 7G&6~/ 8= =Vj'l`4lt9̎Au7S2h>n of\56tDb/_)G^O-1vH<g4F%?_IPv,SDL1YHi]] u|.\zmJVxgf9 $|Ïl MK22#tGe&0 XtX]ps~]ҧ'lT5۵Ų{9>&z j!x~FfӣوUO<{XSveTJdw%}{&※gkg\Nu3qLNMF{R(N]?  ^PÞ#O'CH5j,=6WSF/:.<۬G#d8h4πN{Wm&Wْ*KJuCZf^;\Cfn[vZleOTWoJ*M5U,eHui6!U_pͺrjv35fb(ae3Aei 'Ye(hUle?;zgКhf q&Hm<E~*mZέn[fHJ~">@cӋ_q dƍ}hl]$~Ţ")od~zEjza 1ssഏoz&y5(DmZu&A;On Vpv!}ܶfCm)a[nTQ*_K5d2hoo\-$jߵ[T &\2#OohkLݔ׹c5SYӐd)qȳc Ӓ48F %A LXp4Pm[q^Ԉ(zU ~t1A@Ro돽8%F{5/n/ =ګV7LCX^D<6Gif5)Y*Z,,v/ywC'!/N $#9*Ӌ*=Mp=~;\j.1۞G|OPgvhi*s+DHdgspkV@ErռvEdEÎΠ#IxcY?\+P n =C|p = |"2mOvDWuA:]^4W*B83ւ/5)yFT6ƸĎ_RcK3fqU+ܴ3)̖g(s`qx^E^t[+,z>)x{ ]D)T/^q%tHQ䞖17%X dd:f!~CjCqNމx]bꤧVq#\#ed %(>BdZ" 4{-B6$SA7Fָ bP2*m!>s z+ދMLK8~>W5V&֕v @ {GfzXA(ɡ+0)趋aQFgJץZ𚫱A (K$f\"ڮa;gl1 C_n.;KΙJ%ʒY5JŭCc1xVfQ+_ DN6@僱 v#\޿G]gdZ"vYV޿r7cxI"jS4I;Á,.951gp v$YboԞJc&3C1`t.V1m 1sTh1 V{gq ?]zN;*(Orml'`"1kC//뀮!n(ޝ:J6DFj*.<2j(#}NB|t 愧`߱MYM+獐^^=p{rEb9hPK! _S슠b+Akw7k(^dz\% 1ꕼ wnhUiOJK/yp!Ee=?oVY@%OқjbA|<\i:Y~/7"Od l ,+ÉuF^UaV5p 8y9kd:ů~}8iH ˁIw@n.1+:A*hnDvV)y{ߟ746h{2*RѧIƬ׾e)NW~ s5)rP6 T:w}y{DzgyR2$ -~dG,ԝ)ba .k8)MB+Aaws%3Z1R٨KM} P۳cbY}3^=%]PdXNx:wU (7/eX%ziUz0+^DC^ײat23P@#ߕ܁1|1a2T)Ö"[a?R]SVlߗ=(훵RX8J#GKrCk/aN6H]eSįA蚮J"Ab2}5hOY gV->0; md:{>o1N,mڮԧL3/o*Y x:]ol{_83/la#| N͌Rsy ъ/3MOKp'Zl=|ѵR3/B@ϢRuuM2{@Ę++ZASЕd{}Pѩno9ixޫn$r6h 7BV Tv j.ٻnE?M(#`UCs=v'-ei%4#O֧p o(?$T8pG(U_Ebt@IuK1 2- A:w;<' vcjJA=Z]6ΘCiEQSj0C:^#ן o\WSg[ -- r+(~t