§
    OŠtj}=  ã                   ó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© ó    úa/var/www/html/CA-Chatbot/venv/lib/python3.11/site-packages/sympy/assumptions/tests/test_satask.pyú<lambda>ztest_satask.<locals>.<lambda>   s/   € �v¥a¤f­Q¡i¤iµ´½±´½a¼fÅQ¹i¼i¸ZÑ1GÑ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­!¬&µ©)¬)µa´jÅ±m´m°^Ñ#DÔ#D€ r   )r   r   r   r   r   r   Ú
ValueErrorr   ÚzeroÚnonzeroÚyr   r   r   Útest_sataskr$      sá  € å•!”&�‘)”)�QœV¥A™YœYÑ'Ô'¨4Ð/Ð/Ð/Ð/Ý•!”&�‘)”)�aœf¥Q™iœi˜ZÑ(Ô(¨EÐ1Ð1Ð1Ð1Ý•!”&�‘)”)ÑÔÐ$Ð$Ð$å•!”&�‘)”)�QœZ­™]œ]Ñ+Ô+¨tÐ3Ð3Ð3Ð3Ý•!”*�Q‘-”-¥¤­¡¤Ñ+Ô+Ð3Ð3Ð3Ý•!”&�‘)”)�aœj­™mœm˜^Ñ,Ô,Ð4Ð4Ð4Ý•!”*�Q‘-”-¥!¤&­¡)¤) Ñ,Ô,°Ð5Ð5Ð5Ð5å
�:ÐHÐHÑIÔIÐIå	•!”*�Q‘-”-Ñ	 Ô	 ð Fð FÝ•a”f�Q‘i”iÑ Ô  DÐ(Ð(Ð(Ð(Ý•q”z¥!‘}”}�nÑ%Ô%¨Ð.Ð.Ð.Ð.Ý�zÐDÐDÑEÔEÐEðFð Fð Fñ Fô Fð Fð Fð Fð Fð Fð Føøøð Fð Fð Fð Fõ
 •!”&�‘)”)�QœY¥q™\œ\Ñ*Ô*¨eÐ3Ð3Ð3Ð3Ý•!”*�Q‘-”-¥¤­¡¤Ñ+Ô+¨uÐ4Ð4Ð4Ð4Ý•!”&�‘)”)�QœV¥A™YœYÑ'Ô'¨4Ð/Ð/Ð/Ð/Ý•!”&�‘)”)�QœV¥A¥a¡C™[œ[Ñ)Ô)Ð1Ð1Ð1Ý•!”&��1™‘+”+�qœv¥a™yœyÑ)Ô)Ð)Ð)Ð)Ð)Ð)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&  € õ •!”&�‘)”)�aœf¥Q™iœiÑ'­¬µµ!±©¬Ñ5Ô5¸Ð=Ð=Ð=Ð=Ý•!”&��1™‘+”+�qœv¥a™yœy­1¬6µ!©9¬9Ñ4Ñ5Ô5¸Ð=Ð=Ð=Ð=å•'�!œ&¥™)œ)¥Q¤V­A­a©C¡[¤[Ñ1Ô1Ñ2Ô2°dÐ:Ð:Ð:Ð:õ •!”&�‘)”)�aœf¥Q™iœiÑ'­¬µ1µQ±3©¬Ñ8Ô8¸EÐAÐAÐAÐAå•!”&�‘)”)�QœV¥A q¡D™\œ\Ñ*Ô*¨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Ñ"Ô"¥A¤J­q¡M¤MµA´J½q±M´MÑ$AÑBÔBÀdÐJÐJÐJÐJÝ•!”*�Q‘-”-¥!¤*­Q¡-¤-Ñ/µ´½1½q¹5Ñ1AÔ1AÑBÔBÐJÐJÐJõ •!”&��A¥™E™Ñ#Ô#¥Q¤Zµ¡]¤]µQ´ZÅ±]´]Ñ%BÑCÔCÀuÐLÐLÐLÐLå•!”*�R¥™T¥!™V a™ZÑ(Ô(­!¬*µQ©-¬-½!¼*ÅQ¹-¼-Ñ*GÑHÔHÈDÐPÐPÐPÐPÝ•!”*�R¥™T¥!™V a™ZÑ(Ô(­!¬*µ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¡	¤	­A¬Jµq©M¬MÑ 9Ñ:Ô:¸dÐBÐBÐBÐBÝ•!”&��A™‘,”,¥¤	­!¡¤­q¬vµa©y¬yÑ 8Ñ9Ô9¸UÐBÐBÐBÐBå•!”&�‘)”)�QœV¥A¥q¡D™\œ\Ñ*Ô*¨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ÔGÈ4ÐOÐOÐOÐOÝ•!”,˜q‘/”/¥1¤<°°!±Ñ#4Ô#4Ñ5Ô5¸Ð=Ð=Ð=Ð=Ý•!”,˜q‘/”/¥A¤L°¡O¤OÑ3µQ´\À!ÀAÁ#Ñ5FÔ5FÑGÔGÈ4Ð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™#‘,”,¥¤	­!¡¤­q¬y½©|¬|Ñ ;Ñ<Ô<ÐDÐDÐDÝ•!”'�!�A™#‘,”,¥¤­¡
