%PDF-1.4
%âãÏÓ
1 0 obj<</Producer(htmldoc 1.8.27 Copyright 1997-2006 Easy Software Products, All Rights Reserved.)/CreationDate(D:20070905150637+0500)/Title(Prover9 Manual)>>endobj
2 0 obj<</Type/Encoding/Differences[ 32/space/exclam/quotedbl/numbersign/dollar/percent/ampersand/quotesingle/parenleft/parenright/asterisk/plus/comma/hyphen/period/slash/zero/one/two/three/four/five/six/seven/eight/nine/colon/semicolon/less/equal/greater/question/at/A/B/C/D/E/F/G/H/I/J/K/L/M/N/O/P/Q/R/S/T/U/V/W/X/Y/Z/bracketleft/backslash/bracketright/asciicircum/underscore/grave/a/b/c/d/e/f/g/h/i/j/k/l/m/n/o/p/q/r/s/t/u/v/w/x/y/z/braceleft/bar/braceright/asciitilde 128/greaterequal/notequal 160/space/exclamdown/cent/sterling/currency/yen/brokenbar/section/dieresis/copyright/ordfeminine/guillemotleft/logicalnot/minus/registered/macron/degree/plusminus/twosuperior/threesuperior/acute/mu/paragraph/periodcentered/cedilla/onesuperior/ordmasculine/guillemotright/onequarter/onehalf/threequarters/questiondown/Agrave/Aacute/Acircumflex/Atilde/Adieresis/Aring/AE/Ccedilla/Egrave/Eacute/Ecircumflex/Edieresis/Igrave/Iacute/Icircumflex/Idieresis/Eth/Ntilde/Ograve/Oacute/Ocircumflex/Otilde/Odieresis/multiply/Oslash/Ugrave/Uacute/Ucircumflex/Udieresis/Yacute/Thorn/germandbls/agrave/aacute/acircumflex/atilde/adieresis/aring/ae/ccedilla/egrave/eacute/ecircumflex/edieresis/igrave/iacute/icircumflex/idieresis/eth/ntilde/ograve/oacute/ocircumflex/otilde/odieresis/divide/oslash/ugrave/uacute/ucircumflex/udieresis/yacute/thorn/ydieresis]>>endobj
3 0 obj<</Length1 1591/Length2 43579/Length3 532/Filter/FlateDecode/Length 44514 >>stream
x¬»ctem·6Û¶mWR±mgǶmWlÛvŶmÛùòŒGݧ{ôÓçß}O\Ósµ×ÚäÄòJôƶ 1['zfŠD¶Îæ ¢ï;9¹°ÀÀÉÜÖFÄÀ ðH
`L$0"ba!bæââ!ÿ·sw075s"¢RQT£Š¥¥û/Ê?"DîÿÁùÖt47µ!¢ø>ž ¬lí¬6NßÿcE% ÈÉ@dbn ×'¢U!Ø ¬ä
Ì€Í 6 j"[¢oÂ?"#[cóBsdøvBÐÈÈÑ`dþp3Øýâ#²8X;:~ÌLlŸsàdKdncdålüßtïô}Ø9Ø~KXóŸÁämÌíŸÊýNfNÿØv4ÿfÙ|KÛ9ÿo,`Ÿ¹Næ6DN ·o¢-!ÈØÜÑÎÊÀýÛö7ù¿Üpv4·1ý/è ŠÆV GÇooì²ó_qþ£úÑØÙY¹ÿKÛö_Rÿé¹#ÀÊåÛŠÓ·mSsÆDÒÆÄéßèÆÎvÿÁs8ü+ATÿôõ·Æ¶6VîDÆ FY[§ïQýϪÌ@ô¿Väÿ
ÿ¯ø¥Œÿÿûßkô_#Kõ9þæù¿C9[YÉX7À¿/ÿµ¹ûÿ§àß"ÀÔÙÊÀá¿#H:|wµ é÷`bønÏÚÎÜQÌÜ
`,oîddFdb`õ=ðÿ¢«Ø¬Ìm ßãù¯é'¢gfúwÿä)YÚ|Oû¿± 6Æÿÿ9Íøó_ðòßsë€ìn÷íÉ¿ÙS±ý^ÿ~ùGIHÈÖÈþ{ŒèYXq|[àdföþÿó¿Áü£)càä`îF€õ#ó¿"ý'ÚÿÛMç¿ÁÚÙÿ3åJN6Æß«á? ÿs{g€Èw,L\lìÿ²eäìàðœþ5üßqÃüûý_K pÁDC/ëôÑÝ`¿¬§ôki±_Xä³'[+uè&Ò>-mÝH
g:5:læÄX¿?ÜÜq5®
]Ð`ÑÒnêkÅìQÈnÒËý$ùóî¥òÒw AËM0Ïñz1·^Þ^ʲËÁð;_E!ËÌßF€qÛÉ5 ×:ËFë^CgÔ
:|ÊeùYñ+sÝW#ÊÿHKP<Ï:
ÏÄ`Ç%QJÿN8by6me_ÏÇ+]_;*Oø}/]A¯uÍ6M_mÆŠlÅwûµT1<3<ižÌÇJå)§RtóØiiÊø8*vM]ðþå!¹ÀnÑ?{{&töy5ùnõ2ø\ÕP?n!8qp²@ÿå}ÏôF@z>l.!yá"Âî)(\1+7=Í\×Ç'ºnVNÐYŽÌÚÜDª1×$UEIÓXCöî VšCmPèYBu]€Õ·°_òðôî
×â^Œ6Œüñ©µÆxàj÷`:B¿ <ªÊ6=íïþp5XÛßy
s6n£!t>T€Lþ~eØ
ÉZææŒz®ïÃÉsèéeèB\o|âUögØÛ«Ú/\ŠÖ
tê"wÍÉÒ?8'ªÓNÀ4¹øBÀǵåf)#ÆnYW d¶k8c*Ò(RÃ
jeç£{³âÏüFŽýzoªŠw$`óEî¹Qã#"œRXýò× m«€EvýK@ c,϶ÔÃ1{X6üŸ¥øŸTäC\FÑon-5òZ¢E2ÝEãù®Ãç',ΰ¢ëÑëÔ í
TÅ@Qëµ|ÝöÆîä±]ÃDøÃiæªàíU
Å ÄXLXè;ADjœóNú<(U='@OÊg jó|èø àÜÓö¥í2ûq|1ªìê<Ó?¢þEWb¢Q~Õ(@8BŸÖV51¬L2Cx.<BeJÑ
&x/PìÌ="èµg$Åãöܧuý»çç}^{ñÎ.Up¡íKÄéô·ÂWËÎð}ÄSDùÌÛvikdyÆã@©µ£~5gam*nm¡XªøRÃHEixXU*Žylõ'UrT²%=ÎûCŽÖdBβ œ`Ú 8xÞ6Õ,?^r
š7PÅùÝ·äÇÔÃ;}ÙhæfÆó<ÊŽZ/øõ[ÑNÕŠÆÑî SEÅE«tc°§ºÏEUßôGpÏÁ¿±ômQ_ñ."üNVKTVòg Qb^Îx`&2[&5çjºqZijηž]s5~·ÇÆ)TÓʪ/XßÁÙž®C;ªºNóc@»5Ê=Íî5Ë=éºîw àÄŠgYÆAí[iÔÉI¬Ñ>Š)¯CEi"tÆ ÁìS»%Iþ?bT-ÍÂq»Ø
à¥e@h®1¢di!V`¡õôsk"Œ5$®@61¹×$ÿ
Ë@`ΞHåh}ç 4ÿnä,,#&š6PÅWÏÙšœx¬ŠªAoDgúD$º!Ž.øVkëdxWziu_d×9ŒOMBêÞ«8úÖÎåd¥Ñ8Sq7ê`ä$ DGúãµIR ÖØã»Xo§Dê©Ãóh
Χðö6ÁH÷¯ûšn€(ü:mYÉîZJžkô:È"D;ß·øËqS·©_Æ5Ê$LEòg€såö©óÊþ 7'
o?ZlµéÛ-DÚø[áèž®èGÝ/<žybýa³*ÛÒbÒUUy±ÁÆSÒóçiK;Éü÷ÛerZRiTíèÜÇÚ~v;9F_êÃ×]°Mæîóʺž$£Ç(2ÌT$§Ëò
ïËbÇÉË(o¶Ôë·$h˪*Gx£àô> >OÞj⪣bjºæÍÍÃæÛÎ\4Áz² ÍïѪîÒË{RÂP=O%Qo<cZ9ûcë×ôTSŸ`ŒyñvMºãÎ!ÊrC-·LçË°jãßÝ_D§ 5zx»àÓ¡¹ Òì+Oñxm²»ŒàìYw¹/?õoÊÒ7ÞÙxœºs[A{é(øá§ßcJBfVJÿö
fVbÃüôQÿI`e×2":wYnNßË(œi
ºøXÖ±æs1Ií÷Êí|ï++o5ýÈ=¡&sêô\µ@+4×+/ 8û9Ç «kÀQtÂtBs¶ÙÁ
bRd eÕNqÃ#ií5åE#ê·«c7xâTÂ-¯ü¹Ö%cÛ*ášÉZ$e}ÌÞHÅ ùnoN®~öº¡e¯¥\Wj"ß^ÜZìäè7 ®Nµh¬x}ÏPtÙØÅÓFkkÂ4Ùå·«}nóÎþ~y#Z«ÒaQ?'Ò ]äl<(g0Ä3eäòž)#*æaÐznð!ïÇ'ØëÕñ!°F;âÿîmdý¯>çÙ¡® ¯_€ô¡ x061·gwH{Žk1=pÈfsU[ûýÝ 97¿k©¯Ñ8Ê bžtÌòjöC¬À'Ò.0áð%3¬/BþÞ²¹;a[Ÿ£µÈc×èr)Ü Tù9pùd&ôRa(ð=Úì'i=Ø,\)s{RÊûº€ÐI$ÖFiŠãë ÍB¿¹é9©3y-%ÎcÆkÈAÚöLùðªÒ$êZJÍ{3exæ2ÎV'(}g#ò63LdEÔ×øM£Çöm©·Au¿ÔfVû>(2yïñÏu©£^Rn[¬®Á89ŒY ä§
P >ž*á?TïWVýwéPö pWðCÙÌ{YÖmæ`q̵£·k Þ;;44Õ"ê`HKÅW
áx7Ø*#/gÿ7zC`|µÝûÄÐizB`×"Ÿùßn(Å5`hyNMqŽË\pÞIàV\¿ŒYÀ_Ñ¥äètjb·ôgÊ<R®'+*w¯úµ^ëYwHg¯Vnkeý¹ÅµS}²
å:Ä°Ô\ÅCùkÃ^ÈŽ³Ä°6Â{¯ŠÞ5ÎŒÆÉl˳µÓ)1Ê·izÒäÑq¡AVŒÈö6ZX,¹
zfŠ"ÑžnmžêDÑGB¹°Àmûî©[nÊDÎ.Xs©šÑ×5mû.šÝ<7håÌg,ùjmèR0z#Áõs}b+ÿJÛªKŒšøJÈE©H£R,cã¹*9ŽU&foÀn<=ßÓQãáÍú¢æHþA¡|ÍWÄn§EZØtWÏf9¬Þö\Aº.\q®Y÷ E²rMhÙ#¥Žûïžüìk.Ôî-9x¡SAGm|¿8È4pÍ#ö/GÛZMÒ©ÂæþÀO©aeèÌ®L}£ŠMaósØTS\HAï Ÿj:œúUÁÕ©7mz5-€dWªÌÙŽhQß:ØŠÔZ8éD
µÑwP<uXðTŸ*@·Cì;jïòlâôèÃœ{zfÎ\ñ£qð2XÏ;
*³[uwÀ쯳¶ 1"÷h~céÊ2bŸÑöãÌ°ÃH ÐôÝóÙ0CtYV?£À¿"Æõc
§÷ÇËéÁÛÑ ÀdÎr|ËÆ6¥3°Wæá>Ëcä×*KXÐÞ93ñ¢µ(fÂ[Àü+éBä{RF38
wF=ÌäØß@KÈK³ºBmÜà 3¿ãZ×î(ÿ<·IÛ/çUg^iU¬èÎCa§B{³0È]ò;4FŽ8¢ {D y¢«28+çXðéµöüu
·¯òwy_lºÆÛSý`ÑtîOL¬XôV£ëõïütC_/ñVe©ÞknËTN= L¢ü'sÚJ?ólÓÎUµ'jÄ 3Ëô
6·CD
³Lðyfô®
Ä9äźTþñÌuên_êÔØ|výŽN|,~n:÷Fðª+-;<êPltPOlWãBjÆ}Y'
Òœ®Šë¿Í,vqÆ^AÏro×5_øÁ#$!*hÊ#ñ»SeKUõÎ"ÙðŠH?øÍ7H5¡`ÒÏÛ:iû 07[r/úU¬Œ_êy«ÂOëØtZhÝßÅT
K\zÐÁ×hß! N QdIðWA,uu<|~Á[rÃÝådî_£+$[xÄ2JY ¬@ë=yyøR41€mjE0BwÞÍãÕê¥Åºh0¯ÉECQ+Iåj0z[¹EIx2Üö.ß¹5Ó7òòHqØF
cá}Š*_ïOÔâ
²
pwœÓ&5ÙD(§ç¯6 Ê°Wê]@+h+ªUkÃ#áÝåÍ岌l_œ=Üé\KÂÍOÑ7Ñ8{XÜz
xÎ1[â!~zÊ
xÊ©íDZ²í¢Á£
ð¬W0cêÑÝ-3 k?ó2¡Û}AAK3/ÊëoñïŒïš±øST(°1ŠÛÙ° ~Žï
åe]ÃñíÇI.âÎB(RÇî/ ég2À¯»K»W^
Ö_É/"+<êFáõ×Ü«_w« ÛGñA`ã~¢ÀYåÙ@u÷)#».rØTã ªxOVã°7€
(ãB5Ö÷Ö,)-6=sZ?VÅfÿ7ÝsŽ²À+ÜXÏas
KÞÝ¡¶¢ÏÕŠùÛ)ÄYHµ|ó² T ò¥þlÕ¡Ì-ZoïÓk%éÎ~×ýA¥Rá,Ò0&&\©(êôNH©Y9c;sIsâøŒR?%ÁYItzLï°"gyâÈbPÝŠr:ô C
Z ²>ÇhKw íQÜ*së<³ ®§&kÊGôb0ѹGB õ¢]qÞýÀáoyÅPcju2š³ÙÊø-W×0×HÐÜúŸS³dVc×®ÕBéÄ]€7øòHÆ&¿31ÂÑõdþÃ/EU»ëÿ.û×
k0¶j_@£ÞÜÉsþ¬ÛãWSÍë£ÐßÚb÷ºeÄJ€Â3ÃWíwŠòå#
{öÔI<å_ð¿Èø-(ÒuÅþ6F¥<;r-
_?ôØ40Ïövuáð»ÌÀ+
ôdôyéêä ìn°+M4ÂÐ9DJ"÷æ¹ïÛQ%BVP5ýõuò6`k$'¶0ÚnF4â£
fßå
A¬f>f©(ª`
)h7eÇñüX2RÖU{£N¥N8?ØÕ¯šHèwc¶ À«î:|/
÷ûÝÊ·9&ÃÓÐè57®ÄU>œ".H"JèÃüÜ}0xpN©¥=Ùõë[7¶¶¿p>¹ïôš1¢å
Îã{ÎÒh{îò4_ÄC
¶Xi§ò¶òIEÛyÿпæY¢dž+
o=`°Åá=KQÓšÚå:8wo`=Ð÷r`ÀÒááÂ'JT¥F|ŽPüÑSŠCXeÓæ¯oÎS{Ãþ®'Í$±úgå¥@Wæ&9JùYSÜgdýL
šÉf:îáÀs %_ÿÜ®DII 5-z3;ÑøBâµ]Qן1,rœËÆå~
Äq}=n#¬/Pù»Ž$ùzÓv+|À ¥Hôîѯ,øáÊx}h,O«¥êrkü"-dJ
¢z0ÙÁLŠ¯œâ¹û º%júÎg!¹º±®26Â08ü»>v`N€9uÓ¹ºûR¿[ID|k€À.kÿ²~6ùt±X;àEj©ÿŒ&j¹Ê¡ü
ñqÀ !U^Ö7ú×^*©P%ønªËPJŽêÆMç1)ðÂ
PûcCâ+DâaiðÀoÁEÓôÍ@ãÜϵìºÔsd~yØ÷:ÞŽ+TÎsìzQSKCÿì&UÅôÂÇf:ù ÔrÈŸôOÚB!f×*xâùô]Ÿæ¯F±€ÒËwJŒwÿÆðe[3Ð:Yg¥šò
!
ræYÙ¿áSeÈ£ÀŽ¶Ü}Eyißâ/²§8P3¿M@öWemŸp-.1žqæ²ÿ1ßr€¯-æ,"Âxcow5šË%ïŠÇTæó?óª$аº6<EòšVFM>\Oø²*¢?wºØ».«ÕÂFYL ³ßë»RoÁDëÿG€ÖgdmuªóðD-!F{(\kó?qI£Çx ® ¿"žààd¥72öÈE¢ÃdÑ+:{|GzYVÞ²éеûÂÔvOÅplÇþ©±£>ÜDÛwjxPUKØìر³µ]È£PPÚ¿£ÜmïÔx6øÿ¡EkF*Ãõ€)g'Õ9²B@æ7Aq]bp!è@¿LGõý(oKâ~w£Æž)uÅ/£%>t!ij¬p9vß+
[Aùa+dî÷Ä
ÄóúI²µÙ$QÝtáÂKþ¡'úðš98w¹Œše8ŽJ"~ñŽêž¯ÕhqÏŠ¬ÇÂuâó!!ý÷³L@M ߧ tŽŸíUàÄpíÁQÌsÁG=ô_¥]ùªhåÛÆÝÑ1®«ü¿|ªØÚèú{0
qZ¯WÓäðO9¿€~û ÷³0N|<zþ=Ò)ëªVý}±&ãqÅ»wÑtPdhäŽxM22 ¿
ï`Þ2¥,ëÄÕNeguÛXâpÖ#å®6çPŒû¬I[UÿÄ
Ï)žlê[¿£ouosß1:ÕÎ*Óï
qû؞µT eS)MÊth)wØLÿ+òdyßóJUàoSwP|zÊcvkW&Vùaï4*€óF¥àŒç»ÇʶОêøm¢$ËYÉÒÉÛ»T'ù=MlÑOÒmíx€ä<eeÂD¡t>uŸy[<LØ£L4gV¯à68¿E5O^Yv=â¯IÉ»k
¡OÂõ«:ÂL©×Kû['|oÒvÍÁ}ýßÔAÆaÏGË1«þðýf+OŒÀ{ðbj
ցS
Þö;ý d9Ì~ŽcF¢_-ÝoÖÐ&í߯ØHEW ·e+ÊjA_£óHèn$c¶Á)NqʬE
EKç&sôùä;FdXKŽLûÐãx^dzÄ©=ª±çUé.¬ÿUTöÈEýãYÝ&ðCó>þâ6êZ©šiâÜõÇËß`ÎÖ$Óòm÷§Ê&Ç{ýi
F* zÆÓn`Q%eúäSÞÏ5RoGzTb1õ<kUö,ù§³Ž5Ük]äÐVl ÚɺÝ÷Árøc'þâfª÷
Ù-Œ, Ê]ýÔs+׺åþ=šóÀ¶É.çäÖA®LàØÁîªT«Fó2ä Sêž?±ÞæxQ%ãÖž\^|
îQDu6ö@÷í¿ ÛÔœiGQAúØV÷<²hÚ¡êÝ(_;õ¹\K0bÙ:aòß®ÿX°ŒZú-Åðþ1aXÀWËë2/'18ÔÑ¡wXé üqMáB#ÒžŽÞuåinq} Á§â;œj+:ë£]`£q[=ðŒDΡ箌µ÷xŒ<?ô 6ùë
.ÇÚ¹¿iP.COk šùniè'Š Õx}>p
5juGÀôêvðÁ®âqò6Ñ
AÉ
HNÑO^(#®è-IÀF?æ;
£Ùžâj¢È#ž&Ccl.oŶ¯®(Î:É·5ìÂ@õÂr³u
å
56
e7&JÌéÐŽ·ÏÙµz4
ö§¿Å=<Ö¿Žò·žT~>ë/ÈUªðA¬C¶GppÛÀÅ
OΞTK<¬7úœqz8gÜŒ4n×K#¢spRS{Oxq1ÊQ+n+Ü¥0+zŠýcÝTªãõØ=å_CÃ;ñ]#ãchÕ"ò5þmʱS$%}þO2 «>ñ3ÌÑ[àÝB7§þF€ÀîÓÞb®ciõ<m
»Ø²œ¬)§ø£E;þªöÏžÆÞrµú öÜ+¶õpóæV
v2Cô&gèZ7£bboœÃ;LE×¢øÞw_·÷tâÀýþ{¢òp
3û2¿ï€$;nÍ#ŒÃ/
òTuªð
õ§ã駵ØÜôÙIãê^Ëé6RŠøæÄkð»§ýó3éÄG³ýä÷òE[ôž
o×L€ì^ðNTÓ¡Ïä$.zcÄt¡Ëo¥×÷¹Hâ\ôÐÃßU+rßm5QaÐyàbrgœnT®êåEzïdgÍG
!Úf±JÅ
BŽpVÏGDR
ŸÊ rKCüÚ%ÄãÑQ6X}{{h»lkè« õYÜW©ñ ežz7¬ÃGdP7ÈÚEZa»Bªºw77Ãa'ÕÒÕXÊF¯O[F2$ó5ÍèÀáÔ LxjÑ Ûi
ÇŒu}_ù^]®aôí^Uòôr+GU9ÀœpKÔ°C¿Šê
ÅVSʯï_Œ
;ÕzÓãùÖBVëâÄ7ü«!¯ÈDæ]v uTS5+C|=iÂÍã[
sâ V@¥_þu
mŸÌpEwaøM5ÓiÖÅ
ö ôâÚL^ÀíBÓÏ¿®#?2OûRãiŠo£Ð¶[ eÆ6ýñ÷RyCÿc3Üð\Ú×ÏáUÙ3cn¥Ëþ ')a ögNEyÜ£U²ÌöðÍ
ôÒlz¶ÇÔ°jÈJ ?<Tr/³Ë {«xx×Ñb'#¿¶
dŠ¡¯C¹îí©ðZ"ß&¹21!Ž«I_ÿ ÚT€-U]³VtQ!å©*
Òù³þ4YnTÈ_®â¬PéÍS xRÇbbÔ[ÝÂÉJe€x3²áVåq¶Ï²$#dgùÓ1ÎÚ±³wjHN
{³©€ò ·(±Ru¥ªNéÉÜÚMâBÀbDÀÆÞÖ¥j)Þ.jœ&<IÓèûÔH~Z8€6rÙg³s9ýÛæûY÷Gõ)PŠ¥Ð ÔîpJ]Ù*¥Lç*©Ø±Ö0ÅœÿŸ>r¹Ðs0#€Bì^C
I ê'x/R¯33óRG;ðvÖçWÔtmÚg£Ÿàé¥ÝÔMGÉ°<'ïüè&QGå>nlDÒTã}A,!\žÏp9eþeæ©ÝWןîB¹ŸôŸÏ$
ëóÜêkjHz-3[CI¶¢.ðßcaÐwvnJS+ iwÊ"VݲXÕkL+|6ú\HðZhœ%PtLvjî¯yÀØé5Y1rV-ÒqM!Ùl+u2t ¥æá¹Ç8×If;œÏM×p3ÛJ3êÆ@ÍŸÑO×îçmž7]ªì±Q2&wÁsàñjžª÷+_Úåéš&8
H¢+к,h€åÎâxõì|1NBù ±ìD)xæ'{ÌO±SdŽnî]h1;èF6 PP¬ôš3u
ÅYëÌ3
û«r¶Šän°>:Å·ÏSëö?ëk)+ï¡BeîJ$zö"ªÑª6ÆÊtñhpÁ:Ô*Tg^qx5ÆУS
äb±¹MOãÔ¡®r¿³ÙÚ8Ø
¯ewúN&û'F)`ÇþXo6ö£!ªLÒquèh;Ô+ͧcíÄŒ(¥*(1ÒL·ßK©ÜºôV±ÒÆóô(΀up¬ô\ó6ÝìQéœ×¬4 íÌiút<ÍO£gXG±}ÊÕV7`eÉïDÔwQcÐÆyæ8.6¢ÙÔMqÉéJ¶e.`&Ê;!ù2}GýÔù<" q{`gEŸÓÄkµ¿Æ%q§9vϲ"ûl
R!ÔÈØã|ØçÇÉí
¶ñìör1¬Ñ§tJÚC×êOYç3þŠ¿%Ì+ªÏ2C>«Ð?ò=)ÿnÿcÈ`×ÇòºÅ}»þaÎ
Í
!oõ%_·ÍÀh/ûra=h)¬Ó×êïzÄkãá_ÆLb=óZË@#aâ_18Ý^XóòNºßEI@õóŸâ*oûOj÷O^ŸIÅÆƪ±Xv~ÝE®`Ts$[¿+(PèM«®mòóAÀϱSHÒJ"+
ÙÄáôÔãúÅÀè(o÷~#áI/çÙ|JIíE Ñqr~pJÚ¡fEœÁÕlŠ2Ÿ#vŸÊg³*SœÛ? î§
f¯!€
ÿxTñÃË¿Ö€ Ä`ÕÛ®ùâýi1Uu×PZâb%ã8BŽ})çßÉÝ»Ý;×ì4ÁpÜ=ÇÞ'ÙµmÁW0?w泺PÚ3]hãCðÉ4Ÿh±Nkÿs®IP4 Ú^±~VOmrj_l`Êöyënù fçoÖIk÷®zôK¡Öð>-b"ž.'Ñuã`Ò£.º3<ž#A\Ó{£ß3\+¡Q*®UâþCmùç«<&¢%$ÉÂûªók8Šá+© >"Cü°-jûÔËÚíI ãÕuÒªÌq!Ño;£Õýf\q:¹.SI®$#sqÁ@HÔHëRÐ_FšÁ%EÉVsŽÚl¿Ë-'«z)G»
JeSI±ir¥VüRX§ÒUŸ3TmL@ ö£yçm«Ÿ¢SgåÞ
%E7_?0°ôfò§¥Ž@.ÛÉé{~ö«
ùaª]!¢Ä
;ªµïOt+2û;âCÓS¡-bØâî
)'Ël€ß6æYïv` ñäH©tÅX=¬~^A9H,Ç©Mè|MÄÓ€|¹häkV >ÈÔñ~EøSuJ¿LÊÝZÔäŠh=~úÔnük[ÑfÚ=4!oVdîh2z
®V¹7=Ääó¹z«ŽÅ¡v0²ï5"IŒ°+¹sÉm;E²æGro Æô` ÂÌ8ÿE¿''
HuµPXèzäÁÇS¥Ú%o¯êpk}¶/ûR»@(µŠ1¡=×óÓĪÕTÓê§Wo&«7Dqu¢¯z|OÔpStG££Ç"eà ã;A"ÔrR)ïªÁuÛÀuz, ¡äY{e×Çölw+×0$ÄJªZ=V&Ͷ4òU¶Ú't£a#gäÔ+/Ð5ëh¢,¯öî_ÐíUÅÃLWÑË]¿ŒCãÚÓ?ÓZ!kú-fiÁu>lÃqãÎx'Ù
SXö>P¬¹kZE#õ<_~EW¢rè ó{ÜÒÁ@
¬¥$9h\Ìò|<€é©j" œ}BUX«ÐwEN=^Ý0¢³#ò!ð%=ëZôŒ(sVJ£ØL³ÚÌãùÔc̹Ú~äLÆ6Ъ{}
©nùaæ#¯ÜfëµKk³ÛšÃEá§:+Ÿ¹%ø[ð
qì-;÷©]33òIuº Ú^~cd¢Á°æZ±ÿ¥(<ÊŒœÊC>ŸcL©@C8tÅœŽÙ^JÔH1ÎŽEº
ô#5&ÙEß[É7\åîY±} Ügñ'yóh IÊç°Þš{HÛþhb3uñ,³4¶TágòÑ!
ÿ-óãúª¿UÕÝ%¢Ha¬BliS³mŸ3kÆvOüÉêšà³³uÕM± #ð§ØŠ#¹Èædl»^Ng
lì+L«U€ö
EçK¿g\o}fäM9KóÖF©"[(È¿/â
ÖoEÇDjžŒŒ-ÖÇÎo.±Ë:cÕ=@÷KÜy@ôþŠ~Ö Ž~\÷XUê%aJï[{u4Bbì§NÜ£R^Ø!0\}yíYiñ| ¢[VÆ'éS+ŒsvùÕ»ï<ý'òòþ)[Ópé÷|Ägöœé[\»HßoÆt9Æ!;
F{$,îú .îÕ8uw
vBÈÏ
;ÖvÐüuKÉ6}âè*Dv57{9/ô¡hÉÞ ú ScÛ%ïü š@Héø¢6.jky@¬Õºê
'Üdi.*1§©û±ìí¢nŽHáLû¡.
2éf¹®_>õI¢òâÓÚ
µrÆöãý'U»2CÓ;í;·g1 žSy4ó$²òxÂã*òååqò$àÝ2ü±zJd_¢õô= <kAáÃ<%}Óa9_ìôX"ª€ÞÙž8
\k}I]QDduwÙgÎCœÌ}ÜîõÖ¡öãdªWëLOwEb°$÷Ugïâ7P1<¶'>ZHwã~eÂ¥X[m\eÅ×îèÕõ÷Ít3K¿%¹ª5ø*BìëãSãç>É{AܵupŒãÙìȪöL_¿=朳.[i®!iUÚúRÒôѶí%ÛȧNÒÇdÁÿÄ.iÂU\~qKìõòâ¢c0èI£5Yœ©RA2:`ö+öÞO¶·/£ÏùÝlA¢¬ažQüehÏÜŠ«sÙÚž,|T_èùB~ž9ÞΞF(áäžBDì?·fP/€À³F/
ÈM<
c0ÁRiPu Ð{ Ç0BÏŒšÑoU*)?ÞãêËO/ÅgTÐ#É"ò[üíQÓÜ ·^º_c|aÃìèf[7ŸèÜWåÍïõ1*=!R¥œHz²ê`ój]ÒÿÅÆþyÌY?ŒÔæÎFADÏäûg6©Õ4»°YôQÔ]xŠoØ,6ï«÷î1ëÏ/²Ò[sÚl¢RÚä}×Í9,Å&^šHª-J«à¬dåâW ~cžïósœ ev'i&±ÔR'å~ hÛrú ªyœÌa/(¯¡
é¡·µúa§õÎw£SjÖéÍ_ï
ëù AÓ#zLõ%7¥8o°ù%
îŒujŒX2aöG<᯻ÒêjQà°ºAĹê2>þ€Jk
¶~³&?0ãÚŒ/çp¿òÈM s$¬OZOk§
8f`nÏßýT6âO»äE}áVáb±þ'¡°hÖDFAÐÞµõÓ]
W&G«b¥)µã
ü /TTâ,ŒJùñvñFä-4Ñ?fç ¡Ìc¡*ggHã\ n1©BD"ÜAG=n«Bá7ìÐàa8K[ µµ5QÕ3ŽRv[<ÏœX×ïôŒ|Ò³ú.{@bRðMûÜ̲à /öË,^õš ¹fX£&ÃaÒNÌ®·ð=\+îàVåÝ`òóqrÚÚHéÃ*i£dHØm5`¥0c
îÔ£Ì.~yŒè Mé*a[îs;šHÄK/ù}H ÜcØÅL¥ÏŸè泬ӎ{Oy~Côõ»cœA:DFÈ5iòÙ`±¿škó/¢p=lŒî׺ñÇžáU÷à |ù
Í4°~iýÀdd²t¶óã«*XhC×€z»"ÀÐÚæ¢RIaÿ³ ôEžóJTŽª¶ò§þK²mªÀÆ:ÌÁ¯×ó64PV4<Z\
xÂÎ
ùaÕ íNÙJ%oxÀ1$ÒðmVO9
ÏhFM09/ûÆX¶A3.ïý-~iÚÌ_tϧÜ`'/%= ( rO€ÁÂÏ8ÄDû¢ó.üçTEJÆŒSJì0 œãXäþŒ9fÊÏÕC¯šlãwÃØ@ãIãÕ4äYx5üÊÜz*
YÆÍÕ£±ÓÉÚòè
Wïæê»wQåMÉÌüCýeP{Øía貺L§¿f9qº¿Ã[^m!e8Uøµ;C³ÊúkZüv9ENE¬ÿ°y9cÖo¬å=oœõ:¬
Yo7í÷SôY?¢Ög¹>
Yþ1òâŒùgšpæ+Ö6v_M}Þæüv1$²í
]ü«_e= D¿»=ÙÓhîî¥KÑ^ì ¶Îýkú*ö¢qç4ËLÌù}JÓÇâþ×}×ÙD""
©vÆÝ1s`ïŸpçY(@bC)\PÆ4ÓÜXPÈtø3Ïœvj_ÕÄ#ËyäÏfŸŽ>ö;I)Â#xPÅ(Øäï&þ· ãÕòÌÝS ¥QÏ!ïwWUIáYw]n"UXà.]èÀi
"så}üKø¬$Þà±3Õß
Kð·Yv¯{;©G+ñt°ã7=ht8¬¯àeËJRXRwÝŸ?2fÓíÉdÇpKx%€ç^eê¯/ߥl: e-ûêË÷ ÁÕ].úåb¹~0ðɯEpšŠ³îúÖNMÏ~2n9ðx¥Ùì© 3ÍÔgÐuåM/PŠEÎÑÒ@Yþðš|CUö¶~ãüuJl.
DjHÈË? ÷ÆÙâågphÖîÑàQš^ìœká>~5!Ln°²ä,kOlQAÊß^@<hCÔ¥QM4qÝeÉ8ÕÕþWŽ¿GxÓQáÅ04äñïÂX+6U4óK§>|²1Êa¹š×áØ
4=Žgj§ŽÿFd:ÉÂ}Ǫfž6ß:
¥{õÀßå]Áà· l»Ú2Áâl ðó°KâTtÛ ¹Ö+c=ÓºŽúMá*Í+"µtn&£Aêe&/Ûv\áÌ yàÆ5²QåE:Q˯µx 5ÔÙ
Ú£L&N²M5^׊Z×Å{}È¥ÙZ×"^c6Çg â¢ò:ab õÐÏH2><ë]ÆÞ÷(9RÂM5õ}2ÿ{yÞ0Bu#Χ¢øu}V'£°*QïþYóiœ€dBUhC$óÏX¬L0"X{¿L6^-U³5QGµôæÏñÎÛÉ|õý~r¹\c* óŠÆ
dÐÏÛíÿLRÀJv£tAŽû-©qµŒ§ì/1ÀL?ÿè¡ë¡:Í(~Ws·!ÿÕ÷ŸÚé\9&cXiÛ®8+É·<@©hlW9ÂQàª!©«àIeÔÊŠÙðàûU0fX÷§gÑŽ_ŒÊkoÆËôÉîùè`oöÕÆøÎkšCPEÒi6H°œ#ß&-bŠ©-êòx%2þ&z[Øðn"\Hsñq÷OkÀÿÐ÷çÇa¡ÊIp#Å×BÇçÔåoü¬[ÿ
Sä4þ³\8ã6ׯ0m¬@æ5íyÐüã~É®Ä÷×Ñqèý€È'I°1Ûñæ»LºOŠ`wcoKÊf`0 dçõŽ *y¥8Ùµþ/YÙïÁ1$žtº^!jžÄLÇM(¥+ÛbVÇY¹ÜÈ
|»Š°Ð4 h|RÀ\êTÞú[Ô $N¿z>{Èd&]ÆÒ1|^"W%e
Ü2®ÞOõ€&Òšž¡æŸŠf§É}±óžáXSMIŒ_äýùS2ç·U ûSº@RÊÌúxÞa°#'
åQ?ÏjÙŠPAQ\Kûñw/8§µU-
ñÚüz»y'QD·h¿çj7r€Úrï^€;§
ãë€$hkä}é<ÉÑ#XÄ~íc0¶B(ÄÃÓ0Ð"RUÌ&Ý
E|ÁŠý«
|R8Qã-ÚöQoc^êµ
ÁLT[ïvG·ÚÌ<c4 ¹ h^Yài(aZŸíŒVÅmì2T=R¡¹åmôö@ô<ÄC
TùìÕðòÂS¶ÆH,j]ô8ÜfÑÀH*dyßk I»/uó¶æPr
_q:ÄeØÚÂÇÏRé³ÒmfRŽøÀøþ
^¹j¡ àªCÿåh¢xÈãmbGçööaº€é3ôÏÂdòåiéqzþ
L'L2·ZÏ9(j5ÒÄ¡"1ÙôÈÜBÆ[moÂé×`clÃS=^-4"ªë( ³hYÑ2nFºã)ÊÎ()§6ÐLÝü÷{©/øC:,ê3ÏÑlĬ!âÖYÆ<vZ
pöeØÆéÏ0ÔÍñùzøŸ3|zÞ¡Ëõ,wùÃ\lï²¢Þ}ï«:\2ŽŸ/Cõ|â¬OÁvow×¥ ²O§
vœ5önyÁX9³J§OÁÄÏæجÞ'Y}SJšÔþþû*ϧöCàµðÚh®6ÝõÇà¯ÒýZq;5Ö ËÊÜ
uAG Õ À1ºcßܳB+ÒÚ=õê?Ì°#^oÛB=
XØÊõ°ÀÕÆÍh*6Ã8Cœ¬€6F|ê¬MzúäÏëË=Ñž¿HUJ¶Q': y4Õ§OxÖêDHt¿Ü¢m
£YìoËacŸd²^õ`Iî%[æ@&>5ã*^ábË÷Œé§&õê=8að4×fTTÏú#ÇÞyõŸPÔO4Fy»º#ü¡W²åÔáòµçë¯âR>Í2P×g7?nËVp_f;ÓTÝ0Ýüè®aò¶{¶IŒÄÂÖáf¢#BüGç -ÉÌÒ+êåbûÕ5^Ú¡Ûð¢,¶yþlTÌYtxŸYÓ(#óŽ'®|lÛ!KíÔ·ök ÇÑÛ ?ŸQI³ï÷ ÅJ]óÜKx«§£·]ÅÒ5ÅjÅ
F'ÒþÌÒ+AgÏ't,²ÖÚ;¿0£=Sþ&®íÍ1ßNþ?E÷Þì{¢¿ž8¬"å3wnµY`gk¹uv¢ÈmÉ1
GŠz°{ÌöDÄ;AÛÔ (V¥;aèÍJï-c-<ÑHXeË"º>3·ñ§y¬âÄîÈòÉ« Nx"ä æºòo&B±Ç4Öñ3ýB
Yïí*Y,ý G}
&TH&#`>ÐÐãî!üaC?¿{I?ṫE<®
Û²®
7¶ÅM
í§2zn·
OÌ×¢÷Ãaœ+Ëmת(DåÇe?æ
°ŸîG,¬a¢9xع3ÈÐSV:.«?K*Ë4ß ôJæ¢á@l<HÒ$7;üüûÙ//ôÑî/ô:NªywHa.áñnž?bó§!ë±þ#ôèLŽeMxØö`çY.lSÓvp'=£,«ãçÂ(ñPx!Ñ9)c=bê.ÎÇs2Æ¢?`ø `~»ý]í÷ñ-êêêÉÛö¯ ïíxz àc ?6Å-ÕÃœÞr/¬C>1oC°lÿÝ,+p×GÁhyµ#!UÚÈg°p|pAOÓAãN¡j0ªp6Œ²!lR8ÃÓÿlÏvÄ}Ë nÔieŠìT³_$4bßóCÇç3œ#:H4ãŸ
ÛüVŸRÌLIÊDü<XTêDô¢Þúpo@]*¥ V wÍ¿³Ä/èÓoÆŸ$®yK,BXw"ìF-¶³`I Ë&
s|ºéø\Ó£ÓìçþrÑßTØkÃÅŸÔòæ~ê\ÖlÄ1ÔE[¶+ñ£R «ÝîÍ?d%?MzܱLhÎýYÄšä
w/áÓ+0i 4'ÄZѲ¢à7Gtbp>²± 5D&ÆÍç9ê00<ÁfRÆnÞG²ôyó,O
ÆêÊ d<3dÜÓøi?NGÁ>[`éYaÂÝ*fézúµÓn±*©]<(Úçàv_iv9xùçJËìUo²J~
õÁÊ#WãÕÎô©}1d<&×iÔâ/¢ë÷<(gÙ®c5;OuÖóQ³Ð&¥wSýŽc>Ÿ"?uAäÑöôO¥âÝœô]Ìñ"Y¢SÿšËÙìqó1]^ýLqJÉhð#Q^Õèì!ÎIíÃ~IÓ.1kmú»P@NŸuŸ
jª»ÿG'ú«ŒV,6²©ŸT²-¥œÇ9Eœ÷>?P@ýœè(n,ß\
øOr
HÞIì¬S:¢Güý`ÆÃl í;):c®"µ.fŠþÈʳI9ÛF(Û¿ßhçÞCóTó6}Ù®~Ð(¹ËHËÃÞiyÎÝŽn&4 §ÏÍP;æÌà
Ålq:°»àš¡ñ]LùR1Ï<æëÀø ËN>¬sîSøã[»l^?iÖ
èàþ%toB{|*ºÉgÿžiusøó»2aI3; áàé-Ô/ÿ9oVØHH
(<7ûIÂ+ýÞDO3àE:Ô·©v] ïìæ?/@ ¥@r ÍKÄûâÞV|Õ²ûØHòq£#Y 6ï0GšÝ5€·P°o/9ŠmúʵV~Öå*Ï Ê
Ú=¢F?º%Yed.|
Ê&"µ+]@ŠhßûTžüzcÇ÷3wç4ZÛ& |