SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  C C1\ ]% HOL-Decision_Procs:threads=2elapsed=567.624cpu=1078.408gc=101.532factor=1.907zXZִF! ]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օH]u‰%nCu#7f63=]]+j~eZJR#En!„j|V 8uNnJ,5azTO3 "8,Z.T HdHD@wOK E8fF0ͭkj:d1'P:8+PvTdMxTBVAs,: |XbM@-?l> ֢8AWEd([%%3NcxD4 qL\gM֓8(~L`ߖDwφA|Xx7DȻ~QZu2Va%kSC΢ )raAyQn3xWi3@ kCr܄ )@R^Hsf%ax2W+y)nkgw3xu"xC,8XCȞΝCe"W iۆ& u*W7IK(=a<'^vyĜa~${@>H? ')1:?Pд(j1D-AXʄor*ٲa'2X>i~OJnUChp U?n6:cu-Bƭg39䏄]'F0YN|4Vą;J* GONec,"P0TZS4xƥz -~`!5@p`:*J3pDNT=ٛKwQhtn9AOXU,=B7rsKj4XYB@i'Q4?>{\6*Cx }C\ukŠņ;ӥ@yL ro yU/3~^JCDF&_zS\mpk-3 Hݐݴ];:8_%҅?dQ7'w!m1DR¹#A7=~Y%c@);OԓI.t UEiInV#lqB inj:*MqMUVr6 P/X35%CaYUw| X<(!|'kK{E^Q^+;:,ʴ}'3lM%!xFHKn uFQ E^V1^m̐Qdp|,P)S8!. ۵&wsaTG`$+H?ڕꫡí>rp9(}S&*c ͏ף奷Y lp[gI Jf mK36WU7}|Iqߐ+E 2(jPfu/E1i + 3V掍^Pd03R%aswXގ|; <N2m*1m+-+Xz\f2T־GRHb%dɑ}9Շ4L!`+'dSMyOPtl$ߟMB?l (8Im@EoJӄ uq)N6xIq;ٌ#f@۾F:XncOSͱB[ G 9#+;@d.-"`M٘qx\o~!D+5~=Z"{8STu2AV ^qe'bkvUPticɼUcU<1Zq<t!]')r`J}9h*YmdwV&6<+oG$ģa pf:GB-~rb#ʚ=hf> )5kH\OVAY\AKjOhsj%$t)BVM|.rU8C,X, f;!utqVs4rFc('h!!m:򁂧E@ @zmy+pۉH,*\hΦM O@ܶZ &1U-j*'r}~TgƵOV kn` NkDlJrFPWEϠ2S;wBjl%'9#/A7bքØ`WD-X>av`t= t׋l<(;I 0q߄ƑV.P zV+NK؍Y+w|>B8ubU-\kXyJ aWO :hJ=E@,) K~WcCQ61Z=]*G)ujNə eMP>%Uo{6UR򝄌SExW ItfδA͠ vvKR}7 e֒T,}p\9~[7xEWV9iY B_topjOV NW:u._D/q @B2O."U>2'*E %݌}UT/H2暝N/(ZBFo~.}“0Hܘ5d;=0bGOX[ pmg^ )ȡ} P7ɝ Ʊb{zT S'pM$=NVڢgeR@6Aum~z.~rtxnQqQ"lͱ 'm~eG~j 0"%y|*YHDPXX@Dr]>5V,IZf [ B~&]t`x=63Wp5 x/ߧ&|!Bi"VYFl'e3;E#yU; |?!.AuC,NSIz1vrPB zSq"",hӤf86rU~Dv:wԚncU{DzUrWkDUV($s:'s,ojͲ~pmvȚ:x:)]x B;sE) 'MC%2jq2fٺd?j dr=}.]O.`XԲn/6G/-,9&#,6ݮg_8jg3=񕳅*MaH#Y9YL)!d0vS}*2t.X_?> LqngaA读+.gmt䦚$).7K_`OCǷbPMnU:x(} $Q6a{55U͋XѤL즽5֥pl*U,"C[~)?D*i˛mnVt/ &˹K\K1jVս)b@}\2,Nůt=CgdXAsAS`8NGB`w}P!v_j%CjxѴ]uwOz.G|X*v/tM r326y@M=+,M,7G-e,&N0s/lmz'RDBLzKT`H?t# Wfcg-HTK2’⳿`4[yT֤An {H[ɲ?OU(kHU{cF-odq(Ѓ!sct6txVEScPkLq?ݛ9!"kzTzՕMۅ{igQfՏx{Đ"jnVcIvz枒&LcWb2&[𾖋mJ"]nQW^Ru"?Ը "Bi!)jUHb'ٻ=ͼf.S,_޶ޡ8j!*օIG>9͹|\ɖ)X>=lM uAE-JlY;'UZՠhM75m*VWHTI _PJwu=}̽<,lj#?,\ `V`F`tow}Ds''>*vj1Z6=bSsAy=M C7ǘu NJ" cb!0؋ZX jsf M&☒N\3 8ƀ!*:ĺUqy)IK^1Z\1`)9CsGjFa';܉뱐:*V~'2 3Nڡ,9: xyRf|.OavaPd>L%~i0q{!`^( AU dUi{O5lYo]|}H 6^!6xQS>:/iUMR.@us)UWR$6݊H5iF5!N-":F ']̝S q+ }ny\ Ҧy{}`sCyy=#Dg47*CG9I(RbWmwԈ>[#[Q({~ T[֧FWKp5/%e$J۱7Mܑa^yU)XlYHf}FH%$ҥl@Yb.U8}+|/m"jgTP\fԜ0Kkͅ4|p:YJnpYP$|@n`6N[M,e:!#y}3lfYW6Zx}X)jZdhefGIEVdm3EA9S Hm48) \>ķ4>qlCJo3xfg$FH˪Pu\ z||g"(jk&i>ko S@ֿ=7=$dVyA Nv?AF/q*fM؆t۵Uk];;Ųjc0fN3S#wùSD\{ l;%27OWE6D?N0&((ǶDRZ\גmΡ;%gEw]|*;2 !,wOv`gIa 9K7*kzk8Z xXU4Yz27Sr[e<{Xe,QuSzK{ޱ0,Au[5%"&_KI>O)+ż[+CJ,?r>I -ӷex8raoc$9ҧ- }16_ibJp&{n+JND 1IQ'VCˉ{wghdXJJ;Fxog/*wgҷ=|ե(xϜ>?ZaW }o:nTd&*y7f2Ǖs] Y$8/Lb# [o`R)(zwoWK\*[Z GC-S-I㩪<`!3Cw{<UC‥8jG cq d(+9 "jaFL@ΪuŶ?Z`hv\bB*<4WK)>*rF=Ա_l2s}׼vO(blx賱mC޿_=S k=#Q.`>:ɯ6U;=Jh`#\|lq᭸mœai^3?ё =Ѓ`#߹;ۏyBr-忷N_gh6^L(Zjm{ߩk?[|>ᦢ%h8Vc3x̍H!ViF2`ۗ.XO2F-&,b]>?Fۘ (:z5_}P)aZ"}ƴ,|/ 1W ;1DãC%Inݡxo6H+jnɹ0zAgϖqN5^Uc<[20H׵D4F"6 w$/nk:j1uiUs VQʖ(N/R,Tkv~,QnV+13`.Di1MX tr 1bu1$a]m pwp9ؠ{fy^W<`Ap[ gL DrI ^CZǞ3V rrN}f\֚>̩ aM'213T[d(L7z!@Xߧ5Y$d.2x 0ttr޸ 89K72bͭ!lv]LvWd'u9{ʣ_(61ͅJ I%c8t: ) D߹M:'vɉ/SUhۂԩ,|Y2?xZu^uϽ͗DkX.D.G:!Ҏm>i7x /C@# N@$0%J/HEzW [5o=A>hRt}_j>lB7x=d=_mҔ.FWb_ AR f.0ŧuh$bTإ]~]h-ItߦȄԭ6;&f4"+"<rkf̓aW)aֆ'e}'Fr[>@'C?+[RS2nW3G%"]*w@4uN}#+u iğOkOͻ@YS5W\NSڳ_[Qwrz(,7#&5o yve/ׯ$`t`Rٜ˦oxU$vX\zDKinguTHva ;FJG/ZgWWQ';WrA-C99\duI;?`@چv. ÚWg=qrE.w֖_'`Ix[@*c~V+Q%`o B-C^ f>z!>\aoNM&'ag#Bh-ݑFr 6&sѭ[uA= kZ Hε4q59/d'w[ AsoU7\8jVߦDKx1N-> V9ޕ-@vW)HL{R|՜G$ lMkC?ī^Cv ~^Y| b'-A=%0H bxጞ~ڹ|,_Of Qꕞ qwWlML"&rѼ =٣w㪠M/;yL3jjҧN+M9:{PY$(-֢V@^_7d0c.. 쭺i30Þd3s|3Om8,7"~( 8cza"^0Y+5hla|)147 rh-K7yh院懺\Y^_s\pOYML0]u569-D{ڝ:0ou5ߦ.% Oז/e JA1XyprXS`jSNK~"'*F9=aZ/c+no4 nni`14ٌM\ C?'N>he݈I3y:9uw@{WQg Ӗn88c[C3نtѼpsHvZi|Uq z< [#T;Sd^l! 2A“Dc@\M=UK| Pq&Jp݋^ S* iv Yǯ.)Pέ`dDV ^sϤG`VؓXIQpV'+# n TMri,F52rXhwQ ;=RD{&Ǔ׾*R<7F 3)13Tޚ"6DlIνVqMSq `aCj2MWs8L(rje.`gt`sAb\y!&)":pX-_DKX젦و4%'KaX>,=;Atƒhĩ~l

