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 t44 ]w Architectural_Design_Patterns:threads=4elapsed=22.594cpu=65.640gc=2.556factor=2.917zXZִF! 34]ŗXf[&+jFJ*h+R8֧t3ipE rt `5֬2$PX&7$V_8#+D;(G@DHev**.)fgqt \()vza :g:3mN&X n Yl6đfO` jKVƂT9 L:gOuxc$RWjt;󏂉5%C&S:?+8۰N-S ~AŝQR0ځZ5d%io: hxYtQ `f .,nF Q  G Architectural_Design_Patterns  2g)O> :Ӣ=xvRtR}?&d.+Ro1>QL U1# QZ֌.aR,rћiwLk71!U%UBE SÐ6Oٰw_7JI1ɲBo :?Sj\;Bm5pV gYZ7zXZִF! 3 ]ŗXi%GVTdӽ [_V'J6; :j Zij-AFVv5}{f TY4ߴm)S; {xp%1Rs0]uI, ܐ.7_++ T&!] +7zh{^6S4?$.fRd<a=ixUu;AAa5_ ͮʧooo -M}iLj;j29>Kzy{6)A;mq'9 V !п9iV<~eqzȳsf~Fĕ(-J!}H6S!ov/g,M\.=/ВhB}/;!eܺXOap?QX@ Rq&u<;tEgfP~y dMݶv,!\Z;ЄA "`·LסS٥̿܍ma3Bp&h)3#g>lgސűZSK, TDlY;:9p=' rEWWm'*CMA0F? [ h##B9!7>|^^} cCd$`|qϫ_lW͊iX%DH[Qݹk-x#O( O,p/z6#rx5q|`c|KY"[ S:ngvርVf9 qc\Mf,s,(li>Co֕gp&UDO+m~Q&HV'f}:QpcEنat5Qݵ̂J)/חj@fBE湃͘]Yp&pjcJ_~܍3CTtq免 XrhK쐾3Ssg橶G5S$bL|ZA#6)tJJn b{dRv68ze:-;%Je)&bg$&0ӑyCӫu#xZz؅VmhI͔"k fYk%k% Xqʟ7ڹh& (`C\Yi:|& 9K#_>bg*;ٺ]@;m]Be 0 fUWUy8?U@Yّ%F1R#+BH͈T=fj2jF8 4)+G򠒛sCK,cء/ƶ 45$4< .y*Q=ԀF*:o&-W ~|8q{5uP)UM;;ӯ(Vu*Sa1&6qx֑۠}cP}XU/|ī yTȕR'yh1C3uUǁ"Qq T9OFטoMn~͸޵e5&y#4r1TLfah. B RE֭FS ;k=Gp>}r|(W/y~BWV#~ȇ){E~D9|qtG%Zbl We?T}j5<$o1}ᲭEoO9n2Rs'o vX'