PKنMv@Ccoq_jupyter/__init__.pySRRrTp/TN-KQH/R*-,I-RRRJ+UЃJg(ǗgrPK)M ]jcoq_jupyter/__main__.pyK+U,N-KуP E% `!ǂ^4bdbQzT&_˅d^Nbi^rF|f^qIb^rD[|rNbq-\b[\PKv}N Y C-coq_jupyter/coqtop.pymo۸{Nfq,-mZ4! Ym&}(?$;-UÛFɶUYsYR43N8gjMxmR^Ss_w32_ Ғ†g98c4z&ue|QۗMhU6me,֔q?)YJoZVb1k|Ԓ ,L(k7&|ʆW Gy]]|fsb1tMf0)US|5ĿKG$@o._?u&IkϼEƽKrQ 䳢,wOpfq|3Ǽad xPpn2̅[0W_kh1bОԻ<< 䢊Z|uV//Nr5'HiGN,V`T>ۯ5(jT@)]ALg4_MZ4*~^O/ Xkб yi1#M/sjC&T(؃ 7lē}'YEzYÿ S29>VaJ1 _Mt5 d$ak}d+)*p~rSKI M&)88#c3d4/l*kFHjѫCn_ ƕ! ^vjJ~U{fw٬5 )9!3?A>*ywIifˆi6Ud ˊŸ9בkAo=/Cϫ9cUP_<߆h)sk{'/˟W+Z#s\ӔD襒Wixn| fdzJW'\e':+{0(58m2Rv}jTr_nب}]Fjhy-)Z%+NE@*89?e8pX4P4Fس7tš̮ ~E\2 ;'=5p x&bWw]/XB:-[ 㪢p8[8oEAc>+2l u"8 S"8T-\b+G?NyOJ#K*ָ\-$(;|&ZMdU> L\DcDh]i@$`{!L]U>$ d ;#(C2ywA&$Ўz R3eLm;`}A[c٦ *j#m[MWP 0uBPl8|E_= T.07Mǐ. 2AV#(tY D1j`u }(&#Q4Y;#xCjפXF]ePa.(֝0XWT6eq\<)=v9|-*֪;fF> t8>.QƙXǙXd=%R@_MŴP?1vԵ@֔7uA|ۘZc7Ȯ6ыkߏu(y+ꏈFm18 ?cCj.шr -&X'}ә&q8L{,"Pn{7ƈcN!&-~'y Hav 3BAlIۚ4u " gLvFy2AكOpX%,tل޻.'0YJ-G< g` ޙ!/%LXBoxFS[鷧nQ]Yg?ԻᒷTƀ`wQP9qwvs ܁Mܞqt0Vz]mAo5rNk}iDp <*ʑM$yJÆAQUg4|y{?[,Ǩ+'BY$k -*|c\eB$oќqT ,|zZc{Ctn1JjM(|ZϻzI 4vKA4L1I Apz` a7<a@f|U [9vaErjR̈́.tr V[e(;Է`,n$!%h[uz慘^(wq*l<\_gn'-r~6sJɆeR){sY#^ LJ6D | 1mA?{@ tTȏWpM8w|) R>"? n5{o i*U 5=x1%Jè31;_ T| I ;"RL|XM`IB z-JTC0x|`U&izqQԎqX@G>Hf -}g:0PV>VBWҷ)a>(ߖ!dDn  ?I0!LC9OOsN`+Ayo^ـh8PO4~?j4*KRPfV+oPdJo9Cv5GMν%iϕ `k=\xi0؈ )1 C+LļD)I,x" KhHC^U2$Uq&ВxLbK"IjȚ:$"dY"hbha0,1bb sde-!. Ӿ(ݩq:*>8xހ HxzNJ62 [,XjBNT63I=\@'UlATavl 5oY%H5 "jn,%˦Y#_xsV%6L<؊Y@+ZrJLZ>C6f^i/lSҨR.'iuC;!8Ӓ4N JY?C+[?Yeֳ?\V&0Z=2 '9'`e3'>z0K^ȜT&l+T`N)j?Ԓp$a;<ǁe.'q ' ,Q4-i>p. ̒1J4ː攡&a!BlCTAYEE [B;z8t(L  "l?J24lȒ@NU0_c!rn@svUҘ4uAʀXCZW>f&{5l×Ȱ騘>:$yfz6J rk XTȒ4YF]orjVo̭\>f  ߝB7EQOI[{J<^#a 锽î2K+v&63R zcWf`'@kȈ_@_Ad L$]f3L?c|@+&w\lږeb{߲/_ݝ efN RXov'9n_AO>pz } RGGWݵ nxgεఴX)8~k$827l*nZ."e 8aݴ {h#㕰4fX3=-2B_AxxRdy%D"kpm\!ey ?3Ò9!f߸^4shҊ'cX xOUuLvB#Jx}DsC(XUD *$%pCEe: "9x #%|~')^/K%&b5KZM}RZ' P mh6y,vLp!{ b %O˶j6i.2a@Hc>8]PDS."J3V?cAE.nǥXkѥMO0g0P@Kl~n_Ol uڣX/j=X?LuEtaFpc\8Yz.'̢@wIz8pM/xzwWӨxpo'kޢ4hV<Ox-Mg]3>(:&INl˒"O9EW_x°*74M"f@#SFvP"* T,- M֓dCbq"oW\0`2Nw(C h="!BfeKT}yw;un6}t~'Sc?`FDTav nϷ1%6x-lz/_NOޝƶ"^::emYTW ъWk?V1e5c');o cV4LG<1Hf΢Nլ0Ӏ{v Te%L?ۮ-pnw'0(1Y(Ila2D'_4s籖]ՃsCG=M_GQBMBaqP9܌dNU 3`o5\4wB!)3K^JҼ_wJx pн6!ۿpg^`<>yͱm12PAdno s:Wm/GrϼP u73;}zmVK}y}NUӶPo_?z(Wx1_+:_YS<}Aۣ?StG.CS,Yd>(P( hvT{'m_Ѵh&"yo_ryU0ֶrqe܌}~F⃾R8Zva$x:ZnD@xHig`nkVV3x(Ts [',=[ =ƿa !% ‡* Na,H@`k[YtQ a6x"~Ip&2w=Oopߌ(QREZv7}WVdw܍{/l#Y)TU}ޓDp>Aq8%N]1W2'jm?OOF~k=H8n"󩒑q ïiG5Ҫuis- 쯩BX!UUcK/oKN~Ae|t_#-c<~RWzjbyAVqp" QWx[`\eRR`Kmi Ex|t9rF&)U!\-3ob=y㊍}mƺ$.Jca3 1"un'L U"TCH|$$ĢÍlCAvp5CXZ%յG .þQ uJ)d+㟌B9`0wdegc|&a.v jٱ^kthmG}޴)B8\1t Vv5ݪe&f}l_ڪ1{e31E1~Z4<-" 䏯{G^7|C(]wkԼ猖`MZo߼}m;^&*vO C5BLϒZ"?E}`MD~Җ t'0ayf lX5'uo./觫_O>ӛܜf* i ^ OCL._\гKzs9 <5l++Ӷ%g,?7l *BP\ǤW+`bk0Y){L1ixY:T`+AY PYq#ų6ɇ֮QZ -M l^N( Ը7]аQ.0Ȥ|G_Pre 3ǖQbj)";Aa2>h(H0޼#7W?^YTE+xR?#5 3ox IZP{B)Lč|i]Tpܖg)LMۮi %2ݬ4sX qBtPD}ke"3"Y#PqlCYHCSTp ]\C-R"fm#sh :Ta`+Wi)i&  -aZlɷ}(FpU攪;B`+^ f<!hK0] C=&n[+LNIwd6>A{9>ENp;PXXZg8UT2yeX3 l/=Pm7'y,R5U݅TtT{Q-j;f9QoG'Vf1=M]3'̜v2dl>57iK{~ٟ3t51P\~1Wsgyd>Nh7)u1jzʾ'OH4(~V{ʞZP Ah),#Ƙ܋MK&SAnʁ&RL?z%2I^)#ln{`` 6ehӧ_!kX;`NờQ>/&vQpIV1\q, Fmy !b"'0Y+^[w~II+ēGp~(l_l}h舿$:JZc}^k*M~xjJTL~pREqj=F*^ mS߳l<;`m h3\PKv}N: coq_jupyter/renderer.pyV]o0}G?XyjHu*-i,܀SۡTlhѴ}s?=I ad&S1bT*2sf@zmHMvd&=Lp& qIap6dXsG_.CbZ4(6_xK` ?qd&72ϩTݕj ׅ9sK%X,sn7uGS=k4*XrF-VL4:rUZ?4K& WZՐ#UfŏV@9c_+zɥ`F"|Ƒ> ,+Ua[''b_83p o=mRL2+SPKNN:U{&-#coq_jupyter-1.5.1.dist-info/LICENSEZmo^ aKe'MXr֡ I#>2w_gf_eV!h< ˭JѵwOe6E%&Qڽŋ?j= ۗϟv ]z/~Ko+fq5,[ooo޽u5-Wս O3 7 ]'6Jbe7NȾNƊѩJXkz\ŽFH҉NUXŝ._kZ|+L_43Qp,Gfz Hz 9kcĸѩ%Z箬~/]LdP+ىkH[5.n VΟtV_:ӱo6VMo䏼eIOVn2},l38qZS-Eb齸kJd7 Z%vk7hgɱ͙,l%[ڪ-TUϾys>@E^iqptOrqKT=Qkt}!ii8gXM󠛑vzڑ,}cg!9uw8FL"6NUbkˊ@lLq?Q,Y!JћAtzIԙvؑ9>i`SǿQEHhjө ,8_{ v;֚ XeSCzG\ B #ޯ^2nrpWVS/u=xr my-ŰNG@C.Ur@xmdty.bBW,yc-[Ɍ ` okV>(o wPrX ܇vp#3RWhA ҊsZAq+(R:b! p$atBcDXm@@Z٦Ogco#ػA4lL1uz{slcNN * $&CFj#uX]t7(=[mazQd[Ys$4{$iH+NZ0 R G&56BMLƒ2^C /|U!n\NDz~³!.$#TRk>\x|#tYsX:5L;ž) UVjp9pz2Me8+OY*hu|ۻAmڑGEɥ^^@ysDJW%LP9>r8{"kǨuc6nь$*q3$KvO$lKQT@0tfF 375Y*8b|AED:G@>?.b1BW"`t򫤄SopۓUPt%X+PQhI@n&|@$qS䉀îi#韱 8\~}ndWTs*ALM~CIGJ Kq[#+`~;.n; OO ÎQ| !43Od{h?vz+ ?tuj;PR"WRb[b6DZܴ-Bdd}2Z##O*+ێUj³ \I wAKΩ=9i5kkHR: 9hӫ- - u ҝ|r1nTpƎr@/dAr% |?˹,3qk{Zf$Hɝ@gh-_p| 8Yx]Ջl}Yʆ9-|mꒉVR6DM,Mrtd3EZi¤blG%f qFvlԑL! 6Ȗ!~F;{ZwtrZ)l7wk:TRD8{<u+D5 qO'’~n+9s4]>PTQ,Jݓӕ%M_N8ܪ!WE]P7,Ngf(rW"U=v.['$:Z,j܄k ` ))Ǡ/sUל%_e#Y}! ;Eb8XzyTo0#ʽb*aKp=PT.aNrO@; E9-9e& H  c_FAe2+lhPN@`&5. ~clE9eG \ac5O7x ZM|/ E/w1q'׎!ߙZJۣ}rW z'Q썖KNY$wzٶ3xPz4XZΫ4t&Gy.AN/x+kIE7wݕ1NwlJ=kIVn>QɮL8A6 ǥN!&a/6|OhZc4|{!.kJteNE_ןFѐ_$_t\V1XF_dj.E+ B[s"~+Q섲L'XMEɏfGBXMߕD;1kVP@N?3ZMßf4E㗀G7'n"O,{6OBcH ]ߟ}`#ŝDw[2I}zqEY{˷o/ɖqç巆7gWLsKUǴ%xAYTCTj5N w }:X҄TMg:x ѱmCXL_.A\ @U$ E0Ŏ^@VvfbЄM/{smLqT3&YA>n8(L^gA}q:=Y"my{o|xc`nM7B#wï(kGGgӞ!Ms%SxPvBZM6v5'^$qў=oLSұ ӟ>6?]BY @ɽ,PtNfD- jH}C K