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 4,d ]w Architectural_Design_Patterns:threads=4elapsed=27.318cpu=67.928gc=1.876factor=2.497zXZִF! ]ŗXf[&+jFJ*h+R8֧t3ۨ!ET$$Aݺ+ !@AGL6o<}UZYXzH1OyҩwX ÈzVKGơ>'>e:;u v${51Wf q&2O^׶A;6T -nU]&YuƇBo3u?=A  G Architectural_Design_Patterns  z˘yFzRDiB}!XV@Dؙ P/l^¦ZJSjдzzڦhF<ſ^כIg.E6B~)cf](Qv (>4G 6F،Lߚqv߂`aM8&%vf+2rn>? ـwFC꛽MwaO%E߿ߣQ&0p1k]dp{ZT-{+V:M]( HUKkySkf#Yjp  fʉGlH] @MyD\W>śMݰaAiKCģ!(t7hT4u Y6HnyVO=y/&,7b@b^[8khGgIA8=NTgYZ7zXZִF! 4]ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍQS,B욖ÎSu,ϯz{lvfi \r9gvW0OV)g|kd3@EZVQsPL10#ȿA}Xz3AѲ0}toFU$)G1~BM_tr/XgYZ7zXZִF! g ]ŗXi%ES3hIg7 HrD*t44(u("\e7FdDr+ǥz塹:K\7,bT:@ Rbt#lDizi,jS^5ATJy%GeL.'2v1#GlJ9Ai7Cú)Рx{%R*1X;FT,$㐯4+?VB h¦Æ:UCogjI3i)^R@on=V黗2iO*=4풼B󈈴q3xn0%pGO'S-'8g!o'KZVM}֒x+`)2k‡V(M~n`?kp!'N$ ѻ:DƵ?,WoYw )LJeC\)w3R>S7e:d0iAITYV.Pjwsߢ~ O, 5 (ĴH0'^KQγjCЍ=˜6y7ۿYE $!A2 kzџk-ŖS[ }ܶf%6Mծe/.QR@S~l;}Ƥ;g j)nMzibqJiB02s͕EɖnE\ɲ>SyK)Qd~X] ? d*;u!n3ߵ 7wHH٧ё1'j #4e MʲڙGht##F>7xgC5OZ2Xe6 ]9R~XWbW]iJ#3? Hw"Wn.%53ѭXZp kJ[q$5#Y_3Zm`ȖDI׺v Zhr> Fah:WQePŐ``@? 0 DTƤH=|)-C,p5S΁:[!"PfT{/v70@}F+ҧgQ<ʾfL6j4lx߻G6#Vw >_&T3ORˇ碉 iZ.No񸄉ݳ\&R,jZĕL+%6#*2R)Qqc{+!dGLp?{8`ǜ}4NZQJͬ{V{"JWz[yT'N?+%V¤JuW)(Lh߻]z