+
    hA                     	   R t . R%Ot]! . R&]! R,4      3NR-]! R54      3NR6]! R74      3NR8]! R:4      3NR']! R74      3NR;]! RK4      3NR(]! RL4      3NR<]! RM4      3NRN]! RZ4      3NR.]! R74      3NR[]! R\4      3NR/]! R]4      3NR^]! R`4      3NR=]! Ra4      3NRO]! Rb4      3NR>]! Rc4      3NR_]! Rd4      3NR?]! Re4      3NRP]! Rf4      3NR@]! Rg4      3NRQ]! Rh4      3NRA]! Ri4      3NRR]! Rj4      3NRB]! Rk4      3NR)]! Rl4      3NRm]! Ro4      3NRS]! R74      3NRp]! Rq4      3NRr]! Rs4      3NR9]! R74      3NRn]! Rt4      3NR*]! Ru4      3NRT]! Rv4      3NR0]! Rw4      3NRx]! Rz4      3NRC]! R74      3NR{]! R}4      3NRD]! R74      3NRy]! R~4      3NRE]! R74      3NRU]! R4      3NRF]! R4      3NR|]! R4      3NRG]! R4      3NRV]! R4      3NRH]! R4      3NR]! R4      3NR1]! R74      3NRW]! R4      3NRI]! R4      3NR]! R4      3NR2]! R74      3NRX]! R4      3NR3]! R4      3NRY]! R4      3NRJ]! R4      3NR]! R4      3NR+]! R74      3NR]! R4      3NR4]! R74      3N4      t/ R0 RmbRR0bR0 RmbR0 RmbR0 RmbR0 RmbR0 RmbR0 RmbR	0 RmbR
0 RmbR0 RmbR0 RmbR0 RmbR0 RmbR0 RmbR0 RmbR0 RmbR0 RmR0 RmR0 RmR0 RmR0 RmR0 RmR0 RmR0 RmR0 RmR0 RmR0 RmR0 RmR0 Rm/Ct. 0 RmRN3N0 RmR/3NRTR10R[3N0 RmR^3NR_RP0R^3NR=RR0RO3NRARR0R_3NRRR40RP3N0 RmRQ3NRORP0RQ3NR*RJ0RB3N0 RmRB3NRRRJ0Rn3NR3RY0Rx3N0 RmR{3NR|RV0R{3NR^R)0R{3NRRR00Ry3NRDRY0RU3NROR)0RU3NRIRY0R|3NR_R)0R|3NRPR)0RV3NR/RT0R3N0 RmRI3N0 RmRW3NRURV0RW3NRQR)0RW3N0 RmR3N0 RmRJ3NRRR*0RY3NRRR)0RY3NR-R(0R3N0 RmR3N0 RmR3NROR_0R3NRUR|0R3Nt/ R-. RObR&. RObR8. bR;. bR<. RObR(. RObR.. RObRN^^.bR/. RObR[. RObR=. RObR^. RObR>. RObRO. RObR?. RObR_. RObR@. ROb/ RP. RObRA. RObRQ. RObRB. bRR. RObRm. RObR). RObRp. RObRr^ .bR*. RObRn. RObR0. RObRT. RObRx. RObRD. RObR{. RObRy. RObC/ RF. RObRU. RObRG. RObR|. RObRH. RObRV. RObR1^.bR. RObRI. RObRW. RObR2. RObR^^.bR3. RObRX. RObRJ. RObRY. RObR. RObCR4. ROR. /CtR]R ]R!]R"]R#]/tR$# )zC
Do NOT manually edit this file.
Instead, run ./bin/ask_update.py.
	algebraicantihermitiancommutativecomplex	compositeevenextended_negativeextended_nonnegativeextended_nonpositiveextended_nonzeroextended_positiveextended_realfinite	hermitian	imaginaryinfiniteinteger
irrationalnegative
nonintegernonnegativenonpositivenonzerooddpositiveprimerationalrealtranscendentalzerodefined_factsfull_implicationsprereq
beta_rulesbeta_triggersN)r   r   r   r   r   r   r   r	   r
   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   Tr   Tr   Tr   Tr   Fr   F)r&   r'   r(   r)   r*   r   Fr   Fr   Fr   Fr   Fr   Fr   Fr   F)r,   r-   r.   r/   r0   r1   r2   r   T )r   Fr   F)r5   )r   Fr   Fr   Fr	   Fr
   Fr   Fr   Fr   Fr   Fr   Fr   Fr   Fr   Fr   Fr   Fr   F)r+   r6   r,   r-   r7   r8   r9   r:   r;   r<   r5   r.   r=   r>   r?   r@   rA   rB   r/   rC   r0   r1   rD   r*   r2   )r&   r(   r)   )r+   r,   r-   r5   r.   r=   r>   r@   rA   rB   r/   rC   r0   r1   rD   r*   r2   )r   Tr	   Tr   Tr   Tr   Tr   Tr   Tr   Tr   Tr   Tr   Tr   T)r%   r&   r'   r7   rE   r9   rF   rG   rH   r(   rI   r5   r)   rJ   r=   r>   r?   rK   rA   rL   rM   r0   rN   rO   r*   r2   r   T)r%   r&   r'   rH   r(   rI   r5   r)   rJ   r=   r?   r/   rN   rO   r*   )r2   r   Tr
   T)r&   r,   r8   rR   rF   r;   rH   r5   r@   rC   r0   r2   )r>   )r&   r7   rH   r5   r>   )r,   r;   r@   rC   r0   r2   )r&   r,   r;   rH   r5   rC   r0   )r7   r>   rA   r2   )r&   rH   r5   r2   )r,   r7   r;   r>   rB   rC   r0   )
