SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  Rvd< ]]LTL:threads=4elapsed=54.079cpu=169.588gc=7.2767zXZִF! ;k]ŗXiɟ7KIxjbk- , Ԑ0Ҳhlj=r߸kCcM0 }@Q?7OvGC-FcG~':T0BT %(C x*5Mx13iBA>y8ˬZIbfg͂HriQ'_; L[w+w[ɠ`ݾOD譕4 aN$/_2i~l}GiO [~Lp #.sUT/F '$H!1~R A̽[?=YuF V:h8@86(+k9(S4l0bou98P*<냠8CK¹I*4WGvzI.mBhgSg[]y29ۛY|l?u IZºG;f*F1){dr[jKTvuQ<u+ hcYdӭW<jm{! .6= L,8-r|/LbxYjZ+ T|[EV Dk PFS ;' SIfUuZ?`ic,_3/L5mV2p,Ag A#Y+̮!Iz} yEXˉ[pʬ}dOֵWYH2xc7т3)T)m :UjOٕ\×HWfKYdYZ%| g4w90Bp՝Y@Vz+NQZKUHR>c{A x^qLcTK_"l}M-̃XsӚU.( LK)'iV˙1?EA -SF)Ax.M(wL 961DLR;` {unb~90pewcew~q6qۉf+"L[/j*QUy:Q2#mX?e@W)VSɕJ%3˦б+Ue1RoɵP%"'@"fBOCMm#8&|rH)u>0l''ҁx>4`I8NҏnTC'Vz=5knt-e/2x{OW k` awt4=!cҮX—ѭ_f3e%8$:` i5i.` ^w:CVqb|׬ r>8?I0ݮY2 TbӴK+dry7ue,A&7#ݦz!qd̓.M2bEB'+,GV#+:&h0: ܁Dʵy8)8սe T9LXmG+rߜ`,ǔ3H̏x$Rf +A Zcx*,R ?ˈϣ`x4w8Tv>jl0@&Ld2H,mDtR'6]ɏљfߩnoH91&Rϼx<<Aq[2@W2jsD.5!Ae lprdRrg SAsy'mQYQM8=qܙ&uoɥZ3!@Dhj(>; 5h~mHtY /~W;-e(M%2d]:Q??> ġ t0-TU^ԭUԯfs^]N#t eV"݅~,yKtЃ! yA4=Bz}(u?]IZ7J3P08Ui#.|#0LޘZˁNqy\`.b?o{E#sPCC53% ݇\(29:q~g۞BDD[\C5z~!mE)VPv/{:̏} VTGp}5xQrE\tfd-L.?Z.KAruG 52MR?~_x*!8h!&yWe#܎u ^oS7 I.V;q g0cR\BbOWt^f.938Z#ZN޶j CG#jښȩ).R =XݑߗT{6n(Ji#Nԑ5i O/ZAlG"DN>Z#0 |LyԷ)ԥ׎]}{{oeVn^=~j!'}@~K<% l1霵?I@ZAq]N`kuLq4F\/ p7x'SΧ) KYC+r|Ve纉cj>w[M4xU4}4~ۇg%rciU7.'@̝dJ"eU+Z@)w`Kɕ.s:u^#'\m(SY:b#4V֔fڌ֮7#`u۰lU` Ych"Wss|QD>n0L"p.7Z,qYFU}$k= hT7c6`1-ۍvwiD\h){)L(4 "WM}%- 196Rat[('C|T_m@}l5լgG8rK+.T/:%Cf#ODYbݣ]y63t/+t:J05Kn*dMɬC[>L(sfԽ_ ϕ/0Td|HƼǶsl+| DXYU% Lm?}:¹vFd9<*KtrcLhH e)`v!Pj dlRQ`~Np7wZx ldlV懯Ȍt}g 2k ߌiW1w])X:#pePJvMr!u `b׃KPad,U 8Kc:t '}M \Dy9 xeA/.!NQY:cq +]=Y՟lsFkIӖ,31@H0Dwv8O"؞X{E GciyzRW6.u!vDYYE.@DG:N*(xc?l(uupz{Ɖۭz)">^ܳSb^=+)"Un| 2-{ȍ3"v3́X@>\lȕ/m|5Kl"% ?7V=.Pwhpob˛[g,gw#4;8̓P,E2,^̇]ϬC?ucV_B5ʆX9*]rzheeK*ȳMqe*v~O#maԒ |!X8}Fq- LXX .h-Z<A   CC'L{%LTLBoolean_Expression_Checkers.Boolean_Expression_Checkersdocument.tex 0C%LTLLTL.Disjunctive_Normal_Formdocument.tex%LTLLTL.LTLdocument.tex #%LTLLTL.Exampledocument.tex'1%LTLLTL.Code_Equationsdocument.tex[%LTLBoolean_Expression_Checkers.Boolean_Expression_Checkers_AList_Mappingdocument.tex"'%LTLLTL.Rewritingdocument.tex.?%LTLLTL.Equivalence_Relationsdocument.tex*#; LTLLTL.Examplecode/rewrite_example.ML/E lh8@)8<|r QϪ '8շڇS43MAaJMdwA滖''8FkVh+6t#=W""y.e;21w^N<y{ \i6=5ŨUYD>KvlvUm5wgA&`14/PkK7۸bV|*ug]CZʒvYB£G h$57ۍҁGHl9#9_kAAttʭȿhwհA:z"tT" cUdUh>4Q4EnR%5ksR'}Z`.6`vl=c]Y uf!SjQN;MmHH z!KB0DlCmHf1Lt'ǝ:Xk=O.9}hȻiV:?`]^M,6]_ 7HҡFSc%\ ?Jclf(Q2 8 Nl-V`ً]grjDϟ R43~Mu`]2ݶ]{Ic y%xv}b}=z Xgq鲒πڧ(q¿ m4=sR4-靗RD)QH(ծ͉8$B˔:.{m}'É=k"Fkn)Dbgq,*3yP1|ׁ,BpO3MG8 ed`:9An͙>au@Y\9N/G|Y¯@"J*c@GYD ?ɰ+})QGE$+[JaSv)c@w(3ޯQ"WHŏ/w+\{C]}GR%ȞJ38Xk!oIXVFij;;4"&}qh`YnF9 wT6YqQ>e f]NdJG܏)"N\_t] *k6ɶӉ3\Œ,#9̊<=SU>O XA0;ł|M̻~Y(A\=L '\?脌H4힉#-Zj |)w&llsyV*PF9}axljg}:t0 Yj H0|h:RDw?iA|*54O!aEL\pR"|2n[ĖB!=/6īOcjO߈yzUp9]@tUQ'ٷl3HւϚ`\S;\BZ,vc߉۬a[ BB4<>N}׆I[#mআ CH01s޽N!7^9@l?`(:zDY#Jͯpv:l48TSG`hÁBw rApаԦ*tvv5pE-֩ɜA&͟SJ]/Q1p)3\a^EHKFjsc+;Em$9=t0}T'N$[F 3At߽\fVTC#'U0,;w学7@7/ӗI0h}k.ӦN3EF(W%ї]>0/0>f*:2sFEfkV3x1#FSreFW5޶Cv&CcW)%vi[ 发ޕwګ.En2S:u݄`Hhc`:K8nMi?B&9faT\][uI1e6i¯^y 'B R\b|1,y}(a6,=GCfduL EYNnH瑫yzFs\^rLRZ Pc{Ix-gFO%͸#73KTUX%WԊs {-J1`.>=XckA:lzp35)s/FK%Qt/jTnP^[ FנR(єFV{CK T?:)(HSf>NgNq:E`+|, FER t )|e_\0-;@ptJ-*6֊oq6gB a桝 u.%6ݩp`KȖi5izD\fPɑ!0to9\jzo}F.j'1X`JĖhrysƔ)g9YW&Kq;+x1F(Utxӳ;tXLgvm>C"$bp1ĶΚEqb_.zhm"BOձ>l5S,7-iE4&g筜 '$`۲pc*ܰތTCZ/X#c,󱸇jXT=󪩰%-7*mL9[@SތJyrf [OThsOv._ *$w[u+ȏvvLL _Rb p x8'Aj= &i+PƭepO2m bNo r!VN d!JxcLŻI$7!]I&s! I6p)~^u! ~#P(s7 Tc=ojbM zPG/U?Tht k:{!@hQh=CL=gYZ9 -\]V,5D }k+­c§lLN|}8(B+8u# X-]rFQ ˓mGހp_r.D16JSuN_QPM$^+H`1 960oHl$,򶓤:g F eAk<.kȩVD@'Ox7̪qp e₌gp/jyPc.%tD2ol+X >~dѠ+VXpDy! ;i;Wdr.t5L L =5c(1X?^\4DZ$XB;3CsBi%r ^] ;.mǼx?& ; kZ6{/A QV@,B5Ĉ5{1tM zV~3XF(JJbo B9 tK-A~d\B&=(S?+rhJIh*xħ`~|:?}0U f'{9'Zk Nn#0yp:Xٞ1 xu'2×3c6UsU" Ll2ކ(ۃjKa1?#( Ƴ2]m(ywyS|wN7(Hl26Z{6` M@U+Q"cVф U K-dAZ 5^Jyؚ4P.8l-gAbK% eQD UyAl-5}wGC<`&€;I/"m 7 E#]Zn׍; ?0B23ڄ2\BrS6u/YF~L_P# {,lg L`5 >wjL:9K}CE~zOojꖆ%RvռrEwGGpU83uU u:j5 FL)I 4H—r1dt{7XOS߁ Z}17` {j?z(dib|ׇؕMDr> qbO~[fDC|2  C r>2-@?8wk,hfJ7aRh6x NXO\iٳ'>)p<8/*5۷R91d:;K]$Yf &ڕ3롉yeLhe{?ѭwXk":ʛkVzg9Ox n9wz/q{QƖ =xT7+;gYAV@ى\>.C҇ UP\A)X#, H^{׽DQYY.WATIE *NKyqb\yj>ַ#mQfui|yJ̙ʡ:Ʋb˹>Ό.\NU2޸>TG%OSM DA3!ˆ"CN'?ꖸnAEg Zv1Jы])5蘍$߫c-t |"9eV\ ^TVi._B|OR7](!f}BDIQm.0 +IR_LCƹj(N 6mć՟jČq'f S~q4juIबVxeR`onoL.Ma@BT%/ H,«Zޙ ^kvĉyeع~?Ž(j@Ep+fet[w1q #&Bog|Ċ3!*g xʬ{A\Ay]N@o]Sj;K3\逌GQJR'|&>`9{Jq*bDNUǛ8fP2{LFS8!Y$)Yo q] >2L?k(+v,eY|}d!7>z!WvH+ҙn57ɫTy@HW d>Ox -uޥFR,jNvd}gi-ydKBz+1_XܨCHAo&sZQjANFٙyrcNޑ`J!% ^WH ,On$S/y=#yg?ps&[{ $F6;[_5 D,G83{ƮzuT85蔄/NSIlʚiW>Vmxqnފ+qX>lϾ\)Zߋ)`=d*ďDpyn } z慩u<=&7qt+ģLVš)SEe~(dɼ rEp`s_6NjEô4 w K{62r1 ڬ[ۭq?8 WhtfXm2_5TѵXG,Aߢ㻃VI֏{Haቶ,Kw|*֘'g{OwX=؀'ǯH3{IGեl"I1x} N.z?}# 'Lg\  =9E6>?pfj\%ue Ud3jߛy,7nt6g@b_C=E7Xt(=3r5`P~ַ|"vwX~{O14 Tܱ1M?nph6\4̓zV w3fv.16R,@{TEzP*EwvIdx+X)G|L"4KN^x;3 jhgm!y r~wB79"c1?<ϔL?(;PP_ Sܪ5}nM J Yń;b"kL>1L 8,ƆvxU8ݦIgYZ #; WYH2xc7т3)T)m :UjOٕ\×HWfKYdYZ%| g4w90Bp՝Y@Vz+NQZKUHR>c{A x^qLcTK_"l}M-̃XsӚU.( LK)'iV˙1?EA -SF)Ax.M(wL 961DLR;` {unb~90pewcew~q6qۉf+"L[/j*QUy:Q2#mX?e@W)VSɕJ%3˦б+Ue1RoɵP%"'@"fBOCMm#8&|rH)u>0l''ҁx>4`I8NҏnTC'Vz=5knt-e/2x{OW k` awt4=!cҮX—ѭ_f3e%8$:` i5i.` ^w:CVqb|׬ r>8?I0ݮY2 TbӴK+dry7ue,A&7#ݦz!qd̓.M2bEB'+,GV#+:&h0: ܁Dʵy8)8սe T9LXmG+rߜ`,ǔ3H̏x$Rf +A Zcx*,R ?ˈϣ`x4w8Tv>jl0@&Ld2H,mDtR'6]ɏљfߩnoH91&Rϼx<<Aq[2@W2jsD.5!Ae lprdRrg SAsy'mQYQM8=qܙ&uoɥZ3!@Dhj(>; 5h~mHtY /~W;-e(M%2d]:Q??> ġ t0-TU^ԭUԯfs^]N#t eV"݅~,yKtЃ! yA4=Bz}(u?]IZ7J3P08Ui#.|#0LޘZˁNqy\`.b?o{E#sPCC53% ݇\(29:q~g۞BDD[\C5z~!mE)VPv/{:̏} VTGp}5xQrE\tfd-L.?Z.KAruG 52MR?~_x*!8h!&yWe#܎u ^oS7 I.V;q g0cR\BbOWt^f.938Z#ZN޶j CG#jښȩ).R =XݑߗT{6n(Ji#Nԑ5i O/ZAlG"DN>Z#0 |LyԷ)ԥ׎]}{{oeVn^=~j!'}@~K<% l1霵?I@ZAq]N`kuLq4F\/ p7x'SΧ) KYC+r|Ve纉cj>w[M4xU4}4~ۇg%rciU7.'@̝dJ"eU+Z@)w`Kɕ.s:u^#'\m(SY:b#4V֔fڌ֮7#`u۰lU` Ych"Wss|QD>n0L"p.7Z,qYFU}$k= hT7c6`1-ۍvwiD\h){)L(4 "WM}%- 196Rat[('C|T_m@}l5լgG8rK+.T/:%Cf#ODYbݣ]y63t/+t:J05Kn*dMɬC[>L(sfԽ_ ϕ/0Td|HƼǶsl+| DXYU% Lm?}:¹vFd9<*KtrcLhH e)`v!Pj dlRQ`~Np7wZx ldlV懯Ȍt}g 2k ߌiW1w])X:#pePJvMr!u `b׃KPad,U 8Kc:t '}M \Dy9 xeA/.!NQY:cq +]=Y՟lsFkIӖ,31@H0Dwv8O"؞X{E GciyzRW6.u!vDYYE.@DG:N*(xc?l(uupz{Ɖۭz)">^ܳSb^=+)"Un| 2-{ȍ3"v3́X@>\lȕ/m|5Kl"% ?7V=.Pwhpob˛[g,gw#4;8̓P,E2,^̇]ϬC?ucV_B5ʆX9*]rzheeK*ȳMqe*v~O#maԒ |!X8}Fq- LXX .h-Z<AbmdUC˸͛_o 9i9 '% |LTLLTL.Rewritingdocument.tex7zXZִF! en2]A-MՋhvG"uIBm5:(fC˓O| /Phi, _n0K$ztfVb)b#+V)Ήà_eC^8,DDJe5_'E +q7 H®c7z} >VG.iyA\̲nShBoY7 6䶼qAgfkˠFJK[0󋇓pM R4ME_.n)ר14S`7Mek]EP[FoPٻaTYnH-UwDCEIZspވq=yG#w a?XD/A8w أ qm];Gia|VLDf 8= @n!.bl4oU͒D8{\4Mˤ,(@r4u$@6Ryqdd֧ +:aC0]هmK^6Q̣ Ik ?% DLTLLTL.Equivalence_Relationsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5}d_X; ѻl22f';T1mr4֍DX!PaF\=/䫖z VSr27[տdZ8ƴZ]T7uh+2Bo斲(N6z:MXm}7KԬ6Rs ڣOqi#1viF|󭩝\d d 3F_]ͅ>/n$NEF} 2f;# a\c{A)WQz-,^J U!nψc\Yb\j\c,87a!>F,&NKɵ#*yBms9)sLA] q'ߩJ׳C1Hd=JHkGcҍG2MvynLq6pm,_.&ڬWW@ Šڛeˮ(A̸E"iіq9. Gն'/EN$,ɀIVľ{2+j">˩X!;fm(ITFR_49-d|I'E>="VO8ms`},׽o %_ģTqkrFLk(m)uqM|颙ar= tă BϦQj? Y!n/mz?lP[0wU{∬/|y1Q\FN83vXȠڣ ap/ +Z_JkY&2,5u|PbL!A(J߼1e/m$) $kb0/G5?ьPA77nI;(&2Q h @s*DA^k k9{CM ` zB},0cվh\/RtMc[ B5o!-"ՋyEG;F)|w w?Ma+DilJpWq!,cdh,%H_&gW=k}]0q-X}alƄЍgEބ_rHibor=Qr!lPտc<&}%;[bh =Rn$ f"!L/gu߲2xR w<Jy63 uY52[RAhbU8e xGtBێP N.QQ$ gR@,O~8>)=?D޳Ahm"U/2ܕEP팘H d{L0x/XI=Y}%nu>K*|¾=T77 K4"1!S/.Jr;VSB]7iETocJ_4஀ 󣸫Sbս:k+6UgQz2E>y{d-osaȴEʕ  gܲKpye"`.# Md -QO}F 45"&e8<<֛[R 0:JDɑ#6* ©(={vMT,a+4$:8ft9DRe. ҄aw$8QD];EߕTMx(OGsI9P~Vjdd`a:r |;a ȜF / \;r%Zeog枃t TBh ZB(3\YTd?V8e׿3wcF)+ixz+>B~2 bu7U$Tu_ҍ.!  T~xp`&.:dh/"v7M)ɍ3_+ϙ5-\B/,51mT1M͒YƄWnr:4 :8PI/iI4>yأTȱ*ShmVv/3ē~F޲\"Oq2*TU8!R"K߼e-o Wo'Qݑl_vqOQrnV"GQ2` ppuAKְIeyARJkLGWӾTylJTĨjEy { 98פ2܆ъ>,k\1U,,==fX@JWD|exyS?4qD{$u!f6QoR+a褱 rxxI+P>hE, 03lag29a´R\CJsĬPb)Z2>2;0MI e^)aEkHoCtq%# gf$*U% %WAԈ}eзeBs2hZ%syבSgtf9u";>{oTe\oBx/L}i m|vrd >1icp-cŤ0anm!6@7Nb6_3h~CՅ̮۸?O !I'Z5N!rs$PO,죝66;gdm/ W!/¸ߍQD}!LA6YluOYZD Q"D9Ҕw9yt ^~hM Vg Iy v DgZ@Uf*w”G @폢* E eDM&9<'SyFuJ_'-OI<%Kt\l0_0L0 <{m P_4.E$S{1׵vh eWeÌjc@Jf͓Lhwfڀʽ".(41U;64/bP}dD]9N`~bhjVpCED&9^IeYm 걼07ZAAaıAl͝\딫Hn 4ǎxZvʪ*]x|HV]pIq=)_3k' /#r;ˇvzPX6)ѽ@w[$΀rLcBCDG7p6,+3yp%;RR@.ж(>0ѝqPMt!Y,iv$0YB =uP1!ߐ؟v$Y^,)r3{B/euyq Y˓YnJU+L2| 3Dc"b5H>Jv74i̺w+m4j<#IY>0u~LN߯'"\1 {KO&_ "aI_G}#1+Qzd'- U.jΜ^%QۦfɁ#wM)s \ʊx_ 3{ݪ|yCqZЉ &cI[fp2+xdb;]ֹ(X:ȒOJTZ' &fM`_+P,XuG:1gQXIW߿Z۝Hab8gN]Ŋ:;(ab>}o$7õ77}=4FwYQ@| R)Ex:lLoDw"yyЛc|!0-[80-v.6!nmJ05},gi3]-NŇyLU`FP d 5!| Hm~ՏA,~ uyd?/AbxgFRuȔ.Ht~;~P2VxQ"x畡.ꀗw5!6jj9γs|Bwحi0qݬ_7[IHjqbTc2L"d~hש﫡 18c ]APM{.n`~!QcY\kK|A062Mblb۠esNUѡ>r|R1ۀr9)"x=֢Cf} 2UIrN5YiƱU=F8x<ʄ`MI'zH'pЮ~*D%Ժso΂?`[dܑtZDNZ+c(!{6A1続R0OR握N13+XԪt,% ,cTSR"8z띝9V$wJMpǙ-GpJZ2`OPMM!0w|u3W̡Dwy7SG=^zzs7lT bz1KnkigS~ʴ$b9kH~@- k;.G-'hi i6е:[)`ҿ9zVZ[̀Ԅ0QȠVB۹0Q DP@+VQ83g)ԯaG>uTهu߰$T Q*KН[^.%RsO[[>G0q=w`0R ijKR{@C')*VY>qH}8eFU!H,^q;Tldz;`cO5L >PG}~mcE+? Glv8S.BK"hݹ=n{g: q@۸\jnt2.e"#tmAXss +tO[^o'~5xG]&cWiIn+}`JLN]@̓%njjW|tSRcۤ@vʯՉ̇EoRA:XŸ)Rgk0@ڀ:rHG8 G \QN psygw\.vDPh->8d-[@*"-Gg(x5 !_/WdC =>T;(Htm/d]_|uZ(ޤ`S[Oz; R ۷`=U8N^y5'k 2o ͗{= ||(c\7ŲhWZ-%ȳ/*)_'\L)ȗsM&“Q%}o:6LI6v> c,n 3Ő7ŤV@!u,s^;ZѼ +ȑ srs6)ӣ兤Ґ]38'cscIn^.1`#C4ofILHƍ<1) iYGN9< 6n.NQ[ ;Bbۍ|̞A^2KU![e" nXWG]C]v^〬e3 &#L%]K%W:?Kᦻhcd7ҸAրQ&+ȴ I"O;~LYO) '#|9AQi0SỒf"㦂-~ؘn'cǡ0lt2\q{<}i##]d`搎IiWR>HAc&Z:ywh^׹vs#5b>FsY:ApUw+FX8{}oK#[c =šLgWb@Ur2HFOF0 y^JTH1SPAكO 7m;vjܼ|fƁ6! N8 #8q׹&x+7-.17q_`iܹQs|iKƒ mI&_y,F'K=7Xk}Q/Y֫fYQMNLL)9 3 E4~p )}4I R;t%f20B_ϩH]rtZ`Hɞ8Q?txёз-xzL+LJGO6! ꄏ:󢻐W1y(۟Mzoe(zC QU4GWlhBU?vyLgt$%38okBng./=XMݳo!=0ї:u8>{r^gELxa@e`Η@Qt!@w.f؆N2 oJ 8ʋt\qvS {CMl >V/qӴ_yAW4N=+DP Ptwɒ[l]0yZjLhhO TK^uo7Q :kz1b0v6ڇ+P8r;ar;GDv2''GWQu)Ai@q&rzk^* $H* zڃו][n04&! kcbMY5?z9 O9(h8ezqn~QU*0K%An~ɼ'-vKaGCozPT΁`K\4FZXbUU\QeMP.Yf \Hjk`\fiDO0CG//y4r’G"q#+;x.H->/դ6r\r ߯2O|JޚܷL>&Ӑ7ӹm6Ճ4=WŦ ӕ8$9\d?ޓ04 JcXW/V^I<!ժA/LqFk>~- Y{ӫ쩍$%tF,nbɎ#Of7tv 侪=`J"efp{^ 951522&hưQt<*v漋P;112QTKYV4~FrW'g{Ed@*}{zQ]Cq tDfCŹޗ]NˮixfJ .L<36 v=rڱ,Ē|pr[Ʒh_AZhM!tK3䰯nc:VaCB<27sٳ%vӮf#횹@ m^X3H㑫7}N[cN ).CX"ˆ)x>[2ۡ1(z0 nδTr*EȍO7{q8=X)wN6R@촍% =\"b&J5pGlӸl mTeaftT HtuMVrFPF4%Wa9 ˌlO<fK7UGM'gOg+N0hѴxIB$iPLcYw T4Z_U#O<#b$'Ց '7NX]9 l({ؖe.(aE :Azr9fcrV'XDy^a ǕG  e^I$'xJcug^u$apQwsQ:םtzo횶8,0ϖx' -caYRt[;S)!;M_ӱ(dp Il*vƎ=,7^<Zzst ORO/4O:Mҳ e<R +O7/ CR= {)'PGE@F HޝMf蜧Yiϵ ӟ_(usrO:AmIߪ WŒmM^y JrJ3d`D"PLAqRPׂ)7-<+&jz\AL_" "(7A+Z 6sm'KV/Q-:nv%d7QLe6ӎKWcqhL1-b:@ zh2hALX{jG~ AuG}ea{?}獹BMZ;lI'5S[$BݝOMh:MosPv3GPǔi[FJ7A_"~FԾ\+xksTF` "em uOnz1+EV ,4SpK8!y}:7q"]&[UHbS"2#XPɐme"YTSߘFSdvB~76J!.)1G{WSTG]ڊT ̇^beW\!GбɺxAUj }SO'bU1/z-w[|U'#(iIygeSr*`Rx&cZ[J{cYf;a=LƟf瀬fT'Ix DRWŒ%̦U;ɒ%5+piI>t')~|$o}v_$C7m%U%F-LxZ6qM38&Qʼnd^jԑUL-N_΁1Yd4W{_P|^?$ ZS/,8fu R^: o=4gL{jS'kܩak$<3_˓L*6t5G`.j>=&ŤsS،_Ӡf& m:r8hͶû @07%4՟c~Tn5u'5-X\c|ٽu5ۂ>t%'e/[@ovKoVџdN[ tF'3(.#PiC5ZORsDj_Pnw6 Ld!J-"&KБr l}pDۑOe/RF̷;CDRJZ%*+A=-7EP9&%:w/3V2$\eVr}IGiVr`1rRz܋*A *W8n#,|8T p"t))uiYpnh?ǴuO!؂XAw$ڗjGb=N'QC$U) F\Y6_vZ"(UBb V, Ipn>ط NYHM!_&ʞ{@ .t2DgS]8cxO$v8i;W(qbή36*[A $X)iS"W͋, pvZ|Q7deWƜjTpF@ѽF[>rƨЕcR;桇<"M;[As:"!=;s e|<^LËMc,݉&FV$rWs`IZcޥ'WL"B`Xj/,2KTw(|#W(n䩊吞,O8Yn7! $ċu~a|=l9K'!| %^'iIؑ[:F|'%#oeǘ _{YA#|pFfg54Ȱ@2Y 퓸J ]J)e9|h]38f4&mv.ysooIHHU"l,m\W'7.CmR?KEamz.@8>JCZANdfy2G}J%w Utn$\B,F$F}Ƣ{1ʊ^u`??3nVTD5] p ɮmZEhc{DW/BU1J&4sDب Fw?@ %~=w G9Gvwdz;0-KSc &{\s xK: $.|U%!љmg:h^ԥO_:jJʢDvb)En9Tk~%z]ۯ|WWABqgQ4ku@.9s؂1xf$={(8hc1=,%IBC FV[u4y@hw?S]c,C1?\L45+0̠LkpV9p'ob;*z#B%猻xK.I&B+o^U|}jBR?_}, JjnP$bCwxUR bdL 6!d>Vp7, \`?s_v6A">0B*T+\ddɔU!fy^g<5-|4d"3i$FfT0JJ߶k6"x\JBE$W}p@^pܘ/P>c|?J4cY 9;Nfՙ|tO<5c35l䡟QJn9}4ET`RV(bD4c]R6+uygm!Y7Lg6xALJmzyuZ0"+bKY"D82‰~ԶXm-j@VT1x;{wB,ggkQBl힖# lTRHCM/\Jr"Â;SlPͱAN!b@vVfmؓ! $ ٗ=Si8?#N3c}^bW3L(6j["83VtUV-+Y@AoTGCO._r'L~]3ݻfCq^/;ʿGL;JzBm =]"cJKlev;}K|ZT$QKm5?Ezai^3)$XgO:M&N+-2\o~φ)gXmbS$V}ӪrVM*-}]_=q[Ma=>g1;PxѯoF*䢘1/JW=x$ :U0o~F(1X܋Xr-j#-vANDn*KӁ񗬰viOI` ~4H!V1uBZU%aU/Li]>pɥr8jT9cz߼38EZ85%mkpN'%WC;1 eU `cxwTxAbSc4u5l )$ B*U;ZXe ogYZ  `R#% lLTLLTL.Exampledocument.tex7zXZִF! p]A-MՋhvG"uIBm5v'y(æ엯ECtx֕Pa ev^f,HHG#% ~"7Z y(S8s#bH0wĈo[#do"*mMA fy;&|}V6][aCrӡqƾ#@ O):}R*6*@ݻU{_y[,, ~ř|).z{qlh 6n\Ua-ei'liIk7CP#C!Lγa}$?@t4=ו?ugsHc#*e_ZJHsr AqhMϺ:L؆.p;<^ռ#yZt!n+v-y'o.=q"&D |w^ S޼qpitUzKYp8hU/~ZL'ޞNsT: T.!7!O ElCrcr=My{Mᘕ@%i d\Fw9 .{I/j_ˠVe.5V`;01$^kEU]TK_ب\GDdt}(ȕ59s=L3k*"4C)`0 cA]j>"?2)L*^ JT|U-" GoP4"l?=h"_y}JzMH6oc6"ϿnȤĭ>k5_a]5ΰ'փРygYZq1% LTLLTL.Code_Equationsdocument.tex7zXZִF! #r]A-MՋhvG"uIBm5T6Y)AEŘmU lAZ[C]iSd&;P(f*{`1XFw8]+3h/f-~>ÌUsr. 9衄 ËƙvvY \ 5ݙ!{Sdz}֧VWdfkr6hddr+QKc[8=%[K\v)+|INfMO,f*vq1c@jQޑ-=ׂrgg4['昆"b o{hrh-MDGeJR|ОNԄh+5M=YVbU-Xw*#WF1^πN$ L>T}Ly+-H5r&,O0G|K}u"}>w~nPwGX?m#N11>g0+1@ "&aDYFǏdL%8A풺_[D ^aK$F'O\ČB r8$8!;$+5݉Q(whGlޠv8ŧ(IyϹ8:v|fTOp~#DP%P& NoV XFxOXY ."3'c'"&x8&  0lMkgA(_( HHt߀˾$5˪:;I"˃OT&Ueï6 !*0Ƨ _zI幍o :!7&zhr()1NFg Ɇ+Oך&A%7kIzc/!z<>pwM)E1sZUUZ|OjKN_.&w?Tnw2fĆg ^f0y2XiO*XN >+p-bN :{B!>^s;8mЛf"-vNjX zfAV鳼ȧn;| B$9!>N^I^4r9;zf4ҧRBg>JHBLsU@t()Ā(Rw˳A=+.SZGk"HJ'xx#^Vob֑oR/L3O `oU)V҃}Kާ9vlbt.0BQt]Ho( ʜ!KYSGP)NCH*P(V J_b翢&2cX0&bo <E`Z9}2߲IS\ PXZ+ s1a#a[ 'V'optj˰n̹ `r.xƸ z2 'YQ<1-bp=8Mbdo%IN1 Rls\=aɐ8f9loҩ6 {2n(64,>5N}ꘟ^gp,KAdkVV0Ga@ר j4 XݢogCсhi" N܈18R#4бi,_hH)BR"іG4cy%dUިMJaon)S"W`|F99|BI"SWݘ(lT ˻N>enf\erm2$xn*8etM11c$\V]diƎL-m4RΏ9gj$(P)a۪)P7ϓK+AVyrJ^tmʓL[y GOS5ûTײқ[ rEj;4cO=e,Jw,jr &mJU53Td@NU';@A1:zT$*[h :ށNY{԰Jr^,8`d`0ltK~>(%^c0˲ UHǯȵVZz2W_Bj&ʮDcRA8/EĊr RŢ;p̈́  F] gYZtbRRse_~ {KJ#S˂5^ xl9>G&`H HC06J45OR |Gذ\,A3T`ՀKWN~UƖχxO3%Yz4̓} Evh+rn'hvFIĆKOV٬xqS,ig}.6ĨThŶ3P2[r4~)<ˀ؂'`vkkW!X$ iʶ.*H0}OjcHEvy  &-R͈РZZkM!$cBk I.4a!^rםW0  3h~d4RԮ~!BA'%9d->49E`b(UXs{Vmw@'=<)42;z# @O'e&}<\*4PQ͛zjr¿jFLYĞU !|2 Q\Ϫkuxڨ P<}ߡZ\7 di$fG#ً ,"ړSFl1bUTc8UuO yy<[),m  J?+5v(t9 DlC5t=0pt“hMA; #TEcB2VLkfq_  KuI;^&X~2Lyߪi[fփ[§ 02&y)@`XBchc p uwVyBOi. 4\N`rzK}ɟx 9t#^0^`w,1ϫ}-,5Ѱq"}wK`(/a*-/H%3* 7Iڼ̺b@YjU;]zaJXJ7AѳAŨFE!oC~Dj7P'M?;zDAfapb_rm@U3GOvAz)RQr!f^[Eu(֍EqzSBS"XiLwR8 W. ))8rLf鬭f95[dzf4*ЛЅՅ=:ӳ1fȮA3!/CnCeŝr9#h^p0mX`e8]ti;S]hCo`LT`_ A$YnueDhu[/,b(xi˃t2#c,x;PȯYI% c@a:)yS3_ӨQP\}<=VA쐥Gɖwg x+[aQitѡA{NkOEOK9֗|O8"[ ԠƄb X އ޻DOТ$ $1<֌H!eR[n-J%mLiW=^t;p{ꩍYn"Tnt+7 3I QCΉ.m#=9E&v ~g"7e N|yB:=pRh8{3FrDid x$o2h!'Jܒ؃!.j˃s;[4Ǣt#Hsٵv< ww*|VFY T` OxC~@nya%PM.pcbi̞㦦԰)@`FxɄd쁴MNjbߚЃݼ&F3qQ߿HESe$ 9Fa)q+#/g(>TA^מqFP3JdxauX:zhs@L8d`bpx &ēo.AdBSGGl4}w@tb_~'iJ[\٨NgOvИMG@J~QNVV+2]NS^Ч&$#au$XhsR| ST X"ށxV: =5Bpro/W5#JұrnLXMziQyk3rQ՚2p fMwO| BoKi7?i8z{.YVx03r@aJHm`ox)$X#Ț$MsENp*eA? dX@,~f3g96۔}o`%4SxF V,ESe {*]i 0^ {648@&abJr&Jv̨i4gApƲmg[rWk?HtMSdLڂH{ֺ\ˌ} ZzB-1kW$U.ŒDF]\ljwnbpXlm J9@ʝ<4S=b74b?m*+uYVj߈ C-0%Ix{Xޡ<QaУ4_dg8=zyMoceԶ" )qd< 44Ks2GD?e2HԵ?xRUs* D@: o'D@hP)2K\[ ;Ck4Ar{*](?YYrVY %y&VJ9@iH 22u3| =tl]~|ʽ%ȴ,ؚqP8Q0L_  UxgP!Z%{Pf)Au~3ЎAEPhJ::v5\7|m_CWD9tGG72vb#0ȕZ//*wnjՄWqc^qҲnb"-|A1&m-mP'5J0+t~I\- 94Ӂ ]FTXq݄L:S(j*NM3x[ËOFm5S|f۾A^s[+q?iܼQ Mm)3ϝ1>NJr'aZ!0MA&b<ih/1Ck2Ƥ-ճY+aiOpL+ZԋB=Xew2sI=6aqyP^)Fm^l\(-, +" 8iB9!9O+}RV-gzʮ?HM@(OZ`5ܘ&RF•O?9\/ n  %d4.&THP'a@ $A[/ dU|A ^ōBq |qV,y,46- #АRD+۷tжс0 s,QhID lVtm|+B<0+x[*M+/Et3 Y-c@K̜G\Ba6P' ^~Sz줪Zս 䀼ONPgWxCl'UGWlHF)~Nv{$=X`C.ӋWlsjH .^J8Q8Yқ(FƗ$J7uM)0ȫ2!+Y#K> ;<`Y5 ^tO`9Y+4rszloESwjX>Qex;>g0Yݠ{ qNz8(U_9\%=j.B<kߙn}| x ¶ PX6oI5nܑ3X΋A9#%A9`$%3apPuNTբAЛ4.VX&J2cUAP[#"umoY|*3iPEFC ^!g$gaLIfE$ ;&:6?#ׄCɡ*,F0,אAO\ߋHj;2ɚ(Gi8p:t7ޱo S>:(jσ{&8ٵW8rSkO塒DQsyќ .hZPIy!R@AG7>UF8.|u}"r{؊ڨmۺ-8{7z-mEcᲡH|"D*S9{neY2}rwH8ȟ+C/X[5-%bq BTCx/1IrwUլ` jMww,CszdDl|:A{G|a>=p@B9jYIq68u-* =>oSSeHJJy7RN\?y~l5c:mIK sv"6L=5􆸾eJWJ'kQs1x E r0ZTbۯ峎FAuhf`Srmq%*h.E Nv&ivaeOaimt5~L2!b"Ӓ)E!'yomۡJ2+'7L?O7g U4Y¨!T ɝBXPlGoj?CF?+8&dT v% A$4^ t3:NoAw6&yV|\$ Q̼c/5VQDS M; Yؕ룬_ˋKl䋞kANcsRSP!T3Nxǘq.@U@X+3\ڦv]‹`iL#YmZU ,͂>gwĴ;&"? p5@sQ&:s_ƣ=;,0xaER [߲4(Q(:jqV_(C˹TZnPP&7INa0ZViI' U0Apu2fZُ-Ŕfs6 -qj& EH6 LS5mn\ ' MfjQhjB7{Z d"0؄s[+గɆ3@֧v(nYs-0i t}X% *|۱ º(: TI ِhH_T*.o`AC? "?=|fjw3z  2RSM;i2qN%3ؐI*r!@D;%VcVSWzOI~ zb6Ǿ()Jz1:nFBeTG-QH[F+^DZy6-#Ӏ1n7=`]K1{@֩~ҊS*6 fm5`Q  P~ff¬2cLB~5{ut5f$gL더eT 8سL$G䨀Czyl]/^te~qJM)g^}䘭3+ѬI;_~_n4LXižjn%lTW *δuWBZ!p~G_a4_rO? o`^NϜgU~ᜂu4\SdXGpxǙ**홌p(wG2h%WbTaSa&p !HD8(OXS͞ ]NjjDYqojaPr7j(69+}gHvwqx/z$5vB+Z~ Cqn_Vd,wf1AE}rYf\vg! *`:D)Js! b\)HGxf/nD@]ك}q,a% B8̄C}񪱊hsb<&⠳?-18 &EXS.JA*q)®GJIhYCa7¾XӈgC |1gi6CyS1.,'I ~ Tw("FB}uܭl2 t 6(AwbU=@.YS]-ë8 I `*?W# ?fBzdiiB@ԅA3ؤer%CoZyPȖ!}wÌJs.>" Hq ʽO\}^1c UGO5'%)y_{GuS@)ZZ,Ȼ[Z(Sgg#p7(Ոk" ~=o+G(HDE}glp?Cѓ6(^ٵ.kCW̞M932α@4C՝t"a;.p+$h.I:iGo$Z߲bjkŊBҿQ%tZ+>bluU7E_*?x.2 :rq koA pSA\Xa2 ֻ.Q8@5?xbYAYZ ;+!]*@`:%)q!#"mN㬡A~p3H}IC٦P.kD'1Q:QjHdԮYKau;C*J>`l[5v׹.ۘ}j!1\lg"1;';p8M=zS2Z+b՗\SέxNN˵_[1o,p-}'5οDqGմ+ھqj&BjQ_ ѻaJ}Սn2+YQMG3E3!:cfv1id :k ъZҎ7u&Qaih^g8RxUi1<}!Ki#;jv~eګ%363/`3 \ 9 Rp S(z' <9,[s2NVs%wz,Gat苬UYvv!&˸P'$@W|-4oۅk}6N :e5Z31/,*a|S 7G";жL 2;ukU ysʦ>B6u8/uB=Rc[԰?)U#u:BȤ>P,CY :[F@WrUECo򁝏"f ERg۳ |I\5rJQ3,DBɐ^3]q(C`]vBGz`¹tÄ*H j.ڪ6nW[/?іW`PiQ~eH9d5=CGqy8@_E6̖_C (|#;ⱧjgZbXsWO9O{LCMа|[Di6!sد[lD&agR8Q% HGH-=vr?jۑRTO3E 0&=x3bS*jGo^e~8IrP6/q7ZQ0쩌HXMO{oEAb-74Pַ>,dD P狎J~<$iG8o<ܫ}upW.*[JDLZ~dk"zurpa,2Upy;~0yr=X`O$lBvҁ`*;AZP}Q.Ǩ<pJ;zFǵ^qkC OX u #-n\r~\](rUB`=pjNn1c28}9J(yOi]=}N t&5E@>/ ? u|M֭8Ζ j^ Y0PL3S`H[ Z { St)D?cU5d5δó*ے#HhhMoq(G20uogybG~ LD]YW*22E_6.Ch.M/ LK,MKs>lb0ٷN5{{m/>W*|mx$9Qu9MgYZ ? % LLTLLTL.LTLdocument.tex7zXZִF! :]A-MՋhvG"uIBm5tqr?Dy8o:sYd%TQ.==Ws\jzY[t{)7fLIOz+T JlVj+`4v\X9)zlxc/d-. ǣ 5A9 :݆ʲ,ķnk { }鈺5F13X /'-w5d[f5s?FVX7mܵ" *f& ]r$_8 _R@[U h".09x]n//P :c" \_|umOx,fx̧)(|Y+d4Uo̓Z \i&·& Z(u]|J+xH ʅtIDxOy|t_,(hѦ z M{ v蹖ׄ7V;^9~ae1@ǿF,>(0+KauS;ML}Ρ>>o4 ѻ#ai|s?s ;-LE8y~C̪KH}i21vAxDwF@5Jfg3pq?޵U/& G n9\?.{jn pN_:jʒ厽mxGʹyxsnX0Nt2\T+(,%dWO<;C,1Dvg0!7@!Հ(+gxy4#A[n9]1d ow +jipCўzX[J -BJfҜbh(8ÝcSNǣ0"mB[&mV 11l$^Z:lC>T&~BnhVA4"b&}Ǥ 7(Sh :uKâYꋖ>FE%1)!nx |Z" X H4yG7ГwJS ɕ(d{OΠidE}Kɦ@֍! vn/-ψ~ ͎T7|Q4%r}>ݭ6(YS0hAFedY)J3pM\cƠ@rGqהtZ_%r7D9- pND?J)H1ŦCM"5z Ryd:ڬ7) NF=O*)"Ƭro}rYj4vTJ_G~9H*sU@R#5;#y׳Mcy+H!1v ˶Xq BҰS?2[;RdCtQvyG+\;~I,9n#J\XiLbY{[oS$yA9(.:3k-Cx' ;|naObD0 ,$ѹi(0u͑R2UxW6`,J[uײc 8hɷg3 M9]8KfWTXm~]e1?~0,JwU+h= +Rh@!"}DB7`n­HB wǬ(&ex`(WC4Q\dUfxx@ .KhLǼ_T;ְO B=LE][_z~Pp`,Z'Kʰ0o;65y*SMs:'20)2FY/sed۴{5-?E d(?JmFJ3s߭ ÇY Bb[|ΘJ_]^0qVER8Ό;X8"(SRx!P5! ea)v:5D[뮇r@%0gwFx>YK&Kq_s"8B8?iYMh)M^ㅰ罴QtH'Ӆͭ`@Hʠ+ILi!]_k!h}@>jIrNݎVs^2i 9=£;;3k3DGu|;d;MenTIm+Z C ӰA а1nD ͭyt}p?*9ؚ8Ԥ ;fMCbJ`uÅjɉXc&w"|uA롤ExDx{pY `$"jgiF߳Vw7x0ۀd'&?xBvPbK@J*^q0#1J$$^|d7I&{GF.%2Q 7 w=|XF+=2~VyHt9E$c $]JnrB"^i"O3?@#E/PNZYotzuaPwХK"9wqS̸l\kNЏ:b3A62>BHx,§ڐ ゗t|#_( ٺ^ha#{b)]Z;%>PDnK-:R*;;FMyV,Û:H Դy#KH:1|.EfC{$>: U T A[Uڌ*ȗ4J<Oc"20ML+/N dz((vIBHs .lݤL`o@w$JR9grr,AH8c3rHTn9"EC}kѢk%ΪM*^L1οfǛГx|cBO(=g">OtN\EӘ FNoac9&̸4!Ϳ޿#:"/z-m$O@2#MمȇR`>g%&PEszFyJ>\$&a5?u7{Ѣ%BrնM妐`60NZ;ս+^:S=oLIuKhs1E쀙TaVu{t`I4j Ͼp .C@Ț՜0'mks|^ +( ~ݹ < Cy/[ rD_vOAȰ0 w` `wY+c*S (/:Ҷ/|bJag!SVT/ Ifntn@N\>\󀃇* $;R=_qm3?zO}xs4`OhiIy겐AZ}uZɍIvŌ7& ote#+8Wʐ~Va K4dk 'C`O— muĉzR\޾ E͒ŷ℗ lEgPq-*2OA ;}}yo VSo,>k6xO/|d_rᔁS~,r. 6@eWP$^t.V$xsogZݽNv&TZԱ:q3)6+A!VU)# e ,dHV- qGɩLԩc{#"AguA#I+w <$`q< >}7ՋIt*)1R#$*iz W۷ҡ>b6kQ{"a+4@z>TwG,Cm5g~㙢t^w6ͼbU.(z_H&E}@r!޲P1MX\bgbfzynT^{Qkɓ=7FkKؚ;|?qؕ|W( wUE2L rʶRهø^;Je3`Q6vXwY$?5$f]9Ív{qZ8;#ۼ Me6!)½{z老gYKbbul;9UDX@=kwffS[`!?Fók46N,uB] 0Dq:4ܫ9 ,H&.|zQgrqZ]ˏx }fr$ۨͳ;t|:&QSݚ{qnRJcȢ_[1[{nPt§[ki\_XlnC6A颫#5gUD? "?Y>&e^w|YB~9leUw|2o?J-G& ­O6(6Y]=R @cDFȪfFKFSr22tWww~ңTm5K$5ZGA%oO#[ɸ0SNdt"Q3 Un2S2]Y[mR$߬;VL%Le@WJ\mkՙxI0J:R,D.S B)"gZY=#l?nBbXTG3 .`X@=:4tAIOaj+4,NtNl5oZCZG0cբ#T+TzGs 34Då(g|/œ-6w8s23tNN%)h=$ |Hb|BZc3ܫkqk)jD6eX!/G YvRE5qAD+l\c!V⩽7;Om&N[X*$oGjSR.J}ќɬ?F]vLںbTR LtHiOT1YE:]q·ps"_UA;ytV9a)#{Tx_,eO!*0Oa2/72 %uD%m,H0CCȯVed_A$PzB2"#å98~3}u &QD ֬LSZ <`=oR7D8_w3OG;.y&/,vYGvV}M#OH5O ۉ RG{RZ5Qkby kǫi^!M+>̺)|?Po9j[?*Sqv^b_=r{a.$`0J öO"7ִ{I\kO,S34R L^[njؙjw_qiCmyAjU R<%'=0Sfw8,?r4Cɏ d_T@[Tt8p=k_Los&& !vJNŚ=ʡZn[1ېpT<6$fKᆵXBq d~+v+DsI0t~\iM;`'d3 srLkCݚdBk9B[=ou[Y-+jt8V쪦PFH_B1gGC HTY`vkj(h1Keèz@D=&!3RY=XFG'̷6?Aniuқ'3|ǧAI#A2{1D?ă8ܙS\RLb&00晻 `$ ezsXD5| L7 cIU*_KX}+D Z jTW}OTqyM#l*jKȥe1p},!&S qigݕ"zN@<\ %d#0Xnx*:m؈Ab})_~D ah$L A!64{I(jF6S OqYJM&ظe;Լkbe922MjD!pPsQsFK5?b﷒L2ݺvhfwä+Nj2`+y=;KPPt ^XS6w79#oW/ٟou#I X(B|oEVfhY -N nv1ؐ×iS {^]p@N4u\P6e"0IKL߮Ff_jmRUI2˨ѺAPC}9;皘!f0SLMa]c% &ew+KxVm ӜZ2wg"5oHӵJs'{9UE! b}uKmte|{Q=۬p^i䒾T8lx^2ģڸCA9ḺXqxGZ_z=a*MirMRn*{"#⏤u@fKoY4*SHX4UU{1%H;j;yC2z'7bt{?@U5$9$PeZ/-A1 jd{Y7V ;D C71YtnÿQ7KߩpxӵY^tK ag)P4ߕZLSAuˎ~8&1aŦ۷t<~X46[nh 2sluT(7g"~ۗ 'Vi_\[ho/LhIg;NkX/ B"gҚFMwz7]jĚc#i`eG}ssqfTJ*\f-| 5U";pyNyVy } .lb EF u!NlU'KoŭuP:HOnLD@X-Ƌ+]jma {P\"}RP`?G?XЌ?eJ:4 k"G[¥jTλhiZ&[WSL"1s;Jdtj\2Q -f%1}30"}$&^ꭅʀ:Y9$yaPHU}\(ՀԠxiIE7!= 6.>cm?`V8$iIxda}k3VrMM4q.ܤ`~t.8XQ db,a$T0"?pC! #i\blY~Fd*XF@g6*H(|l:@19Ӭ>AssgA/յb'f_3BTaT" HfB?}FCF D˖>R6`chTf[ Taf]w5SSP+@agE)-"`Pp$e<f79UBj8)HȶOHbZAAH FY?rM\EG^>?]>e5K:TCK1#׈^XNpԈrxq*ZŚj+(|↑}vk<sm᳖EDq&pT4jA{h-gA*U|]aBES6sNʔHC UP; LuX7͚mX$st&}Ǽ1bU MO*o>mGKRֳʼlaͣodpN.pq />I X,oFsrjף`/io j vҵPB`$_+:If\1 nBɻ@/ nƙ?gƋ-nwvޫ9 d~s,K&wGȨ hyk9>X.v[kUBGbp_oc;q)7\0bA2{WtN ( {A\Bӌ+ȩy|1Mh[Iޱ{Wt'k+vSDJr4 M3AXԆ^\jõ7sj \PLS!hpBTIR -lnN~u- +hp+/ i }i_U }+? ZU" η,3w)3پ.RҀ[/^nZIIr Ǵ\,Rzv>qhdgvH PN&~Fr̀EW[ B G6`mI.HȿE FfIe 1h-+]=2A[+g=N NfDFN/D'Pޮe0є"nȝVVIAxcTLn"yփHZl&IPBs$ $Q"-D| {3ݮ9<%\_T zۅrZs:xN)59~gUnz%Hr-xU%M}cIkS.G* 0 qgp4֞,Kc$濷r/|śNE͑WZF7G Y =%ŷ|ͽ U l؋9Ƹg<} Zn~Q!00#~rg]i tѵ^;7VgrSOGL\ @7 NLFȦ.\b!r } t}%arxΔ jx#@)R/f9{ظ !W'<'_SJ>u Kr+Odyiczvāb-.nWi!:eVb (w̬"H +^VT9[uj}Č5fDV|wC6y_iym=oHh#h]<.=F͒{ʦ ]cʢ\hvV~ݡXPxp]VGH@ t."^il̅@?x^wPG͍U#78Χ_O,HT"WzЛe& %s\$FB{`,AVzƜxs3+pq^`ΓL,uxk?Dk+--%(C|?*Zܕ G`r$N7~HudžYC87d7϶}*qHNWG>7֪xFtEh=H6D-Edx 3PHSb={ȁ-0;#8f]cBEl²_j7dB3»}>KOfos֭{K56Ap頣dҭA( P/[ȋD9|cmPdg=R-O?9rU?İ|3ZFS8؃1L<_f.6%.0*m3ƥu<ǧ?D16 I~ f@SL 7ܑF8#"Dǫ*hB+}?b,kpHxI:Pj8f~߰8ǂqU]>pװ24 NԴ7qt[ZK8tփPsq?H(2@xZu_6gxXq<w٭xS鸶d=Z9 u~_hDYuh滛s-Kq{sNOJ7 2]$) k;9>i$VlgQFS#:*J ;; 7;1۸2hs˳DA\%jɫI$X. Pnٔ7:?t?Y'\ژ]w 08CLJ^w:*4m:J"莘h4=bd ` '{1v8j+ EsƂ!^+ `kG`6M/Tܒ-U2_UbͲ";-LisX] y%k=-UWsgw=Tyªr9ثEI?1#fԀro5j?_z yn>ʪGĜeOlX~q">rӁ6M~uΑ_k{gx_50̸ů|[a4v `hђJ7XJM=6I<ӹ)eǺ?+# }7^^ Ѽ.M0+("(fhaMߍ>(r~;%_܄)߽ ԞtQߡJi,U!1U^3Ӽ%{IKK|͖&q)"'YALIZ[jJm#…:Nk(@b6bC:7T<!z1(XOs+~*`(Qp;8oޯu ʺw?1G#GOP#W%Fv! 7ͩ#zNkzQZ{y ȇCS V6 [5æ@6[)=e2]#GɍHHb&q|tíg.Af%H#"c tna*33%Ԋh_:B]o_N__.XŅ)Sa.pg ^BcϕԤy;XZlngb`ŋUIrQXĂ [ = 6wY$ɸ98.DX2G:AlƏJ'JUH,a bicKI4 l "2&#"sCN0JvS+#(JT-Nc֗B.[c0z{rSF2uF1[x`mM+üx=r D7 ` '8f)Y(<0bAoHXBv _ E mq/gWv 852^p~󛇕İV|Kȍ+&RA$q{YAA3hN86# ^B Y?CfAI1>|,t TzW l߹%dLA-~36)囗.1!?dm (偅# G|Id}tg1a|3Y!Og:r/2>pR¹E,f-ĵ &ȣ UD;# Cg F4[` (ۆn,J* F2]jro_;!0dѡ/gM564R1!X `Wm~U(3@!EdY SbO$J`Ƙ o&{&Dy Tg"7+ l}Ld~ٲ<Mt{ph%9v_̥ʗcu¹WP1Q*X Q,WoCpࡇ'n_S.QzǍH˘MhGoț$܁"@ Y2a#["ʛ0>2yCo4!|DzHyu0ks^$ˣ .[d* 2b~leH2c Ya!WWx +yX 4[b4.MgQ9E cQ/_rF<1^( WaI+ɔP\y*F)Z!K\$uݶ_Ƙ@R]Hk}fLN=a9ׂF>RDZ-zh{X`Yey6Ie*ハ OƐEg慝"b-a߷UH51JKV쮘6|.J /N.8RaP̠UIQ!p%:c[G 3O[ @)__A 6EQ8TTpo]uv,, )l1\|[](hbQ.mZ O@r cM߿賆ra"R/!VA].}_k-xs-tb +TD.`j:䐼+1\2es@g!\,:M快-OY|Jv_@7[~\Mg +}:][Zy61dm%(萹ڢ_0b ( i{1m~ gNedqL}KjǙ{Tߧѧ;E.=Hl&*?{oIb(31iti_d7fݾy3닏^hP,ԑs3mֱMf~$|y6к_ݢtYi.FhU)d4%m|Bqj(WnČ'VmH:#EKp9׽9㈾T"<`G{ed"U$$0E48|(:ӫ#rΪ^@ECnU|Ry՘F nOSF}oe;yDgN Q [ <8}}YꐱVʵ^F2*?Ta3N0gC0* a1ӲCewZqe;&a_0? ٗB߀gy6߹UxaQM9[2ѫfn[9Q,os ՟lSȤkL1~>~5CZY :@ꗐƬK[`p{L{Iz^9giv՛;Zq=UXP}FR/bvPStcp]$֠MpƱu%ev}bmR(6eX/_tDX$F2Uu=JiM@C uvPnۜGo-ϖ{+xy,ST3+eޱʱT݀;rB#˛:!K[tN;CբqF*M ZBqBe y.30^? [f` >x &Ƅg%~1+w#M,g#P <_a'k?7`/z 'W2 U5hYN g;V|FNwA) _-Z%FZl'仝V@W w/\=XXQ陔fd vRg_b:(X^3ꤽN;9UPWl,u!cF?%e)Osޣh˨s?&.rګ/*s{<]i5 ^nRm)Dܵ}l4iՋn0{Pu=0CbuOŠc5YVAY"Q%N(u^h\?~B,ʼjHÚʝ+.;tv^>Ra}D[!*C;"4x.0?젓>!6?|o\R>۷uygb/X܎%Hf9ǂȲ(HĸS@z1jW@w. Pu9MX!F;O+lW>y[o,ʺp8/MnO/XA _I(Ff.G196zDOeb* 9vdP֑PVn$ql>"ʩ;Cc^BMJkymAljCӍ,WcβZ?mᡚl^~ `UCVa龉˷ |ƁN&mo +Pe7SXV=Cײ wiv%* + YF?%uNLju4`D+}O`%$u@B{_W\)ݤBRSiGT@kŝ!MOU|^Z/+}aZTabR ˘KY/l Jg ArC['87ph}}DbXn){E)uq.B<&_^5XUסb}U l cILڼ>z!KeEW8q.SOل m &]dL/x ({L{6קF{\6Ne4+E C*SW۝}$'Vi*W/+CFsLLhaIwfFڰ0T;pΠcz*YXˈ>o 'uF(IPWt Fz#YBg lܜ[w҇My[PbfoPc`CF$EH[Ӣrh$. 74If& 42Onw*We W@̸_ :o 3qpcr[tE(O}7E nKO<ը!Y|JZX3UtƬyBG+/s|R;Oj21jxh`Ui>sˢ/T{dKѕy%yvLrOӕc͈" |yhU ?\,(s}#9Ph&L=BB f`w i̖μu#ѦB~|iQuNyt[9w:0Gb-GHv34I$+fz,Ag3zstۣ+41_N/@/]^1|p!{PC#/O㟿Z=- Փ|bIe3S*V!$`;T$WMa1pݣCE A^TKgbMQ)*P!2ҏ2zܺ4Ț]f$-MNDe";Lτ̶k!0QDfŴ](=]ӞPB[=+╫$z'rmkqx+4y5RsB9W$g?>b 4(0Ѡ6:ܗ o<98Mx?rZ U.B & qI+N)N`=fL 7nׯd]v‚TBE oCt匐PfN CҵByN&g▱YǞExR J8Yn-Yoj9$J"5S 1ahqx@4aRR=0SX]{)N\!LLӦf8074wB#KĭcKī1H.Pܙy  VVjDt$J@޹İ01mG&N#5ܥgo  vUa 鎳Ձ!\8T~fdq咚XRKMXb c^lu"r,1F>7_6ËQfg+DW`\{XO Vk{s1Lr73*= 扸M$e׭YJ.!s\1̡Fz^7ɩӶ/|3-ߟptRkh$gƇ =zOYq1(ZQ>5[,:YàlDDa=dF>_.@ELJBJ=Jo@M]Ӽ 2t+  "#.H,-[SUQbeOuQ1,o5u/rXA$J3Ps4*_$vj&9.W\KF^#n<(De$P8O"[nsU-I4Ҿ^֭ыS%;66>R6'05a ;-~Q!cjKZ *IԦ4%WR{i YF xJBr0V]kz1uytkeN79rW˖NF**Gt)]Sdw76UBЈ>bhECDc;<< uTwHxX4& :J-GFHZ`4֮'M~fA-lSIgʑ,v%= SFC7@IoEhhږϤŝk ļ@IT1P՗gݾf(ʦ]kH^%08%G&L%VņT*9Qci%U٤'!*?Cwk,qTHdn_`adv0h#(z:d2N ~i-2g@qkFޠ 6׿HI $=͗n turO{.jg!EA;Ht>F5N)$+7=? ;=xmmGv%C>CfS㌩Qڑ5mƫQOOuD@k'>ZK}oLMپ \46{PA3u;`GhB; aLrv۝oveA8v޴N]g35u?:Q>K)Ξ{Tk uDFP@⽊XG/.7T , "RݨUQWMtTfے3 :=RǠ? N{!1+!`l!PSۂ, yRE$eZLnjes״]88-9*PaݦHq:ٶP[Hi ӫ)ЏB?`.ϫFj=;}Oj3)w*+Eexʺ;흌/{%gYZ b {% 4LTLBoolean_Expression_Checkers.Boolean_Expression_Checkersdocument.tex7zXZִF! x]A-MՋhvG"uIBm5I V +AC S |ٰ]FH5`W4nW9!HyZovB5]+}}"Q9/>4C!āx 3jS]/ߛr42Kysh3x&bŌ- 5Q6[z*K_@0]lM../t8*pǘiܷM@M{s@hrl9 &G"p>5v!99J.ѧ{_zsVpB% Ӵ¤p}_~tXDB~L6jmmd1rtE.} CL|M)~BɝNyOZeL41Vx⛮&4ӦXkjP7 ȮGЮan֋w:sgIqT]3A 3ƊVy7Rq@&Q21 א[F_*$m9}I `6cD1|&8}R+kR?+Ϟ =JirH׳mzq+biϫ|oīkΙ[-V'gLT$ܠbz1iL7I5$M9`[*l+=dXx?>zW4XB51%\0lLYyPwjB6r4>m?rP0BAֽ:gtfg1Mt{'?)yLČ_⋱jS}^i\Z9~ePYT#8Y@AB`Ԑ7i%y O:5T7_l <D^969z 񟋻|?ݱřmETݦ &tkda1}ZGum}:yC 3;}D8EfԚ s.9/y8:Y*@\;o4?(yoFU +wTX][FЅu9|mXiVϕdm4WơKN/dĉ7R]ѵ3Z:'UHT}kaİU|ݹ0r؏c3lD-wz+=8b}O%N4?dFC{yDW0;qNqgnqH^d!-.y*D^VTBZo u:փ=͋/-Bշ[6~2de(Jcw𒯬"w̏T2+hJkzjIf[_8YF R`[QK`߫bV 4S8:xSvw_Cj" yED N|iQ5jYr,T6" cnΜ1t>9. s-r7x; LNAʜc0O_i(̒cs /*p c9 wG5h[(glZ2sa:_}){b&o\6Jr6װ,[OFܨ~vz22m~kT~&.Ytpc1RG"&!*;PY{;8ttojn>oz3aCe_v{dCI} u*5alPzRb`%yPK86>UCnb#S.IcF̦tRf[>ek7(Xj9q[N ^uturSv#~Y0,v4^5b2nKT GlmVcG+nGTL˾kأ*#Vȡkuwn!lc ={y(sg{1Lmh9N<*N]#PMvzr?kYY]W V 9VSbr\ V7vom؛7vҽIY7s^@QXO & BWX3(J.a(LcAb!Ւ|h5%ýbC/hL-;46i5wg|A/aߢ86Mb{txA\ E])2j|Ib|7_jG#,YgRA{n. ii`Ÿjlv(.qtq=o-RZTk^dnSXH []~ ƸEQf]gYZ7zXZִF! ]ŗXi%D62x28XAO6yz7v&||tZȍw5H**BG;YZз'QQ4""żkyaW"?);PDKc:X*Bߌ, 5Rۢ4۩V]dw+wT:i∨prytښGw~3kA!="cYwc#@T${vtI6xt{6a=s%||oedf`ӗ;.QIdGwE@0,̈6o_Uxܐ_ =E8݊! ByfI9}0~%#l:WĘ׳KMΉԥ k}G3tCz۩ /Brժ<_Q3Vm8Pl5 nw 7@QU"}!/ Ez`n40 .8E_r<=G3YVu$ {[Gm.d^a褲|+Y499v9<},f]Ί~SjŽ wGiǁf̀v&cnPua(E*/yl>\>O!l:j q7Q)u0Z .liY`n!g{x~uPDM*㾯׌'ՌQ(Nx=e`^S?]FYYw5;GUjֆe>te6JKv{3|]zWCcs}YKuM.f(H2%3Þt,V Mx"Wh~t¢ҵYdܔEDtCLm njJ0A4$-51+0GDRE^/$#:RсLQT?91:/ߔQҡs?4Fv-Ժz-Rs:Su!@~ukn] ޴J@E@ |] Kޝ?8Kji\~{MgȨYDs[MD~a~ri?MN)#_.mꈩ !$0}y8qm-Jq6Tc 5µ|cїY~'eo#qȕ$Cl%7X xCZ !.B?nvR8Xx:}{8UMV)wɝc XHr.b?[(;$d|]bJ #A#`: S2|̨b`QAY].~4ȶ!"C²lxa0UuvpC@e6B6nţEV>%ŝCK0Ufs媌JCՔ_U{S ,`2VTw GnO~lq7J~;넆 De'ʐ35q2Z=MtպA=m3.Ÿ|XQL YؽeJ?[5SksobMOS[UgCEϏI57ϕ>rF}X,$"e"={)b]O60flBV0JT8k.O{vzZP~?՜Iy<_ܢ h8eM+ j(֘:@hn:K C>t4A^w {3JY .yVB|ͭ!@kJ=J< R()GY*ĉ]ޑc63 75C}'֢dmPH| Hm{9xÊ5 쥠TS/4A xж n8ȱڤD@g$C(rdqm-Jw;6*)AO,h :=SuL7 n:A GiΘF$ sU3b4//K-@W퉗Yo:(ȝAN^!C_XJ.hR=&PnH'5܏x6ps#Wb@%dH.yaz;9]:oeXH!U*o+\}֐+TXRvr*Ճejʩ\3^L3)骃9 [g*2gPY-0Ws_ Ǡ8dzjϼEngp~݅֍Sa&JCiV2 |C:RH&=c:)Fw]7]8;+*נ!?|_ #]P8-}_QFWcQ#'kNeAk=#-d,T@G9[lbiB-Յi O]"kY|r*N3XЅ @ =η%jٱ N[7n2I?@N_X ̇gGk+y;(IRi=  !?GhDvOEǶONo wU*Ni^|ﳓ3IL.7c56 RHƠj*dCӗOTaTJW5v7+|ڲ-_`0~su|kjBjvO8Yu.K8m?}hĕ'RY!$Ğ : V#*)t7?D2CߞE*A3Z}z= (!GS J>B ͼ+v+8mErbsG="ҡ,meE#pmesy8'!abQ8Io<"u~VŶvk?iţRk'hcNdMuϑ{ ($K[֛Ʉ5_BGbIICCS-l"QhLz}<\vC#eӓۈsFXx AO7MHx pVaZ70 TBe| @m `ދ ;l= 㻴C,ak-Dn 촶cƴ#Yqfc/աkο'.^xf-nK4E#s9xS66ـ7OC);l G.DQt3<Ȳ.%͸M*Rd(47c>S/,7sZ9<:d d k-#K+flVZI"MF*q<#M=@.N5Kvn'm^#˔h&h=azLmsHh~p{ts{#01.λ +GƱ?TXu#>nv xk>P#ҼDm=pKeck|G WhR(3x;iȺQ`mt1AYRhuFpp#*s=lkSWt'лiidNIFo—GYbe^Zy "҂^w~7Kp- Lgi]g'iX&$>[U}T5:g+iZB1b^[HRŌJ}_@9;r.n7 ppґA!j|;v5ҟ{n/\iiВ! 0nG,1[@Qϡ \Ub2{ M1ǿH~}^VfaS]9r[ω<ų| GLVc-Z3r +([UDxoCkyjZ-ʼhΣJ4R O21=+r,f"',Z:f;Sohnp^0+"Lj`^'$؉jr2H1BM|4&xI.v101*`l 5eEchD(iTʓ{˲  Qjz%)jV`&J|xgx"yI|)5e|RT|=brm:tc9Ѷ덨t% qj i ~G 6*,~B')BuJ2J}ݷ/J_T) h.!N-l0oHQ!Vz# wopM*M^Sl6l}5P@hP@uiX9>2cQo|U &J)ia3vժ/<.s-+/ur=2ڧU޵6*H(^nE] {<܎@n_BIѣe6b/7y 7N^TuY,jN`#qa, e / G7{b LxN«- -+RQ C+% #@r(mqDŽ9o/RF_*HrX{7V:ZQ 'ؚ"fs62 b 敠7\͕ukU yɅ=dM2#d,w֍