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  k7vD4\ ]/ BytecodeLogicJmlTypes:threads=4elapsed=72.909cpu=182.716gc=4.8527zXZִF!  ]ŗXiɟO}M:; AuՂY溊;݀SCoa% 8 ,?R,7Q̜V2g9N8s\j$}LR ST%`Jɞ̛ c S~K# >;>kj/Urv; O46gyUCU/_҆7|'}5Vج4zOVfvMψ" 2kFe=QEM͢8C l!ۖWe~3^}N罃΍@ MT hbi)]&0Tuj:>ty E""nDC?@rwH\[&JhpRv|teYhi/F%uGS\)e6̉|M08Qk[WfdRz&6KSOV?<#8UWSwlDY6F)lc0&‘='rd81 ǯOg+S0rŽ8J& ƯIO͓]\QB3$0Di;x㰯\VeVW8/<8,V63ى%$icUF=5C%'Nn4Og ÂiFb%Ta 7 BytecodeLogicJmlTypes O7I% BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Languagedocument.tex7zXZִF! W]A-MՋhvG"uIBm5^mN:Eܹ{Q1N+0fdϔ>Pľkt;*uFl8(Ds'Y/4Њ=.f'2OC.-eK 1ї)Qښ?hs10M~\<6U` ?~ (a%J51^ZD(SF)ӓXFwNz÷C!NGfxSE(w?u6Is?dK= sG7Iɫ g fQe44Ջ-<.߄+M+\ d,(4S~- e/6GwŔHgOlX?ؗ-Ŭ9~DOAPY'hq+G-I\AU<}߮AGrp/rQ2Q%j=#Ys/j (-ٞ0Lv/ĵ'## ogdKQ,A]A&Ӛ1Gl|DϽg nj znB r;Y/̘[u9' !?BޣIlQEBZsv_Fް )zD(wA~6O`(+-)UV60^@a@Ygf6Z=g7~rdfv`) K-Pב [ݤ{b! jVm.>( utC J}H*MQtD½U%8iGAA%W@;Nh5GXlB_؉hDNnYA&RȠfi`[Ǫ^x`$}fc} lkFK{WsP@]̢@@r^M@4bĦZ:_c$'g9Ӯ9qЙ ]S@k5pDO%#[mm$f,$- DM4͜87N!^.sTrCNe +{4A~jأuM.W>u4j j+s5Uj ;qi k686͂^4 %[pZ`\RNB3Im,2.ΰ^} drYœ+%/8ҏL6,È:~/rBc f0li mt_c㿮:IJ `8+MM;s^0 Z$-/\k QX$Ŭӿ$/CbZ+Cͺ}K&E6|DҹCbĻdK4.8њ9f {~a՘~!-#ZӼN{P5e+Hvc /xn=YϡQ2 Ǘ3l$-@0dxBY[qߊ&G=Ïp(_:"HVvJFO.WAJE=F7Hs$1[<1H׼[\-rl 1\< %ؔ!dLe{  0x\D7G%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Cacheradocument.texB7C%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Sounddocument.texF7K%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.MultiStepdocument.texI7Q%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Reachabilitydocument.texG7M%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.AssocListsdocument.texE7I%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Languagedocument.texA7C% BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Logicdocument.texB=rhouҍ1#HrBr_t"gNXۿ+猖^_55i[JU8TgRر%hՉHzG$@*?5Un^;.5ld4PͶqX?+vKcA dA+ |B(%`Ur,wX[#+Ӯ`_Ul^IĸJٜNnt̷|65#[Z4IaQ9R \a#F]8ZVTH+?d&4n-1_栍Dc%s>ޜ0b*iƳLqC]\Å~$Vd1I+_{ߏ "{I+qZ;9q^6TJa5sL0ESe`g[.7nܱgd%&I"ZtT=|ms߿P&V7gr$An2̛ z)z&Ff8I۴½oU2ߗ+؇ DC<9Ž j5su7-)k֮].FZB~PͷR,=%(9$??"^c\;ZpsA9O6BZ:_2S_OcidFXtN@~#DM^\v:UA*4l95@w1Gw.Fh^BDZ2%NL{=5atH|qu~T`H<|⚭>}𰬺@b`mZ+*؛jgڪ(:02s୶ؓ{U2|=p6=+y7̂ k8 yXX.QpHsQe;J[2fSLuzļ{wcPaǸ2Q-ˊ( Qs5-j.g X(4mH( 8P]77 ؇xYWF WL{BA;-0(*y1D\P*C )h#;)߽g$MyX1)AbN 9ec` _^yRMB-7Vcҧz5qHO[ߜq[픎I~b5=IVmc3^ㆵj>DWou.IuP~q܇_VbITa !tc \skCgusܔgdS* D}D&`:ս^}-YpcC|`^lt%xf(n =hۙl>Ȝg"nmf멨|X}_@pgO{trz*8il@0HG5kq(vH;B%MN̻CGEp> azg U҄e: q6s \v_О*[w~/ ?A4-/;;I7Z%TRvy6FRn'QH~@KMY*y^\5[W,\<n/SFi$.^Lzܴ7뿟3Rj-DY7fQWb)CUG3Ԕ3R6]! R"I~a[d*Gd=)C(q*}^3Ymi2#ZF+Rj@G})С sryw0"## pPicƐD/+=,}CBسus@2J}VʺB7;AbGRU&u]ʖ[VFyW)(drC@]Ǐ5!oeVȒD?;FdBvw-Bj13=uX7'_ZM[2> Po[0{o ,<[o.u VK6&@ʮQ,ga3HkBxwW`Hb R**ӛhFq,bxd/uQ?#yZR~hf"Hm2"͜S)ÃiDԞ6u*̖ isqˆT4ؒor:lWR658 gn93 aRz!f8{7=\u~EP8b-< haF{RP эGfs@g&CUMх3n"YF5|©D(z*{JB9!c4-s[qaDZ -l^"C'|~Ra9 \Sb"Q]2(#?{ }lΡ߆/:Zɗ|CZzSi >ڠ<=GEk40«Tu_Z5W8FcWkeLK=}~' ն1 cul1hM`TUԽN휀QtޛHÎPB ?57GVpvOôޠl*Wq߱󕝶Ոܾv!iYzjKn޺ oy=qCZs#y_fkVg$F"E>vvҺbyUx"f?i}[ܪQ^OYc- .J[;Hܤ*Ɇ>L<QtZa.exT*Q!=~QHؿ I,ʖ$zp/x<NLHo('GtRa… ( wp196Z\Oo[WS~=_ aE}AUDFrGc[ +ckRZ#0E̢Q"2^)*vx`femֻR/O?BD10eLOkd &CqFNsפls٫In}ȩD\cT(ufk.Iq a®Y"-1[>̚"3V Pii"#z{F?eElJDeGmk6"s?XҖoi'm/=ڐks rl yO0Ң(?WTE̓aeWDADz6}ĶJaF$([ꜷkZ5W92b{JS6֧11߽^һATӀTŸ+Q+"@.i ?{=/6wJ@#%NһX;=1)K6΋^NT keyO#iEGZC*'d%\-EorP}btVZĽxN7k oyq ͕t`0hTAe Y*u +9<69f;Y9䬠0eN_L?p9{K)NYPC/m$}Gb:@]dfWS e }&2^0s#.|/C&ov I^VL송|1[V UOXd"* .; l_sr>\cF]بvA>]>A|u Cbx{0B;*4Է>ⱛaƬ/@ZKq]d/OvHG3n UMD"{̠%%4ΥL?kFPEgnar2:kWM]RTTD|eUv >zM#W⛲jWQO yy9ej]W`ie1 9OVy_TNؙmd޵o]YmC3n/WE0XSUhn!)t(ⅴ&CIT 4=>U)d( gݍ>pe\ON Uɐ{)s Ѕr"笃 h9V%#}[)Wӎn}ǽjWH$*ݠI "]2 Wˮo*?(^wXw+%`{#W-5j{/ie8cKK+*=7lYh+d"+ 5nX'%3_Oj%YL-*YJꍘ.5 [2;:" PYV%OHΰ( mv%aS=;Qaq:t%2E6֙][#:??_xV6S-'=>U op鑢@*3 @ " cʡY Ҙ&8!y{n}4IU㤮3$Gw 9\#5wxcL^;.tL0~Mj͡NtMx͘Q,\~y ՆƝE60 J"T33SAK*sFsPVV/By)xߪ7cF7\nca-٠%F)X?.^Us"R~M͋cWi7Y#MeDƵ 锭EӚbvi#Ƥ!=б]{U_ 'DYmTd}ђgT3`c ?m=gN_ E^nv1ޢ}YGoNͷ8ܶ.:ro*ivc#"pvݘO E?q#Oޫŵ|0=M[H Mtʱ/A?ELKq;sTWwŤϡmXpLW?nW3ma >&Idj4ȕ$W$IpӤ뒣s=Fjzθ_~z޶Wqצ {dKI"S^MTvv`t\sͤ4 yXlv:@Q +WV H"`UZ{WD"z̢{=[[db^pgR:"0=GQs)<N2lϢWp4k®_;ZPGT$}oЇF+qUH;17k Eiy >K!NFrxOG|aa-+_w!8$h(O]šajf g SNM)rlTlANnJD{j^x#シi7YJ񘪾OyQlM nģLK< x˩R)vJ @+j @g2 @p=._z(<&G3,:JU}ĭ<-\}DPXlYPm':"r3x,Z--&:'gYZ O7I% BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Languagedocument.tex7zXZִF! W]A-MՋhvG"uIBm5^mN:Eܹ{Q1N+0fdϔ>Pľkt;*uFl8(Ds'Y/4Њ=.f'2OC.-eK 1ї)Qښ?hs10M~\<6U` ?~ (a%J51^ZD(SF)ӓXFwNz÷C!NGfxSE(w?u6Is?dK= sG7Iɫ g fQe44Ջ-<.߄+M+\ d,(4S~- e/6GwŔHgOlX?ؗ-Ŭ9~DOAPY'hq+G-I\AU<}߮AGrp/rQ2Q%j=#Ys/j (-ٞ0Lv/ĵ'## ogdKQ,A]A&Ӛ1Gl|DϽg nj znB r;Y/̘[u9' !?BޣIlQEBZsv_Fް )zD(wA~6O`(+-)UV60^@a@Ygf6Z=g7~rdfv`) K-Pב [ݤ{b! jVm.>( utC J}H*MQtD½U%8iGAA%W@;Nh5GXlB_؉hDNnYA&RȠfi`[Ǫ^x`$}fc} lkFK{WsP@]̢@@r^M@4bĦZ:_c$'g9Ӯ9qЙ ]S@k5pDO%#[mm$f,$- DM4͜87N!^.sTrCNe +{4A~jأuM.W>u4j j+s5Uj ;qi k686͂^4 %[pZ`\RNB3Im,2.ΰ^} drYœ+%/8ҏL6,È:~/rBc f0li mt_c㿮:IJ `8+MM;s^0 Z$-/\k QX$Ŭӿ$/CbZ+Cͺ}K&E6|DҹCbĻdK4.8њ9f {~a՘~!-#ZӼN{P5e+Hvc /xn=YϡQ2 Ǘ3l$-@0dxBY[qߊ&G=Ïp(_:"HVvJFO.WAJE=F7Hs$1[<1H׼[\-rl 1\< %ؔ!dLe{" JJ'7Q% DBytecodeLogicJmlTypesBytecodeLogicJmlTypes.Reachabilitydocument.tex7zXZִF! $g]A-MՋhvG"uIBm59EN[~/j֛h)>S'<ʾMmϴO&8fL.zi1N Ixxlf/zX$R~`h'iu5]>x|5Mj{E[3\fVplPZsbhky\xfLDZǥ3C8B׼]Y+/通QXer$CfLoø"e.p&¶R~?ʼnsEwRûּϦ=!4븠c9&m(Q Yjk GGsX1OkmZĀ- #8=5ꁀ5*0mkyBQi(x},m0㈜ӵԆmXa򍾞uUzƊ9Ϟvx8,ɭ+.܊nh E61uN'1M_v&}:痄>RKAf| KXH'JO)9>O'4r,N)PêЃҴ ʟ^jȮ=k*c$mr=3g3,61'b(afE<3mhi8a˹@6r?~1n7~8?W';L~Etb$7|vuv!(f_.[{Z"ӏu 9sl4tzLqs"f1҃dgFLٳhlB (ݕ=7qp(;ei".{"qF:JvVٺ~ fmQbU--G{Hg/f(!G:oBBߎ` "N ;L9\P1z*Z|&xIV ϾZ)߀x8u%Zu\%);4IF|j~qH2CΰX>s!I4vT8]h(2DCJc$T8Bpp"ś7(GCaEZ1#.)]&MI2yhQGS=Mó~ ú(?4Y =5ճ2ȅρV='I|B99DYIYƏoUdLJ#G͜%@u0vײo24$ؒl9E+ɮZ{ZԷ#iF(9Ԁ>d܉Su4IXTY̙!ELj->!:Ѩ ڮG"b< bw[o Qل!wUVZʥ}z⃙[S89c5UMަ@QvQ&%#VKHY7\/U6'.]?S{8N2iG[LtZ3ǭ8ɧJ'#O*ao̬ՇF`[p"5g5>-Ύp4.a2}a5Sy͔GdMc;jf ȽhZ-6%שBά]Mfx%,@v+CES[2qR 6ػhҨ F;.2:0۲IEܟԆ@$)m}Wb,v"=Rd>@>| f`K%OQCkQT3=TyGzF20 *BCEw||?i̛5_("#G Q::0br) "$z[$ISue]!Җ ݽe"҈ ԕHj6ȿSOIs fT|QD+DmH|&q" qa&9M:!]2>P ;;ы;c37ڢn."[]ZlNU4HwH9L-\r |e>8iSϠ"٨|>$E;]#; 5dK— m)JTZе|>_3kKpj=G̯ejT.ԛ3ӄ*o6KY+}?h9tWb 'Zyb6@x:*Rѩp.T`hyv"o5LSԿ#W;#)rҹ}4g x 6 #C%5e1uck;y{Xs&wxQ6 My5Oc .!C1\Y,csÒǺkn-"CoݮG2KNO7_lr_VO8WU=ɉ+cOAg~\ʫ9ԒUt{joiQKbJa͢t\]6T;[TM.2Ӄjù%#|{6ee-i> Ѓxg bӶ~?PU 14HC`,VD}9ImB!1 ^$=lEPԗbm'ARh7*R@!{1{ l,O<%' W:sgYZ  c 7G% DBytecodeLogicJmlTypesBytecodeLogicJmlTypes.Cacheradocument.tex7zXZִF! !]A-MՋhvG"uIBm5 ؞.bjRѕ˭۔cCP!΀{b,L'tcc"kq

+k_ ܔo4t0rʩ &أ1F?V4p8"$)leqߝ38$%J<~d } 'ֶ2<;(?ӌV{Bۤ_T_1b>wRIRmԄBLDj|[>\Om^3S:m t!u)_-* GHR+槠G%7J5ٕ͐z@!řlql-2 m\l.kz!n~~#ubeεrB* 4Wkw#hh_>QG4 _H>~-a}!Z%.|JjpE A"0#WrY vAY(Z|tkR^t,۰!&zKE'qu򨆋ЛtSMkxf4Ӻq XIޮ̯[H0 $~S-vS6 D!ԥ8!S6RdiH gnt+Ɨ߽-_a2.OIAӌM),֑]UNg"U [DS.F%X9__xW' `k3>A#ՋtNEǶ{&6͌O^Wo0joDM6lg6H <8Jv AiQY5xu#%ԅ= MEd f(ܸ3mۡrm|@i`=Ӳ ?w|@ ]]-_5Vutxgxe`xipQ"ß<9Fγ-KTf7vזxBEBm9gyO1*!N̕"J臩GkA|xH8S">'6?'FF\,4- 6q^<#GfVXIo |,6aob$ uȮTX1pt!-kn2Nd}7gz6Wj׬ܙWB%Ʈ!0O{!%#xr<7{W˸J.uȶӧugW ֠G+Y^ܣJur޶D؄qlYPa)mpnƊ_C϶8f*8 2uL %3@iK Kk!Q Z7Uvbp|"ŘܷK^.(8!f{X%Ob$>ӸE`:/GT)m\bFZ|឵zO5-Ǜj%Q ׏GB>`{ `:~Fພ5 lA GW2~dX MYBQ?5Cݾ98'[N0-G18S-bi}>LRuS^q+yGe,:SAAͶT%LVU7[>z+ec|Qg|LKk)$g5lM˹uMqjca#U^Gm޿;1mT#=#J{ku[e'3I L:P/7hK9i WOgYZbTdɒC'$(~,,KߢSR;g00x&Gx<26E}ZE$zGFCNTc&^L㖎-y6GQ 9'5UDY-P4u3@$ x Hy7η:vu/R5a]㋔.4%\0q:!!9ԞjJF$ǩð"/S3<М!zC@Ϟ&*E"LjN{FJSХQз $nh,V 5d XDDD1|M&ߦc,c-`ZIxz•|<#M*wT>fUv ő-Z&6WH&u⵶K v=s~h v `Ң W@㵽:MP{l[#|kC!k+,Dғ~`y~n\bY0/` X$Mk\{ Pq='>t9l' TH^`fU~SXw\E^/1e0:kZ3Ra6yNXXʛoZKv%ƎyN[X-Q{@dytoZ6RSK eƫ@#3zc-C2UYwg3L9\ȈzFxEߏewW[gIyS2\^Ib/W費Fyωy("׉r5c*fUׇuaԒ-B#^H`EX uZg2x/0U&&2uy [ ,{vt@%/rTpw|ϻ8o,_@%x&MѱATX4f Jo/S2:!7Q tkI&(- oفe$h#DTH9nNh# '~Wy WR[W*񪦗Џ~^OO j'mЦv sȔKpQ-,p~*ظbrMx#Ѯ NK[}'pHU8ZqbҩU}cë٣!P\"#1RPP+GK6Gk׼f'YIeSI ʝ|T^-H6[chSא"_RGX3Yg7jY_cKEa’Րe:{Iԝc6U ԗ͊ӓwAw$?DaN)FKZ\K?1%>[# _0p7$>mIf,zx+^:~SM%afV攼mG5"m۔n\iFbT |lᇞx˅b >˯+)hGnEwTyk )砾z+|Q2vvoZi=5QSgV,c!lD ',$IPe&=Ss/ŇXauRevqP ; W]g F#)F B 4J=,l*߲n~g)#f6m4'2d+`i}7`EعUb87//;-NNӰS+J/֪Ӝa| @6qN;Y>EĂ6^E_BvoJ,=,̰j=i;E^w uJ;0 5p|a| FM8c+-T7. V( yciiмE}RdXHY4Sr܆$!(-39mp &ixv([O8voz5~ h@KntkUPVoN+~yZ*DJv*4bi|5Y~4B P@4c&[VAixB{y uߜҨ'Qv\BH{=w&J{"wUCsITZM5ba]CȀNjj=Sd!UU^H$ͺ!+/ڧOŹ + oψ=ǔ:4 k 2xh 즓U[bz{\Gv4Y)h:LWRniJ4U\V*:\Id�OB 05Ãnc;uEqE*G.5ƮztD-J(Q巀f'і =C迡c{^?hM") ,osJE䚪Ha$Z؝w)S0pvx;L'=Lb`ƈGĔ=hW4Ȁf~Ϧ3*-XE8 "Iqut(P-Ex)o' +v=e=KwoUҋr#/J7sgY}A΅!dA(fV ;*nTe.,%~F 9< ϯVit3Ah`U_~PBz;وhDpaITeu8]3#ױڿ̀;(}Ful]6~uuvaztт1pJG0XG8b61*13=?kyѫ-э`mYz6b㐍P: pKy M݀g+|2kED&i7c܅m͆w=O9˧)iS>^9VKm #4;e y0Ibo(8etҟ1 _GFpGE&ڣ9gYZ F63)rRrGa,E\1e[E +?ډ-E!pePH:-6c߿x}ego#gn_* zùxÒTux`^12a:nnq1cVySw2kئԒخp04 ywq߱LUҒw.X M3,$e}?e|:/ayDr0iE+}T1c#kf=Q݃ DvۣoHZxBO(MeiaQ|<0[v~f v1bm`0UsrEJ-bs\C0A>zXLu]_Z^%8 --F 3ɠ"vh ٞH$2ORXoD|g鮍^Jl&#w+)57-Z%>y<$""{sA7~x|'!ZNuljyviP#^t2Vְrقچ)~~#@<4RStd0p;^>f~ffRMQ%`670y H/L9|}Ks.~),leQ|؟} .cʉO޲T a\tB4 ׬sH*~lRsDtp&R!Q[9O(HCӣ(DI^׽ v7Yߔ[FL(6f_'q~3e-gY2̮&JMhR:#$/@,+7mUfmPȨ Zt*l9BӑA hO^Ol=Dq-F>r7Z/ L턄*6F^7WncXx E 3^/9OjB#XO1jI^qZUsD"v}z_I0Esc~<="`T4ÖvvyTR7rP'6uƺyXݏE8`?4]Q3"Nsm Q=><ߑ.`0C8K <ʞoȅ ZJޕ2hrzFC]S}k6⒥Wf!;MM8qsXQ"P\Dku뉬|q ]"_IB yb U)Di0я(>@Biac0# ;iQU>7ڤG7qj.s% Cb.?: ^h}*=#ݞ !U#ĿsO"IF cmvWj G[At*sMbD &O`׏( a/+;Y SNzmPt9W~q5A?zdYv'euIQ3?6=ͷ `R]p\.(hnB`f1aK>CE>HGPq2Ђ[} !F%lA!RGWMܻYUNg^bëYm+[n%|sᒉP]TG4U1Fdѽn,ܚ57̓9rQK3.އp5 v7Ӧ[ǣ>EF*hҝA JU_ gQX~r13LaKk$Tb:LnO"U vP*~X`DP&k%CAsp6y-1bvat': qcϓbpQu7d<IljEKb]F&=1X_4ާ~=wPcJP:c"D2}9F J;˄t4t?4vZ*"/B)k2M*I KG},H*v7 n--8t74x6ⓝV17ᜲO  +PA}*蓼ͺx'dZGE ݃A5-L.J}((eU`HP;n{>x.y5!Z' 2V'vXQ[EjxV1&Nj B&ma '[b% Ф[&y܅oQp୪d>q7od!6Z`W 8rV>D&9TO:1pRج tngG)"Hֶ-;taq2+d#hz=ȴH{ '}B<ߢ#1#1rÙ jNnT5F7{v;o"(;n` MQ>_^LўC^H !z1WYlI ~DEe /! LuV yIh}/qZ:ISv,au >ڦ+&:FzgS_o@Co^G͗GZ%'™dxL5Xt;wW~:òq4+PovFH~|U.}Ij:u. :~"_i!cIxP.64U#AAaߐ 'f= u*7iwSyfR iEM/dgȗl\&J$O7Y;w`~С7;>(qclyLhK~H/{`e(i~"'=:"^S2Lf0P2؊&UIc[p\P_9J3֏Yׂ l7oVXzl(OPfU|@<3#BW>2஄_u13Nsu$Ky2 NQC ' B%SSd0N )}֧18 T\D^٭z8 Iz9V%a ?&#$9ռ(u}qBa0Y2F/@hNm(gd(eVHGѹI]Ztte~\63 lzgb0Ȳtؠ|!(6ࡈvs7Ld6NO O$s)Eف7XaEwkãNY9 \%6S㊍2ϙbcHd4p̏xAuOkk V5zLT4v.DqXK W z q1YDB0tqy{%(k*&qz8;\b lt}#sXڸWi_fͱi>h,U#.;gsӁ{D" x]'V{]llsX &) X$s2QA(Kc s ta ۏe5,D֞Q^r Uwa@JCLz) W^@S6CrQIPl.j0D~ʔ! ST ce\kxƖؗpl%zUI 5BYLܝgkӋ6 Ȫ ?Ew5 2Ǘamlы Zp<7bvē/d;# &NqR[mem8ȅZƿ] sװV)JYN&)Puэ8C&.:>vP:u 6l3/Eh3-: (1E2Ij%]y$gTgۉ ([HOd!Op/Qs gX,$ݸ3"} g׃-0r,=n:~?G%|fJU86c,/w˂ru*H\ԩoI,ʹ"|;4 }+ >Z`B˟1 $Y%$W , hQIK@HZ mFd vV%ĵ} k0X>@!jJIԱ%LOx"RE#け >4 O!L=!8udF$zuhB>ٰoDdL@/i U*eZp.č\_f-C.b)Wm%/ >>Fg:Q9/ AI8j)?:j`N .͔ߏR3O,+iϖڃ7LQkG#l"jZXiW+߫di}Q&]f1 w'5) M,St֪B*WgѾ=OƬ -S¸`\~BqD}fOSs ɠGK>M 7SncQ ͢^&Ŏf4GuI9zRkEUQ C! vdњ^&I+͒xx V"vOg[g7OOٶWxm8P<=RySiDMiX2Xѡ=1c\+^TfGD2bܷbHjD4wyO`L!1p-aAo8*UڝsҲ%=sH~ϫۏFvKǹ% {׀3?Taצ/޷*h'VY?/U9xO'S=8n[Fo r  ;6]mW/;Q4D5z$i}#zNE]Ub@K'nR:k:I ܤkŚ [c~(M}F&r{ll+SEdϸ>쪁JR& NGRaޔ T i?;ᶰ:81%s7POnB P;HwƳ~nmD$GO(x] 8bG"KO90&y"s2o;/#yKA-+S-T]qɞ>-E[v\%Uȩuzd0+NXԠPVhi:>LVO K1B9%ZR)\jl5Vd=?Ybtpv2+ꪈ䃫)&L 46ܾX9VW{h @9`빞Aj- !qR0RH">Y *) ʘjC1zgYZ8B|"0n3ĦÎ]= C e `ldhq1c+4(i@;d|*zbxU ]ڴ- 4j3Lq|yzq];ﴀ1XXzw-4ip4|ėY*Pb.bweo3';=O#jxZ[+pr )pAATZլX_ZD4ʛs+37^8ccS3cU}"f"Zc/+?`ĤkvcJeB\j&|'c6f;x&>$w̃E-b6w.骘Cu'f}rB檤 ZTɟ+L  ВuWo3Z!m2.2+x RߣER n -s!*vt0^.q'9U`)FuҰHZlogkR] ΐSm: {|DW~U"›1 vFwqbr:ґ<PmUakm(jGP?FIY0g|72Ξb2Z)[}3*ٌNR5ب~7x19nF*p \*|`ϾZ*a͞ F.cz?tH*(A~*ݍ2(Mš 8"șszJ,/O 4c*,SG A&S({;EQOyAG=%g*ka.qgYZ7zXZִF! H]ŗXiɟ/jڢ}n>t;mmB~a^TqovQGe1**kK$_>]9 Q%0W+@YOTWSoyW7ߗ>JZ$p6+:y-aZ]w$^ؙ"ǔ͵yT.m =tW֍ÍH=׫y9Fyal1>'B݁5+I_5(~f+X̚sVCrf =]xnQ)xHǓY>]U"ir5Ib3Z{UuCz߽Awr3&S9$Gi lNϞ@9%\u ar)ZouF 6)']MXHX-lLkO)IO\V?{Z_zn:QH! {-)n{V/&B}X% h%4)؁` '{u P[ :=;b أ~sF6Fν5yM;H =[^DTb?*s )r`;ʭ[e1PkDKOF#zcMBr@_3j*"ڞ~z'mbg%M +Bao]?=4J n>(%^̈oweVFzѴ8W{_{vAzg+]dD>$TL38P\CO, ᕋ2E]i#-~IhB]8KX6ؼFF"A94)hea* ld[5  z}TG]2v1LnRݥ^{rkB~ŁĂ^PsXNR&BXv m==Zp>QDՕexdI1(޴…Mi%툍A]*K8.amuHGYOWI$}+jknwiC|i[ȒNT$rYrahVmkM) I"-AT{ܖpp%JgQˠ[HZz(EMBR- 1$(,icOgz!ˊy`=pgM@nM5RlF!T[*Ѱ+UAɂ7fd1(fAz:B.{|6~?^Y4G пm ~ۓ4݂CN qѯ{ v MoIxps{Xni0W•EmgB1~DbR'3Ddt4 &GKƱ8)v[~ Fzh Iڈk.WI "QmdC]zS< [\Gr2dف2R ʵZ?M@Y6lR`fo<,1#~f66fG>8ZT Նӣ@;:yA6ftot#._ x>ZP7OyKDUwLLݳ.LBJW= ټajY-w.e&f880Z!ȑ{l;a-R \wKȯNVo`nCZ^O$RmFd w- cD?+-'JD]T 2W4Y4퇸4W+^n>(TQN찘no9{rt( $R: g֧)k*٫ GvФD^sAk| }$'lLEpo>!_B~~y?-igHR̂aLl{=—͹st Oc92/Xʸ+p9UŒ3TOtk.A>}%6*vxp#6n9;fK3R$(\=79qbepFȈ`nQ%=^&3b{RK i*'Bύ]ixNi+C=$oֿ,KBu66*)B[E. +$+SB(C^>piR~d姳+U:j?@zd&'$pT(#z-1("H9rQ]̐3ѓ6'?2d9%_?4/EimAFOkyʦ伽v7acyژx8"+sbra~,7ܼ-^ ,-rO?G[9n0w%<쎒ǁ53A^&:KAm咩&JQ.Æ| 5JɑYfof(5 0:#gk/w3}s[u}Uxr=mQ_A>j+eچtiYuUw*ߔ y٢l+_Dϴ#'_7?IKVmX,$ͯ]-DJ= =/g`mys qͦi4DnK//!o}n}Itj=j\0tz!$!)f мN>A2Qrޔ w*[^r6^`HE4lo1ցD.f k3BIT06|caPeH*u BIc}ˈ}zq* :޹?hf=؈~hsY"ũo$mOb^7# Á[X"E!] ڝR]e_@dx=qNkSn:#܂[mT$ G>&Q;8.JX7p >s3ED]q8}։nI}tR;wbj}b31#|ЖdD1X􇃥a*8aՔzhig*Gv8©"3-ɷ/Wa{ڕ<5D7?r)9~pw<愉Cv,̍EB-rCǿR/+M0JO'`C+.Dspc#vc[rF9s*sID*2CgzǽT/!Zخt|1m= k_%bZ"Iѩ DA՛{7̳ڄmK  /!ov`H PG,b}.i Uc-hrzXy\,ʩLk5$/~pZ@5M]U?ya4c󛌌X!b4sٝYs2AhJ9505UiY&81x^+yO:R>*ߤA)7bGg21Of $K8 vJ鍩n6EH(6+q7nWXױ̍Sl>q(vF*'-w3߲op燁ݫ$?ȭ3dALqsfd|[\c KQJa< v6creSԛ˅0."$cߢN&=ne?sB,]:I5bc1 BBpO 1G&pgE_"=׳c<WWc]E;E5.C_teڡй zFG֔2-dJꅈ9"d^E\,ʝ U?Ƌ(<%QY"4!f{gYZd6c838e2aa93498e74d0853c51ca050adb3f3c4196398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49