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 GG )rY;#Oe^wlX4L&a˗[2jY9˖{sM2TMz>6dy*(lͻ؈(,R92r[yN+Rt_j( I*x-^;.wApb!#0 5e\ lm*!Uc 8qNcЮvؽ=G&<%"a!^]Uz aLIH%v  G Architectural_Design_Patterns  mv8i&?n\ۨ&)UIYunyʸ\JfՒ)-Q"}+pg$Q>2̨;;|\T(I#3 r:4@{ 5jTqfV$'$: lfj;jqJkc񫰤y5c] X?7y?1`܏F˥K^B1lڧ[&bU0USUx6CՄ֟Ԍ(d)"/jB +(}FDc94̠ jJ:p `>/#S.v7X4ɇ&w#{R1LFE3+NpNh犧 ׈Ũ:ϦQ\/RN+SA Yw0 [눳hi2G4XF5guK( gYgZH >+C ԇ(67FԱ Hw(v'i,v!BD[s49NgYZ7zXZִF! 4]ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍzuN|IR%kdYq}L%ɄC#XS*zJ Ǝ]D:04fҔ2obۅn6-lau_n7򨣐A?V,hJ,㯁m8r1)[@A^eSnȲcz3ĶG0xh݈yp-i)FAOd7$yDttt(`q`O%t}@$ǯaY99+Z]nqYXE幐 _Ut`9AȚ>>5u "4="F-Ϟ|Ӷ.͕3@Qtøh*Ɗh׃MNAIwvFCml^߬>x.aHlUZ OU_GEχd PUF^Aҡ%[Td̃B ̕‚ 8Bp)PC@8me*VkMK Lu~Q[[)IlKU/F8eM}H3e.:,0{V1qD'/yM!RC+0Kb8o"too_a7$ިWjkF]|V@=|JGPGui[x+5䊿'zT|A H^pXʤ(h+CLf0^u=Z@2ݑ2wBem/H>FqK@喎BZpt7'įlw6X5Ab(tof%i{m 'K[bʰNvM9QL̲Ȝ{(f2bGfen{B2fV]I p[bȱ9EJ.PՙN(ONsIݖͫ]DCiQ;f$~׸'TD:u&KOc"a.P`G7 Wlدĵx_QK7|P du#SpG.ϸA?7uHq7ֶäxa WC{q7{$HEFsa[t93 6_[h9VrAXrA7ʣ6:h%%Bq[Cb_T4nH/B'Z1i3X,YI$F.aЌL H-C#H@r nmjwH4^(sP /IzTh9w=}<d@kEfmrVYٗ YF0{Z?%?I_fKT.3QJfR$4dP;CIdRJMɿ~v "%2Y(=Mbt癭flihrAޕx'*w"_u{Iũ@aiyyy*_D X9XQ% v:,d#ICUFeƿ35f#a,D2+nƫ+ %e۳[pc5a8v"ޘ+G,E7::Tp9[KdֆRnxmW/!I'g=$V \%oDG3Hw|g4(Q tn`.p[>%K3ZHB!)<6 8QfwJYCr8{}:0׊4 gg&XY>jt6y^!tzSkpѹ|@{33t+0H nh21ӑnűE-xj50j'k_"%tdmh1h >HCV\Ca\'0;] žMpDRyJT )%fL09!Zxu 4}5 tЈERYMZ'[ϠDڕ_ip{mP.Wkid[ j|>8idװ&} ]} 綒ӧ%51! ?4SK/HQePyį QnNTx!xf}(T&E) Ab;s{sR{\22b0˥풫XOuSS8JDBJ|<>wwq *'y+|q:K'7'X.&WrgLl d*ל=5pgYZ0fb1f0131c97a08ce17f441f6de2eed4b01440b79cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c f83d9d1b992c26af0df3bcb095b2e78e488da3d4 bf181d6cfe96fb45d846b938c8c9cf740c8be514 63db6b2e071e33a79ab339c9bacd21d33e0ba94e