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 gG <,t ]w Architectural_Design_Patterns:threads=4elapsed=20.042cpu=65.704gc=1.784factor=3.287zXZִF! "'X]ŗXf[&+jFJ*h+R8֧t3ipE rt `5֬2$PX&7$V_8#+Z#%J ]?^$Rqn0:@Xr ɦ?]罌` +‹mvY=)w5/V6UCDZl&3e<M [W%6(#=,.YvdrÇ@-:6h>4BZ[k8nu`챳+ՙ_]340_Y&ui ^]{ǤvRl~k#LQ b?>uU8"A/ +C,gCs\ҏ1/  G Architectural_Design_Patterns  )B ]'VDMH1p&RڳKP$!ѫ8`FƝ|#2V[DSI}^5͛yW9fsV/l玸?ū ΅W5Ф}; r~PO`Jێ,ȲX$lQIPN49 nZpmi)FqxVB =A1ICT )sZPTrTrk/K@cػs R7 &b6]NI\&ziqm@$Ǿ]%C+> h$HȟL_6 `׉aT,RuKĂk=:h}~ T=DL'`st25Se( k)*ԝwP; F&Tm5+lhsgX.poLBg\/ L6˖U+a;Or$-=|$@<:cl8Mami*3a_c ñ;6J..QRODnZ=gYZ7zXZִF! 4]ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍS,Bͷ{v*|++VT8.C8̵o"Pl^n rQi{f^jE_XlA pYTEMҩ˕-^JC|fW{Dv_8ߪXgYZ7zXZִF! s]ŗXi%B۾28y #e$%*.+Xg-4I0vai٩( <@,>S<;mɎr}F` Z$eZbx#V8O#&RXvÑ_84Ĉ|Áw彵xH߂xiK2@O ѷ+݅K_hf4\`V"I~:'T:)T^i@O#X. FY ʙ⠷!Nygoi/%EUOkl/ K GlԗpRΈ}w  㔾0rT/YaYX{``0}y{& ~'Wv~.zLbVXDJ_k@j9fpq;ԞCzTOMݎ&CiC,/d>΂zp*cD3g zR{$w*婣"Mtf2f7;-\w&K&"jUk5[)cŋ]UjԲR|@?33+3C0/zۙIw#$GoӖ~ Ȗh'mW|d%ϷDDQ9';USzsB_xPT<iR%T NQ rwbK/|@d| J &*rEn:LH IW&]n4N}Y:V;~A("9J/^x OG`Q]g^G\ZY^]hmAs1*`'(QCCgރ_ j{c`B)O{=F,n#Mf8DX~PiS)3D`Or2[G3QZ &_8ig#BD=-5bvpXG?Iͻ-v7#fjQ20FۚtbWgqYǗJ<^ͳhMĴ{T ̫4F MS*i=w wuwK&u0jB<n e͚t<C2SSocH9d[Oh7n3}, j Fk2Pv*b?'[ꁏ3*"k]Ajܗ5$5 AT˴+x{^VFfٟ`A6+ ZH8ޠ5mե@dmgUdE-YuB]N1Eqdޢf? =(Ew,6@C Eʸ1ړ&RF6{8so J@ q P /ܺ=={D/ѱMTt{E"B4 (sP`O?[rgf@#"Ǖ))2cպR1Paa ׈0 C(uWĥFd?;2L[{v'7p~'zZ䑻j%>"L<.%rwu|RGY!%G9aN=/b`i7ȡ|_Z;l0w͈mgYZb889a1a76e2bcd43fb9bd85405b23c4e82c5de2676b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 46b2a9780ba5902f7ecd4ff6263cdf90a09c3eb6 ea3329f2ae13658f173a00fb334e72a850730143 cd382d8e64a63c3c089286832499ca6e9dc1b20d 1c43c916ec7acb285fedebb4cf08dca2626f2263