SQLite format 3@  . YYQ77Atableisabelle_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, "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  g7| ]]MSO_Regex_Equivalence:threads=2elapsed=810.247cpu=1042.208gc=40.420factor=1.297zXZִF! ]ŗXf1-/6vRZ*_u#K{Tujab$^}, \#)FY댍  36h`@rPRV7żm9OD qg1˟)tYOj>'3!0PlBQ%j{CNe/Tps Y P|(7Oi褛?h|ҽM_~N"+\wd`h|F%#N^ v(L*5\<&1 d26R* ,δ\b]q{Hg&aGCCrcExl MXM!찎]rV=kZRXiik}* 7 MSO_Regex_EquivalenceaCnF̓.iRagvrmiCcTT~bSN]"^ol@ln)a)N鳴|4+*%Vz1xd3?,r)z/;u&T2_Y pZM3{G5UD3>?:s~~myȪ\+DFrR#5˚)R ^j X? ĿhfBXQGo2vj1Zqo[>0"^>|%3Y3nfQ BzKݽ?նSSӤ'(l+q߾". KGퟚл+{&~ .m/*cfk/d Z }BTݿuUyŒbf̥9ɝ&Pϭcc!r?|_GLL/jfZ Q.*/)^2EL&? #/Ѳ@_A@Y=]7&ږrpjXt,sv :4RFXҬQN4j M$[L\`.[pp.I*>>>|t=:g A)jlX#͉pEz)ܱNK OdMCf9Aé[5iF"r ϼY |hx÷8i.O(7V ,Y`P7qa5d7/|-]t+ jV~E$544^UpDW ˡ#arKԎކCWo hfrܹ+KԞVF ,րi,0'05ӵ2\1ސ?1½r:b[xCQY#43 #QF@Q K ^ lۡ?rNӏy\ۈdm)ئ-D6*78c#fu'~9AueY_D6UH  5kF7g%Ԫ0ݷU< :$ֈeޯ j)vl@̱jD6*Sg{H baXJGM'֪ɕն EeǔLj𬅹 E]i ʓނ \yQ#žޔϻը4ObYRX/7)d7/07`gd釁D@^DLI|)vX6@s0sE+u$ovl"#{oVN(mƄyoW2G֤+k[p#}o97&=TXMG%'o}`júg!ܚZ{3oҫV^:(d1Qp>DTR v)S|A G4]Aۨ%rxd=-ߎ/{^6'h JI5Ps3wv^z٦  4+^ᵞm [X:#D_Bˈk.G~ml}[{WKSL'DfO H&D4|}#]B)UI!_Qn jfTU_`F6<׉2MQ_1?hwI? VBWWn&۬C^w+;ޞQ"gb0fcx@r)3D2q)#_=L?{8{Ix(NMR$T Ңai3MP  7=΅ګj'u0\Uꓵq /ކv'*1GTc`>ƛ隬u )D֏0b>]w>_:=]J60j.P. d,Ľ9_l(5[v`_)hzX PpلZ1ʹhAb1AR 4 vTlU@|΋^ބBmQ E:T;){e?:oa7j)(&!wzPxm puAz*wv45Z WH*Sxz"|"n"^' Az@輥yci]k|VW](h"yj3]g$w MiT'ZXN:%nglYz^:*3|LP$8[gkfԜ1ExGgunb*f' _zY-a͵rMOv#*滛˂#O&F \jqkGh2J8Wu6!ͷAsi@&\|/f48و )_WnU”#r#Ӡnp&PM-XA \_ıq]E3Xq]A 6r(U(gYZ7zXZִF! r;]ŗXi%6q ~IpSJn)V\T o c(䞞,W ;?'mv7PH8)vcf@yө6~S$}  IN]sUq9+],M%QnRZ`p©=ײCTbfCu;y,  ҜҞUgݲmf9N*܈6TZ% ,;n ߿ ={riCxdAɃԎSZ^}T6Vf")^,/.áD'pbRIKtaRqY¤ 5!}-LJ;/'3mB%<d GN{-<{pjv|U>@̅K'o@[u/2 4'I = j2aFg ǪԓXQ rV.di;3[F5[4+YG7ed1=JxV~2c֝YD6 S }t6 %' 'ULjv܃뇇\f՘#h+]Z)Hd$4k v ދWRc2"k%B+˞ .j" QEO29w] q6O]{7s8t1 Dly -"61c23 :ظ G3)=0Ffy3RHaFC mioȧ"C \־Ź6Ը+1Z`V(!dU"cfJkDi[Aj&+ڬv춵s€d־c|?`!n. юO_m%c|T'Nl*@kqNj-r?d'hqpK,H:&bI:1=V!c|}\:7I2y}ݟr~3G 8a>̥Dm׺Z@"ps-ʰ ?πF>bH;5F6x<,Hr(Z7|@ְ"],,kąF#\b7PV0n.ꖜ&EQ:<72^gFN_|EX,ak8<t U{MfyP՚}$20{NqDHb۫밢c# _M;P4U:|5 C$/VY/*qu]:5 /cKb-x PJ@FmUj|`Mʪ_HԕI"Y* :E>sݵrdV96$Ѝ7Kb/TAԑiMjn 򑚓15~9 쯬;T9i{d?$Ʒt#|I_Б؜m//FֺnV9W j\ 6MS9L':<u5YGh(Q/s$~d1oj0$'UK Bf!oԌ}\1lM9n}mHf:ތ1TiJX7s:ԾO`- )̱ɠZNbTAL m.F?Ϧm-ϬV91qs q*? |&{MplWg,xYvK<{ ZAaAj+ ?Cpm2\2y }CTgJ;,bo[}f-R JYR%A=Ew~5e+Umѽk<ߖ[]y VA҆BHcSs T, fˡ:s ]1s>2z"M&NJiζ2oTIm(WJpkg/BpA]h\^ϜQw"*K~~:A: 3C{Wy$RD ʋ^ZB;/bZڜ倹(Y)upwfyδt=N:z">JwkTPΏ~5$rսt:HAâ D /ecqt \ڛ5bZ}\%VEsp {E88T< $C34\xTIL`NG?T9 qdr?ыy&>%s觥1\FWcB -^Ky99y>O8I%~qzH*AU9|pقat3c*֘. Q ePCd) Kzĥ4ι qt#OaWhٸk]ČgpC4V>( 28Fi+hhMKi 5H yvS?Y&>e4R_Naz+gWq{>uҺp1.OK:(<܆}IM>anu }33^?ר {M״ȑ4G6tMe.f}+V6%$jq2*կpq۝I.Os>}gOaO [ 1RXs78y5>\u4{39S{VRo|̀Ymx'>&HYWzhBxH0{lmIЦ[fg@R_tS$bf[x~Tu|vW ue^WZ+³ Ag86iϥ$c|Œ_D4+c> B-:6wEX-!qe E*mF^#bGQp,T.Ƴ] e|o]:7P; |8t_K{$ p"gBuDtsįЈ]Vvtq ":ИN (C^SL` WVZ}N NhI/  uK\lkDۯ@ۢcSvzbN"y)K@#oJbRv12'<ׯܶNS>aPC+2^qdv|\S--0K :jHI*Zl1,BO|g8ȋo!)^&ZMfi(IJ)᧿ok[$?R{DxBlIƊ V/,vI źpNU}r<`VN8=zgWлA^b!I_)pw?7jJJUY ٯb)1)`mRPDy9?,v,:?gh$6>"\T3ΐ^wRVSLrLXW2;/[ض^^xc=CZ^Ā{/8gZT,,ʹ֝Cɟ5_XEl s(W~k/q8y`c~  2#o:̣ڗ, l͆yY8[azukQeLKԱwTM2B-Lѵ0;40JaqtlLHZ&^ "jS{ k7ܔO1H- _6SPq )뉟p*<ըD/IKNqo@xa4'ܯu3l7+mr /9\4=ݚq͉K#Cl_TդЎpQ+l˶ /~[J(H/aX8|xx/of 즡7^6Eu׃BV܏I]"' ˅ c!bp&glV8բc0фJ%2KQN@slb*e+JsTkS"^{ ]FC 6־2j^Êͨ֔WQIFS4YA Q8Lo@]7ںAҦew ,]yLEQg3 s]OFTNxjv`dH:3 MqQE[4^C618g ? Xlӟ6>Ίq‡g"^` ԳL;{3ַрVeT{1CT l,0!,RUM7Ԓ;%i+68i/ǯ i`.^QZ((SA噚o҆`F*E9v¶ETg<^(XiY>Ij_VnVHXD-#NE[;vg4-DV^=k zf{%?1tH2cƒdGE !|v[r&|–6D=hjzՋHm{>2JxV>O7rjBWWhF<1t5;6ŰLmflJSd/@:Ê٥}UPADDPY #˭OE:BMPCBsN݇왕!bcs"qׄ]y+j؉u]t |o1&cg.{1^8 ZZrW٣/`m;5|LCzOW7:f]U7oBpxiK.MћI3z ۥ`&8jŦqax 6^ns-i|7o$8d'ڣ{w|Jh#?hj[4f#8N[* w񊂜'X`KWn`'jBY~T9Fau{`'RW3 AzWOWsN &-$f2LFACf~B[% ,ۺ`w~BM+ܰjOFP#|a""4O{(r]ZKfbTW|Ai{/X]&̌1b*vilĿ ȝ4$.@#8\=x8s&c)lI0JVU3B4ⷅcE,.BIug%=C Goz gbB62p3AbxfV{tm'FR+n\YC5~o8@_ȼ([aq7'_`FLcZIY5|H=^oФ-X!#/Qh6Cv͋y|wd"\q> 7ߓ;[ͣJ]voG )1Sc <e݌tYˮ$*Ȫmb ꩪ}?ŠgЬ@hqBu{տ!YCHxY$"t)*PuUmuTȢ|:[ϠnYv-W̡&34gR^^\QskT"t&M}} oV7f0Ma*7?LZ9둙A,yZ8mtynwVIiF!0z\)\P͙f[V"n;-g8CWa skip"YdPt å,r@BV~R=*~*zvW*Xs2Y:1!] Ϙet%4 egR jst3C0sE%uG<`v3#&{<T 43 =Q|52sh.B| ?3C HTTcλj}hs Ht.|kٴr`&FOwh! X jeFl"./2ONrb۴i\k_05O6/Ӣ+NtE;4)kUMi͆27Al1KR6y/-"s0V'HcƓ];E0rn?#Z< `:DVve` 7dhEp0X a.!LJ"I::?ng/3SuvȗXބ`,k8cLZ C8S02CI:!s3(*~3kfj8[ܮ阋ɑLW1fKa9 /O![k*ag2n, j,fӈm C?ݥMzM7E 16)wOy-}= F0JEla%s`%Ms2sJ7E?]r ΫX.Hwv;^}<}=Q=dv)H2lh`[ڎX2@Y3Ii  O ơ۩UЅ"9͛LS&=zFn?#ST3j~P\Ey|VSyONq[=ӨP<0ߘ]Ho+*A\_ICJ=R?wnVEaS?"p+Z hҕ2ŀ AO"p6~3Kd!8w래" /:pzăRIPT13+WSUɠxip&wr̯;\*y`v-}qEdz_% `ZE%_VLb\{Wa^ oo̳K3]սDcoDj{C!J)5kγ']i*ݝ)q;>ĈBѢR7d΀ՓUm#WDna9VU%ݚ3U 5vRIyTaǘ:Xd?bFLϛ{W C?$~[ \WүXI+'t-['wuDaޞģGrk#6yA'w_.G؅0\ఔO):GiVۻX^Z-=<yP&ΓIyI4H )ThW i[ժoG;3I,m3;Won31WJO=\jI1ʧoQtlX4{6٢0ǀY?M6|>Ru,eܚ[ =cVSsO8jΠ?$V؎C,:,hW+cHs@颧M NV]cqB#5 泲35tqhD;6F?+}X>_.g9uEWHh&=\]< C͝5]OuPUo\*i.~3|n3W+|rp" ttqW$s⠴ Mq|&2C1n_Í)b2-EE?ƃ9і=c27!5$<ސ_J_rN&w"%j7~mKoYj%))`@lp_1$u&¹!ȔYx{i8ZnSIlT)!’pb뵮FJ^X=WnOV:og}5h2xgMiFh@GrWt?/:ri';[>WHGE0+ p+?=5:΁CfsV@%'$\C$c6ih 2Ud}ynv:*I\%z[ՃGJ>WK]2n Y<..hE#SZmX9E>IXv9G)" B՟`̣a)r8}J!|"v؀0U+y>vy1mޭ{?4U&rMWiצ-)X^~*ئ^xsQBsT+TYreQtH̢ޔ݁4>hgQ}ϯKԽk :>8ZGuVe)Y_<Yxd1I>Ÿ2_WP1&u8ygKo?C #<ϼ!i As8ZI)-AQwۺ@{D1x'c9.TmFeP|'!sޤő,=p^`աv%a@UjL %!m^nlٛ"\Xn^!!$Ik8* ֓b4K|<'rz٢mͼ(4X2\L`>tnΚV^"aՀU\!W iZ#KvJW ^$F' ('nB 4!c<|TҐ},k}#2../FAOV ڧk+9P#!P7Ŵ${5p~dߕ>HY J(phuxPE#c4y4jߟZ‰HTV|YmyCjuFtRb ٖ`5 /kP2HߟFfߘ8Wn^D3JO1B@T.UQg G-:ֹ{4xޫ E0)X%Y}DVaY<8T;4G󿼐Wu)y ;*x.,#לnY5ʲjYM)_6i3a&PXā=DfYR|_R%ZgW6EEO'BژCoԙZ/ׅ=*Q* No5s ECuAQ-&ۭ*YW[/69TOߜ+; VI@Y>Nr_dI pcATA.;ϗ׻3Ʈ-${qHRdkd<_Ϳ%z1 gU !>*d Lqr|{ho=RO 9IgVUw.BqI>D$2lYE>=X@偖'G\a IlqȏvZ?鈌)զC槗6R_ o*K #/ )Hj;SMgB흧`1V Eq?4>Jkd(/E_ >CQ=vp-K`#[ PI KDɀ9#/|+,2Y'*K ?('%ob&o T𬾴K^Fʩ=POTmHjttvSvis:>ÞLP>A/J2,ecFcvYO̅m5B`UeK$C"[YyTvq,N]dr-!ZVHo0mon< K(l֦:@N!f\Ykm0$iA?DDa+m To}Wp]#:54P9R֮z^9ZOWq@[Xx!:Bp8H-7AtA71HYNgfpYogS#IM|O\+(\v: H_RZ J@H]:yTЋoWn|gНW)8E,|oHj#jonˢ)ud0M?IY+ďr%ҲNjsA4܀3 CҲ 敺UD Uu;j kNȢb* έ녒LuDrn=|1].B$4n!qdpR8|[`QZ{V }9wq*<@ H#e:O k+ 'ar5&śDNkVn׏J oyvIQ>'Ŀ@[:n_b a&F# uF;Aevy/_ JVbo*ۇpwotE΢iScm5jh޽'鬶qSK EtMg3X~aqF PpX@J f8Y$g|Fy=~2]FvӦe-&͊ Gߜ+l73,ScrORY$a\(d`WpfI+BVEݶNY{ԵvxE 5Uϼ[L-#r 4[44+ æsp3k)cʸr($$il3Ϥ> ].E* @& >&)#QmR}6¢ lW;B^c`o5L߀~uD4r,CaAT5֨G^ b\~xv$ʗCCh5 6{A@k 񓃷"> ߰"y[2kRcAW椈S"y̥1$. FTO }x6K+@%TeXz.z_~|Iq&ų~1_r{v19+EsjWd]o͟-U:J5S=MO6|ړKU4E=|uyu8jKM;EL(N\>ۿj;|&E= 4QO~+U֡%Bs1-`.H`Ht0T;:Pn%m傝<5 /Efs$ Nb tZC cf2<%]rCx"0t4sd=]b2& W]Ǥ}A¼1 o aߓ[z,ye\GrIY Ʈ+n}rjc$K D F!IY UĴcezk H~=[}>R1Oڿp*ywpoͭmVL 0.RwzI%ԑ NCΔy&i$hWpp-tgrwR4QWuCtMR ݤF -lIqsb6Qxj qțK*}yb:W@(5KΡ6c0U"B0r؝@E.Hm?8}?ĎҦe!] (-ז V٦_D0[̞9,zL6Z>V0FE XgFr6{9E(K }iM.O s&!x*%eYH͙/HkǶXl8hoȂYM/ T)sZ `U o U )їlFN{ e6+B{Z#e]T _oQ^+nekSt\vPk'։[(j#Y\+}CE$J-WR Spd$6rz>Ȕ+Q9zӒǡx)w%@0]ƘRr㮠zbJCv̚2r|}0%B~0(q=;C:/tѡPwz\]ILPw~bho{f3%@4a>cئ:ڱ9ߖaRw>]>*Wy` g/\J#Tʉmy˗YbJF'\X}ܟmOx5WȮ'ƻ]y/<4\#r.UB.vAWlY칔ĀoDnFRMk"Yh>Upm=Ers 2q&\Gfue)i F&Q!n2nB\>"^._멩.11}PsDp}j'-7^., ]Xi-^4fi;lBCZY2_vm31vs3# r!CFl  k8yrX Ԛi%K]0dƾS@m2/+hlt3k~hf\KM5Y`Q4ң>ZD^^Aw6nLH5J<)DjLJY8K)ԓ,]] ,/3,Za.Zpɨxv]nDF#fxY&w`Rkhȳ3.حe6u #5FSk]6j|oo]?+7ŐEyL(gb4 XI?>\_1hM0R|:Ƽ+ /5y͕M L5i|Ռb{xpI|QqBܔzvXذpb|&dUv\(_ IЁ_ww菷B&B$Z$l._|Z#errz,.. <^ Kc(N^ȸ4I~{ _{q:oCM*"bGE:XKu!2}(ZS%yWn!A&3Rc@U>L@h'HܟIȨO;dz~ Z}q U&u Y  <Uxl?!Vh]=HKN+cn^euTGꦞriT߭ ]*H:#[.g&3چ™hbHPh9YVxs%\.Ү c ikN-iy\XV-8" Q/}ʹSoޤ.hr #7[sZ>õ<+*Z\r.3! :r`kylg^]/Wdm$&2TzŅJF 5;w9T=j1+ V,!~0UH V ki<8Ea2լAkӹ л { %#+'Ie)"^m(qgW4<4΀0o 6LSFjߌ3 =;ᤩCy~fNѪL+zz{[Tc2\gAlEhS('{xNﮎCFܩ>T*$VB rS/O`!ggSUM\h 'yE9SxZv$"1E^xm X&Y,i:T6 ?lCoYc3#;{8lRA!b%WX=EܢVѻY ]c@8XẶ{@x.!؋hzS("mxB <$〵6&A`ݴm:>E dÜ8IQS/jJ|+٫@QH̱MuyhaBF]_,T%1$7~3S9E-# a`ˋM!<Got suQ6&fQ+BKf!k}j4Y&_A^t}Ku^ n_1|l9ʈ\l>!e`UBՙ㬘`a igv4 o=TMwitZ 9+CIMwC Vc@C=R$_ެn/-bU%ϵU@QT/ʂ[U''wQZU7b^{5? 2pdrsĔ^˲Q S2:]ҽK.PE>,+1lƴmLk bp.1e"t xXL&G$:a6(|P7'ݯg:'O¶a3~Ӗ(*X*OЛ(N(L%&FF`? @+aqjlSj:câuG,Ll'Rk[& 4F$L$ՔҤˇ]hwᔺݧ3rʓqtŐ0^!JVkr4*Q&x$$6CH5wBZ ^X.3YYjNߣmuy6tob#,.—~7]_v?pS})B@s<)mcvs ɿ{1pUi8 V4w9?smFֲUzB&Tzaݐ3 ]5 ;OٳkNGf=qKNr2/ K@ Y}0xLqS&6D pi)`fyᶯ.oJW 4im-%ZfwW&?p{t&|7*|Q\-Z\Zpax:P|%HLcM0HmKXU.rJ zQ3<~XD^cx˂3UAS ZwfX. q i.Kr-\dAzZ6q6t:7V[aV7fdu|b\<\uga\|JKu"!~By4DޏzOŎFf蔞qTEyt5g.z$%&'zpOw]?{~@pGŕ QجAqzؙ8 [q*G-޾z^d?AWzd蒕PRԏ{^?TE B!m9 g lT$֠K=6g*g.78:6Uˋ 6') vя<Ƶ B}V7j֗ J|~~R$,/MGsAv3pL'po($jG(`*&+-w"2:,UmL1*Vԙ+glcvcrb^[0RB!G:ח/72B= cZ7^dأ~逇~ ',Ufߘ2hy9dn9VzK%Ak8_Nըp 3 P+>Ӥ fg锏@+L *[i9 @k~0f{PTdrɑ`o e>Vrfq]^&北2^n.뚿J *}[Ht?rYPa O0Q'-ӛ"j>BrLFSK(w4t6oRK)Џ'ϯA /QYϓCuj`OC@n}n_1;kv j20rލ9b=PUTnCIG,2 Hf^"gmxΠJ?]!6q$? ^ Q-­6Z5~:lm8BZccR ,c1\IhWv`|{[ۥB #-?s+ .HC6KRŢ/N}xN) 4&kG"kV0ȧ0d qpE T嵇'\*)F XnF9uS!쾫N's{;󋅊l?6oqӜ%IŋV4#ڻsNtPZoMnhP*"%s>4\ƟPmrt+F&CUx49`_m2}"oo!w~a ¡RpTzo7GlG]CEDp)-PԷ. S]r=b{'J%t5]{F^jQ}`x6[>??q;JjF%dUO ˚"- 4:e9+I#H:СYL`q,J 1pF;JL ڐ{ƑV,B 匬/ pr@WZrkC*=:1@@fTTpM dH=Ԯ_Fdn2KqzxYgݠP¸ᩒd6 DmucF益[BrU[E}?'4IBRqFF6N{x:+E.ǫmly^d8CyoA+i9 a  cU Fr'CUj27|/-7)h72UfN5]z_# -g#ibdٟo=?uIJ ֡V=b[[+_4(Lɤt8A2c&y‡qK,*f^+7> ^Qi!n'@@f7byJ;2SF: nꌑܐ'HK2W8%ltfޛ>ihɮg8V ,P|Ceptk>25kp>Tʕu&lYo{(ίXa$t~\!W ]ȗnu CE_h)"+IF_O[W05 ˣcpo|*.InidDt oe's>_0uT%r&|5zef$:_+b $2oV6f1 L4eVߓVyZz8/>8[?^пjZ.pcʒC4LO3BM-7LERMeXP&0D%(G5Z7wIbnvBgTTėL:⯫Hh) b%u2y^gF^E mfqeP[{yZRv!Oki®XͰN8/ ]3ԯ1˫ \lIK}p ̔yEX9Gkb;: yR4o!*N}o#3ireI,Wi,K[BH3D{vO1iܫRa.ePu$*ĥ1Ѩ5rB=8}V{Mtox~[֮gbģ\ ?;:2{Ŧ?m`F%޿7Fd˽P i8NVj(zsOsݺwcOmG7W$lHl"(jT8)bi@!-`ρ/tkwqJ!Ye$4|H(>K3ю}bajA¨1SXgCrb @@k[ IM& _"K!B$'EKTs詑='oIJIwEC*i[$[Eէ֟K8jHnswBl"<.+~Iz<-+@?1aZ*y7]!hvznT*QwAK`$wI<Wsi,s;F{ 7 K· |Slz,tK>&9o]@3Oj 9#yB+a(U)iѻ pqHl+Qx }\zFw%C,rFsAWp*qVff LqeyZUsZQ>,"k$)9R !d }d m %/#p,hWwd?آ1FQ/-I'˅1XoJY_]"A)`+ip H5ƞVķ Lq Oi>P(+C.p[$eN]F6V &t!}Em6s x]p^ͦQ.)p .ܛqwsH БZ [T_GK6c4HXNJ=$48s" Đ LrJ8'π I6'ZRɣQp/g9 ?nhAޙRn]DVAQL] gmSEyl0pѝhYP :8[L<"F v'm{q3+d_*rN\YݲTDOMk?;T\O(@Gh $L,կuBUrцI:8T@{9< (h=1E Kxsdz|{Z|P@uXՑԣAkMpOF_ &.L@܋q{d,lat~\YסRP>yuFd1cs%RQ#3m#]ݴ=gm\>;DLÈm뵣>ܩB޶1g)ǫg+Ә g#e" qLR#WIgGWnV Vyln@;;WT9:>+iʥf&To!w2]?o-{'<L˅&,Q @sf)b:D /( k5{gXR?v@}~ɵ47hЯd@x #r5"AaPU0[JFneU~Ve ,9 F7Y;U`8&5Je{hh_(d{ ^7 Z<ǘ*k-Їj$1'sɥD.6c#yۍ*/k3KNZ~Q#3gL[#!AFIxUu-+k!g9& =I7s9ԝ?~@Rd06 'r8TsWa6e/OoE`;pA^z|ʠvyɾj}R#ZDJ&؍^teg\~2%yIڣoa`7̛cCibI&x{0 `Q>,SP2YL54.DkL(;7F :*= v:1RA2\9U݂IL]rSfXchHz;9/qox:լۿ0[. ӊU/ +D?vjҙ L'Ihhoԁxd#&mrh 9d WO<4!%8&#]z=H>͎'GJgn4؃ӠX' xR͘ѧԑvIeD?#.f@um_oN:Bcv"hWE{ymt^5&^A^ZYh'}H ;׈]! R5ie&~2L_tm -7j=se`n((|QyM;/ E-W[؅X‡ϑ9Yw Oyws R 9hP*nv 8Aj?d0^600Xi-wZZjL"06x Tљ(NL&F>;SS}Ԉ:ForS 6&XwZCѠpELwQ־°%Mm<! ~nX,x,(ILT0YZ檍K/G?S<}*A_cݗmFI9Lj 眔RWKڲ kz&+"!X OCB\`441' . Ԥ}~Ҭk{[^{Z&n ϐQFu .nrz\3JDc3pTzAҹ=hiŵnU'Hqf2y׾`S} V$1YC_}IJLt [C{"@v1Kbz(^WHqh:~%pǾι6CĿuϡ TLUV yDU#M'!_^ۄApk6Eb2zzX~iͨ Aŭ8Gktg0]Qώ0f$JچSZLۏAH3Q1N:Skr TLu@_\Si7bBћ.p&Kc5X7Ш4A ?I|yʱ 2 1†ȽնB>?@TҠ%ȯKy0!s4q`O&Q"S,]= \8옛,OΊk SNk pwP_ |Uhx G){J!s@?}WJ`8j\aY":V<Rj =,mDT`#e}m<rT\^Dr#~WUtҵʔ z "^'o PT *t_֓-~٬rB)? '[}Z$=R<*~\y}_+m=V0SlL)Z ٭*ԛ"|Sh5typ2/Zˠ,LQ|@ܸG]ohcZ9'~|? Y0+b>b ~О"BbZ]P/Y@aq~_n0ɛZڴmÆC>b=8ga]ut|ٗOcͅ!l4ȍ񶾒D;2@iWgRMeq@64,96Do;[~GoyBoYJf=<9 …rUɥsյGxhJ^u;PIjOdϧɂGm46g21n&Ӆ,M?ჿt1(¹Ŏށ}B2W'KIfT ՑDOVx#=y~N3?Ϲwzu_F1ClQIJr.Jv vyl4/[H*{yOFOacbd<ʜCS54XTQ|DI&G਎BP4g/HC b/Po0 ܍޻u]Z9A}v q5ة[9/Ƞm+lGט-4`OՀqdYǚ_XMkp@%fWܻwuBR_oF#wb E|GlQSi#h@ ̍8Fnp 씙 {or_P9~m;!h]6U\6ӝ7w<_^lS\\\p>|i"Kõ5& bdj<#SǃO gcLMIG"*;}} {@̆2' ߙ5B~fyq'(^]udl w^OBu83(XV>e EH?մAl&f萠P`.+65(Rd_mrn}:Z".xk~_ lZ[H|TLҙWZ)-cFyG࣋ mIM9& fr`'ibcU<n8,1YBAjk%rwMLRQmkfrܠ3im& {_DXӬYqU#o6K/Qt$`C G Rn"K0$aߎa7XV: Dtk K{iMI 4+\>ֈgn/To<7dh6O}08wG%qS:}ιSjkFD&7"8Z= Գ)Va3ҌZ7آϧ:W?FЇwܞ[2Mn<؄\F_x97)ߘ=hmK?30sw`lˍ&H À[Øw-ע XJ$&*xF)1:3 ޻hpKJ|&aҹJuZB ?HFkyP`%U~IIԅ 3i^p aEQ(\_:!ܽd+~XnCek#װZŬg>ˇeag7]b!= i%3RʋܘuIC@RG՗(9œ㏞pLji 襯Gi{X!NSfSa`MXH@u6eC_?//mktϫ1 $hYVĪX*. W4^#+13hPn.G_ q_L;&Xnlp1먡Iy8HϏ%Orm. `f" Cu=ⅤH}`x IԐל߂'4҉D_}Z:0tA!Vh\7qoO&&GH:Ul z@xgWT+\ĜCNKRU"g[$T#ȷGwJ~;u& I=zu<@&Kߧ̂ VY2c &Xb"ڹi048=M2?_'NH_Sr  Hl@}?%ɛ: Q7K$X)y׷F!%]w.N!IY'\`qe(m) r5/eˇSU[N [5_00cNH\1®ؤqGUYsQc`ұ/ # [0Ҁ{J'8~put@9-9uSĝ'p#jtCz8%cJdB"ZTf(%J͔f2],e9$Gz`Sr30"kAS*_ 3D\~3;P㛜X>ȰxN-_KQ:f`?HX@}| ', C#v9-i܂bUmYN?Iae?7#BaX<`\/J1YC^`.V{06ȱ_x"MaC`*'WⰚ-!iy@Oc-zGch*Է2A7 "J( zݱ[T/y6}O8%_҂ 0lB>T'+KKIh|r^$0&({4p-B{@%[9V|Bj4ˤdbE$HOi{H[1zqALyM~:~Mn=]HQ:˥ e- RyP".K&n-0/ba Xxa'􀁍ɚ|6Gм[dVx i6(Q~N8l8BԘ˒8ybQ`RA΅H#e*(M?C9L˺\5ـ;]ozWȝc=c#H'i\JI6Jy$Qr=e2iIA6w\ju毢bo=xr!QjMyp ٛ鄸/ϛwyvQSCg[Ba T @ bǵȮjQ?:H~>5a||Iob^.ߎ(. Air KWʧX$V+5 ;&uRbtIff$ c tp(:Gj(p=8wE]˝ӦCVZpS;:#Qes4p5诠a,+mՂz{mL cCTZ6y˲pʽz/ƒsPYp1oPt&<RYl#52#lLg핬b7f6Z%8/}C0<`:sd\Čd-ܟ(,CkJw#&Tp58d@S,-0jRM6PJuIB}5F13h'$KZ'륿S65Ӟİh5RqI?1%<&~?8pte|ˊwU/xzJBph ڤNj6=@&Cݷ<r&Ҽ8.'ԂU >DHz,͋?]Qä%;F_ :7~9$_XKPU"!/U('aeՋxNᵟ& fnCH"4?~wh D]bvj 104C\Lp(XUg"\G2fǛ&`OO| 8VFk vE+mTO2s5iKIiٟXӘ;_ORP"Gq)(1zp'c\<2pB@Su6ݵׄ;!ǰgYZ6905861cdd9705f3956476eb51c57f311af92bd71e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f81c2a3b6c6d20c693384718f865ced1b2149e98cc