SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  { 4|$ ]S HOLCF-ex:threads=4elapsed=3.161cpu=11.100gc=0.284factor=3.517zXZִF! z]ŗXf1-qNePwb]m;w툓f`9'mjs# J" \y ۺ=xs4U!{УL8HD6Rp':~EEpֈ}"RC@Ŝ{}%9o=>-{׽7T~ |="L^PnFyi5gfA l:JjۗZbƋ2ї.zEBd19&}\?>̻#ݙʗF7pT+gYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4QjǦ[g^mZАAQ_g?{']Z`a< "3vOW'W0AC*jF ^f!xҪn$} ]h5#L> fOWt"'ͮ&dUi@MZo> >Lm%[%D+}D -*ah$qhyҗRw|;ЛrI4MڦImF{sMi7RogYZ7zXZִF! ;]ŗXi%G=r"eTze:op+^*+O),p{ Jv˔=9qkH^ /{&ȮQNL_?g"_Qqa`S:`A'նbwaAt9X[ٛ_@""Ww.BQpu96Mrl[f$8ǫòU>0ޔ%6*n@6ׅ҄ B/%U%Utas= ;GNQI,_lW&7I#3rzR!.S7WXja+ \#vxUV]6P?7*uԜ?&맔Y0pEaַ^"ˌ_=8Ң^EFu0%qWٔ