SQLite format 3@ .;  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 MM0) t&lf+1z1Jsp0 m@< m%|h lZыM @߱v$j/dQ#V|"n >Vo>tmR^I VyנS0)h4\te;72r$X"Q溲Y$;e82,'0*wdvK^<#l5eNSqM>]36.MC;E`ETdϖ7PʺO?*+ Uͮf;uʇe|n.P^ozdNh~'7i=M&c*SX rXQU i\#Z3p=S#ɋ/HDע4 Utб=g7Ac"?ECpRT^-@=gYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKW7[{ی.d3"zJ]hxU[9'>Q~2 (ށ=IN$L3禉TN&̀3W\ѶLKhorfݎM9ƪ/kF<޸kQD8~lXc[0J1 ({Àϥ )qgYZ7zXZִF! 7k]ŗXi%L 0a$-mN=%!O>M݌-ѯ=[m~iLŰcs'\1oO&|L|@RlAK,,Q|HGj.]^`&ޟV_m|@ ]m..9̏A 4Q@$ vѠsHr"awq+mG ZL:8*?o翀$6v&zd- l(<`~ ^iΦ.󌄌oT|3z"^Ư1gm 0f{55X8&Dc*`+qQßotF]{Ug6D{wA m%P-iͼXDکLJl|]S>F}y4 ?ςHZ,3dIF_&kQ%7 25crG5IM4%%GtsyUV>lSh\pn/ԅ!% ׸ 9?#u%ucVH}wҸ@0C"+]@KxQXmvu{4ef]QXr uYogX n\joϡlʶ{AecXޜ;"q WL#p]2<0\vZr{3~V~oX/N"pn |`3H kfKŁ/K\Ӈ/?Yiu)e&aOVDn:t#G ъ SYR,| =5d@3dW?% 2~#w'Gtph{5~Sf1LJa>$ZIf\`{'«IStX1^NK3n32 3.R$o:C$#"ɧvt:-aRq輎rԀug0/E+EvrYvDpJݥ8בDxjXkcIg) c7#qGIԇ(h?'jX;H;bj3M |8/Bl>$o<1@T{~JeE4۞lg"Ix9Kr'kCl/F|BV{6J&i(qd?t ngYZ1c3fe288327e935ad5f2669cb49c431c2ead1a19d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 81ba8b3d94cc9a3e0a1220d651baca522dbf66a4 ) HOL-TLA-Memory