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 s 4L ] Trie:threads=4elapsed=23.962cpu=27.964gc=0.944factor=1.177zXZִF! X]ŗXf[&}ynZyI k|KEw^]am܅j?Y(~pX_ G5qaqYeIxa}30PEk})qs֔]SMҠc-89;?v3KN9GETwĹw?9j3ODîM`}Wy3 Ql+Tsz9+*,CRgYZ7zXZִF! |L]ŗXiɟl٢ :}*] M::y6IBmYed. 36Xph}Y}YZ7zXZִF! ]ŗXi%Gf_c[yxWSa6N,:; nq{GJU !_Jz#@6)Aށo6kMmL8|\$tS[wbw׮Pv7A}K ȏ~I ØA&o\ݝ<-O pv~@=aR5Fֈ=v+ɾ(DZ:a/8ߎ/3 45@j-]h=5MxƱ qgV\opJ(b+9jS<;euOdXz;Eӝ#U=aѶ Õ!XO-u<{)]&Y0m\;Av9>t?1fo^#8pE<t;YϘ4UXO?Pɕߴv,uYT:U{p`+N,ю,∬Yא;]$6o6uԍM܉O%aL񘄬P*"#w`"x&mD$e;j'YoPl2twGBqtł;ζokUByi0 n36o*D2X=^mR!M[\@a'SEF.znVN#NCe `42}X5HS^ ⸶u/dϰnv \"@4|#vX~rH UtވEykk1SW T0Sr5q9f(k|sS> %ZHFԂHy\אȁ5|Qn_ Z&Q^[f V°YzoJ^f-RƮ=ǝ@c7?Yb֥dλ, 7P-Xb =g8RC(G:UH_q!\ Tvܳ cnDh \pQ"W{Gx Pbofi aDf.3SkQ+%[FH;y1Mz9liw!C>z펭QVm%lV=JW. Hx V5@CٖAzurpSg`p'oVAr09ޠ uh-/BS 3gw/nNcSE2/R gn Sx̔S^߉4[cut2j񮫟GRg"/W9(^Eny>A#"tY֞bQ,9)IjAm=5֜ Ѓ\7o6,Uj*>%B*[|9PkH<3K\XaݟfyNbA&v܉/FqJ&Zw%U.Ḱ|O+Ow"CBK7 x2vl3"*)ÚgYZ76459be77027c7e5c5f7d764768836621861c9521795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46  Trie