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  !# |  ]]HOL-Nominal:threads=6elapsed=7.385cpu=14.704gc=0.736factor=1.997zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯jPN<*~ CsH? d7/qfM,Tm*~V91mkP@`pēU1d`ddns3}_@ߏ#(OZ.b:#ҖmՐ]c%tKF퟽נn_5R [2<[Ttd?8y"K,Ne e QgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ Lw @~Fgngzk斃W`  8;`I'{J}YZ7zXZִF! %|]ŗXi%;,5sֻ2<Lrx9wWn~ Jc6u3 |YKFVH< q ٵS1a|u3y[ LkIJjs58 [9~"6o`Ec~Ұ b<(6r8(IA] ޑ\$gۻ{id=DMe]k ]a)Y.5RXH(qԢkb8(/BLQ,q$UL"[Ӏ$SpM}T2 3իKͽhk_ s4CdBheMTz&K0bRLOO ?]GV$̡,pHI)y.{}j4JK0zTV#\pvOS+/00NbZxx<M",MFqb6r b Is]WBh|lJoeWz'Eȕ.زGĚH%W@٘}cpv^Xʡ+~kU EEZae=%\ݾ. ϱ/韔Y#e6ev;?|z\kJ p'G&+\8DGljVVrVH u;`ic䞘/I 4Z{8# %^-e (7QA~L9 2AҒ;04|\>yJ"xbgYZf4760ca36c76f2e8ff2959c7aa826f4e9c5c095eb5db32649db89f76b1ce56237e676f898e9d50b5 5cc5613503d28c7360624d52aa81851a5e1c5a80 de400e153e6db4bb3c973029c7aee5edccc349354a2b7ab87b58184b7826a3ac71c25468983c6bf2 # HOL-Nominal