SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 /3tDT ]]LLL_Basis_Reduction:threads=2elapsed=469.242cpu=851.448gc=46.748factor=1.817zXZִF! ']ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I3Y+:yW*/wDDϛ/Dz"\5\' 2`йwgcco~{'8Ik,@bl5cd5f]. Eג)fL7Oh*ԩ=V{ :Ѡ quI1/>Y>/jVp@u{.4;=2k_FYeut  *Ejl7j c-I)e}rGX7ti [VٽZnߤ0cOXph;.? Xк@#,uu&SVmIW__{{XRL Fɒ]xt{UxEK[y{ڍ*^qfd@UmwOģ}e}*ZC>Q֨GF%)<@yx^忝iF}VN|U7n?Mo>q&=AN!`e3h#2TXO0Ѱ$+.>69>7O+Y%KF-|/Z¾) 9LcRܖpq[c!3$s(|,}?Ehu׬}FSig%&Ur;nY)űcuԋXEz!:e}~di̱gehwpל҅p >SLa)D|ZA*_Pu +Q%re3,+;)TZ@6֐+z*_C;;2tj\9b"L`$gaԯk5DG!! u% T&d#E>-8X<6q&+ܧ5qnB3m4+ƙ5o,{8oh{w)U_D/>Bww KY-e6Fy訙i7Uqp~aR7nmb5 VÄ=1w೚[ڝT%"MS46I1%5:Q)|x۽9$A#<#Yu9wcs` *dz z%Dd2`\p:%Oe 4>(e,e_'Ns[5 Nʓn.4|ʿG=G3 iC=^(qwƄ(w&7*:N (we0k[zD3ϓ\䳹k^ggGf|iz%96|T3Y ]?o$O̵ñUiḨLdk_yVyx?bÆ1K4a~pc fh9$U Xc'ZldEe7fW뙶zI8:P"&7"˕Lq= )R$VH{Z}3>'u?Yd g2Y~Axĺpyfig{Lo %_N=nsw^"U /}*/yȁs7 iU(dg=j }vZI|jna-+0s9Ú؟%l'? c|p0 ΚWڸ݅cs˿ZIOHn?(k:v)i&٪%U 1<Ð5 6 ~ `^Uj wr]$\tha7*ӨFžOʨ|(:;fMhw`~V Eg;Gb'XRKXOP+||95nCR2jIVŴӡNp]> "mK$MPPD`"z(eKpHZ`ELS?/s꘴]dĺf V -fg= r}j%ajzQVVehT7fGⶂy7ܡtb!,ᵮL;ڷ쨇93;MC2#m;ht1qT#>*$s8OeoӀ]4FyDHoPC{ubbܥðFԚJ4RW_;ET%/^N9aJDDg  pTZϼ 3 LLL_Basis_Reduction  v!s>m0p *Ԯ$9^HpEM q?7sM;KjTC\_l(2?Xfю䧍/\X39"w0V~ kݰ߮ O54_&fy*Ψ77< aWaDS&;Ei8'v%xWg΅ ޡs"GHE*ԩ+Lo¼'qYxE,!Oφ9"Gy^E5)P);ŷU.:_X].S$ \l!۵a sMĊV4]z7ZL+7#mlx;#kY8RrӃ2MXt7>ⅢG: >QQFTӄZ9ښm Ѥv}[CkoA5Vmm/Y-h/]>&=XlEj+%*-f;mMDR42.OX`o|&"r(O ;=.ڷ+k ge"+-yw-<{Hgz}e#ʒ\mHB՝? R, Z h.hf7IsmcyFBG`~|D9Wg fri, 7 &M?FiNXk7&32TqHPB [^ ↛%dm&lbpF5͞Wl!kPx|LǠ Z.3ɸwi*u<}7'fc7PSjBK8!?O+g 2t'q4E9|"*#eBA'[{6{' mzVO=i+Q Gġ*F!IY?.+j{|#O(h$:\F`h_Ѥ%רMN ʕFaY*oGRF!߱RǾ ֵK4i?v+76E123x9MƱTl1j~N>G40'j> @I^ bӝو# (5$i]_>3?Ge4vh톰\z&wL!_`t$8 OBLϚhj{8}5Ͼy(;!rSᵦLP'K΢ (iꁔ״KO}4>򺙏_r Q4],`w,D!KM-}6C@.5?-+$2ր*lY1j)*H}LJjΨ8ph1J cS`ǏSFDkԹ*h 8^]v݆&Tׯ^ /CtV^`Bw,,+}!ʌnPf^LgIF>=D{gG/w$@[&o[!~NؐcuD-!o'L=;fb[Hx]< 3ڋȨg`nl|kƵBcs-n |x3 (V 7mur%aSܨ&b=VNY~f`VD5}n xY)#ZU9 qkkSMDo.TphDh v[|X٘ ۻyhL2Qhb \9a컔@KZ|.YC餙=idhM60p5?eJ?UYcin [tHD$tVjcE(DʹhF ^0vY .<[>,) d{!+D`+KMC]TGOxDRo3amR2 /-KNwZLΐ Vc1ИX6 C4{"̏ں|4f2X0cܓFKD֊"t ʘ!VBbA|UJ`!3iL*\OˎRJ-\ w{_32& ɢpV(n~Zw/S/qV*3³!:Qc ͣ`fܖejI/ \:מVXUW~U}sȍOEښm."Pc9 %mL%dbUuOL';\Ūk2[w< dprS'1 #bxЄn+ S*fz"Z\s[鴛'J.JprkHV1zpPuUB>^m̵=RGב?2&NbA,;&_+Okq%}riU=G#Lnv%x:m+=@si ?A,,枵d~Ѿ }F V߹֓uZk\/->̈́ݟo4AJB˾M]2D [z),6#\Կi8^1EWMiVWT@'kY\. zҌ%dDkD`K[k#KB+ɂSRf&[tdjQrՋu})6šo5 CiD 7Q {LFOƫ5L6Y52K;_qgSSJ"_)&|\ r*CZ0^' yά%u%DՑ)6ퟬ<;e&4Be9Nh7Hdo5S4MAU-mԷڷ3e+¨SlDg7qMc7nɎym,2e0 f%![.RI,wQ~}pa,Ɔ3Cq?5}n߽U X6rNjNB;H 6'8%Aq6@|Q2̣nzϴA(((PA^xxx97]ӎ{t  djZ2 4xK6r ^=?-!tspOzPuzP*pKWmTlJcn9ږ;nct]`[8k l8zP8ćg [FZv&Χ~dߎw{4]#130WiN6@lDWNTTkrg)o- }%4g3#@(6)s :j9 KoX0T+UW>:嘘XզOjMS{[ȩ*"3Pa)"Ɋ/V n;fk]hm *Ril|BͳDXRQ| O/ҵPъT{_Ro$KҸ TL"L {;0<,x&2_,`UȜ٩<7aW@%eS/p?$qUsjp@$7j &B7ٰiPTqQ"u[׼3w*r~h깯SL*)| +6Qvd} =0sHx׸"N"6!U>`;WKXZiglr Fw}Ȥis拉;أ*i[ byB N}縶!Kc^~e6(Pgw^\ xKqēEE3 S|T<`Y[zcoxȽ_7ٜ6Vc xRLOUB4$~hQ V[$-˟[uyt^?=Z7[w|rK"!hTsO%=da Ee~k_Uvx8Y8tC/®):s_kUU k`'f aPPf8rU%%I5@ 1fg_CK-h)D%5olž'!>MO)7s\T͠nw^:@٬FWބK%2N^gbHq FqXbZ2AMn732Ni  \(\_TT }-UM6Q`B+k4 G&E.uSj6xpjtTuz|0EoޅG׌&~KiѲ* EЕ}ZiM8!\RrB8z Ͻ' ~}Z!Jtسٻ"Ǿ`[$bgu5Ězng9G$yeqŦnRki+b\;qbtV/L7GtQU 䩓jӘ6yA!jU(1lM_#tcMTcP;Q\q> ws~+>2DYlQ"Z) 2YîdJJа\ U6/DBE8z k0Ÿ*KQ?4ㅹ#6\A/ח&.F=T]uRK7绝fyzB' T.{CMex9Жx@t4 *&;.Xp 3%먟q<*B :}{GF_ ӑҖ |ƋrCT?*#ȹ7ՀJw2B.v'D'u4`.Z}Mwͼ3+5reGc ? QK,S  v;vZtRtFEcJ=^i ef3ï1)⎓XHԒ^%s1:6 ,l\Ѕyo%efIΥ(lkLwh L&l(~לIfco7 &F0M6"ZϤ;kv<7Ee5}ڰ 6=\ji4vhG N!^pt.{$JÈ̊~k@79B|حf_6{y$;́tw)]iP䢣Ejc+ fdlI""+Geh$QRJ#@D&B?=lȸM\nX>!2cy< K'׼$R9 r>_/8邝a0J9;i~wc8%SBƳ@ 2t$3+z^'Fcp+]m-ӮΔ_8nOD6)EF`_U](&^_ի ReШ!ou @%O"!I2SsO39CD7Rp[Nw9`6hs鄿?ٔʒ_6Ay^Q7@P!_\RX@RS\g@Rj%# >7]ѹ]{>5$YUTͥ(eI Q\LLr~>N!Ex y`Ec_wgִl>WPwu.RoUߟZ)~g6y5FXR'ylNOr02BU\¡ñgYZ7zXZִF! _]ŗXi%>gF7іWgW0 s=ic$^V^+u]o/&o|7 }~k@8zg1љOܲj5>ΚgWԚ̻sЙzPopQ+a)|0Svj֗@%ezs7@@ᭁa([I׽r99@^".b1~$m<u\WT&(A 7kNc \oq@Ωw^DG;Dzr6D]*H>j68hWa6?΍_NZO;QKr'ؘP 3on]!Nsaܶ@6KC|8lK \h(z׳8$2S#@=ΰ:,sbxBEaky܆[X-*dHK9Za 1f,X"T0 p0HFG=A G3 U o_ ިsGFako_URr=H1%R?āOB@+Tql$OR-eB1,):H&uMqJk8a_H~xm^sN\"FX9'%1q{U4ŃnhM!>K cjNWG+κzϹ1@w}7OY!`#74ov*hFBt~6J/6NZ%ks\5i#y ;˝U!LJ) jCo$d$sݴ*^Zk};/ Mg6p:$ 24B4*:H&+A' ޶ŽkmOw@PhMOO$HM> ֒o-"X`u'u,'ïקuLt۾.ďn O^nRT9sFI kDb &ŚaN5oHf6c-qJD#pjLTr_{F>FZ 3Jp!׷wUh֌$@1a!I^Qƙ`ފScu#"HF*a,ƐPC} *j/[׾|Q 53O߾& ?ev˂^(@I␏Qu$Yh퓈Nbs&73Zk hEa]ڱV;q:U8IO#WlPYj*^L2P+׭TJBݴ;4|? @GW@[S|>ImҚ]%{i'Oq>R^j*;f|0O7hwE0iwqɀJ{rƊJoVޘ>Mgc_{qӊ8ii9_^m""?2_|gh5.DX+1,h( }R],(y9v~}^<7 pRg թd=ss/8>:BTm+WTLOjG+\ڍ4ۡlg+rsKIPWs!,kŵԪ\sa mTsqv娪֍&N2b:RrQoTlqiǝs2ak6B]PUBES#ku6/QT) ՖŁA¥)vGV>,2&0붮ʈ2r"+:u SnpgrF{KG{ÍfR'*4KA`γ%(K!54 x:͋%J{TkRZkgJ~i,U›{,;|UAǰ֐9"\GPg覘s/#Yzd;H`ii9 ~z𤬉RJ(c"L;ǺET[Px N@wQȶla ڛ) c/5Q3g-jWd`Lgdu\1,[V"@ tC6&a AN[1ÚưվR`l_l rTLHf @XxVæO8r+‚ 7Ýxt*oe|ų(+S~y> \F&ׂV-?iW#ڍhHR5"[s!p}-}8]$E^L\Ges"ȁ49NȠOEhth&562,o"V4|W=Vox5`۟%Цg2R>@fƚ b;񥺽:%0ۭfi%wNn6(0mK0@j0M0E ! @E識 Pdw,kn!^ng!ck=O{^)Ԁha[0=JˇM4~mj./14}oODbXc&8e$ =PT"TnW"< 4KbjayPcQ}z|}(NNnj}>pU6NKEO&4w1l@2.d8RV>"#>8|o^qB}Jɲ}/M!%j @G2H32NL.G%⅖;^2ð@Q?kD (ʼCa~竵Z,ZLA\u# yw/ /|tgwA#M/Yt%%w^hPО^FMMeG}nuǔԒ~f5(bz"`:.'B},1^U(rLp u =vR.-oљ}(퐳c=ZMA] $ڿXGEI*.hu6YeՋK.b_,ρڵ;qLv-c#bvL [;5ܫ2Of MH) T"WV;Ymt~=jzЂ0k)9W ;Y;dE"kqH(Sx~y7v Qt'Yzr}N.x m\\z?ǹ{J 7~5w]u{-SWC-=]]1q A!ByfLQ?&cЎrf/ LSN,vQQմ?Y,w#HU+J.zTyQS&LzN+y]u\,s!b6[oiUOpWëKw/h!gTܭl}cq+3F8XuʳU<3$pU'xR/ܣ\rMU)le>߂t=dR;9]?6vw &CXXpuLAd>5uirӰ A> #MF< vN< ])tOi!s\6|2Zcx)vUuJs0?WygXm+65|AM `jm 2uٽ(Wͼ7‡3"K?P8-@p3SRHv ["ttc@1n\sD>]%%`=w \FE 4q~w>ũy:COa[RkR^ ' ”W缣+Uۜ} ͎MGāݢ)}??$č3,yRźH}8^6Z4%N& u`b\eltgpQC)z6zg1F| {lU3e EDDr1vi+5˚/%Nը\Aۻ7^hGAݑ~6#F =e X[AF!`Opja:;b6v%aM}8']OW8;{TY92g 0 h#q-^rztȟXrXCu4-g:yr:r~l\hYs‡!>*rvM?CAl{V{rQ>ƘǦR۲z@^5K:LɤIrI^PUlˋ?Rey1/ׄږ־FJ@lhd09zHE}%k*re`556 &5^, LG-= <[A -2̻})x7}/-f( :)z}5HVS%AP"O#hr CN6JDyBN&VVg.릵?K v6 hdn'~!ln &U%=w\&v[#z#^JHp/ %=on͎p{Iwc&]O*iz.h5 D?8QzBia6^ qK~O߽W_<Y)n-])2~I_"_V7DX~L-$M 8a*;=,S\n\3'r} qjTх\amoޙIV>ap+lԗ>.5ͩGL_=ЅoFKg4Ʉ*W" )Lmb@O1VuuvX&$geu -.njCe)V%j0'c%Սue4Aj4g dp҄A} ?Aiϡ+P7M~FwAÁ-PrV4 k2,l4Hvh8:dd Q`}^;\5ʑ U4;v13hpXbMZ.t6_[z0}jЂ1n~qDt~;p!_s  \1jdbLH oy >/y:}sh~yvo'}H 3<gpENy-  #7 [*Zt'AZuXqЦgpN%JSmߍYTSVRe Ov~as(c_{J1;`lҾhI=CLDaTM;HWl oK5wrH"~MnPȢ-+:oIpqW%]LZ М=C Ad'4EɅEtN`#Aq!qCD1_N:roprP-?\/NQOWhz@!]-NaKqlPS3)D2|5vN>Cwv J$lu5=ʜk$s#WfAPxL!y@Fk*"@ QNQ=TūLb›Hhf KZ)ud3K`bTܐf, ugܰ 9}fea-aFoS9m{JO"ۆ[cjAy?c_n!G#Vel ꡽zoLqS,3φOVQo$`k*ؠٜ^Vl9t!rjʦ E N~QBb ?6Dw`1\$ϯ ^DP$-='Ӊ`7ZPY5*_*)FNO ˗ 84ժ%kE r4`'<(痱,ϟܩ#C{c()t_|be7 < 2 Sy0,99y(0<|x6`+;gi'q6nj,Qjs@WF'ƤZݐPܑ\0i?!{'zK,$k`cj5]z_a8M^g-FR L BY_-_v{e݂5tj8<?K癢 \g;ʵl(aS"Ìn?`HNW] ,CI#eSprVJu>wh-쭵+ZqYa.4lר\xtv~N"9ۿ]V"-+i;7vK"NfhacSB%xy7 /B=EGu6z)A6:GlP--CYA}m^[]wRX4f!ȣ'tu4.|i-~Vqb (jO{ 4- ˿|V:v˸ x2(g69h(p0aiS FU7*ϯ 3e&G&T~>Uwٳ; 됖VM+%wm0@彩,_/'w >]qNt`悃Uvf+JYy7Õq`Ix*Nbou W=%KʞTj 79D,_QR? s[b bNSW9Ɖ zCW v;M Jt`ľv=o4P?X8ҎDIT5yQhv!EGȐ0ՑяxL<(p&7M '*< -DOrnwAa0I}="&C41eR P-13vg:{}0&4|zX ioJ*ɳ}JMCSr5)açgN 6I{W,+o]m63"{]AtQQncT3~QJ5{ׄ?)d˨l 䜂 .ϑ)darWÛ Fo~~/ܳ0Nɴ"Par./;I}! Fqmn1^0l6?̲g5g4 ܞ| W6r|$k|zeL~ӌKt/OS]أBqs9óv2aKۂvyP/ފa渘VZ]n$qZ1N*G=v|ߊxLb4.Y &9 <)#r1oJ 1q)踜 408*,sQ PN^)]G|YtPnꏘRvv4ќ~}IJy0}5+r{ӵD$AƟ>c]<HU\6[GpaOT(I\ui؅;/cǀTطvCwh Mm3d|v\?SÿE*i]ua(O ܟxk.X0M⟫H^ߑs甆ZXv-Ol^¼S~py3v=ڢ)lI @=hD(B̤1ty$Q `\8?68 J?ّkRFOУ5O *iI{ioor('Lo h[4,zX{)S:H֩Mn ȇA;-`aͬ (ۗpܿ0ޒ ʴz&t0],$bSGl>*!eU=dh+o^dm;k)-'7Io95䴌BfGzf[}!JM}x Ზ hs`GMN9H"ZE;4ʺ=QDい7 <"(G <<$o-͠(_V_OQT/?NJO_M #Ep2R-ɎF권 NCW^ue6j5DVX|p~"`KN$6qcaoGH4֏2 hMn _vSZ>"t ރʡmU~/H "Am1_-t+U`:"Z+v=Эս-ԥdgpZ4_g DXQW ]ꈺ? r#5=L/7UzS>çC /sjEԷ ɶQ.۫8wu"L] գM}ܨW"QCဃСMCl $hk5MhKԖzDŽ(p筌[(U_cՓqs(AnX^D~_ h%"seY*9;'ZTu2mO2+2k| bi+ۀ>m}!+D9&`2"Ԧ Kbq#K!JIOHQ>DhAj)3'2kJ oԙnI-C]Y )=\SY!CBqS !nD UT[BqPB;~iaaN>(ħve5ٮOAN6HG}YBb*XU$hUK\lȦ E;׫FP,aibftQc RS: mfnk]n!8t/(ԍke30&%q J+bI@Fg!n #|X@z´FKnvz0$3l/oV^ 4pl6% (Geۙi+ y䇄MPSi6;lNvq7EU]o I'iFcmUT4#/da2eoJX`_@`rr;DW]ɜH b9fHWH$Pwئiloҗ@4H/jox os6$ZMl1bw$|΀L:|ʊ"3y\PccU-b ZBW 5A 2kU,^5IY4,< jV%Z .*ol9uT@"B8W}\(`ڔ?[Tc2d vtR]K\^I1qϻa먶\ hϛ0SE )(_ceE7g|}1M&iwS.—"G#s+%y\侜iᬕb) NRR0FF 4Hi@ o{`[Ԍ_4%R $uCfL Ns[9)Y~ =\<Sqs&h匣/l%x Uk0jQ~h 9Do ?'Ȋw3(K+u7":GTQHĺ= `Θq ?WQd*wQiQ&j]T;E>KI As +U221C=awtki7h1YiL:jBaϱ=k[Iiΰ }hv@4X}Np-eլFUgwMn5TtO%D 4<)f|t ;)`^΀"@1GWd]ʏax`$4 pTs =t8 r:R%@? } tT Z*y3|wÚW@ Mr=Ӛ~(m5X  E`?vsUxaڲoͥ=>4Cyr,z[b{usiZT&*^Ӣg$k\4r<,4VYRtHj ‚ ET 3yNir;D8`n)U3mc~lZbzE7N#Kc]$F"FDOA^@W0Z)d nX__{ >80$Dy &RÙrb~+V vԊt2!qSmF%Sg%wg1VS7jKTyzvrL+'ox }hcJ1vxF}($ڎ1Ú疸.$*;ųT `z60?%(*HCv¼ 朰,C \QpCަH݋~I݋.8tǩ?{۶H{C*Yb^:E_g佟^Q_O* f mOQ:/`.T%g礸l.ddnq3(%j14Y R{+C?*H'a0~q=Ek"fk K{W,JESp%vk,p )X{H1C_=l: .A5DMʷC8k̨3ɧrbpQ+Q;>HuMݺq-Vd^z =2mwOuDǜERw[6LCrT'xTgZ=g?"Y>qVլnmm22nkWv]Hܐ Zc[1aM::@_n;UHⲐ+nٻM-` 5 O? R@vW(.˧".bzzAh4aM{ЭK6<Ŧ 6NPdsN]&d"F[6* u `e ekF-@dRuVw48L|96T,3j;Q,yJǞ2mV}E)ԀIGgt*l{CvPu/0zTAY gǬSΓZ_eⱈq&B7RbZxlGJ%h1ӥm3;K.vJ;hZe?}e9( *i]T!͞f_n.L6n05bһ} %$1@vHۤc-2tI]>N_||U< oGvecFͶZ8Dm#Hp^3y7̧Ui%ٵkڙGJi>;oin YCu4 [j>;1#XҨkmTПf]JXK^;Tz%Q`Uk/xĨ7.X+3%Ib>9($??ȸ*(TQA*ϮD7 /Fmcf qP3#OQd?h?skM\+"pcX5bU'?~ q"[lɰDG0 u6v _*B50͐RFǛhLha#A*G]t ۭI(JL,*bֆc4N6XjʍzR!j1JU]uNT^S9h ؃ʈ2.B翐\ 5/ g?Ǡ5q *o ?>*<]l27KIE ug$lZ32ðEw~TB<:s$L0Q #5ygnhg@p/i!^GKҀeO${xCi;rjHh-jW1F J*ܪEAOY=уu|LViX%\ru})(Q?Tȸ[||GhvJv;Z9nk;t=Չ?Cm,OW- X7}^0xqOMu9v+񃝭A{oq*eznK)^atO4$ CXC;Fm¬WPB]vWBkB3)PzCm:DS^^^N?] )>^C:]Im⻄ x%<:s}kڍ`߅s "ivp/$G` 40]FG6$&6pz*w(MNuS%'[yٱ2~Nخ-n`@XrDš'8RNԴugD8ܡ˪֧a⅀'ki|X_mXDpmha9wҡ6|6%i2ɧ=f /hj%P#]cE;hbh-sꗶLsQE]~ɹ'(t0!'yA6)5_09 7.)Nc Ǧh~#7q|T=xk^7הwVυrAFeAw uHgw H id,yT ༫~Otz"bT-;|[:jd]+oSR-BVdd~ʄŬxpۨ#D>V?{YAS,<5whAA_wmN,#T1r:sM\X0""w>~{ŝ|]\-1" 8~Sc V u7)ɍ+by͑|}8I,x1OQ'}7&咟T/B]Y6YqK%6S|FɭQ8Ex u8{&+j57L -i9Ma(G\3gCA]V{FoEb].~Fۙe!2n-Ոhyϼ\BƔC짷: =0)~$bb,@z[ D.7*BzV¿7N^4E+Υ@aYa4MbZ!E-jOf7:) H>j . BƉ/䑵S%a]-RNax{i:65 @Nf(d|fV* 5,)dhuHj~LY vBx "a! {Uc:MALr+}&]f+G+B[!8rpbg%n#C"|ZvH?e~Tؐ/ÐEF~py5z׏-Ռ+I}{.ä|+?mxX+LpZ)ѳ9,WR'ysnXUye`:B#궘SXCʓ'KvKaeL[=cY ch385u|WsmP(>'Pm f\?AagvM<%5W2De}e#5-E@- Fe )T4E8|{ĪDO_|`FTJf 9(+S_u(s@"&Jg* nWFCF?w0P~j mx[3* 0]Yf;*9Kԋ` Dh+Fy`ˉL&˴c՜ 6DzXGOZS `brdK5JƆ_ckY/^Rhɼdϔn;SӹӤ:dl,,j2bY6CFUP4:VKi~n2ʝQÅ/~*t.$'-]iW{GٰڽdxI15yDs2)&z`gETB1Wqtڌ<<ϹҾC[`-{[Mz5ޅ`ȕUwL 07ī$pLuזH瓎!+ Ӥ,^Gf>Ah:xk Ӭ=C(TUgCr ]:"$TM-@_'O8< G1M 6`4Z<B+[Y&LS)SxYZWEƤ0U;;59e=xcQxi%}`MY^|VCFNeCWЂP0؆ˇn`emߕvA׍Vlc@J$@3:y?^Pϋ0FE_h&۳Ȧ`=I8=H82yX[Bg(K(jVkd 85>L)PCooepz"?iB]BaE32v"V# =Xӷ :[(h!.RZ- ޠblVk(Ss^rюn}yEOIkCsaJ'D;S ƥ" A,1mդ{dma2!~ߒb>Y%>'I&{/LZ.0My,!(@bKQ-{7%88.[# KΩN"b|CrphUmGSo[\% T!u H+=WH?+ l6ˇ-B*kif0|>ަJ!*>%@!^]109M1l&s®#!rfKt(cnR8=;QwDQyd_'B{; @䒞`_xbKP8Ak6],TM=˸ >{ ֗MǒάZbr0Wafea`^ѫ+wIj# ?Uz*7B @Lp{ ~*|YB& gK޳d6_L~t/ǗvXl]FP`e]s][!5g8b0KN?--nEp&qitD*OG K8͠Gn!63F"I&E5!S̓mIS>mrfD.yEP]v=w߫nQֿp`iI= A irË"wc翫@rι.d-o L7[UVZ0GAEAw2FBds@[%cnIXfBV ?rC_9O~:U v?g-4 LkZnru;WEu aca]s Q'dX#ENJ- ïvI"1#+ξ̆تBS0O>B^qNφ9sZ֚xLR4[8[j@Tfc$#ʦux7Z7Sj|qr|}aA[j|&X=*~c:}a°|!SV7a5;R P0F`B*XSHVH誀w fJR.薰DzT)U.+Ef,>55#Z2jfjYdI2\1wvVϛŇDq |\X]ib<~i0!m!4k~a>1A BF Νz)T:|IɲI7`$֫Aga:&ݪ'9i-l(Rokr=5c\zI%bJ8{jaw4nοXLXحIwru8B ':7kM{h fMqE0.T7`SiPDf#P׊XA̩n Gd=<.X1;GKv7/ed1",&bw>1'd#ro|B=">" r[Xt\ݠsC|LٺU|9Z2_N(hcuM},A¼ĿE^'7K^Y =|eP7#s닧>e"5 vyAu wxwy 9菓zd F.왋EnSzpTt;OծEDU95NM9zȘx'oc9="TL1F)X cױ [xc/KWMnX3 2jY{hq!0u>%i,7*9+Yd\vҷ耄[:۝S)Il ==oJL۝ NCSx~ 'BrOH%._x$E }r uŕ@x{Vsh2uY6(n5RK㙤QNxѮ`Ѱ|VV$ˣk Დ4ԫu8Bad[l7ť2toV<':\$3St^xS 3%h^`]JGWמ\LR-uV-i'z/ҒVKA;U:nOXJs@dnU=]Z=k'Z_5]ROWC?+HoHzpgy^a( d.Ҧ]ybs)^)JaQK"ӁFgYZ89dbb0a3fe8f6f42ab0991ad95ab83ccdc61bfd4767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 92ef373a64580ecb4bde23c0b3778cdaf7f43c9f bf54b744797d34c7e4e36c060c1a4c82c302f095 3041d4407bf0e437c06d41e2359cc4899669196b 87ed9995cdf30bf3a8a68f0e892decce2caaba12 0fa08f206401bb48421623506df47d3e0d0920bf 27aacd0ab2efe234d847d2e6713f372a16747a69 4694155854d8dd5315871aa411b818e67c9a7d06 f0156dc1028d9056f499d0dcf5e4a7a069df6f3d3546eacf3508e313a285b1673467a2f471a7fd6e