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  . 4T ]/]ZF-Induct:threads=6elapsed=3.552cpu=13.348gc=0.644factor=3.767zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N 47p[?w8F8.8$//ݲQ*|d*i2A q{V$ ;sҐ An1YYd]vK 5*FC x)!a`Xapp2? .OxTbvΪsDVJ%ޗ 9gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|Ҳm7Er;Y@ .{:漢7*{ea(A/xHEk{_p^T6lncuGhV%a9:~F\x+sbs-,P7m Y8`NHŻ?uUrG]x j$ grs5R(%^Yꐯ2C)PbyU$evſ}!|*Zh*FYNke8*+R:gYZ7zXZִF! Rd]ŗXi%@`czA#.>ۍCCVYmVmeI"cjUd|hý6JTz4772ᮘ>OD,XAk/ ;nӼ`8լ4TzMNvjz|̔mW$8pf 3&5ީQeuu\h5 H~FI-=>$ E?H ; 2HyAXT| -n }ez6al7]kL׽58Ie#^cN*_@Y4?٤)< r;Deu` ڻ}dMq-z`1Aך%M^u _ NdHh\ΐg&<%>@AЪ'Jp