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 T/ D|4 ]S First_Order_Terms:threads=2elapsed=8.437cpu=15.588gc=0.928factor=1.857zXZִF! ]ŗXf1-/6vRZZQUt)/ǠaR7˴M\m6x`l@m8/B8Dd5[]6 u"`e  e!P8@c$H FZ"\m/Upy7=OB,^Mis8w_Q [?rO9_ : iõ=KY-aw@kF-Zes|\FvSց>,3ټ :9Y ,KD*tK Ȓyw9(\&2ո (l= -V!%FmUZ\ UP9 }󖚨7gh FH>o(C0 l)kTܟ!qab|-;q"j8 Aףm$?Hrl`&Yt cp2HQSRUb؊&S<i&'S \-i`QY1qxj+وު5c0q $wWz\gVgFUf%xKklyW7Ʀs0۱gYZ5005c1a3889fa41937368dab914eaee0f9f0c5690a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 c9446e126adf3872159869c1df0fc36d23bfd682 / First_Order_Termsz/A% First_Order_TermsFirst_Order_Terms.Fun_Moredocument.tex7zXZִF! jr ]A-MՋhvG"uIBm5q|ŨS$cB頭p(UuW׳DcZ#D>{}ME #5uLlDBRVީ7TÖS*dbۍq#RlMa8ttsyYwl%+}₵Ԉ^))^|L^ȖI9G0J0LYj+X wMY+NqmGCRߣQu&$B@+3 s=6oiE' o1 }wu/gmb{Lg|-dPe7̜&$@F4E׶Zc-v*89:$r(DO2@.Q֪u^29G<8ӱ`ck᷍%C.̚.|}/ G#LAQz8j ?&.ď~}}i%dkCӰs܉il؛ ynqd_mq0xAݭ&FĚHp7uCwp^my{rAKfI/0/`% =#ä==1YFsx%WYq̉?A#l|8NF**ա>"%]_ mp`wc~f u+}oI`N{bm‚i9]Ype%=bgwT6tiű Cy% I ChmDb#noq8Ja$nNv;ݣ&JSɷ;.>sx%^U=mhYRna?`z h'{*mRc#қ$F5WZ+8j)^F&_L4t9: #9d:j "\>9u骾ę 1<5 !YD6/a,Gj'dNzv¸FνL%_bPvj;o>$Ra^kEg#w B/xPwĨ*`m0w (:ͮw}Jɗ(Xwwr:dpCg'b{yٯF1N.8ͥ8up5u#JړJ+#]h2ۍ^،MR= g,-,v-Z#1W bڤN5<CIWQ\Ič`ax:db[trtΈŠԻJ[Iz/ɘg=W w5'HPPpjIX}ي>QkDhؤNǢ q9wX(: '4"A÷ZkӥCbМɇ@AͷZQ\zXe Dgg?YJVI:ʦc[{TfXsNp$qVJo E\8Xi: X!ʐC(b~I$st]GC;[rEuP=~.H-rձ$F5} ܓZ g2w,Fe{f:Iuq@ (q" aQO4WQ=LDtfˤfO;B!!ӇY>l,Bт f98+<-JyGy^y*͠^B:{dGՎ<:"J̫W1* Y/w\wrc< % Yd?YN{UhM 0ρZwS;2ƆR@u4s4D<~"Z|^qc*AVjLlOKi=zeSq:QwȐԌ 6_W$fxo&D܄:#$S팉7=oΉr(k;b n۵ M_Hm)2q'Ovd/^\0[5r5ѢQٴΉ<-dYj p=+ %";-&.P# `XD_̹o*f4N;=CYgm79J.-O弪dE5:}/WifIG?hy"PP.`Pd2@=<-UfֿD_Lg#?z FW=92+5i i~K)MŤ!H |n.$|mԁN?&(ӒlhnW$<~XZM]T+ޚ^Gr'l٨rhFfR ϧ?=g'Lj2ģlVVX4PM(u \nЋmt&6qV۔CzRkΦY8SQdKx'V]x0/eF[./>L Kśu6VgJ8_@~kdae6#ٶf3b^jt†Է    jv4k * j=/A%First_Order_TermsFirst_Order_Terms.Unifiersdocument.tex G/U%First_Order_TermsFirst_Order_Terms.Term_Pair_Multisetdocument.tex 9/9%First_Order_TermsFirst_Order_Terms.Termdocument.tex@/G%First_Order_TermsFirst_Order_Terms.Unificationdocument.tex@/G%First_Order_TermsFirst_Order_Terms.Subsumptiondocument.texI/Y%First_Order_TermsFirst_Order_Terms.Abstract_Unificationdocument.tex=/A%First_Order_TermsFirst_Order_Terms.Seq_Moredocument.texA/I%First_Order_TermsFirst_Order_Terms.Option_Monaddocument.tex=/A%First_Order_TermsFirst_Order_Terms.Fun_Moredocument.texK/_% First_Order_TermsFirst_Order_Terms.Transitive_Closure_Moredocument.tex  z/A% First_Order_TermsFirst_Order_Terms.Fun_Moredocument.tex7zXZִF! jr ]A-MՋhvG"uIBm5q|ŨS$cB頭p(UuW׳DcZ#D>{}ME #5uLlDBRVީ7TÖS*dbۍq#RlMa8ttsyYwl%+}₵Ԉ^))^|L^ȖI9G0J0LYj+X wMY+NqmGCRߣQu&$B@+3 s=6oiE' o1 }wu/gmb{Lg|-dPe7̜&$@F4E׶Zc-v*89:$r(DO2@.Q֪u^29G<8ӱ`ck᷍%C.̚.|}/ G#LAQz8j ?&.ď~}}i%dkCӰs܉il؛ ynqd_mq0xAݭ&FĚHp7uCwp^my{rAKfI/0/`% =#ä==1YFsx%WYq̉?A#l|8NF**ա>"%]_ mp`wc~f u+}oI`N{bm‚i9]Ype%=bgwT6tiű Cy% I ChmDb#noq8Ja$nNv;ݣ&JSɷ;.>sx%^U=mhYRna?`z h'{*mRc#қ$F5WZ+8j)^F&_L4t9: #9d:j "\>9u骾ę 1<5 !YD6/a,Gj'dNzv¸FνL%_bPvj;o>$Ra^kEg#w B/xPwĨ*`m0w (:ͮw}Jɗ(Xwwr:dpCg'b{yٯF1N.8ͥ8up5u#JړJ+#]h2ۍ^،MR= g,-,v-Z#1W bڤN5<CIWQ\Ič`ax:db[trtΈŠԻJ[Iz/ɘg=W w5'HPPpjIX}ي>QkDhؤNǢ q9wX(: '4"A÷ZkӥCbМɇ@AͷZQ\zXe Dgg?YJVI:ʦc[{TfXsNp$qVJo E\8Xi: X!ʐC(b~I$st]GC;[rEuP=~.H-rձ$F5} ܓZ g2w,Fe{f:Iuq@ (q" aQO4WQ=LDtfˤfO;B!!ӇY>l,Bт f98+<-JyGy^y*͠^B:{dGՎ<:"J̫W1* Y/w\wrc< % Yd?YN{UhM 0ρZwS;2ƆR@u4s4D<~"Z|^qc*AVjLlOKi=zeSq:QwȐԌ 6_W$fxo&D܄:#$S팉7=oΉr(k;b n۵ M_Hm)2q'Ovd/^\0[5r5ѢQٴΉ<-dYj p=+ %";-&.P# `XD_̹o*f4N;=CYgm79J.-O弪dE5:}/WifIG?hy"PP.`Pd2@=<-UfֿD_Lg#?z FW=92+5i i~K)MŤ!H |n.$|mԁN?&(ӒlhnW$<~XZM]T+ޚ^Gr'l٨rhFfR ϧ?=g'Lj2ģlVVX4PM(u \nЋmt&6qV۔CzRkΦY8SQdKx'V]x0/eF[./>L Kśu6VgJ8_@~kdae6#ٶf3b^jt†ԷzÑYҐP$G!gYZ r/I% lFirst_Order_TermsFirst_Order_Terms.Option_Monaddocument.tex7zXZִF! ]A-MՋhvG"uIBm5ł᭜za8iٗhK[)oi`c_,!"b6zd j5 ! bA'c'p9UX (ʉgK1؊f IJWsI iK5uΡ̹~=³!^d2vܪfqj.m~X113|A+[,7wU]H=X\O -Rv% "&i j 6ٲB ;҆(b~xFKuˑ) =4 b:׉[~K9I56G˽Щ.T4}(鸏N-M)Hv6ga(X/7;ᚱsrn. GUdWԌ8%Aİ*M$W҄so&N9g`E hBu#Lj)jovP~j(rC4 F-G~sMaV%a4PAA:!a`U񟑮j_Łvs9]è`$pҽ!RHvAkɺ,f4ìڝbBơi2Gm5 r[oqJzxwOԀAA_j35I {AhcWEw~Yܣ'v:p@PHqSRssR҉,#wޝNgCм!A hb1t\`|zƨ0کp*E;9B t8&ѥk s@~E#:6/t-EpD*8s*הR2r0js9ﮙ/[-;a^vT-u @}zΜs a,Z-rt._1NUVԝi_6rMpu {=!uֿV@~O̥gGNkҴp|ga \N+d>īo#1*mSx 4 o sށ~ںA=?CVmXo$Wtgȇӳ=b\ S" gfQˡpVYw,|z{%Ӯt1C]\3f?f^!ٟ}ьPeip+V #^㿐uaw7.[~^ՓU3F{y;^?vcj1H^@<.H_ǿ-GosxJr52e*Am @H &VĦ qrH|gȽ>_c0ckqH.co~zM4$~3)#hNp2b5r #Ύk'z]B2"N49gC?EpFAn>6LsῊ/^ij9$ey ܜypt5pT 1R +~[kp}o:KZM*RȻVHuo'c#8NzdmX~D̻Tb0SRqxU*D#U/pMu N 4Tv^Vt@8oJT_N%୶bK3<k{SH($@IӲ-k~+HCluhK5ԪW͵N0\ =SkWAЂ=i,Fv m0͗*o ¼pӁJtf~wx՗J5 DU{%ręYhϰ- jVHNKoO-"}׬T'¯| #KGcU3!_J^̗6em #q PP9^ TW[fY#pw_\sε/\ԈBb4ORt>\VCkXX$WlaFk=s#G0HoE^*pD1 AmX$J9Ϟ|k`ևU;rS#}V+7 7kYs]579Zӫqհ/8I1k_椙 _YMP'q4=F[ɻ-R~ "\&V]P>SFA1)t5ŕ^é=&)Lێ&Z=TBFxɍ|V8~n m;NKRP 08yu"OX 24.1ĞJ ݍ0c+U lK叚  )H%UD@YlwvirϧDZ.P7;\e3E~wF"A?ۃrDv+F py7X~)czs@zα5M w{;'56t\/Od?uM[։FU}9[~iPhm~r!ثe<lDc o$$M~T!T`eXY -{x"$P[/'<XgwZi X4kfU @)\~_ǘmveE+`,g~qz|0hi4u C8jy(׸8ɾPs8 Yh۰W'ʈAܞ&. 7[P3|8[pBז uI_g @VL/ӽ>/ƿRpZxryǬtK?LmȸH*f\ᛵa~znR̈#T٠A)OdQW}0CY~Y,j&( bhк]klwxY #ڕy p6 L\WnU 0swMxJALQka!`$zNg琞cFi?NJ\0 +MuAT-Fq3PxI +schq9I%sRB5nuX#%k_6FcB4|=LPv[ba'ӻ P߉nqB2\FXy[1:Z~B>qlwYgJ5c:8ș4ǜ^C4B^ΊڔTo,p gEȊh>?/*'STή=p\(; yÎvlݗ63<J`̼ ;%ba$-.5djW!)޿\xߗy깰{:?܃7mX>Y:ԦuB9{I ?<Ջ%www/vRv: !m$~!w'vzNlE&x έM !SOrRm WeS0U?}]T_Tp 944|0|;GuT0G;[9Bek=:2կeK4GD;l|gkPإ$yHzR_B:NE^E| +_cF&y0AjӐ٤cwA6ut/H_D19zƏFNU\ED&&vB*LoS娯S:4)6UzI1!mif hA=ۍ2Q7 ~P խQ1E7_!Gۓ2ۃ|~}h"|777w>N9\$*dB Y1\&ԃ.?gyZQ2/4=JNձ$+c#6jLPL.+yMPL|.!`E :X,êMWE;Ч6+UXՇl=p38^8cen 8gYZq.G~7'!*gkkĎLɆ_k' fuKPSi9Y;[PKW`5U…?DMLc-ˡFפLG<<0q&~o FG[ݴyT2f p/Ĩjsmfeczz~Ts-bBW9+q;l-Ӆųn椂!5!?MG 2W87%;cvXʃvz,.܉*:*c'A>UQ;kPTx;'C7Ui*6;4-i]GSc9n( ` ohI2&x@>CX;#Ob #X<0 ψ+;] ș)t%@C (\,JVf|2؜ &kBU`m((΋+E(A:l)o?UڛY .~2 4#Zjalϲ0Ls~@x$ZDjYn)aJ呏I)'! aY-*:0>džfw^jʣPi[_q{<:&Vλ6iߵ>D\@;wL+-x]3I;JX'\p 50+g+8Ms4hwXlQ́i!%~C& G(qgT H$]rɒ),W3Lr4]f␄zNFN{>*%{<̗qP)]8Π[n]c;Xmz;>UAJI8~C.vmU yGi DN3~,03)Ӈ]!sx?MU K=.6)4l ~piXK#1%3!L*( v{dsX磕x=d_sg)ADdfyx5xMIRPes"mcƷ^.9@!>Bzu_V~S5 F2Prv4Sq l=GYYgO- qn7f]S(qqŶOE;Ƶc0)Q'RE>j{75yg:wKmc@7`xT g$͵ DqnVL5/~菫4@qKL-J+#S"xL:@ oHŽwQKYrCh\c@a^/uz\@Y-[ł@, BO[pu?'y_Æ^l0a+oV=Iڭe2iFmUbJID!bȹ0bѫ:΢_0ӱpN*8HaŽr;+b)-{V^K)WYL9lb;6vϟk,b,D[7CZjڠ M11EJ(UA*EjZrH>۔B-̠Q{ KVd,kUĭq/p, Y‘S#( !Eηn?Uejg=V{גUnvG>k @Ml+rIid;."uҬ -YOY "'2 iZ?%=ܹ6T& թwalR=$_?h(tޕyވJ}_ A嫓gAA܃q{mK-n,0zOf+b.NTzU1oa)࿇V@{#v^Y!pTn # "ZɦȜ˘L2qny`UuEgkdEt 1Nz0*~Dn+%d')zьRV'NCZMm%!:,5=g;6oZ`SU9_q&IH05\ݙWKP4 "W8:Yt2S3 V3Q7X1f-:gyyC,|񎯋QP rfHD]MH}1dx4a=ɭ#MB1;-ZaS5<,&9jY,ٴL)^FnX?a۱foI(c!>=TLDY~3JA[CoA%.(I'K9}͙1~ PtӰb2Q mw޽-`o0]"xE9FRNPZ©[Ӆ{ k 2igJEHf/'TͲK&᳢>zrotai+oR{v; ݑ. Š1 Sp9 "z0)X~8 JY{UgRC|N#,Gᒂ`\ܹm@?RlgDXΞm}=) lV;w#UMkΗJ)'`Q+vR;e{YRaXIR&OGk{>w['|GzX1Vq Us"gF(_G6̆ Y7O`4d\b CM&Eݻߑɻ:4UgYZ ww~/Y% tFirst_Order_TermsFirst_Order_Terms.Abstract_Unificationdocument.tex7zXZִF! ;]A-MՋhvG"uIBm5y6C]mĹ潀Ɔhm6P}#*NKʯ #$RTWT=7H++)^34tV~5/Օ G LotPa33~^~4CbQ":+4Jaj!p &xe'48+GWL#iTm'vjo6 rAf+OV=T. J]-\xZ3p=I L/n1ޏx NJL3j5Q MY3{[Xm[N>7#[$ I/֓l ́)G`RΖfv WYozsh-yesM6CY ߻O d_ aKW| ,,W*r~`,%QFuԾϖhvZ.`E\I']x|~RD]%l֯\(whiz)>:6.|Թ+i?Ơʔ^QAӜz"P>d( J?o5PYCFnMBptIPǴ(%w1Y4qcjz[bN6,wkNKٙx皭X^s[U29~vaCV!^9񝕲UDtbCsvSAϩ'+miiQeič.܅*Sn6थg"ͦe ~ -{'>4j4>8:I8@Lo_9 d `(צp eA\lB1Ry!e wji/k=Yۺ[ESJPNig,uWٙyNd>EaA;> $ 8o:z@uV;SXX[tu0y͎lR楈RGjnl(`mO![&q`6^ON|^wT@iwH6ul,'wjoaKԑJ$=ZqwDpnFONk"w 붯q<0 ;wJ Ho[#}ghL75,C zD~VTG6fXؾ*ȓyTAQ%1jTG_p$]R烫c,!(O wEXzNMA")WslzZ5rQ+LYGE= 4TyP_uKPGRl4|DSy1p. $9Ycگ*Pj5[Qzx҃& ;ۡqBgȍ8v~2RXܽdd9r58=3YlE_ˌ^*~O`ՈM# E"'褓ۈjHǠqRe.l5O m+g7%d^ʪɯt#kj2-P3kUgjM!@41q-EAZ\o`<wLQRM&֏yw迖]ż@3`sg \83]ͤ OJcnX9H8Ug]hfM4WCA8q`D"` qi/$%,uNn Ża9 dx%}nbU?a"6Ǭ;(&žrh]hD3ف}/p^sPYǧgCuaO {_ RY/:P%DUP'D IwXA +=.ۘ1>5Jw݈4G}a_8:h=R.L;IPaIogfpN$g 5{L_̥\cG|v`ᏠW[.v@+n l4,:+&n/; |jF@wq$|̱!5:rs)s[}"IhjQlD߼Hmgby/XU/Tf+}m@G@!)ŪN} 0CiFޱF`) ̣G#nj,ycYV|cCWo,b%͉g0cQ 6 z"̾rYWC^ d; NB­DaյHpA0liI7>RXW&łLV[N U@huINŵw 3u.GKѣ] | bU-*ǺΝs|Nnꊧnc,Hl>O^Po1=+>pK2w4%f~&{&VSDvy;GDeyv|@^u_줍7f- \>'֨H}/Mp>X(l\"3DR-" =Q:[Nj0" v<ZDR 9v F]ÿT<>.ZuO32]/(Ja66-' }گ:h3)fq%hPjq!)u`~sCCd֪o5s}<9}ֱ>:.7-hpr&s~bw%oSgh+l]DH]:u!˲䠒Ę v 8bM"YE(_0ӱpRPlEpQjNp7NV0;81L=v˜:S5\q?ɨLtE$ЫI UMeFGN&L-98ͷ7D 3Q Fyu-CY5u|ZטS ,~,%GC$[hB//r5X;tPLA܌9Ud|J-K;c-2$A: Ѓ rC8aɅd"%ԙ(duCt/YΦ ȋ7b-Q*ڪ3;1ͯ9^D< 0WBNy"\v/ڝ6|щ,"p-@T$_rFn$^|.-@dOSozz>/ =Fa%*ӝgv*8b*nΌC˅%îZ7 E2),KP nV+˿~WpB$Tmd`ww.>qL 䲇2v}o4#}Zz#b!Up;Bb ȭZ.2{ǂ/K (cLYUG)!ụjl% }-qw*}tVc7^H|| '4ǥYsƑc՚t 7lPq4Fu\'x8ͽ;ahJ ?x,tl-˒g@#TQ_y+< pNkSbhy |OUu@?)%acNL)#1!X7qz_lg+h > aY]k 8u W*>f 1(IˠB5`x0^sϡUoWIJJY)7/5cgٵ.&ru:<\m¹R~v k `ݻ41MI0$uO|#)_@ct- x Do{3}˥y_wh޸ IPPB+2z@n#G5UA.\$m>A/#Ɇ3򪎬Q;|Sr cjJ \kcZSɖNZ}EY>-m]tdCm^P-^iP4w8~m{R~)a3[2e  ڧ8W"FZHPܞφy֋AhU؆dp.:G4]U 0|ؚY$᭱aubɸi :GQ\'PM9ig`@b0%ѫ w4eQF3a+>Qb3yQPECS?E>5ٗ3|[~YmPȅ}ZkE(fk޼wV7sN;y"rוZsf1|W[$mAK@O\`*hԬm0"w7QLP Ɩܥ,}P:t{m-O$iőND4J,";1+ ]q :Dv}:S:ByLR«uq YcoZVQ`"L_Cb8OL`F ;)&fT}AU-eg5b -үdS&IvK56S?$/EFQ5r'1V?b1T AG/僔Ƨv]lIc7~yTNwMwX >㒻O@D|J\a#L+Xvٺ,/DTdv$=Aɗr o!,`׫ =7ܧSbn48=U(X? @fd?PӘvO6DNQ|;A\'c!S~ ū^뗮YqC7!󎈨%omè~5Z C2\&1X[¬!G3jų{P3oXtvbؓDy W4bԨ1y068 n\t(ޝ쨦Kͳ%>#jħ!2yR qpnH>yFSbP +6sI?2VrQΆk+^}ИIPY+/ \8J_}rE<ݽ oʅ6 s]go)d W&5Φ:87%Ϻy'w䦺9g+off E%*x[17}UG35 (bɬ 'Χ9+ш༉xZBYƑ珢|.ɺ'f /ΟeH!ȵߥ"AhQDuu9MOL[>O*f`aG/ѨiHoɮٺ4`1~ǡQˑfKZ#u} nBc ѕ3>ep$%'HaFRO*fP w_=ơUӂ^(n]MJD9Iz< Qo|J[/Ġrg[^4]Yqݟ=!dsܥ9} )W-14/hvuk %[kF1Z:٪wT , 9̝EN:y/v5EulC @~pX#^r8nc\C`Av2?uR{guHQsyP~>,ϊ@=8E.}ݹ[-[yÎ_c㮝zC9v(pY}%$zʦt>0\h tmCkPd^ %ǻf*"}#Ef9nu_n*Υh\xJSX( Ht`qW6h? ݚq~}Q/2!-f:ʗ4JnBuؔ `wăfbH7R2[|HͰQ< Dh *Uhz cCEl$:|c#3T0)]E'G@ bl ;nr풼S7 } ;)_ \G9܀by#(XQàf,m ZgؘJNdW"^[Db `+"}ikzA0xJ"q)z앉uw#ʷK-i&9N_بzmZو4V"EċJubjtL$C`\ϸB"cxq '.B7O.\Z(:M!ſ0u=1{o<{ ]˜QwelOV́DTGFI& _zi2hlvD(@$-sVg_4M[U1=ըN*A{(D暙pw!HN_~p($bı #n'/`>'x|TQ Y8Y_R pHu0wև0 lcSb'L͎`'+JmykXQrIZ Ʀy rrg+P mjPJ6t5@_πF&N푵j.O:{})o8 d2䶽s4i63~57wEu:w]H๩X~W| 2zQĒ w\w&Tu6*ۭStz+l,Z5U ˧r-_*S3֠ruQ{D o[|t6k5k(u2Opw9};QF;sA-tlpsܶ4((nLX\ǍRL_m@)] 96c`ˆ(l{unVXƄPQs^G-ki7.0wi:}ؑQTf݅Sz,U(ϣ U6k1&/sMߣFhgރ'\kV4H vQ~ȳmܧ\>lcFpBo@ܭYD*Lv`h7A,~eǚ'3oʠWs,weO$ٖ.d.%!pg(܎[tC+jxv44a݊ƿK\J9shj3I'16A"vt/B8k}5~Mτ=f<(ԚΖqݙ٭ZO{^^(%Rsm: :tc50F)Zbٿ`/GM-n LG֜B?h&8ӭO8欹vW(]|JN%کb`ۊ=HBy}2N*Qd(}0R8"CIor/󽹌ԕɞ.nWk"nvH.Jna0'7 'b<;ߒ6.2 쥚 js{>q(P`O \NރCaZ{q>JzO/i?Z\1wgolPIuûMIuO/Elb_]T 53ydO>wo;K祿8 y?dT6|z`Sr&Dyuff05ix4tztTO|\vZF%8(65?em*ݦdN kr Y3|3#C IOr\Nvmv,nϔd=pR9X>ֆ&!9 :?aR pJv^2hmE9U[qqFjeL# UERsvT\m:Fc%ߣx_A>s$4l,.ĜWf6W6MkBaj|'"Tɜ铲؝J"SwB{>st6SI)& QibzХ%*'m}bE"gKκ'b~P1"EZ~捷͍8c$'4P1}ąo x=4[5傟kϘᅕZ = $r m"1Ծ~4y`il 5f &9\$om-zj7Z:Weܘ/!߀\-6\wCc?Ɏv$"Bp&gˁ6{G;c hj&@Vl9YcNę/g5=N Ak =MzzGizqZ}˛y{?1c9|#EzYw @Gyϔo>9_꿧T~⇻ǩp߼o%ddM*hOz(޷)q.9ʂ ^^K$WOϚL>db'&wvgKpy|Q뢍Hw2&԰R->L/mH'JF倓"eXo fj3Q7 ;ٷ^~I=?`|m1IH5gDS#C`*{fa jlJ Ru$0:0/8xEVvrKc/PE>TurBP. TlhT@6:S&dZ >&ԩh D0=9Q":`?zclFM99+*k (e֒GR]`ި%oVDGs(o<Ӕ&(_V*p>YPd%*s6Vc7 yRǹY,Ce#}.G]fuDn"ȫJytEN3: 0{ڐ>e[PuaP8H^<,0%-g0ɰBu%!VEՄ3ܢBয়Au,ӹ~^S(xQAA \ݽ>&Er+:ahԜ=;?l` _v$[su1j :V͘ޕˍUJشec婮rJxe =ѕK=r1j*HW w5JrD^]UcQ!nAJfJJYC܀v +y/ʙt> eO@ZmϰTmPXzׂbd)"!q.;eH2}U*AMOc?j<֧m(.^gYZP;ћiSh&r+^| kF6>#j3,Ӂ#rkhp]8Pr`?t֏.s MH'n$s̗Y]5ҕP5>%HlvkЕ\^&HHnڎ+ :X z)j(ˠH\P0] ` d5dsAF;5Csۇo#oHO=6ʟhnqe9C85Ґ<c钥uy@>3f"$UP^%icɘpf]L3Pkǝkp/vp~)i.AAOsݘ5]I3whVyS G;+E>UtX-K1 &>q$6},!D?g9:DL [aB\QcJ%jk0:U7oKt mJ#X'Ze]Xdfy.._ߦ۝٥%Iv3-僂eD':r\J& 8ZG{ݩ)LX17PlUL*8g!vBk \B Ѷ3/m$hz8t,'%eNw[3MƞWS9;;EP`6of4Yv650Cq`>9T˅W#2#9)L d \1="[r5`FLYZƥС.@f̷mǼR ">׳&9S('w&(؆K8#uXUspTsY1ߡX3~{Z:5dOi 2):1+maC!HOWeٙsm[/^oEGbP)leI5s#p^R=< t 0?լ,z{vo8h$GzqjAsf|mU9#7Rfsf3%=rgCػ/1i.1'~ܧLrټGiF[9-IR{1TG&JOwL(oSGԒCмa~lO+K@t&YZ`]@JVAq?z@Հ^yRn3˛igwc%x-$R|4R4q!@%)E Epd@ tN)>q~\/Ѝk/4[%Fݥ5J ^XYKotѱ./z0qx#JD҄?8\lxEBr=y[noHŽK 4?0ٻ" _? B $T ɝzOvC 7^Z%UZ`hh2љGj:Wω ~7C(R[?7#ʹGÉ>J[ I"!B h\3L#.7 c> oEa~!#Ad%e8 $ H= z.qnhN<>[˞8Nlר~.Uz"{'L)73  $ †_4Iّ8]ʲA GεGO#Sպ7y@|omZ0GQ)T,;k̟BI jNߩ~ s0|HBU,Z\zָ7MNk}١S86I4Ou~JǬgBaXvw?wKyݖSȘ-e?UH27 fpn^e/ &-em3Lo1jB%# 9X)kZJ!?ZeZO-N|k*泈[J34KmLOWλPsXk1/ ߔJ)JLu}]2 2 bk)U|渠X}q߈9Gh]l"zDp-1}$]KϾ7 9h,} C?uR7y ` Ҭ'ڔr,Ң'F'! 4Amo<75o ?1MIZfQ=;UysyG45[P,凳;]cn9rl LY2Gq'M3BKW-LzŜܧϛ׿3g=O ҏ&MpyjBUp{IFDN=F?/ I$oG?p>9GLV[d_,FP (*5)0ꣽ4U@Qi޵>^/L\aʵMukjzj-_hfPgYeRR/fj*{sNiބG5n0V+jϧ,!^  p!*+u6~_$m&{>%Ry{gP-ghjM +@*;Z\!fo~-@iŸ )7?bc$&@ʐG:+c p uu"gˮ(VG/ݫMзm@Tt*~yq2Tc%`N-rcܒv nwt@[1~;:y _ :J9NMQO8i$HB5+Ht*Ƈ,Aw.̕I گ<]`5fTx)T}.ʅWw±`/|Zu^ptpk4;qUPK H677%~.D#b8s))jlbQrsl"18ήʸ{Ex;~VN_}\aZq7ow"rOxMְ]eXuK ~;qDVmfo<إK-9:a2r&nҷ& lwyVbb .s_i2bO|}( &M?sb5 cW4):Cƶ L׳};0<&GXebB E4^< I밶LMN>ݨRޙ@r`CޅOue5 b7G.JZqQ9=8kYelq]I 艹/?%NX%}n1v!~IˎL#^oU{x=ǮAU_ UniDf$~?=Sež )`*tzQ!0 akfksw.>8rk3]B7@NADC~ P&}>Ѭi3.<|M4\6]IV)POe*/r&ʇ8rOwrgc5n=ҎSC3rmIaN͵'3/R 4N*ٔaT, IRG&?D-ZPbj$EFW*Vno1;2^Ȍ>}9gSC= -boygKl]Х@"]~9#s~ԿE'wnEVRTl~̥jKnߖ"2t]aV;6Ō]c}\ Mv3*_%'k)"YMa -~膒t~\V#o-fԻ>BT$^v(lk%LG)ݻQ ϔ*Ηg=ɞ$]b[rsۜ+~oݱgYZ  */9% lFirst_Order_TermsFirst_Order_Terms.Termdocument.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@fPyL%~ C B ]15=ֆ_@g}0pƒ2chQ} Ztv'J&eUiAw/ &԰,khq%VKM,3% _=ZY) 3~k#U;#ab}90םY jKOڙgl 3Mn_@ 'zw? kd/|PmLOwo^4*p@u~U5伟6fXX#eCRJDX5|$N@u¢MU ajš ya+62c*v958ʘV.{x ]'jJ]{50sMG5c㞏4JdS~;F/Z P]8>q &#@䧲?)z;U&$I_\%i8 (rLb6I9Ua e/30_AArwt[2-5wv<-5RY1lӼ<]f$` q63W).;!9At9 ېW=#',n۷Uփ$sI̼CVշ3PcY8/8vJ8j9zk 떺VPCVJM΍Kܾd‘ݻn~W\,PϊdW,*:'g{/Ԡ +sgkզ2o`stNS t@rнySuccSY7|1eom֪'6ܖuS~2:e,mIqj`roAйJV0>h8iآ[?p .{BtF+2P۲`%Hfc'E d$+S^#n-/-/R:E/[' hUr4Z0Ĝ4V] 4+ݏQ+r dU%W=`d$Yf3x `HcI_Q!OE:+*w)Ҍ~; DoO[Go҂7 -+3,w756‹/ .S*Vu}lx}Kl::Mz K @^e>mm[M;] -sGǸ|2gqBH_PH=~͘ _WGNXU MbvOg6\'ٶJ_g g@y pq󴥹m Dw;^Rܑ_ILDF`sUb'Z#_QF2>7$1Q?"?ґd1 ,T׍Áf`9q}<GdWw ChY:N^hVћBC~kOhEQ`4a~@'?Cd3TXWFG= lƠ#J\"Ica}6wpc]u8d+|3QN9+|]C^c4p pGi*`ⰲ,E2rT7s5N1uz䪁Qui_=0<<"4.I/ S;`*@sYcgƍ%1#°G -[Au ;Pn КUCmYkk>Q/@)Y:ttzɄ]/opAT?3+$@ v7K* KNUIX(M-w\!hV>S5JyߵWJ)Fk]!A/덕Z"uSocmA>?f5(zkB#ZcIr7eY:ƖTG=.fY 4 d+n2_^*<-5tn hp'𼸻G5[p"(+\oM>XPDޭ=~oO?HTE(#K!,\+O]uΎgg%p0qL쓆,yAh|"%֯à~KJ;*QdRGw9$0Ry"28=gGHfqM-nc5rzF T36ڙ s&4?QB{4K]a7ԂJi&)h$oxחUe40hu{oK3(F.:q3b3>!z֋dhq[rT-ǿJsB8s{ΩH |z7 B=H ?0'weQ@?2T%}sTZ/y{tdXE)jU ;"riLe8y3ha{Ǡ ,tKC|%J;"f+rvt!=,QhҞm;Ĥ&q|z+0^r$ ɐI![F: /-D(xOmhnQ8Y)gnNpFmvss5[taWV7;wQH!LHn|{WOm<4AQ^:{ͬ)ױJ>6u٥>)2U'\V.qy _*E}ϟ(<6366.^%c矄 =, D'Jps}7g3O"; g*ZV'>zK|]@x,<كp;x5_gBh׮2FF2q~3քKa2ƁdO{ǷQEOgHF!4, ;Ragar`gs1e.p$ Fbu(;(Q2o@WQ*84rFMq֊ #+. IK4FܠHo=4m|G8>+.U6s`]W}OgᒸO@vMl,@0}z a-Ltide%en1'RKvJ8& #jc`pDȫ)C]kU ;s.k؆=_4?uv7zyVh!qT;St */ 88-CC@G]2[yiRU;^ Ŗ¸qO^V[.#x0=PҙM(f[:\lUeGCh],of`;K:ѢCDj&BJ.Zq;Snkٽi33&},{yy@-.

