D&\dist\coq_jupyter-1.0.0.tarT +VE5jī5ʺܚb6KewOwb[2Izs+m!yӛn6}C3ɹ$5&B1+#u([WhT98JV:h ,un4*UJFJ;լj2f72QA3.a~IьNB}fcbW;@AJ@7Lյ5O5k4](ݜh&ޔ23U"dޚJ 4ekVW19_+E[^;cR^M2ƍָ.I@*bPZ&7vSd(KY֖)d^ӜawaYf<1ZIB7.gmrӍŲu͞T[K/M9iV4խMe)=Q36vNV+zn;5.LuVwZ!W|NReqtbQy;-HQ)h%OVbVRa0TLS&DՐ [*TuKE'{L}4qIug`fVOJt]26 %]quL.AiU4-;Z|wK’K r'-h9k|}:׃~ƪ^EccmE3j뢝7uJ6Pm^ˤWy ɕiN>)Ǵ=4ٻ0/˕j`)brS5C$6)B\7f#H #a`$ 00FH3F."?3rc@矿x'Vx6?@(L|#Bh<0 -lI5f3?^4*/g3[SO!S4?MJ7C=Ŝ{M7)Ul \TA+6цET"?&?Me21H3L:_YCY}ijY3OcF<%pmyYSA-x=)mVeE`x,n[lPtA2eS jjZadvapm ]^oTahA^K6A2uuf*Xkꦨ%(wE"ǡm䆆 `.rx'nڶ83xcMn65&-#5&I@|2?G I^"79fV@$xmKӁ$խ0zDXocn`6.؊L%6L8WpԎ4y>0얺<`^m29 CRxmDd=C .]пK8<8'L2gYq,y&,Pt$0E;,Cl C3^ eg+n\RcEB!^Ti) ˃P F= X?/BTa]Lr`fA.:Y2/pHdBX Y[0i(W?$^Q,pXl#@`DX $^o P},`泂J*(:[_'s$|P9D4iNx鉒p8דgr3|Z9tY+êvOusÐlӞJbZ Ϡ{-<_|FFԤ5Ouu:& +٭&8Zε }KkýǪҝ +C&{tR _ )KmaFǣ_/ &!\Pn`ngy T!ѿ>NFD{:tQi^?9ש6(2:6~a[89q=)R9߷ovߎnb}kbq]Dp"kOCg34gwsMi=7%y@)PxGDċ\t8  ?y:˯XǣW\g~=B@eQ\xY,1sϘbΘ<_pE6`bXzłIOnY01dfQookNwl| >sD7q|yt 'X чB!B!B!B!B!B!B!B!B!B!̕