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 J7\  ] CAVA_LTL_Modelchecker:threads=4elapsed=431.224cpu=534.604gc=11.212factor=1.247zXZִF! 唜y]ŗXiɟH)0%orvU~G0FҶ01]d}u}&4)Kw%Q< 9#Sx$Hm<(#"8F 7 CAVA_LTL_Modelchecker  {ם[0ȪuNi0R S9r j? xk/v ^-~kp0gbǮGG8=R4$>+r0xcG] چ;ٵ`NRv{ƼѪ#QeZvNQ0Al1o?pgy݅̄0r|s mu:PfGhMR/ci]ST$R) :Ͼvݍ%z)Dԭ3סI֓x@;}S8 e;9ǚJ x~L4M vM^EE1]0Seh \@>+C.]SSo5BVT"DzaP $-`*s;䕛xRY?!k[APBtcD$J[c՝***|.ƂMݏ|젿Jhc>jEk@b?bL"Jo7.xDWK)ѸΔi iV"t=#ù'&H\ G"e~D`7wRdIOZKVB#j K-an+#2u+?K`ZO55ܹ/WpWt1ߊΩ.k!JuqD+wۗK&*Z>ylYEt=LRY3i2=X"$a}MR5"ۅٞ#rnknRv !`?BXC {FO Lӵ;"pw5yߙZd_7IEMĠ1r%$ío?R:.F.An`qJu4$0EvZmҡ̥ ?B_:h:U3ABxJ AGg.Kќ̓vBIJ)U^d,7:Q_:&-V[4M%;F! `dOpPF0B-GWGٰDv"妮%՗{Jp{uKѶƦȮ1=aMBCr^ͮ+-TɄֵƊ1@~S)h^Fn@ d29k ϟH1l -f'7{k]jT'gS8|\?ީf#SKIN*jMrc }E p)08;o&^ -d8գX).8WHʩW _6J1>OJ1N$|ZY&?\ShjAy-.ZP%_?OY}?Ɛn! fJHa涯3d8S = '-%AvFyY"҄5yW+4B.!x'?1t>gbDe̸2E߹f[2}--v킖Sf!%[G ܝ:}8;"7#3^3^$QX:쒗f}#Ho5wrbGMt̰",P@"X}(+1}乸|*M:;.muy|0  *d`spδ#P̖׹YIU\UM {Z8n] N[ x\m[/>e#(DI$鎄_Rjuz7&/fiUw*ؒ(j/pɝwUa5tqg9JOح`0Lxt%Lb7}1J8r=˼+e*#hJT~aO/Fi FFIitgRf`V μ_ĝehG+n XxypNQ+*WR.R7srfڹ(tq5CX@Z\QS;_|͇) 5ib+-+9vV^bv/)6 !*7:$5 J7CMQa&ضc~S)H'65='ٗIQMyQU Z,75IUvMDŽ7X)-m>:LL^VIv7* :֘aUם!`4obTvm#Y U[O"rGvs T#aJ>fBr(#0Z*|Ae$ > 0yS<iY7+55.&d玡V|u-s}g,hjȵ|\Ť4hJ,P[`19G>E|;RVYMp/ 'Jx{+4Q@Y{0x*zkև}] /1rZ6͸K [i*^n~-F{vj&'_a<*v-"F-' IDYʠ/#23#K»ͫ毽m\Mp~ jzUph/p`eo8F6u%82M~xw:ͦ?cTrHDm5 WTiv4pk`Hi y@$`XɟD'B~}F;C/V:Qq[ړSZ_@B2M-#:Ď4TTH6a S8BP NpLi@&?֣+DrrȜ>|ʼnlygm+u(U.Oz?/ӪTRM/}EOq1?q-?/j4nNc?Aq:1:7ψ'Ϡ} vyƺ_0^<=X4a\1V v6G%I]ue0/mȴeu(E3p` _ϒiR:u.ኰU`ҵn,ovC!]}a$>,ۇL! A6Y\"/ yN"?Mr`^+T ;dJ6Ί?;%oFEC@H0OJ!_t|1%].ov2Z2Al(JD,Ƥ5h ZK<(@\gb5SO09!bӘ).4lDUyv rKSŭ$MV7NW蕀+V?|5wAuyԫ(Lw8x~)Sѽjo#vRE͒Sgp{ `M3w,휒lʗnksv(z v4Gɸ=H[Doպ`=P><9O ~346l*a[Q>9QnMo H+oK%yf !uG>;rʙ˘bʠzcKDpE!1iJ]{'\}>лyi#M̓!5:zLJb^t;tLݗszrlnpm/xh'oJ^`-ʳpw~lc6sKλiKk%k5_ҰbZ+ρXmLnGqHco\ğ3G{곍 AM8@TtA}5*6tOMX}V@0lԳbjYژ1ώVΠX#&1aIgPQ UluU^CDx}( u]Lj !a io;/wrVz5}'āU G[OIFCtVaPU\'Is Yˈu9aD,~fY `~`B%D/.총c9][RGM3m`?L𱉗,77K{@΍(tIG؛,CeT[GBY|2u|&* zD#O7:I?VR^g9 &|L9k,U.D{wپMKT t'}yn1pA$+ 5t8a1f袲l0#x3IaǠiFx+YYODK&ђBBoO;l=܃kДgFp:oUqbyԾ).[Ir -c,Fw2H@ћll1Ǩ>kY7CyRStN% H+!ɢz=Ox.tv{G^H#C&:"'ce6hL: fqӑ;dEX U|jO/??"{ڽ4[ڥYe?i[Gl ;azCq@ITG|M,~,X 5/:,ԗߥo]U8Z&^ɝ 5[Hh/9#saaRs┡8"f7$4Fy6@&_ώ͔3+ä#=N6ݬ?3e Tbkڎz7D5If+bnG7nVS ;)0. i Û,]z @׌b {/Sߔ16 7.“X!$LZ$i3"`JA $JHro I7x#Y0WF(lO:" \yJɡ'G P4_,N5#8}o{';#ף"SX,Tìzhj.fyl:>DZXn1NZzB*T`#BGwkZ}ST )N⭀A櫧/ky< dl]r[\V㳩J(~߯[,9xwb"&Fxt>LSR;YDrS{{m̠?rCm\|!6*rhbBP,hmg0> E Z%4WW+n>9ZE ʰF) ÖOń>h9tr*z4 $8GZᱧ(q#gYsvOF>$qŹ3вYV#C{S0!# *“ |o5 ̻cҴ]k*s ٭qYrAÊhfaF(j~#89-Iū/u z@ H;} wH$(iBk%Pv|||NޅmT62u)ݕUt&\mYYRQ" znDDTװtz@mcTsRNTx鳇ʟ@Y%PE!ޟ< %hAUN oY@L)tڊrID C5Φc֓|g^GHKљfE0رsus ؗtSfya͵ˑWhk@t)$`E%qqo~q|=!b*ڢ&Zc=;\!T\/&;ʠ廞:R|~9Q&exG=f܁3 {ŏqG-M49=Ml%Qe|Ҍb>/v}]fRd%&޼Tndߴd3C*ܝhW Oҗ";Eɿz)B պ%>g'8z)#yYH녷KX-޼K laNR24Hua3Bp z$EԩzƤs8_ES0~v sN-bޚՕ%61_’:6QQHcEvlziJ 磲&\SZNu j2H+Ng_!tBL~$h3,`@}h714-I>EMhf?b21`FA"{i~ ԥZS)TTKR7:ażZvޘ)Ҵ p%6ws)ʃ:-=旪hlc—3teIе+D8%_LtJp;w H"ba^G d=\jpkHASdJGTOș7dH]O~B0A( k!x?X>/|uZe=Na$*{~"ǙsSiza(i6"xfD)K/52d[<2Қa=5Ad#nQ_-3RΒUblA;xa mƒ(pgB\ $gyH*1fu_aD43|Zc .{*koh3ӊ8 q^pfl2}0#Ѿ4{[H)3B߸uܺp@ cOO1#NXz4#ֽ)* a3XDюd6X{`_7JwOA -EϧD@4JEZC<4@ inްX"I汌Tzs ̺28@&KEENeQF[aYύ;m@ bM #~} ZLQBWI$̴!2c1'BkǿH"^;`zQR9.8 N+CwxˋEM񜔤 n>\9YQv'*FWژBnb K(J7ܲr[BYMжBGm%04AOdv0F~w5y(gv KXp(7սy/Z#U,Xh,2OS>`C/B̵`Lx V0VhcCR>l,/πi̮ _'7b DObW  j1v6r53~ܬI>5/KMdԏ8aS6H_z8Ym5Sxduhp.6Ħ>4RE)q H ~xz[BjdQ]eVPR.$*5{M4ޘ52s% g$@dFKXRSnE ¥QD$sf6lgb2Iox?;_I4ÿ/7P_UST{^ {*dafr@3>9UPb4MY[%ac [#HW2bE˸/+$܏.č'{C=m#B9+jcwSO[\R/ALl_?':hXY3D=ݽVpEXTe y]

