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,L ]w Architectural_Design_Patterns:threads=4elapsed=18.637cpu=56.276gc=2.148factor=3.027zXZִF! k]ŗXf[&+jFJ*h+R8֧t3ipE rt `5֬2$PX&7$V_8#+a ʊԜ 88oVF؜+ F7Ѻl /3pxRE%2rfMAkeTћhXe`Y\1&'-T#"[xXxxs1"!ᙷ%Pl,I\2E`1ᥡ0@c|cfa姨q'WwPg<ꚫ@]cĦSmTW4[|=>< lH [`P g$a ,>颟֫w@0ÿoD ;M\PaCBAΤ@@_:;ƍF䐅E.j8! e{USϖF_VVض>r]2./XEF8 Uq?-;QN4D}0i1JWRD^n;+S%i)4r_i #@]f7u<:JÈΌ=C5{`]  g26xJ8fˊH+?T?Hm;fw99Z>DǂK2Hv~"{N`%cZGzoXPJ:ҡ/ә?]M# tF+M0`4a};4tYUG \0/ZRк<;P?T{6AtRgYZ7zXZִF! 3]ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍCX+,@*R3p4`8/)-\u.u! cg4N bq[cJ-L @r:@僥kCcG:n+7`Q9i$,gO^V6gZgYZ7zXZִF! V]ŗXi%G}t)xĦZ{"C 2-7! f_}'fe9KJPr\2gqExƌP\\Վ>໸C2uSc67ݝ=Y8?5 AoR. Σ*RK:ggHs!;@ K%7fH%Zu6`T5/Bđ2kF%t75z_>%)_/`ǚd9_o0LE/͂tz)ӰZ\%K9cbԊ4ÂIomTl 2w_Vٳ2ҝn;Vk+rpU-bw|4k K8֕r7Mض:G>i&2Z T:ԋHEI䞼A&Y`Ylٶ; Y[OC H*@zuEY<+ni:KBUuU׼""g,pL!R>M'cu N72(E/I05e-Ч/1okD&\ !B1R_膁lo5_H\8^%~cX[>~<{sjwkոUqym K'| <*(i`Bl܅i2¯= f!!} TE$Ce2D`,9X =cWSv] tG9ȡ 6{K*MHR&㔖{ Q;(#=R&B収K7! -mŒ0Y3yf. hEZ$qI*|%r $޿Bf|KUJcnXZaL}H_>pϳgX VlOwYՉD^@ډ۾8ܦxceOV5Kĉgp4Za?:J7!L=EWcIq:9D! ]5>V\/.k;%Kt:m.kSǜbct2ɇlnCZVڬa[{\\c[4 c"Ne"uYoذA`SkO5lJجu֎o3>ʜ+ٵV)/-tun>Q[ljDz|Z4o1cs(H*ˠZ~h?}^,PN^rE(R~ ɜiP&3Q衟+ x!VNG@x@^ytL/~<#17CNH Sҋt!hðzKsVǾ\ 6PL|:HBocuNꔈ(n=\zX|]4avtl{ AZTj/18^=ߴ^kCM>mvBQiG/SD.i q@lb<sE@ X.uo +mS M?ŊVN6Eӣ(= -}mu-o+[>ifbMcvm&nSDj?B:jF,3(_H> Dig #`7zrrzcvr K ϴO@GZp]E3iro?3SmU(4t cw>^[f%h^aHդv[pOMd@j(&<"YsH{'AbPe =/ٱ51;;^煲OKB+{kޏ8: %\$g:0  j!0I|!M-ƞ'.}80t$ޔ<]#h *bdȵ\QfQjHuJ}D'p!o6bRMc'3Xt/)q)xxגj۱gYZ5907a659803d10e42befce06e95273eefc4283e578a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea 4909c2e6b1ef8105dcb0220d99636907a8a8684c 94dfc8495452465529ab2ccfbef71edb06c6d8f1 a3caef4e981db23a2fe77169f12bacbc5cc72cd9  G Architectural_Design_Patterns