SQLite format 3@ (- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 87 T ]MSO_Regex_Equivalence:threads=2elapsed=563.215cpu=1098.536gc=46.124factor=1.95 7 MSO_Regex_Equivalence7zXZִF! "]ŗXf1-/6vRZ*_u#K{Tujab$^}, \#)D;I_\0x{q2UX@<;KjG'Orqdm˿h<'B5J}u 9/yR1cn>5e;&Hƿ y[A Lvƒِ)8O;*sM̿.b~]2RN$!VAhK`?moY H&Dfib,bOFg0VX˕iQ sNQ}Z1ޛN,hOY0$_lVHp;8YIa# fO/ 'epC%>~ ب.؁{ΝUnՓ(%}~ȳb˓?Ӭ5uuEh5#:Z:(N# ʙz-r.@([ /2neSR>3,@@߲1-d\vwr )ĭܵtyW_IdTv0+KDTXfd0߲GfBAk# y*]|+7FTH`V=~3hdܭoo&b-W?T2HKWa6~Ȥ*g|fi%Tah#Wq9Mm:W >We{m&st9KNS~V9> cD?Jt5?JPgDtN$?.Г@ 81 %yGU\*_cwdP1|qkMGC;9RE'!(b_#jTR~ 8\U'So ,Ħ\dn˹gtu;mF=4U('@-`xw+ks8O7ftv8F`{45CByT}C*9ON"d2Fvu\@K:gѶaJZtBJ"2j~qGnDd["gC?_#lt0خr$t'u-ipnȎ^ԯ1 eDO+,)o L F<' ot=ϼv{VwXcmTG缙E )}L*-2 Ԅi=$L'Y@~ր%-yЏMeQU_y+zKbm])Sl ܵ]$$C[\-#~Ҳjͦ}0(q$E5UUCV5u+4Cu*@XLALsNHrE_dNgI V8 ;F1[B =joEr%b少BK)qG.H*,D}dE`qvը_눨Bʟ7y`kmƉ"2|G-eefԊc, wLE#>ݺ`Q hsH i%c« N@-zM4jNQT,[Tֵ^U R\BLlgqa BShiG ?Sr_P/ܚUHmvG_wy clyYfЊq/ )7Ʒf݆`lv{M!e1VSM Cy&y K3NQU~߂=zXٍX3HF! {(=YW)Ymϙ<Â|s墇' $VT 6'|Q 7YݥrayN1fp:kL/c"3r86@X1V `{' BONe[2×]hLGK96QB8? X]Iy"LS`wLr, a7Q]-WUT&>)O$*(uػ㕆D_qP FZDtsdBZr!Ec2}Xq #,4u9k!Hf}{zِH GuF_4qU`0ڗ?]}XF$Y=M1h,XF |lZm%UU`fFP5 -gI񏶋D:xZ:ᮑj,H]>p!c1Ңƫ~CZdyۘ/$/*3ϰah$l )`n9ۛu_o|8H@4~ }Lo`V\ *7. LP#Lgg|MjzX ]F+Yw:ǍE79{Vv[+ΰrq`yL?@Sի,iq F=s{@Q&Z"1n~?e F.?ߐn.F'[jrZ. G,_B_Š"oz].&YS`,QmIP|BXѶ>P<4&_:a8r) 편tND$4tcU Z2':ei6 ƴ¡smitRqkN?8qO<}~fwZbd`A% \fp eYD7b*yIY|a}xgzb }Ex~/$(<#4rE'FuXLyL^f(@. Цu15_$RD`^-?MSHعfXcf)|~"6ЌoU#-'X@_zlMl+]>OY`š#\و,Z{>R|!%. ti}Uhj%P.) :[+uhLi)up bUjڱaKh8xh4sXc2,D[o̬&x)~I'|kW,jv1n )DJk<.uQ~3i+nHPXypyNd iGpAN+LA:»PV] , mf"AX\ gd5:F#i&#]PGS4K`($sԖG{< C d3̶eS!%f\dZ#j=ke-]&2&BLHICms4yLB)[j@㮖I="?~)v:׹]*.z6 K/L3SItH qֆu8JOuro=f[fwG4ZT49pM<Uo@8tQ[n!L͇K'EM<~50\S'$Sc0x֒N™OX9A`^儤Jd%jQWYxT&BLxT6'$.gMPc jOx Pl|RX.3|w`ͨ@xL"؆VV }@MPYLgoNpC"N➬SxɳiN3}G!-e"[S^YtOe>u|5*PqD &Kw( ) ȭf .hdU77x^(CNI"R mFG9ddɽ@y@]Bw0S _gIdW@9 FDo;\{ zZՃ#}C0lydz #y<(f-_15&d%BhR򅥥h*ImLRC.:YE F;}zͰfyiD6(+U42V dm]"-xxrĴCZ*epك[ 00#wB݌aWfϊBjGm7h@h am!:8Rr= <1Pm>J'wV9˳h9sHRvZƗ)S(#b;3W1]Z )q:8s3FZ6&=;,˜D`fg?9)aI{~(%-[IZ&}n!60ecɼZ.iiŵk$Eok([3QX]SsG(j>5 p&e7p*Q6E*n;I2〫Rz.`=9G%mKSJ=3 O[YT%hRH_{RYޯ$ d$Us_KFӯhviG])5X-FYđ|(KH?A! MEO[*j}Bo•3R#4} p58]횩NqI+=j{/ G0 U*#"{w5%'Q q9>Z_-4WF'SEVzs@l'9,1l86eHzS._zfkVHՎ4vbP^.Iy&V A|(3B{[Iq0l^UP&qB>[A"vk&r):=_ OysAn}ӛx3?h06H %DixncbdZNHLX3r%ghK=NIhyd vh$S3 5kS\%jI,N4B#9rB!~FW'dHy#5<%]٢bѦ\Y+Kdc٤dՒwE .I4Cu<='5މ܀Np#OdfocCn`g Vb\.7 3!F޴![ؽgvmc|^otd !=GoE8Td[Wouu:OrQ 1䎐l;4(lr3@\wgXu~dsO,|cIAzx~5 V3qQI}yܥ#>+%뀪Ntm/Z7lt%BVMv6:&ǎɥ)b kMJ`C1m֍S{+<L 6':m,dԯ>]pl}G.Θ&,O6{n03"l\ 3+9>H/*bcisKVwPmX^٩ym,!<RnO; *_Yw\KC _.u`u1A1bc<=3%kZ_A"A,?H[}R@FwrnYޱff oM2}C)P*p7ڬ=׮يUY0ICD0*S丰v^R$‘{NMiYg͏PsT~d3{A16q+Ȑ)yphDm$.TꑦA0l g#} _En5){V3ak\73{&۴3գF7?XK7Xhu[#y |\\)C9(GplB$ZG;;=cc3[AQ `[, =)»p3H!- ❚G"`Q"0W$++ɹ)wp1 )2wq!5YoO;[[31Bpy)Ryju,?0\BLDs2oyi'|e ]c.-!MP]Wt;rig|lqK)ɱ8S]X~xEv>9i {?,3\@}(ދ= :S|V"-#naҨ6/~ /ݣP [9zRS4iIjh'&sf}E!u$\_[Cnx@~0L{wwB;_,-SzBgeKؚ+m94)']"?|ϚD !uw6#1:o6휝ySA*!ބ5 ˩j)X4UȓE+\zZ8'<]2x}p޲Gk#QېYHp u)W W1FjN?( M| i-jYԙqq@v0]˺?1"hֆM#=|xG]7ÃX75.4`O*ŸL`CB{'4w):%b)+flP;mg9glTïY +\T]$W0΍$@iNKe#u-;͸=u85 ՄeÑi:e=KXDml l ϭ;8 g5`Woě%-=?f/[@k)dwOx;ͽP"1l_vA#Oa\9(Z ncqx+CNVJU WH4\Z Hv:̠A[q;u7TY 1E"3P7HI9 &E,+y4j+)`e"¢ A>[F[':AUh+gk6<n34pCr>qXC WFuLȍ԰p=VXS1uN1!>^iB- 9,_pDD`U8Oχ]Al 7_J+ !F a{ P+vo$*D2P[5v1E$>gYZ7zXZִF! 4j#]ŗXi%:AhL`[(R0Np#&W*Y-NA r&3`VPx7SM@.L2`:cS3 vўцr{dPDgSYAX<&.ʺ cúL:B]p/eH]F-RQ*SڊnGRT|SK8 B @}Mѡ#o[w0K<e~X+K~2MkC$rop90:XxHc|Lqd!ȐuhV@ ꏃ$]0Q3KyӢߑ bJL` ztX `Gϋиm]Tlᖑ~Z^1 neIǝ:~kʡ@LT <R-̈́uUNUvj޿nYǩպz]w~G92h)!YWD>:'cu+rbxƼk#vE2U4W ;=RtyΤ]Eg|p8gU. OڝP1ׅ'ɶu "#}*JLk(yDD^OĆLo]Oz,%b>`u!droe0}i=Y|$"Rjsv/LKV`/<on#%'>{;]ajiGLոݵm Dنqm*x|]%RNaGͲs;'xݿ2.V|i-̒m!+?·:8ݍݽfPyg@5A<`!^<KV]):@Zxo`<oZd1q-ڶU[N'=K?$nYN 6cN*B]ᩲʺxo軻 dQ"!OqWʩ:i(:ٖVrvA*F@#dzUioķ5}],srʈLDkDequ>[Yz6UE(YH+vo{& Hk7$u?Lrh*sz{|pC hWH}K]c6'_z&:N˴S5Ȏ|ǟEM lډ,cZdc`e9؅[AVxpO1݃RTEqEzJYRq_!8īs܄2CԮG.DI[.Guu7jM*<7A H"5w  |]/*6F ,Aʲ\ U(n,38U,BU$Ꮽ9Bi~t@ءatX |.xPVncw7)CA񠢤O\ǚUt%7^ͫq7e4>*'YG;(;}DӀ?c+VnV j;bBSzfwI]F" X`vE=z[X.`S p5fۄwtWMk 8n$cCoX@\ù6/z%ڜN𙧲>UuvLk١#׭ٿh|r߉(ԃi{;$?/|YfoAX\@NmKdm (o6|G{&Հe .#)_{&D1 r$XcmZ2CdNn8ΝYuIʞR\΂\:Ӥ-ߢazLdʑj XXN 0!y^!VK\tȾ[bԅU ׆%pƋM̑jA+8E0#x*h-ߨ\h7uK ^+% 7RUQ"$pv]V?riT@? K9\y &{Q\C _*}cÔ'/CxzDMT64\"0crZLFwhlfm_U 92K8hI) nPnMAW PƽdPO < v4 `h$G~v*#-#Ӕ)͛Mh= Vԧ#l<:D?4g G~Y0I絖KwĽ\@J4s栋)Z!!=R$1.U "GwCPQ6TS^SٔГbȉbV-9%Y/8 stxױ7Ww*9M*eI×G 9a)(k} ,sCȭx+kJGN\u[oԧ'Ôض(*C~ }_ОNͽ5h8>E|B7F}7 U(+\E{o* 6RBT:R* l:`KDՔw&orP#iT:zv1r1mm1W1B͕.̻b4/f <͂K->*. y4FM8 ށ4silf0/юCYLXRGbh(g=_^~Q7_BC^%^vi>;"Y@ _BH̑")I\vHF:5߫ fE̎QQ=:Yj|8hÈH'￧6oWB`hq 2-}[#U~ u顫N9HlϘ:-qfJ 9'6,0)-dCUj~Q5E@صCSY LddjB|ed*^M׋n}b~i$x[}-w>d!˪zaW{֏ J BLvY3mOjoDF]%>C;ٖ,Ft^`5  8hTW8`q+jkS̾(P`z~SеIrWu[i pqN߭~'9@@]Vl2񎔵у\otG68E2:Dc$UyA$sCF8_ HK vl1?ʽ-2zI-Hzql)AnTtl+JmAPSy{3QEWj=8ϖI*#(8P G.4;\ 3ʿ 5}7lWӯÕ, ڿNwXBДoi:ȀvѓS[+`qӦ[ SͮH'R(':hyLx>/3=eZ7h.ͨXtH|K{H'QXxe(7+FBn>Lup U͝"Zfhll3$0a, L0DьTdy=T=.iNa/ROkՋK,68=`}\+\+T:͈3D@bT\:, G1@NX'm5Q?[!9C,pQ,֣s/*õB&յ- N$;< {vϒ6ۄI[e20ހAe3ۨ +6Uyeo9ڗ x}>kkDias8..@ܮG1MFD[aM Po:'U7J6413iD :Q0-Xg m\O Jb4 'Ix bv!rc8 dՌŷ^"&8yl_d,6a ZQC$̒ղAY%-,2AR5gڬ0yz@)k1u Nʴeȗ̿VdVcezayVb ܝv{:j^jtRAk1 cpIzxk;sVV`.1lJ}RpVu8Ǎl#K}&k62m- %~ṫ=\:?;ۡ.=_-1徚 >P=^( ^5olJ!یJ4+`]q`NSWAø%PόqXQ=td{E"Ժp 8a>" iMpy6/2 nNôVɍaWRZ͹SjRf0ЎJxYaOߝ1(Krzҽz#ju}@@F!!AA@Ы !r>̮qywbqAv)tPd Up-g&h7ֱ0A;JU%)ME,pE1 -Ͼ-r\ٹI^ʮAzVGuk S0 :#,#ZTRqxr%R ֣il˔qٚ5-Gd-+xKTqK!eSw#O#* =RλhƷZofI)()bg gq~Ygrfj?PnL b NUas^>(ʮ <˯f2"H I^y @f|ݖ3tѓQ{d|{hSUIk`;؞g_ɗ)00Nzو7@3NK|X}$|Vl\\En-fR/󘑰h T$Z׀?gP4cD sI돰󍤑#d9D6'b ?í YA&8HZoЋ=;=rDXR}l*PN+qO!|H  ee7 g8<$u8P;BTFb4٧Ye=mʩػ%>F^1o2Vt97^pXa!rT|X-#νUDr^U+G)0%qy?a=N:_uܭ +cLc| d[vQ>ˆO4<~x^DgeI[J?+_S`=(.ӤV Ǥ;ӚץQJdG+W (v(6w 5P0^a8b>tdg0-53$ `RDp~'ˆeBE5:3y$J@ab}<P`ytp'ͨHZ]PۖBjqLa/9LD[8L:4xJ W,5m3`N9#z~r,mS6w㕁h]4!iRyz 4KH0Ў'pvؑ`3?^XS"eT} ZRĦbά8[m.}=5;߮D /^G(JtU!#˳=w1ᶦCUHL v"sL8=b5zGQϘf(Do?bA^i=9|zy}b9.㠵d"&́pzʌ,qz# L#>2Q.z,嵋j]V6:L܃PR_!td-Cns1Y6B, ϐ*ha:낅_u+4TxRjJfݺUcT976dz ,L?!0D7>>nME4:kj~p9n KjKz2^zܡQ8QZ)I xn=D\:j^x ͘M`ӝ~`[`#j=x=<$SThwgݹk>K>brd @g@n֮O!onimV qt6ۘįNN|K3Mb ׮ .OyˢjGLwy2Yn1skj\<S'{nQ70;Eibn`(7<~ _SZ6]:*Nbĥ>L/AQaeT\q?`c¬-W/ޘl棒 R+\JN:$j+#F`oшK$~tNn4)vaR1(M:NzJ~A|>~>g]v/;[BK'"C_aN+rѭ 1C6"67$waFh.%R0*7C֒MLY0pw`WCqШĚ|BJ IGӊ̸{j):v(eݾpJzw^^'g o <&7,;5ar Dht?R{θnձ]foo,Nk#CWW)Qe_Q"U9;&({݁(>Q_νe|WtD%n簻L1rNѸ.P[ lƇlSJhc{m:vn}z"MA^4\t}?/R X7udt (XH 7TJ~?|-+;؟\X;KX&7f=Xd$Quѕ wmhAwu'Ln;9UڪB-pn~4OY"KK zAPɞ EmR]e"ޛGOLwCbɖJI9lh(0r,pE1VAXMji{~'eYb 䴬Svyc*Xq7 Zn=.Q Bؿ&3%0DG. 3MTy|4LJ)5"MdȕCɑJ7#)ymr )87 ڇ6 4,kQ]*$Z&@# ̴㕠5ڣMŶHR[NecEjr2y//Fz$HM u:* #%g~Z«h)SCA$|%,鮡e,Yc6ږ:ձ&@J- dW?ԏ(mjmߍ}-Oɖ2'Vi^)Qh܎:iLUH S)k2%aoXM/P'HU~5 3Hp:{g*y57 VJfQ`@p~zvuqEixx0)]OPb&(h&Hu6|q/HC!+x5[y R\4jxdS\Yӗ/*b̑(}BUIm|Df1m(adΧDs)7G館YPvضR&)g^f,+oZkP^P{ ZwÁ eqaIX}'cbW1+8qEC4E0WiHfz>WMW|V@=x@c@$2Cq7mϝ[&&cnE9&[Ѝ{,8<ayvyhIctv^G}Z>â)ΣgS3mבdFƕ:2Eks8> !UL>K i!< v BDR2L4w,EՔ:Jv.̙Rׁ-q[5.]Hq[nޮTL>f"O,bpuUacCj3sT\ĔQ[UN'^B h?#`A Gu06}hʢ Yɦ gw&l;+Ty8zl +H`j[I"nfY-Qժ!F1+RV1cog6Z馯.v(iui^FcFa>q0(R<|spWA_2@IsmދdZz|ļ h.qH6HFpP܎eHW~ ?}2?  A;{3!tԛu!N$i(=2t5DEW{ UA>GyMDIr_*-(ԃoqKI [{PWLėĔѳWO”Ipx`$ " tIT Ҕ\I~Q~Xw3%ug]Zɚ&}ʠ5/ ńϕ˫ +)[>n$]rEǝu''+p Oa+X%|ԟnTe~ ]z{'kF3cReʮADC U`14}K04v:e/*`ݩ0TX81c4OڜS VF)D2نEwB] lVyl`:ؤQUf 6  zjb}`҄eҩ2nŜpkhAXaIZnqtiFag#:!f#R|?=d_hͩ U9Mqބ+!Q.̊1Lu^NR.I_o` Nusf½x}ė1H+>k#cci4$N^-vsm׮Qm%÷C&Q[SO Q8{^tpVz2?rnTsáˢ2ԟrscɏ%|0=q۾gnFpI1om](=X*TA, Y1K LЯ}íhܝ7^}R> \{/to muWNKcr6YRΨIN^j3M 3) RآjCs lepQ.+Mb%lB]yJ Մ62w@nnMʛ>B +m.ٙ_#OYqN]}j1@. NuI@{'Y,Ox|þXVn/tV2>Ɉz]n|=jkU>{;vi jwaXK j{$!\(L;0& lh(7":iΦ\V"M} ^|TA>( #[5]]}a5|ۇg>1B:6#PdIpN4feR 8Lf_F!M&7u(kL4׈Nwunt\0vWN#!ߤ/EOB3::!GýkT}PkG=X3h&&])k,sj N%^uDywg#ιә T쭪wfD}O@%\@!`KWolwlItEB#72x&yލI [焫҇'Cyʨ=: Dh,h'F2w=lSmZ1y4ձRv; f1- -ʘWwOJpt{VU &F9Mzb=݆-sŤҭ#"w=ʆgmՎv"w3JMj/rѿv&OE˓2ԆL]"Ɵ_QjVl)&q[(┒,uFvR.O ٪}?ZnL 0dgÀРN8u>"۱[xiM]{E39' "KLY-^2$b39YBjU8O^I`N ln V~fO?i?gi;#jPM ߻؅44aP "vǺv: G. Q}˼?7T !,/Bzwy3F q8 ʋμ%儳;bGq:gZA 'Nr~@6(v[3!Or Am;b&5^\~^q0 N ; 7īhV- ^a`ʇӻԻ )nV~erW 7dr Hlp{m&hxoϬxq{sFTpKʂ˩FI-@o>_$+x{V9NmԹsV+&r7ʻ0BSՄ3b6IU4!˯El'ZLXj3< UիRID\8e eIX^F]giɤt ؏Yh|*T0-BM_CSL?5pkD}>-bnZg$8|!M_֠jx;kwh[S}AƈdWAk>2wMV/Fr'Uۉe,Hqjњt< T227k %yip!~N8{'l U"=$0Mk:2no2+]CO1re9H䢠雄|QC+:!"ُ\Q}1K4t !->'ui;<+?(/Tk^eģ^?^2͈J@0=KUš^-*~mc n7ppT[׮QiwU,%2/5B[l^l2Eb>n)ڌ ZSnMuظ|C9:]ʵ4*wGI1LW$_WtXd5> LgUDo(NV K*BFXpsD)U>\B(-S]~%N'!H$ZAZ+}+'# B{8pRs[n"\aI\uҋמ๼s\ p!Ve*{mQe&,10e\Yf7?1 q]uS+XrR)1`Qa}F"}6ѦszkC+Qv{!%&+l0.ZRĸz_1., O^ÞJLONϡ4U[92 jU[-BO$p~ʮ<ûZOp39',BLYEXxdW-'KlGeScu x ]hk>P7M MJ2C)^NyI#-hGU V}x0:E )pњH():4)^ln3@3Z{GcQAS.'(KEAR또/Zn$vqKVyB 7-Ǻ03mNM nǸ%^[D=5޶ x=\?$o;}t5`yD̳׌$z?YvMuiGF<dž ]9(52 '#r^k)^~SdƢ,ܙ`빘KO4i/%ޙ K:/mY!} =f2)gdo^s]=3vũ %1 o6+ պHRž氦E>ȗPIm)C@0023}D; UQ8;^((8;[q&ˏB،%{{R vu;zטJe:v|z? &]V?XE8>,(Y.ʍq._`2+g3ؕlrBGCc~PыG޾-Q 75ȖW_/\J٣iZ ,Wr8ҡ 0ӆɹ (IJvYaSR`HMAՌZC D,hlR-`J/ hÄ ;'97m6  /<ߚg JnULeBҖUv;xNXEyEkR"f8^uRzYi4OIor>{:43O^-24ԽEL>KNȠzVʤe=@YtSs+ib!_T ?qI3Yn M^vfG)2ޙx67g t>b/2=@1>,I.af+'0#Qli %G&@ .Q_v+>i){aVSٳv=m 8> m.2~瘾Xd s_κp DarsNQIbMe==6`wˢi>9,q^˵49$ nqF`)x;QLJ`΅e YISe}(RDn> QLuDRlEXsG⑙Nf5~UIo+-A&BI:w o mՎ@2Wԁ +.6N{ACWuȌ z5ڐžq"Mv$gD t }$Vnו$b-s\2#Υ7;q`Sgx`O+W} "u#{ m~h۔#o#p8rK3:ǻE+ӊԪÔ飀ڋ >gܒW.vzyz'"-LԔzzqM΁_kU\{G_xoMrd0f<HdNב6/4H-|[!~٪\PyP5=-SZ%i^; l1 VNz=]Yܜ\-SSRjFjdxY8X$TUyA!Y'oz| b*A>7Nw{]DqjSE0ӛl2]$|7bƙUvRcp^IqY}O_V37G)}Tq=ѻrҊIyF>Y)>8`;w.G|cETh[zGU l*'pu^gɬ06EI?ƈ2J0U7eK7黛[^FK7M"njy4d)Jk􅍁-`w'֦ƾA>VVy;+ocN-|7 ?)eUtJ'x|' yd"zyΊ!azS ;!)MK'$%~gF)?Ĩ\mqB{X0/g z)H êᾹ{z$#? L <) g#O:m(ݨ4(+ 4MsXe([pPcK.wѿ=雷ĥa"F0نGss0wDݸ{)JUkjُs(E08 ,w"l&`)Q]Iq&JI$u~2(ÚJ Afs@sҖpAoyCޞD =H ^ʉfI 'yѢ3hJ=ᩥ(mǿy>Գ3`nj}&)5cJڬ/m!7&C{|irE`=ÎYo oWʢ\CV႟BufhϥU;8P^4&,<5u )Ʌ9Q^ 5|"F-PlE_B" leF8=F]oh7D#R+Bm$ I88O@$1~^O*?ϤS`fΦVAu{a&/t`t94/V4T7wgc^z-nK =X?5, 蛯3nqx辇~9W,in"IlY)M{8 <88,|Cʮl'C^Oc@۫ d"X?himq WVҎ)J&T1=}f î۷8iLOlDzF {lI_{ccm]iKGtD'zf H" $ڃ!`I-@3kY|%5"7Ac`tdV V97Dl}y8\Y:P4[.?kxU+XsY68aII9!Arpy:8iDp;Ci6s .T ,,S/$t nQcbUe'jJoتBס޲%PG_n>s @yxr*',ZYGXc1d=z=7Ls\N.wEW8i[QRW 5{Api%t\*]3Ŋ[OѮ84E; D$ebv\䮞 Vܦ_;iÀ͒H9DsE IwF7,I)Uthrj9*\vhѵL?=8#S}K,&9IsXQ F㣿1QcaOi%CU_q/D9@{ {6G;ɩG) aBIȐM o߱3{gM3íFr21;QCWX& Uh7/ BYAOi՞I} @o99o[8(S-}=w͍OP"Ȥ)I~jÅe  b)"h_*&A ՃӈZC#9KПnS}r%$ZK1OHLmmvO5y.׌kTy@aXTNR=QcDAK '6N&#p2z4=ɐn"0\({\8de3x@X4:F۳%PWg 0CUFW&Gz^SfAE ӛ2di9Pzߜ$ uMKh:#2SQ\Koo%'mjpav`{r%z%𜧺Wpek~\ ~G/gɐ"poٝVCAXcރKcE *ybݾ˵ յSdCSO$W3q ;2gKܷ{@Z`Y=E{[0"'pE y_,֌Vi1!5(`T1\7|t0Qw?33M?Q6&^#m#9$ R7i$考SHƝ&<I[<ndg1A2\g z};-b&`pTAϣ#_-zdHH%K[~ZĿwopd $Α@zh :kuMsWA\w6Ik|swo )3 C׿&!ȉhChXt)Ifv(}MJvGaw,2!ٝ UG%ԑټ>2SUډc&⣑pګɑn18d1=lLM\t +9â53Wa zOnN9'2C\#1Q0lł,T{rl+k|}[ m+Fc{2l)@or ,fOPa;%i~oɓKQH6;>j_cc  .(gu 鈿,o m8³iktnVf;M˰ X!Μ<{"bsNd)𶾗+֭PK6| O$ gW^h b \O0:r~xe>JjJqGK?mac&t %*r+jz& Y|e@lх>n~G#SOE :VRx5bؐ? TX< )٣_UlsSV4x"7J{>' R&qQ_pҭCb:22 FgF~$"dB+{)V~4C@9²E_ O&RGq/$Aِ>g Uy.PPJbKbó@6HF!CI߬q ZE-m,Fhx<OǸqB2q"H8@WMܐ4teʸBk}Q,_´ DrE?ׂc6#%h6wn_-~h1o`{s_~uv\wC1xX4 Mo3>R(X['YU'B !.@ictԇ%1.G΋GJ5AFoWtU0 ;=m,Sg2:_'w_uoHbx 0siM:SsʒQA&7tb({|ZEZWg(22Oz‡k>v{̷ -YY8|ŒYrbDl'hvN(pш8E2D7ꌬz FQK!UCb#'A vi.N۬X5XNԋhSW+'rҪLuO4j pEk-sӗT+)鵃x^U45-t!wd'" '~쌇z~ll=8c\LiHaG8\LZ2EJj6OjYQDKtIOg?2'^q(1wnŚ$}*lV.^1V`>B y,Z6aM%/oenX/=(> ƥ(EۤBB>P.62f*Drp2Jq0Y0$}?[}O 3^2VRӝCKN^|6'̷}ҾTInz5Z&e4iŀ%5f!>5ް4|:h4K7+<̘ɍk1e)6G ʃwߩ$T"G+$z 0%xKC-j:"&<{$bWg@u1/8|c冤EdT) 2)T\@#9igކ木X&ӴOudqR#P̈́: ΍.&:Z`0mfշՊbQ<6BPQ[nH)/ɗY՘ZdgQM@zwqRǖ[$\FN#xM&njyPVYOj-W5ryNfv1,ШO!tX>}G_5{! bl)XtiXӨ0K56Z CX{T**3R˰\@&^ ry|w"Lo0 9/ /xHLtur隘YߠN_s; zͫ*ۖa!u1&{Ư3gsŤdD(H*6de+MZi B\skX}l}z8D&Es=ZAN%G4Ϥ lbG$ʃ nI@jʹjG\{jU\ Dl٪씙ţXM.3ԄUɓá!}#XgF.'!df9Q((sa7a +Ƙ> l72qA) o!e\O-\Q-wf314\S|mDǻ0 h9(\_3RN]8 &¯f؆g*~] $y4 W\xގElQ̣ P9Q*x)cEktÝ(VhixV4߷QIijP<*Lb-3/(nu/d)CZ3 #v%V0ɲ3V1f#N[[4lb'jK6@{zk~n[#~C2$>h4 WGH͚<uy9BpDb,DcJpA16G#rqq_LFF: ;+ʥdp/OMUt{ET3x,يVO,g±(nW?&X Sͧ0\vSsiUv`:[ PذLz[<4L6r >wבǑ\둀gW^;M_0%FSjO#w*\bp.oP zмsB8/YKyфm^ c(׉w7qj{V+wl8(Y1K_='d}Dޤ [T'Z c H`A<$_T tίVOW`t+IqOnK ~W+5Vx[U2X TRq}kN"?|jo?j/ 2>UV\+GR!jcJA1^PZ'ۣQ53-XI;bv%>3% izʀDUM{ tO颎*l$̤Q .-E8Jh*ym8/!#*BU gZ/e4o{Li#S/4hu3 UC(2ܱgYZ08be19446d72f9bcdf2a842a89088d9869228a5e 0b69d8c3f70856201e8c054bc34357b13520292f 11a396b61ff67b5ec635c1f00c6f0e8d4f88dafe 1e3f3b9f42d40107a2af3ebab615eb47af40ca39 2bc18d57ea87da2d3db0a06a6e5558a6dd698150 2ca548f124bf08fde0c7f05baed9105248d232a1 2e8dd58e2ede383cbc7fcbaeff3b051892ade632 37e048eca1afc2c069cebaffb562a02b039bb22c 4178d8263ec1affc708587b75c04983d8347c352 62db7c2f912509ab5e52563a32412f6c53622264 6a817a13ea5396c1f21b029eceff23213f20f9a7 7102c8fbd6151cf5569b2dc55155eb20a36b3faf 79f31440868c5686b204e83e4f26f92eb8d94f9b 7fdb4fec52ca3e0a01be6b2d7adba337b9100adb 8a6afd5bfeb7cf465f3f94c15c377f7b807b94cd 8cc6283ec74b19d9a6bd2a74c7cbc59522750437 937f9c9fd64a5f87600ec011fe348a83238dd506 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a273030280c4fc85ce6bad40db954e7aa16fe6fe a526ece146642d823be07862c7c8488392c4dd25 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b6d0a023212be48fff51171cd7accff79761b911 b97280fff85209edd580d37ccacc539d11adccef d2bf831b160f6ea48a6f74bceea75324c48877e9 d73f179eaad464b075b683de05552c78791fcc46 d984bd91b3c24af3b069d46db03ceeff6cf25e56 daa5e0248528bca893daa43713bf4e7fcdba0c72 df7d6430a4bcd2af648a3201e1da746191011f8a e568d88b6d74be27f17e0458076fda5c5a80e25a f03b13c1e0db20710943bde849744b43bedf3440 f8ac88e6f8cf4d261ef5f5179023ce80c9ff17f4 fefcf52cdbc5dd45bda0389fe4a696af8c511c83 ffee0b4350c5faefaf940ad0f98f4d81bab1386d878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a1256b0d80d8ceaf5f864569b4580a232acc327fb0e