h6]ݘ) Eo(L-Y*ò-Cgfvj*4K Q-QHD$DiI:,ffF!R^~Aj˅ jhf0gPu 7:|97фsM !av6 f#ܔv)IHtR89"RCi6-kR٧n4x;=61~I0$ߦl_|*- %vZvW ony٪qĝ`|~!./'Hڿg*ӝ0rٶ ʻ%~.B͘q.o"S\!8 kY%:x=⮼ba@>C{K:>QYrm#޼4^2œ+ĶG^#x;!ov;V\8waۿcI(^]̮@S:='S:!9{J>AfI|KB gD,̀ ouZ\"#D`R_Gƈ DD_GeI]anbۄ҅\lBI lZO#t9[>Cͱعqi|)M 5ǟQu**}֬uuUzʸI,MǑ2N iߪ#<>TZ:Ȫkd)CRϙ$Q]>h\u+e"zR<s(ӄD4jŪhS1/"9!OJʅ&Tr𩛂_ Rw9?^wP`t>(?\tS1%eFECӶz (a5·&ϱY/Z͍3)&l6=܍s"|$^Nt&hL_h5) dOŒ8Щ@7ȥ^Ҫis[͸o17A("WbhӸV 2p`0q(,MKZh?dnaDu2#2`0omC NpԽO7RзSj e0E=H[ qz,:<ρ=gw\4{!xu>6Y| dTm9D $pipw1u4x-`ٯ~Ρ& :>A 5?5АH`A2 ,ϑz< ]'`M\!I"F42G׳.ob@\RP9T G "t" ~YPͅ q ?eM4 _qcݥիejƂoK~ko .=;So8,q謹{dhyIv0Te8[Y)'u0 M>]ɃYR<5%6ʣ66W28^=#0Q܎;@DVF`aM fZv `!g6w,PM̑{g*VYY:>)[ݟxJ5q =_jh߹]vTE6Udf+&%?rۜCTI^n׶W'f-r+/pyFoO!59"axBo;d`[yK|)93~Wo.O"g!}˔sZu~kFR,tr#icǔJx*4(SkXBY39~fyؗ=R G7WXEIK3@pj{vojer Oeܴg#ٜNvK7Gv{Q"5p| }BQHVV1LxrIB)donn%Fodֱg3-g^T_^=,BiEvvJoyDekojwRn_n lЄ ]Hٗ$.GiqIM54hPjiVY>4+*,a*gu ,z3;q~"9  SAp.9zV"^9YqAik0\ȁX6$n<8` ;0;-p!} $ocݥ'"d!cC}@&''Jc >}9}^S;bc  0dyc}*6<21~@-jx?kXCTUw $pT=)WJJш)>BHJ[?rN$qo( wKOѨfWm#a1ADד]1+!1gDg8F n8::|HF |AMc&Zw-ST<owM@ʣ~J(?JC0 C*pejVV O;Fb"*q%J_q!)>F) z.i(a$07P)FzYsՔLWT7I P({W]N+F0@#m1H|"չ?x9J\=g5 hXRT*kHW71S۫=CwBPcdQhX|o|o;EvEُҺSV:wNN#k+23'mbA.ۡl#[Wq'E5@ט $O/r,^^^g+۞.?A?7VB!gߙg2񬤴 ֝ښ|hSzv뱦CҊ倌Eu3?hpM2CѪ>5tYԓ_ߧ< @FkAqp)üSpu3Q3+6\SТrLX3jd橒.tiwM*L# hNtokX\ʟ6ȝ ":EE `DŽĩNznldP- d/ C_f(vr̪}L@wkL 7b VYMc\? &>d ˬ?"!Ғ7"bJck~̶^JR X'}8ddIX$R1Ғi@`TkS.?PC؍h;uoN1γLT+ SO e|~.Zr9aHǏM97,#A١ʫRrڂCucB{l'Φ,?y׏KqԬT,6wE)q[P^D"?P}QTRhEiFe_ <0z\GWx4d&2r  G#)cm&- XW»2Y3doy".o6w}=Hۯ~~Ť-yȚO+iڬp,%--W){;355%Ո9Pl5*G0z%(߉(7ߑNzvO=E CQ Eޏd{WaĀ 5n˯ĦHBլ],-\]BXERo_{3 19TSi/u#|Mhw˕K4hD7DnHu]| %<^7;N-x4j1+MT* r-H8?usW7A^lXb[Vw|%)bX$IhD7L#KrFwq7@:$:0[U} |!`"=íT6 0]P#ũ)DFp9ַOa'c{7,c67%o@'G i€H+6%6$"P!& /ف, NчÑO }B7Pt8|k Axʖ~P|T[Vk"6LQ͘hCPZQ^Cy, {nuFVV`AyaY3C ;HPHf]C%Va{ҙIݜNo {u8Uzk*(" cid]\_cT:h-Gf[cZ+S*.hQ[8H}ሐJ_1fYJ[Xa#A) ̓!)Xdll]8^@]ZLJ:tCt ߧ},C1@? ʨ?Fa엗 (,&C|&=:{*(Zm⚡qJG"*3B(qZ J$S89 pqeNߌn`!9>Nex(@o_~|!IkFA?{%X !8Bİœ&r3f˥h]ϓIFW_AcDJbS*۬VA`Dvc?^IkE[K%%\Q?d݃BJ~R7+O78k+M1(ӟdP38Ŷ,zѻXȬ%`qדπZ,/ExK>kAZ6_@اdy[zx& \S߱t/-s,_+sf=9Ѕ4v%x0(NF6I003զMs{he-:k*]ok%kZrH)ЪΟ_}|;I'M  ۙ$yi񪆌97.=Oq`=O;{2Ŋ~Dz!%E!iv7,тuO^2b5e1ҟ~0M0]z=j q ،UW yx(o0,1oan6aLkDV!墐F,!H MDIsX9~wI:G=ok j,{%6+ -/vewVg`Zep|qӚ8!t)6,݀2HtZ}8 DUM݃ڊ۠ j͋P(QzlބqbV*\_<Va/"ưM~Zͽ۽`~o1X4ur](ЋҌ5$=F%V<޶PdPVj; X}1+hPRT쩻& 7nRuF#Y\*]_ȣy]jit *Yxc{uVxi>u C;kuGU7 `"n<4˧q|Y p>+`Ϗ HOrUFιJT@.ӧr4x'*w~ww.Rh<[ԝFwS|lReLҟ1?ߊoü5{V qǖE8Oci@PZYv,!e0_ɹ(>hncXUJ4˩:o+C`EӅ8[ dq<,@=֨,NEȌ4Ef&y.io6/ί?}vS8atk9¸ &GK-h`O`g> ipO.rY[=t5m׸qCqpcɨЄ0 Co῏kv>7wyKxhYnӵ'aW꺗pqAfڶTld1K&N!QXYYFJ YawylQtX:i0'p¿πI.? |E_҅^{گZRx^Tޖ\)EduȩGj\zFX&u#&vb`؝,wp4b.m(m>{q*NG4j*ɗ +4 8HXG--Ma1jLd#&.>9&\99ǎMa{&3@pK45`uz>q3ASŐ[Zu%&͗Ra^MeWW%T 33{V$.'5PEVP :DFih!٥J DIzcw;_V"/v_A@-<>޵/ ӌ ູ`FtԴs`.@ *Zer?ֲssK˹z$MH)}װ[:TkW,Z#_]!0- tb_~e*`O_u6yJR6Rb3bd z%CG0 -KHA֘;K =V9L@30d_&:4bat~ԟf&R|j>#A2)zAɺ+"OE!WF?S}[K,ņeHQpMAh66aXSBnO<@ƨy_YD@.;K<+2_Utsw0et̻$_rRجfF`PvG.V 1)[EA^?)9g~7lMm}s{m c}^B|6q+ց|V;);ENgj C(E~1}9@cCՑk4XbJ_m1J:/ã%F+'.X+>4rL%/skzNh<; JϒZQ>! + }y@⃟ub LU(WJ=ߙ+kS#%FUukԳ&or3b  0ZlO-z$5sgZ5N°Er".0I|GәLXz: i>}b ƍ^[+gl8Heh]x4E1Ȳ)UW7k۪HUz ܜV{ @%=9_Y}b}Dn-0+)zeu ^3|;O4%fd<-Ӱahi!pzxe_ Bp@*"o%j]˪4}$pP[i`8>gObO=xX9fqox%cҽN,{F7ȸWS4ij6F};AR,$ FMܝN f@|ޤ/( _ gC @f:ۻN]`g4GPbk_LbЛ*'!0CbT3".[ǽw3EɋOW’of#=6tgShHؙ=7 e!bŲUai•!ѶScY^'M峹r9\mRclR0½fc w2HzhaHnsF?ulR4µ~O Q=H! ] _{`4azra M?{ l-Qx(޵5ۇL:[^4t VQdi%;s d:=̌ k0'`5rtv;ȩS)θ`ѫaZBeHfN9-50.ray5֗&IىL\Џ e*k3AJ-,rZjT86}* ʲ w!>^m䨀Vo6 nox瀛*S+ɾ.K9=5X P^3ch>Ɗ`g m%W{-]KvLHd.bgs3ך"avm`avE(* Lk .UB ^hm6ű>QO|&;1gc\&ʡi`=Q΂\wS  HlD dʟCڨ;;%QaV_^*t$:?5bWWmTt5.zǯ0,Ҍqbj#m |HfHqޙxy'$K8aޑU \.ψe%Y=˾ƒXQ $?%[! ט6F.q(jΫe? 9CF|a3 &g2 8Qz6A(ʧH ũMY{ILI -t >Ⱦ~p>5zҋ3Wf'{\&F,v`^>ÜAncІ5IOQCo3=8!St̥MI:&ze 4iRՋ6Y{*׿E28$CY v@< ։%rRb;~Z!䒏&F)k o?2. `č5U ݛy~Ut96k'jy\~g}CMB`#vH!^rS3VmPACrE@Үt49S q" [??zg`cۺ5LM| \C H"~ v PZ<Drۆզ<KYz.ɹ "xk [ 3J e<3A[5\t|lS̾-BG!bD' 3 p AFY(Ogg)#wJ?8Ж}Z':_}B?!hsFcZJp8#^ZVޘ(k(xh>\[C@Mbĉae$1u34;"v}^>|õDVH.B{6 ñ;ԱWWƘ>ev;=}J: +"LwZ!oK*.j,}fF8=o!CS/xUp &".N:ѓUNSc&3CY:2u>TNl xB*=+LۊƌG2.10f:}ϑq\MgXg3MOGÇlpwԩL1]ScUu "Gd5en ߩ$&64dQP4e<̖M@W8;\qVq .S$IN)asKhTQ-z F;+_՛Re<&݈M=ΛtLN /'&:[/*! f|UVV]`&|i<$&IU+UDG35av0}ĺfwcCs]u@ J |g[U25R QN޻J&8̈5\LLSm7vSMܰ$}Gn=i$+ۺ،W1DE7I:>sU"fH-usI,.+zU8wC l+oV5U$i"m+b/1FT;=XJOHG]PG a"{;T,ˮ84Eg+'auvuBuđ6R=Sa[o t7 vc'^n+8@b!)O@IFbGWj?M;@_k5mo$_PTH+C!4h;F n(DqhAkD$vcF:閍eKJ"Pªm0 02#// 8BU/ c,?vc|ۡK+k2+:QA}d*C$Xc#;3Y)W&”Ok+w6@qbX3|,4xK"ўEW͍ "C kUy'2gG˘ ~:(:l`rLh>0m0oM3]m2FdOFeJYp2SG:/1|[`wzDgcܘ AFcVi;&{)/Kߴ~WDS<@̚X-ۤ=q)KJu&5 7 o&wqNzT%#a$YwH ~샏mI .e>YH ]yG{ۡZ2M5OpC9HoR=#|!x;[-K+ɹ!C}"8jqvV0% *5K`z /n@7j0.JQ TJ8+M%8>f"2 CXBY7Ur*8ݿ*[u//6!4I V#QzYyݚ6LcQ٧QDSh[Σu"\;m.CkWSXG+Pğ_̾pkOqEQP/WbE#~ I]kB 'pLy|2N#_=5[G뿧~d7D0ijċg#_Z0ywb}Oc%ah(н穅~&J<mP Vs:3S97pgELJ™@PL\½wEXg-cIM݁)-&$3s6˅J'A"8eH\?²ܜ!D U4AٲX>=DWmޙ*ka} ;: r9'r[cpH]}p`_Fp|f< %8 ?S qp 0vN7G_TAKtB_HP2.v|{S;s9.;UL][Z`ݕܢ_ #n% "BCSW<~Vy@g4}ahE_Dg Yho$t!Ũ̱"f(ޡЂG `*UUk4DDSk<5_)ymJ$g,?l_|oU D /)wSn;a?>|.z(a:4b$am<KG"1gC!_b]G=fЍAͬ]A+S~@NՍ~k$TVN)l0 1toNL+BY!gLF:϶)R%_~P&pap刪ql @]רIM_ M7 i@ G,ErCl i !CV QۙB|6ki7"Tn$KygE}!EVd/.wD&T#(I\(Y^%"BDLpl ڤo\橣+㝩hp-+7OxnCO%l!6"SU mpf׳myW a5@gnOGb5ʝѧtw8S6 %ZgQu{ss_E]SihDM0E(`Z{L2X/ vsWƥC,C@AR㘚2OZΟ0"뭤vˊrg@!ݧ)d_mV,@ps9ΫTɫh%Ba?z-2jbH6Ad ?'j~>(ljf- 1̑9Q/bPT4+mav#~!>2{'#-,=|$Z4fDPIG| MPckycTŐ.J^IDFq;lhV3 g+)p@xa'_˺R[LPʓI`l-愈PW1yA=.[vidMJR i'2!|Jluzz&-fp6a:vw>^7HgS 2"RvfӋ?ud1>ތ!|SZnNi[!2 nkk'FETv>>4V=-vm޺ƨ9(}lIw 02)=& ; NЯ3 5xK@`kљ,z5=bDej8u-vRݠ$f@[uf%gWj95#13>Ʋ蕯eoϽb ,*p2\Va+r8 a4S졝u^ѶErڵanpT~_xfFHHk@WM3y^C;|ȹO7 S۝j8oKv{g\L0jsq)IU{|f oO@cRzuYhOMߨ-P9O xlI (V6A?Dr3jIe1HdDZ6H/0_h5Q a"0d)c#cEu,"s_3Sb/)wo(H抷| [|6ߣG/-Q/CF xbt\J(xs6Y hb̼ܥ nU1yTl_΃L@S?H-ЃC%:ƪ 8,[!zo*E.P!ZYOc-% iSH]p|+88xèYU[[Vm C\o"QՌrm6Xy0>c,3Dז̐24$)0 Ƅ:XrDi82. k}T}q僜~ H&y' s 0pt^8sVdY"+w}ӊ x>ԞI5ާ02Hy^$Sm5K &K2Hl;8Zc&UcdJiY{(Y̝̝b) ҜMAa.LU?=ƪ($2 iʎmd{4@=mɳe8Nxr7)³ ތdW^P%WI b:TĵqWF&K0"6D_H2)as t@! ە#"-цBpZ DRu_+vܾ;P>5hB<% ekZ6Axٜ}< '/F&PӋ0C͂t&:B0VIh,,عCߩ\A! c>dk")z_́;rT 0rpweIb(Wy66]hX'iǁuxh|LxxPŹtĜ=Hx"n!b]mOցOqhd[XEkls, BKH1fiWøi#EPUeBH< r;RK%YRHӫȈD.)2fq\0iYZnjyؖAͩy 4t׹ن-8Pq,B!X*&CTQ e!qT aoInPoGF֊яB"гfG¨^8ȍp)c9c[= {*3v>?fKP?ϧ⁑}vCg H wx9`3k̐T[:\o U=R49ѿ\4k"K;.Zۣ"%GYy,Wn_7\JтDt^[y]|7B+'MsIao% wn\O~[tF[6Nђ~ϖ&_y+S ~H&1RgdMM퓤:Qƾ.; _@jrG0z16P@-5~KQٹhf\p./xtJzjbΏQxf'mKS  (,ϛ-"4ߍEհ!=5*֧$&)- Rvo{~ȾKO5X>>†HF,<[-:̯׳#| Uk'UO^li MY9ꚛ2a>*,kي?~nhTj({35:1C=/m3SEXAC""gH-,5ōL> H ]!n,:=6>>{D)iŭMMj蛐/GqzLrXE8==_^+bv}aؑlAx|o݄s%Mͨ`YYOm>Y8s-ִM ,~PZ ?*uF-g+r ;2v?Ě :xHG92`GdDa9^(&o =^|Y񒶢1ysFi$U"Y}.!7TH1+K)\32$R#Yy9$tLCRB7B F{2q:_ z?kvR0)Au Vk@4"KZ(k3e\v~7TNn'DRGc,B/ϫ/3jDE,oC e/s~AtݝRl NBpj=+}Ů#vW~_˱M)|6;~P91&t>ͨDly_]44TlNhG (rMFj8m0n{EXPKb,|f~ V"3ŵ6VNf꜐KJ܆ BB7QՂbV؆ )LWъ&C /:flOdi4`VN]%GB>ğo)(wR-*tȹ۬i*Dgy"+GKQO0)~'i-5wb.2n}G#]Tbrdse:8+D*D) TDQ4BGD}'fn9B-㼤n5&F-]ˉkk(>agDX&9*|L W Ƶ6x,Wd 9CeUk ϾҊM82U|+ARJ:RdTu2&q텑Y eɣm >&Y14nj7*JD AT@Fjz{1i(QRf'wT<߷UFɮw3ϝ6wĔdp]3]1_~b昲 nR9JTvx0tX1 Jzc\d.SH˚ؔ%޹ Vxqʄb#dXSQ՜5ZTjW_=ҽcyIhC+֥J6Ƽ"E׈ %KFK3mb| ®vXu;ۿrwwulHl(Ʉ1$ʁs.3Nm2tՙC MӊVYLtEX.޼:Ή=f{Vqm^Gќs֭XULDCa?'Y6t;ɯU S0H4\Њ(a`^%Yٞ\ q̨`ghAl@j"\lA 9FY1>wEXj>A"W@/[Zei[t#YB8@̇>v@dlIFpa; X.ǜӎ3Vo1 t;olUY5v#59Bk< `꡼*2r<¼}Zԃov"Wh;0<ҪpT`Eod^.O}3  I~!mxupUYoIOS3MtoMQ2/_,E6VZh0znX&)zؙ#yf\QW$4kw-f?}ZIn-2R*J5f-v(1uRMu˚ QK/[P{#j?{O*>$¬e:;366o|zIa⩧'\N/4$׾vC;$ze /'`-NYPA/B\,I#C(:.T|`g8u3d^Z:=GsA<h*GVMIߢm L':^SĿwD5*hlTP./74aJTvhs'~vZuP=02k&ՃO8"6SgCkRqybPM*x͵93:5>va0X5`x `ꉾU[gmK5}z G LٺyTHcp,ޑF_@#4CX,BlgN-[g64<زCz9m}bhmrLSg_ߛ[-= yJxZ00g eȵm_}]yOˣ=Ͱ? /ɬ- T;h,`v` l@l&y % laMCx &Vi;J2`t닟A&s-7Yr0$l#QD(ߔ4X A~r[%y(M 0gYZ7zXZִF! RE]ŗXi%L!l̍ŋwl!W8.[K#> s?u$n|ɰ֒f[GELXd42`΋0`gE* WO)!D 0:RE^7ϦIc+eSǺu:+DQ jL5dK%vNDB9 a qm1hK0kعm߿[ b֫1Ҡ(" + ,gS* O3XkPd4lUI:/;s6dM=^]?Do9~rtd+f5QÍk5pq&Y}"Nbd1p|)⊫6C?~1If=/H Pmb'ZB_ WLX>@]0Vb:,8^͒RzuAoTwL,Yॊ?Ԑu11iE0)⭞nn)ߕ}N 7}H-Y.|FC[HlK(^pۃuM񌍚\]%+;S+ "EO~jaog n[*ߥv*k鮅{ʪBZh02&AP KiFB~_5$w}(  wJMfҮe^!8Pꘃْ9oGQi`D"~#ff+B>gJ=]TE3Zyw80UWxI=8 D tG@7LX.$NkEzcw B-I6fޏ؂Y'rIq{>iy2Mf l^j-:B߇aSa?j=@Me~Al=5f]-0؆s Á/WzX48`s r-s),O|^-g? m> <ټP1]w8שLJNIAk~lƗtm( їWԁ<\y4@7Es(Hy7{8w*8 C\B-)NX\Dkӻ`J_FrvUr 5'QT,QvҸ]a:{vh5ycظ2Zٍ =t{=36ƒ,C=S:/e~.Q`ӂKh0[y|V ܺW$ŅB҃=V 1$7/>[J$ /r qQZ5pƮ=iS_l=(^ 6"=C= pE:w`#l|8l$eb~f2 ^TS21$]U _R%M($qk*MLUH92IϝPLG@%Î@m`7}H{M"!ueXef0Tz)p&.xxIDt$ /#pP10+vdXBd5<4Ð@63s؂Pt0E('zvl-umYf9m_HfYZ>9n4`Kk4&1##T"hKYb VNUOW^ EQz'K5W @;v:A}O,|&&+rIӏL9>tII`jʩoQ"WJ?."SY%w_d(QA[Gיr@ /)7w>u+b4@F4 qXU]/g&n5g }" Gt<1uz t 9@/90>7«'CH!3zU~,8Ɓ#ؗ fݒ4UrCBRe/`\$nVtuyepgfĔ U,IIn"Ѣ|C;\b PrӢڋJ02o,YAq)bS3^ r%7^7oMꯟceRD$^7y{DsB$Zb^[ޔ.TA!#K 2ם+9\1և<^||%7Bt!:秘ٽF_`ylT.XAzs(^)zVP"eXeo( 8Ksք+E`sтR R+ݡiBlSc&`}%YQ`v= u9EW g9™mf~kv$sYĤ| c¨RhM{}5nR@ُS%]/s(*gcZ\%$($!g$#뤸ٷF zt^r/ (}G>nȂv:R?/B[5m$4ՊаxdCC(OKbr =wVռ-'&yوguK}5Jr'gWcӎ*}Gk֓&}21vFuq. 0T@Y>E*j&t*}JW ±u)* m}ȗH Z = ]Qb( [\gwACkv}=R}n0St[=v^!zN[y{MBLM]}|دISi{7DwM2t0 ,{Ao3|3윎~^NA_6%풢,`?SCu10rKP]Uo phG1L]^ b#[MYPz뺤7\xg5«fŰto\_J0'Qn4.΃ʯ49Dx3ϨNJjp'eE%H\6,bK~.M\k:zP {^F8_PWNIQ}#u\Y~*{_KpP*C [T%?1Q0WSqK_x.ꌼ8Jx01Րg*Y tgsz qwks3+ݦ.m(LH₢jD`c o ¯n>A(.5cZy5Gt"{-70~h]*)sd־b8jP]xg(Nu$WLnmNI/zK¿T? @䧦czX]tD װu,9BPGza`.E(n^3>w{v,o;?SW"˘}7u s0mc6&d+ecrţ&O$V9J<CW^C:~Z+QZDF2Nie1O]r`O<;A1 d:5\)Ts !T-dz\i_.A˟ityOh19 -W{a\.ӛa ia0Ϧ!oU5 ;'(zz>kN*0Wjkehx4'M ik2S1w_HwVTq\؎̹( KW&3 o/H*ib;R0nsterN|4K8w!EVo'fJ5gDv̢h ɰ̞srOV0=/ GH;IMϟEqAcUQk7Qzov~{r6,FDSQ۪s(_[TUU|۽QLuus-) Bg)[ҳ{іDb=W SU,NtMY5a"X+@pɈ 71HШ> !Kok5ѷOՕ{a*5gP>eb6{ݍ{63Иz[h)c~Pkύ^+ Le5+QC P)%"+N/=)&^q 8|=q{oKAk{|`TWl(7#V+PQV0jmt_}niY;kN{6~Ss)Z,e:/= iYfW 1̫RXתמ<f8\ҩǙz4r{dQ> rHa mri) ,ljg.Aٳ-Foδ-ٝ?63JJ!e #jM(Nl8:U^ ˼S)5&AR^ tSKrL )i KȹSHؗ=mPD?ZO 2y?* ;[W]ZD[iRjPꏏ#GC?q5}jj]$6;]3U?WulqʐTZ–σ-zWd ʍS]Od'!;TLUNsi,P4 %X~7P.!"νXh#[-D;9"^`[b@U~p_2V3Q8Pp|Z)uŘjk}اs^#ZF[Ҟ$8m^a nk( {D`T9p>YRR ԋȒu 4ԋi*ęqU$_Ă8U Aܜ.Z/;bo`dF|"&a t*(F߱Q̀- z9W3U=_`TF '^Sۀ͢rg7:e%ed6չ z,R мN1橣@'s"L SzX0]L 췔c-NLQH)m{K&-6:Oxbr*}cJ~ u7*YJ(ʜ|ܜy詒PFbkE>Xd&4wzWZu`qFtSǑdZцWm6s8W>+`ʒ27KTצ9&12x"w0bE{x>aw:a>&ț˦qiZHLJ?>hEަ;mU3unף+Ƥ[/HQdsXsP#0c}bcKiǁ߳6SNQ_7% (5T?2ϹsLYrIfYjDFHNS.f9.O \i(B .-6 z9M~Q$F}q8ɛ\AjgG!M&BJMj_=O?: $!CΘ\P)/1 ICFdCT'7Vt":O8%`b/O8WuБSރԍy862rN fbъ03XA&%ҵīٴ͖*GQ\hD灹<)v 'kZ] Xy (_+@-X ?1>nE (C,Pm/~3;V8bgXVBU)0yorP$͖&Lq`d/gr5~ɗ@9z`uf| % 0^rS!{#,S?-ucCNs%vG)qŻ_ '-Fk۽Cltۀ h.ޗ|[qYY_hl|aTOtm(A/OO=PH7۰0)wΡDU6OiLEHӀB %x#%: ky,w/99G" Y55ٯu*G\i $T+F_om$vsԬ[cv8,0i}q]U?#![i)Cg_,'v: ;_ac&G,,Ph F=(cK"hc r%wxl5 6 H_ r{Br ,rlΊ@1$ ``Dn Z:7.ieo-x/-tN[#ME_'~Zs`{WI\~S#LQp𖒺Rt3ƧY)z[ ,"wdG3}Č TujmV$r n5޲k+1 &0wyRCd s^cH@HGM|zi{uVh7 ;Ȅ_.%h#w;= sB&o˔ 'tf'$T+!$r̩j ,u#r4K%۹yG]2dr9水շ7w@+dUzgFoDsMXnn}>XZ~} <6G>{4Fu}/8t#]Kgtg# 0jb oB:aޗnHS~p>"D/`nQ(΍Y8blMUsJ4>/,Iݷpml ]țoΛ0"F7T|9c#&I*wK=3*rL/~"—u)a Ηn}Xۙy`=a'e=*n>Sz* QpxdZƁ6s1q#*c 9.!cGu{k l6ţ˓؄j1^uK XJ<9ZwdsvCbCECmA>UI ެN:@Vaq7|DGS3Ss4re0*mV;*(̀" SC̶,3?vNJH8prԊ4߆RiX"%~vH0X5ŵON < ?O5Aa )26:c:DPö#(%Udxyܟ})@!8Ճ|10G%܋{G61p@Hgrʠrhxtk棨F {80\,vD<[ `sPľdɊ/w ؘYGW._:Z '[WnЪ}Ȅ,8s@!>PV=(@uQP͟gv%~: T^xߎ\Ff=n Xu̯E uzNª+Ā:#67Hj "C+(L8vW1£)ΘELYXO|vRh^ʔ*q`- 8kF{zilc#dzB{iz9/ =N:'qC[ӅS{L"98%0^Vsdj {'=*ti,5V"U<92۩R:tTH 3|odwC_eepjQz 7 OKO4sQJz3sW&% pw^dX8'b/VX1fYti&@GGX P(?{G>wVvr+vP#TKӒb$oGwI\_dyٕ?B҉@V!Cb RQVh>$ȂT!Zc]fIea!mSkM2EGgG_z&9'0FY @ek*3֘2 DeWRClAmUrX*k ኞp<O'=S[ag^渭P;U=([7Tg8J/9>dܤJc;#L1T}DF*~ǜۗ)nL( bcβN榆ާPE431w<ہZW u\iUYK[Ĥ`#{yϏ]m-sJȋ"t4c+I۞#4f\{'裿#LFOuC #+h KͦUTG5*X9ozhJ6I6cɅ{2k㊙uF_jsͅmJ^y9kmw.R~r~+eVc?l?07>w}bQefrY$2Ao1ueA.bO+b"-;VN-Q_nrh<:/v=o.g޾vWW9=(-@`E>P^ח+ ߮_3 % %`-Zka~͠FGgB n[>0|vZRAz'&)hKJ!\>%mA.yA\P$5#0 zY.[Or{AaxZAEePN_/茁S>u)f}mD9W՚ScFu5`@J˾W" Im ]61:۞sAs!07f}8X:w:ȸh|T`H~FOk0tLČ 66c>ض{NvőG*Q^uA>3N3Ge?1 ''5ml)) (k|Yb̏Him cavXդgJmJ&Vz;JHNCTǤAVX)p`1|\]Lfk"Z۸- zLazYIW3&ucF2oz]=PYT7XNdeaTKm& bT{otHGGl9!^:s7"8},_`Ь/' 0lTKFxEL֕CPUtҽx 2V/OHvtkao g+&C8u0{8G6*ot+^qCc" paW(6#)Uꇠ?]lmtcJլ,b꜎応P^d 25~ xu- ^Ô`Zmbq,6ȒHټ1̍_oC h)fq),D`wN3JÍQH'7tmZwA?G3ӊa&mc~A1T, VZ}`pd{rK(gGpaLdjLbYNܒs,Aژ3[ȼSi1H3J“ڜ:"FnE w,h y{lSЮsЈ@wi&mYeYiU֍fR6E~:Yːz~C+OhHf/P"uo9+ȩ6,9кP\P)]n3<>3?bRxH4D؉GbbcwA;CdU&o&!i80cQQ@;)P)R{j"ЊH1B-Z9b WW"u鲑'cDϡ}qx͝U9!B䞴"DAK 79g>Xg[U(5!O8, ~/|zf^8Oy,(Cr `; |GϧIѴ50E볛lxJͫx{# DŽwj~!&@1Źwb>P@靟qav]ʒ@!܋RaR]w|;dPZGzý G<,Lpv;Ap{XTtC2G{?X uϷ,ϖr+jYZ1SGzp2D]y#e$2EL.?rh£;6Əf(_lWPZ=h1#Y\QiP}e!YHe8v։NLOJ %И_!/rT>?gB:4gh:{uȄO9hd t1I>V|VP9gjěk;wN>H.}SDުVq RP gj+׵ #r1"M"T÷̕ft' <)ˑ̸q谖po:yoS,NF]qLW i0f@=}؞Rz8XM\jZ.f#.VSk$p;Ѥ-mx侦0t8ӮvBv2U(Vl+I|1 (s7, nP۞oJK Bc/'h-k;R{Y ŖQU.x<eY Y P {>µLe6P2oZ%#6e, _?i/>ƾ .#1b^ֻ+I|{ܠR6OQ$˗ΨAKa-ÏƼg xaGHʚ?Ccy;bu(.Bt/wczQb e_qW3 ~ eׯ~F Bwʫw=ŝ9e-3ލha)/{*.XŽYhHc}Y(q25QcD`>l}#8Vʅy_5d5 cRUX~7ū t b^˫`U RNJܱe=krz$ǧL]':-d@kC#~i\Â,cC-e  Z)/_?k<{t0*fz=/ \jiőjulc5%Bݧӈhae7'oi+F;0$ %e VDtͷFo1E `g}3ߍ|=tR/ Ԋ3Eȏm5á)Ex k_E8j?H&罷ڔb]x,-AOp8|.CiÄ9lW@bo[=ܡ U܁zfGJEqzF4JRX%sgi>l%u/+ csZ<jwtle8+yW޽jFq#W9^HC.rMH%BYur]׈-_zD _*[ Oms/8, ŕ@Chm&1!ee&|i4VK*DV;I\exh7p~:O JHa'u wFiF篅SYZ\}ُ!qIx dy.)џ gh4!_&(ݒcsFX}Rf;Q}1W̄M 'Z0ٜd'3`'pbjF -BbB;{Jla&Ǣ48a[ zhӋ("2 f_kf5c,{*f0TaljvY^\:L!r|,Ex%M%:I b )XTkg~~[a}R_.Zo2Vmk L|X]k6exx1Mް}^xn18ҸaF]Ƞhz}S B.Eؕ+6XeU+fW x)P6_  bҷApҌW`>2ȟ&ꭥBm* eElTy\W[ZcDCSX?EƤu%6S1 jq jm ed,eMA<# k$ ⁥u 5JNvȩHdX̲2aՆP3qQUt ^~otėߵqjȃPX,ڮ!o{҆p[;*.SU-*(YFQjH s͛u?RF8(z x0 :\cBU,APi.w2[;Z'%CMw(+ )+:H-|hl~LfZP 0wȝ$[ nRY2E8'HePƚ׫HT]i윸{L\u.'o*2['k_ ҳzFm0 Xl,?nZp! S'֓e2>}M|Nh?3M4GOe9U|X,>eshz!]ZE龉x*GXsxSH$D_xbϒ!2 $p҃jz߇AøH@,Xa AEHUlJ)-l B*F1ښUr >Ld՞Ϫ|>\3£o1,*Qn}pܩڒШRAcY鰺7;2!DRV^oN0C_6~yAJ5f 1޻a$~$` ľI~ka"oRۉS'c9\ǤSnEl08M"?{yD_@G{S;zS Fb!X3W"4|d;h]S/kmd cDZq2q||5؏X*'b`kY[d\"dCs[j?!2<_{j W  Ihˤ+e`+T0>PI{\S7ȮƝ|Ȩ[o"dJes"-dl5i1˥7vρ/n!S2s]IDig=L eۙBwL1VSm块ײPGQ4@\1)fe4jG(Pm}kCgnl>SxAa5 c0x4Q,/bT)Q;3ca] .|o5Kl5ڟ)`b NN-_0s`* ՚LHke,\CE0Q2*Ri!Uނ_t?QT[s Ge5wbmQ ==ukuЊ!L"cOJ&G6u׵,`$Ieٍ-َ벷LOfZ:~>TLgb5 v]毠}pXc :&_|">7 ^z 827AyF- d)+ˌB=`ޢ\'E>cp/ET.m$Ls]Z 7X)<b5LJ؊2!$Ս&?_:a>`u7$@Y.Qc󀑤M!'Iӡ΃xċ΍ѩ "D9YN^#A|{}ÐFeywݨsYu~F=X=thP+L3Hɩ,"@rgɵ^(Si ~5«d7-3ހiS7 # ~m?!,C8{㿑 ۪>Z{<~ZKWF hQ]@@k eaggyl$k֧VΑJ'{i\^ v&3 Q8G 1  *13J7]~ԟO)Q#Hs¼H ~m\cd< _PKMnL$ztK7 [zsq;G 4@yFqke"!\#aTLh6^Ǜ)Kf8 TIG lpP=zjyDl-&t{cB,!OMہ!rxń:ƕV K7^&p~_ ǜLaLЋVc ژ& S6Q%`(f8K»@m`\=LLFz 95nmܥ09j'HkeNZ}5( U8E@lf+mRCTT&. -vް>ë! ev6]OSRmKJ"+ԃkc ]e 𰓜_*_MTJ*&v-4L3%(*+C?Kfy1 ' e9XA'[q(' mDxOMF#Ѻ,)M Leѧȡ)*s7^[-3,^ $%oN8 ~Bk7xDOo׊KDb2=7vIKU]+'ec8o:yg&++z.Lx+@zaA}12O{v &/ρXR?Gf,L 5'^E 3 7*E;i%jY؎{vL :-(*nPףMk#,‰;mԔLnƠ>{]qM)iWTĮE%^ v[n>3 FcVWuo/R fhmou΁G ֺPFI"nz@ۥY3SIMS. [y:-%ħ =*, D~n&Y5gYZ0811e149a17d72f3f1913abe0e1d054f81e66d678215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 6ca7c2eccaa6d6c3222b369a56320daf10f59805 8ac046f77f5f0b646672f561848283ae23a12b8f 284185a5e3de38e8daa38487ea5ae87edff6a975 8dc2d093a2088478eef31f2795dae11e984e043a 6d5e3fd8b2f2f3b4267d8f17d15fa28fdb742b24 6cd2135dd20cd60abe3d17d4e0186a0a2e1a317b