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 "7$T ]]MSO_Regex_Equivalence:threads=2elapsed=767.939cpu=988.200gc=37.636factor=1.297zXZִF! ]ŗXf1-/6vRZ*_u#K{Tujab$^}, \#)FY댍  36h`,Tq.a(RV{Om7Wat*\}LT7ph>#}V聾q@!L 5=6EkQf8&&0<Lny `sr"w- |cC_b|(TuƝ|pls*:r%Y4£SJ+Wt]M%:IIW.3^\װHQ eU/nCJNjiiژDZ46͹ |4Fm\mAP.=ȽJ:oUFSkV6 ٹ0_ L| ?u:bN=юJS6 V)\s(r! aʚ2 ?x[K 񿀦<.qAt<\CU,G-]:P0mRD7c@Ywcoo8 O jkn0XdԘnY6ɿ$o­xJwQ<;Za"Rx,D"~]W$( *4ё1uzC @Co7%|!-UmJoĆ4[r1 X4:'_W7$E:T,fܓC~pDyȒdk6wz'%,Qf0yOÎYB/l캌Jq23KCM#dJ ΊߢU=>'143r#u ,:Yx|D 8 N&?:_giYpU1yޒ"R 3Ud:xmrƪ\П&ӔTcl5@*,$KcmdPHf^f^~:Vyr)[o5OwTv!gV|kֶ,=R7"_L7 i>6,mqD!XbKT=rm85fmd#I gLJ?ng64~*-h"ezI/ԽdIҳ!+HƧD Faev@Riͥ9@x f1PZ L\A0;`yC QzCo:~T;*L7ggNq\ U &O8%Cx> V5ácH:<㽿/et8ncDhZb)+m{VLIB$ŕ~Az+f>7I=^x[MwBu2#@X<:1/KKFEªc&"/h6.#gq!xP3ѯ@c)o(Xq6MׄZ.-݊yT:o_!II=Ov%I>#҈hl-Hv)㇯MBW.h`\w/`duM* -'ʷ8HUyPZ3}U֤+Cb*SolD&;'" qJ(!PӒP*7^32T$,|az;HV+Itqq:[KRc8Ŵp庉7`DTa R)x %c#'-|F; 3IP,Pb޽}~gаA֤-9{zZ!KB%JdoErflI_`:bM-0jԄ؝ԮBUꍸQ}TOևXMJKƤ Y18J`a0Nv-ZOW̕160zAo_{}^bӂ߼ݔ ؍B3 7 MSO_Regex_EquivalenceKrb3cw $Th1oYշTZ݊ؔ!ڢ5/W3@I(ATBHjTQjdmg煁dx ca"C]Z&˼]&ޤ *v9|f[,W{1zL%Q/Eǯ_C{bw&u֥ADG|#<46n/G*Ҵ;x=*E ukz+|?wf8x*tE>n76¸e'0v>T[7ř*O7ʃǒ & MN!V{jLPQx\|3-Z-N'J/'-I\9YlQw:ѭ# KNe7yَ˨W]DG*k+[Xbs)HfOz1NXLHA:hFHk.8H~<h/e k㙓LzAـ8wkFas/dU~"$h@GrgeU>5/4 0cWܜ%-Bc$h">e6|R:P"Ìߐ$¯_; {3sԎWpA gYZ7zXZִF! $J{]ŗXi%6ƞF4./I~IR TA|n&5+^WayᛝKǸ(q\2_|1]dPW{),S"8ѳ:}6~Chl1s=T+2;3J2~蹠MR0 /S~a#>S&vǎ^JuD^b 0A"%^ ZJ-GکxZǀ䧹m&DV8e}(NѯH$&z9XO6̌naLq1n.5nɬ x?.Eܸ7\)kQIki_!hQA;Ehy✯Wd/g?-SaTnJ?MJqlt̟ƥ~%Z@W9 dI=9z&W4i&cҦ<쇭)~ W *EHO8;kqzXnyQ!ncAE+¿߬JaدQpJL9L6V-FvA^WXjQ1rL a!R8Ǒ2n8\9nj#C ;vj\Dȿ:"czװa6.f5gHkE"?|3A$@$: W4W/k5XxeQ;w3)Qbm#O7W]B֡cɁڱƵnx$IV䤗+ǂeoCP;kYJ$ )8.A޹Yڃ]SNڥhDߺѧx"< oz봺`ݴ!YqΗ̰bR5_ON;њ rUcHn\Vu*$8?1F"vd-ɜ V\B*ݛDN˙fŘ-rRP]\dDd4ީSiB(i:'.JuK,芡=Iڭj.sw(y!?Mo1}| k]l~X>1tfuV{ͺK}E$;P  ګ<^\x_ؾ1W[ePs(ܦe`)M鋃c#Uv5\n)Ʀ0xBc~+?G[rG++$_dAmGPcVu7Z$7kn<|6(le8GT>w6R#;YZfD2eN؍K%UZu>-p| t,_`O_,\jVwM <=,":89 0o }"/|*nMuhԥh{ضR*jX|eDL7%hZ@yѭV<Tpsk=St}m8wOzz([(pO=aޛz4.( d_F@f۳%$qS\]Z98:ȅCje‡(t<`BfZkN8%OB(=E 1yTf&/}q L8hd>;:4:Ӝ4Ղ"M=nM Dy E č;ITsTY/ 9%R,|^2-x*` mNoqfʇrs^H5GioHɨx6lM?+ l/a^FlCy.ܒi-x:c,[wr(jr>T(RH8*ñg;*A^-><5øB'8i:wӣDk`vVrVv(/jFO:˯t1H ѻ']rR_}:@4F/GFzM0j6u=Ii%# o^OZZ®>rIu>ku~ݣ #%J%Q涤a܌<A(xv}[6f8ls8_3 lG\^5B6c-WMa1NӦsWӌ^26!pqo͊/|0+C,Vp+t̥;#Q,=%aPSIʅL `X[$"йneXC|H0>\j[%Dgv ZwŃ;ceX Þx-{Vv} u$V85!W!FxOn噸]85kHV 3.Xm6ԯ>\+ZOɡL~uD6 o9q}¾yKLk7|H,Wk3]<'g' Pt faJd*yk;*9x">YR+ޣu/_ޚW= 6\&d4 (PG =b "zj.ryg2D+jsFCJWR%Jo^,G,3O@Tj<'{bA)s@JrbojvM%`5 vy?xVFD.ĤPORe@Bӝ=48.H^ dTN )8{|F]::J:j±W)<|Ai1`ބeʊ#)%Y62|c‰(%sB@ _<vi2qrczR~IKoD( fJZO C+Y^J+Y~{ >2HD~מJ-F w8;?>(aoT)SQZދT*e#3nn"}EM}>ZG\2+0kmp1{ p?l1bz|ĽxBN=< +Ƚ+{,"G8PjU.vo FE vB#X1 ]'h헉7YRGMTf (k4kZZi`YrC=" yI$k U:L+cgQe˹jb PiGRWhg=KMLlnE3Rvmzf@#*U%:ژ^/_g'fGXb*@zj,^'wdT|#k,Y._3 p^SLDG8=sJa& !Y\Rɗw-s7UBP;bTt"~}ᏅC)_jR1* r& "̌P`vªx4|YvCd ;)^Q|.afKෛދ`>(^bݹ{]w"a<ñC~Vڊ 9ߑ I*z ^8TTE%ߔWBGV|F1i(4*LL'B[x>ſ?f%^RnnǶMI aP2,U/7>A GOy`g| S,j.m</Bh|^>@LLbc3R18^[/$ã~q 8(ҢO4gfw>Ѥ=!*)OA2' U(:,u~!t)9rn'WȏrЬ]ҳ3mMLɗ}VT-bR/CH\=AؘWˆ>F&s]RݫJO+G3s\1R]M]`2T7_R˨a@dEhklF2Is_Wz" ?rq~_&Ed?Z?ϖ9 ?4yM~CceJly Nz0 d+Mр;%ZfXᴽh5!s4IErܫFf#Ě GHWst(=螊5Ȭ %yzũUBRڗt:Ӭ}M) iQ<2P)mڥYg;R 8I8ѱ枊bU.q ƒ:TĸdBlh$=_J&4ԍu㘏Rc<ra@@ p'+_xtdU(JM&A,K q*W[dYR]nd)E|:6rT=y%H>^˽%5# 0^ZuoA{R|ho`ͧhr?}no eo3fŠs+Oj$ࢋIÏ93֏)8=A$á/sZZ5 .4  l62X£.J0pm+CToZ<JW$(OL*g۹c*ѡH"L6!.@?~47+{I2LV_VZIP'.Y֦Hzɥr>" u2^|빵3-t: V!̻@;s7npt*N3p:yܥ&d_ ];԰ TIeístferz;-Bܗu8Rt-ұy)Z<*r>' hCʗkavE?z 7*rQט6 AaB:fYg]^nkp NSN녭XϞĀvWb8K.gR %^]v;rXS]0mz,&k o#gO48,p'h>C͋`!myJp.YQg̓#tq =4S[LB.#r 4H(ig+UtD.rDQD3 1LXovSa%D70H"€橯 R7g0*TުS)\3ِƚn;og$)&JA.345Uiu{jrd&i>!}gwDY݊ލvSF5\#Zm7zEl+ޝM|Gۤfn .5i@T$4ÎTׇ2]^!͉/eIbVX~Fw7Ni;g|weӞ%fot]=A?.W{֔?`{)̘K 8ss=I҉gaNP/vJwДJ./]mfLh'DnJFH.ßq^V[k PU~NK%׼f7$UWE\!_cYˊYA;}TB8דNDI\Bx4fn"3,th#czeR b&Jp&t*&}Q&jﯓ_*&1esd8I5堣S9}OY;mޣ5oI'(\[03IphI3SE5s&:{4dCZqg;-wD-Q̲`9 "mHZ7XD;H'뷞w_E~͢P=ظqS3gT!x~t@(J -$PkCm;hK{֙!ނ"*lkQݚlёq6V +9eͨ Uxke8N@ȜBe3 B{PS { zw!Q[Qd6mOÀO,Vϖ؅Wd3fAr؁! Y$E cUxͅ oZM2{0Jinr4}&X G\vBzЊ6tbz ;`z\Ƿ3TB!{vW/K'G껏]7EV%kk8{Ɗ\*iݑ<%3eᑜܶAAؼ>y\m'OϨqAjMՖtsz ?)Ck>C=PG(9~J0q+A_1?^M:;|Jr'ՄpΉ^3|f6d3\ʎn7>cvy*"<Ζ&:=cB$ HrseXZ1 e3QhNz[:Sr[=άuFd{eޟi*imOCAs6)j ؉oT[Oi PN)aH֣d1 +C̎r,qmwc.EDv,/jʄ Y* ֱ۫X-I=9/ Ag7xDǭ Dw ļ4q s kNt:1co¦u,CVbLX<X/-¦w{Cq. ] _U}j%tv}ovZ,"$ԗ}f M9 qB#Azy1D5=r/YƩa7j-,ȲxZm:=%D@2VVR kO#'T^ K*B~ #&J:|C2As #n,.Nkb5FmU bkyrS(U꾛uB:4G)íb\zmD~AGN-c9M+"T;Xcet^~+XnSGɪYǰzr;ty{$GIHXI `Z|0N ENn=G+O4vN c*GhN3N&:Kj0 ivm(w/ۥ)1*mywsW;ϹH^c N@q #K'*)Kxzۀי,WN ,',08gB51HQKUhVRjʍ3t?.4 1,藚@#![9l̖fIY[OdQi[.~﫼#Sl:5cY0k|o?E#Wb6%[xC!M?-*WS1 2}+ޫzaWuR&_70iK(@ gqssQƱՍ1,2>4ũWF9 SU ̿S"%h=ߌx &E!c!$+xpA8{K[ !?S< W&_\8w,HXEXmQŌLO2MT?1=*/)>tQԩfρX ^HtG6$5n ElRm5Z8~,!Y -"S!+@,66rԨ)z֦2} ,]š(lz;]Zx3} h+O 3u3o\cL(QvD5bVqO8=M`MtIap2v)YWU_TY{y%Յ> PЁTTHq)j-xukР;*f]RtѲf?g:@2sQDm:V e›ea2q{(?!HT/RRi<ͫ/}$,0otdxz4Do J1ՠ(ޢ]VNt埴J6B <:.#1aB'_[SMٟp0;ՆrB?fFSD)>be<yŸ}}FO7/ ]S~uMg# F:hW]/3ơ80 1r9؉FQОkgǁ0IGz5㯹&Tmh$i;YU/-;R` Ų6LeiSTm0@6aӥ~idRS4Imޭ&"rχҊ0iG=êz8۩}6dOm/7+mikCPǾX~w#cհGvԹe ⟜tXrVt2.) OD B0I -\Эaf4Q[\I>؝@d*YRzҌqnˊ&@k Iş{ c8 Au .Wk|"&k]C.&0);Ӽ :jF4bV?SAXYT<֕z ukX|9,}װgGE[vxΕ=umj񚛛jqG2\A۬jǸk;_!+ 19P;8rg `tr,UG|, GB4*P̛I*ėtAϱ%F0x7Qe = oʶn\)O &ċ !'=_$v%>uHI4L.ૢj]Mwӆ̜o^KX|c xm[ 2@+r FezӀ9r)QȪox)bP#kQ=x@aAS,2J!ߌ$;ȔJQڌ%)+YX7eu&mo]gý&n8/s3 WBhi!,z:@~ؐDG @WڡTf޲}&ߺ\;2c4 bS:{^b%xWw!)Q&?tQ; cW[ݩ5`6l({Ԗ9uDoL UcFE,Ot,!z5zBZ&4~D1\L߱mFQ+296u#(\a[,99zY=}' '[8x&ʺz"mҞUMkq$Vm|-L맓q:3z4jD w`z(Yc BϣXny.i DAVKvc$FzI8;f[o*zuT"ڀ p/$6_ODGNEAi\a$=Wxg_q"ݮfsǣri%y烺đvL)V,ybW:@~f>BZ$Aܺ5o p.iO!u*gͼJ/WŇOa: )2IA/#/W}1{{dZ]~w}19Տan/0'-*+B0glM37<X⫶ Gt A;Ⱥ*6^zHJz(>y-mA8 'mFd"=\V]\0Њ^ثX5|*uE2Eڙnq@>uVM20n4Fҥku7h9tY-o6Op,P9ꮫHHS_î2$6@Sg>[q3-0U{4,~:~!~M{g6(\ (b` P&]ٳәRh<еɀ`NUK6l+̮`hA'<$`K: M;j=WHLelv  hh4XpiG] 4z"/v[kwO&@5 ߡY\ҚŎC'k\t@/m}/wb݊\*?>O dN1\>Tq o`~a^єV|[VVhU8nkS@\sْHƣȦGdaU`uPж'h<ٹ5,V[[?ywPϝRC)[w1v#=׮fj겎>]DEx^z)kSD辉ц)WWM>BKÐ+kLJR$/~pqzYrۄ'#yԪ4 ѣ 8f~={FTs4 "Bl`x*݃ ܖ5-zE4Q|Og'YK"'X/R{ƁΑ* nt0}DnmEAJY5oD5r:r gm5hAJ-ϸd67qO ItAѤ `M yR*k>&J 1"l>QEuEN2U{27c,ܴAR4YcLV Ws{JH RoC gy*+v3iu(+|̳ܴ+NPYx*V6k:@Nȭוi9˘1&6\A)U5P qITuM1䅀QR)c?g nQ.X~p8I'{OOWѤV> ٰŹ6o\q!ʘ~0R #AD((6 7F}Z"a8ٿKK{57k7[Wzre<ǯZEh'];[bY 8OEn܀8 ~Ċ0n M̅,cR=PɃJmMVOD]$X[D <|iýKldqtF+@ٮ?}W3X;)q6 2e[#ϩb6@՞/K(#'!$P{җuq59vZ~D+E+s?KQL*i$D~1ͥE)M<ÐvW>R1 "{RGGRU8 ҭ.8cbٹkt+;S{<;XwZc&,(屁@ ӝ ەɜED!2æ'p^~rX,fgf;*bTQфOr{aj.̱u5TIYs2Je-4F%CX ̘?HqPC7oyX A~p̴!z N뭕9+<؅uM@N\%ɆvK/𚤏Xsu|%"aEl^*GU0cNVV)۱@u>mXffz Z. aZ B\r20pZKprCyhse4z!O,7oF-y*#VbI8IKݕoAòBi #UM^ zDW̪yM3y U g7LT9Y7kNy0ꊸ79_yՉӝR[(%"LcЗaer)s ĽNp-k6)ʟeJ-(=uԮq}v+PPl ( )mk|G<!c G6# wpPh$")/~JNA7#H0PRzfNW9Uncz*~mXIj} S:~\DLF!vNꂴoվ{ _:^-y3h,IuS {^C?ƻO{&Xo|Ji-%t8,%wOVijb@Zt6qk @LPQ$]6q5[*I`&~d Y8w| wB3,[صkAQ6`HSϝ$_hZ޿Ȝ. c% ٕDܚκTHT]-g69: .cqͧK#ޡL%Kò)c{ &7zGV,Mh5FDNQ\)s֘%_%zi*gRaX~SEjI?m]-ި FÄI;"nkoT{΍ʑ zưe "Z^|J0lC清Կ bJT[.L>d79fK`E!*XʬZy -6E X0}{cV-<)aRM+D%~a.Z=Od?M]d]?0Uw>N__Uz_%sw hOe}8M% |M|y(; ¤.L"ťG&MɸP5, e$785,]s6}5g@1(>nA n.3ͤN`AnvTaN΢'\ÅL AOsΆ4ԣ9>D.q -%ܗO <1Ġ̛,Z!d3ƭfbG0}YXctkƶB< !IF*mLGKP,+aב4z=m /*@-7yB;m?C.dPˢfOؔ0/ݠa+0- $vdY9n]Yg[sm눌\s)cυEo_D [mj+uM#+Gh/˅ , v T͆ vu]>۷Qu/HQlBNW:Fcq>fZ/yAK^5>*1zۿwμ)[`MRO  0lBj.>yԔRenAќ9͎x"#'N7$7i ; A3 Y&e2HD+=H"~(*`A nĈV"q)N+&K|{+1́g o{_Vl.DӔҭ~Նi5_Jj3&>XI#LҺ[AI [E^kF uʋh9OU$*g*ԮVdI*'# ^ލ:iohSu4:Ե>w3t-;/پW!;(VE54/ReOjOS+x m׃f,lo툞W ~54]'cV:{V@s/4_2303}':s(%ېjs[qe/YT Ksd*awBr|jOf@$>CA F3&YtbdL䔼:6 {Kq)T~<jc'!Hw+Lهf:f !v\SoI r]}UGu%a3mDd$QC{ut^ z0[";1hD`(e $y;JX XpDV2DoMz@:@SqO;O ߁Ʈ&)p5BFgO#w/׬)ɿ Of6ZP鵹J.1̅sRǕDhXBG99.]<"ZKɇ _ɷ~~< T21:ew3\Zn'L6A.&'] _}O5Q*ȁVӡWIyQI#W!;V2Kܤ@pb3PaȥIӦyG1>65xxFanFt] UM^$6ł)8Nhu]?$Tdzv"Y4 Q s$7j$Yv־0DtgZ^=@3N3C}RwydʩtUV-Ք)H9ҏo&ǓK{<gX0rSd2L(uHGղB;62mtw:řwvo\Xӥ2y9T;I%%YD!3Ϋ;) "mWԓcdEۖD<˄ԃ/M@F St4`zYFQP?Y i g7̱xROƒ* आXאЇ3aTOD6"eN$ݾV*i}~41-Ntrס{kX:1wG>"zܕXZ7 |_dwJ֞B*I: an|FbL䢔 [2wzX Pr_L-EILL̋ 5^XZcwMﳐ_Q`(h 732Xor0987PNCxM RY1AbxnռM!N3Љ1[+nAݪ8{SյR sݕuha>/pۆV{ hČHeg^կ&:8]=:V sLaUb%N=.]#G:0֟5hۛC»&rK6)j8]?*Hʁ`Ջ nzJoDwmϪPz.\VvQŬ0hH aMT57צٶ;Oh:r|Eb 1+e;fD35O;R3ÖobC6r8zl:%M"Nڴ*96nңo(@nl_/b4,7,Ksxi}B.rLMayP V Oxdr4+AF=i!:ҬJ(#N z(l`6wk1$F.oA?v _28Eֽ荦OXk1i8$5'/ 7I/Z5^6%tv@=I m{3Y09me:EIb%iBk㲊S7lg'?`R/ |:t(`X,WsQ 0Ӱʐ8L$=o1}^AaHC>uOޡq. TZX49v'23Ig5F?{qUp*:V]&oNaZ+b7. T$΄ﳲ&=mۍŒ x9r<Œ:!HaʨF-bxD3!<}K04yiKؔ񭐜Z_yltBxK'@DvŒLʡiNӺZMHJ_+|^0"H}m`{tNwȤ54Q52i. <.Eڥz$A"3# 0z+!sx@$ZьoLTd6=Q#~ *ό"X8L'U%a o@m/ܠ,3x$L^ZQJ>HjBWΘhbagB,- Ǯk>;{5mг+էΉ}ʺ<w'PWN/$УC cC&L'cIg~j:\bzۃH$JsyOEǣpЭxME=DcSTVWkꢃ=; %cEVn_m9͊jlCS(j Aՙ-@׬Np::7^% k(?'}.q|=Aω/d;w9Dq>MƃjоQW8ݒOM&ҫO xC-$F3ga>[QI[v HOVbj!iS8}bm.GX"X+G~ -A 4HSx`r٠snz0nH̱"^io*9,Kp\|{,GeeA<QA-@ZeF#HՐb1vןVeDqż`!D<qM4柦h\!GkŶbބ!4v>, 4`q3TUҏ(0JxqWHYbnӫ6O#D|&]y^ɳҬi‹z,\8-Xѿ[HH! _'ع  \H,;6౟n%x7* >]!LX(p,3}%j͜ o?[>R,&;3P~5t+, 跤d}jشyN)m.ɨ'NԱj¥bm̫$f/ТH+lja +Lyd,[*MV)Ng6Gq_!,.*no7ڞ .@PЬiPH <*GfӻI.V[#7K:i9(Y? PUeiȳ~ A[|WAxK[g {[ tH=`.=+f]1!֥{J;Q֠qJS$%V,wTD'7}FFÏQm\p/{GUU 7Pp5= jGRo 3y klSC[=jJ9VY 6Uzxr?#ˡ92Fq3jas ooYWcyƮJ co3 R ĮPa9\23t DDl'3iR~/3l* m!7A.Qf|HD#HѧrB}ɝr힍#CFYگO@>ۢ29F `W*''j~i0.͎5Eau^Ohf ?9No8bj2\#?UK!->TzL c;{њ)2kn,)n2AU@f1iiGO'l̸TpѼ(L_$quI1cЃ1^wc ޡrls)-"ʌgͮp]YZ5gDu seHX\zJF%M_2ֶ"2x#mEGt= kF|+{?uZ`@Jh,`l9v dFi(FnA1 }zgO_98D˙vIKhd Ky(kG|N+q`2 څ<6'olVxhiITM_yLǗTuEϺE @ 4*QHfVi&l\>Rʮh8!+I,)'#'y7%"; G Xϔ΁ڢU 6:C~c$D .h70/vE u@B;zsWS˩,B\f.u͞4 J?3ic6uN]jVIW`2eL9#>6SGj㡦SH|W]flL ,rI"[ĩzuKZ7ΓITߊ/E@ H&$NEAS4ba)8oZ+ GCK9ŝ3'ECA]mt]A3T?`R*υ[:Kﭨӿ{7t/!3хuWJ=\ Xdp)Ż:P0֒M~%c֩+\:J٬:3m$0@ŒKΆe2Ɗ_5iLԶ\Pk#?!pB.j9 mq1L5@@. 7a u<B_{ݷDBe*FK~$;Wa^c=wMh@#Y&-x';rh̗t Y(ND/!#oJ 3(?QFۥ V@^)=m̎D dB^[ r@ѱrlUDNo8C.S{ܣ MCCJ:cGdҶ=^ Ux2yʼ|e)>&;uVA&%b'_'.%S ١EO+EfY!{]cC#reiqDD9J+~+]Susl1ⴼmho>? 4d?ŧ-JITE[D#h$,\{b&f_]A%+q Fwx_.ږELk OӬ%t6[U K`Ԯ\õPD`TY( =~X\O?=I~2o ϓ&I`J|֞/(ho#buϲ$(?|kT8Wᰠ3! 8P1Y؋b*ٲ2Jd3ݧDmc$]yHo?_?:2p\?*Q #, ;.f,0}af^u>n2$ԿqJsjPDw/ _ܹX Y#/pRzEqRj73ZΙDE۟NkQtRu=mSa34Ɲ:F R&_0{MPd_ Z1Dlx/]2LtHȾnWV<Ͽ{J?GwM,ѤWi!셍pw,d˸9yUϕq> 3hDOҎsyErw!nҝp{ka~ :u>7:/;hӠ0MBCEMi|AlOUV! W4E #ӡ(?N,ֻ 3(Bw2t\ayz̧HzFWqҗ+`[N/~]I)NYbIe&>>˪9p$NQlMs^uBIBY۾c/,&% +H֥ś.rTyrCbjI?<4;'g5tZϜH++f֊ST D5Jߜ*a$ -I, a2ƯVE L FQLш*u \&jjo5n߼n$\ CZь!R`qL\ x!>Ĥ뺢iGhcU4E 4"6c7(WQ IDq'Oto! ,>' ~|%(HT)yUA}#r4㤻{4ixȜguqi'5fW2Qp })tԓWN?/fU<6*pOH֐4UJAcq54RB&#M7OdUإGt&֞Qk\KƕD`d*kdq6{{aW"+DVH^̊nhoQ08׍ڊizx>gQV,=zck[7MMO mKR:N׍D9A&tUxj LKPdIG ]XSaJx'?\&،F-H:lV ‰X&l>*DΛBlבhu"2?)ᙛ-/^OT/gxmXi#2ٹwҡ$\e4z]yQ %*T iQ7r3@/0"'zLy<_3# _>*fxWEQv 'dUq`7sFOy;0GϚr35鄥ŁQ6{J4LH?n*^۳xwm怌qsevN f;l/ 8h1{ۮ_AW>=ASj/`deE]\[UEC]xO oq)I7&(F:yK[b$81]SC t_TQRd.JP;R4蚲It3c%¥{5ֺb ]v֟"<)$^"Ip\i//a"n_] n~}:f5VVn9㵥,DvEZ[]4yi6/>AfTFYvm'-s 0ցqj:x5ɤBJBzBuqo*6/J+Wk"`PM֐m[)8~%wQPΞZ0rRKԫd`qG*K>X0]CY?RaPjWPJ$2Do#q^ٗziVP<i5ұDШ4?mF_Mg$7H}rtd,<@H)A|1]vmo66o=z`fP,-XZ eD}~TLb V|clfFG{Ԙf7eԷ963Q'x-_݈ǥ;gJ*.tߑh^ੜFg]`8+E퍯O7b;_R|'IGPj=?[W4 ޴k_ta\ꉯJ L_f!>_~ёSeӔ4D`T,y8R$wEX`n'PQH^SMJ,{{]fk,h6K@Cwq-ޫ] tk%G TUNi  <5&lK9a\Ôc<}vim -44ÈufTiWkȓT]|)n#J jҌIo &#Uf&.:3 nղ鐻vYTTP 6g,ԗ>}?0_B͆CB hjj%W` /""1w۬x;3<%H 47JeKٱb A9$?U z %;$d!$ 5ZKWrX!p甋D#gx^=A lg9P 䢘 @[c&Ұ-h. jJǼ:DjzL_ ˰f++a7`y9Z?5eb-(jNTQOU|aLn~\5AuPDVꝶP_9>vҝ0}N9tb1~oˍSJ7βZ#{]mٕڨS! nJ 17/qr0?9oleXoiggW$I{ ,WgKVmPȍX j=9PJ]mQY͚rCT8,$opx 9 Rc uw mfDl[%ʄׄ.fw)PN%׹g<ܤzW_  >>s J\U80#4;FۈI͢xrn3>tx4՛xlP.hB:Q-E:+) \h5/gڜ9Px͟{4pv~Φ+'lspPTC g5iR/QM#/7hG,PM~A NSG]Pyjogd=9_ϨB(VQ`BΙ|b $/m`P78h#,KQ6a/ˬhcH_;8Va xp>P㓮B/7X> 6/1HNd,6n IMcYZ<ٽ\' +;2z㺊ɐzVzD؂.£=o^8B@6"6kC"Od# ~Js k}cHVu+#zt%A9M3ɯC"c&X3^1eᆒcY4.c> 5êTҝ y1/;ZL~%260R%M`߃&uj/kkU+ژ--LU{'4i c tW_b8OZ7 M[1Z11k1Z?Fl u_ x!jd}?Rܖ @xS9恜R.Ӳ.r궋H+vsYl0n e剆AV7h_LKI6J1-e[H(h -5qpKzS|)q'+BRtA~E71I\i4Խ 6ehZ$Ũ(a\xEqz EZN#z.-_ud{ݍ88Tޟڇ6VkG^B^_i[(*қ$iһ,җ!d޺Y~d-}lgoAe="sh9;,g](9+3Ob;6hJ焘)7=}(GvNo._D` !.ȡQNOգ|= k$_δydRl m,~iiris18 KU'rV 0:|AԬ 88&gYZ9e471ffcfe2c0a6ecd2537acba0c0d9b51a245c572476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28699545d2a689035a8edc352cc26488873dd391fe