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 \, ]w Architectural_Design_Patterns:threads=2elapsed=29.386cpu=54.704gc=1.932factor=1.867zXZִF! !v(]ŗXf1-/6vRZ]n;hB`,wh")9DQ uW2Ǹx^nwg5<_8+1Œ{UBϹ9uGHY6Ej}fDx+-R;$Q5t5&bT54G$U}@ V vʛ,# \c:Us:)T1t{㝑 (`t'0؂oWoAa@MIw銆/l~ӴRG&Hg\o!l%8FS[N̢MxꕓtU.*fLGo GЫy%w6mw"]J?TޕuDAe |T~.eTs̟m!/7mC5ɹòjצ @Z7F~j JlIV {EZ̺.TjɭdK6,kC3Up*2fzr]]:C0FFܐcv\_kb1Eu,61j5O-HJ)[|^38°mMSFX½2}扢1部HTآ7'VܓimFLD a8y~=na-?V@Ƽ,hb%esp_ "`<H{{s_EPwko ]I %@UwR[C Q~O<_,Zfn ^̖3NFeewBo îgYZ7zXZִF! 4]ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍ9ƥj"Alz95qɍ+|6BD3H&xIA+& f'Hу7o7o5'-ΙY"gKȝnm:%I~0 PRҪ48z$[+J\` b'_v; TeE\m[4v$XgYZ7zXZִF! ]ŗXi%>g 5CksQ R`"w[2 /("_qR‚V{W&ҩG KwGR! Mz?b 60"gQ=Q[RqD[FיrRfj2&7wgt4AJ;̞Gc#WJH m"ۻ=vd&owbxuA$0F9 `Y,efy#zmb6>gJĬWe1mUcLx{ `=RGՄ{е:UJhAL&=f LțkA| m9"A~2mPRЍ'dVun  w5-`(Vq{Sp Wa[t۲o8_Vh?2ocKIsCQFxJ9.c2*l HxŮz>~#,rk I:Cֵw!8â:&= 9t.[j H^vn:'5uƠ`K$;o Nֲ.G, "FnaO֍DN$D2SKV:bd]!$K ­fbJR=4bM`T⭰C]!6빬0<` s`JvMD*zɰa#&u.1%ZO}W7r@΅[s~&㞛 |libctFe+328bw[`vS6fMsȀ?h&V\ Ք:db!TsEK(ƞ],xK ]}-#|=2po,r r7#V|ʦlJ'Jlƛ!+Ѻns3wOclT(C(׫f{M8^h,:DOxJgdnϡW=)ze;U"w>S[R_LU }Er_0f sۤf|Nq,g+|qo ]ażʺ({}͎ yuޘ/'5xh7R}ͳ7B?D1(W!ڪ.YrqQQ\Z>Dm"ak|zBIz&-- x惭a"I[1 5N#䢹NkgY<B DRRq'ei|V &fH_Hpn@'(+|N0Q2u"8Xy K ?;T=3M%rx% ˉ4UYaS$fty5+.pm;=>g}t~w\e&V/'-o&\{9daqv`i1H״:kk \n3}iKxzyn/XcXj3[ c7,pPX5,i*~@R5C'Yse͜qbYL԰U~Arzy$!Y4bZXRƋ[WP߫E.%?" †OG<ݧ'՛2_qI ̦Nf=ހn]/(Ԩ$1/ZVuNzK/3ݢ\a:ߜ̔dLh'lVhC=}Kj2o 2kNi*m.ٕmq/xWR37kԉy'NՖjmЯ8CP#V.<µ aGjBvLܮs\XQ٣VTz9OdGR}ڶC68V#} *'0?'UH;<7n н%]z;2 use5;!2H )tKeG=$ #cz )G&ֈNfcrAˎu0r(;͊Wf@I+$_L`;