r&   r7   rE   r9   rF   rH   r5   r>   rA   r2   )r,   rC   r0   )r&   r5   )r,   r-   r7   r8   r9   r:   r;   r.   r=   r>   r?   r@   rA   rB   r/   rC   r0   r1   rD   r2   )r)   r   Fr   T)r+   r6   r,   r-   r5   rT   r.   r=   r>   r@   rA   rB   r/   rC   r0   r1   rD   r*   r2   )r   F)r,   r-   r.   r=   r>   r@   rA   rB   r/   rC   r0   r1   rD   r2   )r   T)r3   r&   r'   r,   r-   r7   r8   r9   r:   r;   r<   r(   r)   r.   r=   r>   r?   r@   rA   rB   r/   rC   r0   r1   rD   r2   )r+   r6   r,   r-   rS   r5   r.   r=   r>   r@   rA   rB   r/   rC   r0   r1   rD   r*   r2   )r(   )r%   r&   r'   rH   r(   rI   r5   r)   r=   r?   rN   rO   r*   )r,   r-   r/   r0   r2   )r   Tr   T)r&   r'   r,   r-   rF   rH   r(   rI   r5   r)   r.   rU   rL   r/   r0   r1   rO   r2   )r   Tr   T)r&   r'   r,   rQ   r8   rR   rF   r;   rH   r(   rI   r5   r)   r@   rV   rL   rC   r0   rO   r2   )
r&   r,   r-   rF   rH   r5   r.   r/   r0   r2   )r&   r'   r7   rE   rH   r(   rI   r5   r)   r>   rO   )r,   rC   r0   r2   )r&   r'   r,   rR   r;   rH   r(   rI   r5   r)   rC   r0   rO   )r>   r2   )
r&   r'   rF   rH   r(   rI   r5   r)   rO   r2   )r,   r>   rC   r0   )r   T)r%   r&   r'   r-   rF   rH   r(   rI   r5   r)   rJ   r=   r?   rL   rN   rO   r*   r2   )r&   r'   r7   rE   r9   rF   rG   rH   r(   rI   r5   r)   r>   rK   rA   rL   rO   r2   )r,   r0   )r   T)r%   r&   r'   r,   r7   rE   r9   rF   rG   rH   r(   rI   r5   r)   rJ   r=   r>   r?   rK   rA   rL   rM   rN   rO   r*   r2   )r%   r&   r'   rH   r(   rI   r5   r)   r=   rO   r*   )r,   r-   r.   r/   r0   r2   )r&   r'   rH   r(   rI   r5   r)   )r,   r-   r.   r=   r>   r@   rA   rB   r/   rC   r0   r1   r2   )r   T)r+   r&   r'   r,   r-   r(   r)   r.   r/   r0   r1   r2   )r   T)r%   r&   r'   r,   rP   r7   rE   rR   r:   r;   rH   r(   rI   r5   r)   rJ   r=   r>   r?   rK   rV   rB   r/   rC   r0   rN   rO   r*   >   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r	   r
   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r	   r
   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r	   r
   >   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r	   r
   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r	   r
   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r	   r
   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r	   r
   >
   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r	   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r
   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r	   r
   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r	   r
   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r	   r
   >   rP   r0   rM   >   r0   rM   r,   >   r2   rH   r;   >   r2   rH   r7   >   r2   r7   r;   >   rO   r2   rC   >   rP   r0   r,   >   rO   r2   r>   >   rP   rM   r,   >   r2   r>   rC   >   rH   r7   r;   >   rO   r>   rC   )
                               )
                        )ra      rX   rY   rZ   r_   r`   )	rW   ra   rb   rc   rd   re   rf   rg   rh   )         )   rX   rY   rZ   r[   r\   r]   r`   )rY   !   rZ         r\   "   r]         rd   re   rf   rg   rh       rk   rl   r`   )rX   rn   rZ   rp   r[   rq   r]   rs   )
