SQLite format 3@ .0:  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  G t$| ]w Architectural_Design_Patterns:threads=4elapsed=29.208cpu=70.764gc=2.244factor=2.427zXZִF! "q]ŗXf[&+jFJ*h+R8֧t3ۨ!ET$$Aݺ+ !@AGL%>SDw5c MWyh6z' t.V'ȹԃ 03 WCFz7z\ׯ}P_OZi62BJȞ‱WZ>KZm*jJT#O!um8"o#Iט%B9#UZd:TؐogNKYqdq#=)axB uMh!PJT0ZM3 GFIkӷPm7Boz9kϳ-ı  G Architectural_Design_Patterns  dpGwY"H-gL jgyq6.ϷԳ]Z(1(4AŎ|RFXt8Zy\c V/b)W7_7__,mt:4$(+m&zI+v#Cu*)Cf\&9ҝYipPXVW)9ik>V~>b5fOn#;4#{$LXVQ5K#MX/6yֵxULB%`鄰nu'xs.dA#Ղɢf{Eajǐa )>\A6۳\Sbj*iK.`磎~J# ]Ah| Xe D`pG*+jٝG\rT-$,HYmEzxgYZ7zXZִF! 4]ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍ}WD*JuOtlW = yv.G Qv'>D;rHݨ `%J~U%1 %-3JEuQdɀhΡ(Y=\v>LkEs,^l?8 iitgYZ7zXZִF! v]ŗXi%GgT.t 1粵~Cr/²`mptpԯnrT%n6{E)$ } p!l/3$P3U@$Z/bH^?6$$ <"1+Wձ[S:=HQ K-yjx}* Zr 7wI<-C$n+"wW h܅ wMAQ>$əĮ˕m^ϗ)EƂh>7BsN&{T 6\AR7٤={vnKɽ2jP[m퐈̽D7r׵&P:M2 АV)+C-" t:g[OXS“&p=)Ӏb#*'s>'Fa*J?'ڴ_ ,3zӧ_hh0k>9UE8.D#"WHGCJ o卟Co8&|nlxݢɸMb?s_:xxF#M4GQs JاapiBĠI0Zڿa QߌQc)@#Kfsd;W?(F3+)߆[![#nIȵ9PXfF=$ZzWKOe %:8پvpj|7u LG˽?T 55&xԱP@32<(3n06l-ɝ/ι%گ#Y^ѥO^%b)؂.l䫠PYFǮP؟ wlרE&逫*.`Чmltr}F"ѝX-*2c>¨^`/$ M 3NaZu%im!N7a5(-4&#L\@}e6iqF.,OHh[5x0հORiOh% xg@V/z݇["IЍɡ-v`mF^ɿɻmx/<*:. &Wo:b{ K,L?-_m篙si(L)T4E_SuMRFڄ \Ȉx6}c6\Ћtq}*ӕhcF^0ւB-ãBܷfZ|e2!K52BEM;[Y,8'F]K ؃-Ԝٕ-4J=&`7pާHkN;$g|χum_Gϯ.ZƲ?Xf2M݈@STz^4l~b*bkR)г1edsHޑE<+ ݴ[ӳ'E8͢#(>v4A!s˳1fL 3͖Hc|t0i++鳿3~ĢyܽitYwdaOXܭC7KLZNL) KҾŷ3jkmݛ4;YQMk96'AQ< A"_J V̨q; 2jdVK7V`TGIzoH8kI^>z0 4a&hYY9>$cN\ť|k62wZ~1{٧ͣv=G9 xytȊ{@Ĉ /0{/z/+O晳Z]q<}]ff3?Hп$G+JRZ!UWHPMm8" ~ݩQ{ twTDAr  Lܑp/4_\8Ht{&651BS~QS4~eN= ğ{\<"6d%TMPQ