SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   D7| ]/]MSO_Regex_Equivalence:threads=2elapsed=783.134cpu=1019.160gc=43.264factor=1.307zXZִF! g5]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk᳴O6ҵ ٠(S?P#e_>&$MԒ0 }^or˟fYǘ+ĠP@/~VFV~F R/GR_ Rjc'Ifcb?$ @ANTWmCNeR^9"tq(kR3Sf,(c*60cCZ Ҹ|^ \VO S ~2h/PA!o@>JaNIETO #VbZ!5dV|#v<$=/WCx6_7V][~Iz?'*DSm}U~-;Ѩ8 0빖<8 pLX4&y#ʙ! ;7)KT#/`.DoL XPgO,9 ֞ ?q@Us]^i6tW51E)&9o85A 醭eO @;h}& /%^)BV AI]PJUÁ^߹1;f(>0g&A yG2LoE*boF=3fx۬#M:u4EbΘ<}1^$dro9CR_It-s(VF.'<>5mwbܤ^ٍ}ߏ3:A"c=\F'Σ×Nu͛ If{VC_5<qT"&ޕ CuMF-sn(iE6+rdyZG,m$2*+߂@s!?!oJ59t#S.tWhfd{ņ|apo,f{Τ6BEC ;4 7^x+q_er@ξ'W7~bNUMB8 7 MSO_Regex_Equivalence  (K eBl!#+Ia-}XvF] 0Ȟ6^U[ !s;8xg&0yX/$p*$BIq;B ڞgjA>'*RmpgcH0o`pe"1Mxy{z+dYW^^O%&zz&s:]}j{);C_"1 f|Ԭ~2~wG3V5jGe?N 7.cCty^?D<9|nuTcM{VvALiǦ-+\Iҷл/5_T_}1V5W}BF 9*M ma8,dMWoW[o?c{M/0QΜ9) 9mw' HSQqˢI{6]V:PN. %e;) ^&]eM*sNJnwjN=Q'JB-T%MؾaC7LQOSͭLzRJQ'))=˅r㈏EaT,,R gmsrږu_lVKCww&srT$ϏKi$ ӍӭOW}U3_6ҩ#; n~ q/16Od}Zǯ@oQELF-Q+'UUe+`5\/&|VK,&keܕiOe+bV=F*T؜'k2RZ$Sy_Βs^2s2Zok>6+::_6Xyq!)ʑ '|*'JuzuqӀݍUQ :%lWՓ'Ѧ)ݻĘ@)R،2>FrL[q)xhENM- S0Dl8YVt+ EknksA*Fx)G::xqmt? yjg sFYuu+$ҖC>*6$?)ؽeeÄCd+lxiS0pOQS IqJg0IEܤc?MrhY T*"@`; ԒPC0Y ѕf(vfTdwo%k׹ȚF';~f'0!@eySL޶惚7v =K¹]rl㗟L`" .\sUh@BmP>"Pӧlsi+rH2Yy^{3ْ klnFC>V'G"~{Q (aKg?wmK4Li96OLe3;'Mj^8߱fgojPMLN /4Z6o8xv' 8 ju֓߄^~c;dMM$\o( fX4Qo);:V*l7-aH.{cM.hE>m*%C5OBz`AM9)Sg*ߧc88J믗ރkwijٻ·ojhUӦFshϽf;ݿBfſӛ;v%Q-n7T* MygWݵ#} i4blƿM-+&-'Iʾ7"6GP?dH3Re/F hd$Щk%^wܐykAe$'+ρ;c@(N)"?t52v+@Ņ%_N%E߱? ;vM=MF}B0Rk2iQhfN+ypjM) f'7XL9F@],gYZ7zXZִF! Lj]ŗXi%>gY"0Zn_Ӕ;M=sx/oD)JlNKJkH`" n9kMfǣP5, LK`P^ae`Kư-Kˌ-ȅ(斳IQVU`iNHUTv50c&&yI޶Q&~\1t0hECƣj| [|RvYCjhio W縓M R˕6۴y$BQuK L j00{܈@ ?W|7{{ƺ&Q1L:7v^+˟h]If~Z?fS8m6|x0>>[wؘNۏ~9ZW5$rD7ioL cXJ5w\Yt}†f?hDu4`CnxBNu/]ĉb e؀NV}]"6`<2 =/2@kL~eg`1"Rآ3'^@)O3tXqvo,;< yhKcVktVx ˚9D5 >?_WDe4_W _j&@4 *!&2,_l@Ңϱod1S7c~t_ʷ"!]K(ZIKh0{tʃl5Vy?lnkB!G)S٫Zٌ<&i*bŃY5$"宿d =hn?niPӑ|50SU3WM<}"%PGpFd7ނ?z>3cv0D0<:7'9:3ٖ#E!}xuf'˻X[qbތSZK'phI81훜]SC@v2 +'7AݭFvy>8vÃ>02$?CF"5^Bn,;~;fJ̒}-,Ѷe5@/6ITR.d\R QIMlmA-V > [*nỊˍDZmk'P2Dp@;0@c|wBG9G@OG{Q\梄kEt t ;c{e+.wZ7T[% ;iX<5gVOhਹF\j6D WcGb>vR̢"l=17UɹB7]B&vYFNejԘG:~q6uY%Bfې2~XBDu:+†Nae{Դ޿&UR k;iApX#jLwns,lNk={[YWe鑔_*8a58yqlYLw r7,M+D|?GG󙓐`p0_Gk9ANyf0) E>6{@ U#2o}nʜ@܆i?쓠ꨜLUsыQO/<R`4?|Xjo }:pf䕹=`h~F9ٱ2+Z Djf VI~l9gt ${b;Y3ӲME#|>QT YmJXb"HRz:K4LуuڟrR1u[31y*y?#h4 Fd]axq] LNh2 7vsbds!?\ˢ2'<n{ॺbkʒG͑Ӆ\i3;yMLZ m8ۥ7 xMJez'c̡ƶ ?()-G. PMC=GŘ~9Fiv]\tbӳT:HN#@CK..6C]R R(Jz.htnAބW5D͈A_?C4gu=>:5++-':f?e쏊 R0+u$FE#eze:\,D1gHi;F=H o+9r0ɼ՗Zc VRɢD5OaHV= Pܬ;ߧ=ۿo沺Ы߿h Vꥬkx8c]$n +&3dWytW%^x*ϝYX~+tXPb'^/Oޥox5r+aFtn DTL4[pE\TP:0:\*QD55Q#¬dx!9) .pv:[I}1(Zǝ^ʺ ?X M,2%6y?ޟ<k42@Y.DrsmRgS^2lA,7q_c>;dmBӊ..^W.J$'`]湭ynDh#Ph_k4Mx :(Ol7Rݽ{wJ荾t}=_7<+:(#I)^Yl kFVWTl'9F,ºkt]w\t9da ~u:W(L""D/U}ʭx=ea> F=Q ~֗ԪT.Bd${WYn ?x螑xС[5qZNTGvSז`=U;(CLwlYO4F.Ĭa1Zn\V{!/h%N CLViLOpꜰRyK'Ύx*c/LWDbP'0,?븞W.e=#Ad&qeş:\ehRuQu+:S:D,x&֝͢Zyab߈ȱOw 7V98S\糓~* 0_W%#I)ɻaP_ERBs5FZvƟxb~eRQat D蒧nԑ7Ψ.BgQj>H0xhU3PC TQe;+)YL `R#G/Z(1Z!D}[Xix\0@"^Ǜ= ٔf&UN^9ܵ`W%>yrŵBɵ'eOP?Zh10ޟ/tI~G.I`_l:a`q~GE')jx5Njsȷ_,p3)H;1N3b6_<:lQhD^ՖCp<E7ܶg~U d'{Eml?EJ=jJ6v;|z0v"Q O \4DaSZHAwF N@lt}#~D9{C#(`+GF]wdo쳪SHX]Go&ʭ#?>^Xg(ŠD|/CeBaۅ{ԉ`񖦺s1?œct]!Q_Ucvڸ Q阕*B$M`tq6^k#-Ɲ|c`p܈\#?ы8╚ \i0`FVӅT Su/W؂)m-+Q]BOay>"Fl,6Q. Yv5,kd4$/0Sb4ycy}p(,Mn1{y!brc?U.2򵭕\Hp aE.V|kh/<vIG˧]@I%( :i`49tmLfE΁[E ["̂넲Ǘ REDx_X$EL!HnHynقp-Mn]KՁsi4'=jkymVVM7O-j9\oXXt8=w RT"UFV}~@cJjۅB匧ƴ KHy clX7\ G>m>v?zx/E@:U.p]WSTU3GIEg)Mq3sE̙us7?ix3 ? _*5nJd9m0Jl+}%C4{襎fٳi0LmpS8ז2`Lq3lt_6% 5bc`UϏҔwjYbxmY.s1jt^N^Ly;W-Xq B?O܉3JzJa)1_B*rڬ;i9RрpoUp] U*ݳfI_(\P_T؛=A7`]^ox$/mXAYXu8O9nXI6`Fjt& G(57a? oi(4'3 EWD<G_gG Z-}^p̽2R%yFgvecR &<]TmTEZO^o眨 gO Q&az0S2zS]ckѲ;tuۛ}qR- nIg(D=*zI2=x0q Z}~sXN< 5NiW=nBw;z %%6ԔέdugGZ7R6!3W"%r'aL<3&y RjT.edN摅6PxK};dbCrh;zp}OuՊ}Q~sB-,*[ gboZ;S()bv}b>?LdSn!]BPaYY$25#w_3f!u<}Qi'+='{ot 6K-BU_1e7Q6<ysC1˭g^OЛOAweVt\L~ A9\ ؑ/)'ձ2GMFB8p-9kiz_Ӟ>P6&>^VxCuLyPZNa/dϤ&Df)slEp[7ʺ{m$ZLHY7ILg=<4[\kނpqiHnb$tnNa{pz,@n)I @pA_p!wt mp-=5DつoEN`kL; &y ~|czCVr$=?~a\8_1^#dc0/ ML.W,Նv5FVaSXX!M 4Y@.Bw6nht4d8@5tc-5h(c\C: ICf wa~KWZD谵#BHBƩ3Ź.pAm|>p`gGL[AKQ$8vFMU ]hЦTF#?LDg4ȖLXj֡Fo-(}FQ{/ 䀵;KC[ngz,ږK(OvvFR]WZn`ueVP ILgv[:K 4ͅC %W, 51\m.@[ۻh"zN0UjtH$@ lZ2Wj|sk>R#ZRFY!jUW(Tb`y]ԜzD̓po< ⧮mK 3֠"9tm b<ǔX*QQ ǟ7sxfʟ;.w=O^kx0&"~%(gY\_'֝E2f#:8% X=`yO[?C+ ~p^.`"mwuPU^teYϢl$YDub{_FZ,lʂG, ު"Ҟ=NBL5G SpTWӒx#Ws`*t-y֣)f&.spZCϠ%ÝLqZ^kq=;>%M!^{rmrS 힅@,{h{WR]b5|5ǯBj_o_Ma`FQOiU-NT/ep{a;dSq&d\\S[còKZ/z8d\0 Ө&(c;yEzJv*4Ijא)q׺j$;{oVb|oԁϢ<.wjh86oj.%nOjg%'`^uZ0r~o{.kC? i'x$He!w*OHRxse#CKWg 0(NSǂdx;7:Xxf=v|:}r̳P`+"o6g̉E'}{3U{ĥMbir3?JIjPQm۵Ҟ=筳gy414†OLuݭݢ~'M$ϱ JfX#7TO]Tlx/| x4S wNQ2 \[HaMKUj?kCz"%;ך/p|y!(kZOR"LTɘV6tlv\I09Olcy_$X#Yfuyj9IjcmZi X0Xu0Y7H}p>߬%pmY ]`(!YOFu[fDԔ3㿯G/3ӣ4J&0x4zҕ+Z_?pS\ʕWmp \_RXF,8 PM[jZ#7+7"{ϕhWR.=T}xd&'7=ۗM(4(\#QrC E$ەÃNZ,Q Fgr]>u.u-ɾHzgMPhއfD0moM;E" 4tʯj+C:@V12%y ]")*>F SC%Y_T)(Ф~N-$Ʈ=.ۍc/)By!F.R 4j&]lH#;+(wՙB%UwR߸76j(d>n|pJt(C͹MGl.Ĺۉҥ3ʃ:kq ^jYͽtWnJX+"C:{pE~61VV:B-d gr]vXiyl-0wQb6cWAHGケ|-(uY[7EvۄohܦNw*XhŒ%h?ݞo톒Z-ε z@֪?oI҇?BK?5T9U dsiL8|r@x$o@p"1f?X`'/-u7Fe-tb~M݉8",~${LՖG@Gl-&>ԹgbÞ"zXvQ ZPK G~7I-mHL35+i|0r\U^Cѡ#m[e{v#Qbݽ>[l?3'?nyLv QaǶ|ϨֺX |̓ ZCdV J5UnKZ툡.7 ׮l,VH=i! ʗ6Hp'X0x[܃9 X?Qko+B=BCzbyU3?F[d|U AҚ'<~~Lil1!=`֐lPBㇱripJq>wc0’i=b\V*)BQ^]&B46!FS9v7Xh#ؕ^s9%{A]^0tT.zcuu皍>|eAP+~ vSSMR2n3%t`}M/WCۚUV=(xHVg<>(Z^_ 'z:,#[ےwED챹k#AuQ ^s:@MIm; C*@itz΀3էn1_0KnEc|Йr N,d+Vev ӾdGZROCZ};+Tꁜ c=Y4Cp D#=4F@Q9\֝2.28!7ZĂWZ`#jW,S U:v-J a~o ڰ fF*5n0zԲ@F\]dhO]Tg,Dt-S5C]2DiԫQX{fd'PD@%@+|n8/c~WL6Qv S7!ҠŹq;g325}YQ `o p.]1۝d!Jœ/۴OknO_DU]䛣>"0zMjtH ￵t"G'14Z"`ĆG}WRꪅ e5#pU8`z;F\P-(;+Iñߗ j}z~Ś t2~{ V\-*pK -j\$W E k' Twmr*ZLg#I7%aݔZ: 3}p!tpm{2ҁznי9VJ!07HҼ&s^I{]gP(.̝is,.v/hc;Gn3ui N歏ʰ>h] ykuO^HDK ^s{yym<qgDep%ӄ !v (Txt ' J9/Hϓt)С]?e& Wd/ˠ>`N?w\>R] xby,Lo75@S[I[&,&Q@.cB᭘5iɭC+rm 0UPboGD%vEB&燙υr\ImghWεxR>? P t8;T0 "UB6w~sf* } ~|#gs\-W6*ݢ򱗱ʉ\FH -G%sv/뗝E'pXk?ͬҳG4A+a&2*x }D˟^a`J >&G! s3(R*;@biJKӸ!f7Y\̥fêf'1zyV@j  sM?ҥeʴ5ќ9%?0f$q~o}hv`%oJ}h#1pUc-`zF64d !J!b(XSևF4 g5 (xAxbX#"Ĝ ͨ4#)"TxiC%sr)}4%e/m鐑S8=CZU`l5K ЂeqQ9|<rh+H5}HYJcpG]C._;MѠ5S# +)|2t wuÍ?i!96 AA.ͭ:yU2{f{K#QlR}NiL"Aj$js/}^(\Jf-JrTDq"z`Ϭ;utsՃS۽EI o&ŁEyJm~`% =ӻS\VMvXS@hӟ <--WnD a3 p(v bY~ ZܡīCP4#B۩/ i9ѽfis5ZtpPmw[GueM ߎ7Zu0i_VyNnR~ڄ$,WC$BÌ յ!T")>wC 6]9-) wQu&uQKa LʿHA^'RN> v+_TLNhJcL%p1ZJg`I/)p(CYZL|8j*wiswk!-E/q_K5o!10ǥNF"w&]ˉɸ0oXU[Cnk ; [goq]x@D:VW(G/S_%r DSu۳r0bsĸf\_=dY±a'spcް(` µO9hעRO~IA3Wwޙ~@^jHV`qlCJr NyHgfB^$PMNDj(pƳh=Tޡt7D ޾Br29r߷F.xa~K[FQLyǽQ_1F&]r@q" #Bȍ. K"$M8lq3AsCi.0zذqsOhr8ԣdM/2|]fJzuLͧ~/|/屸ď?+YƴP\˔K5Vf}S._թۢER s[Tj֣U)jpCZHġuabҝdDQ@~x4 5xo VaAۈZKbu&.ysln # HsWC Nj9 _<̋z5Rɛ<+FbKb6ώ _b5 7; ؄Q\Ϛ3}) ת2! F­8Ӿ }س[wصxkn/)z@siLk\+t`Ql% .+S|n$ƌO09um;wc΄A9"9>QCw?ծAaoAV{7mq4ijke> FIQ޺XkK˗S3z8Ǎ13 7xzMYo~~Oΰ-}ݔ$fXMe9SB){l LJ/=b]yY*>Z'Y >wyծ}ClLAHJ/:wkD(K\MzI4]̬}9(PTQo4*7!4D;T,Oā\1K{adLL : Yx}#t(e+n.+"q8(b43 h߱|\xh" ע KiHޱmH١_,xEΗfy9vOȟ_g0~߮jư\ߪ@eF,GʖlG&7;)zuԱ(WK\ H@5*LJ.=6i 4)5/jnBãhjZcMq̧u+bRjqG8>ivoV0UkvmƗ9R/>^e^f.rHROi]~t}R ,ƣ~U, p[#Ձ+2my$JMvx^k᷂R`H&n/EF~`,HN Ȍ6~e iFޢޮs^AtH1 wt2c,!`X ]f쁩B vc6vG]"~: c7U~/Ğyl`@q֗+q0NyCo!)bg_K8ݑޡBPo.D +Ѐ;A^V??p>h />33暹oglgO[)Xqn:1!6\Hq/CqN'k /VfQ7&Af&@W D0VB[:R\4߆quЭOvԆc Vɪa.z_n4O=!ѶF]W19לLj7KՇǠ _9̌Ծ뀍nB=%sŋ!o9dsW?j]iZ(^@)ܘ[y?^ 6ں+lÇJ}8ǯ7T|T0/'fIePR䆝L#q#-MՎ Q'z_8ύ\]lğqUp=mvUL!H\]e*[ׁ[]ߖh+Gh^6sq:P*3?/pDpmZK*veN=E֝6!}žKmt=)u#UIOТ|={0=Һeʩp9tc^sws6F6ALRDi:ھg.4j%2^:3n6ar;r(4~mkGkOh(d8ʼni6gfBg렓EE=5W`+1\PV%HN3ɾsv'|i2x[ 9^ª0qI#o'&mVMo1md=U}åt|l MGh`Yհ6Á,"oƞ[X''X@P`!xg7tHSdx1dVXQ y/JJv$oSS]YNHG@iOO='cY;O+^0ddWv_\.QӉ5>8HP^M/L:ݵM=O2.yEEVЁ#v9 s J32/?}dr Cb6/,7wK$ -E۳.v[Ilc,XLS9HW$IDԶMv8_ZD[4e}SAR񁼉~+p?].:9L6Q$1I?֬KW2DC"z5J)ePs[XF77 G*fH8vox2&dW6)6Gt#4&bt9OwB_#3g"/aYy } org|v]! ۯI>b{ukPM#q }B|jIL{ny: {!+WL:.}(stVx=HR)(kѶ9𘟗st7'2b׌°#@2|SS]f.75o7EtRl~5`*5Ta5k?0NЁ)B~Ey䥲ܙdY|P}u_3׼ LR&ٚ7z3qjY1ؤoN-.BDX[25=Rf 8vf;p<̪}b[&$y~yhmT׻~ؙnAI. Fya}%I;ʞѤڹI`eXm5V$8&?8!A*z7o粎 : #.c)& xF;?MjeBOEZQyj=x'fqs $>y?%.Kq.Ih*+]vyoj/͹<3pćΈ}$ȬM֫I6$/͗CXsBkң'u֙y8ATޛ @Z)^H(;mwO cq{v8/)IW_5/YtQfPS!M/yYf G):}i,&1v^i.H\ߺkAPPbG~x]rcXb_^ٽY7Q$е2V"'!(<0+]m9=b5t'&*%IW(L/b6LWN@kh'fU0mENI@e5]g:J9rH% YoUiq.f(3l&Ԭ3#*ĄO4`D!GsV\+ok}u.t);Br"R^}X#%녝G>0aM7|Wo4_e^V,ߺԩ`˝<2fDڇ (7lcpT%x$zO6>gp9b[ {&X %Y%|mٙ| G7ZN ?8,1Êν 38mӫNhAWdPu" .ƮY j&U#+]w\7]%>c?yvP^<᧍t"jRqoIyVam^Z!v 7#Yl9GnR&p`a~[Y 'Ou@_^E`ET@)#6L_`p o=1V*vR(q*f9TgkeZDrx!OOY+C:|Q}0'okALVx_83Iv'gzqs(ŕ!j:>bQx& ȅq]lH6RS֮tC2:S1@"jpWr];@ %ŻL:qHH.q0SȎuNqŰ*_qr^g?+mǩ!}JYb37w 5eM(fI{aT`PN[=# NdjmfK.!(?'ɀ($&Ÿ|/ ,XHU G,VJ5)HM2m;<%.KqMs[PIt=m.jN$f>r )Tś'|̬FlPGwKl[՚GwFbDe T>}˿ {p&N[I8|axzJ e$h5sNԁTQH6]:izYmD'K =P$S\&BZƶvƨZ69Y+Z]y43$d$7HWH1KO0;]S*+Y#m:{GgjEvW大(4 '*lךD^r"D!Ӛ^0ljQPY[Dhc1=O[ÿӓv0V `7{fW4qx W/K+/H{#5K/ebI> X&)!JP!yTY褨Lf:ybX4r#va\$g5苎<9a0=׃X!97d YK+ίgO2W(0 KrEZ(gbo74zAt# s펯9 ݑ|^JGg/h|[%)JH00^\'0I=-+=Y$#paդ3oe#~ajo.i,Xۻ~,VkE L}s(L+ [T :tG)++};gxl׀*Μ,Ͱԋ+{Z"RH;MK]0L 0>fn|Ђ䪭>m4=6J)Cw,̱^DnTH`P{B'&{e.PHrr"qXQV#&rhI>Nмp+d ك7`3Fw}caW%ԉσ6v\R- g_(aAͱDFݨ.*?\*oyر:v }w}bC{$:4i/ƫ(һ( ~iH7e:|/XiW1] ޢQc B~kD1D}]Oئ6j ^e`܎2l@@9$M.k{KR׉ :d~-R? Cm.hfN2>cI1:*#da}f0n]4^U!tww!ԿMi ($cƵij*]l_ 9؟u}\3xy9tU~4 P9x >)'a51sv71.FIVsK#_.XrG-q CaZCGxW_I2/ÅA%SBS@gʪ.-PsH{圬DӲtW<W%p漰%%B聳xɉ׉qϿNY^2fͦɻz&5h/9e PJ q#r&AnC8e*g2]X)o> J16d'ꤌڻ|eVQ軺:f":nEף>Da'l/g}9;]:mDڙYqH2/كeC.V8q(HIɸwZG'A&C0%6m}ABuFp]3Θ atd+IftDTn*nDFy-oֹb}6o|=6q̲̹|@;(k[=]M4P=wJzp\%O7ut9ͺd84_'~bF ڙfb^~MϚ_꺄gsީt<~?x씂eRHZ#@k޹#| b֬}뮎@ 0⢗R7]#-XSebKyUUuH nB)K)&`Z#ԕ;CI4n`{[7kK :鮏P絿tA5^iB̙sk]q13\[1GW3t^]##ҦΦ2Ad( D&9a[}taUڍ>3nsgn+t&=ՃB =6〸F;zn[eoaY ͌iyT 1cesf]qEw{p'.ʇ;NJe%l1.鱄,po5zܱQ͟>rGR a8I*T;Kd }q=dVz̓|媽׍?dCgsu^XSZ;ff sZN&D]ϐC r{)OjI%VY{^KB<=rimY8Z/)ԂRvkPВ<~j Ϛqޢ'M@Qՠ[6xԹizfnr/휠2ߧT=ڐǘ`{FAF 'ww s:yv'~+7Eqr"F4v L`˘c 2O{t_b-Y1xh nb-^?lshBah>d |%%So};ŝFI<,L#Aw%m5hpL#~.sS2U NG#ǥs \ѳ+g6g'! 4yjQ 'gÒ/7{"cB6a^(U-IQ;GDdp5i!SXX `W ȡ` @ۈ?L#W$A; [uRsE0^solA%<_K`r2D| Tlцam-Fl Ӄ*{~죡|hWmgz#k.zz}  ZPv\0 BjC#S){zݟD ebm)+}# 8kժz^ƥnvZ@D=~L8K/L=;#uJ"x-)P@$YtSTXIt?cnBF6tCB)@U5l'Zl"Z`Te1:'DeWvt's^_Eo["uiM)%5Ή# ״;Z12hxwm 0jZy(u&T1uSBHG܊AȔ(3+\lF֓I $xW܅*~-ay<.1LXt&T~ Ե(>},(>K{}ޞ &un`B}f\y!6QM?<՟ 2n8~N"_㮻%钾cREx=p f{0qޏ=AN2$kpjHWXF tbJTj1{'srߓ.LiguY-i|Gbyy68㻡'j3/X]7 >ۤ^.Y~ov&.ѦrY3 hdnR< 2i.@PBqwS e?t2[nda^0HbZA %IP<]z 6ځ~jt 9+Cs6Ź /,iˆSBb_zwc 22auw'Efe5.ٗe hJW&BCr4ȄĝQx:m]ʂrcX@N^5pElnp@=Dq9fS*b|=mqXc,lW+ +~ƾ8e˽uH6+qкhWjjgbFy-˒;o)[vM[`0Iu0xuYKD2)Ƀh̎`L\߳0>+5fw-&QאUftF.SN]iw%Y^La-$ g̔UAir?5Fc܀5+G f-F(Lj9^;iGŋ^5z}A'> cP__ W,)G{q\"=2ðf'?0ؤS7T SKz^]x04Xn3SXk4=.V~wVnn|J !3z25BRO~+wsOpH&6%yi]=,<2R⩶Ȧ bi ?vϮT&x8!j|²I%/PfEV$*y+n0@i6V,E#10l74N>3䣌D7"m+D|ٴ1TfìFK,~gQ:J| RךHj9;8`9*#u5zU RՍ^O#O6enZ)? ik~Hf}8a=bvo >EzƤG fx6 WaV6*SQ~؈"XuUQNEycz@ 8R{BػdV;%nl25̞&,.κ}Hyj"ժ͹.8[i,#y][T  z_"JdHNۢTx˽3p>nԌ sUɎoќ.ڧ;h~c\+kԴ-~bSB _ǡR;edQB4яO~8nDXj[/nޘ*Yz. \i0 lV 젛kKBÔJyF]I5 jTDS+i Z{.G2;,]>0kR-O7MP~f(FY(Y֍8LK؂}'Z V[l[o %^^mb<"ڥn? `|ąMTXFF:k1iM̡/4e.U"Q_k$5`@iг47H~_kCMM_2-%u!|P;k2H]DYMa qcP-^Ťx_8 ;k!9 5g곳_nFR  [#Y[{'rzA[c ͸r\RJޞz;hIoPx0.= (ڈ+3L1F4o~CDo_Ki3ʞ4*EᐺOָg98aH E"L#VRB㴖@v5 cSHi29>1ld/h9!!AJ{gAOʃ1 :SVeDm1rW %cnh6li@MV7*{.bG a\ɊEx/ ߥN*]Hy2%ΰH)6tp%IlV!NIeiaLP=^uuЋh8 ^']2!| !foAAbxhV"7#ʡثpFy n"Qi9bpR|-1G4I#%6^f,ImmV/zX9u@x0ge5Lcz"eq* جA&}"2 8P bWaf*Mz[sʜx]ʁo20@Id+S[Gb ޠ 7F#V~t-l8 %+ H 1ˍÓ,O~awk.i9bSszd(AsINP]5[=Y i0Lf@ BK)eډS}_$X)QI:lk7p\Fi?S>oX!G-G @>ORx0#GVjAװKGFzg6&9bpxXY:7.)WVZ֩+F2e`tgYSLo߾$"'Ͳ3J|"stsZؑs O=dCn,̈́ft@+yWǝ儭`q2dB4gBhnq:Jv> >41"po%\|GvJн*xMkVl l,- )-EQm>i?DE"ߊՉ`Oh!M*]t>q7=ns5QX!-~MH=kIcv[#܁oGCGvY *pܖ ;.w-ׇ&@;EE~é щDQeKi=BkZϥڤpgF6 >y;uw4/?{= < (O17PE|WXW6l$6Cr2JM@}U챚a]IV=|e0jὨfˋw#'\6-8k"i}}_J+2&Rx"g..FR띄eq/8ܖ|uW^x>tDAW$$P8)-5I6S5RF)ш&Ck0\Jw#DN\U!cnι5_"lUq_\%8.2=(g~nT}&3ʻ˄G3Gdx$IS^ haJիAGgswStdfF&>`J)DCL+Q@<`}AŏdMinSJo-Yw?j;RޟBi+>`t3 =@[\ɻWqY &4t7~(Ho).3|,FUN'{W?b P2'ґ: nIZS'5G4U(ubf=HQ> ښLxJ>^;_Piyk2s A _$)w/̽ރ~;ڻB1^R-%Y v4tG v8m3RzQۂ4(K쬏^jZ_4*Y((Z;ZqƐaZ_82B#5hNb$g5:#Z@c~Y> `Y-kbΓ z*Nׇ:WW`hy& qgw}@&$=&5wje yFtk #SLv=%%q}+mwL;Zˢ 8T!a:pq= KD QaY<)M&fz̀;O(b>byWRQNiԪOVp,3sc7֗z;W~G>h&o3I6]څЀ;k'&ՙ8; )adzPWM}xK1\hSzjn ݴѽ$Me 8 P`S^Ullp-tVx\,Lo \(L@,bXd8h?}!c0VXy4ߛ˥+C un28pU5~޲tѝPeƗ+})xB,b8>Pt ?3S-b| B1O KaD͕]&ϴGrK(no4lN3|'BncA#9T} Jqځ-+/Tm+7]0h ؓ!+ˆQME~0] Ŀ5A(dgtLLU6fE:'R! 1!EXޞ~~:U @!4jtmWw'hLj(]3)5pH*tL gqٌXSJ'@y"#ާ\Œv5E* *Kb)JP# LC8򑣳_îyy <iE6\~PʑtwLMlA4eq^O<+~ѐI[ش"jV}%:W]3#t[e֟QuG團)̚oxd#ZؤeRl )I?U"cp Ѱ-GRlWRGeHGvކ!H1{*#@;pM$wg Vd!K;?gYZcb8a041f1cca672432f04c53209b7be6eae8d214665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7f2c27b2709d97e6b7dbdcf5363296eaed330d1ea