
    g}=                     N   d dl mZ d dlmZ d dlmZmZ d dlmZm	Z	 d dl
mZ d dlmZ d dlmZ d dlmZ d d	lmZ d d
lmZmZ d dlmZmZmZ d dlmZmZ  ed          \  ZZZ d Z!d Z"d Z#d Z$ed             Z%d Z&d Z'd Z(d Z)d Z*d Z+d Z,d Z-d Z.d Z/d Z0d Z1d Z2d  Z3d!S )"    )Q)assuming)Ipi)EqGt)S)symbols)Abs)Implies)MatrixSymbol)CNFLiteral)sataskextract_predargsget_relevant_clsfacts)raisesXFAILzx y zc                     t          t          j        t                    t          j        t                              du sJ t          t          j        t                    t          j        t                               du sJ t          t          j        t                              J t          t          j        t                    t          j        t                              du sJ t          t          j        t                    t          j        t                              J t          t          j        t                    t          j        t                               J t          t          j        t                    t          j        t                               du sJ t          t          d            t          t          j        t                              5  t          t          j        t                              du sJ t          t          j        t                               du sJ t          t          d            d d d            n# 1 swxY w Y   t          t          j        t                    t          j	        t                              du sJ t          t          j        t                    t          j        t                              du sJ t          t          j        t                    t          j        t                              du sJ t          t          j        t                    t          j        t          t          z                      J t          t          j        t          t          z            t          j        t                              sJ d S )NTFc                      t          t          j        t                    t          j        t                    t          j        t                     z            S N)r   r   realx     _/var/www/html/ai-engine/env/lib/python3.11/site-packages/sympy/assumptions/tests/test_satask.py<lambda>ztest_satask.<locals>.<lambda>   s/    vafQiiafQiiZ1GHH r   c                      t          t          j        t                    t          j        t                               S r   )r   r   r   r   positiver   r   r   r   ztest_satask.<locals>.<lambda>$   s"    6!&))ajmm^#D#D r   )r   r   r   r   r   r   
ValueErrorr   zerononzeroyr   r   r   test_sataskr$      s   !&))QVAYY''4////!&))afQiiZ((E1111!&))$$$!&))QZ]]++t3333!*Q--++333!&))ajmm^,,444!*Q--!&)),,5555
:HHIII	!*Q--	 	  F FafQii  D((((qz!}}n%%....zDDEEEF F F F F F F F F F F F F F F
 !&))QYq\\**e3333!*Q--++u4444!&))QVAYY''4////!&))QVAaC[[))111!&1++qvayy)))))))s   0A,I((I,/I,c            	         t          t          j        t                    t          j        t                    z  t          j        t          t          z                      du sJ t          t          j        t          t          z            t          j        t                    t          j        t                    z            du sJ t          t          t          j        t                    t          j        t          t          z                                du sJ t          t          j        t                    t          j        t                    z  t          j        t          t          z                      du sJ t          t          j        t                    t          j        t          dz                      du sJ dS )z
    Everything in this test doesn't work with the ask handlers, and most
    things would be very difficult or impossible to make work under that
    model.

    TF   N)r   r   r!   r   r#   r   r"   r   r   r   	test_zeror'   -   s&    !&))afQii'!55====!&1++qvayy16!99455===='!&))QVAaC[[1122d:::: !&))afQii'1Q388EAAAA!&))QVAqD\\**d222222r   c                     t          t          j        t          t          z             t          j        t                    t          j        t                    z            du sJ t          t          j        t                    t          j        t                    z  t          j        t          t          z                       du sJ t          t          j        t          t          z             t          j        t                    t          j        t                    z            du sJ t          t          j        t                    t          j        t                    z  t          j        t          t          z                       J t          t          j        t          t          t          z   z            t          j        t                    t          j        t                    z            du sJ t          t          j        t          t          z  t          z  dz             t          j        t                    t          j        t                    z            du sJ t          t          j        t          t          z  t          z  dz
            t          j        t                    t          j        t                    z            J d S )NFT      )r   r   r!   r   r#   r   r"   r   r   r   r   test_zero_positiver+   B   s   !&Q--AA!>??5HHHH!*Q--!*Q--/A??5HHHH!)AE""AJqMMAJqMM$ABBdJJJJ!*Q--!*Q--/1q51A1ABBJJJ !&AE##QZ]]QZ]]%BCCuLLLL!*RT!VaZ((!*Q--!*Q--*GHHDPPPP!*RT!VaZ((!*Q--!*Q--*GHHPPPPPr   c                     t          t          j        t          t          z            t          j        t                    t          j        t                    z            du sJ t          t          j        t          t          z            t          j        t                    t          j        t                    z            du sJ t          t          j        t                    t          j        t          t          z                      du sJ t          t          j        t          t          z            t          j        t                              J d S NTF)r   r   r!   r   r#   r   r"   r   r   r   test_zero_powr.   O   s    !&A,,q		AJqMM 9::dBBBB!&A,,	!qvayy 899UBBBB!&))QVAqD\\**d2222!&A,,q		**22222r   c                      t          ddd          } t          ddd          }t          t          j        | |z            t          j        |           t          j        |          z            du sJ t          t          j        |           t          j        | |z                      du sJ t          t          j        |           t          j        |          z  t          j        | |z                      du sJ d S )NAr*   BT)r   r   r   
