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 !3T\ ]S]Probabilistic_While:threads=4elapsed=39.085cpu=106.348gc=2.488factor=2.727zXZִF! ya]ŗXiɟH)0%oӿ7+<u(w(JS2C˫A$ 63-v>薬P48A7QlVqLʌ{VXv-wNqY%J[mYgIh媶:PI@LʵꢼuQK6YIɪ7Ӄ#⃘T@2T.0p'V k ljW+]lP.MS`D"NTl K̛OgBϦ<"_.r 3g \LD|4O÷O֬zI5 m Oyc >QƐ/7ѮN_7:H}Ԣ3+ҁy%h[J.E$.Z͔V4,@ w)0¨/hoCP?O)1o~)^.͖!.){8AϨHfxVa37N6Xn0D? :xj#+8nK$t^Xc8[? ȁtZ!-ho^&!ct-^5xH὾F,& A΅tAX2+}Io͓>4!b8&E>svAC֣_5~3N.r8?C`B+J*<4-]~ڭFʗ$(N~M.dkHQo*H"\pX =`>t K uvW>|CJ1bV_ϣc EC0R9f2#](szVRi/3.!l(KӲv/lr$*XVZ#f}i-5viZG](v "6 f }rs+P=w[=i vPN / } ,lԗdABD>]!KS;ogA;[~)JHd*kl}2*IC!~PUOtNj\ـL2T~Jo&K*hOH-@+U`֢Vsg]H\pd $4MM9i ,?C wcĆloQ'h{$C[d-Mrx~J1l XP2p2|ƌ>xP^P1gk?ŃhkKu/{J 9xyoGl4ǵ+j5NkH,?Âd}s? "-.L"D*Ԗf-ҵNqώkKƢ%][I|H<& VE$dƟC˽sGpWD8U{YT5"Ւ݁J`m)vǢr{@d6hc;iz?%z33&Gaft@j+>'zy! %:B,E 7CK< _}>a|'AQO`NiňE=ZM/R2Jt%?L/q>hL3IJ事h:S0*!Lc, H* rOM:GY5 c줍tMU|uyi / ԛQ9FP>|g(9\E"dr ֪C GP8L)̡Fs|j!(B ;(hU ZZCp GZ/)?CO̽_@oHKjkܠ }x}9(,/whꢉ,cOcrX`u\Q.©t#+ \¸@aމQΐBңB%X+sC{1"83Nl ?KestBTo}Ey\Swvaڸ;Fl%X!En ^kO 8(Mvת K;9Eяtc<,4ٔ좟k`gfb`.%ka{8ګ/elq`$$pSb6=Q4VU('dhֵQ %f5}!C_k WVoZatB:HI>PTV=L]˱ Vg!KzUkAk=P]~ ښ{2KҰ9YmI}2Oza{>nx{=,RPYhuSّ ,V,+`ÕC^F=ۨӚvƮ9eO\:ϯ*I\BQ`W L_BlYAs>n鮐O[2u8,K G k^Upf^mSÞ+i-V_86kKՃ#jv2N mIr>u˄6~9"ų& gf_d驘2#\ѝšJߩKTe$#a! 'GP93 tI_,p,\6L+(0˝ E 3yHp` KOD.'6 IFpogJ˹?Uf7RW_,JG៯GQH0MAՓz 5YJ~m|e| " KH O5^OZxjR)OLS!^mE⥴/B7 $9zBp|?Ź2MH(H aۤb0kx!{VELH_4E+FzA%deUWy~5SO[\Y2"z{e=lBŦ=`Yʜ,0&Vsm-yg#' wuTw2&Y틻a!B? 74[$cH2B-QoJxۥ34k|Y{1zέբ_~-A5J̩o^Ia"(\#TSkX#HּibIrU~y6fdH (U9l7_ƇÀ<]sJ.@TGk(!ST1E*Zgp@ BwxYS6'L7LuvVTך&Lًf>3N\(3JF|7 @BQ"̞̀掫<""YI0.iΛhف =Hkx($H S %>AC"m=V7 Ё2#I4\>f#+7bb a{ \>re{kbqK9C֚/_ "5FI},s+؞IJ#ኋ(sհ[?1h\D_ܲKmx.01iRL Hb„\{Z/F kסxtfԂ ÓħjIpYe'r9/G=H4yAe"`v~jMES#/ ~ n2 V^;': Q=W5G V=+;VZjʛ9m9k<HMTx\ #|cfNVN3ÏwV-w#zl_DWjWbvϋm^}Km)m 3 h& I/,FWe8z|Wu{ՠP-Zǩ0z-nȵ&poEcK[pVѳ[ݜ Z!@)b4;y@SIp$RPPul  EۧT jVsjн[ zWUZ+*cSBz+ 5>8}A뤸#;*ʩ9ə ;&9tK]?>72>?w֛o AdކZL`3O`GV1P(I",kSH:mJ qíE#3bY(D|`ǃNdjˡq'яtu#yxlVDD,fZ‚|TGt4\ɍ{-so'>5txt//iҗH S(Yvk(z4x7<>kތ&I(Djm1?6D2viЋ@"rO+8fᓾs砵R1y&%Ij SWMvGv$ F!ٖE!pI^s/d2F1wH}WcxX3β c?ZZҗѼ(gqd4@/k/78hZh9dor@,K_# 2dġu07'_՘_X:w@ȶ'lE!9oc8{B8'U\-6U3 Co8K Nf/"}%tDHHԃ6]؀ y]9J/q5$IX^9Z*LV{|g GzfC)&0!K:}8nz+mzw""i%8&r(MV үc :HU3<)Tl^CF0NSb/6o|W^\UV# V6%@b)?'p7oI6Ljo*kfXzX7 G6]/N䋕=VɃ@Ty x9g:s/<~WW]NR/d22_v~v/,Y!KIVZuN{ՍmP,e:kB1 5G)H uˤIsv@5e{hQ;W{{ yA4kn*@S&J9 {-*s{˝ja6tNQЩ5'kkm7oG:஠)irz Q{X6m;"Nzum(sD4 dJ{OJYYym`YώtNya")C[<.B߱HEu_!G?e`DZCQ;댟 H&EaYoz~ "Fuݜ' RB&F\}1bb;2чL _Foӱa%Yk#%(M(M5xD |-^az;iq{s(\|a<8 2xb\SC呠,['L!fC*y- 1֫hAEu, :jS<0Y~e JNBL]\F"0OkUcW#dr-Ro_AIQ5F3[7s")#}+Vtz3T$QA0lgUYUCkN8> ؏[{՘u>J@G 5n6]vk33Y9.T*f0N:kf \"U5^38L[ח9[ۘIsܬ\JSc2pk4qk- %8 6~3n P"j_tUdʦu%θW|TyVsU K!ZG Dօ;|n9^aT-0h:ݒ)3Ooz84V?[]ռߏfΧ%U ISXuQUeu,j˺S ;%wAtBhwv/ݍmgB)M4,Wg>sA9uɚfJn6-;aL.^6MגhUb{Ԑ3U na% m2=pAOJ99OϪpT8 -(j{*2&htWWm|t7;-~Vi؝sCwTHoUkމ7}zӽ!4f-,M q!xiP,/P#A+v%K*Ԅw\cRbkYZ>kh uMkQA]$Xj}R1I.?^KQ88B)R50F4 C:XiCpoWDL X} y$VsI ׍; l WlzݮG\'N,CZ . `W`3¥g>iP΄(d8"4]ݱpת_>}'rSHo7Wcu+&"Rfx,omoOӋ .Y?9g`_ۅ].-2~դۂ.SVDoNo,Atz` (^ƞ7 BԌP\ݤe -9HbPi+- [mX 0V nUΝ{rgQE3=rV``@Ə9ӌ %0J(&[1=#&"d&O Ȋ*{FwO貢rHlHYCYG8wAm+ZGBTzyyV_8'l|p'cW^w/d-:?k@iy][W5]:*[%~zwة˭fN r\7((eCԯ/.o'20bd.hv "H"6*Q.:Nn 7!u_qa..5nBpŰ]ƕ/IYҺ8Hw@8dZȲۣ ۉT3qeЬ'm٣V.QtX wDHx;*Rtef|f*g\p|)LdE$,-ou^ci9*k) 3 5"rp]Iz!'-$7vHhk? 7P(oM֜fT4}6 ʮ Y~ؕ3shϛKMڅ]̀ N5: Οh*mt &k^!ɕJ;fkNodrI[ePI(>fbi.uUH5q㐻s^sa-Tv9u Z"GD{2B2g1QX"_pEǂ "D?ijvL#4ѕ"}/PM.XpIسFl>]oUe;GLѪ.Hn ]uPgj~RuIHJ$W ao9 \)ü@ [M.-!nRġM-[l=rBçM_CVmihv<}0ViSG  y.$=5?ss|hAX)4}Z?8{q4{ѹl֞ Jq]2iZY~+p7Iŀdx'Ⱦ]bٌ{`sXXj { cZ͝70ꋚ1A?4e坚b QխZ+۪ *vhL7m!9 i\E#g1lrJ4NX7 (28fD-WAQ(1ȭvWm>YΚ|a@'wos^־~^"V:bO".T-ܢ6i8S^x 054FUmHZ3_ɺ=-Y~d]: 6 4`ڋȢ܀-eb@&&zfAUyY9Tlfe>Ҽc{ݧ԰P=f)N5mcy*Ljr=f6a7}՗MHGih*ܾ-ZVar6W^'ڢa=2-?衛b sfP!ag~ll}Ha;A. yB>Noگlo[|6-&?l ~,a2dM [;r״~L'~iK]a+[VR1-ʕu~/(A72M.̻h a F64olj{VNOB1xy3?XUsM\P4hV5ANLVbL '<יVjdKvƋZ\1O|dLLmZcPGj^hrc>RX%h; Y_L'N!ʆ 7#m7'Z{R eqЙJ2{N}8q]1V-f|qbWn^1U_Gb-s:CS'V,X{ˇDzvTT!.\kS"{t 4<'L3dz#ͭ]4TD&idῪR4 d^^9n^1zli z~ofC ϼx䖌귢2CLfs9?*  0MK W}_ N'uihNKBf 7<o^?sɝl?~Q?rbiQfκK+ =MQ`ܫ,ba5)IsË.>^ \xY0T:&NrSa;3m֔!X]Ue#&=j6# Mٍ=2xW ;rxuxW:u7tZFܢx3"ٽ|A#O!6Iewc#ΈWs#1q8͏)N!YQtr 6 2P*kخ1B|I7[Sr){E\mOQkH g@Lk)ioݔXosz+0Yb!]ĥ]ͫ‡%FC+졭Ww9z.:xlŰtk-Pť#gXҙ[D M׈A:&ir"h ޙ %˧&ѳFc9vgW O{]ٚI:h~)` #܉}x/1&!F卑B Vs/*HssyiPNy;I/o& NJѮ+u`"2%`dv FUjPs,ьiy܇; :>ɑ=`%Iݠ L%b*8E)P5&u:( )7s=HL{e\,TEk%sCDd^o=ŶZga٘=Ƨ68^C;VGw$l"_dX:\58fz#" wȺպ_sA*wj|f);0@`㭢u7a35}:i":4Μ@ُEѳ.Jy+K>eqax~')n/+E N*Pؙ{׺L_Y}KC}D6 *ɇ_M%ٴ^7K^L%׼t?T<l*zu՛)]ha#+*q˺ (ҶW> )!8ڑKOU<\{;A9[!rH(N;:}}"i4`Mv-}'H 9#so}9yp>F7Nr&Sb5{H?m Es|;0V$g;%5l"ߧcPjVHu=v\gҙXJ,<Ɉ.Yy?r amaKܣ.;9ZկC.VҊ&+2}=kBJ\wgYJ02hĈ/pxke0n ĆՂvh+'Y|E4J+i<Łd7鎒rQHM~ǠRvٝ E7St$oa3c=_ рA0ަH/6~Wkd`/"W៴<>]Erd˥4@btKtjNy3r.E kL.@;6pP[]t¿ɝY a^=tB{2lEFa ˟MR?_Zc^_yшJ}Vp~H'C~:1Vb2 `{= @}[ۡ@3IVwzG &c9:[j r50 *dGWt6So4tCljv7|LGQs؋"ܢ7av~3ەH]"r{]vHlf!GEQ7cMB6͔X*KUD:<; '. Om%%k:f7/0 CԕūJfY8%[Nj4h6sp"^o;@ (p2)eq/j1dKwY/ET/<9[`nDc~|B2T}Ē2긔&m3$_Jp% ﱾ Ggi#eԾ>pv~r^ӳ'R;wsϞ!Fe{?X 7IE*U=hBPUT A1{/xhl ](l>?%/_F#n^Fi. @O)o_WpC7g!1 ~q`1M%sF֦q,]F 4'U;պ X-ڗP%aR}1p߬{E .XcQzroN0+fW`mQF YcAzmv11?*UF 7lS51֊TDԈApV<@:"āG5)˂ԂpڱdN7Q,t}D(9ke?p:O]W)5 F~Nv[r l]-ɦWKL&F(%4 l[(#/D Ry9NyS{_k1edzݓwNPU]wY_dAY\^tf A_*Ѫ7D,=WlhJ B*%_!Bѓw1#+.WEzck,qƹYG&y8ҧ8D}+C_4m_D/m,- C򿒆Plj/1ex!Aa.(g0 |Ƚ&7m]B^%Xܦ5E\b`v,A8~K_f\>VYt -+Ө2-{rz:*39 Òx{%.5X`muF&*uO7DOguV4-Y;NPUdD3Ufy̥tRu.QvA ;EL}ǩF%n>.NlNv8Y7lEilrd*mDӠcp⾡l`N[ yf>M:zd|{ PM@C2?OE#su*윥s7NꓟlL̴52.h_ r =$wt.J4!Hu=zr٦"nH蚲r*Wܪ5 -l5MWm@?+DprP|Nl[92Sh:ϧ-_d mO"5FK9]J&_p@}ІPei A4T\);e;un^@a,;QNG]®w<>` Mm /f(n0%nЅ g;7u! lUY&p -Y?e;!|]f+Wڱ򋎳 aCFGP=['_G8"="}%AJI WsǾGu溎V N'X.#9xK\ qQ!}5_TxkA`KE CYm2|l/k3%#>r1!N^=l$}.b0R i?>ў6:əu]Ә!^Z+:0  Bm^98S',&1<'R'|"a6 ddF6/8VlϔAI.|V^p Mq.JKѥFH_So@EwA8qh]纺;Yزn^m7^mkXz4qKJ:Y !b3L)1P o5z{1)?ky(l`ӷ x +%Os)2E59s'Ă/1ΆQ \,M=/؎qo@OV]wv)#;^qY&Y^@})II`3F}Yo!ﵢ3(4d\*H,rc^nqGN@+H=R|Pe7rSEg|XD<“`@AAVn)5/8)fa|Iuʎ%rt^GZ5 X ̡zuI}[ 4ؼ4~`*] jzS!URs%m"zrnQ Hn|H~Oq7!`WF ~0 +UDyhXG~|VIJBWxf=rb !'2[U뽌貖xiF;vݩv!0N]5V}bR xqK f7`31iz4c\?HYm{ /ުe|QܢlV@}kx_AU=MvzB5wS@KŅx/M,2[{ï^d6rOچ0Ȁ˫,bd4^_P(U=gQ +Z>ч˕e[{XH.ћԋ׾ӵsV"ڙ,nAInQҢ}AST^R3mfyt+uf)(R<7Du?-X sqB2-5v>F(,s`5ӗRڦq[b-lA<^^Y-"B6 qo.S(iP۟grxh֧G=/^/#_)ULޱe^L4t+;:쒐Vo8W_ui҈.P8t ErN*R;͓`SE+nYdZ\{q5n37_$Z4v2qͼ'GgE}ӯ!p72l`B0Җ.JF.tĩ}[-S\*(UC#׈?K4hv]M|ypKfgTM]PC1EW`6\gus9;q=j^8zK_1xs1\)u#kec+XڰH*ީOPiKiQ7ow?e bY.kl@A7D$(#gԮbfɟ i.r\eo~FK7jW|N/Y_4lDbxU@T*HdhE܁7I J eBx Wuˆȗv7 J-Kӯbfx("/J)4#&O&*ZkDOjU|՝~,[z%nmtt-LcVn||Sܟ!G>h$t-%ax R~|G(eSw8xXY?̗%ȯV*> ^V:0?#Մ=/"d[TxJ`/pop QNQ!Ae,4ӞCFE1@fk=]I2)- -?whݥYP8@"kA|gekG*MPCu-9%p3.ja:H/7=KV<^F童عx4)M9Sx2{wjy\_ tg6b\j*|?b |MqE1(cvc>/]-]8ekxqw$-f,SWSAd۶Rz +4O.T Q#d# @W&thy$h{Ø4V)YGif=Y/7\3!(d<5>NvEYUBMy(rh.jNXkh,c]L$ }Dst\@&oyb-^_a\ZyqSC]Drv3zHuGVzLo 3?q6TVk|L*?@9+sjta.k龳Hzf QVKRT6 >à8=H~E>0[o¼=wǀ8oI $, h.M pRyzֈ,@- dSRZ/%ۚ^;TI Oc"8-ߍVrՕ T 5Oj3ubwŌ݆#{U%k1sDDJ}!?銄8!]p J&E/H`l3+$؋01sŜ.< 'j(+yW} c$T) #gLݪnӇH7~]b<ޝ!oqP,C{sT^!ycU8$cos,D_xbJ-&x@]/[=f8')ؾp1!$|w8{k3E_c-ۥ &^ݸj{9݉A+XW㋍)/cm8Rc:bDŽN`O{z% ExRc='ȞdJ>cCs[ǝgLlbE"w9sG,8TI5naMCi@ga,8wB/G#cu)Ѕ=m8:u'~gaB}zpמVg$fҴaA7;,r^۴~+P_4piv.T".G)y%62D:[G?j:T65&/N>MYö?bgMz\r m72=10<4#ټNXb)V޷yD|ݯlcSQ$%h>G]F1*Ձ}BlއWnYm:X037hU_oqfkK)RKڪ`o= |рҲieZ7 }f&L B(?_&1U@W 1kKѲdGB;L nlyWGlganZcK. JAJPm۔f`bL2?P䩌Q< , +ӈdV\X /+HE: xˈM+|=1Oz6jdر$k`R5~VͥjuѨ v:Ǟc񈐔FKt`pJ+ˬ l?(΄9{g -@6;u 7MZN@15C[y r{) `ch4(VI\Uc.H^P&I0`p1=vߙe 6(%F#*wz@nl.UӪP!a ; κZQ^ȩ6 A4(s)Q]K:w{PSQ[<{}&c;w#VQO7$tNM,% ȘL@qؗeC>&'H_ga< gϯ}!{9Q]Ze0.٤3X+;9F}% tIɊ.zyKၕ ~mN^䋞4F0x] 7CyjX6NУKludMޏ++8g&>4}te_ӹ֧89yODZfs!)_M1xR Q+uޥ.=Zƾ G$;MQlW:A-8"WJ"yDz΋{/mi`" Xa)M+G#щr#fkxHc$f#(HT CCtʶ1ia3n|\Z9zݩ*FSٿpcE^VnC g{& ]]]e N].G~)]TƊVnTI= b*i&90F\}n([0-b)~/ W$l63oЗ_si]K+ \)fOvGSu ,:[ʅ"]OHݖD]fkF}w/,6qCF%2e*Dڬ՟5yb7YJX </ 4cܝVP@w:܄74 P6jKsP9E0ƺ{qmksYf,~|:UuT;s5Q.R5 i·%8p|zw8eGT:^qLOEMl| u7.9©I#?2UZZ-M dt/%ZWt|>s.M\ nML>63S2Ml/|;MbPIu)|U!WdƧ~Tq-f Nvgm"KsTr{ ҏ( h>e1 k+Y0W`v5w+8a^Ѡ%G|`\ lJ׊zaDDnc[ }4otOA2=yLS!IAgX22!B)k>d%a ^zs;@E1Iټ{SG aO3T*š_h/dsYpjM䙇JLmĥVz_~Ićι65; n*XTcdvO:(*ܡ8ժ#SWDΣy@O6OZ3-4܀LDTN/VŸ2̪&;,H) l1;5d=1U,$36WpJ$rU`Oa#Q?jOeZc5æf(n[ʝNH+F18s9C`h&ebY6ks*}]^ЗX,u W 3qLvR[HzsX%11%V; |mV: uN_Z]v\%?pnݫ5 /mn C}\X"q]I`EL:ŝ-E/Ձ mWȲ~QXMOW٬&Rfڇp2`z[^1] nD'QddF4Ďt^hqyaDB,˨Mף VZys&mАMh]~ucUq~ݤNSwőDvpspS26y^تu7pUkq+ՐLH{RMI`+(L׉Q^,Jv83c_. sYBu,V@q}!aG\ZmzKm9[ߩ/Nj{Gm.=38 'P6fJJl9 sr B{.3/I*hh^1ѸxgPL(έe`wqY:e[ pOL<=5n+U˶q[. 3gSW{]%1l Q1_1&5YDĸLX?XLhl [^X8\$a_HUtIz޳*D[Ot!݁Pa߈Z)"s|%"o?@=#`E%+m@BJ[dh,~{u $Ȣ P$& K]~j\yjp-yW"œW_KׂtI 0'Baa=4ael Q5{Nho d<8:d*8\}^ 5Lb^L-4E-$#Ϣp-'JOxEh31aҐt:EaD4×+c5/3mX7eD[HT;ň-,"Q?ME~tw0$nۀ7R`wn}55o[bIܴuC̏դ.R 5@m-D $wY@i$VAנ5 59՘09fl uW1{yr+N9<>].3];Wc@a:G}6hKű~m!vaR[t +>@wnؼۡRQpDQV.j-MY74Fig9<${#!bsyp{y ,6!Eg7cPYM ?է0f:;ӕiy?i+2ϋ&pF$!w$,ѢF$*H.2\xX3bʰmBc!lk]@,ѧfșrn2$L4E~'$R37wc(gAZfRjኻhj}Y7 (I u}i.@EsClYXU>h)bvW22 ;g.tԭJ 8EN묽qʕFY {jxnoҮGf,F6)\pFO%)_[r Ys٤7ȒbYw.@\F[Aڄ`ub5@4a"F D(KdC.HiQns7oXXDفƻu:>6Rv]r_̹̌K)|]ǵ97/lĠt`;c-/N|gd@D!SR5eV['89jb*s(R(0;O^Vn`Z)O'9V7R׽7 ORDsFuw|?žlZ3L&2 Fv-Fޏ1iKl4_35n&b9 u=%ߦv_#+xe;QrZ.sLN7d6kٓdʑBz2KXZ59rC6XM.Wû wNj޴^=V4jwu&;,z:|(@ %'RN4\nQə Xm_`.˘BN!O˟5sCxkֶn GXkכx( j6)+s~sQ^()9Dk-P kĭ45oR/W:K Ƥ !WMŧ-i͚>,\;6= W )cWĔMp`Ep[_l|E')s{Q`:JP$+9 'i(I5 DWd/MbPFr:]NjW3]A:D.k@ŢA P 5*MjS vPc|1p98zIVWDWXS >{p^\:XCb"&qub BUoENTCdK8ŕַ[1OQÅ-=kg8us)uwGՔ~o%V*:{}4)LP EBc0k$!@v/: . ?D, +0k3+;F+h ^ yy|XV" v9|G`>7g+oٱnx}gtEk I.l#Aqj%BPNSH0x7̡aݘpֿNxWC~P&ppۻ޲/V)u"2{W>DN;S~]A8gHŰAAI* P&{neQ^m(ZwXD6}E;1Ty'Y@Fwytuh=ۂO>t]|;z$ؑBisOiC2q':C[mU׆_ B@oԛKu[B=,T7|Fan{ӝ>\<Шڵ2@ v^Gcs 6|PvjF%:bguLsgH4 ~uB >~\O J'iF X~.3~S`[\zaVs&݉ w+}p 8y+#Za4 c* 3]DPSmo ZGAU0RXruG%r#JiA$UUvYWnVB[FÊL݇kSgYl+(͵ {2 ~.5,HOfxZkܨΏb~#EؿAUψ+<٠/z2YY]E85{cx#%|-#+<NԦ9\aDq$}i;ھ}U.䰦4|#TQQ+;̕3L_dh>w^,_{tͯ u]ITpn1<ǽy, O mjDygXLnThm(yȧN9sOHM M=8Ķ(x˳ 1|MIXslpAWkDAfM!@jkڰu>2Sy;]+C3y=lo9HLTu^]tP*#Ǎ >ۤq#<'r*mVL݉^;Yt,lT 4zJfl"ۂXmDȍX _yz_b$9aUCӓYܤ+j}L64~ߕ=0/eriBީl/U\Z+ӏw^ 1hUFg EHvEqٸ WJ/*V% CuPBm@L`aPG W]\XT#k;-X&AH"8CWEQ4\^L+cfd@4JEPekc7*{\"-ö И: yUttI,MsڱY+hjAiEJ7bU-Mwv9 V) 9n.0+8YrNk(Cj*R x}:9S%4)f1B:w.1aY⾍3[,Nc&Ϳph0\GP*}n֒{KrZ겐= RtbvwL{ImtDs?Pۤ21ç suj\ϱP|%@TyKuBuruG_D<_>MJ!Y3y>sbᰳZ40@pvC\mۨl(oErB5l`` hʚ+=":n,$DJT*$4&GA~6]@ȱy4"Cª_l j`^-RA."Q;8/ͬwɏZWˌLcP^ 9Ҹl`8:Q[11/Q,X1GŖo4x0jU~]͡7`slR.,L0$:lOm{$>v-ur7""E!|,E%G&׃=g7[KkV5GԠ}iy=r) TĆ Fu*gPA^Ǟ!sdBWcFJXrQYEct Â,*6/(!YIj2`} %7&rrʜuZx dEs>(PED\\P ,T0#MaAX ؿTJM;gVǍs="ϳN˨ybC9&tu,H85ovÍҋ&f+0Lm$ JBc !8 1/lhwOeaFr>ۤwf8mLë``"-Eev#%vj.UL2:_ z)PPO"9,)ۢ0Q+GRعw 6e܇ kJW)1D1 zIٚZix$b/tKQ(lU'!l8+Ca43%&5:;j.n;}IK:F^+DDtZ47ZQ@I4R3SìV?g v^f~eh(RƦ ErAʾr)/?v);vF"N4J'. apz%8} <낍!!$tUP14*`|΍.]݃*ΆR&WJ?.r2NŊ=XHd` +v_e0Q3'a(nF`=ɉCY)H5]I053X8HGr Q!ř(얿##\% }ms._}T=!m)-Wsxm/a}<&!a͖Lb*߱'` ο}cqkNO=O~~)ȶ1exP. O!6ӌf4V;M' xZpšls%j}|ᨮ(#'EKxsV#\{#u grfM}mUQ' ,"y|? E_M a!*٪q6ՀT%֓Ja{a`**z'$Գ3~bICWZЙ?%@$pMG]agmqx135S0v#a _f@*RlbZF|LJB3'ZiLaR@EnKa#t̸MJ _`se3&+5Vi~̤c1\ś,DN0Ő|Nk6_'yS8u`KVl)- ~[NiyNTp R( |#?h mJ08@-n$ڌEy=f]"HNf^Fh主3òICYij{?4xPfʟ^.z[)a]}ϢN"W~Tf"ʯ0F $ïP1%.\rfAGx˭V=o<o܉ *:%dP²2+C'sp>bq8'4{ĩ_7W!wTcg^[Juy湡,n VJ1;'qݔEgef"B l(f7UݘG(W4|f\ # M事V2DGlj$D(Ǜ$,g7!e-[趱 :5#YZ&>|-ϝݓylPn*Cqj6Y+|!Ş<$ͰiOX-^oU_0<K(n7{3igŶ`VPC%˜zU"Do" Ytq~PsNc5ViR ]/6ErBĵpKsw)hAlirD5֕[mvnlOUL߲ڏH &:(`&I @׿$5|WkCv*;p#4#'nQDam7F}.3zo495 ndqu3  'ޡ|b~f#9 n}bЎC΀FP_,sMPg;'5kTH f ACm2-[f3(I`5³4e'x3(?^N!ޚe #9ք+tp(HJ)s94թݵ g="n mAt|yitBӲ9&E;7*s1?v#L>ޫQ0LxqK͌*Ea  ljີB{ Cû&`!1TsW9*&ri dQ+W /Hvc.UBc׉>RSxiJ mA2>Y Y4PT0#~yc EV1Yn\u8S)@ ~< KˁIr"B[Mjf/ch|8*vȫEq/"{Mkgl8h䥗VrA9eu=F1E$Hq$wiUa _EuM Lt˙PG ^nlٌ+U|D H:1R`!"b$naUc^tC /;@t+= Ͱl̐طˆ6]X6{C񄐕 ᗵ4 NYb47-PJ6Tơ)j9q<9ͩȞn4Ħajd ɛ˅A(c@tT>x=5摉#*;[0$4F]#)ls.4?h+;h]We@*2i7xW;ʨQME9(EBU/~CB*d r8x?.rX(O0.9uJ_9 G`$,A3 z@.>MHp'ߓ ._sY l_O +L0{ :s}|{զ*'d^}"|bS/W_*,mRZBGi;YR mXb" \Wn-א5kbSGTgӻt,F=1Eol5M2VqF:ֻ=Banhr]Cx*Jx ;)TH#Wb`ok/&>xvF>9nl[~)Ԭdkd=|nXEjgcǰD]sKavK^+n};d5/7na_GjbN֜kt̻ҌI[X)Q{KG^iO5&1uV#TV ޗ} (Ζ֬I._tõ ~- 1Q-D6l? [*Ъ4P?Lme VIz5q;xj}?|f+I#z8ʾEC#Ѭ.8]~W`N(n$vvKd: K cHK1hҥVw0 *a*-$%(׮|%F.fqh/GVp#AHqnCpWPL縼Rm1xMn%W+,%v0x=ұW?TZt9_-g |_Q{j<qc8,&uHјuM zM DyO;X;UHvbND`>>\y|?PZ3UW&8xz}A~|̼[΀W+zIW ;=/.i$jP Hy:R712:К ]Ihne;!!E-qgBݩ+S>`Mx;7Gfsi_-  i;!>f.y XfHo!_W>2zɾALëo,*gJ5*9kqO6M Qp 9/JKtIa DVpZ*H ^F A֣( ]I`8>QA(n[SC~Jahr`emn.c.B w_ @kOV]F)(R@W>  Z3xs_Kbf8$B挶܇Me<'v֯ju+4gxRmq!1Jr簶~ # >%ra9$b7my )^̓OE"[A#|DgϖI +,jLvKδa^|#mBn]t2~7,M{H5W]-Q(nc!Ȋ Lh|maTm~@5pt]䯿OK]!P,5&Eu:uzRrI 5/}ބ-Xl]Cp"gx'G|b=wc&VY3x1rM:ۺh>O'UF;w/kaBFm utԴb>5='_cQ1Hn{-653" C=:HzhSnkmç, R} 7szy-&ۤ^k~]8Hj|"mm(S;4SYu2i?&`8Zn޻֯6aJ[%kս}~ʐ4G4ݓ'j7V⦖.hsD8Mcp@ݙvB(h] UfDoӕq>;/FTb(z:+vLl]Lͺ /i_7LޮbfV)\`["MGbh`CP3^MgP&?Ϫ)s/`^C`&l2ScM0HT2dP+ E˟CtMއs5Wϵu! Ѵe~a|}Xyш:uV&Kձ/5Hu42+Qh0rλS>2Ӥjw]ι Ν"s"@U`)"Mn~O'`QIOW;c*\ը%4c9E;j [pCJв- /f]E#h{trB%> Jq> s1fkx}&OTi7^(S9?됗Sd+dds, hpYY yw0/~8CUS#{z:\ IA} H[D/XΒåMNIluEE&mK"h(blv{ 3;JLv,JH@nlBzmʹ>egڵcxՏP\ƘL{*䰌Ts'O'n g<#Y 89ŹئLjsμd.\[l!>S _€M-TY:r $Z0:0>4&ֽ0x ĵFxEDYdt147>ْ5sҔºZfj)M]fSfDzTG9Lbe1>>{$bX'pԌP r47Ewp6TXwĢ 5/eik;uLC6:cA'% SiIl$l뒢+|nla>(iR5jQ9ؽ|X]__YeuyT\qcM]ل K{.TR&>oD<̈́jj- `=qRFHg8oVHo⡑ EE=9&!}df): }>jK(QtM4^#겍]L}w/V#C4y`0h@48&Nw vg2;PO2e\'M8I<C5mG{dXdAWӌ0`R쟁-`nsW\>2q_(AeċcS1YfrEӇCI+BѬ -pي(/>'RpQBfv+mN78-~B%P̻eAzaͶ&mL@2TdZoQWW*)0^|.AbMT.(%<oQܢD <(PIŧ20ɝS(5}o{US yNߤ0v5`'n$Y) Pc[x_WK5Qfs,X$@3P~>GP7v.Pj.]c5(>T  dY1smHB:؊] x087wV"  n&wc :{zNMY>9moBbeTݚk4cAyMo;wԹQ @xFZcmfOEcwpBE`6>:x-ˊ?ƒQh _G8ԿSǾ! >f%2ɿuvQKIsh9e/>yfh@.[hcƚްݐ>|gN=3 h͋T{'A>*EwЏlcvP`Qz"> C 1@@/3pЁARqNELj;{'fgqH~ꙿC>O}rCI6n.-1 /;}r,WVؤsդ< )pdB30c)֬#JϿ@V ȅ={];Ư e)pv)G]peS~M هTus?v\fzGp6M9p.K 5&i _Dil0B:8c65KK 05[Sus,@ﺨ53/ţVg]v= lpCx@)??{9qO?@jSDHȟ\K%kh?:-Z&h_`AY?5.bR2"Q5M(*x f>F'UCL7JY2L{gf3?cTwPHaE(h~-rXc[t]cK(IMnT|rѾA4A jx*,hkfP#+F 5+=vdC}a7XsΜR܁|Q9ĊڥI*߰>92+B\({-tz_/dr+JٜǼ@, ɟKSv-x\.s;R]h B0羨S)NcF͑Ϸ ᧀ$m[ GEwT}vL~"AfX< )-vjDDt uQ/v4<1JC%"'V=*؆ gHE= NB)3­q}K95 N8c]r8@kU2 c/ՏvrV&[q>\.czo~soO~Β'A)!~mqc-#Q=a50Mt!}IZ#9+kHB .J `D4=srx! ƔFZ_f .Gz`Srv!֕+}jchaKmU)B}Yfyqk.pL|@Iu ͟q% nRMB• 6DANɥ8&B6ѴwqM0I?fgTqq#L 86"4!3wQx!~Y\]+ ,Hc(h=xb]kG?h >'"=_7Xn EhzMөn_Fg>3)&=39Cilru#)фPuU(gda`c$e8_֊B,dDeT`Pě ND-[iIWv߫1DbM.^Js߿jܹQ$6j=gG"tDxӸOje|<9nEynnfNnֽ#Edm\r鏇z.91gYp;Bj$W%nap6N_+GN1i$uj߄ du9LTJꤢ~z,VSe,b]٠ lK]gȶm/ QkX{892$V~lj [eYL}m6٭hm2 dyi~igi }5d@#o&}@4e2i[ͻ&yKʋ؞#|~g"&٥6ņp4( m@;}ҋvƣ \/ijFrYz`ڀJ#ft'SgxU :h!/#Zjضp~SREM+1슿5XЬ[ "f0JKYkiC1/V(Bw{&NQCe|Oh[SR]fF m4zrޕ)V ΡXNz`K^@T.uњ4S-.KjTb*%rk*2Sj*9J[Vf)rG54W:u.*܈/F Pv6)k *z0fm .}۔ǏkqTkA@4 ˆ^o2˩Ɗ׏3+Nw6̼Pǝ+!WgJ&LkӣH֝yy\LFAF~j!PDW"L+4 M}/F |Ϟ=0`8C:bT<3rJN7sYag6gnw ~Y[.^ʁI, [myŚNW62\Q0?UwGiX%3w( ,ąfpapP/a`O^L0( \E޽RW(z \l9A=Q B N Ba't`ѿh%9oTTO²:x7Au߳/DPX?Î@>n xqrn Yzg-G(ĞfX;tG0^_fFT=2ur+噐ŁPHw7޺]|B= MX>JVH3`S'G9.E9 !eO?N{-jXq"-lB %ŧj,xq+:zaZkzK~{]/6]6k&._ϮqU;OUu%7i^Nk+HPid^\a9Mz a 9o W2P 'JEh%G^8$ A_%^#HqPf~Z18y\Ͽ߉@w0r,&/6r9Hl݀kk,caFWö́qȜ{`BmENB͢!TR(pcʺP J ->̆je y50+H& )MbI8@Q:7#)$O9 ,l}ѦxclV 6ݾ3Vz_jPIC]Fj:9qcҼKW'bltޅD Ye@GGO[v}̦wz22 ,["&;CPGiXFVV,ilcB->5{R+qJo@V?Px"ID_s{(~cOJ l9ThlQ*e < |D:YE1onBV4ڵSOT4Xrfq-L.jﲉUQxocNqV7D|H [Z n]5D-֢Ċ\zYTUhY3HBRu@.c,ߪh 3 }l8hqbh֮j1ϲ ꠝa"o2+BhZ͙cQEmKθ]af sq :Qo#&B~40a|L=Ìmc"NDU2!fۺ9R~%,R5&GIuWin"ts^܌]/?7Omo =5UQuHԦ1NzfXfa1]ղi5ϣ 5L{B% 3,n%)fYdPT9;qw^N&n/KB)h{Xg5; d5{KFHXDfH¥)+-ֳVYBz4Tx_*\339p(G9 AoPRB 0TĝV^`NP~]a7QJ JoY6 'dF_>jYL"r>8]c ңӪ>"DFksB%V.-(:.4Kn; CήnZꍰ٩;⯝S,Gֳipέó bU它hHq[2HwpǨ|Fcone{+"LM@.v:Ґ`2FJʒMzR | 6Nn?Y{\bI] + [CIJoI53WdwI8`94ղ"͇aٯK7eՒ r&vNKRd*Qd,-B{*F4-od`3/2cUo]jtƝa0珐Ƽ CáNV}/Go98U\FoT{Wx :V&!b|SC<\;'6H@a%hdFw(|E(-fߗqUǢe-ˈrk@+3R q\pt2/A ~ƒH fsw߬]}l#q!e}-^C<4͢6L@$n:{PN(:sk4)\ iͺѥLǷx.JsejC-!^XUb'$oąK%C(Wqh?IW:$Tz_," pphfrk(w[lz6R {N"tޏ0d47#STWluJRkY$ M\,2Jܱ&VHTq,k 3ƚ3}vwc\10%,@W0Ϧ9YFʢ =ڽ]Bi/kHBdeE¢Rn6fg~BQkQm6"5(aNSۖ٦*m%D\qb`q[ z4!h!ɟt#/Ǩ"G7%=enHhWo0f&:l*{b3 Qxݯkb.?bl%SBґNV"5P}yެt:)(|,ka^#YClX0If ٱ$ TpP L%w&Gvvˎ9fo͠;jU+'JV+ 0E5g 2y3eEC bRSTEuΙ.8{W&xIL6nrnhB;fXU;*O'tmbkfyߩ#\ջ\ P@:!.(BڄQ[9cWk)N`lrֻ(W_{ln?F/ǰ\  54W3,BP[s9jL):ԫn& 'j H@Yu^(-Wt V3W\4lTZLD%9(1g:~m+aIw::걤z{+\29y++ WTHlO&QxKN4U,*PhٲI!6,7\\0svУ2m3_Y*FF( ׂPm&p(>RMog!6d\Aa>ssRpRjߜKnjNKt!ڇפᯉ=q]AP?iD=z<"h:b(~I>%"QĐJNgӽ_L XM ϕkU)lqk=7:9 &&Ur[ Sw[Q`Wڕ7?%s6 THDׄ"g5n}.X^E^USmm}oQÁp=ƿ#ȌG6篪Tj0w rX,?֬NB(SWGtw7cl^'V^'2hrdNitALɹ * #X;yAr)* Bo4q'i79*!<R6Xް~B|Fbz3PEĦbV43Rϟ-h{Cq҈C B--UW0,U(@â*2y]#>Iar>{gn6 |IAjnhR@}4 Ŧ覼 fƋȵ;A㰳XaY6bc4b^J_W!O"WT8,uO('O˂c3KBHCZ2cN#8ӫapW5a5._]9,B\Qd9̗{pq2?%@Ÿx?u|kuJVKJd  ũ?(r ǮV4$7k]$C&~ؙHdD]ұŀ*ɭ"TߏdCaE=΂#Ni%M1)Y*7R;Ž" !SLu7>kawPSIwuӘH'wc\eqF1{&D ?BV~K~lDK(U5 ]8L 20 N=,w+fiԣ/:/jtSI_hA-H9oh#G\lĸ[}JUhla5vHg (wdKMݙƺ=x`i`(\*ԔS{Xʁ8Ga,*ڃnVԪ`tlFg,g.6L©*ꭠ}if*Boe SQ0I GǬ"'mc Ÿp3QHUU(GNJy83f)YثI#w̛>SMm嫈w( ic>v>a%_.]7W क@Lֺ}^Sխ6Y?xHz5 YٙyqLU "xs4U*"q׾ U u lcID܄|nFBTVP ;C "B "|RJ8p P/G\rfEI~za z.L N"QpAе-,TZCNwm{Lc]>811/\\:74KBG , &&};*TS[(g4k/"˗@[m͏57ҊE}_l/C!m*D5_HZ YC" e E 0kG:W{Ĭs =KFϸ@~\H#T7ðnA1cum> MWbxEqB}mbMvkGL<5};.$1gs5+/l^a,gh[2teWz)4孼ps_> hTCť!6!sH2.266`P.Sf c iKfU*+ذikrV'-e\R_. ܸ=旷y! N>Deѡ"TC-݈y&ǥO0xc-Wq?@Λ {2h_EL ,M?PLEͼ_ ZDы^ĴXJVbq2%Rg aBSx1\D"2D 5$/RV<ݝ?俐j -wռ._ m"+C:Kv笼ӑq9]PDc=6o/7wD)1`%f*͊$$s?0eR8DSx SV/my0J"EJryV~S!wv78OSppnO`_A­ff appQ:DP OF( n[KG\~z4`\/  xŁ5g\HhM1qF ՂF+6lS Ar=30[| JEQoI)& Kxΰ<;\NOoGoP( ҵ czg9c/񽰠;f< *ԁZU2{JlݞTMc}K-19wG1߫M~)ؓM( P]gHK'@Uٞ N-vĪ) ==r* %-b;ϻdsB=9bHD\R M)bsw)\\N|K|e mOhE(7k|xP8`u1INjV `9 <wFI 6E*kg@LWZIW:a):j׍^=Cp.IUVp@AZuV%fuH5B6w6|p++`+ _S{./㵳 \5~xnK;;bྕ^-^†Q^vA=v=+Kbɗy }(s" xR! Q{qAL==!VSk鵝6ؐMqGKrPE_렣1=&*x[srPzoax/xV\ҝ`,t$}\0`?r.:NTg1tAG&c+DQ֧>%CS:" £Db!t%};c~2N_ A~0m^kx{],J7ed;/Sj&ǝM<PVa0 1^*w-x>>vw]0cxԋ]_'Y$lyo2ɮ ImknZoJkLMQ1H?ٳ"bI t6N:&ƿ]!z ,)tEKh-o,}=a"$>flE|%DfXYTCO56-]`1hrP.x},?m[4`r 5S>!Ưd[W_qG }*Y5q> $cg^uuœ/ecQJmx].N^ꅘ%,D^LWJ'T=Nu9·[ 'O60XAEv-ީHp3]Z &+Jw8 cT~WyVm)^=Q"%_lS->B{z9`BEdѳP,kC@4UߵO4~w_*(bggm>V 7 %ض_VM\jP(braer*]yQ-Zsō"{n"gɒʪb1TBx,'RC؏X!wݮemUozp p7w=SsW Bfx&Pn I8Y_̍Kߟ^$+ֺMǩ:- ^Б!y]ܻqh 86֧ pi+bװ+o8{LHHZqRĮEӥ+Ǩs[fyKP0xW+N[Nn fu`ȥ!ph\~ P}2)i խՁF҂ߩ [8hiK9H8N׮2c4/ AgIeJ$1YBP"0w ^mzZ%ưFB930}̵Wz 4XA3OuchFg;Fho WQn$fMbSaXf=ܶfxI!uv& uJU2Vm,*Lb%&Nv2ײ6aiƳ?XYq)q w4,  ڭHDиrD Hn1NB?R!qMP2fk#5vTVbO[xC5wbޔ#N6Ӳ 蜆[;A0u1bWS׼DY3ꑲ͗p怇)ZxAgp<]^ݢ>$}r g)T$=iP}[bU؊ oRmBRE$gٲ5\uxX!&{_}.w-1`Yj@EqBqSd?$Xs86}VHgXDJ4ˑJ49{Wioh\ | l5A0z|'rYdK~,YV!OG:ݦ.2]Ƈ&4rTGz C%y{HG[BVD%0Zp#M9+\fSCy㋋)(| rg)svɿs6hJ]*م@$n8GoRd7gnY"=){ԵE_@E+:67 Oz' 4^rn@ D{N)Q}JiHb?#ew8 Sصq'u$\Ȫ%?gYZ6020419c4d622a1bebc95c33390e4439d5086f738215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 b863ecb450f7e2f4075efd6e1207bae8c6ac257b 38f9f4ed2bf44d4e2a3c3f9f4761a59c5b0bdf6f469385e978661a2f714c828aaabe6d55f53fda31