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 3- \6WVVFҨw[qh墽oGߛW!j}\#T_ѐ7aDf.CgT?3u /yMfZѩHܳhU{gYP%ٳN('W#'-e_v-)Y[~,rb˞:t<5<޹-l|b) f! A N'Tb-]>z bf7"X{&8- \"S4d:$}9^֋< Lb.NI70yܳ--3DE|JRU'YהJvYg-;Ҋ,#:gi4r *ʹy dzxR ][lc2uE2ζI/-vpTnđ(a|N:,;/r|?%%-]$I- N=\IRx`iwMN@8S{5f_s 5wdTz(pnFFbhnXQBz]==օQUq:g:ZD܊ \nTX~Keu(vGgX]ϱq1 gsnψ'O3Tzf~~FS&o0~'c.l2;%OD#7,M]7kʖVZf~\.NZ=1݁g{jwIH[ոDÒ< ];Wx}ύ~5={u=Ib5Vc5gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTtW> =i[$Tmƫ2B^s]fM139V"L>MRARv6AAJhR  JfIV@jgKmFU@+5~Q+0P 7ƒBI~ڹs0v}O3'!f֭agYZ7zXZִF! h]ŗXi%@\p U񲨯3 rRUE?FbMj̑ǸK߱xIǣ߫M&jNw睹̞_|؃$:O 5 sZ ̛X:R~aA1'sA"|kRd@˄sQsAg Uf}`ҕ6Mj{lU!jx2R LA^(3 rxwj1KET2_\5([ :`Ƀ^in`y@QK,q*DM\RoU@,\1?N+yoMk.|3)(HyվHbGyF7Sq߻$/q(^ `$c~Chd~QP愜)Z:O/I&oRFq-( éCQDA6A=Qczg;Y]h0)5ddKz4pGAp0CdsakXVoAdAVy'ĶPb#Qe&n1JAH,`X?CuGF$Ef×ڊ:Y'ޠ'q-u\ QO9Z9g?8dvz K:+UwoYMaY0}XIV&c1磨xooqO{1;pNPOΞ*MXwXg;e27,FP;\h Ztmsw,ƈX ďf/]=]6%D̓zrbv 7moEafi#uLt'C YÑؚXDq4sX^u"$ᩀIm 7}$Q`#1񉄵ci|8O@_Y 1* C Iag)ҫ@niy1Li4JsLEZMs]J 8SgYZ07771bd211eca6afef0b5365a24879952f4c5e5162dd5ef845605834f99fd219c6113e6e5d2ead3b e158806d250ceec2e5c99ef815333151f28fb293 69e6c53cc553f832f80191480af118e89874fb3a - HOL-SET_Protocol