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 ld 4]S Valuation:7zXZִF! I.]ŗXf[&эy"$jBVHVCv/ICNG ̈n7C-/ ,;-CZP9 1vyWa&Q@oB\ Ni*RFqw(Բ&9 q#=}d-`K݆~qC'KobP#AcD})'ӜtMX&CMKm^[}=460UD޽`U-Uzj$  ӧAG?^-C[ݕҤHark!ibedA;$q+]W@%Aװ'YOGvRiWJ,I9zM!0EF/aRZ=D:GGe'gHn"ُ?. MH$/[l3ٳb_Cpp06Kۓ13C ZW=^TeDhO,02H{r T0rC% y\MyR@=Wld:č֟vQ*UqeӦ'%I 5=Ai8s ZV@m⩔Rၗo蘬mP 6ꛤ=zH la(4bOX2e#f妈ulo Sd~BIe4>76S g!H U.H*",RZ5195O.w#) CMe hp'~3 R4 Ό]3'N͚)]&;xzxq!{> -WOHio}qaU6I`ç4sk [9b &1Ŭl7YG'nHmKW8O fp P?$8&xc{Mng(Q 3ҥ9&?4JM<~ ma+-h_]YVy`L&Ӆ|%OKhc*jG;ɕ]/U_?^#tpg>rEF/1t+s#0Pc/őv~0=LhSyגFoa; 2m30Q{,}&Y6z-6%\z=ʁSwx#wuR5B/A*firxs>CS!0<L͔+ei3A$%^Pv{\x|ޣ3ϲR0+C N;cg3"5M^D_i3 !; !Yd >vmagt1bKrEMomI􊠟0^9~+/7l^6|L;w8[5[,w@dgOGo}D Ym~-@Љä]aϲf Й^2ZG0@Uqg9_tp2fCޕi&,>M3ntyGfvk M٤lDr5_?h嬩~ EVliaF 9l<ՙƥ&)\I^ZH5bexOJi:G: 8 ; 3ئp_D|p2 3.'F˒I%͎y1 M*GNkE9{$ h^F2q<|eT^i:%|Lbh_RZp^ԩ,<qALG.tAUYd9*vkC Oi)*m @rK"B57G܎U6ZF193f"G$Di>7;`Q,(iZ,`>J`_ڹ>!QS14,_RRU$ޮ1wc-W9W7nR?sA>Nid4X̷ 'aI՚嫖l`uR!=Y ŵňK`:*z(#m,^"d^Z_0Y&~LGa< :f/d.1YA62bQIlݪ&)cj{+$_hWgӶn-$fK/}HdOi3Z\' C s7~BSFڲ:cv yFbƻpxl1 Iu$9cJE5Dv٘#  oc&8|(i( >Vy1ϋF~]mw wwUaLȅu2<S'P[5ڻs(mJZEQ+O6w#+n# U,~w?C:xGeT8u0b膛[pUʑ6)@6*/j f KfgYZ7zXZִF! 2]ŗͷƷ͓AB@tC hb5Y`j16hqy|ЫS5t~M'e