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  { {\|4 ]/ FOL-ex:threads=8elapsed=4.811cpu=9.214gc=0.303factor=1.927zXZִF! ]ŗXf1-)<K0aV j`"t΀ċ؜u(GziF0vLoPV#8٦u;Ȭ# JO5FO+7z⋁h65@ <>?YT6.Б|0؛>}_rڈcqgYZ7zXZִF! 6]ŗXiɟ1 Utj,>x?tͤ`<,90p\"%V7+ ژJρΰ$su;oҼ@ׯ7+/b"޳> C#[xژ=ZL+D熕~vg'c~ɻ>sێdz>#Rgil[=эzvC2E-qv ¿;KcKX.ZNU<\\m?d!=Bn0H,71M{c]=+9C\T#fh-"Bj=|p#+_hcLm ;XgYZ7zXZִF! +]ŗXi%>p߈üE/VUI~[:xR\%x uн޽Ǎ.O5cީi&U)gp¤W"]i,'UɃr,$Rʏ f :o C8m^'ĴTL  ny҉MĂ {c\&tJlWgВ=B@/DL3-s4EhZ(=`PPҘ a;";km"B>o.n-<>$ȟ?xt8d6 zb@!.Z\XEPϫE"2`:3ِn|:_E;JB,;OY6x&͇ ӅJS7*reSƢrB o-D= U?[SRF[))RY<#BL_)kˈ c1;l9]1bCN;XN eUםQ@*Oo&x;1)Ayp(m|puSPpyj 0aN#C"UT:D"yl_n(}ٷ{H! UlGFF#+"1sCnjZLPSCxHV˭tӓE1xe]{2Ke ͲͿ5;;g]Z(`Aanᯭ/z(t2gw|0׾Ւ40OPl(!yv"f "A)R͸k1rɲ 5cn sW7ޱgYZ568c8e82decb5a1b8466d7b8e5e20678131f3278c58d21ba3dc8b698b4c6d36f436849048b45c256 8e7c764b30f9e92390af85754e7a0f21bd241be2   FOL-ex