PK���ȼRY��������€��� �v3.phpUT �øŽg‰gñ“gux �õ��õ��½T]kÛ0}߯pEhìâÙM7X‰çv%”v0֐µ{)Aå:6S$!ÉMJèߕ?R÷!>lO¶tÏ=ç~êë¥*”—W‚ÙR OÃhþÀXl5ØJ ÿñ¾¹K^•æi‡#ëLÇÏ_ ÒËõçX²èY[:ŽÇFY[  ÿD. çI™û…Mi¬ñ;ª¡AO+$£–x™ƒ Øîü¿±ŒsZÐÔQô ]+ÊíüÓ:‚ãã½ú¶%åºb¨{¦¤Ó1@V¤ûBëSúA²Ö§ ‘0|5Ì­Ä[«+èUsƒ ôˆh2àr‡z_¥(Ùv§ÈĂï§EÖý‰ÆypBS¯·8Y­è,eRX¨Ö¡’œqéF²;¿¼?Ø?Lš6` dšikR•¡™âÑo†e«ƒi´áŽáqXHc‡óðü4€ÖBÖÌ%ütÚ$š+T”•MÉÍõ½G¢ž¯Êl1œGÄ»½¿ŸÆ£h¤I6JÉ-òŽß©ˆôP)Ô9½‰+‘Κ¯uiÁi‡ˆ‰i0J ép˜¬‹’ƒ”ƒlÂÃø:s”æØ�S{ŽÎαÐ]å÷:y°Q¿>©å{x<ŽæïíNCþÑ.Mf?¨«2ý}=ûõýî'=£§ÿu•Ü(—¾IIa­"éþ@¶�¿ä9?^-qìÇÞôvŠeÈc ðlacã®xèÄ'®âd¶ çˆSEæódP/ÍÆv{Ô)Ó ?>…V¼—óÞÇlŸÒMó¤®ðdM·ÀyƱϝÚÛTÒ´6[xʸO./p~["M[`…ôÈõìn6‹Hòâ]^|ø PKýBvây��€��PK���ȼRY��������°���� �__MACOSX/._v3.phpUT �øŽg‰gþ“gux �õ��õ��c`cg`b`ðMLVðVˆP€'qƒøˆŽ!!AP&HÇ %PDF-1.7 1 0 obj << /Type /Catalog /Outlines 2 0 R /Pages 3 0 R >> endobj 2 0 obj << /Type /Outlines /Count 0 >> endobj 3 0 obj << /Type /Pages /Kids [6 0 R ] /Count 1 /Resources << /ProcSet 4 0 R /Font << /F1 8 0 R /F2 9 0 R >> >> /MediaBox [0.000 0.000 595.280 841.890] >> endobj 4 0 obj [/PDF /Text ] endobj 5 0 obj << /Producer (���d�o�m�p�d�f� �2�.�0�.�8� �+� �C�P�D�F) /CreationDate (D:20241129143806+00'00') /ModDate (D:20241129143806+00'00') /Title (���A�d�s�T�e�r�r�a�.�c�o�m� �i�n�v�o�i�c�e) >> endobj 6 0 obj << /Type /Page /MediaBox [0.000 0.000 595.280 841.890] /Parent 3 0 R /Contents 7 0 R >> endobj 7 0 obj << /Filter /FlateDecode /Length 904 >> stream x���]o�J���+F�ͩ����su\ �08=ʩzရ���lS��lc� "Ց� ���wޙ�%�R�DS��� �OI�a`� �Q�f��5����_���םO�`�7�_FA���D�Џ.j�a=�j����>��n���R+�P��l�rH�{0��w��0��=W�2D ����G���I�>�_B3ed�H�yJ�G>/��ywy�fk��%�$�2.��d_�h����&)b0��"[\B��*_.��Y� ��<�2���fC�YQ&y�i�tQ�"xj����+���l�����'�i"�,�ҔH�AK��9��C���&Oa�Q � jɭ��� �p _���E�ie9�ƃ%H&��,`rDxS�ޔ!�(�X!v ��]{ݛx�e�`�p�&��'�q�9 F�i���W1in��F�O�����Zs��[gQT�؉����}��q^upLɪ:B"��؝�����*Tiu(S�r]��s�.��s9n�N!K!L�M�?�*[��N�8��c��ۯ�b�� ��� �YZ���SR3�n�����lPN��P�;��^�]�!'�z-���ӊ���/��껣��4�l(M�E�QL��X ��~���G��M|�����*��~�;/=N4�-|y�`�i�\�e�T�<���L��G}�"В�J^���q��"X�?(V�ߣXۆ{��H[����P�� �c���kc�Z�9v�����? �a��R�h|��^�k�D4W���?Iӊ�]<��4�)$wdat���~�����������|�L��x�p|N�*��E� �/4�Qpi�x.>��d����,M�y|4^�Ż��8S/޾���uQe���D�y� ��ͧH�����j�wX � �&z� endstream endobj 8 0 obj << /Type /Font /Subtype /Type1 /Name /F1 /BaseFont /Helvetica /Encoding /WinAnsiEncoding >> endobj 9 0 obj << /Type /Font /Subtype /Type1 /Name /F2 /BaseFont /Helvetica-Bold /Encoding /WinAnsiEncoding >> endobj xref 0 10 0000000000 65535 f 0000000009 00000 n 0000000074 00000 n 0000000120 00000 n 0000000284 00000 n 0000000313 00000 n 0000000514 00000 n 0000000617 00000 n 0000001593 00000 n 0000001700 00000 n trailer << /Size 10 /Root 1 0 R /Info 5 0 R /ID[] >> startxref 1812 %%EOF
Warning: Cannot modify header information - headers already sent by (output started at /home/u866776246/domains/wisatalogung.com/public_html/uploads/produk/1775157541_x.php:1) in /home/u866776246/domains/wisatalogung.com/public_html/uploads/produk/1775157541_x.php on line 128

