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 ^ \d ]]]ZF:threads=6elapsed=11.876cpu=45.316gc=2.396factor=3.827zXZִF! =e]ŗXf1-) enȈA [bYo;E*&úYzKJ6:l;ЎQ\t0dvv>‡5YBjnKAʌ4TĎD(~Y.Y!m2TRKYrp>= ڍGC:XpC|rR*@'/ =[9Brʁ$|:$ U9ؗG?N0(eRM^\'sas'l˾MKPK`R8.#5eAQ^ x>0UWUR;3gYZ7zXZִF! CE>]ŗXi%LXMoZnuaX U| / eS=U[ǎ )Rj͟O6ogujYe.We!M9;˨e&ܔe?xF1lZ넸TBimȹI 5`ksT/@.߫<$tbh D'ʣ%gg|5g?k%/^ >DN=2A:=t7NR,v\ j%9+E#:ҭ__d1vꂴcDnƨ>/h2e48 d-d3h]0OB1Zɧ ,?LJ߂Uzik%75O2C<݃ixQI"m" T.>>%u9dvW΍ΓxV6Qwhs-jr3B9T=7 1M-j,a>+`b;[#~moǺ\da{꧂$9/¬-Q"H[@Ŷ+?H/될du13#!:Hq*=[ jbN$<, zQ:qZ+Н6j*82 F;kj- w]3ۑ4/v4v\bM_)YCw@8'VqTxF"gjr|F;Q($ҿȾ<\7텙ANBv3F`{\˧h 8S:Ew)OнGknnvTB±a*MxK;-WE0L1q5(5׆ͲJ&gZj+Ü&H 3+Te-S o$\_ym=NNREŇkǥ'%a]bSf>E#( m LI9 'A5P2jBуtRl̫yg96Sd'|fYp-xD-?]ػT$] /B]8hEy\ͱf4,W+=T0PAΓJ<#DLD ?]x@5ʣfܱQ, Ɔ<gYZa6b70c15462fba7222fd9ea1be9bbb89bcb3983e965db9a9fb2cc4fdb5e5b9afd24f7a9ca9aaf9786d6a43c82a8c6b281e85e225e177a82b2434069b  ZF