SQLite format 3@ +.C  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 Er|< ]/]ZF-Induct:threads=6elapsed=3.484cpu=12.244gc=0.4447zXZִF! d]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0ЋW>5S-pÌ* 'rڒ~X\d&|3u9)zͳy23041A09a/u84򤎖e;VPZr .цh$>pHH&,Ng}㢙תf+%O$7K#RCLucѲdH̛ ) gYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5'%<>r"hI)[(B8&Rǥ"xny/s};.^!USyz$BCbg`Oqg__ 6?Kظ技کxEѼMN\Ls `N!!$Ma|u3 QS~Fg\ GëX4-PF V= {?^d:Aǐ7RNdDJ샅XɱgYZ7zXZִF! ]ŗXi%P-Yڸk&}Xc8dme3}~C$:#u\xl%襴@8"7l JNilN z6Gߤ,$㐴`[. F͵jD̆d3`+\>ՄѶ6$Fc-y>xB?e8#\lg秙uPL3 {7&bJ"#"U- si ލ#ԛ𫗚뽌ؠ[x>A[u>zJLٽÚ0 ֣~gX+&_eK2xE]@Mrtsݕp)LNɰ>/i0dԩ'qt͉dO[H;5ʃ&`$_(  ȆC?g..Ki&Dy&=+ 1_]:jH ;!؎dgcF3 C0D뿄2-Ij+& (eW4ԉէi]kbAP|R<|.Ls1{KD}@[ vޟD> /xx'lBlww'A߸iw| 9>o4C6,g26'`zv^ORLb&v5ߚm2Vt‚}mb62⭀E!p nF3ٳNԏ$塛|Ug#3 3ryB l6}<2uѝkŴ+6et[ +(x @cojuLPz,BNxi~"BKmFZ}*1Lh{+!%jԀ~/3W]/zoljil,%p6[D+|{Y% t1G:yo>HAD&z,<6k }| $f_3=JNN@MU,Zf27vG-Y0 i()i/1&}[Y>M3Nbonġ; Z2{SvR.5b5ij{H_4ig@ 56}WӞmFEq;OȌV;? q~LBY߮@5D_m}S$RI0 p5Rx)4Nȓ1丳| ![ R4!Je(R$PH$Xݚ50wAQ;4^ X`hĤŒV`,/x嚏OAUfߌߊ$䁜fr+M'ِ3ҁ¹sm_'*KCV,V%=fw 0]/ycG|l4/ pY0OmϮlH $O'1?4%[_Tb?ZTPL ư}&(gJ5Xb&l%_θaPMVE ?1٪mp9Q$Ė FJ8O8D,`ˑZ &r oCͣ9kd~<$+Sv-.rW~4?1JGǠY~0PZ#|NQ~bhuSwj<A`{hWFW챚̵ld;XŲ[g8 L*Z9now#V1T+miW/fg#D{G1=ltX Ο]%jn +A2 X>(F .g] `y%| 12L *n9HSʶT>#|ϋ"R'uR zNpTAߠ`r{-<tU.<%# sC>U$J#,7('2{0\CJrtd\Zm:́ ?2֍.wX4U% lU oV''NApaO"%yqhcдl_9XzZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thyh)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S 0  L {Rm  ] # t V * C ! l>K } T RlA> -/'ZF-InductZF-Induct.PropLogPIDE/messages<+/#ZF-InductZF-Induct.PropLogPIDE/markup;*/!ZF-InductZF-Induct.PropLogPIDE/files:.1'ZF-InductZF-Induct.MultisetPIDE/messages9,1#ZF-InductZF-Induct.MultisetPIDE/markup8+1!ZF-InductZF-Induct.MultisetPIDE/files74/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex6617ZF-InductZF-Induct.Multisetdocument/Multiset.tex5)''ZF-InductZF-Induct.AccPIDE/messages4''#ZF-InductZF-Induct.AccPIDE/markup3&'!ZF-InductZF-Induct.AccPIDE/files2,'-ZF-InductZF-Induct.Accdocument/Acc.tex1++'ZF-InductZF-Induct.ListNPIDE/messages0)+#ZF-InductZF-Induct.ListNPIDE/markup/(+!ZF-InductZF-Induct.ListNPIDE/files.17'ZF-InductZF-Induct.Tree_ForestPIDE/messages-/7#ZF-InductZF-Induct.Tree_ForestPIDE/markup,.7!ZF-InductZF-Induct.Tree_ForestPIDE/files+/3'ZF-InductZF-Induct.DatatypesPIDE/messages*-3#ZF-InductZF-Induct.DatatypesPIDE/markup),3!ZF-InductZF-Induct.DatatypesPIDE/files(*)'ZF-InductZF-Induct.RmapPIDE/messages'0+1ZF-InductZF-Induct.ListNdocument/ListN.tex&()#ZF-InductZF-Induct.RmapPIDE/markup%')!ZF-InductZF-Induct.RmapPIDE/files$-/'ZF-InductZF-Induct.BrouwerPIDE/messages#+/#ZF-InductZF-Induct.BrouwerPIDE/markup"*/!ZF-InductZF-Induct.BrouwerPIDE/files!++'ZF-InductZF-Induct.NtreePIDE/messages )+#ZF-InductZF-Induct.NtreePIDE/markup(+!ZF-InductZF-Induct.NtreePIDE/files<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex29'ZF-InductZF-Induct.Binary_TreesPIDE/messages.)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex09#ZF-InductZF-Induct.Binary_TreesPIDE/markup/9!ZF-InductZF-Induct.Binary_TreesPIDE/files++'ZF-InductZF-Induct.MutilPIDE/messages4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex)+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files>9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex-/'ZF-InductZF-Induct.FoldSetPIDE/messages +/#ZF-InductZF-Induct.FoldSetPIDE/markup */!ZF-InductZF-Induct.FoldSetPIDE/files *)'ZF-InductZF-Induct.TermPIDE/messages ()#ZF-InductZF-Induct.TermPIDE/markup ')!ZF-InductZF-Induct.TermPIDE/files*)'ZF-InductZF-Induct.CombPIDE/messages4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex()#ZF-InductZF-Induct.CombPIDE/markup')!ZF-InductZF-Induct.CombPIDE/files.)/ZF-InductZF-Induct.Termdocument/Term.tex-)/ ZF-InductZF-Induct.Combdocument/Comb.tex  m6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ Qj p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!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 | |^)# tZF-InductZF-Induct.CombPIDE/markup7zXZִF! +f ] !M젗OFOJZgׅ>oljil,%p6[D+|{Y% t1G:yo>HAD&z,<6k }| $f_3=JNN@MU,Zf27vG-Y0 i()i/1&}[Y>M3Nbonġ; Z2{SvR.5b5ij{H_4ig@ 56}WӞmFEq;OȌV;? q~LBY߮@5D_m}S$RI0 p5Rx)4Nȓ1丳| ![ R4!Je(R$PH$Xݚ50wAQ;4^ X`hĤŒV`,/x嚏OAUfߌߊ$䁜fr+M'ِ3ҁ¹sm_'*KCV,V%=fw 0]/ycG|l4/ pY0OmϮlH $O'1?4%[_Tb?ZTPL ư}&(gJ5Xb&l%_θaPMVE ?1٪mp9Q$Ė FJ8O8D,`ˑZ &r oCͣ9kd~<$+Sv-.rW~4?1JGǠY~0PZ#|NQ~bhuSwj<A`{hWFW챚̵ld;XŲ[g8 L*Z9now#V1T+miW/fg#D{G1=ltX Ο]%jn +A2 X>(F .g] `y%| 12L *n9HSʶT>#|ϋ"R'uR zNpTAߠ`r{-<tU.<%# sC>U$J#,7('2{0\CJrtd\Zm:́ ?2֍.wX4U% lU oV''NApaO"%yqhcдl_9XzZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thyh)/ |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 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  0A)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy\)' lZF-InductZF-Induct.CombPIDE/messages7zXZִF! m]·Iq n[:|&[zׂ7' !*eޒ.d(XQnj&4Je (UcisAҥrhO-7/(?׭:jwqRѱ-z =U^G.vj7=7 jDvEsl ippFCs{J ѐΰKPT_Yߦ%w:8Q3\;Q@~rzkeѯ+;i%$ZB$<1 p*QÀrho{x[V 4ejc'JrB(nØTXS)m'!IkA,#}ۯt&'!O^J1%FPzGՍbq~UxQD.?Ѡx*zҳZr؋}LaF'Ux9 m)\VrV,`PܑB:q#ߺP=<ͅ4:=Ú#'sxKC[ri#4uޞĘݤ-c*Qըفp$ me|`bEc-rD?ֱZ[>=g׍eTG wȊo}ZGd#"9sj'mv ?vb%71JBdQ\FƊt=>7(A"|Jp[͆(}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 G7G /# TZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! ;M] !M젗OFOJZgׅ–A=֑g:aʓJ:KO@`F+f;ׁ$O>NiH7 a*ۛPh-B ۩tѧݍr,|[xOS0@= kdeDžR:16FyqTjK?3LI/dDY3atI <fb :M(r@;)BmG1OO3mǨ~bsjo+^Sc??G[F!BC܉$򆡓u}[-i_͟8PxP>2҈\k>M gaZ.Gd:sҭʋu)G /!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thyp )' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[zϷwpqLgQP}j+P+ZU@aIJ6V#`KTZ BKW+H'?fT4uiss;;n5LXm0/ϹB?6dE?QPi/); mZteSjm /9Mퟘt$m;[1 H8UrgV\j@{t/ X@~Qdލ'ْ,u'' ;-֞ԺQ6ư~lT,w2$ܖQ)1QեJD;AEq!GJR3g8ҵtT)Iÿ+T dNvu/euăngY{o;j$r$0cP3. _$Q%驃7~$bk~n\Qd^w.Q,n ce(_,5 Q}Qf<^{Vw䗜@[ Ó^ ȰOso`=a໩2"˰Q, 5spڇZ2 L{3I% x_ D G0 a\:a&Қk#q&LǧHW 1c(aa8c:~%E&lp/in:txl6Ӝ͈Ow7A赶N-.㽷LA" U5] 8H+T?3FxtJR`kZ#+rH:(ec[\iJ]9Hd/bs^ [XjȄ]f2pcމ} '!PY+SRs߮hjyVϚl](?)4um4eK(H5ycr^]vŤ:c`4}$zE1VjLf+->ogG  mSrF`-QW.+[DH1z;eP^őJO/61ݙ.)4B+JA`5M  s7lgxe'1G.@1Lkܲ:x2OrX }II_RTi}@$,HFL3XWR4[#2f䯓X[B3h@X׎$yܸ.za@rc\zKH+k%_]/m ƥXy|Ig,tMKZpq;Q|1׿y bE,?Em;6>5oM2,$) _~dda"*^[BEgl!/| Q?R&< 1Y6@zI,Sؾ8)"謹tj ssa6K SgqiF9&gYZ Ӄ>NghRZwȼY6Y~Ab!LLͶuףKcXErtk1NP$W?qu!lHK;|>A]{(Mh/FT>{dJ^}G`7ҲS[@sKTԒ)rXem[%b;pmܧ!#6qD"-F qjvf5[~?;6;4ş7|Zxr8Jnc;z|H Z>!w l/h\ NTrQһӽtp!1EvZjެ2~}AvtXz}]$cvgŊj1oKT'`,3 دnxP)An6OAq71!R(>vP;ZfokBAAu*Td9IeT' mtHt y[}Xi#CAZUSơ}0JaҴawi_Wg`NWWAH 5Y75tsIy2@{2広6\d.3̥ mMg\@є;g]eFYJFe~2ۯׇN䷜1XdzԱVVW \|-fG'+gN@tM:1[m#k ݯk(-3LHbV-9>|} X/&M)1j_)hj9n#Ag,\l0e5RQ[%8FޅW3=G( r =DMtyތ㻚oJd{CE9sw ""!TaR&R,xʮx3j):EX[;4V.x {(b)xg]5@٠e%7lʂ+i45Bn++/=WxyFLy[$8h b4{ߋ`?DEXH[CBA@bPpuvCڻѮNf=2S+rfdkI!4EYK]xb'M z).%FNS|Ĉ ĹS)ē&"%?ueX{wBRo]s+I5%+Zv^funzg I_mĚX/mfjǫC'̐[2ZCe,֮go)$b̻ }C6г+SᅛfpX P-6]1]f;$'ù\F G O)TT*5 I5J2>1 aMT >Kt1TqC5=/=;}ї7 %*F\z0g>QeH(kV:ݓAcKȩ2^3LrK]"{jp44VUCNޮY nCI'8yݓ) 'VF`)PI{NZ_YFDleCͰVG= 3=622Kj y'\BS'MϣK{&zA8@;hDQ L݆+3سE֡w~ܤ\q6kuԃWݬc|ɖ;Ėf<ڕMw""(4DĊcQhXKojSK&)mk}P}yCACf+oW{ s36H#|9n)`lC(gC<5i6I8YCT0X.ۡ?X#ְ*@pT+AUᵨ WXpS%vd yYB4FN (kD˦ $׸ !!}?dJC! ["(%80@ 3#]$k-C}7, S1)5GL|(_1rd~0.9ja^5)'-gzN2 I(M̥!%G0328~4gkN"s<чfCUx #AZOq2ݜ¹,6\;X9UB/[$nّܸo.6Щ=IQ,gK% _80E2\|rtt^dQ$(NHTE4Q䦏 TْfM6 <5S26Fڽ<8t!~N^T`P&Se/9~ $ϗ ˯(o(lb{`'~v% CIW幞?=ksR@lL8pҤv +LXn:} ۚV9"LPh@V/mD$=*U_y$_C qii7O#r)%!G TeO9${!JN1A1/D`d.u|WDit4z%J[: lT 3 x":wۿ ǯ>V T-VHOF'hвdr x rC2Sʦ ؓo9ű`Ȥ_rq.&UCH+)8KGB0~mYyfo>?{dܖm+NZ+w @ZD&G$D0V4R~GtI íEH3Dz0묱M$S)/]x4ȜˋWӅiHQPyW2cxl{O.zB 2my(.(tѾ҄KNt%E^7}ӀkVDepˋ%{en͙V脓ܗe@"Zp6`_'%vGgYZ  & &W /' \ZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Ne]·Iq n[:|&[zכ /;=R'DoO؁'_tc:Ǜ xXcq*z)WB<-?8XWlHH6GL/tG] Kf.k>^dWL{?8Nj{xHD\m qͰND4xP$_#%Z; H;i9'} E8UbzID|2ODB2j.ۻ*hm=} %"̃ |*5C0;J ?wˍgMnn+}*p2I9Nzfqm7qriׅbE#ҾnQ|ؕ_4 As$p i` _'sWh`*ob㛋#3^/x++бYmh ] ^{jM^^ cq8~ 4eҧ Q~b9ҝ$p Z Ru4Uۓ5QoI9=¤Dwx+6 !,X6D5οS#6g+Q=7a): &bG0tB (ʚbO6/P4؄~=JVtFg qn'ާhd$ 5ы8v |\jnSx땋7&gz!b9w:w`l &DrX&$^wN rHF 3FnxgYZ ;;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 PPG/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thyd9? 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 i/# ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 1 |] !M젗OFOJZgׅ 6UV A;b즍Y9 E RF`:TflFdB{^sF!T%Ө zLc y 6q4feVUX:%̮ߵbeF㡊 O|l fD|Z,Nc`LP!xcKM+.BN_h X$HGoOqW)y8z[2wF"i{ַC%#D}u< R@$pdzdf3e<*_)h6b3j,HIc_D kWX}~hA2 HA8Qtoh;h_YmT+xBJ˦TmɃe06gz3c:pj5jGɇ3D»^ã{Y]Zp2!󥩕9=E( U)^ |gls+e uzLȳ?{q*wk()$r225{bVڨ$YZe'R$ L[NMb]c,𕐨l 3T֦ a2= U"J+ٙː/x}%ȹm;H˗7׼L';BB~P''ZYS:γdG^b/7u aPnq;cзCL 6(è)%Sx/qD8XZB$9 P;x@܏|ʀ;J$˭ ]~[[ni\X l`dFBՄ̢]6}WrSI|֡X2e# dY7NW~gi"\$30P.saMCE:wYx>"0{-ykr0xx2,bYtӽ㎒FG!Ջa=߿F`櫧+SgF.4,ʹYwp7]ϤUYŏ Vn cw8^rS>W p0}-coV 7@ %J TTd k78|>8ί2y0uճD!WOqӲwi0WX\E#fiV%H!́ IBŭ6"Ȅ d)[ha{e,پ'[>5\9TCG7>%bG1dĴ3T"5UL1q=XLZwbʎ8+ٝ6HJ*ŠT\;6$Pe>AIc9Cv4@97LۆzX Mr4Um `m `&Λ|Pt}\⣺mI 4A!.UYqG|GSh wE^1K- [ٝ~6 7aasz$_ a{qtlJP13Lqez,`0Ὲ{zn4}=7.]':%:Ob?ҽ|UUA0D|Cf-t{|FTAm}|J1뿢y7d$&/CTU@96DCOxX{㚈3ظܾv5<}8 %…AL).czeo 9ZsɰVu'e I (ږRnh.Xqq1rE:Lo`'SYփC.T]t`:{zfbJ-U-ۅ?i0SF@ Ж%]fe+s ꊸ!T"s4at:3 )K<ɔiZ A}~N`jd@F2삝mkCM)42hԪ/^{gʓǕMے tH#UO-ab+LQw~,[0liORDh z8>4Cjc4O 0^[!" ;~ڢAlT)U730vP=!GBZN Ib_g%9_bZd<ڇuu_9䒲+r7 F@MaMU Viҁ~pb}reHpꯒB5_@ߑdȘ. AG_.=sޱc션mZ.ol@bB+\/aBf?- +P [3JL޹>&GFt.iw[xw.sJ07֜NtEN.OQLe)O]Q8pG,riTQNܖYyi @<.#d cgYX7ˏߨT.nzi`d 78YpTc$ #⪞D(Xl1@89 bn[1hWC&ےh4 !hAvG~ moEF6FHҖRUӕh5RڔU#c>gYZ  ++# ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! v?] !M젗OFOJZgׅi4^,A@'b×-RK&dŷ 2#ڎ/%#19ьI0*ݵ:Yt|>c![b@Vu_&/A`S?HvBL@c4Lᑼ(TLJfv*/bm}:EQp\2[d+tt4L:Io[dhdngk>W %LȰa i\W~rKl_|$L1Ӵm7l>({l\[4i9wM#[G%X1p& 6G&KT?KNŗmD;k6zTxF\d_; Z7;X!$r#EMF[%;h#てC(0jB&xB\&Iq]9 |=2;U }4TKEky*G?Q@gM/.ٔá/Y<;' Şluz`9Cu@63$u7 Zb;shtUA#/z9|-z껽o7;'Դ5d~vqM`b]+"FAHI_5?q#؁@ 74b@(}" h-.-BᱍUsUn6jN< xCC(x#ӕ[^R-C=6oJ? /hOGQv$$G.:yPqi< ryV8$@%& 3u)݆ +^L/d?._Qs h wx]7'1S\5@Ef`#V;a&?aaۅZx@M&=^?6OCMw¿NWi>pDG->m-:͟/ ,jׅe+iMKMH|q8FId8C{ KB_!`+-!jiȭn Y&qp(!a3CB *+Ò0l8LS5=TML^9k3XaL[b>_f"JtbfAσ}N"a&̅iBj7.- GrMY|bcŻ{OtIp-9ÜiHEAYtnה 񩠹 #-WUY/F'=iqa^Sp,0:>!'ȏ,oqD &uX iܾ1v1 ,ڏ}ǽ>la3k|=w0m.DK3G8qN4*=s|Rk oC#hRb={2 3\߹&<{ڞ{QP;mKkR]n1}#xoICȚc㶇6 Nd@/>p_B@ʉq;o$!1|^csPiތ~0Y[8kpw-Mvg N;+3d~s>a"_\?\<2A_Wd@|{^ ZS2bzˊW ~'{0VsC]0#O4{&'5DRp;Tk\&޼%w;>(uxp$ݩm)94J}LJtx#e%X[{ Ly23eȗ:.ݓ:yǹY=%PN3Ԗݐ:JBD@qh}70M8"%{f4\N 1P!`!n27U)p.b6Pi`2{*%/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?ܗӞ, *@նˬm DP 7hh~Т93ON!@E |N_zU:C ##rEIOƫ"8Ʊw h Sи\WAeĢ'5?9ӡt`w>l}gV?I-$Dj}F?H);8atT8,+zk0+'HOLouuUc%=%CƏb5d5$W zF> DRxcy6q]9r"w7cźujf`n75#@GIvXܪ6Daf >! 5ki܉m'|ߐ3 Tz܏PkX&} rn13,tZ0O)k,znA& }ZmYדɰ hMt13c֬l- H|Z o%(saKL8ѱgYZ/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 i il9' |ZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zׁ╂vquKZTB"}z:g%BTDGM]KoLKcK*uLR])i} UN(i ۥJQDk}RQNUϳIqh dZH7n+fa'$ ?_aqޒmO5a;BT\5Uq&MH8ؖmΓz>ԍ家3=Ӯ-DA gYZx)/ ZF-InductZF-Induct.Rmapdocument/Rmap.tex7zXZִF! 7E]A-MՋhvG"uIBm5)F+v ҈8T?B5D`˧aĠz- #zCvw11n鎜4A]h"dp\Ra 8m>?^\ +;ƂNOcJF13nvܘ% g) \8̭7\Խ* l|m>gŹ Nr+>5J8;H.#9_h:yf"VYuT3Z5tW>W%s2(k^n.9t LI4F$:ѣp  ]71c1‹VEA.l\KRMGèY&/i|y-/@+Ɏ})ko-d}Kjɳ>Q &H<ģbp; 2_B'=yde>oRׯlQ47A$YI}9 g/%tTHTFU?Ej]?V)8t3Y7gEO 4:H2]y"54^<ۼsS7TT쉇f/Xj۹7d3!a<6NSmO:C h9,NJ$ 50||̤~|y1]$@M_7e(c6ż|G,&ڞX ^`ejgo7,j jr!f&@jE\JKSNG- sy򠣩#]>HiUcy4B얚ޣ bhS:8 oDCIjݑ*'F̖GV_a];Jl72:ڜ>\ݧ!ex&xkn?Eu`X5%NBvQ%=L wjr[[V8|62~p1 w9 ny~~gYZ*9# |ZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ] !M젗OFOJZgׅa4u:̓?k=Ѩu[6'4^6#&#"FQbY6GMLt Qq <2*ZSѿGatkN؃s(Xq-^3N{CFNx00"\vZ|sοPo % J}xcG6=s#KZ zK] _=CH*W670{q8#r 䓀(}IX{EĈp\"qUM;~~fux28ޯYnf,"IZjO*" ufdarBs=_v4?+[XG)K$Z5v]B0;/@OZu>ao>'BdȤ+Vm?y?OL_~("xvy5`GФڭpvY"z#FsW|$gq[u{Ui!Ɩ1sldaz㣭K^{8w<(K]{)#Ro[(Fо GN/nҹ}:2d' #EIณ؊q\4G:~Ԡ4Յ꜓HMu(5H5Ѕ%q:'&"UB⤱t .KVM^x""צ͍oBXYYGijM2M{wۆT%`V5iuVax[lOi?ozaY}q9KAlF}CREs^%~F̵[E$ RAK~=+9`(2H|'*SH!It"d>b2SA2ji{>I= ô~|'xN"^EԡIrVjBObOp#^ ~(J[t2u˫8B%w 74>w38@yO$*Ѕ&(-zջzٔ~w"9BwD1i0|coE@ hJqS}5}1N ˉ'0FZcѶy=X基 bd.]* h48 8"J(Q4s㼏yj_olG\2}&Nl-m.sֶ ƍN gYZ  + +R39 -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvHcy V ߳6g3ؔ= E _7d}&-w)v敁烊+mbQ =5$C7Eż4Qoڟ8H0 rE;%;bW qi>A*T $ NWD [v^k`W_c+.qX#Sjis!['b )zꗈɵ$'ZVɓfM4D;<Md')Jr$S`F ϙvA_zT#RV۠" Lğr1%{I"wvpHz2#JI_ .b.2ڬ\҉Cit '~pu*`/6vƨG1/<UOk^/%'&qM'Mc p*ӱnĕd~ϥ{q0xnM[tz.a$qҹV6}@7HnjHF'jXHr%Dς QdM JR$wH9|gr}ټuv(C,mxS:jt )dFWtZ0/ o+bt)W)`78pY)RYxd\ܿI]UJ컪⤁ӧSd$Dž E_w^OhȠA_n4%n>ܲ)㺖.X8sg,s tWs?Vq54*,1L0N hgBY1O1H䃵4Jmiaľ^)@7<肌-RXc5.Oc>hKT,\\3@T +e8i$qܻ(X|aG_z7eW9϶tpNWphh@[u=S֜qSce? u wj y; mrgYZ C+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy7= ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex7zXZִF! ]A-MՋhvG"uIBm5r${v2_ET;ù5<[{2r5\mn?X=Hoy"β1;lMyw2y邜l牵TC0!ss*0xI5 tfV)F-mYVsA}I^sG\ R+]FՉ-JSjUk]V:IIXZ/*6m2ENm昮h~ 7g}ݪ}`2|ꪅIFiP݂P,yM\6V xndeCPS,vQG_TZ~֬=t#!|Ҳ?KJI?m1`)>sdd+fy7{h)V,{l a4o8v,L>:xf(cpHۺ#!lp؃amw'6`ȃ[9gmS(KD5J ojR)[=E pDQU?C= WNN]l[o5T3c…IZI9۷r @a(Xfՙ9`T,c`M#c "d)isn?5~9]>ߺsd*xn?on5J~}&UZRS ٪p/Y?;YJ: _@|dX\\3`Ipaռq"'gza9oqYQn26 )bƽ(&kF+݃n| a7~/oL,Bg,`%94=FwPZ|W3!눋O=ݝAMzA#Y4/ RNBrzlB)uxZ&{Xy?2GWsƄ&^ !6RG69 hH&JBHK 1اEʬe=AJiX Χ >@B/R\䶐7u1>'ʃdeuC~ 5\ dg( =;dߦdțYc ވ-1-z@u)F(1}<=k3.$vy$@W'z4a#!Per-* H"A%őO軮 Cz! jx:J9*:ާUeCLnOs8+?)}mUo.9*/L[`0 wIi6=AK⥐ qtWMV~(Z|{Y?$JykɛMNJϞH$e+n) <.ZٍŬ6bWhLWu׭ǣp0/7cJUUNJ]yx(fmv{ Rts9kKn{/wƇZ.=e฾0 ?Sanm( Jowřanxe*5y[ +8<84d:8V=+YTwa&:hpfNENT7瀳a ɗJO^N`)'"VZQmG3XR1C^k 8N_2op#GHǂ%oD 03h֤뿸w!Ū 6mh="#?>$Rw.CV$rm;Eu3, 3Fc1"K>O' cbۧgs)~BF Qwɏ#%,:w۵J+$!|=+X/Ootjb~Pshd#~mzDsY6|BvqVnZ 3&Due::[n}+DǐEˏ0jsȜh^TTl[0,S _jk(;Bds o@6 2<7u$E)r섥{뼤ݚK!)z1N>Ip¯/r/N)8ݯfHT_[!& rʷh$Z-+elۗ0'sQrT@6)3k`69SrpxUL6Q;&0aZ$GFs'NlGzrk {oݔD^H|{ b{LUyۿ\"xy:/Qa 5w[ @i=FAjZE$z4{+(gYZ  V G!/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy9 +' $ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! I]·Iq n[:|&[zien!jqFJIdGp,#& kC7?q9Gp@/ozn)}^ɤ9ׁBX__$\ѫ72;ʧ3<%G i*=0r)"9T8n3&A>@},۹efF38lR7]EgܒF;|vJ-hJ%,OѬw=pPMs y\Wm8Tې{v+IM0:>mxv)FJOVpʫ"؍ 2!럢6+lEqDN~7PX :0D EL+&BX;8ʔ΄F POF1~]sԈ-&{t@u6ʦVW=-klÍr~ASmW6diK=ϺiIX:S-,p,fOE7K 9Άnl-3.ebC=<kw\@[aAՌ mϗ7\FOmsaù @/2I-]\sۈ/;0gҪ\RI!q'pcy7 -kNK/,œv{f fmFv*?xV #CZ<w' Bv֬A>ן.ޕ4T}}wZ5aI'KiG%Ǿ[mb|]/c;hns80 Jpc1~x9 ~;6DCMgD'\9A(doT#2y(%7٦ƧU:.61#Ϗ+!˙5Rzi&Xgj`X6nWBY=zS3OF򗠻0?{KgNfk߫<;KCQY:b *J.gZPTf%;@DBq:Fći(oP”ZLK$ڍ.U;jJ؆$:|pkLvT_Z;= k`Hugt%}/%ú<83 /oQ+kqöLЛ|$BC+C";YMKǬGKg)UF*S،_`@`%[ dJUo.$uaBÇB6ꕱ'c:i+%]3mr`Z|ȵ g{**HrXwNRI+9k -&!q?vٕ; c/H V>W!ÑGi#;t&pg"`_ + _B.qs%,1w̛CN*FNyqh)N ~ y y!Ma(6̛lxMM`RF%]ç{- |QhHi8k3>d_#WABְ%p:KRL=zpĕ>whՄ؆әG´VEs2@ A\mSе}7{b)?W|ɂ|J-ɶ>ӋְT r̠6lt8N&x3}(ވd)*[\e4ԑ Wz-|Za=h]V),Up B4V_`雔Фx3 ºǎRĞ!o.ݛ&Iux~/ @>SDtjuE\|7+WdvXoS::L%A`cpRK4y{R2ռn:0i~$:%Bn'u׽Wj0\ 4m6Vu=6s>&qGC K=@b8ШVH,Dz;GcC@L bdLP>YDuz\ d}>ԫjeHK-WtAP6joC OpX֪i 0 Kڴj{:9m $-(yDg辆k3\Lo+oR D;@AM>itpas NafR[GN_+`'-Ef#y)5ŌmdxMׂ C .{BP:I_u6<-eWg1IOmL(̀P#k"^bW,(f1nNGB|j<ZY8ZkDĞx7IU,"#riR#.^`jNx[np7Pa<\S ?tի; ~"䧩x1Ucp"3{eZT ަMQQπ<4Xz5Z#1j*(6&@GWMJ=تdfL*-W<>/52c^+KTҝ*h@$EZX[ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy?#/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GM]·Iq n[:|&[zԵo]V;odYh# r*V\ϓ('Qn}-jDG8#s.iSفԀA~^.w'(HٺmuwP! xnQ_ g17s Ž?=MM/&:赶^{;)p%<1zTMț0pʍ\?ĢZ˜8ymiGZ/B%EՈuLV5[ƌkziz.ri2 _#?+-Ѹm#lI|ڐu4DZʍ` 0+v؇\Nj+}rUü:b@&1gYZ"/# dZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! ] !M젗OFOJZgׅ`VD: p<#U /X,Kf`\x=-~Ơ!+If 5vwe}4i tXqK\h#uH[ c!:awgS֫WZOums,$JVBu{u{C]L|oD>}Vm%9?0>6`hؚs} '+w=bx*%P[g9}"Ap<:aU1'h(uM0ZΆ@}X)zw?BRljImo)^{wcbRXˠ.tr&םg Vߟ9O#%w<)>خD\В"qz!uSm uT"=z2OIt=] qu_HnP#A=X` xwc@}]Bfv*ח2 T3vQА DPS/( יa?A~oVϞ"ܤ91Bt IJر[ni+]PV"1N ,|KuFԢqM u{1D14>@'M~bp/Yժ<M!E&_&КDY}3Ղv*CvK|Ic[gͥM`)vתg nH;^E(.3(RWEL_ =Jmݧːmlݟ MF(.aT=*n'&|)[w𶵁=Noݎ4=lJٕ)ْu`\ȳ pT^.12~Y8QUGcY͗%cM5~ޓ>Im| oC@]Bӏۗq cvmZyCQ ) qe8;&`O`Zƈtȑ4'0Hfp mp8M%4K&:PLp E P=YrHi3+0=A Qf蛴a+.ph5u-ȵ$1cθԀNI>6 W]s{d0ּ"XZ"nv&3x9Q:(ZtHQ 8qSHE(;N?AY#>1, jX{3>x~Ps|)|+h[(U,^Ð ChV~E/c=-,ۍ{ $omEIy="!Ii @/wRN"kb~5(A>ӘKI8VeB_fFrx;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< DC.+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy-7' LZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[zhRO.B `g+20 s\Cin(|0N<RNBcTX@3xc^Tb΀"dfQhjݪjvn g#ۮط ̑;l0ae`S'5s0""o#Xam, 4/XBz=Dd qB^=dW~+2sUppw9~/l Yn95RKO@g)jJ?^tR._2wWr<9ptO1sjv/`0)i'~-0p(}HvDRB,ȌN HG|zV[9=$ 'vA2S f;{PGuїqj}I9ăWշ* bvbK~\Tvo{'#u "^͌;țH鷡0.2#4_%vDڻyςD'R#h5 o\bhc0=g{6ՙ-VFEYcZY2^4n 4L2E9$%E4'zxs K5&_㡙3Znb!1<; 1&]i2v3Ń J!6qdG, pD= ¯z+H;s9EMQ%6kK=.b@Mg5m`IWZi-Sگɴ#@-BP{mW1[9*Cƀ>73Ⱊ,A{K%KZ=6pt+ǖ+ߥ= ͼr~:ZbQ!QTI[]F{ٯ-*r8,YzUr*u>+VEՖ ㇶFY42k=JIm~n%{4^.!q!:)IYb|NZ~K&h 1G6~);'.FzCkp>b˧ј4J2Y.`lu888"{˫]SH0B"q}M `"?B #S2.hшIo ?ᆎtu)eQO*ng c FE@ d_'Ad𞧐|N<K;\ DT}u,|s p1i;ʬ ؍vnU}b!-P1Z"a.Vn*]T!td@/JnNW -B.}u#z]$I$mg7!l N3QA!& JGW<^A-`RY *6 G?|G|ScTpF-_Lhl}ylZT+|Xn{%iԵ2?+V[rM/H+/Ea%E<c_;{m^]ugh+uxw<tTp\9d5G0Jtm | ǡOv!b#  S#$WâG5bq(\Ɍ%; )5iC /Ym"gYZO+7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thyA*3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UM]·Iq n[:|&[zׂ#i"8 וY=1IwG7(ݻ eE@K ʢ5(y*7,"w<l` l2VBaԯU:4R1*~)`jN uIBOfN[) ț;^uO 0 [L]Oh-:*N0 с>Szɟ *XKp̓׸TP̸C q@b⹜(L\L]JQn 0ooGPC~u gYZ   R!?2'!FLMp']#Ӕ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,Coȗ 8Z"Pi5M;\>!L֫%M:Dwj}'4 z`mHA|*z@g+x耷(I陽x:39#|g+=%cA|H* 7Qn I-> jy܋-t`{S9_O">60ퟅ- G[A. ψD!LPB x`6d_&-ZYgYZc/+# |ZF-InductZF-Induct.ListNPIDE/markup7zXZִF! u] !M젗OFOJZgׅvqsI+2La4Q~/k6RGi.m~#l1PpMpseozjp@a^C_bQwdMT 9pP&Йxse0%t/8&]b oZ0bwݱXdrfpm>^ x[6J_ 4LxTڕJ2G-AJ[;\Cz3F2AI3ך"#:{n%B{b?@5 Ma iJ(WYQpr ("mP3/e;xkMY4#ⷅh"N|Y9/0Hs]̌ Ak g51aM-Qiwu*IH|Ji!Azjs,Ⱦc7P>p.+^cH _JoFȝoFlf{59̋m%傟]$W#Y!7tWg*8VPpZ6]aflC:]Qq`&V&7W'(׿{[;G3ۇǏA " ^Wk:M-_E}aH#!"h)K(Y4+E~%b<Z{SR*OEnn|VaNIσzOpRSHlH3sH7RB6<n]wB1].k%1E +Z3Tֱ#$ұgYZ } 0 }A5 17 ZF-InductZF-Induct.Multisetdocument/Multiset.tex7zXZִF! (G]A-MՋhvG"uIBm5h\~"E(Z[l% _J2ܦUImNQⲵcRw);k'+3bl&)QKIitc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z!W4'' dZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׁ-7'- 5ֵ\v=5ϳ約gAWWo_S79CvorMԑk^jhbn-ס51mλF(qCðQ/HZS`TAA[?ծmXO6جٗ`tHYeA )NȤlj- H$OG [ٱgYZM3'# TZF-InductZF-Induct.AccPIDE/markup7zXZִF! oc] !M젗OFOJZgׅῐtc#W8,}ktcERQL69Wk5c. \oz{sb\p9<.}oޕ>@k(e~=ߖ nA>6^A3Ce '|^RsU^-crޭh[(.ۅ.IrTRdeo/&,EȈ3Zbz:c׍/ *Qcm)"Dg61<76wD}sJ/bKXMj9x}bQC5?R,i1| b0~Ycy^HfL=-9InVj] =& Ӹ+]/ @- <a9rߠՔrdb%ay#BΔӘgС)3X0fvhɈ](uHiq?,fޏTExgCN {9vKRG5YSdO'cehJIO}+m-dӦSy2\_0Y>.Lf={HqH5ˊ =vaMvڨmڱP^<5۰lk:c8mԇB ј%^`R3$??NҾ+E`nEJ b,1,2+A2y978'mc5 ử܉$m@%w֨AZj)-C9!?͇ʪWL,5>)m”K-7v%)$gYZ"VFtNh+ 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~zl$l#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ0TIQB >?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZ  w ,G8 1# cK@*8;1f12Olo{^pvYrSbJ#rO؃E%֞mk4 Iq|[8pG]rT%cd ݚ4ĭޢnJMG;50OIXc!pXjƍNiΌo 7cRgʵ"y%mrywd$͎r~D,hab)(ɦK*!^6r 6ڠvog:90*Wp";5#;[1o.|dJ-!4g>#Ռh -6GL$TMr??.:bCa稴%uA+ǽ󟈹}ECnWS`q&\l1gߥXT蓝gmdiC@@& t&m} 6vkk"10.Y@8v2ՠ{ޛ޴ QߙEKه=̛s+2I^pG!%m}#ƣ'sg%v2?_\l<8\dY+.J84ȹNΉ@TpY=U6/z~=~X,P/1V_ 7_vۗu}>>ؚT/~\,EWcXpqO ev!f{E܎&avYDPO'+GI%4n ГKGa +hqaהc7q2ϧi诶왟,oJg(jZXyy$UFK:E[]{T]D7Bwe•Grz4t:k7 sQYz*`43eMzR*RӇ/KاJ<犲v$Jz `!H6]Sg6p\*.{a)qHKL~^1gځ^ѭd7^R^95lHLxh,.4g@4_vw6;8!O</ E}`džn^Y*:8o%Xx1~r<Ree<ͳM{[us%̕RV *.ĝ#a[lԤD,mTIɭǰvj2M|{_RrP!>i԰ )B?dYܽ; >:& γZR(8EՙZ%tRײ0gK zy._B* `6Kn+V,qHG ^#~n Z-*|lgV0nNf)֋Wݪئ?S4d nT,V+2M3xqK1P,DK <\RQG9$pzƿ 9ꝧM;d,̍ )\^i;ֆk[pJ:~,EsU0!zD5<qc<ÒF"ubh` TƉ:nho|m@a4eAB>hH؟C_×y  JU+1p#KuM-*3a(Up ,tDOowPvEZ׈Ӟt њ'I71!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy~6/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'2 V|9BA?hǂ"FajD4*_;nVW}'|pФOmMH? ُlɨTm;/UpU,9Q",pफ़+8SI\h4oN4S2w}۹aun*'p,ߕi`\E^%wl[k f+[wJ@4Ll+ivH6߮mRk9,~=g{pe[1:)ť bS_A4,-345^00BRݔeO5SU.8'3,2Ta|qf~( YɗU߄`*CP0ɹze\OZ8:}О%w ]hO;Qϝf ػ spS)i6ScSu01v 넆^J}}D2Tz͒(j_Y@Tj*1D'}Q;k%XӇKR1u_YC5Ԡ0>l@4#RO^֑NB{arTF\Uv4lC˅?hu򨧈;vV"FȰY;v#5O$uS-4پ}e_-5J~o6z':Yhk\l|FL^.ob8F$r&He{i <2Q4Au\) vpqP۾H_E)ޛ>JnِFcK^1DW1AvΙ)Ur\(A Yu==i !RMrRTtܬBt Gf4 'PIBqϘDǑܷErz3AXl AkOg{<8VR(׫4J 諆F2CR:>gRwX-$J*p=xn.Nof y\E( y%W7/Hawv<)[y~ă8W v`so ^JrL!k$mDL3=<7~{vܙp0CNCI$Wj3pݝ[e48 oiN|"QC .[(((Z{KӇdcfS9|uj 뒺A? F\I=or_XzfT;E1d w|e6 DM[w~<,f ʤ1pˤ 6UQ&_np/>[ GTT)S+k,KQuCc.};o1*Sݍ,`FZ/Ug^pce}S;uNC<t!]%dxm0,!&K™W>!۰R-NoPo@Ɠc_\$jyV4ď?΃7DZhA<*PM(DUzOV!Ѱ{b}JӠE9,爼qubha˨#ԂhRZWCf@>7bI^4􇮇bM]-1HGMhsNemEDfYh@ym(0Jz[0!2)ma[w 2R?"!1Iv9ŵ3F]J"Au5*|}۽;Ʌs]dz]G|GĪ0A} ܭ-VnnYpH*Ɨ+ DW "F3vb6[}(T{t9S -x'2Ȋ}K9ϤDELgQɼ-%mJ^eU2SHoh1k/y -믑=x=#2%Dc2nf P=U*>gxzZzJn-2UI 7Mv/m@!I>Ff+g~$<<5ȳ#_&W(mjy6=ֳrX$;.jC2oS" 1C*]R _!,9bmPA; ՙ^X /c Ճl.i 36v>G_k5>Vcտ$+NW@>5k $߫p}HIaJKp"ʪ&r3n}cyY& /&M*4 V2+blmHFN:2į-?M,gw{@5Ljw+UvJv JP~r,TcF*kr^.|2w+<͋ack5PyWwO8#l HgS!ǻi|e$ 7'"FfBCd 3/O*ѥG3?%JȫSE <d%_ I?.n))s$7EDy/g^\5 14L E@0@[h5'FF;*^1g=-f-O0 Hh7vw%I#_Vգ2!W UW ,Zda2.=pΑ/G"ϚttNUҴ`tD|h]tݽ_z̾&μBn,#h\ 쭇ORB&IiTMHRD܌ѿٹC]db3H#T۝j4. ]rz|'"4cSU#ds'װyT=70>kD՝7HFmʢ /gRjSX\t:8hj:mwM A㫛G$߻gM''և"}LC:ʈz MF%7Z'@gLUbYI處="N]JM `a?QC:TkEtY߾)3\ca#}ѬP6=TnvZH :Qb1QYe2ADI?˟\ZbF$]WP f[ݠvA:<Ɇ ՞2r;B$WeYtO5|Eˀ?JА%7sQ Clg؛SE6uJ92Mp&W"ŋL*YL$1t>EjԈRi)K߸*RQ\B"CHpΧW*T zķ')K !@cY%8 " Q$ZcIm< sa=]1c^pxWhQndPA* 6݆$eJz-xj$uIF?fɸO逪Co5rёuFl~۰Ñ@;ڊ"J[\鍸Y2i.h լJq3\-BLv;CǵɔrQ~VqK"SRP6d, 龍⦒r9Plu**O>"='д}7G[8boKKmĔэ)\?5 */X|~FdX_:O`8H"_GO ;\L(n&Tq5Z-7"Okaf^koAƩx+a3a8 :r ֲsG*ଝ]Vl2Fs4gKzLLuxڸX}LD5@t,NCj_mefqC{>zMo/"5vWѣchTsP(IJ{x mǙ`pй} =߯AB+fKb? oX)◭W*|s56&'S!kc];aճ: TR^Zoy4K}Yt0։ O"!DJ_K"_"O *, &hH3[pK?cOw;RCvD/2qMBubҼܴɩ3ɒ5pHNc#5XpG:/"im=--l1[meXo$w`4:^3=uV/{RNi-uVn CX/Ymkesm$zRslA{ ;Aia)6ԸA{>>]oрcVlɂ6z.m{6Z Fj#s>TQOQ5~W=UAޑ<+k}[/  6NeB)T=,j돆ɨs$򂈓e)(nOpI(~ۋ\|plu*s41`:mE(F`C32jD&MPy-J&),>섒0O;g͆zW9"u7?M+֔_Ǣ1`]iJ ]RZgkmEw>[~ o"bR~< !n\#b9 MO2:#(BqCܵMA/2F=k{4­s}q*'X:.6;,*ԩN.&)Vm fɯ6 lo[:cUuC@N](&ZHkK $fhiǀ!+w=O"" ^ց]>V{5`h. Ze~eS-&B:cgZFN7ۻ!paf"w_2tM7{4_{|]osĤp)`>jYA[|@"746%Ta/ N c?)qE/F5l iB*zXieJ1d" KekECKUÇn棫qJOAԟIV!%Tb`"a 4#ڙ;UO-87֒O& *WBn8g7#T#[ޏn Jj{DhxrpOm:1 c*)!lW)]m ҶdZmm cAIONKj_*BJ2(p&13j޽܉Ehyol!~@9.t3 =r+[L zmÌQt9+32m3$ƽin`v?1@V$R1]h`( MO6=58bhodKFߣ ~1 jb[8*vTv]NkFq$`w<; '5 թJĜh'ow5M E;W^lK)OAG!eSai`!&1;aOJ.}ܬ]e+uuF^ǐ;Vnh=N wA~o(o@.=@~+\܂}J\Cz:5MGV blW)N :U7:RPy ɨH? O23XΫGd15m:|ۤD⬁:5yr]xBYL/1{ԏ3Y{ شG l1!ju_/]56?iBt92({B50Li~OFfT!Yۭ2Tk, VLħ-6ɼd#KEf#AL-[n샽!j; fҚDv6[G9{*jP.zs>附 >Ʉ.&a!>iy"s.zAp mr1قMr :&_Ɩ)lߔ\$h ~~_etw]ē@Dj꾾/^]%Cd% ɯ}ghX/|/~6ddMYzKB!Zė[Qmtrxz`Hr ;OǎUc|vN0Qj T 7c ў: 'wFY35xE!8|)3ݏ[?_/HV2/ OнWKU]-⵲Ƨo0ԌI)Sefc ' [G@?}T(OB06%o}\™ HTңvF8}gڬfqe7KQ~=ӳN!$bC')vy``er+π/#?F SQ% X>>}Տ@ǑI]VW#D9i^|ܬ05zCGlZUuؖ0 Uh)G4 ]Qg_JÊBeNTF'ya P[08V!tBDKd'd%%.Fjc@Rvf{}𓙀/t]T^Qn: ;hnVOC+gautb?ϖ~&cxG9($+X>U1nllEb'곶U?48$vHf X\eKhIO> R-btk) 71;ȝ-Q¶"Cߛ@;Gr3Mv::u+CI;g fσsvS10U *9s{6g**\\FV u\Y˻pe?H4d) C`<ۃ(930<(oÈs_`Sd[2?8 8XɵS:d \%gˣ-6A;5R[%HweJ6*40QڬiD2&7KlujG ·KbBRͰD~PlJ뼭^Mu2[YqGFؕJnW:{fP(lV2{0 %#LQŢQ4 nsn}h1m8L@>AzM;cW|/_#A0J2_v{;ΗЯ~~y鑵m}Qb(S^C6}V#uʆnI􉪳gho,0OO /gXq'@O>e%µvKd23IM+muٮa`LiѸ,gvZ,QE (5/N4sYBk@>^^8UÂ}q>_Rg!&"pˀڼMQ7a:N^ P!m5cX)D9%VOP]HT@,V[gԛo:jk# [|z,jw(㵆?pC6tI?E侟EwV=͸P!QKͿ9p)}خ8XB,zohܣ}-Ç>V^ evP6]RWz (lqyS&^bDYȩ!gjl3F.Ef>Lɶx|AWQo f4VЬ}-^r2z+F1u&E@ ӕ<n-z0xnE7bߔs:cE }r`(gY +{{Mp;y8[\:ռFzO|l&P1Nۤa,q rZ?g~i@R{}Xu.MXzb(-NddR*]|0׾3s s&"UA_*4%9;P};Ţz}8D?+\ 5w&AMR/e%H4u|PG ox1IXSJpB t6'TLCNr*!=DW$~K/bY"Wq^doYۼwqfEȢEd>Bkfmf.?-=yRGHL3sq9<[$`§~(ʱŰa96w]z"U|{Z-U?=\\Po<7Y& 4S}ŝa-H;ӶWO-P'.a'[dnV-XP}JnP6.d¿922?Q-a$ߥ# cG(*Ag|iW jesKF͈+==@WMAhRuu!>[wBm勣@d6t!agg3RJK kkZ\242KtA\$j:3ohe W0^`ϔ/9>qjm yY_I#TMqtd156_. t4zdy,҅'HhNXKE;PUt2 vp -ㅦGIn|RUgq>JH|B}Na<3/ /'q^Y{h¿۪ݰ̮Mu]Gy;QMIJLJ k{:xKT K rEX|a[g χh>lV;FvP"Zĩ$}r@Ŋt |h*>]QVƍi?.P%"*Nrm×Ӡ~Ǖ89 @[eY$Kd#YWes5)̟0$ǟ^93QlHMTԷzb.yMi5r{fD7C(epMG&\Ҽ-LP}?j_? V$˵@.qxkؙ+ > (-.濦%t^q2 GŮ!P꫅8m0|(I1}˛ i׽;/&4J=6S:$; K4LV')8.m"D4]iXI;Tl>"xa޶;l^&pT?d7G9Z 0 > ?#Y &h(g1v' [wGgYZ  R R+</' ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N:]·Iq n[:|&[z|'- ||m ՚g"q14̧1JBMHcA>ey}{APVzCkH}AW=Ю@ 3U;օk35$K(Y qxȘꏴ-f(IKp!bPāhBx-Stߓ˦Hpj l`wk.:Hoֈ)"t,Vź̀vw}}??WZ/E0tWL΋HXU*lQt)ɣgdM2;}2PZ:3兽OBe#WM!4ʫw:zg5 _F*w'0EůĬfm wTp0MeWR(P/I+N{ ]xoFne!?(2$]f>Nf&[5M/P2zOkw;x֊/?}/nw:K8J ,Tr#.Y;|1,z  bzOE1N_#e'<5DrH0q} 3=1J0x}ļ#e߃;%EҦ %xvݐXֈs?"fKYGS`碧d4e0@Z%4)(R7P]^ӁEc#xp6BQ;~x-\īXsUV@U;x $);TE 2S[ZM3RE s N9d:(/z0k6y ȣ ۂ ]V !܂3:ӽ.LwI֪־"Y@]q}Ӽ-{s'\m{V#)6mS_Nf(:R\GV횝oW@CaɱW$ؘ2ƀqMBO.R9]k>>\N6Q8\iWaS"otd XEvXC:6AzOu'|7fh+WDimHBل(^'`n@ڝ1#{gYZ