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  ` `+d ]S Catalan_Numbers:threads=2elapsed=2.917cpu=5.588gc=0.132factor=1.927zXZִF! E]ŗXf1-/6vRZy_c5MD&t$ϱZl ahLP)v>6Vb*ۑ CߐG옊5fMycvmm_^y?DT)Ww#dp%mJ™;W&Jq*|.G@AMa^ Q?P%FbBDgt⁾<];|EȁVi{ x>ͳ]pd/U6C=Nx첂76j$+:Ey r) iHWͱ7 1l%;_jqZB[sޡ[q/bBb2d9Hb_au `8ؕ V7>$BmځGrY +/_ƆXkhӂp9-ZdȻ gh ~k .>I|ۛ5”|27y1~y:MuR͒|^T_?-`tig߅JdߩgP?IWJp=x .kȲuԕPGt<1"TSP;-CNSq98qOsoϟqBܲr+}ħ桺L7tcTRvθVe+D: ǕDܻzUhڷuŁo:=,GeA -9- x:%?n6`5Ήl.{~>|ZgYZ514e304f4876ced1b337cd2706a37d08c67073419ca5f92a14099d9d0578aa86393b807a3c2738ce 5d409056603c26099742d14e8f0a43cb37242805 0d958163c01ae27342331533ade53b2cd2488299 adacb9dec058cf66f6f0abbbe6d71798328206b9 + Catalan_Numbers +K% $Catalan_NumbersCatalan_Numbers.Catalan_Numbersdocument.tex7zXZִF! ᓥ$]A-MՋhvG"uIBm5 h i?fdNwU}9|AxQq_ɄE}8,S-﬙ 8 !@s T]+M+Fqɐ(0*$"J$CWHC%?gvƒfTR+p  D")&=V_YRщhDYmdW\$QttoI p;ZCu@i6ڍ!|sJc]EZZ@40ѽ=m1vaVy DϘ} w@.GԳm±$g~3p7-"&r\^{$rnEџur {rTl%E.o{;^2OEUhL+CwhÿU1E-q&70o_q)< ZeD9H6b:#HL]sѾAqIW_@bdh82ՉG廀jS}Wۼj ~Y HEk퓐@pLå%L9ZFq, QsBdy$ 'AùyO.a(a[{z7eVnQ ֚أEƬxq{Rh@FS:uލwLPeM㨵;P'Wf/ps7}EܬyRw}9 ʊ;ђ,#BKܨmao[Aa[&cրL>.B, @a+ݩw]?"^l17h{0sN5Y/Tl%XN@2qD3ec)-v&T-;qi 48!x3 +j ^'X2LtY޼aS[ *Zz-E9Y#qV/mA0%`y߆}~cK'/'G="C{S#p+a% TCatalan_NumbersCatalan_Numbers.Catalan_Auxiliary_Integraldocument.tex7zXZִF! ฌ]A-MՋhvG"uIBm5 h i?fdNvvSi~ǃ A K&O eeL:,]1tR \`zc}YrKwoIWO;*cCM:Ѿp_puჃ R׫8H V[ƠvTr(@7=k3/ ;XWS;Fi5 |Xo)3zD:N =wDZ MiJJ< LA,]9:86c$+6k`-ғNB-Dp4Kg }Fлy 5z-B9PqT+6o/ u/ *oiġZE ,ks-WLKd?ib893mFIi3x&X'wjg_>$>/Qk+6 -~SNE|P'nIĪYW9SjFj?˰#Gֻ4ڎo1 FpPjNn?Uq~E5;O~S L L]5gct}w_}Ui߇輘K[K*>}EEԹ a繂w|kZFuϒ( yo'6I)NSYdq)B²7T%[:0[BqN[8`^1?8SRWu¨3jLE;EcC6AqƕN211uX-TׅBUw_t%:THQ`,UTIXSre-e6UpABvuZ䮰(E-5 |f(  .YM^O.Q#HzP$qWj\m?64.vM/OSKN,Ŧ ,b* ?zME` zcc, |rTwH/gN;˫y8?OCaȳX&:ubD3U?HϹ4d'ސ۳lAU}g|V!J}&gcv}{ѳ䊾5 ١6} F !bnH{(X/j]k{ sվ圖L-xF8Rr/(Lp`w.Kf{̎6&tt}*Y1^dXe=^*;GՄq#co׏XSpp{| "Y'&p}7[JKb7I,+'BQNԞ_Ώ ٞdE͛o(p2Hڳ[bTN1ÖɌˀ]iQ&/ jy\x|I(A%$67,^)?;9CxT& a"SB m_HV 7$5swLl)SyƒH׌9 ms"wLbg1X0߹'pXr'ϣJoSY9FhVsM ##e߫ՙflTwx"<9뽣Ds=,w-d2G hӸt$~+C 7n0&Zԭy^nGUٗ ?mBUؘ2*\SK~Ү= fİYl./ IQAAǼ4V% |;,I|;tSbJ,q#JEuZcGF[64KIYQ zKz;>5+-ye9NѲU~>;~1_p/[˗G=>ujMhA% `ܕ!}H)n "lܸe]CuHrW[Iܚ㔜_6]۔ P}a,q\7 B|n[n6֟bcUw^fs{385%䆦{(`dߝԡs(6f*u𓓻uY]B\N(UR*ڣ={ ~\ OP!{] DrV KII7WjϹ!SCDgԾ/f]}D ^Lf'!Q}kҪ޽(VGGLa!MΈGdAZ6!]5!WT; *b L u8D\pbm`~e/m l\\/ ЅB8SѽM~#Moүྮ𓝨Sd46Cb ʥ9pNuv14}͏g,yFk§ @ 0!r1{Ʊ5wPSiP>^I!=^×75͉U(DR;drȇx RT89%ڣa|.Ӝi1 KJVpg(烠0Q_ yLNbҖ_s2U֟$*Pwįo̲@VihgnG}^˳%%яf̫ ϙ%j&Pdr Qpn|X5igYZ\"cDr qf2znje<]6E"uk_%fg-/rؕD7Fa}6"ɜko-7-TJXm)39.p|gX=,:/ "kNw@zalÀv|#)Χg/Z<{:k>XS/\.RO>-2#!jb=*]KF@Kjtu1$Pͭ "S7FvEnpHc&Q5h IT{ȼ!);_٣*3 `R3kn\`Uvk2cπb)+ y7M6a/t)gGk`n]luԌNEv&A;ss+siyɄ !D?Ą'.e&z/Ackg-dn8Hiɑm&j0|pY (Uʉ8 T}bxQ7!.9SK_R#%^/Ga^= u"lncbrXt>Dlv:~:3i9aKĦ孖KLHOz\Yyyvwq*kܴ5:"O'uwyѓz:WENSX񍻰C'_)Nwq e,*ALe#zܪew,q K"q4EwYc~ƪ>://".T6a.{P-p?@ jJ/RY .@dAІ_=j[AqͰ.1^}Za4$u ~)jЛOֲd\XNRэM 0.j-ZªKPGo~qjjފ#hw@*p֗."ک;lGoLI/CQ|^9gC4Z&-%J/j_x8?4[AY]i\nwL;51R_r9p^Xط4U.F51hb5J~EݯRo* z>Z3E {&-JhSX1="N7W6:fx\DZ0 }r9eMZ_A2 @8d*G}Ƴ4UGzS6TqEb%O&"x]/ͻԅ}mN!AGߘVXB 8ԷY*A@8 8@Rz)H`lf;Υ@,qt)鰝^%0F OQf=l$:8J50&c[&/]P<Fk EF)ڷPNM8Ԃ"ok塾,}iK4N 3Ca9a{.zt=>CN2gIp4}OTM60F<'i}biX/~U5y攃l)'eMf۴Ћx2iVLFvGyǖZ072ž<.FBz wTpEw>Ԭ(A47VsO0,?Gdܼ5 nqޯQjkAqUi:2"[t@>":7{FJR=*\(vrFsNxa`-/ Ea6W GLJ7G/IpB1/|VKk޵3fpsԘ CItbxA#ɣ Y ):ؑYx7;Ňn*Im_v&|%rE&%1/&B&m GI[懢M<ox%z-W687S)!"(TϿV}/ƹg2IS%9 o;0 z}ÈI௺Α/~_vw˩ edRJn} ?4٢}U"BHdE{BsAPHY8e.ޚ)r1R3'ItwmF%oaUk$ E#m)߫{ -wgU2/|IZ%@)> R:X!L:<3H˽9/-nӦ<3]xӽvKuz3'~ (zl0)kGTyøR_QwZm/|q$E[F#GO @Zi~]9u.WX?X OW/4 ToABdq¡3-y1!`2Pkzh#.kz}֘l4=(**@ y ?{+[Zmp#556k@,=jg"g7Uvo~8N{E2 q2P?E)y(&I9bnAa3e ]:/ncޯ|Jݳ;G\Z4춧]eq)*'A1:a'Fd !x9 7V$w[Aa5b]dvT1'f .{"KxeοIҤيIO"TG* w^3nnA{u󡥷섃uLx9%'mQEiRXb؟Cҝ?Jj gn@Ɲ "6N~"(IB 4~k+ +<2^sJzb|8;L8,Sk>ԁm-* fzCGRwۢ7|ʱoK""]P {z٤o74v /=$O-@bX3"_B hKpf9ɮA(*!|P`4Ϲ@)jo*ԫsnpoި3lN5j8P}qb%,E* u<(!xRӨe|_ewk0@1+Z"%v b,R_PTCkYܽ(3 . 8s҅\kxJn[- ixzJf!R65G'ї/'}~K5 -܌uXI#lKzb8Ɵjw\Wz4a!|J0T~%d=~О\M 6Sy)]ر/rJt%q`&BJ{X/V=39Y |O^G>6rǛ2b5{ݧqj^81G!lD ̈́paoYYpV# UPy?,yo{e"4uf^c$N7~&Ik3ɱ~(fBFdXjD;aX\x^N#vd}lȌ} DJf*-`4ߔ,WcHx1 9z1TF].L 24)^K]X;3;1VKP|[ُ7pwrF [;v ,r .H8z~M눒RӁlaDN3ZbZ˚{[Xayʙ}g15p^_?+XS9`GT4)bC_v h߆O[YBO̲vBR01ۣ>|c}>jDN{Zh!s%ňӿ|׊e]^ss#@9 $cC- ROm#E6UPu>'S),M /7% n5'i7)=ZBqe kDWtvؖ[=ENܭ~ͤK (*ړ3 .?HR]`R憎M$؜Sl)8( b^WKI Sa{9ǂୁO msX3X] &hByVETozJVJ_Aj%Ꙙ)=0vB:a_HUۖWVr,{(/5U;_fMCB7Z RO1=ܝU/b ϛT@t58 Y*ǎ7IE.wA)[,JK(C~#@IܨՏE‚'S*%/6AcA}h@,ƞ\T`YZ jR*pluswdwdڵvLmRrFMĚJ8L`n'X]Θ)$ vg zNCȑ!,,Dcב?D.a)]Cs?x>g7xb7#)] 1s?UT S6hy­H-z0]ƴJQ2 ȾFN*k{"r: },]H(tgӑNfNз W8O;Ӷ mFTϩj%\~3G9[kyk8fLfTYom Mo\e35cNEp:UBĦHXW3pBEd5ڥwaTQO~_`z?Q85 ZаQ'09"Pu5ѬO. Dv[h~I2LL=:m֜:8e!I5IaQ; ,}?ҵߕ};*8}Ȓ9`[.L&NN*Z*-4c8Q "vRD}H4&J7U/F. [e!s:R5NF?6 hu$g^E;SG\B \DplQsBkmgNw B\4{`>ƃ9)`;31 J:욹>U3_|%v؝wv~T;:$mh_y1PBR1$k.HOWL{j mě?_Cs\W&Qx~@ &2ʯ3Umݕ|4.RN,xC:>N3$uU+iOVP&)57#d]i8+ =Ӎ?`,T]fWǮD"T+rˏ;06+T#L1c%Y~ȇMk#YsZ)b"I{):+u:{Łbݻk _. 棉$K"atݓ0kkDɔ@S祈@ T[xK;PC}+ R$>:+k'FӸq3UVa#B:NK3[b;%`[/$]@-7msi6- oձڡk# Mq($jel`jֽ`nvy|Lt3[q, W ?\Y`ny`cDD;,=k٨bg]^8 i4BpYa2!7GʗXiںQ1'|ۜGJFu|#9S҄w -dw%6Hs߫0vG;zk)BotS~7, Q[ UOא~;jjk- K! ׍Vzf~53vz[ue_w..}[,EFUb3oM @EX068ho fPboo00FPtRXg$#G@FZ 5.u'G uut5'%̵V5=Hl,=S.N$N2L i)h^0ܤ})H& N;༂%kථޞPq!=}+_6_1,z+F=%]S?c&RO_#{0"yK(n!:>37H;0vh0r ÈeP[h^kd].>mo&q$~"gĴ`WD8u $6 |FDt$ _*~`ĸ-ԎGG-*1V/(_yLN0?+1~nHFp$D7xeʈOoi6dy OlsC Ϝ&(cQUHva,sjSj$^^3$5 BW'{3.J K wxGuF|5cGw] m\Fab9XQf$VGjgE2%IN pM-Չ7Ĝi $?龎jAZt"g?&