SQLite format 3@ 8- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 5 T ; HOL-Nominal-Examples:threads=6elapsed=367.730cpu=1382.140gc=124.036factor=3.767zXZִF! ,x]ŗXf1-q恈ބԍW_8Fa/G`|X&9围P X;ٵX9ʀu2&jrfUh P-ktm@sӽv`~⤻Km*! -}ANM*>Vxap"& ܶ~ #ĎW]Q~肹x:kze|ZgJP;nxϓ.'FI$elfkXS澋^,Ͼc㹄;=̝)46y3;o}UYycfH@(HCJDeZU¦cp<1Fb/sI ]LIFrdUyy|yf0 ]ݻ5s,IwzEaN.,f+vP1V'>V (D*M Fw}C>д 5 HOL-Nominal-Examplesinl!ioKFň$@+FM+2ꮳOR@Q U55߶p-SW`-:+},$TrnJwQGѽyoKz, 1{Ki.R~3LX4\;cw8s. )tg3,k(FZ*t Wg$NK`P)b;ْj!sӢ|;EZ[4dT4ɟy  8[%"%ZҀљ[v Ӏ`3U1 t& .?c .CihbH˖ଙ#>DcѕGd KބWZ^LC|N@-hc~"8.@yvb^ї~y?<_s!b($(u@J( M eQt|C@lم떺huK ͞0 Zl4@UH>="J2t~4Mwd3 $tLqNʩDi}_iTw^}WJO.sȕӶXPU 鬕xi嵚xy 2C*_F՞/ùkmH-ޭ^O\R.iױp{ԯl΄ԾD $Ή pF(C}PDJĈNJ;NT}8̈l2!*uAPyWV܃:;\O!H.}h |L0cb5PA>[ y}>mx{|9@`ýp*i`Tj6KG~qCZ.G2#W#E=m.u߼pqDlPr0;A]xR!XɅe@<%'~o'#ll 1ab* !M]4Ik!`0⅒՞+za˂" Z%Qg[^y =rpN4uww?F} (^6;*]3pe!| 1-&Aw?^m凖WynCSL-ۘYsH{/ފv[ƺIp>j<ũ%M)T~,,!j'uidcA[!zxW6_ ֩g^@;8;~򯨛b0ei7 N:ngP{:y7ʮ6'9r!wT&@w(bLA)qbxYĞ+\ hUSs͇Oyoy\^K(э ẺL3lA|YK:B8/> ,W~ ͨ O;%~b}O_ۺ?G4nׯ8vJsH~}_vAS͑H< 2*[WD>ڶ[` nRh ON|tDX䱩Pp%>nӦB.ʍlݤ%awtf{L}2- 3JѷwQ_tLѸ.,hf,uX ub1Ղjffp4 s )hߡcBл fBnA䎄Op:W8,bt{ ĮæZA$ij5fx>Wǿ":ߒnAig66hߏ1XPCާ]>rgҥ 7Kᢿ#-~}j SIՎB.Y{N޼mD%[P#_mKr4Os[&H*Ie+#͇C s+)Uth޸I^El=7n䟼[x듏3]N~? J* ĨYafKEGKB2=h*&ϠÂuX]r0g ]S/3u%0Yg|㹔ǨYb6>OF!6^Lk/.X D臗~-x_9snx@ 5 -h vbKdLSW1Zl;[*ȩ,R-ן[lj\=&ؚ j}2A6;`.%MfGE1?KS}[<ʸŽu(kX:O) J/6ipSܡ\KHn݋]'* ZiЪЫ-˴Lg/eɺbA=y(d}RbN#|dKpn*Ӈ` E 4[wd~n]e SCs[bAJ)^&{0(_I0T+,$* uzq18ʩ&E'E9HcuHfi.XdA# ˜o =8*ɕ!_PvJ=^\N]}t:u?!Edʩ[BT&{k6 c%>:4`Ptޮ " uĘf0.y2N ^yRIJ`n7Ҭ7G0+u[#)E^UΜ]iN,]|oVYٰ0pSVȰ;A,^ر ~i|Fq n:}cML[v4fl}m3Ϝ&wDPңiQPCBMl8=zpDFp8-E!t\DR;TJwCбjʉcy@q OQ^6'\lpDu b5N!/gu,3I"8!$ji•t"}_S)14wOΏT.}MΓFwjWv/ {$rNckf4JI˹Iկ+!ųHZыgQ_=wqUbnlC g#ja6hG \F cJ4¾f:m? ,2Ҽo$R,>LL 1vgKuKA;mc.RQ="BL G%zZ쨤X{.Rzi2em4 uHd_\iELaKF,8MK::ogCh!A:329sn-[$$gM2_yP+1K[XRv(FlMR@=~IWG*a 8iz9?~Af)Xb|QZYuʆ\WZ.Ǻ&ݶt~g󙟷irL 1d!紨:5iV.lMAQ`!'q_*46Y1uC|ۯ)YʘjR5XN2l5s* ֆϞOb% NJpqQbs}{e~Fjn*sM(!bJ v &L^q =`6 GPቌ<<*" h; olmBˑ 'Atnq.Kq '=4K0)DdůIP/zgIɭE|7فQe(<' |fHtPQè"!#H$)'ml َK9dw:.؃zϦ3f0fMA:7gUpmfٕXs}mR+UwQ=0vd"`?{?Ϙk؜(.$]0aR7H߮JϠ+cq؍+ Sb?BV_}8%pn$Jd 5)!KVbnDڨvia#,\'gs*l8$~Z[T08u|W#2xnSAa4 -Z(L^$_w'bEk"4)C̥r9I ziIڑ&+^W?^ QЏnxrbVJsgYվ`T).Zi}|LJ豉e+p5V\zUj: 2UYqQ*?Ot8/7W/)G@s!q-:sdIdZ[+;Vp5"S `Y 1qmTXO|lWoHCP4ꦧy) &Ҷu? ;/fBEȇ\Bθ[ӫŞ4';"lE vh?3ª D 0]':F |v }b=b舥vJ|-0ߕlj nHD2xF@u3^8SltW""Я`;jVDaG$lkT[l(Nb'^A% s*Q<?s͏msV ss׌ Xʴ֠1hq4q` Z,ψ|+-~C''DYKriw{=# )aI9 -]x`&#G݆Z*[nc;h'WKx %''ƃ 5 =Qiq¤;y{yBO*h8p[;d/Mm{#>aA&vI8-&2tdpiu'\a7paqX6ZPG}D9y,di\]n۸뼔o߹^O1~'jaq 0 eb:XXTS4U*"R7nq9oăچb9S_!;<Ln+E{6awiN5k!M?![^PYV!8?WCF~r€Hr3eO^>9UzrۛVv\#u@ǃp^3) JˀzK|3y,m3}+ګFBGfT0pE:+a 3Clv5up0ӆ$Fepg`-]AbDtcyBy56h1S&CBXJ%}wy]FAz(=X00c(Ox˄0?}`XF$=p.ހ'Ty,X3CK5?LZ23+Z n߇yb+NdBTDI{@oA-nWnbmϨEFQ.fT%1O1 "Epb KM$pR; =?'TAs/VjnESs:F ZTcI `4R5-(][^mku-}v%Q.EdtiPCy}6NM.KF ﹎z W BbAT}$vmb@>צ=a\͓Kq_aEXo= vG! -gpP'u 3O4yS/1{WdffҿGSǯ`,8b: !/2n Sok RQk 2_սeҺCQ5yzm&d ^}k#LͲ*{}Fpľ5ƌ7%+KHLs#qCUS]g8ӝc.|#k>(p+&̒4#Ia91 ߅ٟngD_p#Bhr)=N`g8dAz0w:5q~r#@.nhGOl`iN<ݛFEوz15>Eq Tܟ&Avr/# fTK'朢t^ ؃lس#O08$kQ qT_Iud JTגSMfmqkuҴ%L*-p ĊDv^dzf*2!`8)M;Mt3R $M]ˀ^nċ+*QӚ) }d FUߙ )}QPщyWx-Mᝩ1Saur>1>J6]AFBߖE*"oY5Cmqnd zXPa.Wrȝ+u6B7J=H+s1#"9" ^YM/!@R YrYM4ؘ񘗾j qv>bS~"F5~B{慃 Ϗ@Ŋvڞٶ6mBLY )= DfP ([%w2,Ɣj:mxkAjQ -R2(g〴_i,tb!'0Y/5''65]#OL7:V٪mWJZP*fh]hes/qwnTcq`jQ#t$`pW.jݠZ}%lu wu̙%c>lF)S <קiU&cNaPgL\\!1HbYշ{qT4D{f3i^ <]REf$w\q~ExH w }d$a , O7˩TZ 4եǫPV.2^AbuS[eCR.,<ܑ݇Z)量=ܭ_ 6 L f@ޕ- O[cnʼnrq#U.= ЕlyEw!}ëb٧1HS&= YAt&6;~Ⲛ7搯/6rg o;^ A[yG;=-VT{eL}X< 0/̀":ۅ)/Ĕv_Q*7j>*NDaQ{ݧp|T %E}t)2vJcս&Z&h\6dA*8< o[v l2):}s 'PAV}b/_H2Vb'r!ZJER4Z %ڬZYlZ `M 39'FW)T/,`%An _J&PAhrʥx:owUz@>Bޜ*!=e!$܂rf` BS&1(Bj+#_ o%ξ͙|cA{xDqcւL"58BND~H% ՜BԕRFߌ9^rיdXn-v&#nPEM,|\jvhvvh/o _>^,;6¬̗G"Rو^ U¢5 Fơj[ ҧ01?6xTwI%+5:&tXky0_5I>/Fݷτ#yf7mpI߬) $V|C9nٵĝRQbEyT̉ 7vUͽg oQ*;cQ)jS&llCIQ#å#cŅ%T5ӐyzpOt-7Jr@rnXiƇ+Kaar-I/x02H8ٻe}v61Hb~=0;nn3T3]YD\&ǨT|11/(9x~_k 7kơM6?X)Q"o SabFLZiEj |S'cLA;^<+2e)Aů &sL4|,~`gyZ=_Q5(0JUBb\Q\.@?#A Y&!]v߷D,Xa o > F %-L#VCWG%`y+Zo!)lY3kp??>>㽬 T[FTv?KWLqû!:7 GAcWph ~y_F^k#XqF1ȼ}B=D۰Xjy*Pۧk%TEž˦&')>P~ cln [*OFE2\UPr-%x_ylZ\nҝH_go6RA4 y՞ڥ;.Ԇ c߳Q}AѰuC\n٭3ťJXĶa uMprv|^Y7~٢]4 .( ypr f?6]9 ac1ĩq >zu?)IBچIϚ,L5ٚ(\&(3pfhVo:Wz'ySKϿZ  i{z2, G-O6mh /-C.--=ٝ&өlZS_ʨ=YbŋC q <;jSJjv;%*3$dOJB1g02xy`*Hw(H~[O$K$[Ȣ0sPlہlhq*pWp>Q AGSRބfA) (9hd}6QBhvWɤHSƈ9AgZp["E$X lOHI!;qin_h!N_MS&N@D$J7-g0T(D,0_t @Әud1i.ˑU H4jrY"ݫqjM g@Dp%Z+Ui`RoSW4-ODVy qē߷ݗ>'N$L2XaVT3ټD&Uc߻&hsg#~@ܭߔ03[*ʀ+TJ2~s[!t :!G+ϥ۬QSqWFnȓEJ~Iʐ!gХ67c{cYfGbkC#Q]Vot <~8 %xvWα-Dmdރ0I v#!bm⥙LsyZʘ~+*a8oǰQd9b%\*4 R3tWgF!3ob0%Cړr/;:NI?VL^YHH& dp@_܌;'K@%ӳ`0؄Ǥ9~OٮIi=ܦf c]zlʔZ9q1%+gU8Ʉ&;q%n5 2V7EpYIKYSME"dλߓ룜3%lQѹz[pw&$< $by ލKIb Rv| ݦr>Ev.MSsʌ4"Bpfʹ*xPwze&tyc|סZjutUl(|8"uS.G~vށ=<[i9fnrˬJt1tl")B31xMRJu#yY!5$mАSB-ҼNĈ{JPӰ(i-ϴ|Unp\}P!yAhb:(yetΫ7qM37ewՅS8j5K [ph%nab.(/ %ZkH^oY%JD/FLJ3q"):L2~DZP0cu>䞩Mӌi# 2cO}($#?= gߖo-ZJ*tVQp1:@X(p 6Ue) Td̶} z`iSliٰ FvQ.Lk'"_E $UcO>v F%L űP35r4$ ,"I3qcDI +?,q"wG\M`g+v2`bnag_J~ڒ#fh,+>Εv9XF;U64?G0sK׺Xu9ݧ5G_pKym`\˟:=o-Ưq ʡA㭃f#@#4NR *ҳ3,ZWf|ܮ sБdo]?w (P+ڠ./  .u QPc\/u1"W7IEPFț9m(dAp:l 2\s%Fhҕrv1&".9<8mIR:d*DDh?b r5s=Ir :~PX1UEԉ*hӻ˕QU&:ܖ ;gL5C ()G6rzk6e}7F'{C.R8Qr(a rh+m2bɼE#2ISX 1.\oN”Y t@L(x4x~ ט,,afC忷h<UD:aZoyRCLcR(Ù=#y{KNZőzÜ{)vf9IQL$̧ ݵÄ8* vp#)2n}M_ +WYI?EJorTZOaqFglͧMbbw A Iŷܪ:}6R`yȧr w"j56θ@F >wO/AGz!ƶh&1'b8N js+oh$ Υɢ C/*ka_.Ј5MW@vRtl!Z>gׂ8|Ψ^(m08kW9ҍh.>8lJ!k,(aNxsv,܆ȱ)_:mܽ1pJnD:mt*GZCWU2W>..s/C'jmԛq03-aipabw^,=ƀ<ߋ&5+U!MKoo3U߈W| z#!A}!hR7GUԌmK^^uil('?<.-DB,'Wn*5š=,[˝ԓqq2j]15}ph"E /'TD ݕU-k'y!FuKrg% )h!.cQXb,tjJV}us0̗g=G$^n52S>t[+K@MVyfWDϻ!SQ:bߦ?lM8jG,}H`gjSȠ$ѐbv]8=6uPA9ď6\^w\g1liaM&ny|RZŒ$H2CTOaz}\$2P] |3ѝH=zh{r훑<ˢ؂=:X=J?im3l|"81qOe/#&qWQ 6 #/W^ Ϛ9TdI1u?n^EěaS,l0)V+'3` ~x'L柩 ~ޡ(]ÈDjt%ӿ?b *GoR` 7լ8I7^\x5WEѨ$P)B2& }_MTx!wbO7`Frz?CM>X ih ^;w{{SC϶``hxLr4LeGA]{Pun4H9%8`D?Ea:gƽF6a9,\ƍ 9Jwø){\>7K1-l9@[?AvPN~dԋX濺 ICKN>,Ns ̰>S_1"Xلi>Yi#YiZC([3KpI5cʸ9[ |lw kLR_k *]iͫ :^{lx~`Cu[6Hb.ѦRUw@f&bVe ea\`}v-0>Kz7z:NiEz= iVm>ljR+GgRѱlI~=HxANM.C.<ˆ:`,)'8YjuQ؛!ƅF|; E h|9VΥ.>,Ƨ;E8fx]v(S987Maܘ1IЖhńLc"N Q9uIl j@mt1 ~ g:Չ r=v%Bώ`:3Nf2l|KPn W׍ecƺ95N8֭IPra :$~|&'6OQ CSh>n[ZkP3$QBGL˧f/,U,n6>h  Î0 IilllNER#rθxr,[781r')T W1ɰ[z#"u56bI5 ucu9k( 0@ mO-ɋN'=% ^Ss'pkV??]FZAdc~l/fRWL]&- XQEs?-xc'x!ٴL"Ͱ)5^Ay!>9G>s"2uEM]d|=]/帮2(/g'Dt=aG JCdw/ݩ mӗ`/[ˠ$]x ]tQv+ sF_!IbZ!e\nDc|;10Ŧ `%k_# ;F&1NPas.D*#/f5j Vl *E\nBp5NRmq|nz1\wDE4sTI_khnC XI>$@F@Tw9u؀rOG[hvBјD}71b?blG1 P[p\/N"KDI KRF€rWڴ ^86!\Iv$ Z$=,So*PR3/'Ѵ\M:DT%t`/=ZԱM.gX# uoŰMʯx+Χ-׮_yF& F(5jv1%3.0.To qZn) ?Ry0<͉MM ޘjYr JD1A&u!U/sY9=9=ʑm㶬 @QW5󥾅,[Q ?OeG Y4b#W:*W3cka|%6 nץcnV6K+Jb{'?+~($XJ|Z}EѲKn(oӒi_zGzY[nί2kԟxx 6=)ĺxZ)J1/q|ObUэbh b'ίYt1 )mn#ܸs"j؂  ʹbq홪Uo`Q 0SļDYCQ4%a2׊nCEFklMY_IתY̓J/J^|x:\PG$H7Mz%NJ,u&TWzulgdBn)$ r4ɛ!}Yk-NW4HCaEsz-1o IӮs1ǁx=hêa'5&>>邅ՇoBݥWy~nKphqGv^@8rk # .q)RgQ?1(x>B3WJ>rieXIE&W %uOv}NB[`$\: BʞVv/< G=åضLl_4Uo'()4yVGD4Ͼ-@<`kt+}/9?kNλ{`kuYtGݐ^RoYo-#,?:$j3p?sDX0w,^[,-QQHouy /P/0*_EgP|#Ǖ cpRij{=$)95:_ =EpIcjX!ŷTqKkq+@Ə W@IϺd2۽`i1Li|M+~=:˚̮bhm#KBK@|\&Ƈͧ+Oӻ~ۉGZ)ڇr5x-KSC5sE\OQATN~sL?MF ?Z6oP;l T9kq4-[W\z4U.]gOe'Ξ50ؐg&ozq0GӚ7TAzd $$]J&XZ001V<쟍Sؿ si"7CleP"F*3 oP|p-7cpXqpajO1bB'o5$>P*PWڬAquRGyݽ[VR_D7xg*_|-w i;s%,cӃST"hPcY*TO٬I9e3O(8xOqˉUhJ@'sȝ7$VGgwPё|c(&".Wi|BNEg3- TU = )_\}`y9bLYG141)Q.$9xJ~ףmOdPƝoZ1{oזNc?-4V=Pe_BVj }k|Q֨"[C U`e 2%`PFt牃Er&G:OPC8D@~/5w'9 F("Sہ 4n2"%'͎vM aTZ[mljD&g)e&e!S` Wv4b5IVZL+} `3EEp`\5R)E@j~8;|pa$c*&2:CL$OXM>2H [n$/~eJi\n dok 찳|›+Nx~I{mM.WӖ}6 Vgb)y=NB$쏟}5,\P63 F_4}d; wkpq]!5>zu/Y@h}ZsǓgۋ@.=EQA~Ly$ծ蜰ңq8@L'g|ﮦ$G{HQ!&߱%*,r`XGb?OZ9,@.DY&Ce,6ⵉ ybPq!h3?8KHWK!MZY?Dd.lg6 KF~g5qJ ԝdrz?X+=k!$ C\1ѶFͷpظ`wj!?8/[Pq+iYz.d $TӃ=rlů--X1֑Hh(;Z#GUG"=O棔_BRj"ڇiX/ݹЈD@Ucec ~qC/DxMxc(NAKSWۆɹc>AQG,E gD'JK"u%EU_2l_]x䰔Owoq1 B> Qheα9YT}7Vps-3-&N $撓XrETp;v(HfI3wH-Wz->-*Ȅbw2)-$"Ko*6 6Jev&b**#[>9*9ڪ*9i}3OFp|ٝ޶J\uZŭͱ/j j1JE]CyjfgH 8q^ڭH6(9RȪwĜZM=yP~ؿ)sJgC-H,ԾO>B풸~S3Blu"g̬`, n7j9Nphz@n/G)E&[MYoQ}=_Oqf 8Z8x 9 R8Ia{0":SYJ12LJxÖok崗,J1ݼ|i@_ 3ά6of2@;i9B=j!̅Lz'H="gqb(n)J?jkC? }ot&8b *'  ֆшE0O*@px_bu@ЌWe>PVaSs֭~|;}jW|?o ~H:9z}*=fKrɯJZ?Ax*OU4z~4U E9?" ec\F:bH4 ~K!DZ@.7"-8-ϛnxgbDn;g6GC2>3vaxkpQq:[rm8y48ǺW]s)<DR y@N Ԗh cc=54y%Wh)շ;bYB_]NSz*:^ABlI3ѧ.fآBSbH@ A䁝ǶyεPT6 Ju5RpYaEs.4/h+$0pUYNgOia7?3.Gּ}v$  d%k]XcM!`/GÓŇWOzLn&=Iym- .0eg"3ߘЀ _I L`|{P*љ `~8^V>BVJ gjѠi ,|ǮOnn9W/N!EgN˚LN+>%za_>瞕#lL1r#ĥbӋlӉl0'1F #%\A-ר:"+ckQS,b0pd AYgL*(90y5+#2" "tToLcgY"WE^YWQAJ Kj/bVwx/>Kwmx1':4efD啩BTE9C7]1{X IzYk&(wՇi?t|11tLv+ܕ@D7CѸ83UPv -X'Dx$g% O!O~1b$IsďڭIv_7mRM{@Q".ЊNєͣ*"K=i*(ǘoXz{w x=?f56KI16 `J#2/,Hnl 3 _M3>-:D8Ŵ(įJ=N-YM婃-*]I 2͏kCO 5-]]t1ҕB[v{هڀRn>4[0(6So;$'3̷a_CSYKR섲60(`fxa g"cf[ 3藪9UU4&sRLK|R}yYlT-Qr\X":&FO: #nHls u1< ? ۏ|M(҂/D`*Œu>+7 $*5vBis!Ay>Ze) 4G55`;p$ltPe>Yj(/xz`347NS\x8‹}ϢRA;zȾU]J1?6v\_ ^JsKxD/&L\v ~QҷL ''xPJBq%Wc="rsJ] y?4l-] X" -Cok+v!mj5 c, QCf@\T_Pi[yMpuTS*Wfp0T!g0cYA`ܱvѬ)9m,N1Qg5WgMЂr:: DQj.۾׽Z\Y9cH2++֔Ἦ?\;1f)cf+Z;uގ%dܫ%^X"dp3hԀ?L#sH|LiЕ>xfӳjaލoPqo[:i1 &E)Sd XܒEwM=4W6efĪ07r87*++x}41 p.5.(iWh@G[ѷ<*}jT7;I7pÍρ!g>Sɪ@-5Fm$=L7 7eP~U>O;]P{)}Ja [gгEV9}1.j2dzg6AoèoI kaUT79<[$KZv6fx6b Y4HZV~u$:Ÿ|MfdxeTJ=ne8wK 2h~KhfyPX!B֢8y.#_|pʃ)2 Zy\x0d %@G0 HbׯG‡*B%3o!rzoڸ]N2nqgxQ ;^ȮQ6f(W 9RmL $.s @W.K]}W^sm([?d'x6NN:?@oRAs_w@YQ&"|k$Mzj l_ǶF JJGGC ڊmV}?d~ {yۧvqCwc2VJcGt*%f4:#n$|1Vk/)B/Çw3{*YTHe Tݯ6Ɖ('zŏsMe1|MGl6faW L>(U@hJX=.ljs;m6.79 be"'B:GfLݸ$' KRBA#N+io~R9)Lj@#;j=}~ۭZiKr.~qmz09“P>/hetm,Lk}ud>a<xK8ifZa(q1=Rv蔷([9Pb:sNTi-~on#'`R8w"q?247d]W$Y19_&iɺ:g L h5;۪ ;1cP0g?`3wK+)D ߲@CYVOq2)EA4HW4pUHCܨ96/納zžMf6ž/Rq雕BVTqMm`}ZQ~@1S5_ Sk k{6Tt{/BWpjrgk༕<< XǮK c]yy2 s9=_>r`5m9mm\BeR Pl3huYF Fb6.6`hI@Nf )C|1>'>M#-kg3 |'RNI\ Q5VֵZzK'vQ8k/WPȧwTD ݄?0Q[czţ2# ΀Z))9J$QRK w.΁uε4p{lzo݅WI}0QsǢv 0=2X\7|jsм΂>F2W3s22S `%ԃMXmD_C`lnNFW2j@qzӃY7t:ԐD§eY@ _]V!_qdt!|m9//)}Y\xt<3)FtiNl3GзX5vPF$RYVB {Jl^Y2_;;Qi;-2,5@K?@Kk 踗r֏]ΛsHۀ j 8<^M4Ou_fVlf0 gv~(ʑnX]B -m;Gq)V/qݡja|I/=45~W1O+6a/370ץȘ7|R CwY2Fdg]wexއp+q?x*M?'.\'M`pŽt IbUSd GyїD`s 3')Yo6NisrXUGQfwuűxt HH"ySt[D=E3ZȜ|w&4NgGH.tѫ(p1> ?y1QHjץ; bL;ZڎGLUrSᣮBʮiKx][^?ҪW)a&6rx6$ Ȏ bV}Jhڃ>5 M}r!5y !t˥0oD0hAX&S}֬őc)Ju/ ,YB^4`V#"fƽh ÒB㯶d|. aox?'aIo @)kb)d;2pƳ>`F.@9B§{F|('}5̄Fw"6_fK9㿢 KoVs!GҞn"=[S*@&(%֖>k3*D67,;A/|;0rfrL%[VoDY!OUdWJ06"Q9 QˡĮ=r+6Oњ 5z^G wpL:['x"0Omu,_ 7 qc[0.1yqE}cBTp % 9m˛++רq4 w>mf|P{N'EMfiꐝzv+FmO ej,1kFk4j2\|X?CtPѐ279E^6܁n)dvˍCڊBI>!EA?М cku+à8P? =a+JzK-GFVp[}/&"IHgҖssT@>d1VfgUbq[:?ہ lq}s Ttv"P`=q!mJY$h$YΥ.Zc:]tN:bh*riG骚U=+6cfn0 ?e.ӂ:s[{rl$yInؽe4iTX[{@&*k [qHg?smq1FMnW dsx?4(4W[ ]f,]3"!^idÖDrEݵK7ƿͦe,BV-2= F'$cx_f*LI'dcg`-Q7Q/Xn=bc|Vq.f!rVnnF[C*$80'ϬΡQۘNPQIJ V۴TcGB8j8Aڛ|UxcX>wg"L=SdI/-rqj_u[F!gTS@KE͗9M n HrXE7ƛF"Rs1W,|xh,mvIgYZ7zXZִF! Wb]ŗXi%UNJsY>'Me'+6gɯ #/ZP$N@X!-T)p%p9k / eHն0?u{ez Ҩv+"LT,5_?lG?0̀3"R37\#[2AW(}6 ;`!'"ֆċ1oN]d,Sl"1aʷNh*l_JV;Dre  o7w nyY肞dȜY7Gʅul-oVjTMn.cM { 3꣣AvU,w|[6+ ba["FBϳW&A$Ug@)1L8K};5L Yk}RIw%*‹F>ôJP@Ȫ\(yjyd ᦭[`z.Dn<|^s?_orVݣ&B-IAce-l_=u|<R@:(Xj _d{C,FUYCu^I_GS׽m$!%7AL`E -t&.!js3| RՀW}cT1M=›hp _ӓ^AF+OfguenMaHx/IUe %u|&1xCJg/92ы|=7Oס'Ԟ( S Y[e)+2" #Gٶ 1='HR=Z^-e!/_hcŋ:o/ 2W\ʺPQV%ׄÃŅ /tъׯFc.ZHJ1qa]wP 7qflp]&[gU^G'CŴ G$٧b`y1z*ztN.D욡ڍP_0|O߈~X0Y4pDyA~R"YJ{J6J;#/wR5ܓ@YH_NA :8iwhG9@pB~>ĸ".y`zNYNUNmco)A] N!su !1u@tco;rBam iFHNgGgQZZVQgoؑ}S7cTnDp%^>XnZ!ҍd3Liz͑E|E.@+b*7Y  @Xo;Nu?sV+bi]jc5<^QXMlY3%W_7߭SHAM:֎ʻqMriRPg 61/Jt+Q[~.%ri:L1^zf <:-f9yא Oi-0Q[c*td`n@DŽ{#|_`|/d>$LmKQgbv]kyMO;(ݽ-ZW)`a7]Y)\eY\Xf(]Tsw0V+nqj5L)fMc0mcCAP v]J!aF.z@VcĥX&b:˻a<*Kee[-)zZQ;H< g6RZhe:/ E#՜bO*XJGe -oUw?E!|&A"\jPr-5D?Gv_1|f4sъHskSA!|TL|TSZkTזVd$O3H䓉bo&<9z6NlSpJL 1KmDt]nͅ hB7#l'= {gf8hQng3b&CbMWx| $mRßu圝Ӭ{C7_N'>nҗ|{}C-V^ffw=YͯPM#nT9 g}^8Lr='w%7IXg:Z +GCy* =^T}/IawM+^ƥwsMxH7)V@of5~QZf E՞|(}=?T6)ًTRWUq<~"Nw ?n|*p@ُ1-m L}SS22P ha*nFȊDRe7 9ʢ8c(r΃~}U]uULlQE:AJHs&{vԣL7k^΁prLmJH/x^4EnT")*YC3nuyDT5k+WHgRTI2gzAAsL,At>GQX,!ˍH LwFZE ԭK zB]IJ_5VW,~ު4eu@PU{VTe>݂Wdu DڡظqE#`4 >~5=6-ΏkcP ZS HQKf*S,뻶¿o8aƈ|/>Oɪbeӎ)'hEd@΁< (1 j0(ܚɦk|f@\|m|#F59ct9RY4|/⏥nbjg^:#^ tܫ_'e`qnaD4#4J̓T1k_<6ܤL_e0/ t_⁹kcP@iQ<}fb(؊Yȉk/Hnxu r\OkL8Peɏj 7RP`x̼nyo<\<`a@]VoD' /;hS#FpDS4cL7͌UZL#9 Dֱ`g 㙸twЙ r.\hɁ7?RS$fO x>zeQu^yN+?&=Q9PtZ1s6^9B73"Jv 0 I+KBqT>~HaY(8TxĈ&D*Ί;8@E=z2Oڊ(km@ʂ6M=yS@U;+R?蜰wBLh{ = Uf#L_IAEc']Ь/`E]<ã6ZO}83`?EՀy 8hALpgLiX3:WߑD_nrI8Ä{}qH&<خ3" YOr>>PBl0*\oCՌ,?'MkOdIPVaMxisQHUǴަ + 򹢟rzEL ^19_YB4amB$nZ='Vn?+F-bޤ/sqĒq//a]K$[ h-βfJb29rM(S T~NHp*9,ͶT;#!kNk@Y @+MZ>e,~6Im"ԁDlljʙiZ8sDXx0;Y\Q6s1jOhΩ,sE [FKy!S ΜmTGLw226Ȍe|F6r@IKݽEp ŝؤ 3M-ex|FeOTB5D '+@DwoC$sD~,BYeK^ILN/ G]^3]ZAЭXv2`Kp]' r ɾ>dR}^}ڸ" 6.H!Ϧ򍾇QN B<JWhf`h:+F3 aM+ /ӯ]wO7 %nUa|>8!@' LZdpeu=Z8IPXwIq).SyuH0z05Jrp{Gh\7'࿵{Ol"RP W@Qa7 B] a<) dbAm8 y}8s$͈fɈE,uM,lP)`l)&*NᐢU~~ PI$-NJVL3{L$8'>d F#ƽK 0g΁M*~fO8dOK'r/RYjrń4T$O9pzW`_>7-zW< x`K}ɬEb7B Vekti:g239UpRwP=ܼ(OkcޑdF'h<'=k+>zPyڍFT'ຂ/N"%.t4bl1x;Z0 ( X#A4(s_-3噅gr֫$L71:38:&`rmGjت I4 p7&O+ֶfq p-w|m/F'!7m @A-UԚ>=Ճ{Jq! C.VateWX{w^@:U[.KEFYQ<=:*# }I3* d/:bZu /[$00~BVD gL:g\3J)6vCZ6A Z8B0vxU!SK8r;&{kaӝ`(?T_Ͼ2)& D}*Ώmcaq4p2U]P2g)0U\P|Rk=*W(-ft$R] >r* dja\ eÓ?21UЈUM3^t_K,d/ՆMh̖n|֊GR7+x0!s--=@/'%F=xO*-CD%Jik>QP%&,pyҀ=Fdr_Uݪ(X<yS+- [)m͑(7ryIl/kH3]sE%_.KuOJ.I5ߣ: EȚ23^r`MpuKP|l٥]㈑sMIYsɈvL^ wW1a8DP;Ze~x ͛;uJ3Sizq[i^J3b{E-K5IPҟF^{RnHP?IL-$Cs-&ۨ爉كѺIM+;Z.'#3cv^ _ FI[szjSW'v/E#a g C5>XFü'啅gBRr>Z'f!ZV0T$;\1~q1iA@u}@{X A * a5}fA2+uJ3sNF8{RCbyx]Ќwvu2 E"wAókato@XE}\LsUoSU~rVcUS*2 f8Mu'<6,Ε (c~xVg†6 euXp,Vj\K;"w11HD2H(@)e5FmW+^-UKN<8|ڬ9j =t_?GTMN ˴XJ.'fPx)L>spG@ߏg'M K;Swԉ/ נ3# P~ |-DSq,dԋ d2+@fJ'ǵGDHQh&B\pJSlnɎU[dȓM`j5>% B.JYfQ㒁9xDcY`djQ_ݶ#kY6l.j& Y)OԍZHRw5Hj5.wS~\AˉkɇHd ;C cv\_2O _u*PbB*<#`S xfq &.?wm4j\xL]CDYAr1AefC"@0'SjaHge}1vLEn!.SnX;6=lFOŲϵ FELy7L|e`!BA3`G)όS g2cl2Kfn3n.k]IZ0O:2v%5oC~WwĽK&0#훦ͳx@JK*B[i:WNGc.2o4腻Mߑ@ٕw>78g ͗ љ5ڏ=qCBM:F['l?p{v/1S77%cS+"Q [(59OfoF=fSB-hI.Bݢ̕M3{s^/9Xh̗͍&}MOp_A%݅I?GʂsAnVLGR G?\}.!hD' aNvxZ?[LU'8u`X wN.4)uu7;ۊ/mb9#:~~NQ`g:ҾR{8{ Bz὎[.~Ed᜷i} R='Ng!d)@s4]wQ̏5) -˜TŘDҦ1z$ĭ~(P,|a, TSej-s}i@' 8D.$֠HZlո['DR|ZI[R%ެAhQdEu3];T$B-]6j?X(ʆ/TB[R<*Vt-m4$1r+,d0L"R,lʀP'|NVm0*䊃<ytؿ_HsRdH1BɭW >e'g0\dyeumV٘G6K{O9%DA61]23IȀxs?gx$ձa&Bܩ -AJh`G rgi>"(r7ۦV4g揆bO]6=0V\DZ_ӧ3,x ]Hb*dARhR~A3S M^v[ H,U4b~ύ;n"-ዖe-AM^:]QFLyIeM͢>iy*q^<.2f*i,}6_w<]#)־M{[nxO9V_@`޷&vZp Hp.?t;Xà|u`eBö vENd<IJ\̃ED&(ߌ ޝ$HBL*"g)U;V쀗?ӳSBC^sω'5)8>1Ps"1èd꥝t(Z,AM<oSI&vZ=`Ϋ;p&*r=T v]sp@0(oN!+֐:lI ͩFVbVc69˻%S},ak{1@2ha2NO 7{61 Gv!Zj(rjմ H R3MJn^xѡbr/hQTX rMbkL~Z6 s>R6>mlozažZ43N ාduWE•t X)޼ ^tm 4ܞʴPkrIIoO-י+{䨇Z$,a3 քcA!= k1tUO۝! ƺixoZ岈 w S7 7j!3AuCN5[%iiT-w !mF 057_Վb.QiˡrR}9\Z&T!; R;Ī;N|8l eqs[<*h-PZtnjP@#w--, եBM庎kyje89KN)Z UWQa#V]PҴhj r jn8IovCb&K^NKUq/)u8JNZcM&|6i$v 2Oxv8eev`{KP 1(OC<jU0:͵@LΑv/)‰rt6B}!IIO.UqZbWG-?S`|@[,m~Ǧn9PM7U}>JmWN=А&:S1通=Wr-Ua?ZoN0K kgtn3BXDw60(,bLִD]Wّ{Vx nnu%1D4sBc@ i)#RvM4ѥA+|gP,ɑ;$_jyd'ty DT 9*{_#b+"_n#IhR} w"+U!6`7_Y ;$&Sfu07= mPcZB)IrF|IȱGt?Y''UE)}reAў4. Wm7Bl*H/L7KqGS P|?{RϘct^Yq򪋵&Tf$u-cpL,kT+scӻ/pޠE;u ~s4 3@V:v;>/NL.ݼ5AH INFŤJ;x'nky!'b%U85l Eai&Io3T܈2t}(hat79r){igJ23LYTo%h=3˃ s?%>R%>F,Ie~- lb6փ-QVv,is 698eݜc5oP'=mr{r#2NQ;7GP*oO)9d?k$<*; τd˧PtАʔ+b WNmQM2}|GJ7߃M B_\2fXŌĞ o ]0dt(BcBfASp|.;'6L[D{CE==Q zx г{6i\Tß 6n1Q@I;Di9m& ᠛}\$x1U|G7[}HL1U5u_vٶЮt) !rʓ噧ܨiAw:rXљLIXWo7Bo̥D<&jJT*ZA줚Yy̴]"N.3#c'Y)vbOh(WmrI%!66#v{J.?s?t?ygo!`wliFD='6:`=G˶ wF rwY+H<9VgMQ`ukwTjW@OYpƐ-C)fˤ.'vUGvPE0xB~z(Nں7QۇzSIW$BBw+㦥d"f叕HÝ )Sdt.R2ߜ-t7?V@cW4ŽkUUZ|(J5~o#ReV6ܒd8B*Q +fZW zWS·9H?=y1yws`7uMg$׉[ayP-q$@P2Q!JCQ)]9}WX? (J*32zIщ%̴\OqpS5d&"Vyv"VȽB ~4N .A;,5mtob x?CUm#Խ iHPߊvf&[ŅJul9,SsUf[ˮiQK~;RHiPP"~ېWhfRG2$pSl;A&r;ay.fߝ' qyxkx6o~P^{H*`ޣ҈i WlW\;`Uء cJwC8I/% V`_b2G|R*ۭ@"zXXTiIk%+>|3\ǭ>89'?E^'6An;&<~rPX:,j p+(,;Hi)Iwz[ y| ; tQ0z+>~S9ӎ@C[A7<]2P .ݺSDFM-6QJ>PSIX0sxd;TVO!Kb$n\- 5@,Q4?F/z䢏|5~Xx}]6=/ A9;ӅMC.Le{/4 2E\ C5l^̤\a`aW 0wam}#D^:Cwߛ[R[׻g`p/2:Fj AN2Kh尹ҁ(A""10P7x*fpZ._4<("Oh Fo*焳X α+yRh 4q#S_O0ҵ^{&fx(nS)u=(5^7}c+S:w 0MND6 jي퇿&z]e%aܞ^x\Oe w$z@3-y9شJm,4>]du&emI1xkӈ( ՗sWBrupfcTh C~'2Yf@Ӈ2,gF_19ws.IvamMᦜI&43 Bh1̎<6˪z;v˭}@iÝOM.,MeI;`g=7$A#kq ,_;nX[< /d=/G~s aTT=5y?=>$XZАOkA}*Jb?4f@UzFiI!=%K6U J A]c"dz׸ ^k]}w`Fߜ- M4r?aUn*:ErKY;IV܎gxy?02&}EokIUM\`B߃ 'Lڦ:&.,Wk0؏xהfSrNi-4"kFjD^9[FAEb!E)׋mx \QyS%wFDn§NSVz'%`aCˆ昐nlɟ~HKix*lbF%(0q`?x;]-h 25=j+Qo5@rMMFeFv>1Y|rܢ\ߕMnCW݉\*o!%JB2H(O+L~znwDc<`[%%ĝ VRC) ٘ sO; v*V`jP~@H MbM X_W*1/TS:K0ZL[s{i= q.s۸';J\  ue X-a3@Ph0`bG3)[D)|XH07L,}0-01 ̼Դ$֔FRn&[ti:.Ԋ `Pp$QSsgVE̙n>aU珻NMK%ȲD(=ul`I]wR3L\#%a]U|"o}RrD4OK8ʖ:'œuyLOnBMw2_%"Dv=5/E{9bjwg1-zSc~ha}!t\V_2+}"@SEq"\|l=[xM+d2X )wj]&d{ƺpe[6e初!ywN"sH;T4 "mE-_N kŏ-srRdGuOcBAƷTo'3%26r+K42K:vtQ cEv5i F6}/H_gcT%Xp)l{J,K6? ';ݰh㫫dWjM]E)% Ϸ '`maAK3;]iiA`lYlqF 8INWw(Y&HQ&|0}T<М!ΠmĨp8@/ ʈVh5lgC?lrH֥ g]n3-eec1P| Ni[(0;>l-E!|7<_шo/*&OX4o#|cͷFڱbN(ϫ堖n`)Kd6K@KL3 BOF͜ K3giD3ȚB'yX,TʦeMuB*Ȼ:pރ>"";`1v+3JY>g<o'f1w10ɶ JQC2Q&8ُpk›=*B U-uvV۞0diZ.)3 5#'-պKY#T;+ ۶>>3sZ r0]1g9㸣>s֓2z=+:sFy !jot~i }ꄏQK;/`[/'J %0Jw/aA*j?:ݝ m8YGq*Y7PxD:DV'm<`9>T46bN+I!z % *_sֵnaDŽ] a4DvCY`b('[׈;)#Q[Aˊ(jS'>_ Bch9:(ceNi tKb*Fy^Ĝ`+': W#.8QZFRƑ]l]Y L@^EM`BQ<ۉ&JkoÐM'zJ^#vlAmCN#Vŕ \Pfi+|.?c\5_#(#U< {MY}+f}3" ^K1u!?/z}i qz1l#T AA6qە0دFU7q+&D`č{.+0UMGpp ZTZ7Lc;kO1.,?:[=!4}W 1A}LϽ+NBq+E2EF>Lr dn:'/\fNd̳1RNɺoYy&vW~J4$GqKy% `!3}wN?Kr60YRFiUMTAחyb1D-YhLS.{,*|zE@Jtc^kA{Kӡ읳I ĵAMu W`D8*ns&U xj c?Ji(fgh~0KWP2nٹ.s $Kv+7@;)a }hldwuB#a`JO_x(~^2Re=8FźոE <͢-G`L> ,EtxX0@PC.>Iq%{e_ IƈxI7ezH;od넿nIp}UAJ $Ԕsᔯb:aC3Òq-@ %7ȃjnUf \O-yL0U(q)y:s `@Xma[BRBW%ߠ?bm*oX#p3)A)aVǤSlk:}⾨g% ΈBzQ?rGLg尗 TNڲA@%ik yE"t+bq=RQW U&&3h x3T>ʻ) J0zkhTL7 8 wXd$oZs KS";TL :aCtMn0ɏ(aOG9`2ݸ2cT~.e.]f) X ǭs|!ܓl1^\7!h)wPd{Mt- Dn ENQ6/%F'U|2F^g@%_Ġ%D;6)5kSe1%}=Hc (l"] 9=m1s+ eAwdH;Te'pjk{e(+I2]'\ރ r7E),&6;H%zA܊c9GI ͂wjL}}GmUi!nNk(2G#9wkcљT(wꍈC/ZwO",Y|N>FIw8ݞ!t'״pŮ^@ᳩ cFdqHC8Y{װp) 8Z1MڭPgR R>8ft] - eC-|ŀmzY>R5 sd0d5k%ðXQgjKW^&5*J/GQ,N,77 Ma^ 4)- Oe~5& ,[b1|l]3ᑬZ0D @k}SQru &U=x!."8Ԏ>Ы r~dMmڒs*Q|$W p YX=/$:N,}8OC) b.A6),c4{5zB@`658\` S=6[|3(>p+*Br`OwWrhEs-{x/%LS!\|GW+uvT佔@00$0YoεI(c kG@aOv+P]3Y±)y& Ɨȉj1'+[ :Y |[SU*V}Ʊ WK5:hoϧEc*ʇk2u8:*L鑛]>sHD,h+|8gw"ʄR^*y{Uqh!jfI~E¢@{1yoŶa><[[~Aaۃ4E۱Y  Cݤ1%j,QB+`k1SWk!$?-ǝ<ͶEWF&۽GPh&PL3~'Qnxރ9/gYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba52591493e533435910dabed2385bff382198028d20f 3cccd0f68fabacdae04ee3cacdff69775cc4fcfb ad2ff58d27dfa99cea83f349dc3409dce7f04835