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  S S* dl ]/ FOL-ex:threads=2elapsed=6.530cpu=9.280gc=0.260factor=1.427zXZִF! w]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L$'yufo\NWuo׀gpw`xM> ?]|j*vz9dS}s$eF/KΣnR=B&]YzE7.3!$X 0ۯs胱 AWlG&\J&ߏgYZ7zXZִF! ,]ŗXiɟ1 UtjL+S ^,^|jb^J ؿz.L&80w#yOF+Yv6 >6دC+Ԇ3+ǐ)>E&j2$kҋ B9jt @gnMj^b_=ڶ6""XsntZ1`Donz&DC T{LD$ 9^czN 4/pSsx5mak< uM ygYZ7zXZִF! 2V0]ŗXi%; ?yn{ԗ߉.:7[d2sͅ+-;!K3Ժ3(,q <1. V>idey;N1%52hM ݴEkm( 3(A-xHXlh[Ԥb{t (TQ>Ӡ8<%ڷ g6.!wlVr^L EkH9?Ymwߗ0e[hiGbJ6@RMљgK-Q\# ['8Pw"&ex:*+PϠ`fae0T9>A=Hm w'{lĦtI9^F1Bp +^ZWK?ZhKҮ"dp8B yBTM(1e }kisb8تN|'ihhCqB5;kPl0D{|5YL XH߉AEޱ}Ez/g4ض @DJֺ%+/KYx>2°Xs_VVM}uC& b2nuQ??^]6z_H(sû8#riVc^;S_jnFw S>OKr*]G Fah ]ƱAX+3h h9} odteקgbG>:' R-,5BN-(995ȖO4zg! YD[b„ʬ&=QdnbޱgYZc91bff5eb14d291348f7ffe6d90a874c31daa5af408130f68e215ede7936ca4ab0eafec3d85e645c 818f514b0a0ff2f13d0ca0257d1a39785c371d14   FOL-ex--% FOL-exFOL-ex.Classicaldocument.tex7zXZִF! A]A-MՋhvG"uIBm5ǒ"?iˈ#e@0NHt%Mb嘰N,sh8,R1hwf3; <2oou% #88fjR Wob@QdA8rB[)g/,t^&c2IM_95pլX}HmJ?!p|]bq ]ߒUm6?LKr3"ߐ>"g]H+aT431m0'X ֢nM&2&Tk$(NgKJL8bÍ h=cǂ!x7aH K޽Q@\-ZmaoK)sWYTi'F%2Tv?jB(v\Eyr#r; hՂ5DKh rA̡ D8Sxn-LMn4 KR&\C+w-p@I&dtDZ16 9hQVSS1zu+ܫUmʧpY$"Qyl~{}:SDk姘Sj;3 20 [f2Rm܄UQ<|._k<$=q~UYV_r9DOPJP{k;DK= ҡC?6{)I(|.h{n8Aޢ2-o~5V#u|=ŗngJwR[CN%v6Lv *|r >U֧XްW$)ʳ {pE.0teͩ1ZZ%]˰"m{-*C3uM$/&A'qj{RIps\Ƶyރm }LV*Y"pčB(1M1"f=am¯};x4 vbjw;c|߼(bПw+e(hp/_I @T=.O` \FcybAs6ϸA'NM^3^r|+t7DuGNvL!PZ䥼r@6 )F?ҝhdZhpըX%a(X} AE-}AO` RЙAK|Wuj&^PCJB]%Ss]FeZM9'ɐe) yW٭M83RNHȹݗJpH*>D8y쏖.Mo(=־zZq@4Got%!ZuqUjq:Rf۠heGY [ṔzHo4W!@z?w(е(gaDm;\2g+ TH3HH@b*hnb];^je\-(jB+нǬ3o=uw86p0`+jwkK}誻eۨvK{pb]vӨH~<$=EZz)h{i98lԎRu~~|>"`ًrW-8P=S?_M Xix}%\=r7`ldV  H>#Xu;b6IL95Me+ _fՄGscdp8%(gTow_YӜ>/DSs֟>i @MR9k O{ҚMz63䰳GbqA7xkA2jzBA;K-O_8>Q臙e16S9/bW!;FhVcJ=gE8HrBr  Cjg.l/#k O(0 NS= ^'aq珚L׳Y{ $K´ΥbӍ2s맳˩=,}P+RUT4U6fA M7&P!S)Ӑv2yvNL ?+Xt+](9BRC)LupcgG;n9Rb/:#OvHO$h _{mbfs1ÌL2njL@Lh3yHh*L ?&,Ej0%(I |0ݐyĠ0% ACOm6d54pd=g85 ]fN@|AFLZco?Idtd2[3 ^ 5I*@uCT[i1E#6,̣0ۉqxD.Qhg]t=™*x `Ar$݀sTf%++]֍cm"r5I@+Xqc>FVJz;+/e!PQ" A@\0QGF똑fKWucd7K8\f2߬yih۷ GZ?fzqC4z|%8cBmFFתQ}or]jk)GKAIu&\,ÜNE3vx;"-#KF> m X8@ddzpj4W9[zCN?G8Hgq<O#~QLwxx!a15R@6ȓiƈ {r?9/yǎ}wYBޠG=^6W^sek Mίxks.>>o?U#8rՠM\ KYz#= V;2,$$a>@Tř]etmPf1%^2R}6 辀BH:Gkn&͔:/ Ü+vN 7np^ޞ9q&S9Q5};ZShݛs?{A5_FLzr\$F|9DV "W+މmdZra:dEFbm1aO@$3g3QÀ?1f!OvNj;ď^ "G՘'jeoH>_r"0x/@:Lg]㻅 ABWw k,2ijj@71+F.WH_|1l1H1IPe2Kp/TUU_JM@(J$VojX=[dmLdtC:;Xzjl,k=m hñ9XĦFUEzkf3EQ#|Ood}k.qhWͭNZWR.3E%m#bDQ;!k#.sd9_? A(Ag= /nEdGXk[žخ'6-lzhK"+^%Oa z GaV[]%< LI9#`XLBpߥJ  -ㅦ FL8nޯ Ty.㐱mrK#,eI_mGIIY0P"9ҙ@s>|&\Y\u]6V$[䔎"OXn1&Tueȹ[L#5ą۔Wj #ABpaķL1|:2bRIl–JKwNEx}lIԆ~\Y#03 nMjꖉy%ZvY'؉|f:̻wH)v F<`nNEE5žClV"$%֜$a̙:EǭEJ},LkϟGS=XO>֩E$;Я3nۖB^*pz}_p2a.leW7Ei}o`%ЏJh>/ {x_> NQc+N7"^ejtl~o߫<$WoW뇹 W `Q/d^mD.`n2bѾ.兝H`MpȚ-!|wDش&3yql{*. W{~VL4FgdersF5lhJ8\ق-"bfEl"їQrU]YON,UBwAyjF_z#J6S=p W k'׌׾I.qM137{T )y 8ǔL]0 2 m1&G۫NszG72P?dJkP m3k^?MUMك 34?ԴsCI>>`>GYS ث,z)0~ό/縖bc6$%T]61HrX#Di(I|H*n"Ez!ovmUѧ_SE\T/qB7g"ي?j_=i~b#Jo,1A2G '(;kfsǴgaD浈bW`gА] Z5xzHxz<15J1[4 g`yʼn9 Qt4H]:{[\2RE MfcܐWg,:,V;e_6??m_>;f9c1Ojw/ԆZzHBl6xqZј)K6_7)4/ٲi]?/h*Rs=Z/)DX9CNu#U[=L0&:1POLuu9 Lb)W6w8lrGF݇9G.x1@)s^@,TB^ n:'бwp#ti -\'Q}`QUöD՗ 4QVӌ]`t<00J7XTɡ|LOޝSx뽀rc3RoјʑLQ7o8+RI? Yf!V)ZqD{{4فgYZ`Q-0y~%?_6zI]:)T᪲mU@Ϻ)(zEM ޙ@{oӍn)Ƞ:[Vsp0@l\dZ$?0 峇fvhvj(_0yiyWIR E 7Ϛ ~؜Ӓ(̠?$6( $VX*Jco6*@vП I%P1(p߁\ƐΨz/8+7\T%`rS+!>)sV{Z1lq#xIZLPC t¬'+¾7N)EȲ 1WvZF_ajh{-8>]_dzMvq3eI+TE=[u˅ 49kjf5^TH^g7fl#$3o]56K.^%1$^2W"Q^a0(UqlY(SꨓUξ.*5).R-4~ [(RuG϶B{.SتwWKJ}=;GC9ƀq[0φɍ\* wm>hZT|oE/-ElazF^3?3|+nQN ߍ*@9[׉S_qeZxM kSnA7=PyŔFF~C Q~pt;>!d\ 8c-7[74ZeNP#+b ڈGkh5^ OrLRY@V ۱V:#Ѽwb`OLU P=}l*Y9lIlBke5oUF74ʷw6(HPKR ؟ḏp]="2'ܮ(&}ka^|d4ke Ո}?&Q=rlW,@>YJzl4ֺJԺGSKg~]UzR.*r<>|=kQCz0Mt1"n7]v >AYbQb [XXGM{`X~uJ<:_rNz9uй;biKm#SїY?JWi?v|S55uS1n\ 4O7~Zۺ[3Wr#YrHf7p(?xVa,pNb(o35&QƘ.,q/bbmUGJC]a}B#sqoTܳ8K[?3i *VZݷ%Q|e6gB,Ǘ+Nd _pubi&|H:*{[>Oٟ O.|okcs 6!4uO _2m9P ZQ:3Q{v:]weU* |98ƶS%J`4hzQ"x*Hp JEe#PFS-|84?aKP$o#HlXЕzCo,܀z؍ .,|g:>Q,UIt.Ξ8r?#&~2_9vw?ś1ocCwu)24sSl W`*hnMvuwL}l0o`j&%CK ڛ?T 8) 㙚a Bk ƌ΃~iҐ0VƊC!>eV[X96)-+Gk 01xXQQĿ(GDzD cNb%36:m܌+&ؼ2 .8E@%#mgJ̀PUz>H[o:՜~OJIz4 ^9/5.@ٯ!i>+<_Ȇlł.SG FDZU(R 7ĺj  wӯ=@F*rWv]vI0=%~ysXޙ7}πc@ dFTworzbZl >@G?kՠ1*@36羔}PFMSJi2 37F|@Rue!c$)8SЫwu%$_m_+ZQ/ޱ&XmquqN*ԥ7XqK SxyX kMOt5A񙌡BՈy.ܓ$Q| ,%SWȾ~$qKߔ `"N0a2\yK/w!;1u [0Obb *=[h .PNml½QFVBS&\. 4w2*_MY4Y:Xp.s9+ıgYZ HH--% FOL-exFOL-ex.Classicaldocument.tex7zXZִF! A]A-MՋhvG"uIBm5ǒ"?iˈ#e@0NHt%Mb嘰N,sh8,R1hwf3; <2oou% #88fjR Wob@QdA8rB[)g/,t^&c2IM_95pլX}HmJ?!p|]bq ]ߒUm6?LKr3"ߐ>"g]H+aT431m0'X ֢nM&2&Tk$(NgKJL8bÍ h=cǂ!x7aH K޽Q@\-ZmaoK)sWYTi'F%2Tv?jB(v\Eyr#r; hՂ5DKh rA̡ D8Sxn-LMn4 KR&\C+w-p@I&dtDZ16 9hQVSS1zu+ܫUmʧpY$"Qyl~{}:SDk姘Sj;3 20 [f2Rm܄UQ<|._k<$=q~UYV_r9DOPJP{k;DK= ҡC?6{)I(|.h{n8Aޢ2-o~5V#u|=ŗngJwR[CN%v6Lv *|r >U֧XްW$)ʳ {pE.0teͩ1ZZ%]˰"m{-*C3uM$/&A'qj{RIps\Ƶyރm }LV*Y"pčB(1M1"f=am¯};x4 vbjw;c|߼(bПw+e(hp/_I @T=.O` \FcybAs6ϸA'NM^3^r|+t7DuGNvL!PZ䥼r@6 )F?ҝhdZhpըX%a(X} AE-}AO` RЙAK|Wuj&^PCJB]%Ss]FeZM9'ɐe) yW٭M83RNHȹݗJpH*>D8y쏖.Mo(=־zZq@4Got%!ZuqUjq:Rf۠heGY [ṔzHo4W!@z?w(е(gaDm;\2g+ TH3HH@b*hnb];^je\-(jB+нǬ3o=uw86p0`+jwkK}誻eۨvK{pb]vӨH~<$=EZz)h{i98lԎRu~~|>"`ًrW-8P=S?_M Xix}%\=r7`ldV  H>#Xu;b6IL95Me+ _fՄGscdp8%(gTow_YӜ>/DSs֟>i @MR9k O{ҚMz63䰳GbqA7xkA2jzBA;K-O_8>Q臙e16S9/bW!;FhVcJ=gE8HrBr  Cjg.l/#k O(0 NS= ^'aq珚L׳Y{ $K´ΥbӍ2s맳˩=,}P+RUT4U6fA M7&P!S)Ӑv2yvNL ?+Xt+](9BRC)LupcgG;n9Rb/:#OvHO$h _{mbfs1ÌL2njL@Lh3yHh*L ?&,Ej0%(I |0ݐyĠ0% AC[|$P!g֕Hؗ.J)3*ׂ"|PvJ`to|`zᏄmch))5ʒ*3bqXn. %8ZTq5Sa֗LR+y=8uwG0xR;-hn#z/"|Aum_<쵞-oF0X=jL/ž*;J\$rN7e`1u{@tn);=7jTB_mK jub",5VX2J<|A˳rX82} ȈUljB1_޶`YN(զSjb_z#5 K ~o욙f!³7Z^H0 Q—ڽr #u$tV3 ȖꯀƧS.T@@vQPGړ^,m_8e}rD ~Bb1J`&!%sYrUӤa1']W;$)#_o q? ElA^a\E:2f $e,grM=@6; !SR ns,baԩd혹MvgP+B[C=ҿc޸<kBOqոP)YJ;~L|ȝ_ Js=-lwlNkGC:XfnA|L%HtH2M^h>t-[kl MM]LDt6:yov@+琬>Ƶ]@jċP9r5$&Ben_iO=`eTY@ԿaC !!Bl/ުY_jV ?"D lɖ[fGW- @yD슜Eݫn^ L]/hXX;`cbS}Tm^KDe]}X,(~k YP1Lg{&qv8)KDAbh䫛Qjr -kRuokx^$s<-g$yPpaQ9j^$5Q,8(d*g(ЂcTRa3f{9A'438 Y^%[ ^ϣdb!.2UoG*E q~Mצⶡo{U^) rEgYZ7% dFOL-exFOL-ex.Intuitionisticdocument.tex7zXZִF! h]A-MՋhvG"uIBm5 CӁfŠelIC [m/ W1H`S>yh=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(PpEO,D#T3t71BE_7鰠#1[-OO%p܀^o:!2gc{'Wm8-5S)pHOD2fF⥰ŝ?dۅk&n\Qg`iht%z'CMߟf̡yٯ^%'9)J'v7ƃQEY{`㿟"^yTؒFǥ_9[lwzu.q S$vn?ぱͽ3v;%ySܽ/S,Bl$6I(N*sC`/M5-螡rP*FiО;"Uox56;. 87zRXSZE$}ɉ,̡,B1s> Et牶P lyX+=%mm9\f?h+?S/{EAy;qy1#艺RͨݐCC ReV>93jC,fx/eKR`y 4Zvh)@tG@ @o ..#9% tFOL-exFOL-ex.Quantifiers_Intdocument.tex7zXZִF! S1]A-MՋhvG"uIBm57ݗY&pe'M׻  Үk+LRw#okEOzzU;,( > ^#L7tLrQ.b>)עd^U[yu#JDe{Wvm R= @M5. b脉z@d@fNLthдH_^8%x{ծVDA[Q?ZwzJUEbri-\}JB%ȸi2#ŞzbaJǶ'CqϝNkRd|ګc j? ЬUA OuOjG+];kۡ 05bidYT$nk!JGN+cuID0%D?د HV գڅLE)t1DWcT@L%Sߞ}iA/pw/d#)tTS@#HeU!˿һ8tmA/m?Z* &qCkiR:WtiKP!# ) irox>#|LG\NN)SiH9kì0-nj}Og:^u[[}W8o1QtOAwA?cQvp| "Il*,2F&ݫJ8Zvw$4;c)5H.xsz *E=qs/LqXF]->#װlu:`,RJTvWI@?;@BXa5Nʗ\?+s, =ӯN_j >up Е5A1Gt浤sjX!B;~{~Z:ʄ y3+iyawJ6js?p:r3+f@Q>jʷ*3feeAv$B90MɮZ g5iE/韺Z I\kRjJWit Ѐ}`\,^R_ajHUc]ex,'{(J90@/)[ԯ9K/V(FsI|Vlȩي?@‚~Rp>NȀd!V\*/01sSEI};.>GC7\^OG#{P=\Ij\g? ha|0!1[-Br_ou$`݊ ޽;=T JϰOԸ43:|$O$2p1?q]w] Xr0A]4|E.sL Tx\Yȵ!wkqĕ?kŏ}ãVY,;."bVNF82 `([$6PfWhTo"">q9(®2~":f[|$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< %>s: 0M#:\ΰ7dh_H]ԤZSr! q ?)]3O/ZfTuD.{&yLr<;s.8vG{!o;ܡ}O!ggΜb?25[!T=2NsA> IZI\^;/3Y$EAq ]˦*',fi 0bVNh螅5UX^8ҙdxCU]RRyCza\z*76\Y5~I)f x;X++0ŗ\ 6OuHā׏dϓ$RE6&lut͗dڈ+'6$ 87sJ$8QmXzq?3T?^$ìZz}8SFfս} d]?tL3M2$'LF'R^N_c9)xs`?׋3Gg<5vz4zsA;e2=VݩV{yIǕ,@YUg䬇Grh00bUEk1<i.Q}˽c4$L}ܽWnpsӒc{©eJ%¾_Am2npiZz/&pP0Ҫ#ٓXn]b .[weg@ }Sz2%ugfMm8y(r_U`- 㝾fY',"NT "_gYZ  r/% FOL-exFOL-ex.Foundationdocument.tex7zXZִF! Co]A-MՋhvG"uIBm5nP$K'NlA9PIXʑ"]HʴJG5zcGdeSBpĉdiqz'W4bGn].|9͸pWrSM\K_O=7e5`sٺӓCSIoeevໝ_+pA3>Up~hP.3>ֿ>co 8 $ No,5*q!I7]CB~~ճ[8Kɋ0թQL]"t5[,fY؃KJo"Tz&ݹDXd06 TD/*?k:oj'iąvqٟ LP,D/4m)srJB%n(0]wݦŀrTh*M&ېj1o NdgOlxk[SdQpSk r $,U~ Kh]i(;{4(GT-,_o,j.DKX j4m[-͚WҵVbk.qx,ѦW'q0FϖPm$M!yz8/p.^=]l ~2Թ `u&TKjkHLv^Z-Nvv>Kj[8F)iiƣ+h{Of6>Z|Td[B֙WqI,SQ[eE5- Bu鶊}%QOܫHH}L@_v[2:#w{ogc@M9i6"/\Ux-^Ȫu6?89Mp 굡Y7浥ha9A+ψܨ,˗)cW]M!I-3u1,)1#aPAs\1?ה*b1Jy3ϖV]'Z[i ‡N@K3}A4ʵrUx\zqpƂ >ah9ŒW 1:_m 00,~ZAj3yßAy9rKFq )&t 3ޱgYZG9% e GL q HWw?~?z)3DFCT}IҢ;_K0&V0Y|zL 2@aN2r{Cz\ۣYjbYժ>Y&;-JAE 4HJv=k;V%jW},wqA&~H:[CVu2lĦZVrThd?_Qr"C Sx9P>oRV2Bu-rHľlV+K dl0$͔02,#e=ki^:j3*¤@{܉EO/S"#AYvkQb!ڢKVb?TAۿ w173^\&w-_R\td=xdg, (ń6.y~F5T8ؕchldOZ:aR(N(ry:O O H%{m+*j c*: ZD"̖$;ɘnn| bi΂ozlw],0}*.gu( Z(m$"zT3UK+J~E` LJdWÛ0Dhu큿 =u/`H%F MKkn,a Ëc&355\Q˵6N5X,;9*Gj.êw?p-mSw?/>J/l}s~Or!OS(;\rB/\~=T)v~ @fmIDqXgKq* ~ʈ:-~ҕc+,ǡB)?"mgDN{m FvnxXU N(*0H6Yna8Dۥs3IIO~gY1[+-1 rx|Scv؝a]۶^9zb_W.q|1t1 "$tيw+["KhȘmO*s՛{͓`D8酼ѱ 0ρ릯"m\ZX "aOP1iouԒWx)AeXqeJ+veiaqV_ Ya^gYZ6'% ,FOL-exFOL-ex.Prologdocument.tex7zXZִF! 9MN]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۲av6fcO,=߃X6MSFD`TbVye )B / 'pd"1 f*9q-+Z@ՑvtD1 m+9ťy9Oc6gRs(hl(=8NDݪV$P \uQrpWEiNm<|xD+`*x/oK+6фfsE-JC;7/~Gn"ǩ6$ 5OaxF6؟'Ig;FKFGTu 6&g5y9 +xn}AYn|O3x؄⚕zt 5`ƧJᐎ&/#XNS޾2J.w+[=w{³Pv0vtApG7._#'Gd$LZ ΝfXB-v|v|6.o[&mp?- yۅyTcP%{$E5mlR\/ ;rO(pN|83fT Ƚg}~IĥNd aXaqUS3;p/g3EGyhCbMF5o^+A3u ?W|x/#)` Mm/IcY^OA,C&80iPbJvf\kX 5x0\:>^GԪ2;'E)Uf]a G \Pc6&r, ȈL\XnNh998nҗ.]A/$'w[Sc0{#zr˽+%du@7BWnu]ha4,$i{̏"bd1nӡ9ėGoWNfK-Hd -BF+8mJwxRU62hڕ5TdPEAj$2)f(&wȉkBf c©{<g[w=τ(7_f2tIWv݃:YI38*w ȋNˤ`ky"OiͱcRA2^rrK} D62fg TH ڴE|ڱrA{ug>y!FdTdaV+qhESqsq>!B`Kif%y߹om}ZYP-# 4Q*R‘=61RKȀ>,Y3' ?jQV+ZT]psF B7Q{|IB4'>d`y-KswٵpÞtϡ7koʝXh_XX_2_BȬvs#Z3`B<20/{T`|"-}AJ=Єd'KEF]B~f9ve@ D[YF_~@̨S8s'S0}C8) WƏ9K< i՝]1la˸Wbw{u~N117HMY$6y6X 2 @o򸐋zLHtg*1oC2 *$ &"\ABU ObgYZM %% \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;Q`%>`)]ؠAvHN߸/6 =,w3bdcp:BzE;ApL徶v2)M_-MEc]]+ZH/MC1nJt‘ǩVӯ=tBsGZإx`vȡ.p< Br*Y;+`H0E4"@|]F'Vt?Uz;6Lx2dT;ժ_Mc?ĮPaEN[ 0y~n%_+ <FjNl30@-iN-WhD[q2wӠ' c}vS"bEi!jO{[ clx.Z{ڝ;7o;ҿUB(Cmif9#Q8C#VqK<:b:4Xc$1ɹOQsi;95`rE1} N@ s8OPAZ9MK"fS=>1)Zyp#}r\E~E6B&QG sMpw[gJ7X|05~:}が%mG鶠!U]o*؝VaS{aPQ:=xg}t eG;N߹%CzyzqfHZUZf~<~AKuQc4J;{'g5şyN- !bZUQ֯'(%oX~5lA(9Cb|zԞO=/_=2_z9d}E=$б!Éqa޶&+Z|[&Sl{ܳ'm)NJ|'!= ]xRfd%MZ"U!TNn.D._@{9?aAomZo"B|.2Ng_ӂj L2TJ!Gcx'~: RpYz/j(F !jnΐ sv8tňʽmv@?.Ɨ9ƠYd!$˼%6]I(=a-?#"=-byM ՙu *s 9jhx&]blj^^'{&!w*HV/i{1 ]0TgYZ  o !% $FOL-exFOL-ex.Natdocument.tex7zXZִF! 2 ]A-MՋhvG"uIBm5ıܒ'~U $aS 9ТJqŷǝ˕ F ^7C TO7OX"006皿*7}&Q4ɯ  OS?Cp#8H8^W};b-qp{2GE7PȮ,Fx)@ܺ.t9##2Aumy9yL{DcB S>Vsa`h=$`}fēkyjxcRmu 6|̇+g!<;pym{g`Adtg:r;mj҄U8Ĺ̫'A:s'na t,q 3P†%d5GX j{|orZSdD7$B\)`PuqpdS1;t@ohcgW-%JĹ[rUʽQ0| >38MF^5Ю>?Y)8|czlIAQB!!!'1O^Rg}.uF=8YZI+1#` b]lW_iݶ5gq0(RUQhG_U$֫1H*8:`ǪRE^aIF8C6[뿐+vU,a۪GNF3aûb^ю\4 H ~;~Tߓ&Z`o~-L8BBTm)Ida V|E~J%#[4g_I@?'kQJGN\J;c'8pN<]C1=ht2pM ~eCvFuV\0^oCuw BtX /e1ĺYqJ>ue4*T~Qy?V*#fN}!.; eq:㙱gYZk 9% FOL-exFOL-ex.Natural_Numbersdocument.tex7zXZִF! 1z]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)!˞c5GR3Eb-2L*bPk08 i+yf6}Zȷ*y6sއt(*P܆uC?An%UTvRJ;ǭ'5?~+}6y@kE/p2k9~'l`=LV9**ēJL3(ẼKW2RS9.i`̡zӾ۱nr||CY܉T5~S}Z$y>^wă`uUdvFxI Gb‹/ G0 !rfwD*C#,̹.)5=.U$g#u'5+"-ȊX" j5{̠<.ŽN 6K e:Fvw4dtQMU$ɣШaޛ"%֖`bדH/\MPveUV zV|Ytz=!4 h}W|&ڨ2::|jD跲-h%dX]Tꋉ1b, WGDCU".uhNɰA8e'*$cbr X;+_{7"tgftf68M>PM L4\آNl9a l-\AFw%ksCZT"@چ8xYYy1mIP?Ww0Ӫ+mF(snm8g/ kb%871u᭿уwd_:7IdA4M4uges`9ZW.Ux+F3hO,$$b4]c?3afǔ&I8xPS&gƝ?H M'\t_u]qD$ŊfhXAN }ٿk#vCqSO|ǒ&u9tB -cqBx9D/ncD9S B{ؘ@\u#YqEЖ_"H  kڦ«јd Ѥy}lF ށs~}w&Џ5WՊ3/ʎ2Q 1slyH f@,{|h $Z55z I{kg2>XNue( m?)*fd2W> ٙjvd:*GAWUAGUu@U.K% wOړ\yCx+-<I9 z=[pn cɂgYZ  P P--% FOL-exFOL-ex.Nat_Classdocument.tex7zXZִF! 2!A]A-MՋhvG"uIBm5ı^gi,f9ཆ'hse]`Y'.jXTTK3F+즴 %8 `To:p_:AVE˨sK/ E"j792\o[C:t!0~Rt=&qP:j&bl'AWI"] Z <Hu۔%D}Z)N"> M|xI Z z0fhBX8e3eG76:Ed(]6 N;/mI\+HƔ"P5-m/0+[AU|:%'ʲD2~JV}/3v | 2 hco |.O:6?M ] uRN@++nXf6aZ2$tG+$-dasR1=v6s!_RF{s+jߦrs\Dyb~*_9 |ImƢ8h6Opb<і 0'݅Rdj}/*FeVҧ{hRA1G$c~-,H{Ϧ8=YP?ި̹} Ny۟4{D1|>YڏFHf7s&w`Xp˚+0;bV VNwյ`’Dcj>RCI=EtdZ;N0ΣD k4ֆMDw7\]B]-Afݝ"h'I[6q$HE u9Y(B9bT/I )O/,7CǾ`((~cR.VЎ%n` }t爽*̱3dk1SC<Ps&e1񞨐д&t1n1"՟X VyM zJ&u?Te3ށG3:VDkZ\CG]eC"鷋(ӾlkQjs.|lZc_TCwe{_]b_2<̳nBiK&0?^S"dF& _Zoy̯g %z\]ckHФIl%h F-f;w|(Ůu_Ted#itb6a d_gYZ