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 mmS' dT ]%]Sepref_Prereq:threads=4elapsed=41.933cpu=95.144gc=4.540factor=2.277zXZִF! Fժ]ŗXiɟH)0%oM50'ƚdzj7ZeO E)mT&61i{ Tb$cw櫴EHpr~l5B-g,RHZ$_| 6WΘ$q [/a/8-&%0/=)}*b)bȮdY364}D>6@lS@>%_M- ̍9{h7@fuɟN. IeƮ>Gdk8HQ@Fm/iHQxՆlB뮙!Z`Wr7qh>c,ecNtk.a?ZG >6sߦrg 7'o]Q2H2 }V0N`d~U5 \6 '#D4ʼ~md)>:#j]Cph\W*Vh-6J5Ruq@۱Ofl673fݘ= c>Y90߯\Fbh)9R-y/&ԲeJbM|HߐV|iT@ ʣ͔+LUE&>ZA0hSR+ҩ X=1Q`)h5fiN{[t V2<ᦇ]RITb@`y@o6*w [>5RqqN×9<=/s˫T4uh,[Ĉ hJ;gw.0 FA*#ctߪD~!#p:d>h4m1.aĖV_\fhOf'յ2jCO* `ylaw+j4{xȥw C*Q]&g @]T,\~7 I!ɰI󏞨V€ ҷyp;BR";@I g}5W@.2+4_>Aɼ]~W @rkH].%|J&;e}a%C&do@4 ![K{(KͿtLlxi7 S xY34)Q-OB!Lh G>o/h%Q\'$ԿeIzω ' Sepref_Prereq  1#r"ژ t5RqO{be5Q)$_ZDҬHSMtMUGL2SoeH1~Հ>Fuqs Gn_s>RçuLq8e7}NBSRc ^s(aaΗu+[S\>ٟ};xuS @5 E*8gLRl *^j>I<+:r+[3VLR /w8pÃG,ax"?5ME{pICGE#7s`NpҨ+zyzXPO~]PD!}Ia{}5?5 jG3h{L)ji5L_ЎAqÖ%~6M㖴^0G*E&i?mH9.nϭ _Y&τ{BsS+L+bo/IA]{{7ɬ{O5*a92]jetX _W+gz͌|ʔw) TM # BF:vffR3O] -ijHy eK\:bqA!GdJ]7d.73a01tlQO3n[ uFJCE{ֵ#T],lں(e[hi!gUݔŬq!:!v- O I cD\x}%q-.cm@#9·5} 1cꀿHVF4FPhbc0$ ՗ B>s^T V<*f׎Yu_|i)<,P1RA i2-]V $#H.>*?yAQ0b:STaK#G'/ [@]' lvվo^`ucL\ϭRYG L aeH+ugiiq HB?bX&8 DvHoTϧCo+4;CBv'ShC2!Ѻ[_aTIsQt)DB0!ʼQ =m VKEF_;֟(lΈFraЎ̩ۚ跼#/ 2oؚ ˠ[h҃^W{VYbX&KL5*U77~qC`CsEAZ`vM|&|Me_$_23TgkQ-V_aB㽋pDvP@<\fg6X_4ؒL2G& mQ(?"yu* k=:GKȩf=JrܨߘcwXm nb.ë'hcbaLQ._bڴF羏&'aGu"!އuS v4khp#J(vڦ*c[jSv3  +@sz^M){!hmwO@*>fu[?C?*}c4${7)+6k+x -X;5br++Lǧ8'DؑV؞t[t0˕]n ݩ+s-@U)ϋI=^{}w\&QT|e%2K#tE!3>SN4:!1>:sKО ɵ@g]{~_cLv(гd:x-NuinUY:U¢ ҶUdoNӵ䨃sL9HM,Ub؝bδ M퐒Wz6Hϑl ;#vS lp=؇PM EΗm+ah.'vn[UL> Syٍ8PKCeUqaz5c~0 )U/JWd1<\ \zكg r/6иhPckQi&/= *Ң -Z\YC:XVmw i7ǥ9+XRSE 9"r7s+&X& ؀t0 kbwoFxkH1.]{c"M0CldQ[}_ǁ8F󹓸aymKA$fH  mTE 4#FsEę{lZ+~/T཭)HꞘ'3ͻ&Z(dW'Qԍ'rVw&H'_nО5<{_UNJcGoѵqb5M%bCIKfmkV/3 T@aSNHB0ۛ 0s>E*T㹛b`fX9pEWZnX3 +jo403BY`M@W)_v3RXy.čbmt Պ6fgWhljm!OnaOgՔ%'M}_ikeM&h'sg͗r,uWx$1)|>Y 9a,K(L)_+ S PQL2tIMퟭVd/RXaW3gm3 m6OӊCcTqv 5gU~´SnթGsjV 'yљREPFZ+`mBfqjg[dWp눴aϿPR7g姗ŷu~6aDEjJ&fqGZ$E j ?2RY#YZ"c{^EPT":+R[iDT ZNqǠϐZ"gw}Set_\>N#i^s*i#nR;%]:ja#`Gt28&Ue~4?hg7f뢳";"auݱӭ .zk'={{3: fQ`s3(g ÁQUhadٿ~OW?"y5jc@:W֢kq?d'oSUw9ָUC*E٨<"+x"HW=I1{6VLCށԸ~w$.w|[CJhF9׉EKq NLO<1S8ǜ6| h:-n 4 }6AhEN.h<8Mx6q -T^ l!NFu. Jّ3Aoug'9;P3F,ci %&lL.;Gr=\hR^ĸCa U4Z@{.ުuLd.BX8RcR|EW?"Ż? 7ҝ8ƑYT0֢J),`բf lBEPgjMKWKl υŮ5{)DfEzLA]^1*Z'Lh'r25o*hfzX>)f|Vqh&jְޫ9sQumPW+øEݜf>y߫R7j3'6>θ @hJWE&Ԧ(W]lD v^V8<37e":p^ќ2-x5/EJ˼la7F>*BsBo <2̓n~Qo4ONj&4Uп@(qFR:Y>ϕ&RFP , ha3 ܿģ"-h*}h߇F!6i*2`"fpޑmP1]pbh:f,9ǓyBo7}t9X TxUP#qYKs5/ COM;an$`t}VCm3#(i'INy{N׬wV/GDŽ}d>V!r}].|h?N(|g䂧\E[TqY4*QUB.\@(7}r`UpxWݎ)rXQo*dPꝞćKf*6? (3N9 sy{RdGL-DL4ݖ>3r&UFXbs}CS!x&6 зi{*s!fGM_lғ!c^șxCfWY ;qE]`ɤrPL*V3aqyvy;"?̹Idx.w+#e F3KV;TМUcY-6D ~@ OZd֑PJ껕6єePa[VڶzߣHJb f,6#${mܕ,AG$}^4g̭H\SO)S`':ΟMVpPW/ꀍ,}dڳɨc#{hAKS05n^ bk'0/sV~/5o ?N +xTC@@1l߃i0|g=,z]W \k1iV4Ycd?FsI{ x/3# J:WõTc,NtJ|őLԪo2?sU(2!+lzdzHtdjJ~K,PTw)uLvaMfh-OQe6 KrtKTE CnRUZC1f?8_3t,r̪#nXCz9b3Y͟FB #8s8A G]y=/%3p'J=ʰ?Am+'\V2f!`]Cכ VOۑ};L\ =Z!!j?D2hZn4acv)+mH :>s%#P1U?-IG-]["ngWQrkbRv̕k,9<Կ> sBtkv kxaR!&1J)TPzx;O6ú4 X^rҢK66Lq~Vu$ؘٚ _a@<xBi)έ^ &ynaӖk?yVBpWַ9rQhfu\Z}4m]{gg3$hjĹ K-A2xrlf!^X5kj#H+߳Ɉ_%Gw 0dsuʠgn?P'$葳+$<0{#o3qt_g!ܢE.XڔޚՇl/l61.~< O3ż&cj4(Hp#Ӑ!^f}b4&!#`c0mr?I!0'<\jﴔ~#Jd2d}L'ُv"Q4xT%|ARJx( ȪBCX`5AÛ0,,m(n^G\_5.n}llDo^J贍\^FvoۍU9Y9oW[ R>b&КИdf /OOz- Dk=t|؛yc6T?g|GwhU9 CHjޢ( 2Lr50ygL"W GXaܶAaC I^ Gψ1aMdn099ɩS`SBXSRň1Rtrr!k1F$t}pЄI1L{o.:LD*Yaq"詤cVnu Jxfv}"4M`~Sy6*$n]f>EA${ .m[͞J{Ԟ>e_J&vfDa#án/﷎U{o6I83XƱ&d@Xt*LEf@۽7hP B&J+,7za 73_!J{Uwp\i#1.s᥌!!B^q/ \9ib_j֭ m /gTV/-'["Ԇ{D|x\赗yL}g}3|3JR&NZ^DLx8>jΖ+ׁWqeJ0c\O6{;U|݂FL+ Z4/#*cg /_Zm$zRu Ű@ρ284~bS:]iީf.[O<UVt<NIޥ8v-@5k+{JS=粊%9q(-ïPT v2jvYUS#aa`|:Nqʛ't-Uy G7)֙U .)Yc `#m9得5glС(zǎ%o)c#ys :u;놕9?CT֡ѽF *61U({o\$44 |#WR{|> •ZNMhjp\@ u3Z`̴k~ ,IKSXfAIbSu?ZPɉWAI9TcC0H(^_+Bg3O­ޛ:v]*2s 3lnpw!׳_ ۊaOصuJ`kza_*þY=e_upɘ_i!Ĵx~<)RYN3m'qfjG[/?AA@}h8d<ĶTltNJ-xSG%aL1-v_7̕\nMJ$w"*I`l4B='IT56$tv~a}zABΙL@H {X'\Z0&g @VPiwa"#zNf? H^Jsen[]:> /!]lq7H^mPah!EHo5Q7ޛ(:r@d y2VXrgrYrty)HׁMyB\t:5qžHۢ~ (]E֨TKy~q[ا^ ') G#j8*| lmרBݖ[`<9 sn 7.oAijh<5B=4x`ӚS t9 JaZKzsqa:D`U\k<մR^3}Z6  @`ٝV%FA9-ɒK=AscE6sY]?q6ŲV|k&Z{x6X=+֏_Hkv餕퉒7k5[ 9G ? Vpz۷PvHFN&M#enhy#M8C<\>!&рp;KNE^yw::NQq g}%-: 6$-R+ g%ХcP+ЅkOobE$Gޝ=}.HAd՟xxcܕ=Fv pWxQ~giіүRBxZuD(8:°{THFn$~'E"OO2chrPy1 *7L0,bY !N2AO-?`^7Oå՚ΤWEDH(&+;uQcL:qupV#CAJᐦѣڈ*7Q+9&hO O\lV2Pm ŴChEvw܊2`5Yri+D/$պhHAO&&<-rv2(pB\lC26l[\p1PЋLmn.rz[x7YsS?W͛3S TNذX>.DM}9B?3ۙI˰:ӳT7[թU\#&~9S"4>!,.ʐoO^o5u@0wR>k{YďWviWCƧYd<1>#0,&U dec㱥 (Ֆj~0XFOVL-^{"EQ.@dUdlލ͇:!x8F;l992ҏWCPfJ$0(tzևxWaK-{]npB&/&4qx{ph]959L"A]U}>Y!oʷMe?&<$AEDo ([Z/G+ѝiC?K˪[,U.ҍ,xiP#^;-LBaz["dU~6f5-cXꁵK`s k 2e2M;8UBό~뚄U 92 @}3Lw]x7 r&gЂؙaT}ue Tz3 A!F yvpnkcvF^1Ԋ4vc:5iSboH;kK􍚗!лPZ߈s8mY Ry_ވd 1;8VV O6|/#ZdRE.l{ Or'-:G9DԼ, #ۿUD eGPTL-mCjHnfH1- yzGb!m&D{W3UIaiG#4۩9ΛieOϾ%Q&6?3%e/ڢO5.:eɨ<.kiZ&=Y i4OIZtr|Ͽa쳴/{_$+ӧ6K"VAڈ$Us /wlps軾RGO'J @9dCZK)?>*y7 1KS%hVu;C=4Ҡ*5q--*֢nrdbS#ƼB@;ClMڌM#ehW6Z53㳫I{VC]T춮ۏR"'(U H]g UKLu2n{rNSq4|wK芉r(ieigÛpʖdLepħ&qď,f ĘiůA?Ĉy?U͟o ԡ _ئ]m´3qmʮ;#;Tl[z|:174:Kˇ"m:8H5czdi< '͙ ׹f ل~n`V-u;xͷkd5,.| ٴ/Kp?W-hx1]7EN; MUjv>]'f~J&xTD Xʷ=˅k_! ½'sa"oqhnDuX1}fC}Eԥ da\Enȡ*JΰV]H+.L'f M؟TϏqAj!چVNmmxoXA-f|)8y)X#N򶛴޹d E8m.H*Țÿ%l,qSYV-N- zzNtnM eDB:w)93z@+:ߊ{8У O$^4д݋YvP T۶T06R-_RRKi!nU VavYţ5sܝ[=;*3m9'*15¯A(~Ncф?{1@NɗCRC@)fY޶n ~`cOF"mĚ){ R(t̞ߟJ~lMrZLzn:b; Obܴ;3-GW{ ͵Ql%u ˕Ʊ[QXP+E̒h NkM|'3 xԍŨC4D#xy|R{kq_eN*k)_I\DWl1KV .T[ Z9Q,aIKz!7gk BҬ մG:[,;h02@ #ow48TA#Jz,l! ؊ MFW*{nSg>Ҷ-zH9kKjU1S^`o3hqeojH8^V @_A~;mJ OŽY*|d4"mG(ouӔATmo]`G91J1> >}@b+΀NHH{`d0IYn`KJRSg_C&1̹p 2J}7tHHclsfOjε7tl{M:`ٷ0 ,L?l rYa E%|w28xc~ڮdeFQ*Y Z@f>,?qI"ئ9 B< 5nm:mW1NGHZ[(| LDDpҝ@2hT\G MqGqGz9w!G ÛYl2 6$NrK](OiFyدٖa|p/=/w=&ANykf~&<e8@CԛOq! j)4`:.֞ӁC^}%C!~&?.ӧ+V:c^BGtQR'dL({mG7UdҠ^OP׼TrN`Cwkgh|+-xUCO*ZOFg w{A*MVuH]Y`3c.>D@D~/D1]@O(m<Ț҅]B+nڶ{*cs2B{cZ ęFܘ|ub'f$mXZQFq6 @[VXzݥUӁ䫺$u(d+uTWlPV;lAzȅ)-l5R wx"v`ݸӯ)@4 Ϛ撹@l\Dyu0l  CИs⯰& 9>qv65mKixJDYA:c^ҝOD! 1%gQz rdE}G6q*( C!8yCYJs O gKȺ$[(|-8,m}7 a^8er#AٍlGؒNxq.>dK% a 6NkLiPGǒ#peVwIP+<2}~; : I'&.H%Bw)[r2(Dz926>КE^Ԍ6ZO 1Y=;0xQdۺu:ZQ㞳UO+Y5J} 0 |U AcH |&-^}ےȮjGs>@1<:/rzS# ^xxAdtū?idLߖ<[0SjrAm+_j-" Dys@?^eC~* eo 8nq3CF&gs} AD.eHm PPw4G22mtwB ̔G7@kvE${@(p(z,rhlIxI4. N ϥg\o ?DVZF8(aۺ:D0kܥ 5f'3%RAf8)5eRTS\7M5RJ!WB٧ʩݬbw['?0kv(_ v l[q2"pt"$S>0d&,Ak؈~3pu; *и_9K}dat3#S֬axkF# ۉoO}:&fa³{Yqx8IkA-H*u#)DEG^-Zx;9n cNްlBXUh@Цiɍ70[x/*+Eu| փ;jpGJ`2% G>TIiu`ޔX vd u7&s c'0@d-RVT0-r[|?QOzm 4|S aქA}>LC0jBYiI!**^WTIT*Ҷcۖ 'C7|z@u᮹'  ?i: } kƾUv5Ьy^7m|?8.I!b~S9 c뎜ƧǜҸ”n}\yk"0B<$BtR#H< t;@L#+1"u͕ ~(>Xa^>n~Ǽݴ/DO.y7TENQgFdJdJǧxI lQ)F~)y 9y;Q2>‚8.=cM!N[|+d1-:3kŨ/l {[4w} b?]d|4[# 3(9JAC2"uЗ Yrz ұF'j~Ghװ€Jj=L, |]0x⣖Np`؋YZ0Ҳh0FOsƛi8j`_>]1e: B^eX)0&8ѭwk:\kם\k{#n0)|OZAd=ظ#o,# l;**Yl0/"135ex!&d$3=}~sx dSml(P$ /}uA {bVX7][\chc 8yl][ԅ3c;=]a`ntz-%WC&`c)C'Qi<*;(U J Q Lv4M'WSCƧK[HIJN>5& Xa|CMCeU:7٨c})d( Շ&ktDB_dj1}'7/5QQ5-Qs~x~ETBކ}4Cz W%-'gq(g> <[b}}F4:XEcS z擥]" S6`q|)LECod`v֓gҽeP)Z?V4Gk-Yz\8]#[k#[,!-,?|4!T' @g*P6LrCMѡyw.+z`сP>IAI ˼QS(t> z?bX<-: )\C'EfƏ,E9( kPw.mqٙvL.N TF.vNGjX#l}^[gDjoC& JVD}A*!;bn8slϪf 'r$圠jȕ&w*6(L-S7 $,4s{|Gd\5l IZV]ĴӽR=I:Dx,.K7aq% ʑd[rQ;2@g\lmN)ꑁ:-<:UlU50P3fr62p15 7/Oѻ9 -[3x\d]@au2_r| oi bσPDHsc6h|UBPg,3;̋śpGVJ$hS8z "G-o_*XUqsPE.s{<ݹK9V'+@Re oj#8z\{}=/3D>|Hwk#v46/-UQ.auxNaa0U~(!Yݴd /}oHֺta(e_?ժg+Z`! o;G6`s .,,ظUۂ[WiM#vc[*`s$>u4dP D@8COcxz=L(RyF9‹)[Ȃ-"ڱ\1p/+o, @WQ!~6=bQṘ; Gq|ס֚ P̭ <)OcMs/jETm%O?м(dPΈ,}U'vվlnUg#igo+|/1[j,u><7f8xЁ@\~+= )`x H{i%A,s~a3x"ce(JX{#R1 ?>jrmt 0i +FB9e|˨`, 0S/hdYy1H<،u٭\zm0OsQO >nqLYɹSk'iY 2:G:FB!BO p4-UMo*J:QQ5>1u~uTmJnR-f4\3U0Rsi]kqlN& f Nt 3DOlxlkMd̮s< 7zyC=9G;i+6{3-gכjb8xkK5wbHlBj331^FEQNa"lq ,bvfB7 P?KrDTDuhET3\boHDn'O*ckBNvΖ7m@X]fr#tݦN]lKݙWXJeqeW 8` Lpr8ޮs6Fˈm:-2KW{ۘMD(Ǥ Zh0USXMqq`- TkG{(Rmi8x%4Lnגv{3Yҟ~vjCf3PV4)&N3_Z߾V*]*\LgW3NDb;ls@kwY 1Vʇ` .-2_l 8!lEveT)vr-4:߲|eSݒ#_\DKw(c*BwUwqR9GUm4N8]7h=lG#B_}V4SG6+ MmԭҲ#V+ 1aޘ>5 2i52W {ӞFF(~TVvMMT$Ȝz]~V--C"ݙ(Úx { HVJ6`QxMw ngT7o2)vj\Pa" Avu62TPkeSNx,ޖĀxR~XIa4EU>MG=ԙE˹)2Nl9g9v=s}U$draAERPN,q-H~Rz/G _BA2$`"= P(k/$JVzJ?U ͟ڧThuњWEf(J,6bȬ5v稸<0(5T ?xk.L5ōSۜ//mCF^D2ˁ/r=kn~G++J|f޸g$0p聫(S<{O>.1A iļw5 |<7ps,}d"4".oӢŹ fBkHNB: N֟U{+;¡%L1K (j֫ڑ | $vC~R 8u@ 14=f^9]Ͷ>5;#??"ކ4s=!̅ pW+? !ɠfp7P]pf;E{ )J&f\l1Wuqh gB,,#ZAdo@ɉž~vg~jlfPEDzj$Vdˡ^1A4ScDZx?A)/]٢z9 y!l)cf{{{^H]4_uINғe^8Ѧχ iOʱbYmvb&Gqq3NvЫﺚ }&AB ٚd'd KSP4ϞA_ ),OEt0B?N}?nJzLߟ) pAsf$QPҮdH oiЌb4r#;Ps:[;T }9tzAW|-X{ d~H2i0_J0cC4<5Bt:+ *go<&,T~N>|ںj&z1"AR#t~%eB75GhYЎП6l豽4Ld\fhmwֈ5"6WiɢvFWXX=Cp[tlmnb GжDcʣcLrِ`5ΡVt)c웙p/k &m#$ec ʌ`&KHjHWxHCviݧx$jpl_/>;g;!-F/Zx(FZs" R`u :+TP6cٍ3ũv&۱ElHHJoK\ N drF)ʭ ;:B""guІzAxtM4J׉Rp\Y1(\5Oqv>@Ϟ|D*S B|/߄RhݸXS9G=ZFRUDisĬ:|hj_B8|YRx2t;[ fvt=~s X5n35K$Vg-ĉ z6MA.Th*{I*lm' ӷhws @E.dHZrl ԟ1F#ޜ ?~3&o}j\v,{h\oi ~eQ#cBF2`Db48Ox00gYL+8uYR`G~?x)/C&l|h )+Es`FP]ofރ&?wHf@la?D3h 2]t_f@<"MU xu'yCVu Dg}NGϻ\>AqDaN"0m,z2޲nI x!TdV-:d3UPs8ü}JR]waeZYޞ| t& q/XnX8#1SfrD3,'C6ddcf?'﯆e2 l5o 1}EpT(z PEguP@/&YM#4B+0KDw.;?^F4F[ABk f}#v77-(]ETI7{Zm>Uca\v #RjKwcpj1I}͋;<X9X͉Mv}ƾHZ,<%W]ZTN Сp4fz8Ttw%!G!>ObgR򱍇{]|Q[p/]9ieQw5$(RW$Ί+zA.B3iN;{ +,^FK'&ܞ9qy&m% ÈZlؠ8ퟬG*{2  BoW&qw)%'0kPDeYK:B b8>i @,"z-%Ӧ p˼wvgj QbuXLR w*}dfgڌ )sxu ._.KO)BQsZcsjQ~>ۨvFe938}F. so>N&p ,[7iI uRPJSa">aMxXW ðx)KMy l̺hTOC+^uv's1M]@L=Ujw A&k?Rfj,DEe^ԫM)=џ۔UdDZ5HYh~ ćvL&dm$MLɩՄfwik,( ipiTXɫGb6iNv,elj'mx t.| Eq<Ź6283jx\X^scׇKYƅ!*i_̠QivVl68XTȳGKHL|MI~;!'XսK%?u<34;N%cRq/ xUH)=U't]<]˥Ofu)/UFoZV\fǷ jja+rirA[F[pi6 =BXD`Yeb&U<?/ y@ToulU+=*ZmiiQTո) HyƑbW'e/ zYOwjO1%_HM0yNlLtp@Tw!M ә0GBu=l2Z*WJIj'=n⼑\:6BN_nIVL#l8'èc{nhfصX!+ )| $=S`L&4HF2tmfEur7J  e $'N,oܶJcH 2.߭ݔŽZ=ah&nHHcHc,G;拃'NBm-ʕ "1$+O4VQѪE~^蠜Q#jf:jȶ]'%-7mڳ% iPgXRpSA,)5Vb-'4t.5c.1R1O2뵤B j'رF5!-vE+A㼷6#`0 .Ĕ^z֍ZRf m Su/+%[V@GfH YU 7/Ida/%jujY|0g}CV_\*Y Oνε[N[M;?E-k/_j{)GCǖbל6X>|cIl>cm`<@kֵƧjV/1&$?='4.cx>o˔^ճWY rCVHWm8|XLPysh~3lwr|ѳS Ծ/K\h4,OgMv;}UU=Ix w/IrJ3lFޱt?cIJ@KW 1pW4m+D@r/=qea 5%w34v"_F嬼|FM̀͗FM[]F]'hCߋ8pN]`JW"]TN1\, Hھ#a'-+9[0pI57zYEFD1P0NY>M@ ddp5[mf/4Wxl!Hq88*Nfj$1=kl$0!``"MjQj댇P.E~`_d`XJ{v 8-R Ģa/qqOwrS 6dNOu9Vi!< a^z4]N 0.# Pc[6Gۃ{=*A ~y-u(W /wlk *o}y5N++|}0&t"eP`0 Ɩ8?d.+@6Ey +A %%ZnƧ^\7Rnܞżoa@:ܨep!ԖܺecQ?@ 4a[wB}ZcOa•PΑT~ SՈɭ @ `x XW16A|A M^yx8+& eݱ1.KGx INþЗSFFRRxj$[]넮=Lerۗx*Wyk$6Ga!VQ&3p駉f~2> 4E`})Ƃw8,?C3'AbH̓kւuU8~ 9"<]X@ k9VAp1Emq?aTUxs>&bEM~>2tY| ARrlL%o+LV-(n(,ped=I}w"Z6f0w>+y:]"@dY7_4Չ3ũ@Fle^o0}x뚗nR喬0|O7r;|iAͭE^^U>gp`~8,jD{WoY+p k:FU;d uo؎+I{>2^'i2B >490y\ʤn:ϸ*O, ^༰|9S\פ{W8:a'qb>hɻ.%X"Is"vt>ĝut9xvQ G!XR0)jDIIQڢˑ˙-hv~3z,x`z8 _ R0.{KD\Q)lAoLL:#aqo;Eۛ5H=|/)YGL%O9'4{ܥ,aQ*{3-ȼ $hm+O""LE-pL/;1LPTqi#FΨt\VIŷZm VM?{셝VU &bLʪ;u[fV >6؛R.,0G&kM6#}dpS)2JI'/a] kvz5(/*Ǫ5nt^{8 ~5f\g4mr]iIK %D#KdĒ'j 7Sr<Զv7!8tp&:דƆd]ѰCbUͯZѮ}*95Rу>6P#k.v,d* ^RTbkS[}[8MVl%}"z~kSg%E`1,%V#X9 M}'P`10]uCW>k)/dnw~`!}䓄"g)0vtu 5hh(]㴘DҮl> |sZmˣ|Y%^c *O\`c]Ӹw| ~g5:Dʸ\*I"(JyY8 ?P"bIߔQq{-ԇZЈX {Yǥsr{}-3VoX~ب{yؙ|'h4p=9W&8Tq:0tNM?^U4Rkz,X/X{"x:aWH* -fnS=hOetŠ3r<%kfڣn̗ͧKiʲWI]FL7UYN5 89xų2bkA&(*;ǔF3[@2930d9rq-CvT{8FB Aw,kIO$Dl)bC/RHF[8?v_6 PZ}F-`Rg3,qNÄ[zӤSyOʖKOAȞ;k;|抽=f "/jH0TYxw•RsP@y\@['OfvT 9ׯMb+t¨` cB-` !T ےu_|E!!MK+NY:bsu};tz-hv],.&1Ĉ$m7`Y{ Ʋ!@[ssSϲ(D_ӷ?äo\2ݍ5.bOJ2Jʄ%ǨIS"o§wG/%55ty8y/\{ $5sXHemż -p qĸ.obOIc=E@@Sq0ZH7WmC8A^v`=H{`q)S? V[y4/6s<_v=,nHD-x5DC >6GYIZ+XFD=(5^9gQKw_%`}ARXU.̾6u6zѽRC&qo(hPgb @ a7T$gLl:%4XgOؼ6Ww@k'4N_,/`S xJ1xRUgtF3\h5uєE$VВkZi;|D[DY.#/V[HΆ/Lp)|5 ,լ$r]=2REר[LfpaDjym409wV6כ]fɡ!q&SUX/%H\K ^C6GRVǡ5BT%%Igx1O*$W_^r8` {ak,RY>,X8?r v3ДqC-w*w8=OIFaT>fhC>'ݥ0:OB9n&}$^SW| 8{ {rq(Aŭlfp;1#Pu*}uuV )-Om/Tz2½APlDApE:B-5O#9" m}λDͦI~M+йW}OwqҞ&K@% 'Kyt`uNОgL0z,f$A87^j;̅[xtǤL?lpM`kOA7QvюGstR "|BVCER+yIάJ^2 C "J5AքV`YdjS:95Rt6 R  a㵞E+!&%,'4uw::R4A^h1ZMR-(h1yZAɈwzQ]. ]v7ol;^qB}fm!/wsu5D:]U#;[7▙|aκ&,B>Om54v$6yXX=9!B6ei W`n]ruEk˴gEl!ǕofstT< Tm֨h9[27.>ECqK&\ r [t͒P6ZVgy`!i[GoHa$a?ʒ>,GK~-/@gI55TBi>w#a &S`HAoւ|ClOoEIK4y0Qehu6~0s8?ʿy#[TƟG.N Z}H@޳}Sܲ 9bn*})wQ\=ڞ8{ؔ68aD.^@UvËW'WCݶ\~ Vjw>##/p-fAm aX.lά)8(%`m>Ȟce ./#5IZU:wBřs%3Y.Os{ތčTD"`0f>0J@R\OG|W 4e=&F{2(]U4BPI"q(V)+mT6c1(tg[8Q<)5=4Ӄ?[Nj‚@B%MańLpU4F~ w.g}Wfw]E݌"(}H;)N9!g}FqE/?J 2 HRw# ! tf %:@0 Ek ][ ~Vj~*+>I8]@j:k8q-&/7FAUt}HKhdSn{HBEVT\IpF_S҈CV4'+]\b"mV{~D<.cظE͡Spewm&L'qcf[* N U9..ro8n¹%Rgj5ȍƾwuIXZe L+fQr0yn+Εf a MÚKyIܽXU-|]Λs# 2|'ւ:fvUsO־aאDx])J5o/PdH||Dv:_z"E3jk$ӬAлM'L{Wm؛3:Tu `3fgYm] ]+n3Wi*ğWe: 5]ѷ޹?Ohvj_] sb֙' `Cy5 _ZU Ogv%d>k <iC5* Bm%OMVDzi=WR4:MӳZ`Y/Օ[/?$C_w-V' y-aRMQ"xp_o/L%:(3?wxbA #? )=W>x(&OⓘPv?-pcMMhnQ`I ܩڣiu )?tNbh sX\LRKE`>gd/ǵhx<Uc޾x@1b q lh7bg)<^nBhYLF[],_т> {@Lal~8s.,SIk&bk;J";~3ICE-;3n²5!;fB^I6dXgꎪ&`iq{ _ah>6'6M7]qV1(9aT1}pˮ<;rf* "%6igb5gb&bsdJtP]83JqrYDw8 =In.>5E":Ƹ :[#͎k|%@-ӱWӿVc=7\϶ )g{J}D Nmb"LvB3JV"S~|0,r축zy [:hw+A4P q[وY.ON7˗P˿NYjx'Ԙ d$B< +d}k%9?üX(%,I e0oh^WI῰2 Eh=o#ȧ┖rݚ7jAmSߒ}R@U!~W2󖯶U˴_ Sc>÷XKA,{e\'cG%M M9/4TkB^I,츒zlJu]wY]4R@[s-9z&u63gk;=O1UI  C{lVNHRuZCͭ]vTh7d9P<W>E_w)n9v(*n١U#]<׶C.ײⱮƎ>V?H8M}Q~,b\ EaWȮb3>D'1ZbS?soǘ++:>;#q&=S{(.Xn1<ݹJ5{r& ݇H"7I|EYAFo{o[,NBRٯnc[8Pv@J!&gw=$ 3[Țwi,3=ń\ C5S *ou+"~8 YSj/)#G޹2?%jPƊDY&zfnhYsmt5 پf{W2H)q)Vn  i!r8[40Fq/)OI08R hb.E&Do͖yzt(;%S_*8ĈC\”Q_ztQaE /\) `;ej0T„ XȒRۛ5b6Aœş|6v#avnہ#qɴ#E7.Aq sQ 's/(ho? [Z cԴ]M8"0?+vrx~8@?>/8OfBBS݈T+O(>F/$4;% ū[%nm0"ՈaŮ0Cru|kՋ Ta@ӣp';eem/S3&,ms:@Ve?tQjDNMqCPW Tm%Pƈ3۔2mfz;0aa^=&s~o 1P=e#kĩ'rBSݶj ;E:ǪGufS |.Z>dCYIA|䨷!MW$sG\YTF-5fk)C|3lZw|walD"7VjCW/~qi߰aR0.WՖm?H>b('i8ҤZpn:1DŽ./)pvVzen+cf{_S&ErPP|R9GdҠ>fņt@΄}啋˼nڑ[``U_cu U ly//-׭?Zo5m$/iͥ9) v(ln"|]xsd:c7M=`?J~:d gzѵcgцeV;\H@d؅@ jV*Qc=Wb ~f{F'M[ސX.ɻto7TKܯX^B 8_wXq@<ٽC'(rPŃM:,ITMfULYB2ڜ饑HU+Bpm64R1gEAR6tTY)Bvf 3 ]ӂʲ)h$r^(9Qvicȟ^msaƑ¿2)k]?c#E N F\l,sQ6wu0+'Qt;B]b''yd긼nT뚛$0ZOW80"1۔R7G]|Oa?VNG./Ks\QZ)E,7_:>v*M QIK=6N o#lɃ,Yt $FLHEÚ체Lz۳ˢhWl3 \# GEg QΌyn ]/;ASriŴc]&pM_;qfa~@PW=|j5=5H{,x%܏:'a>]5jGvMH1XpIEh,nDn}mލAV2U8m*39;ī^J&έNzl2OJװ1tv, $U%饋Ҏ[cWd,k)Ǹ|G$DH?Q=BtAG+ NK~S  c:,AKQUmW-3.tag^^paBE`y;tEoJ` $݋ZSL,&R1]sf89Է@!d/|~mrry8X//!Ak$OcM$ĚR%8)٢.^c/,f@p=pll 8[O@uTWz6&J jsI9/yI幖OyCāƖ PR+eܴB+o@.#?6;)"PU7 _b;B+IB@:uWaKOCC1#; ֿ<䑣KnR":Y۝d} 0٫` 'c[Nd曈ۀI;,@*ےW: 1СG)ѯwМtY/6 N 5aǹI\?N)ZBГs3tnDʉI!iॣFKZ8SO))3aYgBL,rwN `_KBG"f_Mgq?8gbc;t1M%Qĉ3\F!Wd%(f%XsiѨq*,\?M؍J2)_ЁU[6ٶ`V*H?g_:U6Prl ;IU5Y0o-$P|Ԋ4<iSgk26"ݚ E ` -+yyG; 4k]ɭ}n۫pIcjosdcv+D1kŅYv$"sx߃c1KQSKX.\c'9H @ݐj2!=w]TT^~[V]#fh+[7@!jFz,>Mki:V{C&(4 ?cvUʝM\ T~bEX5Ÿގ*vq/<+2J%.\KMX69-z>rG gfqmrs_]pZiJed^M˵"Q籂+ gʥd}FhctsWiK&XQG0-{(w:C ĒǺYt:=^*>J:~ x*c}*:9~:hl/S r5^ƽaXL7 DPMsnuuf9)@D CߛY!$ mXYvuo.Vڠ$_ H+?z5ӵ[疚3HXxҬ]_Oc Z_Z4KUd#@@?uũDBO6(BY-j0ethjsm#n@%$RNZL}8`*.N\J-U㜵:- u^E3F{_wR"dnb~WPkƹ1q7Bd͔"gʺI"Y@n࿶=}]tZ++=Recm]D mj8Lfc5R*HBM{E3%a+//aܠ]֢5l9QGSE0X~G.Qgvw;o%>Yc(@ Z)&1a}5 5NXy]IJ( LI/TRϔ_ SW:tg"4ؚBRҶEJ.A%3*ڊ٤/Pg%]U ߅γ ,s)^GԚ;FnbACQWj'AYӨ")r;Nb 0WAU_xX }](\7]Z<9sPTDQ|ԕ/˗blm>&j10.epQ2YQvW}W j(^̍'z1wk+Z!e"Rg7v*cht3|N? ^k橥r;wtaʍAbm6# G<ELt !q $TWq]n({S^{}P0kw=zɩwp}"`0—oD|iҋ!|rFKۜ"kr:NIr$G)u s0y.;9ԠFlə^ ι2^n14MٺD&MSdzf`Cg $UTZ9켳Z=r_m޿U\cy*ل@)xV 8o g&L݆J6 "yi$sYqmEk]U ѝOYNR 痞0>#0;L%c:/&@k+ᐣN#/ǘeL:Vh:o/es|RոI펻hJ a{25zӨLwjE/߀J5]~Z/ f 3e F 2q {Ѯx'@B~MM6})m}4{[/eIM:@<_Ƨ*`mO!pUHCcqCޚ1}<*].i#qZd"R;mv~K|̍ <37WƢb1Kh=4ZӜM/q6u3{djjP&p Q.Z]o7M6cep)Lc >ڠ\/46PLb O v+_E[ffrogj"ڹmz)ɴ/vt V% 't}wC9{iSɐ6 5+0\M8tϓ*& c? nPEq FOzUG} ;C}<<29"Ԁ/zp4E#Tg-[ܰ[ś|vwG.7mSzƧyJ5j# _=U(>^$M[q GMOˊY``}'#,i*`)rꚹlR.eIQk+\'=L߸bp+ڭCW7uz{| Gzg3KOs d ߴ=7u2 q]穆#踀U6$ìfW AmA=3[b<6)*KOTR΋՜̥r/n"CɤɽD270\=;M vKD9*vfI ~d)T]"5=zi@y'%b X:th t[!F”חu8WmInL\_3,K~~ 6 $Wݫ0GF8lf֑Y5z{>:ΞN~y|Gۺ#a渂r!lS ,g=3Õ5į/_-wO6 ]ow~kQ-6M@lWU8D< {6f@4=Y͂H ,P4,xXD]W`cs נo,椎etEnpjp*1w%ZQV]e:upAY-G$a-ʬpLG}Ur( :[Z:r-y3R ,BuH`5|7.XBO߿][XS.Eϴ,wIl x,3171"Z)G Ǔχn'rs`(`܊MJq"q-@xp`d8 FA&S w;ϭ,"wRQ"v1pw_X|LfV64{یElcy: V ?E 6YSHo:2.#GsY6:b@Dž,Ֆ@;\Cpr-j"&c4x,A8?o"H^@X%qcPJס6݁S>`+tBVi;Aԁ%Gb ,` C%^yv;%. ٤wEl,6iA.Q>ěa?<\pgZ4p{ M[_I7fA2Ji)!kW!ѺD0v AgrPoiWʃ[A$bZ4 Tdnz[Shxbjz> ]9b6EeY\0~E PכT/"`6: _oz2k?oYn'!z~b{QlB~!$,b!7! Xjv$&Y=vJ@!u生2> 5CWb?aH@l+?9t=|$[~W^nZ*y'\-/x/IoGZs;nŃ/|j6}sZJ4gca?ΕrD~vM~ȊG&sv*Ltk7#!5c^i 0B Ըi* 4#(F Ω纍j&Ґ$1&ID&Yzs\fSXhqPx>E)sD4N-ey')30ř F.j-h^aj{MV/=V3.\űA֨jZ#fzV.c~[  8e:ʾA5! <'z&Iap-Mξ}=GaEUV8>B-YV$G9fv j`m,qiuc1CUZ݅I4CꅞAN>&uv?*d̙O Yi4¾-wQ83aJtH9oh) Ck6Ӵ$:,nEJ+..p4b9t)7ͮλ\Ҍ`!a{zNLs錿ƥ-_^YAt }$NH\VΖpU9irJ`Sx0[4=8g6'|?>W2ğQ(ׂUJ7@ |ӓ!JmC`A2O0 %rmky&\ nA Enc]bz12H"wb:š_ k1*0nɔrX+gYp@0*U8Y;}TWbi={‚@ ""2uyflPX!DpU*~ۋ4 8{)y>GUIO;FؔGb#̼4otA6X+#ܸD/ {Q(zM6B{vXЬB*Ia¿s,v}hWd8uc E[ԬbZ ˦9!x/'>鉻!՚wӻ`%,k>4LN:3d=faO_5G8Ҙ|#)WCg 2^&RB)IBv!s>cGmf]c 9^o `cP!ym T ?ִ.čAfl/.zȝ%jXi z//*f=y#u0y~/*[0'_@ɳ8*B) @C.vUXkuYjeWY 4׍fJiasEf. }/)JG6=~zxصX/QO\Bq7#F!2d}9*0^Pj9Jr|VST"Hzg4k7&-F0C{Q!U!(2>n+ד^0 jg}L)@6Od+hU= LY=Qg"_jI%/ϊ"~wfIx3xԾmys9ԟ$E턘5J g ቈOi5psŴKlu SR RҋqS뿆te9Y2ݎ\;(Y{NbLmBa/Np٫?jt[2nrxmFPx=t{fγݯ҃б 4UwL,D mm1.zDj;M\x  Oħ_9``=KYhc$ڣO'WlYY3WbL,! a'<_-rjJx~g䫻\e2A,`Voa:GbMW`9옩?î\PVԟn-c$F \+ٟ X<ZyV.:y+aǁ&/m;umɔ{^9Yeub!' Z-TcĨܱj^>'h%ieSW4!vpdX hl-\kFq0/,WΗ1澶{Uw0nڽNLf[l;cb5 "bMõqk=s 'mzߧ#"r׿ݠSׂJ-cQjvJH!jpސ+nob+2II.Qy}GI^H)ƍdk-6H[L5\CsJ-*;`h,t:e۟(ĶGY-I2 o K/YAZx2}ݱ-XΛYU4nlV>g3t=GR}:x._ @9_muxb s)TJmN]( 2%ɤht k|d ӋkEBD3KM‡DRJۚ>1@+3+!8:"6;"J6c紎)WX. Bp\vÊ$&\& !:66[6w졲R.^?Ǟ[@ǘmpkM5#! 2P&H$]+)q^Pj+Cm.« M96G?JCI/`+-u%,Y\S+Ev9fhEB/MPTkST};-e;q1wt~SmcFseM#kc9Ô^a+(j$Л$s\)"dn^spNda{ ʷ>XDήg㣎ע'r8J/ȞGg3*پ[7IV#Ƙȷ󮽞sbN&&Y!*XT|ŋ-;6y>)N~q '^rBfsnO3]CޢᐢcgP6]PD/@s !o޺udgw}[VDN+'|xI U<R{= TP`9l"[’ wchV%˦eE jUr2CaKZӤ]1';sﭑ*ƼQU$!?\XOſ]§jrA.۩|0Z2ӄ7`K:oHMkJ)i#\ǻAUMԚe/~5cnj EA9+f֠Rÿ$@Fu&޽lusu\|&AWzёRMaWH"!32PUAK ^ү\mZy IU:Jlhd|W Ɇrx h R  ujg%7׵;&ʷ;^[/ NzT`S-q ~.c(BU &o^V?5ybq@+wJA~aj%yRɌ}A2Ҫ8Ӓbٛ UU7tj% D'Csh}d\R[zmѵdr^3;!I6֚g2ʒ'kθm@5pw{;K$ZX_X M/.?j)@-‚don{kHL;XRXj=*@_T aQn #N-BLfל3▘ʞlnt;Iv72rr Ęx9ضD\0[ 2sL S׵; 2iwPiQŞkBgud `X ј!@bB&RPFriM1mOho-"1#vWux[IbGW\B"gχLADwȘ'zBWQco`yus^oWIm[}(SKen.r&_{c6 4 Oj^xcƫ/PgYZ7zXZִF! ]ŗXiɟQceB/%~{e3Aoë~m84J Ee.E6`$$o/>1ywbZ$n>f.Vq}Ge*s-QGJpyh%=y G‚[Av.VTZ%oJ1+A3ܙwtߍ3ۃXYZLYIX# ͥ9#ŘVe<7#zx<zK'Cko_$9t,3eAV5ǖzfE`F*CLؿyrRS^f<3;)lcbpeΈduϥ7~eWFJSwmK#~~\LkA=!ᵃZ7dz 8L9KcyF\$q:lZTX%6<Bg<ǚz8c8*/?ok-H۽ɋ(vZJI:mÆT^IE iUv;}?8eXDVɌm:Irk&%օCc`Á`ʇL<ઽ`0 `1K>MZg% :LںKt^gYZ7zXZִF! ]ŗXi%L =7UIY&HLXbWGd^+>sjIсAi퉘tj|Ϻxy t0:vVap%4$!6+ULJ:&߅ė͘PVƚaclo0:&)6 n$dp b> B?tr>rǭlGqF:#W@5`+9TYoX4lrw} IbOWN9x-I㔒Ո}I]z3yF6`i!| QMp|\-iΎ3|v 9؈aPE+a++Yú#!fqK[r%&vBrop|1In!;8z_'`S' Ԫu]l$4Rr^Pp_*]l7ܩw}<وtF ^ RRd&*]=v,RhZc欣V"ppYO/j7sJZ+%Ld>fl*QkZٯi딌cڰ+ۅv1OOM._y> p6N=I_~ NhKaq*'s&'o|挭b60[q`ʉ+#d<+Q {7ﴚdލ4ីbYri~,i! @S gLl)blMC G =Rr@zV?G-8ƘSw (L$lŴ6#'9{enpo 4 Vw .ǃ'>^JkEN\ZL.b,8;tUoL+>$sFp&vyP^e%z}zoh=df8 Ē">ng JO&P6RTVϢ4a+!֥vWD3AhwBC,xKI̕k>+َK$%}և? @gѯ iE#x)N/8062PR`jaCؓm~$%uJԾ1@s7N%1Q$`%!V/Q鯰h7kgdF GKU}T52X X yzE|dwU6EC--JYLrّba5砏ُc1KO2ߣFY(|m[pkY~J_ Z,>_ x;7iPE y$d+&E`H1ʒ%mt^>{iE V_̃EL]Jʟ;QQ֊v65C\,x:VO#1A'0FV33$gL_}tr(FIhgTĎf÷ /YGw↹W*$čT*(1hVr^f/w5/1._0Mf2Ze\0b'%:J[joRoGpR#ʆga|2=/I31dzlrDNj1)U4߻AI3[G %(< @z)4^ -iYێ},#q8'p'B/ZY??kęG>g;+L19x\fG-2 bQqW{RNUy@W6 |t Y*V\-Ufw%־'  !s_Rŷ@:,Zn1B;ViXO~i {eJH.//%-G8~?Qwo^AʨvW{pq5v7 wE.@a 8rB*7k70Uo;ZHl@ )@ dġ K# Ja1p 1V>lW:m-|ʡ1H֜)l":'XL{:iz+swXÏgn{͸+UJuoNz~Zœ6HFdXmBIa:DTd sEPGYC$#P]\QWrfǝB%ࢲ j׺(pJ)㷶.LMnSݳ{f?C !xh60wMBb]:mK:W%F]-KbY a@'W/΅J6WA(]CKzd_D3RH+TOrxvP{}>.!ѹA^th#IV3 1BTi5[WSG!8qIdv5'VU4Sy~@#G ,E*ciX(o0[<:Gmy3So=:*mȴ2.Ȭ;GETMI. }2m>MkF(t76n8([>2MQN$dK o* h^_᳏ou%pIBOzp˜Mu˶iR[}6VJooU]L$0yDawlgYZ02377f409dc94eae3caef21b3b62aef8d5f09482d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 fb4c1b74dc44b9e4d916ace39fecdb0c2c700d86 a171866b33c87f94f7491799b6c4202df0eace96 e6e6935a3ccbe690696c707ded9891e094917f7d3cc77935ad2a92c3cae3cccbd1fabb0f84bbdd1b