o
    FZhA                     @   s  d Z g dZeg dedfdedfdedfded	fd
edfdedfdedfdedfdedfdedfdedfdedfdedfdedfdedfdedfd ed!fd"ed#fd$ed%fd&ed'fd(ed)fd*ed+fd,ed-fd.ed/fd0ed1fd2ed3fd4edfd5ed6fd7ed8fd9edfd:ed;fd<ed=fd>ed?fd@edAfdBedCfdDedfdEedFfdGedfdHedIfdJedfdKedLfdMedNfdOedPfdQedRfdSedTfdUedVfdWedXfdYedfdZed[fd\ed]fd^ed_fd`edfdaedbfdceddfdeedffdgedhfdiedjfdkedfdledmfdnedfZi doh dpdqdrhdsh dtduh dvdwh dxdyh dzd{h d|d}h d~dh ddh ddh ddh ddh ddh ddrh ddh ddh dh dh dh dh dh dh dh dh dh dh dh dh dh ddZg h ddfh ddfd>dYhdfh ddfd d$hdfdd,hdfd*d,hd fd,dnhd$fh dd(fdd$hd(fd<dghd.fh dd.fd,dghd:fdcdehdBfh ddEfdOdShdEfdd0hdEfd,d@hdHfdGdehdKfdd0hdKfd\dehdOfd d0hdOfd$d0hdSfdd>hdWfh dd\fh ddZfdKdShdZfd(d0hdZfh dd^fh ddgfd,d<hdefd,d0hdefddhdifh ddlfh ddlfdd hdlfdKdOhdlfZi dg ddg ddg dg dg ddg ddg ddddgdg ddg ddg ddg ddg ddg dd"g dd g dd&g di d$g dd*g dd(g dd.g d,g dd2g dd0g dd5g dd7dgd<g dd:g dd@g dd>g ddBg d¢dGg dâdEg dĢdHg dŢi dMg dƢdKg dǢdQg dȢdOg dɢdUg dʢdSg dˢdYdgdWg d̢d\g d͢dZg d΢d`g dϢd^ddgdcg dТdag dѢdgg ddeg dҢdig dӢg dԢg d՜Zeeeeed֜ZdS )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r   T)r   Tr   Tr   Tr   Fr   Fr   F)r   Fr   Fr   Fr   Fr   Fr   Fr   Fr   T )r   F)r   Fr    )r   F)r%   r   Fr&   r'   r   Fr   Fr	   Fr
   Fr   Fr   Fr/   r(   r   Fr   Fr   Fr   Fr   Fr   Fr)   r   Fr*   r+   r   Fr$   r,   r!   )r    r"   r#   r0   )r%   r&   r'   r/   r(   r7   r8   r:   r;   r<   r)   r=   r*   r+   r>   r$   r,   )r   T)r   r    r!   r1   r   Tr3   r
   Tr   Tr   Tr"   r   Tr/   r#   r   Tr7   r8   r9   r   Tr;   r   Tr   Tr*   r   Tr   Tr$   r,   r&   r   T)r   r    r!   rB   r"   rC   r/   r#   rD   r7   r9   r)   rH   rI   r$   r'   )r,   r   T)r    r&   r2   r	   Tr@   r5   rB   r/   r:   r=   r*   r,   r1   )r8   r?   )r    r1   rB   r/   r8   r2   )r&   r5   r:   r=   r*   r,   rL   )r    r&   r5   rB   r/   r=   r*   r3   )r1   r8   r;   r,   r@   )r    rB   r/   r,   r4   )r&   r1   r5   r8   r<   r=   r*   rA   )
r    r1   r?   r3   r@   rB   r/   r8   r;   r,   r5   )r&   r=   r*   rB   )r    r/   r6   )r&   r'   r1   r2   r3   r4   r5   r(   r7   r8   r9   r:   r;   r<   r)   r=   r*   r+   r>   r,   r"   )r#   r   F)r%   r0   r&   r'   r/   r   Tr(   r7   r8   r:   r;   r<   r)   r=   r*   r+   r>   r$   r,   rC   )r   F)r&   r'   r(   r7   r8   r:   r;   r<   r)   r=   r*   r+   r>   r,   )r   T)r-   r    r!   r&   r'   r1   r2   r3   r4   r5   r6   r"   r#   r(   r7   r8   r9   r:   r;   r<   r)   r=   r*   r+   r>   r,   r/   rN   )r%   r0   r&   r'   rM   r/   r(   r7   r8   r:   r;   r<   r)   r=   r*   r+   r>   r$   r,   r#   )r"   rD   )r   r    r!   rB   r"   rC   r/   r#   r7   r9   rH   rI   r$   r(   )r&   r'   r)   r*   r,   )r   T)r    r!   r&   r'   r@   rB   r"   rC   r/   r#   r(   r   TrF   r)   r*   r+   rI   r,   r7   )r   T)r    r!   r&   rK   r2   rL   r@   r5   rB   r"   rC   r/   r#   r:   r   TrF   r=   r*   rI   r,   r8   rO   )
r    r&   r'   r@   rB   r/   r(   r)   r*   r,   r9   rE   )r    r!   r1   r?   rB   r"   rC   r/   r#   r8   rI   r:   )r&   r=   r*   r,   rP   )r    r!   r&   rL   r5   rB   r"   rC   r/   r#   r=   r*   rI   r;   )r8   r,   rF   )
r    r!   r@   rB   r"   rC   r/   r#   rI   r,   r<   )r&   r8   r=   r*   )r   T)r   r    r!   r'   r@   rB   r"   rC   r/   r#   rD   r7   r9   rF   rH   rI   r$   r,   r)   rG   )r    r!   r1   r?   r3   r@   rA   rB   r"   rC   r/   r#   r8   rE   r;   rF   rI   r,   r=   )r&   r*   )r   T)r   r    r!   r&   r1   r?   r3   r@   rA   rB   r"   rC   r/   r#   rD   r7   r8   r9   rE   r;   rF   rG   rH   rI   r$   r,   r*   rH   )r   r    r!   rB   r"   rC   r/   r#   r7   rI   r$   r+   )r&   r'   r(   r)   r*   r,   rI   )r    r!   rB   r"   rC   r/   r#   r>   )r&   r'   r(   r7   r8   r:   r;   r<   r)   r=   r*   r+   r,   )r   T)r%   r    r!   r&   r'   r"   r#   r(   r)   r*   r+   r,   r$   r   T)r   r    r!   r&   rJ   r1   r?   rL   r4   r5   rB   r"   rC   r/   r#   rD   r7   r8   r9   rE   rP   r<   r)   r=   r*   rH   rI   r$   r,   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r	   r   r   r   r   r   r   r   r   r   r   r
   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r	   r   r   r   r   r   r   r   r   r   r   r   r   r
   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r
   r   r   r   r   r	   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r	   >   r   r   r   r   r   r   r   r   r   r   r   r
   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r
   r   r   r   r	   r   r   r   >   r   r   r   r   r	   r   r   r   r   r   r   r   r   r   r
   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r	   r   r   r   r   r   r   r   r   r   r   r
   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r	   r   r   r   r   r   r   r   r   r   r   r
   r   r   r   r   >
   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r	   r   r   r   >   r   r   r   r   r   r   r   r
   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r	   r   r   r   r   r   r   r   r   r   r   r
   r   r   r   r   >   r   r   r   r   r   r	   r   r   r   r   r   r   r   r   r   r   r   r
   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r   r   r   r   r   r   >   r   r   r   r   r   r   r	   r   r   r   r   r   r   r   r   r   r   r   r   r
   r   r   r   r   r   r   r   r   )r   r   r   r   r   r   r   r   r   r   r   r   r   >   r*   rJ   rG   >   r*   rG   r&   >   rB   r,   r5   >   rB   r,   r1   >   r,   r5   r1   >   r=   r,   rI   >   r*   rJ   r&   >   r8   r,   rI   >   rJ   r&   rG   >   r8   r,   r=   >   rB   r5   r1   >   r8   r=   rI   )
                               )
                        )r\      rS   rT   rU   rZ   r[   )	rR   r\   r]   r^   r_   r`   ra   rb   rc   )               )rh   rS   rT   rU   rV   rW   rX   r[   )rT   !   rU         rW   "   rX         r_   r`   ra   rb   rc       rf   rg   r[   )rS   rj   rU   rl   rV   rm   rX   ro   )
