
    wg\                     l    d Z ddlmZ ddlmZ ddlmZ ed        Zed        Zed        Z	ed        Z
y	)
zC
Do NOT manually edit this file.
Instead, run ./bin/ask_update.py.
    )Q)Literal)cacheitc            
      %   h t        t        t        j                  d      t        t        j                  d      t        t        j
                  d      f      t        t        t        j                  d      t        t        j                  d      t        t        j
                  d      f      t        t        t        j                  d      t        t        j                  d      t        t        j
                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j
                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j
                  d      f      t        t        t        j                  d      t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                   d      f      t        t        t        j"                  d      t        t        j$                  d      t        t        j                  d      t        t        j&                  d      f      t        t        t        j"                  d      t        t        j$                  d      t        t        j(                  d      f      t        t        t        j"                  d      t        t        j                  d      f      t        t        t        j"                  d      t        t        j&                  d      f      t        t        t        j*                  d      t        t        j,                  d      t        t        j.                  d      f      t        t        t        j*                  d      t        t        j,                  d      f      t        t        t        j*                  d      t        t        j0                  d      f      t        t        t        j*                  d      t        t        j2                  d      f      t        t        t        j*                  d      t        t        j.                  d      f      t        t        t        j$                  d      t        t        j(                  d      t        t        j&                  d      f      t        t        t        j$                  d      t        t        j                  d      f      t        t        t        j$                  d      t        t        j(                  d      f      t        t        t        j$                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j
                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j4                  d      t        t        j6                  d      f      t        t        t        j4                  d      t        t        j6                  d      t        t        j8                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j:                  d      f      t        t        t        j                  d      t        t        j<                  d      f      t        t        t        j>                  d      t        t        j                   d      f      t        t        t        j6                  d      t        t        j@                  d      f      t        t        t        j6                  d      t        t        jB                  d      f      t        t        t        j6                  d      t        t        jD                  d      f      t        t        t        j6                  d      t        t        jB                  d      f      t        t        t        j6                  d      t        t        j8                  d      f      t        t        t        jF                  d      t        t        j                  d      t        t        j                  d      f      t        t        t        jF                  d      t        t        j                  d      t        t        j                  d      f      t        t        t        jF                  d      t        t        j                  d      t        t        j                  d      f      t        t        t        jF                  d      t        t        j                  d      t        t        j                  d      t        t        j                  d      f      t        t        t        jF                  d      t        t        j                  d      f      t        t        t        j,                  d      t        t        jH                  d      t        t        j.                  d      f      t        t        t        j,                  d      t        t        jH                  d      f      t        t        t        j                  d      t        t        j                  d      t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j:                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j<                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j:                  d      t        t        j                  d      f      t        t        t        j:                  d      t        t        j<                  d      f      t        t        t        j:                  d      t        t        j                  d      f      t        t        t        j0                  d      t        t        jD                  d      f      t        t        t        j0                  d      t        t        j8                  d      f      t        t        t        j(                  d      t        t        j                  d      f      t        t        t        jJ                  d      t        t        j                   d      t        t        jD                  d      f      t        t        t        jJ                  d      t        t        j@                  d      f      t        t        t        jJ                  d      t        t        jD                  d      f      t        t        t        j                  d      t        t        j&                  d      f      t        t        t        j                  d      t        t        j<                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j<                  d      t        t        j                  d      f      t        t        t        j8                  d      t        t        j2                  d      f      t        t        t        jH                  d      t        t        jL                  d      f      t        t        t        jH                  d      t        t        j.                  d      f      S )z>
    Known facts between unary predicates as CNF clauses.
    FT)'	frozensetr   r   	algebraic	imaginarytranscendentalnegativepositiverationalzerofiniteantihermitian	hermitiancommutativeinfinitecomplex_elementsreal_elements	compositeevenprimeodddiagonallower_triangularupper_triangularnormal	symmetricfullrank
invertiblesquarenegative_infinitepositive_infiniteinteger_elementspositive_definitesingularunitary
irrational
triangular
orthogonalunit_triangular     d/home/mcse/projects/flask/flask-venv/lib/python3.12/site-packages/sympy/assumptions/ask_generated.pyget_all_known_factsr/   
   s   
H71;;.T0JGTUTdTdfkLlmnH71;;.

D0I7STScScejKklmH 	71;;.

D0I7STScScejKklmH 	71;;.

D0IJK	H
 	71;;.8H8H%0PRYZ[Z`Z`bfRghiH 	71;;-wqxx/GHIH 	71;;-wq7G7G/NOPH 	71??E2GAKK4OQXYZY_Y_aeQfghH 	71??E2GAKK4NOPH 	71==%0'!((D2IJKH 	71==%0'!**d2KLMH 	71--u5wqPT7UVWH 	71;;.0Ewqzz[_G`bijkjqjqsxbyz{H 	71;;-wqvvu/EwquuV[G\]^H 	71;;-wqzz5/IJKH  	71;;-wqww/EFG!H" 	71::u-wq7I7I4/PRYZ[ZlZlnrRstu#H$ 	71::t,ga6H6H%.PQR%H& 	71::t,gahh.FGH'H( 	71::t,gakk5.IJK)H* 	71::t,ga6H6H%.PQR+H, 	71665)7155%+@'!''SWBXYZ-H. 	71665)71664+@AB/H0 	71664('!%%*>?@1H2 	71664('!**e*DEF3H4 	7188U+WQ5E5Et-LMN5H6 	7188T*GAJJ,EFG7H8 	71::u-wq||T/JKL9H: 	71::t,gallE.JGTUT\T\^bLcde;H< 	71;;.

D0IJK=H> 	71;;.

D0IJK?H@ 	71;;.0EFGAHB 	71;;-wqzz4/HIJCHD 	71;;-wqzz4/HIJEHF 	71;;-wqvvt/DEFGHH 	71::u-wq7J7JD/QRSIHJ 	71::u-wq7J7JD/QRSKHL 	71--t4gaoou6UVWMHN 	71<</9L9Ld1STUOHP 	71<</U1KLMQHR 	71<</D1IJKSHT 	71<<.

D0IJKUHV 	71<<.%0HIJWHX 	71<</T1JGTUT^T^`eLfghYHZ 	71<</T1JGTUT^T^`eLfgh[H\ 	71<</U1KWUVU[U[]aMbcd]H^ 	71<<.

E0JGTUT^T^`eLfhopqpvpvx}h~  	A_H` 	71<<.

D0IJKaHb 	71--u5wq||T7RT[\]\n\npuTvwxcHd 	71--t4gallE6RSTeHf 	71::u-wqzz5/I7STS]S]_cKdfmnontntv{f|}~gHh 	71::t,ga6I6I4.PQRiHj 	71::t,gajj$.GHIkHl 	71::t,ga6I6I4.PQRmHn 	71::t,gaffd.CDEoHp 	71..5wqzz47PQRqHr 	71..5wq?R?RTX7YZ[sHt 	71..5wqvvt7LMNuHv 	7188U+WQYY-EFGwHx 	7188T*GAHHe,DEFyHz 	7155$'U)CDE{H| 	71<</$1OQXYZYbYbdhQijk}H~ 	71<<.8K8KU0STUH@ 	71<<.		50IJKAHB 	71::u-wqww/EFGCHD 	71::t,ga6I6I4.PQREHF 	71::t,gaffd.CDEGHH 	71..5wqvvt7LMNIHJ 	7188U+WQ[[$-GHIKHL 	71<</9J9JD1QRSMHN 	71<</9K9KT1RSTOH Hr-   c                     t        t        t        j                  d      t        t        j                  d      f      t        t        t        j
                  d      t        t        j                  d      t        t        j                  d      f      t        t        t        j
                  d      t        t        j                  d      f      t        t        t        j
                  d      t        t        j                  d      f      t        t        t        j
                  d      t        t        j                  d      f      t        t        t        j
                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                   d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j"                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j"                  d      f      t        t        t        j                  d      t        t        j                   d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j$                  d      t        t        j                  d      t        t        j                   d      f      t        t        t        j$                  d      t        t        j                  d      f      t        t        t        j$                  d      t        t        j                   d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j"                  d      t        t        j&                  d      f      t        t        t        j"                  d      t        t        j                  d      f      hS )zK
    Known facts between unary predicates for matrices as CNF clauses.
    FT)r   r   r   r   r   r   r   r   r   r   r   r    r!   r$   r%   r&   r'   r)   r*   r+   r,   r-   r.   get_all_known_matrix_factsr1   Y   s    	71--u5wqPT7UVW71::u-wq7I7I4/PRYZ[ZlZlnrRstu71::t,ga6H6H%.PQR71::t,gahh.FGH71::t,gakk5.IJK71::t,ga6H6H%.PQR71::u-wq||T/JKL71::t,gallE.JGTUT\T\^bLcde71--t4gaoou6UVW71<</9L9Ld1STU71<</U1KLM71<</D1IJK71<<.

D0IJK71<<.%0HIJ71--u5wq||T7RT[\]\n\npuTvwx71--t4gallE6RST7188U+WQYY-EFG7188T*GAHHe,DEF71<</$1OQXYZYbYbdhQijk71<<.8K8KU0STU71<<.		50IJK7188U+WQ[[$-GHI71<</9J9JD1QRS71<</9K9KT1RST1 r-   c            
         h t        t        t        j                  d      t        t        j                  d      t        t        j
                  d      f      t        t        t        j                  d      t        t        j                  d      t        t        j
                  d      f      t        t        t        j                  d      t        t        j                  d      t        t        j
                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j
                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j
                  d      f      t        t        t        j                  d      t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                   d      t        t        j                  d      t        t        j"                  d      f      t        t        t        j                  d      t        t        j                   d      t        t        j$                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j"                  d      f      t        t        t        j                   d      t        t        j$                  d      t        t        j"                  d      f      t        t        t        j                   d      t        t        j                  d      f      t        t        t        j                   d      t        t        j$                  d      f      t        t        t        j                   d      t        t        j                  d      f      t        t        t        j                  d      t        t        j
                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j&                  d      f      t        t        t        j                  d      t        t        j(                  d      f      t        t        t        j*                  d      t        t        j                  d      t        t        j                  d      f      t        t        t        j*                  d      t        t        j                  d      t        t        j                  d      f      t        t        t        j*                  d      t        t        j                  d      t        t        j                  d      f      t        t        t        j*                  d      t        t        j                  d      t        t        j                  d      t        t        j                  d      f      t        t        t        j*                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j                  d      t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j&                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j(                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j&                  d      t        t        j                  d      f      t        t        t        j&                  d      t        t        j(                  d      f      t        t        t        j&                  d      t        t        j                  d      f      t        t        t        j$                  d      t        t        j                  d      f      t        t        t        j                  d      t        t        j"                  d      f      t        t        t        j                  d      t        t        j(                  d      f      t        t        t        j                  d      t        t        j                  d      f      t        t        t        j(                  d      t        t        j                  d      f      S )zJ
    Known facts between unary predicates for numbers as CNF clauses.
    FT)r   r   r   r   r	   r
   r   r   r   r   r   r   r   r   r   r   r   r   r   r"   r#   r(   r,   r-   r.   get_all_known_number_factsr3   y   s	   
071;;.T0JGTUTdTdfkLlmn071;;.

D0I7STScScejKklm0 	71;;.

D0I7STScScejKklm0 	71;;.

D0IJK	0
 	71;;.8H8H%0PRYZ[Z`Z`bfRghi0 	71;;-wqxx/GHI0 	71;;-wq7G7G/NOP0 	71??E2GAKK4OQXYZY_Y_aeQfgh0 	71??E2GAKK4NOP0 	71==%0'!((D2IJK0 	71==%0'!**d2KLM0 	71;;.0Ewqzz[_G`bijkjqjqsxbyz{0 	71;;-wqvvu/EwquuV[G\]^0 	71;;-wqzz5/IJK0 	71;;-wqww/EFG0  	71665)7155%+@'!''SWBXYZ!0" 	71665)71664+@AB#0$ 	71664('!%%*>?@%0& 	71664('!**e*DEF'0( 	7188U+WQ5E5Et-LMN)0* 	7188T*GAJJ,EFG+0, 	71;;.

D0IJK-0. 	71;;.

D0IJK/00 	71;;.0EFG102 	71;;-wqzz4/HIJ304 	71;;-wqzz4/HIJ506 	71;;-wqvvt/DEF708 	71::u-wq7J7JD/QRS90: 	71::u-wq7J7JD/QRS;0< 	71<</T1JGTUT^T^`eLfgh=0> 	71<</T1JGTUT^T^`eLfgh?0@ 	71<</U1KWUVU[U[]aMbcdA0B 	71<<.

E0JGTUT^T^`eLfhopqpvpvx}h~  	AC0D 	71<<.

D0IJKE0F 	71::u-wqzz5/I7STS]S]_cKdfmnontntv{f|}~G0H 	71::t,ga6I6I4.PQRI0J 	71::t,gajj$.GHIK0L 	71::t,ga6I6I4.PQRM0N 	71::t,gaffd.CDEO0P 	71..5wqzz47PQRQ0R 	71..5wq?R?RTX7YZ[S0T 	71..5wqvvt7LMNU0V 	7155$'U)CDEW0X 	71::u-wqww/EFGY0Z 	71::t,ga6I6I4.PQR[0\ 	71::t,gaffd.CDE]0^ 	71..5wqvvt7LMN_0 0r-   c                  TK   i t         j                  t        t         j                  t         j                  t         j                  t         j
                  g      t        t         j                  t         j                  t         j                  t         j                  g      ft         j                  t        t         j                  g      t        g       ft         j                  t        t         j                  g      t        g       ft         j                  t        t         j                  t         j                  t         j
                  g      t        t         j                  t         j                  t         j                  g      ft         j                  t        t         j                  g      t        g       ft         j                  t        t         j                  t         j                  t         j                  t         j                  t         j                  t         j                  t         j                  t         j                   t         j
                  t         j"                  t         j$                  t         j&                  t         j(                  t         j*                  t         j,                  t         j.                  g      t        t         j0                  t         j2                  t         j4                  t         j                  t         j6                  t         j8                  t         j                  t         j:                  t         j                  t         j<                  t         j                  t         j>                  g      ft         j@                  t        t         j@                  t         jB                  t         jD                  t         jF                  t         jH                  t         jJ                  t         jL                  g      t        g       ft         jN                  t        t         j                  t         j                  t         j                  t         jN                  t         j                   t         j
                  t         j"                  t         j$                  t         j,                  t         j.                  g
      t        t         j4                  t         j                  t         j6                  t         j                  t         jP                  t         j                  t         j                  g      ft         j0                  t        t         j                  t         j0                  t         j2                  t         j                  t         j                   g      t        t         j                  t         j                  t         j                  t         j4                  t         j&                  t         j*                  t         j                  t         j<                  t         j>                  g	      ft         j                  t        t         j                  t         j                  t         j                   g      t        t         j0                  t         j4                  t         j8                  t         j                  g      ft         j2                  t        t         j                  t         j2                  t         j                   g      t        t         j                  t         j                  t         j4                  t         j*                  t         j                  t         j<                  g      ft         j                  t        t         j                  t         j                  t         j                   g      t        t         j4                  t         j>                  g      ft         j                  t        t         j                  t         j                  t         j                  t         j                  t         j                   g      t        t         j0                  t         j2                  t         j4                  t         j8                  t         j                  t         j:                  t         j>                  g      ft         j                   t        t         j                  t         j                   g      t        t         j4                  g      ft         j
                  t        t         j                  t         j
                  g      t        t         j                  t         j                  t         j                  g      ft         jR                  t        t         jR                  g      t        g       ft         j"                  t        t         j"                  g      t        g       fi t         j4                  t        t         j                  t         j                  t         j                  t         j
                  t         j4                  g      t        t         j                  t         jN                  t         j0                  t         j                  t         j2                  t         j                  t         j                  t         j                   t         j                  t         j$                  t         j6                  t         j8                  t         j                  t         j&                  t         j:                  t         j(                  t         jP                  t         j*                  t         j                  t         j<                  t         j,                  t         j.                  t         j>                  g      ft         j                  t        t         j                  t         j                  g      t        t         j                  t         j                  t         j                  t         jN                  t         j
                  t         j4                  t         j$                  t         j6                  t         j8                  t         j&                  t         j:                  t         j(                  t         jP                  t         j*                  t         j<                  t         j,                  t         j.                  t         j                  t         j>                  g      ft         j$                  t        t         j                  t         j                  t         j                  t         j                   t         j
                  t         j"                  t         j$                  t         j,                  t         j.                  g	      t        t         j4                  t         j                  t         j6                  t         j                  t         j                  t         j                  g      ft         jT                  t        t         j                  t         jT                  t         jV                  g      t        g       ft         jX                  t        t         jR                  t         jX                  t         jF                  g      t        t         jZ                  g      ft         j6                  t        t         j                  t         j                  t         j                  t         j                   t         j
                  t         j"                  t         j6                  t         j(                  t         j.                  g	      t        t         j                  t         jN                  t         j4                  t         j                  t         j$                  t         j                  t         jP                  t         j                  t         j<                  t         j,                  t         j>                  g      ft         j\                  t        t         j\                  g      t        g       ft         jB                  t        t         jB                  t         jJ                  g      t        g       ft         j8                  t        t         j                  t         j                  t         j0                  t         j2                  t         j                  t         j                   t         j
                  t         j"                  t         j8                  t         j:                  t         j(                  t         j.                  g      t        t         j                  t         j                  t         j                  t         j4                  t         j                  t         j                  t         j&                  t         j*                  t         j                  t         j<                  t         j>                  g      ft         j                  t        t         j                  t         j0                  t         j2                  t         j                  t         j                   t         j                  t         j                  g      t        t         j                  t         j                  t         j                  t         jN                  t         j                  t         j                  t         j
                  t         j4                  t         j$                  t         j6                  t         j8                  t         j&                  t         j:                  t         j(                  t         jP                  t         j*                  t         j                  t         j<                  t         j,                  t         j.                  t         j                  t         j>                  g      ft         j^                  t        t         j^                  g      t        g       ft         j&                  t        t         j                  t         j                  t         j                  t         j                   t         j
                  t         j"                  t         j&                  t         j.                  g      t        t         j0                  t         j4                  t         j                  t         j8                  t         j                  t         j                  g      ft         j:                  t        t         j                  t         j                  t         j2                  t         j                   t         j
                  t         j"                  t         j:                  t         j.                  g      t        t         j                  t         j                  t         j4                  t         j                  t         j                  t         j*                  t         j                  t         j<                  g      ft         j(                  t        t         j                  t         j                  t         j                  t         j                   t         j
                  t         j"                  t         j(                  t         j.                  g      t        t         j4                  t         j                  t         j                  t         j                  t         j>                  g      ft         jD                  t        t         jD                  t         jF                  g      t        g       ft         jP                  t        t         j                  t         j                  t         j                  t         j                  t         j                   t         j
                  t         j"                  t         j$                  t         j(                  t         jP                  t         j,                  t         j.                  g      t        t         jN                  t         j4                  t         j                  t         j6                  t         j                  t         j                  t         j                  t         j>                  g      ft         j`                  t        t         jR                  t         jX                  t         jD                  t         j`                  t         jb                  t         jF                  t         jd                  g      t        t         jZ                  g      fi t         j*                  t        t         j                  t         j                  t         j                  t         j                  t         j                  t         j                   t         j
                  t         j"                  t         j&                  t         j(                  t         j*                  t         j.                  g      t        t         j0                  t         j2                  t         j4                  t         j                  t         j8                  t         j                  t         j:                  t         j                  t         j>                  g	      ft         jb                  t        t         jR                  t         jX                  t         jb                  t         jF                  g      t        t         jZ                  g      ft         j                  t        t         j                  t         j                  t         j                  t         j                  t         j                   t         j                  t         j                  g      t        t         j                  t         j                  t         j                  t         jN                  t         j0                  t         j2                  t         j
                  t         j4                  t         j$                  t         j6                  t         j8                  t         j                  t         j&                  t         j:                  t         j(                  t         jP                  t         j*                  t         j<                  t         j,                  t         j.                  t         j                  t         j>                  g      ft         j<                  t        t         j                  t         j                  t         j                  t         j                  t         j                  t         j                  t         j                   t         j
                  t         j"                  t         j$                  t         j&                  t         j(                  t         j*                  t         j<                  t         j,                  t         j.                  g      t        t         j                  t         j0                  t         j2                  t         j4                  t         j                  t         j6                  t         j8                  t         j                  t         j:                  t         j                  t         j                  t         j>                  g      ft         j,                  t        t         j                  t         j                  t         j                  t         j                   t         j
                  t         j"                  t         j,                  t         j.                  g      t        t         j4                  t         j                  t         j6                  t         j                  t         j                  t         j                  g      ft         j.                  t        t         j                  t         j                  t         j                   t         j
                  t         j"                  t         j.                  g      t        t         j4                  t         j                  t         j                  t         j                  g      ft         jV                  t        t         j                  t         jV                  g      t        g       ft         jZ                  t        t         jZ                  g      t        t         jX                  t         j`                  t         jb                  t         jd                  g      ft         jF                  t        t         jF                  g      t        g       ft         jH                  t        t         jF                  t         jH                  g      t        g       ft         j                  t        t         j                  t         j                  t         j
                  t         j                  g      t        t         j                  t         j                  t         jN                  t         j                  t         j$                  t         j                  t         jP                  t         j                  t         j<                  t         j,                  t         j>                  g      ft         jJ                  t        t         jJ                  g      t        g       ft         jf                  t        t         jJ                  t         jf                  g      t        g       ft         jd                  t        t         jR                  t         jX                  t         jD                  t         jF                  t         jd                  g      t        t         jZ                  g      ft         jL                  t        t         jJ                  t         jL                  g      t        g       ft         j>                  t        t         j                  t         j                  t         j                  t         jN                  t         j                  t         j2                  t         j                   t         j
                  t         j"                  t         j$                  t         j&                  t         j:                  t         j,                  t         j.                  t         j>                  g      t        t         j                  t         j0                  t         j                  t         j                  t         j4                  t         j                  t         j6                  t         j8                  t         j                  t         j(                  t         jP                  t         j*                  t         j                  t         j<                  t         j                  g      fS )a  
    Logical relations between unary predicates as dictionary.

    Each key is a predicate, and item is two groups of predicates.
    First group contains the predicates which are implied by the key, and
    second group contains the predicates which are rejected by the key.

    )4r   r   setr   complexr   r   r"   r#   r
   r   r   r   extended_nonnegativeextended_nonzeroextended_positiveextended_realr   integernonnegativenonzeror   r   realextended_negativeextended_nonpositiver	   r(   r   nonpositiver   r   r   r   r   r!   r   r)   r   r   r   r   r$   r   r    r&   is_true
nonintegerr*   r%   r'   r+   r,   r-   r.   get_known_facts_dictrD      s   f	c1;;qyy!((KLQZZ,,a.A.A	 	f 	
#q/0#b':	f
 	
Q]]O,c"g6f 	
		C		188<=QZZ,,a.A.ABCEf 	
S!"4"4!56B@f 	
c1;;qyy!++	 2 2	Q__ahh			1==!))QZZ		  q**A,B,B	QZZqzz	Q]]A,?,?	!!166+ ,	-f" 	


