SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 WG \4, ]w Architectural_Design_Patterns:threads=2elapsed=31.642cpu=57.964gc=2.116factor=1.837zXZִF! !(]ŗXf1-/6vRZ]n;hB`,wh")9DQ uW2Ǹx^nwg5<_8+0 ڿ7Ed3*S1;{{+]O JʔbNKL)'[+쾟$hk04BU; R1|47,bYÐ(lj VLަԁY.ʝ ^t۪}+¼l>w&OQ mtУ{oE&9F$.yu;];q4zYk6wNMh_!y'Nx5~(=)z$\ i^qKeʷ ]s_HHQ뚬rgVw//E kc._ dwe>._Ct_[#l#W,,Ug6qQ1C֣rhԿU,Ę^ղ]#AAޟK⌼H)ivfVUILGW-4[_EyKph,=WShسٰfy&[`k5Yn ^^psU'ˇj/嶜?IɉqSg%<1yz(\jKoU#9X68#!J2VkYؙ ˿LUW&jʷhXQECh"VF..֊)R|DNVFLz]NvC@gYZ7zXZִF! 4]ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍ9}KZܹ5 w>q}-m%_#JBŊLy6]-3TK!Ҟ@T+EzT<<}tW-nE~wHf+;Sn.S%nTI7ۡkZۤgNfk[;-z< `u Yz%||JLROnqlLJLK\,pVn3w+Ops*9B_rͣXK{g֍xjKv߾/t_ m{|8Cn!Uwb8B,Ƥ}Fzok(H[Z=PdI[&=:]9-3Ҿ]CṴ/7<#r5"ÒAV{9;2#sD )پfD 6[/A|śj(LY$9(YzV_1NcXޯ niFw8I˶~Fҭ9|[\ U7-7| Q;LB>a5)*D%D-΋f@%D!`^2kxg7(RJ $ hOǰb^ ̆90=a"WXIcc{vuH46lPv&ך3+6d"eG5B!Xbhq=̟dXus~[y 2C[w^vL+OgU&i+[E.Ǘ QlR{eC=_t(\ Y]I|<֟Y$Uma='l$JuS`&=S0k!\O`VPuA6DqY{-y]b0 MRD7A0MI:}hx9-4х^ea ;o)*31{Wo~,`p|cʈj2ޡ01کkˍS Tc{I_Bu>-i9yu;oNA=G:cf*]5Vګ`r":4 lcS29e-e!٬]~p)XMIUOLgnhJol'FPk]?f N4kpB r\Mp>W.v+p)  |gb}QU_A,YY!~dmk?8BM Oqs1ʼỘ/ 'T0eipض> r IRwOl]Zy|L>+]IU=7M5W5Q fw M1w' mm2umm_.3Pf:uY63'i=XestH D4@)J2Myyb R筳Ukk$8mvk( B4>j"إ!w=\'GX q f1[\]E<SIQIi.Lu?w$#AV,gYZdec8222bad384d7cd9cd2a259cf5ee2422ae041ea70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c 29066bbb6c0c7c2c679932f2b0481b82d7d2665c 2a6406e9098e57c11af7e3977dc4acc994e2129d e86319d2c147076b41e1d0fe59f3c1f576dd2d1e  G Architectural_Design_Patterns