+ jA Rt.R%Ot]!.R&]!R,43NR-]!R543NR6]!R743NR8]!R:43NR']!R743NR;]!RK43NR(]!RL43NR<]!RM43NRN]!RZ43NR.]!R743NR[]!R\43NR/]!R]43NR^]!R`43NR=]!Ra43NRO]!Rb43NR>]!Rc43NR_]!Rd43NR?]!Re43NRP]!Rf43NR@]!Rg43NRQ]!Rh43NRA]!Ri43NRR]!Rj43NRB]!Rk43NR)]!Rl43NRm]!Ro43NRS]!R743NRp]!Rq43NRr]!Rs43NR9]!R743NRn]!Rt43NR*]!Ru43NRT]!Rv43NR0]!Rw43NRx]!Rz43NRC]!R743NR{]!R}43NRD]!R743NRy]!R~43NRE]!R743NRU]!R43NRF]!R43NR|]!R43NRG]!R43NRV]!R43NRH]!R43NR]!R43NR1]!R743NRW]!R43NRI]!R43NR]!R43NR2]!R743NRX]!R43NR3]!R43NRY]!R43NRJ]!R43NR]!R43NR+]!R743NR]!R43NR4]!R743N4t/R0RmbRR0bR0RmbR0RmbR0RmbR0RmbR0RmbR0RmbR 0RmbR 0RmbR 0RmbR 0RmbR 0RmbR0RmbR0RmbR0RmbR0RmbR0RmR0RmR0RmR0RmR0RmR0RmR0RmR0RmR0RmR0RmR0RmR0RmR0Rm/ Ct.0RmRN3N0RmR/3NRTR10R[3N0RmR^3NR_RP0R^3NR=RR0RO3NRARR0R_3NRRR40RP3N0RmRQ3NRORP0RQ3NR*RJ0RB3N0RmRB3NRRRJ0Rn3NR3RY0Rx3N0RmR{3NR|RV0R{3NR^R)0R{3NRRR00Ry3NRDRY0RU3NROR)0RU3NRIRY0R|3NR_R)0R|3NRPR)0RV3NR/RT0R3N0RmRI3N0RmRW3NRURV0RW3NRQR)0RW3N0RmR3N0RmRJ3NRRR*0RY3NRRR)0RY3NR-R(0R3N0RmR3N0RmR3NROR_0R3NRUR|0R3Nt/R-.RObR&.RObR8.bR;.bR<.RObR(.RObR..RObRN^^.bR/.RObR[.RObR=.RObR^.RObR>.RObRO.RObR?.RObR_.RObR@.ROb/RP.RObRA.RObRQ.RObRB.bRR.RObRm.RObR).RObRp.RObRr^ .bR*.RObRn.RObR0.RObRT.RObRx.RObRD.RObR{.RObRy.RObC/RF.RObRU.RObRG.RObR|.RObRH.RObRV.RObR1^.bR.RObRI.RObRW.RObR2.RObR^^.bR3.RObRX.RObRJ.RObRY.RObR.RObCR4.ROR./CtR]R ]R!]R"]R#]/tR$#)zC Do NOT manually edit this file. Instead, run ./bin/ask_update.py. algebraic antihermitian commutativecomplex compositeevenextended_negativeextended_nonnegativeextended_nonpositiveextended_nonzeroextended_positive extended_realfinite hermitian imaginaryinfiniteinteger irrationalnegative noninteger nonnegative nonpositivenonzerooddpositiveprimerationalrealtranscendentalzero defined_factsfull_implicationsprereq beta_rules beta_triggersN)rrrrrrrr r r r r rrrrrrrrrrrrrrrrrrrTrTrTrTrFrF)r&r'r(r)r*rFrFrFrFrFrFrFrF)r,r-r.r/r0r1r2rT)rFrF)r5)rFrFrFr Fr Fr Fr Fr FrFrFrFrFrFrFrFrF)r+r6r,r-r7r8r9r:r;r<r5r.r=r>r?r@rArBr/rCr0r1rDr*r2)r&r(r))r+r,r-r5r.r=r>r@rArBr/rCr0r1rDr*r2)rTr Tr Tr Tr TrTrTrTrTrTrTrT)r%r&r'r7rEr9rFrGrHr(rIr5r)rJr=r>r?rKrArLrMr0rNrOr*r2rT)r%r&r'rHr(rIr5r)rJr=r?r/rNrOr*)r2rTr T) r&r,r8rRrFr;rHr5r@rCr0r2)r>)r&r7rHr5r>)r,r;r@rCr0r2)r&r,r;rHr5rCr0)r7r>rAr2)r&rHr5r2)r,r7r;r>rBrCr0) r&r7rEr9rFrHr5r>rAr2)r,rCr0)r&r5)r,r-r7r8r9r:r;r.r=r>r?r@rArBr/rCr0r1rDr2)r)rFrT)r+r6r,r-r5rTr.r=r>r@rArBr/rCr0r1rDr*r2)rF)r,r-r.r=r>r@rArBr/rCr0r1rDr2)rT)r3r&r'r,r-r7r8r9r:r;r<r(r)r.r=r>r?r@rArBr/rCr0r1rDr2)r+r6r,r-rSr5r.r=r>r@rArBr/rCr0r1rDr*r2)r() r%r&r'rHr(rIr5r)r=r?rNrOr*)r,r-r/r0r2)rTrT)r&r'r,r-rFrHr(rIr5r)r.rUrLr/r0r1rOr2)rTrT)r&r'r,rQr8rRrFr;rHr(rIr5r)r@rVrLrCr0rOr2) r&r,r-rFrHr5r.r/r0r2) r&r'r7rErHr(rIr5r)r>rO)r,rCr0r2) r&r'r,rRr;rHr(rIr5r)rCr0rO)r>r2) r&r'rFrHr(rIr5r)rOr2)r,r>rCr0)rT)r%r&r'r-rFrHr(rIr5r)rJr=r?rLrNrOr*r2)r&r'r7rEr9rFrGrHr(rIr5r)r>rKrArLrOr2)r,r0)rT)r%r&r'r,r7rEr9rFrGrHr(rIr5r)rJr=r>r?rKrArLrMrNrOr*r2) r%r&r'rHr(rIr5r)r=rOr*)r,r-r.r/r0r2)r&r'rHr(rIr5r)) r,r-r.r=r>r@rArBr/rCr0r1r2)rT) r+r&r'r,r-r(r)r.r/r0r1r2)rT)r%r&r'r,rPr7rErRr:r;rHr(rIr5r)rJr=r>r?rKrVrBr/rCr0rNrOr*> rrrrrrrrrrrr>rrrrrrrrrrrrrrrrrrr rr rr r r >rrrrrrrrrrrrrrrrrrrr>rrrrrrrrrrrrrrrrrrrr rr rr r r >rrrrrrrrrrrrrrr r> rrrrrrrrr r r r r > rrrrrrrrr rr > rrrrrrrrr rr >rrrrrrrrrrrr rr > rrrrrrrrr r rr r >rrrrrrrrrrrrrrrrrr rr r r >rrrrrrrrrrrrrrrrrrr>rrrrrrrrrrrrrr>rrrrrrrrrrrrrrrrrrrrr r rr r r >rrrrrrrrrrrrrrrrrrr>rrrrrrrrrrrrrrrrr r>rrrrrrrrrrrrrrr >rrrrrrrrrrrrrrr r rr r r > rrrrrrrrrr >rrrrrrrrrrrrr rr >rrrrrrrrrrrrr r r >rrrrrrrrrrrrrrr r >rrrrrrrrrrrrrrr r>rrrrrrrrrrrrrrr r rr r r >rrrrrrrrrrrrrrrrrrrr rr rr r r >rrrrrrrrrrrrrrrr r>rrrrrrrrrrrrrrrrrrrr > rrrrrrrrrrrr>rrrrrrrrrrrrrrrrrrrrrr rr rr r r >rPr0rM>r0rMr,>r2rHr;>r2rHr7>r2r7r;>rOr2rC>rPr0r,>rOr2r>>rPrMr,>r2r>rC>rHr7r;>rOr>rC)  ) )ra rXrYrZr_r`) rWrarbrcrdrerfrgrh))rXrYrZr[r\r]r`)rY!rZr\"r]rdrerfrgrhrkrlr`)rXrnrZrpr[rqr]rs) rbrircr[r\rrrerfrhr_)rXrYror[r\rrr`)rbrircrnrZ ror[rqr]rsrg#r_r`)rXrZrpr[r]rsr`)rbrircrYrnrpr[r\rqrrrfrvr_r`)rXrnrorpr[rqrrrs)rbrircrYrZrwrurorpr[r\r]rhr_)rXrYrnror[r\rqrr) rbrircr[r]rsrdrgrhr_) rbrircrYrnrZrorpr_r`)rXrYrZr_r`)rXrYrZr[r\r]r_r`)rmrYrnrZrorpr\rqr]rrrsrdrerfrgrhr`)rWrYrZrwrurorpr\r]rrrsrdrerfrg)r[rqr]rs)rWr^r_) rbrircrYrZrwrurorpr[r\r]rh)rXrYrZr[r\rrr`)rWrnrZrurorqr]rzrrrdrfrhrv$r^r_r`)rXrYrZr[r]rsr`)rWrYrnrwrpr\rqryrsrergrhrvr{r^r_r`)r[rqrrrs)rWrYrZrwrurorpr\r]ryrzrrrsrdrerfrgr^r_)rYrZrwrurorpr\r]ryrzrrrsrdrerfrg)r[r\rqrr)rWrtrjrkr^r_)rtrjrl) rXrYrZr[r\r]r^r_r`)rYrnrZrorpr\rqr]rrrsrdrerfrgrhr_r`)rWrYrnrZrorpr\rqr]rrrsrdrerfrgrhr^r_r`)rarbrcrXrYrZr[r\r]rdrerfrgrhr^r_r`)rXrYrZr[r\r]r`) __doc__r dictsetr!r"r#r$generated_assumptionsr4a/home/luca/screen-checking/.venv/lib/python3.14/site-packages/sympy/core/assumptions_generated.pyrsz  Dq #  q 3!  q ,c$  -q 4s%  5q >C"  ?q FS#  Gq @  Aq N  Oq x#  yq t3!  uq |S  }q bc  cq l!# ( # mq L"3) $ Mq V$S+ & Wq h%c, ' iq |$S+ & }q R%c, ' Sq b ' " cq r!#( # sq H!# ( # Iq d"3) $ eq rc$  sq ~s%  q ns  oq x  yq 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#  gq n3 !  oq JC"  Kq RC "  Sq pS#  qq @C"  Aq bS#  cq n   oq J  Kq ZC  [q FS  Gq N  Oq z#  {q Fc  Gq Bs  Cq J   Kq h#  iq |S  }q Rc  Sq ts % uq T& ! Uq \S  ]q \c  ]q q hx  x &'x 01x jkx Z[x V  Wx ~x ` ax ~ x \]x @Ax bcx V Wx DEx hix d e x R S x ~ &0 &&(  (0 <*  0    sx x|<|B|(|N#%|"%&@A#%#|*#$;<&(+|2#$;<&(3|:/"$;|BN#%C|F%&@A#%G|N?+ "O|RS "S|Z/[|b>*c|j<k|n./o|r"#34s|z12{|B>*C|F%&67G|N>*O|R%&67S|Z!"23[|b()c|j>k|r<s|v./w|z"#34{|B@C|JAK|R23S|V/0W|^-. "_|f[g|j@k|n%&DEo|r23s| z6?696b6B 6 1 6 ; 6+6"a626Z6!"@6 !I6$%>6#$\6$%>6 #$\!6" !?#6$ R%6&!"@'6( !I)6*b+6,@-6.(/6061623364"5669768)96:5;6<Y=6>X?6@)A6B C6DHE6F5G6H6J5K6L6N(O6P]Q6RQCS6TMU6V)W6X.Y6Zj[6\b!W]6^:_6`Wa6b.c6d[e6f_g6h.Bk6 r)-9LN_z?M[r