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 G ,@-Ze)mVkUJy~CYb? De,]h nJ×["-[gKRipMfhyU3d人YA4pd/Ÿm٭xX~$L:5X#L'P~ dDWVgH:yKS\aս!M}\bil 6)\]>= Bx-hui4x__ai7Č.hb{4KzWX̛|/}%19 6@WX!dou*Ar %^m(Qd`E;Eؠv OHLm >+Rz[]Bd]+voskВy*c3j{p<)SKn,)~[+(tƆJ1~ 'XU$T#4% ⹕&bkVCIM*,!i* 12 Uw O7bt@9S7w"˯ׇތpAfB]!Wp;3Hoaf]-/r bCSFZ`lLV#@M #gYZ7zXZִF! 3]ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍ" x |<[6~=؜Lv$dF^?/YqyҙMNnN˼Mr ?Ϥk',]$rGTCܟByTҫݓ- c7hI!lŊ 02E>B 4zZp=ۄՠ3F⵱gYZ7zXZִF! s>]ŗXi%>t{ʩWV_}M>drōB[!\5yX(_N2<'W#ix>0HϮ˻<{07j.8.fD8qm(-v j~A#Bs`:|!lD2Cl A#܂<{M 2A 7.&2'MS9|otE^]_"WF*۰8,Nv4Da9P?H+zwW<{6c%4D{`2ts[[uQR!X8ĺ> ' V.G A>wuFjF ;g.kåjFX(4jڏBQMk?Ib ËI A@Ir;`W`)\%K[%(OJz=4\uçāKwPw [R%),0șXJE = R|]]$p/\$1CEEڽv-mBc,AS/,k<6hsgW0aRP@VQgZ_6Oۧڌd Ik ,W,"$R}gV⫊ ɿ5A5Ů)UCv5b(pOg P*tOwƢRb\:,[]!pMKȗ7ʇɫ>8 Go9D "I|sRS6Ы#[xKU3w-iQf|r4?sKpN`-Jgn}zpAeuh_y`0 (HDZf?jxe>Olm6Sq Z!fC8غ~]Si﮼߷Nvֱm]g]i5D01/b,jci5q$LI >;ޡl/xW$* ]%I^^g'r㺢yBLqI"SEdɘ!xť> vCBҪ$w`Zf>Uf +>hֈ0C=ҳA s*dMHHh+l:iB8޵