rb   ri   rc   r[   r\   rr   re   rf   rh   r_   )rX   rY   ro   r[   r\   rr   r`   )rb   ri   rc   rn   rZ   	   ro   r[   rq   r]   rs   rg   #   r_   r`   )rX   rZ   rp   r[   r]   rs   r`   )rb   ri   rc   rY   rn      rp   r[   r\   rq   rr   rf   rv   r_   r`   )rX   rn   ro   rp   r[   rq   rr   rs   )rb   ri   rc   rY   rZ   rw   ru   ro   rp   r[   r\   r]   rh   r_   )rX   rY   rn   ro   r[   r\   rq   rr   )
rb   ri   rc   r[   r]   rs   rd   rg   rh   r_   )
rb   ri   rc   rY   rn   rZ   ro   rp   r_   r`   )rX   rY   rZ   r_   r`   )rX   rY   rZ   r[   r\   r]   r_   r`   )rm      rY   rn   rZ   ro   rp   r\   rq   r]   rr   rs   rd   re   rf   rg   rh   r`   )rW   rY   rZ   rw   ru   ro   rp   r\   r]         rr   rs   rd   re   rf   rg   )r[   rq   r]   rs   )rW   r^   r_   )rb   ri   rc   rY   rZ   rw   ru   ro   rp   r[   r\   r]   rh   )rX   rY   rZ   r[   r\   rr   r`   )rW   rn   rZ   ru   ro   rq   r]   rz   rr   rd   rf   rh   rv   $   r^   r_   r`   )rX   rY   rZ   r[   r]   rs   r`   )rW   rY   rn   rw   rp   r\   rq   ry   rs   re   rg   rh   rv   r{   r^   r_   r`   )r[   rq   rr   rs   )rW   rY   rZ   rw   ru   ro   rp   r\   r]   ry   rz   rr   rs   rd   re   rf   rg   r^   r_   )rY   rZ   rw   ru   ro   rp   r\   r]   ry   rz   rr   rs   rd   re   rf   rg   )r[   r\   rq   rr   )rW   rt   rj   rk   r^   r_   )rt   rj   rl   )	rX   rY   rZ   r[   r\   r]   r^   r_   r`   )rY   rn   rZ   ro   rp   r\   rq   r]   rr   rs   rd   re   rf   rg   rh   r_   r`   )rW   rY   rn   rZ   ro   rp   r\   rq   r]   rr   rs   rd   re   rf   rg   rh   r^   r_   r`   )ra   rb   rc   rX   rY   rZ   r[   r\   r]   rd   re   rf   rg   rh   r^   r_   r`   )rX   rY   rZ   r[   r\   r]   r`   )	__doc__r    dictsetr!   r"   r#   r$   generated_assumptionsr4       B/usr/lib/python3/dist-packages/sympy/core/assumptions_generated.py<module>r      sz  
D  q#  	  q 3 !	  	q, c $	  -q4 s %	   5q> C "	  ?qF S #	  Gq@  	  AqN  	  Oqx #  	  yqt 3 !	  uq| S 	  }qb c 	  cql !# (	 # mqL "3 )	 $ MqV $S +	 & Wqh %c ,	 ' iq| $S +	 & 	}qR %c ,	 ' Sqb   '	 " cqr !# (	 # 	sqH !# (	 # Iqd "3 )	 $ eqr c $	  sq~ s %	   qn s 	  oqx  	  yqf	 #  	  g	qn	 3 !	  o	qR
 #  	  S
qN 3 !	  OqV  	  WqD #  	  EqN  	  Oqp  	  qqB 3 !	  Cqn C "	  oqv  	  wqf #  	  gqn 3 !	  oqJ C "	  KqR C "	  Sqp S #	  qq@ C "	  Aqb S #	  cqn  	  oqJ  	  KqZ C 	  [qF S 	  GqN  	  Oqz #  	  {qF c 	  GqB s 	  CqJ  	  Kqh #  	  iq| S 	  	}qR c 	  Sqt s %	   uqT  &	 ! Uq\ S 	  ]q\ c 	  ]q q hx	
  x	
& 'x	
0  1x	
j  kx	
Z  [x	
V  Wx	
~  x	
`  ax	
~  x	
\  ]x	
@  Ax	
b  cx	
V  Wx	
D  Ex	
h  ix	
d	  e	x	
R
  S
x	
~
  &  0    &  &  ( 
 (  0  <  *  0     sx	
x| <| B| (| N#%|" %&@A#%#|* #$;<&(+|2 #$;<&(3|: /"$;|B N#%C|F %&@A#%G|N ?+ "O|R S "S|Z /[|b >*c|j <k|n ./o|r "#34s|z 12{|B >*C|F %&67G|N >*O|R %&67S|Z !"23[|b ()c|j >k|r <s|v ./w|z "#34{|B @C|J AK|R 23S|V /0W|^ -. "_|f [g|j @k|n %&DEo|r 23s|
z6?696 b6 B	6
 16 ;6 +6 "a6 26 Z6 !"@6  !I6 $%>6 #$\6 $%>6  #$\!6"  !?#6$  R%6& !"@'6(  !I)6* b+6, @-6. (/60 6162 3364 "566 9768 )96: 5;6< Y=6> X?6@ )A6B C6D HE6F 5G6H [I6J 5K6L [M6N (O6P ]Q6R QCS6T MU6V )W6X .Y6Z j[6\ b!W]6^ :_6` Wa6b .c6d [e6f _g6h .Bk6r )-9LN_z?M[ r   