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  oKt|ll ]% Saturation_Framework_Extensions:threads=4elapsed=31.730cpu=57.312gc=6.1767zXZִF! )u]ŗXiɟ fftb:u t_eo/K9o'Sx#Zϩ<5 /sP,QGk*IfaKsL'gɃ g;b@ix9BI9Q_\V z|\1crlen&X,a Jt%=h$}Y) hi'f|$`\Щ|f)+;,^4oՑ OdJ@Lxoڃ{s+uЊ-uMI(rM=¾7fwi\ǀò:CO_A+]ڈ$]+QV=e j[`zSUbN-U\3d U i^>VKz06NAY~&^__KY١-_5/l s (gN ׬6,0ÊVv bs'K]Q, Αᯔɋ*?8NɇO\3Hb,8sr-wJ(m跮CK=BfUY,Tۇb,:񵎸u_>ħl<=aAh%6EcwPU0 4@`6 NMƤSo9̳%V1T^hI[S 0]&;Yqs/{p^~jC\O泣(ɫ;+[`0#k2: U븱 "K Saturation_Framework_ExtensionsDK_% \Saturation_Framework_ExtensionsSaturation_Framework_Extensions.Soundnessdocument.tex7zXZִF! k &]A-MՋhvG"uIBm5ȧ`$ ?UoJ| kIxxpcUTOW՚uҕv*EϘ N dZ8aoMtk/G;D {@/]1U4hqC#sg6Trqޥ{Uz`Y*QLB[nyMcF۶(ΐ"IM*urLh? b@ &7'^#t>bd:̱8^^e,0J6KE^X\tiU L-Gq Ն(է sԹgc{Yы~G@HYŒeoiL'Þ96#({SW yc\{6[he˸\ PL]3@Ytz̀5btmKkQu'ՊrgIϏċ8Y:zjm?ʩ{e^*-4KN'P3L=%d^~Z%Cɉb%t bj؟8.`< 36iZhM8D UMZDi9(q*Mq۩Үf|Q/{E yXpzh1o{P6n7St٤.ϙ\KltG i65BZ1If]p=035Uvr oܼ7 iXyÓ\, qݚ4>Ԃvr_S`%AeѕQC $hX,exun9Űπ9g*ʳ屣)έx6VocGE }i/+W~!9S0_}@P8=~ U ܸm`~,s2߄ w桓 $,L0l,OM4X¸,rTwqګcUf^5VFi`)%-e8W1$'~&B*9XlH sF!3yD:Z ŘN4n]U>Nr1%>ys<]7_tܭ;B}6N~ȄD $ xtD|EI 4< 9 $PL!qd U#Aj׼rxᾏ>[ "n;R ?0qGkF-dZ({!&FXHRF\'KO!CGOsF+9FQ/A.On-6h;-7zlnIQ(i8ґnE$/Rܩ1& !PL음6gꝄMV,w[jON:Dk=6 ~4.u ȡ@apB _cL\ (mZL{^++h;1DV3ۊ>4:ijTJܦ-9:/N(dc^Ǻ|`5Ю+M+KA,|.+cC$1g'mmƬFƊ'r~#}TX\ߺĝjEh(D8OXu}77莞s?~qa*vǑcEФpzi rl]&XmAMT4Ǐ\EU42ˀϷp]vh1,y6sD?lԬ\o]x!K'f:0*継 cMGØ$6io+脟8'0Ɂî 329:`5 !Ge4Vq慕-`= 4ڕ0˙FuGNefbWQ]g|p1Wl@) u-Ah6UQAdzQ<Ϯi ?wjFF@ش6>KFLnz1tbk#X޻l1ٵK~-oF<9*NKH0l'ڞC49b{ӱ]:Pzn> ;' 5bSg"(`BAK4.|^EDB| $ 4`,׃b-,~_;MK ]WN_pꊡwj_G#Swzd+5cD:[#Dʒ61)=HȭC= Ǒ]JF )#5n 1fXUj:~8z)_Kd"%ɹ EC{K@\Lf tReվet{2Ѕ{Wl])QV$}32/KcorO9^\Q(] uNJ혚YBaA[OYwhYgYZcKm% Saturation_Framework_ExtensionsSaturation_Framework_Extensions.Clausal_Calculusdocument.tex7zXZִF! ?]A-MՋhvG"uIBm5ǘ oc \zl_NX}b?+S!WuU@23`=4'Fl3IApyaIabJVH"voBtc b 5hI,9wL=h'Qhc" μ+I ϣZ3>9     ]DxK%Saturation_Framework_ExtensionsSaturation_Framework_Extensions.FO_Ordered_Resolution_Prover_Revisiteddocument.texvK%Saturation_Framework_ExtensionsSaturation_Framework_Extensions.Given_Clause_Architectures_Revisiteddocument.texoK%Saturation_Framework_ExtensionsSaturation_Framework_Extensions.Standard_Redundancy_Criteriondocument.texZK_%Saturation_Framework_ExtensionsSaturation_Framework_Extensions.Soundnessdocument.tex`Km% Saturation_Framework_ExtensionsSaturation_Framework_Extensions.Clausal_Calculusdocument.texZ]@ç(ݹҷVMw]CFK/LyJTwvh{李eǣ&`Yh8Y0&|yF%Ĥ,HψU'߸j Z$x W;*c? U\<qZ.,yZz |AMGSQbR71`Rbb80؏ ӿ6`6F,+,cX^p>Iq#Kre 5QE3+/9dʸQ G,;PZ Ǡd=dSsIz.#o4/=w/IX keի94*=gkt##z^]WŪ y|;{fs.%Ōb,:˶*e4HmXS +Q-yk"Y I0cw?|%1ﰡ4Y-CxO#&z`h|eVN[B,UV$ue˵ߺRv8-z0v&6dq&j(/mpd2QRl^}rqz!8tc(S;AҮ=dՄ tQγZ^M媜iIdjє}Vp`]]lԝ`$N/*g9%&9&x c@&rQ=_ةS1ׄM1RȒpԶX,ᎶU/„V221a:-9Re*ykO ;Bc D540RVJԮ ,kMD&8v%I@T9$뺰}0K1˯]w1owH#,0M_0n mS7aUMc(I3`%"h ˹x`9 wNn w'y,E:0Sd3wS^(-}wⲈ ^ܨ&9i7Y$10$ߠd#[4QB}BT{dH@&;{ij]Vp!M$u gܰ \x 0eR,6#@FƎjV>Esڭic<Nj&;-WF=Ĥ|U^{DɴhSZ, ڛ0) ;cՐ܂_ĕz-4=^FO n4Yq!n3٩&峙g2yu]K]d"vb qSF,Ѫk22rл~'$ R$\˺=ʷ(o;p\ʹ"Y9ϊIo' %C{ &ǁ+ r‰׻,ܵxrI'e8ps6 CF @P|Xo -}m[Rl:/ 0u|TP鞽\E{BgNkNďGuqϻN}[ڸ(B_b(Krc7`6-Z {:!a?u"yxwE(#s,ĪeVFSҁ[А$ PUXSOA5ΜևA0Nujŝ\@3 ~@r)1≢md%M͵.* I_(fqOuКv oh"ovcN85!dl-i(7#1,)hBx< T`]۵NǏ(l.9lJ[gNVRrI754yzb)XyGM.AJfs`7jYty$FTsd+3\w1#sTtP|^+Y֣{5Q҄Istt#AG^a<FD#|Tʭ">KgyMFCY,cj7ex4eY{(C]%9}p2݈cpAF׵DzHZάݷ76Jկo= ]BC@ՒiiˬR[0AÁ{^qd.WR0dml4k ީnxh<|~7O*XKpgJza=^#7)Kf rr Kݮz6ˊ6EUޣ79vL>T8]@H,nx'3i#_Gڤ-z/_L!U-%# UΝHV<.p^|ur_XZԉn'/"q9@S*D/eK#,u<'s@8zb Uùpq ?IĜ_2)"CUn[JSRg *y/2Q9Otok)O49"!$&Vpgvly2rp%÷} `A.\Ge1M[LN | B3B{C!]o.۩-ѻ~3/ɳKJұMj44]_ ZJx+/YVKb\۲U e;M@W/ʕQG m ?pbL"b < t.g;@KhroۛoJl)Ǯ@{]O;ca㱈X)/G'O‚( \T 9j@]|lKqMN{Xvә ootGEF%5$/Սz@=Vx!t9b % `VwKvf K¬Ț&Q1dIߛ0Jo4F y xT&A r?}Μ/ BkuEԲW:e]Wc-Jڧܬ\Jnt~gq u>_.sS DNPDj.n{?P>$gO1Llsʹ2Y乶9_.*̟ ؜c,҃0jFf LEn=e2dT lY(瓍_d"vVyӸ#ɳYAbb=#qZUDOEz W[2%G޳<1iaQ}^r(|%zݦh+[7Ʃw9 4J@d'&B!PZV5[[S:hCl Q 楒0R0k_s{zRۅuf??~ ZIp^{=4QF;p:ƁզvaDkBCo 'g@lr-'~ Gai;F) @Agl 7Bfnxa<sX@_5{d^GLҞ(nqY+d_@o͵0~쨽^2z%D*!W?w)I/1g <5z1qݍ|/..nU}ZkD?̠q@RnK(ހ"(h t7}NRnwpilALQ|H{gȡN*^rupJW=@2ORii:SpHMW”IkWf+BWѦ͐ZX'H9Gi8JA(<+$,i0UFIrc=.ǝlBMR-۽nxC长cM׌k^q-X>4jT`7,+ fF8 kM! i?@UUh`U19!9g@*34at#f#nj4&"W̌_{F\-MF0j^G4›rT:Vi8d--ƍ9U6_?̻* NEl_n]SHQ--0hO c> ݨə= M`~Q1qɓi5fFd^]y?I@ҎCKZl*t{iqϛ彜#HWm@`>Gu#A'ۗʮyvL8)>2=JGU<.LuYkUF#~&v2T)@ !pьJ=M.vU;Mԑx]X$}f\0oV( /ܛ_&e%1;zL H$)@^ILZїHyGwmd}YRh1ǘ1+ε=đ¨;fqԹХnI [3R(lj sb[IZ\;GZX)kJo2ԒaMGٲl-ۻ%JB5J"74Ɉ@^S#aNnG D0I'bY[Ie?ctAAȞ̑b޻O]EƽUoR}wto%~%W/fG5e e_ 4р{O(X"He9gEPZኅUL.*EJel <n(|^ү> պ'\A'u{KS;3Ɨq_*ήmHXT`;z>1n`#,6JNx#Mw瘡FswHSтiKbjZyNٚuǐ#.$nVvcHhmanK4x`&VF&e) N[##ߢesk95dZ@*Cwb  ȥ ))ՅƬS۶r{#V:;7@?"uNL tyxa7\=QG9hF-Ӓ.மeI],x|4X5U*̝osit:5 g?mIOa$֙uk\EVnYM$^4dtNm͏x2`Ac4D5:[gYZ IIDK_% \Saturation_Framework_ExtensionsSaturation_Framework_Extensions.Soundnessdocument.tex7zXZִF! k &]A-MՋhvG"uIBm5ȧ`$ ?UoJ| kIxxpcUTOW՚uҕv*EϘ N dZ8aoMtk/G;D {@/]1U4hqC#sg6Trqޥ{Uz`Y*QLB[nyMcF۶(ΐ"IM*urLh? b@ &7'^#t>bd:̱8^^e,0J6KE^X\tiU L-Gq Ն(է sԹgc{Yы~G@HYŒeoiL'Þ96#({SW yc\{6[he˸\ PL]3@Ytz̀5btmKkQu'ՊrgIϏċ8Y:zjm?ʩ{e^*-4KN'P3L=%d^~Z%Cɉb%t bj؟8.`< 36iZhM8D UMZDi9(q*Mq۩Үf|Q/{E yXpzh1o{P6n7St٤.ϙ\KltG i65BZ1If]p=035Uvr oܼ7 iXyÓ\, qݚ4>Ԃvr_S`%AeѕQC $hX,exun9Űπ9g*ʳ屣)έx6VocGE }i/+W~!9S0_}@P8=~ U ܸm`~,s2߄ w桓 $,L0l,OM4X¸,rTwqګcUf^5VFi`)%-e8W1$'~&B*9XlH sF!3yD:Z ŘN4n]U>Nr1%>ys<]7_tܭ;B}6N~ȄD $ xtD|EI 4< 9 $PL!qd U#Aj׼rxᾏ>[ "n;R ?0qGkF-dZ({!&FXHRF\'KO!CGOsF+9FQ/A.On-6h;-7zlnIQ(i8ґnE$/Rܩ1& !PL음6gꝄMV,w[jON:Dk=6 ~4.u ȡ@apB _cL\ (mZL{^++h;1DV3ۊ>4:ijTJܦ-9:/N(dc^Ǻ|`5Ю+M+KA,|.+cC$1g'mmƬFƊ'r~#}TX\ߺĝjEh(D8OXu}77莞s?~qa*vǑcEФpzi rl]&XmAMT4Ǐ\EU42ˀϷp]vh1,y6sD?lԬ\o]x!K'f:0*継 cMGØ$6io+脟8'0Ɂî 329:`5 !Ge4Vq慕-`= 4ڕ0˙FuGNefbWQ]g|p1Wl@) u-Ah6UQAdzQ<Ϯi ?wjFF@ش6>KFLnz1tbk#X޻l1ٵK~-oF<9*NKH0l'ڞC49b{ӱ]:Pzn> ;' 5bSg"(`BAK4.|^EDB| $ 4`,׃b-,~_;MK ]WN_pꊡwj_G#Swzd+5cD:[#Dʒ61)=HȭC= Ǒ]JF )#5n 1fXUj:~8z)_Kd"%ɹ EC{K@\Lf tReվet{2Ѕ{Wl])QV$}32/KcorO9^\Q(] uNJ혚YBaA[OYwhYgYZcKm% Saturation_Framework_ExtensionsSaturation_Framework_Extensions.Clausal_Calculusdocument.tex7zXZִF! ?]A-MՋhvG"uIBm5ǘ oc \zl_NX}b?+S!WuU@23`=4'Fl3IApyaIabJVH"voBtc b 5hI,9wL=h'Qhc" μ+I ϣZ3>9 a.(TR a K% lSaturation_Framework_ExtensionsSaturation_Framework_Extensions.Standard_Redundancy_Criteriondocument.tex7zXZִF! Ғ]NO J1D./,$aAzGn .9ʺ̎ 3Cd# BG-jA)Ý?KK!MxCZutu -دex"m8|e!=AD2 K^bUdT3X֕[Cܓ1q0 fK(,~gy?':%OłtI Y`kg+ r 5I0摡S4HOL=@b X$/.caG\Oc dψZPA*%cɜށ^+,st^7A,gdL҂Ssi-&husGJ~>g72c9m,([=Xn7)2 g]R+zL?V@ oWTv'7Hpd>=!JCm Tvg)|y<̑ٻ [rxFyT_{&[e "=@^mHҸ5'v{[ѐJ;8/lOǰȂ[hΌC @A@{߅=PNC9 P[ ٕi@F5RW4zXI^'ɤɔz;u< VvT]iɈlv uxt8N FeP [߽-2f }}BÃ:,~,(6آ=}Q'X(-ܤ)sj]6)dSoIھ-нSrKpbéfA쀺cgv==@>0E'tB db_nRz 5^Eh)N9h'a/W]; <G2 .(F⩨gh fÂ,~mӇ)Ye[ݴ22 uш7G>ُ ܆* ])Q+8@`?%#PX&Lj[j@ᓇQ&J_J@fꫬYWJC֏19[=f:-M9e5+ڔSf6XX۝m!ccnw,vM~Gϔc đG dz1 a~8XŷD6V=AT@˳B0KEQB.+rd1gd">օ3}(6{L 'F njPShHm*io2зr#9 ;x1ʑku#/ MuPn<X!JI5,x$$p#nAۉwKul^Цح:՛X~rψ9u1ZȬD}8pǷb,RIqt rH(V Z؅rqU/]}Udis_l\i_Ie9ϖc񍂼<<%Kگ͏$ZF| NT~hH%̾ Cu7Y-x1PK+Xj^9#B"9gׁC9z>'[B$wq`MZf%#<6?>=w(gau@0h԰XIUCmň&r#)k%9s?wd|F5Hz~VNSV+OG)H`w۾_+0,Rԧ`;ANM̘ Js0V T=i3kh'쒍rDy#;1ŀ1e:C-4&Sۖ bu&}!\ jwJa! }gp]+^b<}PQ͂'/%̳].DCUF@,|'fxQVOA,nL: 0ޭМe獂)\4i)q8|?Hw} XF,֤A,'Q `NJ mϚl r!h{xt% ԀUGbYݓsepmU{d)+r9ߴ`(-GDnWVKof/ߵ R"ã} yd~R\#jQgh}qMn~O@"XǏqrLTDJ8LʈXݺgq^Z7 $0ɘ^oKа:'מɼZAXjua 2eQHƜP˹< "αJs ~7*3R[=c슠8E="|Dž+M#wpж=W4D]_8=Qby#gj w(2^*k>%Ե&Z̅'9%_X0ebە7F#REQ>@&>SIi_yl0| 'B=@W`,SѰkp:br`Ia lPl#:«>=eH*RTzDQ" ZYd;=7S\u_+#8!ḵՆ=8k}HBpI,-:2eQா[O)a@C·]LhlC *BΤ:}ѧc\#n +K qog$=V1ԟ7 { m|ÿ1\Yt5p{d N-P S$+#=>.8B+չ=U)~G˨V&yr*ת 28êLGh>js_ & yVj kcGW&8_-.38vgYZ --H K% ,Saturation_Framework_ExtensionsSaturation_Framework_Extensions.Given_Clause_Architectures_Revisiteddocument.tex7zXZִF! ]A-MՋhvG"uIBm54"|,\U.w(7`RۿwUWn@ϼd;6`FIqk[IykgG$07'8PI4nv+c5WX *~ν&Wj4ݮyDgi7VKM&{xDذf*{RA5MsWQ:s=~ ]vk!} ݉o< ~ ~<%6oas*2i@\/ujCny>l,r"qOңgdϬ0wޛ?&QGBqmE"``iޭk9&־ mkͲ-Li1X }8H%;͐2Ձ \t_kp-p Kc7Awix l}JnB݆|X 1@vf؟o틣<𐠀]qhH+ B62?=i.jۥoSTHo`[Q'O>X𞝄X ]'|JmoTQbD`r{SӢė4ۉrg7zzʩ7 rDF3ja8Tt Wc˰\6_WZ}C׌Ϙ FM ^Oou 34RFjiV5io+S(W/4S,VTR5vYG 6VL,gHn~!U9{1ŁIMf //{[5!n2:>'CWQuo~^$ l=ؔ/omluV3R^QH{VHz#`F9zK.k R!!AKd/2ի( jˆ(i]D jEdc[!uo%q( xot[iuxf+ԁ{]1a "oRڦgg<$ BqSr (KX yvv!b~EC.eB cU.-Ɣڅt%Ȣ*V;~\d/? "8Q!aK޳*@?9ܪ17,,d/XYwECL"O95l _6b͋+|Xpnt"+:Bi҇Œ6Z"6f> i֜!5[: R숗57bݵvfNc Ek= 6t7sM~y]R@{=yN{%)Ecd47 *ipS+-7dW & _i@TR~U)]nnԳo#!7ӕAT|a na7A#_r=͐$HAPcR3;+^yBxҔ>seqR*"3̏"]:/Lt&1>Q{rkp''Ǻ<]GSR LMIZ-k6^\ K|h+(M M,D*${ɈŜ' jZG ֪פ;7\^K2Ηb?h yT!2 n7k6/~ bN\C A.o=|U(wCM-BD̤!NQHeSyVW:$!H4N'Z}=XN݈{ 8]tZR _}& wqHNoN`%LԫAϧ1"dLؽ0z0nӷ5@+C><SUt2cUaj|/q<38il^XUI.v pŻjz+0Y UU'6Uն1'uƣ bh7g5qXՂOXڮ5j d`a I -~:>5JA<E@wҧp^;%@{JƓX? 곂+7Q\&]mQ)6{nk~w oK3<pfq[Kꙹ7}I#ߴr6=IM2bh]_;(P`ſ!I==fQrݧ Nw =gȿ$I6ql 4=q>Uhckq:)OG루+A b)xԶK=߰>l/A#\_,DQ:ӟ3$(V~ҲQ@2߯{3nM>%s(wu1Ժ"5_ohrBvaZ;~WC!llEux De 92GNKxa C+!?-/&W6R~-]wZ&Lpn2e 0c 3Qg86w4pӏعҨPO8` ]4>i#.#$n d8RufXM;%4 y:?λo,_˙C " 8m,]Д~jf/yzP4ZҼ$Ed]t: ̟CiTikIJzf$?harķ$kz⻓1\lډ~贲AӧAJNlX8g %ڔ~0M `Ku/l“+m z.T'A2B7m0fo(<6mUZ**tG&3 :7?NP\tY'G# "oXKx &oao2:" _*\$:2 ̛(T'P9;!S RA(}54<ʸ0H#=%.]ÞgNi܌c F#7c ah P;*zfoO z⥫d& Š\PKYN:.%SSh" ȼ(nQX7?L}&Iʺ0R7όmjG9 KFXN׻Q9/]]kLш=p(tv1 ?`$%@ %3u}\Wd{K!`C] 'ڕB߾▯QT sJhS M Q[2$n}<w3`'2U8arԟ00w,m&hR]< ݫdV/73-eZqTx,W?T RQr?ax즌U)nŜdJ_yкa YxdfA (t'oŒ0>|Zœpg/Xg]_>.cX$,MXe&{f=J=M>be{f4s߯^ #wKf;?#!u']ָׁqFL0hPĖ$q:q1dSy.Yl 'B ɣ7!F9w5a&z~)=*V1l@@{&"f4a*7}( Ȝ,dokz\6_nzSkTn򳥟FFӉ~L3 mn"*~bY߄2@z ݵO+B,hhOw cPU1h!mL kwZi[ꜚU Ŋ(;x{{mLE\`_RiQ2z7>Zr0ٺWtzY#JfEmY'Յ$ٳ,Dqr2oCa;NnC"tEzDu-,aPrbW4\%_=tM5EI`v#* +=_լGQg㱈h]gMXv7Xw>nεAA[(vҚW:V9G8|HA7IeNۏ.\U#ti%Zuk>q4x (>=m!5?oi^6GؗX+-?^IӬ[!$dwI,bݹ6"hR dSVrPx$TJ?HCzr9e`b"fC:x,ug!wJqFI[0*2ۚx`nvA܆ ] C+:[N/Q~8\j⴩avVhz]~i[%G_%%Sw߸BU]7B'_&8l+ˀq,@FzE1Dĭup^ǼՄ{3x@kz"8>_q1CVxkÀ_&shS6VK0ew{a}JqQDC; q`MV_dP{"GlRl*ĥkЈݳ2KtD7m7`QW(CJi5Su{ec "BeaO5$i)B;|e 5: ڀ7Nw\ v-g5 CdYZŒMCd&рh,=Vq8 K!~k|ܚhox+6E7Ptp@]o&)^zqK 5vAx- NyO$MF4UX5rh-4~#SdwrLyzꦹH$eZ*%S f /`0[DyR JxrkC{ʓ"fTwX:7c:JB'~ F{fw)\WSL!ŝM{3ȥ <3.{dB62τ `2}3K+Wz<,6P1 ֯x{V6"~ ӛPS аOǾ$lpJٶ= T ƁZhD2@mƑF:xu}40ܹzMՓS=~"gRc>J6aG\x_H/|+-jII_O:ؓ2V䎖(ef!`;Zke~~7R&.@ nFwd'.ȇ I5#`: VTYnsZv(x4X9mFȯ$gUcXޜU,V,1>O-_K;eHӀ eHXihOW[O:o4-ڀdpϽ4R2n8.+ؒv. ZzxSKΕ`>[߹?X`p'+dҖJ@,BVIrȤ޼ Eh~e}jqm Wfɤ_KA8EZC\}y+5v 2S`(t-sQk`{خX肯=d&@O!\-c.訶'k_)-X{`#P'@ k͋ڡ%g>W*9 Tyh%{Ѵ ObJQ됴=iILׯ r䣑Ly8 kCKf$З)όae᝵ryd?Kؗ>9B3$ӕUNχ ** \Cut飰d(Cl{i-& {7gLj^Ji͒ gFE_C/9ߎqP5 DZAtRN~eT]m>qfwpD-V en[I=tkyP^ϣ@^~K ksCFao x< #2,y9nlwrĠpf~f &ê}kwQVq,zJ' #@c~T X LV Q/ Ͽ` OS+f,qGGUuq@E5WXeI|OL&t*XVUk\i4LpN#Na\'ڌe_E3yTyBq_8kL<,Nl+&­|6{Ky&{" t!],={E]%=h/ATpac#YR$gtd{3.^Bԗ.Ztr#o4#4΋v6n\Y"H,^%ZZIb?{b/M`5EC 0VD-eݑn]Qk) L\mS@ҏJd >Uiۨ29*}Q3aޛM7} hy״>mb忤'![RR߹F(`Mas?|q߰Yѝ?~q0ƳtȂh & KTt۸rAàW" p q];|E|~zi7ʓڽ;q ËHW;yG<\3'֐ !++TnNb^RY%&916lj_=W:2RȜW/vᖩ&Py<ҫ:Y5!f8#Dyc[b9%A[w!la[ i"{UG%7?Joء$YS)£-ƙ_6\`R6 )}4m nHa+sX":nOG!ǃC!JX N+Poz* ]ͅNt$FJU+ ;puǧrjOli^훇FTwUwCwrcM} -}0}Vwe)GyE"om`!u$BTCe7~buѽGFUSj< } }mpuw#mZj'C40'[ ĦtA M( "!xPZ݇By" yc=@3hocnf'}d+xT6=eI2";(!ϼKS<12h@kZS4;g4@fbAw4W̓w^U/ZQҠ{lJM\qЦ bH쀜bu۴N$^c1 $rA{Rtс;P4WNiޅbC#taJ5õE}/UQ{W0Rr.sTΨ2FT0T%JHw}xwý Oڣ%+YV\dfav~zBJYz@&7^:嵺=#zm*n|!d~3v~_##@:c3H \/e+pW hBJ̄>'oi<2rU)c$5 ':GjzܱT8$mk#rnVIV >9\'Ћ}ԑR:cJ=QXoyaeQA !L.W xr qc:ZLUUJO+vދ};x}\F9b|[Qgr@2/Dz[w.mK:A#@ 3> PFH`8{"FXQ: j; Ș{-LjM(R/Y6 +\jXpӝq]{ޒ),_\ʤ[gs[h;vC0xג쌭SRni$qɌkUwӐE l6&gu &I?׵"΁I/ZeM ֝  d hpW*zB6Ө^"NK:vC 娡c6+Ư ʿixW+1*xzAHS KR%evF#롫 n,H*շ[xp bӿeCwWvvK3<5V2_).޷{L%e3ԓncRiV,Y,7q bj]&˗K3b$D2gNJTV܊ ?l|O9G`I'd36_ƶ$14EhEbg싂N\vx+718m, 'UPlwksyI&+J Ӥ6'xsp[?ǡرq9ѹ«x8Cm #K{;O@W@鬗7?]jt*RyH4BWOBG`Bc:rtZ}z.$,vE+VTrS9yr#Wc22t1KRl uuDys '1yb!}dDzwG1ZfyV?xp:g}0bE71/[RW33 3g`nY0"ɇ)+U*@Ja t-XkW;Rl*SmckPq!.#C VS#ˈ'Kz#64/ݐBKسPG EنcALf[Y~{wl) j@=Ev(⣠شr"3;(;9q4!VlEـK*3<;m[y[G<0(F4 %HT snSEGR*3CB aVoV2 &- {jF-Zc[be mu)hP7ʞӎxSe:/NL#p8715>ᥞ^(~K-VN1Aֹ.I.k*$uf!)/TgN/:L$|)MJ7bXďՐ;K.F yƂ#[Ra~5%3Yл[19uőŧ?:;R얺[v \ԋggQIX`t) s[j8. _s)1x7.44IϞF]5P\}u&vOY &xp|7 |8E!'bQkd)(f>`yL+iS?HPFЎ@=d bطφP # 4ɥIS՛ysr `3x k7㧜ڕ7* #MH:]VU@ +u?Ɋb]w p]y(`;]=i}0v_; {"xWgzs&^R2%҄7Ղ맚7[ky,6^: E.Œiyea;tM-8OOPe5wj ZP֪w?!ֺEN4IsU/D,GQ(]s҄Mi띏T-dtd/6JIlҨozyb~X*L -*<Tr0W'U߂ ў5t&Ԯ'芭W^}­ 2^ZͿm6|4d;d+k#t*2gIo ]>e$BnГ7|>O)iu4>f> 2}I6Dc?ZLUP}fNuՁ }Ty#(uLbZ!D+9sy&?_:yuW6n8[xg1 44|#{gZ]gFn_|IlVƣ̐a0ҸYvUB2<̅$}_f¦+RXU524mşʖ%K'\;s}'r70x# 녱F/݇˽(5(D#5 VYzy}c:WwjѼ7Ϙ:~ ~b9 W~-Nf$Md.Or\o_v|A3;lu0`o~ZKY@ 臷;4 .9|)]@CQ{pwt2x5Rr إ.[րɧa ;. *'Ι=˥kbotRP[8=/T)~XUúsn"H±A2'Ch92 i;=A#TU}RHC_x_1qsUr=񱗾T6G {m3OCA1)b!JD۽i[LC˚?@26- PQXA)s$P8'`X SQfxry$_Sj4Id}lm(rBUgkzQ' X(G]~qkE.(} E)8D/[3 JvȼFvKԐ47<39$N.ĥvK{7] X>~Ng8T#0ӨT8g J)0lp7z\ VB E6v2ԵQpN`_cZJ4u?xXe]Ҫ| hsZ@bx'fԴu|'-O~ Ҹ;x2=pZ5Sy"F 8|.Orep9ӯ63zj?=]Ch'1g擧zggb8b.cy ֜xg?5H:a^'k :z?/Cl3 Ҵ/džFCA*lU(D=ߕIHno^K.;ݕp+'pܷ]~F.9t H`;m{Bk$&Ť(4vE"+.Z:VTvBiߣstl?` {!Wsd[H OׁiP$>w4_<.#2+yW:<m $qyy2RϞ.z~HTFj[cc^;% "T,sa# 'jZ %Ȟx`YrMfah ҴR ]#og@B2|sM *!dz9(T E VH`kM>C߻ENWe}ĒQT{?yZ*3 M9Dz% oap%9c̈WOn)49\I*|8]¢ݨwTm85yUheAktI{,DpkÌ_CY~ǒďz]y9,ç:%wDw_蛎#Sku6W`254m]#5oJ"ЫEҏ_AYR|V*бLԤD3v7V"QX}`[|rf60E(WS=#vVNodf7fhai's{*pD+0m'&Z ue]049Y`$Hea r)@'f k"P(Vy`ɳ}afoB 6DfXPt~ׄ'_z!SZJ<[U/Ux•ҕIb@=: ing&sf,Qoݧ^$цzu []5$7GK%Pqܙ]Ls;$yV܎ kNd?(B祀#堊;Cn{a㆏ 3НlC3~EwϛmhCy?g#HH D;Ufoc k~nut EtRj6+Yc R\j: $a&~W [ p k[>jP=m,h1? \Lcb bj>.vTkS^*Ew"# c/C$݌j1gy1= {eJg(~ k.JnTiC辻q!RGQc9="->r]_-H;.P#3Qr#6zr}XUoԔ-URMՄ IJ9ydy>W:@-7n#4.Tx;pO`820fn\ JԎƐQvD3Ï%x;b|iP|]s8ۀ|mR2cg)4VҰz'g}^[+ lgrFMaJţ0@<1¸R,;_bM{IpoIln^*As6SB#Ip+KVb9K20$U ?) q1ݚ3@:òo*6lY( zu! {O/Q69 fiSw3TwRqT h*xM%v01eh]lソ ʗpqSƑGۣlXrJE/~`BzsxiZGv`ը{W6-Eb׷Ņ$g,?PSΨx#N#x*sUME_> ;#L'f[rz c +YbAB[KPZIY % J:H`)ukɤPx'tF/c*'/q1hG2 (= sIW8CdYtBҋ#'wDQBV,$F qׯ9ܱ~s3ׄ>O`v|rϑ(, n>M4u>ؖ^o1IL|e%F*q*ɪH:ٓEr|DE D0ez8,ʃ"nFƣszb *3K}H%&_iQ+J0kV3qSwQ+s`~|M$m7ZucUC Iy}м wy*>p@X iÍ) (>C~S*7 0ĹB|J DO%!nIa'>e|Q)&KxD!?ck܀f4f$ҫqP @kU1,yJ87 X\"o:ў&Mo~C%Lsňk篎gcoIgO ֠ʶ e$O~LÂ5bDt~Uȁ):#៵oI"v0Z&(QzY{ɉ̣Xp0dg0GA{~Rx'g9"beC7=fi0 J~%(qGS. Kd,hPd>n(ryJee jM4/v+aY&?.?yIǀ?M þ d`.KӅ;@\ftT’\3Τho;x相ƖpUߖ7{ਘsG viUmhɁbv Ɣ#3o,z=KRfҁژ]cq?,pଓ2K DBu)"n?B6ׯHҒ6Fb"^2Eق{L:.8 UeY E j!+9)/TBCǖx lb6 }St&oJ.x^|0ٛmGUI|| ,lWl Wڑ.G! e($e2 XcdV'Ӳ?_lbKmU7ZA'A_vU=pX1\ѼҲ'5{IsN KHVdc΄bdP_oSچ }? WQ$&5T_\y<ź4IYk,m F!GîRE@M9=ƫdGgÕWѭ0rt$fу[HBEC -ix.IN†5OFI'']0эg4됝T̔٪a-z$j&8 4#ؒVaͫt3-|]yy  [6t;;=d1eRWxop<ʚs8>gJ|U!cŮ : *f'IT/-k' F ? Z + 0crى9گo4 l-6'2_LI)O@~jn(7 ! EB#uoP.y pA:p ߁̼Yw,f"ymW:e86{ةnĢ ~v6ڳP*vrP i~6_}>|m O5U ]j['h0mof{1ɻ4T{$_ ?bLE@-t*G<9vM_^,9`pgi[0$/>7ˠ9[hBX3,) ūݕ&C_;1|*7Ѧ쌟R0GMyA˙z^xpKҐ -{w">pڷ=WIRh S0nL0UK^Jo^в{J;8ΐt;%CwR|l_mE+萧mcr,E$&3Q/rT7 HU(@iW?7#}Ce0p`Z""Bjp6b@Φ7B˴ WwbJԻÐ\D7']V7aCՌ[bJYS`a]c$]Y!w 6=gZ_>_q8SgVPEa^(퀴1O hS03 $ktX-aXU>_y$9HV6LԦ; DxNB^]thwJτi 5ѡdGnHV<cGH%?& @eT-ͰrNcc5tXM#Lۺo3GguXa$?#҈ZBF|wT}EfW*AZ8.6>9v:~LpКo[κԫhO1(Z_b"{z!OqCG#Wت.NbE7AK[ZQw;S[rm,> my3sSˤOpm$Tś]R!gYZ7zXZִF! *]ŗXiɟh W *M7MJj''GG;n\BWׇb歉 a#H/zH__$*4Z-(?J@-(RBK̯$JqK%@DŽf0^t 7t$/C7 w9y64&P.6xO_2^T 'Qc1&XD x" Еɯ +RPnnۆݛgYZ7zXZִF! 6 ]ŗXi%BzR$[oF$!tչ Ҕ(יʭ~uQ|ZOISg׎qrUzoȊ @ J׿/}c<3$SuBkSXVK8C1UF^|Jil } !Ⳋnsh<>;_aSo+NdSs\kS)LBd$#V֚}7S&5AY`uZ"1~(#ShA7AI)[ň R;I$QHUy@16Cy2c%X?k43lׁh2DTHrWoָZ1f)/H@8wESvlW$[~apq#HVp[4C#qyew=X\`/x2]ntf7,쨉~bQ~T+v pE҆|+RmfXr7d!Aϭx?8=nlD}r*kͲJ<7{Rn15kS7g2x3Îa`X`|vi7q,0 /:mj*| ľ5&A~` a _/l+0.~ f*wsq}R>2WEޑ{T5&$~)bpA>Oz0 }@gd}-gf|%J)rn(xTax k CɯTOG{7֜|W& A#zge|g^h ,WЯ&ikRI9efn2{_ww=) h1M27yg&i)00W+*}d10VdKEcpb,sAD޺r՟M& _z܃_}*Y h2 (r{B#&9ԃZݻ룢L=;n;[Q ʝVj^r BCH{'4忮ƪaMV¾6O#Q?<F=T{5yo[/b7>u# si 4مv@2TVNa9% `ZkskI:4uLlyඕϤ*pߵ5#u!dc%i.Ny ,@J91_JyGY'B>Y3xD~Gs}wtoJ0PQ7 < )ce.n2NV׹Jv;w9]S9:l y@{\JjdT%sF,ƆWa9c=J)* ϝ.nX'k F>]a ɎXI3GUm|\QF7 2dAPl 0CGE&d$~xi`No&剪aBB09XUX 0G+IsՅdˆ>5 Bƾ '}6\.}33KutO4 YdH<r+̀th۔ ukLC"oKo^Z4WYg3 Al#A ;=u!)(]|'Kr's\4D>[:/)Ş =y(R= u)RjK4Ɠ9c/];95{ =8vGFòY'n_@b*`Ww(KdN1Y ~Xݻ1[V|(<)XJkVl\Gyy3ofV~4URp*bdC2(=΍\k-6PAc\kMM}(礆zLd̰W"⼵-x%Am5R5/6WCj MMlc lUPnDa+̣\b&n\v>Zs[>c> BCX~ygX'AgaX  4+E` A;v!p{ PBPDi63rЧ`xsKVwf quWG>vf> :.rH4TD ؋*N9<GKc;046%-sP*^n^{mw(R“2Q߸ e_}Ft=HLv0H5^]CJ؏9̮%A M3$H>w8/GLTKj6q[*M1[Ti+RbpO 7poAұ5E.H=[#5S&{Yp㤦Pbz] CP }H ۦē^n~S;_1>)3w͡`m"ҭ$9` T+ B*?n=B3R=CMLl>S#Z`)KWP ( ϰ4Пhq?!qT] K%s{۱gYZ0b08e24d58b91be75c16fdeea9e37b4057a4f54496398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b93 ffde4b21d3415856a2aa742263abb20386eebed6 c4cedd534820b6718dcd9765e0d2edb845e32db1