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 00$7|td ]/]MSO_Regex_Equivalence:threads=2elapsed=858.507cpu=1118.884gc=48.892factor=1.307zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm lSR 'RCiFQ:Y}[À=EUStC3VFƿr[|,@G@|޵o5ƯKHӠq#40kwJ7~ehFU1yI$l)|i<,%ĴѡBkFLKEC38w;ȁD{oJǜuf{ QeF CTG@vԞxQYKlJDWs:ԗ'l-3uhoVmVjtFO7T@"UQʎ /0icLTGh}G0$9k!0ݻY@娚dWTs.|i]9FʜwDm1~%T*Upܨ'%~e6Յ; jT>%'TDgvWZ;_Gm k4K4D:&ڝPlbHSxB4f$5T nɘ9~@Ɉ0`$?F.a=Ͱ*"%kaDʗ_ {~;pϵs!5磰:?l_ h/mV_mV.Q ␮h}B-ӱP)X ~n!oZ 5 F&. ) L2 A}vsŧ>JQaMkS9).^>KzV۝zfFF6ouѡ0ߗS]늸 J> 09C8$ w^P1ؠوq֘FEFxB;Uh̊*yt{Q*N65m"{}V^#] V L%Y*oy@pюŀ*fԴ{ UIaIjqCB{b:i pXd+ i~_4㚠RtʾҴqV7ަ6RLd6̋.ɐ?beXd(hD{ 8Kߊ/-fA%{yN"f}ǂL[9]UM<Է…vYeJ YEj6@1iHECl)~Cٻ50}NY}4LZƇ-yD_j_wْȮI*eE]Z޽*Vɫ2#?5N*G)VT`ɒ9 f 6|W+p?T[d>JC)##n;rGҦCHkXB8~eByaP e< u><|%9C gfp #LHRZ' H"WWj0Ҭ-vFȅ{[ƞ 7Pl*F$) ۱#G𫮬uݝ}Ѵ; 'Z۠ 1;wQ8.%*FD]ݷ碮&IY栆^G,ˈjl5m 1wW~wy^#8c{姌폢*!gsEj E>4fxS::H&<*&,ODv*)y-4Gz~1涫}'Ggh QۘfPy/úfW"g7q0:VF,-Z$RpǪ?DK$W:OòfO[ۜז OFBџ^B ]y%VXz{ h%9 1ܯ1t7>mҺ<(TsP>ԷIm < ևԎK/@8XxD7PZhA〭:uJc4E;=ϛ+6 ;eWhsJsRfPw)G+Fô\qC+έ>S#2[hSOcJ&O٭ĉ1 v'Q[iE.LK}ʨO45Mrf龽VEƁdRF%e3 1Se];Xu# X? YO{A{ FE#9Sd e=·L*ǎm-U[[@ j?LKTU펬6,di{3*8>Yu䙪_V34hr:܎X|KejN(j8wsHތFm@b|'P5֌fT_9v-E ]Pn3ة%6G80Y { 3!G@6D~#~(n Cʹ?rT=P JQa9}1AzWIZ9˓&hobr;ž #y#@~xK|"kLifjxAѤQa: tr{9%8C^n|;;(ɘ~GX4j< >Gp:Ʀ|#,6|JRK[? HǘrF$<ŌaWφ,Oxz8n[@#ݑMv-blQáK/iF?Eg=,C )\2M0tH`>m[4V`ٲ7#A^7VV'[ʦ+JIt])0Kӽs:MuVt"qcOߙ¹, -6]h+?yq&8u@ї.I$fw *!C3 mwVѣx 55Ü[#I㇃2?%v ~Dd:HSX|}bxl͋2TYN9b[%+#"uT`F%fwH.6V4TsG%&aM>)?9+ 7 MSO_Regex_Equivalence  ;-1L2R`,W.t*GYyW7QxF!#G'7F7ק&Xc#yش~,s@:Y>uJR*s`VM +`­@JOgsv4gYZ7zXZִF! ]ŗXiɟFTp>>cP$qXLE۵YĄ isG\%e]c<ƌj ̀ҪsV-oN$hC_2|vaCxu]GF{ #Rfhd-WvN4v}G}hũal3Wn7*5'gIa[͡x/\8z Pq*U﨑JT{[EfQXNGtpFJ!}BM1 H,з݁>;{1RU~ S(>`µ^R?ퟮYvifUJഒ[)Nd|6ʡQ1}ˀA J0wk 3͛D'ZL@MztYEi\cĶJi٪ܸ?fT9-[Er~j9)?r vH/HMUg{SYm_|XC*|x }lh z]S?uO݌Z֪%U (#TA4Qrۺ>7+خP׏G2Iͷ$Υ+֐n~CX%R#mRpuL쒂˃zɥOtE+ XpP PfP@%ؕB0pu#O h04Ish' èZ5 v20w1ekobMA!jzK/3]l `~7rljGX` л>[[P iK;1[1TޢNV" Zm2! 6Ot51?5T3!5zndy?ۦ0uܖP*M:ʧ%8VB9 O.ƴ>on즘s,=i]g@jh~[$J&rqۄ @N+]9!^@pşyhk=WJkR5W.lZ1aj N8Q'jx&K@ƈ]Sn ) 9#SЛ; X9Ga+8(`frd% uP;2x+u7;[.<3~.A}4gy$NLYYWg`RHq ~-߿fFj'UNjCpTP}q:u~IO9HnG(p%6cd]D(8 }KJ5Px\dе_o3ku(Kƛi7Nc3BqKr'f'(Q#D=q2pS^f[j/(sX? ROޚtn.2*:K #Q,3X2G+~pU9~kHCM"K![mgf,嚕 &ޡFq:aG&zb)' -߲vM#t6T7/_u-$S2n\Lߥ ^sW O5YF$D 96Zmv`|1V!"1UNm<lXGb~/X:쭝'w*ٲvxvO & dfnS5b R!>`z-~Vamxt4LtAJZ!D5{osza=HW}7> W{;n z (,Y̩/86N&n %R`} oWK&K`N |/eaw0 \/ǿ1 Mis=N>C{T~ =ɡGnW({ z2tEJtbؽ>nttstajo=+Ex@kgdz$ړCe (6ΞuQb]LBզ ۹|՚ FnV嗶v7 ~(Vꮲk G0F^Kz4㲛wC`耙?XG{Ә%0@5E@>J#cjŜFRmKd_ǻEM FTp7˨"T wօ>b_ *isȜ<#2پ)#tm:!wgRLС}pP羑t~ @4{:RuĞ,|j8&Y>q iTz `ov况F}ȱ8R5BcY6_T'/~aS+U ;9ۋdZEO첎3e9H]pֽ~=eTVisNT5`zs_羹\c5ZŴ7׉!0S[>鼗J Ǹ{ˉ.hOO:(y lO`g,nҾ`RF:D! }܈\?K̲`b]ȁc]F;B,s&vƥ-lEx쩰0p ~I=oB`mv;EdJ A4@}~B"ͮMLUU8Gz{qz<#<"gjXHnOL_݌k,91&@LP?Vdd<p °l*Áp0u"Ϋ%l13-Iـ$vӴX F\M ᲆ>tcvp#!mu(1bXAB'.b|ZRpf 1dNPW˚.JrBߛL@CAv{KWʵuW`z;xQxm tqgF:bg[ \mUMQ-eLq_EÚ~WaZ`cD.L Er(Ie4r!iFkB4o͇@v H%vlZdj{.{bnV*rrjNw|`%|l1)Q=U/'bt asfdKN|/(O[۾B@8tib5zIt'.!RL;ЊWqs"FTs*oP#0 ^0Ŋa1y>"PPs9XUY>e*Ӈ/́HvTc0kq4?e欨<+ 'gţKc<}LG9\_Q.!%M7ݪ1"_LIj(Va:NI^|VHqhgVfs3 . GNTQFhM[S3]MVadG/_؃t8k j(_"  1n~.Fخ(lO͓7rFLb-)w=Np,Hሎl_]"5WBIp[}Rfiu"IN8 " RxZYΩ X FMc8!.{le'5:I_4nDYJ#Wy=jUvtCs*{֘ X=3/96KآX?pvC2CuVr((shT7|ZpF&ba׌I|Y K(##u?A̕kio{; ^(Gܛm.)u|& ^% ,vC1l ʞ>. L1N@@Iy 3r ^Q_u3c6H/(Wx[廇vY&Ou>ɢZ2-,qGXQ+I%[ҽwFOEbCߺxH=G-+Qvh\ވZցFjdi &xhD/MԻ\E*\a[S:M3mR!S36̿Jm3S_y,*X\jh$,Kc1?'+.4bJ@Dߚ@ v9/`O_O,U+M\˜[m+tVUeYKȣo#ύP .!tBauL1i匞ۂ$);nQgkibhcgxmeha?2&1H|Q&'&)}_PQ0GE;@] l~'WSW^*cxF3#ӡ]<0g ,u?S}sۊNDKַ.w#6FCvτz9 7O+lrYTƨݱ WO'-a>*"~ ;w&-3-矷Ꚉ#%5~+$2$Mh`p=p .n1(!1_wf7!Cx{%bs<Q\.HyXASiF| 4~La詝ܸPyHMwJ ok1duTmદJ>vb0cb/%^/dzEd=@ZOa-7⟑>'Xb ́xM}<-j8xtc\cU7)kv6LyWY5f7T7;LjG Z acCz2-!k^uYA ʻַS/_~Q3TZe \a9ҭtAkZV/"?MVRs8ElK5$w8*G%nAM$ȦBmq* `;aIudzny[!dz#9N!6LďǒUopOƷwhF|Ϧ b#`A(_Q@+$ljmƫ0ǡfs 7fNWJoj?%6"e%M':7ꂢ@]% 7~8IT:/~bkH9 [3&RK6̛I7vum9'f~KɌXvl|֢no`3 '.|rKi0&X2pG<AZ/`gAH p#;u>+M n%f-bDh/OiO6:RptAT;aUT4sVD0?! C /S JH<^`2M*0Et7fnM|}n i =݀LGkr5bzT/jĥ}ۺ \O5fxO40$7B-9uŖz<`ϵ`[oCQmN U~GM|!",_Ǹ;UWR=0$\G zr[a܀|=(,;( '놟в`n<)( ٌ v*jUrowY3 ZHoÀdm@k^21Dʂ!)k'lS!w3r/Lf٩O!E3]p|7>L#>F/>xKfg1&V2fVqYLqe^ḻTqK )|>״u,L2Etwn*rH8,/ U? V'ܳP!P+s@檈< Sh{S]x. NF SQqyDSx`d1NNlX[rLB?Q'93yq|T^#ȨjRU5Ch~UkB}6pR  ߠ~FY/iLah46B:7;ͣxUbt1j["w9hȵl y(wRԟE5@kq묬Bk*{L[Rwc0`&9.3Clhg8}pLV3-!лUh El {=6^V{Z˚:s/{ XcSEQ?(;~'㕐+ Lro\Ap`-7='5A@g<}Cv j{_|[K"K>¤D`ʫ):lv= &H;5D0'% F-N[]x`D3!Nbq3 hrtJܚD N~8Vb3yb PG$LC,5qʠG5Yn잣!9dApޓ3‚APB lQvv}Fq0jt'Afx ^:&b `afAx:kGġ9H |܋Pj_zOY怏-~."+ԓK\GB('[rp窓BQ.p7~${d+f")mn0 6Vk&t@nnTu ЇyE2 -8mn>TrhFR;dA'ۃXPM{t5Sk΀Qۅ'G= PY߅9F,Ii]H) |YŃ+fQ,m%x8c t:q 9[;06Ym&bQ D *Wv9XDmjqV0?qSC-)G8UE-֚ k j흂#hTsR붬5qjHH1De;a$OF]}Y/<"xcхTO|U)J!GȔpXS^+F}ݠ~?qTA(ϫVpb~2's֊fnȵZ5fO}kK1d,#g$h}w I+jlG5~ؑ,`jdNk̜1,Z ˇ},1 1/g w) ć/b'Vu 佴 _*o /9Trk~&xlexs]L\ÑSj\4I?9PJUWAz9]񃼮~ [8SnTDkq\Ai|poT-];4EYWrSMʪB̳@= ABL}=P.y dE`M%4>i&\ thdW}+\8J Zr7Zx=pRkaRl}Mov6mE]feQ#N`@ЦDKjG碴[n]n O群_hBwْpIR%_WZmh*]|ɯO/Kr_ad}2f~6x|,PQNT>("`9l}[)C]4=%j8pނ(>݆ bU)}fQ0GvS`e~-y}ZiF֊$CQ;zg8&AzY\4h UD})+`:ˆ޻7ؑYְx .&S&#FP ]!wEYwSFSe`bYzlQhtmd0;JqΏ_ZD#C,:a*i=If1iFgsm(C-Na9'U=WrM#^ qɡpu?6N_V ѝK ~[6^jMމTc϶eG=̈́x"|]"B!9>CQ/ڼ!!՝,ޙf۠6* (_Rx]>̳h;1(` Ә4]XJ1iNTnHZG{K̽}l" }/AzBT)ajh+?H}-snb1E;!.=GWf+5ը ǔ&l h3!YˆvRAg$f;gW'81pgqө,.Fܟ٦C_5WyKUE'Þw9fK-Ņ122Fn$8{m'PUS(슒]4AƱ<8֤$$ht (=ou#yѻ$5/+UnX~O n&t l8*4O>BS`6Hh/^ݜBBm-BX2#,L7f̭ zNUI^f.$'r? ;uJ1$R<9#ʪm%v 'Uȴiڅ)Ɇvݐ̮>r뫡q)|&{|} Ci}?M^MAU;o1şYjMXi| ?k{ a ycODžSy tB_O AO]-߬^ZlY?\hngE3x~@xEꥬѣ*Ypii uPW_5I+=X$xLD^zz؏rtjoZ~!Fsch 4MKd?UqLִFV>:qc-/%_#4s>fa.'΂c3 O:ј41/#"kdEiu:|=QqoT۴7Bn: Ehe[mu$8@ݗZ{Nn\ɧQ,cld_}|ҡtFU:4!p\fO.r".ʹcǍ9  a$㺁>6rCS C͖MuLgFbuft͂r[Lz1(krMB1km}C H8qwFbgȔͦ~lHp#-/ڎCD0:#+3<}!2@Y4/}BPF;1B&=Zb"2qmI8` (` Zs^|0T@ZIѬt7-eHTA~` =+0&ʔ Y3 "zp]lpV_䈖zO4Vh ?r{e;9]prC#l}swpMX~5IYBt\CD+SQmbGx }L K6l21886rtw;A-3/kRy:/^B$G,oȞTET" Hr~xdZ6_yb1 23Nwe{MP:UM^V.zJ}.&;ötʳ4,[!}( ܆h&1()뼑 P~:psQʅLiq͔غjLV(Bs29ܼ/1^|; fZo(dJZ"~"rۓxIi,g^P#4nFvF9Nv+T%M 1k?TTP & X~9Vx"zw@mhkÖgo G&PFfɞZHc=-:vjB%H N sIi./2$n)XYbX2IKWK P-:iD[g'T*>}he ʰWe+1(g.qOQEWu'tzs!dc!#Ñ+9@ 7%ZX{E(xlKٺfӝHf{9 eq6߿5* /# 2H#: <bv#no ir _RGo[0CjlcԈUDbux%4xY}aMl'>Bpr5R ,ǃ&oLpB邂3"2;fGx/yW羯V:`}&.F[htGa`SH="Pұ'(e?D҈J 7$ޘgWZo<;O/!Du%2[3oz _e="/c[{t؇pFP3oH香D^&|yji 4 1}yYHLyL>RbF4FXis Y+m^zLe@b簬Ҡȃc:>H}VL֢Gbю|U`P Xp [2UG@K|'jVNjcHmDg1%pY3* Zˤp9!u=LzV~ʳ,i33u 1d=N96 ,djv-QӯM~{-dm tqӚwN~ ]p5/V8@*x-Kb|;]"ZĈCֳF'IZcWxYV w Dl %Kp`߂9 xe}ʻQ5kAǦX-hs 7}O:˧n3uCx,LFQ}Z9kk\MJ.Kh◗qZ`܈"3elr+vAuJZNJ,jh6]x_(a$\TOMiou?P d~P2h?= ؂ E@H 'ʨ:Mg,S.{x'gGd1ӣ1I l_I$.JP]Sc?8Q(l"C#"l-RpJǏČfX[~#e<{JAsg Tm =>> MM8zE8]hVJvq4HI{3 ]=)xIOdF&x!:֟pCU?9 VLԱ &"6sQeiGW.[ٰJӔ+SQ !Cvb}6M Ee5% ޙnZIlyU#,He?fi'e^΍:`~w9 "@Jqd!nFpm{Mvz hZiq[z6J%|2v\ O$܏gd!(0ɹf{Bq.~VO:e[ZK㯸4u?Y(e,I m"?~RzwN 4dxF-ytumͤ[p)C4Zz2k׸Cm7KA])\7!wljj֪ryH i2P5QţCò=?tCmh-2uKD#u |4V}5Fm\!9 .(+-KB>b_[7\WO+5 7rzs 2+nCHfpЀ8r6O/i,^fC{zg-,"_Dq!Ԋ%z9s0zN78_{3TZ"'悖 =xT%uf1΂~ЖAq8ҰB5X %=傸Pǝ_hatAєX n):)~e! Vk6S"}dF#mf g(Ocn@R6n+bZŻ`Y/HHabA937H޶9Zb泞!fFQ XX$+.S_|̲ [ n #q:2ըkGL.*Wr邥 .]:- Ҋg7Zy_:#$Ӵ9D9b!M6`?3 |ߥ{U΀g\-aZ3i^ȒUЎ0,c4t IFPOq( ?*)F@U%/<9]u2!sYd+O7x';v\C[|FeQI?)AүfS! WG8)ij9So71Wl A;?US9$bl}ߓcbp ZMeT2̂0tCHK uchtz!. Aq s0_ 0]Lr6 R?ḫm##K1h룺i"1~ ?7T~h%A&KUDĺ+c͉Kts5SuGxGwQ#eRTz}NZ0dKɎ[UZKz&2raA#DKrbOjـG֣׃t"j驞%vLigdg+|yN:Oz#NvN?%h 7̤I. &=>慐 x!u怏PDl|A⿥Z;#NϪD w_dCs\I*yyJv5JCs"WX0{Q$m㙋@vŤR7鎠tg8L*j` "% µ(N 50Ժ~H%nj_]M5LK6odCND`WtP+3<${”3g feNv5XhVͯPgzIM}ot,`"~rZABr瑤\K |w !ׁ3G߰6=Jkh 6_ :(lo* ~ҒG@S&qȚf$YsVDU3.lйl"Βp,WXs5]oZkP*ӣtGf*8gԽQm&*oA ' Ra$@b!@MՕ}bqRޙ/|2Q#tl:dhrϥ3A (LXֹi fu5w0|3t$lsB-Wv?W]7M%-T_܁G0eXy+"/Z"9wPOZx,Ы]\Fbm C (O]dl-߯L"ԓs%OCbޢVҷI/PVnA,'xՌ)Ir zMYQe:>8Rh<EoRpq,&2Z %ow$hN5d-nf2\yM=ZoՈ~:M+˺q\G`xpaHwI@j  úRW#}RY ӍH] ]$av =196w\Ҭ D` =z%*^~(LCيgK c- Tc]ꅱV\>۲e^F*ZomSAcl< UJED>]ІlnZ`nA!6pH-~/4y)%4L ):7SlRXp{*MGl 0eB-! )҇0;Q7qyXvWH@*n7x9fIc^9 *Y_zP46A[Uݼҏ&j`(QG_Mht3Jzqg< $bI[Db|μfSaaO>4ZېҚ&3 ɆJruy/BPD6_c,RTC;^sڬPvZOXt-K%ChL *F_#ĥ\se&&{bcH9E.`;QDo@cI_Õ:> jan~L:j- M<>VnQ) 8jyGl*lt dy`ǀ7x$NU653FZ^YZ48cF.-qm; ݪ+%[3*}N9&z"]LY!2FWZOu5D;=J͊f dx%VRSny7>>,U0rhU%Bhvm:S۬q3k)]v;r!ѩF=qOl <:qVXL%<{ƃBaLZ$ TgRcj lǁ(5F[}C%ܞCPC)|eZQҹQ%Cԯ7kM]@?=`+]H6a*~3fXU[A!#߀ؓ9 >+^VpEX";QIx5EVXWFad Dw`zVRb;ʉ>+n7h^xS< CUK=-h{5z7ίSD>8I4ިnC2^RO!^[+q8Z--viYv =á7<_)2& @Dɾ%Bn+X4~$rA+t ֮nXyIZe u3}CE\{egJkx^YMST?* ^G2lO%JWhw)3UH=2l5 㟇8w5E3EC! xV6<^mEؑBUP@-c( x*q }' $ .^8缚7*Do X;Càl; q9 "S6/ G@k7xkTQ#|Թsqģs_u>:I17nnlBx[-Ē2mYUd-"_{A]׫o_ ?pewXH :8sx^REH4n1Eh-lPp!o/*xaR(-27j.sSI\f,w\{ T;h:Sm-+V sU{(Mܼ]E6{L0ޭD3QP#QjO͇6ah;l`V.} D CRgt:_iˑCj^:~+N rJ'KZ#Hc+I(Wμ/걙ǐKWwJ1$DɿMER m_8p=KuP&yI#/U hun \kN.&MLz{+|X8+ە9&qط}ŮJ {ҹs6qm0 {ŻǏ'PAI4p*й-vBB&X)"0[Nzq_7=Pdo0҆n-+#cnzDu Sm 2#uwOL_ʉ#$Slb0;Mb9W?#;i  A.[TrQORf&,ޜ> 5  8)R?"paUTa1*bMMgβ^-ەaen -U\85zN6r~ȻU-SgΊ·K.qXH3_h/<+:-g YR/LrXBC^3]kO\554քyuͷ .N|rJ&52dDF`3׾KFᏮRHh$ShM}s#g5!Im5TjDe_xp(ߏKJ)(p_d>hNP5O**)~#;x3|iQS +3dKי7 4*D:|dGg߮=H{썧W!&!\f&8. q|8ESTj؈T.n=R@Vv۽%`J.a^\DA^#W@>͡]-hdb(2n$.3u-ۼ`~vk2İY :~6`;yi[DzEn1w}Ro/:ÔK>ܤ[F.݌;Ѓ B*i6||42!2$nVp/(Mxb'wP3\?y(3o]6Y"! >D·2~/87;  9̅B 'ҟN$ؔo :鑅hYk>0Uh~[bU O!mDb /@FKZ1:bbTtrE ec I5<7/wU3)t=9#X#31{A}?'Gnۑ̫vᥥa~Ȏ;hxǛ3Y+c pf&2^ga6Hu} Ln[ %a0DmFF֑laDv12>ō45 {C3f2ݽoHэW-o\6_ӵx@:n** qpDa\bVV*Fܡq9f4=ys^E$V)~d)]lLU<~nD,wN6fjecџ|{h{C?7(/Rw3ˈ$j̞`'بE9" U-I\}Im2=^{c߱,ߩl~0qD%R %ueY-ӆF*$AK2r=w5MϡSD藿U5>j!Nʾo cJ2)<nKS".}ol`YzD7VeՊA PԒYf-wY& o;O;kvgN;Z2,q܁У-{O9_;84* FYgV9.zZH۞-1fqtoHm@pa-,o4r7Iߓrl yb>if>Kg;[k^ؒמ8h}Q8 s[kMs,>$#Jm1[=w%avӺ2癣KRd@ o`J!M]?-ryݓEq&Jyy~~r;3 VT }Y-CUaAr yEQ}},]&Lf*+_A+2ԿU\ZpHts|ٝ,p4\w gёꝟp[$0n{~t;鴯G^,ꔝ&5ׇ9HJ v4S+p:]M{b>!duM`h3!(hDu+5:R&j:^~_m ijĂ xgBp4 \ʓNy4[ i^ vz. Q?Mi{.3T1kCkgtuhV/ٿH"v"p%d|&>}yE[T55~h'BAT_AA:MPe}H]"\>z ջ6`͆ W#_ Ospl5a-:awg^?~]xy25kUO3]EyIN4?*pY}4x=uMqpH?j }r+|1_[Qt'+,Kq,i]md A b sTr7qL_I|-Ͷ`fʉcX+\aX3/]:p`_$@7}.PрdeE r/)잇Ӿ:Rh8hd!*N} a͋+ USSE2:=Œ /Maj.ULt阕%.%"53s*qBU u&B'GRݤI%:-`|_l[w.tҥ-/C%?ҚPF_CZ@W{[UbUrf]Ek?ZMqS+$ra'Dk[3*]$2A) $ A򒤹\)!a c =b@%hUqˆŷDz{|.`$#d0l)#ovMCyMsOTTԎ?L vG$,qKgVK=T%\p 5пΘ޲ 8܈ޅМj\¶9/~ܦX{mtt& y)f8PopwXr7,"c[^$c![#ݼzc-G-lD+c#۷99VkuD`oU|_O#EpapK_eRd3[ 9/1Iih~R&vY:׆^o`pۦ/rދq")Jl0B"6.'7t#*¹p^"Ps>)O]zSWy~c$cvElJgPٰ㧊뜨I LH5ÆZ-o1f[KY J[VynڍFʴ:7O!Ͳ{67YO>=c\~i iWd <ٻf6DS vx:^8Z, +ky:VY̑g뷠r>J-dhہ jЌ}%?g_T;w"ݗH&n6f]ɬ@oa=EEՓ #QJy Jv5ž*l(H׉}TWbMho`Xކ;VB!!ȗf2jwAQY)Df'ApM'@r #Z<R>ݠy\9*\,V}+6.' BIw᧒Ok;-8 |eIt׋2j>(4&BN.W [ψbQ 2oy u pdV|JnYEBcG~?,Y1Z,KH\t_ !Zgp̳›8Bߥ%ܹjx6T!Y `G6V[U_z\!%(?JO;هt>|HT{^)o,܄LBF .ywQnt1PB\FTv?u7w'WZPfvS&w-&DkU7!!`W79+TWT)R27C5z)QSJok&PS>[ykVRߍ+F|hʊo[t˿GQwM^RzOSUcel=w/b%߿$y~eqf|iۜtϽZvo/Z⃉4XPlt RߦRkʮy M aHQG1[2"{sVG|9k*PјؠYy͕;b؆=,}qGZݲb쾾(5ltz#'.EmhVriY+mF1 Ѡ8lL4*V;,=wA㶹x9oP`eD@{i^/|IJ;-i$OݻZZf~/) 6΁r4WvymMg&@\CNB=-zx)'u5%:pT7 _GXwg,ڛyiy3:$;wb zއ$F1Zea0y/s{ʤjȩCNCȑҗ9֟XOXTiq2/: p\1q-{=x }p]|I! L> R]8sx**qT-KL.G-+ ˿޽w81b_bo%;zaM I^6mjYe6DBp-ɀ:Ta5b.&Jm?veDGl$V\cBuEPi^ǰn*,kn>r +ѾC_ NCXAdi*_Jz!),)%`ܨs\ hXwDOH)DBqBGG~%3(Y6A0~#kH_,>tXZ|'qĚ-r219) 0譸E5CZ{rک2A=u`ShH>\_'ZWrC§Tƀ&b*L}{~V_8bVܞKLJ>5 SP̝FhoelƘ ƺ9vtoA߿%  jTx[N hmn-Kt &<jԀwyy#z'b3X횺Ȃ+GfM40lԅ#A`Dru@oz1t8M/2f+hx` BkKpug M#hhCy˥D֯i-"ck-T{ qFq h+f|IBŘ$/d&ar$K4#Ex0LC8 !R\.-jvnU&nT+]OڼZ˿Zn0drh պb)/'nm  W<G,v@qO_i;1|\,Jx6V MZ;O+3lCS 42u!QOt"k) 8[n1wUAg8:\[©q16>[b=|Sd]rE1<}(_Po'mKK_+ BV<{Gf!ݚ DvLigQ0dxGy7]=,+L7iI(YQ&4ëQ a>(v8v!+ +' a}])pl8cRtӷ}HK%|VI^- W%E.+ꏋٷce{XAw[9.BSg;O VQ@ʪ׭ MAj ]tc#e+"R(xHN;=jΧ+*=,nn!CU_Jo_RTp.P2#}R1-#˻R%ģYѾzV*MF|_'` 0q<2,Ħ7GLIـZ[?Xd`iiƠ~^,pr݇|DԶ*M0IfD^unSBdwR4Wags`)@)y'gL_41^1\qwfx{S5Un EPfnՆ80pKŠL&`m@EW|"#iy}q(SнYv9_Y UrU~O HrX$e.7<Ģ77Y:VvZD)'5V[PݜjmnXt]^wp'&" S^ t z0.= BCt.z:~YZL C1;ddL:e AߑIGh 6tX[a!#aÂW#Y|mUg_G-dEpZwVFϘ<y\; .ئNc _ j08{HިdQFOc@OuOŸߗ 6 t+]OA[^meB=e->8TKxT$ۇY]`[IiL$JIm]-ίO-;w9#< ! 㢵{>!O)IsbOQ!cT iDh9#l)'^^p  ^:8yM ,LpO,*c Bqp;nMރAgq;Z-"T9.(E)ցև+lQCuZU'(h(!#Ɵ,h9(:} Fk7XjN W InyA\!ܔEX1͍[:v@mH|M*ҹK*8?P0\kr^ZwLnF: bIzd ^E[1 a.K{Q:8XEe7r3~2Ah㛛i7ٓ 4su=`A_"ݳƇK-Et֔LײbH 2>(s?* &טu 6I_D.`AymKo肢!:7Rt0$Y5J䒊jmR,?`OĘ%_" u'"oj6MMTS%^@1,i5}P#ڴ&VHR~=\]m踬i8+.T0BθVW҂ẑ$ @5HЭZ! 5\RG4gvKQ2baz*&f^ R}RMIy%مj_v1&<ωØwO-Hq&b5'y S}mR (;I"YIԁw@?O~!;"#IO/|nwSFU_r}QŃzRbeQT<~J -LV e/rfQ}JJ>q9/>[ 4)Ysxܙ]X'W0j4AȿYspORAo @虛5 E O:5_o罨 )\i*weǑ -kv$JǪ> 5r48` LJ3;I,m‚:b(1I#ORq9_ ?ݬt= $`cɨ{ cR]ߕTKh4茵GU#x7@QoOA~kj 7ܢ.rۭ=P@,?RY0!1j2w:@?_0Vt4NxTH] $6D9UF%4q#o-4?RelROy͵Jk:l!Uj.ПH(D94w CL0[fFʻ i{(Qg lӿ ǴB.;b߇Il+][R.@i56@DefJ"qU