SQLite format 3@ ,.;  B --?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  @ @-3$| ]/ Inductive_Inference:7zXZִF! t ]ŗXiɟ  QLwЪ4/ۘŢwo,( l8t6wG܋~gCZmmsZ!`34IGA׊NwƣN >/l 0vRgYx'=e:~/=d = T!_+Bq\و.IV؝lfKD23Ӯ4SD <ɸ|[1Vń.}>IX⾹)cWwP'yd_r>iZƒRhh#)8֫Ai4t{MPaIAyؑ 0jv=շ&yBYg_db!$4r=ĝ:&??$Mxl~BfCw72v(* 3 Inductive_Inference'r 3i% DInductive_InferenceInductive_Inference.Inductive_Inference_Basicsdocument.tex7zXZִF! G\]A-MՋhvG"uIBm5ɭS ?J^+T JЕPu BDH C >R;a#ƓVJi8dޓl'97y62N <A-j.8:>ey汛eG1t ^%MȩY>7 Ė<αX_x >ϨFU"˔ cܸw#= 63LP4cޥ "LѢ74n(;{٣#- 2G6Iy S.W5l{=x|;ZWD ӵU{Q9#2AۖI?xL:4d\XchJ`2ȚxC0FBUg#ȲR)~B23m{Fxᙓm], F{M}N痆&+:~|y-dfQRxJIo&f I'(*٪QWd"80@t{ P饶w y;Af.H,pK/Ox1Y nݤ+4gb+zp3&ۆ 88׉ &!|-3BC^+SevYl2 lR8#lғ!$Y bD[NP#~|ѮU f7 R QVƱxSjav3-j9eRNqA/%k qзV _WhGF!lL[s+ج2zP(@EImM.’_`/å5:|8E˖n4QL}Q͉~f5@/\Q]i AͦledĽve6{4V.np9 qmѡy9.TZoMV$=i(y9f%U}lO HmQ|/lɲOQJx~B,/ RE<5VbٿM.R7j2?G'=U$Wv̹8>F.kkד٭D]"s~06 O:)UV\-bL,~^ FQ`MʤlRYė(q׼-S A^/2`0W+˲3Z׍Z{ViNBfs2/ց U uM lHВ #jvw'"{Jwwyہ@S1#&`} GP[M0lw4/ ?n|9ƢLh>41zhu!j2[X^\$ X"b >3?%Inductive_InferenceInductive_Inference.R1_BCdocument.tex >3?%Inductive_InferenceHOL-Library.Nat_Bijectiondocument.tex>3?%Inductive_InferenceInductive_Inference.Uniondocument.texC3I%Inductive_InferenceInductive_Inference.CP_FIN_NUMdocument.texA3E%Inductive_InferenceInductive_Inference.CONS_LIMdocument.texC3I%Inductive_InferenceInductive_Inference.TOTAL_CONSdocument.tex?3A%Inductive_InferenceInductive_Inference.LIM_BCdocument.texJ3W%Inductive_InferenceInductive_Inference.Partial_Recursivedocument.texR3i% Inductive_InferenceInductive_Inference.Inductive_Inference_Basicsdocument.tex.:D 1޿w@FܵzS#bB>_J$9:Sv53@YZ F^S-br1~mc+ Hr*2Voa Mle],#SB^Ȍ;}79y6{:*73 CP:ZlGn=&2o 1!~>5i G* G}wc՚e)y]a\=<{J 0yrb+r~K u6HKC+3ߗ4//pFck0eݭ3tYϨIIxbֱ eQ16 O&߸ !٨ OmdUĿ~eՋ<2+ v]ٴ!4ή~WXثpDGA?U,ymV[Zk,}0<9qBݞh|,lH{ju5 |'<(w3V'pCcyLy~M ^lj݇KW!G'e=!R;+I/93q1MB}.aFsH&涃]Kvz' ƿ?WS63V.7H˿7^n΍ \X֦'<?S7 >9*,;e%E_xw4Ru mѤoد| \7 O_;E;0*'Z0'/ŋɺ% Oܺfb& Qݪ*«LWO*RgWm؇YG_WPg2vZ({_~rZ?c/?d/hUTxchώ/E~V.l٪ȢD&L%O1F@CEz{SoN}O"to;)𤩍\f"nuڠCݾ,@Þ>[)Xi,s!w52<w(p.dQ~8Q`}]HubG19WU[bs1~a k*ǿ9T1$3M5K#g&}>E?s Req[gskRCmĠ@>Vw:k; (c͓QcDl .LB< jpq L2yJvjVRZþ'$GU4+1K?0H8CyUQٍm(DU>EOOei$\f8}' xĪzd3)0.Hp:6BPjt%M8$frȢ$&ڢivN#.5}5^J :q b&5>j2犢ʄ6TQCy=dtl>q'. Ғ ܊d&D/S L]2 E!H;YȣC ^z?\k4iubBzQxn.&%s(W b\( RlS"C/ M}ޑg eSS:S؃ u`Pkl:f=9Mol;{ct";^HTROrh_lP@YAAw BN}-`1oθjgVW5zs x4,!AD1JI[Cy׻tqb%'3$XeZ8е͞` 8A@h6ez7##yE҉xLAV}@̌8n[MQٚޛos=Uk<%]3t+nq¡m#+R!rF>X,C TN(>؅(c ⒉pQ WH4/HE T+TʐZS\I@{ j&x6w~~ݨϛջӟAU99/[P@E/eFP O3 +*W?SAS:}7ǥf*@0Njè4?G6&\0+O#xZB\F;H|QA@ȸԨn렖xuI Nq؋ҷӻZnD=(vgq>JF[$|w"b k d}3'Z}Y9%=}%=G-sH4N\ CzD¯hN):)*o oi,J0^?\x! ;Tk*=s lc\ 4^&tt\\[a^4ޯ31JTX;UQFDs 1y%vRh:EEa.^oFjY-2 mU/2?1JأWo1GpU۲Dh>(=aZOXU?hre}BqR.2*,V;7|_KVvB :EK46Pk1l~ec$N/ulAFO=1Ti^[ߥWTÖL}v=Dޱ@F0i7AXf?'Vr/8G)'[6 o-QথT7|̼ɺPI Ois=X&wL57 V&'~@vɢ=<Fc jt(6"W?hqWI&HpݶJpd"`3;^iv J?=ҷ`F5"jR"S@sf @LYG<=hń¬w, G+%>JLP@ )̧ Fq4Qc%z˂/fG=@vݸS0IyWhdըܧeMdH oW@}'nc)!fvxZC#7ЪG Xgu?z[#aHL3T@ukJeٴ8-k1`U?6MdP/ׁH> fd%D@k!~)$BbBQ U}t  yAJpY /U gj>QM[*+o[k.4ӛcSOUש"rz1lqi0lbp&|B\,$nWgn%fR 3wLF`nA)Š2<.Rhc\i{6zѦ 1^-?rL5zf"h|c2^>^($)Ijs) ;ڵxe\%ѭDCJV r犽C{'gbO| /}+t9LB3%2O,1mB*=)S5>Wceo)ͷ;zaWN%*yl)S˖ނsjr3nh{-MNؽ:0R@c0S e%Qi(㬭үZ~U_ E8 6[XUe5f92 ,Tf1y4u  UP˯ERA ˬ@>%PHgĽs"cD -;Mo]]kZ< 1ڍ9x$W|ƈ}!x7<Ò:rjL.C>="}Ha|zrGX١.IJ|n4\{}N$dDG/M102ق,7B5~2IõԊip~_۵YIuݘ^݌%X(Q7qsIcȇlNXxRc$rKvt MTI=\,0fGSi^adS~mQe<+y >NF|Cp T&mc0"Y#nS4j"6ͯ"/#H^;* !M֟55(^jq+ud"CrW$-?6fO)$A*YOtr6cN5N6ӒnT0-$ [B4LYJ42+RJl=%%8t)R?XK q(_" /m֦o^fXs6r*-QԠֈ8]_^GḎ.H#Ȩ0}yhi~FZxQBl o0^Ƀ`Y !g~uX<%\G>%F׷FG}sP̽ج%pc0|[,|p?>O[6W]?nqN  nݷ ZB`r{Vq0U0ac\Y4ιW֯`Eyq=0Ӆȭ=yx]=zP;uEӕC-S3 |c"omQ\+Lhc_90:SW xhY^ q}8jvp$Q;'h[>+FV‰SBޕCj])1fF8>h.&Nȯt8gvUz CW ]eiX e%*Nsy]jl, K#I7}^M;}9]f=+m\oäNdkψCjf^A 1 D7g*,~e J?E@;;Lt5g9type1Gb9@)[YS<p@|,gd^6!JY*>#iBa", o3No~h-0>nD+. `g[ x!)*{*6)Mjr{rw3ѯ)`#X3AZ lk~ӬEֲ 4a}IȐ dn2  a.‘G9g13n1 +qZg/FLzQ]kW맍*g׏mҙ6`i"Vo0fcLtqfZ.ϖ&Lg&AB8yfBv`Ut9r_PwzB\>*+bTlPw~ NΘ)f"J!iz/ TҎ{JkgZ%m4.)eVB3l'uEryM.4+GJ?ͣiH02нtK[|_V{F Iz -mVώ&-¶yٳn'|tLWI9dٕ@+'7 ZB6A ⡗A@ݒ1]g%KȒT)ی?k~.9V|_bFJMNk7+:`̌ TXk'S|qWA:-#^m$a*\/Y Bb]nVȭ;t~+ &Ö˭Ձ?r mzD-L,l1"p'MOrGE li-k!k0bbӿL T"e8FQI9}DƆߤ j'U^J8>yY< Use)ټs2FnZӝU=3( r@!* }ME?jͥS\T|rRoB{qEV` *T똷5CwpY Xr9X܀XGBbBtգ#Rh~3U<$/E+"op2}5|C0ONB({ *F;yI" خ:ad͈%ce 0OcMC}D~)q~J+_F[akz-"p⧉Ʊ>x۔Q rRbM[ߗoՅsek>dfOȞpfFi]F? 3pGwO7: ~I u|')1}F6b( P[#c3/t~-"T ^qu:!t3[Cb#u1 ctꅓ,oa&~:` wGo>]ywVI߳x|ZN=qwBl{^kr = f\*hN891Ixpȭ+ ?8eV) ,)k[eS_zj4@X *R',~c,Qu準2Z)F>x=Z_~)#gyyd͸]nX3A[y1vJUL,bX?M' C_uWx^zt9Kms6ZdwG߀Mg3LrAtdwDLyyz7$HHM5*lg$clv, ~rgJ!kΞ˕ޠy|ML$glU?:$JэkDo")+W\|͉>͂V!R+ШԥX=꧿SaHCkneiPݥ븜+x]dQe魬*ϖb{.-dxSdz膖ncͥj3*To,xCETvG4VڑѱniBԙL a(y5OE ߘ/n{nB佫^'OPW܏=6Rz)WqTNNehBt=RvAJ|SS̆zo9-_HC1z(&{yr7l] oGibJ3U- QK6zQjݏ%ld+Ƈ-,=!FQ 8ܿ|d~=\+eFkQT>MM,mhP Qwn{ lD,߁NkJ~t…o@{ý8[5$I "C"kY+&o퇌Z.k 4 P3~"H2q o]% \p1'JN0'| X׶e9>fnE1F#,vVq`0M`as,!Ӥ5jÊ6<Ȁ5SG|PjTӗ{wY,OҀ4.GQR 9ÆB~ǟZ=wW-,ĝXjiP>jPX=mg|g+T]plm8ZR^_l?5RiL9L Y=~怹1ͿiƵ0A3g\5e *vcBz@6:[.xٱ&ڕ4PY"& O,><@$NPt Bn$OUMဋOGG&?]fw+AKy04 =-éq00>j=pk73Glu&JBӘHj*]9.;b""/aOO0.gq3kAi=e-`'MFl1bmy@r [qoW ?*ߟބ'(YJi* t{0ХRv+F4Z{:^ՖJrcðvP}d)Uo=J{ 4_uu dk"y F^X58wֺvjZ|DX=Ue^;@\pxqBv/ >?$U"с )e5 K`p@ <Zޡ64 LGNtŔ og v[I5j&>†bH# ǽ[, vH!]V߫޽;ryd+bYqh\Dc0fj|_X Z!_~0QvsCU.7aѩ+m VS70!x'ҏ? eG(*xŠ FR<{[A( oM]soLɶtEy]ߝVhbNU/r*'|1wyuH# p)ᶗhv úFQO=^pP洸hӌE b6F0 ~Ο ;q{\.d?Gx.JvGu|_'&ITz,#7]~ntLFE1>'J jꭹ۵qfWƮDn=6GST*_r )bH+sxoV8ؽF XFoV]M!GKy)cr>;?pF~w@Zqˁ~ NI8, ?B# ~eU*u* =~ F`Жk lX @+%NđF>QCxaz8Qfk<߲1njCt*0m+ e,o؋sT*yo6N|6mWu)Q(80"fBS'U^z"]_8[14Ā r($w=NzEVi]/ " v=Edۄ MɹERU CȡLXrޯa_pg7 \Fg([t9Ik%x3ňsv&J5AAg A|VkEck$)Np8O S654Uv5m&ˤ S0Ń"cGɡp?R+R)fTayXŦWW.l -Zs}2m)сci5"l0aFD&{35kWYoR1Xl B]_ES7b'bm Q1ܘٚ>bf 17͟ފoL#4[۟GRtH;X XPք.Zdi&gх,+^|5yV$BSL &vSlRw)M:f@7- 1B('@EjNNXu3 Fu@Ba'6)[hR.g4E%_fpϴ냞@Iwtd2Y'vm@ND)Ƀ-w>z\H뿲2M& $Ml{KhRnBD,QE"0H#Ctj at>$0=~U>ϒs G^OCM48ZL?awSL8zZ"MJb#Sy `m!")T&h^nJxΕ"OsȄ} sz!˱@Ս* t}jv< 'ł$'.jbW&0RHwRK+`pMtV''Z<.o`F?_@D" E3ZjZZj\lu3ҡ|R+s~tVVYt7^0EޫaQ`c 2p[pM<XstG5j2]~1]B]@SK2>Q킓{ EEI @\I+~Q2)˲T"\[SNÔ+Dg/:k&S!Qjl@ihR|]9vP٘;2LBe8diKb[uD|(n)֔q!ϳOfLG贪Y+•ǑP?m (1k|W|#sČYa{౅Ѕ鿚,=l&Ŏ@D#V@,yWAW:>pQS $ŋKR) _4@D<5ӔyN>uWW}0.%Zp|ʄ OSu-\qm\-ܺZ9=Gkݨm6mGMZER Bǝ(t9+^yI iKY0UPhaDGImXk&@x5Yނ- FN <7ߎZx؃x-Pk;$:ކ~Z:vEz_{xQ$3FyD8z:V^oIIl锣 íydzЁ:S"\тXppŒլ(w/`|gZGIDLg/zb㵶gkQ<#k-wT^Om!5v)y_@O1_(0;nl^N4~Ƽo趍cnytc]PH_A}~$y@Ǘ",'!mS cGRDcnMnc(~ޢhguxf⿪/88kE2thxC _ F1Zg˽IT,%PHu,O%*gnq%$f ߗL>[O@ Ar}=MnmS 6DVZOm(vFI y(\6[,3_^ ؉[&5(|򢂠=_ ^]kA|_=n@7!xi\'{*t}:BU6A-+_]9,W:띎'aYf8+xKTz֣pBF@>2$mg YH^鿃sѶ'1Jd-dM/ňZOp,g/&%e-}[< :gI:{!bLĎ^"9::ۗĜ.>jQK7&X?}! E(#HA1})Kdz*Sv `ܽ?Fakh kUSBc'R gNCZzm`%(J rȂo:шk*۽8gDһUMRr0IWXa NĿ[tRctiY<)qF4xaա$d띴 _y*|5Aw Zk )[S^T-J}n] sOeSdpw![ۊ!}6LJ==:$LA|[䷼fH)ׇiIAk;G0܍>PRyBnDNw͕>JH+\HD_P0P!Q֨U|8 B4XKDOz2o}%΃}H,Y5vFI'} lt?צQa>$ɨ }!_wQbf9磱y(bjUkw b'}Jx`)ǹđuK^6mw;zQCI)\(E'ݵȬ&Wk}X_t ?:6('Ov_-6,6#b'4 ~*-lC_஺PAFV- 2d4*ŝ @ o\ .ӿoLS}*nL!H^Qߔ^)'+綔9܎4#| (*,<5C H|@\|̽?:/)nmPxQs"=#Cr}( 7 \7pn9} 4*x"rT.Ng"0rYn)B9g=qreN#;^VPl*הY_oToBzj`ꐂfXz'UOK;H&^' V{į]kl1 FH|nwL1GWJ8BcXhÌ8x2zuͤBx_-;ឨ|y-ݜ"i2ZEBSS/NPz0_ヹWy~ĐopiRN~,#zz~j.A베C_ah x}nO~ 35P"P%. jVx&qVZǒm%]?rTقWD 0klN&ASZJi:Koñ.;i$=k|6Bx3 gXn az%<,}5OnFp rg >`V<0%K=6  AC-&'KN>!5mIĜN>r$TT'ZE>]WT2iYOQ-A-`X "x|8BEtW~EC\R;49o.[ ZƐ?>vHL ?YI*⡖Ix )U`!]>ugUR 1XIu`̷mZfrLo+; 7I&C;?G6֑馳Hw!l9D_("Z 2$W ^Ӥ0A>9" +BȅeqBa HAhvAMQI ע,}I2fmԗT;aR͐MS>.BfpH'ę<)q$"63X7VetiקYRPID߱QۭSȸV|=|J=&NN?>V+K=/IX c~GPh.E]U$`LBqX}Pfa 7VAKf4gp2r`} 9'.wZ.\59EFwд ;3F>-_,- Q{bnxXTXzM3D$ۜlA@'G9Ͳ[٣,3DVӴL[8߭^8OMqXTXND f+"' Dd%8 g=' p$xPJkiAw["^#7A  Y K ? 4L'~P2bG+9IIbK=ɵ=UluLȾ28eey ˰X,(|_#Ҧ`0Ō f}hOoyVwr2r!!rs ĹTapߪ3=MugCXvйGFOW=Ăl R߰r`2rd{oKG̖Zl`x/eW[8]>2GŔ-˘eMDh7YavgSbg|}שN/lM{^㼠N=s,3PٮVSwA*`h(}| R/ɓsLnR/c 4 e8 k l|.ÚxLVhJM40)/* K{o|.x\aVGaYޘe4yܐ3",$O2}}iDʢoL.aqbOĊ!Ɨ+Y Wq761*ыGW;c"'N۷+@ 2^!SW$3>|PӅo2.DdMGux"=7a _/ eAJv!/\e* %jmO;LRQs2OdO`O편{4ƫh7w< IT!aik%MD֔0hVi4;Q-ϳ?]Vnn}8 ΍зjE[0+_zue:s\z^JGP‘s~kRY "*Bod=@}JJ\t6f6drϻ >!ܻt;qYN eq_: }JXQI.U9K<&Zp_uR2DNU%o9C5yL%ޒ,}2[ep(- >0U(Q;yڀ4Yb9Q:}`:qaI)0ح^ΠS(m~LvXXtX MHRy#d&Ktyd{@yStಬDqǾ8nvǚ^W&-a9;:&uߺz>v%xؗRܱ{"CnizZ$!B6Q?:QEpw,A3hcP|_6\+46ԑz4sb5$Cz R{/ fFDjjΖcE翴j&v |!5(5:Ɋ[ fݦ'Tza@LJ z~ϝ>wGLTz}Lgĵ#o D/H,KFk)38qퟲ]z*y'C`rB *ZW^T>k 扣 : XKqqCs_fF:,pnE3B{/ķ ?hI:bjŖwKOEsE* $v=nLӼ5p" 󒿝OuA礀oւc9|Ѭ$." QYc;s̅ s-g{ Ube@'b!&Anי_q:#TgJGֈ/BL9@k"͋dWA.m[;96ԥo# 6k92VwJr4hlQ!%X!C*ټQ5UJifU \ݧ8&-e-k2)B@k#Ox qhupS00 1p>u4TOD " WeW.;XV[ IrBB/ndYa(FOL8He%V&AMЌVA.r)$oղRm l1KLseq[7*wFVJujo9l@qw/Aw}Cah05[~㇯a3X?(3nFo해ݦX!-O>QJBx{lK4}r#_Tҏt8$ L,.2ȟ5\"G&d4z!H+'$PM|]^zc 1zp$w][%&Xi2(Br]R /sz'zK_4(LqKh2a.f#+AWW0Sۆlװ*=̡Q&'lL3o=}o͡fɰl6b*y﹀p1-s :`}'͇u^2p6gu=H|cBbA؉Jy!RXGnK+w 1rz(G(N) MiSK_opFjzyš,KURҞ琱tH.l_&+:uѷ~iYI};qmܱTFV2-J 󍨷0etB$꘨dOr6>(~H?V~XF=o‡Fm IJd ̱Z 1vbs#6B-)Zo&$w$2a-ѠwICViس6խ%Uϕ6C14?hp Xˊ^89x,{iZSgt\>щ#IJyUZ[@I M&"N!VqQ2 rzi S^×C'/cQ87}K#n#OA htTCK'bk1=x5#%U| RŝtMc80M*L KQ'd$Bg ~8`!e7Zm4zVy-o.L+ZЪ'8|/=S:u[Kñ Kc:o&T~LXV_C^TD=z*+ WOĤ'auF}:sF4UQ=?q0 Dy+ =F@U=qsD*.h﮹ q+K12kUk,8an7Srg$11& lj*d֡YaPr ? 't&K,3"g>U\Kc$/ӕi$Cc 4O4*th$2䤍*:ܡ3`8 ^OK䬔6s'nb3!Y iC TÃqMv{R$~pI F1ӥ|d*^ϡ}WV< zM۠`Z$f(z(,LJi)KALog 'I;ji&}"499-,n=mQa0(Jb7˔Q l~tAsiaH(+R}CեTE?vt{5StjRЄ:NW/Yě)@fz &g}Y{U<Z~͈wؖl5AJxXAD,s3:> =,3qNҌd`  e/Ƽq?ũNlۆ@'撰`2k C0U6aݍeƴ!(Ǥ-_*xB|UMcrc~ 7 sSlʋy/?4P65|,I?+ ᭇ;Rj#.._̔\Y a- fպR= |mJ#K8]Er%y#Ȍ N3oBx܂FM6\&-0\2w+"N S6ُ̹A&C:93v $TC`u'dqX/͛?Lܱ4v?:w*=?ױ\B[D.2~0S:X7ˑ^42~*Kv$2" AS*:m~asʅ 9vW/cA6& yWZ3i Vfgo3e)^Npmmn)G܊ߪPԇ/`H.i&)ڂ -~iE @F2"]o61~gTB~f0Ƕ6%x+f!΂Qu E%1 4*bpٌq2^Бpcg6K0 c4wHA}{U^7V+v JtVY~i<4ȃRV~㚉AF 8Sc'j}v!3/nQ:32ZR?Ŀv\BVda,wv#gpYt=V+s|#FLp`.zcI5:=, \.鼜S˃Yb$ KU:Hu=>n QOTZ`Ňm34Va{O|WJ1n8n(rGlL֭fpt%eatq!ƪOCx nfveML=_;*:UF$ߕW%sԵ N&i=yE!_eOw%3fRΛ\)iFe@`zA #wUJ"zW',Nfͣ+tb]P/lQB N/0㌐-<:znZDi+Oa1E}޻b.(ÿ)RrKa!,V_9~KndNfއ3h{Ns'gD'΃x,4"IA裉v / "-XUEyRv:fLUh,^r@]A J4~f-6Nj1Irqg B\?J3`DZ[Pyz`i_ÉϝZn WYz%5]nIKyo^Ѓ)664#œゥI,ﺵ=* ]/b'Uҍ)Fd\͸+6aLNV8%Kp ϴwgpDxsGq N-}$c6 mn.Š4C%!b4Ŕ{o\c,j$~can@3;( V=}) =xV"8%.ʜ tGspLlm%?-DOwԩY/ñiS`TK럪\a|wXdJ4T!xD'&(3-x<j:hqVފHa)=O Mp@;Zou p[ @aДMkJ{AG4pn"1 Q:2>hG<ϩ|(`zO5mq_]ߠ V g Y'+WxÝ+Rj6 Ya%ÿ\J{M[gb.+ (cCvM>'l9$| 1H5(a+gm=ùΎj J ^ċϚ x js.4D]k;GE[?V<4sVk,{tk_i Ekg Ui1us:L&aN>K@H q.@JMY4k6/nueY|@J]# 9!&0%(T 1nYN2~*%_L3UاN#}|aw n*n͟+\M <#e<Xd fDoWupaO 9FdlcU8x6ЄP$]Ē;vϦ_٧m&5H \OZ.i[wtu^ͣҌ p w* DkȦm|)ɥ<3=O[ꀮG!I,=2޶ҙK^{׷}D 3ߍoS1̼mW=S(]]7 jͱVF`. =<0R?fѧ݀>;kv9 . 3+|^2[v K0fN2ʄ:9w0AU腵.9'#1BEm|V$-garRL @J>ݢPNA:xlhy\h=W#7LjkU6a?#Y c JCr/J֧[nRyw;iޓj1` UiӢ(+ue!kt+]x^n&N7"t{tgeޥ -e1VxMLm(5++<3U^?|4c#]?F\ĂZ5%=;)*L[ch4!+,ǒȽx*yEn&-ad>}+ӄޮp댒ڹ=v3 =lɋX]@QQn͔p4PG+cwrLp…srbCΤopH ߼M}PtY=|CgxލkǩKb: ,ns,GApzܩa&LH ?/7T=<DFS<Qolc ZK@|ړSJ=W\;Â[v3?+ ɴ zA9%ƿlxW]DoLP)? kl5Jf.'O#wioȖ锼"ain*RyMAm;/ m]z E+#!jN~ĒB_ڢ'_I -s_+oGB}O?fMf넃s#3bmdjьTlZ*[ߌDEKt3\IO o+'<Ν_jBu-mR"( qh۔$/,^?OLt8vb]"A(Z<}E4DѼT1z L`92*cEg96$lSd|UZ76dK$ x8kVr$0Z2,s}92s?̻ޭdR;dZcT]ʘ[<7FB!Wno@hhPx?b*Nj%c処7ʽGˁ3w"d, grIbym~{`1x.E,1 GB*@pS`Kg"wwIK,18X=ZUiBQhBY'iɶ,㗲aXAZ&8.ʁy (kh`-@Xk,toօ{@ACE '.?|#@vO4n/@+uxxVb~2np^pn2AK0Z8596FtAg`}_]PUP$:y0t%qJëlG>?@]dBpKh0 ;rh+]`Aۤm/[C+'x\v.Io&mA~Y$gX26^3 ԅ^%ce(9up2D//2fs`_f yn{ýOR{AkZ\x淀AfZC6Jo\c Ht=MOtG}1,Lve1[|wNoAt;C19j JlF犑{(yKK2&53I\TY0s"<"|k #}6ڤ0&b'.GgBs^ߡrz|By)$ C-8l߆| 4اh?wXcc)p@[@Fhitsf #""-KI?#}m\B-~%,,"%,)r::S{2,/n8v?ZXyض1HEɁ@p^.9Ħ*>L]!AjBt7*f 6Ѧp mvC#k#Ӎf;z ۼ%h\0K Ȼ *dJH 4B/*r6exG݁$ |]grk{ROQg'x#6~&Hl:12rf1!t~n;0,A'bXvBÃig l댏-e\w M*Bhݼȗ_Z3b7%5nxK\O7} Ւ][׻=J`'CɛI;,ȟBqr)\+)eVYOuHb;BG4OZ'sZKP26~YHxP9Sѫ4Ex U$lOg|қ뻢k/ jk-N'7^ɩaѣl 4!.GI$I}sGn )4`5<'$Z!8P$s ۮAf c^$et%`?dUB _m\CLO6cRSÊaw2ѕ ~f=Ih3wai}"//' K[蠖(ڥD"Ӆž|GEDiLm蠨tأg,NKA,;;R?I_r0X5L/ H'7ӥ8`Uuw0yux(#tVjmfi@nY6wmKhg-K`z%ױޔp#՘n ]\iQHL8,^v< TpwCxEg9${Ft1"9ƝTAy $|z1/X | :i2:~u٩u!~ fnA?;towN-n#Hg|Z7G2lf}˂d0l?V[a' ~׀N'&p ~mFI(.[r)cg{,."'Qg(,```Y]l(i-` 0C#Kn"BPЦyT%U18HZ>ܔ;& eJwlCǸ F2 ~deͯK66!䢫zaD*:ܣΕ)xys/V:s@kb}odP-1LCٸ8r p]&Ҡd[iA3%1U +)!PQl(?6l ](Dgd*)|b+N#l(0U&* 7)km`to,I A&ydc܌LV 4mS]L5?ff YL_PՉNܮ0R^$ ]V;P_ֹ\2Ueig%e:_VY:!l`y(cbGl#՚vu ޚXKd2##/SP}Ro }pKI#[+-sw9Zsf<8|9yc1o%6WwG k3WآcV#Og%H ڧkؽ=e,fwmϝN9^s.z} VXI= 6xc; ~=c+>B1Tv.yY c! 8Xɻ#7)=kcܿHo=@. CX(De.юhlcW?eW2Fk b835eu9͡)|)o>vp:k* MȜ'\ )NςR0aDBUb-jD ~bk31[U\gph,sSII\4?mɟ5F0?`8 uGN훜a)s3ŦhccTT[&Spjݹ o޽$>tRM*Y 4WVK Ppg1r:7HDhOk.Mk\XSWЌ]с r2!?.ޕ^#|>>Ճc>%tQbip"VyqcvBU ՙrHN~U$3_K-ƾ"&&<7ݖyu{84:Dg DS5e#e0U_ieVK%A~.a.)w Bk$F?/+[ D;V?㼃Õr%HCLlEGR {}S"\!:@n,j_ǩ}RBۑ]>B!z n)shTf`9Ԅhl5G.kxz.).'avؚ`"SxB0(N{w&r $4<5ʰx9w쫢4/w@YwB}K3emre<'C/C{ʋAFەjk9cπ=QWƞ^qkNM/q=$$x9]f/# A|B `QL%:Oz*&@t摏\'/S:9\MPrOuOMnxO3t?c \ԫOlZҦs .'It9;2d.X*bgܹsa*w%AH. 1Sn7E揎'DJaJ&W5@͍:cubhƻ_S}lvvfm_ݠ6hs uh䋃𝼲"DHmlo洗ʉ͂ti?٩._+/9QK=jq:r)YR aMS.qr]n -W1٫n*;ВѾEC_sˉ5??!9o Z|uȕ`r]VRV̅hH|ȧűS8n{t5a."Z40~"r;vhI5j6F yQU+d빐:Q(v4&mt#"wNJk1Gx.JmJ/rRsU_sI䱢Xn˩mKƻH D*4qnRlˌy?4XM G q9C-ք'>սNCL\Z 7yC 8_aAGG/kA0phkAtr+xTNxtPxv^eInc) Ŵ`C{![7=(mڣL}P4mŀ6\-rPR5Ax'Huݷc]zl=^,ߦ#* GJ K*d+ 6j߰t]<[P$oJ) q%e6Cdx%D4E4%Di޿:=`!dz1ӠCaD&][P>Q J q`:ɾI߈J|Y-e9=. AWV]ɴl'sm#zE.>७h hZ[a-GL\e251$ &MKBkvGr7/eur V1sTye|(kHICfm.Ž>>׮.K6$bˆq,}Jx2}j*I 0'مQ\g6[QswWZuL-QTiz }S:{jM:-[5Fi_Ou+~lFQ3ijj"i{Y?@77_/dkXRCuc_uV(a6?bMZx7>9ZY_*z:ڞ2QJphWuɖQ)Nҥ%|y5CPW/~k0 _8`4QW,(uYM?}.` DFO R\ۓǩY9Qݑ}ɘj;n>Ag3સ)C//5ڂ4aFYX9Mn4K'hzw6"5Cf"섷#PT 5p|[DLG DwaF4XIq ϧt9,R#P޿H\ 9;`FɐcOOwU68ɉ,ީr&ЄV4g^VvB"GϺ+Cyiֶ-EУRMpA<;rL2Gco.EL(D9bK%km?9eϧ$a)8ZePGiQ L۠\?M[13N|JjvUd͘q$X3(9Œo^4,nPF5;|= lU ٢ܒn2e_I0k'9ϱ}g2³L`73O$+/ Թ^84 &9pH傮C"~޹|:a R*vOV)>4IyV=u.g,534К!lͦ~PYjBT[E0MMۛ|_+~ ~-!&5&J#1%pTqK 냶uqIox03$wNp_ Oxcĝ9~s]K/I)])S^@ݺُ?m2̎*0{zt0 XeP$3E(UsRbE\y pFYϋ'w-O>B!Z3wWa>5;RUG%e)dZbL,b@2L7dܠ"Htx['7Jyn1^}^Me^"LS?\axU<~r,}nŜ#M'O|ltI\3ƽA&shc^~ ~ &Y[(6Yά t]G/"!Б*%CrfգLc Cݴf~L9qd[~b4MTX. I$2j. JϜ0bjO Ⱦ'bu(4xvH{% X8GEgUt!QΜMb@GX},@v,,vGYl7QoVT4E伟McHtK98}ǛSm~rw4eG/o %ݚX1mQ{#580ۣ6TQ߰>נvvZ m1ҥl'?Dv/YW;[Ϭgk#[ X[+y`3 z0i0tJ_a&'dp,NƏ>Lb=GhR*77+^04➘l~_lB v+$D5;2@v\Qrz)Ơ-!+Ex)gǘ]=!n3|̤Pqa&E‰ ~y6oLlƠAw;N|95](TIψ Tun$[)f{I|sa= y٢^r=UYwZ5rk J\ ZA…dp2v8hɪSHg[(> (Ժwg1 f6\yHzW 4xnJ;{WKَh`-Љ% \s%N7جW3܄L#@T.<:u <%={^bUmNtK{.[AF!9 DhMo\ܥ+k[&hJEw M"uraL[H䵽V\+噗hcʔ80lj ښE:/^wqvRDdYV~`j?Y[צ?lc]KqQ AnK6z9lU3#3A0-۱7VaA$$]Fimֲ7e e]6%l5@ +SA?aOcX[%%AÑGE%]ӂ?u}42F8rгŗI!'Ҹ*θ^IcFZkhםky2x:Y_oÇoۚ 3hSI_)4:gDp;s4rz"Z^NBφ' ރH0g\х ;uNx("\r rH 4=Qjjrѻo ]zus.`YGQLe]z[BM*,vz'[긜Id}.@BpYN ͗]8;h;DS@|:`$jO ;[hnz1> AZY5@ETǫwT]{eߥPx K=>NaǨG4XkǑ%n a@Zt3=[t4e%Cyb=6A̬1xR^##v)Dh3^WcW(AU ~twi'q!iFVbchya1q730g&V{4e$@ƺ׍w~1KmϢx#0Ψљʪl tP_8̦yYDѧ+i[QuQ~"M[:d6u ֣%2;'sV>A9&c9Vg vzKWN uoq%_@0 ՠ)Þ3 v| dD YsA}69rPwa7?Јq$ĨѝAFA)mO5HR;a#ƓVJi8dޓl'97y62N <A-j.8:>ey汛eG1t ^%MȩY>7 Ė<αX_x >ϨFU"˔ cܸw#= 63LP4cޥ "LѢ74n(;{٣#- 2G6Iy S.W5l{=x|;ZWD ӵU{Q9#2AۖI?xL:4d\XchJ`2ȚxC0FBUg#ȲR)~B23m{Fxᙓm], F{M}N痆&+:~|y-dfQRxJIo&f I'(*٪QWd"80@t{ P饶w y;Af.H,pK/Ox1Y nݤ+4gb+zp3&ۆ 88׉ &!|-3BC^+SevYl2 lR8#lғ!$Y bD[NP#~|ѮU f7 R QVƱxSjav3-j9eRNqA/%k qзV _WhGF!lL[s+ج2zP(@EImM.’_`/å5:|8E˖n4QL}Q͉~f5@/\Q]i AͦledĽve6{4V.np9 qmѡy9.TZoMV$=i(y9f%U}lO HmQ|/lɲOQJx~B,/ RE<5VbٿM.R7j2?G'=U$Wv̹8>F.kkד٭D]"s~06 O:)UV\-bL,~^ FQ`MʤlRYė(q׼-S A^/2`0W+˲3Z׍Z{ViNBfs2/ց U uM lHВ #jvw'"{Jwwyہ@S1#&`} GP[M0lw4/ ?n|9ƢLh>41zhu!j2[X^\ױ3SX zVݚjȊL 77) 3W% DInductive_InferenceInductive_Inference.Partial_Recursivedocument.tex7zXZִF! Ok]A-MՋhvG"uIBm5D"@87yqgZ6010r. s@ m;0h- 2RyU ~V Q,w 1T]QíNݯOnq^{Ӥ=b·RiÁl3 f64X11 KFQLpv;u^*K>VGz5|a"c/;|UidRW֟V~('=eSܽbDTz(KF*M )RM]uO\"EӞcF(v݌NHB1%KcD}崎Ʃȅtr/JзE2)cp0Azmߝ2qV@\hr\_ XT@%!~}!>̆]Ԡ{t8`ҪÔ![ǧg)ϦNᄑma 8@iUqF.JD{A-PSlgu%fŊ C.>|şu 33̰31Iɫ[p6-@q[(;.wwO;&, $ DU?RLKoCmge[бj1@̑l$eUf{J [bIG!Md,YF\4[?bYvWom u_Ӗ脔nmVBv/$U"sH'`.5~FIg06/˛3dIXUo#\IWI8"LP0_6{%"WAqɂb>kN%9`hp-&_LTI?+ǓK⳯b 5v`WvLgHagzETlfyAtጜG%x렮|0P&MDkn08(U/6DOvAJ h<\$GWredRT &RoLSsu.P6+t9Ⱦ`6փT6EKH/~ʯ$'Y蜐GuHp_%'4ue+=g:xE#>]V-Xe&a &QPcDZ}%:ׯ:MZ/û6!Dw9!b@Vض}'If;>𳅾܌}Ŵ9y|%y!&4)Q̶Ȑwc"ѓ7Xrڟ@# }tA/OYEsQ"vѝ(h?%I>xy2}{\e.;jOvM5ծ6ӏP&ISD9i^iӹ[#QZA;KS8=6֢z~9E[а$`'zA~9e\}v-i';5f&? 絻fjeY3 &Yݗ 䂽&=0~HopUAu1\Jn2'6y^0^"!R)[0>n nYR.\IBeCS,ab65tJ m"qF{>@t_B>ʘ8ؤOE:lWLyi3X 'ow9LvD~qzh@@sYb+ SfL'@̏ ⥖Wu/1HJu =5ab yZ! V\:G PrmXp`Ol/Xr6q7mĠҊ|%Uwb}pD `W>ML.X,ރtg\3yE.<@aU+˒if d`΃U_eDNJ`̿7Z-xb|ळ蝹aXZM5A=^QpY"'r|F Ba*wkS:ʶ"?7MJy!Bp t<1;8qаq^XT|<|uxpK =b:@| >~C#=ZB岧HW`YV,q)j4ʰ})<,iDYO'A&TM&[__fRo422,v 1^,&HqQz(Ǻl1_S0WiHn%}[W2/%Ͱ|uRN O$hth,E֕~<>`o?p4._g&V%e@0)ݏoL2Aq}K@uVq;=6#3_"?29&+ 3^M`F`ga~s S#J݇_Rp2@Rk{I,$Εy=*0#q&Ê i4U}/WU ZP&J-|{)ʅ8=څWvɦW 6 {[~Ir_k[:SuOێ.t|Ako& zX'fAʡ˷f &͝0f[Th?4jD?vʂD%ox}'n)*%\lvKwYxv" +X3NrtUdl[Xq>wcW"$ѧ(NoukaM֢lcibCM‡w9,k#D-oVNak6%U5w Zooz5_ۂ`hz(wfu'yJe0 X%ǷϨtwg崟PpuP9ULMf+)?$~" Y&45 Uc֙)HD( =US#1簮 Uƌm^r8;zWڜkj7p7D_5\-xiw2,$gj 7r9 *we4E+j A֩lcrqiPIc3fI [5do]a,ʂwC&eaPz5;HZD/m'OV&dhL[>v<@S#FR4%g#72>~PTt slx1@ !f!9kv[13ГM@!>Q A&)ثeS`:<%1Po@JaOv &O m` 1fƿ548@Ahn>P6qmCs1 39]Cplpsbgl>֩a4ŢG : ]G J9 j|.riuڒ#sizѾpr DOzz8"&X|4$9G4ZJ.ceA^=P W:5^n+ե_p#()%A;!VTs!hJ|M4iIsNhI5\7e.St!l2,$z=y WWRvEAy Ɛ94O`M {a;̧GmO_:IXΆ_ ΤT%Ğ*VUVPYuTJңBq@# ʇx,)DkDj=&zlxAsˡ)[\PIB {bY_a"SIq"Ea+k>AwѪ?5țiqfz;1CSVTC=Svwq-!ֵA_utKpYv#Vkq#*`Y*>ܨ,Lu\m/"*:RIwEMǐ+:K?#bAPZ.=ZQT)dZTmbw=n5$"55>I0pO5L&{Jx8QŘOg[;f$FSwvk2{?Ngl  x巔]L$Q"nHLP >LQ߫駣â Ԟ醾[z\8W/d/>4u=@x*?àhտć5!gO9=1+%f!*$gi_q2vSUz=_?Hm)GIk6zbœ)Qx mF$}ۅ2Ő=u;#mXsGqnL ފ{07W%PMSew/18Ugoއ,Oҡ}\3*#"ӰU-*qNp(BC@7o xF*z̸Hq}˕W[~<ކ&ʭ=EudMLJnl"„B$h1_7 X9~6:Ke*q=VgQyL qyޱ<*m(P*1M}孺ؔm;PjKś S6L11L=ڭDc1*WXWao~n= Kncm/>ꊑk){P]k`yjQDսhb6Ҝo_]gP߾`z#0AjI1'7/.w?'vG8|x\0mZn]_`dUDZM>rA,F ^W @ ƭ1 `K6 8LY uU :5_o]% VuKOZoNKcڍ:UIEtkD z}3+'<"$}#XJbg%tѡ}\i[@0u;vU8Kt06 TT8đVmzw5*ϭUd;#Q~19@.ODcلH$(; ]eAYyveATkcDg2KzVZh/yBQ_S! FL[u~NJ'ǂ 3 Ei oۄ;.%$ c묠ߺ{n,!WR-[F/V`8.xة|pս胭2 ΃m{_ae P{ ]\HgI ѝ퇶TT1x3\`|' ^K@"4hCu'u"O5P Լ&mm7 y<4E+X_f֍/7fV bH.#SGIJZ^v Ԟ8)؁/,_͟yf[;. ڮ1Iޅ:z'powywʒgH" b H%^6ay`acCLs]>L;HAY$X؛2ťY)[|'uY !Wʯ[.؀yڤmSKp{DeT[_X+]Pr@ G&8:}} uHhgE?r=iZRf/`)C=M^(oaq,]xIf?:o˓LKx!jhn8guN( DG)6ӅyW3jϴ^N:WVqߤںכƐ@(Rj9{!I˶`q+ûXOZɩS`UmUhb΀y&;VTӁ{ţv;6LН@?Ǘ 6%F;98P}BtyDoܑZiH5$k@ZѴ$Bӿ)nE9 I*߼fyunp^} W:fQcW1"DjtfNTS*#G,u 3#rkP,1i,vJWFDē<5J0MjFdN `$'Q(gl< E51Mr@s43.s9 6=p429^>J=˷+ GiU_Ӳ\'3}²=Ix7NGI7uQoʏb)h\tdnw@ɜ1nѝ&ƃXth"+.IO<2MjMx:9(A0mq̟'ך8\O_/uؽTvӤ9ŷ;C-GU)4Ga*_[k^F؎vGU #ȑ\\*B:J+Şn=B#c|_Y.HOs|( *,604>]@4 q i.3ՋZ0<gƿϝ$)QP"٢963L"%txc6^ZR}.!N/NJmluБ(xkkPuq <{7祶YCzGc~ N% 磸f#X@ !R)2{ k?6{,̕ȱ1(SRz lm !ԑ~2Apv}]3ƥ n֯'D酓s8T.o,*O&ZͳʅYEc|왐⾕O> e"0ךULcV'UCe~ iڰ ϛI轺-`lp‡5 }VCM&{ =5zP[{vԜIu|+MW-^G1aPS.R-ϲge'4., de& ߢ]R<'S ' ~$d45w.RX?E2W6ىTYP=hv±d<[tk ʳT$lA9~m]tP*Y OGm͘Nd\7 ^m 52œk,Rg4 :\zT[dћA8ȊMӆI| 굥,9Wvr#K߹7.c.4χ 1I'}'ï2B|ܜR؃ Sǘ(/4lLGa?GI 'I!#u0aI`\zgJzZ ˋ\o(7of+n^;2Y h}G@էWZz3c/]?q ,N\ɀ}Bsj>yu^Sh+2Ӭ.蠃QY덇[292lĴ>؞E%ٜ9mvbg OTTNxf ՓLk,0_+FU|YFt0YU'jU/JRM6[tizK-dVՇ82Ƽ.X A`ҧ ObéiI n[: <7'b.y"nT(agur.d@&Jkp?*/9sK ", )&jj/BB>vXxgVvلA[?"³DZ D/Oe}0x"[s(t 90pbP( S?=RN 0d /h"|Y-_`U"5A3tmx ,PA7+y(i^~!-G19#8?ƣDR a|p{Dk1I WmJ(*1{L P>-v6 eGa^K_RQ͒{Sɳ;֎m|7%;ĴQXkD8-`?htz8Gw)H hp;o`葁'?HHx/FAQt{zVuׅ( k?;| 32#/tҴKi.@;&LdE#"~C=iAYJLcK< U*,$j^Tv+PT!8glZn@&\=/){hgVU==syinC[2=g!,phwL1BB9NnS1ԡx$X =Y]#k׫Ccwg$8l!I%M^na=]̆N bĭMRB*Db?dA1A|6zbUÎ69aW؁qޯ; +ȁw0viK~h/QsԐFW`8wOjC(Ɯ ʂ /lIэGXOՈ;e16T[38euwY:&5 _4$<  eV?/JBKTDdn'BIqd_y1|u;ނH&ds1&MVRLxx>Ǽ\~8yߝ5p++퇋 ,،SVPw~VU+evQ|On9| OlCh`z^e hH{~$Mᛧ?P ,`I阪,,Δ8lT yvٝ~~0gDWdc# ;NZ%RYEޗwM4>N)֥fϧs&$v;̣d ݞ?߾K[_@95ۘ3\D>_T"oo2) 8)giEF/.*~=p%qqxyZP t "7v{9iR1S-l%֗PK%:ʄ%Yt2Tuk'{/I ]/a֦.O|cn?Xoi<W@qbJ'PU8E3*NeGf璿FmLjG׉;( @)xhپĺ*!L[5lvqϔCݥJFVЂPb%&<_3WɄnG%AH *$r!%ixg="U66غ8~4V*IaX#r.&Pyռ=rгe7}-я?r$R~uV\b6 $f/Hl1ja|>1,92c- x 0D]bsm|C@Zڽ wu[̏9m/6 Uvj,Ka<MY!. K}avhBPFj  v5ن  R GІPjX />}M#upC/v/^AZ@ż , 2/bmGCFvU"@pcS0^ppj70mF1D g|RiF Q9M0$TI <ڏKiWNZE_)X7 ?y=z_a4SVqOo_D%Q.j mXW^~wXiyh?3;M:mTfAMkҴlZYT;n4/鄳1i5?s HB=͚:=y./ٻȴp ugb]eI>ܒji[  卜=W]5-N*q w-Onʃ$9B-/Jm3GA+uf2{ti%p/ҳal4_%8s# VHY=:Q XleIˌkZL_D~2ϫ;;\^"%-;5G, (S߉|aj'i<6pUDV ׬pw&]k#`iBJ|G<%uQ3tcmM[\qcu{ٴ mrfRF:P䰐'1jkx{#'_%3B^l )> ~bQQjw XkڤB-`OU07m$ j&%5"6 fNBpVTL`3.nV-R҈G zBNbzj_NUsq8VtD0WчTcli\7/)}z=HXj=# --/}oۊKNے -3#Cf{I 54-P4m0 JZ&(D}VnO=ILc҆]X2׋:Dr [2ۂ#tV|f&zk'GT'<0v*c(g9{8iS0^brY#?2&tg&+ dx%PQ8b{Sp7MY 8Tg^[ frnFSxv HFs*b-}e!jN MS,II53䰉Apa^>OdVcӚV̧yn 4+@UJy3Co*ȳy:'0`l˸G߽Tm& =j?uhٍ #yJ}(b+T5~7aliFx!Kųu@\| cX$ *l_)$r>o˲#4X ۃUN 8q V0;6%5/v:ͦ$qIB@u Yh$t^Du4vԻ,CRV$Z㝇CX}"-|RH3Շ$KX=/F/J@?v %=b-m)\@whJF(E[2K 'PM&A/ !KbeәԤ^Ba_L%r>S&GHT1|Wuϗ]<h{WVƋ43`+pXz0:mh# 17fhbLKs@zx lzE4"QsAfjj/Ul=h_jI/4|7HOYP4 <]k_p9 bkTծz,^M ^Da.SSQȊDi"clcT`rv0\(k}ޚVT靡`nA1sl0=a4UaXo|!/ǹÃV0m04 (f;KJ"ψkho9 ҇"yYa# {{#Ȉ #lv%o/a큅m٦@pb&1>ZDcKRe܀lEKMQu:`ށ^yؾNdoHU8Ċ]fWpHu{f&IKvwKVu+jLڻ_Lԯyjf#6."ß[~->UF̒GGø_a?7*"޽/?w^2iC$|iŗցD 1Px?wQI],abINwVa#{3zP>1>or-olpcdfms%5G4rnh$C Ko|j}G^ 8y:ZhAZO5(S3"`R!W*mx} ፏRtS5YAa>B87y*l׻˿Q JaGr4 Ƨ;rl R#4O \&m 6cD;FGP/cf娺V#կԣ„ރ ;t1V =`'8Sn%(ܹq5>d@% تB|A(|p1~L}4G3+Lԓ@E] *UG\1"/ QtI¢*xH[p!$ Gq$ /.{Ӄ0o1J~I;^TryL@刴g+PmP}B2酚U(,^muukb̹+$);!B7 -U'raXzVe#ii}=?g,XÓnpS瓏 v뭕"CȀ'F6>Uݬgpo!î$]Hsx JNeþލvHᗯ#mu6E@ÐO C-h]>ÿi= <[N"cYRF]@D=Ss3iIzr8]E+e0љ_9MPtY#?!iq%(QE>3RWEN}s)"GH ~^ZDV~J9J}K@ vzAgYZ R 3A% ,Inductive_InferenceInductive_Inference.LIM_BCdocument.tex7zXZִF! BvKN]A-MՋhvG"uIBm5S-LgcѸw}6<#H Y%@ 0^i~ڑm*|d5)f8B>EWm^aMUyt^!ы,8aTҳ)p]xFv#ӎNRň«\97ZRte%AD+qcn[Dอ.깉E@X#󉩔Gnvx.I0!_;\OfU`C? ^b}j:BxDmwa3|-0ithjGGU%HM<׮8uƺ8Yyj-A% `U˸儰UYу 뮎-`+_{N % x&cJ.)ʼnO6=u(SoWrNpxiKB@&-By7Hp__+anm2?u2n~VXž qbs rN&%߇kbuplyPdgqĖOH/lE a|<{ JNefUJiLJT߶T]z-~"$lEx{c;FUVYt8GٙZކXB`X ESu)D!~Lh撉/>U4Jޏ3yk\1:&fppqbQ!ͣ#*aIHjFzOK m!TBa#3>!5ƒzځ@(NxRZC83e}և0\sFgj(uA#Tz%'t;1t`J- /ip٘ /N5̐=Kߟ? 5G:< g99U af2YW:o~QV Ms?T{e@_AWPl$]1` !Ҡ^ HH~H ifϛX JK?oK' Encj>dV5?&j&yUŧx$&<\Ñֿ~uH]Y9tvgȖRMB% ο >YEJ忞m$;]nu!1>p$Cj:X֔ R0mieRuV[&eРAiX@y^M_/Cئ@=/]ÇE̚ (YU4scxH®h^d薂^ԉb%5]FxǗKxQ x 20Z7yW_!rlƫ쒅X#{jk ^7M R b(d U :#y=0XEŻ@R>7Q} OxH|6[&//ADQŊc3TecYU>=R(g 5:Wg_(Z/dž 9b ivYwo@Rlݻaku^ݮ +m=@#TC qRy,M(u4%:Z;, )\ d0n|N0w#rKy)' 6h&|6t ª[M-L)QU0yB齵ȣ!6Т,.J?׉#:,82sT- uV~Tq z[G+ ;g isaCәT Z~){RA;h=قWװ\ޓDxuM-pC~`(gz %;{q̛#~it[]9@y$^sP9 vswb#Z9_Y\m`뒑o&ngv+ՓywGPԹVO$cFē^DzT=-g"@B0W(.=*(D,R~`I8L0Z\+1dp4UO9 ezɛ³ |!^1:שtson۝ m=%;1[RV$Oڏ b꠩/"ckk|[ 㸆.#Yȵ)tp~G5.?b :T{x|pq%n& 9iZ˓(ͧҜggq(tPYqMI堕"T=rB3h׹Eۏ0 ߢT%t=eiӱ|~1Uc%i 7*p5f_smN5tmɞd LbG=nԡ m*2ƻ0~Œ[?ѽys]f48'_ҮӀ~Bz3- r%!S+~ur Jd^ 8bUs>Oo@} "|3_-=bI;]uc}5Gq6g!MC uчs"N"Vt RwwEjB۲JMɐk@0nxEq?+|k9ǽWp1Skаә4 jA׸5qg@r1)س(q9NKY10DDӧ8r)p-UieLGxC٠Bx넨" ,w=?kZ+b>ؑ82siT̢2x(y4#YvbfYQΪ,6ڭgyo[fmjv#kvsy5 tK5Q0ƭՎŚh!0$Vx&VL!9fU/Kn֗՝Vah@F~$fٯR\`aIPnZ Pfjm%.w&〧E ]@Қ^'Lt "S2&L*wY=owvB6D 7L4#3x)8L]Rjg k\\N^ oeӝ - ?{`zn);+/M E#v:ndL{P(|ՌM#j]qtŜg91lr҉[Ew#E;W/80Eu{؝$EV3{< r*f9 ]X0Db#y UwE]Et]Os97JJ/bW FKS#J^G#`G Ik JE!PY>FEU)!c^}z%f'4 n WEUΉnfJFD"̯#̍7wD,L`خJoRHQ1'TAyieGx>YD }FC"a'\Tq&F5bz.R8ڤ?vHһv#딕ڛXWVrߟ20͎Tm嗺{JAի{Qag  5 O eR#jmK pPBC #b0Z=7mjr"$G^eV'NBwOX^nS]5jyio3bŢ$M|a:?Oqwi硨0iyet,idSh/Cz*ow3+8ɟ4=6}͞^Df Tl'R]qD`XPw_?۱UqX eEp[FS x9f{^` Gb 7sѮsFr*AYL xId\5@I؆}VNmQ㩇Ўf!ƏGEPG0&9[ڨ/F`,~r* 1Baޓ+9Akq? R#U7zxX΋vzuՉVg-ˆ|7VMO۲WWQKGݢ#nםUd:Yd2}H6xF%{5IJʤl`Z vK>:Ë׮SFkPdA:b)fu"԰;SH/H*_lQ|å)T{K{W0/VG4}%TMDVTV AO`pI*Dz7ALG{!=\jJBĈk39کҎ&>Dv*m=V`uώ 1}RJG9?*,μǺn D_'̸lIݢAd۾}-r*Y"eܣBF {\05$H]5!$6̣|DX[f?p3nFм=@Yɡ7o둙"lw5'vJa$J2ψ.s-~'7N@vpe 9q=Çr]3">,}ψϞ{ =oypjh S靉.H_ AAqg+;stcߖN\ӜI5yK6X[EIؾ\Ԑ.%,̭kNRQ?(hϬpru81b_X6k 6&~U8t]EǪgj>X6g\XϷh+ޛK\ʠcR(ՑK$hJJ"ʋhܸWmOܿ/ma~;()2 DHT@T#jR>e$GoK@L}5l,\zVP8?o+ YY\FE&V;pW.{ԣގ(zb|e5*Jo"zH edįSVkH ]׌MY&mV)8e-wA?X\Gy:\ v,cc߸7[ J& XUGQ׻mb饪Xw! 6 ٕbsMӷ6&PSfThw7$?9֨$!zU!9?V@߇ 3'ELRv^44)=M  םBCO$^&|y GxK>??F\5(:W@ -!%{i5;fYINL20-u(ᾅdT.@4!+سB8Gj@ b}!Zc\>NRB{T ȋ=ΈM_.]z|p4{g n20m;R&H~=?9 Zؑ<*@Q2_{?} ?$OM|b."gψ;gYW8[bᓈsSoGۇtTX }9;#ŀG!LE 4 2X)L82  ^<˅M8A=tB> ɪn(dAxl!Q9G@תКd6ĮEnwv1jsU93x ,c5Z+.ץ%Sg!WԌO]wQO\m!OlBaAj!;*珥d[E%c=C+*"vPsP dȐJܷE!맋MܧMI$,{^sʱ;:Xo"ڥ|g& v}/j'3y["f  = efXN&N*`5@6L?i/FPdv*J@P0ⰋD&rPK\\D:ٖ]|%tVq-Pc(N ;~s 4zF'8?2n{Oҳ+Mz"0A12 4k`E^إɏg( uGBfJ- t`b|^MS0X+ѣ/ǹ'eZSFȓOiz$>hׯ=bnd ;w_+{BV;{x%b&$y$u]$q+CRst@]?qA~G-햴۵u )|p)8 gO`Xr]fVU**ʦdMlioO|t{Ɗ<~_>@|&TTZnq}q}."7{ ku2.,u]ڄhAR>s#*yItv:]W'~o0`P;]\aG(p‘X F%yl,hYkkf&vX[ZvOG+R9nrҮ:JpmrPXKzxa rtaNj/6g˜'+#eܜoO#!vϨ*0sÆ ؅Wߘ4uչ˯}73 wyq`]Q,NI|9ghf}|-$9@8cf2@%O*6YH:i!t!ɯhu)^;#aoYkMLA4O;LE:A<' Im| uV6Y,(\G [Gil &WL+ݒX7 hyG$W5W@dd-)up6(rjW>sgOko_F{0 ̆wOgux|`Y+n:NSZyllPԹg6CHCNvs IfYĬ3].53TwI8޸)J[~/TYȏCQYHд>3,8)h}i~PB8. @0v\ͩסJȚm $>J 9UjϘ=f >TO4 R Ǐ@LqMhm}и9 J*HV\.#7ɅYU ) slfl6@fvhpp퉨7>\rlZ!|8fW~HBZvĩ0`fh7[Y!6 AD!'sZ 1"X˃_u^xXl`q3Y? * \)*v<֬#ÐZŞI M欘ٳB/}C6M~lΆ㤏1.`sEjdxڔB H+TlA|[iP&tVۛ8_o3.d0ZTp6\miߋ@[ÏlJ!6T~2xk;n@2<6%.UovqKT_~inO ;B+Z_k s8'1b@lm-fnIgHa)@,=򭟁e&tꪄ)M<-w.`6U u)1e6yM_ 8(Տ`7;] Yf;#F^@ D1*Gˁ_>RƐbeC` Uyl[4cT?FIr?ϝ 7J j1A%RM.< p|MiN')ɪPޒC0=x벽x})>Fc鲬hW2CA8WP87]t"V/ke1ݐ|)U X&dlD"Az*$K}'èh^X95Hi6~8]~}ӊ}=$t+MAL "3dO֥ĩ. ڲe=|4D'mF֯N%:gatzH`=oSiE 4d!-ZH'V6 6(ـ[D D}G?ONjC?\k&VanGoE w Vo%i0[=Q-2ݓhhHqsEl8th^n4C+gȈ&kYcMJUpyxrˆibQ%ʫ>2jG"6cʽ'.ar62$B55{*&Cxl3F;@H<m'>;;K;Y)Y>!>$Y=KW Nt.w@0wn| MyV@L-tQgrORMWNUN=YaH j 6ʡw*[6愈QT#B"daiUZ2#6JE=秷M_5rCWx0`0!x5W)T奓̳Y͖_Hd_|R]c<(fA ʌ 2rJ. jlItQw1.  Վxt'.Yّ 7ZSDi.5w ۦb Z?-Cw3ų:؍=w^=!>'$#q6 FZpiz9)Pj@3S?eINR4fOU5R+uNi:E@f'F3h!RS/f'%)j}ti'/ϼ3g$Q*mJ>̴2% b0KN'z q՝}9wGuq dd3)t>0tHܲ %"ܖKv(B7C&5[Sz-zlfrg&'ž #>~K>`=Sdi%:PM`)Ie(w EDt$,f* ´_ԏ\2k)LeQgGGR Xk} e@&@Yq .WaD$C֠USRЅL*>+smwd>I3 z&2H׽H,6N["zF`J7UvD ^܁WQ6Ɯia&Q` 4z7ZSYs#pzL-$yHcKJ9+LHK ?eqf٠ cي|0e@w%$[~"43Dk0vx ?"CDPaѨmgԓ `\Wf1:C C"g֙!rP+iJ0͍>78Ujl_I@Q=̏JYS\eGduczl##FQI_8L?a[*C[qɘN9Z{iaf~ dF#:3P/EJ "4 UY([G͚4?]&da8LXQʹ @c vF~y֕ X3͎56K?1׳7U wAuki~(7t鯝/"&`2*3g%t{BC1o t)!bz}3>/>8/` P֗-׊1ܣ; YE;Z\O$)i y9/ l߄/!'% f .(N<%.YX.0SeCaa*ILuG;82}܍ iʌq פ7y%zlU^ִeqIhIP)Ry9J&szb9EFRbrTYaKd1OPg?ٌE"^x!^{U58BljoqV]0&>h&gNAۤo5AxE~[?ݖD96FOt_*])m?AX`Yn`y3a%pPWc<Ò:hIu(ۦüS]"g55Xcq|7P$$t8W^ Je:OTLt<_4 ꀶˊ+F Ps\%H}]X&%QŐM*vU/Y9%6!=l1֪U9)4o4 ׅռ2¢l,vh઎_5<=P{fG\+|EఁD/{D1,d}%u=]k&A^7ѩ_EfFժ(W]BػuǠ|F7meN֨w-ׄOFnB d@2k~/Ow3 }.YUNzOf _!rbYi<`B4tV.Z $,ȷ|I$7_㑘UIm`=- E‚O݈d.w)Rxw˒0bi?rQj(~!B \Ĉ#L ʩXq~9^&ef k,s$,]$E:lQX4 pm_ dհ䝂=5̰Uo(WyJ?I  Tl@8n-cXAܢ',c#־* &'7$9+Myd 2 4zSͬG"bֿ){e 'ʺx'Y!-~#?|$-PqDy:dG@r\쓄rH1IPXTJvƶ0PrI(rpfVXqvU׵r$ 2Ҫ)DXV T^iQń3tѝ;0K?mnv 2ݣ_;}*3LeٰLMZv QƜ( Ê/a' Fo:K0D˅l6.E-_~ 4"[tIV)SK9U9M5gBMZ݂Z,zrd.DWbi/fA[MkAvԇi^;Ym0Mg:e}m'hjK-TP2'v{CQ8I4=۞Z(gX}x?lyr>R3F\\&GG`P,*8 Ѱ{G}Xř%Ÿ4ITi8 y.o8ZxgTzEA#IVhh0QЩ47iT`vKjXܗ!tN'ܼW1du ԛqG^Jyc'`)v;O+Xo)]k0_| eھU@Es! >?r4(żv RL$p6H9rKd.pvԃa3xf F+U9̳(&IYx䦒Ev'NHQNV_"Y QXT8m=. BJj.tU(y1>F>OE^cbY$W.*PQdπOJﳮ\l M&n=V7gak-7-gNʯXEB]/|:>uO> QS(ౠGDS'0qDW AhVT 0>1Lz!xu@ixJw1; }sT$07ꅳVj(>:3,RLg\#ǫ#Z3 710[f!(.u-؊At.BwvWk7WZ Elv?/8HCrz%kE1 oipF$XzEzxB~ŀ<<@nc^ْNg`_apVx 9U-Q*= \d"#_gx4!f$4 hI=,ױHWYNHAҁq2pll=vNuQKKKM,q* .&\s n@Ml}ɖC36#ls*~69;67C!ta|aiI2d.ay'܄z)@6&X> BOy EvvYY5@9S{S`",J *:0G)w+!w8EqIߧ>*f9.eXgSw$,XMEoۧ^ {eѢ^AB!ZݿLѩʀˋ#=C3C?ʻZE4Qú+nQu$䶏ԋ艂u0;(;4 Y|J<-^y칹+* a!jcs{ vKen5݇8jO_'dw&/fv rbc>inE茣>xZD%Ǚ#L k!+=rz2ɊdLOF4S<3Se8w6a("!r'3s^{Ԋ.rNB}(m -iP`{*b8qcߜMóu;(Lj/ ?Ѓ(ģS6F̜s=``žqb_VwżȋzԤDMg:%Vn$lݻH͋ء/9 +Gi |D.34Q" qxU o҈jĎ6 b1u&#ob}bF>ikTPPwwf﷐ @ym`\_ + 9 w5 ˹sQV;_H]9f|Рj#}}es0 .t,ʸ49Te 5| [9H3ujPN?:~c{/t[|GVХo"i\*3U>uu@ob$?] H룳a2 Yxz{Y(7vaFzuYzGCᚧ`g՚3WNu8 =¢x:uX`jyqSK+l E0R9 V"oTXzfO;J &8{MWޔ ک2({E3АK{ aw<"}LؤX5.gXoWCm 'zU"+$Ky7g: iB{{.ЕEI?a>bx+zUG"xmB8aA]yb_nH lm1`/8UFε#c q//Y-w,E+@#ODeG85ʐI7{Ee&Jg36W0Z2jAĥ#}GuT5zIfYX~Є>[/m]3zE;cLG*GؕfJVF'v0#*DҞEE \@7T֣p1歰dD[v< 8=y뻘i$ HJ// \ б?uΦz,ZD6ui (A;nHXLO9%MNgj4FReeZ]>{DX#tW%<Q>l;`e^bp4~.,Ӥ]4N>y Hq. VP~6r!MϤĤNړzә9 1Ù EpDXLCFR=f(y :c.G,߾OqCbڿὅ:,Qop+r]Ѳa@ J Z 4ǫ{0i՛Z$}6nY &t3PNo[L<ז8&p0w,j^U}矽N=ʝy\{6^"[rA޾TIPHJS9PauQy%hV *n!]HP`LY. QK2ҟ/褲 &hXb#:\n@YxDhC"a?ߓ 0Yı53pΉnh?U[?T0" m?zsQuFdO^ S=hr+̭:m3^nOd,+YY8T!)OjIRTaGfX8FB e(,YR65^⺩m|6[<՚X(3ZuFbHc=e`T57/|8<$ʰY j~;ڟ5 IӸPNQڔ:@%p;p5Tdllz}Rqܲ0h  H6?9KzB|J/+Xf+x0\yG AVflkPS( ~mJtaXj!ՔH: 3)Cڍ@fTiKl5p^+鈟XG]rkGq[ eH9sH?M{Ȗ^zsӹ)qn-g쭨 :n)/탮PWr> -6?SOfz),£ rT *uxCYXC6/Gӧn(%3RfmJېmr7(b耭H ג<*ƍdNTܳ'߳ *KDX˩acSrqz~C7cz/=R[omχ|yAi=M~ G|Oδpím!i3rOPYHwbi.=b%p5fq1v˧h\R@WT%dIlϵ*X_}Mh&sv,aqKd:<p< ֶZelLjL ,V ͣ~9ӂ*ldZKF8T, W}sYZa_ k,s_&>3IF%dO6N%Wg tGn!I J-5Tt\yhbIV, 9}x7JrD\ z(9(TpXɶ~' w.ux\ "h_]J)I43b+PďѨ-V0En%p+\@;SWJ fqBvA #Hg@s)ҽc|Ys^ <[RJvѧ7b} t$l,?kN1wd]AqjAopecܰbRn-fN6վRW[|^f9/lڎ|c|jQ.CGל-94w|=-?@#A=a;lv' Y0>SqS 75[sƌ2Bty)pצq w|rz_mSɖ˯YA@@*Oҝm'LiEXA` l őql%I;j1vlu6N–eW>F$OJ{{8?%z'dE요͌e܃l|uBs{$SJde(=()!p@]=Shr^][<=thG饥덜+K3Zj1o'֑uVPty N!oE_XB6d/K$*&h/jFӔS!.BKzI.2 eՅ-*)|[8S,CfEN_ ڙ.i?^Ɯ+?W+Cjs/(~)  "7:ޝ]5VJ۞!c"*&Pm4cP| wU&ێ͵Tgh]xcb&P+^鉊ƪF ]7AtBQAՆi6dM ڪ[\e|u34@|*` QL!3"h_ 7Xx7zS#l2*yʨ~< #JpG ׶e6k_\0f4NeOtk7շO94g5\=WrEV = < r㓘`GU[0upZhL s1s3bB^չ=8Ѭ!(2[a һ򴷇в:2ϴ:16!RH2c10xE,qC Qhl0c0- Y׬L*(c0 3'_@Sዪ]|Q~9WY4nz1>]%Y.RXYcekE!ewVGH_ B5k!2{[cZc_Qlxڗ51۪W97Ͳ~߮"5آ%.͠?3r`v P.َtJ: 0#*ڠI @? pm= {wCzf"@ck v[ `A5+%E5RTp҅M3u@tV}G:['U"ԸkH2Ҙ+q8_ K=Kf4Q8yWǵ8Ժ{NK#m`󻧳Kf5Κo- j8`2DىYyu߼+X !;`tMT_t4xs?rDirq+Q3wkݸr~V4!&|&A^I6k}eGa/ ?'>[FYEN̋F 9ՙV;8I lq'c蠃݊-X^x>Z!!!B$V 8뗦wtTh뮌FpR<1̙C4#^#IX H8"`r'15xsNu*y+ #eY-ܾ~>z֠"w-u<750> -d*K\]9%є@aO޶M n~殡 &,;nxr%84p~sHVb\eI취LI„-,OEBdSȈާ`@<;h#u)P b^rǯӂ@-%cT%?Tab >A)]cKѹA"2VTgqΊT}3_}h_ÿIq&.Swp"8УKפV5C;y6Cq; =٣ngYZ z 3I% tInductive_InferenceInductive_Inference.TOTAL_CONSdocument.tex7zXZִF! Vt]A-MՋhvG"uIBm5`vHNw\~~_âU5S`)GHBrЀ|@q$(`"|>҉_&T7 n"t~mf,j0dz&?TP Z[ "#9YN+F&MQl8R+ݻ|#+Mےr-~G],ǃD㯋Qfe4[V$:2N"Sl\渽~ZLN;bjpY;Q;s[0Ԣ PD~~CNs|SJP{F/1BgomzFZ|yRd0uDBGϷkr{Zn-. v4Q,e눌t| 3n}R&H"QKQ}Z)}x(ɺ3CEZq2>0E3%!ʻ4L]=z~ʐWMta((K'X_b([W׎*(%r%VZX8.Dh oU}"t:W<ڼ1]7a^r\6j4Q]%t1,엺7YNR%8bXIPl5ڧ$Dq|ysg2P8(<-"%_zqv>d"it$Z{|FSܗ;vZ% *߅JQzB>jZ;{.BPϧإ]oki ac5N1ϴWo.J qkG/% g2rf⳹ Xj,[! ^O;YQ`0``8nlP"MSczo:1ׯD%(G )(FyT>pSr* R$@.1d6QM)3'u = FPVvfMWIkJ鎚ͮwU|&ꀦ(o:,Ī6X'41nGM^LtuQ 븋$ՉUȺbvQVCbA-H ~mn b?iBٺKVIO<Ӈ6дPc6+/`rcԱ[ZXv#UW:S>)pߺ݁tj\#3_?(끂d0 r>EPT6opL*;ҝնO Pmᒧ5w!TqcG;5Ƽ9Fʵ+Z# m9? iYU)[\n񧤦luwXdpeP3)7;w.=vuZ"劣c6aC9@BOr6ƒ ? +zWf Fʡz iHri;:1 uPkf ݭ5ro3I(BWڳ5ցV? fE0F.~V#;wYN ,OJ6aޏYrJdH'h.|XRRf=9vY;,):u#+ Eњ >Cء3]0G~`bWG8hm~FHrDW^S1.꺘b?;Ӟ, 간3i<.ֱ`)> V,^5ۚI?Ƚ>QEڠKY|52]^A-okD:F&bDwvrob# NP/R 6 ]lZʗ)R짋J+2z ő!ćPYCaԓ׼weT۵M`FҾ6n``G VLo1sO,}4qW6գ'{*R=(.Qi7 絘Q{[[`+v~??_?ܷY Az*LJ!Z`N:Hv nU>bn:cI[vBQɬ_M>t~c (s_ҸaDhdWE!Hq2{u$w|G"*̗/ ~V#X;>m xG5 ĚUT0΄ jIRTw.Uט(r'%2:.wAX;ޚWQ|*L"A4)?0-`݄"fWcQ?ćlO֧7wɊ0vҿ\Q⺝¤hO7Tj3E3^OժC1W؇RR,yd. ?e'J4!/F끬KR_{چnvF~M+4cHGT5 t_ AW-r7?#{[$vBu?IJ|{WI)a~ rX à/QƊ2nMZ(}P녒F,kƭr,^ʠBD=jr;Qu5 UK:zmޱmKC]5 @k~~w-Bٰx$telUKQ7v {}v֮d;=jfQ8V<+wO96PBԒȚΝrxB>a"rfE~&l:_Ctdcޠ0" p5щ(cyCÁƵ;"1S% :j8À(}mHMuD$GrZ&WZyNıdjox]j:fO}r{P(ciU0BγSmwn}La1Eu`?are5vd--w"\W/ D;}( X]柬7'ˍ07KhYa)0`}6.Yc>:׊ kr40~ۤ^d3^ȵ%Qr랝4N P׾Bl #R\v8!np/wDQ>= y_趡@WWvjTBsioHc =ۥt eh϶IK] WYl_4H/V<h{~-\:fdS>uy?j/&$:ʒ؞TvCkl@*Am4ZXv>D Ƽt^@ Q J7p-H~1!|eȵӒ' V"00K%ڏH2^ D]V@% @%x"G˛} ݋Xw-ڬrg^Cx7ЌyN3Ltw?}MS1] ugxϣحfXZj3B\\Vb$υJx)/6A`ǹjto*e/Jjt|ӌu66FuY)$ZsC+k#]aiicLgYw;&02Fr]$rz 0`ALQɂqKwN${U1cQD%|ͅ&om6f@H3G.;_`=Z1E*n%&M;T%5x0y1 f䨍^_Ph#;\0xSȀ_{w@oԹ9B)aBL0B8}4>K;:Ytfg}/Q! 6bG5oh6SO|(v>/ݒZ9ZuP0K)oA Yn RvKL$*f4ɩ +,yBq|,+kIc̝r}@X_t7 -) U Ynfz<M-Ɵgs(*Fw: S:;ӄ4;s! ᷗz·R(+ȓT^|Y^6 vzM*pg;bm+=iXeFd`"2¬k$ z~+{ B-v| ^ᅥ#q9(ho]aӜUi'6&=LDž]xpު4Ny# F$*6S<9]p\@>RtޜTtߞoF?AI=E.lg$hZA#'c~>M]>ItZ*Phj9&yP-V'غ՞!UzAWgЗ~vH^'+rtyDZ/+XiM´kv0[0X.W 94Au Ggnd[RΏ~к 8xp~t8>-$hi4"o$;׼6@8{BDt=7_5.Pe zyi+ 3W[y^W!yN 'UvAh:ًnZ܊")y.2i/^-oo;i3HI"AHP]> 2mLd"tLOs'n?&C-q<Ƚ-?Xƽ]TCNtĆmBfN{ zZ}kH.O@VT&Wϙu*H |q'}y~8nE ճ(.,"^x1VL0 WwA[) EĀEaiUSsssPhXR^7dtVaX4À榙&zA~Zi/f1>"LP89cº EHzkJ(q|)$VD5D(6`h QioƆeNm+ȬN!5=fϝz7[=|xqlWO@ȂuKI>M_[Uc>oLc.hǸ`w/|hjk3,nػoS!mF߭ L@E9h |d ©|u SӼ 9-8p"!LksG1ɓݍחm #40Rh@ KB & @Vj`ڿWF|GbP%ɡ9]?A39_g2L$MM[?4~{:dO)nǸ^(UΟ|vC ׯ|b-6</qɷEHCŗϖqj6)^?_V=#>%;Ye1<a}4DsYlM%MQNc^IVvm6+:Ĝ1g)}{nbs(rd• ^D) f`ݓpk<<`z h|oh˔߷>;-K?~ `cnE61/ҿИ\FP`"lԮ_ Zj8XE_ 12.:<5IZf+7ڼ! !vn z5#˗iTR-߬tK*<8! ֶk(Ǣ,|0Hۆt dzV O2YWH;Ť$Br HbΦTȾN D/(,,˔У}|-*1Q($QMFf`_%nJ{c1ԭZk.iO".#H\O_0>һ&b*נ5AGp8rh>zH:V_!Yy] k6<[P0:E-)CHz";2M2PcJTN H4vEyK+Q E#k&ʆQ/߷,'fEj}znL6` ے[HBs+_d~CpP+nrubq!5Kbrf9\YXcjaW ~Y,F a9f >i@">+d2{OFNc:1"cM4L=Xe'V $ῲecw@GC'.G[[ar `ʌ;F%^$@mx>M."U]ɷUV;"k-:w kBKd?콊*vI—Ʌ{\>#Qds1x/k49aeҒ0ߥN@/c!i{+N Z{V>AJj,UJm :6&3]dY}^58l:,d2Zh2ˮwOy%W˴kHL lyݳ Yo.!׈<#0+ bJ,*".1|HEA4¯Yš+_RgL ggݔ)dasT^-;ߪ2&'؈e ߯%6V1,۹Dc<,;p+$ sjh5RbVb!_[+ށj(&B'ҺxNGՙ+8˸ݼdD hG>G~k8WDp0P̂/]2Dm[֊q1Iy3ن+J\B:%mmN gM&rʏV3=c~^(Zn7W LkP2QAy4[z$uȚGu&MC9{{?j3[ii#Ո/VFk(ڄ x2.$l)/ z& VʔIŽ˃AjX D5psmmR~øT#Kìu:Q5o$| ]D}Bj.NŲNuAIDfb^y YfC/o+Y̓@#mҤ!<]ɨc 8rCx4 # c:ҲG4+Zs6zsD?$^O&E=pp3FU✥hʹMR*gYZ EE, 3E% \Inductive_InferenceInductive_Inference.CONS_LIMdocument.tex7zXZִF! 8)(]A-MՋhvG"uIBm5] nۀN^CԪ% y>_f!)+_x?] ۀ"qO.GG 32PN?@tG K6O!YN"~v`"iaivzW86<%N׌ Ȣu x։NQ|P3Ԁ7$ a^{)+0RL_[Ӥ ͳ+z1.$j3TsnW (AJBܔԵz}nt2Vb%bt CWpGI0MXڙ-ӹ&PDWdn ra@.?Z؋UnH 5'w;ۤAV!s}Lpzn+10-2&6!O5%wt4IFFVz.S"d*(@ggAlq=2j+7FU)!fLh)pc ,+H> jQ9nrD[ץ|w ))55i8}Y ēe8!SSAɻn]_/Es 67bWd3.lB]|?Mlg1X)V=ȟ} ;[_FӍjܔe2mVE%"3r0+o[f`A@wP,W4T]4ن+>8Ȑ#?cvY`LT:1VC&B"q2`/ʷ;|ki[D4>P/v:r'=֎Hj/7$ ĽB`:JÊv\b}Nժ$d+u^(J@q| 6H Wŵ7QiƭanJ߶Us{]UadJ/PK@V9Ц>WF J=[3Ue>)=kJ<**Ho$7dO"w0U lfUvQ.FQMWm}y徭c@,?Y@zl?m̬ZIL"ڝŲqa4ʦŽ z;S0v&SaQA6M[?@ʖ!R%. O%Z1Nknr~$<"\Ot`xD y+!&BDb_b;|TA='q= OYIduBOR{ڄ H`Im^ڢ /4<`JK5q _cd)[8Qؑt`R~[A4tp 6Ey6fe#,o-gvPUVDF+^J.mѴ*|ǒt2 AlT,rf\n6b):׎7բ<ŗϟg,`RТR"ϻwJ*, vxRŚsًI޺D 2\Z)> f?H\~Ƃ uP2l?Lՠ}wNn/~(KVwbTD;ΐ*WL =,N^$ qÃ_I! Xx9CјڡEؠl;}M lfvuFs(E8FΛ΀Ѵ&uw ЅT /4NHfC";kO <T}XE_,7N8(dk>Nw[Cߴ :ׂFg+?Ɖ_egɟdŹrׇa{zR<5HKԆPT598FRUg5 zX93n 1]FxV?B 9,$sð8vEyoYys4ݡlCߑWrz! pE@X"'{2Ρ6Qrah\ Ä"%%&VofKV=jYMJhZ".{3q7^j!4ӆLcq}-s1\yzyJ DD*|+7f tBMN8ibSfEU4.q+,*b)ؽ YAEdW(c{r:$K{G vMK^ HX!eⴰJaRejaD`^3gv2"De˓[C8>4iPo6y5?iôbFXeTfqL9'",xȈjt!v7a Oaފ8uΏro"LeG-(|.QKdr[GY-*u4L09'F8&wW5vIl %S[ߩa@R}% &} *wш ? /GDoŞ"l%cSdQKc4$UBn~70S[)Y0d6|Zh|+ J{mT!RF|aX+/+fj7'TD-[Owo-v_[ 椢8:{0CI YlH˰p{?73Q"N.8")] ]Leko ܷY.L9&+A|[U$|b(Nq4H)ᄉ۠hKlnXK 8>F;_ ^m_ ( ^|y^F7})ab|]jWq7]־$Tl7Ψ 5,#uQl&;zϝa-C՟F 4O" s8h2m /)2*OfX.Щԉwp^̑JǷYO pI$CM]̓Qd!n*Zɓxp)V}#HbT+0q` ݝ7xM9k#S] <(&NqN?k9$QLjhIVI׸SĠNy*4 0  o#$R5vw!JҘhtv$echn.apcF@a}96 1l_}|>,gѵ,u;YWӕ*Y02"JϑmlS<)b&@>I[4>'3qO~tKtꐧŪ??mI fCq-)A<6 <g/yǣl6Ji'\;ؔ|uЫHci0Egم'#.FQm!,=htN5l ;d7QT=q@Ev7kKf못GoxYxӲLbC{'ϋTr:KwbIoj s$E1΀jg\[ẨrHiK|>(:GF48ڈk6@Urj]g$h1;}ۨt!8JڲvK8ˡ9h=< "ڍ5 Q`nyӟ /=x")\"2i5//{{b"f.h4wPznQ3)G3yJ^NX ꤃AvZ/ acTNitͨLoNL&*adX!hDC2C<$ħTbI70 n`?iNwA8-bq3^ mBE-{}|fىb4F\;ȉr BV^ڧ՛Šfa7rzOcȂl@>}+E[}ӈ nHAò %exaeQ.id{7ǂqv$35X |GJJlMu?3^hԲڣؕ2HkS̔}Y~Mlr|;|6H l=>ZDGQ{潹!ˣ[ ~A8:?0`'5[\WiPO(fV6ClM*zPwhOfq\@*i<'"-ջ{s7̀$'e|@s>5J1+]Kv\iG.6/c&;h7 [PUp<>hH- &3'a W`v5d3W@Ç!m#S1bͯDsſ_TdE/rB80߱fĝ H]Q ׈haF$e(rlF2)_7X~ah(hN{KʔW?Н g7i؊ݏαߨlrQnfB.BX\lrMtȷ}oUA8ø$rݠaHnr~:Ȉܧ5*GXN7:\y)O+f7 +O=H%HMU_rS>vPFa$xsA?O ;d50tykFQ8"˲c {q|,"7&/hY2mnM_P1eB '50ކTG`Q1LR=a7ۥpѺG:RUnG5" (dzN]MՖeEPnو5i޲QT98 t#ŋ{O/"86J8EX rGx.FiD=vm T˾RX+'mZUl^If鬢9Ej]v|nMw3P$5JO[lggov*}A׵>kHAL _<`W:ت<|zM=LY'_͗P‘{/S~T<$*ҽCqM|}HubG`Ճ޳V<*ě Az/7^EMDT|$AfpGDKHq/kT} mr+yNu=S@uuY- #xzzTH Nr^3hï7O_DG6kccN5=(XWH'S: ~pFH#щE.441)O6[Cn"a/<+to p uCfۍP]7Wtjuκܰ;]:=Qˊ~Dp`u#yycok:p7!4'*l8toD{/b ԃ9r,֫Ɗ 坰wwL/ѩm.T4V=Cj Z|5>Ttm0bOͲѲC>K  `|x#8 b!U:Ln&|N|^ L1y@=Vi σUO8iQ!ڧSo"g |h렢w"ʕ$xX;5e-:%I,G~)6:%RTgB 9-!rH_`xPCAor ~{*>WT Z@iplGi ?9~v`L%ALsHBe%2')WB >"ΠAů7=WP".g!$zwS`M>7$/(IfsdB.zA~%|ijWSq1ȔZ .󏉞!DT"qݧ׍F'K]2@? .<_V+^'NR:vw<#dy_w m|(VަV3;|$4`ҬO{k|]ѐ2 5T w)Fn̸ҕ{kX{UB:eXp ܨ=H&/i[:s2|cuW!zԱ6yY'3:f+3&O yl#6f\  f"wEaDQ$FIs*s{>džA?HEhox>4#7^4ICZg fq,Ɂ*ˎ ݆%ש/} H-i񆜻|Q$ΞLɚz;{|Cj1S^'Jc;2>6>v &얅K?Ppݲ/D>L/[(A/pږ!"vIS0rk;ͥ_-eick4qWg''[rXbf;+bta/εUapF" Ra8l)ݖ3-E0E8g@*Ht#oVg}ǯC48iJsdֈYU!Ђ 5A+O9%߷juMw ~pj>1*! f Tje\tnwfUn' S)zޝ``y3 _]/ vsPUH <_Г>'d0{C2\`>j.LzԞ jodơsRشh 99\'avcimgM'h[[?~4?]6~)% q(HWc-w)= =Y$R)^Y}W2fzUk~HV/3?0M59]p}lQL ߻6κ\[J 'Wg`i{¨+# g(Ҋ=Cܩ9m)VIq.N6@繵 2h@zF`̺Gz'{-ӆkvo}2ֶ}=HJd8RɢAX;Wq]qB`IS6Lyi|8szpj MO 02&jB4A~EA*=z6 jV#V"U=/6IrP#PjZy$}ґsG^W' |Em>5* AAL~bƃ_^n)Ͻ@ K&5f P_f Vl%V{T:8t|XS6Hʿ*o5\ЩvHD3^xL1/> Q`X9@D2s7:|~[؄7>MYB4gd꠾R"T\IWFNJ @9~Y*%2IWP;5MAAL=M~V7AT\SP垑WF$/x[RW ը7lv*I*B>w!pX~IF2o{F'[)<޽) Ma2㪞LȷէY po Kp &]IX2\yIVAXE)8hOLSY}c]p]}D"\Wc#nhpv_`ƃ9KA;":rv#_Qзz6 A2jc{[.L^FqxMeLJ Ei Dgkt}E;k̆dZ뢚\\!ӊ|9&Yc7#ս7uQdkA"dQcհ [#szWnvڟ'?fI[8sNG*7! =hTRs@Y C jeDv 9'sBDsm-f%oM1LI LAS {ؐO#~<uf*Ӵwi3Yo=F&tU5+ .Ky3'ԶwK9_jp#U}:zSXMe|g,+C c W[:Tb&帶&Jݎ'8K(> B϶LEW_,fҏQ52tH5yzfcPhLڳű-p"]kzjIh376J> $˵,^ bt4ܿ<;sa`v`_5-3SH ʧ p*xXtVD!ő1FF$W&c.QvkFFga; `4֎e#`&}5C/魭s]YPi0 'p˓Ӥjۗi~ mVtj@>b&9lٹ.l+ vt{T6>r@0I!:D=St㤙K1dߚQMTev>6?:zu/Kٷd3VKR$Q0gh;LeHy LB+)V4D#kU~֦h DђX -]8n7g 1cdӿhy(T aWZ!Q@ϰH E7Z>J .p+z;}w 9P_cQ?'^O톱݃/p/vI.Qh"v%OrP:]Uu7X"JE -]\0Bx4riL%7Ⱦ{hsFG><OD+J>zHY=x)4K7jzw$a񅞤{a8@!ی{ gxsHu{KjhJʼn +R6cbxa=wͯ_LҢ0"=AR3W6=+Pn=;<(9ԩ S /| eH,s#h.2& ୋ) bHw@KOe4v5f{6֊38dHBLw {M f 7_Y m#t13,))K˺E%W$blM+Cڋt}qGn/krjաxr޾KHY rp٥!yH>hɗ"$܌r'6/=W8^]&b|acmL XkjBԍy59;Lex0M},>,"A򈬾rI>@cɅgqZz_{"yvҷ9 +963qS 3}bYЍ%VûgͪWv=п@ʁXfܔ xf=޼m/,ZavRB ~/dK dAbɘ{I=KSj ѭCyGK/i2 r70uc:̄`xZ,9;{ K k切9 4w" oo^ּOJl߅Vf <:x('R2]G;^y\Zxh@LCg$d/|]FIT2)2ڢ./tsZ 8$\7fm@@FweƷ !q̉dk9 PB&1.>$trcŚ&E*:y>rVBpz:/cEx4J%yqLl#2F}IYc ytdC̲|͉^lcްw^uǸ$ άpB2aR;I*>b)RNc%\>K$>E@aDGZM-QWct[w8j>Ώc4a Ò$,>yq.@Q;p;iu1>S#l .Dc9D*5Nsn1wRÙq~[2\ %H9|ia}w*D.CcU$p:]KMRDdAe5ռ4e'Xf\UHYU}.0-:ۙ_y  mIu- XƧ1S|{jhI׊ 16M[ൄ,>d,Hͦ @n7So92)v@%dQ?ԇ fMSlL%B)ec/WUC?/3竕0[=0^tN@ ˼8UqN?&nB ͺWn;c~Eyo FXaGXȼVB'3?bE&3ti!Mr\~;2qn}6j!Los 3AHJc{)]['{kEXg.: Q8:GH+![LS#>' gX]>A;, q]#y} ZdMd$|SiyI'8rCtw#|oVDȁY*:VQ=Pn~V;D6^vyN>ØD!\VzD(94$? OX,hc 55ⴌ*#r{ /lWp7ߋAq Av\~{!H # _DYҠu1:y7Y}trYyW76V&XwϔRU߿sl%Ye}-9rXr/a<2fP 6Π+ރ?Ŝ#-滆_?ο?:b6(6 R+Mlja/}ٽNYPQn{6%5]hBl5C"DZ7(P kCJF&ejwȎG Jp~^F`q&.t F碋󚾋JEP~tl[uC\ j)$%x#QA]뽫iɱg=%X@fd70knbi[Dg-X U 4P"D` jN'pUF% lVS{+ݠ<Ҿ]CyV:gQr,lnCoٞBwOR] UǧcAEZHy(P֩=&%M/fu  **=4,9\O8w~NM%Ԇ.]XJ~B:"ߜ'ȾܚER?n*4NH-1A8%oj!h4v57 czg6eb 3-[ /Vm2a6#t?'uG"qOL 7Xe wYy8Vvl?CX`lR4ED2SňZt[q|BX ʱgYZ kkx3?% |Inductive_InferenceInductive_Inference.Uniondocument.tex7zXZִF! []A-MՋhvG"uIBm59sIh=@> Ոէ!X{Cm jD 'Ns#Uf87rψq;05U(zfEdl-,k:p,] ч|HӪ RLWA>zRWw ǔCvĪy+- / iLQ _xD1QceK^D4Qֲpi^<|9꺅4uI$%Ebר4,fZ_wIʱbiJmU׮y YLR|t_๾ɢhS{wYx򅀳T,Fpd0 j]pkSyhT4.5-/ ^X;QZ"n1e(YUF;bg3ם@.=AuFm@RyCBԘT6qZ# \=~[_zL%!o,O#p<0ۺ6uV9/=C} o6k2]_kf05ldcd) A%OqCߧ{+#ˌ뉔X-%)9S5ȓo^/5\D@"muNKY#"p8\̩*sw$'~/e@)Eb^ˆC*nY\)Ia/.m"W`#\jEb̲oƃO>lЉ4y1N՘PLjW( Ձ ѬI$"f#Mػ@RKw  .ɫ ^>:YZqxT''K@59aT1З9`n&yY&MI{e1.̽91"3IU~bq?1^-LeCUhx6Ȁu;3ysN3]';Y 3`Wp*í0XW/棅8j|=Nw76K  RJn|[8##ׅs Ԕ3Q7 )*)QvF1z. E^x /Â~Z\@c%<~8̌wmZTe#gl&vڥLtCTs%z 3I% tInductive_InferenceInductive_Inference.CP_FIN_NUMdocument.tex7zXZִF! iFq]A-MՋhvG"uIBm55zaLAG*)%"~; f]N s(Iչ`\Trz"?Jҙ _#$rଥd9 ]8*>W2:^gQNYK(\A ?H"qdgpx6zʴ<"/U/dKps;SypK1}/HZΆySM>в_ieg+ԗ yW{^ U37.ffHq͹sWO#!ZkN25>@Utlnˉu\1,05Vw,(W߈k-n4q/oW&6ilTj@;xQ9xmm-zTc_;*RBc}fʿ*|h=)+[hC6KKxjMC<ui덭n~DhM~5mJ0Z7 at1yEl^/L' G0~s*HDRbP. OsScw^RqͶy(w^y,n o"~Ԇ(!8p?8i|$x1&i Y q0ܗVjc`&["_]XCpUӯԊKWa6oxPd A~.p ̲6Su +&Cz*ӑAdL)_0R#y.ӽQk;-GΎpNF߇ xqYsMr86\+kP,56S#Ftz?25ږa-7_*}o"U]n*6ZF%a{Qr\wkgqS=WuǪWh8#˂ $2ՍlpTI'hy'&7OxƤOf*}￈ddNQm_e~D^j>Gfx9RZ"eAioZ HsQaxO 4{Z|R4 #*)@ǜ_K VhY6Ɔ 3KS"6Bx9v o݅t*%DoblCZuiv9h~KeM1|n^3CW>ܳf 6'i*O`$Ǩ w-DC>!I|[>.߼+L|.9Nb+Yx˲N^/g+c]e aYz.֭YC5Mtfm츓? f6@sN>j=JZ`1dj>N+94(Dzl"J -RИĔ0W $d}\!yJvqlCE 柄=}#LU,hUQ ê[..BMcyD2" rIQKk"@MErFc;/k( |=&(1eh$oPn+Vnu# oJq|S85Teީlld[E =+im4 yy9E/֦n^K=p5sB3;A-)b'"8f ;4L0K>nym}V‡CW=6/ mzhj`gS^y>YNXDpj?$HiԶ٨)\P⚵ȑؖeJqy8닆,;g'^\ 9MjzG@5.K`|gAyu/Of¥[ݷczÙVP#A5Dݽ}4{>j(DPqB'$|_Bp&&^ U 5[+e:GXIPDbW:;|Y0VN<~k ^AĴhɮ^󄁄@dv 6tESBq{heɅXd{!rBgB^yf .cdI2ć|drq.]ۡ6ROINOK,t=|)8E|<\5sm"cMS^7KJ^j$ AM))|` Pu('˩e=uCrdQK:]glX.Z0!,_ )P /}Èkԫ͎x|'$ erlrSdEm(zz?ɠOZ*^0)t 5OB;6b|Zftfgz}BdJc*@Ř Ƈ% ]ӋZnݓ2йBT |aw<4j>j|!j5Nj]V7j|)U "O=C@4,tJ9T{H) Yڢ$}p&S}?˅ m<Y[(]b";,9 *'GݖQcH>%/~քAI$<ƾYڏ3-jzkQ;MaϨƱ 9PgeYP|'; 2zp!W!p,u׎}OiɅۭ?_!@2! 0{|o=u!'wpSQל (\ud<./, 0D&rKV‚1ZEۤMzdU%_&猹)Y"K`1VhJ9{2@X7Cpɦ0^Cx޵W[ы%3o=y_L DDgqx}ǡC Ŕu. _{((A_Z&ķy HQz䄣Tq i$fU.\(ZxQ.( m94 SCVe9gm[߅[; |8uŅ}ū'vs.da]̉VwjO9r9xne6k}+)w<#^V![ V`XWqᐙ#e'vJ\=Q$lyVDl2޸0&Fw PUOѲ:&vd1KdႁL8 %(yeT9*zZv[kDmDzCI|ܐc!ާQw驒ImL]a IZ"Lr1+ʟ iu%53aі/ˍP6CNp+)"3b% -z[FTgFzX3%A$J2Cmv>ܑ7>s{Ӥt¯eƓ_ EN,QK="]"̟%z5O`A3{h֞"?S R;B?` (^5 gFXKCtE g(Pa|.E\إN"(x׌:H\Yk&#0R2$uH6b|>P{X@J|'0!|Qx|t|qr ƣOO BelGdq$c]1V*Fa2O ,;1"\ 1q葖)KCϣyk:sp>/W2H~>:} BGB;[聽kS)dP!|ute嗚ӜH,=Inμ6 ? 9{&A+:6^g;XE26AP+VVe6:jҦf[@b+@1J1Gf8 g58\|j+Wx ⹒1ꫭ=Ů#BO6ٷZlNG¸[jPʹOW%lZloyL FN~=ZEǯbo_rNTZb&u mz 2^Df f,HSq.bQ'D . ~41fyԀH\a{jm&\[1vO`*/q: At2\ˬJ6|܋QoOo5֫n:c# Fh=$0jIjx2k[RZpXK#߮e3Ɇ7iG'Nk&FvWBa,ī味ncN*K6p@%pVm_d]lyg0Y4 S7bqeAW^E9ujocfL/tmp:`pUZ-'CХ9.k0_35|{JFB/&&'DETMg^T̴ 8IuNUUkSޫ>OH,uŗ7QU߽ijnaˇB8<"5ZN[H3jPrjұe9w6-2l l(/J+ߑbAƯ]~qhxx[Oy*Ivx. i!c :<)_J<g( ~E' <> n)^Prc.Qz9`á_O6-]h,I},.x \P& a /qXWtxeKQXj5Zo +ebC})LOW.1z6[WkuMg†6ޠقxQв(\}'S ێ_0 ~آ~DDvV*4_h6g8EZR:#N"jbQo_ ʽcV^C{ZUj4 GMJ>:V)~)Dl7D-R&@"B k;[nHd寋K/l8eZNj-LΰT! z?b0-{5MͰ\&JV2~`2,A30}\ʿ|} u}^hȰթMxϋX^!ʭYzeZ_TiY}#rUpfSͽ5aBMiEHfW.雄`\s~/֯ˢw.x>Oid V$cdsŎ` ,"f(BC9Ϝ6$vge>~THaDH 6@z<&}̺sR&93;@?YJbN+2_k/Y^{>O(iCL:sxn*\[85; ֏Fib]'lB]=R4۰΀zU^F;ȹF)Mcۏ4+9Zq _Eq|XJ@3K&'9U@wZ7˰13"uL7Q J&{O߹(>AÑ)}M\:ɭ#4[8 nD)Y+ AU>08ٶ(d)0`Ji=m]+[i^>Uc/ 㠳dnFcʀCWɦK}O`ۧ@s?ƹݒpX3+$ZO0li6CGFqGWZߍbuPχX%]*ͭX)!_2=yiP/nv? pBRDMO- ;}^0A@sb dWQaeyC-#͛rVdѡR ;Rж%+mH$<%yt' 4ߝNbrkkkqG;ѼxM45E?/$[^t[SM`m+}.ySY&P UnAޯ?@.;w͗iokH8?ҋO^~`Ҙ-sD)u.ҾrS{N5r:CrbIa=\ 8qG(,&+$bQc]@`Eo%Mgԇ٬g]}.qgYZ 1a 3?% LInductive_InferenceInductive_Inference.R1_BCdocument.tex7zXZִF! <%]A-MՋhvG"uIBm5yK#3Dt]| "'}&8r_Xc nj  q{XV{X]aO7Hj)C,ڣXa*.pZL6B-FNF(@M{g{r^`1E=л@tuQ>>+O \qUN?RcG:GG}K :V<ʸs=:1@G>!K)zE=Z+tkp0sgv.;| 8/sJpH_p2e2X\,ƀ?E">cexrSQ^LŒ@ޤG-,A2|zi|$-'稀T߽034ǖZj#6VDoZ']<R5<Ӑ*~(xL ;/o兢 xǪjA0a/ rB"e]ӻ4ųVEU׿'~1eoloOJ6zI*YתjƊn3f-\aQn%/?MP˚գ>}p{S[3t؄ɞY-e"W4l0!ܨ#';b8bSBL_`-"Cxh7KeW)EoI=_!up kEvdyG4*pqEwOϧEl%"R(4@;*RVC~D'>擡ϭ(3Ɔ\Y 6HR!Iܝ y <̜c?B?\5ڐDy @CTMW CAKW,v3la6lg8!xqvNU]Y?yV^4 WIʽx &9?1̀wC?:qrL[ɱL`9*0ҤȡZ2O")B,>cotɂ 99ZOJcBsNęҕz-ȌgeAzvk^L k|; 7n3nP@oOmQ.4ǫk=!/Cn(K_fbŸW|(D3?% Inductive_InferenceHOL-Library.Nat_Bijectiondocument.tex7zXZִF! 6RA]A-MՋhvG"uIBm5ı^gi,f9WӰ )8I MU+hT lzk"fںN (~[tfS}ipS•Ҽh=!Jd;ǟ-ǢqEkZ }vl 8\:`;%`OP$mt+e} bw0B;X܈#hF/ YQoTYW,ۭnuɑ&1-9'[`9ԭPHksyFBGorǓ, 3#Tn4]WQ.2Wb.~/R ջew>G5^ FCRB$~1(,DkU )J{mud*zxF3"+.$~ `Ym*sKg0QBV{aytFp\~hب;.xZu](_aK<}!W6ЍBі$Hﺤ~% ?&tloZ<#&0@hb<!(_8/Md{ԵϞ$ t鞠< ,gXC'*zj&_X+c͚ޟ3A3TErAŤI+B~b]Y\iZkZϝxŷYkzZ7R٥g^Ĕg.W wT &fp AQ\z^ -F߫u8g.qm:Ҷ/ /8:w *{3|K^{j5׽AoG\sm-CJ(evc B~- O=S8.l?9tJu~_E^N?HUB?gfdbIw*5jS"sK$%2D c!"lJj/Lќvcyz E"{Q֍pAVq)2RϚ%aƷ@j{ ~yzJ2e'XC07.:{g$'OпjZMv3襠qEU&Ve9?P|BE 9Jq ڋo"Y]|Q&S._8LH?! "vY,?f[ 6J*G>׽}ii=O.(uk&N`"fo}80b lDF4U͞r86j+‘FbrЬT"Ow#eB>IDwuR~#T ~lp艎h<(ȆJdO|ِmWa6J y(~%_AUR43bMĶi;A=jaI_`0$*|cڤrj;Z81<ܛQ;M! .E*:qUyG\^kЮp -x~p 흮x]AA-}W &l?ڂ:<Op-u`ͩƼ3 Sї3&)c \ML*gIܶ]mM ϕߛoT#z F?gRǎ*88愑3%Md‘35 E-bn ۝ =B- 5-.b,u`bw!%J(s[H:AgcW 7jGT> Wųw8#R&  ] иjL4_1WYʌ>d.˖596N&8M>S dn@\: ??Azd*Q,oF^. Pz׷,T 3zrrַ1\jږk V_?/)Q}jd*.i󑙀 wE#InBgV 6YEehkyR@W8b<('/PMPT@k SYqTSTK@pшv-)o<*)|;p}ަP5C*(f[E~[p1i6"|L L?ip^_DuzR`N#V#P1V XsXgѳ1dRv]fԢb9J `Ayߋ͐,=q|,yh$]! (R8q^M?ś_%<=os#L:sA齨X;o33؏42-h]Z=Q/EV>kρ 7=%B#VD)#%4;C6nJk *G&w`y֪]YGA29-!C Ye ޲un l:+hG噑zD-]h7g^$tV?SЫEV&#b!ktO(&]1ʴF 4-u&l]x hiOOKk_d}ʩ|ڒq^y݇F؟t%u@hwpzkaә%&6K @-{7A$:& ֝ /(J42<#ww7bNNtf*w"%/kН)ϯ$WBT%I]ve6'@R+E݈h[Xz)z+o`_WP : oR^85fu4. k)@%¼]O *$K Pb05C\p0|gFM7uj{\wq qWQ^v n4XXzLhpB|6vI nqZD/29 wbڨ " QG$7<^EUŐd;i^,37,pOYZסYiF9SCb!a=":_@5mSh/2~ XL WNK[Zae Fld R^.=*)kQs9O 9]u: *ᡔ s1=g*Rz(_ '.k\O&Fdj:''n a-3 Rod/ l-t:ݠf7 'X3]5Ogdv1B s͜Dƌ578kJ>\:y}}ntM5;!Zur@CIo UAgң885„HۅxEvQ1^cj"a6@x|̷ju[wɝ0~jj_?(dN[Ozq_\{̳:MT9bFq|I3O%1ed'N4ѡ&pg BYcZ4itԅZA0rz>8x͊] 2ˁ;4iT`y-uucCĥƛ´x1I*P묤 Rͅ>{z)0f& Gg53A,`MkJ5`&y2I`#( UN}?yoVUVS|\F uCŦ*КU.qϓdݤGUsP˾h+G ae(ܤRE-KyS"ODE\kъr**fby'tɁ~DVLUzL>]F*:lx*|g4{H)qQlÄ4ml2=a;}CfN _f;ojOvA5Dm'C; Srᑌ6@ m8οX9@=;$γF<DžJ.uٓ_tWZbuOQ3&jh=uϲw"+%D`:bC8q ВSiJ sWsh' 9crAȅ^R;Qk%3)xϒ9]{9QaUuV֡x9CPF`D-7 U$|%+iVu +GU AxteTVw.]v63l$qQ7[?" #N:FPc!~9qyzXt"n8K` 4Ky HfLdLO >4-T%7.< 1rX0 8C&0Q| ^e+ ,&i'W7A)r8:- vr%'bioKC<}M P42vMZ]MqbKcM\-e<  Ԉ=/a$ .XaHI,!D,N QWZm#q\ښ#P_=E]?'g4dt\;d<)ѳvmANr;"="?ęQsa%)#o_W+alD4Zs7L%gk<KO2dj#S-^44&0257&ٛkB\ ~]}=_Cz@\}??L?>!FA넙ɉ]k)Nӝߘ 0Y,`:Y͊9ڇ& Q-my?N>q)31` |P*ch@X W'B}R,8^Iz9%ݐކ M])nm݊|,tZoxQTf9WmP )#濦,YaVܝS \sN%1bXy7zqҷ'Ok0z4XW{u_VxaPw{ ƣL[Jɭ*>O|&7qVszmk8}\j 2r~ĿO~_wm0 cyVsT\\9$+^d{oj44xgR^Mu'$9$H(0M|v _evpiEhUN,gR9.(JOjvGK8$<nJ8R y1Z˥e췱bd5'^ 7Ta1u=_<)0S m!{/<0OJlfp|i -bo#4"WU373P7 ݚXoQN-%1ޔM<̊/&oZrykmOJ!djDrLʢK"zij;SZOʵ6އZ-}Xu_%ͪ,tv0`X|q#-ep\NPڭGtFpA9bzcOޢszJNV@i^XȘ-kp1_t-Apa"[kU'h;N5j('[!ZjP$U muu& /HqES*`W;^ ^ e-s!+ὑyOمP2E 7/I`Yv:4`.k:e 5x 9Q* 勃XF% )\==K!߽ɩPNk*{*"KNoa~15q5 ҧguݳ\ ʼnetDc^bA2u".y1EPwBZR%z f-u9Q%.9ćC_s"Zn gip/v`18@Lj)`X`fZr$=|"ʃ~EKEB<[b-+O eotH{ĺՎ1&~Gs4 áX RFvC `<3ViZ R,PD4myLs>qu/pi(UKi.Pm2S ~D.}8ѿeP5X%ƲNǃ\U?R1 DXno3a,JX 4/CQP7ݪRuɭV ;+G2{я[]ch=h5z_4xq퍿Te\ky%%רdڀtMji詪.G`vys?Xm:njxfm< s@e >lIB? .H_հoŃ +UFت/Z^ܵ[w[f@Y$YtP8R\nwXĨ>Fx5o+d\ygӚޖE4UoDHE;))]n9CqMEMRf=y~f8M`A@PP%dC%VpsPZ[ 9|LC w٘[vz?9"@ABj~_bGd [3uړЧuqYA&0c7zμ%K5f_)VhET`j 7(oyX_axj8r+f {4L8lBSn >̡*ZxouoO38]bgeEWOIrk [?OAJc>1Φ64z!p+_*>Ǧ4Z9W'ܟY8bٿYoU#&@e!FϾƏ}p;YRdj4Փ$G0mғ0zA6[j%(ud#t6C^ۯ &5OW`ZMXmYWf.'TX}d]; JMlsw<.rΑJP`O 8a FuF`y>Y-92ݫuR$z,,~?d< .Bޑ\^x@"omVa28͕HK"^gy4KJbS|#qײߎZ[|G<»>BiHkO~{:4e1hY9y'#f*|9*?9 IG-DxX-0[ 6B5x g뷽Y{\,*cOOh+0Y68*e ʑΚ$'6lh<9$-?KU(RH.6ES[D"ba+Nli(zn ED& {0+^uB_=wY).DKaC(pximT {(HV/1u%v `J MdA=f3MN2G=Ȁ=*W2o1]+\Z_Sq3rݐwѫk(\nBJKeʿG |CH3bt=ͧG͓_Ar&Kqɧ? mWyp 5ɰBϖoG'p՘J :25܀*RJE4Nۑ c9Y^DQLS󷪽?Hc-~I!\O>~eP lP  Nh{ѳW<.$nEklON̬v߷.t+ ='IϗC(d6_,3طZAL,܏ N4 ~- P&}Z%=Mt mi1%Nf Y3x,_!0*xRE[ ee6"#/%!|OʛuJ!\e zoF| ='a*L{70w )u"I8˖GWb!_L8O͝rF;ӟEqC;-@=^yJ^Fg8KǷ qF6[ĜZx_aQ~*4rʟX}7iO*'뜄: ϭZG"/Rj6irlACi[hfJ a o{w~AIA 0%= 1E)W䢘Af _d5l򒅜Ô|=F\L5&ٳowp#00!D3et]-;jF6:/UQ. . 1M>yJ}4-{7.3&@]~8&Ƒg'5PؾqE:X7 nwNkbxw /^u{:4w A!JK2+R> @|$ٔu׳oe!<7|vݠU #% W:NtnA0,ieg3V]D*嶫)- nlQZŁܭ ,Ma WhLt\RXBrfY[(UZ}])WԵjtr[i&/>>>ΩLSK^b%G:l}FgVB2C+%f :$q5Hш7G JDF@>G ͷOs3'sI@{ k42ysאދ\Ty!բ~a y3 pxg~#lCHY #=^0C?+eخx`XLRժ~DeqG^G+(RP歓/W!aᘴdsJܾC`r/(N.ف+@6m?@ZFdPXJwFOr^Bq}̶z&nvu;wٰt|D :cd1OejQ~gYZ7zXZִF! ;]ŗXiɟ1˦r~KunύNN{GIXcُ\Yѩ/A*kq,hiti2K9V*(y\m{/ʥΡ<;e'q0l'ˆ//읨־#l 8@HY L#:(&Y,hyDбO|+ϙ\|Covޚ}Pq2'`x1B NI*LJϛ|"uhrrVc/k32*B@́qtOnݛ0R2t(aΜ-V諊{'0דj0NTS -y)<%.ZڞC~ӆs ~%fM O3}@KA#c*>z]5^i3YX C%^"2ӣBh.yEB _G&091KSҤŽ{ <նo8TG[x{;'# ewp>٦<w8%$2&D YlCbsSI+&@H.4U]XUQYg4noo_ ,GǓorb4mgp-J;0@RxaCcEp_t4Flt$͐] *Om 7XO/%+PxI* -X/YMHk H1M릹 ?1w l#߰qP؍ֿ\ZM_$gqzQ.+߼0G8 qKHO.MS#AMu cR$U1P8*^AVjKw1ֈo\]:6 6q6BUoNܝ-t"mBWCڈA 8j=DkN-,;x`m) {('oU4'5VSK`r]]76QxLƭ-;`\;|(V=.K+隝 83̎"6 WBquP},w@\?F7#r:{֍}NYc KiInL>]io$ Y)oÔiJd >pi6ѯ `h9! bl,A j-4BѤ(k,uS ؠ[֛71sM"jv 3H1*ށb\B` k@@99݁0nUABSx`LArqAm0ie#}>pM$Ve~) AS0Ojo cq@+M߁ c]U9߸)KjNji <[vʡJ/L]&sIlX*Ho>^@/r4 u#j;X>*m~Vi|Smc]>tWRg04WEW4!?Ȍ˦}$cW `2EBQ諮,Y~%8YH<)!u/jc_H\wyP>;30LT YC4hKd> Y$T*uheyNiz WL]oϤ @{!b#D$gg?PZ7{WF"Ҳ|PpYSp'%__\|s$E\6(-Dl;mASRE`7uڸ73 ] Z'we Lܗ$f,fԭ;M=;(~ #%TQɇnMv^R1 3WFzu+tżQÈIcY]Ah#ī6~}ǰݳ0d3jv.x$d? "- Pe):yhI|KM[ʆCZ;tCw3\Xagm&Z;D\u*g\z?r0C-,ZQm .;,si.lW|/C6runV2k"HCGQ,`\73> pg @|հ)`!^}l r<83YUz/]zWsT)goȿٞLq0\wj:LHqnS dS.rAġ'!NB(ȍCpzY &sXMv_}g\LfxpFJ^ G2ڗD2Qn5@z ϙ}N >hӇ7meWqJϣmx{׆0*ɢD ED3ٌa3U721'~էw\'Zs&xW\ mV2vV1Q Iƫ *m\P8Vǽ}|t\EݪԌ^>Ztbm|^UEkr=#y#8Jt}*B2ː(3y' zۯI2VZGq$75A6֘7UmF N7 fGs*a]G2 p1r_jywMLS!|碑+%(/tKqR/a4fx8G2NXSjbr!n&j ȍ[%딯mϞ՘a1҉c?r2k#C+O5%-p-((Vc̸kӹ4*kAgB@g< XժSǜ~!2Z|n}9А4Ii vxt2ݫh4`Ǝ B"WO[arnhZ8Zo8KM3]]61(ܟ^ e(L9'l<KGbXN-LB|ܽPw,=m 7]W5ؽ`R^k1lZ99bReQB|w0XB&8^kF{p|E9ҙ00E@rdΟ28X M3Ԏ F%Dok~Ųh:^~/h2[υek$;P\۫0}4+D҇XkZ@ hP.A0c<\`^6 8raaqAPcl2] _aOb6x~In.C+LގL0Bm:=~Y!xxC?MNx>ՆFTfc2QU&y1VyG2{5ExwaCp3|XbXCIfq`T`f[SXC&uȡ^fզEc 1XHEa[U9fFjB=у֗0ʡŒ@ghg^yFɲ&z4$b7TxZFKGn;Y92[_sO\،Mbb<ҘA?g"16( bghRVV͉HQD(}*^CN](J2_]yZ0析DF"kKt++'6|{w9ݨ'u(ވ5o)~%8Њ:7nEE`4:z-;BKP3%` "A%s$|V_5_]ho(|dnU#9̰۔,zj) U{}GwLXƿlLg7+_Li=:psvH_!8&&+52L OJYXH ݛ{ Ī`8_o]F]> Z"/D (B@cdi*ݤ7'nXAf|ԝ7LW'SvL9'P:@F--ҼDxnq=n"Ѵ o 16 +L@?BnoR!5 %eTgɋW~c4[\ }Hh>hh*F&ǘ;co?/rsnlh+WlTN!fzMNh|G(+LmDC5,O;UZXyr|Kхz}c }ǫQN&uSc=Ӈ¼dXH^GRLwsWë+@#H}D=|D2~X'Hʎ*n d+ʇ7BzyI*-` ]$$c,+SV,ypJʜyۼzދ 1.[[5$Z#28n9o{VO />_.bɤfNHj{9A17/~Kk75\FM(mHo-:Ѻ{^glLA&45*b!^lޝJ F57h ) qNF6+QHYELM]޶D6,VPj>lZK$74[ec7yh{+I'<4߂3?OeW>r-Opwl`Ƅ.pKR'Qј`Sf]u~ n>J4% x>p\"\bs6g}gk@$jW" 5:D^ sҼ8sd[m\ JW$)ZsN!LWiNO95FY|,Jg~Qz1)3%;aPӷ__?I{ul01Kz#pL>s%P CQysXA @@Wc, ًui+[0K@n!Vqi-=d}ԞnAhP֓ijs<<-4,@0yE(/_skhji9ep!ꗟ[_&f Tv-"Yc#{%Mv֏ְv{llZXӧsט"w@Y(Tu=$Jڕ'I? ?w)v3@c3HVϢ6uA!O] E[OjE?IIC&XYO!pN3 Ȅ답lZ0BT0\z}ymuXod rQ0ٜ,1 CˏnNx;jֽQP?qbBҷ1 Q?P` KgB) [N3ծk/ {G࣒YbR+z &=jZ2w̗YH(VO(yp{]5=_3A7XۋMSyW~ tG9!?1*#,MF{f_0O8Y?41&Jj6g `5})jv.ۻ*fI~iniDGy2֣T~@Ƕ`|WbW)y~w}1l_Ky?6|7{Po ABٺ9w8:n/s8[17 ?DXZւnzMɗ+u!9_4žZت숤cgMC29]䇁/*HC*n8Y2|#?e1S61 ['tybK%_'B_:tGٶƽʄot!:{O4so%bc۴#H  Tz@|gYZ7zXZִF! # ]ŗͷƷ͓ABlHQ{ XY/@%9u1l^@򲽄 T {]d6`_:/aX?9J2O%5-A ]{R]HsJ}R'4_vL]x69KQ"C{GȜ?Տ 5dEtS^5[ {[Lcn0nu` x!pN=ڝy%{ "#G!ݝz;X HsCM12~}kЎw86$z+-M c`Qo#<8jeApWB ĬǐWgЪ[?_)rw6UK0i$AW1J+́G.SKz?;)O*[ώJx43 V?U2O=μvC^.Bч_Wce]q]UbYxks}O#|c ^IpwBÆXW迮Ĉ=^ ז8W'ͅ<(EcJ!7;o\{ta+*Pp3E7EApi<*Մt̂o7I]>wmYxf[R78Bq(F|,)qscEwAVM-';#B^HWkh) ?U?;\ƽ>,t!|5n~:ZqeA$3b]oFus^@Kށ̶)*Z@{8kTn,ldL4>.ʨ'V#ӹ-ѤF>5opV+9eb=\A&%`_x29aD;i"bA%;KTu1I d2]o *pb"ho|͖p6Z)G斗.vx-uS1!bǩJuMٸPN[\h& 7鐄ШF?$*7-f>i6Mu&hjhPgfi"LyR8SPK^SlO<2GN;Km!B8-LxAܺEvPy#n>R*E F6gYZ5a2af50cfdf2281621e1f91265cece3fbcc584c0e9a2742a9719f5ffc5f20b8afc6477c5b3ed39a9 dc09a39d76722c2f6a77403e12e7aac18c8f9fa4