invertible)r0   r1   s     r   test_invertibler3   X   s     	S!QAS!QA!,qs##Q\!__q|A%FGG4OOOO!,q//1<!#4#455====!,q//ALOO3Q\!A#5F5FGG4OOOOOOr   c                  p   t          t          j        d                    du sJ t          t          j        d                    du sJ t          t          j        d                    du sJ t          t          j        t          t          z            t          j        t                    t          j        t                    z            J t          t          j        t          t          z            t          j        t                    t          j        t                    z            du sJ d S )Nr*   T   F)r   r   primer   r#   integerr   r   r   
test_primer9   b   s    !'!**%%%%!'!**&&&&!'"++%''''!'!A#,,	!qy|| ;<<DDD!'!A#,,

QWQZZ 788EAAAAAAr   c                  *	   t          t          j        d                    du sJ t          t          j        d                    du sJ t          t          j        d                    du sJ t          t          j        t                              du sJ t          t          j        t                              du sJ t          t          j        d                    du sJ t          t          j        d                    du sJ t          t          j        d                    du sJ t          t          j        t                              du sJ t          t          j        t                              du sJ t          t          j        d                    du sJ t          t          j        d                    du sJ t          t          j        d                    du sJ t          t          j        t                              du sJ t          t          j        t                              du sJ t          t          j        d                    du sJ t          t          j        d                    du sJ t          t          j        d                    du sJ t          t          j        t                              du sJ t          t          j        t                              du sJ t          t          j        d                    du sJ t          t          j        d                    du sJ t          t          j        d                    du sJ t          t          j        t                              du sJ t          t          j        t                              du sJ t          t          j	        d                    du sJ t          t          j	        d                    du sJ t          t          j	        d                    du sJ t          t          j	        t                              du sJ t          t          j	        t                              du sJ d S )Nr)   TFr   )
r   r   r   r   r   negativer!   r"   nonpositivenonnegativer   r   r   test_old_assumpr?   k   s   !*Q--  D((((!*R..!!U****!*Q--  E))))!*Q--  E))))!*R..!!T))))!*Q--  E))))!*R..!!T))))!*Q--  E))))!*Q--  E))))!*R..!!U****!&))%%%%!&**&&&&!&))$$$$!&))%%%%!&**&&&&!)A,,4''''!)B--  D((((!)A,,5((((!)A,,5((((!)B--  D((((!-""##u,,,,!-##$$,,,,!-""##t++++!-""##u,,,,!-##$$----!-""##t++++!-##$$----!-""##t++++!-""##u,,,,!-##$$,,,,,,r   c                     t          t          j        d                    du sJ t          t          j        d                    du sJ t          t          j        t                              du sJ t          t          j        t                              du sJ t          t          j        t
                              du sJ t          t          j        t
                              du sJ t          t          j        t          t          z  t          z            t          j        t                    t          j        t                    z  t          j        t                    z            	 J t          t          j        t          t          z  t          z            t          j        t                    t          j        t                    z  t          j        t                    z            du sJ t          t          j        t          t          z  t          z            t          j        t                    t          j        t                    z            du sJ t          t          j        t          t          z   t          z             t          j        t                    t          j        t                    z  t          j        t                    z            	 J t          t          j        t          t          z   t          z             t          j        t                    t          j        t                    z  t          j        t                    z            du sJ t          t          j        t          t          z   t          z             t          j        t                    t          j        t                    z            du sJ t          t          j        t          t          z  t          z            t          j        t                    t          j        t                    z  t          j        t                    z            du sJ t          t          j        t          t          z  t          z            t          j        t                    t          j        t                    z  t          j        t                    z            du sJ t          t          j        t          t          z   t          z             t          j        t                    t          j        t                    z  t          j        t                    z            du sJ t          t          j        t          t          z   t          z             t          j        t                    t          j        t                    z  t          j        t                    z            du sJ d S )Nr&   FT)	r   r   
