ó
    "Eñié  ã                   ó  • % S SK r S SKrS SKJr  \ R                  " \5      r\R                  \R                  \R                  \R                  \R                  \R                  \R                  \R                  \R                  \R                  \R                  \R                  0r\\\R                      \\R"                     4   \S'   \R                  \R                  \R                  \R                  4rS\S\\R"                     S-  4S jr  SS\R                   S\R                   S	\S
\S\\R"                  \R0                  4   S-  4
S jjrS\R                   S\R                   S
\S\R                   4S jrg)é    N)ÚFloorDivÚ_MIRROR_REL_OPÚtypeÚreturnc                 ó,   • [         R                  U 5      $ ©N)r   Úget)r   s    ÚU/home/mande/repo/quber/.venv/lib/python3.13/site-packages/torch/utils/_sympy/solve.pyÚmirror_rel_opr      s   € Ü×Ñ˜dÓ#Ð#ó    ÚexprÚthingÚtrialsÚfloordiv_inequalityc                 óf  • [        [        U 5      5      n[        U [        R                  5      (       a  Uc   [
        R                  S[        U 5      5        g U R                  R                  U5      nU R                  R                  U5      nU(       a  U(       a  [
        R                  SX5        g / nU(       a  UR                  U 5        U(       a,  UR                  U" U R                  U R                  5      5        U H­  nUc  M  [        U[        R                  5      (       d  [        S5      e[        U5       H  n	[        X�US9n
X¨:X  a    OU
nM     [        U[        R                  5      (       d  Mx  UR                  U:X  d  MŠ  [
        R                  SX5        XˆR                  4s  $    g )Nz$expression with unsupported type: %sz0thing (%s) found in both sides of expression: %szexpected sympy.Rel)r   zsolved: %s ---> %s)r   r   Ú
isinstanceÚsympyÚRelÚlogÚdebugÚlhsÚhasÚrhsÚappendÚAssertionErrorÚrangeÚ_try_isolate_lhs)r   r   r   r   ÚmirrorÚlhs_has_thingÚrhs_has_thingÚexpressionsÚeÚ_Útrials              r
   Ú	try_solver%   (   sI  € ô œ4 ›:Ó&€Fô
 �dœEŸI™I×&Ñ&¨&©.Ü�	‰	Ð8¼$¸t»*ÔEØà—H‘H—L‘L Ó'€MØ—H‘H—L‘L Ó'€Mö
 žÜ�	‰	ÐDÀeÔRØð €Kö Ø×Ñ˜4Ô ÞØ×Ñ™6 $§(¡(¨D¯H©HÓ5Ô6ãˆØ‰9Ùä˜!œUŸY™Y×'Ñ'Ü Ð!5Ó6Ð6ä�v–ˆAÜ$ QÐCVÑWˆEà‹zÙØŠAñ ô �aœŸ™×#Ó#¨¯©°­Ü�I‰IÐ*¨DÔ4Ø—e‘e�8ŠOñ# ð& r   r"   c                 óÚ	  ^• [        U 5      n[        U [        R                  5      (       aw  [        U R                  [        R
                  5      (       a)  [        U4S jU R                  R                   5       5      OSnU" U R                  U-
  U R                  U-
  5      n [        U [        R                  5      (       Ga  [        U R                  [        R                  5      (       aê  U R                  u  pV[        R                  " UR                   Vs/ s H  owR                  T5      (       a  M  UPM     sn6 n[        U [        5      (       a  UR                  bu  [        U [        5      (       d  UR                  (       dO  XX-  nXh-  n[        U [        5      (       a  UR                  (       a  [        U5      nUc  [        S5      eU" XV5      n U(       Ga  [        U [        R                  5      (       Gaè  [        U R                  [         5      (       GaÈ  U R                  R"                  R$                  (       Ga¢  U R                  R&                  (       Ga†  [        U [        R(                  5      (       at  U R                  R                  u  pš[        R*                  " [        R,                  " X�R                  U
-  5      [        R.                  " X�R                  S-   U
-  5      5      $ [        U [        R0                  5      (       at  U R                  R                  u  pš[        R2                  " [        R.                  " X�R                  U
-  5      [        R,                  " X�R                  S-   U
-  5      5      $ [        U [        R4                  [        R,                  45      (       a�  [        U [        R,                  5      (       a  U R                  OU R                  S-   n[        R,                  " U R                  R                  S   X°R                  R                  S   -  5      $ [        U [        R.                  [        R6                  45      (       a�  [        U [        R.                  5      (       a  U R                  OU R                  S-   n[        R.                  " U R                  R                  S   X°R                  R                  S   -  5      $ U $ s  snf )Nc              3   óV   >#   • U  H  oR                  T5      (       a  M  Uv •  M      g 7fr   )r   )Ú.0Úar   s     €r
   Ú	<genexpr>Ú#_try_isolate_lhs.<locals>.<genexpr>i   s   øé € Ð:š:�a¯U©U°5¯\—‘š:ùs   ƒ) 	)r   zexpected op to be not Noneé   )r   r   r   r   r   ÚAddÚsumÚargsr   ÚMulr   ÚINEQUALITY_TYPESÚis_negativeÚis_zeror   r   r   ÚdivisorÚis_positiveÚ
is_integerÚEqÚAndÚGeÚLtÚNeÚOrÚGtÚLe)r"   r   r   ÚopÚlhs_not_thingr   r   r)   ÚotherÚ	numeratorÚdenominatorÚquotients    `          r
   r   r   a   s=  ø€ ô 
ˆa‹€Bä�!”U—Y‘Y×Ñô ˜!Ÿ%™%¤§¡×+Ñ+ô Ô:˜1Ÿ5™5Ÿ:š:Ó:Ô:àð 	ñ
 ˆq�u‰u�}Ñ$ a§e¡e¨mÑ&;Ó<ˆô �!”U—Y‘Y×Ò¤J¨q¯u©u´e·i±i×$@Ñ$@Ø—6‘6‰ˆÜ—	’	 s§x¢xÓD¢x !·u±u¸U·|ŸA¡xÑDÐEˆô
 ˜1Ô.×/Ñ/°E×4EÑ4EÑ4MÜ˜1Ô.×/Ñ/°C·K·Kð ‘+ˆCØ‘+ˆCô ˜!Ô-×.Ñ.°5×3D×3DÜ" 2Ó&�à‰zÜ$Ð%AÓBÐBÙ�3“ˆA÷ 	Ü�qœ%Ÿ)™)×$Ò$Ü�q—u‘uœh×'Ò'Ø�E‰E�M‰M×%×%Ð%Ø�E‰E××Ðô �aœŸ™×"Ñ"Ø%&§U¡U§Z¡ZÑ"ˆIÜ—9’9Ü—’˜§U¡U¨[Ñ%8Ó:Ü—’˜§e¡e¨a¡i°;Ñ%>Ó@óð ô �aœŸ™×"Ñ"Ø%&§U¡U§Z¡ZÑ"ˆIÜ—8’8Ü—’˜§U¡U¨[Ñ%8Ó:Ü—’˜§e¡e¨a¡i°;Ñ%>Ó@óð ô �aœ%Ÿ(™(¤E§H¡HÐ-×.Ñ.Ü *¨1¬e¯h©h× 7Ñ 7�q—u’u¸a¿e¹eÀa¹iˆHÜ—8’8˜AŸE™EŸJ™J q™M¨H·u±u·z±zÀ!±}Ñ,DÓFÐFô �aœ%Ÿ(™(¤E§H¡HÐ-×.Ñ.Ü *¨1¬e¯h©h× 7Ñ 7�q—u’u¸a¿e¹eÀa¹iˆHÜ—8’8˜AŸE™EŸJ™J q™M¨H·u±u·z±zÀ!±}Ñ,DÓFÐFà€HùòC Es   ÄS(Ä5S()é   T)Úloggingr   Útorch.utils._sympy.functionsr   Ú	getLoggerÚ__name__r   r7   r;   r9   r>   r=   r:   r   Údictr   ÚBasicr   Ú__annotations__r1   r   ÚintÚboolÚtupleÚExprr%   r   © r   r
   Ú<module>rR      sk  ðÜ ã å 1ð ×Ò˜Ó!€ð 
‡H�Hˆe�h‰hØ	‡H�Hˆe�h‰hØ	‡H�Hˆe�h‰hØ	‡H�Hˆe�h‰hØ	‡H�Hˆe�h‰hØ	‡H�Hˆe�h‰hð<€��T˜%Ÿ+™+Ñ&¨¨U¯Y©Y©Ð7Ñ8ó ð —H‘H˜eŸh™h¨¯©°%·(±(Ð;Ð ð$˜ð $  e§i¡i¡°4Ñ!7ô $ð* Ø $ñ	6Ø
�+‰+ð6à�;‰;ð6ð ð6ð ð	6ð
 ˆ5�9‰9�e—j‘jÐ Ñ! DÑ(õ6ðrRØ‡{�{ðRØ Ÿ;™;ðRØ=AðRà
‡[�[õRr   