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 P7vL,T ] HOL-Word-SMT_Examples:threads=4elapsed=86.429cpu=121.640gc=1.4727zXZִF! ]ŗXiɟ  Q=HTKv/%vl]'O3ƪІyrpDZ,i֌?L 3^PVhн JmVm{΍TޡUmD3>r43gQĨe &]WTcE:YPx@݇r;JGSQfF];f ʀ3j$o;'wԤ 4TU2Tz nrfm{"a16%\t)D)*be 8`-za@J%pi҂j@Z W!RoɮtPBz*NJBgMN2aHq0`odftyA>x?-F[Pl%PAr~G-NCyxWETzkrp1cRgM$NQ!xaxaq֬uuZݸxnHpt-)"9^pg2Ҷ?{͙^( u(.[cD.f-֑,e<Ĭl&PNm)nKH(zISTESJYFm%c&7茹zʟ: S@Ξ: wbN3!$dL5-/,gYZ7zXZִF! Z]ŗXiɟ1}?ĻQ5?01|`+)2$3%Ss6JM\:e.Fck# `#Kԧ>6!b;Yd ݷO hXnHS<ݸ/Yc.~f~ #kp*G"/{ki#\HSWO۳ ^94MTN M-Dr GN)*`psm-Ň-7uڎ-%EDXDHxz60"O@SJDž"wLvf.oĄN*&58ӏ}W4s*X.9 ;1qCFXED2:%9ZO JEwec=jס<'2]ωBZ7jMzjA& /N&3|亂  7u[hwu."/}g=6N*Vl4TjDۤ]"S|<&ɞSiR5(\6*5sKpVªKlչ͆/rA'9ñ)t{ %_Jr+;sXO$-=7o/T#늵p^](㐇g^t Rz!:,au t 7$YT K^z r>D+n=tyGr-! -Y C]^InI9:_ɲn;}Ns9*/2\da|/- #%(8W~+}QUՋUKZ4F8Oc1L*5DOc csPNB!Ћi8nmV;#=KvK* dx%X}[Q[v0v7zqb@&xh"HY60ȘXYvG (E^G8(ƆE_myː]^^MaR#^Z4nʑ@ph}HYaC)$8HJ#.0x%pEU2ٍWRIR`"dPđ#d75a5oD/r_|OŮj;ϥ SidwF#%jEuhӧ~>,5Z|Xir?'͠925"4ya'O"nJ:`3I*mI}lVݫcK-fJX.~aN$V Q@N:!v+97[բȪtʂ^ ("T͸NPNI\Eq"tN"pg#7QoMZHdkY.؎ؿɼZpc qut?P]v2|S!GP(n0! 7♓-z/溪`֑=E,Z62^~@LgMRqBȃ[w|lV[Ij ZD$6xr0&&$̾GouJETAV^Փ=Sޙ- ̝C`R *ڭ5:p ߖ`Ό1G9dHRgu^a(9H5Q (Rx整G( uF(! CcFVo>V+[uCXfh [څǩOhg&̚31A%8\l( DG/n(~,C܏*܉U0{_XA: m9Fi#mC*cQ W+w,W [+fQ򇜕2SػE7qHX >8\6|oo{zbh4ʅhRy }kOt&{qͪBi PD:e?7آEMD8 cxXLgE C?e4%d|EC@Y>zkz<ᕪnhbfXNVM{o c 62V"ʶ]{Dۈp!'B(zW duI a"'[w//wy{"-Lz cdxRMD[4Ǻ^.(?`i9c]U$I}KeuY7adebfVEd}$>S" 3फG;MOڦTS^PTԠl-5o"i!0$eQWv---ZdCߪ~åaf"3n w3>вPg)Q(8> Uz5R:[F>L՞=VeV#A?8QU8AfD Z2P;^ʠyJ zc);dxUV$1!NӃԍ|ϰg2ᙼiɛ{B)NxLn49S"BK< Y&ؒm4ȸܢc;#[xPS@nD@f,+():(S3XV3X+pi;ʅ"1Fְuybpnޞ`ZqS ] 3$:Ay a>p1gYZu7E% lHOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.Boogiedocument.tex7zXZִF! p]A-MՋhvG"uIBm5I $׼2\be^HABp~mGqb&BR[+q0ٛ.c v[;ٲ/srjg>0Ҧ8YjLIH0 svF!¦w厈\N%M1)Ś4Tjju}u%lY$l+Gtܭ0K=(~{#gПK7mACW/\ܬ5ਜ਼l>G+*יAk%a=y{eyof }y6"rWУKޭ8)/VEA<KX ]BQ'qVԿCzf 틊RiJ5}̨Y[G1+i*/\١zf } _K(qprWī3 2a=WAk yoK:!?w*V. $/E73Y 6/] cY |پIU:@TWW.K(rпrd>wXշn(0%7<1W֓ #>1;5TF6Y<`y0jZ~g՗.r]eJ8Ѷx8uLϮB t5>C8\uH*%rq Vڅx+20Iڒc0PEB,&2SZXe>y :e<Qg&%+>^MyʘS0%XPSRUI]놏 X2JFX?%Ʒ"m/~ðicN0442_qD%XPz0W(77vF fp|E :4Q3iqcZ;Xf<")xoK 8V9x/)apO]O`Vl=f)9$PESB?)>٬xmz .+2Z 5 T  'nI7Q%HOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.SMT_Examplesdocument.texF7K%HOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.SMT_Testsdocument.texN7[%HOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.SMT_Word_Examplesdocument.texB7E% HOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.Boogiedocument.tex1{ndlj^miCA7Ɩ^8'(30e/G_LcKh\C3!DD۷tַ ^/D=mvOr5v!HSużC(\몾gڿ5 1K_d%Tۙ Tφ1\B{, ܲv݁F!HuͳR?J >0{pNV@Ajq>SROD,o~ILV&P+^W10=`227*XRE" ;|y`fL5.`pӋ*@$//R% NEC սtso,NcEo.(q_btұߣ/P {Dm;FGvl[*kQx!؁q~e}K5PA~j p 0QRH8 s^߉ӳ 2P+[8a߁3p,xN5 z #@o%v%!mn2iݮaxKXXS``6!@jwRՈ!k?j^>-@X"Ukbkze'!3k F *|ρT?Cɰ+TJ p,C?Sƻ'LFi(4O *w?8>z^sI HߝeJd0·ˣ_6Lr}G_1| TQֽ5OAuH.9 pUI*q__JӂBj6ՙLs4rO–Ip ztXKqW pDT_؜RMZ;A& 6m7 xzF2&/6FWuž.;%cq []PCC:JԔ: 2KSbPqN5\ɘ@ {dMce7:DuT?wHG{u!y\Imo璠_"B lf;gJǎ) _LE5WTe9/|W58 G`p?' K@LQ .zARfB|yFz*”/d!٘ăOҰ 㘊1avɪyzMCRa* Lzؘ\^jgPj*Я7S)oF8cp.T ǎ`w3gECM|MMA)Q`"J@?cϠ#f(`~uF 9aB; 5(-O[ kvoHW!v9/4y -'WQ?mSk]9* (Bx?Tr\h ؼ'ΜC&D[*YFlng PM j fyf*,s@n"Zl( Ucuu=A$rddz_%D[45DŽ0BF/ rZ!RQw U2p'|V(8w[ va>,T;;ОmrR6W+-ʧ#M]5)06z p+ܜz끠<$(Juʭ7s#* PE2$ t@?xfகs $pH\]5gepوrJtj_Oո/w&` ަXV 9 dP2B{`ېxlk50:Se/%Pd".yC N[/=##(?"ey1.bl)ڜp:<ت]Ux;pl"]Z]I(}R 0s+V,LHlqk ZT :+c҆M N#Tza F t>TW(tL['w+[:QjQ . 2sIhς~ipwN)tl*?L@o&_]k|F5 r.`(D<$C0!:N-|و)[$G&@,!#r 9'aYe c:)zBW6UĬ??'~U4z62늤7P{miѤG5~;w@̏S6ւmTmÊE;xğ&cr=>q}Uc mD}Y\GR7c+湏ܛ'"7#HߢD!3 2jj=κN]uY8)| ^g̉tqw.T0[\Vd<+76`LMО'$% 񝤕vbMyw5k݄p7ٱoS@&o w:%a1JKp!8w.Z+PtL f1_Q mxqarFZ\9TKTzS'. SkF=p,԰T娔,`?cxfoK{(:R {3`nԧtG/NӔ(-h.f 4z݈8a}ykl}ntg-5` _K τJ>. "6U@>Z ;&xN?PSOڜ_93ǭ:2 BsQ8(yY:{:2etoZ_Do3?~>ىY@v1;<2G9ABj nF7:&we $M{t૦)bLĬ 7U=.3T lawB~80Fc\IG31WZ81cuO<$0*/ygqu`$eklӨ!NcBsJj07#s0'澶 R22$ $KqG?VYo^Qٺ͒Q-&"t D58P6s]l1 645Aicñ gG<,O KT9&R]V o/FrZ].ɵH ?_ _|[PO"^٧2e5)#SRwUIK!6K$m‰8tB{f!\6 d4~{ʖnVj񚪭vy,|LvTpPU%<.7ugRO_ڜUm8jEc6 >PtzkFģ͋0hd9 zSuJ#K Z<!3|? ^Օ/|EcGO|9/$ugrzoE:a(c$jBߥ8wϫ t' }υPRm([ƫ8UnڣڍXlǹƸ aHt~J fu8DsT JTA4H=(K)|,Z)o/x7Y:[eOP_ :aU3^:I#U_8`0QU8>Z $@v@$7p9TxP~eϪ"DRi9b$3EMLDԣW rDZ#p4uUz7;̥"PyMscЭym3,Á?QS{i;̼` ;I68" ^`}rf?^R@i -R >pZ$v/D^(c>t-]۶` 5?RXdɾAR %K4~ Er&o:h 9Bi4|ɫ͖aHTy/RZ0_%3ek"6SJ5p _W{\AtW =]߉Or7{MaɥPN? {Sz&nOнB 4y %SpBfZ~"LZy쐐؈S/*^x8魦LRcfL`D-@ i,o-GOͺo~Lø1GQu8.`F|0z+"'O(c:Wc='\Hl ([ŝ^轳+J9)f\>(zkYx6hAJ y (~10א=x:)@X7:ԒM˅X&yWLB6ƣ*HgU?wm$ۨ7t9}?:p`[n2O_pC{el%G3-=$t=d8wd:4pJo zj.-1D3gA.|~jF~os{nwOu3܌YC?L>޸| mB}5ǒbrvH? W դEq`6o{L@yCxrʾM3ǽI;Zш`O=,RK #U]+:FrRWI'0u,p UX=JTjCLʔ"У;޵͸jfM \%/N)@Β ="kמkf&zaXB\ք5гW'M`!]JALgjndTvUpO%`S6TѥD@ę}bZc;i.+tG\}E.mNoŇ6tXu#&m1'&W[w@=~7kyMuB爍ז[0Xg* b* ~/RϵfvۊAvb(<䱥fϲ,nWpX"ܙ [bw(Ѵ0j;Lݜ=AFn',(րpab>;ǃ @n''q>wٓ,ዷoQZà=S-s|uP_tedOy>pZYAt  <ʁ'I_Hr1 [.tLcAuTC'QTz=4zKQV'NZ8jO! /L&h~>ToB,O,K9P[6+Y#kp11#wuh_"K- .F'M ڨ6BjH (8$J Tt$F/6y$+wЭ[YÆ6U'*IM]Oep,/h(Wi\`&R{9ZOpא{\B[W/ܯPc"  _Vo&qo20ɦ%;[`o?I6YtCNV5f1BȦBG%} gͣ CW9¸ 2(G,# ?+; mdk4[`ZVRcfӽ-Ti;l00& \xR~_''=lتqTVzfq9CoENlgч]=wG|ub4;"[,Z؍w1G$4+n".9b}5Lhvh͆hQD1<‡.|yizJpy鲄;Tn pBw̅ȗGY UOϜg/kF8|?Dfe_Y o[*ѴW\/闺]##:ZyhWnx$pC)eLF-%S f~34^`{,M@Cl-ht] Z7U9s{Ϥ8shmĈk'/%۔<\/F @S&jErN.q<4 щ!sX:gÓ?Hn>0h@ yʨڂtQa K?!K*!lzQ[. #Hoc+'~ ]f8ElyE0HuZtހ-PJU<:J@o`69"NLdhҔ?vC'WE*N\zsCho>ZM{80ZEa߀t$_`Hq_MJw} ajG Ui$gYZ   7[% HOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.SMT_Word_Examplesdocument.tex7zXZִF! S{]A-MՋhvG"uIBm5Ȗk?)e~~M{{H߹={8P;.:mջʴb `z>_XA: m9Fi#mC*cQ W+w,W [+fQ򇜕2SػE7qHX >8\6|oo{zbh4ʅhRy }kOt&{qͪBi PD:e?7آEMD8 cxXLgE C?e4%d|EC@Y>zkz<ᕪnhbfXNVM{o c 62V"ʶ]{Dۈp!'B(zW duI a"'[w//wy{"-Lz cdxRMD[4Ǻ^.(?`i9c]U$I}KeuY7adebfVEd}$>S" 3फG;MOڦTS^PTԠl-5o"i!0$eQWv---ZdCߪ~åaf"3n w3>вPg)Q(8> Uz5R:[F>L՞=VeV#A?8QU8AfD Z2P;^ʠyJ zc);dxUV$1!NӃԍ|ϰg2ᙼiɛ{B)NxLn49S"BK< Y&ؒm4ȸܢc;#[xPS@nD@f,+():(S3XV3X+pi;ʅ"1Fְuybpnޞ`ZqS ] 3$:Ay a>p1gYZu7E% lHOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.Boogiedocument.tex7zXZִF! p]A-MՋhvG"uIBm5I $׼2\be^HABp~mGqb&BR[+q0ٛ.c v[;ٲ/srjg>0Ҧ8YjLIH0 svF!¦w厈\N%M1)Ś4Tjju}u%lY$l+Gtܭ0K=(~{#gПK7mACW/\ܬ5ਜ਼l>G+*יAk%a=y{eyof }y6"rWУKޭ8)/VEA<KX ]BQ'qVԿCzf 틊RiJ5}̨Y[G1+i*/\١zf } _K(qprWī3 2a=WAk yoK:!?w*V. $/E73Y 6/] cY |پIU:@TWW.K(rпrd>wXշn(0%7<1W֓ #>1;5TF6Y<`y0jZ~g՗.r]eJ8Ѷx8uLϮB t5>C8\uH*%rq Vڅx+20Iڒc0PEB,&2SZXe>y :e<Qg&%+>^MyʘS0%XPSRUI]놏 X2JFX?%Ʒ"m/~ðicN0442_qD%XPz0W(77vF fp|E :4Q3iqcZ;Xf<")xoK 8V9x/)apO]O`Vl=f)9$PESB?)>٬xmz .+2Z 5 TgYZ  M 7K% HOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.SMT_Testsdocument.tex7zXZִF! P#]A-MՋhvG"uIBm5Ȗk?)e~~M{{&JKU:>]ސ)x q"ԓl?gݯd굯a4h48oyu$'̿ lO-IӿGM[BIT`: vCū hgB9%Qno+WqotXg$o)hN6~6!<$}#Uȟ/f%j88nZ=)er:0 {˷;jN|(aJ]%Лǔ7b ۽=m/yYM-y%b;,Hz*R+g4C 2|@" f ~,;CT,k%.Bg2:wbxO&H,$嘲HuT h{dFZKyˀxcMrgDo1nD|Iy[V@{b,Shx@%՛bִn%J!՞ܗuNFM%U HYp_^4?ɧ?u= 芽ʾF5[QZ' Į4*OyVcՀj|.À8 G,Ɲx;$ggrKC'.L(oFc;״#3fQKP ]-͏*d]>MxT<]-Wz]ezS6݇j"*0uuw'>ym>dlLBwNrDijrH>VO;|9'(G@=uRٓ2`Td# ԁ =hoR ,*Bx*[I"!th>T(E}\fCq#0@M+ }5a iglLCD].mn‚ezoMwFW,ͦeU碄8!FW~r[+x@22RU/¼q62gVʼxۀz]* o+Gtʏ >x5JΑب4]X|8{}p#G 8 IF9wԥ3&c N,HVq=*:@|=O煙՝%mM[dC0RC !MDL!jⳒbM:x ּc.56UQ} OGewiDiͣrgMX{Ϸ7N0f魈 3G&˛Xݾ]m[))Hi*r5J&=*ky&OFBd4/J3OKg]-lM˘vb#gʃQ. 2CF:կ,l{" DRJ0D7k \ ý!;C>*t4;8n,jHx5L1Ȇ_ W",2'xؘPPZBZ#spTWuG"'+6BNW#dҰB!sZb_ܫ"5)x[x-vχGѧsCV *VEhl0Ĭ>z q_ fBoݯY5iR8NGmB]Ϛ]q,ԧ78cQF+Q8}]֔]NXt7.Tw#yn=I1NZ|0BKpSQa5d< YnyB]m" Kaa+Y,M5@A/=/r uұt]o-L']S,&ntj[7 "}1e.t^ qcǫ]G5/ "0xg$${#B*$_:(+:wŵ#ᅙ޹Q2Iv:(IT~v2PUu.<9gjF@j)Z#i6ra@ ݼ!4mۂwK \4-̐Д~uo#.Dgc;A[a'/O#1m 1MMwLF;]\*'3zV(.B4 4L%Q!?,Ϡ}c!F 9+h{'8͢z9s7"C@D, #{Eeƚcnrt9(}s1SL˼z0t%cj#pCkD(5&oxKOP@E1O:4fZ^p}CHZR0`KZ;rڛJ {J[hqOgQi ȺDg*,hJ`Pp" tKk96dz P|Hc8A:+߱n'GqaARHە j.BsnfBXk; sMPZPOlr6a:lXM=L2X +اQ,};[DNlqNfT&*k+&TWoWC|xz\ɵK^L LAm]}KLl_2%8mڸ<́`IF4.]*EsL)-CG3=7~!6ה'rd-SwX*&: lDͼIq#"WY8 Ե;, ~h1 +rmj#Qҏ5u:'.<զ鯂`jۈӭ]K:mC.ʑsf`DNLc&hj5%UjF&T<5車t&*^;Q`ʔ%ĭAI |,qSM*ghn?py1W oΡOcb#1<=c[:~6g?%l/s%3 +klYT~~C>veǣAumuv_mbꕼ]:UK;* [B>v}/!u`{'{+DŽg@:TMޏEf絘ͼ4I &_s5 tFN _>L˨vmƨE=Αϼ{J"8JAsHf-};"%H0kڒT x!K0_*._'A߱U#C0f@P;5gm!>sk\Yƭix"|Hrk[Fak#sen)j ^To/`MM{Yn%|'Z9 KDG'=cU &PFuLu#!44ȹyR>}"4}h>d6!ٶwb16>EP23-7J.k쯱_ oP5o FKSN]s7~4@ה$_ \=V!' Hͯtj\X@4j2׳ȧ?opݤ3d*E!ؙ})ϻ"ů˜5%et"' N\82.D^YFהY<+I w1+(vXޑ0G2áA㌼(h~m=I:ڵ1o~ V::6+ rk^s.`S7" #e_')ăC^B |f 'FOky32zĀMk;Dv^#GA%JJV`a#O%oD向V(+`SacQcuݧbdэ;&Ҍr$mFh42ELFKw9Wo34B&D-y_k@. J-Q-MVDgv NmE`-qȧ7]ʔu; ч nT$ )h/ym?XRlF_ҟkC8k5)Z*!0m;tL5r@POFcĉ~C>T0uWU>*٘΢l(H<:mOӇoChY+Kf`"McS &EASY=&jEQ4ʹ4o.*fAWݽ1K/I)Tdϯ,h9VnGm y\ΙAǢ9GX€q apmΜQڙKYtb.BSbLDIpgo;_tG+?(%Co. 62PaΈ`Wi ;xSs <|+M?"cUZ,CjSrۅdܸJ`6,@NB.ekMPaފ-Ű]h I\cqK/Q8ֳ "F{1悎zxW.z>P ghXs((6gW㱽\̼,B᥀|X2}/^Hj.H^Xf7zEg\_1 E]xyny'rx'z쾁qC wfy6[Ra\cӑoQݒ̙l^$a0V/4"/+0W3oI)d 9,F]^~7):x q^ȏ 1V /;pPGb`;XYrEl " 1BK},PNkrUĝ$G5%]b)6 ^UWŗx)&[A#_* >M@sooYTH 1:dxѶ? d8% {Lu`˃.^e/}&KN1G[Sʤem\4о2l,U? LgsYeTDwہƂd!KB)̨U@ Q8w:h~|Sɂx`V?̵SV7ndMܮEaʭ,5wd)҉0V.j[jk#lX@u_',23=kY [YzDJVt,'(< >hd]k7oL<#4*UC HlPpߡM&CCݠ`uZukM{^/E&uIͮFSD{%m 5"t%e> S%MA6kkGw@1PQJ)JݠD ;qmWKabCN˞ :sD cKWx~N @2a'wFa[d2OJ4 zU]&˞3II,:sBue-7$+ p˜xTN(w|"kL>ьM[3Le;CvEs'E4eia 4`:gq# ~8U ӬuTc4tS,%W:rN3G[CJc/qIw^o̒Hav y-x+5OeAE2ao)`un[ڜ'TdžWvio [_7:G+?nI⣘dӏr 3h39c[[KcDش@;rph ń ȲKäĒk:ݖVEX< &u7S8Hmj.; QxG1 G!tiΘlZn=(~4K78.Yphp*;1燰uͰ7-$Uا[OSw:K(X6zH?%PƼJ}[ct%ƌ$ͫEu,Duk>~pEvs}p;,\PL&?~kb)w]Zʁnnf^/v)pTNUQmA9lMM^'vgYހdZFmG&LiH؆1=CvP2V![. ^B;! kROXk/Buѷ*ڀ+aYrt98w#!kz2SpA6ms92i#Hͣ EX7t:B P@T$(b"f28 {K@(W]SG?H<jMXL21Ku4gdp7H]}3Zc -ut4щ_7QCsr0?qtC$eGe+'URmq8sEߞ%B(C@ƾ(@.B*li>EL j]8${ &jA{$z=† ͵M(?j H}|@ Ha LqRMz9[NV.݀G)ǹP/MWTURyHJ=0G:bBM :yW͎Lv? F=]P舛~nd\DAELU*7yءP=f"G8dQ< jiOZQ-i~N=5ksGs!92apۗOH5I\o|:%s>n/Ru{s`h["bFjB"IŞz 1F M\η>q4歹$}) J7+Hm^ZBn 1ӹPBKBfB T{1Wn< cɫv{"XCX]}f<0O(>^AN՚ yZx#R< Q1}lblm֏1ӁU :* xX=;ӁIk, 9Wsy Q'}A1TP&\t]T`нv(.m_:դJ si}YD=@]QT){@ǗGͅbs["޳bF֛޷CHJ8jZv7KOӤ΂MM+6/FܒPmㅘ,f g*.\%Iҫ ~EcHi2OO=HcMFi_Gӓo׺pi-޴2 4W}Jѷ8Kӽ^@+xbFϤP?.ǤV\?l sZ4j3\-s:y'^OoS,9*,x(CW#ŭJq*|B40ٿ!ry_P0#ְxU6|v*t9 6m)xmmOy@Kjڰߝ9}0c '{iI|bvCO2 ].{(zzKQ/kJ4a/$ $Tv^ 3UbTaR!sZ9r-QoZe?'EF!cju=[UyncO$BlR&2SC / Mz~J3t{W,V)ߞ., +- 5$/M l*%!~h;F#jͧuYRGJ 'v}I1&`ۙZ+YmG8:S -D-.0P.tfGv\Rvp/v2OL>Y/{ې'Fh>6o.D _)Yw ?PKK:._̃ qfՎP-\-$zKa(b z Ѿ{p` SlOibdzsLY[HYq؝q z2M=Gi2.W|oVPөzcB*$MkQWAOuZg#Xd+h=1ˬӚl аZY*}M3b 뜊Uʋ ug f^~ń>B6#q'4ZL¯A^ӟ `rű]tVxAA%/񩰊d]鋨tMb ڄƅ>dM=&ET_eKkLEH*֭X\Gb6:*qk5Ez%9hNdc|uG0hμ’QZqb0ʌ'I=Rq QXOږ.EBھ9|㯏.oGrsx/(kygYZaf00f08ab7713ff444a677f2c45b8d42074a2eea96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 a62f3578bc606d22406323ac6305318410d08961