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 !r<4 ]/]ZF-Induct:threads=6elapsed=3.238cpu=11.747gc=0.4777zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0&.\'TTޅ,qFXv!v" [(1h)Y m4XZy 2JGƀ߾:}F4 z}S=j!j) UL*T)iYlgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?JG\͆.ueļg_(N.O{ ?0?hh1y;+]|g>^ɳ D̴NAf"X.}N8ؓrBF~hvF{mb(]n/ֆJRUup\Y݊}j= *Or@*y\ "9p<\ mEsPm  A^t-h|Ȕl` Got;9gYZ7zXZִF! ]ŗXi%ǔj7% osQ/Ͻ;/wjGlB]QHA#|vKBƥ!QQv|/ YHqV' a髏O_Y2Kzyi7y.Nlvn~ sicmX(Gw]ޯfo{tS`uƐ @$' Vq˥մepcv.ȉpx[5[*\LƴtO\bǮaڰpR,H8D6_*b'^҅7$2ʗtSB3+BG?)E&D$k:_ֱ*3ضR4`y/Q-& 8<"ȳ{Ue73롅Ìܦ0a"gmFMRpt42@ a(3`yaDU 섶AMk! BW5Z\{(;{׵{uq<-Wc+ٝ^\@nJw2 TwSL`2.]A`ӋGx?%X3}cőʹ_*?EI'."TqLRk8ahZ(;Vگ9Hd2r=&*ȍmBA+${@chc5< `,5}q8h:#q,ц~9%`ѯ&3w9Q-~EJ51 [-ͪ^\$hUUAV1s uZ (2H a(SKF[ȕ⣇ֶܱWy!?=SR/0_\bME@8DZgYZ7d91db575b5938945c258b032989d9fab1cf40b548f89a5452f1468e6ef7e43148f4049bfa854994 19335b866f4781ce5b67af82d9f838d503ae5b3548ce0c9cc9e1d94fac0577239456a8ae20ec78c9   ZF-InductGP)/ 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}J f/5 lZF-InductZF-Induct.Primrecdocument/Primrec.tex7zXZִF! [mm]A-MՋhvG"uIBm5L')/qa.mmhM@3@zN|8$C7?#3Xk06ė}F=%Ւ.$S+j5bhDeHm;^,ۯ8u}ݟS|{Z@9h*p[ԕ jx]{^)ކH~^, f.Bg|c Quucs)W  onH.:kvg%xX{d=2KvLwg._ ӦT] a@ulpjM:r=mAbS>[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foaFMEKDG?C>;<:978312/*-&,*      O* ` b /&@eWq _3hS*  /  ) x O % vM#   a}O u J !9c10+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 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex.)/ZF-InductZF-Induct.Combdocument/Comb.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| ^>-:IgYZm6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ Q;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[gYZ  P)/ LZF-InductZF-Induct.Combdocument/Comb.tex7zXZִF! ^]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): SqL3 ::;k hZ_5c{ih;wC"lSMn^ߊۆhz6jf"ȃCGv3㏳p|ӰTn|5M(/VT@rÕ_˙QzHT So th 0##iPvGҷd}J f/5 lZF-InductZF-Induct.Primrecdocument/Primrec.tex7zXZִF! [mm]A-MՋhvG"uIBm5L')/qa.mmhM@3@zN|8$C7?#3Xk06ė}F=%Ւ.$S+j5bhDeHm;^,ۯ8u}ݟS|{Z@9h*p[ԕ jx]{^)ކH~^, f.Bg|c Quucs)W  onH.:kvg%xX{d=2KvLwg._ ӦT] a@ulpjM:r=mAbS>[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I ~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"!gYZ ;;B+1 ,ZF-InductZF-Induct.Mutildocument/Mutil.tex7zXZִF! O]A-MՋhvG"uIBm5Ujܤ`CL 2|QG/Ʃ|hTKA*E(В]Do&9! %0tC/ᾁa7W\ d%÷wf ,!61UFta-"ӠT6 rK3 $NUv[@*2}iT+#!H"i * a%v࿨Ϣp'Ui(w%+Cr 9 lƧ66H[QǢxVRx^D12?R},QD;5 Uϲ+$xt]m `>qNl/fy Sܲ*F*}=#wR':<7OÞȬ7$so͋R fpӳ7ZpE,U^@g v O C  {oVKvOPKk+3W4>[Y9Epɶ&-g9G+D9?_ur8ݨH{@v›R (u[fQ@w7x6|xfuza $sP7Džup+$DNB.H09 * o]H!57SU)ױJDyCnh#m1xxΜ:Gw')bF+׿A+nʜmh̸ai>{X6ʣ2e3ˌ,)p9ħx]k\P;,jI/}T0Gˬj hmˀ4=lkG~>wԳݛ^J- TUr KڻgL.qNf$B3& 4b-]X('PB0R"6O&o*/rS%.˳W2qީ8r$1L7=R}A$ w%`F^ˇ|6$XKZ$` UMFR~*/dxpcuK*I~VͤRίKT!+Y:M,UYː9 qVP05CyU뮋8n#IF1&o'IxϤÐSJ`ʯ(^5XJW"L)Dijs*O S@羧+oBX5ě\F'Nqq`"B(\V?i*-DG0L;WV; i `BYW)flB)]+h57DFDX<שsOT!ܩkiqhŧ(x@L{Pߚʥ30vD.*vtRz5-ˏF?jRՀ$ g bXk4=8YZ L$E4QJns*65`2&)E3n*'xn%>w@/xB'=Ivt S"ӽ :Vܺh6ʖE/>&l\i$TɼfOuYHNq&BAQ8y7k)&a?n#e'C936XYQQ>~+X<%o9dH˺7LE m'6'YgO%oqr` P8k &\HwGZurzK ף, UQb1SQ$E h:^ө>EƟӆj Q]1.b&>8>B_?h3F $pt->eClxWsvx毫0LFjf[YxNnk ?oa6Ln:c,T]xZ2yp%vXA+*@ !Np? M1k0$t>$G'|Bgdf/hٵH :/Z@y}_T-㤰EGD=ss|5ؚ:X@0s!DAi@%4rg9kbO?dƬURC IIbOmFnVCH0[X/Ƴ!&$uHy\QITTin-!!z2"^ >j/l6aMW0O_tw Վ* 8! OwɴC:=qp2ZyMh<56 Qjkr|P4( vX>jGwK]ʨԆ>?6ygYZ 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?ܗ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 /5 LZF-InductZF-Induct.Brouwerdocument/Brouwer.tex7zXZִF! ?O]A-MՋhvG"uIBm5JGr4GaWW?t, ͛=T%VR#sCUp|@%gJwNM?.`8yZg`FnTZ ם3E|h¥j;9O;.g;Ƌs\jQW 9֠sBٮuQcϤӔyZ+墨Фva4̲43oO,,EJS tC+}wm|\e][5S֝?R98>{: C"J{L܄>ji0HgV61W?if9p{qPC7lEWa: i} -zi6q rF#}ȝ_T2 4[jmDbVl=˦j_u[98_XG:M.,PXr3s?UW?5U_▭þ<E%9 gL Gj cx!.V^m(-oZPoj;$!erayO A\w\u\7Yzj!AavrV6 H5ܓ8Mrƨ?tL &\(K%~9,×{Үdr)4LnnL)7Kt\ I!Bc%cMfaKcCOG^!YaYpm@/g`r=|'lYk)PW eICb@ q~ZQ!JA/ϧ(?[UValY;W/).V9uIG'!p,.t`29BU8"x#`;e)uwm!p-kbZ,{|"m_uvj xZƟ-h<\'6Q;8XѲѤp}{r-ffkDh&n/p)o: 3l]1@uUQ}vۥF2T+V>sϑ7WYY^"צ >~F݅FJ gVFP%H+Q}! jHX~W}M7 5$#wL&8 ћ.H.}Wk%zs8__[6BVO); QX= *=%p13wcGq{xR$’skKO-Ç˄K"Np Q0t:Ipj Nvx I+rr͌05"ˍ-EtgC$1L͗Ym>i(h, ڼ40+M#~܏ogYZ d 9? TZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex7zXZִF! o ]A-MՋhvG"uIBm5fa1MI[ta7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ 0 0R 39 -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; mrgYZx )/ 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 v. '- 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,CxEdx3|˥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\ gYZVFtNh+ HZ 2%;*}6?Yԭ͘#l.ԛT͗շbX\m5i_$O%ŲqQRPD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'tc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z0TIQB >?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZ z)# ,ZF-InductZF-Induct.RmapPIDE/markup7zXZִF! 0]ˠ)jk2p O6LP=͵gl5gՙqj[FDQLjD>__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?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%O\k}9ȣhP =_2p +RHz«z&${CG'aC=iˀU D51A &0_HAA-L蜧s4(~1xm(K[rf[u~TV zN͹ņª=ԍ?Iƅ!\:lV+8lppF#َc;W~!+v pۘR.TV1*y1zLwX=R{@0mPQJz&y.4(E3'1 N JL}^*H! ؇bYEQwVmo}a6DSV'֕-L{gBU+䷀Ux0wL@F1D,$IEٗ:h? fGψ?w-xL8+QWS(Qe Į jXT܃؎Ҏ{Z<zV{5hU?ndHԄ{*r'el/x;A|J0*2Z)ӗPq%2/x+srO'Wu >,=Y1zT rܗ<.@<B…+x1 I舼x!EPD3ȿCac3Y3v'uV#eP5)bf 5Nl~X Ӭ@kDZ×׿VR8=A*oڑbͼ kR7PE^H63MÓ$"R$刼I 6u :-bfFȣ!Q3҃ M\GZ|lĶ`b'pD$c-ٯ1ӽ(IG[xM;ϹД#8IW-E: (e cr{up[0B)+B,4vIM/:tlQP~\[rqe ωt-3A..X 4\lFfsX92OKts]} Iи^k'ic҇m:'7HczQ_ ִ$8\1{90mDŽ2쵂ǷΘ_+-̵5E@>h"p>*l79 z+4P/W趮.5]tK^8aH&NDT[]7H jpTuBt6TB'th5~35sZf"u" -4’ 0{f/D'/3?D)h[Tm23"̷qE>䂕NK7uhcHYX>ɋS˯b"렍é5(s/]$ɮDZmڸ}j.bV9H{XmxoI!Q}{$67hhBQ,oF ]0 %+ss֪4t)S{v%\c+fx/{=ʟqvSGhn9_9 5_n}XY͋ǃwmbׯ8nӡX؃Yvc&2!L-`!҄Esu >Q?j`!_mH/P&H8U"vGT)?:MCĂ]j!h(DRO19< _H;9QH,Wu+":5|yb:wKQ,D(D~ںw)(}DԨ~$Ԃmw%$a:ByR>E ȍgGGg+{ػujPܼA{uT<"C™Ep3 oj4G~ʒK\rU[GO;_r4.U뽢}T~4a;BҝҊ 6amHZz$K+s#X:Pľ^WtMMN L^YL6v{ՕOT~`Hb3s}:!hmv]^]Mcsaہ#=X:>k+HU;3Vʁ>.S(FR4zckF#kUc;h/xU fc;i ۇj$RmR b6e޼A@8Ӡ{*WKų R*q%,B**n/6Y WSۧ~U$Ug+mJMН#{eaAuZQKBLs;îí5ֳ0{uZD%\4&2N&CԡV 6rgaxٟtRڊpu )HJg=\C`6 i&eZ,y%X^PS&b9[ҫqhָ;]~V 'Օ?=ǷV"v]OmpVU(Y~ss~ޥΌ:Շ#{Iu"(P;V-.nMpwgşo $qw}q`9UzCH|m68x L#{1@֐ Fc)֘.coqܘ=ӹo]7K9B&i5:YZ_ +?|S~>Fk2cD38I:%VS+ۢZiqu.hvHp@Eͦ~qBQ1MD/'i}'{Vպ)j-ж sWMő8dt- 0 h^tm9)qл㽜4nv2pa]oR<.!0D(nzwD-(/U[iils9|mM`ypX摹≶1k4+ CDFgYZ h b bh 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 .1^ Ll;?d|Viy7f3ou} Δ/%rn ӹ  ȳ -Vy0lN+ Cs_rVab3j\?ݚyhzmd&nww/GcEhS3UGQ ݈X$CʙR|'CӷG!JJG.P/u-ȯ/k.XBCά,wIr78BB_blbLdw/ h5ϯ>뎌Q&͌/64~v$S)N:8|NorPeV3ދɤq,V1)xDړ[h"Xg 2lGI݌,VF@(D,ftc§!Os vq İ%#ϯF۾&ƨW.Βatw#DiM.sʖ{pr Upab"^NGxCX$.c^mvt@}pY,Q@;>"4DwepY>"٣GA#]MKDI$7@:;Rey(Fo]%.yf'6Be V>e,[h Tir&VFY8<` xܣY:8+VJ iy5 Hi)(wTf5:N,QnF.<=r67hM[pkf"+Fl֯Z}_DΒk'WMlhWҍ¬fDݖ3\17R[BEц*yCgYZ: /# $ZF-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ϛ)3fG/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thy4/-ZF-InductZF-Induct.PrimrecPIDE/document_id106)' lZF-InductZF-Induct.RmapPIDE/messages7zXZִF! R]·Iq n[:|&[z|$~٬\HcQNI!f| _%"#x뭤Zoq#QZ*Rtf)iy2  Nc2 i_=śۏ U7--$+IZJfm)3PCX{*!o?I7Ā׵;]P+PS|ɳH)T+y`?0KuA\륪+vW6we؋e̗oYtQ6*0wZs$)}:fgYZ>ƅsjee7Iҍ0ad hb>D<:`>\##{kjp<_4|8Z~hjİ%=8#1 -jd U `xbՙG7;en|!"$P Ggbdw U`  dnAIHgrWUH >cCMO~Y!Se k;sNOL ^T,>TT!\:˽T k`>Uq"hVhDM2\QCfK3%k:"b;-WCܻ~j=9Ӷ̉ )\c IO |3^^j.tL-6^Oh eCbcP*K_W|_y}yVݾEuH򡊹mF8n~SƀA_s#h4t}pdžSmfD>wh=]K܍rv-v4ģ8wg8?%$(6o#VKޒkO:-ĸY9HձrhcPĸ{u(p¨''OUO֧#PuH6psZGwO ; g(s.|4{!0!)rL ;^SeE<!^lI"b(L3r7*|+a?ԇƋ[Z%;Ó O.ZW]^*X*$7pK\*B]_[ou,xE'w{wV0ndh] /iw0± bczᮏ'!AYYʷ ߗϠ6KgĴ݁ʦYbS[3dbm S] qWN]v+paj=uSeԍJƌsI~Îu+*7ìWc|Js647g>RQŮݝm^NLbR0ؔR$Q): URUzò0r5Cq`}1ܯ ly#/oJ՟WO x؄YcdbGݶjy"a''.uR$Ngxzg c@Rcqbܳ/(>Hlt[."(?%_P[*_lnb<ЉAq+%_ \E4AK1kC_n )ҡ^ҕC]AO/) [3aI Mqhop(n'~eVue>!aVC6i4,OS8S9aD3q|;8A:G@6ՠ0g1xJoN .?^܅òztpڦЩeP\(nNs[=lFjB6QPXB* +1" !q_(Op ISlqUR@(j j 6 lX%#]_ᎄ-ߪHŋMy>cƱ7Y+@4$z=!jJ%kTe2%ǘ`PvY\QhU]&E,YHH;/] L3͛03O'h+F[|fc"#8 r]Nx"t e`YM'l 65*Yf{o7gr9'YMjt1]hn˹H61y-O":u!@#(5] Ko e/8 X|V 90`c%  _4%!vQ_*) 딯K%yѸ7*P#w5\! }{.S_$͒.l=ZBPjÇny7T@wmbO6XBl&ϝDZ*iS8UFn[j>Vno%ˢ| J/ktlWɯDgO|/RU`5!R7V na(Q(aʫPD*puD~_~ Hъ̓օdv:>:$hRi3~l9wWsXvkFY;]PYy<l-\>i͹bw%Asjk6eݠSL*0.z?\^rT&9=n50d<|v9B۫ ҲVhy7?)a2B楩']Ib1v:F 3 ! L'b4kݼ=VfZHD=e&-ݾZ{R K 3iH N-% Zo$[p}PE"9,p" 󸮠y7j2@c I8cvrγ,E,]laMŕ&1bJ.%#)]BP.̪$8^}wk3=_-xMo[Яپ;ao?<mTgX4m='e JY r{:"s67jP5 GM&]`MTTSN~]<Ԟ `TY.鉭.H`??nub(!G|nb"Q~ Mha1͋5RptLC$&,JӺs4t ]?#MLKc;894// EPYLp '[9Vg%NvDBb&I=ddMW[KwJ? X f-lkWoO{xeLsgz|^Š]|E^Ek܉b\nt]|=+ESzH͂gRmL$k&,b;~~9w dP0sqE|<ݲ݇]jْ9uX0T7x2a?nRPvIK],/W(J%q!sF^[mED!=/5%ގh]EՅPwYS̐P1_~EaNX![to|, ^~Jҟˇ3 p:V#,hP )ܑlc!gOjؖ'Tк/^6mT <6`+KcLI!FVr[;1ٕ[UikN>c#WӪ'D(nVlŨ -( '{IS,\3XpGeDa<8ňdW"Qwp;br2d'AvdU՛k{ pR]Ǣ<zId?LA^loPyQ({qκv6¼VyQMhH ^$ dG3Α*ջBLct:A ftd8}f"Uw]'Xth'˄U=2,`'kb(A41t#]I&10&U]'%xļ+δifiǺ[!EnζDפ*[tɇf!9* ]a:c *yJ3'+K!0! ]vZ7?WY%,`(w(eJgxml1Q) x%A)K=>sh!sl,#>55&~у~k $VH@T:a "%;@0RFQR F꽝F")(lM҆:xREM:K/Ay,EҖ@s]@ բI^BVfs$% 5oZ)R (k<^B^9ЮqA>f/),*'"ahY beהgZ5YA~2f=pkE#\q-[t2F]Pm~jH`|Ts] C!&X7ر uUxF(_᭰];˔bmO*ǟ6Z@)ե9xcfjm(O\g%6{S*[O_.O9\UB=}mTbyӚ/Qѱ{mJ3ڝejù#ߕB2N+d{<Ljxd2_%W ^Gy[*b>Y 66 97YE|/tM~]]5ۇ_P0W4w[`?Qz4/O#hQj6eA8xSt_)On(66M@fX8 w" ۜ́dtrɀ\j8EdU$Lay{xT,/@1L3$kJA!<ޑYJKk) . d5UOО 'b%i6a3{]M6ȉ㖠"*g_;%-  =P 1(7''*1|,s 6"|;1y#d)9d ێ3iv,\qۻrlTm9] F| GH)+j3vכO TT|ZF [?~6Q{pHYLxMy+"nSw> 3 o93`)(hedO<3Of'PT;rw3D -;sd0 ;##ƪVl c?o|U2W,tm9ElY S*x~BOr;vk_5= -1O]3\ɭfnl~K.JrLoƥW@1^cћgEwpOXV{CwfE8,<- лrhǞP\ڒiܻvWoEYN첃0^?jܵGKxI(nz6\m|lN8CT%hHs%|},ΝI|JO2Xo҈{ YUcF!H N] ?=슕y\ϸ"K] _ҾJb#}9<"þM6b!5귛Sm}`ʁF I}# Uџ˱xANtyGj hYci (`"4eL46K]q UI4ʇ"Yl%,/˂S-^U)ȴr0%7@11Gihokr{gHGEH`k >oi|`Q#Y>܄%s+-O_D*pA}hז\}c0Cj<,Jxg'8tM&bT:CekwԙMT;y圖D5sk}1xu/F,rx=,mq{.7}psx<03НW׃lWNė=/7`81*f(;$l]QB+O*2rAI=α`IS]۲yDf>7N1žu`#(oYY:豈ڣ2;07'Ba'_k Cnyb:)'ݰQ ݉r nhs'p$(ލm2еVgpң5N }ʫRJ `GKS3ig8Ov~ۖ13».#CZMFG0+rۃ.KYf4H7W{7 ~Q5mIl h ^'B!qf`Y@ jD;V!k;錅|"諴fg! Uy"2p إ#؃QqhdM3$y xǿBpҹYAo#VdCTI914 /"E4D'~Tt͕mP9XvVP ZM;;rQ/x3C0/]< ם!S⺯8DoZ|jF1d^įۉVQwNˑGe:v؏pfrB8_|bkb(W{`ظÕ=S]4lO>R=Zn}uAD٨{bh W:ܰ  xp x!/2Ԡc;SZ,*@JWJ8/H)Gķ%M?[0RI0VtVjyn 1o N1wz,5g]w=Ke*I_ !z/ˠOeoDkщh[dLKH7̺ j6V(6 [0\=t"#(({b }D}nc9!KV Zwii6[LPNJsz-Yl F:ݍ4Os۳>n|Gx`1?&ؔhP+8fI_amFp3Eu::\V?z$]\lPE7R d2ZTB,SOua$@h ]n~|O8wch}B=ПҭqW0kW ўazFԲ8ڈ+g *Y|Ы}G[i ԙ <1> EI4:_R1 &"z:叙u_R/_D﫪⊒팹? ؚr jvBpf+iagn.?8e2QW',;WU^kl& ik%m5e8E=m:GQYO%o|>V#"RuQ70`85vYjHJWs擄isgiV|&GB.3Ne$N}~0x@-SSU}/Bhopiac4R% F䮄Sr;0xP[`m5'̜€b~L%c'B`AlQVav F\р% gMc< 5-}7q<3 #PS%*aPK\zr⒥ :jS`$ j2K6_&&  f$yI;wה= a\3dZCŠu%b>_zuŏ´ DC{BS = u+bt ^*Ixf3~ gX~d$X Öϥ\OΌ* j3a7-#Wڴ*vNh]r(stQ*?)qje+F3 $(a_b%GWgƁ+'< -Rf\CƂRhoSM%J'fa Z-*UR,~5ۄ2&;H;[ʾuTVdAmjֿCཛz:ы]bgj'%BxfT;~-LPV ÛeRLnw^ĐP=M6 3:J`hj`$Gi8 ZhGU ͓͒?Tn{F/2)I=2л5?lP2Kp E(#]~] ae/4rju!դ/gah?4?/ dRT1Hw RB`Tq\ͫw_1ޟC{#E4 ۲ ǓEEƘ8GTJ J7]W>]/O&4da~jxV_RZ˜L5j\|&oNë)}xڡ=E ~}A0}4ky'֙'g2C_^I QIX5D+g c܋r!JkDf~\vGjB//RHg Y+gfo|q%R-4j 7{ { 7&ZRNa%f,w IK/pulGbw.Oz6fʼn~6iyh`Op&3!I,)bRjh7ozymvHW|" ΁R :fIT7n [[(!_NA~kDNL5&D}sɀZva‰e >ۄ8Z_'I hٿ:|oR\fJ@<ڼC ^䖄x*Ve2TC?R`D;x;sL@R,f]T3ZMSEk\>TOT(~"0)cyhY0=yM 4Qi%(*i][^Ԁd[4[N(h,oW ~Ƽ-trznѯ*Y\1bjMc 5 P 9&ô{My f|^mwDF(bWF7GvyE>> 僬7o=L.i%Z=H8njzj9d<\+Ű.&G*aQPɗFff1ߚPl@ECmר?V{eFUvw=[GRqae'<$@avj 6^n jU9Bߧy'M $eL@:?˪4]k1\ 9Z؉[g"e&tɿѣ)Kח[SFEĸt;風$8XODqѶ0Pc agYZ![?B1ϊ(!:s:=5tOjk#sD#6<>=Ii4\3=CG NXq,;J=2jPotN_'2akՁGcU@xr}|n?TZpia䥚ލQMf[aa5[a8e(RB N /dU@Q0n1հL1PB{,W#][woOvI*27rBFB6LA*Db<7ɗ9r@M{;t7_(P:%˩j?n{:/azHi_*Y'W{d"VGy7?1)KS}4sKq2BzI` B`N\|Y6&=B k\o/e ޡ#tz9T>wI ,=+E͌P8yՍ۵Zc -3+>Xps)Wrmۅw -Ҥ }wj\߃`H@`~ ?}B58D-1nٰ!X}gY0ဌ3ǹ6iRե"#8G E;@.,vlԪ6:ǯý:@gZ'I oY.`73X&fTgr~YPra*dK2ZYN*F'pr~&rz"A(ܮJ[η voBW)FE Wq׫C.<><$pB)Qb`*zJ 3h\$ƥ`\mKn еSmuRt1Z9{/g2"7Q?G.1\L6#wԙ0tb>k-~\zVh3Oyϟo,*˜ J"ĢA墨GxZQ[}IڼׂpzY[^|a' !Nժy&Vjg}V˗˦OicIߚ! R ?az߭6ύ:оBnie~d٧, #E2 fP%6K^͹ 3˫z[kN" x*|eQ%bG.@"'$aLT֟Yj$yR2uN "&e@ LَTO/m &} O^qҗ V!ٯ[fH-37>d lj2]߸,2pxe -5V|?΋"\q{ޞJo:Vy7V/WbՊk OoL6~Y:|>&"5Gf%DsY.uƧtfe1{xy` .AMG1['`Z%i0 ccd٢/5 @Jo*v42X] ZZFz&x:Pvۼ/6V ):Ȳ hrsu\$nC4g1 hE(D TK׷WަJo}v_ű`R{caF`$8b9bvJ8oq [.Cў6Uj+#x*ˆnT@*aNAb(:K14p @ D'Q޿AwsM=7Hr-6qnzhh f=uaEjrk~2l3e`ZV .a4D&RmN7=54ڞ^ mg<%-yAn0qmh>^+N[c$*ZqHW_SP@gl=rpL-,Y>]g6{)~lb#q*y.9u][6[tyhԙT8Yf@!pD^U,IdFVjUT/$ A;NtS'OQp4XנevTenR0kjXvGb wK]4߸9u8}߇ qgikgE !D%`I H֩wI?TyG,Ov}t0FsqqJ+U=f!dSo x{d;m S7wb `4&L✇:4ʨ' wp(k[0 ^mZ,4/BygՌEsPcȨ-G^cQ7BjMML0$θ5`Rو.6|M$1"Y7$lة/Zѣ7 4>geg;/L*^OHa' v^mnr5xll.YZ$~ Ƣ e?EKcF3J9~;JgM:O=ۘ>sZȄ }^ r4d-&R&\p2;]{$ ^EQJi0 hle}…+"ƀDnE}dveȏ1$+8*]FNgY"e0i-4q\e?,4w*))R,vUؿ`~"""F3! "F|٘ wYA¢o{- tz!`փ$q݂͑ ٔc?Np%0zt %'$ife[] E#a8lxU(:@'ndWNI4ͨaÙvtԮ>q7&XCc+ 6#+#7C~}^l7-aDBe.H<"&[N|.%%.x^z\9|),_TM䚳'x G r`zo h")ۭNﳐ[Xv#RmߴE0uض)-'*.#'D `_qR69Vǖ epy8sFdq=:Bf+N<.[~Ļ5Y B,O쉠Fw]=~0UK-S2݌>əILݐ[ > 7\ {B{$/gԗṮ?cUT`ƚź6Ώ_Цh)'{8Se/Hj%V.,]o 梄\|u S&*Rݬ$_T/' `WoN w Ә|nsyN8K,I#{ S҄i/xE^%](Fa/9ܲI=Eʒw>k!-J5ɓ UVr4A}c n4m< DHx٢]C.gn'hPbs4UL;l"G 3HCy]ۢ /ޛykMdjӲm,v$iDP@/,߼xPoyxgL~H7mFL͔;wa4:oBz!P|Mgf<[*K+,ҌS4  voݕ9{3P-U[nQ).nHhڠړD6_7o dpo{xs oTi.~ ЭR˦sEyNֳ$4o+ޗŪ@@uOGڷl{[M&@fm ;E6dz&|ԷdW4SYB,. T\oթ0e,瓏<.az...RsR"9+w2"rt@&KD/n%(Xdmw{[OI >1yW206}AP!8+Z%wI-jSbiD}6S?u 錁WUj$ySA<㤧$aQ;1!}oF0 % ҿ;쁂_0J1oP{KL|K<)pJR#& }.HVTR %iz,+<GfM *ɁON޺/rfa0ST y, ;GK`ULȯr6emv.msAGPYU'4LYn볫 =QE`Qy@jMъSh$;-i΀ǰQ.I[V o=q!3^TB1$a=v #OiuM"~_X{moF]q nNEhGW\Cd%< NKPp)5џ#[[_1YP9#)<#Q-FJ+ @o.\JY N_I,hcEG}=ll,\1Pځ>]$j+IR AA AvCg k~? mT^VbA?p#]:@%9,  mĖmP~TkD5H߷g=6О7(om`0˷YoJʽ~2r/Ņ줘8ɩO:ND-n @?B=pn"5+k ~ZJ1(M 'ߨovJ32cOVK&1~0qgL&< 8pr(*VLp;]l2" R*=J2QEU ş{Rth@UtsnS\ -\mqyFڷ/t+ڋ jP5ޔsMLu`ESLeAXr*LjeeO) y\z;V> }>օɜ {yg.T UٽP"va~MF@`ҿk:VM[F y}i.uH)'9Bt(硵[;Yo+'^@8Et}+3a*|4 nU=8Khw*zU=MA 2FU$YW0^y柠ڟEVU(m^YW_^ MWy^TVդ;C 26)ωGVO)q՘9x5 '5 vHjP6YRrOx:D?8*u,sJ[xJQq{UB'"\1 3?QA8ZÍy, `nS42 &HHу}GvwrŔXN+=#K࿻Ses0)ak~0܅uz~n"pJDhhSߗuR8yp"c= Qa 4eg,J4*]q(H4>#uP00E~K+FhvgAAx̗ppKÖn~33M%Jb*Wрnxꓵ2cF3p߬o͈dުFMDWt224Yite1f KNƎvS@e3ZvX@z );w07W 5XBZvi׸YJklJ,Fv'^:0^-s8sǤS%X*gʍtlOYC\8QZnRkw(QO$wJѯ_rpqVSgc! x2;kұ D8x@8r%21pY8mff+abi@}"`LF]k-}c-.<emCx&*~s `&5o.{e@ 0|f] e1!$o,`y#9PJ-57ŬW;Qc#& $Oo^MNϷi#t+,;OUr.+~~nzě1,ojWB j,)}nq\ ZK܅t`u$fX)E݁ 0 Ddr ށn:gos$.yS- kHlIgc֙ഈCwM* pm˪( PĿ[cg`9g}w8)?xޜю=fVW]~ګ:6BS`CpG 3#eӈ<jJ@M`x$'upLS /bNGDNmqʹy(q1`?%"x(:@' NPE ]`6l^Kk$+rwԝy(C -bPx\U|j,/}3bdv?L)P=*0N{/Y H&"/NPâLu>J.8EH@c!R~v CH_bC^ѸYok'0ִt`M\C l p¯ëk30CLZePL]o 5LC }߷6PBUl_9؅@X/Nu@#OyT{lN^%SpPGWw#?c_rRymk mbpU9@fD|*Cj7*g|岭 <9nSyM~^XqKXmp|c~:Ctgffd$is_9;&y~g~k*yה!J׍ԡarwPv})!F@8ok~,4[G~#ןӊݐLyFշn֦l9)]1j`Yb5%yj'dqT,!'jqF+)M"⁧ 9RI-P"fI8RԆQ/9 "m.y/eZ&DSޛx<ڄp<d>D~*WTk@"^;]vL%pd-Mz%TO Z^ZcfS3B(ܪ{B[ҹQs)'TU27I["{Y#5Dɦ cb4am?vM4'ϽO-i/)_=@ Vq-[˪\bFiY\ a^`k 2>lo_*~4Hgp[M`Ul쩷PU[6!2hGJ:S036X3Z6T&BzO/Xs{L})n~yԪtVb>iW5DHm3;1ajfAiBT\<zBPwpH\8j? V#1̠WNh-mH#Ar}*_ @;g3ycf@9#T P?ahee4ACEh4)1Zk+Nh+Edt8/ t:X>ϰ~ǐs4ćԮ2ez +wmgh ՑM2qQM VeRȎM΀YŒ؊xW)VSwx1/Y8-evVžFwZq-,du{ vN##t pL-j$,cD;ݔ)˝7cT=0vS ZHS<aKj"VrD6{F[6i= Wc)9wd0ч厵9j~# ĵsQ8σҠ bk+h5s:`zV͎~+:cGtS<^G20м gW%VS5]f-xefߎ~g+:|1;P}*D>JT ]kq39*{<贂GQJBY* >g2jl! _4ɪ#=8IH)Fѧ3Ie CN 4F?U &<XCÝqo32^8gF5%p#T:<),ԛŁG_T sǼ@7sg1 G.x]=zRPLƯ>?VT؞) !iOEL6y*/B`ђ/w?6\K8L_T?؀8sq3H\Qy>;{[0w0! ja ]ADgnT)%@exV_'šk!Pf[Ik w'I*kZ13M5O=4sga'Ę*LSͯBl!.dzrcw?,27yS'33jtߖM _CSno1Z|V*EBRzۛ"Tn ծ=s:9 #-4pT9k*)x.SYC [_tzWiZ CvBp0ce>H1zY[u q׮.ވn3-)7T\u2sIa:Tˌqɠi{>$0bKOq7 q$:u0rBbr8KKc}ب93-xn?0*~zPFsWXa+Mx`l5Vx%CE2M,`5Q=5 $beyvs!PzgʠѡjNс7^-P(tK:Ƿw}]X:(z[}QF{EQ4'Hq/;nuh<2~8C:T#j7Nq2N7,BG(1EԂ6GҿfK a|4D`;j$~#1s##vAdَ~8G8a-ê>u̮qm'9Tir5@@Z\%`:BLi d2E,ɲ8TlV]q$m tDuˇ][H;fg2 ib6~ η"LhbrDZ/"5![w!iz`@\l`V(1#Y20STRHqħdnpV=f,3t #>= rCnd [_nbd2skY;yްʧ-E 蒶 u>rrȼ-Rppe:[q^ p98з芓"^Kܔo΀fjG13ឯoЃOTb^1yIה--S pZmH2tԢ J259jqϋ@Mo̪uyxȐQzPb$gEJ<ǺaS(K#E_cxG9Xu)GW剠Ym>$=oFBHn~:PqZ!t&Xs~RO~#[P [C1qdfu8y'|8J ئ3*\ \hLT5$H-m2n?UA QSe@*׷RqiG'$/9]m[Lz$<75>V  ?pݩG y0VḂtѰkd 2VN "#T)4MU 9ABԐ³)k44'ީJ]em wn>H==0G 2PYחs1+B-'\W` 5݀(%Tۘ掲%f%D^0nѡdܑ+&E\0 u !O`مvD,|YNg eF/ox~%bj'BG3Lǚ7O^pxcJ-9(ߒY!|aPQbJ@AT R.,iZ^禈K+̉?Sb9ej 㑻+hy eQ65ϵRR+KՆ%<;AJ|haYJ;{ؐ.Hqw< rv'cfxQm9us`fY*ߓdlw(ޖUSOtC'il:Vz_Nf0QXkټsk]c@=c)K?oT#p89-hTäGI ,'D xEgodg_fT+G=( ,a+Mz>z$g=[뺪}@Ut^:JYHQWxSIX /_.} q}_(O_ӇVD <[3+HS9'O]X"jzރY祚wHA tiҭ >ٵWH#vq.HbVё3ȚfnZ0r&oE- נfHSdG\7l⑭5.9Qs(a{9L7'.WFXB{˕ږxnZfb&xڟ {C,&6e02ZDX$?(%~ $!S''@Ճ\厫*ۛ9|{y 'o@ FVd:#Ĕ+d< (xTZsv?є,= xÂc=}W)ԉNQ4(.)AٽT͌)blG=8Ո FUujU duRrϺ,Þs]4/` \FIbp%`GZ-ķf;Y#69R /T2 [*1o5dJ/ZVWEd~g䊾v)`5UgTų4Ӥu#)g̤H%FE3,X>&aN9 yk 9Sg^VxgL>; 9qڣ8!U"%:[jlScNm ^W6 I!$=n4#{UF.t f:E p<0H L $@CA&zH+e<#ɳўMb2 oຸBw2$c#Ȗ)"iK |Ba ~3]_&}r7k%mz3$-a9qOiy7_ KiMhbiϕ{+hH5"1|䚷0𷵂kw1BnD$BMdvDW}phe!ypKxZ5(vnr)vdB&PӇ-1p#0eJwHdA$"mfih"6.eD"퀑P~ah« [f-̩BNVK]U(Jjj\+M8Vd@K[nna28M+#L?Jan>{ +rwөPÞ6dZ~F4kL- %8BdOmM$/0:U(ɟO dD\rYUJ ؼ)N,i,*ȂK)8KOF^;K;p6 zl~+Z\\7(&VT z|8 !&+:sPmes?PX-wgGyAyu$#% ᜼,fC? Qr{2=7i`>cf+H&pj'p,-$ˁK)FSK8VɐḎM YEGe+:&Z,>iSPF7Ph:%2N>JKNh-M&&T;ltۆң:12z! x'pS `zɭ\ԟFC^,I9f?/uH[k'F"P^VQ[~`6F0Cr/J]i~3<fn> LKUEgL4RP gwXinVr]ɐwr}q.ڤ?A\}yv@;)((|eM#[T,~.BTĂt4MBRo(ξpx2MY;}1 w\h>%E.2\rmnZ!fY 7q@}6YVrȋn3nHAiez .]nlulb)jRFi:H ARYɀNlh/kT r߬hIx|EFO-E[ =9cSD6܇d fLPnL0 e$XPnYtkbTXN -d$i}>Ծ^0}: 5e^Пe`i^{ʍwFͮ`SH\Xm*t{-,?_B2X$A1a)JqI)A? $;p>2׿57fPgNEg^;W98^a6|ߟiwu_axKT 󼆙RùdJ~@R S`Gv|ΒP%)h~B ^%Zw,Yoò^"-@Ʋi=Aa/a7.Fi%3Hb|v@*"Z8D7fg%IY;Ogfi,br>! X(`C&K&s7O`;9k_:fUib*kʠl%qK|(F*\?,i݂o/nC@AB4A֧D9,`B_c=[EX>`;z1}Zi-t /і"&IyE;u")ZI싺!k'Z3m6vSJf:띨r2٪)*~gU))5 }kuiC-\Э }Ws=ϺG Haq~C'8 {bČ>P:@1 ̊\]Rm~cYf'fjski%RLXU2lB>p͂慀8UL jk}`I4z΁h`mDV#&2QrH h)dg'Ѽ/ i.<e+i_+"ձ1]KDx{QrP_`=`4Bj,+NCp`$M0`O*)Xik;|Bf ^?]T57Ơ/ 멵~HTb:#7>MI?0\J Vx@s]3羲ڮ;dҘF$kaUxqH8{+`|[R8[G%IBހZN rgݹnLUvD"lV3g;zqDOY+e.~~>ww_W`'E׆k5FE ~p,QYƛ3dgsy0>^FC2~n.CIT'@ ^PYW[!˾>1[H"<sEߚ5AK'F%qpmGʧX/LSD @N*q V al Y%/9sXcmI]ˆw) NR uiu#?7DHHː ;UAo2)HON}Io\ 6$ w37m_5\!FTͧ4Hʜw 2+kgrrmo{e J`:;$ ZhT`}YCА}:7鲕 7& p ͼ.´+{U,p̔MDv+㙮 ̸wG=k HxprрQ9WP0U\({:s,a8ml$Tgm1B#:IZS簯+23EML,Z6}E: pHiQ8,ƴóVMDCZ'4tCʇ֬5ܦM%)2uzJ!!:r } FeàG+#QKGX(4WwTȩ \sguz1;oR* y<0G/"|) RԼu{ЇYl 4jy `cu6~SGs{XY^$8U/Ì.5I~t4]] F. B('*?uz~) b$q Gb:EjiXD cE# a0C?qpmƄ:_?!Ќe fSf FNi} )iSevW֎DaG4@]BU&At(e/> & E0XP/b؄uX<Sf )]i'! gyyʺȧ E#Qf@4 gئl.nă76>gx1 ƨ *7U:AN4qn&SUB!s-c$;xyG,QOU "UGTǞ97G"yi8,- +7d:lxGo+9UUSgm_$f6\W1h~_эk i9/îjcTA!~e/vEi0]A; <[5Q÷8,[I(WLűLl74[k4Rly6=ѓPR8/jEq>%Y[GgSr&{]~>d|o x]+ZZxDZ쪣LkV183FQ.RVDeQ,3|= 76h{N VؿI׵:7Е9UW؊첕'"nKǓd+-YBG{b&瀷 Jѓ֢e7RW3P/@}G9jDvJB+6^&iIg.*:@[Z6>$>"M}gi&xr,d?<5U՗3dPO|X:x뿛($Z(8L.8v^v0a;jpL`kd&ƒdg*"F򋤥4W` jv`&8T^n-?V;d!*PR 2R:8_dD EάZ.*ɵZu:!rk ^q'\ij >Uև,/À?#Z%lJ!店~H6jce0y3%\a s%KlNp*Y).r\"iws}߇]Psl(9faܠEf)AK"&D&MƣC U4/&.Kʺ:ΫJ4q #J\gm_@bDR$;N2iь`"d*7:gs쵆3O 6 j/ DhNB.؁S}7 DLIRs杷BOF(GC6bgN\Dc!Ú9Ko֛mI }K;7@bJ<Z0R4-uqj"33#\JbC*|m9,jwN.e`$ 8pϛq%}`w엽J[Kt0IS%&7 _dHuT Ľl'ɉϬ#N:u˅DC'^~ɽ@ЭJj_s hɖۨxlHFAǨtNteh}RQ"RuT,((` mFM`s>vo;eݮTDT yAzKx$慱69Q,KԠ}9l#RW]U'oy(o;#Ƿ@?y0=-3R`:OH? 0o0!; NU۳RH<V%\g==tDN΀mZ{>Wbh\nQ?.s رϘo&1aLk),;74ݜow5@v~ɳ?ejϽ:KoOd}R;4Pu]9ZY,# WcE#À;D'KJܽfR tMjN7x\8k<-iu|3<]ܥ tZyGy[e{=(-&܄`+>̨6e$֟#OG]2i0#^~=韗aKZ2G:'R }e:.&L5t†׽.S;՞`yhr-zɬq۰]#-M[f]qe)5=As{Lڥ dˡ%n4Ҝpm}& ё6*CfPŃ)FTn͓@o9 q&Ҽ^Wg )h>>sQoU?VqwY1T;l 4DQR@:/מ6?vA*߂atÍhlbջqM9Ca%uu%lzxQ1&agH] nh vXt' jC̹s^q'v ![-Yk.ٲa'!8>G¤ "8 OȞ ?c~' >€= (ǎEglLB$7&5[I#5n7`_oENNyY\3/kn,6I {1N7nG+$W=rB59*ӯHx,?|[HxPׇ-*H0umفùCBAl7BYzU=O0f.7ke6|xmDW=m@ (f'"c/A]~ ͘A,`I?QL:'Ƿ^aC;aɓʃ$ Nn%SmN#mqF\PFq_+a!UX0ÿʼVF= ^#3PZ 3 80l:qs LG@3-DJp /Y%nܬChj![+u$ĥQI jcFfZ(MFo]QmXJ#B,O!~">`"i>ѰB]7eD\gl3}k#ӶEcbf3%iJ?25zZQ˶+VydQf(YP64|9 Ek^dDa»g6:7ܥ `!&4N@Ь26a w l, cqrQe̜V]̅wAw*8[~[G%hQ-h7fdJ_ ێN9GMs_TNGPW džmWC.Ћ'{8.Y>~p`ӼFkY=cyNѦDiaEJÆ%b5BMl*ݩ|+/ .wAK- l&!P<̪OhQN%+5bj3 ԛ2azH-YЪ8]^pzACwNjε#p/ -d$hU\XꢴGQ UT'ԃV穁E*l*m[= ^ϙ)}$hDmչo~ٲwK v)xd0;LRUx؊H)Fi@<^zNEG^GEj)ڋasgfyjie~Edt/7:={H7`$]JV-Ɠa8 G͆U 7 OH(hBich8,,]}u* SޜDzܦMYs.m7!sqӌqK5~?ΩVAgї69jiHMS [{MLD%lmt_*O;~)]5e};CFr~ֱEֈ!þd]^laCt} =?@+pYvt=gi$:d;Keï 4l>a:{ ff኱۟M.zJRQBW"*׾[GڑEo%1b:ObGV9xI^B">UWQx}ʡuSh]2L`t,VXhs9Q$P<R@ o^vŔq!faa>f3Pji9sS,*7|bFW&Љpu5@nSBCj&44m*{(>#bjx}h2#bL2m~{dO!П ~=Cv:ZmQ0g9zX|iY0P3 {\`BI =+z)Y҃w^ #tfO1]>jn&5>>ݞQ1GOH`2d.> L:89=!eS 2XUJ]f'WzJ|eity1]P F9'FpIaIؿWhSNIzڒBݞUOb+,$kECOOn)/ۋNٗdOgSRMԨ[dXC4Q_*;X)#Nr .S;>?ky4 "=侹O^-m*(J$O}WѾb46Db|bLQ A*fgT`Oͩo EW5f跍" <(sj^W;JS dM B8$(\;!/Q`e`/nw:BM'}.RG>1mI{cl: Rəvx5z{H|g?C5L/(FЉ W%B۶!> pB8/ys($f&J'P?;ᨍM~l,k:"DiL [Q9vg4tP%}%rp,p]K^@l-SsR8Mنht)Gњ}m75Vf Q"mYD]ƨg |Kz%3Z&O}z#%Npؗn|x9UR*,nty2Oe$Մ_rio@ge%@ۗM˶?Yvt$9\avi&C~m;䫞k&`ŖsM퉹ʙY[ZU?}th( Uw&KCs^ 0$e}b{a YtԵ#ۖ ,*նNsۚ@x'nl+Bq6 XF* E_.gyj`Da3kb@Q7Ħ\?$eZi/O~U]le)2܍$ӥvyc0xLY4nX!Lycdq~j>P١: ꘑ]y1WPœD߄%çNlk0ÊVo.o"K#(gL},gԢF}>$zEӯNT#:6И\._ w [òD dgWo_ `ߞTd?yZ0%fR0zz[Cg-/xbS틵/NftT:ӽ{2<x{TW[n ˚zեQw4ܡS;:I9xKqW(*)n$ K]&FBɭqXmSzsMҋ6D8J? #rhq=Kϐ;ƌ0 DɣG^ϗ_<6F3/ptçUi ^{0i`f)?ܔ[g&ŝ݌M".J`-/#{ZR %EO9EUd1}i9Mee-ipjtj͸Qn$k|^tz /] 0n͏aAf~ -vp|UvC-9:.~ QTkv~tm T{Abqw~ۊ%Eóqw@C ??|o}d(A[=*&<ߏt6j`n`57X iM)F4R䨝TS<>cXt*W6qҊj~ZN&?yQt2.<+fE)[;h+Žښӭ>c+%@gڼX)3lG-!l8 Y'iR)lc+Sj`Nr]@c麑WJC>`*np'AR%Hww $tʊ,ubuaM= EȞit_h_4OGvOӍs"-;CEtL07}4Cc}".#:~ͥSVI&b B;tS9/'X(>+覊c /ݛȰw a-u{BSrQ;˴*J|C(Zꨒ:x0bhOX9 Ϲt?2YP*Gwf=+hKt6 )R/4W&$iuu][X!7ƘT@PSx&X~+%3`x$Bmpr#dd?ȉ;M16'*37&}rFۗ*ỵJ/y9o1hTLB4\Q0R%LwK従J}Z~cu )u6IHs8dg 3m?BP0A*l?~xƈr#h( 7C@}( iԷ-Q+L)=8ߨxdS6>#Jar[KڮjppaܻWFĀ3X3:7A1wLvs;~0O|5U@߄Ε!3|Lސ5{ . Aݹˑ9 ϻ-2䭎E juӒyk &(Dρd;\W}֩w8.δfi-U>!n{e~ҍhdn;F঳1+ˆo q1\ؑ ÔM.f)힏*ܴ# S6j2vZɢ Z]촫`Bf3qڄUz6v#5MR"kSbQdHe02>kjоPeNO1)WBb^r/wa0 S`cEU妫0G #]za@ّ GMdkRTw?H-vs6`TAg},e0%TIz3e(ȋ,l>r*p۫EI䤚6i L]c!):NAW9G͙ ?qΧjo`!zK/<\ظҟӆ5ܶ.z+L i $)ܝ.>}fvܱ!:MT25l@)dW,IJŔ"x?ZhȚ{#*G3.c`5[o)fcdÕ4>Ⅺ/JD60:Z5T'"ͫujz\`(ڧg JCy `J+Zܪa|wt]b,^cMIB2;8g6|w8xCXϭGx d¨0s:SJTfFx!M&]>h|yے-m'#-o{^)^\ޢ^!%QgTծoOOWFfp|{?O/tE#K?lFٱ]%复 k:o4-"MKOeYaي/?3|[f.E׷4< BGlf#aĊ!X4p>GC%8YU7*`0 hȕW-$U.,P:wcۅSp_' 8O망mJ]Rje@۳!T'-,9C7ȸDE%'Q}ݰX)^aV^ۍ֔9Fz nlu%:98bШT:?܉bH$ϘnqYf6 D{F:yN
;
y
hOFIY
zw&@v#ަ)jKj>uiלS7s{VƲ)D~$,"P/OSΒ2ϧ`X;`췚vÜWqo?>f
>ƴB}u}xo_ļH-3/%%FGXroA}z2LGBHe;݋ƈ"R'i
}+t.@J
zTylP@YM@|I
0^e"N<΋ipF[6[}a?X+*slw4oEVA=ȴ-PyShxw"VeD^K9ءy5}J+l:Z
Lnz<4"&	z1Ju|\,Aq8 gSuϯ}%f+	Y:c~	1>~)ԛqٜHnMЏ {_e7.UAbqo6ޒe^)`2k[ST*+]SmAɦyIs89דt^jt">\<]dQ>.r2@;n3ٝ{F}7
cܭ-"%:_xE
r{eR+ŠXwѣ"ets"̳d*<>ǫpjb_\1Q8߭^T>:P+>/DªwPzwfГ8$ǿ1H%Gx0"(yP2QBd)[ywpFA6Ǝ1!*a&Ga=FEП
{dn}?I֗у^^?>LKvq"yCbB925ӽr
9}t72!J#hH&wI1Òhu(I*ז"eL!oLP6qLN9Ul1VaζDЂn4>!^s5ַk{HĬN﵊EWWL~%dX_p}MCe녂:4{KYS*Oi$*NNX Rڑ5~NB.|N?B:mJZhb.h{B4s
h]T5fmS@B̗ +V~x?eZ>Ԣor.'Uu:rԱ+T4|qary	(bV=G*ȁa6ޜWkۂck.15<'lMdDsALe%[G&4N+~(AU(r
LTd/U:v()NnAsu".\(S[P2:u-{w%1^iVxtJXUR(HRT<
̸0ڢc{¦糰0:<^P>.>#jWa[ㅴ4J;
T`,^Yş"":%\|npBkPErxn]}D}hQ2l{V4"#~X2#\A2$,4W'7ԁbC̔20v &=ɜk,#'Vy6g
V779D\zBFZf'AAs~+|>T
ƸPAEZ;Jh؎3ܣEl6h1Nh|JMEcFrν_2[X_zu}??iR[kc2P凲}¤{z]^
G!ML!5]TAhPHmluuM7R`Qc'b}Y?om4aCZL@-7ߠvm`s*i ZFR<+3kf`1-v`*&# hT3κF%_Z(,ܰ4U	$ۻ
#;N9ubqDI}h!ϩC*/!&9KKYL&z;`h`L 5?yN,Y+@7)ADL>}}b*sM:`'X&oL,i.m|)B}
j?jnS-Uu SQ83+,"腫8t!y-hDt<`W@.ICiC(Rm>
Wv+bQB&TEbSVarB$Glw.|+`9mPA9iY?tHߑUv
޹eW"},G>fkhE1fs+dl`ƲX9?2e&
xt%>B%/S@24Bs3<3mn;/A6pswhX
f`C	`z|2oqmSt؂]gWmyVP!.sS0τo؏xnKfWe,RPdϫD@s	ѦVjQʰq|FIM+"3ؕVBϥ<u,aj#q6iJjB޸RE1GVn6mDO8FXSiTR	o"eK^6jVKr<aJi4csze])yD&Ċ2LLܙsp_5c=TK0bz쯛m,SAIS&nm=S;l65^|߂gzP9#hoVOТ^7+Ihx+71tfO!Wج
LC;ZhX*32Km)	kYѤĎ	Wy989^/dzIb+ED/IYp5~Wd*`IH	GX|v$lU#D#QkZ);}UGenxercЎQn&WNxQ>+ ׀>=Ps@bP12UsdDpc$]a@fV~/˔	?TxH^wfDgdD>@,$ɟUXNKNU*6bKɷc`웒w|\jȝsVXJE
loN֏tye-!Jan	܆PO~},]n.fW4ioZ+ܻa/F/}s걙Q
\n;߽22Bwi=phyvMn$
wj1HUڒ
/hj0wg]K[۟Mݐ9+Frp3|j5aHuKޖvOˌ hqods]M:F'҃tLẀڵKS*ݖRaLRilVٵ1Ds{o0xהtF]\e
.X?9,%	FXh<iQ9?!Mx"uW6/n%C10A&yGj3}pϘ"@Uţ5S/-xL҅ h'"\z'c$R\@V.GکTT6ҪR$]lN. ruӾ'2;
F΋ۃhgMWR3AY-:?GSc(VHަ\`<|k]{n'4TQj􌳻Kqx-i0!8D$(Zؿ*-M=mx
>nU6Cy]Do
Bms~Nf=\x_Q>$o<χ1DY>@\}Fpn'6)o;p`_{E`ozl$O%0_T[jlڌ[mWוY*|ic(>׍œ	=ڽ:DL᫖×pԏ_NrtI:	x:޳,|˳rS4m_:Wn4}:xvyakt`/Bd^$`;`MOc6~@<\ɏN?״45>!fBʥ6:z
 1ӷRM;ͫm]00|Qm6ґ/89w׎?fxWLȅxJv-)HRKuxd*B9Yˊ>@m¨5Y*܉31?|gJ܏Hee\Rnv`BwK䊻^	~Tx=AA:R*ceU 34(~gcZg_w%yёPU"nV}:AYEdW7sS,΍=Ytmhs5.vܘ*4r!sNWl$Ȓk8Vg,?\tUZ>3h)_|swq>IO$%Df4AD59m6d$nczQ`Efϒ3dbS6K}c׈lw}JJ\/(^ZrT%;H}GOHjԓT掿YNf}5+&fUϻJeg$iX};Z:Y*)FZ!mqTn9ok!{ˡVTdiiÄ$^FCդ'dr7P;HxiuS0;!Ga.؋)̠цiO.

B!G6@I:w+%.nobZ?
5*ƨsڔ(?+eL,/fv8Wo3Vy^͐p]Üx- bj'	%x[A(bYr^/[=H5`}ZWʻ,Zb23Q7
r[VvuuZϰ82B5F&cGfq6k%ld~b)`5I.zD+b\{OEgu{U5i=
2ordyӁ"cQ,2H{>gU#<9XAGˮH=9 !-Ҵ'QЧRiRޔ7Rw
=1p>S}07#](_2u-KV˽p>=n_B&ՠx!fX@?y`QqrY[ð*}ںУ)\~OF"cti)ܥMN]4TJtNK LqS3C[ӱ}SŀSהbvzjuvt_dE?F7N; 6^@0WOX>CDq	+azWtj,ޕ4uTƉXL_ZrZ8ugT{~X‚/1߶wzOB~O~JfAW2N{u( )$0 pp~ӳe.ҹDF^|ҏNeOhfGײ4UσITՇB?NH)~'ճ_.5ˊw˲NG^[y$@l~Q9uƈ8.S
_KqӝtI_gYZ
5C+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id102H1'	1$"6aSY30pﯺNte-ƼO^}	AkZIv(InU5
$+Ki*O6~lzNoEm7!°~WrakCa"<.7۟=,ϳL;X>QICē|v6|j٩Bq$Z
1JKr0,G,|ng.݁Ձ_6u1E2
3{
E-⶞R*
&nqg,q?A_
ơ,wi^r6Ec.WOBB=3+axh{pdH2G #
Ȃh"-澕J{*GwZpJ_<ڌt
X[Q*{jAO-Fi<	m6TyLނGt+ wߠZa9>s[Kh*=7Mosoj3ʎFʾ̀0F|,צ[W}Zy!r9?XJ, 
d5R_z:q\̸v&iejz@OV{hwŻds	@xʾ);?>_#%†?ޣj !n4yY=v\vs0ȎCږOYОCŬ9
L)oӭm?)I|Zś]=YD']Y0& ,tγ6Z:`\|=%cy7αyme[Bc^Z"K`ǵvBȆ'ó2.iBMzsQ	ϟV@C;3ZUkܹ{51D屩\Ѩ:*5	\F쵗=c"ٶnt%%j{Xsp@Q:KRgr"
՝2hFeT{HU>7i.~BF7kc*r)\+v*2Yx8ig;Kc:]8âm*:YDd,Ql.]nTev Ifp}Q8^?5g=B)U=!Z	TTAzyXLFB ˺Mb{2dbadg
BWl}%"J*a{f?[آx66хuޕq-!Dl6y1R\S礸mM-?vo#j$4MHe83{9+을N	)*+M>ӊфZ<}q'6m%!D0Ӿhu#i$5`P*nvŎRR
ːІQs!nsK~Uǔs.w^d/AR3Olp[ʫG(s겖WORwÿ{rK$J6kVqar,E=X 
S"ΰ`\]dV֞.QweFXڻc|w^0ti.ʗ{A( tb=@E?,&>f^m
B.b͍KMgDz7Q࣌UOot[D<=a$Ǜغi"_WbY"?;p5{$rI\tVJ3SW!'W<2iSERCJvŕ+Czc8/ 
nB-]MW
1l}ù"tYK>ٔ]OSeeM5;شɲOELjppBdBi=GKGH
!/,L?n.Qc;O?Gt/_2-vaS\TŪRJwJAOPLϞ?C?
k#8v^꾆$
ලJ	uh_h/+52aT8$vOwRU;wԠc:3or*C0eR`4+1MД˃eVS [;膻Ў\gYZ%>}f]\$B4_sbާ.De,PղŤ1V,haUšs0
4v3+/
z!DOH_V)xZJ\؝)"*,$YDr0cC޺e[ @IY@
}.%hGe;cA!=STBQ4cÈ.)\HF4YyA`?l*Nv+&/CQ!,d}{xd񨏟YjVhi{G+v$#{ѹ?tMi:v6hbGZ"x?<|^89i%,5T:űNd/pKx*VmKzms9kQ	
[zl}I5'[#Z++`(
{x_^uWF2K\n7RєϱmzGZQfK),QWf4:@QbY?j8[mk!(.3ፈjʰsʨ1ƄԹ=i#N?RPIʅ^fOٝ$'&+D
V;\E5#d2_^֋Q9;cvC8q#NNۥ)G*=Ϲ?M+?F=1\haV-1!CF%Ø_ S"DrzL ,4@1(JMXKCU=	WIbR
[}YH"g	o۫nGbv+j(LNtBU6fkbe#duZLi,'uZ,PyqW{䃖\*a-!CΕd!;ARlk&՘?iH
WyMć]ikVsS3ɷb,݆͑,-I5!BnqhkAt-_VqǾ8nوa3i"&@f֯GQ$>!*>=<%c&*	ce=as!D4xECcR,,5[EkTr.:9[#B4Va~o#+-tkL۠}xx:ݯ5ݛ9K0%l.M!u5[bfB(YRM3o%{JynQ; @4E92
,?hDVîʀ00t
sֆ\^[i((9#\^WCUIN@vK):+!9jv_I1Bv6N2!tjCUrܵn#!5Q&b,,ʖF{Hrͬ0icx8
!
kzۊ,͠a?rOS/0>HYPL% :)IU!GJy.Ӣ%]$orJ1d@BY-Υ
iE?wSC/rE&56UGoϷwp{f:u
Fe˄ұp	mjS5ROl^GmP#u~3b6[XwZX,ĄЊ?xiF`JҲ;K9.^ܖwיdv&#}cHTP-LwnZdZX{>y%*D:rMt)Ɋ3aS,6e‰$q,MG~L&_ѽvׂcbaʐSmED7cGqazX2mB t=BlrWSlieLms@a6"k#OtV7Q`uZݳv~x=u:,<9DZ2x>[C=YP'1nmXㅲj#pX;Y7F(yiBp-pMy4N)2c'qjk^Xt=I	&{oU	_{JUGPhJ_SĬ݁0GP^ƢFƮ^Ӝ++,QNJD疋p+yЊԋ@>Alot+T1c e-dRrRVL(_Nb?xf<,C-Muaݻ&VF!jB%qC$	L/k&a0_;/F=ko0xoeq0>(~ȸKbS0.~)/n3x,v#lD:HE-U7=+uwVבn׉N1L*/bF(<䅓Wš<
B$+.(CN{e|7?'{IoKcgꝂڄTb	Bsi&n#~tJ@	X@,@*7x\dȞ9za_AiK%oH7䃤؄9O@KXPLeH?x7\.s\{Sq$2*ūFI|t%$QiSkqVzHr0l|'mM,"NN/Ǥp)ETlZ@*l7)dۙ !jP\VמQa1^x5C1Ť=/k-kÿ́^I1RU9X!
Q^L@:B
ؕ#Lz8M(&']Sk1c(>;-qL
\u+y0*c`1H̆ROaOLP`K|ȨQ9p2Uz3(,
Fr6Y4Hx}m’W.I%l>[Uw_Mwâ9ִl>ϚXYgYZ
nn+#	DZF-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~"ԼjG.,sj:ǯC)S匍Y]`ƺxlOCpȨn-0vS<)\YM6XQ7XTk~7lZ52K0(6,hr
 
=/3%Ko`'9ClAφ'Rhn.lDwvgLŨZ횒<}Ù;
֎qeP)i` q{3킛eA6ս723˺fd]1]y\J>11mCKv*98osIg3m8mcfgf?B\lq3uSI<=ϻU_*dzǭB˺ͨ<
石F3%x#ߝ˽Gg j$i&龳mdt^Y;J
mMgۓmV
!:C#dA¯- V)<\&$"Ɲނ_+hXbn΢úePGs.5juUQwuGlM&c͎qDVxw$䓛%$Z`te+*?GcgU#/5yOM[UnkEK8뼇p/-atdSRb=M2FXuv0@#..vcU!	dI
Po&OaAƝ12Z3z83+R}blQvd쑫>J]SiZ,cpKLpj&<^KbHW'Ab-U6_C9vM5\B'd\5z(pot?"sD}

%JԖp\oahNl"~usȑXMRS/uPtVc1KadC'TZ2gD*d`4#@Tpuaf|S| H:B3nTHҐ
:ٔxőKCckؓu\VZ/d3ȃlfmO!epǶn_;t1"4~1޾2#%aI³<Ciѡ5צ_)Pl7C~ܪ5ן+,L,
0dIz"qdĬߧzwa; ߘRBf(N_i|mԠdUdVРL*=%zav#r/٘3+C*Y۸hF;t@N8yK/BZvOd>Mk4Gzj;q2oCWsqpekN#x:ZD$"	IzuL/N
=wIg<ԹßT$b𞈏c~gVl@8Eě.9q.8>'\!zZ2钖c4EM
c2M7Mu&f	ڋk>՜	"R{Eh4B.9tmΒp,?9ѻp9#ECmp4Gbj_xC="Q߂c~0%wOK
dw7
FMՠCXLŎ]h&3>
;ss) 9u'aҩ,cH8,Pm)bï-*oP9EʴZO,:R(
w8"s[uA]H
D_\72(=JB*g
qJ`eYoHYnc#jW<㾱>Xha49D퇋d7̜۠uZ;+"~>ç8eVBmIUyBhn6-Wip2"E,1÷><הE͏XLdHAXW	{YꩬӿrՄ_,[@1Vo*q_
q#xN?`s#TkR!/QNhy{pQp^,mmW_b#R^׾".12,83*ң7;lbE^hrEI:8uAPǯWY0:^)](R}
#lU*`G/XoeA!i.(ȕ7[3z W
FO$k@6o6,2UOs2$rP.MGAp>
RwR τQQA7jc;8~qFw"!Ⴎ,&k֎~@
#F$~j#(0i
-=߁"_?##7f @;ez{ƫ%'"CV\I
|,WEfO#ey.8#҈O72lF˻3%#I9@6n4s
߅)5إ ϒؿI
h!.Rܨo}t:{%4h?#%	dmԦ*16H+ej:zZQB,}ymS{q
py
ǃUw{$Ɠ|'^QYTSj_HSCW;lWoȮȡ3WW;jJ߰f-C+S٨]-ao#ِ*ub3,
RjjF	4o,_[E2"e69q7QMLrQ8Zs=^=9qqV>nr{Cݪ⃌ð[E=*Q^vB f5"P]B!jM`DJ8A
D2'haw
+:ڗ*XjRmP+
k`&
^kK&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ׁuBqfI|_R}+F@6GUL_
.LLG"l
pgD֡gD|
ô̂feE`=l,+Zß[RCZj ߫\@fmI/\8ǛݞwYv:%Q.bKQx`6̠#>	vؙg@j,JA
gYZj#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"X[3B%R0NjVȾ@
=/.o$/4y5bwn݀é/LE?;da@Lq@2X8+gb&EȒݺFfMM+Yċcl;VAL^%zj+.gj\.iT~0h+-dG.}f4{~K	;VvH0IQRlQN5"0$w;
{+9`]X6Ar[ygψUuw*VQmj	79䥤R=BU
_~pdnGa{!y#%VONT}`Y
[CyΑy÷DR%y\\K84CsSL)Antʪ󉊎mѺ!-,yY%@Azq:Ė4\>~≹:U9Oa@h%nS`‚C4i\nBX▸<%f>#SpσDTM ⹯A	tSza
55ޙ&.P91!Ӗ=hy+%chpJmG0;{?BkӇ=iؙ;0ws&i H*9‰I C!.Յm	?
a&vʴ`Q~őOs- lkޟE9؍ZY(mW
Kxmjz<_UљΨ+0Nஶ>O{p5#00WNЅ>T?"}H/gM~՗Úp֟3BB44™n:s4RJ󣝻a5TdXJBj8k4|^} q3sū>Vma#L+fF/c]#uˈا1WI푃-dԊAvz)\JL?6VTL5ߟ]e2'ʽm2.c>='ݻFV>d)XƩI|ʌj鶞˄7@)dž({	ƞAP=!a.Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +'	lZF-InductZF-Induct.MutilPIDE/messages7zXZִF!	&+.]·Iq
n[:|&[z}F佯z)6^+JV@KtA;M_fB̒jXGB<*k;bETӕ1F!vq]Gz~	V\h*)Ly??ןXq)
5Kw(.͎bcwJ`
  \&wȶZu3u2L!|.|QmSJٮֿpYH.q=&kGq:d:_1+U?/WG$jזnxDĤ	+jٙaD8`)FjYB~!v͛E5ֆ[jNMXɱC=QYeE咗a0~7;$i܄юZu*y]h,]P.1oCA#ǖmGE47fPCU
~n8@*wӍ"BI·#{eI+=KUsla`ܨB&p~"ڰ+lL{ɷ{vACYJuƤnnL|B--w"lY=;/}~)Ncngڿ-ȝ}U3?]
jPUUμ,(Lpk=gYZp4T\dĴ\Uڂ?R/_;bk;`DE
1fQ--oaqyWѿJtu+y-I1Y,;(	tMw6
$-VGl:X6Is
ԎIH7u1!#r`G+Ϛx\c;"-~錇޻s^[dc
?*$N	5B?Dǎ|~Ӝɀ
S3oY@^)3,JYQUP`*ڈE^g(U68}0X|zt֪I:[EIH̄[uT=WA疰e]'JU緤ϥX	F'ΛRW!6,Q;./ID衮{rc*X^F
	#}Ԯ&4;'O;'ճEMe'/$}pVMmŠ1+2P3Ц]Z]HF]0nJ#E"did$+Ut+nr3([;}Ր?D	0ܼ6_EI4	bAi[Z&iBX
\
Vǽݓ$al#ew>[^GۜמYVç.w3eЯzEi\xĀU/ETPϙբdxXc	
=e2)0zJ-va21X
d_V\ɸ|
:W"D¿oڢjPO󟑶BX8,$DZyXHnUhp+Q,e}Pg$K>5"L\*qt Z=lPi3
="S4d:'pn
61~Dp_ԩgoA#OJˆEIܘ,d
A%EV7"AJ/>JZvVb;;Pnu	Mn2 Z/p̿}miɫI\o~sA.qBi*&퍆YvgƚĖZtS^ [Y)1QQQuSm$~IyrWqPˎ043IA670[%\T
>]%kO:_O~)&wJ/^~hɷnwU	B8y
F0l,$'je{0ԳhzU'M4.y	YpF ]ex0*a}:#qbsyWҊYoǐ0
.;[2Y(G(a(2+g`U;ś\A#
ZjOB1Q~N ^?2v'BD9o+!AW{	Tuy
C(C|#ݷa`+d
:y3.3X'zߥ_64!
$*TmԷR@6E`8+G/uKI1D 2#2|-/dCMjQP%#/+:OI_	y8eU[%NFM.SzUaƛazinɼYݒ=kK0HÊX,UA~a`5|jy+K}i!
ݪ{`i-S@]?2܅FGpy*=oq~?Mվ2x`t?n}˅b\
Hl`^t?&ctC4gFjEƮsŶlH#NMV:yUO;<9$_t9H;IʦVPe%l\Dz(܋#2lMYSR8fv6xZ@2ZЛ 1nivjUp`18D	A_nKb2UUw[J;썻z`c*'-ʇM9iBZhFI	X&BͱQ_rByuXɨJnNΛ$rkuQ3L[DyN~{(D?k{U6OϞ!z'1Bٹ42(Js]꧈+[>ѬąAF3lqd+70Zٲ|]^/)Ӱ
b־oKX{&6h,Y=Ro?~L%B_azf/{$T/;<'VA[P~nv ݖH,
GRDgYZ
ZdG*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118=(3'	$ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF!	UK]·Iq
n[:|&[zׂ#9=25RGEbƤFy.MWPꍓ
m1(1w*̅+HmE=gcFXt`IJ$gJw94H3BD#
 ;g\HLə_rb2=X&Vi4.$؄٦tL]#^o wH8ef
)k'F~g̣~V$.#/P̯e*0=	G{kS	V+E79dEG*ƳJXda&BϻjoCj'U&G3N脩/@]:dKՍ枟kHrIvp&;WC`e_9=-@ ceJY7npmi-(GU
`#kާ7$,w ▷><+v-$@U_x!'м|l3+o84[su#ERM0?6/Oz,ЪpofM`|EEAp{)tj6|߁
(t܃ና8ոuyծ*+s7|reW#!VNi>ަCY-+8%;:K!]PH6A4J`#_5"%uV]zߖXǟW2njԉ&LzҩO-}qU)ˮ>~ ? S/2h2.өFp
)ZI;#njLx{|HO~E[QIU҆R&41]RZ>>$(p6%1ǻ JO]MMs26}XvyxqYGi’;:?eUE5g Ӊg/Ο77`bbM2r[wq%Q:om"StԡUi#abіΜ:rI qpi%>UVK2FmDbUX8dBz9<(&֔WnVj4hsAnLJΦk]cp"z)!oZ^X
nd0NV*tZ%#&bZK_a?IB@[l6=/ۈ8LU-m@2ϲz0E+( 9>x%OWZ#.smAvfU\eP)19͚3
}eg>vr=u*'eꚏ'JKZM"kUS2pv)2LdT"Μ@,6J)jTjhŇ$:wo-XtDQO'&FpU]D&U ĺ&&.="5C-VKP+KEcH]kҔgYZO.T\Yvn9eѠxYcI:B*1=
HT]	x2>{䬌U5vĀg?,wX.vJ(ot]MFXʍglP[
ٝR{1nuoO
IY曂1ܣWۂ|LSbKeW*7mYcvjfAaԡ%`cTe2zsPgxb
chdf$"
V6'^~C`ZyHn1>L	xH;aqvɮ/)R#@s.5rZH0T1*ls~@RN?֏QFi2oӼVPWkxdMbLpmIcD$St5{'D~}Zpql_Tܹ;~/PO꼳^h̋g8f82ܜI$$UB|-;˿DgzЙ0‰|Di4P^4W7\+yHWKrЃ$r7]TE#2q>7n'̲Bmܝ^NBXK1KY H c{l/9!Y120A.\eϺQ{eC{'^ŭ_k~u6DV
")t=EJ1Z@kB86dMzE	K[8UCDD3CZF\).Rgw+Ktpl}f׶y;
_nhr1.%)P6*Y{iعqڇ48G\w3A6W"%2M]dnKeYAA aor+EY#>c|;<Qu4lXw2[CN MmkM%o?tN<.1g:I`:ӓR[_*5Q.1fI_EƜHr(lMQOFx7XU\
sA9ܮ߹>W 绐i"TSu!?apkpX>oMAC٤5c9;%E6CMC?p3fHqJn]Ku
q߃(SP+/#ODQZB@-qᲽal_b*8PQv	RzǦDOg{h0{pzw87JeؘBu0s!=
ݻM3^Mr`1$(?(V5OTaSd3+{Tߺ3'J-wi<4
1YiSZ+l1@S&0^pRTQs-s{:B)-Xݑɤd,%l^V
wӮQۋkBj,o1Eg0>cnGGqN]&?u\mR;> ~^OQPhb,*5rRŭ͈gDf{ZJ+v/slD,ihwoMi϶ɲA^NeL
^c4|ӈEMT36`u!]J0>f6isGP~V+KcpD]dȉyڇPKMRD.`XI?
jU>O^>&Ja0C[,n3ba<Ws{+H/بTH0v'E+W7Pmi
~yse]SqUU%	,nӰ uߍmW"2fDAHU-hWԿ#ٗP܌zP%	
T8[۫iW'6Uwcۂ
$f%!ԳA\Sgl2dAٰ@,`U=_D&dTioXäMk{<6Z,T|ss}; LVkW.C!'Ĕܴ/8VG?ϡC.^oXdm&Ѝhٜ>ΐ0-Ɇs_j+? kq!I,%2sF
N)~"!y=1+:LAfٟ4fѬB`v	Dx
~]MeQTcgs[n׽-9Un	7Zz:-enY}gV
/(wώ븭E$y#b`yOgu,vȚZSz+8wB;&G8;KVݚ[WrGj\ՏKHXĶ8
x*qU'0}a[]s	-8Jҩj/%Ξ:IׯU(aҭN~}ç9"><_2ejm`cv+!
?DL0crt:p.fc+-C?pQ'3/nGQ?+a,i[e	Z{ఝCvw;\4bZQ VZ~5ؓ@Agd]Ej논ڨVQlԍv#	!%Vֱ=z~@knԿ>45تDAW4V^ԲjQҧL_Y}(',
Ɣ}IO(;XۥVQW\%zq{3ii_?O#`PY^'oR\P}1Ѧ%t'2gc-!Ce9Fmb2!U:u5}Ā3cBm(q1nEzi%~YmR1C;)([;MsԱkEM	N<Իs3:[Ptk%2HOHdeGE;g?lZ'?엻
_;gk6pJ/?)' dQʜbɖ48NC	R=(%YM
#lrcWu9dJ5/wHj3Eb-cvٞ^~~^rxqkmץn	κTL7:uImZoUlQ#¦~ tK'^ScVf!V-9"5=eBی"AgYZ
N	G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108W0/'	\ZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF!	Ne]·Iq
n[:|&[z׿ZlĭRj8qX`4H2%Ax‚v'@zZ-4ds*pV#KAa3ŶtAsH"
YCT,ѝo7d?ycTur&]Co&GofR7E
b:D eɲ̓ވ+S:3-RRu"xpՐƪM7^B"yz
28dՉTn6L\M`8]sPZ֡`G
|(zf
a|^ʠ!{qs>a3$KOHh)~';Qn\^6*A
|9ôKI!>R.J`'_Ot5xJ`
~}WX*D<\6Z\z?Y2.(Q|Y$l12choO_
+A)Y"dɢ(
gݫ<N	I	"Q6DU/[S)R[ؽCyL)~W$f}$_
}ժ_#ޡaxu߾qݫW~(8Y-{k kH18P̢1fڥ1rͲێ6:烣;HR10x
wtݡaTF $'ݤs
g4uuOa&~(y@h jħK$(GoTGH0(}^c7r|ֶN2Dݻewf68k,{L%dZzoOo{Ǒ}zÛATW
Hm񬂃4r녠xj)7o0t%TWwM63FnxgYZv/	/#	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$F3.wmΖToC	wyW]*T3FAW6l$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[:|&[zQc[|>ZZ#aՑe*m2{y[z^P6r<D]gV!UmCgeҽ/?MAy?:|ڻbyms?@QsЎ7o=2{ݼ6w{{
^4=VLƗ,|gV6Օ_{;A!ucjߌC+
)u+HBij	}[Qa7x26@V5
$ȵ򠞕zoc
y]'JT)ЎoOc#T-gYZQ+/#	TZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF!	k*a]ˠ)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-ˌD#52XK_O]/ކ#,agV;?:F
^Y6bJ5#s;;-h{X[q2ċQ"K5ܗZ»PW&Wu'sf45Af	0%{+1NVyi)24ɩ69W4j!~W7
c`8qIt]2aZRW[U7t($a8RBaF܆1)iF^C6W'HA`Ir,"=q;=rK}
(pH؀M{Bz$b9'LUﭺ)NK!Tڋn0(9yXSv:dԫ8
0mwun؇q
 {vhE`W&Ъ;vXN:*fo;n+d4TCJeg5d$=#Bsq)yPlB	K;w9SU`^Ō~zS?	j}3G	5<޵UIkD꼋Uĩjt<R;?~a.mOTa!fiGC䡯.9ȣc5aO%XD"KG]Q[󶋫/I\#P{'I}Eh:j;9\
SLaR3KwɶD-N3vIڑ=b)yoFٯQ{GkSFHARrWoIK([*qkTlrclȌ:Z,E}A\1 F0mV	ir8<7%:Hi)PrHÒ40hvX-+ƒ3ѤHod%y5ٔ4qyl@c;e;S`ŶÌH;[~
ߤE݂_,mݪ4\M蚱k]F#ڈ:R{sz}~wTpk:A
KAVk#g`dnΘHg^6 *v4b嘱Iwo '@%`Mqȷ"@	
UޞqstiMŧBi?m 3#Ul9&_gMRgMX]U.l\z:c
m׬
E(l7<,\2[S܂篺D[/vii_I/	AQԺ]E~'򠠒.yv:E%B
ks)amYZeFHqD~+c2}',|V{=1U\p*J2a
BԧYrJUjWǩn@B1D"Jpz0Nz8AѾn~Eg'5dq
Z:Lz;&DQP9o4jcr]]f3frs`_c.E-ۖnΆz4=~ӺK׷c,Z9pv|TLU!Ĉ4?0!1\
v++D)Ue&1cTJxK^hy}[D΅@$ʎ	dUTGDbɰ$*U};@J
Л$/yQs\XdN,vY8V7jH˟`dƃ4s+TK~X_h묰0xV4f}gφ
qsʈ̋i(̍|+\N@5@MxkM`Ԯ?8UMge)nefCF>gP8yOBgآ?@p[-U"jO͌!yfopľ}MSi!=I?[ĺ}crq+Vaq<e>Ι1=;G$'%\%V#2x8?xXs

{ʴxh=~>wȞj?݄'7qY}A95_%س15ME,dž
7޶kE]-KF}@2﬍}
]se1
Z4d[丳xuߦ1("мڧ+EaJ~7/l+iQszIC+,L0UZm:tߴD
58L\p+*02]T.i*M[
v2ptmr5XpC,ŮlWY_x
K^b…uR]/qpO.Tkbl.+r47z4=dRf̾HWK>;3HأIRGȒ
OEm}1:Nt~	T%@;S7p^gn9sn<­ޕ\1#UhjcvSl{紟<ሻD+4ns_cz&&xo^&%S2Dii9'dD>=bJ[Tl`)o}q%d3~!DK.i
?JQA볁4ie|ı(3}֌T8RĨr<
TMw`=azCe:QytKC=]HW5emKˢQ˦Qje,
:^ZT`+/FqxY42Sl 椾NHdMkv$)c
oP58ۀ|raέPx!Nh7^\cLAEHQ:9YWm܌)Oyw#4j. jqFG4aDP4̪G~8lAzr(7UO[g"K98@&'e%E-ivCA9TrpwBahl\Hka6ߛq-&H<sDtv#A68䜄#A].m(y++r}eFgW3jUр
X&x7_/?`Ӭ+bVJo%I;#CQ46Hf	a6;6Si	&__Fl!i2Z,i K8~Ѕ&7C	-g$p"9Kt__hUuhW#(/(7醸uMV%;Z*`$0iK|AgCjOXFU6x%3xCsI2#Rkhu);AYRDV6vn	U-XqaByN{ĊvrVtr=Ek%\3wr" 7-,*2L3rNۗ[E(	{{)ʷ6wd2*dn8i_
%>/E'Z91`,X4ޓ@);bN0/w` srpl^6F<	ՈKx$?0ZNt'[DםIhE`D}iT+e^RV\z71]	(ձidnҵʹCn$+4f2pg%Ric_,|ޡYM5פ1v-b_
سZpZw"5Y
ą82,
ڤ}xdg-եү垀xv`=rGQ%Uz.-Ġ
Xq#Ͷeܟv_N"Ooߢݏer y0n3WLsc=Z[% EK]*tZB}C'Yl[cl
ȓqaj_׿6D*Y]	>FTԬV4N=aU"0DaU[?'%D
C<+^d\\!J!(ph2Dr6	/HLYGÇgAvSEɫ(1@&5VO(}[K,~5o5$(<^άj4c%?w`N@]hx'~kne%HShy]>>]pklϮo
hzks1ZF~!	s[i23$pSw[*tCU6Bp\'6e_G7<=AKHY4L.,bvlxY8LLGb3/:K:~90O44(ѐWBŀS(ĺ
H+ˑ\RD:Goe1LCDOjjEd%be~2͑T%`>eyǛS@x9v+$.Kd&<rgiY\Po)9Fvf*tcр_蔚㭮qC)I-86# P	:7	֗
>#2=fY|
>Ժ4=Pa3"| yDMs
ltbZErnp֔~튰~wr&"sn/[ܳ3*ťNVRĖご7I0&5%@^0I]:V]723@yF3GsDFXiKvJ|Iq3Z8V19IIR%c(qV(0{<2Wk5xBNoSD|O _Yhe/#b9$x[7PgWPڏ8A|"\PCHgMj%K&[YkjG2F,H-2avokϕXK_	&!2T~
uJ^YJS	eS6 }SWp._/2h.q?;?Xj,eXVPC`BfD6-O#;XWcTpq=1Ҹ!S"
hCz,5	ؕ
}S"(+d'ifA<Ʈ*D{⥴Kh'V{A?cdk7ËRОqBAU_|zwbڵQ<in^qt2|B,eyXA#?].&?1+f;E.kF3x7CgkyoV}6tG@8JwYkhRѻ[l;;6ri:NIDr)hha>DR8`ד5cMQwn?]}6_ۧH%A,%:#
ERP.*sβURͯ3u7RK3c+Pi'K 	f.<~UAo 'w)@+
bE..7IY5NyL3,\l=yI}k[.G/AfgXzTKzZ5mtq-xb8	xMIל::*: ֏=O.uTY0)z
Z nګMd*Pb	#i-P0IgBÛbU8x,H(_-ܣJ&JlɴY']fD5﨓AK<0J`$7!NƵhw8nٖؾnD [Lx=y7$(mvTOPVX᪶b3U"ZM <J0Njw_P"iWϻJ1De~HOmN<-Kxr&-|[?+ނGoj;|_8ʚNi#! vlN\`77AٻŽZhS9%,{dcрii{L?!bifщ"[{g_}7	Gӑv\jII
}LACO**Iw<\m.SUqx7}SZp~e
{̣5X^F#Lvif69Rn@,xbv̒Uu=*/	+PV	y.CĜRpQY teM7PS+7~"+O#z.yڟx>]/SeDT␤':mɞ5poS){$Tq] ۣ|z&D0NJuD$ɻ2!kdi%*.uDF\"Z_66uSF?J罊I*Xi%fX朗.9	Cinǻ3kюaI/a}%3K)XDIkw;g2Ic>Tt#}C]|APKgǥq3`ܴJ*,L:3)A
cv7Ȓev(۩g!Y,.)p}SÆ],wD'^Kc9'Ht#g>
"RLo֐IkKDJfʟOױ*wb~Jt4\:dSK쎇oi(-S,;5Z
%贑cy
V<-3
_c159)?c_rwS-$О\Cw;R:/H
D-v^9)86+,g9+6ӗR/Zxc`:|k?m'?gc4=nZ~=¸@^ӅԽX<.KML99x4~GMvHwP`ڨP+/M3 ߇5]i+\P/cNs%BZH,NǮ_fТa)̯eqk>V{63w_a)z|cQPI7JvæޥIM-tTZRi4fyδDV|Le1EvvDP)Cn/zRðQZҫk1Du
I)pDkBw:[n!.:>S8nOn
49(~:FzUJb<ƹ64

zCLy,BW2
l긴8S-zGbc:9|v(KVǑ!
"XxCgޝ>Rne>:uN2[/ľ6'$M޿|3g6bלGPΜv*,m>{og+}ZtD"[+,DrҜ\'6L5ei1k.ϼQ2*
PFCy@V"Q~ȞPn\eP5T?sAqxp
_kԌ&jh\H0GEKN_aMtf^FoS7-PX###@?$uj}a<+h*˪wٷxV#A'א<ԩuQ132:F|?wFQ
{шq
y+RP|h܄Eg;<?ڻ%\A"S:ؠ"VF׊<&*e9Ō.uu$4#Tҕ+i$:ܭjt
ISlo;b%nl-㹙bSB}bL5bE[%7_
]/:#cYnqcSEeGc:)/{jD%TȮ!}OKE),GTv_fhZ3Ջ1@Y	,-AaJ^qN˨,[hbD1@t`IV=$x.|B7.nA/0p4#CBؕ*K镸K2Ǒ
k>o
~*#d6A7%(slv-nR6}T#9~t~AU() uIVr!e9M}Q͌,w[Ν>\[tpv_5e͂) =ڢ&ĄhS nOlDѝ)˙OхMVcѫJ-!.TH0;
C㠝_{K!:Mk	z|5_nw!VB]ðв).o^WGQ}sGy]TtqCdIݒ.}bkm+P*vCά.uaA#ذh+HyMRN/:4Us(d"Ob0TJGDBZUxSz̡VzgjBڹ8礥iFGLU}kη{tD\*~ӯ=DvLWi20&*ݾ,7-s$'ɝ+>hfg,^:9#9hu[,Pr?
8+d؞|`0LO4WaL Cnڽ[:|u!1=RdXW`R e֟
_K.S.dY6j$u)<{%0/4<Ągx鲸9[qjWZ	k
-=CČ{7VVXIyWWa(icqDFcE&uxԩhd#XG1S	'p:`c=a
λ4Seb>4
۶xyT9BHfp7>%;mA 1#{&+Bk]٢ޏ>PIGG_Do:iZJx\>@EKG SƎPscMzӶ^OOaWx7~5&GOS翑ùY

M?үgZiQ"0;$ָ,.nL
Vzk= eih[X+`.D$yt,RW]B=s$U>|#)N Cԗ.]HFWrM![|*HPkAEkC`+xѕB\}6.>YOë^.ɂtA_Y=mD4{gAqXl|䟹m废Q$M1bu©2'mt:W=X^ uӭ*ϔ8HNIFB\'9SNwI8x6yZ(=iZ!-l}ɬ!D殭;,¨S&`ߦ-9#|&fJwhCXVd.2Hdx+Dj
+\-셯N^_Ŗq WvؕxAǫ~#\K{IYALkW= ëLQz,7i63{!u?WŀO#FV
N{_{#{x$%v$V>E]SA.gw+|`W]EDK={(ߖ[l~&=ih]+
w/1ޠ }IEC<

<}_t0gLEڊyOᄗ;T,7vTKh:?b|L]s+
µ\}!_\$vŔ~pMBi%R7갣;RGTQ_POk@>Ci=m>	`Z-ཌgYZ7!1ªr6Y'e,As&nAfUoa?DܷZn'xDFurc(T'J}~_{AE9@Yx6R<I*(+Np
ϫP\.#>ȂvEji1]!KG&dSs{j
=PzJ..YQxv=TplJc~;t{/2HݦuO8QC8AX:R<QT9\oiXHxYk􇾚9*	J15WpKfr'Qҳy-;XfFjN=/I{'eerͼvxg/-cϤwV?m
#FA7YwWg)@dGȤVR,v"aA~!f/"!j!-,H:((AHmW"s|ElI-E7+	+n.4c}E<ʡp*Q^]xvItl6-wrF4fArohf'ζu`[l>A:#yxP7"P+nCM
^@rI@޹0qstLŋǏ<1E>hFY
tst,NsX_ˆBxWƊX/Ȣ"T;	l 2«=1D#)NuV &)Q"`TO5*h!Td#>1u20i3L+h@Gl+˽(m^|YϘ=c=BCʬFjeu1Rǃp(_cHΑ¬)MmsO"izh/}vJ`'nqE<\S,OpLbG:YVF2L2IT%$
D{j8j=]6hR^P%Eƥ)C*m84	}Mkݔ_#w9v\+nf;b`[K<R%80.?R0EW
~!|Nۀՙg?]m#3FNE8\|G	=;P2.zdX9>,Lkt/d\?`
~_PZۃ>(r[l(-aZ]!~kC}CX;6#/CୱI!eOl8"~)~$52xZ1Z盎O;OCnc44z}o澐d1WOcO2ԗO@2c̲rK. qC0(Aje=Buח|/
m4pm[`qlՉ><%7K5@ȠIF~8yMޭ"W?l'sԦn+Qm&qʚ3,/@ٖc*NJM,NyE&\:;
+{pp{X%,͹VAF_=bC:q!¾I!$Mx3(W@KIl<;{06Sc&f:)
J	sr47EsX0I:xM2!Pc3˃Z?/rGD3@d}Fx!4SvWF0Y+$!Rמzl{w乥]<X RV:`.֣F|ۥI @6Vd.G~|ˮZV2tOi~>$@dG%)B.]t5vBY>g܇$jKn.,hkٔDKIs+cj2S(NdYXJ:_~~#t	}LOA7AK]+ك6p;w]lmCISWr`VHSԳ1KZoDzhE,sEG0
݄AiŷYu,LF|1*3
i=9tFi	L1ƹ{%@uD6'NQ9hӝXfAzsGk
'Ǝ<Ѷ1Kss.NE.Tn=W&ZJ+uYl
ȓ	,LhG}_Z=֨qDLPg7)+V:9O{o/:ZႸrqBQ7.i-˶|Li+G39H.߃,4sQAX>/hVd@/~A}%q~^׿^	zlVHdN
	DHꂴ!̤(o.CT=`s)3xT.D㤈&P_8Rhgj6morO-k&LΉ!En|j"$7r+UI$sa	Ph.G|86>ŽpQ<@[u&lP1?ܷ-<_́枧(-&_%#G!f@PEj\<.O?76Zho0sҰۑ6F	DN_p]#L^}
L
ېԖM':Of“ncQX.M]+SB}wbC{``]dk
$t@뒛'ťc)Z"3=֚+)%t~qSaJ;"/ƶDuژn~,><4	sx4Le$F'ϴruYN|$uxCB*Tv\"k%;sq5j޶ű=N`F&n
0!o
 D7kxzDnA&mUưZ-Nk[:[]⭔߮m꿲&kX/0l@	ǰ'BW
B1@NcU2>3YAl؀Z
Uҿs5hSrVtA8&(mւ$/
5d	XdP2Iu"j5?KlzCu1=H"73}'Hs%xrAƧ1e
4th5ns;P"(H~Zf4+W:"n^eZm&1tbZJ?3g$W=9Ё
Z!JEzYlMFv.2LxV`ԧ	$%(72$]=0
?zƬ9%H	VG!tgқOUHď QeU˙>jc!_r:Nk6!2;lڲѿWa_.&BiHP9_
z\
5ݝ4!w+W	*cUm{)TsBhMxï`Biqᒍhڀ纛Xǜ;51u"?ÿ23Ĉ^WdCAYx7!	}	QD ŚJ83B,!K,Թ)ͩ4r4n{OH[Ki~R4Z>u㖽Ž|1A%oJU/xضVs\.~mox0Ro:Bkx)O%m@C4	SM+5ey:0q!Ϗk}w5^>jdoW N,<5?/@PΎC뚢ȚF>ušӅA$Brb&ِ¢6RA9udiLCr"\bv|Ԍ^{䂈ٖoS j8eicpEgekfbl~!ylwLFD,[#NpElc T/AFQaMT3w()NCpEX#h
*đTX#P*X!
qCaDu#sb]ƹ_x7e%BcA
у-hTmOXp<'	wYMGIVa\m牽6Qd!)-Jz
Υ(?:1Ă3&Eakߡ0իk_\߸~s͠n	s6{C%6[;"d$n.@Hu"
pqJطRdsz`F[
B|M?H`;5?X!b{|'XiOQ[>lO5ܨpEO#z)ük`gO:J$sX^!1 ,U(_&Olfl۳)1-+ ,&
kprlrR&b6Ei-Ļ9Z
5Ws(gm6ڿ+~r%γt2_Ĵۛ<4iZmcEޠV`q7 "<@ZFL^6]u/֭Nf7kaǹYzl!o"<b@XzJxXiNMQ=cq5p1?[%
A\#2r8jyQ]LvPgu+,T{.wUm3\7'…[!tCT _ ;Ona%]j?t;7Z*ExSZ"[Dcܲm	,x+VHdia@PuW/g/_/'!5!ͨPirSS~_Z12|z
vpHoo9Hl`}LrZoN&AI4=pw+eZ{^i$hݒiX;u1uL#N'[Hl%2ǀf:V6*ꈂ`w']V1}*y؏4."|KWqHC3mśI2GN:;A IBo'~&706]h]?8B[O׭.7G7e@(v란FXp^%i`	E[{D 	|a#=wVTQu5t\ibNDlzGae`"#S:+%CNLZiiJy.lvs
krHTb϶_T?,ʴfyUo<Gmc{+Hm"Qɗao'!mAy/c(ܳE$"P9ϰ38W<诤a=L\ʚңDHȡNuQO2rTn'@IWA$Y)"C{sdSZ~?hQP֫FTwnU8eŕe=]%s@):]xӾ_G
#c:%KXMbem@
a\׾G=L?:[{_3>e_13_;GF+SOXXgWe~$b.Q[:C;Fz^ԑkY2֌lWOf6
-3VLą(
R4:]	vL*ؖ^Qop"QhX7abE'@n$6j'
v&V'f=L
3'g[xNKB߁QfxJty:Z!X +Wv$cMA^&
h4*0ԍ.\wUr:u!&
OYezLD>{"cC}j 2B
{;*@s\G)^n`ʟb.k[0Ѵ5btTzJ>C0/[*\Wn>|P[f.of}\oU^YZ&y
9A~~c>bXFyzs?eӏ\rfӍ
1
!db/MX6jmsM@
y`_Q/U6tb2gBO 
ÇK.FDq{]q24VL9P9p{`Tw.aS2##x'my}7XսR	vegu9_m]>"=-Bd9oi+/{Hg̢S]9@qy=8{Q
H/Ak#,_Ԧ)_rp)
u8?
YDgrD$|SKRYu(/YZ1
X;ЗF
,ıIdmb'V}edĺjU'"͚D?5ȓʼnM_$9
ͤŸ	/*fP=B/Fn-ԝSc*Nʷzw4EM?9a3D
Lpj])kO}fYF/0!x|A)5VIL2BɄS]zfY9H>z)1[,sgR?x8afSO*]+;6/85eꍬtqoE,t@!精r]%B}A2YE@&\c6/-Ư9wn,'
_q;=&tIrMC5W.o}.M
l9<
`3W3QY;c2VJO!ɛiZ$n*'Ϧ.4cUF
˚M--VR,^o\7EV7fb|fa.E?uEijٸPxEmy*ժAطP?"yTA!M7x
k`:Xm%<,[QY-toy	2yQWRWg/%vtS
*
:"@58$
xX
6ItfGt2Bb%0NaH9op_aتS-<Ղ夠P̞J|n,cEC,U-"u2l7PI_ôz۸	N~J飯a}:RqW-^OgѶF@=Z5)a>J_(uD}%]|f3F輎@eݰOuQ!Z;WHSb/{Eq+JTbds+VPt\x8rOlygXt?8Pa&_(g!'<7
"҆2) ?|&{m*C/{Ć$;4<;VT698X_xLğgtYte:bì;mL<^o;Hqp,,&!"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 H驮iixևg"֞k.:ھUb5J:ڋFBתaKވuwӇp<`G[	d]f';_X*L&O1/:88JQ`qW^ARZR|ht,
%])!FSNv
(
@h[)t
ɒdF()$eºNKr/9ة&ae0/cuM}3#zؠ~KL?bz#ũRFz^@ѩc((}&Ţ ]ZH1
'kvmވ)zrH}xL2Qȹ)g[	/NjhFo:I`RhV$B5T錭)c@lU|CrYAfjOBf!:3*!)yAi605/6mlf^H
P/RTU"c}nżBa-RP)LZojtuϙm>
ً*V/Jhpoq[͂8pXt/Tg0jBy( ƛF,:]ڷ!y$$$SvjI}gKNuaSB ,2ţZxnSR>
'S~WۤI%u"}EӁ/t"lv:޴lP-7*
*dQZLκ(
nl[<1Uh_ZwÚ*2]P)>آBSz»Rx"jI$Z2{4
S8۸wAcX1)1fؾZ\Za](V>1uaFxPR,[>%:م|uυ~,f䥵`N%eh)]OCY׀~q/fڨe4Rq 4W[g;@O+2H3IiT
A3M:3%tण>+U4rDs5-q[[0cBE¥~OL:@{ bLăE.7	{V*X;JˀJ~ZTIհzy?"vXbZ~~D0.KwZYE-}.djῄe]A{_͵Ĩ2QY>~*ۚoP1`U]{lkb3#6_ք \@mB~ͫ^y$ $we8I²z3'LF?^{X"RtELޒhőNO3:j(rnF۰#p9L:A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112+4/'	ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF!	N:]·Iq
n[:|&[z|lKWbʹ_xyϏvAF~$S;9!,\6Β/It$eǼƜfg$2䏌[	4ՌM[Fg)"o"sj^PmBYmn<)$3)vAܧ
Fq<"UlnN'@/:J߶](넚XTEvB%N}R˦ax02kiF<%E^/zC/7lq
F8@ Ga]2%e9AlKM"ƷIU
8L!`^1^+fS?H$EdF
0zȻKg>&>1UkV(6?{k=,͑Fpn5շo#}g'kCej;;B
TY9s(:1*ϺNuwmX(dn7Vnls*3`PGJUj鳕+ubE䫽qhL4wS1T'UDmTx̔;J	NNDG
!D@A$9l/[HKylA߇WJ1ݭڜ
,
h7iPy3!~؉mqn3Ws>;z۞+!a7
@$=#`OH*{q!~im 
ܹˠXY9pҙjc7T!mr勥܇z!׍RtEw!;"xiƩo8QII}?_;гv@:i2^mewNsVsoMR۳qtSrBg1bpgu녲6kZW:{ڝ1#{gYZ; ˤ,=}m6S	T؀1{h!4I褻04;[	:`v;e%˼E	LI5DC$ZͳR,54RW!(FX7HvJ&b-}vu:
ضPK"xhC
P30Bvyqt%
*ni6ps_3aIc ]#fkDDEpS(St{T*NKx%{Q#	756+<M4iuA=ꅹQN5HAR{4y
y
\SP}7tI[,w{ރAҒ1@76C{=UuE0FuM\v{'q9{WwK)t}Zgv$Uv
!Te6r|Vz
w2Ry(Q\8R;:i<%Q%;-ĺ|(J
\ZQ %EEz25JnC!]5?a	i?
̢:=VFFpgvgP#@,/$DʀɬPR0]AT߄%&|@-7po.5۶QPomwY=jSiLVRҚLZ!.hlf03ZFF`s}CgP	Ж59NPO"hݑ#[J(zU(tH
A)4?h8={u	m	&)e?矚}(O{9ÀOɑ8IX0/=sm5͹VrŐe_SGVg(&"Md~nWVm#^M3x8(ݕ܁yv_6YI~2oͶ;q&d\Vn#
\5
˔jb!;iݥ@Q0hQ
_n8=lw{@7^/Fw$V0GH`cHz{QHO9c+D`r03,pټ=o>f"+wԝP.Y%,5&R	|qh\WPiJ)Ԫ
1cE뼾r6uF
QF3ЫCK|s
"uB
Z@Kl/>KgRɔ&~6z%5-}D"6=ѫFꊒi?7f#~AqN^^ء|NFF0.q@+Tg=EX-^  ,1CY}/>rM"ڠLV3\ۇ6ȩ_/#j(l07p8.Kj%곡R^rk6?eޢ/U(cH
R9ڭ:V\{JΜS҅UQ_+K0r$Mn{Eߨ? m
mmHiN&`jA!a(XeVF_F[Z%׻vK澘/mǟcou&
V0/jwY4cOuvʭɫQ'
`Df^>V,*+(ԩ׎8h.4#PR|JQKΐ:
O0iq$,oD.g,>O}yR1݉IOG5'	sA?n':ErXmeEIbr,bԞ*.)Ds?%q3-YZ!|vs͓ӱ|7'̗ht+GN|xJ@(h@<
:؃yKn
8
"ŒjЌΪ+5NUZWS|d5pa'\1X>2:5$]Wbp9wCkPW^&N]$Qn(ܵe/dK'%›$
zdVƸ&l9c^-8З̦+$‘$/p[ W65!3ovgc2.D=ֵ4oZvv\DO1|7Β#]K}T9E'69dR|hQ̳"	itC-J%s'z}.!T)Ɩt3
ȈJij9F)[anTKV~^BǫEgԅeRt3cUΠi߱rhP#{\c+\Y,fY׊8FS!sIKG-Y;H&
uj4:t?z,QtT3?,4A!濔	Q 'M{Dg+LDh]aY9 w~2TYOB twM}l!l\Dw6AZnOz'4]X=asQEꬶ?H$xD:4\/;TBOEX˰G3AQ328@97-ǀSBxc	_YmʹR #C:#ԥ,u'^Twhbi6ZK,A)0R\xjўؕ7VJ\BUx8M2xC[mڷ a4UWv!*	^"xRv]KSs<ɎL\Z',㜞)!rE`1?@<ܛ<8]?DMU.YTc9fiG~ Rl8cp3
ԼMT.Guxn!u
\CS ǒw%ۂ/mH	`}P@6=бs\YnKܷOsI}z1r#3w:8B0x3׵0e#Alў*ˁc%"U`QR8xT(Tux`H3nlr5#W3R"䦟N\ԋ&gzk@J+L$'xA_)DGa!ZRAj$k"K_/(]aCц>AzbЃS3;:ap.Бo54XrBqRgbPbc^la:E<?-~CDvtl:IT3L`aQoD&sL}~tAn.DbDS>{Ӛ"؈xAQIP/יQ2;޵vU6fs
qT^o%Kqj6)1ፄ^`:M
RW	jAqL]<'lgd'9
r	'ƛ⿺jyһdci4eLLPd[qdy^:x${@#!:Q-1+))Z|	#$7;0}NM(9$$P|fp2ѳ	YW 3*If\X$`dTRyOJ\JfWԅ)Jvb\mC=)虛	8d^12rq
SDͼc+;sYGAȿO8gQn9#b/Ndϵs=No[վ
y
OFqƣ'Rt~`ՎvOBoX-Ԧ9N	5YR7=aw&x@"谯݄zBeU_7ĉAH'6aW)p)0VyP@]}W36GU"&뮔LgbAuzo`Tʊ".0-YHJ`WΩ%lK\Gɠ8 3-#lM|;}::o؋vA=t"PXQPZѷwe|Ww]6mOi41~b_MQzTk"
jz&K$hsb<4QLҒ0-^*.6I}iQÃu+$E^li0p4nm>jhÜZKcM
S6?m~9YkwA-X|\fqk.5P~GL;1-$9#zlQ7ܪ|#NQ2(wu1>IG
TqEM
Dx~dyo8]QLHb) J1i3QrKPAxJx]
MΛƥa2|ddN%fNjh䩳fZ7WgB+t3M6. D-F=6KY,^A'~1M
+۔i1J/4tnR^*M<[VTwHnfCe?*7u~I}֩ơ!ǷYa+R'uyX6N舾Kgyf0׌|U'Ukzouyj8h3҉٬:p2+liF@+gZCg
=F~p
a0\	{uIQ:,6|4 G&T,%tBt8iQ}Ip'(Q2)6{LD1e]MڂDvGsT}pZ}*^l4c;9lv
g5dk >
,ٸ~asiE9]7țf٬U4΀j/lZN/JKe.MU>ɺie"`&8A)~eVuIn\4Gbv\HTC㜓XFAӧ[%P)Ofв2䮦f^YJc!ޒ٫t
=LPk8:ק0
L`J0%|+~ΞCi˸E`|[)HH_i—[+n)MNe:x~e*VĬT{j( OAer^Z2+[us7EOw%: 
d+PBs2
z}|jD$!~6!F(lJ_ Hn28ް;S:}FgYZ
YC:+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy29+-ZF-InductZF-Induct.NtreePIDE/document_id104p8)'	ZF-InductZF-Induct.TermPIDE/messages7zXZִF!	]·Iq
n[:|&[z}_@:/R>q\ЇV®rmR%e{sܚm}ßCeTgfo0ԧk1מڂ	(Cu\Sc^
)O>c&I	}e3uN#EvbgSUvx*2s~a
rNPL\l-؜S P=f-Y/bw [8ϕ1K2sK(D O(gYZ1vnu]~P
xqؗCNH&"B1H571XX¬[Dr{!7jCݠϸhlMl!/Nd|yRVuwbh^x+WiC	S3LB+X
h]o`^*9.BJ3QYՙ|GV1#IMa@^?.o =Rr.2ieXg'sEm;)o6ߔᘐV՞6ni/ 'L6=Г^_۠T
R%1Yyh㈗tc;<ݸѥ&3.u4z	t훹g;k
s=w)Cvؐ"T]3j0,
*A#L6'ES&/)NZ}QyhS
P{f̦4cn?P1*֝D {,.QA~DgȗL`zm/yiZX3VOH7p. 2XRfgTׯ~./L=HͰc,+_̯~_F7=M${gnCh-hH3wVT->,qw2Q5tF$"ģkr*[JXvZʔ("LHLDC$E9Ζ("
BR25ڿ1@ᱹA׀Ȏg?
)F3yQ^ъOv8})[sJtj+i8I)$ߌ%n5=/|O6a[`e^|l|J|(ހAt٪3T⻚YJiHbz%=	G"#fuzC-'sDSd_XNbluV
܉b/\o2h"Jvܨ YfYKv
Sүp;qH\Kֲlրay>HOC҈܊eIO٥Ӯ[-VOw~4Z:eHs'H?zmRE^$y6wr
3'tźiR-bD];``&"C	=Գ-nkVs=K|
yz@=9`
8ǎd
_0"~m(H9˕室~h+Ji_eŝ!%1Z}'tXۚδ9B ϣʑe1v{CVH(	@\$!#
aP7ߦ% H]W-.ǩьFV2Y)u*0$w.INu 23$vd6Z؎;W](ǩ:nzvюe@bo@.`խ!lKH/h7FK-
P.d%	ck?l-fgEԢDx+PD;bͱ7䊲RZNQ=X|ZWr}Q_4`
ܚ~<JgOZOg	1ɗ~K!(
ϓmSyV$;!
uI x4fƔڛaw5A?M*}gybըOGFFpd]k8K6aFwj<ϜmBXAMhsfDko}P%Kal[&:-t暷>592Rݬۧ?HWD2-Nl(ܥ&ad7!>ov/ʁOMy%G2
/5Pm蹯c'R;K𱰒p~]?#4-c0L5E
,ꃈ	G3VɑYwN.%ʳ0W7W(XBk2sH	ه_6eLnVMJ7^+vw2SC|0ٖb[ɷ$@.:]Zq]י|ܙ{YAĸqãq!zVvbcW(^Ǣqb@c8Q'+$	ʳ]gp!`qnõ	_Iƣj	\򶷕Z}Q89׻%֎-BҠ$mzZ3'JƃH9s^x_/Pdg`߄}w6%o3z,:֌ QiƯ10Fj)f
YMa?s='$
E:t&sa#ljHRs5Cg/_Ѥ
է p<'\!qKtf^"%ﶧ(=q1vpA]o }<$nG]q=Zb0zMŹ*'o!v3p|?R/,rj${niI>u! SXσ
TB+V$>kUC`hEuKNWK
/gsF?zch鸊M,skRbednjP3
,N2@cWdY`2>4q*:?jGl¢K`b9	F^{DEANt"qy})Ҝ1:`C?+G&`^Q1geL Јmug
]W>-QΫY_@i{Y։P^JҠxO>ߝ2%jOrU5`#9<ؿ=̱BV[1Սa4'ɞ~oU_n~jidu<5mNS#6XH;FtMPr}DK\Ix- `O	ݪD<
ͱ07=Ov~7.o!J'NAT|:OR⺽ךd
v9M=S[r)YϞ|iK?H42 u{X"5"n1y.uB9_?_ˁ
UId,>{!r-+v HhU҄vv!ELȄR0(VKbIExvT:w!Ad,f÷+!!k1J;ar9_Rsz3
] sG~Jp"b?dtm-Q麺)nΥ-P%":쭎pF1?_bg+edV7ruۑ+Xu6Oz1a`%'Qn,^-
lh HwIy0D|?%&$ [bvcIs3gcymؚ_&kE`&Z7?PHS`Ѭ0^V#03(1_AZވ!j^dz|6Y])VHe84@hy]_,uI+Xte{38aS5&Fؚw:Tـ2*4N^yьdjBOv3MC%lCrf)=\@7Xǰ7eUU`9Avy($# ?|iP$%3!uX^v};2ꈲ)¼)ķbC0ir|
%|*F8=l^O:-HÎr@,%•S^Fzt1h/"e_W$[
F"Lkr_'i#˺
h~VZwUcS71RP~e%ڌ$l	G,Ű.m釼͊c)l#IIqij<_2
4ڢPQ,[S(<55 ۉUaD&e7NW$xQXZl<^Fz
>ieyVSJ/ѭ](3Y>"#ʯӔatG=r˃OBwDj.<{Sъo^܎I{?R"ZmsL/s[,;MޮA`2rqlqEęgf"xRibQ:\
tZ
9S:VCŭ1nN3W&X1z,}ØjD$[ڣ*wRu;
ke*asZS6%KU
_qwQ:N|6y?Y,C5Wc
YKSБu=2=
~ּWBH炬Z1zT;;aG1ա$KߢpeNm$SKm-w pʵOmBZ#<%9}מl,:u4۽sQopoN/	|"^IٟtZ#}$rlr}Vg~AJD)ȳy tzsC0+"x"M\z0LEW݂ḬrR֪>[bi/T]XmsY*__N(uqRu$WF,aVn؝2G*_}U"mu\|ES\*muW30`n,ۂXx.OGG-4':as|Kb0Z@ym_TZg~h`8ʹ,lFlTN#yyd;09u7w^
Z{݈^Dd9~rzȎ7V^VEɅ&\mu$Gӡ6p-KA}Er<./8kA=jVޗ]t*tYP:bIVz
mtqj,Y!ն]sBbaI8TS?fy7yؼ%LH}~ZǖW>c;)hzM/RMh;UA,!!zG!ک諛4̐ln&;gzSJfr!E\3dPXv1g=*{zIl7 c-2>bUʣܔ8BPOф';:"t6z2:PD"ڿB5Kܬ}{QI,CnOβG|5ԭO^qK瓪S珼0%pA8QTzqGʕzWI~soRa[#:[sڨ0.6@4!4RXxBAB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7'	TZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF!	*."]·Iq
n[:|&[zΪ^o?SOu<IOWi"!92
L!.[Jѯ`3cp1҆Ȉ18Q7<ܩj1A=pP呿p_`+`šͧ`?r_ql5]Z5wS$}!{NxVEY\<:-ms6g&ϸi?L|>6	!:&ޛ`B4ՀO&h$Nk_EI6۝GY2uhky}ŌH
jB'gg
1AcS#7$,afXvNT%,b,4M)8
&#QH7́NuZ‡yWp9(sBr3(DJmUk6AP7ˆb-\^6^('-5Hz.ຊtPL-Ywn1 8<
*,X|?!-a:7ƪ">D4-Hi4kk(
lD4ObMLuE@"fT0N??7ZT&bXgYZ?	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*0Hf fWX&Z~UCD
>+|7#ure"1=+ҦP8DлŻ-F_
"NSo2so^uCfy;YGWA'G¦۟_v/qOMz=QUoV&ZAXfOA%Yaψ8VhJ➘s|A8KPgMm!Ru\ /%

:	=*
>Gt%wh]e-Zs\%;/EMMA2k5M
cxK/t^@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!	F]·Iq
n[:|&[zpEڤP:X`*)J[~!5L_-$65 @JYPp}k^=fw
NCy[ͤR1[ynP0]l֛eJt9mũaz6t1u ,h^p&$s.8Gv4fJ[|.bC*n5=lIun3Eu#/m4*^V4]zuXfWV
T~od5{ͅV@0XCW"˽ĚF`<#.2;%R?jd4#ĕZ:Hďr5P)/I.y
_Z̈%X&o-䖑2#WoiK&
=LeCCPqnP.]^,2/9#^gV%shR&Xݔ'șdZktfb=eupiowhB+|NJ\-dnsA?,#3,rx`W¼>6fX'^8c!|Cj+&CW8WH5M%Ph?sZ@HpIo,j~y/:ly#pO䒄J&)MyЧ
ܧ6NլW20q,SBBW&HY+N"o\9k+c
o+
 ~	ٔeE#{L%PdWrzbs܂n-Y"-u|Bawrl;t`CsJMdmR2AZKnwHdޤ.ZyG¤XhP@od^d
|	tRaWT0[fN?޳N{CxfJEUuި藞Y8+(T3.WK_{|9uR+4<|c%,ZM{ke=(f0K/޿[+WtǾ\)7#EGFwR VGsBUH.ƜX?!jDA ;C@Fk`θOA\GJi˰bM:hlu䶩ZI}"v^ipRkd8ϔyt0yWQ?@G5$m#WTaD쉯ƨ
U{Wb[ק[hNs$:a)۰x eQ>0=_؞8_jbh v$#D䚄abÓOȏ,O4@Mq.&F8=M@x(*{"%pSҒX&bBr(B ғ4U5JBZ`]Xq䩮Jΰ@Sy3?qxߟ9ds65弿РEbX<\Eg,XG
yj`j&jZ__Ϫy[")4`Rk-K~+Li6w5t^ze4,G!MNw8
jܕ/	o1

sALdaρ1"v">Lsߦ&m7T[ܱhPAMNCb5P7|$A	ow#>)b ḏH9+pgAi̞}af4pЈoՆIEuA'6I?kQ餧%1 p#5H/uy͔$J"KSĐ{Hݟ'f[vZxJA9i-VX.@ɺ5[þ3cūA1խZ\NZ2w#ۡIɲ?&Jm_	؎sbS@;0|#$F*y'^Ւ퍒ρTB]zH͋#*(92Z;K-%ĸ'ǷRǗ1խxdŎu1$ItH4+DҐ\P7)^Af݆(9l늘xad%
j휍sC'%kߏjZl+9Ji]H';/%
A[F_IrTD-	X!x57VKO>Zߒk|4JT3AbUMP_MG
0m6FbfMU[l,bGRն4

jUweK	.@(dW(a0.+Xc~!mK2a.SF,Z*?Tj΍
AYX@|uUuZ𜚆{~(Qh7
M2"fX	cjHzy9V*5^ԝ񘢿F%I"^'-+}muBgQn1
+fU`3	z9:u*2);Fr*nYw
Vxz8VV٩%6}} @J]^JBȝݚ"Wy>3Z{<ƣ#2k͝6WAϿM
nP0@u5[3`ALe+%
ͥ.l,~ֳYB9;z10qg(t`SJ=q$ͲHۙyt#j{,1@ Y}dX^5b֢7(d'gz`ίnԻӒuYΪޘ"X)W7V^trrnW >ڎ*
ՂZ/a㕓b4T:sKX2j*M\4`hlc?=;?Va!Lg&9nE/F耟4Xn-@XAD@ZLvFDsVݐQ;[	TEG~#4A|Y7nE9Z:z#ͱz_QFjo	W?ږ:/3ַ@#nWk"4EnX
ְEdp&&i;Sm[UDb=%jޢYzhQUGbr{+;+Zr'Dą߀so,?[nWDUt_bY0@98;fx8l3G"C`_PeqZ`ᅔYuJUʤx{1?5齛6z?84ZVqoiDGs@cȍ-WWx(ZИVᐁT!cZ&Tn17M[4rs2Usf)Bー[X7M23J6j7+"m	ArmEv&9~6@˻X賐PP}".͜?_'92o_u C͎ټ%٥p`En	i.k`?征Y^l8ǚkN![D3uY՞b[wKL߭{-&

s6ݗz\4QU1/%0`>i	F>Pl0s9ᆣ8JO<5@4&l5Ma!MOQ_	eR
EI[P
*Dੀ ͔7#ҩk^>ŖZCB5Й,V#o&!b	*ўFtxBd/VTC]MOCf^-_!md[rӠsC`N.D_Y8ck	z
ջw\Gn;G(ɼyAli0)7>DuWكFyb[ܲx
祊]HTuEx2:(EHbyFd%ĂE	uYfJpWbe{_4(>)Ɓ@bB/GtfG
DM'4:%tHzغq" n/xYQi-ךa
y?Pm.5ocn=)e7
j/IaʘkO)&ߨ$P<Վ*d70)4f+WU)#ٔxS9NS"噦j
pu?HS~{eJ|LTaH!	z79dfOW A[hFKU6QN0KPҷ5H|z'܈s{QƑ󃠋XJGx0ZzapEV)*I,?bAp/??6vA
i'GjuE{tƄ
&(yomqPYOA(`K39D!slf4^m+Tpt@0:EY$T{B_q(L4(T	r5ZrL0w_O(yDAo6b۝)Ԙ5c򝵍/|+C;p։fqg%v
}g3=l:bzQX-Xʻ@Q34DPF(~9܂Ռfxus4>YM]`3Wۯ/sv!#4ceyF&fOudBln#G]%W8iqwUI.SyD}L?OM,rRRn*5.;bMJMUd#!be!FL˴$cf#
I]y/0s#zEr73I6^/ÚXGXB?VӜܐ dӫɞaHaumJ!f)O^s9Jt(.*6Ah|~`2"x587?V
a.p.Zݣrؼ@	8i .Ӎ87M7'E(M}9Ri)n<2O}ПLą}Ȍ—΅{<-[W_i=Jɳ*G	'.AGf`nganH/?E1R2X1{™fmw)K{,
Cb8[tdELJXYӦ.Ω?8qNJ
3*(x7n:4@Fiv[Q6/hBeh	e5I5ȍM1E-6`*Ua&ſQzronc2%^{rsNCɳoyKD&	DɬzgYZC#sO-4yʣr,&+=͍	4"Ɵ]QK
2x PŊҁoG(bDf&\لpy&ړρ͋z֔DYվ>9,6yN[]mwy2dZCY@`c]9LSn[WxXz?p}ii)'>gx1\~b&<}5fx
S:+CMDẐ<sEhѤ`M(]udQATF8^(|b=RXO툅C<yuiY(7#E.`qvuՁ	p«1Ɛb27
;]Ixtk5>7oU	[7ow^$+!NbuJ" !Y~F%@wT~;z1mdh_g+*d0Qqk;<-'2$]U<&uR&
V!^3n1C{)[mTQHUoajp'Ioh6qbo;& \`݈~s@5ߍw!p^WE`V?G2W""2hO.UP
ΜrotͽUXYUngәrDi!b|W(ۺ@5a'tbMwrP-4\X6fHe$
hnllmY:X)1K׫Jq
D+LFC*Öy[(T^rOBm
,)ff0Gg	Sf23IZ*3P=&:9[wyфtA5OC,ڰzn󡷣mM^Dm
Ӽ w\]HNWCHl|3{'peH*p{	b&iْɿj(
4V)n!5Uuƫ)sHXRj!sx'x80KƮ4>5'=F;yvq(3h>+L0ƕDyنKy7d%bõ$j3g*Rhե˃wPHwX!|,(@~t^
Jzty>)OALPމĒ]R*fB	ɔĥ@/K's,^e}hdi&!&~h)̨i q]ֶD_LyEdfuEV{:]nl[#^ϛp>>X4H/E;DQwBeϷ^l`iZ`}iдSkb]a/z-amyb'UA M1nP.)k}dvCrLѨ37%loKM3?@"-=\>]G~	b}ỾN<1="}0xR'Ӓ9;#1jU,)nlf͞IX	i~qʦ[\QE˵qߗ>=FSPwy?&4iI/`~ŭB'
Dk[6֢m/b)qx[p&aا&9[1y)_e5ͼwSU0MfF&.j*6QN	EFCaUQ0y{C!NX$ȻQw
+)jlȲ~9P⬈MI>͜6i:;c!rǔ(@?y؝U=3ˌx{L>>:rC&	-l%ڬ@﵈{IJ&_?sehMm-!AqVTD*\}{/:ʐ拻.Ҟ}Ԡ2ir1qP@_-c\O6֜s"~%eok(]zw1c-arBp}	I7<#M	!r'HlյONe^SPgLk(JXFi/OQ}a$f*Ɩp
YKM]СlL(0jĖK>VH{Yw%Žګ$	2 v߱fbG&bR"S{}=MI2j{ŏx	DN1^C$.6`T5ϡXn	.b-\)*^g:A~)F.5ȱ5Et0UvͰߘ	gvhFk`,\y
.b)nD.R\&7R $	n,Rt%[۱^)3Cq w>c%\]CO.iA,*ǙyXZPYrj|unCbE}nL0Ɵc8v7!
Olqi5E16I]e1ݖIRw%GYWnj^
a蠉㟭0eq
-_>TiC91PUea,PuM}1)k]=UD߫J(6LJ;}:aENDWS.O{omMZ)3XyHHW@
8cXwqůDF+˳˴5K$} &(ov3tƙwf`~US8w0V!Fs29JO[3kkMY8 u!8!'5_,_Dw3e|(VBZV52X	
Yu§jJVVA(6
DWOj8T֐t2zc?EtD@6&e|(0)"mGY&y
^!ǫ$r)°젲D6kFw˱I I07҅mf$4BYQ-ɥ!A~>0V,K"Bz~̕HB##s?ˆ0i};i5"}HRIQ.Fid	#@'LXJ}".-MF\m*"1[u;?	6-'^ӠKh#{+TVĘQֈ<@{%o["4HW\
 E*wY۷`l:<<W.FBH$猩3=+6bƢ|=$JK<C*T8+j6m(I5hf-gXE$l]p7m Nvf3#e|sEcu
$̖S!v"?,Ձ䝷&
퓻[ëTnu&efi2K$^Y1Hq00.b|{=Tl;'|O9B/nW.6IWRPMrf֚~Q=rA*&OGU4dEtd0\d+BI(Za&!FawW=`&w%<.-#T>k1Yxn*u̗
ư6lrs{ƒ0vw()\hZP@\ˌAM	Wf}E/WnE+G/4
oJ2sCD'=W*61>9@qzG{0&P= Wii7iGS_Ef90by|:sL a.ѧ`_:vS
Z7T+'뾟Lb
\WfP$	ybk{AI	wd!|߷™3xҐBVAF_<|jTV3AL&E0xPzzK815(Lf1Ӵ:ӣ_k}
4g$lɜ_%%dn*MΜ/!|}=K	 E9@y%сH@lyY{jhy~7nj:2N鮦T3J
Ègsf请~tl5śqfU~$$Vɖa3‚*leXh]i%ke*Ԣ `s+D3f#H25?bE&]I	V:V:KQ{!~GO\[M⿼(	cېDO(Yi:r *ģ7p߶<
xJKхO젨L7>J5Lo]Na o,v(Hf)n*^09Qw8%ɜ13%4֓{D8%wFh(1,K>MjG3mU~{]:IWTPk<*:̆5V]Vw;TY"?c,/nGunEBNz([,pC佑1xBG[^Mqk71VvWhAzO>5ȕeT^?E
"ȗzR\Bf	΄xN`5ĐihG=s=l79PZBbr>jk8XRy/=d)`Cm@lc`4".+ʊ@6>eeFͺNLx,69È?'RvY:VP{v{R"J%aƬajePh0ԙ-"!"Ӷj u
0
BLI'
A {`=mm\>o	<\蒝,Eںwąa%Stlۘr|E@эgYZ
z	)z?G'!\"n
S5@)P3j3irC{	i(=?9i;ulybIL	X4?y t.\pc,Bx+NM@}'VTq|ye>レZћ^p$7̬C%WH@EؕR?WOGVE?02SZ@ns5#x\ ,Lfgykz!~pw;3K_AхQ*u݃-41J	F b;$ijVFB&8 H^G>S|kN8PDDܭf\*nYs~צ\KA-'6Oߌ+zwR񇢱疙N'qbrA}1xn-=X;6@)F˱_OyhOohҊ;=ʂRA9	EEb1`hӊdҤ.Z	ZKZ1of'
fy6::;q0;&xZom}ӥ=kXlYJ*.=F͙n
{_;o)w$
N|Aano(Kr4<i9V\~uG
 RZӪwEbW2LiHB (d{M趕+L@9'+
SY|J~35c.&+
/AuTO5g0KU7 2bO3"I)-rf33r*C׫_A˜f7Oو,rJڏ1;.K/3!2>?j<	!	[]^lPH	a@c3BǼ-0kwaGID`^>J#}2Cv_ES5U2J1`Ee_ጨTs"yO؍	|	qY
6XUOЫcU
oV
:/l>ͤy}כQG1(+auYW$[}zo8	qW0鮖
(3~v[8v:STxz8.* 9hbKjvPfFz9`|w><M|-xĞ$#NR
ԑ/gYZ
BvB2K+-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׌75n-WDt9C"&drS_R0=-^%ۡڎ[vͨP>vVOr0xs#"nAEDDҏ(+-+F|A}gQ7.h%i '26㛲]UwXZdz8#ē(Ba/
ZПt
gYZmH'#	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%-rN^+Z~>2ڀIcɡрW~|S8ehS$`2Xibj7`E9-L hUb=b49(i.@L
80
0dݒ[YՑPEdID8 N)l).{*GQ`#-b^ON.Y(Xú?)	MΠ"zVMux@Pz)3ɤsV}PQ,H[[T%aڝZϱ*}t3Y;\a)܏{EbT	?!i˜H],4>PĂPo*z-ltby&6R*-S{L+qpNS%+ 	'aZpz`;}8j$MB:Z*%>Ԝ|dzn!hR]#6XpjH.u2bg=Iԃ+
8%aA
~W9jQg`	4I;5i(Sn= K9Ug$uApf V}~D #x7i[=K7*V~,~?t."ݡK%G8IW͇Pӈto?YN4b{ *IǣBĺd8z
{VVa_JFǰ
	3WrE!,?H63*vPfmN
Mϡ}ZޞshoPiŕMl6=s(27ް~qY-m[Kr!GU+rzdMڃ]ӫ_@\VmTL3P`ldf
M4=5Jۋ~m@Dg'˹cl(q!1Ě#^;&B `nwunw}Á4>trIBWߝe$
L!'`[~7/(35w\@q:@V)Qҫ rF\
e{FCYŨs
g-[,uS@/`](1q^*J1Y۸PpȃSfαR/_G[Z|;"S0CnńTefz@&
_͐#i*q晅wCj*҆hvM[s1;7WߐL*dE"
IG$o4_\7PђA'4,h34%_.23Bs\8?(
ԳD!1X&='W;<kZ&SPlRkϕi.>ξrr#UO	K9n`0sVCؤ%(ЛFěg~rx/U1yn#`{/d_rfo"PV|U@PgEl;|JNRrܐk\븏4#7]#]m+VD_S>qt
o,7]{YoSpt³D
m{5lI+"-B\vgsI^Zttx0{(Wb(Y2
N\7EvterDa/az;p?~ͳ_xǒG(nHWJR腻{"gJ֦?l!!_:onYrRQ;Chq>IJtkwp顆ZdtN9JH^jStU:7m^rH|\A*1*o6Ro#lάh\la
l]KwgK3k۶0!sE#(:P^X?fC\-Go||tThYbcpn5#	*]~ȸ{I?kFT`-}7~BҲCJVP	_S#')LfLzMnfgO_0hؔ]Q]]ᵭU}%>1dm-á\wph_0~*bQP}eR!9.eC6Nn4_RUkݜ=gYZ
55M+#	
@cS{W#rKMJ~_CRoW1q{3]NB7,ut:((G9ٌ/-m	觌C8}j)%:Z&T9}q9P
,q8ɨ}`oо6**|p7sk ^=s֣qGnS5VQʮCq*T',~pwiMbDVDxuav
C
!yDc`A23_~CPS_L~jsue	RԄ1@kqZG&P"(c}|AcruشK+
IĦkųOHm糬+'^f`n'J,QO&,ӣH+*d;zg
4Z6;+: j/G cT٧)7:F)->Bp^7
+֗pLCݶ_%͚>Z([)+Us{
B`/ 3<zc5Y
͜YbuHT+jy*Nך܀Cf$cnԽo|
goJzGFvO%9\D0=鲍wr^sgta[4P$i^5@ּNS Zyh]t81*~>m3	Mq"j]
E)߁w'_ۘBM,lG\˂d?VL}!TvW谦.B*!W<-`?稙89G'lB=@K4T
ۿXC?;`o3\z9dÒ,nk5 ґZl/{wde?*q
'PĄKIRL9Wz+F*Ʊ'7dK&pyr)ϊ&Pc6@`jSu?9>5̈́
Ob.<&V󪮮q˛adŒK6AƯJyZAu'g-t#,]>嶹ӠqBjhe7՗ev~LvIxe@hW*_rcԦ޳ufwk	Ys7AҦ1i $h.x1"j7w	P^>CYa'ce]$0ޖUAbz>^vZw#fDIc<پ#x|h
5hʶFv(9ڸd&l,iwT-Uuf7GU!z4LS˸c ˀzI™bIO|Y'ƐE<DVcw|✳ɴsV({fGww-[}0&a
]Gfq