¤
­Q¬WµQ©Z¬ZÑ 7Ñ8Ô8¸EÐ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)   TéÿÿÿÿFr   )
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¥™s¥1™uÑ%Ô%¥q¤|µA¡¤½¼Åa¹¼Ñ'HÝ	Œ
•1‰Œñ(ñ ô Øðð ð å•!”,�q¥™s¥1™uÑ%Ô%¥q¤|µA¡¤½¼ÅA¹¼Ñ'FÝ	Œ
•1‰Œñ(ñ ô Øðð ð ð å•!”,�r¥!™t¥A™vÑ&Ô&­¬
µ1©¬½¼
Å1¹¼Ñ(EÑFÔFÈ$ÐNÐNÐNÐNå•!”,�q¥1™u¥q™yÑ)Ô)­1¬<½©?¬?½Q¼\Í!¹_¼_Ñ+LÝ	Œ
•1‰Œñ,ñ ô Øðð ð å•!”,�q¥1™u¥q™yÑ)Ô)­1¬<½©?¬?½Q¼ZÍ¹]¼]Ñ+JÝ	Œ
•1‰Œñ,ñ ô Øðð ð ð å•!”,�r¥A™v­™zÑ*Ô*­A¬Jµq©M¬M½A¼JÅq¹M¼MÑ,IÑJÔJÈdÐRÐRÐRÐRå•!”,�q¥™s¥1™uÑ%Ô%¥q¤zµ!¡}¤}µq´zÅ!±}´}Ñ'DÝ	Œ
•1‰Œñ(ñ ô Øð ð  ð  ð  å•!”*�Q�q™S¥™UÑ#Ô#¥Q¤Zµ¡]¤]µQ´ZÅ±]´]Ñ%BÝ	Œ
•1‰Œñ&ñ ô Øðð ð ð õ •!”,�q¥1™u¥q™yÑ)Ô)­1¬:µa©=¬=½1¼:Åa¹=¼=Ñ+HÝ	Œ
•1‰Œñ,ñ ô Øð ð  ð  ð  å•!”*�Q¥™U¥Q™YÑ'Ô'­¬µ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™‘+”+�qœv¥a™yœy­1¬5µ©8¬8Ñ3Ñ4Ô4¸Ð<Ð<Ð<Ð<Ý•!”&��1™‘+”+�qœv¥a™yœy­1¬9µQ©<¬<Ñ7Ñ8Ô8¸DÐ@Ð@Ð@Ð@Ý•!”&��1™‘+”+�qœv¥a™yœy­1¬6µ!©9¬9Ñ4Ñ5Ô5¸Ð=Ð=Ð=Ð=Ý•!”&��1™‘+”+�qœu¥Q™xœx­!¬%µ©(¬(Ñ2Ñ3Ô3°uÐ<Ð<Ð<Ð<Ý•!”&��1™‘+”+�qœv¥a™yœyÑ)Ô)Ð1Ð1Ð1Ý•!”&��1™‘+”+�qœu¥Q™xœx­!¬)µA©,¬,Ñ6Ñ7Ô7Ð?Ð?Ð?Ý•!”&��1™‘+”+�qœu¥Q™xœx­!¬%µ©(¬(Ñ2Ñ3Ô3°uÐ<Ð<Ð<Ð<å•!”&��Q™œ‘.”.¥!¤&­¡)¤)Ñ,Ô,°Ð4Ð4Ð4Ð4Ý•!”&��Q™œ‘.”.¥!¤%­¡(¤(Ñ+Ô+¨uÐ4Ð4Ð4Ð4Ý•!”&�‘)”)�QœV¥C­¡F¤F™^œ^Ñ,Ô,Ð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Ð#Ð#Ð#Ð#å•!”%��!™‘*”*�aœf¥Q™iœi­!¬%µ©(¬(Ñ2Ñ3Ô3°uÐ<Ð<Ð<Ð<Ý•!”%��!™‘*”*�aœf¥Q™iœi­!¬)µA©,¬,Ñ6Ñ7Ô7¸5Ð@Ð@Ð@Ð@Ý•!”%��!™‘*”*�aœf¥Q™iœi­!¬&µ©)¬)Ñ3Ñ4Ô4¸Ð=Ð=Ð=Ð=Ý•!”%��!™‘*”*�aœe¥A™hœh­¬­q©¬Ñ1Ñ2Ô2°dÐ:Ð:Ð:Ð:Ý•!”%��!™‘*”*�aœf¥Q™iœiÑ(Ô(Ð0Ð0Ð0Ý•!”%��!™‘*”*�aœe¥A™hœh­¬µ1©¬Ñ5Ñ6Ô6Ð>Ð>Ð>Ý•!”%��!™‘*”*�aœe¥A™hœh­¬­q©¬Ñ1Ñ2Ô2°dÐ:Ð:Ð:Ð:å•!”%��A™œ‘-”-¥¤­¡¤Ñ+Ô+¨uÐ4Ð4Ð4Ð4Ý•!”%��A™œ‘-”-¥¤¥q¡¤Ñ*Ô*¨dÐ2Ð2Ð2Ð2Ý•!”%�‘(”(�AœE¥#¥a¡&¤&™MœMÑ*Ô*Ð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Ð'Ð'Ð'Ð'Ý•!”)�AœFÑ#Ô#Ñ$Ô$¨Ð-Ð-Ð-Ð-å•!”)�A¥™EÑ"Ô"¥A¤I­a¡L¤Lµ1´9½Q±<´<Ñ$?Ñ@Ô@ÀDÐHÐHÐHÐHÝ•!”)�A¥™EÑ"Ô"¥A¤I­a¡L¤LÑ1Ô1Ð9Ð9Ð9å•!”)�A¥™EÑ"Ô"¥A¤I­a¡L¤LµA´I½a±L´L°=Ñ$@ÑAÔAÀUÐJÐJÐJÐJÝ•!”)�A¥™E¥A™IÑ&Ô&­¬	µ!©¬µq´yÅ±|´|Ñ(CÝ	
Œ•1‰Œˆñ)ñ ô Øð ð  ð  ð  å•!”)�A¥™E¥A™IÑ&Ô&­¬	µ!©¬½¼	Å!¹¼°}Ñ(DÝ	
Œ•1‰Œˆñ)ñ ô Øðð ð å•!”)�A¥™E¥A™IÑ&Ô&­¬	µ!©¬½¼	Å!¹¼°}Ñ(DÑEÔEÐMÐMÐMÝ•!”)�A¥™EÑ"Ô"¥A¤I­a¡L¤Lµ1´<Å±?´?Ñ$BÑCÔCÀuÐLÐLÐLÐLå•!”)�A�a™C‘.”.¥!¤)­A¡,¤,µ´½1±´Ñ"=Ñ>Ô>À$ÐFÐFÐFÐFÝ•!”)�A�a™C‘.”.¥!¤)­A¡,¤,Ñ/Ô/Ð7Ð7Ð7å•!”)�A�a™C‘.”.¥!¤)­A¡,¤,µ!´)½A±,´,°Ñ">Ñ?Ô?ÐGÐGÐGÝ•!”)�A�a™C‘.”.¥!¤)­A¡,¤,µ!´*½Q±-´-°Ñ"?Ñ@Ô@ÀEÐIÐIÐIÐIÝ•!”)�A�a™C¥™EÑ"Ô"¥A¤I­a¡L¤Lµ1´9½Q±<´<Ñ$?Ý	
Œ•A‰Œˆñ%ñ ô Ø ð!ð !ð !ð !å•!”)�A�a™C¥™EÑ"Ô"¥A¤I­a¡L¤LµA´J½q±M´M°>Ñ$AÝ	
Œ•A‰Œˆñ%ñ ô Øð ð  ð  å•!”)�A�a™C¥™EÑ"Ô"¥A¤I­a¡L¤LµA´J½q±M´M°>Ñ$AÑBÔBÐJÐJÐJÝ•!”)�A�a™C‘.”.¥!¤)­A¡,¤,µ´½a±´Ñ"@ÑAÔAÀUÐ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¥™VœVÑ$Ô$¥q¤v­a¡y¤y jÑ1Ô1°TÐ9Ð9Ð9Ð9Ý•!”&�‘)”)�aœf¥S­¡V¤V™nœn˜_Ñ-Ô-°Ð6Ð6Ð6Ð6Ý•!”&�‘)”)�QœV¥C­¡F¤F™^œ^Ñ,Ô,°Ð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Ñ"Ô"¥A¤Kµ¡N¤NÑ3Ô3Ð;Ð;Ð;Ý•!”+�a¥™cÑ"Ô"¥A¤Kµ¡N¤NµQ´V½A±Y´YÑ$>Ñ?Ô?À4ÐGÐGÐGÐGÝ•!”+�a‘.”.¥!¤&­¡)¤)Ñ,Ô,°Ð5Ð5Ð5Ð5Ý•!”+˜a‘.”.Ñ!Ô! UÐ*Ð*Ð*Ð*Ý•!”+�a¥™cÑ"Ô"¥A¤F­1¡I¤Iµ´µq±	´	Ñ$9Ñ:Ô:¸eÐCÐCÐCÐCÝ•!”+�a¥!™eÑ$Ô$¥a¤f­Q¡i¤iµ!´&½±)´)Ñ&;Ñ<Ô<ÀÐ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™‘+”+�qœv¥a™yœy­1¬6µ!©9¬9Ñ4Ñ5Ô5¸Ð=Ð=Ð=Ð=Ý•!”&��Q™‘-”-¥¤­¡¤­Q¬VµA©Y¬YÑ!6Ñ7Ô7¸4Ð?Ð?Ð?Ð?Ý•!”&��1™�Q™‘-”-¥¤­¡¤­Q¬VµA©Y¬YÑ!6½¼Å¹¼Ñ!BÑCÔCÀtÐKÐKÐKÐKÝ•!”&��1™�Q™‘-”-¥¤­¡¤­Q¬VµA©Y¬YÑ!6Ñ7Ô7Ð?Ð?Ð?Ý•!”&��1™�Q™‘-”-¥¤­¡¤­Q¬VµA©Y¬YÑ!6½¼ÅQ¹¼Ñ!GÑHÔHÈEÐQÐQÐQÐQÝ•!”&��Q™¥™Ñ#Ô#¥Q¤V­A¡Y¤Yµ´½±´Ñ%:½Q¼VÅA¹Y¼YÑ%FÑGÔGÈ4ÐOÐOÐOÐOÝ•!”&��Q™¥™Ñ#Ô#¥Q¤V­A¡Y¤Yµ´½±´Ñ%:Ñ;Ô;Ð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Ô0°DÐ8Ð8Ð8Ð8Ý•1”:�a‘=”=�.¥!¤*­Q¡-¤-Ñ0Ô0°DÐ8Ð8Ð8Ð8Ý•!”*�Q¥™UÑ#Ô#¥Q¤Zµ¡]¤]µQ´ZÅ±]´]Ñ%BÑCÔCÀtÐKÐKÐKÐKÝ•!”*�Q¥™UÑ#Ô#¥Q¤Zµ¡]¤]µQ´ZÅ±]´]Ñ%BÑCÔCÀtÐKÐKÐKÐKÝ•!”*�Q¥™UÑ#Ô#¥Q¤Zµ¡]¤]µQ´ZÅ±]´]Ñ%BÑCÔCÀuÐLÐLÐLÐLÝ•!”*�Q¥™UÑ#Ô#¥Q¤Zµ¡]¤]µQ´ZÅ±]´]Ñ%BÑCÔCÀuÐ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¡Ñ%Ô%¥q¤zµ!¡}¤}Ñ5Ô5¸Ð=Ð=Ð=Ð=Ý•!”-¥ 1¡Ñ%Ô%¥q¤zµ!¡}¤}Ñ5Ô5¸Ð>Ð>Ð>Ð>Ý•!”*�Q ™TÑ"Ô"¥A¤J­q¡M¤MÑ2Ô2°dÐ:Ð:Ð:Ð:Ý•!”*�Q ™TÑ"Ô"¥A¤J­q¡M¤MÑ2Ô2°eÐ;Ð;Ð;Ð;Ý•!”&�˜A™‘,”,¥¤
­1¡¤Ñ.Ô.°$Ð6Ð6Ð6Ð6å•!”-¥ 1¡Ñ%Ô%¥q¤zµ!¡}¤}Ñ5Ô5¸Ð=Ð=Ð=Ð=Ý•!”-¥ 1¡Ñ%Ô%¥q¤zµ!¡}¤}Ñ5Ô5¸Ð>Ð>Ð>Ð>Ý•!”*�Q ™TÑ"Ô"¥A¤J­q¡M¤MÑ2Ô2°dÐ:Ð:Ð:Ð:Ý•!”*�Q ™TÑ"Ô"¥A¤J­q¡M¤MÑ2Ô2°eÐ;Ð;Ð;Ð;Ý•!”&�˜A™‘,”,¥¤
­1¡¤Ñ.Ô.°$Ð6Ð6Ð6Ð6å•!”-¥ 1¡Ñ%Ô%¥q¤}µQÑ'7Ô'7Ñ8Ô8¸DÐ@Ð@Ð@Ð@Ý•!”-¥ 1¡Ñ%Ô%¥q¤}µQÑ'7Ô'7Ñ8Ô8Ð@Ð@Ð@Ý•!”*�Q ™TÑ"Ô"¥A¤Mµ!Ñ$4Ô$4Ñ5Ô5Ð=Ð=Ð=Ý•!”*�Q ™TÑ"Ô"¥A¤Mµ!Ñ$4Ô$4Ñ5Ô5¸Ð>Ð>Ð>Ð>Ý•!”&�˜A™‘,”,¥¤­aÑ 0Ô 0Ñ1Ô1°TÐ9Ð9Ð9Ð9å•!”-¥ 1¡Ñ%Ô%¥q¤}µQÑ'7Ô'7Ñ8Ô8¸DÐ@Ð@Ð@Ð@Ý•!”-¥ 1¡Ñ%Ô%¥q¤}µQÑ'7Ô'7Ñ8Ô8Ð@Ð@Ð@Ý•!”*�Q ™TÑ"Ô"¥A¤Mµ!Ñ$4Ô$4Ñ5Ô5Ð=Ð=Ð=Ý•!”*�Q ™TÑ"Ô"¥A¤Mµ!Ñ$4Ô$4Ñ5Ô5¸Ð>Ð>Ð>Ð>Ý•!”&�˜A™‘,”,¥¤­aÑ 0Ô 0Ñ1Ô1°TÐ9Ð9Ð9Ð9å•!”-¥ 1¡Ñ%Ô%¥q¤zµ!¡}¤}Ñ5Ô5¸Ð=Ð=Ð=Ð=Ý•!”-¥ 1¡Ñ%Ô%¥q¤zµ!¡}¤}Ñ5Ô5¸Ð>Ð>Ð>Ð>Ý•!”*�Q ™TÑ"Ô"¥A¤J­q¡M¤MÑ2Ô2°dÐ:Ð:Ð:Ð:Ý•!”*�Q ™TÑ"Ô"¥A¤J­q¡M¤MÑ2Ô2°eÐ;Ð;Ð;Ð;Ý•!”&�˜A™‘,”,¥¤
­1¡¤Ñ.Ô.°$Ð6Ð6Ð6Ð6å•!”-¥ 1¡Ñ%Ô%¥q¤zµ!¡}¤}Ñ5Ô5¸Ð>Ð>Ð>Ð>Ý•!”-¥ 1¡Ñ%Ô%¥q¤zµ!¡}¤}Ñ5Ô5¸Ð=Ð=Ð=Ð=Ý•!”*�Q ™TÑ"Ô"¥A¤J­q¡M¤MÑ2Ô2°eÐ;Ð;Ð;Ð;Ý•!”*�Q ™TÑ"Ô"¥A¤J­q¡M¤MÑ2Ô2°dÐ:Ð:Ð:Ð:Ý•!”&�˜A™‘,”,¥¤
­1¡¤Ñ.Ô.°$Ð6Ð6Ð6Ð6å•!”-¥ 1¡Ñ%Ô%¥q¤}µQÑ'7Ô'7Ñ8Ô8¸DÐ@Ð@Ð@Ð@Ý•!”-¥ 1¡Ñ%Ô%¥q¤}µQÑ'7Ô'7Ñ8Ô8Ð@Ð@Ð@Ý•!”*�Q ™TÑ"Ô"¥A¤Mµ!Ñ$4Ô$4Ñ5Ô5Ð=Ð=Ð=Ý•!”*�Q ™TÑ"Ô"¥A¤Mµ!Ñ$4Ô$4Ñ5Ô5¸Ð>Ð>Ð>Ð>Ý•!”&�˜A™‘,”,¥¤­aÑ 0Ô 0Ñ1Ô1°TÐ9Ð9Ð9Ð9å•!”-¥ 1¡Ñ%Ô%¥q¤}µQÑ'7Ô'7Ñ8Ô8Ð@Ð@Ð@Ý•!”-¥ 1¡Ñ%Ô%¥q¤}µQÑ'7Ô'7Ñ8Ô8¸DÐ@Ð@Ð@Ð@Ý•!”*�Q ™TÑ"Ô"¥A¤Mµ!Ñ$4Ô$4Ñ5Ô5¸Ð>Ð>Ð>Ð>Ý•!”*�Q ™TÑ"Ô"¥A¤Mµ!Ñ$4Ô$4Ñ5Ô5Ð=Ð=Ð=Ý•!”&�˜A™‘,”,¥¤­aÑ 0Ô 0Ñ1Ô1°TÐ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  € Ý•!”'�!‘*”*�aœk­!™nœnÑ-Ô-°Ð6Ð6Ð6Ð6Ý•!”+�a‘.”.¥!¤'­!¡*¤*Ñ-Ô-°Ð6Ð6Ð6Ð6Ý•!”+�a‘.”.¥1¤7­1¡:¤: +Ñ.Ô.Ð6Ð6Ð6Ý•!”'�!‘*”*�qœ{­1™~œ~˜oÑ.Ô.Ð6Ð6Ð6å•!”'�!‘*”*�aœi­™lœl­Q¬Z½©]¬]Ñ:½a¼kÍ!¹n¼n¸_Ñ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�!œ&¥¥Q¥q¡S¡¤Ñ*Ô*­Q¬VµAµa±C©[¬[Ñ8Ñ9Ô9€EÝŒ]�1œ6¥!™9œ9Ñ%Ô%€FÝŒm�AœF¥1™IœIÑ&Ô&€GÝ˜EÑ"Ô"¥s­1­Q©3¡x¤xµµ1± oÒ5Ð5Ð5Ð5Ý˜E 6Ñ*Ô*­sµ1µQ±3©x¬x½½1¹½aÐ.@Ò@Ð@Ð@Ð@Ý˜E 6¨7Ñ3Ô3½½A½a¹C¹¼Å!ÅAÁ#ÅqÍ!Ð7LÒLÐLÐLÐLåŒM�"�Q¥™(œ(Ñ#Ô#€EÝŒ]�2�a¥™8œ8Ñ$Ô$€FÝ˜E 6Ñ*Ô*­qµ!µQ¨iÒ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‘‰XŒXˆJ€EÝ(¨Ñ/Ô/�L€Eˆ5Ø•Q•q‘S�EŠ>ˆ>ˆ>ˆ>ØŒ=Ý	•G�AœE¥#¥a­¡c¡(¤(™OœO¨UÑ3Ô3µW½Q¼UÅ1ÅQÁ3¹Z¼ZÈÑ5NÔ5NÐOÑ	PÔ	PÝ•7�1œ6¥#¥a­¡c¡(¤(Ñ+Ô+¨UÑ3Ô3µW½Q¼VÅAÅaÁC¹[¼[È$Ñ5OÔ5OÐPÑQÔQÝ•7�1œ6¥#¥a­¡c¡(¤(Ñ+Ô+¨UÑ3Ô3µW½Q¼VÅAÅaÁC¹[¼[È$Ñ5OÔ5OÐPÑQÔQÝ•7�1œ6¥#¥a­¡c¡(¤(Ñ+Ô+¨TÑ2Ô2µG½A¼FÅ1ÅQÁ3¹K¼KÈÑ4OÔ4OÐPÑQÔQÝ•7�1œ6¥#¥a­¡c¡(¤(Ñ+Ô+¨UÑ3Ô3Ý�AœE¥#¥a­¡c¡(¤(™OœO¨UÑ3Ô3Ý�AœE¥!¥A¡#™JœJ¨Ñ-Ô-ð/ñ 	0ô 	0õ 	•7�1œ6¥#¥a­¡c¡(¤(Ñ+Ô+¨UÑ3Ô3Ý�AœF¥1¥Q¡3™KœK¨Ñ.Ô.Ý�AœE¥#¥a­¡c¡(¤(™OœO¨UÑ3Ô3ð5ñ 	6ô 	6õ 	•7�1œ:¥c­!­A©#¡h¤hÑ/Ô/°Ñ7Ô7Ý�AœF¥3¥q­¡s¡8¤8Ñ,Ô,¨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Ø 'Ð 'Ð 'Ð 'Ð 'Ð 'Ø ;Ð ;Ð ;Ð ;Ð ;Ð ;Ø .Ð .Ð .Ð .Ð .Ð .Ð .Ð .ðð ð ð ð ð ð ð ð ð ð /Ð .Ð .Ð .Ð .Ð .Ð .Ð .ð ˆ'�'Ñ
Ô
�€€1€að*ð *ð *ð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   