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 G 4D ]w Architectural_Design_Patterns:threads=2elapsed=30.163cpu=55.644gc=2.000factor=1.847zXZִF! 6]ŗXf1-/6vRZ]n;hB`,wh")9DQ uW2Ǹx^nwg5<_8+0JuϹ$K:Ԫbs^lܐn >Ѕ-_^^Dm!tONvw$ 'Tߔd-Old޾mAjijpzn^u~x*^d)凼*$ .z‚imzjS99mRQSH#aUE"ض0:PQz^] :)L"[w#mRԕ,QEF}AnJo4ShسT$*a"zw 0Wӈ r߁%4MҢXoohG;GV FO(EV6d__0UzxrK!LtEI><>p\˧nmWN!bDq($Iܘx>-&+b6So!~Zg\BZJY60-[כw ΀.ҟH%qT*SEJygYZ7zXZִF! ]ŗXi%>g걫z*xyl6?m]|P&Κ2 Ѭl*f5#a@[x[eBERٗL=N8A0ӿ`AVffxj_Ck͟"M@Ǎ+3L۩CIO0j3 pv$FغrG.õ'fA|Yl^"t wƴV_݇öv^0*?]x(B|3qߐ>m""](urwm<:ʩlϩts\*QcF% R.[ퟚfYl"@*2rQAn u y6oZAǝYbqh Id'fwi7-h1vᏆ8(2R0,|Y$q0=I5i5{) 'Hg @3Wd|¹BˠтeYv.ţ(O'xkI1=UUΣZ37;y+d7BQNn6 ٪dMCҐ#Ӷ M%pEfQhp\V+1մh+=-Y HM;O\a9}`bkYcB^; $N:OkpQAWDڂM%\2څDoEi}1pZٶdP \oߐg Ư+ L9y7ƅƕJPɣF^VasoޥG>r?`B&W4.;{Et74Ko)Q>&V0GA эA£c!Sqs*Ngu -A3+Dz.Ϡ{2_3$3FIǶfE-O"Q8̓CwQ><#tN?L]x*ԽVq)4#=FR+H$s׎raY|dQ$ɒ@]M5Q22ؽ $A(sV9>@"Bd&M!*/92wQu\ޑlku)jF ]2ļ"ƙyp+ $䁾9-ҳjn$jg%dxx꿸8G-}`Q@\.C;cם^1 0(-F`~ճ 18.sB ϕ5P*~+mܱ_E3bj{'EV$+郬6B v0wv v{lSwwUF +ǿ*> 0DJ>&1@|\h{GZ]QkP}k>hGT$A%t _ۏ^ Ao@1Y9vފFvEO{KjærGqdhU6T^ 8o-.`f;{Gks[SokX4G'|7`a^,Hv y.8σ[jɸ$31I $ AygBaolzghsS_YPO$ݩ/Sy[`P$%0~yKsʼnsr,Mr+?MBF#g;z=x|0![IlF#.c0q0cO"HҴIFa/iD$VqsK65v #SznB]z%=N0@fsco.& 99.pX@7%# ~]Ԇ $]'_Fy{sɬ\G2zMp"=(`(JўA):>G`?YΪH5"^|<T'لJ,Gm:Dk91R^5ڿFE~VwgYZ9debd037ec53175c6999c1c32c5997c9fb25fb6c767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 92ef373a64580ecb4bde23c0b3778cdaf7f43c9f 4da788cdb7e9da9f6dfaeefc6af1dcceb638445d 49db077c5c68d0c6ca878da42e2d54dfa12c7ce2  G Architectural_Design_Patterns