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 G \$ ]w Architectural_Design_Patterns:threads=4elapsed=21.791cpu=69.144gc=3.064factor=3.177zXZִF! "e]ŗXf[&+jFJ*h+R8֧t3ipE rt `5֬2$PX&7$V_8#+a ʊԜ 88oVF؜+(8Iʁ"e{{8)`]z|pKAOA[S]B9#x7\b>Ьl<Av/426~)(^<zjKh0.B[%i2(%LB@Sc ~d˝cOi %?GV!)ޗ5DR`f8B9ָH/\K6=Ve#{NJJ^/kMO  G Architectural_Design_Patterns  ($ˮrNAI'(^*ׄ[X~k;u1)$oo: uR_ <)D.-a8(6 lk0@S:J#%zށQ>zSV4G*0 ǿIn93Vcrm>ݍa_ajδ8w ~GF?Ԧ@Zu;2jpe٨wUJ_Ӯa>rI/T)z'd^ˏG`Hзrlw&Ҁ:r;F{Zog*@~y%ձT]wsQC8L )FqĬ54yKzoSrluNԒIu!?ce*8=yTi|wqW +s{Krwm,ZKj--i1tUA9QxPd%-Ah)V),!8>a3^[ ޤgFYDNծ`>ƻ E[5gYZ7zXZִF! 4]ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍ#DG hI:EE2IWHu39^ !5R<ݣョb`Q+ Є%I@cn\Q=neL25:φaytC:{@r)ebe{E0ܧʐ=JƧ{r)gYZ7zXZִF! / ]ŗXi%Gm{#װ~spI1$qd[,5UvY"aHBt3^fL;%e#Z8/q*p⍐7V埛Ⱥ|(a4;8%a0f"IŒ)I; [|."IVWPUڏSki8ՙYH WFEQ3t ry.M39,FG ;@XK,+mk ^ê< 5=-:ԏ@kNLa;FWw|/bpxI[^Atˣ/>Әj`)4κ`Y5u8?}[g~^\\?u_sTH'/m1Ь/[HvYXh$B#u ۛ\pTeОRfKOA{wRumYd)c/nM[!VRLVH+G,A?FZŽ/Rg`|jB*R|M4gL\uOҴY4JЖ8@FC$h)Qc?ÁHnpG H?W@qM3؂y~bS%E1ZsNހ?9mBgGg' Ur\]RAv>/Бe$x޶y4$yu/>L h;x9Aƚ7qWaƯ~Ld&pW4 hfϠOڼ"6Q{J5M ]/SG=|W^}(OD5jn}a}R;. 2kDO+;N+ї7t}…`h"]/J{L`89!n iחV*f bxYAŸZB GhM֊ZlpUCJ8ԩG uTrOA:[ a확lj@;'y2{i-7PiB3a{'"rNE_bZbjغՐFu/. rv^g;&ILByu9Vp& aF K._򲣎ekU̓tnJ kRSV3ejk%Ff""-_9E鱒`'dL &1)L ;gyBО3HT/Qs.j~c?m*ᙅ(6Jq[-Y}X풐 _¬N vD0I7vS,(8\D1VH"s߳ b6[b^9` L>ˈg2}0iեX͒h*n 쥀0=fp<[X.ΪSw4}ޛ(7*uKO$`}9p2>/i^q @Pw8Rjt.(S+ɢ/:XwϹ7tqZdDXIPϮIӲ۩m k0dT-^RYoքâp L)%Td^y$ Ua#kQZۻDlwg0&ssF'V܀ԣG ]hF Añp$P,lE Qo{pCc\gDNkQǶ;;  H}. vxIwǷ]b7vPyw_oŻx<=ŧ.Qi>M8)^8+JYT"\=&z,zy9ŭ魨n.teW v^UbO&-2ESfT  )(xy 7<K69f;»@pOqF 1P_48X@㒟"#LLMh>XKKxY'g¶( eN-{[*߳m#4ut)J ֽ04t5 ݼј| `)ǧ&6C5dÄǫi._"xJgYZc4d0e2cd7c4c20c81666812c19147194c0e1a2ed1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 6c3f1bc9cf6c57af01ac3a1cc2e6cd8e2c05e4d1 1780c97a93d436d9744ad7a71dcf9555f805967d ba01e88361693a215a15f7ec00e033af8ca32ecb 4e4d8431d7d00675c036195c2964c6d6378dd833