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  u ux1|\4 ]w LTL_Master_Theorem:threads=4elapsed=101.405cpu=357.340gc=20.504factor=3.527zXZִF! ঴]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5IXWZhxrl;xshK' .~f.&߃:^($JެJsWvF S2z?ՄQ]o g+#N`O;dZcݮգd1K b=S<6թn)|SnŻ~[dN jįbhQb@O=#ˁ»ejjW|^cҁEr1N`jVH s!N”F:z%nEč$_3YU2Mj#oW;ѐL/RZWi&]t0vB2N# }r5U 1l:)+;Q8at_|UܘTعqWߏO=aqѭp4zc"z3< &UF@Gyо`,viQ1ih*fpkvqnNZf4  s$GËe+:L}fЩp^ahҲ=mA0~8գ:{XȳKf]W${@ZCN{C 3N>/HbTe9j¬BO6g>ȃd@So5QrcܳZ D ABU8 7%HB0,v䓂o`mFWPor=j:<Ф҃!h'0(dhki|/ףjfȼq^"nw>a*o0R1hכK,~9\gu2@D!Wdw> %MWo e(ܤm }^q ~{sZP]n^GѱUA1Hֲ0*nHr#݀o.A2*#cfD3@]ms9w 3b$=*󣲄#Lޙ]NKhr; Z-Pi*m ~bpEv-)?:5n/T}WUn'S`>T7}tKѻ_r9+u^᰿X30d2'@Mޱ+ɥ֗v @zo7>U< ~ˌ+tî6OU'+I!cFPu9Çù1{>*c mL &ߦ:]fy?7+s ;Ց{OZ\k3>e.4>xY< syXOd@@hk%m%y_kMr ͇_U&SmjF B^SeK?ʗz_ŋ7f‚܍=qr>kQ}BW.)JL"=muKcξmNKYU6oPr-Ф/h)7.#V 1 LTL_Master_Theorem S 1I1 LTL_Master_TheoremLTL_Master_Theorem.Code_Exportcode/LTL_to_DRA.ML7zXZִF! HG]SAТY>9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T$~|S,DžYDb IY'zL ٩J}r4?O3Qۖ[&NaK \gYxi݇C8l?$]dP5S<Jÿ/ ]x|PQ\۩Ch7ש.V6 iU}'l уAG6_-7C )&LsJr y~%A3QL/ x>"_J -E`\mvփphk c`{UZd5Z0Ȃ|)~Ixw&֫Q[ָ*.Ԅ`60]J1~pR{kT5 }6!/e D_i*"7ˮd8RM(Bxp K7#P>ԥ {U3EQG_scN!if5e3h!-U῕X4Q5g 2J{ ˱\3s2쉒vKWzH!4ǚ ):$)U!ך;_7|-bľ G1I1 LTL_Master_TheoremLTL_Master_Theorem.Code_Exportcode/LTL_to_DRA.MLe߇ P_4|d,sX&rvr1t:IoSjT3Ѻ12C/4>N,\[SljxZK䐿f,{Kjo{@c$,Lg8L w*BkFi#~`lcppq5j.-Jpr6ƖnƟ:q16[ZϰOgr`$ {l/Ca߯dv{ר'Ft/ްEȐ\шd$oB;E5GppV[wb"@YϻC_S+̗U4c+11>GJ݇U5}8=b1< l߇5̦bA؃O)6_ŰґgQ(,!QZ7n[_`%x{VtCk9 @DU!a~'8]7Nug\ EX{ALۋ d93E{\g[Sn^VQb>)"]Y;*Z?dXE n,\8]q*͸"bXW|梪C"> $'c 5wg0y&.,l~CXSΞ*~w"GF&$s"8!m.'X*l9p?cׯr kGxa'oK ұ&DvqE2^]"l\1T.\)QiM42{[F4E0/G6X"# mSѷySb40iI2l  xs8ݨpi>|}bud$X>rD< `c%ݡڢ*O)޷<j(i2qQp=&F?܀Cς<:+RiZhX }:.鯃Nj=D旳ZW3~{ _i̞anh+ ֢J{;qfE(TZ`lތ(9!-֢#4<UkJ:1@G0voIV1`A>:#$`gUg_f@{-Sո''po>0pҀ0݃'tY̫Ls 2N 0{#6?sZsd̝ |4&u=BsL~5Vjj$<}kqT߄_R _]VKUV(3[\`caqǒä栶uwCE]#e;(_NL&ÍDWL9PdB[.>,8 YTgqpA-IJqnhA}~yEeytag2֜CwCBL+NJ9k^ٕ񷚈L5lAm[ bY59^cBǏwT`$Gnv \;feȯ͍G%#t+RiJm]-#)L&~fJ9S-B@U;.ݍԥ!t04lQFWWFMCG$g ރKAN7ilO< ѥX-mPEUM%Ul>f~X/=RfYeep^ 揯Z}ΰ֢*bQ\`Xn6[_nF #`d 8-6(=-r@'Ұ_` p8:) "-.6x7*rR Gl 1:6S|L bGs볍[EhnN]փ `1F#A iSMt{vhZvߩ,"@;/JB44-4eխdE9(9k"}`Zk]s_\$8{p2͍B톯tbO毿^Zh-Y)0+'kl){\8V64]@K=:2Zi}ReB oȒ #xFP;FPis%`zN?̇HWz?}:ht"awq4dWU 5'8@bEz!Y' *KYr搠ސ]䔃Yzl x =jK*tq'%~P`}Msb;.LV>2k+ކ"ļb|9Fӱ"nPBwF`S//'DX\5BeXevwaS?XN% Tszi)dn-b]rxٻLvq. -]@]lXc=Y!{5I8/XzcM[܈]mFj{*$+F [$sA$3Q~LjN9'"(nY+9m(ҦD?oT!|:XFW!N&rgZHcexZh14M۳F0~0ቿ [$-k,NpAk8wo3zSgyIgIp7vz9k(E[_~-XusVFA(| a.}DLv{ eyCլȖWW;&`iE9d~n?|"¡r!̲.Nj` j|d" k\5` WBf=C}-YyWa:bXd5x7Ѥ>Tr77 qs{ahP=r#Z`v(ae &Ka#a$nwUm{X hh} AFa"NǑ'v7cuwVil0НZzqad7ERigVIp>CXvP9?nx2h;nJBŞ IHE\ZPcO @Fw{?gvVA ?u +=pOSo1}V[/`7im-D0Kn5@L;> 27=2A9 պtvlN;1R>u$In=`q @"jge!ՋQOS.7C^ý lncG|Up*7*u{`F^-&gӴI k2bM; x̭Z~ qlTä& IF4!G*wh/FWWngFc\Y S EU2Dq8mwG"ſez״hKU,cP/MEXIY4h l>S$ޜ V nǏ=T0h*5HD Ґ++"neJ'pxO} #H`Kš!Ϯ}17ha8(hE ,Ld&VG"xWŧ`%fV۞!l\š:\РGd$ЊB6fv@; K5 Ě`MUO〫ekVUH9B&^XxxKQc3~T1N5Gfڧab~1E gx>NhɱnFW#Ϟ dv"otlc^ut%3U4W˥F`qfG2= ۹~c#V;dP^Z2q7-Y-UM2kEWh"pDRhRw)oF2#yzvV}0Q*ykuTfN:RsYe2!{K'j[pМy?ۦ\z6pZ {h& ^G䛪2Y>IV;ӬrЍŅq905#>6-)IZS #@_% H7{>7PG% Om ȳ%$rPwbit{syi<; ~jЏ5󾤨$𵔈)Т cnjè:Dw8BtxȿET=t5/t?(xSe38J B-'2! ig=O BƐ)/y`+0 ݔcvA?^N,QT熳ADTg9\/jKkXPD!v+ ,z GJhZg& ɎǞC1DI >̇"_~#9nJ"?DLDUz0c:K7kN"ϔqO59ԅݏbf Z@_ȂR/vaZI,a˥` ܁%8wD`\RzN%]iuV|molP<󅦿d5}qz!ɲ TT@&\Yw63eTσNd=KOS2qt.<v5+nmA N7| -Jz| ~HBzR;1_#i f39=Cjҏ~5 N >A,kj罠sgv3P6\hUhcpyQ<άݴɘ)/ʖ.a/[#k/a8-^OKW̟4p7!#_ǔD"ʀf"}ڼrxqdȩe>H)zĂb/41%WO~$ ZwRpwŔ;4)Q!PW(-vK@ٙzH,R[͟SfV<ϩ`8j;Pdb61"x-A#0)jej}zee|X o| SdKot+VUUf$!Dl,|928Yh}+~V } }P$E.G; dTl.ѽ sdQo1ؐFh= [i썡ug&JW e, AಃA^ɖ?aGJg z>VeHva(}10zA|k_4_ZgB6~ɸL:],0@͏2?煲6__"e(ޥ<5%GA0~tZwAyiVr7J.P!!G-F<7n{ܶRĈA:tlję]T;FetV=.I9ygg|]"KXĈ ";M57x(ꓜIbˑ٠# )W. fxBDڔ>KW~`-8qyYu_ئ(v~!-F!~hqIb1j,ݭϺtBHVd6<ʿ (TotnJ IΫxeNLg ?b8n$MU^CZŶxÿt@$AGu?ZF #?1pge!-C& [)Ҁ3*]n[Hj9ײ>G˪  |2kpEe,"g|r7MroZ:ˁ+ġ$EKw, ^V!A0-Q_2З F(0 Z6 `I*r-8p/o|D3w_&Q:^hY Ne,4fM3sG ,3ʼnm;|ڂW&ga5SթNpvc"魯M7Kr~15UN~vyKJ'QehҰen?mX2;~lIq(UGHk9YCs?d2y{~+S0Ƌ5 vJ{хt}x[Pٖ3rx4]e:~7:xSGvxywG{Alt8 aI J8&av@-Ss xpbBi? :?pf(s;$PYPQxMl4#]Qep`zMIcVd~z-tv*lkв g1|Vc-b>Z "nqߧ .6f VȜ=J^/Hɴb}Icuc핸8qzK<زOlښ *9 }.1.)}o}0&gTV=Q˞d4l:w˒XrsсPMwN $d1v% mO4h/݄!79¦.:#[ӓX`gzll0W/[: :Yj^$ tQtS)#+qF T@ۦCLr;n 3$ I6\k"9<#k?.]]O?9nŌ !u -p%\*X@)WBb^-أեq_ȭԁ}+"=q)v "N Mls '1lcp`d)+0Gʄua]wLԯ3h{"EaUN5[8kQݯj |4 ȿ,-ACQ咁V0K/-\H:]vqR&5^'?'YÔAa@U?*{K벱rY 4cN}'ӳ )}}]"olXpع ezG!P9-bj#XȦK\-Wrb|Z8kk BMmGޯyoms+i&;|#{y07)qۈ/c´i)$ŭZ'swU* |F\cfw)3c Эz:4ןFȋ F=Wmj$FzeB|[1ϣebPGvMȑG,99JNq}4#r/8o&L[2"D~-o!rp 1T?׉_̎kOU@Sy Jf]SqR ""^Z "OH:G;lb@fαtAs== Z( .rbcX++m&UJLb@ū)2 bU?p'dGyc"U-Rm$ %wȋ\.?Vm7sE Rbh! Λ/25* :88=^M&|y %G!1B,0 Hg`}"fr%ܭ( _q>_ǫ$QW> -Fd G)` ],6dRSٓĪGD_:Bt/𱽨?CJ{[D}0ׇ"~L'2pԹXb;ڤL RH.Gg9NZQ t-ٞyXF83Ӝz4R?%ږX^^C'e߿3KNX^P* PL> q$7t:ʑ[*eyWu؃H@H(%;E]f< #,;FܔkqVi6ӎϹD8WjB@JH Gk%ZؕfYթWWʼ4ګ/o@ o;SOx| <7xX"1FK&E^߽dV ~ÍpV3UldlGcrNUJG\ge`[E놷rϻVF֌|t)n f?E^OD+DTӱ|xH/a~ҷMBٔȲ%tբL%#<-.Is!VbBE pVz-7BP-6\D֝a4IYL.u+fǏ3:AuAF Wsa|rYxP^OO+D@HoSs)] e$d̵3‚B):a狿.r =tTpr6qN$z;υ$" /1G /iE5N^ex3G7Цعqʵv% >8[[d$D$/1^7^Dn-ot i.F9%Z38ٗÚLC;M%JQkNCg좨Ny /eűx,t?y8NGz*1%*S X[UFcT 6dٙ5jLC[#IhmlEϿ׏&8G k)GH\:MąQrJ"" SF4ȹ! ir,X1_VʫYlBe&ueFwb8;}d󸼳h. <`Yy2~>,#TW[ 쯚 nWп֥dpr;|Fݼ&"7 sʘ"?Rq)͑7,BWdn#j<}hSP/67=t6XČwȁrub.l%D xlMF1Z[FIɹu9iLO}ްh 7%@#.z6MtĹĂ3~\zLN 'L>&O-P&Sn_G9Lc#{D<٪LtIt4٭]?)7K INvА͏|B2L ;numCJXI~'Er}K`"꺛a z;D\~ 0ݿ\:\8u.g*jg\ɢ :"@8ۺ ?x̱αeM W#cަ0X`:b o3rxkܣ2n/qy)ub]ug !o7.۩oӵlJig}b^mt᫞]s5~eȽ2- 31ixl";n͝i$,|Eh#׊3KM:o}t2/3vؠQVH0,J7钔8@U v~[Ec gDMȪёtVQ״F0kZ8"pd{BZVT:v>@RXtݪAj鬒iIWP8WaEWUm_^IbfaoqO1mkqkEjY謷k g*.nߪC1hg"{% &⮹14*5MP!%ZOb &精7Y;%OS2rB$BFIXW < Ŷ:rWlw,|J _ùRm^9l2AWGM#pH:.&[C#q3GԂWaMT c*6>u̐w24:,VbH;`j:vx/%e7锼:BډtÇϩ h3-7d:B56i\*lW2ô v87>Rа̀g3yT(I$:rc{}1U3T$[^9 !x`Rknae*9|~4+h&k/0xy鏂lP#! 5*()AUm H@8k|`O94j888"&+Qa5\f鮉.miy%(HH`RZ~ZMkQ0}(X]wn⽛(ŌqLFL1!zM6 k,۱aɈR>C121 !Eowr.&<1C'B M܈95 #d*9j;&j)\ qIrJEY(/OER̵,q\f VL1]9?'aAshqQ36T]hyA[ľTHf,G@RIa){T4>/^"TP! ftkŲKBgED2ӳ {?L+V}k=ndAf952Qٕ uG?@iU)/NO!"L39;P2͉}:#w1ɤȪJ/T(G?l` z L ǥWoQG,dycv&ki*!#=DBJ#ٓ9iA3c  vs<bL[Ejcku_P[$ lvabAPd\cM~⇺JjHVuB߃o b!oW-ŭ< }0ayB}qD~#/x ]b \R8̅ ncDm׆L,CSpSOnG|%2Y'?A Vl:$&T+eGr'L]2EMTQWyp~e%Ǩ~MA31|O042OA,F)07G59{Zf[q>ot8$0٭y92|DV$I\O[W/=z Y8Ԁ֛QOX١rQ:|<ߍR~ JNiKCS [5gYZ I8ԓO1ԅp-Cӑ)7u\N?Y11(Yʪ493jUgY+9Q(ŪI ξ% TP;rjǶbEXꩍQmޫf-}Yׯ+؋77rgS!Gڤ4ʨ<EǴ˃Jn| ٛV-;OADgL].[]\JQ@:e$gy_dE8"{ ػa{V>b^Yonw`ûwpQR N3G ߉t]}t:y=^YT!E$ʗx;+P?r߯YLSKi#EM d~&L &6#"֡5(j-uqy=C|W1HE_u,şEDT.gxmK "pY2@54W#ޜUvxZr%s 8 ~qlqW&8ϧ͍d>i L^GɅA!%Q[nGriUI.daPavd:S4yK{C,TFtiHh4YZ5_za췪okmM0"vh>wςp0R8wtJCgd?r z3|2bV/i3b8Kn,ڨ/-a!/C3^Щo)J|MUZzR\ⵁnuP]w% ~ y ktz:R 8ժl+MI8,+>ټu V=7HX]$& { QF,pjj3NuAtMmmbDڷn# ɽ |Mv%2Z0[0b"U%pD8Ti~Q)Z2DJ8]L9|5"Xu ^g+KpI??Hc|\gś2eu9{N=!_/97.!ml;Whx]ĆEf^ER,{|uЖbא 雝fsǿP5ᤜ窐~$!K&A >O)+dr:ꫭrr,//Q76B-gh«"Cs>NɒdBKxRdNy!X/zyNS'7rrJ' {!IRx_^1dy 3Y'Wqvh 6ILbҎ.pk1v,t }b:if0?:KBad@1:\ j>tMܙѳoI+<rolXml$#e¡ G(;&!L_hj7dLֳ+8z30Ϛp3@J{ꂦPjB]#j z^F@\i;*rs`SֈLfWU7G[8M*)86e!B71E_Zf(Yq9juZ\}|O^ ,,5f 4@a\DON\X_qN|HK֪ͧ0eQu*}2F)4ޠ~A5闦 6)C6޸UhG`uZG9:.rqBv>8cUJ):^&wHYioACkS51m7 $dz<$PD V㶍lsz88bb^Yg`'9ro#K&$9 kڮL#ho$BZrJ2Aݥm[syHԷ0IȨwC4< WAxwU _ KxYJty;Ox J~?:,ȿV`ʒk響WZxBZ%*8E#> tĞ(d7V^b)cs$0A׺ͧ&J5$ .V34T'i-!wN[MfV7B9o|T|g]]@>' ;е/\,- .D94Z@2'i ]"JZ0ՎLC^тgT9>"0ibT(LcYTlc`-lHY0θ͖ݎ1tL_.}*n\)TDf @+EJxBA/  lsRؕm$vXP}ʏXξH/'rzx쉤@p*[|u`2xOV=A$PSO6->)O^}P _`x|?Ἦ9| Sfi\+-/̋(BnAERݵ_w:\(,P]nX pݶ^`LEصzJHD6Ix- ƲEakgY_S2F.H{7跑#efYS0Ldm3o g-HIcS/ݙR{77vivmnP&S i]ͬKI)\UajPUʦ*C(瓂FZxo#k²l;worQA&4jT&x)C0ea=p֯G *{Y6WwlsdSu^2:d Gy׺p (äpc{;Jd*5$ ;atVcӨET6w6/fO>nB+2躊Ӿ# :Z]n,V\2(YKgY }n2p/V?@^!\{P18h~ O͒ߚ,!WLC`UdwH IF>(j* O zzBXG&>e%Esw=S $sc׼8 f~%bc"ŔJo#Hi]0ݩ'sC~9(#KM g3gA1ba{ $Ŭ` %蚌h/C~`(x:2I3&K{'ȠDί_eCo.1D [)N~8\5;(LQ˃eS(#F'3O{bHp(`,f7F6׮\^} r?N4+Rb1ZM6 TKy̢q2Uj3L;aj%Є]=b#l$ƃ )5r ~ D9佨)*ȉTgT;5V[s37@;iʄP\tEw9chMe\&4f9YE{RN#`G.+ =ogrfq[JLppf)du?m ] mP&2Fʰc e#~w省 rhM3(1@ O$ 1}`2AwJ|qPлc>?)RGFZˁDJpmo0?s +,[G9uSjOJ@'rUY( 5fQ>QjB23 [Oh \imfphs?h:H+xA |MJMv #?H^ E8;ڽ׻Wz3 Ȏȉ̪&j̆wbvnv џYmteb n'Ub6o\Jx(BKU٧ę\@NdZɷm[hؘHzd'yvq녆K~V[EXmLjyRӧ,}u뿍a9)񩯹~,:uh0AoHH// /&zIHDŌ(]`{3݇ptt[oe c%o'(h\:U$~XHsJ/x>J'gϗ~QCͱb iMoCpw='׊=Q){;|FտRS ȷ^cv@K.ƾ0D.>oc=iN- vaZ{SYG!*/[TM&dQnL ^1DŽwyw \Zx͍Sy.I}@l3/#U⬫W98;6*C`wc5Y{fSzű5؏'^1Sq1))?XgDawR>kȋ$ʔSfys}SO /- x%Rqe&w '@ZvpC0r6%E\bDzlIfVU\:N3f!|Z\aD95[⡤1VZ5;vNh2BTMiϦ;# laĪW-Ms]Rd.P ()(]}x~.z;AiBs߶FY`yVZ&z兀#oG&t>1 ~H&ZTK;pӉ>c\<Ik/.>4tf W0f m'=&ѻ,*˪K4"? I}Cֿd&uu IQy| Hϵ|`sWk#YWgvru/vd;*L.B2р,olߴG)$AIdi9NtKP |#FD$ɿ[K2Anǐz>&?3 \/U@cXVR?<}HLjǦxY$-UU\ѝ^D@C3Obqܫt'ɌܟW+<} r xKѧSחjy͞5AYpyd,c4;٢R\Ʈ.Z*kz4QwIi>0PF3ޞ5nYb uh2(:<22p>w>;g 7! MsqD<`̛.~KNQ2@bi@ <ڵVt+dg7%u0ʽ`zs#H*sDN^-+dlhfl"YUeS'/%\ gA=VgrSYQFJwy ߜ #+ qqJ?M%>QRn(iّ?{cG댃`2-0`muC;}:ڰEvբFP G%ע'-[Lz:b#~3Lq-b ׌7ZGX!1I^u#XWCYݤYK &$6g=W'o=T6=Pz紁 S7RRvB[QTѤa3 g2"0%d'أ s9}sђj՝S$΢(y+8JAP]TŞ\ rr7 T$NFRD }ֵG}>G%2#i:h=Uޚ=>!VM$H Q]vTW-P|>60P;$cQc+ŇTI2 b6 (SI9jQ}v' jU.1:;;vrҸS9_!=ro!] IM; * byw>ϋB]ڮ?ӷ$ ._ _IGP8qc0ـW"Ob ϊk[p_-Sx|𦺡@ENZ0u/LcWMv^_ooV~W/Y變%TGdd~AFrg$ʌ@`ܳ=xP627;,O,bq`x\/1>$d|IV W/ƙy05Q2 "AdޭMCCYkt6^j#{ETDiQ*HKŤ\4\SϓWiW} g`dos ɛQ@ߔ%15ṇpMS?^@;uq^O%fyeGIvTի"yʀ\ "V#fqk ٣؆`.164^t]*OzYɍΥYNп,p3oc-U DDBgS_9]'ocUvN`LLk!ș'?$&8ǃ'SEc&a_k )&{<?Kzו0 L\>E=$2vPKTɔ@ i3 tVF9Sln O*,ECf,3F:^lVr1 ^gα]"I^K;g"~Luy{bqL@:3XA  .)ԾS&^ּ> 1 W qޓgļJ#zM y$[-i<(fbY]S6ƀ}k{/NnS@kĵ4+xXI,_鰌Az5ύL3AB ƺq>U:d×䝍YҎ6-QoMVNZslP'mz>=sPa32b˭yV-DUf2t ɭf_9 6]6uvvZ2 <_bZlʅ̋FsNgC1\_OR+bE8A*X''oSJ 3 ici*^/Q3ڭ|${-1,ԱxHnn-p#L~NE -~ǃ{0oms/Yi5R|h\|  }ڎ|QufMnR׊YKTZ2HTkܬT.Dewߪ_$U;ԣ P{:1kQhkSeM;V. p,92z}VIY.n@<n=QC4j=Kzԭ࢜:B P Z"xv)--$i5:8}+O/A*m‰k:fNDʔob[kp5ٚgYУr=Y -Nid bk;`qGLP27Dz+ Ik׀ҥ`L&mPߚx& &nW գ7J"e8 )nxx˓9'W<"w(H[pղ ':9zJɵ,`i6-j1Ux2XnHV)l$xELZY5xti_ɖMh"&$D<*aG)^B}I o.%NXODCBR Y/pmf:7y `ڙ. ΓD 5vM(6Kt}1ŭr,ɋ~T`qk QT nEHK,L,H#3GC+Yofkj$ԓ ՉCb#:y+ $5V KX>hѪ0Wiƒi.PkSlDazkovHLv?_f5&9FIY|r;]JF(f_[sT!]@J)ꅲv| n#I@W]յWv^&/y-M;2v3뷿PR4H0YE>AL8]1}'3vCS}J=0M= AX%cF[]H"\.'8.6t0|r,pƂqU&zͅtĜY nIʳٵv#8K&t& 2IŒN1JGoV)Kt[Zk7Fe?4.|w3ܶg@`BKg{6i{V!d+4 -0pB}3vlOVꀿW ;'rOԐ$4t:{e?b^Bl\NUDtM,B$}Q;){t?#_zrH9n. }MƦf]ʪFգ3HOHf('v׾%\\݁-}?}ϖp;g ů9]_ D:PmbK(v(ۯ0D\.[v= 7RXXlBܮS,\0 d='Zr^_CC5-D$Mrry4f`W4fy=b"tv}֪; cŖV ?8wkr==A -Xhs $`l2(e,1ܫg>p{{gJw&Z2JIQa|yB gEܱgYZ48df9cb77ee6b2a1d4ca6eaa2493e4ffdfcac0d0d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 fb4c1b74dc44b9e4d916ace39fecdb0c2c700d86 a171866b33c87f94f7491799b6c4202df0eace96 e6e6935a3ccbe690696c707ded9891e094917f7d f38eaa48ef667688bd26230060f43234c0540466