irrationalrationalr   r   r   r#   zr   r   r   test_rational_irrationalrD      sH   !,q//""e++++!*Q--  D((((!,r""##t++++!*R..!!U****!,q//""e++++!*Q--  E))))!,qs1u%%q|Aa'H	
1(    !,qs1u%%q|AA'F	
1(     !,r!tAv&&
1
1(EFF$NNNN!,q1uqy))1<??Q\!__+L	
1,    !,q1uqy))1<??QZ]]+J	
1,     !,rAvz**AJqMMAJqMM,IJJdRRRR!,qs1u%%qz!}}qz!}}'D	
1(         !*QqSU##QZ]]QZ]]%B	
1&      !,q1uqy))1:a==1:a==+H	
1,         !*QUQY''AA)F	
1*       r   c                     t          t          j        d                    du sJ t          t          j        d                    du sJ t          t          j        t          t          z            t          j        t                    t          j        t                    z            du sJ t          t          j        t          t          z            t          j        t                    t          j        t                    z            du sJ t          t          j        t          t          z            t          j        t                    t          j        t                    z            du sJ t          t          j        t          t          z            t          j        t                    t          j        t                    z            du sJ t          t          j        t          t          z            t          j        t                              J t          t          j        t          t          z            t          j        t                    t          j        t                    z            J t          t          j        t          t          z            t          j        t                    t          j        t                    z            du sJ t          t          j        t          t                              t          j        t                              du sJ t          t          j        t          t                              t          j        t                              du sJ t          t          j        t                    t          j        t          t                                        J d S )Nr&   T   F)r   r   evenr   r#   oddr8   absr   r   r   test_even_sataskrJ      se   !&))$$$$!&))%%%%!&1++qvayy1588344<<<<!&1++qvayy19Q<<788D@@@@!&1++qvayy16!99455====!&1++quQxx!%((233u<<<<!&1++qvayy))111!&1++quQxx!)A,,677???!&1++quQxx!%((233u<<<<!&Q..!&)),,4444!&Q..!%((++u4444!&))QVCFF^^,,44444r   c                     t          t          j        d                    du sJ t          t          j        d                    du sJ t          t          j        t          t          z            t          j        t                    t          j        t                    z            du sJ t          t          j        t          t          z            t          j        t                    t          j        t                    z            du sJ t          t          j        t          t          z            t          j        t                    t          j        t                    z            du sJ t          t          j        t          t          z            t          j        t                    t          j        t                    z            du sJ t          t          j        t          t          z            t          j        t                              J t          t          j        t          t          z            t          j        t                    t          j        t                    z            J t          t          j        t          t          z            t          j        t                    t          j        t                    z            du sJ t          t          j        t          t                              t          j        t                              du sJ t          t          j        t          t                              t          j        t                              du sJ t          t          j        t                    t          j        t          t                                        J d S )Nr&   FrF   T)r   r   rH   r   r#   rG   r8   rI   r   r   r   test_odd_sataskrL      se   !%((u$$$$!%((t####!%!**afQii!%((233u<<<<!%!**afQii!)A,,6775@@@@!%!**afQii!&))344====!%!**aeAhhq122d::::!%!**afQii((000!%!**aeAhh1566>>>!%!**aeAhhq122d::::!%A--++u4444!%A--q**d2222!%((AE#a&&MM**22222r   c                  ,   t          t          j        d                    du sJ t          t          j        t          j                            du sJ t          t          j        t
          t          z             t          j        t
                    t          j        t                    z            du sJ t          t          j        t
          t          z             t          j        t
                              J t          t          j        t
          t          z             t          j        t
                    t          j        t                     z            du sJ t          t          j        t
          t          z   t          z             t          j        t
                    t          j        t                    z  t          j        t                     z            du sJ t          t          j        t
          t          z   t          z             t          j        t
                    t          j        t                     z  t          j        t                     z            	 J t          t          j        t
          t          z   t          z             t          j        t
                    t          j        t                     z            J t          t          j        t
          t          z             t          j        t
                    t          j        t                    z            du sJ t          t          j        t
          t          z            t          j        t
                    t          j        t                    z            du sJ t          t          j        t
          t          z            t          j        t
                              J t          t          j        t
          t          z            t          j        t
                    t          j        t                     z            J t          t          j        t
          t          z            t          j        t
                    t          j	        t                     z            du sJ t          t          j        t
          t          z  t          z            t          j        t
                    t          j        t                    z  t          j	        t                     z            du sJ t          t          j        t
          t          z  t          z            t          j        t
                    t          j	        t                     z  t          j	        t                     z            	 J t          t          j        t
          t          z  t          z            t          j        t
                    t          j	        t                     z            J t          t          j        t
          t          z            t          j        t
                    t          j        t                    z            du sJ d S )Nr)   TF)
