SQLite format 3@  . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  n!< ]]]HOL-Proofs:threads=6elapsed=673.562cpu=1566.556gc=325.292factor=2.337zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb#U |},KsK h:c+3 yW8vRd) (Ļ'*qkrl[ЯPzƫH? I7s2碮’"1^%@(SȷײBY2wFVgIg,^( F1a??6,f1+Vvc$)}ˊI$]F(ITЀ $dIߪ.rYr@GZco ^'rwj܊<-v넩> ]7z&〙%nGӜ[1&÷%)  ! HOL-Proofsrw8; ljx+30ou祧j;)WMΫqYF /H}j| +@ W(7[=VؼF8ZP{ S g5@]]'=r֖ 0Yę߄_/^sΕSۥVWsйO"|ZS] ͑tH^j .^.&`1h55R3s}@\GLJcac\Gtfѧk8A+q d6O}ҕk54N}j\]$*KIj緊y {nQNwo} Dm1߳3}V~7`rG;q6f_# np'UTRh&.ԀD%TҼ/.^$/H*}Ϗ:B}<=~=s4'+*wXm.`K_q?"Z }N&cUbgzQVub_kj[XJތJTeⷶؓe🦏ҷgEΜ7t-IrRN)+i;n\q CHJq/>tz8TD n+HV2תhYV۾s^7a`8Q [nQV; ‰e\N_(Ù7JU~*XX3 r'9}9`@P+3ӳ3I.^|;ا_"@V4,C\OlP0J]{&۠WGHt!8M87r:):%8V<ӱ ÷R"# ϳgp oM&x Nq|ܣ)Xզ?7Jv;0{Rl6Ɵr+,*9"%mXȧ6Ѥ"`eV4NW8G^[UIC-ԟpqѩvOr9SrX̺ўmu$|IwM (k4qF4MjCr=0[D >]ݛlKG۷'Av6h 20 R0Yw8P@@`ľp%CUFӰ&gtӆ-zE@45!rf j-8zA`)trZĸ}b[U 3$6e|  `D!Ifq>҈`͇q22L>6.#=Ҏ/>Uoc*noV ѼyՊ4FFaB~S-|`p>S*zl,mx +{\rTß/LUK,]ӼJ2g:&&p87B^sF[?MC4&nkqb2QZ^t<VMDopbnxh@zظ>92ȟYAɟ,NSvt=)h%q[$J̛I`nDk ٩o#BJ~p){.Z|ѩΈb*Xk:Lk6!9,|fdr"~iMfe2/_3҃ Lw7.O3U-b1سyu TW!jMޯ lAbKm{"m]{ȄJ @bryD^Ϸ!sx/{XXgAA??TXDk=ð_l5|A )Wh*ġӈq?oC|#%7BWؚK򧐤E W҃Lx<7ݑGhojuOD \ll,[3%T }x6H.6A07V0ecݷt~+^/05ZMz6 }g仲)`[QD:'NJ-#a. mu2rګulw׷h6$gUv:Cм( %nUORqw.$LgՉ199)DߏPoƥ/O]לk KJFS&t@$8 wTΟҩd<>B\FdH+"1v/ <( ssak[i=0^!f%>g9&l >*d; ({#:h7K*D9=PƝ]s:u+Cj?T 'MufS;rHMzp(6:x-C?*zyy`` hrࠉ"`Lз@UMiJ?5\<@I[gLE!+d5۠%lAʩQ!ժzk[f׮u-u4]1D~o5*2|wte~y3Ń_8yWP:rdׄPe |mȨ7p9{",fn[w!/pZ[,e^{0kdLȨirAMB6pT3p$i66Sxɶ>iusG#qDݛHOf-7_P9Y';ӔLAɌ g4 fO zl X7%Gѵ漂h?z^*>NƒVg7-7F}:d3r96tSATftXL$-TRlr7ZCq仸COlA]@6Ab[8s 9b3BsN>R(Ћ~)5GqÖ諀thup,Mɋ`έme%Q7ٽcO3$c da흁/9AJ>XkƒRg=rtmC L(1- JFBz|L~g5 >I%aXW8lI͘ M$/{vhVyWʺm_d$9{zt`8aN8{J9ZmxBk)\vV:^cP*2bX~BF3%ƍȁ G[S)4hZ)ֹAGM\x&o>oc@-,B EBSBKo!xPTwavw^7jЌ^?]U:E~HzO|]fhUfrj(nLG5а%LLƼXTLGEwq=E%AMո4&ПƬߛ`w~bzf _1%4G`v pJj9v WRcpy*ZPݎ7!X^sY"<2 XDr] XcR\0N|3#OTo"h#M!Vgtt0{)â*ǞuQg%}@ĥa`^؅t.&{zȒa Rƍ 7fsv88RpEXDMq˧6RVC|~1pCtt_5,gP8}? 2:*&?ffO"ɿ;ߔb#ժ\ky蓵!YN}WԚRyy L{jqj7i$x&c W=Y w m96)~͕ʎdB] dCpv$p74ߕyxY"s/ tl6(:dmc§:/ĺ}s:͝ژӡO"w'6~ @$QI~je862 /E|jt֎‘ğ9Cfa&cn㹨CrrW6'. *>6j(Wke9GzHlig~H`g _r|8FH=#;àQTt%BYPlм:r$4>kWD R!ej.TU$EPI2 E'337)b/#{WǺ.i~W0߰LC0|k#Ѡgw71i[͝KMq``mH]Ӌ GS7atAB fQĴ3~}֪ycbf2A/5pܞuUjoY+pTI+`Qf}]~cW54+G5l04IݑTecsJf侤I H, qҸ*z@[܎ aA㈶_=Y9+I PɌ0;*gYZ7zXZִF! g x]ŗXi%6ņ*meLqbiR[UIJ84ל Yah0G$I:64u#Av ?׍"@R$F6_fە$gX]Q"IN ^1En>g ZWT$#Zɨ(/.pN3O~Y$a -ּW =1_l|<8  |j\:,ߢ\@X8ͱZ4sWw1mc*\et}p_MGZo$EfG㔷5ObBw֓c~nd m`j>|_ET .Bz1XYFlE+Q0C8dh噬HqAj}WNޛRYr``tRK>d6*!"=j}СXê􀥑 p:Azs Ђ}Xه5{M8rf %Pf/,FmKKʩesٿdJPi K]"l:%q L,sލʑx P A$/-Y7R8)L&3bTLD2F-DaHu.>薚tt&IM6?s?"]N=l ꄎ lVG bxlO86' 1`i2F\h~-q5/`H*Iik0|KhWttt }yR@aEx,$2uIOZ`Vp<aF**%(9+ (gհwBLĖ7t$vb=t ъ9y{[NjSh\=S3k\q1[U&:n$җ5Eh9IdהORMd`ՋL`v3Z#TX: +E*+C;u4Q1Y0Lk_C,&i#O ۮ$ T |EA0ҳf\Nz7`A{i5md⍷i3\ ȯE|{cC\%a:?wj*Z)]v#ϢhZiP9e6v/xw/zNC0B'$q g` 1B9fUw"\wdZOyߤeL3/uO"Xa'u.k 8KGEbj7seKR!1"<%r` =v܅2'z]'n'#eGq;}D߻Y-U.EsA c8`p(k~ٓAuR'mR0+tVd>OI*SZ»{Qkj%m$ ԇ JȮ(C|jcbYX,Xȥ} ڗ*QJ}Hyb2*w2[oEFAӎ߮ )2go/nVtōQ"|t;sp@GU=ς- oiN4Jq($+4GC&Ŷo{w t_dz=(>Vh;%zH y!ZA@B@~F)R#Tu=ld 'IuVdMZZ30ʹmԩwR(6rŠnZ?:L [ f(Pwd(W=^Tٚ3Ti-DK>bԕ:"c&}Jv6 k,s!2Insuu a-:, jح⢵nD( tӔ[B?~+~.Hmkx"(Η1Gk$8AwK_ÇĹ"慮s0-y: ^OiC[a654d; ݮohuw~&@یWmlӛ7T5I26Y K•G^[[{Y؂F | w*x'.>b;<<>yUv÷1-4t|')V1ձ-v3HjFASNcڇ`Z64&wE#kr+*ȕUS%iӖ'-,Nm^2⥛OqtƗLxMMHr:sl6^km~jVQs`}*`ffb9Bu  c4|첞\i.ߊ>,9#b2%~cc׊nl"ů +lXV1.$ NfNL_TS(ʊjFPyU[e ЫGjO2d v;C !\*%(DTݜWƇ< [6/ZzBXVe?jc'/ayV]EeƲmR&t[McD0,"Wޤ[ k!&Ʒ;HkGN=8dFn&nW/X5@:NR@$|Jl}|*WΫ@`Zʅ7$4si_Eu=kilDWɏ܆ջR5ݹ3Gr#}{}%͗w%Y,'qv 9;¨Sr4Q/̜c-D-ˣ I\t_U@^}!rgS z~f3F3kI,њB3YJn{L"[*m~QZXorB/vx*o5 0YT_l7[C}#Qkuѣ^  <<lC(%YwQ1 {]M I?SMxo4we{?ۯ DB?sNE)hq2ütmŚɸqFG .h%.%]'E-QFz]ѹ˄9Z$/AỸyN~V,֡`2NAc dp5MՍAJ`gWﴌtwV(Ď$2R,M3"4 .p0l- e#y"Чrk[hNPlBٓQXꅼo@M 6gQ[j"1wC|dP՜ s0Gl7 תm|v{oJ%Ό5TKĊ1m]Oz̵В)Bzod2`$ ?I)Zʙ.js]Q17>tnq^)) D=p',Q1dj'ކQ(T#_D*=;%?PZxn+f7e<ĭ >->aHY6[r`0s'.n)Q&dknC5}kh#pU<îPYl'K%W-HMT45yJ73q\4%#(75O;jw%ԅ|V*0*Z c*o\}-dq]O oǘ˜ V֫A?WA ;oq߯?fF|Dtb Ymܯc$v\'* )^DCbG>2$ך}%GpXY #7hy˾ekWlڳKZm޳P5,4ԥuPB*!XCm*#WCTٙ_ٔ75Uxы^yP(3ˆݒL.ʝٌ/g7#u =T8./*иdwCc+Yl >xmceTY&X_f|r{T_On5٫& *$L+QZR>'vf7m">9џ^6zŒFBo:3B0Ino0޷3R]JN!%%dŇ#Ȗ,=0*!\[%42 'K/I\Ǭ:tة=V]%W¢nq=4z6Xk ;M8s B# c,'"qŒ8IeK9왎B&CD ; }QRrKiiu {eu_{uV?Vt8x;,ž'gفHIMU9`nm4u䫥:e9(}gӐ3.}uX5lOEK\*pSWje-[Y۰4^ZL 8,NOJ/YL( rIP;xN*i{94VNe23ScŠ s>~ng?p;\':GȟgwXZ~-]o/C}1JvY.J=xEj鮥ȁ˟3Iܸةے6nTL^ "u]sqG~o0s5#l86@ $ؼ3+Z+HO6C$^hFRrJT\ GNVc#P!ŁF3<=ݱH=j8#rzMi jaH E"BâVd%6sRa{|7V-vb/cçԼ$|!ذwvy u73e.9]Ci=Nr}0~̈́IQPCºb O)װmq)zzY_ҊXNi@AX엛.p%AvtKY?@^@ᄫKP%]#x[UdeF2WLgBs9knVK G(%@` nKgaa T .]AvΖsQDڎk}(!o8 7^63qlvp'F~K&ZWkf 97I,5/} cB7Kn2RfNu z /at:Wx/^kAY=-'=&UuPepFUtjcAw g'D8ْo|0wj}y)fvsox[8$_?;cyÉ}O~͚gqmʀJw\%Fsa )4Iax]y&dX?^Br@ "節^;>p;'*Yi %~K#q+'2$q<'Rθ/4Ʈ-MhtpY90&I"7xpUWw:k:ї";Qg6)Ǜ6CUΐe=FJˠr9B^pmQJS6,Lp@A{1?v9ڑvcW*/ iX[P gG<W>c} "w(5^'jfBf L-׈sG:=ȯEeHg#byc"$c}lKٍiFn}{[ >]&1!" ~&sS(J݊ОXbKq.'B*AyX ] b'k[Lb!!kFk4GESΗ;sU% yHy^*zki gRnE2` MKN,tk ][ibۂs' օԼyiV%\|i0;T _Kt:Pw6$#p~W?X+Y(Q|֯W$e%"+8nE&fPX!YIDZbdp?UGF5~uؖ7ei\C90wt`K@{Z|} AB,9n!Tr12Xb%}Gq=*'vZQɩA|`s\NK+CF_άЈװ ,@4ُaZ?b Pu. %lޖ.~.yH fo]WLU?C>78ܖљ%%,RuJr[ЛL@z `?K9D֛O&~8ŋ!T&=>rV*. \SL"V<Ӻ;{a?RLl:Y?& /٭Yo2)p,A&~n' }ș`bkOavP, ذ ڼz-ӟi #bB8V8mUjAZ4Lځ1A3 4r+E9؝P17װBD@0zCd~iQ!:@2۟fu 1~/V*tTG_eAYp>6&uX2~W+Kmg&FD!'wv?\vP눕^oȨ;j$}obuP}T'ʝ҂߈_۫ujw,I?~bay$@h5 ja?jٰ VJ9({_y Y\lJ!gPsc'Ѽ9۶b<3ZWCX-r7\[/mA?Wd(6.ϦJgr߽کy3U9ې]k?"j5ԅk?чgcq<3jBf ghJ¤X0wLޝj+Iw{dŜ!y6pdp#z"0Crġo/JbjgI@tvb'OJ7}ݠwZP;ӇBl^JG?j2 +"I; >|:Hs1։M}l ➟]R'K N{;.DB{OʤR/濫ORlc|&U_zDY @FOUkMrI-z"fOe/ "'Jtr!w<(*OW> _f@cm:[t m {!Zz7]/]ҧD&n*zBVAVgKE-p!nF"s]h4/ы.?eRv-d \SN[w"P6+9Sʼg4ZxA:5 #?\X*t^f uf8Α[S\[ʡIbk ,|5t[#U 6geº/&@ׇ F fHm*&`9u6K&iD@GP%.4rr# M$ٽ5 %kM;VF`49MIn %/?aXٵ`gTd̄pA D.X7KD['  ' x#^%9 ZQ9WDb=>*ύat2dߚ9rd{zm}(c"T9'a]8"2Z7n1,Ţ:kJՏh6|(E}u&oLwӔ#,pR I=~!`/=֋Ƽe$"#㏠ ;X?AeՀ P`WJDooyNkn5U lĒ)2^u(¤חX3)%!F83&#+ٺ[8%Djst~6RB,olU5Cv].07 #T쾴2~tOTJClNaVYsھτ4gNr2NcteF2iUr"H kBMSO:(3KXnG槛f {^'xeJ8 埢\'mbaXԽp">D9=;a $\0P>/t zbxZlcj,@ JxⳘa_4R9"%I1S`j~1i/b2*GݖHoқtǁ3o&_`TZȵ+gB u )*X6n}A[ؼ MƬT|SH$,oFzfĸ+WF}Ҥhu%Zt5IUC |g߇|?Y2d *t5HaA9212; pR# / k`%v禳ygW:$W:{#ET E~l\pspLs[Պox u}E$%?ڞmb옯pce!0s>ʷg{Y"W^U%.Q ?'xhEQhL 8sTLa[@X)kvt 'P~k$1@< ?]:O-n.\0x"#ë=G:=CQ:}v[/yt\K-Uhh.v5.t(gwzON0`N O[J>S$m3]K>8iXG"e{C2GzDy{G=ʔ1L]cpxt(بVz8D$;`˼ ]X.ưÛ? T]e<Xom V,l)N1T)X7Y8$dj\lپۊfk* eW?I:E|@VŰsk0\8; Gw,*s(?.WSXT*6DB(|g3 Q(!=d\-[,#WԾ |9j?yA=pſ%ݺG'Цgʚ['6gbjoNXtC m}v9\=TGeGY/XV(8dHH=!۰sg m׶Q)NVW $z=6̬fԶ *1]"RCj5omԉ}6aMӌV.W׍3.jB^GN-$"jHS8KVϊk6 n A#i)!3r 6O4JH@4;rϝ난7H1W#.GClÆsAicD YKͬ*aW|4UbEb7ĚchDȊ>F,3chJnIQ9<.He2d7tN`YI88ۡ[q"MS"]Ңnݮv>-}0#Ms#OԅM}>Ow&C|czS2RoJKxQwS0iOΎUF5Xj ʼnj1{1V&aVK޴cJɭoKQzPo>;K1Uu/RT;8}ïG/[)@&=jT|߽׃("@?AZ?sdMaMܠ؛ncv 7^.ԪwMI ;-nzY`G?K'pA16wƁʉL?&ٳ`|޶>GtbLdF G7VM%tt6ye{UءVcw±fQP;#BPXɛ%MJT"Ga$>8g ;0n_23cAX! z^gul^r+k$g?M?xz@1l(ޅ/~wSvx,./юZc1+=kgf nQSda߈`32Ynf%!^DP_쉠`R,[6Hqבtzs11ڟFWas•,dG+3tcRfy"p|J1jO^J1=vlf)ٿ5KB-CC`S+>UpL4 1@{Y[LN K6 BCe= Ed; CRr2 5 EpNS,$զry2ҍ8SAmWASzC[z+!:BՄ UGRz.M*ĵ/eWrn/IT UEK{Ukq5-KywTm Y*Ҡy?Cto&Q wbʂ+ N$l.qY*Hi䙕=,8 ײO͜2Y>~ miٳnX8!`9[E*H!uVˆ3k|5oMD?Wl%tpVeMv[ 8+TT\K{M3mlǒ\,ܙWuٟ,StSʓYwEQVM&YlSNK"od0$ԍ/pui i E>fP :{2BE*Jwnm8| Έa:Q||fP|.3 f)s)@ai%w4`@_*!H=i]J?TƐNZ:ưKSk. aY$wZ>b'Bvl ƜSJ > N .6RMyFq1.&bšƕ`(xLg4j97 49πEtֆHx$F Zpߧ X(gtlCİiJ"+B=[4( ,MDlT/\-Ш۠m}sMChNyr"s5!I=񹨒M( }xN>ʤߜT gCNݴѬ"M-iJst;0:.[ࠓa@hV2T@oA'{=s#7PNTZ;Nd|Xv%~+>2O C. xK!ӴoFOec`2$4H߂(Y_ 2X /Г )#M ~_Jх J:,6Mm.FwIOy{iY5wЫV7<*82h\i' *)e._(p&^p -7:CxUR4 ;{Dkb}ϼe`]XAx s.\_tȵ!V`n YcEƯ4Vg$ czmZ+K<}>͂X݋!#[I50(}i&dꤹ]o]Frf䁠׃u;Z7Pj=S' \27nkǭa}0\t_Y0%4)l u4Ertpӧ59uՋ^'\eC+c\浴6eD=v R8basR0^|`!W/3{ȄiA><p7"#O g҃?)>FZRzg4 ;/dž(MMm\jk*:HmDldcwd|.FI?n4gBZRӗÄ S!gOt:;yw;eķk'B^)QMGS܂Qhmdlw/D2ir#-GWzL.\I`aC` z>̣^ Iw8972ЙԮj0M9nW-.5r& {&Vᇾ_.hVR!z& BJZoAXBDZ%nqT=XbZ..C,U'sw=O}eڲ# H=mU1ĔN٭q9ưupeƩ3x1~(Քxc`sxs|\R7I];"VT'x>2lb@eUpuRQ '\} ߢ6.0 CT~-GL`8EF$jb}v#Ћ%qU$,(n{xC`ڻnʑdu6U7(q=⢟ *vI ؑ _Yj檏fxX; nt 8 Ӽ_h1/s G fͲHo,)n~& {0>+U{ث0 SUvmyUcxm9ƣ18Lx̟NM#v7H5 nQY͆ɭ[S>(L#;@Pu@%)PE5%E$CU& k?ۨD&H.C8)Z"7f=)?nS֋K<3q]gNrfX.ƟgO͌녂y 3l8JS5POpfqJ 1x >͸ rʣ3-?SeWͷC[ElCe ?'ELHQ|;U'h퐔(9GQu[m#d}x388+n_S鐾)TDn0XSȈ犺u_| H@P_ݧn,AIFۄ”k1*(ǽ¨FfH;PktR ;;I{ϻohQ cSA#wR0pwxXjjH"N"KX<щJO΁@GS?" /C?ILdwh&ٮ!PFɫK˕ܵؗ/&5@O! ѵIxH.e1 ciS#jM_Qd_SU~s;4Z].u{Ka40R'ýJDtCC}G'G,dyPAL}`,\ZLd?}?|ċY`O+skD("nv8筡CGNC^>,Z網-QDDȚ;bcn:@9>%^ܷQ mvSLua6dIϔ1H)ޡy:.D,m#p`5r),F>mwW.Wc[ Dl]ٛYOX=ZS@ss0ʠPaBv|O.x6PgdiInλ?t P{T}BQk,y!CU`cBtJr:kTf7XMPW6jJźdh9Le<)MԦd~dGae"{h e++ijn$4"aȵ&:wyYrIpn5["*jCscLJ-/Vf"t rݙ9Qr -)\^^Q̣Ao?bDz.ǡSI>c$i8v{CŻK"&z̮~F`~p! H6cB]_D[-:o$Σ3-8z #/*>x7v6Z㐵6?"žw،m8NE> m֓D'+OO[0[1Ufu((_^]TbRɧΚcy-5?H~SiC~(VDҔ/A]?ΰ├8JPXB9Il]@bZ7]5dv0o~C5r:pNiWv&g z8iG0ݼ߷&OFNZ;MO~_JqZqZ˧ʽ194>T MP$2ΟB̅ MFGxKeH+`w_̄v rE)vֵ~tkZژ0!+pR'OX^M&99P+ū#Q}p9x/EMkEz," Ğ1+#ߚDw9)|x]bRK,4+\*1N&Aʋ,wѹH$Gx#5 ɲ:3-J Z92xx_r9fm7␎jiICF se-jܮf(_;F5 N0~D! n.TV+)m b ygqZ)Wռ?!u=5^foy/GM|#k[{Wf 6aeP6 y75dϯfN:i))DBӄ(0H6A(VɷBYx+5Sٗ]>-߃S֐c}84*W$;E Ý~ĝtWJb"_:V<3/VKz ~rjάGhOdĕD< I}A3ir6 &=?o p554y$[>+VƆXEDGB#AjN!䰇Bd$Ik{R3p$۫wjXL#tJ׽ݿS>.*6@#Nmv(4C0{rXV'`FB L^J{d+Zb:~'мXai1^GpXCg& ;ϕTEǸYubT(&7gxfw6ţ,ǪTlj8 xjU&M!Z[̷V<Iutr6GH;,f";wbK!\cV]B,-醅iIY#䮞޽L' ǼGOr.6MӾ ,jǡLyZ? Q!WygGA&v]ö][>D%5"rM($1(@ =p`NV[J~amWg͋Q1Sw鹏.I?[ Z¶9õַ{zNNF-YпNGWM,M %8:Z%BxF`ɳ]o%!M)#-rh[QR0 ‘ȞJVvx͜Nico y+=gdB>UU?r56iN,fR|i%xL;m֤~ 1PDXК Rc@@x-L}m`,N QbEVlll&Z -xd}uՉx u': HD$IY"su$IC;B/UhVs!zlw5~ctN31dLc@T7uil0z0Mg+w ,)_C9G»N{[Bi|[D|W^$ d٥ǏeEa5Ia _K,;zeZ[;M7ke~?ھTZOeff[ҺX^QNw@^9N.7I%׿` f D2AO(Bimyudd-m*7ݛ!z];f.4\/WqWt6\)^{QȢ,XT_+ t/eMݘgioJi4^ڍ2\uZA5AA fFHm> aO0U*cZGic־KM#m8AӆdF' ;BvPy 'wdRl'!3Y|`;2^\YTBQЮoY݁ks"$[~2#[2-Hcγ糥wΫ>[e 9%aie]_=^$=<\E:U/l[_3*:bw `zP)*%%{MX/7@etbuM1@K3Z^ǭa8j6k״'@ʘ )GswaBaS ,vKOQ2VB!ArH[Úi@IGdwn$>@wQ+=n:zSwZ5HK(tׇN0V>3"ߩ60B43#: cy-.Q̒Ӈ~U (o>l%W wz➑s$t&~EGD 10{3P F Yv{!tj0̐oč~&dD.2,MCĂ!`Q s>}yX!>huJ%"m3W4,]~6L۵RLuL+rBKmzV21\B*˅cajgG<ֆk6Gq,~%ϻc pSQԜ>P|1*-61yq<+D( aVКVӀX"T)c/P,J ޺-lx^90GPQ`y,k}^eno\wy/ >3Ug'0c]ELi4.RXV5W Sa2(*S"+$5{C@ؒhvz ƕUXW.y)supt?EmtBҽ^OyU1זkxh<ꊟ)BΓN Dqs/klw!V㧔Dؾ~ϐ(ReA @P܆ߖDgEj#1,VK d5&qU$sBFfI9~+ Ugj~/GS;(ڜ=AoSB7\:\-Y B~lr;,h+6 (<5R{;PPw{;)YD%5V6K"h:"<ϗX B^|owL9<ƬpoGHç>2%O"V@R{Pe!6jv@k͝Pty}/դNޑJ9 HaGXr @ uZ L&ROS/4& $^됲#(#$V3'鮞Lo.MTc8#*%<< E+[oTzu52&-=_bN(glb@4h#Di_o mzXs}pY8=`tRdCRrֈpzJ XNF) z! RNqCa61:[9LAc54oC$*c66kހQa Bm=Xx'r;H>HWciY H\QyS[}-^$ѣ<4 Ϗ2>&Q,>PEέf'Gjx-2vhlx*%$̜lOejOer\&tn .%6}@5jK͟i #cjK_&Xͫf#.mq؏87^kX E^帱zFe ѓCyw3A-l',sW] E$5\]&ˏ((p{S#(]UJgA9` EV`zhC>BH\"/&.uWNv=jTыD4% q쁜#.8uH|a8bMbɖcGXw1 9O] J &25 8wdaF̓( A&ssE4[krN mToo',ۈ g SV7rS7`ũy0 }SX`GDLB^n> %б?ICpqUvZA=g]bEz~kѓi}H*vI„ `B0=ٷq%)S M ) $tMt3~ֶWddQS?BlX`d!*r (ȓ,$o`@?=C$⋆iv<ڌrW2=ƛas\f)чbЄvF7iᵪZ#fNӼ8 M\wWT bで 9BK"Ur_Da{Y>ENm{q9`Dlnm"F39?$0ink1q~gP+WCw_= ="[- 0)&dQXM06A)6I-f;FZxx5cd#ʑy4Yrq03ϥ.-w{h?"8.E?F}2-gqTaZao8rUnq-UR B܊l`͋SQÚmuJ wvg<2#KZ 2ϴeGK`dcώ9&!= Y۳T#CI%r9o"`)G̢V<,WNp<59 pA$cQ.9D(mɓɨaٶ.ǂLhj f-`SVZ3r"tҳi9B$ !>C}ra1/*0R?H`7Ƽ gO2k=P[uhgR6USZwm}×}sqH$hۥЦ_K ǔiP*Aj~. )c]nKH|)aWHݞB-K i'cn=|J[<%UD˷Yz(/QhT`(1Setp7 Re: $e8ϚHt͋2d5YW{b4#Q.< A*'0"(*b_R1=mnC7yentR(lVtQ삸@rCh:V~qJg@Fw>CݶgK{zxOvSQN=k{p@qp+[Upa)YxA*Q]\4'ʝx`'ФAf .mv#Wooܜ2a&$LQW i΢Wي0p_0WqA6kXML쁶jfpTL'M_Ң$صP+c^\>-] UurSf"bT]UK1L|-y2&B eY ;iCLW45*e*lmK"XaVgdz~F]_G%3A7<)@wi# H}ݽ Le1?pQx9;a.ƨ'j}<$ Įۄ7^LͶ:?ވ@ L%紓=NR'py%i=#1=,k^hPmg9U*ow,饦`aO4RJܱtcYaW_.]CzJ3ښk{ 8 ր,NP·5kh [`G%A+{;{#b2one2NmGoWɭ QD_F9Ԋ߈j~OWFNBa\Sl739͠Q=`eYN Ν ejÖ<Er\z.rh;S GZvgI0s="K%9@n[aNȳv"[&x?tӏ"8{@4]E?_q( _ mAve - P+EZ pAr((0znZwșRy<-HNp:v/UKdzP)~IA.hg1g'Nzo$_K^UK 0΢X(Gu&ܼ%|P;^E)::l"`^.zZ)Ny֯))49H?8%B%6^K흦E ùǂ~$G"`mGSXe!Y*7qC;}cd2v5{Ү^a-.^, 5Z.=9}QāB<"_ߚ[QV-V eIAH&8셴Kx4'?x =5aw{ Q\s bo5/<9pDFDŽ]sKӁ_2ܖ%ĻSȕc[dIHsuX -/I"3c`O 11t:b%ϗ/$ILgS|0!M{kE&FrmpZu NGH~TXqx:#rA IѮ\ b[i+ɢ['9G/ VVuvYq_4r[3%@!HԸl$h>R`cGo{nd9KbQ;8r|/RSQR|Ш|i3~r y8M#Hjp8&=ydK95ТK|&'̛]?mGH? ;^kc:>k*sb@!&on/y.0I3g$#쁮c4Sv #$suIjl}c6sY%A3Q6D2ݗs#̰'7F+[QQdD鍀H@ (|F'/~ɝ. %=풎(>psc[M?nr댡+I=Jue量g405_#}yfCUuEilOYDyg3-C` ?31P85CVuE:3Mf-";a7%hyJfjS$e(?E uReNe j#ʩQ]5;VY %}߮-m%:rQ= AC*p*nMC[9d ñ<@> H9n',) -Oq0I; ֝2fާiYiL@Ƥ@hw'!T"RUFܬTBn=a: cVH"luPoX-8ޅH- ˰97 H3iE QCΑ=oܚ|v¸+ LS;zxs7+/do Vv#~ŲG@lu%ɫ*aa)In+,I hj~XPR'6U0]}`r(At;C;ƷÜ |-hT`9e҇QDRc2N53MU+@& w)oc녕:M6GIV$nǜlY7kO6 EBy$l.)@$IQ]Weu%<{FhC:{Q8:{Iw.$|^QhOjIn{EI2DUxɠ{TiU@%55u}H.&+ %:7Ѭ*YFtQUAq*Sw@j{:%+U̳EwTI=".S,mFӝڼ lVIY&F<W*nF=VشŹ0 =D@GNk ),pq)Yp։&x-Ү˸. &IBD`%6iRxU>GJ{1AmUHnaDe aWuF=Vк}\[NFz6)m3#Wj;;P^35x?E)^ѕ lqĽv%Z4+j˅V!J.IjC:BSA!ƾ*9BDpѦ <8.YǀR)^,Gy4%K >IOej o8 $yɢD?3m~_ ;T!t3YRq%e)Ir GfyY >\%U|sbE /xdGn5%y.Gj/C[]vFЭKj$:E(ta&aF,yWd)pgYZcc4def5038278b557b0e0605d8b5ba1fa08cdb7f53f1d67548a50d94a90baccfd7c8ce511a3e1b4a79f13dbe64a471dfd3c66e3d95ab46acaeeeafbd