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 F9~|vϩKxR{y;b !'HFF"G#b.=ljh-IMz<+uVq!i:nZ@}}+N]GXkF8cG=]Jis]?to}KMgrx[. ɡt|i HĹ_(e,*eS6R" ";Vo%l]drCP#-ű+#rx`(uQA?)0؄j>UQs H I|!OX OtAިy+ҙ6[hnv9b" 2)[LgUV+@h23b!'17DCJܚKs1Y*I8k@P|@~I0@uwgdȍZ[C}*.WYS( шPnBp_(uج.!yײhSKal\34P }^ ˨724 +?\UKsw_mf7t +gͅC x(mcYHASL9 QG1 ^#:l3V _=8 :j#[e΍v iIgYZ7zXZִF!  ]ŗXiɟ1)*u%9hF! JH+pW)Jzå,Hǫrlxqy,2?~ W4L.d6/FCUٳA&]xd x뫻{?9g_3Y+A)y9fPܲuT׹YTiΈ/$>-#% T)wvn5KIl5~c_SEY8#<N4؎DžYv&u$1#Ď~^xk!l/|`0c_ƫjԘ[/B$L!%C0|꺨}Jр8;ikl?I2YB+󒸳CZKW#X[ߐu?lXWDpvF4i`VU|B4sw3\|c!hG\4t4ߘD|S!ŏSL]'$${G<:O>ɡ]an*"YT8kE g[4ͿD;v3ꖁ[!9wf8{OP"QAT ̵1EYeQ]ȑ<$ߤen[86 mΒf/yVcG? }wO>SzNrA㻷ۊ76dqq:4H@y%ѣmX%UCYͺq[5ONb9>2U!Wk_K(,sW٠60#[ڪQo٪v惼ȢOPSm5C}/#` ?T HekWS5L@`*=9FTa-NPU<`JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZ Mqzb`"6{pYAsφu:4r PNYxB4.UG[/$. TLb ˑb+/ҝm ͧ@X'ca:Hy89H4< /eQ/Ũc5dS;Ub!["-#ZHMgLorQ-~o>,<I9o]X$4!Qu+.3RH;ǭWϡ3 M3~xhU#ס*dph/،LfRH䛥"}IT:̄E7G8#"2N,pkul'iEO~y6r(^B.r|B^g\l[y*f>j@-@j0|hpk)'}a# @X*ʨ"9ƨ-$jVJgQs[K>@t(L+, َpQ?'e 06ur5zmwƲw5yb;>{lߔ/ͪS2-ء]T}/szyØ4!C=U* r} IJ`"04f[g\XUB៺]gg&zDP6Dɳ =Z O euq%?l7 }73G;&f̨ƷHy*@o5@ ҁMÌg(d@UQ= m?thX\=E{E2jXYle 9Kp?>=Q<Q蕫,MC8@ڗE=&Q 6MCx's]:Gδ3I١plIF7^PNoq`?+)p>] ry ECgeJE71ȣӈ ؛.zShI 墸] -ҕOo/bd/ waTf? !t3 GDqpc K[ꆗwO 9vn.b7ӣl%{;xziMcr9C@׍N9R-qL8!wr߶^:fvI 3[ץzE1-:֩^l39V;釴K~0_tSK,YڈW# ~gMrWBlyub;) w,悷Ss`!0݃~^cM A ;Gn~Y@֪K=Yd+r~0GD&RhR3M\4|#Ar9 }HH<XglzbzSd&aP 2*) W I OS1a[pdI2WYL^V1j~JK 6+ /RCIAeȱ`)؃vrJ0Ri8bup:E8GSŊ&S}?ЊӸtqRۄaV  Ț%dm 06ްZ-*T8˲u$8:EdAW'+Znu+C#M tAub 0KڼYo&U82N-1$lO6Մ3)lXfj!Jf2jeleCZhGcF9{U?PGWL h^B hiR1{3Yc'gSb Llr[}OiR5DhUU د D z'Y҆1G sNqfHF9yآl3I0z^\ yq"0Q(Y;YSkGPZC̬Z|vg{Wx ^7ǟ.mMQo=#2#Cq+6 `m1lD +}N+.[e' ;9.s4U 9˭_XPN^PeIfQݭBOqɥx[D x0hE&p .ؐcP0Az &/o-'mP2}4Xgl-x'(s?]oUP}Lujlɶ "eGU*D%Jˆnh u>v[oNxML=fA^JwyA^F#RӤUFs*&D⸰+ߨQOD^/S9[np+h){-KJd[j:Mu i<.RԈ[4HE{~Og9EQy6GuP_1UЦ9lU5i\4T0+U2MvNG)RR#LDu[< Qv4vIY {tHjLKer ̘GF|:[TJke(YYC혚,QNyo'e'ۀ}@e^9"(u7%go-SEN9coc%N|JínU|7X`Z9IK[r6IQ٭ˊ<(?9 qz(tX=U UnhspRs5S=lҽi[pKVsRhQEyCcO,p޻_xB%SHv4w\9i!3aOKB8йf3u’J=(K<9RhGz'%xTPmߊ%2=D͘`Ҩ N7Y[ ^!b z_|JQЯۡB3*3w>WnBl|*Q>'O@nyDC^=orr~Imx3]OΘ+΋ T+h RH&MYxWg2q稆3/ lӬ_VTFl` \%nt]J\&E?8&7%@CKb=rZPFׂIJ*(+ak3~TXz>!7P&MYkS}pI i:"G,WtaB3@B3mi׹&/!sM>ۚ;3pV!uǡ-)QzFӧ9ّYb1љ7z:[c9cqJ=I1 cg5^HUuPֽ-婿udFR~M,l`M6y<6-um*YH6̷n dE6a\PFQSD(JMN$r|YoZ*<}3FWzՕ`ߩe# 0b pb#4kiN T£Гl=E\4I$xaᩳKɓ-Q"uk/c!-YvCF?=+f4Lsj GIT_U5CǰbNN^!t `L|Zt8S%}U!3^Ѵ#8*kXѼ+;¨W4]uum95=DtVWH8 毆h˲ԕd&ش["up"IU Xb^+Vb3J]c+i;ijXͰE> tIG5얔UTlA)/yǷ̵S6PKd?ܕE TQ2Ue\ſp11h?-ED9Ȉeq; 9T4XՊ1MLJ)Y>umEnlfkblN$SAb~8Gkdc2g6T>xE%%*cHfTmͽpJs>I*/Z䌆t55k 9I*]OIW"Zdg+gAg42-ɕ*}Т7|m>JN&cB2ӀL+*k u:EAaKb|](7JBujЏ}6=Ո ^zXS&yB3(7n#[" vݥ8-"3M$fFR+|ځ-k  &5eݜ4xFh]Gjxր-ƨ5K0 :@>`b#My3~MIcC&W/K>*14s=-b=OZ_ӂ(Tlao jCcg<8ûJ/ӧ >q#v8Y^o3w}&H66\[cP̞ky;`f9߬B8y #H:G,)H,ti- &WGXwWK8 kqTykV̱A.{q WԚ3wC-g?tt&cIM <,qbJ95oq &ߌcX#qНa#eA+@MAf`|ǼS cY27$cuI7Tx~9jBN\Ae[0R]|&BTi#hފNFESDtw}{;1 GtZ="R{~1n3& iyZn &egE5쿲x~7#F%XI% 9D@}#FI_Z-apL%8Wlm`q{ӐɵBȺ9{M X6:7sbSId u|r\ G 웍yW8\2QqD哦 $M]58Ao،P.=a:yɕ}DF1Su#,3p>֚.rNJ;z% ã^jBq5 Fg 9IK̈FaMUhŗ v;kh.P`d%BT0DNr~!O J9Vp>h /BQ4bS5Q⥅'WS'+J`QA<uퟴ>iQ6V n Y6a+}-3?B] 7vO{Qſ 8b7cێr>% XvK2o2Ү7W]9na$x/Լ-T1v;®'-_(k7Bo}ї|{TrPbAoPR@i^` vy5"/zq|STLz:L$1΋DUKsURUy\,NrIe$Bׁc'ۼ ]R1qS~Gz1< hW!ȕhzX$' u>ғ:E=Bb^dM)7=m;ƈ (ЩTC=/jQl mowQBT_F |‘8o?z4d؃ޠEdҹzP;7,$Y Im5 ѵ^\bxBctP^z1N٬pw_k0-!8vv*X:Tz 8 Gq X4-:oBl`1=i2,Ԙil+?UVOjQ_B3lWb)J)leS kx2j C--5jv=*tck=؏y7KK/AE?7)r՞ 2hm|7͕ʅFG&nSb>-(uA$RU |iI<;SfgJ>ZRȅ-]iޛT@r{̝8lʼ(m|7h熩 $%$4ߜnI샼΢9=U&s'׉Y 8w0sqLϑzuy|SDaN!\SgЫC)4Y1?ئz瘏. e6Nw5cs}3X38=teUp@/{I6ڐ5/BZNPTc`*D+OA|/ۂO/ ;KGYݠd'xFkWlH;SaWR7Zn$.DZ4/Ѳ9ɿ&J g/\1|cv9-h]´;r1}&vb W)ELhoHn_rEp>@ĩ.s5;+ފ l1X\컮|}QY}7ܾtGGRx&o4tAoyw_2{ܠ\XҝM:3ga0@Tbb<kl|*[I, r2tteǩ",j >섮|±yܹ+.lZ/%f-^_/rLh.%ː }MZ;j(bͽ`]o=xaPX$V2 fQݗ3S]] 1r?uvЦZC"rYMO=HN#EU|0D`8|1S`˭ 'Z W = ﻲoe>+q۩pXz"6)(>MK%||B+IWsy=8 Chk\(x@f!F9fW[v 7VDYsύޥvK =x/;ϲ^ؕ,+x5dK&Mpy!G}q!K}W5F.ewR<6S{ݲEf G|0C/ATRD6[>ą7k%P^3%H7K'b[B\9 TaAa, )`6 OG F'"Q/:ހwiFOcC x$[x3γH&zȍ-O%Slzf ɳ:BLTO98RT {z В6t"/G k~6znV^ QZ^e U#R"3/׹5,i򖕖 ^hIJd&&,/E 56 E p7FǞerOV[s7DC8CUQ`Y_ȯ;Dol+7<'XFJH4ʖ6u>)[LWPڼ36GV1/bc)H6}7르%/yoRţH2J'rrS *~3 }S;H#,tmjQcqU~f}wg2z'FxJk*ױ_`r=Fl~zo. /ܹ6 ,ˈw d,Lٌ`Rk+zm!)wE2rTAiNw(7$/|n5kdgaWD Aժ-3VCXvfZop ,8K{OFCx}9KmX˯N|7L=JPc7걭 ª{ڹaH~ @Ɉh" ><;{BMR'4chk.5Y"\JK5]y#^x5rJpWWؙ1l(+Oy\j`({tAmh[əњx9/;_㗛{R@RH7#B5?w3Z3w=4|\hc"HH\LQ X&$hL]4p> jETt.Ie쒮RH<97fMgBSbեױ M~|s>L'RڷaŸA3&yQ3|sBó,o ` ):[~^ptN i7V2ZV`-hE/gL[!*^/~!&Oan>LzT?JX N285q{}~K2A]W( C?>~g9JdD[NH&-kE2y%u@vr9vȲTz5cndJt?2熹=JTǓVbܞ^#rEٜ)'vWP+)#v7Sߟ1j&CX>xKyY;Bn6sR2H!ZTncs5/>K\ 8' qc? cILAUpI\OuD+80M(ɘWvy➮Ưĺ>>HܸY68} [}zGsÓk\*W[^~ry>'F 75>._V&]Վ{-+zD#C*T!+)#p׻^30(Y=r8 r+`{YQBD\JגE't ,ؓ*snDD1Z?B38q؋HiT,< -i1]_$# 5Q'ߠ$K*]4Inԟr 6Yp+" S\gle(qz|̵Moɟ=oٽ+:P)B' 91Z"67YNw!'^eznN\6| W=vW Ʊi+1_b*oWLf/tڢqr*SsoSK)>}5a4Wl2M)"4mz/a}$0foyO#(Bި\ooPL6&bcc߾M&슞*"6qvL ve-< F_HzuhZ(E W|l4&At}_2 q[ v{Ɉ&W|0N'Q4cpymUZ,\GFHO(B{Af,(LS Bxw>渺3~%EҹN+؆&O%u&|Sjc Nvcn82Rڛ^DGZI6 :|{TKI]W.,=KP>/gq׹J=R71̇Hݘyd~Ͳg62syB<_\F5}9!SO  nFTyqu(P'o={2,/DͲ "olۍx}Ɵ9&yb O0-+y ŧBڶOݻ҂ VP*А:C* .+:ۆQh?2u2Y9x%^Ǖ6VID: 71~hKla+ Š@mH #;fcךcNƜ"GxIƕm ΎMM-gP` ]^F]Vwj6;'cs^i*t/C/t>q*/_;[ 84&׃$gg!M9<4bhcN 8QHH`jmTx?(WxWNR)Ί_#Rdwkyp0 +@$O5C_vs[齹T',VZogӆ|f#E"d* \7kص*e/mf<^}]o1&z?f] SٞY-"rqX !1CǩUϘ&H~,62.cB?09֯@̏!M'mSH ߥѮ5EOY`t hXxX)W?`~D9s(vQ:o4`dG$kh[r21 KԽ^݁!f*q"굩rLJS21 D٬DaWm>Lٳvf^Ώ$z15i t?)bW Pz_~X^w <pVg[4uB!>­ o3ld:n/: xt ̦jjp:4V\\;=.@ <E Ca4ndnh):/! @O\, "E:6@r[ٳ4}|öqg{"6\x>wPH뻰g'Jԙn),~.\YT tcXO$XtiF\tw>M,OJΊL[55f5H߿` tE+jɚ%O묐2'?LXb oMnBv'1+UoP"OXF/HJiOG|^ } }a=/$%Ӓ]i£uTWohLe |n PaB}:JDD?!rJ0eQJhRN"頭 F`H"O9rNg.֭P_Ҩ NB`l:ŹRSH赲l'3 oaeuЖ5Oq/pgG]==m&8e>nĖB (R_;AR tYQ"uI d3lW"s2 gNH=YHSyqwòlerYB`i3dqCu'N]+sSs6MI˛x{BPA:APS ,5'!jvw ɫe]c2fz*$?]]d]SiEQjj4^_QZ?bP$Dt smHIfc;Ѻ1劉vQok~WiNjp-91zT^F?֟G~^n 8+t+|B٠9=VEmJYO2%Y7¿'P%qkv֟z^01%JM>vA_WbVD# zkڳ kDΪ&k_&e ;"hw#ǖcNa+Z*SˀB<911y#9%_jޔipCy]n?XuGf# 0ZoqŁ֥&A1Їj9FUoYF)LܚcHnc6đc?9y+W760` $ۨZXRƾ"n [qYla7WAAKxׂM++A,2 e.ۜcѾPX餚DzObˁY̏V&t2NpC~wZ{\HA^xl'ȉa܉xtTG _c)Q9 me' ) '1* x5/t# !C4hWgsUH%rZҘiXWUtP*Ya!gw:}+X?D0K(+v&QƁT7,} ڕ7ʶTif߿arSZb4Of31`qrt8\hxAAYF9sѴ2[S:j);w+3x}G?]ZϹW Ż@aKN[S-ha}#*nkT>•ӻ:g)Id >2Z͓fڧ򣮣^PۏHXZ!v"e\1,c?sގN Ge`Op-@člf껚h_gTCxbV~bƏҏ1@|x*eu,miytt0W_=^tLًLK]vvw7QPo5E.Τ')^ bek~_1T5.Y58醛I d*41d5A&J͑x VdC(̏ b?"n8:F:\o*gL%|dq⾬4/I0f8XjgGLuq(2|&q_)" LYdR)&zo4 ]l6o;7ֹĵP6WgˇOMDD<DgOFvsu.~R>7 3Wc@>!C@ Mal U/V3',5q>APM^$PñP2Na*^(:RG}1B #Vc=4\m@^?tk`赢Md fK=?1.wJXŽ;f(FNEϽ`q҇M)>)ͧII ۯY LSr$ UYi l4vԡfngDc͈9|D֨D;$8b=1y)ّqs(?Íj,ߔ G WitZR0Yj{EPrV4O4j/'gQs;AtNZ+#>t)+j2={Vf5 {17HBJ9"|떝yo^BVLzo1gk|-ȲD,҇[;I]r)P"G/ @ EYc$Jtoe:b^*r4Px,aPcbe+C[Jh! щ[5/+"Q c`&µ(~{SI/ ~ :aCUb2ؕ Rc(\PECCOl cGmld J OJfn+:`X0i*ڈy9+Wa?MySVpls $%J(C5m mp%'}91U m4.k7tGtg$aX>Κn<]r $1 / Brz"Q?4.@󔠓of5d Pc\Xfy'AT&t5e* .Mo/خx&}8cIŊe40s = PBK|qzyv*p|%9 B3i *U (eߛ: C qrͣ)3+UiŬp"P BN/z5Y7nwg#*QY5MpLY&L Wm3~mo%0.gi(Ur/1>!sL=u]DLn'I׊kS0&{%(K@}ܻ"cw<]AAfiVo3xV_&S MKZ!`!u809sfD0kM/-2/)UhX$I iE[,8NZ':S7u}iryo|m"z1)=#Z_N&yL8'(L:F<ֈg(YhzE Z"Rs65%n9d3lǥQ{m ElZ4MA"k*FL(stw<-\m1å $5d Cھ, I4[okNDŽӿ aa~֘&5-1RWœssD[drea]Pچۛmevu@zΘ~ ~kIq $n!?&KqڌdF.w}˿wkvC xkTWFa=:;,I 6^X[Î- k(+*&52yG"&88 7 .gVcxIo}eyAuZ2ĔYEX,ƋDLv=/.| ~Ԡ6tc% " p,|Փof"=A|RK/FK^!#))q)-T̹r*y)#+1TY)رBG YY$%M)|*e|2ddWԚ.h6X3% 13©/P `Af!ttI\8Tk zG!*58jp5M\B-:tY5R 6%sC_AٻEȥ2N;5;7A|Ud!٥P`4iɲ߭Vf36 hU nI.Z]Rr rU#cj"{CZVq(Օ]6XA0ɷf\|ٰw}#.e<\{ݹ?>&SxpDg"$"IٌTR8>SKhpD+0fQB5Zd}vAM^Qf4]+/,GKv(fk0[ScwSdvҾSЮkWYHwIրBU ؚ_)붺oکCt_5 > ĕos\/׊&;o?s޺Քy3\ P!xzS (ΐ+bQl 3Gnlߐ>6"V-ro園?٢'~TUp=cԁ b ]YZ1obv,j\)0W0d#jF(deal,D(Hp$`̰j/b#lBs хܜ)R 3Z*t,aX%9>iK]9y·G2&!lX\509Kkzҿv/:&߷@ slC1Q~i VFr\ Gl:orfQfW5PMӏ֜ax_n6!J,.FZop!kw=w56L,~K#6`-鹧2H\1,]p6l(a[ 1A"v(M^8CИPh[2M 7Q0;ab,1W%ejHQ>ݯxzgE=Pˀ#:ߞl c8IkgWE5`C ."OX-H5o2\U`D'z.-ܟt#HN,pigMЯ5&4 4Jwb1ZDUE lLrLI$r GW\c?KYJs#<9RAxD;ۤK4Fj_=TDzc*`:41 Z&]SiTQKraa!Ɠ>:虸 E;FfDj * @v(2Ymfro)n3g`O M8Zw! 'W#SV~R ;PGNJQ\ڡ9&J1ڈ<} c ӎ谧Fu؏QJW0GKz'*U{$IZyh蛋CgDI'&Ƣe:V8"-;*Y>F;9֠' Ѩ}Y[A8ߖ.X2I|i{,cgbcz!``}0̟獌2 hON+A:Ъ,0Pv e'iŧ}ZTn`v>C  mjV4|Sj4? ~|5>7*?C7n+[i9@9t6J+Wb Wu!lɗVoOX16Sf!a]ek1Ld7tg<Sq:l{90]ozV2hZ93ĸ)M;L@s/O/04nB`f.Ur?]+͝8oAI/ͅfѶkﯝ/Gx LIxDvu:{tvF8]0/!XSێ=TpxC&Bp~yKzb_&mJ TNxaе́2 ,ꯊ? BH GeYo{GǕB) n!qg)6xx?5M l˘?!'_}^BP7Fcw*E!2gOyЌ&ۜ$}L#ᔮ| O|'wK20dh!,wNLt 2N׃ t8H5p1[8ikpuA2=_%1=NIj:t5:%|%(Y:nƥQ߶20tMm]ST#kZV違P: 榡XٰؒD:ujP+ 9ha( T)`A`ީX@sWW #TLH80@|Md'Nz4ձ|ļy\a?wKki{F 9yͭ6+AO\N{>6ZR!{2*Y.cPXKU'n3s=𿷷,* + Mfc>GK ےne,ք3=,zč2.V~)?zqOֻI$0S.aee뻔c%~PˮۆbsY&lʢ$R(4dENZ yQ\a x*,abTpYn&.Bv쬝Ftԥyeae+X ш׽ߘČʜ%.c2y} h~ţ{mwvK_~`*q2A.DlcYz<˲U(׸> tgXDH'9\ISVPѓ:]4TsC0@ r먋ӫtmh U+X,=by}sjHa~bp6VQ!{K Xg}8CN [oi.ή;?c@?G釡e, "" ~d&u8'o~#ne<P5)֠-aoAE*9^['+k=0nIPSU;xŤ "syU 0a^Ab-;x z}sB@5uX*"/;/3;Y%V =7ďɡzґ£jN(@BJ새%h`7o~w$h zۤl:i/?_'߃h [(;8p/̿7~{p4PwݫǴdŋxT[ʮ+C}~+nyH^BU{`?R(B%Q@"W_ RsxK~E'~+|A l]~lEA{#J35qY}7!sB6 9t]=Klb\%sL7A\93k*ˌ.P0_,U/D`,"h-(<hT^q&{Hy k 6|XrΗ׿"; tU"n4g}eYN݉+$/3Fl3VwuŒA, N c]IR_y\ϯLELv `uU~ЪGzK(Qߠ+:*YxpeԚ ËM#d-9S2:T``d s.v:Ks_M=q SE9e$FP{t~AVcY{!HR&sAh\?<$ee77ύq ]Ugh>dV# 4>Ke(QmK?);g袻i"/b5Ϣ}DF: ݖӏYMM :&y DG>T^fP ݔɤxD%dmOI8N5\*wR`NE$H[`gwpI`׬ /{&zjx݆JOV*ig,y!/ iQEXexmuKT#um8$:Z`G Ce4'OTTƐ4nkSېV[9)Cl=9MU. < ࢬhнt9u2Lnu܅17u:OG=K{E5,~lJ"swd0=]DUM778p$}Qju_ܞ]M OEs/ U-*d˫/oDizSaͪf>kӮn97tNՖ>ТXZ,^:k}cCޘ!$#q9z9fUjNwX $ 5+ϗ %7餅n\e]Y) 5GV+ǒіa:٧ް6Nx\}?Kl:m04-j0qԪ6ވܢG-4cPQ;<om9YUCޚ־xyJD}G0$.ǻ& uQꂟ^:u-m ktR7L5[ALœ5^G/I0Q C vBC{&@5E7 ŪPLE[b}ӪM[(|ZõXE62Tk~f7e$58h#οIkVz e#;`"3eqW0@t~me} FB9aBQl#B{ƫ]hV.-A5TUqia +OsV҄(% Zwͦ0gxg  =:Av0К:Y'~[}4 RiW G1\WH v1!#锐+ H'hOO$6FDf`ٞ14ESeo ~SM! s.V|Ȯ7ɖ" HZ|Ol ŽG1`R\"C0~6#_G(D;TbeNclYϲx; ɥ TS@WB;aQϤu`joB9oC5N>;1߭k>8@,_Z>?5_~ndv#}Ҵ_jDS", ITDڀ~@0JzOP@j~)w-7Bma闿Xp_]~!=SˁׂؚnP;8]mJ"G9ouѩGogq$Xz*|)"zwq_]cߐTgu\{A?fՐҏT:U8g7xPTlIsRJ! K>b`+KJv.ّǗ71>݌bj"Q7pW/Edw=vHj8!2Ns2mr?u}XV),MiP3-Gu`_]92p)0zCȹ+Һzh:Q}=duj>Z[ J>E f<'NĽOK 85^Jc;y)I&K3>uBS{u6Q3cr,ȥڜBoϵz&A9[g?++LXktchKBsǼEB$(φRTx9\|IZx˄\Ž,3Ъv _%9&E ߸$CH} g*J~lג)5!5+aNMKYC*3]%k%?X[^[j)4ԏwz#σUT,|Z(KB t:VZc*JNʬ^_> swVyc+9Q 5:Rg ڀ!444.M >_$6~gMjc :~iN] nh)pO^n{asG8nj(8!ljmLyBLqf 21ʏҞ)ΚKG|0P??P@.$FubYSƜ_\*,/$/B0)dC E] kj`$xF\anח4D͸G7SxBC:9owna0!_SSIsϋ :_f뫑 @mڰDDŠUUBReM'3q3x:0:z߰bc *"{^Vߖ=)1w|";1sj^Dxaf: uEJ7UnʑբCƺY.&~i)@ _6>XIIolXxaӕ`~ ?$CQsLRt۫H"d|'5}v|[N {mvV]aKp+[!!_rv=m1}:jkU; iFA,[cjQ/%7Nͤ zTFվӌN2bЪiY {x4!XD?zٳoT@Vi&IJ&;*ꅵ쬧׼pQvl0Kijcl7~h7\]DRhSjH 01Mǂ?Tl59)2- _LVV Qe 4tjq_޶ZR\f_Oehehg>:@®(=F?PGLӨpT.S~g-lFcfL0R @0M{@[60|~͗\Oͪ`Ciu0aLGk&KVRFVZZ5.KɘHoVD?CyScvf<%k,=Om™}>" ôڲEV%z6"iAyZO؉;cPH*ΨAbdht#AomM״-ZCƁ5jE2ڇ6B@Ix#{5O,. d~ÑuAڸ]pYwBv UkQ*~)lW T^$+4s:Q٠3:|Rʇ,`M z!R*%hMƚP c>Ɠ#(]H>Ohu?SWs~8ZUOhUY9bYͺƣ̫|GJăP3Wl|0 R5RUeE.ߚbۇV z2#7e}[H.Gb3A- UV?޻5t'( Kzõb zSDB7 Z?+p>d&c0D''MAd@[ dza}9ܚj*ߒ!0j86%?Z2O~'g|^ŜSK4, lEƑ[b$42OV[Ʉ(-請"t-laHJjKڑxtOT!BĵHuA^ &Pq&9e@ @Nrp @})_ѯg@9&] & beOk샴kT9[ku=Q(IZ:p߀]07 Z#(oB$sg6RXBb[$2' K+'vj;ZFHL/^;*]W9pBT3'qL E5LTG_)iH'Id4W1 ^݄υLu 6C zR.H݅tO*muHʷLdlx*[_@n[hnr\w<x6?ͷ+9/6EF\aȞD써-(w~2.11J|6HX |׉3L MVj<0!Ɉ2'bD*n(y2S'P/ gYZ69eeea303096bd60a839f06c7dcd747591ba958eb3e898cb94fff8ea5f7388662fbada074058e744 008dcfa32f4577c3f490552fca32d890b18cd151 34d3d690ab82252f0025f3cfa7c20ee35413706f