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 c+vld\ ]S LTL_Normal_Form:threads=4elapsed=50.703cpu=128.272gc=3.3247zXZִF! N-]ŗXiɟH)0!h]FN?(ʖ* P myTKԾT9 *={Tܛq&ͺ6#W-fbh=J/0~-ZJj߯kƈװtdtm,Gܱw^|c.rӒ(J 禧?hj5C%M=:YLoQ} yجt݅5KEGDc8px{7 Pr 긃C8˅D umV&eQpDE/k&PhQ="']T7f[|]Xӗw#ԍ+/Uc"*D|F*V[]c砤UHz =i%p/\YHlq`og;Ȁ0oבAdFؾ,~zaY{]aqO֋xIy16(q']Рu;Tof%]EϏ >q]_'N}v L)Tp1ȩДv_40_gqO. 6[J5q4as.( D=o^*>3]Ψ2H} '2U|VY997>^[R-j{<4ڧ{A*>V5 >>+`tⱴ̇~qv = ۀV͋E(,G ȑY=PٯإҼ63Ԙ NXvU"q)*n.0G s5t|a؍,poNfZEx<= b  6RF%z̪ao|> Cxd3-N' O#:OědF|P"+% Cojdja#B-,rrouZqqvȰ .YXL`GLKrP[гp{}bAwSqؼnѫ9Ku+nńeCi+zVEa &h )2R,ӝqU j#IXFW;& U 8aԍ !eYmqZT {XOY ,;Zk %\5, :DAkjooz^8fQ׌: JQgYZ7zXZִF! d]ŗXiɟVMv|:TxLlppBg]Bsa5&Ֆ3d ;6`K9_>d85q=(1_=xbӲ:e'eRAK t`4:0k?T mΜ Df51͝Ʈ \gYZ7zXZִF! He]ŗXi%D8W+@Ꮌ7v48YMd?i=!4s/_Gؾ!XPڗ> 1F+v=KTj1 AF (+MN4lQ9?\A=_eL'OCfVcbD] yY'vZ>!Q $|wH^vHHu;ފK4?WyfvTp5⢼yE Px;!ś|.z_Q H5%%7:ߐ\1V~0%{'mu3c{n!?W<"'("; 0ib/ %O,ֆ-n,e^uWxq3scO4IS [LQ7 _' >WD`IbnϬ@PnLL* yV8 '*t$Dm [;m/NJo/W0-Xkp"Lc+O,dZÙ 15(nǹ =B@[sUaԤ0)uO?WFDVIq7iCd&5RaV0|lNLL>@`HmHfjɓoؽU]n tB,Ԣ ;\-ÁpOt0LU)K=H>'g-^(91Q)]8㬒T^f);ro)hunGw\Z5+8sY %V%GJI>Hѓ?N0 n^.B1k4%Wu5@@I9g;r"ɫݨ8e-ddg$6y r𥁮S9TQ1('L"-%}a |S=PZVw㺯&q:,7("!h&I*t3=AWݢ+*k% +k ~(Aޒ}ï v ‚A.%F, bO鄔L26V(4f٤E|z6?p ̤lAW绯aPAC/J(x+0~w]3;;~מ-`Kr|,AEބj;YV0r`P3?pͷV_ɂ_N?j=hWhKũaiY`g1FTӞ| 6@3Wlrѩ%_[ 6 ]a5*2:]'phA!WʑsR2}Փ9Ģ 3[S̐Ln393f jL:CGή*@<$k)5wo@v[MQ6ykιd*AFHK`QFlr>FiѴO>tg@iGI1NBSe)7* @lAn + LTL_Normal_Formr +[+ TLTL_Normal_FormLTL_Normal_Form.Normal_Form_Code_Exportcode/export2.ML7zXZִF! WYH2xc7т3)T)m :f[e8<Ճ q3DTZ{NVt=R kuګDnr mNӧ63WW-C R=Q J c 9hK3g<>>1ỏ8fN&``\m}=$ŗYESϨzt4˕KpVAOn& 3abeG̲; hF㊹yNMݴ #V1'&2b%Y0 _:CNC#C4 =DП vP\)ECo"b2Rp8mEsh7ƕדYdFP ^+0YF:W$Qx)+[+ DLTL_Normal_FormLTL_Normal_Form.Normal_Form_Code_Exportcode/export1.ML7zXZִF! L%]9 ! kH ~6ң~& 4E~A3I3oceyD@F씀sYj[}I@؅bn7poYvJHɏ8Pk)O7꯾YOHG9&bm`~ VM{,툚Փֆ4x%m>_ whXANB#d sw.K*m44 Y?=@t}9y6B#u@%5s0nV8 GtD,,dD**ǀr`ɬ]˧>]kT.cP'u}(ň(3M-ߥx7`mEHsnC/ ߌo^[g3\6`ӈ񪺋NbA u^V]j:0X&N@2*JC:l#' {$@$nnwfФV?f[l ` 灛BO>6}{g8hH)[P+O`X(^b,4͵*UKGp0d>ݣe}4*".Pߍ]L\F5 =wG 5E-"3D#џQ*՜CRpչUDZO^*t g/Ͻn,,x؀ ]@_DJ ⺱;!!!\wᄚP4^ J.LR"0+^yUT> 4\`yu:wclm~O˯]wI@SR * ?J%Bqy5b>OP.`^CAOSGm /@;>aV+ g[Px1fO#P *|\墦yM,{<p.\aM2%r:)sn2 F~.5I6 McA )BY;MSk7˾-cg(p$%`|gLi:F5 N^P췜$dA9((7RQG}ڜ㎸t-,GzϵɌ>PTD`')L4U-S+ex 5O/2j3rG2Ʀ)l' LD'^NP?'jiKU0Ky:ŎͯrQG<-^0ˢJ?hfą~&CqUǛZJS5hcv/?y3q|%=Ԥ9qH[$J+{ ܙs#vD!2-MYTΫ{ə)<['bhI%d*@(hyQC6ʉ]~RR_VLC򻑳Vs8G:c/>F$Ue#D-dH0}c;H[GR"SKpjm q7S(a촢TVիp@ē=CF6E`ti 9#;%0%߻ܵC6ZbMSH&[d!YK<{E{gz/VT@I7Z,$3kk|g>-.4掂_kmuDy'|7KhSЖYtZwx Y3ʸ)N.EwkUb]8sh8E˹U;BV}¾F umuq09)QjIř)sOa ^]{]keaկ+8y] 3g(uxu䁵p3OOQgP$H/ VhW1TTh=B<kѻG21LFL\U/F/T[ٙuD=1"{Yp!@rF_*Zl?I1Ux*eI=#i(y"m2GssWOW{uT@3[iQSyo[ϓᰘa=G9~9~ -    / Ti B+O%LTL_Normal_FormLTL_Master_Theorem.Master_Theoremdocument.tex :+?%LTL_Normal_FormLTL_Master_Theorem.Advicedocument.texH+[%LTL_Normal_FormLTL_Normal_Form.Normal_Form_Code_Exportdocument.tex<+C%LTL_Normal_FormLTL_Normal_Form.Normal_Formdocument.texU+u%LTL_Normal_FormLTL_Master_Theorem.Syntactic_Fragments_and_Stabilitydocument.texG+Y%LTL_Normal_FormLTL_Normal_Form.Normal_Form_Complexitydocument.tex9+=%LTL_Normal_FormLTL_Master_Theorem.Afterdocument.texK+[+LTL_Normal_FormLTL_Normal_Form.Normal_Form_Code_Exportcode/export2.MLJ+[+ LTL_Normal_FormLTL_Normal_Form.Normal_Form_Code_Exportcode/export1.MLފBE8U<jT(ʁ2fA)Dă<sӦW ,Ȼ}{]NDYm v%}>o3K( wnTp %iKXuԥ}3b>4gX=Bv$"I,S{4YYǁ  J@/5Z6 tP%0q!r@jd*-;KȅR|ݚy6;!`[Pindv˻E)!s;g@Qa'!B:mޝ|.@#a&0Vf[|F~$#F3_/~O]Z#c-D{B'.kUU~޵x=8ǻ+rNZ<3" w#:[ }|MԂR˭<_lEdGUi-{۾9moJ m# bب꘨d$_S"/eUhvD}hsO$s7q[?eMQXlCHȟ&lYgM 䏱ޚ~(%@u_܁ B!`) VEe,ӗ?9@t 5EMqzUIMV–Rw)fHBl [=Τî<p#zQ^no⻂nC}(7'=RސWFҀo!ZT}egafoFBz*7dL07iip%DrwWSǒ <6b&^d+t(<'Xk;zQ MT֙K9}]6C\BNO-?D!,8vS lw %K`kyvs7) 2οSf'DP-1P8#++z9 G':%*4&jID0RJ?+4_uLd;s}ٖzы(i+zZN-̱nqw^ӖZ *PgTۛ`PJS;4*]+ Dm:ڂC=5$rRX/;8+򩽏QfZWI|񿂮#BM]XEP0ae˅ wlx;3:Tia<ܮx ; չBYzdIvɠѹ'_?!4/l21|v aP?*ȃvaԭnte39],iMړ¼6S/(/*kWO$ ;Wqʯ2dKl+ ~A?5eK?zCSEBHKՄe7bp=n/ZSɌ7^juW)/$ .5iJτUS>h}b$S~I34Y!N,3{E,07. ">rx&D7a6XyXCзCv#+OU ;4/>5I&p9C0nQOt5r'h2Veꌁȕ(30غg;!B/?{U8WmE*xjpWHfe<ٜ!(s,n{ 4Loug;Hqbҿ/|{ўjQ W`L2'M"zU,/)^D@cJGv;㝋wRسOΠ<죾hX!N>|web9ἤR[v&oY CG-WMZv`-SbVeEG,e_V.tIW ID=Oum< 㚻M Y ǐ˟.UTбϷg Q2ll-l?X2^Gj+|%8ZΪą$?*7ɏAQ>UےB9 C.onWr^%'MxSH-Ē"f]U@b'wcDTS}:vSRn܏ Q}@T-.DYb~/+ʼѹm%KַfIȦp`|߯r3VMj.)`ٙfZԴgVǠ[p>Inil$!ao:cL6QΛfsjuK VlUcx(UO䥰IFqTՐfKG^3 e'Y%&"f4y|M+- @:o%u"܊ul1jƟqqXaOi?;m!ct1"mG{]_w-RA $iVwcɔ{-4>}7`a$'Ay&UOuΨTn/{van=/y42buM.I=E\ u"oDyI~G D4`TtaLܐp8[>Af>[ng̗]c2`#msFv&~htC` jB 3zL(4WVa(Le*_IK^/ߗXqSŞ |T\N@$3Õf1ểH!|Kd ڒ5#=)$ZN+9522l}cU]{Ɯ>TyD 88nq(TN.ʪ9? ٌfONݰ<7ęI,d+~)VR__Aճdl🇘pQa֚DZ6nJ"!|洕ODؔ@זz2=;N: 'Q?O--(s+e(A >5Ba׼^ \'ƽ"U,Ǯ\O7w-6w}CPlTDzjq0fD}?F ˕Q˙QZ 6$1+NRgXJOTG?IGWH>O|8p$˫& 3(rMVwe +$T`q8ؾ]Ta2{ L42ZlR3hD=6y:L4Sb4 l:͈Tn3_*#0 /o <͌F[mV5Ox-<8QӾxə;BkaPMSMNGkO\[np!^[MKpEtPS(1 Udf!]<>.>{ÛKlq,Tӡzh LsջُSf^~&D S 憵ˤ C%mb3w~$QB;GSˍ1 xzV>T%0jpui^}*@ .%K?p8?rA9qs qxQ֖XP 0oAsa0SQ ÆAiR/ Qm+1ܶ vKYۍu2H4yYxVCvŴO mR0.qx3ɦ֪q0b^AiV09 ]Q9%&"/LiGx%e-KD`0W^]_(Kd3ąMҚ%J.KܞzF-3<؊\oDnj,1l]#khV{ަ Uςu <݆(+᡼c? w *P龱+993Kmm@,ti SV#/*e6r(Vun+B%C@9ҀDpw3$9кXv ݏ$`]&ȦkYM]6 |ʰЈ ~u@ߞ@ZbyHd&햜·%s#2f!e ˯W^'+_}Xřng!_('H;-jjjUQq0dǧщx0 I2 (7 pɀ*cBLMDǾ9_3p^d*:W"#0OMbtO=ɇ{+{ԕZd[kV,[U]Λ\/OhK-S8=l a8n.0in2DW;ϝ<Af>BOEhu )|eNq =RKٍ-wſ#`g%Rű Vk6 `,RM~o˹'o ;V 6>:lx%"1Ҁ8q*YY|frUry")@Wa&V ʊ8C+N>E gYG1 r p#Tx$דB!^Qlb(o3Q2q]v/*D_|][{4N9_o>PN`":ZuVV^  -c׿sdWz,I/r@C+JȲm?4We~jaKCtnz\0ctvE gUcJxIІM`⛮X(x|wpW ,N 3 D,+A7j'T$g1*5^SA#AUxc*vw9/GG1 [~:qKz.%cKTE*=hBčR\`XV@3N%SWjy'T\g2tu돮ͺNjcfWe>Sَ@:f#-ݙ'5Y(1tJfْy CYwbn  c6w@LH-|J=6AwުփW~.;H Y/"kb \A%OT-AXNfOpB `F!:ڼ4|dzOg[ڊ5У\_`b!:KFY/oۘH,Jt+h!mU4,[27M1Eg;M禅-a+#?+7л! ¾:)erܿ[שU_>YM] @N0N f:_P5ߵa}C/&7X8+Đ5ePocKS2/ BiTL}[¤К :H4z[W_@R&o ;'Uѳ}#$}!SQ׬l#_|bsӘ_=FC@f r /)DRZ jY!aL+u)MvN\ S(sVKvK ] ;ѓ3Eb1Tp*^:V؅at^K)&wzl5C0r~COXZ+='i1%h|0?$m홟 =le/N:>y8~?O~v{r j|-wŦZIQ7=FW\5Op14Fb[Vim"OlCm:O߀ݹ&Ɉ&} Vt9"˟tK`­+;xyQN7Bjv еRXц1%>9ے1N]L߂U*(fַJi%"<1([ #jf_5֦4-vDpO13?hƖk7 w#\G+ }Z5[v Uؚh`Tbnsۯ)LȞh>je0+{,as8,m;RB墜\RS>Mz̦{L95\К2rb|U~F7zz4DZ]z?5̔,NbQFBu>l (9=Ow}6r~ui_{J#W z'CάW3%,.%y^S-ciD&^޹*ey;| -_LC'+>}08Af(49XS+o`#}N w9-S\M/gB{%,KCrYq {J%z5szxh Ocyd;GK`b~c_ W:pM7 }肒ᑼȂ\1R!Gj~ 3S<+I3{]bg=uUǿ]+=Wx1."mtB P+mmܧa "I#xo\ YX]?^Ջ%bX͜v4lS6uCrp{<(WΚXXy=ɉ% k0GubQ w@ 74{9 nSo6laV9O034Q*uTm~+$P'4-|7)6OrSO/Ad\5YRlTJ{4-nր~mBD)б\k!f\"0PMR YmP/:I_ bOqZ[#ڠ=?2l[3Ī}ڦv](J(. (o5!J 5EԢ0y9&"qf+lvҐsH<:Iyf$jH 97L#CQJg&p@RIR9Y[V3i,CDv-|| Srk0ۇ]MۗbƁ~%?{zQ]I$c@DbG{飏NoIef"ŖZ:y7x=-.bW%Hk]e v_t9+Ksa[HyESƑҾ^6`ջ18`ORt0 #=qP)Poִު iE!o4&%#-v!tpU'e__ 7P21d4xXOjn^ ݔ\9cC1 87c{Ȭx͙;4ȡþ@Qjj]J9XɡL_{6{/M^cD M9,fU\1JI:܅rI#QLNx U[! k涡9H7+? B7sIj(acH~_?t4wv1CqY - v0O?4l_~8KmtT ?Ak_ޑ6mI:W`@VtQ(1}>p綘_j+vj@B",tIy-"t m[SFSqdy8VFLwe w-*m Qcrc$ב6gOEw_i8%𚟠Y?$qȰ4w b!эdl?i9XIIxn=eve4WQ/2tqE0Κ `rxo! D2C9sf,{۬ZK*%Ea^E9`D0^rhvEbag:}"4ox3<3hw:9yײv &"j6Qdtf=8qHLZ>߂gYZ SSr +[+ TLTL_Normal_FormLTL_Normal_Form.Normal_Form_Code_Exportcode/export2.ML7zXZִF! WYH2xc7т3)T)m :f[e8<Ճ q3DTZ{NVt=R kuګDnr mNӧ63WW-C R=Q J c 9hK3g<>>1ỏ8fN&``\m}=$ŗYESϨzt4˕KpVAOn& 3abeG̲; hF㊹yNMݴ #V1'&2b%Y0 _:CNC#C4 =DП vP\)ECo"b2Rp8mEsh7ƕדYdFP ^+0YF:W$Qx)+[+ DLTL_Normal_FormLTL_Normal_Form.Normal_Form_Code_Exportcode/export1.ML7zXZִF! L%]9 ! kH ~6ң~& 4E~A3I3oceyD@F씀sYj[}I@؅bn7poYvJHɏ8Pk)O7꯾YOHG9&bm`~ VM{,툚Փֆ4x%m>_ whXANB#d sw.K*m44 Y?=@t}9y6B#u@%5s0nV8 GtD,,dD**ǀr`ɬ]˧>]kT.cP'u}(ň(3M-ߥx7`mEHsnC/ ߌo^[g3\6`ӈ񪺋NbA u^V]j:0X&N@2*JC:l#' {$@$nnwfФV?f[l ` 灛BO>6}{g8hH)[P+O`X(^b,4͵*UKGp0d>ݣe}4*".Pߍ]L\F5 =wG 5E-"3D#џQ*՜CRpչUDZO^*t g/Ͻn,,x؀ ]@_DJ ⺱;!!!\wᄚP4^ J.LR"0+^yUT> 4\`yu:wclm~O˯]wI@SR * ?J%Bqy5b>OP.`^CAOSGm /@;>aV+ g[Px1fO#P *|\墦yM,{<p.\aM2%r:)sn2 F~.5I6 McA )BY;MSk7˾-cg(p$%`|gLi:F5 N^P췜$dA9((7RQG}ڜ㎸t-,GzϵɌ>PTD`')L4U-S+ex 5O/2j3rG2Ʀ)l' LD'^NP?'jiKU0Ky:ŎͯrQG<-^0ˢJ?hfą~&CqUǛZJS5hcv/?y3q|%=Ԥ9qH[$J+{ ܙs#vD!2-MYTΫ{ə)<['bhI%d*@(hyQC6ʉ]~RR_VLC򻑳Vs8G:c/>F$Ue#D-dH0}c;H[GR"SKpjm q7S(a촢TVիp@ē=CF6E`ti 9#;%0%߻ܵC6ZbMSH&[d!YK<{E{gz/VT@I7Z,$3kk|g>-.4掂_kmuDy'|7KhSЖYtZwx Y3ʸ)N.EwkUb]8sh8E˹U;BV}¾F umuq09)QjIř)sOa ^]{]keaկ+8y] 3g(uxu䁵p3OOQgP$H/ VhW1TTh=B<kѻG21LFL\U/F/T[ٙuD=1"{Yp!@rF_*Zl?I1Ux*eI=#i(y"m2GssWOW{uT@3[iQSyo[ϓᰘa=G9~9~ -W]бgYZ vv+=% LTL_Normal_FormLTL_Master_Theorem.Afterdocument.tex7zXZִF! 8]A-MՋhvG"uIBm5{Hcj#l\4'˾t{F(231Nä67 pT7"vȃǃK'm 4Wf|!gJ7uywB\jƱe 1Uw{$rg$L ӹgp40VL1xݟ8ޫ3DbϖXx/|Ӝ۾@J7 8SHϦ݂fҼ@2S#wBy1k{+vsVx8tTp~/u ~kV!))&_Z?+ &cSNZa˓ ,Gk;sh @1˙O˲8 x(&^g@6LUs]~D DKz⭸1ΐڞ>m*Z Pg5kJH$Q|Ynh}PXiyvmťhGn8zB>j٩0@DeGPd2@=X+pOu{>J;]Z(bKhWl.y2C (tJm0sBk]W3/22<5s}+4 }4ԁVr~qZSD}S>Ltw F#Hb嫥8h ԔfE&V=;9UuT3Gqg)ZnXb л%(o| S݌L &WΗcUy`DāA“8>5na<^ `l; ۖTtCϛ%r҈)`$[%$zۅ԰-~-a<1\' plղ0ΐ0Y+P M4 )c)F[pes#9jgɵEmͯoGPVޓQTSziY{.vmeblѤ}b*z" b{7 AIFʘɻeo5"rŨC)Wfպ1 Mvc~wǞZkiC^]{U|2'GY@x֞Թ ?Xݯ3u@?%^%In] (tv j>+JZog6s5@DVUar*.FG܏` F"`Yp xOa5L]c?ʡr@.X ́/MJnn;!x_#3A^v,a_䉧 ֭buF`;=SN$9݋IOaAF(ϷT͋an MU=Wk6@e >a=sޘbJ(~ q׆ 2-BS&uNLoliP~W=լ= XJ#YGTn NR LF`@kԭA} #Kw)SO}Tq= _~ 1KBou):1i`@~NEṘ݌?I $>G]!qJˬlLF&Vl$;Y9)u+O-ӪT1WbVV/s-UȧMPMH^O+OW`;\ Yoo=y j&I]=2qSs ;B@RS5! R=DƅM] -LL#6Sw"03(y8SamVA{7 *:8`*랢2lhO + ;4T KdMY5,'h2Sf&޴t6rJ^kI`V}!mvSYB ,뭃>I/ս.uD VRRXpj:%Mm>>. ot:xfH ,WD]y ]F 5|)[k)0 ~^FN%}fw*pPy=;d6&ݔ_VZ=4~d i6R5kcEl'AEIk,ХgQkK /Dof"/*oxag[IɌ\Cjj }JOE2L9 7mdx7Ws&+ ϕᧉl\:8 ~J:xƚNq]^+8iBB,u僌ߠV@sʗ5!_#ïT>R.}@8rco1?ԁψcj<{D# 5?m3޼Xnq8(I@X;ԭMhWܐ7hȇߝtP5`NtU/KbtSo\dA^ ОyUپgSKz~Հ7hwJt} ^$ާ =KC,4O:j0_NB^~v+=?W@BP/YlX."eՋ{oyM6ߓ8; g1/;>Ɵ˚WQdK7+y7ۭo/ I :sxMQ=q#^olq`tAd̛N>堇E-amLJ..=ٲ/HVpq!lld*C3 9𹄩Xmr[0)Õm#230"=2%k P-8Z]yQd72R`6jߒ/6YndYdZ7K3> Ɂ[6R4| S6d-?#E,JMS^  p*+и$2Ьn|=D+Sá "KqWuB3rA^vcW¹QlxBj(ʼԢsMS=_` J E5m i' ťD:$6O4@)?bkR"~Q"_oq`$~wXxUylE|fM%XA(J-d1W]dW?[rtk{YjJ'!i F<[+\?҄/#D3*ToBœk6I]əM4NJ8w(ͫKh#2iRκMgi|h7nMF5ӵo#8v0xrEy88g?e ;?.^ÿջuTN|eؓY%H,,Wϙ2pMJ 8BX xzLd5aB?RZ;@BZHGrc/a"&E9$! Y-j,^dgЫ a۬p!,nd}~upo#ȿf<@wΉ,289Hz>oC O}.Y-PqQQ`~Y3^Lk"+`.S$`%a}f#\pb,0?(!i=@/bnؼ*A:bt[KMGcf?/'5C^o[ʉJv_Dˋ+$V \UVQoʭ?!= _4zCq2Th~%47!401a&>AWu|A@z@Gg 6JjS vU/wnQ^r/@r'ɟZk2ڜsn?nEB׮%@uz)Qc)rDZӔ*ŘN)ֶ/t@'T2kzynnsڴsey\/4!wMvJn ajKdŹ/]z:i"6lK=)&x }>sW^>M˞gS](=}l1ș({衘1zX r`Ql%wR#m|2C1'ʵl>@5*+r۝"ӹVUՖ>Yƈ@yd 3wؓwY*ty;sʮrԗFwd8B4Rw v0оhF-f}6w/)L ,.UnX,]~ ] 6IBE%m* >[7!+pQ^lԟG >%U`,Iv2uYW@r aCb;)_$xy BeŞdt\oηw>^/S{ζ6&@l#ue~*e^{JSH4Ҟ1ǙǏ. p&z|ZhTMb)_dk洖`]=7$A9ތS'eVCp]~\t,>@F>^`bdvnuyn:M*bpj}+YyU;/-| -@SȌamB!ۼ1S3%pV] z1|GÎ>mhw˝^$ Wyc\~D^r,`(]o7-&E@Lwml. h#+: A 6{I&UPV@mtg*SoXPږC+2QDcu%Gjf1CpUb9ɘڗg5Y Y". F S:=1o7.ĉn-pQ3/a҃Ѯ8`2.wp7{OF!V+ai:xgo\\07 zcrwIOQ~&,;/jJrR4^gfԏ2oɄǺ3^5KөP1TԨ׽O=~I'|N͢Gn{$Q~{'#^#(5veAԏmʨGFgd|d`@{$}&b|;hpVy%JaQMb8ct)1S$mr\S'p/(n(;E5kӵ1kS]_Boo@.ث Ʌn955)әT*JF`g eh>p+ca00.cc;I*xLX2+Oqzѹ刳>#WEL`qs>4toi_TxLjȱ>1cʠ|+:e[k5c6;XXh+A_fF1B8h @V:KVW!V=?2;i{DuaÉN(P\2a %{G57LP)|WftMoh4OM0O  $ED_i76eQ)Kia_/g%UvֻiƜz%DZJ`9 9ٞ?j*{bz&Z8=p]U$ي`!׿#b0ױZWc,SeJ7tJCe܃C!›33bo%7zO }>]~' aCUҁ>|rvuwc[67CLnAC=M'ȁy}֋.lI!ܪ>i':<#UL U@ј3өM>dE&=,滞M-۰}03zt58Tg<f{.pxp'/lt,?3մV- T~*ŷOll'Al.gv,~tMg RDŽ@ܷ_PlxX>&gESMkwͶpe^LNknsQ@ųeh{#GL9T({Cn?DU,(( !;A"B+Q!*u]yҷigs!12/c @s(8KT>e}a!SQ3{`TlJ⋈5#NUmϠKQGHic!`T@ KC.+7=G#Cu1/_Ju/#ia:)2Vxo^V|JxJt5xN4uo*Vx\R:{EPEow J\+*-=)s,B614AQc2NJI%5]AAp^~Q=M/+^.&OYdFYmHkQy b  {,or|"eńVN f {~_#c[O[O8co4S[Ϸ-޷*"(F;9\{IC 3xP/N)y]p?[gyϺ9ZfPӛb)?&dd?h`*\͞G;i: +:rKQ[syO 7{rfd +1FZ%>4F 9H/|I^XԟoWXSmtbX}=E|13kxwE߲OP̬N^mO[Xþ2 j۱́lceM'qS82 !FQt0O qJ¾IJ^S2LVIhdkxX B _r)1lwb- l+C7,КF a!H#,#ӻH7CSpԳ) [rŚRe~@56p}>lp|F\+b~ X{!Wo5z|wm;y#'0c}p*IE}Yu;I27u7a6f0Ķ1Ť1}aǯ[ ?d_GWNE;ŽW︨:vtd .9zH̀O3A!ᣔ<]5([MZ}_<瑰DLOaxv22JF$yK1]e臬[╛.|gScirmVkȺFK._kA$ӟ!펔f O 41ȩ!m2`YQ"c v#j}G7xXH/~zX)J 0f,tI簇<#-}pћC3B4!2 _ y5q|>}!wC:s~k8`~TҮ/fY.ll{ tzPkO & cXsh׈6wD ] l}sbٞBBD $&72 )p.ѿ v^wKg,}-lMf!}vq@X΄<@NICʱ;̯YՕUWh+FL2P6K9&m[LܓJ $l_]{UVqMgK,Pr_I!u GΊJ"& KT"N-TI#; hR-^x׭kN'ZT?\JKip٢ `0_ڌZ4˛"Cn!l0mXpxJHl6isEG3%Xl-Pu@v*Zy[[6 @zuLc!#C{-=>~& ;C S8[uܝKV@ {R~[czRd@=|C)Hqdo.(X $dւ\S}x{kN[3ꢚ-5hAZE?|#g{! 8a[XҽD{G؃<{BC-x&-6`)cbhx$֓iuj5풎.%]~6>MXo*u?3e[;749?U@j];f=IiaPc"G{JKW|AJu ݠ$ôB *9~|ʐ0`O$)Ӊ%G$L*^Fm}-b&^Iʄ6M gJSO0;ET~{VvqY/[qާG"S>r`nlxa2)8~IنYkc _U M=mAVGcB'\}p{*de,50YA, U2WTz,V]ÉM ߞD8;MXOJ O)&q<6M&}a]v`-.r%GSɧ>Ȯ&KbK`ڶjH&~j[ZE g yhW+nFe+P܄\% /I!(=QiZ؊blU{T14Jc6_9LI\%7qYEf5IeQhVm?7ָgcvnA wG汕*D2e`F,m m1ji}#|&]1΃n),twP'm(&_PĦ ,X+\>l>-3%ݒeɳExT_\KJ]UO逈Jf TWUQ Kc^UͻI\9ީ/̍a<N?v+%oiS/8fy YM?zy3NoQN3@ZH]i$%A֜ .'UYy;wWLȻbRQdKOi 5#w#]hh;젶Ɲύ$NA I ,Dٷ jYA[;}jcX "Ũ3 MeIZMjT!(דߍXQbU)z둨Ԋl'ȹ$$IBJxd}lvKUpͼ۴1mro`WyD9v8_-nҨ!smm*8Ө^礸{qܖk/ݱkmZ Fy4GF'Ȁ>"+1{Tx0(፫xD{h n'>e"-}#8qcC }LT ӺÎ9ir>E|VlWaZC~?xtP"qČ21kea=.EGm-soALG!ep%H Stu*|YaX<ԓ@2-Ph0yc%`o9R\߇-gSE¿@dALgJnd;w@ gYZ 22S+u% LTL_Normal_FormLTL_Master_Theorem.Syntactic_Fragments_and_Stabilitydocument.tex7zXZִF! H9]A-MՋhvG"uIBm5Ȭ{+fsp9\s}Qua {4›m3CnjY}7q N\}Ebo*E~?O ȀO`;>Z?mBͤ;֓O1ᆄq fSeׇ' 28e\L+חR7 Z;-KȂo<^6('r+KJ 7} rРQ}Hwm: fO у">8u}/^ǤovaJvrK8^Gϡ^Tjv'Q[?c_ xc'\`z{z}ͫRGptЬV4j!l!GjW\Oi]dj ^Յ3ɬM:' Ϗ0P eabQxD֧]`6csv@ކJYsv[;_i0xe%A|Uvr;„LϬzT;ܴ%2Wgn4(HLfh5BY0f9K.hi[[m[X7aGԿ|IfVoᢤoGFL- ҶdrԇrjVON[$/0Z:.k+_䌇;_u:Q *'i 4I>N ]1Tq_ךur[Z l@;f~Ko H_9,|nňK#_,IEj@L Zqg[FNl_E27U7>#_3=ydZEk<7_~Da>dGA̵#lf}W8tsbEW~F"LZ!pDiH` h|)`q-ܠt]5эwv I . Cضz8Odq qgݭY!Wۍ<ש-s#)d]53$-H$W}ަLtCnΎo&^zVP=^ uv;K\{i^Ooluv֩w7>"EEw_9*@\B}zuM^>0r @ Nƃ;Yng]c4Pp`P@W;HaqvB`*;{@J…Xxn$ud=/ v)} ;dgkGp>i}ˍdžG6>u]]pzV .3)㟐b9H }yT!xYif8@;5SS|yT|oE-X+{i5 ;}#KVD,@ ]~}j*\|nTg.*Dy@_^<ܦ#x\V}?pb xa冞Sa2kPB2D᭞<@$${Ta0~Oe qFi۪P<c 4lHX,#XGIzR eh;qSk܂\r*DHlcF:Y[ BK)ַ^LijK!Ƌ)uo7}uz b/@5r&H\F A5<9toĝ>1+U^=r/`,yUM2viQ=a)oXx& w[ yG  +Y% LTL_Normal_FormLTL_Normal_Form.Normal_Form_Complexitydocument.tex7zXZִF! ~&]A-MՋhvG"uIBm5ĸJAld/kұ'XFBaP[rBw SyQW|?-}C 53tcW  ѿ-|T .3tI;(ye ymz 2Lpʇ CҒ&4JדZcOj܌MXJq!EtNmv?{$G>~ԏߕ~TVo&IJT³O_eYfcViƔ){A&4\b%(e"2%NY_)sxĔ ]eǤzVІ>֪OJ@sIeY|A'Ghz39Hu : 6LB>.ͯXqA;.+ϸ=)8Ai:YnYGNY~z  4$0}"&`\s萹".3 Cg/S62;uy`#:D-EIV9$ tXTIgJ_Ţh!2CJUr"BT`uu2Gk W9F15ԦJMp9|ie3G,L AH=@ᾧ.<彳qR+cg6iOY4{ O2SU8cW %2ڨ4FtXwB>*: Q˱+l߇ i_t'S*SϙޅvNۢ)PgKTʀck֨RwwD7(k|l=^=.pko;vQE/g,ŀ0:~<.O% '{_P7b8 \pG‹9$M+۸!l&\v@0~F+/Di(@K+8KIƺŗ^ď +AVIxsSfLЇAE* vB&=BEMr,3~8y+5Cs_0*7b Tՠd>}'{{_Ήg&yRv2:\\#sNQ{W'JmGZkTEemK@U<]du,*Hĸf@c4:q@N4c t'֢GO2?y˪e~-Cԉ`ƱTV<QJ@:_ͭ嗭tn5 ̨rWX ] H_(8Cvx\vl'N)mvH_0[ta 3!qr9$sEni)ѱrꩼ9z EJ0~/$5>RhUHqـs%;45#) XFCV"ZlrTv z_uvkuzh0~(=qV-[(LxP>By3!8ˢR{n( ߂0% =!1SeYVSf}> g͈un3k[<06x\:C7{d(mrSOѼYf!8Q]3,&1װtTYCSLqm<Ƽ OO>{YZp l_L8S p)AI£-u0-dKJmȕiYxA ʻ\ m~Shne]bFPzKQZծ`yϘO43Vꃂ+^`\|1.ՇLE(YMvgv)" Y~8dzSmNȝ k˝^} '3h6,S)2a7|u[&N6z@! C2`,ťA+xeZ,8ū"8\dbJ Jhb \@2G#[sdvWldilS;?N{݆cyI>gvκX&Xy&4v>B%SfHtDϢ߽n 2f?79  SM옺rә-9rT$$kWXKq:.eб"IZN(%Z}~qhOMLҳ-]F-O>-͖t4ւ>G 05Ev4dd1]SGySLǘ,c@" պJ0UgGw(lqҲp󇀳8䅕:#_b?ǚߞ PW܏K_z ?vזBo?PJiFGX)3#3IHJ5R2yk xDPXer X4l(E_{X~IWŧ^57Ƌz#qe*ݹxxE}i9:OD×$( v?cpOJ6$18;>',u|'񓜬:M7xJ2zagr*X*(F."V)uX44RycVSǢ#e&P2T6:D):ހ^$>i#9G\1LJn69o:bm/h/%Lo1|M#ѹ8(b gV=Dž ݀)>.\ьUK/ js I2vVk$x˖3͸x$yyF=_ݛ $!*s6ڕLDj*3OKk~P0rBk-,Ɉ*4-O!UV8F!]OcX%1>3x PTx<3Jcx'`Dճ3WcCO-Q؟͂%=>;@B s'#~ OC7ER΂HBn[n4oUBnV|Cۿvm&ia ZuQqRqh'x7Jx/6a&d z&+* /w7u5IX_߽4`F3\+a}a,lHc0#Fr%^S8MO\ RT"2NA/O#k\ ?] cRcRgݢgJt8K9N_mnbҴ|rzWelT t`2 &oԖvF%~If/$֓b%9,(1)^-Nݽ޶ZR[FD_9\3p?]59B(G>st"A3~/ƙ} toxFF d0_2:92BvI;_?Tҫs;JLw^H)BxV  ^s C͔C,7/3hjGWnRpļh̦6!<_4.")#/i_ 9+ɴ P\0=`xEqdk ',0 [#!E,{h77Up'wCf5;s`}maPJܘ8Xww.9h"٪hIH`DHԔ{]gxb|lXt1e(Zaqh⮱~*~gBl,=tOS1'6awxͳ[W#D>Έa?%icƖe3uo0 WXJ!#vW}6Qsd+ˢg=*Aن)evDM9l1A]zZUu6@Fvx& |)ձn9byڕ)dvV:!kE|ɌP 9Tgtdd A֞+)rq<[䃌MP\UT[+߃éTsCHh vBQ"XK" ȺVz#pHį1je:,+::jЖH}S*>_KZ f4W񽘄:@EN˯h: x[\ѸPd2k''˯/vL'sU.C ß8ްy5} KԮ83H? ^ɸb @P_vjz ޳\j8XMIAz!yp?Nx k֖?ؑX4Pl.ֈsܑ%vQU~ Aq4NA1f |0O($͉ѻI hq_ v**J^=[p=:NKVS b pzvdB%Ont#[T6^# 0DfI^8RS2; \\IuKjz#-ͩeb#Hy~ Sdu×0YWĽ# CR,kbM2e?%,-Et`<5ߦ*(IE4l/oD^,V-  =!|iЪXqgFi֡ר{ "vKMS?6 Oh& YȋK;cX/oE:1;ᏏW~`f${gӹ:iE°f:n]pckcYWDд7׭^ᚽC%t#^/5<~o'?#} "PH8Yt(ų"_}0G-iwH>pk}z 0S?`@+2]^znV D+w)݊}=x*?1׽򱰧ikHhXͧY/A^2Bu;Io"戡!ôj$]y( V@7/$gq?@ |A0} dA^< zx/ޥJU/- 1g8m!a)<&)£pάE\N\S?M@^Ov.cO-Pb2 SBt5YC(`xhD`ҶbқeV/R{4Sh܆&ޘf} 1 C"בt0P8WQTκp0@Jan 4Y߭kb$&T"KKY4_ )^A(y}:r-s1H^_4B /V1.4:, D WjS[i&%}1N>s{k8zORn~^٩ۯ[%CQ '`[;^\jGoɟ7=L.7($:%L{(IyЛ6؁뙭ChpBXPʤ#E?] i33Ȕ0l_u/nRPa& u ǰ8< -v_0DU^<8Zہ A;h˵_" :.TYQ~,tݒioښE"h9g?1Ёx!p-ϭN- #) ˊ*=%wxkm,T©Nv#=0;m 8CƠ$o I){`wLui{?vG<=7m[/qLqs L^=1&sjFՂ8q4}jUxJ6WΐL9X$&hߍuc<[oɖ(U{uWkpnA>+T]Kod= h\T!CO\O(;ǿK\57lkkUU$!Hce!֠E¶]hrLX.2ұgYZ CC2+C% tLTL_Normal_FormLTL_Normal_Form.Normal_Formdocument.tex7zXZִF! ,4]A-MՋhvG"uIBm5ĸJAld/kұ'XFBa'@9=xt{ˉ:'sD`q-5j:gt2I@.ZRE,Xm^NeyM6G-kɃû~zh& S/k d}s>D@R ň ޖW`CZpTgc$Lѣ7%W EW/Nۀ d]WHDHˌxaZ:."dc$ IC9P>bP|x?2 BRR1K!xtD,OD,2cv)UcXCNTm_ײK]`n_4Fc/#BTe|nR  2~9}L..N9X &ҍ6?_Z=I<(΍O&\A'W :]Co;ۀO_Pێ?F :7Ou. QBDi i|D%^gTu{ i~m,/nk_3G%䈗f`f2c K,YQ_38 s7 HgnIn.!DcN3n{Qbe*4cae@KAuuur~$؏%Rc{n~"l{FCbGhk!־Mk׆wbX͢<_8Z z&9T?)0ooqW͒TA )920?7Q[i!+fFNɓ]+.{_&(l0ҘsCo\C9r'\ݱgg7\G`2JǍ]9+p˚m_ vcA *L-PxܕР m|o_o27p4 @ l#ġy^[1sA˭D$qE,]y"@LHH /~#, {ʔ8] FL٭%Vd&oMQ8,!Y \~>OX4k'm WVc#(@aI␱ 6\VF;Jb$K Q2UuDgJg@012Ã1j֛z}sHƁf M<+Ė?Lq2Fș(ȐwFrI;!2SS6F[{CA1B=ߧy9^28ĹY&ZmKO=XM?}-5cM)D c#81l?b.TxNHofaB_!pJlhSA-1['|]PܟQ;7/&, z;= [Qo^D; [L0. %&!y>D`G75 gHٕHV)Ӯu WK2"wr=<&;hv*NU"J c+4?US3,xyb2{s454; ?# kO7׍cMz,y nrDD_Eq|[.@(c^@ګkʖ{0}j8{Wp ЬP6wi_*oEX|,ac)GQ=b`Њ!BwT-< ܁%\_LsadY45DIlc{gNtJyab\,3j/D\4hK܍n -`lLZr;w42QE8ҘM_rV i'Åe d9̮c^rΉ* 7:#u~>ba3QT94Q%Q{W! )#"rĵH .otצ5Q3{CF$0JZ5LH:3"|@>ZȽhD>xMQlhKqnA 1T $elicZs%ebb謿wKWBC^gs ANZ@Y])]+*l]M476-|^QFIS9_¤X,Ww) HO>wȒ>dNg6q/:}'(?B?xoGo q/o8cvՓ(?'b/17B͛Fhf j0M6!s9z u`?tC4ީ C0L>1bqU|_"Kkz,wK$d(snRnϿ) |hJKw+A;4!1*f D4ǃfEA -)m.Wʚݩ+#?Ѻ* J\~039?4`f:/z YUvfR57Yig"W#rԽJUӨ#hn7s0t\Gj{MN؈G⹺2r~C&!^%1ÏV y(œuԑ$BwViB~47N12=m[bPe B;._zbcZ\p N:-btShTHס jveSʳm`{ BZv?,|NDᑨlKE%7Tf3˂2s%̼)֍нOKڑKI "@=aHXwb T2ր'u5̚Mf] -ϐ- ҁIf4%KmbThd)AЯpLYrK@oGOT8xzvf'FVԩ{ț&+f;ʝPJ W1xKPkHшSbث/mfKqN㬼ƵeߩlJPqT&}/ԑJM3- kv봷* 8 k-Ϳw_"P?ѽy 9[sovkeW}+8đ`pDMh@:y|bWL#7KW1E͸j>624k^tXO: 249ӌ YvV̂8vh xsPH<lfl=͚0,yz-a`BК0A|~WՊ 5N;8MiṶwh+HUh`\H8a#҆ z/?M3EXcob_Rҗo/UגHNI2sLfXͳ4$v8PϹs nˌ7Nx$/̏㇩)E3,m}[KPKgYZM&i0> ԗN(!|Mos Ƀwwh!kJ͋b~ @H:o@ި(ԗӞ L% eEY 2g!w`wF>Mt*NjT $1QS`D]saGB(NWx=[MsєzlT</y@Ո 16Ff S"U!iq9rܣh e R}=KO/$~km$n(8{m~gI︄:lQW)Qdo6;5O؝tq^ޅP k Nq[ " a 6D1Aӗ8)|{y*; /rZK~4Y 1:e ^kV/f)vs4:[6e^.čPJEN1_??+Ik_DTLb1ѹϰnQEgj/KY!f. KH:},Ty{*g[Fǭ 1>QJ#^b2NJ:]&,~ "*wX0jbqS,_YUl\b. 82ٛnNl {\@sI/о\+aLwn{qbT=3$X*iZ iUGrBgc†OR˵9Gl1~.VG$=^ƣ5zͧ]<n3ޱ6R'^OKiiq^D8s\FMт7Avo{]8!Cʙ ^?ӐgJ>c?f-ϐjS\ el: @Wp|jDU\& 5]dP:h XBΖZ?xi%|;&b_l)xtдؑ2H/psuSD*1W""˝'>zO92/sJog&bFF"*w57>*~+7ns)\5`N@WgVz"'ﱨGц_'k 惐z#4?wg9WN~2[ 㕮 )v^I/@ʺYY!])|rE,Ң7tNM3m9y{P*H_w!:^l>8НzrȓJSxprՎd<=kwN1ҒB/Px4 L5ۨVAK8!|3v7ly~ht ЛviA*[/( 0cmRIq;hGCzCP_ëW7gr&q"ZQkND%y>s_ZNҩqlXcO^( (\^2JRn ~LJנS Mt'޻+bl#rb3θUd%xRJCn0e`ˬQ*ծ=Wk~je^eX*"nr̫Җ?k"z+TB6dž~ߩ1y8h{e^ bv=R*FS-P7ƒkS‰X}Hgy6øS y.;8.g:e p t|HCxuCVBfP9`,;%c>\V-K$/Os?0 կp} 7پIXlx1c&h9Q|:[?`&9,.w W͌M 8b8޸׾:E=̻dVbwiE(:+"=5(b S:ē;moW(n6aD(6È.<}MP@@}j`_w f{ff3h;)XղU.CC3kh ]49Z5ge[Jbq0 HeQ*`RS$_>R"TSJY,eHXcݡ}%[^*>/Ew6R_\l9g9܈A A!+_"kPru6ϧqTH`g9|w'!qOku} 1fSff4Gs359qn@>zwi4jϋ*LjLuݕ׮7;cQ=/:t蝻07oQT|/Rjs,mUnWik_wSˉ#tw^h]~pR{(ۏSRpxAe+AK-۝cvIKFC|7KUތxN.CWڌ*"^)TDʀt]k KEJBtw>1,. OTO@OuW+{'Jݓ3H# H@< Ue%3] >.Mk 6" Kj=c/}$*X;HUs8bXҕI/5qxFġwIs\/1]l[krKx( bl5l!08Ր#m ;|*@rybg+W&L" pޅcx=U$!Qs昵F ZèDPG,2GL1) gvY#-ބت2OlTSCb 7yo`طYwBlVҰyΉ[ݙ)^s^[M;s?b nmTхB w#0$H(uEB_% bft=Jkg)->Ll֓$"r"Y\-¢= ov*̺4%ﴑ]bYzMy1+|Byf%5;M)Uȼ>Ym@֥@ep)_OUYm=fJ}F 0`Zh'3V9yb$_yGC>C0pJ?ő'DV42:KzN&`kźX,;Cܗ#X@]>q'x-zl'AUV)r ЪV{#UKUM|?hKSIwL 6iN-<ƂRB y:5sv+|b#uuC^jTKFP؊c{ ީHf!}ۢER)?o9Z0)0h@`*_PG1Aި`k)@\%sty/׮ATAAIr,h*Xj 6~UvH  \%.UU='2O{noTnroö;Hgaw1'#Za:*$)- 5BEb8їfvϢ9V?#vZU Z{Ҍ(?NR(C:WgRX =$5 ◝Z_2sg YQ`i&&]2ZPӰ&C\.3sVT0m^"0"W |nn؃8I)Āo,יGcnJɍ6%By!1`FNaIʾ "%ř4FF{TB Wڃ)\1)U~GR#kM_֍vU;l%Q0@N|5[R ӆ\S7b2~yIe:'t{!\$bҫL>oVFZ*vxht^U 6 U}w> i^snFEɺ?l+#C_Nvg<DX*;+O(jz"A" lgKn4GZcKs ;ײc?Kl3Qkk'IB[wCOՒmB'!US_Nhm05Y}\@NeԐFqz|m97'M?:[+ўv2l'؊E%$aYv~(lësՍ.ώ*0F yi_>(QBAԈF|"`b4Ky Un9jwdEWl2kw.Pʵ{Lq;U$kܕ5 I}ڌEv[Qד'~O@ˣBvYbm$[jH N2ByuK[>B6&PujgĽH%/b^V葸򑤨lj$zs'Pv4[%@":/595)EʩML<Vx7_ʯռDd'v7Ym+_~ͥp5rhTxb; +\n]:“|C5g7/GHHbfꧯD2--\ULO[>4%//FV%[e]rtЮ7$iKcSOYrG5V3qH'>S"_AQe 8ڱ_i2ѵpZđAmV'\W#J1r|IΕM^F`Y˙ 9XRڐ%Ϭ ۬w*dFj geUȬG!:\_]^xL^:xaАSW06Ц:cÐ6LC}8`p!ש6‡Wbڠg떅jچ|{^(5QM~`2p}䒓:&.M$m' /1BHKzw}-SF&H %988~W[ ך)b~AYy6oIVIy+?^4 ֹD/l+ P,a83죺mR3 !n<|V10\URk{8NGj'm ^Gʇ(ay#@[ˡMk`QrLr*uX[bL QIbXA*Xg`+Gxp OxyMB1fp51ԿZIn&M`Dy  9 m%7yצy̐0w^ϧ vQF̳P;,?@T8KU`uucjn (0^$ /{LIǛ#IWst"1+ߊq>ʿ~?wV`K' Ҥ 1f?vTGmr#$O_IL?ć7‹ԝ;jяt7"khlzOh|T`.%_ f!S1Lowgqs&O$|o!_q:[eWQF9ĐϞEbnp̾9%W)}}FXd`|T^!:s%hP"nsxw4KbZ24mЈgj\J>#-kY^X;ˋqCcִ^ fE~CUP cabkA0B2b> ߽ fMnL鬪fʶ6^Rsf m_j7oVˈLI\XH 6Dx(6(rwib\JENѓw&;_w/[=^˭,vg 0RJWvt4B[4t$'4OF+SJld襊9AMNLRv(\eT鬛[K}yDċm'}#p|W եAays151,J KR}P>\LjCfY~6#"Hcci!J"݀Be 6'.1|̥F 1XgDꎉ};~?͉@QG}"~ 8jDmJn#3ntyTMA2P_0ۈ){Ci2FlzQt?)A56|J@^pRN=Zh4ѹJxe7:(< LM+ E$fM2 -; B>Ho(Vש!A8 '2J|d=(., bX(ht+4RW[8*:-dw1x+P DbUw=-V8%޽g4Cx,AYErt.71)Ľ[K,kJMt+wȈ .؅@.vmF 8v] 0NqQX, 'wg"_+ ILUkz$1҇9TiZ2qZXj$_Cf ruS x"E&J=:"˯)lt3z,S vmpAbw{zgx-s"A1j62I1 7VSx=;GK.'T]+z:eIGg߆zʣ!6t-,#ZH*^! a ;b鍢Dxy=[Maxګ(j= |G@[B;X(NU1/;&Iԛ%:FA3Iܒr/91@ߢprv1l_'$jLi߿$k*ʣR}2H% }&o/h'=p,kwnjׄ>U}5&SR \VQq)y 5(xQkAAgs] bp2t6:m^I;jL|)I#˳ 8I5Y4*YRį ]ޮJG X(D9$aև虫Rs^eǿ  ) %]R2)+N!؅Dw ?`Kޞs"wۍks2;ե;>mˤ-̟[΃*/!5G!J֎%ɴn ɲ7j/_!.1i5ʣ<82BnocNyYI93Bj#4c \ :R@A ֆmqpN"p}2'YWyGa̳vRmwt! ga1}Um+$h!oDMI$O +$|3\ҧXTB. IC[rAa~ 0dXj>;'vi0;5˴v5p@5< sp $"9e2v:Ӂz)Nԧ.\A?yt]\#3#[dw=G"uB,j*˹:,`sXZys[R䣾̾_PAeeo1oUqzH-)ݣgOSrZ B;i׹-v5fmW}fgi Is3'Z^WTFѺɱYOͯy)ȩ>܃L2t;o]`7j]*Kq 1\ OeP}'YP.)eaddi5w-cϹ'a$<B7%",[s*[o>-%iT7Y xc=u{QH. 1d R_ $n~![C.K_Ε%KIpLpn 6[\޶| T ej:N Gm!Wt$e#N3v*8/Y7Ym-t]g2 6"OY #?+y<Ñ{[,L.&1[L%M:.mf%:jAZ=(`I'O.(3;Yݨ)CŸ+zkyIE'FyǏ\)ˎTa4DWIö9GE΅pgd"LBD!E(Emf")U# 3[8,ظ0h/[yXJrM]Z覞)bTH݃-n+M+ǢhH֝?)kub/^,7q-fU^~CAdJ1_l1Aa/>7cF&18s2YAaLw.qk%fQX3=TvO(R!ڠ:P?ʬ i$B}>,ޫ-EJs%[ԕ:´08K0a kIc 0}ٟf{;;W("&RGpBB>i[:lj di%t|.•ꛙ9R5Z(o/owAclJ%~} z\+o& S#ω\Q(hGy(e/{#S/3Pܖ#Q!768 F{iwIOjS5=fEӃ*^wQnhSwpa,]b;QMu a}y3&g'%/l5c)t#ߺm1*wJ7l?.۽Z+QL4La[AOERIJ׮|E"jhwU}(>(Ms^X ȍ?re鴊JGٺ,(@9 8Y֍ffI@)qe1@?%=J{b1d/U] ;5jqޖz↮?B~ @pek"a*nȉ`#Ӽ[4s&ՖVMT>QTu  u}# >:Rg F/蒉t5vXeg<Ƃ\dhX(e %;-s# t9Z!4gMH[| F2cz>w<yHeiOw 흠M tGT}]8;nե3+72k<:gcz{ 7769<ϿzN;n"QMHC 'wf(W1K#r2}x$S?> Dxw-) /v&NM)v=AH1s^]:4d:'g~ֳ1xS ןXVyKi+zBOh֜IՄfCaKO:h1N!﹗uÛFh\zi,P?"k+f|_2ƜsyVOש#n^Ȁ+\ݢ:*cbsN߶'r&?mLJ v:#D h"U̟@^ L룄yO+sV_}C Ov ̆ṕVH%པ=8^8I^E\>hDzD՟ dt 5~3’ pKB F\Vc}$TcM}[ٶƘ!a?TlSOUt4 E:>v,Dt*ͷ2'tiW63r^ h.0c  Լk<n{^X&"2I!lՒνt-}{QH xj垒My{a2Šҩ3%1n\,]i.ժN<}&WIRUnW_׈ |ƹq]k@  =/ 0F= gRqi k16 vk)wCmE.aI ۭCcIջ!^Vƨ:}VFyL!?I1T.H.:tGWiYxLiWZwܲ7Ϻ.J c &SnEN pz~9a"D50]" _ڎq%rmb4 Y(OcJRVI45-zJŢ!; :`Z79#p!cO4v좉N{r}4@+S TOa Gge5m?苠 3u& ]^KKt_v@X lNcidΣ:_+ZbyLecfP &*"J8QC @s<&#a.q"ZrN1Eb^uha&KSFf! &Xߺڝm`ᶊ8[m:>RA?xB`Wo,b):wD[nQΣ7 M L \b!VRˢތ% SvvbZPaFxTڦ,.?2ھyAǫNws&y1%Nxn"آ%g`֘P`hWl.4 -TT[4zJ RŚOcEf}`` g?$4G㪂#c p]E3Ėo7dt!K:%N\3|fnOn71a<@ƭn^&ďu>~Y>QbLh=ԡʺ?VreP9:*Qjv%c>|u f{t<#DچO%6_0'xձ@vz ,6lߙѴ`@1CstO.GPy] jrRo)]ک3\tk7g]f j<ԡ [vث@1ʢjl(HYd-N5*dҤjmd<S+8_xv3ZdeFBQ9"yvHvaO2vhRה2J9|s$hn.a;ƿt~,^rai̒11p BYTx)7m\ L cКrp˰_ w3=-e{X uy)8g{jbv_Kp 4Svz%ĤgR_{zZ:# S=ENP`aF*iÃ3 +22d]j{ժ/cֶSbPV{qoe^wW@0^a1ܑS{4}'|uD1IsWنv ^LpVI f}9| w4}&DtleKTEbyJ)תuNcY""wȬĞ3snȵQͽsHz\涜E|>_*'s}KIʰn 8%_6>kjR) _Q1ՓqџI^{H~+fN,#{\<}FWF{#&Fy"eMc݁8v(P>+E<ā7f(% dez/o5}e5( ༿6dx%VŢg >"6]<]ѽO$fd+9q5C |c:dRjG&x6|OURU )գ`ȓ'?͜;9<= eD)KM%%l, pݨ2"ˁ U|?XVV=FzD"h1m:1tPFA,nN4Djί C5xxa7'<"ma#]sʟ7{%Ѓ~_}^3(alHC|&sε8'=⽛?h ;|M/xeTR95I. !Ȩk;NMb}g&ΓݘM\qCH}CAt24ΗpArҲb]#"A=ע|nÎ#OB6ohŢMeνֆѨ D ׺UI ggϗ C Aޜ}o?`TUCZ/jYI_]RM[qM|$[ЄgYZ}[v:F|MKW>ˀ=aMhqI=Iv.eueVTsܡC'5QCZ)XsV|gQ];~5Da6KR^-,/ /}M8 Q'( 5L ]=mKs>0wjiਪG6Ej#x*Θ{an+!80 T2q[t85y)PO9zv[ g*蠃rSWaD58ZU1bs\6PsE1P2eVf{Z_i!}p-_q9&>TNȪ[ĵ{q(%} 2OY]-8L,Xk|4C#j/$pފs ep=k£-<4.Ji|Ì5M O*nQ@)\xM;r} 0,˵PbKCC>ȭA+)2%g,3F{c_+٣GjD w4m0\P̫:; ǩ56dkmŘl/ 4F Ѯ 3p;+ W}fE{BΈw*︕0CY26ߜIq?1JCݖw1GZ)Ø]#x b;J(8XwlmuT -UCdxj=,:vjKrڰ5kJHQrr07sѴ렿00h)mhASJjT)0 3_S UΧ9Ho`Һ/=^$#Ru5h+4}Z<,7]F&ߑ f#7Fmՙ߷p%7ͺ~.NG W|za 3i)"><P,a.@)F2ANw#T%zNK>eb@:NC}t m'HC2fD4xLo˴WY NmJETGWE-'G+;Ķ Ey!^[|%Kv(r߂MBۨ~!)P8_ ):agTP)i '4\VYOP1WTP3RuR>'qx+~@B)JEӦ i-É"iXE(éfb]=^KR-v߻Ŭ* l*<WTO 6QcTcb63%)W c P0_{b&jPJ.k}~4"j4Vt$(tha!es?jUNKjMooc~Y؅:Gqac EMk wRX;Hy5Fd>1|7;>љ3(f:dmAֹV3)5ߣ%}Ikޝ|O$jV2IqWa ~{/^ ͟5_iMk6* D`?@e<>^9Lۊas_ >^> $f6ԋI2p8K=㬦X 5]˸(PB9f5~T=aU012PJSN b 9Z#1V,;ͨΞ9?rg:lZ(MHA0ƂFOY1 9qg )nIFVBu e aGd8n0o' ;Nm ҽ&T̉uRӿ(^IHS)yü$ \a9v>ae 'l-?O\*!649̐?vCad0T)7M`ix|],Q7VFmX/:#.Ͽݹ^4w U޳*['#1o"'`/jDlBr߯HovٝZq[| ,wp@_ʮ3z`+Cwu>((lc[o`1l. :P]a~P-9ҲpaI@><00x)G[S{ 8̲Ra&%{.}~Ke *aT.!狅VsbDEFP ٛ/4ce֔dC3=&*,QHwG-_qrRvb{i߁+y@$Gdkc;ЈoEZ@8X̳7'%ucH ̈́;ߺqL+F->Y:,wyr[2nk`1^7ex?Z6lusoD]*.NmTg B KU'&qi+A8y2}skJd9I~Lm 0hhւ]mdC!QAy,!*X[Äܐ?9nƚsZ*R_W.`S" ҵBgP/.o?sr;2wȒwbB(Wʶ17CPh$ΡҞvN?VT}Hr/Fq?84&;7(j'2)j|5 BԹ2EÄ}#QW -엒`c:i޴-ֽsw^wG6Z߉fRˇo")-X$K#Lp> (.r+7]z9xskƳuss=pUڦ H֣V`v݊dc|}' 谐֑7޼8C, kk$/-ۑ_gYZeeef45ce43e73d4fd9a2821c9b3b6b214fd7c405c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 37037b5b0c8dbdd2fea6d221128f51f89c206171 c680493cab644bd3e42fb8f2c72482c9fb60fabb