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 <,4 ]w Architectural_Design_Patterns:threads=4elapsed=22.633cpu=67.636gc=3.204factor=2.997zXZִF! X]ŗXf[&+jFJ*h+R8֧t3ipE rt `5֬2$PX&7$V_8#+O/B;FN9kmR0_R9(ȣ ste$$*d:`j{^ه9n [{R~(| 'HO- ?k@Cڸy{X fZ}ͤjS!3?k`9F;.T90(W?D &~hdl+:"9"/  G Architectural_Design_Patterns  e3#u)q!7ȸ8Rp /eXg#NYFG*\8u"˛qH36mʡ G QF2Ww󔩧S/"%5mDb||R)zX柯R7|G.zd| 9N3k2B}xn*H2v6A8˭-CM돓πčy̝wFj@ofwMӞ6rĴ TQs\gL]l h2/}G)vo0 bQ-:'eN^%Q̞ \i`FGS>M̿S7:kKb}n58PvAsojXd]o0z*8LhC OUMɳ ?yxbyZ5m"@xug {kcD2¬|9#zq ,~[wqj>=YLiT2Z\Ȱ.H4jAo;gYZ7zXZִF! 4]ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍ$DG "4鶺[wojnF%[*F=w3+j'IC]}Hwg%NtݥE|nkD$mJnZZX_ ue(Lځt Px*,SY(oqn7zbS,G;o0S׈427٨|ʢF!]W!?oh2I~~ꋱ~Zz㾍p @ߔ] v.kMZQO+CRfjo*Qb,בCkՠ a*1ۼLUxAn;"fw_TڗPyIŎ2v'TEXd#NVƖ._ IA XÃH4 RȂU;E 'kl}@R1)(=~^dbvBQE1,nS#[͆ 9wui_F{x~7A0<50ixlv3O<6f܋&²-H{BN0,H(@īQt1 #J,OJ( V+5fBWXW1bQCuPhs|~t90DfQg!Ph\qRvrznra1{8@U@_l~ƚ +tyVAoqxǭal>0E>2k޼E)~0s,;F:&dB&qQ@$ʭ_iF;/E7K"?kQވ^0T"sB9ooLa }55Ow-=%7ELؓ 0X : 6<ڡysS}lXff  Eb*N{r(m`4~aUiZnZkYsU>)v_(M1 VVov/=ͦe da#[1(M2 ]N{4x0w#γxikm{gt|sNM+Ϩ((sGc> sX‘]/!ч>P|& #u'niyoYqwd?/T+?v ,&MTVi+l)V?`vzRET;oH90pqu$}4-eB} |I}mi|"tQ>?~Beˏ|#e=rAY}*JwU@xO#|<.}9PnD66&Ă/Lh^zi-bw=LFteoetèd{O'3%)>K>A/^Kn1irizQ˼h{5:A t(b]5 $_A,~hjYR%([k1K/td 0If\v\P霚]xc>%D1XW c5gYZac529aa1e1154aca9c27a8f0f43db75cb173a1a387d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110 9eb98cabd261987872a337a72e13ea3f0bc2900f b0bb5d2bffbc0824464748117a9ded47c2f72c1d ee31cfae94014d441a3f05328653a72df7d8be1c