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 @@7L ]/ MSO_Regex_Equivalence:threads=4elapsed=716.083cpu=2259.540gc=96.632factor=3.167zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({n/\{o`Y1%;3P u@X6h.udK'#3?k9,Ǘ'vųf3zѳw Hh >&(DXt1#= /.bp$fNd-48|/b⨹UKt@3h1G)ϸ'2 ^3 Rdp"Wt"Qp1=It]r2wQ+I ^vذyBHngﰂ~#V(;zn?S_´laPv>VMI%Zd5k܋q M$=$<~@O@!qwz? vW:ۓ߀e-XzqC2%7[ԋTOR;]'!n+H2{,z͌. =l\5yJ!O).56C>nY(dwe2Gym9n9}ѭ~j 7}OnqDڢe4". @iW@@i8h@@pI-i ]ugXVǾIW41 Z|iقoHkW!^KqگvR 3N8߀`wueZ|S?Hz|K)/zO(Fs >UX Od՜ _57X*a-ͰOuX}D`dh)̨NU HOZ z{9>96=1ff 5ZxWybXK \qm=HbrpDp֬@}HA-03j~;Gz#-73_-d;wC,bC7GXk@^$?g&V1Y^C7C_ҋkؓH*A;FB#1 vLJhUj:y;Q8*1M/dL>EIEY40av!-8kǜI5* ي?֕ ]ǕVw^GF  3ðd1%Ձ5r:jA9:TQ4qB7;˸TЇkӦk+FSEAgfeb _.bRe'-Y%%l؃³'͕)?@VXO]]XA ^;pwTJmβХ.(i7PBСgCE۶|4 ]FB `r41 +cJs.)۩)\VS@C.r@' wHZǫbi}p X7dL DD1ERpQҼu#ZhѣNrGE9WǦ⨡0t}XZAq ;̜0\_@RQ8: by7$337oYu!pN@^ }(ȿr<\E /f'#|BFײw I 0k;1mI0JSMݻګ~*nkt mك_p/|ϣ΀¤\:"Wl?j_"J2f\X 2#\ii@jub3!$nK|DS`*-c䗉CXѩIqDVItNW8DjWbe64ڡ qj+!ī\뤁hsR7id)n7Uɖ&+tC0kP1$WQ2k 7 MSO_Regex_Equivalence  Q0Jڜ xfZگ ]ѬY_I*=SˠPGIYZ;р [-i0#FBB R*}I2w?2OROX/tW&F69rT R{iVjE2%> c*A?Y?ykOjSMyƙ5rc7?.!9.:_5q^?[1b;|5]e\\5-g1[T)]6鏬ג5Ō)%K(c(-žR r)B.L½r㔹|XwLkf#$*dF tˮZp.VxNN 𱅴HZ+­,uYQ;p+=]1Qi J*)WzȴڅUE FMQPKjD_HUW8&/$P[BX-h\Mbϐ>@vA Wms\8mw n<5yf؜blmk򬡊W@bDK^j˘E~:a2JzczڵUگ_O\՜VF*0Z3c2"!x[ )S;S~'%02dJ}2/٦;Br"JwsRiOR}*D!x ae6P:MwMqRkU('*|RuZĀCY^|~#ApjMf0^w8+}U{L mh8MJB򔵴$C֥ƾo(x1l%n!eB?:|hE5|rׄi AAꂥ|g]Q-U+wdd\Upi.x`lT1MPo|+jz5gB99KSWy ׼Y Y/ݻDps3ln^[3AxFxZyoVx̱i-}6jf ^ H X7ԢFB&h25PPu|@ޒè6yNo'!攜M0Ygtf]sJ3%#tָ1 Nx}H(@PI,Rn=)Y50MvC)lvt-i5+bBԬkY|Yxj `z+w׉S2]y-|P2􏄞k%|@t?`vm.$Ƽ B{h+(΀_2n=c& O ϫXM #t,M|dzC16Ca#`xXlw8 2eȆ(HZ';NJbAO2m'*ec Fa'E gOgvԒˈj8wRvɝUhDNL0~_&$M/O H\u*P%KZU',`zQ ks`hq+Fl)ӭ.VO(F^Ĺ" y39_d=nUAP<YSȇh(Ja|0fbL_Ly@~ kn3}GvI+BW& YM&Yj!OM{EUw_`"67!琐fEP,LLgYZ7zXZִF! j]ŗXiɟFTp>>cP$qXLE}R\%YGWXA8 ,᥄_WAD\,vm-}4(+cD͇|t 72 o4x4=s'ש#4TEu2Iŭ!з]Fz"Cy7m,+FPs N I+]5AV7 cyjyja`~aDz'.)`RrՑu&oL1+=,,Rru^e- pMMX^A3Z;qcה9BYq3g:4 ʹc*:W{`ZG4"xUьOگH~B; "0XK&bKFW$1`]A oOcL顅#\)-/3e@u$e~D!ORnnQµOyt{_꿕>dBu$O7yvE%{r|EAddy5K~"kB׫,N8A#˕{R(/XٺG- qD^%">y^#|rò3jbSuC'+SiBl ΀AKDy$[8&ROJ $wA_29Xg_Te1Jh M#n!xo]fCMVT榧bĂKyVYhlG.oU5A}P n%\_}%gYZ7zXZִF! ͽ]ŗXi%BxEXDkjg*._EaԘ[tk1Ṅ](yt|_wDL#Ӣ"@US,nEt=m2qBM H.GGBd*trUg5~<1WV-h.7L0\'bd28nwgqTBwхW`;䴊ݜV*\7pO\]g"dEj,إ+ ED ?Ӫ0/6) t [Cl]dSW ^ψWW!-UOGkN%߬SZ-Ŭ~[_p?Ӝtmq6@0U9 ό5 ̤;@Xe^iKI@ꄒ&l@O)EŻRh2a U8;@tcE{\2s ޞ>Oi4m$7}.^)}X E4{ʤ4/N1nT?95.f?jca?(*ns17R.B&NτXm9.:o!SjNjΜ#y # Nt",i ,.ҹ<G RjvW\3qↈ@uua FA5{:׃ qF6'OQ5mG9`8{ߗҍ|xESu䎷O|3RCO2%3 M4& Of1"ӕpru/{roj_M+uWw,hS c*TmUJ(ᛊ3hRCϲч~ζM.jL*g?"-z폌e;dD=C,`J[ڛ-h%}[!9Y-$mo8Oj)rJy E.]l Ɔ06 ~,1"|Ǯݶ5¤AM Mq"Ft^&}+qXejOQ p>UsPVv(_]򣸹\AKoGޟ\a]˰ImXsKD~Q{]ct֕> PCYD"iPk.)/7==j$DIh.o'C7i'Dm!S5Ɇ!K<xEp؛fj` 4o;b1bTK6)I>$!nTfq{cI0Ƞ}{)T<"$`6TRewvBc%gQN ҬM^"6;Ypϥ ڧe)7ƍ"Jp. Y8W{p`nFl_&!Ѕ˲ 9V~ 2L~&!c(n,* pn ȼCJCVg@<':,4 \4;v#P~}=> di &gG88k+"Ҭ=G??*ɡϙw\sI?Br*Dno> y^=f9R"Rqrqz"P!t GKCJ$M>{k=PQhʇo/l!&τQCbh|kqҦѱ5dG}]eN>!iα@'# |HD߀f橝A,f",I#vw0ur$pMgobqe8F}&LύKq Bj,ރYbBU!;tx+NzRv @cQByGWnz K7ʺqۺ^'s9[Oޡ~,W3+3;E?86oHn9=EWbV!Y2,3EŚR*)͘7Ξ~+#.ErW1 1g [ֶ e@USi.ѵ42~L~`&vIY&+sotм^iF 0qKԚBgE:36=jŸXaHe lfe=spq}Q{YH'i }Io="w:8̅5yFCœR@l5| XBN* > iy7n1MPz=,]nxA̿fL=0d¶3o> k=~ uœ y/8 R۞>NPV4\6F`bH7LƤ I}:0ʗevFŃtɜG,6/Sc ;(rwixL&~% Ɯ܎}rʋ{|W`tie^&ХwULp# bi^,x>61DWx̣#`D=J}Ci8u}軃=!!Q+uwj{by:xRzbt#3PE4De=eٚ{fYuy z!)eJT K@3E%b+ fq" ]`8b72ؔH&ކ; '}SWw.ۃu:6 v;4`oddd~kf$+C6 ^ CB*un6 /&K[YϟUqߏlk"v@C^Hh-F M+A#QZ T{n61DQ<ٖ[.B@BZ;>̷3xY!@{.-& )Fdx, i.>n9Srj"Th 62M)Itt"57FhD0 3z"v#q.w(5?w8Wᮾ~ nH`iyw8U .C*Sq!ɕ"-Gf0A[oW%_g^.kt" ^vc:@է!rj[vG9[8e/"^ 㙰 Q Goh}G=IX[4MlI'hCk<Jω@A7)֔5XI8{)50)_3v _Wq%:bZ)PrK323@C{i>t7 -ǑXj|?`ϼ iN It^ޤMAM(W v9?5$(J|  K\X8=!5mM'ǧɋAkon`.U7^) TXh`;ĒKpteۜ? ]$C~Y \&,IEY*KK K1YaW E 1v>V *ruVN1Cr+qekRN̔ةXLç} AݵqKSmh;ij9\+^4S (؄;2#" Lx'47@ RpN1Mܾ_yCr2@@{ F>ޛ*{m&&TGiW;bw2SƬ>,@joGC|\9ZɕBJDd'DO}οz. hJwNJCnp;nCߛ3~0SU[{V&z(ʰK1y:cG֐P2PO:}\)9^? ʐngs7b~v=4][\V!nd>NW[ӛdb(܍#Sg8 ݲJGUJ=w&Pʈpt?l1M@հvтGxb&TQo!Lyp8~'$_Ny=A<!1=FQ)mB */Jӥ:f_%/6A1Hmd;5koƠfvnȉp;g-b~VW}4;HL8*Udmh%:!ŕr\0>РV0 Y'ّϮJ ޙ#i 9UN&pꢅrg憂)ZݭxO#je>X 5.27o3v>K Fv6ϐ'wZgˉ4. [&b%@s[>Wk~w;^8؊[O&agB/,GOOR(_8Fx{w8ѩq1H?0Y]oc/P52ɩhV,d̶:!Dl/r|@3(.uz |pΧ,y'("Rt׆O]~@P6q=d@ z)eqxGgꥴ|Uwc TFc`W ςm3c{`-Ε%3&˰8;[Xb j < 7uM23nK#Xn7{I[#+o3m_FXs̙2u3?j1![ -Kcb*V\ݥSIQOH+(⁆GJqpHoՖ~PvPU;ʼn!*,r5[6ueOS7k$!5n<5sc$FymM' vyHUUŵw64UЯ7M5CD8DŠɑ/!r:261Զ7fӽߡ>ts[L(Zԏ0D$2Yg6z`>}H21aE=IӃ*onCSI<~l <*18s9Aqbk=9q~qEX8 ?#z髑* 90)>|JO6.( $! 񿍺ESB6>ba?8pWGm@L ZUE1 7Ew A'gB3733q95xL񹯳)A|t[x]tTXe^녛=da ),0:Xe(KR5`L Du 7)ɘXJXUnuH ;NɢZ?@5aEp*kW;&s$X%۝qGJ/y/z1纉vHjkB[/MdSq_46ddv[i̾!= 4FWsx ߚ[A&@U)UtR*u1ݱfv YDf^|f)T{UZG 6{\E nI* ~ 鏃6RAov$xz=M prK fiv@Cq[fOQ.o%ӯUgӵWB>LH (h`;ǥToy7 k,bJU C7J^@{כ@sϱ JTuEW4N^%3(XhiEo*.yH@vc͜Lԣ9dz E{VD`g|9 4!H |gpՐբù `fǛr2~=?muXg-*)m.[@rpo4K9Ĭ{=ؠNs يXU9УRQbQ!7x_cl=. \^Zߛ=ࡘ[VB5SӆFv"?V/~ ;ˍ.|M^7LtѦ0)aTuQ~9^/\EX^V]"r!Vhʜ])a%hD#`zpVX«^C .Yb| 2*vu콆ށf]M]}.1!W_]3yPO[v!ڈvi10lAD̯[7~׌`ɥ/=)6c '7wza񾍟%&QΣHZELÇDBtvDNME{9l?~Jp^jmv>V8rJZNJQf*z`T(s6HJ, V:bzŐN& pyEka JP})Eyb;)EŧRVD9| rN.sR?בivs|⭸r89ݮ3yV_Z|HL%%Tb:ਇ^u>tuTZroK}Q 0vm:[k?2$8BԘ ;QyBTB<>!㪙mKK n&kdUNp5uN/_ #T&ѐ~s|~ڗ| B\knpiJdt)D!A'(FUs! I8#fə {BYq5GVzY|uLpC0ɵP1]N=g^ή$7$S2*W*<0E p90G|{CnsOͬ>c>>'Cfv ~2`jtz|ՎCrS\$ܟ%6GWf€bu|-N&6AjS12GBNw+7L%y6uʠness6+oF9AҰS\[Ԓg0b<ԃ>R}%䯋ȰurXmr|S)K..MYRk Hfna(5xً2("@à lgĞl[p{OHne 3hq3mt =JפTuPmQ4rjj =R\XP#Gp]5yA6B=j#w.vX*OyRj%e+-׌]#$nh8[K:RQ dm)P8shk+N?+PhOxϚxHj. zR$SL_@LIR p'0U02F$C5b"~6B8.e^ bՌŲR鲧CCQ]Cp7R|H{` 5Hh5n"}m酏(Y[ -8r8Խ<BmZ4s` l3)Z`p_:B7㈺WĴO~A@FP%t1t Sn> 9ds4Sdl@iEp7kddqP&8!E3/nI 3~7K nċzjfԓsC̙X%ɰ0c y7YO:*0oO773)0V qǢ/eœ-, 오6o^?pyCa"ø_^ n,/ժu!Գ8}-ZAT<4Z<ʕD[ ?9OۦʞǜL?] I5.Mn@뙣ecgJy<́&0`^O2T\ nwvBHAD^b<]G?Qm2!DH`"qv'%+>.{Ҽ:4ׅ(DSL FXV:!lR3pvPAjMĶo ln`؍fk!_Д?+]#.\ȍGWx8=˽QԿg Hnjm;<~BH{F 1 h b~(<=F-۷>%HGB1$U3Sz6'4]qm=}4bAmџ _*<-B.,[=="(\qc DQˏ N0* wP3҆<xZ!o 8נ-{L511}F-H3WA%kt޽ ?6qrhShˁ0q0d|r' <>ˢC#kB6U,1xO^y$(WIB0'{Yn67jRY @MhOJz;߄-=oC?e[:>sSXMiD8TgUHt#g}!aNP}Sl]U Zx]uKTwZT W1fY/ 'f`ywk:>פ+Wr3=H5NO6=l" ˃FO iMEnm_7zp] tp%}}-Ӧ(DT"v?tO dx%iu0] ۜ?t.4O ^ǶB,pӅIי ID&m-Zj_XOSk-CF8K*'s,0M2iP<%8.5}s?vjBPgv)ˤy sQ2ؒ {ȍK`$3T.sAc)aO(ع"OCQv 5")u8<8]ow늭Z UySZml!8pIj3CL$ьI3{\|3Ej`˒3Ǒ K冷ȎM qXeۡkHM>7K)>rي@;AHŇ>潥gۘI`D:8,$<%e~]Ʊ5ntrg#AF!<~RrO7Ϯ>F[tPt+koN#q9]dκue9OI^_}y;,Ýj24:=$.\&p3c:-+ߺ8If$d%WH5DCTyihnjhZWh~YZda | *]v׏6zYL/aԤ@BY@z³d m!oݱH<6-@r4ITp>֧J-Y |[ѰY%Zo`$H7s`U\WZP q '4re*{~mz`@Hơ#NrNjiԔ+r8;EawY nRz,Mܚ lw\R B -h z|HLSߏyMy:|}:n;dg \W6Lk#Țx"jE^C(b~ž$mIzjlCoeV6XK='l9UQKc-=.{иJY`6q&UV{(z,Ae HY˶'5ܟ_?\_>vQx;: ,z`ٳ.{BPm%92|dӤeŜ]ʉ)hO=ybр|Ƹk1M)z`Zd"Zaدz^tzB˩Љ媼 d'R➧Owc5HJS9_Y b q' ^cd7v.kO S68WJ̛<5 4v)KMw??y[`ѼRD 젦?+pYs:YJsMY}Ӣ9 bB{Օ'7O&;UVyzh؜3zI6Be #qZ яO1)Qi0P|Xգ<xu}ηu "zgjH[&CJLWDF]b0F eբdy?W.R=zk##Oв!VG+t~ ED[ z-k~9HdZΈ*ߌ0&<}`äE5BcUJMYjxd}TP5< [$3 1Y W71LPz~go+V!eK W"O"Q0`$՟ヘ-vncm);RNl 0^+2/ 1*z9gowVcfORfۯC"Htމ`9hǤIAh 94Fdi>TJHU7[/  on4]'c; @5*#J,X:c'8K% g1bނC%pA'āi hϛ~3HFg6 |d18䞶XG0p d"NতOӼD.0kv61C̤᜘4ԋ@;Yƍb5)?UP'{ -wdVet ͐M2qhsw$t4qh4ttD1[^Uk'?q1ٓO;!NG_'t灵(v(r {! a6baZz>=yk^͹3W&k 09!њ-Wd33ST/Ή]/N%0 "rM*f#vJE-s'N0sYSfG%QC?I< ;cfxcn Xvj=¬pyW/#x/H8>L<`VU&PvGۯg!X9Ttg)''$kIE4@#6^,i@L8@ y 37ND"/vg8l{ľ"_]-͠Z-EUSgF7BlbƧ-B!>\/&$[o("/ .勇6^X֨1% f8_ĢI21=mвV29{ F,$KUiވ*N@ܗYw2|6߇rv! jvp4V8w!*5>y"W"V cD8}h8#OGu`% HA)wf> O%:WmS.^Wsr?fsZݷP^#1Sv5R4g&DI |&劕 f]M#卾e;*iP@/BϋԩhC~tvǧä!<76q{zaxW"Z!);I#$Hkm¯Q L2NDY1;CրrF}CY):w_QpBV5w ܵS%~ij9l8knδ").[6h3z (~6 P8,_5+lDXrFSץru#Zw{aJ{d&:7 p`9YLu8%faYpxU44&}F:LafB 3sKWk7a%}(YH2#7Wљ KYŭX\c@̫*}6"ʩͅxOG"Yuؙanҁ ?E}^? e`Eŭ aҽXX@Oң*2H}TvW#]lYҟ5oTύ!wĴ XS {B̥ 5{ּDHx?m^OѼTWrk, _ >A~xeqnm( P+%ש gF߀kk 0pqlPpyx;ubF\o 9'܌ /(R38!gƥ?e﵅=z8#JC0GKRASĭHvŕP .뜚_i3{0ؼ {BuchHU0@@0fP8uYV=|;}ȟ ̷z^L1 fZxIyǕ\ #AelR(0 ${Z#uPz`5Q=I4Lg{r95^=z݉ -tF}GSpvQշo (sDZfgbe[:Š BiU=YfB;,(ũqZ) 2uUQ%֨%G9tJk Gb:{cqHY~x,7v/?it.mCilv |BG 'GEйҨ2}gnkUYO:кF #9*S*fc.<'7/&ZvolceQLSugYiWwVZbAIu (y-W0 q#+E'[I䗍f8ߴs7Yۘc>,݈8:[ll[:.r6}S2ԢϾn|_ :?xM ݍ6IK:*+u%h 8DqyYA{%h,x_yQGQpAo18_R锄əE8җPzBBVtv1-H:==Sf\{K" 5J=%dlIC@FpZ=wӃ(_d{nebȰm4ܪ$^ޟ}9= k󛬗⥂pmR>#--x)YmbWN  0R*) j6fCE 4%n9TTTFL8:A&%VKwb]UBY&5zIa?swם[ۮ8Bv+] +P&S~:BXc6$0T>}&ZXǭRgُo&qH5A7P7UQ0 l6>@ !]kl K#۔p 90댞~2f7xytN[+k-LY_lL ]Q]n 2ь_E Sl0wBZCnTWD-36}gn!J9JyXw*L uūiG D쥀v5QGyLLnl$4YHr{*-D{쒯oRUcSDžc:45gĜ=֩@׍;SEd'PgnqG*K*ɱ{iHs8x<.q%Oޥ,('s\`7> # Wh] oV#Φ-􏷪)vP3X$x/ثCj_\˸1_|t K]s pCxIU# ^ߣA_Ў/Lnh.E^_t#ʙ-*mV:D:e iɤk!G0=@ >f ^5m.kFuEop$ W>Ix?W6a(:TKoY<{kj ~EE (r|)UZ6gQ(Fqr>O>WbOҽ=YxZ)2Cm>kJҵjU96JKlH{8cuNhq`Ɠl>ڬ(ubEP84hVҦ1a RΡ/UBy <g.y6kŸۏϞ]iT?{u}.kbӚJ":FV]<1.k=$OexmK&VⓣxyE,s*o3%.dmY!IߋAn s֚ ӅA t/ .|5 xi^U]=&IxiO2 %=M3ϭE#wqiwJB BFGK9{9s;ORB>Ѩ/= SV^w.DBmOFk䮜ޖAWSS Y%/cߢ5E1:Wbz]w `L*ʝN)H<ƍ-{,^U.U!KU+׮ on'UwK8[f Y98C"}Ȋh>s.ΤhGY 7bDĻ;l>A>mk})q~x= * KRDMc 8%[`(tSh)? OdpΥe ӝcgJ&r]MA%[)2_\7^Oۊ]OY~&&~BriNJpbxd6J,{M~۬ '7 (5Z6&ad.XPu"1SryΛ'00h׎L9#j>IiA#!Xy^B3o] EkrW Q X[7Kb;#[9`[߄'.=oi_E%VexiqOF$#;[i$ńkĹ- <>n8hJoWS'=#4t_z<'GTĘyXlQYF Al ,Mު.]Tڱr}_xg;W̥xfd D+O?;eo/w(ۆc?d@QY uoWm1lR_kn$\iۙNW"`zLM~p,Ko{ɠ7u/8d P\>n5+aV.1F"H(,_l"?J(+h߾J^:_Had~|^W*r<[Qh{S7 C؋>b;Be %!ݍϽ~4`֘v ۾tSNoȒZA?O@986sh6d1_w<4kl @+N:N 7w /-U\D61)8ɻt)7><=h_kl?g:1'F=QIz܈8ѻ mn LOFʟÝGaXCOi9 흿h PSk;J_3*XOlڍ*m%x7AΖX^ՀrN8]ql~ƃ CG ?G:@BEpE*#TF˦p[aq喡YB"&]*++6h%67Q0NAQ[X&ɑd|=.v^x)zh U鞭Ia3s*ŚBS3%1' B e~e4!dmӖ쳮&C) .6ҭnWS2ˑ ԉGAԓ&q.O>1/}ĥ(bW+s\-ȃN#a(O3iv5&5Zְ'3vtIU_E6K2;ԉ\x3v`xyVL⧞n%+:9At.kwf^MyHP&;Ǒw66Z!2͑ꈕ@ ]kkޢ 9x!֬ngGpWiej 'V k@ LB̒9mA_^)![E=r!UWޕ4Zz)PWAǺE^V!m+`B쿛7"k#.dwgeksMsB!]GZ^$a;&?(!w8Ԇڵ3WjtA҄/%zbv|e䄜5.{NE Dt~ n "V\}gw/Xwޘ* 9Ð@䮩+yl2LM4 o'Bu$W@n4t9ڌ7~ 1bvE0^0Y[*sBsdž FAGy;-/_lJtV>>ٻWNT7j(McqfoWwNցG~V7o S>Gޔw^11P&{ ʜ,cBlv-DkU)RcQ 'о2|uzTl\#Pqg*=Tn;rW:u.Ҋu.bu+'ApB9iKacb¯ծ] L5UPJ281e[f638JNNxZ.(?}CBL}hh@^ v$(EKw% ){>D|o si;5[Iee=B_{8n [[ r'.U&v>U7;랷;^_Ԍ$\%o#24,j#϶i ߈X@uk;˒tﴔa N8sJ=6} 4;#|lp2y%68M#F|/OԺxP2l"47ؿrnu>> &k/̷ WLWVJh x=QG:OWrsAb*+RtŇ׌dduӆ|B!5m`yG+|'aZT B|>*"#59ֳR1VWnL5L ]E]zx_WC#) tx-ݚ{ׄ50x.C3бtXpqCg^{D_PH}֧cZ-y/[jZˇ$B3 AۄԼAC*{`tLHPnYL 5'^ikJ\i!iF:a<53MvsǞOkGݢ1պ 36L,N63%:8fW3:xWW:z7p(|a@hLUW\ R0Θސ#bY*UKۀڴΨ-KjA%ם \w TҞF铕;FȾSސdGoӹiDLXgew,Pu&ާS|#ܠAՁ7z86%. U6vJኆ%Ϧlx|SY5=-R43H׶[2Å jAlD=)ONQ1tИPcwҜ7_4LX2*9HXI{tj{X{ke1o`>D۳#[YyA'QoKT-y;r aM盌) @ 3SaE`Hm>qNHɊ]'WCO֬ #V9+]'j!O}ih,GϜ&Lm@)ڗsebxXUKVI|r4S;.u=J41wzzMkI%J dk$N={ox\SY>hH$eW$<̪n(ojǗwP$k 2bA ]?0;Boc-O0Շ"&J)YBhǛ>#0j ƀ{7uȕ-rhN_Gfrl&f82$"'6{|:~zjM[4R<$Ո' FYЊS$"ӻTL: jdxpf>KO5g+[WK3so1mS:bJ7``cԞ!~CDY~fv6em.E$Q!!+rg[6U+<"ud8 @GȍOq76@u]ht~ڗlp̍n\̈f i@Fz 1ZE)q#vx7DrI6 ш|38m_6IҞ{ No XUظbZ^\gzt`(;<3 9\>aЩtCEnlӖKK}7ˠ`0-17MںJo-4:j1$0DZ(O6Tr!guF @fҹA\`b[NU^XSa*NdgkFTziz-hsѩ&7k8ϩ;.PeҢnxf11=ʂ?9\Kt9@f=-H7?$TFvz)5wR{J:\L75nrrhD8 I!Ur9M]l7nSH<uVgZw%o&,Xd;ʟ# 8|HJ晅$x𙘂C<~SYLMd".39ZsZ NhVh\NfɄZ yT2ЀfWԇg}FM k.> ͜3&6\}^@ ]jŶakhAmmV~7BXL M)+ʅ Z?c{~ҕ ~OG@ H^lCƴ? 7ɑx4;ܿ"z-'NBT^3R~=/0 s tv$ ÊFk?>G|47d{M mCg3=pex|UFgA7dV bc 1Dv)J}%D/;;†F4s]c3QNӄa6zR$LKIojD_UvF4^Ai3&eMJ<1wےDRO9 T#e3Qzn{uEBSr_qEs3lL 2"Dhtj=.zK͜Hc۰8ns?tpVl^U"4am%^fo}F/[[*̊yTIca [>Ȯ{+pF~hؕ:P8@>nV)%;2~P \%()i9#v+ȩ du>P.ЖCrRy2.DAP1wy~:l-Dt\v:L,ŝ&:.78#jtⱋvCs\<zP-b7D\Qw]ZK,|ΝfᏍ /S}:\:u0gwitU)ͦ<&rTF3m!10jGiNmRw@DG7KgJD9Uixߧ6@XI;<'qgM ^aXiZL'$/,A 'h)/EEzqdjRDXp"Ǿ>!0ࢄR{'ؑi1LaPlM{Eh@,)㱈bK8(w$P p!Jp=A'~X=8.=-u 8ݚ` v9z ]qM żn}K``/7%8"Za#GބZDsZɑ;Id5rTIR 2쉩d4'qϛ-bv4%Mӣ]QQGF_kyf)0"z&:O$8E6i+$ovv]癟'Kz5;yJa3F`e}'lnPh<2F%L3?M**`L0x9 yudAa' 9cffK ࢧX54?%#ASW`c2@RtSȯOK4J'F3o@[?;MoA OCP\-po9FKe38T(c ~]/VZ 6l{}XQՙ [f+km Y2F$Y7b!@;okýh עHNxBYƻ R}@G^Z}7¹&DQ! B>Scoy"Vϣ? ' (!6&S41CNp cZ3= ʒ4vl8w=Q 4Hiߴ1vWR9vU٧Š#$l`Q|e~l)^3跚t7>~58adQb*Uyu&U`u}׮ ^ PW4niz.s%u9m$ 57riyV Wuj6FKgN_kHoxkRP =w’E--ǩiYw跢PqҀ8_.EWPKuoKjXyRjkuK7=}P^< p%;}0,[= iv*vⱆ\=:[g;RBz^"m0C?ه 拏h) nLW(ݩ'H\ L/yfRtGOʤ@4i@C%ڎ. WwW- J=2ty1ԋR9>S_5)Ue{49 xW |X  "Q#ٶ)eQNo[!3Khcijcv}CX#9Ռ I͒oe'&Z(xcJtQ:rh=.Q YvCfnpKW),wbaQϗWVk9ץ2S`MTAe¿)?ÖsuCgw)5z(ia|[qbqz=8:/ЬnM/n+eXXIwCS/dx;4;5}O?״?ZQNz51j=['bH~yw!qsSgɽUXJuսhuZ;Q\iZO+XӓϚNXUǃHg`"V"<*A~99Xmf`I-hk_m[sYeLd-8ָ;CZe{dN<K!h&bxE('LsUW^>pHӉP^n%y]MT&!~KrSғM?l29u 2 I(*i,qhE,h\3Aa?o2Dﴺ|N 5A;u*/⌶ֱ!ǻGV7gt! I$) 4)ϝѳ0|UR9vuiֹ?/}Bo=rc笹J p #.^s؊KŢF:AxGDp DZ+0.}hYqE GSJ̰>hQ`/=ںݮћL#F>1{R_`r+T Jp/)L˱/!.AF#b9H=ǜVtʼn@㟍64wo\%=(WHZ/ԕb 7LI JX |SV;p;9ljGKsP8AWd1Y0#ۚnM:`>Z'VSe+'dL:xCŶ&!8M|I$q>;Z8\!!,jR-] &b,hfN!jD'H$lz[G X{bm?"z9N` !]#7pɦ`98bC_䗷:BDeq]Ӕ 騑K!pr?Tfe[2oǪ0HoLnO_d wؽ>x rq|^ g+ M*EDz)؏ C::x7rvکʩG0Rc=J ѻ6Ħ5gajYlrY~X\]_a7ѹ`NKH\s糟 xV2^Ap?ML"ۍpEqc<zTv4u+b)D8^g(pR7XK[ yK7=?{`r[Ŋ~ŋZö?"ӈAv\x #ߐG Uh_G}¶.A~pMZ?_5 }i5ҜD*)5R% V3F(OxDP?mFB?)q,㽒];9ybC[0v /$+\r q0)TpU*7\--7HP'ŚB,3W0TL1ʿ~-c2>6;HA8%'{rT b=:֗93s/xhD H 7[0Jv*m[|~&q{Pg81_+E;ށo)Ypjk=k -nk ߛa9Ӈ TS9 _] feabwzl>j~Lw~NHJb^d.$9@V(E~nRK['=?HCy aWP" 'x/h.7 C\s- |ugDGVG Hu@O=9C O#POq԰ySH ]H\'|tvoMhk .T hA^ulT) ; J7E_`YRo2}!(5B Xa\$K.VDPvRc2v_8}FLb"HoȰ0qd6x3Mݺy&֬6[MZ\DtF{Ck(jR{b?= YrCÍ%r̖V'A+69[5 R4]|?ׯ<]Mg!|0]H#=FHI4, hiu!uJBS%0FMf7$h<<|pB4PGk?b& J~cZ A$2hB}8j9.oEĮGɵ6W? 1R}##N6 `? :'=XA2YIzd^B#tBZTPb[_6')~Si2 (M',[%N Fc},~HmW@P֛JCAe 7ԔjRcLr, ӧ箟9(%dmJg|kL-t-}vQ^:{7$t:VsR:dv5ZU g QE@4z&W#thqSUsP /.C ӷSҳ> Ѽ.Z6],ytx?V֊X k""wFV("eor̀3J_97ГF:تi/@\ j_q;4Y ,kEHȈqDiGcgZNֆ[7ȿ274C:y2w9a:2%ԘfJBd~[Cbk78LĞQUcp^.Ey/\x@1iЕt2,ԨX'mvMAuKӊRs>Cjafz we<=̽c"%ԝHNog-o~J׸~Gx!`qQ 8C堦΄aM꾚`M$JLsA=W]z³ORk9+~Q_lz;QA2ytL8Ǝɕy%:rȲgUԽ^sboBg+ mDq0BVaN+T yִ*ֵ&X4(RE$%ª6`dw%jt24zzS5Iy;'=dSAb! 驐c@͝3vhPcMeIKQMݕBQG::e',=X*J{iy󹹶YކvkZALG \_QWxfdaЅϗ(WJœh*x+R C%^*Y, #GK*[BӺ6Tl(6S`]&ELVq'<֏n3Rd&  5 t,+?}fSChnjg?#.Zd9qG 5Z<d൹~F*ŀHv`fl^K'gٳTv R۹u?Ep䩊h K/F2)δpa Ǐy <>`mx 8ysmkzTwnӖ& dh>10=6L#cqQlQhDQ) ^~Cv*xPGop#zW2'@q(AGԵT:Y_aޯ+iz[hrR>u钅ͫ6Gn.֫Ph)ݻH( nvEZʂz{~0.8г$,Y`ȴJ2oXWc7׵p?@BqT0YdɩK=g+yw,&!(ÿ!SDBLYchI[^nT"!y! &ʂT{8I,rts"_Ȱ lW1|P˦p0Eqn Y8k W ͌.eE`5ϨM,H5J#7"DUx~Ztd'ՍJ`1Cݣ`,>Vp7ޜ曑BjvPjІWPm xì,-ԭK RY.p I}ŧGiPHHV}? ҄r:jZ9I;26k:^胛CGΒMy徍LYID @9H\C!Ӭe/s:~e|Djxe!JU.^3Xک;ڀ34beDEtv: Gn- 60϶FyiGSfqNڐag[y_M}F8Ty+% EE}z_rRP.Z"㘦R3J4K79!#}"'^Q{34We Fz UmtM(`2=VBCmݩ{'vfyGM^Jw} t ךǝMX<W2k*Wܢ=<&@7Mw T(\FO nʿZ Ɗfi^.dwmN@8B8(d2q$@jTBԮpAD0g=UOF\IZ; rq ץcfTe},8j")<}6>J{3al緒uO?Os(2DMDK6S{w ‚?Lߡ]q6\kz8(8QL4MK3p|R1 ktF7i#+~LD:ɚSl'7^©1$JdznEկ.ҐݺB? M:fP^.Z.:3r 35EV#J(gd[iHH>XQ`2:k'H[7* )cw"՛}-X8-WANFaNDڕR`(zUv (Ҫ0|㫓_Dp9zOm;;i.o BF:W'C`vќ ͎ 8#Dp4KJN"tRv! ~.1a״8,ϓco=exr&D4+=9v5T}{Nm&GfM.*TQGy :* j{'%<'meoHƈ7/獤f]hb9Jۃ\bߎ$C.5=E4:L?=`{6* 6ҜSǴvtL{`x B-J 2M|mS_kfDJ=fZN1$|)uS#9"֞8JЏemD0Q+z0"@tWIi<]h/0F1yiQ/A<Ɵ\?]ܴ$Lj*NEph=V-N&j5W Ry= ^ɀ`Ј~Ox;xJfmd"0ak{,9~ZvH9Bvc /Ճ ԗǢnh'D쮋*Y  mŐ{(U3 dFЎo?KB&$@] c篚KCW9,([Z >ɬZ9mI6J[S(y6ꓤ+]|P8?nhǛ ݰ n-#(2=jX.ǘr#Ƒ72BI^B0HN8adD/TdkIΧ[ =V͘yc\d=7 '4 . =|yI@Cf%u SQ-~d }U8feYHWrnO<(Ww@MN l xn&Gf,0Vy\rSs74GCj1K(#%&f-"0 KU~ыQ2R4_m;+D/߶(w6+*C}z؁bcN"e:mZg 2l#"Crt%D'q rh|Cz̄dbc<ZuF^B@R7[G_˥HxcD?@@WY[W}hZ\oF+׿HMrJ!:Ч4+XJVa+bWLJ1<&5w)-"$0rVӺ_IuI:vc, E0%- Ǭ]QߔgbU9j35\HU7-/] 6%׀e`B،w8.E]b|WQ8.z"p7/] ?n-Z}MVRg1,B_X(pN{[!,v1'vsTўe!X'PM^L__FPrB&cXn ʀ&V572iZ{vdZ|ЊdCFtƻ 퍴 52H0e,7yS!H6aK&7œUx/6iHZBS+ts$ߖցqeBλ_ jgaNcDR GfIqOcwmp낲NFZQoCm0{%_.tO"l$Vɶ.8&jm..?w""J :^v L M;Xtw m?0DQ lHO)+YGQGs ->=(_O?KK<}V.7^vGt|ލF"خV0^QD=%Yj c@e2 rL1朗EQ3__Rh}˅6Ojª_FvZȞ߸Ls/-vmKMyվ Q" C: Ӟ,Xůɭm;n~Nkt$sql̂!'p[$o8+Dk 6&;1Ϳzf gP{߳\G! d.-qfb/' hftn~ :@l)Qw[Ǒ")+ŕI8vD\U$ڮMƋlC$q#.ꖗpC*Psv$cs5 ͽ,7!̶\ZOX> srYSL!.~ =k_q ׏@pIJj9@/K_OA2"%Dirx+ix[!+JM7DqqF Yd恡GI7fgtg3*|k>NjxZvY^Ad ؋(WÂ? b|/(Uyb*wopo :C`I^(1M ]2S ~cT-fOd\!dGPE~'>9sLhkG0F'Vew{J5}J&dN/ArIY|@SS3v%vT#ئT9|Ͼ=2`XvD;$供&x"ð;>țyv5v/ ܥn75l?Nz|}#`&Q㥷*71PXPT;mI9,`H&u,5# F g;+c `$Afeձf"7u ^)_W?(Z]ic^;g# oqh-󳰽Jgt MZ^- 649PΊƬɃC7wpY]`b6;W:њ^;3cTtqI+*H[UNCsڝN{K%5'u+ANd $gäL#iCvzɍ\RR tel_P)i_k*hs#ļS,Mkb1ecЪ \DHD$0m\W j}A mrE>K5^c63zQy T /p3l3pu)E}4X`6f5WWcݙ̈&^ǰ;k?'9- A@lc|ߊ:d%=;ha&,HuWezN2Ռ>0h-o}s|t0Ep AH@ (p;W_r(ZcQ|Yڐp¢f H*HǴ}8Кu"UDHt U+j |WW!3:YW-ʱ]O+"|D#qmt2Q/:WW}Q qP-șe ]y7pr)o @\r{=r_Ȟ(RB3ڍS4FZnUj`7Q.Ds.ǵ`s)Jʺ39.ȓxIR\CJ /WgK5-%:Fi@i$jdfgzv&X 6qz]婮Pow2cN}~l808#*{c LCRrw( ۵k_]A<pysv_%֢37X.lDd JX2X`E;OI}#w |&!1} W6S;K0+LZ}?B0ֆ0 Aѵs]o_/[JۛA!"3+[Jb%eIwcKQQ coإaKXM5J cTB;zu4OD_yVc䤎7=P@~vu>KF7U?!S;U$,C^]B/J.k LP^x,|@;,DW xd,5Sd~!g]šGj Z>1Z0DgqHj2[_`격F`q?Ť5!}e/E#?PT$'#\3?oqrA/ד@iSlVa04]g(:=0ʕҽt%9G7-I#¶ t겾{=L~0ЄU7PDO8x/&SR3 D+U(YgJq` #!`c=5rMuaL蚊 >lr1J,^LJTfiZ0e@Fx&_}^=;rI0ܴ]9m<Ŗp sƓޫ*Gm2sjszϏř1:#P5uf8V!M*h@ 5FB#Ʌjw0;6C,M{;D%~'=h&ɩٸ])*tSMԞ7F=3l`ےE*Vb}ccA<o.8AwOKf*pӝ1\ ʄ(>jԄ{%wb %3SO|Q FFáhu_7;Cya&>a)Ey NƋ' 11 \sb&]٢(/ ,\mҙ6-8^ Zv%>4ζ\l#1J rj ֭1K#e+G"m.49$mXWrP9|Zk "2@oO[B9E@T|A=j>[0M=}(F.feJPY>pO2MlvJ߮c;S=8<[ X&9~K&-%(8 WE ORNˣ/#S&%t'=I%7UOϻ#1<>߯/i=G2L]%P ;«[3b‹p:o(^1Z_xKtTj#PLL;r1fػ/ϬG 8#u>@>y*hdFVoj/JJo>\8ۘsKT]b|pͨd'YB 2sެ u[uz5Ŝ= ɴ_4 +9EƩxjR v2t-3eY(wQ~+w I>GߜpCVVɤ""r׼g<{N6z=~f/Q9ǔc"ɮ}1J빪s/vkbda}&vĎ[< ̩Fzg"X }IvN:۽ꦀ ceNHVP1PTsl&ɱäy\D2I0ċ3mu>y+rC-vřoFA`b֣xcTx ~M'2_= (`.#hS2Ha6L7=g@߂)&GvC`ô]͇@Ȱ3# -#ZG`]uP~{@{;~>l:+<]@[ ս]bҗ &q~DLFi`BzDzP9~yQc!,f7\s%#&\z脻}YX 9 C1l5nl|\6/F?L&A^该(14"atMJN|=Q⎾X!8ݛk]yTWvG6TnSG;pa*4~rZ.PIv)G t+:M]ΏɌm]엋4;\ /Qmj3͛A&l| Gv4*[~)t\)6`~r7:$Fa7z>ٷY@/L}^F/%/w,E[+)7DxT[0BߢP>q³^gh`R]? {X]u_tf){Rn=:ƨIп\8?~OhL#H=!Kkȏ[I?VsD@/zɑӏpϫ2ON5?D),_up Ҙ&H 1pFj Hg'/nS0`,ru!`:X{:i[m Ag[V?޷ vMif 1Zx?G2~_KigٍQQ,M6 Zyÿ)zFE[y%nn!eIaznGLBp+9Nҧ׉DUGYdkn~Cd;8$9ͼKU{Nnܮh$Sb-F|^2ހ˟HiӢae>pqm&*CeA7_oW[NbϹ:T*B03$B5lpMxdtWm_&bImyM2- x{R7K*  Of2aN;Bf|L5QUr(\۽3x1+Eʊֳq^Cq^T>|aQdb_a|b j) A|"G +$TI΢=so!.tlDu}{BhI/>4ڱuKi2iT% B$z뭖ah]?"x102tw*I #ddJtd*}<96h"T0@V`%a,f"| 2Clb|-pxoCC;uP/sSNJ*lCB#>XNЧ=aapY-2D)޴cAD s4? .J؟J)TR0ɧJ?"M7b2X^hSl`YL[͊HUcvD ` ,cx5h녀ɐ>JIi/א-nT _ݡ`su> !/wQ+ԭF9*AVhSzwjU"J]|{ר Kw[FQKlyrif]ͥ:o$,w(9O[7i_B_f?lCSDX=c@@{WƑp?K`#i6ZB-`=,ygXlai(?{5(jC|QҞjGI0d)#~K3^R֨&1͘f7%*b$+>:>6EiE81DKvJX1˼s=hg@O24 »7G!yy뢺>iOyMR $ix+T*Jh\$tyL&wi6 4ض4M"Zo;A/5VoOdM8=k$CYbsժ )*IFP/"V|Kwr~ozd'%K줋?ϕ} }BFnXIJb֦a6L(kIPL!sԊْ7"sb&=0o`Jt.kz`=NojF"3lLDt U^_×g爵Oʙk'GI"+]u22CfO"@x4cB,PM J,p IW-ag|.QѠ,c帷lϸ%2,oԟ d%Vt[?q:|9jh;WAjB.:D'\zs"sY(K>ǕgȺtuÑ r|6*a`@&F7*fV w؟vIpkh{쎂ts Jҽ(--8MdD,G㎂n,2'F*Л`WW\#d`d6RM FT}Vo:8$x``k iLjy[-T`pdX7x^\*P|ַ,͸ˢ,fxY+¨o(:~ժܥ*q؇n>TUi {?3f,]z hSͯU'4hMWe<`~J4ޅ^d:.4h;wkJ1*`ҶE'4mx:ɝy[l[tLx6@zgк/fQzP_FI#zɋPC9.l/Fn3Nj%d='%=*~nIZOE"gx=?܆Au *̏.^]\9O >v=G0p(E$EP*=Qe)`nӎpwC1]S.%@BZ=9m~s\*ʹlv\(J r´/k'6+&TvSpUsFezOlZԎ<iS~M)⛖1*Vӈ{/iB]'E2-(yȌCTȡ #7.b_k| ?@rJB.YY `vx֯9h7i&k d%~FNQlpˁHCqjܙPC.fΞcT ߵ0u(;P޴;fT>fQ-B!yҼ2;ZpV8@%sWzk"w=\QoޗLxETO?9DA6zɹ%YmVر)+I} h.i'}|Ubu:xpn.,`i଴ZnQZ,2^x8SV]֘n`7@ beqD.v`΅tpGD ө7RDvγ+csPlc/'5Sݟ %!u5ĭ^9uP[g\;eQ&Nx I>q+6YqUDo D1W$ aad!ooBSp5/qC)3HBI:cd\7w{!<g2-HlnC)ȉei X:+ 1_V[ݷTTD3I-NO>y7݇ll{s ckgp/ d/t[M Vg \2U:?a?O;*;d5HQ!9&r߭.4 i\}+0n [s/.jQ1@wqqS=X)iV/@ iRY?O_<(理}TmU?͟hjj0ϷDߴN]u7=\^N".T+!>_TR=%@~KZ&0n0qnц@%9T*v(HjXl?k>Ϣywt!偋Xٍ ]9k@ڧPMHdp22XIc*H&rd&ؓ]>;o|hf3i?14*yGLIsʦ\ܢ0nh[ȵ1$c/hya8MId;; "jQ{CN8@h3 N{<AW)cîU E%׳S[*дVOΠgtI-äA!ӸTa*?+Wb>]'tڨ/k|?R<='@zIS~-rBCB re^!4vE+c#R%Bk bQd̖.+j&ȶOop@PC,fq*Eut-ܸfϥj4}=1_g!ֆ00T.HvVu)Rlfu J0AP.i(b>Z.>C}X}b:;1YJ+`iu`_1 *ٛ>ggYZaa3a138bf31c921887e4cf655e6486fe769b78443853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0