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 k5 |$| ]S Lam-ml-Normalization:threads=2elapsed=9.767cpu=15.240gc=0.744factor=1.567zXZִF! 5]ŗXf[& n>x렏☢1DM<=C߰U`d pEܘw"LZD\IAaYB3AªvҘ#Q|U/猛V"8 ' {e~b͖2P̞a'L$Sw9`@zr:1<8vdClDkdч:5*f9^)uI;Rn1esn)+J}cGT̆NhX-Arj(*o<*ݝCzvkUKrVwo­mVf ugYZ7zXZִF! P::name=Lam-ml-Normalization.Lam_mlelapsed=7.509cpu=11.672gc=0.568Q&iQՈ}YZ7zXZִF! >d]ŗXi%>g[4Ƭ|N jM*ћU'в=_OS<< HI(9| Vߐ.Cp[OuXTH]x]A=}3릷|g}?ysAOQIn*y&S*ĭ}K0֒;FFvGqȟ/cC!ϜnP]Q`үGh{G<!>V,6T? VZ8M=&qPKONH^GC42hhO4Jnz[43ޙ R%;։h_$ Vu{H'&HIg${<2yDr)W/O{Ki^4\+4lϾYTڋȖM0GnrbF%wG5=SJ .rAޡ U퀁v{Kl)=*y'ZY ]ZJ4JqtEҊjUg=MqP\5sU8i 295ǀu<"s<%_:m_ƫ>-e:1'[fP&`f "upҾM5ж=F"czq/˿@ Jn.|mA%PDio ͓Tc-lnqndީ{-Bc> MvW|vUJ@H)DC6lPxL+|f~6'Xk4e*4\R=[R̔5~U68W[׷wTJ0ߥ*(cb4n= i/=Yxn@y|