SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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,T ]w Architectural_Design_Patterns:threads=2elapsed=30.836cpu=57.724gc=2.068factor=1.877zXZִF! "L.]ŗXf1-/6vRZ]n;hB`,wh")9DQ uW2Ǹx^nwg5<_8+1/g>|n6y\9|fɰ>XDEcac膻\z vTi[(fw8K-Xu/J0-]x&IQTc1DUو.MB][r6C޼(-=N]Ԛ|TqS*$Iw/  .GD1PB] j~~;ԁ]/g/z|0>'BH)$ s hrк0!ťȒ S RC۷M ͡饳8+|6Zhd^7Zpj*O: Pz5%M4TC bU2Av$DUUpeZY<NAc2r X#D)K P~"4EJw_,*0Jᅠ,Std1S z]mAN r}b.kWm@ t-uC l#_MS&V $$\]8|I7f݇[;BWKۢ6ERy2Hbb"ܴ>[VQ*+u4a;% 1c "]WL7& qpp"jUJi9Sڢ'9;ąGlT⑄uLJ*}"EF/%l"A鉷5ڮ7 ҮGeڪlet`MV{ +ܢVoLBȢǕ򞞇y*i3.O\.)vU&lIpo~ =,36-kj2r9oVSo )}k4 }"%׬!~*Od<΢"n l#l4Uv)%k'8F@c1&3<@!Rѽ~e?ttsyc֝'KaC3"Qv?d,ɈAS Ƕ,xiXA>?L;!cGg?NE)4y((fgWo >$L|'遾[{ #D0WUԡ_d{YZC6( ]?rT.]^?| bv ǀzdO.1wHƒip?$%b pNTZJ̆|elעET o28QO9(ѐ7"ӏ)\V "ю gm *٦6HHwd׆!FrHKQWrҼ>](@᝽i=nR.SCLEgRQqgx\{w.4TwDQQ b{uX!BSưTeDh j80a+<3 3ѓBs4m>CdswhYO҉^w `jT򐚿=I6C>YBpRi@4VY-t=zNsfvۻ8)Z!8I w `ǁbLNSG uN7ש.f )J4͌gYZ8b8bcdc735cbffde3c4aa2248c82d83d828e8a9c665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 5d78552cb887983b70c3b7983c4c3bdb3374a7e6 61b574d0d2a40fa9435731230d8e8548d17a2f9d 8b2e999c8e2bbc1c7f6536b36a50705117bd3eaf  G Architectural_Design_Patterns