SQLite format 3@  .0:  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  &1D4t ]w LTL_Master_Theorem:threads=4elapsed=81.263cpu=302.624gc=12.160factor=3.727zXZִF! ]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5IXW8BJVbЦ!QB3ޏFq2F$)`oHNuM(M2{p^&#N@G~yT^vF?7ݺNaҿb99o*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 G1I1 LTL_Master_TheoremLTL_Master_Theorem.Code_Exportcode/LTL_to_DRA.ML|-bľe߇ 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@]IȐD%U=VilQn]<4%”̦cKMock,%o,$omdoܟ3swVaLL<g1U_}v2Es9^d}]!ϥXj"[[̍6nQy#d^9Q8a@76]_ D(~rkgD?>ʫ2MVX7GBX:KEDHEaCɘI’>Q%;EsE~Fv ~Вw]ܬ= #[62.5M) VSƩB; 7Α֔ݱJƦD7VuED5a-mͧ|1{wdzXtWz n?9.c/bG">4ㆈb&7 Ζ*=g nWRz( (S1rZ(V ŤaiTIro0zy 9ouqlc0g $Nɇx\ 5m ƣ˧_@2lyF5z% ̐+4.I ^0e4bPއY\)Yy{Sb>L >gk=r 4J|pYcJuĘRsޜT$ꔉ[7-Ss6bVFD^cQ0 DD! deWK9Y鶙^BPN!QbaI_W O/8f44x_ʤY^~ŕ[8;jqS I<`.LBb3#$$[TR_;+/߁^ғ?*}=iis%d룱N. ; e[fؘ-թ#C - '|aE"aGX=ikTys`A dk>9%R7MkŐ-ҍC) hbr0+;"o}.exad K:_ 5#QOZaz ][MD3mH7pn2$NIjtت D|PVm MusYdךQmqΟ;$|,.Uk2Acy0S7)0 dRgOΠQIZrTSP+{7e85\\9غyJP 3R#K %9Kκ_p؊ 2 8OەQB uK,xLxv{,&K"I$b3Q:@8[V3ߺ#^:j@VeX kfQETFoi$g,D?3fq'$˛+jDeo`(+1zrH;ip4+#;JюWSLcvbW:ya5fZX_ :Nz_m^_>SQC&DeH -f+ut]ՃEVߊSWi,lTLd_*X eZliL 0bhDhny5.O$\O[q^J,>S*&&ݣ_$00yV@ ̅Wl{ ?I9~ ;wXIį+f*Lan~ʼh` _oxJῢIɼ̻+c=6LR^~YdƕV^E*' ;~jx$m)tBU]aT=4W3ěZdGV̋6 wMQ .<fÈw2uPKNn M;PB٤ÏGjm.> ?-m#S7׮SqY7/jk1m^3cЮ:k}+{ |#5ײvn]2&&Bde3kfЊ\UrdQ|2o|D? t[댷t!< % ]KdJB? u4@˴}@ {1[H4[=xq.KSrA IiNRˉgdIBRrΈmr9 Z%*6iG8 X>B Pє; i|d-KU1^&|v.Œr7Eqm`_֎d?DjM0T,>*4]j;H=T4E>~QO꼚^~؞jjJE[ gln=j>qP_rC&Z{Aqw+ qk"!X܄X\fh`U<#5 ~MC^JBВYy/ӠENUbyxϦQ ;EU95JV4EDAa3 X0^`XC} sŦ¬jDV̦qIc0_۟ z*զNbnd@˚J[zn$,,&L"FNșš`ɝ4.ҷPfgظ-U(xHL;-ZSG)|\zOJ,ʲ=B&c阄iKS 嚀[4}im=Yh'!-PrO5B8, dLDnT}wHU#|<J!ZH).?X^)Cg3M7ԙ8 J C\$f)?Ο`dtNn5{?*̽'EЋe5–zzRŘXWܯzdy̹0XbԼ5T$SH(5+Z .4YkFv!e ۙ14%ȕA4U䅌]lX!B~R`AYm!3;FY̔ -Q)I^ĮA=\~03uEϵa3+P*50hjT[7?Zʕ -vM B{̠._ZML1v7. EϘa:բ f!uj@03ūTt6HOg82]I2!c֪%b`)]wO 1u'hOoLR @[#7Ձ]A56 SՌ1CmWe;es'S1+֜&F{jVf>C*S7h0ۻJDLsyim Z︯P{%~ E 9Xј",?_WP0,ұI_&skHo-=%[Tl]NWҶ l0}sR" KbPKw2?S͝/L#JCȱہƈX|/}"` b.f W딊C3/YEǏ&jjR,Ow3k00֝z4zd[)Q# )Od"Fr(f c2E'6|E%OIj~'k @xx L ڻY Bxq\h]fͿMz .]#fTw߶!=B|vwvyBW=eE$ BPB}r}}tib].OIweU  } `|?$M{T_/ViJJ>E7Ҁ.['CDhϏh[vTNW,8bq3ƅϊ:dIO}GL/X.qVps.q \c0ĠS,_8vIQ1h52*t=hޏ.akLO#_VíJO~v\U,E)܅r"c.zh'M&x'DeܔW.#ݵ4& qWmԁ缍GfeMl'f7^vd#]jU3ځTXxͣ']xc5sruw[Yܿ1 W)<(x?a;3ʐD2wXx}qyU74l \C'r3R ziBkyzꆿnN XUO$-5GHߐ^N @fN*À6{cnFڈ fuyUkm(ro¤oւ* zk>g!JDT{!ϓY|73*d rf,Vj %/Q#i $J+ 3t4;29ާ$xnV#j^XnhwU]=˅+63<]c{8*AsjP*7!z]U4݉w ('dX@@#j q\AVzmkԒdYHLr4s\m8]bx,!hO#{=ocnUV6=[AIH0Qh /.N#[s"vN!_VQټΉfE'Ag8uRY/b#E+f^~+0-K5U0 XhWM"RsMLL̎r0Cqus Qy+?nִe*_hZힷ/FՇζϫ ~D%)O";?Vff9Uݍ.PYĝ6_|^k?f󮴧Q cg)Gz_nܬtEĹ*1qgYZ7zXZִF! T]ŗXiɟ|E\Ât+.*aphG)%uGTIT|u7uVkG' 7Z"K.$aJ\~9X-iEۏߕ*8Ʃ"l8P@_-j0٘4޲»?]UnKZ5$.Qvg۬ѧe)o|W?.#/ T@ 0].m*ԔqCu_[kMW%Gi&&(ivI!rn'ĥ1ثW*:Kȟ+\fԁ;#8X4qNɈ:`0{ZJlp$h?mK9cwbmMzRmw0{A6ꕳ]GkQQj0J-Ze d0fX0܉%]wo9~qs׋TM€o^ߖ7ZkRp_OLAa D 9N~ۿec9˓A^kWB81yb5(^8'_sqF̚nXs@ v"C+`ȟa;x 1y(z\<ڔľ_)ܰ'r r9lFC끤чh4rDx 鬞U- AlKіip `Z06v&Â3s;lֺ[b^cֶqb(}/It}!\>{#P'ц/,zdҸ!ze"?C)W>"QIg~8w eGJ͉Y(Q `+l̓|RJgYZ7zXZִF! s]ŗXi%Gf|rՠ')?Kn@ɈlL@2]]bqT|Ls dO#ԣ%+[Zj^VP_̧58ӷbT5°*/OMsn8R}.LI҄}o /mVγW_ ZG@>}kHBKgny"q~ap8 |=6Au޾&5@P O!*R|e :J2'`)pVkeOFAnꦡl{`Ut\ x3yCt FbC3؈^(޹ڴ5!vfQw92NL¤vڬێnn*?,ΰLo+P9~1-Ҁq7^oƵGbgnXJֺ=`x(˒\6\;j1 N*/T0'Q9Ԩ"&Ubվ:2 B'Ń`ݷt]TݝĐd ť-ω#1^@FH0H<ad$=T iju?Q sy!~2V=MCHooF9cЇ8!_cwVL+v%╍z辬j(Y0߃JܷщMrǾE؎Qp/RtG2)p`%5'oI]quT+lŽ&Q 9 YBSO"_+cXnkM\p-K930L*̹.&`kb kRz>R= X]O-l )Nm=/TK{e'E\0*R)qsqCPwAfٓsHo >waI3ۗ":0$9S뉎&?]OoϝBu"h9Z <r4%j5k5*?u4;m-ZK&1NQقM)ng+ hݟ{-gklQXMZw*OYOFouX{lSN3+X6TF@]q}U?s%+;|mI& i- LvT:uzJP lTmII ,xk `oԽP^.Zk2~ɂUnwA4' ru{/kHTi&MA@&G}]ի:E4ш w^(NF6vbZuGwYie(WFIODu߄^NIa{a8ȒxJ6-'cc@ G OP6_^ ^]FuWh"㉜.Ch#2%|=׋$AV*A=3"'Øy3q-IxOnYd~+ 5*䮸3`J-p4lA^z:Ւݓ[~aYbX ijT=elA01ImmNq~Oib5p1`#08CϘD{Գ&[_x? &qy%g ބpLn,8x]ԺX{5l?}PzY=ZG/@m7T5^auܤItL}4NALܽ]姗d7PfdK5mY^(RSq'Cm57FRK//A閶w;'qĀaTs!iPHL7 @]وg4>#| cS6T߈+PmgsUiP\@ =?"$ÃGZ> ۗjO@9 Lr= mfKFdk>&qYdž.;P]Uf.\O!a+SYqH;r]gXU˖hpBX%8БZE]ʧދʗYM5 9hk;c@(qC@H6A،bJӶMF)rF~-ߥzpQSw zffz;$=鉏Og_%Q)~JCT3lW c g95b =Hs9s wDVm!/77ho%d[Y{TQ2bxC+` ڦ_ r]t z&*p٘XcI' PհLHZVYFcx&b@JRNl, whuUC~UP.s4 0p#1KrP3oҰH iL! `[)d+Z~mMY`guCwCoG8 N#"W7]Q>?"N |na ,.۞e`u|3S&xFhpNEpt%{t2Aܙ nN\A9[_k1076z6-oT[(Zp5D%(ů/US#XҦ#,D- q6d8(A2WJ,b mgԿ])oҗPOn;UT@RUB(;TmvtOX^Z0RFD9Z]?8cj2NGu&y"!ZNMFe6?`?I  N\USiejFeU(C$t%>s-Ýԝ.]a]lBvh윰Q 2Dʃȷr+1BNXbiǐ*6[q/ż?K L5|]s+I0 23xem✄BgAhr1BKK;}vȺҬf%i^ KiPk 2i FN[>x#큫z[~o({C fyX#GuYD 1=@/ +8磡} Cqd_v&M@^$pS-rA ]JK_Sw9kv" |#>IM_̓ s~|GfCeOMAw]p%nPN'%r w&Q-x7I1 qh_ ^2jK(鍄 SL!Xe|f5*wMj9ylE[%h#y}rtY+6iyUUnd(~im-^^dpJw֓sĈc7&%@.l(-U8S9< 59EJQ6uߓo菍8qIϫK%sg3!gYvrNRp.| [DHc+qmuyk9ch8(~;?Ԟ"H=tbp\Y%nMU+F97zBIYi @4%2"ezmk!/;G=LOp>KFcGu{Pt{sJ$7cI"ݝ¡Lpd%=sǿ͔YYx̘C ݦH`@E#Z+ݜS~.?e%G?bJ)Bʞeog nG:e΁'t?k_У*;)8H׊1 nh1U|N&#,Kڿ!U0DBV%|hqvcCk2i/"$Tts̅)l4ˠÈ9 )^P#5w;6CjgYZe6a259c8382e7c4ab3428572c984d765bc64b7cf1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 6cefcd2ed218490289d26dfce1aa65d5a321aed8 d1548ed7c6f6deaffb05a61a9153cc2ec17b6c7e de6b082129334e5da25887c2d89ea6b01096e3fa e700d3ada9526b296c6a05471d31c7dbfd4cffc9