SQLite format 3@ H.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 tt r< ]/]ZF-Induct:threads=6elapsed=3.602cpu=13.320gc=0.8207zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0Њ~JQ ;][eju3 5&=?26B䷖z(vRRW٬UYoܺF*Ikaju(n)=2 aY;EkhTuWX }f&:_:Cry &KBԣ~ /YgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5o^x5ՈB+O2o}}Aw1 sm;iiNDM rçމjS$31ڲmqq*! Ȟ5(M:NHuv*=1:JxT8 R'EĠ q |B?6ۿζW+'a^҄3Jr8]Oc.W~Rk9 ݅^OD&*? 67-gYZ7zXZִF! ]ŗXi%[1> !ndC2f%|;[;Jtmڑ+(x& vjv30廬tG5ٕ =igɇY81|fCw% &L@K N)/N~G4i8y:)L{kJ)+^|o[wsHhNye:2\|ݿГwx;YnBa gqVqx+,PdѤ)Cf|@n("p\ֽzpEF7CClA5Dfx[B k*%) jXm2ۏ=v~}~]0v4 =/7G#6is溽|EGEY\|,[Rg\uO2 EZԞA*'oň&G)|ey`Q?!\Yz_7`SHWdYqMsc+Ԉ8Uؠt{:͘d/mu5= #xأd? /TbKf/A*x Uđ9&_cw a8Qnz\h_۾IyWhl9JxlH]1%~r ʮ`UO_A:zZ+p(}y9gI9S"[n}L lLVCX)*βM^弨бsdώ6ڙCM,'ү-h* ġK?nō;l )9Qc_\tk;IYxk7XTփVJ\;Nb侚M#a3TJU,-x}̕R7)ԱgYZb57673d65f491fd120365750d0dc1b08057d143511feaa6b69b3c952139da2ec72ac31efea97e58a 48bb34f0261f3a13b5c29b042dea03eeca6ff2d79f32d3f3b75c200b5a14a93c96e54599e92fb3fd   ZF-Induct~H~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$GMFKEG@C?;=::793220*.&-+        O* ` b / @Wq _3ZS* /  ) x O % 6vM#   a}O u Jg!+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 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex.)/ZF-InductZF-Induct.Termdocument/Term.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 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}Jh)/ |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 ~z:7WE獅 aA:U h޴O_>j p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!gYZm6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ Q{: C"J{L܄>ji0HgV61W?if9p{qPC7lEWa: i} -zi6q rF#}ȝ_T2 4[jmDbVl=˦j_u[98_XG:M.,PXr3s?UW?5U_▭þ<E%9 gL Gj cx!.V^m(-oZPoj;$!erayO A\w\u\7Yzj!AavrV6 H5ܓ8Mrƨ?tL &\(K%~9,×{Үdr)4LnnL)7Kt\ I!Bc%cMfaKcCOG^!YaYpm@/g`r=|'lYk)PW eICb@ q~ZQ!JA/ϧ(?[UValY;W/).V9uIG'!p,.t`29BU8"x#`;e)uwm!p-kbZ,{|"m_uvj xZƟ-h<\'6Q;8XѲѤp}{r-ffkDh&n/p)o: 3l]1@uUQ}vۥF2T+V>sϑ7WYY^"צ >~F݅FJ gVFP%H+Q}! jHX~W}M7 5$#wL&8 ћ.H.}Wk%zs8__[6BVO); QX= *=%p13wcGq{xR$’skKO-Ç˄K"Np Q0t:Ipj Nvx I+rr͌05"ˍ-EtgC$1L͗Ym>i(h, ڼ40+M#~܏ogYZ GG6+1 ZF-InductZF-Induct.Ntreedocument/Ntree.tex7zXZִF! p D]A-MՋhvG"uIBm5Ļb\ma ) fXw; Dt" jg .1ڸގb}${ cLQz%5@2ޝ1WK }׍go`ڭ#e3T]bV,d; 4Lp5P H)(ZDG' ,i@,z @`u=ZCJ0O8~>`Itq* LN;87Ś_9cjR]SѣtDZE~e!7o "K>rg[(; l4'gO:+o]Oc$c(|mr^Ĕn FQO!q4ӊ${?B AW 49(O^WZ#HklGo2myИ25Uc.z ZKDfH0=,|j-F7[oJh]ˀ q{om4dD߼X/vFgCݤJU[Gzڔ`m.;xj_yOhhBDz:xtXvՙiе 4WUWNa\}%s}J.#IG6iA8(Ш!u=Mpܦy_|E^3{Ckd&Ƒ:'vf9EC&C&mGzte y \OHJlJCoY¼'{E.^E c`&0@F|t[c2E4DΏ}\;iX$բN -eIy'@ϗc@8˻rA䢉@ܷl5)W*R+`˓g߉eN[,O@6AU3UUN:xk\QMʦm&H3 >t$iSG!P I_ƋOt\K͐vc+jI"0_ᝳeM\%fFί vpq*.2+Mg烨cx.b3`s+n*-$45G얇 ?m3+Yjcǵ蝩 0{wg֌V0K#<kOq bEߟӡA۶F!g "(GFRGes5u`D ˳MkdBFA5?]Omn+#}xzy8M_-|ZVUU q;ӡíhiBj@O ?ĞMa9+Gaٜvʊ =mW2K!;j זCI |\kl#P%NjrE$) Uݫ<>`knsoHuy5aD`9  85'k jGG<>6?$靂gإ5EU9Ҕq,堹نLEgR ÝH׿Ơ,d(c6bYE-J 3VhfXUYDS:׻bV)|N0ѕk<9ڽDKbKI!.Ae5>Y'ۺl=R.1"Hwnw]wI~Rv&wn!c˺MVMy{CUEV}|[e` utTՁ[ʀI(@|g pm$X$0Cil$/|Q+ѝ>;T!0D~$߽ڧuxPmݛ ĉ9X9uoJ?b_śB%y>YfXZFjǹ;V忓@Sv/*JDDjkV0'Dߘapo:h#.Zq=r?ܗ?^\ +;ƂNOcJF13nvܘ% g) \8̭7\Խ* l|m>gŹ Nr+>5J8;H.#9_h:yf"VYuT3Z5tW>W%s2(k^n.9t LI4F$:ѣp  ]71c1‹VEA.l\KRMGèY&/i|y-/@+Ɏ})ko-d}Kjɳ>Q &H<ģbp; 2_B'=yde>oRׯlQ47A$YI}9 g/%tTHTFU?Ej]?V)8t3Y7gEO 4:H2]y"54^<ۼsS7TT쉇f/Xj۹7d3!a<6NSmO:C h9,NJ$ 50||̤~|y1]$@M_7e(c6ż|G,&ڞX ^`ejgo7,j jr!f&@jE\JKSNG- sy򠣩#]>HiUcy4B얚ޣ bhS:8 oDCIjݑ*'F̖GV_a];Jl72:ڜ>\ݧ!ex&xkn?Eu`X5%NBvQ%=L wjr[[V8|62~p1 w9 ny~~gYZ ;;B +1 ,ZF-InductZF-Induct.Mutildocument/Mutil.tex7zXZִF! O]A-MՋhvG"uIBm5Ujܤ`CL 2|QG/Ʃ|hTKA*E(В]Do&9! %0tC/ᾁa7W\ d%÷wf ,!61UFta-"ӠT6 rK3 $NUv[@*2}iT+#!H"i * a%v࿨Ϣp'Ui(w%+Cr 9 lƧ66H[QǢxVRx^D12?R},QD;5 Uϲ+$xt]m `>qNl/fy Sܲ*F*}=#wR':<7OÞȬ7$so͋R fpӳ7ZpE,U^@g v O C  {oVKvOPKk+3W4>[Y9Epɶ&-g9G+D9?_ur8ݨH{@v›R (u[fQ@w7x6|xfuza $sP7Džup+$DNB.H09 * o]H!57SU)ױJDyCnh#m1xxΜ:Gw')bF+׿A+nʜmh̸ai>{X6ʣ2e3ˌ,)p9ħx]k\P;,jI/}T0Gˬj hmˀ4=lkG~>wԳݛ^J- TUr KڻgL.qNf$B3& 4b-]X('PB0R"6O&o*/rS%.˳W2qީ8r$1L7=R}A$ w%`F^ˇ|6$XKZ$` UMFR~*/dxpcuK*I~VͤRίKT!+Y:M,UYː9 qVP05CyU뮋8n#IF1&o'IxϤÐSJ`ʯ(^5XJW"L)Dijs*O S@羧+oBX5ě\F'Nqq`"B(\V?i*-DG0L;WV; i `BYW)flB)]+h57DFDX<שsOT!ܩkiqhŧ(x@L{Pߚʥ30vD.*vtRz5-ˏF?jRՀ$ g bXk4=8YZ L$E4QJns*65`2&)E3n*'xn%>w@/xB'=Ivt S"ӽ :Vܺh6ʖE/>&l\i$TɼfOuYHNq&BAQ8y7k)&a?n#e'C936XYQQ>~+X<%o9dH˺7LE m'6'YgO%oqr` P8k &\HwGZurzK ף, UQb1SQ$E h:^ө>EƟӆj Q]1.b&>8>B_?h3F $pt->eClxWsvx毫0LFjf[YxNnk ?oa6Ln:c,T]xZ2yp%vXA+*@ !Np? M1k0$t>$G'|Bgdf/hٵH :/Z@y}_T-㤰EGD=ss|5ؚ:X@0s!DAi@%4rg9kbO?dƬURC IIbOmFnVCH0[X/Ƴ!&$uHy\QITTin-!!z2"^ >j/l6aMW0O_tw Վ* 8! OwɴC:=qp2ZyMh<56 Qjkr|P4( vX>jGwK]ʨԆ>?6ygYZ  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\ 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  +. '- 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,C -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; mrgYZVFtNh+ HZ 2%;*}6?Yԭ͘#l.ԛT͗շbX\m5i_$O%ŲqQRPD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ 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'tc{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:Z0TIQB >?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 z)# ,ZF-InductZF-Induct.RmapPIDE/markup7zXZִF! 0]ˠ)jk2p O6LP=͵gl5gՙqj[FDQLjD>__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?Ue(4r^jW VZz׏F&6 y}^^Xu+pGBW) \_;t hl(vK~euAΚiE݋4$`3$\k?WQa,5bqsC ʈ6E5py$TI\ ~^9__L2?f:PM.UkQ >(|*b8٘5uڎlQ]Dh9" cc.̙Ko*sX`?&!ԬBI6>B `)${KmkSci }lIc +(OٜqIT FN ^D["GS7i0 |E!8,!ؾJ^#kk)C= "FBN?wɂr4t/S%]}2c~ߎWGڳnNIH=ĔKw-5Z A6Qcɒ:k}3}è۴S}։L뿭Q׹M!"六ʃ;,~dN/ V&)qxW7|}9EfN%M1lg^TfdByK~0K,DNXJV VaIU<$u`aDAsz}OaxBC a!6Z ]}*ϰV)r7g2Gwt~\ Tbvݭ$@;v9zjlv-sR(@yt_%+=/8ҀD[l 4S4g1 >KSbJ:0/l^Zρ-^g `!'Z@*u<{U8{SjF9}ހE ' :+4juy̬0E-.PvY5frZ:py.Zqm$fX9$Z ڻcg_P|{2on~NQHy!b-YnI@YI{ psi'Ѣ1DճU@XBim)()xRpbN)" M 3lLi)Q'0K(d#JȠ2'R9Y2_w0DE]V9tSKgd5B̈w'TSYZHEeS'q<$/H޺ 'nz? D 0y$P=fx] \@Mэ=^-޷E2*gkdH=E\0@|B8ހC 5pRU岌3j:@Rq̭h~ &ca(f_. VI $TwSҟ;:!ͳ""/HrTGz;u⦚eר+,3yqV۪ź+Ϡw×$cYa8^wI01z5O(n-F#*g8/\Bܙ]E=z ڒJ9֔~|Fg̜.T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λͼ#ZR+ ~F~똗W J^XmysHG_Kew3m|,y?\z<`}V5F^r](ě_焩=!{t觹U60{9W2O zR ȏ2FW*󾛟IV}HjOh8V1#NE෸1)j3[մҢX|&OK x˱?~YʱL$vGyw˒*n"(nKv:NIs/^B&jrHdߧGpì\L䠈!5!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}19٤W^q9wf;A"Œ}DeFF-4t2)Ǵ}eFmk<cWƐWUT ܔݚ}I6ٱk:PQ׳V:V:]TFZ~}!(柬FO8iwrʣzvC9P8 = ɶ`rxu yE>ק_j?xEE+ [7}^Y 5ê+-d,k+KM A~|-\tKܽ7􃣛 (1Lm}2bc?<,~ UEJB$g:2 'H݌q%\-`LT\K'Wzb\?xpB6ID*%/gYZj /# ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 1]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9'pB09\I!IE<ꞛ={,5ўwjǙC)RޱPˀF~ác#_%g{'c, bCo|`wV7jVTƮa$ռ*\:ܲ@ ^mg,zED:}3vsZBz[GV:[ #M-jHQ"Bsa<?Xb2R0gm}kӄY4{ԅgv+E6\hxғ3aX)֘hc c0/*ۥEfQtK>s~pΒ-oߠ>!\dž%=MCƩc }p$i7_/{l99e]g\?m4Zh{Wufgeoy$h ڨ$PJݰ.SedՕ)|3JŲ¾2ψfvǯK"j->۶vBQltx!_"w^r1(b^e#h5=/Ies8 ]z*ϡ+:߈V5&R7DtRQ1usxaD|E&y}k#б N L3"FZfi8'U&cl Ry drv3 y1ԠD 5(_sstBl7\b ͖^ap'э[kgܹ͎@ѽTվDN@TiRu5>}oǹ~$(b0/k$O^DZgYZw6Z Ur >< J 4&,ay9F`EL>np$ۧ x(B*|h){ 4pRȪ+ 2}}‹:@3v $@hIX'dHetPG W`5#NIܱjSw3/) Bug.OK{ ^f!˩Ʋڄ%qO0bUp8q P7Nfe"oE CPE&A[K54@pVlkAJ9=NAV+%W7WGJGmvFbXw`]@߻ۚ[ fJ]R?"Վ2VhI9p^S/aKuOC- 7B*!礶<8 +ҔG ` xRIP:Qy `OJpg=뺃+o-MdS- =@! %]Z .!Dw8/@*̦ErB`Ywx s2v1Ԁ/帓J<ڜ8\yYX.fD~O#!NexzIe8 PU#fӑoMcr<D;?/lC+x\c}; 9SN"L8Ŀ)4'D8/vi13 Alެk[ZQB(u4 .7$I pK2a"D(lh9+ YF걈_oH[beBۖLAAHobk} >|GnmM{F.ٰ\L:`2Z8$ hLZ|lfK|V|/ [KZw2%_޺y6ζHb$ù[AGc4Xs.1ȔT 9sjX΢ȸiz.ݭ/aD7E[_olB@e/CoF͟n=\0|mo6q%Ě߼)T'|!t|y٢@|,(\Uֺ'?_69QXADSq'4hƟ Q"ӓϣ\-W?|hJʹ,􄡮ܘ*Md .KkMh8TPR" g2~Rx;QW[xn{/.y~UKQ"p;2<Vz ;\vܽ{ HJZ+8Zɧ5?`QD otgʲMZSt&ܒJ+/LցB*i1\l]~ 7*u#!(+hϝeu7:U;׭g>~iޒ "Sh{{e\ th_)^lиv^۷`zN5t|V4X恚{!_\ ς \;J滱Sm!G^$#_6~"Y"1 /JZ Q;103 Jdن ]~XqYKp0P7Uqtҡ|XI;P./\^Ri^AU=Sq-ct[G|WT^-V^#'wG3qW #qȻNuކɻF7f𔠬yp|U2XJm4d˒M&7IHzN$]5y(uU/)}bwEcJW#ige59E'znB&"OSV`THjJR(meI0&}u" :J{#_,;X(vtgU<:1bC>/89%,qavNEsr:V[튖{;+h#'-Ji&4f*ٸ 1T_gp9Te *+P(?&$Q|+ D''c',摰ArMv^y,%t nBX 2'L5.HCڨ;#!?3 #NಐavQYtFH%1r>%E ъ]%:O|C7ȏve;Kzfi"xMr,Il~F6NǤA];&^eyK 1ZYaSQ8P@G?B;D%'R:GcL%[KS펭կ/Hǩod'ݬSƎ~wT% rYOҙ:a3/cq\fWjM7Uޒltd[Xv?llY #UlAm&#Yϩ,4"D.s3yQ m ܚ)V` t?h}S{\ ɬ[_\dyvQh>ue+w95P[dQ1~/_TFJa =\yS:Lx\O_gqijI~u`4k us}r4f#IWgn,}/TQ^:9NkLoAh4ntB0,ξe^؅uR.}f94Lu/FcCn dה"N6KiXN˗ƞ$@5gNtj Wz,TŨ7pu]F2,.sW3!^PRERRڎ(u~Bu_X-(ihM] wR'g9]344(\,? ~U92 |sF 2\/j(5| I[tVHymx*~8bOa=i@¯L< tRGeuշ):%;BNטZ oPƋkf諬'\-Ar 2Y nB`togκOLgL艢{`w!xդıW΄(245m24LagM!iYP6|TlJb4|Ճ"ɾo'ށղN#e] ;FtyrRm9"SF~?4FiFcL*A"$kݢʽz8`B'(y 1&5'GEØhkj1sKca^}j~F q ,Ö&lNbeƯߞPtJĪ~uSo=Fv~ fMnu8"([ǮHbDYKHF]dעCd&Il14ƨY=[8Zi:9<]3k!{xEsMrgCol`Q7hz,U1˒6 2[xH6趍ǟx!01@iSBEkʹZ7/+w aQ2 pM4+]%p9_)4v80h !Sٯ瓰/CRTRqض--tB WC 1@;tth28!QҒ_Ii v0FqdUewt̜Ud35bXFST'tJkCTuM$NOFjH{}xh(PV|+d0$|26E(IYKӷ^/b6=(̯IQ,!,W!g{!VBWXlO"H3:@2HLkP}3]R 5_(7D,Ծ*T*o%FD1QL3Q)f~wfQLI421 FK PPgHCݥB̆\j1/:fyt9=&$ jcgO5IaPyjwT[>?N !@e}S, a>iP<gCŸ%. 7C<?7_5z GtNmeyk3 ZC)mxRN\UDʵ*lXT8{)#f`pJ qN/|Q lHzP^?;AUt`g|AKdwl>fL"]5.B}.3C*}L &QFFm#>:5 ȃېp+X0T-xdsپnvՓ": )ߪ]`F6l{3(H]̓Ո-˽$o< Lz+)ZmZ4g -[$zmF]+rav%6{wIPĞ4@l1iu0Qɼs*jTal ^RJk* j/Sn)8j#PBOM^;!d7]f[0F3@jDp!+Eu x#mͺ#)2;?zˢ,1YN*%Ð(wf,n@X YdOO38Y0җ r`2:07)V#4 W8@bLcm:~jXQ%\%aF{c#vKJ>Beke[@2xjRj;^ە.AKHhS)epL7_8gEzӏմvv xۮTӈc~?y`\7 Յ?*[޶AxR!ać{QKLK=[;y?J04]NAB3_MeLcϥDbS>(Ml%?~eynqEIwj^+Eql]KZNŁNzv%nbfJ㳹6M} }ܓDNuxc^9&(1NHapvf Y_>iDc>Kې@ (!`{]?rbbM̼:.6$_e,4Ɍ@M.9=~?l%Z< ,.\^Zۂ޻7e7U Zߘ ¾;yhvѩ>tbM9?<8iFnrs`SwSҚ bc{#mAh&a!?\TRH aBX] QDQðwo"WҘݏX8?!&e]>VM8wcLGq],BMONsݩR7l٧P]t N# ,.90? lMH-,-b2 6i: LB?XA EݺVu;ŮT1~Hɧ5/4Nj gWވt±mYgk(.b<9.U m E8W=AQpLBTu5rM~YgzZ9Z6oU52,6x0/+klYta1M%vr; JB2Ќ+Z2!MqS>Y>Hy6V+A]!d=*$}g%ˉAdץГȋWe]93nos^AY8/ݨtk=_r8ޖ;dL. B ҺY4GN] .P? yoZ\>HPB~QuÀfED#XRyVt0K}W:3I%Bjc ٺR,[JO_Ogaɀ?%>F&_)t=-1f/K; I,#^ΏtY9IѶg4PMJ ܥG_[Ж# q9;{-a4F?Ce ȻKm?Dpn'٪|DCB9$kxk貥zxT-X( l踗qw/{O|<+ХHt%Вޒ-h*fo)ÉWLApsM1-6IF+Q] W~.)nK 0u'BȝTE`j*yYX}pYKvz'|ΙErT9tqb,ǁtɬ'.yڳ rF%U1}%j6Vۆ&s!8^%jWվs"haQ %屆yCv:]={:3,p3Ԝgע̙]`Z؎m.ʧFIQ-jρ̕ CjZhtj9 =sIvc&&R'm<37 I@-|\㗉*~,*Z# 'j1 nEھәWjXLd|ge;8>N#i19'g=Rֻ[`6469kp:Ggz\v#0.уٷut8ϽGڨ*-_0Kޔf !W@ 1_V~S7=#MηeH\9om?'<ƹƍBq3^FqIa1yXjj1.G)1^眑yuص\9pS wP̯^$u`rq*֓ifB36H]TPB^Do>/NߴL<4-4xNܘ$_OZX͌>C|W4%?7I+$(B%™l,/wIJ0H͐,Oϋ`pPGf.t~MN*x0O;{TF J%%,F/e |mB`>]~,BB:b|mk? *Ǭ-W6Leikmzu4S7Nlߑ\$朗/\/=bV58S>-xk.*&o'EsEZev!$Iҍ،en,Dsꮙ5ɔ/"6ٺbƹ9m{5& ٣nchği;,ּOh2.UGk_Y~_IAgTsb 96rB^(FUv«.;n-YE`](C < ,Qۓq؎k"G E'<S%,+ +*~_Q,. 9(/|;z96(snWGkDuJ\l`A*A?! dMuMRp׀$$9ܟ ,`u 7;şݎ6ˆDW9I.ҖG0_3 OsQT1΢yͅ~20Gݭ4Wӡ:beHu ؍NKg? ]z &rGgi Eᮔq.&Izr<3/ 5,@O,efn#d5ysҧN^sYK^DBG PvŦT$ׇBodu0'ּ/J-] H^K4V́f]8IofQeA.3^*IjfSѦST<ޙ^Pe< xKuȸPZODZf/]fΏJ i%.A-|,%ɋZD@ 5Ld:ذ`OG7zdo*UB!"|KW&TZ/~\{&r\.}d04ŕyhh۝J~6rKL]`:yK~jepϲ:X9ؖr7e1||{`)wʖ)R\ЀdlHVt# 5+"-Qe`a/[<۾Ld* QBPlAL>XnbpLGDЅ"4[]ӶaXV=Ng{TEItpXȷγ ;5ᇠ=wsOt)g'\v%nTR)"2R.=mz }혉%#A(;e+)p3yAck ~|8d#kR܄_#rh'euXp3Tp F}cRI-7h9QybNoj{yPZB. "}\ _SMJ` ȢIx'ōۏݜta~ SZ%ql+[#ΥL\Eɓyyxp%'-n~&Y(響BޜX,*7f> @xf%rG!R rŬFUξ@,Rl9>dW-y?y I0"h&,{Td޽٦1U+Sj`rܻǶ9Dom#F|ful5IɌuXFf1uIM36H:*YMMZF߸Eǜ;b'.2uiR+||xxhy7i]U~s46j 9h^Ɨ#!$ Յ_#*Bv_P,T9#PVw,qf=UZ1$o%5EDiaAkWDV'r̷G5‹+DU+qfdK,iA HtXeRwT?5ACo.e>r9Ս6 ]aBuΌQy+OKp Ą8S`d"#0&X0#UxCi B] K&|Lqu] Oºf!N 59=?O= ١[1eIYRs:1ŸF}z:lޞo(Cݪ}מ펠22IwUo:w)l{Ha?s_}Xglz]z{T F1$pt"-"++^q.i,[6aZoŅ(MP!)!æGVipc610猭1Zڰds.yGP,Th_#e:rLBl@{R.)|+,ERq ɔ3g讳x-pKKh WlyYiߪNq N0 sC.`WXϟO_xsљ`L[Fb# ;鲮Aw8aR$ B>+z,[;Q[md XcgYZ"xS/lLM|OW^u.F+W8Pħ9Oή[Ýot 3ШNۇRt`h- dżuH*J Da?dv5o&?^"˧P]:;ON0eM0?um"WPn] =77Dٕg| \,dGFgLreuFS$3'ԟ"+Ihf.[RG2Jʠ9jv|Yܢ*Iṛv O1* E(Z: NV/M7nBc C~*G7㏃ iZ_b9|{ũh29ze޷pX{NMu~R֟a|[:${)-%3;5?pf H32Ҵc) 7|AFYG77rk tfޚc}ݧIM^)&\gi'_(Q֥+תK?+cD5 iCpֹz̮ص3R6̳Z1q6ƮH3JFOȇGVqKYl+YdvrۉDSMl *}qV0a;!~y[&]PG_ h*/G\F"y$^YX A`SC=HF$ 7,/+K݌53LG-x>_^2&h{"CE`g2ra׆Yn7&6|}3ٛ ͳZc .xO?ZoF\I lήϐSJ ZW-)M1OUyy:kQ&rUݗy.|G0؟UR𢬭̙*eKva1W h-2n;??LJˬr4%HZJ]tSa)c, 5ܛe1|fq=z-~lx3d &m;ҁ/ǔnHJ/(އskTcܫ Y$1L CI%f"])پNokh2J^ %KC5k@wq w@;ΆôP9%RHr4p>?^N'oSI&/JMf=&AjrKB .I+{lcA%j5A)^EtcdؒPtVm2v,u#MyH"-j~5Q@9i•-T'm4␆2,aL)"Zv'o/Գ@[K@ϸl|\(Pc>vDpܱ̥qs9=@nFԴ_ @sYmH kL؍و/>2?>D~〘~;槱h4͝%ZqSga`%T+9`pY3v; 5l}WvVśXG^W.U51Кp+Cs"Qf5&MS\ҷt%̓)%8%Kˎ z$(-^=-+'PʏwshZ>UԸ }š%%l#]$l#{<&IA}k:ք?G:y_UQ3[m[3]_~o|Tw 4ѫ:\_<.+5Y)qL_h۴}DٿL2/>q *t!Lڙj#[{26i>2ǭ[b&0[j\3f4Y &>IH<{kfN0 eEe O1\1ԴQS8bS4TkA?_D/(ِ _d 3,<_5)P 6=΅r7P,vcQ$$RBrRTK ;pn:o4. ±=wuѝh{d* [~@Bźxl#*PYY몳.dp+ʼnN1𜮨rJRiǐ44<3QlDU"{дF10{'vrC"@FQHZgr7'|\ߊ-EObuW7`ppP5=qten9f҆s"f'}QP"gXj:RâSⳤL>$i.'U)WL? Y#~'&5ws_Sˆ'K*5p PH؞|'04;^l>b9 aQV)tI9u̘ڋ=$͛XoHFӑm A߷Uq:AB 32=밳rvg[8tHH9 1s#Uz&*sS3?e|OEk6Z7f$^VI3!bdT/z Ͼz:zdm+nQ>oc\(YI`d$z/Q0OeFFr%`1ڻڕK4;&ew3@A i{yb\NK0QԩOްw*#oS h*T w\p&fTq٢cDOYnD<&Cm S\J;AluDH˭!I]isd)+Utlބj<KEpH6 ! *$=i{ZARnzK/4] w Ρh{m\jIɲ0m86DrS[PO@i&o=clqWuYs\@2Nw=$lb?RI5Vv qY]c }gA.]-OʹXORn*Q,{[./2xF,:.Fj A^czqo/ ce>{Y!:rA(N(ڸ†Gn5BslF̦!7Тx_O 2!fY44`W8I-x a g )x?>`̯Sܱ)E>Aْ񻽎O"\0z\ƑAhLeh$܌#d39K<@p\D80RXTD{ڿ9b//*Lp9LDXUd9zا-w #}6~c8rX|F#MPim:i`{4Ν8![凾oȩlaLZ EÎP k2 VD,\lC"DwV WC1ow(k;3qyV/GzL޺2S2ws$P)jwi8['W0Bb|󻆱c+@6m:c w[u|=nG_M]C%GE E˶Chi޹[2yBLX÷o- Yٵ# +N>G6yFڡ@n/^:5ndpЌjN.fa(pd 17'PFpaT߆DjǤI%oi4GWZZdj _͢6D/3Pp(]J_!elw7ukk. *dBP^HhT>qd ^|)Y+8 LB ]b qH [64}|f4!ck6[b}zV0C( LY&3}) D =yp9Zh%m qKp%&\^OnjIŅ{ASix+dGK^h o6g½֔=n|I& Db2pto׍մyɆA}6XaPӂNy#jXs?T?,?8s L귶!V-e,'LzyHIDGp‰ E'qjhH+JdW{B;*PxjnyLڦTx`[EK1JP~XoUMȊADIcdL?-.|, rV1"0 '+ )|/p}bfXQuDK4]8Dose)vMuԦ׵^vԴ$U;䅒g~2ɗ mLHe9l؟0i=6'-x*8Lb\q_&ZͥOHYWzZzn03.)1$JydVj ^ _ME Ap#+6!J6βwW}b`+D>oȺ} x$ R{e(=++Flg}H ‡{"_& cAȉN ;`1@k9ed,ưQƁH(,Tk"lxZAhtQQB-G `jFK C'w߱i܇bq-se*,Q7;lQd<LFyXG;BK 95S"w\?z8΃ɪ`pISy|r ?X "A;Ħ-yq A:U>$cs(p`uvɞEo:cHkS[6z$p@X@ŬF}N4žK8J}o ϣ!5j*d~%_bGZ$.wXv zf'$-*\ڈ ̻[Ct+v1I~ÑO&߃15>jqCjP_ud"0$Cj00?0;?SSUWSº -`f7C{':k|v<#OW_}vr0]Ⱦf>HR㴼mA0KY*1iM.{-hz5 Je;sD(y6GD \\;sxn"ΓuN 7Xҵ:`=+`#h6(AIؤ .kd[|%G<њs^ׂ7TͰ ~tl" oMy[Hz3^6L&*' a>=;gr~`I{<~1Uau@'HdZv~6&4eV1s[b{G+ R @+}-A&ѕ*l.T]XFb|bTCj53ZCBeanzԐׅR\`o`Tj9cc¥9##9Z`_Uk:XÊO'FdqgHT)hkҺdͺjz|h3] +[tyh%?㒽/tT]# p|qͫ)w|Krim͜IN /f3 #@-[ ^e֚s$!M~i;)vaU U ~I]ʣƬcX^chAN ƭ $zRK<#+ M|o.|v0Ng`;{Ȭx}pp&CķI;:Ϯ =rxsi +IVK@e7:  ~TVsz'pRW9CMLm,Ydu"?yAwWSk)߷l|9) _#C N-KuQ Q(k~z&:-| 8-Lg Q _52AB B =('Zb*0fwvKLli[Z*ў?Hе:w8(ku41@D`v+$QY^~Mj ^ @}fIgrA0a=Kتf/չSyُ+p?L xK4&L$FC*G|H9n1_Mv`ͷ{@7S/cg)e[{u /9 ~Y{:cЎƦ`:Ua HWC,Qڸp9qyo7pWv,vC,o韜RGXwhAs(1(@zK3eN*[OB ב}UaY:iz1HXvg Rwy/]Y1*;z4CPN;$IV2Y/$M"HE sK,H >ٴۭ\ƌI哬3-d@mޚWiS`p~vWs&͔WMFRaUh 3blLFgGK,5 IUdd.Ȼ '.ImY@A1v2}+j_@9k _ta$!#ik)cAzCAK3?m>_Љjr(' .j1?#~>RA|n4K߶J ~C+QzI}:D,. 1g7Dl%~KQ΀q^<㾸f?[FC]p5ʶ>*>i%w)t#?S=VR 5gS q ?a5~ P YCp氷^s>󐃜0*hϕfE%tdQա856%R '97G_}>ɡ U}84C*mt#xg1.Uz JFkrĀNaW6J$[*;cNlRXgԬ|E?C~IXW,E>4tHB 93̄q~ F<1,֙~3X݆25t#ì>1? +fyxd˳H~Nd} -D&}s _:sVʋ58<ȋ0l$e*õ:hLK [uuMz|KC+ak R o@;3t`Ąd415ĭ!a%׵KDM kq; E/ڜ!EJҟĒΆl%RmUo>ݸw?B"niŚչۓ$<Υ]P0u85/,wKOѕr6UzZeN1bLBʍ_M6J@0q\x  O}N2=Y8$ce-JK)ܥjlI >I!%^d`.'$!5X\Ԟ ϶;W ?؂']&WTN F 4#N6TǮt.Z{ ;*"b&,oΒ+XSD">hbg5o-&gu(P;(bn˄#``0n],(;nK9cB5{=C|0ά : |aW`OD1~ObY>r~@kf#S3Qj_w7*Vg!_G^zBVzy{aV& p\M}DVGnWA`N9u,N-1E!H>ԟoT>0M:\@-0w=Q)L =0bD9u9~%Xp՗'he)O+>W 5W!㢴ܽ>(_%AɬZq5EcPI+V~DWn>5 1ޣ1+ oQ̎֩'8]?OwG`,$(7\UkӯV#v M뇼=d3Ix߇q0^ m"g'tRy"Q`14_ IhB#oʾ)y_&;!ċ`@sy{[\@A?bIArOBeH\Q5u5 ɬ,O]p$*ubzr@Aݩ8E~4~\sbȅk.EP/ԡ(InR7Hu^ބC:@[ø'T-4_Q~_E~) ^YO8U"%*W>Iu {ynXE,ݵ{Уaxs]/nw{_B85iP+:0|uZ&*Ew};Ľr&HwOVa7J_t~z|fD+@#(#׎-5*D ]aqպ'pM,v܇p\Vq+rq4M 8+x#p/vI݁7>NU1AdYnK=J,atx$}SE=r]PS(HXCEqb?2v"3RIQGAϲhr~I(`aTpo[ =,l GwB?6l ^F3lE^l)B@<ꭸQlSA-jL E{SClh2KƯɴ zD&zKA2+{Cu'aئ&__ _ U8i]7Sm>HU1m_z> AڥhEc*'RN=tqlj/m*&-ĬO CbvGJm1rk2ck4udY^ i'ŦI߇3={1Yj3_rRN1xJOLW}<Ɇ5|ߖЧ /78gυ(s!9}Pf~6l1fh~=mq麨GOH8F Bgf u]܈زs巢P-*/^ӊl}|ѼO Ď5; wiEL*L[d'H W~g#JMÄj9䭏18;X26SEY8RiRF{b1Ŷi*:(q+/Y(KR 0^"#jeb=*|4} s %n(H7⩢`/*P!%A fv_ ;r @$2]Z ͍}`Gih1z6re:K7eM8SEP)ٯ FS =ԱK 7G"LɯtNtȶPO0SnxYT3zi:aD{=5)-8ҙ o5ʉOWPkz[;('Aunnt5H>gj-mpV lUrid <$xM{! :?TcL2*132QAz*: djԈtmwcʗJS"{RϽsT4]0T(X +RD69WS&x\w AQar;h$ZaVݦb3B{pO~N^WL'*x$xK;?9 )ܫ$HoR+OijHx}UMVwQ'/m}s^,5d=zt[wAfmkG)eQifEϼ<zbI'!M+[_s4T%~910)\KI<9C_e?t3KR*NCN@3s+ٌ9*+GA~Ygģ̔ul/ɀ:(J=Q}i{ _=FYu,Ҷ0"2ЋhhitIU$ClO>D@i0Q`v(oq{֖ ХkSx{ ژgnPa]0Y2!Փ5n[E[%} uշ5n^tćBb9?{K ~9D\PX)QPS9=c,T^le( iȌl/Uq]'M9\՗Q*ƕFA4o<+sHX[],5TF/yHݗo#ڪoJ䠫?j0*S"H2f$wFU'*Jg>0hi? &$R.4LW̎kw F |kÐ/\|W^sW=j;q€NUsofKyr-gwY/ dKKs"< s Nsة2O0/x&IUTGAxB(Sq֠ 526Yt_O)e_j| Wz<OKHsOP`2v&f1hd6:kXiBoK?1x^kE : z0$k`J[mZj@U4J"* :@yO. % yKmpOĬSݕ<7WobҴύ'+! CF :a2^E. &fۑr9%t (+FM6g4̊&QDEA\z<aJalzY4\+˚!PtƎb&H>V6VT p**k:Tټ&.@:K0PYh3̤1BS) 0XXLU$;"0${eEn+\>`]oOI[Pzpn+l9;P>1X?-ȢJn'qoy^+MTBqѢM OC#fݤfDFk'oCORbrJ|y'kc)ZKIO<|rZ4vHyNUICXgþ{5JլaB4a)<-xo\Ҽ^WHK8#{ܿŋA\sc~bS@ w0ܪ3\,*e =4~)v#1uCEHBχABB.ǎcԣ6{-7 vzhM*hYD ?Px}fQb|0­TrZn$}_Ěԋ+bUt`~vZ\ּ ò"^vPퟥ ڌ QW"+!$F~fJН 8{셇,URe JJ> N.1 S,8Fa" Z=a'T%@n˃mĻ3$my ZIp⼶@dkW}-l^>EvB}AKlIGpM4F&\:] GmC?T?]9Y$`k7({@r|DqphL.weW%IoG΄2QU P(3P13M1Tmۚ;{ 서^)KH $2+_&R'~[mZY?[jAU}/H$J0@h@(;|A{ӓ17 moTU5rEȔoznl|Ǔ)#mrz Ldu+VcZN=M""ߺP5!utj,8,uLQou g4^%imCY-(ŧ.Y ?k=V0=#v? \ff]{a /[3L3B'>#}}tRk=*o(_N=zN!,8ңEyS RG 0ӕIG42~-%e{;#b*7 +2n6@;onQXa4L,[G3xK1$$C;˵ So 0;kҿKi W/9at+(7O8-3 LvM9WUƌvS:ӈ/7m oŴ4""Zu] Dk<6n:b9@MPۃx\w}M3k~E"?w[]Piz޲?V`WIkBUF0SA޻8':E4k;t$$QR CU^S]L"̑ D`vGyޫҪ!O6mYro`1lY 4 o(ˀ=,Œ*d&>r>5x77 izU'm|\Sf$? qֳ"y9=8GL#|BL5G^k_4-(a~zdhICbs(ުO&2%22K =XcO uASoΞӾp߸ԜOø ]o_Y/l+{o%M׈.nBlehDTvXS ijUBM3YLjB=㘥̸ j(lj|V]ܠT"o9NDj:pO^nWj'үu\1jIrz@zC"r#jH'gΞC/}~ ň :/2Id.7bY0+"gX8fz[)hkwbTq1Z,r{XA0ȽȒVZ]s8aT5X@z {02/={tI ϊ,,Q)9+bI}xKѾ ( GZ'E=Cs ;N!)f(t?G w)i̩]DnyC4tbkm7;nLrjl}++ /?):r(EE4}ޠ|*֞s m;S'jdԋ{0Fv g@8=sAzVҽ%Cv+ؿ?e=? h@<5{Gq _#ypPNOLqZp}FVhO1|@) {,u((c0z#}YiXTq#NN+w Pnxb ($ Ic=Ӓʆ>ѹ*pf9 45yqbl4i,DD?ì &|TW|N=)WlU`\PNDFq$/r{wwD?Rcr[V՛\4{X[)CVQ,|IA[2(ɃpMuKܕG\;a/p*;9Vlc>i΃*{O=^sj HOH::7w룝A͹wjLa' $-Cك[@bLd=?PGtaid} fa݈wC4nK-MUP<(ܘ|lv7u5ۍNMHȊUm,0,xE!6CoD<#,=4@%%WWG7޴k9J G}j~0*(^g)%Ðބ$J_⊑J:HomPEs#t GDN@x"~z½RigP^Po < z=n ͳ4䈇YQ}w>w|)b~*jFƺZ)mo/h5CW&F?#4>~;gÑIGJ%/9a=A> ra!"jOJ:-6>4/'q }BÃDQ.~-S$|sCuX !;Fn}Lchh`\7e']',lPʙ' >o3Ͳ$H`3}/ D }xZ*^k\KB46%Èw&uEQQ݃梨`nle8Ëʃ#.-SNGV*#h0;] p?n>wݥ_QЮ+Ca0k1޵Y+N`~>]FVʓ_&P{; gSH/E0pq֓1d,C&te N{P%GuvVNVx]mH ~T]"Tmcq99 ΰ$m(@`xLIE2z3~@64?Kh6K_K^bj#Ozײb AݳL3R*C@/NS(}H8HW\L^݅p,e9|9.޾'N@:F⪴ x}ΗD*Kj2%dGq\ ,Cpg:ԵX#[Ng%##l0clK@/Fydu|Vtae qIӁ̎ f=WRW^̯`_/P}j7ҶILxC .[ж0R CpO;6`l=Rmē-(3^XfL8Ll z5q|ۭ{t&՜$`kko amz^HisRZkDzhW7Ԩ*^vOvi]/zÝ$Ŀp 3ҭi3+mֱOPs\Ic(S7 m=Di;RQ: "0.@I}7WR&wp& oF_ܿ_7!A֏CdG h;e DWrjѤ5ʫeǴE!B ,X*]6nq I~6Sk`h0[9)}z,Q_c JҢ9ER"ꢺ?e$,{628N!\5)3q޺1E4p=-]htؠ&a[R؝+ !^n%m:@*o #g.֕vg=M&Ӱ3iC&\1H nZq~x({U$HƱ@- GzfX+FF}㉙6 ܝʹ!9q@QEKpj+ލ:{*ZI-PU!eR/ʿdx1 i鸦C/0a%0,v]PvNX :[ t7@}+Rf;`3p݆vҢy [M+ˏ̀!mRZ'Cr"oꖼV)/]xMjAaiPҪsFr60 m0t39WA!HBLJwi\|/]EnN&\H2+OSNHV4︨jr@vMId_f_@^?27g.>Дp=bgq=J| B` HU/ UҰB7|>8P:Gve+&lj\yV1GGS3 z erΆNAkjiӪ"WFP.-IKhBYJb̓9z+Q+`#-)Мw(."h FYBUgXx`' 5F!$׭ͲLH;NUć| f^4gPxj{'i[ݱ mRgN/MLH4_r7ARA=h-i@G,%Ia<@nSjhI=yX& _36bKV3UOgX^bkGê}$]!WVGk`4!)SEЛ5/<_|f(Ddqw@~RF#FTi/"O)ㆮA/>F5ηxV3_IK2]z"xb2|=A;ӣӀ+8ӫcӡo-bMt 9½m 1vLLSѾKI.8Vu(g4DL%['vǶ="ч ]t>JsPfu;,\+v=K:6[p6V<9r%#80.VPh4>J/-ՄPGV;&8A0iU>B.̌e7VhC*_X7έo+z D)wyϖF$>KW7 LD2DQ@,|VSNޔAdN!gINMq\WT@rHhM^T]A:"6&K[9;JXhyxgk5U)ekA+~jHe;u-vm.('gr*w TSp͂yIUp{Ȱzr~AҒ_ Updl5-Ue0)USu߈G*ir0s!4ERC.w_Rv )*=3XZ,BY{)@A+di.PVC1I)Jr^O:@;+*eS_\pɎ2|+7ZbbUgCrDrxNVgrcWIͱjjOZnU/[ 'h=T?ȼ<8{P2L OUlPV:{dA.GeDi 4FX7waIG~ѿ5iI-+? PWp1SVEY)O|<{i/ƫL'C ݎłoX "cln֍W8>ュ4.[y&tZ2TY2̣sD4\l0ˇ0#Q1D8pPp1ԴI8^Fb1d|f5IQPcS|1x+3'91Avg[_wi!us[`׻_{A?Yf )g{=B?"^ҜthSQf2Hv:B~Q&?t; ,j٬5%RJ}: aA0+.R3~1-i;~;f1㶇=@i=Xco+_ إC(n^fFD$/-HYk`5å<ƕyhKPSM l $:: B&¢~(cyghAȵ.\OQB>5g˩1.`J7% +k{ 猪h!R[hd:BmCN(xcjz ~01=Bl'l]i㹁^9ok8{(VLT%"Sa949sݎo6d軾X :dҼe9BV<U7OwŹr~9H 7P0^ )H<e?ucn *I7cꐸՌg`qcQC qzmaSTW 7|Qb̀2}5`!IJ:$jM:k2͏AJ)S珌xQm\?FP@`}~ AJ=8ӕ'|<#,}E2c~ Z iF20"&:@KӺF{2ZղPM˯R3d.>? %|3\" Wo8歹~i$ԝ ̴1LU%V9g&P G-ݿB^`Bap?ņx0#Irs \&+e#аE0 aY./t%%NLk:/D-K!|*ē L[ݒXkʍC, te$Q,ҮzTr(^:xyLElЀ OIET涃 tsQL"q$S3OLT&đ?]ŀ_*x$8ўv@Pxz;dP".`:uP)kOB`c'=JUN5px<ZOD/h69S[SupOltTN1o 3[ta ~qUzc=.UI#Ţ}Bxwn}绩YЪ)E0DoGYZ[SϥMU/b>E0C1x@u]v3ϑ-cm!č0<=;QAi}Cw"%eņԓmiC>hn#OlgzHK>-!uraF{Gd g o‰Vh ~*LctV Y˔g ̾㈙ 27xpe²o81> /aj6ih}-B0^,kԭF:*wZ`н݃#o=_R[ὁVWar* B98 4gv]tKt{UvkM$لRr6+Nz"Ԭ'\a\dVŪÃ/99Aᗲ3}VKl :Bq .`tP[&- a[ݹ?#<jluxK%o>EY5-%;)M#bsD^:-6tRPWwClWTȬcŷ B?D6CyW9oB[0 $1ۚ ;VzoHU{}yw/b"7CcFa7û2+,mقN~s!(a}Z8OZ8T<}F6,}?Ӏ"i)꺗Vbo:!in=BxN;&gWdyn$PYCŎ|^ $G_9(js_~º&$,0q;c:E!Q Ef=G IJ*]NhK`x0 j_H+=5iT'a?cm.L2Px%V-ci:H§FK] V-yav!t aiRĒ_e?iGݿ dfepX/`u0H1mX=;Mx&=j!2+ :6d(tɈ_މ#XD']_x4)=Dp>\L:XK7II?0OBwK&"dk^gb|oY (>qŽ1o G魎ؼG v2= JI!N*҆S>DJy6LUL!|0'R^)@A ~v;1p8}< fBYE 2hLQen!q̱%('#FAW3w_YjޚVGUؤkjz@eQgh`PfF[PbooBW<[shH4]mLl0{GJ G$NZN]U${lwJbkɫ [c{\7PNY50œ58k.4yK,Ce盰[báKk=U𔭬}Q{}o2oɀM%AAW9kFZ6S;93A~1EhH4*h-X8b?Dk@`RagIWWFC/J?p&&%%_Spr֮jz%S47LGl5훐 :D\S;zH˹.g--U-PF<ro@N䫓 RNF {&»+v@sd{5+6b/h:u;M*mh6W]`hx!Ȋ24m΀nuZ7`yDNki+G]Cښo3usv5\V {! 3J2# a9;> f ;[yQ1_]*w l4U[}bY] G/bT(I{W`es?6#i'Yy)RreTW0La-I=7M_1-Ieo8`6qS3`+<̛iA|ǂKh=sd(2K9hSJ-ڗUMfxވ`J;\v)D `[>RH j'IF T^ B0ܡ9x"pX܎f;*.%+Bť뤇'2%QpkЀ[?_1Q.\ cuE%il꽳ѡr-& b[ENi$q$;8i?LW$:rZ.`'܏NX6]2i ~~'lX񬌣8F6&vY@եncu]Ab}JrY0ڨZ7!"֨T.p`XW.BXrж%&gVwhCAL6bTǹYd!\HfGDMX5xI24WI+DŽϤcfnWx@ʙţ(BL|ʈx1ɳk` Bկy#X@u*Zd̍[ày_4^a/"{-O=IHL*})l3#cj:Fx a\./ӥ(7U1<4i>g&7+w&hM`Z4›:~ Jgw[Do_Do"i;=Fh: 413>\TTԸ lл4|/\ kR\Kih4_bl)RY&[|vevʵ|^J)˷/mPKH:iŃ 4*:lkᩏ;g3/|PZߧF_%||(ؑ D`hSAcsVbb]:/6G΅^FU'>H~m]D&D{ttK2pä`W"'oǑ<Ҿ4aA鸜Əl azS\I\i[hn͘] <āw]=@6n<LP}2IX5R>KOO;cp79CiMH _qA ‡zA`]*('Xjb7YY*:c}M`bV}cNsrC3hIB%vVwpd;Y457iZLXONHԚ @[#ǽ^u92\v/jEo)mnÍ>5[}eqnUː![&fڙn$ݾQtcs> `i /(trG:V-sՈpa'dCD[0goIqG44hƏ:Eb%M>?Z#DZ6989>Q{Wڵ2+9{rI^nɮB>ԁ"3W>H8f٠{w<݌]wLݨ;<[bY [Q}mؑi}TUOAu*"62-\ݳlR=k1]F@(dFçvcV}uS^d82#s6S>Hi%PQrfTb̺փ4NWܴ_D 3eO-R6ݬ œevjk=k0lŔ"EF5: jUh6z#{:R - ڏd ),;"O&q5>۳GN֚q9ߘ+&Jyr¡za~~OF&)|k۠7fF Q女:%WݙBB9I1w|֫.ۑQQ뒤2_u|xʣ)rtEPVx l+Pwv#x> eCZX!O$h&watz<ωߨMYPlq2[UE+_U|Iz{GlHtwZG;۪~:>E܌["3! ˍR+?p d6fLEa]VG=,;Np_aÞKp'le4{w5Ot8xurt'O#G3teP|L`p$~u2( Zy~մeQp%`۪`Nǣ):ZQ߰>!Xh0lÑbtR7o/8ɲ@MR3"tLe̫*il'|e$M^YvުU]9X\/^N8CۑBAXɍ.k:#>?6GiH-c)0JeA:#ʜz^f{64 CH{Ȓcļe\4@9FHxhpQ,3YXr@,l5eOܸa|8^^/v/{ 5&l΅Lc9,-T`3]Ϋ&z9"/;gMam`Zf:haf][W3 U(l$iJ)Ҹ4Pb;@yWWPR*2ӣDbԇ^ItUWkz]}+;h#̡8<aaO1u4  _ttcn :c]QOK=M^ɶ o0 ^=ڈg?TULPl;ox|{ eOJ C=I~!&ozSq;qB-3rLv\R󩧵.x&&4h>NЩ䃥}G/Oze~\P*eivUϕQLvPfj_}ku>Ʒt|5gىyޫzO3 @QMV(i^L̅,|]4lჭ5ml٣D!,J2nM hK9e(d#b#VСžL@Ve ՑICywryy c7P3Kw2XV=TE!L{38+\^Z"QҼ2]4])phvw[Xb^*XvбkalX*W7q\XM#{)/1/Fs'-g`1YlvK-/P?H9O:]']^lJD9DBֲf\ =8s|P)L%򑸸QnY5LώqtgYYm4Uϩj^$d]9zlnCAiO:~֗]G I8W&)Ǔu`GDsm(D)lj3lmcV 2oeEzxZrѷh_r΅nbo"OlDrRM?3a/n_p@ A؟YdBF"x.P=k\*9׺K&_N p. "e6l9VxFw3L#ԑ/OSQ8펃/y'tg IҔx6[Q.ܨ.Ky샯xp` 0^h  =R25Dk #R1p@ DB׮ZsMaWsefDu5$;=݆R9^f5!d54kWVEl(P <ט^L<*XvN% Tpwxd@O]qhʏ7 WY^/(:ߚ eiyqy+uf!ҵQ'ƀ9:+X\1Edn2r^;[F' qb\ފi>J Ɏ\QKmc=OB%h_l1),g<"5PKs` Xo yĎB9.iwT&T9W}]0dr,|WC>ңAS-A\Ƽ îFkwz% u:rnd<͜Z+o_.5$]MF2M瓧qnBEAQn%8pvREl9yO(v*?^yZp@<,_ˠԪ'GqﶹK~+A &$uQ6cN1K,l2zTŵ֡S&~ϋБ +">Eh1Uhǵjj9Im^wG5#SfX%/A"iYk`wx 6^-!mZM [=Ow*#o 5<ϟ0{ϊ #0i~W:r -i ]?І. pw+[7Ζ^B_F } 3X>Xh.J6L->KL 0ץQ-v>s ˅K&jY2!UR*'^we(K׍tS̽j. J-=Ɨ59"=8wk޿x{Wd)Rai(ƷZG.-Ea2[@=e. 0 A>ׁKcOHzvL Ƕ1I- >\s#J%`ԫ⧴EM*V6>Z./?RE'yD@y w̏^}963BMc ]ޭ9C4" N_\#8,H]}By /\AoDs_S/,wшS~a*θLD dJ9ߐ&qmB\*kDZ~- EW[=. B}]*s~'IU"|蓬ӈts8@/Δ9M)\1$uqȸrNE\e|:G/a! *ˑ"-sJ M/c$#Y鹢@N G瞋و>P&/KY`0춡 AϞf٦` 3*j?\'vpj]aβ)=}R9P=?aAV JŽ//R g2U\1[Sk/H~ m34]ު@ BP`w_2lqHPO lţyV?<09psFD}QO߽t"YDr JQUj&\Aa 3Ú^BÐӨѫQՁ$EN(4G\zPΝ9Cҗ L-!kKYDt&O{_>|MܽbM#h7"DѸ+%)|QՌ<XMXy+gz&Yzא5)u6ۼ>nW tUq}TzPk Ւ+]79椐a 3ZK(LyѾyb0F40s,#:էey3ݚS*Ps!~PN<1\C͸@%3-7 0(T`MzsCn (#dll'b9* <~sdĘhLߞT]?TͩX3ui˧JnT;6 k꽐us!67fZ~LdlJ$E$#]NѸD|\M: %@aˣEmY+Zרc79f~| {f)Ĕf\/Z`XBoWH{o 6:e\;%;>:Zy:u:2Y`wZn(gbq? <}8J|&߈[^X(6{w6"i ~ęa >RsՉ7+LAEJYVsȡFK0cfY0pI!p {ջ Lmv[W CН^ӰaO}"La  bHwЕLnULMn9kՋg0=/yOdiӆ 5o|OS$yIʙŔΌj, q}]5/|3+PAXԁ#P!¢c:!ew!y:!˥rY\9蘉ž MU[X5:d¿wF[pՂYԡ+N;?cD9ilHU(`=l3?S6X4x`vT2%aU8z:"uX *4"G~bee>`(mMho LuPv^S,7%RE~G[FzrjbLjH3oK #0P5VHaB#׍ښͺq ͸5^.*A췐-Y0K so pԭG!C11#tx?$xgH^ (da"PR!n RU9A}Jb }Cy͌TyizZp,7ָ)G}siY}cд20EK,aRSm27`_dŷ9D| %b9К` 7*/ eo5ŷCOVـr-!_o~oS~P7HH椬P28ڒ7iaqc%}>yR&|BdfZ8@w97_D漋~h,ڣhnwDs6ŁVS W@?) 7pz@E( 593hh\p{#nHvKNUH283-*T.ͩT`z;ݳ& &a}yfô`;ZCK *O <&TS*U$|5R :L(uWH@ ch ihd ]sFT8X4]"uU+qŶ2̝ ˼e%:c;G1\X-JqʅX{u3%"Cb[-ƛOZ[mIiU$f(;;lIu~AX{`7= NH&̪Z| ( ,tMjbWju`PqWjqŰ$b䔭3P4ɖv߮K;,Xden;"Z[k!8,$Dw$[ 帳WuI383+ߎDKq =3Gru)FTezΆc6҉PPqD;I:# Nܪ*|܆EMuFYE xsB \7X+i4Ǔ5-Gr p{ Uo,Ӡ*xɟaAdE!v*t h(i@[MI~*᥂=&%{n`&Xr>6h"bV%KwĚ`ո#B1}R)A?Wʖڍ6TZ`o^"QF>-f﾿CiUʖX!\oJUՀ)C}ň(+";G,ʕh׽".Q2i4 [%0v?k0whpߕzֹtC,,pzڿ^'UhߩE|{k)]lim8m >>} ė_`ҁaNHS3EO5!#F z"ȹ: W>԰cp'&r~(M>E:߫PX9=opRݮ;2S7̈'20+81'p< _婹Qyh+/nVK?i*bB8p[ƅlnW[&(o@q>iHX|dԿX[>P !&xC;J`Ql~TȋQ(wg E6S[Ѯ.%I|WR]5*d"Ѯ䕍@^9֡X>=@6%]>_3#6jYu{Е3 (`[YV" g,,rm=c>':?+>pU:@q@"m}a[|_N&S@Uzq6nV#^># >`G5enNv7BWˤGDctc0߷ce X<ܞ?_B&5 ; ϪCnZnMEFGO(#(taWtB)z JT )qzW\JzeAE Md \Z|R?@k ̟sb=5FHK,fagTARni-AݥaJj8Zd!u̐V]A1ed{o5vɥE:uU*Xa Oy\U4ᝒ XwNeO|D~g8NPo5}mupOjɾgt4Ȧ_.+ҧR+Lt-/!$6~ݨs1]2@sʼn H tH}q$Wa#xoKjC7tId89|b7xBbRɚ;<]OK0#>3#h:G~$}n :0Dk- 1TfC"w<5a {PFRhwjZ3D.dhV Z%HF6ӝtpؒWgYZ IC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id10241' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O A]Άxʆ5.f-9 rq9βbXmfoeN(!8=ȂrzhjJ~'1C߂x5US|'9,^jS,c;gЈY{p |^y?1g>r@{/ Se~T$O39ik6sF2ہ% w Լ;j%Kɮ7 huR.7-1M/L,+̏A H~ 3Sb&֤eT*Wڱ1W0 i7vyYEt!m "R E+0 3ؾPsG:5˩'Rk2q1}ojDE%tO6k=(1(<DUg<4n۰Z)&,]SBկOXvԢYߢ=zAnJH'( z#TBUC8wf8 $1,?g+"ؑ s-(F.g|MS٧i ͏_uu(!?WCjK S (X\`X9i׾-i3Fr)]{Ya<}Q䥟Nw K79[E=JOp _ dQZ`ͤKrWx]o7NbAKOK2c8ްӞnq㑒@Y8Qe&GrخX.8Ր%IF8Y7/iש/-s0?.kcx!L۽E(a)+*Zw̮za ߷Tȶph%,[ުT^cdtCdj8%4y#s)L&2lԵ7xȔoRBhE&hAƛyÚyB}Ԧmf-e n;\3xJv|$BQ[l9 |͹.k:+ϽVLI(݈nU :T?R=n>k}D)n_F1YDL)w##h6ŽѺ=G>*wdLs=dOrevAo<MW>"z6<N:ь[п̜au,m"I!AfX#;׹\R`j-悶RCJfU-r_:E:շ: rjvx~ urV.8C̴͈\4X{c /+:L>)2SX&mx=ő{}AY${|H3}&":K>1tO.MW6~ . 2ρWD卌x }' xu=8ϾJZeo:iم@?oK`{=[.G]G֢;V=#lh )shgrK?^_.nª KFsXhM&"fAڈ݊ ܨ|Яͳ]Zd AGsͽO.>xNGfGWP~XAEp=վpe{WҌ6Uԏs^+vT n,gUuU"O+Ǖ,7T2*0*jyQCcQXUgە@?=uBD*<=g鱐-چ{ԛ7mj71,h!^P6x[fj@5 忇*G̘iI{77A,L&pAa_̈#㹌ܸ}B> %K-tzRdRNYTƢs^\("uQC3ܷHBhwZ@-W_Yi\eQGȄYfنh'o$VOJyB^IB>g[x'x>ק=Eb ^P KModˆt %L90YM TR3rS RKQWc8(1V6|I[U%_MO h̐MU30kH+S̬(y+^mW)(d]+ʣ.ΎtY~^D)+/j&n+l¢a`.q|s#:3ȵWN+Ws[:vbb_X(tǥET}7#uޑ\2"`S]'ю72*ccpN]~³[H[:9J0GOr;V7pꂤXf× CkUkL|Zork~20VA_piFֵsG0%B4`2ʓ#WUNY t_,nFHg.~uXw}3ZSA0/Vwo3ɖ(NG`]Y ;7^q(=M-z;.j~O![y'\u[ˠЎHagYZQ7S'3&1L(,7} ѣ{e%Kɍ߃T#ȓQ\k)}9lLќS/0CyzxOіdLpβcU3'.9be0?KQEN~'u(GSR3@l"/:ѕY1'5XnQ WL2lO3:W(Ҥ_ɑhs&s e̿m6H}.n&->I΁3A`o&#n mϙw[?bQ74.j>Tjdx~zHw身f?P|eY/#Y>2l3=hvZ{**rH T (~t|M iۏI'>΃#LX,u.RЫ\ >ds8Cɛ_Tpz1P{Hyh8b"+N)k&I_j&Ltn#yjmc;GiuNoU&oSy=ˊQ:Z/ڏ.Sf2 bRcso&w?h0GȏboyeD\?2Í N/6bv8DdN^B>=<:H j C|ǙUƉyke 1Q{6Trr Q?R77m(Ts?\]@6sQ-;'6vsḩ^wކewۀ]Ʊ&FFSA$m:/ЀYSkw|?vXgWc˄`vxB$ # szJ{M( ao<:`JR96%էC {UúP} -Yh'5{G =RG,Cej]cFiG4Bjs;4D*<O^)Jgʂ'߆zA]' 6=xA XLPCH$_REާ_չe!d~3>hNf;].ޡ 91 ${ҡnxQ#| .KxEPS?ؽ0>VHlI~#Ӯ75!pW(^"9}Rے֤;0U3B`Y|c$g[r^6UqdL;1£qɜd B.hmjdDn+ zcd7JvB E 5ϷϨL%r'n k&K(ܫgBwgM8Fq/:;f5=SS@kdeQTU~ݨ3CG9=24xnu8fyhUnQluhkwqzq'_[q>Bq >w z HuN s;v4=m{rpne 7*% fFkۓ1YoZcIb<CK(g/0ϋ=yԿ߯?j 1y*h (c5ާo  %:@Eh@]?/I\9s $fy$(`\ }f_9=E,UW_sڶN dx$R z}'.C avXn/ug9&.n{'](&k}wR31 s÷b\>59L3 :Q mFҝ N>d,Ĩhl)#LrA]ߝXDwk:Z/cE`kotT-ą ~ /0(/r2٠?@$u}ʵ*q8 kuQ,M:{;@r j3&.K횿!N;%8mߺ+`lPZI$v?}ڇ.@ zd2xjH#JhtT)Y=J+q>;-+՜Y:YhPNC0YQ_`WINaly&x1QgVdt\:zS=k9ㅇ^O {a}e<ۢ*)j>}r dg&*ﲭ=ū6 ZJz Ƽ,M}3㥹 0ıiN@QG N5g@.(`Rj(q (^\<<ٗo)ş_ qD|Γӹh9zCb7.8/6ͨfڲaxH+A%G̻\_rbu=ֺ< d֠`jzZfg,9*dmI.VhNV[ 멃#3;x !16l 0|uDg/O QvA晕h.|O%n}rD m LHa!a<~DӤJ#XTCr%{mZvrqۀlL;.C{s;wY5ܧ% iyaCh\ i!}\)0vCicv0XCȲñ>h_hyWWjN? nYW f]J-ߏoU(e6ݕgzM f#Р]N[8\OI4qxt~MФݿ vd@*`-b`ENɺ%|^ Znש~RyEV~^\LeWW>ҫ7M3^GQ~̹*F^"oѪӚfX\tMxlzJv=HEɒ~\-O]|y7;Ԛm_ѬGǑXWgJ|sH Xr ?SX[dtm'}WܼgyV+ea8ߴ1D/ 3eAFD1i}Ea=+ب܆<}gvmEyGBͨ;(} bn'qBUvS\_%C\j->!&yK;6y=C nL`*|Kӹbk; C7iR61ضBqɥYH:nĠr4ׅN<?BRhĢ&Fuh;{EG,>Ϛ >YgYZ rr+# ObJ&ŚgBGMXMYD'zbmlpnXDNj◢lFNc:3[4 P#>bDqgs<32n=*LQ/% bQ'766á9a\-` WHL~'a.WGl'G ei 㠪qдו}?# 7lUrɆi n^$Fb[lR3E-ŏV yAYLvR]""FN*smw/9æ? Xl?"Yuk`>~튱gEr90 nW?)4h.Ѐ L,)^drP֬iKӊPQi,GCIOJu))zҴ"a#C^/DGsz9f} d0)@%weQ\|GHB #Lrr 9z IۑҥGn lZy,?I@(UC??4 |Frs3xɪbɛhL?Y?WFQ]U|2 U4l:tV=W̙;㠋)&f{⸴^Fx9 CJH t؛$D>ŸtTHHgN G\@|D9<2cm|RUF2kDy^yw )!^`ul^b+NW1:V [SjH.*B[B4 @ǭID-<5/RK~ eҴkSxz]&ЪjN==-]bAobb`a'R%; pȓ=\8]I+&H`59U+\k^_ë{?9eZEsl1LH8Uu 7' ]a7R sU;ԁD.6ڳ-a@s\}(wdw"uGY"#.=E ΍ܰeLD/'t;U?Z|C{K2{_h/8b1,!o"nG WCMьG/3#܉O=8({Tyޱ5ys#٢?BzvQXOJ@4~J@k &҇TV6oCܟ e%W,G%6vF"BلlXGkўV2Nnp=;;I]ƴ?2bwxO0gn~XD2r-hPN=x8BА j0ȕY.^/}MӂD2Яc!:-X#QK>a8bH`5.X ׹DU'KC pT]ަFS`acpK@jȕN@eGK4(VyĞqP\5{5 5³'ͽX &pO44[((JAR, W d * JWK&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ׂ\zU AUm`,9>Bl)/k˼t {,UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ*DS?LbOZݢ q1 !O(_!Ekn5Q_<-҈X1 CF_xo%]cE0?89oܭ-jwQ\(ZG"2JxiW!rYTW|=yQόt_ZGsdwp_ӏ)M _{DC< ^IyO)͆ݣ݌70@G[.P'JwjUMJj8)7#b@\(~y!"鼻H.ebKe%"~#?h)b~'~]xAV4'%ke-h 0S8W #ݑbÅquSߌ,ig$5Å*e1;~onΘŭP cw|{#)U7ݽdړ [OM+a U+9=+tbԸEa=c\Qg ;ɥF^gsC%PjLv4֒Y:ⅉoԋfcJ)CC +7D"+ bۖz+58ڳvhqD[n BEPp`4,2|M\ (V|u2kp '|2aPܛ$P;ak?NQݻ:O"^]JXjP;Ƃc-Uh2w9|qec;qLڞ$ ?~4"/3ےHkg 4y-t SO1|*ma M:v}?"YC;70Xs?f)MnEPk_Ł]aO#Xp?+:Q+>9pX7qͤn)/ycE Y+|_}PO~XIڌ*ۘOBjqήd#; d: IeIso_[5~:43\Lk †ތKҞuzv'-߉vx)L.d/*G(.SF+$].+̯ē@%K- xID U\HMHKK};oADAppt"҄O )*tjIn>)R?yf1;7{fý\|kꆴʒ!4L;>Ï*퉋 ڦ2uC.z/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[:|&[zˠ^#j.s+2;f1,y*A{D<')te @?uGq!Y K;FWg\qp2CT۵Nru[AF_'\4^2X"jPe[Kyr,%Ԏ?WYB퉶MĥkUw|MRO|h~+ .&V~eq/R@Rva鑉0[¤1L#(kkW,įLpNuWjVdjlKr7Otmd0i9ݍXrKdgjzbuD.cM 7ɔL(,ݧQ錋C ٞ0A&DܰAn?Ҽi G*<(_)@Aw NE Ejc:sYY!GV옆GDܭiAд" L49"t].XP%kye{:-MGOU3u{`NJc FX !;`ap;>$O?&PfD#ڧB_삩#Hit`W87'./W>R2Tݲ,CS;9fނOQ[|~!Z<|DSK YB@[sxQZ(@߂Msv#vBwB#;Ē`r2'ʱ56#R2"hXxEJ czo0JȮ j<5rd&*_ ,:c߿0ggQi ǾAG[HdmU\ P:֞nܮ@'Ų%a)Rh}D5p5wW7j?ۄ۾/%vS@x ^3}(Jc/<\M4F`G%sdcW眺Ⱦ"qDwVOh9`ܥlAůN (mp+NCVP)*򷛼Y_3ym9'63h0xcaL=̱gYZho/7 րJXȫPwr~6Z,g%[&g-6\>;B=4dbƐ9mmBL?R f`jF 4kj~u-FkUt!iS6@LD\_嚭+Ūƣkm7P:H:Q`Rby g괎);]IF`S 5٫;YbBSȀ9^WE #,.o᭲J2 q^gDxά>F|䆐IdNO$X7^f&ޮb+ ;pHE+ۙ2dl 8?&Ҏ< |K2Mpkb IMn#\@zjj:*j&E .O KH*ﵑ`)PU-yq gJy҂*U3 ?K khYL$ <Q0:}`d2SL4gT߶|)L툒7U7kVnHQbk@$ }E;^j6S@ҜwnńH#G2"oŖ;<[gb4[1CYDJ#O b|˲Wm8롚d HݞۖXOzjYԫ1M B>IÏCm#BԷD#" 5d6m'ӗЖq^BBـI$./[p#v/ pjok-V,wX3bpNY:И|tsdPim'C WɸM,;p=W*0l'jQO?=ӵt "r<1viEC:5MR]0G-MGyf=3*Txv4 hZW sgqC=5cV\O)39?nr # Tmzh$_oͨtz݁w>ffPcs|YAٴG0'=_ZOF{GBw-A/ދ:BWNY) dPvɈ{$$s:CO)`Ue<~Ez<q;CqY̢kdq)ugҧ=<kM<${GI&6yqefϏs*KK3Jt1 n1qG+Mdž NcY}O/getzf ^ڣ䄧4-N|2Ԟ~O):ɼ9gMXNKԛ=FCCoO! ,ð|OO_fɍ!)B/i[AV ak-iGng2@MVvʳOץDG$s$\G=kUqKr[NUu#{/,B`̗ Ĩ!ae*Aq[~ޚ4U=9m`J%ĎEԷ2jԒW#U<{gF/Cn .B!V<H7!jd"ćF6myp:B!E>OɛwPf v'r׆(i eҒP~;oS *=n{:FT(r 9߆bXmBh%@߄ot غS2f 8|,t o:{LXLH4 pځ͉~*07QoyNzBb , )_o~MbSD X@x*4hZ ul/CxLfܢ$5c8]I'#ΤϜ{m( DI1eץ n f]a9Pxj?508i?"Y/fx $uO@V%|y!AСdX[17B:=mg] ؼ=I^O Z^Ŵ_R֛r5A\LgE ߗ0j8{z##e7hGkYߢ gVs݂n^ 5p}HPw L[ ϗQeg4(Y+Or4WX;_?^jҺdʪDtwBOFqa ':(5tt`e {ӲDwUX(zt=5NHT1Y΢jB17DnA|{Xi+ɲoxF4 ωItJ{"ԩ*v t8).Ԟ;B2=tXXD9ˠݽ=,ߦUNJH$X~^fo[^X$a0Wźe[>YDУK f'ʓX*lϐ.b^o Osɸy7ܷ[bNFapT&bRt&헠@EUۼFt"eo ߵ`2y7VbhK\VZlI%.~F PiR6:wY^C޹@s\R U\m*pI޴UJ6Xu.N1 >gEy%(׺v CY46B=?[d=F%~*.H |Z6lJ6 ᜜*1'z͐5L~9QB8bwisHךMo\ x;P3KL@~Q`;r۔%-{I&\~ڼEҒZ=>B}`ػc|Y?6N2<J;Ic`k:"9/)`hQ 8g7&m%%yPxe'0=0CqW7J ~!Q$ajThg*$&9d,f cddb*-i N%ZnH3HlU²}GiJ^)QkOYG Hυj`E{j˼uAD^^B"׼DIR@9,~ yA7*!ӰPq's+azZ``cP=ꚇRLPn l>dDOUSk?:QVYvlޑ4lrEi`T?4v Ns2UXp@*SSO?&g%WW6fQ}>+*v:pqkU8O{(s8Boj/ءC$ S 3uz[Iba+mL41NNjC5&_k3MݚCH3DO$%Y`G}@ÐvHR`~hD2 ia Y&f,3 DV]y9'1䷸4v+êFWU_Q*", ?"~gYZ ^dG*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118A(3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UO]·Iq n[:|&[zׂ#q`DFr\rS$+|G?mheKO!@:ș~Ʌ*p1"*~?1=mqҦaq J=+OC-A?1I($ܦ^G [yGP#&r9^RlQ_ZhP8n8tOXBI[ e=Af+>Y!xXkA#wbsM'_`|Ru">r9f oTkzvJaRB)1H{5g}Lx| @2n;SpTsU/z.\\_̱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 ($RAPjR )X;f}by `x1Q"/zoms&YtZp¤^դ`1P>YIIO=fTB-`81n'TI^2]w"u dDoư3"ۛƷ3PxU/GwT;|xI*:RYa%k!*qԙAgvcE~ 1J]"BKh 5q]P9$k:1 Wu1RA4)3Tg8?L Vŕmk5Lg%\.[Bt-5LիM8sRVe)Y3X~ER~# -]IX'ņ\9rU{Rz[})^^|yV򿬕)'O2{K.Vb1{H\Q6BU,0$ 3VQDX&\@b1k3 9l7[051we.tcab@N]H`L%(䐬gX9YhOڸlALo M}Fo-,F8vLePNE ^q2PԤNMS>Aއ6!§J(vi̾ޱU|5.鼊`gĝsKG/ZCyҌGvATN[ԭ_|ʡfx'ih[|F|b-m)hc\(0ΔGY!;u+[Į4qAZ%|=iS勷*`_~3]xhI2x ?~ tY9):!џPlaAQn6}keB }dCr~x$ču'8p1۷mE0-+d]s'T>vCn>4OXwb@\%A6cÕ4^.=1lQ B90PQRݬ~J~NR[ MM7΢c*(o_Xkw/ۘwR_]S waM [(/Nhw?TMBOgTm)$RY^,$sh$faU}/m"[.My;0}Z!娩E2aZ{o ^CA6/DKڳo÷U_V(_8U(%N}y'ČP?eRwxWn2\IZ*`cS I3cF!unO"qֵq2p }-7h ֬m\B`XZ%)$ 8P6x_"ihfj1Pdeݾō}ti( Z-Gsч0B︷?Q8ׂݠ)ɽi7F|*p!\@OIZÇ\Lߎ 4Zhx}"tb@+d! ,:-z^K˵y0a0Hdؐwx\te5kjp(F=(#}Mkz{$AGm A,/of#*_Fq1jZwԙe]\j;BI|N!i] B& Z+x0! )єe d _ᔖg"5YVym2 .%eE9g u@Ԙ 2i.u %\3K2N뮂a4h]0[.َfBeա̞u޵ѸjeWyOc&gFT3DԪ;ge4n]m1z붻xV8`܁[zu^}נ:+WZ%RqjDy0(R%` SI4ibF?04ܷv|'VXMQb H0&5b14Y ChN뜭"͇[YHXDyOFp*6kJ]l*E{uim3+Z &Y<)AU$߼!lzQݥ-p6Ե{w ԁ\_#fNA/=4YJJT>Q:g30m _M_P-%"i_~gdG+GM'.P+2=UZYoOa|d6`}ĕV12G|sMAWڿEc3"J:^\:plEHcp浀8x[)Nzt#nFdbCɇ=TI SB# ƈ1A4ZN=PfeGSA$<حRjB"/-2Sܥܼ3AFqaY$oX}ڔ~]D7w12Øa-'RKk{݉Z\P?+aB1=;ɪl )3 B6l;ApD)Y۾4CyT@gl'MhXv9{!P&I =%u.Pt 1kޚu#1TU%hĈ#NŁw#یuЉ q~Bmf)V6c6>säG5_UҴbnK^6a.4.š9&3箽}ºǖ2wwkCzR:zu\C_lh],ݻx<8QbNz¡/ޒ[<| vv :7aDm<&pYDR.- leINe],{&6X7MZ.7yWQ8Ub gYZ]τa.R3eSTcvi6834?Օր)XHUhkD0KiTwov"!^\ҝ l RKfit&/Eyzj0$cN 雋=t.8iӡ^Rjit4 iXtJv@R"=x aZ7[K@H氆RYY !'ZI}!Cvv }6lATkW .`=otl@-ҶN4잁B^jOE52xNWi{yNMB-8k=-lo]'mϹEO6 X*uv?iB@fWދa;xM }agQ ;KBXeMTC B#Hf*cC,.]7[2͂uͻΈiՍ4уm:H -yxf<XA4=: ,uwFv\]p| 7XԳF"8|Cލ,}?DN21b|!XmӑWsDZ chJ (oxdzzW!7C~ x!EmYwRٻLwUSP4wԎFixB悚pˁ6R׮XYtj#xhrc{w%6-f@/a4ݼi?M";R.ً5 a#d %-e)p;/H;jtfUi: b_vJtkXHvһglDtcvMDV 1hʙ\3&@&2}Gs[l Vw#ăELȵZ +XX;ԅ *${\Ȭ[ƱiG`q"5ɞg)t3227ssNav^8]jż($ϛ$TQd}kZ BY^ۄ5yڑ5@z9 )ۢ<}ݨiK oD!ɰԽ4T iѠjB7ٞg^ؐKp :+bX%/,;t'2oe%_z~%+WNG;s.ȿ'l%U0Ok%)M ?͛۶ԳrLo6-pBX^"L9;$TvWBA!8CcE&˖q0Cn1»!0U3Mu%>\d;.DYJKJE)@ 9Vϰ\靆R@7FZe%S+(9N$\MWs> b(aQdB}us : EX(S?+nA54%V9ԅk[4,QQ=ʼn z{)oQH'HM,U413v/P#b#v)>M%2mv#hHmiݯ*c-q ܱuܼ4y勤V}9eYG[xXPE$hğ /t9Xk^߿ m.fzk?>jgƀZlCn,}c.}-6XX_kcOyŧ;ѿu|.(x;ၦf B_-߫K&kyn,U]&fbd:m 3ȰsUDɰ+B7e6o}b]|W8XI[N ~^6o / rB=v`d.׺BtRҡXô>Y_dh1#8ޞ|=:p"섞c7fi"[.4Ip7Mg`zrۡkBͶ/'\&ݲ)+sY 9T0v R})>Lc#͝99%FGUg%@HvYNhwE%^ {$5IZ>9WXr}Mgn ߬TSzCMq1Vo#0TjJVNl䔞rd*)U+|{8/t1-j|4# W>n³YS7lh[ouT.p;= \7Hrr>7#s$f5̓5Amm:,nTC*T2;)2FrZeۈt%Yu-m$i6=NyR(Ƶ)gt-Х'M5"'Nybٯ0~WSxc>[=cq5 XFPv %W+"+oJ4Tj69=N!K"&v&z@J?o[h@X2zSδߤ]n;)82j+B=}k "!?zbEdYFbŀhNt2G& q$x¿Io~{xKG9V!T"BgMDے]P8K%>K%j/|tNH:v˧þi9FpfCqIlա)g6B_JEF14J0Y0 @J5{ѕIcmsgXdGʱ_e`\K|t죸d`PJ@ I-;E_T(uT K=Gcu V:pX^[{Ό3&Mqxg,>mҺGj,X;9Uw3-B.幢lJr))j Rq3)GX? j=Zͪ sK;s6@L[GEȱ`&x A^ݏ{G0cΤ .u3vm%`:M>/ 徜E.$W77`S^]P,&Uqx A,AR3^1fJٟ(Anqz Ip[4] p{T[ e8B3`:Qi v5&!?hԿ33픷үyxH,h=hϒBŻyBseTؚtqeO`KAQUCWeȱQt+A#'#c.a ` $-J"k3of])F+޺j2@yB5؂}jUobHQK0D,p86 XNٺw?X+\Oh {a3PrHwqā zX Yv#w Ge r['JmE0RH˫d/܍ ֹRrۖLuA( Ӓ6YϓO1䖆Vj[UykOMW`ak5n8W;䵍Ÿ/R4xbwWkPSYdVrJIzvCp a_gYZz/ /# $ZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! UsA ]ˠ)jk2p O6LP=͵gl5gՙqjE- R\o<;q٢Hķ-2. aKmL*VZ*T;O^RM3C:0⃞kUiD Ow@zE.e l_2s=-emzy_`H R?փz0CA0P"FJsgi$C' >WW囫bNg1_V䱨 \p=8W:sp{3CO4yD?uR)@U02{,D[.]YCOVo2A&<`GfC:`}0afV/FczC2w1&+*5N2ş@ }S+O3G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98?,/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GM]·Iq n[:|&[z3E'68 NJB-NS*¬tXVlsji4։QwQ;E*y -qft?[I}YJ~T"ԙge[(Ę/1 tT8 3n.$w>@ZI $xElw[=&Cb,_Dl䲂7E:n k?@c iBmgQy"[pҨ%LH?W/] G΅S@ .!7c>!+&1gYZY+/# dZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*i]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM?ބc$nu*~Ex:yj\±hiI R!qVZ2i(!qѴaK_#l j14¼@2tOAU5uVpٞ&q4<}*/mSG'5~vnOW-O)P,|g>GI9 ^&do+N>2z7䡵;˟!*FPh *$e넁\V\u~NtJ`W7D' Og^_jkRG%>j~BlM?Dd޾Cфf:$\x)[m铥9`=:"*:oˢ"D5(b$1TPeku7}*:TSv xBM#K㪹4E."*[@S11/Cvo;GX: WĬ]fIjIۆT ݈725Fnu.؀[5#LU;k_p`Q~=rN*SnXrepP64~S6O7 XD+BA:4"`n{ %WqΨ YNYTӏ"走:E$zX(ϵ. FXzRR(C+]HLBtepˈrgFLC&OlO2a5x'ZdvzfBDxVSz$ ~F.*'ޑB/~v32{*`\K>rCx+38Z2w{DP@Z1-`hd=.+fJ,+sRH ݉}\]][(g*Gx1Өqey>̦cgOUp!3a6X=Vgtl-2*_fjm U4JeW0 %1/ B}⊼qD/1{~1o Zi'Ʉm `u IR_{SMi3-E֜boTN驳 &-t,%-wtQ> au6<yOAY3"wieQ[FxCާ5|aݑo+? (OчҷJUx5"xieY6..35E`%퓧/8uDő& `Q\qpEN`].Mtզv]`ە=F|cURBvnGn5( qܩߜ 6H'xN⒈uVDhڡ,7sY8ku &q&qJԪo 3 [1UۼOx2Bg&QyNj0Ǩ02;4$GX+~'wS>UJ'z]pUཏTpY⸤]J'fւtch Ac"NH͆=P឴֧<{{"Ee}[Um'tL'?V IȻZG778Rel@EqK|t4/s[4\@*4GZ+b2 ;)FRO5&fhH1>e,.6V4>Ҏ5!-YvrJ_GߛC;SuQ텽Ҳ5DE#fKXo7Q{h\OlVmvA{k~,UZz/AQ+ *wnA'،Ք6!GУ`2kD9Xhqx֑l~=L7xҸMlٲ92~{ X~@hRg `X+$**GH?&3.*Z1i_hQ4S,oQеX6c?]Cړ ,><|x+}Eۮ};Sr>% We̗;C6߹e8,.Xy$1 >AH _u x.oHAuJAdS>˔iti37LMڝk%Ikdlj#h^$ blM7t1*k9Fh ι +CBs yHH=;'Y|boTzM ,c5Fp=Yw@Ꙕ4)2/К 5B6=yϷ9"i*N>OYg8pZw?Ipk*rn `ifܣPOd(z@oVjBvilu8 ;2G=(5B6?+?P3=haN C3# KsFs6G v ):79-HE̠%f⁻ RwR$z{R) \㵛˩>#{CHWtW3u0mm!qaktt=Hz'堌0KW *0yW,#™(`1lb ><=]kdU߀$=VacV`7p@?%NFDgT`"|gP%E%D`KXFr H;ޔu zLrT_9Rnp&cX8^8GP͉ W$377L~3:dĠ9&mt~ =m 1bʼnO$t _`'?\{T7+S *cTѯB91SB/R!uO?(LA (P&ɷ2XC[iQ n}YoTrtƸ1v+Gzwsô\ySD {Ñդd@_@.YcH\bG~l^毠yyL+Ì˃P4-sAu& N&$Zd*\&X^.q^os}w}m~}Oj*7rQ1ܼF yC 2m-Xb< ϭX-s"d.1W;"Y05wH%m4EX{{UL>@ڴS J,J@u)S4gK6D&27tulp@ V4^o~es`2wDmA+Bέ# k4ZO'}>=X3P(KG;e?77k -&F;T/diji ȍEFxDGϜdO,^h>hqmy> *\Ȅ((j. L^ާe[ʋ?yY؍uqQ|BC*OGR7-lD ÇZ,VvKѳɊɢOyzj}7.5KvT@ܜ'Of'N2ɞ6g. tc2ή/0rS4!fD`+ L/z74-ʟa| +98%<#`Gk`{s\OcQu0̼?;4d*<4(75}@'+i\t)eћ٩2^ɪ[U2,fb;[ό|[@ v>XW B[A 6Z \ u3y[1iݿR[֖ -X"Ix ]8S'X :ڲ=XCFw׿UpLAOXL5dJ֯Z)\Az7z j2S?TDt\4#BV+$?m2mֶRJhS0Cꃃ-DtT];75@W? 7]oZ`~9X3E_KnFW1xe_ SEvZy!}oY|9Exu*S?NZr[W6_"aHTg0kovoyGVy FdϾbe'L^@;E+nQ,~:m~Υs¹j#+ h;"0LemTJߠz.@O#u s4-oIlNlZ]<2¸-Wv"H ^qHLP>cIi T-(_$ӟ,,ToG}ed`a )I`PRQ#8'J]mTx9x :#l'h`%R&t>#3>f"&חk̗awXGê]kt}- '͢v.%t D%M}^؍NA]W1Jg9f*p{]DZ=W}2_!8I;\w(*f)kg]iȚ斱Ch~g\ BX:iik,!1Ր%ެ EbV&M1Аouy7, gCP.["@8dlJH?MIh4a0t`auYޡgꖄzŹB( Mi.טp|T9pu02i~(yh;棑T'v7eHǓ=QVp5-2w$ E&I?)e#yr =RfQT31Mw \ϥ;4]#_iSȹ$j{Wq<Ƙ!sŸ3}(@8]M\ߦ6i黔~K,J8YpRrn?/`>T)*fB48mƈ]ݝ x&/[ߨhBZ4FIL顑=޹JU~{俤^N #ў*>B&GOW~&^)=e%m$@=a6u;#e5\`K_ b8E֡+$vF$_/ `t%8z><5H|F~[^xO =S2#U?,,H7դZr.0XGymzO-rVAߚpڲg/gyKO@NMe ;VENb bNdܠ)|]t HF[=Ҕ\Y7x˯z4LU @WZQmg*& + ڮy!ZK7ou晫kP]yPY5Ơ-p.$E}1Gmk=E=;o=QAWZREgOO,b Ě"6|E+眡MKYAR3'] {6&F|U :i+$!O3ȒuzA!~&B`p!ϻHiQQ'چz=Ë `}^XweiQb:}1 bZUΦYPJb'(>5T#VeA>cXc<@A ?)Lڴ͎2?5vW)x0+^]PpUи|=5BGu)y "@ LJ;??T3/x1obGi>V<ہbu*&_` =kb E+P+$& R٢w]JjEH& Jsфz{5Mr ߑ Z ]g{TECJX8Rb!Ε5pOQ9|Cx8ˍexv)ftyk~<2,X5ǫNcx% j.97dsW8zd^GJ>rAb!JLY%IqG(U2gG8B& `gGC# 0FdC>uA3fRD[Ͻʁ^}{6\NSVwޞ4=1ɓ<`R (,z,X`ӰzvoAQGo~³Ig ? uDV}tѪ;- D@Dz|5ѯ\ZxZ/F ߯i mÃ6eϛ9)pb6*I`CbfOD=jͰU؏IC7Iu&} 2 t٩qQzs^SH ƫM1jOo:g1ْRCFo3ł5ŀdɊ'%)^V k5RG  {Qp_/ dhZ0zQ" `Dbvtwvjm#74NPm=6[و|RvJ ~`[1hWmU{j(^yq0#jOuymOD9[]aF%;Bcy̗eq~5.'tI)oyB?ORdL8kt4-[> q)hI,t~.%ᓪPz}LC xPQz;61J)=˜CJ|{] 2%f8?#^l,Q ۚŌP` y5j]V̄Cd*q6-Pqe}L3X:veʙzC%+h9b򇿟'4A߹ʿ@(7@3鱟L+8z4+&[/4WέW_Pq#wDt.v}@5`rFׄcK-1esk$&&<3L8nӊǧ?"[o\$=LG\Ha(]BS (nmU-N.L𼾥cm,ihH$bo;ˎ$Bl[Z]&%~1T=Yty֟l,Lj~BQ#!S/hd)^}/*Ts~f0;N'캀ʆz;&B!9JgZvt@]02RgWXA=2J\̷3\vfE&Kg 愃&A^pL[!@,$hdvmVN5}@#2,r,BR°  .D"6qճ{ydpZoHz Cbcǣ.UO:AYVY 6;,dPI/X{ !5v&$~5iv0Z-S?gCxDGy2#N] ٮykF,fԂSm*q *#nIϠsC,|'!{M\90yn)Ã% * }Y:6[q;#b xֆwiA>~\6W+$ՐS7N%Y?+AQDhMh#YH`Ɛ888cMWtl;=>~A+ofcr^o|gr=P*"!O7u/26EpbrE_>0L4/jA? L͕BK<۰xl Tj4ɯ7e!8Tv leΊ),!nΏZyN `{)GejB!$'P:̋}<#aEB:QO xmi{6-5*ϫL.}4n|o$E5"*>+Ԧf|Mo(&>y8V$Vgk3m)o qX33,BZuu~Z{9]9pH 0۸>D(We\,UOތ&i˄醙ʳ6zh^,W+JM?P.LLyx _")WV)~E5d|1~t{KTe:(E)> V.tC֠Ue=]U\A~_~"niho"rpU6E_֦Wv}"½B$0wҮPl3N }@:EbO8c4&Sr}sPO o(td MZ)xvtByҋ7/Lj_q@l[Н}̥1\pV'MKa<ě\Tb +(t`H7WKSHTkx"'/i , a[h5.͗?HS4MKd92Çr`nbDO `{'v1r* gJǥߗ:a`$gxsRɾJrQHSsVt3gCf,rAV-E/wg lQfVa±/ƨTȫU |yU fP4fطܲ׼θ/ccgW.JaftLK&_A4]ҐuhszYܫm2"ڂ90,y-;_6>k@E:Jpt6gO",/++jkYn@58Si5A^]f 4\T5.Wޔں `OvUK3ygzT@^:pxBU *1O?#|@=. 5zA7e #zl5Q+.([RՈ wKertT8y@.Q,ٜ^>oύus7 Q~Ź䨑I-uO76ê\P얰՚QgIfz9 B$&Y[HLoO "SJaMԢ<:䮎 2b;IqQS*'ZF^= qٱmpTVvX7YOTIɞ<AyfofQ Ŵj1_Ę(^^ ҳ\ܒ4ճ*57WK 5 [Sw&˷%ʲe2S~Qa.7ʅ|qfV TsQH|e Txg|<$?[>=rsBHLɼیLTZہL]KVT,xHG]^j= 7E{>`RtX{ D<0 isB'V&<* .:B1}\RncB΄Xr>.Āʶ*LS=ij=,gY6眈áI;|e[8U#9~1׵_\{@o/m%&?AD OΆ\ JcJBVNrk_#='BK3|R-]n}R+SR"<86ïdtė/vcDAרdPedcZj&> Qiy3cM8LD1l @ OIcڠ`Oe넳()v9Z,Ɠv R^?~4),a$cL/apH剞͐ "s1'#.P˓=*=ʥ4Ej\isz֙$yBD\[9BemB^LӟY2 1F#A&g9s PvRN%Y}>Mv:x!!V4*LRƈ!j)*zpWgH RX(q] tBm  hcXk8D땿P Eg{Zء&/>9#X ̑cr2$C{Gn3쌈Ѧh y8i*;~{ x0iMq{WZPI b r\.w̖qC׵uW~崊!J&|M}]1c{@!Th;hR5Q <ޘ&;:cL%:3mB *Z-t&EtU Yx_,a*wr?瓨1h`D}9+z-5TjCoBL7ᚳ[\T.߳VܩKyPka-V90C?MLVx cO.$]zEboմgRJzIOHw,K4̈́UE^k] \zǠ+]Mud6=,R=GcjLʈYoy-RWwLck;d$^o_r-QdC 3UW [W@MbP˟}:&\Osc Sݣ,nr1^pT)5SCwUv3H@w|=\ք'~*G1u#dAWf#sš$Y`'ȏZB&wgY|mgXOGN0_鐋Ɉw) 8ܯsxD?VgĚ[e,ZdĶ jt*cEUkF3{XZ  e(. W] Y|p"2QShMb_P}λVj![ǹ8 9fWUg^o+lUCa}(oÙ?7~ǢJa_10 x 1棔`&a@c6~(F[g@ѯ7.PqPd6ySCB]%ۈY?L Y;,kGz@H;|Ҿ0`z7xmyhEB˽VHͪ ϩ&:? _4ZT=Υgd_ߕQϖëXD<2ȭz.E;絁[_;ӑ+2:[7iGM)Q8&vOÿ5jXRAUhr\ɳ@2,P@J~=/iY.*-Hf;T7ן0v]Bߥl1|++sl= FFs`p̬ ½MaݺLj6P0,=%|"QIk1tcͱ߃d8, *6(]!aA7>KV0nj>D"L!?^<0#Qq* LY?$"M<UTǦ" Lz9#~ G}VZ b|\- S)vT98mتz-x!u` 3l}MfđԋD Ehs"W2ڠknjQ+BxNH  x21ԇ8it egJEWyN6ez60I0gf>Bp&irkIiR(E_9!j;;oW.P/y ijQsb~+]oC`j@wgۂr+3\߾O2T eE賔U'etAdg] >ﭟa=R,Bw̷οA(SK !?Z)RE2[Be%tGRoJH^:=lg2vnGޱ4^ytbr[ ;,pFm&_IgQA8IfL6HtwJU*8⑴†f0S}8 c@iN/uPk ~nIw<=կFV]}{A͛lnUTsdDj_پw7SAIǡ2YN*w,) m7߯G:cFQ=c;ȌH |Wn]?0[pA)]7__+Z9"gHW Lɒl򍐿gGm9[7mNAPpBvʜh(&B0~lr- H(I,^n1TG #XΞYѢpO@>Ni\ Cɽ\颔0o(dWKkyeN)̎(r"F-VSuQ3m`_M{G"(rԳ֬3C`n͠^Af&4מvW.vJV L:*`^igNMVlOJzcxhkm$Z$[ږYnXuTUBa7О_k:NQU‡Ú,a3zN=Wbvh 64%[}Lxn:9XBF{ hg ƈ}\}H1r׾.I^LkZKIhz̝\] EG"Wcx:4(T" h^F{ -yfTX~jI{VJ=u}:r>4Pǧe/z23gܣoKCyz{Gt+ezx8rhf 7ƬOQqu# )N K1lbCGH7Od)i'؈u-WѶѥEY-Z]N's,Oxl<# V$ޜ?,RHP63L<4gM^8tx:a"?[/ҲHb( /7f9i>r/a޵(lLV4 }}S>Bl{\A+%?l0GQD?P"..svU_MI^K4LPAJ< `t3:j,E%r_нPnKc 2lb=iAʙ8.gUގ}8Y鷐KH *G.`ZqHi{ꤐ3?B]a?jhTp: Nfuy7vr}(k`v&F_W0#ge6qUHnp 7esڝ8qտ0EeGy[B`_ }n*xmhcN%uJ祴-g>V ZCTvP)Pa ryG-:#\\TE :CVK]eش)bbn\hr>ˣOfWA: )3ETo.q֔fHz"NJz@vo%ޔE}@5 v,xиm&+]N[ Ŗ-qRP)Ā#e7:{'*@h`-E_"ZL\b1ϛ|'U7KYuV)2zWrE\*!)A ȡ0<[F,1Nѭ=&.>c,m;WݻQ~ >z@K00,LcUph X90f ;2ePV[I>ҏ{8O!ԲXSP8סѽ!݆1]})PҵWB7Sq Vm4ɗrJcM;c'{ŵ%!|L F $jA}vRt QX@{W햒KsǏbyMOg%Z&dBa@$ؔ>fH\dN/GAå}ţ}STz46. S%W˰z ya@I%U-qyWKܻu73# , $йA ]60,@킹Y1{ T&-w*-/?&MPnYAJ%+yxȡī3IDtR>z[juA ٥^R.>GR~;~/G]f$Tgw m^)g7zu3itO 7oq Ձ}["a'06KV-i6 1>!) )>'jq>=%}Ϫ\cPy(꠱z6ʿ EA}DG(Ki;4OcU: !U),S 3%mFebal{ƂzG.Uj;V7UmnXJ.^Îs%Z=TϝX1.~9lU}_[RRGu#XY$XlH;K pCҖ#NB*fU6R$z䵸 ",W4o>pŵ XСOW}".7{n8f/mw~7N~䶯{*kzh~: ѯj{-ބ p^ fi?YH r٭{#޿w0Y]f+"-[3˃!K^nQRWOg*I+zd gͦxWV]r d&}\l-xx/"sBm<Ĵ꫙^p 1:'-S2_^2 'ዕr,zV2<*zĻs%HU28?Sr{l9rl}$HwVD f߃d,>1HAGucċ,փ&RojGf#c_7 v_Mx\ԀR]ř$pi(B1#xz2GT48+İh 2=A|).VIpk- 7_2%ʫ|jqBӔ> r2y2BKꪌvգK|7W<ȅn~"Tl3 q2!fV,مyrJh7F8FH'$ٌǯZ<fpm ^)ws]t:|- x!q.lf_Y:!6֘fӣt'4O"5a&i™! 9yKUP#kx.\o_Pi+p u4YP%4z /͊O\<]6qz5=b[ {$ua j7TE8KHJN i1=v2+{V1+ЪT?"U )zZ7Tr`-  2q՜ Qhɻm!hBOʅޙPAs9Zś3 ce ]^=#4RRLO%ŃM5hEUGO;pELa]tB4ϙ&9>Ǝ=vShXHoTJc8߷ƤHۂ|` <.`~ufjqe !Z`I4=K, ,)7fD~]/s)8ߠNSAL&'Vw4t,"SZMPj2E/`2"[={{ކAW%B@XQwK~S_wTuTo)K)=;.TRr* yf22} N $H,!q!{Bq>niNҥM<xߘt6"x!SpbkZV)[?Ոrk 9>.Yޥ48!?W!UT:&U}obծ(ֽbjңضZxtux2`S* Y8T<ϰ0G8=3RD}:4 ܡt>dσ{S~l3sA-Y84[䤠f q'gs덽 ZQ!;۪NY:6:\>3R 6qwؖk"o>A:!K@glu\/q+m곽ޙI+ޘCL- @JX B褳N! Dٶۆq0R' HzP:45 ( )(`oc6o^cݞ:y<ͿDpᡍ Hڂ1W>d.HRONk<ɳ4n({b*`6+݈6nzA5lg & %yU} p~*%lLa|%Яw3䒀C8`GLMy*" *[v7[l YfUer ɹ=FB@9,qPECy8̻$X:|wJ^DB{%U9sZPL5J,c^;W! rȘC<^Zto] ˽nF "yΉFv#ibKSq7a^9Qu޺?@ 7Kby\Z ~,TK׮ޕ l"%ز+KۯbU"ScA7в? A;MIV IAuMbB䌚8Ү~n+ m+Lc;i9A ZxkI9ZH^ٕZ" o{}۵ƾ7Ea!fēr8#<;CTdvANRTՌ/?=̋AQ)JǗ@Řjh̤gZ'GnM!*Y?Pe_a1@55\1[+!0b*zK%Τ9<%㣺ـ$Ee9Y"B\Lf5z^|:8mkZǶMTr)7?mM.WJ)˳OS3ܭ$Nt3/J;B! Aj.-8H~_ W@fl|u.3՛*\oƜPVaU[KG=2KCx? KHAv2ލ5EE髍"yvu9~&tSZIJE LN?rMOЯ{ǒ66#2:Gm p|"qxtrneOSgCX!i&Di+|eHiNG? Y/CpG*0A`5ANsTKkg^]H(N2i^KG`KK-ΔxW%pэůᖹa:ơ~S8ΰ}䪄h8{l"*%y_9V̼ KgYZ {{v3 /# ZF-InductZF-Induct.PropLogPIDE/markup7zXZִF! ^K+]ˠ)jk2p O6LP=͵gl5gՙqjW-HIJU]]kRφ1{ncK'15_o_X?5x}Z$T5޲,8=YP{J=fOJR}3~2Ɠ跬kfu.c;d}YZ l0CYRY "E ,KѠ.R|6IDTOYۦQ,p5 F$ʉ(>*f;X[fx }%*B; Tk w50/u68#nMyv'S淬@vY`HJ! ^\*̸5]{:Τ\LZ ݧ„xI׺!-~WjSvqwҫΑ/¥ry650 x@6rW1- *9OS|K+J;){ًhXp ~ 䁄Fn=Ryպ]X>hȣ/#XpDxgmjX%#'υ2DK:tźzy/*eH!EL<*|'|C{9l.rn?bmrY ("\Q \v Ny9l*/$ƒPt#j!zOCXSKA1*Z}Mb tp@qC.Lh5KdTԓSg}3leq@רGaƴ1_np3i\>R /A$OEHsw+WVnfih$poIŋ"ӝce9*i\&<4HV|drDJ0wX7響Aw+8T$Cm-rkcZ.OJ_#-W>-X2d CЅr7 ?FmS,aTߴ^=O'\dF9> a^kI:م^RKI'b9htS,߄dRbK^-~Q'Xyy}YGڿ188ޝb.W0'@Npc.N/yXOMu9AzTQ\X.!߭Ths&bRoB_ ..jAΟ͂;yADhV\H.4- 6sҌ+}m |+jUS! h 飺&&c4 . ^ GSXӷ`j A, hypo@KG;DaSw:["K`b8Y@RƋY2_8άkc/ZDhXZl1BXhU)G%'b 뽪 d ɯJ@IBÚs xXJsތyf;*] 4j}1 A#ƵthFF7ҝ{ h驿đX{p)Ee9vqԆ)}9OFX8]V]nlumف*\e&PV7D_nU +XD@K -|;W$]0E=]H$54i SL2wշ_ǿmlow0{&HMBC(li˥'YB!KO jv!^Jm GGgbquETYd̗N{IJZ1Hxn' Q-cD3I4|Ci;778C FFjXs hE-%#S x}u^+PxyxnGfoʈ<ClX%j )pM½kVd^ɚZೕtzKtݬ}GcF)Szie1n!/5+C4Pm)Uoa/S^-M.;a|5OMH/s{^lg*f$ "Eg`"&:lmW'"w ']v{dۻ2PIwKDf_G%yԃYJ~`ङ%UمCbOGV=s 4RwR* 4m,Y+QuT =o# X Xs0U~)`2y GY9h0𳹛w bzf@Eo7  V # 7 )# LZF-InductZF-Induct.TermPIDE/markup7zXZִF! )]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JEC!1z};F1)4I`j`y.~yIjty rgU䒀[woPD7CYT~BHXOһA(I7iy!UfХqroP.=׍m')V(6?NQ9=C0jX규dl.,-FY wd.>Jн3Y`_p3'*4ٹ"yāCcDy`/|ooօ4V Ov]|wQA\TLBQ| 2[8jSƇ-8$>٪H8J 2.8_4p <3kL"'nBvjr?Tap &Ԝ0Č3M$;Vog=qRv*=`qtETw\XhsA!v=gY+\%d2Œ< xG[e8tX}oQ)LJ'tΑ!2[Z3E'b3r#[VT+م:e }]=r&b,BRqRywiÔ Ah:d^;\ 儿 z:*LcUmKkoSꧪN-kG<\J5ʴQA?pfV MG`)P7߇)xTFt/b{F[LOZ*v|\.")^=0$T5uqN*q N7<쏡4CFolV@Bh\<]gi \ihQhe sl{bϤzP%R~@zF}FkzR-/m!4l-H`puBlF"T9`w z+x֧l:5=!$f_jig7(8Ҟ*RÓIМ²ZF^#SOz 'ppj10wEr暀@L;1`۫#e93R O_%R閼->\'x:#H!0셑;l6̱a\]O4vyB!f/nуRL] fyU/e@9lex [ˣ9~Tja+ h Z=T: ptnb2w9Q B Cކ7` m9~'{ʅ&"}|cAO~wA5s x!;63HU8'PiBd\l(3fpq\] ЪA)1l3S˦1 a\o;&םs2O+>eQa1:7_xm4Iߓ\q;'27vJ &Yli~ QF9g@\|w[* l3THR5mA_d_kgXs 'xzlKsEZ\'&P( $>9bv4)"(-710~JR~eUj٣BWt&0ɇܭԠ6X@-*J!o]H9f`!iuhTh ,T&[4ɐ`7Ya fw̌Ef%q|,wam9!x|wקc!ݗ7Hp|Ӑ:dHN88G3hcx'mm5Pt(ZKC!@ DYcd6Н>%P$A; V@U7G`vinPC`ZP$5D>7@DjgCNIiz,Sd?"p?-^jĴZ]`u0e5+7Wc`̤5KGoF0h=*JhXYk|kۯé5bVGVRxKMGw$t @"E`ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112'4/' |ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N6]·Iq n[:|&[z|m!{"xIZ ^B``(RUsR.Hs+5Y(Ae,#,]Po7/9Fp$!GX(fH 8A^>reWegK&2[ ӞquG_z*:ɎZcq\2ʄ Ky MHGv*x6 v]kqOjiZqKMu*Q*j)w8t+S1EB pbcQj]4%S%_wrھc·)@xcFi;r󎩘 =<3 J 3 jk>dOuK#Q(r'TS曇DG _2 gm/ӟ>+:r4S[XudR[:J(OTgl{ټ6.'; cP ],̶Lꃶţcٹ",sdJı`-u>)>+{1uJV§Nx)LMX8[_7\'8Gtm%YRR| ?wyt+c";uAI? ?vObrd!-+N5٠ӫŻ#_dR?V\2/)"f  {mIȸ k͘uϑ5RN!>1}LC8Mei˖|a|0I' tQmT=r18ڑ 4a'dP߫mʇmI9RȮ'!g+6XFfd5i :/K/Ov(}WKQrt<hs[35ᬍ"MTJ-hXl~%S3 k)0cHN> 嘍@#)vYO+ݐC`X-4 eʭDI.Sħڋp @72ͷ͉ 9-b*kﴖ7H%0*˰"h;(E,<%Ԯ;+PH!M*+oÙ(~ ew9#ɟߎnLȸJa :L ƈh݈KLybFleM=ګW  R`1d/i5+GMg3uvN镯sp_P(PL).esO.mZغw} dJ]Q\8RlOy]F)7I pfەOmz8$ԲW{fu]F: #!H-pkK;ơꩃT&<\(v}҄rlP\ӚIc& j0U7X/"VdM+ =+8q 6i uM!f\$}{:[]!_9q[ڧ@J&ķn7 2z2.]SeS҃DN|:>?$-`@*-ϠEsATyR8"0o1p3k:%Dqp3Wxd-KvR\r-r@EBlnP=HPu雺52z(n.۸Pr;s"j(|EGHXBƴT?muP Fht<@bT#/Ht[= rT_=Rōo>>႑ 2hEbL.BN7DC]ynT\{l@x;fF,3ۦKaGI,;t[MN[D`;F9= &͍VցWBҶš@RvΘO Y+ȓ2C2*d>xnG(H=5@WԋysE۞c%k@Tql4rw>0 ݽll97Uz$~4W=Q*^~k+iuSJ N]RFϐ!z362a[{,jCՐWRAe.+&i*wnċZ>N8Z-A\:ʢ `_rH"#EoLpUYާ@/IGvflBs *ns%7qKr8viH\c"I_S~0hų=kѠ6`E9 D$ ޼P`6bgvZol%[)L>ZZfpqlnHX O$v3CP;5+ԛKfُk!t$#tNBt_tFRQ 6/2 Xt)Lv`0*?4-4Es)Ͱiy..K+TZYlVs>7*?zNOoVlyXOo Hg2)ieU]O&9mX5Y/V[D٨|nG'Cn&j$;ZFq_]( ]'eD%J0]q*{uޮ8.4Gv\ê\mh`72U$CmPV9#@s梜PRJcl?3vi3&=RN {/EB'0"Tq-XE~%AiCWӺG{zYY}//jz:X-f͗>b!2-oRgd^E.rɉyb:ld_Q_Hbh \v=ZOجQӹ݋z^HgIQd::MJ7u1k @ 3 RLD -t-Ömȕʠ7sRFzy$Zru ,ljۡp?_`kƐ&w/zٗ5 V˔Wz?K|Z7Jz?xϋ0ͺף`f>eJ!Jj@&]9f`I֏t܆s>Oh2P#F .4 &a |4.-&tǧ>KZ5{̜2lNS:<^jP|0U¨K`bE:27hp6ԇ\s4>6zA!ev}7:KUlKr wZF1U׊l|Ns(^ a /;g-_Z& .)ó8Xv͵fN%K{!gjp{a:^VڳQQvϧEos|(QMlVwj.7xY&KR4DiGKHK}yA~vC@"7' EIqyzV/.f/4TND~(8p6}Bb eHz 6sJg%qI9l77h\Be?.#zHT3FX)xh6c=P^>W;I ĪC{7eSڛEY)hAvise_:!gǮ!-Ai{PzL]0I U` @ 7VX%co} kl4' esIA:]RlOw};gMyP֧h*!. Zl ǟ>n ~j\ߠR|C%9 Py>&z%[/_ <8]<ViQDibz0gzp[|*};ſ$5ux G_85 L`1S6.mԬ 6ڡc]̳(<AR]*Otx& O8DC;NK'>e\$$^¹rsp B>N8xw-^;TGy3u,%n 'n-Č E ^Yl<-~:CKJ} X6оە+aIܦ>&]ԍѶN:%֛벦VaWO_&< JIjHȘ5&KBʭzMPƮXM{Cvuo?f.G"3nP![َۊ}HވR^C8.(a%X#TVw|lN~P[Zl[Veμ)QITzȸOؔɯ*4u ](X_?lP[{q()poOFU4Y{m%22BY`B`4J.R0v<5RއX7,gJ`, $F/sLVn7%si4U އ#(ؾѾt'8azcE5;0{A]XUOdۘ`LW.vgl6z?D 22TGU08z܁qH3i8IzafrÕ= obz޻G4N[f;Q)p;բvDpyz5jtjRij(hG(zE'w&_J zxձ'am$fgHB;>mF^c|_ڔ؜V/M3IR\տWQAgWb9^f/.{[TTD*U5$3r;z L:Fk 4h+)`quh}Xue8 \+0|ys[6W?M_;V^q vrγ%:kA)R(?~pn8AmG1H0ѓ=NPPNh$gO}<|y2Lް / ҒZRʖ1l0އy&Pg:py̑~Ӗܩ%)OP%?&Z;ӊe#\2K_펰0BIA߁é3гNFGtOCh*"8w(/ VO6:̏^:Q$$qkZZqN5Rl6 P{dX?_Br`fE8W0-w6JITW];j?$\kUHz:@v- NV0ϔh+{Ctx[Sk  ,/H]7c1t+qXKT`6)0>VƔa͵3iP58xBXp to&^:/ΰĵa]"=δ%2~~N-&ڀ7 <_.3{L6W=r}{4fQy^W@,|&5RV؇ȵ]cNm!#U~KU"*YYciaFm \սbh@VΤanX_,:dF4(?| Ք9]ʁv+pDl P3F!vl'SՏ`!+S}II65.^]}k+W1 tq;mcRDjh\F̧|Ko7WS}6sw=Da|Vz@Q/GgqvAؘ`R/'!.F'4ɭ4x%UmNlq.lQP> Clb_,"|Y*ބܘRpo0ψߥ{,KnXHKu!$df9!`|6ә9u,"lݚQlW_U&vKNke*?0f v3=C>u^?r1 ͗vtfcNBi,9:gkoGe?me쾯k dwO1C}X[Vz'qHL$.!0DЬO59X7$mȏ)grh<udI f >J Tc;E>.˿I[nRZڋO<')|H4[ }@|sA8c˸rJ,}*׻Y կ3%t{bt`w5>|Ӎp=՗J؞)|׊pI#?Ď +maXƥϽT k<ͤ\QQ<<gp IE"F;<2^0WM<0 9=HD2|K7nܙ5p$:#\L0gY!={;!ES \tV˃acme?Ÿkv6ҞR*:v < Đ$NGݒ)>Y,vlW  vo|Z%ۑ㦑Yq 2w+8hЏ%G ťU% >Am>fͪΎ&.=䟼CװWxlK; eeЬ6_y];^lOJ&avN蟙ĆEoQ #,!>V)Qۤ!k+S=_߸(EX:;1 Νʧآ!%fRaeUBQLz%~@cTdh§ՖiS}!j$z;`ЬSX3 x9m4 \x%5F5[ex'\%ɼ%!GDxWh8}P º v3 *1G(3R0i-rM,0|ٸ$ӡS>7/e"Rvd(Dʬ3G8%:~c(iͶVZ?"yޜFʙC^7c4KfBU}f+[O%0opwأ Mf*]6a'SaugYZ 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}_F Q,Qj`zOYGe9f+3 g+@<|˄ ^aNΪ'L]\KX gD\kٌ6C5ucB9Dz vܰ=l80uAw4 _b~]`OO,Кn+!sVtTCzMTMW>zDA24[quS)v)Bzg0ɒYmi-??F?gYZ$21ͫ}ݼ5* XBdspn'$~SM@)` Huv.,EDZ:{Mqa&½/c$COEw> Cx(l -"rUI8XJ2o+Pʚ{fWO6f ϳMןhntqO5 84i$ $@~7g5< 7Q* X%`d…'TT^J#Jin`9X< O:a`FR_P;E2SZ%YIMן_ԖV 7(DG%ubz+zZʣ*tgZ$֘91 YiL^wyuIvR_e@@قW$->ɭ)0Nʏa^'Mt.DZ~= v(W:;8/*GaZ /':@5|QvcI8O7e[TLa)wlXy֣9rރey;Uc ineq}73*,&ȑJ Rvp_y kڿ ~Pl,5:NlX9,8"s b )԰váFּKP[1(6lLb[]9ۉ2BV}X]>E Ɲ:E vo1B۠ RhFUȐl;Lp38,!Ⱥǵv[Fĕ]1om?o .k3{{D6R qΐwMcglIoW},TZKXg:FB 6bDۺ"P>-lMt,qS \A<04I0|% .1p : r FXK'(7o:|$2O?!xG?w? xۡU٤J\vRS"Q(jjdz҂7a? 5IWLory󞃾yk/mvzwez0=j;#|P4'hǎ-sIypP9 TO"DLn,iĎwȘpf"wF @}% ءɆU8`Rpx Gl(P$3c7ƒq؊G1}ū=dxdNfĆIЇt#pN]̋ۿxW4u 4U)Eo% ☙ĩ637 \7X,{ td-fȢU"/#CBD5&H~|Ӕф*^o"%9HÛ1UE.i,6̡":sڽE~PSSC[K~`֎}&<.䫫B1^S畫ڐ+5YO@y(Y/Pl,*Տ\(gZ,"x]C_^ʇh}*g2+*{}eaQn =_{6va՚8.=!r#7' 30Dk?%Nw@"syK޾D~,L'yf 1;抧 2F%<}oQdd[)M捝X3*MQɊOײo݆o6/<TOw!!]8 6LSŎͶÅtR™ѮNwW%.Fu08kO~mK=MPI nAWnwm D'x [ٰ+EKt,k 7r.r on sl;.' p<ԥ ¤72'V.6N !pKݵ)ml@_`a9pT??|%1QnNwJ zoer} F)vb ^+>[س]_ 4MӬYʍ^CC4Z:슏:$fXb iԼGW[B+roi6yLnNob=Е'y*>BBhQ.i^ys~A9j 0=˔lbLD&S%qKNZ;xip4:.oGΤcg]meI{v7#\DT`OҀR{MPBYpahָ}DYLB&yn$Guf8-{-9׃VPov[Z{DGGV*L&ˑϿ .)-lK/+fNJi݌;\elԤ֒ޚSm?${zwtQӒav1*Ճ:a2cBhbY3r~PۛN~ cM ~k{2쩽@awe7Dil.GYa*UUJz5AGCۿr_1|re/z0(#IM7ii|8LO"/u4t&cشL^k>xV/JJfj F 2s1zyR$XA lB&ʖ/VS/qe?mjf wP 5}`+&!BxNxLH*I 5!.h&vߡi%SASY2<`RvQ+@-N+ ̸§բQPƒ@T gCLQ!a(ڊ"ۿL1z;J+I/JL>IagjlY& IoW(cޝ-S̢"8_Rp;~( |U-?2E-GTh ҳ]|gUv4:Rݠv|zؒ  UVzyXqOyX\=q^@̎Z1lP {F—w'=8F<@jsȦUOh1/lC n2>PS 4Erk3`K g"K16|gR&j,: QtZkT2 0Nz`8&5h]A#}4hATٰs[ f|wPe/~b$l $D~-;XȰJ2Ȉ{S}񕙮GkEPLpE+֋z"ju '%%k9mZI\5Ch+gg&O 8 L˴ \}R{A0)#6<2N-i`G_ ң̔#fxTPvtoohr-= 41VgYZ ;+# TZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͖,Ksqjj-h,@0kg;^iBS30`qK L5uԇO+V1oe9~;N7ty#yG=+枎cOԍ=, f<i.Ne]sȘv&|RK:\/dD][+$Bh_c .# %pV։fRC(ջ-smdiIy A_M9Sdl:kE#tfV#!o]^apRGќ7ɢ5salKb3Jf`׊4qdUHj)RG @NZ> <!!0y&Eid1z`ZDA wpq^ϴk1Jnx_e_D*C 냃hXç00Aa5#l#(ha {G`?̒0]uzr[X rpaa!w_W@.jhuvIݩ0< ӽ%Pc 籉e8f'OK :* LY|H_lIeߋSdRä"K%-xllcY__*\ּO,ZEgv5o;[U)t<ui>ZyˊY j`o q)}.N|-!F}g>%s|#Xp%.@*,GzO-DSSW5 TchcÌm:rЮw .<] R+T[5R.6R^!RY'VuX_NT,iDdNqWs65YiP `ItĊ|hQuU s{Rz4r%Q #!C1,'2{D88K6/*d[ ՛u_|.AgX4⁅1X@{.d RE^Ƅ2R,!Ծ@&Aq`6c- 2[zSX=DpDY(CTM&Yq7he,g֔^CC'zcaXGCQXpA #}Nv13 f1;D5uEMkÍ ~D-ĠC|+g$h?n0 H|L+ئh7aS6ӟ0XaU4gњ<;L; 7^? ^$y%d r^y^?Q HP77yDNU/:XȦ Կ(*1.梵pX  ɞq 63J=DMJ%Vp(׭Zr3ݳH'/G,mZ~m̾hf.@2bkWW?43B&ak<ΠuevžXK+ R6[7x7_'U53soMiAlrwل b,5:[+jE vGZ06_\P^L#.>Wm2Weӊ ?_A#$<+t򕙪5ZK?~Y0&ϓg\#ƔHQX.Sw#wMrONIV)vp͠@h3!&͚w.OsJx#ϣ{~#s׀K:"f=AZ&F@]U v+&g2*V 蚑c?`,}KpY:.lZC?bNc#UI3WL{r`?P6ݕ Sf_je `jVL${"5廵g3s$w ~]H2+$"ɸH 6"=}#PXM鹇!v,2 Ghý]KRAc.2Wl6Rhlc>cjXY4dBDPc%.\Vђ'R@0xM/iUl5J"(O8s:SKIEr^Tq0&B8J16r${FW\9o&oafr ԥ9 8q8폎'ʲ+ mIdMNyXuh[tw 2* 4Hw;r:[ ]iH2Xi<H,M϶pCZl2{庳 td/`H>c̺׌@Fm; _OՓU?e'"D[986)q lg$PՄ!-y@O}hVD`q@kl$ ({mm2L'H\o1*&Q @8l `Ͼ=q&eS=Twy„c*] yn`o5@PvpIEja  L  ,d!C )# dZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&QOk CRFUr2; ݗ=JN%wc|qICBqӳe~%c&Qєx51,468C-ѷZJpљnYv؆SsII+O4?+*6L9Ollcݒ0\ A<ّh@P"WɽKX ߰ԃ`b@H4Rs)lI`3nӨ?ɺ !acºM;H,MNOyt5OWq&3K:Zz8>Rk9 4 w+W{kf]F[nmoiCAB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' LZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *. ]·Iq n[:|&[zIncތ[˜>岑x%8qR\1QӬxfNˠB`FFݕ&p\%O=DÍ(L`/cD62j[30N"Z# "M_0aZ3%XpO_Eey/$rU[0T 9NNԀq~`( Mw-@kKPZ v>i3H.z=cRn?!dXRȝ}M`'QʕHIG"Aprk8 0mijPIJE_^SDAL;pA]  mxZ FFtm83ӗMt+Ƀ=rܮpãjmT7gȡVPN!i?I/PUTA+DMTS\kf&N7'fX HaF4WO ð~5٭sT/C{߸tLH Q6~[:.tVT8WGFPxǤ2 r.as擦5ƞ*vAaFm)!ʖe&A nH$~Aei  h._ nCM̏a#;!9(Z'֏eň8.ELlqѰ49qjb . b/ܩJHAO>7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1141<+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! B]·Iq n[:|&[ziu=pEs2ҩ=i9 ΂p~( {DPv-N{֥kz?@I꺟Ojʵ,px{D-1.en>ϓ>r|H{ť7L0C{T eAnـl{2G̾1kdoDdq7Ќ \#L#whiaPZk잓&v]әE;z33J}ZqB.:/O4`to}Cv'W60MpoD Qv_6u&Iq~y}*c'e2 |!I1Pxq@5~H*; PCׯv\$Im*:_`TSBf퀓ɀ"#dy7`HzdRݾ^PJ$7L9}wK f0/)K`=_r,2ލ(A Ncutξr9X^3w=PCT EȩIvX ăKiM(MZ|%&n ޞ?+9,+Vk\䜂H)P+h[Zf[~V! P8{Gn맚Ĺ$у󋇲K=%gͺ#Ȳ!jt|Dռ.jc@d&EDڍrtK͍KY@8U#9Km[:,B )Fq(䇬l+RQi;w_ )agYZB4T1 NXE;sl5:v%cSmj!Ejlj8ޫ'3 GҼZ5^Kd[eygM6d\B׳ATwlR5$VjWQeʌȖCv9o 1T?sZu_LߒL5V]T px =ĺ6OV -1*e[ҭRTk>@;\x>H^E66JBɢ-3oY0eqzcrTjB]p`h}}X,@| JTU Q؅oK+HInPNS^-Ȭy>0͏ 9xB#X1p!tLdZHEN!Q f7BY~-cΆciYpYkHy]\%Ê׆XdsVcgM L4Fo]KfOkB[Rq$5m"4-^?r=נOHLTǩQ8@.UL89(@yU-"UM.L/{7cpGylLI=tq.#[Qsk"XˇU!VkUw;feAFriڒY5k~$]B|50*ji~~q15K?=:ڂOׅgǤR53 ~}}Քݿ~Кi2݈C1ٲ_ [(ywgtkBzVIBX]Ns5<nԂp)` SVNڇ<5)๙<ľó η )Or`)tdfj;sm5/`-}Ss>`ęN9;i'GHT7HDfTpG~IQnftnqhBVN>A8dmà+>̨ǓA-|12 {`nQ3r)W_[S祮CJW'(8nŢ%='1{*)KDu,˹1PM"ʪ*gl8wG 98=}R`]?A)}Ǧ#B~, =jW\~۞4d6v]+~Jujp JBjS!;;}_kO 2{]x,=(-` @ z2H-I9n#Pqv?.Ih"b}ݶ4ר1r6kmz`=8y7 )mynbyj6m?<pqDX9٠>)[(n 3.9MJM}8O3]3Hk%*&tCN?9cq2i1}f@7z'r+Ueg<:}sSK>@p^55ul:`#3!DOUu=&-< l^ ~eY2CV ]~h*k@?*)S|sb1'jmN8 3sp9ϑ}, lMN4,Kr]aC2cuyq:+ju :}`[Z#?K8(C%׏,ׅŷx6grV\Rq#ip~'(f*6İb|>i/$͖#A VqX/ec)Lr(t'L`Le)V3#Le}D|>ՄfL^9=4?yD2ZseL,yUd.R]ZyばQPڠNdshU#ۢyaNjrIbnΩQbVGxW^4wrsRr HF+iVNz Ct_b}k1FA&R@D\{dX2aqRnB8,MlhAꑰ+9txUڇؒo]#Usi4Ԗݖ,4>RtUٹ+NvqTdpT?-3j0 fO e-Ѓ&(%^tp XE𛳲m~,Z|D&7\04`"(R̩/xirbn:PօD7Q+`Åc F  ()G6Z_p!os@r|UJC&GrճX Gf37V3f`Zwd+uN֌6#CURE̚<řp U93Y<1j+GA5J ϖUi8ߏ~CXK 5 M1\_ť,+b=!AU5X1:ԩm fkN 7íqx Y~ʙ`_!'-#Sw} y4Y'F*.o`땿 q Μ>JÎYu#z{#IoyagΨ\~&^C8G|5|Z9`nrUd6F~/i-o,ś|A,Ց,%SZZ>\T{" JTFhz,(R_GUb&Np}yuYZzŽ[&'(CX^)I#:<ۉ+0B{%#9sƖqykXחi 4B]. ~A*5WTW͝n^䐈3-P^LA| b1\C\gaQ*m["t&*@ΒmSۗ}.2݁M4{gԪkMM(Lb0_~ ei¢G^i 'V𬎂%K䯝3$ ,y taPXvceأ4Rj5&ͨ}LꜜIQ ll !?3A]xuW;\b 3(zbN M뿷e{`S#xc{zniv-5 `J=/>\侵6~fIb4ꡤw|}+ș5%hT7.uP/b|J{9pPQQ ]O %яUίw(S<90RW+@R5w&/ܔaV^#eE!?IE)gtD=BG8c Dr_z2 wYPq ēe_?9Xzw-=)}7~뜶S4}j1d BOmH~lqĪNnX=Ċixn-qm] W$#]2i&]MDɬP߱gYZDr$*L\_~ 5|6G]_ւ̭e+j4AR}@v9; )o@A>zPjAX/\d;)kW?z=]qBlXͨfAwL/C$ `1:>*oaKjRM "A9e^s`kYn: })"mp/~N["6:Pd͂Qsyl\mg( ; yS/|lae;I3 Y6j~6MPT:<]B7KsY&3U2zGՁV[!W:SӲ!QAH?PXW- !ҾŽ*i1BT"sݙYRc`jnsV:WaH<EGt黴j8{u $#7dÁL"N=^gZD]Cغ[l³uZ7{۶DI%ؒǭG G~q G\sD5HK5INr)i8͟P`dS,1z7X`2wQ9pŎ䥚x0GQ秀 뉰A! Q~H}FN(KQi>>ҽraظ{-ז؞%n ݷF S,ABG1yn߷$06ƑpKK/dW͂$(ȱf/ʉ=6hw/}*wd vB:J@=fbTsΕL1nm@茧~`'{HRgKܡQY8ِFk tU]QQ=Uƴm׉W?JFRD֩zr~ENL7];;F !"!N͛YB]|O9HSx:@+I62_t0eeBnʯ՗0/LW7?cf:oZ:$104PFɾ !!(w>̄&(|:xL$ڃOMh&fP`D"%ނ]Mݜ7ݒCӀaW9<^&F6gi`%FcȒ|? j6CT@JC"=4 z Vy[oGmFm3 Y@3T9%6ab3j&u)1U`! O6X 3M7@Ewi䮽 D?h+U=԰G? !?e/`!1R*. 6~|[rX۫0V#mIg⁀>Cpde(slLq& }6Yvƫ {[ӍRC;$!HYg/;Iȹu*g,+۷꙾0˽FIte\8Ķ#է#LK^ JJEylgzTΎ#n K6J䊦ib<>0|hm( D +3pW(w艳u!`mO"9#¾Tn]EBCPp 6nf!tj֗IRh?TNL5= ǥ߸6SpxUy7ԢIK醟3!$,c%Rm m53ҥ|nXByJ]}^//f^tp)/V= 4q' [Yީtє8%cIXHttY. N$@N-yQ;s`su$`у>2to:+?s[ Hʖ"nzm6g.Bd˞Q?ķuե왥WXB:qmIq0pX6Qlq r<`C v~l5EO[DwlGWc!b&Picg;$8I !,ū?vRIQG_7 ɞ7 ./D%!݆<c(ץrUL䎣{}.%]$5LB QTԝsP) 8Fz@qrЊs evx-Ky  h}ʅMu,]\XNfIrU9J j T=!r,$/2 #H/ʊz ʑw ?seJ=Lϥƒi 0W=ކHOM8YCKM!֐i—%h,U1`8;1~=WF:`9šr-py{7LpK*4>o"fpD/772%Ry'xbeRE9-jN\T`%KTCgڃuF֗QX% Ox-j~ ॄ>jFDT&?QKlA-9,4`>P$/G^3!tHL+3NûeR~K3uH]Dޓ孌9mcAs5rc7`Ƥ!P#QX;HTǮV\.ݿŲՋ,N4aCG.0Y4x3#~3_8w8PС]%r$~5~tF_:tRnJ}#|nۿa(^R"MZώ^(aphkޖG|q<,J? x%Fݮ2O]?665Z|;"S=ޜ ْ\+'_;!œ,"zvH,-ن(fYN(S9%8ܢ6X X`gO@s{KJYKٹ|l=2(-zzWԯ -d"'s[VcJ7(DwU%Q'gszޤۺ2nT:1w+9K+ cϑC3xNqID=t}f!~&ɸPk:N5wܚySϥ ` OaFT(e91r G~hhzupnwHmm3{NyA Toh*ԴJ?4hyVI\3;V.MzZpjn! z< &Qu;iL.\ڢ4)G'i(1dWP+~5bB=o|7S4UR wf`(r8lsh|a\1zU20PRmD[WP. t4 `&$KK?ȡ,[UyTVsx>VR Fm%^;"qKcr^i^?*aZw zmWmLU_=<UE)Ľ ) !BF2*{Ν0ǰQ?=~b|L );̾a+?ܓtD䲈A+\pRL$wJ*ٛZ&PW_$t,D#Jjr$>2=G GQ؝e;FyBؽNv*NN> -3vIJ E9)r@6VP4}b'y"H~eM6 ? 0(,eDAGTrŒ~P4Ǣ}ή!,j (S=`mo8/6VG'b9*o"^ j,D 9Mk щѲ[m_ Z`k&IWC}ȹ r$Ͼ;MK㶤f5SM&i قnߔ)kWly +/v+9]?N۠ȁKt˪%1 XK%}dž bm5 J`ejbʦe)؈' 0+ F‰6^J!l_R}D4t ȶKŖ)Oqb Sw$BI˿WNx#>]?yiMsbz'8JF&{;Ѧ{x[7KA\EA R)=J Ic^@T=Dn u`_ҩߖ9VYZ^A6"*_T-=-TJ ).DŽx5glW8<`# 3UG0S.g)f>DϦBÞlD!^wg b   OKݫ*ejʹ-q+:zh<}oc!>L4{(2tC-ෑ?@;(QEL%*.1> ҧ,y7{[?.6͵e:17W,a&UI5ðF\}Jd>@>iwM&L3#K^ E81FuXDB$W,ďeMeT3}0o0)6+Pܖ6s)-Z?}5)hdQvE|u ?$0)P/ ߩU~ 玲XUȧI~Xa9 ACϑdaw!a"|NofH‚=ά3(tz~L{)Ѷ64@ i2r\@w\f)jMLKEތ,zWoq=_o*\'. O9 E88_IE!ge?Y^dq ZR? f,`u;tw 0GT??6缮bXFo l,d Is}@?PmjD͎2(q}РіM:H#uEq^W kX {;;fD&~^栁FᱝlM"v{#r9]yHKa˸nK2`4FN pS QNN-B"kd-" ܶ~6V`.j[=v@Q*i)C:W;ުĕZȳۡ=&8z[lpʂ<)]͆|6qיKkB%?$OmC29o5Q|YGQ/$Q-5|J0ĉIa{7#CX[R22Qޘ֕7VTaâsyOH L3ԭG*UbsXlz>FO-"B!1\8ӄ踵1̺;DB9| ;g*PN6E?uտ/)8D⩏;9Cd'E&aU#Yхha;ny9VҪzB:\KM|}jL3Q-ў(-x H(CU8Zߐ=qЖ&N9t"Mst{v8 ǿ>$#-Gqt @;#0XɃP20ᦦ :}nammS$&833(;6c ?eElCsr4綧eS YJܢWzيNlhoT94b)귿)P.읖2ћAΰ ??ug )Ì4ںf ?ܯUm8ߵU'xOK<(4nWse'/G`_л'^κ`z"aظ 3d)?[SG TRh ¡kr~NeWcn%ELg荄 ,NJbS1/`X _1V8xƧT ۨb_{p̞^ҀX\n\fq/4JyRkzyB\Hžܳq7b+9RXO|e(%J#U\g3mF ,ޱ2qѠ\)s6>Yh^7ik8%ca,D@Q):'۝?ѣNƥE2л) Tsl rxy2tc|YooWх"TKwxſ~'K47/=ٙ !KG{wuOKE8#:K9LEyB4[TQ=Wh6Jߛk*k^鍄)\I#/KRCC*\)#3fvLؠ!JBbid|B+5āߪtއdPLΒ@:̛Hbѱ"-05JێVxK냼Nrl.G{0CEl>7wvo&k/݉\Zb"~M7V] .&Kvsy񷜲;`I?z%'#7G=y8s$6Mu؛$4Lɪ.ƐkO>~(tjrE ӺFB+[~qTqQ~Ӳ_ ("q岐:8Ptvr9bls; pk-?!D4l.ťHPv>R1铔rG C3-ľ8g9w 74m^''NА&W1v.xMg8c-9 rVJvUVٲ}_d:@H\>) #Dx`@9~Ey6s|QZ(qI#}auh=i=l1oE‚agYZ v %v?G'! ɱX]ePQfqL6%G7PO4Znw rӹ  y!SJ](oKk| Ra끄:=dX}I&9{},GWr:[>X. ]85ҌSmRADz&g9t^ɩ".XUy,60["CBn/heO6# ͭS tPB*0LW}RrnHmLo}'gǶCB;=aM|dvt6 YQ?Q^" OJExP#~ WAptTٌP#GJu|{۝'fW}30d*Wڑ#䨱<.gzďjC7gYl?kwI~DNٝ/Ful7ҹ[`XZKlF_җ| I{dIrT' dd ]YX",jY8Ow+ʬ@tG8'cFuPfdv3O-U.@I=._<`[ǚw_Ɣb9-/cgPj I ^&NCʕ*=-ygT&C1{dêђD7僒 xe Fl-YMÔ0. Q (9ݫ h͞au Wb`r~L#5i #Dev@ɜ%( GIDSYN"LypDږ7NO恵l #q. Wq#.eqsU,4]H MTL<F!/=bkZ!&кڦKamLDy[Biƅ*BM V\$T;Bo>Ii^yizK/s^[FLsuBALa*E-sCxX]ZI]DwK`Fey3ž Iy gEs&ncQurdroY!fw?.'{xoUuBLTr71u";?Ell0t Ñi4^ҀlK Zq0<\K32avUѳ2J;~4 +  g±gYZ J~J2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlcaWI'' dZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂ#9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗbDL( ,n^<6#" pb^mqwzAlK/Q594S}:r9uxC3zk5Ot2?n;|+ɈfP /X 3W+ cEhq3MdYe}W b &+.L LyT`GCZ?.^E L WS\N!uw^wP^7=-!]  c9j?w>R55tT<}P%U}:сly|7ty$*Xk~@QTG Q]͹¼vAvq(om|mI%lQo!2E.uQ*۔]4R2%QA%0`(5Yhrqagr'O%@Sbmv?b33m: `9>- qۦm?2Xki.=ȰEM$(bہu}0YM'˹mAJȌϰwD32f@yyeC; L;ohuVij-BTV(! /)E\@ž m&>eNͻ'`m8vP0E-Cy }ypDtl} ?EkEڞ%߀J?f[D4oV Ǭ7<*N[e9Xo:$ˠykJӰU7 k { gGg%%vnhS5Z>cW4]rYGNr!ͺ TȋA['LD5JsJ7GQqt5~ כs w k4# (ڔ~cE NYpb{J|zs9f\Z S? Dqteji$z- [CU-hgB(  BGүzѐ%ݹSgV {"d_(CLC^|:sdYxDL3! LHμ1IƓ{jdBn*%(gzk 31Q%:3J؂ q+2ŷ$Uj86,P6i5@^Zvsg-/!_A jr`B)^@F*ngmgi)Y#k$2뚦j\;3tLz&> 4 5rN׊PF83>ώѷ7a~]y蟖zPڒ,'F8- 6,DtIVI DZk.V5^we^HKc({}ӳAS֘ vJl֑Bǡ|zlEl.G3+`H\-%SʥzsU3fA7wk.b ٛ<͖@XR>l'6v~C')5)7(&@-:rnZ<%A!;>o-MXM únqz",0T͙)k&Pߧ^xb]U8vI %/j?J#d !KpcM r'`˿]f~SE,<cÜl~Y?FKXfE %oE8:V1Qsg`Tkk,6p/Rpڞ v,>p囚ΖRye 1;U(J{DMVIur oD^as"yr9.6ԃR)o}]}4Ԍ3@la_ jC*rYԌNzom,nɲscOcw UqL\ڇ^cZ@/79OQ zֹYd:] o e`|4:@-J2+ql7BS}:+ɼ;)=a.whQ kI){cN 9n[<^1gJ7!@Sr ߶:X' ˫л4` P _!!{񊎭@@Ii?&K4G`*^R2=ΛsgchS*ŀi~aE> : iY!F;nPW+LPζʄ'`J6]uԗJt":dNHOjQ>hj ehu {h-h\Uw"-J+C0Ky&TlpƉ%3:BvL9g=YL  n'q ӊӎY+s a!ʂhZ}MղYf7&NsfYt'w&[ Iaw'0qWbĭ;Ptg-zpɟ[uJPl!$=Sߦ7> >.g̩ $%镯\ƪ1^yLVXvaKT^5 mc\S-v#b>lc,0S!=WC&qvo/7`mނgYZ M+# lZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o-]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CQx_0(/hJcww%oK RvC~:-|@ے/< Pf$C `'q_}C|f u\˧ľl4x"ț4!ר/oc'?'/M[CY^vqխ/es{y@7D U 5H9\W&6/~^(]֨xy/v5+jc4ɭ&J~{/rwi( ?tӝQHpeYyؽމھ!:Y4SV+$I= Հ.^Άa\#7W7Qc T]7~-Z/$ kOֿ؋>/nz;3. S 9՚C1 7~y[vu+N3\_ĈnSx._I'Wo9Sʁs~IsQ.#*o\stj >NC:$! wrBCl3Q8/$N6%]U[u#!?ah')ߤ^۫ԏ\o@B]OAdeV Ra\f۬~hC2Vؔ%a"%M3_ZV$jt~!ІHYB ٛ= [j]o㢏d f+fh j9W} +gvyo4+U{2ԋR5W9MPh"s~(vR)!}ttuνSF"Ǻ5|MiL/?LwoO2tb% xWO (3]9Gi]NکKdk q0uz8\s$#qjR,JyèM㫑y"X$DyixJY?KڞG`Ji;lLt\[R.l MwtrTz;TSTJ6y b;# YҰ|9Lޓg Tc/‹eplvwp:hSz^@-W~80@}2L$Y&hZ&n}s_RHJ;-꾵pJme_9tz5RP1G&&OlV ݵ?RkY*UCZ&u%~-e`~BFsg- RvJnࣗ/3͸e:g9Sn5>å>T90\OhQڼ ͟կ#T6l%& C cɴĪ5Y8[Ѯo<[oԵYZeM  nHkյR>WfPM#,\ͽ`%mL:oY1L?/{b#[ `jy8;X&aB}~@i-q~\FhQZ\Jې6s^@3|R}憥,t$ nc4%Tg,bX+sϰf%d o#4[p:ú ~XM) 0^4 UI̺f{J܋6h\ Hx>mIDKE9BcoQ@uM:x[g5c4.M.KgYZ