SQLite format 3@ S.;  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 U)vl ]]Refine_Monadic:threads=4elapsed=69.028cpu=206.116gc=7.4647zXZִF! k ]ŗXiɟ{l] 5r_Ycdsfb( &EK-96/q-rnV~ҵ%EFch]u{|b񌋵R2Crg|Cs8Ex!=tw;N$kcՠUh|JOg4݁6"56RU-dc! $ν\7g؃oSBmI"6 NeBX&/Ԛ fzҲղ8,qUذҽk5;/-& ~T~2)'yvKc9>t -ͽlT7KliKē +A!8h|-{oerx{$C}"O+! $ϤԦ *@+F1o-r+YCKH~}~fFȼƍPė`wZ P <tݱz_ukZ*F5dI9on,ey1/ &|l ᩂ{8.+^p:,~P+m,3;+z}$Q?\;bR`8/ޞǯ2 _2@UIjz3\ 6UT k\j!^2ev/j>zh?F6l5BGiw+*s>:Ƅ<еh+&JK>߉K(ͅM|i?&*M.XcRfCqhLՋDXݰZs `ž}IzO˃\AA&fO81O@)1-Z-|wV(Ky3? e"Ƌ2R +嵸o(k:-X4^5Q$sϏYlaQɊ{wBxlCsͺ H_ˬFE&)B喇k{FX {eQ$Ip$Pԋ% b[9>ȊAme3ܙZu-R tQ͑S3۰;rIy3Y0:A}9_K4*/D@[QG3EB&Qҵ0nɵZB6tt3qÆ@ȐJ,sws* ro^8+EH"r\%O ^H-8t7 qT_0kJI~L^yD^+у-p]tڧSϽgV|Ӱ;3OΆpl5 ܯaoS)Cs1ޛnZN|to^eaMM`>`wt&S~ #BMQip47B_j uT*3GVĴet&$ ݗߔҗs-hW8^e|6t&Vn8.уi)T쭎 {(!NM|/&w O%i52E>2-!G{a]T!$ Ϯ?pP[zo$v9c3@?!Nv/{? y<{P Ĭ}d"V>Zn 26T8!aAZ~Eח"pO &_̚ź$kר+j{V3{a˟DBYl: V.3̼c3a~;xI <|72 r>p-`C e=Fz fQa2"X: 1?.̽&4@ǔXl vqCLDݮmTcR#k68;Hg̡)oogbV%$=am 0!(Fe&+|d/15G4GѱD mOJ3A8٪l>DL=9pjě<|.X ixBPӭ_[#'qk2.zu^txS13GxqZdiDtZ{]'kzz]'"Q̽(!'h3ŭ m\NH\wyokG+DȃNA߆Z[+&F ‰X)棃ڂy;o4txjo)u?0pɑ@b[F8FVH*M-W(tuX?eGZRemcc,G cae5lS>ЭSI54:] 1Ϗ{cROᏐK+:h@&E/АHγ0BkgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gM]qQPepԻ~ AYIn_YM!;JjO^e=S7^צQ{cG[ rjԝa W:웳=$ԨWE׀ho[`zojvH8Mv7bNq~I_ag.ջв8K2 ;2nWkl 6U8tlBnN1Gc9"Ze)jD6BtX+s[Pce'HG= fuhWR!HB'ObTe= m6 w0a{FlU||hn$CX`3v\Y4׵:'g+9*ŸJT]n.k?ёs=QXX^m@yjw^uV7uyQF_ d ̇P[rM~ |$;˄[F4D~ţ3&WxVkGm£د TE 5EӑFl4U^.o:xȦl66lW(Fb5Bkm}R(yMt(巻B5L(IJ9ڽc'xy9+1m*Ddf<%D'Bʨx.> a! o @@xz4ng5 ^ϱgYZ7zXZִF! K]ŗXi%L+O3£5~g4ND?]S-V[ (v jw޷JX2VaцMׂ2TZ>H[:wMR ) Refine_MonadicQ| )/% Refine_MonadicHOL-Word.Bits_Intdocument.tex7zXZִF! CIR]A-MՋhvG"uIBm5F賗 Xuq0~2Ŀ=nԨ1oD-$"^w4mS^X?Sn=•Ed591=q|>9?*ks<܎xOj&WHM<=vaKebVڠcpso$fc*PnXy6%haH"40?/B2;q"6LZ5QTݙs K GЌ NVOMXEk=W }&\'0d#KΎ@(-/7Rd"^Jܸٓ.65p1uC!\CbC6K'8q0<^R%Ke(a $=_]z'-46B<ϯb^ Kh" 4g*KS2ѱ-Y JJ[}z;qKf5mٺ>YVBaEKs" b )C% TRefine_MonadicRefine_Monadic.Refine_Basicdocument.tex7zXZִF! Mgb]A-MՋhvG"uIBm5NǨ ~N^w?-쎚}ªs$шY7LN6KrTUyQ9IuS[CYnx^QXOAD~&@:mEόG!ohJ!%1`T,a{ttmX`[w6!!cjrop=*D1?S2kOB'3Ks[π&flXHXaRq~Vuj)Z&Ͽ3:mn)cp>f7oWy4ImA*%כ /h.&MP~ѐ=TxrnvzGb;ꃡ}Gۜ7gOe F )u)S^UU?g9)ô6B>Nb\ z[&D!0٫NH&S^M!"qU圽5BokE6-H{mt׭1WR55nU^ B3w#qθvhޫVaoy OL3W ogN3LBh}Vd:ذ}%FM5/M$~t(@9jO3;s=E)G 8}K=_&О;{¶# j&  ciF}$|zo%f؏,#ftWLsipxux ?m8q"=F|m)sY4 ' 'Uf+v ̺[Yz%~}qỎ% C'y޲W^k=T+2͹s#_n-sdoxoBAU%^cJALwge}:bH|:A}tM>wZ&R=a@jҙ>aԅ#Ӧ0(AN\7!~-d_WVZ2{aqF}H" !~>30Ksب1w]yÚ}bN$>qރ!Ohr䱄'drԺHsv#9ܥ869'B6n5)qJ4  c{% bhbm'X IOi*uOnYhrJg2DD HZoIlk }}qH&`L.޻`q^ @8 KsgnaurG&nB!T_S$bƞU}n` ]嶙>uf q6PE qV|5}{-%߮G& y;Z+6;*ľ^3&CR~k-ԡdMU1$}_brP!ON?>=<;:9841+ #  & / b )   {G { j ; U U  9 T C ;)C%Refine_MonadicHOL-Word.Traditional_Syntaxdocument.tex&=)G%Refine_MonadicRefine_Monadic.Refine_Chapterdocument.tex%7);%Refine_MonadicRefine_Monadic.Examplesdocument.tex$=)G%Refine_MonadicHOL-Library.Adhoc_Overloadingdocument.tex#=)G%Refine_MonadicRefine_Monadic.Refine_Monadicdocument.tex">)I%Refine_MonadicRefine_Monadic.Example_Chapterdocument.tex!:)A%Refine_MonadicHOL-Word.Bit_Comprehensiondocument.tex 8)=%Refine_MonadicHOL-Library.Phantom_Typedocument.tex>)I%Refine_MonadicRefine_Monadic.Autoref_Monadicdocument.texA)O%Refine_MonadicRefine_Monadic.Refine_Mono_Proverdocument.tex-)'%Refine_MonadicHOL-Word.Worddocument.tex7);%Refine_MonadicHOL-Library.Type_Lengthdocument.tex9)?%Refine_MonadicRefine_Monadic.WordRefinedocument.tex8)=%Refine_MonadicHOL-Library.Monad_Syntaxdocument.tex?)K%Refine_MonadicRefine_Monadic.Refine_More_Combdocument.tex=)G%Refine_MonadicRefine_Monadic.RefineG_Assertdocument.tex:)A%Refine_MonadicRefine_Monadic.Refine_Pfundocument.tex5)7%Refine_MonadicHOL-Word.Misc_Typedefdocument.tex>)I%Refine_MonadicRefine_Monadic.Refine_Transferdocument.tex@)M%Refine_MonadicRefine_Monadic.Refine_Heuristicsdocument.tex<)E%Refine_MonadicRefine_Monadic.RefineG_Whiledocument.tex:)A%Refine_MonadicRefine_Monadic.Refine_Leofdocument.tex?)K%Refine_MonadicRefine_Monadic.RefineG_Transferdocument.tex=)G%Refine_MonadicRefine_Monadic.RefineG_Domaindocument.tex;)C%Refine_MonadicHOL-Library.Boolean_Algebradocument.tex9)?%Refine_MonadicRefine_Monadic.Refine_Detdocument.tex :)A%Refine_MonadicHOL-Library.Bit_Operationsdocument.tex @)M%Refine_MonadicRefine_Monadic.RefineG_Recursiondocument.tex @)M%Refine_MonadicRefine_Monadic.Refine_Automationdocument.tex <)E%Refine_MonadicHOL-Library.While_Combinatordocument.tex 8)=%Refine_MonadicHOL-Library.Numeral_Typedocument.tex7);%Refine_MonadicHOL-Library.Cardinalitydocument.texC)S%Refine_MonadicRefine_Monadic.Breadth_First_Searchdocument.tex:)A%Refine_MonadicRefine_Monadic.Refine_Miscdocument.tex;)C%Refine_MonadicRefine_Monadic.Refine_Whiledocument.tex=)G%Refine_MonadicRefine_Monadic.Refine_Foreachdocument.tex1)/%Refine_MonadicHOL-Word.Bits_Intdocument.tex:)C% Refine_MonadicRefine_Monadic.Refine_Basicdocument.texpvIO4,795xYtDܴO^\Fxć^够9|JƬ!yX 7_:!'VߨȪ1j§fׁgՄxW#T9\tI6u*u11$tE+eՑz@l_|ޖ⚈4}.e?$k0VFrځTYw>pJÒӆgɪ(9xq*kvգz|q0l@Z9WSdI6*\yRwɡ25qksyWsdeE"Cl NQ1$qC( ׇe6]IX9W}? ѹ4;*ݙsҾ铮Z=P7gZ2,\=N}*CKӼ iNc'"qOSt=Nc8quc?b͞]znF#`'(GUy~w "pkqT 1ˁ|Y~9mc:<7)K`wN0R˛--|C\$5-1*LwH`B l{.WED{aU|ysLآxb/Ï(έO'5RrdlO %Qw*ŠM9[nP<#³|ޭӐmARr.UT1 zԪϷԎ}yYJuРTy_ CMBlK'4t4uxp3Lv&EnZ9LUEaFΥ^TᩁZ#J5t5T:ǩlV{I"ʠwf}P@?*Ч0"j^4|X@ٔL P8t1C4t+o} >Z`AtQܘ{{cEwu<NM >vBL"3Bh=})\ҊD`C͉ÞKD a', o43lr0? c˃/Eb- pl0su.1M!*s{X]f0sv@c*ԫיڑl2p ^V2CW@]K}!Pd̋7\:Aj$n(" jrty qxÀ"B.AS!w*xѪCŤG޲Q:{m(ggkNܽH?6/w_1~0m /e5*}:>*Ǚ+={k[0-$w Id,aj&tyϗljq0'CtΓ( 1ć٬⾱ȝ &'* ;zH/B6*Q'"Ix)sC Sf0*z>@K[ ~l}VM$m(bCTDSqF,D` 4*P:m~zHft_ Yg ;q>_=vTm4G0xK #(6_j03wGIdRx06=E< =!K]\a ;< A}bGJwWg<@>2 %pys[\E]ĬS}C]iZt SIǸJ1R;v|̰k8$_a8اVݟ^kjr[byOnG,8-zS#:8bY(rЗ59cʻ9 {*r ^C}LoSr K ԨbN搪XW9𰦛 a{K*ĤYQ}&GpC++)}0;>iI;,]0E6qifqlֳZb–OL?8*"3=fJ'AQn=ߝ-wB/tvPwgm 05]T=y#1V;zsC $ mʤ4N!E ܼ R5M<=+0k7ht"!$){ټTde"/LwH֟%`5i3WE$W}O ^PHhnAV$)VLd [begyˋX̓͡ m^LY"JpdVA^.FhV1$deU $Mkd=v7D%kbXcԓ,sEUC7oHJC)-\=^XxG&|}%|O[7X8*X'/:}*`f1kpTO439Ǣ,6,)`by$3$ϦcRBBqe~9nm"cZ@([?"W2SK(_pc) t>pk3 >وMK&e-A"aor[S 9(: ˼FPy|\݃WT0m6ÑY;W*X8Qr $K qlm֘~Ve}z@pϾ.J%hcouLP d{^܊~ (@1Q?+Ρcn;HN~:ó;ۡQP6Xq; %莳e [)n7& 9 1mZTظ 1U,si59o<.ƨ!q~o?Ԃ3˴ QЙ,+XA(f91`r a`a360.!-ӥJp{*w#ZgDSYp&or{%/-KI|G=عNI]03yW 8- 5_Zmx1aWRR P0:cpѾr5XrvP;RYHfW;%R}hfnU VKZ-l56Fz&4';rfJzv ~ZZT~6nPX*:,dͮ[)NTK5 & gq;;Ar yi#3ʾxx#H@L &RXw۷9]"c< %?Ljc6'۪iizx`"}sbYT!r]TDwg h(z_V-IܶqSYaN> טpq:+Iac13%N])>o+Zښ,Azp( u3\adсLثje?FP42b۝Мg*ǘ =Ғ[7ۃz3 X!$N amX -vC,`°D`Mj2rYzq!15?I > g؛F+jJ2 `v!p2 ~IqBT~n?D7j0 K׃=oƑֱ7/_,a]蹊(3Ŷ`Q,ҡ|_Ԏ P sMo"r&tm(#"w s _U}6߈=v "hb.O^f:ؿ2.j8ţy{y>-ed#:Wm6dIޣ( C|v =V~cJ?Z%`=,𲣘=4OytrxG!c]PYj:.tUs핾 L, XCEAj撁 2IR20| %z S R9"1L_>jR2t%Ճ1+c/ 0v!M/ ]|zB#ݳo2? kgh4tÏ=690!sگtU$Eu9(~ӂMҚf:xKRn6BMvaMd]1PS#nL`nso][s=c%}YI`N-朞 $6"olV9*T,+ zb:(J>"+nuP-m`~`ɁjIXnYݎ6M̭p(}z؅G mq,*(,<ڈ4S]b hQ]=qF-}c:JxQ(O( AnT1\Ic.S&̴LNJj̗[Z;.3'—1ᆋl,rl ' ^L֟ߜkHކX>:Gs?⧷+Ⱥn V: ڗwieA +ۭy JX(q$(! vX64~oxkf GЌLQpwB&2J=y=}YJWitr抮#iXttwő0 C ~nTu6LS% m8Rǩ;1Q%M8! XU Pj"./Yu +Gu A8\}oD)7)%DԟVEh8wƕ5)E[vgX6Qy=a0.whdK&3m~<˅u+s1|^[mFG+>/@Dv_1n`ˁkXV| idl v?u$,>:9A!mN_kV#Ȁd oWɞltv\vZe~Sf݋d!DŽu}FL}'RGS=8lib _ +m~}%nCpv@&7Q+9ؗ_oLجd,"k>T{+M55{~@z6UDdr!F3̮6&lUj㨘^7P]CQaeڝ5(J+ޞoGKS(dD֩X*S)ߑ8XRMLxcC#W:YT([ڷDWMfy1|'t_'P6`Y^ mHS Zz%0 m7U]D $/-{~.][&&cVT "onHf1IþzwQ1z~K٤j0prmxBPomdqt (X\]әҼ=7VJWѲ†Lt++RVPoxc7+輊mpm]df#Wlԙ7*"fE~-lr(Y E죟Ai)-7ꀪ!27P?ԏiuL˛ʖ%B:s=r|$F#26STZͳ=,~|C8g2=?!qϰ䏕v8|W~@:]bzfPFwJϐ!>CRf[LLAZXHQ/'%]O+*@^t g.x1L ? KdX&Sڳ̎%]˩U^)QQSj1T5ϖ (AR`CWU% X`RWڈqBP>7aږ98ŶOqs%Wx ![F|R *Ddf4=>OHE[~/Eȏwt\V[raDfb>PCJ S䖨G5NV\BWe pW'2uPӿ}%d!A@^Ge#؄O6U=GzfW$7uŤT*'}Qod 4u$W ""w4o^?X+F+ӈd *m{}O'xt_w/3lO!]q!׊GjkJa g–˳NQZPibO98Tθy)F#bS]̃I04z<@smIeB xχ)b0#Px;a;ןRAeywIdC=-fk{׶A,ju8X% I,g6܇ L(PP2ewb|tkvYyB n餎`Jq1ƏCQ?xh>E7Iȁ(Kgƕ[M_aN;2sJ")w,Κ$SH.c3ǶQQl'|=ۻ/K٭Q ŝyJ0 Ho LOqyP*(YED`a$3'V'i:o-0H*3:WZ}6QʩF.:*jO^h\`"\'UCuiNEsYnt^,KrqޭįU/q\K>4f%H9koCy,QBa4di&7A@BAE[EݒqIR7  _acAM4Ϣ~bnW`)~YUz K&Mt#Kfw_C>5=I;| r3*e͢r)yMYPw*NV#"P U j=l)yB mК w`p"oZ~3[3=?;E9NQ́i;Ցt MU&Ym"y|8a1(OcoaEnD.;viqU:dPz@Xu{FDe7W:;sa{f(倰fcfƀ'D8Ս6]F Ě, Rqq9L[dS)I!ֲlۯ'B)*g]⢠Կ 2t)#w'ro$09U-"I!ؒ3~~ȢE⛆GAJt7+LK#ۇ0Vs9^"$-'R8457Κʊj!F v5a].0 z^L x67vȀRtY:`؍?SS/e)j^YIB=iV=1 L$Gݥf/ŲVYMmjȹtʑ FG_'ZkPuֻnqMkF]5G.2}PbIW)"ǧ2ܱ#gzW6e.R.h.:6[Dpq|;GvIrʴZ?e`oa_OQ:f:>{!>s~7!HRr :EuCϓ `T/~VoUOW| ф_kw*~NQ8xa}*5Jp x%\oMT?H"75GV<}c ])xR #-#4GqY@qn~<ʣP=8 2CzƬ,jiÕ hOy"g&8*: u_!b̍zW}p"K=$sag -b #bg;v\cBġX`N/V&(PL\8PـΧn;D`ưk[*3bWQ̴w8iτXVFڃcf@8ncjrzVI[cUdB`hM[+x ri:E\p5ձ򱔏8cOw*hzpV+UTX!%w%s]H3"oOGUQ *%Upo)TN~ zνEGO$ez6o#;l`b5vVtr;0NSpjzxn5S1=!VgؤK Iڥ(&PT~#2 tfȽYcbw=X AJ)D¶E*\RSX +<y3\n Hr[",#g=| "B}ݔO1:8Qge,0K m݉xWb{-OƓHVܖi6=(TLNʨ@xs{̸Xdt!r%!`(yX4@V .?9'$u"#Cfql-546.2@PXU])CȃYzGWDW"ʘ8EnښK ͐-DNQwyyOEmpenCZZF=g j/~3W_z;f{w;}DV-BNPWtDVau&yFSm_lz_agZt`vNQ8_sYePk^ơw7D>ߢ9ecNl RW&k${侪T, fwȅe5s*qg=RDKG>[c~Y+reX;LnX`|vG0ǻ|D= F@"~?IlT Ne(docJ At zsn`9dDrĂ3UĖ#|@"đŎ0n&yQ/dL00ׇ1^wi̮\7[[\pHv]Xcݹ1)>鹼9<*L*5aӐ,#(j!Onn|LZ ʱ%Ὰ5 jjQ:ݲEof_ ìq9$. ٵkPN7:/~x' LuZ@еA\;$'gaB3 $dpPTlhEB+{ƝP--ۭ3&2}dΟ hNa 8gCF d7EXE ^aUfxaxFދZ8A^َ9̷PC<-OSj7 ;R&aK].ЛX&J5a*D f WbpRť`16ۤnŨǧId\7 o"70-RΫӐ oY2yM4ժHl7(Z t(|?8a"{Hrxgl|Sk6błt׬MϨ ['TeXyuw@C2[tEڐاEP ^D~^ô⫤@]@1M䶌dgz_L9>Qj %Iw 9E|jRқ{x<,]] eB3:.s֬qٶ'R'!q\3*Z:|!%~UkVOoT/bR{QPLM֝wEWIsТ rp[t%j!w2n;W܋8[Wz?Q<yؒf)YW,ǎ&d=By!r hH%'͜BmGW>&_̰(ƞ-򣼡f88)mif4^jĀLQz7 hHBޖuT{@L2k#׵]CkdJ` ~КBߐ&9Hu_߿=ss923P˟S9# X+D0澒kv66`6#H4iw_;r+2MFW8啽<ŋ)THo3mOވf<> =!U^uQ"Evz}}\q5US>1ˉr||r!V%̯(Tj!NCuSNu3߽V? 6susd et5oy~(IL,;/ ʏ}샦ā,ՆjôLm?XN_P%& ` 34 XPY/pYZ ! [^Ud9 "g2Ѕ =h9%wykCV|0`H*%&J7~z=JȖB-g>?AYu ~nhD! 0d:&y}x`>KL6 . qP 7NL ݮv,c4OˮQ*.}(` [Zh2:CU'㙎kE4I4"U鑖,Wܡr&34(\^F/q8x`{ܾSn >:Oյ6L, .U#LT3 ם屼3xͣ(L@)Dx:rd=;ɇ0w,lő&jPMOTz;vJIEBA3$F>>ݤ`t-ܠ!bn$mߕoZ Yi%vNI7*-6 yۃ9#0YFV*#n(o1m򹵨H- yS!?8%әQlLw0?_!`Dzd8žEqm>{=nY@͍izy#([/s( F'/ӂzV},@Scc$i"x1qI1:n g2MdY(ԙK[:\3] F]_m/ƙm I_U.jr!SeG]S}u>Y~[;vm'0+, ޫQ˟%TFK,$YU&t :*nj{!gg+k m`Ca~@oGVW# ~l*$>d]`9E6Mޜ nN=Ӝ)rHz>S TNRbK>Ac?Ȧ&UF,YtG, mV"μI{PVvԫ/Ȅ YM(L#vfQ܆m]i'Q8Ityvwa7ڨq~Q=)SXe^(w7F+,Uj2V.Gp7o2%(?^W(\z'QX=5:;qJS\s-˶?# p>U g,b? g_(}x卽NPqQѐ* ϳv@ICb)i\N?^!/^2Ygq[9֕h:?Ε9= 0vcaC^Z'pndXd/mr^i#3D\**K^XS.uO:`¥&8.KV9)O Y_0LCO7ΟiV~ײuS 0Wwt.( 2WxŞޜyJjc)sl)o_vjUmxdvC~aY(פO?2 R`1qؾ ˲`[gfk#(KZY,+%\K̚%Vr7to8hD A0K %x:CIy68bɪ4Ƀ!5yi~P&0ޮaDr!8HQOէT#%{¸N:wʑHH/alK/ӕ\{8z7Q.kq}ŕ ;,w1"eȋhaLv`>\VS>/D|8!$16ԜP̞CLhc| "mfTn<Q]>وMJ:=D glS}?f?w' T+ŝ9W`6{޷Ċ2x%h=LAIyenx#WQْݪg=<|h3)Z"e 6Cdeuc8;iPt4ˍH&#XRbpخœX1 r;/ L'_^|00qXV\V!9}H, \3 ,>?AdUi&Lۻ]wޡE{TUB:Q 2<>'dȩ[7f1R1i (S?˸"̼Ol0'. .4-N(EO>ځ$*PmKkV>R u eR.Ye |B}W?}_GVYtJ=-U;PuHf NrZznx}tQ (`CSbaHX5lO٧wKΌ3hfM+:M^uԶCZ+s᛺[Ne*\zᵹH@@OyoҖœ}lʨK&r,w8Q4ӆevh3wMY:gҝ]eˬعh-!1#uwgs %+4{]f[$իQU,a}{TE h]?t WkYONAp *o(םG÷UM?8j8^* m\2$:S9н8Ue}jAjY$ ĈܟS-|SQ5]i أMu>tja)?z A&nigvFy?V]N3&GElGA#CQͿokG¾S$_}˫W! YuT")M,&iR纞oN"*mMړ詺 kdcmlWw^LoYr7(NlTn1e}[>%_MEI\XE4J%s-%&.NS>5)Nf &`K`*qTģ6۱H87R;I}yc 3QyG4\Z ĕ$X` =C=Z#[Hvr%Rn6dl$Ok@?RFOOKHZt>r7r3y+t[ځj6P5衢~꿏 qswf++}{`CM C.U9Զ*ՠdd ""#y胉"-mK(1wv/ з嶋gU f2xy]&kKx}[Jb! a6Cjt m=d խ;y[?KnMljR`kRX~|떧JuB"P0ʽwY3E"VXuaBƱ mRiɲVĂv]KߖSeRSp\HVuPj%ΛDl#?HAݹf(ʑїAy+o:+|zm-[Zb ܇%)־{/zK5*wvofZmLDq~_dҧ Y, 6fɒҮӲʞ 2b4 \9n#t>j Y$Č'y 4.aDDizԿ!) ڢ i_ݫaG&rh 'W\[r"%vl;A9ٵaVzw&5c/VkPio_\ [L{縶t<+yw $ĪA\~]|xx:zD oLbnvmمJ6U.8CxDYzGg`|&$V($a4R|<;&Ln5B1HTd~S-{A$lPP :ɯ+^};WIPs1<81kVU*B X rY j٬OGqBetYZ1d FOë8r8~E?p~3'7bTfy\K'KWcy0Ӊ/qIg_C#Hhwu'^>%<@ ᢲg (Id@p(|iE'ՕC 3Qj.9ʖ麟șӏfIdY] 1Y W\N2@QkC+jr0l4TٯG>;i_k$y;Aa.'cݕ *u1`yuBpDof EVlom ɛ;VW^:מC!V}x/ʜ- B,gn2e+!ƒQmP58c8@#6̥&B>JOL3oSU+emϯoC^&:'_Jjg]1k]n{SߡXN63kxQ@xٌ"c}oy+^ck.s-'lZ8Q(ߡMo&[9_gcpѬctI d8;B%MEΖ( P/M 1YPө<#H<V͵ġ@2L *.cawK\Y e{ЃvPH*ۀn$ȇ5ǘu2ơۼ[<Ջ"*eEig( 2;'!GНZ/(p1Dąn~[:B94~Frb\bjj+) .uged !( .kOJ<bHEj[hDCY/ l& r9 iRFVc4E2~ !Xt6^=-\9#,51ԓ#wJoOqFjJ$sq87sx3nSW_s#,VCx)#Fu48oQ`0HQR+n&!(d:p41&mx>Wl `J?N#p Ue+}ekN 5|6`riHk\y=S#8/6B,Q?Ykh=^(:Vj' 6 y~0JQ #+,)lz/_azx!Ak#aF}r.5U>M qP՜zc 3v w-Q( U:FK¥ۧx58̿E1A W&l«vpTWZ`V(B|fja{RӰ0mM.Up8*b"AoH݈6ؔTJW PHQ8j[Nւ-D= ?bB٨R`VQYh PEXk Q4BvQZuRI?u%qh@! -0jK8Y:ּumLy 6,/]ƣUNcq_Wj{x"29guNV2GQ(l1-Rɬ5[ @ U%̀RDžKA^a v.egVH tS{g8Ɗ( w½Sm.B|+-DeFG߶,w~Rb=]UogψRCHJ,qv#q2ّAbUI X>*dJh+cv7jmdxEB "AQ6C,nr<ɞ+dozp HUF~4Ӓ: HGOƕ(71 ^I-c>2_bTm}zɉt%"!D_.wcD _S5>׽Zқ^L/YFr9>\*\,9QrR0qr J*65uf${*s+ }N@EQ4I=}<=6Q`DJ~{VC`iYMt>mK{G9t^w.NE,W4}<1D je0M>C6|92͈fA{8Uc #Ԃ ^P*II4BBv4e6tcr6G/ju憁qdZa]߫3TY1}I@{G3h=^u%9P$wjnXlBg‡ d29YzV>SAMe0-1zA>ұ6Mc^emܮ(z) bSBt!SԷhPt]x ׄ7{SW_ o!>~؍KQ0-%cr;#NH ,/ kٻ<gIsqD zJY`8F+ad)s1%#]pE銫`m13p`^O/*|y|B33% wj~*wr,%J a@wV{ f&k8BEB}[؍[Y-y|3svwԶ@~V 8epŠ(81#Wm}u΂idgYZ Y ~2sx8]i"X|>"z*FY^٠ C659MO }{ig4mT^lLZْ܌ŮE{=#LGRyavG4hBwicr9cVe?Ġ:At3 -XeA)A4_]%*1~{?բc1q@++r"CI;X[1(j9 (518Fi;ľ[ ,z,9ĕ7#2%cGl~ixφn8p>*Kʂ /-țBlE׊,`K he^(Sdx Vī]9,fvCx[gI!B~KUP~8T|yNfdh 2Z]Xedua=pTAlmg_H5/C3_x&SjS|?TQbMG/VP&':P?9uSOLW' U,fls+HvDfy E "N>WSUR>*FI8ʝ O+(HEPjf%]{휬֢~&ZӄviwK h{kFs λX'cd(zvY!ن_/Uqs!@v(G?F) ޔ_="sy#ΌTUJN˳0<?cQîvr $S8؛)> ZKq(e$|FA87ǸJbv)bZr96M3GԘtJt[@q3C̆L@EQ1G5e/"ORҵ+ԗ0٠m[kلg7ҩ}^1S&+*>UDŽa"ĵmk _pJb2><}%ԝq,ҡ86GkGCLhSj M1 n[/)"[VGJF65f[kxDUgW׀ 5 LoԙCQ/e4;!iEpxD7j!N%5&zygqKaILT\khJXE ۼywM*vJ/k.~UK𡛜#tBIJ)טQ6M )ZV7I>ånNɷc#y ,?Pea0Y6PêX&S]>7ThMVW7| =adK=$HR3^]* y41) pkT'UlMD  fukߊa mi;^WDa;%0wO= Y4-k+ 3;9-͈ʧ׳ vp)P:l+}_-Rm!I@¤|CvocHuizݞ҉YM{/>/ns4lT5n ./+@?1,f ƂwfX =L.A0M\M5gT'W&JWXB O}uX93Q}|a%9TcHWkkӤeL*s_ѱw^2wlƣ,sr\#H͐楨"rHCsKQWe4DUbyMANJ[(jFXZ<0`Or.&%tefG+wn8oj67~{z'41iFl5V /;h@x'0wA|jmDX nIGavfˈ\:KiYPps.yNo>G YϩX]W0r[b?WΙk~^!:JuT[ PyI`2 JHh_܉fg}n?Ꞝ2 ]V KGE>~ *%\mp]SO2zRU*szg&}|2Sh LpU67a\7bw*S\RBw g;0]_aCnT5$mֲ@QOXahUࢼGjͲ2*mz5%{Ö Ie @f Ԁ v02|MS/r5GHF'vn!#ԮSC3 ĺ4=ބpT"?#Bc/FC`)DܛFE6g/\8(AXϙ8&az<9V@k*C&d]! /_T0A>yn5QgLE:Xg.Ւ^h!:¡^DpǭԿ 6㎝Z=wFs"SxYs[(olMD{oI]CiSm;H*[W %cG̬T ē'⍗̿pec-jZ nq׏g#MX/-q Wtt[g]SajКS@Sm(MAϫ5$u24c}+`2սf 4gK>ۘr9=q Y,RN%AY's;+ɉ](a*PSwq !厶CiVm];d`M|0>s-%+L݃+X7l0XyJfz!2\P^*V $nzOEhI>jD)t:IfCh+^ ] {CҬ 1!x4WBEw9~YcYA36ߍnU_v 2RAB4!1J$`~nhK؁zaiB8\[; ot/%WɆ$L+颫r9kSIB-yQ WʈSug4|an F.I2 c {+ =1Y-M_Y#5>K~xkNp0zlkjQ'iva VıH>&\!~~am[`  efʔ47)3*(Ney6.O"6O%  0XhFj{6iqqq]cK?lٝC JI>CRD62WElH'uNj<5,"70Yo)Ń8P=ӴVOGM7=f+0ܐ")':se̶vOYyZ(\Q%/C73VnRA7KLzňpAƞ=WS4OvN'w,!tEw( 3=v׬lw>Ygo%~TZڥInғ?tX fw٩a0?uDo'0@\FN>wլy]$$:zDJval Yj^aCV*Ѵ'9{(B 4X |e{=IKMg:qz%7Lm|N<逩 /6q .č%^qe2i2NN'_5Z`#Ը4g5Ib R (YYlpK>jwi!jRSvA[NC@lwuA:QLFzLw2]y|Tz>/' dBӎ&ΖNЇ{LmIvPQy6pcȫ {($rhq?d,7"qS;1 TU[Whb k&޻?1Z{=7?]Λ]P:Ұ/,LŽi<2˞k|y(tЩ94moX^Wl |x=xt >`cMq H/[L ' KF)iFh`3 )8hFr:R#|;6=eB๫92^Mo\S`4~zm]e*X*V.lYcXB|COrQ[OE}KvoBC7p0 ]HpÖ@!ۇ5r  RRprK;nk%˨&nqL1Do;?ЦEӋ<D4e@Hs5>K]f?.,cM[x0U kgoTڕPJBpc$hv+`"CgE2.&{ *Cu$y3fx86eOؚx9Q_$w~[o0R(4/z򘨧~C+;҈ ifQT Jsk" bb*I\s\t܅hߑR)n q!Flp7 6*c4UT;'WdD@͍<e>G\m P\ 8i[䈝}9CQcY0Q}8HFOihq(mY3`m>5 ^ ]DsCmg4C.dLܘMGc11|^s|޽wy|\|ƀfFR9;5PǝwܐօɤB>6 ;a̹bzra" ! [ư^M,'Tڱ +3zwiJ&]q! ^]e{zf_W;hƖ}Ɯ; (Ȕf6XCckfSt!cD$-gV b;/ȄV8W7C9 +2{=dl>,f ]8/ݹ"x;4'T/4r톡e_\+vwo1߆G2efYx OV8u%..ޛh}u(tcyܙr bFpjlaDzE,~j3k§Vy'ؠmB4̹|eL!GFG9p)k'\ɦl&56tm7J`Hys=ƫ Z <Kdz]_E>gՍ^r,@Bzf:Ձ:_8q# J%f|F -:?+aU*$YiC!op{IX5WQ ߃mȪ1 wx﮻˹7l`giI7zŚG.iP+46Bg=ԻΣH\CO&\3Ċ$RX'4\?˧؜ߋ0 ^ۙ.D ӌՆ1m! tl!5 {aZU9bb eQSuٜrNmp<4!_KZtfbrʄz&6bTH,+7~6jfdDV92ʄ]Z=VCHo+O7kfI<뾩u9sm0Ah\ PexT>u(i[Z}8,1Ż#LOZ!3Oa@;64|֣HZTWԇQӵ˾<ޟZc-arjĢi5fQSKzlΆ>íN-w(7b&JK׵ ? mI %_myM6T0c0$E\GU?^ ^70DG/42\bl4m칶o?,56#RQݫDe,RӸ=^: oɆ8gdR rCWR<3+JxT%<p2IqZ]dLsEo} ~u>?_ɸ5)W;"̒lRrrޮO A 1lnIt^ %N"CowU(,˵rϔ.RVgGne߲?Th).4G,YP@M|d#[[X/ X4DYS S6_%[:8PHrJ@~Lg oD '-ͷ^{$ToB[;[Hix}/vd($Wlc*EɇWp_i>κuf`|; B " (5":* mR#jr&tpf{%ai&΋5aOB#k,J xk iava$iNhRf߁tU$  TL}w=nUHrU^,7 {*6\mr(l^I鑾Y /wE,ZEx㛷heٿu\o2fV/*EDj'Y)yce!2~a^zkNcwqƒ_N  XJ,HplXT%l0,UK8/5@ێV흘!iY$D:,#z,go+y e-mdAo#/Xi3#a%FKCkcŝ}Ѡke@23˱o a< fѡb΅:R$،m['4^9.ߞ5DP_݂BxXKbw`cռryqU#T1-QP$I 9\hpMo)(1Հ!q^2ߑ+Ћ&j=WHe8tmο.MGCV{_k?ypп u-TYGXx\TȚ]P_ؗC+`xbf8p7st̯v+$+SaD;c\/G8S!T{ckeea%ZkL96` uR5!?B("mZፃ dIa&vȟBx6bVhQS#?$N \DoD:-b\ V0| Q9X L'ZYli8\Bm #id z}}+Z8Hiy(x~-eXKFՀFJ0|!S@H%ofvwЛ mXM+ <^V?5B7 2=&utَ;V\ &rXöߏmڊkYC68DZf!.۠y i&pr=f"dzpҐǁZi*-8͝ie1籆AFgiU7g^ُ[ J.f٘eLpB1ryl6,![]ͧJ,6n-*(X.ݥ2r ubAYs$-+X|03'.Io{:>KQNu ̪5=Lۑ]"  ,Q_?,ⷢ:D]SӟS,?( {Bݪ%lɎXT/,/aʹ637iЊw:{`stio ER qt I;?bUH)ƺ5Δy-$w4+o+GkV;d-$ L%b>indz` 4_?90pvOpJ@5x#Tѳ},-|o؄:hHNvʛU3B}& " H˕)[i9hVF#fB< g;# hI? 9<@g($Ntfqgm r$~"aq>kOP*جOiZ7f훕!f΃^PiIg\Αb Qb#D%5?X^m63VA0J{:ӕ8zk"uΤ~*-agRӾ=Ed~snã 2-ZePi\~>Q%Ȇ&3p*mIB,JqĻz#"z^,: ~J"{b9锨_2<5|fi oewC{,(R:Xw!SG,'u0_b7{bd$~vPP{ǖv> ߣ7BX5zhqIzG,#Lq Z.*0Jjkl2);-7%'~&S_ BѬp}MZO :-bpkDG0&e#$FRg;^~1adtѲC~9%3*3>̛Ork͢@DC*W0?*^x"9:;׫UeSKK-Ҍ~LA OߌRI߶F}#{Ɂy12<#z¬Ln}DvHr[iO6G4,):`mpgX3X& $PAX0vxBhX=JҰP,%l1YU .1|!=~ /ILe,ТEc8u"ZնRTRʅɣ-ڃ m˰ |IsP9k㔙DZM6֖Kmi Jm ׆vzPQ!:ah͠5$AyOqQINnT]ngr_~(־|3mW Vh-Cÿ@v8ǁÔJ3zH(,s(7.5X=,UzUŧԲk?ҵDfKp xAIL\+]߄:]L?43GpFx<-n#^?:zu$^k 6$-H<{%ڒ4@@SX^_8}䯹}Ǯ)M& tpC NuPXQ%dB*xMS/o^ݚ_sE2}a1W:?T$ࠆh0arI., tCһs'N $P5\)CHTZA4gk&R<.z䝙XSl;|JLEm C*CoP9b&b/ZlO6Rna<ƥl2w BXy1Wӧ@ϐ̌D3 )rDb8 |0k,Vb_jG9{^gV1V@j d5|C1Ry/ Zhd?b+ 8ٗ3R7$HnxD{TJfB21=Uz6&Dʘ]a˼vFY3r X:+=X1JA.vBa_fjg DWw4{k+L~|/EG_)óhڰ;t0ẹx'ϻ\Iw5S;])$7$@PB`kTKP>Doe %"wXE=<{V Jdb1Aj#`+.g-louIjh' .cGbWl&vp"腏=Βf:3e J>/Vd_G/i3Cۡfa;տ{u)(rmWO4m~LF8d31˸4)+*Bh.P@-~deCYXg!*߽:52n3LŸDB+@Ɏ1fFz=K5BVYB,'>n+<^Ώt^(ɹoiUv2Q йȟs^\D̕dQѢo! 5̭ڀ# Z#b&X .%>_-잻8;mxBq‘u WD'DPǐhi+i, N)BBxlh$un@ B-΅bj.ںXݬcrݶ]wB,BY |.<$Olhߋu,a=.<& w7p3'j"|苨|v #$V1 hb ucŧ ')6gwSݱpd<`4l.qϘXWs8@2_!)~7EhtOHE{f-'als^`{kZN_3k1Nlo ]bK/+jJM=|a QrQB&8]88<!K0?'\6%ۡ?jɡ$unT jP>) `_" E\ _flwuì&݋U^Gȿ hdJ0C3_/=0-ţsr쥥d[ 6izsu%lwыx>;WJb ~էAΈePd2SRE]Etq1g&E>u_LL]/B 4G$"MgҐ 0q _$:!YjY""Jv6{ONw3BԦcԭ|M%gR: ۖ:o#qb~lt3WvAxp1OOzSf;Qy[NM7M<̥cvهe7cϚX | lմ&E?qLKH A6IVLv~E%<8kDT3D!t utΥS'i`KJBU 9. :*H5"AWK ~6=?roOr&RϕЊWɐ=j BZqO54DVՏV~VuĜ,Ozp]=9ȁpLڐna QA]*4rL:q2-%#bVS9$ ARQT-p 0%(J\f2{4b;n͟; ;`hp$+0?p2h ¹fl7S+V h.!]ȆSi$CKF{jQlȑ[ڮr7Cs >S*ngha(P:)# SD7}mhvhJ`7f |r-`m2C`]~u-??k̵N v|u04ЫD'j*%LChLNvQ.A[ 1_ CqyquTzrQgE>o{i/Cx X:@Tfo3ū[ʸE:.F$Yj mP}LBmX&HbȈH1e-V(#̖bcvsz& JJz ,bbz^.B$ikꕉ%o߾Nz3~oǥ7uUA *q'"ރ5UxfJJ.4!.b{޾."tG+eU)"Nb? [/g,ӌhN}O#7_2=x}~:cRSfQBRV'jm\kA9hqs4_[@]b?89%_)2v;%zG, oKQڄ4&P,#FTP`I&2{KZw/!Ҋ @H)8F^HD 3DQodqġ%M;{s@)˟`3J28.b3Qxe+nwBE"8({6 2&'90탧O:}rp6=ž<2YQ™Z{P[g -dE#f"ag!=?[`gsqBH4^HlI\QB4H:SxQ K|2x)xIlܡm}Z뼖}gd.ˮO~(48i;7_&@Z `bnIMGf9.ܳ sW~*%jBeu}̖1YU:/)4w(ˮmq;&+6ʰduUЁOv}UwǍvJV?u60}(t `>ЇcVobs{6jH 𿊴$*x<:9 !́"]v/Tzl㪭J/XS#U֯'@\1hX.%^UqU^A+Qs9%Z{d똻h\t9 s_Qdr_,Ąk +Q.0 1ւN-i}ыJԛ v.yl*QR>P k %I7lf+q$Md&=A8#tê6HF35?r˃MOu}I8n7уFlEԃTgEz"a+i[fS+16XEp]yE|JNX`: *ѵfNciP#^WZ1&Uޤ&SQI:$6"#q ~NiT|HK&hOU'֐ {]YK]8z+quH^7! t´O9'!gVcKDآ?]d4rn+'`DL ,!}ߩRNRc(]mͷG>r®s|c0;](i- g?s6 4Vȹ[Q@7F@Vάnd팒) v9߿ ku`kΉ1WQv~[s(Ρ]k1=ޓm0D7۽&{ h&2i.cG 9*qfɣͧu܂LUo犑Nb:0Ha_QH|WQMIo4mO>Oi?s; 0W[h0ߦ':M٩aܬM bSB)#t\ Ju>)Dٍ)r>51n8Abχ}l*s.Vi* N0Da#^8b dek1o"g [e3e" F=r#\"/' f5ĕ̢P#V{j*U7fj3蟹/mQOٍ2w0puz8٩ aY^;baml$dF ߳.vtuKEĕ20Pb.$Nuj=RY5eO,yFΑʳY-k4#j<:i]62p+D q8?44t'gu~xc;Pq{VUCub~TxEZHNmtD. .N9wd"h7F6MH8 !)얖= %sV$PkvZ&#B ݭAV#9w-bVOCm!OWkBIKn]@?PQ&!S2>> o'|_RވO`ޛ}ȀJ.`H%:vO 9m)F%_b.̶>ąx$ip,xkɠPp%bQwr>v ؉"4N 9:ƆzhHg^!Vծ&=;Aa#[-Bw`B: 9vi ɋ~PYռ>wʆ6gYZț@-?KA6kʀ꒒z ?P7յ{to|QWB.\=mxֶ`2WD!SٟvrN"R &Le|eI{4,LjEfp EyǢ6.*I%BWY[d%ڃf Џxk"Z8lӡ xZ҂Z MyA1:+ kɵ4DLMnJaSkL)pTAb{|(aL$/Ci3YqHŠ~v"O!}O |,[Ӗ m)pkPRnv݄uuJf[VZWp4Ikkxno5ȶ@E.J]T YS\!0 'llҨhT^ߗ}0~L-k7L($P|ٽ wM &Z5 5LQ4+ɼp$jBvW +邩_9#cZ]$iNoΗiV}{9fdr0gD mȂ zJ"F sA'='9>g[ղwvd oIn:41~:F(F:@-TgLtbc\ef&RvHTōu.j"""mB["< fscFw4-~g_naJ& puJNtUd“`ysEiLjxtLFR3+ۊ Ak<$hVj4t&9lqml@UQ d"`@,S\2r3knn'jñ~Oy.R.r6A@DmlWލ[WhǮ^( ݩx}fo .%DJ2!f r28bVʻSt"+^O &`좳J˻OR هZ@ysPuk'K"Ym#k5Na\`*Ͷ#󤞬j8+q- , ̻l-I;m)U,4Lq;<`w\~W<]Jn*l5u+ &LjWL_ANPK|;bCGq;aSVA̒Zsa;b$p_$3vWM?7v~ƲA!\i*+'?CqYLn7p)i{*#9ޢ Vrx zf|[6^jCc~Y5..B -t*= Y9>Jn@x(Al $W`(z,/pZg`j"C۟=aҬ0Ũj2sz+ :.DknU>6̧vnuϘ#xfD*jp<܆$[D(+4ƒJ8ΞplV BI]`04XsaNx2NBY9{kkG~>#; jjj¾YOqgUn0uP|nJ"Jk<̴֤T.ᒀTo]Ll8\1<* ejW*^W  ux52C+bbHQXՆ be.PKi1d7_Ac^ʝ5j!Jx@ G ++ 8vA.d |3CNp&#acboBSHYّTpuLܝ/7WoP`J"&k265`!K#Pc&e)rNK&H[ن?y|ޛ%!v@z,nuO+'Iv[T*Av&Kn 5b]R*j}ACޗQhVSBTZ9yy yiM萲^ @.sk6? ʙ>,}bkoB[0iQ.t|߃Fd9xY es-'y1r_ @YڕhKZR?%=kg]ah'e1m",>.8g1U)Ű3Wb=t/:)ifC 䅨 k⽃GSit][=0!E>,]}2:y;Z³_{^4(KґDo#02quq6}ߧJU*8^Zyv?#a-% &?nhLR rA(_5V]2~= 5@"_v;XzdTP)8-Lg}~lyVς NjϬv>:xy剹izICW53~0/@/[?o-2}]ٽ.r#L^_g<"uphzf1oolmAZZSK J  R5_9f, ǶUlpZ??q]%304Bx=y~-on=kwASwRۦ jtmd%?m_V=gh3zȅ+ XCj*fxK"`~Sw%&Ch C2 @v݋JѣAڒPDKc$)u}C8rLBy!FO__+Ta)3ubcsqJO.G8R{ڸj}McRg=D!n9PǴְYk zR`?MAF'^fp+QʆF(gS (C閴m3P1/ڦ7ӊ%$Xإ(BIwg BۮjW31yS:\~4)A0=- ?8:]8f}k]] .?-YAL魹 S8(Y[+R- Hhvk E*EI:, ZVUORt2L(]^_MسtF]0:%|,ejP ݎ\_bys48?_Z~ xĮ>_pYl7@pF 0}J6mSX`0(ʁ,e:+-\ &!cTj9ϱnzMh;{2}ř ݎbCoyCLBd,,io3#p B蹸NՒܝ+DVYQ[7.PͰ UB̃8ǸP PRpaJ}Q㪥%|`Xϴ+;o5y*lw0<ӟ< >z3;zl,F+άdOdccd.!{U;*NB5#f.JjQɢRm+ 85 N84@#ZLp:rNhgamsskeY޴=Uv!) *GSwYE̸!@4\ĪS%dK^f eXA1װhZXSBD  =b+fN7W?)PMŦ"3uu%-HvJ*ywTx`A\ޓ}mG؋) yHIԵG*\5DoS.lho-QJ mAUv䦎M+"{jF=[Đ s4oO-Kٲ-}Tׂ w(&1- ']Kf%gSk!!]Ro7   6Gw^R6.LEBD;q0_  6b= #R-2.VVhW4U;%JbFt=)ErߩB)=)8Ɔ|jҲWsvQ)^7=Odzo}'@GQw#'c."EVc|a_fy9e+b@|H 7Ea1D@JEïT*!1#,6Q[ԉM@J_zC~r(3I1pxPVcb/:ϘL31HZHDX;І} _ѕdT>"Q-{>RZлɡ\bjvuI"p <+LN?za,lPdB bΦ^gXІ-y ˷QI ({1$T>Qk"f7 7+x|L`WuM-O1W ˕ɅZbQ'q`A .Nm!&g!t!kAdtD XZҁj\© Ԋpƥ]anxV4GE#ӽ89,PAN8waOƞɅJWTM@B dBkxi=u#0A0N҂?RAv*}:UubcqV6|~n i|4*L.VECZ 1;R:qTR1~"Մũ aK$׭0Jc#|rXmB+ ˼@}7cy@ozk Gmhݗ.[`W# \ǀH &F/"zK#jڅj6 siՂ7H"+˯0#7^5;#:`T7cӃ;B{DY@m*@HEgb 90̳}9|CL .hNO{w4NJ9! uW܂8[Hգf;ab"5&^XR;EvJ("N յ<7ZD_d-Iixt{qIY`X` O($Q%#R.gŃh;]D=5#``#67GzXtw 7WY k@ 6#: w2 %M-c3- bM4;,e!Ⅳhjm.`Al軡,\rXh-y$R0W8=L87TK %LsVnHz5x`x-D߅ŬuF*G$IQXe] ۰xl/=?QY%qY Li<9Rd@!44{KYr $UVI{w]K;JU'k ۖAlQ XĻu,oq)yW\v?]0pL}{Y"Q@"н=?SX@ >v|OrNgrJ.GNfA1rA t J/6ƒ[SbZ3yS΄r..`.*xSO s{ ܟ0-%ZtZ>9Cɢ">i #Hӿ] ڜ7n|~:M\!]"?՜u"4C9Tso zGU m#q~V꺮{kz$Q@n͆{lj,< 5Dg6fwp?t%i.qȌ_G\bZKD ?pd_x=̜ T֕TeE,v8lCJ]Ǔ1&9TNgxF82Z$nFN~}ݽ,_P:5'nÅ ~L 1Ӕ6Ff*(VH#m3yu-FOuIO¯ԕt<s/`":cMcD`j{VSNnECV5d#[b;h>!~L/#kEVx"@'B-^ph8Srad'=0]qeUd6Hv;y(ŝ}0ֱ2 ($nZDXĒv3S˙ʗG@N'OsNxMY7t6]q``VHź`$Qj2 fS qO3+篤r,з7rc4d½L= C4u)kj)lUv4Kyl98/z†KŻLRdp aiL[%?W}UƘ2:fkI-V0>iU~)(RRԢ9J*⮎BVYfàc/ވ2|wJWQ;@OۤMa]D]^u)yad^wv$XL}%ԃv޽ )Gy=܄屘uөdmO  3o)H gP9{ۣKJZh3ZcĴbWcwsx^NZ)aQ{/8h?n9u<#mi'xIu?G /'~q|>GTYJ aLO]|Bv׼`B{j@IċjA51RWf!-p%@1.д2S;  J~˒$:h9)AJj&%ut9v~_S[@шxAt8rj.BqAv[ ˰ZeQobxN2,v"Zj!<(VnR/}iuZsBB_(_7몞J G|%e !2쉓ۏs<@kZ! keYJeS>2e"}'s9[UJv!"y9́#pdb])hdKamP}33\+&a{ Qi$@vGWhhg16CQj[LoK!i"DAVä*WSc<7{b/̷UZ'$tKo&ki^™m^(\-Si!VMƿrNuC25H'(QF{~,dSh>e{Ji_ ~ k`Ln[y(r,8IcEvfn3"gI0O^>%IVoQ .t[ ibf'9Q5ä3d$0.+HInoyd(%vux&A'1݃QM}*uemeӚ|Vw7&bݒ+'u%N`?4#Նgq@MQK+td jXj:]Z?"Kziz=d+}/3T|A}>0>Y=WS3)89 gO_q<$ D)V@ː8l]xJn~LKWZ]J9A|z]DZxIibXk UZ !h9 * q zJiv'./m 6]Y@IR:^I)dj VUL.5SU[dwvU5(̨P  1b[`5iè7ᴅv;I:y"#]:hc, _K(CӅJ::˜=èR\e9!ڦ"ŸpPʚxhi씷To$OW4Ow.G;(3.f8H3EkGw J4/p.5C]FC.b5ϣu;Rfb /̶p~!T֬F]VM\?a)Zz6N,bSD g&4VnQ3|zTCqF{w~)%*JkI0t1,v>r4CV"YvJՏ :^%9e5tXMNE9%3Ns(0y_'Ӳur~V7m,^?ЁA 2 {h@Y؜&#aҘ1g.p@DܾJdgKM@ =2fv/ѕ|}ȚkOUx'qɘJ)gA+.^HEH~ۥy&)~IsAMeO=+kw5m^fgXTRz\D#o[Bd4sƤ+w#zAC~`uKCgs|s_z'%8sү-ZޯXUVUԪGz*“IY,5^"zˢ0Xp7f VM M;G>?|ky`(ujKg}%ٯ@4ly#LT+νCXHzQ #U'⥕`A+T:D*oAލ(UqD-WNXq6rH&+"* y6!~Ghra&R$O,fD։ z%Ϛvb)jPj`)lPjz{`g8DiuW$phtE]m5Ã1=G.PwPHQ# y^8N842 5M'atᢼ 6w1g3pj'()ZVlY1m8 K'\L;;~ա@ٙ<m3aK3Ko2)'œМ +Z(4.g :rWhQ˃ה=JOµbJCKƈ,4a"15Ę9JvCj=J%UeAk zt"޿pMq%8cWy&N,HC 7ljoc(k٪H{Z%B^8MD[£Β-_'ZiTN7ZŰJZPFL1|l%[$+xt,QKOR];Vs^Hņ$R>voJgTv{/sBc.3b|}-/Y_._dBؐTqFfآQk()MTC{}:gH !zɮl<,;ߠg gژ,\mnT@Z}H,fu*:'E.oUݝiq5O {`k'qu#:yWov;afF3-~gе֩q-`=K`t b$>`Оim{͡Zծ1xK dAe͢Jz9tyuň䩧G@ B ۸!Cm|*@9C ŽV1nf KU'i^E 1'JNؓ:P̞S&QҨeiW̽YAfL/V>۵u*Q>i3cW;d0iZMJQ]B+&g}@qaP3zbҾ {v};j!fx;fx*nzP |u)Bulq[+Yʂ]-¤F+ +lZ0̷O{)4(21fq5jCa,P}U- 7% vjE-9"[jekÀ>͹e9h4pD7>9\Q5J)2;z"At)I4| aԉ` 3E5*^K._?]ɂ[r:yX(Xh^Suy QSzAUr&VTb`1qrYBH(S, Dt +%B44Jˤc~Y S"/g*{)qO.w j .@&r4̐{W]x}?,e,>DY.[d([Kۈ#B^࿟%i9;BXqÖ=#i󳱯cq,Ä̷`h `,`3 ])-ɢLW^^UWiAs­R,N# :i+N859Zݦ:oGI#@!3t`m=;!ʕ3ذk\QZ0{X=[fćN]PM\arJxsD6|]J~ʅT9(8k2) Qc%f $u}-W4mhv?\t>+ȝYk \ASKtǩdY}V;?z{0$R*w cs;4!MSbu} [gG¡izXT=#P>{>^ߟ>;eL."RwĘӱQH($pDE!Khqb *ިs["߉\zy^;D˻ج>Hy&[5kgw@~ڡW ZY5BԣlA~AGx]FIZ֥8{?'HaOcB%̇_E8&}gh#+:N6NXJ׃F׬5Q%?}mru4ڢERQY BOI&NW̴CM3> x*,hS1ztdOɇv/=A8~`O\0&U2bF" MGP3N}ԿЖۘUgH&X|_H۔,r`HjzVf;6g8.שhgrxpץE%fP!Q^&C%"L;eh&3u,خ+_tXp]]uCӢhhkBx*|d ZuQ3%|v|/gԶzPYM}'e坶\^klp.(fR8mms- []G`H/#e6Q6ClH7`; [ V?ĵzY-j 8,xގΤ<ӫ+) cINnzQ{.b*]*fq6)Xr@.9yUŖEFn>V-IQR-eHx=̙/חt:OYe.jt4sʿd k-cMeHDZчDOAp(4ΐwJW)P"LEȞx>\꙽ mxW˛u !BiÐ*#lezzYt]M@6n/YǴwlE[ ƪ]wH`Q#14#Aj!QC}94CF!H*OO!(ͫpl0xA= `6ư8Ms|R6׿\!FÜDo8^':-7vz-p\4LX0zmY :n+w )5V(yO U~=ܘG"KjP./%k܀7P}.W -۔磂I`^~H6c.^sۀ>(ArR(Nyթq$:lk8?V۬1he\fZ IY-M ش˗X '(srRAk 7!0˦`_'$YL;݌UAO6w3Tx_}07?iMG? /Ub›ReȤLg{g[P Kfz%}Ge&\rϢܢcuo@>O b|0Qm:6Q#ZPkFj;M}"Lo&79n ncboz#U3t0-7H{*DeaI4Wד里Hs nvI!M.r(*a V{4xQ͏h\uo.#إJK7O}A:/F]~)U^ʹrAJH:M={Zfi,_d:D q}F$cxYDt P rJ|R:h6]nggO.:u8ai(Da3n3@5q&tÇWAr[\4=oU;~*GLc'Mgu6:$F~S0-U*6S%BW9Ot:YUI*yYf 822K6}$۪6UečuxI*KE"4|9b{]oSeb `KtG_OjaMzLgۛ4~G6~v,6&^!rpH\bbbϺӊLEA' B¬f)^42ﭖ4r; _>%a1Gh.!U]jZܶM:q8>٘r4lC6󤁷r0MlB[`c?Veܱ.a=L=SrFqQ<ÑУ^'"@mK`c$?y6@zUU{C);vmSqĿ "aJj iF l1 ߈fVL^*umzuD %hڐӼ0:o |ݧ{`./}jQmANFQK7 ){%4QQP&6qчL1){lAIMI䙻ԃ鸖Lwn{HIRe pjiuai؍`4PnD7<)Yl?m(ם 2 cC vaZ?= h-.aHsO _I ,]g@ E A_^At$-]$ /)_S6:77^|~VwgGt Fw`͟[9X =P*ub9|QZ.Ovko\I'`'e@vf 6k=LB~"˜CjeW!w-vFQkZcKU-U.WyBJSf?<6 9%~ kأ,z2ƿ!QΜ+h\&"23++ m*S&wP*%vC$t@(uZ:*@fr;)&A^W%% OO.TFtMfڑY M~}Z9oo=^_MGA@0I/Bj9ׅXJI#;}HN])I,@/|=D 1{4gkuu;0)r=9=s6um]}yD/lxau%uӶR!m8vag7K¹s̓k%Z'!b12?GZ(s 2Du~GUTp`߯:1|e]8Dy9X\ ~y%(h(gp CUk!!˩0 *~ >,T;{s=1χ˧ AJ0TQm#JH-9351:38Io]%팖d(Z>&_NsW;X|cg]bQ,ޮ> kgbi^R6KzBܑ$9>G"(-},U'9%<9Δ̽DM U.$r4X1oZ c}d"p!ptX@G`";nUi8TawLSnJ|2.bnγJ='`l0^Io8DXac`nJʜσ[O ` ?֊︕$XK/ wI0)gh?o]`͋ඵ% % XiBc|#=~_&t'AN,.0d?ҡ33.21, ,Y̓ t_Q\QS-(u7Va L㶅\a|U)3*b#)I3䀹+9xݰE_vRGKY9 5KQ3-KU'*->!!֠kkN?oTpǶRhEX@K!|oЁ0`ێ-K}``%C,HIQ|~$Rh]̙F&c t50ǧh2KX`5(Ӛ(ݕ<6^6A%!>>&R`~J<: 8T#1 87܆+Ċ2C\d9չf9Ӌ,yu^N7Mєř!fG~ʏ{ϫmPlEfN|C!T+*A!!s3!ò7̕Vr{X9jџ-_Vd8Nvd(v{eh%3$GwVEu%$^an[Ű&+-PKR 7a.Әs-KCvn}6F8Z08+ޖ3o\Th?vs;0 Zѹf؀kѢok.;6EІ7!78b=/3͔E[,t`+hdG; R7b%ˡ._ l߻`8!F<:XC\jSC%,@\Q|;^PW+GNBw*hQ^-\n2tP"X#e"fW,A~n G9~ ֗v+ԅ&M*~EퟃغghN} sS̝#o8吢p(a=W+6%Tb`RegOhQ.ydHgHKqsԠj#ʝ-9gYZ ff| )/% Refine_MonadicHOL-Word.Bits_Intdocument.tex7zXZִF! CIR]A-MՋhvG"uIBm5F賗 Xuq0~2Ŀ=nԨ1oD-$"^w4mS^X?Sn=•Ed591=q|>9?*ks<܎xOj&WHM<=vaKebVڠcpso$fc*PnXy6%haH"40?/B2;q"6LZ5QTݙs K GЌ NVOMXEk=W }&\'0d#KΎ@(-/7Rd"^Jܸٓ.65p1uC!\CbC6K'8q0<^R%Ke(a $=_]z'-46B<ϯb^ Kh" 4g*KS2ѱ-Y JJ[}z;qKf5mٺ>YVBaEKs" b )C% TRefine_MonadicRefine_Monadic.Refine_Basicdocument.tex7zXZִF! Mgb]A-MՋhvG"uIBm5NǨ ~N^w?-쎚}ªs$шY7LN6KrTUyQ9IuS[CYnx^QXOAD~&@:mEόG!ohJ!%1`T,a{ttmX`[w6!!cjrop=*D1?S2kOB'3Ks[π&flXHXaRq~Vuj)Z&Ͽ3:mn)cp>f7oWy4ImA*%כ /h.&MP~ѐ=TxrnvzGb;ꃡ}Gۜ7gOe F )u)S^UU?g9)ô6B>Nb\ z[&D!0٫NH&S^M!"qU圽5BokE6-H{mt׭1WR55nU^ B3w#qθvhޫVaoy OL3W ogN3LBh}Vd:ذ}%FM5/M$~t(@9jO3;s=E)G 8}K=_&О;{¶# j&  ciF}$|zo%f؏,#ftWLsipxux ?m8q"=F|m)sY4 ' 'Uf+v ̺[Yz%~}qỎ% C'y޲W^k=T+2͹s#_n-sdoxoBAU%^cJALwge}:bH|:A}tM>wZ&R=a@jҙ>aԅ#Ӧ0(AN\7!~-d_WVZ2{aqF}H" !~>30Ksب1w]yÚ}bN$>qރ!Ohr䱄'drԺHsv#9ܥ869'B6n5)qJ4  c{% bhbm'X IOi*uOnYhrJg2DD HZoIlk }}qH&`L.޻`q^ @8 KsgnaurG&nB!T_S$bƞU}n` ]嶙>uf q6PE qV|5}{-%߮G& y;Z+6;*ľ^3&CR~k-ԡdMU1$}_br}Mw<-W V#rdb([uQ$$p7ޙSHĽm=ZsJe>  )C% yCQ58j>oˑm+ʮc?UZ8;G7W%o F} V0f<9SUT(}'a'G]ٌdzJ#=ƛ~Z>|s`D$XE_UӀBzbSM\ٜ@~{h ӥՉ|H`U2wrlO$qC̰N#ib ExJQ$熳"e0K>gY]qHZq  _R#t]rBD?'T*]&/\_ݠz$;Ko`!8f/Cth_gb|댩PbDA3ɉX{ݠL@*(;yuӰOV Sf>Ctk ы(KlB7HQl ̶ f'˧Ei2oE3 `亙,5R?<YUY46B1Tj رq|a;>e?صS]ek`W1d`~ѽ+7E$~m"+=h+j.6)tEi-:ywK!~7UBgET[2z*Zdxc>z.x%'{ߘ$ )G% TRefine_MonadicRefine_Monadic.Refine_Foreachdocument.tex7zXZִF! V]A-MՋhvG"uIBm5NǨ ~N^w?-!S.{OI<Ƣ55Ms[AdO9}qRD9^ٞ]el+6K,QLmiYc%^a 0j֎ރb>yN@I4\7sbP4XJlzjʦe@:DNޕ+{ٯ))^NM,u8D977ΣRNնRQkNa+yxFEQqLh1ˮ>m=w@I&?w{A_?\$1[=*+Jx7̃`&NK7ѨzPU9(\15O{}z\ֳv*s>%`I\ 5%(lcFmiR|p9_F6M'BQEelA RlM) Ĩ ^ Ҍ%Cx~(JM/x3ʩ@h{M«m7H3&>sX%t1)As;{$-4™`Lr.+|"KLV59Syf%|^T[͔|M8q(篔uϵ (M  ӄJ!8roys!V }8P-U}~"*ul)mv ݱ+TRA6<>:o뮞QC#c @TwJ{,Yae-T #>\}췗eLJLHW쥤Lr/ dg4X r#d⯦6FSR*"5+/Cw;`WGBX;/B2>7w־+cP(5RUҧfI hM}=44ވ5Tl.oA` _*kQtQf/QȟV+?r51T^-6ڌ$MAG uL<2-Ḍ[ϲcĭ8zj-uJfёK;X "_m=ڜ1ZX49iB/nhYg#[Mdz8獠5|db[||"x:;낓O?` YځEfՓ#t-E!Wtlt(bmQg?i.^%'*QXBH c2ٗ/i NuT m6!a?y֓/wCkVpj=[O?'ȁ\^5JOZ!Uq{p.Ed֍yPuG9*<ǬiI)E6T?Ӥۂ>Toɦi BJ8͐ {+z DD")g6x f3p ]rSh}7 ((Hp=s=y K1ddѿ_j@MLO}wBp=1&Qs*G,þ5]f׉ծԸ%DAno'RTF=ﶱ=~&bjgxTm/lq 'tɖ((Z.ޥu?Spx!sFy+QԮ/ O⺚Ozn_KT$EQǛbX3ld`&]h}%ƅܧtί o] )S&/1jglsp?o/2wc9|l;1mujrbau8r'dԥkUޏ_h:|g@'7iSu(o,^v/D/٦s9j0a⹙=z +\JF'ۣ_J}CGYȋ *߱3|tDFtubQZ_і }$$15u1" 3*eT+cOx'I.%F$yJ4Hi2|?J"/OK4 W BoVRF}}U2Lʜ#̊ $I{mwػoM'U+um 6]hN~Gx⼣4,G+yti >2s*Ku~9ۮZᷞaڹ[ɛo&fښ(j@ #\}.Gn6$Ie`qSEIRm>Lߙ<:EܪrK@ 5T2_[g*vTʠV)׌F͹)*W0b٭\A@ht(EH˥\ZƝr郚%sn)f"h4LJl0)!r8r 7tj9lG\Wi gNxlm/{;hP7aLM1BKbNd!c8|Ƚ4wgYZnIowchJl<<춗=<(fdEeע _o5Iz L@O{^w0k[,}PB%.5rzΫ-"s^._ƆiN+꜊=P}*TMLȚ#@ a<Á RFc饐;^oyx0^Xv *@ya˄Vm29ZAA|Dx6#h쬬!: Yx*R5G+OJX'*F팜Zj=P}nxJzE V`6~Gjei+1xL &^q;6gXeC-<'}:Reeru#ه{C|dGȉ 3z.[8%었3"+Tи" D|)e53XxIJ)v6@> #ΐZ odL~PVM^dkW(ŕ6ˬk%|x=m=0ڐ<.->q}f!Ea M kކ;I;^|X @ oJA>aXMs7a0 oL~g`LKB׉C_'#ks{'Nn8YN]! ܦo=1eM f|8; R>[J1GE*AkYB&/* zSC#vZ;qi_P,ʐL`=mt&MC|SVa<,@nA|D&&. *HCId!olmFɎ$H&nDFB1B(Hէ4Gh]b'@\X:E`kWʮf?cܝh޶\:This0*gbh?[ZX{fctH;}f/͎C+!BO5Nсw |q۟If>ENk_ ?VS^aM-Z;`†P0;aVCQIpHH =ds =BA& 0Z`\X5О߈7jZ $U\Z|JTbc9 ì&jAu{7ie%sY2ǖhEiEם?L_S!f- '7*0)*Mx==PI[@hKPGI$f_ هøMkWdm/\39;Ȯ 2~ݳ^C_bif8j`h/pZG}TJKC#ث,n2?zX? 5&jL"·vljwXQjUnX{5vp+'ц:7vg&rڮ֬`ڱ:Z5EL^t Qg etŵZϣc3d ,6dK9I+@=Tb:cY+4,DOiaIb۽* RVy( #rDL{Ń)\я33=c &@1;MO5 j*Wp1<2EKX.\ GXVY/^=Bbkbv<~Wn QXS^:#K=`VzZ(z7LXuaُƫ$=< 69C͕l^/^5xv7:]ڲE;tz4=L]h=Գ%3MNG;l^ i9`.u_M /*_vU Vdj]|M=$z !ܟ׭`ܝi}%/\a0ob6Da/@rgji#1le-S8̽Y8̀1/ Ȇ/!g_}&bib6VBToZ/E標4rj>x?9]{&h2M"Fo묧3#/fkwX\B(C2F\%1= m+Y>b6 yN5cF~NasiǷ͍3V Wa}M8]XڳoUD'mޑ iv]` =wY`}3 ?-O] Zoxc6&1K<:64ըuԙYj-:ilLN6}>ܰ73Vu֋k$yxP& iO=_; KY\!ړ !]ª> q8kïxwUl&nĩPf0DEsRx69P;g&(kPtgZf:#|TTB%} v7큜&zZ>Y#\^T "Na -BuƖ%p60!͋NJBސ<2b1ٕhۈ`8 ϲ&3r02+ XmĮAߴ3 7\EL̾H'g9rrLKkQH{"s*?nAxQCa 20b:{lkdod6ӷAaz'^'LA/=q)2ghafuCY$J˧) r#S{]k"W>bj YC'nD@_?h8yQ}dxꃽi`6wħ [?WFWpWnjoPc3my*z&|K`>K7Xj{"~?BxW!#%ͽZ6 $流 OQaSS4‡˰fD~ :LT fy|(z\ ay2ONi|Y>Th}ifHx9Ig|D /+M%_'$/ART"zN*+JXf #0AFI~r{;b(^Z(̑xȹ]]!._Eڐ; \]~'mÌ!.[7I|NEEZ1m g__)[v{46]w_;o!:њ$%NX)WuќhGݜ:`m$st.2o ?`ޝWU6|UndT9y" 3%J#:6]WLkxXAnrMܬ'k$5{4$X JnQcfp~m?+E&SJݞn4ܓLO t >[6FxfNJWaB&22^>A:IW5 ug e m#0v#0 9` =LJeimdͬG:K0Tnza]흩b/.RD1~c WEP苵Y"H'G < UB4sI6e\K <,ќk"%_fSU[3ٵ.g'1/P$0Sg:#>D>A-aaIچX\q>ܤv56"@jJ)ܒL OI&Qf͆KBh[Rvҝ/{EI "l=d( 9}pܮ{iA6ز?DN޿(0_$ Ȑ.|*%pTF%v,p~aDT}_)SjÍ-I%WAэ. [8k8,E }k~ @xU$y-T<+0'wRֿ{k4tfvvb-~E|tO~5{A2,75rlD!ByH$c|hNUO|d. _e5'K87si4"MA&\ԿߞE9=dB# Ϻ-G+qY(7Nƀ\OF:T#i)m"*A 9 LUeܘiIg fZ8 :/pdmuaJۦ<ô`B]j&axO_$WaR}w>Δ oNs]Űn8f%tABO'ATM?yZi^ϘDHH@c ܟf6 uy[l_qey>D@W[d~K?@e~Ɣy1 ;8ocӣhZtiܓaZʭ8 O3֫ݖe9nD( d^9PCg#2QA]\kzh~״U\|Ȍ=~&d[݄\RNyn>'nsO+[ZUaݮ-qM )|`ܖU QK霈_lpxN >UI E ]:ꜩcdҭx\$yi1/[(0pov :iድpuȜ1_4Bf5}`M7U+$/a4h-0(DiЕ=GǷ)v~ Ws4rg?#12JZ-"8_@,e |fPkULʁl/HwKfTxA1]mcnj$߀s}Tr"-7 r{SwK=fdhLX'I7 y+sSE7ԟ@U"TfDo/[`!Y!rō:`зs$sB ۡh-'E6=1&ɡtAQcb$GS99TOh!3m0%Ќa| 6䙜҃TI,h8t 9ͼ e4Km2/8o>ǸP-pz7[P3-NwE|B cm|׽#*5X TtHX$>G@jh׽OnXGw#q%zOX]+YعCP^P"'txz9sWkd~ 9}t`ɼegKӼL Q wۄP9゙ (uHJE郦X@U^Au?+_";}m1pg S2g v;_O<Y]v*cFbeH91" KM,%?04x ĝ"?&rBEʔjX֗8>-x} U]1 WaxܕJ1OGp_tEA@IAѲol.@/uN^fz*V:Y$B0W=ч!?2_(. 6u:fi7_ÿ"'(@Q1%haD:o[NE 2D:2~/c}C05oJ8%\ə&ʃY6B rL(莆uy$:[p1Z:v@R]dkޒ\;}vC"c$.V2Z| }<9tv9d%^imiOw*/vs BG%]ќLFxg2P(|@uZ>_`7Qs .`feK|-К]:7Sj dc>aO!)k6&icX)Ԡqk2˺3kw;hBwf3'L峛F kDh~}Q/ю3ڹEZFE@|:X|vLm5_P y*) F,ZTc6x G:nsAN~ӌG]$ZnT>դ7ԍj`-V_c%1N[?X_)vkk^IDؗdnZEM~!T42'`tBO gjH!J`EM=*5SFLGXQ%mxՙ\13=|1cRX:H?Ր iEc|RXatٰ#GAa<@~`H{L8fD](kn;Y.e2Ȫxа8(`!R@HNBج,TW]+(ap@4#8?gCZj k4U$*܋k\( B~tVg>6*X7D\f$o HYxy|5ۣhbΩm {fၢ%B#F}qP Md4<3}ld`Q{mx VlBPNb,1uRā Bs`ϽKrL9 ۄ!Lv$Yb1y[*\* up), 0@˯~:=vn }zRHhufC[:h: /]60I*)0IV.;Sf MDJ݉|vLC SOaa(K~WS[pڜR(})`@"iWrd#R NXe\A9X(h֗^uD%P*7$"d6#'?qf2gƽ}5Lff^ wJҴ ")ٴV {-_38Œ) B'*jՄfҤ4 Kyj.,LvJh٣,Gqg٫@0AtSm--[|Qo:V@Qm Se>:Ju}^=6'IS$^N-$t(NqjI!Ȱfc$:;q{K-r)Z4v˳ o6#u:G@TdIJL0̣A5Ԉ&y~F~ 0Oޞs8ͳToq{ΣT"m+ai !wX5]Qј0nmR=u7/[6i1t+J SK3u;Ut0u EQ5y2tD&V^t(цp`]Xc[4+0nTrSZIZO1Lg e؈*k^~g`Vznbd5o "}l۟4Rn%i,0 &P~SQdS{exKʹlf@2Uu%H3 =U9/c3ʗk$=9;4Y$KN?2hܴ$7K}.qΐO~ͺ\NRo+4DM}>B2bVRnaE~ >'_/0+D C~,` (h]d/U)`iGe*XU5]DGd2%/ew(5h׿D BUo^|,e!?myV{Ʈ]@W:vB=)psHw)]|.]q2ӐH[TKrUT(5,LR&>I6B4[ դ]|(CJtK&x ;VʉM^ߨivx QUq7#Wշ Eߟ'/ɞDÖEU}ثO+ rj>1&SQMk٬ ?'BrE!5Nb.p-DKk ݡO'e;q⬃n-BXʯ~."S,,7etÇnwrCK]x[ڄ((Tn<$+hR.@o6:ªK2xWZWp%jnV@M C9F#1{+ou; dDoL#Ȥ{ \?PdDv~JyH!yTtq>m dºu߄ ީ qY7UETJ Ed!<ZLIZމz]|r U*lq0I_%]:01;SHgt#EH ˅Z96j8՛,ĸx|9S T&l rGgz.^ܨVW#sW`/E4fjʈ8Uk`X hr1Y 5^!OhYCz#lDxgYZkAJ@9i/_.>b/+!R''y=J.ӓlTn?]ܳڻ1vʌ7{D>6m' O)LqjU5kJ٬_$pPWɣ'U٭ʼnb ڧ䨻Pr}T {u.R d*fhexJyYX3du|0>o<6.R"z:r_*8֔v{[#1KEz[lta+2!-*X5&q0Qs"Wdxr1R D:(fzS ) ! OS.h?hM)33XC--*iSUAo0pg@2W"!@VlKWc7VݧE^V {ܗ->{M3aLeD"~\ ,ʱ2?"J 38T6~/q^K8mI* ]9mK+?`0@Ž6'M1ܝH,Tk"eUAJaUr0"ǢN5o۵MKMAx{ PPLۚۿEio 8R (06?10D2hu;Eb+Y4Eaʵr"ѯƝg5R|v6Z٪I]M Q&JyL\դ- \Ip&ЦM( az6iMch9qGe'VxvU tnXxvlqDP~y] `$2KYu+]wq.&/'){:Ym:. roNBYv:6n'\ ۇ$2]+tU5fZk.h3p 9I+ 0>Opcp4`zvdl^dĄX}(' "Тtr0.0D _b9p;q=,许 cFtԛV>ȾB[@̴-*>H >8twg JI&j)7C+ l!Q^~I25<ͥPuAYVQQ|`0gZ8Ue*YZT&ًH(fN<ظ`-ir=ZRAre4 V1 ~ 57+",(I^iS/C*w:l!+kpiE1%'g,<BAr0W0o-7o/f2ޖ@M\wįJK =9AH'&2&5;tN̳CAL #wDsh%"޸;UFƹ~ ±=)i@kFbg &XnL>i6w81ƼRgOy ݁qSYhC=kTs^"XV5~#LJ_+_x전J8au j5ym^\߹?mx}q+1tn`:B鳾cP7f,Mpʘ;.?^ 4HJ)g3f;df(|*OM a1xt5d".L@aep(i]U8yQ/sY!/IՓa_[ X+Ssp%uD}qT3w4U: j^{R~9ІߊhƗ99TcJ\?U9IqU7ı`U*་`ڣDkb!a?8vi"2Q|# $5&% Y,r-J0ub b;0փCjIX.-L<H̺3,mHëDw&!b1y$`/DH"4З~<,eۤZT51&ie@bzsGe!#8uQ"Jx_ߏ3CVaRP+('2$c4tf2c &:n\b  [s)ԍLp )5D\FY6Z;ji&^A_9d$N7$妙@4ҵ0 GOܭeV%X% N+BWg>Gc%I шBO~]Ժj$'w׎|JEUI_%;g'b8.&0D aӃy·s ؇nk1[UN*TL/#;d`Tgx\C]"ER6+LH/E>f*tO62Zx⻴٤X& vh:ۓ ]-)w$mXώ7F6wen@-ؽ9D졎_dWp*րrTx(23uG^gSEh,̻+/Ȭ"NyFRuĻBm_Wi"Z4vRirGP<_?\~'A`C;yl_daE#Rvڤ`&P{ _^?\~1d5SpPE$"g^BA|esTnh M8/[VV9^>.F_O*]E埕6.4*o>l"w/B)ڪ JXU]W wz(?\}0=`8 b щ.N;t'Vp,RZȁӞ9W{ad'+X{ -g`8F`'BRڠ؞ }F,UFo4ٸU3)Y j{0W L)eh!MCu ׉&'HWF0[Yf9_"+>$UY*(:EWrM@.oKRT^B:jkɂϬ2RӚ= Y:GpC裉a>Sv#"d5P5Qs.y{@p 5ӏdaD:zɤjj~!Bpz:c~t8= eWr2I[-"MNC!Թͦ#p^F9O]G%]XزccR/BTTO"sTEvo%3]}'!?ٚ;:9c3@^He օ4b#΂QyJy3 H{< KwE픷Qrw8F 5%ԉ=>j3]1{ԭ~<󸂝Lbrx)hɫYOzy %l{|@u6_jۙd}ޝ. !OWn8uAYM$mdM/BC-'лm=zMv8cl9=qY;3!Vr6vU*~wL-GY4wS!-m 4tyUȈuxϦ[,YSD-!gT3'Ӗt`L*ׁ e:3+6AW28uL.b3meDm2⫡cHJ !P,]n*1 )4, t=}KדV%LXG}\͋[~IZaOPcaN";UauFX(ȤR!ȁJ7u9[蹑 ?0N#:MZ]oo%'’gW\35]"*Pa$@%E`ќDd^Z0BhEԏ242YuN^+p+di#˩jb lhQy = drp1EE82 ¶q?lB߹Fv96Wadb Bqkǵ-%{3{?ln2rυㇴvw)\RѭC-*nMIwhmanr}]!HL˱>r/:JsL7i9`bFGFi8jj.J$;HGpOZ'^]_v7:y49kq`N@( xE@ol-Sy(ݾO 8䃒hm5w{C':!(|>ݞkdYcbVZ6{by61+/{?2 Vr`Z縃y(ǥTfyX#}hkiQn5? +2H50sC;_ NЩc Y k}) 1 ʣi[q1g['((-t駵sxP6BmrNn3;4 )  5]gMA qwc̅$m1~.T-6u1xH$`*<{-vy0ڷ7ZrQF%=,g\S{׵8ɖ /4!54Yb t3- 6HrBJp:.Re̓T Lyt5<+ѩ\jx5'~[fww"b^Koc|O 6Q-~~;;ʽn)V@Lڟz9Z!+j`m_A6s/1sI"bʟD^z/3I(9Hx1?WSfF@OPVNG ޾V߽WGz8cϧxZ_ t,!|Ɏ"dcr~DUE DWY+/~#HU")VMl,OͺuA~7`bzZ$CI;} P dU#9ʅMW}]p Lܐʚ4f%i$p+DV>$6xk?"MQG,q2ԏ= T,#觹^D6w.03 bqI[s d> ȭ,[hMƋ}k΄ #}`sp>Ʈ@X kC-$ 6z3]ԽQG(H+vRx{Cv|a$C+j!lT@ѭ `Yn2P {y +]_B0FX[3ndQ*_~!tg]2A}#c $YFI5x<^N#DNr>1pИ{L:HO߸ OOV&Le R ~nuvrJ)9~z.*&O̝[1.S^=Wܯe ׎.PFú5)f c1¥ OpzNgj U6Gw[Vs7+"6=hb 5؂VD U"|C9xUT 18×d:YQWkAȯ.2pɳ9B"UB7tPY;{|{8WV0,>NM)ݥum]͠qjw߳"i02WV1;s%jR,H KwFn5`6$Q-9x/*: nܥ;^ΡEB /h;xhWُ';xaϐ 7]RN&R|ܱkKΝjO-e+O;sZ7>:Lǫty9,^Vw;Po0ʌ[#l fԥk革~PYB3Z>gYZ p`p: )S% tRefine_MonadicRefine_Monadic.Breadth_First_Searchdocument.tex7zXZִF! 2]A-MՋhvG"uIBm5Jk.㳺ls#(>E;!6 q9-B_˫ZⲌK@FT#2moFw2i:cƈØbfQA—%lC15(h*lAu:TʧU?&س@EQ{xh\՛Tyz÷~_zhU; ]e&$SQ 7Baۼ2 ŪSMߖzurQRò#lzKΨNFNHgcJڑ{taԬ9=?LZю:)X[(rbzZ/d~fy{&>0G|)$981 )A% 4Refine_MonadicRefine_Monadic.Refine_Miscdocument.tex7zXZִF! $(-]A-MՋhvG"uIBm5NǨ ~N^w?-||j5 f[zBńi8,_H!Y&Ȫ2 S#=?tb>ޘ i48N>dn*qh8Q/ʣ]7Uء{{>iG 9aTx@ZoNCev q텍eS-Ui!\6 dЊXbLPy(P8rj׊aXX_]qd]XDչ"|2jPfF=îI شN^Tq(&]yOzeB1f/~NInUgp`Ћlv!ڻsm WN8&dNrb9v4)o.y>V]XԑLE#_)Y 0h~z1l 'qJJc8g(%_!\e4܀s99VUj2[fEH`M&d6x(+c&egA $y/mt7KV(& :&h"HЉ%K T#A0&ւa3|?A,mkfo AYK8_Z[~` 0S>o{}FEo+شF68rFDIrW(\9رG2N%ܷ|蘰8\|j!g\P./DE4 y> 5|4rKiۓCos' X ct4[ a 0*0ldg-+ @AcM8\:nCt,s5@5+8 *w}}(d~l ˃f?PwP9;@뿑= `Y2ͧ9wF'bF]˫Մѻ%rj"u/μ3]et ة S5A<)'#e~Qie{|,$k*b?5$ r2|E* Lب2+ZUH߬񨉓@3+ b#^eϾj  &xB_… @ 4@ w8x1ܾ\ۺN"z0ׇ*r҉zp\$e O7Si~ƟOElq:-yZNmIZSa^P &v7>@֝_;%OjeϺr'/fť;_=aH@gE0``_`Nσol"7Wh7JVOVa{δ;9󕇐&v9Be8v#koF# bW&!zL6A'߮ƇAëˣ0kC Ȏл8(~MQ>CC謼?Gth1nb`g {;6@e & qr1."y~ <Eo[>1dQ1X'B1f*QM|%:2!1:ڏ$d[ƃY7$8c*D3\CoO0".HTȵpir7ڹox)-+K$|#ALJ@E!3O7{=WHiW$ ]Ц\0ql S`sЃk(7XQ# /M`ktbj~ @5 s 5BaR8CC/iACfp;agޢ|~xd*;Ԧv4[lfiOksni׎:ƃ`dRJ0)9Yc߭S <«uZ02,gk: % cCNT}ܤͳ~}xhHY5U:Ho\" BYѷ|iEL [Y3S7gbLZ,st;]ↈwxvVm؍41&",鹙wଌ EL/eǣT5-fX\zd2>aǦ۶A2@vW0l&Rw7Bkϟ\Aؚ箣KѴ<^6? 4$ZʪŒY+`JGWE\T b˚_s?[.'{?aϊs^Z;{xGۉ=^i%u$L0RJI>+"V+3tzwHUk[׎S͂yRYLK)[PNQK"P21Q9ȵ]QxfMybP`q: q9k|w*m(}za2yxo>?H㻴f%˕aMQ, U "h5D*!cWv};o4r/%HhV.QGk73QB&vy&{$0TA,{1|qȨ¬;ۊn Ǝ-?"nNKWCnV/Bc%KujL<&qAX#h!P=WS챧lͩJ;b.'"S@#-"uo׻_VpMT Ri5)1Wl?v|j5||M w{ 0<"rF`}ZWf󰅍9bJVWVdMlĦ;p ŷF:H  XB?"D˞ZkI"+t毜HF4JM f(Kpz0õ -K"OBwrqe2|kaFp+~1{5(l3Y pRyB"2C :eMHf)>Bw 3a{3$I?~39&b4eR/k(r mg g4ъ",[ nCV7Uێ]E~9Ô8&O@A6!]#JP8Z'-JT``U Bs "2Ua0P >,HdU'+Zo' &0H>V~HfZHNxq*!T,n~ VY85ªG"qA-\ap$wh?H՜GWiNenñ`iZkHcUÚHڶӺ&fJ{HDop`8ZTBL_*%P $f ЃD~x}hq"$B7"^N'Ÿ0YQp>ĤW(^hai]&Asݨ3s"/,BF,ʕF꒮2#pZt!܄$Za-*79D&4y҄@=:?q׏?Nˇ# މFaۡ6>]qD|ugs$f;$W> ̰ R#oK0BQUKm}sF{4~6XOՕuF,Ob%J"h4V03P˸GO+NftlZERsLj,lq, *6ҩ"+D{\ɇʍa(܊N~;,GA&w]ϕ'>!@Mg[: Xtixt.1ǔa@N@8 v|ђg~[i<)fy}aV2xrC3)>ukwځ"\BB̘QttbSRM}80L_7 @w{Zܬʯĸ3*ڀCo91Ǎ:!d@C|/i:6#X*څoX=( !3"nz,`û"F( mm~!޵MEP9sJ}_Lwu=.O^-Ng90+iG&W| sX7a#Cӓ>Y/3<bD37͂E}Ls}FJx,!!`;>y >mF E2_rfɕs\|\> %vm_4PG)aګ^ډSW!ͮ"$.gm\,\8"Z}2(}Ao1N:z5(V:nyM\/c[4sG`5_&C ]} ̉W°4 +oE8)fnoB.4^avINj2:rr'ip!II^co0Q@E3 =ԖsԭEZ0V=jhC@q `j"6]]vS%ݻnYKeRv 87dV, qHgT,'[h[2$0>~y}] 6_8O"KaB6j+9@ڗ I`.ӽ_$0R򯆭HCMJ$$Y>؊UyˌAMti"Yy.,;qdnAno  8V(}$`/4H;6uS^A=u#|KiN4nu1NEۛ.?L4eZl 81VZU暌:Mt4:~n ގضqiHdh]$~jH sEV v Ju*-w 4gJm? bhxe+a 62Yq.Zi\ZoI@ 7 cL%3(ig_ƟV:lfp GSda~ҒkLx^.#RP"v}OW%;y9Ogf-:v buXJXG ;f5vD,p7$0 HW`P8Zr2+6M7Ѩۊ>}FAmw2XpNq/@Lި.F4p۹(1xlWw?q~wk-So+J^_r4 rocz2Z:9n>ߧ 3UAT t;È-|u1U|#fjX#JaQJNv7dƔ/nr(-AP#{47~"Ne"]l1k1DeiZ ?y ȭ)'8g?VkpVD5_ ?:ƦZlQW"'=g625 0SV|y& ӃÙ21|SHڭ-+))q1M_Qi`2 } =+yz% noSd/*1d%.eE_v_t;> DZE{]=݅ec~Udy~H0bү(Tn$`FS]Ll7Nz Z|DpLOAA8ʯ斫H܂gmX/ U#ch\}6zDP}4 fƮC̡&'6*#Viv6#ӧ:p9pg,]:4 Ki/!|P zZ-3g_Y+ 4hqXX=|xډI㥘ڹ\m@6Wl~;XER?nfnN{ \CjR n9zrI fztR{=GP~ B Ւ&\&5k hI|Lf=XvU=( Gٻ__cĵQli[UVfxʡiP\_XHְ= _f7@vә=%;w`(Tbb E&rc/a;=-0_{oj5Z@( ha`nK9|FRG91{ZVx J~-Ib= ViTO$Zk C)")ʊ'RjB"+/s3i4׭?|Wf'xUuEiNxvu UbrΐqcPPY[>ʏ ID^<OG{@{ Kq Pz6Bz̲˾EȔWm`**օX@үBԃ3n{Wc8]roP.Bߩ8 srdigYo&"jScWc4;/_v/[i*+n\mI ]Lڔ fw *R -N:|/Eˬ8aC)=38D||aI9R MaS΅ʂy.."Z1dΰd{|h얰~![O+#_RaBJWKb&ȱ-%D[nA~ZfRh:n6NZd_уn m w.9$PUcrOUhBf#^1‚c>Bor0Jlfԃɕ<r|C6%Wʢ$;Q>f^|Vy' bt{̞@ #^(٬\B 5j-AM1e3վ`rs> ~][(p!̉hh*tޔ^cXȽ~%I Ћc *u%D^cxW8Uln/D8"/`=y!7E1CjzuVsyk|،MR2c`5GHPMݓ5hPYަ m&72Lm]o uwNW3l~YohVm)ܥ(PTp\g_M;)vrTkbkLmNoT4X͠} &\6&7U`f5Vj0|k4$PTK0J2Ȓ f`sewCdU&v ʋw*2mYNAsU9\k 4dP뢝xwjο~o7TG焾OHV{2dL!,`TYVc.S Zu CZb:, wT6ޕ 3ycuQV-$'^/%2#Fڐ.qLz|wJSR0$8_nMv\sǺ^~(t֨JFօTdp–U稉?Z&׸_MG";bc+*9·I ;:A9'󖞛!ŻU mY}|s ɬ@@d{2ev>?FN? pvioZFpjJC@뗴eiA%4SқAnW9p`D[k']H'K?2HxVdyأr[ςT10.Zw9KLk+CH >qM|`okVvlw e#t2iݺFP`J.Datv>8#%oXߍTI! ;.}̭jPYƉ +Fݏ%S&2!"UrZZ#} 7u Hi l]Zt9S*iO"ATG\q'lx^oS!)!fl #Wf|lf\z%AeWvhCuQ;w+BwP8=ċ~]HCCRuXL&5J5k9uyәr^8L &IMq?sڻ 0?J{RI9hcA LׯE*2nguQU .Zwҕ~ܰT%A2\x!"eg m[p-қ![zOpduWG2HD}Mʶ7AQ 1/H2f'%?Б^bԀ^Խ+2a\""Ϭ:s: GMogP[rCKm꾳7LF;Gk7$\b(lwo Lfj~-X "L؉GZJjL:{-Nf#( 01˜"y ΤB.֗%HZ1{M6NDIweut$$e>:aOJD>ZIQeka7ak$P?沧7!h#0hΩq,5p^!9QQ]3. {ҘI<.eE. Ms{ {W1 af2Ջ@[D?fς!S\gP~+`/޾*;ϸb Q{}ζNf`"+;p(?rZp57u?y Tïy3l L+{U$I`^ xF՞- 5A urzɝ/90C8-HOT Bj؉m<HmH_F5u1ffǍzc\ȥb˭'adh*Y#Ep3vO2*tǡF~gqCROa) vyRYO⠠GA^ Wq;[I`>m%=p@T%wF&ʷM5q}B7  _8?V֕^:5 o[`@jD,91P$&#%C [%?c85hv?LA@_sZĞ:k:ژɠ"$y*%IC$xc2<+&j## SS2,8l\LU鼤uWlQJ(NO1JŴ <}'3p`)griowwk|sMSiލt+=4b䛇Tf`rՈS1w4iRfR_1kߧ&j7 ]hrJ@|xUDq| See6cQ,uhM>o73+PhxP'RݠOh;bvI#Y U8j5ߕv#s㻎1Ugb"krW ~FG3$T>;6Smtex;?lxG:%1L+*tۥVܴ* ̿K#a7jۧ&SH&D؝lȱf'L끎O$?R\e+yw>%J5k k>ԥi7M䆋P֌,~i7!~!ї|E(AqB^Aewv |G%WEHnH7jhЧ\m/dTXq|!gX^_aogjl8Mx==vqU[dd C%PqQ E\'N`ξ=^SA傤f*B[y. kv|j7 +ԁ?]O'ԷS:ebH0f.UwVs1_ Fyp p>uVL8wzOmH4LJTtPfOOp^l>UbG'[/ S~c>4x/20DEqjWF'X-P @.gYZ"wۗVJ A^½?=[xNcx6tNU]=-dJypQD 얂.1`#mKQ2TRrҦ`xŦ./j!O(z@soy_MCI@>oY|-+h:e]׳m(;lJm;d#S$q~ X7d`ؼWxDSQ!)UuT+.oC?ɜqd ef ;(!wRŶ"Gh)hbGݐ0#dxOR\1?ٳ7֦]QqpnVyTg[PkapBo aW)Td`BN{92©q~ǜF+Uޘ=mrf= N~Y E5sϺnT 9sXׯ^?5FgG(1bT8MYX:P68 FÞ 0Zo z3Wvp|VKo&{,Tάt)0Gem(*Mʫw2dIF܍jQ+(( H `+ /b/h֊8+ vWе0Xu ?A=GgYaDPo.N6S?p";!*J墕7 `7v-b:s>$(LaEOMf'eɀZmmԤ/;"mC~;{%x dθ`nUb;.ܡzK&G7}0ӿGT6]kTSYZZ:LivcYPx풿~(\hSɼÝP6Ji`G?/ r.gjVf~ɸ278YP ӮfcVl$U+ s(%֌*I! xaAzq%u<@qĐq< I[mXJY(.LH[^c +#\Ç~(ԥ)?Q멵Jp$Aw@ %.֌x$6zZU]#/TBY6(K'bRPkl\H~B}rjB@d3cul|\}|fӍ(0a0Ǝk|U/xeW^_ڢH3:(F }1w>3Jg]WJ1/0Hv Bu2mFjha)׈\u[,[1Fq1@&~/6 -@Hsze~T!bMm-F(U봣ήO|u+[>eL aʆ!T;5Ơ%ETvA4D]A:6xkZۙ{~ GD*BHH u=҃{de~fmgT B$Nъ,>ǁ5Zxպ#)U(QҽYҵf&2a_~gJoL[ rCFA! [ +08%ҟK;ql%k[z3B=Ⱦw7[iԿBf7xB=ha=^aB)3r0 <`h/=pG~_2rt ΰSgyj(5=C?a.iTQ 4^UmJR(躘fm/g􂛃tVPj,;<7ǻZ 4`bcq:gctG\{}> "=_ RT&˽aaHYȽ'ݞjZR|]6`/ # RY:foDžAZ7I ^]jGuBrK>_ 씝pqhbdr]Ӄf#Eယ?c;a@.R gQѱo8'gq"l zwAvn[uأ" K im)|U(ڶB~m 3 /^/Y] #5@nx6\3 /xüq%C (DJl \'㰘a.0 MA^.cz`cD_'EҖ=dy%nj%tv>mENj$4tebZL"BРHpOYCK&;@"|'A8mkS:]gewmK$CJ7 Fz+]+Zf>z4` 'A78\#pݟw7 ( qs#;YYgɩJ1!'ot"_vtMPɥRt+6z\x+If."cXo^Kv__{3JԺΠ_*elak_۴Ȑi@:rUiabS ۉ#"X?dfչDeY?\oȣ \t^`;zD)r7m2꯳|})ѷ"S)d!4chxܕݮY'p,iY@1V.I":UƳ+Hs9~?y]r8꼝@W-{+B-;Lek_E03;}<4<]x"D@ مr=]: nu kPLcsASQzc z&08J3VJ |ϧMXzAʵJ9b^ebY߷=xx_n@ݹxTn X7]#IFFXW|-= c[nߊA*PtD!AEq,$Gڤn;NYZP45ۯ^Ů$?3W~kNyMf%*zTuC-8VXM*QxxP3EeߦWZ̼b,41cGg7֥H{:Isj{1b-Y:ڈH#v:D GsZz Zlڟ&&wʯGm!Em0LK<眄cu u xMS%XpMx 0Lqf`ୖ]lOhp!yERH'~;x#VKy3࠳Sdd=}6;.;( '0 L,'R(iD_dRbn^lDaiG eΑ0갹~[Π2^!;_ hWk0>X*_9X>Oo_j(0:~w zVbk+>M[)f $!{xcnTCKY Hc3}_BzP$Ff6?H{^ "Yg|B1]U7 @!柩+.Ej̹S6P|k a_b(u&T"J0a/k)3}||ǼcHi'mLq+|*+&j4 M1=>zJ*Ҹ[R8W<0h;-J mQ$>ܶlփz Ԯ.eWIl(;E\,"Eͳdjaj|@#%L߈)I,qr"x p2t;X|$j)!EWͥ)2s&7^zWac GV(qt% RMx1U9VH4dGNvM{o'%)[~vn 3>GYz${T)< X.Q3Ypdɂx~@t[/ؕ}f݋_6jPEJ<<Πd+ {䞲ܲP?+ >'gWܭ?LI}Żm=d`[W`ݨE}ՠVx ^2RFKP!Z ؃$foZ0z|GA#+< =ˍ/ 腀dgtۚis;]Uk j6G'"ԾiF) >LP?9ŎMmd:O5"0Akg 'BF*h%$;5ˇNC)kIQUɌw[<<7H!⒱GIDΞz’nvl#8׵C:WI,IKD('6k09?X=.sI_/n}6[DsĻyEA]_%'Icu?<+FB,De\&`0񟏨ZFTv1biyGhꡌj 85`;"Q$ 24 ;\C{O$[:7Qwq&5ŠC- U_""aQ-|)lXZ:{r ,,̦Ǜ5~GnmF8NnDH5fjp<٤!%d}w?zO!s,vzoyǬbrt͉X Vzf ׆-`Kv0$0)/G("*ZE{0J]tfJsl.3EA{%Lv}JԙݙQO &VnD B_WoΗ|R^,J>Z\r%AҍS۔DVu5rl&_О rS>8#*077hdk"!yZ,5}<6fHbTԱd~T;ה/ugBaWy>b~ " q=ۄ8 g]K80 Ņf~XU& qFbS 2qe'Ti3-ɷ?'Ur9}mM)E1@ |xPG )bPה/DRK,^mK%zzY@=hWk}~/ ГM^^;#f}N(f~D#Ť3"[1YL,Ԋ>L#p-^ACJ@]^DV[{sN& aZ?q,` \2(78<>l (t{AH=3R5g9#7F',eaL`K=4FnE4CgYZ  W )M% 4Refine_MonadicRefine_Monadic.Refine_Automationdocument.tex7zXZִF! V R]A-MՋhvG"uIBm5NǨ ~N^w?-s 8C۸I |V\uZ`&:0Of]){Gw8GRA|?9`7TO*SzMr*@q tՙFa jƄSuVX~B+4xqX!7\]]`P OkzNsT=4m(o= ?ҋdˆx!g؎t p_qiGAFtRv-`!z~ ;b^>UX 8'D7k6{4<.=2إr01 rU5Kk:(W )E% HLbo^HχP7A{@bkȢsocjO<}Y<&߄u V_QH=ufMV㬘\N#Ox`ϵ揷ga(blvRZ۝$ );% Refine_MonadicHOL-Library.Cardinalitydocument.tex7zXZִF! "]A-MՋhvG"uIBm5 *:)HԠt,a82g%&ܱ@[g gp;u Hߕ9?tȠ-zb ,Eo(i' ڞn I.P7 T?~.B F+][d݀Ife0@xuW+1_VY)|)B!WWʦEzVqP_I&NYv/*nWh^fK4?u@^^J[1Qaߖ( 9ˎR}]"v$+}*~po7#4I  g=hIKi"ñkyN?׼km5b2KU_=z}j]ȖABk{ws6]3vgD)pq8rj3Wz-Á$vh84m3}5E=$-N"2i~~ Y TPxf^ -<+'`D5JwQm +9Z_ Q6i ~1֏F({+|@g7!%M`H5O}:n ;JzLv\(Pm÷@){V^Z+$Dnȑs9%MdkV(N|9pV( |-xM393;HnܩĔl/Z3YQVAZ kj2'%R;U\8WK@MUˉd*0a~چ T9?t@=WPOC\RrWyPZhڢxLDx&6}iN[LPKK_>9Q+@x1r -cػہ~_@ywA'"*s1h`yTCI&n0?'Pߦw[buEoDCy<@POvmo"9dV>{53X)Zhvd#ˁi+v_E2Mm4Hvfim)DZs0j:8HdK*pČ &Fm1^/R<;FoU}NҤS& \ɟfgؔr7XF!oCor쐔 Ev`T&S`b0'm. G*s&ޜ3&j .d6ɲ|MEc '=%{A,P ц/:HylWJJxV *L1wre3C2vI+T^U&+i22}g;TUt]ɝfOb X,(ԉ<7=Ak4+$N[t#+~K;YtI]c/˳EDt$;\^Yg)KpSź*e2 [wo+:R"M*Y[,#=:F9Kn'yS^)пp#:fs۵tc?R&~Er3$wL=Z4!(i)2; (k'Xf=Hţn'e2G˰@OKZ-PkZf# X4ȭ "Q|+d2xg2IC!O/39? #yTFY=z0^273QF+T̓UoyA}Rs&*ZU˺-r8楖jKtH%8,mK#NԢ__NJUdk\c^'Uf;YaƏP<%u6Q $Jp1{1V LnL;}&W7hʽՔeTl;ARò+:.O.4ĥ;~Ny¥i 7wS?3ߜdȔTG4&vonU.O5kX5Կw3HkCS5aELWMi>zfoN~x14`Cʢ*u[i!+V8 JhM Xq/Rtjw\Zn{LhJ)y'ګ\^uJ}qKIZׄ楅#6a. .7Tw!3[0ݕ6M4"@x,KzMY3 }٪) iq4KW.Cg D2m3;D ?OGp$̾a0i%GfATl4iZgMX` *y fl$*'ܪxgU 2p48#nhY A:P6ElMFڽ #EJRX礃|/D;qU72]B1\ SK`M?EU-))WvdIe6B/%u<)4bKH#-jiK.*GC/$BtRh$\̷Y{QTZ{- EZϗY"1[kOjLO9''*s Գ<6=hw#HyV۳Mr-j/Q!tΩԆ-^vb;-wJ /i @SI'nuI f|q> S`",l磯_|^"=jzpuX&Cg|XnQ$2o?yd jBkG[5N}Dj W p`F6 Y}A#=3ŨFPȟ)k4gbwJ&}??)x~2 )뚌9 lPaL[(DXoCvaWqiq\@.bڮ7> ~?yۘ1-%ƚ/Er݂`)0KU[CǯFcRY7l+ESrJ@I$qRWu7z*СN_*;ݝ`6ŰHKYQfƔH]x=8ǹV2 p /(T"`~|= 9ؖΨ¥, =t8nqJ#w_ЖaWq:X ҶVWޜ3k/IUc'SB'7` pdބ%GӐ e!mogaln ά'Zk@X-DO7<H \ɵkH3EEۓ&+EBNzrC <ʬfĮЈ 'Q @.)}vRXVs26{ֽܪ?|w$$v) [܂K4<Ye H~PPXt\ީ*WalH91u q暍tΦ/,td;~QtFdAT8 N.Nt*3? uTE8y"P~~?(YJ'v UltSiH=ؙ"ͥ^ss~%Ğ X 7#^3Os `N[ `kNJ||]HE/4yV(2u}LW|!Gber2G ݔ9ruo>ȓPEsQC U*[?R^MMZ`69皶- 2Zd2B[JqmzڅndKn[E&QLfGa+F}Chxo_xV:":d Ha7(HԄz (e(]jgpQ7F7\2DO=`uaɭI'mM^ Ͼbq4:T ; ߜHh͖LY1vEQ!b|{;lNd"l$q7+.eJf(,G3 U(mмs3vLX<."'h#b<6'wa>]57YU wgk7EF \. -z-؂w2]|qSxVVE'i%dF0Q3 ÕL|G QOh'aٟ312]ڀKQmm·)MHpzD})XG|iTwf] fd@ x7eQ= ox% `t9t$'*TR=7eir|ޢUMfakfkzVanCKÂ+4E؟:աϜ>Y0,/7Mxe;d1;yYJJZ+sKPKc] @[?ƌA>=d'+WE2j"Cc&-,YZhVDtѨy̻:yBHr[V T<30:zzƢtp'%|PoYd-a$TW~:lIddH`2/r sul|Q9+r6"h*r<Æ]3[_֭ϲe7t)!~Uh, ŧդsoM;ư7eⳙm[*ogUR4+8 jn}d$ktF dsɵze#a/?558e A׏֥OMT`\W/'{N-מn7C?vTEq\1xn?'h2Ȍ4" { ]Hd&_ZuljO> Ay4ԓn{S+A,jc ,^+ a9Y)3=FP`{gXږr9!i]  Rr_˷Nڣz=W Ҟ度~5K>fM ^ܢh-A!cМ)%7f&ȃ}WyCjmMXN}[ƒʷdogBJdO8Y#DTOP0Įx8wpbR">YR#cRnaNd?Lz>KM-JFqCuv;,HFq}g{PHbt#&bT)]3l˲4/Z%QNBʩZ r/urہGރl&:n, iz udL~V-&:nR&r{P!Ȕ[*JXI9`>-*~E0o] n[z^:xȇ37˜[ z&fœnϝGJwl2ԠS_pl'\iůLK'J(ԎD-V,S,9nX.MS7#OH?^J喢Q+q)-BR/zM,XkA/3>F:(5iI7M&c aGR|(mRшnժiSn.BFҴ6*FvTw}K0y\WώTR*i'E=Z~գ v?e(9G<>+Y #3rofԃ= S׺zPl0l@k죑l`#$# GU?!u rtw+$5)Wa7$," .ɑ墷 'dICE^P[o?a@@Gb;!L7/75boJZ`p]m5?iyM`C_r:Y|\k_02%iDLސZ_ <}_dhmQn&K4iK9Ʌgq =hh@EN٤m+qh]rһud_=u%jӿs%^Oa0Wjl"K-L ' K("_UW mf3ݬvz]ˁ` bN^(SGMX툙|P QKz10γeI=-.捀PEP:$F6n\9 cI5>J-n-N⇫z| ʹ'gׇn7ZbLIDFw6֖Y*ɷd6S&*&h :iaJ1 )ӛ ,i?LѢWGd_{iOOw!UK &~5 ;wtGwAY|o~y[g)5u{.6nh ^V9fr#ʜTs羏K'tkBH*m +w%1wcg2 5; Q\]"?zd{3 yW󾶴m;Fu^$^/;[g=\SFR^=B!̙"{=_`oDe7; l5f)#C+3H ˷]5H\1.Uܷ,C_ޒ.\&~wd~gB9 z TkDr')Q{S2슲${TWSW[拾v_\j ꉹBY'Nas{(-j`5/t$?r^s~ tG>@lt4ӉNBӢ!Xb]K^K_mL45>B,CE4=CCnQN囲As#Ypc~pj^z dމ=9͡AC'X+׫0]dj} է1XZm4{_}XGM3p+oe)sE\hec7q|pҋ;Y<%- f7Kiv `h7pG*k Dh#{<1/# HZHGTᚑgyZ/nUV ^dw9xmc8 _PԺW'xdHޑ d.Sfv_Gj]뿱nj~ngNMg.*qshuT؃._o r%T{ p4kI@uzZF,5&n;cpzrܗ*xDq8>@e4h6^U_(nrhI|i 'u5$" z ;nz[~^r,$-g x:b.G< amv-+WIs+*9/G! ,, ;/\:;c۫tMw(ݝ־;jfBSI{OڊH"|quNbjxa5Js(|R6zy5(2}aiGVEH_;TOS1r#(~2)NΒU&*Nh汻w/m\ ߮%~:זnjPr+eLwjJҢ NN9UKnDr|C%=$Q$:7O}Gq&[c儕6oWD,~5"xQ콪uNPѓDLG*:( mҡ--a&ypi};ܜ`$| $t>fn/{Hu=>ugi䊞rr>1JRM{ 7 ph7e9ջK,&ʇ $* %i sC2!]I,98v[4{cQ5Լ @AM5nVOz0ܥg(7`D쪖&qH]Ԥ睱cvAYPAwR~]pc }2 6js ܢ_oOed#I!}@YCZ#6l\gN|Pc%i2h;>5|$Y( YA#.> NUW᥄?& UØs vm|Y r bxB?}vFPzS D?r#1?f=` Md87 ؃@`# 0?kR"Q k2]@"\?d`au-H ʙ6^hon0Ky"(B .Rz Fcs1G@ٛo&4QsЊtlPT?b/X"[XlG gOg|m.WTb<q<*>Zj_;_}{Ј#Ѳ+pd@fӫ "R` 3Zo)b ,`cU}\=KcKugF~‹3sGD^;G"=?SųM@Y(z {nJ_"̐EG5`X PZg%|GʲnVF+y]U5R Lf "5*/w bi&5:BNBosX-/N?E/ p,S(5L =e.-N>Nضe9>^lJod&hxtU d_6o1}"+),tMY-mt-] z%&A|46(&$f.^z'M 6tf,w|ʅۙ>4 gѩ+юПv|ir[5x3`6R=-Lv 윜3L!7"'91OҨAbGs c:hXPF{o\a&cU' "b:gjr/ qCxo ş s.I)/(0Lk ΢?ƋB/L9J l~v;`$,dvPv'M/zv|>$xJ.K8}Rz5ڷpñZ[GV߈c/ph@uXuRnr!ch/RNE`Tjd`#q&u tscN~$ 74EvTcMxȖqܦ5lY΍ېSK{hvG#fE2\퍥Hbg8[ eNTn_'!#V8:WkqrOwWUhCT&n@󨶸ZFQV97C K56 /^eTJNT/k,k^]nQu` gc|QbIC'HIGYX&@p'rG:@\4H+Jv>i{>E8z-1( rQn&7j䯲}`n+4#ZpL(?PHQkJf("*D& 8+=bFoMa&Β1rÏD \S+vəu?_\JӅ/rYXk;e ӳ͓d}/mTFGDUh1L[Gs7Ќ8Lε{8 ssGqrG#NI08Z"e>H7~<wĴHK,gsZsJM;\lg9~(ߠE%0)f 2JϩnGJ$I*$=zqM&qXD0)ܶ V[?n0d[X3(} N3Fa1Dz; GtE)3ѵf;xVV4GbbRJuX[Gvr\P^Ϛo!,aPd]Gn RMNnwhoqW7p 5r)o!Pl?'xCӍ*r м6֌/h1cGXEƆHe4^ lY}mǷʙDT (Y0UcjoͱkQc9bأRmDcoK? #"Fqp`[G^kײ` ÂBz?ޖU [(t3ӹQ#` "b m#Q~L(gF'#q7MIZC1 ̀:*dt3WIOM4r+"rdy!ʼnZVDqnB26%Z1MDEnpxYӀU<ʧvbn{QsHln25=fҶ[zb ς/jt[_tߦzӉ]L"@Q7@ŲJgYZ)5GL҄8r Vb;ЭoXҡ[C~0 ާĆRRG<.KOv|=p/fݬk[i:IyPsWf5mJM'K)*2I/_/mR Lovڤs:g\~-~љKknoGhq9S;e\* J)`]qSbŶ{X?n v#ʙle(IX&.3X ?6cZ/D#rrq I)dv^d"nlo Umమ th[' l84nsDF(5z<*x^IҾ*IL MeCErd4mqn/MqE+EX/@L \$='N˰#z)U#쫾_7a'k`|6M{ ʎ{H1r0١$nɕ(nӨ!+Yca}47.l2x^q+#{_-Na{ Rk~iǸ}dQơH3N\r<PsvLYssR[/u1]Du}PWМݵJHjwV(!͙NkA{XBd6ќŹnC?Lh&_89+c8U}^؈l!ٌU Ǭ]]21h0ܶLoWC<<&i3g+pu0tAX7nr#͊Z衴L$-_0q NmBXܚ%SeQqȢ(mq†)e2lׂ5u:%s5HU}*wYGq-ct`X7J!&NіR{G?xM1ݣx,љ<2_]r ,h@Q R!M,?vbo)*j^;U4\SD-koγ0ve"r#' w|?ޥ?GZ@@One)g0nh@>['1@{0~ abl @)lL".Td_Q:XL 5m=ìY*R zugb\뒺=9A>$ ȁnhBy%Rn2 'aD1eEٙj產 c'fq4(>ݐJɏ8 6lK a*TDFyykaϜZdI򽅫1ł{WaPi#(QHǶd2AHe˘=OAҸfv#eS!^6kyPdk}j'dQD ,/x}㄄2vGW=Lm޾5S֘ D.#*Y/&m#!L4<>t[@D3ġ Mˡ׍|ĿڌiW ʨ(9fwc죂-xZ8N,\uő6V -{Oya%jgl6*oCۤO[bgĂFj3L{|l\mqI gh v%n_ݏv 6iFbOKJ-crޱ1$~ # Awi9ne:QPfqVg(vt,5K<iZ&kFڦGEHX]p0dD{a)ZFv w\E-z4\r/tpg+0)@&Fr ]||ei?hWn`4_3GI2C,EaIt3RퟩPmPAŖhQ?FE S6k0oClo;1pJ@?5k mLqAD@缞0g]M_5{-" L{RuCz &G@lD5 [\/@z]rDg `1y<$ָ~"O%S,;'v8,7i&e mŰ/isOwtc9;(| ]dÞuE7Fx ˺%2>l.Nȱm/MU'~U%v1pئ`~c oVe[_/dIl`J%ayAY<Éak0z;rnچL!gX9Q-x3թF8kX3hP e~$-Gr /˵hh$W3Ӆ5)I)+9>v@y&B倘YH, TIǣ8ήn=0HӲkVW䮓.RY +}p_ k5pSGj64OբVv/߷/4xW:Xaz E\0- 4{=k(VQv:\ܧ!whάde8ww\x N0 #3U0*oYǟE:MZ5dI4AQ`WL!"}MHbOBe͸֬B2(示F6&Q+`Cr𵑈gTK9ܐ"D_돷׌S``LjN|ۃF0hX\ϔWY#qCٻ+Lv+oxE ]*}5t"Ff?P}Y"|'Qڇ!xaVegBYbQmkC2w#,?mJrGFJ3,Q1cE ƈ&BUʧ}JL7ڝaW58֮:q҆0.Ze(04DĤzl)0y=YG 03 =2fpիflv|_$˔x=Ql9+/ VKG_.*d"5dy!Xׂ!2W@&uJ_QKZx"sS/u(!nR-\9G Zy)Qi$'g ܵ&oiWNvD뤢K3rp&c\~+JCTF/<Z\ wE=0)>TXlȂd$A1dnPwFsC+Ba{ڇVNI ).Pz9fx!&ȇtSCU;"S+}Kkv^VQltmZA $s[VF*:űMPZT<4?uq!!p;r 5hy7b$8䋑ĺ/| 92oC.XcvI77N5& ,i"6tIx6FHhj ̗ ٵZx_Q,Q3U>97'kp;F6j$D)N y ɱ,q/tL\Xnn QswHqɫjQPtgrM݂[ TsVtPùdH[M9\J,ʢO| O#y= 0K:,/#3~\ WaH@(%ThPB+[b| sv2`l<5^G4F8/~T&@}*rRIOK }z+Ð_dy<#N€òC@Š X]NQo3V۠9YC (4$U\į4R'o <NLMƩu'RZn,.;bO#a#McFx1wcKm7ʅu9gmQkcbvHg}TZ_5XvߞHW:HV ̨v'0? ^e7vw\,%'p7 w#畤3ec5Ef)V5eٻE 6cܖ?8b] ~ e-4!W a yV5i?swd,I3v&Ҕ͖ے)w{^uyG=tN8ǏDž'iymV!v6Te79Ks8 =evrRw;sQcr+:|^Ԣq|K,\ mf@p@VC5rރ !ǷmV5h_2z-{,MRvZ5t JL&FzřRd:iVgM!1>xb S0*,5@UhEfHbt//s Վ)*K.pfL282g3wlX@t-&jC)Wgc2o+3:VY(䞶P8 ;"?KW}Xvq>p4Sf sX1Pa@#D4vZ5G¿W4_!CKUܙ0|]aj8-tV @UKPկD9l?sӺ%tPQT4I':0DP+mVru|iKDzpm'  -֌24}g1tdz3Urj>i{I*f\ҙB7'ʿ+|uOFQZ븡Tm/lf$i|uFxJq>k̢Odطd rN8K\SļcًApեwG'fzQ,|?ii.f2RApj c9Dyު>7JtfŘeQEMd;1OQ3[08q>ьRO3d-Jgh-!`<5gٱh6{5Q $=` )ŘY>kGoK|ֆ X%% ٮ|@i9ms>kșrhmIajuX퉩Mm j%$?5Qk2Q,P)]s!370;"b80X妾\2NsrXL$R J#؊m8I-5 s J"D^Ghy٣+%[6ڨKizc_!# 1"T% 2 '|9M;߀F W*yݩ?[j! T'y,uv}`1ZRo-DYg`TnaNLbrIN[f uQtDzLO_9vyH(wɣ7EYk\Sl^f$ZߵrWj*`K#H0T Bjf*׾ C'k!> k[$vᷧK=Zoe֚:lg9|vvKg'tdaM-'vKaEitoD>x|t;|p;,~R%BA)bw26}Mj]%Uw'Nc vK>D| 0r-v>"|{Ӊoi d|c 8>_;4>`7am#%eeF?K+k*3CZso傆HZo:}҈NNb!WZmu$ dERd@evof~&rtb]vlm+U Xlx즼dLsnR*eYOTWWB?m6=6VAS`h{uAR]~@aD70pc)5OĮb| ^B;L7~Wk=gbr 6Met TN4V(bex37, >ss6E 4,Ž=V%*@";)j^#S\)smR˄%{wtxp؊~$b\ md!e=ٌ"OZԼMyɭޠC< $e&-3wQ3m5pÌɶ _R-R=w¸k\FLiml@^YnҶgD0`k*L.r>.;I,d=z^Λ6 %tQ+*h@Ş5&d:X?!r|ײ%nnKo6'Vx{euT_ @A6X;#/UU&W;%;Nyό] $GO̯fU۟ːң?P!M[цpQ aqU݌Kx׊M; Lt pGg2]:g" DRtG_QlɿͅCWm:͖O0B"v]ˮe㝲4F䚌8P2b<#ix47# oFgQV?oɨhLӋ8i:7jz9؛j+Rgf**!l (4}M"3C* ;AHȏ׶Vd㰅":A˲.jjU|dCuxXWFiUݙ'+aV;{o5|UT=>y?+G{ej [3p6lLPHl.=֜J|uUpWq OD iuS~dx ڕ6%ꛇG]j kd"F)+V½}0_Xg| fκF~f5\CbWpy;miV"ⴉ}U} 9"_tHζT/8S kkjȳ"!-*B@s7RwW U"@nnL^aulɸM{Ѯ|-]Ǹ-f7JU[= ]PY_ 3ĵVrGu A ;=EV`Gy7M<rۊUct(_,E;mos4@3FoRT $|SWAbN[hITT{ޕK|T6|"ojp]'_w[e\[nmm:w죬9ѥ)&8˪Y o3SܤjtXT*9E0_|z38 TDPsП:nFxw o;' ӨFB:!,rK!w6n9PBIE?mW0R3|PTBnXU+g<On٨2X24VS$AvUX /nE@7`1BǸ~Es\40M=#SO@B/ܵgƉȁjB6Lyx {2f|B. ۻ64!;n`M15gYZ m )A% lRefine_MonadicHOL-Library.Bit_Operationsdocument.tex7zXZִF! L_Bn]A-MՋhvG"uIBm5F"*2*=)Tb?g1NLu`/GDP0sgb(ғoj3"ZvqP2KUlWWf(#U5`Kw-Y-|o܃;7Fe3TOCHJè̯4r,Q^V߬M wNz&eh/ :tiCVG,m1'̝O`'i jB[fVkX/ om(І]Et5N Gc0 &+r ̧JQr_m8d)8Eh ? p,ooQvkHEvv.br?|>ll o-)^ˎ~5:@RPg̻3Vrte4hlT+ U͕?GD߫?(/V-a鬽Hsz]r&&z+k:]ȒOD?gǥ6?t qie>}7MX ] O6v9jR̹C8A4)BHNK B}[5xM yuiPy9[ֶe: 0,Ih\wx),V )M% 4Refine_MonadicRefine_Monadic.RefineG_Recursiondocument.tex7zXZִF! 4]A-MՋhvG"uIBm5NV*-ɍYF@vWfJC(tSϸ?ؖꄈ K𐯬m':J_>ѳ&y|gnGz33? yaq_+}Ggi=)My.o wEL 3gD?_x_\#o.Ao hRM!nqcKA'amwމ̠|]s&~bO :~’9Dhŧod]t k |~n@i[taO*P{1S2eT<$")=vSH!`[g/p?.3=g:Pmz$@;Q~HQ=&~kS ԳW}בLũ^Kbsg94\ (;<܌5"Sdo\bh-1! V-RGhq14gځo҅E80@v}az4|&z̞BJyt NFﲔ m^ViX-b^ޭx >"P+Wh0G[][~Ma#ЦjV& cf ޛ3n֖CpH(]T! ֆm3V~Ap|p _` lqfY ?)L0s(&XY).ͻw7ٛલFWՋF@)je *ܹ5 6C^*#fA{4+mˆEm.) .TB3~̬۶`U X{?[0&嚮QU2b^c'LfpgZ]P@+&"$jkd旌T%7WuR> p@' j }g1F v2$qM{U Ӄ 1Լ td>ME6Xv.~pabMtINDWFLjgDaom9$*d<5 MyĠf{)QZy-pe:dem,>a ۦC(pG4@ |e{>҂6i|a7!EA_wqꠒ 03oېuRҺ8挚GIncȷZr:ق0l|R({DV|2ãB{Q\*-n %ftȯ3v׵@:L'S௨~)W/ ]f)B EN7DzM5=Ӡths .3rW;f,b|V՝DMiD2uKb>.Hؘ/BhoV:Źl0L6dpƚQy܍9/2{BV&Eű,] |ogE9oknvqs0ϕ^iBx麽^pT|hα5T$:hO 8cY9~fuʭNzS (CsrXy]V``9_ X[ Q tӣxxn}>|TSKwyj rHzQ2Nj 3q@:? 6?TG;SJ=2-ъNtϨ|O.WE>-Pdh+S"R#&G)mUy4)2Ɓ IWHDp>y<Y .U5QN6dy\-N%Ѯ-K"* 齷LfPp\3 k 4-Ħ^wJ_.]~Jy=$51z{[l\'nW^jqNr %e VФWYSհBM-vD.A@3<欲IAӐ`6m6$'+L>A%3pm|i`32s =e7~nsvLp PXdj'jrמ<&=~j>Td_dxP=hD\p̟ύao݆C^%7R )7U@@o!Q `7WwuY+3n?{GɆ#i=^-b0QwF?7a9*UbKDʊK7[}t),o1e!Ye?iH(|֑dhM sT~nbL؂'Tbs. LeYoZtk޼|> #/{L` Dš89a":҇J8{H"ܦ\K?*]?\= 1Zjx1S^|nr@ְuSУr(n=[#0yyTnjUD`rKK̊9'{;z$nA}N踈 <^ǪzL"K"J>a uQB"K6)gx/ni~}n>+'/eG?" `۠DYE5H=W1kFF,ZZ4{՝Sxr,\t)|㠱VifNdi )ܜ&44JKIGkmq~岁ƫFq%SR|*@D3 Z o ,K JNFSZ%SߘvFIu, caP @)Juh'(Hr F?2u)[ܶZ3db*4UʪVZ䂇I'am)SNyōHэ3pN˼%քt' }=m5-KuC&12'텼#}BxnDj M- u 𔼞0%{3}qw%wcXu^Ճilފ1R=怟|җkt)tZm3@<WZgۡ3 amG5 #؊o*sAlVL/o-{'{1%Ω;s3$iFi^R.yND};;y[AϦ>O0<]5/GQfsE6 ǀ.}ЍK|p$y1gl}{US s}CFq*6CFZt~FK+ȯĻ-t rka' rбɽ7?"IQ% :}hԳ jh)Aϗ?:mH Ρ*8mN x#>He8~։c[L*[!-L5B$Yzۙxs_GGbOdc\?:$f&1Tt,~tsIKr2t:Xl{)%*ZAg {%KT!:S$6tӴ4'lc|ضklhc;:0?k*!r[_m{~oYDurqDoVX~Ydi1t<-箠li2T@O;:*"0mM? .l*w"rZ6Tcw/hE<o԰"7Ms>tl3xt.ϹKW dy=VѢ1LwpÅ 6 w7R!YgUJF>&6 UsID8?WsjZq,)Ru |=1gcCg TpʫSUdԏ|xjY 'ެ~YRJJ0;8( `NV&ې?^L.CLuE!tDphrQ5'n|bvEbv[j9}=\6-eI%`S^̈́;۔zĿOKgT ChD N~RKE61?S\D_ Z a~L oFyy`89ߌM$)x3 Tx$pZQq~S EGT1P:;XASE~_ܾ%b;'@gmgF"a#oۊGc `:z۟^oAK˻ЉB(Oy}r6Jvd6# Drmƾteo1lJbś*-78_D,D}J}UdVcyF"?cBE/3u29ϭi|2 q ICzк-uk$j{pzTYb- _AYarFY e#pdo-cH TP?]ߢz8S@1)J\Ί Neh^?A>hFGi )%Ehr7?+9y΃{_B>%esa{WR-Fco9XwpTxy~7oԻ1MƒYK>?3_G(:Y9ܳY|ekȽc= -ak[Vehݿ:e ok_[QQ$m(d4Hi6pEߍ#@yN% oC.bY*):CZg!2,%r,a ɚP yH”IːktUqm_G7ԟ;28 R/x`IQ[4$ޑJi ԯK,/pQnYcug~i]^dY.s$m\2d|?ĒVHPQLL{S浬*A>6LzVa.׀Hy~y ہH;I'MKO,2+H~D$x hɢ4QKF_6Cx,/}Ķ y0U*e?O1[oO(*3_&DI x~.VU\d3#-?L&]?G(D,HR ɥppyM۾Pj̸ [lT(l1_#fM^;>{Ib)Y}wV2KD}VE,Kq V/T'q|6 .Yqݾ/<}M?U_P{  otgc&$ 阀u ݹV ,puN lfdЉ-m?PKUO|fF 0Q1ိs8q܆C- ;x = 8nQv X*GK mgH2m$Z"HC#&pMҜ~. :s-, ՃZҋa_+`W79*)P֬@"d8qDBObގ#JRz6sia|u-b? ,EBgtH4:A `[ F9ѠS5y(9D*q#dWһhI2]^m1݇F06F9nHfA\U= L3~P/)2Jd)fSk*l þ=Εs:6BP  1 Tr$|//޻kD;ZҜ,8sVCS5vs.I0 zޢ ;.?fA)軕 '( ۟YmTi=gxjAi /%=. xuufΉG) h^+7f"֣m4f-b &Gm&Cl5Jk߻p7cSCM ϢtvM-=(>O;7nYk/L//]EO3_xhc@9ieã~v[Hgӫjд-E/E6?APo`lY?uR m`"U E] 0]eq~ \h$1ɾFQ4x[J J}(mޯL :܇ҪA ZnNfA~˜C}u< . t㱫#5훁XbET{io1 cS$_UU{ےBlF*\޽hm lDX8(U4'Cyb'5ہ?g;i>n#9b@~Sںfd3\n·& \J^gh yd4z/ИqASSH:;# <!ӽBzw/y}2j$uK4 LnX _[{lz[Szɇkq {1M^V# gc9mg ZF3mVs(!R'Hi  &de 5{ C5'x-^tҙ.k?ؐiQ+:{e0t&moitlM*bNIGh)׀T悆ob# _7x Xtu;{- Z\> o2|:}a̾bnK|`kp$^OvN3,hiόhUl-+%94e~E%vVgZF z)֊$ZPNT^I0śD6bҋ%uD#p EYzp 4@ R闁Hsy$2_!W  m$7e נiɝ=Z!_ߟ|x*Jـ{t`rd/xV6a:wJoy=$'D{i" ,tFph0Nre7]hՈ U*\6oT&PHm5E8RymTȱႬl鯆CS"=%{YKT@O :Hk?Fa*^RQ%s:ZMx"ZA2 ِ+{}!a%Qu~s$lDŽ˧_ArZs7CDZRqARyhTzפ7N[%I[,2HݪꏦpS6N?bQ#\ *9W:m3kQƦsGȑ;k_n"bztmUÉ|@dOR㷢)!lzXw zgm%+B4~sgހ. u9:i~FGN {ÞaVNlTb? ~(%mg%kX݉] } wotav~;>v uO'#e8 %ȈXq09Nh۸E?8G^YPPP(ʂ}^EN_f Cz4ny+ErzW?vOy>hpS GH)̓L'3ȟ la,@9ok:W,YǠ͋2(JQBx{PoWD"9 <3gX#QQ~%#^NJonyQBUV?Aos0sTKˋ#kȅ׍Jӓj Q& H īЊqpiW\q9>R?4 d~:]f\dY7qb|W^`7 $K!N%vYs}jl})n2SDSjQay OʲC?α:5d@-k쑉+-0*GK5L{£\"!@}1hiwH#soΈxT(:6wᅌX\4; q($-29|`H!qPqU2+g/㜊ڡ{2E6+Ϊ>"bxVFCChBq}V%J6 _yr{A?g3o+KU8=WK1~u4)"Ų(5ZIu—%M'HoJ;*DMWh "mIL!ӟw2A=PZl{fF`QttXF|>0|m8"̾`!;4}u3Rz[K?4j'C> )B?'ݡO?xFvCh&B<7\Dv6 Ғ[EϹ^>P^,wUs,q,SΌ){r7bW`;$A, o9;%=2s gG޳ ( ꤯Q1'h.8NGZM"0U$-hgmNb6=JRas>Tw?]WvCx=Y@U֭%u+ ٓS¬ aCY zA0&^П#RDn;KVYH^mN |u26ŽcN39m0v#K*JUY&j{Q@E %[Ťՠ4XʶL&Gήn)ɎA͵q//_ͪ~ L'ɷ SL9{AYyiUVI@v)*C|}-rnPlu,QopU֌8 !lf_Uk(`<{fTr+j{A,E_TS8W&=Û(0,89 nm ^jKS یd&.&(ӎH%VU3PXDl6bQ(6#b:zΛTp0͖g]GQ5Q<ĐC0⫱|PbR'[ɃD-S?d7<=yպ HRo?XVWp_kF+Ο?@sAHܵ"쫁W:>+aXQQE apKr tlqoה¹V89wWFXjiq5X*^F ]N_< osdqfn@Wyܬh%}䶨`J:(48:ף9~(b3V-l(0:;y`l&tBO9}>9AO=NH4-rR?F9PYXsE|unq/\~J{ضnD5e B}KzF:;x\X\Jvb_`HQiv1/5G=Si3qGKC1,M\1*b%v vءaBne4QV_6!juSovG~Zyjvn'QbRNT)}1eM(ޣCҷcz=C3fu݄c&\]µnz O({ߝOx;Z%RB4rHdt_٭φ"L#D<5B0g`1 s,f4M:%A(,NB;xj -$M1"eo`|vCc&a s70h1 u7MSP3 ͠kDiKk@Mi]-8u>w¤u áNhi+:ӟVtrNEUCUdnp|Ĕ75sr`_C1X84K۵jIuΓ 6a|zihÞ%%դsO;R:;>\{r (V_% ڤQ#i#Yl:լ5T $&:%ljמDh?'ʯI<&ߐYMIìܧO!q-T\"I'ڳcO3iְ/ԳhӂrV^E>ݧޠhKt4ן3|̐]l)N4,@g7u?ܞ?=1Χ9)/&$r ֑^,Ѓs6^Z8#H^(XN M=/ z:@s+;{YJ'CyԿbdܥAzt7|ny7 G&%OLh0K#03e鲈:gֲIh-J]1c,4bVnjaoՑܫP\&6mP}s..%ES#;thfNl}_ uQfvFȤ/0&2bmyCgg9p815bjMjM`kDS[@͒8Qn|_R% 㸍$Xd; 07fٕ!*T#I\h$sQʶ#(rZd"+ .$kjo#֠rjT5u5X ‚ѫD Ĺ`ſMcCϋE3nU#d1IG&ghJf[p^=sID=\ :{m 1Fj42{)DR' /4 C#.rr-P&B»jeCgvW@"2INJ~F˵ rzȝ3h"7SF{<;+rٜ;CXe3?npKPZЀ01yA-L9UsBfduFm"`Hs~ɩLu!)fai34d0 )KVk{gUgK4hBBҸa"!ExzKZ:P+GOa).(:tPMvr!Wp8TnkXNbfR'UȐƱ,yk7@Zk ]!H ݱ(Xb4]YR}QYZF^6T\ ӈ`xBGh$V0ٰsFqd}$ߎt6 m-0 [rT)e{NΎMeȏZ~/b(<.'s CȆ6%B.D_ ^1=1V =p)m[i#u 2ZDa^ed$zߟʽH Pi@[䋎A4.[Oh1;ȆBdw>1=e9ȶ>(*%%zEȲEtǑz*033WlQ%vPȈČwâ$BHH_Oyd?vɝ\n*OZ obůpA#"bYotϗsvwAYG*JOuAS/d,=4 &NZdu|I7_ S>q]EuJ7@9햛pg_OlX]K sO?OwxS.NO4:3;~#ïnǏ5 `Ơ7E\*=pN7}]uXE:.vl(8!XH\qWQPݑ){l[|b;auPk: {+֐W8L1~m;0C}f;QP*Kb/yq6XsߵE#Y?6T،*j}Z2TSj"IW VV>lO),S3HZT 'S@eNs+B?uZ$r~魾S$%]L"kG} @:l9jvoKyK>xy0jb۝>i'}D-_ =̒XKWJxVr)03SA* PwUU63[JqXC`2IHZ8;wy L.L&eQ8* <h<ꑂ7dAVPkX.}3Mf:7<9qQ_2лLMu]y,5VR[r^r:vQjMd&~\f:ӊ*/ sbm+_k>yՕa³%^@ nU` >GfR3n<"!6G= WZg?59+O9*Ԅqv9G3OuX6JX؍V؍Hۡgh"%ٜ:sl/ gm:48;'d'7!yFׁgW,.6@p$T9Q Lh 1YQLuxp$UP$9|.~FհᏝ"cmwDz ӱJp- F&o`Op)]8+.c*X*)s5vB~69GT\C{y3^\4QXsaW]d[#84b}@L]7^sF҂Ot`nK-%e33@‚fG5cHnDT{t _Q,/Ibc%C|H |MEtreT[u|# ߔ"ILM(i%oX$`9¸~KwyUv}2_a^^pAl*K']#|0CE#b9&;V.?Xngt@nيoH>A= ݷ}L'֙6dم-u '|uOBuu`_PTTl1AQ&Nd -'UeAj0oi}{ z$ћ^vdiۖ`ҼډU *1+ P\꽳<RͣIZ-N #mLZEЇfO1zPq?K2e ѸĨScͳBBw= ;Y@E4ILK|~Cb&5Jg[0BS(BQ: ~IExW:q w!bPl ?cX5\ݾljh.KHX8Wz:BsbJ\ ^;Ӿ=6##ց`p]L/v.]">)nS%C|e>ւClY -Nc9' d2<Xc5@h&?rk`YYrFEA&@A#?tQ^JP{K:0U.G?FlY,-Y odrs32u4<PlJjG{&UJIfT߅ >4v|`o4Ɨ]"Xίߒ\j߹Lt1?vDĵoj}w̶tЍܯ"7؝n2qe򏚊6&.7JMHK+ar*Cizv{cKs.T.SQK}CXޒEc0C Ӥg]79[rx7S&)h/w; '[P@2ZG%-7ubBI)qsgP"p!&`rQWp/jNZ{ϩxيDzQGR[~o͚a\ZQHgػmfS m L g1&2(p2u#PӚ)|<'( }|C{ZVtb/.>5)C% |Refine_MonadicHOL-Library.Boolean_Algebradocument.tex7zXZִF! 16]A-MՋhvG"uIBm5I V +AC Sjj2.o%`یm2br7ӄ}#[GlZ])&tȈj$}viE^2/a01 BCQ2){8Qk@٩d{zU|L߬ݣ30B x%㊶N|Jg(L9P#{ϞV:p @(8koSU>B'aMMP+N.p|4sMs'fnxuI\΃c"XKAiO:M% MP5ǂn9'ƴ-9Rg+3*"hGNB{C]L8 SE2G )?% $Refine_MonadicRefine_Monadic.Refine_Detdocument.tex7zXZִF! J]A-MՋhvG"uIBm5NǨ ~N^w?-ʓF˟RFm aV45D8g"v4毕xz9@xt }TxB#Lb޴`nf < R2b:SIs 0Qo\kmM֢ZT{kxA`Z~v"v]1At"hA7tywmy&yo),U7F5G|?cs1]. PkayڊCGɘTܿ\ Ay/7. 0s+由qCh5jA/!@n}a0sc`e}6ЪBQmn7A3~gi_H=CWF&mh+L}~*Fg" hEz[)I:{&U8&v꺃#Avlىkv kej7_)ώR4~٪'pM V3§qL~h9]& gcrb~ Wk|T:c Fc]zƜyfÍSǙ?=:qbC[^G_47s[cAIEՒ4i 4Yy>;+u't]&«Fd-dφ%N6<Ө)I"4)<09VN613slEKЕ)+{;#t+Wo|Q,<@6w*p8[rqP%ESetSAh~?N4Y0*d3oD8{\WeY)R#.c? %d>rr>Q> V_q!Je~yX`Pd ️= +xP c(.D*8F/e!s ݼ*0~S Oi1Ю^+r]ʿ[ w +ぃV~tHmK#Gl(niAxj(`;,(7a{qEnip-j'~wSW1!R=k/RkDP:dv E &[|0$޴4C,;w/[MY?:yFzwTaT\ѨpZ(-^VԨbbD`"h 1XSUʪfs\8SC}ȭ hJ8:jmègP|Z-?@\wwСX@䨆뮢u&l7ۖeF;m xAKRJ Ts>NƺrU܂YMiv U ܁W4Pc2@C߉v*g J\ ?CVݲP*`-fSO dS"kb'?er0$V_GU@) qAK쭔"z~_KCKo]=s=,@L dK.Ɓ9fCCJ?"iY r:5;QɁ&ɍ#rp,{Dc{<[?D0+Nec2:'kFn]fϾjsQ-W|bU#*3nqS[-Ja!q6w|G]=ӰAHHu+܋ 0xLIY UGK}~O'j$Uc]gǫ>b2kaDHF(12>S" # 8tOFIQxhx` kn>q7Kwdj6R=]n 77⚲X ): *?apt(igy:hrTx~z\cwMvYK4 R%>iI_k0n)gbFWƠ( nAAS=h Q47kF;BtVf_{]A4lw)Dg7gCi-m\Kf =J=%^[3ǵ[?7 /c曽Q,Sh/_McS׺Cu86S rο[wXd17x*s|ٖ9̓E_F>?>"vÒz/ lh 3SWDžFw4jhXmA|Xk\yY4_VΈEQoRSz{6ԕI}xzEP0A]%jQ#޳Zι]sIEA+X$1ҩBjqhv%vM++=d^(`t]6 _06EVDghP)q6=WV698j_H 睳bR70X'{\ PAg&ƅ0"V11sZʜi`mPJ"A,'Kp~OsXOr֍@8UTW<*3CgVNeJ}Ţ V6eCjSit0M g1!3tN꾈tZ~ԐʯI]R dNœ#ǮyŨT.@YEB3,C{R}0Sll۴+wԜ! 2CI'e'i%頕ra"<0K [qZ!ANa #2h#-s+uIt{h&T=^&t$'n`?4! }O/wRrn?<1@~BipH'CY!A-{j""Y\/HddQ`vl&?$`i鰳0'iܞDuNF{m$_fu(MΙ w̔gJeN4(; qIs %LR9^5\U%1kg 'ب|keQ~aE)TreQ6[T`~ͮJPea1tY~j(%I=wԠ-uK+*cp杶n_E"=f񜭧%B5U b=G3x[mѨ4;! !΃2$8o ZMR dQp8/lO LJ>aC ME9qbR1ނZ%J'3jo@v=z?.YsOcx\S:-^i$O*[!lZ{o=bAĵlJ :.@ZŹ[J~ꁧ],@=qRצ5_7Z=iF2ׯPٌqDj'??՜̔MHCXh\8^pK%tqiCZbA$7zs0 WFv_bG]^<{iNeHP+Cg<7SO>@C8,@6, ⵛp#{ U-~ɣ0tU; m=AK<toy(v'C\NTW3J>ثƩf/zA i!l/MOP^0vۤclx"m%8Yu\p0(ƌt"=gYZvY;KIx;x'QCk}pJGJJ^nCаh5cҔg*5&nDT|VM-둥%Jl倛AX+ҋB?3yŠB8Ȭ "ߩt!~&H(țaz˵+o+>{aGJR<(ɛdYB݂/۸4B%Tb]V,Xz{Ҧ$Ҟ.Dӕh:[ ゜FK1n4Lh_gAtw)s4v@ފК=OeD( `Pr;f̀g7Zgm%x'iřòbS|"6RBEMb:#~KM:% g.QC-twdE`AC_8OlL$WN8ߛow[glǒL5T &u84=a,uJd!exNsO٪ -qµ%o$9 M^'0l 5Md.6=: ݵ*zTa*fi~\n)6m] τ72SblCPCv3Qt)ރiK[ܲJUh݄zӃ)"QS9㫮M,H8T¼;nR:WƐQU}1;P{T`D+%h lf Z'weg8(JFW|T~%a(9*`i§fgEaeЦD529ω864pN.g]Ջ!hN 7ܡJ"͢3 qUpIGO:Rr"л`+Ym]za$tmqԌJ'eP~_X4edbQ@'i{LBoϠJ8O o3ǘb:b$ND?ÚA[mT"ȭ*mȷ-c[kRP]XM=`WĊ}i2Dod W39V 3T6 J57x>?$gQ^D(tejb17e}[]\8]^5ě7"FƟFN~ˬq j"_rMٝg@ 1ÇCXz' e p܂p#Ci`K=:䋧L! VL'F_J :^aUb5\4PMvl>Jʴo 5M0'{̩OM: /8R'?KQ p{!,'5@@}=T?Ԍ/okn0T?sXZgvߏЎKkUD>hEK]P˨1Q]5A=ne'70j9:KU< u- '_yA5% Aa8]F vr O-z@gOszj5]I@q} icV/r@SgeyN䴏_*iXQҬH8{9i=z[5e=d.oNم`0ha! !RA-^1LT.&\b1w ~9xڢ pPQRQ[Pg$uݫ_ZWO UHl4DjHJx5fQu^q;^0zxhf,<8Ph1SKB/QMMל6Ƥ MrZ>Rj ~˧Ir4^3vadZ(s3o}1#vkfrbvm 4T`ˁ t[aO]h,q q']\J 6/nN#-El&X4qI(*DqW4+#7P3XBN 2 >gT(rlǥW*g3 qhr{|SO;z?=]TOu[<~W2]1- ~im. {uP &42 XeSj=-rOHɻ}7v@]#9 aM28Rr$Lfw/J<>^}~cY2 U׀)(dfm"Us:vOnrLN `Esw_l3RﮙVM~%a5Wj\+ 1pO e|_8 ώ\0ʋja1d(ڄtUX2H +vV YlgO%"< '};[8z]\F7ԫ7^_77@[jlQ 0@f1dU)i{xIH_ &K7'ֳ{Q$6eU1 Q_N83<&]z3Ӝoq헴Z[#kpGf^]:c~eYdf&epohچ{kF2JYtn7&h/?|\7Y]xAdԇ|%У`;m;ǵ?^QedT0n鶚KMD`>~8Qzqͺ_4V GʃYX܅ܪpם&q%%/zd=_=a '_n (3tABމ6:fPO?FI\#;Ue9 ^8a\tU Sh-ޮgYZ a aF)E% Refine_MonadicRefine_Monadic.RefineG_Whiledocument.tex7zXZִF! ]A-MՋhvG"uIBm5NV*-ɍYF@v1Ne.`9Җ Ӈ8O+V,;4;pZH?.u&\&^>>fic-+N-: 0S' )1, r|#U5 9GAK@VzYr<|2 |9mlIBʏ{x'+jU/٘*a'e A0Ɓ.]6rE4\%цq!;hĝY;ATM]j@]$^*QF6wpLYĚ5?f9uqr ޛ FC*=aݴK"av?`@i,j@{7)q%5m1jfB|P[n";;܃I?r±pIgb`ˆB U_i7T)A% 蚁VY̱#^3߁m9y<-ql*(Bh=`i{~u4%:@*Sɴ!Ql%c.@#\} ] aD%C$I1L1r}Sx~`ϰڲs\bPڊn7d%nN4ǐ1O62j^>OI-֚Hz;­gJIXˇIJYS@_cGcf"7/^/4iks.[ C|U qJ0([Hb_ )w3]0( J55~H2_uC|_d$f._eN (۳Q2zecW߰>?W$Hlܼn:"TOtF\[(d8>Fs?K309i8HypSEI5|EY=!Z#S(4gV5}Ndd9:hEd8>%24g$@*K9N۬p0j<6'fp$̟"놝{77/F̡R]1ۨHԜfĂh]ƈP㌴j ܍ym"w9ߜ2R]jm'2lH!d^F=f VBA5.jdGbPryլ{zFUi?Ja#,jx&tpLtq_6JkƷpuipa.IS:WRQwh 6s7U ޿KyÄ UXCOcv'FL'Hۖ<۫\@ؚ6tg;=RRWQ"7AZ  ~j{r|)7:6Y=$UR\c5ouIapesWk&L$};cI3p9ٸ]]p;#v.3E3Nz>%Es\}:i71سmmN!uuc"+6#!@d\LZEꈪ< Mm<@XE-6/e๥PD̬ael6Lvܘc^CߘNdTAUS5OW24i)r`anaŤވ :_q̉@`5 wQO.n_I}EfV wh7{~1.=pr!9n韙b%Xӥ g)xl8#2P0<PYmxS|`kX(O )l¼Iu4hBj5 ɴ5NbR@ A`"'<\I`bC,,Gfk`ơ37X$׸ՙ7!fiWڋL$0X7SANQ%!׽&ahf'ƊBSYbs$PmԈ\r75hǵ纳Da\D J"leS%'i,Q.a)1:. p݇$)d];OWV9VĜ;ւhEvK6"_=|̬>C-c8/ ;dBğ1 &".*Yg ]> }#S/ժFqtz+*רxj gmZ,췔g1NP@“*m]0]/G.ߵp'3cM}嘬x6gCQroaHgDCAZira}Nu\\ZEOX EFcCW݄\>K6nX $9 </ bq?k=LS0#HheR;ظhtw!Z<O.tOʄ8I9[э9% @gox7VR;PLU{NO S0ӏh.vEKHT[K$'E+cf$yPk}X,qH{Ҧi~n G%WCuo#2X=ǝ^#Xݼntk#7L˵ MT"I> o̘v*L@6%67kn arİ-e{9%|>녖Z=n3pVK]@VH-ꛠ N,>r}<(ѧnDqP!#B+rT3<raa=$tZIꬆ羞^8G}"Zpw۷{ŘWNbo.Z! +R8!lޜ[8:mjϻCR؟⟦*\#k.٧6aIAmbiQryI t% @{eܗN[Dl1c?'9E'tVO5V3,.Q6w_} R?u@ӂ"8P@*!@.: jW:.%c8w>jcEHBWNe{;/'9v*YB8qC ?mkt7XA(I!FN #,$; '\g-Pۜ]1.(] Ma0?L9 qbhx8jCrzT+_f-"> S^.鹳鐥Iw>rOssBQvp %NW IcJJƀ*'ϥ} .5ndA^ rc:.]ʈnS{xBNHvduIoBX*tq]>YBih<&>bѴ|&6"XǼv;,UfNi텷l~MdҚ0R- j?CѠs? 2Sȝ[7?8UaPmfmFp֑@`"sGp xXg{JPEH"W̌:y 1C!ѯ+גgsCK\.xr)zEf1ɋ=a&Ni;-]U@h*^|,y DE;a̐&0ɕ`lSbOHw{Ftj\G\ oLNFȪT-} Ni>AHhﬥ(yVO& G`-ZugdA=Gh:(XB\Ë%\yEpH21-B/8G( ,2 qNpk&28 Ѫ鲖|;'ZMRNU'Y+(֥* Îfí'|q F8Ѯ"2UU \XoKY;븉 &~ N/mEdm) Tp\r`\r+_(;w"Â"Jԋ;$+zG/[(O̴f~[Vp{~ۻR#(5J\Wn_yCG.^m`$,`S: qXK_|hҾte 3 wA)%cw^={.jۿEwuRs=r5d2"p=Xݻze\'9t=o:%mB1ZP1K8Lt$~abFN#ҷg܃!'ܛ ,)[K!Te LkI.kRH֖rgl1E#4E40q0wss=}yAx@+E B>*^ksa#]u'%RPWÊY#? ~3gק3פ,1}> VBQH9J,ݬfO঒In<Ȫ'WRrgjӎ)*AIJ7,EXg2>9錈0-0Ogn/_reզyր ئ,(!iȗR/FE=vD((%h+ _'U@ (TBE+-J%3tB}|`e6VzNFAU/G!'{:DžUuSDMN4q ó2At|g%#ÿBG]? kD5ztf묹mڒp|})]GLKttB (=M[Șcjǰkl-manh0^vdJ 86kbK+FWƠ+E1'ϟO"]=al tjJ"LV*TnHjZR`q{~e9I42$Z/O@LM)hxE+}5%Nނʧ4M~\!0\{-WCCPGeƦv==9&)~>V󠂷#bsi^nÔYܡHʀ3{< +S(gvKv_M/!='/y6a>x~-W֊U׸d%|VQb nMS_1qUȓ+zdRBlႥSe7)^^R.oD' ?qsǺ4ܖ$ =8v2hKm=# ml2BZrqDU m [ 7?Z¦`x0 NB_jf١{͍HL(ӏ] iP' (Fv!#\%Ph1%tՒ? K;\cí暖z_q/<H_}0Kx*B4dRMG/=M!6 rxrEB?. k v , WW)}x(cʚ?9+da:5¿t h2dFjD&82׏A@k, 1Q$fNh¦=t@7=/ :92|.+IVzR̶q,#U]O(2xhQ UE :a+Y\N0FW :Ӿ%;5n!&!5:@FCLJ^s~dX q( e(#J-S_T_Ka#.8՜?_ECLoXfb#d0j&z?0\1S{ xj򹓰e/ ,p7绽v;|h3-XbR鬆ȝ>f 3*TW=Gdp!ã,AT*prX3t 5?LmџGk" Q<4` o;}ɇm\.0OҰ3PV%m_ mXhVIV!쪑|~N8 Wxrp"/hq:C7`zԮ³x'Ft.+R@:UQh3l3H"zȽoW8~׳v]T IQ ea9 pGsoy'm+Eً;b,`H$ZI\l3F[6c1?U2Wvc<}s_ܢUy1S=- |AM'0%P½@8)0-FX'eh ɺCgYZ C'!b476p RޱgYZeS$st9zLNy3 @34Vqo"-vDDeNWڨ jwNkNG +O~5dKdsU(HJwUpd<:m?~0MaIq[eMUHRHz!vDOcbAxCa_I"<ܦkg#}xrFB,i}-Zo#/3ޠC_#cÃ~Fe_"çwtYQ0xL#ycbzL(! %x:0%a?J3Tl FMWܑm4i3h| zq+s$b^zNs) ܦN $2y mɑO1%&3,T` l^AEmx UB4GQ\چpP6]8Y*LE~_՜B͒aVhյgُO7]LZx[ސږqWxV#֑p 9 s!()߱#fV(Ӡf"#ww<_nfLN5\H\-W;F'8锣}_[}z˸M;ӄ@umƵ{f[a0v $ Vk @ pSqEP&X.%Y}q6Lk yJQGE>'[ͯFC NQSyѽj+ur0asa;UuWĝ(QiؾoS"UeR `>n$P6Z}@jo!3nכ]gIEkTA obC0E"Yw 4X1@لG%"&[NFzQPFF^P?1։sы BVƲ!sA5v~!@ƄENd n8 k~ j"2Uwow/$s" ā wfBNteO Uuu%V.yGfe<\hei,d ;$WKDt2۟aU_`5M]EiI\D&ϬDts;*x5;CIWp˕*u|XDŽȁ΃LmNg]M!ՈJ+:1f|<(0zÍbۙ8(zϣm7}N;AťRf[i8 7x=k8X+X̩]F̳#[ܚUbPōܹgeYXq;Wq~;NZ/D耰%/91#.JB+J݌FkC$7:O& I=!vd @t,ah,_1(ϻU؍ ^~ U\׷k;mUeVP!/3/%Qw!CU[ {#L4,3˖y2vrP>r'0+T,H']6_ǔ~GuŗQDg=Ø埋 F, cNP|AۙXE(\6E-:5TRBsr(^ YTxwf.`?~>(tT1R?s7a;ߛYV&be)dYlQ9⚨D 7`ΐɼlÕNϜS&7ٜC&܌s d0q'y8rbd{9gAye\:m&7!'x,v)$ iQfJTC.J $:=5W;HHw<LO}:b-}h.>5py8s!kT<> h5£ L;.XhӢqZJBԜ %| ,yا@ %1VpHԺ=ɺ{r06<\ĵ 7 4W;Jbu2j媎 ;e#@X r, bE] .eP5Bf:9U#L!V&vo],88&&\<oe=Si;罄?o'{'-H,nxΖ>&qoT@7JZ4l!@uW|a#*QU[3 8O5=ĸys;bBߵJwR4 fR-d<GAVk,`$aE:GX;DTSZZh3LICvwF@$sE-jVws`P֏)ݢ mOddUA> ;iYޏajdKʻ:[=0"#]ܿK;(_?H{QRPBvoq%jV+':q gnnSg'vO+e&-` [C:ark;./KGi'[iNF9z׎i^7tn泔s0sp?r[CΏ-O`2HBF~ j:nNr\L?5bAt6 aZ;t*k_ `ath=Mz!Y{Ԑϛ%07}֟ B ?5YT lUUM5QAY|É#ӣ~ gYZ   r)M% lRefine_MonadicRefine_Monadic.Refine_Heuristicsdocument.tex7zXZִF! s.p]A-MՋhvG"uIBm5NǨ ~N^w?-tRNkZ.EbxQ -:ia:CS>xt 4Kd -WCmUt#G!:*0T BϨӾ#Yp-MD#:mQ؁t˜!oF6X|,}W ) q[Zfl .4(c5^7 S}b'o ƥA ~!#dгF8W8b,mr.b0=[9>[\.륉?"  Sp SdfaTȄTBn/N-x+2'=CҤ%8`/$r5]VZ'?vou6 ܵZI7 {D B, uvMz":su`+jϨg*=p[ Y bMN0AsmO;p3tIMLe؈*T͖tR^']̷l! (r2'tV/=[zZ}]} 3֎Luɿ+ > DW;a r0)&^RHnzhiB(h[ ć2MK,T8W)Y~"`{֡rijdR0<.J˪a$IayG!!Clݣ @^KST3\ff"fZg)m^ooaRѾX@3Q^Ç6DPl%lqv'Ώ#,πAb;ZǥnZr(HzVL#9>+D'/>R/"`4VUd+\ E?m`?A! 8[c,*o*lT)JD5Ģ GqMªKnQuh&DY hQL5ΠY| ^~0 m\c+!^ , s^jQڦtTju}B $'J9"?S%d`A7S2K Qȼ$RYhӫbiPhT } 憓os>B\}O@4fwQpX1~ air%ToBc@4rTf84KXLrӱ GI^ wFp/ӆ͡} yG{\Z(”!J[~ ܘSR5Ռ^mE:} `>v !0-dq Qzz9xY^ٍvvvvLG᷆ +!nU~[2OEs֨&'Vy _F(bFU>'Sv)WhA8>4 ^L%.B1,2,(n-خ vQ@# LP9G.Iox3YSBձl.3JRw@6-BP̥Q.{n sWc̎BBv?Z ptZSہUI(nk5:g\deNqJZo30gљ]#dDa)'IK 0 "_47$I@Ǹc;rC1r$tUpi\Tk՜K 5 I9]Xc,*U`,MvH$N&!$֮! q=+/?j~<_X9hfRb& Z/1-Z>=8TP֑?_;'[ևi ,+qwL|3Uz lVER<+av.PZ}W*w;%V?zncdWU_ho~޿RDY5oeUU ا00ԋU@&'e5bԩ4wowㆢ9FA:\T =Y*{'xɋW)}I)lz(ҒJ+1/l$X.mtxcHE֑ζZv$mp9V M8j3١*!JcA8[RXA6֋t@9ӎߔ][U[dH*Yy6YvB"nȸ/jgSD"ӓ`=*{q$ЧJMy!2(8"G4gJ+uM+gYZ AA<)I% Refine_MonadicRefine_Monadic.Refine_Transferdocument.tex7zXZִF! y:]A-MՋhvG"uIBm5NǨ ~N^w?-\,k7`{WJ9!輰߮7V0*4YRGVxc9Ǚ1V>l|gNI⍓;&&uh+B] ôrJI}]um.K!IO,:AՑXwI| 膘+:uzE։}:+gf(᧬l%iU4޲ydҪ]>4tlJoZXޒQzqQmon[*QehWLRHA#zؖZ6i䨭{DZ#n >Nf{;'UЪh'iT}rv&\L郙~i툐+,pwT؇foƿ +Ṷ/}sۊ}, -t%+c~NW m DtN6&"tf6~uvGSyZDZGTxzсw\D`hSufI) Vy5~܈upb`Y NmZEB0 ȯ KGrF>p7afVWA&sP tЗċr~<Նr,\Ug5͖~έ% T3;IEMp *=9}y1UueC\@Lg]*A|]ޮ Bn,,gc?0F`Uu cx W (vBEHvP[P7{(A%Cޢ@]J0ӟ&j9Y+=-mbQ|ړYuEL ξ>0iy${k̷\[2<=.[^:mgC£zXx @aKN6SA#^>' \<]^96ɣ"=c"x)(V6cFsv9vmiR>-RqPOD](!Ϛ4A L\ $RpMSuFMIǗwڍFzU* ^V qxvMq+|o*0O}^+(Ȏ8 | 14) \B&KU\O#M 9=><~~uʃlX%&o G6؆,v.amIDsuU$njcIiVsB,:oپ"Вz ї۩iq#*,|!;uЖMyF3a[EU\Ybt}[Ê/J:vklA23OSu͈g@`[xo OYyNͤdPBQHrјgU#*x[^4t I82`v|$lfDG\@dt(vzjhBRVotۓf7Fys601jzR|Vi>PIAn@#\E i:"Qt$%93 WvCO]l2v`؛)ܯ5|EF%#d~ĕ W<2'U1e4ݱ Zca"z;4ӧ<_HI*ɒvgU^C=(?cB~Os5E][z~n"`SPjW# KT؉r:2ed5WDDә;:gD7 7hZ1X<^2.-:^5mq-<j=*sHnWHJ,5*VONG _fmx٧@j/Ta!wJ=Y$퀤?p3lH )r%ؔfgR}(<hn x$GVnzc4( @S5Iޙ,]ҥp`d288Zʷ6tU]&1RbO%`7jE|ˏAQx9^ohdz՘@VF^* PM .ɯdNoKg-O\B^_ֳMϒ_a}p³:ڈ^Gͤ&\VzI\tvk璠"KǀaH40xmkuپb/S8mw'Y٧_hM(H_{LPTe8B>ޱgYZ 3)7% Refine_MonadicHOL-Word.Misc_Typedefdocument.tex7zXZִF! ]A-MՋhvG"uIBm51FbhK#|Q}S+d7=ɟzizEl(W͚"ܻ9%tFlj>Zƛ w^Ӽo *S+P"5Ri \J tOзk|$ЪNX!j ʕWSΦ8 Xt6IczizE1nkX=auۺjI{ |z0Z-FZv%K2># 5bh[(!dxϥ_dpbO[rTR>xxN[hsɁ69uoK .`?햍 PrJ?uQ|W 5aγ/αUiH)e%Ga &׹agrjJ>ςEKHK?c]{7JdE#$\rED\pDzqfsfkK0~0^AprϾTR #:BZP(߉r,$13ը2!_2~6rahz&VW̆/[Fr(b$ KZŰDRt , IC~vwmH1('O0Oh,+iz&s:2@f(K_TۂSr6Q~f4plcOyL IjIp[ v$ʂ[:E6ʞ2 ۉMZyz #ɻ0MhJ7|oXͱ!5#i^5:3?Ǩgj^,9S)ͬ!g|n4] ?7;ʍj 6oe=EqS XHcPLSn:SzԷ\pN"@pF ̖5u%m?_N|㘦 ~D|Ce6WҏѳڑmJ5̀rJqR,6RQ+'A#mPV^Q"0@NQ>hN bNV:q: .bbaYxx͟=e~ʑOAk^.K^ OrRY6+i!˭\{pf[]011Ĺpk ŋ\57~$6;!e E(x1{< ttῪ$`,w7i2ʚ.d;UP-E`.L52>qni fl% DdDŽV4Y?O@fWӥ䲭cf1]U,RE  uKŘH]5Jy)\?:ļGZL8ci3Z#7̫աDRb{_(pYhn${CsbgO8IR?cIU2D3P3DNa>V/`4EV\Ɓi%4E@fUDQ/.p''7?[Hts4Z7~ɇΓIC<@㥈[.\vѯ{]A;L飮KK.q"GC7HM{e9C̥W:Odn1!LhM=5GqhMJ4!lj%!|+rhG9}Eg-—K8CQW%Ow>m_4kpU,Cbɉ Oz \j9ݔqչ**&‘:o8GAh8_mg$t&"A\i-dCgu:ql~&vW=,.L9P˖9Aj@ XTpMG_H:3D_ y <^nvhWhOLJ¾ [1jUQxI^KYѯ䋯1FߩE'X)Iby1" K#G Ew8d/熗95[YoL$9c #!+Q\mg0680>VdQpwLu0̓׽|*IO",DgV ]ym.|:Țh1~,, J@405ӆKH1jԍ*0' ;R5!3eD4dΡ[ŞFh{%KEbhh,gpRf 8G5ʤFa_[ri1Ouk. I6 \q28޺skGhkP,v8n׉ӗO˞a.>CqV6ml=tHZLG`"I0>(رgYZ H)A% $Refine_MonadicRefine_Monadic.Refine_Pfundocument.tex7zXZִF! >]A-MՋhvG"uIBm5NǨ ~N^w?->),HJ%泍 uRmK>0̄ ['æ1GkuƧv'}S1F;рP,/z:(()J>6U> Ռg ̶r{8S kU9 F!_ _v;<2ޮɒaR3Zeth`#9a'$5W ژ'ZY#Lzfԉ |r$jng EAL3k|[p]5A B͚1~7h] -oc[_n/·'[+2t@Uh’I)w+,ܒd.oU&]|WRr\6= CѼiSGd duY%} 탦|~Ē98VOiq-kca h3ˣ?~7ie#x:SSpkK7xGZ4:p?` ΕezJ9dr(:OH?\4g˭V-GDW>Z>LSXDvjtX2$ɴF(!XT&;pv5kr5a]\0#*Z~]p;;mPvn5SИJ?VS pcB.7r㦓z1V壓Կ?>'PLQzW9^+3DdWt_&hHRfJ؊ճH蝺#^!! $0zt3!]%AVbxZCx1[A<6j>|/|E5 #-^!Ud{¸kl]ǖZ/V"岭LD|9M(By0Ⱥ4xnqڕo)^Q˴ЖvLZRfMk躹^5eîz-<8 *59ÛH,]aqkZg ,bYƎdXU\IMFI+4IMiNZG*lgy@6vq#'D.@p=QMZsfG䴕+V9w" !&۵z5VhX@_q>|$锏ݯ=xayakQI qW[njVt524z󾝐MYxcL*fQROaIkI!"uIƜlKվq b28G|y@đzTC >Y=$'5Nボ8LJāD>Q0 Pl4C%5 7zĞ$#J"8ZoD@o3|(gɆzuAB7>+/nOnV(93g(ꆅxVƯtӂaF"c[~̠Ro]+m?HҽEއh#  `la9e %p0U+Z!Vy <g`%{ڠ#--WS}ĕhȱgYZ zz)G% Refine_MonadicRefine_Monadic.RefineG_Assertdocument.tex7zXZִF! dR ]A-MՋhvG"uIBm5NV*-ɍYF@vgS\"k(kH ȣ"&OP&6dK}q:Ehbɭw1^3IM[zɕCtf8(0]w,l)ƽ/#*6Pd9e_/w\4QS%IK|t 7Pbjwa$)링Ώ ΣK1Rsq.O6bITreUHQ݀*[q<`'d$rY4ps ݦJoI +&kֻ95;_r?M;O~E>m`#OWW&L6{sF=Q&ibGWOq0YQW+;c-`#j'S;]@\jǨbL&D]#7\GЬ%"1Raz%PZ 칀K8ߢeq$deGNaaOj( ^z0;1>fݞ3g~D6r_>fb"A6>qd)}\P;g")_guI$>@?'1r-2MHA#`e4}@ijNҰZ3+_ʑߤ2ѫFu'D3+/iW,i6'Ȇ#>ʓz)(Nz0Âg` !4Ҙ73% (beZ;?m\UۚJbW+PmQàee0j lͼSb-Qވ9e8cQg$[жÀ[>y(g Tb]G/vdoYA bmB $@  (c_̳ow-e$[\s{Gr]T˙ivԵ;[LtuwC0&/m!3Co*zW2q M?sJ% ׯ*b"ڗ- ^\ <IwBz"CO.<ؕ}Z []<W KΣ L& ^>>l{~C[Xex&K_( x4^F9MN)=Hghk7`EC&֦;AL1E3O|ZKٍ Vg"|jГ[gP;;!j- 't1 ⺧X'-oA|L`'9-ݍ@*(!0Dޗ]\B<$HɨG P_#Or4m~TaOUdoa$LpTT֭+W4r4Gv9b.)߽k=-qm[(?6l+.3GVdֶ+CW}0 'b&~?)OM}Qjhh١W %U_Z;/+(.JCk*.ΓOa00rФH{?pP )= uRgTgYZ 0J)=% ,Refine_MonadicHOL-Library.Monad_Syntaxdocument.tex7zXZִF! 3N]A-MՋhvG"uIBm51#pzom?bK:y !GgaEo>v7/UP>p`V׋b u/"]BEZ݋`L?ԏhYBE =*#EV.^[>dⴾfÐ9q_*x.f7LGT$lp`m?ԃEP sPA_FBKoDu;a9EDj.۬97g/N2gmgRx@DNL"]|vCx"ClIԵl=1`YFѪku-*;/rO`,r^U^Bi7SAoC;Qj%0VK먥EFE1fS$ ͳYRoH,M}C2;Xg! I'WAm+\+s5sYW!a3/_fQ BTFߜFrV?Ȏ0onSJɁh (gkSj8Zl&b ;Lz^'n-5xk#%SvzcHU% uCG÷Rx+ĉGTՙ=,WGmc-J:7FJz Q yՔj9/ͣ{GvJySnIQXhZK/#L.DME&bs;YEZ 쎀m7 7)Bſ撿V0<];4H(Jn4p *Aˡ=R>wذ`.d?brv&^3 %y]m= 0ɩqp Z['qbw;ٛjh(x 8K>[ ̓ؐ@=lF18z{3 y?%>B!Q-d o ʿas"Ni0pGL\;к7 r?dW 4ȑ6sFV $py|VghhQXr|hW<ϊ KŬl5PW+CoL%]aO-TʞȢ*LRҢOɴWuu#^϶NTbbP\Uq n9*#1vϥIte#Tzu &iX\-wCeT3 niɡ s,uw, skmT`ϕ'c*%e0E^PX O-́FmpKUd R~c-/3ܶ2@1@y3^t$SM= f.agYZM)K% $Refine_MonadicRefine_Monadic.Refine_More_Combdocument.tex7zXZִF! <<J]A-MՋhvG"uIBm5NǨ ~N^w?-xM>Ag\Di1u5NfO Q,!~iK.%Ӝii.}p6>WP .^,H 7MdfymJqQeY׺=p2 X r^Z|U0c3Tuی@VA HBE'g58wJW Y(,HCoDGnB02ȯ8 ~9M}C0,H衬 a98^gi=^'p Z N\om]|,ND9Q5ˑҨJcH'k BHk=&H+g"}H$laH~M,䥅擴L8jc5RYvԉϤj%V ᅔ rޗKeKr0İO Igٓ+EJI펎ۅZw=̠ů24é![7rQ}s(K.E@J% X MVY5ADh"즓9/X֌`y3&bkth묮g?ի=߾YP8 \IGfsܷ6]|IF+JA+^yaρ ?UD (*P\CXPazu p%S'` a;Gm/bp/%B5xϋ[~zM z1qƸfߴdF'g<@-_!I.'Sq|f̽v ƏWP% Yx= gYZ W)?% DRefine_MonadicRefine_Monadic.WordRefinedocument.tex7zXZִF! 56]A-MՋhvG"uIBm5̝9#fqipN;MO^ZgV"-U@M(eDWp{Aݼ%6bZ=bjJt/7@a@ՃUk.f#|2r9B݇=!`G0${ m@q2q\Mގ!F??&|\΄~}^&$ "OXS}SdB4bE׶, (@ c6kvd6vJR/,?6,eO5HwoV>5Ӱՠg^ּ*Cܶ.V<a^; s§^@.2)swSf=M:"[h97r#ȑ<+[;=僼̆~.|} uˮck&RD3(Dﹽ/(j^#T5,٤`Q4Cn<=k@ 7u䄜,֞FQKC Yfv=W"-C D`S&g[#eWRe}vU 3ϡYOq ⟅=~ٳeVn>e_V1U`f#m6;MT` j&WJ] hy@?sjY2FPsz%4zVӶj0cR Q> ]2 I5mݜcn-Em| x P ك֟BŶKR\ !1]nK^dXq\:JJq %'L$y ۖ%0PJ ):w9(ppJ2J5ž P#& E$^̦8kߪ%|C7$ 2^nGr9w2K8{ݝ~ _x1\&W,pqVBAuWKxx6 Yã ҃ )~#w8r|`+Yݢ0#__/6}.ү0fxr!H~`V9Ȫr }ˮ#GoEM1?Ȥٳ(5% aM?= LM4F8g}45άx(pNiw =6 GHJ$%wJ<H>*SGށ}1 gZM1s ܾ 05^[ >=  Z]}2ֹYIjx$ !"*~\|Yz4a6M'z)@_~ُ8_@?~<ۤ\JmYZq\mZ bdP@ z4upO*hs+<-\0gLA3$bܑ. ;4یv *yIS5lMrPҌLhN)cЪmٙξ~,=tౠ7ؤRMB&۝XE1֢t'!KH:y|1YOQpgL&%߄zgYZAb"HKfeb{uAjy_|AtWw@;-Ks׫HQQWGn>$M erpK;K pT6{(aRy+Ymd3SΨc|ˮX"iZK2 sE6(GIo CPRT5=v^7""kgqcBMǷ1-E rsՇ7j !s=<F)E{wY<UO0u@8`.dt2a/.bIVLۛOAq3 Qò,d]X5DX']5vCaG(r`x0b5w+%koh/P:h d:Cw~{h<PٓV*]*]. 㝶xQ]+zrKv,g4ޓPmگu ك ]6ĕسW7qΧ["(<_)Ӕ;4y/"ZJ٪!Pt')txE)i-S?oZSuhQ#'5ph sϲaq(kvzϺh_SH5}%8RDm w@/A7{ M0i{Qrҽr1™/mIsTztѮ ,KF"ԣ 5=o_wTYeWx=/ӌh=%1BJj@ow>q@AUCtV9gw}9p]61ŦV;1f FIqSq[hfEjjP>W Q[Sv؁DJ tq2T[Q~#?Z>--lç -%[ X;~$3hQDlN#GRC.Zq3^mt:c~I&ʈWuδ}x b ̡w^ᔾНh˙c݄oo~څ/n}) IZ%*/&FjĹ:W¿c" _9\,n\^ysⶹD`ݩWeMjtF'Έ8a?dʥ2rS7n^;H+\4|n侴? i6l0UcUǭ뿫R6=lvRǎP^]=t iI0`ZJ\v h{}ANhKw&w5Scuyz3W\ݓ+>lU%b:9yס`a)Y@`/o,Y ʋ3&Ibz$yq[oɲ"#}i94}wT WD\ݓ('ەi%͕KrZ)$>)}62үR'vǽG ]!4Nٔzu6U~?#@#8OܤgO)+|8iŰ܉.Ŋr[818ÌQzqZ;䦬v iݦ(#[R)OGk }˰-9|˧ SFX:ѕ%b~E.@&63O@p?[氁P4pN0 %V*@PL 'YEand&;\W(WrcPLhJ! "D~XH@'G&"b -% :+LolC~Vn_ ʞq} mL3ǫ(tO'^ɓcpeux<.ZA. j1 "^`^d1fK";6.f~zya,uIO϶m njmLeRLOm'2SGiKOr v"{ˮ$}F&a-&1/LsH_LW5M f?:шdEv NKyӁ[|hsq+sӂj1R;+ջ9G\nݓb? PAi~0 n%+p%4p;HՊς| Bn{⭝䪐ڝk - cAnZj$Ci>m~*~ =T6(iUd7?L?b%ؤ5:KOe!)O&Iv͂<zSx@|-;rZ!U7Ш#+Wߴ4fQ}4.nmG[|xh8UntŜx (9WZ-n'ܠsE:}Hs:G&Jĵ=c1VP؝^@&KnWʖW'VuGKG}X!.U;"#AP 6/|iLujrVc!% z}D(G*f^& 7 :O TtR9s <VoI^*Ė'bX`ݳ1덏`0$ PF# <%R.&jT@c|řqAtZᔆweO-ʵ%Ȯ5')¸6שmy:|þƏנ6j:$}Q:|+RbdÁ7i;~MA8H^}#) Y [#%ݮ4 aU K> v.:j%*=T$4jK @W/>͂O$B+{P:+̿sq>?a$HԒӋ6ªO<)9-NKĝ~F&LVOՇ[f!ky7EaVgo\ q$X(}^=AhTٴ$!B5u~Fض2͕旻 (| .t "E!M0d~sjt^3[}ef-X*;g|"\0SSíDcJt {X@5CHU^%wR㜛~BGy#cFuܭyWJGah͏ 9*-5F 3T%sٍ M($@U7hڬ \K->Mj"i۞ož۸Fy9HĴ+0Ax(uƭHG7 T[`D|x~HBH1~S?)-xc\>~op{[3t. ױt 5!b-,^ kIW_)]15u׸=B~|uIߊ$yG߲VXSn3|$nUw RYYtuJM)*V>$[E:KW+wB >'hW.ʟ\\:dar|,yaxL~WHV#\KhNyd!07/Sby% Y2NjAg_ \Hld}F:: {/MW,OBi˒#_Isku)Qr[zYVP#!!Oꉭ@(X؎~#'ОECDru'p9 %zfde8YaʏL=sG6aM Yy"{k+zw/>ŅiEF0&ᖴ10^"kSdWkϸ=-zmYƄQޤ!3G+2|+*g`AЉ,",FjtW\ǪFYM̈́i2?fa 3mGCJ` 2&~q8F*EZ/J|~ox&qF,,jyO?X:r`,,x%iIRL)߭"xgmD;[8Lyz H'`YXx ~mP!K~ۧV'.Y&cwG,3&y,敛t9S %N2kO~Suc3>55m> VOB {{u)pwjN[\{8-=Z)+=-=1bhH'*g粕7FZo#/2ZI~10gaOB_"$eYobxƎ9n\:qd8[&+-`1aBi@m4G.&j4%KZB˵I5*r^-7^U; rCUu0￉Q ux t؎ -\~?ڊ ;2}mǂ`6p&Od{v=Y5:I*(.PJR~򍹺GJMGJ2- \قڈ+}Cbo m% ZЊ-ޝ_ 7v@ "o (BRC "=mFMl( Z `}(i`UC!]Su83[ʊ09ŷ-ח; 7`Ц: M2d\en졢Gj.rFZ=)z#sS¾w骚海 {$Lt WUM ;y(EZa^D>32JL-ϯtpe=pnj\r!{H|/|ƩJ;fKN:k%Al:5?ozʋԩB(FP(KwΣ_LHi0+=t~tkcKH>\JRT$b$U%`fMQ~*Y5#WLZI3N 'P/Uo|ǤQ`Y{;]_Y{.ovpX ",,})dGe^DDːjg@/,3 .jg,\trTؗNLi=Xlug^c-G`ʧLmuP~i3e9 -Bga1yuWkU?!!s[7`&k&z`2zjta#p%RTޗ5'}"Q7{N"tAn1- F5-YzDQ{pmnYdƸ&Ok|m36t̕r4=7qC ?kR,"'`3sߎfAbN[=vS*{ }fo{?U6I4n%]E9z0 "jй0,CG-{7(8M8>ޣĞ P?, TKf&o乳'*gZ5q;-ލamwp4}'֋37k*7ވHmb#;E--wS<> 8\&;AjC+crMbym=rcM_y0?Af۪/wCLǪWvy6*|) wp.qvK ], У6fԱr~ %q$=tfF*1P}`KYbpʬC灅k'oʦ< X˜Ҿ܄~E;4iU S퓃/qt9!<3*Q86 Ў]YgjuvLIL"MV\EEQJ2?C3Q}eYfgI6n4eh6oj_rdSd5k%!&2Hxi1(* %?|:.W+ؖg"i"?WTuJ;+Iz] QEM@Z,l;5|R,C%͇Heϰm>$Kj$#^VM`glzî)L ^ZI& !]Y}Fn#S UUjʒgfAm(W:TOgPBN1K3;YLsPG5 W ms'Kɬbs&=\ 6WK쓋rʎ_Gqҡ9~G JXjH4Mcm;!0V7IjE7ݘ_赔5H$HՕ(L)áL[5H' Ss*s]k/+F!bqg BzlZEBhg@ @ q΅ /ZhEXSi?8.Q3fo^}dI8 C꾰ZfkkO3FJ)/ k7?$j"Au컍/cdtOA6ů)ڐLT߶Dt651}%lei5K*<, ը[Tټ,ۓJNak_@i@Hfs6scFX;RRM\YE mYԔe^;=޹6}TL ȒK"= x.3 ό#m%I"] Xpj"vU6q^^o#{D@OJdovśNMy[ 8ϗD8s-Fc(U 6)fd8n_6Μ Xy8C =saQa3_EQ7yRz6u 1qO.oZ ͅ~Z10G= 1ͫHQ^O'A+ 85dmpUF;!{7ޡ#(&S3~$*@.0gKUݾYQH h Fu [S>D Xwc}ȶ@H rɅ>XJEoyp^}uݹ_ib98`Yvi0ŶoT5%Taőu=d Ӧ0"⍚[.( 6_P*Dƹ\cR9ޗ83gLܭ9X[7ygf@( aF-Dz @m#eߨθO}p }jӀ{-L% 2:c5ZFX ^ڬzVma5A4[p{ `^qǩ)TӚ<Iy+)N&ƺL._"vjVXILkxw⚧ж|<";Rv.fIe'y,. Camyy*&Gť[gMڻ ѐ |%-+-d\=}rDǩv)SK#_8>vV0O2/tPB3cӢ)"j~ګw(LΚ@2OBj-œ XʿWe:{A:W”W~:TꊉCTvW)LMk`$e혉tlJ@hu[d`U0dO fV RqnճMJȉ†d#!;}Կ$|M{鮀!:N:q4΅2=MWskU$J+6Kur:%H19;}rvSysĞ~¬wm@,Cg!ʋazL%-m82 aE8ɿ&}|) LNSj+*k K/ZrU?>fso =oi~C~/K!E!m@rx;2cNVDA)`cc.>;PA#d~[N .njHI/BO,2xC_@ ͇DmP \vViZCdc:]N] A`9ˏj&Rq]r ܸFAtȏH;[PmTat@L*\~k^vϪZz3lL6rc|[KܽVArJ8 r67Hx8'U9&^vw)629kk" 2ܻ׿MƝOK ;[6\puظ-1*2ŞLNO]F?Z_kojJ:sH.ɬVmq;閑mܰwĭH[>(زv+W]9 lC]e9Ntj[{o|7 3176̥t [@O C j#hP j5e4boJ{-|0NMDd(s9xxV@c>oSon{dy,h|/u ~KEDSoj$'ӄ_MZzH(;hNFZpV\:+ٕYդ";sAÓ.1l@~WD&m0Gnkw\d0nNH]4? vF%IҗlȗmJb,& d =%b7˲o9@*-B/S%MGTtmL,4;6OyPf؊͆ WnڞFzV3I9*yƒZ\ 2_AEܝȠ:71}\jO|*,XFJ/̫8z3b4h2 RqiC Nu90 .BrQ Hڢyzן"&JCz}U2fz꺢2 6VFF9QV FЧ]+w[Yѡ$GYTW $. R*9  ܓJjs`9 {1/taC G5b]e {5LV%8Fw>M˥k4o߆DB$I!vc4ZC~!ǽ9axC΁4g!I ){aiHNA1F5<,yXeK3m˶PS0ފ>An , vLh~Bsϛ!(}(C ɑ{ "nLủ&,hۧE|.|ScK9hE0}ŜotO\Ak HR@23H 㐒gΧ4V 4B W(ʃ6c6\F{ Z}Br5BsKhn|'co}JڴY.@;0:7yN|M>״}fx!Ca&Z3,`, %r'GaIqRfW8hhrU*$v4"cD$KC&8v 4ym\737^zHP#vN %f-1E`:&jGH [ІE|c.U b6ϯB(xvd_ɪohC+nW ,(Ma bxvk{ݣV m[[Б? 9[9ߚYAќIE֔.| CLg8yD ,% ICFv~ze)_MttaЗ <@u&O<26/ {Oz">˕G@>:.xwj sj<âǠ.sG:ZCԂ߿TʹtKnJw8Nmߗ;#maU RPXW>Bβe6 P0`FI"XKXA\q6{-yLD*g;ƝFj)BpNݰ7[ ddDs,[n@+ x uM˩$Axk':Գ:dYn>*#K{ю#[uW(g̲6W 8Ʊ~߬vWaZ:Vg58>, x@Zfa5?APAXRWm8mƥ@lmV] Is"pR ȱn}-\|9yD!skW*G̋ձu]Ӥ됸`ԂA1HY+L良'2pa*:2{+Q#k v|^]ߟʛz8ۻ4&fZBh i incvMBB/7=#̍GJ k%&kxQ(-B^}GVDPv xr{tm#q'ޠnJ"_hf`#LNr{nӤϡP6WXh~韝"S&E=&[mܪK4cKNCB }V,,)nAIgZ;gcJ 󏮈řj,2/ZC/x;nԄc 1W+ ^p`ZYN‡%:~G{9x\eޜ\Xa=yLg %5g;GCdj>&K|]GK yvadrpw!~j sfLIқ*iPd’U(a<|ݓy9Z'y}QpI1MA,( (Tyd@ ŝ0 UZS<#BċP 9h<_yRST@Z~0XE|YAG&!ڏg 3w'`^ܵc$OƿiQzXTD`C4MHܓI]f7xMүr[!*$ʽJs~4n*fT+]N Z2mhRN>Mx'(EMAa'a}53BI[wt X/|.IgL5a:42ikUW\'S>?`rjᲂ)ϕ^pGnGUCD|!&<ơ=VbOv܍LҗG=gA1:,AL͸Ȱdgw'xu":rZBU#V֜zԬ=U0У[=3-zF33D܃ZލKW04cf[k12'+Bbn6!Y -So6gFEĪ鍮܅p4n6 bMWʪeD&@ Hb&#Vc;`bYoϸL-y%E󒏤 %zxrh&KWc:"0?c<chc$z^o; v><[G +8$JbDH@LRAbUP ~+Ed>]&4?msEٯ[3 pphDۏnܖ}3× T1x ?M7%KJ|nb$p^Rգ\3ᐛV|2wtp[&}90hÖ{ ji &nW}x[ Ȫ=.0g'B]`vD͡M36CgFb>ݘf3ǒO>-!KcE/2w{v踆Z O87>BAo8mn$.zXE?\e~wP} 'q7Gc('3Zh SsML$E!9A՜`$Tݹ/ U02vZw}C4+^p"HJ߁QN +ecQEh"Sg=y^H5/7* i͍ {M7dPyIAv!xQ1kݥdzIaBgiw%G@NӏJ=Qi]dVMf3U-̼]uŜx3M+SRLȯbt؞\VWUBɠ,KpW[! TX5MUfSRa @?nO,F׹e&LPvZD5WRb )r$B2eKz]n<0C*o؛KWj?.l+OBϠ0SC-xDPhV%vGU7[d a'oP2)s,pK—m,圑fd_{|F'_:"a!t~ d#ed}^0Ya(Ӵ[Wxt?EkGc3u ӧcŋUkdf4;E՟EJJ90bZ|[\dۚ]mh/| 9ucm ,]gLflq42vo䙄&#i} Kʭ;Y]t[ Sg'z Nn1d%^`,<'UGUEZMQʎ,@ Y,o `&i*]Y~^ mǗyrĄtVtYvBۜ_ uu۸@cw_T^sobM>&ʠO*nZ_(&dJa qFnDbRV [$:ZH{5twE0fKڶGzC:#lSxqlK:@y2 RR-m[8-ݙ,e[#I0~5s#xE(^5an{܍fM~穆D!io"ݠXx϶1+藒@. g](a9HgA3^b@!,/.P~޶(@eKkOH3}4<b׶dCH- ! x1˴ů ê]H9u=͎(an;ͧzKNb1#q4wm `(=HOtK)ɕڌyp('<}WCC˅]?'"(0ʾ/ cJBU|؅і0{zĎtw6,X>* ~?b:꾖W.`5ceAԝ+PVyWӴ$ moajk͓.g,'@[Zx-{]Z "m;$е2h >un|F k^06 S>N7g1K. .j'kV7-lo:T96Ʌ&kX)_*n~׃'?C$-w?Np}e״ KЯ־{[Uw$ɕUkOu`A+GWE9Ox}v3 JB;Și\=*fy523s*7 ^—g934O,GܻP|/S{ ~R۴QcZ%02cT%m4YNCc% B='hs5HtU%4+ 7lή8 >OE$9l9tUy u~ٖdRϯ<͎"Ij0'37t`EDٌ[X [M Pyl&{7k_P۹I'[Ppت=J,υj F^ze5Mi@uCT(2%?eїpBe:okAvC&9G {%H) Uc?ߣQXUT-V`&NaDɤ&)3<I] 1Gj)2YΓ(gi`0̇>L8gg4x&/V,kcVrZ =o9@`fkHb!l'8.DR.Py/a4P$%T|TFGZTw-z,DG ˢ,\@O6F ^RCMÁ axC+dk &5JVZXLAw_aQf. |jJϞT-%m0*WCK2NNrXG*MZҹX9iȐZ~å=.l>'CBXCSkPʤ|b7޻70YV/MZbf1Dg[v-sXl߻L[ Z= N*)tk[EeB[SZ ΈN :b ` =e!}ъ$~ g-<7"M Jy=TȘ+sǮ;㽚|zb=^#7j@?}v v !6$Ij($KTi 83^0Deg J )*Y]A+lxX'.id0ɝ#l:=(h?t\{SNS1p*IR)9-ƼD1&;ߵ \V.=3X)=/_ogCr=Ϊ`C̳4{?(:=ɯS<.Lx:Cy1{2zIf=eIfNm0)0D+YuHD|*GtZ 3ʶ[n u*L$`:wƎiGJ:t']\nLOM2Vh2ޕьڬV-&Z6PJLH;haV@AAj$=zWjyL}ª{8u<A&NhMʯ4vQSW^-YLrK{H0#.9z4j%aL= 8OV߱lQt{z)Oj9^P(w Pv@&#e;cB:dg/j=ޡR^N]KOW-6{xP,? f:wlo\\:Xͬ<TyOh1!h5FD ,#? v *j1/ߢ t!]gԉ|Ub8{[! +sK*{`-; \%.Yr3$ȱF_[JA00_7E /,`r5|=! ߸Xʇ~f{]jP;@+y;j 3揩<X# / <-d,/Hs. S f*61ejlģ@Xo [2YNMP#7gc^bqQ`59Mbk⢕Fsʨp'LUw-wf$bzr{$A=+&zT38W.MKo1N'R/Ԙ yohgK v@nn'!7WLT"|"^F-( g[89<\~|JjEC ׁNu ޵Abl9,&CKvNL7i1gdat;ؐ3ZK)q!(,@G/n^˜:ѫ2ݡJ9rM~y.O^B%VZ/$۴r\ Zo9(8$ ~ ^!~G^Kݵl?"iRҁ}F!%W"M7}QZ5+mJ+:6Y捗oO#NFT 1ҿd~s46WGx!gDUWYتG-Ł)A?ZθgԄy+&'ߐ* v_l6s:uqO׈G 3i/h`vz,a1'-/&&D\Ǫ:ŰzC㄀P QuA'zcλ$$!UKgp6} OYfmāu,I`m"Kȫ@axiG ҠY1.+Y2<5|y#fSkPuHOv'䮃Pl"3a|P:Pmq$qC9$:xmg@Bxc\mxb2`H1K/JȨ/FeUNω(e$.:sUKDƎj=o#jEM~W$E([9.SRah&҄mK: ,8 ezcr̻f.vɶK}&3 dKZ ߰)>Iݯ5! ,G%tbz.~:}倯Dr>HK8\&ifhA'Qc+{F[1vQQ(<Ԭ.O%" {o_͔*+4 O`fguرWHnɲG}.d2,%.N+v *WOn£7$?݀9\3/r^xwƟ:|bV3,#.snw'SAiik}Df}{qM0!x)TW(Meg?u,75vO~R ~Jݢ{a8;k͔ği9DyH`l:gIGylz|δhװK`ĨÔj*I(=ht \m1BҵTT~G"P9-}5Iە:;“u鞳uɥ1ɜ@CUHPpħ'v rdjaLvy` *?ka.&[ާ0;N5lK@[z+FlD@q}?Qx6u1LS5G>ʹA`iϬB ubSKwF6*-\xV.JWU[w(^ s~i̻u{,Cە?UʣVt^7Jl (ec\VJ ґ'ߙ_zg;<8& Ms5׿r9bM Fsג7Lz^04Z/e؁o1uR6!6 A_c>ɀz.]J jx]5gNS 8N fZ :+$!K a]l*F (xEvSs( fW!k|rkVPo^5mA|V`w˖i07IFZGÌsyn~9^!/ "kiN~ԈqO3OU*h'D΋ (+CjRWzΖM#POf4CULeO8dBm -wIPX ۲ wYdBQ",V!~HUk/Jѽ᧓t”,.!)q#S{Y>|L6Z?[^Gv7 ˀϗ5+k {;u,ks r!wscR9ɲ 758.>o$-Fh4 OM'h)*@NA7ᢟ'-T_):=GYʊYl׾LkgoyKJ\Y@KߜFׇDb!mfHMG1 =5Y@s]k+w_T” -%b'ե>$6|M@+Gcx1Vfv.,I cf>sސM!,5 09}B@V`ZzFޡxZx.o+?R-"4C}t+A:،r"O& '(ٙ3c"JS;a0boign*,]`!vcQv]%E Ŋ|h 9~)D+vX{ݞfR~8s?Q[dArdFܝu} aXf{ԗ$I6ЭU2Db@%Ү.~AFdH! T3=Ʈ$3};w+2w"td$-i- _pƮ8d{ 4ta1Ntn:j`,<ks/oJ dj 7WJ()BVy RxT7IHHw4<\OOHɕ׮ bk't ~<lZDOTtr`9}( '|Uon\y9iS3@v͋Dʓz g,M#ӔCp#Yf?[8˴G%7<؊|\7K 6;l\Ezc̃"sn:Si1 ehl}ِQ(rTV"VBXaSoRYݰB}C ~~4ߥm1|.WyyCY͜|-Ϗ>.z;,s_}u#@9Mzc~q8l;6׊wҽ'^R3r!ցމKy 9A`tVF`'/r>': ɥ(d}0 SaLLJ6>TݭU`L3PM>Xh~K< 5 2cG]NI4^z C# ^ȣs.H9G ĐQ"&`.l 3ltpWR VM Ӹ]AZ+.\Ï.0K[]|з<(0 6̊ ~RCi 3*%!?hMP#ة{- M7PqOdӐ]kkH/+d߁2ɫmN15 ŭMPj ve(@Nzb{?WZyLj4Z.JaLV3J0>m=}&*1h%艠s:캢n_ x baJUU-^R0}[11nq`KiŵuRo|K;%MY_0*kx ^N僲9k+]I9,-B7c` b*;&vE0gDi^G4zN,ؐO( y `F6'U>c 5muc1-> ALϴkf&=ˆlx f|Q!=\FKƌ/%Xw= Oe cmN1sP3E4KAF`Ρ)!}ڠ#HΦ@D$vpOLi1ZGܑN=ciLIAKoǁf{*SXLamf!?-kdz㖜6{8'[JhNR˼[x. 0N6%: $nJAlV6fhHB{$C5ۑQM-衍1_9}>j[Lj)~[J] KPy>[s½ǘ߳P[+~h9&s]QեHWǾqB<5~ȓ)kyP]aH 3(Fؤ{O\~8YO!&VvX`}3ܽe>x).8zAwֵhN$q[2 ~f%~y ⫷pgh41zq4.[>dMȍ%0e!j3XplLJB1^΃QDƱnɐ 7A> H߾XveFbPAˣ?J:%M~w3YN o'M!$wa!ځ:9#BV<b"VteW}`SeD[J?3,|X'4x{>kW&m'"̳jZjƒP#+}a˵/(hxzӷ08rېӹa҇q.h-lM! u&Sfܸ{z\(ޞ7L2+/D( `YTf) NʙÞ;;(*&8mCW*@T<œMsJ 1eb_8Cz 9N%RI|(% L(4I%q+KС@^d+4X cTBdBQzЮ<=O G6B_V(,G{{Ϸt߷ )`ʇܳ %48^r 3&I-^U NNDlqkRy%䀷g. Mw#Q1FhzO0Ff'Crc")Bh=bm=͊&@Z1.C$^$Jŏ,>9 4 ,Gjdcu=dh l[!b$e=b@z^cGro&KPPt 69҈/P nND!z+q?8&Ov^И Yl%  vOuX ֈ*Lcj6}Hs2 WϨÍO I !F6VO (buS,tu/PDbɥVhv3<_ #/4p"ZVwO{v1AhI^}b2M22(_E`u{jCK']}EN-@/E %f?,"wi_LI>q,I@|+Q(em.Wс 1a Vi h"F˩bsܛ۟޼kX;ngijxZxN >!BέݪG#4;!xRYAv6#E$9e xq5"ȓmX%nLri+!){6N<̌=_8niw 5OX-a즭$='ĄWeš:tYŞݞx$ؗ@%bo1^EF\MWäXlfneXɇi!eZAbG=6:q]$iW7c f3K 5Y41IY¿|\bj^i _8'D8$Xica M˻A埶n~JF=0ߠ?KHǞJ993&`/p[i'# M󪚆kVH~oo;X4vBC  +e2骢zʎm T Kr/$`G`~XP$C' p m-mWoc1X|i szӔ/xykeD0\O%_4%1KIݾq|GܬN ⼐&s]b m; &%=q>NC*gӏˍtP*1K%4Ƌ?~sJ]dƸ1j٘\R_P`@O3!IK>vNw7U7~<&3^#Jl[@9Y(e†ӻrfCh g'Ni>lR H큮RMh`~vkG&9Kk꾗Tp͆w ˠg{ޯkEOw Uib$?wȺ1l"[1nX,Eu1/ \C?x(9ܠoW:vkՐ˜J}Y㗍RZ2DSMLk["#ϖ8FȿjY ͯ.?X$ڧEL׏8:u2p?FuA1UcYc !93Ԙ/g*Ws9x N$VE%:xiMw#JC 8љkWx 8" P,JˮO4X4~ʎ4cҪ`˳emn'G$P<Qwȁ)3)4c=r\ŀ}!# ͙<8ǝJ9E"x2gO]Y5>1(!LEfF`$þ֑?@4kPpo7?<6H @>ִ)@ LEILg- &l.pI-bb/[9U3Á&HSEJFѫy6Z!Tư`)n.~6s&#RI&LmOZz& Sݝѿ_\PzlZQO6Ë́H,Sa4 =VDϬ`HQ3$:xEێ6eg2rfMNQ9PhMmӱ1B (u 50HP%Fxφ$m?YMf Df2 yX}uJ<~ =+^-}:=J;JN=bG뢄5 Z&'j oADt vnC~n&Rs.?B'naBgF S\Dm2 Ap$? /?p@Z"W[k0&8GNHH-);U:țZob@,ġͪRAa[4ҁU`OUḄWLӚ}i}NJA e Ocx]m@+vc $'0\ j1OX6x!<>Qꔎ8˖ PMɪ1a1Oc=2=.('ػ._>ҋ(K9->~+оL>=/ ܜ!q])䧈&=!GրȻOag[S-+nȆh+h4dgEi29fjXZ%7jd`ծ2̿G~HP\ ɜV&EVmd2nr/}% GVṣ+ \UmKA#4Ũ2H4RSls!Ҵ %6hO|9ц_s5& a76٪;7<̎IoUQ Ϡ#Ko8<*r—`CKb(pI>%A7Ed{4)mewO)*͖WmbƩe*,O_{T\%DS+7>êT(bCv[ QCz'&tĀ)" F`[Dh Ci* RǒS(ؼé^idu8ZX{xel#T4T,1ۿVL<Ž߬|O$6ju_&>,7⣜c/gNqx 26+:=G^2B?,+eIBm=X#ZsHGk{I|Rz+ 8-+@XBs-:2^%&_c".Tx4(gJ}nLaHV=z]2&/yI,uh?9-I qER2AyJi¢xfהw%>L/$.A-vrW@W~RM5`'FnHaV[|(50vD0D%0I2<[clxHZڜ{MAaԊfٯ[^Һ[B FsL6J{h9)'4Z$\^#|*@gH?LcM}*+M?4I7I}R.`˯묘Y`19Cs:DL4w&fŲ4V{Xjaq̩ R3e2;:Ƿ]MܒҤ>,KեP/?EMCxTٍC xvDwƢ׳_9 d5Z[P@xv\WJ10(J폙JJ6 fПk7 }V!:Zad6I( trηlDpz&H:$St}uqR3H).# Ox4H- pxU0" ak&6)8YYTdL[!ȴu7 3@IJT?_K}ٟͼq\Aڀ߃v{x8]g_ՇO5> q> \}>PẊ#HCR _d:Fg unrcHIǸ;[敁c͵OjkLTN=66rç4c Ib\?Sߐx <ʎjޞr0D,B0IqkV,Nɴ'.$~FZK,Ceܺu|V@w)Ck)M3M<`/}_kQ%ӆ`j Z\lf8IE?J~tmÞa2~{RR=MBR>Of|Z(OF-aͫbp5Hvfe%3ȭKPXՙD+$b\!JC¼2lJb` .% xHfNe:}+N.vi!9lz #%2B!rLSj EXpLV$Ixu3TE1hcv*{\y4yy!J+lC~~o"#zb?. ! pvmA#;2eG|N(:pz6Gޠ`aL4 1Qd>;lxM Cir0>-%-4$U;Bv/ƻHKP2E#iCmi2FZNB"oJ#L-bDlF vF\7ZEsR ld91$_chnGPs1>qWLRH:!YFdFzz?rQߝ'Ln#f'-`𪋊ɤZ-Nkof㼂q&SplQقG *kb 1xai@l,~"GR-VHvM7qjſ3L5h3~~M/1d9 ϑ9GL^EZ$y~B|;x!OK} -5KVq.7*z'kPC[4?V0~{7565j6 rW 9͡JGIu2 1XRmu*/tW7+ĵNh(II4lNW51EN YJsBaZF\zMa%d݄UfBzg(lseUYj\U1ue*葜z޶_ {3Qpe%Ru "XT2;/PkyY;>я =apH.;߭Wte` M Hݟb ZPTE9V?GZbuױګW~:&7X ~p[`AA9CIAƙTD#Uʛ".V=*S]eJ:̏Xߩ:F,DE4 <@beV&jƴ`@HW& .P>tKJY_2`t[@'24M{ sP+i= ;g[?ëM#\v&5[^@vFqZI!C*|ۙ8S>,T7_ڥ`/e1@'Q,]-N#JO‰U)o 0\>7+OQzI=}N>)<~8) S9 d8#qXvmHItޞԨYaI cDmX@,"e:C>-r.oN³Enxs' ʡXL$ʵy 1ɻ%IyHG#*}tJxf1Yi6Lsc9Eg[@_f0k!$YcV:oISe@aFbw֒}Ư_V厳R4$-ibpk{<סݮ "@(([$u'.Vh,-y*|`zX'L% \.K)oNtNw}iOQ(d+3͋_L_$x$ltnQwоo^۝ю+„/W5JTi YO߈yP6~hmRi\mB z_U9 +JΝ+:I#$5Zf,cg$bkAхˆ8%'((|V/ZDΟB6ql1KhM}`f@܌EX1%ᐤQt$2$>96A!t{if`rl+2 Jm$='@s: / e;oB+mN$Ʀʀs<(I:ieHyG%صzt :ݪ8/fO#wxR7-ҒE/ 7N\ẁ _vDERJuWI#96qcL}26N*W} 1"v@6nL KvӢ1rO#'*_'i9=m $٧>+˳g`+ HE^QTo4ha"yD)Hv oVeExI)^[dHւ o{w,wphӲNNTbi,K@Gds]I ]vk6&RӐ&,8{Xgy=kX]a)5IgV\Ka;aрCF8􄆩,u<rijO<]W"+t#]8' /̕V6~2}<6Dz5HL-}ak21RϋQk6 UjC^ mYSʤa$~VV(8/Oo.w=СY^ #;H^ rGT=0w^hrV~\v7}Ύh_K]ŽE,NZQm{}ET-^"!l*1hLQ蔟hF0լO.?ָGB(|mSV`m`/}1N0~?Uz*Vs,a(i5IFiOʇNjM;UqWJ(hS 3ޏwЩrLn|e4lR҃ᄊUnԣ@^ٺ7< vH(Yv5%b6g&a}M0T+5"i9[[mN u qn /IcsJ6%ǜ9#Z[ROlE ?gj/oM:ն*:h9֢vd;?k=vc[fjXeǝx_8×lx•./?(rU)[^Qߩ*{UՓzRJۤ'my%ؔD_G!Ld y*S3~/(Z]&-};zn! _Z.xm \+Qib3jצZ F^!:K1œ{I‰MϞψu#oyA/:|(C(,.+S(Scl$w(ld %6ٓyh)#ʡɏߦAfL5Xz!m~ f[54?p+$iLR|Nj}J/& L`[t/q~Ձ 2RVI[zEl9QUwYy2؅}78ku;rP!`~Pa"9'nG('KOxAbu>_\A1ޛq{ձcā+sMf;Vկ ~v)벍ʢEM)oM?S#vGPyL`0֠!S ̠J Y;#)v*uj ^ E4v$z++=Mm&"Qg#f3>lޫT uYJ{%TܤS2YK`9ECvTY+1&Ja+rxbE2zQ^dżsjmARFReXֶ"Een0t(0!y0[0!7#Эey `mKɫ:]eĘ8rҩQp z'yjC]Pn&qSeRр+Xipm("wK]4֣68B(L$Tw4jHlX6m29LJ/Q)ϻ$= 507Aב }p? voYcx.X.&H .=MfRf;ncRs^g3R9§񎱞ZR^UVT)<\EdeJw6-%͞W P:_ _\gih)9'ւ;R8r5)8"g0uBܽm!fi'l~LϪ?F7U=4k 0en:ʮ_d#<%k;}GJ^;}b#Z+ƪJ#G+WpBYBzj-$OÂ@9{YE v]_~*˓FJz=\66ҲFbu fq>huv+6Rװ]Nq\z*v a0tߦNRf ;ҏzO96\<䴉+D(A ΄|Th4tIYnBNUoB1%߃\`{.ˆ~r BNo&۱D*o-_]sKpUkU`obRaqٰ7~F0qzٶ+!JVAeqkYއ3A֨L;PК6;Y?!d_KxPPٮ[=/}RJ>A5Oh>Boqxė|􇲺ΥW(^`Aӽ8{æi#{vA\'ŊX2Fym~*}YQ簼nsPOKUqF&ij+w :?CG| E`hdz@P`bjѨREf)Mg1ᬇ"Z=8Ʋ2;H/ P{t b.El46ڛdj'34Z󓠱jM^g(?s㞊ʄ ˀ){s/isD) PMsrKE5;W|"cagXKǖƧVjDK>h" ~zK+ (#-W ZO\<270XXF_1IS !KZHcc!v?1  .ͼvՍQ #n?98a@Cf:hUohnQe/O]⯓[H=jF(W܆ wqZqJ -?NmįC0 !&!`) iەx'>u4ul 2by΁NPISsv9Mv{cls*1;RcwByCE. =1.)}}Be:+7$kJH6.~}`A$Q3C%woʎU2F%kr-LLHj牫K6F?8\PB>wtv'S>t"Fa =]Tcg>$6W5po.!@iؓgbɛ HFD"A{1@RbL[g.Gݪ=vVfI%HD>zsg lIhU'81 I1D~LЙj}֤/xW3;;~9\%EhrGǶT$̃rh6MLE31k4'_(9$@W &')"Ij)_YO4.v&a-VX3=.c_'M:Rq ,xx \IINj<8-%`L9xޏ.Z-7?/G?<[#&!7gwA>Ba%ޱJ). !Z/`;^Cl9m$BcY 2waa a2?00oz^GsZmĖ!z,'HWc(pri>ㄸU9xl0|SQ喦o-Lj`3 Y-ٛ$t3w۵ҙFΉg1#nqjP Loƃlz1 KQn˓]L$!!oI2{/8juыA0ʈ0{hB[{n.~$)(>_E\}OQ~"y ?1g B7t-w4@3[?HYLjs 6LgcNS$#.t\k:m5i{ 蘒!TB>S,&4#nF}\]25vIP aAQC6ۥ xxk>o`zE`S ZjP]/cWr5eW-8Y?~B0V&Do4,|9@<CR^zN0Xai8Q_UտFeB2ZY8ZĢ \b_T' k*B7K'cW.`BRq/ ]W}$+%匴&Slj4ΒYtAWf<Rr!?Ӌz 4PQ<ىΨ|Q][3ҨC@[/{Ԫ mY?!,.}6hZr șk)d3w=#)Pg0UW+Z-$C&-`K\M:mݭLUcs+_)H#1m--!biCqU!6 $Rw=rx pp!9l`DN Wd㙊RdEXؽV.m ݑ }L_7:ܴkE[7>:U q f]~1bͧynГOGYsVk{֓،ͩٙasF9\<;%0׶ ) $j?cAKR7oD*("8 hBxSN8&KYEꭨ1bhieZ+l>orG F/s1||s!Hz:VBX'|kD}PPbꌦ}Y,{aAogmE$m%>?f-b1cХlԭ^'K1qYP-f(V?{_2O [|U'gY"c0&+jn=%AI{:H?ц~0 ^BPjLjU'uSrh9;?fKz[R0 R}@ rO\%G&h5UxU&?IlA.t"\Nlvˢ< U}(+? =گ{x CHj5#`hU4wyY- ›cxŎWQwf{Gk'Eujr "| ٕGWSngo^`%.YªOPVnUKG]cFމ~\lK O,NTc9ދ:)P`48V;csFrd1Z/U< >}q"&K{&#qIh$ΙhLp*YK#<^Gn0bo|-#%zsz'lk.dWZމSL7(M3BKd%Rechx.ks.KAҿ ]GK!Cg\p67*[d+YGĤt [49lG l؀-]1׳ ڌ S qq9N{O{hh'G-%[6Ϣ+5IDj:)R ؖ<چ"#zֶ_{Bpi ilFKC*D&/7|8PJ]4EFuuS5 DOr%4LHJ5Ɏ?1{)vQnHjpnUz7ڂ^$SjpBrdαdHKJldW\kMK7@"iX_bw~ZCn2p cYw\E. =wc/BdLDjHo-Z7coG8nOaNEdVWc00MJ``SZPExͬjz dhH&ؾbSKw  Bl]^ =ĆӁ7M AI5=/WMzm*Z>^I-QT>ɪ%=c.SŸ ڄ# ?Own$ OHCB!t}yזRLА35lm  "61IݜV2'x|ln4a8Amj Aꏑ4-B bYJ{4g8uŀ1`o.6|DzW #RisS^w-G܈:a9-'>;gns;?g 4tc_,hֈ ,2 h`K}C3o@vJZ$O3^;>h|4.V)_5= #]qç>eպu>{sV#0˾ UĖ K "/⌔c|K?ȿ0s|N8Wvߞꛀ>9vr{yp+/3 bWgo4eY3'+TO9) 7bӴv< \m;*!|\t/@1oo%k5֚f)}`4l{"hn?wiA13=@;ڗLN<ϵ:> dg:w z t!ui9$7 KOTQ{oGTIsqeA x53:m^b ~&Z^9#?P F;6x}+*$+vI_w$Ǥ)z 6,IB? E[a;u;"CσwTܵN/ v_A7)/2']?gY?!'8\o?PEn "VwrGl,z1OEmC%cDZڏoK 0vKѻ^ތ٬ .vQT1¥֭/b jfBcJjVS ת0 yݼG6s#9Q'U,C&nf;uxH깪d*I':f0zZ6}[^CY%>T8g8smecy4gA׀\iv߁Z}FdC3 |zk7e(B[v܃qH UW}HљNq--Zқy#7 ݎ**(LDl)gX KY2wO\s ȑ2J ? ̕ G.#SS4-mG%wHQmM;#AȄ)w-|<wP!6Q$Va KvPEBI;,wc7kC=] 3 C4m3Yg|B)1ݥrB0+ f a.O@xS'e8YކA..8}zqJUN _;q'um#cqTLRf"j,5lח;8" pvg3tT֍,{&f3Qg/V DduAOihOhH9lӢGw08h#Z9e'YJG{ӊuCenOtBUc&,jaT4scx+͘Lt6DPޫwQ99Il_qLSg/C SyNeoxc9drHy:h%gxUT@WN|ѽ<\p=ml!jM% Tt3u Ll#4&)tXT N.P_>)'ցx^Ek|ڝQ[8n*u,M 9i=*VGkc%ؽaX!*Ejj v J{E6fQqHpoID9+b!gMaG^:^UZY䊅Lk(;'OCOE :VڒM Dwr`JOV4H LܧPӍ5ZHvLk4[$NL՛#tt-,TQwl|8o郹RS3Y(<婨/_w5 %aCp'GPc9[ &2D|0@ėOvG4ny=-rvLMx=܆ Yt# x}-P1Mrn~B&N|8葚™kME`st˔C~M&$%V"z KOg>s'jk1)œ$~;Mm9|/9.-z1]_hlK,%tB r$d + BP3SYQZ;^U{\~&4u#Nry)^cY%f  a1m6|.Y?sʕt.4U&4U럍<0e8](fVgݺOY 9C[әU*?gEvSLQ][WlI&\5 ;`9KfR4pbS[Y̹xuxl=OYw幢{ 1CBud(L/K"x >M}x<M(C~%p[jcQʤog!s="AO8ߨ:ULM8A?M(0_=.kܜs\{yiFnM%PU֒sFCw#`ļ,J.쪳5*]zȖ*O>do!`<5M =P3}A+'=DޙdHrCBme/ qQ4CV\QOVȠTrl:J~_n0&D!,Zзl?6p,H0K7=Kl QkP1e!}I3t6˯U&KIii ]aK!H>lge.Aز:9{ ^4]Jf_ 9 X?<T^]?t-k:f j/l5%ai%ߢ/=v ,L"$3:C9R܃`#?6).G:/", o 8g\;D3I8߶׎UKJGWҢHNS[l0Ѩb1I¯c:l>l\1@#kȋ4Z/exԸBnsG<ÖM2Ž96hyCs3 faRx],SWW{7Opt JM9Hϋ[bvA@=߽R|xc7.H{"in{Ϛ8F4J3- 'Jz^7)x-F[ 4fđd11TȾz2;a[EkB5aηPjQR&A2dSi=̇=ħ%;\lk%) |=? dAw#[g񟜊otu2Q9™mZ[ɘ}7 x ِ2=> HW Q k4h%˷4$A%FZW$UQEI+J\SasHfBr4@UQ5K-)e X/!iHR.J&(/Ɋ@ r,O Ʉ@pxa y2䕞?I7-mq ŜAhtlv|=+`tYZgE~Cb4Yj3 mԾ{ۂInC,"萞½i7zWdds}QcH^s:dn\SutkPͪ|L^I|CcQژ_̕ }?_|&V ۛ U0|uyb,+y m9& ?r*׃Y7 +vv4Lй֡BWzo#-6=#*wUq*Ar.oR(eaE%OgoH %cy+Sќ([oRL% 3%!+K.F4b (Xc~?N'BK Sĸjnɕ_JܟAwsLY/r +X@"|F)(]}QjmMy lfҺF8,*Z-L4QC!ם漮͉rJ| r  v֚Q -?n" =N7jrʻUOЩ|Ua>$Vvt6>ɩ1#t^}mQQfMBJ}ɕSN5'tx.Bp5PQ -5~s2 +ߞGǹH _kY c@@&.șu7WtQI1Gǹ}Bx"I$xHy__Fc!a{'WW˪YP(XtE _ĵ26wh&T]B}&{1ӡ%EW[4p OڢBwNM6CeW0/돓T 8=r Q>SGyHK-p%ܩʄ= ٲ05b.VSEq_>h` :C'gNncO| JegSaRn*&Di `8(Z@3<6K7Wz/E\"۵~5(.6j}L(:=7=ea^ȼߦޓK_1@EK<ء/:l34 jon!q ^2Y"*}|U=--tpЇ0PصS:}ZgK'L+?o`[ R)CŸC$m0 `}ǎAYe{<=9!d`dZWv_؋h~X8ܦ:?R alQs Lԇ! OeReH,z1V6tMZ"(m;t:ǵ0y$̛^7p}rMNnKv0?@ujûpIɲ*{:;M,fKA\ E:>ߊ"([vu oA<}h8al5׫rt>tfodlxUFBҵ7T|8( JS'g 8ڱG άaF°rn >l+_fq/MJH  >q(>aRncR9i.?D$G az6!+=.IQ>͍#иmʝ|>RIUͮa.N`(eK@ֳGB2;RC l<_9jJ-_ÇTAN=b#'F,-lnяpًe3+vsԔ"'iGyzE Đ`fe8Uy뜙l7 5Ky.]>Ƕ蒤kZPoMZyDMM00_šV.ڠ]X a#>1f g3A=e_uy}hC,6 Vp jwO=Ɩ^cxA>ӳJt0iOG"h8A6y XF֮}֞ޘ99ᔇ/OLSךGLns/%!1(j0{غ;3q VMx[)oVЊKd1{E4PnNg6sryS*}bO)3:k*QK%] $~=킻H8u{ 炴mD9[,qe{'qh#4žbYȀׯf꺈 K`6snfy~.Ȕǵ]sjIkpش jr(>q\ĐjxFK[3ל :s:Ee$5,qye;y(U(;J" ,4SٿsigPNQ 觇8|{Rrvq$f0F)2ݶJ@S' v,I>I]mwȭEV$!?~6WTI@vd&̓*u|CgRnV~yCC6 ?ƞOeFU׬0w~ [& o|:; f}!{yp вmK䉞iFLFʗKD#>JQޟ/W4!VU1x~8㍭M-en99R !%pA)WY+=F>sSS6{"]M&j.e-fS#2&]Аi$NWx#*h6̃^ fFqi7D׷Gu)٩5'63ZovLᙵX3$D-QW28I e8}&{jqi՘Uwj yCZLۈ{ؘ=ϬOВ8S*Tf =}{jםB*vzN6ɧi9fOoy+\%Ik`b$sab{^T+#D;^ s05wGUC:sO`UV[KC,է *T(?OkY^5Np#ɛҐigq`gO$Om$zhcg['GR(wjJi,V݃̄ o YFapXQ8Se޲zJq0RMe%oMsX/^1^W6^IβX!k^wƩ7Ƅ}VWz؅Z Xv%ڭu\?68͹y>To5rmvd yENH,u=?=7moʷj-IQClFECyfwA6}2VPwϊ)܎Ro tH^I^eoub=яwsjtXDdb۬x1韪/&,LZRޏ¥q6QouL^7-'{^*]v@:EVS.62 QN/4+^D[EdRuO3?ء?j/[J]&DPyM<3+*+'aEܫל:Cyzv2M|Ǐ)), ^GuPOʽ?P`(@ Vpteɽ<&NJ yVs'@lj|wójiSXű_g_ҁV㴚% qBPvՌ$l"oW?t L蝉 Fũ[`_B67k͗ 6daFdm x1ocm9C_3KL^6]dY9 :Yv^C1IꍱmkoBvI|twĂb੗`#2H$ &yPW0rxp?K._Faoz&%VH~1ٗӽ|eIeۜ `0G-ZkIYn)t-`M*(9L Xͦ)gV)O`Qaw7ln_%P&U[blR=uq- eu1|@kaҩFgGtM!J#&{fe-OnbgCiP y'50QT_IgI rQY-X`YӷeE`IxSCy N" 2 )nYG]sC+|hkJ~z㻏"\h%S((LDQ+^xSh` `fJC~ rH:.T倶֤"_]KR_s='5oչ6a`Ɩ)L߈s;Z͆~h@x`Bٍ4 "J1ʵx6aK_'_a po *;c椺 !}<=GV,eð7>{neV>.hw~9E/ S3:]`iD 3jF`:FHm^s2 >c#{vlՀ.`1Ώnl~yڄ֡uPp=#iDrۄҶaxN1HiF׾ 9 q3.dYS$^$F:l`y@H ܈"ĕEZtqѼJ@K Tɯb4=e e/ՉsL1GN6&-75( pj/RB5Xh8vx/coo{]/7Ul)ѱMLJ v9#L,b$jy=3k>OZv-Y ̵`od HFĒ>}mv_F<@9߀ ϥM➘R5(.WGVwn\G9m".'If"g1rr1" m!gפXECQixɌΪU;[i,5i U?J3\]C 9|0>.JϤ1hA74-+c1J0& `>HaFn&8 YrܓοxXΨênyr1eƚ^c7I 'XfAY"GXP_Go!)ٖ@>}m!swx@#ڡmD WXjb ΂!CJb=_ kk!&bbYwݵ/ uқ$}p16gd;D׶zfFG67$2aҾ\~ t",("^,&` MЀvi'zIǎA{1 oo} a;b4juM}@cG Ojf*jQ?(@d}~s&l)b EH&\4E">VtqN8!i'ˮMGG'ZQJb|tzԭ܋MVnWW qE؏1NtNn{l8\KafE??#!nq:L>b<ܕ1K>Pb#]]Jy\^(P1~董y~ݟ/[m4ଗ@91%`2G쬬1S5ӪU0@RǛ=F*gYZ ||D )'% 4Refine_MonadicHOL-Word.Worddocument.tex7zXZִF! M]A-MՋhvG"uIBm5̝:qIKY2്u0Mtdw5Q :pј@/>pO DA-Oj¹cş!8rZʾz4/m-RZY꽉oвx@b>qODPhkRa0/A)h,f-@il=!+^Tr`"ت ȑCq58̷FIu:;DJ~ªŀrG3C&ESI#T*qjYq5 BU/@_Gg1uy&GQq@S/cC-HkqϢǡ\5~[c aTK+Mt70gi:$}%8 ܲs5r)G{;A,BDړ;3b*C$r|Q1'"[LeM*g&ZA(c깉Y~C 8ٽM˘[i-dmO錰>^]h&GC79_Up#4[c5ɴy{ (y?#z)WKABVgS%t-N**u&gXq7וt̬xn]"@|8\?&Nk,C8]\jx/ai}bbBܧ=}e8oXoPޫ8+!G;)"؂vhK{qQ Ƣa!j效< CjzlWP9q\#7rf};Y*U < Ovh 8xaqqE}+hYg޸,1|^ 5o4T]qHq 2+iWsn$moTGM@rxOþˢoF"H2խZfٙ 19M,74rB/Ti90q„0,;rɗE]U<26C|ꇐ4w(W }ose@YB\8^_† ̰4"s;;/cHquɅ1|=JDI1[ƗT#ȧj!'coLg%A~zZ* }'ܤ'w)Hw$#' )Ketր1_++:2u.L24ojCF8DCgЁӅ\΃p*+ȷ_!w$GCJK/ם?"(1Ǐ >Ey239RB쫭?FHZrxۣ}P1y8.p "Pv Of`_QˈCjWʙ~LtEGBă(NW8wkHJ"Ƞ[J\wg=aђgw`v>dALwnsz/=rQP,J.EM7'١ ?ܙv|Bvoi|pUHk=E:kUdY@f}ĵ^렦n+0`ߙNnR^ep dzt?ⵚhϔs "zt1?(@|WK-&ȀՀ]h<d%#^>Ć}ySpk`Z+_*.c%55yꑺj" je>9J)lY$Mm'UYi'TAj?sg^Z0Gk3ezN.=\>!+&8l&?uYWSZLӋ.yd:IV3)2ڏQWa  qPHvmy' o$^x! ?7 Mwz7CĘY!]ϕy(q(} R"2?Dٸ]2CyU|ny*(jx{G?a6'v?8YA㋄܇}Hh;PI}?Zw'%"NH޵)nG6ى[]$KYPf9` 1~O3B>MܮiX2&4WNx3 bZ|P2(.d8O,)-UKsͩmZwb0$)w7Q+TF\i`JxoEIR4?-/}38/[8w&|jN &yD8Ǔ?=~c2=,dž-/`.Y|R.Gm1 I6-V]j{tg=cuU`>uYnP;Y$0Ǣ[Bb0|'OFFol_fX0dѺb`QL#H\|ߺ#/2X:G QBN9hHd.%pb%m`H2z<ڐ [.t\~U:2[ la?;m^2ile\2ez Y"߾@ڈbtٓAꢮ=اL[4m ,̯qz' VW+BVxKd1Bs rbF?oI $LԤr=}Mǘ@QΞ!,04woaXÖC\t0߉r)^Pqk"pobntxZw$_$o `l}RۢjT#^:tؑ沉3 .pM^QK B"5pɢEUQiQl嬯Úk dca&'(ͤײbPk.- S0QDb2d .4=cH\,teǭi @}kgYZ)O% Refine_MonadicRefine_Monadic.Refine_Mono_Proverdocument.tex7zXZִF! ~]A-MՋhvG"uIBm5NǨ ~N^w?-P>N '0aÍs9J~FW/C9?"yj~JGBqC0hA|fa`Be}y!BIXq?{NaAqذcL:9?/1"v2趕/m> =xacۭLQJn7@_k4Jj+[ #47i\zKi`L|5ͳWB2XGyx`%EpS@ΐlN$FH= v;oZ8'ToaGF?5/o: ǨT y{Q%${o-u_'b<SwR1H弫)ya{5E}8Endhf%ۛxSx2?f@rLCw0K$eSJÉzoVO9rAC l ݦɣ4;n9SfO#xj2z%OS~7;*#埗K0J-Q-Ʒ BݒnfqZ ) ]~̜~4u&6[B`VL_q7,R^BH@G<"2c("ڱu|H#o\0 ;vl\k:atiuϢW  @n 來ߚNBP6m5A4/E~11g0b<+u.gQ\s⢪GrVlz$\2>{eFG!,@iT,#F,8F8q{ŢFTrtPgt#9d0 &s|1oݾ1+ Z=d.ݓ(:D;D {1^\PzZL&*q!G|:oJ)!ksRNHP9Ք0K0oPNl}zXha3XnqB񆦶݂F~0(2%Rrk%z.~"0H= ¼ {=ӛ#3LvGɯz,˞L*U#Z&QL`׵: GٲKΞns.B,DK@؁ Qo/%u3bpV]߾Qua/ÁF,1q/jW"ik Y=CBQ|'j6)&Et5~EG88;U_ ?Vr^ +R0́=ЙwKEGey\J6Tl|jB6hm c?έ `^bgE/ ?0(gYZ   |!)I% Refine_MonadicRefine_Monadic.Example_Chapterdocument.tex7zXZִF! z]A-MՋhvG"uIBm5v'y(MKKF1)ǿuA5J&tp^`8f[qJyl}z=4k-T0_vAlGgW󗪁rCq򜈶 2y & #Ə ,HgȉZ5eؿb`Bē1G孁( Ovh|q6wciSԷ[uZ#uؖ ;ojV4"A%E!>p,R3ꔅ-xy n #r%D6ŚцHVv)vڤsi,"1 h>bMgYZ )A% 4Refine_MonadicHOL-Word.Bit_Comprehensiondocument.tex7zXZִF! ]A-MՋhvG"uIBm5F"*2*=)Taa86(:D-5GG !mi\C XTS'"74 B/U5a-/Yy.FBn`{i`S,ɍCTSØb^y2ӡL{ G{SsX&Te'-J94f.x+{|;{`Kڹ8E/.:@*LVt:Q:ҡM3Cht *o^}: y`r3HcKr^&O@&fs!Q!i%x!;xM.( ॔]A?:_*Cl |V!kcayĻ Zy <ĭ&8_LC [ҔкT'I$/ͫ[!A/U8{)EPs$hD$:ocÚ#@IOB#;STWP0Us8DB24{νQ's١2vr'In0 G- ᅄW-IQ"Rm=yVaśXsZB}N)=LLQl*osȳN$ %GVhߎ2Fa1NG;r6^"G@:._~X]w[wQ{iq$Q26^dއgQ:4 sӟ/ĕ,3G<`nYm#ٯdm ʏΞ؆'wZI-g* )<2ФH7T|ś#oM?vez~1䞉ΉIUr,EbKlϩgRچ3΃oqWL1Ӓi qi|QfC1t!X[ R0l| L.:IIߺ>x!`/h5%l6ЎJ1X@Guj˘_o,,&FӱgYZb)=% \Refine_MonadicHOL-Library.Phantom_Typedocument.tex7zXZִF! m]A-MՋhvG"uIBm5GJ&עDrڟ>s;4ypK 9N?&36/5=eo=@+ҫX>Q&j̓"^up~ v\ B13ӼC{O30|Vmυ='jՂ(vnzB5ALLh\LDOjr9Q)FŚ1V@rIaQF D_}QQݯf]& ( NRv8E}ɾ)i} xrg |0Γm\4ca!&aSC,5pp|HTBХD88]Ϟd&`)0zn c&ZVI'Z tI|g۶>CƯ_l7:28lB _ ~jn1E&q(MO 5 mR:ol\@.Xw7 @r{-"hol94Vc,o 0d,嘡fDiqEַ12b<TNV˦p$I !d &s.嘣C]/M*sTp~CZ.w2k2yIIGm-ObWaq*?at&׼5 *5*p.a-5a5]\CWT.n%3QR/wjWjDkbTȣFA6ԌV~PPUIp֣"Vf5o]!ap%}& 2Z~˱gYZ %&)C% \Refine_MonadicHOL-Word.Traditional_Syntaxdocument.tex7zXZִF! ?]A-MՋhvG"uIBm5r ܇]`Iy_ \|bݒ".bIrf\†h窠AOc JRYUğ9sR|xAWhL >v0 }j0ɽR}ȍC55N}byag0MQtf/02j~™] n-D&_r^sPc\xKi.-c\s%pV=WLo50xKjf_nЪ%GNA@"dwh^xc`JzțuAl~yT[ ]'bS=B/]$ !"ڍ j: 5LD 雓R;ApW`HP8&@~Aݣ)eM'gH +wvS}4ηpE~ʫs6_;Á͵s1,gڀ f[\o&2uvAM&\ؖLUrkweJ |H@SҰW=L@ Ŷ';oG}D+!N0J`h_l<[f8'-W䭓w@nftga(^vG,&3gYZ_%)G% LRefine_MonadicRefine_Monadic.Refine_Chapterdocument.tex7zXZִF! ]A-MՋhvG"uIBm5NǨ ~N^w?-ӨH2Ll# -l-K/ȏV(V$p'Kx!s$߷CY qK[_ z[ҳV|}8l}N*?jjb@8  ¼$ l-emJ ܸ{d}\Y#!T^gYZ $);% ,Refine_MonadicRefine_Monadic.Examplesdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5v'y(cŚ5b!X؁tۘ _sMw*-n{Vd(T$!?=htk! o2L-$αgYZk#)G% dRefine_MonadicHOL-Library.Adhoc_Overloadingdocument.tex7zXZִF! 7]A-MՋhvG"uIBm5zyU}Eg~.2aKYo "~|ô _6tr8K# 0mۅE76<1ܽ0S-Hm=K'rKuJĐӖ_!,/^/p;HXǁOW pZE#n~Oe処=w{<Z@Ⱥ{ 6mZȓ<cgwqA3d~=J^U~[ m!b@_[AE]^ճ]e'?$}/I|n-&;HmUxޱ⠂PZ CN|Z/TPMaZ2٥`$.ebc2gC8EQrO})r7JdLgQr#Mr!k_dp8݀%i͝xN@o/ 9upu0 {gYZ")G% Refine_MonadicRefine_Monadic.Refine_Monadicdocument.tex7zXZִF! * ]A-MՋhvG"uIBm5NǨ ~N^w?-P[ e4:0֌70"'A_p(kx_J$L=ڍ 6>-7 %TYa bs䈙h&;}E/nOQX>&]ӥZ2$ޙͣ!rqeqbb;9 VL{8v LYB,*__AO&'ȅ@:L%D|g,Ҙ uz3 ؅{m /r/8j>,,~NXO_U AhQi@k`v Oe$V2FEݲ @ZnN#[Gn8y^Tk1>=n%Ƒz+^(Aw&:YxT+M~z]\uRj4j-L@up͝Mw>a:J,mg%w p2xyCɰE8=IZIN4b q8Q}y Lq[j;y*I{]˅'o%GIGTjJC~;I9(N!𶅤:yz t) |`{(7?lIL&C7k/Qpq|.*\Ij&Fh+ZN.)!% K{xςb/J$:f3 9 WtnՇdj⬘Uxn]9hXP!6eI&[TϚƀ0 E۴ZVqkR.r[ƌffݗlV"[ǵ|OE]{<\7ccՀM=}IKws Y>11Dxo&_JUNOl x-#U.wI~frdM`_cdZc5 /(jή>"Ad]a<SpRCZӓrIaX(LMhrr'o<xݣ2!HyzŞ3q ϤdHtnS:u͗k@37FpwBuH.eь8jRP9?z  ic=QgZF::$O29WŔsw !82*IF*f<~!]6sI裔+:b!GPmBkٽ'+Gq{$[ٕ{F]Wp-o:~u6%>B{hȭ^-RSW"%V^ۅQD /e46MQll0݆6 /U{5(gŻSD=܅Wfz 8J}&Tif3Vh?zUPMtU+XSZUB#<P1(uNפ!}(H ;ojѓ=F3YEx KQF"!PtzǕC.~pm>N:Xx񹲓VTC{&DgaAqCMnj؄ۆͻ-CLHs] F2vŇ T DMgYZSCr9ǎb1vʕ} Ӊ {kg_x{z7肍&#J83PB^Z'(n2Pw^0RA3OEnoWwȧIeS})C̍:bHNyz:\$L59}*֤q&#l3mb ܠԢҝ{_U5P\NSPuYʜ^|FO\|"^=5}@ 1GXZyf5=Oj!2`uJZAhvpl |a) 'dI݄|%߃K,А*ZD%tf9ŦӀT՟Xoq1@[+&>M=un)TcK<4G_9Ih+Chxc \ΞTQyDmR/p)6!Ċ6XZYojKDTEdAټF;c;˴M3wG>x\o]@q2DNgi m`.oŕ8mDY5F e'= pFuʘ# wzzMsPAJny|Q^*5@/Y\ noiD1ɏ$e^/ݘn(PTzֺ֮拍L_].42!Úbblao6+P@at۬ޜ!1=)Opaa@j;2ĩc^ȵ'Pp"o`aRF`"?+8[!-^X)<"C p0j~P" *ލO:1KAsy, 6fM5Caj5eH5SLz7N֡ jkx/p{@n"QyW8[Ewv`8N>;Q?RYcz1!끭4X|FЅKO`=_l9޽7"JEck)I|f*ٿ1*8;ڡ!3N@cDO=j&&|K5mޙIBe_iY`4Ϫi tsBRo6u/E7̮Bkf ;Fy*8in&'r [}آ*֚Or`aLJTr_98z>3:1*vȀјx{ pgVxPVČo|n9!f$+{sW3Weѱ:;|o#Ypův[֙eۖX-#f'28WȤ1g )=k)0ϧaK' w>X+2fW*n K!Jx_G ѩ˦Ջ*!POn{ .*B9_n]-zp>M"UO#"AN1(A8 x6G\A{$%|}V&yQ7Lb'zïsB ޔo CR3{NŊk!g솲dJ҅asN-oɞJ^ݡʜ S^kX-KoCRE @A7U[nݻǪSf,V$vѕ˪=iEdvc3oκ|6#'|7o饧wX(2QQLȺa|{֏FΪZޱN-pHW`!& ӉӬf8cݘM0:Wה/FMVpЉ" .D,_7nWf}sy/"Nd2n|N4dagg bD#{^4Vy`V3|qꋃof(t2"{0lᘖ2nD͵ԫ@ic 4K@)u]mHcCza 뢾KzhEKG_;עsPE&{4;x>?6=e^-j)uOL;(+ı5gҧ$$d4\@S!떫هؔUPV0ɴ$`V \ZN*WAS۽WI h<]U0CnNqM1YT_Yל::TLWL(25ẗ;&u*[ܒIR3JWL`WHigB+6"rIn6HB w-jNZ qld톯LP%tBUiu3eAMC׀Hʪy SIH(WG0?{% V[}!P)[8t~ALß)kTxeGꦣ;j'iڐu@`[&]\OBPreg|R\p!HNKπʈf[DЊE aoҐN5O16O~OuP5p\#^Q8B.gh LSw]x#Q^.WDP|#8,m1ґ.9G.W>ށfoĖ%:F۲Z"edTwb"eH9ScĈ'm\!U&<\^ACN/w,27/mhDB%)/$Npv<(&-c0V%o*x/qS_ EbbSaʉSGZ|}cے/E&Z$ٴSmƮ  ɍ5V_~'C٠?7Mf=;;\ùu}ɼ}HTkY;ŝځed} :?!uH:rBV9s@?eVL'¼ #: 2䓪Xku),vlT!4ud߂WOLNb5sA νđ|` ȟ/!AjJn>}m4ބ3l{2g̗J'=曺> xZ`׹SSƅ{)^q&==1wwaE_x9VER]͚Awa%Ltt"4R }viEj"di)>w)H} I4+ry/P =(:?yQEȜb'D.;J-<u~i]P?@xx #3{^͘=Ɩ_OW2q2Gw>׹wiHwn)*[D`IO$2FPRR)OZb9_{eLfUU/ԓ y 1xxHYP)b8ͪz5 63 8kG]UXOW#4[L^r<TE!g|S kbbYrÛ,QB_4Bo7h.n隔ϡ3t%7?(oWir^Y5i$õ^ЫbНv`,۸W͆ӕU@}(y]R5bHz^ d\챥M%W]#GϦ܏gN"7 z6W!ԀZHL?2^ Ϻg޽%z&(b.?u%[ m q0iNKK)|K0Rዸ?Bk@{ ¬JB`J͌! t I,I²ա8?OqUQd2"Z`sy5L' ;*.*["iWiayܾej>LYbe΀-W.F2bq ? lr"P6|죨oK:7䍲O)IGlIo $W{7Y4.p&rؾhA'rurf%C8*/[,_{a$OVħTv:༘|Um3=\~h5:Mr1{u98M mY:a-'Ӷ;,n?1:"V39\.1Ěl(q*Mw,(Şr!ʱAPb0."55;!f7  ?~no*^O!G jG]kg62[#:UZvygh5͈xTvDN^I8Zta7a_xE8uHc7x2Zc̖tA/;}n%\jQ˿F?nIA^?ݼMcgZYt.28B<'ehAϻC3]*4bO *np4{MQ ;R I9юwwQ1 cDԧq1oY7kwL8 }X(s!˝-fE< ~i\hnW2iͻG_XRFzoUf$Cd%ƊLWr 7ek%Xf]^׍ v;ְhڣat+onic-r iz Er/z=C}½.򓨤? )rgYZ0e2f101530cb134c55680c242ad1a8484225a781e9a2742a9719f5ffc5f20b8afc6477c5b3ed39a9 dc09a39d76722c2f6a77403e12e7aac18c8f9fa4 d456e33efa083b7cec4fffc7a543a462c9545a9228935952c789e1ac8cfdddf0d393a4df382d8c02