K i\ldZddlmZddlmZddlmZedZedZedZ edZ y ) zC Do NOT manually edit this file. Instead, run ./bin/ask_update.py. )Q)Literal)cacheitc %htttjdttjdttj dftttjdttj dttj dftttjdttjdttj dftttjdttjdftttjdttj dttjdftttjdttjdftttjdttj dftttjdttjdttjdftttjdttjdftttjdttjdftttjdttjdftttjdttj dftttj"dttj$dttjdttj&dftttj"dttj$dttj(dftttj"dttjdftttj"dttj&dftttj*dttj,dttj.dftttj*dttj,dftttj*dttj0dftttj*dttj2dftttj*dttj.dftttj$dttj(dttj&dftttj$dttjdftttj$dttj(dftttj$dttjdftttjdttj dftttjdttjdftttj4dttj6dftttj4dttj6dttj8dftttjdttj dftttjdttjdftttjdttjdftttjdttj dftttjdttjdftttjdttjdftttjdttj:dftttjdttj<dftttj>dttj dftttj6dttj@dftttj6dttjBdftttj6dttjDdftttj6dttjBdftttj6dttj8dftttjFdttj dttjdftttjFdttjdttjdftttjFdttjdttjdftttjFdttj dttjdttjdftttjFdttjdftttj,dttjHdttj.dftttj,dttjHdftttj dttjdttjdttjdftttj dttj:dftttj dttjdftttj dttj<dftttj dttjdftttj:dttjdftttj:dttj<dftttj:dttjdftttj0dttjDdftttj0dttj8dftttj(dttjdftttjJdttj dttjDdftttjJdttj@dftttjJdttjDdftttjdttj&dftttjdttj<dftttjdttjdftttj<dttjdftttj8dttj2dftttjHdttjLdftttjHdttj.dfS)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_triangulare/mnt/ssd/data/python-lab/Trading/venv/lib/python3.12/site-packages/sympy/assumptions/ask_generated.pyget_all_known_factsr/ s H 71;;. T0JGTUTdTdfkLlmnH 71;;. D0I7STScScejKklmH  71;;. D0I7STScScejKklmH  71;;. D0IJK H  71;;.8H8H%0PRYZ[Z`Z`bfRghi H  71;;-wqxx/GHI H  71;;-wq7G7G/NOPH  71??E2GAKK4OQXYZY_Y_aeQfghH  71??E2GAKK4NOPH  71==%0'!((D2IJKH  71==%0'!**d2KLMH  71--u5wqPT7UVWH  71;;.0Ewqzz[_G`bijkjqjqsxbyz{H  71;;-wqvvu/EwquuV[G\]^H  71;;-wqzz5/IJKH  71;;-wqww/EFG!H " 71::u-wq7I7I4/PRYZ[ZlZlnrRstu#H $ 71::t,ga6H6H%.PQR%H & 71::t,gahh.FGH'H ( 71::t,gakk5.IJK)H * 71::t,ga6H6H%.PQR+H , 71665)7155%+@'!''SWBXYZ-H . 71665)71664+@AB/H 0 71664('!%%*>?@1H 2 71664('!**e*DEF3H 4 7188U+WQ5E5Et-LMN5H 6 7188T*GAJJ,EFG7H 8 71::u-wq||T/JKL9H : 71::t,gallE.JGTUT\T\^bLcde;H < 71;;. D0IJK=H > 71;;. D0IJK?H @ 71;;.0EFGAH B 71;;-wqzz4/HIJCH D 71;;-wqzz4/HIJEH F 71;;-wqvvt/DEFGH H 71::u-wq7J7JD/QRSIH J 71::u-wq7J7JD/QRSKH L 71--t4gaoou6UVWMH N 71<</9L9Ld1STUOH P 71<</U1KLMQH R 71<</D1IJKSH T 71<<. D0IJKUH V 71<<.%0HIJWH X 71<</T1JGTUT^T^`eLfghYH Z 71<</T1JGTUT^T^`eLfgh[H \ 71<</U1KWUVU[U[]aMbcd]H ^ 71<<. E0JGTUT^T^`eLfhopqpvpvx}h~ A_H ` 71<<. D0IJKaH b 71--u5wq||T7RT[\]\n\npuTvwxcH d 71--t4gallE6RSTeH f 71::u-wqzz5/I7STS]S]_cKdfmnontntv{f|}~gH h 71::t,ga6I6I4.PQRiH j 71::t,gajj$.GHIkH l 71::t,ga6I6I4.PQRmH n 71::t,gaffd.CDEoH p 71..5wqzz47PQRqH r 71..5wq?R?RTX7YZ[sH t 71..5wqvvt7LMNuH v 7188U+WQYY-EFGwH x 7188T*GAHHe,DEFyH z 7155$'U)CDE{H | 71<</$1OQXYZYbYbdhQijk}H ~ 71<<.8K8KU0STUH @ 71<<. 50IJKAH B 71::u-wqww/EFGCH D 71::t,ga6I6I4.PQREH F 71::t,gaffd.CDEGH H 71..5wqvvt7LMNIH J 7188U+WQ[[$-GHIKH L 71<</9J9JD1QRSMH N 71<</9K9KT1RSTOH Hr-c tttjdttjdftttj dttj dttjdftttj dttj dftttj dttjdftttj dttjdftttj dttjdftttjdttjdftttjdttjdttjdftttjdttjdftttjdttjdftttjdttjdftttjdttj dftttjdttjdftttjdttjdftttj dttj"dttjdftttj dttj"dftttjdttj dftttjdttjdftttj$dttjdttj dftttj$dttjdftttj$dttj dftttjdttjdftttj"dttj&dftttj"dttjdfhS)zK Known facts between unary predicates for matrices as CNF clauses. FT)rrrrrrrrrrrr r!r$r%r&r'r)r*r+r,r-r.get_all_known_matrix_factsr1Ys 71--u5wqPT7UVW71::u-wq7I7I4/PRYZ[ZlZlnrRstu71::t,ga6H6H%.PQR71::t,gahh.FGH71::t,gakk5.IJK71::t,ga6H6H%.PQR71::u-wq||T/JKL71::t,gallE.JGTUT\T\^bLcde71--t4gaoou6UVW71<</9L9Ld1STU71<</U1KLM71<</D1IJK71<<. D0IJK71<<.%0HIJ71--u5wq||T7RT[\]\n\npuTvwx71--t4gallE6RST7188U+WQYY-EFG7188T*GAHHe,DEF71<</$1OQXYZYbYbdhQijk71<<.8K8KU0STU71<<. 50IJK7188U+WQ[[$-GHI71<</9J9JD1QRS71<</9K9KT1RST1 r-c htttjdttjdttj dftttjdttj dttj dftttjdttjdttj dftttjdttjdftttjdttj dttjdftttjdttjdftttjdttj dftttjdttjdttjdftttjdttjdftttjdttjdftttjdttjdftttjdttj dttjdttj"dftttjdttj dttj$dftttjdttjdftttjdttj"dftttj dttj$dttj"dftttj dttjdftttj dttj$dftttj dttjdftttjdttj dftttjdttjdftttjdttj dftttjdttjdftttjdttjdftttjdttj dftttjdttjdftttjdttjdftttjdttj&dftttjdttj(dftttj*dttj dttjdftttj*dttjdttjdftttj*dttjdttjdftttj*dttj dttjdttjdftttj*dttjdftttj dttjdttjdttjdftttj dttj&dftttj dttjdftttj dttj(dftttj dttjdftttj&dttjdftttj&dttj(dftttj&dttjdftttj$dttjdftttjdttj"dftttjdttj(dftttjdttjdftttj(dttjdfS)zJ Known facts between unary predicates for numbers as CNF clauses. FT)rrrrr r r r r rrrrrrrrrrr"r#r(r,r-r.get_all_known_number_factsr3ys 0 71;;. T0JGTUTdTdfkLlmn0 71;;. D0I7STScScejKklm0  71;;. D0I7STScScejKklm0  71;;. D0IJK 0  71;;.8H8H%0PRYZ[Z`Z`bfRghi 0  71;;-wqxx/GHI 0  71;;-wq7G7G/NOP0  71??E2GAKK4OQXYZY_Y_aeQfgh0  71??E2GAKK4NOP0  71==%0'!((D2IJK0  71==%0'!**d2KLM0  71;;.0Ewqzz[_G`bijkjqjqsxbyz{0  71;;-wqvvu/EwquuV[G\]^0  71;;-wqzz5/IJK0  71;;-wqww/EFG0  71665)7155%+@'!''SWBXYZ!0 " 71665)71664+@AB#0 $ 71664('!%%*>?@%0 & 71664('!**e*DEF'0 ( 7188U+WQ5E5Et-LMN)0 * 7188T*GAJJ,EFG+0 , 71;;. D0IJK-0 . 71;;. D0IJK/0 0 71;;.0EFG10 2 71;;-wqzz4/HIJ30 4 71;;-wqzz4/HIJ50 6 71;;-wqvvt/DEF70 8 71::u-wq7J7JD/QRS90 : 71::u-wq7J7JD/QRS;0 < 71<</T1JGTUT^T^`eLfgh=0 > 71<</T1JGTUT^T^`eLfgh?0 @ 71<</U1KWUVU[U[]aMbcdA0 B 71<<. E0JGTUT^T^`eLfhopqpvpvx}h~ AC0 D 71<<. D0IJKE0 F 71::u-wqzz5/I7STS]S]_cKdfmnontntv{f|}~G0 H 71::t,ga6I6I4.PQRI0 J 71::t,gajj$.GHIK0 L 71::t,ga6I6I4.PQRM0 N 71::t,gaffd.CDEO0 P 71..5wqzz47PQRQ0 R 71..5wq?R?RTX7YZ[S0 T 71..5wqvvt7LMNU0 V 7155$'U)CDEW0 X 71::u-wqww/EFGY0 Z 71::t,ga6I6I4.PQR[0 \ 71::t,gaffd.CDE]0 ^ 71..5wqvvt7LMN_0 0r-cTKitjttjtjtjtj gttj tjtjtjgftjttjgtgftjttjgtgftjttjtjtj gttj tjtjgftjttjgtgftjttjtjtjtjtjtjtjtj tj tj"tj$tj&tj(tj*tj,tj.gttj0tj2tj4tj tj6tj8tjtj:tjtj<tjtj>g ftj@ttj@tjBtjDtjFtjHtjJtjLgtgftjNttjtjtjtjNtj tj tj"tj$tj,tj.g ttj4tj tj6tjtjPtjtjgftj0ttjtj0tj2tjtj gttjtjtjtj4tj&tj*tjtj<tj>g ftjttjtjtj gttj0tj4tj8tjgftj2ttjtj2tj gttjtjtj4tj*tjtj<gftjttjtjtj gttj4tj>gftjttjtjtjtjtj gttj0tj2tj4tj8tjtj:tj>gftj ttjtj gttj4gftj ttjtj gttj tjtjgftjRttjRgtgftj"ttj"gtgfitj4ttjtjtjtj tj4gttjtjNtj0tjtj2tjtjtj tj tj$tj6tj8tjtj&tj:tj(tjPtj*tjtj<tj,tj.tj>gftj ttjtj gttjtjtjtjNtj tj4tj$tj6tj8tj&tj:tj(tjPtj*tj<tj,tj.tjtj>gftj$ttjtjtjtj tj tj"tj$tj,tj.g ttj4tj tj6tjtjtjgftjTttjtjTtjVgtgftjXttjRtjXtjFgttjZgftj6ttjtjtjtj tj tj"tj6tj(tj.g ttjtjNtj4tj tj$tjtjPtjtj<tj,tj>g ftj\ttj\gtgftjBttjBtjJgtgftj8ttjtjtj0tj2tjtj tj tj"tj8tj:tj(tj.g ttjtjtjtj4tj tjtj&tj*tjtj<tj>g ftjttjtj0tj2tjtj tj tjgttjtjtjtjNtjtjtj tj4tj$tj6tj8tj&tj:tj(tjPtj*tjtj<tj,tj.tjtj>gftj^ttj^gtgftj&ttjtjtjtj tj tj"tj&tj.gttj0tj4tj tj8tjtjgftj:ttjtjtj2tj tj tj"tj:tj.gttjtjtj4tj tjtj*tjtj<gftj(ttjtjtjtj tj tj"tj(tj.gttj4tj tjtjtj>gftjDttjDtjFgtgftjPttjtjtjtjtj tj tj"tj$tj(tjPtj,tj.g ttjNtj4tj tj6tjtjtjtj>gftj`ttjRtjXtjDtj`tjbtjFtjdgttjZgfitj*ttjtjtjtjtjtj tj tj"tj&tj(tj*tj.g ttj0tj2tj4tj tj8tjtj:tjtj>g ftjbttjRtjXtjbtjFgttjZgftjttjtjtjtjtj tj tjgttjtjtjtjNtj0tj2tj tj4tj$tj6tj8tjtj&tj:tj(tjPtj*tj<tj,tj.tjtj>gftj<ttjtjtjtjtjtjtj tj tj"tj$tj&tj(tj*tj<tj,tj.gttjtj0tj2tj4tj tj6tj8tjtj:tjtjtj>g ftj,ttjtjtjtj tj tj"tj,tj.gttj4tj tj6tjtjtjgftj.ttjtjtj tj tj"tj.gttj4tj tjtjgftjVttjtjVgtgftjZttjZgttjXtj`tjbtjdgftjFttjFgtgftjHttjFtjHgtgftjttjtjtj tjgttjtjtjNtj tj$tjtjPtjtj<tj,tj>g ftjJttjJgtgftjfttjJtjfgtgftjdttjRtjXtjDtjFtjdgttjZgftjLttjJtjLgtgftj>ttjtjtjtjNtjtj2tj tj tj"tj$tj&tj:tj,tj.tj>gttjtj0tjtjtj4tj tj6tj8tjtj(tjPtj*tjtj<tjgfS)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. )4rrsetrcomplexrrr"r#r rrrextended_nonnegativeextended_nonzeroextended_positive extended_realrinteger nonnegativenonzeror r realextended_negativeextended_nonpositiver r(r nonpositiverrrrrr!rr)rrrrr$rr r&is_true nonintegerr*r%r'r+r,r-r.get_known_facts_dictrDsf  c1;; qyy!((KL QZZ,,a.A.A   f  #q/0#b': f  Q]]O,c"g6 f  C 188<= QZZ,,a.A.A BCE f  S!"4"4!56B@f  c1;; qyy!++  2 2 Q__ahh  1==!))QZZ  q**A,B,B QZZqzz Q]]A,?,? !!166+, -f " S!**a&8&8!((AHH Q\\1#5#5789? Q[[MSf V 3 qxx013  Q0082434Wf Z S!**&B0[f \ c1;;-(#b'2]f ^ c1??AMM199 !++ !$akk166 Q33  2 2 Q__ajj!)) ajj!"5"5q}} qyy!%% QWWajj!&&!&& &B"CD_f n S!--45sAKK 1;;!++ 1<<Q]] qyy!%%QWW AFFA,,aff <6878of x CammQYY 1;; 1:: q{{AJJ  Q00!2B2BDEFyf @ S!"4"4a6H6H "r7$Af D sAJJ ahh?@ QZZLEf H sAMM199a6H6H 1;;  166 !++qvvq{{ AIIq22AEE QWWajj!&&":;(> QXXq{{AII ajj!-- 155!**a&9&9177 AFFA,,aff 06,78ef t sALL>*CG4uf v Q]]AIIq7M7M 1;;  q**AKK A'')<)<>?@wf ~ Q]]AIIq7M7M 1;;  q{{A$7$7 A'' QWW&'(f H C 13E3E 1;; 166CD Q[[!**a&9&9 QVV % &'If P 3!((+,c"g6Qf R Q[[!-- AOOQXXq{{ 199aeeQZZ9: QVVQ[[!**all Q00!2B2B   Sf ^ sAJJ ahh  QXXqyy2347 4EG_f b S!--A4J4J A// !++q}}aii q**A,B,B QZZQ-@-@ q**AFF456cf n c1::q|| QXX#'(),ajj\):*CG4sf t Cq/@/@ ABCGLuf v CQ\\188QXX !**&(wf z S!,,0B0B!CDc"gN{f | akk1==!))QVV  6 6 1;;  q}}ajj!&&!&&BC Q[[!--q/A/A Q[[!**all A''AEE1:: QWWa&6&6 8 9 :}f fr-N) __doc__sympy.assumptions.askrsympy.assumptions.cnfrsympy.core.cacherr/r1r3rDr,r-r.rIsi $)$L L\  > 4 4l o or-