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 <$l ]w Architectural_Design_Patterns:threads=4elapsed=24.482cpu=66.976gc=2.168factor=2.747zXZִF! !W]ŗXf[&+jFJ*h+R8֧t3ۨ!ET$$Aݺ+ !@AGLܻVR 9p|Tpq7܁ =NFUrTx 4r^!ʏA;7̺[Dؖdێ "f5%pл)7O% kO^بas  G Architectural_Design_Patterns  .ї?(+ kqҼ ml>izŮI* 3#mt B.,t"Y׮IvKр ϒU/8akv}M#<=/ uc8 b6ZWv)*b)z}xeul6sxAZ$1 o`<oOtJ@dc%zVfhҵ 1:mJF̖+^<k7z8c=s?H1eqIVHOhqCseξy(y^ Ƶ:_8r)fu>8J`k[JDB[VFFFܓ 5- kQ{tw#}޹b9̰N/%5GiSBE)u,z-T7, {$&S(<ɋۘrwϡf.GQgZNW)GZ%W)"HRHA$y7 mvi&A)+g+'0&xuɂ?f & uBg =#kHo[8G{qi+/HV#PYSDt_M} D&-6Ґ#p3O#Ӈ}MR#fʄUxɊ7X6(QHSbtD-w.~7VV9 $lǞ<$zHSS ОJfx4DHr/۬cQ&i?=LI*?rڤ9'|,p5M-j~x25BI M'j"jIEb1VU'4u˶}u2hDIBZQ73k<Ѽ9mgU:HKzrduvqnسͷ, {=LW))OxC84kU5dbYPd' E gYZ54348c57301792e9d3c7b6ba62c2ba5ae91a72c24b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9 4074a4e09bd0fd3fc9fcde79e3b01acb31f0e567 77ee0d7813f6d84b5fe81226054a666036c1b0d1 0ce15213b91ba055b59313b005580c8d75ed0bd1