SQLite format 3@ .;  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 ;G $\ ]w Architectural_Design_Patterns:threads=4elapsed=21.840cpu=67.372gc=2.152factor=3.087zXZִF! 9]ŗXf[&+jFJ*h+R8֧t3ۨ!ET$$Aݺ+ !@AGL{%(/d]cLK(^GN_F-h oljo뺟\yޗ/*@ h|Y˂1sM>lSOkCb Wf^ṗkטwZIJ q}$5>c( ŅWlP AK}CIzMc-Lުi9<=sOzIq(;n)Mܠo^6 x[ҍ}T@DęQ[0Ie] ;}tyqJx̓CN iR)  G Architectural_Design_Patterns  $"ՙ 7iq,j\i>}s؋"96{jW]q+j?Zj5+HMeծYﱪɾ*Ҩ()3ћ;ޅ;͜l5 ]5@8aHj/{כΜ% FB&>"h@k&FpқܥGx.DA YLvLcæ}NcxSfΤei>O%#*\P=ӵOyf_Ψ k:x};;ux9}<2w7? q+J |YFNl N7T;lVMc&a۳Xt)9W&ع3[xaYT&6;tMݭ29Xq ~[qYLY ЛfVޟ~QfMdu8#z @$83gYZ7zXZִF! 4]ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍ1ן$Qq MLQ j̟X2!Qwvrs&s3aE3r3(2h"Y 뇛NY*{T:FlsZzh6l-3'xC}žIp9Py]cUp=I.kd`-'"#رgYZ7zXZִF! ]ŗXi%I"j#g8Cy =ڢ_Ͻ:wP qs8z3خ,z-9ȕYVU ^[xm/Դ)#V yGXiY,xv%<I~c.4CI,{XP&l3h3kp4g-1C"6gIa{Repb:IÛc`1bȺg 3H2tjH ׯtuA1u]MY8ppj qT Y&ʢwAr_vw*چgIA0a`Y79Xukցգ{t7M?8 ˆۿ΅~@q=.ST:⺕.ޯp.;_'/U+. ;0qiΨ01.|=/Ks.\A8D2-d.OBLh-FO(dFOvk4Ex?&SB^НЅHZ!xҪ1%}x'".-Ţ鿞zT)J7lZEթи{3"-GwI:X5~m/3Ӡj;џQ@ËDB?Ǐ /U/c<$SD=(NB0_66ft+c:ُ=.SNۄIWE鸲m1`gˌ){z,$E2Is.; Kj>6phb crw)Bf"#B7 9o%MlH`c}Ns'T7MԙUc\"y6ni J[.[fA't{QBdcچ-1ByfMm 06i0I.K`γ."$>JgS&?2d_w0tkXɯL=b[8C'8D#W6ް+.xoxr#\+V~gYZd051e09b8caba302f6e3c6929da9305ac8f95d065a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 7307e61b0237e14e27c910d0eebd20572cd5c783 1afa2e51b00130efab340f6d342893fa5170dc6a 1e6c76c21956a99744d534bc3b45910f755571d7