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 qrDT ]/]ZF-Induct:threads=6elapsed=3.670cpu=13.052gc=0.7007zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0Њ~JQ ;][eju2I$'5}ُxrs^ij j>rlQka-S5P ]ظ:2ES$Tm@|6>3.nj?: g()ڬ^W BkGekׁCPL'A*)pRa;QT˶ 7y`#dHW,_?햅6] Kb$E³885>-c㏀Є}4{W?H@W0m55'T*OtRgYZ7zXZִF! ]ŗXi%wOE\Ů/5e>Tc 4|P #k]2.E ‚/6o#"7{P G()MȧD'A(d7H*+sH Q=uL_ O5N})eH$%i׺ө[⧛6K׼{0V<~%?A FVw5e a=E|tmp.1W{$:سY+msh߅-EUṶw~Zt)I@vgtwPѧkwvfD"P3tE̳ĠAa _ sjkG[c|=}'Y8r\_o/Vpkl|"P2@O7M;-gYZ33f8cfa8c84cfd5d9cf051e43972117476469eaa6b7cffc78b37704c68c4a7685f80ff2e47a7537c 3530c6cc7b5ca8ff7a28fa4cbe14c3332ae3b6fe04d2bbdfefd612468dd8d860a73bc109adae7518   ZF-InductGP)/ 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 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[͆(}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$foaFMEKDG?C>;<:978312/*-&,*      O* ` b /@cnWq _39S*  /  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 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex>9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex3/5 ZF-InductZF-Induct.Primrecdocument/Primrec.tex  cUES#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~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"!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$ Q;ש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 / /P)/ 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 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[͆(}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 j/5 tZF-InductZF-Induct.FoldSetdocument/FoldSet.tex7zXZִF! ᷢ]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$"Ǭɻ5 HA VK]C_VzhOT]g&*?h* -(Sޯ^-:EVi iÄEK8+Z:L*bYh[m4,1SQOLAIhTkq}ZjYмjK<$ű$L.K<1cXgFޗd9W+,P6V%C)\d׎?_~d`KP4@eW/)%z4&uSdOTzvmhL֔6GEӌܱ͠fU;lN\q3S7A6n^CE F |{)(5N,'ePNoĦ|<:zRg3TVnqRd;jQw ١\|J؋T1myԬZF&{B~>53669$@_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?ܗ7;_|}-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 /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  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 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 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 f)# 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?UeK72kps / ȚS {k?Nhg@rCͿ9C 0_I iD1kBRӚPq?= z%r-]:ҖYrXR3C&* ɇzܗ $vaDfS[~mi拴БsvP]>89"PIoϙw3^U35C!ܹ[m[ADp@Pť#^% D4XUv][u_45z!+6Gi" jws[X}/l+5Avf'ׇfJM0q+_-"aMkg 7N1Ñ?@ر:9}9ĕ魧'UlR@i+D}!>12zMjEmE%[*1ɻCMe&U 0o{-3'ZML=JuۉFZm]s6$jm-tޖK}s})NɕkC*>NǦ-(fHl^ ]3b/^q"m1kc$Ťp,S "yq>kY]4ͽjph ȰANa״Q&\f Tc !]HO/JaˍyTBis9!8~s{KmEu$aK }JgN'T023 #Gg$pQ>+fn z)y <&GRNiˡfcM|/tʖ :5 Bc[K!h#\: ^{#,+fDW$Yb)v?n^$CpUhy 4pLZDC}fys;kUXR0 2tr c/fz @K3Ǧ;mNthq5gPsiThtJo٥n %rR(ZL)HM܆0|UE+BTi)IDwL1hA4KR>.Q@H1drOL,w0:w7Cɀ:iU4u% CۅC3&[,pu 8RQxoY|Ӆ;`Z}vq޶` Iw@mS[VdFj`S2Ah[9HE`nhK}n5E(waD>Xz5^ML6˺/DGh.8Ċ.t]T--|8U*zLVYuZ_h1c^oI=Uu6 Fsۨ<Uq}ROz7VTQt $!""ky5m&Zn7?v\\ϐ]b3:0FX`#TykN2Y %N>!ð)qe^_ *Ȼ 2-:Ԙz&Gdٔ^oMuΠ5{6R76756+sfA$g2Sh.͏"C_g~gg$ bnŶ^88̖3L[Kw񥁙 8!]s\W)Tb/"0,%H=5^KY9i2R߯wu1 ߢٓb[=O=d1Tցu*f3A=i׻\q1*ef;{1MB'n{XElz+OѲd }8ӑkjWg5حpze9~wCen:;w'ºX*/&EI{2%X7n=GGjVM~ ,_b^m4~};Z"k;qWgJnt-S] mҤVDydBm fuԟկA{di?,`brGsă\?O`GOT+7 jtbDL;ץ8X#S <'8J%H q[mZèB~ʲo"cPQJ ɐ1}g*eCq"5NKp?wa3DLc7瓚M#T<;,{2 *%gPYk uSIK6G8ӟY}>PM(߳\;4kmIVd@f ,CR@M"k"X=7QEPD'JyX"NLWBPC +:gdsFd>E.$H`a AtLU?Wl;,Zm^F:r\wO MXjsڿ;= }a`~?y/.\Qn~PWnP-{p.G.`9u8_յdKT\Ǩ 9s 1V9A$Zƚz#%4wy2`2] Ͽ=!Ӵ%)~$orei~lguxQ'gԀs_ o-V~!$ W{1Nl‚*{!^ɧSbYnPxzɺ&eU!vIggF*uF6<4)L>))Xd,3\boW5Ä:]Gwt/fqUD~'(?e&Tvf優 Sg9RoBxFV4tn]~g@ _b"um#`! 2fϞB)Z`ɰ U1 K+q׳|jH9ee LDCʽs@ Z bkc;{>+ky}듙Y2(aȗ,Ql؞{GH+qZg=;d]Ze"!3- nyܺ.A6 I\a̰($8., ]٤L"Nt#v6YrCvHiժ Nz/,5NlYJ'ʹ>W'>Ɏ:x4P+QPN9FGyG voVcD& a#h˗02;VM %Q&LBn"5FJ[GMZaOvO9By.WJ¶=XT/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λѡ50L10Z^IMOAWClC5Zu&-%>DP4|R:dH(Hzֈ`h>l}AK^t}f$gJ V 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}*B{Z wuB1˵X +-ⲍ/Ұ 6ĺ?6D3BϢS 4+Cuaõúv:]H6ѱ8Hlt%d/퉓\rT;/t&/`PY&g CJR0(J«#6~%Jg")GloIh2Oδh~*%/gYZF /# }(H?5KE9C6TmJ D%}KBICg@9r>u%*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|UNעI |;;:[g{{QY2H3a(E _V%s!RxddswbA"N8R^ci^nC&YO&m돑F.(BK5kjVf0;[ DwlGy$ R~oOz[ra0Gr-G1 P/[2?WC6?uk`QZmwLDرP| /2c;l,6ו|`Kgx5B0MuU(XZA)aZ qޗ4t(B[a[UB^JNHDE9pi? יOn=-%J`9__w } Ge PFRj*~ŏa\7?xKܘ_x@|w筪cQkP2qۛvsoW0p.3 3t_QPUnTOj u'G 3QY[Y}*q wwao?d)1NĒ| JlO@|zzs@w2+s-o{\?g_ή~OJœWvڐB.#/$??gYZo d2 L'\=CĜGэSǓ`^$& B:vM.אeMEAt&+X5:~4{yAϤ1_j'foiFQ9$jÄ+8\,38lpMf\Ý(4,K7J_CDe>EZ ʹ %vRQ%*9s1U5*!q^>,؛Qaa2MR4 W /se\-fw2# ccS Dyrq6rI)^[ΧFߤim$`wE:C@/&zN ZCuLZH`_.ɏw%3+ffJDHBRށhR;On a-&NWc'b ;lþJ G6+Aw1/ӲV/!4TςxOZVY=<ʊhA^w~- 2)/Ik׀<.Ak e7av¸ nll5Irg#}A,n1k?6)Ui BxɋtbC7ڪ[uW,U$M5 =vs~Q*ѱdUZ [O#690J`PnE陘D'vl b WoB_FGPZn!S0'<;J AQ F~.lxU۽T|wP/ٵ5Up泠 H|T$L9"5t? w셸!INѭBWQ-B3Qv{"ն`vZ7U:l,<|c 9G&oYlS(g,7bxsoP5ɾLAnݼ2wA^|6 ?Px ǃCH9LxEPv?+17=T2S] V0BA%i0ǁPE36a.Xտ']yvsVJ)ǾP[)w&@0!&CGVE=[2Jdm201њ /5W]ul#b kj{#0p`ߠ;RV/b2.ۙzml`^tATMvr} r쑵/ǐPw??)5gWPZE] L*KYT̀g,n(T-aVZêz`q*apnX<@ks1ܜ#!( `حiH[.@Ih8{8D ;Dq]a("@4; \ݮINj(xKRU!:J9WR}`1#cPx M^iYS`7@~AKJJ_9MMG8IƫK2=7@ S)@}/DÞ wU5YmY*'Z_/C 80EAహ%;}'j>C|Ix׋l/H)($0b 5v{ >>niߕ~:G֕ܧ}bVr]aS@{N6WۀsF/F͂h_z黒,2* $Dv" 8ojsc9/0BSp3%dg2!5kS)IKApG\Ё*ފNt0G2F9ZhuP[+Rw8<BDHqSRHs*v!ՌX6BK 5C^#]5<>H2eZH@Os]vF[;l*i=Vř>LWv \b"t):fτM@r'1Ã.K5e..& '=`d`e~ ⩡ `#6\Z.[QŴ G$`0%F61 n:'.cPzۋSCWzGwQd[>9 |Z`A!~/88Q(] 8t c[R3Fa?L)|9PFC 3(wzFڤ8~cῴoVeČ)hb~bq iWe<`Z>q ?|#5$󢩆^8Y-'' 1 G0FE0E(X  TyTwkۥpQ>)d6Ney wO`O>n"V W^\c) &C"t;ՍDXZbЅ-Cxf1fkPDq׊lI1w+NDҐ5M𭵃K`-"LGɱm]6H=(cܠdI=NXԬr6ՖD,mRU7it޶WfD)AdxUkp-g N DU_=O[vDsX_-ǚL ލ؀6PoS[sٟaAc&/S1?:";d?HxG[͉%NKW/9`x,]u3"o1S}eߵb۟2,I6ѧ}]}Zo0oѯkLNe,=̟ l0 am'Ir`d)}DZsFs/(`,c=[5HxnDQ%r]\I?n'CX=Vʌ$UǘCdZU=-t<R#n]B S2nx)?EU;J .8r$%?A'*S70D݊`!z>+)z}AvrtJc;"UMi ā± w/ -oJw~CbO,qk?^O6]ǜ7eod=`e()gB=`a@LVaN樰 [Rv.{УpE-DHn(1‡h<]L j,f5JąaŘ ?})pl=YHLfH*S5QٞIwO.6R3_z6NwdAdLWN!RPNUgnsQϡJ6?\,h:M)“9U9BbY,Fd(Oy6]7 &RaH)§R)36r uO[o\A:Tc`V95F)CڇD}*uW.%=VKP6^=|Nz,„>E pfRq6vTe8Jø&>_lA+:H*S9\n4`[DZ6z&v̒|;[C-}/q3^Vz^y1l0{ %U=ŮEdT5l2lVVs8>9zEFn4ԛ!`H9uȇ"@ڞKh'Pه-hDLu<##P@ϺZn G_1w_9.7Cʬ.%ݿ2,QKʂ4TL_6wdVhLXfP؊5ҁw2~LκxH¨v5#2&=B0vZKDfcȼ}mFIZe]c((6qWNH9$d8ɓ3]j(_BX9t|2 F$lyT@cl9D5msG\_Zrs4jR\,,3?ն)XAֿ~ԅF{@-Q_XD [#UpZo9u]G·xn liUkkUuwu-ʐj$2:GiWv2ցO&@ͨSt!j>-&Q}9UփG "B.NK=y^ͭC]|(C78gZ<38&))r ٪+n6pp&D5۷|4zЛQvx~u`VHczSaALPQ[N˩T-]+AlOͣT/ EϬdUWW;ٵQj}8r?Z[ XU$J0m]8'ur?u9xplG$3\3SzK`Ҽ 2E._o)"`I\S4 +q ħ׵GM + Sԭ&k:"ip&N|+6{؏x$34] *6%+9cX*3agݘ3RT!|_." GI 0K*XICZe/'b D͝Jn^k1Rd/ .5,EBcYf k2;q]N)k,Mt#Z6XWv=pd>PX;o6X㎻/W{BF:hTSIn2UL5ź#(؏t/ _Ϭ42zzf_-=d+Yi+Is9JT)7|)]`- ŗj+JYy0tfݝ5>Nŭ-n̝x!`!ۿko ԴDC Mөj\Ё 3n#<2ymJl< ?}+ R̂LQbS^3Th 8M uGkzgҠ2WI[* *'_|S%4Jeű[R ˑTKO ncL%8fٟU4ߟN4x=~_B{ Xy@M陹\~J~i5e>h8]wu!ά;h+:Z=^E<:M@= ]x~ Vढnh#,W ꃝ[4Y69'>-5`"֞g)&Cc7 0>~.검vsC""ZYl:^I.n6 /EX{gak_`ؑ0S%:BC&L Vi(`(b^cuglpKo\ 3Cĥ P5P-ܯ4'Ѹ(yYYwʠ`VˢU+KdL!ލA]SP|AU)F?ԗy$/J39Dv(#sּ[p[wlqT)hWid]j>5O撆鐨ژw3װ[>f?]Q{~T/7!vEcUX&j̯t1Xz}ey*I_}tփ5gF|GIm7;Jq*;=h\aRA,UZ5W% -s@+4|Nns7ETte%y O)Cpow,YY1 _+j䔗t5mu ,O[ӎ7\\YrJ(<3-O @e!yo(SˉJYR :q[C#-Rn`Y_["v϶4r:ߊ_N,D8+=\n]f1eU$*N>)_^R.dIwOvF O2HѾ!c<^4]V6U'+Zz8c)Ze~4o$'_x)L[{sr/|pn=X(4Z[fd> 3ᴘI5rS 6Ƕ&(b誣$mk J'pVmdn.~^lN,V_.m3]KIo*L7ݴ:93h+ z#_VAFE)t!Ņ?aILۊpIX|ɔvbo-:ܿW0(l6 p^$)?6n .-pE& [J" Dz΃&~(>{=@o `bJ¨8{*Icv1Wvz;xSXZjq霊$ ;IjZƁ@iMɵYSQݕ_ eʸ` /aMvM9#l.:np Έ6uYDҳmtRfdYAp>w@X7tfrb.br`R7.lߣɁ"ZPk1rѴ F ?@sݻu']쩬@^SB~ qPaa7?2͌mu ֠;7{~*-aD+T|*Z +')R3hp&, sMy Ix. sԂ?\eɪ_~R,tdrZ$`,Щ!2Iixg4(g 9tO?c\GL5× TrgrNDZ3_~g(m:_l&I1ƶΗmUxwb`RNZl!|FdGc}[7-"El`MsV7^O> 4OpׂMon"A`6Zffm2oٳYX9DV':L-_'0/Mb"hTrlA ׮d~Uj6lwF@[:2 M4)M(L9k.C_`g=.]1:Y#))B鱡a @Ms`Sۈ}iUIbEs1wY@<-vDKe9l]JX85:)]|R#BEQ,J<:qMYמeLxhDŽcW5=blbF<a{Th*`߰Xι>`ẕWdT28^u dd+OӽpT|qg*Eo 89D8DS,e}PlFɞM;h?#/c-q`аմ~40P#2O47i+"7^9=2u fyܧ w-֔Q=" W ۴އx0L?S"vvjwynlχ/|X< *OR9%;Z+0H5Oma3 XbRBO=.xH} j0!E6V[b~p.uT#XA]Wa6`w!ƃve{{ٶ^[}9u{Th|yxMf! Yo@S=&z{h &jfY%,NG;'"9]qrWz&WeO+%g Dcg.`Z7;o 8n-aq/+gQv\\a+T!N9@$t_&k,2`tY-y);j.1&\& 5#OymVV,.GZI-{w撤ݳyxNt`J#ѳ%> R2sCþ̱fM-Ӈ./([s{?n(LD-+[jƗ|)H%rSgoL Î -ی4t:@m-/ Sg] Epwpj,y Jytf%ݺ3EnͻyrؽY4Wb?{iljӞ'S榛LeRP_<#/<%T`K rB;rϪkXFlۦ A6.ݔ2MrXΖK<MRV9| \0Y <Ÿqc;}6A,oY - E2OE^n <۵w](B9a|嗴c?r;˻ SJ7#)$vkF~ ZgVԋ_4(v8%HG_b]S&= JN@8OC @3c:uA^:ADʥLT=VzU0˾N| =}"ȏ2ީ/*iպBcD?5ѼX^!w,:WqT  3ZwgZ/T3ںNZCC,m< F%VgLgZD)'p7 | "!C9%FYGX^UIBr%o%IzJASV%umR&sW(|몉vgwv .]aBnגACV["ǁ6;bH;z!9y/D; G@Lw&ms?&N$蔧bIˏ2ߢ*фt@VsƼV Hvz l8\ש!pcׄxTs-q[71ٖ{31KmNuEFE}6Kqg Ϲ rA_gf|{3M1321A;z.ix VIOaƳ NЙঊݔ2D9N4jӝ<>x $c &gYZ!$s\oɿ/Aw\ mamV\=Ntg܄e$. `s>?dp>cXང%%A8\|LY#TU7ٺK$`S>TO VLUT`؝QYmͥpW0B/&F*!X*%[:_7Եb4oI7Na8y%yx(2"e>b˗~iA5AKi{+MC/n!~ uF>3`z*&VФk:ZGh:Bb/ O}C='{leJoE5$WekSa"gߌ}17v,TI-r0e&' <$/uT%1`?]C+zoNˋ2 d,+g@z ܺjAؿCWj&PRΞQOӰoA4֗L27SS/)8abzGߞK+Gz(0چ#?j!SswNT&&W7H:R^1XT Ro؄x/*(ѐp\b_^%^5J"@IwY/Z4OO#OT B)]fvn;\q3X%w-{f6T xe HWл'2uJd {RygdÌ_ t`m1ex4ƒj>d}{;Q]+嶸lY'`ڭ`\;A^?vy,|ѲF+I3;Ƽ˄m]@IQX9M7Gm"oN, u W 0bx[2\)̺\40nG~>| ^A -^Coѣ-J2.Y c+ցXoy훲-2svsE_5e@{N\NL$ezdt*BPxI?v|C|  kyݵL(, UL:_ ^' #4t9U|:%FY&"muLqBPkRɶ#5S1c3I퀇1<=HT8'ʤw1&f`l LP18"^kZ^{ciNjN=΄bPzpV\jN!o8o59 yrC W0yg(? ʓ\|AsKɝ (PaK""aDbxL6Bk.( Ka!pzК* Q5`.`-ŝوtL8()o03I~FNF/Ҕ ūs;OƒlPVdUgHF): X 6Erքsꃰ'h2+i;؜(Ao\HĢabId6qZ@\uz\HV[)R*ꀧm-VM QIG"' b:clZm{61\`d}lީgo W LD X?%pKJz_\_ȺzK O9Y&T>4igwP~53L#H%XUc1笃ʍaFphA\Dw30tq-V67w:Z 6)Dgt!T\/C<o͌)$mӲ!CkE7[I`GD!F|5L]K%I v0(ԳU T[Rq8OYA$ļV#v?/ **@wah W$˄ҊeV7 :8nS|eq)*]_DS"e%{i]"42R[+AD6%e|E qC=n{b[3dl<`9>n L:יZPsl4FY;* ƁjU呀BCuE|<4t/ƴ=1NDd?A=_-/ek:%FꗦXӀS|Ӿs'b O]h.iTo K`cQRE"܈ =bͲ條jfBſdp/.op)a6^s{[#SgYvmҋrfrPgPs*7-V1R~x*LEmwx#z6kFgm-z\-AN]8R;My'+˱ ~X 7Ii3BjpAb8B!}g|\Ne#& s]pw\y6,YJdǙEU,1b#[R)% ^ @`x *~16ٯ%g{V* 0MF W╮V <52]d{reC5zrq~DŽ-6:&4VOtO_iR \^e@+&fڑA-T"Ztߪ-B1}O^3ʬ;S =qu{d_Lx?d =;wk>;^1exQ<d"tGQ&:bmbمEaY ]#Iʷv7-*+q7!q(^b 22ELMh0v0K/vu6l CbHGHڿT"J!G(^ Һ/gt" iHxaBiHCް>AKkjm{Y~o+ZG`B|^ ^@ I< 7%#\(jkU{\O3%ggnT跇ӭx\ݵřDP?XQ:Z]c4%8*rQX\QId.ۆrm!"ԙqzc5t$^^aL>^%jzS=QΨkN9 oA91bez]`^b~SvfKF6lXeMN.lށ4yI")`ΗH?LA gF}Ki;hL 2] 'TY ,]c-*lHV2fUL}ةjmS6A5jNMB#zsl&ڨh'%ҢIoB *12:i;?YXNQ?d]˄:H~$OմR75Lٯ{٬q{ˉD#+1 6n8j`5u|g]ZO)mγ0Up@Z#jV\q̣SHҠ{_Dؽ}lSe1Hs6);$}zf4u(F$KA5ԢSsB#s'Q]7pUtl+mn=TxWѷMzX8 ZHJb-$4m>Xl+4J51q _Z"{B͓coYL+\ ] *i{rVG}HeNW^ [qVOkWFK8 q9EZ%K vU;JXvҔ ;~ZK#+!fR/,#fChf H#2mgwWRچqb񱌊_Har7Nl> &utL"Gv\ x Z _o`0\RBxY} i;iSt&͘Vg?bQmX]U-'1Z~=tczG}15zR&Z?~cеI#p-WNWn(t[iZ8;TQU[[s&Nŋ!NDxoW0\*5wŸ͔b6X&= A}yR]K }I&8T-jĻ1KeVI%gLB sY:4_?BWBE*zrzUvrLאbd#0JE"`ZjA+W7)("g&׃l`6c$qG,.]_"񟊇(gv+u[iΖrȬ ƥxLJ}ñC2ҏ =PGջp uԆÄu)^?P*k,4y}pnj"}'&ӊҲґ*k,@iUt}צXXNj1 nl Qfhs{H;}NH|?F RFEȤ5S"(k:Xbc(:cڨi1wKTAS0OMHwzGrC]EH]UAN)jUiX4g`ȩĴhD$- HϊjpQU@xf#;0ݥ \\p=ζ&K-.Q7طUh_C=wPo{GI:"z‡Fw(S%9cxi%gix+%8^&!:OSR۰+L*^nF*%am[IcRI>Sע3B< {Adbu Vy?7Ba kYbmaAV<8sgjAHUr?·00. nUP`NasRD|Cad `t=/"D|\G׮#V Bl-|}b&pdI"T4nv XXyCݩ6!1Gc\vffv_rol+]3߀W0%8c[c h57oD׸AG:swzF=?CEΑ$d}ajQM=i?t}w)_< MXڰPUoU@fycJ%mJ2IXrg؈wKZ%kAn@}=5nf`E[9금߫!z *X=cykm; JgoʣPjD6XB#P *Y3 bw@D 􄏥̊1upE~>9iR]馕K_~|KD40ԑʟiPku< "ki 29/;qaX>k{ QīYu᠌u?.-4p2ᣚJ@cN>8M < WD6T`)2nȮ #eX6*E 9l̏IxtppdA)ϋכkl"\8S ~*h䕖H/)B7G^={X7yY 渏˞G8k W(&{fh 0A6 D*&`UJ+?f|-dZ%b0+B_)ϢJffE1 5()Qrm_N>>j}Ooe_8]* FPS~nȇ"bQ#Z>';N8}NÁejIH^7s gEl,@%5$ErF@,. %cLv:]Q=6,]`*mjL0tnFh7ªCo׀-tdD77ZFa@РO( X0xDO Һ=DՇ >2:[! !8#yւ)7ZwNqk+Q1 > n(-`^N&Q!F0;h,2msu:cSx'!oVб$ ۲DR;>μ]fD?*{.%P8^:Ke(~4 }_Rݣx~Y&rl{ū\L)C2ApM 8Dn$6%p&eRZ ^!\ބ 47aNWyϮ*.΍05d3,Hd-(=Mq2MRv9w.Xɮ$<('6!{0tF~=FsnE>@| )H vo$jlpD.7Ce_HhS`5jȟ.Ȥޜ}W*cD8 >W$ɄVaN¯E)iJx}ƞAftTVU]tV6^hWIWbYeɑg5C*[eMCѣ_(` ^B*Cyg#3&6D0mH ;5 Y*3ӵ3lriwn8]0#h:. ᗻq@`#Zr%=H˘"k㥑 m+@V)_.L3ԾtG駻G;l=ֵ_0B:ﹿ%狷bBȱ,~Af45q6E""pBxԤv_mApVw ao p҂__d ï GOo]w #t/!4}/4dC~)99}QĬvHUv~V#R]ʇJZPiyH_Vhh!'雜d@2x-Ac/'o ^ \ .W1b.4tinI/t>նzFgRS2o t_vԪd,MLZ@Z78 5@|5Xن CYiym N-I(eh5x_Wpm׌dE\f~W˧c =A?2?|Iw0Axjoyd#;!QpDQ1(v6WH='=Q2VܵJhG􋛼!# ;zRMsA!&c~C#<”C8"mǑ$m>#99`0x aQ:c9`<  Pv)3}턏]#Wk'L='M叟43dTAx7: f7MYp6l4PaLIX ĜːP뇙5J0sr(ٸyQ|$իbu#jcӛM-д?d0aΠS) l;f Fg"lk Baw ̾~urD +ELaҋ)@ns ˗>p>gnF pVV\SZWjwY?yPD/KKk2I{wI4]rU Cr1_tŬǔgfσFє[]qP?JLfKYꞋz*̢9Dۤ*kNE%i*t(;_ J/LVYqAtzxVأjK̻ =FrUAL&e taJJf+^UG\Ifa0ص)mjVC3 %tpYpiėUH߽@yWۈñrōGE~|WHU-#/6B~Sfti-ll/dlb5]ݤ8bT1%̕;)J/YH'G;DZE<lC,=R*3^Pd^μM?1o)+r<ϸUCZ̕iQ 8nCBޫ) Q/؎7oaztrT\5a!\/n듸1 m/-7,_Io]8G1t; Jp*CEs8}ulU;nPfcw"JI hǥd2X4 D TO;!813,$A"oAࡀ @77tᣄ4k1\&yףO'A˪ko'Am0[V͞$,#7\:p9W"G XOV&JCM #IQz3+n㡟)5e%NhF-wJiHv4A:86WxF^ ֝]02QPVZ{+dL$QaoZ8q07' RWP 7n77kfל߻ה5{d^CGɬ&ڶfL(g]fS%S@_tqT^\d4?.tʓ"[L̖@Vm4)]J>ZA)CTɪBd{xM)G5yqSxQoV']qݹ@.$CUU)'[pg(w\܄cuh#<~Zz% ]>% C(ֵ+ $PۣI2LJ*Ht_׋Wr1鞫ZB,,sp&qm~B̘ k74Ҽ=o3s ޞ 4=xӂ~_L M+E6QmP?ET 2<rAҴtNEam?zf"]0H%}F.]zX'fp@jB";zE)1ZAw=hh_ŜDBO:0E{O&=R$2&yse}#!$(32{c5 5Uq;4H4+15Hyu_=ô.sfv8'mY$i 0I=A:|޿(Q[}Rc] s5xK 9Sc`f7ҨK8FW)rjDyGHt&;&m{ 5O, #sn3v&ۼ&`҇|]#ƷĖ¼(gaw]ph4/@*Sw$'Ή+|">6]W3e5򙗴٭i :Vtv==}|gQsHZ -ɣQJ4#YGs֢ (L%|'(%A{apdw4~k-^[n ulq֪us+h6ljf]{TBqlyu&Zcbi Hȕ+Փ2+j@Ҝ@ D@HrA_hk|6_Hr1h56Xl&V_Ԇ 3z"3&H8\@{;]+F U}!MpBt4R< aءOɕ(5 .2dq9;AFXOg>Rz_' z3ŒM FK#[S@clGI0!Y[lڠV(VdK}a(?; i&'( @ 烪Mٸn78X >ZĢݭoVVK a-pD}qlJiKmouUJ*=(w"5򮍡.6G7K=@$5tl~mH+UyHuTetd<[K ^nW-Z//oVU#d:'';qxl8n#ĊgMI3ڤ|,t={xߝmmaO\6h/.٦|̡aьCv`;u|ZqASuB.NO*Q_,WT\P{FR,{tBZ JQӰ bj~Y":e5~k&vÓi*_X;4_(+2 Wh )`Lc2߉d03#S u){X~O0t(=XOӐL68Y ¸/~\fCI'?~d(qeg1:U[WʩdiP\bM4D5? gL7]Pē& /C31,f+ ΚT:6b=KZQDc#}P^D#8ק첮P+JuroZ6X<(b +C]>T1Bum8 y`ys/{3=]r!Ɓl+~?40@"1ybi0,Ys,g%U Ӷ/o~!ʭ,Ր ]];}/~jv`ϭ[V_þ#WJG*66Zc U w"9I$W> _{.,[/B߽єDPܣ2jE;+3*n (Ša.Cޔ0AFK+bd9J.}[wfAH+t|s} E<0q;axQI+@; w -X;^H4)NIK(NRݽ9JT ){"ZMdAɀ _c/@ȓwI-0悅)5)5_ Ӈ*.60Kɉd]u`,9_ڽ4\'C#I'MԨ:6dӋm\.Ld>Ɇ;vig֗>z8kDR?H$VV'ڸM xVjG~SL7W$|OidCr$ypBǒ5jh;(}@>Ko~j3>4/sDXY o5#M]HNO.t<"+Y5z;=EjyM&˛cmSr;h./J ͯ\]7"e]|0O(#*h3 1?m)3Y%gf:V^9.$ jUe_| mZUn[ÊD\*N*L[Q-_/8eA, 2/AߚV2ɇmIގz~, _;9:Qvc5iu&=R<UlS #.[vSZڕUق!ٍ ew2 7`+Cκ_#xϟ07fը&X{ W PEC&Q#6c(.#ol@5c)ӟՙ.dgC G7_a]p] YRUIz)Zzw(E!8wAflr_T _hVgKNAӻ+hQelb̗b9ݟ=tIET:YogIER%HE4_E5Fy=MxAA<)HrzҘvV8^*n>]a%| C!CL *2GFL;Nk '1ΒTH @nwnbob JPK{wwd5wQoZ'޼"lIT駜]s_ 6%hʙ4w|L"W\ &g?8#Q\^01#}WnJ#uJ^<3w/dhBǐ/f]&kM2LYm1*\g %Ub=aOP>0I}0Dڦ:x&e VaV["qQk0s( vf$9섞 yl,B@eUްh[,'ee6@MYDU2JD#aisW@ES9?&$3Y}2Lu'+ZX0.dF(upVpB1Wp(@?Aᢵ$s}q\ft߫顱h\\g$Xþl^q&NZ7p=) f@Mp;gguGQBYvyZ|}QdR?L}RΛu1-ͤ1Q~==H4B,P6!j^\T#3$\J} |U;'קG֫LKMl̯,RY,~lP; l`;FS%b[Lm0Hf [ʌȦυ(w{˷6MQ>4ۖ_2BNpkxHB{zY,A<JHKZ9$Ǣ*V#p{Ә ! :nX]{#!.7cZZ@ɶew.)\U2cS&>]In"hH.["SR>T c)eMB+(AcwMiI%Kʉ>yud? ܄71 Q fjKպ˷-e?FRrZp&n8 C u!28 rIc{V~t9cU^.bX7`d>wWCz%wK7FM:MR߱`&boRkfӂ K9_ֽM"S7 QaKBڇ/@ إ^*6'hGŐx\ǽ&AmrBRRɣ#VXۭ m&eDig59yМ־r"*"E%E<w:'S64/IK2 4q3t ^wD}Dp۵]-E4l O+1ukQ{dyøVY4/iT*cڨ~> W;SglN҇SI'DdCMh"qFTd׾܉q-$Eu``4N{*zxqM?x<*\;ֿ R"'oKE -i)ZFPؤnî-)'5B` 7{v|PuD-B6-xݝl݌2WUOF/!zlgz1D޽a=2}mCCĸRacF N0i:4۹'( 3vݫ~(VJ7>7 dC L?|!^o(D^[2gʔy0R |ϛz=ۿ0Փ=vew%^ކ}򲹁{:Ex:$x`>ZL5vg#ÜQ=b̗/)H*|,-k2`XAݕ`}HT(~,ZﰘKxKT҅68Bg%ZGQY*a&+uQݦ܁Om]6:6M9ш,o@6-V@4 Q?5d'jE,@i;3a3?MUC P!r" bۯ~[<۔qn+Z㊛XgC_̟ fP)巒p}Aa-HS!M"M='jy,8+4q}@h<8JcEL\ܘn}X;5ً՟^f35, }nT`&vɢtpߛ wN\T rݺ0yҘ<"T'#}JZ9껧,u=\5J|n8 k9v|yU+RVB&% ’)}yA5 dڴbvPaoO>O . U;2.Ys֏ Y Xǒ"WXրmSʿ;/6y8.~vySBd|-E9x"1ڊErck-W?'K\UU=O4 '$!XGh$.<˿͑ uQ:N;B\9mߓ9ޗ$ҞgiÌ_W @i:@$y,}(?rJԉѧzwWũR$X)N Ee? S9g 綈C\>y5\ 3?Zd(lTl} TwjYtoћ*t4/W 3P+!"iG-mR%(ҍZۀ2%U;cl"#]Dpa`~ZT*8z|q7y_Y^2x4z M|@qUV3kә{HC0ub5˲L:J8*ύ|&8ݔހF+NkfE>A+7M-1BI4aeHXzNA$Fj $A?h狥q6eA k&Q'qUm0YkKO8Ym5׷s) #/!6!䪔6T$_C3Vh&|hgq `hxjÑI}-,U%KgFU5.n~X'`e'I8̾D<${CR.`^5"sԌwNWp7JIƫ;qn⏮ [ DXnefBZ݅&<^ Vu\<"~LrUgg#?N,gw>r^%1wo)jǃ( 8L"":?7ɔe7chۆӱWŧ F2mETKGqi^Jp!|g{8@fWp@*D%z"iBKiȼ@޽?9N{kso+ p0=o{ϭ@4O iX7a KRX)<}hl.Øy#Y,O0 qwC'hۊvzJ6赶} Ku|j@ˢ[0sZ^)o$񺼄 Y&<M-.zR6y($~;=jA C4dLŸV9=pG|1j<~ƻ1УOSig&d҈{ |(4ʍ4tJL~MhDHR ڐӒ|>ljH]MzgF a]É|@5Nt5"ieĶ.XWVD!ZAxY@\)\na,SP:vIjgUWPޡޕYgO#depJeB"z{ޛg>k_2Od+kG[R tb*JW#Ɂ-܊ {gG. jV2υMU 64&}4L AWT4Zj"mg\BY7cD I7hʌRuwqXceUqUc[pj_؊9ȅyW.FWN0 Jd;b"m+ GaVs}GHEhB QǦ`#8(lt8/;XЙt<×b8/rq譲Ў(KK_wLںq 1LU3rՔvmN xNpzeTŒ_a(.+/tcˎD,9%6E:< }osCp*!MW¿+,7d2ibKoYX! 5=%(0 2o zUzJ*ZVr")O1eZ+VHdEemb`F=~lb@7dA+"rDxko+R5Tۀ"j.ZA+땎:ow&"W3-S99O^H}hMόJ -(!}^K8Y5tam[6' 3?/JHz VjbI8o/"k|±s hn/PLuu *^_m!}*۽ xEXP6Xw4w"emwX>-y1L/TGwIl BX>|Gk4ŐYd k B)$!>i˂tЭC=;P؉X=1!TvV{LpG}hg91K3~BmB_v%W[ +,lt]ГN{ykc]]6b\M$ Am&Kɞq"%XF:ZD }_ɠty]ߍ H w5e|:r@ÝQS5]0%6`a5GC@'DCR E jt E) YpK,6NUB{s-6+>㫂[3JmSϙ5gџBliu?~aN0_ ͷ0Nx)qS@Py^_b'4HELrYlD[tdB`\͞=֐<&t;ń}j<@ez 8 vF98T9N?_fW7м"&f' +U8¬V̒>[&\ԽώS0T-ٞʄwRmK*yJ+:n3aM}K:mL{F]_q條7)ƎAI 22JC "ZeW:%zo $Y?Z=0'݀ i5m?2Ŧcc#OYw?gm thƈhiw~ a0#ktH}]5)([KTߗP`Θer@U ]]n"Ղ L\S>2"V֏JdYJ]AnI;p>~bkV/I91f+Rk%psfҨ < ȉoܲE7#>ͲuhZ-Sd`ˎHOGfզs{ܨ-fDN"-ܠk1ȀCέR;./3OWYnޕ}ĚuIvzH}IS"pV^c{W]w/ocSƃ m.u4>t\!Kh-&h (xKQ鹱Â4a HLHQEָT c5I_I +Z^Mɨs5{X</@K!m+]O媲m;Wo6>lup'(H]R'gn&xs{Q?aaIlXA=b &z35PE6YߟjH,>ݕ5Ts LƒSJ=S^4;sortgf ؎/&-(W#-k:rȲ.ʎ!)`RלNF&pom<`0h(AM9-,ʫCJPggVY'9˕xJP_A`w.v0)]04NbDPM6^ـ/A,=pYeU*ēF'كk~$[{0!Lvm7({ZR,\)|?j(~X1i^rf~h*.uO P JnLئHv[q!&D]EHƿ?IQR,zktrmOatXOЬ(-~"Zн6%2z9$>=DT{3SړSuWpM)xŒ$٤6z08cէnw!6lqC&S tJa: 838AŁ0_t]JG75>݄X`A6?77m*ViFե<@iGKw?s%:y $"zA\SKZYcJ+R;Ղwߗǿ&:Ŀ\FLWL|fpxrDķQ2G/dMe{,S]E}; %n?ўH-<#8Ɋ(ҙAl9:ut֪`/#1$l߄cAX#S!yq9xR:QrGڄ[ֲtl# gu\H=@2MT_=4WT xo'0iIO]O'eRN*\JEZW@^lÙ*Af8(c*u{Tf j1A_ RT&뾩oBNjlɥ顊hØi:UUjɹU| f~'Po"'b/еk/DZI7H-⥪f{%٭&('epkkA8#>~\qm[kE S:MNdPF._CQ Bd5KPuOy%G'(ivzl<R2n`Z^ bQ 8Vp/<7BBVq7Ό 7=m.Ir*V| gg-&i`ɦd.`}\O2]jyۊ 1čԾТ1LV$[ʑqe. a/HWT/{Nl}:,Uԋ) O@߲/n=[ J柱`ڙy2~ U/x5J:+w7^Y1BgvM-z?h0r-<.9C-"UFBnE[yDm*56hI10P)^P?e~p)w~|Ļd*e#`h=V[& ~NVCy|;jnw=ċlHe)L(.%]҂6_rIfz xٟpg?4nh@` Nxp^X#=.Ie5M̖:ZxMC"7$]{J~_HHOn/<1WM|f SR?,kG#r;X-s^x/7HL&Bg+[OhV ݒXSgVC8/qSG֪`@8[ug>s0".(BG.S3#m*=i94:Qߪ kQoUnt VZ PP=4C4; ʘ)};d$*d1sc /FwO2LJf .R,(B:gw#V.+gT*z)E+5 #n=*!I?$^4:Rݻ&.0ʈM˨˲5| Nc-u-L %f7g}9X2Y}hi %&I _3Ycl"tA~fi3N~C3[NvSH.n)S0׊9b%TZb/w iю6mB<7}pl0 F\$H'7lp\>'9%¸} "aѿrp9П"Zd ڥ>FCjS!Ipw玦2єhTҔ9PkW+J ݘ1а`N5yPIդR :`c#I XSR;&XZ;ebz@cs} Z+,c(-OW!^mK 6BXxC ZAY=ڝ041xσhXh_'g< o;2p`'6x[*Me P1Ftm@ИWEZQU:ikK҉90l1dwg #["- BIj5Mj+!w[16)C^M I³P7iNpd<>h\}Kx}UIՏy".|W+k܈b6D94̓_[똠 ¥U7%Z]\,$؊10B)b' "#ћ)V"b B^.lINhU_L:!Լܠ6`~c4CBl' [B$id 2߃F@|x|g8hdidS⢉ M; 82<e V?!j̃ZB {NlgL6<;FS o˖Z)[ ͈B1zeeTPrd+xF(4c ew73d\wX Ea-$tn]/瘐YM V=g+3wWaڶ5ܓ&%^zb,&N& X9/Zu5@~7{q>en ). ~V~4wa:ǹФHygIެ|tmV/x UsԞYN 3JyC/`vf*zά]#9 , D ț驓Jy;5ҢǾm39$OkO1_@cq 3XoJ l`c<>/ j]vV:q-F2N'{_NN[!,$lzٙ oTˀ\7![XKa΀+ H}Y^䔮Od_c}y1F]񼋂Z/_]'{`0YT@/V Q]䗵 e&!:k6j$P^];w^o3=+`bC{'J1/ϱ!3{$$bX:M'As02 F$0-0q5cůd67cuS{6,6ذc{mZI%HU&/;욎_O}Wiن?03~Yhyqrؠt%^#%+5h9 ߅#:ECvgGyJ|'zq ;,s#;a}xd9n6}fuϕ+p!,x9U؍hUCc)mOx&8E<@ED^yDIVw \s?FI+ ;0U ZZ ŀđq֣ٶɝA\TKit3CcX'#-[ g5" I 4:K21|ECxwY] \1KBڃha ۽Aid!WP xOYFc`h">h᳹BYt?#".OY mZc@ۘe zS;*`[Wd:Y+ԽoEg׏?+R>;y}Ѩn?+;i-sZ,C4B%C73Wgx`P;1flZ>+Bz(ƺA0OIZ;|3EkOrۮHNR";%gFdHwl49J-vCk{ ϹmQB5Th2^X'޽oF7mpۂC i9RŞK[`8C>TA(_ :)FRs;M?0 Cq"$urϜ <% gP8.*k>$_gX ߝW<*@qk<}]\Iʗ>zdz0AT# KhWvn#Ky0iQ)q0.U#C Ý_qCB0:"aJc^("oL>ڵGF/sL>Zu&ӔΫ Ǿ%> Q`c:`< ὠ%CVm 6nܟ˖Ҍ/P@*[/x^;M6޳؇ۺ$r!4j.@|]*HD/"rimG͡V-8ucT|\&aw,6箲YlZ 0ڎGۖx9Fd k{(}nU{`,B, )2-=F"mt|bK-U\t*"j4ZfF:4}]=f*E 1U:,}R$5]hOfQR$d5X PunBP# ,[OY+c>L>s] %4#ÚD;lBݫUvbY.D$oD;uj:!c*"LH= 7ǭ)Jn#лI4Fn|Wh0Kb%頏A<֜קbP-ZM٭  496#W'Qp>S717UŔڊj]ľ^FKXl1P>v)< v[?jcHLѝiL8HyT:OAf_4k1!=bT&ųv՞ 6i^)%BF'|>'4LtEu,Vjd: Z.`xyBT[Q`ɏ$2( 삊f:\s$ =JDOewւ# !x(jsV݊ikZEJǑG_a/OGllalv?2z>S_bGt Tq"TkM YQgMJO%Öq@&9TP]{k\pmMDY4_Cؐk>8>z41Ts$~aXnpIaO$:t[:8 #R8^H}ojbo|TOv-? χ~Oen.5kIK78NΌ1ޏZ?N#@3}0ȽL xqۂϖ'!G"BR9Ɓo&|X ^;0ŢqtZ?O|Wea>cX;)is1dzv؄wƌ*3u(r L. E+'߿8)rjfQҦj消]JS_QJ!\dvH`JX,;YU>ү6_;)ζa`ȇ %̓>;ڬ).>Y.1IJqQuo$*}wlj!UNfUTC/v2F`u[E8Sy|n&-I j>&6p-HD"\b)PQV6dy!.oYgِ7g¡Htdd&j>tTf<%lZ$[B;+Xl72S#T4+܎Rc>=s W_%!e}ma.}J('pӟRJrU#d Jf8I]}dvqUWg=y % rQu{s;>v`]Lrcps %%e*ʔ`{R QMشOk8Pt8⟁v.6{NyŶegdDZ.k6us\~ uUj0q_`f}7E2ʾ@jaP{,?綂d:ޘeRMtlq1+t㵒O9fMs^v:]I1{.9%ܮ{T, UuNf7%54+rܷi[17(p˥IJ`6#D 8+e !`(K2UYwzW"l- s렦Cyfp Ӄr׸ր@iM0ێ%DʰLn?Z네9̬"{pW;#턖,a_n-W!w$gpZh 7Dec,مXKHxoD O̻U7]Gq;L,]*ٶԍG U MQDԳ[xۜ+(` E\g]ɲbiO'm&,$wn H?+iQC0L+(x_`[jP@Yi N}h%mǙL(AԷʾCE& 'y. eJ(급Fa2]׆B:䓑scӶ06H |uE!x19ŃW,ۀ蹉ݗ$$ӏ2AsB S Ph5{)R\Sil": uEM8?ԥ6EHІAgeiΑ{nUnk&u^UZnbjU 2Hxɞ)"Zwx+J S]+Lpl,?ZB\ -QbQN\>X8w{:j1kT zͥ%ǹ)++莝Kv 7'ggJyF?A4Bd?#xB 0'W< ;I(QHT@*슏"k3Яu^Ч44,$:tHp4djuP3TJD|Oţd0 ʗXH~A<!ǿlZ%uklXfa_EG7-Pc>$3_dJ.iAݻk?<Ÿ]H\U ͨofr]\Ab41 <3_2sə$$9l/B8U 6Y RHE7M0pSVZ>qf`}% P#{H[|ÅUt=* 6(s{80x߿Bn^:JZCN g̙\$4g 3-kFh p{Xfu8P4%6Զ9/0 GjnmN}A㬙3A܋rmj6ƥK# (3Sz)~=mI_CRLcF+3!E\c"D8D؞9?:|Ο6޸"z8I2lGyʉԩ Ć@=.Ahe+I1m+yYD IJB*l Ki(%d: hiWО 9.ps;alO3+K"_?o&]w>W-D1V{00v|S7B\>寳XWRE< :":ϞC[AtY }L"# YrCr,Ļ.Ӽ2kȤ|q5?BM>tH6iIV'wv^-GrapLB1@kΖ)??d)rMVbPڊa&H-|c)N@\4Ҫ,޿Slo/?c9%4dڏWײuh':Ppǚ҆߈]x-BpeQFtͿ~%NQi]".cPrY<9፴R2npodtۀ5:jf]+ꂥݳ)t]㢟KsکsrZJ?nc;۬}Yn>1stD(4>F<3,21R`/SjmFxPϣSYy5@/0W;E}e^5Ӑ1R.9Abњةyto̐Jj5b>QTUuJy^v8=QUgi['lY1~(OK:w8{ecFVl_Jb`/ blSl(lż:5qƢ9<ڄP."e&"UY@FRP}to ~oӚJX&lM`M3کoYj*Kn%pIQ'5(H1Y- we?:9ͣYg6鸲_[ Ӧ+x宲˝rC#f ̓IY#h'|J|'?s3=O˔&ڞ19wB"2~z̬߄ȵG~2~ +i9>?Ȋ~]~N)@O%n mY.WxLBDzY;4q뭓 { )j ;=s|\w3-A9=n 604gWÚkYƎ,ly_R`?i5 ‘)V||N LZaQCM m]j"{lǣz$PCV7A:FˤP]Rʘaȴ"K"̛ poVwd+I^yWxC_*!Ĵ_uI nc}.:6$ELcJm6"S*W*l ,t=vq&I3κ aXI+4*BޅLlAR[=pz1[%\~XDC[u;׭"|7t}aq--XѠ(R+D4օjwP|'Z"ۂf-,Dq.iG<4*h'\0!.1hzWx4B'- m NFBH0zsawϓ/>H5z>Zkl, {3[E>K@5F G|VqYATЊ F}KO1g@YĒñkA;3?<FL!䱉7yY+*I5bgνfPXw^UJ[$t裒U ]7 Op>ؒO6>nu 1PM&QN{gYyF3Ыfb2\o^JkzE.iK`3彩(|۲) RNܓ9,ބgи:JS7hhL;2\IS::i&MTϨ5w=DfsbH_ej kw@{))V%+%b>i#}~&7t__guf ETcylO{a=>wfWĆ3Ƶfr/Λn#W{ט1L1:*oe m# o l*T\9(7R23uODB#5'Tm>1tο1/|wcnfNK:111l9L^Ͷ_<:\-I59Y7Zt^ی08 iv5[Pg"tB*pvb}QF' I7 Cֶ!p^V7m3颰 t!V3O:1GS tK.2YTEziݚAZJa>XCi;^BehHqGAdՏYiyjo nufy3A0f6r^}تdtH{Âedo>%3#ms,ٓE>mA27E&vfc30fYI? n>fdpFux['mf{8?94ņߗEml!' G|EuЯB6&;W"B9@i =f>\lg\!n7AdCJ5I}y6"'fsu.Vju1[KuZ}QNX=MhgTPk"/*<$)io8;^=)1c yRQ 񖳏ޅOՂ/o>ܕػ4W:UdAU8| 6ױ Ҫ$#tckX} t`ɘ-RiWދk6[y>ְG"F-'),+` Hj[l#<˰%2bv S#ևq.yD(`:RUm^l$i?o3BOg Csӵ4Y;;nŇpD ΘhB?}z* AĺŬ-#)h޴P5I]pYrK1N;Q(*O{x~C۝ƹ$?|Tہ#E " :'u<+`,\0T2vlI@+l W< Qs%7Q>Ơ"^L"e` ۋA.lk8;{< e`x*ĎIG?ՔYlwI̕Ab0~ѧZ>4 12t:r0 ,qAHdktgP}f+vz.vdT]'<iMX{<ґGIJh{> cϵ0yIP=+`R̉լK羿2ׯaLhrPpvѣ-("tn59rH:M}^$HqJ*CP5mAVS6}« =ĆӝtpؒWgYZ IC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id10241' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O B]Άxʆ5.f-9 rq;6<"ȭ"Gٯ?U$1AQAѫ9i-].n-ᒹ;5(qf:KĨ弽 _S>)?ġA(t5UXl p 8tz#4o9S A8 Myq/Wd 8W UR2;MT*:ڪ +((vv`wI*GJIii k1IۚJr8~4WVo`  ?qD `X&ԠeW8yڂwndxw,γyCc;pNTit,zzN-5B-( =t4eJK?g> ̧~@]EwPcw>_d*TVaT a~v{d2o3VL|+*a\QmZw56 p {E|oR15(/93Xo} BN0!םdZIQI 0d$.Ҍ%D>TH&L,Fq*t3;lp|T$3MЏ"o7쉩Q2'`]19/xvtI'#{h9gg)DAj$HX.հ~V{Bm_@F'Qd*Axfib"]7knV:6l'~B>`âש5?L: DZ{v<3:޼X:,/v"%>k*7$fmqUE,4RPp)1y ̨ ͇ap1N_tEWxir !K' p "yEɄ"K6?d;,VK.ϕKp8Iw>UhGV>? he){=,{D{1~~vjȡYp˕T:iLtɔCaC2}*=,U'F#t\ak j&%X~C%\Q.&; 1)ʺ\tHnjMnQY\϶20A 'H9e4~RF&S]ZQdQOn7DW6YDw=k(L]"Q2J|Gj gS$~.OC>Fkw@'ї\ xBgj * EdA&ws}[(}Lf.j@FO 2Bl3=}=b.,di_)rvp&HpmhvSI;( ߸1`~ΐfҫR&EנI]; &-2p\=a#(b+˞̼L`a\gR-u,۸caD]WʏYR,jQx>鳶]_ik;q VʍId1u8x0DZx_|pSwڝ}K0&  k@I@Br M|Gn'NmNbpeԟá{f.b(0ZJ2!l?8z&[ksxQ$}(%2gkOQ̝3&鶁,w=6ZU!J<N5qӯZ"q0 0RB8/UH0ըX'L]2,d&A Xf"!>DdE*C*Gg/u=Ў擐gYZ1#xZ\#1x$ [YPYGo6GRb>~H]j*V_xqrFz Hɽ^N,ge_),_X4;: Ki_.vUnE0"ǪK*<#x~Fˎ;gL X2=Naexg~at0 {'@^b~^ҢI=BuEהLe3ն!h_w8~]cKXBݡd4 N?l5eLT q[pnDՃ!p_h*GgQ$f괰 3ze6'@HmLak乾=\.leoɬ!wOY?1_ysΞ\΀ N DI zHX nuidϚ|q(;u+2&Dx JK 'Uc *f_fI%arшNͭ2J+*بGNB'{T '̋-2 \#0äDJ t,S});Pۍ>h${@Ǡ;ɩr)м*;+@*fgŔQemF􈋋LD{-չe23VfqHۯtE姰t|EVÚ~>6P=|{F2MV}˳oJPJD6/X+ְ[ sb<' nNp+ M;CLE)O7cq.Zp9z>~6pNK4A*ߘ`@ Xb%~u IR|e>޺O;M01vtMc;*8P :aK5e8q@2t%LQWH\$ 9XZ \>TҤ!o;",Y:QFlA-q1 4$@as,Q_uFK@h5so.ƫI`Oͤs$4CF - ׉~.v͑;*lTΝtFkV4ctT;*1]>%A5aXDE! :$6(]hw'_N):ͯBgQշ+SB#?#q4Ҭ8 %Ɯ_-˶ VRP p_-9)X!Fi(QwWFnp Xy:ԅ!c6Y1Tr®dq]aEbJ"Ј`kN}b_s]3o;3/򑓿+-28 1$LۭH ﰦd޸9Ꚑf1JF fR0FhŬ)*:6>]c%߂\{2$Z )82, 0OW o GUpvc[WVXdrӱ P5 I7T{f(>wb;"ԽWͪ rg.|w$ׯĪn\׿[$oPiN(7(ogI6O Ur |ŃTSJByl,Lr:_TLyj%EVScCSEMцV2saa@zAfBe2V+ORm' !T2{LTTL~SIYҨu88|HnE'ɼ-Av Z:h.x,O PԐeR []E{5MWvK%=r.T,اҁD+͵ rzuωJ:SP4wQz,38ƍz>2x\aIcوC՚=x<0 |HDР7s)V4 [J~ˆ.Ejx8Ъ(nq.r–"dV{^27W#KJqYiEm8i_΋>/֪Ew'i7}bpJf>!|V)+OIJҠ~%,M^q! $q;+)'3鉸?%cKJ!(6Po>9S;.p$MLeS .*@{>P<=؀&o{jco*A6}1l3jRޢWK҆%+\~QW }v̙űJbxVl/}^R?(ҵcN8QG"s[|0I @Ĭky&y9 DS7 eNJLٵ>^@ x4yz+K LKʣ|29 o@+j0"jխj9"C |+^ADFnNKd?GzXY)\+ pr͝MPǕ#L6!;utl8Ղmbs=;PkN0 N,vD(6 )4y޺@jvpȳv$s CY婜% 0RBT0bL޶"rK9_'DgiGUG9=֗n .GT3A"`i%# h3D@bY8]%pEO,h:@a:l [ Ɖi޹dd6m7/'5ƈ[.䄔;]"t55ԃ7 9ІrO1<&]7Yŗx*tDarY˴ eukvq6?y)-,ӘIEmLb2#۟xyG obZ!EΚ~^WDl'͚Ϭqӌ\f3 P6ǘv __Z{ ŤrSB(A{I}3̎}'x/j%r9ս9% gPl \Y{'4Krm(a+&qt&12Cd)i!d\y1.a)j*[X$uv] l[ie+FO:Oo8ˁ|^qv^pTff€j!_ 1BG?7dj#a;Y5cXI-:u8F5|DfN-|C#Aɖ-8InԨ6خ!d|i#`@v!]0Vjbt 饌BZUW\>Lo1p֎W0ʛl%5D#MK>Ϛ ddgYZ g+# ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?87sѹXVd 'rK?ƜM>%M3 %C7b;v7DZƒ6AHS?9w൉+p|UE #df'F#P/?dI ܱ ϏZQ5 ?Gi3U=eue1D7^(1v &y$]5a-Rǭ g80]cĐQ@ .@qX7 4Hjn}uʱwÌJ\nbV2ήM-)pšs;2;Eyg)>E[*S/< /ǬP5|f^%_꫇wNMIWTp-Vᦜ<*ŲIzǼ@.&z;xq9'bo,vÿ#+q< E@7;/vHWt!zȋEc%!,lnς ha U"~XDr,\k[#JI:zt5h>8%sb*V"S1ASw4"H*Ov5=7ӌ"5u &7 cc~p"ANQaX?haFu>Ie]\_Du#F efy9a2Zĥ8+ LlؖЃ#^]gYIA{7`褴No4+azi@~g`ےƬz򲨣[_ n eu1wT_9:tc-tr2)(ؐ Ye{4OHJ}pU[d~,HzMiʨ9 yL#IʜpdS)QN/ X_'l9b3_!9W%8z"#\,=\̬L #k!=ݘ#n+Gڈ1fܻl|ɀR*ND)9rVOUx*0?/_l(ɱU+f|>No ҋ+F*= /0!][@?)d446aFp8N!x+!O Rr+0\˜0 va"2(-nKVE Ӏ4%Z4D}Н&D7p#b8ȄL]'-ZӳffΔ㡞_X'=:X'9v$+\4gHhPed}$y7Pk> aI9] FejP+FńVxv>!Pʨ*yE@x+~_"$T 7#~| yߩV ?f) gBDx()yQ7*!euht'JYr&*;ݪ2?;y Cέ+#?=1e,[SomKE)a0qv6VLV_~فK"AXk̮nzmaJ9&2P/XXeжh )c8RV@jhߖ@?ݾ཮AⲄ, p/[^ vލ%M2>CFiH!8H+A,Cp] bt|$gH>]`P >9`WWr6$\l{s'omXDyJ,Ra}7cdɌUj ~]՗ J3؊'7/ @<Kd_ʃjʛV]Z|H|ш+D?~Vz$brp547õ>ngo}:2Ho?~v|I])WcR=IOp7"ȄH* ӁeTbb2eHouf֫2R7W~"CR/Bn!$^y )6~pY}5%v n ]C!xh *Zk,LCwmŧ>)pVKKԫG Bk'Ӎ&/%OFƭIG-a> Y-Hy8.+}E<9avⲤF$1pp!ghv%ެYNbvphMƭ GSKo΃%!д$oH?3T^x,Bͱ_uY<_4 >L<ʵց+wM> [WjޡuY6sq'&3k6ZzLƕ< NZ,*6GC¢Zl~k#ŧ4+ ZLIJ~|x_k5&ؾtz 1=v8ndme5qw#NEDwj bQ,|bNaUeF+ s d * fsK&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ׁwR†\-#&.[M$cus/jZbLmHM R}ƕYW[JkQ h!< fJh Dg'hdŕVR h؇DO[^ϧ%͉X /"冶%!cR~K7G`qZR]osS`LuE_K~xR)ldbR3lSVͪkgYZf#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])QPy P2l~ӟ 7MDՑl:ڎcNz> UgDf?f <0S0Cӓ2Hvuߍi'~ftJ*(/ ^&5~^`աS"ɍn,xo~T1E~\.)<ɦI;7Ee3TcQ͖-͛`TFWg}M9\.V+]g6KO ;ָtW5/ '&G;]Z\`UxLfFNHjkA|+JQӿh )ltgQ*}>΀I%Y[N2' jz}.4ulz D~ǙB>POLؑvDZ% JzY*{V_E eIdU%wol]~ dQXQی]S'uj ؆9hA0rG|5钧p1`ݤC'Åy(@j]L+JQn4 }A ae6g POU"h[L4l}W_'Q#*ϊharjx!b R_(! v} `Zb*XI m$ٽ/$M(ʯܸ"J<q}*Khk1Dz5N[7Vhs%TBliǥ}D}0fw~ǢLfLΨ m̞!s+mG/60[3gR2Ʈ};1ι۹J~?ǧ芠7`' (ۄuJCi /8**vsӾXz0O:!hOCEX͠eI&RB:y7JZ,&hFV %|]3ςdr0֯qܰm)ܗRD&2^&IyN5# Nm#5ҋɹij6<^ JSaUaQ78rn&xM> k @^l]L,xx s;B wuexxUHiCI nd1HemW.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[:|&[zlL9^g#Ƣ>=7 sз)Q]L۫Ls>s`GZyr+>_iX-itdw-Q*V.c&r9ҡnJP٭(cY^矧uMn^81I'dalX1p#~tM\1mPݤP} #8zs-`۩Q_ZnK`%b<EPAato.&Pb NDy|ݜ\zް%v9~(U0קѸ 0#'åֻQkӖg@)f4T+HZ.T$|A|͈f 7#YzߗO(+-C:oƷQ'qSc N|A͞) lUa^phcniiG(!sodͩA#J4gv6A94~=5C*`!/r}o]@NEI8>x?JXO҈OsʽsH]1mޗGj޶G?g{ͪPr:ij yT{]ڍ/~h^4&*{>²w$+OBbq N9Rta4썢/pn)wA;b_?B3!oZZ4AbouLJgYZ呺":X / k FIقqq[?۪عݫdEB)}mlؤ)]Dk/N noYf |x2U_hUv5X;uW@E-GI QAEMFrn (u‘M2>.ID7jeC> ؗi6N9#Uǔ}FI[ o kMR` 2׺X˥a5Z~|W')<#L6ב>ўMWKF9?N<_Ne/-G)}s-}Q.S9QQZR787& s0-faJ˺Mzaӯvtxɨޅ*DcA>Eqgx8/o;NVɴ9yK@.OGX~xw a|vOn\c3:gzX_9 ~V'@ nJ.oJB5H wh)uI T౥ը/7ͼ $h\[½1h}B)/Ҿ\Lk>ȪD߫ʠ p-c_lځcqؚuY:}44YMSw#X `4gxx(e'ڟMK=_5cS-9SyV4ۃ(d)C|JߡƇǑpl-QIze0_ԁX' +N .a*e5дE./q `{g~RҞfM7#7&\4#Fc׸)[|OIZjD:U fmB-;r۟u@@j5ZNTn߯XyG}+inX(;D9l](?Z3z can $wvS?5я {EJuw]15+feFTPu4 dA2Ԁ(;8Tل9"_. HyD| ߏ vl}j™P@E=hޥ<܌a&b>n{AX:@O\w)!g ,2'tnݴQSXğE/p{XP%<5Fޞ s+Y V簙O1[/ g M)+;e7&˦` }[`)zy㡅M{Ctx6,W%3VaWmx YIe|j_Ӧ$D,=p.Yb'ysW7IĎ+^v j~1EUm'Zi2B+sAXa&q$`zT>vGvn;ҫK){ V6]w{-e::k:r #4! %+"@IEF-jyŻXCbG6*+ '.g+G&aVHɤ49G%腅At#B`sW YŀffӒ:A2Cjb3|r`Ǻ7CմR@ ՎСCs׬#D Oż "2rj6IGQ^c,u,0 דAY8Y360<9q{^Lm.N-xL<÷ w6u_z`ծ'*lfOx3t)W"~w7AnI}!l@0yC]oBQR|6zO =M}'v"Ý 5ŇG ՈIPy[w"Vַ,|.4 s2L#  UNM2H+Rg߷}nZI0fRW*p9:;( Dg~5A3y.i4&s>s-Oa D 6~콩3M}oHN"QP܍" noԼs(qns7Ժ@19B,qERY!85^# gm3 f7@dTeYwoiG+C Ѧ^{*%'e{S3!I87wP/k2*sO(<> L?s۰@)z!FCC纊uxA=W!ZOC*~)3BUWNq| 2-J/5F1bD{0вnvWv%A#̐H\DH{}8 }  ?Fs,v%S0,ȹAqq'@l;ۣ^|g_9Q(eͽo@E[3'qo,}\R4ଚǠy1 !ѭ=dX:# cש5ڢih 4z w-f)81KW_c&f5r,$c 1kbw2b!3ob^E1߰JV]|^@2@Xoe#U(UZ`B,UcCAm<ܭVtH>#FA+ӆ[>+\jBkm4ƒL;gZs7, ?`+T=tzΚU~A?⯴]q d+*CFKG)W6BY;Gy3lٓЯP;~ i Kӛ[I9J&%dwߟs'+xFZF|5L'(Ԝ# M2vX)͈Rgũp)Ɓ,_p?r$*fG &¢jKosDf'jd tNW:d_:j+dMkE ˳(HO&*lLM͒s;OVXiݺ2>, ċ`gYZ bhG*/!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ׂ#ڲ(WĿ]xUQKNLIsHYOy tY~B ђ .#a#A0]4?fD&z6 _"+8@YN5-\M18,]B!g[O[-3˽e,M,FxMw]b~~(MD\U8x,MyO⿗`Y^Ε" ?M`Vo$`XX`{_åFhiNe_E,JK}7%{qL䒡TtgYZ'3# dZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  )]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($RTRćZ /n ,"e0eXH ,tVu7ѿKbxIG`aoDzzX”I\KBM+ҊZ/}L&&|eՁ%c_o ᥏4ԎEyxB5Žf}M#fX;2FfIj}!e{!RQEFѸ!o&dV/v'xlC;q.L5B%"JyɨY"kކKII!)78qmLp^IuFUwt8T7N;EX˙K@s_m,tjb,PjCW9[ vߋNEKl.cڶ5р5Qʆv_z.RxޙU]M(":H zlebPl@bw]$ìU~c|dpsV1Ϥ>BCMt<sIf%O"I#Ql 59>h04N¦(1Y&YH_nhZ4/z8=ctp/n46^~ (8.=)y$Q(+Y-S}hylV??LFYp@<̿p.^]7\x_j0΃(8dzā])YÜ=XV27s9E٨Ux8Ķe7 'z`;QeI=LVe4yHk* le)G'ٲXξߜRiy9>m  N[IƕB"qjZ3j? K{cȨ`Sn+EORxDR΅Ao&6dZ/6M6?-cCC!ɍ]΍};t;|YV|?̚_ aEZCU<8IY3BsmΘ e)E 5 o{uunH運sXx9֖YEx/>fmBJ(e&KtZ#@9YL͊.Li3]0}4@{U !< U4͚!Fk|fmDQq5!cd|x_ax:]Iʲ):F5Iӫs?t`8r-a*zvi3W5 uGk.IrվΏed i$8 ]`KqJۆ>iRf=|P5o(J &eۯہ&&7aHH /V@Oҧ%>#@X0l IѺN/6ff)}-f/PIS=z~2u.sN H( XF!ps?fQ /?i_NVӂ_ՋH_2Ss ǀzB#OT:Y_< ^vG7j7*rBjFq;OBzzsJ_A6C7cFu5 =noT~{G)X]Uճn+yAk|w ]'>Wk+u]A;YSjt)0!5 .TND m@s{||S$G<{ w#FU[4B#-:lMrx3} ̩pK۬u%E"5 ;O"*œ€Z1΢d VO e{ Q27L:YWD-ًv^,bP]"?Rb[فL j!Pw\$C5Ppܣ; )7Wqе }l菳cj ieSu*?CQq^#ޡuZ4/%=fɔۉd  5E*2d;W>U ?r &'<Þi3lAoFUԄlWS[4ǭ:1TPsi"$Vgv#XoEB*?ɪ*2=KH>L'^"OitKOH\l܇-K`X-JnH[KMIʮW pȉq 2d2eW=Jm5ZYfW_ʑ2YTxPJ'd쥍x4`&ߴ.ƌJ]Sstqr,J=HBR* yH3޿=Ll]VR2tNnsq$_ )#+ІERĉg=6q!{+[oREGț0~\v N ZA0)fB}t1no;d1ΐʿdԡ_p9<仨`Fn erƒ* V|dXiIi{uzQ2$1Dp;ay,0]n\9wqkv IJ-\m@Qn׌ƨAN]嗨p˱_aC9.jC?W+!6`x_) j77"* Ld9eB=ZJgYZMt7'2SS~L? l!pneWpmJd%W:5! )&Փ>i69Xɂ xyaO+GđkH A(?/`8&v#MCBRZڛ(*Zk|{bm?5ŕu"5߃9ͨ3~Hd#npeX& XF` ib (s&j1v WEO LwP< 2 ؂.ì0ryc_Bb*,U&p2V'R}%WD^? b 籔㰱-Kz Ûn1Q0;܉;?s-pBBY(^؃ZJQQ7FW_qKp-KZiyPN]uSEXA. U{߂ |B.:U)[H'S\YlQc{A#V܂6 Z{ED[)Z;-3#8ʽM4noZ)*ժswz3nݷ&a(*I ꟑgu"k2ba>{ȫQ$֏X+~O ²|X yk'júz~ɲ>gdHr3fXVh&K($n4"Y.^X E5rJim0 'YFkBIMbR+h.S4f]+[Am ;Rɀ{g $M8/vdJ]F^rNJjY0Pt--Ը_$/{Z'Jd PD=X a |`Y# #\C{jюb_X%ȟImPINAب;_~P3-N0g8DP“sίpI G55S?nX?nʕ{%K-_EOIBD7g_dK6\ŏRw$=\'i+d'i, LZfS'}Mh / gpwv2NkExihKS^Gpw\w~G,d|PڀH*gK-@cHnoDF+]ŵ\Bcx8 1"n_jS;ʇ`ph2O5-{}6ږF$(0FlS@ͬAܔo}i'+CJ,@?΍W3M5)MS㩄X4/񛚈.HD6v+Jq'8hP e?tk~[}M,NzMg.F;|gcY{t>6D@ΫE tf-gLoOukWC#0sgrϪJ8VL\J28txf{7'kVhBr^$';k΂=d._TjIZy& ʉעOq\)ځCϘ0`6o0S7 zRfkǯOeb:!iH]~"=65*JE]&uB ٤̧N&4DY*ڌx|#USК;#U*po>S>#tLYn/QaSN$+p(#Cd4đlPi*eH2H6!1(c-RYl ^(#"W耿0 U#@~4JqzM| bmdIF%R4b,C^˩KdPKז%ArhA:XHY51F)rB$5rzj*$%fNCJpr|CD:N趚G_@F/ -':7V}3Ev6p0F/t&CXTJ3"$ k +v?(*a{e]mtmbm-, /+kkĦ SC6oljDB;$ZO[M[Ʒ׆;C7?7Cr_"ly3Wh7Q;CMΚbxja+^ r|Ys1'Cbh«Ԃ_t^k赶qJś8H]8_ባ;'>8ExnМGzhۏ+ĨKnu5= ͏V,ǥRqV*uIUlaCB aFhН 0/b$bޣr<9HuR I> 퉚p7e ׁ!&JynZ:IsDoRΖ_ pւY,\tGAg՟ ޛq,ʜ?xzZn=ɲ,S@[nȳљ1+t9oIݱkv(ńآj qm^ᖪwy׬fKm,#gWcoKtr;#n?cl;f+NñndȂ1y܁ձ9#*:f9(~}α؂{u^W$ԫ>`5^L' h@*B=2Bppb+ε܃nO_>mrʆ44@! #MLL#WqzxҟT+jQk0#G%WT?z9{r^r%,tsC*%~0!/6n,&⒨9b];< ~w9I.GҺMUǕtY̢.ղ(֢GQRrSaHٲJFf8оbUN|!(Oy_ܥrpxâd@v} Lw v& + HQfzeÉ$_]YP7U{ VHg< !YQ0K*Z+Q0z<ɹZ'@zE a4a@9r1n8Wʒx߈Ӌw !g9XdC[BdKYaY"$gYZ  N  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׳xBq2Y6HsRONe!f|KO `$/<&qd(1ymw@9`k^Y4W=-xqڐfYs,5O&|澴4HZ%u_"HE`'Sp$^MH6>//X\[X;/^:4K+6(3;nca"k AjMPYy+Z1A&ȏP2=j@]O'l701ԯKw\ MI24~7/|߄,~5{նϧ7PIU D ]'A_f\|N|/' ήd[BĐ4 ܋ջ]jVIRXC{,5Jv+`]FڡX"*,0o*w~)Br:9Avvu;EpJT ѵt/Gqw@E 8ô/_DzvLًD}2ork <`|َkrX zO9 ifsKQ/DR$9l;N8F}cBt_jJ8bO/l]HM*4$3 2пI-iwV'KC_l˂px"a&=sgI`F:o|S,MeO"WpS8ۅťM8ϠAFC}A2C%dXJA,'FՖf'98loO9hoD> OPOSF?B$ϩnlQFP)sTcgv"1M3Hj:T~B|{aa#0|Eض^-ORre׫?7/;^؈ gi߫%_ rvvBȸ;ۂ\^ǓP Cj !>Z 춥勛Il̴dl9)R܄V^ ǽOw-VM*եVFM'b47O gɶJɻp,T$ 5T~kBʔu\5㇝O t9@]nrfʘq&Z~pu8QNe켉m&슜Xmm+d8yţYWW囫bNg1_V䱨 \p=8W:sp{3CZ>&E=.\TQE$,; F #]$)~iY2, f!C(=5 B0 \ٱ\S! D'0zii|H^.zE7!"2G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98?,/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GN]·Iq n[:|&[zJ(l!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyMzMnÏy&gY ߙ{̥d &pr?&J>2×dR?Ƚ cȟb2h*P@up!M ]NyAl=BÖd{"ۅKJ)WY==֕0ĠiaVq~ 5 ZR#{m-6wxJ2\Y; a( 103UP(`"E{8*?O$ЯU^ry[c?^| NrXjf kVߡLdW%_Ybh߆l_c0~7ߍ'h@R=͡گn]/v/7 LAIGؖwxwvb?`,p΅V#){-׵_/u z %k˘mrbk_ xv64f1r.OCr&-IO +,gJL'5 s༹4w+6FeSb%v&_q<)܌ U)Ǥw=-d*x(Vl*iCحkmvk;rvT@at)kÍ/[z j.N9! i96xf9M$ jz<1cu 7f2fːDgb~A| /YƉ:TYI9=(@-w^hQ~xmN>n ={:(JyO`g\%TbonUu\R\1Lvremh]Xv"׀[5?R"(^7V\'3n39ݕo#z#pT02{/z̺g}CGpY!u8XBYZDc)y#= |#_oߥ I?YfG8j^űWsRhaG !)ba Cb T^2_V,:\vU.%۟/Sեa}rj:YFE!<1  dy\c]"$$4.LD.-H[ۗ^Hؗ^D2ϼU ͨ됰؛u]"w,%pkm5JSp dcd{g;2ԡ5.Vs[T`~muSS\P- 3:cU`_7|e}禷1Dl33G\ Nw^k6ը?]nk)ISEplp@{Gg:Ds'UZ4ĥB~@1?EwKw{ Dȓ*@"X.tu,Q xBjdضOi b`rcƖ[zNB6w NAկLzd(ANr1݋쳑["f08Dټd`O/XVc@1fUDAMbR{^V--S3ɼrAG  V~+oi(QIw;{'si)ĮѹLŌGd@Y@|,xp'%~YR4n9:^R#D/WxRzM9@ k%;FbC( 8愃y-^OzǸ`-}ZOɞɡ/.Q@8,`ܟ_>>r%W>O/QVa,^U۶V%ՉJuHPZQswJr xuSɵE1̯ ?3: v!:%#WF* ckcq#˵;yx=#-)1/_q<}`9Y*80MiEgPhḠ2ed{ϪCoD١nm 8W ᗩ~D}2\F>n$HՏY b~3>vU^٩*ًi^6:N)1ofnPySHX:.G!+5FtA[J03mPu A#8yؗPp md#8Il_n7;gRM)Wj 辶%SQZNӎTA  <Ӛg4Y5컄A;E/wB)E0c'U@hWlԒҕdYv :pUs:JSK 9'^Y2'rn`Cޣ-9Yt .u׏ӆ$\#֦VNN`+D0;wf(|; }j=F\| AhV* 6Q/n~^1*izgH!Cn!ȸ~ 2>]PV옖I]Xwapؼ &≡NAe+v`|>17`d?!!g*eM_CN ey06ho~eyl3UAg@@5(6"WMV5 AFC\Uѳ™=@2>h9Eة\}  2؇T$e]ثrҏ  +W#c+䬎vhǽmu fY!)>#v[5/X"hQ]ÎKv{ZϹ&JJ·$`M\G]^Yf!S GRf,*4ǵnZ\pּ|Dׄ[3.g0gPx} pggP7)1u[B"i¤<4$ J0Q8'w0/vGLFĵ's#orm)i{t q" w> 2Xqjz <|2cە] y&ɢԘ4cLp859qb]R j庼6uT|m:FT $M!ݞe{b ?34hЫ>`u աdG ?b4A|}y#j#tmfX Ez"l&zBvj2.9&Vn{9 _)(!dwEjT59Tps= UQ0Z94E,q ;L!ju#L/"\1oi,M[] mi[.N”)HKDd$ 1s^FJ|\r%VdۚghQ vNAҺw}z}α(rNj(W.ngmKȺA9X>)~0R2P5D S[Td+Z8RYh?c1A)BZ36Tq/HO].tƙk`c,c7Qf]9Տn KQmxN d Vb/B푰5]#C]&K@v$񞯂pENlzFOm \ 1$&zfU N T@0x^Mg7mNwpx9;kD;0/T%ZGyo`(Xjtgp*Cg?se;cPϰ}t&αy en0̽Es> @\r{¿c4C(mLP`ILﳷl|w&k.z:Bf{KSf^?kSJed GPmdvBU׌Ig% *TN2铗P[ZE83 B2oHiHWRS_l~T VvN9kjGm|]]NUGo7@PC >Q y󺷆dKH2ܴ1%LNP5!N6mST^"CE;eFg%DlvCI٩w m1v1RbR&TnRuW2ћI]L{:M$ XVK.P\r 04mHV,}@uߓ)6D@C>TL-:-5vxXe73 Ȋ5CTu/?( Ij;Ҭ7p&w4g:OTAf+eW޸^%pdvY|.>l T fWw"݂~fSFm%يw!|_1xBu ̝(L (q󰲷Uf$}sAe"b0fN>@]{[ap,e<[,4> 2fFǁ;UuZp# L{;o{3%734Jl$q+"vORI*FkV} b{GV'럿3I:_]]IP/G ="-*\nD;iUO!|kۤ>$ׁ*sw$5Uboe@b-hXƟbPy!&Fn' &EnAp L HGaMGt,eR- I0_hpTT]qɑ%S8LhdɟVZwŷ-ͣfU|6x*\._D~z1;mi9># `FlT !3A[yCLy#lCq; MnB7+ƟTmh8ZǗ 'rS0{C+7qn?8{mMȹ2O̹ FtDDd0Q$ay!U @tG6g;z/ 3!w?ڳͭ<--kBv-M>f L65p6OUʺ0A{EEwa ',ZΖXykۢD(ٺwPXHO=5oլ>&z`:VU-yClpA),hakM5sO#Z\8lT(T/ց|Uh0$jfoɑ($z}@A*EK-zGUfs%#WgU zr߀ ʈi̮ʉAbIyKڕR`,IQX;`3H4/*$\%#[CQV^õW/2:FN#4"P=?,]=. AMf85O HD3l$)A|G6|PZ.RH0\UMggRAMW"4[岥3qL5!z1:󏬩hlTl0ޥxMwijѷ?d}5kYٻ=r =Tl眓)B lLXz&범oc64֝۔Ck Ӂi 6&z1ў$DLsGvw ~]nQ1ƚ(7zݔ^4cRIj Y! BֈKnJ &Ŝ/ JtnMXD Lro3Tg+T uH"xK˩٤) c(v9Op$]=mNUA1VZ?e$?;`ܹmisNr fV̓p:kTY;쫷bxbbs WNvE22 9'&g_<^X_ppvS ^r(˹ZNP!/:Ízod8(hkİ j*ČǬFV$RTkF_4x>PwleU\!y ?0$Ѷ31>w3 }$Tm= kK7ݛG_4`<Si,Y]a~wr%W(V3>i:rwMúz=NZ)<\8jL:DmJ+yX])kbZ652es!Zo&wq.-weA˪hB$ZFnRUZÊ%? MK|9[V|,pE+#P2ayO!?y:%$fiLH8v <zo0< ]Řo"Fե:_5ids.JN.˃LhfMB%WuV;%GCq%.1j>y{c\LB1T:;c01rH(u\`1ˈ˲C_zG짱X-pQɨ($jgQ^+L>eRZ̗~lePcm\Tz-_ ?;2j?uIG[.I[Eqq!QdsAg>/JcPMEkFBLzcʹXmG괵kO6кCn.W,<0("+ X2ؙ{m}܆+ 5]Jivǽڅ^Lj/$ k (L7i>ICdv>PH%s';긴O'R{j7Fgģ76Hmua-\XVC\H ρĚ-?V= +PR9f |u5C#~g} iH 5o\_ꋝSޢe9 mo3jSV_u-{N(S~JĢ}^=T2%Zu牗8})uQYhckx' PqX ]+^T^4EK{ݵb]/ͳFk&4c}uJ553]'VBIX8j|kk :BPKmyﰓd7H}d1Xg»Ո2@Ej0[ 2k_>WcD+UйBDMP h-+$0J+1kRZMK+!^e%#]`ލغ, "shKDT- mPlpY$dH޽tP[$}3|^UC?f8`Y aw\꧂R_6PI|B:ȝg*Ȥ9HIUߪDnAZ]R4˺Ge5C*s.$onBa޿S rRx8tfVihu&$Xgߗ7MhqKb\q|;Ʌ1kނJ{/Lw;ͱ>zp睽Z :j,ӃBi^|g]a2s ꇷ%nVpK xmv<ʆp$*TCY#Y =BjIFp" ,Z /+zD#P+k?kb8,$`JN ~#$?+aUufnch,^fsUŭ3I.R̻0Jmv5bfiaEϱZ4G5T  1֕ bl%'?T%*oAeJVSaߦjqS?Ăӧ,^ YW(py3شzKƃ1v#\ 0ɓ(Հ"L;r[o"Ws 5v8Gbq{Y_-7/"fJySi*m?5xd\O! 6y6$Z0M:j> WiY +!Y;+ch^ޥEh+5\h.8^L|'NR@=vïɊK|]j;7&qHA=E)b!X[7 2u4G;̠=3>6\1*cve?s2 D'?/ٰl\Ĥ׳ St7dK / ϡudwPr`\偷uJCv`G~/NlcX jc_e r $(ͫ'l=v9go6,xMacbM3r<Ī'9*S؆/nh\gBN{V#@& JǞovd7}/yQw!DIbiZ1wD+mYpnH?Հ8mޤcXUr'i|FXf pwG6a >%4iwlЙ%RRl\,Ftr;0Ity=\jqcYX H.^ @AoMdTrcgOS#&gal VF!l?9N_JjE=6ocɣeNeOG- >cR^ Q=hyV_w8D;h D_DB<*ڵ]Aϣ:hIUrQt,~Y:{Uʀ" i~^II0[ yA8R0h!PO*51Oٜ_2zȉ`IstQ 64CnuIlZls'yU 'Ͷ]YeprmN/,?6T90{]"(]Իc "vz'zdHQoN^ݬ٢+E#Rg!gWh?j4byļ-A* e 5!Dd jp8vL)K̝f1aZdhvc&DvKYv#$=%o= v"t- ~UJ![ʚtD{A;vݩ"7b&jV*>b;p>lOfa}ּe绗=ׂh39K ꟄG`IzxE| sRmxwQu޿ m=s 0!a[?q^&u; x%'sh] ·kH5 :]@60.D?+hW6G[tuc6AYY]~UQ Uчax,sԴ.:Ir_2[gP>vU٤%#1k<ө[]DKk|>3J`2we6>EZ&HQ)<8a7r&"1۱Fɚ6A_9ufS *_f<+x˿"L[D`Nk Eq5e0(QC# $!%۲ɽu[J쪞|.1T2[Qm~,/{—9s0_J~NuNyqØth_-P?MR[ڛDiAE`Rt8E?jհ{z=+_#t"dg]Q ~ٲGh{UL_tTyզU,@d7^Da3̎ݏq?_w<##ӳ;>my3hP|P]'($𦉩uLWIrj^6%W2O80,y)ZzƸP)I[NS`,dks &wb{G –z$ZFŰỸmpW#rn?tռq?4qEH"m,M7N³dX9kӌ pz*QOI{Jr,̷BFGHKlJ g3m@hrBr!_P:ޡ޴Vݕ7u1m !W:  Wg^qPX_w~uz 1{fpzC$MRMIp;#z01G̷ۨsN˱GRP)x-8)0n” Jw߹pY%Su4wvIP6$qɍWz&UǬȻ^N̝p=0/ 9݀- 6] CsMWM;n9JO)[UL m 6*-+cDUBk2Xyl=[.#qh= Y;d)}3[ $Yizx)>%*$?+!yъ!q= ;c}oT\y?9P2a*t]q.//M< ሡfʁVbߋj@΋z"s[XA.j|֒Z>&TpeƄ1 H/x-Wl44ŅL,)#+f).lN8:oV'#m"YS{V;n"uw@़ԿYOuR!n ٬EzOk ޲VR鳰BQ3Pw 95o:>S_*- zo( &bՅ# ]E4qf랇2[-F_6sg#] \ٱ⍇$4 MYvގdڴw֚|yK9S, 9gFahCMvA¢hT h=C<eJ~m}Fn^0F/{ْ?s;5ίy|݀Q!9BKtoNߋVfR#t{5Ezx?{?s?oS\xڌQtf<$lx3deCɥ ۆCͅ /słR젫%QgFe.hT x})2أkES#ϭٯN~x#̶Ee$ڣOf/Q>f7']g*8/0UEi'kaYK#0W5ͿYf=)sT:)h>>KSQA.߅Z/ũ\"x e$xKM}v85'JP'65aI2 (^I|j,$z|G?L\rCs-WkG\R{ժb̰v@ݖ9AmcPҀTsOS1S>j}?FvS~F ő0{oR@Fr Dg 5wBbAW(o•<}6|՘hsoէGjAșmarp1^Fz Bafj^.ҦaF-pYv,3^=fv%: E0>>b"n(LĊژ6Va=w,O$ɓ,5[N3 &yjUh5sijA^3/`=J:i0ukܘdft8 s7A=d RvzS5nIzy4&.tóGtyj +RsslDESQNDج}_+AG!giF(Ӧxf%E@sV2.>U'h^^ye]e.S`_n'`LT{\l46A 삧DPgtv b5L]&€$3t,*AyLJ }+`ȵ%^UO0[bXز=&70Mn$svGV [x{W!NhIi#ӂ+2xBp(ZdʱO||OŽ vu"Wvm%.V 0LUKQz_T,<\c{Z$lrK)4fU˹cg)|hp$g5GNYu9&컏SP(N1K:_GFhWmKL+,?qjԈRjhm[ZF́GZ(fNk#6Z+eSOlA%t> ٰ1ƝL.)LC`x.H^TH[kT G2U;^}μ:oų+v|g ~b4?xzuk9]v< @Ux}K]CI9s_j/Μr-xɾf!36}(v4n]hgĬM0tЭAoG.O&`(|bF ]by>KyiZ:H3'֒B~+b Q%] g Ӛ=.+14嫩\_Au3b~+lrh8mVF6#v/(ٷo,a +* @O'} d ߔJPo3c!Tdy0ePnd%5,*q@tMU )h*bx7߭ŶnmBvg V&$&]ҏh)6Õ5 g5#e@-@=LyPaTY|3朥32>NI~8`1~h[Z2߹@qw 6xJϩWw75ξc{(?*7ӌAa!UiLq-7f`8c]Թ3MyrF4CAl6SY`a><}6[hݲfr=8üll?{ɖ e3xC{g`@ $ݠ^\}XFul(P{侐/0iW,!A]\8'B㢃wȃŽ(#C9]5<8ݯۊ9NR O#@RXvӃK@ b@ 8ԢT&w9^' Alc-F^@Ru~ tN[nW#=Ibwu?&>Fl^6/-[sx Z.iǥy.g \,q8j7]No"ώ/a[*:q.wWIW,ه()nn,d.fN33K~%tp&ҫrm`4MD7߇v rڨn>lR32v1ܹ5QmD1/tE MOd1; :=Oͨ.-~K"nx+_!,(@e.45$3[ K(7eeuAUZ}2|G+ hj=]刱7pqkЭ}b?NXLv5vIbJt\1D6-ԅv;b1O7rH |KTO L1'|Zo,cY"n(dXMMX9'1Pz4jg2B,F\|%f2roF 9ٝg2,#H Fk]h9TsS=a &]ǘ惷#ެ3eĵta(o,IZH}>3 !-@!y~pk drH :He@@kl_@z,c#zT1W $sʸ$WX$E~50I&֍F݄]5Ѥ= >K&no5U Tykm`-?2g_?0zE7ʣҠZzX慜W,M<0IktOdF{QK_2 Օ/d:M+R!twO;:8#(~ +>XYS 7j@5xܵ ^:j ~g\n%2+fCl}L"fZ= de`?b`m=0tɢׯDOC9ɿa5Mӗ襫+DG *#qQ @7r!΂g ;cQTrEI?/չ#I.@e/Ӥ!X'өk($mM=Zpu@`xV[6ec=Qh#c$8.@][/ԹUn ȍ}%үtgmP߂2v Ԓ9V-b\h*t*wp,Mq90INіuwQQP9 &W#6KBF1-J`.Q4<kM3;ZRqڮs[I]X 2u›Mf]t#5 I?H-8F#3G4CHeyN(D`]~|K ^[IA`dџ֕O'J"eRaA w+щtp.^-t8t#נ3ZN1 7f /{ ^wel&%L'*0f.~0}Qy!<7$K9q|C tR24}LuDx׌&OlO>k5x='K}f Q% 0"j\q1eqo`coB 1.DMd9mLIOצS9&KkZ#z>J!'&rmlURΨO?VWQb0$,i_<Ȓ+򋩻Ze6D7˭g9%82ʋ8χwfy܇VbWe9^|o_⪞g ̿W-/JJCYpt Lodd#mEBQz-'Wu^z Ѵ;([D|.h Ԃ5V `}QSt#(}0xφO}u??֍Ʋ{:'{;V>%)b  o4vZo+zD 7B_\Yn #4έn{( 퇛lU՚'Dxẁj]oט q+QB,KY"vd6-U;&FsZH}5A1͆aBk-;:~HѫpOlw³ds,Oƿ0]{kPHb)oʑe2ЊScN//B:\}0 @kO~&9Y~x>e_ɭ2HwrD|^ȃi4Y%UoL7=ۇE?r=_:6!vŀCaow筺g dۻ#p+Te=9&t!/& $@= ?^ÍG"U\cowжK*%QEVdW]h[ 16P^X7'UsM蹻D6l$9U0Dt J^$$* V̼MgYZ [[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ȡtB"4G08* ӑXYxO1HsQ8 ݌^6$y#ye ^Q!iyy3 +x] ՝sY_wd?ߎP$|JPׅy >eDP.3>q-G*L@5Tꋄ *U CK}^T~s섭Zw)M1of`0XE -|mdLL8b*N4pXϩ›NسH*mI3,>sr+u|uMf D9fwStj C/G>JX0L[kϧ9blꓐr]͎IE.Z̀Bu?X@lf~uOA{A7{P*\ˢ̚D5 C.8 7+%M_DE{F۾8:HtV= l[MA? Θhn~<(iA8v02VCHDшU`-ZyI#M1skfZ/عov]Sa ggɰe3 L":G.f:PЂ93Fy!VC(P na~뙡}(X AbqV{Dz4_g1 6EQv$a|OzWt;ڽPC.mAQ] [SYn`S]ڦ &>ǷxN0 >6a/R"+lgXY9Wkk]HMnl`;S 4oPSĖv"ɛͳ'!nn7"MXcSzi)+SYR8ˢVI)̀0uJӪjWlI̾)x e}Z&PT B@Y}\|RZAFݹt,-h"ب~cSK,DOnYb6.ˣ#6is`yi͸!i@<+Րs6[FJJjvfp1ts.lqg_.5lvAu$=mc4΁wcE.ﱿv0I/ɟMMMC᝕ͤEf h*=>Ƹ0z+|. fL̏aP E:VDM8E F9l~sV 3 ػd$ho$q!/;fY?C tX\pV#0gwOo!4W"^rͺBh$r/!Z ^1!숚Bqh -FN)4l).IxzֱuQ_VueX:K Bfh::~`~hQ2Jɣ]8AVfEO?@VU^+7 pl4~+({?0Ф4(i|9Dm2׵=%!qGԊeYGC&r y4_2%N D䊐kˣr|1x7M(6c-7y!*]! ,`7|INi_|2MtS_ x&d^I#K~,vjWR!ҁb Ӽk z1o(SbIMUj>9A*Y9fSr< KN U7?*л72v[a,[..RoGbh<\W@C" 6*% 0dۅhJpc;5#"̃ZT{*tIz$hdM؅ T(.XC_IAUEw{#[}ma é)CemU, ?_wA`[7KzJHmSc?Ns/sի^t齎[flUZ⼠ЀCXܾIV ̝3`KCꋋv.ؾ39iu`pW >TdX ̳xһ/e-v?qF]iőm,2ʲLTvND4 tC ?brK~H2##> ؉&&f NiwRS:0H#z {XoX&:c3c D`P.A^OX?JukN^k'gz.` #L:Ӫڗ[F-\{N^TWҋw3>4~Z$e4 .* l+kw^jh#v~ 0&ZH[kCϙgN=/h I!xcpodtXg1ɳ,P^|UHR?{d9ЉS٥T^ЇY@͗N5u:G5$aP$ i"eFs;KD@¹<+=!=P}T}~Nb)*DaIu]\I!o§3NXr&r8Rkks`E3Ijf?.m`䉰QG>ɋ4h;Pevr]#2uVmH:bcȞCeXH@'I<͇;9y}>77Pӭ·(f|2ԭDDXnvt~ÛC,WeΥ) /ƒHBGRtN0n'LH$v9v#\yQW~M]:ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112'4/' |ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N6]·Iq n[:|&[z|73_* {/~='n**[()6 ൣֈ4\ Q+Y?{N4T\u4}Y9/PUsX( hG: X{ `mNFRO1I,p[Ao3vT6Vsk7@BOeR|]Y&Sv <1 2}M|䩀`@ef|"^J6q <suT^wltyCf`O#w5%Y@':kT9xELxu+/x֑$u.Ycv>WF19팖^Ôh'(t;xeI2B71 /8怀V t]?؊Ad-H#OMr[M^Y0MV [e4bgNeu^N>=gRU5{ 9+[Ma~{)V]Ōģq+7'sM5T~Ȏ)Z 'F[6Tm0J.-ShW@HT?{T?hlļ^'.lOXlOG JÄq:opbv7lems(CAkZ8O< 8x'xQdE cɎ^DyQ=igfțt R6.ƇbPg)Ӹ((̔+*`> } cY\5i@0MdO +\OUijħ~4eÖ uk ?hWgϜ' }vxlF$X- N qĮe2Jy&V q6YqwmAk/ڝ'a gYZ;e(w1ڥiJ@n3's_p@kay=j*"@11Y!o+S, ЕoK{`{sw?YNwo݌gSmEL[zϨn| GneZ֖z KU^8s:N%(rCSrߖQ#ru=䁥|W֒G_IE@ `MIT"ykK>c*dW$'VH ʳ7 h(*ÏrLKTĶJ˅+α&thy>36uўPJCppf>cV ̃(5z&lzZD (З :W΀Z fX r lwb! B?NVF "?;msg6ԂЬ!2S*]y }_ 51eO~ҌJAlihu5H=bs;D '90!6 âBרbJ]SAuZW<'#02S)C؟ºCWIp32~C dTFzHV@pRgTp©]o<^тZ(% iI Nj3U5r" ˰ыv fD|p&nWv@?ث~HPn"鿷M!;;vLW+vエ3 ; >R$Pqd.EebU uqdjjN߅ק3X}3`]6 gȟ$˼wy,ο/BVɱyoB$4~Xv|oMUMWGt-,Ǫ5 qitwՌw7[A&.k]NJz9ɓuh|ǹw>^bA`[st@bKfO,&denK 푠єek+૶+Bp_JCyG〤~SQeCV^kMm(;&>בJ$,2N(|FND_A$&@1i-ﮖv W^v޻}1 SyĿ9I,??ܱ>Gi8΢캋QwlʍuNؠnIlܶJ˼sCgI|D?hDʩ&g%'.K}7x"fX+t'd-oA}n-HQ{"ܺh>p2 Q%Kxm|vMw)}a ?AT;"vY`u%v"8*b5q3"d0IV%Q ;Lװ 'GmVmX^Y=P*BeeJٍy%qa)n,X+ #5b2 g E hܳ1IWިT"S.pa;02G[$JmB!lF_ iHbbȑn `0t9Xd'|鄺-iS' r/)Fo}K[G1p ܮ:8ZaksoI=&U_Df8נ4+:>j@+o6Ԗ^3O=tPЮ),˫L%YN`+Ս5ƥ4쯩^&AP $biS ?ό{c]vԁwz fMDʹ=ՀOO,7 R0(ՏwSL yTq}L+_c.9ÀRtuc?C6dT Z-\{Y^ޒEK,'&/Vow%VCz%ȈAF˔`3{N8 0T[&5:P9څȖp@s-h//7^N&_Ï3'cTUv}K ~?rV;97vDp=c+y$O4N ژKDehYA?0vV{2gԠDy'"׵*Zbuchݫ)4B~ߣȀtKhR&t:3^_봒FmLvdU5sԧG) 8㠂:şvrTwKfbU.jY 7Om*JD_}d9$T] xdؼnR}+N7qp9[ pI(穼[f}Ⳗ9m YѺS׬E0au #5QodMO6l[t[IF7zqSVɑLleG )&%]il||嵒Y*vNƺtRݰ0>{"^8^K:lm&qe/tۋ!!2, *%2Yv_: /<H-na&Ѿu !}bߵ^ 9}m`{oC<¦{|Vfel2om nDuӛ9?,LMhx{Ca9mknS4f^sۓ[jo`K iPV"k3JE4ydP֊@5E3_U=0fK:U}៭ Մg2.Xq!;z!fz8 LohiɖTf;{) $N;4;g[>2ss^6}7YhTbD^g嘢lh5dye-H"ts͑`"~ao@˖veVQ;HۏkΛu G9Md8!D> B0?4*1X#($,9M:@,tV% pd> }: G:Ŀl#_|Etgc&d2:+e{W(o -rhcL"=A&+Of8̪4>G> cE׌TMA2ҲoӛÂ"&gCA=kTV5*f~?>JPsfAzSrjv;ʿn,1*'GOOE{wd943$'Q1!8/˪{VņnDQ{Y.g W|Q.CъEoe:Lk y*N;A jj ?ɲءm_ 9wA'YլNpkըYZQ!pa_!B*B?̯1E^
Rրԍe{ },[K>lP(=8 G_$b.K￷wY܋JdK4ԕ$It0DAv #ՓFXB[Uh5F#TYȕ)ρݞ-xE_'FtT P`=)xoǍfr_~n==%#1 x[3t\&0-nfz~I##U-.EqeT;W{d9>3Yɓ#I?ITexFJ{g&ZɭWpL*lfn3K.LZ }>ձs0o\K^ĆqaoVm@,\"t kTl7_v`dUXnlDs )MDЁݣ5G\WcdmAHub4"|o8᪼56# YO•/Ai>L?ƃc0DojyDWeNIo xL8[ƺjK5*4.9e2>A#K^://c }N8;ׄ}L_QT';efA3P9@ky$b)AnxA=?t9.%|Rw)3"Tc5å1u֪62%zLC%" *N"5u%Sݵޜ0 OW%C0oy ,YnLG&d:BRQipqKBplMUĖ}锽+l-}^T7m>NqA#Rw&>@R^ J`]71Jwj)AuP&WI$ lcix*[9%qOeοna6Q"XinsgaMl/"(=ep0$KqST$3f#2xJx0iNjGkQQRt ,D<@EP#`RN;Oo򈭸~ > p_u>v\>~,W2<=c@>&3!!AC*Ykjj&R\.i_3VRXW:UhHF³S[ayYRkH!ZpCHJBJ &aY 1=rD <+Z re< Q87zJ(Xu>G*ofuY"Ƹ9gX*IְL'v"byh HK)ayey? 6&烍/Mh_2ɮUǥدu:efى䴞$~]7On2l63{ZچJq{Փ ,6<tDž|qxRvMz}Ҋ59z:OUHP~4X#NxܒOqS@iNP~I';I of0,GA76JzgoBkEyJKxn;!ܭj k UL d)l8c{w h 5C?GL6T& o`Ul'+U\lK{BT&hvKa[M5ozU> W; YS-0=sݡk$- BJs v6J‘Hz&|̯f6O5MCyp؟m/rtE}!F:[dFB_yr& PLՎWh9(+黟(͠ɹC3p Crof8$KjEЯ$ҍRskx3S1_ :O¼@O.HI ehϏ7&&_ls<.EvŔPwV? lpɬ' hG:hA(!˾N6Ҷ$1P7K@7j23+B+v5)\u.@J^yt+JD[cu%kF]nXbԲgwJ0Q0 ;l/GPCq?xFO3lxET(Cd UedI{\zmPÒy_5Ohk\l;a].͛CIbVBoJeN 'zcʽtB+csXeVK]b!GRz[^6CI}D=#rI?--_E:1~ L"SBߋva~A\`q뜻0Uʙ%Bln&40g^fi^tB)`OvfkHZ۲C]J#iظU" ]Fq6\8>n \.q&[5 ;G@LC+X} h9sf>`?{|s;#xH, nsW9:1kM Y1n.JWlR kD&Df/aص 9՜-3p1.YIH>/lW DmxHX nE<b˦nA,-{cbT^v3GpNQ.\ǃR#꽢ܕ]evY LF9e-+ 6_ׄw8RIy{$i :j&<9mNhx#^0sKھ ~dcZZE;dȽn/̳pEpr?fqy) Ŏ̩(H H0O ZoWX|x7:&D1n/[ L=2gؗFb\#رrPRmI{8I)#@kUH#x"ЌUfUP!;}]bn F9<-0\{9G 2;6:MapcUa߃z^;F{rw ~~0сM …:Ǔ /8v|/tNJ{.ړH+y&R;0:e^') i5q [zGL2Ə>s/Qe+4"-(qI˴Gs[GCBdݕZIjΒnAnLÍG wIu3(WʜrD9SlGu!rbq]3 DHR[KƫΔ{W:b.7!w䜄#9 dNejR-l]r0>Vȸ 7RQi\jrs2J>_}8jaWmCM 0_'q`9cz> BnS )~o;)Kv/=;>Ўڄd5XcJTCZO51>@Y*9e Җv:B܇*7lA+DB/h SMCgYZ UC:+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy29+-ZF-InductZF-Induct.NtreePIDE/document_id104t8)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}EMn? _8Iuo."gm BG)إU">r¦sq꯲t,/*xX@;2xG2OӲog`QwL3P}`oxB2ך,n̷$$\Ц侒SQ8諙bO{%3[Oޠx+s9v*iGn}*J;DRgSXFeBEn#=zZsPLc ǦZT4cݱgYZ}lyT/un"nw}’׬BG֊E~}N$Lqɐ^Rdך17 mLJ渗.Hۍb¼pd%D+ w=m{8z 󠱶YZ=8/y\]*OV=QaEbTꖊ%j.b"mKYߜ!tƓ%IZ_GAKl6=9er_Řa8KXឯM*P\!Aޝ%ԬHs6Y?xP%v" ,3 5`5Mj,^x-bvb݅;Ɵ@IrnJ,بSfdB\3sxC"2` N'4JuY(ܜh) 7x$`վ0W' G+9s /9k~1Zp$dB6߼;dz?@:iVF7SP=gzٶ =dT&"s4I#T/y"15BQ"-JJ®L]v@EQ]p/N{2K~E NiTʠvXi"z`n oPXa4] {QէBi:A63l;jtyGn] CAB|yѡ8/BXsPܾoH)|OBSzUm>jM1]A/^S[hڱ1lļ|/%(LZ/~\ѠMz@,e<8t!xFz◴.Ђt/UM.G+!q6fv.ʏ%Bm*ۏ PY-`UmF33)(qLH;Y9g?լ2Y7գ59)2F 3j膱^YJ͉` q[OxږnVMGJπ73wYXdԕTTlD-Qj}Z:7ߠ~Y-εnKu:>War5*%.)sw%#-0GlsDK]7idSKIuğ&坴 6v8i"`pm%\%2H,)Kyhi%r/.=m-sQb wܤ>xy^m.2>m]ŦxN8}ʝ)e3$n%5DM J0-;4DڹD%́6E)}k_вo_z:yEQ~uB!`Q 91NF2>x>pb[9Wmޱva^j%k̀HH ?9)^lKOjv3ˁdhMo;1ѵYũ$xoh_c&^>b3i^05C96O8DquIh4_l?;M^`؃X{҈ U+̳wXm:Lx9|Oeg*?W/[pp{REWq1_DeuWP8GɌEhbQMh!١pfnA0m r\cm,_T:>Ք^aqE7cTJetyvo,zf sATxC},'GJ%r#0G849"%.|5}Ee@d*+KhXM/ALO]3Va}9 xXf*|upgH&m\n X(N«Ni LL""^'~RC\Ut7#I;\2K:c!c>Sq@j]7¹&_'`%R./ĻS$N=KF GxInpNnqlr!$E/斤&۽P«ai!uH4R YJh.Jg"ݣ `jqgOfJ _옒VUβ&%l7i, }|>gE j`7#WKDK8R08Oe:tــ~4w3*vZ]፸ԘfaUm!@9(% % 'lM˄ Ȕh-ymO[(,my){@C+9Z׿e^.F Ii;TwУ3b'b]{#b pϣ=Dt{s6GWh 3h߸Ң++[,T_.-)xΧ|.ƚ(uo.RKpm7bb H_~G\nn|V?z)!9.|Gv8eSnvKe8j%,ovk٫L,)zݐ~&g^8D*mۋlT #(U]7VX^l-R'c񁛄B26ʺ8s%ZeEwA9ΐ<'*Faܪ[NbE6y3{ @ 9+f,<QTip(28R%Oʾs^m*|/{/;s}3Faݙgu;pyr/y39/G !Lϯ=g} UMGw8qxp Fela`\,b*S"_Bjѣl_TNZlWav,wnjB&K׀|pdgYؠtTg@hQP;YՒ%xodl!}͉>(#f[Kk#Sƙ3@ mw z{Ԫh8˔y #`b,to!i3yvgrɗjjUaU a`Hplk ;_0_&0U-0㱵"UȄV!!!oR4 d&95 'Qrk %In{*S;ww/,>xH7\qu0q"`]ӷ߫"Li ]_::#9'aq<%_9jrՈ;<ˊh^ o4Zm;ڙ+Y[7BŒ>ulU#;Ki膡(Uvk_N*"OPɸeba.泵("(EK,$O.;-덧м0eeHWa`0f(; 72Eez8 y&شІӑƑIe?4BXp.wޘIAo~_F+_1 ys():WBe0$YF^ &^6!h:R㩻8.&ۑ٣u\+ya]>hvH 4O(=N8YHvHaxYSˆW2Dy+2IiM-g4HO$ j椟e AF=>pzM0J)~eN(qp0O*Pn8G%LpGt,S/ 28E繳o4p~蔢}pҟO3%IBitsDiinnrv-ӻi6WX ^' $^A}{N%"</:1ǫ(z:&BW6R1tu)bb6J~!Ce|DS .'u˲Xh97T4"mx'I iSCQ_o(YȬbhƛ-_N*o;C]֏bE:l[LvL8sOIrհPILB~/̪&g1&0!rKt"Ov*It!5MCctv9Izdɕh@>fzoFgZ~#o4Ύxeι<ڍH<h] POӑ4={A 29baH8T%o89by%I4c1wι͜'rpzM<ĦHD_h]d>M䤊f<%tX΋US"ha_ncf ΰ ĆijqYq7:EK״$BeJ/o_>:HRJʃEZu-rp_e( KɁ+k f`?&J^%?TP=:HM䣁q(SFEg m<awWiE}~o|";WĂ4kT>g {#puΊ8 3c ^ 'Ih釨4nrK[\Ш!y@NDz oǬ ޞkxca6Am`I8Dm{[i$VK2{X_ o)-rU]I&PN u[:䚠$Cw('~%i]{óyխKxv ը߶8,Pmp0 8;_B(Ok(+'i9jp0o ~OJ>~1E2乹dz#~7A?o`X87nZ͌v?9a@Jre%̼pbU,A}\gnT9Ҍ`Myix| N?tPP8Rs^at5HUAI,'M\g鬽Xr9rB[A|@a.>ym뀁m^PM !vоHpo~rxj5<A[*{ PPrb>mֈMC3v  C~D:d2{`Z`1y6mwJIہS mcD i>g'M-'ߕY"ܤ[+ ^iDt374eB% ģgf3|6-S6+m#rdxقM<dg.A8)+ mKzfɀF{weecDfa6@{&qSxZUyFԨBH a>vSw"ÕijܖΆ'3Ƌ 0\Ȟw?ǯ*d& ?c$$cn%ZA<Tq>Ugm`Ė2AǼ,H1 6v`B9 D^!7yZUy)hV7!f0S2у"$ ʧh(/CwL+s⊯><l$H9ЬS\|wg7=  D X#C )# |ZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&Qn*!%,mܿtDUZG-̔nY?ms"&կyHÒޕiVqn -i1r ȱ6} ZݑT+=_fe7{xkk *QvG!cm:#OĜ *q;oNЦF9& o!fk萲V~Wݡ@~/o k[n)Dz kSqϹgՉg]˒& AUg 6OV: )jUB1 䥥\q+֕:Sga]f=vWN|̛&{R @pK{~*1V%GdHٴo?j$Z6QuA 'ĢGGiaA1Kǒ>Ew%4VVppVBAB)!>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[:|&[zIw=!xY[)id"-\1/l(nL+&C]Xej&R&\xWRW!ˑdwCVHPo; ]~KxX8'JPLh>zM?Qe;np8/nR ؃Ԑ/͆ﻯ~OҜLqHqDhnc#^5|US)* 30RvPEGHM0G~T_ړ:]7S~Ar.Kug1dCԎ*xKk#P6XYgr5CYrڿ=P#Eg`tXn&sdKgxLv̈OOc<l/[' /| }c%N+/ÍyˣSX>~O8O̿#d}mONȤ c5{Ie}{J 5 E I/BQߌ&g\|k j|m3#DJCK_q>aY)SA|}p5챍uDFr,jr?K^6?c? -9^ιڮUcZ9lq?VC Ѱx7cH+3lZel|./5ed.SD2HC_dZJƼ鯑'd-]-{Ę|KOcZ-GX;⬶Y&59R hlN|q=a[R:T=krQ~0`*:c"_c 7({ħ_6B-ßa`1\~u/9E&[%D/3fHE}'TרxM&/[ 㿙5q jM1eCJK/uqI7!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! I]·Iq n[:|&[z+hV4u1ș?(jb~ %hB9\PBHPM vD+>mBU$eCBP`׹~1tD6 ~ pvj8m (kV3ȏN_/Sn vt6Z8"޵Gf6't1#uϖ Ҥq xF\~Jq (Wzg"D[&"}PAG(X5Oi> Кw#U0#(*lZ#/9U%h`E7HK|iNHHޛ#ir`㆖]Nrb/|XN3[}nfM3/{xfBp>b _Ʌ峯Ɉ49[fwxlį-:c 2VNx:Zp~G`vIjq4:vV NoF-r|dnzM&}IS}] 5EW:|zEˢI]_O⿔Wו #BI̋9u5MlA\0eisc8¨qO-FHKZ@:I 񖃅]W0gVKP Z"qTdơ1J(5Qզsv4X⟼ 4{ aopxYko}s~`TF5|#:V=Ef)ZPfi-ܽ~f7VC$'2LSU52F)ogYZAZqPQ+ϗ&Iu~5%,:K :=Rb9k4{tEdrSwjźzMɚ 0/ym)YwewJ$p̱'*Bx"9&(cҝN@Ab֫xY2묞ЊBxg睊Im ф9ԪfB5+hG:kYsyd|pl,Wqgf|WvAkf=ʇ~@@%0LN@,[9r >"_zj4RqiKdHAo jD -hYl?Ý?e&ƝdzyOs"mBXZ1["~  V*KEŭxXEf+- >{]WGDt@[RS{֐ߎiXM\fȪ@ ZjCdX0ͩ*GXk ·%mIsj71!=2Qa8%P$¼"i|kzAKdה}Xw:Xf870%Ndxh039HF6\kr7{klr@ϓs٘ 4XqȃA1 /P^WNeW[T-72N G]>J:զ"\Qd*]gw:mTaF7nOڂs?oVYQrls'$*68L8uq[- qƈ$4b41MЅ]HC t4όB 2Y*^{&w;ń=7xR5Gn_[©8d(ssy.;{YF.P;YҬg2pt?HK<H=2}I:QaFWN ޏ(D"DǎFR7+0DAfg_NVtZgٞv˹,~ vR2HܓuBmVyCst|D'}/@E0nN-?>K3%69n\N_ƲvJ*E<'/ÅbWV+Y%)Cj0bXj嫞t:VD:>A D5`0dx`RlҖVͮ.z7Dܳ>3Mb/!z辷{+l8'ǟ|./ RR3aZ$tbw>t $а+\rkm94JSW4P[3mzSkXmXo=Zi{Ң!99jb"7% DR`ў{`hib(gBÛ7H/? tڇy^~id(R8!y[:f2G ~l-_6 rܑrb~AYRT/x]ڪVAZ S^7zRAjCȢ[ L䇂R @5pLHGKxSEaL>@78u&5U ˼/ ׾WACka2 a:g%Wխv!-@@I@ۑAX-oe ?XSggdLI2b "t+ۄK97{ɩtKc?+NeOfB^lw6/d8,m3MvE9Е;yA#qY΁):}u#Z9\:SʟU` ` xp7G%gàº-Nr]OJjOd vtԡHTt{p/_t18Aٿ)lG><>bm~WuZz_cl>׉:<+ o{QKays_C<ai m*^{7ia6x,;b敗|B{E7av,0/ZʈxJ#?ZIEG aP+]x1L#0„!Xcxr8RCN s84BCT|܏AY\/jLEm^T;]lkp ʋz" h'23丸ߨSj5庠q^A!pzggtńB8(QzN8=c4A?P|(nZ9`c[6ĬNk4Orؾͱwd35g1q`\sk#ZY]-6'J;!>4⫨Uzp6RiθWʘ$EUW^#@!&1r+#r9&"-X̎['2`ǪX#FE5W/j /9KϮHd{[^G Uνze/%/Q~lD RN>UՋ8ƁɋJ{e4z[dumaxy Vl^A2QzZKJBZWWųARə H :({HShfJ& b b0 L绹SV/z][= `PHZ7WQ&R=lys;ZL[yos6~iGSʼQE%뙩|FlBFK1=/i࿢_2eGu M* v .n}E-+zKFJ?Yy.,*?Xɂh~2Prͪ& !&;TT!7pܼ~~(? ~wݺkd]~Y9lN|8M!V 9}甔PisE;wyJagjm$bAiИ /:[' È`QXM?Ԩ3s?8)䠋@W}ná{feG{m;fis+2h8,ns*WWqϨzn ]%@U~5єmGRWdwzL p|~wT@`l|iTH]B*3Cd*]sI@a6}IOXiH#HT PerOfl[*trqO$]y1 5pd˜6 ];=Sg׈6m p9]؇)ѵ-fUzxgcҩæz6q18;Y_Z ê#"TWɌ{~3삟'E >-wip[7W uYWR!~ߪ_ TK)zR.!̬h,pAꬼG$ԚƔhip|1D VshYjmn(eue4ue&I17g Ոu;Z^,##~|ں\"x"ڰãgQuDK)}$єify4-KƅYPd {/TU >l};j]>K16Op3kЊe!pIvJiHƱ`hxY UZ82/ ={Ԍ>ĸzߙ<76w 8@$;Zwo컵4)}аç20ᇶ!Q63=y)ۮK5f!l+$@oˆWQzemh1ZsW#6-a* \ Q_'Ӣs5FXԮWx]#*?Gj` D4/l|`K7H*'շ S*u+uff%i`_NayRSO}ڤu18mԳvjMWfN|_,i{kďVkXKy?@qep<`d Ϸ9 om3vH'6,LcWa`RMS \5$~mv֟UVUniƀ""GtpQYp[zX? Q58ÙAo-PB+.' ;cE#DnؤC\|4:%ZI\&1$P⇍59ΘK8IXL7&8hHgGM_ (yRyq=5 Z|{bYj{r[ >-OXnG/ܨ+͈_i 55*h|2Tm_Z"QZUI~rɄxj 3Wٚ#d4a@?om+G}s3'Y[k܈=v@5haKxTUTҀj:8w`J #q{|rB;iP@'da~7yI$]Eq,:8q9ӵ3D73gO0˗4afbqF9Rz017@mdu@<? _#ـ;x}*CՒCh\* H':\bVo`27rtRh^d˾$~.Kt|ERZ.Iϴ;VI*u0dx>c܁v-Cͫ2Z:-6U47+T4c_(Ex?KE%#8I%UlZא,qG_d؞רa|z`zE:HهHy Ӻ״S*R@̴Ow|SEĪ{J@%TЖ><ջb0ɻ7t>,jPZ_E ̵ÁS3ґ( ],)A<) 3 1+X8cVksy,'F1ub(JNMSi;/ITɺ#AA{Ηlg-myo5145N\K/؃_bu,IBm0 $"ոm$u{Ob%JTگ| 驭gOKXz}OK5.2^?!sMp ܃^haj鹨Րnm@7{5wY7/Xdܝ9s5m?kb <ė%9, ;ZZlE)0*;` ж9x;\$bt{S+ 檳T% ;>t6J[##oy9 b$лkBg|D;kBYAD·-O0OCH_j;&NJw@3ďxGl௳e9x~SF1QyxxVow_oPi:! 1@J!#Krɹ5NXl>!(C,3(UXJʐR9bKY4gYȾ1D|Odsx{ǖ%M)ZyFْ€JF0@dlrO) .:۶RHqu_˶27uw?y' 35ip(fpƦ0+?_nxt MΕM|Ȫ<{H ʬTEyс1 ̃QP ւ 5jϖAGm"+ G%)ȼeLF Ne"wb/dvG'e>ȷ͂_hu"8C{>%&d~#罋o IT9}AO{^RH= 0I+FإßE;a &XJ(<{|Pt`w쮁1*<?>ZY+<=E»ᰖv lƲx8+T>+ l,\ !aqCyc?XգJQDH(Oڵt⋐0"v2n(D )M~q,6׌vD<ͰUl)聘ŤHank6%ND<4``1t(0r] j; =n 3:BqfR쪏q^? bBuzRY_\Fl^R_I¤ mW  )~ uk脼'е7oUԜD!Gpڗh߈BwE"]e3Xme<;Z^C\N(g,& Q{cJߗeP4L e \3<2JjvC #PfIl7{p߯) T/gmF_j&> "]肏~AI`-+D`h'wӬ@~0"=UW"g;{u{ ~i>}f  YؘF` _R)c9M<'B]ۈ q,p^gQh'>Ι2E`4-<,F5צ˼lS?f72)ǭ䛓 ;IdDɬ^DgYZC9̾֠XիȐ%rʻ+q85T?8OtA yp.8StF<)s'\BHRoqg߀|@cwUΥ<Jsohf,۪e`BպVRy6I4 6ŁV`̫NЧ9'OXxiqk}&ז COVXR֝YQTxA^Y1F_R܃CXq#|wK}l]:kT4@e-3 Rw]Ϊ}+oF/'MK8|a<Ϸ=O&-ۄ lrj$Ey*%_99o<;(F ou,ah#ѾM2V ^چ WkE>-=. ߱mh02m?'=vigdrmcg M>7lSrtOmƶ\’ehe(k>W `kY Ԯ HOTfsi1O~PLE'­F|wh|RON\%K_+?8dȰ\+KzɆ4Ec\fz&c K&Y'zVt:UJ壑 It @e $:1N`9w12wS2AuH}C?E8u_R'&x4/NL!C74w1v`=IN=}* f&96\΁Ï h% -V-Nt;A 'j82V̐i'BpY 6$ .YR\,@$!F< L@azAMQR=X~|.1ǹ~6dWFE9cԷECB}T٬#(c Lw@?U #HI< `41r&$B9q鯓,AWG!\%YAp{L bS˛)p1hV3Wrm;FA0,M>G* i#okgE &=ì}N2fSldӇ6\tn&Kf%Op(5\-zcVpVn}1xrͶGEh".TZGy87qzqwάU`qs.]d)kWs-d8pw1}VRݣrKf{4%P򸦝S>Ws[Ȩ)K}TqRtH]V ʎzͣ4ɿt.ˢ3`:Qgt@,>Ѫ 24Ҥ'd#p5>X&9r͐FRWR3seeN*x,lbAyMUA"^`2e8&GʗC$|n b D ՠKMoe'J&$4 Dg3RWlJtxz}ZxQY1ωk8b1l57k^ "usLGCmuYS-֛p;wb.jZ`5u;$8jHΫ9z:ͬGMjmT`Gfj*$]ŹSO9 _=tV֍v.oIG{[#e=tP) B[lC.N)3D"lߌig7)4 qu׬:cW5!6'EfB9Y\,b <=QNt,y89\m]zz[Kɭ_ED`bA{^DifxyEƔ*$S)^dzxnF"ιf.Q[J5;8t->…;Gpj\7I ^~t_mu5`/D V++*5/\<(& P#+"cTSW*p!wTϰi!񂚓-j] |DOf 9݀L kS4XÓI/e`oj?+`V[c+T 8j2 f'6͚*oJlrZ3I1XsfT X._$gi@C }|ζ`P䕴h SЀԑ{S[bld:,:E!v-5 ntGz3]ےh~R)^+ KI (ueq?w^k輪KS11aJ/dUrΑr3}13 ME/ďr (=l?bm1͞jPhUDDbE<MM u";^Iҧ vDѤ] mq'~DT8T%ˏnJ >Q!i ЇAE As jDaDMUy6WwKښ$W7CoxA?y@}s&OC}謄Jol`pNV#ghYJl^uҢsJQӮO$4]{$ֿ~r͔AnY  FNzst0vk"_.z *0H?獸 H[2# >U}e-vTV!0BDN N&lT)jUEs? #XW?dV"`M:"^=[LveѾ]YaG?^&ĸ:6w'j'T}NGLaR(\w WՂ9_T|ϧ`MO&揄^\EaG[}Ω岖1+;S֠_2 nK72 #p٤7dHb229lZ3FDe5)NCe7Q1$ZjY|F@EQzr#An/kVUi Vu?= I'x6PۺApfxdxI+r%A/v4xg3r3\#.; /۝Ԩ0}\-4-%J >\pJ3r'HW3|E"g~O!Ou'QHXr^WŬRfWc+DbI3;S\ty_y(ǀK ҽ=mcvXߢ%0߮!ut&s Զ~,^3@@JyvgPF8îe)-M^ll1Bi9 E?H3T &:X}Icq6 {NmUBM{ hoU8bO`;ducoWV)ƱƤ2ӦŎ?3+~ ?)+~)w年n=j;|$5WCcdd"": w^2DvOF6q &Eѽxk Y'֧JKD I8Z8[֚ JiY/֢ؽ7.wR[gXEq-'̟>'%)V|%TRI.,jv"GRfͥ&U>jQ.t;mLGPíseʸ0P~GgBFmhS*c wht FyM.6x~#|Wpgc:;GoR nMA'Jgn_*={%}ǂ 9+1^wǝ=kq8}̈3*8 һ_U-ߴI ˢf抿X["UƟOiɐʗ촉':y<+P%gv*S$2 x(dt:MLx^M HUr\dO ^lq!/&k @1L n2)&d2rGP>"W;C6pfm3s<ŽQMsD zlj8)FPS!f n^p_i.QNEa|iWgӸmM D.yIuV=6 Ƅk$BND"^^~^j KI=M0Б.:ĿA?vk>v,Ռ([d?aQ.Ͽ,zR8D9i_H2ܣi{h#hɮƙXVB%GƸS){@UlM Y.b߰.\ hmbO~)qDu@PpR*}TtwKSYqhƒ 1!Tgj4%iUy jX%>ʅK~TWYMK.,2ks,]] ij !Zn^ې C׼ 7/>VC@s]c[SoxVӘ@f}BY/Y܊#ņ%V-egW. tqo^-m]ITDwH_Xk hۣ6K \ˤ3khGK[:mӻ*G ~r:Np/4֎7;ɇ0UN` []I0$Ul[ye3eK<6;%z !/aB)Eo\ħ͑y9xxw QRgw0Wz w5A,ǒ_aP?ٷ׊GPs;o/̙G'(jaNjAƤ oh[i#/$.Igkv*RE#E]-;2-dR*?ɉD܃Q^.88#XSΓLDUbV4Xc0,KD 1кNSr7͸D4ofҏ:qԫ4~y6y*͑){aYn1T~s =HpF g%. 2fWZфD {v^%ktȓs=-,Ζtte]L, ®tQؚ&, }0W 6eIli|QPt BX;Ug)p[z\[D8ߢ p:^܏#ۗB!x~^~8m o7-2-;%yan6#st[j n~5refP?Ae kD`RyeO<,"i+H<_\Ts323gBWO5Ǝ c$4cJՔz$^+]o"37r |7lj憵߉d]K Z 9^TPCTe=C1 8fCA)b͖:$2c#/s"&,+},%ąyv#Kłj2~fLEP^8r826 X0 .30DZ[("wW;`5bkGBtWʧgH2%`-\e~|Q zOn{e qұ :F(8_D,wB,[GKז :ta7>o+to{cbs)8[L\sy-Q_syՃsth=Vtvq,4#GxWwVfv2Cw.Pp8boYwO/t*+imM6脤B`Jw_~ы(g.508-ZZנKOKRȨD{7ST&Fe@aς2-alWs ,֘5ݿ:K(Q) 07hD{JݬPtACB.–ȉ8+`/4jAF뱑EsG?ia1*c .T\-Ͱc9]IFEW.G7 ْ~m&| qT[1F_yKz~vG{]wBUC|H \!txX(6R=!\a0= ZJb>I##)܄k,0./tXFUb'sB,4 ;OyF_EQ2gYZ v %v?G'!9yɪbL 8@I8q˷lVR$3xTȉ0lua@y.pu@z(P.ŘӇ躗sMER)vST^>*B (Jql [VKڀT2g8bg-&IzkՃbZ8: n ota<؏Vpf%Y)2*UyܬT_ zLBQpUm,wrDwW!9(f h *塨u; Pö%xUu uԆL55$1'ҔfcHgs 18*%:*u؊2t`3ZM/S"XƃJ2 i f!`:Qy!~J:7 )1VY\Kv(X겳<·j`fF]yu{Ų %9! kV:e 3PG㥔jZWxlO)᪟)E͒ɘ%tn*NX0q:.fT^1wtz!_oN mJh7Ƥ침v-!N_{ڂ/^bf)4)JgފӨ),<(ǺP*q()sNS 2Ȃ:K ](BQ4IsXy%76HWE*1 럀R5s^*scaZݷ'"`xTNUT4zo1sY>=tpTJ@mGP?B 2'TlU `WM>swC OO)ܲ !$M~:D vlj3yTmxu$SH ΃pL.:*BxmQ(U5k^r[ vZeXP ,!|eF̊!؄+/F gHE`I) 57ckE1T! ^[/`PޢУNO _]h#N|b*irrTgK}uy廔Jo&2vgi>@ cOG$uNm%۲:B l%SY6xYO`Tr42FFR̎BA)@'wrs늾uP$ 0 x$Bnт5kBBݪ>AYIEszM.j4ny/ V{z2"$дÖ_ߏhhDRڳVm[݇gO夶^]UA[=ҽ.p Ci)8rWegYZeH'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  |]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘Η*J#NPsV *}ɟ^T6"6¶ex()+/"vMB9T SkuѸpQ XCRٖw7Z7(-*2: K ?{*xiXpZIްRlo[A  z,NZ~rM9y_;;OBhT!4Y3W>7Rs~*bd#Onb%ERYi-fyk :;pokN׈(ۤ=ȝL'=8L$2k;#9CQ_E`;v 5v-^qOvc澃ozyda-Cp Ϯ3= *Z>,n'*22<5!H>d!ϒx;.wUXUiuXev^;{wީDb]z ku* 9I3fTd.9](7wC:$;BczZҫ V1 !d7[JMbT}~ ZXۥ`9[l~ڱM~r`T6,%rRttiXZ[{ ɷg"0{OdYS=Iͽ`J ¥ rC[DuS T%ҵ K 95l(hWu| Y9j0u(r%gT}}KwQ*~5Z1q eS&E:jW(r-i@r Ze;T7^ϟ~1u9B:3p V]/'Q8oO&YK~Kȅjc\E78~y/"{OQ 39&BqHyTCJJbdi4z~vYw%'ޟ'v_#D?U~H.wY[;Aj7\efg{lUS".,4gAU3>Oj%h' ;6ɭFS>;D}'aqt i1"-d`ZKMAR)uۙ`>c$Q@Sl:cىd˕ZA4Ksco惮KS |&h+p{U!36NqtڷaFG MUrskWvkT>6V׸,MJZy//\qwG~ȁr յU&ؚȴ!=Hy% bޛ?x;AorQ& )Sb7V_2{-7 :wqÌbB__jrEZk2$tC~{sP6w!ר繜X)%3JG"ꃺLL\~vq~hՕvҭLJSz!^H u]wM_ocI>"_^61E ?dLk܆W7K$٤=#'}$KwYD{IN:8UɲgaIt4M*>b1϶0`޷4.R>_m7ebϼWXPT{_7ԫ.1{R6!Ϙ0/J? AC8eN/8}jsK/ә&$Ya #r׻2a`Hy13OڹYlR+\*l7۝B@e#qH"+ɑ(+c}I!SR~ 8ÙeTt4#>WI-֚5EBs΢S'9Y_+2$H'$<봋IQGHš+Г5NpB"V$u9}{7!iap62a{EW?=Luh}-`9RNc9"ѬRH]\M}&|%x.&pcBocCբ\&ϪТH cȏPغjQj˳4 z ݩwl;iq*O)2Jz1;l#Eɸe\Wp ݥy'6u3YJd`4Rn@8y#f$ZNO,$ -xy@e Bbv{,0ՌV$C:3f $ ȋm ^YD9NSb'~a*3) !yz./Xg]~y#C%odUr'ruA|i15lrWܷ7S/J@P̹l7-')%n݁ӞCA49NE֔k/$Ȯ/x'pe\J"m{^KN"_1)p6k,y|/)}F'!@ufxQQ|a'XM]yjK2b?3g xtUձfNa+0[gPO u#B rtI ̞,\k'v,gSΎcRQmӯ;w<$c5 ^ %ZpiS{GTi}:\|а;Ε"\G! !d!ٺlu:1Dkw.4C&VYRfZeF#x =<;HgVqvvgNLQ-6/_}஀B`g]Eޢ}P/yWgfBGĹM-!1 @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CRa/8`yW5z/}]XЃ0a'n Քq\{4)C{ 0͂cEJ~v:;C\XM阰ZnxIk%]Iܠw2Κ 89UR2FG4kSFoK槝SH&!)ɾJV#wOo- n΢du%_ SP粕7D^VgFK.rCE<($V}ߚ\H_է0]ZMW½lDĔX1rЋv2~“p8$/Eu /ā̧lR+ð_JiU%'1oqmwTf?!2Ẁ&$Xq{ Ns:(B938{འ>ؒ5d@u).|gpVҗ٪ q΄@X'^n%AB ^D&oBN#}VO92ޗ1 6Yo ӌ|c)48G- quxI>ΕmbT u xol9Oםqr5 '$.e?>^9^N߼Ff1d0WSvEf2`,ZvDRl"6ƋoLt=8ЪRFEnrQ>BAQVhf>Bc1c!??,07ew1,RMkyty%SFQI_+:5aC#p=Y\F^c; M:OIJv%7%ĞiPT^._K}؃26G.Żv#|2Y[&<DZL2?k*&h&#(@js>0MC/4@KD{SZsRM-N~+G:m6nƾʊnw^vh\oN i @ ƀU!Ry$ɋ;*3HYMBz n|_U;SND=Y n}reV.PY4DNi,X6YmqnifZY'ŇFV0BxVamY qyDUN޲Q}.qM8\d=O(h ]䆸5YDd޴ ;w\L8+򖀣2+V̠˗ LƱu-I]sUU7^乜[\aڌߘ|:ϕK?7}齝'<v:]#׏InG\t&DUg;x# A*2iמCn Yd(a=EGyV#*?Lu%8! %5mK z\DfG`1S@=O@Sز1xzs4Ш|u/ۓp&Ԁk/`Apʙ9deқ(^>m([7A-64ʿ}OB.H@_%ՈTI3_ի8;f ,9 ŷ)l$>"foK6E " +2 -Z9s]{jz+8\, 'ޝ <_f{PPĎ.%A,<4QCptJ+CJ^|h{DC%c(a SK۱=%|Hނ>'^ c8trwlw&9ocD?d~zdĶ{lSV:뿶ӔXdi6rAQ,Wcj%|Sv{LHèC<[\ؕiu ϛ,׿Wm3}jrӌ:lObcİYSGy`>=[mܒq-xZTcm;$0 G*G#eXc]*H*RLG靁З=zp!eUs$ph'?OU_VDC݇Z$KRX6,n<*m(@"*}>O[{,qa⻥!!kdhiA^`>AȒUyZ^GZ-[jp:P >ϔ>rIH3 #=>H}riygl(&+a")7q\ tZ[dof}W!hj͎E0 |Aܤw 5{(#츅վ2+vSHr`9#3M[(CXʫTgdF0FL6 I+ƐTHYK _/eq\mFj]BHY5*u>u`H_ܿV (NCB xi9ĸ`&n4(<~U7Qs`hK<ޔ|>zÊ?So6~Uq;wQf$8tɋR?89϶wHIްn窸 ` =́VtBSҹ1Gyg%QlS1# QI!d7{Bcטk4;3w23" ȃʬ\ ~,rLa.og,ǗFXYn "چ^mE_xv{1ﶋ!欛 Nm9q-RUI^KՏn7xsq ղH{l9$R"oW mFQPrBW`Ċ:m9F B=d;ne* UgYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4 FsEW±~  M5A`b>#f_3==B=aPX=az}KbtqTN"Q"z l8z12E&Z`[V<>|K!lf(9j~򂤹<@_߱gYZ