r]   rd   r^   rV   rW   rn   r`   ra   rc   rZ   )rS   rT   rk   rV   rW   rn   r[   )r]   rd   r^   rj   rU   	   rk   rV   rm   rX   ro   rb   #   rZ   r[   )rS   rU   rl   rV   rX   ro   r[   )r]   rd   r^   rT   rj      rl   rV   rW   rm   rn   ra   rr   rZ   r[   )rS   rj   rk   rl   rV   rm   rn   ro   )r]   rd   r^   rT   rU   rs   rq   rk   rl   rV   rW   rX   rc   rZ   )rS   rT   rj   rk   rV   rW   rm   rn   )
r]   rd   r^   rV   rX   ro   r_   rb   rc   rZ   )
r]   rd   r^   rT   rj   rU   rk   rl   rZ   r[   )rS   rT   rU   rZ   r[   rR   )rS   rT   rU   rV   rW   rX   rZ   r[   )rh   ri   rT   rj   rU   rk   rl   rW   rm   rX   rn   ro   r_   r`   ra   rb   rc   r[   )rR   rT   rU   rs   rq   rk   rl   rW   rX         rn   ro   r_   r`   ra   rb   )rV   rm   rX   ro   )rR   rY   rZ   )r]   rd   r^   rT   rU   rs   rq   rk   rl   rV   rW   rX   rc   )rS   rT   rU   rV   rW   rn   r[   )rR   rj   rU   rq   rk   rm   rX   ru   rn   r_   ra   rc   rr   $   rY   rZ   r[   )rS   rT   rU   rV   rX   ro   r[   )rR   rT   rj   rs   rl   rW   rm   rt   ro   r`   rb   rc   rr   rv   rY   rZ   r[   )rV   rm   rn   ro   )rR   rT   rU   rs   rq   rk   rl   rW   rX   rt   ru   rn   ro   r_   r`   ra   rb   rY   rZ   )rT   rU   rs   rq   rk   rl   rW   rX   rt   ru   rn   ro   r_   r`   ra   rb   )rV   rW   rm   rn   )rR   rp   re   rf   rY   rZ   )rp   re   rg   )	rS   rT   rU   rV   rW   rX   rY   rZ   r[   )rT   rj   rU   rk   rl   rW   rm   rX   rn   ro   r_   r`   ra   rb   rc   rZ   r[   )rR   rT   rj   rU   rk   rl   rW   rm   rX   rn   ro   r_   r`   ra   rb   rc   rY   rZ   r[   )r\   r]   r^   rS   rT   rU   rV   rW   rX   r_   r`   ra   rb   rc   rY   rZ   r[   )rS   rT   rU   rV   rW   rX   r[   )r,   rQ   )defined_factsfull_implicationsprereq
beta_rulesbeta_triggersN)	__doc__rw   dictsetrx   ry   rz   r{   Zgenerated_assumptionsr.   r.   r.   O/var/www/auris/lib/python3.10/site-packages/sympy/core/assumptions_generated.py<module>   s   "





#
@
G
\
z
~ 
  
  
'  
,  
5  
?  
J  
R  
Z  
e  
s  
z   
    
    
    
5    
9    
K    
i    
m     
      

      
      
$      
:      
>      
V      
Z      
h      
l      
{       
        
        
        
)        
1        
G        
K        
a        
g         
          

          
          
#          
.          
?          
O          
S          
s          y5Mk      /  A  R  l           4    K    a         !#')-1579=ACGIMQUY[]aeikosuwy}	
 !"#$%&'()*+,-./012349
