SQLite format 3@ F.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ]r,T ]/]ZF-Induct:threads=6elapsed=3.651cpu=12.832gc=0.6727zXZִF! _]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0N-i&=N`2dYq#4.[XQ ?THj$nK*Չe"c WF)8Nq; :4p`$i3vn^`0LNaR~(6VٕBd#ax@tu01o5Qw`B~;i5-| BgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5f$/X^bH\H¿=s ѬY›8j}{ڤ3*9MDhyd"><r>Br6^Uҡj6Uz4JDhZڅaI]6;XE{SRnjTNTH1WbykgYZ7zXZִF! ]ŗXi%ytVQ'[0yE#_RCKḦr5 ^{t5T Me#6¥J Fa7hw[ʼ' NrB_[j5 K5h)+O!lDJ0,5>~*D>;Vth<ЯQOBqT4V+NUܵ˝,U?vs۳_a2!04܈;W`d3y0Bya7 }-,K~9O^i]ͣؔسf:7z, 2JNX2[}!ǕәJp% j'#fZLomJfZx~1*6nguU ]6& q}0q 7ؤ`Je>r-!7AU7\YȎ1yyk/jΞ'>5\_Νy홑$&[.>n53dFV:4dAW.\ }6'R7Ej\ L`{\s֯aIyk.邚f&C|VQJ1s#KN:6|xﻴ TS-mi"e*FúwR;qAbj5.[pMmY㠱*bdt `۪FChv ~o]h[_wS~J) h4sNW``%iqjS 3FC›xcqlHKeJo?*=nORw$qj@[i=!3}ՀzITif`/Io j4YtfS/s<41͛㝢FIh0|ZLU4=pOoqVmU+]M6G`R` vs7˱gYZ33f8cfa8c84cfd5d9cf051e43972117476469eaa957af7128c56069f82033b5e968057a2b85ba273 026021c0013bb9c6ef29d3bda06a0572820cbc5cf08ebad3864f67bb4966cb2997f13806fa0b88e1   ZF-InductBf/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,AL@H;D:<8;58241/0.%*#&"       O `Y f 3 0  ^+. u](Zc9 C ) | S ) ,M$   aT& u J |j:-/'ZF-InductZF-Induct.FoldSetPIDE/messagesO+/#ZF-InductZF-Induct.FoldSetPIDE/markupN*/!ZF-InductZF-Induct.FoldSetPIDE/filesM0/-ZF-InductZF-Induct.FoldSetPIDE/document_idL.'1ZF-InductZF-Induct.Accdocument/citationsK)''ZF-InductZF-Induct.AccPIDE/messagesJ''#ZF-InductZF-Induct.AccPIDE/markupI&'!ZF-InductZF-Induct.AccPIDE/filesH,'-ZF-InductZF-Induct.AccPIDE/document_idG/)1ZF-InductZF-Induct.Combdocument/citationsF*)'ZF-InductZF-Induct.CombPIDE/messagesE()#ZF-InductZF-Induct.CombPIDE/markupD')!ZF-InductZF-Induct.CombPIDE/filesC-)-ZF-InductZF-Induct.CombPIDE/document_idB17'ZF-InductZF-Induct.Tree_ForestPIDE/messagesA/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_id:*)'ZF-InductZF-Induct.TermPIDE/messages9()#ZF-InductZF-Induct.TermPIDE/markup8')!ZF-InductZF-Induct.TermPIDE/files7-)-ZF-InductZF-Induct.TermPIDE/document_id6-/'ZF-InductZF-Induct.PropLogPIDE/messages5+/#ZF-InductZF-Induct.PropLogPIDE/markup4*/!ZF-InductZF-Induct.PropLogPIDE/files30/-ZF-InductZF-Induct.PropLogPIDE/document_id20+1ZF-InductZF-Induct.ListNdocument/citations1++'ZF-InductZF-Induct.ListNPIDE/messages0)+#ZF-InductZF-Induct.ListNPIDE/markup/(+!ZF-InductZF-Induct.ListNPIDE/files..+-ZF-InductZF-Induct.ListNPIDE/document_id-.1'ZF-InductZF-Induct.MultisetPIDE/messages,,1#ZF-InductZF-Induct.MultisetPIDE/markup++1!ZF-InductZF-Induct.MultisetPIDE/files*11-ZF-InductZF-Induct.MultisetPIDE/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-/'ZF-InductZF-Induct.BrouwerPIDE/messages+/#ZF-InductZF-Induct.BrouwerPIDE/markup*/!ZF-InductZF-Induct.BrouwerPIDE/files0/-ZF-InductZF-Induct.BrouwerPIDE/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 >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.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   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 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{+(gYZbچ  0YH xאÀ[>;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[gYZ 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 m6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ Qj p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!gYZ 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?ܗ -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvHcy V ߳6g3ؔ= E _7d}&-w)v敁烊+mbQ =5$C7Eż4Qoڟ8H0 rE;%;bW qi>A*T $ NWD [v^k`W_c+.qX#Sjis!['b )zꗈɵ$'ZVɓfM4D;<Md')Jr$S`F ϙvA_zT#RV۠" Lğr1%{I"wvpHz2#JI_ .b.2ڬ\҉Cit '~pu*`/6vƨG1/<UOk^/%'&qM'Mc p*ӱnĕd~ϥ{q0xnM[tz.a$qҹV6}@7HnjHF'jXHr%Dς QdM JR$wH9|gr}ټuv(C,mxS:jt )dFWtZ0/ o+bt)W)`78pY)RYxd\ܿI]UJ컪⤁ӧSd$Dž E_w^OhȠA_n4%n>ܲ)㺖.X8sg,s tWs?Vq54*,1L0N hgBY1O1H䃵4Jmiaľ^)@7<肌-RXc5.Oc>hKT,\\3@T +e8i$qܻ(X|aG_z7eW9϶tpNWphh@[u=S֜qSce? u wj y; mrgYZ/5 LZF-InductZF-Induct.Brouwerdocument/Brouwer.tex7zXZִF! ?O]A-MՋhvG"uIBm5JGr4GaWW?t, ͛=T%VR#sCUp|@%gJwNM?.`8yZg`FnTZ ם3E|h¥j;9O;.g;Ƌs\jQW 9֠sBٮuQcϤӔyZ+墨Фva4̲43oO,,EJS tC+}wm|\e][5S֝?R98>{: C"J{L܄>ji0HgV61W?if9p{qPC7lEWa: i} -zi6q rF#}ȝ_T2 4[jmDbVl=˦j_u[98_XG:M.,PXr3s?UW?5U_▭þ<E%9 gL Gj cx!.V^m(-oZPoj;$!erayO A\w\u\7Yzj!AavrV6 H5ܓ8Mrƨ?tL &\(K%~9,×{Үdr)4LnnL)7Kt\ I!Bc%cMfaKcCOG^!YaYpm@/g`r=|'lYk)PW eICb@ q~ZQ!JA/ϧ(?[UValY;W/).V9uIG'!p,.t`29BU8"x#`;e)uwm!p-kbZ,{|"m_uvj xZƟ-h<\'6Q;8XѲѤp}{r-ffkDh&n/p)o: 3l]1@uUQ}vۥF2T+V>sϑ7WYY^"צ >~F݅FJ gVFP%H+Q}! jHX~W}M7 5$#wL&8 ћ.H.}Wk%zs8__[6BVO); QX= *=%p13wcGq{xR$’skKO-Ç˄K"Np Q0t:Ipj Nvx I+rr͌05"ˍ-EtgC$1L͗Ym>i(h, ڼ40+M#~܏ogYZ ;;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  x )/ 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~~gYZV +1 TZF-InductZF-Induct.ListNdocument/ListN.tex7zXZִF! 0]A-MՋhvG"uIBm5grp)yK9ذ`2;u _S 3VX1"i½;F2X+΃&j[cwsofw9X2@znR?~6Ϡ]ܯx3EO\a=4cJ1dg>xEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZ d 9? TZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex7zXZִF! o ]A-MՋhvG"uIBm5fa1MI[ta7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ 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?UeK72kps / ȚS {k?Nhg@rCͿ9C 0_I iD1kBRӚPq?= z%r-]:ҖYrXR3C&* ɇzܗ $vaDfS[~mi拴БsvP]>89"PIoϙw3^U35C!ܹ[m[ADp@PE_7Fx T}`qB=l OJHQ :qe܀W5ɘQgާ,08i&GTT۔\5v m](oš_iX(ܽ 95y]&ABMkg2tqf\&ï|4o,{b?HR/L; ?*kt|< %(lg,8in%VndM3[z W1u,!0F(yN¸"f`W\p4;C IW @IObrIILY☿^tf={-Rua$tݵm/-E$tŕnZ3؉斞ۜρhO}+إ+S, Qm]&o;(oZ3\&#K05{|yDaU{ru=exanV#qvK*\ި{a{:B]g[x+Io1L1.hq,²tqkX8L! KF x9I"M]ʬ&7[)4sZ42dX"ySOʞ|DMw**9/Ҿx)%)kvZ.h_W eճX8Oƃ#L|x~ )gNREൔ<dыXWlۗ0`卒1ȝtUs( Ru9;8ǯ۹hiAtZa+) 59YM \ʶ"qWH1̆Asx+7Xu$vkc'e3ܵӽNH ^&/Z9T@ ɪτoMl13h0ݩ*bf26k{k4EmIբ[CW߂}^9݀&b =kZ u >=T%]W(?2˘ƴ)Q϶p' X ! pcqcWjIV E7F7JWT߅*g-Zej; ( [.v=`S>|jA%#G! K"bXfeՐ# iT-u~5n1F6fJw?k9fH*8/%)LZlՒg ݉I,خw\Hu c[]Y uݱ[X ;WąvE#y.17񯷚+~5ͬBq-xncY>>d`GdfDz%Тq{8Z,rh291`1wnϙ`A."UQqt]n#ƥ ';?5 Hh_q6BSῈk"z@[ Bk4t0̘*B|YMA윈S>xMهf?z i#$)LRrz?`λuF'/{hˈ}<pn SSƜ_(v4Bi{(kнGUTS<))XH(cRc08-.^9oh>{0N]0 B Ζy䔱IwFU6uړw]!㧣tCGՇӀfA<}>kP״g2b*^ +d/ox80<,tڞKfGS˒E` EBY ZWMx/UD!E Mq#.j+ `\|' 0YxzˎcԊ,/>Ö[,q"SZJN״{ʌCq5ܛ*8Y;F?[<G$ZBV)='<#G6Ǖvjy9*^K^[r.uYk)tbc}J4zQ)[e8l:ipS\Ssn 䌨[ZdGD- |׃ zmg#iȩQh*7rNfq1GؓFa:! WTM3U1mY;Ǿ>7 ws9+4CVnJ rx%xn@ij3H7o/['t̍)\xXMIZѲh0qyf^uNIIz67|L'zq犸`ZxCM5G Z$]v@]CҸ (LFM8 E/5L+r5=25ERmℹQd|35xtsyH/3ypyGNط%z!Vt1Ǎ8Yr*K.݁>viA7 5Je?QLgqC?>fNU 8ڔ#Nqpz^'nPotquDf`/q{n$R:X [ng>^^Yi'CWDܸgK)<灇 RCP}Ҧ(7""h[568t.™G V0Nی {N/&IfKڬާw*zQvE[حmcߣ zi?̋oTjgYZ  b KPC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id102?/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GN]·Iq n[:|&[zٛK.dN}p~2~NX##ڞz,dFxz76~% M)g 8g+%a:z0Gc3yDဉ؜}oZ21JX)+2ʞ!HT-gYZE/# !@^~ж% 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\YdU[#ʏ3 G/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4/-ZF-InductZF-Induct.BrouwerPIDE/document_id116D/1.ZF-InductZF-Induct.Primrecdocument/citationsszasz93 mendelson3/' ZF-InductZF-Induct.PrimrecPIDE/messages7zXZִF! +]·Iq n[:|&[z|)% TY0#U6&MHb= %ĸYj gF4i2/8qXk4lG9 \pH%B_ׅl{Y VYȴ囲_^ i'#-߲Lq;zntlU&syUU~x#-֓ ynL_ꠓI@.`8#t^؋:e*%.:K2ұ:m#^9+36 ڹr@ڎ=(Ω1ҏO3c3ɮ\dJ\ _8**aԱXrC &p>3LXZh߃:p.RkȳJP,0 `-G$] J_C!KL])D"IgI=ڱॿtbsДZ\;./n[&SC*9 ITsY~M2;zʱ s9s9j0{{QԽe?L}_AceF<ވ*d÷I;Oc=ެ`Q~&Ðo~ 5&֔oGZVhM2KѸ2މ3fe1įy@ȭG=n8HY'cμe]IqښyP#А[rB"yMjjE7v۵Dkc!ٯ}ðf* joڱSRs i u~&z* v\Y+\عPniDjՖh]t#v%IEGTwNmƗ~U^iG#'ɲĔ..ma'u,])iwfxHŹˤ9HЈܠ)S&@Lco ߧHŹL05Ak%J/w\Na+oyM Qo.3 VclahfNJ[%#"U*k5N;WSEW޴1U9Gz)wpC0aqx]Z!=VIYⷘf+/Uy:0Ӌ_5>lJPftɅdyOs| LE=; [ `>pKC 8(<݈EvwDI0ByUٓ<R0$0f::+wnWiF;^ yZ:T:CF/BEwۅP&eT[ i _W!}Păt;nd|EcaY% %~ZIXdtB~[R"g Jz" 4f=O,y%*G@ -D"I+j_(Kא^7**ΰ[9!6H΢^SH^4R$CYTTVB%t8+GrN[LDKS:A\fl:!΀ `%,g.})+kUЬt֨wAxF"w9 V*ϐx[ TY7.&mRsSVR13p;t\[F0loXC!iTm{Jsq9?o0̟)#h^x 8CmL(5o]Ư GՋW@Q4*op^a7Uf?W۱Ye_cSx+FvOFȆ6QNK0ypr-f’ޝ%lu2ǮjU* L0<\z7(#!(྽ k&=~}CN0 O >:Z9^:$q5|ȃ"#8lBOے bEV>~BXbB$\)N]=3_q+**LC7 Q/[_&EHAݎ,HodS A-ZEY.!;fS?kMXiLȎ<|̯jlyco##b}rv3I$Ej-ҤEw J L] ybj%MfM] 9\d6@VͼdZ/SVJQTXWj֒&U7^<+ako Т[[&k@('}W6#!KhE C$M_åA[w5s YقQnd1AM[&/U@si(Dl?ڃn(jf$澧K!}rN8~0=%-~~  *9qf|v.ym$}/ $К518`4df;&aIzJ=VϟƓF8ePc sA91.+&hѯR"LCƎEqX63OqhXR/clH4nۑ]"jM6oNn}m2)QWWO_9a&)Kt .܀'c>/H2)vsym>{ qrgY)mHTYjcW-F%s׍eq؀ # zڄڮA`TɪV>50} O  G0+?39G :`5d#/@~` }Һ=a|6W C~*c0xiؕ-*#ClrF m8ffeA 0>1՛-(e1,d`ėw?nЕ,76}!$J0@B@$Ϸ(y.D}b閭ܔ(":&ǃ-sאzi:^. 3B_VOnc+,Of܄93r:RP 0DSM6%SoG#?W,Yn;փU܄@vr${g6XLtYGQɤ9"aBL%Ĺrjc_ӎ߭r%Z9҂, 'rTgqߞO&k]+x-=!Z]L{YWLZFAB^d&vV"6F5ku,d M}C{{98bvei6ȹIG7siqOwqg@5Ithw\ N.[dy <,"%ݟ/Eu#/JZ: OR ?5.p΅@V3:5~b9 I*ti~1>rU8twH?q/rh5&q7yD3 -|ښGl9-c$OVO}چK*M fh0ml%D [9` tuǂ 'AMͭa(@X xb:]Iݮ,d\zЭ$y+jnWўU1}L}'i4 S2wWvMZ1+'#0oŸ-D(/”ОGE0?kU0͔PL.ߚNgd_\5ݘ30عkhAŚ`߇3Isj‚|3i>EӼD+Ng,RГK(@ʨai_]M(_aaTÓ>^ݠYΫQspx!9, ;!Genz KCsN[y [wlOlCx:]Nym!԰H8b>&^h)ZܶDg`ԋ%6,:4R6)Տӡ Ȳv-~~CDN,<Y :Μ*;C$3Qg'(cOfe $rAbQJl7GL' >Z'C u x8̾eX+$]v%л<ڻ>?'5G[ }˿!@<_+!8gњ7U?]Ms^ggcCS?)|hu |b2Kq*²|$N 8kߒ孰 *f}=[&:`P^^ gR;~Ԡ1qYvO穐4%PFycI>PE؄2+qAeαܐ jj/н5<@C$ 5S'R;~L!5Ob1 `Mf1z1%sZ4H.$(q>}+H@䞢:?-<;Hulf!4ILh?nw@Hoya舘a'hHpZ,a[lfC 86Ȱf`K Oc~5ݹX=?@{&JzHEŁ[f\sv~r$zN4wyw:y/Gӷ ,Ġn^$phVi sg8󒈲wTi"B5(;=^yFcNY<&W[sfxYCR5f4pƸh 59PFEDԻ$w~&8hrUt\UIݬ{E!,3r`r)C4`8J\/!<+Jqԍ$VɄ7}uvADaCi]GfjI] ִa]eu8/='؊'Mߍ &G]vlF,9riY0)0 O FT*(mFv,RHT`EB0qXR$mus)m 4OJQ= ).][jJKBG8ݦJe. z#sb_ɘ^TlN:fp` y87s!|4i41@lahYL'(*lO"_9^8~CiuW,{/;0YrN8}1؅[8wW9?e) sDc) i λ&B9^z=- Fg  d!QO:>Oc L| K Kt+^ѡ7Pq餫#O1W~/Hg>bhY`vʖ @qqW2;A?W j<ʹTσK]Gb?Jk;Km9#RЛ=$mz}*Ǹ}$t9-Op!EP.Q=P"$KsuJ{e]I"n J3zN!6$ Dͻ+{ҥŞQ'ҴeE g?wDJ$2/USsW:~ '/ /=kT>BBcDDŽ暇&~x:3[4]`w$8X fb\\?[pG^>>oK.:Z KD*o<%~\y&ilͳ5Cw*i* ꮢOraCJVہV/\!-eArA.n| Ŝ@a*H儐c,zWZΙTxR@(УOn7T@K}U*뼔ݫ<{ gnL|~ғɑ9{>+J_|9(w rMB7guC޽%+#l3ÃxSC"U|вzA8v`Bte;*.(>\A8[<2л>NR'@UDlgi~OTX%ZsY 겺y ac Y >U /$ݙE {YCoݿfmON8A 5GCBdGCUOhϸ .+HV-pU^&ORCç&'?yA$>l)lo^tK89Fg{H!;7"N[ā{p280#1GK:^5[2[V0ƟwQÄ{6J@P ֢I)y8 DхU*>>$Nk аz}=5LY3s~OɥE\B C6 e3% 4wh{mM<2tYT/޼gRo'ڦؑOc\\r3=hӪI0;qJ BoǏ5k!9sQ (ݮMk|U GjK7 vI%Zӳ(QK]1aK 3~,1eL~0v9zk J-#j[6瞊?)7>j(#|Mp?BߘAL !"8Oi\Cl_ ()HV1mڄ!1d 7ۿhQJL̽u&sW>e4^굸p.\JA RatL~7g2jjPSn++$oHH8[/τ-a^gCߊ%n+1]yuDZMD}$m8}< ;Cn9sBCx@1^|w]YM nS<3@IA*q漀ݏ}%Y:ͷMK#eQ<)*VLsyM}HȀu--bȵ4kU/OW4񘭨ǘ(2Z>JGbg8Czzx(ɭy6[ƱJmҌZ1SʡN( m0nс Z2;_|*+Eܛ7yM ׇSvWC2Lo>=(g79) B|n!J[[h9Wv~640h~tÅTo.C5tcæWLgnΓe+?'.#'B c L5}ogp4֡ 1Q01}ۯV9NSq$X/3ƣςqu{A!>$VCfoo.DE,r(?3G{[_ }!({o ݶD.SL[\0oy9YQz~ 6Q{tw 0M*b_5/lkN 5*4]4֓tT׏(? ˉ&ƯZOlH7ZH*c 'x*)&bEp]V~WBeTUDu [X#=rvF\ȔLn4WZEլv0xԣc3$UO3=eO|fTK*Ѻ\qޡcg d} hT}H>̗H%~Crd {3gYZSAu+I,pC鉦9|1PKDzXC{+. 1ިP~hMϱ (~u~7IV7v*1?ަ0U maEQ8wޕs*{_ت⃎˶ w-8ЎI_#UDn,i#t2 =i$Gic5[!7 KԆ7.OE sI7t;'. ʜ";%TPIQ{'y4\t{kƬ7Sl=9F9Vl]JOF_aX~N<zLhOu:8czUe99a:汱٤Pomt7tH "'98 F0n_9QݚAn}yq|#"E$w.L1%3JM0P!΂$Vs;OkX s F'WмP XANw`GF<8&7lBՈ^ nQw)`ٌr,,o_`~L%9zRYjUYY+Uq"J?4 ND3dgE\jpKO\*' "mg>&Zx3Cv1ẍwGfd%luq7۝N@TD}sB!!S] :o힦!IIoZi0K[ʊs=;3dQ@o;paXgB3z%dn.C}r NBvы^$+~#~2.!YV욽 }n:{ xQ+i11)+#i5|`~<0)VLLdshZYbK[UӺqzW/\Dv@ޥg벏-_&&gLֱĸɻښ3L|7e76|/ a5rJ+@&4%k0.]]KBYҟ \(R?cno7hzT/rA4NyQsgX.6ҫ!`T&N/fUJfyU펶ո}ovgѲ{ .b~$ M%D)z|+qAQD>Jf< Sk(yKJ8 R y%.alI?"#Dt[ ;uWq9PHDHQ7ac_%fKxM'|#!Xʦ$7A )͔~. %=Rρ & Šy?_]cjYF,ͺra S?U2w9t"WQ:KFYHv6?`3#!" i|xǃnxO%A_MQc{w (@3H>g tNTyx&,wX0@kI<员ant,G98T}PV m"+$_?\b+4e&|mrJ}ךFZ,ʝv)S {c>A305yLٙ !cvy-)ؠ;{CJDd"xL;˟h/2(RJẘ2NJa.h}@!Vq5gn8fЯ ˫aAT8yCfxT^Nxm1nՕ($mpimhwO[ۚ1E#t̙?9'Zrxdg|l M,V /@<7bif}kNl' F[YXgRooׅU jE&㨖i vi[Ғ:JEχXqe鑝o.n13U=Ν@DlAݥؖLByKtg eП% /[ՍAڇ O͇6حn3M )]ayZf7sF]vDO!B>f w'<" I"f}@X;a]^f-^KSqTpy"=~ JدQ= /p$NϥmۚV>L'v&W㱩*c74MK&*t_X]ޒ &q̽y,T ᫶@BIc:1C5C]7{z>n3 !esI%d@.HWeQ~e I.j|4ޓqrɿ 1{ `Пɾ$>v<ރr,IdL` 91:bb:Qe&n5>N*sWDJDAT]_ [WRM tU?v){W=."h3NgYZ*V# >Bi/}DXEM5\ Tv.OLpVUvp|Br> Yޭ$~NwOK}oҶ%WSRwOqk핵N}yc1Oe V<']Јl. ݕ_(nA* ( ,TQѹ,\dLMP7~׮1Wh^К)nP+.2)? 7{HsLv`:~ p jASGbw$X2clbQ4w!ׅ#87IW{7cUulYJKO9 Al˅<@Hqd]> 3d0`^q ORlY537EOT?킙qQڶ vX/^eRRDJ%<(0YF#?30 &{*./g waEv)z5 `iW*-޹G{5o'yǰDP3rőT;gNVOR܍՜}fz>wEPU͙dqwvGdJ.`g>jv'SyM+mϴ[f !6:bl(j5,(`W_jPAL<c&Ňsvw$/j'QVǽpmCL %KB~3ƪ:!>MYTc*L/am[4]Fd)7MP(eƞ՝HtSoC pVòݩ"NaRPÍn8TlzpOcp4M5lũ9i:Ԭ=•1+ӗD%,YX H9jN#\^ե5` |+K;BS&vW4tR3keQ5EbPRl&,<ӊ1nBիMOrmԣt8˫2$[00ۚωn5lP_TMTf,K"p0YDth=E!Dl"0ơlpؘiFQRDP,L_w ~jm;kB0LWc ݈R-WQeʁD?_*J'ye'geji8l H.0% VFOΤqjirj˒Ɵ凞FkOs=ώūĪ~CisR"^Bvɹ?RܟWr)G'%aĮm}Ȋ2l_V߽`#wɡ&-J"{b)o8-%E {5~D [% 6ؓʼn8Gn(XD }zIꓝb?=ïݬP@ANُ$c$)p{.Y"rP<Ůһ6[v/ ^I1yK7PQ9ElbPEB% c6Un,+xaH}+}pg6`hn 8=F>mnlb"!P񴗚(D?9NsH1yifl^cl1>"RfwH/T5fÍp125ތHreH+e+ko: ZAUtO(un"E52:BAPGOȪc6D78#WYl#j%gNKja8Xǘ`C/U֙Ð-%xYj>I`~ft[%I}B^. !+\a6fK>r! ~ u![19@ֈeYF2ʊ"^[CfD,Y%FRŜL6DtgELL9_m ۥ, rz`Q x*BK"(9l!Oy Z-eX}8D_Epɡz ~൛F)^u'N OI8;o+O^Q(TᓸP"rㄊ˗%^FY%2>D^t$~ Apat\x׷ ulII WYUCo$&BD.ԥR} f!T/()ڿzP{?(Dt *):\n&7y5=7c枬O$.ޠ]f#oxyt?x?Ut\8<7 ש588t=Y-4>.ϯU*DHU ZNJ1u58JAG.@l:> ^U)ȒJ#>UPihB d3(X/z{DGTۭ=ɔ@z΃{K; 5ȚZnB=@qa ?M$aa) `°GiH?0:tgh`!x:V-z:QLN$[)E.\.I_97Id6IeSwe etDCQV,EM*=eOEnlV~]" FƵg$ba.~a&F\6sgKM#kA2ZjG|NFzRI>Ϛ nn^gYZ 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=eue&:-Ԡ2 > *װXcU+G=-+ r,͆LkҚ/fJ=Tu4lVF+q]K}]W&|Hh \ <Ԓ"SY=I=ǚ1$:txIq=L ƒJeKRy]4(YҚq[pim}J 'ikLvPP + BEoJXi47TJn%qvr2ɼLZ0F^#`|J/iNy9UkVpw1\&%ECC[[mX.bH]PѣQ9V_&dTǢ@2ګ m^|XGV;ET#km?K8/ɸA롡p嵏kD=Ȟhz8$X]^A;(NrTXK+ OniѸżz)i h/^T[-O[Bes?)8."rsNRԊQ^ M騖r:,_uS!MNbwt/.=3S[ߵ!+1ÑrP?J; qVcemR0!{pO hOT ½>>z_F>NUL$k!tl#}}2|.wbmyO=yЭYf!I ;`h,e)/C'Zgl(xO`/j|`2(̲3l1{e|_TE TP&P"4uџ :M]O'eJ'cWч N:Xf-!},]¥xo_k9ٴڻ/8Rv{CpF%j_`=<:O-*ʶjF™3_{A|QX9lcxﵜ7P.v XHU2%oB_Jӣ- {-tWVmlb&TJ@,f[=[4:S2W_ta]gR0gZi?]2]ђ>1NA2|WvĂz{|;WnX^w%pa}xTmo;pdaXq,V6}k*[@ tiɿnnh0aR+&W;yr׀TG.i@ove6hoX$ן'pe23P\ם˘3gIga~-\ }/Eb}FQȓ 7Zq\ .ء Kv;y$ػXuKrfAi|޵&`5}ҭV8YaGtϴj>un;AzD @AD3 U _+ެ/jO >J޽Q73oVBUԨ_'EmzDIVΜSwċ8*$-МN13' s#z&[Q1LI>ŗҸw!E2E2EzLw D2?0@:N"D027Ln0z@8eyz4pvӄ򨌹6`g sR/oLiQ^H{HBIޭDb!BHKÓ^nnufI;-5^#02RW+#Wmu~Q,FnISXCǮ=B'ZU A! v|Rh )tcv)D&(Ĩ j iCD^%ua_Ҿ$H_'-)v倫r8top \RMcՄcN;ADP7[D`tWHDH@6 C98IE$ӻD`egi{'cN :Ìf~ SV"`l҅`O1SU|"'7 I/hAL~¼W,-)2AHJؼ*NljxwWm&'$&&o?4/bһYucЃHNK}G7%WA3a4Ŀ k> ǀ4)qvqkZd4djAK_$N5GP8؃7x\ӓbծL ouDIUSdExi@G]cKa`db*޳_cwAWh&(==nl"4T!¥$S$%zE~a| ;.8gu2pp% YZ=6f<"@/yU1Tڼ0m_fGSe#gl!v.oXMԻy,}ÉgnG; ͪCV|Չ97kgZ)qp%J~ q?C-,"xyyEE /fMN%[^6$7Sc~bډ |rR8Yr:Z©'/ L6Uoţ0JG2!N߱k[!xg2L7ajƟ;6V`x{awǪd~6n AtZCdik|nK#zҬ=tߐtU؏SΏDg& Lb2K7۟Z {^ΕWװ@0ENPp}k -x-p@X9>w1ؚ( Q~1-> ! ޥo\<qCu0Q]4rT'vD {ZrNP TC XŒ(t1ꪳ$T(kD|{8x݀F&D-] +"f;2 D:pYt oDuXYvev0-{>`fLyҫ.k#\A@J^w#J2Vg q7"oH:ۚ~3<:US%#XtKO"]l_0ʑ =mV/zH.(AC!  d * rK&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ׁ?I yHOYը쀹:ཬC3 Ox˶aSGzg̠Q-ބ6~Sf/pk F:ש1VtMWkgٹW3tMZ/%0UVaϸ) rݔK SK5$|P1ocqD+{%`Q_Y#E&C=AkgYZZ#9# \ZF-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~['"r;'qt6Nd3&㱌tZqERQٺKkդNn~ r` ӭ*Ȏ2n?=Eg=V`G ns #$I?nQzSk+`nчOp=4So_v>u>b g fjZhsZ,f,XZx=w?y"72TK9ɯϺRh Tg) 7u,ʅ",޷׌C1(?hH:`0i X Ql%_3<# '7͞M*czzhqLA$˯=?EV#?R$t?9r" ؝lfjOP=/'%;P|Dpg0HU.Y(zRFIr6P@+`3넙lMSUiU&BٷykcI}fhmDʫqZ'qCd7EmJ/܍ݪ ]& ΧnfPjJ!C_XA$ܬg*ċh`qq f+U1sXU?A LT\?;@Io_*ش%.I)$ L<jMꊄH~.bLSANϰk| ?mUcRaBiĊ-!(3HDBD]ԖS79iJDGm$@GRo68#mY/}Hr߱ìZ_/{M[BwZ qjOh~zt|kF:Eo@hqSaolc JVҹāp}sP&&2KM>#Z0Li\B#;q)kmsCsJ#.zvt2besjgzŒEsق0tK@J(|5ޡYf$F#SfRnkS>z :иܯc8PvB.M3 ho:OʟhT~$\/ 9f묈>Q)#O>_B10kUúj0&R!&Nh/%^!5G8ִ$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[:|&[zr@8GG\L#|SuFR]6 !]?Xm>M0h'(ek[Ik|O]unKtKplS_By-\S7tyZNDu  Uҋ)]В( I#7dI|l'(!&.iM+Կ8v֛`BW,9 {JDDP2;q* ~k mVL7074DL!N,7?BW^4 ZC7πU,zH#CX>ug+̧8͕, & sUP+d冱<̑+KAN8Ch0o{REďlԇ^QO+DXPgp쉲o)/Xo]@Sx{]uAIQ~DeO'!?om⓲/m[{UB1$ )w>U Bs2Ă^};$Sq vQDg4 x #c2:/)I-+J`Gl] a#QcM>9|4{iE&J"KO9#r9x$S/N 8llֿ9nzײz 킦uǿxr4%Ä[;'&iI'L4}-8($7$,KKBń#HO ӥ~w1Y9?1[p7ʗBI{eϣ,JY9cߴ]ޯJK+*2` X'ɗmx܈ ̩x )UT;]Z+`hbm%_:G3T鼩 %\V2W+X3별Q ~cF7 !'LQhcUYRԩc2t%=ldIX3%L~VaW"|z_xbM"6/U |MNCh!M|(s }sWFࣹ,"]F/myA {/A75\W7hDd)9,ۀL/@VVH!\@{$kMdo1~H(?NP援N8:n+wJ=b0> ] αP|y;>/Edb&1jNӞuytx\ܱ[_5*MR뎛zlW]@yzeQH}z￈܄ ׯˎ0SBzX^%V.ģ~ە+)U0 rQ}ieWP1{6U$~bdc.#"Uy'Q'W'zR.S-i^zME$-99)2Fޚ}bۻ=ߤz8M-!|?p+P1׊+ZI lG uD$;67Dm->6UHq2A %e+ fFS;q^vr`yf/xLL@!Sܐ0wW!ncp_dBۑ[Աg%qDTt? N{/KJB?v4^m[J=9_aTO!jYvux_[O8dW1|̳,?jWB1450Nu,U8nT}6侓,T4h:K/kvk\P7*i yIGwb`wJ~E:(OirDi]A sPo3۰aoWx3cNܧ?ч`Uy`{eO@p\ JD>56>(%2Zv|V 6$n!;>u *e:X@8 Xb-9erƊu9 Rxι0ҍ.wWs:jeĿ-ewG¥J ?>bZO- 7G9*lFNFh_v"l=[lle܀mmŠ0g:b|"1Ӭе4' yo(B)p]|! :KeO3ysns%.YM)!_ "Z3h{6\>j;R>ZPV 2—0S {eR: 1(4%  N@~E{.D/ZpER8y9 Y;b?pH#`E٤b4}}XR%#f׿(*Boxe\-'pm(-O:qW`JJ^5ӸC  $c4UQrCAZ20A&>|KHo;r)25[) "L;F64< \(:**#tL@R"@pGb,~VCt/;ꑓ0;+G7cVavdt*Ae2((x.h5Le9 .1v%\ԧ8;*%MRS rV 7cKZђc1Hъx+O l? -*ކј#5z>L*V;V7[;c%B7b&@v`hxJ5J)4p]w݀Y-n뤴ݯӑE_T.U~ ,Է©ɺI|R~!J L5Z@IR6c j?|I|tZu%:8"Qc Uu| Vz?"%kSy*Ҏ\_5#ʒ蚾G ?3k"d^qPdz$jY"F2bk oEH5PPqV2E:EzM"u#tTh7\C^A pH`CW-Rf/ĭ Y%$%!zkI}xbRDTEA,KB~E@zf/ ;ݫ2^wZ$qNpǽKen&CLshVFJ)-Ct W/~ dEl"7]T E*CܷQO $8Zس)Ġ7V6TƢx,C"l~T.Ex)-0֝pivL56LEZ2s|lkXxj^w1Ƀ'~AN!Rz8oSkLK{NZ] ɃaZNb>>S,7mZ7Z tPAB_&3( #Q{d"Ϋ5qdbAԿ]4Excf^_9Of`| Q?d}X esAK8Q eW?nR9c4o՞f "A, dZgYZ bgI*1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy5)1-ZF-InductZF-Induct.MultisetPIDE/document_id118A(3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UP]·Iq n[:|&[zׂ#`cdFr\rS$+|Hifݕ'0q.&m;|L h=ԵYAt&H~BP֝ r&3ZpnP-8/7v@agC?%b )*TG]t`oZ6~tEc{,riJt*pmެUr}uob~ 8͔j{Ipe{:k>$M3 ~_F5F4B|7>>aO 5G&ȍ*Mj7 ͥnߖZ(6uM4N/GRI +72W> ! 0٪aZo CIc/B]ķYt+џϠkm9[:(TG-ꆡNN2oF>V5ۓ UsyԤDTaT4-,-p˵nFeܦnhE?bsHbQ;g،:|t-'殄T.S0s LTn% !N9"'TÕ7Ra{&r XlIfޅaY9yt 7^HXsD [GT励v肤@>znnDr٫HgU3dλP,CeԧTn\r̈́ ;]DW2\Yl-RQ &ڭE!b )4 c ^js[5% /eI |:q2պɣǾE/#bZpeK6$z[{f0~摯Bi)g["lbMQqZS6ª 6K9LnnɈmuj%nr5z;pǎo!U/6jS, ;1pmطZmLP*#pk2D]%5*7~*0&md?k%{Mb?O{OM ӤrXGilRiS&s`DIiu;G8kZ^E>[Mlorys:YHty&dMZxdI/wT,@t!17 d}!s?TD 2~<44mV2yBŜVC3x9}#g78[=Awj׫.ZWmh5M2fiN$-Nn809`2DX]/tk{1DLz/4r].%>)I]uIY}{h%ZHC?fA؋8Gnv֨bd ] >9ʛH,ARcwҐ'CڇbXUۦà2u)9>X ,$A(MLjeft3eV"!€Wr3޺gfx_t k(Ql]YHٹWE+(P#h$D'9 l0渟ҒaH#=SRUEq0".'_3? tŬؼ؝k1c_p&?,`>F憌4{ YT5-%|FT Z[3:P`lS'Qϩm9f/1 wM4Y5teTzBF'xbL\bE;8jX1c,U {9;/wm &'2?UOɷbgXA'D&1a?G=&w X_Boa`r "p9v2]q/zfub_k5S jGU P6KDTD m%+k/I}ԋ?u$Cj6jKl C,jz4eԁ+z TQZ4]Y.Cʛcsfm0Եdo.$ވo&#p-W&5g6hyv dYLorH\'0u9{O6lgYZ']6rJ,Ư2.u^X#pTWTOw/jY!Ѱ"c9 %-|Oߚ82K$db:z s)X弪}Gi9TRlHs6aFˣs_ջ'@\0x[( 6+? rL6/Im < be2.XKBQޱmEޕnU (mF``CK@CElBohD<_(vY=:+[ r ~*cZr 1o5OToU?×h0NmcyXr3/ӿ|7 %I'Y_l;qv#ێx`2"܆%uj-NFT/{gLd n#4݈R?8O_bG9tؾۍ1jv|FS{/aR]~] rr9 1iz [-rKr8ĉEg̒T&wjc\2L,/n{T~(@:hIHkin9Wٲ*#GdKAJO?538nB x,OךAit7 jL]45ՂN/3z j!L.^l 8fA\qʬȧQ.=*c,s4}#ڌn%>wC)XӘر_0 e?e"hR ']WQf,IRO 7^ݺ+ȸռkp{󿊑|FOSx0Y 4k"NSEv%FXS_8 w1)9d/3ne{^ݨ\}t+B7W N=w qT|OcT:$n|hDBiɨbjXmGԳxlDM}H˭t!3աH^CR+H>/~AXdJ!D-MgKIQsR<_rc7Nd3^\=9 N:'f|,#W5O (3sv5[u Vw  ('} pۗ )wlbރrU%GZVv,馊qu5f@4 4H+wnjR_PԻ6>*6cDG{_ξڤ[h9O-&F*[cAL"(C٣ W!G [hSwugW!߹ǷSv5H~LFջtԀ{],0>p +:sܤ5\*R_Q,?cI`q z!&ZSw][=PxaT{4inwV(wCa-"9m;WFt.c7g xY"Wh4llr ДRE[KKgY],v /40B-+hSYXt$g?x z,BWzO̍ uv!t)D1.O_Pךω,a&B'f2HԒ|Еp' < %;o)a AGX48_T=6$ ?NZv ~ISp^v{ ֓]T <N>+UְmTknW&"l|udaC`ծm`;b9RpOn׍?DC n3a \z0s_tsDA OGW0cj"H0f M7 @ y Ej Sхsa;D@o-O)fUN`vb=;}6"S#@BOpݞ6*uXxxň>/Q+ M0z~[q܌Kd]zW^uԏ^&~"W u bf ̊n߉T5`3]s-ʾ7TψU K4:u`VXI,;Nay`=[o+]C4ȿR@\]I< W[.U| Pˍz::%kONJN&b $z8%]p\9<ȥreapoXU{U喇t\L,/.A 0VRM+!aI%) ,]su=!=j^o=lv~-Wg 6;E:*+(‰z̊xnPĄە@uo~+"F>uW{EP*ɬ4vH1SZ4/ʋ_(~勬wqFp% -$"ԍ=Vv y[w> S+=HEoҕmFZAw:S=! -g->{–j+=ȧ] :Hγ٠h4ms2j3As>I/M6rH~r =-D<LXqԣ5B 5Y?8ߍxo{+ wd5ka٩|:ASʨ޷5+!T^Ⱦ1t?z֪6 e-a?TģZ y\3":?rC e_44D$|+??d'֥v&.\ԈA7"jb!qrtέn=goJJIrkiP^4rzC+C.t?%`k6 BpyE]Nҟ;*:,(5p XjE̸u]+ĵK̕G&:ޕfhߓ8;ĵ2hzc _O8yYNyL X8pzYQ!I 8YWEbVVhYbGAÇ1 :*I,Z.#%v3/$@7ܧe(I9V>~wLzqA p9ЮC7u- eR`a 8ІJ4§+X5,d[~ b(aXg&RPLJ'_@Z;?:g5jh_FFܱ-~rd^Doq52V$ ,W ®Thw/gS,h|FhZ܄?>F|[5 /X%HFb.E5o)IU^ [2ˬv-3ZLRht)i_;;w^I: ǧx'~(42PHKQ w"-O5ux>}d@@.~i)|śsۘ_F~[)2{s kS1z)I2pzFq_@mc` 9zUjN:7osueY~dwZ.T >tPٿfBs1[&uy uK4|Jwָ"kĘ$&q2N 1U#\r*B9E%|c$8ƋIf$O锔-\ s(BԦ#nWhi(ݑ%a`}YcOL7aÁPxyurMZz_*-/v2ۈY{T}ߧqL>&yo3$"'Xήp۩\;QoS O f'vb{LRDC`%;蟅cVμ9о"F^#/ Hz e78$@֠<j+<2$n!aTu|vQ{J@d\avX5} tOyC*&DЍĐOVm~@>ѴY#ޡapFy0. ?}*J[VW}?xx׭7Vrq8r8CB6^.p` V=(F {WoS|KiA*EP ״V|By'J"{Ɖm `ruX6|7xg@I7qߛ(sбNz('Vrjm<#ar8-:hӘ,!um%< GJ 7p- ^ ;yzMNpLP*n6G6ѷY>:#e/!ao_^{X{++\ɠG:@|!6ØkRb_g&KK.d[3Hr3WjdaMhظ>Kw1AM<PK $<w @܊Yr[Rr(Aza+2n(Y&Ty*VOe$Eؒ _ UO^$LJuOH[\jWr}\%½Oh<y%G_;TXB A%LM x5mfwQ/16 ne:@8O?md֗ ;!RZWkm*#1ADcUCF!%)Em 7VeH%" NF$ ~5^U [YFvw#BIs])!xG#<~j1`p hx?%8J]]ҿ ps#9JEǏ{@-ko=W. ڻ鼽z#]W{ā&VD-깇yT)W9N{h߷%7X@SRhHu HQI&t&8?Lc\UJƌ/ I 3jEOIqY>6u=pMSO)(;E pQ+aHz /I̽N",Qޒ|b&[az/kJG6%Q!ƅy!DjIIBU ,vP+1FOH(8Ni?w"c$XL lXDC𿩹m6c+/H'BF ¸Z2ˏp4"To$}ᡞgMs^r!H /͢;2_B-3pc /ф 1kIs^oYAJ,ˆڽ튃Gd{)prͥK=å|!y !bbK 7G0|{X: JN2MU1ZVfPq6 &[-Ϥ=DGFry3uAtZ6gULtjW&WϣoMbZNayNg=%:]_nJ{蚾ZlcH/徕FvX643Z.27%rZY!CRgh:Ky? # j̗9C?3mKpFǔzpj 5FĜ|& mjs#/TIS G Ty}sb\,Dmj&t=ڗ¿@5*^.zK? nʟcB)jծb9f|DLxoH51L#Np}#(/Eiբ;\<Ĩ{٭\RRT/q^b́ESޏƭPpEN&33n|~kB`KN=)kS֛:M*b){`-lEl2mtA:YrO5Iu:{Lքmj .t`OZ_7e[C Rkb?FFx[DC%JS.tka\u կ ˍƼ]wh"U *񶊯XkD*+o(͸63MilpX~[]z),AN]]pt3G9YXB P~M7#3sw9=rO'YO\q?}>6C1ʧ2ptz)!R G]`qAbҞP0X3xtsĝ^#F(Ӧ2(\cπ<5PEˣH3%a;SJBDa:a*߱[|D<1 /Iq*. 9u+6mPgJa?rk7>0scz컌PJ0}j4$!+50 Ѣ]C=#"5 JuV@).o/kJ+iJt$ÂR_9̆R&p+֘N%V:QK;(S"=fZ2V|f'#.?UF\YWTs}L@ fkPhMVAM>{;q#'rȗN$Hv0e0ҙZGT.F!&5%PyT6EkP0!Fr|޺ȍK3 xl(I/q[H36lT5p ڬ w $X_Z;e%RA%ZgHASq,ᎂn^ø9Y#,W 5N5/Ȏo4 JU6W4T`F#?#9= WeI8ƙhlt?ۘ '!)^THlP+Kv1JVNJI~=E c k_ e3KڒhV?Q RnsZ*Y'Sm- ?Ĥc4#Z}ڔf?Ȉ␊*yn\y3|+_^xP\Uq|ȍ&90gx\ '(3 O"Y4y^,'b6ːh۞(Ĉ%c7R%X 81i[Gފ8x@$\G[KGa~I@aG&嶯/d%16(N On{l IǵF#}a^7QDޥu/IIt6FfL}y?(VG`b_"vBX9Z)lWk"LILvڰ-. -O&^epu$)0 b8+ӝ!Lu 9-0u/8UE U:W([2K5Io&ql4l|7'NW3::G(Oyd„*,Z, htI?:bJ}6PJJ/)ÊW[H59L*r <SeFkSӉ('SC`O5uGCc&õCt Ps ӊƜ:1w kE@X$,wv$ [ͰpH4 qp~N]b 3ȓ1_G/Rp ^.eݒqwG1X墖0[PV&PpTL+9UHaR#6o3/yDuN[ڣhzPF\/pu  wȆ$6͙ -0~}s5QX^;<i{% yPU1Zfv9uA>E#7h G648uGҒ%Cl_e!uҪ ũ{cW8LBbi<JǂM&(,"[Wfd+J V= ]4X_0 ǽZ0BҖIZ)Տ%AP.dQ%4]3.FD!og=!/JM)PGB  HQYMq%S`|] HO))I `2֒%mjPG TD,X= 3'[=%,T!!*ї6wyTTE U(&^_&aҤVG1+7| b rlHߚ <ӗ G~X!ѩ/$sh3'w]5Ykf*_~{5P%&耂( ֕K_]Aȑ2wMs䎴hؖ{("jD?+sjY}*;|,CwLXLQ[#E=VYWJoḌ]b{xEO& -G $z4 Ϧߟ_"Ef*JW~97*~; qP+޻|\e?(ٓ^Ñ$ߖӧٷOb#&h*uYJv 8Ɛq^(s*|'H?M QUE|"Y-zɵ_6DSf;daE",#+mah"V΋e"N07W>[00+![I}r"wZe A@FZ7~"rs!0nْ-u8Q$jՔt=;0'?;F A'!~32=f{3~򱼄wl ]黚WU ĝH'63r0%jyLެt.ά .= -lU^^\/~3EEy <@Vf<qým~\twzIH89tt=pfݚ.`Erq vhaOҪsd>-NzJib>X{ Eڙ^ѣg;kM'9'Mv[kW&=?պ>]4Q>?>l"?k8Nh%h9Ԭs7aډb̶H,eBO\N ssR竏- :S(+VԶ՜?P7mKg.(1sK_z x)fZ ?E䉊lG+h_5)i.8̪.{kHz W-{G@+rHB;I +DT.'YVT(f v %ˡQ\1sFTԉ:VEH$_w' rgEwCK#X=@MZ.w "t>t;2_V=#~y|1Ǩ.8#t*8++H0VkeJe1Hh`3@L`}v߹rHy"}?L79kF:ml i(10ո|.F^Řd&BHGZgfzx׉wb2KsiOq(hjzM5wRS pʯMEBt~Ee>.9kc.gH'C&C /TZ `7Ȳ62&qL|HJp奝; bL3 CR7V{ydF^)1:X)kԬݟ2*`܊"<]lD5Âb=:nh]<>g~AgC<ʸ^A:"kEh\%vM`IgfDhQ*WS.1&M#eMrS@+WzHCS P3Zm9)lPQ]qDמKai9B{YWY5&y#O!3= l \|TsADg:aI5P 0ufa#|nf ctBƣ&-s댚Dt\rꗷO,_cutӍz ^Ipeq㝤cl wHAOI5 Cf# 7+$VRHkM?1!-d?EcMk1V*x*#:>w8ڍ?Z| =u0m2"_uMc'sƓHRT&~?p4ftWp!>){R 1faRmEw133PרShc^Dh>$f;XppkK뽸q%ˣ]B\ G(p<^bԾ6Ϟ`=@DTӜ2武~NA=v'N1ugdJ\7 fK*;Uyʄk<||u2#o`lDTPpp[܈4P):!@:ibi ]j-Mj``qsam]AR+ddwfȂK`QW8$$\{+-ҫy>M c` pv?|/tt=p[T抃N*Eq򫻸_Dra74[G=Qii}Hjd.Gn 6sv_>4ұ"I ^uV7o. _ PTgsI)h]ެƻJ~?S#K"vdL *,SPL wT>UЯvL]7GkpSf[}Zz>H#yZXa_ *G!'dGZhH4`Y.aF -%$HLK+G_|_'PŞQaQ]ej cWȁ80Nw@Lw7?ٗo-Uҧ-%qr!>b*d]W)K;G ח:2PB(*+>o .<{yYm }hmd2?#ncy'j;5 miE#zڋ+Dx!o>)"QW xR*8%im/23F kJ.Mk,VB jd ^$³=$wUr E\R ֫O@/+[W<`Ϡ}Z֯T]3l^G^ɦz:S oY'9832Lsi?N2n?;ȬȤDK6C L-(ybM| z*uT̒5;9AS#^d=H@]#Oߵ [,NA' 2j-yt_X˼m!Hobe8:W}HF$'HR0ߞm*!c›f[]:)}eGȁz`RL M_廡UɪϠd׻fo[ (΃"\XyY0 B]91ܸ^0jQ5nkZE;]Wv O!`n2OIڶ1;H~1P)[[׷`*h_6;ޓcvY]uJ1.eiD$PNY8=.k{fO*:0l׉qӂe FÙABղ) A0:o'tO|>9C1N_k${@!p"::aٽ=dpvb3Ah2:)L[|50٣C>cF ;;9.ɍZ*jE ^h'ԬD燯j;T<TH݉`P(isƨ[oXSnZA΁y>l{cOuˀ}@ܸEK1)M0b{;:9&auh8Vҝ˭!'4S{J<&! x_Ѡai,7?i yy2(^?K+ J'~cdВZݦ$햸?2L'aJI(0!Fֵjuݤvc!xg +˕Њ\~# 'pg3U1cev7|-fe,]~aiqen70ފrh":5#mdb?03'yj32$L.`_q(=6>t75ʋڽ D˚REg@R,PͨDlCEh۔k*ҩPӴ(Vl6&jOwTr҈{PF&6]Msʱ7-Z&ֻYv #,XyGyZ!ɪsDr8ջq)Qqq:) GXYsF~5 zpWQ:)|MmjrP(čriO@x8Y&gd<iHH;i"ɽsP=<6tEwˊ ˃B>pbU.SzJ {$ \nݵU&ǡ Z{s4ox,MQƿebӈX"1o~\!6U^uE& C-DL4d}1",suBPhkJ}Įp„s͹ mj;Ln'V }5 |Nʬꥆ:f+>xODOG9&a9&$YI"Y=ܼzG)IRn Q^+'Stu(͌J]g Ic:oLZLۤ[|cB*dĭ*ٹME_IY\u2&05>{8 ەZAt}>W BYGזKV_mgq̄ x᧩~9u3 ` ѻ_"Q6dʚl86sd¡gt]$&,z8 x=%wPpY2q`N*DF_ñ:@?˔M6[Ct 1.q/e~f\ma.wF[*5 l8Rx#\䭐Za:*1!d LJpJ\|f.+7N[։^mrJv:ۄ{jLgچUvIRpQX Zj1k'FN!)yǂ+dJs:ΏdX5H!Rΰiwu9fJN#Y0J-#PY 80F1ܭEΘ2B[" jMׂ'Pw}\eq?aHsdƙߍTOg5v͋k{5?^\G Z=HJL @Y6ȫ1J' )0 RUu P8 ϊo5dO?-2Gu*VF/Yk}^q3ЬFB%H&\FWBXN'B~K~ bOuUB7S'}VtJVvh:vӣs)h2_\2+ ,/`ȒR|nr,﵎YCa wrKB:h0k$uSܘX< ݄6Ku3&2%pKAMЅY`a{ ]֙.KYs- ƣ(6`Qõ'-É`7r< vQgXk%rϐiP<6)97?]6z\Hn49r t;H?7˴D Z5LXnqyMVwY?vp5oPt>!aA ւ_pn"2\.(Sؕx)>%3s6'_^i4'oP^M!z>,F"1[-VL"Հ5#8myREa,e`6JYc6<+,G+N)i86f`y:T 3@ֽVqA- ?%ȄMX RU~Z͈jh^㧎1D-8@oޡ7J'HP iˇ?,8zl?AMJs l acrZTd=9E^h?c٠Q n'Ꝋ:!K7ЕAMUg?)s.Tn[Nd؞8ﷆ !a_ r`Auv!D< Cg_gVrQQ,-,x"Ei"BS8y*O|qTRɐg3'ju2ݞ2=ZDv{Nܗ<8t'e:0VE.4Q|Fʂ@]:?Kܗ&UGNA ȏ{bR~lu RBiſrYu#:;u8+LKz]ȄSkH9E 7OcEBhkD;X#2l׋@)~asn%{ ­1g=WcoU:1E$*Q~hڨwT(CnT]_奮A-nrA/Ddy(gNմJ,Sru^bͬS:%NBD1.^-/[bP!aK^i ']1Uw? lm.rٙ0@M2tC;(+iS8>2>o-ss@L,lt׮(⌥=?Hr&Qߐ6xQsT/njd} ca窍{EټfdKs9W;+\"fIDKM' IXG5hࢹ' 2Nh`<7f7M~B^^-s; <U2~5l=ڿ Ovpy\տ*< (yythG*QKllɚ1;gE& T>Mq2]m-S'bw"9PMF@_X] 3X Ln[}d=A~p.XJ4g7lϼI%r=#V)ϜI42@$HZK f.6}I 1jNˆ4 2*@LP@j""Z >sdgK'+G> 5ĵTڽ-<_eȉ1tnŻُ?"^v/ԜXrˏнo ɘ߸I,@Ŗ`kRsD0v;]$xP~]3~'-_0ӿ8i-MmA 㹃!pU/>lV0)j5C0>7;0﫶 \3| 5=@ܿg03Tgm5ʞf%M^#.ZNO ıK uS趖x.yޑ-vGː..j,+fwn͒d! (v.TY+NuoNo~md:jR=.dIhJEA0?$'xcNj˫b`Ci~tv}`dOޥ `+"ٔ@Vnzꑟmʍ7$CɩCuG99{:)嵈jMA3i0-Oİ{m{Q.p>ؖ\W{"PCeNW2gFE!H8"eQO%>ه> jG +|XqZ%M(-m"  A>ɉT-AK  /n|5w`HfÊ]j>XW{$Hƒ+Uj9‰$Df9\`?.%ښ&)]ߟ+ {j>OE4)&<,BȪ0Pqy c0[I͢-`6y5D>$P^g`e(ԀCܷNc<004N蕾5cel.iu= ,:/t}`FQC9uJp$lC^"Na i@hsS-ycE;ݷ)00y)EI 4N>S/;P0-~<@ ]l4cEK|밾d_;ehW$oC?hu )v6\Ġ4rDG)itF-[ C)MÐgt:~I0!?lA^Ws3'ٍ ^ƥ&śNQ5cmXD[wc3JK'_ƪo'QXzW_\B%L,NԼߚD]X \-Ӂb8Q W2]J`JhE>+EP{|:]>c`@N$k$?-fg޸h;ɸGsڥx רsu5duqA.w=qT<͆1'̅YC;]`v;nGَdـlCD*(XO6ҺuxH3*SNGoW)#Wn׶ڑu!6t/fG+=Fq=+rѾs%4JwrJDa% G^/e qť2@?EjHcm`@dqfuAAz˝(Mb8/)#Tb`$U}OS>U/jJʚLWݭրDu}Ȱ_|2~yeSߚW3Ol` Ig=?fNyLJM=, ##H Q[O28|0Цk+Meb>CT&ĊQ~f0e-fYMwQț@w,k2$D `$0M01ifrP `w\)>k ɶ뇑#=*:*i[f~j<:[\MՉ9rhcըO 0.UBͦ^nw+ RShH{]^ OD>¯_?|-X2Zg`Ͱ>FuB?nm>2(d\54N\սHշӑ-7[s. "9-="W%Zi^Wj"nW>Lא4^UX3vtoO%&8~6u4DX{Cs6 KHU1.\5[q0Ivq1l$FD>n*t,J"e6{ $mMkP*# uE1B]er{līN[A<5nSNj̝ܜsmejԔ:i-lDc-yB_Q"nc,VVC%;BD{v%&8<+|'my+on%(ܐJ.wFӶ XK&QTiBޅ"F H5?K2KM6&nn Ki+YY= h{rTrպPVUmI^#!M~߫f(pC΍6Wm{mhL}sv9S3gn5=Mtp#dLfjWL[MMP; b(EH\%SEQm"6+G۷5U.j)]0Ckct{58é7j:sR8·dZߓ4n#VDR#weNꘟ lXOCRt;KW%92<C=&P4 8FwpZȲ6/Fd8"a_ٶ*èi*Z 7F1Lx?n $ǾV,- (2C:{Xn@S-Y !n2C|[gBY9;YA!܋=+)cխaܤ}F/`Bߐ%!x:NXѶUi /t=[{SFQ/sڈ%,僙`u쎆tnhim1+_P~ "!M>_`\VŰ3*^#FksἦhyRf {iש#UhD%(%V0#B,s?P0vF)myJ['gh [+ox`:HBdS*տV ">(mEV1B06ueZttQS5F<+R[5\{67CQZAZ n_6x%~f7_&5NN9)36źXsgO;Ea $Xpb%?'xdMCS׍Bklky EZlzz?_% !DzC&Z]Y(KW@СQْ;cbӷ}o]"(JJ) fJsD=8)v _v:tP:h׍^*P;QZ܂(fFڊL=B#01; 2 BL&qEڝNA L /syog8 '9vc@r10) ΉGFn/l=|zE2j\N :N˧:hl_ӹECj,ݥZهW/^+$ff~XLx2;f.RCM* ϊ5?[F!M? J9-QPiXeV^SM.#xzc@wؙΈV^9: ?m0GZhʔg6ҸB{~d[o 9:zOn5RSiuD~a!Z/dvV(LԸVc.5~]8 Ma3Owj7pԕ_>* ߇rY#צ6~<ޞplr#cJzW닆M?q0gRaXܙ^e*p| ^UGN;CȷYxb}y? 7 J_lU4xR#(J;;'Z+[R #סsƾtÞd]uWAŜSƿj}V+U^_"jc¼qmx VYzLע<{x([᝸޵mqzkڔ10?/ V-tigA̺7-}0LJUOm\Dw=B=i=Ͳl Ɣ$y-F˧9]|(S2G+;Xݢ,! iyU<6*:fVeGD|nnJ:LELgϭ®MGkU2uV \BSȶf1Hi}PF|98֢|75b'eB}8uȆIxiZ5{X_=앢 bMTD%w;%΃ Z(ԧ=.~)c%㷰LipWd)6:"su{̶LbI\g_Z :)-91`` = @572]?[`xb~bP)Npsx9D(_rDU'V>.v2 Z%<ѵ9Wh>BGm[̂} }пJډw}|יboISMkT7[*HkH#)*^& Vh_x@̳J_E .QW;&xFٷQre[FD2O3dOG&M5 ̂紝0V?< 2 2+zx)%<;N>157PY(Z׃\ lDUQJɬY6텺Yf~UlÛ +P8 P,&x唟&jj "l.; ̸\PRNsMX+xpGؠ=Ԃ!" Mh-Z<_E~qxYo2*AʂiCLsv:VR ^,UnTY]IP1 m /<T@4> cīY> ƔE~yVKe=Bh=' NƒzdPS/h1oIa"ᵹJYOܠ%`y6B̜PGӧ8 m*K-bT!WZ8c\ wv$kk +fvkG[t1C_3ZSSy"xm~]I cFe]͇{l;/rd;iv~YԓS;w|2 Od]*z|ٹ^-ʵAaX,WGHR 5+ljEZZM)8 %9;n _imx 2AbA{T[=R&sT`m?KscX̕-fz4)v-6b&)B Dj 8Z\ l7~H<ѝKNSOd'+|ӔrLKu9|ENDZ:r -'W`֛篴˸!{vuKu)FH-XD,\*  }4}m>濚JBS,Z~Pr~!t^EᾩAD1.rzs"IQRHQ%s{^uwlY-[R&lѴ։w潑lw>lBι a`<6g.ФKWyMD_uyoq& iD,V6쮇pCσj]S^g >B"墆AwhgZ$XZ'$biǫ@H /7 ߦt5*퐭 9-[s_ɿBQs&.]θuPR" pyO40JAx SLJَBj7*̠x9'5M=mޯ ' AYJ5??}/(&РZzR"A6eea13P-{ L75Thg~̿ɤ " &D҄E3( 0 >HDV'$HqbF?koG5jV}_t-WQDz&Eڔ5{$@E;&4@ӳҰ_w1%dkyE*HLaP o+v\Λ'O b8@ @T5qZ=irٷC=s Uԉ<ErwqUjrQ N]T%1>нɱf F2IBEiw4RF6p Aw)RxuLouf-'sF>׀;hsT][9՜%łZ݋GJIݕىG6\ zNU̹XbE2(_V GZ/mVʎsul:ɟ$%(u4SjyJ(b# pd'09*5hh-cֲ\KGu> Fx`\O"!7qwɦCt9缰b5 Hb?]mDF)g3MeJk]~qLB0U ) \uyk 7o!t"E U_**M> WGx <'g b"%s3حtuZ\5+07Gē\ "c wDnۦ462 x%ƻhEA_ <ZW[}% i]sxKԫhJ܆VUNڊ%^?ʺX(܈IJqO᠏t 4@Taٻckfy3~ ȒA$;}y#oH M~C8 mToR tJ>]` F?KZpfɰ&hJkV!WH}Ӓm E@iMK_8'aަ|6xفZ8!0`$b*v& EluHi4,($$ل)uf{IN[r\pfH wѪi[! ? <.3Cۏ%TiE^RVm}26xѣ: -iDCN]a eW; c*O*cƂԣ4%DZG:Bۘ`sVb+y>[t~8*Z% aG'I^O ~y#oP.s,:;LJDE {hM5ĹUe16f!fRaKqCԈKCOfIXs^ {QX "{Ly7qpb7UxKtboBr_/q[[C~ܶ:n/ג$SLj(”٩Q|9 j\W/9C%ox.ஆZ"V؈7^cs~+9=DblD_V~9)zQ'q- z?9yvւtZfn| ymlB&֙g|i3:&#yB0~dxl)6Z7&aqrf`< T+pD`srSFoEI+}YDbxIe8@sļsu aG>y!y>1g{==5m[Ce:-F Ǯ 却D s5Lyûͬ8ۡ71ɂT2ޕXkC^aku AXRF|P9B&= 47%l] (}hKP9zu B)JBƏTR'a!K:Rr0=01g&%,Q4.w6l1NFgDŽ"OW{r_MޡiؘH6 9|6PF,pm M9$z9 TW]@6WJO/ S% qO)\ H`@lKRAۂ[(MpUTuId_", ZPw lPEzy() Gd"Ux@zNKc=~`mIG_{!Gk#Z(pga }cOr i= ,I^g15t_"iêE|hli&gO"lNW pN?2H'z ujrs ؓ{HkX$\,>r$%DXy1 5,uij-=!%T__fIqFRXaD7oڽS;PӍ%Gkg擉N1XEMCU$:B\>4zbIڟsSm&*?ŰIh}LM#S[qx㋬l#C*O* k xpZ^\b_B1o+4~6s{G!avB;Tx6Ct,%7d9YFPh"O\H/$v;%=L Xt^f&U8ԩSd4?e,Q)z:'Kߪf &!5&ۭw+!mb)r^ yY`tPf~+Rܕ'G +W|2W#C”u@:#RYډ݈HMG"W)Z'MC\7[(v24M)V6wZC7mUCFvޮQ'ʎ f6LE?PsO< ,aωfWJ}W}0!D怭(H1k+: d0-lP/#u k> !ڙP9Oi-s>̏p[u&ʶN9!nɰR/ؠѬ%6a ěIXacx甔H 0^ ժnqLS]T3!Asܟ[$mZ p:Z7 X&^ D3p(w`x%`SuuRj&0 wVL1tbU'q̬`ة|c)kAGv?ޗF bzk[(UEml2f9Vc~.<9^`yV2kN`n˭oN285V+AYd&0 Bt Κʨn9 knj,r.2@5 UfPr0F |mQe S^$x:*Գ)ns*?dH+¡!b\ͥXteqz%gF@mQӤgQIuy:;? 0j 40P4'`#oWҾwc\hV.sd@m m>yM= 9e&W.}wu\`sfti/⁐N huʆXqD <){Ƣ̻di>-3Bڡ{K[ؑLgcq.meH};ݵMz(:eM#-lHM6g\1]4z 3yE<>j \f4ry/0uT@&*JCH{i 4G~_z`T;(hGZ> F(ǝ.9UKcW DѰq?iӸh$ge\i;rZݭS_nf CFqgc'p !XTks Bw~-=ճlHUHPu9h1(hTyO%(g۫!(A^`1BZv{JXh8k!kΒ@kc~8fT}PCjc>=tz1M[ؼ긞U G6Ě%2Nz$MFĘ*)YLCF>%lcs2GgNjy6>#ieZ\=?`{GZ;RԱAx`ɥ\ϑ+ܕ)Lu:QqT`_NmH5ľuX fžrWJ`zN6I7SQ$7Q<νpK=̀&vI3o1O!d5&e9pI#p[ n/4a*#LR+@'=1D weWAY~쫏=Χ&ir.J`" ߈Aª.2բi`bG={?ҎMC=4&nEIwzk(ĠUROnkD<ț{Ѭ zy5!l:lp3w؆`TdR= 1|Y/8K/ L},6rwؕ(S 'ӁDd5׷Vq4B.R,e_ڂKY[:|<L ۥ%̑i%׸+jH.j& >vefS*xp% {·bYM*Ϝˏe/H\AePB2ۨ.X5a!k W-V}޴YŏF8Ae1"ؾX >*d ?㢏 ى{-[mߵDoM=K83hMdck~YUvɢ>iKr";/dYrHٰ(!Ǵy9D5$w'bJf):jbPƷ.q".w/,ޭD1KE+ &=xhL/䱋>3Wu'_BV|jW ]X^R :>#mfVSK[_3- s Ò[∃0>wnG`бVZpw#WJ lFl fzG`~b,);ąL6BMd+ g%:c :ۯ穽$)K{w}%VBl:@ϭWOU\jB+ eP y@>Ĵ0Ws5 RF\[9Vxv͘3 e|U<XX2,ፊ `]5 MvĤ3aU~1%}@ >wGAmh1ḭZ3o?>;˕}˒G[vIqiꆐ Z5tU&q#<4,WctY4dV亢% ߀1CL+R)0À*`%x!zP^/H(o7,YjfO ȏ\u7eކŒ1}sEG Pϟbhw4YUې-Cy_0wK5%/ &Կl[UϠX7u@X5*0vv/=PqXU溠XEYlK/-(&(;.Dd2vv_[3]O:)mծs!m%ׁB5Eo3adRyaGE)Ym7Gai` aYNtEW<:^A.|/ZEt8S$Wpi͸.~*ged "F:k{gcYasxUݲXuyI4bNZ\vf[;KhN5>9=3HB5[!`oW<- J:5|Y\Gx Tuw# :qci]BgDr+B7gR߃e}XJb?$S8>%MD ' g^nJIr;:xȍwa!/P r9 2r?Trj @.fAH;& ,y̟Bs.VWgjXп؅l45p$pj\BFx+âᵉ-7l,kj=gUa7y]SklV-$Kem%>F@\#ۻרA}~}G]'-D(WAG|tj'lYhs DѤG~l%ot<ľgx6s/='l7KB͠_/t}ܯw^ܼHT~ok߮2P@zk]: H.GXJ a_r-m8[I`*&(cy2 RňYg70:oV94W& \M ӏ~>7EaxꒂuxFe%%ꝥ{jBilLhba]IWT,D]=o=PK\uz7 &=@GS.Ưt<+!uu<8g2*wL mt`:|Do ;ʨHđnRUkr)>_8c|埴yߥb#GuX3KD%7t\h/5X<*Q]D+#`^a'7I g! ^q;)b{> \ptl B˒~, 5ݢ<;yݶ^~)L|v?N;$ {AA)c8|}\0Gɶ Hc!)̕AL1G r:֗: &Q[  ؿb:6E>!JtJgYZ  I_C.+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy1-+-ZF-InductZF-Induct.ListNPIDE/document_id984,1' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O C]Άxʆ5.f-9 rq973QL3}5G($n3Fש`LS9Q{H@ UF]ց'mXiQ |L2<2MR oX޲QG!d=z ~i-ac/!7TơV:YjkՏ]cosȹkvA.ƫ|5v4uedSRu_5:V1l2w"lh*ӟ -sy5PF Wg>z#N9qؿ/XRnR:8 f\Į$MF+۟&&ۏ55Bw,r5=;(]A{0/ jJ=Ю],3BoC3S8UEm\pB176 [>2vЂDC"səvwB$CnN~TW=#¢4HQhU %}? I;*Bi ޜ"ReR\LtWxv;\%ie i>&D[M-iP︿QTpo>\b~3/I&R8l>#a${ECftwN#:bh,uQK-oRnBbFп\fhz,cн?XڮOMm>qEe. KI:UzgI j-}9GX";_EXXPyV=#{&m^7"qC 4_"L q܁s(]fd9Vf7+RGѐJ Ȇ_`NB)Xh<'Eė>@m_T$.vIX`:jeȝA8"]ͥKrrt&Z 3{ xÑZB 65Fp %6@OsL5p\X $aOƄ4eTkFR̫$+#;Bm6A;^Fsɀ:@;s8-(QT0]*1zJ[Uh"IB"6*r>9GϐO YvXdX`;X.fj8 ˳c48`S8YWK2$XzZP4?+dT:YT,ͪ n7:0>hGzDĵ-lC/@ B 묤ĠYů9#U&ʹ7@XV8 9S(g=Bތ  '^)J5{cf$Ic?kbq+UU]{|~x'jqϊO:#$ Wca€{RkG;YV"7P-C|)Ε%bkDfWKe8b:0p*B:) V/ШO4&hJR>`Epe^Ժhsxe#'f Hl/}`*׏& (e2x7 [fU Ng _+i2mY#~!(tWA6 c^7>y@?g@x)gVLO͡Hܼr~17Qat]s1b3'%C.KapJP\pX*k {׏KYS{; U!&͕3ʅðB)7]T? V!j.HZ yY#YDԾFMg] pNiU!˳dpƇMhжTjO1 %#\բPh:lK=e&ˡ+x.GD琥p)R41'(N cQ%6ܹ U:֙pGHviJd{Y8PY:K!^ %߾% RlD0">?,\ }6~TJew 5?g21ޤB jGfm],sD̘Ͽ  "n~naX&ζ 9M_oݪP7sԛh c744JL)8Q\}hS)=E[2 ƃ;Nš9%@N݃K G E.cQll0S ܇嗿ְUMӡ;n u;+ټwm355456ÁP~{=M /fZl-lO'DV{-$v2IrԐvY'GmAfz-Y˱ZKNR!ܸiq_h:g41`PL MzmvwGU<@6ᓒ"{QIS2wєRO^28O>\WQ0ux#y|pOZb`O+1оQʠ-g2 W'I*ie(L+[Y9AU>ǐ"F>e+ŚWYM{$ѣ{ PMxzU[貈yYЎC@,gYZ+ 1# T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λѡ50L10Z^IMOAWClC5Zu&h1qW m$[1VR?Ժ[Ra@ a<9Ua%AG8eDgJhO4&$<5{(w[XwaZ[7*aǃXOFR"$՗L!o\S}f O hl3[zn5@OtI*ўfVói- '~2k& ff/+# dZF-InductZF-Induct.ListNPIDE/markup7zXZִF! U)]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @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粕@> /1|. f,dPԟS-U,Mğ]>s %w" $rV3w@XbPeһX,^~iOx>UŇ!;VċQۑja0~7,q5+k:N>\a$< 㝙-\)`r DLm<N`bZ0qȰ 1]}]TZPF(CrGϻͅʕNIBgd^te6DMy2J*j6 6},ta~~p~1+C~@}M]zXRb1\MOI=5gYz=Z yȺaݔ U|1IO9I>heA;*:qFH}4]I4&=X*w{ǫIPy\\Jىsnr Ģ"a7;&Ί|?|GS'OK2S%lY[__hy ?@3JJ.L H=tz5:k=2di~|E%G~v̬ؿ@~Tu,ьFt5phq1Sv٠ ]VCM9HjSڡ|:Gv;00?UbM/Vѳsk=Aܑ2D;T\$J>i|7 =͍ m+Uk6=,Lak*6.VML PS?DcEiw'v1thx}lsGR=؟8Yf.gO/F< iEGq9QFwd3y.ŋY8 m*> o1]'# IrN rL<)OYnUS?n:O;oǿt:Tq3X#;BL۹E+dh׫ҕU-,7#aBgXb`\=x/kLD$ 7'H2v5NzK$Jкt˩15>v VFlHrզuL1ZGK^tvY9A#'m62}A@V{=U3iI\qP* o&A$A=˗jHؑ=nxZ*#N̷^nCH/6]Nfax( ܞR_S nO&*TfTG6B<*Pl;CAN/trMgs9s!h!qԱm`rD0f6ދh Ϙ ' sJ0ux- WyM\zRf, ŠT ihYL<@I{La˧Mb^ߝ˫v\P0kK>0UPVOq LFw)H?>L҂T57WYt_g\}1BnE<0_&]0N2YWN{7 ͊;+Cp`X0W^o%)w0r?f"`(E&Yׂ$m].`G[Rha=[󑊺vQ):_U%4_V+Ӵ<܆2@.J@|es7"[>[p#ݙ3*]ըȺşߵc)-S.یD,*q^~^MWV5 P ܩ:t X3\P$Lރs@~ٛA\F~VAffzY$Zc;_O!8Fr)Cc4^?M8Gܼ^R$Sє̋8w:'bjU8Z6q@\+[d3ȝ 9_\pIsZ#'ФZ5JD5#!8*_{˛M hǿCxF 3wkPG*# ˁAK\歬bm'BG.̶ bNf-M_]9!ӻ(wEIOծƌȧbB}%fql+nAڬ/ǰMY.Dd;HLB\Ra ދ鍊6y[ =SB-vJC}.GdDRAMPa,"CFI}9Xb 2;&w {v _ql׬)0:@kd \ۮ<2u8(8!m )]i=v{'Z{dWޛLOqJ̤ zn*HŒ̬į:[ݕs_t:zHYn/ʊ $#Ӛ!s;SmsF=xst FqNQcte=JHΗ!4AdtG^jJl.cDƍ!8OBti<6I Pĝ4Ή̐#홰+h[:N\@>z+-R nn|Y%:Dki //L4$%0hfkW{x1Q? jX2) ,~cCB͊PN*dɓEMw٩ESs+ӥa:FH\J:seG8A$c3hybw5xxt,4r-m#{BEج<7E76$ɚCw:BN 3ǜm-ۭ<5nQs< I\1ؿFqZc c @.Q˷qYgh#8|p)%fz݇gl!;puR?I2zVZ7ɣ`8&Oƪyjp4|17S'_+xIb ϲZBf^re&襢 q`QbsIO=)L dbIS5rxC4g'_aGԊյ'YR״d7w#Y\ǕF"UPH{Vr49h5.VEfWF^ē8%^\o y uQ*"!zg{'Pȟ8$]<5fh8ʹ:DE%nh)Dz']Iyɨ^Ri<;=NDvQ @=޵qlq?Dr;ُ`עZAJ >֟ayAIUbq@ӀOQo*kv`%7xaqWs@`Q~t-R /`bZ}x`m821D1Dw^)h6c2Փ0*DzFJF@c/̆Ő8{!\l?=~oly*W?x{}VABa>䃅 aOT8&|#^[)|xS!x˼Vvs0pƬ!%Pya#pDb-LUθ :jRrc[hKtZC\ Ţkw6z3c<>Nd Щ[%)An7ʭ4/W_Oy#/_CS5WlOhq jO*lꐼh#,HZ9|\z03t-}P&Dŏnz֬'+1_n[eg>ymE 0i=:+3G3/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy42/-ZF-InductZF-Induct.PropLogPIDE/document_id108<1+1"ZF-InductZF-Induct.ListNdocument/citationspaulin-tlcaI0+' DZF-InductZF-Induct.ListNPIDE/messages7zXZִF! {Y]·Iq n[:|&[zׂ#ڲ(W {H9 ST UΔ[wZk^r z%6,?}z,@F##UVOI,^KPzQ " [*iax77dav2(P}_w4&Jx[t.I]f%~{9#Kf[0?'A!ghL;-b4eqLV3tϳ+oǬ?"j#킕bd/oFfYЦ} LuKIPwլa\fI]襳 ?6bK.dzeFkU (3d 58U_fry!?픽QڡMē- sz $^Pxg3 )W60V\/#\gqRn疘!s9`&=4:$j}S+a\=p͠{N`)d_fF=tB28Y:HCWV9g޳OOhctء} ~9$gYZ4-ҹB Du2'%VK,5.Ұ^D^; #mm#(L- *.<ƱOŜYXzzlu2IS80|MB=ElڔG:\\ ?BF> m~hSq YUilMt@ jo:gaU݊(X@(؅ұKNsnOd}bA$ۦJ"#w{mӈJ70E[#qks.B'Ss V.Zec$@ђͪ``499A.MB+#uզQɠ4Ij(c~\2Mjq0iU $9b^VPgU`y+a ƯnE](k,Ab>RW(~)&ݧgnt?gn+~d$w7]+Ga#e=[ltskh{Db\gFyNzjNAd輲VwWLGLr26=LLLx"7l xC@h ^ay8yDM,WԗCVFx+J*ۗ„όm){l/"g0y 6GcI+W%"F~een=&ZfkYM媀"ck"駛bEks/i*? ^+K߻ZƷ4O4nEAv[kP^. $rã_smw h]Qq,:O6f2IX/s?Ұ\=K*pUGxl%wrHÏt'ޓWr-ۣ W>"*Fr+n` PS~vP?/-m^ !tXs/y!p_o-gn䟠HX.}u r;VAoLcRY8Z>ط ڰzO|u j .Ě<Ȏ*Tf^H$dl~Տ]=h;d>F8~SB:gpcHE3_C]s.ңa}OhC 4CU×YOzdVa`wӨ~<Ǜe|]vj4)=rC>1vF|!*=пމybSRXFՇ%MzrXAk6!6aa-i=`1A8]h8E>PdG{:nnRqpi2j+w';% `FAv<+-q ,,R<:? BO3. b'$; D%pRwJL[,\/\nyTy2"v ZC~#$pb J]ܢEV!RjuLjux/wNۆ x>{C—Of+ ry/PSxb1Ec(+bX3[ޤjVZe"* (`lb%\D+a$AٚQ|l`KلцZk4MzϛGo[p?b ~زʩs <^`}5Q>nB_R]è}J_Fn @fCScgd^$a$Հ>!6ΐj^oP-3t:s-z:G `ר~ d,qnn z1oܜFiԙC!"(L~IoTi3QU~iCr4+<&Yi|+~fNjFO: z)Ce|qdqf@\d$Ƿ`>k.8>TkF:}Am[Gqa x3qcܨ`10a4a,89AΔ a0#Ok)s_873x?Vr^2uH _Z_?+`հniK &r=b4pj#IgI:[Hi9=$?I!>( 9Zͽ.Ne7qZyίOb`I{[yU޿^S xgdRBn-04aOfahq.rL6*YЯ.3&|o]ocib ᠼtQMy19`;0p+^2q1H۩$@像B_N\kBM #"$j0xn5xUpaMRy3*Jm- ljsI t$dPF H0eڵYo)G5֮š$ Ea.,Uu݈y\ȥ"ioQ4j:}Go厬ɶ{R7]=k'98-]>o9`"sS etnqaW dȃY"T^%P_%6" b6ʁw]syŴU3I=þ6 0~cvְM:sp*ȖE~Y ϹO$hHi]W-%mft$E‘J d!9)zU$PWȥ!ksمp" 9U$`oDbZ"Hթ0alcAXQ6̎ u11;1>-k9A wK\X2 Fgܚ۲"::nRbǽEhoZ1rm߃E1[&gxŌo Ke9`R°BQ99l Nάt\ڽeHO}a =iLJ퓴Jd3ըN.,D>*0G:7]kB ɿVR-#B;Ɯft.%&2&Fk+pfkR1\.CNֽ3}|YIrJ)3qݯ_s\&@(n Icw6f;>I xcGw_F޹B. } D:a(o^E14U[u&FOgC.Jh2J:!W6bȺ;p'4 O[ׯ%ZfW$`# vp!3D{|`czBI d0S|A}0i = ByI7g*Jmjq"bяpSy'L~J'YxcΑ.%ǻ1=0:Gi95.Ψ<mKp}XDhrHܜ< "yjF꫍k;ê n\ij jغv .j>FLΧBg14I ն0b"p,k2`ָ*ՋP}l v/:FTuG's%fkRO~u,/6\bTm08.+vեg}FJ oG HQ4+^6K6pG]},H1< jbxȖ ZPY gƮhR/+_%PEKB7QC 볟#cY:kNB>"[L+{*CFYj~;kbwɟ-/CfO>aFC0`MR=ۧ Wi$.A]I곌#l5䐢ʠnGR2{/݅oL!20wlwl30zD,l%~,>ԥS#t[Nn1T-g$TRJ'ddM/qRtq8v6.3m_7g!ݚza7!4IcOW|b،@Eel,WA+וjƤw'` J`A''v> } M9ԏmL*bM2HQf1}߇l[[v^L7bɍ:% TDY'Qy/p|ADžCC}x4lf !؛r~r?tz@2Hx?suTƎyuLuEqo^OIƴ,$>VW5ZLYbUNԲ#R@4x?}t x0etW0𓿉yh,/'󭳲obKW[ދd@* H"2\y%G[wn~ޭ'UIҋfm^o HS2td(r??uS8>#;EU޴;z9Nޑʤ7k@4ۛX HNS(MSvKQ?ЇP'cף,`5KKYd?F&X5⇧37l ɕ9DrK9qs2{&867_oIeck3T~ljaz\%oIap= -͚n6 jc&6dqI'/2 1RC!rVAUf*{F<hMZM^13~/uQq}j#OHQ2PA]BMZ\njx䝜*pY@x4ιykU`k;}%7'N 9OpR+eo[{G;h^ipedWEVgWEϨZDFc@.)*@qcٕSNJyy1SZ 1J;yp{_F^KHFqx#5d,zdW9P]mz; n3\CrޗX&J3ɺ5S,6yϛg&3RO}*17(H'a" -#LdgQ"d1B :9dz  Ԁ׆@ B6y\:-2]˦|<͜XUt4kʕ,{y?']G; S- 10]^۰A EAD֊V̼|@gYZ  R  8 )# dZF-InductZF-Induct.TermPIDE/markup7zXZִF! )]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JE̸-mŝq9SF{o"CȾ絛&ZW s eӟWJ[Ri$_P>|1x7M(6c-7y!*]! ,`7|INi_|2MtS_ x&d^I#K~,vjWR!ҁb ӿν0H 5'жڱhnes/$ҳGr7ŕ buɝ}:WXF9z2.amPx@%VR2܆$f&gw|<ʓpL hp`Hkrr578 @<^ae5({4ףT4ȌQ5 "|ڂMhٔO78D!MB17 R챈"}sFܸ 1_HZ\GgO.?6؛KP#X!lA?/);ԹagH k_i VlNʂ5-?ٱrv QMŅ?q-:`νEgo9%xKm .} /o"ZDH#b[S ECL/%},[ 7:vg.*-e&_4Ƣ $ 7={JSVWQ I+Aw{s_wNL]AWoLBg*5H+su!zz < %Z>$#>{?Ufj~ith|8JϓLȚW&ܺtBH4L_"`])1#u*S@>EWgNc/#AH`߀S[/32H4sٸlMnoDB6vŪ|/#)D.,:Uj-S܅iO97ࡍ`f3PqFy" ,TBbe`~{ jGJzAh?jr$L F V6nG!2iu8؁H=S4 lj]ѽ4D({RSmQLYkII gg!g:[󠕯46Kh-*VIjHF< o+u yG5=QL\̝o[R::Q- LCـ;$ ,O;XĎeP=HfWIp"! *x},(QZ6yR>q+KFˤ22d}cY9$`x s5Hh>f3l|_ƣ̓مu8xjdp YY,|ջ'7YWIip*Xg Ah;yG;"|O݂GC1~af*]rWMjwΊ ܖ=ı:Q$ms:L&SzD} 72̹-'m= B*B;WF7v"QFsðħSZw"ż6A7)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy16)-ZF-InductZF-Induct.TermPIDE/document_id112+5/' ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N:]·Iq n[:|&[z|O 3O=+gl1kM`۴1՗Pp "_#%TdF+_"U}%i 9m3d ~gE,LĂ֓J RtP3nm\~S%̮m)sa8h0əLb ;X?P7O.]zɋ hI{)XzӿCfI$);3x5HiR| ߘy5¨Q, 1_-YycxJx ڝ1#{gYZ7`G;lwc?P}$iG2[H0?c (pE{# pD0w3˹ Ѥ>x[6jb򘠐@ &@D`BXfKrzai/s/xF\@;(Gul}} cPˈtWq1@bzmnUMOhj%BtubĮCg۾Peւ 3,5{/yȂ%sFJ',QC M?esԭRQ 7Z-*&R؍MT EnnF}u89&0Yė0/'-%1V8ҭHƝL%!f*^(JtXPb&ˑ ZP\Vo?.J& hbEO/ΦTּN8θ%)[0 -aݿEB#*"uY k䫮3:Ē-qx$'qz >ZƘA#w[8vؔEn5'bux*wO .Ui̕.il, Y?z)Co4X}Hm"¾A$vK5$a!/|G dmV~4SwT#V֭tB`(Hًxÿש]/-wma_? -3 QP΢\aw)-'hT}d^MSV Ke.''}9 M!N솪ܭߕ]&3/ ѩk KZ]3愅(͠+ kB&[ [&L\_:I3(hW0 ,R]vFpOfzr&CuȖVkPN~W.fi/7gax|@pFN'Mp'u馷K$R v-[H7NۉlݑoRE\ђvC4/@$ʥ8[&7{>VpUSyu(ۃ3ZC m۔.3Pכ4w*azڭ7jVuR#DlUVRjO#=$WPہ(xOP3+F oKa}%E]鬉-!u!$ Y-q]ǹZT - \KO)NSKUt" L9 E&PTWlQ " v]uƶXo]!O*-"Hu+sB?#`x^r!;, :G&ɜ] \wA44[j4 =y]?ѕ>1,X9 ?S)ˑny]YS3+k¾կ>wX֕ I*'Nqd,3#dVѓMh}l'CnL^Sjڝ*4XzQhr?W' ÁgQ<A iKDF!/'iT@,Xef5z7 ڳF!f/ffP@9"*_"u|ڝsW5=:FjIlkbV ť^hwmOqKe,=DyDoJ7k[O>_|U㏘<JPOiD1"lk) Wΰ!TNXVm>(b/y{]nA fkf踴vvL+wi(4[FI e&1? Fs`f= =O\3[RN Ζ UԎ7ʁk , .)p0vxN8ˍQ?EY7eJR5^aSuQJM\݅@53V%Æ~{N3%~ BA2* J"Im$h_z 5~)13wpUl;uzV03=ie"9VQ7fDO]]At3_KU]Gɾ(Ga5caˌ"i֟[S,sX2i'}mތOsWG2%wI ']+P b;kDr UZ!cZrG*?Jw|ڃ)_V!sj}($b=OŸP-<#줂Wmʞ MǾy7Hz'$2a0 V"_jT0!u:;c /+v7#t a?*Aь M_^fOD][3؜&HrY~4yH;FJk8WTnDc 臅ZV&/Ӎj$˞(~n( ,"mM] GD7!y@x*|x nWOY0H 6w|;ACQ2cWdS*)DPOW=U)98f^?.4}{csiP%[ȏ!F7`^#@mXOZ1Qv"5(ejtPY"%e2pWdHgGrLN˝Ou*0Um[*IE÷I& hgmh(|}&}+))PJ_l7sy=dqa^l 7QNɻ+Z"4Jvؼ+$C9"fIr"ɶsPEag͢mkehhܬ%*'T\T~P~/.;E底1c>L!H`zha+^(E3bSlw.f3ø"4D(}s*Z_ZE*2/e'J%Wt8,ǣ9:R۞ڷL)513vO X yk ]dװ|j]szUaq/,xPRIe?)26}W~Ay!w.bʷڙT2{,u| ,yr*3d?0ŀ[ ~U5~|MOZZ*L[Xp`HH,_`܉zi?BD2jrJu;yaJvNp MrbQ{@?])ҼCjrV,CGL_6ks%vrwt@8a-T(_h[ ?y\>Z,M3ZmHw1_sOkIńqT*NGz {%BdH̟C#yX!$QS럙5Pg{Y&RD,՜As]qVnhx}hw,@쭼_%5: 6İ+~Fv$H$P DYb*`cM\i~"0p-!nZd(NYt_\Y Y\C/r A`u?8Xkڼ0T Mu "{%4̳#DTM lfYKͯd} dനj " gƎS孀vK?V HOv Y,O5=,Sxf$:;c_+Ө#/&erV>fa;gra%ȘZ?vjkz/C3H⹧ovAԎz^MG{$KrP+h-],yY5A{+-NG-`E|0Oyw>TMImd?-]y|1{߳-$${;ւe锗ƅDRR'KmX#\\~ww@/FcpmWШ1ҍ Q:>`~SXsf77[`fڶ\EZ1b(PĖ]13MErd.qL/DWFýdݿ'˰S9RͮGiJ:bhZxؾEzõMڂ"s@\Ƀ`\8H|$@'Ҁy@>~߃"׵jG*k4LKѥ8c;Bİ)=qjaPZdyB_uX Z6+HΈ~>Ekf2D?洇1֟(a.+11 V]r:}9r [b!mÃQݚ|xux4GUv~D%u_Y }l1ﷀPvZV8^@q1E:i^u=S0.2MoLQ3V3E -܃)bFҏd ݩ+KVnG3!ٖ݉E`.f2@ H2Dz©i}:̈́CPK H<"$ n ;ΘcN9-vڷɓHʽ1q*OV> '۵ͳɈF~H uTH7Erehv̻Mh oe~$GVݶnd6kϜ߅AځT?EDMt,8rsI"9u%}$ ,OhsdXo!48,H1eB* ezڏ'PuW:-Vs"pQ? 2'oBeCr|Xh2x81c :飝<_ ko苶UHЃ.u C+<^JS==BC҇cg)[/PpkR2<{ 'plU0uaʍ]M,VzA6m.Fo'fmd gM;Z(59ӱlU{,u!% WJ5Ko-"r:f㌎V޼ܯ,Zt}c7;u#r xdlfN3(i].j-CwGKM+Y+9Yǡ4p܊gnuQTHU۞2/1ʇ z2S '^X~ Sjxn$*LV J3r#qK3gvpSm/ILl(Yg_Uۀb&|VYM4e8;L\i&t*]Pcc/>1@Wa=^ ʕBM\|xІ \Ӎ0υu,C%?4"ę p"atIaߚ|e<iLT1Q?߿8C*8r: ;~\g*#݄5X܉"]J* 쇰N?$WwFn^٠6)4v/]tŽHl?gH")NkĔfr0w8$mȒ,'c5[l ++ɹƑ:(03b;T׼~9ƶtյ_2 qM_MB"R^xhq+}ߕ4#~d_;:$q]{*6=4ZN\*t2tv$o$ܜԱOUݠX^>Tfĩ>\N[Ϥ̮ۮ6aLIT~Xӝv!)*^% e d%!LڥS[c5 =W%3B:dOf h$ O\U{I~5a1H R>.RP ߻PtJy 7 >̾\" QO]6ʤfE5ڏi+l`T, yu(G@n,y9W@^$ PGubMP^s6OMN@KpM~ҋz^^ &F:m:cyh&I`*G^JzKRNCn=|XVawt}2In+El+u6Zsq$FY~$V wZW'zuga'BǸY}M;^ӯ\Is gM/M,A-)$qPbaJ@ Y,/p޽X[lL^/~$lDa.OӌH"čiJX"U$#_Xlԭ-.dX3(&3Tyfr=ed*l' |(~hbl` y1:B T?1Q#ORѷND&v򹍞  *ätep$?Ō&ncbU=.6Uc9V&dy>a+Mr_+]㯑{~ U ;IkO5^S?o-+tQ؀&K!a4As SVS3gYZ YC;+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy2:+-ZF-InductZF-Induct.NtreePIDE/document_id104p9)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}_/w|3rZILJm@,_ԯjMPʊU)o~}xΦzOBNV;=/ѥi ɡofiM],5ENY =Vɞ  cHӆΧZ^J纴 y{X[_ [$Y0zysf~i~M훹@݉+=G۾AT#}vmS_r|IA7o OcEs )+ižJ ؁ѱJ dU@dmOۉkzA@m}@ @YNyzB gE&;^{?~RP_t:^Յfru)vIHy~y{!s3]LkK) _2+ɠ㍕*W}EK#fc*c.2YxiD W 1fX<_>R"FC+Cjw"h-iq~N!pJr\d`v@_"ȫ=g?9e2x ATZxҎi}2)BY(SY"K5f`c.lH|EQN rG2J и=IEq% ;vkt),DQqDPVn 霣9c<tM Bpo)̰xc"D?# d8Â!Uqzwq >r-DX!$8řZBw{&E2)̯c "6(DL%׽ɬ_foq Lg#s 4]ȕF(9 չe8gEEω.S5=1QPq-g|tp!2ϗ-H>4ͲV4+(;iJӷ]ZHB:B[^tkg?LO*Ky#>Ÿk<k4eb_'bP.c7_N$_8`lgp}yKLcMOlpTl2Ϣ6RKvYt~kQ6L9 wJ -x>Cto6K^7UZMNQj:й/UՅdz`ik5/4?DZnc8~ d)2U \cqV"h^u bjiD_pfL$ƙ;<_yg[4Y(,L V hyA 6rp U]H\!j S+&-{`QwE݀טXפvr\og%9e z/~&_qkjyW@⸕=으KNefaT75Wȡen/p̍Vcx-n?`QGTv]u/P͞]GOE%(V~t7Z0mG`7j~%CU?)N{|w4v_77EGF SAr=⣻,\iC]ᣣX a#rdA1GG$|SWQljRl;0*R2+ y%ω$ejWںL/@;0>㼠[jza({#dok WdK<4@%P%+ MTjM4njZ$>LLD#7$n Q9XHk1M!ffU)~|vT|v*r3Q}B񎶎N߅= gbڱgYZ s<+# ZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͖qF T 2aqѐ 2 |Wn#OC̀c:OOt-Nua{-M) y&شІӑƑIe?4BXp.wޘIAo~_F+_1 ys():WBe0$YF^ &^6!h:R㩻8.&ۑ٣u\+ya]>Qy^9]55(9h=f]ih`\Z<<*&Wi]TӵF >4ki}%Φ:d> Dx|0"K,t(eKD RB)V |k2B7 (sq F֪ev|Hbj EIr\2$)NTVt._g t*i( c`/Yߒla,х9Ж 6AA@+矹q˼V/z!)T"V5BJ_1*, ,^sTZ}ėqϓ[7%gIBa\hi8e |*MFmȴ) b `Y3?Nd"9L /.nQxÖ 2BvO庸8ߥ5! u˞6]ߩx‚ZG}qm35 7x֓ !Tt7Hhԧ鄎I7_(bz;UOB%+uJ% PMdwrT+DnV\1FUm",V(ZPgn?,|:\u#63c/#AP5 &<?Ib{- Mj1'_X,)xo2VmT8v41~J.tli‹{աl"J_Ixo͓Du|$СvGB#W3MDē$թESr~^^[;7A?PY:eHNƎf1d$[.RZϖiGlǾR_ ^YVRkȔ_VFc{dNQnY3WL C`6Z3޵1(J^o"6ΗdWr}VJTPs8ҔbPq@Y7e-}X񕭤Ҍs>0 ^= S3H}Xڸ fn}q,8㿺hS5-x$ Ewn?,$0% +t+%E4OoҪ~;]!yL"IKh7^}X|c/fT,.ђ+08IHp`p/x/m$m" X}0zoL M"g6zUB;5IQ8%=X/^D(W}6a|xc,)&| pۏW; %NPUsKHRJgHe 93`-H|͝0)N18%aFwmiGb %XaZx:$=3▒%FR1r(D>[Q,0m2` 6w Ĝ6Z\^hlF8Н'@ a>pX. Zk7q̴@"l*<`YS4gQPݞQG_vOuy SY-ٱsJ#jW{o(UqfW=\s ,E+)eBxקV9tSk˶^w8Y!C"3)vLj2)Pض æ;ܛX-ۇ&.MBCW#O!AN1EolίX^W44G?X}EXŘ{\|Aґ;ƛZנ D+pjZ¶erg o'K?# *B_K J)$y9eؕKZnabXQjM_ji]]mf'^8u-Tv򵰥gy8ˋv4ڎb(HjUwGXƍOy͜քG~OaL([}lX{u7^/JJ_YOuXhXoD={*&,8C^2K/)FwlO;1:0$"y6R i'hzI732M%n ;/zGzԛEݘOQ#`%89/.;.7ap?VӰۑ*SCׇs&BAA/3dsKAPJ1AnyUa bB% ``hr17uD@%7[V |*hL~'5IKv<,24 6;c+ƲYc)ؠYl@@#+.LON `<;Y{)SttUP2 jSq^VIV 7 Q<4?0(YFt݃s0 $HEa !($lihr/Ā"ק^r)$V?? 㚉,T_4 joqT<~WB=Ld(&+TWE%ɞЅĖB Rj L( CS*(c~5p zA+GCa۔8[b }^ص*WH÷+4HeHJP->',f\{JkU ET0X}um8 n?%$2K|pZ@ٱH#д5֣L:HQC|w XO_ `s˅j+vd@f@ .hHƧCq/mZHreQ3HՐ NQWkTb9x(p2'پL[mwuNO7&:QeJl. O nyԖ4@Q-eˤwL-62EY#-bկaB[^Sn^l..BAߜ,Ug<7s &Jȡt^Py2|lE:Ϝ@p!Ξ>*1VSM h )twxDFDv戀lPxFR%ٍ؍UKg]U [T߉9KڈN5/pˆǃ{巰 kF w41azf!΂*sF9  H  $`D )# dZF-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[t`Ql0G02îJGgc9f@ܰkB-vkH4wu%^߲'O¡ݐr=brHhXP96t:.)Zt uħ&n, ;lG<~hvZh. Y0W4?1}CzL@g aw*>&ZJGHG?5Z7 9<hd>QSjgs;H*L1VHF cbdc{ŏd& .A#M/#I;2>AC)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0B)-ZF-InductZF-Induct.CombPIDE/document_id94A7' DZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[z}x /Iea&JSH 8F \1[<>ւi8VzNB *W: [/?H$)ǝkF:@08+z7 wQ]rE=k.>? t"]y A>s gy=Yo؉E*ѻg߲b;ɧY GG$̘m=|=NBBIB35d{kP2zKM-9['+L"SʡaEl1 O!sp(]'|1,-e#n-Ū_e2Km*#]d)[| |u cJ[FJ+GY $RNZ|<|?Įl%|9ؾCZ/#K>U&%^lEIRhG ۧ vL0v}Cll zk ,TݕCȡ+]*@!<\z~jOxmMNb(Pi>@I/mcPv2LQ ?JՆ8⹞.b-$?XZsrOXhv_`ȚF1-| 7+qV{i3/5{#)S;ظ֏Ndo{Gx*`sswkyסּ ZFj7'995lm?f+Vnl%Nէ0mLQXwL4'*9(-  >'>t0DlBLR x^G6$3'e=1Z:{\{Qh9vzBTQMQ+̢M0& y#|;NJX#bw`='T찓Nm.@G-Q3ÂxqACkE [ 9? On4w@\ cm aTK AgYZ @ 7# :DS Ǡ8e>] BO`|Tk>3`| k5"P~rf[7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1145=+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! F]·Iq n[:|&[z.1|>`KQ[y*[UG<&v՞N)@hx ֱgzmj]/aCe]MnY wlm|\zWڔڠ@Wz ̑ԙquysCYJ vM_IYO(AK:bb;oõs*216aɯk n.mt-#ע.[6(=8}e{F̘u{3@V%4a#N J&O%h)YZa0{[uu;3|&[郵` [ov&g5Ja7o&M~M '"/wֺ:_ g+~ӿZ9зČAtfTȝ#E?9zfTh0N>9jcʞ'Ɲh,jM*znk:aG/0,m'.74jXBw6A}O6|ooQ!muk)o7gHYO;]%4YªC):L[9g h%!^*rFs3lC&ҭ˥Gǣ9A[rɼ.达Gi2#;kԤ:Z4a!224s'|J57 /Eg-3 cX9bny~s:-S 0Q'KcfX.v^bF^_Y}}4icJ,u]TzB(хi<]Uk7 0PcaĽ@ځe?{4|fn&sTՎàsMl%^̟i̥9w\:G4T/|+c{ɟTwCQ5cq:Lۿr1u K^/}%^=@!MrPGfN tNtŇt{`90wm4`cT˔b rm0k  4U?΅yG t||]β`~`\rwy *tؽM;4!qϊ[]uEd bc@\aC4(ƀ p=%'f童ptr "%{Y䦠h}]񋅕Ifr!2w#LGe}V XHzD~@o"!w6;sjH3\E\`vPuk "3!TѵIȉ^2,K"M-Ф;3˧(){Hlvz?W fcI} =|tmcta M\E@5&IK !R ۶DQa&hm ;@_+T{&%*[8i,B2#Ds^kUD6\pE@]hR4s۸n^I%!6xnRiYPyvҌ02,ݵ"^FH(Jҋ>n =ذHճ=k̭`XbKhT)g qt ב/feT<Ǽvf >Zg40Zw8"MM_-vnh]79o LQO`$^Rb!JB{)"ZM*u(/vbiIG A wo=Vcz+ q dj݄DMԝI}Zc94a~ʹjroU+WQ (M Em[I;ߣYrGX)iUAEv l&H ]00b@,XʰrAi`p'+R9xJ|S%C=0}lLDX;?odn "ӑH>R8AP Aȧ>~GZB :)PɭqPx߁\A'm 1}NzFΔ"Ҡ /NTHגaX: wYu0*LN\v2ρ-S(9) c10'd 2=Ox紫^"~2kѝ}}ҫ#PMn2Zg_ڥVfɩߡ8H2tHG{jH9K *9Wd!BԘҫ\N4KgYTfrks'H@π0Gh.!xF"{@V(2u?gD0Xf>- =^OЦWw(N Atj e 4þ?!YR>d,#kn,(4`iv2VX=@-:PNi֡EzA=n:ϣ،]twm^𥽷7-_GsnƷF5>f)xI;BIm)b9(vvP_ F_pV?flsE*yd9H[O:PߕMUM؞nS)6҄TM)ĶCp8e- Ew֛.|62Yu]gL\9i (qF90!hR"O/#xLj~<<)ms:ۑ2|z3 JZ <+Yf)T2^pOGS=Fd'3xufZ F)|4RƵ>,D!zG/{4`canxǻH8ޅwסg/D  ƈm`|"QĠ`8*ˋnȻDؐ2eRwS{Oue14_0naiH)/\TcM49%`J",wmu!m3>j212Gm1ſ ^}V NFRsy>"8%RK2du7eM'rdH&6TkӀzϪ+/nAE~[buܺv-޾ j  &%(R6+kha-ш\5 rȨQQCH{PNu5[Y3$7WhgZzك3>(q4AD媂\D\V.X^֨trlwl%خ$˲ڢD)9 "$*kF~fRWh(G"ez6ot䲏jbwxN +ۥѱCzVk /`Wh֕Pju%PW †쟨fPp߃ ֒zsq²~NSٱ 75=l#hF Y;@4hm>Ahȵ|#p!b!өjJںGR4]6OoY_ U%|r>yLyF +3m5+f!xe>#bԨQ箛V<~xb,8]H_ZP{G+Xv#`qz*fc(P&H- o6l[amԐ[AvC8f+TB; b𨑍_JAKz!H֪尶CFPz@Y=1êP=B8d#QՎ,va4y%hUی_i=o#cJ,O<k*Crj-X鑖*kwRp4nP,Kކ#C}J<7kDl[Iu0Aw^NP9[F'WԒhGAZxv"#VD;Y v;md^M3xxZ8I*u#;A7~@ !yT*=F>7A_ XEt3<` 6;:7Cn@u1ULRZ|0mԃv7ْBu(->̿Lw"/) q);t{DE D!`]e ^8%/6mZd@U50 $ h%Xhڲ Z p^oeXEHhꊼpI᲻, Y.unre=3 8ȝ6l:̱!7oyYuhlI; XI'mjXX+e\BZ*mh;_j/p!/+bNN ͬ<Emٷl9(=Ưn`tIo#m$L3F PsSecR:i* h^QDzoȪE@-(&aEF71Ee.~:vxuS_d4}49ҳz$ 803|HXJߍWK.UڰVFn\ԁ=RZby/IF}l-v+f-K7π18io!6l׽.qRc:Lzc "ێyČ̜2X#>ݔ̹It%teXʲp`gM-Fd`]W0byG]JΌP*e]u~D'ZsJ (]-qMdjG0I+QEux@ΊrHAr+Bh l'FIz;B̩KG\!K71Z8~`1d$)Ƙ8OLa@fR b B鳵i m0^(EK^O98=xɌ$/;p7&a 7%sOŽKdGCP q jY }PbNJ< J Br$_Ǘ|7>s*ۂP/fh{$A/ ̡uɐB}aJ**x1y`D1l i'wGA0bUVBK{BC;Fh|Bf2iP[\A&xֻ}sR^FLD)a'PI髃CC̎k-r>__2U9%z!YШiazQ@b{1I׵5*sÅĤ;*]kM/fj܀bt M]`C`F&۵Z ] 0+R%qx1v!CG_مt)'̍\Q0nћSc^Ys$q\9Y'p] `7a򄪑pr8m9*Cj=u2^#D@@X_jh ؿJo5/8HH"@4IА'x~Ɔ2;Fhd`ZUwGZ)n Bc|ӻ"Sf]44e>f iI9s% .& ܫŗCM A1)In_oA$T%ϑ1K%KR.;|`M6! d U. 0Sg}k>pfqVL.ddž[V8 Z A[ѡzvwLJZN &C~Ia0hynE NP6,LQ T Iblf%6A4J])ᘮ!mWHҢ?Rw|R@723]=g~&LM !NԹ̛1~^DW M;53A% 7VL>x# q8vDy#UNf!4mFxk,]hnD=קJ%[S=&n]Ǩe YOa3gRZ;W *aU^erF/#kаפrnCoF;Uů FK|Q iW[Rz#.s!(q@mUL=@퓤p2}1ҬwNvпSţ+ wd3<`*@q{,"hͦlQ[_q pS!c~-z-;4gj{1,7ҿ'?s1XY ^7r -H3M)梮bs8܊2ӧ^f)+hѕڸCS=%mڇ問m3!|8,f\A`mi}h#c1­Mq&]>4wpN= O4T5{kc^!qQ&= +LF-Etebm.X h^(zDxURhB$~"nLp;#揼@3A(HDYB1-BJ'u3YB'1Mt #V˼ZPA#=fFLD̝QYhեqԈ\q~ C?% B6gu?Vtei[ZwDɬ`gYZ? ŗ3$^xOM3|OCk~Ig'S&/,5}>oߪyV~{ 8,Eg`։$75r/hYf75isԤ4jCz3x}U-M0ySVפ_CǸ}9Vb1_P;kzŕV) _|PR;(`uPܠ_˴MzO |V?G/n| ׇUC*6b@UGkzB0 n1DT 5RB̘f8#; - {0N03:cUiwzT@I~l}tsxL%O( ?FKXDC wTPyFiwc)ZKWD+A3I;$te 5ml;˜fwٮG%6~?eoUʑ0>J2>5[d_EJ3dsHݺe?^~bĸxBY b!Z!3Yk2ȵ5>0nUFsP"q5,wEJ1 ~`M8#N?>&-RKŠ{F,Pb\3xK賕ƔZ Id0 iĹ5{K\Ƒ>j :/Lӑ03524aCKЌݼ0zXPS5quy)y~3m6E#_('o={X>pcg7NJZwg4GVHMCp?z ܇ "u=hͻ!؍j~P0"iwAlь5<,*~hOGwt{FIwO2(:<0t vc ^Eh J*#E GW,^YI's퍟 V㼮\H 6=iYPmʥuzz!J*Y$rm>C3I: pqYP_`qmtE֝z KE^r8K\߻J/s /0[^ )Wt:Ž ':I[VrabUü~r A:ia>{wy%WTj_^G0K[{/AO^M-Ch0KڌPv8[j萘ñx`rP +BKj!b(% Ckwi6=@^P$2X!4$Ƕb.eC\W'<:=jB[K9<#gq"NBY]>^|Odd:ڞE(dMzdm\~Lgoq[;wuܻ&.]!TąnHe`8#ӴYBY'󋉘,HaWa&s$@5:fْ҄aqd3 zJ'ezLfH&bzgU+w}n4? 6']45r3b'[ nmwliNoq~Dݴ=|?[B+QgX ؿc7ky2K Dx|nLud*f:w*͑7AYr<@ JI[M5;Ykj9hSrpl-GSU:z vP-S|zA\ԭߤwgV(Pa@}uC<R%^zz6AS]r>U0aO~ $Jv<mÆwjc#SbMt}ZƱ=c6~+'/=P'\:a7Vj<_v7tFY8q5߫5`~Ü$y\>/)%TPn¼mۊME  jH 5nR.=eږۧFͯU9e]tZ<_G9ACqݶv, 5bvN>|u7U[}5Ori,Bx&YT$lU:آ" uDMVla,TeӰBwɔj`q,8nvj̙o/r3WElcX*MI5}$}Jd\:p}tBK>yRPI_JHh+8t_y#{,X碑F@LY&*MqbA SJszA$<ֹ.T`s9xg@Hyp fƝ"\ $qyȉ(iw7vJzH!7&fS~qiX^dyE`u<+ܪU%PiEVbCA)]w47$}Z2>xjN w*Ԭm0DtcO%ܭv]GNLש<޲A.xkQ*, B:\Qt_;pl'g1)տԆR&eyr| =ͣ cnB i#5GHim>>$na6H4 1S"_JC']H2xe=z3! ~s2b6Y%'+Jbd^F&nA/(Q*ҌKiН ĿFѢ.ox9s1qcA:V: rϙ"Jӈa^U}MitaFΧe Y1l@OiV[x H@t^[r.nREUϦkq!ItO"ؖsaanHS#9orBz#_5Z!BSPC#Akp^  z XkGj=GdGdu[mN~ #Tp@& i^x@~ieog3 G?WZ,YlEGotc`̰VGB E>U/+׼9~f\G6Ss~h'>hVԔj]ި)[6 rOX0j 3RCFkߧzm9w'=C- $̲Ag̉P1Jy޻ߦZk0JƜ5n Gv(+_#[gfӼM `ke HME{L)Q7kk2lV`͆*W,Q_G-qߕ|Q";Oȇ]ĩDK ,:ȇKt{Ud >UAӘҍkbsHu*&=/VثZ D{SzE]ffږ߈}/FAכMr3KXSur5!jh(t~1́Qɤcj5q>6L[2=SD/$$ޚx+, :FLQxW c_ruNݏG&tA}g6(]l\ z.n~905U<&ef#!V2 Nݭ)L[Jր,,C- gB "ƙex(z#oJ 5Œ^bIڻK9Z0PR>Ą?Ro(A^eg^ֆo݋vk!7d֘;g{(Gqo5g1yuhށSN`T$94wѸ "0E8[@0k2H4߳leX4_,t[ 2{_X3B#DuQO2~i9V2:m/oƛCX˼y>u)1=тȍ[/+*kҏQVQ@4;(7/@JT IXP|/vλƮ6FjePl T"E!?+Wfq/ X@Ƹ·Ez@>iC*=o*H)Լ"އ>KA5V._*Lv1Isu|RSjTOq gMcbC̢; @2ԕ*H;y9`RTeƜZ&o0(0qY4vpU; ,]r>`,|s1=KQscG'B[7b+4nșԨ``_UBЧC3c&>^vOjY~Áp{Uy!TG5v1*`L<>ݨ]I3^̦s<) EŨ:'b$}ҋQ5+=Z <?Ba0GRA9Q],`h7'3}#3DuX*$) n<4{e6d-XZHBk.u.U"8ZPפuFo2+#L(p(|KSsG"s؋`뒽Nuc+c?Va!>UaxGt2Q(Ml^sMonO0\`Dʅ'%*s[j_ YOd)K#mNG޼. ( tm~Df?cyG]$*,{S\T4ĸ#qRJCwmPHfacBjMP5,wt6T 5 _.wj?* Kd\v٫A\eJ RR-r6 OM؝7p4|&d0$* ϒ3T'd+,biy"{R|2cCfQC2J{4yv9Gt=*A፠:Pp9pB3vnb i Ιl3R/63^rCSL?ѱh`f#79D !jrH'9];}pt mpqZssmLP~2wO!ohv_IfIHgד"x:x7[Gۀ{~A܇!>?șNj)i=` jY5I@\`x@iDk6*^0@yُZ1!6-8jlX4\'S tc~z5tG|}yij$VJVK _;C6m=k,=#zR%#2!̙|^V!m\#Z޾&wQ2&=38ATmLG؎珬IԱuzq: nO;*LxF8գ3_2[T܆,ԈyiA.H8,su6PV"Q*߯nZ8L9fI)AsP C ]o[,kd<sgKs͈5f[,jlUN'ӨL5 b~>jj\zNL'Z⛬{B8L=;:ht@FZ4RɎҨ%5#)=F_,NVbT'؍f?' .8cdOψ#s"[9e/D{DSH. x CkAJ}!cZ֋Ӟ:IcC/+D®z))*|SFSN[5НX(r.ͬ=]uk>ҸxV,gBmcL['T,FaO+F9~dI5.ɡVUȩ KH=+w#zo `wʌ`E;PꊗJ:^arphh4|:[Ě͂,OJFbEæ+!1S*5b23jy ꇎc@Ŷ @=gMRvF8u@pT])k#le}d(dh Jlǿ;PP4%zs$1J74$Q@ Xp2Y{ޕL"2K}#=˪R\EZSOxq6 FNl]>`Nc`o^Z*!f+oW/*!s#k-KW}3=V2ånnHp0l[F?@-dcL%=G?Lj#:E؉._l3Mqp!AZوd@ !I^_ D\W܆c?d(b$Xw:77x=K(N_-^EzZİ`p:B<ڂ8CIxXWksYTN<[cfV$[ϙU ckw3>NWlI2ٌ\61&3P*‰#-NJwYꋚ2$VZz GtvSӱn<ςR)?uEP9г < I4Vr\m kUlu,:4TMb_# `c(~QٌgLdGq728{Äk҉ۣ\"bwCcE‚agYZ r !r?H'!،Ό kY= `MXmqvX3ߤA|IC޸!ܸVk3eh ian*h%^[˂X9Rsީ.WAmkNK4cqA!;_2?G=&*!h]#I,N\t333N/ԒGP 8\BR/uS5՟Q6OJ=+wC&ϟb pV)Z~r%%KdJc RD1-8&=j:ud5B3_I0n3ƶ:oum]&B?^cpg6byL \]7oeC&Ѧ"^%m-rlZ<׌di") v,ȑzevQ3+:Vd&WG|9 )E1ة]"l Ԡ_X>SR1Lo^:I_` AS }2]./Cm%AH-֔?_?% ]̰$TΤ0#K>߲aG0lOQ\_1~| a!<ByL&OyaQSZ"o=a:?^ʯ{L9uʔiA+_7AX#϶iVT"C{ -ڌ96MtbEA8L6`H,XZ{z7QqaRf޸v;4bo%|]Cpjo:1yr`2P e\$@*t8YP5q c7"T?Tͻ.7j4$/wI2usc}@K3go66Vc!j2o32|h\ C(!{{Ggp(69!+<-wU&OvH7qQWEp~DnϒKЦprU.K @^z2yշd1lz d96O5;2%!Wx.jc17LBŽ5a#7I6O~Pˋs ";]ɖizfz>@? QXԦ'~t?"u`%[A~K0?!\S60i=L\%BuR͚^/M/&Oд'v^61و*Y/;|@ΰoH1CO]p6S?MEIʆHuHHDbukN44r(gYZuI'# $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_;;OB`>R]d9Y妳cs~.ޕ? }&ҙ[ m(5MowT(~M nç'Ԣg*d(Z=UHYʀXI0̆?}g!{;s\Hg=?V8YLK4_>$Iż֘xyk6bwQ.{OT}osY4)WX x}s"pXށ <󶵵_Ut)}u8HlIud6-O\˂( w^HZAp7|t٩@ApTC9md< 6f_) A?6׋ I~ ~VV-X> ڣ~o*v8^·f֪O[ /Q!X=ZqQO`o1)Vfu@1Rhf%R#c;.3sgR!}lӽ,c0gy =i[-ᇠUPvbTɼF;0u5꺽tUM-u4*#Nw^-J g"7]9.{R6QUir3`|u0U\5ɭ}J|SB/`[ 5i1t$Q(Ls<#÷h_܎WNh}MtdLHr]ޔ݀;h"ׂv W 6)s%L@( AZri$LvZm!4Tl7:g2$0;h 7ڊY䒭]z7Ox fYVY+)+ftLِ:P5Ky Kt|%XDew.@ufiKf{խȴ +}88#0\i6嵥s1[y 5}`3+%V:m >Wf˲sy_ZOY$:-enAP IҦ+ ?^2ȗ7; E%cU.Ti$@e#vtø.yZ?pWLWG)do zWVO#Պ'+ts/!jKcBB6ޞ%4}r=!SNwgg)Nw 6}e-hc\B 7?x`TW}}LN( 3%4:uHA ./1` ya=p%9Aavzfed CqTgObYhyr檑WRՄա#$U l+&H=~霙j$ާZ)$m@mXJw$cbG#j_[cNMDr"yncVo??:{)+}3<<w.AưiWut0?2B3 K-) .;Z\бs!Y\I(3=}\aX4;>љ3izw#ЮV0ge*O]~73?]t6-#ks[!"-ؓܯ@6g#.x[RK>;c6E(Pi5 6Sn/s E"1~_l.ek4y06ZGC15cs thOAB)ߋa쇗FɬVGq(Y +=".qRq@xv 4_( tڃ=U~p-4bg&k ]3~8>U8^†@*/]sm-c.A7T-mii[gH0Bi5 _,x\'nP6}Z!EqМl ^h~a7<7s,Ta}4zEa~KcrvhX&`¢/_R p;:~$lL90RtrT _ fr\BsH4V":Ǘo0˽eJQ'M8H=@j[Ua ˂ #nqksZ%=xiG\, ؚ~{. =r8+\R][AԌbPF4qd{ ,j؏(|\sHrx2Hparx*Kox tk'8eh&9s HycXѡ+SQ*JpɄ}Idy7zhLE<ΑYrmCrhoMDVpVFddHi:̾c ߀/L|(v! >Bܽ2_ͤPdYFHc/hOMk]OY_aQ xz霋 E6l߽ƍwdi?oD2Ho&+FV58-B߳'׸ࢪ,) -bJ-HcnEBi&kY*+Y eZ;Cx5O:ձgYZ  OO/' LZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! N`]·Iq n[:|&[z׳PEGn#9 )2dkum-Awr!`:*l(%X'k ѿ v2sćϿ lL6Dl[\W AhUh3 b=\>Mw Gܻ &IIS(bc[e538`+U"zik*Rb02g~UēUA \qw#O}yK0`mx$g`flhE=#-uZtKU<>R?1dSs|d%cpewFuщ@94"*s][>\*7*[yYuZK"ׂɺt$%FCL\u{t O"fz9νv@(wQ@62"y0z`lyַ}΀]ݓmʑL6Yj+0#*筐Q2K`yed/ߒ%uIМ+d3Dݞ݄*s_}aomjwF#>mr0Eᯊٸ0+\n6uA2T4l跅." zbj>~V'l-Pf_n[NĚBX;늊d`hSV./b{0rn3ɜ">u"YUXwb,ACph6/ftx&'k:E_H04 *oJ?1 $R[0: g:/b^!zpZIMoQ6I|?翵KdųyWBLeVʨKWj`!ei׽ƤN-t}C'ypJ7%-]R8?<ޣf VئXUOFFX"%qVe6]:z C`$TvTx*D/g~4Ȯ3Ja-58`S 7~G۬Vt^G0t NrWTs.f% R h+I@ziyXgv$1 BfB9aϻ=@X^ΞbCCb Lcc=FWtL{&ub4,2󺫰Q a>coȇ{(3q$9qC?FLʤkEֵޑyYmIQ38aU/O:T1 cs{WEv%)VOugI75h'u̇c ugYZjN /# ZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! Wv@]ˠ)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{3CZ>&E=.\TQE$,; F #]$)~iY2, f!C(=IW_{;8aU7%=ՀgQu;&fwz(:Dݧi+O5@F7Õ. 5oCGM/!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thyD)ɹŧΝ&*Z)L$2g9hz (qA;KhaL>$KPpO`eP2- `&7!+k6N| ISrc <6nG`$ʟU0/[PtBG9?+Sx *-vpNQCgt-Fj|P{`WF~dȉ:*`x L~zzng.zJr\}xHU2\G&  9YG+NNT}W$ mr,(v(}j.C;yzڎ%ް@`?H1!niîcisZoFVIG]9Y@es[ 2ϴb$?=}ٸzz ZhG`u q4I5@dj0l:Hf@!NK-w5~}04S.t\D=UUQj!+_/!޹/&A9AnM! :Fp0]`']]kZ&B% Iz~6GKas>U"&IpHaZy[Y3NIeKOw6ʭiXQ y7h4//&_Xwas0q]w4+]D`pxGZoySC6R׋:^vK]KoVCP,_dUo@HU" {D;e)hZe-+j<i dH3p# lRT}E2AgCd.LnⶑI?4uoQᔬni9ոNmGV$xLakߞAS;KNXkH\mdՇ4TaɒFo*"BM,މv 6W5òA6('h밫hFXl&G{}}"Hدu'^^&T+yVbikfQ]Ȁ4w8s9ъAP-I[|׭)?p@ҀU'{A4@u$|3j:Wѡ`OM Rw`*q s}oE 2J)!IY<1tz/iVP^օɶM Hlg*Ο_ֵ_Г?A&tU񲾧G_{Na0Py>$<#ZGf^| O'b;OH<2 +bR,}DZ2JTSsc0 ToQ)`JdxMV fcr%z&4D xpiBݱ3Nǜ+[g&ڷCT@=Ewd ZTBOZIbT(c{yS;' FP (D@CiC 늓(SR<ޚâ>:FG*Fլ*CF #R?k@$kbc{(oqfRo] i qmn(Z!ܸ]vuDwu :3c%uBiw{RJxGĵR0 ym/ѶQ³GDZG/_< !P]w~QR[H >ɽjS>QHՎȌ DC%FVZ_Dkeha&ˬoo9穎gr]Nʸ8ifVYbkFNY+՗os4yiĨgSY@'y/'7Vyo}e+9Gbfeԅ> fpܢl)uRqTzm8@ξ oN+c;(Q٥}7OLIߴ@+jhLδJ"2tC0Mӟ']i%DͰ6IRmpiCsq_P9&ʖa7'&wYC!mM%j\6BU-,(XuVX pUs+0}e- v"ƺ&9-0¢+0ɮJb 9W9`@BoƦpo N%gj7€>nu-E3w@Tك)UzļRz 8LѦD~4T +PjMGA;EpX4p<=Ο"U*V߇ l5@ٿ&9Er@|KbT\ `Qi1'.K(Xp=e>",e-FlUMaU!c[ϭ5?*l5?R_d?%{/Q7_yVp{pf˵HR 7tm)m@A) Ijۺ~;Ԫz)}%pfYgGtz>`xVνJV.'% n-廠둼̍^)K"߽J駬 6o`s &ꄩB,$~1/Ciy1aFi^{ýL'9lX@YVGSFBC[w]*Cٱqבl?#5= v% kڳos uTc\(xBRž*G#mL!tlH0EV tFљNNjSOjf8ʄ "=]sۦJqfp#Qx 7i9=({u.M"JWtxqrI/*,ˑ .OHqнa>Z0QU}]6\aB]|5+G)z- 53STCә\mǑudW}Xp[_~&n|Xc@U^>?`Fw$ $m:hK q.ÎiҞ0Vro^?ϭ"J -hODde9AW%Wg,OQgRoN̐wC%-RϦz[Rڿڔ-r]Ǔ_[҂hG4f''aJ0u*Z1y\߫>يPJp %i *_2|Tqj0@B^s[#ۇe  "|\o`d`3 5f5B 7:>Ϊ[O(41D5W!qe4*w7BcZ׸4cm-8|9 As# W8นA3WFr*SљcWw\ǵ* Y<).!$$b (v qc;ﭟ{#eF6kRA+bpu#;ԞQlY@S;[QG9Ambi A/=[|!K۞FI& WaѴ,n2 `m{v#ZbX$~+'b:|5]Ҏ<8q?Z#@2?$ .NJ9jeܶ˯ '=.{Y6[QUxY:.Gp"{v5Zd෨KzّZ\`e秠N^p>܇q/֎Ƃ¬VĵЕG>h•szg{ j޸섅ֱxnP(TL>^y Wd3':-iY{_O"K-. _٤՘ͶB(RՅJw~xV;{rq3 C e;w.R?Ҙo %GGr@=i%TC8e7K4}\_7l46.{{琟3SQҀ(fpgWh@VX @MZVzتgrޅRVK*8# B\2yA6!V G JgVךWZKs8e/lև>kX5-6z,޵JS~:7`x}龼6MSw\w'$/UDۑ@׬<7RqH[) W|$aY-5oZvӉ'. kկE +q;7;ĥ@8Bb G`H[A@e2n S)_2z&o3,\[5qT41֥FFp#fq/|l߲򕁏ͤ <̫j9J!yZUvPNu DΟ y,W| xK ukHN8)%,%]=Tǒ  k]NA^=c {\ #}UJvLZE5zKKakK Tjil`{iyS3 EV4k1˱XAs[t\h 񗙾y XGsڦ%k(Hz/Ee"QݠY-7*ϑ3y}M܇i_%zQ аK_ v0L ܠƏzh"wC6 H w 'C1Z]s'>}r-ׁ# 1KRB'muu8F**2V(n_(RY\%\L8M b80?_Q>d_-_qYcmKx8HXnV/Uةִb\ldDy.drY6z4'n^ƩfN}479aVߖx*yjrAM  BfYw8dnmqEnPYa4fv)M<ޱY,QUw|{r*_dK{ߒ"QY@haVy]R` kh0E*_T*5C PhP,L}wlVeexXAB)h+|ˁP ˺>}Ijq-yC\[&xau+2˳XXi7H4 CTw@Fɐ"+ ~\96dU6`cQ  U꽆h$ɂw>趘,^ x:V 1t lo  >u=y#|P9ňmdn6iH6UH#H%_x"yv; fi:E7ʐEL%*Q4۠Dlk]3G*-fm={*]rq{!#yIAX8<Ì>,5C?ͲX.,Kct{" L]Dɦ:1]*!,W\бIǝ_Lޕ:\ӕ*n2raM6W4P [PyVf͎yo` p1 8l8z5͌i5MЩw*ϋ4g6;'vq'TF7+} Qq|=|dHo t$QGQ_z̰S4Z[Yؐ :۠Y,z<5^gApʴsW}W}I6VRKHxZ/1iķ(!@Txa'70S&½HuMnoB".CȦ H/z(u7t 4DH+0NoylM>: ǖL(<;;#Yv<gLIDeH+0!ڞ~49=s"} /zz=xy \{Pl.q SwY{%\1)n6{Qs?RBPÈ=|Fa_iCrQrtz2[WJ!'‹WYt,1Rh E<`?=ε` E4/ cD.s/s[#՚,ńsfA=ɳ&{ҷ;=@O|c\B0Z3Vwmrh '3p?5x!uWGb'#}+ a#w[ c'5ΰ6gzv؆T^a8~U [{4!b^u\ Fϕ8ozm_g;|gʗ\tH6pHlp7@.3yZprqzߡQo‘S*p:7Q=k@0yIL+ٓ9z "֦v6ۄ.Bt7>Qr \@bIJ®۽5;Jw['TT*͍Pxޱ3rMHy'F8XBK\r>/C}ᩩQvZe"/d(7 *r˩+?X8g'zch}.Z ?Gf36ǞؓqkxՁZ@ X#_&M̆Pֈ/bZ{I\ǐQ+u[ZS7}Bn 7I:rG5^f̹ܞn=bҨH "w{^#m EwpX!^.J|{*Qn_+*ptC"kx '‚Z9IjՒJ&ArݺG$ȠW.zՈslZvx`JVJ/?7^Sn},/0+:`dtg2ee\4~@uçUf/s>rk>|e%,hgl~eDԉ#PKk.f#?~ 'NDi;sx(S/Do!)u$ɀŸ4fR1q^ĸGT;0|kh<{_`3fH Z(v` u(D}.VǾ[(2oU1[cK}Yd'W%K}(rb]׷^E'|zpVx`vQ]ϊ~HseĂvNıD) $[l: +f J9 J541Ͱy(خ9} o `eq>1QO𝞰f[8uN|O7qgFC* g%az܃\Þ(]0Rmdk QCz0\vSkCQ: > A嵵m?AGPݭOhCY0pWo4g* S1ڛR5)o꾿`n7jImu_j*ؖf&fkZeDL!&R i*2Nŀ{&2GY#Z] R&b``ٿɕTJe)5#}G 葉| DjRխH?-po!ՏKbCLD6Weuw+\`-~cr!qci\ uD Fۛg\z@}CR +T>.ƺsIf1FRDHG"-5*Zg&'Zg:ي덙"_8y*Hlu9oPP56pe+ e2V nrH` yEz9͍tu 4wֆo+$oɥgH­"sYb8L%P9ϥl韂Q!+鄄_fytn OCЛ\Gc4 o#H}Tۗ !$U,/5vJl 3cX3e?]$̓FY,zƶ fleηB^h١jF} Kޏ1VYemN{_wS LJU C}UUxqE.ԏ#2N,"KGZ(DVLuDYSIu?zEC6 bq ~6x CGonc}Qr:xCqٕ"]iJ:"z@ܞ]Dyl-28YTQ3Z4ɜbةWf=+'ktsXZ=eh؅ߜJs1?/J6J dnޝh=)r26r{MU|+[,d>q/7kT5zTb֦Lf*oP1Y Kgͽi7^Țe 8P@v^{p +ZHpc˚2/8(^711jݭfQ#vJQY貀KY)ndj{"(?qg>wN¨9Y}l9FC5^*o ?ɑ_^GFA=,k d,2=Ad6Pf]k$<"Y[Y4DӖXPT|Le{Ni➐ '}uBS^/[Ƭ'w聂^hMiNwxϺrڶț{\*1)JݿXf-BsL<եe3d)"EYc42}/z8ւstNGx05koBWM,>UM?;&[BA%&2};-ߺEN~oc5`"ǔ9gA2lO8LSt>4S1"B|iCw¢9ݴՒ=ڱ%te׼J*3U{6:Sw?s?,3%u_$,LݛdŰE .28bs;(-lO!2^yJMS=_#z(5W2DPM Yn0U,|U3`rv&G]ސ3;b˴@tqB^<ʽ.$2VJ\4$M(õ>Ңr%RQ' oB E|ϵޑ sCJ!H ⨋lYm3Օ`h6DgJ- jF aI%6, 1OB1&0@[x5QuIDrZz7zp c#wXo琓Ƙx3$uʣ)+0~%Zio:tu]!c;4q*I^0m*ȣ>M"QSe. &(+(>6tsv^rUW ,9۸oYҕvߒ=)qcgj}]<[t2u7Ϝf3k>DޏE aqKMUmR%RDMiSg@e:դ "ey e~Ė-6Dx³/Œjq.]Tv~/V"?-:pxǢi{@ wh?J#I/-K^L5\%/ϐK6v_x+F)qO!!g0|6jm0ks0?'V&!g*p\9؏ ۍί-أIQ}> Sn /[j<.L]o/Zt+_)c+ETQbSybJ#;Ǥ-~["u 8AƄIOK5P٘C Y9QDK 'qB-.9VN5*U"Q*-hm˧ӧA9 ]b w4%9Я9l8o;M?#V2ze\4}?7WNYbd=s~graG"!'X^:΄܃i;gq%wr. 5-M$SwkQixEҼ$$rwbI{^d%<_G_]}l}yi62-8V~#upJ \pkZI67kǓkF`\r"Gպ>O+i^m蜇MF*1Jj*0(~W,ɾ"Oo~o֦ʾR : V^6mb?eYAO< W $b*MF9C+U`4U_T6af9Ch9B(ɉ7$*'08#0!ɤsg"(/DЍ۞wK~} 4' ލ9oON4,,Ub#+to{C<;Tel#'꿿8 41ӷ2YI/Dm6 xi/ɟmG~1;6eƔG0Nd@c[P)@=)9"X_E\`K&K]Jj~LtIo3 IuxI7Qe,'{7$[u'廕oʱ^>+Ԕ Ll qm20L o3EqΘȭx&P(l !扆9+,> iY2G[:yQ 83 $1NF$`[ R1#"KV5bϛ e go{h`f,bQxP9Rg;@ie{exo^e(**%a`%J!;Xy7-PB1<_*\HS&iͷ2[!Et6nh`P17}=5: )&sIOlsd{tEoEqVWF_),\&ti) 3R[}h pҔy5$ gos,] 0hBº׭_V1t$vjbG oiK'堚bRpc:?ݐ W*_ ģk[jtH<c Lt;L^pȄ[mmABldw{ :-TeV}YӷWAgJz~IGGgf5ڶ~_|Cm޻وq?V C$ٿߞqQCiyWLE}2qƟ +`m~(uNkaSLۑV6izqj\7^zOszx,'6tڝ19^m&>:to/V=0C5JD;'-* e.RՁMf] ݪHY}y O Nv`cpV{qUB$NW3fgm|1!4 j8|d?Ah* {D-?'^:) ;qcu/Щ?@5P/ 7>y2hWdɰ>@D4ėu>e#OQߢɇ)i_2d0fMNI _I}40܊>OT<ì<%/X5P⽎tUErzU]jWf{Wjڿ]͎ [Ȕ]hw6>6dx8a{;@9 gdtaX?~єgy(\mY #V&l- ݅VN ÞNU=](1L {! W$fΩ3#k60pLLlm%ְt^'wQ| <_p᳒")*m`7i̔'WQV[Qס O*]5&d8 o/! P+4 -|meva$-/djzzcrn0zUv.E[GBΩl'_,j:YWx̓ G V%6J0*"FP-څiOٹWda2 {9!p3¾rz7D^pTd $pV\ʒHr&y튟`m⇺?ċ./:e{ {4C:>RT<,npsWnx!ShHnH\b{xְ^"Og ~B<+idz*ͭC|thGYuq_[x NmT[TnFJ]~,wN$^ez˦zG@X{Rr=C6%|J!eVH_hI xqrax}wZ6H+9qE o#-H9+)7|*_,B\46 6= 0wAZFL-%phS)L}# ʂME9a_6q "Vǝҧ5iD{b%)$zV[{Kv.O l Q#~::P7jaEeJW~3)KHu+1%nv##(p/h0cvZh!D{Ka?,|;)?ґՅ Bo3шrEbF@L.oi'*L,ZNAO HZYQy0hiy] n$`]Bh3 y`X}dYy q$8ƠORl >hψf í_{n$%4DduVWn#ToZ 53J,) 2;je8.)c&C%2/8=uZ{/1k W7t/zjP֮2yC2LZ 2C=3-|ugYZ