EPR\wod3d_Zb@,&aɇ7~Xi J4} , p%I0 C|o7ܫF4'i3ϲ +. 3eF|mx '0{SY/TkK>"9N"U_i>@]qnCWB"rh{ڞ \b5lհl/ס&xHbIg->OHRkgk9S,x] 3L%|ICH "#hVۖw lrdǫZ#2_5~ՌR=0]u#DfyP=
X"aP7wx TMV6ߤjYO'n$i]H8WpZ B3~/a +W Psg]K^Rm2?$\%&u Y PSsfF ȴKήzBChWzoPG\4Yz7mRJe XjP!^]
;IA%K0$WbI= F(@_Ht
HII.nt' Pma%
BqLE{b`h̯6I]*zX+eZQp8T>CGFz%{Y0{qYм Tn - g YZSC /' TZF-InductZF-Induct.Primrectheory/axioms7zXZ ִF ! ] a0{rg ikƙ
]NCxM7aDzMt~bj\G>= ȷ@ n \SEy3!$~?Xh %!= nͺ* ϫe.M{ؘD̘?
gB*δ2^m_M_[Zxu[qϩ'1
x > ʊ ! 骟iPr`rB(Nc?5ΜP.p`1vUR
ei'-Tj8ߎX q9 d;Lkܾ!'Arڶ]*pI`G~葭5
Gj._{F/M1_eղhHyϷa
B7WME̫'гܞetLڍ0ܧiV "||#T>?| 2xx u+~an :?e&@eyݐ6-clTLGPfD۷rk&'-NbbB:"
S /
rbisNSy9u1l
\$*Z4*k1ap3;PS>Ofsww
(, H FKqE naO,~a/ߐE
m)$apÂvnCã'c `&{>;uߕZSăXm%C7Em#s;|4BQT
НPl 2 C|Q8RBu1@&g;zBӎcp8|Wk% RFQ"8؝ȵX3hXH 0ymR#apk3 +*yqIzT zo)7(K~3(<+]dBmO3;O~8tnj?T('F`$#-xVz HAǍ~U2f;Bi%Q 27u~35LУK$ F٫%ϭ"`7d'D\6̘iI! X
z#c4* "vX,uZ n՜螉AW;=kZ 1 5bv5UXzgC[n b'5= ZP
I'{;#|⮏4ޤ:~kp
r\Y b{]Ň9OQ=<${ZRjG$ox s¬;Xyy"y;Jz-60p0 PH]yEGY}Ҏ ;|\'[~$\F42Kri
g0Ӵ5H9A[;^IA4E`|Nde >{~qÀ]WHZj59ު+e wVUI|Jv\-^' kw
YЃbɂf"TF-fq^؆nsz##d?qOD֞ⶨWG?X\[Hq1 ,i JFD:j"Rw3$X~,:W r]C Y##eFO ?i[>/v] + Sͳo@a3]tQeh;*KF@GweR@ ބڤ& YpU G#u'/{JH I}Ϝ_ C"dԂ`;6VLfl
9 '?g
32ۀ
ڑ9t
~/NW081% 1-Wue֏B~#Wz@ȵ ʻ-)Ex?)H*iV41<|TnXT)Y<* M0,&E} qEh.Ϗ(pli(c_?yo6]GzBT ͗`9nG/&Brӵkj.5(R!k96TsIو62[7!ECjOu-m)@GrL*ex
WJf[ +OJ=_Z q E:ߧ'cL OO[5-ϙ
m#S 3vR_jQ'lg!WÓWĐW?Ep@uAo+hlzd|^\A X
6u6?U}⭆1 OU<^(Vx`)/NA3lLD4Rɉ/ {>dj$:q eL"EĹsR KpB!CJ
j!eݟ\<`Ӟꁭپ= g2q3OYgcǕ% n@j$.
:Bl3;)FVgv
٥o[p)/m Vqn:OCx#5ӕY\{PEXP616e[fJ-dR d ܄Y )}8UAɄ?LN;PCoΒW @C~
H
3Pd1F1-Y4>l.ev&5j uL b~8s能! 9##X
8Lwjg$H! ٕܵ%Q jj`
7 oCL36$qY.s bhFō2ME}PiQ*qgKme\F,#Nez0I4} dۗk d ʨT|*oN;ս R JA]B $l
A /UYړUd%澞r+k2ƌxl
sh(ύ˄r1>j/Qv f?
X> nWLu_ڻZ^uh6'cH1 ߹WjA
@ۈl m$,ϵUce F"8
!VE)ؓJI NgOJaN/ a4'?rN2蹃؝pvz)ޣV>rCQ]^85_B3Id 1:8k">;Mb;D}zIKg=VE*S Oa5?^KU"A!
ѼӲNem<W !U
;t.I%Lp3Yi>\Ң i0jT
v*
JmU=)g:P#6r㪿raڭ
0T MZu \6TgEڳx,tHFbDsࣛ `[(eW}(Zo @LoNu}=/ ƚȼwT nX {ze# t lo: UˍZixzZ3^'fIt7
-j=]KpJ1! ("B%8C/6E ;,R!H(J5hJ OG#m=:~, _T #˄-3%NJ {|VDiF]xzrrà2.<@۬w@r {]kdA3
8JؔݲX;6r(˒صL{͝|VU <✔Ҩx__S|2ԯ7FxI[P ҿ2ņ>(_iCj # p[,/]X[!@
%˟n42! ǘP11 >B}<#
* rMjM0&I "uԢ.j=7 ue +v|4Cf%%}8)M:8>ܟ6V> E&XWf]_8J!l;FviYKG` t:6AsEMLY!&tdǃ[oݍF_zY/e\M HߔJv /5fR C1S{&Md~M|j`$1[!xQEݗ@VV6S
#?"vd]4$b HߨOg5r$d59]/¡Tp `
b}Eds%m53'@_c T?Q":҉X7^=mh uD?Ssp{gSf " +mӸcΨm.HS&QdY_KPjYsKZ][92Wt2P?J!"y:,ra ^P~,Lّ8:8-~nEgtA3rl!eI[tT.r1(B@e
p "* )d|LO'#F}3B!~v᧐ "qgi sQ~Mk!_ -KQ2*
Onb4Ȳ kae%
*us0:A.Z؉Cf֓]O;6%A_u|IU$]/EZ F(%å48v _-s0O-֮p>ҍe8{=yL6Wn07S
,uF%v-z:H\2vntS'ƱM=Ã) $7d>
pkҀӏOpvaIp4濎J)pW-0`B~2ŨrIJW;IX&o TV)P>y+ԨUD}NH']&_{955$ * xIjN;(3f닫O%TKU`+K*AZ B ) ܱiWq`$[Uf=H @ .m_ڜnrS^*U91,ۚ 쿷QH&t粺{dci(=)icǧZZ+JXzBԫY6
Լ3C2U jNq?b=ZqN_YnW -ɖ H9dsW
Cբ]SJj|n cJ\E1*
xѮ2WG D;Kʴ>eJb FM!( eAGj:eρz2_QB+ 7]L 8TYYDJsTO-n$FOi. ʦkW ^`Q{EQUkbleA~v%ⷱ@V.;VtI{S!K&5 ySv]0нC6eWK9|:hn^g8D0֤X
aV Ԏ2o1VfWKiU;CE{M^ǖmjl W
3g
q|%jƶ
>_jĘ (lUQ|t;8$yn@o#^#K
@BY=
e3ji5ݟO`{? }
v6!)5Hup MZNI8(wZR$Zu "isey+Jfjj]n>̧b3_8?ޮz!LJ,Ҫdޑ9MZTNdc
s8T99L&[ԩ< .RC"pOKOVY[sW %n HBબ8TfBϷҳb';Iާ|z2
ZM@0JT3 .VN H%Q|A<6~~hq̌ ^R vNNgSVW Tm
4?R[1"~ƃ
ʳ21
[蔮ize_'ˠ Gd- &ohLHKsam3 kv:L1Ґo)nA;Y[=ბnH Fv읮} =Xu>1ݩVf/5_UołY1v@3sLtgɃ*Ad+W"by֮eS( I82ztS!ۨ3
)_-rʾm2\ѧ 4әzǴMZSLk
0fmtԸDģ6/K>D9Eܥ#
:\ƈmXPӅ Q]
m<보vQf/(+[eՍ |G'$' 4qJxǺQoDM6-mY/eɘ 8ywۀ&h |JP
$ x kvMb^\HoshMbZ7=\!&K8 3u51l>c%{58xX
: B& ]B;2g;7xN xĄѼ.Z?TƋ ]- V
snst7ѴZ ;cdk KDvШd )Ӿ<8S:>BsՁi>. ;꿘Thn/(e:5DE,LNjrR~r56r_ʣ($3/`#34bQH,8m 0,Rn -% l9WM ;k]z`4K9˘$Aqr[v \cq }-ctv07qS!J(v)= 2u D̥}v>p~5wvd%n̂XG].)9Gut^$p1_POP,cy{;( "o'FR(iAR 8x5W|=Bi(gY"
WVR ]!}')r?2*7g=!bhmd^T)>JBQccY2Kͮt\WngwC.^ᰡE*7q:$c dE+2E*ˍ쁑Bx 0>ziKZVmۂx55BSc'I!Q'â "z #F]6NGN&F)մ4zr|^'{ VPz$=x2"OUM +jyVĚs(Բ8PT
"8y֬,7NQp|8 EW]Ը.So9 ZD
jU0'TX_%AZRSVvF-,e~ۜT>k ςZ(مKqzTVe̻L8Qye>_Lw
u& PoHSnjynWxKdlP^fRu<×% 3-ZW k/+.V6Whb\.#''g cyOՂ'qþnH`guO</ľ}'rltؼCНU|tW(UX++'uZ"k-d~ '(֜-(אT5e
C$Q+OT)|,ݷ|DyxU ݛL?|_E6"K ^_ULr\:!G?D'.KagU7ԛsa }=%ģxn4$T4T'LFoGpD}`s;G< O #GX\4rW N,y L8Kt.#R&@cL58F0mLt2a<;+-ZپJ7^VwAEu#4 J'dN)xNւl{+p'رv6rXt9=4 |a6.%ïǨ`v~TRBń ˶\#NQFt".TΖT#; &li1!xbl7 M@ p&ilxfƒjާ LUu tVJ"wDiyT Hx:;dsr@=ʸ.EɷL0_3sIxNgamjԋ'.*6rT[.[é;S)d;w3p߸CEB
~
B-]Bcq]T5Kb Y vAtM${o{:(Ysl$@O0@C#)$
uPdqaul6@(0r])"V'$
T4 R ?P lȸ*l9 3(9m^J,.~~B952o ^맶 -#
AB^d3[:mǓ*m3 *s.dSE?
=V9}l>}K_ :N-T>g \ ӉѭB̵P lpo.y)R1Nl
.z~c]p lϊe%ò+}KD;&[~W(M2M= !w'5_/TbBKC{X.>DUE7=qiN6 6.I/}Zyr)ٛ L*a(H ?Bj1k
|h$UQ3' 4p L,R -Wq*(r׆TY@#
(xRm98Nl[e0]1CI^_/{*.QKoc1>]{,Kv"4`af aE`~Q-:z|@6 jtb6 7BjdNڽ@dA+w
0>L@iU "G[ Hc5aA(8 ۇb4]om
*]. IX>X4n{T,-irC.x#TnSe9~UZmUmi lYV xt&. bIk
1s8Q̺K/τ}
A_h ٌut icXF3{ <*k5UPǐ$py>rpN zJ
_>n r1,E
hMnw:!=GW^0k)$/ӽ;cy|*0%\ ֺ&2 f{iIP
3^ɰHBG}V~Y&T;: 5u"ΥQs7e[m~
uEFNX1YUTS$ŔfuBIoX"t ,='Zk¾cé^r嬔;K{uS]x
>:L f c#8!ςH/ٻBn(zXx +m ;>T ONרb,ߪs?hN{ (_+gĭu cTHn'&L )[ԣ2@[/4
mZW!
ѬGAӘ\LX8c)CkN=fV4d7tQ02LU<^,)Pz}ï3~ MфDFI.`Hba6 c^g0CϤI2mD si/pu?'CsG+ 2,QRrExb `[,1$tUz00iȥ;3$<cP ye28!Ŷ*3,A1Y8(U2~Hߠ&_ҡ $}sY8ufGS]z%2ĶZKmgSyp[%L7etfȋWļwmhTcs^#ج#q[>\Yr8ӑ)YDKm1,Ghh XޣTyZJ嗒{_@"Ȉ;$7sI }`+U rCY:>(I! $dÑo;~2 } Ai0\$i(mӴ#cLRr RD;Ubp3KX0EP,..Y\)n\B>I~"){b "*qC,wLy)e'b>\MtʖOhzӕFHE]
_\LY f3WmY9 1sԕ$|13-kԼKs {S+-T:O'p<\Ӭ`
ǾFLr(j@E*6|F} #[7,* :ne
jgX~s"Vb #7U O}1 %@*gԱ[THo'c8;fP OJ߮)fd 2AajS 冫OF#&:wo x8nCym@ 8X)`-A,G;vө@ۻ+Mxn ÂJ W* BM]%^S}kh iNX)C߳8MͭË EaŇ;Gέ.&Ύ7&qF`ȧ=k A?H&nw4;r \`[ST#I3#{Wק3Z}a(!LX ^Z+)RƉ%|$v%̏r(dԹ?e$߉& m뉍
֯>㷢f3f5qТt膃 0p6 ?-ƸY7yq%~9mN9M<N6\O{`QBc&kjwσr9Ajw̠Z>6oW)̭v,-? 7(#rn1#PhXN"Z&UZs.41 E P0.2T/6V 2Ð3 ]
0|r+,K5 XvdYGlX;QCva9W1ۺɎiWh>%g=uf.a+J'8.ø܆S 7-%S[S?A~ ^Nl*>BM0g-QhhMplM\ೞ(~/}z%qɎ Nk}nYE5[7tYYi*\ Z\f[N4o p]Qj3q~ۏ 0 $n?@Ky--!#kfynT75s
`Suh{?G=ǡ4WRYK uvAFLkT4ċTR)Gp%KR2Ѷ{ysmA_["\MjB; [3[$ʐ:d!بKhx1l(AXVnTbbƧqolS }V2xfx ճ-
%yU@ Q%ZT='An.p@#Jz.bpL\y8K{5`e}ZfmQfGݡµnR͗r2 jߜ6Cu*yOKg!@R$,G}[- ƻT`k: tİS&H &h?ދ(g-b}vG8Ep 87bNV$u Y^{7ITlٴ}~[ ]s+8` noVܐ~9P_9 ꁙ[]itY\Cf_rP:%.Z:
ѣ_s i#.͙I3ޫ֖ Ux0=NVWK+rVLajH7:[oXBDlb|y&㨟ʢ(Xg`Mnhw rTj
lT O&g YZ
J J /' DZF-InductZF-Induct.PropLogtheory/axioms7zXZ ִF ! ] a0{rg l|F+ "V3x1 @xRE)qzz "f&x,ɍ dZ~0.?yif1,s+$ۍ?OReJ*l$xr^*Ɠc̃Xr f#āUhl s7w'(=9"VW?h
`+V^ʰYiIV~EF[i Q njg YZ1H /)ZF-InductZF-Induct.PropLogtheory/parentsZFYG /) \ZF-InductZF-Induct.Primrecdocument/latex7zXZ ִF ! 䌉Fh] A-MՋhvG"uIBm5L' r)JKi=B$ޗv'CqhʻKO9{|
!BL딩2ү-GZ+{#5-=HW 0>_7Xoqye2jæW?ۮ=o (rΛJo}mg2*@]˧S2lM0-^#xv1ퟔW")yAWN*ȑQ>NWy#
)
kxOI1ӕ23FfF3&3D(6T"PeB~oա1B!%}MӝbE 6cΉ7yS=*Fe Na dȭN!\ύFJ1
p |iCfA#s}|!1=K4g$/=");B߇'.z>&[Ik R /U4S !.oITzkah
SoTC1M 0NiC]iaQrdQ@ɳpl`*yʞМC M*$o2sS$
EWBC F&`$Uv{xKr"UKqfNSБ,ނUd\N #NP=t($ԲY曖 +vԑP|j:1_c뢈a|Y*Eҝ+p5L}B頯Ǜq9D
e3/=O/ bYc\QOZ2clGC߸ A`eP{\re
Tb,YE Xfu$'F&̓O~H? CY{H !VfoFIÎ}U,DN)A8*
H :7>Sg%Ø8@z azX# dn^aML؋xRŦ aAG
2y~/f'zK57hb,YEQwV^XzSLp~+3=-"DZ9>&+:hw0ϦJ8v!ݦcF\ ָ?Uo}T F6'Sk4%q{ZU%r6vMQn0a c?Lm|iZjs }4BmfncT)xӤp#R]0V|o .I"Du-- B4D݃+a$Q{:C qjiL3l;xu5:_D(j) 7
< 3M // ZF-InductZF-Induct.PropLogtheory/other/fact7zXZ ִF ! ?=] a0{rg l|F+ "V3x1 @xRE)qzz "f&x.`=vPɱmPٷC* 6E`!Ř&NZ$gtf9j xI2KD-kyG'ѕ "/?v~vδ!W8.$[Ў&GHPMf/տR {'r0A&+M)wJzed@V1Ή}H_KurTm uG/Ѿf 2U&ciʇ]cl.k6/]XcyfR$o~TBZ*TnuQ&YpH.ܓ~ͬJE+)Zrc n-Q/5LٓՁvC%x~b) /KxGi (Tqs݂MYc}wKJ._}BZpHdbŔ(,Uej[mIv7~:N /I*ԛ⺲,nR-6]xlW.>y~xux\VhTjZ;ORh( PpF<̔bUꪶ(9 u2\̐*LoWIԠn8A)}I ,|]/bycÿ+Qk̪X 1i]0i`W hp<]BYpunK g#rOQyLхs;ecĶ <ץ pyzsFQ+'o I o7lXaooIԏrTt`7#!h $ˌoN M{`DYm4p.5}@,l:L~aS( jRuT24YSZjz5 * xbX{M9RkDj>*jPz:ѽ)?6O摞o+VR$6;Ǫum2S zr4a X #בbfnbKy$.eTZ{ = +.
@ ]g YZVL /1RZF-InductZF-Induct.PropLogtheory/other_kindsoracle
fact
bundle
attribute
methodiK /# ZF-InductZF-Induct.PropLogtheory/thms7zXZ ִF ! -] a0{rg l|F+ "V3x1 @xRE)qzz "f&x=8 2{$ %m \zkZ=E-='F[iW_qc CQz6u`CmWwXS3U5 t L%D VRn)jYx }SQM
Wr>};D( Yp΄
¬Ń֗ZLbZڌci1b -C{_{ ש+
:ya`+lDPj'¤Ie $OӘg^4'%kf,<-=2C[S0{R/'x>,r+ GB )3utlb>}^BVJ6Q5 &BD_ @dtG5 =-t3Ϟ8DȎ<ǒw&=/u(Hz(в+A3sY?ojdTiyA ~@$+˕ ,AqZeiN
udlep+nbL<?*RVA K81NK
ݺeo<#3=ڥ>%d+ jC0D3Lj֊ZRI/YEi5C=U>mHTO$m uߨZذ?/I ZhT#SqN;uN1{c* /3Z0 q ǔv/R'y!}pTXRdP-O=
s,ʬ#'(BvD.
YrtT6;a q! ˰W폽X/0)ðۏBLڸ}S-]$Պ
[#ly4 nd19
=G~_<$Ȝٰÿvl ]x{GjQ?5D9)aKb8d
yv5$Sj+ qܘʤ
FI
``(9mL9NT We]vTS 1> DJ8$2>/GbI6Mީ5N;ӁӢ`W $~cKk{SE/#@Kmma0 i`!fn^b:Ƶw6ΚGC.{Trc u [ ?g YZ > '3R},H ؓB
Zrm;v /B|:*x[ }& HSg=S~wU"k[~gg:] [}fA. /dj%
I;ZՖ?W/A#G-A lp_y% !a05vt(Jw\@~2Z掶ɡM9[Ji<}D{`7:Â\2z
!\2m@O rvZ9;Y֒z?`Jex g_z5vC ,ȑ'R ]qd Mvgǿ/vXefb
e)qYY8̞FK]Ȁq56 T!Rxиo҄ ы-[f`y$ 瞅~0Nd E=M넿 "
J뿄/H>O7uz~*?, 8 |% ۣܓHuA{8HhR k
mzg3ikTlf
!V Gb:w:jdpeDJa vd:! 9<1 IPt@0'l DȒw->E 'G EM#@~tt >]frX!> Ē>D`(gp]r~qj vUaBңutb!^RyVb1Qt9~₺Oͳ2 kqvIUǐr受< 9=fL2HQ
ב]j29"_5ɛiENzv3p *a^I(ҥ9P~-i
9n++!_ٜ,HєgKHKfR<> cw,&1byv{4Y&B ^_k¾Fv v+;fBzL2 ۛUm)H0s 8Ô[J{Gf/@X!-Yeܷb1nS:KeㄥdA@1OB2i2Pʁ EE*bDƠ6m/4w@\ض1uu`M_XRGw^Bt`es9:! ?<6`@ #.m ʘL:ͺAfrY7X)7y@3k)D_f`Axz1/_J|4!i(28cTl%CvJVG潙]ttc"5|ws0Pbĥ8|of/TtS[ېE2e|(BH4,wͿc$#O3\:=i:c5GkF5.AX+Ii QӜ=̖KF
TF5 K
\q:^lȼ7c|,X iXz_6}ա c"F5GD_}*~ i (G+RO KvBƥ
4=_F,O;\ $Ɍil<` ] m
.fVʻ8;X 7 %jgG#Oi#&$8 pDLׇ7V-yQ3 D!ǚ P`; ᒾg4 w:$qDG<C̬|8Dp?!dL_TU͟ćf&%YD;B
Zmc91yKvM%֗vT#A-rYZ t1K+Vj l~pSԿԲʲZj9j6´ }(_Uh(c
m{6pzem2hI$_dq,Ny/YDOߔr$O!y\(4ZC 7MGw-P1 , ,D2!Nj"m&h5 sܮ:c ^;yC.a{
D?ToX[<ґx"DNnS6b ,6J '͐"!
@W %`*8|@
v:iR<4j\Ql\rrA@?#g.ѠVX㔘s
A|㬂|Nĸgaď>axç}y Td#K }ۛ^aD>YNmGnڋ ;C{EP+h:j9y%T՜0a.19[V[?U٠j"ITFXm") :?LxϞ8*(z Ol{DAIV B6+AW@]:[vL^m_w(=ՙ$ɞp5< g V:+6 t_p4tM ;ֲ>n
Ԛ
P4 )On1,ٮr0V~ Z97z $:s" 9OkT Jt}LK"y[3'VԈB! x*-J>+7|$yM~ k:9䢹kGej0fp8Nb"#Fl u;]Z '@Αn.y9r`oE$T5>3b rz7(,<%ٸ%4tje[~N:2Q;"gn1&Yo w2H O
#Q}jMm«VtcBZǕJveLs9#
$> xvnp=XJc ۧ8;6 ӡٱJ>^ LFWh/@mss J!_Àzm7.`n$jZ3^52
6*/ {D
kZv2zѝ
WMd1涿B8\=pE-"H]L X0Հdq,WONؿ9E% j 6h5eB ig `RÝdϮ,fE5ba&LRF*:p+nsr j|cmmmXB:
P l *\LV.1mns@lzB^^ja=] ʏ?}E)1WsZKy;p/^IW(N{"
KX }͗qdImO iiΰku2JVLBnK65bW uD?"Iꅕw/&%c>}qB:>Qh{Q~/ N W\4V v=:yݕ4{\ KN_$ȭQl'mzgـ@&AsfE2 {k,7
T)$vl+ = UyZfj} EeϚPZz gp/+Qk pMv)vv>7xa̶*9h4ұ=m3mĒdEtny8'gO+w_VwPQoZҸmt m%#ŜL8f^K ם7x1iG9jZQ3Z4O a+_q :˰/}-[> ?7ܭs֨Odbr٬(]_5
%/}Qid\ʉt >|?R
Sv u/ š (x.`ѫcqpȜ' k{j#r:ls#4P&jR'qV,Iu X~'F$
~[C@;w 0~a7˽f*.L'2F[1{C3j
q ^2 BNVs>LKG |/&}zKȒ]@] XU/;Cj ?inIVX7&A
d
IzKB 5^"EYkOo#߶_JޢbN4g u#!*S`/ d%bX27uI3'"B 摽ѭX'j6
EI%/ƙoZ°)x3S=- ,#!t=.$c{4d焵Ͼ9xm+OJEѕz7灢BbWIT>d
;h 3 'tx@ yI AxB?e0}\Q[9a\6F]t֒uŚ'UU8{0}!N8k,ǡ5I%
1*t( n ,GyFC BnW++!Ib nKt%5yXX嘱: nF ,;
pL xZ= 1[ |P}@ Fm
9RAIA0k:)g]IB$ώ%>jikdA /|gu$.jJ!,D 3MfU+zXxmg1 J ;%YouR~zcJUlL-Kd9 h_xSV7T RsWE4/=҉t|S2$+U ,ن,3NkzoeC5ՅqN_;;c-C40HS\*!q@^Nt/uJ;ay>-9#epTR ũJrh Oi9~di4ācN4VB3h $H#k-әiv8Ӹr$)#;鿇ojb;y%z!X
)r֪ Um[RK^
:g P{r #XӾ%^mMP8GS>8N7mRa)Y,Gd5] ERL(< AtFhYRJ3j/d
{I%/G;a3=fӣ0<>l&\ _Últ#'\DDr)W@ԉ^N|D1Sv 0/0AӸ$Z
O;Y,9Vww>6˒#p t:"
桳\Æڂ;n~OVu7|%5bi|Ou?'oڛ1_Ҷ9?_IJRjGE\uKH^w6)h;TK3S. =)r!]sY>9etx"eG9O7=lSj3T7CP=Uc8Y<zT.8 %| }V}1Ü
#KJ['mlc-X 4bb/u*vse1if&[܆ҳ_ib;n0g$5nA M˂/m#u1/
^ZxקΤ-κ 9zBtguKo/q]ݸ^{Z1}o cd;N `96wwP+A") $lkioSۜf`n?1㏉$T2dD0,d $c<΄rKv۸E0 ! R1?h'PY6F( uLaƵxw^z!urni0v7棦y%Icy 75 ȗ 7eę=D:v45%;+Vv{?S
I϶-eFQY[W(o/ŊG*IS=5`vo&mFqIM\n _`d&>dy]^ߴ^>H ]̮m,z.GHɢ%/=.Ƭ;]h.k FAdY ^%w \';e۱6 zՕ6JD\ I9I F
1"clV_2QSZUNTUi)PcMT
'( #V'rf_"twBæ*
8o'i,<J>Quh
)B环b%~%c 5na-ÇsZ/Oz/*F8V~o:Khѣ*5gLpA>b/=_FD!FK &r`ihzE
&JMs9} AQZi
4Hd<è_Ex蜒#(O×&!"F5.#cؤ{͉S2$HN '쫾!"}(}R4v9x6K~ǰ*\F*S# s)G6| 6@ktApnC]zĻA\LB̩OlK9#0ZlYO- {WO!~ORXnl(Ciy)_u~ؗL\|pS<.t d s^ ̨s!C].ɔYXeM `bDg՝*z8t,0ǠW.5S z5" 7zqm@o} y_WjD1ޚ Q>fQDzV`Y>-[-s/QTϬs7
߅AY
.nυ
<"z=sDJ
.X >|3>ӷ 3i˰Vw G/@LFܶf
Ǒ~Є.ۑ{5{*rɻ]/2Y /OA5 `M ωr}k&v^+9[GMY>D JRf,V rO /HC}:'09M+Lx;5ɵ6A*ɇq.n`Uf}V07Dڙ80qCj6_ML]" F m3@W*u+9clo \cCD3
Pӭ*A^oAvR [BB{Y~r ֏nYPv9 q⮹ *^:o)xd'9 XtZCr]6f\4̦6Ѷ2 *^(}~:+0GڜnS`+, 3F5v@kE \<3!/eKW{/3>wcs5R9{h9=8 3ZD! 9k`EM+)qk$X7_^M , dI1@+30-m]
;(]&dOTCJ|M zıݔ$G/K*?~ёL2R uUtS"u\JF.*=꺒 餽Q*.oYRtI;c? }{o3G@~SSJ~MiFu_5tFA8cƓ[( UsBѷP6IH=OB7
.mqn 3 Q[fX1
,`~wyE
ULHoW : wTKwݢtHHja]1&>+g.^Cu泧+ir D,_ _hҙ[TÑ>ubb2Qecޙ4kN(a
DSИ!{c$
j'#_HxD|!x?-R&o>Ǡ.ӳ x͈9ᵑL%UVoi%Hgc1]n aiGӄ!02:j
C&ʸs"hR8/ "9r@Cގxgk|dTי5nG4狆UPLX^n0Uh HaBT 钻4fkWkQu}=*3 \xt.3!`sj zJ#VW;@?
(r:y51BfIA |JQ'K/;ltB8hk)$#P 6rŀgN P0Ic (kUyѢ oNWt=C(BVnb3EbՀ6}bt2U"*$F&]״Z
3,<=Ni? c~0 Q`e+ICm\-[*8;>f6 בY(;T%w$ <Y-Z;ބ0JÝCEK+f
zqޗtEɉL7(&Zq7SYxPd}T5*ō Na9qd2t7Kb)T $rfJ\5,{7R8 DM;*Ţ88n(aGO'< n皢pY]/GDZ3R8}aAQ> ^2&/!~hwrW56KYú g *[uk]4͕0 TQ
D;f<]X۪(
[rGPȬfzw@AYOB /Qsյ
=ÝqlIi\7Kq7n9:9Ga f-\DyɎL
83Em8q`
]"(j]X .V1ᇴ/\kkRjQ:N B(DYPEh+_otKJ ]$` ƽza nF>Sb\)^*r!2k!
765(,e =oOiob_ZeHwK$q_u Raؒ;G#;olH`gr7@%3 gD\/D^IN Fy =љocT%qb(ewV-'gP)WuYjRxro z@ 4 hMI+Vt ʣG < 0J)AJhPWo**biUS ]Ʃ&/ +2T TۡTƲȨ~*q 5'211bNf~; ak8,{Pj8r{5pػSt|V~9Gg++qLF[k1JI4r*QSr7e&$di^P
gR5\9kiD.|7#fm-`e!`&&
*y6`
~̣ر&V
% N\|ߌKKŀ^l^aM̑Уw> Vf
k x Nag YZ
@ Q )'PZF-InductZF-Induct.Rmaptheory/axiomsentityname=Rmap.rmap.rmap_defxname=rmap_defoffset=275end_offset=284id=110serial=373614P )'6ZF-InductZF-Induct.Rmaptheory/constsentityname=Rmap.rmapxname=rmapoffset=259end_offset=263id=110serial=373210.O ))ZF-InductZF-Induct.Rmaptheory/parentsZF-N /) ZF-InductZF-Induct.PropLogdocument/latex7zXZ ִF ! 㤒<:] A-MՋhvG"uIBm5Lү ˀU jG'eE/C9crȘccfQC~ H-ATm0P9,/# e6ev}+\<,XTRhC76V ޯN,Xl! 2C;5LbvA< !Ƣ=ZOB4PڛzWسJ:3+ ~t`='ErY@ЇN
3 ,/!m5L.;J qMYSթZ
21\UnMrͼ2S'tnڂ#?}s ps I)l6i` QIBզYV#2┑E{pT䇪bѣQg+"l |0E|з7jh195z.L@nsmvmrcH/!
(h ݷd7٢J ^a4-ҙaK^ʔyUIvy,1Icݤ ѧocMJӣvn,"m6'h79
.9-z%<σ?"uGG뭗ƃsҩ*%C||NYt Ĕk3!c! ص+j1C)f9
ϧ)D D}+ݝ?9:l"w
i:e CzC䵾D*>QE,တ2/]:ő,l W(Eq~4Mr ƪRxw
e<-=gzd-_wfSg`F4I2+c%N +r(R=8qkzG
k61J`/4jR 8^ |_eHfJ*#|Wpqb֍Nj D\5\>4JX\/
g= TwCsRͱ`AF1a^v$[Z;F\yq{r#P9J`2re\eЕ="M <"mĽ8_-XEE@A /u 'SHNjL6~o 4ϧyJ)_`3IBXCԮd:( s[s͵UdSFX1P |..-Y#q owc
ijH{fJ~--{P͆7 a¶1sEtԽ {vn' /PAB!3 zN @{X mU/a=O={EB] Lj?[$Σ% p}8- <P*ѩX̸$0_%YVG|Vqw YT wɛރTc"ט<@`IS. yaakՋ::]ͭ,[c8ߢCOLΉ+"Y[ 5nH96sJj
1J_YE[ɞMe?]AkxlUN2?-=U#f֛V|k$"ߘ8II$m7cUp]tR)I F
eS}QӲrx靐@%Ƕ~U8r7ҝo(Pa@(,A >dfc#e0,RqwmQ?Xzk[&@H #u]T.^@|\ 眳'
MKFyL;-~>G;{Ylkf2͋;\3Yxu 5It0T51ym\!o2:z3־N9^bT,ob&I]J;LxÉydqS=FƬ6p8mEɴր :|k0< +f)/54L/0# z)}bpWCx#cY,GcY e` t@4)]7hWr16Oᯊhf6x: j|Z =
!R )) tZF-InductZF-Induct.Rmapdocument/latex7zXZ ִF ! @] A-MՋhvG"uIBm5)ᱸEeuv7ѤXOA |5派?;! ZLLuH~Lb|
ef-9#/=_E% Lh+-Zc 3,A\ Kj6&n \pu-֫"d6>SW=J1\P]YZ5^b5ͽ`/f9*"YZr(IaW"$;p
Vs39[>?ThyU`j٬:Idw4ܘ }.V`+R~]OLBt } X=1SDsq}w)"Ey2) d9Ƒ" T%䘘[4u"~QrLx9
wԗ #iŎ&Nj
M?%d AeOQ>-LZ!_mGdD=-m'kP;pF H0 7ӽ'JH]UiFb~@ OhJl[ўI,8u
m7Sȼ R;
kuKAK,=4xm
)ɝxHWpɅV̘I$rtߌ
^uE J3 ; t]]$OIu@2] nܿ%>YDq_INw5; cO [#6_y#dEd@ɂ8x ,A6G62C绀jFR('4$_Eecɪ q5gt>i5ۖU:xB?O ~$_"M`ߤQ)?n9
c`Nr;Qdab}y
T-uB_5W%=հջ mI+,dlm]9`6Lr̎*?aU$_?![ s7zImw5B#"zr;J#mcd(S-ki~![o-}y攟Ӛj[`/Ⱦ߇eT2\;ga @
0Ka58?4BLJA>ʿXJ|#˽(s֒(PtDf
6j~HuE8Fߖ v.(⃭ΛnۨΞu%/rm)*=Z/l5{
5Y;J'*B8}|xk?VFdQc (݂VP$h`Qܰz@oݦͦU
;vrufyKX%`R~A^ChTsoى| =(([/G`S8 E@q2_c5(}nd ; 3<]mM.0W^ [\t}n*NN0 v#!ڂ3yoysѱ{l5q>R)71ht^
Pcɂ탚QRMRbҚRA7OQ7'040]e& Oh2 ڝ4TdBFxzo4dؙqL`[r\x4WE 6w 6o݆=z9U>~3<M&۟(=ޘe汉aGono`y !/Y(ީrop7?ߞYw{k pMA̰!=@cWCSODobH#h-휼 f+ؔF^ g
,f$m%f0"RmQ(*pi3o $C nSpzpg%HTqr<.Lp
_u} ]oѯ0vד0l=lN
ĔөRăCi<`< 7O?yxIl jQ ȅsɈ )8T~21>尝wHU>EH@WP- ɦ{Qx/M/B4ubyGKPz xkUW4url q5^"ށмE?*q4}L"Ye*O*pN Z( 3TBlر^xֈTo |C:<BxF>s!BPe.?yQZ/+SpX1ϛmLx k4{îiN8T#{ c2x텭'Azf2C*`W1 aWBȐx' 2k]0'BE
1Er|Rк9+\OM
3 1ZEKJpbʫ+A2:Uzy3&Qc^m]Ι 3: trew >cs{0fkD
w[h1}ffM<<~}6Mu^:⼻m{́]":z>t_`S/]6eEn9¤_!'fڈoP9n"-
UnRK?2Ox+p/
G :5>N| nà>g=sDv7PXޱF-1P=d]o`LSX Ռ*6>X8J,GlU~2219tPI ]B h1>ҐJ`
?A9%?T:O4v Z[L Hlg YZ
S y SZ )1RZF-InductZF-Induct.Termtheory/other_kindsoracle
fact
bundle
attribute
methodnY )# ZF-InductZF-Induct.Termtheory/thms7zXZ ִF ! ] a0{rg%)֑'G3LRϜż&v
>/ nNW[Q=/d 4gtW#ĞsTWBR 5-șf8rfh}7*3#*Ia9a 67qXejeS_m00eRqd5_L6}* t "3 vS7< <
ff Q *ҧ} ~[pAȋԚ2)78Ne?p30@ep 1CQ|9r8 ;<.zP/> O
yBHtגֶž AG
pge(D͇l4M
Ѭ<%*8[p>K 8.g's Fp !yEZv JII. E $VU6ʄX<1PSl Y˲ҝ}pvƣZ.0VBX+}aEC#R~Sdh-@)@L1ۘ QP=E r^"%ު
Ρ 0|78!Ŵ>AO糒
I>wxٺmF5rupJ:>U|!k:s1m*H[ 08 x - oKֱg YZlX )' ZF-InductZF-Induct.Termtheory/axioms7zXZ ִF ! ] a0{rg%)֑'G3LRϜż&v
>/ nNW[Q=/d 4gtW!ظT릺 ҷ/Ẳ_9}q9Bnpz;_].iΒ@&p-9f[WC`_g$ĵ 歯Vj 8n6%~^|D Ѽ>Z khiJU۴h c`D Y# ⯜g YZhW )' ZF-InductZF-Induct.Termtheory/consts7zXZ ִF ! F ] a0{rg%)d_jj) ")m9fx'#4_ED9U=XugNnf
0RDkP=nu*o mDԅ%n[Lq'l\:OXӫ
"D*3Դ ni]%-I5oj=ۿڍ(\7M"TJܘq8k=hK k ͘7™sמK d"e} ؽg YZ.V ))ZF-InductZF-Induct.Termtheory/parentsZFU )/ LZF-InductZF-Induct.Rmaptheory/other/fact7zXZ ִF ! ] a0{rgK&@ GQo%>/}' W]N[;Tz]c@584 g^ 92UخY1(M\8
v/Ә=gI5%qy><ׄlOEjg4?@ۤuT-UAR)_!=Zykd1G OO.gUWG]9ї HE'sj
z 2!Nm(]^vs:·t/"$V&$
)G H { ;Eέs(C 1bg YZST )1RZF-InductZF-Induct.Rmaptheory/other_kindsoracle
fact
bundle
attribute
methodS )# \ZF-InductZF-Induct.Rmaptheory/thms7zXZ ִF ! ] a0{rgK&@ GQo%>/}' W]N[;Tz]c@584=P>/l:`I}^yk钁R4k~ 甞5t #URPr,Q?7!YHvg .
Z
8 q@ l
>T( [
J
x
(W-nA 01ZF-I( '#ZF-InductZF-Induct.AccPIDE/markup ' '!ZF-InductZF-Induct.AccPIDE/files - '-ZF-InductZF-Induct.AccPIDE/document_id 0 )1ZF-InductZF-Induct.Combdocument/citations + )'ZF-InductZF-Induct.CombPIDE/messages ) )#ZF-InductZF-Induct.CombPIDE/markup ( )!ZF-InductZF-Induct.CombPIDE/files . )-ZF-InductZF-Induct.CombPIDE/document_id ;1ZF-In/ +-ZF-InductZF-Induct.ListNPIDE/document_id / '1ZF-InductZF-Induct.Accdocument/citations * ''ZF-InductZF-Induct.AccPIDE/messages ') +!ZF-InductZF-Induct.ListNPIDE/files )* +#ZF-InductZF-Induct.ListNPIDE/markup . 1'ZF-InductZF-Induct.MultisetPIDE/messagesw, 1#ZF-InductZF-Induct.MultisetPIDE/markupv+ 1!ZF-InductZF-Induct.MultisetPIDE/filesu1 1-ZF-InductZF-Induct.MultisetPIDE/document_idt. /'ZF-InductZF-Induct.FoldSetPIDE/messages , /#ZF-InductZF-Induct.FoldSetPIDE/markup + /!ZF-InductZF-Induct.FoldSetPIDE/files 1 /-ZF-InductZF-Induct.FoldSetPIDE/document_id . /'ZF-InductZF-Induct.BrouwerPIDE/messages , /#ZF-InductZF-Induct.BrouwerPIDE/markup + /!ZF-InductZF-Induct.BrouwerPIDE/files 1 /-ZF-InductZF-Induct.BrouwerPIDE/document_id 0 3'ZF-InductZF-Induct.DatatypesPIDE/messages . 3#ZF-InductZF-Induct.DatatypesPIDE/markup - 3!ZF-InductZF-Induct.DatatypesPIDE/files 3 3-ZF-InductZF-Induct.DatatypesPIDE/document_id 2 9'ZF-InductZF-Induct.Binary_TreesPIDE/messages0 9#ZF-InductZF-Induct.Binary_TreesPIDE/markup~/ 9!ZF-InductZF-Induct.Binary_TreesPIDE/files}5 9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id| D/ZF-InductZF-Induct.ListNtheory/other/fact20 +1ZF-InductZF-Induct.ListNtheory/other_kinds1) +#ZF-InductZF-Induct.ListNtheory/thms0 )ZF-InductZF-Induct.ListNdocument/latex/+ +'ZF-InductZF-Induct.ListNtheory/axioms.+ +'ZF-InductZF-Induct.ListNtheory/consts-, +)ZF-InductZF-Induct.ListNtheory/parents, )Z1 //ZF-InductZF-Induct.Brouwertheory/other/factj2 /1ZF-InductZF-Induct.Brouwertheory/other_kindsi+ /#ZF-InductZF-Induct.Brouwertheory/thmsh. /)ZF-InductZF-Induct.Brouwerdocument/latexg- /'ZF-InductZF-Induct.Brouwertheory/axiomsf- /'ZF-InductZF-Induct.Brouwertheory/constse. /)ZF-InductZF-Induct.Brouwertheory/parentsd. /)ZF-InductZF-Induct.FoldSetdocument/latex$
x /ZF-InductZF-Induct.FoldSettheory/other/fact#2 /1ZF-InductZF-Induct.FoldSettheory/other_kinds"
x /)ZF-InductZF-Induct.FoldSettheory/locales!+ /#ZF-InductZF-Induct.FoldSettheory/thms - /'ZF-InductZF-Induct.FoldSettheory/axioms ]'ZF-InductZF-Induct.FoldSettheory/consts . /)ZF-InductZF-Induct.FoldSettheory/parents 3 3/ZF-InductZF-Induct.Datatypestheory/other/fact 4 31ZF-InductZF-Induct.Datatypestheory/other_kinds- 3#ZF-InductZF-Induct.Datatypestheory/thms/ 3'ZF-InductZF-Induct.Datatypestheory/axioms/ 3'ZF-InductZF-Induct.Datatypestheory/consts0 3)ZF-InductZF-Induct.Datatypesdocument/latex0 3)ZF-InductZF-Induct.Datatypestheory/parents+ ))ZF-InductZF-Induct.Combdocument/latex. )/ZF-InductZF-Induct.Combtheory/other/fact/ )1ZF-InductZF-Induct.Combtheory/other_kinds( )#ZF-InductZF-Induct.Combtheory/thms* )'ZF-InductZF-Induct.Combtheory/axioms* )'ZF-InductZF-Induct.Combtheory/consts+ ))ZF-InductZF-Induct.Combtheory/parents6 9/ZF-InductZF-Induct.Binary_Treestheory/other/fact7 91ZF-InductZF-Induct.Binary_Treestheory/other_kinds
0 9#ZF-InductZF-Induct.Binary_Treestheory/thms 3 9)ZF-InductZF-Induct.Binary_Treesdocument/latex 2 9'ZF-InductZF-Induct.Binary_Treestheory/axioms
2 9'ZF-InductZF-Induct.Binary_Treestheory/consts 3 9)ZF-InductZF-Induct.Binary_Treestheory/parents- '/ZF-InductZF-Induct.Acctheory/other/fact. '1ZF-InductZF-Induct.Acctheory/other_kinds' '#ZF-InductZF-Induct.Acctheory/thms* ')ZF-InductZF-Induct.Accdocument/latex) ''ZF-InductZF-Induct.Acctheory/axioms) ''ZF-InductZF-Induct.Acctheory/consts) ') ZF-InductZF-Induct.Acctheory/parents
@x CS)xxL b6 o; \0
{
J
n A [ .
|
N
^ +ri=\0p=
p9 tZ , +'ZF-InductZF-Induct.NtreePI #ZF-InductZF-Induct.Tree_Foresttheory/thms`2 7)ZF-InductZF-Induct.Tree_Foresttheory/parents]6 71ZF-InductZF-Induct.Tree_Foresttheory/other_kindsa5 7/ZF-InductZF-Induct.Tree_Foresttheory/other/factb1 7'ZF-InductZF-Induct.Tree_Foresttheory/consts^1 7'ZF-InductZF-Induct.Tree_Foresttheory/axioms_2 7)ZF-InductZF-Induct.Tree_Forestdocument/latexc2 7'ZF-InductZF-Induct.Tree_ForestPIDE/messages 0 7#ZF-InductZF-Induct.Tree_ForestPIDE/markup / 7!ZF-InductZF-Induct.Tree_ForestPIDE/files 5 7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id ( )#ZF-InductZF-Induct.Termtheory/thmsY+ ))ZF-InductZF-Induct.Termtheory/parentsV/ )1ZF-InductZF-Induct.Termtheory/other_kindsZ. )/ZF-InductZF-Induct.Termtheory/other/fact[* )'ZF-InductZF-Induct.Termtheory/constsW* )'ZF-InductZF-Induct.Termtheory/axiomsX+ ))ZF-InductZF-Induct.Termdocument/latex\+ )'ZF-InductZF-Induct.TermPIDE/messages ) )#ZF-Induct1 +1ZF-InductZF-Induct.ListNdocument/citations / 1)ZF-InductZF-Induct.Multisetdocument/latex+. 1'ZF-InductZF-Induct.MultisetPIDE/messagesw, 1#ZF-InductZF-Induct.MultisetPIDE/markupv+ 1!ZF-InductZF-Induct.MultisetPIDE/filesu1 1-ZF-InductZF-Induct.MultisetPIDE/document_idt) +#ZF-InductZF-Induct.ListNtheory/thms0, +)ZF-InductZF-Induct.ListNtheory/parents,0 +1ZF-InductZF-Induct.ListNtheory/other_kinds1/ +/ZF-InductZF-Induct.ListNtheory/other/fact2+ +'ZF-InductZF-Induct.ListNtheory/consts-+ +'ZF-InductZF-Induct.ListNtheory/axioms., +)ZF-InductZF-Induct.ListNdocument/latex/, +'ZF-InductZF-Induct.ListNPIDE/messages * +#ZF-InductZF-Induct.ListNPIDE/markup ) +!ZF-InductZF-Induct.ListNPIDE/files / +-ZF-InductZF-Induct.ListNPIDE/document_id + /#ZF-InductZF-Induct.FoldSettheory/thms . /)ZF-InductZF-Induct.FoldSettheory/parents 2 /1ZF-InductZF-Induct.FoldSettheory/other_kinds"1 //ZF-InductZF-Induct.FoldSettheory/other/fact#. /)ZF-InductZF-Induct.FoldSettheory/locales!+ /!ZF-InductZF-Induct.PropLogPIDE/files 1 /-ZF-InductZF-Induct.PropLogPIDE/document_id + /#ZF-InductZF-Induct.Primrectheory/thmsD. /)ZF-InductZF-Induct.Primrectheory/parentsA2 /1ZF-InductZF-Induct.Primrectheory/other_kindsE1 //ZF-InductZF-Induct.Primrectheory/other/factF- /'ZF-InductZF-Induct.Primrectheory/constsB- /'ZF-InductZF-Induct.Primrectheory/axiomsC. /)ZF-InductZF-Induct.Primrecdocument/latexG2 /1ZF-InductZF-Induct.Primrecdocument/citationss- /'ZF-InductZF-Induct.PrimrecPIDE/messagesr+ /#ZF-InductZF-Induct.PrimrecPIDE/markupq* /!ZF-InductZF-Induct.PrimrecPIDE/filesp0 /-ZF-InductZF-Induct.PrimrecPIDE/document_ido) +#ZF-InductZF-Induct.Ntreetheory/thms>, +)ZF-InductZF-Induct.Ntreetheory/parents:0 +1ZF-InductZF-Induct.Ntreetheory/other_kinds?/ +/ZF-InductZF-Induct.Ntreetheory/other/fact@+ +'ZF-InductZF-Induct.Ntreetheory/consts;+ +'ZF-InductZF-Induct.Ntreetheory/axioms<, +)ZF-InductZF-Induct.Ntreedocument/latex=, +'ZF-InductZF-Induct.NtreePIDE/messages * +#ZF-InductZF-Induct.NtreePIDE/markup ) +!ZF-InductZF-Induct.NtreePIDE/files / +-ZF-InductZF-Induct.NtreePIDE/document_id ) +#ZF-InductZF-Induct.Mutiltheory/thms7, +)ZF-InductZF-Induct.Mutiltheory/parents30 +1ZF-InductZF-Induct.Mutiltheory/other_kinds8/ +/ZF-InductZF-Induct.Mutiltheory/other/fact9+ +'ZF-InductZF-Induct.Mutiltheory/consts4+ +'ZF-InductZF-Induct.Mutiltheory/axioms5, +)ZF-InductZF-Induct.Mutildocument/latex6+ +'ZF-InductZF-Induct.MutilPIDE/messages{) +#ZF-InductZF-Induct.MutilPIDE/markupz( +!ZF-InductZF-Induct.MutilPIDE/filesy. +-ZF-InductZF-Induct.MutilPIDE/document_idx, 1#ZF-InductZF-Induct.Multisettheory/thms(/ 1)ZF-InductZF-Induct.Multisettheory/parents%3 11ZF-InductZF-Induct.Multisettheory/other_kinds)2 1/ZF-InductZF-Induct.Multisettheory/other/fact*. 1'ZF-InductZF-Induct.Multisettheory/consts&. 1'ZF-InductZF-Induct.Multisettheory/axioms'
d[ )/ tZF-InductZF-Induct.Termtheory/other/fact7zXZ ִF ! %] a0{rg%)֑'G3LRϜż&v
>/ nNW[Q=/d 4gtX+>4϶
)2YI_qlPP忱_l5xRf@?f-.\_LP#)v
;:`DK @6F/@z86J\^@QݬE(1Y `/UN=M$ V%1Jp7A,=PXl}ф\K.DŽ 48E-2Xe
b>fb:Z)Yelv.nN6#10epYh_>YWL= M]g!5T;[Jv4vFdvYNuUsP{dXI,>^0:mA3:wKt
iD>t,6c"~3)r%ف0q-z₻x%d`˕pU87.k3'f #D7XS#N/o@HPRiWvݟ&2sJ9g8
3!L%q e 㻛 H=@q
?k.dpÈ]l&
}Cnr4)>V`\ r$e⨬RAAn燃ڇ|*W
㹜e5!ئ`HU̲RauLÙMRq 1Lț>z$Nb L>@S5ZͧVPbT ow2xʈ l.ږm13GWۀ j&ǂ2^'}R!:r=7>}rt!P8$p {AW (~-J~+֒ ɕ5ՒT|*[e[+d
;b3*&-N I/>Jr{ejSjvĄg b'^} 5-Οx7zb5?5%= >&>c%E J.= , Ȏg YZ GNR%\w/̜
q 83X,:r<5h\\s,ivEu`;fqTevq ଚG|-"iMf4 mu-P #\٬ŷW$u]6|nX<|`*|]z&jzZa(7U@"p. J @ ^T2\.&zQ!yy=5DO]%=P&0E?9=? ~cE;"#4DR/#/3}ԥ,Ftjc Cͧlt ˜0X
υTvp%
.QVVtӀX\T@CՂJ3j-Oˎ_~kx뛒?/V Y[%9D7%f݄5oY˵ 5*5/Y;";&1F)P:*!?eiYxPm_ZY
y"(uxR, zNj>F5k(`L8 C f>)8ОrQ(F pė!І8 m5y&/s56%tRu3p|KqdIҺuce32Mx'9+^>wQP+ 6I¯1E#thS0φ8m:,NAA; &\~L@ rXSd)M
$8_+6҆ _FO:33^dd(z :9xx g9dz4be6 C\'q),77#!W~VqZTjV/^bµǠ1,M[%-$-;_* a\ϸ(SCf]¡|uq0=4Ss^{@\$
M*0f @ :+_Dɸ?X;Z,Ԡ_YU+[Գ,TZA}
)B }
|+I
-ր pmp0 i@l'HU&
M;ͧ2s 43'-:e v?k RT꠆jf\]Jk6H 6Ҕi+`Sڀ=ӓXߚ5fVM\F*ǻ̬gx
V6c}n~ W b.+i#s u f
3Ӧ@swbU86SL;zCbZP)Jə/7.!U"DT4ʬ`KRc0'kP*dzW.M硫 TA6"ę%1];iOVі\F_<,SQ%adž;6QīdXF/~?9EwVN|}j|Iۛ(oq>Yb{K]$SF>P
BfIU#$Z϶ۨWu&!C4yeWvf5T;]
]lc
oɼM&H [r*
}`ng&wst""kX Ǐ6ԨTi)~w
V%W 2%U
rLd1B5<ܧW].ﾭz=9*F腺BT*?O3C,i5z =Gn^4+Ov:Qx-Ԭ`k!
_ !!5{ >v55fDi=Dvg8Gu肴 bS}!<QlUFyuU} {EV0 z <̦yB
;[~1~Au;"m0z3ֿllUY
LY顽bC!97T"܉5KX!1ulPɪU ݅3 nYlW@6/?Eď,X 9)7
0#7(!) LxCjEiGBp5Mh5NשV*pQa!'6"\K6ڊu
{96(l ԒAARLė oM>i! e<c0EqK~#.y p7bXV$ $NΜI=]- X9 .8<*O
^\\6x _ NeՌgн V{?IsLeu6z8廊Vxzh%U $H11?3T@z)#@8 : &FC7:m
Hӫ^rA: YT| &[0=V!핀ĜᬶP߲tIWX3kw !:((B8]^nݑo_֑+L >jHê Os &-v/@'?* ?~ @THڄ)P8虀
K7ſ[B`̸QbL//9g`F5?ׅc,J9R3W>?Y @S. ѕ3mg֗g5O#I ΑoqtH]dP4ELtۧ ]uE%/3᷷@.넾}L(&m`-3Sq
5^fJA1ϱM"OY
K AbyMgF"1E2E Sf K4g*
5<Пh!UDD `ˬ֓! @/YgNd2pB-39Aj|#v
o{GہRc&xu" ,B ޖM4*̈ 0}K E7Ij9Woe:
Z
-} j.\vzpxփ wBU@] >VEXf#^?ǔBTfZ0\RT*(O镴eQe1zw (
ͪSI|V]DԚHu/Y5UoO:; 7K_xЎ8`pX}tՃqn7mOrȉuv//ޖS$(i-ܮ֪2#SGٱM>{E8GSPhlE!;S
} 7XN< 4LXzE|sv_d^ުNQP͘{cfӖ7!bh,!TT d ,Z_3S onvDp 2taW,qYQF
~ Una0%Ư/C"~
%OWf*K#N_8mX8\o3A˧zR3q_WjF:W^v٦OiAIPj(»:0]-(k@sռ8EBr\PbUE<)ˡjXBȊmyRC%EX18| } ô+(bfY7 ;A>>kT k&.^@ m #eZǻ7=<-HiD^CA<<j;g~2Mߡx#jN:LsbL)n{G iv&
oeVt}-Y
ͨ enaWzdaz'QaR]f/
(_d
L;]w/X!6)"%G[` /0kԓO`8\K^9K'7nfB"q{ ܼ`L4@ dz/7irz\xɧ<0x3eIƤSk(k1xr 䙫_
(Lx~ua85hs,ȤL +%Ue ߠ:XCtT0~k:e%nMنFhiL|I* ܡ wO]:H)We鑙KiV[5#89ZWx|⍚_ʍ !ZW+[B=9I)wj KpZDނ# T =&=!r#2 J%ɔ? wbV Gm)ke #^F KnT F> '%)*3w v$hiGu__<띞~Mдhy "l;QHVHpF* /KB~Ɇ':~~UY2Gڙ0POԼj~;ȑ$fu@Zc@3@rh:F"x҇.p I`a K Ƌ\Сe>ռ QGz sڷQ=+g-e z@DA9ʼnǯl_uVhƄ69v\3f!{ fF$WYoJ [Aqa.)V?B ElF|[#8=# ?@k(N;$Ei# u.hCX ǚeM?26wr+ k.v_upK2̾?&$ҧpR%Py T]t5ô pEhYn
*uĺk LѺ"(D77/8^p{kg~Tਗ਼ Jڃ/_Le/3ZYzq l q $3 ob$6$ ^ g YZ
( _ ( 5] 7)ZF-InductZF-Induct.Tree_Foresttheory/parentsZF\ )) TZF-InductZF-Induct.Termdocument/latex7zXZ ִF ! #/!] A-MՋhvG"uIBm5k
.#b geow* ѴutI+ 6pP&$l ck ;`F2kސN0R H7v=v'mnG1f-$Pp: [!wilb6/Q$ ``ſC>2 T1}Di;ҭ,O9Z$1jޔQp!HX*QϜ:CWo2;8R4Ա
G.QL䬐y h jc9pf@oo6BY`uO ~DFqS[MҤ 67.ȝJ̠a|V3! 'Ê /$2F+HEwc(Pj{aV~RA0N?u2~Zdǒ;.]v;XV3& l!
1y!YTQBc/#+'߮ b+^"#XzYMZ( "R"b,%Y;bC2˲|r`lxYE.ZD6 j*5)ӏh@^iBЅX0쎝S 0F?@C}ѫo`}ǙM'!lg.wPL_?Ӛ`$Lq,U4*SvA vPpr\g j2{Fhj$L i/f zl0SNjL ]ASj/W0wvruv1_E|̴53.kK Ʌe?
qalR:\32a²y2`ưkv')gvf&gh) MܣMge}ȁxEa ( VfLW2{sCo#?N$jښm8Mu [s7r(v[e6(.!Qɇm(mSԽ0۞\ /,j;]Hq7ו,]"{pi3*趘 0&R_f5'V@\1 O -C=h-M";ӡџF뚱
mǻY& wV Z&]U" bѦ(Mt[쏕6[mm'Վ.Hy@;x\vBoR
87cT; lֺoأ(t_myvY=qU,G{
DޗP:l`/Kd{xjNIwxAYs%9Ԡ ֶĄ[H0~MКp>c3:㫿=34 C"2Zg(1A_t;j1,D2
?ÝŨoY":K siC
0 ,"{AB/C3R 3|n $MaU kU\ Yy Sgx(L\.'g=DDQ8`a: W% "hd%>)l=k=*Y莞 p]&F8cN.76HuB p0 a0J+!VG5fG6LY_<N)<~g`s -v< ʌ oG>m@hw(-u.s;EMEwp\.(lQ!zt}WqWom h4]n|7'JhT[-hL}h\-RSSV:iFT
ߘ &XGx6i;fqɝ^?T_ i WSɣ("sc>{txEhgu kjGw71y}A/WB0ɺMw#r`uf^=1`=#pFOaFsGs-tA.h'. `e 5S֨X/Ɋ(5W ez$4Ub'!A ;7 &4gOB DJ|noMP0d͞x#PlkB1ʸIqҦ-vll Rc"
5& 4)E:5KMDlNV`>: Wyajs1^Uͮi
)-xh tu*YBaܦY $NO?UG\(Cpw?1qFN1SfVD6
` _;)^C@f4
]h,.1;%{I?-
D3gEV] ;ט0EoW$pr33|҂bJ{D!+>(p0uŀtGډ>5) QJ
yvb/^Wg] Bjvq}h'I3U}B6 Os(1~/?7, U_*:;ռ^ʍ]1g -x>*v N\S;|:#! ˆ̸7uXeEK3&o#M~ @$VTmJ"+6+9'VzSUi4+/ggծ^{U(B*IJ YsGy}>ѷ&H]rVF徽P !tc 3X1~4ܥK WB1
ת
w/Ud(,hpe˦;CPF;~BlVfn% F
F kb 7/ tZF-InductZF-Induct.Tree_Foresttheory/other/fact7zXZ ִF ! vt] a0{rg-vOGoy$ 6]BedĤn#d!,a`)1luÛѽM 6l'B a-<|AnjIȽ)@LҞ\[p+#>Da*iv -Ux
U
6$^~#@y9m\upe풱c !. дvp~ժWВIH?CF v@P|;'VZZvq(F-@ͳf}qсFxe ; FLB6Y@/
=m_tP
;mdJ,sM q}H{m{O3p}hJ9 xNF_p#"p/(VG>Xp#!P#YXq gpU˦F2goz{:DSj&Y(RUjpppoT[Ƴ74jɩ)Q
l~ŨltRK1eu aYyv+/dBz jj#iWOV+ SӈAaܧR (~&$^ Y TRa<^&*5jul HZnM
;1F+歅 P[0Hb v`ew
QM(̛
L$;HU5D C?
ʑ@_* .?F9Ɲ&zW
z0É`{#D's侀]Q&E|Ua^✋o;_ל6fդ*^w=$]QXZ*N Cl % s4)2@m DuX4
DO70'aj/քN T᩿\B N.Mklko=<ɋilt[x p%[ N sgIk !hBC:E@)>g VeB)#]^"E.ԥ1͛0cw-t3jMו kts6 j!3*ٵ'3O2ڐ/Q w)O=X% |UTB2DI.yaRW(\`$w3XgB0F 2h[CHN鏸" BHAȎiC .L hjl ~cED¯m4e^'!\I/iٝ=
o8+U<
{v Ҝ ,cY
X g YZ?_ 7' $ZF-InductZF-Induct.Tree_Foresttheory/axioms7zXZ ִF ! I] a0{rg-vOGoy$ 6]BedĤn#d!,a`)1luÛѽM 68\ʻm% GWk(#pۮ5MWSwRU]WZM/-Ms,n3 \۴-!J|S7[1 !;W(i> FܤЧ@^/3Eu:gLc*3UBc Ρ8Q>9> YeRۓQ ph DKo.ȗhT?!]
;k)xv6+uz J fp v^{T
Jx|Fg YZ7^ 7' ZF-InductZF-Induct.Tree_Foresttheory/consts7zXZ ִF ! A] a0{rg-vOGq3 ˧"
1&{1i<̇aEN|n97٧aNJW g]Je8gf$Fkݪ.56'uw YV_(e`Qd|t6ӑ=zDmRrz̓Qjg_ n& g YZ KfAqqܜN\
>\@$ S ָIzV@f