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 %rSGJS%MҫNFk'U$#g{(ZÚVlz6R+$s Iz6`^c ktRgYZ7zXZִF! ]ŗXi%:nVݿtwꄭ-uhﴛtV atD<,%U荪Z> `EAY)HsFFZNrحCoVjgwԜ蟚 JJ܉(E !UݲGG<3PD`恚9h޽$%f̙+fg-{TOfrP-w:^l=UW< P^m3j76X3pF3}2ri1H(auo_JCä<] xYm!F>0#㉑Ӿ> ("& `K3$UKWD ΄9(aWp踲>k2|k_,HK@ڸ)_E!Z=~TJǴ+Wn]Qg}ۏJІ$nkv\}~pDx퍴b.Z$hpmDv"!NPGhzPEcgvf/W5*C }_AT{nH²w9!(H:0X+b!%s2?-%c~ `>O{2BE\$7@ :(Ƣ+yTBX-dpr12;H .'nqrr:҅=zA\) zmnSu`GaA<wp:gOCz= 4@%l1$mUS6,f?[7qd6т!gXTld ݭ@\NԠ3fs5(CKT݀O7QpgYZ694458a09fe79b2a22873f3f622ff1cf5560c78c334e417d7f04d08dd2e235659180091543a44765 f0c14e918bc689a8e59166c6e3cadb54165d0a26f67990d8c5bf5f76a37141faeb1ae4facd8d4b39   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;<:978312/*-&,*      O* ` b /c@Wq _39S*  /  x O % vM#  n a}O + u J4!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 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex-)/ ZF-InductZF-Induct.Combdocument/Comb.tex  m6QLFt2;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$ Qj 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| ^>-:IgYZbچ  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 / /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<ڹ7S53669$@_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`~`I ;;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 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?ܗ{: 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 d9? 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 0 0R 39 -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; mrgYZx )/ ZF-InductZF-Induct.Rmapdocument/Rmap.tex7zXZִF! 7E]A-MՋhvG"uIBm5)F+v ҈8T?B5D`˧aĠz- #zCvw11n鎜4A]h"dp\Ra 8m>?^\ +;Ƃ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~~gYZ  7= ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex7zXZִF! ]A-MՋhvG"uIBm5r${v2_ET;ù5<[{2r5\mn?X=Hoy"β1;lMyw2y邜l牵TC0!ss*0xI5 tfV)F-mYVsA}I^sG\ R+]FՉ-JSjUk]V:IIXZ/*6m2ENm昮h~ 7g}ݪ}`2|ꪅIFiP݂P,yM\6V xndeCPS,vQG_TZ~֬=t#!|Ҳ?KJI?m1`)>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{+(gYZ v v. '- ZF-InductZF-Induct.Accdocument/Acc.tex7zXZִF! -]A-MՋhvG"uIBm5y1@kQIrlFLMp']#Ӕ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,CxEdx3|˥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\ gYZ0TIQB >?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*XnBgYZ  wA)!>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~/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'D'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 ^)# tZF-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?UeQgްaJǴE_58H&G_1acnWjԓ[I$|rS5 2.pu۬*6RvmtbS8Io6F )/KMKB,*fjSz"e<(4fyӛҼ@\ٰ06K%]|M`҆?+5%UE:QXd m^uv,gOŐWCgĭ.QTa*^+hAG50{v od8)ȅ[1- Tmwf*yDaЀ)#uFtem}ERN?p(gDAo7&K86bb`S V b)2oDVshдn龇#h;֐~M0!U*Ai07٘;$=.E\|!(RMVikc&^gYƇhV(lU#ۍ"19YR`rh/)KƇ|ך!)Z}߾2h=+I}bFpVM НMku 1QCx btuz CFxDN6ԑN : `[^sVO)^yQ4_BNQkpQ}."ڽA9^Kc7?)co`|KuDZ uG?O)Fdv4TS:{y:Hl4upk69Irp'c`k=lhsO5A]`lq7j,{NڠT8+b7I-FGWoMx-(X4`2Z]Ļ˸o\N:;xWoq6Չ+hwmTč5Eu⽠ބŲ:Ђ.`s9EK~Hé*d%` #}y 8 TRwrvW :Sk I:= 5AboW<%iѤ{hB.i;-J(? Jk|PE'o4>)2`VckLj~W14%婎FL59d )F AJ+_7މߎÚ]>(Bit#EYGGN@x\6ILZqm_i:%N\rC{pCA ?M>!3P( kd]%V{?_-ތ r#Z<dL/8<5{]YؤYʠ jtzK&雞# @^S -:D ߗ#g.% )8&fD8E/hG tMhZ(Ȥ꒙7.['DIή} ZKجN|qk]5H.Zh G#5c Vڟr^kwn0nru!F#P0T :|5mgR:mQ]QA7j&T7]6O9Lh2u&YWte#BU;M}\#D4b2NdFR-EZ )5Mlבgkc|I}7׌;UFf޶0bXDUgGND#s:zR%RnIK^ <0Ԙ-6L_JQWp\r&BoUe`?Ōz" HeM6v϶0˓[SG]_L0w%NpH ߼S$" 8@Ud̸-f"a{;Vl$=׵9"H Qhfuߨ9Omow[q1Vwx? jޭ4:$Wc(+Sh &V &oDU2!~~͌Qh. vK"*{-GzdPÄfyrQ@]pS'V?vtÏNae97ŘzU:߲ 42֞Ble\7,3&1hT/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x35*>L; >wgN<x&Tebnz\pV b/AyMm71__TmRl:~QD:J ^bMf"~b|``ՠM -4hk~zK_K#e}?*H?[R5D4;>4|jRdbT\<Ȣ{C7>>X؍ Ka1/Q̝F$dϥDi[X<u8"MD(?cؗ9 י{&> Gʝ,cm=a*Q>\.up>͚24CTf4[ԣ }7ۛNVr:pWeSku wF3`E$4W^5V UAK11S4]-FbDւ0 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}E7쌳ODƾi9ǫ%>a?~y\!QrlwRxgvivWs/OI:&u1<^FSRN"O-N\vKƒr4m$ᔣ!.q'nd; /$WDާy?qo |c6M4'7PPS/LgHg͵! MBM{<>HrCW}Ѕ|O86ب)*ܐڱgYZ~ /# ,ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 2]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9B3/2qSFZ<nQGRN$uuy;>v[a2邊>0 DdzQ^W|V %Fv'6}gWU+,[_@gEymY^?<5&Qfm ĵC2yQnJ$>LB5 :n/})^} hՑ(,X-K(瀎+~7!VY}P7`Conj~u jB[cVТxxSUdMdB7Q/ۮ2]Ej\=L݌,Aw{8,45oz"르&@_6Ƃx{g@:I(a#((=wG/!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|I.3hq7_2Lae\e0 ҫ,I,WJW4][D!BqG uo;LGEF)Z4Dl܀W??J˘-$jxh@X=lH۷b.PNvܔtccMGxaHN^k'\hBݨ$?qvxv%9;<,*H>^~.M3\tDkM&hY{OX -;"~j&n/wSd6AI7?T.#yGc/ٴBY-ѕya?WC~ԂR)k_.4kÚߢ-j3D#r*R2vvz.&ѯ; SD{YpH-DH=>ǥ9vg'kj7}YEVLl=1v" Μ)hۤf.[9y&BFd8/p83gRRFg#0`;N+S͂`0FWb&%7U!v2`{ș<šBWB1!b0M`ӔU$ݑ8/4r# Vz$0ɌHDazMȐx,mu m$H;,cE0/#]ڼ@ 2a I5BPHbM;ϗj(^Ƈ2 fh.] \yBŴa{^ fd#iŇT 0R=#B6%y]2׿{gf_ss1e:$3#Rn_1* c4E}x-Yy"G&Vs/fIN'R5X uŪc-/cܼvT]~v/'/.oyWoҭ$=:5lcˍxHxghBixŲ3)(2R5X[һ$:ʱĵ+q<^1[ڏJy'Yv51l>N9-(Lz MJia+4R"tja\1pu!R9B~QlhAo @z0s&v2ۏ1cAdd']Mo=j os([*,2 VfHeMQdJ7j샠2VG;Fn}*>2=o܈  m#2^0|e Dvpc$i-D[ҷ'ۏ,a>bFU71pɪFO5[ iRP5]\u\zs}=)Em3slnynu)RQؒJ]` ޱN; | p.MƗ)D#Vtև!\2sdLg:Y\f*J>k 0e v{VyfT,b QA>U5UKDG)Hl,`&IA@)ws0#qs9kg qv]9^VZ :C3}~@lO>£w=-F(Xh>ݗ6Y*[Uᐉ>vKY8gQ%T)J\|L>pk@ ~qʤ M7RCߏ -E;Dջdz/"ɰI%DAؓ4u`pȜ# !}Cuv$9z>^ ^`50RH :s>RsM1)|R]k\, ? ^f5c7[x1 i{8/a&OWx}9"u%k-Jt,ClN6Vu2fC?KKդ<5Tm ;!\k@;5JvlVlVM&Ɔ8vr6y7#?1ߝ;V *{ORPAJI#E q>/ \]eH<i+ JZѠD<&̠Gu}wެ NwTpgjs͓iUc;Y+2VpKԐgf=Vޠ ŗ҃nJ0!{dtmeGfG )HGDU-0(1ZAJ.Nׅuk#'?\n}%l=6ttj>猂C[)𵐸q1VYLK- U*@f}^n7a"a\Uعks9H6 Uۖۻ8•7OzA?ޣS}i;Xs~ݤ9+C 4e"/kͧ;qg +vҲ8+ XZ0ӱeQ| x48V iҘa^=BT/$eX"LLO~(r.m,?mo:<|J PTz(; "۸x,Yb5JɷhqF[Q+y4d397.Gۤ#.9( ,iB=k"0pGNG|tΞV&hJ8NZ *cڏzos hq,ʟs"7{ur P2Xq,0Ŵ-^S~wqZ$Uk/˸9N-p7FA 0ASe v j۝qBV= r( 5yDm:B<%H+*g}wOa>"x j{|nIp]gk֯[ltC~cV$6P8?9Gi3.FI7M$Ux !6q~:ƹ,595̢du4N|Y8uw?^؟/Zloql¨NBQ)9 /cOtR)e==&hrսksqqp+=M¯s(gJsP@73=}Mi +FXUgon\~$fy~KqQ?~5xn$sɵcTR>P+GVVëhymGC]77\DžLM ءaY</C涫ptFG8%L`OR͒ìeimނKo˜^>vL_KC !+/vXCǷCߣu@fЪ.hhX%Bir58v+-iۺ1aS1JY_iX)Q!4Ǻqߔk|9D QUuE"Ѫ!iǬUgF\IWYȶΛk&E,n14OGu06[.",,5qc P6eȭlb6,y~Gt)ɸvb*om σ3/7{nX 䉸'|wFc@旌VDv#>刜bU0ǀql4L{Xi0d UwFяyb:5QU!ßaGM~e(+УKH+QU qV} gUC'vo+IL+B<>V5^\cҠv-ŝ5Y-:2X0^9)h%7=BD?.LK5UEE!7kX0_ed|QEq(.O7L>ps/YC(=7,Bf塦A҅"DEPh=-ES)ز7`HNw yXG =Ep 8'z'#Ggϗg }ʊ@V`1VM wZ(`bPP;Es q=VR#1/h)r6XiD]^w[%ۦ= {O4a'Sf䪒UL#IYZ.`7dۙtIMIΉ|>Y0.sΆ FeD|Y?ca@cQ:X8,:>:xY Tq"!!m^=ѡMi /B]s/ql!k FE $,E#!jB?%({ށʓcʔ;(N<68)3er㎮#lF@h jW\2҉U\:k%a9fSF4Y|r"8q&t6(tNτkcbF߮L \1R swm?ͤ-t1x6O*LnUX~<J Ĉ4lByT _#PNZ6il{}$|1kMiAO91c ȴ2B~ =sc0\UDwzyyFmc> 2bFUX'Y^%HZ4k͖~@,,c)>/挚ftt7KQ8:dپZl>T,ֹ};ymm 1A=aћF ,V1bEf!rE&3snHt<#I}m'Ω Ԗkp}w]S7@ '.NwѡU?eVC"[ϣuRrfnpbzͱ( YRv/t6"=F/kM22%>{(g%Jp]*J́Y^XnƯ$q%;-ӃN"7ͪ7s5ܕceɢT^9fmЕL $1L:эM "`mo)8F9dKQZ8Ա93*g݊T3wЯi?8U#ψѠ)S1kA76e襽p{3lH,:~Hfy}s@!w648r^8$45gK;5Mo*?5M{f.n&3Sp+o.2LUws#NKBwV۩F2@W 8t@Ug$ (dTeT/*}ӺZ)h6R</?ĺ `I0p=8od-75ҨK-HE#; A?| a]fEb4e~C$+d#wG}F֮U;djTFgIp|Lĉ Np.ق7a"1'D#MA;ƾLKdٳrjSJNSt T}0#:/,@:ʬ=2V@]d#N-yfó*s`d.vk!ޑC g "pptoUn]0-t sUeDvh@αӭv4{O vNX%2[ܵ=JZ~^hnUsX{ N&WEA~|(֣?6AQҵx;? ( ~^Kvh9BG 1b;nThtKv4"oK\C܌<}ܾdiO'1FWܼYfi %s/%#+fo|V?pp04TM&Ԓe0m!6/q*lչlp!R>g_urMٿ/IM21 I& D)g"6\,HґI1?.";Fe僊5r^mBG5X5wΪMʑa2a~Ab;bjE\Z64*PBC7hI N @S c7Fu0 1H(c_s4:)%㲰M[ ,Y=ǿN츔zfv<1;T[miwMyΘ߆V IrFSj) 4gema7 t26ʬTZ':l#U.WLܧɂQ3喈z e b@~cAQtA;?W<T4{S]KtJmYYbwR+Bl@`cuG[+aG%bC<vkPrQ>ŹǩIx[`SJjitЭ|u#aGU+_,k+^}j;rU(e(o=Lrϫ\t ~?a–qc/n mC#C1>ze]wiX6kᏝh,{=wJAk4t;Cfl!C/V=F0 B xf!/&TP"`yHChr\;fUΜ̌2]YaO] P<.Si@e55FkVK@&y6PTrݨTH-0pJƦx)T[µ%H.')z|A| 7%ik2Hz#ܬlpm5˚\:d)ATˤKu}² eMHW1/U.cerJ^0X7i}cuJo]t#_Kg f?k+`{W,OQM:ȶ[ëӏBec-牸9lx o N좸Ol_3`owGm `Zu#AL Stf-ڔgpHxiR(?uuA84}a ih/:1<(Fpf_e598<\\aHsIqތW3뱫xk\rZ$7FT,a[JW?sqbHRA}by{#fX P&;tbL,W΅w9AP]4I,^u,{CO`9^(Dޙ|suĞB9khkPYFY2(^P( Z.)0^xFYw3ut$TtJ.Щ8 ڔ>F:O.65 ܅*ϗ }V"ʓ0JR1Γ ގo:`C|UtGtMoЌ0x[$:ԌЂSx^>mlTSEZߚP{N75ӿ@;͊BX`z受pDaYlK9U ` qʝHXgK"6~pNHM[$I1Tp8 \d8չ }dL^ -LEz)iI;"QsLj#]Z xx>[7}$YZokD>ԳޠKʟLP1hxL6j%GVkV<VеrZLvQkƅvhv9Ӄٯu\ 9Dr/lgH9 p0J}v~Dr̟Hvx[z1rds䙻a qe&Ir3bv euUxuy~0ºmT؈KAҾBNbLU:7\#DQ D*Ve&lIaRJQ/{ݎokS{vH$nxG9ytZY2ΐ v jŽQSM?4! ѥ)bG81e TrM +."0-8F y<' E6lK&:쇻k3ޖeYb *HOnID'f.MHGaӵFϤQN=:>7t噐XD.Y9/pAvHA#)^^~|0QAf <{=6LKXT~n}aJA>+1+[RUrOo6Sj@ђt*N:n#YogX8ֈ!bs aR7xhīsp GfoІR{E8lvR<4F2?9 |} gXtlrz[=Ŝ<ŘnPiP"3]Ќ QY)[ftZi2D$Ǽ:ZL1ն}++>FrbcPR+%3nQq>'}%m5҄Oۇ= $f;TzT#Z2{5kCGr~yw`ja,l4J'`G²IOL"cU H7&r6z9 7b5,7e)s gNN2~DŽRʏ-Ԛ^W75^ #EWYGtաZ~z܏q+v=JAH4KXԣɜMjR$c0zum|ðBgf꼩{[mVz/ &C$חcg)9%Dڰ_bB Vo:;0d^6oBO[oEz1TJ?LLө$u)7׏qT.'JBDܓ+unT8骂cP#4%ؓ.rĸ$\ЊOY<~ av=rv=)%؛`=i9'-/(h#O.UEVI\rLOJace[ j S8dgYAUQjRd~L'`Eqt9axѶuN:mzugR'DTog%^΅7@chphf=y7w '8XӶ<&&xrmخ Ƃ3*I>x[*ʰl#C"`ocnAEk0ߎ4 '} D@ю1Xrx1}KNnW<}k@f(9Օx,Ro8g)x 4F#urЭ#g) 9h ?d  ƴc /F8Df Eʤ|żc;Vw,1s,ǩ$rj4\ %6K?rŅ2 Q^1~]JH c Fļ. |'1̳ eMbDNҨ*fdДq@\N/\Z8 D!;wuiY  U8 gڽC5I-mEPY4' ?yV#3YR_˓=0J+=?ѕA*Q_qll:!E  פxlQ0ZPv̽XQUFl?*3 tt |G(p7A1l2Q߰F-|SA|h)YY .ǚ~\Up"yY-Uo|fϹ ;ίI*جQIgFLQ5/A p Q Hf1dk~(MYho7 2JSe6ZNYZ,P=>^˒41"7;=X͚&k!M^m`+4r[\ŠK@!E?ow QT#>R.q]0t<&C]#IP{4P#8 ˎC*70q螺`CޣuMk1VE({xA14}ԩSP/E:w˽f@udƲPiYdpO"@,$g-=L4+NuR=!Uk}uZBIO-RkO꧋"lOmcv&+c?g Tr#J!1 '[u-?ڰ9xI._$2wۏ(}no9>?mm{ce{6p$oԁk 2 >`I`8ǝ-[WOajP{Ud 6ͱgYZ!5p2g}ȇRFIU*<ɞG,|O}2zkW:[3Nb?7_~Yj_3PDFP;#鵖C'**k/ף=Uy&oUJՖ!$1Q2wKk%}Ha,:E4z$T4O5 De"viz\_;RLBțN⌮i7!ġ3a@O]\S՟>o},I$G{Ş?9rgSDlg9 `9v3-[ v3о4Ә@ <)qP@>e=YWskA= H2N)ϋPth*ŷOĵhݡaru{ڥv΂\FM7QFT;~034 y~&`i+tC%[Rdt7W7]r9w=8Ґ~ qR`c/v58c5( 9Q}U0':~2*bmSiT3bS@:(sgw-/d~J=|AxSO~n@D |=,|HM <ضʐo-_DqjmM%e[no8@tX(W;gnlCiP V.A4+t B@h?,FFgRO6ƹ}a|wL\&@6F1zB3;W B@:`P27 lmdnu6`]s*w8;_hٱgG)SKDX;=U`sM8U1XCP⒭.R¯I'@_#bho)ֵOA"$͈|mzڍ׭ $Iߢ2뒮xNEWO+pcu3#D-qpGR6jp" }3xRyweS?AF陌;!p4Oq3[C+u74>7(#եPg_L2 i8ӵQBag%pֿA޲Y͌ d[Whf#zPc̚H]GfrD#l-LybY>i%mۡYƨfg+krw~ºN`uQn@'o}bJlг;5´P&SdSHP0XjN6)G x0!iVa__߇n<dtgo`!:"*YD#H*[6kզЊmѧror^`&==t]+.Y*'w\g flHnmU39o"~(.8qk,ak!Z|8ns e~$7&WrA|@Z *(SRy*$HHԘ=` ia 1xD!PLq^=Fs=SMb ,I G[Ku>륁֬u魾^:2# , ce< Ay_Go۪ɂCگ7cav}Oa_TY*/hs/ $?-Z\V$TV+cCSOCx*\!< 1`4*vZD>n)Ca1ಹǶxUۙ &)g#~M͹&bg7y녭B/<SԷ->СXN/C˕n .V}Hs%m3;nPR`Y(GoH⇻Xa8'!]= UI_OrL|:(wΡ|{F7.& ƯRk_1fRMYdԽe-3NqxՋATK(H62GX_HjFŽ)KzX p$:KJۼh΂=g-ms]veoEЊuXAvg-y|V0M~; {fVܰ~WJlE-xVV/4JS~$"8n~y`POވ1 v?,̷m {sfqGߴ(`!O~|5',xz+^EME2dv$d?db%Kj3C[]NlH^B}Q-P tĻ6Y;! p[HnE>q5ߊE y;fFK@:!>R,C4B|"b԰$ Kcsa}9X||E-0ig[m/}` H@U!usaݢ4A:NbXiϓ $EnC0vq5i,FJa܀$"~Xc{DVg2@JhT|n EF| n%G5\+8줽9u߆bS6JZPγkHj b}YƘKWw)P"%A[K?Pm(@|4n?Ô4`)x#Ywe$;]+mzÈ$ ʩvk[jbWk(h@ՠ-jKdы)pWދ6pu{4ssWhXNw(&ԛ 7$1C5yp1)lbw\~exi/yOMBg=bw\d!*@r>u/-6Ҥe%*k(\mxbakH@BkV(ղ=ٰ4!91trd .[4t(f;@A` eDK9s<9?-edQ:^&:A}[tfP#.'.U"R+xަ<~80H8A)c7Dg1x aNrã.2}0Lr^sZ3-'쓄w\8UWWt͑SOR]5rA 50RѤ4 wΖ0KmU[D㦌҆o-)BXǤm.-OO0jĀةuRUE s6$rNUmQ\^N׮]TMB7׌_ot‚'eݒT^JIKgm <Ͳ5BH]0*{?鹌'jGQξ"Bdy?9$ϫ L5UTe׺Ek{?~sk2 tkq$vxWځi'?KG/&,w"zx2<;gHo7 2Ԑ}vl!Ȉz՝@OO0v,u$3.=WɑSx/IV6ע׆eoݠ:nIgMvgM4ib-29N&J敱9lw2R@EPܷHV`8zg6Β9̟İO k!Bqw'J^BYgO{ug:ls_kҜdp>D ڥ$tYy(d'z5OLU&ӖFqx7ʤfAm7g4ucX4"׊jA^A 㹛87+|G"uzG=ơdse]ъR{RN rST8ے(/N8.3]mj6 I/i('~vyg+1Pۣ98% W{ 0f鶔—_{#&^O //c q@ . _,'&+oŚE1.feHK׃1TlB_j혩_ v&Vtp﯄j&-F^&TMd-ɕ@_ JBA&{_9?[%& hBg&RWMIVK^ qQ94')7ʶ/X>1h݇8iu XmGBL y*! Y6 u{a m jm俥wVm16Q @i&zwvV.zͻ8{yOj';aJݍmY/xp_R>R N`s )q%$-AUX/\zjpp1f9+QnoV]iخ(=jԑo4,z0h%XeL6jp>&c^6Gf,/ֺve^혒4^8rY8G9=5EQdn ЀvO 贵M]L8ya'Eu݆ T@J9<0Jk *~mMi.o=x5J28Yۈo/hAh"::Efm3Ӱ$@liJZ ޏqA5Ll8x%ccQi lZFNJ9#QP9e tn=meWtF8^ؚ*JWMEfj7Xe?<\l<^tw*wh: ~9p-;HrIXDj}$Xf?Me_fo6jǃy_s`f-H"A +.s$W%ٌFvR=p.;j'yWu xs(pbw SVvs Q&+8[EJN*+}$* }Iw' м@#ƂiCUv4Z/OhkST^ٵK5])w# ;5 V뇬vUC;*Yi&뜝_2,3#B,38~lj06*ztx icXfXbIǐC(R@e\J͋ۈk∢K[c vN *"i% ϰV1jS7Mb]p/͟g1C!.ը- Zt| Lƌ4lׇ4Q9km+@*B&dER̿Oq`{ *d378w$^)9.r\e-Xu0k`hD4-F 8~ Xi5$lXkT24 ^sy.*z%;|L2.>bghx^md |A]s7m[J24&c +EDC H,!u(-ZGu6TMG2Ujtxݼ9Id}to ##*0~&EjhQPl:knjG&X$6Iqthn!hsDZY4JT>)Fn>J%$nR|EC-ӽ$,wqS*%\f.'(*헠^ewq\9o">ͼP-t+{.s2xUEnl+̖J eih̢+asL6$qmoޑ gБzŒݥTlHTht0[`WMxq^2VG*+uQJrJ,$ZjKb鎉&T6AQMvQ<)Ua^\pt 5hN4--PR׌QCF"`1)y>}+5! XQ68n3#s+虀`c.^2%81D *ȅ8K)~X G)ڥ-|.=ZB]P>o1( ڦDG=q$k%1rGʥ[h#y rD@E:&g5c4sP%}X:ɥ|NR]H>!;#6&:%]c cV="6ߠ|A߰'N=xmn] %ݟ&vz&il5!/L/HXcߓczsJFΐtA >XhyBK,d&.;kY>JLߋj(KqJF*TdQnKRԶGf}Wq\|uAVX޵lP`ȅ/?\KfDh|\a:"{X(blK 3ׅq} ,5JXsN"kݧ)2.v]RurWPL^C}Rݟr^,u6Y.G@CeJs(i42Slfџ %F6~C`/RvFxjO76eYZ趇sb^YX6?oE8b!'^lb} U=Vc#5=5&u}V^_?Tꈗ楓P_ArCkF MEEBYڿF+pYb&ŎoK-펄(3.D۝rwZ3Qv?#OyP!ʁڝiN>&,KӼX[LUs3;)Y5!*͚W4L )㽕հǦO~Qb9&Β}f %'"^I]S QXň.E;,O8(+ 0B)ENyBeyzY jɞ('jM T2R8CfNܮy*tMָm_HSӰS euUE> TмosCrnü>NE ct-> /hɺ 1X8v (v/N,;?J>jR'׃ATzVzRrGK;.Ǩ1>=v--ښ%hk&q#g% !*PFo`/ =h/W6 Kr<<KjD#M:?ipL[)6uє{CIt 3#KT&ġ,`^ ADb=h&PSgؙӂbn >o̳)z>Leʷ[fiyNF2.^0q(6 naXj52WR/Bx`퓖$[^^vJ#y1?LЭ7/VL:c/2/VsΕ\eZ&5[K ?Sir'}\/:D?g1X[][uH\ EUrwIM& IvTK9O>nm(5E?(#a~IkڹPZ:ha<4M3[*971<%4Ā2nQs֚&lۆPuyP蠶\vHcq86rRFYb:fV3H5p<~ GUsSFX GyeUbrQ7G: CnTQQ6 G(3V g =nzoseue8@6.ݣGQ{h=Wh^M#a_#ϥ2ya8Gϭ~7EJo#r9֨j*6&JJY-M95i$ߣz~:s6Vy*!sVh9(4nE(I]D"rƒDC/Fo/h20FI՚G::٪bH4efv]p8A~pRI7XRe~Iik[<%\JK2Mt*8eÇ8DD`/@\jvKjoZfrLV9*H rz>r%:6|l(Vt+7_kC!!ڂfxg䋪Bt6PytD.@O5̇?yd76/~5Oӽ5vxd*H_Ņ,݊j@g7G1:<Whs,o;zy`w͸ >UO%@/-=9Agu 5n\Yx -=c\}5hdukbcjAA>y[J٭^W;>qXxZ蹎spٰǑƿF2F|#e&Ϝ$ܢ3mcDJ ÿww!R-D`ayX*/A&r^:mS鑕QK[KcJSP'7 ' J>_%%](2=~pz~Fv C>Vjl_| IO=Sg9 YҚ qmIiM<%W9VT9y >5e/Ye7[JJo}T{ djq6Lx1|1#x0۵~yi[0<8=AWI {J=36m&IOe-h;H%ߞ%l!"{5qNz!eoSN,xTqz ry։ gpYmu D5>JLGS@l4dZN!9MKpJp9$7&;zgm@X Q-& 7$tBHrt*+Rgd*KwZJD-dNhak&j;kIjhUeu3:E!/wYad+}oQfٞTe[eUim0v,3SAyFmLt٧+ٸAQ]r`PZ:6P m/27 bgi`O6bx` jN6 UÓ(;a &D~N5WI7=+ƻN_|JmG9Ta9dJ=v"\B?WgQG=Cg#(u#$NG"c9ByZGK(jFRcW/̦sr|=_o^ޮ"79V-N2\ S@!14)ߊt3 ;;?mhÙ. 07 '1maL]'FDYAɨiim+I2jψyt:#*dϐAG|aI&B9&*&)ͫFPe갺F"j A<&h t klwmSV{,Fɩ%wP\Vf 01wvVIq7ӹKVht9`S HìvQEkzUvzǨxT GJjK\)d84#ËrZMap,9W #&2}_>IDh@9 CPLTRѼZYhT['DS5*5P˯4G/v+xb82SË[S'k=BG{xWPʑc>l}vb[}'+S:_ҷ9#Z0DЦN19 t-2Fª!>ɍ鉿\^{cbwF q .~x+ 1l '}O v^ _S4&A~Jx$KҵdE91Yj}A ԥn.z :,~=D`eN@.ϿbOиW)ǵODƬ_ 4}@7ٹ(sk5~j<=>ˈ1'bWXAy1vВCWONub m3Y; fOnfa'6wvSݒXU+Td$%$+w_xmxEn NJ v/o͝ݩ[wU9 :4>Ư}@8ZhlĦ:^[#AշXi%˥AGetIEoT׺/< ?a[X"H)%QtÕ5j sypGF͙̹ /\b\CYɺ`^.QfTb^yE9ԌzeXx,O#AM!<4IL,aT J jJ#Ief{ xqRz[;K<¿:%aœf__. dm ~!2UE9=p*4+"6E>gT!4INwyk%Xc,Bo'tGy0tٙ((u| iBLoqg-M6g'E@)R\eƇHT6PgLܘ3?^, {Fǭƴx8봪1(rņgbJ#~l5݇7ymɚLTDOy(|m_-.MF~/'ݢ?j.7Xͪ s@5E.ߍZVܯ PtV6 1ZUB"-*3]'\|]LDAҒCCl_/+ZX6bº+01͏nDҥZZMዶב؃@ş'Z[@䩖$[ǀ|ܦOZrFs}vZS5 eo)R= p`P@ݽV4b kO*x&I¥ Br_- Eޠ}i]WYzlR۲l0dܜas쎒&CRv-QӦAx0N~|fA-l5OTsڢy%(X?6< oϹ@y?,ǁ60c!b% -l_I!pvIZ5F0Խr0$۫ғ z0۞[ݎC8'V/.iJzp^@J 0jcHˍ:d2*v!䳕W'w`#%X_tz%o[9@w| |O=Xz D'wbճiD!LRu Š|VPT.m1&XmA?'bS(Qa!gAjdj|k CHh1$uy`'chjW'L:(|!ihTqAH JѼQ+/Ix>MHaXsJ ʅ[:au¸r[+\DPKF$[Rrn?H;nL#I[ C L؇;φ:G=i!v~} p#+l2qm,QpXg+K|@{r;`hI;3_u8޾<+,RN!J,UGI4Ne2>YOGm/5H|4}Iն:@3p-%4P´Z駍/uV%vI(&KqđPgOn49h Sn ^dwmg}eQ/ŹD[3eT׬i{%贐U?vFCݞT r]^2`OBx?u L6|Pm}/5 ٰlK RlB-.7 7*NE9ff* ~J ڣب} x<%L! 6p]ѪU"2k@4>WiݻZI<6?gj-9M-zvp֬_E+%\/k 9B'|"9uh[J؀[h.CזKp˿!1 +1֧(=fҵ{Vo|O ITՕHErɪ:JPba |3qIS9cO)j]c=?a9ʋaMhb7;* R.1lZqC.GI{iQ,0*N.$e\,IK:$3wbl7HpܫͿZO!^&tz^V84]IGTϝRC2Q®K:Ok, ^Vƚ_Q8RDh~>^kjѩE94XΓ@+H7K_Cp8;6K:)aqk`uN&JB 87qx325[_;GîJ84@86I򊴊a`{v9oeƜqKd6Hv}酢ĪG*Y^(EԳa ZyYҿ"ya(H6&/qTЄGWb pȅ@gAMFRL UhE򷔴!5ZDS:gY*;uZAKtiw9 [ŭEP{hZĔ"MweW[K*@G+~(Qk)줥nL nџtxfN$ L誒(cFU~_PDTʚSqCGJR&9KW^2VeItG57䪥G(m,B-&7M~6'Y,`ɶc#bkTs4963aNH\}KH#?6^k1]1Ja< sE?>F C,E!5A8OEB"<˭Ebh (tă<\M*w *+ǿ6R}v*ׇuu휶&]Y'X.`#eC1&RPc2(I+Zz.panOHu= sz{'mATYp9 t |w+&Iʔ`;Mjh3~Lޑ,VayIbf56-Cf:`;:GE3|_fcIw_lc#A+RP|7R͇Ȓh T6'Y7, 30_;|A!J&Wh u7i R:`p7qQ7؄%6HOb&Gaw-rTWL!MWw4^I5-Ct]Tf}K JpO.)BaMr:=]"y%δQiYֽ\ Is8{X΍֔>o<(UK$V J "[gaVv7EX! !tl;/=1` tL^M"Eb3&8Q" ŏ.Mop$ܕkQ!/y XvςBX?EIB|j#Es19 lsr0vg9+j | )~25@#fcPhmDHORncz~ *' [Y}BP}tJ: 0c^'>wEGE9\JU%jڷLA)h6גRɘ>` 3*cFJ'Z3DZ==u󼋼9TK<_zC#*z.;p1yqқ އ=w;p"6E")mlј=ȔRXY1Kh#AxL5/s@Y)X:@Ķ_f)5Q xq hO|[fD$ѰETBE |D'[ܤ<_ZRgMfA͌L.ؑQ~u;~OX$"54PCgȉS\);w#9+K'GagܬF/u oAX woCC`IpgnDB97;קn5ujkOrܪה8b#R+u6-8rlL5#[c7ļImV~*2[&x_⦼/'voIh99rE:~HS" VK)~,X~e&*U l#cJ'-i"}tup^֩rRmՃL{|E"S( ~J]UĢeZB<N0;08a_2J+lE5J7qٻ`|̸h~er%I\.h=q÷bbjqTZ)g`"+KtyM<ݔ0#~tȖ")%o|PqUotS `n"}3M=zE$A}  o~M"go},f屹C SJj3?F?sYc__3NIs`ٶ5lڍC;S2Fa'^\C$ ڟ䒰zʽ bȃ$ʧw^%i&Hfy_js5#JuuW,"{".S{ۛΪEr@R΋P9Ccoȗlm59JΟ$^J QR+زڟ8GMs-TԬ tjD(NלeG̠}ѽ_ͭ] F&| ]uD׷llz|͑3c7.S+N./6{oAGb{}sgžcmN@%d `D )^vgzG9B*r\~4ܶc|bABS@vg~1 MIv?I#q;>VK̃r/iߜW.HCz04> WυhٿgF>%ݪ cs&ln8Cs;+֍'e 1!ZsYUdNl{\D~+H ?@xX(Z͇j|%dl.G{U{^ /[}iNUŰ }l Dbw Dy#g e!_ ɬ>=AKRnV7+(4 &<y<21ǜ$$uZ~>ʥ+ AY %JGW57q xħ d*? #4$]i7$(Ć29BSK xzR:CY6DZ#1"TK& ?De s™ E$4bo.qat:\5˻W"8<Ƥ|>>pČhE6Xo={VlD>Եg$>ʐL3)9A^$%c]?1".ͬXRs?`b,t +u==)T~L sR4֣'PR݃t}e⬝hΕ2y22GWؼ47"eT['`Q:2lq?.X8{ϐcLzU~%Iyg/]TdY٠ A#QU\N xƛ_sdg)alHMKܹĭ%{:퟈@qˁ#zȘ2!Ks N'q.qheH>jW>87+e_`>'bRT}UUϲiǓOY_?StD HČ uy d5:)Z2Yq13:U_/F(@1rRCd̹_)CZV q B{[ tȟFG:.|Kj nog [vVzSVFԆ̟-0^3V,N+茍wdUSǨC6xU47bfcr`#EEھuVؚbL- :^m6àݺ{^B矲"e 7EazlDA|d7̗O e"q:c{$PxFX{b&w!O`RlLDڐM|TT/*2HySėt"Cc­yŨdFKUndi= Em&'ro@ 0~1" mg8H ,$=c=ilZ,29[=΁HS9i&{=E9wA N@k[}Up|hjz̕>l\^2t}jϬΈ$!Eb" SyT:5.v 9eqز y ЪtI@0=Oڠo̽ߟS,zRUorbw۔pa࣒ь;9 ,)ajWrnZSv `*_.wcdZ47y*q;{#E\1Y3 m+ i ]JS+r񔶬Gv@ c@Gg[qyq^ar9Du{߮div <+e~'|)j), 6 t TΑkr<5`T RZ7 $<@2:*`i7l+Tx;Uo,Tb}@tbsi}],U̼/T\ɱeRw[e^ږߵ=~p~\EI1;fxжԓcp5NA$ 1`k!ҜK,E:6N^fpةےj =hNw 5W2OSߪv kՑ!Pՙ~QXgì{9c 0T\oU(p]4`ѕ%{ v8RF2ˍ ʲ p#n86œx4 7I=x,9ٽ\}5Ke k "оl!9$'_2d9:(Aص(1c^~cH=|OWPf=wVy+FǴ&"nZEf#XhI8DYtW3emc2!DI p&+p)W?b&IQ=j-* )Kz:~UQ_` Z9+\%+9VG n1SeFCmfɅB&1NT唄}+?Ji^3MAVlUY ?r7 ƵBXjl!EIL|i!H^u_6+W4l7-b_Bk3R}Fsas=+F*_w فz鸞 14|l JlqM[.\趰͚i >4Z"!h#'vBCɝ2 ' V e͢{4B:`_PS̵2mLbJVFÊj&0eihW>mB*q69g։`QU,'Xz zC?i¿ xA?TU%iB@I+h:TOC'M$vpBv٘t}ĕdik:m`{h,}<:{e|#~tPumC)87a+ZDj7{K;b4ǬΨo_GvF=u 贽 UJF1drp a#llC5]&yܸWhʩrh@â|Q̜.P3dWReE?0"LMmT UE CX>1x&CƴbZ@u2)'KZ̴g9,)͗&cȕkfV7}|nh5AG lՖc^NTee2*~hi[ DڡJVAf S ~FvA@{y)9N:yuR}!cpm&OV(*.{mU(\?zI[^hLIa(S3iD@[Hw!r {lJCEzi8eT2|܎N܄Apg{iPfT(Q(&1ô|Y^T~]*ЦE")d!#%X>^bugE?V-P :-rgOa:0O/P3+ /@{2Q]fՉo%ussJ@B3 v c#ߤͩaA~ZҼEdmʭ|+?UO~2 ;V_s,Jtaq=zd^2?gƘs(N)$UD+u2:vp|xVOhW MadoyJ8+PzRc퀑J .7Xga/a1fX`C OģfDMCז#n_o+/^79H֭snL4➨A0n:ưŔ? *V|7Aj4[laEujr6CJ9P;rXG< x 5,9It!RLTvrNNU=#MU`Kw| O}=Tvj~ɘ>< ˳&{຺wq'!$;jAPMV֜r`P-^T'6Ώ^LZxM -BQQ2L@CxEZe+@ tj#EG}7;r:"44{jbحWI` OqHE<7Y X6@%@>jVұ0l-P$z1/z$)F}X.}IH7Kڭ?tX*Fp{ix^ś}P6SC]' qݫB'CHh3qbb{817AC՞z\H q uU 'mWϮJ=J@6S4 :鞂Na2RPBB!>fG;UBCق{qY`Z@} UJ3} W p:߬xJ!ٚÛo#`j"wL:}܅A#&&z׽n V{iW2PL-$_(zۀ^aAKxo|p'20;o̔S)^Q. qJW8v&;<AJfW촶>bk##ϡ+s3uG `[kt^]Ï.T}v8| 񤿀#Tc rs )4 7q^D%q h<5XDD8[aCȝe1an!jY?<mi^lf=Li1ӟlKO'.2E%nr^g[}ۣΖ =o _A yd/mN }sǗz m"N3OfJ :/`e g{+TJ~QØYyp:huP/+@Ngķz,fJEmNU+G'(ؒYT3.I,"r OM`Zħ|j$).tfu.,J~ )v Μ}͉H ~>0|` y_r..˺RS ٸ͕Y"w g&9X|I^ػ@CK)f,J_FA29 E ɠ<Tq5 fBl|F |J~`7^`rjG/PhZBκ5dkGnXC$с ˅(IK:{+"V.D K(⛧/<{~gSHK_B⚗dp$߬c[SV^Wŝ̻3pH v5"yIJm \n6Ir?01w͘S/Fb 8h_kǿ+fSBrf4gV'=#ў1yNz9*juBʎs8@exӗ}reG/iVM /{c]Coi5 UY^"OA1h-A{Srzb:!#MR=Eeh߇'5 $8+I \)hnpx}(jw>+ËH Ad脣r_ZӕϒڟaU}S*y ô1"{mHpޔKʇM _,Ds؃xdXIyn yDT 5jChĮ-^y:ޱhW7LuZ2(tʼ}y_|L>}MoD Vwrް@g#TE}8iFUK oKqrbo>u#K„jЕ }A.) 30j=FA\>V?BQgcySWnqG 7qG8A+ŎiܱSqd}ѽ"|:0?pŎ/uR/z2h6J|dY+dZ7"f Š*fCN2l y^uy2%~fM2ʰ+\xLO 1I`#l!] Xє߹~6x4NhN7͔SYt͔Q61(}gO ‡,U?U!ƦET @)y0;EFƌĴXTD!]LYR i_jzlcC1]΍\`+H}Wxͣ9n~ʔJDleWMU[ʟę‹oCb2MNm]cURed]բM I׏W8ǩEUXJpz־A&BC䥲/5;FR+;4l;)8Wa !$0Ku/fh07L컓A3ZWr=0n ) osN UEjt urhL"؀qĭ uVy&F3 <_t')+Fžmg`xp%;2WݷV# 2hxnH]YQ鋤{ mR.qN1gƜ=1`lN&"E(uR-8~_{M 7*;Dʴvʬ'7^ig,LƖH%[ jS,3ްe"|,g?ވkkET3 kȅJbrlKyVxbءfOR}70* 'qV ʇJZ( .%p>ģykcZ"?!0ϟ*d5eherHEayDGgF׭*n78oad֢~ȱx#;~W5y&>#:gɜ#P9~'^̝x>pFsQֿ5N1&B&y,nW/$BOA#In yS1x<_kOqYďr .JܧK,@s;D%Ko&8T`f\6&Ж xц8Io0fhb+Y&4y wAۮh,2(OEmp GX;5&Q۱&"ώrfN(/0\R$~ 3qH;(ް_5#)-ȖvEus^c/JMDI-8`Ad%9& U&+}@g8͎%k3+lA P6E륤9Z5sḬLr+D ,1HI: LӤPNT6iY:?^EAWHQw_Dl `/YZ閭|6hb]&|5uY{ѿ 6MXK`We:)J.븄L%V{aBX|&@//+m$8>JP/ f4ۖ稏JXt]$ߐ+ n礆:~yN%IgF'WPN|\h,rM_d%=r_TTBs-tB'+A(xE&9T`YՄꧏta\wv#dO~tJS2*Œښ7៌$-bHr | <%V!G,'Xכ/~FVλL9~GKҊV'@R9B ?II'\Q\}eܷͨFby3d?Py>_&&5KMC%ݥvNUdwFLA5 =s-kxɆUI ^[l"6@+=P5+m+37/( 'S'&+ Hp:5źBƋ{2AJ)Jog[ʺ$=?cHP@y}h_<-5%P/4]Ytרt5K-vcLҶ[SK(B9ɷ6TJ}°_'.vru1Ҙ{r&T!IH* ꏬ%z3 i7+)&O>/=Q@v4`na^& Yzw<6Zm|i=gS%zh}NvHjj~ r"\ ꁨ|DI08#-P_nȐd-,z^djHܴC'=OAPPHգ5NM s:3PLq4A:yLL^5NB`EA;mRFѝs^;[ekrʞ F9.kASyn 5j[7wՄ um+;uԜJ0_DD&[61M`q.+І |`qKt`?sbBOIcBF /0A@r]wl 7UI}5$^BIh6F "^dosI`-,PZ{Gr>:=e&K=X餛ljRKڃAia19>ـ6_DاUZ-NYJOُe*nyc9Xۯ# 9>xo*CUzIlZ0 )z 2?j\ΒB1>$U%Yҟ>#"}dl<t+hw1[U;;sE+ыd [/}zV!t)r,`^yOw0gG: AA '0lE J= DE[ `y<(|)in}3"K_9FEnDzH'cptE͉j,?F2gVOl(k}+h:ow8"4wYZ6pҔ-(>5'] }' .!MI,yTWݗ)C>ax4ڻT`eϬ4?ݴ*`cӢtT@d[&&kjc0;1䡀Ru&-1QUOJhx\YƜڴO9YSdrC]U~C2,>]X<(l=H!E -Yҩp$Z⊈/x&jC^ $JPÍBf,8贯WG-,ZݵP?}\9ü WN'7|m8'"ii_IMk =+PK;EgUk~>7,!cPAJ3i- wOw+T6邈o]7 +"m䥟P4jT5.Ũp*7q,QVCv*'xk ߐ?F1ε8!i I^5AC1Jq Ak)Br$ὣ @:iJ)؍ 9a o2TJ$izO`M.gL ~I5xS dpt[Hq\Ñ8UOM;vck6&zFy'?mUXn+0-]qCiS[yܟ=/b˷8!:u)KF&BE5|L] ުPCJVvס,eT&(KwKx75E )l }S7FBF4TpF\a6vՃttXoƗʍ[2Tۗ1Yo)5eO?"M/gO6Jӳ8;%٘v.%r3nMOaN>`t=}R=3gS:r^xVG);B/.|8>̭HV<~y=oE}v *EdBv34 +߫GWl-yrJ.AZ.L D.ˮ!Z`/`k(z7cs/鿶v<< ft^9N#>Yytvh?U۾+vb^p]h> ''l SWSR;Q .`r;R75|)B1軷3Pչ sV(rRWuWܖid+lƗ4x SӟED"zNT^PI* ;GeUEcy;EI$% WeQz󘽿.$?EjGC'׾e7T- pt)V Yg̳ƜFuLX.SB~͔l!D}J7upc)?CO}8e\Dzz̳xj*FՒ<PTa^ 2:O& |Lٳ0ɝV=Q;d@ "Y_X1G54Nb2 VBJ;#M $0W)1{=4S~b1]pHQ FBA+9iW⃢< Wkf .K#- (X>ZwF:孕d;eQ9/O@̰0rq=-@kH0}DOV5], ^C^%]:ŜM<v60 J8dΐQVAƽ+"`oGT.~.C!#qPوnZ7V|K͔⵩zv-.j~벱YH2 Pl5dVZ-l)&YK g ͠-E$DznRW{m2}eyc/t`Y7lu5GiZiUAN 4vДBɐ2IʼIߒS퐲uY5ݿOblE1&{-)!m|<{[$#S{Q,.vZ9y& @]!)8 ޖn"8G~ܼ>o^DP )`̕y/C)[Px=V"m]|}(*è^2׹]Crwn !pw*mieplUdk'Hc Xŗmr=uE'nNʠB@b6bk| XX>bFxoa$,S:@|D$P( P;D!*ԗb0eȬҬUIba318<4E\_4_'QS`~:}P'o_A"`=#hkd>qy$+jGp&t$TzyFfb_2DHG`gU;գB._&_ @]GY:oW$Qٸ20Tʵ>R} (SU<]Bxxɏ~nd7lCܓc^ReKE@]S5ѹz#kM #05]Y⣔#/LD%sP]"L@RVxˡY%"q *h^RKY1: ?]()Y\$IxFyۊipPo0Rilb#JPR&T*eNe0) !]90zhLK#1@k%9z'ڎ5=h~ qI`>mT)kn{|+HLI:{ ŷ[ΫU2u3-K+ %F'q͒5G4Uq#@o]vPCm;LWo? Rs[6)1}\^ HJ͇-gf?/ŕaQ\ t-NZX/Sٔ/m|(6.o()8 Yў˞ I!vp4*\؉WLyډ!n;+F' ^?11얧Tu.8W# kQ ѝCn0aHQ8"!"{ϯ }$+AGIμ QP,YP\k!,tq*v/ܦ݆QG /nm )/w7{!cx%K! 7ܤL,E[=e@E),;&,,v K2t~!Dka?%x]S @m_ht *F5߆hZ=)O[%בDSaE2ɶ8qȾ\g񍀘"S'TmZ0vϻƻ&E1f2nIC* k'Qzzk W"%w1.딊٪\#rJ쐭eH_pQ[{՘#.04ziޅ09M`D5@D}G6lxy33'gR7ʱ?$2_Lã;_ˈIg۩4lpmR+eܜɌ `acc}ݟS&<]Lx zaӂMm ,̛ g%f kCa]~-a}CacXʥU8#{>eѸI~YV//DżH/yj gҎG f'YoDYG>0@PŲ2-8#i4VR b.mH)ڣRa,S?F@aa"L&̍uиVq\oz@+j m(BsxR:?JC 4i`g/{Z"^vTSv3xX;WlI4s5I "jPV}Qjs*SV"v}NJK fY8OU {,6)~#Ђ 7Ѡ$=K=4yk+CD9;kh Oo+S|uaqkw ]3ɛJCtMP])7΍"HibsMx[5]0\26CA;s7mW9[GoZ4L6 ^% HvPL]q'1`GZ G=a9x^=-zW觊:̑"Hg3 wڐ=u"G]Ԩݪܜ<"x.:XLiW{& 8L>ia?SW,V9CLJ7-usb352͞[0Ҫsg/n2"[޸A*IH9_\糖r-]Lh] h/v^ ynǦZwDJq=8 Wg{ ()rt_*YA~շ'9)ƶvj8C_E;g~N`2k=f&Gkq-(W(ϲSאGIsaSE:'#­`'z\+1ЗIny!|= =^+6c]v-_f#gڡ +ē'M|h4@ jYQuNt).p%fY:>e|0U"fu' 1#y~S[|{ aB~&ᡵvj0|.lLfcVGTauK/efϹgU<6'8 r U g˩31k?ܩK =O {#Q&UxQ3t bTos15$G-,[iFM|KIr, VԆr#e1b-BۨhC|Ek{+ڄǎR_~P~Wq܋3\N/܉L#^H㧒9S.+6MLETeNۑ@}D?s>6H,Ui,Ȱ-zaIB&## 6?t/{\Ji"^7$L#k4%:^wi}:iёp!2hYVrZK!V)[SL!Pr,X0ULDڝmSe ]z$m? [yIPO_EmF$vjǮԇ<9zᅢ"^הjlRO7(r@UG!v3;xq® I2VƬpT yQT00y!"].t|x0|.Xu7Z͑jVCyA"!)q*!dTT;Wr1ښP`0_=gn-GTITʜ*; 8[pW G\et}x(f"!OdKhK8~j¨zѺ{.i{u8x=Ba(򡎞|psdIn-W:Z>~Gy̢! ]NRp3d=.Z,btx|"FMƪ 4&'QKރ#gnerLk"dt!c$kDo^vD~A̶9D҇Є& o="&/ӥJ &z@i6D6z3.5UaS_oo.6<Os$9.q:ܲ3 W،R2c(/icP^j%_>ݣfS-q~hD'iX8rc1PnZ"n "^޵0yѾ~]nw ] ]_2S# ʋ\l ƫ7}CLԿeX@Z^jMnySa&C}M i`ͲGc] *~ HK1 4;X* Њ)zܠrZ;F;,<ۇ=|(hޝ1f>enĹYIˉR9j5bNxӝtagYZ U!C+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id102(1' |ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O 7]Άxʆ5.f-9 rq9Y?+x*/E%NyC>kY1xGjS`m͖^xarbM M\KԘ7s˄&Q֪\E:rI'yݢְ+^WXePE4܌h = H%0lC{E(QGN lӴ_O1k &ȏO<7lCTŜ=P[ޜ-;%Ϭ#ysE}g5ꊪ5NZ&GOIKPT`=w)Eb6}.b5V˧!wp2 o7ȧ?dhFţlQ eE =eC?qbZpJyC:#R[pO6Ğ).? z }]rasH6Fs9.%?[T7 2R`W逴-y,XIПy 2Юo4TqiM],3Gp$ dd{O9"Yaܦ\Z_׵ؙ_@XI*n6(,o(O Oƌem5-Y#Yn{juH& x^/ |\x0t0nBׄ㱨`Xƴq;CV:OgcӴWۯt^1W&:ZW"xy]7penޫ^*G >{]$&Zl$`!oD)Xqy-z+ˇsH]!R/&cI \@WM4rRkA?\'x>yZ]|WAp,P:(o !:,Ĝ̭yq@ƨEFvІ6Y;?UjdC cRfRhs< +D k?`]L/}ruPfYz8JpyuQnheN\{THI8! xH z/a3t,vj5N<oQ'gmTTmk$'fQRDgvli)Y0v)JbCrDb,QtNߴI~G:`>>\A3edfwv+HKG`o [x%s4_jD}% 0Mݮ14 a<^ݞ1GT[ٻ4Dts@j0fE1}& VQ2H[(TtK0f^p~@" s⚁֓Wjy -MJI(Bݵ!\kiy+Ӿ 6mxRt4'Z"Dg֊/{qdceiv4UOI;[,=$+ ӽQ`G-Fѐ9;5/<һbJ;E?Mr\W} #` z^XFYPSȱ`z)U~(e9Ct!IpAxpln1}yM]&,Wccs/U[uQ=ֆ8,כח|Rj}lQ8Ȩ*qϴ9 .N5٣Rxݠp'|{!h't[jlF_@n7n0R>_SA!Fէ-1xC^NJǫ)7򔖦\/gձ@Ќ TqZ "E/Bilz;E._30`Wn1 ?hQ (sWߛLKBP~>r'DJɞXuI4 JN8'כG[ƓPh5P" 5RP3l]`}'ܞ9ј0;d;"Md@/ :Lw4Ў8[gYZ.0XhB [>˓ݲ $ T#a0Uxo>ٺffϬ*NZ&ec } >˴*cj7>8H&}e; . tX'~[|g> Fc bC `+j7QS Is13obm"2N[ϫۋ-MucsHp'qH,&H%x2pAK~tݥp8y`AF/=1ǬغlD5$BOMeL M6\HZ).ui &>=A~jE+ :sy#E-RȬsFA;k't̷L:y{:)*GJ._ Or71P!IV[`㕻]OՋ< 6<>[X0btȉޏapF',b-Оr(0<_قXk$Ks'⛘J%$kQ$!oN +0 Kݣ{wcįu|JI.}3(69z &.֙@NF,+; + _X)|jrNI2 YRE#v<8?d} DLqn(9#2V4$!pK3̩Yw4iL*^2#3e,pڤ;s֚Xͬ) WK~X WoCDf5]˵#rjeWXG_#ⰆJW+.᪮x0ph ǃ\Y ^Lf>0 )+R?.1mBCbrϙħ4$Rv$֪9+bڹ L.8Sj, SNͷ%>V),5ݦk2S*n+G-Fxt3yĝBwcp&Jcf)Q؅]-/ |+P Ohf}7CqJt w:5;p]q}qP?)]z8aS̓yh@op< FN>Hi\a(`A!|Q WϦL)&xWsG *kUSo|el!+l:]Yk*7*g$A_e˪GńVwy[q U;gl?YtYWeR2Կ%(Tctr&HKjAQt.= W)XQi.B`YV?*T~}lСV/6v)7 aisv]e~ ۟P>6D E% 4TAflBd9o fH "0`MPgPFUazXt]X.p bA0eKQ:" r.})d-m0GC1r+QilU0.\Mӿ " b+DEn%"Y_ , Z{eSCKKt  İUOcaO-Κ"5n9IoIrf^#Sңy/rjޜ)=؂ =B*4ޤ2hWu&Fl,{f({1Kx 9@mztm-4R `pFl!k5.?YT Vqv2gRղ$ [V1A{n0fqdgĊP(_H: 4XJ?[ tp+@oY,ōAO#wm'Yȟ4pȄsڵ-G╾ }My1[KiL"UcrYS7NNAŶ5$ 5kI;13 xoSFCg3\<h1>Rnխ4wtHEKQ< K6.sw1nO}iG Ϛ ՏgYZ zz{+# ,ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?w3(R +Y氆PP(+pߋBi.S=tN>Bٹ!DmOzwAfUT_9Ԃ -_OXuɤOI1o̝+z Kr@ K:L^/O&llHk#}16ص*w(& `8Gp=-yȜ)q#fY!@w\x0_ 2Cv V]UO# ]/&JMLzFW‚/zKqlj5w;= 6jiJ1N]0 +wХf5ıNq;V"Yp޵>! B 3*wwi(sD .)b`RG(i=sS\DEXDNp]E<&w7WqXvb^Ĉ;7إr =yԾ$bx?w݇(Rc=! ^, SRy]I ^ۦ|ITq_ oh5b~vqq,IJp$#_}2M"{ #Ln.\cc.$:ϱ[̉$1Eg*)$#jGxh:K{g/ˣm[#1tB0~唬ȤUpaE|Ug4z+HWU7"w7ǀKPю<6z[c3h2uTH/`Na,iIW.zE:z!* Je>a ٍܮ?^I,}{7aqS||h5̂q71C;p2MOTMF-11E^Y+?,b'>x .VpdE-7Wl@~^N*">(wH?&1̷IyY^sBצ <*J0o6B68ԜֆKjjx(AaSZgv1?Q~':h1T bue- qc2s G }Werr 8@W sMѿtإ_⪣&/PJ@;tnj߷7H >!Gf3tKEE.k4fK 3*$=ZB吷h7>o$Ea@CR9^\kE1#e1h=Q:KV-iD\WQṟmU0҅_҃ O\og !' 65&Y?np]꺶HB^1wVWIQzN5ݥgFߏ{%<(bo%-GrMa^̋MfB2e8/ isqb˓Fp5Ae}")M^C Z\f~ #y *3F9}j6jԙ[= I)ih( UO%uni̒z'Abz$ ", BgEkx0ѫ־xvZ7whR7$,54w&͍ n]=<c}JC }/q\N.Z:.R, L z7p;\⧇ksSs=Rq(]r[eq]Iɶ+6۲b eX`"Hl&q+]枘z Č`@sa,Usea:]ȩ;Qq! D켁_K[kodd}j6095B6#(QPV;p ֝8BGc[;WeYO2թi%?hcKHWFjym=Q?,!!P!2" 1SÃ,Ir,lxS-LS/Cl߮P믆$D~Iꐎ)xbi;ňǷ;j{V=|dzs$LR*aO\ucfqU2)Dk퉮JE~VqZ: "foۡqES4·>Ѕ0Լ[÷̸*bߞG_qI}=9ŁnRxWcDG5.H#Jbv45+ g d * ZgK&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ׁuy7xBjd;6iH4!qv̼#H]U_h,I\'cS|Ɋttg3@{IAApc۱(dc.)O/[2#qPY6=aIAjsPF!yUѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ_۞dqIRSL'G)cg=I4Eq:䔍UUa ұm^`Q7em7F;i}[e͛JvuT)B]"~0Ma[-9~ 1f`.ym2[H[!@!NQ{=طGDfjMst= bQș 3JW BoffVP'gET|?k =R(,yTLloKp ߳ }.Qjg)) !1ABt j}_77}R%n*R?jxdڽ ˡfY2ɢk:cRjt&Lj`r7&"v46)"RtW|.3.ÍH35B?MqR S23QEPLJ$5b0h;(+2NÞ9aD5i8EA$‰㋙pD."1>sdݽUz,}Pl+S Ovȉf\x>ws0bjra6z8wtO#itOo>J}C E&Ǻ7S6["2II˝Z#u,9d^Vsa*.\|%'e^Mrq) =o\\xiC :`^KL~tw^𭇍e2{8sz+,DYLeK#PVs]+"9X3UritDeɬA0sRH>8T@j!!9jKAכ 'w8=FaeWQܝ9,8&=ͱc9OMZ ,ФlUZmfH㋓i aU:`ke:ոt§[+]N˚1iVց3LqغGSM 0|tK$|8 fwG,>tŪ50pR >gq+XkLb]-(hGc fbal 0plve_˜6z  Gb+ <2JA$#oDhG2|S5< ܘ†fLMXɁ7H %3f:ߦc)cߝw~FZʎGwWDgYhõ'ɒ1FWG铨ɹ;Mֿ)&)1Pxj[5K)(jE,Ia Pߏ{Ub3@ɷb]e09αҪT6?AzSmj1%>0JıSfgtk F1=W|hrU0/9p1K.Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' dZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &++]·Iq n[:|&[zl_ce#/mIlEfa}#-Ü83ћżAXm Q.oT,j ?0ƵFAm<lSʟWnV]4H=K\xُWxΛ۲S!cU#)o4/d4%f=5{yz6ֿٍ̈́Za.n;'{,# O^?tҦ>E:_4Csc{JD;1D\#x!^F`F&yتӀDK>|f0K9~DHyQ<_GD;cOGa}f=WE>-?@5".Q8ڍcv@ &-U/^rj-~6*Li&6^:O٤J7QSF+$y \ \^[ƿQum.Y(3^ub~ *.+sij?n\mӿPѥ tTΤ藇>UBå/XÜ0nJv+[N+zn}1%]}2w5Q\'`\fzׁ&>=Ċa:O)B2sL}Bxew= 5XZml7J#s.cJƊhikfd`]j9B(݉gvY4z^hv2$DuW~FA5ۨl:3lK>4rS6cL^P'K̑% LL -_pJ њ!p1ަ+ 7D%Zw{,-);ą+lݣ| L3p^~J`I78zX4)57Kꪭi|}Wքyؚ]D/LSF"d*&+mP4gX49)寏QAa,0_= Aj;ڕ!KqtL cgYZ2zXL׆[2$FĴk4ekʰ׶r]hkw.UoԢᩝU쏆80V1hFRv2^TH]jdU}ÚNi=\6U1D BYd7|;ğ?J8 *t^SCڞAܑgfYtvܡ.#7m5]M9J]n 9xϰ֑Jaޅarqy$GDiR%TE$J瀥ͮ`*g`^L46@!fZ׎GD7:;Dg(bZ͇ZR,(m5$hbo<ܸ@!wmJPXj,eb^k@a$eE\m0]~j17`2Ŝq`<''#IO #ޫZ5 _M~a ;bΌfq$B*Qb+{hɐf5zR8#He]mbQ! H-kY(29I ]A? V8& 1BKۡDVJ.E# ZeC QM|%og*A\۷iHdU N0_UK+E[MgqE[6gu#-h*u}gMp|'@k| rr󨤿?OJ)ꀇ*|pIF:: 1W/ɼi/H[IAK¯h
|PB7&f$ac^ש*{'Mͽ~e$Spz KTbӊ \xs"BH@ɚ=YE7=f-AG#q>qAWnh$;?Hg6xw+,΂2tjJ2R/9l0'MƵBi<8/㘸8ԛq@e-($"~;JnyTYB/ -Kw<~GV+_wٸAdpj;?gϾ5`ڤ++RV*Dno&0=@F=YY  T%;Ϗ׭耩$5YΉq&@!q!#N!mIeGYi1~<W]^Й{3K'hbVA2vBq+G˥qfՁ>)%j̙P^ʂiDPAv Ţw"\+a&k:QI Ao}P81ݪvf=gPb[K*+!O`&,np"17f_jIk&\itBcADi:l?6=tQJn/l5Q79G%R>,ov[Y\MDy3aeN'p7A,Р04A;=~0Uw' Bw+JbH _ T#'&dy.E>'Iƍ&voCl G;` "?\w>w'WܰhVDKdeg!a;)R9\١ ,]Ă"*:`\#ܝ}0fPXoW춼` <_fvLy˶w){Yo᛿`.S>i1D]~*ZFt+U*-[KԷXs) ?y`ᷯ|?>ضɺ?"yKػ>p}&С.*nlNd&4ӻ Y@x9`1&#fq-ԉFA4t A+{ʩώV/)ac6,Ǵp ݩqLt& zH^Sa  SSr%**;t忏.EwCV,7abwoM$2+`0.~D# 3޳bS^]?.mPq 2G >J82w[<bZ70DӒظvG A IhQf&1_0=@z4RZyEGp* #.yJ^#v=oo6s9i_ ^P&>W9C/9 =R&0aON+}ŜT߶#v˱_!!G۵7A`E"MіQ*qV1@5'Qy/4 ۳jujDRSh7WoB`=!+^<ʦJ󃱼ɿ_>p,tߺ|=~K\A𢌦 E}X.5UEtJId[.PnHp=S3IqR0 ;/R¿퐺^uhɗIJ{s0TW>buPt=,F$g h#!Ri)bZ[4jkb)Ntg@u>5+$q>fr ~Xv2zUy8~t#c1U7΢vIͽy3\nP),L2q~}7)اnͥP\ +:0䊢]:eJ?PZ$ڳ`IDǂvCɑ"+w(m!#Rt|[ԐTa'UZ}ZCGc!ke7/J>CںWq (YjC ?g >>C5 d)Uż*58 6[m;a~$7QNh!8Т. vbfd>֨hH()\b\˞ SR)?#XsB/k7ɼ.W,3BK8({-7450}wq}UQҀ^C3Zx-Ggw.l]5)Y4=Qh yySz)Sn0g!:ۂ7=Zdh 5 Xv0>6&;N,e pGe*H6 uLnu&?P,sHgc$dڙ+hH a?͎F9?ԠŔ@`ω}ÃTjS\W4~ Ig`o*٤w2W&8_YѴ"er GWykqSX$/5]W_\zVzh9}̗$|֓o"T*ɿmMb&Ͽ BIb7:Kx9AJ%!ur]|~(f~/+7 CKiQ= rqձhRӳĢZ߲l%?hY?EԷM^q=CVDx)yR`O qe!ۯsdu$ }܎WʽmL*)uRp;I<GT)՗&CHpY. EsחoHK ":TR$Q 9l<_Q")g9ɟ&*S)6D}e% , 7X~gYZ Z`G*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118A(3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UN]·Iq n[:|&[zׂ]>~7h 1P=h[m}csI8뼥{9XRTDAҺ[u'qZp}0ށ"QMҴv1PtZU3:6iXE1Nw e;z}>p/^c8x-w$-h3l9 m"d+?G|.!o&I+/!_.jYˊO[(A}[9vi*vc8آkRpi*X0dh`/t^vECz5ȯtgYZ#'3# tZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  3]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($TBap>< pA ykK&+xվ}Q7HM5&񻟺gg}$2ʹUt:%4,$ I]&w+jx7a;1ѕG|Ӷ\N37cIγlg(6͋"(kQ)l||hU< 䵢Y#l *ٝV0P?xr":&=ѱN^G; ށ-( Z[>2F_ ar p9Dkx q gCn};_3Qz)j.u_\SGns@LMlWįOvN\^ U`VD)QWrfu.& oN2uکؠ>֍ y׆ay~uJ>~\GQsn6>%nrM?U$SٖDp7Ԥz {1i6hĉ1C'4}誠ZҌ0- e_Ձ+i9NJA8I);1ԧqIO4D)/n1va(1^˲}#m\2Klv򘆧q#Zڨ:u-Nk5T%U%4L)?G*$:KږAOls+}4E]#dw?ίQ"jMh_Cemb_^hJ$hcĞ-r$XP:RDU,Yd-%*1s-=9&$q1R-6Wݙ2)4 .GKmk!LYبCu7EM,^`ȅy&=&c>'rq O!ʍ`6#?˅ f-Fqb)7 qُdod AbxX9|fV:ΕE6d).;/TnW,w=Q:T*ƿfv_%6YupT ,GgQEqħw0b5itSl$-T'4-܀kFxlD)U;j*vȦ9gmėݚg}bNΛ+8@w튊<.VRz]X)<7Y:qhS/F:DQmd7uh),pvl0fᲶҖ/UyOƘ>&dnrO+4G|r?і(_ɻ}%sNX>f{Q>Jz@jt.I⠹ 8^̵3(V'p(h%5@ +bJ8GzqNQl1X% ?G/>RhyAǀ_S \yfr]nYPE}jzqg-*L2n-dET[ڋ ':',쐥OW$:(_w[Ęlz+]݋àt1WJG2; ei $fZOV)52E 04jJE_K1,0wdL@k@|U-0ND @?&Qjӱ NjrKY 6ɭz!ŜG\n0.?%EU#VPEJ5lwZτ4l RiL;:9`F} N<3S[;7[ ۍNwgHJEoAzdxyyy0ģTC0>bH#}MuX 6J*ZhaI5R@l%YCs } }0$bz0J|~) {n.ԋp^өeeudk㷂nELޏƔC|g>9RotdtSRlhxD7,5Tioʽ nkM4i)rAUAb޲&u] NS.t'գ1]U#N=$mb\"WKF,jg`\)K^bS9ㅵ_[UFw&{U ÑD{Fiw|HcB*ēG:muc-Ox9ϽKKUDW6J}AgϕQթӒ[xU@)A"mJQ:E]~:Q:3>&BS"My}li'Ft r=r=HEP]U݄@B#g&\H㯩Be\ * w}\a i3Ve#&d8b`~#qc8 ~j;k$vi3!Ȥ&NGmh|g O+E+˯(/ǧI= 0̪#~7S瘕<QRم+X!#xXU}?572ܗc6Y0V\Gcg\4>R^$2AO>~N;,%g&ΠkUOuz9+&SoG`sEw.d]uA'K"74/rޭJi-Ɵ0]T 6ԟ10mkʯަ'߼,>ĵzW#fd\.EgtwJ ѡ^s ]Fi^@Ey}{Y ^5o:o`6>wx%gV5݊3D^xSGEEA@i^&~6cFmx-a>Tx['eoCR\es,|gi8폾A|ZrfS}y$I:ByBIF֒..75MgYZ畓D~-yJgcm ,J\vI|.Lk" l8 t}4x ,*P-OA2쌏б#7'Ao5ǴSE{#VUE,,jX+,VdQNhoÿ խdi%3 z 9vs]jQL'`|**EД˒l R@r?ZMƎפz m!=em+^yFHX;,\ ]|#]WqkMLо 97iઙH Jh?1{h!i+fmo p)#~΍HBMd!4 SH9_Pş-r6|~t ՜]Cbt؏Yʊ9Mq5(5䘻v̔:LGeG8bD \~#h,p)|{\@97[[X0~yS*f}iv l`ȦQV1 >~Mcڭh.lym^.;GD$z%!-%QadwQHo/%|߄L-${Tѿԥrm[UDhZSf$*ZQٲpPУsD5aKP1U͢3F(uzHtbf+tI{yUOcsa MR/y\Ø,\A$đ`._y[aDg9wU{r)ɓ0ZF_ 5!meć>?`_nGk{V} (H[^>2,軣jQ<1]f}O bܺ?k%ZH5_z(^v.#vsYf̌1(ӭ=LZn+$$K<pS"/~J!ŖNZ)ٚ3Ƌ("Hs3ʠ"X##"4k7>w7^y[;)Ad{rh-1pj<^P23'/_7} >U'1gwO .\Y`8ɳ!|[.H¿,{,J lL~޳Q5k8vgr<ȍn?;FـҲW}7 E3@SB;1wIt~$3jI` 0:S_/|^=:ӿOq`22#{p {;d Sc.jޢN{diNTК]RO)T}J}3?!ui'RSEEUhTńN(1nJ96HLsIS4mzpBxi5"<[cg68[:z#1Ե4xDma"ȱ,ע`3Iܢ5]ȟ΁ku`}?X^q- 7F+w۹j\D2Q3Y%ߪ#sAMM|`?[8<~R\C{>)1i 28Y%\2'Ȱ#wc,[dt}e"9w,2NBV<ٹ,%6E@r /{2'I|h>9fќ.IO?~55 d=^`y8vS飙 i6I/ts("U ݴEsv3HaT"45ԼJ5s25ZYOu㗫^X?(C-976)mxّum.{Qv)p$)˥M$0Pi4gG׵lZL(-r޳w9D;m/ڲuMRwL3xYznW %^>>#:$[P]*ߚ~!a~9zPD5H a0V I {W+0K lNp)->B)Alu!=[b!¢0REچ]Z-^eSUE yF=S>_I)*y^ҽ lrْy Tm'5 8?\|n;v^94-k/7NGH1kڕ繫 f~u,}נc1ÒCIW"˂)[k_HXEljM{nP-u-#3; KN&Yn /aC [7s6!P7au"V5h1j(T;7^[ŲQp{*L:dZtAeִB^ڣ!3BlQ[S\?n'/B'j 6mkVDLZVf,eQ'nou G9quxYhŧ u"J N`ݖiӹeX+1J|/T@V]hlUnTly}p"Hr+yT\jؚV 7-ZpќlPuq0O[،?/VU l%Ø G.U;M2 f3vlPjXáYK%M>>_`2pS$|]u)_;1o`D4hlzy*̗M/{_$446jEb9֫&r C8olKf7e GK,7CdNd-&a;:~C/"bigYZ  J  G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108W0/' \ZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Ne]·Iq n[:|&[z׳VzS_nmcU QPMV(\I@M[*k +?HU=ᡠS.E]:d^xJ~Lu|kvB6KN8Axӗr=H@WtY$q*(C$J<ΑX@X道6XK b$~r!Ѹ\#VNQY*Sɢ;r $j F?'W<|l<־oxD~ 3FnxgYZb/ /# tZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! Us@]ˠ)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{3`N< r u=X90ՋIUS kGU{- `A!VOH({jq:AL[{>6Zih`<12t@4P2Y1i* 92I2G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98C,/' 4ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GR]·Iq n[:|&[zUpږT;IIS~HrʟpL֢`P~d'ӌFg"5kS0U x|Z-3:ׇYۈP2 >}`}dfj.F,]"=,f@`eL\9h?-Jc/S-8!T43Vf#ϝћxAځkt y5̸,U_v*$z'b[{{]G_!)W'U_l6Ar9MGR7a,gYZM+/# LZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*_]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM;B_j`JSуD;">VLJ׃=׶7$l.;vuҩgv'C闭,K.`EC<# /?(#5l[S0(m4}iQ8tV~lD^ahm`ɀx6G9-C KB5^R!dIxUvҦߏE%92t 42M*~Z 03jfc+L3u;9C 4]N)(bͪ̾^`9hR/5_5ziQxg \B2hfW"G?-boc# ~!iifa4]Z0gq CsS[Aܣn~=`,qKKs뇤nsU@䬕 !b:HkxADC }>LɝɧMqƬzourzs+Gc*XnyETLEg"Ld,rǞ 0=6Q9S=1#MOl#mrJq-T![;~K*>@֍ Rr= HX̳/E~Z _Xs֨ [0E['Z$>8jG4KiѪɰ:3~ }T3k%݃-hsqB1-rxMQ'1A UQ*’,ASG] XQ{X L CmûsrAwJӡDTaGf?a /`R)gz_8npdGEZn8^,Bi L7fqMKrayw Ԁ^f * Zjܺ:;Y@ +,5ot*F4/zPZ7ިZs]ES/J &l(Rz3ykVHUN)*鼴 !MPż(&˰CD??Ũ#1r7 mqOlaJHh 㿙>I^rYMy{ҿ_@8'I|Ɛ[ɕ'ͮ %9~*!ԤPɯ;p >'{-[q?.^1%Cxs$_#,hB*MA='YMVM8&oڵvT 9nRn|=€@v7Al Pw.l ;@kM +qUz aUt~tuPZr}, ڞHywr/D-;2b(V5H~OFmG5kN>L)uv{vq 0wu}>CxqbE)b3' gxOʖ@쉉]UF%Qr 5ۣD J-lrOR=Zq!G݆OKi {,W+4(9%\GZ:$C{FyjAΈ!C5_ԩ|h7Jb|ڎNS%`Wo+.`aGZmi9sZ}9dv.VC%f6S "lD%Wn QMzK(vwn#؞\ЋW`<r 7ً{_ikhOip9GJ%/9OMFԥȣu7m;KUt}7V΀?se!i]gʫۀQ됦Dю&0d*0i Gq9gC\5rnhrbªS=?\†n7O4Ruhe`yl?9PDHϥIZ~weD&嗋s5^f.TޠE.|~Ӄ}cvkrOa̦[,*"*6și|ʗVE7bfS$lrq/L%L^ӹ@+49KǺQijXG*Džg]@;F}h*1ʪ2Y~&5 m ,A353--gts7FРrTN7 8}ێ&YGeQvO7]k Zj˸iyɆw(EĴƀ1k//_QRO9VS}'>ֻd{9>QDʒTxȤiՖvbQ721 ̭|f%VB;I-RW)66`#S9\8S,Z]@[*-8y&Mp1@aovK(Җ3YٙDdBMZQ;RQJ9H{]*c{Õ^Gյ]%k潤3*+UuM$o@[5w覝/q5rd 0Yai0%E=k֑ߧfd54HfH鮦$Y=k j_S 8,Iv[#]g@gSfn 9(.u_@` BA8 `Z#cqY&.!U(', 6{i9`ȩʼnyDI6Dǝ'e?!*qVtp}&-Aex#"\8G#|CEh5w!! q *;jOc5h ҍ<?<4I;?] R'W%4 A5л,н`ԧqʁ:70뛎\TTIgP5|Aˆ^}gQ*Xٺ$Nۯ+V 2S{gS)9fn|_ӵZ[Dtuf_钤8 " R5>d0"73J-cVg/$-9K)XVGkS|lxJα#KWb!!߁Ƥ h t"& ukuK0%p2m]0oo*g̸Ƨ'~LwdRmC2faAw <m=Δ/Kθ+ mB̩^GR cs㮅# K@tϕdij\+wD Lu<{[–5!CXP+M08yj2EwˀFڝ?Lꟃ\jS t 0Ҵ^ԤI+!/:"A9sPJC^ ѭdeRP 2SLjGJ7{md%c*SD962 ӯOabS2JT| (I*n&9NN:4ń 1I^#JIA?gP!(1e~Gu"IH6OKtufF/Les!qB+pN|*>o̸7:VFGLg{K'<ۈP\bPyfn~YK Sm8=A^V0bll[~buwR.6epJ0qź_UXgJ.-[xXnVo^OL3t<Qq#ѽ)-o2GP @pXr @! iC* YH>5j7&FE8J i 48m~ˬ>_Л!t: @q:㭆VEE5 \cf^u$5LO"J=(3Q";y*d0)8܇Mqp^$]e+]^GUsE++^9kANO}*\Wd>L,0ĉ_ G=nv_d1rtaMc h܊w AkS/jP7wO_t@q|3D\-1mbZ:bWAr&% Ȯ,ĵ~Vo \5ւW[;L&ZgMH!_ؼ,=E inh/ꥤhΩ^`aKۨʁ@E1r9)5Ws5EzznZY6z9 nA8#E46" ZѼվMꃝ=S/GU+EޡB@2cHDpr޸>#X-dƁ3n"6)E*< G1/=a E/,=YNjj@:IqxtoV+K/s6O"*~rS,(yaқ% DcxiuZ뗟q`\&YeӔX{¼<'ZQ9.5Nl2RC+„6,{ы)O5q2RH^dȇaVH4~@$f=3YjWHqތאP̥meה;KIȄ켖GWIАP -)ktMLiR"͘s ;&^ ?aX9i.ܽI_7Af0Q7i[9pN*q $KX%Bڶ F&>;CHlHuM3bHW2Y#ѫG aFذJUĘp3k"ʕ](6 H3Ub y"^fR?6Iž|iZOeR _Z%ըVeȣt܇uŻ3ca+5lw'(볊mh__ b֠P< @? V]:ܶm+]P259f9|֭",LC-C ȆGWAG4; UcopuaBTIɕkmk(N!ELg&ŖRWi-¥ N.% 3-wـ3'w w*c&bMݜɢm,$tb/Z*6_ #+gDX upwTDjn[ ~bN vWn x:EY6!RC9 p>dbqg|Z?_驮4tr1~cV%̩ f:wGG4hArl_D٦~2cfe6ifXsHG_ʣk|5Q_R^i͍i"Ta)^jJox0˟ESTY75gGrx{;#*ns3aei Ƶ͵u.h%sk9pD']eir`WӼی4,WB4.`>%8? [X n*j ŪCD"#vӫ;'"#߯KGRS7 O޻4zrT$k P!3I>t2U:zSk{3[JA(^d 7W>Y@?ͰŧP =R p_U. %-ŒjѶT'9LF#$RnK^>m % y1x'")aM(u.k2H=av:Zp(˟5B-9LYbbv[{!x\&vYo.^'B'Pc"4p'L1C4Tި}4J:"]ѽx( prw QE8yp0N *Rn}PM\=6 oX^0bm{r8\iG$` qV!ZcM#TЗB!oE*jֲBՀ7zvfgٻ3AcɅqvS}Rl1< Բ;@ǘ E-\ŊUp"8Q=pYF{B 'GvnhG=ɺb,,y(nlWDZ+K6MlOv斓p*XThNc `=Om V V%:M9S1mhx]{g0W( u# ~V95/S{W]eWhkq>6TD]\@GG0N1dZ%A}1x#԰Tbds3{{VIu9èJL}39)ej>z73a߼M(W"_߀* g$R 8-հWlwc_n]x5ݝV7:lߕ~M x7n}/KOcJWnh@E/Mꌂ=-v@#/bG08CgSNg5d>p☝Dv:ѹ(5^'H"ww/'1%'+(!w|f^LQX4i^bdȬ>OFXtE⠰л*-F#s pm3Eڦ۔k `׿so1p4#KrVc*'w_kc֘=GlVyy3Q|sUՂ'9Cgh|fGKdMf쭁?|?M/$y ;bR:샥r0J[j"bq$n0׮K}OnMX,ί^b2%s@93c`炘F{Yka# '(惦mC2J~I=cgšQG#HcϚ >eqOPhR1GDgbhZfT#yft9pyafnDA9[9VqË<Q;#;jq0-X_ubJlӸ2Gʓg[D%`/0v:1ԏ- ݠK%&v H-t_oIώ 3+Z,޺)M8)+dH-*_s;BNd%Gڀ@&zK-g:@j0z#ip0 ھֽDAh 6yBBj|۷iwKDiXMpzQA@WFX[B/1X僊ެ`,3TkK~fIuǟ `[knArus262'@(QX+X1Tbݾ?#9W{ph'/)+A'LԖW5>9]bpg/{{+DRrck`n4(@aYjNphJ6z>ctw3[R&l.KNZtu(LHjҭ~(8Θ^F0^)+G]Or 0PIV5Jn3m6X7V]ru -XǶuӑ5:6nkFSi$\ɺk>7t97ݵv{ޫ']w[aؽ6 [עE`)sd$jEv11CsmsQ\w-7w,wbMVZCSVzX+Ί*%+\(Ġv~Xo~hRfevyW043?# +1p>^ Ė,׎>.Ag# Fպf*JGp9e| ʲpEPLEd3,!wOM/ Wokyj.G&)E跼Spg`M=F2a*q<Gm%]Bd_1 $0atBr'F^;V`U6Y-rZu&Q]W'] r.,؏d]äkh>{Vxj|Pu-{=qou1`4h^?;ܞX6^Al{۟Rzy 9K7g/~,{_xmY^ ('QAAM'p{&- YiqwI=(nNa\47 ?<K_dըm(3.]M\.<'vn&RģE&$xWȈ֩G.v# 8/‰cѢl(+Byb9(˾`ч4}t*pG*%*g`ldlkpk2[◚r07WdnFʹ1u0'QGAkxJg͇&S{[|e~iì"PdB#&@v^$j0k j-BiDwugkUό#8}JAEaӰ|qm ^w^wuk}BlohM,Z Wn~87k6v%v1m=wyk-z_Qb=Ұ* `vGIx0ns2OTCrLک8欄%ZŐHb}|i k'yT>WLP 6߆fqo)M;jU0AdX̜]*xIiQ:$X[#w0PPYNT_۳,WeCE/DW,XM"{) (yƯ3է &7ߚ9!:b،7 -|kf ԛ/ANn\mIa'rZ/,e50{DLXEiyV:<8}m&nlNZ y(D&q$71C[AhMGymwȟJLf{P0`ir?AݚW=9scHjɲG:hdkm1?byhRŵj yYQ 8FWA wdJ#Ƀ1сo̜E% tqD: @q1ܫ>OӞa@5t&&qj)GnSeR6\)?+[ش' NL*]ژࣚ*w_oTK^aw nc2ri[V]2H "7[$ܥB0k#eէZ>b;v^L ۝t'HYnv;%Wd RY/h/):6E/5_{i0Jed L`Ō~cy+ި؍q"$MdNEbW%JJi:@Br󸫘QNgdX!LXC%n($$o6HUB^i¤:lύ bgNs1;Ŕ+g}aXpX=1 LAZ۳*%ل9Ζ˹uۺRŶZ:xl>X~-0@ĕGM Izi3tr"T'Pr /U<۪oQ~$,RpQM8s (vS 08j,o!彪4- :HEtd)`ޢV1W%RMUї:d?7^AGcKW5ea?#ˁ,-VHoFM 5;I)lV8Se9Hp  _{C+)L MAn dlo GV$8 &\ D"⡀ p6AĐ8]L;ylYARK+m,3a_IK s*$u7nY.PSӅ׵IG޳KK aKe<.nAtE*yyڜCr=AuTGɏBz.ǮRjDlP(~ϼV^V~A,Ag&1A"9!6r^CFs>wWIMTN#V|tH#wB\LIom=JV|?NSm;7o%?纗sGe\GuMzd|$ q#UI6J{>@Tk#`DLUBF4DMi{/?R40ý=/<%.Jw6~cZZ4M*q>[RDa)t/ûV1xVUD>7  c1gPB>1?(*x +*Wz95uoh\oTł7 c!w3oȵoeY2_/|A艊KM[4(W9 l8.Z1{uBdqc f[DZ5#3)#K}$@J\<[4 L ⾺Bu@ 0z@sa֟gR~@ cew{:(眰}h9i\%)72<"a縷d3 ]GSV6;u!L[ظ`HqIeg-#yt6p[dnev Q%y}v*UI z=y HaXTxܼb|}Im#⣜Z,T~"cHjF|m_3k?Z3wiQ++0ӭ5۴p1  !mv_;?1$'򘯕I`H A6j<3weAwQ`?ME|{l3 Dl94KMH?یQ1Æu WS=E<5ܞKD40lOrF 2z˛>$M[6_jxd(rl r! ^0p23y2Ϸ3E ?͖G=ꓘ< JE节>S*h]k@Y:~;9>? dŎ)0Zeu~|}?`.OYt}7 Ibcev&EmT2,c+QJ!qf8L@|~|zNG{eo;u,qƼ~㫜2}35OhhklIQj ,R0kʣc%Hhֱ8G=OnHu"MsH Gvxz:te, ?$wlWBa`lxm3X0-r$Zf-X~g." rUsyhAĤ_$L*"aS/}"""'8GvkP/JGBE/Y(1f*HSy |*-IA4cf,Ԉq&{=v1!GD*O+oU>bIDuz&@ wr&NmŜ8h,~=OÈ04JK휧$:Me'z+rXojM;JIADm[hH!M K"Mc.0XYZ[:c+AQ|LWG ѯH5LTLE dPg]yEߖ,SWkƔ(&ln//㿴ԆFPQuEyyR E(V\_/n <~vK>oB_YgMn iݪ>])Ź_~g5Jt(D,nen?\=e(1EdZ!x7_@u'[Èx*Kw;7dD+1jA:|"dEUur~J<+n l l% [11f7 2^rt/|[?gzv2~[E_J;:@z7Gh9hdOc &G!K50aNHۻJi/83^o::i"vʆ 7쥕s@7$*fKkw^噼$6Ŝpq@T!˵O1 $Bqv_; g\vm()Ov YLcKgQ_Vhj"s2ֹ{%|^CU3psx: M?fJx˿_t ^?SNEє;>e_&rvfV:6mk} GJ|<8r䕟) dgMǽDeQ9^;8Mnֶ0$(åx#]C@#} $1A~Y݆d1cj #|Hma$){*p  f("S`STbC9G{yOxbL~@*fg?xc UFUO?lA`D8)%\yT _6%wWة%w3ӥXA'B@^WxO3k<vH#?ubfxd>5:C;hεtOmr~KSUzi!ڤfF>ottPFh4_~U>c]KM?k bijf>fm>(!-PL zhP(۪dzub=D}'tCF aS!"b#wgG38 S LpFF.MxL(1Uy1dz8Ë]K!Λ0*˼6͞PE(Trpe(7MxT@=s?#:ưR棕y┱œőެ?B/.ba97wr%v'rf+rHOQ~b#ιc+3}4!\YC'8t?Fᒮ\SS0ca8%FɅ,3T)9i(A%``Ok.2;ЈI/^ j`{2FF^'_<3=ɉg$WƜی}&i~կ8#B[Cn;lQ-w%9&t2TOO+}j|Cט\c\f]rT}Frϕ .TMNh(ƀ0Z)zFYq8[3_{oE9:)(oóY;&%($-zpt܏4BVQZ !-{jFd .Բ7$4a2չG*A[tk>Z2CyrVQ9S"H~^,=d6~avw@F! P(ê֥r m/{J+|8{s$7-麐*xNưRMGL ]HttP+q)A%8_Ҥcl0R$V;RZ!!34e(}쓍 Ym"$|΀]GW>8L)ӄD L)>:G kCA>|@j:3TK3 @ &>~Y@P ]ݻ*D֝:bDUyF, Y5`e_l1_$Ž/Ԡ+i_] dJˌ/1&g}@cڜ; Wip3NZY smFSJNtE'ړ ձl0 5by^w&-[gGq*"ż4|zUqM1-k3۳I݄#)*8n~CcF(G}e}AbźruɦIܣEt0o@L8i?Bw ~m^X5ΈL,i:ST ̷Ly9%_0<ѵNG4APB^3&-Mzu'X+nv>":QR iePdI}>U`[@U3)իLͦ"xy!fnMw둉p gBw,A{l8ɕ~m^YC|P'ayx"p2M^Cu6q ZhV~ըX~Tp5Rr:"H"sMWQDHX:АӖ3\8el;ah0eh+O(s 2hi2?LSE_H(ݵq>#ALU jg}u|_̩ڪ>Dqx.nyqygao8bx !v(jkl%H2%.Ptԓw\z7POQP'^{Y_PEA'SRרxWqC@9]<л[+, {~,\p F/fnc~נY09Ոb>}˧㘉8|-ohzk볥{K8vop'?ëy_>Dba-ҨoM4R 5zGO YωEF{DV4N v#lvwtk\=UOruG69~S(m};04uj#$dW"4znnun@հ ޞx0z.0jSo/2tߦ"uXq~A@sGz!-lF[/A')uG;6l}|~]ʔu^ڋRYsHvn\| va2ėB(~5ci_c_-HW+#9'c@nLN(|AU8/Ed ^`i%z0סqHلH}I'g$_z>(AԠ1|/5H/頇J @ -е¦7醺(qa=eyᗅ5_+e#76:ʫ CNSU.V &auAi|D0*ww>f.H)Q3@*KĿQ"U2ЁO~N"zYu oP8ʩKC*9ȝD~\H1/>bH3 ܱLpXЛ8mC$}; O6X0s!D;:N90?`%\Aw GRW9:p?+9)+G)>C(Wӌx"˩N~*+!)dѮ,a[*k=ZV~=Æ_(5!aI(`a+΅`Jʳp䙈sk>2NQxkdHtpO~~0f: Ws O?]&6Gp=Y$Mߕp/%8%X+߄n8ٜ+FCe حJ:"z_Ev)Z0 C* T[if NEdoRſJ6ѤHDA ?_Cnm5 ǖ9! %,3`fEď;h벎U $L4gU)Gke֡M-d=D9w_#c r>8h_LTZhA`qbixw‹f♟WoIĕCw!2 z͓_'J-AL0`MwE擖8u=mi| kڜH#rI~_dVԺm+X;L4W Ւrj=/\2إ8'YcK󌩣i|Yi`}g `X>)Y5]_w'FYd]4։ H /v]R}0CYt!|FHyɥ/^ib^Vu8qE-!:=E̮ȗ"ߢ 3<N3T1=49e\AD&~̜+x.%Zk\-a %e;0һ]{[ӤȒ`ҢnSEW>C*-em.{ؾBQQ Pk9Qgc !KڕM$EZmx/NHQ$GI:nΨpt(iFjS"5zi \a;8fiF@7RlP+X:90Ț`%~ *4h [Q eʐ$nE Xz3CY\rM̨E,-YDb{7Q}v$ r eFӢL _oyP5xUhЃcm+S,oZFA e+6ԖQPEVkT4*RCӖr6den*W'VT Y~nW(&䏛F]=-"IPqZ[1ٞe?2l zu]VOIa eAR?o]M+S@M-),t͉ ozo_3[J BFsf,m(_C)u;v67!\F bs߶ y~  *%QF͡7AmыڡEā콥r . "YS<`ug`)8^w&6Ֆށ=:TUnuDQsj};]\l"o~o U.CG{ CAO^qC{a"?H{^⪭[jI3uٹqN>xJqNi2~1OWj'E=:3|12`ޅ=rOO B:/o:++BF&0uagc)b6^ޔc-]>L,wl@I3~?sF;-9VŹRB,9'~;X,ԗPkFeq?ȹS1C@MvWPpQ Oi9?b[Üy[߱2;`ܗ4zH4dtpkn\O/28 q '#$}Y\Uؠ HJlm,]0! u%g݄U]J]N3t 6@lT~ ϞQ g2<.~ )*5G4;AT fʕ8v'w0yd9@f9UTK= YMHƶ#;v:v'Epx QtR+\ ՛WT~$mӰ*ukY`{{|h+nWb:F{E%_T D)nIt+L܏niVw´֔kZ28~e.hZS[MBg5JC, 7f͛yN)ށB}_ݣ,88* 7'X{\l@VATTafeC/L"]՟=嬠_S❄pH1Us)l `s} =7q;n3 rn8gJ|Lgl ۍ`L6;/"ә]N[,؆_KQzOV2F/96i< '1'[>L[Nw)^F2<8~frX\rVwèmלxxpcmhUP,tVͼ98~=]>h*~ci2΢BZVL;2@?:9pEGqB~Y$x&=9 T_&"k*KrG?!YoT K,@YPHdyj" x͝e% r|I`'Y }#T-I^:nX(8g*] f+ plFT"l6*lrf$zSG"}zS!۬7NoT/5T`/Z +f + LniOGfܾ|^Z6Iʅ{'QKA.R^]#NC7\3V=0Jr\,PΓ “q-O[}?ϑ4@w47t13$Szal>0~}l֜x\Toal75dpv=1[#NCsJGtWG7l^QEB0%Ukfa d4InP8M7fp]ˬ:nz^ @^Fx4j#|Zhu6'U!򀥝/=8 //.N<a1KzuuOnxs͡Y;TbA7˙N3ub6-z(jO`w hWuF%ׄu7yil#O =ϳ*Ei4Ot]3Qפ+C_]Dg䞇nȉӮuff=;չ 6 F$Ei(k`ߎȉ4G6_ J' z4**Tǜw6d9 `[P!p6K;UCR3ņ4bMT ?a"̍qo1 'ju&T00 `YO/"]:^^p[;xZ+IC{lWqzF[,SF #); 'SQnFQo!{Y4E7|ےlRo!@m^-쫮*ˈPo&`S3m#|f}ñ֪ЕEZ[qTfvʼnc'a۫27C(첂}!d="ˬ;^Obl&WlF̦!<[1I֎ڰx􉣇]g4&pU\}wdS X]+-3H l_ e0V+ ? KK% ŷl?[DR6HXM45@c 3խD?ҿɥłMr a&t+!CK+V!cN΋ $ U 1"I13Zሾ(nO\5!xY$h'i*ΨaR5]`rM2| [-#I=R;| da1H[crv?C.M]P卢;5 l:s?`  gaR-bݗ(<22M.cw~ͼ`c(νs)Iy%Pʹo]S> ^(mGHLb1͙D#job]' & IxyJm=8e˵C1n-g?F4p[0JOП*Sv8{'UB ŁB1d&/(DA/ːK'Z ?8 !k=GB*xf2 6ߦ:fL6q j2nX.R؇MSb4p.fc׼t&/8^7 hVoֆ:`iɀyY} <̽:j +:OV;^*Cofh\[xjhN -讐G ژ@YSzT䠰C`H9eAa{4/Eॣz*fBYn]3 ϔhK̼ň&F,9̎bkEXU%TӕU[?Dd@]dj_&c#9wv}>/u[D CfVG -o/*1CޗU-;g{\.jQz|JؒR[Łx#" iyj ao |_Qe"mCA ewV*}Z{ %Ґٵ89*Ch0 n#SHWaw)vFpht*H*udw2%PT2>c*fcP({[r>Q)ѣQj"'69l꫄b:YQpb RL'nT@BAzBcJ=n ݑ=n?Er#Mn Fxw kX3 ZӁ=$[$-uQTs!hz2/lt,D%3,?Q`q" NQ 㬝]#ݭYOfC2J ?+٭9;6e/|#LA](Zd-#.Mjtzi rjvQϪ?܇Hܴe9|c){}G E:A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112+4/' ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N9]·Iq n[:|&[z|}k)9C [:$ݚu$sg3-Ak*uW;3,Aʏq.î`I4_N'Iîp PhJSQ_o1 hإ4bn!Do\ijqee,/ӝߩftM.2~=C|`/>\_o guFϰ`M8YB'@)0o 5;)gX^ؘH8SV 3a- wG /MxO >4>L:ҁ{Vb$Hqv5nq!7\yF9k,ʠa C_iK]o-4V~Y5gtB>C̓oԺSnS="LT,V|ߐd/9S$4CiW%U|p/0nL,ANRה ӑ60eRoq"Va|#pW&|givlib:?ه4,`K~M1p .3EWk<^_ci]<;mz]! R%mk)NUh(ihwuweLF )\3">F; $3`Jlo<)B~T kW7H 'ʗ5mS5iFq ]H}$Q;1*v‘E%oJo%"bY"K(%CsO8L\L1ur.iV\M>A2%O)7O(#sGJ4BjlG챯z[NiiGYvGF;J>}QE/*z)zPaX6Ypvhè3[UeJDD M|F=rW22SspFaT##Kp7CD @%{ 95d鍠eMB^zPUG`*FQ ׹ڝQgYZ;o=qb?4;Y2bN4ՆwJNgNml"Bkm7&jEuYRHd$:qY=ⵠ]?Ȁt5o͝9K\)%Z$%e:+;a2aܨ iPx'#,!:*>o嬥x!B` "$ F^{z18@ UZ$ XOq~qyHB&0JާrM=):}fnsX0[S\4Ei޼FU$Aq7IJ5#cZD`o>,Z(E2n)o#' eNYF]Ptޡ$'I^J@%kP7+DbӛlnC?Ok-/rGFe{Z&$&lXZKr\i)1wMHgd8* &faME_߾|x!>zWa"GJ] K͑!cU2#~/-3O>2߾>oY8ιaps|XbqMmxͩ(Sڪ]b_l!O GND2hH ፯`ݍ,JU+ˆIQZJm~+ϑ+7ގ6 'C2S>4.y6э7`!| ȕh,muLct K<vZe64 ;/pB*Gi5V Gn&M<&C@fj6 SYbOd&k-OX&d_ Xb39`iQ VHdNcؑwVvbxGwtomK*@m_8;Gu@Tk*=3Pm'-ӬX+ ܺ%02-dmAPDd+*yqr?S*S0P~YU& -'4eክ2.S.lJp3if']X#עm^_^lijz@`+】bH=&rʨxG4OH7Ggvc0Gmb+3{9ݏKְ)XŲmVL@%ۏ^ cr$7ZMfG8ɰӜK!qW'N_.I^e)z񲱾 RZI|PZDNUza0 )O;%m'#wz4XS~թr)>˧2(?\W&Q7q$l&^ALa+Y7Vz \" .ECOC`)b%6mE<[rZL\CvErfJ#79bO/@4B"xr8(6'AcALW&g'LbkXRz1Ng`9 4%6jg*̌jᙁe}7-?y1~yɮq12 G)}R4 Q}j_7UVms|8f) qpyu#lfuy#+?`첖/(lI]g,1U8%'Paڏ0P?kndL2'p72?aRToQ.;Xcz':XR=t"ұ 3N-Qf1Wt![HuKLj7Z%(E+ 3餏4,uGm[k-%fޞ|D&vebD 㶳A!4SU&[iԻAO,q)pGnoZmhiq;Z#.up$ ]烡Y{VN6t}C"IJkdl3ؿB5MV4>R{9iW!ոC.\{s^,=˜Atrz߅'{M)zuk}Oc!g,  if dH]?3 T:6nDd =F #P17U =ycvD̨ Bb?Ma36m6Eˆ֣h׵Q tbS^ne+|R>Ȭޠۻ!OH%0ҟOkԁùgGkeAZ~'9}P[I1zwdmr>]1ڻµd)sN+nG ov(3ك$pr߰rH2 7S.W&_9̌auBaڇ`vCx~YjHu:/WéSh"qUf@|Ζ97nd_BL~?V<,S4~5S`i82u'0`j\<ԯyߎ ~.w#+_Aq*]f$nҰɺ;vQf\YA1$GBz-wao[$YMz}vefc5ۃas pz&'9Γ$/,ݨfa []'s_bK|[FXtef9j7+.GhUA-Q/+qs*+gtABzh~~wؔpr{tZ3##1Wƪ'7vl!y۫*EIl)q E?pLZ[{7W ]aq+F4˭goلSn6)X- ;kcel;ǝ sVxcl[&/\ mZSvff'W_ו>c/MIܕ)4_s@9X!&Z}¤ ,~J2ꗽo>r8WMF-ܷ:J!l_9aX"o38_+i |ɍ㈳=VTB׳nytEu2豫քt$vՆQ58ŽL78_Sg_n_n^QG`0ًH}Nh`&X_bEo?g"U,w~`Fd9U?q}8e,wBi .4N9׊!'~^DY[HSr\tV?n`DtU}!R̰Rg~;t@abȏil7hy=~I#3C%knQ`_U<)I; m3"Fhx;ޥzfvޟkA)V3}ʛt/h& 3̃!4.аttX"zzB̌CcRWg:~Ela9zj 55O.9KS|CP/*<2ricunrzH<P3,5>XM]ta]-a|6C2;߅Iڍ1L_G&nbhiƌxn$﬑'hc 욠{ђLt dG`oPo7T,q^I[5 &_`SdN WEkZKtނWn0&r++/땡uB4Jsxh`_MQ_15E^:+wHHbЬ;'$6)21:N17tݤOޱoE߄xmy 4O| #ȯmemOŭ!rTEo%;_1P5Lc6.hER}'PO/* "1:׻޾G Y(}/xʬI kҼH"ދ(1,>Z!ԺV=9%˥WuLd*$[`l9?T|fh+7Q Ey+爨k|W1'»&Ǎd}Y{ϺśhTDj|F&%QP"*i\sjϱOzǞӱпlI#ĊU)g*Akr?iA34`άyZ ьؗf/}zGn*><+_&$\c.7A6?d$n/݀jtyK}>;zR(Uz` /Vd?kE@h"oyT$2vAgүN&5E\Y `'%*lP#"VT5RU}ױ~ ,*aL~N~oL[C(a|֣ӓHk#+0X :0@'3s쩏'7߃D K+mbPi`*wCmxYiq4*զ>}\ L4w^<C3@AJRv1POm\k|x'$srOa?]bN)C+Qʩ9LFP99)٧surP_FWvM:&*r]E6w[n *wÑ҅œ,9hYj2UCtRD![z|HRq y{j@^xF:[ybOXEaΖr;{E/ 9u0Z+}˓.r1MW3ou!5zt\eX}x`2ʃhv'֭ KZKZrA'yZ, ^^lVl}|$7osZco=,z1&gTY K-D 7o]Wʻ0m>aUxW;K-1VIvEa*^8%#@kߡ!Kx?X_cq0#&wmL 47fsvȍOPr!'=|g^i;*98E8\ծ~S|ayg&>bHm Hfo_Ы:aXn ]/Y-Fyv~fsET (P_84\F42fќt^Rk&**p;Ǣ1xeHH\/L% sY-~oQ&?hB?ݍ@D ʜnyoXUg0q؄% DlH{I_^obfE^4Y8Y(}OLLr<ݜޛO|PAT5++y2+aD Sє_k'HH,MoaP2#Ş|IKu2_~0/09;–^&K7AyK>Af $AI({8`V@cJ8r7f9xC >0pӈ'n1uKb>6⪖H)u$`%cャc짋?zW}0ebپب.iQ@_,lX nR%. 9(sc&ex;owT{J67hpEgDqg oRi|]sjY'vXPޚ#̑:Ʒ1q8{ȿDžһLCwj G=w䬓Q> ٠UOg7~4, Y<ʌ~7.sF:(bR!7eٟAdf DuXW5 q7gx?q +.>~p ;QN6N`@Ђ)+17P2śh^jQ0:ڃ`1;4Y袗fBL\;礹6<z} u%ѯ0X=W̚Z~Gi#Dni}Sط̵4WN]];pZs)0; <$s,a*^xs@Zvf1$FOd)E+[]nSmq><3f|I,O4[`<\l=H"3b@A@X03@3MaC/:3뼋jxKjM^fe4f]`\〰~B]sub:w%Fs\ݰ&3%kU4yR? Zd^a}$7Z;/d@H9 np=V[=,6Vz u903UfM]`8~:njo({cHQ/g-aSg&⽀ku\Zx( j\Juo Hb{F^ejʅ|eCGɰQZ/rjhNP"dV Ls,7lT&lPvTF9A:(Q.ឭ'Z v=:-6 O#?-pCțJ)cQMqxֽoڞnvѢ<=0?w|6 A~ά6O]NҼ%tI~o~fnojT%ڪ"O 5zݐ*'²1dġ&h̙dk@/GzW/&܊^>ePV5jy#]MJPj?h\p YӉ>iB -~| tNFGvG%λ.9 fySd"w{%ں^v";pv(Vv}&wM͗Ő<žfE~c9FnpZ5:S4/2|!/^0LjY"b='p9V2qLґo嚩blү`B/Za y:l#+B!:WKV"#V~61KhOvVdW$)h濝~]GeާRQ%ӗFK*:<U(,nm Q'yg> D83|KTL39)DhkL<(s7*#ft48|M2< jޯb 4 9[ SۑFXN),&o䇊yTJJGcJRN#^79 Op#^t/־OAzu sGٯ8VKڮT!!K-]nJ3M^eȪݽ39Yr|uy"6`O&'?]|&+A#T~dJ&RZ&L8 '%7̓<&i/R`S"4nm FBlI1o2Pޥ}|ʯvj6FUi*IaS} QۜJrJҢ= z gYZ s;+# ZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͗"Y^kL?+G$C`32hyyޚG#a-g0EbJqtY;5{cAyYtd w|;6Ņ3\,IP(H T(wc)R} M}6ʑx 6`4=!n Ig4o6AnzUfY%+EwHEq/Y/{VR, D: g\`|^q?ˮk`NՆljQI >L? s"f 2Nsn`';s3Br*djkg ="Ž{A~턓˳hegb"t IHаa%Ah+}) '_KY{{e6+jr5mpuSВEԏ.HgIf_f16fxr/.mV[7oDz5iQGykͬz?N+ᙪ!oG`ȕo(ŁЩ)҄OGnl oNExdc޺۹hCpUeJ;юgs[٘)!J= qbTnGƐE'L;E3v.T(fYK0:q=|I 8tlYi~dAOP,SmRQnBSGvϓZ&#*ךK.Pp[X.owGG2w[~g٪V"Gy9nAc5:\BU!VĐŊ!\e]G68uIn_ s6wN7룸~Fja>-T٩~1 w09BnC+Ġ,zys%maiYT7r\s+Wn/5\bhABV(]}5i!z8X |8T*MJ-,\Qfu:ONQ#8"_u/*ލpHd =󾁌G!pUQOmDйzĕrVҥNv*7r44}zu QB0;&Cn&|kYGm"k58~>9<2crZx3ZP|A ,icd&dٍ=˔ 1v,Z#v::~ko]Rуxw1&Iy>)}!mB(w[QmN 3 A2}"m a;rX>bu\[kf+Y#ZU$6_Sh)-C|SVsgn Jٽ&]]Դ4,VMI XCxGVL߄ |0zOY GjJ;(`(T-v 8˜'zԝrv٩,@[B jȻjߛ z\7k\}x=>L5SX&/^Z<+X?s''Q({Lc&4h,8+U<nG`^_s1{nzmG3"E51=;n:mW_uKMqhkR1MGN88KH5϶f 76#.R>[TpΥxg'N$=|H*t]+'z x&new#9}p;c.'z-Oq"Ӿ"'De ;T`ʻ:i3<:'3KX dhF;&20ޜ!MFNaF YMhBS=WqÅbk>&hx8ׇfH,)$y* E~ \GA%鿆ǐ.Pq@@_{kru*JZZ^>d! l#Ow q/c^@*>k`[ihwnuMjjHU.Uj:rdVO#DM"*i+kfGt( K}iM#)vbgQEy5{|X5-y 2*5AvOc"j!9˽ 8,)'+5`h qt^ Dža-:Ӵ%g֭4wp嶱J/&879+J4$6Kk~Tlֻ`56׷᳚˒y%+;ѭ@'ͻ@.c?PZ8+A*Zo=vP>)7AD?HFH RENJ#6-ŚK ]{o1}2 ^#\HkƘ,ZwۖۘN0ۄj))ֆU0EM }Axs~FNJө!|RG`t^N4HPo9,pf˘b5i*w3r/5NhaCBKҊ:?CnfM[ܫ X1,n@ xEF=  D $XC )# lZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&fWSmGH 4{&m9t( ~1JV_0XNaHto,w=ΨEK~d*k.X]tOĆ*n?dD/"ۚj埊ӱHTnO4NW2ĉNE 0r ̟vcPX0H;0]vuP1 Vpvh%3{U+=@fa%A ʵH<< N~GLC2ɫ r!J=i7gu FC䊕ya&Wr _ 9W yl5_=+jL˞ނ!7\2co\4~+d~]${JXn3av2路Z@rؔ^g|w̵ڦHh/D!wWѝ1H YZɔn9p6;iBdwK?j?369M KI3) ^_j߈ ړ]sAj!M*&{M9qjqʕ4c-~F/k$P_AJpBAB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' TZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.!]·Iq n[:|&[zI\gu98=,Q:=m\%AIReMTju^&n3m}K,)KkS}APpp4>gb AIg-qҬ2lccz`\~| I \iw6X'V T{{8qbIdtxXQ5ҽu'YU6bx 9x地)"$ZLUmOn+7on\#P=| H?b(G6BI{G<+*dg_$5ixe:W ehp-h&:9ocB(y'P>]1!oCG۰XYԪzĿXn6d6&|K@a:۵) ,. `E{ث S aciŐC/VЋ~i5?,\0` Mdp( & _T_s> eݰ rJpEV x&a3nArm3I^y_L7h5xٰ6V'^A׉Z#1ZUh?of<Tpx?@JwiGZmi:#5:$Xd)m@cDGo@UPݎ|G^VpZ8Ғ([߻@8hV{ C>Ff͇NP^h= 8`E/yCGRpO5eF%<,R B4 H 2q84Ž&W)H*$6i& -<Sլnd B;  :Al uSṚv~U*Gerj)e+]C+(T+gYZ? 7# 4ZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H"]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;m5Dʗ۳徆hg}Cq)37!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1149<+' $ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! J]·Iq n[:|&[z.D^%E_4`Yˊz\x`l8)SRiN9|՚lGb3jP?Z ;0V㏂g$(jhhy7!球,?ۨ چ$UⵜdW|Δ,ec@ t|/?g f:/e1\Aa j7_yY ҧje_jд@u3aN4!g]Ep!q>Ղov"[ͿU1C\fnn7lW[K_oENU?9,IE7ɻ h>?9Z`eF)pV5noqjՙ܄7?\&s{OwWK(W(k|_F#I|OԒJ_T((4 pa "gH⑁e[0PRRCI_,!ga\G/?lIVwW3%ǫ;캠#*}Osm`^)T! [YNbocUx, 5n #E!6hgL6COM0&/XB9 Z->IXX %a˜g.MrJ71n1Cș;Ypj؍ $X$x4aʩ)"&-eDt6u¤u~(@1yp QLD _9#ژMi@CTp9JDeF@YM)zgYZA$Rw{1"^*;Jq;H1e7F?%%`Kɓ' WbZ2:ծG\r8T*:/& TL<1 ҟ}֪]3-Le]=^G=48^~RVk'Q3HHMr팢RJaɢbL<,!@ֵ,sc@qLjP5>9Ù-}.x5K U)Dl ˝G/N3hG<(/$h3-ga!EB13ў5,;uDIBWF7p#QnN';u)n7e<;*H8BYk9K yX_FF;FRMNp$sc /,%{XY5stNY/!Tt^!/JwFxuQD3bGNuNT)0֫$NgM]z"y,իnZu&(C+|5I} PQmtiVlraX6*JD#ꀗ+]B/x]z֯XJ#'GCk<аU'c{f54O3-G9αt!ȽH5֯X_סoNB~宷y' X bSm%qDv|SUMp<*Ck2H.RoyW7/ l%ESx9X!;$LA͗EXN f?0<Ƚum#Ƨ4/4"-m,|Z~짷AxDpl3~"*j/Z(F [Ukz^֋5ũ_NAm'Oi;ipck P RȲZS>Ai (WioY!1fN0X\ Qp[F>5{t9c@=i)k[(>okũ,0ڪkeě ?Biv@TpuwaϥRFh 擷h넮jK; sriHqB1ezXsɡu; 9dŭA *_O&PB"1ب8TJ}T $憾Rua_V?μ%bc&82f14bBOu?=d ?ߢM5e:Rm/74 TVkVR"_p2N0،## 6O_{)1#E89@WCB|Nz-{!M,/ԳCa^cGWecc A.h0V,,#6(brbkA/:R=ٮ)_Zi!6[wYX(3tk5st΅]}ؘmJȠջ#7cb.&](J5q~9[88ƀ#OR>*0E=?pELG.|x۫OH/HgPXeZǪx"N(qP"hl48pZ~aXի!6qsܮ+fؤ|?mu4!ț]>tbB)l(w/ @oG?M~#H"t& Ժn!>@P,olkF)CQQY=̳nKJ7\3,mCc\|aƇv+VGէj);̯fmYw tfQNL:B"d5w(FZ5 q ?*GϼZ!~$ҵӲ>"0NJ2.:B[ u9oT ^OFg yV.JrrC4=8nnS]eOOHuC<3(P|~H mm 1m(*$<~*OTYl8JD!]ܜ;-D;sB62qH URMLvdXgҸ!Қ݈{F?5z `>i@;tb6p|.ؓπY8RڶˠD8,պ.d?5 O Yɔ.lQ=J(--g^ig) 9Y~mIP?C%|Pz-ni-*82 g72C+OnT3oUߔ]5@Kb6$3ĭ}ku>׎BOnv|0<HŊ>wiSMޗg0N_A!V"EF?_,C*{!)kw#!>;o,VDAyn>/4@HX _ [qA̘'Op<[ <7{-W] 9{ED#J^ºƛq((Qc2R {0M"4% $]QKX:` Hg X3U m|PfʦyHf/4>9=9MTW-+ݘׅ\++)gz6B|cRw:N)Fs"TVTm) Xf7QҔ@usN5E.)]\|?9nHx#o}gq{`kH dqgj.; `!đzy~q~\ _.ʞK@"LU@a*#t`|ٝX:hW|j,8Hׄ\i>N&(Oxhjl)|.>豬M ]#yj?l=|ze HАzM2~C:o-/F9YSXDjAH 'tA=&C ЁSkE~! %4#1;02>wuZǮ紌{BT^F&D܇zVE& !Iҩpvz!Hjձ~`1>5% `MY! VupT-G$54:YFӈ h^3H(Ee+JKBycgbDT BJvX",+yšl)>J cB{Z˰5?_R2O+pK%p5bWgsӖNp8jpQ_|!(yQ,Yk50H-BqR6\"lIUϦ(N[sOe$Hpll33m/,zbpkլZPEtѡGJ$d_6m} w9ZT*>a9jT2ߗ]I6  ABNbXquk"\kF||B(7LIiDɬP߱gYZCN:`B=YN~pYՙp` &X.6:.ήΣKXLH'!6mr{ɸD\(A1Y߿fޖ=yF0XEPo{aNJJagGL vP@dp̧ʄ AvL,4;U(&%JG\$Tm.08IeAd 12@<@?Ra^dePax 뼞w5gnU7rZF HgjL@:_obsC)G,`[<,9{ P-d04D&i rzmJ} b^;-\@tHRR Ⱥaw̆ss Xr[ɶwxTEE+~sř4'̩ އ3@>j5ަ fE>,yn@gaS/%w,)vĒ.]RSN$}#wOb/MU@"Ҳ@9r)Z6|iaZFS|ܹ}C5XLbxj=N#Z^Nm *t,s-lP tM% 䆦C+VVތ³N폱q?sUzmmgOܓMQ%} N4{ 8 yeŷH^$}LOtDJns?j~{ ie<͏Hy`ln(0ބs#_ђC?Ϊe_IKŧg,Ds~?u#Mm1o`3ߖ/(HDj++p\uИPdAg@j +۪io,)^i +NX2mBvWf-ѕIJD4i4#Ɏ T~/wǗ6!Safn3Hfu`MJJ(+wHx>#=ht%^(8JBMN*v9|T* `,H(AUj:qQu8{h&בj0 R{jAy!DyIONs@CEb~W6Ip:SΥ Bfݥa >0|l" u( 8[`Eƕ%bg/j{34Rin9j16˅福 8I34@a=['y%R#9+x,G7+"_y&iɂlؿOPFbiBȬ܂!wVdQAqI$BaLh:j YvA} w /MRb,hW܎  6<#EǢQeNLi QPzM冾xNZ!<:,\b\d\\dk)yl1ړk|ZQ$g l޽;j6wf$6Fx Bbzk BAkq c]4a#z^9,J]jU=0Od%N}dܩ8XFRCl]8 N1pP2\#`J@ώSְlҊ arjx릟ƢG|CenyKoCDJ5΍ FlЧ('Ir FJ,-5'uu{ ޴'͓yIkI䮛3ojQVݿj+R~M89@IPYDtXxY6j%մ`~qp;(ZfK_|Я71C9gWwe(FZMʺ!E燕gh*>-DېGzK2aYwGvJhw }Ujo}y#'ܡΣ%,WAe瑐fF*p4b:a1HsIahr S>T XV>]0y<45@GK mN&.VUu'LHQ`*}e%1M^w-%'6+;Bέխ:J{?;tܥHIIWt3?d!^sܝ))"qLP5K%[l& 9wX?w)dO$Kb#3M1',Ea<>8i Lj#GE SH($϶% qb%j"Ϥ%alU%K+?gͿa?|]5hNnn;_A4m^ ,gs?kIRȲ#X>"JZ_泫:5$Pd0=\Wj 0e> bG7~)I;9"'MKp/JKrc#+G#]۲2RB%#dLLWV2mIlLz-z1oT j9^\z=d[UEq-V0|daRxBDp  ĥ[>hc&>"~Z;{7`^3R0%S}݂xM;@Fzd"u*'LAoP/%ukCx;KsU^M t MDÝF󵣇dO2U(BIJ?W{\醋N˗`_.>1\߿Fe,!-HY$HR}RC:p'ljsZ*IKV9gMD{d1 [ϣ|wf:Nghcw\Co ~ i^^h? V5- y/4CHZzWQwzP _5& S_"Cˁ:5U glWN2Y$Cp ƽmc6 ,vS$燉fΜR4XPBnXJ9si̙H?Po)"mR]m/ɭ 6+m-WVZr4ҹ s<77-@Q,l7j]FD l4 z ԧ$ Uz!O 96: 4囓=.C?&Eh5ᇅ yY:,,5"mʚ?s=1Jhs_uo*7vmǻ>=B6Ȯ:h@87 jJ0ΠtrFԛ!4CP2%D;hd3ր ׏|%2VAcUakl?_@lk]#2QCBlH04,.#c+z}0~n@Pt  ^Jɔ~ՠ5 C.ZJAr;܇;\ TvoO-BZ\K-[wV9 X|i[>튚-*R/Wn7KڸLڷ,Y bxw[]}u*BznuN ސtʴ?M`K8\~q#߁Wk_^+t-umEJBא$aD-ZX =TijѲ¼Q/j wYaM_rr)m.˸&"u߫Bbӳ!CHv 8Ĕ\K9b:'$6"}O $dDh40Ơlr%HpW5f?v]F I č;f7ke\%dz~P![1gEwpl+`9%ϣA7- VqC!#AX}9/雰L` "ܥ6ʜ^ D@2X۫9stdhi淖>TCqEQup 0Zc CC\.e̘{{28|g|Wt kЌzh+0M"x_"g:kV+GH\k&VLu?6%h-?td0dUgfY]kpDkniD2ȗr78(hc< kh?yJcV9?L.՘NDqNAzYJYYtؽ tM? arFnp{dj9Mjb*f3&2Ԣo5sLEk=DώuJ淧@%d64 s"Xw>ʚqŅ mKUsԨc̴T)?la MWT bJ.Fj뒾%v_唼W{}jXZun9YIIQO2V#10.TI^Gt>Κ㪿<{HA*qw^}SKtzvh]^xnCUkDu@].zxR+wIR> Lf$9^aT.XYr!fCӲuGKaREykxu"#<&Hœi'-eПӍb[5rܮz!*:[cߢn=hͭCE,L=,)/‡ [ Iqvޚ>ReQ"V$3 }ձnn[ka$` QFUšjC;v%\f@WTIઉ"Wα˦χ+ ?Z*@Cwxa/Y%~V }X+ cjt I"RN]ĄGK~8zμ*§;ڨޭƜO<*SG. aF'i"9fO=?x?ns?؅eƯWgɤjG_ #Tr|Gh>l~dn ,~Tݚص{Mp'9syO̹Y*:MN,Ҍ 4ofHxIy39@][`(3)(ɚl!y*741=1x̲R"7+⻛91ҷ,%2#QQv {;&ݍfz,lR3K] _eS̙_N>!O1%$!{q/z (8H_WߩM?J2x `SWs!0"/JxZ[)~KD1VPY,1 42Z9{W"=!FûNsl!s<^_ZyDqE@gYZ j j?G'! rD?BPLelx3h#/h&Yp]? 08PޜQl2.w{-$и%plPlczJc|N T!SR]ߖ4|Š?a l+k{sAd%~]Vo-4vT2; yUx>!)z%MʓuA4Q.z-p=W6 t2Ag"wǽ}K@fBxNc{S*q:8,;N3ëiWlu_)J06po2iQA0t*SR,`ʫ=b )ԩ/t{KS&oD2>?gdUP" 4vh XP+ O'45za.;RaiKbhwo_ okER+T;H.ā04 uQי,Rpɂڥ$9& ۮ' 1d2T&ܫjR(Ŭؤށ[/6DA({*>>4 ;g7zdr>Z]hkƼ`g58'T#x/6o3p"W1R=ZB-Ͳ#t<Ut\q,}9P0Mik ^̈J xYF3θlכs]Y澈x x/bObj"/etc[IN<qVu}Zg%tݛ)or9!8 ~E6yvv k_B anZo)׊2? E D21ܱgYZ BvB2K+-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ׁc2RCiX#C0RFIx}1 nるX/L}r.֙XC:3UtHgK~9H!yآFTSN,/QucNu mLK9lv1X8ThL ~wK,~7k?@xnL`QL?;2HQ_k}K8n6ï9#] gYZmH'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘Ηf3zٍiqzkڙKP/q]a yA>*_q5HzH)|pzWs˺RJ FllR.c7Ƣ3R#S>Cn;J0(.j[<p4NDRL=28_@+2ʷJ"=f p1~I{le u@RL ']$e(Aּ_&ue .*GqtI. FPVfޘ f% C}b6$"jE`G JT CGVW&ێl뒎vb b*vk:hr6q+ڛ .qU,@*i! UR_1b~O׊J N*vDpmѩqq$TB='`_D!w>I%H T"CMdGO{=SBP)f^`?0y3yULeVK3iZ;IPW[O̖`m_m ԩyqE?o(&]D>4Rt}3 j5X?`ua0$?(1z}D4z4Jp뼮Wyj'p8?is|\鶧;KゥNit{}c%f~yed}HV#PdJ/إ6 bee9]8܈IKāY+CCK{s@CmaӃEy8y$ήhH2_Yw({5*ퟆ"֒XK:$$R{XH*/iѽ-㻚UQɕbkGИ壾2 seWH. Lۇ=&Yk%1_13B\PߓٝncgibD4Tg2Xqө _g2.u.e]c}*}OJ'5R! g4 «0- ǐ60h˱ |˅3×O(dgP×u ұ}A GJA@: E"V@(A\?O"2WyݐO ŝ+p,k:&cwJ鎭y:tE'W\Րn8uĆ(jΏ?&yC4N zT!K1^ؠ2Gn_є-o N'*=|rz£;Si=qܥ5O|GM ϲ`%uggt%C0 &%̞\yHaEn<\vky͚wiEǰs{Ms1!{jE p\Zz>-NxfUooC6/!ý3Ŕv/ Q"2eџiR/# ΨD#xq`eǰlCH pz{rOqrǻFlb+xU bkKdɋCO5YkFݿ|e|ľK6M0SF _c؛7eɩ- YsO7uIqFbL;%k0/G`ZD+۔FTvd?ZyK^͌qh^[@>q>X_06 w e wʦnY2:pyazȣm+/%(9ʎ)Uڴ۵ S6.谹{F?`QEP]`9P}:H, JCuvQf5X$`eAb=/yMy(F=2rqCT&Q yg=!b+ q:D!h#{1{j?]$O⋊ACҔ7T3/%"uǜL'CIRm$9wL$$ 1?gղ(jS!z*T%Ykƌm CFI$`0l,tDc-=PH $J*@RGaWmʣŊ#=b%E2O,?YĔ}'ɖ0:k*+#\ )E%ɨXXH?a! }U܈nc 0 |W3&ƒNmsB#I=pgYZ ))M+# TZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o$]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌C}3ӫ-#@[+?U h, 4IbgY*|[Isg_y>sܢu6~+Mɪ0r`xC7PL:8wcg" ?bۙWJ꣑E<6OyS"$Ƞz+3AuXNv.޺@릫#m.J$}Ǔ8M͈<:4\ Փn'rXJ)i9^M J(i-;}U:fn/Q8a0NV|IA(_>CZ?ڊ_է)~?U\M̑8*[pK&)8R 5W$ß*as^#/v/]s4?IPkɯWPr,c&uס˚X⻂2RV ߮ #bPVpF1xٜ>rnJVp\/1 $mODZ~7+1j5CG'@ xے^_eKRY 7_^XmI_}2B=x92nbRpv!Z]. lG <'*S !DIIV)3KOUIjIJWR)2ːZ9 3IJpH26,S -ֵFuckOawWQlwrsVlb \=A7j4.,aڨ^/Sa$2OLd 78O?U?+CZXϼiűb2EXkiiW)#@"@dOy I lDm; :lC;Eyw5[TQ@}cC%(^6ċ+媯vx&#悔LfxB]%t),6'7̸CUg#gaր8DX(]6@ ;ΰ@0OM F/Rkq &Q꽹×I Ս:b<Gu3crz*N6Pk*@<-f%~Qy Rv֡ :,CtDx&K'+)Ap-8/*+ DJsoH)`"z+<3 R"U@ [N*-6ūw>ROǩz%, mdy㋥ B4}h L_ Z>:z" ōG$%6 >U"fȊȺd3YI ?^_PVK񫶓' 'y&@x/ceB%Ǘ SEUT*#i(0|Cǘ@ aG~$3$![i=;lRn<Ƣ0e%_|$~Iuʸ @+ S27es |ftpQ/Q ">(<[FWv vt#nU[rޘG:aNr3]MNF *zM6/<ƍHFި<*/&?$Ϝx{KO!ޓK$*F&ȻZu0;f9 Rt =90Cev0'Oh9t٭"I#a;y&<ݼY7 40)hk}hV#myIp dͦ%h7*ď0I`A.Qx;wO7 |ҷ/kO'yڼoM֊C4/qYYIk<Hl1*/ ~ 7#v,{ԙYѠm "`T2nJ>P+M(3Zɷ:W:@sf3tP⪧S7rDj~ԊwjGnoH A8;xG^& HS❊of1*c6r-1w-!ኾp^񯿶]цu/2TeFn^&sBʝD!<6.W,}V{UXu&bt!==Yfux^BH-YW, 0ey=Rq{hsF`h734#2~ZAg#G3arGc*X>2!t#lRĊ(x-kCOVY=HP7xtgYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4