SQLite format 3@ !G!.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 9r\<$ ]/]ZF-Induct:threads=6elapsed=3.242cpu=11.818gc=0.4487zXZִF! \]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0'. JQ ;][ejuˇBBY`س ee^_|߼z D&8T[.u>:`:4Rk !͟Jb{d;uBjc@"KGPg9]H1k&%]\Po9W): ?DŽDG@%{$TFu)L4ZsoxBa{Sm*$}VŶ1$ Q,)n\^<1޾vI5#]x bԋK={*-aLьCt/ۻ֠|0G7%-gYZ7zXZִF! ]ŗXi%ʧGbB7 O˅8ھ Gv6IpSg6yר/mx5/. D4t_uPGe6RHF.ex0`5@h, <@Q!_{7A+KV]+\!~Blx'{Bn>k_G|uJRm1_{ڍ,"i3a- ApԶ4GR?P#CH01Mb :'lP-]%#uIΦpf$ߤlQB-K4/z jN%8ÿ?. =΃Zk~wd:Z@\jxԢx9U N,j<|~Vh7H*Um<1VVFX]gY*Hobm96GW#mpX_Vd`p;VLB+^A&F |DZR/ uo3hH'Tx(ͧ;8Va4Xúa3N/T{>G-]&rh,~j`,2gd'e4j9&A-^y| ţ|abQRm:RmRS2F9wӨbI\Ξ+g9IP!Uhϣ>*X(ŕ eړ +yq8G&u[e^a,th`>E &/f]*d$anC fIsGz2@qw0,UĖJU[ Yyw:4!:aV1T4'f/ 7*r"Q5 8WkgYZ7d91db575b5938945c258b032989d9fab1cf40b5273806c095935afc4dbdd0f3af3457e74b254003 fb7ab47570ccf06a58e684e4340d8dedd55b1ab064896c5f4f22f879d3e90d2052d7d6cbb56a581c   ZF-InductGh)/ |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[͆(}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$foaFMEKDG?C>;<:978312/*-&,*       O* ` b / @Wqi_3hS*  /  ) x O % 7vM#   a}O u J !c1,0+1ZF-InductZF-Induct.ListNdocument/citationsO++'ZF-InductZF-Induct.ListNPIDE/messagesN)+#ZF-InductZF-Induct.ListNPIDE/markupM(+!ZF-InductZF-Induct.ListNPIDE/filesL.+-ZF-InductZF-Induct.ListNPIDE/document_idK.'1ZF-InductZF-Induct.Accdocument/citationsJ)''ZF-InductZF-Induct.AccPIDE/messagesI''#ZF-InductZF-Induct.AccPIDE/markupH&'!ZF-InductZF-Induct.AccPIDE/filesG,'-ZF-InductZF-Induct.AccPIDE/document_idF/)1ZF-InductZF-Induct.Combdocument/citationsE*)'ZF-InductZF-Induct.CombPIDE/messagesD()#ZF-InductZF-Induct.CombPIDE/markupC')!ZF-InductZF-Induct.CombPIDE/filesB-)-ZF-InductZF-Induct.CombPIDE/document_idA17'ZF-InductZF-Induct.Tree_ForestPIDE/messages@/7#ZF-InductZF-Induct.Tree_ForestPIDE/markup?.7!ZF-InductZF-Induct.Tree_ForestPIDE/files>47-ZF-InductZF-Induct.Tree_ForestPIDE/document_id=++'ZF-InductZF-Induct.NtreePIDE/messages<)+#ZF-InductZF-Induct.NtreePIDE/markup;(+!ZF-InductZF-Induct.NtreePIDE/files:.+-ZF-InductZF-Induct.NtreePIDE/document_id9*)'ZF-InductZF-Induct.TermPIDE/messages8()#ZF-InductZF-Induct.TermPIDE/markup7')!ZF-InductZF-Induct.TermPIDE/files6-)-ZF-InductZF-Induct.TermPIDE/document_id5-/'ZF-InductZF-Induct.PropLogPIDE/messages4+/#ZF-InductZF-Induct.PropLogPIDE/markup3*/!ZF-InductZF-Induct.PropLogPIDE/files20/-ZF-InductZF-Induct.PropLogPIDE/document_id1-/'ZF-InductZF-Induct.FoldSetPIDE/messages0+/#ZF-InductZF-Induct.FoldSetPIDE/markup/*/!ZF-InductZF-Induct.FoldSetPIDE/files.0/-ZF-InductZF-Induct.FoldSetPIDE/document_id--/'ZF-InductZF-Induct.BrouwerPIDE/messages,+/#ZF-InductZF-Induct.BrouwerPIDE/markup+*/!ZF-InductZF-Induct.BrouwerPIDE/files*0/-ZF-InductZF-Induct.BrouwerPIDE/document_id)/3'ZF-InductZF-Induct.DatatypesPIDE/messages(-3#ZF-InductZF-Induct.DatatypesPIDE/markup',3!ZF-InductZF-Induct.DatatypesPIDE/files&23-ZF-InductZF-Induct.DatatypesPIDE/document_id%29'ZF-InductZF-Induct.Binary_TreesPIDE/messages$09#ZF-InductZF-Induct.Binary_TreesPIDE/markup#/9!ZF-InductZF-Induct.Binary_TreesPIDE/files"59-ZF-InductZF-Induct.Binary_TreesPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex617ZF-InductZF-Induct.Multisetdocument/Multiset.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex3/5 ZF-InductZF-Induct.Primrecdocument/Primrec.tex  cUES#usڮaaP '96"J!#7<'r]Rr*N@~\EU$ʔ+*V(`ȒjrH *Nct)Wt&|ɷn8Vk"b`nHKN #VQV Ep&'lxIX7 |0];q2WfkEӿdbwW9_Hm0b)Q},#d|HGbg|sU%`1GbX>})b 8c:n:}2NQ ~ O(iGʮ6Q/Hu5$ CPZv{9 lE!@*'!65􀘶Hٓ2U 9-"3yEyUJ/ޖ\QlwK-6U=Bv۩b3mU`ghߐK)7\}Uוb|n8У- i-7iy[ g;mլh8rW)_qY dbάA&K#ψA-/<ph l(ﹶ_YK3~Rzf*nLmܣa$=>u.W]R.8RKAxMps %k3NlLJk+dz"xlIu#//GAPH{9ĉYhvgje-:.m5}@ dr76h0-z5u6?DBL 3yٔIï\Ϊe>3}@N|p`6iwk.C8bҋy$ S!a8,\#|R}.ۮ52BM#&n^<}c(T)X⇥}!pĜ$up&3*MFC{(A:w̴ɣPDln.LwSW;} 3yo^']48WKNnՇwwEq hmGx›oH6G"!}% SH!悏2k .?+r.d'5%Cᤀ}2a#M{,W {ꂪ,_0y:5KdQ?&[fzKՠX"r23>BA+le46 n 0(eF4?.ѭw ='P虗,%>iJNV}guɕ} 50Y6pwomt R#aw%J^ѻ&;0 j`,Z`>n -Ƚh-mh:H_Oķ(ZfkUEm(Ʃk}â(uH~n7\цe);VZFE^|@D1__W) VQ&Jb )5(%/q%-%2y-S5eP[2)) q" ,m,r }Ќ-4?<N xGlAcVy,FL1 E I n>">fɀKglpt\k?j%>2"`r6xfxнJLy‘0暆qq4OLqE,̗ɖ2x?OmIkn~V ?{bUqpb/+d=|-bAX2%Ǟ4`k^՝q>㐩D܎iКwet6 or |K~r0%Mw'Lw^|Uʒ~2m"g[DE fF`86}bt& G 'u6D9QK?`" [4[25G&9aC҅߹gϰ̝MZ t g*#V8YV> &-/&dW|XcWPe:WEV q2dPDFM~%2b׎8U2S\eDm#iNDL@0QWRWv͑U&o&Qot8-SY Гړ; O:Q)-Kq0j?d2̪=3߳Dp;*SEl~`_2[uM>Q 6> \}& Cdn4:VY|R &4?0LGW?߯2laGrtF9xq,rSͯѡ#d29qi[]Y"4E}4 ˧*Y6#FpoԺZ+.g',Āy>5%W2kT)0;nv6M~Fܻ@ޤ$ы  ! Fł6@ $?PcOg_pGgk@޹&{إ-uJw!wVN+oġϷ%,؁\3S$Q-$q{_|zZq帤S\_?#]S7Wj*/}9S)IyE DɔwJ{էlgԓ2̴F-ٳ+7 d;!h'`;c%@{/I| ^>-:IgYZ~z:7WE獅 aA:U h޴O_>j p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!gYZbچ  0YH xאÀ[>;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[gYZ  h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S[͆(}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 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 K;KP)/ LZF-InductZF-Induct.Combdocument/Comb.tex7zXZִF! ^]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): SqL3 ::;k hZ_5c{ih;wC"lSMn^ߊۆhz6jf"ȃCGv3㏳p|ӰTn|5M(/VT@rÕ_˙QzHT So th 0##iPvGҷd}JB+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]ʨԆ>?6ygYZm6QLFt2;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$ Qg .1ڸގb}${ cLQz%5@2ޝ1WK }׍go`ڭ#e3T]bV,d; 4Lp5P H)(ZDG' ,i@,z @`u=ZCJ0O8~>`Itq* LN;87Ś_9cjR]SѣtDZE~e!7o "K>rg[(; l4'gO:+o]Oc$c(|mr^Ĕn FQO!q4ӊ${?B AW 49(O^WZ#HklGo2myИ25Uc.z ZKDfH0=,|j-F7[oJh]ˀ q{om4dD߼X/vFgCݤJU[Gzڔ`m.;xj_yOhhBDz:xtXvՙiе 4WUWNa\}%s}J.#IG6iA8(Ш!u=Mpܦy_|E^3{Ckd&Ƒ:'vf9EC&C&mGzte y \OHJlJCoY¼'{E.^E c`&0@F|t[c2E4DΏ}\;iX$բN -eIy'@ϗc@8˻rA䢉@ܷl5)W*R+`˓g߉eN[,O@6AU3UUN:xk\QMʦm&H3 >t$iSG!P I_ƋOt\K͐vc+jI"0_ᝳeM\%fFί vpq*.2+Mg烨cx.b3`s+n*-$45G얇 ?m3+Yjcǵ蝩 0{wg֌V0K#<kOq bEߟӡA۶F!g "(GFRGes5u`D ˳MkdBFA5?]Omn+#}xzy8M_-|ZVUU q;ӡíhiBj@O ?ĞMa9+Gaٜvʊ =mW2K!;j זCI |\kl#P%NjrE$) Uݫ<>`knsoHuy5aD`9  85'k jGG<>6?$靂gإ5EU9Ҕq,堹نLEgR ÝH׿Ơ,d(c6bYE-J 3VhfXUYDS:׻bV)|N0ѕk<9ڽDKbKI!.Ae5>Y'ۺl=R.1"Hwnw]wI~Rv&wn!c˺MVMy{CUEV}|[e` utTՁ[ʀI(@|g pm$X$0Cil$/|Q+ѝ>;T!0D~$߽ڧuxPmݛ ĉ9X9uoJ?b_śB%y>YfXZFjǹ;V忓@Sv/*JDDjkV0'Dߘapo:h#.Zq=r?ܗ -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvHcy V ߳6g3ؔ= E _7d}&-w)v敁烊+mbQ =5$C7Eż4Qoڟ8H0 rE;%;bW qi>A*T $ NWD [v^k`W_c+.qX#Sjis!['b )zꗈɵ$'ZVɓfM4D;<Md')Jr$S`F ϙvA_zT#RV۠" Lğr1%{I"wvpHz2#JI_ .b.2ڬ\҉Cit '~pu*`/6vƨG1/<UOk^/%'&qM'Mc p*ӱnĕd~ϥ{q0xnM[tz.a$qҹV6}@7HnjHF'jXHr%Dς QdM JR$wH9|gr}ټuv(C,mxS:jt )dFWtZ0/ o+bt)W)`78pY)RYxd\ܿI]UJ컪⤁ӧSd$Dž E_w^OhȠA_n4%n>ܲ)㺖.X8sg,s tWs?Vq54*,1L0N hgBY1O1H䃵4Jmiaľ^)@7<肌-RXc5.Oc>hKT,\\3@T +e8i$qܻ(X|aG_z7eW9϶tpNWphh@[u=S֜qSce? u wj y; mrgYZ/5 LZF-InductZF-Induct.Brouwerdocument/Brouwer.tex7zXZִF! ?O]A-MՋhvG"uIBm5JGr4GaWW?t, ͛=T%VR#sCUp|@%gJwNM?.`8yZg`FnTZ ם3E|h¥j;9O;.g;Ƌs\jQW 9֠sBٮuQcϤӔyZ+墨Фva4̲43oO,,EJS tC+}wm|\e][5S֝?R98>{: C"J{L܄>ji0HgV61W?if9p{qPC7lEWa: i} -zi6q rF#}ȝ_T2 4[jmDbVl=˦j_u[98_XG:M.,PXr3s?UW?5U_▭þ<E%9 gL Gj cx!.V^m(-oZPoj;$!erayO A\w\u\7Yzj!AavrV6 H5ܓ8Mrƨ?tL &\(K%~9,×{Үdr)4LnnL)7Kt\ I!Bc%cMfaKcCOG^!YaYpm@/g`r=|'lYk)PW eICb@ q~ZQ!JA/ϧ(?[UValY;W/).V9uIG'!p,.t`29BU8"x#`;e)uwm!p-kbZ,{|"m_uvj xZƟ-h<\'6Q;8XѲѤp}{r-ffkDh&n/p)o: 3l]1@uUQ}vۥF2T+V>sϑ7WYY^"צ >~F݅FJ gVFP%H+Q}! jHX~W}M7 5$#wL&8 ћ.H.}Wk%zs8__[6BVO); QX= *=%p13wcGq{xR$’skKO-Ç˄K"Np Q0t:Ipj Nvx I+rr͌05"ˍ-EtgC$1L͗Ym>i(h, ڼ40+M#~܏ogYZ  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{+(gYZ d 9? TZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex7zXZִF! o ]A-MՋhvG"uIBm5fa1MI[ta7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ  V +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\ 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 v vA 17 ZF-InductZF-Induct.Multisetdocument/Multiset.tex7zXZִF! (G]A-MՋhvG"uIBm5h\~"E(Z[l% _J2ܦUImNQⲵcRw);k'+3bl&)QKIitc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z. '- ZF-InductZF-Induct.Accdocument/Acc.tex7zXZִF! -]A-MՋhvG"uIBm5y1@kQIrlFLMp']#ӔYoamR4iۜO^{-z&[E^EԠ +^Ax=y4VG 2`@(jkWuW-|1+ ؔ2sFG$zI8:FՔ|1dFĵg0,5ceFu%2B5W$O=>Xȏ OKV \hV1iw(Yeb$^ה[Hp\靶7+g~o'lCMӉ}Z@ 4yv^AJz%| x!g7]JHL,W77ȅm{Ucmuމ2Fni2Q`sˈ32l^U:̔\^0݈.1ʿiTS5Tͭ? <bъ`hF'8K!af fѱN9 4?z,CD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ0TIQB >?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZ   w D A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?UeT@}URs1>һ^%o^zAyˆ=m3U-~v-q OzRID[t}*В[qȼG*PJ*鵐G;Ɋԉ)6GGl.?^L8p4NܶlQ$ ܀.&E ,S/m }6/W~Us$]]Q=vHE-3b=_9lVQ9DW%P6[ApZv: һ,j*y‰<' lB=wvHU@h-ŨT8NDC\G/~例ݜ,$C̏@:%(=n~rAm_am ՘P${X$3zN7UDVMo1J Oy3_},Qath3Wk}) !2)0eeD}*B Bzzdh dGrzH+(M\5tθL`l$,ҙD39ea[-`ܙJ]\y ښ%@iKXY2}JDɴ&sP ؄lmHSbuȜ210pW%w|C&oŖ Ȍ @4a=l6|e,-iE׎$h6~yb9rRuf J*:_Jnds2 JUi7B I ؟KtjƘ/%5W͓Mх4;Rт7_Lgha]r$IP|9K Z:cu^v|=\j=z4RO_4jl֗0OPKF\^3JʇMsҜ&Q[![d:goP a_W |:f)e}t9)Q ̲Z }; v t507BCxau؄vs_J}aHr':|;vt\<~Ѣ4X:OJf^OȺ37ߜ!$^b;Gܝ4q$JkL6qKQ.XW H`oN yj]#$y_Qf)w&"p=CzǹMfgY:Z:2h6M#m؃ s8p"bR|IR@S\Z.ay>\jKa{NvX&!c:R^eˍZP6nIfN?l ]ęٳxU=,p޲%eƈ2n}>l5>W+y rbpw0iXuqu!NC+#8)|qQSRFhWQ}[,RaA=Ro"L_pύJ81nrme3$! OnN A՟)y*ұ[p)!dzvX`9wQLrSZI?D0|=k>)J9 lt&Չhrx C!T 5&l\-/gM!ˋ*)\4I0:9!Y_+SD1 @;16 ABQU_,o6PI,BQfbV'Z'X{S* x/\GZb*UDSjW%~:3*3Vy8-\inU8nS;I5I}Hu\B⏂YpXa.Y=16Vj hi>ᅇ&kjG0q3楅Wz.[<=կ&cv簆vBlYL g&w7Sṋ7^ H o01-nWם ?oh*HZ 0,fٳܤIU;VlvэJ0ǿYe9yRN? 1ikJ$`GS[g+ WdUZn?t"$55EahtC^Ҏ O= Lve*ڂ]_%C/'6vDM?1wNj?tч lC#)yաK@\}OTC f6i6Jڟ&L$ʑ?wB|r#'˕>w9OH=S6oRhos%oY9)'K*;U\4;LKH6HǰQo˞ Il$zDw ^Z^ԺDw,|j)1-M4JF^߯kR']u= ug 6 8%0q>w͛IpPN["}*7*_|\bki8w3j )L eղ #?bq?TYi!?c4_\7śae2%x `1\&X2em ?b A0VK?Wq&:pi!5YDS! 6*{KXGd#Z aN@px<:W?>22O.S(`oEX{CNWjQ.֬#_9%_)z9j wOu# (d`Xwl>d"2J;=seXfjZ d<#ʼ;Ԏ@}C5*$DV)rP!sz0kK?e>2ZǂI gV\pwQT۳[:` ^CZCr@:Z+T2D#v!OkRGbڜ#U2&@ފVpwL;*gpJ`6L@Nڍ,*z1!w K6 #QVb?KcJkyƱ84+F`'ť OJ`Mc댏0H`XjdmJ!BBҵ8gey;_ _U]9,RwYT-~KFR61RںyOɌ@**D^l`RmDxpX,M~_l"ebhJ-2d2)sJE2l E Z^R2)[X6:&'փ[134%_[28Xt's2KY 3BP 8Peeb fV! Vı苣VɕR$u*]{Tc=I)hGz-'\|2´y1IR!32O/iw&-Ǥt E|8 /58^pQ,E@eN%Uۻ:$q2^ N'sQM_ٿB8W 'Ʃ=A-?3Eik΀!ފlRs?Kvc h~2o`x3oTjgYZ X f NX{ 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λ᳦YDdp$b IȠ ;:LSV^f˛12iFv:eG+Jw[MKRMj8(FLJ-~e_ſpd8X&-y@)$ÛW.\/@lN< FP!(M+i3ON݋.` mo~90 X Pvjn" پ& "T9%:d}ؿdA m&nL#Ba,Pn>V7.H)=gS5S?A..:B*FKY#àŞumQ I1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy51-ZF-InductZF-Induct.MultisetPIDE/document_id116D/1.ZF-InductZF-Induct.Primrecdocument/citationsszasz93 mendelson7/' ZF-InductZF-Induct.PrimrecPIDE/messages7zXZִF! +]·Iq n[:|&[z}*B`D7c OHђ66J47KJd3hc-novg.U'W7,8U!@*(#Fys$?0dΜg-| Eڗ5縚W [!t&Yk"̞~:ċ`L=YNK՛P2-'3Q;Fa6w{uW^u*#/ ZZFNҸ_<W:vP~g[-8sר10aRD7GV$/>Z@h9˗0V\{/iQz$w(? LkI5ޗX4?̊'ri;Z_P}Ǥgpok`*[+^ɇ~:-a4|| .=71`SM &5_MS]ƒ!g!} r=>`Ĵ=GiJ2W=~p%Oy"'u;7cħz&8vA(-RSJ3U~; 7?R"q&NA"!Ga؍ۖ9-@?݉9>pI .A3;W:6nEYmoyW |x%{#*^bgYZN /# LZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 1]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9B\bUt"]Ǐ?}Pis&P`Lϛ)##a i 3J#JC~q`+F97Jj? 2.ԙ$Yu1 JȸxRJھ:Rå6?Z w@NiOzd+dvs!t:S$FZ_6rA%0.anErtK~q T޻ ,}Jt7%]"Rm0[8xK,BWd"/FL:(yGF3Jʲ|"HT!IBa#s"k&Nn^4(egӛsS"t7YlIm.;Mrջʛ2~ơ9@;U=m>sY@qj]mf![[Q OO쓓DiK * dͲ8Nz@S.@Qca/̤=iӋ̛W!otky')M&8# -JWk}Lma6Ó-_KæWzAkKFL=6kBQp#%53LO{!-8p(Fu_3 ,o 8]y$ gYZqHΪCS+ҳ+D*{j>1>4 b!-L6i ԏ߭ ?]E,7w=g*Ou[cXβ:aKȞk7Q >S:9MB^(U_a͓)?ϲ6ith=K./&e)s7i1o*F *nu8D=y'IS,zyb?zψ}?D^%밄2PL}Lsp%\̷u7FUA)pZ@~CYD#㛍Q}-aDLJh4tzD3`/|$Ԣ.Y]ݭHК|R@VZFW:=TB= 1Kv^_l%k릱F>J>dWZ5?jxP:U|brG 0_.\@t4m)uQ)wDU6߱CPȩFDgsI}(chBur Ff݁U]=X;t M{*_|Ve>}?#(!rŸm5 F5TdIۿ̇,ЩBb$gLn;-tE~%Mn#&/P Nºo0ӯp5f:nеgb4.ځI.%qMkst/-EfY;u6wG=,aE[+0K( z;"{2RDk$ ! %[*|8} ,\V||ݢI w3FiKf!)"F!!'$}늣eO&9_v/5D,Gj5c^{75Јcv=HK= //5!Z3?T'.?!vbB++"BuB'Ue9OCͽϬp~m&i2ș6gQ7zOhkf EQ@ėRZID_FWa(о϶5ZE cd+S|Vh-{Z`0&DVq̓_JO[G&֋iJZP )IP/@QZy'3I>W"  m Pz ./+R N׌pQBܞX4cT@GKs,1ttH +Z̰ tP퐸/d%~~k=a$Tg")6,A&~^=xǃL_W57v+hа F|-.{Ngo-s#7둒wFBC)+D`\Y[3J7}rYʛ $ndra\ |ZPv>H Z^,0q j[t%^Ȼtn7 Z3M .wU\)]O\.P-GWCޡ~MHؼH b@WㄖɷG`g|胳&~[f^ynyDra/{R$)%m)GqXiġVV}oeMK/%C$7<˵U0zSL./l>/Ik#EK1P1 B[ pe<{sP .!^eE"q-Ca$<ɥ9ʿMUL hОwM`7X!$+a압Q'%.m#Z-#]Du&vBg5s]gr,dgwN=X֔`}]K+|Hs*Q^Mi(SЄwHf8΢*B/\3 ˆ˕Q9'P=ZgD)Wd0> op0E8`d b<LnJJE]١. YR a:~.C.]aotq_`)9ѧ#Е2Y~͈E/CHͳU h,n0P~ MZar4*S<u(keQI(LgiG)fye̟UspKzZ} (B$XVĚ6f$֌y44" OqY){ vIB8;'X0L ;yM2M|WU8}[z/nDwYWF|}zct<,W#{7a`,Hꦣ,yMt6]DəPy eC=BLQJo?n |*)S`1s=SԄT,3%?U60nB`fC-7̰*W{eA&";>n{PTlQvtƿ?a][:ǖUQbĤv`=pPBtsghA/ b{rG92OyuF?Ü@i_JE%ۉ|M,?a}% BCcAn_FC`;h\c67jYB5nga@.ː59٩yoW]W/6oh rZ8m Ek_6׭zɹL|`ԇB\bﰻ3!{~Nsf!>6COe4, #ܹ4DpRurT`X)lLIi~ -\j4ݥ! ypw ZDz!$'YZ a&kA3t0Ơ|,Luߋ_M]C#^}4MJq`E9۱Cv;8ظfmCq3h՞W$=E xgXGM'8E.r}mԜN/]WpBe:H3`)bV+^t#EN4 XQ2Dԑ6i}qj {@}JHZ7Ĭ*G磾~^_lr+!vu_Td{Ɩu^z%3R"yS2ex g_ZY|K R_7e!wB^[sj gC#-Lڤ3BMm\*kfMH N9nW~reP@r66|Z÷wg.8S?;a=}]64}:$%|G[EyAh$``$Dnܧ]>pWjKٸzLNj)pzw f#;ڪrs#uUj|%_s @Qt fKknҪװ6'vK!&$w)`Wڬ%e\˱{'~%NĨ͍K+Hl Fn-z,$>t,|$ݝ$#NKD+C҅LbI0u : [i5rg.]2`KX%@wz::߸vi}sBD@0.1BXG; ٤.9Ha TN{;v1xE>Gs՗4~xlGF DlفP[sQ )xYaiUIdU\t*%ng䛃:Q,h®2'з"PsmQ-mY }PVHrlFVF}`TsdNE|Ǔ>J5#䋐(,vJHK8[x #Ưi#ϣB:Q0Ae6&RSsA^DE{`J,b M<5xra|sF@.gby|V[k%_9FvUSm j˿T@\DB%_kϫ/nнyiOٛ8Kqkkp|a{v70$Č_[)b--oӻ \TZkc fT Rw;q'B$ӟq6I&/14Y3*,A8k 66UBWzʑdƑ cj0[il z?Cb#w C&{Kr-_Gkң:/c^f?fVѿUS328FP;&[m;,mȡƌk1$kBw4LL͏חZ$p=BhU|bVލа4Up+%. ; }%*7jt6 )ZS‘tRY-a>P!|P1F[裀$8H[7ZKTL@X,l*drO_ 7:s1;z1}bjYp^Q;|=jKTӲNvYFQO N:0T8 17 Ro$ȥ@b{&#n^B' 7#m7^5q`>E])QT]5M_PLd9Pf옱׏#_¯9V%ZG8G`[dZm )Ir 8=\7TyMOV(rxcgIK%kr [ju?8UuT3 M4zw)~:׆ *=x;:l T )Pf-df>|7arVb=S c}nh4ڮ|j F>8+v  pa\PO0o9|zP;$ y}=+g BHنصKg69;"D?H5,'cVWC/Is^'Bh"z(wP̼1dxRQB2Bu_\z- |JtľKP`ڇ 4GZ`j.2D So;z¨ J.5KG2(.A%X}nGθ7tO֣K3-#! 3"V1E$+NZ-XPP|!)T^6QTX:H zr:=xJ;̽+q,=~| cTD>t];F^j''n淜t JfӍk}n}H@zHu@M3^biWc&URkcV"zD O^6}M ]!57}mIi.@P>!i$iuXX@b9xtj v9,pQxu$Sd݇#![I- Uxy8>iO'qjreIAZ@Z\9";e I=BVs6tTIx;h gcǔn9y'Q9-W6n 2=Ƴl GҌcrs;h͆8`Ms!u!0|%c)4Q(=DKx& ,ZȒB3._&&8 yqgeJZe x׹)7mq<(ۘ ;ÂT3{ަ$wm퓘mBe&,DOKS]Tرȩ%d5{D'u/z-@Cni%. f,e#`mֵy[r3mHGo˻|߷4%8ǜso$ 4!ͯ NR7. ^wr!gm.zb'PDb4{bBRmkDJ= *'xkqqc*;[w=Rz{,d =3{AJfD-I<.Ƀ@PrfMA}ۡ,'˺q'@ (L/4YztЗf zM(Oq\Uw_ Tu- L9Sz]C }AFVI"H;e6ﵽYF'f&CRO sT^g4AyMnS1<6W8#U^Xؿz VI_bbV53= Խ^M@FVZ-]F,ãIE!kĚ䔶=wC=_jt8Zg)nj˩!>Y:(<8!d7xf XPC UBnڊk=Cۇ :~,zW j'c`+MR-$p3/0Z#-7͡is/z[Ccqoe<Gb(.}n `V6}YKXCI5 iHa\_jB>Mw)A.ouυcAQV~B pC'Ή+ln}(Fg2.SY#Ϝ H ('Sŋ>a}]6{#yC-i՟܉&,Pn,wwa~'enȞ؏ԅS}ߠ'(*8?OhZ`yhL +; _ zE>S7fs9"9ϫ,`dM!hDw@,EŌ7\LilXC\!@+#)N ce );PGgW{P{Ĩ.HօZa,JSǞELtPPIKWVGFθ#j&.a@ &QG-Ųs6 5Td.<يAoF]бGm1>32Ev(;zoG9.'pM(?mE:_ CٱN5=xMWF BBN/zi%r7y!BKC+쀔-0k 0U`XMq-S8G;osE^DE~Q$LzϹAd;K͔qZ;'k48^ϧF4C.`ǟZ5iSƲ]p ͥkZ0Oֿ TKK=ُ&.K@'jJ F#2Qfb33DAV*5wk:ƅәy!n$yA9$Y ML͞_IWy`Yiѻ ±@&t[і)Q5-p)] _u~ѧ-ۑ;m#mCa{ kVs얀8 .si`fֈ@a)+R^-LyDP8et-}Z~Xr2Z'CdY w 2b $hPǷyñ٥? ["8$66 Z;"w\F܇0XRcPYހL[a=8/Ŷt+m*M-~j`Vmx_l 2 qu#O=MO,kkNiY&$)6F5D ٛ |[`IuX%ISfuugǰtrMV3 U>S'lj/Eh8s3H5=xKط/l`I ŻA:=)m)EC0ؒs\nCQckR7GCZ$韈U;3ǹR/WXM#[$;#Lgge6~DVtBu&pP n^|80 =ۈKhwtåDNQ5:)lm7(R͂ #@`ǹ-_Xq/(]']Rv@ ډL+IV 5>kJ  2<)g~/9GSf7Vk6Ij߱ѹ`j ]I)OBݰ4XAi4H7?~2x0ؕNS$qBgG IJ5Qb7]viF0CLC՞.'@UO~T#Pfq$Dz|Zy|ZfpÙٶ8<Η4Vi@uMLA4k̀Jl|ϫz.'uO*C2kSf QdۗoxGmΆc~Nh c )gYZ!-UcJ_䘛si0OϜҵaU}Lt1@<$XĢ`nwŦ91 `nBA|ENvKSaMg9B,mHS6zR{w+ơAM9;{p7'7ziTD&\ʗ6P fԝ [9zu+L|'nǷeZ|;DKM(>Nq8 Lh6t !8Fqwg--+&hjV}(Oo\,sSda7-K&uΞ"cULJMw6YQXPR SDj* BiD!mF F~@B?&Ϲ~DadQ\5" /kc~3%R:$EEvy??cirYmCļs "+>?Dz@!=xXj[;Sl*O LX7y{!p%Ly#'" N𧤅iQt&VhO6yqzgBWo2_cXX?dd)!5yDV #Mlκ#/\s)N1Bc,^ҁI\gWXXۈ33(Oτ y *15p0³ouG_gpe58|lƱ[|/wSjvgml&JF؋OUN8mGs±fE[K:){L>AY=蚏" ^;[J}hM7u9M v>c h# uodb8Dj\sQ< Eo̦oCȀp{%dpMo{G%`4:rՎmsv sz?( ØE%IQƛ܃WzX_0heoH&r]J0~XÿÔ/x󡄌\A.[E4[&wފ=xN`k2!ڑrW-b^:.+MH6s+yï}hk:V[6+'\ A6F\j^PO{ß6@~TF;‚{bUM|Q,8΄|@/ʣ$! C|JI AxL,Qxx֭kڒ]BE h -Znхl-7SX|zoC(V{Qߡ] 0V7bM?EP"@~$`´k|3e\"GUaip%bU^h2k:$q%/EyE hU9:WmExlW|M6H@=,}?LVNdՔ2MvF0Yv̗ Ol\{O|9I~md᮳-Mєom FK5۲]N=Τ8?y(ĺk@bE|W-Uq9Td%dgv#N䫞!5E&bPOgŜI$W$@NGK*B0<>뙋xKmirϪ6qP5,3aԳ+,cطv屪5JBJ(JYH c5B_nM-7y~ Yh#x(CL6uZ2yERrO$Dx ɜC8&Gb':\ T-Cy|<C ^의$ȁtCҢ)A0P}s0ҽ*; +IԜ8OF9L9t?l8#wh*HpNs[N o"qHtRUc 75~7J ZʫtLg H2İGz[ŀg}5y^?,#&oRW gsxjCgђ~!ߛDo{bxkM TϨ|3h|[IA -l1-$uIBWMQv -׻r vd^`}]Hs wp5Bj3,s5U{YɺQ䕄ڻ967Ai>4xr%Z5eZaۖz+ T$pOvư̊os8f0}mΞRB׈s 4+"ṔDh0a `)#H([Qeuj۟6S*nw]H} 2;fSqgu Bn{;荘'cjT!)uk/'3bGT|ԪVr AR'ȶ2[Z 8Z5n sfZu ;oE{-iuܨ_wF]q,-0vݢjE%&#c֣nu(oV 2"Q;6+b}>G 8̴z}Xo cH к|5||ӈ Ş >!(*Js5{d!U˚u 8\$G' 2 ;p|Wcw"a]^h-A 8ݕ xzQ ,7d~9)Kt+Or[ =z~mGrMCv҉ )'E{;̿yʃ񈼷n'l,DKY "γjj0[' &Xtj<wY~Ze\ЪC_'\ oH(5Y1 MYsIK˲,7[0~]p<"W\8WKTgT~&.fdm?SZJA bP6:r1tjꌠqNQL( seϱNg-MVᣭG:oGSG>AQ'yhЁOƧ:ܦ^8M$2"Ub#Њ|әΡik:;K657}=/BK161)UE91A)W{S;l?ܖFEkR`+ȯWq)BM%#sucK "meù@g%CGcXޯ1e/P~QI2pQEO;qԹ`nכ-҉±<0PJܾZ:$RNRBh1^TK߸ymTFYm4 Ti-9V$!`1xNսM2ezN&[pxuBz8g(6c¯ϕ /ԭҼJ#;ʾ6@8/Y10C2"F'kx"1҆ |3gyaUn0V.ۆ.K5Yvo޸΁@7wQ +?|{ 4uGb^Y0.-Q1Ix4්sTf$ŁaV!(ZSӗB@( w2VnjȝU-&|p~CY ?䘔}_?3Bb+Wp( Un&,Wxэ_o35*jg?[NY]2,8,i6 pǒ xRE–*Y_mK|vL)H:ivM{;@Dc6BSd. k^{3KX[vY<uAb؅Nlj5@=-ֳ_a?*X\v9W{pr'u;ykVTJK:}wTʘMo+ ]w?2݄Wm߾̀VO#f$h-MAw>p/1c],O=R[MNo) WD.o#PaڏxzNJa]M@}a"̢ٷ=ADADȸܓRy"^!e6U3!ߍcQ,֞Ugx~1Lg9#`b)iIۭ?+i)^IS˛D~~R,؆wl8.= 9Hl:࣯@̀->R*A?~v NӑϡooHɽ*K(c.mVAwNDN!XUqP6KOQsx`8%\bbĉ`g#Ar1r ֕) ?r8UC![x5a+36-Ra[Ď,`r5~`,?\gmג0-=%-%#!G;{$ԎIL% RCϣBo+)qRuM[[?#uu.-" P5ɾ:`ŗ$B ;#6dcJ*Ҿ.ZQ*è=倂O(~Ŀ(xcטH(9bx_cDzFKLʨi}+`V !]Y~+#Y3`,W.T7t ;q )y|шv Ǐ|ҖW|tex~ Ug 5kǧ́C$ѭE큐s{?~KcnkwMpS[x2х_Edċ2 A}rV6ua;r"4䍒=B-d9ys;x*/l"i4a˧}ǧÓO`B7;`kcϧGnta-5,Q%,5/3 3ShTn_Q(':S%~ZL*RWt{  :(t"!٧ $"6ôSԶb0*M1GNZ֮-{=kmᖶOF_oXgtGm8>bJڏ= J'Wf:d*z2NF-$?@[Q*rm%؂l tcH'L9qpL:GkK7CjnO!ROӊ!7{TIon(]2 g$htj8Ƒ]ugWXx㨔!nHkyS"k>׼lkP6\Q'WF:u,ff7(ǒSkAxm;pxcC|7!s0ێSIMO/  zYcAC]A ;rL`;ŧw*DS'%!wK_T7 [)g,RZ?Gݥz 8[QZ ~ޑ:-tW+"?3qsxl%*#  gw  G;΢Hau{8 `LQGQ.] i+x2³ӎOY9!˟Nb`ED#F3ǣfl-9qs;*xPժq vle)5뙗'|Z* Nk|b"َCtc1jڻuh/DW&In"g~N[c12=2"1e}<͙z[5&sO*zK!;6'p\JR6'=IGvt۞q,TNR6"rg5R@ؠw>Ҥ+2u͈\kw`byC'үZhŽ@s_Mk b6I}D!`BOӯ*U' Kٲdh-4,:Y`[)p X/-Z[[L!Ilaa lg$jHM5I63f~f%18U8uXmle ir:اM0;t'!3j2W- JYÊL~ q:;1(NX67F{:59$O@e{kP1a^,a B uyLLÅCށ^Ja0.Su'}67 ~Gr+11pM}ړ'k;kFrDN8 \, N󀧶 !iH;I5-FކsȠX5@bD{!fq=?ƃ4"&ùwkA}7 >Y!}~K~N561wa`^g(HwA"^LyI꣣{kzwҪTkAT LdbRYS#Cʉdr"r[44cpu"7MWN(!xFubȏQ~gY=/ąiPzzXJc&281Zuɿ$bš8I)7,E㾋$ꤋ ގD^t>p| A%5iҶv#@kbߣK#  %e !)! P#k \X+tx멠ɜ4]6eQP'Qlmm F2MHS g =ê+ {)շ|@,,ԡN,PB7 Ɔ#Y)OAh,VV >4;o$㑋W+C' b@Ǯʬ{`?(29Z6 1$4 ~}6K#&y- *A_*w^\m١,ᦃT(E.bsvy8ue)-ߋζ3W H(R#[#1gHD &nrRu@8Z݇o[!U3IaϞ{1`mP \k.̏OR}77HөZ \]jvLhbȎy<Op,n2Jie ey`H lڡѣ i_*fR쪪Ճ.slS ,9ҩ_A|̳j'>̼r>m1]zyZ-=gcQ~)tIq pc7dt/*.%MIҢ߰PB*Pg}_۔ ^-}d߁#)X~']<:62C[MӻE-VƈuRp]yMeQF7︝wZ<,MV\V3H|e׀Pnɺg@ikx[`?f Vd|NHW 52OFEx!g1e$Ҥ%Oj*9mҶ ܵf4`x)9Ğ Z.On0vm!zusCO["\G)o 0y\IX jEPWX_{P3 <"z~EC4g@ eyo^Wq_eϸi@:bβ:M$+qV15&qU %x;U Al62~YyTb&6pCB vo_n$% JK'{_+_FI_r0KnK>Րd?=Sߠo4LOCw~nhΣ4vh]І|Ӓ 'EE<s:? 7ti7~M^'t5Y|2cO{] /ˑOV`{4G2/JHN_p`xpK&С˰<{z$!5N ?`B@3zҥA z\+SgzEش97ukm G`LiG,m:QFGxUYN*n{.* 'e<'H]&$ <3͆G%CHk]]($Ty;\[x 2z{_^BY{ :=$3H/JawmDP#z#ȵgmܶSNen\!Q)Cy%*l^ }}~P R+wZ55}P\[|R$8 aҊ=1rrgbuQp5ẀѨS68Xtp!^KBco#ذYbE-Vɠˈ;lh\#EL`0 v㠓MJe*1]}1N+MVbHAQK+Wϙk0zQ,l/©ᲇfƋYWؽylד9bgKkQ$!=1bx}1%  /{is6r $"ub W+YjPF|r;ԈVnz̧""rN^вqr*zPV>I0ut fV~s0>4ݝ䌎G OuyIj-rO\s46;quxu iCD܏f_ ]z k飋fDAa7(Ir#fzDZzxN8{ǯ=:iB  IN#{B@e*MDb0Q?zs\'q u 8&gfp?0~d ٪.gHGڨPOQ-'#X&8ZݐN [y G vxbtW}>o.nRStF X@PRt2ϗ r'QР.-+Q7w"xSIbap0Y*\OIPFckJDƌĩ }r09pn3VgJ0Af`*# 2&nGol$'اTWXF܎o2*ʫ{ݠڽ0Z!uԙ.8R~W)y==٧[5#[}.Yz*a^ɂDKRx~NdyfaMy} wҹqrkK\е1~cu<ΰ#Uqn⋩Rfl.ɰ[ 8Q`(l$Oٔh>"U;7AL&fl͍QTqԀ FGH ;`b[+a38XS2'˖=Qs}4S+Gc0hVsGV~x&fQ8gG!3q3#ŝZMb6C੶ nc\e&!d/57'`ũ N:C=fox w+^l1n$#hwv:?⪶ΕTF2 )~ bKuׁ})ښל@8fmpUyhbGQpWʘއ-"k9WjFk!H8[7+X(,Tu'6 %%TDMjI}km$@Ӥ2-~qgyreO2p}r"Dق~$9/fh~ǂ nyw>X?ڵ z%KP`Ȟtgktc2Y~+rKI@*G3GY1hq$s cv +Vؚ=Wn*t˱S?jHB/hЁSMЊ;G3qQ"}@n[1Y>O+[('z@稪l86a" a3ӿY.1̲.y>;S-YW5= ˮsvN͋+(z`GG' ;cnIa5%P?{4m]g_N9@L<jOq/A&RhZ|CR !k-.@4 )hQ9'QT1;߆0B,H$zO(Kto[vϓ'1J}{,Ege~W1NHR*eԊz竸Q- :GwSZnWsIIU~V7FީAL70JTZ/lM XC|!hYޒZZwp(D嗝_V@3Ei'4\[G""*dNېI$g˅(Ԗ:ȏKDh 飧C-d>=Gҽ#D0ӗF@@ȭfn %l ;B+<ǛZ <~!LQl%Yw%YʙRN 8 Fė;26m1:w I.SNN< ׭HtsQa BRG87V{\!شU@4 ]7wdU3#T[I;ah!01>vJ4F*Q2RuWTƁ_"kY> {IWVZki_FYJs)`*c|&IIC)ӀغP/"&EJ6.bi\oJlI&xyk"g[pRY F?-7|H?G z9ZkUJd@ֶ99;Taj2U;fE:Tdy80"[gDA"HjLQ#6}BۚPY]4-{q$F&6_/+ruRe=1=J Ar9x$ >?Z1A`}B{QC>pԨSڏJq?߼r _zkw//7cak}!ZL50Oz%e"@[}drK >KiK/}!3JlEņ mSحPm7:fdCEp9dgA# 7c.y׀OKMPp;B1rUdx}찡7i<[&H0-("\%ٺ\'^zQIɘI~MOgd+_ɷ5gMĪt)[r!ýׂuk/ՄXG )lP] d< 3; JEϫٻ#" =\5v瑂[*vQZoIz\Į_jfo/B'a2nL\p  $4;Dcptaʎ9c ^_c7V 柑Թ}ƔܳBէCnl̐~ l3T `IP 0uViuNP; .gU"o;|:MJ (Y '2%E%~MMPGANJn ٛ 2<5-kyMքYW?<5yZyXe|,ldjq91QqO=S9$0ԑ=i[ ]Bf1,%'JUNɆx_p˲xpLj,D>GsWq!S |yW?"W$YSf n!,Z%[4!77u7gf  @),Ogvt=CPmC=\ 9T+{0gmj~&Nc _ːO2l/hx jNqY pab& `lr0H>Apx_ƀ}@0iat 6t8_18n^4P\$i^!kB}Z!3" `cG6Y~Ż3,Xઌ6݇g]<Nx/6/Ҵ}Thfq.޲%E:AW~:_G JSgy l=kӹ$ e]+0&;V$D8})aԌU7Vbk ӴkDZ\Ltq ^+k۳\[! '5?=oo#bۺI'(:- N5LIYe{P 3keBYwչx} [B^pS:@@Ur057_E[7)CmoX.| eA'{!%ư> T%P0Vq+n5eI_$E@I ]N"Ui[)(!e 4*Y-9Ey"@6wMҠt;g6/d cW7sa|~|Sc w]I?b6UXJ4컔qb泦O8bBZcw]Cy*E8va!mql.! nN"]OH 'u,+nYVެR:1aRn̍'ł!٬L|M%K{eπլwho+L G`0T:eO5Z6yEAJ}3_̛zfkd23c5d{tNvCDdHISLj 5XbIAW99 a^G6NQ,@P і@mB dz\{YrSŗZ.9ANw#9ovgYWH( H{ Jgc:~@RI%T|xP;7w:=#8v‹D_IX[LP1>p<&9nw`rT3l1S][+bw5AΨg crtPkt%7k ?QިL ­/h^ZBEWg HGsVBf$(Q@= +a7tlM ␐f'(0B ǟGGd9d0fR_@Bׯ|cIޮ_ND"}aOȍ"0hMIGhEZ-:JkQzdO;]KnھK$t$¶t@,5TBGu#&?# <{ԹCl8 -?\v;-ڶNFG IٻEe$|pk!mD2y6;]۴6mNNͮI͉\3ܹ<5FtIuNO?|k[RKzG"}:-C(]5A4%}a 㸹ج|U!m84\h`ZF$otF}1hld8ڪg]AFrfZ#HlOi3B@2oμ)4@w:MYCvhI/aj2kR1'9 : UqN[y##ߟRANjC 39wR@I}ikKPBӡ[2gh:m ,a$.Jեzke"uVlR%h/ ~,yh#Re @--q/Q`V1qg ݭ{NEmxY?fҀk)Meۘs VeCE>xBĘԀn{]Ur l?'k ȴL\yyߡ|2IW7Zʤ՚67iu7?ilQDDs*j:;G?Na;B˙ͱwteߊ'< ;{ 6vG?* ~snGN2,֚trf7q"=M_) 8AvT'Y 2v<ŒT%soQy w^'= > >3c:tѾme.x9RY٘k,z{:epKu(JCa0_5Ք4Wh(DfOFd8drVtH+m 0KP’GTPX<|n#Hj {7XZJs#&%8tw U(^z]C5I*&* QCDHDEf>G~;7Åa8ɆIT >h^֛Sˎ eCnIIpQ3B 6&J86>7CwŽ)sĥ >0ma;Xix$wљ:V]srWvch{7Bhnsۛ0}L:Bc'gnX_B{|n ܞZR{^Xvdݞ\Z+ 4~lZ~'EStc~R*6E| "sPN @.&?̠S%1uF 60 Zm{VҙW!0yZ(+1T ]"ލDf,N5Į!d_xC)xm{|m)~Q%Xj@ɟ3@&lm'uJTNhӮ^>vPRb|Y =!ўNܡ:$; )XT{38OS `oTl8[Nwf+@#,PwzP!,soekLc0X3Z{j, cb:nV2%>ˇrmSM6P/u-\h !5)s{Q\2{Y169S'B;^iv_C l JA{PI#FwHDxBP`kG/n\R2IT Ѿg.nۣ,X{}O,/,$YQi ',a;gT_V|,q:d DpK3`?_{TF1*{M Ɉ I2%zyvkCh};44ZΈqDK2t}-!s;!F Q40P]J w8>B(G;qYY ?/LwMR*V42H}<)o+RCWTP&s<7x%fy`h^\ ){zLgUI 6XK%KRaO@IOJ*eaL@hCQ}3yHm<T|`ڧFx_~E#D 'Nt5?{@s4mVqIzz]_ݙUѡ~2OOϥ/wrj b 3纵<|CsFr JD8Gq6KoS;?}]e(+pe`F]y2<8СSYrl,m`#i(.@7*EjK ~I' 6H;R4iՕѠ;=x\@㍈;tȋ%{Lx6Z'H}bu}.8B&T)2cs H~錪~un:gϿb+Ag6K+'|j$84}p ˛8J@Ә5KO GjRkm/mL%e}՟y<ٍKpww9USVͲ漒C?9! nl$%&Krx T~TSlZmQhQ㚬cw8[cl\?]Iz_Ljk`amY`o+b"jo3܀N' %b NFS n!۳kug#%S`\Lînd]h(B^HЀr4euȕe鑀8ECi~Xノ_l+oԴl#Q< 6`|dCޞ?dе*@og'W̟ZΚBph齬#L*r[dr+v8F8KABxfBqhGEM B5"s1*3󰡕?~7jį)b}ΦQgsR$<=.`E/n9 χ86}>4rJX6wgDp 3i;ci=\,݉K?WPLEn#340.͌y y/3]-t4-'.Ld^Iti@MVբwdٔfN^[[,q%Ȳ>EqiS2cfuhw. 0S,ֹH!+a+}{gʊT: !q:#8책&!8Tr:cx( 9TGtw<ݯ6XhSs(Ww6}ȂɆ04''hym.kY_k%>]pN+"xǼk/};Ni!9VTy#^fx#|et >X=mF ,u3M w89na7.3q۳v/ӌ ^ -:x թVOU4g]pGO0abDfur'@ׯ kG/wDSEL}Vaw1k`(o©cci#z>]tлd}ۨqP5JU;w)G<9ԥ𳈺=hoAw]2<+ް!?" 6/kFFSď5 Y _*aːtĠh:qDԮ3v677BƓ L +anx J- ԁT#'tTZ+19r[1ЧHؼH:[< b/|+hCM*3],C A `y@&| 7᫺ "ѝZ _*? s@am?4%]`#=`|l4eǂh iZ-{N[/_s}ǐ ;6x3 ZT9:'ߤHmاݻ7`XWR!bwg-J[ӽ,2!VUMPD /Z.@Fѻ[+#Yn`S =H}ltD[jt~^V!45AL !{NPإq즶/6-~ ~⛮2]+t֯A Z<HKkl7̽$J4H7jЋ23C/  .qg:5-æ]7܄OǴS䤙,Cwii ŲLxvGs?\3'Ɠt=h~oa0OoЯ%5\7 fI+䅜I=,Sx ` J#D!@NodYԲN[٤vIR4 POvd=({37XpmpoP앩O.Bh]\Yb ȚdȢ|`uP[j %E7d]L<,'`Br,r>IJHGHg4ߜʈ)Sbx7bN@f21Ϗ-o-GyLQL[+$ |x KǑ(ƐU6lkuSBpi8T $t llT#J<=T2BU 336Hâ#/pU7Y.we{fw})I"7IF{*gs}h_RL)n+pׁ'.cYQKFNe2>xAVh*_SfqH38c{޾XV:L(Y'+n}, XW$Uo!]jn=%R)F9/U?s ώLӕ® MQ6S840p8{ ?;w>DKhS9ŹӄV3B@Ts6\clMkCCUKSȥ음:b'ΗO}hI^(\#ӹT se'k5US1KE81cɥwEemvI͛fOʡ9Wj|cYPxi=&9lے}܅) $l܏w5,hTlaB[9@7ʑgނftO6b6u9$͜:Uz(.C A;l5b DB3o5 &]֧w iF _ <|:bt%Ckҍ fCm1vPuXI&O+bw[=eܡtP4W.$q{l>ц=A%"myq ;q9XHdT$mw֟ R)qWrDG}zp%®%l\Z]4j5{$JI,YF5<_y=Տ/T`.e>z&vd/&T-OK3P|]F9_KhN#'y0g3l(٘4JiB4Q̾=kOp# }gHME޵y?)4m] &u ;:Z—Th#&rK8 '明"n7LEzEe{/E-;z~>ќ >Os)B(H2~\]w:['M7 : hg0J9dQb9¨2(xY(d3 Ue֭ARĢⱟt]!Kŭ͊g,6CNsxM:?= h-/zhM}`9@9ֆ֫M፦Z?Z BCfUUf\pc@b`e]4\ V:x14-&ܿcvSB+jRKeR*:}Av~A P+#`܇p2! ݏe?nUsB9h^&Mu yTl[RPHoG.Q/-C4eMNˢ( ,UVF1ŋPAZ=rbWqG4m\$V b.3c'2$LI4VhK[FχwO+7t5V_qČ/%v='?6GTX%PKS~Dh]kPnILBvS;-9 ^xB+$۽:YNΦQpvgj|9n̛Poq9DN'SLufLMHkY3!NS?ml#HyiqV:-h%A`(0GMHtZf|tS?|x³eN]2QdXdL<2QaM-*=`$rS x@HVrxp&}jO<'LAv Y!46޵P~\!jMf} Ҹ#+ROV/^1)oL]v`Z*]g)U[.zwGYR0SS L؟_G]@^|7H7[PdMy6n?M0{tʕO2\ glm" 3eIٌg9ӗ qԪu8E5S(_m'ZoCШ#tGN@axZ>"!yO#01d/HiO w]1žk I7aPgۘx/I8C#=5\,yY6l_&R9]CFA$3m+hS;In7-$ `11&uIKl7.8ԇs*1[.Gv4$BtI&6OGP&(m2&Ub̊*ܧqTG~C5PƘ6`wc"nJFHL!AAN RKcKʵ䁐i:1ثJB TQg`˕NV83o`lw?/jLIVz|`C1c:pPH3;Inay/*%k^aG,ϗ'Զl;tt]byNFM3 m']wDm?ڼ6Bh7|ۊb0x*0hbq5cwև\viwe cx= dljQd3LI)h+-O,qbb$ $x,zhO]V?@mP#) OYACPˬ/KWu ?!q^4M9 "9ic!<Pt=vJ=0G9uO@:/ wsARVx^oN}+kh ͢X2`9]u)7m OP.aCp(|.ye<($b,~gQ!,¦HWxFfND+92 cȈ>R%!͕/.QR2cgi\%V("<9{@KR5hPNܿ(L|8iRF'"[ѣc_`~i:5 ĩP|ZH\ }—"LižzXN2#Gؽ?⼅u^(AO!yXKl>Ro<ԧ[nj&AQ3KEu2.$G7@5?L'85J+1ƒdSHچoH>Q3i+E!Qn=ZM|mo>,s/}_<5~*R Gd)9uGcRDltP9φy™e&\;n=Rq1iM;msup2˹DH5Nn+ w}S@:栟:˺{"x@.\<,x[OZt98Q .]zIB$dv:ܕl)f].C1s] |`@.^Ϟf] y~=2Mb?GOxh?( 3(ڧ8Z<ނ|Y[pMU5k65>$ܿ'$ f%doGAؚCxSċ?6D`"N`־EgDk=ip%v2Ѫ8&BcC2YK~iӘf@R$"v0pTJ@3Mc8v`!3T\ɏXHݏRi!׆tP8YTg_T 0O} 1;ָ'tQa+ʞ~H5|JCJW&]56ȕ`$3N3M|2?,V(ѡf2?5fD!q>T ˑf+byYϓLY V[xEjCwb_'$?b+[n>3 *"E%սۘ@#8=|͈Z.-X(5sxݜkkyy%京mt^-_ q @8^WLry`,Bwy"p! ~2*iyvbҬ[ tzs_H9-.U5 !9х-3c8[I6zމw8S)ѸrGn(m]{D:dJSfjY$[I9i(nY.{p+5Taruh{9yN2 n%8e q7a~[ùGr{|0"tM{;}.Jko! /mDS%$ ~KpvaGh94dh,zQᦿ)˓Xlzg, J >2%clYW*SU7A5Ո;tzo푘7sTOY[y @+9PFU0rYŘCRKD!T@;ӃG *8;{ )gn U,^sp 2OCvF89;) 'D^dkR aM-O›($נ|H!+ +U.,1\% J^CxW&(L,-XVfY! rtҨ7$^ 4䁏r&oL_gmgP l.f(Nӭ(S9oT+hФVq6d2 $P^ S:,hiyDD;(58Nf~a%UlljBLeдhU@rC1u-],^/ #MĽ$X̎A99dQ!| $ @k՚UƲ-B^_Uө G).̸| vUޢc{y_g8Ar'Fmolnm52b`WG\`_}!>0V݁AԚ*z0F} lfe^mu\l #SFKDo};W.[yv{?`7fs蜧CkR)m`yIc}YP6!.5ݳq_(x/z~ ,H=2xW;eFax5`~OJ:eM| rB)nl 'y Lf/SC_m\W+h8UZʺk]W|PH'̓$j(Ͳ Q!{, H`GWQzuNCؓ}z|>Bw -L<Цvsϸ+~|O7\j%Y> %Ke;{cld98~#HE1s>hV4n 5ВlaT51VR/Z@?0~$iRA:g~cЬYV,Bh Vwan[3.q'J->mq cS~yFX bt2aK\aҋb1"!խ% l/:=:zpK''}#%ɘlvq繽jnVO䔽FovC5Qa}muzהJ-S-|jR כ\S5;K,Wv}wWxAelk%-"90%pN9ԥC5 7]iֶO!)"[rxUӳVla= {3< Vʎ_fշI>,E|]Eˬ#; ߭S6Ӣː;# L>WtQGjo僛h :W&P™x%&L=)L#6)G. -/0E]㸪An>֧~. Jr#MnaD~}b vN`k`E\2kR?an%Jk mfBtq5)],ȟBAUi 똟YUA|EMbd З{pcG ^GZW<ʺSY[)LMzQEO;]Ͷ~s@iY0ɨaqbsK=8Z/p-smSasKSh/KO[L(oC7f"u޷B$\ T+ôKˬ$p1OV NtОV>4ՔsgAͪ 0X;W" ŻWMJgUG2CJC103)~XfЭTWƢL )2ύnQUgn8ްWO ] r!ur?3AK=^&&tQԪ0?qg5a>: 4^F$_F"(cQX/q80)kOL5h:N^0}u\qvVW2i=CK5R+TiDp^C'Z1F5A!pl:oyϽߐj{r*haKJJe2ZhrbV|ICS/z 'MG (w_GTi%<:-'\nH BkW̼vDƥ@i}Vj65/zɾ(%g i_-+,e W$$#e)B]g7t;r2dvXU}a)ĽExF!֬`:7 "~ИnM4fJ|g;rj&&9 V|FYmF?LE^hZgJ3 [mAI-x gz.bREJC-%yx^ os@UUBF9(=½eN(>iyM3uHE!' FY#Oٽ{!X4 &d$%ub3b!Uq>*YY&MHN IҮD4 jJAXq w;p붰fTHXun,*}~ד3~y#776+kE|$J; \mV>gƲ*ᅎBslQosKX!_wyO7A%n<96/SKLf *gW4Z)k1̛AQk{(aWU bxN(+:E)s]:F}Ĥ  ZYz1 {`mc,y!SbT)ֻehHo> 瞾'澪]#gKCkuBkMb :Qcɋs{6= vCL,%ib -ɼ`b+ :f.kNc{\:rJ׶,k"};[hu4v{QATbx",zcf>Ŭ:F "vx"̓BDH#2rY`fh9*tܿ3p_+Q0PMXvCdq G|H+}rD8^r""v}Oe "Y^-eč:'}7[+"%J. FMJYi&0v[k-I$M9Ԭ9AutV?jTU!~Uom"ӢȄGTE/`F!TvثWӼ1|ĉCQJFyAXT3h <4Ujbc6츋RL|).XG8~]|:}oT`^E[1jiBw;^at̸”Xb2[ ^0ό!%>Mʼ_=ѵsA*vT#Inrz^@Mb/)-&KSk8ۈޖKFah wBP {7>p5Gz¡"i?{C$"{r3YP1u:ǚma+}AV/6ָ5Zzf=A>CYeғy8:t&f4yUtfpA3U@^ u%r\pI1Zg7G01T|S(L/8O@ uz~IB0'h=:WAke+I_mXлZ E^W:se#n'n N -m{  M7;y -=ÜRx~o  c !q#l\}a@?H-yOt_IL;'[-͜vj2.eoqh@w_CO/#g*:?[6wRoXn3Ew _>զ0%.T,\e,0@FC`%,+=^l8[IUDy4YU&Wm~T|u䠑Bʐ $V5\|;\ 6%bi?b1-|Bun{,{!FsZrڇ$(4CнNK3ªNU( |2߽,uiU>ƀݰ)#pznD=3 遁슼B@Q I9Y.AװIN\؆0j#<"bHYǪ")%S\"*oС} WuRNmn'yA-yv|r*=&LR{"8bU)62;Y~xF_B@qŸ)6?=c.%fDm_X32O|d]:ݣ&^ >e Qأ !@-R%㷆+~SᧁĨc{W3,غ=e{tnԹ|B`G!rQQ5٪ c$W#m5go3˧yԧ_8!˾zCγ "AW=Tݰ03)X@u#Pk*ynXIIJ VBO Qd0qX%$ "ӝtjĦgYZ EC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id10281' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O F]Άxʆ5.f-9 rq;6:>@+_'g;hݹԽa~j_쒼-`55"]5Mx.V et ϐ_XG4Ǥzcڭb-v֥ŮpqZf00Aűr(m> O\礐ngJKPLBR]6&"6c c#}Bk0?Mw< A.T3KC>\f1H$P03_^~w˰-afaC$Em1H5UXBKrKZdE²p1&z&P\%kk=(KzxiOƝR 7eĩT[N$#z0"T}U#ۆnV <yk~wSX}U!4RMf{wE.kV Pk6=wjO F $!~TFSl[kVvV7u! =Ic >3 gK@Y|RZM؝0j┖udVxZ Q$Lֺ1>rJ򳕚=?[ }dKGh7osn}绝nQ rTғϔgݩUhS@1V5t[Lɐg&1+[1G).WE{_@ȰcU+}(&Lc ='@<^k2n^ X e,+H*$0uZǼ6`R!3Ȓ@œW G|ܭv4I6O;,i#ܞ6^M+l1d99a W$ *sp&qt%]?}S"UϔH5:47 ;xa u 428yqX4<5IN|aΨ1yx[V[K5ؗl. ;HGd{+Œ%zI*>+M5.IxR&b Dhoy#R9Z޲Wh w ~LJ5pd6Lc]`3dx!F#,WzNG4h 82*ZbG:)Eza5)BRO;lulbѽ&GET &<ܨ }2ej;@#DT#L A7idD (V;s(yIo/8\H8NE^+it=ϰ c?#Ibvy-z lRԘՌ eZ,tqoLBi~q(1YN8?86l.ȼR*n XeNdZOx7+`GFW$PMc\#9,S̻.~Sqosc2|E961 '4[\wA:oQSeEAB̏ο%&sXz;48:h ȺOEkپUPwWSHa 0MVz2Τ-+FWciK1{Ć"o5𒒸>jH5]Tkd >s5BΧfOé5zQeʋil|SZחsIaF <+cwɏ8= Gz5p@moH;q W_-Y2yPՃ b %Z/g0UP[F$2N*I4 ( +Hu}©@/l[}`3W /qLʔ{ؠhkIjNHGg4-c2t 8yr^ǁߢ{FJœ' Vdf֦]T-&;As}"逅G` Ok Kᢼ`^8֎`L\}NhsfK* DG{yW'yy$%)ie=)4(( OrQGSf-7mkź.)BhG<'ߐ;a Ǎ1롳y 0)*{)є#~8Y==OE 8 /GAh! G'?a"<2ޒ1DrHm "\&>`N H1H^k(3X,oMPn *? ~1} vrQpj5ʳ րy})Xq}U^',=d2 q4%̖xHmDVơ1Th#H Jx/١ωͥg=C)E LajcͩBɷt^^8_k\s񖉟 $> wsd߻>f:`eubыv.6sa v**V/}vUMp'y,6EݔAlRF`W״/LЎ0T(gYZXU?;W37S0)?q$_0Ij>2QL8p'aϕhQ)/,<&$!iq#=]zҨdf=C.=*_dlE#=Sjk8LD I[#SupZq Hm;EYC(+!uH;=dCj(9DkGlQ:awr^Zm@>&F8%*̺sW) 4uJU KgYEd, % KNaDwUYILkź6W:)?"6cʙtOk!3 JܶVذM& I3I1R&4X !0[; {_EMۜ7w$)&,# 9]z"¾I>^J; ha]"٘ }$ws!f -rOV+ z{ ,kOyG9ЉP&>R /j53"C0OFߟ]:Xrhks%b<·h,Ìc{lLLV FwZ+L)N4@T[x7_aADmyd~kLZ֢^ L ,qkb* 7/抄XXS{.  /#8Ag~7 ݖZЊpg[wug#`0Lu /iMS>, !P,ש9lOUC 1?򢁨͉ (+WAK-.3-ںy#+{mr1o"l+R*~ӿ^RPG#C g[6MB,%<~gsxz@ujo~|N4dHSKܩ'f½T vqռtĨi >O -*k q}h2P8QcQyzEj5O/Xv,$' אtvHJK^h1U3Ty4Ywv KTF YwY hyWEtvCҀwc%MXRj gʮ4cq>i#~VRґ%0 ;f(> I0(#dt2|Qpjˌ[%9).P譐nvbE'GS^jQ<\~IB^iFR]'*ENIl>XǡwG>ZE!<#o<`X\·&_C)4,T^Jc׾] | {D>ena<ް1 hrןbƓ ̩C-29%:cgA"[qhYG$IJF{q_k'"SLR֑+.@1UMM+P1/tCBqq?Hp~oUl7>VCl%[i V B}B/ιHN,@XiME/0n|Ͼ$8tud?7֫jwr!H8% 'd}F p8) T3/f;ae_LNxËuǩTua7Mpoݖ>ldu5v̒6Ԕ ԩ8 Nt< H?ە'cSiF|z/(sj; o*aU Hp{݂8kLڞ.61 i$|\RݸS\Mq`:&n27p uщI( uӔzs^;Ϛɢ305rx;I0yc>d A:QOCeqTw:Hj!ld|!ԔGUIurX |l:N(%7JSs #XhWEz+wh < f-dB!+=#+}(-loDƂVSlB_x#09*@(C5 l&j$z2W(g].i3s=ED(oj5\[}S;l0}R3:BKpBdJhmɲLuK{^U  &x$m?4 '% Zz % ݙKÜ/UjT7;en٪ʃ W7Xj1S˹w ofX\).c3tqrO)db<!#!q(h⤧ ܍ ٕm"P. IKͥE/s305Pyӟ{ʎf~K|`h.<4w! uXrRo i=u0Mgש}jknTf1t8αw+!$C>Uq:|b6rDN ^UE.H F/o C+d-қ/vHԃ%B? &P'@{1waTFm͑Fg{0's@^}TE}L?Vi83$)k=׫#P4ks,BsVK3 ;)̴Ð>& )q !5A (yܝW=k%UMwDzO /0*~ 6"@~r(DYM', g #P P^NYJaH(h?Fgː"P[H 8$ZX "6c% $@yF[oxN(i5@HaBGF|yA> q?_( "*Yi/A!1E7d}lI_?^m&4>;0|̻ zeA^'VYSĀ<-PIIf>Ϛ =0gYZ s+# ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?>e*TTWὛrkޠǧ'ijp[HV\|Ewz䟇 U:?edz|ѮMԋ sbg\ύqJ7J y`u28=-5>uj}<)}R^)Q"EWCxM ~"Լj G.,sj:ǯC)S匍Y]`ƺxNqq|uj4hdo>Sop1u] ñY#J&ag^;to$!4G̖1|t+nW]ns.1sIjp Wi24#!A{Ѭ wS{_ WذpS6&s#}a"㿤 _!'H@c fFO6ǩ"KXv[JjY˸|v9zi7 hrҕ Mn 0/A070 _J-}ߦ{ZK2XښE -L~hX44_ \Ib|Z?P VÁSr T {)xйMbYcGeY!xx1HƬgpTՔ9n( Qhf!ufMLe2PDyn眸wnv0 UTų`Pk_/祲qAW#J'8kzhb7IYLۢEOV9ՙy9m˫N ZIm̃Č\6M]QNW>uw浧,eOxEf6VZ'[` 1(Y`jy9[Pcvy-.LhB&`_KLE?YZIU;yOj(FYpHCb+jxo~#' t'> ARH"L} i"+lIf_} 55!Y kZLfLbQV/A2$VՀtHSՍTa E qg% Y7q .bTI8G,Bw:d4LY]=yVkESJWy,Yrwt ϱɓSQ q7}а_Dovչ0$KXOv1 Dͪ/dOMbN$f(ըu`5<@%H{*W6=/BRj"FVZգGt`df0cܨ{4dk|B&ZN]B`\?Mlk lArWa8P '5nCoNe~R y,HLu0@G >k=tѯݨ#?j ?ggn#j*Z9:Q.9(4UR0V;O9*oK} ks)/M#/u6Shco/xƂUͮ8!p"ݗ: !+r2[)Bmވeb@KVЉ.9EaSBy ~靡(3=ӛ:oqxi'iav0FU;Yihg ܄wE"귝wM)?G.bS`,n5戅8+VTr YXd6l:GH{6P{,d˿AtZ dQ<2#V4fq%0Lw`B`j.OG#CE}nh_M)*=ڹ afLgkIFЈ8: =W{P4`&֟ QTrBB[B F}[4~t2/d3ûh~2dtQĀ;s/v" WQb J ϾJ;(ݭTd>H:pS1]o&RyaDIK`+"$[XDKϗTI#9s|{߹x\@\"yeTyzR肎]x*2Z[I>CɳZBu uױmDwB66eg]@!xb<^o6YV ]MiWW)[dw8u!:Ӷ1;>ѰFx:AUQۛHP f18et8+Pڭ5ֆm+p2@6PV 0ܛd̼PK;?^Rl:a܎R|/t/Aق#?M2쬗0~,G7~qc$=?i4Wq! N^pWiCMi)fmxSL `_π\䇺7ClOԕūSTR+ g d * ZgK&3!HZF-InductZF-Induct.DatatypesPIDE/files~~/src/ZF/Induct/Datatypes.thy5%3-ZF-InductZF-Induct.DatatypesPIDE/document_id96l$9' |ZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zךk/[z +ylظCAﻖǦ5~E,o1L7H:>p>€b$Sp$ڦ^tiWtkۨy2YN؊6@.Λq#K?w;~ӯe'^Z"%`SQۻԴ@c,W.I3G3XVNd`Q1~OkgYZr#9# ZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQqL' S`>XPl.[.ahK{-wk7i1~xUqC w~$\ErhL;\Z_ Kv5mX֤)lYJrX C ++|֔tJs#Zf:5Ǔ@Ruf^vY6rXNdٻfά#Fbp1շ^\УV[h:hy?zbU6j$g5j>HQ7?roXHh)>нnn`'雈Eк% r <=; ٖ\- *`+NȱVUTDg!!r ܈!t PK(J̺-k bu鰦83g?*$pukBK9ܢeҨة tb[Qҏ`zVhu9I̭Q^XT-겣͒B[Z5.-(2-ClZ]54{m2U%}$ =f^OcSؽдKy;zö#]vw U7L1ai})Lok'Zlf/V`B)y[+\W~HXqEbKScD^țU;Ts:lXҧ)[]'H1ܨ$\$e@~k75U=2X!?ʾ)IoB^3 y4W[Ӭ806{_گ@^[Ȇ i뎻e/7Ő:z?3|cm?N]>VćȦ:nƾCw9EYph%MM|32e~+]Q)s55;]T}M1^W'wpGTsͭb 4g2Y:1xVيɟ"-:8^0=.Z-/\áaܻQp(n lU= %Nn""=/* p*v.O2vđRltX?FK%yJ5ޘ Kc!F+/ i^h?Q2 }D>ZO҇(YHI ^A30\L$0D@ίMzz|}`{@k`7T|<Jn76,6U?LEc,GẵNq-멗aV"^X?+y[ m_v;f:8M\HqS[1pWI?.%z'_n"nIg$QT{|%EcQU Q#_;L3[bEN/1rw Rj2[OXtHwPB)L cgYZAa^Ć%u'&/NBCz>j Z4ql?.B)`N.i |J ,B25W*VxO/=!OrxlʠAcz=7ɖBX+i|<>Ō&FvtK60WMZa$Rz}3[S34|< +@Ԝ5Nk٫ҿ n|I%eLϨ9EB\/d!/H ZuLGA'E{'@1hRqgx)$HJwxHfWqDq`W!Ao2r|^1\"Z gi`O 䤒Ҟ#϶x[,6?'q% yϬwoݙjߞK3hp3T2vQdlGb/1A,eZCoq*џ<2*~16{AɤE! lw B"&S|dfUWdnݐ?^J_Q=[dz#+UK.3UcTRi)7՚ 73ǟE/o E%lz}$Mc\C΢xfiifLW$y|.]͌|TkGJ}O o0:ֳ[łj]nGua1c|.q"9hLĨU|OXs;N4Z 8tʣ<%KD~CRt1@+$Z0!-[򚣠B Lj>Cj~;[&F2=>6Y+˥C3Gc1-[6rG+/`6 {%m.g#.|ʯYܕސ'TCra T*ȩ>?8\CVdxѐRxL&ׂѥjTKv@}$Tkpbu;Oѻj / ѠDjL.edlwzڨg,?VǬET>& /pQZneFtU fL~Jǐd3ȿܔTqM0]׳!L re"*-6ہ*Z5~.Y"<.M$LDe] s!¿d`C`zQ7hzY G& ]uy<\Ry BZ- ;;AC~Ej6@\9|+W.FX BA [h2/_bHS)ĺ/7Rc3{]@ *:\:r>P2,U=J$ɧާ c!Da. G98u9^9?_JVqu SLpNZnB0~ !7tOJ%w*Z]5Sipw "m@G GDLOA2Y- qldePZ2^Pwi{0`0@ rDKv0Z*7zEL8e 2TyD0@P"08~,9c\e1ok^*ƙ>@Apf_$%m#G0dD2ie؈Cik~!].8+A>f+܈Qxa̅tM&PAOt!S׏p!Sn 79c`u襾D۵euFK;ZYJ%{-I0% nH?`NS${i3(2G⁅`MGW R{ s VE'3\F.*WdTD5B|O,36yYsx' |q(w-my>>y~ub99 ov{W}N1?N^շHÆ0iKr|ijR3V7=Tbqe/`.;m4L_yef_ 5/]t>(k Qœ{N1ߺornGaum5Ss>w?y|aU}lG>{~ .0Lm> Fz}9H%rL)d #F}E/߱H^7;iYNo8wK98_K-F룯h,,`cg(FzeDK] ֛HQhDۯX1_b@, *gYZ ^dG*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118A(3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UM]·Iq n[:|&[zךQsE7:Z)˂.ZiYota*s燙MԧH&Ȱ0[XGײ5$G36%TLL ogѪu9!'=ctoK8R>԰(7X?v`B̼q7M 3*(&lLr? K7MXGF+TmJZʡE׹!ЎKUbER2@Y{Gʥ@LcOư`з ڄs]1"Dx}l[L?()8\QgYZ'3# lZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  /]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($T9sS1 Y1t'2+ ̶L˕8D37OY=GʝS4(+D3t6f9kѠb$Rڶ.Q:08YEpm:gIbQnʑNg^!^8|IE}N&ҫ3=jPk _: 1U QnZF- -D$>sSyF4m9X? Ʈ)sYKD\kXvV~T@Xᐲ9aNբu؜W!DfF]Pȿ.g|hE59tݻ 3Cr^HTw7uhݠخIrr{Lm #Wlf xY̿p<_L6דl4iBx!R{^}r8 ,,@*pvº[wP&2`bi%.ysb1:u}r}X4g^oWgK)+MKgg0/PC,^˯Oj~ ^qz>`i0j0J|~앁G)IOH5OFGj{g- ]>-vʨU8yXLf^+KVA,όEYy+nG QI? SK,]t°DGUX=&k85>w8C!voo-0N ;1TUr([, ܏+e~t\ި170%&%ݳZrdGmvu!IeGE qao1yk`̏cjªdZyHgN_[d^س{zɃH5dYSFzK•u|KGNСR0'ik8n#HU}yAh2 }Z5$DNS/iʝDIa]GttR֒-N ]WJZcF:aNSbB+x d x@̖ o".ü!Ҵ hƞ`V9>sJnh=+ؿFûIGekJ՘aVZhS~mVC> ;-+%!-ex{3",>B+7\kꐖaUmliI+ gPL  XM"/Gu]B#(*6_GwGѳL:b~)XS巡_=WELwGPnAaʕ ',kf4_YQՕ'A]u1=\Wstx4Q xx~ج~ـOf Z|!q|{x&.sxˬ gfqWPKtk8<5^ڧAS!uuA«$~569kv4'e UR /&u6+:iᝳ 4b2e c|dXֽJ@7K%"P‰z]jP|Kc/ŊO]?M~[=/[њW\4EviT.)!G4 ^Vucy 2@ty1Z~ݽyg|1k"'_l7/;~3zL,qtaЍg4i-p {XZ*:؟,pjdLC,Wu,=ҺV+v H&! b=MuV7H`#Sq!։*q+an]"׆h@2o[`g%^\X%f'Rgb&mFlSHZ LکYHta;{xXj st8,]tbgϋC#gcˣ _FoTs9O=*TUṤ7c^ FcW5I]7u gl}yǶvv$23߈ gph}q|ff" [HЩ҈TA1޷zz[r#uGmWN^J91qGQLI sFw 2gi 23%utlK|̀??"9! W]0QwVyݾe$lq lrT17$ 6m(B* e:)`weBVoYBeMMUl!;ojrѪS:2B?wo-r5C(ph&s @?c~ آ^^L_[s7ݎ37 w~+|PuhfymNd;&tbևոRრh'z ,!P:6[k% ЈgY3>q=4i҇O 3{ l7ULY[6:&oX{%6u=Q~r_Ծg,>X ;G_}D| {4D.:c/@_yʏ_IхW ۬x\ OVXSo p.s3HD]] BtrI[٧YA!ΓEs<9s$I[>M^-$*:hSecYw3@=dZ7._żU/v΄p#]\Al\X=e1Y:CXP%uEӻ5꺴oX8ڲՕvA XQy6R2 .V쿠ޕU*;AT#]zfL͸TDw٨Qɧ!#7?%MBn4:A%<&zǮmϐ$*h5/rA#o³Rύ,{gIeUϸ LM*|_]*Fp6_?xrx7PU W{2cبeiW~mq~+=RhB$:'|x˔@HɼH*w EBk1Iِԫ8˅5a*TɒnO}.]Z$R# >%ᤂzȹ_t|6<'@A:V9 8 CtW2=iZ, T*{pt1Hv"HI뱶4DK>*p0XT5`Y{qmBZI.GJ[T =8JEhŠ ^ nmDǜ96R`Vm4j}׌5XНj[/ެZdVv$n |o^[@/pf1ޖ}f~|]f7 %IGsgu#ٻ>*r <\q90k|AQUc,Fu6[KD.Cisaw*atص=%[@[i@,HY-}@I7Z7IL"7`$= B j H m(7֣"0lDNՅŧ5-0i"CQ>v^JFj?c52l*~qmTPukFC6.4PÕ>y)vp1O\;QS~o\ހ<ky}IoTvv骇s(@5&nq$}!^tN F x"czesi `R`گ1.m}%:-zTl]3s3m,kyi6IgtGS BH'$9- wFO.G19;펀ŧw\_K4-apD/Ud@M4ʔ?uOu$Ks#"=FvT9^s&##WO:FL=_[l @o1$,.pd>@ &ӾvB܁m,,9/%F6u0D>[ MyaЧL)igS{V7]9] qS7JdoU+ةL AwX@KλxWA>{ᾉ8DDxCr=ONUďpg}8  Q&n]Ĥcb)J@O69^Bn}5S2%}FKd΅u;|yK?Mizfe#FG?w&iDiF{ ,F\sk. Cou/U` \0·Л3]dS7I|HOdޜlRg=7 o"GTrZ0 c & z˨ȔM焣?t?ސѴ@جTqKg7aO#tڛXѢBE }!Z1W`B6IR5V:#x?} %L߁dU}!:aڻzU~،<_khg1'iYͮ [P;[}~/X M*ӹzN9V7e!ex5b8xnCdm0̈5XJb'R^7îdhpA"Ơ3k{͝j:Lfq8vR_В?gIn SE$}l4 Qbf_}GH %r-mW( ?!tLqrMj`r2zR $U%Z== $ݬu'Ȁ5FgOۣ߰1Pq_#)> /F+}vD\PӖpbWڞZ\ZaUJiC=-evԸ9o RJCkJ34z*N2MFۧ&.6;1*VHj󼫚;ƵMcWٷ.L=Lٶu3Ǟ+<̜{7꺩VL!@\tzh[G5?$g)۳ljж)f{)'xTd|a2Tp-]2(xPrèh1>QWpgoҿf}kM% Hkm ȒQbO$ 5Sq1% ԇnO5_鮴Jr0e!s܃:3-|&.%{4l+5hKm0O<NM- 楓 ^n  9; 星v2a y?#;g<}GpۓF Ƒj YIjs4 )/-JMa=e94'QQ3#n #^=J#wP8f=%Ķ7 ,vIJ1>(/poXyWwW V/"OhN:=˪xz&ɨZ0xkdaĻ4r5d BXvӎ̫QЬ] e$Y'M6A\:~Km ț&!5LqNh0eYe 'amW]]iׇ(O &e֮jDlϯ.AHEZ=t%P?Qа`W<] ]Ry5;x%!@MGL KeO$iOz^hYvԴyT&G%v%jShk|ibF'L`g|(gxU~&Z>n.˺V*z"i^  yuy:K_Ž1IQ#0^/)upJbjKzDB 3.9 }^fHBC,S\cƓ5=}L#9p%ylc EK27!wTT 9/3XİjY`'E_UyjBPTݰty~b3=-1W89Aɉ_y@;Br/ כeK}{QO2N^wD?E+'yӡU'Y?S n$*B f%s ^=gYZ~/ /# ,ZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! UsA]ˠ)jk2p O6LP=͵gl5gՙqjE- R\o<;q٢Hķ-2. aKmL*VZ*T;O^RM3C:0⃞kUiD Ow@zE.e l_2s=-emzy_`H R?փz0CA0P"FJsgi$C' >WW囫bNg1_V䱨 \p=8W:sp{3CNЄ07}oJG O,=K#~u\5R= Z#y3T98GԦ֞Nk>^,+Ș( 1V!\2 [2G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98?,/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GN]·Iq n[:|&[z+%BM{?t|Z3B| M (i&0i$ =s0yʶ,)QJexGvsPGc1+Q{)ٯI_ih+S"mpv:҄>B!xϽrbP;=`>09`W_d,tЎ#CiW piEwx0!n >oU`8IU?KA{l+( _o'*{E8~*PPk٢Oa$Ń2RT-gYZU+/# \ZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*f]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM2y>`ڶ&>b.~/1ގ#bxEAm*Qz.Ln9^`ֱ1Bڭ@,D+O>A nL|?8(k[r_J&x-ˌDl~4V=JNHKc+w'cwhM]wX&Ik{Ş1ƳF285_k}I,p䣣 :y/˥0fKVGTu;(Nyq{ ]5P{p?)tC?8 3 ʟbӡPlªC:֮i" A:}E|7n'O$"ck7xQ& &UbD͉N ' WfBw5z%++ycijM־3+Fx*vW.}DI鉆ߒH=MCl?= g%D PM2iڂy"GN<CE|A˩0_?`tL ܅*x\wY `rؿsk8cEgqN^mڙb!1VYFf{H0=f*M,/~?NOv3 L !4PnmP>d% DfGMOA[TKâf{z8 }Fl܎{ )l1TZ}jnSXJoF2d!ӆLP?/]/-֎־16Si %ymd={,p DF~+Ӌ#Zk6#Vz;!D``q/ߵvnf2".r=J.2U(M^y',5^!QDC(V;bFrw/"Z5j} i"2OAҧɹ6Η~(K1U2&#>3mDY Jej@Th)%;_-TzӠI8<)Ֆanh3#frZ3ȏ픩ɁSm\e:T$׍~KR+oiz6|o ,=eלzbOQD.&k+jd3p`Q$p h59a/ /Ң#k S44*Nȳ gqsS>zBJcO J1O2o;tYϥ[i 'mXY!nUWJջ))62dÖc)v{mQX 7n U?16q#AVf)'q3e1p[lr;ݢ}xY^P?߿%M ==*zz=Orտ6;./ iI}CRB.8yQK}X,n%q/fRNv ״n,PW}qR?E3w$Mb/CFD1нhik x6X`8O:o]Ƨ\ITƦT ,܈7.-ľ]ikleLd9ynx|yS%~'/ +zߖ@+oyQ;ͺKߩ (JI)%POphSfU)bMq` EgE5\f|<*%A4ON8 _( ,i!|bZx\ʀ-qē*k]n}_Yͫ#\rA-=P0T= .Q-.Ny,bzO#VN #ws=9b^|?׫H ꡐ;n0)\RQ3f-2 6Y0iD5|bQ$avY">ȋWMpd񭍡AK ij&R0D:kk܌gW^fg=o* +4҅HFեɄN7l/ދ-W(yy]'@-x/"jzJaNl)`BzA+YէT۝/PMr() Q5|`aOW! aYW4/^m+lXxGHHWX w$?T15 Yy&+_sx\O ¨~dB+k J[H$'v1O -R^Ĥ"#+Z΃B*4#(ps?_L[x; E!Xn.v>yi ;D16M,q|fU N7 s <Wb+AJk ɖ ˱m~ :M ںX!QloJ#=11Poő%<|YnBFvޚԎ7#oq߇e+]ߜaY 4Ѻ:]|^T cϔ19scpB1XG~-&/O+,0QT`dO?~6n^M|5R\,{sY@`Q1:ʂƼxdU>zTo_\TԎ^OF=鑆MBqkU7Ga6E!*gmpP)x)HAu39\&LosKmlՒ\8],NQx@%VvjJoI lr70^ O*9!7FI2RC y^1B){Cv)va M.2&Xϣ0=#uSE9c/4Awc28G*億v~|55vWKefg9]z߃Vc;nxWVO>xVw5{}R+\uŃ0%VbKz.1T,LbR:q[{R#½oJ"PKcT0o(Q,\Lld3g[\pn hCLE3mwm7Wq@PCnXpeK9%*/>&a2ݎ{< ans_9Pņ C|mu_20 q%b r`4"3;f޶u|Ma]6N99gxͨ|00Rޛrm oDH{qyg$vP"Mm,X!EK m '﵌$Bu IxG!sǗ@)<C|f:^]Ÿр"R'O1`SB]ucy3OLȾ yQKybV9{зk+dR4^~4,l-dc+YǯrN[g|nG) $ŰEu^GiR.P͕~nuG`o ~(}uo" Elz~d{E__m-ˇ5C }nRYRui@5[Ĕt>*#+p%pZS@IhU,B@AujwCËHy6`i{:'P GVb _reV pWWr5P~XMg06/qx~fD1MGI&ZrCKnm8?JNDprNȇvկ`?x.$T¶lE-U.Tk~sCfZrc"bd@c*>)Έ؈&.7p1M̞',Zp}b#m[ocoyO;M1SYj՘юgdP#bۧY.;d'FB ϡۣd"2Γ}V'F]CJ!ݥ0hf|.j*o 5~s$dopq {L֕N.fEƳp'̡gU\nN=pbVZ -L6Wq+SO{> \=Xr?WZY&@C›(_Qz>=v݃Ԉ#M,D25HrV"(f/ZߥS&Ly%:&:;~"*Uj !4>0͉l=ٻҎe ހ1{ o@զk*_s*omo08FA~Q7OX/)CtI{u[POq<ы+ٻI53j040YFc_ⰱK" Y7͎-aEU/rW{sY|iFۗ(;Pv}2|U2k>]L7v=_Ebtzwu6^;fMc=e7.B ¥ v611/koڽ!) NuFʯ쮒*j<`KniyY$iNJ B|Jx<0OyR\65]0v6kY47#kcW|X ru)`E:u4\̛) cmY++ƌ=s/(R%F1`7  :9qTb防Vr4haL>2XQ?b-9$NgW_9 3-^en*q ܭ;t:`6f q9Hi:".@u3xzJe,$կ2Uf0ջvٕZ3S{~T1YI/Փ;L>#t}ڨq:S#giQJqɷwnxlXj%]Y!&%Io,[~E8W$A=T]jYI[ܤ@} 14u i t#skIftYҢ[|Y*O01y+"x mߐd [+M^.b)m<*OaPfqf54#ˇfܡ["g^y*ŷ*Q۳'qF8qx Eڂ |b˯6֞F054.Yr%xeyO8Tf ΅J!#VP59~@ٕ:Y :^BqT$#/?Da^5cƒ0> ayrnWpزiql_|}xÙ^RQ2g:Me)P{p̢:W![Վq1R}l=|1݅?" IY0##ŏf\[Ю=iFi0../9Vje㘫؊ejn 6t]nfQK> 6aY TjR4<if 2UahA4XpכZNRcny:( WAf 8Nocc QEuѿ_N9[!ē^<Ǔ64ay8gaQ Ij ID-z:ϯ<^G} ʳ`.)`agjoє`9b%wRazffmwG};~(Njg2f4RMv&|~1ΉT )[tQiⳒiy[mtįJ KP'˾,v uCP=lc݃@' CRzD*<n[$EpdÈЄV Lk/U9ĴTz~c={M,7j6^X8݌xA09&!6p N$>dt&.bG-l€;hUnvѮ%+H%} )?ASb /)jDxs$!Tiv )}ԎJ%jEz15q{7 ${ˢST {6srohc?cs*,wN ՎrEmieZ4x@F73$[EJz^cﯾk=I0Omʛ}mL v}S˽,,8g`%=Ļntx`I]eiAp0JY:;_!m8Zwrw:}JTh.\z>f; \׳'#w{=N]RwNFR^z;&I#".:(BxfvLxEƶ_-JUKWrжΊ(xWl翁vOK\w"+jf1޷g ɴGzz}ƵDA Qx]~*Z+2ܕ&*'Xa87}^ωFzA>'v]գ[>a :pYKϒ޾/?pgj֪( ڒ:g^`MM??E H3{h4@OeR87.;U5yvnXnan`E3:]qOp BC_"IIfiCu\"ˣ894_eA~.4to;Se^s$C_jnX*]>e F&3}]8LnʎۆEM48W6}/Y_W!agtNMPUaGTIˑI^"֪R5r?Ùaq;v ?kCkaLuW^,|Mk?u" -Sy%G ֆN@,*=;߅uWh ijiD!glADC?K{,qiAvrw^l/UXET~Yi1Zw?4MP^B0SUAExI\b7@swFy@ q4paRBe xgm[4/8ӌCM/J;~A' o$j" 9i[u7@pb,Plv ɝП5f‚"x4Eī 3%2*6.qnxu=GI7vq !K["qሙXKaMHAtNS ج'C\ iM‹7kg3X?ψ%ϝbBmw!efPe)c6,"x3BB4-v  (3 z_]vQȲ-I<jZ2¨v؂Y MZ8Ԝƈ9- !@I)h|/e6e}TbFeO]>>ͨnE i1KSADFao=y7֢t8<+qdӔQk۵zaj 0fɴf5;f\.$T8GٟOH+! 5gf R`RTI1$UHd$Ʈ'kR $HDٖɘU4waBqԎKj'p3`hU}灢 \Iu i8>5(3{WO¯/h_ް~:A8bcx$G#tYzhFcq_+ P%Q z9_ E- խېB#!5`O7:y?D@h¹b߭ uIU4v.jWeZ=Oa{.Are7aZ<Z ޭIy +!rQteJQ*lhN;˚~6FDq5D@DAxs_OuD|ßAPhg; w'^oE.=_vq|w1ZjeA[(h6%ߌKi|vI;g?K  m&|c&4Zު wNa3a! M] t''9!4 {]W}0wo(ڎ^8-b'\uGa b]+۵tP׈&g][f<{H|F >gOuFfؕAi\~.@eam~G XjVTn8^Ln^ng{O3  }" įnČĢCUW2`,Z~7|TmS~ W2r E= bt`BiAx?Q!kn {8TV.*-EByg<:\ze5J6?QFГ_á0X$3ENeG %rg\9[8k%J?=gM09$V3-߉f_W z^"ĄưWR|,- E=bI hg \(]:Kt885 D\AUG*!Eo}$2ҹF!6Z>Ji:6c i@i1ncDž<1x+ ǂ8~ˠ^TJr.ճ&(L}RJ(*NNӿC9jOU  m5i+5͑3]8U }etZ[M )l7 `7(}dp?"ͤGRɌ}9Y&\yHwA)]c˜P;=#)h+!ޙ2$FS/ͅi y207 \2Qe5ɇIKBm%IbXŻ?KI: $]Ng+Wh4dRIhr@^O `4u&Aj[Hb 3=&ɉc;f*x4R>(;ꄇcQ~4pDL;-(@*M.pWf9f h_LظqrWtѣEAb͙]OnJT+6Emn e* zdBuN%ԃh2цyWR~)X\<ZQx-vb/#h }QR ^'Bs$x ؋^@r5ҕ(SU^z#茓S?G>o$*c]N.%b$\̽dS)&"CU#9?x)Շ4Swzi/ ɹfOma)S Ŗ19{Ƕ1e2 ^4 7[tiAY 4.wהUe|[Q;j)QC3BJϣ|E!,&Ӧ/!,*v'?b?ŕ^({t$'s&O+?X}dpY؞Z$!g+/F5J' I 0:!Yu &W|Y\wMM`(K õߦJ[]3#Cy5<~@B⥃FG7*9y 6 JS2eh5w[a 7j :) bU2Vd>GsW&3&k\LgC)xaJo皢V~B wKJo,h~s F(k>tO4Ó nw,d ] ui/3%o"\s;Jsd+=ɰ5A"v7DصKZ5IQ<& ܯHJ"H D|B$4=V;:oK ih?8U1˜,L=L)(3Ќ']UzЉ#lNת|P<.OBmbT磸GLOJ^^DAk2mM`]:{z|a@}Bv{ WIⱗ~T$@U+ξJh+Sm ?|G~1uT.&Tݏ5˓r"'浪mM沒+AjS|L4Q-u苧 J➊\Bj!~wk$'M;f;/+/P5ہ @.!]VO6xӉ%OA4|&Nyfb0z*C/!G[cM>s泥vp^P~NpJ6 'ey" "bG(К|5Je龕Hb|`BwATșvcLKP}mucNsue20CN>;a U~ÿ/6ór-ԁտD%S)t'IiM";$N f4-+#qNR\lyG_]:퓲|g` Vo .U}7C X~OL!ɪ]ū((>}M4Gv5NJxc_?~i (Ɋ ,'/=py_Y*}QY[q&:`u[}n}X'oaOLuQN_G%!շ‚kCfשS qb褐y8+dt\PIPa}2kzpQP_yn&*-[Q2qF7Dnk}b'R؞ "06xDXlF˞2K9Z|;$. '; GGllz6x?+_f-L(n?9.)NƴZ"QS u^3kQ=~ p^"|j!07/>26ƨ@a[qq+aqkcˋw{_`,|vCAz;]YvN]x!On Q%PE}$FzJ^/ ~%Vvg5v~G'n>;Oµ ޻Nye{h߼c[pICKl'`*a @ &זBDUhyS_tEaC]gBF]&lRZy ݮ͝N9ldSIL+OT-61}BU^?ԫDW]($#X1'YYVspJ`1h<<} j[Aϝ_<>›hUIo`pKVS=N1.QhIt(\g20ڜϸ*zQ#x$ĭ:'gP4/cyJ[#K5^sGїITֺQXz?vooJF,B,68iǛ%akARiE\NJn%_юMdũ͕&Րka3Ė2eShDXbhyL%"pMh9=ƪ)R,"WvL]v~Cq˛0xX/$Y9zjn b|I/VgE#I1} ټԎ},H-'tٳT)jlYw0c~?!9/)$i1{ ZfSeT)3 Lyqc EspbQfjַJЩ*FAHU G{e\H{ H<Y#ZQbbd9c ygJL@ޥ`"nJww2IВڴ( S<~k#zs߯'ݻ* KˆEx$J6 )Y+ǑMi#>:LQʐyIs6xGhnF%0{:gı}+է5sV=SXF93|SPTMtNlzI65 M6u9 6G$ӳ5lZzs+/y3Iܚ"֯ڂ:-ތTI1ySθ33~Câ+҇ {VK"'.+o`o!QÃwIl5Ǡ8dŃdG)gxC^S?a1m77qb)HybͥA@sOEܦݷ%nJhxE : Jq4 ɩVF쇖n..LK40C˃E}@T.#7 ]48T璲s?o_`tm @B8UBPK%8"m:oBoWZr{ɗO ڟU:[PK꺂hw *)}gv[LER G g*5]:Z 7NcMe5Q74ϤyA2'Xw뉥\l ± #svZ$)6 .X؛[b"G>!G%E<#0:I|M ;Du 7 ٫yLVrG*} fܓ1µac+]ޮDf96^֪7[-ViQW` d9g"1VhcI P\E ͛l: # )N)f"45~lۯ]RY!' "xLJ4p3k#%=$@aJ_Q'ja!Y'zy`XN!NqcIM+  {3ڻ,GOM C&r0ԳH5__Z#h]7xd?l;e17jb1 dܱ >ArK YLI#WcyMl(`gI䶢ȵS YfZ]>Z-_16ѽ޹Nq{3֊қU(!G O}\#7@a&j2*䦀k ]ӿI)y 2ˆ?H}ļ$7c _+4V"v-tQ?—(NO[!+K\9Շ`f&܎Gr@5ycuJ,?Ӱ"U so ҨUA<&_hW&m1E;xw`<2Cʚ gfN#qEXM'^wD'>ڂZbtRӑCc^BzKyOѭ 44?{If4ycxtxT)ͷI؛!ϭ6%W}8<[K{2ĉ-%îsx2*dig-+A7: r$,%4bDjs}|to?Ԡ *H!z1ziO dgAm'Y}_!O~WQ2wKʂL@}^y%Zn.l~ ADV*[+ذđ޲}N&e+7CtK7DF]stO Kq'{l{ [+tp癦Un|ܴ>/F((h*m;dm>᪥jz, |,LI^tVxRLf/a,b ct?{6Y`0j^$>=Hf `| ռbONvq v® K7aƁY[uF2)i*T+4Rj>}Lwm5n`5S5d| %8lQ`h5H2D#Y pa=u;ձ Д]܏ȳc<\#?vCRsn ˽Dl^PGgм@ SG@T:Y*)'wn,o՛mZM8F. -nCy{}1P/Z=w覬p`7_eKilx/1 3r1P]lr}T]n6=Ou< x' )\Q|QPպYHuJP8FU_!IP-ds`/\5BuYjІь#wV/4;ʜp@a5?zJ,R\|wxk[JӇ^Z˃))᷋1$ʔbz[4WۀaT:<$ΏL?)u h_t~Ȟp\ݯc:7ʇYQ0)G(f a(+ B {7xxv3(/~MMRcZY;MKA ApN|@2ْb8md̳9.}p9mEQ W7HRfE+]m1\j_'g_iƢjl~TRJVG8?77ߣ:B865ľ!ܕWg+2j{tnI#\jM&?!t@uC>hY;*v;_5SP/ @{(0[Kz gC;n + g)TцԠJ4vBQC ji.R4W=@uV}WL6Ks$Z3mv#qN;}3)|"<O ^H%0 5kJ-u?yAK[r3; ۰|gV!75? aUWݐ67`m`Q%RA 8WڤlsUzv㦝 w`viάȂ8u)@/l^ǒ!81Rv$ s~C1#4=OtXWkr3Q<\>n;-$ƈR&%2s*kdg~ ý&H6h a[F]a$g]g =x8@?'_^lHwQgvvw~FR>pziM*E8_GA-{ fօ)0ƫ P6aL>rѻBu&b P <̥h#YilB4 GQOhk'!؜15=iar"'QLm_ܔ)E5%3swYyQA;_uDg\"1X:R&vζLlŚMel ;e>)+BV̼HgYZ kk3 /# 1s%v0@qֳ)`;:Adޝ90 V?ڤ3Qqn %XuQ[}.[H%K{VС/<]U` DHU*߼ؓ.izS"mǛ& "w-BR3MmJqB>,+{5 Ɛ\isxkYk2b1a$TP%,`JV?K,T l Y!1RzA@G+x+~zU띷=̲gXX6, BМt{Ϋ(i&¬Iח.,t2_Z+³xɑR"в6Zh$w^bC.;6 ŦU;âOF=W1s?/q{ΠN'niɜ"JC% 51J3}2&3 iʎ~P2׉VrT;O[SN)9i?a^,}h)4]p{1 d+bDb5 $*;qE›'Oôx ˨UC^>oTُ^Ix{$&Q ` pd M,Ëc/3>ЏF0YLD봛+-2?@0ת!sOǧ)xbC QjB ]p8#kjMN@gah{*.'kkPeR#dθ]7A\QeX/(:jyzs(6KcMcOU7ђ?)y FUNpa >A/ܛ2:El l(\J/J{02wTv`mB%Ac٩N ~3J,N-&j(Nᓒe]ڶL}WM"Xÿt^!XG h]p,_1[Y\"t6.4Z)pp^z:eE渓%W^Ny߾VĚd,0!e_w)L]<%|V L<*nA c1>94?.KrV3&[HBоa9u4w;L%GUTkkIWmɕg_$c5pvJwA"&yNo'egiK;/ \7èdzU)7FDuezƽ1{7p%x1̧U=mCi%.bEequ%4f0wT_@{̼<P^LQި]2rC'ݻcm jq[(Ϋͺ..h腂aͱY~75m)p*awqEA O=stΠ:[]U8' jRIxk[V?0Z>,C_XO.CC $~9[FbQLG#D>1Hq.lj=s H'm̐5kzR[if] 4հt?W7_:r+ \?caD!wrM/ <}?9oz"e LZxCPB&}dl\nB+~o(Th%܌In}LhSţqnDtfw1`j/dr *:TZDfE_ӊXXT̉j,"Ct m6 i1Md.}!%Ǣ(~})\Vy~q`9oÍCU&V NPrn+OF2L&D$$Isy0`wsQKĢMGr[tG,|ڧ*7UfC(fdyt.kQFJC7,'%b|!)0j^B 븣.x1k+sYv~/(q`Vũg[g,\1mWG[)z@cOlq!kz*ùnL5̽˥yട(_$JrHI|(vX#%;]QA)RKgqN┲us6  R  [7 )# lZF-InductZF-Induct.TermPIDE/markup7zXZִF! )n]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JFOň |{ +djhtr2/QSw8z;Sx$v@,̏l [Mf!sQLψ]gI(׫1d2_5>o;Hq p,,&!"5ܫ|Ӆ{&+'%g??;ߔnRVWS7*fv~ 33swg‚6-jN`N~xVK/ ڐVB[MlZ׉ћ k_?3 b"Hޤn\waLNQk%!enW0TpCE/z꺋BGs_Taq}(AŪJ[XX _=HJ:^fv#f[Re9E灏1J@|޲ ] (уҦ$gdѲCۯ)jz#ҸOen~!ޘ˵U P7Oȶ/FgyM8PVu^O6@9 HD=O,ѩ[:)dDKNP&N~[͜eDr* R d~ 9\T2RvSg_})@3~ptVf0$Vu1fъ8Dt#f!s[ $ ѽJ}eB3EV7<49#cY+*~wƐSdz+Aǎ&ճ ^o,wz,"u=|q0@|٣n4ZA76cDQ%sWng4t]ytCw ^u [*@cY 0. \e@eAG 0^bnh/@*zaݫf-<9 h"!u68K9X-I l*&6К8$׈cm%)lD+DSx0E+np 0.$B-IFC5aVF An1#?}%m ]?w*6| С%lkh2@ifS)-`Lw{ϸ7[k[Y G&_W)fS[n01ٝP.gډrnA3Rhԟ1w(%=0Ӓ A"c'(4?WsជP[ߋ=ۧݪ-oo㠽dY? fHxۑId'RQA3yoV[w\ɠFWd.;Nvk+KEy6wj!ԋ҈6hʞa+W%MO*QR, p@6Qs4')ƾ-e iF?<F,wqڭc5lSG;ע+ n}VG%KE;u\p Ң +zcnx+)(U0Y`_bJgٴ 5hMdbeY A0Qn"u5HZ/ݘK.;F[l2eЯժ'soM3k>>0qn"&M`x+/XR~O¡_̌Er; @ e:+(i4`>"8~bWM"~gM9(h u:K;EBGh7p(k镙˒s"N_YO|rZF-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|7j^neePV ;6aˠ6C΀;s_)62 5P2g*ܽHLb9i>w,PAXpv; Vdutdkk:W#)sY IZk-:+T9YsyC&qα_ U,.qgޓt\疻2H bE4㱖|[847t(h>}U#+916vү .xvuE8w?E]CUAzzgi ށMvJ99<[XZu5RF(6?;I2}M O՟kc)2l4LT# 0%Zx?wv GZIqsFg1ku0< FEY0Z!97|x<aO3I3yQwࢣTF*"PA|YN1 E1~ 4g$C?mKe|9:I$~5aLʿG.t;Q\Tok!Q ;_S K1;;׆sЮ9۩ /uԞGW:@s1¸c|:+&a |g̒wי﫟T J}p&9ugF=b's3oGɁ6`V\z=W3JBB8EXkk$*NH``vױJaް0KzQD:}8a8EV%svY1ﮰ%z-|oܾWp}0J_d!2d n^%dڝ'YgYZ; <؛ʗq._'_7V;lQRlJJYP6%b YAٮJ{)<~KH^kd"{菸 D*/mdIeI^ܭC8VMѻ]q!RWPB"%$hg Pc4S">5r.Z2tu>㚫<;EYFWְͧ&9fEazGHK\96Xx;Uㅐ`4Sh/0 >0b8aZ4>we30c4{ܟ@/O)+)gtىYVyG@6uVwe\ohG##T QM)>g?DwUE̠=c~ϩzE~l׸H@+Mnr##n A7V?6z585@5tl+m+JZR4txwwBc R&ak/WSʀ#m͏u]?'kG-!,|akq Hv{c4V:\Xũba $^`p+v=J[@xPt>W6l[F' PKjtޢl > sņұ$S~f nt!ջAHȉ\mbc{&k3"  #h,X͊<˾z5hD>(qґEGEiplL겷9D,BRW gzɞyRW6vtl63m_]FW55r|^CF3.25)^1Vy J7wUCmr*3h{$θB"n|ȈH9 $ٵ%6 4_Yp`w Iwr1jd e˹ Fꁋ9(wf68j.SƬ,,E-pir|>uQݯwrt* Bn̊>1eV;Hr'=C?O]M~y|rB}@ nW%t)$o$tk;U9fKuBPJ1/[j Io"!'>V5ۏʟR.(.L*[A!#P_!Y9~nowS ] օ _{6h+w!D LaO^Q7NRcC( oyZIz'ѭzb,%TA+!xچ7Ou`TnC/ANE/:7ܑFmzO>MyaR/lѮ8 pAQﰳyK@v>&%>8g;0k5ζ#C:`j M]&hW1FIK~0u琫\]̏~Di9[Ku맟yJ=E*p::hsC@7<X2{+H& _ Ⳳ"nF> u_5pb+oѓ}O_CGHroˋY\:ӿU3VF@H%_w,vХ6n+-wu:[L!V4ڙN'c[s22[AWh/CK[8]Pd,V 9:M&9EOB~˚e$9ޓK` 9!N`dŢ9/f|z/}&#Mp-&-:9&V3gwHh4g0W=w3^ voRI%E}=/xIa䷐ #ciT0;9l"4V0 AX ޏb5HD"SsT#taӬR'& ـdί@V&DqJ4YزJAJ<ҳWQ5 6[]ˎ2:=0%U Q5mz7ecYvT\2:B9LoMۡ"\vfJ4c\~Ys]7Կ$hC«c=H(ɡ.PHt9&; hxI5T`"~P5O*r. e2b{TEL7dcl.p.,R \O~1a `G67K[$b6Q9Zm!ױe_t5pﷀ@Pec[mߨ7f3=:^Z?mf-Y&DԱɚF.fUofmTȳ$M&kuC+[Ɓ0qUp(Dx=*Az%_SM^JVWH_g7ĹP%F֐ioSR#9MQDM+^ ٳcџYSMQeYl9u|,nk_Y[Z_ =bXDTF>U@ރ9]%rq2ΛPil2T>x%5`>0kDn77Wim+z'H0DUnoGr Yh:;ُ+'U:6 PMIG}U}Yg>ӡ* tt AfȌ.+b}gV^oizh4h=ˈ>$ 3BfRSli^=K3k|Cxyzr%m*[wc5V€Ci0T m6@x+h@]N~HKƚ-[ ReTLaܗp&y W(رLH‰ǯNK*VT l+8n0ֈ< Ww0O 6Y3,Fs,dF(KZZW7. QJoqopzU26ÚˍV3vT;;%<ʥ r lhV#.ߙ^e 1vK~3X;-F%24&5zoe9*[Wza|_-`'bq5zݛ5 6[hϔr@%&RS+[+Gm-]ִD=b(x&>Oo{h.UtNvL|LN}cyFI,{7:P>IF$ɉd{9 뎓retL6~T^?nt\M;6 >)IQӽ9=G 7W }׌ފuxN>EtnrʆZɸ,vIЕ}+@hݤX 7{LZ:H+{ gҕNd` 3ƢGKhAcDj׳gt)V%c,AS ; [@akݽݪ*LtVv۪oQ~!40pVR"ec!nT%ĖO_"xQ}pV#Le7- 9./$~EB~jY-(tuuGqH<%z2d/ zwڏiQア4HT7/דT#t.rƈBxji:N ҃[8q잳V)Ĭu9?AM xD<]:AܿeЅk r(ޒt7Āԧn )9b[0rkOkqPwF ưk1@ʐ|ĈusJD x{cqUofµK؛ 陏ܙ->a4罸cG.h$[5]~U7cbQG'Jl˖_ۼbo(R߀?Ihb$ܼV8Xj {o>$lPɳOhN}^QB裪%8V;@G 3?ɏ(6KmW8.>-  ҿ2@Rཱྀ; ů]Vn>dEr/cϲ%BCp.r  U-VySLRۮgYZY!o 7ٹ7>MWRkFpe{4iD:XOZ9}2nvxkKVp/`|[ފ֭85hؠTG(KN.]3 SyA91d5{۹g%)#`TLHujGSlœ,/M ӂ>)ai(dB~cl߈ U~BI]_8@gi`W^V)l7:$|vcc.^|X 8;6AEz2XR`z+W6_ u=yEDxS"$h/VA6eq!&F&q"c9q?k%lP 5y(zӧ$ )f,D)%ƚȲJYi/pz<2{;إB4_ɅY/뇍Hĸd-xk]=`~#ʜj Oj]p֚yA}ܒbPoF=4e,sO֟_o)!\ 4e9˼۲Sk'rP_$ l8ObtOvR:>< sI>k/76eT ڇ+!.TOJ plW}j+b֚cX; LcÊϭYɴsGuF$zfLIO Mzd:GFRC~g"[2r,poF$2"2bAŗ߃qK9,FTKS92$}7zCҖhp1"TuӚa"%/؃۷ dRP@`ޣ[x:='V^AmVwSkւAr4g+(xOvWeeѳE p3khUٹ8(!XɟE7tDs@U3.g jf\1kk:ןvަѴwކ+^.A}K(X8|A/n;Dřz*W1#B7)Yff w/~V2~)4Tސ߹"[t.U#]!goP 2l8ЅԲMb xOE2+N҆61m\Gc"m!P co׀tsL2OR)\o15+0y-i@I|lLs^Kr8nSx*"Fr_RՠlwvqHVA_nZwåi=!ZȡԱ#zWW dnF%@5<-o)S :A̰ so~l!UݥTrtR[9`a,Wf-/yYjzxOh]ּV͢fepm' O}ZKpfg3݌O_blkoTƋߺlՄ)Xp 6˺@yMb'?ycuP/z=_oi >4 oiZK]H6Fa Svkqre)~'(b<2`bֿjDMWyP8Bx0GPo8ǵsA%T)Ҥ=ýDW-f!vs=1Ƙ ?_6>N@fha>6RA ߄t"?.LnBJR4k}zHyտNcbUUM>-Ս.cL\uhkm~~dS'3!9`|H?^+Tpv|oϲ箜uۀ kx/zNd!&Mr-9lGP3 58r920 {-BCШ.=3naK??}ܩD#S BvrvgV;EgwuDRoĔTƌPRTQ sCkUrQdl\CyG\// ayV/F%}jQ䠗`=S%%+pMq8o)>UgH/Yc7Bv?]k,e326 ݓ딎xXY[9*;vd%X_Wv̲#YМ$,l#`EYf2[)]EʹZ˶7Hn'KzoLNW&k:10} 61ZL&f<^ BQ}qHSDܑe_.G̈́rM[Iy N{x^=kV]'&L`]oa.[MHw+pV  -?M_5w~ELz%Jo̩u)`S5b>+_Q@>8 aw)\c1War,G"GC]\ (kQ >wFj6:0:P^8V7 * ;K>Уs#=oCF=z CuCZE Px*Sð HpqKȂKBzX5c6-S#BN|S' 0* t{z4#Ab4lsQ×Tcu|8$$pW\zF~rF1Cٰ yl규 튢2סR)dFJ]%hj ='.UZbp|l6z)hO)(@qTͶ(TRIV] ]{fIG NO$eARO]A7_T5Tm0].B *xFneOrDr»~ZFAɣlRkcQr9(D>wg_= "BgYZ ;+# 4ZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͗!8[܉ZszyE}/ NjW4e]?Bu0GT}Ƕh6l՘X@wa}ʧ]_s<zң0T=|hӟh[''G-MT((ޚ:8)LXbGŬm cF.`7Rod{`}l ~=%}O*5z6پ* >&6q0GՎBm*3ryt_jٞΚmybu,9 ^01YXC7OnDݡ@"zEoH6HF0ݔ\aT6l JD/zwjrlqFoq H$G{.7;uj b,GUXߚ0N5t0+ؗ 9YVIჁN/> &,OcecJ2BKM`6.=⅐֐O۷ߺzgb0a5vgߟULv6 Ԥ"G'] Ql_9{lowSEEb|O9vNbuC2ɵ>.!@,_yInx2" ~H7B 4ۺ#ˇLc;ȒtViYl/`4V]Ir=epIdvF\t&8}m,s 1Tk&VZ*ί0Mv_l wxTk#[gD14C'ǃEƾ[m8aT)-G2&MXj jx!$!$@&e'FGшO봰H"֛^K:GGM<|eעgar,mg INۿ9q]&v'v,dmC&%V ֡P˦U+YG(ɬ"~Q@RT bg.@|6vZOxk"@kΘ}Zu@X_C!a})O"QU\B)w[%4:DMu91r^ "mQ ŏLj5tquXLJ~|'g(P) 9GV(bH*$kHr\:lD)Gh,N|B_"phO5LjwlߘnOy=>z ^2mc"v Ne1|`84+I `ET=RxvB̹FXw.Rh':?TtxQgqx;5f2=<;?ЇJ=^%2QA4G޾߽ކeT+@Ԯ<-2B/UeT*`_}^Gr=Y`FJ҃ K?⇇o)fJVnLF҆LiFMn7J_ EV&AfeIMR/D!LE(kVWɝ\/= ܹ'{F,6[v-s] T_K#.st*.Y6#S>ihz&i{l옾hk߽VU(Ko\ 1:W0k3s YzgHHԇ#%550>7}\фW ͓k&tTpm-Hѭ]gSjUMD _27a閹%w'r(о}`niGFyL μ" ELtS,V"o<2Gr{)ɺąuOpC~$1YRa-;vܹtDUvAG|nUHFh>kYW UF(e#K}$c-'f22zlL-w麻)QUn Y(1ʵiiU wѻ _><:W:İKX+hb EŅsr1(P֎)d3qYGD5.jRnЀPJxrN4%zH4m;Є5Hv`KL'$*q'd aţ$cz[V#uwh3 % +A*$oƨlRCkԠ>ci A lomR3yy^5AOIQ-(^Yu~>ǽ@$<SM׼ tؑmS~u3pIvԡNx0SQI>ZT[dX/Ҩ>@ONtSm6Ǔt"F*@AOVyҫ1QL!w=w| 鼞-̬zԖj4&}YA!Lt "#U[R$~2?[ y$.R/ږς2 @mizCD !v>8MU#@hԨ[aEK^˿t"|D2!L2ߚMa7Z^i6ᇈ Q>RȔ0|T}ܻu~s jM2' LzƜN :OZ"8/UfMVY DLM3l[\)~WULC~vh9>_5#ё:"uZ[^Aʜ줠 `KK1խA<}B)j֧G,P UcC"ԅF O2Gy :,7c\,S`3M*IZbQ?gMhM5mid/kUwN٢C#V &VFYн^9tD>]ch+[ߖ`s 47k;rO":0GՍZs.CT;HBjʞ3J]|F%ZW)mŭCqTr}`^ X`5oWR6JY߀}8`|AB)>0+^'{`76r⻃Z@'0G8MctzL`9(3W8@lmJdV׾LZ%- Bj7aʚ+ ¶Pco[OxpZ2AƔ"=5@uSQLn3vRسK8vUflbS?ʹSODoPMF؎r=@NaDd(&~SB|7S5̈́s0-(19ck y:!TpY2[k!3`+oCA*r4iw]pIh"JEBgUFR|vvp&,G~? /=}\,jD2!^TݒMǼ!Ue5=  H  4l) C )# TZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&fZ涟+s EW:k 4 MM>yyd;09u7w^ Z{݈^Dd9~rzȎ7V^VEɅ&\mu$Gӡ6p-KA}Er<./8kA=jVޗ]t*tYP:bIVz mtqj,Y!ն]sBbaI8TS?fy7yؼ%LH)e׀mnuZ&P 4-]\͚Lxp, UX3H:^i?dR rP̭+B9T^tؾPGN.lWٌv|˔&$M+T"[Faޔ&pqnAݙ@=,,)̙~IM#$꣔9U ljq?1ϏD-5 t¡Τۛ7܊^]O$.yoB& >/0(Vo;Yajgs1%M{E+?,zJI "gU@ܝ:BSxgiϖBAB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' LZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[z!⦃|_+ (9cLҞ(l:$ C~!blڧ1Uz GY#mʽEF*&h6SkȬh;`D?l];effI}j(G$v,Vmrstk5s߰]X䋈ڏT~"Mֱe4D't'\ cGϟP1I^e,l7\_VxӔnIb n2ifGy {6(~FүX4:Mjzq9,P!Ch3pra橣kG ȫ ihmV A#q%kdiIzQVSYOM(Q¤ͤx8 - DjJ߰״>0 O7kE;x u&-`Ҹ KIAÍRfʈPt\W I0g2;pd=`uifv|5XЮVCFt[GSV QZ|:{$O*Q_4肮ӴpD(e oTp犿ME߰Z`Gڝa*T2^'j# \:'6-д"dXȱE!K*%<[|tTy&#}5@1EX`%Mh:r m="٩Y f(kn>Q4}M0#Wy;L!3㭜z\^LE^R; Yw},i%B &l^ޏ@K\ْҚn,ÄB@)2SkxxIP|C0 `şiOŢG"TgYZz? 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;k#Zq!B]*LRפ/jɇMoI&gV^kROc*0H f fWX&Z~UCD >+|7#ure"1=+ҦP8DлŻ-F_ "NSo2so^uCfy;YGWA'G¦۟_v/qOJލ QؘCE#rD_=ON-5&gȚ桴ca|{r6_bktRN,u<&F5|s:K̭̞w',>3 nÔ:}>ĮD]4R瀠{ >',,De6ZS@O>7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1145<+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! H]·Iq n[:|&[zl+f@s=[r֋ js)ӫfze1HL*JvlcAq2k~OkWdv\ގ=+Jw9 ; 潸rXq-,?s=iLq zHX/i`GYRR`+[NnU:`i$0ǟNEQuBf~Rw98J!yHHOH\mzf‡ a6X±l`WlfK9076Yw@OhԮf fOHk&=D24!!NWD!l]l Du"jZj$ЅWj#<e7`Bq&#,h䒠"8G_7AqD*a;.O:͐ UGI JР3@+Q|KdSZ z>1 J#_\s*N bx֩5-1>[WhfDӎ+WsEȕ&nEy #ilE8NF?~?PPxO??jczf3%;G~fm}}.E~7MdFG-^gbs"-4N{@oVdp +Wۦmz3--sNMkEj =r'B /4F٢l@UU>Y~HL*%3 Ҝ=<'YmC/3h=Q.%5BhF$!YV$nwx _wV}ByD׌Z?K֪z}#S5Jf~qcfm؆4x :B]GX 9Xmsن@=$MhXgjM-VϤv'ߚ]M W3 F, }H=@Ю#7~jG &^7+Lyӂd`A-v d#ƿ M_dҤq4FmgUslGHUزqA-{k3QwʉG^K+׌aZzzP14Ԑ\VZj|.$׿vT܇!@(/%W$Ar泩{vM_T xpѕg\W ˃fkna{ɇ:3M.;R3٭F2# (#D*˷f jj&zM]0~^? u !EԣgORP" P)U{c3wC~YoΪ{Oeڅ&lc oC&,.y˶,9Q x^A#8fAƀpx3\7l,*gPnnOyQ:8^x'fW>7?5~s! _P׷ Vk3]2 b3tnݙ]l$Eexxq1?"GԒvjO!#d߯ b`q@ n Q4Y]1עXY1F^vִAnǎ^W ͘CoWyt,R2ئ!_8e\.?J(MAyAJΒFTc!7i'd0aiQ/Md Ǖt&* JӄۣqP#@pv 4)ENſg֍0,!d>mn>H1gqt eۊЂlYV9'HmqZYwf6!h4sRJm;F=Q='µE۽:D%g[4hlN_v- vZ cA*)kQ8&хK >VY1#`v1V`%b%ZkO4eR˴c 贫2&2'"FOCUܒנ&BU*%c@6[:z A.ǻlAضķ۠M} (zeށ.O\ RYNL2_v%kͺgc:/ mi6}4EDX*9:>e;fVYVy'ڋMzq/q#LT{q$ZЏŲQJ'/oSh1;'>9@\ P%}%L9Ӱ8k(jca'652l֑\gybu" 8zG}$mkKVfLRNާm_6$Qdz3Ec.\>0!dW!8Ka6W_#3[y_/Xt7K _,H%2 L7LK ;dL?*լh"Kv@.?Cu pİ]$L끛eD< [ԐIޏwYnE^AM_pqM<d90[,v@ # _Oɯ?Þϻ꫱pFZpSD:p{I &^μI۰)tRj-`s"( H;2IonP[ GnEs50e:Jo`ΕxfRV*"C]v d<].҈d9T%ᵃp =,]O"٠QmU7 5sZYB2Mt𑋂tUfAZv~WoJC R[ `Wiv:vPvRKZ~sUK LdjD8>\cJ(tDMkk0~ĕ8ˊd/\Ftr#6K2?I(:搜U5Oj$uRKN_ X'sOİlz=;OHNO] P4ֲkJlɓдuj̠+%1]I\p+RaLLc&znFBe*q w#fL* hMO{USDYL̃opT9¬GѥftExV,K ",na˿\/L0/ČЧGG|E2ԙrDNw{{2")!k14EY)Թ| 2 ޯGAfüO2Sl[ArZ̮WwCl'R†> Az aU.N";+U8zP5uU,^[ {C#׽3wUxBcP°ꃮcLr捻p}Xf~G| i'VmP.fP#GZt V@+ОlEэucR|3*(?vhķ[QJo՜cpB9:FA +m=¡}ie¹6D!7U!*0ֽ4[XGN_۝̣BAe2"T`#zI^{P CkWT?;%QL;,.6#*R4}X[Ld6^ΞYV! }.7HZO8!Y36Jz†=1o@Bbדҽo F_ٶbM5 VedI sm3X.HM88N̐g֙okOj6nPU5oS0c{XmG|rZC4ɦ'שm|#UȢʼn_^;R^eE`(xkZ/ R<YI~2vdVq10qJ.qGR2dֿ?aBk$)qnq>AOr&@m0[aZ-@xdsi:H-)o-y y2mŮҭ9rR#͛Q'Bsn,">z<"tc``B77sA)~1U/`Xjo hc>6}A&wt"oNJ-S޴BfMS n /ɦ![9yYԈĥҥͺuiO= A44)*,W‘2efJ4&;4Xs@Q`PEhS,E榓"B+zF`"hmN`M8!QqY:M9axl^*RU7x־=ˆQ_X&EY3Ok[$ARZH*.Hw0;gmepmPq6 ȱ+'*:l,o } \hmL{=fv>-X V +K4XPYAB%[iTxbL`-CdiWRvA|#9y^ϕ!٬4?α")BN?q`eOh;pVKT*Ƃ#TW5 ry+F$;e>kfi׶2\L=WH&p1&i {E HX#^v\Y`QCJxYO]߀qP_(Xj4?Zlx721Q'+߳Yĺ:EA4q Pl|@:1Ԑ:]Cb|KWHp[K/䗔7QhxO?c3{& {:r%a\XzMpa`| !}Zvسybceؤ 3o$Zvj?Ѽ9k> {ᖽ$ F`3I|P@Qƛd3r2w\9FT ,g bO;1# (мuG#q}F]}byq-m;4XlT7}~"* mb!"NV#/8$f$,Kc> (mLS=t2฀}jq1!c)L#n: b0vtjVJuQﳀN+fx "69:P)l]-y0D9'$@i5W~SH|V4|􋈤U" rw/Y., ˰E5e_ 4ѝL\m_OsLES6\ќ_陫M:7n]!dB7Jy#z)üмF{ΙJ8pȎB@ N%0v&?+w p&fK.c&B5BR0ݣZ:JtGn?P9Ͳ_XMBfg6 y1<>6 hcRx+TH?OsxQY-&m.O^ Bh`5٥_ZdTUʭ“:T4K`qVvg$?Y)S$j[Og-y\d*&- P~Gm!ͫU Qyy^2zdI uxWLU~q 3 i*IQͷ}ʤ2)i=hUa2\]pzjED_ aIy+R9؁!#߃rƉuI PhM@hm%Qia$- ݮPO-Չ.9ǘ/ˑCD_Jnrή^J[!\H ,S@ϼ禫9 c)%qNݣ"L  Ÿ4h?O Ч֧t=խE>GBN"’{OOɠfߗ=ۉp[[Hl}7O`Wk*@gy.qJ vnt]=RL쳿#C`j{n jɌD,* ZV\bVQ+MP|%05x'or+vIX:FaVkDɬuZgYZC[q|%.B@EV,8zV}-@@} ebqDt 1d"#@U2n{NN(Lo4*i2v,*1Ecg!FᤕX&ܚ^D=o-(<.ljS$#x3`Ym-x zt,0O(qluyCgj2E'j9Zj@u_8[|HGKVC X4/O29N ލ[_[ƺFC1 GGî0o DޜskZ9 *Czhn)A ;2] ƣHH`(2۝{h} kI})w;D-(2>:nݨ2bdVIz-,vTfU'nKm<ޒ, iΤ V+qa:80K )I莾',C;-'N MP$olym!t0PRH`|gߟu(ڵ?!]OM-ɴ1Jɷ2\kxLjQ^g/޴;hb*LF(jw)rL&S c8+Tg4σϞXAJRp7H֗LoxDg];V{yn^ۤyl84װiQE>N pM |; 'vGVzqtBvrl bS'gcQWLh2YawNש9Oxi77ZjPV *.nѐvdaŻ˩^#Wx8UX`uG=mA%[偏#WɷN; {oe8 Mt tG릜FΟ mOߎReBmGT`(/vg03hQtAm3?ú%4FR"8X]A?38`)|ӶT&mwmt(1B:v~YK!R/ߙ$S > (A""`z>7T 0HU +?xWt )Su;o4ӧ/TDPsa:VsK#blO66ײO .==5\JV*MF]& :l~ʒNQgtVYG,kC{chS皜+S^slkWw[gm;gJJNgҢ2]0%b4tCML50Z{N]GÊ_v | geoF'VL0G̽Q }dFAǺ] m"و' dnxbY[a!:2! k\JڋWF${=qg b4>U_fX˂ y )cE?9>(Fe bMg,+D -zg R}wD|+Iޥy5D>)]RYZq{#b-N?@jZ"UL.yJe˥KAw_3ϠȒ(L8.$Is~LУA5Bʌ I+%D{4 \vӴGb`ϤNyi.3l] r Į,`qBIY2FI8x:PЯѓS-{WN|+p fY$t$ 7ŷ+I `{ \i~U=A6yƇN"r.%7'ba—՛&+X(1{ Ǵ%a (Tly00DNGV5f^En`pX3zjԈ0ԸX*q6ptMH9[_| ߷+-ׯ> -ZX1dFȃldoX?xeU[#[?|(ZLfnX?(Kا&MVV>eE>=E(Ӻ^tڸKH>[ v8v$zؐ½,Gה|^BbX߄h UvلjYT!#3G6/C.?]_L-vھՋ^*ݶ^:"JZj(IQIh7J\jf`D2vރI`Mp'\ue-Nja@?*(^MfbKXa.<&%BBjRxEsk2` v`q,~ոRrt{G&MnW #fjruFIغ!(;y2.ԓ1?W85 nwQwb rNې%c1sQx!c7qVWBTƳLFkpaHrA+Crs@ٞn}_8(E4W| )\d ~-3g}b ޼VNdOA׭)J`stרmf}8h6`üԆ)HX=Wbaɴ|_0Z x sC\+3}V)Vl=2jC|0cd~tQomkȁơ?UᄚijCJ"|UfKڍ."rt'XNJc!(049_99ꨋΆvhT=o_xh-9ة?>^1%(y4D ߓNEg.PlycDQ{#N4"Z8?r,sd4EamLs' ߙ \O+o>uC/rz cg^ģ%%Rr[|n;S-s;Ø~+.U}D)?T_@ :0ނ_U޺R@)=CU!;^Q2Vs2s;uJLV?i<"bO:pɃ9-G{Xcaa bu=Xrapbe\`"9KY_`d9AONOVcݎf$fJ<`#eQʗ~ h+gS4)$E>2YZ hp'3߈5lbgy E}QUQRWjz 9H<  Wb=_~FG7^&mQ~@ئr}(+VD"6%:ZB OEqt=yTvwD5GcQ"1Lxl4; 8"W3VS:eҌvKk1ƿ-;)f'7cyB65?~5bK|'RmMHU)Ԩ*fHZǝSg!f3nYD@ B!9kOʐlquxQ*±8l^߫[EXp]W%F@|tNK6@p2<'p[tpq1a_; ^À7$W"%cLcEIb4oB\ p^ <3n!b%?*G6)#mvWƐfcx3,$h|@"'m,X%pUe$z%0ॱDq6nbDmkШS`Xs1-6jQ5 /FOIS߱RII ]{CAc=}Mב2m!U }\{-85p6kBC8:Fu>}j%<.G1cE`PmjDPɋfWRj@+60R_^.Il*}t]&27Κ.}4B/u5&*˘NR(o.D"=߮QţySwT!mP+b= GzJ{,D"'Gl'űnTY < Xa{+,ka6i6|}I^BV5V,\@{{PPgϹ}oRYeS I> ֬;責Y9ui zڶW(dEpΞʽnT7ね晡gp8-oH\.|MːgiX̹ 2i~V"iT6Ew,Y%TpKmEk)p@CdT+&`{bG fQ\ۿ9'_?+Uvgs1vnĪ";h^(5A'~p1Wk =9u #b! (qg)˟Cv6Ķ[O&JPVTZЅ-ք g̢-n@_D._H䢚QU#'SL*ݹg'VmMh8(+LC׽6tP6rb,MdV ,$ oUO7DaE}[ N{o4b\%e[Jh7_u7UhzaP ,CɽH].n㾦l>S1MPeEռi=dxt\OFlcWherl k΋S%Fi)\ 9P룡?o HÙYs'E ]N"%) ^y #1=̫*Nw=|7lU1,cj .PHw``+x,R)}]5oLoxb;@̄3>Q>0qS9+n梁7jzoWs1;nt#:c0ؚڈT6KˤKJ*u2lE3o7*˝iQݔ<'T(/k6),ei|9Ǣ rSkY%m_ƮMWB`7zDjBOW>˔>Ӌ B.W#Oah)0EQ B9C mr mGimE_9PK>:Tk_Au;96œu RWPoq[ԋF x3ўLq4ؚQ J0ViiKLecwdz8֊\;g Pe6)`x˝\B@'}_l 7@q/WN;# U 7m܆'v_/;p<ǚ8߉DA {g[41sI3}vB(K3ʢP`w|qa" Z7zfaQy#ʃ" د=oF;E񣑘`xPE W։uu^p\M@CBPn?I?r[X"bT'Wx(|LNJ{6 YHQeb('y*9iexĕ-Z{A^x*oDWtn ZL65C v(&M[ŧ}X[&(UU7;EJ)X9a܋\@#q{~W$DXl~~؜CR2!)BM)$L ѓFj8W WOpxآF+oӒyn=ƌka? JhbSZS#^Ag:YIuoaþvϝM%bR찲7Lߙev._[#uϴ0ƈ-fv$ 1.Xڄ S{*MŸn 4n(B ;F#-8d)5EcMgYZ ~ -~?G'!e4B|Z< %CfajǢEitmMXly!/=KaC;.Qz)gg 8޵n)]1zN^xGz)7_R QqS%_j2YҌEP1Ą" LE)/'M!K,rsxzhLB6 wtd@ڌIpB$'nY (XpQ+\bF7Sr>uOBg6R9KYϓH'NMU|)Oxڔj!1/x8:b(B%)C 8d H0|V#.CfV&aĉFu>!,`%0sw]u!:Zia/}q\UwCR68ev&"#td[PtZw|+’n]mJZǝz ~rN5UE]P̮6FF.D5۬ĉNsz"רZÃ(N%^FK_zZe[rӒj fDz;r`A]JVi'{} > Am+wYo.e3Ֆ |U~d>_S5+]E"3,qvPV2~[94RWA Ngqڈ_lid]m3=߲ɏ $gQck\GvvV0Uz;yB -oZ0Edo(|(C0> w]ی.mRV +xT2hٔLzt;_h3E+x&c2ĤȳZz˕e~}x1ʂx9c7.N)xtliG4ޡ)/rpzz5 ȮBd޵L+(cX峾r_?I](8)u9nZo~h[<'yKQ$ӬM= Ùr|# #&>lPKB -GXfsoMI'j74?|NF*o#+3$e/1g(F9Gt]wǨZe4xS7E sDce׿ eJ)R`B%1%r{G'OA>* zgYZ 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ׂ7 $γ nueKsec}[gߣ(dWTm# gӸҸDX5!0Ծ2ƶ(Bs!Z7z@C4'xټ Ty^$[o"% W{E)r *S\c⌾w% 1؋˅%hqxݓ8(ߦy5r(gYZeH'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  {]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘Η&=de, T[ ^~!N P/W2pY= $#FC@UH q `܁ j+4ϔi͒M1i9gs*eL5&xyږ:?XV\k @C-"BEPLVÄFeU%-r N^+6᤽M~ a:LD:C$:^rdC wy2v| 8%U~on&sFW7$h㒙5/MuYw#ȁ3㆓Ob"Q8vxm~{ڄx+wP@Sݧ'`g1@7Xpi8&@,+2/hƔ;a+5x gV&LdiCrџZ6+2R[7}zO^cN |]ASYo0ScԞ!ȣQ'E 2^3}5Rbk_HnA?oXU&v$:*Cx^A#R"#ӑ]Gb 8W s `Cd^d A|:uD36U$Rqv=Z; yL7l61R,jqj}K\}ﳬV5_n' I_sa½K~fzz:ń)/~[fx`{~-ߢx8#hśe+h'𭎴I#v8Ǜ뮃 K/Ox(iմ6{)ʲ-WٯEPE9 [ogs>M9]+-y3v%8_:$ńؚSA(@PlH %=-I29BPJ0\99Dv->sNygqfOdHղ̨.=W+tx V4h$Ls L]"T҈K5tO2d 2MʶHY-o/hڄHGaG!vRL /`<@.|"=ex>>F)+w2N%l[Gf "+b.E0;ACqE?}.:P/˻mړyZUőc׋SU2zvg}s1_ޙE΄{xseQ.{`]sMTqr cpp4l5]҄.5OfKZ澾r:k'ܮ1{oPpcf[,m`[lΐ̯m_v_\hP^$`V(je;ND &4"ּXt($}yVy=M}21 oh0-~je+2WSŢ509rc\@ -:K6}T&- 5[`"g_&?݋MrJQX\=vq:#,֑/wCc5ΕgQkHiŝH\o+V`;迸k3\r 6y^lEtVU6b􀏐&7 : CߩmF;zӅ%lDMkv@&C:W1ȡު}bY-< Fk碸S;mד# ;椅nܑCƮK9pS9ו^G4Q Ěiah|ܜDCcI ҃Ѧ+o\yPڛĆBq\IRp#x<99:Ο60 Q%UG}eW5N^AY]Qs 2p,cKą[/lQsG[qvU\ٟ$}/.;7 -Dz^4-(¶dBRL(N;SGlMtȖ PT:#Bа R.˭AVOT[&y(8çoBx`gx\Ă_Rc͒H4 VjbS / p4id&H˔"QÍ/@ ZNG(]Ľxac ; E dk`S O"N8r=tv]oۉ]Q|NAJ4.6`-23tfOCb3'&q a2~و_z8|o-U`"(}8ÅW\bRvŔ%%p':t,ێ%et(<F<|v ;6|&XY/(2+ɾw)^\3.NR-:+aWӟZ%*9$AI8 xPUP-3p33QfUJ !cT@ѱgYZ ))M+# TZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o!]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌C8}j)%:Z&T9}q9P ,q8ɨ}`oо6**|p7sk ^=s ֣qGnS5V3gQf1ى_2>F I"- Wf ֙Ch`w>nGs`Άa;~I/TV{'U&P@ Z{BZ],WC망 &~45h\ xYL"Yu": T:D֧c8`E ?f3Ei"iX2{z37!!P* &{URQ:/P֑>1j&dl'$Ahv\#4NA)F&-H"'c dAtAAԦr9!TcKemf;2t, gcKTLKh@ K TDgl[d:G',m-­:Þ@PKB>aZ7@# scb'7F "@˩W.t>El-Ѕrd"Y$Vc$CZ/LL&R, 'JVmET\b_<1ČPLw>c{vj\7z1FCC# 8ЈQzxAGL1 # H8hi-o'h3KxFA cTگJVL&R=eOZzJ1HOP9No)\Ѧeʃ==4YuD$:o4wiPPFovhW\;&ho#]7%`Zu4;* Ֆ>5paV|fp[פk̙ jQXԾO0JRx]zf 1FD.o=}q׆յIv#r e,pܸ+36G1Lxjbtv/^"s}ӱDb%h-` `d\m@Bxv[>Oԩ]u LR(ZyJT#3qn&T+s嵔glT"oX?YW`V65p/^IV @Dosb1TIAwbMO}R}=Z PMeSS0|b({M!9$D59Rm؆ t-Vj\l? aBh >]Aă;j=Ugq#~;-~ׄɛzF5w*W@j:?(OS9$F/PGjLjX1U*-k^`Ø=e@٬5"7pIQx$WDR>vOߌmG%.WYXޜ}Sx ,/aDW1FA1~c| bBZe.% h:;hд*baa;MN .XGp u5!y$z Ҫ9f1l? f-lCuoz2uLJ5?WR`DY^ޝ398l 6JB{^ ʗMkpgTbj(>:cfn## ζ𣔜=Yx4} ׽ gUޑPؗ98!ĺDяo'fݼ f.ñgYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4 Wf}fw-A%4 ٯq8 64ϨܛCogu[koD#'KM)ßxY7pE%+ aU2S C XEAl䃍W/=:%GQ@\ V7'w%"/yz{ ?.IŒv9ɪԒjHEȘCq )K^Kz#ĸV?@_߱gYZ