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[\PKڙcN2 Pcoq_jupyter/cell_comm.jsTMs0{aC;ALS\ɧ3홑a!%f߻ۉ3N}c:IK;, rR.tDB*I pe sp>w1ZhU,Ӫ=0=<>$]t^SYT \ 1B GܬӴ>"ևvz|rUX+%~.2tjs1a\7sx9OsE%jc7 !/۳r.K5'u|X$A^یy.E)dϊ <n,K)h6IUMBW?@ I/PIt9)"|5%_h]|z͂N ^?¼\%. V>Ҥ267٦M'wL<2 dr|?”b' _#jlDfF!_mLulm[ ^j{NZ#Mn"41 ̼Y˜!ql|i \eSg=U\3FT^E?@j(6|H)-`*(|z)~JVY虝ٕf%H\Ė\LYv$~k T%m2, ڬVYA]&,+J  BG:xi}\~F^υB:6GM靓0O] \PbID !kZЅx6wvXdP6Ίd& *ewO~3M˗z!@ B'/˟$W+Z# \ӔDRVdn!|! n W`x.d q Ql{L]=k~&շ"׸v1jA/Q:DK hk=pߪ"e z`XH ܟ2ohBe,Ll84ڵAݏȬy]1a焑#s Cl*#wHo+a\U^pt vh0vg0$! qQ7=YQ۞a6Ao䒜PôtXAD6@qFG|T!F\rv1 kPQG31=hΠ|T"idP1t>YHevD _R;Uk̇dY/@"}7α}qJ n<]^"(撕qزcϾ^_Fifc rQr/ۂr -~01B@!1YE{`r @BAFqH-'X=O﫧@5朵V'Iq&jDAqѶa!#X).arT5MD|y#b/.B2HQZ%ź3z䒂>r/M O:Xt%Ւ1rb1[ڕGV#W)h3tv0JJJ(]jl]` I\P)tr}%Nj4ppI`h%vuFU\Al #n`&WO64]Pa?VC7nXsH߽' d 9|hژwl8 $yL%PG;n!T58Mt`?rZBz%wʠloM|TYq>}|G+gndgbHԼSRh~# PKڙcNǡT coq_jupyter/install.pyUMkH Ahھ@@$]v1EL{ne{0[H=w3ӭ|I:<=Qō3z=un;=9=ifmUw عk 7_wxy;Gsc?4.NߐRko6”JFJ orc=zyݑi&jj5TFW1g 8(xh-Mn6Կ\1IEkl/}sƢ| :ƀ@uRoGBLd~^`6: [u_,OXχ7p0D']o7 |zmy@#8|( NCtY0sҜwi?YL7.-w ½+imÞY&=v9>p <*ʑ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 |&~=zգoQ㇉p;`GE *V@ӑeEL@oGGK~HfV L(B/qɻ"[ŒkeVx @zO@ $}lj9z )8 1A TfV,ʭHaytd|JFgY}Ga"O O>% 2])dԇ nbrϩ ϗ ?p!復ʈT/noA|ŎT vN@ rĀ\EbO #.C:v)^hͥ?% / /u.CX~5M,4}=ë/M_ePr*' ;2 @Ŀ,O g'EuBLP< g?E^H@_xbѯłPJ:`9'{ h.D ʔʑV9p!A2˱Hj{T@G:>S*zf~0% 4q)}h.DQ1!d@!cx`BBLbGx$F>o5Dnd֬ak≟cU$a= pIAыLa 8&TN(@>e$$7jQ$D-Y "} G`|Ñ|+şSpĉEShz#sfd!F, 'H|(61aY<0s&kL "(wVVp,?x^?/n"*Uf2ȩd;3lRfh͐и5SWqA@Ial }r@5L4'CP,)kPW7!1 VB\ r9ͱu)s7PB$#D~++d8lHɒ@悊opsaSvmB2"!^q!i I=Fhkפq̛5E:OP&ߙ^-:.lP\zÅp,*!M޺7%v5jVoY}0̎= A;atV>%m)8ѫ$9c1j>Z@h0ߨƵoQѻhO@lKC[c_.uR?nG׭syt;;/Ȏ FDlwbKk !)-?_l} P;/>bm$xA۱0J~=o6uhku|ه}9v.P۾b<HڼbbWaʉ8Ql,K0!x+؃ij %Llk-pۜ JLֺFV&M6a yќQ .FxeE~`e_&q%1 3 FElOQRӻaBWR0 8*_j_;]? {U`QC {ma[un]MG'o)p c[v׺9L%=h#wC+Z+k~}3)֐,su\/HSWĎ\<*rўkH^F ojvp_sz.-bZ)H \]bq>|ޱ996Ӎh,*NY -n9rWH(L i././nǕyt\ɚI1]5ྯJ{ cItuMHPnyW!P)QΛ>f~sq`DGP!WoϿNe\5֚v&yl\;W!4Fd3$#@  wy4Se8xU@D,XIq:.xO.%㎟~څ[ZsptHs$m.Ÿo,ZQ>Nl8PO_G$Mr r*٬UJ sQsVP27ء@NNfjrHdR2KN̊^2%w7dwj2jJz:B C'XR5B,Ѕ3M*nw@z*W! LU2P!.FHx9 0Cz6J(!?@obe2^OÈ&c$鶗"Sq2'1i:AXB$ G ?qL| [:Bc#=h=bdz<`eY2^`- 8NOާZ=x Z@tR E,e߹n'\S4ٗpǓuv6εc!%UR-7D5rhjuILR7*7*-&VZ2k$@e T(߀׍T)t Ze>Bey(E8Ff=jĪq$zêiGP5RBJg;bÐO Of.Gj8f:D@;cvr(ܻW߽-&O=s3̿P<> Դ7 ݩ>R"w$7UMz QՇS:CDGP.1;D/ƆTMUvϒ] r$IO#8Kɍ<AZh3?5=Ta ld>Иudw1xw*؋u0O1fS-kKCP-7],Q|sёPzҦC,Cm LkyA9)ñOytߴ7Ƚ> y96=rU6uMxJOak>Sz#GxK[So0Bjv fVEd"BfȎPKڙcN9fcoq_jupyter/renderer.pyo0ߑa/ZmՠT4P2\;JKJ[$s>߻I#T0F4N(4!`F5HTVS"{O'xv_W3CC8N6pT'ƏQ3H$< vPQ0ЉH'XAFAv ѠK*!|4lKt3 |>[jMcP{%chOJ!vE/Q`(S$c ok&|~60[0*L#R Jy!.88U`gƱAPR(8Q+9y|_s䢊gՅ(E-xI`F/Rߗllrc^" ͑uBHt6ީQLI}Mv} 0N $m @ı;*鎪4$fKdh p}Z cQYsFs+lϺ_lg7}_ƞx6ˋI]N4;8lXfmf0V?p2ISݴ |RB"M^w>TrCܿ&F޷{chF srWҿy߭eT1V7fJ aղpYIxdϚlM'ۣ%(\M,jnTs}3nn-w gn1FEKcQE(}lZ +"ap+2RkUxT?};GzWw߹w-qތ L0G}ekPK$cN:U{&-#coq_jupyter-1.4.0.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"myy.n0T|NuXѣF1W*<~yi冽gOM4$xMK?%9~gPK$cN܃'vdt!coq_jupyter-1.4.0.dist-info/WHEEL HM K-*ϳR03rOK-J,/RHJ,./)R0363 /, (-JLR()*M ILR(4KM̫ # rPK"cNzS )coq_jupyter-1.4.0.dist-info/top_level.txtK/*-,I-PK$cN33o"coq_jupyter-1.4.0.dist-info/RECORD}ɲ@),F' %@ ׷0Z#:7fܴzH C\cDyİD{' Kv}C6& KQOG4 4 r_VE~R&vrZ_" Q.߸8-0nj~B%rOt`,q'q.Tč) ,;شJĥn xYGɏmvΣq?HDeFnK%>̢D:SrR%OŰiWˮtXܙw&9Ai"ѺEMi%;iQKܿpR~Uc]^|S _N.).޻:I{t; C`Vw7q孾)aWo9=OpOfΚ_MB=zjg^E6(N-)gL˦M2?&rV땳zJ|ؗ&?b,\ cxaT6O8B:X+(`'ɰJևuhtFM76?>5,Q!q= jmgX\{o*zIo#ɲPKنMv@Ccoq_jupyter/__init__.pyPK)M ]jucoq_jupyter/__main__.pyPKڙcN2 Pcoq_jupyter/cell_comm.jsPKڙcNQ W-coq_jupyter/coqtop.pyPKڙcNǡT ccoq_jupyter/install.pyPKڙcN۷=qcoq_jupyter/kernel.jsPKڙcNk!'$coq_jupyter/kernel.pyPKڙcN9f5-coq_jupyter/renderer.pyPK$cN:U{&-#m0coq_jupyter-1.4.0.dist-info/LICENSEPK$cN;d}$)@coq_jupyter-1.4.0.dist-info/METADATAPK$cN܃'vdt!Bcoq_jupyter-1.4.0.dist-info/WHEELPK"cNzS )Bcoq_jupyter-1.4.0.dist-info/top_level.txtPK$cN33o"Bcoq_jupyter-1.4.0.dist-info/RECORDPK E