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 mrtDl ]/]ZF-Induct:threads=6elapsed=3.618cpu=13.348gc=0.6887zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0ЋW>5S-pÌ* 'rڕwDp6x$nf V_;`U zΪ1㒁uY{Kk.RS)B 9fhU6A/&{;nPP`;хeQ tRgYZ7zXZִF! ]ŗXi%ejU-ju=qW\<"8TXD曚R q)7i"?drt)s؜ MoHX )%"6mm(k.:w2Ӝu,w{ۑЖ>4UHY߮!ӋoFR3AwLK]Ky"P[3+)rKXQ:F?2i*o[ % Oy *1JAA:Y+D8$aHg.+ 0>:NxmN~Y!p9&4a#՞0lNRɊ~SnU $rVr7} Sq-Q8wyUĀ쌺6sP`1 @8mL)-&#<(cٚ08ZR>:sHC9^-KJ{_7MSTҠ&34koLvM{kX͂C;*U|73\3 3mZ'ml,0(bn-R1W j|{c& JwfO)ЫVl錞;#ߡ -&J2B;?LD#?(Oa?`{I=-@ho%fe6744 K )Pd|X|BNɡ Iɧ&aWzQuZ9 WWBG5,LR9;Gq>*&Cb)$x`sJ"S/'Zc_ LȨrd O (ԯ5@&X="*>CQ:ُ|Js*a:@ЉBK+BP)LdiNBa[|:x+o-ΝCBk"f>777++ڱgYZ701a282b5d585587472e70cea83a1aa239e8accf21a403e07266a0eb7fc4f07f6d291fb8aa815d1b 20f00317d343397afac43bbab07009a9d63128aa880fae5491ef3889042ea8378994bb50cb8b1374   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 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<ڹ7S<FMEKDG?C>;<:978312/*-&,*     O* ` b /[@ nWq _39S*  /  ) x O % vM#   a}O u J,!c10+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_id4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex617ZF-InductZF-Induct.Multisetdocument/Multiset.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex-)/ ZF-InductZF-Induct.Termdocument/Term.tex  ~z:7WE獅 aA:U h޴O_>j p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!gYZcUES#usڮaaP '96"J!#7<'r]Rr*N@~\EU$ʔ+*V(`ȒjrH *Nct)Wt&|ɷn8Vk"b`nHKN #VQV Ep&'lxIX7 |0];q2WfkEӿdbwW9_Hm0b)Q},#d|HGbg|sU%`1GbX>})b 8c:n:}2NQ ~ O(iGʮ6Q/Hu5$ CPZv{9 lE!@*'!65􀘶Hٓ2U 9-"3yEyUJ/ޖ\QlwK-6U=Bv۩b3mU`ghߐK)7\}Uוb|n8У- i-7iy[ g;mլh8rW)_qY dbάA&K#ψA-/<ph l(ﹶ_YK3~Rzf*nLmܣa$=>u.W]R.8RKAxMps %k3NlLJk+dz"xlIu#//GAPH{9ĉYhvgje-:.m5}@ dr76h0-z5u6?DBL 3yٔIï\Ϊe>3}@N|p`6iwk.C8bҋy$ S!a8,\#|R}.ۮ52BM#&n^<}c(T)X⇥}!pĜ$up&3*MFC{(A:w̴ɣPDln.LwSW;} 3yo^']48WKNnՇwwEq hmGx›oH6G"!}% SH!悏2k .?+r.d'5%Cᤀ}2a#M{,W {ꂪ,_0y:5KdQ?&[fzKՠX"r23>BA+le46 n 0(eF4?.ѭw ='P虗,%>iJNV}guɕ} 50Y6pwomt R#aw%J^ѻ&;0 j`,Z`>n -Ƚh-mh:H_Oķ(ZfkUEm(Ʃk}â(uH~n7\цe);VZFE^|@D1__W) VQ&Jb )5(%/q%-%2y-S5eP[2)) q" ,m,r }Ќ-4?<N xGlAcVy,FL1 E I n>">fɀKglpt\k?j%>2"`r6xfxнJLy‘0暆qq4OLqE,̗ɖ2x?OmIkn~V ?{bUqpb/+d=|-bAX2%Ǟ4`k^՝q>㐩D܎iКwet6 or |K~r0%Mw'Lw^|Uʒ~2m"g[DE fF`86}bt& G 'u6D9QK?`" [4[25G&9aC҅߹gϰ̝MZ t g*#V8YV> &-/&dW|XcWPe:WEV q2dPDFM~%2b׎8U2S\eDm#iNDL@0QWRWv͑U&o&Qot8-SY Гړ; O:Q)-Kq0j?d2̪=3߳Dp;*SEl~`_2[uM>Q 6> \}& Cdn4:VY|R &4?0LGW?߯2laGrtF9xq,rSͯѡ#d29qi[]Y"4E}4 ˧*Y6#FpoԺZ+.g',Āy>5%W2kT)0;nv6M~Fܻ@ޤ$ы  ! Fł6@ $?PcOg_pGgk@޹&{إ-uJw!wVN+oġϷ%,؁\3S$Q-$q{_|zZq帤S\_?#]S7Wj*/}9S)IyE DɔwJ{էlgԓ2̴F-ٳ+7 d;!h'`;c%@{/I| ^>-:IgYZm6QLFt2;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 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?ܗ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 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   /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#~܏ogYZx )/ 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 +1 TZF-InductZF-Induct.ListNdocument/ListN.tex7zXZִF! 0]A-MՋhvG"uIBm5grp)yK9ذ`2;u _S 3VX1"i½;F2X+΃&j[cwsofw9X2@znR?~6Ϡ]ܯx3EO\a=4cJ1dg>xEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZR 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; mrgYZ v vA 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. '- 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,CD'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`Kw7QgYZ0TIQB >?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   w D A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110~/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'__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?UeRU ft@[jc˅-*~(F.6EPeZ;Z QnZ8jr@oJ5@բM̭̐( Ǥ, YMO'}nF(I_D GS /3_hwby`v3byR!.J@(4~Aؿ;Y THVdښx xb8|:MϥܙPjO`ub.őBAݍVj/t_1S3PPKGHCR2?jm@a^bډLFHqʏwLbkf2r)q:-Ӡ @х DS0MmP:8AWdaDfyX7/ ]~`yzWO-ve+"az^6to7\,'M:%.$chãr?1<o -K=ӧU(}0pD7%ϑKa dacn!E*hBĀGbҁQj]ץU iQ?әU<3WK|O(Ԓr$Xr^!f_aiDϷ>Qn ĩ#hy];VE]2"D7/9Ұnnwm=%p)Q;nu !ɧi6v,E`3.1p(_VkfE.|K%Vtz\?ک?H׿ez rHy0{W0[*g"ncK^&5s"X{3U+)W:fe!%$KMU6*x3We.4s3'5]'=q<)}Bn0DŽ }`@Al1vO)IRqE=Mj ^ZM:99+kg}ryr K8 6$'{Xr rA8ݢ@'%wG^vCǫ?U%b0H_ MYqyO4֑8Gߐ맔TsVm߈qU9Y [{^ 7vODKȅeU׺L.E z&HZC X$"dNU]$.@3ׯUX ̊ZUۥd5]͑H_wŅ}Q`s V:~7`/~r&YNior?rD9Lntn\g%Ʊw,,%G!rJtk"-/WLVԐ SL5 طo[?ri|5W`~αQzG X"55KX )݀u1 Z_0"p 茂$MO{&qX%e eWx/\ q:Q܅Rnn3 ?u(bx c6q~bʵBYe#'s{aR7bJP⺈d9gaӛi$_t}7\%9t9xkFv3QTp S6s7]A: ]O4~_`!LN@VM!fDkja- ӉYn*KīliMym:QKɄb]1h8m@[i#ܹgϞKBߌ,Ga`R!\p*&ytLP=Tm1JQdRj[ߓ?hä~UtNUc}Nl-nvA4!0˸`%+pmLb:;_?Ax9qpM[&d) SHD  ˞YX&C#FUR#j.+=1)^3UuY|3Z#brx)Y[pčiUq@Wk(ۧO~hW N7, Dg ArP Z*uUAcYx -0M'\;k9`hMoqf.b]8]U 5/!ch>lcSf&;{{J[,M(!1㒊~S ʲYȻaGk1wt #0Gqa!DC;0no4zaûp-ưÌ61#dc5~{ni_> U\UDtKUIri 3\o}3CP^KM?Ɠ`'! nἬYNX=Xߥ€"ЖIm)̈c*6U1`~RydhN7fAξ7/BqQ߾iʮXמV )#$ԫlmOö784 zpbs{r /Wq8W L|5`6] _k + .%̑wqE2YX˓< TAZwu) 9|Px1N`5G1 f .'¨ <*&OFEOf3JX ROg~\mId6,WC]S_eȷ1GAњCR08с>:x~7-(BB}`l5udk3*r۬en GTxdR[ΰb2fV"C(WJg]")Kc:,j9Q{>z@bTi7ظ#ufRl">lCܞ밂U61u߼ɝYS X\ᤸbDEC@F ]zkW_≤s)d:z{!ۃY7㗭Ȗ%XU]&ziN c'Cذv7ku+Rohʧ ЬA,k')K ֠/ dn#wfA?$a6Yq:5ڳ,eȰ($Į PADT;U\_dX "u^/={^F73CO 1nfWX&9\m+!^OH;_#R$hN>X/2(P1*oP hݐBS%i/*W.}}y$Lה);P1g9!IgYZ P b Y"PW 1# \ZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! ҡ]ˠ)jk2p O6LP=͵gl5gՙqjRp]/k 僁cG8cUiAw>T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x39Жi_.ESM:!ZL2m> O9jyâI4*Zb"_@ OFӲACZq>7a= iIR^oɄr]Bf#L@*}{>>D CɎgD0 NCyf|bB}~챜 Pz: Y=Xx1~^W=q$3 Ģ&m$l{mzihIC0KTG<(b< aί%5XŽi=3V/sΈu 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!⦃|_U&@G &)WJpK T}bh)Ub¶ՅN=E:.rĤ4_Q` i]o# ] TzC^F@GXZIge)h;,xh "huw<A 2;ٞ~V|r}Bn^UʫHIO.~ I tn >z_7$ H:ܶ "Ў e!8B d/`Y!;KhbT9J#7|тQf3}̅,~[ݿ# Evj#bm(,9̻=15px{&JhϾ~X lc&uheRMȻ}{NV y] fyޒY[ i^ª#ofVW)+@賀qVSfDMqyQ J*@N OD* } "Cukĉ)w_({C{Z^EJ:h@St}Zj4 f `iUɾtŬ˓Waj\DrEhB|u/AɷIvO7 s rjp@ DzRRDf`5q;BR*ܐڱgYZz /# $ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 2 ]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9c$]}E~H?"=jI"#wBk@)tAD{Wx*^dpiz&يK,m"-փ2bhp_SQl\yo=T;E}'I˨XllwpI)8 =0FLP -cV#@' teOF`H¥>97Od:Ht5X8="j&*&?ɰ]qT5dEL?w/>Ypg։ej|jҌ}aÂ}Wh[(kUIpܾߛ ki/u2#V @lKG`ehgfUxӓe ]C/.DM =# b`$.*}|k-&73p'aK!5X x@*Qvħ@ApKVr woYێ7A Vt-|HSvX̪@NIQɁ9)g;éap{Օ1DJ HO~ZrljdW3!w B|$R\r:4y/pǓ:(mx'ƦKe*H /'L] u>ȈEV?8i6Z? \T}(K$4cgYZ8~(thɞM3&O|IW´eI =^ʾ yJ7Ql](j1#k-bz:d˱^To3dAp-J !:de3Mtü4p﷢kMےX1qçe[c5`uwK,yhYm#[EϤvM N jEf=M^Rl.ttj L-DG%@KȢ:(srߏ\Ma^.W}Le Y;-$Uv4Q0xȯ *;l#1+(Et-̸lXw@xФ a/2%^ BpBK5ڀs3> \q@.*X`VtDRUJĀ-S/x|,]-8I[]G2XRb1,^O P2NYEy0b-Ǻ3-z{A%iHQ B.ZrQҳz&x"g۽NRg/z?3]'yJ,)|8)Pt8ہxSRl)#--.1O8 OU"FNDBUn{.;LO]kG|'sۨ@BjTk]ł;8p9-S} ޴BApa21EL{w%lbt#g0 3vlK=oK]kilkz{Ig&}Jjq2' A~#k̃(oF[1Læ3a{8Ղ ۂf]qb0CGͷjg_2LN_G?G)]&Rωq{E;! ZdW2$"ئ𹙅uO!T"9D0׌χg|8$(X>!]%U{|/X殡C6SKyMߘY?ctmMQOOA".Z*׶9v 7Iw$.N(Hx)ׂJn@W!"W*O2?I1c_`H-O5x[BBGe6m(?d7$WN|wLᗛ'WzcYLX^?̨e.Uk3ǼcZGk==njܑQՃ=&d}eP'h"=H EA ^9Իbf9ʝ:S!Q)C!v.T$ hW}O0!DARgwۼ[8if.i L);xU~rɸ7 <)/Pg q~LcQյh43d\]? Rp?OWBh~\v 1Jj^'knzv?!x@8'Gu3Kw9o57%.aR:>D,c> mw]9͘h( |x5)$ sp} \/lN4Qo~+gbn|iɢGBDvKwn sxTŚ^+`HG9d{< J, V:tbbDhW-#1y%QVòs_ZaJFzAȧ .iYU[-&_wp~'HTXi\j^X`ҕ_r^x9(\\S'yl.8i^Jң7-'a1wTVpv܁wTS*L Ryj m&/PH&vq8rOgM{&m8 i3KTŋ$jBqR!T"Kv@/11=!@" P6t=ء[Ja/|LX#"y!Xtm8lEuڴW8H:J N/!:aѮ/:Qwל}:_oo_Fn|Ii0ػ%? r "9-\#"}(Ãzt%Ć[ldnsMx`ZO*u   :=9kIO }0Q}A]𑺔zH`*AnR}Z_㘰Odqa:s YDq%8v&<47V/DL8ǚk&Ω\rrSVgǭ2Z}?06GY2YAŢ )r+#$*r2;GVùYv364MX+Hﵬuz!:v 3.8΂]Ul{)ev"`_b5Y'Xz) 3it+0X/tԁuEO#;ݷdF8zKԟܖ_T#cűJNŔ40%-Յ*aFλTLMB] gsjU Lkх ~ƴiFXYVlͦ[:9;.nIR](/'bX]oolEo㉓Rz\ 8}2>UaLr1:&/iJ=Dj nc8)"o6O/c$[8%gdá24  V) >j2?e/Z= c,c{:!ljmӣ3  #'( QՓ_ Ԭ-݋Oev2`o+TBa 2&8 A-jn, Z5ho!'a>}&Z?9icPM7K2 EY{6+-֫ Bo6;J1 ʦ~(HBsp{gɷne2:'(דP q:&`[۵MhHG_Rzj|dN127,WcuF'Tufb I/7FyL:Α. J?U\-3KFej.eiSKVF1F8Ce+G蔐L(%c[5~Q /!zT^? q^w`8.(A |a]4jZ\ʫS˦ڐ%ado,x^:=ePcj@)Spjg%;HoIr[1>)7'K>{Oe8=!) m;RoQP`*L*+j{_6Xo@\<G2BvJgbgٕ4ULc"yɊZⅸ̾D2V'E8ZDQ:i=^HBtZi0/Z=0FœtzBS/\5u,ƀ.<4SgxK.J 턑 {Z 1LgPʬ/|,0)?NІ]EVu,>ݷdbOq:A |Mc#wncy^uq榾貂׎V"O Kk#Q.ZM%4ݓFޏsWr$(M{pz 6>bne*:d&F]<%?@c2H Kc-3`9A;or=ߞ4#NaUgvg 1GqNl߮1T6C/{|eHkgn|x޷q/bޓu(s\= w&@~gzq? MfQ Z/kKiR=(5svfp ”-sBo֮:l,q38䢋h?J FN 6%dEϒy+cwqEW8mkя7YB)'$S`ė\,$4{$X~H,8"y hT;a3E"DЌ` ]aNAY`v"n?DԶ:q]2kϝX{'^H@XzL偘Di_4zʑ p.e!Su.AVIp p朗fL211fqW :ص _JѥYKdFmGH(,]>$Db> [ 0&Z;SG2S E^SUzu:zVTm?u>vڨ WW1J!odhɕN"xF!۾y ?S&DbΔ0!5%yjkRJ:0, B[KTZV+QqE7>keh.fRJc&Zy^w'>j@Qpx IRM6jSׁ'B7PIkr%OmLjt8d5%Pَ$;>{:#lqϭ+IzS(zn8;jI}*0Ɏ'f`,nAÈ%>K7Y/XX>.JHcܾ@ m[qFڴ$V{ɢ~*+]u_Eg*i|,MpZ/e^f>i`Yա h@+Xn'< h nX*5}K]K+Ι/jŮ!)}zFp~ (pʵKm+L;G'"`ꠦw~ 46h0+#a ؼRxfr9s)x\n;Vtr%ÎҟF*"ilI߮*B}bn`,r\0*WG =gg/.L\^Xt❛kuTvWa,B,wC7ukv#o''~6m Dj[oK4g@Te+o #!::@EO{Q, t~@EpnLp;K#D@Js?̔49V |D >pY}~# Yy6}XtamN>R/Y_"Xbb"NyVdW,ø aSׁwMg hHU\?bƑ>WUі QkS~og UCXg Q=6a4&dHdXWа~/.%4C01)&?HպKܧF LL|7(ciw#7>Kh/z~x4֨LI1LKߑYR$*N|%?̻nC׬I6jgƓ=Q.]C/#;S7फWhLR0RdёS:$ޛ= VVbi?]%mcݑIuKY78 T 452t~Zy<& Mϔ5弶Oݚ۵WAnxX+ p]]_80'٘H:[::ٛXQNp-l M:6鯇J7{3w-%|Hv,ynNmP\dH bxw|q`D椕g} Yf!=? pJ y5Om5_&ތV^n`F#@S[ލ{l71Uf=*##~v\vO\7MbwH5noXí[Jc?׉8bfHJ똁=bd?rݶ(}X R80n4,W؞2kq SeO슝)14a^cBuS;cT%ײ=M62Py=j?CT8'W5x8 ;OJ$()Ь%ֳ:E% =v į 5Ǘ?UΦZ7:|x%~t $J'ګۛ1c_Q|n!oX9ľ 7/ۃyXeÔb?!7ɫMuu|fO(뒴]͙ί,mwuupN?kћd'ANcܰ[JGDTDHyZp.u oʋq$;A,{$K_\7 Рu7L |@xQb/i\:a\#6L^Q+G bdNwH }&v@/nOx-q"ǭZ: hT=Aϟ;y ł>- B5\  1l_h^$a4N(M~3zc5U[3]}=ѣ߷d+֖,d("FHZ?qFs*W\.94tm=hzǧ-7PCվG(DSr/;$V ɸ-x|k&Qa & ,'ױP6ֻ'U&">u;>7i˽+rBaxsy\>geݴ>ЪUͩzi|_sM:r 7"[ʛa]<: vC;1{qqB{4^*r5u9c _9/$~.P",nŝO+{j=Zb+udfVmnmIֈ^#8C758UF[/WZWuI(mOugW>|#]ͪ[XvH1P fBRYĺm.* M\a|vgbB\ɽJG\~ P @)^>(\7 7>pD/Z1!'+DL{.n*@ƒfflr cHDL>Nڡ Id'PrP$_̐`{ݳP]>1ʃ|1N/Z[1q}$F@$/#tgVՀ.8T5,d gYZ!-άf/CVdK$ODwʽr6>$iPL X{t;̈́ Qld|zxM72 'ql@V4'0OMXwW QS q$)"W/j!1Ht@tb_׌;Rw,9Boƙ,?Us#M0]w;?Uy:axiT=k%klK/)[HVaU7gM̍ ;#vEtX9&';ĹY5F@_GB^l>G((~56 woA)ۅ;\wu6>4*z$_oPf.J7jƛp:,9<(^-/GnZ*_Kw;E+[^Y\֠S:&꿂R0/]_eNK/WqIMENyhѕXf4px0kmǗhUkD$iiGP'͹b }G"e9GSHUT2d;a㡛ys{y|=>W.kGv7!rIM9:;^E 1B@}Idnw&k#>]h4]a#˜^1oF)3C2...3Mv [s1GV`0b=%<5nZ!LjAIn0oU[0ww&2}Eh#9woPc@C$;9{`U~f"J-c Սʊ# b2DčIEʺ7ՠi3kyW?Y#L^[ lN+u] MB5حcN1 ļdTa:P?.d]$5q`I):ж` ,o8ëNmfS%bn,_7 L"HsEJ r 2Ԕ@P5Zt˕ﺳ6?@ Bs[ͩtpL<[hRBi2aj&k#;q(:K3EW5eI;Cq(a- r<~K *]:5SJ@DJ !{Z,[~t$Rٞ 8ߧ +EVﰅ"`~Z2g@0> 3X'返/RKt-@ +`V _PsNic| /ЉI\oS9_Q""ܨFpF{7ÎsxR챢GDY섣``ڕ -@/J9vûaGߒ6vƔZ;s+nAvɀ~# R£q]T f^ST]CəA/gXL(8,j0pil܀ct K>sDHDžʉ|ƙ!PUoj3 Š&$'-R>u--l 7$V2[h`&nZ_vGQi *6*vkԬk=>)Nd;L5DDZhH9lZrI0+۴W4/n8q&y mDK`e} tGbSZVbb7h)'̤M}~Jێ=#lq9ҪK"l?^@Yk 1.ڮA%S$é_e7CIծ;~Zqr#Qlfֈ{eK +|]b)<{03P Qų[&alW@6͗ZGŕ/Z9FNԴp^y|XFW__^0woƗacn`}̓$!2yhq6wn c0)xP""7R$@TN/ O: %򽇾/$ħ .e?k+I3xlT7 m$_1dOR=NЫU|2ibR|\5fz(_vgY% MPiXhxY?WKJ>qfU)mf6)Yb\A1 {z=Z@lNzWq&%jVA]ltWkB&?5i0zݙ "TF5-WJI<{<ǯ?rP0A?Q@ qͼܸmt9b +_.56deYOtV sfԔlrsf5uXaڞ;D2tjrA3{bfaHF {6Pdo#o{:JF!. &HHP2~huz Ϫ"U:6u( Yk ?v<5Y.!*y0VwJ /s57¦jII' 'Y(P- Š0Ol WQЋ ̧ܺ <Ƽh«aHk%WH=D4c!1iL-Vv!_ṱ2ܑe; /&W%E`ܻ*nl|> Kh⌖>!&"۫Bs|P][Nkx/,FK`*, =`Jz(;8z*7"ޑ_2̪Y,K}u,F{Så|H_u aebM{lh˙Uqlv@?Ҕ[Ndn-cy.]O?ՂA"uRD=CΗ"b~d;lZ ϶9ƫ.,r݊,2& 3fP rcp,l KlEJH2_OS-{jLx#b75+(ΜSl;f2ɤA87JSøB^twed=/DN~B/xȮr\TOp1Kě3cZ|]~~K6D6x QGOc*EsvNlEg 6Զ+bҙaÇo i}o?3`w)fqs[S{ɯT֒6dnnC9ԧ>q|1rD|,4ݗqEvW=O|JMnF^(!Jm*Rc΀_2^sdi碦 :F 6_< %{^Qꑏwa@|dARf,LPb!VvGN I˴j_vwHs}"7#y:*`mQOSwYac$]Pgik7L TA?iQ@_-ut]P|->b/؊nGv@bEԀ\qm=>K.oS wܷA(xR>3ttum6ȕ[Lq_ñm:B#aRFx{^ьB,L᩿2?$,@vt(M Џ6oh$Eۆrizj_A#Rd)q)(˔+hdR+4Ə \Qz׻CN$Zb zXw»᭝ts(pO$a>>U݂{[cKU͍_Zy1,pbl!e&@Gb #DeT#44ȶ# mx4$e]GCb~rri[ @_Z2MXJ #d"ҟoNY`ǟߋRY+ 3fF[K Wx ||Z,M; ӫv{4v$U~-V\u*p(T'Srha]H?R@‹Z:I6N~>khEG:>"ljFEV{j;eb*m8g1a$z P{aWYz i @;ܫY:d_hYP7T+O:Z&JE8m:oS~VHYhr^RT%nzIWh!{H}P|旟5(A% wHwt멫TXZ(}(`8V͌CY$'(wqISo34ĊC^as64)dyv䔾oҧxl{w-Aga1\b&kϽO*X e7Y짼'Zmtk Օ#mBNjoIU<oD䔑@J+[8hВol{Zbs=}ҀdM^XA|(H4yZv:WUp+HR=42?QqZ?AR]ԷGJ%$>P4}cV$` riCGM8(7P pW(%|<_IKFpE%v˷}l4H[` Ή)\vהJK"eW !S8ȒPwRDvߣ?kϼPxMnb#w~x  uo6x0X(v=2&v]?I"|"+cXciʏ JtV DMt9k@Fu>ҊhA]97^TcN.j(tx CɮKXOf#bTuAŧK%%& A&#f=K$4RҫZ iOJ8Ynяa.Y $H>f50־rZJݛI%#u*8y)6XS| ] C],߼E|`oATtaU&IFxJWVjmش !&d&R*B:M{͹67-]KӰQes&reWaj =;)]VK aT4ž<(*g9a`zh{ 9#+~rȗar&8ϭL-h4ڇSF!S50:4f+I~¡3}ckG2e,ʡ_Idלnh*>D/A;0.qNq|ޥ ~F $y@< k-59s-!Zfhj)߃[Hz`D[rrciNF9FcP7/(fL)1NL2:7x?pitSڈVBX/(?vF ;n!Φ ӎچnɀ3?!ܷzQWf&) e5v1b[*kX91zx;{Yp\106 # n|DÂ(#;2_\-%Zl{'<ӆzB4 zADrU|tOu 2ō)5YӕL&)d|nG=Xfd$+kS_0+nkj]\ʲc&>)?6>)N|G1$.Qŭu+Ɇ 盳)X2qWaʐOߕ%Mz.>X#y rpq/U*Gx%z C2RRf+`ZJc$,uù;pWa+t[ H>@6%m(z{siWj>Ja :S*S`ҹ]Eip`xJ.?sSPL1ɭ0ZY\n2 ;j)8 ;!"p%o{1cj7湨PT>Ҳ#h`7d;fk J:htÞW3M,ޮV861GVU7}sP\`xa DuJj[EHgdPl=^]HSOu+ ߶H7ia1BmVU,پE*SmwwrL-sYp湀XD1 [DM< [dZ3I9Ɠ6ZnI%s(\&eH>;6+};)6bd9u;0ĽɝpBskL;>@HΣ_LQYJ7Y766\P7oq]*hTŐz,sz\nĪ`Nڝ(0ub!p%ؗbL3O'1ÂfbP*b^:;#!ޕ-Or O/9`U|rErf&d^w)ĔjGSsLݹWy-`4jg/όcn7]8s;<;mHB^mKe'~ FTn" U(Yr1:!($I_bMuV0OFr@0q6%map&y߄Hϛr#D>Y4KJL C`5ar"p`2ual*8!j: 1% S36\ "Ncs|wG8ȠԽvwf.?, F4袋 RQoR6xr:rin,u3.8kFtQ4h,gŊ[x$ +2 Zt|xNxHag#x~Ex=e>ׁA-`,M2a)å6F};ۧV 5wQϟ&®8g`QLA۔0;j(/1b.hxdÛˎy%]fC2(\Y0{9"r?vو wE[j\)B':Q9^MH:,ـq+-IGDXv`?7tkU6%Ng[!֚JQТUhKGn{Dz+ۖQ ^$!t5D 9sVOAa%Ɯn gL,n>L=P.+h$`n6-4Xm{a`kM<)Ahhy/KA2r!ԕ#`[g^ &P @WpvzftoB\'=YU"S{ikT@nTF{ڍn_Ln,E"BV⎪JBI挠P2'0uƽU Wǡ%͖Jcwyr[o5&9ww}X=q)?8C Љ8AY畯 U))Eb7k-E,x{zT=g'#<0"8!zSH;i)C^M/̴3G_L=3n(7c~H`P@2rMSQWD[ d.[6@$juox WblCZ{&/_HGB XFǕz#Q[,= H{F]I,4 j]}rMV^6I3aEc9B u2֦ytbԲ^M\^&NU f 괓ěS?_;'2d$NNF+<8edBv#\sB>7c"l~ů/M(R/xŎ\!H|dv\~&;{5_w0$: `7c]D$1{GD ^AGt&T/ٴ% {J^m~-)P|P|%]z>I"GWj~8OsY} /iO",xזޮ&W0J\uF\b٬^rX4%njIGPOT6mdǨޯ/(YY+KO8K!T+z:}1W<+:i,ɈCQUuEdХgs^B@kZsXiK3}mT4@?S'aWҩKzQx?2 7 #=9zFI<͹Okjh=2"L|_W72bcàw6vN֪ʟSN*jMl^=5K/ .=\;,>$K\o =;ЋpҶJK]*=<܃ p 'mo'Akxx6 Be8N fVD#2z8MC~w!,*X46b3%mK‡Zons{,׋FGuP U('0N^ZCuqJx(?>?:Q@䡔 J83ΏQ@5k#l⢧kcĐV" A"o8X\ $D͵V"0"89Q/_ f/QVs$jPb_I;_ڟ[bXۄG.a>1d[dLnURVyuC 9+{{$0.7>p{ӌ^Oo{o0E8dweX3b"APN-եs\oMk7V17#edX_7fz&GΔlrRʘdk>GqJP=x_:`L~b ;pV5uݿ>cpx;dJp0z RC"t٭n{ dLIϻ4o<}֔;^xv@y9^4d?ri,dT(@dlhk2[bxAMN;>$w?t]cu;6xc=C#YnRLucPC :̤T lZn&OԌymM|i": >T䀻Y"B>M٬7M'5Xe&lkP&t&73$1G|H|SzcldW$ч)*jE |-oinbj3-DuBpJ,!&}4-- 2sTTm&YHmt} ~Om=iBe bhd%#L"g] eѧ/ǤްןX7lZTٖ-V4 ;XT?M C+M) 1OJ&c\oH*;`۶fh$=+e늋jqK1 I rp57NA Hr_ gUqp^F0 [X (n}}6#S,Ӡj uoٿ=L{&RHidLkA#I=>sGi7AydPa&`xnDĉ#'"t|ϗUllJ\ܫ :$bV\Ή_<9F<"(0#f @Z6."W5X WI=`&abl1dk?&2Cyd'^ci$t4C$ Uxޖw'4;NSh <+`' Pa$͍j.7yHҡJ)F_R';Mel}Q\1җ yɊ~%m[-a㚛C;JD5xu *=;DRM D:DI8PV^YafGv0;";);WgZmdc"%C{'UQaViaʝb 쿿Oq8!,j YF"ژ'/Y}[ӝ'c!Ґ3]{^e! Z</2 ,6U*] {̖CQ7,cx%̀aSe7gNk놸yV흼4nm ~Z<>9CZ_ sЍJҭ.j`_9kGX=}Tҡh2oha&`e+a\+k\tNMr ok V c./sžG:PrFiIQ%4xV"Le6~tC1 mZR,MAf62wKp}ub@FjiY xl9wyc=)gyozO&Pm^f7^;x.}GƳ`VWfuGTGMҮH?Bdzo_{V2Z ż+{1q}@F08{pN<ػCoH+ts頁0mj[ҲpIXwxdDDT5g=v 2Hd`NW)KDX %N'tگ^"PãjGHAVXhşѤODS úW ̠۳ x\>F jw!" }crcz`N>eBww=ad0 7O6xv6^Rc)HV3[j6v`s(moA}OiK-@~MĸڬJ'dOvh f&4JpaGF9dw s52B jHtODcuPloD.m=V{׮~o4G6Wsۣ&}@5}0iT .9)U3n&^M a8ډ1[-ZX_Kp<2>V\fu Bj+D^ͤgKu󮎉wahN.)qBT"B:|C޹.>agUf:hvA91?M]ԕaJ4y6 g0' j>xVU>Q9mLͯ ى>"̪fhlRqfr˒zRPO_ZLg4U)8f܍^AAR$ZIr4 S]g`dxϿv؂NtI]7j6}+8>S[:+d!KJ{\$bRQNqg 9ۍ:=eY.LT1 9 'i-!0~F[]l~J~YN>Zjq-)k0/K}+J~#1KLcyg DXֆlXjuE>#\f5gnaBˡ#HKTLȑuJ3*(CqׯFk 0B7\ZJD =`MYH iQC|\#페eM U^Nq M/X5oњ~饍 X|԰@@a92iM\uc%`e !^ xv 0mn/ %ryWkl4cH-xpZ*>{q4-Za jx)&2 k\7(oszYbl)'kPN'~UE}c%@hSΛ&7'WCt I.E4淉܁$#Gr̼:,لwM;9`VvR] AE2 7\>槲/$cDΙugZ,A9Iht82N`^${ÅcS)ZM[Mu3iZr^ۮr!:hAW[t?!YI'tpq!vs)lI w& L,5Žܕ YjA` ?NQUW>? ZDtHY`2 :F]fδ);\ƁqZce7 b0ҁPA?,A|(}'4 xp G}`fMZZԘ ? ksyBkk ( 6.Myav8 \f7j[ވwA6Fn&zgO :/kxUˬh! 4u T,6ͤ7:}狸 (ܞkzt}ӏ&хL㡑8I/O/HX"Dq=V}"xif'->%1tSoQ3FIc0XzXP (lš1eb5Ld`ˢat'Xq*(T$y(>SM%V? v벦?#WcZ WK6j2[xg.0 NMy$6_[-h7~c ?g}"bT;D~j.?t{@XABB,Q?t:&fBeinTh3*7z+$aJqB G߆!Pard{'ѵYS"c^HGǐ !*['䷳Dzs+>$+ܳhGJf&]n)u7ḌZFN\̃."pzXN=qكO^2⮓28aJUvpK9*bF[[IV#hh%CFx,+孏ۭsΘssrRkf,Rs0VCX ftrҤamB7J["^&k2SP O A?&(jAr5\rˮ;^f2 c[~Hy3R^Q_!>C!1V.OEC`<bF6C4^2L+HY-yNҸpT~MuæI:ѯ;t}QX(mN.>It۔'|¡Ox) Lr7΀1nIEdHQJdr«J RMD{I A//ۻqdXdZÅ]'΋b4g i7'[ &1s\?:}2+c7,\9lCyĜ==5~ yQ1Ol'xAK046546.^ |RQGWϼ8YC9[RO+׵0r6,ط? F>TFԴS&ŻzHDEm E5Ir_MNkU5$.D3vF;L9'C,wha`gofؼi nުuO~8 i:Hxs6k.#Qy;55CEPMH=>ss,RF!ar&-LʈU i8<ݫϛGLj_i'[ChBy)NkA$FEeBĸw4ҩ \.V ̗!db/̹/Rε{g%TjR9&;k!N\)z҃ 9&)TJTn[Q FAO"'ĘaE,aXjWSZ.x #, wl  !2!owʏx}7t"%.KʞZ;U-̕YFA("@@8W]f5b+թd6 ZkKݺYe=d|WIfgUt,ՇgC1YF6oةC5K9lu6km8 *ӥei 0M6ʦ &ۀM/:xqrv6ɔ%1I{}x48(fVDH@g m|]L0B<(cYl's7i#6/v;,6sX*h ]1G',x0*5^ttc6dtLcd{KZ (VwNԯoAoc n"U+rE)nŞ-/4.-(CHCmc{XSrsR<D]7+g3O(T1%ڠd 6Ozֳ*E~΀xg~t-fg`T TcEO>ɮd+np8&c@I_'JmetV)ڑ?ΦS !pXPzҙrl3yKK _!w}~z ," {8ՍfQ=K.j>GU. %k|>k47&n7(}pv =WIz&Qqoi&L袗AaKW@eӘtqjLs|1ĹzNUۼ+#;(7+ v 4=Tv\J\Bq]=E_y~4cXND+ ⴾ}.xʭ?$LXFI/An=NnpT;d``:eVW_R#/f!{xN?I ukk1AeZ'zq?s )wr5Uz@ԴXmth\Q]*n%"@mx\w8~d7E9LZ2d~ӝ*ߜmi=iѴa| }Afg6{j|YY'b7PyW,=ŃimݽByU&"p"6,x|ãS9~SnʠJ铐Dߵc֍3~Ȑru-sij} (5QOZ.1wWe368lv1TKv#^w#sд~?'EGLvKzXm~iu!v CEӰڪEb/p``0,$۶o@0tf+.5֪*TiSz=;^KWeB{rUn׀R' 1ⱿK~!;3XnFdxz׫Hyzlh( &jdBQthC3w$/3R5OĤԁxB\Yy;Q f oM #X=TL[»U+ lZgwz7_{ȖC/JPޱ;)YV5HO2n#=/pk=@7߰?Sݵ7Z9kY5ڰ}UЎ,>sC ^jE$g2vX77 أDzCx4Qo:Z+:+_;  qzA' S^-5sh:h M3\E^$@bV@|lbd F+:iJ"8ڣɡBw'~xV rLpw[ኤv`7 ؉GҎb jHhFɘMuCSȠ&&"3@^IZ2XL@MjVbP{XrQ~~ϡ/iۊ3e)ŵP-;h֊w4(@6c=p>*Z79 J'x:p^I I;f. ^~>bX&fgJ^Q6'3_Lx Xpq)b$_P 5:ؑ}v Z|D7!˷c旚+sO+p5ƖR~$)[J>\,f sp{H !ϑf }ޘ=ǛpXA, ]o;"mekx`ыLk5DF؜릌]/*>ЦP19.*IL^58/QΒ}8RW(E2oQh9^|ξ㙧PwL%ӕĂiԩ= lគs,rHv"f,S}`834} Aԡȩ GstiC͠se%H 8}4RV Z|mxRr%JwȪ 6YRw~pyE)%K&&~Zm!Ր\eg [+@Yt‰v3d @L]YAp\ M]8^xmi>#"ݶt1.A_?˖Zx.sf8?N8O%f|KcC)U6H5XPA'x,OnՀF[Ƌ0k# %ݺ&3[.&)'u6xFAI/Qmgu!=5'$sZ Cd ^X6S W+>audqn*БPkR); 9SW|xa[."շStD-c5{^GZ&.s\KQ7yA&YGϣssئT 78rQxu~1n?x!,ԳK; *>_,yw|D,6<+3Ok(uVRXꎬZ}'ܢku 5;p&ᔧ:yC{ֳb-Xv^>3M}a "V䛇@ E{F~vU%r)>P)#;ף:f5Nx߫ qRP1s}LiW`dV!H&ڶWHWTxb= 8%ւun爞l=!`mʎbg-iΒ_)(pY a)M$zi[2|&صeT*)^ulv4v^.(A8Tk'D/ӥN @Ecc d;Z$5"HtGz2z_W~ՒlcNߞ2H5sg,t/Xĥ]7lkE1n_+ k`Z^Q%؃ 6HudgVz g%>t4vq"7lWL 98NJj>?i+df,3^=t%m.4dyr `q&bd]C6CikN:}nB8/w^ڶ7Wr)HZ.۴c"ю|o J#T\]}؁|Kg4$~Lw-RF ۫a뼺hai+IoKbG(jFRȵXIEP}1T_jY<Q?nggl)by}2Cq笴б7݃-+£PЊNHMc`59`ʚ5<ߥXTIgG^  4T=2K<3lt?<F\Q}hFDA~M6{eAc- R'-! ߴu˔ )ygPdp$䋐c]ykcX>ӹÛM!Bӗ)Bsc#۲*;>X6-׃=Э?d:dYr}\4 7 20Ve6\@z x9Ѵĕ9&X01P7/#ؙy9s(X6`{ˆ,=AE.ғG,e`PIWˈh5I ˏ6@WƵ̤mJ<9;^pA::gN/eL/'ef ?u*DaQؚV7n"q( a.=|œ-HnbjPsXuNO*Py,ͳ{Q-Hpd;{:~%V  ʜa.M8uV!cLCq)72jMhsf}V aDb@ԑiaק Q)Z2`Pb5!3#fw W'!M~0 % 6hG:6<94ceFԲi(=†_V7LjD»giܨ`CeRü3 &u!٨pzˑ siQGcܷC[Ӭ0|tЯ:ٝ_T+|+gb̜ ] ^۟6({TùP|.[1Kou=7pq/!hr}豣P!8(dI@f?ym܅Jp,6hU1&x{z!ea,w6 m]e7hxC99&cM|08٧γvLժJϵĺ~5h.@QG`C f亏W}zaf[/$R#uM'GOyXi&p cM6Ӑ*X.3*7g=O < zL28qU&;]j{Po;zq e|-.=rY$顋I29iݨ>00PA/˜J6 {BY.G|?jp Ԅ>$UXF1ʁ~83tRBj;J_ցj "xcIآ[^m_ʼnUKހ_BR&!rvbmԷ|"+П,Z,",GTh0Uh5 ,0XvC[/33@ !Cx ǣڛ֟A(&R |KLt/Ua7TW8co u3,N'^a-"psE]ϮC+fY~0-ws E :xͺũm27vT~V2bPU|I= #3KN#xNk \<'!aFٻ|fʪ:N]fߙ+uڏ0-Ǭ׼1Y?ůXa:hP8Ihj04ԋ%HT Z>BфL{~?$bl~] j0la<_fm^00W(Hw@xKHV)yRЂVOk[#7<4Tr mA@ug$+Fy U Y^f^z~t D<V-H |)Nq7]T q,7vV9Go yˋIE wMDG!`#bʒnz88FBث^I3SOilkIF`n~2"mX)p\| ܧPLj3W`*_{j}›:;[ Jo'LR[f %,/g&u_:zϲB[ Q;GJ]'ڻMj_(X )vQ[EfP(`}G/L 0'HoM"98&›ٹDүOiC~gAӮBjp`Ghɮ:WTyjmiPEMMOvTzl3>_IwWSrT$qYW,o$7 3Ց:5 "aa'Ϡ~ ߜ4;r;@y#H"'Gug\Quce|)٩d}`t(_LuTV`$gX/ f?4夡kPI$5z"m,PߌyI991)s.꘏dmhxnq(6;7wPvaA0tOdPI`P)h"_2&Ĺ-(9!!No\<Լs8AH݅N~j*l"4m}-V$1LyDʝ# vUϟ)9̝Cb 7V?1E, ĭKh~:`K%(+`'v؃#\݃klhkhŸ$#M,o !g5S#Lv ]'%GTE55t־Fyݘ?9S ؽTKF6,3)LEzU4ȸpnxxmV߂л0p*̟zxd^b)/*-݈Ʃj7 u7K/$fbH4$9"r g:,@Rz(@5VE);)z!sD!ѭ3*=ߨ~ Ht{-xc}&pRmyyw?U:Ǡ24xY=P6k,\b۸ر̈́Q4o.+ZRgvO^7ӆ>yٺXS"R(CL}M¹%81ب$(zê^4O\ԭȾGU a b⥛TL]w':X!C?/ (J5bI۴Gwa]8Qzʱ9XlBBRjRb 3X`U"og0[zg*@ m0*u%Xvc7Y3 m0S}5 [Z?Bp)5+!G|>/ "=, .i|J1>úCd l[T&ʪo>Q'+Y̠" kRw!lt>A1CZX4r`~v5(2#)u)̅8V2@qu{7"gAtO`!\XOչm_p#<)'Ńk 8.vJDtLE}I G>tKYo٣zhHen$F}b7>'5۷Ir0.CʹyRglPm ӣ@[[{#jImDjk#6C:z rSmFRh^i㢷]2qhđ pSl.RO9)[<_5"ft`0HoHzF;oz`=|&<?Ԧ|Uo"DD)c}"rRzy-Zm*8dr_֫m:i?M4-1 NU)|Ⴌ+n9B11UU_ɓ\\W?)Knk}p!#ffW޽ew 侁 1 Z&1|@$eFBa?O5 H}r síV;{D3PwjWe^TyzpKBv>ѵ9_׆3hig<~4׽g+NϮ61H#F^kJ`MUhm{WlZ`yd}! Vp0eVUXNRHL=Yk_9KwP.l VA*=Ny]DuJ+jF0,0ReodHvhZ2?eDd.6nhIG|^SPPqEhM]l)< s|=5Gk= TA_p4Ɵanwp}BW%\s~R(laf tisg4 \&.s&"4Pf@t񶩘ɋZAj*`,^m ړ0H5A z.7N~@:nui yAyLR8ߎg~v?@8ʅ?ڛ|yS% Xciir@鮪uOr69\*:ڕZul"Q_谀'~=f9i{'p݋JG|p'm,h[z#¹M)99znݿr^eu}[!Է7JwXrBĉ]2鎤Zqij}X}ȠĩO,<5 7YӇ`\D7Tω" LQAIwV(+YBF&ӸU DƔG 67L:rjTYbߕU٦`/͚&'W,]L2" OnQ5Н>iL.[beIM~]>^S1!`?;5@sPOpQ 1km1ȑnJL׬jd`̜ \)p82UnFHɋDBjϛ lR銢TDU[`澴h uO k;717TSŠT!Z}&V?|t]yHTD-5e5_Ġtt?U(T*9Cf6e`kDf\ aR?_z.A@p"m< v 9,65M" yL)g)/g7f;<}["DlЏz? kw)og/SrSџ oOwA29;p+Ue0|*FJ,.:%ٳR.шp^ _zAz75^5KDmk)[Ԑq\ Y5% L[bNd>P<_CМ%? 2F';S0M<}QH|zju>X(Lb 3 {\UTB7桙V 4bC {zxA9@`:'Q(m򒲌\7YN瘞U| .1tYH`k:O Dž*5+Xuuj!ll5L4$AtUBƵK2NTJjbu*"".ȐSؐ(eu(.? Gaj:4f`BBzgƒl׹ha$L#6,#kK8uq8; ~ξ?Ⱦ`}WYZMrWr$WF-rXkY|FhWNJ՝U‹N%uG;0?>,*y /a41P^qػ)",c,B~|O~Na$Ыf=GQgJ%|x7 nv[3s,'P3 S|C6f\+ͳzj$;?mƍ/. ̃`=-CjbLq;A,ɋ )Rzɘ-  ꀾ(s/P_e$=kk3AH:>BvgD,+m^A2 N3fF:ㅋs!T+ .fI-|G&>.N8.@^aq'8ȥݰ #oq\|3;RE/s`v 9A]^^G? Bŧ'{yvL:pX-V|Xo*`v7L6j)X4۴A!/_S@l)zA t%6V5#{0(U+Y*¶3DP'Az~j *ŊznJ%ѝ=w0búP!%zc?SfL߀l<%y73Hbտ *kk,hx(s#m:հL`+X ?jI_Uv ? xבyPA8Tt myYuP~qeu-fo e?lpw8Z:E=5Twn2Ӣ?83^G$kVn.ZaO݅s:5}$,wriE8_a3ޘxC6+>s{@c*o )oJxZ'k-Td('Sd,ŤdDteg>I1zҼ*Z. b>I>aUa&{rC34vD䜠s^ݚ-R+Мo{+ͷBA7R85-v^Qr3hvG݈|LkF bF}uXs94jlHk+B_9ip8@,ǬԳ嚱%uz,`Vg[eM>o;͛w˜곷GL69؄_` U򰕸 |euHqwz`smp0$jM<􉀳PfG\L_eP}`pڵk( ԽN?!{+kCnba.^U9~csvDT&_B v(rP0]4yd"ͤ5KJY#pA!RL=b5ĩ9`$~JE)u2yٶ)L'v]*YU"VCR=)k_*x@Pk;%cQoq!Zb=3U:/ISCtN0J ]1t8qvd8U_ : jY#D|)B3 hjw |C,;w0f4aArb}^$=S9514{IrY`L5 a,9D nSl9F)]SzMmEfςt|[OG_ЃUScMZ4ٷ7z@VJWsCb)D_&* GìzXj?Ip51"S|*ttDazNλ(gZW|\EshiC UԬԶTrJmc,d wT^s=&żhMXz*&X\VkhU8Gc1oƩfI˜y\ݶ #CjPС@¢z̗??ݾ?/dA+=OM~CfuKXwƱd2-2\@3eqy(gԐh;➩m,yfU`USuAVSz8#s~MJ+H]n'2@U hFz*C0(fu|[% J-{$ȍl3hR8ǩ"@0I@$QŲ"RQ6RlJnYdpנMy$h SٹBx3:Z9Cަv"; B AWGF^_) hؐ͆5B쫌eRR-)Nb"q? \m3[NtUzeB/c" #u7#k Rw>ڍw"?. *v7E0׎f. %@6ЩDsOF3[;즷-6|XAsL2g |^>h|<񦧛3:&tinhl tBe;F2Onͧ-bn3P aT(U%ACE%HrLLe).Tbp$ZKo.\ENl,T4*hD< v)-;Ғ*3stQ[߸ !\X Y(=G!1JDt]/4i%%S-N*M}8sk~p\gM=6;]zA?6&0=zOIӵ_8`}4&Ů-8!5@lsvEA+$ԥʌkĠےv UF-9P@!8مnq΂:(=[z|,"qmtkC"ab쐥DBīXIL h!Z-ڡZZt`ngj_ @y{Yg`_dl0ݳw}ts⟫4K~@gVESBfv[?B:O #t&fA:3QP3Vav썹n"jƎNN|@ {`&Gو7o-H Uul4jp &g<,oD#\ql)Yd Is9NtuXdOHhM#Ec_#[{̽ջʇ}l0KV2f XTWHMR~-eOaク x!6kd RA*@9 x{˖w"^aIE2K}Lj0_39JzP'ς[g΃Nvt0+՘x&dŝu+ ~B* դ}͹*1Ԇ*%jWO8vdLP8߀>OM9l/q$D{+?=T~t-dhžM2i(jJ|8u.B:9B9վ@MgBfD' S`4/|~ aoo_#štղ2?PѱVBӭd~5ߔA951xɚQ2a2oUGU9Ags/Q1WF]LmR+ήWId󴟩&!iZA-SaswP6DqAJBI)$9w U~Gq|&<})WJɏdӾɕ8izK^n΅+Kv}3wB3D%уQМ7kx bcUeg:xQ6]b^DsNxH,&ʄ$s/r.wEr'MQĜ&$_mcD1n‖ Za@zĪq>/" =.7)-uMYSfglhfK^t5kt}z-48( 5V#$ ǖ^by4˕\G( 1d( 0()8 Y$D!Р2_Rĩh=xr^3+,]csd]_IE'AS,/ڂx8TY=9TTq7@wG|?skr1+!҂9u\K5Z$R^ŒzӍ`1$%WЗ(%nG'U*Ӳ- (gPi^s:{ĆOuF0NGjS!(\Isd|IyYHMݱ}?$*I%Y7v)J eCF YuBSB_,ZױDf00}{nK ѽ")ELlYhz n" C8L<LؾAh[1noxd7Jj[>+!9C~,G!#H0cvJeN  6[$,)m8Xq"V]QZ,Qު[2L975zs 8Ї׽F9ԅ!5bk17{r;q3,E|d`BZPzPP]Ud'J6G胤b(}{Vޤ:muYD#ӜO;1Yӝ"|B2bQh6=$:n,lot^, pٳS?]"1Z=`UGD!ije{5q>/Q5OgrJQ"ȁMa%˱taQu>O\P؈R)7K(>SǮebcNN{|nxl yu<3e{1K(_M/ EXUH$L9Tr HѰ}5i,<& ((ߟYxdtr8 ޞ' =l&;HJr97gĀh_qF;i9Ih鴱Hp!4X,p1|&ՑN?RJrP׶uQٝ(z(ںF p.EN6cԪuJCVv=uE+lZLC=pޑO\ףv ctae*$PEO3="ca{HӫYym8~[M-; TN׉~39ӁCڐD>OsN+3WN5 hpؼoq҈fw}ȵꥲ%z;G8N~/*k`»;M }3CnϢcEyJ.S2m "\QQYD4ZBS0k\SP*~,R}Hƹ'XeїʆN HPuɍtΣ. mKD՜?5ywS2ۼԯx\UHqSK٦ꉶpNu]Td \!w(w;1Uc>Ѵu).~f3ZsЮUwMP]pS}zc&ݤ=2^ױdɳׇr@ÆOWa#_4^'[*7HO]uH^Ҟly/)XNVH B}4 Ɉ0cZ|r{ɽ8H z=xmQrb`1{B<9Ո=yQ|0'KjϊM͚^w)BiFOı!߈NRY=z%rPXBYT#5IT`ӝtΠgYZ 1C+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id102L1' DZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O []Άxʆ5.f-9 rq9URsׂ_/E]W">uR@mGoJ?\bXì"D+3eU.Ұ9[3=x=qGprh:֥<n#e$<ڷĊWF0!ޖ?PޞE]Ic] I=aR,"*ǺpLd%߲G K]V=UG[/&w:.شUM[{j\R(? PDw s#Xo Zj6m$c-" `"oygrwuۉᨲW˽T)%I$XGp!rVN#Dwi6%;xCTC`"G3ҙ**aHgf :if@kB *4hLuCRuh֘"<"xӴ/+ʀ3sఝ P^`xrrupJc=KJo›v%;8 S5)W`滱ZeMkWnbXO! Yy8{&bo_͸t1~$:-)PZ(/*NyR|g)+KnՀc,j)[4ҁFf ᯽#|T~pٙ?A 9t>3p QEQrmǨ`; ɔ`.jБΘD4区R qdMGնr15Kޒ- pG{GYWwgȰw ^GP?ݢfk} ͤ": 7]'.[dm G-"Ou];Ez5#}y ퟳ!Lvf:}@Jw?e~mq2(Gڏc V!'7-LBVl<8mTrWQtxdcױG֗(&3s 5 [ń{U <=sĞ+j$eNur]y%kCemBŸ9;IGT'6Lo ͢+翱KP.F q ܺ.k7N!jBpiG0{`4[F6"OfS満((=4295b.8 4#5 9jaTlߠ ZʎhtQ 3FC/n>Y1L+%J6/^zٸ4ezN .8], 3]pA{"lFJG _,I,F3?KM/YjrFU@|h2M, }9JF$=~{% 6-壃!s]qA솝D^^a^qi,|[e''$T?C9cDI+o֝ 25xI_L'*Er=Xibs欌5yAؕvWN%9e7?qGbhzZ@ $BZ@g;ѷTv4kZQ@I`Rj 1Uf;fj0 ѻjn5fT%63YW{}t>o,nƥ r>QX.#o p>o8o)]W $n3?XK.N%Gm_ڼloLZ3i#z].hV3ϴ{6 }}֞Q>4WiNsD#6mjϖIs4QP @à|ueCk+&&x]Wq0 {XK ?KiuR!xfjV㏕uRc[nR o6E4Ω]Jow6 ̺inw6Qd׌c;$H0~(kgh 7;OYE2\# ֢zdA䇯<,֑ܞDy Ht%6D\ :n`|YF nO+[vo2&_VC+B!z*BQݡH'<] ~]~?:ûgk訤hW%NpBc5u}c19鱅^F1@"DE??`Z_^](UCqy{VccnqD\W @ 6=~?sҷ.p_+@ɝ_ ˩ 9pxgz#EiysF|vCapC04ֱh V=Dx}$G%"R6ED,%gVeD9kȄ6߁яӀv&S dYxJ 8*h<5Pf m飙y&5U)N, I8F,K, C:p_.*C/jgh F0)|yK׋t7ұ2;Y ;gho½N.ceOʚmj@ܦh}R.lH `R?Ы7ڌ9Ys+F&?֏MCmXQkZ-`yz 3vI2fԖS'tI_f=V#r>m67ӑz2z9eeP"H!}$[9Slנ7eB([RK[g W;c2Jm&4ۋ,?t ` leA< `0$H]4i',C0؈Ɋs\zPK`3lh{*3q? "\Rs!C0,.Bl׀~wi "",TzQZV};_X.A4=yw+Ҽe0i:25۴l sa@|+U_YVrϏZ zTevFOr:u8ǐF;7\jxqq= K^xtoZ*ryTչ ':Gw{lrBle ?N,/ۓEw,L]h,x*rMAKHH=n7:zcBª_!kf#`9DV?¨3X0`d*h~ Ђ)ur"m>kP\֥M\f#o[`-Y@{@V%۴=k," Qk}g=r}ӻ]R/ J>› F]Ho1gE@SVW375c.$=-23!;%V*3}*0,rۿm= #:]٥TFI9Lz||wa k%wY6ʟiDB.UD/)BzոbPbWSw%nX.Z8!Gړ隗p? 7lBnK8~%Ft -j+7k06/'2~1ad3_t *i\r'_Ϸz6yKcQmj:YJiC ʙNX֠>[v,Ÿֹ̉>]FMc5^ "S;B2 Z/xu~ nbr+QT*V*V ,P}U7„L"Zni)\!RsZ7 X{жq'Uɫ./|LaŤITyք# ժ6eͰd^R\P;DM4~+x$-_dpݟv]{8W-ȅ#ǽds:MS鈵P,> R $vϣ*$o@o`ՓcFR%$lZoc']vCX; \2l$ 9؁3/"X^HdIB*&2}!Y7_'K$emfkE , MXL(}""ՊķD}DD y8:r- P^cş㕛iɥpRt}V~G;݆_v[!^"6DU_^@( W#קhMy-<'콘LYB^xnۚ;mcйwqى*ILqĐP. Qͻ~X~ٝ0J mPX4R{ȇW:QHpPK\k rz ۅoRHW:Fj|<tP(R+.YŹSJ+hs6ʣØ^ KEĥu)@PaÄ)/ h}J}z>sei.*AAEJ(٪YBw=fJRfww4lQaҕ^{c!jD최C]v^;`%ZBwP QLȓ?Xj{W`yntO'P)/C#ͭ摄7`lе܂@ XA?Xcyn˺Wq^m}1@el;DV㵁M% S5-ᨚoD/ XA9nJ"1߸;jW0 ^$*Se4ǔ *'ciT&ddS0 Fem #!u H2!5Ilolek)s=Ϛ ՏgYZ zz{+# ,ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@FP,L>.9Uc"XKκ, > xܮR;\VNoY̖4kxa^1ٺXB/V&Zh~oML jd%AMsϫB9j^E ,p[pEuȑ fU +AU# >0} qHLOQ)IosEb"#βh ZϿm5u(M0~c[{s3&N&ճ!p\2f)(bP3~ Ύ~d3hIЙ~gEetT)݈iRnZ]|‰]h":2_낆p ìz\!&>{D2' fkZQ8Kl`&W@ ~찧>-١L#2*蔖x3c{XX|ܱ#( sl'i$ KgFd795f͓Š!?GG@8(ڇ67 0cqLJ'TXJ^ؐ\BBthUbC&#$LU®#+@AsREWe]wIJs)i|(o͍DaODRۻ&&<оiv-sܡOJ0.+YQtr2yCXu˒K(Q܃Ns+,v Ysb)N C&yG2G 8RR{쳼#%KO75D뚇 9B!yelC nuvmDI~OkF/(>o$oY(KD49Z7Vj]m Y|'f$7CA :b|%Vs1Ȋ[\ ~WvəMlcK{rY' 7DIٰ\rgY<31j\!b+fd(Fpy;ye3,lF܅0PӃ52Փ 󃮨䟰~lG“FaArd!C;}dt' 5ef,.hUغeY{ N$,-Hk-Rqn 㪗=&,s#J@dw x6k4 ү鼹XGJ?q5ĩF 4(.jSOUNXCV&&ZT=aijȟB8/PfPp#o,^/Q@7s gq7ʔdPX!iTJ!/ 1xJA})NEeٌ$gS3w*+P)xNDްIMD(呾ns[ףqڊ#ǬӶe?Pu9fkhȉHw)`Z&Y"u=' |ki}/Wld5|6^xFUް hY e>ًiC!ЎA6w2\A8i!2 NxR&X cY86jJ,)o 6j1{qBJ T YB2xyWVIp1_c~)aO)|%;nXdbc_z_fKt}+Z2:_ۈ^$Zt;$>|&@^ wSX(lIq| 0ͼa3 EM$2*".2 vvSykEqٵB{G-Dz6Óf"aw˨w pDPʍٝL<ʴ ZcY|wuQeuqMPa8؏lc[- $XEHh/볢Jb .o0߸~S$ش9P]F;c:v XrY)@b 4;YPT2.Xn=y03"A5N0C3<9cTy$U#Q}B8n4Y$8fltH&L+VCDX;\?Xb l3"enpo׾!=}g {y< /vAIf8UsȈ@fd\uvbtw%k "I#4ǒt%IP@۷'Y&Huܹw9 KE$KZ Dȼ ]Mr4})ܿw#DQQ?Ĥn[jP}^Nmx6=h" ^~(M=JIW1%?M۠@\X8QR*oA^j%%Eq zMKÄ3^vj" >/r8[Wue-:C_aAx1!CVN1hSH\Bيf"Z4 ܄/;yO) o=RgM #*+IeL'n\xérӛǻLI8yy: C Xj&ٮ "[8 (]yp;VDdA14&TpV ­ Iʼn2>f%QݻKKe2ԉ#P'm$@iZ-ߣ[@7U8E3֛%[rK9̰a3dW ѧ^zu}1gk3v,XLT=d˄[SC:D%ׄu|c@ЉO]~^C^6sV>VZ7pK{/~َRkIFVSJWı4T9PZxk+y&D_T/P!7u&sM3g"l1+(QցR6HGhO\o&n='6gO$Sz]' >/1?*`L4yXkuJfq`"8*^wD|ƈt$ ; ֨̽JEHll$:Sh}vw8wU~־VoXk7h rUѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:Qi[CpQ%9iHknBT@A ˠ8nɖ߸gxH3B(Ŝq ?o3r3E8]lOKj-$3#\a]e[4VYtvSO1l"-Pýe) ?!ᚗƜ6G є[Mn͜؎ D;WY6Vg;Xq|&}/N!c8.Z kz AqPv\85h;%Ů0S/%N"&l i`zM5]=th6yZ([n@YM#9h3'{.w%20_G?.LVݫNj١NE!U9A'15ML4s$+ W!eG>͑>qW[e;*'@|,;a[b[k|&ц#׆` P0k#ݿݞyc*@`yHajR:Y!U> Z>lg' hz:+Lt2ŋqXJZ)%#R:0D;VQ*R 7͸ ڋ_q)wT r=P'Zꏣ" Imo#/0m\ZV:OnM$bҗ\d= q?| mTq{XF:_9pje=1p6nV v-s Aq d8<@Gо Q60NӁЌc[EXL),nFGίn`9|߯ԨGU٬NlhhSKgGJK*uoۜ @%/e^b MKNZ+zkL8J=?_M YIH~ωD+nY 4)+iyPd\΢ f[[iۢ8N-kص .t> 29O]-ت&7Wz rNj5KYlB}kFPcޗ>iH- X'O W^yB;[IS[ŏ)iS0!A hbapT!$njV\ ޡa PxH!HZUɦ4N1 0cX/T#d#M'@ >/@NzQH {4e?>ްN5kjj%sf=`?j8 1R?hԋ{! &tRt+8LagYZMZaM;AXuqȂrQEr@ՠސ{ "ԅ0&7D\-kZO3(ncP=Dbik,<3ow6(mLߵsS~ɇK7Ob)e %q@Y;C~qG2aUC~"B*+񋧁bNSv)3h5nJzh]%жmHGr/{z}=爉Nõկf"fCdQ-#6طGZ?|8_DnE;TD;ZW`C( =Yt; 3wZ-NANP !':ȷCWL̨S].tng$z$4vk]F-l7xo/SѦjs5xow,?}5P e2׉0uvaJV+% zc~#)pn!s ,U4$uznޮ6RJWо1!rTu~t5QC3ȍ ur0VAy<[A򹩚f~''ؐ"Қ2'vf2(͜ԉYr_w2[ Cs}Ja$IBtp-61JIċAԙ 82_ŭRɊZ_Hw''c6{/" XP43k@lb̔:ha "X/frW-R#*N@ShXr2c+ $BENfnm7j}~W>gQ-׉ؚBbxG~Y`  gV\B_`ۜH0DTYRW@G^=*jCpѨ ԭw/x,xA%]/(W> kxlS"gQ@3C GPBtCEř~tifJX/+ذوo]6/^Ln @C_[4"((_ş=%/<\G(ܜC#1MhQA-w+1:p<ށjacwQn CzHDql?5=];^:ezdE[.Z+=q)FcXp,?gi d^:cQ]`)馠Ф[!eVZfv\ I)qb>S 2bP@GsK"}q$/=x.h'rvHo/:8qpMOYyѤHptZi; ‹ywb7\.vR$̎wtzۡ#6,oD"G F x(LFQ" =ntX>mC<ХBט ȞUR׆NJt\wj/evEށ dU@ڌ*(gDhuYu'mjDT >q]tJ!yF2+'t'sRRbs%4tb;Ēsr◯<˩'"[4nF~d!w<ܣ.W*R۴jJmȚNw*̑rPX04M2 ~!Ay+[6k'YBs{^֟v,W6䣇%܈P1)%$!?~AYBkU{_$ŝ fە(W4`RBY:%<(|\vLC]7+JȀ܎!cF/|bsEtoۆ%@Y/єQ =< cr?$lEhm/MgX360dɍ=$Z8\zs*$nSAFC^y\&?T Yɾ!G]9hy4@?I" D6h,b Gc(uB4|5;(\nӺ)$x^:jyݿ}FV|_?&?TFA ԱrmG>Qeh%PU> 5E^ɴDd |{\j`%u,ΓZQ&M6N? Oc?Q`yP^?ibhX*>(rf#FG:e%|࿦UQ0^6fOq)܏ }޺ #لk ‡NN%]*%P;z0wEnJ6 ;'xdt$3fc vS-e.Y~7mK~u"njo_ɮ LAq: F%(ͣnkq؇$ͥnfx-ii>ͰU)Ckgi;"Y[Aqy.#VfԶG;;k?"A*7y&;}9þQ؃͍ZNU,P,^=YōUa?-|A^y^1(`LEK\~d,3_!o6WqzG0LS0}1*t#L Lݩ5E[&by*p[wgmE%@JVTZ#1y. )4+Lkpzlwrl6\ȊƫCBk 1hqTU1ni%w;M] 5(㞍&@R kBע}\.X;älKp;/3+g[!a#Cb!1HYə<GDZ:3ųej؍#\ mJyArqIK7Jk#yݘ>52s << Nis'ǝ[m|bh%3f#Q7c ?:ꚦqyF/m6Sc٩~7ݣlF2`Wֿ:ySA.Azin46[9< R9uCx~OF2wv:!m[&r2Kkȡ9áD+$ O(oߩ5A|2nN_!}c+)L +>MiuLjA138Hψb]{MK^t[T0f GBLc-TS"hbirE~ue7Hi&7Q_,߰߈yZVͣQ '1rESQ-6t bZb3^Sd98D%/s2Oh")[Ɖ=<3/#/Syկ&J"h̄]g/KЊHc7]l|<§;Vԑ/ʢ2sAr9:Hg$q^!m6V{`WHhB];U;߷m`m30]*9Kv& :Q? qJv̱gYZ'3# LZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 (%b?,93\yT!NAw 7I-PSu X{K^wo~QrJCb;L X7hj>)6!l,WEAvB83( V6 XFV~F#D㿱 ۩LFuw9k"iV)uUD X%rY=T<°0UUD>3wAq{x{xi]A%֊VyM:K:vƱS+mU#NSp;PA?W"P LG pGp9d()Ъ \Mvsqe 뵍&U:e;3xN>)qgeyF`cnw8ݣ8 oe ەAj>(zp/cX c6T,EN`s2jD.ymOV )zj%{P z"Ď_a>|rwݺ9\2: ) pqgq4{C١oKphOm_ \,y֓ Y7Kotvyg~-B&vHx3 kSB{;F=o?kbi$mMly[Yz^ .`%r[PB6RLE8%7MoIoik\~q%Y֩35\ nlY@(ku =sS6]oٖB7V7#xYK9E2b/F)`)f Oז[@R%T;8y[k/x>6UP%=,Ϧ?]kWiJـCn?q*4_SdV ɂ~vh$36Gchkus">53#Km9=!Ǟ_my\x<5 iM؞-\Iش{uT:#͢c<OzѼhg]jgxvGfT b*0ZbܣF,~D)lr=MQ<@l>2/b̰O)*ƷˑG+ GfZwCg(ENd{5hP6ಟȆ]05*lzɄ. Ĭ̶NH'5>1k- SnHrXr.8t]%V4wO[K a a1l(n}y|z=rQ';#<&1(<&;o?0i'tY(mkeLf9I1)U>/&Ed Z^YFjb\<_I(sDjlD5Mhy~j˟[UR_s 4RYb`|j)Cq;ߍ=X֧e\Nq8y1:jh6sYÔqV&eQ+Qe_F쓺7NVa|&l}mL["֏.жj w%JL@ުĤcM2luHb,OZzMtIWn. 0SuܚYQcg(W0{ERtQo)-,# Đ*)vo<;(Ӽ/cx2ᠪXPYKFhω6׌qi/oox.MO~iu6EӍJ>vC]hH AfgK{ut̯K&983}Zq+HA)Sf6BSQ*ko bh,E"a6Qmj\S@6,mnahX+9{\G 󫻼XC?d8?1N+r9YLK _Ñ/4|1= YKU63wY28+ ?[T@8uEscf.7t) -ϟDL-)z(զE[0ۥZRζ=y?p5[/El9-"-CX,ޜq6]\.h/Dz"ʼnfeR?+zDD 9`bs?ۂKL`܅aޘxD ã:ȡ7x$w='1X 49(ЊPR/ҿ@|6^‰J!{f@(}|w5kkN7T"u&P]MH_ m#mxvdbF[%0#MW$|%6˄D[dj&\;w4$_]9#' "`z& b}Mn My+D=77zIBML%o!{ao|Y'CKTkOzj H-]h > s_"sjr~qq:|i7/~ `k.ȤtA[R-|;߻Z_S6 f%X.=(H k,fT<ELCЛWIo.qmpZźelsӏ\9?.8e%LFϷY`k%8#׿3I{#$͌T@Ja[D5IDXsx1<8Ul8ϥ9#<g"a 3Q+UxUfD#zMc "+Ƥ Wb Vn;g#xLd$Hz-XeæPZu+0k[I^JrHBEz yuT3CNѢ_`v!Mb-X&6sԗJ)B8;x {rv)+hm}h`/Ȝ2yNc6ngYZ'ga9vl1@T1iI 縫Ob$xLc(9 ZǛb5*JxV/5f- Ua|xSzhHtw]tgUzudA 4 g19[; i^g`,QJrP{2 HЏJQh2Box^Ӕ5).V_A/%J@ `DW<B$}Aۯσq9_eeL=fVYlUD L|ہQEy΅ƥj1Pnghq7bNjkfk+4fa5 S!V22Hʐl_.16>@sv#Bx~5A"p82>7}уHD}55(b+#54hx a˶d 7gϩf]xBM~4P`|m8-7e[\ @5a,w9['Q+}N>`-Vy."MgeU-_Ӯ5׹@*݃ۖ·p:[biYS Ue/#3N,mڜp{/[l-ә4 noz ^́15̨ "w HLs'_N!3Ikl%T6YD YK;x8e.IKO2uwu+ kK@V"^1$tk>|3ݚDH~^mTE+ .b יe]Ll;΃d1 +MAz19;7/nHX*o⪓r-< 4O""~jG9fR]$"UwoMƣuNf0IüD霪z YCP}L;>5bq kXsMEOƣuWfKBHN\t3.Y⮶ZSQ|LL-5#MŁqrbv^{Fsi-R_}qG6*lwC ҪSeg7&5_s9iJmпRgm"TQ]i7b0X 75h2wn8(d9Sw-ЏAoo e="fߐϨ,Ovhq2E56"4$s>am60*ܑy{ ïEV@|&A@f<:sM_2Cr ufZT?!攴,;(',ekXC|=Ԓ"G^s &Kd]}ɄݗMLҥ .p!5#<$+SۥPpRPfZߪ-9gՂfsQMʯ-= x9Ȍ*- D &Vٛ<,ʀV4-vcWňYyS [_a3,kD~Y;6RT` JÜ"Y 1@-;Zk`-NMÕ<Ӌ]1 *=}82\X9ft-pJ6 >j>eEBCxDoԑFS%ς(o;@5V @'OLNWYJUx] xnN%V+B(VU,A(6޸>޶8`Tj>^;Ug{q8$ô<գAl}" :SCdvGt;ui( F#Cچ.hmų.HFbJ\Z2p2z`ΊaV %ǛJp;90m|d_6DCZR5YQw!! z~5\QS:ځ䟊R{Q?ɜf޿or}"46-ԂOHYҢ2GMWDßB(P6cgt7ҥ@e 7/#A nl/@ΟI>B۫p2,/ta*^֋?91QLGyn%1W ]f;Fu1)磦WѬڦ6[>v%8A>_zltdP.*0UV_3:ntu۷J?'Y{(l}Cvȣ#2:37D{[kpܔ(S9lМUADV A .ߢ`fr ?INCƛiI!Kx`]SՌ詍B8#pOI0fugգ=r-Cpʃ}2fEJvga%2M[NtAt]ǂ~c'B%u {b Z:+u$ױu[m r.ebq-f7f=t1vL7jI@\28yL⩀&p,] XVŇ%|W/{RX=4Î I0o[F+`-`=HI5L|}dEHE3娽I5~fL62 >;>n"DgYZ  N  G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108[0/' dZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nj]·Iq n[:|&[z״09aNaq _އBɵw4<:3Ϗss<-.;,S@5 c l⓸s[k؇0ݯ;IΤGۑ,vXY빏7-:Je/:VuSN2 ourSRmW9)oC\f#Iힲ<آˆ<8A:71bm@6Yq#/Si,g8}Mv2P gyDAsC9CO @ "o~ho8TG~lQS>Y6T*-85鸕m@9{3=ddr$BL?3&ODZ xnzubb'v4@c{7e3vƷ?|X嚅~%E|e9C/Z{f*u;SA>l{kҀQ!i!M#YgB=ןu #AhP3(>b,VwIDp DeL+nb׽qrKK.d,;lUc:>"6y&ӣ]n&鴮3<r ʽ.Bx W˝.8w xоwxv"Q)h܌JܔكYʽǤRpv^ >;G. ;+yU+QNd~}zKh[X6}YҮzS_2}r>7;_v_mI¼1OI4@MX`qU>e n˜-&-@ мst[Sˁ#PROAQn"&ǽw+&GMъbUWfpU]<CQm_uv_CQЙ3)8ЂDX+ 4q6c:(HNc \45s[l2e\R]a5`?%:,=:B^J vkegYZf/ /# |ZF-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{3H1]SX7| >UР?_D~'~|QR&YnǢ߽N]&]! 6Ono}4A^g e +(U4! A< B\~:=LjcS%)lJzcW&(q/iLʩx~lHr,?6tagYZM+/# LZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*^]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyN*~NA!& 쌜(/N ?ً/ܟ9_!#)<3|x JF]ۖ&4׏͎ş|6!ͽ*#'&ywUyVaݭrc^ж }hUs<2*9OŹF6S2{?ˬ ^|Moµ$XIr}MV5uQ@(TN}03~Jo7BEh|c1FV6[ é9 *@ٻ)E+9V~`i^+)n_%9C8q$>rgsQwLw> '{NxkV䛸$51X)%oWX4ӑ b!Qo?߂IFDy1?K%CgE+ g4mmb=ٌDh/d2{B *EG]u]C? `YKqr|_.il ^Ip# ~p3>~U#{Jw- $/ꄱ%2Ƹ$ta,V41EeƸE0+ӦٌBfm~[iҧm9aTbJ3+&{VTtĒ+Ì=_]b)#s?N4Kye@) SKQh4c ydt\=iO`6,zn! | i8# ԃE`) CdcO g>y󉔯G{j1ij 2I`*A.,tCwH̙K{3i\7P!Kqkt'uSt!0XEc4>F6 Iچ6ݛh1),J.XsA<.(: 1Tt|2)Ģ'&6`ZnkVDKCne?@`\tNYU:}A=~l#`mM1J nWm]e!7a[N 2ސAe؃s"*?7x3<ׅhאB YU$s>h&wma,JS^`a'tf5CTN! oGd chhboS0x'k ]%ܸ% HH+3Ɩ. j:xCj2%etT$tx榊+YCXөn$딂/?)/ Uix-8C.f^ _dk̬q 9xnT!A 44ޕ& {%.ױ(GͲ*S:Pk\<uZ&KȳXMsLyLj}AVA#łPQ>n;Te(,4$w Aᴗzs %P1"(6N"Z\-N`젹k!+{daMsw~5)XVF.aņO8M : Rr,k$. 8ZSK9_ŝW?P,VtIǠ٘)n\ȗgq$Šl>n!f199y@$`#̩KZ >e/Uv3 Չ r϶\8SITЙK65S+6M=6B>xLV}z{Iؔ(з9K38VMs]C#^_'.h uu߯`|?Qu{tdZAv0}jjs׽]Uuxf+X;H3:X-XL#n%kxnTȟ2K쎹̦?=}lP6'u]wrn^mp'.aMmgf2Wmj_y ]3AO +;kkW\gl\/ j ٦x:"8:weYWpqI$Kkl#nSuyz ^U?[3(n$NB3*eR^U S7}G3_<8Gȼ8hToؗSHב\ 3JLs(Hgޥ}!V5}.~i$X`6{ip!)ktzR_)nZHqR[F&~6//86:{e CvDʲX6JIe O!z9J`M YRj>C.,y&HWfz'K,Z"rR9K'2s< Zܞ.W[PzK頟mzbOvb,anXV?UZ+KWw㧇uVR/V:'4Fi]m]F/y~_ByQD ~{0zdEݱXC9Je(ik)v]/%kB4wx%e_ :6pH`)!`x@-><iٕ&FHmYDJY-+٤&FPI#Ŋ̚~*]u: fџN,n+;@=+".2I'NxX;>`8M !I]0/ڏ'~7oެ-P4{AٔVcSZHQqDJ]+@.A3}K˄Jqߧ1&;Hcy _F\'d\ƴBri*t0B*DBm+>юW'55ˆHWvr<2GH vK1yʙS;^$hMypk߁co.Dp BHBBG%";xX. לFp)K>&aD}=; 94R)V7hw5iA&Wr5W&?1z4ńx*zK**/Zf9c!,?7!F3e.=7X/0p O:G?|,p_ד%)F:T϶[O .na|Pj`25ˀ as1;w"a11/2ā +֣ɻ+p R * F$ǭHa0d@c$|.",RpLg(a`Kռ L1-i m6w_uĘA?BA폾5suѕ>Y /X1#Ee? Oalq , jWYi%(N%bZ6Uuȭy͕sx=.V9ZGqMD^^C[fZ, R7{3Tc -șA^i(s{ϑ [z\7 &{֗a KRdN TKog@;'ig)sPC £zLm\4[|7Bf+;rM^ha[~UTF}3cl8:"$?Ʀ-#RO5{AARn [xy: ,n0ڦu)U闀ida6AJ<F{B uےNĮMėX7yDmuՅg@TS 7SvV yghW^ev/j㮡A M^=*VqM9{UzԲDr C+H=bpSC\t ND<S@n@7<u#H%ȳ'<62_g't'+kzw03u UԽ3AW3x cȧ2tևQ>fEfd,2'¢bg>gʜ! V*^NtYEZC/0<(F0T:UV@jE꛴i%h4ײ 9O|%l=/h]$L. J袾RF :25ix䊑};ߝFdإ0(Y{3?$zrXU[9OIܛǁ+B[s jʭ xV,QA}Z>=R|].'(4}ڲlL>^LD{ȥq_d%Zls_Iή~@&K JO tK{-b ]uQh[;Nm-1JZE׶;BIa3ʧW3jo!Q !=0ʌfR>cjp{+f$Ӓ_QCLUH4iY ;PlÝX T$=oqy;T`h=ӈ&]\ #&XorBV@J ǷIzTJ$۠^+yUg\ }Vt:^eXZ,KY^:BEkjK7DN"('3\d(PHcdc5$.W -MIX|J0S[|h%$_vz|"ڡSC'[ATWNZ8IwznFıT!'{buJRQPT 6#(nP]#,u.])!>z$kޜͲ F6h#|?Wj-g`G*#&0&/v uɔtо . z.U }6eF5Sv3O:Ai1 ta=Cѳ GhK<.@r\t_XXs:hg}o% 'b,M)Iȃ\.+Tr.DKDd./Xl<&EYĊoO\R3 ٤:k2]c~%0>i 1cmkJz9@%i8N~}"0dE5<{a]&QlBAqt1M<1$NGgBT(O/ % ajH˳݆UlR-ķ":0mPk[ɠ;{Fu¼Xka7̰j50b3X%w5[ᡅ`0i /@'c, ߘYsn/B~g4;w2'śNRNZG;n#P{ʞf {x[\hxޅ0u| .h*7Oq)XG;[=^b՜z Ş.w)ᫌ1>yexG Q1wIkU9yLjmeQ?n;}DXJX'H_7agzzh \;GfӁ Ό65\}kcXH"]1%bbh,w`4XeyjXM48@F |yrU:z+$_c,ہet/t#YQlBlp[ 2rR";a;=|( {D e^ !,, 5.ZVnD+E0L*)%;NA0A4fS-͹j JENt&3u<\}B@ۆe6nb@*Z?Vubб`9sXlܛyDa̺Qax8đRc2+'67CPn&uh5\Rn k]Η|YB@s،ljZ'H3Zftw(˿"}Ok&(>B Yu" Vwq;}QG\[[%(@cd0TDs`;“&KRhT`US?whq@ X>uTN-~#%htJ!f;RWAh$ORA4&o;inZgwUHUaũ6͖?5*+ObNla5zF9[ DFp!4NT荽v~n,;x k?vgxX%i[q0ۯ(w g \ˎemMN{гEU)%\Qc6jكnvB-mA 0uU`4zĽֿCn9[-rT!c*GX$+74{w;R.]D!q%U{kt]~>#V|,5{Is;%Լ6JGTifMv%u>zeV5nRD P5e[K8uғA`{#mެ#թ=Grn9eyQ2%!v5w$5wޔ 4 ?uuǢ*JUJr08J aIeVjG`BH`hv`*ط^iIo*̢ή)m խ[&v8iH0z[ /:'Ǻ)#40 Ғ]@2b'&Kn!MߖFvC8,GCGPF-$YLXbA) L5/"F0 $ҷPuih]oa4gB_bT%Rs'5"'Bb6 ՁA*_;L8ݨ:8NNFM_S4"JBµwC~^$XCQ4U%+bA v8~UDcoSU@ Yg2UiяwHGQk!5hK ҁԢd|8ɾ}n+;1 Z+mPuM򊜑|O5^ #;VP0% o?k)E)2d# rY1 Y _)D{r||6Z0䦡ȫ*V*."ݒ4,8Cxlrw ZT^za*ѵ_kJqk@W{! n>'9mq U=Ռ,SMe$}A` 'YGaٜ*۴^æ: 2t&I D7s$ vH2m%p㏟dw4{\f2c=;jLgafDe,m6UUtkН ;*{ɒ<־kpڋ%g(?F/SLY _zc-S U֭9F DUd=6%8X0)~N(PMߨcζϙR94|Fq`JWmjj)N-#T1 y4Y2f$ب+O!$ly!Ѫ\*Sp8f7ra \=ЦjE),LG7KO1H 7@(6KbLLhO$K+ Pf_Gɓ[Y|3+oB5ߌψ[YH8T1|LmJ8亃t ydߓDb0zT($4~"T .xn?mp y\u얷F0+$0}L+w+9pxyl}>C.szw t@YŒ3kUY6t_EG?Y]Ѧ3?T4y猬+ۭT@NepX }'}ªU/?M, @?NJw  q2rdk\G;}MBhƊ7YDd 2-4fW CNvO֭x9x&xtbC 8;@|N>9ٸ>7I Ɏ%"`;TZ״ح)nwh]NpY پ:zb ͣN|twKWIa]7;Y )Cm ةBΥoVe6^op /fNhO X PpUI@%95@6f_?9wv#~OU/ۚvh!/;&i„[t:1oZTjc|53Ǩ-q,t.7Fi}X[3KګXչiVUy܃y_H-_FӬ^q.h%g Ee뛸Ew>ő0lĥW['qĕ]Aͼ _ |ty}fӌlyq(sIs=\VYxaxM'͒fIIh^86(Ttet텬j77 4*;Gڈ% C\!rުW`j4OAž<},yˤT6a$8x$vt88a88{"fS5 !4G5NP\nhxDRXZvߦ<c+es$h?^ceתk`Je#Mh s<#z6bf `dU8V <*K?zg᥆ٰ$+sњRw'Gos=^5|I ~)1fKu19ijVģIKUWÀ1 uL]Ij`׏B {b+_n+]Åˈ;PZ2Â12c#Gf"^"A}"M#k*+B`#h? Hz7rD 6ju^[O GU2k5fw}W8sEK>AY&ǧU Z@%AmF`/A1= ͟=LT26dGDHq2/8 `L%>hNRB]f9xNGd7y*ܣmDNąFMЕM@5k2-ckIN;ͦk;ZNs`6\(t-djgjj+1cF]jG;ط}߉? K'$DD'sCFή%- ;:.F0sƭeWݘ+5*o#%!%{JF2M wh4Iz)v".1C-e{u ! if'L ( 7pBwH]!^NV>3!<}'+<"mP pCf _ˑn}h5:Edg9lM|ߨČij<*,TM{mbXղgt+4 %.f5Uj/|t yHڸ7'0eGHv?}PD&TaP;Pz2"Ò[%%lO@sW/ԭS~^ { ;-n\ %ӌSEy)ƄY`|N!Z{sl;K|ά2kiDeU<ɰD$l_Y1/~2-ҺVW{LڿggBhNt$)pњ敆2""{ k> mW>l/R-SFn~(aN!Z6ND0o@I-p9\[^5wp.;ͬBXZQ<:$NmVO"ouԵ/,1$=QUגSg= s8+hOE#$IWB c=]qLyXby[bl^Ā3'P8AأF7\U"—ӣ;10E=orwlx3pO -gͲXz_Y;bi;X16Oƣ"so4b͟vÁaXB ;S CB͂1T]2yf]?!>Q]{vz6NPzrvPSXV{Xn(of,΃gbD7^4>C.5-ϟю|F˃;Z txXnA(K) y,Ae~krd|zf3=DADŬρ4L], 2؃WFJ.>n _`ً6@SoJ^ j5ɫzguLXs$pp"qwU\@.A?7ebo(zչb" @(dMZҎk͕ܢO0k6^3|4W(0,){ oZsJf$f89*e.dUuVQ%/yVc>?L,~J^"W5'"9Pr?x鈯ewhr)xküv״ɬO)55h.xnJV J-QNQ^XtbȜ$59虱ġ僙&Q]n/֕s1FBhvHYj.gCd+4oI*)|%vZc7HZq%y2%AHO(*ݦ svIy>5Q$c|kugfD0 vpb@0 A< p&sO0N@1 <^&lTl=U!Vn0ɷsu;y,$'j8 %,A"RVoQ=*b<ߏV|k`~2 ٯTo ^M%[W,jvۗm,,c0˒舯m8Er?g͞=Cx3X_ߡT &%q>s?Nz,<͎ OyhzG{i^No |sZQ%ƚk=<µ[֌}tћek&D|A4n,%Įgΐv/PsJg?od5|O+xrՉJR4d8(W`u`4( `nC3]>S,SteC h7PHT|{P' O]zc"Ѝu=\6h{p+nk%.S/8l.kFs%>ժUjtȩɜCO) HYӅҢj:snf^Sg φ{7& E(5tt^W?=>VRHDY) [ UU}[-)0|bBxNt$YT19w%a>{1.d[rIpF8` _d%r0I~ҷAA~R>mLYq* 0~[{5@l=hr`䩆fj|I^+՘H>J갵ͤ:]9Brf@ 6y&X2:tR*Lkt41'oG+EHU\M[ g#+ 2,9#:YDǺf Fq:*&Nl}c{uMMqJ|G4Ř0`jP>4"LƸ=bxHzNL3?yS"i'iCжH2 <[w <^];2QRW.}=wI3V2ˌ[ik?*<#g8}Pzmny*iPCOλk!I#K@pZק%]2s~wBWc4 6dzLʙ%v48辀(W[u8rފiH?dF*iCPcyyzr>׫m" )&1"=؎/^{6бlJqE,D(h͂R ,,]1I29;N_I8NyKtOUBR?/p*ShH H5/ F\٧5$'%$t9_*aKwd㈨/wrr(8B³А.pGz%t)I]fcP啭''wB=~SaB_3W>jyvRX ig~؂`o? ࡦ7BHc2 Zs=SgǺgΎ[52r % (ʛb#s" W^Քo&_U}Rif6nD~5eW/:;c@"YzoczO|2u>c"6X>vt;ex<h.]j^J([tM  Xlbb-d?Vd9H% o5Kg7UH$=^ fRnu]_8(N˽`@\Jtd#Y+K͍ꔷ%1YKj#=3<_aM>ƻ,$pe,,&VUG(DPYXH)- Sȫ.)<*Ri&.:ahY ~'s#ҵ<6egQ c`PB%23[po7<~v[q@+! qCHDTPbQugiU]?LBfE/†`z38ΐL |Xҡ&n/H v.^$4Wp: aGf1x۔ CA !?c+h<\O>Г_iN3Y,s6S̲sW'11RRUmTbL毗̸ @BX󊿏4sKf'|S/ r>kPWE2+zEp*`Zݍam4ۄO.2#2iݸfP fV# 7' vГ%DP=&t[=* řֺa[gD9X̰KKPPY}S\v `PE8c YpK5ciBT?"oTRpG޹جUSԿka-F_?A =Ok}Y¬e%Y,c_+0TaRyBSu6p.q{!l+]@ܳ- :RN+>60qANy =xҺW6zls.jC\?>KQ_h7_`t nZ3tmp_<=۷Lpq-$xE֦(psF RU0YFÒ6U&Yu-$ stcꥇP]@ı:dwN^iBT%7 "+b\&a7"ZT{.B.f=\sd،P8SD/S3vHS)1 n"$iZȇG_ x$Wݕ.͇b2A^/d.FG@_ok"ktB=^5&^ئs;yt 9OeRDHjmp֋%NI;/~cź:g ]v꜑'!-y꽛hMZSUsA:cncZ`zv[$u֏{Wh^~=LP Vim& ywO`{V zCWRDsTv<\73"Gӂ' tMu!FMztFQzMb=-?1I IX[ 19FqdG{旈/.6bc jx\bE:v%ƴX|hٟ=`?!{ rSpSRy FBc6ZGG$W[<< m&|J~۝q!`a"gH|ԤeF?1b‰L,6} #.C%16wBBQH cAof\&KÏ/qE3} m'VYZ~{ة$it1u6st$ce1QYO,aҍtKa뷧>m 4Dz~0y;ҐRgI@OBǡ ^*+AK{P#1RM(w$1/,7;1ܾY42R2?m'Zlp_מD=Fva%L!ybgp *-*9 ƒsz4ZVbG[EZu?m.'eSvh#`v8e=d{W@+@?cc2WHxSJFs\i|donlQQdTj l{.`sQ tF8G+pCޗT6wx]?t&ltI;sK풶ܬ4g{5ymutgj` ,=xO+~mqts"i3ZݣR)eޭ#}&QQ0ȵ $c9iTyjNQeOXۺ/ #O_"o4֭/R#}yb;D:i]LH&;wea`u BDCo'IohܧBcjܵU&L6IVbXmn tVjL5m6n4ƮȾ] J;"= ͌ jy5o׻c@$FR9lvYj-b4UxmVÅu(M Xy߈i38D@^#TԿ@7O@@Xԃ'K핸'``<MD7IGh܅h!M'j=T *w5H(s}u+88k&11 v˛ bi6:5yמ3%'K<5>݅l8[i@=_ 8?&9W5zTG.FMZC$gs]]rIUZwПM3˨ҐYX&m;b]Ng{U͑G8fWR#|ډl6s>KxLa:#GϲL%"VH cagrjV4B+5ʖP_<6F +[[& "R z m ~G.Lmقq[=6^M+観UCf_bx7$#A,DKYq5b$WZT8S;v("TAdvg5Ba*ՐҲU} ڰVo\5<)3S-.Î" H~Z`Ar֠􍒘Ca_V#];kTՆx 9 KlxgC7jP&=|&&cyNi.vRh {# Em hX2_[(M bc@KNf#aF),wGVWhs7vˇ*GF}KuI}~zqvv_5?H(D\y`oÛ3WLlƊe]}<,:dqJP槡q3rzªNh:S%OkphHZ~71dֶ%u'~xੈkagcJRRwL14Vg6|6۶kC 2,ZQZjsCEC߽?҃*[V1W[ گ&0%[=lH4 .bV:‹[f" i?҉,؄l a6KKrFPP΂y4.mD}!T t/7YKm*/43vr*y zk)U}1/$EK-6=wFdp{o!GR*toHc `+;ǡ \Y( %Pcq݃;Oe cǞCԑ:q^p!x dQHl-izµ6x=%&>͎%ַJr$(Eu.bb!S!;W!!3COZhj'| zlA3t|N_tL%3AސKtR.ә˟3iNْ,t,]oYoe@ɟo!v7u%  S3,E<РK7hGH[ w3E&"uf-VR 6{#To,\ Rit .9g6^MHK0ׄQ|w%ŦyO먟pp\E3oB*ya}VBŲn "5MUX#g 8[ֳ"4jfiJ(gV:7ʍT% OU{_&tg1rI|{܈7guOe׿B ج&ql-[Qxec8 a/|Eb4ّ( ?LdIφ@!E2Ylmbg5G'MWH {ۆ ^U@xx(vX ֭gTgASEܨ i-K-1,iM-4 + 5.}Ǩ}L)-r)i%A,wK{:ؿ+a GFZeia6"m> ;%,; lV?+%0Ό3(sy?eWDYWCp-GucaAe.ϟSn&y@ \fpqg2^*}\{ѻulX%eWs RXTȓGC7ku?YDC/s.V~I2%+Fk)ewZHF6_,`v/W݋L- k= ~FIz LQq\KAt@gpcS͙C-îf8:0h( ^%uw)PrV̼UgYZ gg 3 /# DZF-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Ɠ跬kfuK30]$G n"1Sl9" |"#E &p&h84T2OUKՋNSLɺ+- QV9S6AF gEg,Ѵ sQ(h;6qkH?]16%)B,r؉u>Uၽ*QU;ˎ NW*=C>lOL?+ }ihGEqZ)aBe9۳Gp(F>I\V4O% ЈƘEvt|͠$?x}1Cad+r7)-!f͑~/ )lJſ !N+sŞ Y@NswWQ=oӂk2=5^PECi@ŋY˼O#j̴&Xd,ۛk_>g'[]aWKJ&=CaS*`BD(,j <\tETwİ Qi=*=@<- *:jHaB<JHh^Dt䯇m7-GIlx>ƻ$`~bP!N/BA:ZQ$$ YA:t6usxhb%O/V 5,!?Iǭ{G9lBCf@>f#oRbkCu6>x&}f?08%ȳ8!fZϞ;adM1 #N6u=rɔd։4iW@daU~R z]`pSŎF>?B5_,އ(e*'*r>,LY6~bn#W{dZ՘Ͷ讥ae\7|•Q&z?pv -f28hpݣ3-[ S|=gy:Ny?^#tUڣO>XS~*pʤ`6Yzh%2Ȱ piJW3KεymraxK7Ds$ `oMx͙/z-\u8YMv}|_+ڳQ@GB~F;f,"T'a =FbebT]]NZMwקp.ܮ}9Lŭ}ȉY׃DoYduژ%bxS.x$Zjh;6Zж^J~;(/[("  =g رѢGT^lψNbjY72w> j6ѐhEjXX yl89NZѕć&Z^{ :gϸUcC1eFD2`")i1:Bc ;ʏ:{GcE,$D 9^bꖞl|7l5_kJ{%A8IL#5YXua ZN$nMqdZ8uMy&ڙ2G}gǥw[R_~6(NLhJv 4i&>~ŸxF\83GX+QdCTr@xT|f$sB郕kݨ\+*qW^&a4oSBIqjcYU9yLaOwE8@qQ5l%{DQ0Xfmy=GJ]c,މC{r|7-ٶrhbʋͅX ٠ClH$M[oҎB gUO)f!LƵ ٭qWB"ag5]Yh(De-5_}6}xx,iR ZGtK5[ʖy/#ӷzS'`4?.m`9K/ڲ,nn֯z;]{)*cJvyf9|(bbAC!=z#&Ihe[&z;c"V@'ipO'à3yDm"\5㊶9Nk=ӸdN]vcȟ< vEEV]bs.8wqb٣1" #1'/T {3q`IFg1)\]܀oG鍑+!ȅA&61 z@n=Ī_@gy)%f`9񨯕2laQn nf?Ay>_{?:cPKbտ;7u2cݿn,IEJyL+=k ‡-y2ez.-Q1]G+' \YD.ga`[O7(G`yd*Ch ϟ} vZ%b Xw>o@!v7-w5[E f' v#Ȉs܌2ؤ"ex:޴8p3-sg./>-z#UlW ,Aź2HTb5ͷr 뚅}(^PWIkGj4D]`ߔpyZ=ZB`Gyן[Awu@tH |ƖT{Py|!4\2: KeSEnYd;= (9Ƹ8:Zsc/ȺIr{ӹ"/ $k?bq\*Aso!$d!`k3Dd|lb:#N<16AH%bL2:Lheo/hR[eAFA4_d.4"<ȳF^M:A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112/4/' ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N=]·Iq n[:|&[z|!-:6܀pz\9-i~We;]3U!,8 Yݭmv[qjċNa`R'C_ʘ%P?Mn["ۺKUm"5|A,+PNf<Mi‘X2`sl&I2ד9s 댞#̎DK1|cfOAѠ"bnx%w4pnϧD ~<|lY0[Ej$"eQfH[sALtnDE(rcRKvR-7?I\.#[4rhL&-I!$m%zBapK`?ޯM+-:d:Ri/M^&aad߬?\>[ŠPҘ*:=U0ڋ3UFΓ8 m w -3"eHϭrz#m0wlWT YȒ"\q(%lոG?n@NM$y1nXTxoE̗E֖"c?=U͎cG@ 'yf δ#KW()) 0GfUj fqzrZ6#5zGSD|!].7y牰9!$hbY9711xa~aJƝ-{/f57qPz8߂ȣq vSҳz24]7Yhs8>ă^!q !e=l[ܻ̦ !*uƑprǏɿV.'RP²p6P%Bg)jx]CBB={ڝ-cgYZ;2]$gZH2 492a?hjՐ<*0_ӻwYlQ3e0P 1^"N71KՒT%h9+7[!4-k5ޯz60l>d`9dm40?xm^ϪeGSqr8Q7Jc\ŕf"DyO*9ndonUiornp3.2:e5s=9}Q'd瀰jTȘvqceL󆅚X:O" ^{BՂ/ܬ%DZlIŠyy%oP1.L1X2p~sp̐fq&9)ǎP{K'C3ZnR*5mpybeM5gn> K={c SL >a)FWy3FKx5oT苆K=x5R ']\ᯫ&EVooB&} y,WqfD':[[^"+ wB%pqY 1-#f]X\9?a)nQ|0b|xRZFBՃ;r4 z=#hƂcN1NlP6yhѝVe5 sZawX xEz+ 㞜GQZS $?~k!@S@WpLg]W^h#;[?@  'uY뷼s gwH=߼:A3*>JVg[oO·N<~$r?9BoM˙9芖#)I6n3(ʫ^arA6; Iv^͛\I nکL9%-2oUڷܞ+qP5֌i1Vf#طi(]koaQG>\+ |Duk6R#3*rŧP$٘O(!GPı@Lr0cC:-oǴGWZMO)njP9~Ol^;f vL<.`՞$[j4 ;mjbazPzF$i)wV)yN98}*;>XTDNy(~_~V!JoB WaYD7z##BEz#O Ju(`cl`XŋJy>nPk}kvi4@LI\!$S=L;EiI0Pn `sT­TfW`}W|-)6BǛ uSdl /KVAGpƦ8Zʂ?wad%@>)_:eFQBU,uTpR{~C$ff3DQ< =&>5hIé?U&}:5=2mW'0GV~͉3M[h bXKYLq?JףG.Y 9B0Ϛhc4C:B`BoZsz{Y?8bN['&^=_'Du0>ۢd|WY#QȨ"L.Ae;7z'}^ABSU??k$HBwf%eV- դ'/5H v P6Si:U 1( N9 B"z WHZ\dᅎhu9ǘcb$Bڞx]pT EtA϶t ŤzIaM4*Ay֯;+_̔o*$;ܳ/voChJ/<a.YuʲI %;'̴P-,kXP9ňGf4؂w)/M'tZe-c̾6Ѯ2|ȏ_brY pS(9]7N7__ʃT= % #p!muCD4N~ NКD4'w),%ƧGWXL ~arٹ!Wrv#Mz'JNcw68~ьuE9VLC\=E1G|C@ IjaާH@dmJϒ3X j`? ǽEqMU ,ʶ1W'/'Ҭq®t3p="8}9`te*skW!%B%ufqVSGg1͛~2W1:)?!ɋx?b+5!z$h05]nMB !Qf E(rݷG~@ >q;!7 ,{7RW]A~"52^,AeuwҶf;_Q!vs9)7s˛ 2b>{'  0<9Nj/6s2l#B绞Ϲ&;)  f|/|! :#7ʤ$QGH"/_a0 (jw/Tq ޔ[vXMKp5_V7YzW=U弿 YG+|ɵoz#KŃz#ՂͺY2qمul]̈́ ! Nk.Cl)-<&acSݜS?ᵡ*`< a-<х!g:ۗ} 3 >EL̹ tRh\6t|dHu 2pH4%z%Q+TrFGz%!1849jI1TdnHX(Eyܾ0:hp*mD\|<76A|~0h:dRɡ `8buK-]+xa0cUB,KaQOElivr4.2i_:C1LnGcE>sdz56"9-\њFSPN]cQqM!C5ZK@ A<(ܳ]$fb_ί3DL$7QXlܓNu196>񀧣D/WƘ5R*2SQc1Uԭi1W*eSSeÅomU3 0%*Ai'BH1ιB; OCEܨ= uv z?Ėa-kvvlو8~n4o!/m>jܚƭLѣCd(<Q~frU['@' 7D2pV&qg 0$6apxܷZ KsGڨrU:vA@Q-Sa N[< KDH8`YkΑ`;3K)%"bGTl_c>]0`HXlecK*rv(i,x:CMfZUaʼ=g"Wo] )6Kz zMLs4eW.:st"9-~#.DJh`Ñ}ϕE&s!YբZ3՗ LuB@k?u&WD}腹LZہ_A -&KB'(Dİ&Ng_unX$D"mEU\.|/7hobacH&I9j?C0u*]~ŬU)ScwwYV_>mXr@}7aͣ< s+L@dxSQEI!& otlȰ`d%<'^<\)=v+h H9;Aݤ.X#㦤sMV32pʃ8Xw]-,+ǜ}j@쵨:OPx睏DVW}O!MeTM}/ YUngk;S3|iO+2Ho$4,6v{u"=Jt`m8'@z$ Zd=;jNteepƄ^Et R] lFT4"!Ya|w`#=g\J.J)چR[(8s,A8^4%Χ=Y:!T1W|)f6fD `ewByjJ9{\_mYN~)'nuI8ĉ N#]z/EpzAgdݍy:NRp*ɻO(UO-O3"lJdj}F1v)s$ng K#-҂@ɕJЕ +MIzšZgy\3{Zo {q 'rL0y*YhkeX iAч;Izc[zJw {C=!Z.Ux=} (}݌w25c Dn֥/'ڑj.U# B *&8` LM.Lܼ UEOjt?{GKC^=N(wEWr9^F 9˼xlыZ7if]2=Nyvä/"C4h+~ML:APq!Ny1aZyF y'w@BE{D8Z"D\9ӷ3;BpiE/8SnU^r0 bPWy_ rHluV&hI`xީN![.͠ՐhbH*-*KL6?7"^w? ZPbeuI`MKkJ[tv7M@=Ԗ`?0⹡Y7tEW^./ɠxc w,iꒃSiaE,F8;V{׮AvQ4J&Xf\9S^˷k؟5sw!mJGP,XXm*~Zn鯐d!"sȻ4=,o;\]M0)ʢ$^d&\0XIQ _vM'}[CI|fwՕ]ͳ҄@tNU9,9Sͱ |$ ZrTd)*ωa\0QzSY*XgzZgɽI2$+Iś7e?1ZX}[fD#(ֻVQAU,9J#Gسm0)\'z|^> BLtUk݁r3gkdҌh.W8ias?\8r@~} (*Ƥ0^Zj|ٶ/qL3jj\Sw1qGy5AiQơA26f4| Tn ]fz%yF߿YBH 3]#Gz69R&T\a8;0B]0;;9Utɥ[cxr1w# 4tR5ߑ#s]ts^rF:E^eоo5/+ ]^Qݩtes%#O^a#M'E-5>b'EM|&W6DYBY?To\hT0 _DKs˳د "C6xЀ1 3 Xb`iF8P~AO>Yh8)Z_>iŏ /O ssiˇO0%!YY HT ̋b 2;jiWCrn'ߙ~4IN6|rLX[4IsL \ХI'*$jH#U~3jF|\9fj}#W[GlOB]i|"oKmJS2`QgYZ YC:+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy29+-ZF-InductZF-Induct.NtreePIDE/document_id104p8)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}EcKK'L?`J.=$k@5CxZfAKEywV'ɴZq\H>/t=ɊzaǻX#Z˓X}Q5 NMc[(jM*,UvFHf+=f("ukqyi 'bZ3,P_H _U~)ÄփG?Lu. c1hj O(gYZ8¾>qQB,kUK D=Pr asЮ gYg}pl򖑿Sއs|$?9ίpaՋd"gt@4ܪ]IS =8~:!ߺvbcU(<b 6 U?뇶B%6 tU7:m4g>{qZҭ[Jv,qD=gUwD~sk9m.F#bF1x'`'x?J\^*&VoX]a!WK^Y_lG ALw??g.A5|3bs=U>#1?(%MOOc_EK3TDܑܶrd-+0.Tlƚ_8q{+X?Hۀ}1'v;4e TejM1bw끀9#t>R;MSECKogȀ-E-_m2^%Ic2֏:e}gcTMI(6:Vtu`{l|dYt-,5E7S[A[ă~rp 몘D'Mc&>ZËW~_kĩ W&dϟxL/v)}|ž|ѸnWﯿOGm+%_fdYCۅ%ycS us~^v.tjdRk"舐\0W$ސs@7MŹ~._=)ؠO@lRSpP-l0ϫ Rc9Sc#AwkLfrAE+2? qyoW-HRv{e˛@$L;sx,j:Wȍ+ק_yI7I$' KYPv%L2#iȱ*ӱE}QƷ;iѓ=W0DҰR+l®SCKwLEp4P6AIYF z _02h.tX;iJ! "ֶ(&~k3%̹гfkIyI/_ \8 "4xxw9kйfhzR0XDI@ܖ/.b}GH mf_;E9A'6Zuu|YA#9b,h=:<&:H/ۜEW~`҄'d1hj+HE/(W AzC0#F=:W&x?v(j,ݢVKh:Ca75@|(iK FOxS/`:Y{6; qԾx(޹rr11FGd=+oJ b2aE˂PaX3Si8+xvvC4I@ 6"|?/mA*JfQGu)܍^k|ib]{p,GMqaz\W)ިd.H1/wNvi֣'(,NL?6e&n|{fG1 "r' 7,g!/G49 +u`xȥLZL2wՓ=sTY8{<"73وInr!gtj}$.;b AH;|ùQWy.v(.rM-EClٚ*#4㋙#jt1^a31 `E"\Qgym@:>}pCahClQ4J6 " P%-? 'd]]l !adb@ܽ|(lu6 !=L]XrJ c^,/ b־>|^2l9p^U*hռUm^l]4p|WRI37n87- QgX׬<u0KR-K ?u.bw'MR}L AUp 7&QVfuo5\{ LwJj%RcFІ z' 35o6LE|(.#0hw֏1۲'& lD-<؍这$xn; E:G,D%l !I}.Osq @vGzHx_ ?lCAqXg咅7s<\Z-jb~Rt^c/#-Î}4EpĪl7^`w׏vY@p@ 봹9Z-emi'Uěg1%lFbg&,7e}YATnoH1$MiI+|$P&)y8a0VO"hcrzcWӹiA&"Wm]"Y]WR/))mLˮ8XvŁ#r1SkuSa5)j\W)b %8 a8gNQ<Ǎ+Lui@TSItҨCnUgv"j= -eڌѧ~~z3m(k%yke%q}J>L,H#YENҧgJjbFnfv!U҉I"ahJ _ÿ?;XK X_U9Pm|7,&ƒ̪9RG!+ @#IiPA Rnxr^kFkK=YMq8"䮃|VąntD,f =<87KRJ'kvlҶ94D1"1=]XAz٦ '$TF9W ĸ&$S~J؅EtJc ~..}\gDkRKzzj*WiaNX 68Uܷ #'H Vu%EM%[yb^ls, ڟdyB-Pp£7DN5)4 ɺ+2 ]U1 ,Zb"I^7EQIRpɇ+(*P>1+)f%7 ;8/[OZn{^墀DE~/q)f zwN.FcT鉿|ayKvlTe1c BxpoY#6AFt!_%-J[m냦E r>ղhb} Fxͽ92K@k:HGb=HuoCh4 @ CbD@q֮wEi5ioLԁags[lñG@|D{T݃9d }&_-b$xuPGGgR3Tx'عD _"GG9Fou2xzɻ^}1XXvNhWXmGc 볛}Z| +wuU*r!|g̊GbE@Vri4`Z i.N pU jmuP^ytCe = r$7d1{ob,5nH"`$?,UMWf|i٘o9Ngq%&͐5z.@&kcz_6z6xR.4 y77xv 4@lJ[NJӬ(ޡn%xJg*2 Jʟo׏%'@^R HXGDʂ@]מsTzZto=S'ViBZ)ltL/H)+va3'RZ#P]&V/ڭf M%wR=ni]IXG=.g+6ke+8D`|%W$@i^z Ϭg0V tN'"YǢ/BXJXn !i7E`8Ve!?lI~lMsۇ: ] ͵G6[rխ~!Y*R$N&%@Kv_,4Gxڑ`,@%68Upтa5_@_MِaGPgG_%-PΠ4? z#H6t6BeiL.7Ku JĚ.sT~N 朗ѷ' 2=Ԍȅ(\4}!,K>:!OQC R?<.粋L$LR*F)AZAQŜMc;Ǚjyy7b̐w2HC%W]w1s1!=nFLllETg;bDrHV$-8OWPiZsޅT* o|+!=M1_ m`$V($ŻZ|UԖ/i=5kCƥWJK_tAಛ6֩jN,P/R䒆bA!oI>ͩ\ {9,Q.C7.f+qdJ|p \V[dfi걫̊U4sB!c QK_ HSζZ{7eDꭴvZrUFd[;]IT:^UOm߫@3GÍYD)r~\:ג1j=!(pA(aDR_`vNBU+1%^~7>F8Jaw;X;|=J儙mV@&\CѴW˄#ḄwPm5tv"د|ͨ3/KMT1a޺U`{:)pOe_717Șt00J-ۇZ/8<=:(ByDurZw3u"PVVGvHAT眛XDc)icIB1&`$t{2tԣ<91 +>ŏꂲ3DҾ=  L  ,`#C )# |ZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&e軃:Caa a]t~$km琅 p˺9Iy̎0kD*>k`udSR{ҎAI]7NSo@Bʹ)Fj=rg#7qxBAD/ǻNO 8T|&i (Zv5-j{ rţ!Rb!Xۈ`a`zh:\$jEvKǸuՆsnmV>`*` dӯ mUBQ b)9eT/gx{DiC;$E/ Qs 呪*kE0G8}J;7T΀/r^|u%Qlm"k=,iȮy;vT\hiؾ?"aWGd 82,qMZvCKLVG$SKlp}0IooIqJDf7Mܪ3BAB)!>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[:|&[z+O@%pp;iv=bp;PxTpˈ²S&@7የVO'Aߴr]l@߼BeU]I!2rL\'d<5[5D,]Y~5&Vō YRX:M@Nj­h?KH缑vlu)²u/!1}X [6LiݪgduF-*M#b]S:o6<A VM5H[I|I ^3_B^ 9>e~;sO$–%LoEvOoqujm2c 4AƓ%aétDo*P~puMᄢ ͭƄJ"*YF5?ѷ ǷvKM)3S V2gTVZj>J9yKu;KԂkT$:/JJξ:/BőeA/E`RDye62xBߴ )TuzaowCf@k1A(z--LJH~ϒ>)MY/Fqu;FS/-e"Aw%MQig0rKOa݅ Qv6HfXՈE Sn#hGv7wo"Ph('A$;4/i@Ay%=mR))p>t8/ hpf^6T%>ϰ2-qo9oqC L /p(U9M̛؟1+#ń&1@XaVr TW!;ddu[Ni^,x;kh_< k1WձeLd6+zOЃeW?h$ϩ:s@l}We m˝t#4qGFn<O!'ZxQtQ/+ 3[U$.^hfUBHQrTfgYZ? 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βҦZ2md--20TRU6nͯ|PbD5_cv>2R۴&(ߒ!Mr CNfF3D~~8EXѾr^t{Ypl+wَDuC3ѮƘouN|cmS+bC>Am/ާ[xM~-^oC ;DVpc뛴pZ7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1141<+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! B]·Iq n[:|&[zA'cZ-y\"?dŁ瀒C3͠i=Ɉ4!jKazjMkYMCj&7`ik`4qV2z!cSh BdKprY-hxͰr{GcblWELcvN:GR -;͋7u øΠWVM?HuK#$ αGdǘ,N4uV3z nLd~jlo)]%T5'yCĊ`˱Qw "k=`wf8ť4\K(qǷŔh2K2 0Z`;iA~x.S3H_)^x~ RMţ~ };4T=T'q㲩,n#~1Ln@sH|tq܉O K Mz}L0a蚴*i}k!9]ez3̃*(|/8_Jtؿ^ęw~qC/')"*W.[m Mۄް(#Yu^ZTB1*rt:!Fւg$OLKh-=*z<:Lm ѐ %Y O;U5tĿ9|w oKH9mA) r/*w1pd?8֣d‹MY#t5Ҭ].ӐhuQ_NNffuk[ܢ_W@ Ծ[Mҷ0^$ D^D@~MXة)agYZAJ3GñR1$mPt70dQ9c~Lsy&?ÊjXo|i8.yrgg_H'џkF%56짏b ]vtamP@?x4I5JޜHjMM6AຊbQ:JK򛳡3 xhyw!G(d"[pd uXi1jYG@Vǡ]5#KcImD4AjljW| J0ĝP׮aGaV jFv`liT9" ۠uNA.gBh5h*Z2B'rufI8ˤBi0̑* S6m_~ `tY~p`lڇuf4H#n²i^Z+_W^]ޓ Xsq69ݠ%Ť#AY45>7juҖ "2&y?umSg(VQSGNh92#4e!/>2!ucsՇ 2΁DTDyeFG9P3$S ˋ#oE/%LR_i2UgDF( $/˾,[#Ym(%UHDIh6 Ƴ!2k7%Ih\Xy"d7a bR=$80&ŀ+Ra EDgf -ؐ8oA9Q7;ƃ\JHFgK| 5kpYV1[ÐLbh54jfErݶ%6 ?!JjuxB yPDxjcCSrqr MDCǝ)q*SƁI%qf ~-ˬ}=1ሸ;O_LU흰b~& m--Ұ8 c Y{`j&?˽5m' /]e#&X<7 8JiZ:dF-|H֚]HI~(B)6s-sX0uO(ɴŵ U5 Tg8}p1_r<-@dLOX AALb.ZD. PZyf K*u3L}G~ p`a_D} DH3GmJ/˰0=a3Ї`HnmǨ a3J2]hamwu5INL#̺I)ꄬpe-ь1t{*YQ1CQ&䒤KRjR2 CyGS(*fk_@->B 'Zwv# *$̉ %i=,jMN$S BB~2%hxnX mڸK: 'c=x(=`?+~xz^%M_U+"(@PؘR4ȋZ I=n%6$38BgNy,+cf┳,jksqW%H? ž!TR?I_A7¤FZ&@)tXEA\\#\42_jJ;Bmg"-n[&q`v MQN}(nˀ` "yzVȘATf(J#;7 ڗlf)l [!6 jycRqvV!Ƨ4QD4tӲ pVb L ;`2 !X!hWJw6zXm2Y.^9&ߴK=+3Ҝ6+*9AĨ/N^bR/i׭MYlY r?(w`lH3qiJo߅N<8uBW ZUAE!^cM[9yUBşAZщ;s\b=ۯp2@Ao72ӧ8>IоRCqYX'B~;; O&&.KO:S'q7-ж QFK,ӓ}Ckax*D D.r+Z䛫VC_U W(΂V+x6 4"  L̪N 1VD3Se#:h5^T0ȡ#w6q_+zFd$me%'z*^G<Sӌ6rgQyMSLĉو|8 P]߆b_L-LAK$'T}Yވؗ[Ͱ{¤V J] rru+c@mA# Xb8,*ASey~"?ϭk:R:݉/e`bXPPE" ƥ/F:-W_Kw/-Vs&[Ԍi F?.4\aDZ=bUJc.mmy ZoQE $B=u-s}0aEtm[g lד.H'ma>-Suޙ\-Xqe? / EooD o߰BBq1*|"giY* i?4[@Me#oQf(v̚c̮LhfyE%AX.3Tz1? %/U,5ä Chj,c}QY%3NVEh ˚<"YK * 2HI; /PĄjuD?GYp=MPL0o_[t8Cڈ@-{wW\KDs-7ٌK8,7Qq+{]_EfZQ&Q[Jc7hwyg[GXqbg b}2D6yg_4bz-8r2;nlX \/"ۏQ^HRРC,9qIKaOgX* 9N;(Ryxr\wHvv@n'GUr;rՅz`h=ipL8me?8!|8' kp8C>z>%4B=_pp%O0؏X;+-955[uWXmUQcv448n^xS2M/KE%N@VmEr%˸ʋOz-FwIδ3^ hI* Lj?ZI?`JZ<:N ,*"pOkKGۋ/Ϟz+)([[Yȕɨ%g,\q_YrН6>XI63{W `U͛C~c;C :1 '/fFn'BBu Z(ɬxTNuCUc9.]loE\޸Uovҧbr}I̕S=A Bν<~Hd:k&H\~[ &5kU\d4vx*v-]?WƐ؅/UTD)bOG(-^.=zXp11΅h}u P0R4z4V˯ =IA;t1H{fT Zؕ86+HwJkAC7A?f_4dt;ݧ r\ae]2- ,TZI$!*nieyEa >8Kc9c_ 2HJws[*H{PLݒj, .D]1ޜfʺKSz&{}<<b08Hs ^dS8:_+t)fR\ΜD͓-m qbN-)sK2PH9\ l`M1d0;c^cb$ 'JW8tk 7hu "Y7c)fYhn,D\'# ;:K I Q UU2 .wmiVDhIֹ[[Sl)# yTq/J 1Ac%880'r\jVfh%׬VE]SR==Fv61 0g*90Qe_d$@O+ x#\0ڪF-_zTS[@Eѳ*+W`gc\ahq)-i>JQejEAP=I̾YejԾpA_Yh5R͋8S+nB -yarwT.2>^l_sBiN],rSۇ}]y%XY:$g]+i쀏hFnh9G ӣK@Md]t@1N.΍nh~ʂ&X2> ץ7*^Xg C13ل=)Jgd$~a z&峿_wQōb6-TfU*mc/_ ΰMWZjy-Q}}NmkG"ķLvfWD~.PvP0q+/vz N{c1F_waSN +%8Yp(F|qSLeK G`,lߖAz"^oѠ4Lل~ěn/>cj\6&jT!&fA z*2 '_n,0Z2XoU.5ETy%m+}nkN:טe௵pAVOY ؄9ԐP ˘l m @ad.w)I&2L>[XMBi(@|PT~kg7l{n 9Qm ~F>shRB~7%I/q\v/1jjSO @ 椡@q#.?pA92A;y&A`Erk i:m|?a 㼓<Tvx2Պ\}#O$#бRnz|ѡg/Z U6x(b*PnXS8-FAݦ2_)/+m0==>xGY{CS{TW96)9ofTꓪ@ԃ)80Fʐ,Gqi%}-T߃CE$ډo8 ,Va5:Z7L9'K2Lp N=^v YO^p5XrB၏ H bWV."!# 8Ij5w2DɬP߱gYZC~q5=lvKmfNӝOn]ͳ==VJt$[K|u-x}vhVx+7ѱ} _(|9 qLt3nZFY57s>{֔XT{Y< <. ʜ4 &9[i=:wcr`Ħ0XΣ!5 Fv3AW9{0,VY3މNlD?  癜D -x_[`#kl±R~^_a y5drQCpx YIM,Qn6C6=.$1WסhIptBhThwժx*\oRkROB~T"py#[lYfk3׉}JΆHwu pO'Mbt^ pc*9  ++/+d^ôud݃ \`1]3MnQV tZõi8xXH\w3{BTyB6G J:K50W~s$~b%Ԗg2 ԇyvף[+AC):8y~qkxxw.;"rMDs1PQ,\mVKgP#"Nb'/Z2,΁3PR"JGEq[V]!X[ V׹BKuR3X)xIHAn"Xoj's+I kSԚجRbZC]+~ %urhA&\a*-0W_D@𰞈a'np`010(N,"H0FئM-0t wu(fߡ 0 :awQwbRe2m1JM bc^G*Vn$(hn'Cq ;<q驏Z>;;]>>PֿSe3aҏ( dc&e3UI#AWZ7MQMj%+ #*8xwUeIMk~gڻR5`(PɈf*ZfH`AS9g~|`hϵp{)h#&˾z a-Ut͵@7dj,իz:,}m8`?.cXHc[LʤgGe5>#x[[ !fX ulf? 8y JObCW<" ښ`vuD6Az}7_zЌ8<-kaolB 2ܟ~xڪ):fo0i:߹`jJOݦH1A1)NO تm)X>/}4u"a-d3s?CO4e&u;2i>k cҏX-e_A_͎"ɤySX}])/;dL9g"hDgwq_Ç.|y- & 8{qVD|ElbΤ#6}~~)SMm:{Di9ې#"e-)n$YYS}fwW6tņҍStJsksSxվ8^B[Rxfn+eBSuj\yv+c>`ev/3; d쫭;9qcH,CSZdijnj$.lAw QfIvK0Ǽ:,Lvaf|3t,~Y~pa/Koں\)߻nqɞH9:hw]C|'6.B6Ov1zLyFՏP&uIPD&ŋXbԐf+/2 SX(M b &a7ɗlK<*D!ҵh'c&l2{L3 BOpG`-B&"t F?;`&}z2d櫐%BX)$`BOjSrޅkkOS`W t6A3cQ8Ǻ_.$ΤeC ΎkKtȉGCyrNL5e# 0,XH^8SeLtyW[kY|Md/60TVR^@MzX'Jq~TpW_LyFL?/vhPmק.ptJQԉyY?cјl'VKCzuZ{ JYG)bc_Ck`=&,V.;UJNl&KF_3VzpI( Jr& Nn5%@Ѳ(wIC97[\Ŧ4%?tRXfM3*\)~G!H"5F+"6uMH.CZ9G&LGGө{5R(fjxl{۲c'HmibR۽xֽ\ 7OjiwF75BQӺtrD?*g;{$sZ|Ԛ{CWjSֻ&qRѷf¥[K&rG[C7n^K1m8I &_<TsY&P[a-g9L^+7!TX<_l 4&?P_\P*e EG#a{ iNGw ;9x˿ұ9~/*"rSr4'jW?cl9V{%YۉL=Mk=N  c#đMC 1gDgPI+JxǬn=١(ob7+͏ܺ#FD+^M#T͌ѐDZ[X0PsC?O; #>( `LjuYd=T1昐>;uN#m^*GX b01'4p`R:a5!vFѷQ7_WL0F(rhG￴6xlcBf%SUC~QjQ \f?nA HZ49v0݃?֣E}p!g.WQ@KFx܏tı|%e 禐H1&/~ֹ*Li8GhjGWdc^O s`6^TNHc I*a>W0Lg5б$5A軷Ϧs%zKl$r.ȼDSޕ}SˬHqfygYޝA ҈Xt:wY֬8l(k2dѮiflP@0#m\yb HjrǺ5G$n<859X{`LEovwE*s]ӄ2<@҇m1%d|*Y(ZN{N ܎>H O |!c9Cup:n4*d?b9K`%2(Jtgjf6i&# bW JHf[Gre. dw Sbh.T'Q.b6Rp*!5jNk6B"0Ԩ"=uZrŠJnrb!ڿ uSrFPk,K](ݎ^j| qS~Z(kVnKVF_Jn_ҙj/Bc$Lpr,O-oBŲ9."݇Ty>Wf|\[od?{Ț3mR:TAQZwN$kKQqʑbE'GTNWvGp?-ß~eizT5l/Y Ę+;NMr}`xfm861 ̠OXXM= Hy4eVEΧփ2F퀇e3K<Nsޒeȗ4%H UjQ;|X-$)AC1WISB F\P8vȋpmm/9l$uyȬƐߢE;xlFs"U(Bt#-Iz+ZPbSx$T:FFsZ冠 q$ ٷ]J2XO`(gL7MJ=@vع_$a@_Ocމ [,?\_ _St*U6\Tw/UdZEf[J/]3i7ЉK34|ejD hĶQ"lvᰀso;X军l?;Ż}fJ=;3I#uG mml3MĜ嵅=^ #,ʁloaėS馀9GNyYt{;ݧ&e+|hLy9E:T@o{yQ SR1!}5+D@`ajζVYd }s hܔ՘I&wyyio-@uq穖ȗm@Za}[ZS=t{zDkP%l׀3te p/lYϟUw0F밿 !75?1== e~ӷǴiC#,7G;΁IJ3PC0G'A!{f? u0-M;ycı<} $ԓ]SQz©WQKقQY{cP` ^Z S7<2o#G@¶$C~!:BPh"ve͍S4lJ|)븡jo*_%zKgY;V$nS BIAru'%&DV_1i7s8"1b->FhP $T $Rn!|~ZیJC(FzzrgXjç"GSw.ż9ե%֋jŸ|5fCd:~L:Xo3mUk\Z\CqU-Nb]_BÔp)n/1|KHjw8̾hM}︐fBu{ƋmU'@$C=S\lofRN"Cj1*%-7$ZazEV u#P0Ș=i W21>C逥ESSz!"@bXu٬FEd ?B]+;bM 'Bhj6EQ2gYZ v %v?G'!k(IcebOW0cvvqYncy_Sf4'wC~jpcߩ d,H?W}(kKr3>V5.4]*kp|vwR˷ xOWSFg:t`Gܱ W"{=6 E5ٺ(0{0Ɵ#s#shWsu䱐4z%z`x~m01'C%.^0͖@]'=۲g⋽®uu[c 'T_%{H]Eji,J+Aw<+َwP)r׵.V{ p>6{@DR0D3ca?*`m,UAپet&F۬M~!"CԒQK>6+[`j/681kԗaaH*\pv)Rl2)ߩ[wڭ14ٮkj'!gb8ݘcLX|1a$mJi7bGH-[9]Y4-f@⡑}G*+Z%,`%*ͣo5Y}h 73#HƏ-!|@&fqBH[te^7o/0bή%W^5[-Bw{_z^$Fbxט%|zQ>Ǎ5_:@0_ҍgvAL \|e%pKq!,F/%Ty,j#.> Zf0MQاn>Nr>.*U*k)$|[=p(l##Vi?s%ĹYy/9"DA*6pia/!?-̨r)/ 5'v472D3NlU?x 7 CŻ&nm7 9(ru~sng>J9/hA- "d8Pw K@6{Hq-ӾA>}?h4aAj7S-O̿}"V1gY'ȥwW܏a?k_0A>Zj 'yPUm$S- %$w+o>^e{r!E vbh_U(+91*5&*~q= P|TL5܆&ߕ\_fcC*K4CunaNg|@" g±gYZ NN2K+-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ך/mD(d֥l/X-p;6=b Y_W܎V!ݳQb}H3mə[F;krP/=玌Ly=M r6~ _q0m'YS6 9Q5a[5>"Q:P N7ƈsFld_!r(gYZaH'# |ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  v]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗH%-@Vu}%9/v 3rԣY/uJE}N1?g;j?3P`_s͏hgÈ@ [B?%?$j$^nu0nÎNlp'R~tc&~SKjzy~'Z W(1ĭ*7Zu-be~›tobk>w-[LTuBBhqך!Jenσ n$ ȾUn_dXq6JLv ,Q ͔Û-W7EHZ>60Uf)&M [["r/!>l"~}o}fW]( rF- 6omb? Wq(fpfʾQ},{_/nڗǦ3,|]Tݻrp`54(n3XTZkm^\]dRK^&1MW*g4摽`@Uȋd0naIN5L;+r7gB<^⧛tcp/Mw CulA.~.t2Ԟ kKI[0U[bi+%İ}x4:#l` Ι_^L+d95ثU[jk\Dwk6,s8jA#&2IUX Wq:0wMjzҶ=p$8K9x.-Qrz,xVl;y[ꍦuQHߪs,-Ni)*2B;^NEֲĀE9Hwpﶦi(6Ճ]9 \]O ;WuKM^" $$*_1a[ȈD&l e*ݟ 6xED3s6s6!Q)&Er4swo1lt]$w=pzJHїw>~ ?J[Vb9KSVLq SUs3,@"y|!++dt:`-A>>-V2Zd[+le[7GWf/翃F:Sz/ gd#^dD$&_Z z^H9$< V+vfbf[˝3ֺcew#̸hvyK ;mzF5Nxݵ t3;JyR:"9G)S:Yt$ Z2]MU02o9UY1{T|?8jau]D>0Сš}Ҏ{$K*nZ:/BcؐhI&3\X]8(E&-CI*_PDC,zsг?dŇzj&W9,q7*LU_>7cܨdx[GQOY2(ب=dBI3cT*WoH5/aNEgBgap T+X pW U~|2&Wr$dNaiQ8)M`xd9J-m H]|:T /ĹԐdvj C'RlL+-́{uP3~{!փ<=en./H1"VzdV[h@u{^YlNH8@_3yr疶zE%@b;?J̋x Xa=O]E6Y&QQn-A/}CrSjZ!a=klGzB}|> *a"rf6Ѓs46GvLvv%1kݹ(Y#O^YU5 ٕwO#\oTH̀r!'MvT3 >u@ɽǾx0M#NsxE\r{cIm($%G+RF'ѝd/CҬAl,(~#Q! 9 M}Bpro9ݥ .f U m bo_*/V^TaE[xwխF8$eE5eᴳzTLgĐrfGsRԷCH<O5v=tApCA!K61@ *өlw ^̳"كr7}tQWyؠ[7 @aVdNWmW;1sj"pz2 _ʕiZ/ J%_;Ŏȗpr4.f CtJ0g*6\4^?&%EtH7k፝+4GSL+2"vYq8VL̫AB qWlZ)߲z4QRagXlH*vjz;~ȦP&t:T;69_Gz|W3/D_XjyFIj%WYT\{ԖMȬE0ucnwVbKt`@$U/+u3N9\<1}?I;֕Z.*_P3;آ-,@Ch*W~kA֦WG_ꪏaO([udRbfofZGY/՝]D!2iP9 B1(v 0~V>X[[VQ.Y`'1j>[RϘҷu~ma'8gYZ -- M+# LZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o ]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌D2()\V$P6jˢsArORcy'lшh;J$l?&ï@0t+.|Nor5Q Kj׋{~QO3nG墛#T@GPؠc1l[EtgCve2x/fZ.Iyi1Zk4 0f6ysCt9ǽn{ϱPo H3;?׉tFƘ1?KI,Y|$ AD .uXof4 Gv[=VNc@rsCP/MY#0(Zw.G cخLT&.L$9ԮO|hz'd |VP>TIj^uLTLX;`yzoڛ?D}I|f#*ZK@>TCrwݹ\76;=3݂yr1(rhOСuL]ὠ](oƱkװ;?hh ~z #8LG*8۱]4/omOhfYa//&Wԃ*K 1U *.;ب kt,‰;X+KBNLVh6M*zH\2|O֧ds?Hwb_S*n-rLS&Cz>tnPyNzo9]w@N'e!i00_8a<{f =r}˔:TC0P!u6uX"['ӜNg 0B&8x'/50^\abQԍoF pvͧ#%h/:!"HNj1R{NK*{K'L`@7*fXIl@c#FDqzʌ*﨟v/U:mX cme`T]&홴[4^1mg00zm## ڴ$ūg c <-fgZ8/'0r"Lm˖ lJo |"xAaӾ DZ=_.]󡰇ar4ן"cV4"\VS͛ `0pp#3%BpLv:i OဣWE`-ȜD(FZCpD-k[u3etd<@Kf Ǹ RYe9UGd$R4zDΡRM.5=*$BR,geN5=t^b3mQH Q UdK"Rcb*q| (6tjK>MS9j%AZGfWꓑ:jmGi& YX,q"RU*FaO_}Rv;0ky.@GR f é2/ Lɇ4v/O :/qJ?@ p22k&Y:8 XC`4w)b%hBjlEn`}ʳR3|Q3 ٍĠ?Efph*pVe:vfb/ME.kvwoݜ35JZzrqbobNL <$@`|H菘:Hޜo;p}0 }:Lޠ#B vsʲ[G]>Zr_Dh 6KՀA. [wK쏰16#B[;N|ZxLdRe Cž-KBRФK?8umC+hbyꢘ;j#7z R%dbԂ0K)܊1%>3jq!PГȪRxy'r" :h4S$=DpGjBN!Q~Z\ꀕdbZ' AvtdNo81F:gd=]9} 61(aZ>|}m pT{$󵙑岡 2(umFԅy $^I R-;ӄ~1A8:\"ot%?aM $2YX5f+LvX1bk9Ham(x0AйǑ͔?x#+9vԟ֙Ÿ\^1Z 7 l>1;x6q:0LsW};,%Ѵ/%^CI= spKfe3HϳŬkw {ڽsrgYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4 kWr՛=Z?K{ UQMH$1[jtB?DSL:لyD) -0Qψj B/Jqyr@_߱gYZ