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 ' T ]/ HOL-Cardinals:threads=6elapsed=7.850cpu=44.064gc=2.156factor=5.617zXZִF! (]ŗXf1-q恈<-¡$johkX2I)']8PIxaq&J,޻i /cT(%!41;ݳW nN;,&(4Oo5 WD<$Ucwi{׵L(rb>H!u B@կi%Rjmba 6^:N26Wİ XdZك6 N&d,m>/wBx_Ǖ~kq! z?Ͳ}o $Yd}.t .lbkĮ{Mv#@<{MP9'\/qKcyOK,zcF2IJN~`~p]@7r}DZ?x+oŔ:镱Q2C#63WL麽{R 6o($a`<`S?ToJDaE9顉COAL -bD*f> 6wP KͿ d׮8@ؤQ;/ RaG鿻Ňx>҆Jnj2v ,vt*[T:|P-W>x: q2U  @Jr_^2nVwe&VMv4IűgYZ7zXZִF! ;"]ŗXiɟ1?ߟt;9BP2CZz眭5 zV^ρ ˣ@ a~\C]@|JzUs ףQ\ `{`QQp'0.#l}$:Kz훀ը:$8HJZĩ=LR-S)O2 ic{gBkj:$vi_O(_}ѩ B5.*7E' l*18k..&=_DDۄg^\@-jU"UgYZ7zXZִF! ,]ŗXi%E`pBb+"VщH6Q}fIRct 3."Cx +uF*%d&6R¹̔MV#`,~Dax2yG=Yl>8$,N!8Je9QLm1,LX^S9 -#>~yL -s^1STh;H>tFN$0:h3􂃰>xJLL9ht9~=z=VUcwn9:YFASB펝nyvR`XKBd$L2ty/nV1 c*V5~"؇LR(\A+a9 9VΠ~ {F%VO_(\=j# A]2R_ M&' tyh޺q\viX.70hI@H^