SQLite format 3@ .0:  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 L7$$, ]/ MSO_Regex_Equivalence:threads=4elapsed=548.252cpu=1758.764gc=58.972factor=3.217zXZִF! `]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm A6kXtQUnO[zx1Lɍٴ0+t1YiR|8Ҏ=}~e /;mC\+֐o |\P,@fbLko&Q%|4ĢY*6[/4NXBg%kLnԈdkIDag( Bv)2A9xn"%2 ) XUGC Gݶ'gl);><߾(-D;U7 Pĩ֍yN3Az1: EOC甆E~T嶺]HV.@xXWC`U8f]3; + $$GvS";2MHjZDyRCΩre%z0.ltҙ)"_?T['Q) S&үk^)<,Ģd\fs*C٩z6˔UV4\Gt\2U 8/& -Al6Ȃ2%R*}q;7"f~V!rLi1l5[NtU&1PhUIJW]s, ;"zF*אIؓ[3a?jDJn[)?bCFIbGc2i@ٞU}&Se' EDqc oy߀#z[jC&Q؄s׻q!c=rQ? MeD]Llæk]R"3|d$ĮUzdjF Ǯ8<&&G32'&rjؔ2D# hY-q=Tiq@mHw}E{{f N^PIaMx$Lei~~oB^i>( cJEO/UG?YVx#z0oFH( +B,#5la?dH8(F N'jo„_'.iϥ?KfUd&3T~(ex]k\1*ݳg5 Imzovs"XC7|1TrCDSArtunG!XxC^"EVbүT“)mE?A8 AJ#Hr$͎*ǥChk\hTI6F`P`[&gG9A`Yz / weelb ȥPফKPX V1{&g+Q}54rNhƒL̆Bp,p0VGm*I5Ϙh3?Jpvke\TY`DBte~@3y̙l 30nMM AԪ0fDB``r?xf_颗+Lװc|tkwꁻ-:i;MVBu?^\3^>wqy$\JTPYW/ `xFG'NcQ%I5o4|Bpy򕆹]0i8|>e5Vvc$=V6^"[MyMAh"&!_5Y|F~èmJA0F&X"V|Yh<.qܡtUuڮuo&Ш=\)/M)뼶{47@]Gq?no{1#܆ TEڵe9Nf[N`u 7 MSO_Regex_Equivalence  imG{ZQAھ s1^0F" ӓ?ZxewcKSԕxvX3xQkzwg~yTj`guZ;%<-%MNB-Sl4#{N1;W!Y -|3X u+x"EU#"N)1$.%ގ"!}Pwk3gnhCo̳F5Z*$O#]IW>xU1gZ 9vyM./͞lۅNѾ>7~Dc2󫀲Rl%{GamBv?p.13M9`~qF4W<7p"&jB>Qd/px4¼1 I`3w +~ *,TǍ[@Xv*JQW:ʱ-9oǟE ]/EXaeHCO>7Δ %pz֧,!28>MJNkP]*qo$X5(f- -mDu.5ޔMRD`r rY4\c+i$QqoLaXY< 幍uNMVŰYA"7>ֿ)PuH iڰ)_f\޶WJG%m0wN<-B0kgSPɐhzQNO $F L"OaSaݶ1>ߺ8_OcIaׯ"@D9Vް_R+(s;NT6_lwn$] k' B'G!Kqˬ2'dĶ"̘Ґ\ ca~"Hy%G4 `"*F%}ALΥ"v[~xeb k= eAj<$>Uáx*'vTZd)zQ~dlݞAre*FBC{kvÎiPT+)~(EY9C5%neQ,'ZkPVkf.n%-u`(Px.,`#_6q,>/ e1R51D8 ,U'QTg҃|#suљp`[w2IXvu@HNsYT#or[8 fK!-IU%c|N.ݿnzʺfp_@V#4-۔{(ZBh&-(N] BPRJbY>/΀rNS0nLGc߿I{Lx{S:{^؂1=p`}_~+WiR.3y8\9.b00倮:1"5I֦L(c;<bDޫ&Ф7mCf ׮J܉ߒزQ-zS[R)rwa4;1p(1Vf,Sd)S`^C}1ܓCߒ rx$,J6.UHY#MF60Ih(;X@פ*uHPZ_>$s2Юx3(>cP$qXLE۾8"9kca7U,m\_K5•Y#慵\/Oaru*i!8SO(; vev&v-Ěom6ի؀Y!䕄c4<ܢ\}’@Зd>¢;`hAw${V*|;&؉Ξ# ."nqLqDL5Q*ʾb nkI"qY"Ofl0= nB5` :? 7B~ s6ne^5qkw|4-bgh _⺷lQ&ؾz3C~`S$ZĻYq6`q\zuOHLZ<~e v4|9DWc51upk=浴ƙ}ܴOc2S:uG{76!>J4xL5s{x"te ]!;-xm0s.RkD+C;_~ϟ3[$^2{Ы(l"hlq#9U3=}@Y]Vw6ˠ(GP_>JO R~|TC6DmoJ=j#7r{:7La&NҸu@W!GBjy4ح@sbPx8)=j!o"fI*Ӕ( FXڱgYZ7zXZִF! ]ŗXi%G3c%3 (S`0S}_=/bWiv~L!j^P/!~ܞV.[v<0w߻73BG,#AŘJ 80Yv=nsZ]PI<ه f?wϴ8Fp Z- + '-A3V`m W7ʹ_dX[(9PQ2 υWs۬k{9-^jHnd[iM-&G J )LXxKYp7~P`W##|Q/ErsS/H=VP޴VDC `λ;-Og1gNubNtZ#{8+vcL/s@Njo( shhD/SѾJ&4( |xKe)?C4̬#_#N01icCrz/gŚ=` c |"깛w- Hk|9{~u{'Q~M̸r-Z}6@?4g5t)Št(^_By04%Aeݞ}>;a&.4ωÑԖuNei{IӬ [ o> +:5>Uq!:>#:]P-[eqR4ڌR4e>$2|-l}7;\hfL,7WX <~Q"Tf] 7NC,n#%"BV?IC[(_^c?hG *_Pwok 5*v_hRO'GV j93@-Z]1'{Oq nhؑ-rJ}_?" 4ˣLc8܀/FH {vip3\d2G&! \KBS=fks8pz:uz{>jtBg,welCZfB8,J1h+8#Q=&;ĵ{Y/}ayf5dZ"jF0Gڒ(Qת I`?@6,}@Ɋw@8; )#`咽MV Nvb:Vy5km;6lя;13ZQH#5,DNƧja\N>KɱV'ܻi̜@.Հ?pqG{Cκ<*G%aKDu_2èk?;cutbgӾ7(Q0@n-`ؠ1P8AȈU/2W5XUW2BčCC(Ǝ*_\HyQ(dz| 'hZzfBݦvS7 U>FY%YԾ#e+GQD]TsksS12dݩ[Q==~ |=ل%7JbW8Q$ٖ-4ULsNwPK-q 3&Zʮe:(ؗ]JHg͠|+r/>T2@&y4rسj'c?{,J;gX#̈́l8AH_c8d6â[+ :ETxGp"Gs'/y9ǎ\i+h*+fJS[ F~>t8墊Tq''Adcvijv?L4 }MTH:~ǴrSg!a!-.fKy zƞF#OTThj;=@t},Q,s<#־d`"u(*D هK~Q}-"_Ek~J~yTH]xn|YbŅ dq=\i[M):$7|'KCH6dϑ5D(*EjX{eA~ൠ{?O۱n8-q&rG%Ht?T/㥀x GT ir#U<:3_+9I{bc.ʐfVNǵsNW3EHe[Շb'TnYX8VI߲(f:x 3Z";_k' Ihd:tPq\#4(A^}0ҴQ]0&YH$G)+v[OT&i5D%۴O: +j"ןӈGǖL岎2hI}/DF0|zra_iD^m~_wƻ1[cœ1U9hBp;#X۾UVM>qo]G13TRJ!y\N~je*65ڮ5] Fl'_x?五KDm% 4ʋsQ -Q}zT+].,Ҙ|`+qK";: 2y,2Zt~0cZVo,ҵ+:@>z%CY/P\ keaL($ŀHXf>-v2[7=| =ywE;9sȚJyjHu$]0XA˥,.U=I 0`% p `鴫E ;:%5EZΫ+@qlSPII^;J-#ٕsd\)Zu޸VI99Im()ޭ}-cOur9+\ͳ>z!M cz!> Eg^AO,j_LPx\R}uM6c@zk/$)eYqaM̏rfxK9z[ުX<Ͽq{{$& K鹎9_ PͧZSG$ހs .KthҌ ;6wt)6F2=T(@q]+#LZdVZ vLОT}ϗ삋j}@ ?w胋>?E2 ՉMq=e:oMַal=s@l; 4k<%6{1ьNJsGK}c;jŽ,o`wy24ٻcpxd/g!y =ZVN `%͜{Agc`l)@63m sO|d- f߻%FTۜrEqz[JB˪uT&֋= c.$홃 F7؞pe6i*pH;TN]Ubl ̒[GO57*1lu4@Imv誌c3K&kѕ+~I.?wBRqBtg|wi<C_& TbvY1 d\?ywk!~K)Ou1fQx.|DlK2܆-C7S$-)PE(ˠHEd{|m,:l:eK7х8$^ LE7:/$`/Ty9hs>m^H 2(owCo;r]GE7C_{ȴ4lS99ͣūpEf# | A=J#+552ޒ7)3hR=bvX_ODf%I!Ѻr7%Hd=UeW>;-#sꁥ9JA.5 _\ 52ڞsA]Ld颯zYEku&}q´;LSg$nrZ%JEp΍Jˣ^ǖO  TSAX{cA]k" S_IUfùYoXX42nE[zi!rf?PXQ!{n/z+G$Y㈋ٶZM@WPМjàEض:*ڥizF n\|oɮEj=noL ئLDπ˚f=_un zXz=)n6W"L+ ăNطkViwY:vLq[FPS3:V uO]+*{x3ØJ_ #\(Ir{HiԄ'Eջ0 ~ ޫ1RKbYu⯹?56ZqzZhe%Noޠ@v%V|`뷞b6PxZ FIi׳Iĉ+K@6(ΜKT[_^r)|F\D/Ljn7T]۟|>cFe)WUO*FV_mff=YvƳu,ZeP$ڢS1 _|үʿ1HG@(jH]Fj& j"a Վ͜j : &V4!=S 0-8j.eWA }a?=();h%9}]Hd@;2ad0]!;@Z}#MyflQJ]m$@Q&&NSox >݇M%W)_O*p1'EVa.JXxϧ&((ocB8:^nϽܳ.'ae 74R&Rp2m%)ssVIJtvm w$⓼M?MWI,?SMSRiU]33ԡr@)??/ i3[c` <]c3f 17Rl!57sIﶴH{n+p@LC1($BRESp& lXH<^kSn=#ߟt]/X*Fcy^~Y| 1P U<# eE䒰LEkCnIeeLEeq>Jy>jM)".J\3M|d>_|}=DiR>U(̡o˔/= ;P1tfeDimٗ !a^FvkJ,`8FuՀ  &#S(I cMi=UbrrJ+ֳkW фA3guV~DvD:x#[`{ [6D/o=o#[VNGIV 2;ຍf BVKzMhhΕ턼o~堒NA}Rڝ"FpfBh͢b%KheOqOeoNJW|@"TYy536T<#-6^.(]UX1T=L-%XSeN1v|ЀeUื.HYiJ'u~}; z1eL)2̝)ivFaܷ I?uhe(duÑW4Q\:U8=X/▹o} 'HڱHXUY> %bN6b:"FRR!@`@6MV#Jj:C]if!ܵB LE,. Amwlִvb`*ϰ~o6"QȭLEaWyaGtW|'ҫ<v\F!S7S؀"$'QZZqbUhv|J P F;/it\k"T|<|B@-0(bI'rdEJBT+Y0E6z r0njp?81CwyvaWDi FemPXkClb:Bw}X 2v^7Q ,>g@yM 6 ~3;E$+ ns"S Ie"4l<r#kA%9_sHIEt@!(ꥁ]s̺w7y s[2jџ dbF*ZhmN"Q 6؃GXO*j"Y 2yÁ{h{وK|!HN'f#oqijqj:iR9!9@aP-'o(9cl9c_՛Oe"v]OIn;/Bјɿ6J`cvR[Y*,!6{uR R(pkc@88C"2|9]Z6jqH?e@6^ZKY"iz .as=^Nd}*G59wB䥁:*~u6@d\B5?MY?"-^;(^f LZzod6[]/,zmK@X1 2p~e"@b>޲ՒP!⩧C4gd]x/6Flv)RVt싄Q`'q@L_{T[+>ӽgcCAi4˴FhRͨs*rզ -b[3J؋H8X`5>+-Z i0.zί;SI0nsSm1o :j<<)܃n/Vp= /2T>vqV0cO ]([syPCK: ڬsKCj.2}v< f!Ho:@YMw],i0_njx(l򠝨4˓j{ h_!+xn# /߅)Jꅌm$!׮+S8a4i5.d(WVR\&ZoLosױцN!|VW訵U#peM T[3N=i\_ ZwЖIj8'4K$c '1{ \N7zI}Q[\@ 9il]D3Kj:䈂tdpS3%+U_be{~SSEO~t9)J_چc2 gR&}Q\[l?CK Z/70o71DjW޷.e)Vˊ3fu/o|6R䢑GFjY΃;VC~u6~۱JYL`&}Hb}YB]>-P1lۇ֘&1̶$,g([Pu껩 zԧl`;qX^GsYƏ76+U2VBΗ LDh~jA:-?!.(Bprbu_U]75`O\]&Q,h :m@iyQY?RN5j„3稩A@Fӕ*t*vS>nKY0t9KH˄=!BW iG6FڨwKfA(# LRmDTlyݙmB~ xƥiRd-ߏM 0xlDVΙh4P%m1/t@u*G!OTSS=?h<|LUA+~lZN:[넘s`J\d ;[DBG.AߝgݧUmRN73'ӦnG9;&k(߇[β J2v '\ڠuzs7ŽVɛ@LC7dIW~*J'9=rgw_/Qi Tq~\WqA4.>Ѝ%ij=ǡ>] K`6x θC>|e2d!hnR] -.aLJGWN ? '9{e5+yVG)˹zM ҂/D!琤6DM!0M'3/F@wQaƯ'I 6X5VOa6r̎Q#4.qEDѢbec^RȉtS]C'&T,O^U[#vkR$kjŰ_lds22`RM!Jzl@%}7NPo:&(C#+6dd׷_\RlYͣ]ԡ0'q>#\ݗ: 泒A,%]RVj[>&I5xpbOPv_7eW&(s6̭O Tզ0sGTܦh9}(ݎiT d-Z b u,A nKic2·Ok6Vw GG)qC#$)=44Guֺx~jV5 迃?j,Bm{c1 m 7/&0m{#,d]?0biih3Zrf&u=sEO) G앺m\<Tg;'I w+=VjgL,r>XIܙ)fk f6d<}q0ꅭG3p:ltFEaO!Z7]q݉"]%fE:|0g5vjUeNwg9@*҂2aXׄReW;=tHzNtG఻ث,/B:`W^\ 4B 7k\K6M1%pY 㔊BV}[b;Bm'z~#s#V&;]̉+ٝs[&U١x. , ~H_}e:մiV\Yqր**,:j䇭Wumv9M jV͊}h4삧Q^SaT$^txqi61V),F\-x<l ;8O JTӚղJC1R1$j`ݥe0#~aldM|y^%L6I]Lp[|M8&~ϑL1fR{^mgwQQ/ *ZeѝQzGb{# /^jqPI+ ac TX2)9L#ϗy$W4Ǝ%P ȃ$kҾi kpph3i ?HX/ NgGyYoCLt0i" k'1Y2%"ZV-4Qs"Ļs|rIzR0Яlaud8_bIi{bFBiv$@E\1ޑbVMVKwT9/Y&,[vXLyG*{ S `ɀgv迹ZK7<} T#rJW]ԦR@X$2+}7/Tl>8Wg@"oߠXA=G梣[2TVNN ,msCl2DžNYJ>"UPn8RSF:U鱪6t`[tW=,n:r卉vtEp xD տ6Ʋi_K;#|g;WR޷_ƏHdrf~ih`B<\mW̹'6:e N/ghb%R8àf(*۾2 y_5147)~7'hO?Vl>O3TAt#rHrXpU׊Bj ,/aG 82'`䁕D=f/RD'jԮJljbA y@1sv;K]6dG:ᒷD]424Kў6+9zz=L!c$]E@{IVTz*GΞ^/[oqΝDbfӕ8x$Vz=V )O/q-5Pӏ£k 7X%;g~j5*iϙ6o\{861A ؈%xjA 'WbZPS<Շv$ QllXR*"e1`)J~)'|Eࢲ0ܿ4AJ@VsPyо+t焸\XRȭ=-hW*'qx^Fl,2]fDbd[) {H$aJƙB{vF H^ϐPTPOO-ɛҾdZ)2 &*p9}e{1)FPπ 8ݎ+Oe%&ۤؾ>UVNm 4 7%N[Nմ㵾ֿcn@#͹Dt{Mo:j3\ |٫* jlUpdH J2է>J iXO:J|lzj=M6l[C_ ^cfK9X)E+C_GuJFOp$k&%>hpc]j.fxOGE&uq>S ;S]%x0pLR>$ca&a[[cܧl h߂aa9}^D]2?Smk]׊`Ҿ۴q NI5^: 9ξinfHӁkvǤO2u"λS:ox_9@YȻwj?2f.V-h]LG77صD%5Sc!7Nq6~_y|'<*ǶAj}h13x(7fiԺ\>q '&Of46$紽`(߻ycr=n`nQYǚ텖<͞Z39Ni[d+ߍ!={‹pc[0x6k=u ӀPZ-+ƙcϱk2:Ap-cTM˵:SJdO t߀xv9rwqɖ!|3+ɳ.Cj w h_13<{I0@ZbDjKz?薏ol1=؟4d,,.ԮQM72r-7ږPKE͒lB+DgcO,s!(kύ֌ [Gb>NN eܸv*!B2oNNz³ j7œ @n1i -r*c^ PZ3'#]@ZQ?J^PD:7(I8A#2N3o;}m"Qyz"#j)5ve?/qwuCC $B57@T9bRukeԈ{-:@]8Htɭ o"3jw);N@ORçޥ?iե}7=N uo`>wHՇ;٪s wy@,m[uLз{θvaarΦ;dqǬ&WK!Q<#Sh%*gR< PT~alhb`두9#_N ƪk>n-f0Y5)dU5ZCjHP/D  y!Lg /sx7DV~a[ƦJvB2.d]p?I-Cl>qKlND䷉fe~lr7=O5|aG;a(YJ^\|e9`8yM>Y]. 0-/bT5?;i&,qs)uw|*+T5fca8дcR:놷>'[@19[azIeג@i;vL,āAjQOf2g-ԥ': Ә2”XO%H4<-%96\bDqQ')`xOAN%ׅz[XO晃?[=ga1t?"~63.Dܫk5uJ u-) e0 ,UTȓoeۿw)zG|= nǏ\'7wJF%d=vpm<ݺ 32Nk RL$W&{pjX%4heNfbI)UFp8dzv+.HnfPI Zd\л)!+N\zwhZv2{6:=Rá+Riy{$ L+3D7RV/̴B^ݹup=(W'6׺i'myF<ˊ(ota}UHF-g*{nm,^vݏ {9'jr“?[rt4J6XzA3Hl֘GLXftH_2mfn[^tK)Ypt>, 7ţZ31~nEhzUDaQ>b8c[lA$?܍2a(~n+7,-K}bE)v!iR>@Nn]JVi ;IG.P FcÞį!bSspl*qcrab\GhYҽ/mZːĀIEr!r!jw=V!iܹA`b#աH[S _b&aF?xKXf,~j4{Xp ؍ՄG6Ee{;C7 ` c&i%O9Nߨb/`'<NlE^u]ύ6߆sZ':vmQ)t<mәSn@ѦBck f^J_A9(9tu0nj{ / &w|%W];W&ZK*>%ä$5lVgI*9oܯC5MC-AwOu}^Uh@cëiۍ9IQ* E`@\4ko&󖋪ѽEq4 L2^(8=5( Ghf%$% 1^و7JXjiXAxR aPnQBaabR[E__)פvHI}͑ěR(+3F]f ¶((WY\Ku)wQp36#&|`C(ݨιV/m kn:!E9KkE{Sgǹ?[D~4bS…{F4` gv pہϮ5A!-_ҳ;Bul7lI/5O~jݱX _џM̘CP * q\`+h+M%&ϖ7UzZmH_?^@ɞ1Y'L$}|!)m8ɉdRU'QI u?Y m&b~A+H+dq/(q n!&lg̿gH8ʩ |]iX/{8bɖ++]=|)fͬ ;3Rkp8Nh]Nډ1&-uH]3*.u5ie3}'ce@Bl;n(d~C8]tѷCL+M܈` ;;E@jZ܃4 >4^ݲcoHCZp vVOHܻ&Ѣc$Hg.~Pw^k__W&)Bژh ^wqw#Exbn aBv"TwZt cV249ɧ\]ݥ)dS BKNx[*r!.'t[W>MT/>pޑqovӞQc؛&_WNR*H26]ә^Oa8g_Op M76-͞eR[&3"NX @')xn `Yx Ύ |ݞB-iWKP -L YV6}~X 7yCX|zQSZ($5 d yaX < `qX~/AW7fWH:u a @7oBpbseD&,,_P Sܨ^̳O Vռ941yN!,4 =v&v 5K`֐v$]_π%k UsRIWљSٍ,pyPǫf *$Lr p22vT8> Q eK!˸ d/hGyt*7*lx  &IV9H™bn h 68Xz>gBB`yJwc͓꿁E S *|[&o`:梂E9F^|%2Z:iYyf .a F3ACN݇[Ҥrm]W_`0y >CGO5KŒA5;[~[p]Ibw@<Da@+٢XQ2aSث''wO׳KDxf<zt<ޞ]AJ_McvP{3x%4>' ʲNcdR7o8nb>fn?,/LNj=E~NƜ+5a"g]8hIvb>  f D-gJI/ܕւ}(rݮ{+g_L Ԋ]apБUG} \~HydL =;/h{ r;FMi'yxXaViIDs,ﶘQoph*3mv$/o"]q E H+\uve+r3/0ޱT)"7C+tF*+s} PO6loC^\0LҖtLԕDžFFwhE6G0)zp.Tov<}Ք WeTsxTSF!M< k֢$ b=ye֙[%=`4qi[}c(!`7N hI?`c!5qNӫ|-Ն\YȩUDsߙoGHz.]H=JsG`ҲX^U_',J}n G  55STqz *E_aOS 0}`Q92;+FwPhПNOr{l.[?2='&y r^$Mtchgq_Y)L>M\ 3:6cPu^\g yp7.\c-%\anTO"76Dfc1Zd+5dI:0(z~|ꝷ9<' &R:R3ymئB6jB7Pn)^(~J!є*AHݪuLp8 ]uO"U"UO#wU`Dj1K"f]Ur7ȷ3A洉QvQoU.GtU.؎SQ>U_-ptcK:ePᬙ:& XRQ)kzvH=%q2iۄڢNٓLM:8gbtvxc|'Cʼawv,j;tl s2F1${pT&F;U)0׬[FnV߶|=2}Yh&zg"#yci{l+QM3Cfھd!Mё΢o\>_'VAe p>ꚃ \ N}1vLlxa݁|Hqd/ ^m(ДQ܈=7jV/Jx::I_e +Yq4@a3㿕֯w ^>yg] )e~3 ^^CS$IL`=5J5i0Z;V!ix#*xfO׉&.+_\l7g@r'ew1$cN͏t"}ݐ!/|y}  _H1d% $&߉sМ^[ QÂ`+dU^cQ8A~[@>nG^&n eKQ5X.x`HKsb/#5*;h1ޓR[w(f(hGTgj' r|$i5~KL"T ֐3RMhJjlHOāN='&t&Nl oF[nM,A/^3^Fլ ok3m9@$/CQ4GGY* aۙJBQc7 b{^ (Ju=u$mGBdpME*"*@"|N~B8T ,6ZOe:we%pP#ӔJ_Xx6p 5 MZ?8zѵ\L6AiJ .PdC]+2>7Tɲ=O/f`ZOyև&-A6R]wձk.C\ Q˔~^dʉ3g*]xiKw$f{H~7T1.UWs㜉=#މ۹DƝjy{ֳWVۈ|a8$ygnpFHN9o1<_>(tH7ގEƾ@a]ΊJ{\gFFKUB"q,u>o_bNe,EZ-w M?g~y/܅!܉, $idK]ARզ Kx/%'w7]Gj@Luۻ&x{uvhn"V70f('pݕngP/Wv)M-A%M`fE^ڿ)QH]im\x2>$!GQv$3xk>9M>Pey"; "Ia2ЌVs*Rϗ,_Y'tO S՜:х?S-c 6'P;kVVm1p j!KDf6R40TPyllc7%19߲c±-Oֺw\jw|wI)0"_ Ձ.'?+ b2(+ٶlo _4. ӞVGz_a<)zh2ύf$Z:4fŽ% ?sϖ|sF&oX8eG;2LW&F7.jH``7WEg&햳 / /"177Xg 32D'gg, /`gfӡD-y474B՚pT"28 _Yՠ^dQ\鸡ʵJ/e:qϬ|@uoUi!8vet;ld#""( !ה*m&a|$dN9 3To%5(d= !>6uKkn Fڻ"\ҋ's"qM/6vX9/8Rpba@@VD qx ٺ/K@=^~ dBBk-ee"W_~+-i+ v6IH6f@=mCIux6ǦE.>2kdܙL~MEgFb6yS3|OU qɠ*x=l逸eS]δyYI#ч(廢.Ȳc_jLp53%4.|s"A],fd}* U?~p Lwwi+@,jQ#oVFPW=jv8:lj`U|@n F]9|<7%R؁z`ڥ]"l| 2z_d`FW%#"Uh\˜yUxxE`QZ3 Ine }YɫCr꺻lˡ M0 @ȮRzP#쿓MMLdE~v0ʏ %yҰ o3,6M1nmTǫ5Tɑ|915fc/;ם=ݱME[.g0>^l%z%ˎX_Ʉ.{\18P4+5zx8T O9X4`N$ͣJon.LL)o׻/Lmr̖KLm!F=U(gBm5? LTiZq*悿 $ҧ^JMyaֈK_~HcTAH66l8ƤysEH:[O(=wkOzqV;w:H[loҳxazRv#.4Wz dI!5N.1/U`NKFS8߹rVͨwļVDaV]e ?z%͜I]4yWN6$AOl* M7:5گ evZ :Y¬JP0c}GPkdbኝ/ pl7^q2&Ц@^(\FUHYZu7 'KW5)ܚ'kp+ U`2$?ߤ~Y{\8Pz'nVtH02\ }_V !إ4&!Ļ<$S惿A`:ty۵׆;u lPaVC3tb[ڑ#:ܠdܩ>* {땀R"Yϭ MFk3{'4bO -Kw-8QWL}L7X: J2Mk9%daq ̐YʢQܾWw O8NsƀMTVKiSjPM-Z]')xC,aXrG׹YƗh:ɋxωo{aHirM:?+"}xaIwF8\V=7=-=z%.-x㰫>s=B2a; 5`5%L"@Pv^AD(:0w{&Ԝ&(Dl͑4&bp!$}r)uu,K>q7CఋSg99|#FęlQHc!砻Ƿi\`SƐ{ʶ |K@_?/1a ^4(L#W Eh$fQF&.ҁ R~M!E5~M^@'U$Uƛx }' t\}"]i$uC843v68<(Tu6 3#~>}Sl{C,MyET %%_%eܽ’)x*m+>4[\_I:\̨_c8d]_ -`i}pOPO;Ĺ%:"&UjR9b]W˭:bʎۚܰ DHLkk;6UCS"wߎ#Y쌖4eQ<z6:,x'K@F%8dl,~ĞG1ū14,]pn:vJBiJI'[ P8牝 m<"R>YKDɥUԤmHaAr҅+BoA B-w͚ ,$LӸCgbp@ª44ۨM8歚!r0aVBgX֒B%)гI YVxY>>lw(FsuLm!7"p(8YYr?֜[݅%Gv `AWQw(e"7kDX=.(5!N+Be]:鳡zѸ 4$PC_HBmNg >^<1!; Nq"Z)/\"[d!xsXEJU^[TC5eEz+I,J[fy˹%B?i&RÇ Q1M5Eu{jQ/0LtN0[mk"jI~{WK)D)vؘl;-{pPpH#u. "YRS9lm&-^{D\;(a]/fE2?#~~01u%5ߦ1 BzVElO(+8тFE0>݃24e7b lȭޒ;2Zt&3뮵|yUI@a-p#hzԋLc ڻb0_=ñ>],v H eEVzߕ/r~s= k<K2J"L^ ~'o)xz*L$]K=oj@jKhiK*nP5<%v2lc\WSBIKKU" *iCY_h%H#~ Mpd<+6(Q3m9ԅ |tCŹ- ,c7W?,*%5&3!'74oa{:"fe&MH%)@ 穪hr ].jAOp͊ obcYwtCYUyGpcQRG]r`nA|%wH`Bo_cȯo˛|Ye2!ۆn\j-σcas<S|%-4 f \ۇ;.Őu\m%;p{$ о+:$;O΢Y!< IG+ FoJ'0™r(!{Ed21OI0 /\d݌7{4^_/u&˨S Nj)YC_>O7rea;賏ws!`2IEq|<#6)/Haw| w(Ў{3DcnR59LNsr~Z6> q2D&wg\&]A* q}mPPC>K#W>]SVY}tMpGb"9av8sjٿU}սIY@8P2P)3|}w=^ Y| KjZjo0;X Bw9z=a򝎵 ET$o= `n9_{!2]ޜ"_$ 'uƟ^Z}P_:N q&:<{F&0|3.56 Z)!xy8 3 "XɓA-uNm{s-+&"߭zn F_ f3x,Ƕ8W:ON8Sj6r$GYq,q ՠF0TcZgB횮 #%Z\Q6D1< ܆݉ϯ~VV0}̖t+$e+%(O&P`>o=kҿ Xͬw[x\k]Z,,+VٰHK/?CE5 BB頂oMj4;a>}acC%#-YS[80ur>N.DYs1M.,~{SF9RF%&u>@)C~8eq:#>A_gW {i[`$ތo˰Tx!vv< *sldYF wAR0Vgxݐ WrݗuZRZ!l$`-e$@܏Y)i+=݅sR>2QFt֑5S*$r!yC̐,|O hEn0uJ24PR>RY_ߒ +H;dWLDwb5 465s;z @z2ڶB;> z6_YTvŪ]ώoEIǹjrcT_Y)0/ 3$*ut[LǨ~\.sQ>4dì2/cEKj)܅ 3y.C`טAKRڭ2K1\^)u}PDW%-эߗ<3jG$U8x pN{J޽C(uej]&ȚD͇S@Eܚ&rDd&}i= iR;֚ ]0Y_ip0DAz 9xspu#@}%+}hI-9ۙ WV1l&kW-D3r7OW oN͉✭G2Ց)c#EkD8YE F&ϳ B5D !ľ[DQ̳ADrvw&s"gH0*4Қy8 -[|/O\LCBx$*M JD?DpC-HҵI_u[7|fW%kQ5y!w}:`#[/5$9 2;H DJȅ%byt`}Rb#v1b; ?Rpφ?=a&d]nn/U q0䜇s99=/< og_eKLJ#@ٴ@1>w /#d]~C_  RUyw3~WyA.JXB0Ҙq+ 0 @&#]MASBV'lVcUa}/5kTlZF#B42o433׻-2K{ #S=;]|ռQaLJ_XWzw/&lFOBA:cW8őe 9EAY^4Io CN}TϤgk%ؙr&f>j<7 h*盪tIYsLOe#Z CM5ֆh5,&$#/y j]y߻z‡5s]2Aym`"8qUMo.Jgѯ}GP~FIK,j:  Nnn\YN3VYUGp?}hE1{ٌ6odJHh)2}e1Iuf),x nCS')~ʹQ63ذ^$=Li^6XP^=eCRuʭrBJK^[09폛#U40^zF ݽs&Q|ٻᷧ^ 牬l$ʤ[^ՉJ2l}pBDZ#I*wfυ3#3|JRFn?SwK7ǁ 8$Z;)Rl"4[W}V?~/2;V)R kniu!BEc{1楸qlu)䣚a,k4sɭ΃A=JA7$$ѿ)3/`im0Xrt-dEYQ﹩ZJdad;5WWn>hi[p "1"`4YcP虗D< S>FUTx46Xt(3bqCM̎lN/"Q@ˍڣpfR5.Cʩt~'q +6\w6 +/J 8$ =n8ٳ2\sK AE Ӆls;,7Հ6fsaZ؉I%Sng:4c\?k:8FҌҀ'Qޅ"= an|)xtNoSqzM' y=cfΆ@$+KUα6U?[02 n^x%6j q! iRF@|֊PZ%hS> %-ǃ9x5%}k߆X?ަ 2^{rߥ߉KEI4Cx&{p)ê2>oU#)VN0A7#tJ.xޣ3h\0Ѭ_%q9N -?\5V/elC[pl*,uzzp3"Z\|oUmiI(a5 T;̳hb kqAoxm9\ȧZf6]tE\ qH 춠hH0J 46ӽ"B%x~߸џ˜?*LEAf_^OؓNUlK9"FqG4cXwvjql:_E4DkVz  );3D{:tDD!dՖ bX(uLBDܦ YҜd~R>uϽ Q)x4h32⾐'NGӷd?]#_#'ݒ ؓ(]g) nF0|9M_g,]Bz1 K.VNcѲz1-jB\䍻饀o[uD@{sy7wU_b]D6DBmC^K7I) [4yP|">UBKP֒ňԾ:t@mw߳4ꟚŅ:K2q74LRڟ4?G'W;5?,M[drS.^!R؉yo3a2V.gK5.s'ǧoX2XdwSv@(A,'20 aGprM~W {Irg<`{{4pU:0K'q?Z+J1V`dyxԼLQ^&;š 1 [#  (Z ]!(=e_;R5%SE08(C{Vg9Bhܛ!VÁ!7IKDM\tjݘw} goe>dcsZ,iL3]1:}'0Zw857ܠAj%L(x ;9H&Y2 7yLCxImo^3RC$E*3ӨኮO &iS6|:#mҸ%5аv_vM4u_ f= Qn$Wxv^z+Qe4=s'zP2271QINKpvy6_l/ߺi[4t< OyIJ:;Q݌;yd}A3o/0^$`"5Y B L~.NŖ L{&nB"9LLo(Ϧyã!lNU{ :]\ ES/e~!vS\~si`_ib^zrƽr`-xu m52MEPc'(Ak60UwH ߍt.'@;.g)QǛ@f/Ugrs IzΕx-W+U(q@YxٖS-glօw:^N@v!?Q/kEQg*"sG(,T]$$,m]r1qJ[d̿D0ǫWVÓfP/woXy܆ '9 +x6f)U+0U^M Il-c fyb8@[x^XMP"qlr j+Z(TN!ӧkRiڽyG48`\bf86yS& oU1O2+9כa޴(H׎fagup$p5%VQ ; Aig @r21:Fi`#,L,AO3w{fւJGYc>GG!n:'Y N¦LQb#VhGTqѼIojxv5D m*ƚUZOqi'0/ X-s>1wPH$/M[$e R@\IG 'rb/&Tg Kbe'T[fŖstbI[Eo1'y(f}6e @2$T_9 ,To;Ѷ,Ś0T1n> n*ΦݸP7ۨn2nlŮYa }ahS5GfPmgHӑ@9OzocMv{?y2Ezsn8RxjjTGi/ChgLhDr:AHc~c4ϙ/7KKV{9ڰ3cr*!-R1>$F߇W'`QCb8O}b =\)|u2e-kR~.#qA[L>K瑥hJQ$\ȬOɟ5=eyI޻oy TH˟YG; + .3* z:{vW ;_wihS 1@=вT=(2@iJ8Bh; B1F- mPU ``G@!W߽t}*@Wp 4C3ASG NȍG̟T6kV jꗆ<-ƂGc-/G(0Wfc2?8ir,xO@zQ>}鵼rWNSf0zcP h-=4U 'J$j6rg$PSS"OM)+7Pm @_ė#PnuX:# .$Br=dw@2(qP>RmqBz<̆t D?+ŻU* >Zyq6ĸb{&lncD"2XER(vQ[}u +{*wf/'7XL8I!Lk3 .x\A&-S&/ڑDi`N:@1yqm {d2I|ptL%7pd8vUF~N.a|u1f9,Zx2)F4IһN@BQr 42SrtY|DT|I.9qi;/1eJw39eCH(Aҫ k BtyPjy0ѴӓQE_F+ZInqsc]h!Ld NZe#D(GlKQ(Qo2(-z]wpS&"R}kA2%Fo;iu|~Tg%ٹ< U8FQ%]R ʡvſ,ڭf7~sCuQfeȊa5ԫPe~#C):;l} 9W_oO6鬻3߲Us7«bH뭝(d .zXTF֠-}ZT󵭬`vo4/^(9^/_u.ZvƹpT+}!mф}r)z,ٞ`A\u(4נ)G1ފ;8'c SO=H`$w8y6\eg:P#&\Ѯ_5|_Z/72 þôtiG$ZFƊ6Űdߗ@Y4U?{\hyƐe$H(So nIBu!_4Zc[^ݩ Ah߲h@cQwjls}DA&^e kKJo{#K Yύu/ }x%{uN@yS9Yn Y>ֳ+#ӫY^Eh1 T*t#QdQ<]="k^ٸvHpᖖ s )h]hX i<#bk \6G >((0wҗ}W6 McccVk5!*<{,qr..o"+e2Mq3m`$AFd2wG:3UxvPvͷŵoTsi%׭GyHhd_COadn7ڨ} +նLg/M)p@I_q{@>z:j/KDXA;t(|lg' ۾"b#{XYQZgBɗ|27qI=F"5_bD+Ӹר3\dwA|ix|I :w\vѧTXxZ8)i SG_1@ H*z'?f>=H3ыr9&J %{Two@gB3:Yl\C$&kn* -ZPeSiVYMJiӥtqf+m%Y`JN`cB{^)}<6HmtoVSs{+,e:Ē̌m=~ ЄₗfZEn]u:ڱQƲhfhM'[vW?藽\:>Fk|g7,\d{W/0n 7\:;&`Sy*VK ZE^bj|o1| *_=M `Y7;=(?u,jABWb&|P9#gdtSEZHuooAOXZI8 ;N>7*i\+W"[utg8Ś&DzZؙ*?,aJDNj9kzew(~G~=ds6O:.M]13O "s _udDz4wZzhrT?ZŅVIy9V44q}3'RA<1gfB/QjW#l%ǬCOSXU< fVRʻ(êYqNo}WAG[[ 2DdF(F@3L%(jSa葁)_6ĕ$PXmY莚l&R}wj%2Q/&wxcT9z$!7ϟpMT~͔ލI?k mo-2u'l ;X|/v1w͔3&M] Z:J]1M-׏`*yhw/φ{ Tz܄ o^3 hڗDHz͌J0}40z¸s%CD^! 7>ty>(f ʖuږVj]Gɕn URL8!S$-xu ƶPS=as.HH=X!;Hu~2d %[&tf4d?[Ҏ_)9"I7lüY I¥m̤2Jg`>bqԆE{>96N+f3 (tN0Ӽr^gYZ48111d2dd4eed540fb05933eee62e9ea6e0f43b54e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682