SQLite format 3@ G.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 ||r<| ]/]ZF-Induct:threads=6elapsed=3.541cpu=12.740gc=0.6167zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0Ќ1Ѡ]!?}w J2 H,|~f-Pwg/Hn(gX "H6Ť,F{RwXSmY h0dQ.:reC>-mr*54'^Iăj&E&怼[oulۧxzvl5QXڪMWهy%5*΍ lzFܧ1"um&o7)ﰩa s 8 L p\v]m~d~&8NİsAM|"gvCCC8qC* {"T~ߢk`c2WQ $۽) ӟ}|A%zxpI8vM''Dk@FTe40@He#GXe?w, 3bXO+{۔{rȹU䵁0k]$={0žYg j0jﱍ E# :B/9S8XÉ J_eo. Y23J Zg1 PK" n @ٞ<5ikZlک ,X[Fx:<#DtB2 6Y`**syvKv;\qQW,芸B'0@rkM#9CgM*@{,n.0>3{ӗ߅&?MBr[:O==p}~c^P1@4DK @X}n VnD)A~n/}8銮)..Af"QY\ Ɨ$EFU8i! 7?'JL|o?iݟvʼZfXآ+g%c£ )5Y0Aa^D=Y-<P}8RHFiĽ,-|FwT33i~0]AVٓx; K#@ J-ԉ(H7`gYZb57673d65f491fd120365750d0dc1b08057d143503c94d74b41243bde92728fc7ab986b0070bd24f a6c6e38959b5d469f6235d29356967e48acf1961f8ee940a54ba5b482da113fdf956c82207a18015   ZF-InductGf/5 lZF-InductZF-Induct.Primrecdocument/Primrec.tex7zXZִF! [mm]A-MՋhvG"uIBm5L')/qa.mmhM@3@zN|8$C7?#3Xk06ė}F=%Ւ.$S+j5bhDeHm;^,ۯ8u}ݟS|{Z@9h*p[ԕ jx]{^)ކH~^, f.Bg|c Quucs)W  onH.:kvg%xX{d=2KvLwg._ ӦT] a@ulpjM:r=mAbS>[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S<FMEKDG?C>;<:978312/*-&,*       O* ` b / @1Wq]_3S*  /  x O % vM#,   a}O + u J !c1`0+1ZF-InductZF-Induct.ListNdocument/citationsO++'ZF-InductZF-Induct.ListNPIDE/messagesN)+#ZF-InductZF-Induct.ListNPIDE/markupM(+!ZF-InductZF-Induct.ListNPIDE/filesL.+-ZF-InductZF-Induct.ListNPIDE/document_idK.'1ZF-InductZF-Induct.Accdocument/citationsJ)''ZF-InductZF-Induct.AccPIDE/messagesI''#ZF-InductZF-Induct.AccPIDE/markupH&'!ZF-InductZF-Induct.AccPIDE/filesG,'-ZF-InductZF-Induct.AccPIDE/document_idF/)1ZF-InductZF-Induct.Combdocument/citationsE*)'ZF-InductZF-Induct.CombPIDE/messagesD()#ZF-InductZF-Induct.CombPIDE/markupC')!ZF-InductZF-Induct.CombPIDE/filesB-)-ZF-InductZF-Induct.CombPIDE/document_idA17'ZF-InductZF-Induct.Tree_ForestPIDE/messages@/7#ZF-InductZF-Induct.Tree_ForestPIDE/markup?.7!ZF-InductZF-Induct.Tree_ForestPIDE/files>47-ZF-InductZF-Induct.Tree_ForestPIDE/document_id=++'ZF-InductZF-Induct.NtreePIDE/messages<)+#ZF-InductZF-Induct.NtreePIDE/markup;(+!ZF-InductZF-Induct.NtreePIDE/files:.+-ZF-InductZF-Induct.NtreePIDE/document_id9*)'ZF-InductZF-Induct.TermPIDE/messages8()#ZF-InductZF-Induct.TermPIDE/markup7')!ZF-InductZF-Induct.TermPIDE/files6-)-ZF-InductZF-Induct.TermPIDE/document_id5-/'ZF-InductZF-Induct.PropLogPIDE/messages4+/#ZF-InductZF-Induct.PropLogPIDE/markup3*/!ZF-InductZF-Induct.PropLogPIDE/files20/-ZF-InductZF-Induct.PropLogPIDE/document_id1-/'ZF-InductZF-Induct.FoldSetPIDE/messages0+/#ZF-InductZF-Induct.FoldSetPIDE/markup/*/!ZF-InductZF-Induct.FoldSetPIDE/files.0/-ZF-InductZF-Induct.FoldSetPIDE/document_id--/'ZF-InductZF-Induct.BrouwerPIDE/messages,+/#ZF-InductZF-Induct.BrouwerPIDE/markup+*/!ZF-InductZF-Induct.BrouwerPIDE/files*0/-ZF-InductZF-Induct.BrouwerPIDE/document_id)/3'ZF-InductZF-Induct.DatatypesPIDE/messages(-3#ZF-InductZF-Induct.DatatypesPIDE/markup',3!ZF-InductZF-Induct.DatatypesPIDE/files&23-ZF-InductZF-Induct.DatatypesPIDE/document_id%29'ZF-InductZF-Induct.Binary_TreesPIDE/messages$09#ZF-InductZF-Induct.Binary_TreesPIDE/markup#/9!ZF-InductZF-Induct.Binary_TreesPIDE/files"59-ZF-InductZF-Induct.Binary_TreesPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id617ZF-InductZF-Induct.Multisetdocument/Multiset.tex4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex-)/ ZF-InductZF-Induct.Termdocument/Term.tex  ~z:7WE獅 aA:U h޴O_>j p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!gYZcUES#usڮaaP '96"J!#7<'r]Rr*N@~\EU$ʔ+*V(`ȒjrH *Nct)Wt&|ɷn8Vk"b`nHKN #VQV Ep&'lxIX7 |0];q2WfkEӿdbwW9_Hm0b)Q},#d|HGbg|sU%`1GbX>})b 8c:n:}2NQ ~ O(iGʮ6Q/Hu5$ CPZv{9 lE!@*'!65􀘶Hٓ2U 9-"3yEyUJ/ޖ\QlwK-6U=Bv۩b3mU`ghߐK)7\}Uוb|n8У- i-7iy[ g;mլh8rW)_qY dbάA&K#ψA-/<ph l(ﹶ_YK3~Rzf*nLmܣa$=>u.W]R.8RKAxMps %k3NlLJk+dz"xlIu#//GAPH{9ĉYhvgje-:.m5}@ dr76h0-z5u6?DBL 3yٔIï\Ϊe>3}@N|p`6iwk.C8bҋy$ S!a8,\#|R}.ۮ52BM#&n^<}c(T)X⇥}!pĜ$up&3*MFC{(A:w̴ɣPDln.LwSW;} 3yo^']48WKNnՇwwEq hmGx›oH6G"!}% SH!悏2k .?+r.d'5%Cᤀ}2a#M{,W {ꂪ,_0y:5KdQ?&[fzKՠX"r23>BA+le46 n 0(eF4?.ѭw ='P虗,%>iJNV}guɕ} 50Y6pwomt R#aw%J^ѻ&;0 j`,Z`>n -Ƚh-mh:H_Oķ(ZfkUEm(Ʃk}â(uH~n7\цe);VZFE^|@D1__W) VQ&Jb )5(%/q%-%2y-S5eP[2)) q" ,m,r }Ќ-4?<N xGlAcVy,FL1 E I n>">fɀKglpt\k?j%>2"`r6xfxнJLy‘0暆qq4OLqE,̗ɖ2x?OmIkn~V ?{bUqpb/+d=|-bAX2%Ǟ4`k^՝q>㐩D܎iКwet6 or |K~r0%Mw'Lw^|Uʒ~2m"g[DE fF`86}bt& G 'u6D9QK?`" [4[25G&9aC҅߹gϰ̝MZ t g*#V8YV> &-/&dW|XcWPe:WEV q2dPDFM~%2b׎8U2S\eDm#iNDL@0QWRWv͑U&o&Qot8-SY Гړ; O:Q)-Kq0j?d2̪=3߳Dp;*SEl~`_2[uM>Q 6> \}& Cdn4:VY|R &4?0LGW?߯2laGrtF9xq,rSͯѡ#d29qi[]Y"4E}4 ˧*Y6#FpoԺZ+.g',Āy>5%W2kT)0;nv6M~Fܻ@ޤ$ы  ! Fł6@ $?PcOg_pGgk@޹&{إ-uJw!wVN+oġϷ%,؁\3S$Q-$q{_|zZq帤S\_?#]S7Wj*/}9S)IyE DɔwJ{էlgԓ2̴F-ٳ+7 d;!h'`;c%@{/I| ^>-:IgYZ f/5 lZF-InductZF-Induct.Primrecdocument/Primrec.tex7zXZִF! [mm]A-MՋhvG"uIBm5L')/qa.mmhM@3@zN|8$C7?#3Xk06ė}F=%Ւ.$S+j5bhDeHm;^,ۯ8u}ݟS|{Z@9h*p[ԕ jx]{^)ކH~^, f.Bg|c Quucs)W  onH.:kvg%xX{d=2KvLwg._ ӦT] a@ulpjM:r=mAbS>[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7Sm1`)>sdd+fy7{h)V,{l a4o8v,L>:xf(cpHۺ#!lp؃amw'6`ȃ[9gmS(KD5J ojR)[=E pDQU?C= WNN]l[o5T3c…IZI9۷r @a(Xfՙ9`T,c`M#c "d)isn?5~9]>ߺsd*xn?on5J~}&UZRS ٪p/Y?;YJ: _@|dX\\3`Ipaռq"'gza9oqYQn26 )bƽ(&kF+݃n| a7~/oL,Bg,`%94=FwPZ|W3!눋O=ݝAMzA#Y4/ RNBrzlB)uxZ&{Xy?2GWsƄ&^ !6RG69 hH&JBHK 1اEʬe=AJiX Χ >@B/R\䶐7u1>'ʃdeuC~ 5\ dg( =;dߦdțYc ވ-1-z@u)F(1}<=k3.$vy$@W'z4a#!Per-* H"A%őO軮 Cz! jx:J9*:ާUeCLnOs8+?)}mUo.9*/L[`0 wIi6=AK⥐ qtWMV~(Z|{Y?$JykɛMNJϞH$e+n) <.ZٍŬ6bWhLWu׭ǣp0/7cJUUNJ]yx(fmv{ Rts9kKn{/wƇZ.=e฾0 ?Sanm( Jowřanxe*5y[ +8<84d:8V=+YTwa&:hpfNENT7瀳a ɗJO^N`)'"VZQmG3XR1C^k 8N_2op#GHǂ%oD 03h֤뿸w!Ū 6mh="#?>$Rw.CV$rm;Eu3, 3Fc1"K>O' cbۧgs)~BF Qwɏ#%,:w۵J+$!|=+X/Ootjb~Pshd#~mzDsY6|BvqVnZ 3&Due::[n}+DǐEˏ0jsȜh^TTl[0,S _jk(;Bds o@6 2<7u$E)r섥{뼤ݚK!)z1N>Ip¯/r/N)8ݯfHT_[!& rʷh$Z-+elۗ0'sQrT@6)3k`69SrpxUL6Q;&0aZ$GFs'NlGzrk {oݔD^H|{ b{LUyۿ\"xy:/Qa 5w[ @i=FAjZE$z4{+(gYZm6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ Q53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`IP)/ LZF-InductZF-Induct.Combdocument/Comb.tex7zXZִF! ^]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): SqL3 ::;k hZ_5c{ih;wC"lSMn^ߊۆhz6jf"ȃCGv3㏳p|ӰTn|5M(/VT@rÕ_˙QzHT So th 0##iPvGҷd}J bچ  0YH xאÀ[>;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[gYZ ;;B+1 ,ZF-InductZF-Induct.Mutildocument/Mutil.tex7zXZִF! O]A-MՋhvG"uIBm5Ujܤ`CL 2|QG/Ʃ|hTKA*E(В]Do&9! %0tC/ᾁa7W\ d%÷wf ,!61UFta-"ӠT6 rK3 $NUv[@*2}iT+#!H"i * a%v࿨Ϣp'Ui(w%+Cr 9 lƧ66H[QǢxVRx^D12?R},QD;5 Uϲ+$xt]m `>qNl/fy Sܲ*F*}=#wR':<7OÞȬ7$so͋R fpӳ7ZpE,U^@g v O C  {oVKvOPKk+3W4>[Y9Epɶ&-g9G+D9?_ur8ݨH{@v›R (u[fQ@w7x6|xfuza $sP7Džup+$DNB.H09 * o]H!57SU)ױJDyCnh#m1xxΜ:Gw')bF+׿A+nʜmh̸ai>{X6ʣ2e3ˌ,)p9ħx]k\P;,jI/}T0Gˬj hmˀ4=lkG~>wԳݛ^J- TUr KڻgL.qNf$B3& 4b-]X('PB0R"6O&o*/rS%.˳W2qީ8r$1L7=R}A$ w%`F^ˇ|6$XKZ$` UMFR~*/dxpcuK*I~VͤRίKT!+Y:M,UYː9 qVP05CyU뮋8n#IF1&o'IxϤÐSJ`ʯ(^5XJW"L)Dijs*O S@羧+oBX5ě\F'Nqq`"B(\V?i*-DG0L;WV; i `BYW)flB)]+h57DFDX<שsOT!ܩkiqhŧ(x@L{Pߚʥ30vD.*vtRz5-ˏF?jRՀ$ g bXk4=8YZ L$E4QJns*65`2&)E3n*'xn%>w@/xB'=Ivt S"ӽ :Vܺh6ʖE/>&l\i$TɼfOuYHNq&BAQ8y7k)&a?n#e'C936XYQQ>~+X<%o9dH˺7LE m'6'YgO%oqr` P8k &\HwGZurzK ף, UQb1SQ$E h:^ө>EƟӆj Q]1.b&>8>B_?h3F $pt->eClxWsvx毫0LFjf[YxNnk ?oa6Ln:c,T]xZ2yp%vXA+*@ !Np? M1k0$t>$G'|Bgdf/hٵH :/Z@y}_T-㤰EGD=ss|5ؚ:X@0s!DAi@%4rg9kbO?dƬURC IIbOmFnVCH0[X/Ƴ!&$uHy\QITTin-!!z2"^ >j/l6aMW0O_tw Վ* 8! OwɴC:=qp2ZyMh<56 Qjkr|P4( vX>jGwK]ʨԆ>?6ygYZ R39 -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvHcy V ߳6g3ؔ= E _7d}&-w)v敁烊+mbQ =5$C7Eż4Qoڟ8H0 rE;%;bW qi>A*T $ NWD [v^k`W_c+.qX#Sjis!['b )zꗈɵ$'ZVɓfM4D;<Md')Jr$S`F ϙvA_zT#RV۠" Lğr1%{I"wvpHz2#JI_ .b.2ڬ\҉Cit '~pu*`/6vƨG1/<UOk^/%'&qM'Mc p*ӱnĕd~ϥ{q0xnM[tz.a$qҹV6}@7HnjHF'jXHr%Dς QdM JR$wH9|gr}ټuv(C,mxS:jt )dFWtZ0/ o+bt)W)`78pY)RYxd\ܿI]UJ컪⤁ӧSd$Dž E_w^OhȠA_n4%n>ܲ)㺖.X8sg,s tWs?Vq54*,1L0N hgBY1O1H䃵4Jmiaľ^)@7<肌-RXc5.Oc>hKT,\\3@T +e8i$qܻ(X|aG_z7eW9϶tpNWphh@[u=S֜qSce? u wj y; mrgYZ/5 LZF-InductZF-Induct.Brouwerdocument/Brouwer.tex7zXZִF! ?O]A-MՋhvG"uIBm5JGr4GaWW?t, ͛=T%VR#sCUp|@%gJwNM?.`8yZg`FnTZ ם3E|h¥j;9O;.g;Ƌs\jQW 9֠sBٮuQcϤӔyZ+墨Фva4̲43oO,,EJS tC+}wm|\e][5S֝?R98>{: C"J{L܄>ji0HgV61W?if9p{qPC7lEWa: i} -zi6q rF#}ȝ_T2 4[jmDbVl=˦j_u[98_XG:M.,PXr3s?UW?5U_▭þ<E%9 gL Gj cx!.V^m(-oZPoj;$!erayO A\w\u\7Yzj!AavrV6 H5ܓ8Mrƨ?tL &\(K%~9,×{Үdr)4LnnL)7Kt\ I!Bc%cMfaKcCOG^!YaYpm@/g`r=|'lYk)PW eICb@ q~ZQ!JA/ϧ(?[UValY;W/).V9uIG'!p,.t`29BU8"x#`;e)uwm!p-kbZ,{|"m_uvj xZƟ-h<\'6Q;8XѲѤp}{r-ffkDh&n/p)o: 3l]1@uUQ}vۥF2T+V>sϑ7WYY^"צ >~F݅FJ gVFP%H+Q}! jHX~W}M7 5$#wL&8 ћ.H.}Wk%zs8__[6BVO); QX= *=%p13wcGq{xR$’skKO-Ç˄K"Np Q0t:Ipj Nvx I+rr͌05"ˍ-EtgC$1L͗Ym>i(h, ڼ40+M#~܏ogYZ GG6 +1 ZF-InductZF-Induct.Ntreedocument/Ntree.tex7zXZִF! p D]A-MՋhvG"uIBm5Ļb\ma ) fXw; Dt" jg .1ڸގb}${ cLQz%5@2ޝ1WK }׍go`ڭ#e3T]bV,d; 4Lp5P H)(ZDG' ,i@,z @`u=ZCJ0O8~>`Itq* LN;87Ś_9cjR]SѣtDZE~e!7o "K>rg[(; l4'gO:+o]Oc$c(|mr^Ĕn FQO!q4ӊ${?B AW 49(O^WZ#HklGo2myИ25Uc.z ZKDfH0=,|j-F7[oJh]ˀ q{om4dD߼X/vFgCݤJU[Gzڔ`m.;xj_yOhhBDz:xtXvՙiе 4WUWNa\}%s}J.#IG6iA8(Ш!u=Mpܦy_|E^3{Ckd&Ƒ:'vf9EC&C&mGzte y \OHJlJCoY¼'{E.^E c`&0@F|t[c2E4DΏ}\;iX$բN -eIy'@ϗc@8˻rA䢉@ܷl5)W*R+`˓g߉eN[,O@6AU3UUN:xk\QMʦm&H3 >t$iSG!P I_ƋOt\K͐vc+jI"0_ᝳeM\%fFί vpq*.2+Mg烨cx.b3`s+n*-$45G얇 ?m3+Yjcǵ蝩 0{wg֌V0K#<kOq bEߟӡA۶F!g "(GFRGes5u`D ˳MkdBFA5?]Omn+#}xzy8M_-|ZVUU q;ӡíhiBj@O ?ĞMa9+Gaٜvʊ =mW2K!;j זCI |\kl#P%NjrE$) Uݫ<>`knsoHuy5aD`9  85'k jGG<>6?$靂gإ5EU9Ҕq,堹نLEgR ÝH׿Ơ,d(c6bYE-J 3VhfXUYDS:׻bV)|N0ѕk<9ڽDKbKI!.Ae5>Y'ۺl=R.1"Hwnw]wI~Rv&wn!c˺MVMy{CUEV}|[e` utTՁ[ʀI(@|g pm$X$0Cil$/|Q+ѝ>;T!0D~$߽ڧuxPmݛ ĉ9X9uoJ?b_śB%y>YfXZFjǹ;V忓@Sv/*JDDjkV0'Dߘapo:h#.Zq=r?ܗ?^\ +;ƂNOcJF13nvܘ% g) \8̭7\Խ* l|m>gŹ Nr+>5J8;H.#9_h:yf"VYuT3Z5tW>W%s2(k^n.9t LI4F$:ѣp  ]71c1‹VEA.l\KRMGèY&/i|y-/@+Ɏ})ko-d}Kjɳ>Q &H<ģbp; 2_B'=yde>oRׯlQ47A$YI}9 g/%tTHTFU?Ej]?V)8t3Y7gEO 4:H2]y"54^<ۼsS7TT쉇f/Xj۹7d3!a<6NSmO:C h9,NJ$ 50||̤~|y1]$@M_7e(c6ż|G,&ڞX ^`ejgo7,j jr!f&@jE\JKSNG- sy򠣩#]>HiUcy4B얚ޣ bhS:8 oDCIjݑ*'F̖GV_a];Jl72:ڜ>\ݧ!ex&xkn?Eu`X5%NBvQ%=L wjr[[V8|62~p1 w9 ny~~gYZV +1 TZF-InductZF-Induct.ListNdocument/ListN.tex7zXZִF! 0]A-MՋhvG"uIBm5grp)yK9ذ`2;u _S 3VX1"i½;F2X+΃&j[cwsofw9X2@znR?~6Ϡ]ܯx3EO\a=4cJ1dg>xEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZ d 9? TZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex7zXZִF! o ]A-MՋhvG"uIBm5fa1MI[ta7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ F F~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'FLMp']#ӔYoamR4iۜO^{-z&[E^EԠ +^Ax=y4VG 2`@(jkWuW-|1+ ؔ2sFG$zI8:FՔ|1dFĵg0,5ceFu%2B5W$O=>Xȏ OKV \hV1iw(Yeb$^ה[Hp\靶7+g~o'lCMӉ}Z@ 4yv^AJz%| x!g7]JHL,W77ȅm{Ucmuމ2Fni2Q`sˈ32l^U:̔\^0݈.1ʿiTS5Tͭ? <bъ`hF'8K!af fѱN9 4?z,C?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZVFtNh+ HZ 2%;*}6?Yԭ͘#l.ԛT͗շbX\m5i_$O%ŲqQRPD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ 1t1A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110A 17 ZF-InductZF-Induct.Multisetdocument/Multiset.tex7zXZִF! (G]A-MՋhvG"uIBm5h\~"E(Z[l% _J2ܦUImNQⲵcRw);k'+3bl&)QKIitc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z j)# ZF-InductZF-Induct.RmapPIDE/markup7zXZִF! 0]ˠ)jk2p O6LP=͵gl5gՙqj[FDQLjD>__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?Ue(4r^jW VZz׏F&6 y}^^Xu+pGBW) \_;t hl(vK~euAΚiE݋4$`3$\k?WQa,5bqsC ʈ6E5py$TI\ ~^9__L2?j(?@ڒ5Ś\լ#VFD{7K7͹uF 9ªVgr_m|2 L؜tZFb@wmCɃfEpb{kt$R (g.lsXcorG6|f1 Xa!>_]b\C\L}"(IdH}80EJ:iuoM8bb\ +-ܤ;9_助7gE@V໪\ qh .0S$ԫN ؚ˥⡵'9}e3+mޝη2THHٿ4{iwWWRpkiazq3khs=S gx 鳑?%;D/rm-˅0昭S J E((sx1l"7G{N)<{s҂]"}JBl+y?Mڿ(!k$(k4C.!uЩ#MbR?Jq}16_6if-@ڲ-z9(urUJo*BLpj>{zn`LJ # Ke 5l^Y G9DYy IM߬} O>廳B~ԳFxMbS9C^V8ΐFwJ9I (/n@P;jߪ#Yw&M'k[\|(%F kưˑsIYS|; ?)ERZϸBGmoc y;z)o܂v*)B"!ӷ3u*ttv =%.\v[]pʎ$Bp,.hY֫h{vSH8xSnn -qD.]-{xXTVҧMѷ7˺W}'$x!U[W1'f(Sڥ5pRj֤4N_.A'%6FUF7}T xJvPFf1$>s|}<5Ɠ'{Go_ּ>u]wItKmsPbɱ̥=WveɸȒ#i)U0 Eਤ/k`uqd|0ܥ^!Sv}ZJfgTؖnlTr"\Hu밗[ =y2ܚ޻'*ECq!cR4h;({Pob#v],'zj+|<`{koGۀ`|z oj-ݯ&syeo"^ò` a$qe|lƣr/8{rCW~,[yRFU{D!r8:ug-[JQxLoG\h6_6̮c\ώgrv%ɯR4mh 0o|^͓n]E8V[EAO92.Gb$Ci "kbM}Pl(>{&TdВlt 1MʼAhjz 4БAO?\:Ej5kSTm2cx[rIO?f٨ʉFͱC0xa&\}N0eK:{%51(p sUA!/DѨ#X 0Ta<';\ c,;|ikA5# G 8;iOwcd lGFivHvKd#h#:-8{m ,|ͺEɒ?[nj}&EguVsR'J$ ڱ3* j;%d3oWsQ<(0}FkY鿰Op"o\~:Dêq BHШ|}Ҋ|t,F Ɵ/>}둨PW2`2S rquOdPfM1 @*9Hr͖&qMм;eQ4}p \owjxJaTLGfck1ѠCHkY9@\gsYl'Tu 0ހu1cE, o\ (aTS N)QҞlohQ߫m(<3t.`Yl{y(L$ Yw=G#ۄ_Ya,Էn( j j pxy`thg;•Ԕ3[KKZ*t 9>kCOy +w19,0A{V(%TI}NL4634AVRSs$ /}GYBTi:ì@l>FQB2Vn[])YP[K&9C: $V J SjS_9iۙ5 *`, mB)p im#W$hlI!E}"_,\ݔz yԱo*3Sq^A1fZ@]MS}=}s#S4Q =BS<='F _8 2BT/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λͼ#ZR+ ~F~똗W J^XmysHG_/Dh5ۚ-,>%S!1VѦg;PMhujҎ 58S=QɎR4B;4" 2+1r6ySP&TA/sc>ӳ<cxk!d3a:u N]i^=q$_*-y1@Mʺs{a0j65 I1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy51-ZF-InductZF-Induct.MultisetPIDE/document_id116D/1.ZF-InductZF-Induct.Primrecdocument/citationsszasz93 mendelson3/' ZF-InductZF-Induct.PrimrecPIDE/messages7zXZִF! +]·Iq n[:|&[z}*Yῼp}dB)Ґ)Egw(o܄zdǂKH?oG/B >EKb6|5#t!a0[}[&7wdR)JAay|0;F /zBHGwcė9c,5+g) ֹ[)^u7]!ʏkQU'uG iV)`NK&'~jJd"iBb|c\Md5;D's*&Ejdy#6qt#LFygdK>TH F؍>}.="Kq0^}^`L u ,1Qn=&*%/gYZ /# TZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 2$]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9'pB09\I!IE<ꞛ={,5ўwjǙC)RޱPˀF~ác#_%g{'c, bCo|`wV7jVTƮa$ռ*\:ܲ@ ^mg,zED:}3vsZBz[GV:[ #M-jHQ%1|2$C, 2%emC;]$vfti;xPAN-”!a*hm¥+ qO5>,fkrkP a\DTM=*DqNh{UD@?A# l8*`~43dMJB!G/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thy4/-ZF-InductZF-Induct.PrimrecPIDE/document_id106)' dZF-InductZF-Induct.RmapPIDE/messages7zXZִF! R]·Iq n[:|&[z}_8f.JD y4;s>T; т '}z-4&:lꆿђp(e4sh\oۇV鴪{nle=@Lt6't]ь,E,0EPr?ܤX\GRqgEoAIll'bqBl.Npo!DLeb.Ċgȼ/JW@ټ"4 a@e.uɭ#HxsѣɓS<#ݟ?s`Uɹq+ӬU{gRݣyOw[[OL:MNonҬ1b(݋;ЫKYS zr74t5}"E2wYio0^% <(;w]Vl'Lֶqqdƈ1x?1z Z hjOy}O<5j6F.MX}^{jP=^tsݳyz{U0( }uW.:!d*]!sT%_`zCb,|SSOk7oFE@m5ûQnb3q#M~Gľ-4#D=NڪLYN4@U"/! sh@W:Ao@>Q᱓x0p(b~̀~㿢5"dP׻ج&÷\,Wi*W.+T7(.6y"s-ȡn@ȺyG9f/x8RSİYuRI0!/_`V'k[@cADG}2{T$WGsy(xe6zf-i\$ě #kZۓvL+V>)Ғ|%o0SΎf0NG!kFn^r=AȨ<`[VT[,M0˲dEVNuލda%hI auKh[)m{PV/LyJdI%T[0ޠBMR w|11! x Fp6:ܚa?ԝiolhfϣNWwBOY(м(xcB\<8[ &{ż[փ|aLi&~R. wb+R`_Ӓ$>tĴ6{CXD`VL$?ia t~=k^w]ك6 /쮃ft=ٙ#1%& DԗDO` ' b24qDP #.#i.$$zX\BebRbv"n6BR3Gj!HBm/<U TG x*Yj9EvvˬהEe+I'R:vL}.IQ wXe*Bp&-a^(0 ̫/F0:qRQ|Yp=hc;5Zm{+X`ۅ1A\a o )F9Lv!m,_*@'eTbnZʻai/M sim ppP:gVl s3~Y G̦롈baL~1FaAx&`9Ѝ;%Uwvr#cµU 39t pw6o#{˸DeO4(C2̰BL؏ķ=sѧsvwLRGH=KT>09kv[B:vzAL֒MV{]#yl[4_9F!b-h9A*0m-ݡNLR_">МC[Ѡi-y_"rڱD g1wcV|^o;L<~QBxC*rJ=s%{qqn|lR2E_^YQ텐xҢ{/);'j7$$͌^"߅4m MLGCI(x+ꕞgQ"4I}`oF2ҩroqHV N{;a/񣊧݆']"tIas6{\^p"%t ⦎zOxĻ5^ 9&{q<<, H*&Dfq|t7Hǎ>@8fmW\ڶb%j,mkWɷ挸yT"kdM?bZI2ە?MyP8 ~*%ە MhBQ%6`A$~5"mU~b"///"2gcza}ɳKp&h"bp%ItZ<`u*(VCc;i7kc+Bf"Թw]~^je)hh Oڅ\e'r좘1Ț_) Rh_΄ L ,Q-siԸ6jS˾㮇"~feHܟ*E =u%R]G+n<5,b`?W[β!jR0VyPC[GFNa&]  ~.إ a?ѸtAD])5LJY/i&u I T)kpou-df@w*;FScP91/6G։q(p")UyqfFB3;Sa17;NkF@τ#~\;d.~%3k 416š=:Q'zOŖ8.=VYq3 z{jM,S-h('՜-I 4*s+poڳw@p*_L$մ 3m%j:` սpFD;7%>es> f ڝk|/?v:qslc4?̈c_0P6?z(ܴ { ` c : 0J$Y\|'(Ɩ/:{$pp4Џ qOOR5l#;VIY2E|t,B$J;}orq.{eѮWYґH9ɝdg1?dS]lp>^HcM܁Nobߐ]XGё u)]ú.}_Ǫ k2:lD\0͗ƾ\Jnd#^F= of Uv0.Jr`lix*uÌwy'>~ q%PQQ0RO<]Ew)܊98~Y~Xf)Mu 4Oj<%|/ui?3P$j.3KT9^ ZH7Y"gֲ=]S,ۿM3q'Xױ\a4~ :Ev0fTguT+EHA ]G߮(Q «Ƿ{_t,؅㑛| F3wKhyTCKѪqD@,h~O'~1XC쳃s4%O &hnfUC| oziFiPvv`'Qgs?Hf2`8oIPYf-|m^D}aB"(5 ;p oj+Z{V+Q[Veq`F$pR`+YhQ" 6_/3`#.K c쾹#z]wI~ǃ^q6l(ܒ*4V{,~脚ykG01fHa Ϳp Lڶa&!Iy+$cQlD0$DMQK5ҬPj\tБEdcB{k=]kV /4ZXqMKZ'8MĆ~V.k J^xbu1:j][~pchauB nXdI!VW +7HwVlD@^|tTAںTF{ziIŁ4dE*IiW_Aodi|o-g\XHa{crp릧f*}`M8('iF`4kˉ%:vܖ}ozqJy 'ioK*gE5'ߜ̒6W ,pR$vFr[xs\O%JIW|=_Eoo?V:΅.ME <[}춤4hi[nr49A^TE?}"0m"fJs*{^zOg+'nx"'6 JlKBΣ}6gLTዘKUf_#Q@aKehW fkz LmB'O\_2{~Nv¢O[\71Qv=}Xyޟ(\NcsLYYԓ3,2dVMtj6&4`HY{WIe)]ٸi;)iy@l4Stк1uycrM[] }qwD$ۉNafSTuFq.*ݼF8IXxsk?R̖ל>3N?#㿀ԨT@F(By9yNcfyxͼ5Եq~`*XMzs5YIoݭ6bnaV5$- Jme Pgѕ%#N@woFztq'QrQpFi[vuEnj.j7J0U=X96u˝E@?$3ں1`(p:qr~ra'P 4_FOE o/Sq@Lŗ I:X׿خNQ?o&!1{(w'g; / 9gbuW1+ukQDФ?5"_J u<P(P{myjK cߕߺ/)>UrAbR?.8c>mЫ\{-vDi[ߚzO&2W2,y^%=+te݄l'}Ԋ<ɶWT#+ E߳-JŠ8l#, ,Aa%p'3Z/Syk@Q@M3JuڢV*: `uԓJ` mYc)y7ƺ^w5"HǗǾcZz8\$f"A̭>͝ ]M sJx+\d? gmgyY3 S:aGP>Sq:ÚbUeg'jC1uG%s;rP+:dIBL4jCA<7.9ihgH jljУRY,GwZ~c6r'WoWIk~e}L$t=s8pJsVC LA̼;Pѯ jLe>|G3eܜo4[-a+7E96{1M7I Ml:((3,JTdjg/ w=S\+O$. xkԩBJS>Cu6 m\0:ZYtTnjԕԅsZJIC;Ub=.0|( x1F$XkYgVUE\"9m̔1i/ >2XkM!-˕b,)IKMX|Dd2CI[.=C;ݧߐFwH+ӎЭ!,Eʿ@Aڅ>(x^:&\ Ks I΋:C)YqTz )n!:TM˫h"tJŽi7Jd؟4\j洄L{f)^3`HrshJgZ vௐ D^ )^\|$͋Jb۲uDVTwo%Kz{HvZJ?>ܝ=0oo-uwgǫ%r93+S0*۞Ủ̉8*AR |8,vb`SEa4^; aNoP\5 ]'ؑxZt8#e2C޴ ׋/VI1_Lajdgj {} C V|t'kW%_9E-ڽ6C)GKK!`]X?ji43$艏A)$ t:-+;x–(%"'\g!* 5f}ׄՈչdg&%ZA4k,n :W0D şUB˽Ʌ4&yʥnY482ᬌ: 6,?K>qBWQ۸Btucg IE?7xLFN(Z FUBq?tx9׆< ʆ_|)0KB79_E򸞉Y 9E94xrkQC}/Mi0Gs(-&)*J(1^Q[!?״#VJ,)OˆBu*@q?pHn5[NX{ gc>?`0f!zA̟fiJ$+LNjs8[w{z+ͻͲPhho:Lrq@.!u4H쟛PQQ Va{{s HYeٖ"Bmc8Q_%wT.IV6[+bpuwW~z̄o$y#TAiynw<\.OˇWEnX Dsq)`@ WY'xeGKȉ q> %ʂC;byg¡2ŜE ;a5EqPqz!4 c&Rv4$ž}>;^ⅨXE(kD<\ n+ CNiQ{L֬2=ZGs 9 q HpZ?ӗ m}Ppʄ,9:R `UU(.yrBݨ:ڇ彺`tJR/Soj!7O+tnYYr gd<@4υ_tb$v^_F r+['(5"sRJv5dg L[2\r6Wo;X@P0(A5{}J& t^5rnk%u2n_p_֖NGdS>;H%/ spڲ+5)CB_-WMg̃ˬr[1MJe!6ޑݤ?UAoPbVPGظŽݾS@ p#X?#vJ F˜u^ոzqCki]Nnva^;.&*8ȩ-]YGVZ^[i?a_(gWr\2鶀a](gW+$HOd6n'j=&^^  fdYzxSR6f8ߗ! iJ3QѹOX, )BVf^bq@ Ki*: 6=+Irk)^B=dfZ?U(T~[rw:K"sE1AX]l Mb g*p /ݏTo{i.@â  '`SEJ쾿OXrS}l';nCq,YaV*ZC%&?M6[U %n 7(RVSؓjI>w#_CxدfKN}tlWW? cm f%y(ZsȞ&/M|OQS0_G]yKIho=~3 TkE_ĺAvou{SKۃ?UTLr>4Dad}UPL/Rcoͷq: h4OLw"S-6 4Z$as"nv-ּa.eRVV,I U[W )+iv2u& tf\.zmjonj}bso(tS z< ώlѫWpB-!S{jC$DTwEѼTCT]^ 3'5qos6Da=)و^݅ 4#Lyyf0cW(1ŀq殽ul)uV?H֊4rM)xF9x-Iv(u1 ԟ];%bÇC sx9 ,|x|܁@R{PʾSbư:BlBȺ '8ltMsp(j<~5^Q[zw&1XT)z0;ewZITFPLIٜ#;bݢIz *߬Һܦ> HAՠr*h(_EkHJxnwitC}GI{PY6+[oA\7OCZ Uq-˱ =ۢQ)+::9cm*ZyD[H=8PJ 61MNgPCzu^~+=S}mK t_@I#e 2 R{QŔTBCf>}؊1eo/DkE:9!]Cpa̐m~Qyf$R`W©C; !P,Ŵ$mS}CE]y^&L@\՝;҈z~r8J`*}'.@&zHpw>S)V#? 6rmx˓ LcO*x&?e1ճLLJ)]n}:l< CQ)w Z*B{)C ž2v"D%W4۬i |޼JG+2Bb@z2lnC$dfC2[By,n N ˥$=QCRt.i _uY_tIJR*'+\+!w!hHIQ{ȫxB4Z8" .ӯfW5x +1O-hxhD՘Pظ'6ߊf)%C\jdܦ"1އ8b2Y- lvs٥h]<ub{Xm9{²bKlX7ڱ9*:b |p&8n(2K7%ؓ) ~dV@H)kړqæzg?B3 9QsN+51I im*}BW󷲗TcClYNlBpM̜Q\Y.H4Joyǩ{!jM5ʣɯ3s]-g膋VK:ۃa\+ԾĒRͶ .Mu*; U|n[ǰ%dVV8Mlَw:Yk?ѢriT7b.iQSa7!n knV6 [}Fm5Ax,tۛ / 1ݥ2+͏咬r~ϤW\2%w@+nM}ncxafzr"7#"Od 9貱gYZ!ER+S)E7,q!IOօm֧%1_OcN.%>Dj#ύ'w%8ZL`\|kc/{AEu fK#Ct"Հ'zBQ"v*݇^84m?dų#PqzJ*z%9ms0MW/פ_1|h5Do'Tmh|w cMCqޢB q⽯Ty$:s^Fz'p)R_yEi !$0.(+J槛DN#d҉.ZP H^5sot> `Ȁl |x Am},KF߰Vl_>渍 T&f2MJ7n%iQ䌬aoO߷v1:@'reT~M߀6H)DpKV\Fgz:T8<x-Իv oIJ.H`l-`4SS=I:`y*#50T؋&M-g_`no 0ԹP䯜2Ϭԓ> wcY/&^T]seͤ,tF3(nĩnȩ~F1>(j'z\/G")?k!Q ؃t(n 3eT,H56[J]Ⱦf SKK>$$:Cafl 3D`4L}ֹ ,Bx3I"HIJœOy^Gi@.#,#Uqƿ5LII,6ɪʱR̃bӈo u6E^\bАzZ:J -NSB#}> |sv (ැzތ -T7POUp3M$ɉ']TfÜ=VR9E@Rt 777ؖgٰW&\EITe8>)QBe8oco8`\; t\=?ԯyp̻hFو]l~_y =8QS&~cEXB(ov.]5*:.L03Z51Sq 20O;=*s^r 5*MYwQq̵4dQM\)&@)D%|cN 5ON*.NKЭL_uywf7 ҬlPcK>zh ' s?XoN%0aY'w6be'nScwt3LWFsa>+R*J#s$[GHs < pԯ ~L!Oݨgy-H(BvC|]q:9A8 9 ë~?#oʀ{#C:!D'qNXV,NT Lpcu\*δ1k?(+gߣZ'b0~HFN=`"($/<FuݭWSŭtM̆R識v8ᷕFri(9nrrHꟹ|$l^̦׉mpt3ȸJOka  `:ɸG82FF.}3Udf-aiNdPJHm]gq`5KS}Vٳ0g^ AhtMQl{ik0 O4.)sKW)=[wMd O?̈d!~Sm{ QSC;ȉxxT6 Gu{l+NKXj* 4RjžJ|:C}cY#)j相1+^Hŷ Y'`LAQfA6*,45^F#A((\".sn9x,^-v6[/oT2$y[I%4yz/zU=NF i.9: A.g w6kD:th:HA$f m58 Q@;9iafQ0D1/BZ??XvuٶJDŽ$)SK-c*DR@%\{wW: wSP)R@%Y~5(Z5͕rbfqow3":JБOڢ(i[dg }OE˸/olKZ Di+=X ~S mZ _\Ծ{Qmj$N╡es"m@br "Im:4% w,;UGT9ICm4 p؞{*욶̣9Y ] 'X&>"DFlO RYg{lH]>BJFh.;D$dym\41uDک,ftNUU.ԓ\y /3uH;1P8/o5W(p+J.傖;+E#9Y EYud(7Ӑ۝@1];\Q79W&ik!6涍v̍ |x=n}5ݽ/rQ-7=w%ՠ~%0MlPkr5cO@Sً11"a-f/*5;Vt`[~r9]fS>ѧW-"5:Uկx#*}|0w3t5@0r䶹.͏t^@$pOPؔ 4 Ώ5 4z_:T^&g;#:dh[ 1rgvCh8A<'YvE>U'+ <}W+"e+Texc|"Π#%|0I@}@"12Y GpPSjx$prKB(z9lR[pw8u樔M3G;Ѩ%R bѦ+~CڌU)EkvlcQwva%Rr`nRTH'@p:XJo34R/j䉙=LMm'viME꞉4-X@{ i?֎#uS,&($2̺6(_b_5dVܙJ7 Hp:Pg\1w獡7=29Lc*}a]!}}ptWG /~邬--5 \.2c6![zKY4=7>V4 ,rrmU{?!aJ⁄Vx-[nДFhW_5obs\۳|XSnr[i*(l9TRb7Gi);5^c]̀n}c@[yH#z0]࿤+3t[0$Aň{xW9=!*I`K{Y7U$)F+, X|;+#^HLiW{¢ዠ>N~e;x^"FI{_HuǺ Zͼ+iݵTH[Oa1( 0&7 `('l[pK;:% pGbS{ovk/<-ó,9) *MD1#0ĶVn4VAKu0ѡ7^I.kau=C1FJ < =M8,G{PO_|=v'|ouNX x)q؞cLC34\M-L-F&"x`nZFk ADf ƿe+,xNy nj {g[.ݿ)Nl̺B|F `1"o V~; ]#X0Y!eP-kӷ:a9pcAV~ %`}'u|%_:"3}(4'ky>ϧL;/vhEX3bڨH{Yl S)ܴW-H'K.d|(Uq5V7kqnym^79>*uo~} X@W8C`V[ΗC66aL9%d``&'uI3ITA"?L?XWHho7&e9i36'b06Ξ (L ߤP&12'̻\1k :pJpag,pEDzG<νC(Ӕ@S$ Pw+U~n[(Dm_߷ojmdoIk`${lDM,^G(CO-:bB*cP6&iZkL5}nfW5W&{+A\Jȭ<+4ꟘQ uAvj]~rt!Wcnmά -Q}yh>[2A5k]1U}Fz2VQt3fSZtMSxX Rtuy3~Pci|;<5L8^e#Ie8d7xBQ[0CinzLVFYT{.PYH"kzJBxLAqGrk _<עtZ Kyhtx&k(F5tNxcו r/OSDTf'; -lZb5KMuQg C@-dgĮP*ŷ5|Iw 02 ?Y,Kh`V4s=*Y U%knfEV4wSQft~:EHU }.I%UguOIԎ*$.7MۚmBCwQ5D'ЩiD }ɺ-Ľ)Uq)Q7ιx%nys?]NJJ| m<A U#aS^S$!ȍӪ8?2jgotiSngY;b҂60 .s11g+1WQ,)hο5 wIl*U tɤǁ'k`+|GE܇Ok4acꎶcrۿ|*Q7xaʼnhݘʾrcx@B}l[eLrLH[$x1n{iT Iot̍F59{##K~ Ua\C,YFrd,o쟪^=Eu'kzvم}'Z@3QiAlޡs% iShLZp)XT`zrypj[J5D=Fs/B1 WS*.FZO] UxpZe|-W.R:iQdkGf87ltU~^5galLuXz9eS%\!uy$GwC+#"<|Ii3J㳙C[X/<\`R;EuW@@~CBymtMY*j]:0*]Vi2\ Ta(%:CLEQ =KcPsRDe^nu]OgdxeS7!#v1 ^[~n8nz>`x.Jv{%[C ٘(0/Hl.q{btvO7¾U!H &$H3ɸEKsh0[ s\H5ym~.g3߱#W]S"?2<:a~e]i\$ܛ̺ls4`6p1˔#߶$ hs ¯B B!T8A[]xvR=¦O6_5peԴOx5hPR%9a 9o7;,٘u0ur2Bl Q@lٚ5U2rix)lqQ!5]aI;9]1bwV[SXOٌ|F1M G/ÙU8l|U Hu3:&]k #@Qn Jlk..ɡH 19HgU :wxpV.|jHk'3;kY#G8"66 #1fhþnNrX0;4nFCV%m{-z+ݫ$7Wc=tdrȉ]MZEP~vBRF!ZQB;U Ur?͘j6I>'9_?n I:[&ːYE-igeA'k5F:+} HnUs¼1Y$y7A$)( :jY uN@?S`fa!p@~AYc11|4C/$:S.w6 5„\* hsVMk:3P qC$/} CCGgQuQƋ#y3b؉LMվ+C41 FSj%Qٸ1?SB|`NX%'-W&/Ԅ+r(4X{!3h 7\_"D.Tl`^hMiHV?n!C-#ڿ44|0P!y5e8j 9ni\lvŃ$O%lc?q;ف(?ݫW[}$2Iu+rLb@7~,1#%VjN _եT8pWJTtVCYAn q 5 $Ev2՝E>TEľFuQ~}7qd8P(Q vo@9&!`Aӟ(] 筅LfJ0o`mb$g57喢oYUNi:P5W6JMtؼl!TkP5ل4bvN v);V-A59)NW<Б8@JƬ c%W*Ɨ ~mղehƐl%&9B!] 79-Q%岜`@WhoGNv@0XF~Ov ~ih%}~{$ל,Qi;Ay◩qItW*ӦdI_uA*A]nA!~,^؇s7qq؎Ec%l.h 37cߋt3' gP=ԭq[ 0f[/<%t^[k]JFg٘'$^)"ĦGt{J0`poaDG q5Nb<,`HB$EdI8dfOf᭶ѧo=ё!BQf[_~3e}umfkiYJ{[}Ul傪+ "·`k!z?j$;f́h>wtaYL3@J%-Q4mo/$2 {Pj)X( doN$焻:I*N1Px^r(5]]eh`P:qJɽxO >a?)m['d'\p7%go=NÊx+46?|oҔ/'Dj3OggaH Y#]_6U7e}^:x]ً 2m۟ dÕM#Q^*n3I}@ g%dt>T/iK^5ggl L9aCy"]v)xF. `H¾,X^pIy`Ϛ 6{1zhjpKfgud,U>U]0tQ`uRI08jBy$d!KC y 3NT,&2ΙhFξ!VB n\t}Bp!U/|q@lع7"~"B}Sfv$_{ SL/ 7 s$Ta^&'f||2u Is[q:??t5Y@y6Ga -f+wfHr '[zCj]ZYXT#2HpZQ $}&qa/p "u}܀_RUK}^"+ w]mQ:O nBӢ}P-dSmq?'G_K݁7wV8)/\y|=<*,rEwtbjB{+かǔk0uZ"МkHs%kena4!G^PNcm?22=ҶEeV&Nn¿P8h / *W"@*h 1="as-&x~ȿ]@evO<{3O`$ۉP-LpVf]Gƥ ]Pu_S g@wV߱j;iNPt6r}IĒ7r0+Xbj0J˒G<0"h7 P&O"uv+ԨGHXmEg6Q&7A'WޚX+E1"Whq JL)53\ؘ+ .r1)NĩA(l8(g9hZxv"0K2 ov1:yZf!S^E,+ӅmLVu+^tMz8r-e%p(v",g90&휁YN-LZrt]jǪӾtRou Lp {wQɱT8p~Y(Nz4GlЋ("}X9zos .^MЬ9jR2F=# L2+.C0>14F;ylī5Kn]($5- xLq~iR j &=_Y4$ӧ/n袶dM%j EF( e#B*ަG~%7fed"6{QW6 .dw~84{.@-.sS#hF8lF݌*O0^-_'LQW78b\91 ŖYy&jiDw@`39m~L@TM}4P?4*/ WjM-tiP015s8{dvOϱϣ~2nmwMhb4 DdEhXu֐0EhD(kwgk`ujH$# qêAKDI la:"JP;YNM)9U[ |z 9Zg1+zg`ՍG GrӂD9=eϚtz_W  GqUN",HJ?ij1v1U:K{qiRK_JTw'uE'c5>*/yڙn c!3YpRdl;-9@pcg]@ hь?R"6;ѕ\rY-Y{X0bp;:%1 DV?B $$\B1S$Mm˅C.Qϔ.jEޏA<*T.s_hwj̾PˉhlF޼Uя Tr:^'=NU(h% Zb zŒQS4λ)2G. vLl6k A.H'W/6:,Q a l=$LNF@cw( 1 1.C5+fvzW5PeQ`s] SQU'1HuoT_تT3sQürqbb"c6{LXb`0:HOE=E=Ѐg\KItSŬn~,iiXyՓ@y0?s>F #=Oc_նݙr Nh.I 66y{)sdI`bwPnMGl!ʕLy B E.ةYU0R7N3j l˪^µr"uF&8#T~u/{t==p:Nf8DrSR -r]ǡ]gf֤\LoJsR$?OPMWثmUUev> yTOs͊$t-n0[.9,:C/#iE}}O/ 7PoR}b~KmiyfX/h%Hq|!tXF'4J{7w氖]j=p+]r)Q!8٪uLDD):.?Y ج5؁tJ.=NW|0#nC۰VV˹므 y.&*qT)k#0ȌXFP;&=NBv=Mw.b1E,>Sr΄F'dÞpzaAK/-i._Ƭ6R^~܃X^]|V-eo_E&-{f'Mti|(6Ktr(/fY)XrSRg/` LJ"̜NX&y )mTu<%p}Y+yF)}ͷHLj3ixX_!ܯh!OnUssDQT^`@RôetKOر0I :))F@ׅ<^JJmy&n. OYDJ?e55(?P⋰:c`?B7\ӂIX 1=c_7NXTϘ`5Ra|3l]u U!7u88HZdUw4%vִ?Tm9\* 䎣=WyO4%~oS16d0T`Roc{[`VmG zz8)  >W@Mi~}nvk q|;QF.6u eSj^#3dyKеM{g6X{B-Uی ;?W'"85(VohfIV%m]2`fIJi`ݺMWsuq$/4FRHGLUG¾V}M Ow.jAKSnd(yHLtyy!Sj:Jk\ﮉ:8Ʈ?=q*?ItuHWxJ(Oln^C+UeHǵ]3"JbySb5JQ>$|{$v<_Xs0ձ\EUXW/[cOg>D#U N'tۍdҁzWNFYQQ9\5' lzd +~it%Zwd~y%kɪ,A-XYۏlHu*rRxl\bS-NM2癑})c)Њr={jPHW1z\:*t YkAWAO+>5+7Y6rs ;$#H3DvC9ƺ74IBӳ+NհTj"TvH3L5țt-]#GAi:7b$}A,icR={i5GXK1,R-`_?S[#6Ushֵ//+ctI Je7}q`Mү0r*9"cU+dNH+my]KF1S2h9bW[@smg^r 7<}K*N )I'/=eFRF3k ȉ_]%q-'cL/?IG#_ ԑ|eVx6 ݦ=zzS\ĀüX9 tpoJC փ^AGOs0'cCݝ6_uR6mb۽量D:TmP}aDNP>=,ڐ))"a _2 qX2\^o!T's~Lߪ|:!}N6:yXv8s ^EqP|L{5%μĥN|&duً]m?)(?EP$xבX&4s@[sL(oi0a R}'37#T{c?nfvLi|`s1S E*pnK-췲P:|JN$& gE'!k֑$D!][͍$^GAGD{:+5gd+DŽpgL GU5$)H˶ǐ(ߤ?1NPiqFY r11jV>u 3„SKt+:iyȴ5D5rC÷תS.SLtGJ\a $霌D\ ~zEX|+qh R(j$  >^ Mntzù s~$̰9 WlfwxpgNfAI@\$P$4ޜ½ꁎ/Z7S~M;b-ՍՕ%vҔwΑ99p[]iW& xn'>A5I u Z&;;@ sԮ$M$ 0UBnש(2 /ã`P>DYf[ uMWFJÃ4,#dc59 . t3Z΅pyUо|6 Z6JWvc5w k+YZ'c/*8V8*,l!Ic8\Z,F!סZt$=OBYuS*e76 T#O;Vk W櫱xv컧[A S ʣ n&+Yoz->.Ibb#қf3tUEgc=Pȱz:oe ;-0(UpVRοMʖ = KAQp+pNz!Q .y~Nsh%z A_3>o{ T/r_|u_M @#oKa 24-2wڭ}82Sܿ*w$ĭfϑx;ںN Kaҭc?%"'H>X *U,W0YH!O )KK )yq|y9ş2<I"WuTwwD1#uPF< /9ͶŷtI2/R0 ys0ˏBQ.(I!,OQ:$N֚w_XB٫[\[kJ̛H~XFb5qꑦ*?٬|{}yu79 Zδe<HL )Orv^g$3E)m RQ` []R:_1PG41 k }+QdtHmYԜL+zx6ڒ|OVhM7㊷`ìVEre/bF+^.h]TR 0q0 _(B:yR"9ƕ6J4DJ4;CGڠ|\ qj-p/FLGihoK5tF9A:'baRU "u+ռ]]7JkEy͌1R{+wFr"/NҩnEΠl›ᑇ7jt:L´'H;:HЈ o)|&PHj2%V;T5ۓ677mKϿ6y=oߣ-MwNHoQERo( ;MDԱ?E~S71jnađX^0N5ҝF0I# $F V6WWW54r̭ k7)Snecw by%-nYZD(n>uҌ j 5*PR%7pnxu R[M!߽G.C~Yc >(342# (.JA%\#c .$KnLt?8.XһX9|\j{wugVq7>*}(%bfEn4{ljE.80km6Rb|5|~0kʃf*Mr|oS D-* <8 v%c"6UT_iXu6 |<>] "璘9SXV(Y5l!tr FהxԔ^dHq1(_ġ2sZ`B(׮.C&sR<&Z@oO:>RB<웻g'0]4T}s[~T >aQC._pw&EMѕ).U&DeY/ѽ^ô.__PyaUmu@8GTR5:LbtfRbo<;$dqs>91F#duZ<'[7(~Th8[1Y*l+ GJhԧpoV؂~ +i;^(eKǡ"#sF3t,688O1N&> *=~':Un7b0e|*TOoKr .XGr # 谻d4Ssuq)Zr2A|kм |" 8eaqz@(Y?A}k6P :=Gėd!u252܈Hq4! \=&rmEV_uvoRQ.Hv*7&Ic5gb8۩))+it-g" mw- z)@g5NNrJx9ydFj X2>ގ$bCZڋ[r >7CW99׿DeΝzd[pin׻/KhXfMEb"hawS%|8OrmZ;V[Dcc/Gދ;R~qy\YZ+{F .~l|v0O0Cط[QvX'HGW3*Z5wUEhw0-Q#rV;i8K dVQ@sݾ'zBDQ[:*0 PcxxZPl0ɼޒtK(+"`}R|\PI] D^`S]̀zU3bStlz{7-|xtqj3pmUoKv^ǝb@O׼̱=Ӵ:{\g  @ bfр53Zbk:e%` 8D}hfH|dkiRmՈFX7,^9Q3ܚ2A؀[?S`nV7{)`Le}鿔AYƌkeEAj.xjXBko,lN!u60X1)q *mm [Leeꜳ eȇ˓NĚApTQ>H9)n,M!FR;ߎ}?l}v=:|J6rq5hQF#GٺiP'Ka.+zf!>𓘥ّHW7r ǒpėS@VK u;V"ȧ$d@+rn<(-Q?n<r ׾ފ%h.])el'O1CB[%=$R f겞 Q?qY*8A80"`}ܛ|Wđ̡M"7g T#2K6 ^JH1Dv*Q3R'"yBiie#~ň1*Y32'Ptf븴! =xYc;1bQ3#7` _JOe2tTMT2 u.&f*Oj763"lrmgw fFp1&RrJiO0Gǯv AtojɈ~:skʮUo4u$1ƨ!E\aQ@" W-EI*G3Tp7_} uV^нl"_Jf98|h>D*\7AF $_Y'cZJwc9 G=?̉1m@Jg4(cڀUu*įa}s<4{d/Ytx8 ]4qÌie9r%Uh3dE͂tue(܃5[.KH_| N N 7躾h7^#j] βlzۦAd D%͸IR}A?;U=]uB Bh#%h ?TƩyH)uABܓo&6``e`n#S0@*@Uc)N[2S{piPu{ktee7oq=.6aD<% 'K̽D<&щޛKX\&q/ZTmHǵ1&Yn3]•+a?"/3^"gcw o|mDj+ .7w.>]WUSItL-a{/D=xͥ/Cu"ow "X?C`բuf&2Y|yzK38z8sk.# JJF6r%;2^dr0hK#TШ mҭ{S .x;O3T̝V`{%SI6_(!<6Wjl3gX`a|L>[pĿO1*JSJ҃aelC< d j3S=T-zu(͟(O/A;*ڹ1 hezzt b#OtU!Y߷VL!ȶٗX:z8O Q 4TbwڛٚnKtv$wni.)Rk`S Bhi]7/#pPM8, r.fr##XW }WYBޅôo {D*crJ1JU%0ԊAQsb>޷N] CE+-'޶Ano!OR-u0G`&6Jr#Awm;/+p}b)C@RC!z4'#jHqSwrHb Wb8ά'W,ӽu+y{#\~r:(zbXA[ڱCMmg`pR a i dfW~scȌGH7rO K BmT7rbHULJzQ]v2Jf9:Cِ~8p4@&yqH7W>*i/Q B½ 7g M*5brM;C8c뛽Kzt}}CSUACXÝ2jQOi'q&J~ 3 Иdo&֭Y\͜GX@lRy8(; 3V]+*S!mՋM}"7DoK'dڈ!wwB ~l  `Ql0Xw9냳#q; zqHs!Zkrm@1t>t4@IL~ucr!OwQ !/^@Vv5 rƩ']ҚWڽB'/Hc  w 6$==ȮKx-lq?P6senKR;EW $ӫAFle9AUre Z:Y :vpD5wSR}o&G$:ib dpGa`iS{50Ǚ4YO P'w4W' ٨k n>VxL R"ߚ'B8t4W"3 n{TL;I(fE~kg庂c>Ne2uS`G%]3P֙e4.%rL\8׊3T)Meؒp)>Ha0OA79Wtۺ|5?](@r<82R=3L%5kU}\lɍ#˶^Äjf+\z!@hFI`5k WpY庑I2?5* dh3~{m}yP}K ,KDd^e>,>z^Ga9aթvhgZ*@Nݝw0Mڈzo{h ^TsMç}Ku&t8 '_61`B 5 J`n+H pwfKX 8R6m%c)ޔJڐmABF ^+PKe,n穀H9n t,~fޱm#HO>ZP, n٦ r7lrrXdú.p1Iř⯆ qjܶˈT!\H:a>w )&ڙ}Fj2f*پ/YytV1OGM^IuI{w 1 a@V9n22}xP9E+lѿDTͤW5Re~"br¥g4SAUS i ޱ9n%19]`ɶ_$VI员rTM۴`DldR0O%&h*j꼓?]+@.< BL[]U *3m8`ub܊V$,&!^F\ e! qD( 2JC[Gd768%D1ƭ:s 빽8zgi(0Aj;Ym{2yt{:eo0=}5 Weo+Pmַ?Ғ<_ٔUl^{`u\& XA=ԛxp\ŃtcZ]S^NjEK ;ü,IS) ]G= d鶅ڢMf^?Z囊ohD-QfDg4EBKNt+jjԾH_Pz!xp_A%]r_ F~'})[|JM'55K愢=4VG_b;PW; tܿWI]v/g33Lc".q)&a?Z$[{~exWӂ[us+``u/" rǙNFbu FB21HIC  ʯ1 2Cv#h}49F=.Qcps<3F.%_r7T˸1JĤ}f.cn)SIi~Kx[A~<:n Mv"Hg>ݱm!wnpV}_ #|@s'3xw?k}[>-(f <9W}Оrp_iz:S\8G8Oih)jeUeЂ%x[$h#Yǝ}Lgmϯk 1RM$+j氂uxĆqrm~It,x"b&afv|1%KYxQrH$$l@/>1frYu5&;i k'FM ^NonIP.*k-z_r]KQΕXp2D0Id=0פsQk=:HD:: '='֟,H^lB$g>xI3L3~Ǜ`N `:QYp#ԞQqs{0_ YX c~kuZ*ab!c=>%uegCM6`aLl(qY~(JN?e}n);T`(4uzGQB{#ˣ + ,C(HOX*a*VZxlkŃ(Xz[ٸ+z/tZ"Aj{!3mS&->#$CPWm2șEKeCGwaϏ]Q`De>qoJEc G4C`Z|*XBXBuo^$/AfIMIuFkշRv_ PvmF$,s(&DO>E^Uam_^aU=w.{ѭx*^LKA]0@??ozŋP*N\o}%sec, Wt2>ҜЪ~;pHiJ*}xzDah9\D3Khw%) &*CIA8Y ip*eAmuZx0\a n nSt7 >y9eBbUShi@.ܡ^p|=gQ \}GPR(-V=HXYdpZ&|\l Fp=.׆U;3$QI[u.GLNuR@lD< #R if2cy۝rYjUGECT|6zF;ԉ A{'[dSZt8Bi|1uz'rg;d7B/L,e-5"V[Gff6kv ;W$SQ>M<%+T RST蕜8uץe| S{!8>[*d tC:iQ7\ A017sRloy! Y%s7w2D02|a'D.iCT$mo/X M01VKY1ܑהPrYLϜǒ"r0]ۏ/k+In:]3PyH#ff!X\#tUo FYF*t Lj6!OX @^qeߋwdYJٜDiOW@70ZmPuO]@&|Cϋ5vt 7Ӌj3MVLi2Wcw"ZҠ}" Dy nd.%|3VavS`"pdm/.d6MֻrБbjj>qޣCܵj:;CWg?6*쥆> +DV71}&Zv36w\qUBH-( w$iá(D&2[ \r/"bfR7Y-.6a%4l9!hW,/ƍW0 a&T+.jsY" Pmf;b_<%z"#@V(|ڞM;F [HӹT/F bl9l, 4a'R4y4uzln\5 |{LA? GN,PMuK=?o~z Sc(ƱMY.ndaHK?HGŲ@7zI˙([^#O8Z;(0A^f *]AQʕZUTfYg\_7ml#6^]f蠦BC]ðD͂u\*5PQ+dTzw,fp"l?nή$= )z5#䔃ՠ(M_؊=lP!S"CW5DءG*ŞZNjZ}OxB`ͷHStd10ɭiDu=iA9yqq@[cHpI,.lL}8^ȃ Q+fj)cP8}Zpʊt'*[1-wL6|0o5uљ pK*e}[?_Ҁ, :q.J9C +̫cژrnH*aM܇e21t:>UF~*VWMޙg:q`4I[GsLJkG韥zHR,wO8*WruɕMג{OG@Vw~_P 6o)!130QM~HW:-DV )6U<'iF7ăw 2?ldlI(?7󭜂\iǎ1!#S8\d]"ьrR2mc|MyTm~WE$뗛*uJj8mI/(e?\Z%nC`ɟn}qx(Ov.VN-DmjeN!o-udCh*fQ]MUEb>8LhEy%%ҕ&cIбɭO|X+5 XDrN0Zr,< ɋ8#&-qyfL_դ4 </fbٓH o)+F]s"PqlUImuUt,$0]~dFc=!g}eDwcp,aUjC݂+me$hP[>ts=ndmh fKA]u'c %LH1д.?_B6-CM_CI,ڐ"QEY@mII“Ԏ +:3ǍDgk|p |jj22~q皌As&zD@xmM!^4e`2V)ȈEn>Z@'v>3ôH ? :x)0g*(iƶȒqCŴsY/B#Z.+#0 8ՃSkDk~*&VtcEN4Z^~ /J˃EL]ѕjc0ۯlU))zM"򐇘TncȇLvAfQz*}n&{n%7s5 -I@Q'6G^ 7*G $6FY).U4$=GzC!G2=q~It^zZHN q1;_MxE$uX:@DUpa&a`ЬT%gi07 "^{.0]5^bF,K+Dzo14}qn؟Qtͱ'1(WxPw%e-M}+ w㺻x,ą%(TlNȖ [AU!NaH)8A}ͥ ‘cy[7Hen+yVaV00ZH*Y{,. 0Q%msZ~L9j8ۋ6{T=p=<֯{dr\-. V`IYJ?͌_uC߄1XN#];h:7ƫrW!:W Io%qZH Levby|@;핵Gԓ#cxFgm>9葖 Rϓ2l#ފ dA>d Z蟿V^ҙgi8V V=z=wM[pRB#Rc#H>VJO ':u̾I1Ss!k6=֕Wq6lP72Zh3a |-<Lm& 8 -elѼ(Ln~se@:&舜ۀCé6t'DpOw)漄$>)$X`y{kfDIDN|뱖'XnL  F۱jsɘT^v65AfMzZ`";̟ԅ@z\ L3 ! ʆ&4P6 {Q .+9#_1m[K(}Jͳ|seaK,1vYոזpp] 0+0nHM3rq :>ZEmCU=^tHv4>ܚ #)9 BamE`>gl)eF!/8JN/Hs9O {5o<+3`Lt8@"y"엸kKCbP1Z,r6py cUac(E7qcNt_s%ė5V&WH27 QtCb+ Ӿn rLMPyp}huEhۿ YsVu*#3d'_'WB+eQ<2@ў׻9 '&v ݧ`FX!]נ-RH|Y9ʔ]_j;VS*ahACNn0FĴAeJ5=w`pCk ^=/2Xp֬OF,@$<,Zͫs6X֕ȸbut:_u"Bϝy#Zo`YWܕA{k* %+#6>nVy 5C>ъxW_/Un] ;CuFnga(> md19ilH$) 뽍n[gCU?ITs=H\\∨ %ƴCL3OKV@ qQfܑ?cvZ6sdmwLXyZ[?o?;v3=փ ]'Htp 69l (AnsB-@BsV A56lW:5VϦf<7VA Q0׼{Ƀw旝2Uawj |*0TshZ|nEB;4 r`(w6-vw͌Z)ǀFѧ?x+`%ҚP/ӂ@I2&2[1bPn|;0q=TNNK' йsYUCc _wʡJC)W"peoTgAd1ˎ"1@T晹ȢݲF bpą{iLDDr;PX -Be`i7l}pE;Ors*㘟HrOy%uUeC(@&\t:Zdr]sJ Ğԫ‰bīŧC~]Jm:O@%?[B8y uQ= ^hy^ߤ 1SUqDNrjPM2 |S|:'U_d$Qh1' Jtj0^Bi sܩߴiMv*Re> vd|_?#TdZP_V(y!*$$y`7I@謒+VX٬R@FM1Iuv/E$)|dEWޤ 4pZƙձ:\?:sxsq5ڕ4a8Ga43!6;<{= v`lw׃낔BNy4y}<A@![*]8Q!){NNN*wuS)c!UG}ij*?Yw=轳2PJB/fѯZw+SqS$9°TÄ{ݩ%SY!>U3IYRq$U0"PY -̫[' :u)}؟SV/?r*_kh BP#@e(Ñ$"`s)d?.t{ U^g>Kb덳,3(tߢ1͹΅5:7'kϲ);&b}.Ӧϫ:_R]AbiFP[N/ AÀb(z,D ƘqH*ĩoxRY꙽ #*=#]xnH=異׊ppn+]/S ҉VxFJnqH/U*YMƶYc1{.1ΰYĕ5&5JM7>nE rvSUՐ ؠڛZ8tq QRV5#e˄Iu塇|2~biа8D(eܘm<Wo8GeôDƏQ@UT#2%ƽmIO W}O#aڹ~[_U]->7e=;SByu|uKˁ7r&fF,%MG6"Ιm*&>6E!L.O#82,zn~:9.)$%_+9m!'/lciʗk ˓Co`-bS!`E+(;FەJ`vx.Ym(2qс͔gdeu|EĹڗfq*QGP Ttz.ZI;FC+^4qU7ϚߖyDƐW\ٝkox5jp%LWp[pi)W-hT ܟu ddFKS>.^[Їp>L5 wkϴK'(Sf؁h_piP\ȬNKtdU4HĂq,x_6*Ȥ@ז7x.h^87-|K)"8DTI.z2Wy(צP|C+zN]\zSWD[6vS',HZ Xn `zވmF?&JZ|F__V?XJ!ɠ/=]^?$քz>gԘ+JBO%f%Xoȏ|lkHܒ^WV1ΠuTX=SYkb }ZAf"f  m#eHvį2 nr$!gG(Y+kZn ^Ng )UQo+; ˮOJVȻS%K=ɢF`/Yp WJ}&5Hۿ퍹0_ԏH r|]KnL] CKJk0^eנT E‰Px=YEGݏgQ2st|| F%7iS/|,r Pi,-G{ gK"KqUIXb. pl?McA'1_x3v@y|= ._=W=Cp9q TsG50- Gbgmi@R^Z> MN~]0Ez ah'g!&PBȹH=n ~לDRˀ-)EW6.e5Ȝ dWfiY|A]TT6*֖6Iu߻o] M=wKUĀPHwOѢM 1+)K%]c:_2mU݈;gu8MF*x_-î@%Ie(aK[A4\QwYh_ƂC|](leȅZxJ""鄵Y=0Qe"f:>aFQ뇨G6{J1mؠ9 (hC3=3ƴ#h.ΑHx3|u9sL}QotwW]'_AcIH/Ծ,ؘ89n:Ҟ4..H@'0 Q L[\/O,sB C q H0/0) 3X]ln) HBO!"\:(+h^v|+ő Cv)_s5ǯոG(f^f0p/zP fl; ;%L%Jxj`i6ZvQ?@R4dCiI&k\3 bэ"{Ra]GQ]h@s[ԁƏm 5oMxAbEźPNU 9\JU;],gd&yUq:xe_F`8Ϲi,a#Qa)03jLen}~j 7HC4m^A 1h%x4ɡZ14#ړ:3ƌ(n*_Y1>M ^{L4ͿGFc56EE3妎yl[F4BNx@Ǽ]B~t~PHᄄҔ1="EXhd?I]k!ZF%E<<ZY#8,x)Ϥ>[&v渧%+#y#*•'k6ZBկ[{x:pX:A94m)"FMѽtVمPȅn[K! 0苣BZ*+8lRt ^Mm`'81AԈ+}#s4 qj#451hOn0hn -ۇl x56yula܅HjKGEVu$ $]^0¡rÈq6 'M[癣Rś'a=/@W]p׆ ϧWLgy2MxTD WLAO}{*\1ë~V %zHr/:kIPSvK=ev7rbܩG{)v$Cw`r#whH,tNTl>=vh2 ZCȏE/kw 9A#9TEݜ%/[b5Ng]Ky%Ig2fI<#A~"Fg-}?^ oGJ%;㚟f+s3Q=2󟾆tgըHd2 3budIR9>íz n8!nQx*i1]7ĜYh~f g;AOYvC6]s(,S+mj &> c0[ݟQ֮dŖ[Hw\TL~)kgM#LBYZ QҜM̓ڗGeM1qw܌$%.0TllPU~/ c맿FDJt/Eֻpg-j["OV{cWx2(OMGT@f$J T2 ٱ^cB%P ^5nCٻ a=Ņ=N ϑ^(z):@_#ojc90 xdG03=1\# dͶҚN0["%J_r4BA0m˿xejXC`<< !ևpэo\:5Zuh sOuTHcr񀑮!ZfPBCl.w_b/KM9]:\Typ^x3CGM ϥ"ctQBBM0I`jP`URH.%~t l<3)J(/nf54Si}ey =w'[{2r/7)2qSq슰FowkrgΙ2 86cc pLes~PH"XE.'Z$RR˓m i|ҘdFeHy[o9dOax&rn@\m'5;ڷB 㤓֌X8olB蠢 q?LzY 2|pp`qI" b5Y)(~ȟp,Kt֑*vHb`}aiٜpOXَTo;`R"Bpz*$Ĭϭ1 Piq/[MPfhhirÀ^y]n#H= ϞU,-M(q҉-7u O[2Z)g!ӚTb[6msf+R>2 B%.AD1ɩ2.TB4R5k-众C>UR)'u 3hk7\D 78&32db6@I)>MJRԸ%CUW .Ϸ,i<m @˚$*Dr~0 3n_ ;uXن) RS֍5mMٔgqe@XsXΪ6nuY5 p>J{01٦㙴ƣlܽRî%ø-bL.qP=\ Őj WG bS>FI 7^ZPB5\߿{NJ֜/6*-gj, :wn=lU;wDnuk-O|X{hA.<IeY6t[Jƶh =U~2/KJ6L#>;b-tYCEj&5EȐȥ/fe2 P[Hkb|*P>fR(])ڝ%-Ujs"as[Џ:H@@?;G .$Y,ܞ|`e{(B Q " d(d' Sa@ߚdq|mW ozPIS![&"HogWg\dPϗьڅ3g 1ǷSP6G9@mUSp#%ހy% 0UC緎ʩ0q!/rE"4 @͍{]lV9ӻuk76MmSsxit52_~UeOѯབྷįi,.';|4`;z`VatW1sC籦썜X 9ٌ׎=Cwɜak/@gRwjx'Bf 9"c)kw\ȠcB DI.D?}YSahf 8Bu.ўfCufR׽OGۚtb#7~k%-cS(%ےozy(@ +\"gG7A/<ǎI(rŪjbt+D9}Ӽ ?]){sp˄ N)OuC5S+}zXK|"^R@B%O΀q"F\XpN7/JL4o%KP^":n涻h&_ݴ/XKLw Ln1eqWaD~ T0S¬v>]Ma䯺G #u]pۈO*n5 @n(쑼uFYIj%GsX%r5E= 2촱r` R/ʭxXAފcɬ#ܗAG (&SGxrbD1JFr;%bgHȽV esYn}]}NK򽈘ZDpG3&->ǟ~C>x?J6![U܀ ךK@mc{-"0mr>2누:r1F^u@}'⨖P8ʒ+'նC/xo轏jiN #T;҇0±L4M᭥X5:lѪtJYūLL`? 520|8Pԣ_~ 1)((/]v*b1'!T,ёI^[7bDfRg@+)цS ?8 8(n;[m4R\s21 u +g\--LE-07>FLW 8yԌSM(%q,bxLy{#$a\{rk^[H 5GAzD3Ge7OT:xf(&cF] S/P6kS{`^t`n-dYDQm/@Ц5;RX)+ \,r8brro MMcf!OͨCrCdG)V4]=/OnQWuNТ)(w UQR(\֍).8 jW >=,Ձ EjFv&k)^u1 oS;̿ln G9o%8i*H%{3v~a {?QoPUqA`_%~5>trb?6mAY˨c7OU Q;T/j}4֥eWJRK]!0XQ'y}G!Zme^rg;{;?U %5BX蕛$oh2>:_T.pnʎɥOO}$8e!˦xͰCvAWN&0@ y,bX(KB{xNG]ES5RRO[|`xV3 ?Td'0m+Um[f^Jp 6!iO1e#hG&QyQ-ՈrVL#=u+I/9r3*sNCnpW3m}&)`A ,;W"q|:[i/ĝtS8]J꦳a^ O=s𝝷`'%SV*Lw}-- *%XoT9 0w{" 8R$8! x05Co7z-`m2"}`~ht8s'?9@Ty ^E"gh+H|r(4L8Qsy ĭ綉faOaU sorլBP)34T.Jfyx5D'0[hU łR ZmO73YvNS9#Y QJ {]~n8QAeb}ooc% qMN}b\L2bΤ ;,DJpR-42(/<ޔ. I0/pEt`!'А_cc}H"aeoPa$qF<IЖye X $LĒG;# /J@́\sZgPT󝎂tuFbTrS c6y?B_PpH4_2~{40Yn+ok}pWf0DT9LI951<]ews8n*Jx8seٿ~UMoǕLTdw~;F'ߡ 9TE=K[w'@n`_u^s!rEˇ'~% ;e9 sѶ>ϯ|`؏؀w?f5,5v>>'-m~Ȓſ\ |{Uj$īMBZ: *ǀ%}>"MڷtfqpWwsņ| ٳchA e\-hogBihh.gmߩj6.2|u)a!?/ܱ{PUV8{Ձ)8-r[S#9g dʾ>Ϛ NS±gYZ jj +# LZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N ]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?ځ6E!.ȋ2psT0*D "nZ _ڰ )V.(kxڴtLFLxM0`,S x.$V 2l)eAfJ^l淴2iXG5|}: I5 *V/&':_E_q뚛sEȭ l?XN75{RCL"Gcd}BR:C !'VZ<(Z;G77d5>9③.)ɘT!]}wCP\Yy=>{ȱO hE}8 |cmPkm%((U~e{>$6ySBaF•eI PK=ϟC9XI CB] 7:*':%c/MPVjʥ1Z;) ;Mr{y[8X}1E=ɼO)o@ː~ŮǼ܏m -'ŋnn#J#P\"s~گރ{ճň3 CPB4EF^@r_@Is/.ؾ[1;BW-"Pn-]meK+qU@+Md~A=]nUΙΣm2<9ZzMDʽ].ihHRqzyNxl;Oq}؎'[x79h~9QX|^D>bUm, [&*)REje3M򻘴IS+P{YEg0kzFC0 [,HWyqaf\ Im'GWPI=x f]aL{|()_$9Ce>1jmu7~p 4QCmmqB#p?9l8FE{EF>(]gX(IRx|(fѝy9Bad_f G9jCbF11a$avoUu$~vZiZȱE[ {١?H[fLLԜ#S\9A(a6@/8]߹(>7Ꭷ i`s)^*qf` 5CygT+x(*1sME.А2\Yt+*yeCeKm"< tԏ$%yfW^2Z,CC-Eݤ_>2U7zLj}:) 'I۪(SNs&wTOh+Y BgTvo zsA}H}{G)Mc*<x >QW((X, +v?{h1Ybn,l "=R@\1H}QZ~Gƀ7lPgH/طxq7a5/%~= jP I(8AX>]je~0dH%.:+ o ` & boK&3!HZF-InductZF-Induct.DatatypesPIDE/files~~/src/ZF/Induct/Datatypes.thy5%3-ZF-InductZF-Induct.DatatypesPIDE/document_id96l$9' |ZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zׂPL[p,C3ظMӫEAoS=:Ys]"Cz4cF$l l_xΊ |I6hDHJӠ-Qn1r@\=j%'Wf % s 6 PuMA gYZf#9# tZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ*DS?LbOZݢ q1 !O(_!Ekn5Q_<-҈X1 CF_xo%]cE0?89oܭ-jwQ\(ZG"2JxiW!rYTW|=yQόt_ZGsdwp_ӏ)M _t]OeϒLqlR}*d 's=iCQ>;jG7+'+,Ґ<97G3"k %* 8Ԇu: ʎgKE2!T;]#E"+{{2 StS}wLڌSNt&SkNcl`+P 0?%-4>զØާ:I;/̓[*XQ3V F|͌L忝iF,xmS* 12Ek=[`/_s :JZ385iE+(ZBtm NO*0FMK_UXd> Nwz׀X tr-Hz |GfnwMGPApo=S$n]n'S=~8`^;ى:p@VsVFgf/X:'^ͨ8[ũ'aCFEw5dC(Qi~ 3Mݽd}=>VyEm61'|9zRWshCnMukfɭi=*ŚxN=97BxYa:~j95J^>XFTD%Zߑb`q02yw}EP[#-ݼ%hsJ'.>xu bTC2hErzV\cOGypV/Y1u.]1xm ɯ/v@uDfإIKANx ٞ'm ̐pᥥ ? XgjГٳkrP؝r .p|G#:ol5u)Ua6BQnfOҲ). 3ӈL<{bܜZMiM\0'U鑇"l$r<4@(\CY _AO.Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' lZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+/]·Iq n[:|&[z+!UCq4U}vֈ]6ӖQ~KS NY4[J+AuNex[[\ 31T52r9`ɭ$yUG>ȇ8L2 <~9kl{hk9pσCs;j[ 5/ƚ=r9r1hW.K V v[WCqaŎ엤(PɁZ~J[.>beE.aPyO3D`?Z.'نjOe 'JSh$AQ|&jy>s?Nͫ=ҟ~cW3 u<X3z(;H @@A*ò=![ϛ1Oc>>u"&BDcg.(-|(,# 1- #iľ6B]9'I W$a!O$Mf4п;dHaWFv9B*,63+V5"rHl \ogˮA:Z 7fC Ĕ/\~7Lo ɉgZH0d^ SnQLngDy2u/Xk9Ȭ>t(y[~RGKlLˠ" wsMl*SE s4spá %4&pQ_K1Q  [%ѧG2V~L5^o[Q2wªuLȤBlrCM9p7HQJ`G\Qm]PVXֽ(Md1&enn`w,^W F\/E3ɞCFkY^jP>~AZ1B{AU< \:(AFgRײHlӉb]V@",ˡѮb~;5)M3W;E*uYAqÓ7lOR@sDJP-2j*4Ds8CiT) R^ ']!z$ ,y2xWnHu xB˚|d V]eK$+z-eOW Z$Sj"{Y#$L`}v)ɛPfJ!3Uf?cO[BhaZWvQ95B+~4ZJ.W@hb% 8+8QEB`?]\ݵ͍{Î1Y(USZjP]}[Cj^=Ts DIu1&98dG.V0Gjݱ cH WFm+Wpjx?/qݸմZ ,a`!Zf gs&+O60 Qj:ALnGL'sT}wn+ {dn¿?FsKU\ 0KzK>D,fEd܎־hQtX[Qm /f]T\D+"`Omn I^A]yUBgCR%*bK{8Iy8{$'9^N-G ,N2%^SY)t{J5cЊ" }_Ptg µ6XsGmF0ΨGLSY$2ӕ̚1F$/PKzLRaGζ,U_FG3.+Ds~::T}7eظ9MKyhSN#a@B[v CsqMAah훛 l rn!u6Ҳ,XaThˍq\%:/20*x1( 0oir:2gKD-1(>%5԰k-%aT_Fɋа7:|nJE ˃{d kEoΠ,!Ɏ5 /Pr=``|XPI_ Bd3C΂;<܌< U8:/,ƣdLTCL_O42Q_sJaٟ++m.Ԭ3qgN~^Dz/7 {o@{[`q:Ұ17-4rGien#b4+{i%(0އIRf imӁB~ۏ-"kDb_eqgJ|LTlZ(?H^ SPad.p;˽zemJx*x3֟ gM}?6FuxD< 6Q iЃ.M .9p !w} +ֳ]qڒEuaѝQ^Z9`9vGZ\JE*Ec<"Mi`TϺ,_.C12 ⿇rC5"; w1j څ@5\#md1˜p ŋ, gYZ ^dG*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118A(3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UM]·Iq n[:|&[zׂ6!ҧ75J8qF1]jMņ3fa\p⋂< bηFLEO8ՒZtv}圲$HS#;wQCxHj qMjX/붭5<>y=58HTMWè G cܘcd_?R*DԼٿT4(ӽmL{flz\痭aIaO ]U_=`B? iTH5 5UU:f<Cljj#_6B)">U=?;IgYZ'3# lZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  -]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($RAPjR )X;f}by `x1Q"/zoms&YtZp¤^դ`1P>YIIO=fTB-`81n'TI^2]w"u dDoư3"ۛƷ3PxU/GwT;S79a?_HWFuF S#ʚ4̶FqSJ4O VYX48qcޟ¥ N2)T걦Wdq\0 %h$e{o\k 4Ն֧rƫKRh-d`.# tlwRŊ'n@ eWNPhͣ)[;'Zs[QK<8{ñc Z,D*1&y4;<3uG ,ȇx. I}c+)9;Ij}O)VeYC1snWB| -ND|yO%( ִj5%d6`9=onw%'-de;%[`$E M P[D9K#O+c}L=He*5ԴbדBl,m=~5;`e7$v}FBI-M_S^R0~y72'SuEqŅ=^MVpOn@̮o%S4/K ݣY,xn }"l|9>|)DY1GgU+qE<%t@#PnT}nr0ш:0ĉbVy[9mۄXIJ֒3\X>xazAѷ-410+!oձJ]>\X:H1O qk kө4QBB:X8˃7VΪ@LӴPTv l!}΄d^'T9= Cݾ;҄l>N* si~ˎm6*7uq^WZֈ)ypxӂ͐MwiXFsAZN(hRhjt(Nm)ᚾ \_vE81[[Fd\2ra:{- |[Z9RkS"z:!(wUL-J R$#N+ - ]mXc^n95% njj?H0{_ap(GŶae<# Yޘ$JD_b5&R<(+`u $ v$h|î |S1{%v=Cc "le ,~+# p Cg|bhp& l[9k+~/լ~BY`[ bD7sNSFy; iˎ'{2}ۙBXA&[UY&W蒙(NؤёrPz!bU1UkQU*ez{?YBRV7k_ mngǪH<L0r_ؘ̿-,{ׁg;t2<}4K\LB}TF1 r2#K/m})*R'SD_Mko]S;3my*'e57P+gJ6J;Ss}F`[7ׯ6/I[š [CkB:ߎݵo^6z-󇮽!\)L+F^~MDWD9~̥r#u(řJMfE?w$o7j>spM5Ě;8MgUjTz&8^!\?g$is:m"jȍ2|oC9$[EܮX֞ 9uP)ʰ9-n5o)JE3CPQJv:qbY_k@/F- ސkTwFOf&/6w=M3Ŵa`Ҿ#EZ"BStG$bGTʁL=d#^rq^ýVvk6133VK4/%g8j+`z xUE lK=*/:^d8!ix5^شxkl( N@OkbkY32 TY:r-o%F閪"G ͱp# Ec瞜zJiBx>awYYeN8 /Q9Y)W`9}]Sl:Ǘ:u2A4&J BegYZ1V*c!)˛Rkw"6]`~W izfr$t#@rl JvIՄ/?ʐsT6(Cpp#j=De*xIwa78&m8 ~S,ۜњ c[wZb.<vԽb $`i͕  D|VuJZf{S KmF:*?`T`P;[DpDͽRҴԈ/+' 02f4 {G*w,htU 6(f5O_W:qOnu>5 w)V^AK_.FN/J4 8jBpzf{\~Tw((1 *fC>!7v6c2}EؕvĿ('@0UnzRۚ2l,IA&#vFTE!Ra0t]=PVζ u)BYbTjҎr_os.Lݝ).&|q`,] VÈ7!I@3ۧH2wW> Mn{d.U3__/죐k%;O +{ZS_з+yhڶr"cv;QkPMd/fo:goS.PHڇDS b g-Ҧ<GŠ[c^Tဳ˨.Hg#.0o-8AGb$MhF3a2o k߅>Y{<ʼn7}`þLRTA)XǸvν&xP6dFFzޞ.|Cm^kam3 X3̘ryno!X +/! cNqacf,ε,IWe <'̖BonҽV}W^bpڲGux(8~|!{L4~ώ kX}\U@-sB|SO5gͦFkxLT Kv}ho=S~y+ZuD욟1ZzK=c;6\5ՌX$]Ӷ'iBH?keYuU'&B>nچIb"StxHDi 3 }M<>>'zmu{~J-~ޭ} !Ч-U tܟZ dMB\G=ekz`6^;ty34+z5]+`(a{ H,m!*ÓL; P |Ȓ;pk_"IgH_${өibIzleF1,48Pgh13q0/;KPjЦ1ꐗZSnZO^WkƆ^1'S!..GAOe4{mExĪܠP XjQ6uބJjq(Ķs跰,3N69 RYCR&Ecu!pߙb8D[av,e ڀrŤ].މJ2kDE[tL2[s.9D2@djB_.Pt#[",V0*hՍT)M4$ǡͨò?(OqMviͧ+n*ۋ=/|Fmmp@, 5nYʒsbMA [MM|dŞW/|\J7@0!GeT;7 is"btݴTfM {$6<@eomD]]zaF #ry~o9bV9יW`A@o g, nu:UC9+S|@dW7rx]wf?b_b`g o* vv<4ퟘ61EuE~%QZ?ݻ`#>= P3~ bd/5>Ӛfc"r×Y C Sn bM|6FX~)|2UP<."YU_l:̏g^/'$iIo&䣫zX2GY U:=Pho5m`I\UJRݠ0up"w*NM;t`YEϝ|*R |so>$Ig_7L>nwdԓVN'ڂ&?7+@2J׳wz>uc[<$NID< w ?Ifohӝizmv*; >hnjDY%x9xX= "7,=Cɯ])D&%qFRWb뻫z˶1f-, 8 mz#Rhy I!sbX+6OP/y}HNDI]%71PYgͫOVT_܊|nJi}:0 `Y?߾jVH\D~zλÃwܽI/^i`IMWhhۗ+_)f*Y\f*Q9"(c^];&L[HQ'1%PVF㣧؂c umҋ Um xiϽƎq+qivg!ҒmH`c$17DgPi0$XHS RDժZx V}b}C37(3Nj8jQaWhCEċ{cjN5x ?8;[8,=,dŪc "uߖ 6O![ DZUGCPEY^-{ɸ.*-sNb^ʠ*=Fž `**j}a. ?`^mLHd""h9t(b+{ {CQ/$1~gHO ltH,^iJ|Gk "؞TJkUa?qXn\X&0"DgYZ  N  G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108[0/' dZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nj]·Iq n[:|&[z״/gdTxŎ-G؈YRWiwրEO,]@0wtSt URK!8]H+HO6Mi bq&JCfyY1zǭ6 wVםdyK]5[9qBi&OP {<*#';ľņ%/}MZǁvMBvH[d_.C1cHazcRΣ!= j)ύ|J٬Uofʊ r5].iw Mu Vr%%]F:6{OP.%#=FC}_s~mCĉj̿R]WFc `Wy-Y0(Loigw>-1Ufr!l9N{quOn͵KJ(g6@Nj!uWb`t6{)"D2ņX֡i䐣67"rvS(/9vB֒Z6,mk!s|W v AM~6hbk7Ώ~0fNbY/>w_hXϬ?p"yٷDrS.36 ˱D?]^R.ЌG+ȁF!xR.*eBy!7g;<#(U6Ar!*}؇+ú+3`\`6ǝ6h*w9t\S0й skQAl/[P23KmϚRݺ.UeJ E/wZ{۷V"9ZTƌ#nkD5kZx4wS^u<BXg!6ϻy Jm(hYq|dp7*4K=3$Bt/;i)5E:"d.U{q}s}Dʥ7SYxMg`+qw4Մ ђ8c!QZ݈M]D;XI.U.?Gr  vkegYZ/ /# dZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! UsA*]ˠ)jk2p O6LP=͵gl5gՙqjE- R\o<;q٢Hķ-2. aKmL*VZ*T;O^RM3C:0⃞kUiD Ow@zE.e l_2s=-emzy_`H R?փz0CA0P"FJsgi$C' >WW囫bNg1_V䱨 \p=8W:sp{3CO4yD?uR)@U02{,D[.]YCOVo2A84=&P%J~c%I.t7WR#0AcXw'YXk[[PY2G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98?,/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GO]·Iq n[:|&[z*\zl-UouWq'FT-qP ")sTqˇ> .$*wC|k(ei8gkf%J|15-I{MZ f&bIBɫc;׳!r8zpt N/1q|gYZM+/# LZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*^]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM?ބc$nu*~Ex:yj\±hiI R!qVZ2i(!qѴaƆ-03Ml~+2j<{͟!y=bH"fo.8;Ih׷v o0L.ݿ|K<*ZJ?5VJ1z *Mogo13,dMOz*2>ZukiCE;)< iT)'ErHmSC_#0E/G`&oE>XO M*퍵r:eyRW7v!ƭe1=\>΀\9KӲfw^B'_R1J6vIԗJoA`FEM8Ƅl%U>sd/i|($ o/C,uZՄ7tZpҩpkYt"xh [ѐ4 ρu* $|P{eiшʻtf ut')7l -#V0״{D"k<"\ [@5ZwBW-Xg5`*6g JzYc<ڀ. qE~\4-;BÆ;ѧzDy::3̼Mݚ* ^ͯ r WcP+\#Pѓ`71^3ܮ~߸o3mrRӆr*aW+d ffJF=LW_p(@Ba!ne ͡ǣ؋WgSl7X--l:bG#]KCjM ~1>Z!kEtu)ƬEiM,|Ͳ^OuNpZ YJ{ȇXCSUUȷ)[dAE>`eW_K]ᔏZCL>w2~Z'D|}^ڒjD8Cija.M#PEnL Viy w恡x~sh4%+2Dub;WK2rQ5,]>#0¶eP?sf밯^a296)[Ac^!;D x'R3O+5/͑5;ՊCY N{EIz3JܤNz_Mm bVA%> 8x7SsY`e8[ݩSt0ϥ+{NK!f>5BBko-YJT{a[ңg$Nc^ȫú%"D{LiS?ځ(]/4h W23 4ӄ+z ŏ ]o94ywwp v?=3 r#J) CrGY/|`X O;C+LޫqsxPWHtۙ2))5t"(t .xDؖdR8ӭ@x&sӪY∼xɁEYa€a W&~AO3 Aˣ?&y gWi* [Q` 9.]{g+bF3LȑF{=Avc=Qώ 4dejꈴOqxI+@2gC|gFoNEL m^>?1%he P n% .8{ _/o\|UO:1nVRܯ[vFjfTys2Y݅Px@~>S65g|vG'7,^~p0"-ɤ~O`۾z3 G*+[>$5S:$ S_ hm XWW2p앒`O 98? 2y;HJC'lE"dG !W+|8js֔xrT;OU2cQiԬ[8YM,R*&򆙬 6L73 jemIYgaZݽ d["KW*]‡d7`22d.͚QN/J[jڍś&]6)IF4»/{ewB=`_3B-!͡P.Ekϯ8jeKhZВNWsPd/vBoO:iBeku2 \=Bj5Ѧ. IMec\| CSkb[cDrEl8`18vv'OJ8|F™[&'_ƙqkb)9NLDs[ɗOOL_#|ĠS'ؑ}LRe0{W.tSҕx5\3}$Qhᆇ? c7Fa`5^!"=FSٵ[SRf8|! b4ɡn~8(7`?v+oL{z6yTŃ"_mhDm"u=Z닚S"t6WlZ3YGL~5)AuÚ:yxb W϶r[!KO5z7/e(ꬫN#?o]|P|e):&`%k3S0z.(0qqU̬``{P֟{Vqг:JNm4#k(:U]f\KJ~TۃY5?5{Eewi 7ۿsx.e R!:OZR{30&U ߔ3]RKwɿ'Z*,d`SXq\G AxLAkk|ݒ| 3m‹*E)L:-ppLu c@^ekH68VnO,HeWue!_idYq ri Qt[_f1pFןЖHT6qC6ja@~[w^%zxrBKYYT1 xH|}?s5|J k=iyʬa<]f`"<6|aG~s[?®fV5i;ӎ^8,x\Zt'y_39=.X&Fg14RׂӠNmM<(|nc5+)Pv鼃 9Nq u%¹SmG¥LzIG.g0uD Ksj1ږ)V/Pq>O`ZNpufL,8*!3CSV帊]D !V4\ŅhSehjY+VD>0 Ox.]،c^3QHxm4?:MsRcTeܺUwGMJ\bJwO!Vq{'Q 4fĺj;#(2{fsvw'|n/ ҪX DfBx|Fyw+CNJXO`t5ݳlVȳp ]Sf.y*VZA=m:OY+l.6ɟTF󼯰adc. =C2In{浒]:}Eˤ ycwwUYJCWvNq.{#L`=K8CÙݾT8&5Q8jJQ׌P%Ίkz{#"b qPe#dBR!;SMwF0}XJMvgE4gjɾY% tIj8(mL1kk-iu&CsI"] F.;ng־m.q3]""YZ^-هv (5š0eeT ԣ 09"aB_@6N+sYK{`GJGi,m ft ]iJVA#CwN`Xql9>z>3g:`:Z%d9pV)AZ]h ؐNbyhvwzW.׵;.~RۄKQLp1 G0iMPCz` Э u$Sλ" Gl dUb׾sq - >Hu- s$%IV@~Y~oyï#QMAWX; 5(ZO#LSjW3.g1U!NLZ9V$ՇzBwtA11'Z(]:O&|rЯɍNi$]~}󲚯FG3Ŭǣ7WZ7PpfXh*0_F OIlǯq5]FK3L"2.EQ)82߫3.gE6t^jw>. 0>]{PS{ j&"޺ ;|r6 zhxjA&'"ޘ2TbAv\ ڎ%T3s$gK>]xq N8PtAKer!Z&v&0=J^5!2%\Cj8GVBJUETf<HͷBoYG nSPR|$6xp⡂,dUf2`.w|suNp3D}i$,U[O*sƤaStbݘ;8A Tfm7}?lp4a-(\.ہ՗x )1c&:ҏ5Պb;6&Mhb'}jKb3v=s'D}'uSE8BAId K˪Ϥ$2?B-Ί k)}]+9g|lNb,6 ھCglY("*j1e }P6;|R.%] |޹ gASɽzd qG3 nLd;j5W儀 %dWkTfBB O5)pͯ5W?,})7 &9ߑl#fמ~ lOJRm*r Ђ֖Uij3_Y3pF])/~ťv1$|,h*n*!o ŞI])ct_ ěVk(dtVeœ)ЧheЇ\XH2CYio,;̹qI694 oX3HX謵r<݌ٕ(LG2VA_ Z:]ƭ-dB[^[ˉ!:Z5Ŵq%QB8mD\!q'3 ;yأM"v)5kg _nAx|MK]i@Gn<Y ],Gk%M<ㅁgOa0.j'ZP@dWt6)f= :,;bRv<F!5OiKQX8MOQM&57,rO`=Z:HʋAVol]J) G)ǷF< a=+܎ WR:Q0\gfj~_ط%R[ckzgg.re6SSXL\6NOiRYʻyBxr4 `vTv;wuG(=)&-ۺ|j+}˳k[44 p*rOg4'g9{ [W(cmH8)IBVΝUZEVps x{vq77 mʕOç-Izb!^ t:4Esչ dz'wty 9XFZiK)E<ȴ,)ԅRg ]4}|P&0ӄxoqeKAN6ڟ\V=휵zBd%WaQyAQNVr-c*S+:P4sݝ#=ȾΆJ6q_Zbw>².}sX0 cir8WTИ ؓ `V^7{8ORESOVBbzwUb(dHhYr*M[qS~2EuA~^o񰞣5Fx%RWĔ8icvʹ!,0X2F$[,NJwmJ0[EBMw{`o,Hg-ү}zT C3Sdי-.g rJAQx!wLo;DjƜ5@]HNGYSmPj(36ه dAuM=v-ZKX,ɍ+vG&W%uۙ0$p^TÌ6mz ǔtmNZނx7E3xM l G`HDMP8m1OxWKō Ny`Җwd i*G{g9&ϔ}[P!3W}(twB9d-ҟI >pF?ymʃhn8U\L,Q =!F`/j0 va[.м}y,˺-_Xs #'^QbڋgKD|l:>?"Hj(\]"~X$*{"6"!=8)zBA1,G<%f"f03T0TbqkI<z'a3 <$rD7͡]28,^( gF&ş>PLRQS L|`<"^.y} Cyv5[ϯlѧޱIMqAB* ԩ5!$ķ\ Ad%@TAX^B׭{[v*_laoS[:uKcfNdVh5F[ϒl0Y<["1`oZ\Mfcxg6^f7oU# YTos$aRj]WuaKqs^DKg=ԊrϼbV ɢ O UXwu`qTH"G]Vm,MBҾtrv[DRki8HզFշG`k86h[H=^oV9/"`g_7+1h={HUL.0pz!*ϷzzS鍌ʿz\"p畢xzVh+Z<= E wwH6tC]_ýWa)̈S g9gp5Kr߿(Ш3$ BwRDb*}p׶YX+OczO`ILǼ;^Ao&rҞUHO3Z?:  n8"O1`OEͩ5w&vSz>ۃQauK9}`E*9pya&M4̡Cg/R ]h̖?91gJ;)ck= Ji͎嶰6ᨔ!3Relea }jp:-,0~o~ph5#єiy^BYTKބ<5}4C- &OK@RVp343fz|lZ=ͦC|Ζ kT'?LjtUkOt b~A<}܊&;Fm$D MiZVtdq\iCd o(B^Ak?bMvc`3ΏQ)|3k$CJԡt=-VV]Ocl'L>=t ?*,J:Cw^oHP"p9{ }*Mtͤ "'՟Y~~zOOtӿlt S@xAnd@E0A3?f5YMRسTG!j~0~&5%"$l~j傎>kK~)|t[4 EqK_`pU>蛖Hb($1{UDWHȸFB#pVW 嶗"iY$F0=MtRM". XLqdh"ĻfA#;OM7 \+I 4}.ˠƨmeUCwsdl^'B _t̵Fj_Tz+; ʮ\%6doγxDn2x{a&e;/ϊVa`0Z$bQzR^]j,B ɚ}%Esp[/wp,'rgs>&fHiPl6ƙ|jǬAU ڔY߲shȊfLKˌ ӄeݘG>#]|vDF4 VמUW<U͢؇`BeE}~W?6h+ék2*Jg\p JgB A;)p*O՘TuGh^j@}qEX#T[%!ЧQ&ӽpzAJ!@`2e4:yg:ko~C-\렦I  9|^@ wo@2ߞ+/4ꋂy!7/wO p&~+S;;M?#U뚤oYFňU7w 3Pض#Ta'˥[+x4#jP[>MuRmmoOh0iv8x.έ30 1VȘMǤ7i})"/rJ#"Fu׎pcu lf n=VjߔjpSta:) À4*B9e\3dp&0ÊR"UKx3FBG=0Zo>܇q"#[If/87_6E/d*8<#dE9y|W%FZ+#l?XBI$n+FN[+hv#ӡCtB-juJm^~'n"XP\R.4{;7w*$;& qXLSϼn rK=\"LoJՒ׌]Þ=JUI0>"R<:cyF2Sr?޶:Y[d5=XeVQLVUO{ERȥX(T0'c/pDx#G%^gZsG=U3KDt ܂W0l0Qz1 n2dlP#/ Yc|8|ӼP;h(fw.utfpp%0c@-P \H}MF-*@ 9.VxtH KB1QfFiq;7kcA %{MԂP&duvo(7(K0z[)gf+O3xBrEOh0jeT ?aEV)Ĝtpx{NqG1a7+pF Zp1„њ$Mlޣio#tyvV| 83/Qz9a1!9 Iw.d}>(P/.+G+J(^b| er+:G|₪6[t'ͤ%V'dKT璺]E*ESeL-S18٤,.S}w<[W١-݂<!ߎϏ|"_eJG+6=K#/Qΰ~Oq^@p?Ѥaс6!/ j4V9H4I_(n)F"abw9^o)owEcjI/;wi aqХJ6_\-9k--~H-ѬR=Y4+1VD^~kqƲG}{!}VsmBd+̝t=n*JRM{.\6qAY̐[ 42ڢ%;p˥BvI2*:wU@NHA`Ṅw%{mܘ =B WW3 "y5@d4 ]) H i[K\P9UdYC _DZT(y FHO#i+[6Av>JI)cslo8Xn0[[x\1ccnS+vHY!2Qkc*āř P(ƥ'3nN̍J k:e8soFKÀ vn3xK-22R?kSq-Cۖ&g0ATo,(;U}d 8d#nֆ팎E˂w*Ac$ebM7qz8;_d\}аpFwCϵçGgu d_0փC4*2MR$< i(:Z҄g|&Q^JЭ>nlȃzg6L&۴]4"QK{x^sM,MtT†(s۰ļ8'LwD0޲=]nE.s UPU*!T[ BrjHq?4y5TA98sxzevoɖPK^>1P?ާĺ&0Z"Wp m1L3QKc#IMO ִHFneƩ05J {ɍwY%7c mFlNd삩&a VCpa7!\깙f4. (gTwTWR(%:]V-Bec|o} A6%%HU^ DmGP5S\;8(:0LZ޼rD L.j-j79&6*X7Hhrϧ5>v`P}D$n2Vl-n3j P#4Z9.!B)A嘾9\ǚpֳ ͭ@U)VNkjl<ʷn),A^Cr8\"X|gNld!.E 6Xu60f_.p@GAhk)ȉ|Q"3{"Sق Q>v9Xؙ%Z 'f"Cak^ ڜ,| #u^d(ʁ.Hc#lk9_m"kq)T+. --S9hc0B}!aHC) 2=2,@C/d'Va[|SS0/k;!8:zB f6}j%*_&c$DBퟱSՈM%DG_6s)1 BO}z"'6OwڸYvv!S[)#=vqLu cmAk5Njh G\5 ^+r۸q EeC X޳|7T*| “I'BDW1$<ƾ}f|iW\2`}0Y#.>2ipm,FY;aAhUX78L͛O)0h)pSnezZ-1[:Ι{pftt IpÂC9+eҿ㾧<@Xyd@u+pJr@vJh¨T޺:vqeI/jIQزF$x֒'q^CC%W>P#_[{ќ4C&~QCa`1pKňtD?8 io_4[T?}k"Ij6{*3A"sأvNn5O8dʇfn%`Ej}.p34BDE+Bx 1|0!K~0񿫚%P8UIE@wE6z",l ȲR[?S3҈L#>C׊RPbGF4tDX}EaO\g7gCZ駆hڇ+D/lGW8'Qe6ۧmMB24ߙp28Bg%KAAa 7%GJb^)yp=hz$ʹ+d=>GV ~Q a;PL۲Q@SZ]е9F^EZ&$נL־[#ĉWɫa&6t/SITPj|RN|dZ#H(w?j@;ٰ9% 9oZx[ ?}E\}U${]TrO_\p*+D#Z2ZP?\iYCC"VRd.IFscݛ>p:}4TsgNm@r>u{N~"6Х;na02VG}y\O+D[><@N`]/яZվJ/kBۏw xْ{yУv!A~tMy+?7J3 M1 Wե TyEԁӝ<]:^W]f@wdy,Ƃ-~ԱgYZ7,cuss|oBc[eh7C8?Fivnȏt"X{{f 7emcg ,@+I+{O2:#Xzp:,IJq+gyEiɝu~a-F_~B=m-2`Y3v3e+yw ra0so$·HXn+߉*T' :(]]g ݪ@aW׺&K?2G7y_(R uri埂)YYWvmXlÿ2qtW}ھ'OKsQl.Zt&n6 긏LOY~Y-=T|!+X$˒^_г̂n'M/9/PQBJGPeuXN| c(а {"VRYv femFYƧKЏqA-xƛ݉Y>_B/> P W-s.Q+䶆,XvTjL9;Najm"_&*Ok͇]h*aנtK B("dA:/Ev>as`!DS7O**LLցڕ2z)ڙ,92\0Kv~{#/3;yQWP&{;,^0 e{ zgdZwa:;-UnxWpc打bȾnb&1  -2HC*kPvW5蝶ȿj9qrO4QpG;" 0(0͹H3Qq9iu܀) !0 E=/]X B'EAr,[n@2bsT{qz97,_CbΛϯ%np1S-7;@[iq-jT_ٗ+~[{]8a *+mZG3\L|j#tqtzSr}|Q-^-0v%GiN"ʪs9qRIع!VZ*9 0o$[`+SWh-A4[ .Xa~^*ţ5&vUtM8̩Dl{b-2uE ?_N2V]H!)SMfFڦA'Igz=WG)a$e<'H[8Ms֛[Kt!Ǟ4[|DWхvZF-j2bd*L|x29{6 Z*aL/p< 2;J6`leIFP>&byb:>dԉ?iwytC=pڧ$8ˏKno,U=AHߺ|km=Q集 "FbZu^6pˉ0/( eL1 㭝㾡@Ze -Edq6l.H!:B:F~U.Z+ڬq 7 ٯ$bYsJ"egc(Av[ y,BzvDnYa0EU&xfy&}JՌMIeg CETς (N2T/Ҷ_&Hkvl-c!\Br^F}uk{ d}_sP(<%#O~@=\| ήn"k-hcv4$~+ƀt)`ѸX*Un{+| [oΪɭΐn#>*3f_(GO3gzFɬ˨>4.(FL9ܻqG?K>32 OkdDWYy=a/)J*nuAϏգsɝSh>ܾ+"絫R}͔0^нqa 9QF )41Cp>GjtvSO.'6 nԻ&i\IF=^Ys ث<%!Jh cHJďbSfx~ Lބ)`#l6d 4Iv ] -qͼ">g2}OR!$`Uhԓ5vZmt"q,#G\o2+mI$˒R .`x(j.. @e ^҈Y Mf5V[+]qw;ip2*zrݍ2nSzűkQdۣ9;Zh:qc8<"4'E 'oVd& w7h$8(Aq:yT%UE ȃ2ˬܹku_W1 TF>9~r 9#Jd JAQ=ba -ggV96PQ8 de@L*o<nE@T@SKtޱ96w wPD.*B0Fvarz@Vp8U[X[wXm7߮7<7Fn~H9{#}NCb-Z/~F.V2g)#0 6DeuB @H {=.aSqSy!Cn>@6ܗ`O0Ԑk|0@c"s2:O*5a\׷| BK v?DF^-buՕ8I*>1a/ lwH8YB.x̺LJ5R3k 7>Ze%ӑ Z s1JUR&_ {u vƂ0e0$bH-yl'޳qRsE132~i+ PW圿'19pㆆhɑ>>B ΰW0f[vG%=L6}{cc=0SGԠ©*f2kFY'3ܰxkL&W׃>1Z#uA֚*0i'9`灆S'P," ׺|h%Ŝ:ůޡwCpż~WE)W7FZ,Je)P;ɽ2p`d %,|>wW5Q,~lynacP'ym3t7 s]p ϛen4cĂΟϼbeO‹m=c c}g]>}&?8*],?) ((GZJs|U ؠ %hB('~xB&jTB'rS Ը js̹B#CYa)('Kmi-ܛ:2΀@( 4,, \!t{1i{\Ý83h9rƀi oY|vNx tϧb6+׽#'>@CC9|uD^ XD8%W c7%16.FBQ(OCy-@s+%F701]ezҖsŌiFDܢ,-tmf^KыdN0e _q^Gx%d>qBvR#UK懇*Vë;\A1ZVxLqSA)|S˖hG r:s鉫ӫ^gΠ_Կe2:1ݽ[~E$6'8ZApvy_bPukq^CǏT+ !2dnGvbAߪXxdf|\4Xl1sgzƯ`s XCĹG/\Z^^iͻ~ 4\G0?Y.ƻӠv5S|u'Juq&>ߤsoH坶9 d[ = @,H;g=ILoC!H'{d#EӍAι{'Ӹ].lC!Oy`|;UN44Ѕb $D0m[S!]Ƒ4P*5QpU*B \h"J-FYJc6fi xa|ٿC,wsUQ3c0XO.4/r-AُCgK0)?!:=#MHIv~qU7kl^x tv\T`R7:WVs.9nP+@tIG¤GntRإJ-^"[6>eN``Ze K-MLv;[că 9Μi~*,W[6}Aj0ua!DgbNW.3l:ϐZTpz=̷L#?ˍs7D67vF3 UJ +&jA4vemŌ:FaLVoP8nsw2]Jq !q@D7ߵH3!.QZ;WN"{\#AЦ}:ə|ӧQ'zJDl+c^V~YL;TҊ};"Gٝ#ց`XԀЯN(gLčG_X|0vcIퟞRuu-^`8ȈcŘ ;:oo[iaF=vZ Tx!$dّ>4L7S&LDS[b`I֭/qZ d| PlX<HX6qz-F )[4,Pfj_|9˰51jN:ָuMZ'N2НbwCC$ᕡvW#M[x;W0w[]!q掳PAv|\'>to-S;M32x44~76@UwP&971e .%&Po%2N5 fimRřo-(1Eu8qGk+Mac FX n 5C0لIqIR+^̆pẜ+( ت)ae^CN2DXhƳ\N0_^7`xW )X:`Ho| 13(\Or@G)vCRjL}^Rr-ڦ~ZP$2Kzf" =i3_#634=N:I $h-}3Pip @4K!rb^{ԡ1$O8_D.bD\6CіT}$a7QW|ómNN oXS]_ŗtlb\gL*-ܴIz [ilwn>v`v:;?m:^`ƲK¬~RLW'ֿK2 {a;OӞIeA6{i#O nFzO_8h 3KTxL==0v%_- a8"^ 2o8:VC#X 9!$[X-NNtK};,Pܦ]f@&j:Vj -ۋK_K/h9=bQY0/1ͿM ȩvtӽKANwy 5;X{w˨0q㼍>DBYRʼsEtä kB(#ȨUNuH a ! hG[͔!(߾6 OVk/EۢZmY'k׬bީk@Ô`Һ5 Mh*19OTyFwmsd6;)yw>L r {M6bz!~SPAەPҶllO`$Ѹ́=]fɨ6/rʑ)H \t_oLep ڣxg NY`9Wr  7ÙÈrƼsiMm-*9 :RDj1?C6Կ=I*4nuU|qq%V.#3gW1RSPR/?I=$4oM205N[ȡ $/?{?">ubq=SJ@$F gqHJա {4D#FUzcI7v=q3QH8/?e˃=dH>nb'KV_ʋ/5:dBag}@R2f*h'WfMȺd Ɖ4м >+9V|C;/6iwi(zYz YGKS!K*L4[ї>_{#iΟd{|3+E߃3&,;ux1Q6W~C@}@gzE{7&/s|S7,'I4 <7F>$Op&LGpDݔpbJx|$?V"%NU:vw}I7/.ɶC n `Rh\KtHtܺMftW]>aGYouҴFQ˾t]r/GadQ(bDžSábNWPΉddDTU'T%9J7k6=KJvzqR <㉁rg{>SDOШs6PJnԦ7=SǠ]zht];A;_ w3#%I?;/΂.;oGs%OQsBS@lqh1g@"K(pۨuB**!VV΋ 0`h9 0 :YmxPH|'ر1X}tKuLaݟ`=|yΰ&YL eӁ<\ y[`!*6 H77j\A[!>Yeb:qa`m[] e!/QX !~-zBBc24[Pof[q\L^7,Ί]+1z!h:|-4zكf,[iL Nn7c--u"7޵sNRv^#A)%O5V!*MO6!Q:ltgb?Ks!${KbH0 Oc'ZV̼=gYZ GG*3 /# ZF-InductZF-Induct.PropLogPIDE/markup7zXZִF! ^K+;]ˠ)jk2p O6LP=͵gl5gՙqjW-HIJU]]kRφ1{ncK'15_o_X?5x}Z$T5޲,8=YP{J=fOJR}3~2Ɠ跬kfu.c;d}YZ l0CYRY "E ,KѠ.R|6IDTOYۦQ,p5 F$ʉ(>*f;X[fx }%*B; Tk w50/u68#nMyv'S淬@vY`HJ! ^\*̸5]{:"!ܨ@g2!A:b] Z7_`?*_MKFjEIZi8 j<-Dkh+qu 4z 2 L_YaQ̿"d D0J`PwkjCJ>䆗i"0f?LJƙ=7^!+SPԴ~?aN2##n$FjZ?AX'ɑ3'k$@վeOmjNS`<ׂ5jƘkDF#عFZ>qp|d1' mI,됐 5A G =Lهs'k"Պ(DY\<uԲϒhK8HGA8*EIQ&YHe$Ԩ0=3! W SacZCTrlSGovrnj [ȹK<%bԯCzYB[lj~ b3bYQ,+QlLg264χd,-n<,|2ϘJ>!v5[%.kXƚÏBLZ Hz>eit x_Ji;aC׽8Mb5H"'=]"VT_)Rc3Y4TȦUY,(:!Ԇ2D+S3 [=;3Ϣ vq0`=1Cl) OTuu LJ} 2),CȰ+0 8JZ87&j([ӍlQb?etHyV1"KM\g_h![=]+>`d J!JiUv>^[Mҿ3'j-ZT~9Orp*UfYH,.' ~^S<'JD\J;TϘ'5?ksO1aI%dDUry3-`n a< Aq:N/[LdhwY?u^DJ=M$=[9zj1@&k)DE Ҋeb@.~xq_q:$@ympgzq}1 <8w/%@]ݽʵ%8W}ky5XEQ*YlALpd_<]D G3V0vW dUNqNȁszJ]I)=\" paNh0n:KU+H^V5ZԞ*Ɛm4/1'zv+q9!,uK@<4N68bvq%Ax}X՗{[,_euя!K t-]OH/$3H >ř)D0WQ 󭥺AQ(G4opz+a @k[#L"l糌3ch¯eqJ}wvQϪ?Z;17 y{: rMI9u)ol۷V;IGQ9 ۢ;,A3W"UDOPham mlIp"L D6޵gy4x}!WhB}"8#ևtkU `2DDf#?H*%;i.|=}4#pi4_eB.W°xkdyb%! SLvi( _ +W*7id &̲6y;d>H5ƵƛgJl9 @e|ӛ|v)1ʼn֙zqvDm Eeg2Cˋؕ.)* [ې+W-*urۮ1t rSZ)b0$[3.EGj/VA52 nzaXf_rRi!%L)" PbHޞd,V8rk]-`ӈGIJGfeCeK~.4fZZM5w~YfTh뷛{K*5PK|UmT ?}9;/kf1I:@ Zov\J'ya@$})[yɗ5dgh| @C{%uQjq*6QJ+Os1Ӝ6EYwn?0Ҍ=R?z-Thx/·+ч"2g Aq&;4qV1 (6=qءJ%H=ڑD ߄B&`朄=_0jT.tsTW.S Z|/.,.(^6࿹QelA3V0HBYaʻqqN]Wg[#_C΅YL/7EN}*{{ (cJ- %#6}6єz\#cD@=u.[,ܘw2uDz&fXG\}x\`AkjL r+o!\娶D}8Vt*Y#O? $ck@ ϕKsSäk4[dfk6"|oht8pGH~UmQpgǬ={TJ $O*m[۸E|a odKA>kCjc%ᰬ|#.>eaXfo]`~L4b:wX1)%oMeJߐ?>sG!3{`kh.P_v-/`'弎krpc: j])FvzT:Et6*za<5kP/|e4ՆMoLTtBXDZf3Swe?!15/m.c_{-kE#?2  \R7%xDwm=|I0l?#ډ؟eHx5j qjfkS3P"׭I6@ЭhldǹZm]bM^;KvԊ>khjI?}wr6$/>w8y9;ȍFn, v*9IG ^"FZfV%/X 1`rxSaAfg.,[ m5dխ]16$ OJ)7^Jw<*+` [e pf{3Jtq(BXDk/ZQ+U'y9?s2fr#^T?]؛.ط?ڦXŌR-Ap2vn) i}q+QH#C׃=pUɠ3`g8h&IjJ=M' brNYi5CCπOK%6}3#-UJ@YL.yz5Z+^~ιRjť4*y==E%ܧv9 .u(g?%0<2_J w< T0 vGNhiWnaWܘ*\8IbP/#0ΑO1k}jS :A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112'4/' |ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N8]·Iq n[:|&[z|7iJ^Uul !Դ+oT@kj+n!1P*4A>oҲ}覀56 F?({ظF)pGnO.q/ѱEcc]l p"%s0_F{VmeI:k./s /-$ -Mh˭lV<QnZSh\(fKZcߡɨ.F)$5P[;o\k~ km ^".~*ZoZͦ0Sd }B۝"U5`<fk,Mr RdA YN۳d\3=Y8&S^Y~JB}r>cW+wr? ~xX >` k|_Ii Sn Num탂aߑѥHۂ-l, pƉ )֑ͅ6nD%-2W+L: UGl[E{2쐏h\^* 6,l7Q%d KH|f7 X%؜> ae9_^AKf|* /!G!+`e.QRp%|"&&?y 2 ['uC*`ѽr_ɣ4ۉde1HV#υrh3yB8rUcǗTw% >-kxf1qC4'm뽹rU0J'DL#;>ސ2izF(A5֠K+</ֈJڝ:߱gYZ;mSN+:#NP"# \j=HQXG07W. IŰt%YAFB P4;[v؁Eqxh/bseW />Wl-.O<=H]„!_9FLcq0IC#5_8Q@ - y;܏;eI;ԣYVRw;4`!7#bT}dv*l>Uo-CewtU 胹2;G9{-l*$@W*3? s7ˮ#4s+nb-@_SnNڳ0v[TC(x&4n/{/37v~ƥq+N"W(uNZnj_&8̘QzKj"}{ի'q.(;J{-?w|uGiϾӛs3UIPk1GXlnE)CF0e1+=#+OyHh>&&Z{grK&W09|K2wpo+BI2Ž(b:L 6rdӧH$ X ,J̓ƍ =D]V`4]+wnOuSR' S0܏W)^]r>oo)-ڕa |JsM z gf TڶJ>g|ā/׾*!]E?UaOd}*Pލ/aR u!3Rij~0?Zz v4cmUVm#j<):'M@`_ `oS}9+dE2nWSu_SS$^cxd?h=0x`zO\I dWچs'ݴ-h 4IT*Q5i9҂LgmN99NM~7,Hↇߐ%mHGJw"G]j|6J=͕(Ob[I0_,[" mCx19kƣ&O}uZ(뉎_f8G & Y#%^(#1"B@,pT|w*s8 Ӆ6o .od{ŋ?؜й]s֤¯s,Rfm P \ԯ B%qvN}>_b@* \A=;F R_ w=̛<: d8^ܸx 8.a̦ڂ+ӷaa#t/ǴCD:oDž57q4GkO e90D]npa#/}H#c6Sr"ᠨ EEEXrK9On۬Μ*d3\vo8kU靄ݿ$ǽbm}p)Z[O"T3mTI޿.b*C+iɐ7F¨L|SJw/"n0Ji_#t|DC-qK5V3IQrܸg2B q:oN= O _p4!N1Հ 1'~5+w'졂='IgVPwO.A',"(S"՟gY7Oֆʆ|AsIfn쐛-G\BMzO2/jmd"φ2BKu>#c.).7>3`$Rr(zAAU#spYadyzX?JfIILOr*jF[B纞w}ڟq>ێ6yLp(|1gZT'QV@E%&2eq>yRyrt<(rB9{; _b򳎥(Xv\IbT@8"HLCarAS"u~MZ\KpHP&ّ53Z*y^ "oN*^/]k?>j{+>뫥4Cz7j;p:?{BYmMeK?(/E֛^rhlCͬj/Y"m:Ŧ&,ӏAӡyZ.0 Qi*6 E̽oƕs}Y P6jgcuJ=و.fFi;O{aH*`:1>˰w""4j]"Hl^b9+4$%YfQ.>/ݪW6D+u(m4`2]Zτpg ^_VUGpOレ6W@K@{!e|ն}y K?eVS Vxͭ"i1N|I̻/`3}#r͌7­ ۱0 ?#/t@1M] dȇ`.o20(_Pg*gH`NoG@O>hes|u=uݯ#h$j`IU^_J}Bh}n; Xk"Ҋʮ.&Qxk9;nNF|r"Pˡ*3\S: gSiZ >Ү/RcW K=UQ#Ϋ̨{;^4-xO/"oPeL 87 4pRA=7|/zqQ3rPϴZ㯕 NVѻfɸvTs쭺4vb]?J I Z28X^G͕:}5UO隢+IHRj![XEm,?.&r4g+T2?Y+Hc߮8DCrt<JonC}GdYO׺|ā/7cFlס,(Ν{k$ f/E +5LnT_ ׺Ћ*Ri}1:*ApQXv= sTdLCPvuCH;'-7$M _1.&N׎Ѷ3MPmCbvᰬƋL/#Lbv;x=^}uZrv=@3C55S 3?+$c6NUVo,,tx <)[?*}B¾aRz-0eAqelƩ]'v=^מƧ^/.H9^s>dEK=ڼvȱ/sjslbe=,bǛ&(*#‹>2P[ [GC@pL!n􌠖BLVra*١gOI{gxamq$tjaL[NzIT.ڻ[ݎF,BȠ4' qayYB;|*Se, (]8N=ڏ-˾o{eOK31l:)~?R@]~F^F5*y! sG{vZ=N wTTaՊ?Ɵo.ASpca6=nY*H}!2nK8el06'U"r(y+ݸ?]GS=t@{GAMct+$;J ;B@c]Qwi0 &uhĠiS#ܘjyK D.`&{MH=vӖ2WGZ\zPWc qh_3hĆw(|L3y3`VcGh9LRX[!585wQ=+֗^:BeQA+DHFoyJ&p4ɍ;Qغ 4! ;"* !yi+Ia5i]?sa,Z*]B`a֜5nдvLy:|(}uW.5 vWi{/bq*`)Wy*cZjZA;5gB"`~]=-KGupPݍr7ʤa&uf[43r݃KEohؚ &\ /(t >8E%O'8ܪL_l1v7cv"//1XVCw(nS{r^]EPS| \r{"_HDfFM$B}\΀Gy{7zѭ IVޤQ|WCaf1.zJ q|7GvT,gȖF3 vv=77d?fA.Jv7kpk̆|5"`$WZjܙjP*w ԍ~A8.]Z4%x: *&HF4 uK oĀ"V]}i %)ZƱN6Bu-kz'): E?`L}RsBUݥ+U.AULS#X(ɜkvE,`$@]_!dOUG@K0=%B;a2ZcK! Уd#1,ɥK%rf[uȶ2U#= LaI1{hOI 颀Q0#A6-$ؼAxpY`[)$DѫϷHrfB%TC+1]8;jZ9TyS2@@hm+ò".L0Hob K}`=jGGE{zi\mxi-VˉD tHM*?Wy9A ZfeSGvjEih =_ AHI3f?ս\0IΜ`s{j$R *bʍtM^TQu*kz+\/W8Kkht4zW 9Qp0xK.bAV0zs,L: /V$?HQxLS F2ܠC߲ fqSzْACTY1)H '/vz+9͔C>i_0Ӭ0`}`)@G;+} 95>4;u 53۩Y]DDb?rd 4d}.7BgxO&UV6K ,DCy"Sh絼+H#061c|+];# TxeЙ5Qh?ɟdb.2348.臫XKnE ۈ/3B'DcΚi'n 5b;.ʣMU5؊iRAaj1e䄬KzX '9Q^{I y PcGS0h] 9ߺQcc TLqV5gQ[Cez 5Y@B>Fj]$ufE%##/p}itcEݝ{kʑAF̜U>~AR̚V2VHg8$.,.ә&t&&9FdD{l?Q*uҊsdŒ_TE ;EOh $cc"5à4q ܲӈVS/y={KT~᥶K?!\CZ.KT[ .△U=bf4. R=A4ّw_akgi^ZcG ZM!}&|R^iKߜ0k3aL[ug["7=q6m=| C*gȏ:Go=۪< ߢ ߀A$c(sZXmaqft:2Uyn&e!76&gжչAlu_6*D -Wf 0[:`ɚ֔X=˽"0;n(4>D3_\ozw0ڳ&٩o~؅8`'VZiEj5 H3\OV ~?53t_ϔB5q $?$>Vv,Q}rgԇ-UIj*#[ 9IJֽZx v\v =<ŚRe$v)/ };qݱb-՚vI |mIdAt8ko{oD#MSң QdN%-l ƧqWO˜mͪ)*<|+66w%Ǜ_Pj %J2$ᅓtrP(> *ja'3}ݘ݋6';TD/އ@}~se7QWA:J pdyNڇr:}h//V[QL[YfֺWiSYxXU})9 ~ vmS]LcG󶒇}J P[-Z[:TfL/EB*Żq+e%W'+;mrGT& 3qS `J=k$a(ϊ_5LI*x|Ӭ7\A#߾tjEM̦m'4:3 a+䒴5 \" G,咜w>>Ze!Q MCߨ} xrvliBpD쮧vhrP1d"סּ,B:")nlzxkV>[dW܁ ^ڰКyֿY]MyE/*ϙ"ϐ]to^Ca0W< ,q liPVc|*L}8hynb^_0ş".)ž L@ߴMamȨ#71*YĄ7b@΂0ċ7äiIR nF[b>.r_t[$s>Ra0vX,+*FwXK ;lqhCX,h3n̈́Aos t!e$,M Oן BZsA&يF5P^+7TiMM&v Ws?*Ѵi]b^@y:ȃ.AE<.xHT u;e;$Rx3E`+Mqΰ57`~ion4Tw[e qoT^ESY;gYZ YC:+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy29+-ZF-InductZF-Induct.NtreePIDE/document_id104p8)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}_ΎNg(e;^䎷·b"rSub~K sB `jq _!-(sr}b`);4UD4킘Oy* uŮ6n36ffl롼gv(wc0gKR=d=gEƎ3@1Hw>yzɂeђɃ&)gZO#yeE݆p]2(pbPv;;?F?gYZKMC(V38cuEcSSWa))ʶ!oiG`J~3ås,a[uPz2rib^RJէNI]tT%̋ E$V[xUm)&Oߕvr"+QB⸅zV˙ߑNqJ緾s1U8~2,{F\/X%U0+q"c$"k{PDkg*d=ܜwmeEq/#x/j 8؃ɺ#1'!~|x/|4wYLYlMvث@6橵K:!GY}.՘̆t*_ݩhz6A)>+7-lK]Nbs%Ɋ:@0C@t,6l]XΝŶdxw!yP6ozJt I^n$֞?~Ȟ)P1RBY& :d)G_M(`@9$z׳:_ơ5QT&Ώj$ԚV4b&XƑDˈU0}pxKTT83vj~E}aJEf ^p^s5y I53MUc8A iE+, Np59ؠAѹy\(֍H,^wJ;pIWw((f?2 kϏ.SL91 ^Kwx9PC^_Å_ z=t.B" .wFFs;-~t>R Ά+p47"cgXL ,IG쐃}@ۃ O⠛cl3(0U#h3~MtLF'?˃D4^?D-|K! y6S T!~r TPL½L6#Z8ȰGBM0Qo*̃?dER< #2cb=5+! f>Wqw.j>ڭ[ hHO y\#BJwI0H@شiW3Qhd =n"QtZi|K\! Qj ȝr.lu"5 3&1ðY3]3sqKf\&l_:gTM'-#b6+\dūgp\9}ms+t z@#mK>2xA}.(eGʷ} dv/g g-FSO@ c^G<\4F[cHXDu5XCyCǗ TN Z/^.oo j_Œ;4f;fmdl5#<{bGs}ϳ=HڍR~XI1-$76;#֍DmHp~pA怬ƯT#wK'(qilOqeRw9:8hsoe!g^٘!w"3!r*La?ط -i=,kE>_QlSh˫Қ NJʰ7A gR1P0.TZ!qu Mۣ* hkz6HZ.C:Q}"T{ G87cNѯt<&6 s.Nvğ.J>&}z(]>%X#[&Wؑ g4Gh s*zEځ\J.8HtU%/XVq ޾]zBe 6o%LՂ,ƌʫ3QzQb_evDP[CEz !VRJ_M74oܲ9[Xb 9 Pfx{$w)1V \&68{vYv@N?؍C5@o OR?5iRD4'h4fwrbT)쉥Ln Geni6;;j+.!aHD tȴFt PS }ЈѬ{B^HcZ>&3:1{V!)aEx7*CU,-N|%Dr=xECol kJq"UR*f@?M2̯IkKAk赃)"zҔ{Qz'v(:џW9'\ px,6Gn[Չg. p0N`۵K8.\3g-JBAe[\Jv>mo _eF/'y?Q߱5;9qpZCG-[ 2Щ%!A 8@.F~d;Q!BR@Eku]6k23[K˓9S;j97[4ft:I^e \7eϜkMΟo&P1 >-u%š/n1,0}7٥G؋`\ ׫`Np)N@ .bYZm~ wɘM9UmVAVp|{M<(A^dWpx? ֞yݻַc|JB-G=kRPWjeȰuj0~Z&yh(*8t\nM݃Xcw ݋T36:%&Bt#ӐA{"Іv`b޴m~_"BP z wކ89zqW4>ڻb aʨm; *Gj{rEKM8 %@ fE[>o+I"Ն_>PK‹ 6QRA%,F鷇(+VZcu%(UՒ}m#oHc4 qEݧba%]I`tiOHS:%,+@Z-nVC[F?mX&]%Ojꅧ\N ^ÅK=U8o8V7i|HW'b=ӹFJ#n6IF_@* 'e< !6ݝLZ>G[\dE7+%BWAB^bķmT#= [NsgYZ ;+# tZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͖,Ksqjj-h,@0kg;^iBS30`qK L5uԇO+V1oe9~;N7ty#yG=+枎cOԍ=, f<i.Ne]sȘv&׎'u{̂w5`ۍZ[Z]|`&)8 '[kP)3H a\yz_[No{ G@e-xk}iEr҄ARئQCqsQl&\A/J!}jz2ywAYh07A1)K=?짿}S[TܩG0Iа]>rKY )3])ٶ+ҟz5MuEj@ۏMZxD0c( Ek ,{E3;paQ4,(r3 bغRpd WA] cg3I6U'ͰKapmJgcQ֣ $ꤗRaYZK53ؔ92 Nc@ջCs :iT5 ~QG`.ͽD ;ʹ-zk5B: @¦MɨNg\}> `Up˔} ~jqmMaY:855-rvX{X'yzF /!a8y1S118,-t T(C7`&|Ne $Juj1 ZY__1ax ld[Go;l)0߻(:>^BR-NN3 ,8`أNmeC1ACCrm na{I!8WD. 2OF,w>.m۠'Уٺ+f(F qyQ H(sFk<'w.Bg:)t_ ͽZJ+ K EH7A<>gH#zb`XN L)lTBHV #cwDdQO~@?m*B^ JɭAµD5k!!&φ@nZF/kJbv u^֌C*t7vN/}`ޢߣLCHf@v *=p![yy,|OpPLD7qs|g|N>cDk|g@^KMYp~gB}!Mu% YJvX8sHN^hgv2lnƔsfpƇƛ1,֌C %3B8t $XT\P7Ⱥm^Q#?b_l$-OƮ Qĩ:1EFCZ9eI<ZLWPw5|B.I`nQO 65_ 0 E"lu$mXyRZ0OC#iyz8ί%ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' LZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[z}xmF_+ى&\c/7?u_mG /8;qփiF'w6Nn/9hT%6Pn)>$"4T 3mVO+ǙT#HnSbWdF1̬DKeW Cx/wZu/vd$'|T^"a}){1js| ?CuQ@ hv`GaILPI.H@Xzy6[SEm* ӥVwK>W \Z\B5V9 H"RY*e*<*L:s^e#5!咕&W.DނgQT0:%zmvMdhlY'u,HR7_|E#q22<WQeuv̩YӸ6h/dMH4+ھ.@ `Ô"[}F2` `msu SʕFȜ=U jK]$3~4=([9\⧅{0N4?ƪZU薑0AN۲(E%Gތ%ʋX. u-H7Y ~?f" Î :4:#W9XEG$җ7#7R($w*e\|Qi_~b&XV Eo;IgƴnĻJBrv>N'\, ]q bd.rʬlv44ٺ8Ԕ퐞^QSuĺZ[g ?V.eI!t2TXy+[cT0 6gYZ? 7# LZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H" ]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;4ʅZ6od8n{7auuBеj!m'jу#E5qJ cKȬ³w2Aa>I/PUTA+DMTS\kf&N7'fX HaF4WO ð~5٭sT/C{߸tLH Q6~[:.tVT8WGFPxǤ0S_h)'vq'7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1141<+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! A]·Iq n[:|&[zTs1`rlC"Eu՜'[Es"Otܫqyu[}Sq/RU|?+6ӡh`?) ]=bViD>3h/i90iTh*?Io[-ïF\{'F(=}Pi0BUPRcMd 9u"`FAdo=`~u:>w@x0β)ύFgYZAAs6~;Кv#]^!Cҵ-{n1 + [npXe\&_]P/4-WѲ2iC/;WC¨c_V3A'cU1|_m&>MA,T\_q⯑X4+y\5zf5tj<Ҁ'*^ŭJw=+Zeej6Vdݴǥ@QxɈkF;)?DOjX?~*||M )VI>֥H/)I5gY$˜lǦ^D /U{u'<hpP>TP[i^k4cfM+.{ƣTC`au;P4Ą$ _D)>I0{qZ$A!\F&G ݗl]RF:i;0),D[LvuZc#;\UG=PEnR ~lToʶ{9mAM|)YP)[WxE RvWCeJddtsLM'VNq(eWy^Stsp,ZKo 8H(&q}5 >∤7Ps7N]q.]!X-8m5rBJSuMA,k+{ޱM|S|MFë6bPlg} vn3nv|~^$M5V'kD-w3sI-灎]D@O)\V x ECOڥdKF;:ц|Cy܄h+I[yNhpqcL ڼ]~^YƶѪ|؂/jv}AMDg얃ȉGhN'URZlrKܺJdQ!Sy}|ٱ~Jp%obʾ6qJ- /]GH6i~Z=nCb$,CbxYʱ~B;H@MY`5[c [l"$b1lMY XF|K0!>6 qo0BAIF6 z1md G[ADO$ RB,[,^GӁj"t۲Ȍ~`V#xvQb&g(Ǣ!3lr҄zUh/WnAΣH~'G榌fK~_T Foqe+&("9`vtQ^F_.,·/ރٙѬg~+puCդHdͭsPO"# X֏v?ge$Gr#͖u^Y2'Y `p% bΗ\k-;)3ߟɗz ,z*P>D);UOe&94psg $oہs)pwӚQ7r%UxWgnH|whOݭEg?(I0Unhbh-рlFgm p']o4aiX]a8 euL RamvK8+ ňgEGTa|gGE<Xċ51 9^f{3dpYg sTҪX'RQ\ 2{[-_ ;9X9##F/i'[gm#lrl<( +Ti^gH6Cuc; _Ҫ ɉ)vduŖ.L>LoŅBuk&r@SLeؤhb(R"4 m׀o8ۋ.RHۍC, { mYIU#I H~*ƖzVl1iT4K-1BQO eJ뽮C4 :ݚ>F~d`w%ꨛ~/X1WhΣRe d"QʅjfO\9un^6yCѽ>dxC,pΣ9HQ'Z'YR7 vSlbm-΃Bs $}ezx^e{C%?s'dGb<2`-T#ɻV "kWi9tnuGyNΓ)g(hTkHW = I^?9X5|.;ť (}PNWe˕58+#.doiǒ(bT)L8Jwk#壿pGF_p ?ʿl4̴4F:ӚR,:"5&vJagEӣ hӐoRn5R3/2(dS-cG.R٣uHqs3Ղ# ZpVz͢jg,D(j ̥jb͇Wo8mfI%ѧt$ۿ \!@~S-i/dt@PqkXڸMRܨj69>UplpaFp<$l @/z1kγZ>Rnq\]i;"#LxSaęf̪zD $_B={߲~:W) 25 zltvu*{7p?+܇`7_E!l RX)Ϸߤtl+c.8hc17"wch*[ ˠ]ͽ u0ZORПywv*?֘J@ V"Vn*л u:ەP̶H_fVKI1+U@8Jgb_.F3 Yp{S: TM;4"cꔬzvF8R|JL@57QDj̫7QYKpGwڀ_rO@gn8Yy~[)xD> U>Fޫ2Ҁs7tSc >? Qfr8wѼ$n\J ec6 0Iqo #@%qi:u$cTZǢw9&k>Y(Yཫ\ sp}QZF79'W)8=jSe;5+WvզADn^{7ג~ U(௩sNt^Թ`mّLy]wi=+ݮePO9ZтfǕᆕѝ*EVx% .~&ܦWT}{9FaVط=\qƇtjFH,{ki<_HOQ?Y;6Xcl'0߄/2Pd s?nDjV[&H>SMdqzn<+t)H,B?$+|r ;Q lt霋G&ZS1 V5k5^ݕnciI\GsQh7o! ZCQKO$zp$63S1p< _*tM 4FmJ@x еwphUMlҸt߱0^HA8ЪjB3uX= BXjq~Ho3'%[ScRD=c9W$ی N1̶ODjøKՉ (?=6Ÿ纾ݒBNd2A)~140vP_ πVmɅ Eu yZ-Zׄgx?] X=Us[J5Mc$]T 2 w@x %biX=-P6LPr@e%ғ3rٯcQE~  ;sW2[aL5]:p[s叼QyPmY@UpQđR/>Ne6S-^" ? LwUnQ~쥯 G_ ==_ʝ Hģ$]JՇaQvpi`[f} @fL'A|9>upuBBQNgm䙡l[y#ueˠ/6/\ۋuMI+ uQ$6j1 |תɶ[-hQG&OeMGwtEGԟ&J]LLw3b{e@2\Wl 3ظ+_{rH6S]7 7 rWWf߉AA$x>N #ܽ16fWžCFn=[,|S1ܐ:{9!Td6jeeRڑ,K`hydw.F8$u0˯g?`zZs$uOŌ䢐x<-2`[;GE*F5'ĭMXd= vt7VDoL?ֹ}槍Yx(y^360a{cv+n~Fl-a*R>*aߐUy7Ju)Y y:۲%9`Pj!^T~@9?XnON]fݢ,Y!3]};e_ :Sh$2so CG<1Ol?O!_KvkUSc)VaOe[ t <:#Դ ʐ (@jnD_L÷XZ־PM%1LAQ9r؎n/`ιn'Cg:BI)KDxNh` k 6Ly_K]fK`GY[6*aYGΡg<8MpX8_f2[%oWRTVY4;iP0ѡU/lMLD͉.2?AŅ4A\"4[ [ePę*Ov= v{_f:<_k4儋3&zQ/f%b!Z-Bd~ySi1g-k`R{UB^:|b/JDK!x]UDy+&+f!*DS$lc~jm}u%-~R:(u:hG_MoVyfNtdGA @YdЄifLwb!rBnk:TeI ܭ{< uМvT.bŤ砌3^!$Z}nR5#f;6:yJv$eWp!ϒܽρ.]O멲 xqn2jBW9$j $(RծU6Q<6~1 ܌Mtvp2%qҒWO(TI^$jCSrrʌf/N{=ܪ9U+qWKl `H;sIqőn}t>#gY5"f.XxGjtZRi@.]Qȩm13 D03 ׂkh(i=FP@3Nfsr\ sN!fh`v-9ݓ@ޡO y²tE[܆qIh%KNI{Lxdآ{~ ]c4>`9YydDɬdZgYZC$I9t5krLFy?f6`*rѕ!۝WB2rw^Yvwimѽo1ٓ}^]X ^qrKFl) %,vC .N*%eQ;C%[OXE~]m ]W -fﲸUVݢ{|T!m% Tc,֭ɱ걝E@$_a$+o q'!uʌMX"Aa&ḛeSN6yw,%70ꐩ*Wٟ7 3t&||畽4RA|5‰H2vmA)P(պK}gDEe{Lyq-q2$# K3ęٞRds}k!0;?+TK K F/_LM$ѹ{rv¬=R(p¤9]x"GZHYFq7_70UlNs~[i%la)/%5Ēp,>1Z"yIg aZoBUh+ٰ3ս G ruƄ*WQ'; {^C_D|lV_glEX#yΨ/%!ivŬq4hpaGxZ՝ QB<v)dF3a,G01U-`P8DI)QY"K %-/( q{eA7N\LvO9-:Kx+DN 5DZIBtHI*%9M/ttxNQ [gBi\G.(aEM.e<]Ι8VјiqpF&֗Q·|nD`Ǘ;ZCrvx@@*BjW{H^۟5'՞ed 5,k'jK9ay7%OϫM%Cƴ+< J|ƔaT~`@F!y;ljr#eĭ=ZaEˀh_{DMd! O!?gMC&"M0FmrG?5CˑwD$ n*&E/w &xPDlb'zC.Chx89Qd>ES#;?Q*AНYOȯNKd;Iap pX0ĨNdyq#yX+hs" E+|ډX>}R_FWb_QP^#h&DEF/.sΚG;tMIhs#Q]1Ar$skH H8Yd,&MQ,?AM˨ȏ@zlﰬ2Ҭ"B|l?8P hXۏ]~|95jv8X%lG;rb!|ܼs4B%*? ^0)\/y 0~3&8T~#)F^2Zl WW_Y ^]{b;y(uOeXfx B:4~Ѱ .l ;C c.OSN5OfMpO]'6űÓSXSPrZľŜ3l8RaFfhR77<afѡ1#dᕓZ-29a8b|ɏo`U ? WQ~m W%+e P+L~85bJ^eNFVeSC:U8#ݒG^$05+FP8qCyЎ]ԕoT#אYՂbQ6_ld[ k( A%]Et J5s@0Big ޮL)txY꜔wgl&|ԧ0+D[N.b`eޜ>w.ԫ8fɞn#icеgDR cL EPMz6]P{3Hs%ᮍxk+i 됷OMQhs>+ G]ى S "LfyŬA?F& @' 'BakYsZ,P120t!zhhy,fN2툿U;̩ ݡO"lX픳VH/y26ʕ:<Pa8ƣF}?~ϲ ; ˳5X"$ԙಞN"=y*iViv_y$ VE+8j*~CLOPD )E>^9`r>1GS/}^ǭݝ5V$j;p'W!)JVĸFPAvf_dwʕ͐KZ[Εt3 V솲( gXu3MIv)xuaF!Nz*'<ˇ 6bs'a.z5,]1 `RavY`AT)@`\lPzBn9 OE%9KMї|`ri.E5Ϲ}~~J=}kqxC?n[.w15GoLFiOx3s:?1Ӱg'VyPGܓb|Y_S䳒{`u^i$%/"~#x8\\H'3&٫~/`j+b)&~6efv6JeMWԚHmC2QcڏF0(mQ$DS6QaiijT4L§ZSq/4 b+"j (lSut31kTBuԮ%t=.KFoah['<|vJ5\|Xض"a"}Yur~ P_ V"ƭ5lx~0Z>߹_Dr :ʊd$#>Ɵ"O Y3JU&}jY98|Ç$m࿰EdVP@ vnlYVձcztBy[:j `̒NrJ<-]2l&aF|y ghjP qO? %s 06`ZP![Zd8vG0GdB}LJ׍, 1A!OW exf;!h/넬Ѡ Vn1c&,-q1RX|Gj./m s!( ` N {)1 EQvI'lY#&΀]VIݝ9 T.Y e{0~'Í&Z#.qp0Fc50YY,GCez>b<[0i0̔6R"m)c&2 1:t27Ո\ RKU3ˇ*Dm4yt[oz6-zJk&?Kݱ8GPVE&ZV=9RT>ddՕ~kѵUE?-s\ƟT/ouWz/<:;ךH{΋OVԵ"] RvfKxiBvN#lT.Ҏqߑ58TL5zyMRB*o_с9SM=X/:tZ:?]n:⏀tk V+^I1@!ҥTDj>ĮYꠈ)(B4jvENίt&Pd,Dx0<2W.l@<򫋿e04v:HFMԖ#?fV '/7'SNrTe2,F H)3*lfj,]Ibr0ӠޚW [UQǎbnMv!Exye,̇$Ff\i@Yk1%%U;%`Ul:aJ%8Lz h6"r̸lYdV F"7[Jm-a̜EYv_DkAF52$(ZLMnƠN 5I  "'lV܏wƅS]ƞͨGC-ڙgӲa4 0C^@[Į-ʛrٌ9b[; E_i}B.͕}#|CDuu.jt@KI! iV-2SDΒJb#M0̶}渂Խ%h(ʴhLyk<Wm£phQ| ץ0țSk/%:v#]~ ?<C,ŝh+.p *.Ey\q!Si8F(7^?49o  ο"ԝqt y%xǙ7,͝/Q.ΆB<}ac1hP&<_ŗ? G oye8U3-Գ}|pzKmoma|\P"`4 TKyU&Fh&X_;Л{,pԪT9UP~Õ?at0DcK H|WP D?`jʲ4Yp|E s.c0ԙ~v2Q<}] h |(6$Ь;^቏w~B1/ Hhq}{=CƵR[7%7_\:D029oLx"9~w,M}@9st{%tӉ΂:!}B(|A݂4‰|2]aWQ9D{Pҟ*hOzBOe}vhQ,fn?:c #b/69OaSkko9_> 8DXΡgH [Px M usW{%]kR=̐}R_8u6e+f sccAZ`y_cg|R? @R%T*W͋\By7oxYI*XCb+9K-Ox.:RX$b8J i% Y#Z;=1 T$&S'ɟW?g}3ߞ9"=H-; C̸tz6m Z9+ߴHȷSAZ=L5&H'D4c@=F;;x D\0eQXF ‹vt\-}7ĠC$Pme|׿N5G@6C;?˿Uؾ_PMզ Uac L.t1雚ϝUk[ws 9 Q6XJ[eԾr:AvJ霉pP~б,A.𰽒[Qx3Qp*I'ķ)yk 9kæYU]aԿ cp]+>~U9{ՙpks6k=!\Zh%j r+7*!sЙ:E|jtPpcD!E) 'yEX9א0qY2ũ|pWHFb1+,KehFsYr! [-gOq*$Q 0Z_2MZu/ p >7ey%%2EjުgYZ ~ -~?G'!\KoY--鋷.@‰i/o!>IZ@b00 EʰD9\^o#1PV" DO%By/dR96Wπعxri%  a3lf&Ce!5@n5ݩ'kWA:^m8GW%'}ZЄ+;$F_m'h=v_Q؇0:'_ʺPvWNt&^)<_X뙐T^AzaQ!35̞ɮ5q`n$|ڻ5[(3!{Gg_%7d!$Vn6 MKE0m('d2CfYj-fE pB$StdMy6|o;M c_?hIZ la}SIN.3GPI/J,z'7tͥ4k4V-/Lynw/@b\rK繠Ŀy4F{6Y(P&42wt%{祪e1l_) ˙LY?t>VpizqV\HeTsĞTw.Y躄DZ=TLՁ[y/'s586m"SnJgtb0e%]-lr"nb~* +m~`~ 2 {d|BF\7d-R߱Kz$@6_"`ET[+a"XBuȭOJ˹rt'糦W8eWtMJԱ;* J2 %R@w) S$e X͆3i&#/)*NJ1/1.F.V4r#!,gi$OX'UΊj^ FS1sXv'@SH CHlQ8\fҜݟH z|fcYM;~TG 1Q"uU#iutq$Ӱd'Ɲ)r'(s$|ogv>J$)pV!+a$1YigIuT/X;4VHw^O&x#2ndѡla]#U1C٣+w4a'|0jo˂ka}V=o4Xm`qNԈC/^=tVЌ,U,5,o+3wVЁbObvGoןQ72PkƆeDTWZud](eP`x zgYZ :n:2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlca[I'' lZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂN"dfQL r<le`iu\rfOp}0 Y7w^rzNVu3ύ4aWOƛgG1`}cpu9D$DžHI/hFh'i} hK41!])zٴV} zm护Q9x.b!b%3zOx({m{&sҔ` [r(gYZuH'# $ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗbDL( ,n^<6#" pb^mqwzAlK/Q594S}:r9uxC3zk5Ot2?n;|+ɈfP /X 3W+ cEhq3MdYe}W b &+.LK1|Ku!scɣQ ntI`Y@o ;䝉* r>fU[h1)wGHTrɹh=/@>"\޲L =eNc#aMKBgZؤ2̍bL4]fcP~ms׎OY4biy{c̓"mv+۪'f@}fȺL$(:R{Z1HйN#f; ME]><Í֊ܭK t"_'q`L2? 4r(A$'OoU(F->Eq}x ?zO?U~3R_0 CgMܿcb²P+op z/I˷UWKBL㋸FIJ,0 %/VO.<(+mo,!j&8Anj`“tp,>6R^+ #T,e%J|~\Jp^"bF\[/,$[9HS7DcYo>KͨDkຢ3A?1FܼZu:g`:(r9g}ȤۛE U[ՙQj^Z`j jp~_ K٫O#ps8U/HK2+V#yHr~AAg̕bJ]B 0p i>S?x9ů[$ٖRߣKsa]=>nnoA2 [Z'fc\i\7d\>[DXpZbl5Ν<K&90HWOR ^ۻ<]%(B 1!E# mԬjumwG5=GtpCjmP_GCZ2HwBAe2gKƭ3UyߨȘYCBK*'MA1zb1G,b`BfAt=CaaӫŢ&_ B]lWd@TɽQ)mgE_@8#M}G72  _Lw͓[] FY:qJ7gWqqX[|u_\і/ dž,Zf~/F~p&FqFF/׋rw *X^j DSIy˳ ށlӃPu^.X:9}L-jW?}-&I/L3c0L2>B돞2~,hyߴXIVEć&(>OB\nY8U)1Wy߲/1fN?< 2~?ȔEg7b5wT ': 0I~IwpGGuoCYJhz?G"))%'l[^9I/gJVW.AZ-5 !Ӡ}<ڱAhi(ZR2l)XGNp<7$S)CYTWV+lo]} ,[s@Mw=X9gF`5eh]ҁQ -ǥp8d.i 6`MUΪ.͊eU;Q/ ](_>Σ7H IF=H/"-|kbA)t)l]🯛%}-vٙI /Sn_?VfgYZ %%M+# \ZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o%]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CQx_0(/hJcww%oK RvC~:-|@ے/< Pf$C `'q_}C|f u\˧ľl4x"ț4!ר/oc'?'/M[CY^vqխ/es{y@7D U 5H9\Lh:(%f{4Mu7t^^~CMf ;/FK̓Qs.*Ef;uѲ~lrC:_bs/ jtMPE~D"@= h[t+h@Mmjb:13Vm~F `=ؤ+nsww&b`\vy 'd4R`X'LqhoKrd'"D;!@]nן3=^lAG7<`m{3h TwqTm(Tkz}>?C^%So(\ElF)L>q?w4kb|gԹ鶘gޫ=QF}v> N YF%_0#GY}Up,=;ޔ=qO8 * S)~L.e׸,2ߢ/y,%85!YD^L׾8  ;-:G@MN)yK~v <> 0>}Fջr٨H3,d|nܰBQa=3>3zKT^=ʶw csGsI(N >GP̚E lرcގfɞ WLfNj_D&;U}36UX%P&[lm]BfINNH}SL&Zlx⨣wbL`Vhs.YzS}{_`r4{V 6tG)"Y'o_Nm.=EWνpraO pix4A͌#kA wBy[n$k[r>p57 H eM׬qf^,$6%F\(E W۴|]Úos熩)#*!]S?LPcԼW{ }Wd텗Y IQA~aBgX+xHDO"spFy*Rae){{g11֩$Q F>(곓6,ёQk*~@.d瀀WQIh8)[nU4|N)#/&T;3~{ ZLV^j@'2dKBzLujCJ檋;ɌnsU&|CűCGx)Fnʎ%m͒LVm"ˁ YCa/kCu \=hRgBd6u0Nu9NL+J:7 J4ʯs#p]T]IsRG$1tZoۗDeiQ.:60+}Z% `TV^04Y7qbzMIFȺ¨JAL)ݎ6{89#z?5r?d6pB58/<>:sQ0; Z#@di(t:'Md6;TMÐڒz򩀃)Lc,?f2jc9R`p6PAfE[cŀ]meX颐4ж.J3sp-(CPz'z~].h qO-)G <̈zdRgC®yTS hYBg$D HO|-]pc;bd'ks 5}K3-Xy *4%Ic01e@] W0)Su2L:3xQTg"xjvu18 A <naԉzZ \$A ԊmۻvS qaiP>R!iN+ $|_{J []FOCV5Nv 9=B: r{[e#~vgNoQL]UZ!O@`3iYr{]J% )= g91ƶ~iSͿHB^@bY\0*c{LL/lZ&p !W@20 MMH[-"/ 9Ҙo2ۮ%#τ/J]m*1q+jkQ%гB262ARZ _d(ΐc,stm|-̓?\5 lco#j(ôQL (try^j瞯nse3ܤZy*;E.WHZ:Q_y鉙puæch _ aӃ7Q /#9ҽ*b-m ]!ӊ4Kt]ۑV5ӗvf.ؒ~Cb@CYWúf![wqR<_e?$bO@ ``c:;z}E[ d;A4Ylg2oA Us%$Tnirі0QօvSi9V_9 h{Xt,8B8|O)2 ߮'! csJ G$9fTNET ;]_yJɬ]W5@B멠F0on8'a1ДU;o {}0I+tx#@-mޟJ2D['@p6ZaWN! I茒j Kq:z0PQuk3/r^/c?SAPڨjo!m}4O)h6t)G`EsݴZ/ V:40qw9yEnQr 6۫mCMj$,FpsHҨ~'.r΅)G?f}'EM8HEΖ6d!_L|,H`ڐkԵ Qulzle:RJRE S-F{7 b֚7R'ӡ \|C@CvAlοgYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4