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   `/Ltl ]/ Dict_Construction:threads=4elapsed=46.977cpu=88.668gc=11.696factor=1.897zXZִF! 9^]ŗXf[&,Xr–wy\TtVqCQ-.ˏ,cx^- Gf :tSJƇUU(W$>k U-Pe9G#I] k`63/z>aᛗy z}c3oJGy{\DFnV)fi}oN~jy 8zɋ J_rY؁FVluSɠZܬsh@GR1 Y_:M-}Aƹt(@h.rS׊v_f ϥ8 I5JN0vT/Cݙgj9N`O`aWH~d$5ݕGRx@E9aƏdQG]Z4 0,e4;]lmdѓ2Yڧ^ܩ,y:NΊhB6Iʸ~\P+?mhi!y+LaOf _舖4F^rl&3ѕ|~=%-]b;8!ʑu / Dict_Construction  i i/]+ Dict_ConstructionDict_Construction.Test_Dict_Constructioncode/export1.ML7zXZִF! ]9 ! kH0 ŰWn,$[ȱM12h/?]4Y&/`ϻHZ2QȜ?5$Mq?[o8_jSWڃ;nz|(tsEeOvPk# eb7u;cʼn8އF0% s)0l6G fb&ZMM[ms*M]fU^- 3͚Aw%o1\9VT@!DIȰ%>cXW/|qoSɂ:t'fcu>7@hǑޱgYZ M/]+ Dict_ConstructionDict_Construction.Test_Dict_Constructioncode/export1.MLUM!VN@SM(ꊤLh0`#a˭ܹ)=A^k($Tbj|]6x>zӭd5*%3JaO!C\4gݔ?e+b̾8[)Y~j]: qMS5#vhmI>JQ{FmJ'u5k%3~9DCi^֞ nnIKE&Fv+ 2 YgYZ7zXZִF! K0]ŗXi%L 0\CB[$s!"c$%[ [8W2šp_E<~^|IxMp"hɆ~Lk q?IWC:ls 5 0۷Jpѽ㦗U~ͫea1l0GGp$OuLڝxF {``ѨvCϤ%~ni$!?#~g(U mI9ڝƋ9\G |Ik`Z!n̹yrcz+ Q. m#ZrRu 5w@eHc~#1]slMD,d4!&NVe[ ItsH+h qBaFe?DTA=uøўgI Κu-?]"ZT=) A7Ud3jVg%%yw'bB7$\t_GlcZp9aS(Wɿĩ9satL[kϷ̑N[T+4[e&SBNm*f ޽Gu֤ :*Ohy~eʞv@IU(n 8U<*y3&lNYc.gyx$ނ-) o"w^G{~ 0^(݂{>jn+25'QXAĕ8**7M2{ ;9{hm,hCP~HC(+N#"}kkg\>ul9?W&]L*ݳ[uVDr.Z`FHwq0ăcGǵ比[A[a|K'+\&$Xa] vl+o(]C;R4VΥ稽ٰ1$4Ü ɤ8/sT,nvlx]faޣSǑB=c ƠcuEsF.k.P8)԰:uV >DFo.\ =*۸O愾Hl>cU5lsg0 ޫ:229}$G\}=[<]=ra'*{ֆccH޾l:]q􊹣 9 Ӿ]',ra,% +WD;-ѝ -1u8E nzϫ.t4e<ń" O*,p2jy*u,Gvp$AJ=2Y>j.a^KibN` c*:a:EMsW_+ZB!ObT#B%#A>PXX߈F3c(W,;m, R)mqu=_'J$N>RތM6C 2} =호\V~mo`1)_So~캿Qk'm?{pm g7x`懚XaM"CbvG{٨IKHv ;l~O(ZB}x|jXӞCNSYᓯN62 0S~ ܝp ! &wiH42{=WK?%ѯc{gf>TpP bi$RHھ2ή?Ǔ6*V[vNș 3rŪCs;s  nQy* #;QbŢ΀v%rm A2%jJ1~v(3/5v;zկx{Z.-2Fpe~Ơ`=('h#*AxeSƾ ;3XX4|ȃwnwq+ EqgtiL%HmֹB43^vE] ZPPP `v3΃B?>6 m:RnH "NӾ0]hbQx5"SD]*}[{vA¨1 DX{8q&ҥN%\rIlEoFyDnF >=+!Y}r7vXDsG| '+F6u co[ͲdZ8Ic {O߭0# xDi&y?F ] On'^ d5S3Û ䷹/ ܼ`g?ۚܳ{pt:K<ʕ cfi].T&pX7 7ɳJ&h'Vv:DD>ف\{wY+\Arרe,pþN&jgD5HY;jx; LW?}C%]sVdq!B۟)6e&V S`֙M/ ŧCEM̱@ЈL>?3?EUB@@1aDIPU(V\_ I YrW$ɯJ`%Xpm܏4F3dYP,,h!a<3.l%%{[5i/h