wmyC5-7 ꢘiY.J@ Ta@};(j%2ǰ;8B t2eϗ9&w/:M`^,SMⅱ|N1J0ζZ]C*ްx7q8Q Ň|~V/^m`%5pلΪ'~HN:OTM=SZPAՅ:\EUAe ?ih e1Ƃx_uT]˫rQ pGk9d5< ԟ4혹a%,(亭*azsn {`&W-" 1DYZ>Z5!Pd;npFo6p]8rHIՉ?YW,2h.>@gCL.E-:!i܈KD[EJcy>}C.q y ½"iA$}G_(, [%0-;+͡oDRtX 2#pM^\厥0_x|Ek fk_*W}C;CѢk4 .Uox}L%}E /e [2WVT޽&lI`KaF($ =!LQƏ-&@DXQuݵU;/Qg l\)&t#2V޻ć(:tZ\}X-mO|”20=(:9H'eD)snr1ciU @CC㵽?lo$T2OaHm䏒Vw KW#|D F'Wl= E%~jV~k 0JAљP=$p5n9fOZ R2[(߼6GﶡMqί=?lm(y)>xK M5d9otWwjxB=Cggonmzr>eF|LȽ˄aD^-#kdN)=RP.6H*c/āh+6B'wrd.9Esxr = !M T\qFE=n'I70TL|zʼnY',_C#W~j,T>T/ <>DD}stPڦdTh[?/lr9.r烴Z#fC~>xT-*Ӗʶ\L+  =|i{>Kϟ)+J ykqx <3f{fdg)YhʸW]OnnQ 3_ōU6B|%jA^\E9}`d,s4]. _fXgI\L*4S@Rޒs&\#ZɊC(ĿWF@Jո|-HhSCQ6z]܀-IJ%Zlz (NJ^hr.g*;FӑQtfxՎU厯w/s+&'x7 9^Q/O;T#ϮT_kʭ C7R?\$]`2O6-,|8-|N7sd܄ }mCj*X/Hr@h1egPo[0F۶b~R4z94G](\' zAⵋ?qk^[0?I@|+uPn܀?H6Qu,dU d5PB(CƞI8^A]j@~W\ ,?9_.%khaswWPWPQ,ht)g-ԏmpn58hbnQ @kd ؠwU[DC>Ͳ:؏6h{ #["DՊlds(`C*Wa)Hsl% lǕ[U >f !-и(м rTTy2uZ\܉s-Sk1M.,pxѷ{H:@)efm& HKZ#1'(X ,GZpC# RV*P?c",a >J+q8ZRÑLWC.O;!|yPrߖW?wjVc^ TՙWT~]G\A3T HHd|]w+p u7j%?gWFֺ3:rVɡl( 1SS٭tϒ WdYS\gYZ