https://t.me/AnonymousX5
Server : Apache
System : Linux cvar2.toservers.com 3.10.0-962.3.2.lve1.5.73.el7.x86_64 #1 SMP Wed Aug 24 21:31:23 UTC 2022 x86_64
User : njnconst ( 1116)
PHP Version : 8.4.18
Disable Function : NONE
Directory :  /proc/self/root/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/

Upload File :
current_dir [ Writeable ] document_root [ Writeable ]

 

Current File : //proc/self/root/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyo
�
;�Pc@svdfd��YZdfd��YZdfd��YZdfd��YZdfd	��YZd
fd��YZdS(
tLeftKanExtensioncBs�eZd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Z	d�Z
d	�Zd
�Zd�Z
d�Zd
�ZRS(c	Cs�||_|j|_|jj|�|jj|�|jj||�||_||_g|D]$\}}t|�t|�f^qa|_||_||_	|j
�dS(N(tmodtCattcheck_graphtcheck_rulestAtBttupletRtXtFtgeneral_procedure(	tselfRRRRR	R
tgth((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt__init__s			4		cCs,|j�|j�|j�|j�dS(N(tinitialize_tablestmake_confluent_systemtmake_automatontmake_natural_transformation(R((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR's


cCs i|_i|_|j�dS(N(tobj_to_str_tabletstr_to_obj_tabletmake_initial_rules(R((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR0s		cs�g���fd�}x��jjD]t}�jj|�}�jj|�}�jj|�}�jj|�}t�jj|��}�jj|�}�jj|�}	|r=|}
xW|D]O}�j	j|�}||
kr�t
d|||
f�n�j	j|�}
q�W|
|	kr_t
d||
|	f�q_n"||	kr_t
d||	f�nx7|D]/}
|||
ff||||
�ff�qfWq%Wg�jD]*\}
}�j|
��j|�f^q�}��_
|�_�|�_dS(NcsD�j|�}�j|�}||kr@�j||f�ndS(N(t	make_wordtappend(tatbtawtbw(tReR(sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pytadd_rule;ss9Arrow [%s] with source %s does not compose with target %ss0Arrow %s with target %s does not compose with %ss"Source %s does not match target %s(RtarrowstsourcettargetR	tfotfaRR
Rt
ValueErrorRRRtRktRinit(RRRtsrcattgtatXAtXatFatFsrcatFtgtattRtsrcbtxtyR%((RRsI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR5s<

1:		cCs1|jj|jdd�|_|jj|_dS(Ntdelimt.(RtKnuthBendixR&trst
reductionstRconf(R((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRbscs*�fd��g�xG�jjD]9}x0�jj|�D]}�j||ff�q;Wq"Wtg�jjD]}|gf^qo�}x=�jjj�D])\}\}}||j||f�q�Wtg�j	D]*\}}	�j
|��j
|	�f^q��}
i�xT�j	D]I\}}�j
|�}
x+tdt|
��D]}d�|
| <qKWqWd}�j
j|��x4�D],}||
kr��j||d|�q�q�Wx��D]�}x�|�|�D]�\}}|f}||}|�kr�j||||�q�|�krI||
krI�j||||�q�||
kr��j|||�q�q�Wq�Wx�jjD]q}xh||D]\\}}|f}|�kr��j||||�q�||
kr��j|||�q�q�Wq�Wx��D]�}|�krq�nx{|�|�D]i\}}|f}||}|�kri�j||||�q%�j|�r%�j|||�q%q%Wq�W�����fd�}�jj|�jjd���jj���fd��jjt�}��_|�_�jj�|��_dS(NcsUt|�dkr=t|dt�r=�jj|dd�S�jj|d�SdS(Niii����(tlent
isinstanceRR
R"RR!(te(R(sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR!is%its0ics�i}d||<x;�D]3}�jj|dd�|krd||<qqWx-�D]%}�|�|krUd||<qUqUWx?�j�D]1}x(|D]}||kr�Pq�q�Wd||<q�W�j|�}�jj|�}t|�S(Nii(R
R"tget_compositestget_minimized_dfaRtSolveFSAt
RegularSet(tBitfinalstxitutctstdfatregexp(R)tfsatpplRRR!(sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pytget_RS�s 

 

cs"t�j�|��j�j�S(N(t	KanActionRtirreducibletreduce(R(tKBRR!(sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt<lambda>�s(R;(RtobjectsR	R"RtdictRRtitemsR7t	make_termtrangeR8RtFiniteAutomatontadd_transitionRLRtFunctiontNoneRKRNtKbtFunctortK(RRR0RtfollowsRR/ttgtbRCtvtIRtltrR.tiR;RBtbtermtxibR@tubRJRY((RNR)RHRIRR!sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRfsn+%@

	
	
	
					c
s(�fd������fd�}tg�jjD]}|gf^q7��g�xD�jjD]6}x-�jj|�D]}|||ff�q~WqeWxv�r�}g�x]|D]U}�|�}x@�jjD]2}�jj|�|kr�|||f�q�q�Wq�Wq�Wi}	x��jjD]�}��jj|�}
��jj|�}tg|
D]"}|�j	||f�f^qg�}�j
j||
|�|	|<q+W�j
j��jj�j����j
j|	�jj|	j��}	��_
|	�_�j
j�|	��_dS(NcsBt|�dkr*�jj|dd�S�jj|d�SdS(Niii����(R8R
R"RR!(R:(R(sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR!�scs:�j|�r6�j|���|�j|�ndS(N(RLR(R:(RNtblockRR!(sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pytadd_element�s
(RQRRPRR	R"RR R!RMRRWtvaluesRNRYRZR[(
RRgRRR0toblockR:ttgtRRYtsrcREttab((RNRfRR!sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pytmake_catalogue�s4	+	
 5 $$		cs=i���fd�}�jj|�jjd��_dS(Ncs�|�kr�|S�jj|�}�jj�jj|��}tg|D]$}|�j||ff�f^qN�}�jj|||��|<�|S(N(R	R"R[R
RQRMRRW(RRkRjR0Rl(tget_nat_memoR(sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pytget_nats7(RRWRRPRXtnat(RRo((RnRsI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRs
cCs;|j}djg|D]}|dkr||�^q�S(NR3t(t
obj_to_strtjoin(RR0totsR:((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR(s	cCsW|j}y||SWn;tk
rRtt|��}|||<||j|<|SXdS(N(RtKeyErrortstrR8R(RR0totntn((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRr,s	


cCs|j|S(N(R(RR0((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt
str_to_obj9scCs%|j|�}||jj|�kS(N(RR5RM(RR0ttx((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRL<scCs(|jj|j|��}|j|�S(N(R5RMRRS(RR0tw((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRM@scCs9|j}tg|jd�D]}|r||^q�S(NR3(RRtsplit(RtwordtstoRE((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRSDs	(t__name__t
__module__RRRRRRRmRRRrRyRLRMRS(((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRs					-		c	E			
			RKcBseZd�Zd�ZRS(c	Csm|j|�}|j|�}||�|_||�|_||_||_||_||_||_dS(N(	R R!RkRjRR'ttargetofRLRM(	RRRNRR�RLRMR'R(((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRIs				cCs�|j|�|jkrCtd||j|�|j|jf�n|j|�swtd||j|�|jf�n|j||jf�S(Ns6Target of %r (= %r) does not match source of %r (= %r)sJArgument %r is reducible to %r; and is thus not in the source set K.fo(%r)(R�R't	TypeErrorRRLRM(RRE((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt__call__Ts%(RR�RR�(((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRKHs	R?cBs\eZdZd�Zd�Zd�Zd�Zd�Zd�Ze	de�Z
d�ZRS(	icCs
||_dS(N(tre(RR�((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRgscCs
t|j�S(N(titertuniform(R((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt__iter__jscCs|j|S(N(R�(RR0((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt__getitem__mscCs
t|j�S(N(R8R�(R((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt__len__pscCsA|}|jj|�}|j�}g|D]}t|�^q+S(N(R�tlimitedtsequniR(RtcoveragetNR	txsR0((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pytget_xs_coveredsscCs|j�|jj�S(N(tsimplifyR�R�(R((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pytget_uniformys
tfgetcCs+|js'|jj�|_d|_ndS(Ni(t
is_simplifiedR�t
simplified(R((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR�s	(RR�R�RR�R�R�R�R�tpropertyR�R�(((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR?`s						tObjectTestercBsGeZd�Zd�Zd�Zd�Zd�Zd�Zd�ZRS(cCs+||_|j|_||_||_dS(N(tcategory_testertfunctortobjecttcode(RR�R�R�((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR�s		cCs|jj|jS(N(R�RR�(R((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pytget_all_arrows�scCs|jS(N(R�(R((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pytget_intermediate_test_code�scCsNidd6dd6dd6}djg|jD]}||d|d	^q+�S(
Nsassert e[%r] == e[%r]taseqse[%r] = fa[%r](e[%r])tevalfasassert fo[%r](e[%r])tasfos
ii(RsR�(RtcmapRD((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pytget_python_test_source_code�s

cBsL|j�}i|d6}i|jjd6|jjd6|d6}||U|S(NtargR#R"R:(R�R�R#R"(RR�R�R:td((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pytexecode�s


c
Csi|d6}|jj}|jj}x�|jD]�}|d}|dkry|d\}}}	||||	�||<q/|dkr�|d\}
}	||
||	�std�qq/|dkr|d\}}||||krtd||f�qq/td	|f�q/WdS(
NR�iR�iR�sPredicate failedR�se[%r] != e[%r]sInvalid code: %r(R�R#R"R�R$(
RR�R:R#R"RDRtdsttarRktobtnatnb((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt	intercode�s"

cCs
|j|�S(N(R�(RR�((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyttest�s(	RR�RR�R�R�R�R�R�(((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR��s							tCategoryTestercBs\eZd	d�Zd�Zd�Zd�Zd�Zd�Zd�Z	d�Z
d�ZRS(
cCsC||_|j|_||_||_|dk	r?||_ndS(N(RRktcatR�RRXtget_arrow_name(RRR�RR�((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR�s			cCs
dj|�S(NR3(Rs(RR((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR��scs{�jj}|}i|d6�d|fg�g������fd��x�j|D]}�|�q]W��fS(Ncs}|�kr�|S|d }|d}�j|�}�|�}�jd|||f�|�|<�j||f�|S(Ni����R�(R�R(Rta0ta1tnametna0(tcodest
eval_arrowtmemotmemolistR(sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR��s


(((R�R#R(RR�targnameR#R�R�((R�R�R�R�RsI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pytget_eval_arrows_code�s

cCs|j|�}t|||�S(N(tget_test_object_codeR�(RR�R�((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pytget_object_tester�scCs�g}|jjj}xm|D]e\}}|}|rP|jjj|d�}n|dksh||kr|jd||f�qqW|S(Ni����R�(R�R"RkR�tgraphR!RXR(RR�tmlR�RktarrowtvalueR�((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pytget_test_inclusion_code�scCsNd}|j||�\}}|j||�}|j||�}|||S(NR�(R�tget_test_relations_codeR�(RR�R�t	evalcodesR�trelcodestincodes((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR��s
cs'g��j}�jj}t|������fd��x�|jD]�\}}t|�}t|�}|jj|d�}x�|D]�\}}	|r�|jj|d�}
n|}
||
kr�||}||}||kr�|�}
�|�}�j	d|
|f�qq�q�WqIW�S(Ncs^|�kr�|S�|d �}�j|�}�jd||d|f�|�|<|S(Ni����R�(R�R(R�R�R�(R�R�Rtteval_arrow(sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR�s
ii����R�(
R�R�R#RQt	relationsRR�R R!R(RR�R�R�R#RRRktarrtvalRjtaratarbtvatvb((R�R�RR�sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR�s*	


$cCs |j|�}|j|�|S(N(R�R�(RR�R�ttester((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyttest_object)s
cCs+y|j||�Wnn
Xtd�dS(NsException excepted(R�t	Exception(RR�R�((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyttest_object_fail.s
N(RR�RXRR�R�R�R�R�R�R�R�(((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR��s							'	t_GLUECLAMP_cBsneZd�Zd�Zd�Zd�Zd�Zddd�Zddd�Z	d	�Z
d
�Zd�ZRS(
cCs
|jjjS(N(t_parentR4(R((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt_get_KnuthBendix>scCs
|jjjS(N(R�tFSARU(R((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt_get_FiniteAutomaton?scCs
|jjjS(N(R�tRER>(R((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt
_get_SolveFSA@scCs
|jjS(N(R�R(R((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt_get_CatAscCst||||||�S(N(R(RRRRR	R
((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pytlkeFsiic
s��r|j�}n|jj|jjg�}|j}|j}|jjd�d��}|jjd�d��}|j|||||��i�����fd�}	|jj|	d�j	j
jdd�S(NcSsdgS(Ni((R0((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyROSscSsd�S(NcSs|S(N((R1((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyROSs((R0((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyROSscSs|S(N((R0((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyROTscSsgS(N((R0((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyROTscs|�kr�|S�jj|jj�}�rB|j�}nt��jd�r�t�d�}g}|j�}x�t	d|d�D]5}|j
g|j|�D]}t|�^q��q�Wn:|j
��}|j�}g|D]}t|�^q�}|�|<|S(Ntlengthii(R[R"R�t	rempretuptreversedRvt
startswithtinttget_words_memoRTtextendtget_words_of_lengthRR�R�(R�R�tmaxlenR�R�RbR0(R�tfrom_objectstkeR�(sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt
get_arrowsYs 6
RkRj(
tget_dualRtGraphR�RPR�RZR�RWR[R"RkRX(
RR�R�R�RRRR	R
R�((R�R�R�R�sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt
arrows_mapLs			cCs�t|t�rQ|\}}}|dkr6d�}n|jj|||�}n|dkr~|j|jddd|�}nt|||�S(NcSsd�S(NcSsdS(Ni((R1((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyROvs((R0((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyROvsR�iR�(R9RRXRRZR�RkR�(RR�RR�R"R#Rk((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR�rs!c
Cs�ddg}idd6dd6}|jj||�}|jji|d6|d6|||g�}|jji|d6|d6|||g�}	|jj||	�}
|j||
�\}}|dS(NiiR�R�(ii(ii(RR�RWRZtcolimit(
RtS0tS1tf0tf1RPRRtXoR*R	tcolimit_objecttcolimit_functions((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pytcoequalizer|s,,c
Cs|jjdgi�}g}|jjd�d��}|j|||||�}|jd}|j}g|D]}	|	d^qq}tg|j�D]\\}}
||jjtg|
j�D]\}}||df^q��|
j	|�f^q��}||fS(NicSsdS(Ni((R0((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRO�scSsdS(N(((R0((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRO�s(
RR�RZR�RNRpRQRRRWRk(
RRR	RRR
tlkaR�R�R0tcofRtk((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR��s
		ocCs|j|�}|j||�S(N(R�R�(RR�R�R�R�((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyttest_arrows�sN(
RR�R�R�R�R�R�R�RXR�R�R�R�(((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR�;s					&
	*	"N(RRKR?R�R�R�(((sI/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt<module>s�F%9}

https://t.me/AnonymousX5 - 2025