r   r   r8   r	   Halfr   r#   rC   rA   rB   r   r   r   test_integerrO      sK   !)A,,4''''!)AF##$$----!)AE""AIaLL19Q<<$?@@DHHHH!)AE""AIaLL11999!)AE""AIaLLAIaLL=$@AAUJJJJ!)AEAI&&	!qy||(C	
1)         !)AEAI&&	!	!}(D	
1)    !)AEAI&&	!	!}(DEEMMM!)AE""AIaLL1<??$BCCuLLLL!)AaC..!)A,,1"=>>$FFFF!)AaC..!)A,,//777!)AaC..!)A,,!)A,,">??GGG!)AaC..!)A,,!*Q--"?@@EIIII!)AaCE""AIaLL19Q<<$?	
A%   ! ! ! !!)AaCE""AIaLLAJqMM>$A	
A%       !)AaCE""AIaLLAJqMM>$ABBJJJ!)AaC..!)A,,a"@AAUJJJJJJr   c                     t          t          j        t          t                                        du sJ t          t          j        t          t                              t          j        t                               du sJ t          t          j        t                    t          j        t          t                                         du sJ t          t          j        t                    t          j        t          t                                        du sJ t          t          j        t                    t          j        t          t                                         J t          t          j        t          t                              t          j        t                              du sJ d S r-   )r   r   r>   rI   r   r   r!   r"   r   r   r   test_absrQ      s)   !-A''((D0000!*SVV$$qvayyj11T9999!&))afSVVnn_--6666!&))QVCFF^^,,4444!)A,,A00888!&Q..!&)),,444444r   c                     t          t          j        dt          z                      du sJ t          t          j        t          t
          z            t          j        t                              J t          t          j        t          t
          z            t          j        t                    t          j        t
                    z            du sJ t          t          j        t                    t          j        t                              du sJ t          t          j        d                    du sJ t          t          j        t          t
          z            t          j        t                    t          j        t
                    z            du sJ t          t          j        t          t
          z             t          j        t                    t          j        t
                    z            du sJ d S )Nr&   TFr)   )r   r   	imaginaryr   r   r#   r   r   r   r   test_imaginaryrT      sa   !+ac""##t++++!+ac""AKNN33;;;!+ac""AKNNQVAYY$>??4GGGG!+a..!&)),,5555!+a..!!U****!+ac""AF1IIq		$9::eCCCC!+a!e$$afQii!&))&;<<EEEEEEr   c                  b   t          t          j        t          t          z            t          j        t                    t          j        t                    z            du sJ t          t          j        t          t          z             t          j        t                    t          j        t                    z            du sJ t          t          j        t          t          z  t
          z            t          j        t                    t          j        t                    z  t          j        t
                    z            du sJ t          t          j        t          t          z  t
          z            t          j        t                    t          j        t                    z            J t          t          j        t          t          z  t
          z            t          j        t                    t          j        t                    z  t          j        t
                    z            du sJ t          t          j        t          t          z   t
          z             t          j        t                    t          j        t                    z  t          j        t
                    z            du sJ t          t          j        t          t          z   t
          z             t          j        t                    t          j        t                    z            J d S r-   )r   r   r   r   r#   rC   rS   r   r   r   	test_realrV     s   !&1++qvayy16!99455====!&Q--QVAYY!6774????!&1Q--QVAYY!6!BCCtKKKK!&1Q--QVAYY!677???!&1Q--QVAYY!6Q!GHHEQQQQ!&Q##QVAYY%:QVAYY%FGG4OOOO!&Q##QVAYY%:;;CCCCCr   c                  2   t          t          j        t                     t          j        t                              du sJ t          t          j        t                     t          j        t                              du sJ t          t          j        t          t
          z             t          j        t                    t          j        t
                    z            du sJ t          t          j        t          t
          z             t          j        t                    t          j        t
                    z            du sJ t          t          j        t          t
          z             t          j        t                    t          j        t
                    z            du sJ t          t          j        t          t
          z             t          j        t                    t          j        t
                    z            du sJ d S r-   )r   r   r   r   r<   r#   r   r   r   test_pos_negrX     sZ   1:a==.!*Q--00D88881:a==.!*Q--00D8888!*QU##QZ]]QZ]]%BCCtKKKK!*QU##QZ]]QZ]]%BCCtKKKK!*QU##QZ]]QZ]]%BCCuLLLL!*QU##QZ]]QZ]]%BCCuLLLLLLr   c                     t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              J t          t          j        t          dz            t          j        t                              J t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              J t          t          j        t          dz            t          j        t                              J t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              J t          t          j        t          dz            t          j        t                              J t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              J t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              J t          t          j        t          dz            t          j        t                              du sJ t          t          j        t          dz            t          j        t                              J t          t          j        t          dz            t          j        t                              J t          t          j        t          dz            t          j        t                              J t          t          j        t          dz            t          j        t                              J t          t          j        t          dz            t          j        t                              J d S )Nr&   TFrF   )r   r   r>   r   r   r=   r<   r   r   r   r   test_pow_pos_negr[     s   !-1%%qz!}}55====!-1%%qz!}}55>>>>!*QT""AJqMM22d::::!*QT""AJqMM22e;;;;!&A,,