ožf`ܘg &ն6t1 CSG>LjRO}[mvnm=QչHXYix$.uB҉<=*emۋ{B(d4,P~yb4V/~\q^ &m˭Q/C8c%mVC* gX&<S9pLǞL#y񕢥Fϲux$ZU{˯lx3O:1+aUvNJ՝ [{xj#C糣AqtUU[xaHj׃(?Z=C0 _,^1Nv_ɢNj-?LKEfB+m#@7ΔX/mt巾tg krGQQ(v:Bfg:|0čt!.#nЈJO'~i 3ZܧD#Ůz WŲE/B$neFr׳F-iڰ⾕Ć/A .[?bY8.]|yI]HB# Ȩ"5vtƶVR1}cXNZ=y# 09 2=8ETmc  wo)W$sZ\/`A k׎D"NO =<,KMJCJYto ufs$3T1y'@=Cg}ۂ_@L/&Yk:u=Qqb1:/ٰW~+[s b~+n -;\) TdzR $\Fj8VY,1m4# 6lYIok%! & @d~=Lmbs ZGBq*+2LRk* #=QA0?` { V6IG/kDۋU$ ]ÆR۾ t Cu (5JϯƋv+1oM{iI$2_ּAUz6|xwPq+O['xN8^wt5J N׫ӒiQj퇕 I!kb;e.~N j_J|^7j_hsJ"fٗ#1Ҿː(S 7Y3 Y(;j @^K~)S^ 0a!0m໪"L5z:CQͲ%J؉KKれwD>Sfa$=b8!O1 mxxϞׇEaIf7Rc|`J]q7tzKS~\Mm^y)"8iu ֗|Bhmֶ: J'br7=M'qvݪA kpQhGSNܑ SD>Gq>Lkyz"0ECU5^\"wiW̭PY+,|JuU,,ŗ _տzz={ϲzH[<pUҊ'XCZ +p*+9w,uĔO'X҂iz"_ب._9/A➿t}#ͻXZ,n=.sW:H%o޷f8wʸ=q!rĝ!~Ïj,_Zv8eKմk $ԀeZ}&6 } W͊rH->3%rl8 9ͪy!>_DZT{JW0Jㅦcx|(DrDğr|"N>* |r_n[+pKGsz:#3zP%^6!J^n|TPhʖEnGKR6',Mp@B7Z0V в]c' ۙ܃['deHT29neO?AG%\g&vSD~7]o|jw'G?Z4*a7zoyĸpX&OcsdG25LzЦSH[Xxg?1L}"D;ݻ-%BJ|As=WDUL)8.E` &apom%m@KIfDNyr34B\J({\dȻlEwY$`u NJ>bfrGa|OI)5~I=pdy jñ)x+ 8r `-FGc[VLwd^#0eS&I'r+3hCWuRَ<Wc<9UPdإܛk5Ҋd2H/%muUSȅ-brB&Ho`ባ?rRe_/鈊}L޸ ?(uP[B6$I1ko9OuF8{σ> ]sĮHnh4z= 4Q$*TwyU~iPH`0$KuoEOWc#uF*'Xk6Rr+>rP>t|\ #fM/)x1 ^:󏳮d@>r EW@<`H?O1F>t= Th kVAע)k7 ky5I$r *#op?8xpô4*p,lD ^BPEAR*\X;ĢM52 p#ŪS׋h 0\da4лR5Dr1% !ٿX$0e)Ubz&Xv;, p5̨J'y#mȕ7P늑5k4kX&e.tw] 5Ϊpe4(+mǷT$fa`^|KZhaƆmzqk%wtdz"iy'8XD_jPN<hi#aŚJB|H$\fU֜\oJ UtPx>bJ5`ގR^IѵDR/[m0X*3T+%N L oaqKρ?m)$-K2/h@aya2+ ]Mb)]?axY jֵڢTj+KW2\Hc'pi5 d;iqۉmO_x~Pæ sQ69x[(CTo.._wƝ9Y.r\+-87;uab]h;.[+z,> 0[󫷶,ty&^ Ƶ /&n2_=XROW>A.|vM%`r"7J\%F^eb~S8c79RLOJ:뿥Dޑ-~b9mc~&CADg;M8WK2?&^2ӭB'Ct6bn.{B`9ݰBD֦O =aYchn+ /'A.A3b,ܿQpYvpXț"6m-+R\)Ywwn;o;Jӵ{ ?)"$mֆqꑽX3!өĐ]I_T3H`0jvEݯBl篨V{lXeEX`Մ ĺ%|^cz;Ty'".*h mBʏ& '$vP3RNN[~/ ߇|e5g~rXavb$ }_.'#&*{@#Rc?KD7稢,4{I.eCN8}.ʊ8ݹ<اB]HVE7;/Zs AlyI޹jL<(J 3ִ_.Y?\$,=ƖnCf0bmM  Lb<͚K)(W-L.~ttVubw5>QCnۍrPnUo#>f'?/84y!-:(3|x}̕@yK &H%w+*e3aQnԺK.{SA&LWr*v<W Ȅjh"[T @qy˦~ĩmg5A$FfJu"hZw@g__'2C)^sK0ˣ<棪=&GY% !եPF{:FܮVRVۖPXlf볬gѮU6O32|w$Wl c|O} *oP.'Sy҂ ~a^8^ GIS A%m;mnVq~odlj<[TcFlRA#!&&0ZrC겼nWw3,QBU,zd=Y3=oQPwj01 Ց̀Ę rG!6n8CV$v|jO o6⎸) kb(FIh(8bQB7S6qBbd  &)l3$;Ƌt%^EL fww}G,Y  $J{#ʜ%_9g3ӃϿFJ ׃/]:n:8#ȝ#6^qI)(z~:bK@ =F6 fE:R_Ή[P {NOv4%2s2EF})dWc s'>wnBE`*[D`?^herfE/%^I q0gsSEṓ*>%7 ?JxcEP3a"!H2Ig4ۡSgmGdEe(J{k`y}v~C6sFe /[O+bk,hm=һ9,ln5d^N4"PFG9.K#LjG:Dr)]ra"‡={,DgO927 +]%X)t*`g++1٤2U*nKoNຯ( mQQLV40<ƜE} RFpXEԃ_v㿝Guh_Jw;< 9n6z}I๲Y3uM]+$qR9"w J[ŕ*n>y`)ShcN6ea"jj=m2C_?HU^7AR%ȁ=I? `p?gE`ezX}fo+_ǰFEz!6V]g/H誤[p~$|.9E i]-C;6ZY0O#VD]A>,= jA=0FPߍV-x^d^P)a\ĹC8fZ>s2{٣6}7|q6;DhJAKК#ZeյD@y!3nQK  ՚dOfEFA{ j'й}eeY)p\K{DQŜ>O_lGIlvQ"#XrQfR}0 yyb-2~:Yut~=VZ or`cU%|~xs~R-TJmB 7e5;2G0-ۧsZQ F> ęDew/4* i"`>[}=8Nixϙ&mYjfI{+L+-[ykE/eGf5Ki+rE=Q7 + HBg&<䍂HCG8#!"-` v I]sޓ Heqۄ9뵟˾pq+mF3H½8otL$6EPj_ޯF-x|Qx{aG[y[oe1~reC?}e_mp&q0Jб8 ':#";ФHbL)3FՓ>#'+1UnJ `}KH#yskԬӓm5[H<z rozgq`Qr0nn-Q>N)ߊߴqV b:hRf]Y$/)cJEU87M辦Uh_½/a5ֻ38Cid ;UAg)%Nux(siXt]4c5Oڬ=ڌU u^hm#B̉l9Șӗ.]LηϢus& 8Ә.5**ÃRP5ܠeU^(QfWz?O `!WcneS'џhKJ.q;qGY4`ӥI!P ?=}c  C9/w? ) gGi:cȿeK.-Nn,bl䰕wX . s\ǓZlr9۔M~O18F>51|,j*A?c~_Q5s .=5$:2snW7z{.9F؞nv,`7ԝQs,KBTA7 V|I'7G^D?(" dS һ':W'L>u/>w10iн\SbF7HãPgC߶\v42$\I%c P)0 } 1CKة~|y5 o0 ӠZ];>G.O3a{v9qx~ d˞)ejڢj@7{t7&!̭sI7hN[D}4޶P"7cwRz=?)"\3PJ;!2gg3aQ淬N S̃dloj/%/!}yJҊ@n&̓Ҩkwֽe g֏dͻJ k6-V[|kwC>8wTӗ %Dx.U2pS;4  `jmY^.=kܥ;AeSߊ8<$u=Kb.H7t ae>.JNzIcЙ ƒ%+:c{ACq~ʓj)ݹx;'ȪjE|*H" -0 (|jXX \.4;7DD>'g`ß'" P?y}f,ZUrj6ג] Mh;sßGÿ*#(;)/kC]<[4.=)z>Gk:O?s lL\oٿ{mP5jT2vfԄjS}2ȉѭ X̌s4G8D!k8J$<-XᾪWp8mdpp,ŠUN.CSm 60_sQXj5tlS "?Z.ql9yXYLU&p$%4$N㰭ShYº7SʥӀUNgJTɛ\ӞH,9oeFq ${tsX3퇭XOjao0d\cV;gs~DڈfFA]Q>[#aJ6?N3ʹk:}oN2`V6TIe8-% 6nUq1#Rswƪa ѩvX*W(Ѓc?ެpQj "%Wc|ad^P'+x2;DR.9v%B|]jK ;6b,NBΠIk֥cO)_\M؁_lZYGe?Q?V~-FC&I+Si]ר/Pu"4L/,64:˫ʻŽ?4S 3Ҳ3L; tQv=үMv]9!!ܬTĐ ~ƐspMM.DnE?qa0I{B>B =INt!q1>0~Z%M^Fy!u:a Wob"#p}@wZF$hݎ z9DKn/M]|P@A)C1Fb6NO]Z\L,-3 j v8Y\3\N3E +?%YD8|C]Ye5[k` Z(fBpH+أ%CcMWڿ7kK +Uk\}р ,l. =c){o%e6P"dԶZ`5iOH3-(#`x93Iw4G+Utzr,F'+Rג@_v=ZWCWaٗMy}+r9{HBk< vFo@gk+O(z٫\>)&c k[f{ ij.fm~?+`rpڲ+_Lsʑܯ?]\nGJR0ٙ:Xp_"*zzsnɌt9^'IYhŊ3bkBNI.̷&܆;~+5J:Q>)o"|c6eDGTԂ'gİeCf.0lhs T)+G+$8R"Ӣr.*2m1RG.ъ7U]Qm#FkY$}?gw@^CYMJ&WGЇ4aKA2jo'[%B9X\B$ 8|q'~-4sKSq+OXo|9*쏏cmk>t0_7ܐŪhEM)QϜa9Z*r*VL7r#\(J9d,BQ)Wy,]j}rO tΪiZ Fs$;T~c%C^v&䂜$FoqWPoL;Gq!%!v!R+=xa*DqGjưrgB=ԁ6$ UX -:y9:SeTGfKRuHݎp'],2`lA. W#6mn@}+2VOa`1eG\l'V2sYSFɌ*n}}Is)8bzH, \zإBDcpp.+5,85z[_R,m@'1*i~zHi~e+:VH)`濖]m?_&DЪqR"/cb<5KvdD jU!doeM<زyR-@?.=$ e'E3G Tv~,̢Y [Wͱ ?䯉=iSWUc_#2K=V-f:ǫ؏=}}BKbu./`nΔ\< 0skyft@wsT-d4t.aJ8Yn,6;~;2L+̙Ňk*Lc3qwśx2Q,AVy&on}MWsZ ,>Q>J#F{wQKY/Q:ǘN1B,ǽ}MT>!u&ش#k?SCd:+C]}-6]G%wJ@nZl: QXZ_WjR9%UEd| C}<$;-[nU w5Lo NO^h @WB`jw 0 덥R޿_ 9sIA t!{MiM)y k= FAϙX˹:g^z? ׫ļS?e_\ ؝PT9_W/'D#/u&lB[ӛBtgr,϶дĉ^0;إD$_q2$~E5s]a[,5 k0YX(@:B|>p&dUt]ߐZd$gӶApo,N{>E[F8&ṘY]7 jޯ {is H sApv.ie&#m?1[}7yء8+(ig  khչl)FrdZ>OVQm|˔cյE5ϾcCyqM9t'LmKJ$UlZq B aOIǏB?Y8Ʉ1Ęŵ,Zwք0Mrt sQ4%bi[ 7G1=c-UMoI=Q*:G\)Te.wv766xgL/E߿6781MńO۵ `B hHwc qDSRҩO)w,gRV Bp'Pp\ x>(OrU^Iw);AMZRA|gouښOm5ظͣR&g]"QADˀ 3 KmXYZvMJUX[%j2N1-m}kBd7QtpָP2GfCcP r<@P2kR;MPU%pި^]lI:{UHPoޥ&$ JAK99הb* O%,bg/z.2#8܎7ķmny$`ߜ)+Yx}ӺSV$پR`׷1X[ɌNf`VP,lW{fxe|֛9ͅLU)VGޜ)Ziބ "ڌ5dJY;ǘ–S 3t:)h :0PtSy%Eshio.h/x~ ;p+С-AsH]I&($ݩ'NBuky}B|2.v'?IF5ʋeQQ~CUس27L/V(קb'xL%|OW"wK$A;˸>̭'eXo8?y߳~*b$(o6rmw+Pǩ|~)b<@opuҽץ 4Ԋ-!RP>0l$)f(&4g7/$s&>N {1D^kfpߐs_2vIxޫV$=TasAC`t p@ qe"Om*<߱3R"d >MTN]LԨ8Z'ڔ?jwL)zQww_VN:a#-wJnyRszRO涎e!p<&qڿׄ'?̿3&hYq)uq=,h( f}D~=(N>T,JN @c ?;m^XFTyBd,YR:vxot+YY}E 0Zu#:P`_ B)ߙRڦb"ŰeKWo=#bt DzHk]TQD[s]Y0]RK2Sɐş23OUg} p-3emuOzY{D/q,4"e VxR`%%"s/UprZLV;rpBb'ktEV.*6>eήҦpy?*RH9+Ųr|?(y"N[Ӝ!wx{1H _ Iїdi(83aV.GT@ e[m`ʟY v4[zd%I1 zqۗ*p d@aφ:?J vJ9Kx1rߴZ.+MJ.l?|+}q4'4 AF)68̛N<Kߔ-M("w[j7p]*Sw_卹f5*z~՛=Du7rAI뵎fiջmK!<}=j-e [N]_SM} ]g%b/~!>?@-IX8!kەXaHR%& тgmuA6o=pd. 6Y1U^TsOmƮ˛--w3P%0'Fnw^K?H$@q~|Rs7凷x24eƨmZ[}PwFpVJK=DIj^?W)C&JWGZ|&qErMX$8:0#IjD/IT-qv{"kX6T reQ=c=6 С ^.0-tv X|Z`,Q^g4ZeG8v:~n)%?r/9"p/nO\mL:ɇT65P~;@F8e-V+%rݵm@f/b;oyR6l@DᾁKd-o~C0ո!s&wt[\ptu/}Fc@e3N70qf3U`թ{$PؐK2L~/RpU;P&7郝SzOQ50B_ʦ]AjT%s 1~e*߀E >j4 a^hIlhÿ-2<3?ӓ^bTsj4=E-`թCY 0ڪrmtɓg3'^qj \U/$$wu\`j0ihH,fnn6.qHVk [/>>7μ`nѳ=d}E< %NJCΖ76M֨W`4R۠])XE<?C:hP ՚Gן+/f^7M&ZNwʪ~&t.Tcu}J/iqbGl_oqSVI -ԶR깵_c󖒖4m*Z;qGu661y B NH'6Z24^fK#S}sh?:FC=ԐkjXΞ./IsW_4d<-PnȓT&X : 0:~n_?k=S\fRmU&TJ{Ѱ>> NH!V Iԟ BSSk8^õpcGЏD*H[ͨ_tVke1C,;\E@l@Uqp9%G/,n"D $5DZ]FՑߎjdzY5 Hv'.N8}R+-~lؚv@!8Sz`>ȭ\lpVIj:.9Xrμ& "2ƹ52/oH7CqdB 5ͫ(qBQ^Wgga$y:#Fy@o5#0f_FvEE&1nyx.owxQ[~/Y+m)6"?M^:dvv'$vЉ+bS[˯ܺDBEe_Ba_z.CWep)u&1+#nyk;,IS485k#R 5lS''X+a=8nt.!Ͱ%E 63 uѤ[!NؘfC d|{ 3,4vGCS؈*áwT9bj r\f1E6I5ON5h|#Vn!h =N]zLlrs2ǟ.T*ڎZ̈G]#"~0y({an*pAgS]ՉTu\H?Ă@K?ɬ ɗ5;롬a.S0,*^b>r#QQu=Bv}75ex0SB'a???%:|Zp'+iTKj0{i UѐtoYlͼ8A7t\$i?#DPbM|^Z<}Ib/aŇvn)ly54c/@gb0`А5Bk$}m^I"GQs{SFf%`Evn@QdG$(LJޚ*ɞ"P\9 t{`Y:0!OA ٝ=o+Cミ ZS]ȖXl55[-OǸZN6N 췝m'ה*ud R0hyJ8=hHsQIvӶ\!$^#[~9Ǿ0jCu1BRg{(X˙Y&{t6 t)A%ܹ E("*d.0XAQ_ \ AfbVգڀW:LQE@ejnO83(cّ]}#BEܓрU=5jkJƛC|L#}YJ=[Qd13]BJrӯuޕ\xT},8,E .IZh#EҋR)my9u:T552yJ>cgH Z6-^IEs1vy@ز% z#WET|٥30tɗ'xw>]yҢG.%v^|D))G'䲮Nٽebx.Xȝ\ `n 40 M!]d8Q]CH_հ-Q=_oЪxΆyU./{NGQk#"#:-knZ*,,efJQվθ͍I>uuYlcܾFˌcԨ7;Jk5;>PyLR^8e}л]2כEO6/>9Cvp`~k{NjoQ[eim8O 'rTETyvJ6j DԈ斬}!=oH{V52J(5CQ+q\gt bfco{0mI=:iuKF)Op40k yiek1Mazm$\ҍaN^,U}Xi#_-Ӝp(Ғ KA&p}gr$ a2(K5)(!qh)'RGOhzg9=SH2kRLfWX{qpR͓%u'B\;UXЗR"ޗ&ZR@ֱkK(pw]}-育 uT ^^3Yɜy :O$\yGy9H+W\ L2Ba2M4uBǧ&*%¨s%,h$Us ă3ϡfT(;En(Gt*4Bɚ Ij] $/7mѲjkNs1j _OpyH,‡ t[>?jpA~aE-MF܂QP(>,KIyq)'3Fw00;fIk8¥_C&R0QgYZ3e5d2636333946851cb8dc50597d0c35b74217759b4902f8e8c2cff8739e12b432b794bca1b63c5f bd7d4d62ea14622c8855a61e25906a49ea079dab 3c21f91ac9ef449f50201c922fc6e9cbb3a20685 f1d838a6349455bbecb37fa00a751e9f80807f48 92d6d21697fe04e453c1d3167c09a9c88cdcfd4f