SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 |' l, ] Myhill-Nerode:threads=2elapsed=36.038cpu=61.296gc=2.696factor=1.707zXZִF! ]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫ‡A0B3 r2睂#w编Ƙu-GAsjh_y,l2oC/]#H1>3`?pY"kw(Wn^*^VX`G 89rYw ' Myhill-Nerode  ES1r)OƕOH&xppG%~;G0].aQ< BL?iJnkܹq{Õ_uNjv C'㰕>lTWtrl !|Kʁ598_ EfȔGch‰~ 0%u@W,FVV$/6nӁ㴿<fLd3D:/NέӪΚ dqN'x@_<*S.yGUqZF 0R4p}kM= "ѠZbYG Cp|gYZ7zXZִF! |]ŗXi%;C#yT,CzMǟ3,hLQ\h JЁp RqT[_3U>w)EaʿV{ -%,x82KM%N]=y:P '3&)?nA5gG asC'pSSpvŁMO`$[cGSl9 Lkze'OTm+6.LnYM'ԏ/`{(dg$\AlXH,X-Ȃ/*%tۤp4Wq KT6BFᝃ?҈7$3FAx2X.N-`%0x&{P%xRmY|r@µc}5 ;u8ӌc5Z EtUe sJ\H7~U3çY백/'X/łyreJxO4渿Z i%oBaBG(=U-яGz3TǕeImh?cf\*w0 &Leԓx2\blZH0ndx.qmN;/S=ZʱyD>31ia86K="HT%d03*1MCNJјw{3Ko4AS v9=?0_[?DGB.$(ƞa*xkT|e>a%,J]JM ,ԗ߾r7Nh_W[Q߮wrRO+D{0B?U=硆e~ѵU[p-Z䠺( J:^O4]Š Ş<gHL74̙4\6t1g:#z.ae?18sE-H~P#ؘ2B)-MB+9Q"ntA RϏsq\jjӤ݁`Q@btj |?MWsHeK$w~a .|&uCc$p ZQ27s.iha*{{l|%> ǵ;H 8m!UaM8zAǓSbhɒ7"s5XL6\zż eAE/MGQ#F?x;Z/<嘍#l7Zyaea 7 l] +ڰxR^xGRcmi|3>Ǔ1Gg&|^ӔQId:o<1|$G2Gv8 v'PZy? A.#HH 7~›%0Z1gjg&A>IC :쟢IX#LOjL:ؐx"ˁlV@Fzm@2zV<-~(zhhBS+{3(ο ”MD 0@6ֲ-{|${k`6J!b,78#gߧ<&7x{8lT/͠ G;!voǐ`t>3ƘX)ϻIFIw@9#nuŌA@#7ƥ+^sB^ҩ!|piӤ;t*"uc,ZbG@EӧThPܓ,]C3ٍ!JqAɐM Ո̲S譼a~Q]z+lr5=a0y' j15-~ n"7y;Mv"Tdj0)vМTsoDЫerGԣZ+jN͹/߱jJb*[f1R$xҭ֯IpRV!1`H҇E[\|\C߳^ro \eA$3#`]-l4NYKS S2Nb@㖩S~