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 NN/G ,4 ]w Architectural_Design_Patterns:threads=2elapsed=29.296cpu=55.240gc=2.028factor=1.897zXZִF! _]ŗXf1-/6vRZ]n;hB`,wh")9DQ uW2Ǹx^nwg5<_8+0E^80Z1OB[ _:RʈS8iH»n}~bXF"j3w}\X[= YhQa:mʆ\4 ~KwFcTmy)`-!*jl%@ @ -JU](Wx ]cԘ >jw.ziZf؟[CAQO " z>ji9!Df/P axh +P4+6/!| Q FM ~*?#i2OMm!ʾ|1ƫ1*~ "3 D&v+Y͵F]_il7jw*w#nl>~;ޱgYZ7zXZִF! 4]ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍ$DG P/dae>zܓ7߸ A@IaI? lo2N]O(0S Ԯ|b-*CQF-uVLI>32)Pv|!e\qdB2׎qPT<V(F>SfNeyST٢I 4Ϟq+V?Fqr@Q]`HS^k_V7znx9V%] ]i24@nK&FMhj;oroQKɍDDnJfEF%8k!PE;&a J 4%~NQ|ORY3W~ ݻ]Y7/H)M:n|1bHBg\m%ʌY͒P9+ٽ|UmG0.'9_V %h: Y~amHv#|*\$0"X®$`䡁'͋*0Q tqc[{\(bbG]%6Ec> :Nƍr_a !kWwS*\h:UOa T$YPr$!֋^KpY?OVJ2-i]z V"]:Ez%q;I?-вS[OgeUUB>Q^I ]EKbwV]glSTnՄIl>) x;m߳ OxC׃ˬi4׃=X_cg,% Zm̦hn}j85zuYs=v5sjE>tt`=MN@Kl5啤i@\<|%🁚1W~^ܠn&5.ʣS3`*ֳ^d8gruӡTh6Jr ѩ17){ 1>BkmΑ9~ jR6pюI-_#2GIw7Kx;ض{l%-K4?+T m~Y3_l (Br4~%Y#'tn5xkp@mhfq Dtcc;;֏r2t?l9ƭvȣǧj<%=Q@¤Z|wA#Q cEya]ތWN%&ԊgKV2櫼DJNHiK) )Q~)QqF4<R`g0d gN鶝\DN5=-Σ&+݆I4,ՁyhtlE}B8SeG 3:ݑII$o̹ cZd-ag7mzȚ,Z`O8Ozzf2V.Sr[20¿`f[[0w4j@զ1Mj ØOpPɛZޜ+Q9b[{Qy"sYDWpKE;'DߪA#r5pߐps{=`Fxbyʞ] tGƲ /{=U9VX4Ff&m+]/:kԛ6[\ce[ug_tI"&;kW xF? |f,b[7t0s yKJ ?Lb{j?{߻ Au#<P@ě['&g̼Z᳖QE7w oh%99`P*s#JfӥحA3=X/>,ɘw4f4TR*#5hNѶ2!Ьr 3>= ˹f)xI_&M&)]'kw]Dr?i14әᜄ~RJY"O<>̥N/$nA!=&qTY&G "HԛâD;`W`JoB}gYZdec8222bad384d7cd9cd2a259cf5ee2422ae041e665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 c255daca4cd67e985074c64b73359417396792c8 800a443f2842236cf5299ea6c54c90ad150a9823 1f01b49e33b14ec86948d9a55b7a1814dc8d8a9f  G Architectural_Design_Patterns