SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ap]5tϪ l-Rd1l&(obk0D* 醭+y/cu?KҧoL ΐ/񭭺/镵'4\`clII> * CmC_PoY9E8u95">ewVV^:&' țyd5Duvkx mIJ8J;le+gYZ7zXZִF! 0]ŗXiɟ1 Utj,>x?tͤ`;nB2o4T&saL7_3ѩ֦73Gpl_#C2Fc8YPZ_ zWN~ w]D i1Bޑ8+B?+ &^Z2u_n=@#MҧO-T`x>.dAvBIj/3I[N釹jtŜ~lҠ.eOVBhw 橀pN+i𲥌O;+ 3bWieV{wmE ;+gYZ7zXZִF! 1V]ŗXi%D1 IS SJL/VVLJguV7v'Ӗʑ:a㕑#5WjU8&Rt7ӎ'D 4_qEITBjjM2 -_nWeP6kz?EiDr&Q*گWG1(^q"fhg&sT>/N*nEOB*N?h LiegjLIԉWsPҹO=o 5biAI 9[>) 1S3kB8_3j9*E|u5b=Ni!W.hhâ [Z%S2[<`%x&|ӪıK ~Vdc4+*VYzL {YUh-m5U>|lSZ& hi-ϴa ER?e(ajDzk~x5F_e(Voq +:ߤvK쒿q5{nӻ lk[% hEyTmM  C(?.\%؉lwG-LB!+;LdrY󑧢<N!DܕX nZ#YJccڞhDnu 'c@{qq6m}d[yA p%/rn(RXnAu[|$P!g֕Hؗ.J)3*ׂ"|PvJ`to|`zᏄmch))5ʒ*3bqXn. %8ZTq5Sa֗LR+y=8uwG0xR;-hn#z/"|Aum_<쵞-oF0X=jL/ž*;J\$rN7e`1u7R:=L $Kذz L) z鰻]4f cA)F)$$Q1&" _ 3]Uyhhmzܘ,G4\ >^֏ -uzsbr?e.9lpR3Gb@la>JSbplU1 M}fInRߍqۧ ü-6 L뿥3@'ij 37Vx4M=]\@mwh+uQD}IatV,.b<2bVQqdԂ|=|; T$V89݊A ;u4LA0c/ pP-0RWkuG7-g0 |Ԣ'ɂ;olP)C0v{'#O&'}U`'RXNQ=#jjm7b9YܐoA/dgVybqnQ^z29eu6'YouYdSNȯ[<%Τ9"^P;rw)m-c%`(:<Ѫ%-{i!^ aS0p䅭E0+ٴ88ؗK: ݎL(N'3jȪ&*,vZ δtylC-솟@'Nñei[<G0EٞibK(^rw Sn th9y2(Vl4Q}OsE||!J_["Z|`3nwJ"~"U,g_{v_({9S/b2ExMe"eUߙ,-1"4S GagYZ*=% |FOL-exFOL-ex.Propositional_Cladocument.tex7zXZִF! SO]A-MՋhvG"uIBm5LDj1F>[|$P!g֕=,Xe8n7ʞ{kycxyQ9=(}z0Rr"t#n?UۮvpN.xݲRj A0"i=XfO5 F# 4ѯMγ9X>[ L0bC(\p Y-G-7RtvNÐU!;9`$ ;d3G&-W< %ީJƹrmG$5zR!q:^^iTAĺ\'d֒qX*qpCQCyO%ڠ,G#ȼ mÌѧ=I]N.SKO9oV8vX4,^V˧,d! ~˼jK<5i*1 &P1O}7*Dt( ˎGJJ=uu'6 YQ]+1GYE}e6;MQ 'q<uuiC䇤Ȃvms=M ؤP h,q#g]F4 Ƈj9ǒ* 0ք ,vd67+A8C9>}[89V]bXkB'|.ȿT[Cǔ K(W_@<,?zrJdſ\ x\jD*#iSȃE9j#ݞQ/ImO٣xGf1H3B9^"npfVl3FrQD4Ig]< dq[Z/p88ʢ~TŮOmꟀ-`f'L_ɛL?o!9h#{ݖL8M-aryTh+m8F"@&VD* :„^/"B}I7sX)%.CxUb(f&S&-6McR 2 )dOБ,+uhKE. EeSH^#EzmZt3ݿ)ÀܒkԘWFF)>w\=;     Q#v Ap!%FOL-exFOL-ex.Ifdocument.tex.9%FOL-exFOL-ex.Natural_Numbersdocument.tex "!%FOL-exFOL-ex.Natdocument.tex -7%FOL-exFOL-ex.Intuitionisticdocument.tex $%%FOL-exFOL-ex.Introdocument.tex (-%FOL-exFOL-ex.Nat_Classdocument.tex (-%FOL-exFOL-ex.Classicaldocument.tex%'%FOL-exFOL-ex.Prologdocument.tex)/%FOL-exFOL-ex.Foundationdocument.tex(-%FOL-exFOL-ex.Miniscopedocument.tex.9%FOL-exFOL-ex.Quantifiers_Cladocument.tex.9%FOL-exFOL-ex.Quantifiers_Intdocument.tex0=%FOL-exFOL-ex.Propositional_Intdocument.tex/=% FOL-exFOL-ex.Propositional_Cladocument.tex :=% FOL-exFOL-ex.Propositional_Intdocument.tex7zXZִF! c]A-MՋhvG"uIBm5LDj1F>[|$P!g֕Hؗ.J)3*ׂ"|PvJ`to|`zᏄmch))5ʒ*3bqXn. %8ZTq5Sa֗LR+y=8uwG0xR;-hn#z/"|Aum_<쵞-oF0X=jL/ž*;J\$rN7e`1u7R:=L $Kذz L) z鰻]4f cA)F)$$Q1&" _ 3]Uyhhmzܘ,G4\ >^֏ -uzsbr?e.9lpR3Gb@la>JSbplU1 M}fInRߍqۧ ü-6 L뿥3@'ij 37Vx4M=]\@mwh+uQD}IatV,.b<2bVQqdԂ|=|; T$V89݊A ;u4LA0c/ pP-0RWkuG7-g0 |Ԣ'ɂ;olP)C0v{'#O&'}U`'RXNQ=#jjm7b9YܐoA/dgVybqnQ^z29eu6'YouYdSNȯ[<%Τ9"^P;rw)m-c%`(:<Ѫ%-{i!^ aS0p䅭E0+ٴ88ؗK: ݎL(N'3jȪ&*,vZ δtylC-솟@'Nñei[<G0EٞibK(^rw Sn th9y2(Vl4Q}OsE||!J_["Z|`3nwJ"~"U,g_{v_({9S/b2ExMe"eUߙ,-1"4S GagYZ*=% |FOL-exFOL-ex.Propositional_Cladocument.tex7zXZִF! SO]A-MՋhvG"uIBm5LDj1F>[|$P!g֕=,Xe8n7ʞ{kycxyQ9=(}z0Rr"t#n?UۮvpN.xݲRj A0"i=XfO5 F# 4ѯMγ9X>[ L0bC(\p Y-G-7RtvNÐU!;9`$ ;d3G&-W< %ީJƹrmG$5zR!q:^^iTAĺ\'d֒qX*qpCQCyO%ڠ,G#ȼ mÌѧ=I]N.SKO9oV8vX4,^V˧,d! ~˼jK<5i*1 &P1O}7*Dt( ˎGJJ=uu'6 YQ]+1GYE}e6;MQ 'q<uuiC䇤Ȃvms=M ؤP h,q#g]F4 Ƈj9ǒ* 0ք ,vd67+A8C9>}[89V]bXkB'|.ȿT[Cǔ K(W_@<,?zrJdſ\ x\jD*#iSȃE9j#ݞQ/ImO٣xGf1H3B9^"npfVl3FrQD4Ig]< dq[Z/p88ʢ~TŮOmꟀ-`f'L_ɛL?o!9h#{ݖL8M-aryTh+m8F"@&VD* :„^/"B}I7sX)%.CxUb(f&S&-6McR 2 )dOБ,+uhKE. EeSH^#EzmZt3ݿ)ÀܒkԘWFF)>w\=;DM"7 ЦvgYZ  ]@9% ,FOL-exFOL-ex.Quantifiers_Cladocument.tex7zXZִF! B]A-MՋhvG"uIBm57ݗY&pe'[f~Jf9RKVx9؟h\혈Ҟ"%V>e GL q HWw?~?z)3DFCT}IҢ;_K0&V0Y|zL 2@aN2r{Cz\ۣYjbYժ>Y&;-JAE 4HJv=k;VZ0i Ґd.wJ8G a'Lf ֽz-l qQ_@eNOӚqün*E;L|g_F˲iO qF߽V 4 * ƎknIOj5t]jVIjsq]Я|0Ƌ$d#9rBuӗ?K!fX Nq͖tݨP#/FP@qU_W ydžsX W!'ܶJX@T]f" _Vᄲ 5:Q&DGS[ ^#L7tLrQ.b>)עd^U[yu#JDe{Wvm R= @M5. b脉z@d@fNLthдH_^8%x{ծVDA[Q?ZwzJUEb;7+FF10jN0ŞخD^toFϛ|BY{!ݴo'h4S$nm%F. =>èVA`:'b%)Є~ .d'>@QhjK0 S4>C[/'  H9܀^/SSѲ#,@BCSnk TX|2k9M0tp- Θclk_wIjn AdXԒY55R^܍u_Tl-g=#\O+5+밬ᘯQyq!m$O܂`V tQ?#D0YBek;bџC: B*vŷ/v{+t8YF`QFƂKFQ'1ߙh' ЅT:z&|\WR9I^# v8v5~D$3N־?׾[I܉; Ӂ\'j \sgƼmHes8YbbX.,IPֈ dQ6P0uj 7ğL6u׸ɼu堻Iil…-RdI>- p$jxLOt0 AJBh,pP!dU\kmh}GlL){tDMqr{7|wK͂Wּ8R')acp<%b_`Kjw"AKEfC7 y$mv*R @n9aWR7Eu{qf\iXѱʐ(eVS(~MA.*(Ts_2T£M*SZ 8dQ&Ĩ3ZTilJ{v"v0 ;YK+?*,Ja*bOM_') M.GK`[B=0 F3x<38Dn_:'ԅqkZvxUA(ixhAy*SRq#qd>"HkO~maGoݙ]kÿ% ş7HαgYZ  k/% FOL-exFOL-ex.Foundationdocument.tex7zXZִF! B]A-MՋhvG"uIBm5nP$K'NlA9PIXʑ"]HʴJG5zcGdeSBpĉdiqz'W4bGn].|9͸pWrSM\K_O=7e5`sٺӓCSIoeevໝ_+pA3>Up~hP.3>ֿ>co 8 $ No泀Z#t>Gf%QuZW2R@! $j姅SZE^^J % s܎-_a #/_Zd2مbLr+wA%P BN]9C*oLCW﯈ldxuf׬5m5~c8 ̠{۝K7+^T?5UFFnC8x(;B}_fj_ʭM^b0 ~GK)abVbs: &%X' D}`Q``s؉)~ scM:>d{))0v._OhKlRdcId4/Ī,o0]caHh@^=1ŔʂZs/=Mb Rj;n\4 pIPl~)eĨ@ %8MHs …K8ngYZv-% $FOL-exFOL-ex.Miniscopedocument.tex7zXZִF! . ]A-MՋhvG"uIBm51eM AdvytBg1߽9ݜbv99y:K-MHf 0b#ӓ BP"÷k9X%B?7QR"!B_-9N z':^ZPt`>l}s~Or!OS(;\rB/\~=T)v~ @fmID л{,4k"n#n 侗!_6ITsqj$X݁Pb~.fT euH3:fV{5É UIZ96rO# ;oѹζGu#e5wU+=)qô U p.>pp64D$gU&.vw9y@(Dy*W:cFφeGJΐl'2ZA/JBy Y{A -eBNtbQ˗#PMYKwmN؍hm3xkDu$JvSCm`^@)Ue|MUF9Q)\ɫIɮe}ub9n°V"0R9R:ivywHѸL2+<"L7ߎΙUuAeDOM?~Y,7FYgh瘏P|!6Ȁ,&J̝'3AI>;C϶CӚ,@qTyiDG@1"a܆`5Z cqJ_ X}Y! `YW\h6;3.ӃE J .*|{_399 UBɏ)Q[QGWU5%m%L3ُ¼Lx# ɹ*L-xzwHGc*>;uV D\ ̸Mgu ;χ8 ūaeUY \agYZ  V V''% FOL-exFOL-ex.Prologdocument.tex7zXZִF! 7?]A-MՋhvG"uIBm5LujUB& (֨5}KdV}<IM q!Aׅ;+1N<-1M!mhZ I '=T0JK4@[׉l";[9HOb6NsmtţEoN4whKBJ OD+Z[hiva27b@Aۆ^K;߅.LZ->,!D#:蹟8czUNnzwPQ۲alcQo0L>|C (,ISk6knIa dyA3HX#G4Ih(DZ2)&x1OynVBl0*[n1yI`;H٨~bC"Oe}h5Ock5if >}ZrK<Z'^y/lQ-?+t)`)  U47 eXs;yrS8NQhKZRV7r"Jo~])KgM5^%HS_ ޻YknmaanCZ2_z!i4X*Ԉ3g0gplOs$cvkOno.b,Xp6n6e4tx|Q󟡣l0E(Jz V4Kяu~ ;vB>2h鞖Se!Y}-|]Hw1Yxi/fbUA1|Z+wi/ BX3gMiaR(ǞRCrڔU 8gg*_Xe;AT$Ńǂ?mjHzN?~9Vtm@raHo5M/4x'CSOMthKo9p*Jͣ=s-\0ȮJAjcO<&4ts*>Ĝh"]XFI^¯k"1ނJNF`mLcQZ'3u000$I u#Y.uq|1 @wvRAf+v|Fjg=Ti=[  yu/ah%HZ)H$ #9YVus/$c-~1ДwK Fz$M%ЬxZA?.tޏQ[bOR vt{8 {"2]Bx)n{LQ ,7 J[{a~vtck$~\@%J _1}b qU;>hi2&S{-ze[Gfr^||W)* 3>sKk#l"Lِ,({!yS6#Yﮤ[&+#Wx3@ O^阢*7 PГq"]ά⯏zrh5l)ȃD-[]LSW&$ĤrFiixuNnB\YRD&ssʧr) oLgYZN2e: 뿲N^mƑSp)kmPj'9뛠2QbBW:ztN([َoho~H {IR7Ďf?q֧!|y Y5YEr_9sfR"~9YF`CI @n˨)#ã 'Uݣ^7y׭5JqS<)]c=ߡny0{ví!g><ρ'KG΃Y0cSuSeJQlU Na!U~?:왑RXH;jC_ 9w,U7l$vw1yC&ӄAVbRX:e:v]ɭ8+W56Hpobb(.rWI2{(ڑO S1&53M'gp]rPv< H};}*eggm<]pJ1篸Aa S4E<晠?jԶTӻ܆Yj-xYIYak $BFd>7 Wx$$zi;=]oEVZQ5?eXשOwHy@'@puՃE0ix;߶=1,!ڞב*Ve{JYO2c`j [ah%_e:$^}( ]w?ht3=S"} _We1SpOHbui:jY%mRvw-x]?,wH}no"* V*cF=Ѽ`Ȓb Ϗ8*6ۇ\`qoqWG~I?9ZZA 7 n\'gIW)m0P\܊ 5~,֪*  e<8W1_Dp9J|~b!|}m> d)AQtd6a!sՔđII]MR%4Uywӳ!S:pN:!}:HD/' YM;#*JYvD*5M,hEBW͘^ZHűڪ>3^7ؿ3ձ'|Wu{`p u Z=b`v '^>@k @t%'}̢0=:}qK}%41SRFIB7sֻ]DDZbI;4(d;u*2w{]Oah-PפC5Wu5 i[wƧRp .S߹*s=$[.hLMHŊSے 1!ʹ,e,y}6d%Tٽǹg9œ2HC;3_}Z Bm6O=m0ZJ:צȝǙK"3?M]ˌcݳ! /+YeO2M; Ǽ%v-`%-'zZ5݈ʚc$1$<GO㺉(ILPc=(!25TmYD ,y\`h);JK?AAϏj~$t709; cmedT `-1g:L $,#p,gב&"`W=kb7PFC٦|&.9+ݸ1 &!]2WmL4wv_]fN ŭ8?fvjbEA-QE~W`*lV!= fU^kuҹ6x]7 ~#j5P/EF3xm#Lc.t{%zfwtRF=7Fʝf*(?x*.sh{cJ̍&! ,̬Q\t^.SN61CxdoﴃC(4PDx{{b$k0#X)T`b&$.2p'C&D_QOm!)zt?C"n]& Y CApE6ל_%~Վ}])* RC Q Y~юg2yiMUĦ?m`޼9: S1%ݕ&O~tk)n£EZұM*ځJْ((F. ug ܺ ֞o:}§Ե=6:RԓVo ;|npI<_m쓏xQ+J1RO +&;&R( n}Eq)$EfЬ @x&;I@|>qK-Thӻ4lG Tˌ$:؊Cb/WIXCYlx5+Z ?8UMJNJ+3(cXH Kg+~4'C͢e{TW),ۅz20<:rS"1/^ۖSm;uq~_d}6DI lVQůڝkolfEض#[ה1#nEJ7=zhHn3ӫ;̈́xv~ t,! vQQsj~; [dg!5 RA)nheLUnCmzU| HW6S[VKl6sF-TWaP92,wZlzBX?4C*W8:Vtb*QDݜY +sH#u?x%M3%#͊˓wIbh9a8ˮ]/?5~0"AYn}I mXAq/9Sº;D=5%NXU(XOy 35,{0}^ա͗ -:$` Nj=+r'pVUOb9B=1NoXhdax)C+w+A'f@@ .8@qx H  ^83Rj`T1;l{c&YRyT`!5>.w8bѻ:-o!~ xbI Fs:]%D1u6 x |l?nMBr #*;5ċڰ3cXl_Fu@MaYҦ砥:'n@`? hnQ V%43y:Y胟wxjIwE$ =B%JpJQ34UEۯ/P4&={('~(e`FnT:d5ud{MHm*]j)˕fa"3;8LDK{+P}㝜`1 ǫeHijDH< W'dè #iӫ ja!xLY}hu^}D!i0,_[*& Ї}ݵs@LӁMş>wPg„ 5[!X10][tE*8bHjqO'uwxue-DnodUNDJC9 Q\ycF"!4 zgYZ SS"-% |FOL-exFOL-ex.Classicaldocument.tex7zXZִF! ᇷ8]A-MՋhvG"uIBm5ǒ"?iˈ#e@0NHt%Mb嘰N,sh8,R1hwf3; <2oou% #88$cH . 1;غO-Ponm&lm޳P,"1Xf(>Mn ^Ɖ[@*<[OՕ hr3!(=uj0WY~CTT̷pA Nb A qqU q#> (6Mo27P&Bӆ{(BykRb64#AuVYl9ՑGA+$֍e /4IחWom(#89m%1ю΍g nUK+[,Vmed>yۣC󲷪nGW)rmy-E$00I7ɠ3x6tuRDH; ,N(zc&B}{b0<g]`ƚE$%&'}R(>D>+T܎$*8QPy[,$wb]+Cq0PS0OHp^KvwRS$dՐm6 ,;_DW]I2D7b3R W׍ .0 B5iE6<Aj ,n8$"L nwtPeB!n'&R?J(潀jnzrNtldgio363Iէ/sZG FI=Xӧ3up9Ɔ8\s/6*Wj4:1 huה䙆z~jWo~FTZ}qYcTV=&UUܶ!‹+!+s )Y4U|]=H4z XDҦ2P5A;[8#QB [ !;V%G(poVS d&SFʂ@- ldJ5!DA,./Od5ⰝbɁ>a:*ı-aI L3q1,}njf<%*5I'={k1Hl!by[}uο혅@,/p`{ç]DY|$xeB?b vTF]cP{ڻ3=)/DJ> h̶,Ƨ;TA>5/z4tT?%8 SE}& a0%nψ*iEAh:Xòߛ?*PB"o! 5D[ۥC͹6!7Ph6JPo7?4}_Eאl^V`'[2G%km6F۲+&DԛGAc[3S\waN,8|`X¯7v ,xjy:\l*k-&'Df\9vjU~w~@u r(R.wV*I HW*:Y>FՌpx:Gvf}hJ!$FT겳4o [ }''~ ˒#BbET|V,Uن؇25ۥJ聙4;f(LˋYphXzF>L(]+9Tt2f=.1oQbyLW'Nf~~.7s?2=0Slrwl@Q +b;]țd=' kBO@,ZvЄ^#Z_;Rxݘ2Z]k$% Jn ciA)`  N %% \FOL-exFOL-ex.Introdocument.tex7zXZִF! .]A-MՋhvG"uIBm5 8)<ȶ`k.xoSϫǼyfTΰ3kM1ʝsc. > (ъnt.S,$ߜ1!Pw<hQglu׷%{'6PwV']#)Ht"i5]c}ȖbsC5#~,)Z0W Ew\)ϖDP=dpP~..JAMaGZ{ 3R +<ă8PU [$ꅞ`;3eƺeE wcyl>8黲Iu(~F9r FBC2Ũ8Wc.臡;چxn霃W/PB Cfflak-~^a7>wD1})JIA&r}muL>#]I@_B,Ѭ-B=E{W׷R&#g@U[INШ9G 1P ,Ohԡ1*; jQLT~ soQ+sʲ6(Z!n]VfW1֤$͵|FjM,t%0nky84mWN GoKF 5{`a0|bاf+ ˑ5UÍ,躛oaNOۼ_-?PFB )Wv1Qʒűnu!$9IˡO13оsaaRGҧU;b e|˗^"<ʰ1=j[joGۖMGU >x$m]bdI [q|U\ݾ~Hp/g3l x8aYDY1/}.쉐tMFF**MvxL69 s9Q~Y%F/T< :AǚƚBN㴷5iWOV~{{U,1!38\4DL_@a:h'N<ɋk BbD:St`v}%vt"@RRL3<~OoOd¶ǜ,~L3Ͱyn&ڠ3Wa>zi*5ڱ]rșs*x66ͦGXct7dM\tH;X ޼bT~](fGoTzRߛ:d>¡w; dw\U<-#yg3p*=*^^ۧk(Ui)wڞڣud<8[ݏ14'QoSbriඬ\X:c74VdNe((谣LR2@]Xl9ü#I+΂%0Щsp7(`'jzEjj-rkInzߛ Ԗ }DiTebc$i.`)4oj;vʊTc-; ]hkgYZr -% FOL-exFOL-ex.Nat_Classdocument.tex7zXZִF! 3]A-MՋhvG"uIBm5ı^gi,f9ཆ'hse]`XwsDwhV )veZ/⢚yF6|łH,vB1{N°7k"*~0ҷ [ ]6 GKʤ[vxT+R-Ф)'( P2 [^)ސ{Y`06M`HU[HDl,`"FM BQUd"AV5Gv6`{xD jq\- 푉0SK؅2μ v +yedh`SVR;_-kNBc> unJj&dG=nr-=)lD~߬K?q)f98UF$b{3f= $l2gQ^[Ià%=P9zGZ@/G<@6I'9Ml]HI&Q.Xc5Jc8Sqt4hz*HG D3]?d"';ȼhHMg>{HL7$ȣhr Ĩ$0qt;]1g{1qq$R9CzLRRw r ?Ҡ}~T#RERWjD&w |1o+cϢ{)i!Bk@x2?K9  @ch/+X !-c2{vS\\BhH{Q8p|DEv2{Cb ^O-4#,`'H¥J>N~5KJk:/3u'lБ% z<~LVlJ߲a,'-wVόJm0;SgG%;?/>?}{cȑg& +{瀛 F_HĸZr1(\rƌw`XGCf:LW5&mңu9-,Uy!aAc5u\"4qUZ2D!1!ȀhqJƦ]$;sK#= QikM [n&\4['5~Jŭ)NnG,ȅw+hOXCwF8L׀bˈ r< q{7l{!< W aפ(!w lCvP9@ذd ngVE[@ f =gYZ߀{jO,.P:ݻp nXitSh7 Gt=߼v19IN{yCےmS򨳻&ԖfĵN[$ɶSu~SC~)6agoPv%"Pi廍lZ8G{wOoHK ($ܝZ27Ǔ fN0'>`Zѵ[_#dgY`/:%^{6m.5B4 7%bտ n3D?M υx&WZÂ?@M$뗚{ܝ b(M̻+[K'^:0`|$5}p߇ޢSq|`Dc1|Rܿt~Y9߯7+uUDݬ9 gФӶq^EPJ4<"nYᅳܺɮex RU+zQT2J W#:An]Fi֯,~I:IgN)RTsn&;6䉉R0v<ѓ̖\uϕQa"ţWFJ]SԄM " t͒NR X?ٿ|,r]- ȼ!0f("@1L]0N2;&A$&[6 3MA 4bղåsf5.2OgiE88YJٟE@t ?3a 85hb;Uz9w6=8ƺt9S0n)Đ|cՒ "̬lIfwP]RalR*#yTl)3]۷ɖ:8|ͷELU [-Zt=.hRg]_Efv'jPڈ uGHr4[M`|EHܸQ?\2 m0{j3٬b#kZUX:w2qY Eg-ϼTOe>]#AnK'|SjlNkJ"T7GVMD`|=k ȖrOYG K.,M\뚜IE&ЮdS).Pz"X/دTpxއd剾)ȰJm_uS{JɨVyp8#1> OP"|TQ :ڒ>y=kzJԊ/ooVa 1NC~iU"zRfR~WcdMȜf\t ;Ц_ tr3$( &.uv2E4#? #Y,CR9:!¯ Ev\|SC#Z֣Ccsv2 eKlzptdq9_C{kakM8cdAv&c#ÑL7"2X](Xkț%4j{Uy85d203˗Ž lͪ*+./ޮNZ[I҂  eI^}  @v{$f-,M\9N`Z77,ֲ hj{6i{xPtp[oTRA?חesUHfof`[8hV@RI~n*dRN`>]sݽ"w =gD``fIm0E(Ӝ #ridU:JրwS 4%9 !Uh?qW=ưr ylW0c =T[q`7>gAMmkh/݌N g#Cv˓9Nk/*zY F ':e^YOjl6xrJk(>L>/>EŸ6&ƣ <1~ xް~0.\@&g܊9#].T8.g"it?gdCR}9|;>m/_h^XYyK]e u8uD~K>;=/! A_9F3L.bv9iQWgSyM{ڻߖH;v/q3) U^:+ !ϐ4mZi@謮Iתn?ΔA7ٟUISf*C=P8M-4ue?i@}W\ܛ֊фd.37\1o pFkNnNKiݗFn[NQS X;wIj"ӡE=y=$qbS/=y8J_BÃI_l:z1&KBѳЏKhEzwjGG-1HrA-|82El)G6U T%c~ʏ C < xʢ%Rm޸:&¾ +YҌIqH.HB=b ̰Ŀ.$x{|TI߮RBZ,qSP-{ȝT wc'7hUlE". })Uz+ X )hW-@_ /`ps8/No&~Mp]cT>)1l(:1oMpzoɇj߳rP+gYZ   !% DFOL-exFOL-ex.Natdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5ıܒ'~U $aS 9ТJqŷǝ˕ F ^7C TO7OX"006皿*7}&Q4ɯ  OS?Cp#8H8^W};b-qp{2GE7O G6^ޡ~4$}** amepf,k}4m\Y}00 Աt^avefoWI*sBƇ„|؞;vT:ڽ#=G ,$82b;{`:]hfk}(";Opw}qN#u^!?&Oh2/G\W(.]# 6eh.>6BR=yu"9Ֆ{no9vݹR $a̡0*/'0h,]=]AP@cN;g$:hfF27M˸DNpփ^nX|Nqk!v} ( .Pn}5X]>iv[H=^Lji;v%#auefkM@6Qkv2auKhv_ w]¥zp@ %-bK1f%.ǝMx֟v1Nc :5)قn3cAX1>ڔCatn4FI^FOl;{bz#۬|6z%}52X? %}Tm\ },Ghl'@C2` 2ed\L)l]Nyh=MJ;2p?Q;2l%Ch%81q"! ;{PIx ؘ,aCܙe'r)dI)`ة}{Q^Om)nz)k;_oė wKʼ }wZf*Łd2x_VmUJͦ;sPf:$BD滐ĠX/UܝtH]ITi(PpEtJ?6GpRjp@e;-.V+E(Gi*h^4 >2@kf7,po]an÷)rݘ҉I!ׅH%1ַ2 cl6=~x9oW΃@w܃05YeM;}kHփT֋_O gB6Kv7 c"lnwwo`=vl8Gq)Iޞ^,L?S)r8Z$vnV~\Lr#/2؂r ̸ИcљF=X!fAZ]~U%бAZKڗ LnQ$ `Ԑ1-|#QO{FgyRE!]"s-fČ%y[Mq((BaÛ΢1InUxc78ytXbJQtw>QK6?~ĐCL$cA\Ğ̂3 H+|;*R:O6=ĭ)$(@N[CUL |q6x6Vǯg3kF;t"npIۦad#%FN> 9jG^"]Ŕ.&˗W{u*mVPR6c1F}T1g0pgRF7ٻ )))E)|{+Eתk%: >X(ڗI1[]\  S% lFOL-exFOL-ex.Ifdocument.tex7zXZִF! ']A-MՋhvG"uIBm5Pd:R (p*<:Ej<$_ģɱ!]|Ȉc{KuP`̰W'^ŒZ$DK#@TO nqRe*'~vU 2 uTBnv./FORN3⃦|B2%$(i/o1 Y/Ƣ껴ԘLN4BR  *(עIUCl`hVFKWTϙAb@*|_Jv^\AQղ(u8^]X7_>} %`9A;2fF|Mut \dy5F 7&'5̐B Ii0S-suDsΟ >ŀcÒY_U{8W /S >*9&_ %Bc\~ʢM&~s'oM+ P<7TKVe˩l ,a""c_wWF, JĀb/tʬ߶b SvD# na@^ wJDm9rJ:)Sc9:ss4IGkZ(w|R4]Ir۹|o7ߦkdؑ HJ %ՎM"4~=HQ٦%f Qw!HKgtU,R/M|UăL-~:>di%g9y)\7"q^ٍɝhz\f$#EȠ߳H" P'ү&fHXp!ykbrܜ$U; 6#NU X P%f^48-qAt7R.E@\F7|dQ7 l6S_Iҩ# zהl{uK ena ԢzEpc@SXg.N8`'͏*`;7!`D0JNYuk ^0 Ny{gYZ| 9% $FOL-exFOL-ex.Natural_Numbersdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5ı\;>8mJMxccUtnRLX+v! PI5u.=eIZh#a_SY)倦%h~0%V{9~/^~mrXo 5^}+MӦ]zW lQtUd$ * kOj;ӱ:&n吣?  3ͻN}(~ 7IM]xS9}E)wZƒ uRfp, 5GvDqBP)9÷TjD"nG<BJ)!˞c5GQlF^djh'Ʉ  3R"8lO~|a;BTUk'`H{ xKD,]sfW+sC5DW2%2{Д16; *ṂoxAL;mB鄛jԕ–wo'̞L m"HuU@_MYqef_MR 5^ΡtR I]rS4 >Ad[JE薜jhU'wg{;+!~TsSI8c/Ҳ^iKވ 5L47Ui9TBDR{lo7C k;fR+LBu4]7)ƺw;}rtS]/e/rݺ7vI$T\<ζ)s5j˅"ސ[ TPг:JSe};6ȴkՕi~<^V^HuPrAӽLsm8$i{%644gm -Ɗ}ab^j'nTgGURj_M.5t' t@#4ƤKt'hj_nS0g橋Ҡb;QHُ |$|L><`pU̧-~t>B4)k{6c >h6c-D?b:iU~;~m'A\|7$p¶))J{ ;08kFg4HZC#"X"OUO}z?Fe-/T0ZSbys(0-FclJ֔g5Uk]IL$@PLWkvS4L‰ Mk}pEoJxO]0ߍxÒI#NScVNpipvij)˘ ~KSZw!7x8'08ߗ:WZscv?Pz:a~:%8&W1R,_,hԯMb%p|ND2@(F8Ɋ clqgYZ