EdBZdZddlmZddlmZddlmZedZedZdS)zC Do NOT manually edit this file. Instead, run ./bin/ask_update.py. )Q)Literal)cacheitc 'htttjdttjdttjdftttjdttjdttjdftttjdttjdttjdftttjdttjdftttjdttjdttj dftttjdttj dftttjdttjdftttj dttj dttj dftttj dttjdftttj dttj dftttj dttjdftttjdttjdftttjdttjdttjdttjdftttjdttjdttjdftttjdttjdftttjdttjdftttjdttjdttjdftttjdttjdftttjdttjdftttjdttjdftttjdttjdftttjdttjdttjdftttjdttj dftttjdttjdftttjdttjdftttj dttjdftttj dttjdftttjdttjdftttjdttjdttjdftttj dttjdftttj dttjdftttj dttj dftttjdttjdftttjdttjdftttjdttj dftttjdttjdftttjdttjdftttjdttjdftttjdttj dftttjdttj!dftttjdttj"dftttjdttj!dftttjdttjdftttj#dttjdttjdftttj#dttjdttjdftttj#dttjdttj dftttj#dttjdttjdttj dftttj#dttjdftttjdttj$dttjdftttjdttj$dftttjdttjdttjdttj dftttjdttjdftttjdttjdftttjdttjdftttjdttj dftttjdttjdftttjdttjdftttjdttj dftttjdttj"dftttjdttjdftttjdttjdftttj%dttjdttj"dftttj%dttj dftttj%dttj"dftttjdttjdftttjdttjdftttjdttj dftttjdttj dftttjdttjdftttj$dttj&dftttj$dttjdfS)z> Known facts between unary predicates as CNF clauses. FT)' frozensetrr algebraic imaginarytranscendentalnegativepositiverationalzerofinite antihermitian hermitian commutativeinfinitecomplex_elements real_elements compositeevenprimeodddiagonallower_triangularupper_triangularnormal symmetricfullrank invertiblesquarenegative_infinitepositive_infiniteinteger_elementspositive_definitesingularunitary irrational triangular orthogonalunit_triangular?lib/python3.11/site-packages/sympy/assumptions/ask_generated.pyget_all_known_factsr/ s  H 71;.. T0J0JGTUTdfkLlLlmnnH 71;.. D0I0I7STScejKkKklmmH  71;.. D0I0I7STScejKkKklmmH  71;.. D0I0IJKK H  71;..8H%0P0PRYZ[Z`bfRgRghii H  71;--wqx/G/GHII H  71;--wq7G/N/NOPPH  71?E22GAK4O4OQXYZY_aeQfQfghhH  71?E22GAK4N4NOPPH  71=%00'!(D2I2IJKKH  71=%00'!*d2K2KLMMH  71-u55wqPT7U7UVWWH  71;..0E0Ewqz[_G`G`bijkjqsxbybyz{{H  71;--wqvu/E/EwquV[G\G\]^^H  71;--wqz5/I/IJKKH  71;--wqw/E/EFGG!H " 71:u--wq7I4/P/PRYZ[ZlnrRsRstuu#H $ 71:t,,ga6H%.P.PQRR%H & 71:t,,gah.F.FGHH'H ( 71:t,,gak5.I.IJKK)H * 71:t,,ga6H%.P.PQRR+H , 7165))715%+@+@'!'SWBXBXYZZ-H . 7165))7164+@+@ABB/H 0 7164(('!%*>*>?@@1H 2 7164(('!*e*D*DEFF3H 4 718U++WQ5Et-L-LMNN5H 6 718T**GAJ,E,EFGG7H 8 71:u--wq|T/J/JKLL9H : 71:t,,galE.J.JGTUT\^bLcLcdee;H < 71;.. D0I0IJKK=H > 71;.. D0I0IJKK?H @ 71;..0E0EFGGAH B 71;--wqz4/H/HIJJCH D 71;--wqz4/H/HIJJEH F 71;--wqvt/D/DEFFGH H 71:u--wq7JD/Q/QRSSIH J 71:u--wq7JD/Q/QRSSKH L 71-t44gaou6U6UVWWMH N 71<//9Ld1S1STUUOH P 71<//U1K1KLMMQH R 71<//D1I1IJKKSH T 71<.. D0I0IJKKUH V 71<..%0H0HIJJWH X 71<//T1J1JGTUT^`eLfLfghhYH Z 71<//T1J1JGTUT^`eLfLfghh[H \ 71<//U1K1KWUVU[]aMbMbcdd]H ^ 71<.. E0J0JGTUT^`eLfLfhopqpvx}h~h~ A A_H ` 71<.. D0I0IJKKaH b 71-u55wq|T7R7RT[\]\npuTvTvwxxcH d 71-t44galE6R6RSTTeH f 71:u--wqz5/I/I7STS]_cKdKdfmnontv{f|f|}~~gH h 71:t,,ga6I4.P.PQRRiH j 71:t,,gaj$.G.GHIIkH l 71:t,,ga6I4.P.PQRRmH n 71:t,,gafd.C.CDEEoH p 71.55wqz47P7PQRRqH r 71.55wq?RTX7Y7YZ[[sH t 71.55wqvt7L7LMNNuH v 718U++WQY-E-EFGGwH x 718T**GAHe,D,DEFFyH z 715$''U)C)CDEE{H | 71<//$1O1OQXYZYbdhQiQijkk}H ~ 71<..8KU0S0STUUH @ 71<.. 50I0IJKKAH B 71:u--wqw/E/EFGGCH D 71:t,,ga6I4.P.PQRREH F 71:t,,gafd.C.CDEEGH H 71.55wqvt7L7LMNNIH J 718U++WQ[$-G-GHIIKH L 71<//9JD1Q1QRSSMH N 71<//9KT1R1RSTTOH Hr-c0&<itjttjtjtjtjgttjtjtjtj gftj ttj gtgftjttjgtgftjttjtjtjgttjtjtjgftj ttj gtgftj ttjtjtjtj tj tjtjtjtjtjtjtjtjtjtjtjgttjtjtjtjtjtjtjtjtjtjtj tjg ftj ttj tj!tj"tj#tj$tj%tj&gtgftj'ttjtjtjtj'tjtjtjtjtjtjg ttjtjtjtjtj(tjtj gftjttjtjtjtjtjgttj tj tjtjtjtjtjtjtjg ftj ttjtj tjgttjtjtjtjgftjttjtjtjgttj tjtjtjtjtjgftjttjtjtjgttjtjgftjttjtj tjtjtjgttjtjtjtjtjtjtjgftjttjtjgttjgftjttjtjgttjtjtjgftj)ttj)gtgftjttjgtgfitjttj tjtjtjtjgttj tj'tjtj tjtjtjtjtjtjtjtjtjtjtjtjtj(tjtjtjtjtjtjgftjttjtjgttjtjtj tj'tjtjtjtjtjtjtjtjtj(tjtjtjtjtj tjgftjttjtjtjtjtjtjtjtjtjg ttjtjtjtjtjtj gftj*ttj tj*tj+gtgftj,ttj)tj,tj#gttj-gftjttjtjtjtjtjtjtjtjtjg ttj tj'tjtjtjtjtj(tjtjtjtjg ftj.ttj.gtgftj!ttj!tj%gtgftjttjtjtjtjtjtjtjtjtjtjtjtjg ttj tj tjtjtjtjtjtjtjtjtjg ftjttjtjtjtjtjtjtjgttjtjtj tj'tj tjtjtjtjtjtjtjtjtjtj(tjtjtjtjtjtj tjgftjttjtjtj tjtjtjtjtjgttjtjtjtjtjtjgftjttjtjtjtjtjtjtjtjgttj tjtjtjtjtjtjtjgftjttjtjtjtjtjtjtjtjgttjtjtjtjtjgftj"ttj"tj#gtgftj(ttjtjtjtjtjtjtjtjtjtj(tjtjg ttj'tjtjtjtjtjtj tjgftj/ttj)tj,tj"tj/tj0tj#tj1gttj-gftjttjtjtj tjtjtjtjtjtjtjtjtjg ttjtjtjtjtjtjtjtjtjg ftj0ttj)tj,tj0tj#gttj-gftjttjtj tjtjtjtjtjgttjtjtj tj'tjtjtjtjtjtjtjtjtjtjtjtj(tjtjtjtjtj tjgftjttjtjtjtj tjtjtjtjtjtjtjtjtjtjtjtjgttj tjtjtjtjtjtjtjtjtjtj tjg ftjttjtjtjtjtjtjtjtjgttjtjtjtjtjtj gftjttjtjtjtjtjtjgttjtjtjtjgftj+ttj tj+gtgftj-ttj-gttj,tj/tj0tj1gftj#ttj#gtgftj$ttj#tj$gtgftj ttjtjtjtj gttjtj tj'tjtjtjtj(tjtjtjtjg ftj%ttj%gtgftj2ttj%tj2gtgftj1ttj)tj,tj"tj#tj1gttj-gftj&ttj%tj&gtgftjttjtjtjtj'tj tjtjtjtjtjtjtjtjtjtjgttj tjtjtjtjtjtjtjtjtjtj(tjtjtjtj gfiS)a Logical relations between unary predicates as dictionary. Each key is a predicate, and item is two groups of predicates. First group contains the predicates which are implied by the key, and second group contains the predicates which are rejected by the key. )3rrsetrcomplexrrr"r#r rrrextended_nonnegativeextended_nonzeroextended_positive extended_realrinteger nonnegativenonzeror r realextended_negativeextended_nonpositiver r(r nonpositiverrrrrr!rr)rrrrr$rr r&is_truer*r%r'r+r,r-r.get_known_facts_dictr?Yse  c1; qy!(KLL QZ,a.A    e  #q/00#b'': e  Q]O,,c"gg6 e  C 18<== QZ,a.A BCCE e  S!"4!566B@e  c1; qy!+  2 Q_ah  1=!)QZ  q*A,B QZqz Q]A,? !16+,, -e " S!*a&8!(AH Q\1#57889?? Q[MSe V 3 qx0113  Q08243434We Z S!*&&B0[e \ c1;-((#b''2]e e ^ c1?AM19 !+  !$ak16 Q3  2 Q_aj!) aj!"5q} qy!% QWaj!&!& &B"C"CD_e n S!-455sAK 1;!+ 1<Q] qy!%QW AFA,af <687878oe x CamQY 1; 1: q{AJ  Q0!2BDEEFye @ S!"4a6H "r77$Ae D sAJ ah?@@ QZLEe H sAM19a6H 1;  16 !+qvq{ AIq2AE QWaj!&":;; QXq{AI aj!- 15!*a&917 AFA,af 06,7,78ee t Q]AIq7M 1;  q*AK A')<>??@ue | Q]AIq7M 1;  q{A$7 A' QW&''(}e F C 13E 1; 16CDD Q[!*a&9 QV % & &'Ge N 3!(+,,c"gg6Oe P Q[!- AOQXq{ 19aeQZ9:: QVQ[!*al Q0!2B    Qe \ sAJ ah  QXqy23347 4E4EG]e ` S!-A4J A/ !+q}ai q*A,B QZQ-@ q*AF4556ae e l c1:q| QX#'((),aj\):):< c1=!2H A/ A'#)**+.  1;(; !+qy aj!"5q} qy!%QW AFA,af 06,7,78 #q{AM19  2 Q_ah  1=!)QZ AF "1;0C  QZ A' Q-qv#788 9 S!+q}ai 1; AFDEE Q[!*al Q0!2B D E EF amQY QV"AK Q0$2 3 34 #q11?CDDc"ggN S!*&&Q\1< QY-())))* 3z??CGG, c18Q[122CGG< 3 qy!(  ak16 AIq2AE QWaj!&!:;;< sAL>**CGG4 Cq/@ ABBCGGL CQ\18QX !*&&( S!,0B!CDDc"ggN ak1=!)QV  6 1;  q}aj!&!&BCC Q[!-q/A Q[!*al A'AE1: QWa&6 8 9 9 :{e e er-N) __doc__sympy.assumptions.askrsympy.assumptions.cnfrsympy.core.cacherr/r?r,r-r.rDs $#####))))))$$$$$$LL L\ nn nnnr-