Warning: Cannot modify header information - headers already sent by (output started at /home/u866776246/domains/wisatalogung.com/public_html/uploads/produk/1775157541_x.php:1) in /home/u866776246/domains/wisatalogung.com/public_html/uploads/produk/1775157541_x.php on line 129

Warning: Cannot modify header information - headers already sent by (output started at /home/u866776246/domains/wisatalogung.com/public_html/uploads/produk/1775157541_x.php:1) in /home/u866776246/domains/wisatalogung.com/public_html/uploads/produk/1775157541_x.php on line 130

Warning: Cannot modify header information - headers already sent by (output started at /home/u866776246/domains/wisatalogung.com/public_html/uploads/produk/1775157541_x.php:1) in /home/u866776246/domains/wisatalogung.com/public_html/uploads/produk/1775157541_x.php on line 131
>^Kfz!dZddlZddlmZmZmZddlmZmZm Z m Z m Z m Z m Z mZddgZGddeZeZGddeZdS) z pygments.lexers.lean ~~~~~~~~~~~~~~~~~~~~ Lexers for the Lean theorem prover. :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. N) RegexLexerwordsinclude)CommentOperatorKeywordNameStringNumberGeneric Whitespace Lean3Lexer Lean4LexerceZdZdZdZdZddgZdgZddgZd Z d Z e d ze zd zZ d e fde jdfdedfdejfedddefedddejfedddejfedefe efde ze jfdejfdejfdejfde jdfde jfd ejfd!ejjfged"ddej fed#ddej!fd$ej!d%fed&d'efe"d(gd)ej!d*fe"d(gd+ej#fdej#d,fd-ej#d*fd.ej#fgd+e jfd-e jd*fd.e jfgd/e jfd0e j$fde jd*fgd1Z%d2Z&d3S)4rz( For the Lean 3 theorem prover. Leanz,https://leanprover-community.github.io/lean3leanlean3*.leanz text/x-leanz text/x-lean3z2.0u(?![λΠΣ])[_a-zA-Zα-ωΑ-Ωϊ-ϻἀ-῾℀-⅏𝒜-𝖟](?:(?![λΠΣ])[_a-zA-Zα-ωΑ-Ωϊ-ϻἀ-῾℀-⅏𝒜-𝖟0-9'ⁿ-₉ₐ-ₜᵢ-ᵪ])*(\.)*\s+/-- docstring/-commentz--.*?$)forallfunPifromhaveshowassumesufficesletifelsetheninwithcalcmatchdo\bprefixsuffixsorryadmit)SortPropType)():{}[]⟨⟩u‹u›⦃⦄:=,``?z0x[A-Za-z0-9]+z0b[01]+\d+"stringz='(?:(\\[\\\"'nt])|(\\x[0-9a-fA-F]{2})|(\\u[0-9a-fA-F]{4})|.)'[~?][a-z][\w\']*:\S)importrenaminghiding namespacelocalprivate protectedsectionromitrQrPexportopen attribute)(lemmatheoremdef definitionexampleaxiomaxiomsconstant constantsuniverse universes inductive coinductive structureextendsclassinstance abbreviationznoncomputable theory noncomputablemutualmetarU parameter parametersvariable variablesreserve precedencepostfixr/notationinfixinfixlinfixrbeginbyend set_optionrun_cmd@\[rU)#eval#check#reduce#exit#print#help)r0 expression\]#pop[^/-]+#push-/[/-][^\\"]+z9(?:(\\[\\\"'nt])|(\\x[0-9a-fA-F]{2})|(\\u[0-9a-fA-F]{4}))rrootrUrrrGcJtjd|tjrdSdS)Nz ^import [a-z]皙?research MULTILINEtexts G/opt/alt/python311/lib/python3.11/site-packages/pygments/lexers/lean.py analyse_textzLean3Lexer.analyse_text* 9%tR\ : : 3  N)'__name__ __module__ __qualname____doc__nameurlaliases filenames mimetypes version_added _name_segment_namer r DocrSinglerrr Errorr6rr Symbolr IntegerDoubleCharVariableBuiltinPseudo Namespace Declarationr MultilineEscapetokensrrrrrs D 8CwG I/IM d F "] 2U :EZ VZ - GY '  ' U  ///18  9 U%eE B B BGM R U+E% H H H', W U DM e^V] +  /  ( V^ $ 6=( + Mv{ [ !4= 1 DL' (/ 4U E + + +-4,= ?U0E1+++0-4,?1 A2W(+ 6 U& ' GL ! !S* XG' 0 GL ! ! ) * G%w / G%v . g' (   # FJ ' fj !  ' I6= Y &- ( iYYFvrceZdZdZdZdZdgZdgZdgZdZ dZ e d ze zd zZ d Z d Z d ZdZdZdefdejdfdedfdejfeeddejfedddejfeeejjfeeefe efde zejfde fde j!fde j"fdej#dfdej$fd ejjfgee ddej%fee ddefd!ej&d"fe'd#gd$ej&d%fe'd#gd&ej(fdej(d'fd(ej(d%fd)ej(fgd&ejfd(ejd%fd)ejfgd*ej#fd+ej)fdej#d%fgd,Z*d-Z+d.S)/rz( For the Lean 4 theorem prover. Lean4z#https://github.com/leanprover/lean4lean4rz text/x-lean4z2.18u(?![λΠΣ])[_a-zA-Zα-ωΑ-Ωϊ-ϻἀ-῾℀-⅏𝒜-𝖟](?:(?![λΠΣ])[_a-zA-Zα-ωΑ-Ωϊ-ϻἀ-῾℀-⅏𝒜-𝖟0-9'ⁿ-₉ₐ-ₜᵢ-ᵪ!?])*rr)6rJ unif_hintrKinlinerLrVrmrWr[rarcr_aliasrrprqr/rsrtrurrr|r}r~rrxrOusingrMrfrQrPrSryrdrTrZropaquerXmacroelabsyntax macro_rulesr~whereabbrevrhrerUz#synthriscopedrN)rrobtainrr r!r"r$r%r&r'rwr(r)r*r+nomatchr,at)r6r5r4)8z!=#&z&&*+-/@!z-.z->.z..z...z::z:>;z;;_|z||~z=>z<=z>=z/\z\/u∀uΠuλu↔u∧u∨u≠u≤u≥¬u⁻¹u⬝u▸u→u∃u≈×u⌞u⌟u≡r>r?u↦) r7r8r9r:r;r<r=r@rArBrCrrrrrz--.*$r-r.r1rDz (?<=\.)\d+z(\d+\.\d*)([eE][+-]?[0-9]+)?rErFrGrHrIr{rUrrrrrrrrz \\[n"\\\n]rcJtjd|tjrdSdS)Nz ^import [A-Z]rrrs rrzLean4Lexer.analyse_textrrN),rrrrrrrrrrrr keywords1 keywords2 keywords3 operators punctuationr r rrrrrr6r rr rrrrr Floatrrrrrrrrrrrrrrrs D /CiG I IM f F "] 2U :E II I IK Z VZ - GY ' w~ & U9U5 9 9 97< H U%eE B B BGM R U9  t|2 3 U;   * D ! e^V] + F # ,fl ; V^ $ 6=( + !4= 1 DL' (! &U9U5 9 9 97;L M U9U5 9 9 97 C W(+ 6 GL ! !  G' 0 GL ! ! ) * G%w / G%v . g' (   # FJ ' fj !  ' FM * &- ( S..F`r)rrpygments.lexerrrrpygments.tokenrrrr r r r r __all__r LeanLexerrrrrrs  5555555555                      &nnnnnnnnb  jjjjjjjjjjr