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 ppd#4<$ ]S Psi_Calculi:threads=2elapsed=580.682cpu=1071.660gc=56.200factor=1.857zXZִF! H~]ŗXf[&q?5qcr5];[quqt 9{zLGi1^(B 뮗Ѫ Z# H[=h^A5%Yw qPJ2@O%K ЎYGO -k%)&)\}'rE'\n$Z]V֯DQlf sjԔ+a^7  ) 7H:6SY.n;e||2Zd ?u S;@nz,p,6s\/T8ǝCAL鮨zs^ZSZΈq jCuejҔs$3y ڳ6[1ȅ_mmW|ةၘ„&tZxGd9Eϖ뫕G#kqs|; "?  NK-$u<{j,/EpcʧI-LNChe׬]˓GQm0B┓'Ҷ䲳 OPǧAHKx9á}+ƉnF6+m{}l871u Zv(`ePv{l+egսJ~Dwj`d&cS:0ܮi8l*b] 1}Pqw9r_!y3p<>۱_Ñ!"@l!o} N'7-T1v ʣ>ʶ9mmF +#t|e ʐp)o=Nz5GVe6ns+()iCI%A̾QWŧn abjGˤAі3]c(]T$s׮/-g Ɗ+ʬGҬ"'/;NGWڶ4.=V!AK!xq*JTRUmY$OZ0)|Ťobxy?$eAɝbt硊,(Wyv䨍aAwK3_7<%P<7HrAw-8Pip":t [ Aƃjfk|r[+iÙ/'X\!IC[Ŧ́[KZX27UN}bfL~e?! `CLz<:3js]՘$I4G1/  Yvd \h. OyÛݾ̎{CHQ@EaGNtuϙ<%]7xNȋb:R]Y+zKh$8FEjpXz%A6s\X<ї'}GV.&j{5n+"}gG=3|A 6(ɂKE~U+[ zbN8u8Sܬd=|\:Qs=eo/3\NMWMx pB]LuWTS__Oǜ[]t8OkT\$ llgp9d/N&}rfYrtRUQ~&AQByڶ)_t;b[୨<kؚpk(dvt&jVqӹPT1u |G!ƞ<0KUF\gZ\4j#ʪC3m[u3<X`Dw9aؙ/I·K?T rɀ>wKGMKyh?ȣ,U2&ĀyV"́ 4}jTqÿ*R_NbGtA+/$ePʕ.<,Px+F3%{_IUV|l3}` i꞉`S$3j|}t7p0/huMf]$J, WWylhZo'~q1]&nƧ :O=5HqFFz Íc>fSsdj.q$DUCF|{7hٻkQ+i YFe|mEB ʳڡg'1~PkQ&tH& uA< ^ Eµ[U`w, Y#$ 0X{ǴŗߣH_q_PwaL_\"*Mmv~MdFYy YœkBq sȱtk{$OH|4|a4`2QԲ2|3G]+0!M09>P,L)MT¹7M/C2Tܟ(g1FYXd AoIH~1;hWmA~H"ܮUl[|nA$YuBqhڝm^6N:E =xKg\|k"=D6Vi8r%`w)8۬Z91K 4ŅKKӤ!8G`6ޱ<&gm(K R.BY[u(o- 9)9Nn!:/moCMn SZs:i#6ݰ27Nl 7xaz$iiʽ{j##S;׬BG28aV 05u>_4]};oMf;̰cwe)bl9<3c 1ԦT3pUp'&v{|5o̩\E͵@eVR, ۞ҴRFe+탧uJ3;$7y%iW۳/CJL'./1_Bm q$Rߘmj`?[vp7Y@u26Q]SͽbѬHW -HeG:BSiwĵxOxz=) HkDm@ z;bm"P}^NwSءOS֥t:FH`Z'IGd#+cw4TMz 68[{S KÃɝtڮM23-VE+\Sd.'鎓 NCc^?nT2n@CgBhCdLQz>F[ 5Թ'!5p \rkz+&iC&EsT"֫V l+yaU%ѝMeN?m7WD#^Ս[Ho}bA+pKմ" 7x:D=%r  v\(,Y"`ṉoϕiK?8Q,bY78}j`!o}۟֐A&uݖbAvJY 7BXnE)`fdž!*CI!"&B"n^/r * rSKH̺1YXwX8+ر9%C_{xt Jk:7V/Ss$"B6,7=FXJg6SnM7wҥ/D؂&AzOJ,>ԓlm)Mj k ;?WV6I'reaļwB_ȺG6Әg dDp8~@>:Sy{\uj1)*Wḕ|( ;/wLwTFu5Hr≻Z#f߉t@ 2+EYMΑÇBb0yA$N/Gn\vgִ1u'/SdպfW'z |BU .T܄lVN!!{etp 6,Bޙ=M;V>kx+DꋱaQov,w4c*G SZ?U>Q+O:RWVGHq'E#1[dmSkZZQMZ=KFd=;-#{W痴U" GfùnpyN5Qd7GbTV0dVSi4XĢul2x ׵%kNy[?Gu u ])F Gpn>xiXK@sK! ci}Uq?q2RCMm 9EuKi.6;3E<!Sd -6SA;{l]yy]ڲwa1)~˫ ˳_a͌gmȸʒ#9_3>eG:poS̳&`G| ])6!Cg CdCm< e)ȐG9xR-J(L`AI>|633G [??@B3Abj^{OWx})CZGܖH IzTA{U(]?8_X@ك-N]ؖCaopH胙 ~..Dyp ly^ =>BXW:oYMF 0ǎBXzXkGLMF|i|Ӹ.q`UDQzf1zRj ̬?7C YC[aRf]fލ}JI&$LH_g-NGˌcf9y4GGk7PT[E~1Ð;Vҫ]dQ3ЏP h[ e=຦O3?kK7Csun쑡4#UJG66YGU)M8V#& ;`q)$$ )Vxӄ6DE64瓓Mj 6 妢u]\Ul2\d%&gabdڜ κ 1UKjr2Z=Pp_ʺiBKɰzw(}5]_G5(Gz+N ":@(⫛;E]L N_hKU;E7%L I2:aKۮUc9пf>fƶH{[hL)OqδhUmYb?3pv=lf(:U8i{aS 6W VO03W)D&Ci]P eoq\%S_v|9s[b$42EA_"/2T4kӼlxGqQ VB޳@$8w7G(?GH#DufN; _NH`u=.9>KgYZ7zXZִF! C]ŗXiɟ˗̵w'Sɺl!\c!$G̴[dURT0EG\T&wB.&qOVx7Je]? > QTtDXNh/a,w^wUPdžz-["%P "(8#!lml˻v;ۏGi|v6V)qxPr]ZCz\oG֧?ɻ:CHe2Pcg|Ԯ3{%COfyө1VQT-gm}up<̎^ 7mjm& u5 Gv)%T{P”ĞMw@{a3`]uybnJ)E>߂'MZ9}) U`ye60Rd3ZYf_c| j}&(H&f[lr1J?46ڔʩF7[AW##Cx5AwY%" ۆZ1T% t [r.BZ6@om Q*<'{Q_$3zq$ZLN2d"& "mJ"!VPrw" LT:=RI;i_->J^D;ngYZ7zXZִF! |]ŗXi%>ghQpbsSQ9())ZXOo BnX( ~jݠaĮ)&rAc')XmGL˹ĔAf>C;i%x3F@̟~@:-=[yEg&uc>&,_f=r0(wK]I#iuXn WAvHW\1C7vR[OIHH<"a)8C9oI'BQƃ,J'ѺH 2E_%tRȺάTm7 Q?obJuCCTBm}X<Z_29o74xnq\&5NUrAg o~WmҞ}Uw_sQ[po Z4lkd6Ũr/9E$#Z=/@9w"]Vg_~8Bz؁h LtA[o,:ĿC{')dD#F`.Q=:vl$nM{tL(J>On~DZtxۜl8dZ 8)\$:bM2 \L{y8g;4Ap8>=K1:4\pΤ1,/  AS!y7ݝtz~- u`]p.܀hBO^>HВ`d*#ɼ%Q*eC\ħRs蚋uG[_X=7^-+oڍ,pu]!+v0"D|#V2n4zOh|. =f/'ݑ\tDY×yF"_A ?GOL΂:jo~#ک _Ah kUȫom`xlA{ 1O{Q?ӉN.T87z:$_~%F2{=@Z;oB(Чҗ]yux(ksSma̍ș$uTo:/EJb4%o[MHN1J#;Ž.ȲܤEt4$dEփ88ny]9G #/MըԖG̷I<M(EؗB_ a!b 6fUM1naX l45^?7š=Ki͕Eml+^X>᳸OzXпg-5f  9D|ڢF6o}؎ E -Cy]|ryfk=jRBFaJOz't`rCtS; 1L[l Gؿ6 e.FUZ&s< ,"^"[,ƒ92dܿ@93.N#dsvcg~wcF2v8ȥ#HFXu M[d"g=o_rwmA)O d1' &u,$ϧd/4U^VX/ EƠaUkA4.b_ݣ'Qjņ[:;#$v/nOD8+!X}:skDIJ@"*Ƿ+ԩ+|bsLSl o<VJ03]YO[-c?<#Q.j~t6=@oFvߧGSW=Ks:H?EPjߐci!QDVUj|%Fdى&3vJ(%yBiV"m%B=.4$n`z: v=Nrj^֯O8GяQ^ O[.P++! goR@>*wwY0wtHeD6+diP#I .*FM@Wwiگ=+穈YA9,jFS! lPN#v+ARUqޫ*2%Yo!u?ثyɝdD MA%āC3)d~@?AyiCJ!.\!觥t]Q1O0݇6Bw{)7GQpi4g^O+BK<@ #|R1iQcPt's|Ƙ7i+JXl> %[3YaI3Mcn4<1Ph1ʒ>;(&MWct" uZ`Rs();HI!u~]vFT?_~6{O|=oL_)bmF8ex Kr;F W- #a5hag>\] "4c31vAFīǥJ\n:Jїsu2E Q4 ^鬩[bV[+Mu)Ȧ)Z2i-٤{ѣO5# 6N!,`\ugJi/KzET3nvUBwp;QG ФQI3$,t9,zɐ\ KT{[\D].]EO/LYg w)<;-WmeՒ S-+ >f߰?C V6 fz!y3X6 P4a_]z:hM""xi#! R!J`' ?8"z83ğ*i†غ2R ҝ5@[qمW Dʂv4DL|S5V/[Qd4-v$%X4ґ014CCoIB L ("ԏmf+ϡv@bt m-srD1'AW%m0[.Z(b^3`|gbCD3jxTmHeY:{M`%etZH3O㪮}E$Fz8^-2VO/ Ϻ^RTPVH>B[,* 36g-{3D“ /tIgsuW3n2r\:f5%P~RA v"8h'pvD'?2PzzmW_7R+\ ШF->u rݲ v^91-]:|Fٻ Mݹ)6^cbŪyUm}}jw<#0_-yDO ܜwYh0Y=8ULW ?& ] x(aƙ '^ՑŚ h H7~4-PGO? x5B2>K~+~CW^R@sKx$$ ; 6N2ENayN6?V[y*Kdg\c ^)ET_WwH*LG+CjVUm<][&e?czʨ4cw}Mu+h{6_$"NCdaur{H8ai-Bba ]&kVqGW&Yl66PMO_ ZU.@e1`̭,fa/eBJQ3';RFBS7@zR;wEZDYܭMIwW U]8 U z7X@4'0-k9y}RyLZ(WYHzvrVUxxpA-߉}A}MGlSth9+]Ix78R-@N}ck2,Z=F7Or _7(3D׺P 6ikv,8mAcDΕnB^6(>h2"S M{#|.>PEoû_Q$*SA\@hZd1K iZ^*DuѢ9^ JQt_kj3\<ҝofJ~ E0p!RGy%8f]. ;0V jahPV(>%ͮ/@giF=)y+74 E:9'/?| jYoLv, *c_z(o/Vrc`JiɆ fU LߟpV+슽F< .󨥢%]2dnQmr2.-s[f,r\p= :c>Ce@QdzkkVh`zMEi2WfdaC2PDb* l;(QTj[҇Y2/U\Su M, qz!HUrZ9}(lJs?cƫ˽wd$R?)}r`M#W˔('l ҕCWc)k66J5hqIQUzVWf6vV(j)׊]/)vّ'O)AW=m>D4OV ѹ'*ٶ!|J`sڭ͑Q~w ^ړ0yub&.VھaL)~tT{h5Gj "x{ȒjSa08kF9z~%P/> z6f|u0裺m isiax m!.Ii&hma{[XnGkVgf3N97k*¥M(NMP~QLc%)= !tb[~V" wHݝY)Z%$)Mst*}h"ј{wa6CP#j `޷dT .ෂt ^X{LSޒW[ ~5nޱa{]7 :w{PRwck:!r[$)`Wɠ,23;:>ܫN z_s $)=`C*"hZ#h agZG& Ԋ i(}$=37x B!hQN3?sD'R-v< b'%X\l(Q֖સ'AG2) $lq@ {YYgd;B?7U _7zwo+90կя7iа3z1OM|5o>h8}V6C^`/5Pkɡ^^L:!+N}&D8dXiC3qO sF[$!I'Hʡ_ uMVxe Nw=}Rh 4G.Q6/'`>ƈzkw{JY>@ 6./ mQ"aBe򹠺O&=D'hleHJa[rSPY<}ƉBz&.4E -we07^?e*[}h٫J(<|@ W-u!寧MY}ܘq=̈́5KN(H[MtOJvpT9zڦ%-A?^ rt_Z\Opf5;9>T_e!O̜[l!D lwvR~dTey ΒTM]jUFE3WbaQ\fNx/jԙ5׎[z䷞ӄqmgXexzwiX)Xڞ `0涑f l~F~p`.Q'FLP*VWU0UY% P[+F|ݝfBp3E9 Y\2}'˲m-[qDCcrcW>vm+g? gLWJ݅[%ӆo[=[at2*ư'}dx|?vxN> Er2+X+;K}&˪b[ί:?G&L޹g2XIrk7s6?UT?=_0prJT9@dHsZhdapϒ@0 RcJWMS|FUp V Q: Z3;O$fQXEkmmgGM<ԝ<>teK3 E=C l4RȡKY3۶ʦ-foy&6^حuqRџ]o|7CT,cU >LƝ@zZ*KiTB &OJռHln&O}P&K8ZDT2f~M SvM^8uJ ,+u}I\B cJYv1]RqzuܴodIshc.~34c.D+H-ѲzDnJZ{ZCeVVfjQ`^G 4<0ZXg qxY170'~B"z"^*ayS5:Vw3å/f!+K"vtkWL;0]6(GIY$lSbsuB7 ntEG%XC$"6%[;l\o:Yn#: {K.c)EiWfɎeEd!/ :Dv)TxU<,Tp{bk" l_$QXaD^7*-s%=0Ea!IԴCQŰ(֋Sfؾ#|7<|Y +O?65)g,egy467͑DɦKŌ&zU+jecUY?VE8t okM6⒅ mN!6:]:NKSV[Zr[UޅcC@Q&Q*v+@.7/Ar-XX7VI^ p8]4~=Xi-IR7H#o . vpB\yòfI^03bH6?5{#p5H%5IUUhU+z޷v?Un/8Sz/I#iZ#L76IQվehEEʇ$mͫg3cG.tu?R*k& e {yAyxMt|yG$e)&L]1o.Y}7 8'|MIJ..!2E)b/`Z=}NBWAHY8Ϛ7qT(A>RmSʢXר5h="#?Efދ[z#C`@~0uuD]Wա&S@{>*@XwǬG5۶vƴD4Z$ner6e%ߴ$cX5Sm yN~yZrVChMO%3K 3ɀ^~O__gbiqb;s~]`'Q~䇖_Yes~umȝb|K=!._YZgHB_ъ+|aYa +>^cw]yߛtf6w;baߧx(m%c38{ݪ~ /nʳ2µ{_Lcgg88=Q;*g%y¢x,%nTR` V7'Fܶ&qiu7ή_3X6m漞̏?[ZO qg"rm|[+'-+u#^I1똂?d/3)}u"-IE+ O XJV9z`"kvvmNKRM/}V5_*?ɒ+/a݁3gAwQny YZ+\icLS Z "SsO)”b/Oq~.yYr#F?\9LrwdXse1/hjtIk{~`>3y)%.~گw"dʩS?cfIOW5sǫUۛ{#.+uTa"kM.~|U?fx2GpIT(Zw.7eHݜc6^}`3~&o&gӁj|m15,h:+Y}hdq̻b>!'>e.)xE} ~$Ъ.g]{7,wd5k~vOo>DsjA* ՕH;?e~@9?1ޛ!*QTmM8vu"Auw@2/O)@ǝFDgr_SFueHԩn`4cp.@]„h*IBqi;G? eILLVzDg>,(zG׌Jk}e'x_qiejd`*fދ!q +!Yɡ+w.#[):0Z6f;ZV CњUx/hJ[jLD]Z{j=tJIn96}lV~hӴˣPFr˪# !7me0/0O#NL*%Rp,tbe]S sz~[F< 3RQ7:~;[yKUrR^ H)}5ה[,+&4~JfkP@Rԫr:|M[뿓,v@摼PU)OeWVІO;U) /*%y^?vӻKD3bFLLM}G6wLZ 6[)2pjY]V+M` V@WIAnZa=sZtwVL<-8k>)XK OS!ݎYYK<輿p3̝{VIC"БOE .iQ,4;04f+xߧBq0wK>l|`\rtBe Omh/W.?yȘ h]KmsQ; ,κ3m@N%՘L_aM=?ݦDB< nszJeӀ{svg$/sqhp R ;RބʒXl0on%\ˑ_'Eb? 8|1W0n^j(՞Ahpvk:qog=6 pwVcX]VCGl};&KoRB/8%X(tXK^&⁅8y{DO2{57KbWU;egu~z p*yiVBk [H Z<3?`5Y ͆9f#؀8k..$t%hex$Md tW7)CEH;J:ju\5SSFXn]x^2 !~`ּD$ fSt@rOo_1~k' e&!!G9re_|01gAE(UM5.%(^8=WӖ Ӻ ~9b͓t0 z‰~D\f7. uSMvM趽g!8M萞4iѭ"8A%=qS3ρ[narJ"ScZi+?gD!otMv0JUqgf* hm~[&٫ j{}Ȱ d<0z p1j76ɫUy"1t e R>sꛬ^EItthd2o 1fe #;p;#Fѽ*Hs`eNjgvhXT}y{f?%8)  qPJw0ԕ- 秴 G8jHZwɁ…z>:k)gt"+8h L}=}񧦭VybC}K'vrZ!%T˷k}nΛy4 X M1̵[?5i*+\f ~^ܦaq _S@ $4:+m@ Sw n-O]a xG>0<DHtM 41g|ϼLs!sN!A79L؀JᙷgO]Nr%J%#~aD"{ T+ ;p}bZ Pf -Fΰ`Jyw+%BIr p;;Gky@Uh U!Pe;`6a.U8fUҲQr%*F-vߏ*T*Utl6_O E/{!1<ؔ)~ޞvKd.{  g9j{=1jƷ#%YoC*„xO%qiPëU/۷瀹 J{lx¾R>e/((ݿ~@OP9G>m߾K:%u[REW5ԏ!(F~ Iд4Z9S N-ݿ{E巓=m8` DW5i~= %`)`V\fJ"ed+rCKy'7nU&m|uKnOOc#wsn3 ll*΃;+90>ʹ(PrTA%GD-զ{<\=aGsnC!Uci_j}LUeH4GmAF7&*\as}W_i:|и1OE(FqSpqgBKB.wMtz2ylI [yѣ)Gnx^.6u|ftDG"ccwwDQ"Ml<ŋ:'#V2oLXf1V|qΫ TQl/@ ɾykR]>v=#;R'd0OzD c].i7y T(+3<%,邑 7zJ^kwͣ>&"gQ]ƜX EEɛ͗6H8%\"oIĥ3m &Zxp 4"NyHUY>qjnR "w7KeykSqN l~M_p]Aoo%OA->.+N<>W_6zeXF~&ȋ٨U]P.^PDz$%fB*l}(}Gh:{9gxNAp dAs~:nM( ~D[W]qF֋JjXcQk\e0E WM HEHEM(Ype] hl~/# rȲ+d+:~BЍ#7;R]XTH+ Q)HJ1{_؜]缈U:+0W\;l3msmfl5 jJ(L]Ԡ?[<_*\6Wڢk1OP>g!ROx.q_~iKO.YBP=ёZ5UeoIC$)x^'3pʏy]jbk8:گJH $p{#'9PZ O\&c)`!`534u)|V"T/HZ[Ny0TVլp 3N1`2 I@ i10Mzj}{NИ汔9kZ0 XM>H3eqWVтY) X҉bMFX[!*oF(ƄREjT#)Ύ 6iKB8AGx3ޤu3%L@.M+-15;e֐3ŢʦFH H{#תl *ޕw0E[n-V [DSfyD W̾|WpCDhoUzEz%[-#| :38gAU\ϒȲ^V%w-~]GBWQu*>qG. r6 .'T{>}:n9`rƸG4'g~=Bm90}FtG5 R@LWm2(I Sk>#5NR6"o]P$3,r5~Rúh.9B*f?߇t+%@"~ @ Alt#ۍL %E/-!uSlS?S0Z66Y/spYX7!YP#w'B-Zob0&W{R59hjL<0@HЀH,t5=f1X}E1w^dL%(W @يJ?5 1C&)7&<%J!W5mF?q;az{[U7l%~.}mfV N[jm+]nzK~2Șef/,tIϬ6lUb;26h;JVzUBP@~m^<[ $:t6iFstƭ:ʄsOd>飋 N+VΈ"O냏~j  ^!蘞ϝ,62^0a98e$Tt{돈o[#q-4tt4kv?ǒq)@$r3E01];Ħ޹%|'ow7ĥ3;)Xf {uG2O45dZn5UƱEF l[hU敳3Ӻ+RfU|z;X5oT4dD4zn!5PHF,} 8p=(|/)@$eW6jeB~D@]=e>ah Ík.ͅT=]DЙi)eMbkSM)L9X[]u(u$GCTEeK:&;ռ=# OI:2-r8x|mM$EZ*/H<T335b@?,s(CЏ8A̫3W^pA僻Vh6s:ZW E@-cS-U9qǒgD>i>xR;F ѺTZĴ lAi4wxZk5C-N>uVo;m/pR6?;I{XSeKis;E)S <sr7ef+J^C/Ej3/%w늄϶A \k]ܗ^Ow$ HóGP 3( @mB,KMzY( x@2TB" ڭCa{7GpV8!9hXsNϰ0[L[p?̎! G=Nyiޅh}A|DE`[<_$άRHdIJ{܃kXk(77䗝Yr:V ۞^t8eҍ!U&Ee '+.uPei\M̥rMvwy->ʬ"?,~}aepᷘ:iKo`X ݲxsg̈$D˯kx=k .b':n}*/-dssȕtM\@Q8*1A$Vj97y: `=y !I0GA2Bo%9 zzxu;ɏS8[8ipE`ytI» v'"29BXw4ON SF^=I#'ܚGʙ5EAHkL5R}ouېI4J7u-Nb<,P H(ȋ'JAho+F"rf 8"3?VEm4;[cM -XqEۦBtפkz84$'6o+zǑ2m4=PTH jBfMkɮ&ۓ" )@Rre!x)9y*-vIl:Zc*l?b /9P>YUh /Wd&!0>攖B>h4XSĚi(˰uL%/(}7z uմM ;{lpj ^G8{㑦]+jP.7o_-nqUF 9`|m( ;=#|ҳ=7 ]Tڡ5 Gy,8w LCOؗXAe~|yfU-zcL?ai\ u9s'\Yy&#}s f{u$ykDc1|@/%؂2ѝ-b:8lY'o Ql<=;|FksJ-}F7W ?mE{.Sr9n|!mg=ypm^5$)cTKlKAx^f?s{xsÇ@IwgaEa٪Pdɚ4S|WR@?WHY!^ Bg,J@PPY >0k*S:1y@J(fd,j"!#=mK2r :1B־Ihm# URd2O( IMo 뢖BE}i?pm#X~WKKY-Nr?\P= '3,10YvyL-r(BRN+s%;!$ΐߒy SazctDCc{i2HY%gN)O;R9C_GTCA͖O,d7`v]3{G"r m`F!Ss<5 A !! y;9dXTXFQ6W`e?v:r,b\d"V^|VF Β}ΎU9${9/ ,o-#| OYΥ-'hB4<ޠ{iRTJlђ͙jd b,nh4mafL[K sSWiԶ= N51nUWiN9t{ZAVЂn3v0ʦVC( O$:R^U.64U΍/xf̸3y+-bNe0 }]$A\ʠ{)x,ns;:+]z4x|'72#.jj pi7lx yr$v)fekN]4R[}E «)0ww 3<єu{-- YĹ i\FWJ{ *qG&&ŧtk5Ls_2O12R@k@F "hRP "ny`䤱q#ɣUV+/n QS 1yL7Ť'멒BH` c䟁̗} FQ{qMF|Kffv' ۤ(Lcb>M.%A}$|EUt):nt\<~nNPOgf0#ZI.Ii*DDA4cLvc+G|AĢ xڡ:}9P*.knD(&ZS@ t!\c%OV3ф>rf܆LBxu޹i655 t\OeZ+zl?389t|\Xbj o4K͂YћAsf>xtSb ($cn9B/$w.V&(!gٖ\ZꗰNEzn՛a"v:0MmlG2a |}}dc1ӷ@#BNAUڿnO3փՕ̖Z,䇝9@B%´jG|?:t' ב8M0jkBIS5C=܀SsOTIV^md뢴ftiSpÑ 'h)ѣ8?FAV]nzt~ѡ;)5=._.~@Wè6ã(yXAJ|g恢o:QW`.g amݚr՛ ˿Hx6νxɠCr8J]:R並d*Ryj35Hښkud"kڄ9,,\Tאpz#Ê.kv_2M'aYD0ٛX;leM} O()ڒ'uЬ't< u=Z,Bt_%93>)AP=Jzg\ێ:>21Ո/"^}hOE4=IZ>-1_i%m].F^ͨvIm\S)Gɻ،J"\z-v=BeKeG9E"Y8&G_=>pji?OWǛ,O8vj]?=U`2YTq㥮L1Ua0)sI6* Vŷ'^l8"S=Lk`uW#iB0:,; Ǽ4+&d,=VW ?=eqGצo(:e/T{\kUAGD㧫 ( NBVț>U-W7)}i S9y{~θXeXcx_$fZ}/~^I^)/W`ϝU8I}o.K Z4Kftr:],f3ZkXk2LC-rLiN}m,AV\J@(Qz-(0cRnn"ĩkjob{79H--@tn&v.x[*ʁ{oBʽ낁dl\sf X&X8Nlu("-V>G=, 9pELshL\7فcrd;{Q8mx@x<}'iЫ\#_ !:uk\' \* K- ?ʽ.U^HB@-2^=ք.8SDQ6"5Y{R9H?ufJPrWr . lIJ+;e_Z╮ ӆH6v6Hecyn0xߐJc D&&=>';K4[ĸ*pL5~Avc #ayWK08[m<#h+WT>&ҕ6x`)59J1'@,G]#(+^kncKq;}bq./r7CE,iSt[>ۧ{eaShe!$aUOA|@^#K%8~]:A?5!~TV8Ff?U/Ue~Hx` b=fe3k}}S;HMM*aGQnUٯIeӉ]!Rp$JC%B~rzxj1`aT5~>TOG3{.4LקЉ-tY֚6Y3M*;5[e)C*>4M@=mIIlN2맒fUbNvY}ǠzNMQ#٪,T;.`Is!K且7z5ԭ_sy`1 (]ty #rUO,ѧQ"ބ)LUKl5K6k|iYPg՚\d"N1`-@={[:r}mͶmHh.ga.OvvV"Np6 `Qs1a#,3&G5FKcgwoJ ( :x$@<^VS`ږFK\G NѺo1Qmk!'ANkwKDUWO=EcG:ڣ/UXk+d_l 4el>Nu.ƵZSŚgtqڽ nHy5QrQE)͗Ra έo=3t,HOy2E l~ 400:R[`\R ~9ci>8w汗?sAuf$ \ֈcU+F}~τR;mnoyRtv j励ἯageotM›kyWpy2qs(@`a>.VD`ݐW84(<^RqЦ{-YpY ^X^,c(ནfŸ Rm&d/x&.NPr3 o^iC"PdXd[ UI2ya9ouy=i#7_)tr?>DA}3[nj}#RU->ѫVt>gX3F/M!zb͆8f6z]w??Bg lm&QֶV4o\}< D{wDyoWZ{|҃}G:zGIuvW9vqF`#K6w/@-e~ԡ|9!\&;lbelZ^cd7p?Q1}E3+FFC[}u+QBB~Ց[RE"Ս֦3tpVB/8yqhGm(^5:=ܷY9g'nHsa*^鯥ގ 5ڬI--DklA;3\cKeW@(/{gp+ ƥ]M xFCQ~*h]>gxl{`T|lX_ߒ 6gx4{AT2L\k{<¾Fsp9ʶ}0'\Glզ -EťVȱN2Q EN9|7c׬=B`*/<t O0bk"a*?4lX{ACKkvA_Ňk}Eg8ɘ*&gSpVFTV=OR'ސwN2g:YbBJ2I~倎-Y]ֻgUTME]؛{sK^[y':..ŠWړ4: tƝ} 2|,P۾UDl9"]3z>=24*ZS-Ug@|\@%ZP@bE|d킺JB޺ci[:'>&[̨2훨opvE\U?ڔҁxsi`jraGZ;~9*[TS$ g{ um-׬GS]Ao7a'( / 4N>['/ 9_X|F@:2xM&U*XM@cK![2~Ít2*?c6-ڹ˘ JRyiYk>,]N_5B^żũ(I "5t#,y=9Qپ:lH:A-WFapAIqU9{%DmslI*3di(ICh.̟;ffa]OȺwp gXƩmafMSK>,{-)pJM?uM:z|sPX|3r\(Q웂i(%Z(i!࿁*y!qs2~[ߋN()j/N*`k%=Ġ!Z9/\^T&z!7LVg* Ј X$H7/de quT;m~b+>-^CB\DhdOj oaB1 2STH4`Vse7C/Icrkb,,|R}1hЭ&$: qHѯ{Ԥw "^ ֪钬<$pR0PUw6wD^d, UP&A ~6c<*oӎش;s5owb-!G[O״~pN#ņ@ۤrF5zpf#lփ8ylG_k@%^כ~=Խ:-+EibPO;H!q#=ñQ:btgQ7t?Ozh!cAm8`3^qB>|Qͧ`W(}w nF̪U6O,ܖ@ݛ|-$CpiSqw+,%pHtf%?oVJ}@{acŔ_P{FNh  \n6K}]`bSw*PxnTP+Xآ@'B p?t`N{X͜wn.&1kmO|nϷB7o 3q{˿xg3;ѐCcWpѶ>࿙y$w dc,׏ 7L|9okygͥ/H q;R* KZ<*!TvsIV:E70+ĕG@xojݲѨ[Roa ;f+j4=yWr]0u&Pa5;~'/pEΗֶd>3VtKGNՈMʺ71+|E,cGѳcJ0v*RTΏ'={Ǻcò"gL񵢊#V ƁuSOuG|/&=z.]۶8bS=~*kFݤy/ ~y/xhd5U$=[vnזCVݘͼ{G{^Pu+,2gYZ02ae6ad3595f8ff0a19e060f63d10a2cd6008fad0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 187cd0750a4e84b8f6e336ec33c9c859e7d67209