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 ==@ \ ]/ Menger:threads=2elapsed=10.357cpu=18.648gc=0.580factor=1.807zXZִF! M]ŗXf1-/6vR[Ɛpze-&+9,ٟ8cv4LW2\ϡ:aMLgE+9f >Q۝N^RoрЗhG [7}X G쨍4P `]s-+0>7+P+?ltZ8|ۻlOt쨄|.Ncp>2X݀GuW0 9os0Ф%ZcgYZ7zXZִF! 3]ŗXiɟ{A]R90⿈W^q'O2UYKKB?ℸ!SH!o ?tOݚzyX=%vΧ=&ACW(R ON>R!Ld<omذ>@tW2>1tAz";7&jM6g#CgYZ7zXZִF! Ee]ŗXi%>gϒO aUJr0ozK;/_>bZۤHYRL J+1AX$ MT hX?q]~']֪kU}^F6߃pŵA֜we Z/~Pk {>̩^m /9?WhU-S5U r(1 zW#AK.4/L˰9jA\5T50([I*FۏInGIJ*,t}-J鯒 <;-I#Nݣ:+N-A|sȪFOND*<4k1^eppp.y\d+f~Ɓ8l$ly$m)upQU߶0NTj0~cu lη%pl'INF 쮱ۅI nlK洏F^Al|JcXd:yBhAj1މ~8!M=xe: $.'O!\ߘZh)pg3I+&{E)`RQÆ2Y/غ06fJ`E~~,^m @|)*TY~$K}HdPVg6*iQkr}JOu+Ǽ#(,kEk*d-$w`*a{M }C)dMOžC,+*Rz!)%|O 0 8Uj Oe`(iFdb+EXX3 RAs_c쩙G5yBVRҵޙ ݋;gYZf552a6dd2a77745d809e303e5b716306243d431ba70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8   Menger