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;<\ ]5 Linear_Recurrences_Test:threads=2elapsed=202.686cpu=371.888gc=44.820factor=1.837zXZִF! $]ŗXf1-/6vRZ̭|GVu>e5!!OZch/ޟ~BO`ϺS29BoťUi|GݹcHUP$pBb|n|KYsfMV;- Sjv Qz$(?սZڬk~*+]⹊\ 5@ iNpMM4J~i# O**P(Tc>3u8܌K2݃ d9s1nPbҳ_~1RԂaB9k+Xcur {Evl[xNQ5R+33> Etׯ̓ Z|?_UK_~tn8{;icf?2ЙQ#lgCO'ˊyr+YQ'd{߻I:\ޏI^pYaoӷNSHwu s| )o.>y-*M(l,lo5r@W7aN_g~2Y/ERlWRm;krd8έο EyM *0+Y㛮c D!K6'R& YkMMaEc,ǙgYZ7zXZִF! y]ŗXiɟYW׿5-M%e)\Q{1ʝ_<Ոnt;@BQIHcL]u˪P}N y4M:t)z k(Rs(H쇩4Xú!qC {w u0^:.s8б~e bk.U.m?M@z$DYתsG 73ha,@jF"/m|Fb$aG)G}=˲Ǖ:)c$v[ڷ 7;;1mZbzzNrtc^'%/q*gB èjeWe0S?;ӭ1  `±gYZ7zXZִF! _#]ŗXi%; %d[4c;u,%TM` ^-ٸP0v@Urjdw ^8N$A!pUbҽIJӑv "ѕˬ|_.1VWG% g-\% b˺%#"&7+ }a2Q@:JI#N+XwAe:,M#.ڂ}9pqj*LcRob^.)X$((kkuZ樕ث[i[Ǝ^@kr 6|>QS{<󻜸C߀ZCzixsZ4mMIqh8!p5NJR?Yjră:n?_ш[qkMhc mltb' _!:MI~_5΋mP[u~&jҁ lx쟏Z^}g:6t7i:ӂI0.H6ό-j[o!ߩ⛹A_ 8O~Bߵ|ǡGuisQ pmN%qI>oñK Ήłi)]@~!E#*5ѢOLIE6e!FELf Yƀ,3mO'+  6~ג7bN03XxϙLSK a3 ԁda؎fxWg e6Ņ(j{=bdeս f1@;<84 OX%"G4`PcД[z/ڦpi; ; Linear_Recurrences_Test=;y% DLinear_Recurrences_TestLinear_Recurrences_Test.Partial_Fraction_Decompositiondocument.tex7zXZִF! Z ]A-MՋhvG"uIBm5D"@87yqgZ601Oˋsϝ>,,g:}'TG[6#:/QiXq hA16  R|u" yZ;΅gRv60\ R0GV,9]32?X4c׻8^ !3G>k^j>NV97{=_cл^̍q,+E/CE86voIK~W "Veg&kD?%$N!/j0 *$}`w8.;c% mpy)s/$}/#:- *y֚$R Фx@D>YdR"bAlҚZ &dr(p(fΎ_9 db:V&nYz@s/yIˤ y*ៜqIF6`Ģq. -C}sjC{=-ⅹxd4ã&):8#2҆KNA/fU}hbR1oxAþۓ6K\Rhb}T;_i/o\u+=5L iM"ڱ*gv*x:]Kn>w .^[҈N=c1%;Ki3O%LA_3ԾX"s>տk{ssem7]oMku tl2~yIf̍]=IT)     EU 6L  HL;S%Linear_Recurrences_TestLinear_Recurrences_Test.Show_RatFPSdocument.tex:;/%Linear_Recurrences_TestShow.Show_Complexdocument.texZ;o%Linear_Recurrences_TestLinear_Recurrences_Test.Linear_Recurrences_Commondocument.tex W;i%Linear_Recurrences_TestLinear_Recurrences_Test.Pochhammer_Polynomialsdocument.tex X;k%Linear_Recurrences_TestLinear_Recurrences_Test.Linear_Recurrences_Testdocument.tex Z;o%Linear_Recurrences_TestLinear_Recurrences_Test.Linear_Recurrences_Prettydocument.tex Z;o%Linear_Recurrences_TestLinear_Recurrences_Test.Linear_Recurrences_Solverdocument.tex U;e%Linear_Recurrences_TestLinear_Recurrences_Test.Eulerian_Polynomialsdocument.texX;k%Linear_Recurrences_TestLinear_Recurrences_Test.Linear_Recurrences_Miscdocument.tex`;{%Linear_Recurrences_TestLinear_Recurrences_Test.Linear_Inhomogenous_Recurrencesdocument.texO;Y%Linear_Recurrences_TestLinear_Recurrences_Test.Factorizationsdocument.tex^;w%Linear_Recurrences_TestLinear_Recurrences_Test.Linear_Homogenous_Recurrencesdocument.texG;I%Linear_Recurrences_TestLinear_Recurrences_Test.RatFPSdocument.tex_;y%Linear_Recurrences_TestLinear_Recurrences_Test.Partial_Fraction_Decompositiondocument.texS;c% Linear_Recurrences_TestLinear_Recurrences_Test.Rational_FPS_Solverdocument.texuo{ ufTk[q!PiO1<*ҹ6arQڔ LG'{/HX&_CMPlVw>x"Bwhwn!Pqz%srQD=ƇSКo 1upxv~힞2'K\cQKeb>S$Rҕk6ھ^kxCm\E>2K({!Р3S[!S1]C UmgZϠJ1NgnBBym31,p=ՄZ7DʡCP@tQfˋ}7+l)}[R0=^͢ xG'MP̄X?iN({3gun"6} fM߯]:p tx8*rJ(W=Q߷6Ce= N*|.dLcź-@[T郼x?kRV"h_$A:3\ׇ0g|潫o7k7 xH7+|$/6¡%ϋt쓗 _D @s1 jѪ̥D1Cʿ. =l*ukN@p6z79TLP:$.U./n"3*pmW<+er2u :VtdTv6ʅ0P,%!JN_%=x<'=,^`7K;,{ w&;n]v#ؓO =v)-&8kz*_-Qo1#%B7tOODž6d+d8pc/5ˮC%` PMNQO+#,M_!OL`Wnos"0Q$^S!/ݹ4[Uduw'퇹e\V{[M/jLԊo(J$s[3A:Tl(,TA_{*)ވ憄f+:L^|ꥴ)SOv Ƅ/ȥG$VHeɏf,ڿ݂G& _U(yj> Gh<ךmܙ: na~6@mlzol(S]ө)zX F"-M7ڍcڱN5~RB=IW[۰]ܙrI0\ ;<U ?ht"{fG<áX]+ _)2f%!jBEiZ; 4ELUv"a&GҺƀd3[̲CNwsE+k ,JOM4SF9RE_ʪ[#؅LBsH\(omx@ R"ԄƏ - oW+wǶܻ>ю EuR$E)&a1 7r^8ݣ"^տYau~&Bj1Ѱڪ,qDz*,Aw Jx ҡŝE%DY9\aILazwvOa#t>_'/5V"Zĩx;>iTj0xW8.2j'bL. X ^/ұgѓᜉ!nSP0ϒW r%k6Jٜx\| aڌ: nI`)/cXʓбc NbZ*wp x=^^<:t;{os6JIUaoXcCIpP S=h$(N}tAi)뚽6lVqPH4KgԁSLj@K>"xެчwC&3xTĉ=JU&2(Nc-nFj;90 -Ġ/bn!7]Iw  *yIk;;L,)L8QE>,P)mcpguNi)r7d>l~?ˡ=/ΗhB,` f{FBz5ʞNTp;vs#UocLJ85"L%Uog:nyϰDޔ}u"qg7*$ty<[":zŧi?UF0;|=YP;ámac*kR&V_a`rҬLλX>-@%%$,YZr&);J,V34ܤ0ڮ:zv2uy]8b'}`DD# h;'K̽w2a5oMfA5ɛ&B*Ԗ{$ 6Zٻn1q?ˉ?a4Vͥݘ~\L[/UxI.Q sFekےV?pWHIP0>-', rmt:2.ƒ49czqcbopӥ«)m<[8Lz.Obd5LGFRs_[LMhol `V@v,x#ʝN3GK袴spR*7<_ǟ˴D}? 3eoQD&H.|r.(kY&%ژA ?;"wPY"1M/`g, 2mZ.+ϒCLhB Sc+ǣ8@{. '!b[H$.۹iF5̔ `mU<̰EѷdfYD2M41;ICd6+.<={ԆS±ש.+31;ض{.n~'ϼGVqh&D0{{f1bc7{ P/~?DB3 !2JqwCl);ê=Mўi1#xh>8QԸeE[}Ÿ:|jovCGpG{I ^2UjYop]V .'75ey8zâ  ESנ 7dKp֑(LOH*>(a%| F#|δ?,YKyrDJ 1+w6_.X(q L]Dw;IPV*laCGΕ>yd}mVb FrVoDBrdd#S䊆 hxuF0ى o\7X(=<Ȍ0*k'"f1=(oֵV3O*ڤRP Hפ-%neP bzIH,1k>Ӧ֪4YR|FSX#t4u~^-;v#ꟷk %N6QBTQdA\VJG^6Q7W )SoZ?v)'qEf @^tÁJȋMW1^'_RAaNje#z@ʞ).km\$ ]φd*-2[Bad\b̽pA<ղ/PB/kel)4֏'+i n#N91 U_:]QAbjVߡ-}&4or#`#Z۔am(M|ୋ'z:QNXY̺nVȝDS4 $g$BU[0nъ+!&~ 5M,zF+6c.@LPT杹o*:`7o_I[[m`:jmO.hMg!5n,Wq\zD 0A N:  nA*J27F +)fM'C=6ڟp C/;&dQV 惄鏫DkoO ]Sex@(E?eڬXKƸ8_Z3DSxtLAf",59RRCc#vl]QBquJt< (kk{G:L35A"p/fM ;Vƭ+$ nO8kf0ߴ:/吤kwHX tNid\c2hm6vcFd9^7;v?*J|&(t\q4`<3i `jkYJH-KD. eP4ƭtjk9 `.Pc7w$nR#OڲV){!OAnBM]p%lƕP7iC*g-:ӿr9XI3zuݠ%LI ],E?4.s煨 kAx AݠġNJzA*Iw6l 5^4ݿ|v ²'et蟭]`s?ڠ_č3]k⸷IC/!XNʠj~kms5'.g4+ܗDn)r-0Na6t.LA…}ט [*7Ľ  6q~(<(8\fvCn~Xa KZ]ͼJV~xH@\s錀!_.޳[#K\oCVTF >4s=en=F[^ufk ʋVsdeɱby֪N+fÔۏ:*j"9fhh]Zomո5K0Pfi+˘-tQi]a(l`zFt:.Ʃ xP^OHQAI세pҢ Wq RoK 2ѿJtBlz&'#"EQY#B^=M bB>RM.tjT7Li~RݠUN*&u9U#q3|'Y|nK53ɽ:ͬPi:f"ޑh9̕X h15O[鱩c.QNe0w$RTHH߯>q bbFZZԀH):AFR J>E~1pZ|*܎#-:bs l}j\/=*{-l:o㗘4>J%ud$V[u0LjI$~KgI~|PGਸ਼[ 9?\BݞM`#,''h4®?!japV_ƍP69@IzG6^B.wu%sf12SA- z"9MـACïƫgRUu_V_FNK+yW^x:=GdFX>!onq˼=8WgH,&j 7 81@beeԖ@}(aG_^D9=jێQIc bv$@M0neg:&ĮLgs>٣\˧,+~yjɫ2r!rpHcNjNfF@8Yo0!>j*nPĘ5&h4K#ՠ@tT yJx:'.`?4n7"?2V1] Mo[lF dm!6mfD՝ P;-.eKٛ+Ah=2= nX7@א6TL]{p$c(P]O}4@( MrKЫp,T.4FZZ K&d= b-~%+7VnmD̂m;3\!qCY`oeø(JCe: 'cPε a>B\QiS;mٖHj~f ~l T6(5n{8+@(.IW:$nrT*Q<"~M^jYOMN`wOC1d+SM% Es0(U'˫|<48U4&[nm)?3,d3̜~+Gf0Zk1f'7JC~kpr\0Оw蹢R gd`LmuS??wƋ%D_W-9?F!\@c #'#"?-1ER-;EA&`/*GDEnH>j“} Cw͏K5c\ZӁ n\`b7|dKSaϼ4N9*c3JPo_q;D]T-E1wK؆p*$t{BVi d`T {I?#ˤPD]}ʞ1N2?#k?׶4Cڟ:(%hR(@rH5V u6~,SLh::X5g|PQdaG_@E3-oK> #?Yy٢͕Ó3yYz[?nZtO24譑IM|!28#\_|]xqRڧ3-r:7-0/x7 DQECZy!?#=C)L;oуA|`tE]6X&Sg'^(j:R>F? `C̍@CbG%!8w5. #pQ&dWaPBCHek[$  [i+"=#rjSR :ʌz&glj^QSkߚ87Q-Y:TF8Ɣ h?mwQ֠DsF?2gHu_Wo rB/ %nR,=EE ^MXJE˩N4Eй{s L YXuqZ{z5"6!Lm{A|$4_[ D^OJnڏG庠w)("foUmr 4U1[7s&4RȀo՚m{cprϾt6/ߣհZVf5iWP6#̸eʃУAI$jW'7Y_ɪ kcʐ7e\U(kC G9b¡m^PwoTa\Xk1r H!-rDo?ڇo?^&ѱq$yj%JXp ky 6 Ku*Xfs0%O2TCr?&/]cz8$+i'$" pjXu8q8a1 xd+vY`:AW,e74/h6KmW!9 4:RaO3tp.V>1){M#hzz LdN oϫ)aMK:iT &j+ލwU{mSO{łpJ)oq##)V1qK`O/<ٻ eD.PƁ[&4&²Oߠ5nYrvX7% ”)գ3kĢ#jV&Fv83m8 0Ч0Sh_pT DqhSrW':ٸš`燰F'5Tuz%UF8sJfk`J}WȒ݄ :1s#^saU%߾ſE5dCo|7,B;s>@~-=^4(2]3 tMҴtmSK*Ciǽ\;5pW1> }e۸_Yea ] %f`6cAh~ SkqEwDt: /HJ-y/>o.-Q}ʶqt^޺)!D( I;vL-,SonYzB{8-FKfMG|-V:C1Q-ej$h"]N#–) Ns)M>ّVTUS̓Pu7^hT\+hDxrј%Dsκʹokjmɑ!%dA.ըmhwV[HPY)RnL'ۊ!N3H&m#N)ho(|LC8`)yxc FXJ0Zsf{64厘 MdUAQ{߅7mO}783&A1 ? M'~*/ifU!`7bt7HÃrG 6]ÌQx:eBSзi,t\/iuHt߲"gΥXK6#JK>6XhkC 8Ys%݊Tlj8-!/ڊ:]C~/^,5nŲ. !A%  ~Ժ.#6#C2yR+ݖDFVrN$-eE4uu6p,3j/rӒNK*B?o&w:w5+e*zCE$P듽ҋv t L(FL2KK^Vs3 |R N-UF,5WXa7."Y9Iq?ůØ''qu~M 6QUܲnC:J@yw3f G.7ch%-f sVyT© kZ"M-f=lD5P;6gh9mx&!-~~9XYtyűв]qg٣.`fڱ?Y6aTRDe.iAؖK :$s څZf#? ,^D|?aԤwm"S~!s wM׿e%uR.u0}`V0!W@YVKtph9]COrffLy]'*#ȽF]IJ1bcy.=BʶzgKÕۇc Ԝ[enVnVnK

}ݛTtw8(4%>k!w|R(TcB9ӕe1{w{0kE~f\kFy.RaXk?38L:ׇpRR$;=-3>v͛{eѻ^ֽ־Pf͐RhLN`6|q*Vjj+(^wQxMnCQ+ CN㭢0'lMA˨r s>ϋo{&F@fa2lMWxtO#̀Gdߝ{4:(яRXأ27q2D5eP 8NU,z#{NP(еrq%XaW\EŇr]ia[9OoZv%ؐ!gZ*xEI0~^kAZ+Gxں5outsz:x$$5Y(l#Y̿?7_%N \Wg@dZ >X*9Uowh#Ua& }G0("yHQ`p ~3zXqTVr0 o<,owq 6x H^^{{V(37=޼RtfT>0y >Pa FSvmi`+QNO_*I>b}rvH^fc҉U몸iɜ֨2G#LnU ɇ5džnp$ @p#EefHոo(zx#SRK5 qc (RR_dDx)ʨpֵ>=>\lЎc-Lzz$ er+| ,DIW i/@oD&S=2 ճ<)3d"Cnf[6n9g/KOsh!1$K&|u[DyQBkN3I^Wob,&~tN{mNMjF({$։{nv0LM^-$pvğ`oU>-eղ\ $>r;q̽LeNl>~/b<d pp49%Oۄy0 ۑ1=\Uf``s^XZ:E,0*6wx( dwhC9c "Z_UWC VA*\Om4Mf[-ٹSj ̱k|!;m7k|zbLG&[͍@@-)ըk]`.#,՟Q@czcb]Q ԍ8M}WFX18I}3O Z$*٭ 8go*3ئ%M0}7,.IUb#,Vk55s/jgDhO8luE*}3NO@ƆOws ҆Rq A033[ ֦ݷN2)ƙ8#_Uu@iS 5]h5f  uW<9~;@ "gn\([ g?| &TQ/h#uI_{黅eϰ*;p5 \cp͘8xϏ\AGsVPi% Ή0?A W 9OoNl1D5G/}MsD!N2*.Ωzx tS/,gsLs7U]T5C&:H맅+x g~fN yrp8Ig羒@4n)Y]\Nitg˯**v7tSmKZk0txP1GbMqZ|a.`EJQv3O Lu SC0G29C/DfYr7;2hQIjO@9wh3ڪ<ϡV%^%)y 3xؾנ[?Ĺ,@~@Kl~ځߊL.5{0u`Q\33o"z-eL1df68>OX*^7IM5`^B M EWq,*dFy`gl6IXߩ.Y'#j(Xi86 @N(A|r<<4R>0C#`x.dôm"0B"~zrƱ_ús>{^9콳]nOf}bSGqѷPn>iO()hnh F(fIMݓ AmgYZ dZQ>^#?!Uh꩑$t? w_zRYZ8o}TL8B7TW#㍭->[aH9|~[Z|'hTy TpcbS 3ԏ#9tơ8(,)hG$.U5)*k7LX{(ģl+S\f\J4"2\+kX >J{^`^ ؉ wWdf8:7t!tK2@'.-m^j@/|P\2dW F@#^mB?!surգ VwѼ֔Wfv˄g{f U)mD0s{WM=oX_ X۲Gs!ZL_N쬟 o*(׍y8(΍Y?I]nA%ntt3&Feb[db] L&*HճӗX]2_ߦ6{Cf-U|X2ENa ɽwAF6RHV`[}V .t[͞0`:Y­%Pv5^MsU)sbCnƳɗ~J^^:BJ(6[9z}A;D)N1>hl$ m+|2j73,= O { ot$ jƝ% BW|hTI)~ziۯSgi5T]>.MO2kE&"mM6D`7WZeJ<Ȗü9w-sH3Z|:Wu΋<>IlNVFRZXJ}X uJL='1,]]{81kiJ!ouuf=Qdt).M4&^^| ̈. p 'a4G_n"L.hI+ NfhQ*wA1xcmcsYhiȀ[Mq~h4Hc-5a9@Q5E +L1F1"] S/FVCTS\Q$DԜ-mȽ`*R/ޣUks:9SNTVbǁ(Dec*}R7E$M:C~5!x7M@nv;sTVt'ƣAyUETP775 d᎝s aV~4{Nl,EMNQ )W}eNbxجXburΐ3F}]ڜ:>Ð?g A @nl&&|JόUvg=Mdpzŧ>h9Uŭ<wI 7)eu$ V:P)w쓍^.6tGMcZ/۫=ipi{<2'ݧ;i>gIGռ/^^%.mfݠj2 d~ApI7pq}D/ձcca<5txDׅ(@pj&=W7Hrr"m yJ w 8%hH8~Ɂ>4G0V?qbe.E3!\]a'o/KuۊPdIaj>,3+6/vctꑸ:mM2._y>6C 9j?j/d<"5f+Q}u$*Ԟ} @]A3uВ֍6!|_BLapw҆KgeN@Ohf3H|c=)>_|ntr5Z7*mЙiWׂ)Hs|hj=RK)%2"/oȁ1Z9ldzS@/%h: ϧ=/&ښ _Ko1GJ/0+]5>C:?N,0^s yjHC%􌨖"aHБ6E6:3[drvy# iņ?lRgL\{&wv$`9ԛ?Ln3W,W`HG{Kԟaj5Ջ^ 2H9 =ɜB_W789&"++!"8@ *o %I XK-U$}if 0;"wiBS)ZЍ f9L3?nuU0huN?Q~LШ hA4i[4.c8 "_*"c[[6 `;p %l7tWI+('`$v2]TnR݂ʃ4ζC9pוwpp\2<6SGAƥga],A9:W9AH QI]ea N iyx3r|f@/79ww)`;{4vnZf#¨S P,e Q |uc(!Op內hnM\ +o&(H4  J~x#}ʩPjo@ A a@?b,䕜<cAЯYpq3Gˣ =pϧL| |9IJydWhaӊŰ^ ci?$ xs3y٥;\{#5к ЀFBD.T2}aZWrC0_I0/ UaD|5wFh@h QaCYPRi?(asjhB@ϾBEwRA5X8Vj >SGख़O UCPne-) |Vd@@H.S) fuB>sSiItDQR2bI -ܳ5@Id×AfP0x>ӌ_–@eb]/|ya c\W]_"Jwu\OABSYwPK<\:X4<J%5EV7у1׻2(ER]Yjcs SDyI2Jb$]}Y4 76{mĹ55 Gɂ0h/3@Hw:K82{dx_t޸0Wft LTV3IWaF;;=٘f˘>` 5(2ϓb^C0fy$Qbܓ./Ư5>%lR^mCH N}.@ 67^Ik咴$@>}K[>ט󋶌iLn݈|5ت^vsۋJDd7Sf[Yd!f -o.K  'L%kH}3!ėN7Zx S?THArU5$aM1 kr%[d[[׸pHUr5UeAٱkN^䏻IP`Px0aP>EV\s'@.3qbVB KmsN\k9޾UuQudh7 8h$ftd悄!76 3W:"uN<+&=RW*_LIJ#[>lON.lRg&19lF=g~d~ y9ʀ U5A,^ydE/5E-ob9iҢ%1.kv2f=9`V(xww[0Y ogo"EIn*AF`JnRp-9nReɐ]M .~J2]RR(çqߣ˸m-vQAar=Rh`_"MTQ=<`WUEm`{6Yݮ߃!H~`Ge4XG;â'x0ud[?ϭ2 m=}o3h}' j~#@͡`WS HW-S*e^F4iʃ`rvt,z :ߓ\˧mb yx=͠-"bUsl[L %P@~{џ5P z$M aϡVU @&z" K>Dd“O|tطQ,7̪q<\9#!g>h6SM%dV%}Rʓ?A ts}DO ED9w,x3 O$I= Yo3"!#Z`R>[\LE^⾌)/";F ׵6q%h*Ր(IE_KOzq`PܜS_]?ሿG}W\eEz).9<&2*endyS6\vePM|qmk`Z'zBt(`_yѸӛ|m~SV(OpO'VAgK- 7Z _m-fpIGà)ލ-Ugg`ss,Iۋs QEM'ڼBbLFs0. %t6B{Vsv}ݝ" S ƒǔR @p˼d>mkhiM1%P~)J^pDzA w| )^S@-n$^1`6^`>n\h;W1 0F;y W>2{iuxMZW2?Y =T/y4;DHMB}O7Ŷg>]z gݝ8jbgևjݩF¿gSifjCH[i55RoĩS1L'LhҒ0Ŵogo .ni8圏ĐQ$'U;%6`Qʄ͝$0iM[^b[8cyIra y$ө|9Vhnnh$ܧe- [DI+diwMkG$^%y%x)Z.:}8vق_[3S4>qҬ7CfFY=tl">2bcCNZ*λxBR!T ``po-`4d8R\YsZS?rgj5U얳ĸ0uZ0h9C-34Pޢ3Z%l(c&aQ}QH$̅O⧴ EQ"]o /`'`iMl'z.:"jmeU1+oHbJ70^1ӲFC)97`RжPu W[g0SHf=bA1S^ek-xk゚;vf G2H1h MUDJ<|uJcv'y-PE0S_b?|Wui*hGs"Y{^w6)X xL6/BvЯ ׋8߫"9"ׄK[P-X ?Cf?d콝61pɝ(W]c2;ns230&~i̐RgS˦."5~ Pi{O"1BRӨq3'WLsҜ $=WpH+dX{Sr} SʔzD+ПPKອ` FUB:T'}Y9a!>j~)c߭I4nGN 5GrnZ^I:Dw_Kӫܐ/b'ch=F}8O9=vd0{!X"VG_W҅LXd6ʘbINts=^N2zmh!mMCm?Q?{_"&3X !|p#аiPL5sUX\h`؅y7 Ԁ874LNRP"Osb^\k:Oߡ" LHv'+N MH/ú>PI ច`k-ty3`Hx_B)} H;V2EyGC=c¹74LTT.bM菭CTKι<:$UЁbu yp󾜙պ1άs d?S sZ e rRKu3zdp4gIJatZN0c^& !3`' m֢㊌] \FȾa[(of(

(Q@:Jo3Kc oE);> v!j*ϡ|Rn|̟\uӜvrsYXVk˖9־[Hu'RsLjʛf|Jn-NQ Onk q]$z!.޹ XQn2.[Å /Zi?D# 3-z4jr!d/oB:eYg-UмZ9Q1r=dAj@&L?octka91iۅaŖ ^­ D_׈&D58T10@x 3ja(f\ E&X22ylg؊2,o WE P2~P䅑D~k/,o0'2!16$y'Sz qͦdLa`s0%`7u >I姖|J?m#ub96"_h(6OW /^i !uBVQ܄Jth`,thn0^Ԓal4dMvqʹ=*]_`4q dy7ԍ +#s9Pwlw>n-HJ kfL*5*ᮜY'E8˹?V`|AqBWp+ޓƛPKJ,)f8OAKP(V7{{= Ωd9 >B~_Ft^! ;NmsCu#;Bku,ɹͰXT݉ [U6\!m|}Z7E#, 'ܵUem82T ,̊$bӉXB&v|XdF }o gt(^𩢿%Al\Q,,m(x$)F,ft}|J;Me e!HŽ QLvW78g =*T}vXBG g t3ݓQfEFmǁ~Ӗ2D߯֒@epȢQGS+V#/{ʮdr*qIDJBA6)>MCTs\CT5iF_(e;ikޗfmm8aiA\u`3gr? Js;3* %Jg2`0JTI4d-\8jC|"-HӒH!KT?4ȤՁ. D6"+eݰr*)+ՠKZzg)IxyK,yV X̕)w4'`WH|gf,$ᜦmI^J/=I)D Xڇ%H.|ן u^Sms}z|eRw;HfGeԄ.yP'p "ج 0N@׀Ku@P/!]}] "{^e4Ncccޮ# Cu/JŘ4srw.6N 5Ć748Azןy“o"DYci6oA˟*5UӿҨBr˨z׬Fn^kč&!?6Pe1Y@׍) ꪵ[^M"ʌ Sv Z-b8a;9R)1Pl h,bA8Qxk>3^s섫V)2niH^|b?5QwbB9t v;)UCk~6UZV>wJx͗uK>eW!a sJ N)؉؜p2[Rm- K) xqp6 [.Y5\9E*0+avt|e~TGand0ejhU~a<&Hӣa!ı@?VÌc|Q"&cCI&@*ե A8%g9%@6cQ/$ς*w 8Z$Q_W4PՒ(_S> SyDZ@S} iǥ B>.mݦp![~4x=ǓV}G"TIBp)Vǘct2T2ߙ5KG'&Ad!T^V uT^kPPl$3YxRVS=gњ!@.ӭ,#e@bVX3$h2jvg7)oU ÈyϔGdt}]Vgpanh)3#ؾ]E34X:f;8/suz 7Z!bٍ 1?\ĊkFNBqy >;,w  Ŭʯ9Лy*B2dԒ( 2I& w̫5]PzZgYZ  =;y% DLinear_Recurrences_TestLinear_Recurrences_Test.Partial_Fraction_Decompositiondocument.tex7zXZִF! Z ]A-MՋhvG"uIBm5D"@87yqgZ601Oˋsϝ>,,g:}'TG[6#:/QiXq hA16  R|u" yZ;΅gRv60\ R0GV,9]32?X4c׻8^ !3G>k^j>NV97{=_cл^̍q,+E/CE86voIK~W "Veg&kD?%$N!/j0 *$}`w8.;c% mpy)s/$}/#:- *y֚$R Фx@D>YdR"bAlҚZ &dr(p(fΎ_9 db:V&nYz@s/yIˤ y*ៜqIF6`Ģq. -C}sjC{=-ⅹxd4ã&):8#2҆KNA/fU}hbR1oxAþۓ6K\Rhb}T;_i/o\u+=5L iM"ڱ*gv*x:]Kn>w .^[҈N=c1%;Ki3O%LA_3ԾX"s>տk{ssem7]oMku tl2~yIf̍]=IT)v]M(̔Dv͎:n1~!xv ((E;I% Linear_Recurrences_TestLinear_Recurrences_Test.RatFPSdocument.tex7zXZִF! ㉣=9]A-MՋhvG"uIBm5OB m*ޫ)|!Bbtʾ_#j'ӑ|j1ƝEGJQDbS ۣ{ltAh|pNJ y>&צǚz_l=^jHV=u&e4Mj8d/Sf*ue=b=*<(\{P8}?']NR3+uݼqƊ!q IfK~^.;BLy.tKa|W0KsѪ B¢^&zpP\<050cRMeLq шvlvȡYnh>; 5[ؽaRM0v x^[%q7&^l)wk1"_rARiaeNj˯׽neU%̝XN=KNx:&ƽPLHX遮x.vcFw&ҞYJ#@n%h<$Mܼͩ=[NRol6V;ꅩt4 jE̬EH$!?ό1aċsnxߍ6 8lqr9fvv;x$YZOe_vp`Nl2|{oƧg+ Wwh ;3i3)d$BTnNW0G~'nzn7!^x<Ǹ/PjR{5P{HpӈL1j\$XeAO|yU!kI vcӷܟ4T?@wQ5@.hdJ^L7(iĶd,:ӿe^:!PQhB7=Wd Lۈ@CwPc6p'&ECiW/#ͶLB/0 Ķ90re.'vN(NHᡢί/<տAK%?UX:Q`.a ڴJTz dXQ`7fJvL9/s.hP*ҽ"ڱ昙KK7 U;m0 Rsħ0@}ܝHHFY&;%2#^F&.JIhjVId0poVA-8  1뽲K)tEq/.6tKI'd!Pk$:WtNBE_BjMTCTGv > @QeH(|63H^3Aa="e/t*RI#S@j&i+ |Svݹ,fxUw{ϷD~+L3FI[':_:p|~*W el/XCU! 8gJ{KJI[eHrJ1rȀgTb] Ij ȗ2 wao Ւ+䵜 nP"E!:4VtZaJ*8kȌ0amodf;'$&Gc1yi#Y!!Ź9I0ڠ T ǎJ$6&kG<8ղ9 ph˺p oiۉk;=âeVG%5{7vUUd"( tp tq_*42hs] n*jP-L³]k {u0aUDZ ҳY_h3 Tz ׹oVtQ8Fz͞OYO'; }:=J!YjNjõM̩Ϛ65|'|bF>8Ĺ ͐{;8!OKGqnki>:*?5%1r9Ged8EQe=, QCj㰣c/ hope޶`*cD<&Dm]sO!ȨpkijH ?ө~= 1LFqT-1.ZR!kōRс?sX)Q+Nb[='(Go3zmmcYebK3(V|jQ:ԵH`7O艐k~L֜nd`O$\Pʷ)cZlB5¯(LH(NJOz{?`%)) R kYXPfS=7 yZծav 3pO:AR3,`="lKP݄_kFW99͉BShTfMqRm3Anlֵ6iW&3'[8 \FQh%P]6 -u8ck}<ȓkuR_ű6*`H V ڋ8%0v& Aêۦf 9C9ʖBfwI]]:g, >7rԑ8C$qfdQP")Jw;(oƒpGC(:}hCwS' Tlzr a]'0)tnZaGDŽ -QY*>e)փw`M/@@/D**³t24z i 7¯mܧ:cFI[ p" K1*hW.<#+Q꼨/+;Tl/@. 1v ħޘ, 3Uai)خ;V̦RXGRdnTl?Cs>AEwФ011roo ry+GK3@,{^oXeEGo|OcGH^rVpsm0sq6Mݜ9bhgOqO봋ܘ1ڈ5<+0>?׬h7xj]z,ԧp.~h!^=r.t`m=S̛asd%RLvۚ^GڞEmOZ68,`4K ɲOHJ4=sej5Ob/d.$g$`9 Wz^'֯ ?ݐyFƌykh}X5$O%}gO +$7dJq=DU: L,h$Qq^kί.^мT0Af`$ׂ4Y K:#rWe"լ6h< D2m'gDž|T21'73rXm%<2)k92 bBvEJd6ބ9.'v{R#ՇS床L}NG,Y~ӡ#?SI/ZAg"`J2g'Zd %n ÖHa5}HI)0, 6-npK8nɯmS5xVls7764):k?'7;8SClGLϳ̔VGA.r.]!KAZAZ^Y2^wo,5p5dfL $.S'VT7: ~WQ\h3̊T7oP LCs ))TLɦ2=MaG~jέ@L17M'IUtkAi Rg­>WN˖0PvnjH pzӰhHmʸQ Z7;:(W$ZvR,_2T2m`@J?bU _Kb;U+p| "22, %`)jX?EeIS'>Xɭ, ԪȯyNiN{-jΆ=׾j_KԤUOPhA?Ja>KݲQUfJ"p04Be)41'Rh^{'l1yRQZiU ^v=`s9."7Q(Ygj>/5qmPXu:NX$]B56$$\$mw4Fvl& [SIHf)4H ,&+w);w `[]3iHuU9fb7Ts- :V03ִbx*]/4 ߇er?a=h6 r#\[^{cp3UN@qB~Glxw :rL=AmZzHQ(XVv;VZx!eP9tA7[AV@EU`r  58C.~ωcNb:sb$yX^> H.;8Kc)%&AMqw@gsh teU=Ӄ>k1n^ <fHB^_r|!j a_`3l$|Z+!' jHh%ƍ:Mj,Ԏs6ފ?tWRaX~Jy&lemσh~w'JS3WǬDqk塀0Oxu<%$IbG R^Q- a|"nis8<0HfTgYSPW"dCC'~Z{~IӗOKCҭt_tM-G};&Ca[h_DӱVՏ 3+7Jm,0mfNtT2r_.O+$KB9M ×Q15ucTۑTd$+S]hc Mu E?x6ThB2!vXB+r_geGbT-7{"Ĩ-r/X9 t Ҵh/wdΡ5Xk3%u ECT+8wz`05KD?$sΩp'#k_`fN,jːqsCޱ8cYnR>%wK;u@O=6>}-d~cL/!)"D:j$$UwlNX]0;^gYZ __;Y% $Linear_Recurrences_TestLinear_Recurrences_Test.Factorizationsdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5f`/f vEۉI!J_]f4 B F.3 SP"rLaw3\3htwrb$-Pk D0/@qo,|qk#sLe_E5رvw"֨JbysP-XT(0So7NۙV;1"S` pd å[pSYt4=?0/x?c6d one~THK&!鎃 )-`,]"-jKM&Kt4MhAt7O;,rQboc,D]mcD{4&W6޹ƅEjwZƿ'i^_ }[ӾA=NSg!SD \:C$:YzDqK8qt6ҬvNlvO_<:h Yv\oE]} VT"Z2V\ڬ/2&ĩV&GepW<[иS#uKymD[wzVbtAK=l[6%FrllGiv87p\'}5ܨ67(,&6$ya4Te 7aoC*$*n՟SWoOl+`Jo+ݲ*ӄ&W0ZT)ynTH@588xYng &<)<7#[:$g'#\K~jOYԂ օZKjknBTo+n,UQJ^jy"blz"25hsUIE'ᣪ}73V u|l*ʳcSɞAvdG:'9yO2;XɳBY\ ( 8uбb;ETNJY#a}dH"$ҌBȖ:nz$o;w% ,Linear_Recurrences_TestLinear_Recurrences_Test.Linear_Homogenous_Recurrencesdocument.tex7zXZִF! -yO]A-MՋhvG"uIBm5hq- IͪśF̌/BlƖ*I7sLn+(-PD3hMܼGȡk$n18$#9+´ +CqT&3ʹD #j_aU%ݔ,f!Qb*;= Q{5|vtlèF2`!ٓ͞c - E$l # J/lËk\%=vwa{&`uxYy3|#Pf*#sl^5ᶣ,o^ M7GHǭAˇ$ LEթ2)Ut^ I½S}$r1)uOWK:KstMsmҲo9\/xۣFp\?vt_(,=!FT}w<5/Gfw1-oBqW./cu I}\t&<vʷ$1Z`A%wXѬPM;͔/=pz# gå#$Ԋ,F:< Ws#D:x3ཤUK%R7.]$e)w*,+9JoF_f3À!L5ks83!U*%XGLpҐEGs`xmN^AN?>8g'ܷ ,\Z!M e9BmF氍Z ڄJR4qHX+]xW`uVo@J"e>{vU7չQz1y#G9DzCn@]Ef {)1F͝=(|Kw\q'D5"rb">oY`xE@ j)!bȑ13)KUP%<̠z9ןf֞+mEk( _+˻fٵ4 9OS*Z tO:KI7 p_ |78.姎xs;Ijj2 ߲̚-jxgarLX֛y=]3@þ/fX@ ݺt6[ !a7t1&uP=Ii&L2#dt?{YKE"໿;m,U;ÿ^ؔL M;OYcݓJ clq*-U1; ^!#& N!?-׍aE+sQE؝aGP7&k}ۤ_M3B3V#aXm?ݐ` "YF6,s=BIZ.'m~kgY0{GdB!۷cV O?=Ytqo vpZɡ%|~\mB}}i'r # 8 WnUqƔENk+o$zHY\(}67U; է j=g?))OGNIӗ/qʦ-4b蜶R10sA)\Gw|Nme˛h;,Ֆ© Oql-୘\1~bY=r愹>ŀK(˃3Ni*qUm !AMتgR&*RXGZ*t ::PϑQy!};E!zmzc>>5&fey? (Vo(Uk,,G&StfVae06LI=,+`zɲj~B^EF{$ER5]F :t'#,u&:2f/-i0>y~KEЁ6¯=Yҥ"WKkQwMbOcݪM됾 (CfR} gwvy`ijJ4uaTT͒3h.vhu (ά8!O܋yј^!ܙ:4"᣿S-- ْ-j P[TgsݔUIՍϦ]x< uΆy50oX}f QXsQYFC7v :讱_Z?ldd:+L4|A]s\q-,OX?gVlge:e!4tZe=%.4#O6f͐UxTKEB+aL{G"c$FԺO"wHN?Wu)>⽯/8C70 zh?G@ c~p%^+Q)6jOXkY( ٪ k3/>8ařo噴Adq: |eJ$acbFϽy~(mYu=/20wn?7Q@,8{'%SΈNv'@`I)©^8(GYƦg-zuHn ;+UOxHs^NuC!*Ø\1f9oU ̥|s,j >IXPIbcIa#eJiIwoTm}QՕC}u Mwx?1Jq鶾Q |UVairpe(kG GUNs8lF}^0Lۓ?.Z ɺ0o y) ׺bT{z /^q=]thI6~0oE{V:4mS7܄n`x?.k3+5/fJK@WZ/+Xn}`i3(O7l~+rKե¢z[^#E dhMV^J~O'*TNu걪r[6 ^59/sj!]&~-u&s~`}Fy هp|XjRM8w{S5:[Ia_fKQ 2\&K7X7g)íZ\*DjxA_N}u-q/.\9G>z=K8: 5e+qx,\ }:XȸyI}1%7: `=6?hz=3 ϧ#)lW~0B%O+f;t^EMMqqb- nƈTE^ ]cO:\P7A.>6рKDC !!}/@>Ƞ)߀0o6)*}JQ1MQĶoYOnYb=@k62E}Z@լsAny`MRp08њ<7Gږ| lst 6$gG6GU4#Eu M"%\vS6=錰7җb潸!?Hrq>_/tV`37'HIb "9=i(DQ* mI[C '3{ ?hג6_(+/ZV(1r?o`}] '^iȤrsntZVpY="*V@VM#vSsAQly>,| b$uJjyQL1W4n<偐@9;[avzW-N&Hg'C* ㆌ ?wI)Hye-Ub~{Z2CQT K%/h{)T=~ZKaGˉ\[ zS3 $n3㊼ciWWc&1Eur[+[q<X6T9n=zDciS<m/_J)D\NoKD@cAY]u'3'Kt6S/,H~,b: FB#ז'v YGzd%?n9e4;=.~|hc2ٞ> 5F#srb*[AkThyt_GoJqZ$b]I>p- *~tAZ h8r1,=5M^`ށj#Y0O1@ܿX3!8A>yb09vNC, & W[Ed]Ǵy˭Wi^/"I'U=Q3lC?ƅ0Z&KT.׻}# ]lMh|s |OnyԝyNEIu2E}]4O=:@RGTk2&r1>!KÄ- uW]qD(D\ܼݛl5ߝ{\sOe.kۈ9vz 3dx'4ű쒧;~J7h{M0nZ{J8߷UfߐcCȃFd4im8E>▝e5=I(1ce3M*xLlʕM.t8<""^Kc_ ߍΉAA7L ʪtg8nyyՔX ?.vMr 45WiZ%(ugYZLTl,Vt/x)U%FFìW4*Lkɟke(W:QK&=+r !"xy 2Aّ, w(?-*k\X}wlNBb1CAJ|0ԡ6S]L],_khE<ML 7j{p z>ܱaHN|, |q./ dlSՕ KN%)Ћ?@R'XT`)Ş|qe*:GFHb`ԏ)|Qz]Npr1jP]'VG<`LErntF-oX~"H$=)骵_l]"- /kn񘁥L<-NN^N/WHuLw;E[XFJGI흓5s8G3Da"D^iʂym(-s sQȻQ%*9CtPp7/jՏT3V;4ガ(Ä GGhb.gc4oQ] [;iWޚ0@Hl"i|^Fs՗):cZdgA\r03̤ѰO5KBBgѶ@,R0<>@N1_ NIR".\ |:G|j$RSj&]ڈf] )6>!mʣP EF0V^ry/elLU'Y~` o԰r-,i<݊T L_׫,_cRG>H/ض-e5ߚj }h~g>æ<\_M̑tÒ]dbeǵd&}&5jei=_I-`]_j@d&IZ@sr|zɅs/gK0>ɂ2|tCBMv,]2gf J>riOxyKG{>an~sN5K^9IhHj`KߩJE7hI^&tktۓ@p`2b#ү]ro,/-N!~vM"aTNcJσb{*>#UcU*|J%tbuqWzPs{m5xf/aǺXT$i6{Dpx263~X].HջH!Fsw:3@a|mIc:|pd\*t3p6cgLNVv qZa#ߧ7[-gf+rt'S3}5RJgUIj_z$ARK4sy9d@pNO:iOAC8`Q^ v3+A$խBFǡPfLV {+Hxg4L%^_T{@1Z1qjڬàk|y>Ym=R!|scU9052$*(l}xbj60C_p/2BMUg1m"8GMٍ_1EFr+3@iֶ"¼U-k奕?J.\M]OŇjHKX)A]#D}e')G[|S;"L%eC9J2Q ͷ|¹8Dݤ;{R* e moSQ(;'HE5,KaQ>q__j`LhBjO;!95I@Ľr 7YmH R]83?G{k@z4c,ͭR/r?DXh)ȟzl['(a?w(pn$vO0<65аTΩE5JאE )+dN{d?15@3ȳ%d_`mҷ"YF: B8ӑ tCqVy &ӥH V.dP iL'ݭ9V]菇 HYxل230. UԿ_fgá%2àÚ \X uu7Chti>3Kr19,qt̠kyȐMeOy#%oˊ#&ʬǪ45rU !ov9Rz g]¤6&+[? /ں&zm{R=YLYX@"\G]&j yQUF>cj˸+_ϑ3DoPADnجn>!}9}HCsDC_3 ");*,bknI (H6[oN_ioݪɆ|7Ou11X@>V'sIbO#[r苙Q7UCb jGb&Ű}}C38b) =I|g !+0*oz;{4wBENZ?Q+'Y#SoWQ A H$@Fu;lbcj67?:y ^Qq)oO@l&R6N42JRզѧwuj$Ԓx(!(Q㾑~JE/I+ ^34Yc(0 ~ yas&aa3O6({5)lˣ]F,oT)"gYZ 8 8y;k% LLinear_Recurrences_TestLinear_Recurrences_Test.Linear_Recurrences_Miscdocument.tex7zXZִF! f]A-MՋhvG"uIBm5hq- IͪśFy<)SrUH?ܐ{$ٞOnH:z>q –CVct[\bT@P=ryw wzXlB}Kˑ9h|߅oH`Ws,"O `?y¢ zPp)s$}}'DeM{^ZxXO6F=o-VD >syHC#ByI,!4.]H|촹4ﶣU'>4~_+`V_ӯrgN^؊rr~sJxh5qSh6Ӑa 2UnԻb>ӯ4aV8txV5:ŨYУ@NjΓ wzgZ3o8Z뒄#͛v=VXwu]_IF5OtcBbBwQP,||<>^(HʍƋAp /g?j\,)WKm3}"yycfDt t A.ҿd [z:Y27 9$0>Y#"1d%>TSrp+ʧAzI$3OZ\z"[o)Mw.eM~^ieDu֌jXOgXwql pưoLJM?&̓VN7 }cAnL\e&(8TW”n *lõmUAЇ-W 2oU +/ @r7X>ś=PhQ5_l3,8)t;#;[')*XAC?"8S[\<'j`W_5758f@ޅ fLX耦›^2lbuwha3Q"c0lDЏ;hJu9 .WrMs)q9;{% ,kyK|mk?7rbI"SADl2cLE٣b3=bxCɣ1XVͪ yq)7LÀ\ۯ"xjF)4*F'^L3a{Rp/ɲqr;!H֍ bS38aK{9|.h.Waeu5тt|NBKѳaz5H_=[{"^Uc,ZT(;u'=(Гɠ$|j VB(9'T4d`sb2x+'woM N(/>mGSL,[- K.`zySŲmyo2}3}a=Q*:1ҥ~hٮ!-I{#߹H_ X;Ͽ| >? ſR\KmoܗUGvceF|e8q/KW#[- ~:_bpFu= *UmOHXJsgf 'V SEt9jPdˑ6(5A-(jml}#W|E1Di P\VQ{T7i-Rf"{#%sskԠ?)lQzE}۬}^G{yf0Qǘ8؋ Ҡ9'6vd"4(\60Dǒ$#c VLj< H[Q !sڷ?vt8D$Xek9-,FuS<%fݾLe^kdd8s/Trd `v쩨O Qe3*XtDiMDk8yܭm)R\~<z.ۤDւ 5$'Ɍ&O6S[SO<ã1Vw&8K;>ue;mI \9EYjH&1ΊνcXZ/xl(&gS7FU(V 1d 66'=ž,Q'?>+&(F776;bc|5pH%#Q| 叜.L"+80@o6~ɥU(>X+XJag,7P\L&RWB8^$yqR0E/3½^{uD{`kGND*1̓ܒ}9? ,$q]8 [U,ߴ= o`͇9͇t8d^2ޮĚo4,qmSkA  m4t)ItW:M چvh"ZC1r սgNF`Zu"̆R$W{%7El3DoLdLx蛕hCKhL]/ & зX Ĺg\d*RVm 崩Ztj{ A;Ym}c-cUY P jWkź3JQM ]AM-JV+'^@`GbĔ&T D $){$]E9,\ReYљ5&/y ^h? l@5S Xk޳ե@$S ' F~YemW%":ă_Mi!W%dFg/F'RQ 0ct=0~( ޓ S'ջ;Wyv6Wbl,xbϥc6e~3D<+fYr/y5@x~<Mč/<ZH+2Tky80B%/Žl<) h&FLDU[_Es*!_G6ikhAIEhpK\?~?P5 9~AAŀ&'{u>(ZF^ uJI%q }ViH;wc%]r\8Ijo 3enI+KI EnzRrMH+%U-;rY ٺطGk((gwڞ#/\8F @`fE` %g7V |e9KYرxn8uDw#%DJG*Y2}$<ۛT|CdB}Ղヹ->Vw}Ine3^k!w[vU3aKދT i5ӵdYh',>;AjQ-qDžD^'j[OS>48l8U 큩r)%蹦[c_2m ZN ;*{1@P;zgO}ᇏgϡD*,I~ZR+1j'CGs&i!~\)&$0.澂M[MGVevBOf[C%5Q~JY߶4[0j$ӈj6?מ\cxV.Ep0뺻0m@I5+,vd#|ĖԫUH$B0,ۈOhuCF:͘ڛ:#z>\jAګ"`s1GzN]7Hܬ NSJU.(^)8jFhQhŭmTv?һL*bD9   ᭺oQaz^$s(PCNI>Eؐ$=D䮪(ŵOFsN_Q߃HWHr\ؼ:\vPF, rLL1عev<`nraJke~sBf lF S#>׍r*Fb.C"e?'Л]r40k/0U?4ӊl˘I9݄NE1`B _wN>}<TQAG_:\PF=kSIns/=MfHk}dAio-J`Re T)2vG*ri.NcDǮ$-&2e'CN v|£hO:)ZbLV<=7eHڒsnp ^bP k1T6^GO<;K;84G*;@{r*")rGî f*G@]}TW( 67 qv_Z!Cjʍ~֡uNr'=f іWh$ZtJuFPk6$I!mJ hn1 0T`H5TP^ 1$Žiͤ5Ӵr8+% GpPVwчÎ$+ADlZ&=WP㒯,x$ \ `a,U2BZ,OU@&d…3 +bsAGgy9s2foRp6$$e2#G-ҁჷ!#>I=Cm0Įx N !\Jy@'y%gYZ ;e% Linear_Recurrences_TestLinear_Recurrences_Test.Eulerian_Polynomialsdocument.tex7zXZִF! z]A-MՋhvG"uIBm5,:LFXS(Q(ѾΩKƴ$} G==Lߝ߯Fa|\ j ^_PC:{%I8 V@ oy<!2Qoj n{SLJwTwAƿQm¸d2[ELj. E;yB8&RѲ9Ln:QA>W& Cڊ3!sk7~?br6iyvʃ&OkR)J'mm>~adߐ (h:Cqb2PyBEJBn.%Y޼:) hq@0+rSLEvH9zȉ pg3˕GPrJ^JzzVWEpmu^l0#p]lmxה&#F#ܜxt3 #iΧb:# ..8l hD)Vft>LM|CU? ૔21_7O&'y.kbBr1WG$l|| j=#qeCZ’!:¢W:;.3gݯV4[꧔҆`lM?sIu$C*poFmx)T;j d: IA^UOƶle?Ww7X<<7vaZoezR:f8$}%x7ߜ³:'$k*yEtT2 (Ћz9-Y'vFK i>`fgdEF Y"݂:9!zQX^N?߇Hn-MPRĥOȊ,n<4BPQyd]PGg">E* sM_oD|3:LũзФ/GX?9F ,%upb(LeqEy6yYfūRS#RGW(qqgUT1RdrVZ&F==XGYsDj|i9t"ap"j j̇ns=uzxsex{q!/ݨM҅J7Z!i*DZY?'vi8#Jw*|DgK{/ iùoϛdߠab@8jW ѥe.,b$=&Gꟿ??J-asSNTh?s~"y;"w)W:t:w $TJWD:m{Ax](̭ʏ<' <u^j!60HdY'C ׿Xą7E8 )Ě"Հ`[rꅒV޷ξH29)9LS̘M$ʵ])d,KíwNEwFQ> MO(^'iyIQgYZ ff ;o% Linear_Recurrences_TestLinear_Recurrences_Test.Linear_Recurrences_Solverdocument.tex7zXZִF! Y ]A-MՋhvG"uIBm5hq- IͪśFy<)SrVo3 Ք uݩ_*Ng6T N.s,2#2?#^:^E5v%bSԥX7~bSd|V~YN,ZSq2}s [dvG?ޒ{V|9(lJ$[.> ܡe}$rC!mN-4ŭ^F*-I,,QѾ`͌8 :-AZTh>'H\@Ard*aWWc2$ā7#Fŵ&P!?%ܝBs4{ NPB~o5U6-#w'ʸҔM 9]CP4T+=VKLVhٱ-#?~Y kFm ]:h}Q3Ca3`#'BD Nh1 YKE*\"C2ֿOpC T6 P!7(P^=тgeHU6kbFB .-nYF[(0(6qRleW̯~n`MI#:꽫97xtΪA hB˧*d6 ^6Pg}ZA+jh1iW]|Lȁ jo+z# M4'tN0KjRq{Tە`mM* hHL$gqSkqjdKOh?ğ);FqGhd{0HmNnWэlb(4"VٯnNV˅Eed "~dX2õvgBOGH!;q֩_]'4Fe왟=do]GF9v ֟vzuշ@>I&F;ioSt{B2 ,|t[3MPl"^# D7b9:6j;X30 M0R%_+pƍC@ٌѽ9=؄Omphs9U #(m-IhbB#Uo J uO( u T1 ,h\b@buvBO|K`pG*dN8'Da d 3dDȥX&!"bZ}[\9CNbDLVtkbJ1ɥ OC8 cYֈȍP{bo]~SJu^wUoة3J/]( ж2P^jSnF/Fd ~ 4%e_!Xߊ~%9^t-.Z;$Oni\*94I$!.$!ѽsX؈ZS.si&1!SGXRS5t$}$z WL!!ϥ1:SVL=b"e( lI(:zJ74CVEwi&e亗QY1=O11 4Eji<}>?H2*SB0]Ǐ^HD5}й! j'blTk, =YXƔ"?MG+dzTG@b ~&5m5IM0xh[I6m}GMRdq31ˌ{ R#EΓtIX*OEARxm0wN; t6!k&4F f}\0ޝXcЈ,wc#Z}GŝgK|,W{"zKLJ.:#9~? %I# 4\Q.MQ@ħ/n<}msѤLG}VX4Т-n1G^šʦꋮ2GZ9]%P1; O{4$ {r[WaΆw+)#Q-?8F}_RЯ-.0%RWZ~}6*gUɣyb{D1*4 ^s MK9ڿSC^1¤]X%R析'}a>aGgl*z*K ^~A!rO؋xsQ9$,sNp"Us9&O4τ>$jyo HT\6;>fPˉS4]F`%$ .s&7 ;6AZLJ]̪C?cdXy Op9Ұ{b{QxWo)|@;Rܶf5p7{f"! ֘a45Zp*h5@ }9[I&x}j<B|wK !,qX:.$g4 8%ƿt~̛/oS Vh]/gYZ jM ;k% tLinear_Recurrences_TestLinear_Recurrences_Test.Linear_Recurrences_Testdocument.tex7zXZִF! 2]A-MՋhvG"uIBm5hq- IͪśFy<)SrV2MnsFeR5u@ sE5aXjà .HN^L*&nWo~3)c5@k*4:ou]q"xJM<Ķ#yQ?Iq3-t*-!G/(+ XvA4<<*Q9K1 ['%aW@?ha Vm8Vug-#c溸$1Bb:| 8ig)yRKc$~Ѽ#,A";5'!'K]_OU* ax5qjgZa&W3?xK :^!)s 5|SuuZɕ1Cw~xׂiZ.l>%:O<}M6ɦq@:IKXgb^B^^Ʊ<0h+QyhCm,! Fսݭ2)JK {t`Gr %Kh,gagck֩aR5W[CST!=tMO#^ƻABkS=PI3ĺ1Ƹ"­[V1IEt`p%BJ; r( "*xX⢲>ޟ1~ -`а ^vƏ@ µ?Lo+o|FssS3!#`Z5YD7G3o#)٘@kX_`2Q:?mG7D78ݶ[Cr岳2\]e "c 8z̮nr5P5eN-J>S7l|"]",q506Rv ʭ^xd9:m#H W_ \jD'Dʜ_ ZhO[r˄&wX,h;:Աr]AN_'Q16Mm6 y$|8t/H૪"&MlugiԶf-j!0w1:2q7/9膢S"(v.xI8ce `VLXs"N9p>e;h33.(w?.Tcp>RmS Ԗ5n!iOGA p/H~P+~|%r,ǫ<ǔqSY;Ic#Ms ѠIĄ1V3C㧢?FeY>[!W7¬e\,gLa?L'G{9z ED斮٪Sb-`6(z ']K-k.Vó2ص7b宆M2 a$~5F@%<ф>c<P'/ސr{Əp/9q[R @'"VcZk*LXb%3;j}W9+zJ0AG.5tᨂ#Xxp %[o(7ƳvRip?0VBYNOGɼA$\} u̻*eG4Yܔ5^kAKcs;ǼG^[N.w;|E/J>]gCikh](&;d; Y=\ TV4Ol`U\̱`R" Anq)X,g/Jr^*-6F/Sp?ڥ _0ox}`d[ eb&tzW^7Iӵ Jվpie{0V"*uE$Ts=lh"ݥ%pɢVIï]=%w`e(Gj fAgYZ I wI+;/% lLinear_Recurrences_TestShow.Show_Complexdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȣG Ќw:D/VAGM㉽Mq%><oB[W|Բwg~ ǝoCƺKKQMOPG o^tt*[@VvOC0 IЍN=A`cbj:Ф|z{6#+⬡eH[:3GJz+n-c5L&STPD܉PKm yr,N8͆>,ckMs%nُt5j##oQwܦ'Nh|xVe>F@hG}7vA0m /s_Bl0;LVtx͒C[yb[:j쮷ZSJ}_h/YGƂ~Hz*ÑOKԯ{ilRn&eG&Eײliߪ@ӒJt3LwѭXX!C*g|n'(S:w]O=>i[=ឧ.iK(˸vPy`IsC+6[zF ݂%b^ 넫"\#O(`q)]'=Ll_eJeݭZDHD on s`#ɓ_Da y]5mFYu\ͼ7Ho5c)yp"Avu m,zKz.7<E׳v'6ƒރ3Iø+/A|d^6 +[ gYZ{ ;o% LLinear_Recurrences_TestLinear_Recurrences_Test.Linear_Recurrences_Commondocument.tex7zXZִF! ]A-MՋhvG"uIBm5hq- IͪśFy<)SrU"L3,fduhjyurG@~"a̚.X{Oz5\%²8{)S$f#cS+m[#s?a}qDrlՍ\Vj0ni 45K_SqmDCJ"@TsE}%MA)97;zD,(v}S=r~Q)tZ"Ixdz x^K5&\ l/oŪP / .uڛ~,Q=T"}OmI5 &]ˈNAO>#K3xn'x{eg۟]@9*Cٸ PW[} A/6NrA>DėdPE9'}O:QŪzp v/QA:q8DA\ 5I-w穦S%-rC|dIxD޾RAĊcEd2>?]QGfs{"a O\*Aן({kJ iejU/=nbɍB{ V{>2ܞ<>1t۱UdѴh)b~I^dB@5(֐fykdBP P6)ptӍB&߲`Q(`%֨KNgxUN,LU_g"-"8!X+.)v8R=zr1JlUC>9 & WBh Le4yu],I8wD'l;?V3t>9`pŋp ;/Ti7P\Oh}ZSzx,|۶Zknoߵpˆ'wjlX;l0 [[N(kJF<]F Ze@=oR^f}~xGмN1"7nЊJfu1 I`{umLs\-|u\%whM'd)76&qhټlXO(;Q.Q~w#faN|`f3HWRX̽~r ="t:K5W"s3 B%WZ.u1o475y=dk8^^hh:րddk1-Y-"%2osĦ_^ #4j^h`yq)w [6 EhZTkw8NJJ*̿~W()`$uy0N) hƇ+)R$q(S%Z9酞{GR D-^~t+^&֔B/9'ph'co in|<_U;o; U+jTF748bSjr80,X %*1XBd]F\T[u-Q)15]n3pIO={B God# ezr..z; LjH IhIڛ,h'JM)iLd~+rGTR6 Ȯ}xu9tyB ;[ :w(Az~1?=V2u v5N9NL;4.<ؗ6"a_F,c]?ʰ $B7&Cwk䬂L#şlAěw% bލ1kPght 79I da}w`X~, J,׳ǰ)ZA{;ؓ>m.0Doiij&wl6|!1qHԾ!ٮ[@{,fwHks)$?$MhV4Z<;~^ gFzv'اXDo)PȝT?c[o䀆 3e=+4Xjs;ݮ#7v )>0ZU_0@I'*i톡b(C}!b12N\ttNXg ڍJ#"܄tV%; :<¦h||6.0Fm~g;Njm)ihqOpjxGʇ~99A؈ /\)ˡ`'SF߅6=8JVEn /uu@gYZF9wyfŷA׎у,ư񖶜92 =J>ٲw=&F OI0}X=r6 9XgDDsBnv)仫Ha۬W{$oS=eY/]2˰&nfVyUb<)̫k^sXF{|P<~7f: f\Z`N]_= T[p/ W,D!R\? : /ԯ"V f|V^yn\!P~R1]jJtr/+ .iϫ>kPXU-FC-mo=nv$ߦ_}aC+֓)Q@( i!E|n" LB}D1Jyx&&0cV *2y=6La*ZM5NmC*0,)f,=a$j;Qj&7)ʨ^ծ!dlBۻ4_ WQ\q 柖xs_f0(ufo= E+V6xFefSt|0YZ+Ç7`E1xX{&E=e9a(Ma!˿i8wJt>L9\(vɸ果%RM ~3Nu=W4>4JIF d7dpԃ*D@[m{ 㭋Nvİa[Gl)b/\'Y]x33 uUA/x BNнښ7Y,˔ prP#H|a#ӌFvA4i6΄2M-䟽xd{ᯧO0^f.5E&F 2'& H g%Bɬtl"[e ?Lq: {b{~!Z 4 ڑ'ǀ1~PKbK<0)A@]j<<ҿzV{R; 50=ĹW=LH4L/`5xLȃӭ_RlCb6 {M/g*i0C2 $ov$]~Ʒ:)# Wd Տp;EwV WPJǼ# +~K0ٚ17 %@Z 틙sXof7-֕N4~Tpl',D(torL##B1"Ӷs#ٿ;ˊ%@4GuI^[դ هՂe^Kk!K)NM[A׮M^ 2IPM4ꍂH.3vCŨ/Qaba2eʂӟU1UFSǒǯk DoCDܘ]b&?W9XN  ji:#P:mˆ6fnGDF-禂^,TbQRBQH?$/7oo3_ ~)0 QgSCxX:Ge[砞{{,{H8Q7!]=v{,|y{XfJBR| gi(,%'L(*dBT 6 7NM]֧|;ips#Ṷt&#DWƻ|]5";͐#X*gSA<N7P>zelU5ط1Sfa#Ie3@#ŗ(Dݓɸ@jN jZs `]rwu"K9wS؊1߄+!19j,`Av uO6t)`32;v2i#d;3"]]'%c]F'm+4yYxa(Ia%-p}jE;sMñywKKR2, -v ,hcL$AiQ< 3N 7}/YT0ʯV!٠+@MȎӻW5Jm$ ˬ݌ avZ(ZQ~aQcgٶ~CarxK7Oda|=iyPGFv㓸j<_D6NJ'JTJ;  ziIYA(PšiT;$8#Y],H~I0Ȉ~8[l7Vt+EQ>RlRz4)PqēoԐJ7Mns6muC8Z/`yTK;boST7>8eBi?ej!j|TO͕]#WrG%7@P3֨n:_QvEe^D;rc< g Ǽb"\Cf9$Qp/é-@+cn1b-y?ZR6 TjՀyj1LsWGz͌do@E1˸ SF-߻kBǶ)c7 },KS$Wآ @ g"݅"zG*+q'H(Ed}l~J#SL(e'z a_gY`+M-nhhl +w=!%r5 տ9@yxHXR,FZiFn9MS{@^šDFMMDu'& LBHYicFKTnu\$A9*ɚ y4o^5ɬb/|` 주`1%1f:o%[񍢬mC/HOʝ`mLɛG%pm܎DN[6+ۧX˘X_ү#[ÊDln{MP^Uy6!+R-:YrR (% 6ҿfɵr䚩~4 ۙ,rxo"r GY=VozSKQ0Tu_!iR.MSB+5D0I3\QTͪȤh#9ZeaqH<9+T! 5O3׾/%' xsҀ~1-Zʘ=Q0gUz6ZBERCKvY/Im\ l8X1tC\$٘ΝlS8 kclKuxQq1OG'C_̹׳`拌!#(}w RnḺ\gJ B<_y[AmW7v ۲= s\5fA-/hBS'D2ɡOAjY¾[jԞAw.r^n6˦/C8Rx}U6ޥG$H#:>Z@b^Pl;,G3\~%m4Lz3,v"ߍsN4#_.NkiD@W~k59EpZN#F{-N"Ama N{j/Y[z&<{P\$@Vo {82bi}!py_Lr:'/(} pdR?ڦT] >vpBvC6]UPc}z'(cɷ|nTR Ӏ@b.2(FE׃8[ xWgee;)I,;}y.>mm't ^PrIqE CzC7Lm3pJMRڀcn)p]% ˔*^x9?n,Ol9RQbV >#;DkAy˺8{r4#Wң_yk]9{A L{B CKOVYMKKƌpbB&PTT O\y({Lꐴ7 ä588h̪M , kXmYU 3կGȜ"Gđ-kYz^KirZ8mؠUݽ "*Bpܰ 2m*ZW^L;MG"|ĴV +X$'JpAܤ]JR4avMC_aͤQ^_buTa檾6La}wTaO+-AF4 RH>G%{:#2}72OnRgwVS;s% %\'!UP_ȸZv: C$b]+[,{PӾ\~j/M';.}ȽiDniKo W44VyY9yp$Bz4Vj;l"d[2斃ݿ)CQ [c`p t>NWX_x$6FtF2yCag=U)nqcOptl9K}\)nmϰɆl<#L[i'ޯZriPbPPqփ(,vrH+WȊ,Yi'>l&ZB,E,U~p-d彞{nO=]^<5[Bf7ЦU/ΗJRKk:daN*KxLϳVFVXF'wOTJmKI x&`kꋝBC3Clp#nv̒Fŀjgn?Ij92ۗE)3< ʮٌR?*ӕ0;dhڱFqq|%3Փ#Q{#};mX9zxZL*Hs# Vm;2az! lS;kMz9of3Оa| /Fl(`K@F, qWUӽ 4@5FgUDQ ze5wah4F C-vm{½ӼJ_o؛BwULM^c͢G,A"u;J,=,N2b ?_C9~A3bWaӶMQ54WꥂCT*)k.߱LUWa䘞&|M@,f,i@b.2{j8=ɯ0Ow1E gOXcs"xVѮQZJWJs7̛cJYyNspa\љR{ Kg&ZwiQv„g5o4.2fC17c?hs#0nnjz;%y{Mnm]Qی #Í'Hev+04g955.TW9}vaٮ,dbe\Sp&jIGAM,18=PVM"Mn:3(^i!MCg$Y:JT42Sqi6UĚ޽;|ҷն̅lUEBRne$IL]š-a{\.)-Z*U#sKc#F{7.[o~9 z2%N?J1D-Z@SSD( O647还Um:m2YBuQen 5H]`«'sN f37[0_,~%e5LV9?:O.CwA(ã)o-dB{my;X2Bbܬ]ubEtwF;$y`np*}O|c'X utN&'qn'ӼB@YGMJCnѫ[V"Eꫠ< %$.Rȷ!t `Tb]B_WU&s3MժG޿Yl^1L4t#$eTNo.;csegB +.P{AɥG5 pE/ސ8%KLӽ@YnPmtWs