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 OG T,, ]w Architectural_Design_Patterns:threads=4elapsed=22.504cpu=67.340gc=2.336factor=2.997zXZִF! $D]ŗXf[&+jFJ*h+R8֧t3ipE rt `5֬2$PX&7$V_8#+Z#%J ]?W_#?JJRS,0 Ń#;./3/uA"~vGH% HɩĪ24K(b9#+JA|[}Ri;R*qpyUA[k{8ccA="$Mo?sGLYSvɍuxqaF,є2UlO4V8'AS\Lw|:o$W5oy,  G Architectural_Design_Patterns  8Hou d| Wސq}j}[K'1E0~1ĤC;LWo 9_`)[ [R=/O{&O؂nQ)mï5 kt"?ƜwK>^"YNQTH*;gYZ7zXZִF! 4]ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍ1ן$QrﳝD6;y?]y&1q ˻1d><3ӿQc{ @2UDAìL=Žtl-)r= ='RyIS@5fp5Bz;etZo'~X;0rHsV%{S;LXgYZ7zXZִF! p ]ŗXi%Gf sRO?YWۿ{o\)ȴ8LfZ xdYKx &߅7YxN_yc4 L2!hifh  E)HjU\xK#5 `@HJO7;i\q3ODi\.y':-iG4Y מ-VBJvRf;?bMBhlDuZ&!,m\; ,7? as =4ؔl,/I$NP~^#\TtTNrXM3EٗYZ}w>]%ɿQ@+I3)~_gK.6'VI*%Ԓin+Fw"zinw%`oT 듰"~8r.6Tud m=b@;ۯ#pҵx Tw7`tzTuo!|Kr:TSM\ozWy=0we62ȮJуVK ? 0 (ޞz[u]@ O\g /8hS@`dleFI:rE\ Ҝ8jf0F'n?:!%$_sf?O9 -?~[]u`O5"ט AGʠ)UcFMUH ӵcyo"hʓl`vSuqmxK*:YqMB{.fתO+r_rE~V'W0OSy%]b#vlqn<! pop̑**ԬIFKx0ՔTBM$ 6(ϕ!HHS.B]-پ9;z~[ͻ扰Xz0v#sww,,-]69UG,!ņ H'jdnbn4dU4էvJ f{ ˜ ne;:jyŦ1ǔGn}<ܟӫL@.M9Оph^}0|a,eXj0]&A7|Oh*'v>nT+lk 9DGY>CJ"irmַ%Eү$'*G4X9ZUQASŖVouS4A%)GJ^i_<֨,` x 3tA :(Ͷ7cr,c`%h!|0Ns"Sޣ%QmEL5KOA^~8lIžBHxɌ4Roaẇs!^mǰi$jf mOl<@8AtgKؑ8[nBO"!b}NBE) {nX=Th#93QFGkۃ:^u.GvXrG&Cgc_Bڔm2BxbiHL߫u-4<+H J|Y,<,ba]e(ǣ۵ϞԅFsmPn婮 [I27&%DDfښ$ZA|zgm 2HgsZwVMv$gRD Iȴх䠴Hcu"ҾO(nm?֘/")Gt巵^4sV} h!ʺ޷W\z7e/L|y~G'G+7^N%Ysx@cx_)|m~s=o`UeF-$`3W 5|%*t":}/yoXWykF E#h HTA|n s-!zz$YM]V+%ßA ݫ'ՓGt3x22!ƙ-cW&(# 'Q#3 d_FrBmô~@AgK75,<Y)PЦt:P!k_Ხ857 %D:c=(+).ydfF$ 7AiQDN{F3-+=I۽tgYZ445aa0bce7cc3e2efdd8f0a2ae5f0f08a3c28a961795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 b94aeae032d25118b0ccd9683f806be94d108fae 9619c8d5b6ee7a34da154c2080822c96b3245130 c75face763d0a0e57053cd92e206eb41076b47b1