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 |SQ"c*.Ӣ8=ud!>M_3`z9߰J2qQH #n17ka<`kV[լcu ^+ר,TpԜezR C$58/[n{ +[Ïf?۸vfJe,XOE\UU`:]ժG@T|X,K9v39>~p?㯿Mw}0Gbۂ9Կ(=8+V Q,!S"}Z/E.^ n5` i*U 5cHGKh 1QgcvH6+xDD6&8YGcv܍E0ڙ@)0`.Z\`Ŀ4z' L@Ox.4'W{qIng)4D>ϓxF20h;XAAȩ1E,u9<@H+qA%a^R.jh̏"K(~,@MRjѹx`@ɸ̺0JpIA% O6VB nRyB|U}"Mc8BzYs{yzNDx_$at_@0@j"2kYԟ:W2t d KIznWX.PTU>3qCp72ۄKoJjoJ=)T.( Rِ|s+ƿ &&VIJHҒj[o(>) oP`%v8AyĚ/UʔOؖxñnފ2%vG>jG:%˷! c[IRD'!!AcF #E`aa[#0 X.륟n qA}&HMENu#00TADTP@#sR" $PbP 3⧂EXIQ=ї0pg ژX 5mcSHfX~"-IFaPPWUpd1,Y6v2%䝳o\-aV\r_ hUbR? 9|,0rF{aC֘FRw>N|rin AqyP B_2̢>(#҇4ه9MY8>+99UxɃɵXF愥6af+XARK.u"HQ[k%) Kݱ <(s9)KHh8a`i wF .%'C8vY(f􌁰VR!_4 %Lp4 be;z-*ĎVغ90YP@fZFOha9 PaPՆuFZt wĥsWҺ43s`vI5f݄p ܤ>G|HGy&3ӳ@V ey&[;\ǢB2j}3ߐnSzcn0;`)ҍj}BMSz`5QN%/v59^<^S9VՅ39sC+^a`U)T>By5-U4T%h#^5r@ȈJ|+;ߡ>'xXtoi\qS.MR ]}UONȎoQ==0ؼԲ{w_;Bvz?~r6ۊjAX]xɯgvS]-D+^otXmưbՌ/'SԾ-O҇YL0kĤr" zs$:R:aFVLm*hNS0et.vo߿'"vdmod&vE6RhLs|̍ZZVXVtWQe86~E{5 uMp3rs8Ùpє:MO`n0,xorz +}J"RX)M.SC lIuzsmMm7ǞGȀ3Zs@E9x-s;o\ѷ|:7Ӌ=RC->,u8UENc沚oۿ?/yNjbp_wX2 J(eZ7;tz\ ĝbb&@B`@[*4Ax=iG31O{Cͻz0s(f;+ -0j:#Lt['ԁp'BFZN;s[o·@:SMZT<`-g(1k) e>T`xu8 c@[+F"sZӵ\K3ս}ߟ|-@c5fDʾ0v-7Ъ{b FvۏxdyJ;$Jǎu-Z郒9U;m]%xzr5 .XcxIq{޼ -:*B3|u9j",ޱCvދ:owYq,q>}y 9Su)mY$ws6Og*NW[cV?1HLj{յuD"G*NW\7#LzOE׬ PE 8xkWu;iyL>:1<V{Z- 4Zs>Q `tD5+)aW$y]Ui,e]=OSKٚ| ,@: ӈ2|v#l(Dͪ௴m;޿B c&U{33 FwO܏3H~Mx>V娳Ns+Y`Mv B[:~}\rt *;җO-5"N<9;(un ~!7?i[+ue9͵Zv Z(H)ϻ$vMNhzRWIC.g4iґR•<:fߓ^7fO"t?[cX7[h0|b1eP6OIe,ۍPmLҼJV,nB#ܙnMm {]~(b&55Dӝ";Ժ&{ c!\'H%$_Z!8z*2tin%WmuZ\د4YgvLx}ƝfR:kIТ8pXip~n |vYh\uzcfEΩ]{|u`/mt|Ӷ3X~[ckN0P6:Z}ϖ}nesi8?Ei4vcvBn'y>1m(/6+xe4Oxvŗ;6׷4f#>7u>q.稊\yۺT?0 #&NG]Y_:ߗ{sGMBJ,-o S!k9_/h޶6 a"Ba {s03pB 0{ŊO_<4YD^9U+w;=gBd0qפ TPG#!q  nd B* ?JUJWJ ^=d)#x'\'+;tx5Mt#uۄTPˎeXHo>M ኡ˗DmV\.31=g[ V,-y(3"dni |'i礝V؃yiqɵꮁrHL &[ju]V@[N4ܭpzI u(|r%m3:11㹲D?]67D,6ivқi17.y7!ha57͜\PKv}N0n 'coq_jupyter/kernel.pyZmo a 2cEܻ6,,(re t,.}$_{*@Drgg}nPD0JIy#HW- l_zJ-vMUk ˅(h%[uE>Vϋz{ϚZ->Oa/ڇ.VgMÛaU }L~8.~=^]^gWW?_{Pׯ(}`M[ LxBfw3~ק~>^QSCO&2m['&C_EUJÖ똴"t,Vlf>K5ei<& /KS<dY'Pl%K@\<+q؂"γ={x&5J ETڝKi= V7T/AJnR0L2G G!RjAV|GGUZU*=U%k) :J;0VR5ކuӱhǩ짾LQZDݬ #i8-ꂪKC٤#f>riȵU~ I6-xJ3jyuV͖ށp Z \p-CV"\5OУ`+J`3"OU}e lat'إb%J[ൈ/c=7g3s#X+fR9o*,m:wh;D2eXZ\Ȁ% RA^6SbK妨঺in " >a zvXPwpTSVMHA1\otDZb#Ǵ 7u-Μ3sɐXے9lX,5ewJĠCq9^D^kU:=ޤ!Ĩ)V?"x|KY){kA*=Гڲcr'6w/= OA( J3)"h$yvL{ ~-ph{4.O~da}<9#a ye[AtΰPǬv,usظ@soi߷{puO4vNG<EY%]Zbp)ǵ&)V=0z*P?rf{ibs'7&:OF ;p"¹t;#(^jmit[y94i+3S3n<IEkV\=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+SPKtw}N:U{&-#coq_jupyter-1.5.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"my0ՄZuqѯqO^g+ +ȝhGbC{4v Bz*aXLt?tkaZ~*PpxhQ4?z` ge{PKtw}N܃'vdt!coq_jupyter-1.5.0.dist-info/WHEEL HM K-*ϳR03rOK-J,/RHJ,./)R0363 /, (-JLR()*M ILR(4KM̫ # rPKsw}NzS )coq_jupyter-1.5.0.dist-info/top_level.txtK/*-,I-PKtw}Nb|]@"coq_jupyter-1.5.0.dist-info/RECORD}˒0}? ڄb i6(@D^XTM˟Mt^J(ʫF20]sǎrlmG0µm|>*U($,&#H;y5|W[Ĥ7,޴m0, XkJ)\M و{i}顃g?\p $8\LuyѸ,yyݚLBFgG0Jq~V էHhLEvH9=u/UX-N2o/]鋢х;6pSܿ8wK/⻬W]W*ٰ0:Uv|3c[RaҒT8#nA*QFjV$&YF!7MSwtW1p/{f7}QC(bΛZz/IY78k/2 /ŗ)n:KVIXVrpq:iw֝e$뭽_@ڤ䆡Y0^u֭^#d3'[x ?W5*I!U.9`9Q* b%/ak3qמ0PKنMv@Ccoq_jupyter/__init__.pyPK)M ]jucoq_jupyter/__main__.pyPKv}N Y C-coq_jupyter/coqtop.pyPKڙcNǡT  coq_jupyter/install.pyPKv}N-ecoq_jupyter/kernel.jsPKv}N0n ')coq_jupyter/kernel.pyPKv}N: 2coq_jupyter/renderer.pyPKtw}N:U{&-#,6coq_jupyter-1.5.0.dist-info/LICENSEPKtw}N}$Ecoq_jupyter-1.5.0.dist-info/METADATAPKtw}N܃'vdt!Gcoq_jupyter-1.5.0.dist-info/WHEELPKsw}NzS )kHcoq_jupyter-1.5.0.dist-info/top_level.txtPKtw}Nb|]@"Hcoq_jupyter-1.5.0.dist-info/RECORDPK u@K