S!**a&8&8!((AHH	Q\\1#5#57 89<RB#f& 	
akk1==!))QVV	1;;		1::	 q{{AJJ	QUUA$7$7	 'f0 	
c1==!2E2E	 2 2AOO#E FQ[[!00!2E2E	Q]]AJJ0C0C	 	1f: 	
ammQ5K5K	& " 3 3Q[[	

A'' ) *!+;f@ 	
ammQ5K5K	& "Q-@-@	QZZ!4!4agg ? @!AAfF 	
S!--1C1C	" QVV457GfJ 	
c1==!2H2H	A//#B CQ  !"8"8!++	

A''@ 	ABKfR 	
#q}}aoo>?Q[[MSfV 	
3qxx013

	Q0082 43 4WfZ 	


S!**&B0[f\ 	
c1;;-(#b'2]f^ 	
c1??AMM199	!++  !$akk166	Q33	 2 2	Q__ajj!))	ajj!"5"5q}}	qyy!%%	QWWajj!&&!&&&B "CD_fn 	


S!--45sAKK			1;;!++			1<<Q]]	qyy!%%QWW	

AFFA,,aff	<6 87 8ofx 	
		CammQYY	1;;		1::	 q{{AJJ	Q00!2B2BD EFyf@ 	
S!"4"4a6H6H	" r7$AfD 	
sAJJahh?@QZZLEfH 	
sAMM199a6H6H	1;;			166  !++qvvq{{	

AIIq22AEE	QWWajj!&&": ;<IfR 	
		C$c"g.SfT 	
S!"4"4all!CDc"gNUfV 	


S!--A4G4G	 2 2AOO	!++qzz1==!))	  q{{A$:$:	Q[[!**	Q]]AJJ	QWWaff. /0Wfd 	
c1==!2E2E	 2 2AOO	

A''#) *+.			1;;(>(>	QXXq{{AII	ajj!--			155!**a&9&9177	

AFFA,,aff06 ,78eft 	
sALL>*CG4ufv 	
Q]]AIIq7M7M	1;;	 q**AKK	

A'')<)<> ?@wf~ 	
Q]]AIIq7M7M	1;;	 q{{A$7$7	

A''	QWW& '(fH 	
		C		13E3E	1;;		166C DQ[[!**a&9&9	QVV% 	&'IfP 	
3!((+,c"g6QfR 	
Q[[!--	AOOQXXq{{			199aeeQZZ9 : 	QVVQ[[!**all	Q00!2B2B	 	Sf^ 	
sAJJahh	QXXqyy2 3474EG_fb 	


S!--A4J4J	A//	!++q}}aii	  q**A,B,B	QZZQ-@-@	q**AFF4 56cfn 	
c1::q||	QXX#' (),ajj\):<ofr 	
c1==!2H2H	A//	

A''#) *+.			1;;(;(;	!++qyy	ajj!"5"5q}}	qyy!%%QWW	

AFFA,,aff06 ,78sfB 	
#q{{AMM199	 2 2	Q__ahh			1==!))QZZ	

AFF	  "1;;0C0C	QZZ	

A''	Q--qvv#7 8	9CfR 	


S!++q}}aii	1;;

AFFD EQ[[!**all	Q00!2B2BD 	EFSfZ 	
ammQYY	QVV "AKK	Q00$2  34[f` 	
#q111??CDc"gNafb 	


S!**&Q\\1<<	QYY-( )) *cff 	
3z?CG,gfh 	
c188Q[[12CG<ifj 	
3qyy!((	  akk166	

AIIq22AEE	QWWajj!&&!: ;<kfr 	
sALL>*CG4sft 	
Cq/@/@ ABCGLufv 	
		CQ\\188QXX			 !**&(wfz 	
S!,,0B0B!CDc"gN{f| 	
akk1==!))QVV	 6 6	1;;			q}}ajj!&&!&&B C 	Q[[!--q/A/A	Q[[!**all	

A''AEE1::	QWWa&6&68 	9	:}f fr-   N)__doc__sympy.assumptions.askr   sympy.assumptions.cnfr   sympy.core.cacher   r/   r1   r3   rD   r,   r-   r.   <module>rI      si   
 $ ) $L 	L\ 	 	> 	4 	4l 	o 	or-   