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 {5 $| ]S Lam-ml-Normalization:threads=4elapsed=9.184cpu=17.992gc=0.724factor=1.967zXZִF! rE]ŗXf[& n>x렏☢1DM<=C߰U`d pEܘw"LZBgI4og5=2 C+ C]aLNՎ\ %b 7|+vuC/߻9#U˴>qX(x ym^H5(k$DW6@u=-)F*?oSRjˠhIkF10WKD1]zgaF*uw;Y`2L>qS;gYZ7zXZִF! P::name=Lam-ml-Normalization.Lam_mlelapsed=7.949cpu=14.780gc=0.548׌`X\iQՈ}YZ7zXZִF! >a]ŗXi%B4,0W1y iRH\{yN/G xW-,$se77'Ks#FJ ukITŜN+[r# 頮G, 1OɥL*{.3"-CMz(Ȧ@6kh": `ΆUC!86#A1z{!ht5=T%% uxX|_F+N-^#>2de]iq>ک@lYYA ~Lu]JuTnmqr O)29N(U Jӡ臉hdӆY~5-j< iSd+)L\l|>^mxjs^&@=g