1..$6666!-1%%qz!}}55====!-1%%qz!}}55>>>>!*QT""AJqMM22d::::!*QT""AJqMM22e;;;;!&A,,
1..$6666!-1%%q}Q'7'788D@@@@!-1%%q}Q'7'788@@@!*QT""AM!$4$455===!*QT""AM!$4$455>>>>!&A,,a 0 011T9999!-1%%q}Q'7'788D@@@@!-1%%q}Q'7'788@@@!*QT""AM!$4$455===!*QT""AM!$4$455>>>>!&A,,a 0 011T9999!-1%%qz!}}55====!-1%%qz!}}55>>>>!*QT""AJqMM22d::::!*QT""AJqMM22e;;;;!&A,,
1..$6666!-1%%qz!}}55>>>>!-1%%qz!}}55====!*QT""AJqMM22e;;;;!*QT""AJqMM22d::::!&A,,
1..$6666!-1%%q}Q'7'788D@@@@!-1%%q}Q'7'788@@@!*QT""AM!$4$455===!*QT""AM!$4$455>>>>!&A,,a 0 011T9999!-1%%q}Q'7'788@@@!-1%%q}Q'7'788D@@@@!*QT""AM!$4$455>>>>!*QT""AM!$4$455===!&A,,a 0 011T9999 !-2&&a(8(899AAA!-2&&a(8(899AAA!*QU##Q]1%5%566>>>!*QU##Q]1%5%566>>>!&B--q!1!122:::::r   c                  $   t          t          j        t                    t          j        t                              du sJ t          t          j        t                    t          j        t                              du sJ t          t          j        t                    t          j        t                               J t          t          j        t                    t          j        t                               J t          t          j        t                    t          j        t                    t          j        t                    z  t          j        t                     z            J t          t          j        d                    du sJ t          t          j        d                    du sJ t          t          j        d                    du sJ t          t          j        d                    du sJ d S )NFr&   T   r)   )r   r   r7   r   	compositer8   r   r   r   r   test_prime_compositer_   P  st   !'!**ak!nn--6666!+a..!'!**--6666!+a..171::+..666!'!**q{1~~o..666!'!**aillQZ]]:ak!nn_LMMUUU!'!**%%%%!'!**&&&&!'!**&&&&!+a..!!U******r   c                     t          j        t          j        t	          t
          t          z                      t          j        t
          t          z            z            } t          j        t          j        t
                              }t          j        t          j        t                              }t          |           t	          t
          t          z            t
          t          z  hk    sJ t          | |          t	          t
          t          z            t
          t          z  t
          hk    sJ t          | ||          t	          t
          t          z            t
          t          z  t
          t          hk    sJ t          j        t          t
          t                              } t          j        t          t          t                              }t          | |          t
          t          t          hk    sJ d S r   )r   	from_propr   r!   r   r   r#   r   r   r   rC   )propsassumpcontexts      r   test_extract_predargsre   ]  sH   M!&QqS**QVAaC[[899E]16!99%%FmAF1II&&GE""s1Q3xx1o5555E6**s1Q3xx1a.@@@@@E6733AaC!A#q!7LLLLLM"Q((##E]2a88$$FE6**q!Qi777777r   c                  2   t          t          t          z            h} t          |           \  } }| t          t          z  hk    sJ |j        t          t          t          j        t          t          t          z                      d          t          t          j        t          t          z            d          h          t          t          t          j	        t          t          t          z                      d          t          t          j	        t          t          z            d          h          t          t          t          j
        t          t          t          z                      d          t          t          j
        t          t          z            d          h          t          t          t          j	        t          t          t          z                      d          t          t          j	        t          t          z            d          h          t          t          t          j
        t          t          t          z                      d          t          t          j        t          t          t          z                      d          t          t          j        t          t          z            d          h          t          t          t          j
        t          t          t          z                      d          t          t          j
        t          t          z            d          t          t          j        t          t          t          z                      d          h          t          t          t          j        t          t          t          z                      d          t          t          j	        t          t          t          z                      d          h          hk    sJ d S )NFT)r   r   r#   r   clauses	frozensetr   r   rH   r!   rG   r   )exprsfactss     r   test_get_relevant_clsfactsrk   j  s   1XXJE(//LE5QqSE>>>>=	GAE#ac((OOU33WQU1Q3ZZ5N5NO	P	P716#ac((++U33WQVAaC[[$5O5OPQQ716#ac((++U33WQVAaC[[$5O5OPQQ716#ac((++T22GAF1Q3KK4O4OPQQ716#ac((++U33AE#ac((OOU33AE!A#JJ--/ 	0 	0 	716#ac((++U33AF1Q3KK..AE#ac((OOU335 	6 	6 	71:c!A#hh//77AF3qs88,,e446 	7 	7	88 8 8 8 8 8r   N)4sympy.assumptions.askr   sympy.assumptions.assumer   sympy.core.numbersr   r   sympy.core.relationalr   r   sympy.core.singletonr	   sympy.core.symbolr
   $sympy.functions.elementary.complexesr   sympy.logic.boolalgr   "sympy.matrices.expressions.matexprr   sympy.assumptions.cnfr   r   sympy.assumptions.sataskr   r   r   sympy.testing.pytestr   r   r   r#   rC   r$   r'   r+   r.   r3   r9   r?   rD   rJ   rL   rO   rQ   rT   rV   rX   r[   r_   re   rk   r   r   r   <module>rx      sx   # # # # # # - - - - - - & & & & & & & & * * * * * * * * " " " " " " % % % % % % 4 4 4 4 4 4 ' ' ' ' ' ' ; ; ; ; ; ; . . . . . . . .          / . . . . . . . ''

1a* * *23 3 3*
Q 
Q 
Q3 3 3 P P PB B B#- #- #-L  >5 5 5"3 3 3"K K K85 5 5F F FD D DM M M6; 6; 6;x
+ 
+ 
+
8 
8 
88 8 8 8 8r   