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 yr|4 ]/]ZF-Induct:threads=6elapsed=3.748cpu=13.332gc=0.7527zXZִF! a]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0Ћn㘬7l!1DBBG+,嚠ʧÒl,L·q:OԜ%jlI 2`..IW6PU21\ajAW+Y"#$h1j=PX兮>*`[,[!'L;Dlh:7FD_S&WS08emD <ژgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5$()jKjE4i):EMhO c_IOs( &@ʇWb$G?oD< 76H)ruMO5f&t[T87'%wa8$;+pU+4+ ',WpHc90#m$v،tv^PlE,_zWvOnP@dQut;9gYZ7zXZִF! ]ŗXi%ldnD8 >, Wڭiimxzt6nsոq)E37:'28߹ӉH[rYuf\F<{‰ ̉~M>+~s#O[3>hآ}_Â܍ [^).fJ-G"35$eڍ#skqo}-(Xt=Osp/DC4$C3 V(N-!x0 ܶ$^6N/mi:XE(մ܀= @H_m6q/r}Q'?=U&}Eg@7$|/&d8Y. >7CG2Y ?{ /d7N Åqqnbfb!Ǎ,*_P05]PTT8AEe ֒Bd$ůٕ03+3f#@Bl)V=B5բX.ljYtysvĒّԠ vxʩmj uL:[Ya0$ͩ\KkmaѲyLX&5v\5j~g LjneWJmu!DK1GGXg;Þ2N(=#FC@k$.xFcޝks#B@B._G2RxյUjagDdLx4h5[pgc6P53669$@_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؃ѩС rGMFKEG@C?;=::793621.&*$&#       O* ` f 3& 0  e`W u _3S* C ) | S ) vM#   a}O u J !1c10+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-.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 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex3/5 ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex  bچ  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 j/5 tZF-InductZF-Induct.FoldSetdocument/FoldSet.tex7zXZִF! ᷢ]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$"Ǭɻ5 HA VK]C_VzhOT]g&*?h* -(Sޯ^-:EVi iÄEK8+Z:L*bYh[m4,1SQOLAIhTkq}ZjYмjK<$ű$L.K<1cXgFޗd9W+,P6V%C)\d׎?_~d`KP4@eW/)%z4&uSdOTzvmhL֔6GEӌܱ͠fU;lN\q3S7A6n^CE F |{)(5N,'ePNoĦ|<:zRg3TVnqRd;jQw ١\|J؋T1myԬZF&{B~>53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I 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{+(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$ 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?ܗ})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 ;;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 /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 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  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  +. '- 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 n)# 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,Yٳ/ϱN x @^W>x ?N~ iW}f|t0X1\۫űR&D_2^ExVot!}1 :>VB8doS!n.ŕ[3q˷"[^Zv2 `.td@.Y_!݃z7{T>=.". 8A;f$Lr橡QN~l,ݮn^ Q3 Q8Hr͐ &638P~ ZC|+{U+ yHp![8bYN8(qH1П$UC ?xS)FOђ'&@ aѲ57K}*J2o <k> ͚[3ӏK=um.ȇ6#@#/ 2˹tH@A'bKs"FNwf,; ՗$hENqxF `CFۂ2Zihp:A| QΑ/OpN3~Hcb!Fx;'S7U,ƾpWg ]w 7˅mѫ*a=uK/໺<_I M?>F0Rjts?.ӴCjX~Ae1l".*$Nr c'nR>0iwfE~u ]l2'~Q)aP zcnhloԫn$qFB4~| l2]5))aޡcO)?aAPG?pfJq}U^8n?uLȼp9'G]#U 9${#B,/,)zmzzpCuNJ0#wh0YkrlA?|=Q7Kmiz@MfoW^[ 'h>>x rݚ!GkW]a죫H+㠅jjegQ}"nYSc͝56( ^aBtVi z:!(p/UvdA69㉲'}-GC`s̬D^TMa<%qdE)]Ȫc FLQC: 憖|8YqB~6IFnh+9 AYbak*4V'[ ܎ =1ʇf]W`k ˟pe'%~!sU>IJa/=ioI:6ɣM.h~_V(NdQie6DVkZ3̟B46]tksc ƐY StuënTT + @?ls1VHHBzƴmIbGtP"|Ign8h`#.̮gCOy'4;! -0-Æ "짝xMƣ]w'qD!iP .!ԝ.G~yi|~, >~>kK)-JܥGWDJQ BЬA[3 ŹlCXJE#q]{:KdG,'k,(_}J\Lj tvR!YcMe_Kפ~[tɞ pdsjmus[ZܺG@ DZ7h- Icp|٢%2S*C"ђ>sV}/JKEΫƃү2d=qҩ6" -=c6Kbr!\ `(4Lʼn*6vXZ7V#M~@#2o*x 9k]a\ʰ<&ߵ?ca̲X-/I K '6nj7K:J-:iRE:S_. 錠PM:#?#uz0mp"8sR+ pP Өb(N w#nuf KAGuCƬ;񉟛ifGLAs\}dK=Ei}*T[WW,YWIg1u.ԟ9G3;[}6Y ʇ7?\=bJuҀ)9N Z!=VӸr;m6ba E8x>a-k43Y6h>!o.STPgYmiT;Dgגw7m4 CP$\ZNB;qI-3G"V~@/7^B b7rݱeDn=֢Rnpa3C46r7ʏH\^s۫vj'QawN}T9U6L >aO[ec6>4+64  5]BRBP@Cn(v"kk~EByf̐<.Zz BJC/$5 Ȳ:p/m^ޜ-rO[#t8Tp1"0LIh!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM+ #=^HS=+=; 58]F xP&` a^;~7UGS`^_9R{!cB+E Z ZZVx.I \{8Q4N?d nlR 'p/qW w׳ӥRO"7/6wQِIr}xZ|ʸR5gqbl ^>w!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}3{Ne8jFg/- e3{*JyLݫ5 }P}]}V̓Ѭ0NdNphų:StL޵z1(^GpZ~?tT711:lAJjz?1!6@t-DϷVlkM . ='qZ(8 yMݜcI?o]%ѽA~FL26Q:ctGKrSP3dWͽ*u+-E$rٜ(~͜t 49խEvj⨖fҷgN/!el"&jpjb[Fj,ɠ#(m+Xh E7ོxΑ3[Ӆ\W=2' wL&TNy@UGDP /T垏‘fy|BdKklN>n6m % Ml%BCI*crjy7!~+U .mFgKR<) b+V1o`ecR=Jm8⭮2Sha8nb{~,a]?k:.h:0juQm.G5 $ٔ`>"j [J5'hr9c3 l|M!kįbq$O^DZgYZ{duh7/A]ЁYs/jHqͱꦶ?l1Է(CM2IZT>* 0i:WIi $2oXGWF^BCow26:j>Axm(JZO$A椡t-*{ |;becRIHYASq G oa cm$Ga`;1yǧbƼФP^6ȵ;n27]0ŠWelDo>lNȝҔ`%~ue!"ʢ͞yAQ/\+ۘ 1TcG^X~qȠrJzoOG]T-*CpT!<#YDIM%nlпUNqeBu:QLKEV fx#*։U=\0 tQ4,u%3X0AzwR/ ^9 ʵO~=qmWnIFD`V jy@9BWͰ Te-)|^5fw$xA_$@Gڊo ʏT 73WכZqO{X|]wou>'kȿՋR.qb\@~Ƿ#`$6U1pȡof"?.xe*)XUl#~xІNR'XwnA&~O 5řm[c/v3?}&+Ҡ$c&̐O?qb?ofEW|(tX@dz|#xpA7/ `WFLrKc`NX]1r(Yށqoɉ\ o"Gɭ,[,]U _d%-UfQ$j?^Grb`j#2+eb)fwڧ/;k>GLy|ap'5!@u|;|%^Ͻ0QVҎ_MDqُqv .) Gl0]ҁvD:%+Qx}/&R L*y@t3Oj9c|zϴtGʛ3mBY~ޫǓE J9K̫S%t઄l Qi1ԭ8RS8Zl9SSxCD>gX<* .&  m2z D˭IHSQnL-#8&pXMtI}dXbׅ1[L1?@t]r5O p/6RacxdY*~e9l9YZ^̙n3qZ{i<^{y.imS yKzkZ#S0a)vѶ5|%LSڏxôS,c)l5yr>跎"gQf X8) bYh<|9g+ɷ[!aTa~"y(muӱM6bVe[5V0V|^A@ Ƹby+K/ ֌nؓ^;nOԚNa4aŗnR!ꦠB TbsVj*0n~ߛQ(Hpv^aVU(O(]dv A[Zv3JDM u 3݋_.[@[U[K~#kFVʶ3 *k)Tpd'O|Sy?3Z#Focy85?І_Kc@A%~!s8.?)I1)22#3/8DO@?4`V+2yRKwHn{.c;&-"//K-Wi>Mj_+YoǙšl<LfgXUf l|YX|_EF vG|Ip1sW` >E0K#_{4 \ȥz?}MfJGbxMpZ+[3X*׵WwVRFD J(8k fʡi4>wo9w~c`qۋHWe.Xr+yweo28T3!c"5`CeNLt. 4XfX~YNr;cۨjq1/=m!=*7ogw  @e4d<C䴐xd}t*wyL˯AŀLx5K6$ ͇z;8Dm}MEطkރ=}ߑ(g$uD.Mi??VWiMnS6-Uh?m 3>;{VG8S"Dy<#5 Н2) s!m˄dE\g{6apIٗK 22 1s]k^Wd<P,B6)M3l,s=mx]3TU#z"+MQڥK$-d"Lm_*.5`{+ߘvhm V#:IUj2:T$d)\^TGS{D"l=wsP&^b VGj#<_l0;V;fr%IUf4cqK[hSFр=*p*N*s69f`y#5-_H_ںMr~#SRk8gf1̟>`oNM J<#< uN e}҆|0~ȆzY Ht8ߜYSguo? n%#m)$wC r}ϊ1?}sp7Ȝhm7RLHRg=q.K$n1tT#o!UŦq=Gj﹎tNmN7*4blrDŽ3C̓RcK>wzd.]@tqC(?zT[M&Y[Pa)3p͔rs!m~V]?fIpIz‡@i N GL#qADԥ\Ⱥ0=t1C!{&.C{>| q:aWUJԸC"*UƞG[POL??\QrW 3ҥu'Mǣ0.yi}i/CEn~*][Õy(U>dw֓j!K]cޔ57h߄=7֞<=μ U.)hP7<<NǓ T:;t_٬Z@\ MU,^Ҍ!nё˄t#/ʅWƀrԝ N( WVWv (PJ5˱ۜvt+3x~s2NqI>9P¿ҍyE.3P$`=gf-UpBt} o~~;TuG浟s$٫) r}z+dxNNjƇrnHWdա =:T16m:0,DV] @65Pe3hpU -wc DiV+#j0>U=Ϸf Kɳ5 1Yj].P$#@6bX;AY+[Dn?˲}*nH]v! :+ʐ7\ $-F,pޝ4<0_?`WQm8&ٿ <ÈCnձ@v9䮬iKDq d+motPNʈAT Z& Fo$T#Nim;z;Œ.6?r <ʭD3JKG,Fl^#(7gf[Fq-dcUz_qc MRF8efj33ժjniX~uh0gnW4cr r!xPWFXA7q31dIFʣkϱzյ̐Q  TH>]GN.Lp1DL]ďxb ϣTIG7sF,WHC76d}-o^ݪH'^;薷J_*HYEVAc{XòCV7>m-^c{dXnc?9+X~clE>1=V`"g"'Zg4Z>ҕoϗV9u'QbIhmMXR$2yg7PT2^@ߏˇgIz>_5oL<5m)%ڜL'@r-DlȨv5Ic3V*rؙkQfgP#mL-8x낭a(>nƞ@;Tŏ?7GAWX푕p*{Y^{ qxI0F,W#ב 8A`Y:A\Z2hNDSȹ/a:+laZ&QB|Ż wjgx ghdG_q϶JEsJ03*hjV;ji;3"#xqEK#IW?䑥t4'zSS0V=aߔyNZb djw{ؒT]̪PPrx״fjet⋓6'ˠ T/}H2$4I; nMR)r؝}-N#7Bp=_R~Tt4e0ԛǞ JL:@9OOag|3P~#yK2]8  AchFuYaȻt|iݢT)qG@ANZI C}HE;Nlm&f8$9llNN_ Id˪/SqA&W(,z>c8*@OHY6[cSTP;tODž2H@ѣRJ<}b K 9ӛmu'J4֐ r)FJ{J4xy Z!fs_l7/XEeR[/t9#)#K ymE}"|@Dji#]/4Ĭbj",/k!QQe ֥`@=n- 1 w[߰>ofLIЛ&co@_yNZN_c m@W1$GۍxJq=݀읠 T.63ԁ,!C;~u`!n P])[c|cN |?骊mCʄNk9%9}M Eqiofk n˃Iu7aFޕ9z40Cah*:Vb.mt_}xA(7|wMX8.Hy=Vlzk |:=橼'}ӫ:ԅsC/ztu}YΉ;)>49e_5ޗSW c:9]j\G8# G_umE1﹣MmTM L#n*G-~2~NVw4v+zJ]'=71\mKg 鲫~z陘N ^0[윇dCf cEg85!BI`!f\~U3mlapu3ȇ¾ƑvE*CrtR7 |/K|LMFqxʖjώnyiYa(Y YQc)07\㋬m旑V4}s w}Ì+!GyЬ!  ;H|#5p1O/Nj^@ y He#n@!D"8^k' 0"AJA#( Ya_9н]6\bR5 9@m=A4]þb”$&l`膹 bNߔ4ɰ-KBԑLVLM.0/zCPu}/k*L%.JEC_[piW wD;@Cߌ@\F$9;xR"d`l`bR4'qr.y dLjPeocVa$- 7'ɴ:+xYĂ(kx cˉ[ҿx2?`BHq~7Msuf8 z8~v/v|pLVj7pW2yt>YlcQρ~ 60mnFYM1Sͨ Jrކt]D = xrc2ټGREvހq_'ȜC!(;H;'&Y'‰ )| \Cnc"t: ]IN?]V~Y1#rs>4r4IufاFt/'ȪHʢX©q24|Sd}Z)IuDMOm\es<`.u%ɧ|+Dj ~ jbE+ Wl5ta6zAc=%%=-vTbJ8x LՑ{b6vóׯI`{,>rŧ#[arjMb>e N j1M w(tVK$W* 7,nՏw8y;7:Zw\KQ { dI4y5 jzn6og@t*ߝK 5/NpqؙegILo皔Îʣn=m31Fph`{t8jؠ iy` OB@d%]Q}\_>9@q\- qq2*I2L2af|/”CD&[lM9aUP@ֺɕ./Es<.]hسB!c;ЙCǜo&SXa8~!>Wf,:lnB\ɀt gcq!Q t0z"_]q?Hb4d>1Wr`gn?ekJ=T&uZb|suI,q,Yq 5QjȾOD`ƿyEyl^\ʂe ݌A )F޿i~n T|)4+ko:ZuO},MQ-Ey122EgAh T2 F*HUs8/^w7qnRny^>zGϭ6u<{\]0aIYq==<abwan|_Ղ39@Jx|vGSi<E]/0Ь`;T}H.1X/&S=9ܔ$x!K`vk!Hg74qUeezP )c>3Lj?-^#H g>^Mƫ6t6D2~aP|=AK*A"WPeΨN (e(#O*5^MY^l;\bSi4BŚt L!Y5s$MH%'D_mcrX. JDd cHZظ]-6>@ `8jҩMpBnVl۴"Ju}:I.{ sB)oi NE dsWsQ9P_ /V7ղsųa{j[abniG?-17Ş4lqkye|ٜUwqH],ЗFr a*ݺ!*R_$t*5ZD_T G|1R٣v8ϝ 'Z 6kKrnnn68߳-"{oAg07V7b>yln:Vҥy%3yQ^(vx*Mz%,E}UF$NcWnFL܅)Ob$n?JYADӧB5?ƀlH η.:ty嶻:d*O+jYJifzwԱSvfN'5_?AbzfBoTfRkqZ'+RyI)vz J+(UO}Lc^+<wd{;Y4i@6옡P"%]/^=c;[ 8?Ydଢ଼2NtS+<IJ7閅2,xU8:j-vEٴ^[k9!&E9^]ν 'Qb? &NZW |MЏV|>G ()Ml0ٵ@{GMq3~1_C*p7VI1 P$ry@eM&…B3Te:t; Ua^2_u"/yحL.dA#,BRe0ZOTQIz5v ٣DYb`7۠g;/>)H [K&I RHE O5 bp]l^2pdϨe Ll3wUE3{ꕧKq+~pU,.™*yOljwLpP_e栧]BZy^Q] ] m>_<_iŠpA$mģicx} CcT>O!r[͓Հ?0-jT#F (uAUQ|jڔUrN3my<lx%try`0J AsI$H L6MuR^jZlkbDiXG~[Akd@{#^P_oLl`wMc8^Hac_]^FNUYia?pM ^5+]b02ҙTx[ _-pe7>d ‹CgYZr [^{ gAAmO@-9ܑEjKxc2@: Q67&od{k'!`_ qdTJp@A ۀn'zCx1RSHφ~=oʹs,|E4W$ Cd+ZA-W^fa!i}Fg,EU3w0bmkGykJP =C~?Aڡp=w瀛9$ķyn6<3>䥰 ~y o3jBA)+Zy\KPg ){VG"b&?˓&,9>xB?i8j'=vx[sN89iUCb Ky.쵑fƫʼ[0)-^9Wӝ {3[QLuJ=֌.B3r]ʧZ\!%W= YONFb)(*7'LZ1>O6:e}=0}ަPgN#=P⬻ECDm $0"Jy"yW.+k:r2jNf x`ssKPpZ0v û%x4#5g8U+ZKAؖ9Q}=. ]e/[ծh<ɀ@5,BC@#+D5+h7hlCl8K@YTNV+DѸv0D^s1]oLI/{.B\2h)W"o p.SR441u\_t󻣤G-(/flJV|*p}FMkw0NTQ$ ~c}o<}B>UJl}5SfVzOW85>c&tAI׶gLk *u,ITEַ !"gch@0=;?(TQF !&Hw&~ȿO4r2zd0z9WZ`O#eID8+.@iT*\$a,)}~8ݤY"9@q?'r?;1 xO5TjUT0v3 O~)#ȧrb%SiM!|@5w#`o'I=Q_"} DjbuTj΍$(ƧȢ_FawYA+FoJDl xB^8q8u c٢'tؙO)~fn$_tq ŔG\ÓjĽ;sY;P.7ԙVD %==Uxè O g!F_Eͅx_[ a5JAO K|*%˟ڱ><)4k. /] Jt;> ճTD(L侩Io5m'Zb+Y9"|ͱ&;8ܟ*2ň(q@7_xVxN-I^K:!r1F^x'h G coms=%%}&hv~9V 䠷4PdzXGҥVv7_o]/<ޖΐ%3,)5H΅B$VmJe!I exZʛR3nyZBbۜ-ͤ >b ̍kHn6ݺ$n넇fILn~{)`oZS[lDZًuN/&n(1"Ebt=[--)#iysGQST XV9ڵyHJ[)'h|ֆz&iԛ&bp̎~ Ϥ+"Js[:u) nQt3~XzJcR%EGCzbdV%h%+B ^YRP:&hCրqV:6xC_ۨl\SΧY;^^i<¶_SԤ1XYGT0>|%Sfmך-jգ*cyES8>`ɬw&q*'!w;;ʤQF{ɰV4ВƋ2Kk P\[7=h\4\{յ㚾4Z.XxȮ=pRFFY1DlcN!UՁ^n ksa4X1]7 ӽMһTq4g[Պö  6RpᲵ CPH+9cpM o>I2ZVnH2B `U󲺷;yT-&;ܢփ_oٮ4.@<167c2w(5Fƀ]#8;*X#7?̠Vl ,G4(r}%bf7|NdH;4-'z|yʹ5D+[2y8Swg]t9d\2}΅/ȟ^_Gڡ %lmg|~!]}#\tӅ!q'UCP O#tgYZ ތ7R 2~(Bv&2/L^"(P=(V&O(gE /6U ^wauAʿ\tO;UJ称wN 6ïʛUZ*Vr;̰sWW3?,?;hY.lk+u(|N۹6L+}8hVV"z3ً}U{$&UsRst/ؼN_E5nri$4lYv "ӈXfEM0dDR [GR07O,*ljd*o5&Pub@1Vhb;-~T.KY G3Zi6}0h'ÏG;!E"^QntUQՃBhu O߽d6|PI;kz* ` Q~Jޅm%!RĥԘ>)G78_Rt!)254J^' GKz0"_k9yH9?sP2:A,\˻5Ғи44inÇ?y{u3z>~bPvg$ZH@ҟ Ab< M@1O~IQ fn.UBq98":2 z ҈hYЕĖ2ǡc{(k9@/wHC]@%RFk0qBN 0,"M8(9MKvd$ULUHh/ cĊ`$g?xkhσ#J%(RWP%U/z$ɬɧzŔwDڶ67UCwV&1 ]/s=A3/4. :5Jmmqw֦.n2sU@ס/{07qđz?vEM< LE41]jUl9E:燷I-$3\7"Qn+ E<})8ŎRK2c\KBR+8Cz3d }; stTr}ϲ i^AV{u $uٱڨ#xϗQiS D=a7f8L4KлF)[&0Ҁ5yolԲn /l D^~OFBZixdI>2F%zcڪ傼xЯXF!Gg8-6|zG!j5m]Nn~^jE{J7K0n&u:'MdY搰 (5<|ҝV;JD@G,j0qR'+$Q P@Lcr\w SL ѥVi %yKP-ؔ~@*}kBvUH?]1Tfͨ–bs,OBA0AҶj|8r %Qm9v߭7kv[C=-/G QѠKj]~p n38``:HYҢ] ܛ+B'庶x8Q +$NdJyhn BVjC޲#KY@ZfDjr a}eZ5" [^LC[bǹ,m awK,Kp"1G h\9ŘuS 9=8bKa2ܞ`.Q$1APz e|T)fMs8o+J^xר 4o|J O #6u/??k ZL B_ݦ(rK\ Î`jcm& x[̝z=Bw(e6k G|;s+~BLV3iJn+zX(68cq'(}4hs|E̜5- LvhG6`"KL$ "}.ͭuLV{NdhbLom&E5<@9y\֫^gIzhcpw@N [brzҼڹɑf])xDx8q|qw0s; z=⶜x\EwZ8ƍJys*:b#ˡ4twE[6<؁J'#t$yN4|_](_݁ϣRx]Ȗi|'. &h4qc\R?iJX\]z T_","lDzS-^$]b v+qڑ<~86[Bsr]/8gOYϗczG0Xx" o"$x p%?gyzEv9FQUWALcOSΚMnWRV -tH 2'>baz|9*E"Ӫ|<7v2.exQ Ot 8yxɟr.*@OmBjǁS *(: hw^?@>Fs>HooHZ(jxmڏ!tFr3uԠz{5vxR'~} n*ݒQ9S!p LmOUȽ=oF+,hJ1!{9]MR<C뺟kIn\*z|X 1s5yѤ<6-[Y.Vuh{f~ E$bn+[(.PFd"zfkT&v~ݏj;$T C a**Nmڬ FilQ NXi{ 4R+ZTc7K$ej$֛>Ϛ ggYZ W+# dZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?gln624\?@+{1+Jv<ân=6_"~JvS61V`f ./ 1 (P[G;&1DvObBpm;~}V LLQέUi>Z)9vOJv>sr]WRa |Fb7Ouo|k)4ne+Ela! kc˗#̋B}Svcz&뻃{&T4bcY6YMU'R7qiβago4kF=nչaA4bEkmoŵpKy^3T1 55;&3L5 hX{n24b]1?~B9^3nF6~--zy]Y-dbo'Bf' 4:N.״hWߕPh*krZ}[uN1vyr*M?M`i]ИM[ Ui@?E;8Kfa $X t,u>0仓1`do";⢮S &K|^I[eA j2+{`!W*K^7T […s:c_d GVee_A ҼjKk+΃"ypeT98a6-M 6 XN_ ._Hwd0XqP$$O^;6T҉&e>n,Q[ >'FJG,Qްobm9DqA>bt*i6yLe;5T'ulS8z wڷvP)9MZj~_{O}ґ_2ZcZAx,~(u youwS.Z?$8m.E dD,u@DB)0PR=-F4!XP+~Ⱦ eR$gLԮ锑nx|G.@[09a2?)4-t ;8*+Q@%vj_r:Ux\FcU0ƪPwThzH G2w |cًqnJ؎T#Go^F)n>N]FYszWcSS nra^D"}~i_@Du]Ov|d׎?3KthUAje˜!ՀK^8MXJ)qt۸Z{s"HgqG3dXY0 A{ 1m(/jyV$S:V!kv(f!?R$BOSnי8ݲ;&mL[Wx '`PbX<ݑ%P-n^`z01n%DQeHZt:Lhf}+lMrfМF^g욌fBZA1)Z"!,>XL޲<uP\4g*U?Ԉ: D">nVRn^|A xu󸪣^ع lӫ¯I<i Rw f4MRuHnc:Y֡dE:wǒu˥#F!P=ZC@.öhɞd)Ot7D [d/ :>D,Fi 1h_Ke;b1zuT{W |F3=$Wpt..b'I,F8bKxug1MW<2]: p?]rlj.\25WA>^Rꗺ0 b3PCk+4 pA ~XS`n-S/\Z+ ʠ7QȂ|C3}Yٗx7AQįJ$+6)pYؕV,Z>ZL#G` n@*}?N%Jq~m<%l)r9F !Dm'H*s'y*XœnYhm^ q ]>7m>c0sh'Xi(:l#~}#$Iyx[bn}(ɺ71bb-hfW\%\ۻz:]U <$#2g=M"nb8 _˶>{)uBpqGv(,N^Q((kCNwd˃cFU .L(4w -);rfː}$_$BLzKyI+;=rm$z:6ФMmm |uVOJ\rxGo`9am |fj(!c פ@|-K;_nPI3QqS/8n}Jb:EUDp4h/"As!]= W?VTB!ɈgTO{+9|TOv7=m@g=,D?MYh)\:m`=R4HS!TxGr mրi049zXA{d"< w}U?D5nm܎s|&$q;$#lu! Oi GLo$I|G_30ƲA% 8J}TykЕBN0Hn>) X{ 0^:#rm&zxWOuG:]`m\ :&Xтx*v!(2.HGƀb0WxQ٥M(᜺ͮ٠tr\RTl@`.)hFWH 誇jz_s wلe"G$ k)LbnWeǑWc| +7B=_Q,vA gYZ^#9# dZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ =G E`uv)UD<%=)֗]l)BLFBJam~t;콾kڛi 8_JVS0wޜ $Y7nflccUtiR:봅i+6|BUi޴0 m~YdNj3-CˊREU$«[spV;Mn=20xҝG&׾hi&H.  99) 7_'W5~݈|(O/2svdtY8ȨE*b$_~d+ѹ ]vEoښqI+^Y;k;* K `x3HtILr4޵5+r$ 4r7ާdu dkH.M'"Jdb[u=Y! ݓM@I{t̝kX~, }JI+;᩠ s_ZfLI/ؒqqdV522Sc@fPFlχo1m8DtVL &su"4kGcmؔn?uX +v(zQX}rtY9 ,Np*>^xb*[J(L\Uީ(~],J) 2) - MLjFU%b|$%S=0䌪]fM "CP˃V(E8홠=DB]'Ƒ/{=$>jy<#-V" <ϣ* )*}e(__QFp; ݵWT *.e [?6 :%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[:|&[zQ_hE:UѡG,“-ܩ5БF# dB SDcX`M}rv~a(.Kǹ!<" +ezHe,\PAc>0}"[vl,F* tjߞx3LL˝6"a*qdz0\Ftcx[c7!LmQܶ" ߖ[T iQr>OΕ!6@u#ݦ/$M!P7'ABG@ ! m Ѱc"( ǐԃ~Gzf2vB;\{E'>B5DF!qaj,"vT(E"!r"h;ʆ ρOA^$fyU:F7K~ @XiUMsxy{eo%7<s 9j!ϱMwӴ\(4wg[S_Q^U{pރyJ45İEhIzv:{YK.O(y] qU"ܞ=/֦{‰m"ˮػyjai >j05:TfILgA~X7m2=/ZhL cgYZsX\:f'p۸= P&g@^{+8t7&5e,L6+=s3 |'ޣ{Y^[ou"edqRmua\^ z=K,},T-"WȲ*Y EޕU_#WNO|[ml4roa%3`,qzckWgǷiɴ$qi݌"y긚m,!ԦfK쾼@s Uvd"|"AGHѓLYgUO:D'5ILs_0ТCb Ni =-.GL'4 QI3rd%Xgo6w'Sh] 4}OְNBf0!7'>g :V&<㽘B;O(ѧe[igBP~<, N. $zƏ6FJc2[Lk2wt8Q~k}`&'5z"r85q!Kh/ i_=R*3[xqSE'2 vK h=(Ėp^|֖/'Hn9 U6~bfw+Icv_>c\kĹt AUc>4,K42Eb2< CCcZ'_Tf(W#B!1] oZ+gdJ0ΨÉy 95X|r{TW<5Ĩz.wX[l%щ.8H{,!0{;^T*= .A.GAkf^K\px@XІ(lĹx& .烟 Mkrjb=% K);i 0"yʞ S.p^nAx.:0ЎWWtMY$]7o5Ӎ2?́ qU.Q/,zχY#f8vGٴyDD #}{>݋+a"5Fr|zs߮%Jbe\coA'}+";5̠)-֥&aҌ: !eq: F5^@{fLmyX%J5./f_ nȬ%A$Ѵ)c:~լ&/z\ [C(%18T8Hk`g?|0XPr}nüNNUqʡ=BqPk^[e,EOseMSi-Չ=-Ͽo%şrɦBhl^:tѧRi rV2ؿV ]FLuTO!B n n W`n&hV 8ȧUǃ$y}?dbp+4Oe ټP- Zd{gn,nχ_`B,c `~S00NG)ի&*&y_=ɞ:3"\5*p~], ֞oG~Ec-]ҵ6w˄k?g9s~_O7Mso/?"w_i~DThz 51t~/9BU'yPR}$ ='b6~KqLIȍ!/+Z1lKa׈t(u+WKF-67ASOIEY 曂x-|] =lMgAR̅xgw[pUTTU i-k];ǵzwFw$<~ER4QY#?} 'KI2ۡ[y D$jKf' VdkBXԺ \@oӻv_"n`TvD DUVPfYYڦ}$=W]R4F+?)C 2ωTO|%6X]Wko]X?s6 Tp_ tE]BݯC"1Hܗ;p%烢3֮JlB`#|\ eQ]iDϿ4)s[A+E& "uDЧcͱ߶̄v2&oa'7/MPu׿ٓȁn*י6wcR~ӧzq]9mBDPﺠ2eS!x5ݷ45(3Wxu߽"'{3$_h~[FgIߘ|x4qHK=2&)_'y_ 0p%1,{\8%.lu>zyp~// `VV2`Ɠj.9thu{p V+ޑ!,Yc69.(&}fQ!Y̟#&yB'};;uԖtU;{tT÷=&c9&cBh[ܨe2?`lkrzFq,Za=Qf lJbm~P_ˆapf3jPNJ @P<<@僝 3-PVDJt+*^BWMn> i )^ԬưIzP68R4C+>c[zأAk* ~w@=ߚQϷ Zֽ~IZ,ftel S1WҮ|_ücUYsL (> bq]5~8`۫pUZhG=,t  Qdz.+=G`$=}@NwLH9YRa;H[oܪ<ث&4߻1kݢg p I]o>w8 Ջ>qw-4|(=YYZDf}^82&=RP܆&ڕ"3`M'Ky4/v۳IF1R4i.aZX, 4L gYZ 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! UM]·Iq n[:|&[zׂ,F>T(ڃfC]&"=/R>"ͬd`tAF'R!c5kqeyq5TYD)|9נS17t/zL؞w領I|/ABoV9c{y7,BfeoYBzoţlێn?/PݮOt `kqa9)5-_\ z@vrxpO o eXԿ{f}6}+'[q0u~]Dy#7S g!dgYZ'3# dZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  *]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($T3e_76^dށ!x=c}ZO9)E=ph,O9%(<+d dc@7y_A j45W0]UCy9PKOc٘@U*OmխFOSYS; ,bdf'{6z$c" ]W4i@> 2rRLɈ@Ti6Fb:H:DvH\itby_V xiY;Tˡ_XDY^<~[A|Qh>܄wS9`mPh?U:VI䗄]fyMW hΓFYȹ0$Yb *FPo4? OJ"4Ѵ~nͬd35' Yn/XJZL} \UYFs< p,lXd8Sdr+A):0,7;ag-E )4#й/wx+@\UYI\JCyX <7 P1bEkxbuA4G|UǍfbm$ d!-=#?nH'0 DS)T,)hG]҉8 tJ@o&dO!՝l?@ ^2N"|rf56:+-cJRnP ζQp=ZiPwcA"OcU-&.\6J'Nd9=*o#ZOB3m'`4 F\hfת]{35)Wᾲ ~/6~y:iD8%bk}s)Ί6l*QtP&hjJgU_̋vaeGQuC ~E+m]*`{\3|%FGWu-<{l*Gj9hhگB걚<\BIބA1Xn}4{j84TJf")T֋g|x&ٹ&1tO4_'F"x-5 @7̎2Htv@ xP$H(7v_uމ36HDE,1x0 nY'~&뛘Ly>?Q hx6H `zףOj%pU.[K◔[4jwi)#:_lO<`rBZ7N$d,ӃC3]nsj܂|XQ."zc ƜhNۋAH #b*ט๩6NX_攎t% b6M3M=4GxAU5G,N߯BΝ7\vn[Xb>3Zoj)\uJe HY}J6)SapfIԛMCUŦ6bnZg͆d"&_0#79{Jux1 Xs +b Wi+27B5o~rWWO[K:׀A 51&C3:h/V/\M͸0;7tH3XKGYJ.Tw:gu$CRIǔzz!%=C˴%aÚ\< ZJ0=ďE83֧㐿YNT ¨tD8:;o02k<[) P]>iSo{%:k) } *?V_PnI:&Iщ (r<vDd&hZzYٵ_:nY&p:!> `d]j'7PBVaIj4FWl]Bk3{:Kh6<>M\gXV;`1S;Fy{nyϨ@v6@тhń0Nhg!<#ǧn_s8 uk#{WBBKJ]> M,;}/ "UM;iA.^ܣCr%S3P8*uBq-uik غjXK\1^S|gP6~\XmEXH'ŞdZ3iKۭ0_q6mwdBgYZ(Dz3"Ү{x:AQ%*0_Z?@q[.WhivE .Irear֏g|4o - meK~XΠX1onvH`0׬j(˚g.E?u_q/Tc#&ҍ*/ذhR5j7}T6HrD'OM7VG2b I'4|o G% r\ȼK[L49EJ t3;sRm?n2# ]+M}jEo'9gWVtcx!I?{\f˩\r(M Ts uwe #)يccv]vπ|11y|l/7 beO|ܕ,ةi3k8q{KQA UA3,⿁ӆ*%m`ꟁz7 rgwFxE7S)3.6 1;(MثJkŒ`KUHpi=vO#]:Ak tB! L/ zU:VW\+_J ! HK]R8$N\hUyQ{ k- I MIKdzZ!@ !`ݵ0p\>S' q~pBFq0 &bê}Au\\m?(r5H4՛ 7[Q?K8Ӎ#hSamwPX3h٦4- _r*հ^n/G(\}L?Erz򾔎i\l9``JԷvGSp 'hH*+*z:Fx+%B{]!Uà 艐 N?w5$|6/)+jmJ-;e OI,?_CL(=(>C^H>/T,N aeQPmnF/Y#yPV1}Y@ľXS`ECA1&ֆjȋ&{Pu (f?_&iLrpo-d!,tu!?%vA.n|$ZCjD0\ɮ-GY6x܂pYp#!NE`HEɒ\XCLm #C3K5""_''[ ڡ=@#W8rCTYfOuGޢPiJ*>֗! | /_*[|1b PqԡHś{@I=h\ Hg$eZ)D[D.42ڑ4f [X6˻ m=1By[|wQ*¤iDcZUR҂A7ZY[L*WʛE! k8RY1;y'PwRgRy=<;ڪ[1R,qC1ҮSQX)Sk.;zzdmC*S:% W˖:h]QaYh$(lMJ="+u#?յhW"|qYZٷ// 3q|J IJQdR^0AdE @/X*GD>,d^X#&RD,ȗ㮌%M ;\YxqgW S"Lv'c$-i(Oll Jg2gbn6ٔ(?-OIshdBE(ϖ,d\IdN&Dnn>Xh7a,ƿ=`@v r >J3hD$*6`:+ &mb6*13`}h9cLɜX7 p[VMP{ofg*]/y5K4pv] X$kT Cc,yiB:f{%:|l:]N}>v-G=r&Ł^ D UL37RCyΒ)K·GC*tZM]Jo+<3}Qa\ Zި_j]3ǬѣD0`-4EG%yF W\~w)&p{Xޞ2 a<<]Ð~iKͷ+-fާ~!LD(07}pA]lx5#`fx%Ž7V>[s=3aϲT"!0**R*Hgc֮#8_92_oU* kPy.s)\ ZájibgpYÕtٯ1TfBeW!YțgY&v,(My@k#`4laCdMe[R3DT iYτ<_*jq n,Tq!BӜ"u].]FQƗ,%$kځGۅdh W,q2ȲIۮ~ -PE+UD9}B;6 Z[n BiY͖tu Ȼ 469} <ILSJYr@jⴐgs+ygˆfJVK8;@H qI0vLZ]%Lֵ0;\c@%KEh%_TPΕ9e,<5xI_6dED0O6},PձuDF6y,;;fPUktG"*uNePEhfw*)yI$P/* A G`$ m% dZ`]$[=_vaa3L#NPL}cU'FtYC0!:QeɄ:Ed];viHiDgWmn56G+ɟ4`l?j[ffPL։175zynp+tg-dyl;V.DD=r KS]nq WZ kЏK_5h#u٭7``36"⠃7,,UAKYQF(yX6 |,nA!o tHe. ;BU&ٕ>Y:EԣfKPU J]wʤa '_Nx86/:MnI |"zccz) M(6hܜ)~,2ߚ.-,hMvݖu>,õZpx:tgy#v!MĄQЧ%Fm_\՟6vg*П6?c4=KE +s N_;2tvƢ 3ᜮ=ĐcM$J(B4Vߢ+.eœ& (;eu\(73J*GҕBw3߀u3Q[ˈD!f} c>1d fi$eQ&p~GC!kHTNǛxwt" B#VvF6(N6GLU Ҵ]|UIh j>zX{ѫk&ҶArPt6~.hɔ,[Z=}U{7l[H@ߴm9G) 'Cr,w+BO Q> =/U. e{qa3jԡy'.$k߆&th}/~a7R:\cOq_vd| GY_W8 aH0]\TWp- Xj #֙A=fp Ƿ^3Lſ`Nf;DdVl[y6*~[iq7݂9E uC"B!硨+_43϶=O]]4 5' };c]* ފM_%&n4v1v,/PU̠/x,y !5>Ba2Wo1hF0jVVMco椶ƃ9z`I<ɁQj~M>aJ^CN|0uࢢIzyJ[*k9Ȥ=ErNf [zRr&$B|CK8qD}R:@}3eU/uB09E8 `f+Kfc]="h($`=z[nqrAGz:!9358Ž*F[FY`m D-͕OYWOGA!FL8|W;; ,R!8&VN cOfe݉q%ޫ~F 'rӧMhV8枿G= xLmgĉre`7(*jY(<SBI\0C8YeHC%S #gqh؞y!&i]BWCs:52t'YwmЕt Wߪ= rړB<£bloF9VV#m&G.p dG&꼐 ^35 SR=F%a7xc.|U0OĢnd?Bԍa^ԲMu @FPR\4R{Xf7ѩR+`ncK~yq.wF( ]m;PZP/d&nYK/Gvh\vh *0+Ud]EqU՟t}[|$+~2WJCoS(݆ x3=$rd!IWS2Y YsC;nhf$3(DzW7 NiTMacYf:c>$T<w+%9 K5)(I;[]6AL_tU r/\m4 -gDW"_ў@4+%ԭ'W,w #d+ʼ[/!un\4YArJZ;;Kx;٫"qS.#oѯ"̑c}ڏjہjxրl#ɪf?H.ϮJH<2 oÛ&nk^ n2K+нq.qՙ GgD22~Z許bELo"i M(Y'SSxKP|CD'm^]J| tqB''坱 E]H=\őb:U@'_mu7z6M1S6ꑢe̡Vsڽ4]9?RbKqt& e˵QuB&E;9h8.5İ]OIooҚ*o0Uuy $l8q[hҝ%8 ZWs&KR-MA*"ME:~fN{ql:6tvI]7A Gǒh:ٵ'7U |vmq!E>PDV(VS Ү`p`ּ/ ʎSAw\haejHT5bP!F]59 Sby뇥?Qd9 :a/`LE5pI%ء T9jBi2fmF'lND #ɃknM\/1]#d֓HJ pϼcݡ)+q^BJd1kŋe%-KVOB6Lzm񾣏<[YNAX*:}ƜoKEYQآڃ˳BCV3,l |$a;ҰT>)ssIԁ.)aHLL>M9 lUA?8HJ)E?TtU})$"J1 ޾j;u8-ut砒La˕GChzgn95`g+fQLm@ߛj` ؗSe# |;*iU8?a|(yl<{kw#gìTZ4t-byޱeݢ*›qu>y3O޻:]m%!hx/R0n*f!7iJ(*DjMxB%ia̓+3jنt8&z0Н]^Tb :;|vfZP ASJ7V42Vh>SJ Qo'gSq;?v BnUkՃ">7.lʄ3u*kUO/e8^!TaY3k)%1OAgm~V}=2@8A,j,tk E}t ´b<(kcϥ+6l3d`1Z!_]?}oHc-Ô@>#OK=gk(>] sk*ZG%EK+C"9[%?&pMj* E6; ;jba_P[C)hX# ? q~߷KllHPXQFS!.iP?Gh5ELKyY)c5YJl %[#y\==)"f&[LBY0k.P$Dy7n>x"\".zb+sW眷GF=j׏.l 0s}hf5YC+K1VM qotN9\E*#[Ah:=jɱe9ߍjzWI詏f{i&}%j J0^`k[b4;B%J$!р>1q*͋4FGe|nKnxÉr׌CEP$'nϮ3_2#@ `ꮤ/̑;ZݩvC̘\T ׀Ӊl g35na/SD{H|~+z~A/aW4,xT{y/YazIfpĒ&7^\WpvNr /R{ZR_k:q5Nbܮ+*TAr M̯_VVM,ZLV"DIN&A9~"+ג=w7Zm̊^B? sӷ+rkZ+hopSr+B_JZd4`?#M]¥]ܑDZOQ.I-A[X, a`!YjK3 4F!%$!&܋Wf'_`?B6-sD%MJc0uw,qdnj|st`MFFgB B\=e)ΫfsHRQ ;S\A).^Ow$ЫZF؃]6١sj%V08XN  ?Fb_Jo|/krJWou%9nG(t1i$}sEΰ+f0Ǥ10&?XHVfu6 <N,8y5 `=Z pf-jMom7`ne=ܿ ?ڜ-BN`휥 [6W?;Y#T2nqDPk+i4[no4ݛa}G֡ cgI}A!|vӢO46g<:F,qTdhRF}i b xdvNIރڤ\)9$MO.] ~| @X:<X}SdWV`6 apD"u@ k[\HLM#vq+sxmjQ:T֡楂2f?;mҲ셰ʜE{E!PBۅ_Qx8bՀ8֚M[`)6U1r▾uܧ63P {8C4 I} M^OBbގ IH ^4,lK  /luBQ/̯"аv/ nX38o}n%)cmhUͲR֊)?@L+( &IIb- ?VʾX Ë+99E7)8,AGF=]Y&HrWuw" `-S-< {UKJ!+H= h2 Mܜv3/e "墤K4BqPi6A3g.Dy:ad1ЮehEw0h@{Hr.RFpH82paz!H ۭ@p@eŎ?#~7PS`tz;3h痝';1Mq'X%ʻ'lՈ^3LjJsOg4*u#I+?1+4(p/E{!zu})BQr%m Rl3ԃ5N+W.4=&X02*ndgfJ+4Z__\ҧBXY,_&Av?&GwB-y,'Ѝ `FPVOglzzE Wr5=à^CWsJ*}l=f^&Ҝ#B̤ݡdZ;Sa4\On҄@W۽6T`d,ImV7-~uZxCD8ЭgaE\Sv1b<"ZSAt4f>?Q{`F~%h:)/>N<Ƨk(٘9nM.F?p=`ih]z<9m`Z2v|K d&qHޙ}NniźqXz8  @jDK^Yx#|?&LU@P$fw9K`b'5 2801}XUbEN:͵X?vkt` h-~y((qg<͍kM̒ɚ6L2>`"Ȟb=3}/ `J,Uo,L3@OSCLPpN&Y EY ?\=u1)YjƘsK[IFYbu\7Tզ-r(҅F>@k@јӬ0ORsҚY=T}IIS=M kW*_/VSGtVRe fh`Oz'\:xZ #쇊߭I̬%/'’sC%CPXEUDtWYIvuςɕ2’Ewc.&5ݞmdAD9d :Z5Tɠ suUvGþhaG݊ P'ƳjNIZ6 Ut`bk<;kHkm%0G pN)cW: :\+",kQPFAаoT"$`xŮFYwXeIJWܠkG4v~T h'ާW2&~ץaTgƈy 9EF:|M_lg̉On'g%-s;b0=}%`K::Րm!0ZABaZT@HucԪB_˯u~-D%`!|#:HɝéɺNm8Nsb[~OukɆ/NPv *dXȇ34 gO Nz*5mNf]6VznhLrU(@8ZUQ>($f:_o_,𝕋(Mq>"u;fb`.@YKJF{0fTW->·y %MG;FLW9ߋ{sLZD7vE'1Caxx 9aO&Xe!.k4^|=}U@:>b%z?4E^KĖ̋CHX 0ScWFN\O(ՂǬʥrxKa*GGj/K/רNSl~25ߘ;1:J=`Oؒo81 g|aҚȄ]9%,˱Lh읿v6K)ܢeg !"`>#Hr v(m,pu^ -#ڪB+Xn'=UGJ4GAzǔF?aw|kc^0=оeaH4|Qh޲Irt6n-3E8 ZnrFwH+i2b|6FWkCLLHğ,14{12{ı4%aEWС6"8nL(T{:|ȻRJP]LBɦ:HΔf@ޝ@+ ń\MWl͸iȒ*$1;UiV){C0&]-7,SN)ǐ ﵱ1_̹qxd?H0WEJdTCNtMA7U}n@~*//B)>_4 S9 GktЀ,.s+s̿:pOd'"v;Kܱ5q B?vj0Or0zAL P z=B{k|m|c Adrce>ȼ^w0α$PAvi<䩗a䔢 eYW+VN=Q}lGt,ITaCy=b7Oδ] S\HEmaļ5u~rZeJ$;jɮ.ρ2Q &RKhތ7cIwIl!6 <߁Wv묝0XC{=>o>,}9"3. UڜμOl;5ݼZ|3m7ύ~r$I ܜ r`1l$ȋq@݄1䷺<JZ m]CMaQkgrAτkZ3 _ N_54t&s-,XTȎP}IX@6ô8b-3zC  hа47{7YeXEd0OX+~ Ue9iaDwS}o3t}ϯSTΤ0M,ngNBWxtGGCpOTo圄TS#`p˃zY@I糠]j%Hb]qR?ƊK!U6)ˡ2? kaK|\csmlYq:꧞+<3+`oOżݶ'q}I[(`/*DbFfC]5c3'5>7+gAD4()䙿Z:u~%TLaznt} 2iZXW8qo%D;+ttI]͝?Se@j$??Zk8#NItwD.JT=`޼–ulRw|H㣌rP~`ZZk~ދM [FwfX,>怿@RMԜtE)WΩ-9izRҭ9ٰٻƿSM6\Z"!&Y֧(WӴ!66>7kg8~-,iWTdEf6茊orf9 ȯhSv+yF~JhUDR?\*7ժqWé5y#5;*RS&+dW[<<Ӗ#jx3 Yle'|A 0 ;mTD&H9v1)gq$FXzqCiY]߉ >/fRm6A{|PNv,< LE;˦f2By$CE2e,/Ś<3~ʵ^ F̓dN}mwuY]ܯC7os¬>$pLxhܣjpjRI6>Py\7@8]?`?9C <tzn`e8>6$+-Yg:`[rn\B- {[Q$K֪zg0Owy,Ӱ{ׯHzb]p<^ ԓ\_Q 4ifM/E>Cɚw# &0[O}%8R%{i(㕋} 5?+CueyaAA$N*Qo!U!%Bl4$ֲl3uYA- R/w _`:EZ 96R+x)!+ngc_=Ccnlm^g%6Oޟ`7~Ru< hL)Bx2Z(F#QR _PxLk0(mLuD#/#]ը;u.t9v#Bh 49XIwp !x)6)*FzMuuaF?'\x|{.i]$w=7+ b2{ˮ66L56B݀7 ؋W{}shH;9K6T(JyƮZ /Iiɫ#[ke&㤦)`lYʚaLXq Q?*UshcQcl0NXfc~'UɁd&㽶!y|[ɩLb~75Q-vT Z:p}ڼ/du-Ao[Dvו 0VevZ$R[n,X2N;ZjvЈ̋6dG'iX?y3\-X;\y͕Ii4{tS^8B]6 ,ITJ[*+y:v2S> ϴ+2FRtmДX.a(?H1Y=aBi8KT 'ʩx!5* 9@zPԃfnXjonUKBj9yCxB%D$a-VUc gl[(H&uXC P6Y\0[n_sf =ن{ 2AY3 @??U~4jUYFέNp+ߴasrU l2 S:(K 6xNm=Հ 'PTm_*rhYkp5fyZY#Є^k=>.MA`Aqm:\> 81S}T] -FbF/9۷s$%}o4{pFgXmXQ';XUܩ*(.ɀyDrDLZ4d2Z?T̞"q#[> ցU+ORbڑulSKNK5jWh׾ {_WuB^Wk;qEdV&c٢`?{nox??hU𼼲_./Pm8>x9A/uL}^۳w}{m{}EDNQ'e򾥐GIJZz=sPH<$@HLHNi(;=Hڀܰ-O&?9}A|Y]]žo1㾡71G77sҔUn&LHof-[O^3M<짍KMkfӗ-ה9xO CF#/MOi14buza[kҥx)zWVʶRa˜Fw? 2u䞁)L`P>ث`(# ѧe>:ͺTlh"ms?$jKŤQqD[B`^W-=DKyк%7XwέuSyoG):B#*ݯk}*/,k>_fX.iqp:9\clB֙hq[:01QcAẗflxK]JrP_w߸:&A8fy&hMJ M3T}j2[֐6Yg[9,])}j&uVh>ibfeC=;`"5 jml#lzJs|HQƖm9Lު{x.f!r]l㜘ARJ|?sEﳾFW&a*1275{pE@\-NpoPLE޿*̈7 oU28Sn~uR6#RV7u)t:Lnk勺R=edm1ƾb S%fN%%aC4*)*j&s8x[;V tA:4UD_˙jz9^bqydZ/F"C-i~6ڬiS5'н7'ga d$bL$YԑJAi2dQgMp>+goRlTK8ϥ䈣;]T';WOĶĐE9? (׵U u\" AH"{>>ey5,~E;ڤd\5+wY/Aሸ"1R9mt*wȲ>q5~Y? iْxT2]-0sRR*>'G+kиuѭ5 4|ir(TyߙS3Rw"{e9Vhc&uXN6U @]vYR_#c.(&o⛑˳RW[Z!X궧v;Jo.<=*eh8Kh9:jya{ \D/ӋyM9ν^[#5[3<8jLbq;s%ih{8!Cr+#l|owյa5:%BVxھ~̜NWؑc:'1]\R8&|$L3?**[^ ?Zp8x܂2ҶB:A1f{Ħo>|ѹO%$j`VJ4Π/L!*jkh^<VNy(sV]0*I) ;qČL [ aiG|.2+=QHw*c$=| m?-0׽`qOeAe6s:Zfo8AU۾+ w|"$`E)]S6he3YaZm@iko]TdaDޮqŀ:Wp<0.& WYORXNt6˷$,_Xey,)7km}ݲ ɇ!b{xB w2tQA\[ĉ ܢ-5 ϵ1Uܯg|͛.f&azOSpR;٭fRSƛp<'Cet@*ѓ)٠6NЇ^JkrS,W}lBwgaPaQ+M4&ޜKT}mp]bH"tA@|pEl<::h+LKn ~7]Y$fFQHUԋq|T.)+sAH!ԍD?Y M9 k!g"#zmUu2lEnSt,'gT=V(P s`&{dg UOV*MzB{WXjD{ǁI7 0mKvN+z~n} ."0~.W;&>H[h׉2.7 Gvp{6k_]XD }/a1THцEyS^0"W C2c@[rU u(?ԺQIckf4@Pltt$kT3`p~/ųDwHn7\vA&N'BU:?|7[kȼC?!m,Īw$N3MVh6li­O j9oKЧeq$:æIQ3h{_HGv-*)~V,y#z8ҳ#\:`oXFn+?'׈:WS|^ޚF Air w>GԔE4T?Dq 7҂V- +6a$] ̼=-{FIe~1xGAA<6:9#:Ṝ?W4zpY^T誑ġ~nwMx9뒰 pg {}!+e]ʱ)8 "֌bT9?&0wA܌w,%dZv>l.gҿl[c䳷/u|vh,SW2.V$jzwכf~#Q\|v YQq-2oy+]zn["c^%`YMb%_n*Z"w98FRwa8 j#9s EkMq52ӬK1Z˕fv{ȥXwғm1*dg'<>Po 3y<>>zt7?02{;Mrb, ǟW@dL/ f4S^VXeEиtz7t_=)hb+iN+XL9Ѵ3I@~axF䨐uGba XLH/A$k1 <ZAFKӠ3P%]tu~B Fd`t 5Mx.}^C7朴)jVf}_b ^HګI}RC{bG vLOI継OZ\x[wi8 6FTlc%S*t}t|5CHD>qWCMYEABGT&/Ŋ+K\YNB =" ɑ{Ȣr2&~FL5'E IO(1W¨,=#~@Zy>qx#s_Ћi]:9ԅ{3:j'fJ"TV7~>xMO>Y7t2+b}_gMRsq0/KV 0O@fx">~ʌG(gطSKʱŸ*-o_*ؖC2Ŕ%)^brw5044Y\sY#K< DuG;ЊXRY7~hJn;aD5Txq q|G:ٳ2L+tgo_d9ƙtH06&Sn7<廀ޡ_B#d"v5+#dי|Zެ6WLL%g&-LeacjI,k r| Er4ĕ⦶+WsOsAΰ7I?kԎKqj *84d b͐x|8͒zsU_ +'2fl)_b09Hg״'N䣑S޴iyW 2F% ?vJ`(NEQ?'@bVi!YI](ː|mlG+y{[ׄ3%55h  hД7 ̓_U'(HV+H@6wz$RîeyhWGeuTn-dVE'Εث-c#ǜ^ֳ Kb"8x<ǿژDz @>~VKcGBF:旚"u0Q;e-S|qyHgـRl:F E`I^beDBxi?t\ȖBS7s=Rz[x=˝14ӆ t+~"X(C!ZpD~Vg-n?HNRrA/q0C5BM[P}өc8`у/t#zSv;] ߔ. ŏ8x _=^EEҊNߑ;+}tǾ#cgrU "c) B]1b8M Q*BLž 0.N#g?לأR%{.XSH-H j$Zމ;+˾2:2P$S#;U)+y}ˆ<З8nUf!2lYppӞ6 Q?ÿzs;{!f[JФפL//]n@48Yu%|l0,KmLJPxz|8/?ɁÈ7Ȏ@YDzzs&[^O!\NIÌ[FmlPou|dw?#6yx" ??ZwLK6-0_}I;-A I/?D.u?GU! :&+PB˧?@MWv+[:sId+[} *beN4lj$-b|۷r^F`M3= !Q [HW COr!p~ոq c_Z3YUl~񟶧$WL!q$d5p||v skz!AQS d&#l˜@ucKS[rijnZr^ɧH1/&)D]A/Qbc:-?׋aQlKh/ B^̜eChr2RBq[UEdT O$QBƒD\d>7zIB6ϜG(3IO6TWB \$b:T$vݱK%sZR?\ ?l+mQ2_f%y8qXb? ?]F6SnlM-sjRvTT@OFK/ >JM"B)RaFBС(q"3z-!4:ڸnݫZ@ 78eY|'*>l`2A.u% >Ģ]xd'{ԀTiQ]V/,&ijqb/=G_(/x}񎆬jECs¿4AN7|TBR `v)`{f EdE KIvz1 B#H00:Bd[svwfpn{̽'6 -gksk` T+J$yu;:*jn\{Gn) p'H س2)(bHvG^!>lg'Ɋ^lOa=߳ٛƎ!^a#&t7c~e#-Myxv8?TfPIMDnFJ~}mcK:J3 L2tЬȩ)1HC O3ֽF%DO;)!6_-P@mA$X/ߪы6.ȹ1[:!/ GKp[F4NZ{sQLk{WJZ\@4.5_?/R.?$| 0hDX_i٪̟ZDyX.ay~yMb}aHu ,ft ga. s=冪oGJ%,QұBL8E 8vp={l>Sp{/"%}ld:4(!YXmiX^ncw"y H*EOBq;K\zy_oMAs,u,I=83+'L9&oDZJ/b3 :JJJ% 8_GVǵօp-T /\2o,hEn^ƅhU&&7l9 }6g?O6q|Y&A 6:׮2IJM>{ 3`1,`ϑ!-O*!,E;{n4(S k6;U;) O}B'JBċyq8Y-T6 c{pKEV"Σ"$X{+2a]RgesfH-!,%\mƢ0;hWnaqfG~Գyh4), y-/1+>ih툕J[~ D 4Ogr1=>/A˿~A71 Pz+%G%$aؽR~WXXOKE.<DžyU^Tw1 N큏ZPY'[2Lɢ[bA@tm\1R-F KUŇU+ lRuGӘj,)'AxwۥgW ^TG7,X2W`<ԓz;!6!"#To@"f\ \Ĵ#CobޕpGuVUTX{!$PX@fT,!,TU?vtFXHUF13R <;Cp ЉkRwam0$9#dX."<1"xyW7E3m4HSgZCE1 P"ýb Ѳ <8e3<X>o+!<.By:z@Vx^١-%Nv7}gңrvl͂kWMJ`]pR?lawqΡ$N1ڃn";{&𲥓 vobĚ%v[H8>u#WɁSlܤpCŠ %Y$/FFy, |<>FwQePsiC/w@Z^(O"$OP<1BWoY:12!ݐiKA&/=1 ZA=ګc9v 8Žo%'ZRֺBc%p7{/CʉhK(^@aG),[ ;v?u\M[|N/k $H^>D# z8Ơ:ŸW9kM=.VA$}|.24J!k!]$rX}F%3Ȃ5U`2L4AR=T/N$oPoK6Xa*֭gn3t,8 bqV:z[}U8=To5=[u4E ŗ!Iž˄;f< $<3f-6E%.\$?Er i_#[l<6Q{\'ܮ+k:i}Uqda#m!Ot.&QffSl^G.x8.q{y٭ػjjsf\0a~4biTY[xhmj](ΰdjmuI7"V$0;5̌=LTcjm71ttghoɽnT/U(Ʒc:/c E҉gbL7&O3j-g|w檦cZ]wھ f5ڢ5,Je^-jo>ecJvۓxgjnjbR` LOt'jsm>`B~GizEĖypQZb?_\A&zT2kW\>i<׿ C(Z6tǨ#8UkV iYGٺ+ 8аvh)O䭽f7 }М'y$, l4s #}EӝJg?߆H0I7%hjnZ_Wf`O8F¾kN&iImJ5~e6$9d7.Vy-PhU%[[`u55K|UPho8K$J~@]Iř*_l86DW{o! <84"hb8=l߹-:gsLD3@f\u h V$jo UC*-;4+ӺMIPYɷډhd-E`@+M#nH;.N e-Uҗ:ӈ(FJjJ%<L[ b^L*~>A+m ] FL5%jh\Z-!Vw867gZ۟*=`ܔw4@$\CQs2{}Ol0eW \6u2n,ŢEH,ҳq#GU:yOro|sLDˬ>S|,pYa]12. UpDeCf~5<˾v=>3/*UI enaԾe I248|}*cHࢶӄ0*?Y=;Uo8z,}dAEU(k_ 5K6FD }wՙLɊVyϝ pr;8*ʒ鶩iB=uM+UnE4g}[@%7k&˥:U}2qnʅA֫}ޕ.<8&m~a / ]!~Ep§iSşju{ɵWѼkZV۲yը H(ƛEaT|/\X֑LIR}zdxr98uݮS)V5.!&X!m@+ΜI",]^[$o̊-\%ip7 \t+1]׎Q0JvII~GMG)xT`jхA60mVa%.̍".+ 2R%x~;vJ"$!)3.M1Y͸sfP*JQ+*FֶA[1;lq%OM\šk&FF ~htsMG$`xhalwJL7K4o;'܂\ͧn8Uv_9ӖAe̹?V'&e-nq$ڂ8I!k_-ʓz3⻀A<;49-E%1Ba{Y8[g9bN*,cR MSm fzadf;Xnڮ,%@~&hBՉ#{7 ._ʐ1fąZih:pG ӟmʨHMG W~- B:8HY S 9AA?]P*RCԙQsj-bS\q>gdWzp7x U~Û5z"'lFF=M䫩_Q3зh ѾU4M\@Ȣv$StsZ|<˧HMI^ya1w91v̇u"@.eެ;؃texTqX$]Pb<Tg\2<"{3:KRX2ٙ)͋&noȣrN! 9w_t㌁^vlSyf 8E5ߙVڄ gM_֠ {s%GT-KlH \j*cM%Iaf+lnr@I#RltL ™l)O>IY%8:Ʌtfp^ʱ7ܤ!MU%`kU`ɩI $.LՒo2?Ψ5ļ_fFuRN'po03jN omWE)qXޤ]MR=UMMg#FM$=0`NOgI'Y/#˴q,B L<r.NߖPZ/)>t:{`ZOB ig%J%^HgƧbC}amH* 8 qU+.^Zw[`$iY7scVkk4"edE0𠷡&u =ieܜ9f{NZ/'&GFt1` xUh\0KQ{d, ׽, 4dqlwwh/I~]m_P"U:8QgFOˡ&vqK,- /Vη}b@Е1iVgM jGzyW5=Dk]ӧ0@+\g~_sSݘt%v:.$~?{KCd#4S-6\'ݔ 19's =@4#mrJX-钊*nC:"*`܂101I1oX+3y3o= SŞg AH9 }&?,e)*7jJBPpgq>t%)Bh3=˭^ L5mW.7 E}"t78K5̭ u`C!FRuas5.ʅy#"C;mCQSʯ)d3>D 囦51Nښ5MLU&e=Njy |`J/0'LФ]S:^g,|~Kw[[$;VE Vҍ^f~q5prliSxWQL̳ƌ6*\ >N8PSW9R%tїdRkƯuK[l9K&R~ڬ- i$o}:*̽m,jOL}7q)-&|9 {V-}w0p~ խb; PIu= 7 >Wgx73 _@jvEK)Ƶ!0M,5eY_2&LOC~,U R+(=k!6߫B%՞uL}ezS[$b"(qJǺ<ٗPQdE/O~ВAeP؁X Gn/]r_ vXGѰQEZ;RN>P]cMVpBU~iGl%Tfן2 J5O69 se. 9X? +4fvPYb ct,Eb磴>0Oi] 2u6>`jSdWڷiR-ڹ=(}&8̋!{kռHV+[ mVPx[ wc?㲱3~)fİJ &K:|߼CL@o:D.# F/'*' y\ iN&:~RsHWP%eBOL%Ax2iCP̛M6lt0l} H.cV@\ڱsowGo` ,cy[Kk[18m^X9jU3iR~QeAK"aC?}1b`pke?}{{lvA9DL3KÖ@cTSGcP*&B*') !̝pN(6cfۥ ѶcOXXTyE2ڋBd. !w-~~(Vs~'VWY^1Y.oG3lׄȔ,)q]m{Xfp=rJ{",v8(bL%pb0YVd13_,v$ i.g޾CѺEQ÷rEI;̸:RnGjۭ=}֜g!LƦ1kE]' g#i) ǶH[\)B,%/ٴ]5#<<Ojhyz@nz V[~Qe*}"ebA;I~Ϗ |GI߰'6RA]#tuVW@l0 Jj)Ux ǎyk,[d*FjzΌB3iS C},M_k}8 ''P42}x?iJPq}p1Үg;.nSmOEj-q|-,vͫ(']e΀soh#!k3Eֽ E)ӄXJ|&牌,ńkmε]k  Sk]m lsMBNn'dH&O A"7/9~ėu@Wfy"%+uARf9<04fh/`D*鄢|UyI`]PxFz0MUЅdQ_}{|I8Ra( X^pBYzmA:aV<BC'a..\]YK|3.:ej /ţ^%Zxgt?2~ߖv9ojM(X(kYQ80Xfc\<?<=0*nL;P|SG9䛎Xs,CLɻ:Wa³.@A&;9ɝLr}.j{; *MJ]nAX-Zbh=Ig0m GkiE9G2Kҗx1 ԟtiF`W$"yzFz fԃ̡患Pڟ>w ȿ󾟽UrUvvHcH9,n''񙩭K+5]ImCIy< %`=ItT.'][ ) cD [0*˔c`k08 5^= Gm"G!YDi] 诳f_mYj9ֲhJ%*Z/ryȪ`AhN G PfڊRdUk/1uxe [ԍ=/|1|擁;ap"2N:NHEe3"0f`U%,bԹ)6S.ܙj@ $;0:|0T5JI콬O7RSPWZqh/9X7mc#]$kzBA}cЪʃQغi|׼Њ3"]ͥ^?ًgЀm 1#5PG,u 2tKxX% 馕`=Ȑ^j, pAh4kFM598<4B˧ˑid4mu h/$gOs ]:Ul*-yV1RbIJg0.KMEȊ9Ur/\n 5y+ iGr5(r뾗-[:YmjpES<_O%f<7gpTwr^yWf’Q 5(N ݆O/2;$,uCGt,"Huڂݶ|i(/ii~~c1'W6(4  D[J%,"T%CQ֠B wS*.䷪JtʪߚY FI>@=R8~݁qZ V! S Xi%{"kK4ϭXTe&$ 6e^^T \zfVy*Ă:(@bJuqBv98sE1VDU -EăfGC}s C!:TRʲ;pyo&gER)7v$ ˪F^3(+^C\ZkYfA9G-(Y0ơ^U5w[+A> gM.{!oMō5m -Ca<vLY,T]%00Cs ۋlJF9j1?u)+/{7 z&BU $ؑׯXx65t^G"{K¡P?T㵢^M x p~kGf[ Ўd-gYZ3+ 1# ZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! ҡ]ˠ)jk2p O6LP=͵gl5gՙqjRp]/k 僁cG8cUiAw>T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λU+KGF$Jantl&]j{Y|_V->%][Tjl5: rx0hP 2e.@]$$袊3膠ej1*>ʙ]q,w *NY+؇k8[v0$uSB[^cx+kYܔ4!2YCDU~zS"]8+%F 3gԄ&1V AԈ$'3֙ L@gn766/=x@ltwpysvik&ꪤR%_V<<|h J7Cmmz{PP &+;1hsZa;dͬk( :%NNe\ |("WI'*͠@!Ys(O_3D+Dv|! "2?<5]7N>ԼKa<8:O? ͻ(v ?8H"XdYHϦVe] RM P4uUs[#ȁ :3"͌4d@|G#B{EJc!3 @WKF$ Y akq Ɲ k .կ>Ґ8g]A%+/TpY\Cp@Bo;ZU1xq8 ȑ>@oc(rՖqlWz.a\ى@RK%~g+'e$ lo:)P)MaVJZ5ѭ{ՖYx CBn'$r}WVN[hP dVF ;5&Ň{?)e' T_]֐Έ V 0h7n31J]x?.ˍ7BK ~rn7!oe̍{JO+Lk Jaz>>_QJ)\VqIe288b(Glxl_v]ε } םd1kC=FleJ?S\Y˵DϋWa+kuܪ!7lkM;xFu/1;vS0C39RN,7&$* 0,F墠rh&ho Y@IݱT[^x GY R#"z3`׎R=1ܺsS4&V2ģUFB# c^NJ8yrFX`n; d J *U:VܜpׅʃTjL R߮PS+vRg7s^H6Mv`E!z<@(=5U݈쌎+d:`)U%P6z$/A2)z '/S[o$p#HKBӒ|e^}Q͙;xoYEGr(e<[d fKwN=g%:f=4qeW',04##]EP*>PVܟD\gAdtLhUZ}p%^I>"|{#Ol\0 3A@ 0 &!FAT4i*?Gs:xhX(S]?t&PDWxJuՒOc#m͜9ͷ-Y B9#jKE@pՅX: @)!uO X}iI#xQQvVd.mjBx?}퍸˜WL ZÜB/Z{f^k :LI+u^ Yb>Ʀ'#@50[ ׬k=ngkQmo;&8`pˊɻKbL5HY!QD 7čew[CeE=`Вuzn:~,yx 9, .vK : i(a[H1B!؇>O[R.D;{>*f4b`ʜ>}N$Λu[I"eZ}#ϗ$MvE^DEHzdh vF4r K܉sT g Nq'T_72ʁ7cYzk?t)<#NXڱ )7 +*ܧ2)Y|,"vSDz{! kPyN^di̖c@D96wYt~NW<8FHtҚPC\u ѹ_VG@sMϼՎ`&=_t"ZGAW}X$2A4hD}AJ\ZZ5ku⴬tQusi-`fTvV(7ߑǿ[TSs9Bk!hsMPǨzX21=3 $\Y9rS4M2V.E+Kj1k!dL+jNʎÍ\Z}aKZ3x)9!u"ZPs 3.!8 |5@9*^([2KLE%()u*ej5,YPo0I7 a5fM #ʕX7 $po.ݦ%QqѮ݀u,ɬr&oc4S~ _Qps ʜ?Yy` (=Om41ء7iks~PlHPKdz19o:]^s DzSN`Ǵ/'b1|B!~g𣼈TP+'rt`iMSM(ȎďYyv}V(E Px&K!4O@>gc$AO$Z(cFXdH#Qѷ$RP }F?v P]|O| a2wټָ_h`\1k"ȧEߛ;u,&/^:esшr[\MPOG:ݧ#[}X"mldcVۜDɦ,8 r}(+]j<.rEo3D)}p[m/*Nk#;04ZGGyf)*f( =c1 ϋ&E8Sf_@e$S>YrM`E#\X qUwY MV1QK>;p0b2򋛳cub7@8kD> \//<ϴ'JK=c_[ES{R~.PZ /&5 <OY|:ݙ >0$W>wL=4ysOBt$^ʩ @>ύaK!$?l""$ ?7S_4^URyb{返(p~:V=$zouuUrc)`5n!vLE>'C"D# -Tw0j0ka@_ a͙񟍴s2&Jn dG4ZHa=F?bf ]aYꂖ] ah?R9oA mr]}wEj)CkgIxEB~i6GWLoF ]r`E(}jOؒ}o%;ƗN}RI56 r#vj$/վG&BM؛@zcԟd%6&eMO@uٶ5'N FqTYo Eߛ!Krq>-9@'fbFR1gee5d` KGa =%U%ds6qVAe  Tn+IE~n:43}r-Wwq$ ?1#ƆAR ʡ1 ,2TeDD;4SH36ZUď5gR1tFkqȟN ՗p0?*pM/uĴgqڡpm~ {Ud=ul1hwsqLT7@!d'$xxʈ`V :JZ(l6?"h{ig؁#=)4ڨmW۳(dQvbcۣQh rTL?=^& $N*g4'Ohb;%c/;z{K]?{oBheI;%20 EX2E+煥}F_d֧{0L˜ ^G}a /A {v2%Ka>Xtߗj'm?1?}]$ZR,X-өt'PnA@oetpLU'eYw7/A0ȑU1Ael= nW/n1wavqB UQ(+l^$WF_|Pj|]}K#R^F Pa.ܮ_3?5n 6 7]@9@4'"٪\#-$ C''6dPR[oC Zj9v}5Uh&^m2)J7zEӻ>1џ^Pz0_os"b5O.*(I['F2 4<+Dlcp kWbW6cQ?̎;US nr2щZ7-oL +BPƒ?Z(i}{L7>$_yPOCPJBCj(AXZ0`IE?ϲڪmWc>+&cT&J9fNQL+scbDCc 2?L!huuZ,󃝨 /zF>kMWܗCR&ӿ J#}ڮMʿ#Ls/8%( uQͣYw='$5FgߔgktrDf@if$x\>?'z7n@ܓ9Dv3ĞӓNJϫxQ亾M65ǀm sLDN=郌福)YIg~Rղ=UIGu:ye^ ^JPܢ(؆&_dtPlJXU̹EV410ōGv~606|(LJA ;O]+lquzpkԐRG-ߨ."_GAIA+CEW I$`o?8w0[${#;\D }eƍ{*@?vu[((!*DiMu)2񨸆ح(7`5zlBɳ~d-fV,̉8>X'^4;- A"DkO)[ s =>Ǚn_XӫrAPz+fs6¬#)<'B1ǽ+Y۰gߗ֝Lj R#0zhcV8IfSNO|Nf^c`gQG_FRL@ƱD,U.Y<E~3 V;AV II/h>|56o_篩4RTVv I!+8yӜqf5L%j=^OV2& fd XX_+bAO M?{, Cnn؟cRmP!GN.ݭ=5 4Chҧa*tr]H 2/Ni0)Elvq(ѧgVUs~0(-/ۗ \E+U,Z :۷h 88v|{<T4`-?-9kb[y+)cgpmq{mTyQwt U8(1dw\m,wo M԰`r BT2^vx.7]uC". ɥ9Ɲ!] g]WiX;a-VY(EI:Ye4GW$K# 4 E뤥`'c$R%>얇-}: `` Ć,5J25o_l ] a--qM(ű"`$>:-]B"q)$O (Tz ?gc1pDXXl8:>(쯆WyQ|IH|lZǀS}9ڈE]&+3 ("5"G- 6܄Ad6jʋ;u5{)x@SԵ _..+N(Ơp7xX)]]cA9D().nXt9Cg҈2쟩%6 Q\`AFeXFXKøgo&I41 QGY")%|U,Ӑ/hЛ9aS5Ow݆MrF=_ZiCx4PՅǰF";WTfoѓVr"|:Y;?1#@^[HZD2u]W7wPUS'`}ߎ43^[Fݸ3frYZ=8D杁|75d(84D5Y"I7 3oKJ' Xf {L]^ lAV}7K ᷇hļ{ =pS`SLDE?{%Vk0ak\#rOuW=AYÉv<0p$I]I p$-'I`ߝkpOg[٪ո}<l9lc֊"tJ?_8yu"E骈.u,zC>k Rz.EV=kә)ENe` <bCdr h z+@\Ɓ^:JdDk״UJ]ZB淫|\ߞOHOJsF|f?x l|I8 MJ^+\ JQߙAyWdh2<:>nzpj3u_#UmϣAdASeqeX~퀶i\57)j\߱g*}gvoo"w0Sln5M?3uexqFM /ĶU"fS @2 #^T:NE9:@5+6ٵQ'|H 5K剔u%Um ?HQy(k_9JRƸ=YK7RA,4n15^!|kB_@HUf#џ9@O&7)aUExGJ1_襔IWa7,\U?3DU9r)uṶ&|fE u5K_s f`4gBIޢ+-,xIBq W5[u]bwIUmsNuAHLýcg̟ݜ^@Toѣz>b.[42tÕVjSѧKPl4XLnt9jm YrQ;C`f#V0p=4l!u2?-kjLJ'Du-bW] vl 8- ܤW"@j^;JG գ!.D&(2s0˳ D(G7Qbg6Mz}.wF] V X uWALE9BƆFkƁkM8u<շn~{SzH &SD4g͚u{ 2pVfqIȻڃ5͗aZ0BRn{pε]H T94Zv=5¾Qc8mXq߳zԚghetysa@|+ˮȮ[LiĐG9C`mJ1 `HE G7B$H q׫{84 A{-d'TUCSt1H,اV&ۤyui!BWњkwA2IU S'' %Sx5Yɲ`5VҘwJ:YGnSӝ9%F}kag@8()ls=0]m\)cu &]A`%W1?_v|,˶x47`kH u ; RU'o_[A"?0w _nEf$?̰ . r&A>vлH01 ~#* |P+JI-KRNfJcx\Tn} wZ'Zv:st; {Ucgl{-6Ťwc]~8.2AN&KHE>[ͯvbŞ\۽#Mz3S<ɴwpijX+BMI.2Hz-?+i$49Va 'ɓIKiœ\.9EhOPϚog"Ct|u~fݤp{4v cOp Uѱe.`n޴$j;׍Ege+`+`^MvbXҚ>#>7ou'`I45ˈ3p=LBIsS]HFp,Ec p<\L 4o`pX{L$C*ު:ۆ+EjX[(3\O.=V-I|xuk嘼 _D%FZu)UDBx<Y\UqjXǓ4Z5ɔic/(+N$EIF @ͤO>pVjóf2$f|ς{}ƴ&4:|.'&dЎ)#)ev܏ҡ9Lht~#|ԟ+?,@|\>A4Evy/m?r 2!#q֐CG8Ehvvk(=oŞM=O<,C^}3]o]"4Q>[6Xs]S+>2P:ũ;daqq  Tb]yAlnLQSEpn lA ~dN&^,٥kH 9eew95Vu1z7Fgwsw+VڸQ?3hIH]@'tv#BpUv8a Sq? ~l$ʱl]8p˒o7go|"-&9CP dH8OyIo{x/orP8 :K A1y̟ ig2Wi 2$f6!.\01=2 {+DGaQ3>t8Oi,}LsMٛנ㡑Lc*Y\%72bZzT kc\0%C">.Wtk̥Xg}.Ryi<2DFNuF)qgtV4&Ty[eNo )L9gyu(a[ߥ Q6ٸ.ګ`9-HY+`yRNmv\F3v|%ժ3fO~0P"'1"G\,$YkrUl{r$-乌N_ ӹL<rhR,i!uSo3\u6jH6C( @B׊$saCCq-ɏ<˺M˿?>KRWz]Ñ(ZQ;ΦInE Nk +^.9Ktډc]7<3,7KOGQԪ)_v9,)%X?xOqYԓ \?!Fo,aݲ3$B7y0|6-g9сKvE gb.6~UÙsJzkwTX-a(?wHDbX@R ˉAW6<'U~ZUH_qbɯX+uw/2[?\k"|LK^1rΡtV#LhGf{-g6t{p_6˒ץ(;P'G]8˻wgYʦ9P2/砒xV-tPc2ј_8+CC1;fF(h&re X5e7?U6i!t "$eoUJ<΂$wKBvT>{3\e3i}!Ei16;.+AOSz{jTn7@?uP'53^uC ,/ETÕEytƸ1zm>尠 lr ^=!-lNn}&3\u;Dbb-|[ZW4$lu^豨v?ẔEGew l.&(T~K{dAC?Ǵ*pyP].2)ߐE#begexkf9&&Ń',;1k&k{K syϡ2I,ۃEúy&3ddMe9I3K QLٰ0Ogqd̋ə|ԵHS)xs'q\]@ViB8UhUzC4!SRN#<~o0Qz0foMZktMQˡleP횷*WFHְ~r&g_^2^q0*M2]AxqOXDC1sw&Q7* rep3D , D-&<ERzˋJ[9nЍ9O#@cQq8GI @X)EDjQ 㠛M p&úB7 bOjaTw.%[ ^y+Z =܍ܞ?It8H(zzTJ.2WHLY(&G|W |3$GlbuF\lw\'^Dy$x*nXSmt~ZTW,=|6K${flI.,Kȃʼn']Pj~%h WBA<|ݼWDmpII)5u;!- E [/mdeL/ZTG4o]Jc@5Q-Ã9=U:P7h9qF:qXTVF R]e; h`DԿ0vYÖ-cb@JI'>b,E' v[oWߩg g[!?R(SN>,uZx%ӓu]0w` p#ΘvFxJ~?eDK$8ȸ.m/X&m~do:Z0|9@kO}`k^~H_" ~e+R R4Nh>ˊRS'wd`:o%-Q  CźqhHaxs=U1;]#"ۣ ]o,r[ի̀\-*qgYZ 5G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108W0/' \ZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nh]·Iq n[:|&[z״yWV? sfFKB,+ЖB8)F)(*1>zc&D__],%CDJ>?SZ(jye9y)֨RgmYIU^,>W‚98u O=wUen$Ow;Oo(5cSnsnT>Jä{lu% "FOi3:Iۡ^PZr\^#E}y8LLf0,҇@&gD`?~C2 qjm "Ǖo2}Z\[Y+C:)>tZsc2tME(3caUWqi)SsA0D4 z qG |E`lk*µ ml VZm{\&<}ӣUTHQl,6 Wj8X}T\8Kᕞ5sI͋&*0Vqa $W=~rvaL:kJiLe$CphrDpoK$ʥ:._VM[AO1V4L9P |nB2c?9EoDK G\y~@䋍闑$>dK:)u&8uodvwuOy:ל\x#L7#eaN٢qN<ѹh7"\(=x$Ff隞R;,c؍TW6M]1>L`s/ׄ)D"a9!쁧#"Hexיo}EOΙeO7Bsd*uY H{eoS7_B ޵|eށLAϴi_SʯBR0o0Hul22QoUN}2"ĵ)G4Qwn|Dj.cil(?:&G4#yj+;'CaMȗmV^eOeB4S_LlsIޥIXְ 1j̠v :;P>nG@O|LUS @*ޓeG*ӌm*ayWtw43A=2(غZ\.X"|t0k vQk'0p `?W B?JֶApǐIhsl!:;ʵhaf-kR.8oeF>| fVUyۭ'f ~, \ j70#ζIM&Ex|+6.TƙeDT {tѹh Z NwwV ף(gYZJ/ /# DZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! Us@]ˠ)jk2p O6LP=͵gl5gՙqjE- R\o<;q٢Hķ-2. aKmL*VZ*T;O^RM3C:0⃞kUiD Ow@zE.e l_2s=-emzy_`H R?փz0CA0P"FJsgi$C' >WW囫bNg1_V䱨 \p=8W:sp{3Ce.`,SА$台]-ʾ5-5E;JKOzQdXVߊ %iì%,.cy;|S/G.Akw[) yvmĹ h^CBHOX̎vtka;z]'+gg`ʪ OfkD&xzC?Kr9#<xS|7qX 7֭C^ޠ,$AϻL{eƉD>:<1z>l,S<龜^fDF% /36z%3BQ'9>c^|cp"a<Fm>7ߐˁL<ð]y*3΁~$Fz\fc%-IhDAź|!R}0}ei`*~N֟KWmEc8ҏ}n5Yu,<,IAm/Աe`SKb 4DcPϹOm%½嫒PmH zBԔ睪Gda~$$KZ@Ҥ1ҘJ-R$!FXԤ,^%4Wm̘Hs nB]&؎+!2SА'|EI=igZf*]N(fm*,Gn xwcIݫ;J!+ CR|/W)wdu^͟4m E-6VAm<#hZ8cq&=P杮2|c12+&!/3wk4,C>gy*d4FzNM4 j\7ڞdDϤR|%9Kz%Pl 0|vd&zaȑ8'mKh;U :t_QZR- J]<%/'esUMSw/Q! "HP wkNm0vry.36{22O>7`9$W 7Qk+>nDW\WY!bɵN Qϓ H ^٪*h骐tOb? g 떨3#/2!_--~,._E4['}^~eb-VD?T$Q{є*cX 3GP]߮SQgx.$uіiPηh ۷J}#9*s\ ⻏d8TWx{$4ǺIJiSQ/jV^jv,t ꒦LUC{*)*C&F}^53;?xU6$R{b806b:CcEP)6#vfYp[X5&62yvy)r<t&@%Csc,f`8lLJ`.H(v%/yaTp8:K@*Hfc B |LH<̡zm"Ԝ9@8N﫼='Tۭ،8MR w#C`*CiT,N˨`:ZRvPnٛ_3\d FgJ9Y֘!P]Μ!=j0_rKyP\ޝ3uρr p$$3 %sdNe<2Ge %8zŃeo1m37h9 Qs$2oGvÄixIcikE\;;M;kCt9^kj{DtHM]Ahڮj4UcClN2{!'k~x2WwӷVeA~&A#ZY?7*Ρcd4j)lV9/Ji/ގ:^O?S>qC:ZYm?l#?ߞ}[@ v;Vko8 xB2/o E>Abj:aP>%@tGhWk :r cWvo|*-(ߩ Am7w8ݦ8)_2 TƔ_R+"p.BwĄ0Э 7j73pmį!}˅YF؆j(+NobV9!>X7XQK Si&V{!wI7qnŗi &ZJ#hK?1{B[Bb_~0tטњڠMW ^ϜR3 *Ҵ 8a<1ԭS^Qm = (qZඹ3ysԦ<:?LDa,'|~ . p @0 ɕ+-͆Krd&I}BNM}1Wz,1Gu;R_Nzr`쾿{d`4Q,am*PQ^%`큟D QHe%f(+6s Jz8:'"N~7ՕXDގ% ==Ψ6_qDd(ߗJ)Mvz[.&0iۆĈYܜ$+CUQռ_&je<VF~&zU9>8*ZTd(diU} 1TCEz7/!Txd;,_" bΖd:_ jxe,uxVW'wq6"/cQ=_\@6P9Mxt[9SxSyxM Su:MYgD5 ɍIhkgu#i# ;-Vzb&O!\FBnPfimx%*]"_\" A:8΅6˛`;΂O0!VMrV W+3vt |8q\G.IlV]g4rş SF lg6$N!i `8!P B/}}p3x!w~17[]ȸYY-;ͻn `:±u.7D¬hq)8?Xx[0U9h?emVYI %y椉^V. hp%|WMNb7 $ק?];8U ='ݽC"rYF Ie۬TU{Gj)5ߌ/JSB0tne9+ kOD.nZƿ^3'Zvt0, kb[-)`bp|sjhl8 ]ԢgE\#pao9敁FQ)<}W7 g j@ |瑵B8Ԑh@}d=4/U6{aٴpGB}X_*``Vi=~c]}CAesXkU u=J^)upZR<_kVނ')zae1`wQVm!Tڨ@y0=pS/.:\ -5lUz LJb-*Vum1-Ձⰷ5 <4 %n?qFF1iK'V;}Jϡ+GL 3%c6@0h *K1?93xpMvfASazypZ8 {dγ4]7:e\T!"{&7*]zm7DN\Դ[&wO?VŹOmkϛԂ3 ePu@pХ1H kυwd7z;I0Ȃ.&y*`X]B ,;n+ʱ_t=GH?%"KrXur*Sڰ8t^U2fh|:-$F7ш(M\ Ȏ(Hg ުUuT+k|?6(OÍ N(TUʹTf0ENQFo׉VD²aZD~Iu7jmֿc=K_kjFpj[FRuHy6ARewM^x<¦򹙸˺e]IQF*3[l5N|Muf:vJ5aܵΎe҅{Z{^ ~'D8-l"š Sk28L_8:0]Fl@'RZkFznbّLj$kAZFbVFir֗_}-F5%CT3^d:2MU3p\ׁvNWck2k{=sI |{|KM=G /<|VG2 nCn.uTArW4q"BOY0kQqR΋03p3' ,w֘_tq l#Аdc[jfbls%QZӅ&@fWa˽j]N6·ʴaV{W#Aa;[nX>_v&ۅJfa3^yO/0{. akeXS*] wayīeD l'?2F0oa˅@ˋgPF~^VrAlMv>1^1%Z:kxI!ǮB^yM)xg-0܉'X_=fO$ܝ7 eGz3iP%|ȧ[S(޼"v`lȇ~;MouHmCr_jOdُϦͱ&{XM#˿z8m@ב Ufrז$9_b:~^O; 3oآj2Ta:lk4$i)+Q.IIk`}.a=x &oo3lieDM^sȒS y#\d=1Z3!oa?;wRf\ AA9d):=6yU8d r+uD2(rxTE.L`t85 f$2 *Vw~VWincXF4g%A#aď8ZO)k6m7TԤ5}2B$?gfJtEXST'ݗUD1*7;/jo]jT4^mx4q4B>\t.&ge$C7L{#/#:Y]5%=뜄愉w#3E9 ZW~Z3- hM maJ!˟C5L˲˭Ỡ^ C 1 ngftyVhǚkR1 ĘMXe[xhq"]+@ mlt2?bjυD^)hɲy8r&xy2<|x3_ Dڈ="ĞDɽc>h=_a(H~{';ρpcE-Wv]p`5K{ӎUӅ4THmIuϬ6쏝/Aͭ|걈(WT ˂}Y8ƉslV̼xhgYZ n3 /# 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Ɠ跬kfu0zoI),–'.G$='|cL H/i_ONv.NN6#rc<0ҿI=&/ ^XM/']yފgFmտ 5䉯ہ[R,eIzڐ#`"? 7"$6d29=S+_aO܎)HSeix))*n0"W =#YJS//ҋ]ڤ܁$+@-'b l wɦWgk ̧~;| <:8x+D:m1v vlوqRFJbSFޫC 24ǥ# Wir1X$YcH0ٷQ!?p^YSžt@|VXU)GSU|~J??_"ui_c[6^K ~2Q&gxQ.ErGW}v7ӿ{Tbn9w< X5[NC!Hw]eP2zp4(CzEI;mJ{A͑}=zK _:JUƾ AQ,¸ 7fX hqZ)1rܛqڇXQJn?7  :{A-Zv|'}bub3tj#%Du>g{7;07)TC=n <:N|ÂG_`ɉqie'jTt>_ۚRHJT_jcx9Vv4Ǝ}~h,~ =ƪ @T_EfECv˜z~f~s2hN״g8)l:5{.J},|~ {(RX;긱xf`C)[8))$V`) J{6  CxvӀU?@%/VU>6V๒TaZ&E( \/F64^Xn@欓ݸh!D@,뾅f+݃HV r@ YGv唤|'ť|@w34nTq}r\M; HYפqc#;Ű 3hQ?SRњF)_s`'Dxh>{,w<36ƌ'2R`'D :$N˽*KO+qx\ȉkb]8*t45+?Դ&gY#}Qd%rg?_{w/6Y PT1c.3Ȥ$esFPMCq{֏ul'n-(@e=眏R Uv;>v}j"y)m$Nw1ϨiK,nl[\ٺ/ xxい:w'n?kKIGUi t{̠ /)_-r#ZqyqUh>sԌamDʞ#g 7ۏρcJљ2z{q],"{~R6z' ?#od˻@EӾ~8Pt t1.m.~8fuRg ,ٜa$pRmuaPN | FtZ}_kxVSڷF5"Y jM 3c{68\W&-טt}% `r> FqrMD6)I֌U)ڹg 5 It")6!3kP8= ,Mכ؟K[S)6mV*u9 Uq,HiN.@FȥL\.Z^QsEUPfD¯v( I(G]"&R3_|R7no+%SSl>/WB+f~„̍v?}}#51$ě؟8BJ7,ͧӷP!pt4<f[[u&-o9eTi#oA#|RALybZrʏ]sQrz9S1#z7P{JSnBQnb /LeS-pv \?#|^.9X@vܔZ7BJNyc+VlI[99SH'{^#L97(Ra$#p>ZU/<6r>jD߈剭>bjYJ-\H|ȫ4^{"e,}汊+{$;8jAKDV%ݤXu8Z0ؙ!TͭDW_Tw VRCK7![,P)QJcHT"m UlNvjWv{cEDYgqv6o7  N  g7 )# ZF-InductZF-Induct.TermPIDE/markup7zXZִF! )y]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JFWBsF<U6j+<=|B9_g%8\A<=j|A#a&}[fnx@J O%-zHWm!x2 +7L:'e΁Ugxe,R%؋7])u7T Rgv_ﯠvxU_a_l#!j7F{/#>DKL(xI1VCD BKvbfh=I>w@.Mdt:iݯ)J̳0 eSsFi|2Cx݃|[Sz ޟq?L/N'E_8D7u>nMB= { sa2lSʪ/W%#B@?z<ݱʽE_ 6h 5(l/Vfvj_f:C@l6ؾdN8%QW?}h`xD 5ڈ2*~ڍmA( dVo9}•scXCh0Ӱҧ$ИsDV?h1LXQN(*adZIaHr'r2YOs)V'}eqkɔrz+Q eCn^7&g%(I(==K|8hp"ːm&߽U< QOkӠz yQ HǛ/Pݼa3Z1h vM{]32G~~͚K@.u"I QPC# "BYx*7nh\^hh{͕i,D`[#rSrVEѳ2/ӅGv3Nqؐ؄Lr5yH"G֯h\" 6x^,dO2ΌS&;̲Lp+F 9`,)NPJdCG dʈPB*4Mn{HɻT2YJ!;fQi\ujQ&BVjbM2G巎骲m4-I2HwP%1cEoT͓'Fb`@Ё/0{=}#c?@C8I*xgf ki, d86?GA@$<6==-@  á6@iXZ˕=&_o+~'B1mԹó󙵎F}qzEqxR I(u8c!ͷ'ydm3āi133)[i `]Qs#ex3/-b1ԅ[QYѧf5+ߠ\sXU%륚N/Sɨrz%s p³B?qL^OhǪڨLI'[jsSjLw,IۜX@F5>`z`z_uŇ̩g ~.84nYVL]Q1=B,ة<+;A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112/4/' ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N>]·Iq n[:|&[z|3T7˘[@RueYjBpQ.*NqjR%КDj*e !)IvǕ DMXf@Qi >2R;!?l+iXj^p+״u}PqHOi~CC38p@۱ރh^S?6&"!$C8BR/I}?6{{ lBa!Kkiwe=>l2'ѶzlZ[5s8RQ/ۀ֚\#Hy5K(y)F`ឦ >`]n9>eZ.P2eyO7āhۑ|W#>=Zh.kormCn(,3ߞDNzC=D@Ϝ=1#eBHV;Oo{p&/,a2C8sN?Q!]_°&8f c"Bb2jQl+9%U,8R@J1(8;}m Ð $t yPSa }'0p̷0ä0%iwKwi׹ 9MexZ?bI 08ea^׮;]AlڅMNEVjZ Y%(o$ ) L~­*jTWvbQUa6:@`Xg/<nʮ6Lb4\<2H[gۺpfJa8fFZx 1UPĠ(m88\4HaF5eahOi#1q0'1zyWڝJgYZ<4.RC.ٶg?Дe=η-b}|ԻA32,䈙VZ䙵+aN;2OLi4o+}[ e{V,6߾[]}I:d_ݸgcݳYL9N~84ChCN]!SzHCQQh\ 1 5b28@`ئOtO#Si_S sj?@i`'*ͪt p-UEZcgW,#.9a?y&ׄS&|86 1C;!}o֡7M[}Z@+g^7^@M~ԥ8kP,GŽ&ߊt oNVn1F6--giJ' sm,~^-$)&Y ro8";'o4JʉvAsUgH8 :%G v/jMHȗ*,&Lf8BM7_wR:{J_:@u?\V"g< &}~8ci  UapO KH!2+홴>նSRdqhp N?bȬըAځW5u:QQ&qCZu)kZx?R5aZ-k~;9=dqUMk=чŽpDLj5ڶ?:/r92glyRU*S3 y${P|Gkxݴ)% 3%H7&]hi`Sᨡ!_ǴbW"!$@rO'obIצՠyfVk(U {>aR+C9QԒtO$GF^g/}T~7*r/ E؄j#4Ы]r j&㧗6L"5U5"vTk1 8O2x? ^A g<оIE# n,/薷X}%]sEP{c Z#UR)=YE0) z"^/^aUq7ϱlh$rnҋlH4`TGY|X\x &Aݽ'Cvz`[\Z}PmQ~1őc v.l'p!3# q>#SLlY2.5W@ BA[!jh0k 6CJv3NJaY"ei8 "/.HՊnWEAúQJޕvFJҗuq8~Dr8@H=Ċ" _tVx=9gIJ Pm>sBgIjpRP3)! PA+a/qz`;>*QL7b GZeX9sU6-;-Wp6PxF&JD6Ih]C`κm|s6y?Fs=[* hK`aY?Ӌ'ՍZKcLG푐&y4IpB}ج :-_5t$B,5jӾ?zo,^Zn_2q?Ht=Ee Rg r{3=5zpuGr-L: 9~MrFde WŘ澱eхd kw6kέK.V;_G8D*_|q1vj$+,MMp;}2Ql3]s9#;JtGWxS^Ww6$yԱ )VSfU7"B%iq(x6S7_?`f$ cn-nhFcCRج!&p̺xe*2s:-_~_> Hy0͏nd].tisA">o+-3%2!IU񀽅f0m2|=76ЮFQ#^,stҒӢu?藜:-[p?ՌGb7@#k:B,x WB%~jPˌI ױ mDw1Jo ɵm6':(e,hy4tn40:S<1!0xH5[/G55yL:!qR3t?ykF,0r]X܋Iaw`] q`Zɬsog" $zf ;I0E_?,Ӗ'c+l[O:}vV۹|]:зa-cu}3sJHQRwj$"?{TQm~ut6} #^l|^?PD TZv(ḾM{Mw-n6s֥:m 9+֫3*;vzN."=p7@!`\bhL]+Id'68M^.*F" |D @yzߍdA v[΍#{M6'C$Rl&dd;9d?{Rrp_K[U:X/Z6e9(mO)&!(c,݈Txf uQS:Kɜnlgo VAL^o5Ĉ7͆ sbz@Ʉ;1#Cy%#L@׀{]tsb6 \h=׊)3>֖ӆ5KhsNs"4X7ξnf0J_4$k2]WOdFŽC]S"H~VBtXud*Ls.v&YQdFn6Ov Uex,a"E (h(8 r "Hy O:d݋fݾc463`ek(Ϋ]Ss!RW|;⨪e:נ!EW=sN>KIa4!P:A'|P6 :l-3tuOq#SvOnQs/{!j7fPphv#^# p,ʨLVF"6v ~NPi6*5\- D$/.Us|Kw̠YZ]I҃t!n J;b :vwm2LSK ^ٮA\3̜3ǝ.ND$% [< z/Vav<teq Tx}74)띋r#9Ĝlf=';GY`~1wp4' ņڈ9ʬZeV"㋇' n=H_]:vN0)klô < k#HnN8ʹoY6ҥT.l'rj'?b.3fsW],q%A|Ew v8?4Pbm\t^=1L[b$K4\4_&5efǻkIN'2 h5@ڿH1f"jDŽdYqFzZk#kIȹ*8ȇ װh`_@a.ܠ'-ls_1?+;UqG((alaNϫ} z/΀h)i[#(ov1V۬䵆d|_e ^rBq=< ,6J@퀮 ڌa>>0Inț Ҧ_-b^7=j;z'(e=LUC%idTmf }"oaV޵um (IJe' |9+ +l|{S" l/4Xi U FY7W ˘:uGj[=s-Hq#]6x{>] ~{ǝz$poZ䄧t=Xzx|Z6fbȬH_s>՟ ̥˙f,аt1웮5CKCm ~P7Q:vxwX!uc3^IM\d#bπ2Zb"PFw ,Y ʚeD/K|OJȚ\z ǜ&[Ż]#(8Y!#U FOϤky-N^HsǡtEx\߾w2l_;}wEOy^M0XCf8h#Bd!\>!6Sw)㵗!@$cyx$zr*LMFq>u'LGڗE"LpbV<ԑ T vv*@=SkqBor{ 6}#)iu+rONm uBcW4ՑK :9vx^fEpt,X,[/7H !QWBP\ؑ`g {[G \g>8_w}c`O: tWfZ~ZGmdesz"^t_+o4Xe. GMp2қFcr3 Qܰ|csߍ-s|"&rAe{ҷ@`뫳yj3+8l=q Oܫ㔂+9uh%i)t3UQVu ]ojLڙXfH{y۫<\#J$goDdF)s|ߣG"+Si#/^7c#A\^t0?DI?Jpِ )]Djڻʉf/z&3RmYܬ4r%b'L.P.ydJ S\+xEP_ln+?i- ֞AȢ rE̱'Gco)n#;RXK0h˞N{-^6)Au dS VHWGأFv}FF<4حLri܏~^"^l#;e  (=`H}ZvgN'~g2uEVzSprmoX`f1RfR:io[Tu2!!kP\.ӌo3毩$_ Fl+[dOښ_=e@'o sP6;̽/g-ʨuӨ%Mu;Ooi\xՉb3Zo{ɽnCPGslTrP~`CX궉J ӒF/?g܉` )ʹ @a$ՂOM+3'A Vuh:=16[^4qIr\;y䅗P;0rǦ4!ffbrlO}j\(k>nhl2ug EmAd '>:Ot+!7 uqCiԌ0`i-#5<H3*F:exa?dyn~n1YsklMRW J'dմ=|9pH7~.ls}@EzL8A<}20#.%쬐t?H`0ϝ/P C%WC|-AszbBg43eʹ ;i hڜ$0 HZjbFi/AO2zJ(T*4eOthҹ,͌t/nߧ8nS[X xbX.CSer賻_[[lD҇<8YM-]gNgw.ob Q5wfu{EI*ƕA:ĤI ~4odeyBCE&xƶՉ:%@hƒ%YWց M}j.1EQ 5RXlGP88 ه7q]ZF42߀j쓈尤˰@oũ_ s#U-%1GQ|1g)7àrB+RϝxB OAGȝp[dfP3x.aӋolOu(D\"ìd8D H8]GC 'q;7jf056INgOPư'aA%<FHUmQdv,Xa b[ rKvKkj1-1\*s?|SMCgYZ 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}_E蜩79hJ2:LɅǣZuj`[Q~̤ ߈6;i?ix] <\)$ yz>ʄpeLM"FOM9Y5[Yd5f؟߼$j=Kn!ޏ(sv]*~U5zh1Z5_=5[-EЫ0ډj0B_), O(gYZ\>[6B*}\V.u&@B|SmV +12e~IӮ}Ɇ87tCx05PoʊlvX:d_ LI%.%1lP'L h-W~Fc Ub흹+L0V$UZ嫳/5v??f vB|^;m{ lB~Y,b=B5#$BK\Rgsh.Rl3?|U4{UsF#o,-}\GRRf' `]C\0$7Yd*\ &gzaY,5j۬%A^#=2UVlLq# E4^]4ϒ*"-ջ|{!>㨹j3B08TǺ&k.v8Yy^y` /`8^*M/m]P2khFiڮÄ)25R(od#'~gndžGb 7{͞J _"oڣuS"Y逹 $R"FN  ZC:ui-l g8s!"תH# |7/fڀ7vĿi ƅòJD==$%c}V]D:pC~>W@pb^K8l"_#ރ2<egbx|Q1l=s/;L:>bt2UGN%1XW5kS ((ocw`omXY P&41+cN:aw_a_uصo2~@/*Ll@eG.8GoZ3gs !bFi !%%ʾ0q_2y7J<~LbԖM$?] ^kV|~]V~樶#?9 oX’4ux2.Hp-@S (|' "̧I\8ۻkVJ]1M_K@rs͹j)$L,Wn^EItDi5Kv,Rt}+ʐMO̕2g ,I Uq4f*ċ>D"d~N2<汫8}Ô[j}g%=6:v Mm"+ n1rDA4Ŝh8 D]MJF$FBNhjpۙI-62hv䑤.j"d, 53nƺB+M\^6{C'*6D6+~|jd^g)=Id QA0L&߆ 6wTfh2J, ; wY-T5 i23P2MX!@#LN&!A\feԶ}p/n"pKwV(:*q.nƂ1 ~^ k?y?|a)7nA |-$r??fJܕv-NdP^H25-J?@/| |aTex }ˊY]y]6}v.=d7=S$G/m )&Zx$%?L(kѥ7eyԪW: Ưָ K^p0J?pG:˗E7洗V h`B","uE}Y(#[T#G-xu:O,ʯY|f`Ap|Vz*U+L>gwInVu(KM͋UQT:Go+7[Zg`j)`(x[ֵj59ɵx$255i.y"hO1E8/ J)1JgËjT(]h&nr)Ūēe=+hǝk"2I_tRR EIKΘ5.RC)O1HE4TG!)-r0>ױnm]sXvHG"M#~9&"h;neyүi>iuYj /8Yra@X錒=9TU]\ho\|[`TT4𓃈mc{Uѯ> HjgJfJ )hb7P2>1~уiI(?P{<'R5$Ϫ'YHy 3qzA1zq2!1K8IȮ;oK  hVѬ`y ¥9.g&nkw>ʻUf "yAr.WfLЯ,*msC5LuY$MVT@5nNO0x6Ѕ4Q:|VRYjv4?CWWoBldiW<6Qh,ɴ7W3YRHkI$ZG2+>$[F Hwߙ# ۖZC,lܔU"ͧTqp<ԷCd7ŝ.CY}lX2FzV/f.cjip@u6wT/b%" \,_^&hq>-Y{^;Wu+z6Y@ H]r-HD?cu eTe)p ;; ܗ1 R4B' 雯jM1%Uz3x 3ss!~?p(mo Gr Q#漃L_G0d#ƫA UWwwC]r_ £Qk#9lÉצnF@}0 g|Úƒ5iFh\drve|: +=+@CCpR~ [W;'DPsl(Q&Dzy>cfڨ>M[\7_8^ xuﭭl: +ܜ1 } zJO=aCHi/>?Z¤mM䦐{_Bl/NG>@ nš^~Zrte1ml@{j~l1*Icރ'L?YqHP ?/7',&%עQr.~HpLZ?K X X﹂sT{~rsW4-dpfq\V iP,0n<گ]tqV{o>g-dHBwX(+>{PK~DlO5W-*[ߚBT>d@#2쏘 50sD@0P7š'GIio*1\h$cNS bt[q0YֵVCȻmm݆֝U4넠VdqXl'AޠO8 ^$!Œ쥺hAA[eƀXH\/@f*-'d:֚"f/V.WS7$'[#C9ѿ/}V`@cxU1GP~=pc-g׎ⱝɕ3^Monx. 1-`uO3mp$&w:67f3&&~Wi]'Xv|\#䒚B{>6P'OZ?Fܺdk|T.wZV6P.\z|QPsG8n'"rin.ҵDupv({q\3C,6 Qs3mH_G=]-AxB\e܌@#Һ?)K,Y&!GEq$ezִ7mDPb'IKToAx&N/98o y=7z,*:hȓ[[YJiJD ٩/~%$J 6Z`K9j2ҽ\LjOZ]JI ))]nM"XcLl9j0fI8H^^_̫>Ui1"hڶBJj#:0woۻEoʒB " qy2zǍt1C6uFz׎!\t VCsf[&W47xP:߲drqa&+$fTz(YЛp/?g⽍-!x!ڊrQ>mi~)ǿZ+:(޲{.Jq 2Wt*s\oBQ]v܅X0!wqAz.j@FȺxO?6fB dW#5RPoG탥}\  v9亩ܻ@s3gvHQz !b'}M`ԍdG\hKktTWܾ;n捕C8c{+c}$b&{*ޮ=is6 88qi @_k2}9Kْ6ehl=VNU)xHa4K}?9!6'd)5߄a\tH4gM>N8Pa wx4Wʸ }I2ڲ |LD"f9mq;c.<l'Э0 SoєNקbs2 ņZUӚ)Ɇ\mu X;<.B6}PuU: ށ-k&_GUX`C]\oyS*9 81r<ݘsf 4>;.$'`VLe#yU2Zim\dHt^s)e1Ds aSP_&+*{VGt74=S-(kXR*t27Q3G;pas&6sP5w2?pZ@:͔!ȩŘ!J4Yb!6 ц,Fы9 _mdz%h[q\&.p0c {[c@rH\&ĪZ*Ud@`(S{റw Fب뻦D2 NrL8T bi*,9D#/o:BE8Ww wܦ^RYvpb>  L  4h%?C )# 4ZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&eեBڠ)01{$PZZnj65mlOk_}QgLPKNIiIkeceŸv/jɂHdg #x16]RYɃ,۾IpWRԩ`B1%9cp RU5J0z2-{dU}!|B*Pgh'Ul<~D>a 8 (vy$Y'r/_~뭜஥ nSa&䝲CӶg%j1f8I3#g=0 LTEU {QhUH2)V#l& >Hno}RQP%*eW,!~&-Ed_-0?wKFO'#vQYv\w|n`7 ߉[]lL{sOoi> <@TM>ztZ$t\ #~1 !T@7 g}Up8]$\qHaܯﱸ WgCZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' TZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.!]·Iq n[:|&[z+I-S1PW﴾F36gA.74Z%|mS[\bPÖ[rr]]RY2G [MSMʁ yԺɴBӡe$4B[/sgp7!軟 I=~[Ne&^Z˨4"Kz ;u6lZrFvDvQplzI]n0d7A'WZ",2 i 󴻬E %g"lֱܢnSyn`͹X- }<׍[ۇy:\pi+8NII$Z%=,@p7U D `2IBF¸/S4iq|pJ)Ks}d־'k3ȆǹqIK;2<: É˗9XkpZb4Hn&{ka5Yʪeh2\eZ ;^;mTl(^CZ>x^JAvgtTuFB/҂7+~ٵ˞,UX'D]69a >s8;?!gj.zl֕hp ʣ뻃'\\ }`IdFNp" }{vR%zj(dsx*v{{;GϒeL94F.:H&̉?f Skc(  KHʥ`TY҈ \MojLʷ e vcjE];3c\yTnQBNVH-уq|ΧaIkО,юY?r G4V-ٍS3gg1_bQE l=}K| P.TL: 4Ah)Tϝ s139[t TJf*p][8g1RIv;/=j%R`|y@?-s^4ع|T+gYZ~? 7# $ZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H" ]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;j/]+M_ 8ki|#{2_j$)**/GPedppA,? Khf\*F&+NӴǥ6]B!?<@Wd`:< +5)LRHx+H; +tFKD28,D,oى3ʖfa]}:fA )dp6}S]/ lfv qD@ K8֝A%`Pv掩I{v z*1n{QlS+cϛ^ $B%ݡ,jT^FZՋ`ΛkZyVe=ИL84kߘֺ lL(:Oh^&;uJAO>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[:|&[zJ}ϼaӊ68eQ_禭{?P azM»sN`/><SB Q P.HGsp HNS*p@o>hu jJ`M-|!8kN f,BKr()W;']"Z;}:|L$ᩱ:x#LKV`ϒI^*xȯj]P=KG~}@V8QZVVYς+E0Cd:i* $Hʪf!#DϺ>u؜Y߆6F 1 A/B ;%g7L.`'3> z?q@2}EKn_aZ5$'0.ix(@b1]՜s35d4xK&ޓ<7dU_SO[mtyF]؀ ]M1+K[eTdG =?wkciΟSb-*ٚk#56'umֻQ^z)agYZB½#1N^~'x_=X^[|˂c+4J*+c{ijɷXV6CeF(ϛ 䡳%pZR ŀ /IXi˶ vv$yAvdګ8K~Lİ'bdYkιq }DL/)?yđ/(̏]dw 28z۱$VD#Ι 3 z5u2PdO"gM.A בv&ǘ͛$l- Ǘ]rg%A|o_y-?f!on]$yHk%'Є\J7|BKK3lπqF>,rKh+0?mR̕$ ,C_Y]ƣ9z97j.jE׏H^3KԩS cWy?5z4JPHx'Φ|}@'s_!ld\j0aup̀U%?BB~ٹ6A/~|v)8pf CXXQœ~eNXyRtf*shW$8 Q}ӫ`:s>XsE2m`p:Y)$VX9sDMSU%d갟<##۝gkѣdN~OR{=L1il +'6jo{K<_! 4$fl9i{YpͪxJ C+u,t.c $\ !/fv dOǔp%u9op0nQ OE0'o+5W1| apLtf7yX"'6|r\2TӲx@+děC91/ݿѫ Hxݮg~~F_;bkOUlflfE=/w;7G= h/'YNO*7yIi'c X0o6,\>Yo=o}sdz<`Is3 /o s]Iq]:#v8^EWփv,e-( *$ᱶtvx˲u306LnpJhbiHcXdG+p%pA֋<ѱ5'b&/Rgٹc4X} AX2pW0p1r?xatCavDwBs։~Xs<Ux"S"AvW%F 9_l#ߟo@9d4m;!WXҵ49F2΂ϑc^G{;\Ϊ0&Kr˰rεD}cQ15C [Na`v)|A*qUkcfa7`X*bJ> < 8x/}pM6 VvX!7/%'0E_q e~>ztV9=mg@r*]y<hO#I<*o,rt9ήZKXN6mNܴ4-?jܢegd|D  g7jm_l.7u@E'5 \>'B?R}Vª`ݍ$LbQ%ߑ"0Zp tG9K2xGAY@ SS$l X8).o5݉K?E,x * hw$dws}";'/aCd:!OIܤ,B5jWeZݡ }/IOuh'mVc4?)Gqm;!Ց3RuCF%i+qUJ>e9Ec_<:$Z`U6jbU{iUKY<< Z:_-&1"~:`\gY<:  ~x#Ȏ>Rٖ;3xW =cRֵ -+bٸ?P,̼(c*@Sy]4z\: A"g~vD6)PRPyl_qIbOIYp3F^fhH)!µ-t~Y8-.k *iߩ{ pII'Zz1hl789[ژ78^pzh&jӧBFJ;ǝt):yĨفJ"{o'Dqmd({cIMI 8g$*X=Kg2 n<;ERcZr$CňR. %O9u@ѢZMuY8raD?eg>&ehB @/iL314/s7R<Ǖ \i4X{C,7Ÿn@5Z f.V6×9g7ˊܤԨci=7a2zJe{I:#.=Y )ĂqTei'$O抲Z>=R01F@U|+$G> ֡LKknX"f9Iñ3~^z>2.f쪲th)\$i늕gg@gVz=ha.-HtW*pN=m o`F^'يtGX-Q`G*y\s!) Šf ^ ][.w:[,;"WW h?l[q{&תYDb3ةof=D]RL`b^V,iLvͻdKho;qZrKuiA MBȌ&T:6>b]fࡇ7\B1poTS+OBuleNn?- $Du`qN#Vb«,{_KiJmIT^{˜NZaޏoʎaR{X:;ɉjq=ۚnZi#"~ky ?~0K6d 6H^`zpDkP>4ui|)Xm}vͭM0$ӶN&t᮱g@e,8'=ɿ=#ogI u׉ NtDG}}3B;mR26hCk7?CA:IZ8Dp7@^ZarcFzf/Idy!a>udgxHLP)rh%`d=H8И?Tڌ2?u-ƭO]٘ak̏;x;>hN% #.'Nq$%HsA(M;і I%p6 _Ӎ~YuGeNѭjMD V?ȕJ̈:,mMP$Rj31<,w؉u_?/aU}#j3mS'͘Et3*YWY |}ؾ񴮹1w $1A_ǞʨzG8j7-U3W8*OtXlJkY֗pa绅J&3./`jN?x$ 54pnJU %ŭ’ȠS1g\GG\k&Tu@8v>凁oGF/%ncD/6'h6}|;㡸-TԎE5Jх$plq{xﮠd7󌪥h('x39FiKˮ6XC>wtQjkDeJ$;b/| 3% K1lF Y[xz;k/%'5L=Ždx:Qm,A8yD`o&jV4Tl\^w 2b"Eá梕٭|;LO9\F@ŭ+Fq-02;N"X*tuф7/Y2ڲϺbC߅[47c //J{S4 8''QPյM%w]@5hg^jj@<&՘3Dc ֹ}s~S~x_\7r"迭,ͽadHJzq7RI]o|^f6ƖYH\Apl-C*mJTrWd3yu :+T+ᬁX  xAd}i~Bo_ Vpqs~9;潸Kg3ۦ6Uˆ|r k$WD+Vuk`z M^,ɕ{Vx.d Si&@3L1#^/Non$VZz VY٩ixUqה^තOx ~qT}w_*FPFdAcp4^@BP{6 9#/8Ob곩x̸+- ONB'cÒȮV~x>zXB! g jjJKv0Fmۚ[Eޅ8>dEs2B eRC@/3h丕ЕkRܲa*ְۡ떷l G,8Vd|=.q >svI*4= 5]yU^KUیu<҃gsؗ*^h}p˦VV`HDϹvQձ"n`<ȶF "4 x'LAȍX'h6~| Ngخt @O8~V %,'HU\s'!Nq>%̹:6*tyWxik7?vd{=eXHX4uR77ڂ Zljҫ@$p- i$/Co0`GOt^ PiXxG4C PhgD;? H,1Cg8]]M[MGK󠄦 hXx-U]O7Ğ]2JcFٞ/)*:Im(a9a&[";B0)PmA Dl Vߊ ےhthD4Dɬ$U±gYZDPt^2 eYƣAl'IGNӜ#yDB@)/ /SL̷ dg@ېoh Fg{o 4ӃA@y8;N#_`ƌ^ӢNۨР*Beav3wlD}hc%p)>zCܳEp;-[Kkznlk Toh4jWw |;ZZg*] _pqnWW:(G8( 9*:33sxq=|/!጗E/5KG5`If Ҥ}/ ndK&[ +Cj9WWUC;|iB#1( O}E4 KFņ=lǴXnoSˮ]|y83j&~?S\iU&^>u= /̗Nz(;O]Z# 6uB?@]2df*vO*AGc-܌\ {c>:n&]3jUo޸ fv6,؟Yl+фe/zސƖĠY i?뷲5Oa m{;?&nnssp( m;ucj v{M$ s)`Ye/xBCM1  h}He0NE8s4[ *5 aPHr+#Q%%2K 讙b&?0|DTs#<'OOq&|PaԑSk/Z&"7wk"X6>[T^GOL+RkG @OIʟv4׾GRT3dX9+1ZjH1@~.ҏ;]]`%9vOFbt=Hti;91|>UtҸ5BT!a$I4RY#X :' J&m;yvo*bdqb=h6C z;q>Dn` bŀ^ _ŀMsEw~7vHb+ DA@S::TC'[{?+eg59hf bؽ!azI` 77!Z^ ],"g}@MdW[^uܾ@8 ܶF "" I{H*Lxu.GE53J X=Uk6|d8/ kc^Uw|w6(K }-8iW'*xL+V)n&] 6Rj.?ZaU{q#Mir@V#mC<xZ>eY7f`=fSYU$vˆA\3?N]<'𧖄 BQ2dA`1"#FzvDf0#JB&ILnxlwqfzsO,8(ezwblIZa<FD.KK-$er、Jßv|dx0i'"Gmw~տ40[4Jږc:9(au\]5Fn]b<&ĸ|KUf=pA}Ex aC). ?IVkbYC vT^v%#ێ~$%[sww\r5>u~뀹L+z$Ux+j$HZ rqSo!Eǭč&nQ|_up{ ,KM7-7WKP^ٱ<4P>gP>[z+}'O-Bev֍cXKA+70{C4K:8-%asI\=/K ĩ21nё՛d;His>ʄ-yl6l9Woj!fX[IB\_4 ?Uv\B>kTm #.A&H#@R-DM+̛Nq%:П K^1:._´2\2c[wNQ̿EZaͤKңofD[p֐:WηGפ)CCaN([7! ]dLO ɞ WH o$llD=uo_ ns83`*'QhbƊN;Eci k"N:WaH#&:ܖXcޯUp޻!zm {\ipF ^2{Ac<%0=H/ nVQG}2ZJ9;2'yo'5Ÿ%DoRMp(q< y9hKWw0k(/Cl@5*BO3ބA_j~F8Jܺ)^ m'Uu.eUQ>ciR#JiYQYGuwC19= $+ oY{(:2#wq&R[MGP2]#qc.A̴78ՍEև6\ƑH߲^M@ƨݬu˘cI y@&=&]6l7}dX0Grv}EHp&#II} r.p9Q2O;TK-[0TwFNoT ZE rmfrfVr^EJH$UpZvS@5y`Qx4 Rb'nۘX9Tu[H/lg^/ק؏Z:5[ L.Ԭ|Q/k3r= Y>DXO@v ,"j8$WxzOaԓM](E$zxj*f)^sRiEwM05U:l^YEtnX;߷B은oMr\4X5y㠑1j}PLn1TށTP[yt+izCY5n ~*'=6!(ڭ-?lwk'a„mo(~>_Q86v~w n =j],`1?/8Z.XËbsg4Ttnrⴏ ɝENą4)^-s/CAWn|غ&OVޭn,I~D;o+nrN@vHDdyc55Ky~v g5tlb3W2qsE6zꚋޏŪx㷧A fzlיh{ [ C(BdVTWH(e:ސpI诿%"|O"M{z ~7aR-|#gTG$2y \wPSf@O0,grr3Ţ/UM0 mG=! $wyMn0i1W4 Ce DЏ+:7ymmB@E,zo EĜ(|벛ulVe-bNXz6^A0O 7@) Wyf5C&#Ki8Aǣ넵Ċ~w{6>)^ǝ>GQD)1O0%:Ƥ55lAضe+Ì,T7fSqՙu;^-y}xX&Xn.mpcې4Xux2uXC#>y+ާH`WH *X ,F^!%C /sR=挙K.  PDK ?.@<C4_(=AX`w#Y3#sF6-I35J{2_Cӕmx4J&alW5#ks4*|S`axʾշݪA^o"[uG~cfЅ|0€A_lD"^w+4[hzQ.1O1ghI 0`?%ge:ɞ8MZE@JZC9e No+qwע^b 񙈽c>E8h2ðY&YTEF̄=We EZ?K߾,Iaa'ڥFîeN hWG\܌qsa83Kh@Q4Z7;kRMkف̂F%T*Iv#D: RNLWh8`sYr~<_vQăNSf|F:DlFeMƅ3cάX?-]'p)kD/gb `ȧ J M?B~C1G{0b%@]Ok$̍@%~ӱĨW|-3~tlx̰qrP5#CRQEuIUIvRe7J "Mb'[qp͜s<$#;{ @, J#jnA&~Yw.r eg0TVss5+idI w8;_`~nLnk@R EoLSabR( }ށ_N%)?r|\%JΛ&\]jpa1xOUEI$fƁ02ܙw3G6xXQ7̽3qVLS1m̀a#NNb^ǭS)GWJ{n7"p~H6[aAQ8ϡd $i2NcҪWV 0xbΠ2E6@8uW##ɯ}V9|HnjWgX!Jp"5'C+vL@Bw曏qɁpI5*]!qUM+{ KxaAX̙ք434蛆,\2>6J6F\PE<4EЂ#uak۰̋R#Aj`4{wMcn?'\,*9IsOGlO|k;BXj$.+\i EЭ3"lf`2kIQOh >c^pAd"ܭ%qa|2Kl+d=M)m_hM|8d-N/4e8Y66@3Rxғ+w91/T"+e|~}/Ep=ȾT4]sUƍRPr 6@< Rf$Y@2p"-N˗~ת\dAZg PʒY6޲?[LL0@0(:z%C0rjĭOH4PZcΪ־ּ<ܲq*ڥb0@+EY*Q{4[A$8@hrKIaJ?aFѪo.Û#Zl$M&HGfC'9^ Ve3ůDܺa89O$+C:S-C !%~=eG83]"EՏPic^!\ɛOGeWޏ5ԲL)AL喙["u1³(c<^١ P%a_Yn jC\sI@Ďu=s̑\&ǹ i/i4Whk_Jj|޹/Z7*3X2/N14[,R!|pD)}j@}?8mqaTY"a܉Rh]1bocw- !0Hf$$7 ֏]Vڂ{%6yB< Tl[p5Dm6-vE4Hd|͘)u>jjjH0`VW˳򽯑m}Kq('%ڇEk^#+TWP' aBLjfG[yٰ֚v"Wxm Ń?cJHV ]ώX=*Oon`)=}:Uk`j<@-&'zh6< $uJVDZ=! Y8/9B` odJQd"]h_@*vϦE1!AgYZ v %v?G'!B)e^]&¿͊}@*$4?#pp"ۥ[usby]^DcB$@jsԭJ}kاq%A30L$D/y. *9vχ8@`b$oA!e8y0l `=OC;!rDiյM$`?xm?`]sN[Ps^%`&pyԨ..0.9/l gjKK85\Ԏh3'a"_j%$R/L⇼< b0[i. ߔҀ7цiZO |dTeHS(x7NE+/a7r?VR!}fa۩Al>)9&{"7o6`X]X* 2>8]~0\3J9Tez8UF޶9rԻ6| J#;+EH\ 0nɆM"ek>V?*hp'Ezml(э8k~VR硷%Mз~7*Ag!+Q?_V'HlPd&wh͊M Qc:"^f="HVS p3d\w% kTH)O( +AC5];smh|e >9jyt7ծZz\$%JCˆ^KLU#fǗhc8Κ?/I˦6a9&NRݪh~}_F\^N!6ǁ)|tobgL~|sYMu6 kL,#@axb6zI3{޺q ipjHTt9jL1#pbo*U xv Dl+bA(ͻ4oaÉَ) RԷEa.+l٠dh/ Гm!ů k3V fDjGWbXO)-|kRd ~Ź.QhvX0g88o۩{h!-Y3K:\9ʱ'Q|Į섡AynM)cP7UJצlN{>>-0I''rl m\̧`Klop~lP|rFr[JLƉ;uԁL4؅a]Z +N'TjpM̐*\x[{kCuӷ8X-puI1 joyOhD .a CB~FUmz*x-,1:q0Nåމض؆O`tVk?[>saĀ|lPx.: ќ-_#{!rѫw|(mZMb=  rvDgYZ J~J2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlca[I'' lZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂ#N69z9\&y%g˜D KW"O!OLͧ}O'#@z 8y"qij-[%^u#x +7GjA"frJ_g`Q~#gk{Oco`O=3™t%.tJ8aFB4l)&}$/"kUMFݯz4ASVߋJ-dyEr(gYZeH'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  {]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘Η'5^5(:szdΌ؋Z?5KXrNots.m@g*/ V{yY4p+Lov7BbAwNa5B|8eԋrB-L mGi9].@u+Ƞ3ÕOldMƜ'ZVXqwFH58m9P"'fdJЫ%2jI P-x'|#CbRUQ\ّϵ\p`,¯px5h${k[6ރp_HݐhRgAU7\v7-x7Jl̃UgF=;zu_鈆Y̔g^[)_<o=wαup7WOj(3j (?f^|ΦъtLK*5˄s\H[Ks7Ny7{ [Xt\ (Vbk,NaGu咐Hr6oĺ󵮴yKawdIb4 /+9` T&&h;P-wNb(K,[|Ȭ-7w y? ͂U*/rJ[YIO:Mw XSt߲@lmB^fPMB_3/d/7EFmk_?sŠ/)p侵@ >Zc0sz߁ ^YY~ӒGPP0̍[l[K ^OnpהRNÑ )֏A>nT7NPz,{bFIX13 ǹZC;ʬ5J0Ԁ 5iiĠc/=4FzNgJ4*dn<_G~#'9phkf*cNْ,st<F0!^ 忿o{/!lմ]w5^JH}~.*[dʍұЕ`!njL.{`x8e] 9p{z5+NPP.5RpCIIsV=,A]~+с]ENqU9+7:oòt{%Aԟ}byfѣteT1憯AR9CNUCI,nwT#ApJv>1 垎W1'KNpPQh|0Vϊt&mU`$İ0Aut!s1ȷH!ZyXYD3bz6S^%.2tCs&${,J/㥋Չ.\6}A(; eozE]#tbnᕒN8I9zRߍeGd͝WsR2aVu" F0D*O׆DOd#xե,\xh13'8?X>ihL%U6%WˑF#4gh E۰Bxz+50;x__sҠ򐨆S2!:L\uSEd.3.&# 歐zЈrCU 19/8ᘢc z@Xv-F!P(?Z KG ğ$|^2c(`,b`Cnȵׂ;IMF+ qԍNr' yFs`q.]ɈE55vct/&t-. )~u4N_j}dWOeYctY*W|[Ѝm6nșY2pS_l8K~hY6Ko5|ŢfĔB~! FX!{h(@\M 2f͗166Y{j(%*FDԡbRT,u%Ԫ,{fOFB'%=x5  ,;\Y #(" ;o} cr<X)/ቮQfBҎK_f,abu9 GWB.3-QQ|ڟǮ-cMug 2øZzIs/%I 1ht02 84)<|~D4J;!"zE:fN*,. dht AC')GIF:G`{a { Zc=9@cbϛZ>07f^d %^e3rd_Pfp mKaqhϫ}ق4c6}UH$ [gR0l<~l>lo uԭqgHkӨQ;u`Ůzer9N3A),;K%Q5uˉTj~TF@x<D9Q8 [q㩄G8r/q,FZKAR L)0ru@ѱgYZ %%M+# \ZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o']ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌Crk${ 2TDdPJ5QuM}o\W<ߵR0u̯f5LfU@k|#0`ENa7')^ٺ⢐ƙ2MKǝεЇC FNYy}\:_!h#fat3=9L'/N{mc;IVE:O;vژrU^)I::LBEڧMޝi''M}8uVnW)#7Oz/yų-*6,}Y\Ƅ?ߖW\_;E #6dtw:I»Xc|:Qd&A4s#_$'Ě<[R`M5E>>MXOD  Qq^A09>7>B_q3_4k⸇ݒAEfX&Go f/qO\D=w[@c|t߲MZSl=@ skWПVaP /cd>__1Dn39\OAt%A%9b`LkHH2Mؠ-DdsKT񸵙dh;I]jj3#\jzc#y$]gSrtj*ĒUX^o X5fWLZeOuh?tf*#ӊejX4N"?Nu7RE]H˛3gIju2^iLi?f*9sV#;Evn ҙy,tc!dUI7Jw~_XXqgIUc@*qHIğ6R2.0 ڏnHŖَ<{aSZdz3'=# o~Lۚ7TaWly0 .%SNl{#Hc g)Ƴ`WtCAG 1*:]O"Ѹ;8MHs:uE2(/)EYd˔C,rw2)qmTg܇%й;#Ƌ ^֏uҕޒftf_HkETi$qzn`RG$Ѽz[wz4E`+$j`K`&t(>MAg f :wl‡rLЉBQ,WbRHkb:i@%,|St2t|9'T&·ck]#k<Ae ϥGyR_O)"*'`8YBd␅ӗ b7VV*h7a|gE_=@\J?]ۅlvNc%nN7gS/ 05L,1pZMVt*(Jwdoh0 *3'Q]ۼRNi&jp(33w7b - ̼!+^c\-e[.[a,*-+Ǭm'kSTgMr{ qm HFCSG 镥Z=*4\Jy~sDįt z:ʙ2ttH%<[]#jTpQ|iKz&RDZ/1o}rFkYE#VIZri8_ hχZBk/,{*j(En5Ԝ DQ,jWZ$z,XZk׿Fgd\FlC6nwMm㡽ԞEv/H2gZSQQE3մTwM*ٺlTC*>L:h!F_JΗL\Lպ>,`Bvw(`Ϻ]Z#%@Fve}{|S]{"4OBP;ԯ/H*X"]HnK %{>ćNZ)iͨ! 1͗,x=Y|6ۚ*U4VzMX!y].3q=Upl_'Wx;pmoѓ$D}feg=W?~[eFD ~ID> }0@s('-;i˘p?煶 `j`WtI -Ϩ5 IeK)Q4A g>>MkI6ܳ=:0vXjRp8VbOJ!E$D1W2O9 xR %XHJoۦ QOBnV<ڱZ|L_R=C]sm* 5B~py1zf_xJ80x=4(DT2ƶouFM&5C|7=7r(r&aŤK`8׌[aΕA{*9HRm{%jDǏ}I;<%yswA<`s.ch߱t 0 T_ybqm #ED#W(WOF. M7lW=w)Y9F) =1PJziAMe QS`Fmc)+`'=|VKyv4RsQR*]i[zoTGB*ϬUfݴUdz{WF Yӱ8`6 lw7.@bxأ=v6HߠT~u_b6M0 y)x0b]]?r*H`[) =uT]{z&aEw `GP[ig gYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4 b5Ɂ bO(nGOĄ=V9  [ 1*C0 $`;pmnԆfi\g#7!8mzxol`[wUXqj_hLa dvޞ{[zrC.q;gjw2JơU#}3{2av% %i`n#;)B~㛁&K@yP_g6|Ŧ/Ufѥò,`Gu]ԯ"\a;.;5r1*h B'$/) {6ZYC~r<2\W#9YPM7UN /%zrAί|1:6N=r F+8[7:zq/,j@6J(:Ye*1 fƦ__s-۔"|v|e9RMD yD08Cs$=D@_߱gYZ