SQLite format 3@ .;  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 x/ $D$ ] POPLmark-deBruijn:threads=4elapsed=16.685cpu=54.008gc=2.860factor=3.247zXZִF! ]ŗXf[&J3MRag)-C Xʉc'~ W1w PA Noy&n4.Ét"{2%3U:zɏҾ `0jT. ?&p2iEP*bh7a^!vOT;յh(~$by:X jiy]w5)1 nX !C9wqegџ❒ھ|qrءohbz Qhgp9m*kpj |+;`qweلϙ0#X^M\#aǒg9n$Wc^>uN%"Jad RP[;SrKn2 |rre7Fћ""E.^p^FD&1 DA8w@6;M4%F*_-yӘ 4^(5&eb`f˟(D\ :P]NFmb{_)I2v+[edtq]km cPbu$HMmtVd );>-7ݴ>zF#9>Mj}P6/6ZqцP Dvm#ʤ^ yz^gylsoaD<Ԉ7Ne _?zGP>toK?@޹1l9bE9+ssbFm~f;%GGg7_>=EjIAw/ >VT#]MR{J1TE N{q&R!{*yUgP>*dDCFkn֛|`mnar!8[7Axig[VW(`OP>%H~ۡksӲDK=]yinz:ד>bZiW^[Ĵ-V2]':Ⱥ $\|muV@|ʂApD7,OjR 3_G%P SK«!vzWR=# 9,=g}b\Q-a4!~w}Yp9ū($g_VX)rť<&6Nq³[˽m޷Ñ#TIN&Kُ9(˺zYf }3I GVU#(@iXظS[̡rq{$F[а eB3nC#Y Iv!6uP 'n<5riE؆(U1U #BCK [Wfd0#4iQkZ"o+-{bϸX٤R- 3,5>&^nS[7(v).̆^Aь4~~Һ` uB;qVs`3!7lYAmyZK@{AֶZR_׭.2*:}7f|ɖZAr;wQm8\x ?Q?2¿Ks EŐ8_:*ZHu,A/61>ҋ֘ACۅqOn+}p0+pm%:$3gYZd3e058e6386e1ce0347f7e3affd3cdca8464af8bd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b / POPLmark-deBruijn