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 K <,d ]/]HOLCF:threads=6elapsed=12.641cpu=40.476gc=2.688factor=3.207zXZִF! A]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0TtR3vs#bLC;pqM!h0dL Je|L/ƥu[t7jo_kr R6s`B<lR֘EMG>.}HX[]yuJDr ^h!eRw>fif@Ũ CS]$`q~j4(Э(Aq3U(}ї9D8|%ry C˙u:ښhbM,P%n)9-S'x3 ֈ6<禂}My(&lIi$<;X"Vފd#,zg$AKgYZ7zXZִF! N]ŗXiɟ>Ӈɇ9S2]hq dik-v,"4cMSKTEqII)ˡRX͙.D}6dA59#:a`p[%M/+a[S m+͛C'(AmD]a'wG.s8tI*"c${CY>+hH)~ĸ@y5bַ߲m uIؑGKh͌:MXK<2ϏwOŚ=:9*(P“ gwmL8ɬZoT<|"0E.8:q;€[i:3ؼD2OMx%6x4~wq/SOO/N!C^ у+Es ϳٮ_b>sƺod:ssme]Z;*<2ef{*mXBXn])]m=fd'jPr4]>86vv6SxGS~m`o}?#NW7}<9:qu1+gYZ7zXZִF! F]ŗXi%GV;wex19*3Q?Lڎ9V2vƦ"(0j z߈'$ߢtW~u-G&>lNNCw$fcB΋I>ɚs7L)Һ\qMb)^фKI:.;\@Q)[fA>o20 5UjωdD`Ay`<G7fH/E Vx~`BGeW=;9%QGGEpF뱥=8~#6CDM􌧸zUsre?YM)URV۵rF>V-l]'z @/kO\# 0}<#xGR=:: ǟkAQ`V^p0kpuTu98!W xYVRޙYs+ ,L}RU=E~6#[`b%QE~Q#e3k%].I.n)Fu *w5|ZkmJb6ǷECdB-1)+=r