K i/ddlmZmZmZmZmZmZmZmZm Z m Z ddl m Z m Z mZmZmZddlmZmZmZddlmZmZddlmZmZmZmZddlmZddlm Z m!Z!ddl"m#Z#dd l$m%Z%m&Z&m'Z'm(Z(m)Z)m*Z*dd l+m,Z,dd l-m.Z.dd l/m0Z0m1Z1m2Z2dd l3m4Z4ddl5m6Z6m7Z7m8Z8m9Z9ddl:m;Z;mZ>ddl?m@Z@mAZAmBZBmCZCmDZDmEZEmFZFmGZGddlHmIZImJZJmKZKmLZLmMZMddlNmOZOmPZPddlQmRZRmSZSmTZTmUZUmVZVddlWZWdZXdZYdZZdZ[dZ\dZ]dZ^dZ_dZ`dZad Zbd!Zcd"Zdd#Zed$Zfd%Zgd&Zhd'Zid(Zjd)Zkd*ZleRd+ZmeRd,Znd-ZoeVd.Zpd/ZqeRd0Zrd1Zsd2ZteVd3Zud4ZveVd5Zwd6Zxd7Zyd8Zzd9Z{d:Z|eRd;Z}d<Z~d=ZeVd>Zd?Zd@ZdAZdBZeVdCZdDZeVdEZdFZdGZdHZdIZdJZdKZdLZdMZdNZdOZdPZeSdQZdRZdSZdTZdUZdVZdWZdXZeRdYZdZZd[Zd\Zd]Zd^Zd_Zd`ZdaZdbZy)c) twxyznkmpi)askAssumptionsContextQregister_handlerremove_handler)assumingglobal_assumptions Predicate)CNFLiteral)single_fact_lookupget_known_factsgenerate_known_facts_dictget_known_facts_keys) AskHandler)get_all_known_factsget_known_facts_dict)Add)IIntegerRationaloozoopi)S)Pow)StrsymbolsSymbol) factorial)Absimresign)explog)sqrt)acosacotasinatancoscotsintan) EquivalentImpliesXorAndto_cnf)Matrix SparseMatrix)XFAILslowraiseswarns_deprecated_sympy _both_exp_powNcHd}ttj|dusJttj|dusJttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJy)NTFr r commutativeintegerrationalrealcomplex irrational imaginarypositivenegativeevenoddfiniteprime composite hermitian antihermitianrs h/mnt/ssd/data/python-lab/Trading/venv/lib/python3.12/site-packages/sympy/assumptions/tests/test_query.py test_int_1r[s A q}}Q D (( ( qyy|  $$ $ qzz!}  %% % qvvay>T !! ! qyy|  $$ $ q||A 5 (( ( q{{1~ % '' ' qzz!}  %% % qzz!}  && & qvvay>U "" " quuQx=D  qxx{ t ## # qwwqz?e ## # q{{1~ % '' ' q{{1~ $ && & qq! "e ++ +cHd}ttj|dusJttj|dusJttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJy)N TFrHrYs rZ test_int_11r_1s A q}}Q D (( ( qyy|  $$ $ qzz!}  %% % qvvay>T !! ! qyy|  $$ $ q||A 5 (( ( q{{1~ % '' ' qzz!}  %% % qzz!}  && & qvvay>U "" " quuQx=D  qxx{ t ## # qwwqz?d "" " q{{1~ % '' ' q{{1~ $ && & qq! "e ++ +r\cHd}ttj|dusJttj|dusJttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJy)N TFrHrYs rZ test_int_12rbEs A q}}Q D (( ( qyy|  $$ $ qzz!}  %% % qvvay>T !! ! qyy|  $$ $ q||A 5 (( ( q{{1~ % '' ' qzz!}  %% % qzz!}  && & qvvay>T !! ! quuQx=E !! ! qxx{ t ## # qwwqz?e ## # q{{1~ $ && & q{{1~ $ && & qq! "e ++ +r\cd}ttj|dusJttj|Jttj|Jttj |dusJttj |dusJttj|Jttj|dusJttj|dusJttj|dusJttj|Jttj|Jttj|dusJttj|Jttj|Jttj |dusJttj"|dusJd}ttj|dusJttj|dusJttj|Jttj |dusJttj |dusJttj|Jttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJttjt$j&Jy)N?TFga+e@)r rrIrJrKrLrMrNrOrPrQrRrSrTrUrVrWrXmathr$rYs rZ test_float_1rfYsv A q}}Q D (( ( qyy|  $$ $ qzz!}  %% % qvvay>T !! ! qyy|  $$ $ q||A  '' ' q{{1~ % '' ' qzz!}  %% % qzz!}  && & qvvay> !! ! quuQx=  qxx{ t ## # qwwqz? "" " q{{1~  && & q{{1~ $ && & qq! "e ++ +A q}}Q D (( ( qyy|  %% % qzz!}  %% % qvvay>T !! ! qyy|  $$ $ q||A  '' ' q{{1~ % '' ' qzz!}  %% % qzz!}  && & qvvay>U "" " quuQx=E !! ! qxx{ t ## # qwwqz?e ## # q{{1~ % '' ' q{{1~ $ && & qq! "e ++ + qzz$''" # ++ +r\ctd}ttj|dusJttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJttj$|dusJttj&|dusJy)NrFT)r r rnonzerozerorIrJrKrLrMrOrPrQrRrSrTrUrVrWrXrYs rZ test_zero_0rjs A qyy|  %% % qvvay>T !! ! q}}Q D (( ( qyy|  $$ $ qzz!}  %% % qvvay>T !! ! qyy|  $$ $ q{{1~ % '' ' qzz!}  && & qzz!}  && & qvvay>T !! ! quuQx=E !! ! qxx{ t ## # qwwqz?e ## # q{{1~ % '' ' q{{1~ $ && & qq! "d ** *r\ctd}ttj|dusJttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJttj$|dusJttj&|dusJttj(|dusJy)NTF)r r rrhrirIrJrKrLrMrNrOrPrQrRrSrTrUrVrWrXrYs rZtest_negativeonerms A qyy|  $$ $ qvvay>U "" " q}}Q D (( ( qyy|  $$ $ qzz!}  %% % qvvay>T !! ! qyy|  $$ $ q||A 5 (( ( q{{1~ % '' ' qzz!}  && & qzz!}  %% % qvvay>U "" " quuQx=D  qxx{ t ## # qwwqz?e ## # q{{1~ % '' ' q{{1~ $ && & qq! "e ++ +r\cttjtdusJttjtdusJttj tdusJttj tdusJttjtdusJttjtdusJttjtdusJttjtdusJttjtdusJttjtdusJttjtdusJttjtdusJttjtdusJttj tdusJttj"tdusJttj$tdusJttj&tdusJttj(tdusJttj*tdusJttj,tdusJttj.tdusJttj0tdusJyNTF)r rrIr"rJrK algebraicrL extended_realrMrNrOrPextended_positiverQrRrSrTinfiniterUrVrWrXpositive_infinitenegative_infiniter\rZ test_infinityrws^ q}}R !T )) ) qyy}  && & qzz"~ % '' ' q{{2 5 (( ( qvvbz?e ## # qr" #t ++ + qyy}  && & q||B E )) ) q{{2 5 (( ( qzz"~ % '' ' q""2& '4 // / qzz"~ % '' ' qvvbz?e ## # quuRy>U "" " qxx|  %% % qzz"~ $ && & qwwr{ u $$ $ q{{2 5 (( ( q{{2 5 (( ( qr" #u ,, , q""2& '4 // / q""2& '5 00 0r\ctj}ttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJttj$|dusJttj&t(dusJttj*|dusJttj,|dusJttj.|dusJttj0|dusJttj2t( dusJttj4t( dusJyro)r%NegativeInfinityr rrIrJrKrprLrqrMrNrOrPrQextended_negativerRrSrTrsr"rUrVrWrXrtru)mms rZtest_neg_infinityr|sm  B q}}R !T )) ) qyy}  && & qzz"~ % '' ' q{{2 5 (( ( qvvbz?e ## # qr" #t ++ + qyy}  && & q||B E )) ) q{{2 5 (( ( qzz"~ % '' ' qzz"~ % '' ' q""2& '4 // / qvvbz?e ## # quuRy>U "" " qxx|  %% % qzz"~ $ && & qwwr{ u $$ $ q{{2 5 (( ( q{{2 5 (( ( qr" #u ,, , q""B3' (E 11 1 q""B3' (D 00 0r\cttjtdusJttjtdusJttj tdusJttj tdusJttjtdusJttjtdusJttjtdusJttjtdusJttjtdusJttjtdusJttjtdusJttjtdusJttjtdusJttj tdusJttj"tdusJttj$tdusJttj&tdusJttj(tdusJttj*tdusJttj,tdusJttj.tdusJttj0tdusJttj2tdusJyro)r rrIr#rJrKrprLrqrMrNrOrPrQrirhrRrSrTrsrUrVrWrXrtrurvr\rZtest_complex_infinityr~s| q}}S! "d ** * qyy~ % '' ' qzz# 5 (( ( q{{3 E )) ) qvvc{ u $$ $ qs# $ -- - qyy~ % '' ' q||C !U ** * q{{3 E )) ) qzz# 5 (( ( qzz# 5 (( ( qvvc{ u $$ $ qyy~ % '' ' qvvc{ u $$ $ quuSz?e ## # qxx}  && & qzz# 4 '' ' qwws|  %% % q{{3 E )) ) q{{3 E )) ) qs# $ -- - q""3' (E 11 1 q""3' (E 11 1r\c(tj}ttj|dusJttj |Jttj |Jttj|Jttj|Jttj|Jttj|Jttj|Jttj|Jttj|Jttj|Jttj|Jttj |Jttj"|Jttj$|Jttj&|Jttj(|Jttj*|Jttj,|Jttj.|JyNT)r%NaNr rrIrJrKrprLrqrMrNrOrPrhrirRrSrTrsrUrVrWrXnans rZtest_nanrs %%C q}}S! "d ** * qyy~  && & qzz#  '' ' q{{3 (( ( qvvc{  ## # qs# $ ,, , qyy~  && & q||C ! )) ) q{{3 (( ( qzz#  '' ' qyy~  && & qvvc{  ## # qvvc{  ## # quuSz? "" " qxx}  %% % qzz#  '' ' qwws|  $$ $ q{{3 (( ( q{{3 (( ( qs# $ ,, ,r\ctdd}ttj|dusJttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJttj$|dusJtdd}ttj|dusJttj|dusJtdd}ttj|dusJttj|dusJtdd}ttj|dusJttj|dusJtdd}ttj|dusJttj|dusJtdd}ttj|dusJttj|dusJtd d}ttj|dusJttj|dusJtd d}ttj|dusJttj|dusJy) NTFrGrl)r!r rrIrJrKrLrMrNrOrPrQrRrSrTrUrVrWrX)rs rZtest_Rational_numberrsAA q}}Q D (( ( qyy|  %% % qzz!}  %% % qvvay>T !! ! qyy|  $$ $ q||A 5 (( ( q{{1~ % '' ' qzz!}  %% % qzz!}  && & qvvay>U "" " quuQx=E !! ! qxx{ t ## # qwwqz?e ## # q{{1~ % '' ' q{{1~ $ && & qq! "e ++ +AA qzz!}  %% % qzz!}  && &AA qzz!}  && & qzz!}  %% %AA qzz!}  %% % qzz!}  && &QA qzz!}  && & qzz!}  %% %QA qzz!}  && & qzz!}  %% %QA qzz!}  %% % qzz!}  && &QA qzz!}  && & qzz!}  %% %r\cZtd}ttj|dusJttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJttj$|dusJy)NTF)r1r rrIrJrKrLrMrNrOrPrQrRrSrTrUrVrWrXrYs rZ test_sqrt_2rBs QA q}}Q D (( ( qyy|  %% % qzz!}  && & qvvay>T !! ! qyy|  $$ $ q||A 4 '' ' q{{1~ % '' ' qzz!}  %% % qzz!}  && & qvvay>U "" " quuQx=E !! ! qxx{ t ## # qwwqz?e ## # q{{1~ % '' ' q{{1~ $ && & qq! "e ++ +r\cRtj}ttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJttj$|dusJttj&|dusJttj(|dusJtjdz}ttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJttj$|dusJttj&|dusJttj(|dusJdtjz}ttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJttj$|dusJttj&|dusJttj(|dusJtjdz}ttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJttj$|dusJttj&|dusJttj(|dusJdtjzdz}ttj|dusJttj |dusJttj |dusJttj|Jttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJttj$|dusJttj&|dusJttj(|dusJyNTFrGr)r%Pir rrIrJrKrprLrMrNrOrPrQrRrSrTrUrVrWrXrYs rZtest_pirVs.  A q}}Q D (( ( qyy|  %% % qzz!}  && & q{{1~ % '' ' qvvay>T !! ! qyy|  $$ $ q||A 4 '' ' q{{1~ % '' ' qzz!}  %% % qzz!}  && & qvvay>U "" " quuQx=E !! ! qxx{ t ## # qwwqz?e ## # q{{1~ % '' ' q{{1~ $ && & qq! "e ++ + qA q}}Q D (( ( qyy|  %% % qzz!}  && & q{{1~ % '' ' qvvay>T !! ! qyy|  $$ $ q||A 4 '' ' q{{1~ % '' ' qzz!}  %% % qzz!}  && & qvvay>U "" " quuQx=E !! ! qxx{ t ## # qwwqz?e ## # q{{1~ % '' ' q{{1~ $ && & qq! "e ++ + !$$A q}}Q D (( ( qyy|  %% % qzz!}  && & q{{1~ % '' ' qvvay>T !! ! qyy|  $$ $ q||A 4 '' ' q{{1~ % '' ' qzz!}  %% % qzz!}  && & qvvay>U "" " quuQx=E !! ! qxx{ t ## # qwwqz?e ## # q{{1~ % '' ' q{{1~ $ && & qq! "e ++ +  A q}}Q D (( ( qyy|  %% % qzz!}  && & q{{1~ % '' ' qvvay>T !! ! qyy|  $$ $ q||A 4 '' ' q{{1~ % '' ' qzz!}  %% % qzz!}  && & qvvay>U "" " quuQx=E !! ! qxx{ t ## # qwwqz?e ## # q{{1~ % '' ' q{{1~ $ && & qq! "e ++ + QTTaA q}}Q D (( ( qyy|  %% % qzz!}  && & q{{1~  && & qvvay>T !! ! qyy|  $$ $ q||A 4 '' ' q{{1~ % '' ' qzz!}  %% % qzz!}  && & qvvay>U "" " quuQx=E !! ! qxx{ t ## # qwwqz?e ## # q{{1~ % '' ' q{{1~ $ && & qq! "e ++ +r\ctj}ttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJttj$|dusJttj&|dusJttj(|dusJyro)r%Exp1r rrIrJrKrprLrMrNrOrPrQrRrSrTrUrVrWrXrYs rZtest_Ers A q}}Q D (( ( qyy|  %% % qzz!}  && & q{{1~ % '' ' qvvay>T !! ! qyy|  $$ $ q||A 4 '' ' q{{1~ % '' ' qzz!}  %% % qzz!}  && & qvvay>U "" " quuQx=E !! ! qxx{ t ## # qwwqz?e ## # q{{1~ % '' ' q{{1~ $ && & qq! "e ++ +r\ctj}ttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJttj$|dusJttj&|dusJttj(|dusJyro)r% GoldenRatior rrIrJrKrprLrMrNrOrPrQrRrSrTrUrVrWrXrYs rZtest_GoldenRatiors A q}}Q D (( ( qyy|  %% % qzz!}  && & q{{1~ $ && & qvvay>T !! ! qyy|  $$ $ q||A 4 '' ' q{{1~ % '' ' qzz!}  %% % qzz!}  && & qvvay>U "" " quuQx=E !! ! qxx{ t ## # qwwqz?e ## # q{{1~ % '' ' q{{1~ $ && & qq! "e ++ +r\ctj}ttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJttj$|dusJttj&|dusJttj(|dusJyro)r%TribonacciConstantr rrIrJrKrprLrMrNrOrPrQrRrSrTrUrVrWrXrYs rZtest_TribonacciConstantrs A q}}Q D (( ( qyy|  %% % qzz!}  && & q{{1~ $ && & qvvay>T !! ! qyy|  $$ $ q||A 4 '' ' q{{1~ % '' ' qzz!}  %% % qzz!}  && & qvvay>U "" " quuQx=E !! ! qxx{ t ## # qwwqz?e ## # q{{1~ % '' ' q{{1~ $ && & qq! "e ++ +r\cPt}ttj|dusJttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJttj$|dusJttj&|dusJdtz}ttj|dusJttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJttj$|dusJttj&|dusJtdtzz}ttj|dusJttj|dusJttj |dusJttj |dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj|dusJttj |dusJttj"|dusJttj$|dusJttj&|dusJttz}ttj|dusJttj|dusJt tz}ttj|dusJttj|dusJdtztz}ttj|dusJttj|dusJdtz}ttj|dusJttj|dusJdtz}ttj|dusJttj|dusJdtztz}ttj|dusJttj|dusJttdzz}ttj|dusJttj|dusJttdzz}ttj|dusJttj|dusJtdz}ttj|dusJttj|dusJtdz}ttj|dusJttj|dusJdtz}ttj|dusJttj|dusJtdz}ttj|dusJttj|dusJy)NTFrGrrlrr)rr rrIrJrKrprLrMrNrOrPrQrRrSrTrUrVrWrXrYs rZtest_Irsr A q}}Q D (( ( qyy|  %% % qzz!}  && & q{{1~ $ && & qvvay>U "" " qyy|  $$ $ q||A 5 (( ( q{{1~ $ && & qzz!}  && & qzz!}  && & qvvay>U "" " quuQx=E !! ! qxx{ t ## # qwwqz?e ## # q{{1~ % '' ' q{{1~ % '' ' qq! "d ** * AA q}}Q D (( ( qyy|  %% % qzz!}  && & q{{1~ $ && & qvvay>U "" " qyy|  $$ $ q||A 5 (( ( q{{1~ % '' ' qzz!}  && & qzz!}  && & qvvay>U "" " quuQx=E !! ! qxx{ t ## # qwwqz?e ## # q{{1~ % '' ' q{{1~ % '' ' qq! "e ++ + 1q5 A q}}Q D (( ( qyy|  %% % qzz!}  && & q{{1~ $ && & qvvay>U "" " qyy|  $$ $ q||A 5 (( ( q{{1~ % '' ' qzz!}  && & qzz!}  && & qvvay>U "" " quuQx=E !! ! qxx{ t ## # qwwqz?e ## # q{{1~ % '' ' q{{1~ % '' ' qq! "e ++ + AA q{{1~ % '' ' qvvay>T !! ! q A q{{1~ % '' ' qvvay>T !! ! 1 A q{{1~ % '' ' qvvay>U "" " aA q{{1~ % '' ' qvvay>T !! ! q A q{{1~ % '' ' qvvay>T !! ! 1 A q{{1~ % '' ' qvvay>U "" " ac A q{{1~ $ && & qvvay>U "" " ac A q{{1~ % '' ' qvvay>T !! ! aA q{{1~ % '' ' qvvay>T !! ! aA q{{1~ $ && & qvvay>U "" " aA q{{1~ % '' ' qvvay>U "" " aA q{{1~ % '' ' qvvay>T !! !r\cBtd\}}}||z}|j\}}ttj|tj |Jttj|Jttj|tj|dusJttj|tj|Jttj|tj |dusJttj|tj|Jttj|dzJttj|dztj|dusJ||z}|j\}}ttj|tj|tj|zdusJttj|tj|tj|zdusJttj|tj|tj|zdusJttj|tj|tj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|ztj|zdusJttj|tj|tj|zdusJttj|tj|tj|zdusJttj|tj|tj |zdusJttj|tj|tj |zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj |zdusJttj|tj|tj|ztj|ztj|zdusJttj|tj|Jttj|tj|Jttj|tj|tj|z Jttj|tj|tj|z Jttj|tj|tj|zJttj|tj|tj|ztj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|zJttj|tj |tj|z Jttj|tj|tj |z Jttj|tj |tj |zdusJttj|tj |tj|ztj|z Jttj|tj|tj|ztj |z Jttj|tj|tj|ztj|ztj|zdusJttj|tj|Jttj|tj|tj|z Jttj|tj |Jttj|tj|tj |zdusJttj|tj|tj|ztj|z Jttj|tj|tj |z Jttj|tj|tj|ztj|zdusJttj|Jttj|tj|Jttj|tj|Jttj|tj|tj|z Jttj|tj|tj|z Jttj|tj|tj|z Jttj|tj|tj|z Jtd\}}}||z|z}|j\}}}ttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj |zdusJttj|tj|tj|ztj|z Jttj|tj|tj|zJttj|tj|tj|ztj|z Jttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj |zdusJttj|tj|tj|ztj|z Jttj|tj|tj|zJttj|tj|tj|ztj|z Jttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj |zdusJttj|tj|tj|ztj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|z Jttj|tj|tj|ztj |z Jttj|tj|tj|ztj|zdusJttj|tj|tj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj |z Jttj|tj|tj|ztj|z Jttj|tj|tj|zJttj|tj|tj|ztj|z Jttj|tj|tj |ztj |zdusJttj|tj|tj |ztj|z Jttj|tj|tj |z Jttj|tj|tj |ztj|zdusJttj|tj|tj|ztj|z Jttj|tj|tj|z Jttj|tj|tj|ztj|z Jttj|tj|Jttj|tj|tj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj |zdusJttj|tj|tj|ztj|z Jttj|tj|tj|zJttj|tj|tj|ztj|z Jttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj |zdusJttj|tj|tj|ztj|z Jttj|tj|tj|zJttj|tj|tj|ztj|z Jttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|z Jttj|tj|tj|ztj |z Jttj|tj|tj|ztj|zdusJttj|tj|tj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj |z Jttj|tj|tj|ztj|z Jttj|tj|tj|zJttj|tj|tj|ztj|z Jttj|tj|tj |ztj |zdusJttj|tj|tj |ztj|z Jttj|tj|tj |z Jttj|tj|tj |ztj|zdusJttj|tj|tj|ztj|z Jttj|tj|tj|z Jttj|tj|tj|ztj|z Jttj|tj|Jttj|tj|tj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|ztj |zdusJttj|tj|tj|ztj|z Jttj|tj|tj|zJttj|tj|tj|ztj|z Jttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|z Jttj|tj|tj|ztj |z Jttj|tj|tj|ztj|zdusJttj|tj|tj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj |z Jttj|tj|tj|ztj|z Jttj|tj|tj|zJttj|tj|tj|ztj|z Jttj|tj|tj |ztj |zdusJttj|tj|tj |ztj|z Jttj|tj|tj |z Jttj|tj|tj |ztj|zdusJttj|tj|tj|ztj|z Jttj|tj|tj|z Jttj|tj|tj|ztj|z Jttj|tj|Jttj|tj|tj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|z Jttj|tj|tj|ztj |z Jttj|tj|tj|ztj|zdusJttj|tj|tj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj |z Jttj|tj|tj|ztj|z Jttj|tj|tj|z Jttj|tj|tj|ztj|z Jttj|tj|tj |ztj |z Jttj|tj|tj |ztj|z Jttj|tj|tj |z Jttj|tj|tj |ztj|z Jttj|tj|tj|ztj|zdusJttj|tj|tj|z Jttj|tj|tj|ztj|z Jttj|tj|Jttj|tj|tj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj|z Jttj|tj|tj |ztj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|zJttj|tj|tj|ztj|z Jttj|tj|tj |ztj |z Jttj|tj|tj |ztj|z Jttj|tj|tj |z Jttj|tj|tj |ztj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|z Jttj|tj|tj|ztj|z Jttj|tj|Jttj|tj|tj|z Jttj|tj|tj|ztj|z Jttj|tj |tj |ztj |zdusJttj|tj |tj |ztj|z Jttj|tj |tj |z Jttj|tj |tj |ztj|zdusJttj|tj |tj|ztj|z Jttj|tj |tj|z Jttj|tj |tj|ztj|z Jttj|tj |Jttj|tj |tj|z Jttj|tj |tj|ztj|zdusJttj|tj|tj|ztj|z Jttj|tj|tj|z Jttj|tj|tj|ztj|z Jttj|tj|Jttj|tj|tj|z Jttj|tj|tj|ztj|z Jttj|Jttj|tj|Jttj|tj|tj|z Jttj|tj|tj|ztj|z Jttjd|zJttjd|ztj|dusJtd\}}}||z}|j\}}ttj|tj|tj|zdusJttj|tj|tj|ztj|zdusJttj|tj|Jttj|tj|tj|ztj|zdusJttj|tj|tj|zdusJttj|tj|Jttj|tj|Jttj|tj|Jttj|J||z|z}|j\}}}ttj|tj|tj|ztj|zdusJttj|tj|tj|ztj|ztj|ztj|zdusJttj|tj|tj|zJttj|tj|tj|ztj|ztj|ztj|zdusJttj|tj|tj|ztj|ztj|zdusJttj|tj|tj|zJttj|tj|tj|zJttj|tj|tj|zJttj|tj|Jttj|tj|tj|ztj|ztj|ztj|zdusJttj|tj|tj|ztj|ztj|ztj|zdusJttj|tj|tj|zJttj|tj|tj|ztj|ztj|zdusJttj|tj|tj|ztj|zdusJttj|tj|tj|zJttj|tj|tj|zJttj|tj|tj|zJttj|tj|Jttj|tj|tj|zJttj|tj|tj|zJttj|tj|Jttj|tj|tj|zJttj|tj|tj|zJttj|tj|Jttj|tj|Jttj|tj|Jttj|tj|tj|ztj|ztj|z Jttj|tj|tj|ztj|ztj|ztj|zdusJtd\}}}ttj|dzJttjd|zJttjd|ztj|dusJttj||zJttjtj |zJttjtj |ztj|dusJttjtj |ztj|Jttjd|ztj|dusJttjt#|Jttjd|ztj|dusJttj|dztj|dusJttj||ztj$|tj$|zJttj||ztj$|tj|zJttj||ztj|tj|zdusJttj||ztj$|tj|zdusJttj||ztj&|tj$|zdusJttj||ztj&|tj|zdusJttj||ztj|tj|zdusJttjt)|dusJttjt)|tj|dusJttjt+|Jttjt+|tj|Jttjt+|tj|dusJttjt+|tj,|dusJttjt+|tj|dusJttjt/|Jttjt/|tj|dusJttjt/ddusJttjt1|dusJttjt1|tj|dusJttjt3|dusJttjt3|tj|dusJttjdt1|zdusJttjt1|dzdusJttjt3|dzdusJttjt3|t1|zdusJy)Nzx,y,zTrGFr)r(argsr rrTrtrMrqrPrrrQrurzriextended_nonzeror%Halfr1rLrhr.r0rsr/r8r6rrras rZ test_boundedr`syKgGAq! AA 66DAq qxx{A//2 3 ;; ; qxx{  ## # qxx{AHHQK (D 00 0 qxx{AHHQK ( 00 0 qxx{AIIaL )T 11 1 qxx{AOOA. / 77 7 qxxA  '' ' qxxA , 44 4 AA 66DAq qxx{AHHQK!((1+5 6$ >> > qxx{AJJqMAHHQK7 8D @@ @ qxx{AHHQK!**Q-7 8D @@ @ qxx{AJJqMAJJqM9 :d BB B qxx{AJJqMAHHQK7 ::a=. ! "" " qxx{AHHQK1::a=.8 **Q-   !! ! qxx{AHHQK!((1+5AF ::a=. ! "" " qxx{AHHQK188A;,6 75 @@ @ qxx{AJJqMQXXa[L8 9U BB B qxx{AHHQK  a ! "%* ++ + qxx{AJJqM  a ! "%* ++ + qxx{AJJqMQXXa[L8 ::a=. " ## # qxx{AHHQK1::a=.8  a ! "%* ++ + qxx{AHHQK1::a=.8AHHQK<G ::a=. " ## # qxx{AHHQK ( 00 0 qxx{AJJqM * 22 2 qxx{AHHQK  a ! "%) ** * qxx{AJJqM  a ! "%) ** * qxx{AJJqMQZZ]N: ; CC C qxx{AHHQK1::a=.8  a ! "%) ** * qxx{AHHQK1::a=.8 ::a=. ! "" " qxx{QXXa[LAHHQK<7 8 @@ @ qxx{A//2 88A;,    qxx{QXXa[L  a ! "%) ** * qxx{A//2  a ! "%* ++ + qxx{A//2ahhqk\A  q ! !" #&* ++ + qxx{QXXa[LA,?,?,B+BB  a ! "%) ** * qxx{QXXa[LAHHQK<7  q ! !"%&%8%8%;$;< =@E FF F qxx{QXXa[L ) 11 1 qxx{A//2 88A;,    qxx{A//2 3 ;; ; qxx{A//2  a ! "%* ++ + qxx{A//2 88A;,--a001 259 :: : qxx{Q0033  a ! "%) ** * qxx{Q0033qxx{lB  q ! !" #&+ ,, , qxx{  ## # qxx{A//2 3 ;; ; qxx{A//2 3 ;; ; qxx{A//2  a ! "%) ** * qxx{A//2  q ! !" #&* ++ + qxx{Q0033  a ! "%) ** * qxx{Q0033  q ! !" #&* ++ +gGAq! A AffGAq! qxx{AJJqMAJJqM9 **Q-   !! ! qxx{AJJqMAJJqM9 ((1+    qxx{AJJqMAJJqM9 **Q-   !! ! qxx{AJJqMAJJqM9  a ! "%* ++ + qxx{AJJqMAJJqM9 88A;,   !! ! qxx{AJJqMAJJqM9  a ! "%* ++ + qxx{AJJqMAJJqM9  a ! "%) ** * qxx{AJJqMAJJqM9 : BB B qxx{AJJqMAJJqM9  a ! "%) ** * qxx{AJJqMAHHQK7 ((1+    qxx{AJJqMAHHQK7 **Q-   !! ! qxx{AJJqMAHHQK7  a ! "%* ++ + qxx{AJJqMAHHQK7 88A;,   !! ! qxx{AJJqMAHHQK7  a ! "%* ++ + qxx{AJJqMAHHQK7  a ! "%) ** * qxx{AJJqMAHHQK7 8 @@ @ qxx{AJJqMAHHQK7  a ! "%) ** * qxx{AJJqMAJJqM9 **Q-   !! ! qxx{AJJqMAJJqM9  a ! "%* ++ + qxx{AJJqMAJJqM9 88A;,   !! ! qxx{AJJqMAJJqM9  a ! "%* ++ + qxx{AJJqMAJJqM9  a ! "%) ** * qxx{AJJqMA,?,?,BB ((1+    qxx{AJJqMAJJqM9  a ! "%) ** * qxx{AJJqMA,?,?,BB  a ! "%* ++ + qxx{AJJqMA,?,?,BB 88A;,    qxx{AJJqMA,?,?,BB  a ! "%) ** * qxx{AJJqMA,?,?,BB  a ! "%* ++ + qxx{AJJqM  a ! "%) ** * qxx{AJJqMA,?,?,BB  a ! "%) ** * qxx{AJJqMQXXa[L8 88A;,    qxx{AJJqMQXXa[L8  a ! "%) ** * qxx{AJJqMQXXa[L8  a ! "%) ** * qxx{AJJqMQXXa[L8 9 AA A qxx{AJJqMQXXa[L8  a ! "%) ** * qxx{AJJqMA,?,?,BB  a ! "%* ++ + qxx{AJJqMA,?,?,BB  a ! "%) ** * qxx{AJJqM  Q   !$( )) ) qxx{AJJqMA,?,?,BB  a ! "%* ++ + qxx{AJJqMA,?,?,BB  a ! "%) ** * qxx{AJJqM  a ! "%) ** * qxx{AJJqMA,?,?,BB  a ! "%) ** * qxx{AJJqM * 22 2 qxx{AJJqM  a ! "%) ** * qxx{AJJqMA,?,?,BB  a ! "%) ** * qxx{AHHQK!((1+5 ((1+    qxx{AHHQK!((1+5 **Q-   !! ! qxx{AHHQK!((1+5  a ! "%* ++ + qxx{AHHQK!((1+5 88A;,   !! ! qxx{AHHQK!((1+5  a ! "%* ++ + qxx{AHHQK!((1+5  a ! "%) ** * qxx{AHHQK!((1+5 6 >> > qxx{AHHQK!((1+5  a ! "%) ** * qxx{AHHQK!**Q-7 **Q-   !! ! qxx{AHHQK!**Q-7  a ! "%* ++ + qxx{AHHQK!**Q-7 88A;,   !! ! qxx{AHHQK!**Q-7  a ! "%* ++ + qxx{AHHQK!**Q-7  a ! "%) ** * qxx{AHHQK!**Q-7 8 @@ @ qxx{AHHQK!**Q-7  a ! "%) ** * qxx{AHHQK!*=*=a*@@  a ! "%* ++ + qxx{AHHQK!*=*=a*@@ 88A;,    qxx{AHHQK!*=*=a*@@  a ! "%) ** * qxx{AHHQK!*=*=a*@@  a ! "%* ++ + qxx{AHHQK  a ! "%) ** * qxx{AHHQK!*=*=a*@@  a ! "%) ** * qxx{AHHQK188A;,6 88A;,    qxx{AHHQK188A;,6  a ! "%) ** * qxx{AHHQK188A;,6  a ! "%) ** * qxx{AHHQK188A;,6 7 ?? ? qxx{AHHQK188A;,6  a ! "%) ** * qxx{AHHQK!*=*=a*@@  a ! "%* ++ + qxx{AHHQK!*=*=a*@@  a ! "%) ** * qxx{AHHQK  a ! "%) ** * qxx{AHHQK!*=*=a*@@  a ! "%* ++ + qxx{AHHQK!*=*=a*@@  a ! "%) ** * qxx{AHHQK  a ! "%) ** * qxx{AHHQK!*=*=a*@@  a ! "%) ** * qxx{AHHQK ( 00 0 qxx{AHHQK  a ! "%) ** * qxx{AHHQK!*=*=a*@@  a ! "%) ** * qxx{AJJqMAJJqM9 **Q-   !! ! qxx{AJJqMAJJqM9  a ! "%* ++ + qxx{AJJqMAJJqM9 88A;,   !! ! qxx{AJJqMAJJqM9  a ! "%* ++ + qxx{AJJqMAJJqM9  a ! "%) ** * qxx{AJJqMAJJqM9 : BB B qxx{AJJqMAJJqM9  a ! "%) ** * qxx{AJJqMA,?,?,BB  a ! "%* ++ + qxx{AJJqMA,?,?,BB 88A;,    qxx{AJJqMA,?,?,BB  a ! "%) ** * qxx{AJJqMA,?,?,BB  a ! "%* ++ + qxx{AJJqM  a ! "%) ** * qxx{AJJqMA,?,?,BB  a ! "%) ** * qxx{AJJqMQXXa[L8 88A;,    qxx{AJJqMQXXa[L8  a ! "%) ** * qxx{AJJqMQXXa[L8  a ! "%) ** * qxx{AJJqMQXXa[L8 9 AA A qxx{AJJqMQXXa[L8  a ! "%) ** * qxx{AJJqMA,?,?,BB  a ! "%* ++ + qxx{AJJqMA,?,?,BB  a ! "%) ** * qxx{AJJqM  a ! "%) ** * qxx{AJJqMA,?,?,BB  a ! "%* ++ + qxx{AJJqMA,?,?,BB  a ! "%) ** * qxx{AJJqM  a ! "%) ** * qxx{AJJqMA,?,?,BB  a ! "%) ** * qxx{AJJqM * 22 2 qxx{AJJqM  a ! "%) ** * qxx{AJJqMA,?,?,BB  a ! "%) ** * qxx{A//2  a !#$#6#6q#9: ;>C DD D qxx{A//2  a !$%HHQK<0 148 99 9 qxx{A//2  a !"#"5"5a"89 :=A BB B qxx{A//2  a !#$#6#6q#9: ;>C DD D qxx{A//2  a ! "%) ** * qxx{A//2  a !#$#6#6q#9: ;>B CC C qxx{A//2 88A;,((1+& '*. // / qxx{A//2 88A;,,,Q/0 148 99 9 qxx{A//2 88A;,,,Q/0 148 99 9 qxx{A//2 88A;,    qxx{A//2 88A;,,,Q/0 148 99 9 qxx{A//2  a !#$#6#6q#9: ;>B CC C qxx{A//2  a !#$#6#6q#9: ;>B CC C qxx{A//2  a ! "%) ** * qxx{A//2  a !#$#6#6q#9: ;>B CC C qxx{A//2  a !#$#6#6q#9: ;>C DD D qxx{A//2  a ! "%) ** * qxx{A//2  a !#$#6#6q#9: ;>B CC C qxx{A//2 3 ;; ; qxx{A//2  a ! "%) ** * qxx{A//2  a !#$#6#6q#9: ;>B CC C qxx{QXXa[LAHHQK<7 88A;,    qxx{QXXa[L1+>+>q+AA 88A;,    qxx{QXXa[LAHHQK<7  a ! "%) ** * qxx{QXXa[LAHHQK<7 8 @@ @ qxx{QXXa[LAHHQK<7  a ! "%) ** * qxx{QXXa[L1+>+>q+AA  a ! "%) ** * qxx{QXXa[L1+>+>q+AA  a ! "%) ** * qxx{QXXa[L  a ! "%) ** * qxx{QXXa[L1+>+>q+AA  a ! "%) ** * qxx{QXXa[L1+>+>q+AA  a ! "%) ** * qxx{QXXa[L  a ! "%) ** * qxx{QXXa[L1+>+>q+AA  a ! "%) ** * qxx{QXXa[L ) 11 1 qxx{QXXa[L  a ! "%) ** * qxx{QXXa[L1+>+>q+AA  a ! "%) ** * qxx{A//2  a !#$#6#6q#9: ;>C DD D qxx{A//2  a !#$#6#6q#9: ;>B CC C qxx{A//2  a ! "%) ** * qxx{A//2  a !#$#6#6q#9: ;>C DD D qxx{A//2  a !#$#6#6q#9: ;>B CC C qxx{A//2  a ! "%) ** * qxx{A//2  a !#$#6#6q#9: ;>B CC C qxx{A//2 3 ;; ; qxx{A//2  a ! "%) ** * qxx{A//2  a !#$#6#6q#9: ;>C DD D qxx{A//2  a !#$#6#6q#9: ;>B CC C qxx{A//2  a ! "%) ** * qxx{A//2  a !#$#6#6q#9: ;>B CC C qxx{A//2 3 ;; ; qxx{A//2  a ! "%) ** * qxx{A//2  a !#$#6#6q#9: ;>B CC C qxx{  ## # qxx{A//2 3 ;; ; qxx{A//2  a ! "%) ** * qxx{A//2  a !#$#6#6q#9: ;>B CC C qxx!}  %% % qxx!}ahhqk *d 22 2gGAq! !A 66DAq qxx{AHHQK!((1+5 6$ >> > qxx{AHHQK166!9*4 |C D MM M qxx{AHHQK ( 00 0 qxx{QXXa[L188A;6 B Cu LL L qxx{QXXa[LAHHQK<7 8E AA A qxx{QXXa[L ) 11 1 qxx{AHHQK ( 00 0 qxx{QXXa[L ) 11 1 qxx{  ## # !AAffGAq! qxx{AHHQK!((1+5 ((1+    qxx{AHHQK166!9*4qxx{B 66!9* |$ %(- .. . qxx{AHHQK!((1+5 6 >> > qxx{AHHQK166!9*4 |C ((1+ # $', -- - qxx{AHHQK166!9*4 |C 88A;,   !! ! qxx{AHHQK188A;,6 7 ?? ? qxx{AHHQK!((1+5 6 >> > qxx{AHHQK188A;,6 7 ?? ? qxx{AHHQK ( 00 0 qxx{QXXa[L188A;6!&&)C ((1+ # $', -- - qxx{QXXa[LAFF1I:5 C 66!9* |$ %(- .. . qxx{QXXa[L188A;6 7 ?? ? qxx{QXXa[LAHHQK<7 ((1+ # $', -- - qxx{QXXa[LAHHQK<7 88A;,   !! ! qxx{QXXa[LAHHQK<7 8 @@ @ qxx{QXXa[L188A;6 7 ?? ? qxx{QXXa[LAHHQK<7 8 @@ @ qxx{QXXa[L ) 11 1 qxx{AHHQK!((1+5 6 >> > qxx{AHHQK188A;,6 7 ?? ? qxx{AHHQK ( 00 0 qxx{QXXa[L188A;6 7 ?? ? qxx{QXXa[LAHHQK<7 8 @@ @ qxx{QXXa[L ) 11 1 qxx{AHHQK ( 00 0 qxx{QXXa[L ) 11 1 qxx{QXXa[L1+=+=a+@@  Q  "#"4"4Q"78 9<@ AA A qxx{A..q1QXXa[L@  Q  #$88A;,/  Q   !$) ** *gGAq! qxx1~  && & qxx1~  && & qxx1~qxx{ +t 33 3 qxx1~  && & qxx! $ % -- - qxx! $a&9&9!&< = EE E qxx! $a&9&9!&< = EE E qxx1~q2215 6$ >> > qxxQ ! )) ) qxx1~ | , 55 5 qxx1~ | , 55 5 qxx1~qvvay166!94 5 == = qxx1~qvvay1::a=8 9 AA A qxx1~qvvay1::a=8 9U BB B qxx1~qvvay1::a=8 9T AA A qxx1~qyy|affQi7 8D @@ @ qxx1~qyy|ajjm; < DD D qxx1~qvvay1::a=8 9T AA A qxxQ !T )) ) qxxQ 188A;, /4 77 7 qxxA (( ( qxxA! - 55 5 qxxA!&&) , 44 4 qxxAA /5 88 8 qxxA +u 44 4 qxxA (( ( qxxA! - 55 5 qxxA D (( ( qxxA D (( ( qxxA!((1+ .$ 66 6 qxxA D (( ( qxxA!((1+ .$ 66 6 qxx#a&! "d ** * qxxA " #t ++ + qxxA " #t ++ + qxxAQ( )T 11 1r\cttjttzdusJttjdttzzdusJttjdttzzdusJttjt tzdusJttjdt zdusJttjtt zdusJttjt tz tjt tjtztjtzdusJttjttzttzz Jttjt tztzJttjdt z tjt tjt zdusJttjdttzz dusJy)NTrGrF) r rrsrr"r#rrrTrirvr\rZtest_unboundedr_s qzz!b&! "d ** * qzz!ad(# $ ,, , qzz!q2v,' (D 00 0 qzz1"r'" #t ++ + qzz!c'" #t ++ + qzz!c'" #t ++ + qzz!a% !**Q-!((1+"= "J Kt SS S qzz!b&1r6/* + 33 3 qzz!a%"*% & .. . qzz!a% !((1+ ": ;u DD D qzz!q2v,' (E 11 1r\cttjttjttj tztj tzJyN)r rrVrrJrPrUrvr\rZtest_issue_27441rmsA q{{1~qyy|ajjm;qwwqzkI J RR Rr\ctd\}}}||z}ttj|tj|tj|zJttj|tj|tj|zJ||z|z}ttj|tj|tj|ztj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj|z Jttj|tj|tj|ztj|z Jy)Nzx y z)r(r rrTrs rZtest_issue_27447rrs` G EAa !A qxx{AHHQKAHHQK<7 8 @@ @ qxx{QXXa[LAHHQK7 8 @@ @ !AA qxx{AHHQK!((1+5 88A;,    qxx{AHHQK188A;,6 ((1+    qxx{AHHQK188A;,6 88A;,    qxx{QXXa[L188A;6 ((1+    qxx{QXXa[L188A;6 88A;,    qxx{QXXa[LAHHQK<7 ((1+   r\cttjttztjttj tz Jyr)r rrTrrrirvr\rZtest_issue_27662_xfailrsF qxx!}qxx{l &&)   r\cttjtttzdusJttjt ttzdusJy)z4We need to support relations in ask for this to workTN)r rrTr8rr6rvr\rZtest_bounded_xfailrsL qxxA " #t ++ + qxxA " #t ++ +r\cttjtdusJttjttjtdusJttjttjtdusJttjttj tdusJttjttj tdusJttjttjtdusJttjttjtdusJttjdtzdusJttjdtztjtdusJttjtdzdusJttjtdztjtdusJttjtdzdusJttjtdztjtdusJttjttdusJy)zdBy default objects are Q.commutative that is why it returns True for both key=True and key=FalseTFrrGN) r rrIrrMrOrLrPrr0rvr\rZtest_commutativers q}}Q D (( ( q}}Q!--"2!2 3u << < q}}Q1 .$ 66 6 q}}QQ 0D 88 8 q}}Q +t 33 3 q}}QA /4 77 7 q}}Q!--"2!2 3t ;; ; q}}QqS! "d ** * q}}QqS!AMM!$4#4 5 >> > q}}QU# $ ,, , q}}QU#ammA&6%6 75 @@ @ q}}QT" #t ++ + q}}QT"Q]]1%5$5 6% ?? ? q}}SV$ % -- -r\cttjtJttjttjtdusJttjttjtJttjttjtdusJttjttj tdusJttjttj tJttjttj tdusJttjttjtdusJttjttjtdusJttjttjtdusJttjttjtdusJttjtdztjtdusJttjtdztj tdusJttjtdztj tdusJttjtdztjtdusJttjtdztjtdusJttjtdztjtdusJttjtdztjtdusJttjtdztjtdusJttjttztjttjtzdusJttjttztj ttjtzdusJttjdtzdztjtdusJttjdtzdztj tdusJttjdtzdztjtdusJttjdtzdztj tdusJttjdtzdztjtdusJttjdtzdztjtdusJttjdtzdztjtdusJttjdtzdztjtdusJttjdtzdztjtdusJttjtdztjtdusJttjtdztj tdusJttjtdztjtdusJttjtdztj tdusJttjtdztjtdusJttjtdztjtdusJttjtdztjtdusJttjtdztjtdusJttjtdztjtdusJttjdtztjtdusJttjdtztj tdusJttjdtztjtdusJttjdtztj tdusJttjdtztjtdusJttjdtztjtdusJttjdtztjtdusJttjdtztjtdusJttjdtztjtdusJttjttztjttjtzdusJttjttdusJttjtdtzdzdusJttjttdusJttjtdtzdzdusJttjt!tdusJttjt!tdusJttjt#tdusJttjt%tdusJttjt'tdusJyr)r rrMrrrLrKrNrPrOrprJrRrSr8r6r/r+r-r,rvr\rZ test_complexrs? qyy|  $$ $ qyy|QYYq\ *d 22 2 qyy|QYYq\ * 22 2 qyy|aiil] +u 44 4 qyy|QVVAY '4 // / qyy|affQiZ ( 00 0 qyy|QZZ] +t 33 3 qyy|Q\\!_ - 55 5 qyy|QZZ] +t 33 3 qyy|Q[[^ , 44 4 qyy|Q[[^ , 44 4 qyyQ1 .$ 66 6 qyyQ +t 33 3 qyyQA /4 77 7 qyyQa 1T 99 9 qyyQQ 0D 88 8 qyyQ1 .$ 66 6 qyyQ +t 33 3 qyyQq *d 22 2 qyyQ1 ! !< = EE E qyyQQ[[^!; < DD D qyy1q!199Q< 0D 88 8 qyy1q!166!9 - 55 5 qyy1q!1::a= 1T 99 9 qyy1q!1::a= 1T 99 9 qyy1q!1<<? 3t ;; ; qyy1q!1;;q> 2d :: : qyy1q!199Q< 0D 88 8 qyy1q!166!9 - 55 5 qyy1q!1558 , 44 4 qyyA ! - 55 5 qyyAq *d 22 2 qyyA 1 .$ 66 6 qyyA 1 .$ 66 6 qyyA Q 0D 88 8 qyyA A /4 77 7 qyyA ! - 55 5 qyyAq *d 22 2 qyyAa )T 11 1 qyyA ! - 55 5 qyyAq *d 22 2 qyyA 1 .$ 66 6 qyyA 1 .$ 66 6 qyyA Q 0D 88 8 qyyA A /4 77 7 qyyA ! - 55 5 qyyAq *d 22 2 qyyAa )T 11 1 qyyA ! qyy| ; < DD D qyyQ !T )) ) qyyQqS1W& '4 // / qyyQ !T )) ) qyyQqS1W& '4 // / qyyQ !T )) ) qyyQ !T )) ) qyyQ !T )) ) qyyA D (( ( qyyA D (( (r\c!ttjtJttjttjtJttjttjtdusJttjttj tJttjttj tJttjdtzJttjdtztjtdusJttjdtztjtdusJttjdtztjtdusJttjdtztjtdusJttjdtztjtJttjdtztjtJttjdtztjtdusJttjdtztjtdusJttjtdztjtdusJttjtdztjtdusJttjtdztjtdusJttjtdztjtdusJttjdtz tjtdusJttjdtztjtdusJttjttztjttjtzdusJttjttztjttjtzdusJttjttztjttjtzdusJttjdtzdztjtdusJttjdtztztj ttj tzJttjdtztztjttjtzJttjttztztjttjtztjtzdusJttjttztztztjttjtztjtztjtz JttjtttjtdusJttjtttjtJttjtttjtdusJttjtttjtJttjtttjtdusJttjtttjtdusJttjdt ztjt dusJttjt"dztjt"dusJttjt dztjt dusJttjdt"ztjt"JttjtdzJttjt"t$ztjt"tjt$ztj&t$zJttjt t$ztjt tjt$ztj&t$zdusJttjt"t(ztjt"tjt(ztj t(zdusJttjt t(ztjt tjt(ztj t(zdusJttjt$t"ztjt"tjt$ztj&t$zJttjt(t"ztjt"tjt(ztj t(zJttjt$t ztjt tjt$ztj&t$zJttjt(t ztjt tjt(ztj t(zJttjt"tztjt"Jttjt tztjt JttjttztjttjtzJttjttztjtJttjtttzztjttjtzdusJttjtttzztjttjtzJy)NFrTrrGrl)r rrRrrJrKrPrNrSrrrr+r-r,rLrr r rQr rvr\rZtest_even_queryrs qvvay> !! ! qvvay!))A, ' // / qvvay199Q<- (E 11 1 qvvay!**Q- ( 00 0 qvvay!**Q- ( 00 0 qvvac{  ## # qvvac{AIIaL )T 11 1 qvvac{AFF1I &$ .. . qvvac{ALLO , 55 5 qvvac{AEE!H % -- - qvvac{QYYq\M * 22 2 qvvac{AIIaL ) 11 1 qvvac{AFF1I &$ .. . qvvac{AEE!H % .. . qvva!e}aeeAh '4 // / qvva!e}affQi (E 11 1 qvva!e}aeeAh '5 00 0 qvva!e}affQi (D 00 0 qvva!e}aeeAh '4 // / qvva!e}aeeAh '4 // / qvva!e}aeeAhq1 2d :: : qvva!e}aeeAh2 3u << < qvva!e}affQi!&&)3 4 << < qvvacAg ! - 66 6 qvvac!e}ajjmajjm; < DD D qvvac!e}all1o Q? @ HH H qvva!eai !%%(QUU1X"5q "A Bd JJ J qvva!eai!m$ a1558affQi'!))A,6 8;? @@ @ qvvc!f~qvvay )T 11 1 qvvc!f~q z * 22 2 qvvbe}affQi (D 00 0 qvvbe}qvvayj ) 11 1 qvvbe}affQi (D 00 0 qvvbe}affQi (D 00 0 qvvrAg ! - 66 6 qvvad|QVVAY '4 // / qvvad|QUU1X &% // / qvvad|QVVAY ' // / qvvad|  $$ $ qvvad|QVVAY15AF G OO O qvvad|QUU1X ! 4 1 ~E F% OO O qvvad|QVVAY15 1 E F$ NN N qvvad|QUU1X ! 4qzz!}D E NN N qvvad|QVVAY15AF G OO O qvvad|QVVAY15 1 E F NN N qvvad|QUU1X ! 4 1 ~E F NN N qvvad|QUU1X ! 4qzz!}D E MM M qvvad|QVVAY ' // / qvvad|QUU1X & .. . qvvac{AIIaL199Q<7 8 @@ @ qvvac{AIIaL ) 11 1 qvvaQi !))A,q"9 :d BB B qvvaQi !))A,": ; CC Cr\c ttjttztt zztj ttj tztjt zdusJttjttztt zztj ttj tztjt zdusJyr)r rrRrrrrJrSrvr\rZ1test_evenness_in_ternary_integer_product_with_oddr=s qvvac1q5k"AIIaL199Q<$?!%%($J Kt SS S qvvac1q5k"AIIaL199Q<$?!%%($J Kt SS Sr\cttjttztt zztj ttj tztjt zJyr)r rrRrrrrJrvr\rZ2test_evenness_in_ternary_integer_product_with_evenrFsL qvvac1q5k"AIIaL199Q<$?!&&)$K L TT Tr\cttjttjtdusJttjttj tdusJttjttj tdusJttjttjtdusJttjttjtdusJttjt tj tdusJttjt tjtdusJttjttjztjtdusJttjttjtJyr) r rrqrrtrPrirQrur%InfinityrLrsrvr\rZtest_extended_realrJsh qq!1#6#6q#9 :d BB B qq!1::a= 1T 99 9 qq!166!9 - 55 5 qq!1::a= 1T 99 9 qq!1#6#6q#9 :d BB B qr"AJJqM 2d :: : qr"AJJqM 2d :: : qq1::~.q :d BB B qq!1::a= 1 99 9r\c D%ttjttjtdusJttjttj tdusJttjttj tJttjttjtJttjttjtJttjttjtJttjttjtdusJttjdtztjtdusJttjdtztjtdusJttjdtztjtdusJttjdtztjtdusJttjdtztj tdusJttjtdz tjtdusJttjtdz tjtdusJttjtdz tjtdusJttjtdz tjtdusJttjtdz tj tdusJttjdtz tjttjtzdusJttjdtz tjttjtzdusJttjdtz tjttjtzdusJttjdtz tjtdusJttjdtz tj tdusJttjdtz tjttjtzdusJttjdtz tjttjtzdusJttjdtz tjttjtzdusJttjdtz tjtdusJttjdtz tj tdusJttjttjtdusJttjttztj ttj tzJttjttz tjttjtztjtzdusJttjttz tjttjtztjtzdusJttjttz tjttjtztjtzdusJttjttz tjttjtzdusJttjttz tj ttjtztjtzdusJttt t"t$t&fD]}ttj|ddusJttj|dddusJttj|dddusJttj|ttjtJttj|ttjttjtzdur Jt(t*fD]"}ttj|ddusJttj|dddusJttj|dddusJttj|ttjtJttj|ttjttjtdz zdur#Jt,t.fD]}ttj|ddusJttj|dddusJttj|ttjtdurJttjttztj ttjtzJttjttztjttj0tztjtzJttjttztjttjtzJttjttztjttj2tdztjtzJttjttztj2tdtjtzJttjttztj2tdtjtzJttjttztj0ttjtzJttjttztjttjtzJttjt5dtdtjtJttjttztjttjtzJttjttztjttjtztj6tzJttjttztjttjtztj8tztj tzJttjttztjttjtztj8tzJy) NTFrrGrevaluaterrl)r rrKrrJrNrLrPrQrhrprRrSrr/r8r9r4r5r6r0r2r7r3rUeqr&rirMfghs rZ test_rationalrYs~ qzz!}aiil +t 33 3 qzz!}all1o .% 77 7 qzz!}affQi ( 00 0 qzz!}ajjm , 44 4 qzz!}ajjm , 44 4 qzz!}aiil + 33 3 qzz!}q{{1~o .% 77 7 qzz!A# 1 .$ 66 6 qzz!A# ! - 55 5 qzz!A#q *d 22 2 qzz!A#a )T 11 1 qzz!A# Q 0E 99 9 qzz!A# 1 .$ 66 6 qzz!A# ! - 55 5 qzz!A#q *d 22 2 qzz!A#a )T 11 1 qzz!A# Q 0E 99 9 qzz!A# 1  ! < = EE E qzz!A# ! qyy| ; < DD D qzz!A#q AIIaL 8 9T AA A qzz!A#a )T 11 1 qzz!A# Q 0E 99 9 qzz!A# 1  ! < = EE E qzz!A# ! qyy| ; < DD D qzz!A#q AIIaL 8 9T AA A qzz!A#a )T 11 1 qzz!A# Q 0E 99 9 qzz!}q{{1~o .% 77 7 qzz!A# Q!,,q/ A B JJ J qzz!A# 1  1 = ! L MQU UU U qzz!A# ! qzz!} @ HH H qzz#b!e4ajjmD E MM M qzz!Q$1a0@!@ A II I qzz!Q$1a0@!@AFF1I:!M N VV V qzz!Q$1Q!?!))A,!NRSRXRXYZR[Q[![ \ dd d qzz!Q$1Q!?!))A,!N O WW Wr\c1ttjtJttjttjtJttjttj tdusJttjttj tdusJttjttjtdusJttjttjtdusJttjtdztjtJttjtdztjtJttjtdztjtdusJttjtdztj tdusJttjtdztjtdusJttjttztjtJttjttztjtJttjttztjtdusJttjttztj tJttjttztjtdusJttjttztjttjtz JttjttztjttjtzJttjttztjttjtz Jttjttztjttj tzJttjttztjttjtzJttjttztjttjtzJttjttztjttjtzdusJttjttztjttj tzdusJttjttztjttjtzdusJttjttztj ttjtzJttjttztj ttj tzJttjttztj ttjtzdusJttjttztjttjtzJttjttztjttjtzdusJttjttztjtdusJttjttztjtJttjttztjtdusJttjttztj tdusJttjttztjtdusJttjttztjttjtzdusJttjttztztjttjtztjtzdusJttjttztztjttjtztj tzdusJttjttztztjttj tztj tz Jttjttztztj ttj tztj tz JttjtJttjttjtdusJttjttj tdusJttjtdztjtdusJttjtdztjtJttjtdztjtJttjtdztj tdusJttjtdztjtJttjttztjtdusJttjttztjtJttjttztjtJttjttztj tdusJttjttztjtdusJttjttjtdusJttjttztjttjtzdusJttjttztjttjtz Jttjttztjttjtz Jttjttztjttj tzdusJttjttztjttjtzdusJttjttztjttjtzJttjttztjttjtz Jttjttztjttj tz JttjttztjttjtzJttjttztj ttjtzJttjttztj ttj tzdusJttjttztj ttjtzdusJttjttztjttjtzJttjttztjttjtzJttjttztjtdusJttjttztjtdusJttjttztjtJttjttztjttjtzdusJttjttztztjttjtztjtz Jttjttztztjttjtztj tz Jttjttztztjttj tztj tzdusJttjttztztj ttj tztj tzdusJy)NFTrG) r rrWrrXrOrUrLrirMrrrrvr\rZtest_hermitianrsZ q{{1~  && & q{{1~qq1 2 :: : q{{1~q{{1~ .% 77 7 q{{1~qwwqz *d 22 2 q{{1~qvvay )T 11 1 q{{1~qvvay )T 11 1 q{{1q5!1??1#5 6 >> > q{{1q5!199Q< 0 88 8 q{{1q5!1;;q> 2d :: : q{{1q5!1;;q> 2e ;; ; q{{1q5!166!9 - 55 5 q{{1q5!1??1#5 6 >> > q{{1q5!199Q< 0 88 8 q{{1q5!1;;q> 2e ;; ; q{{1q5!1;;q> 2 :: : q{{1q5!166!9 - 66 6  AEAOOA.1CC EHL MM M q{{1q5!1??1#5 ! #D E MM M  AEAOOA.Q? ADH II I q{{1q5!1??1#5 A#F G OO O q{{1q5!1??1#5q #A B JJ J q{{1q5!1;;q>AIIaL#@ A II I q{{1q5!1;;q>AKKN#B Ct KK K q{{1q5!1;;q>AKKN#B Cu LL L q{{1q5!1;;q>AFF1I#= >$ FF F q{{1q5!1;;q>AIIaL#@ A II I q{{1q5!1;;q>AKKN#B C KK K q{{1q5!1;;q>AFF1I#= >% GG G q{{1q5!166!9qyy|#; < DD D q{{1q5!166!9qvvay#8 9T AA A q{{1Q3!3 4 << < q{{1Q31 . 66 6 q{{1Q3Q 0E 99 9 q{{1Q3Q 0D 88 8 q{{1Q3 +u 44 4 q{{1Q3Q!&&)!; < DD D  AEAIq AFF1I 5q A CFJ KK K q{{1q519% q AFF1I A. 038 99 9 q{{1q519% q AKKN"Q[[^3 58< == = q{{1q519% AQ'!++a.8 :=A BB B qq! " ** * qq!166!9 - 66 6 qq!1771: .% 77 7 qq1u%qq'9 :e CC C qq1u%qyy| 4 << < qq1u%q{{1~ 6 >> > qq1u%q{{1~ 6% ?? ? qq1u%qvvay 1 99 9 qq1u%qq'9 :d BB B qq1u%qyy| 4 << < qq1u%q{{1~ 6 >> > qq1u%q{{1~ 6$ >> > qq1u%qvvay 1U :: : qq!166!9 - 55 5  A 2Q__Q5G G      A 2QYYq\ A CFJ KK K  A 2Q[[^ C EHL MM M  A 2Q[[^ C EHL MM M qq1u%qq'9AFF1I'E    qq1u%q{{1~ ! 'D E MM M qq1u%q{{1~ A'F     A AQ ? ADH II I qq1u%q{{1~q 'A B JJ J qq1u%q{{1~ ! 'D E MM M qq1u%q{{1~ A'F G4 OO O qq1u%q{{1~q 'A Be KK K qq1u%qvvay199Q<'? @ HH H qq1u%qvvay166!9'< = EE E qqs#QVVAY /4 77 7 qqs#Q__Q%7 8E AA A qqs#QYYq\ 2 :: : qqs#Q__Q%7!&&)%C D LL L qq1uqy) q AFF1Iq ) +.2 33 3 qq1uqy) q AFF1I A. 037 88 8 qq1uqy) q AKKN"Q[[^3 58= >> > qq1uqy) AQ'!++a.8 :=A BB Br\c h(ttjtJttjttjtdusJttjttj tdusJttjtdztjtdusJttjtdztjtdusJttjtt ztjtdusJttjtt ztjtdusJttjttztjttjtzdusJttjttztjttjtzdusJttjttztjttjtzdusJttjttztjttjtzJttjttztztjttjtztjtzdusJttjttztztjttjtztjtz JttjttztztjttjtztjtzdusJttjt tztjtdusJttjt tztjtdusJttjt tztjtJttjttztjttjtzdusJttjttztjttjtzdusJttjt tztjtJttjt tztjtJttjt tztjtdusJttjt tztjtdusJttjt tztjtdusJttjdt ztztjtdusJttjtdztjtdusJttjttztjttjtzJttjttztjttjtzJttjttztjttjtzJttjttztjttjtzJttjttztjttjtzJttjttztjttjtzJttjttztjttjtzdusJttjttztjttjtzJttjttztjttjtzdusJttjttztjttjtzdusJttjttztjttjtzdusJttjttztjttjtzJttjttztjttjtztjtzdusJttjttztjttjtzJttjttztjttjtztjdtzzdusJttjttztjttjtztjdtzzdusJttjttztjttjtzJttjttztjttjtztjdtzzdusJttjttztjttjtztjdtzzJttjt!t dusJttjt!dt zdusJttjt!t dzdusJttjt!ttjtJttjt!ttjtJttjt!ttjtdusJttjt!t#ttjtJttjt!t#ttjtJttjt!t#t dusJttjt#ttztjtdusJt%t#t&t ztzdtd}ttj|tjtdusJt%t#t&t ztzdz dtd}ttj|tjtdusJttjt#dt zt&ztztztjtdusJttjt#dt&zt zddusJttjt#t&t zdz ddusJttjt%tt)ddtjttjtzdusJy) NFrGTrrrrr)r rrOrrLrUrrrMrrQrPrRrSrJrKr0r/r&r$r!rs rZtest_imaginaryrs9 q{{1~  && & q{{1~qvvay )U 22 2 q{{1~qwwqz *e 33 3 q{{1q5!166!9 - 66 6 q{{1q5!1;;q> 2e ;; ; q{{1q5!166!9 - 66 6 q{{1q5!1;;q> 2d :: : q{{1q5!1;;q>AKKN#B Ct KK K q{{1q5!166!9qvvay#8 9U BB B q{{1q5!1;;q>AFF1I#= >% GG G q{{1q5!199Q> > q{{1Q3 +t 33 3 q{{1Q3Q 0E 99 9 q{{1Q31 . 66 6 q{{1Q3Q!&&)!; < DD D q{{1Q3QVVAY!6 75 @@ @ q{{1a4 !**Q- 0 88 8 q{{1a4 !**Q- 0 88 8 q{{1a4 !&&) , 55 5 q{{1a4 !%%( +t 33 3 q{{1a4 !++a. 1U :: : q{{AaC!8$akk!n 5 >> > q{{1a4 !++a. 1U :: : q{{1a4 !++a.1;;q>"A B JJ J q{{1a4 !++a.166!9"< = EE E q{{1a4 !&&)akk!n"< = EE E q{{1a4 !&&)affQi"7 8 @@ @ q{{1a4 !++a.199Q<"? @ HH H q{{1a4 !++a.199Q<"? @ HH H q{{1a4 !++a.1558"; < DD D q{{1a4 !++a.1::a="@ A II I q{{1a4 !++a.166!9"< = FF F q{{1a4 !&&)aiil": ;u DD D q{{1a4 !**Q-!&&)"; < EE E q{{1a4 !**Q-!&&)"; < DD D q{{1a4 !**Q-!&&)";qzz!}n"L MQV VV V q{{1a4 !))A,Q"? @ HH H q{{1a4 !**Q-!**Q-"?!))AaC."P QUY YY Y q{{1a4 !**Q-!**Q-"?199QqS>/"Q RV[ [[ [ q{{1a4 !**Q-!**Q-"? @ HH H q{{1a4 !&&)ajjm";qyy1~o"M NRW WW W q{{1a4 !&&)ajjm";aii!n"L M UU U q{{3q6" #t ++ + q{{3qs8$ % .. . q{{3q1u:& '5 00 0 q{{3q6"AIIaL 1 99 9 q{{3q6"AKKN 3 ;; ; q{{3q6"AJJqM 2e ;; ; q{{3s1v;'1 6 >> > q{{3s1v;'Q 8 @@ @ q{{3s1v;' (D 00 0 q{{3q619%q{{1~ 6% ?? ? SAa% (!e B q{{2a )T 11 1 q{{3qs2vax=!+,aiil ;u DD D q{{3qtAv67 8E AA A q{{3r!tAv67 8D @@ @ q{{3q(1a.12AFF1I 1 4M NRW WW Wr\c JttjtJttjttjtdusJttjttjtdusJttjttjtdusJttjttj tJttjttj ttjtzdusJttjdtztjtdusJttjdtztj tdusJttjdtztjtdusJttjdtztjtJttjdtztjtJttjtdtztjtdusJttjtdtztjtJttjtdz tjtdusJttjtdz tj tdusJttjtdz tjtJttjtdz tj tJttjtttjtdusJttjtt tjtdusJttjtttjtJttjtttjtJttjttttzztjttjtzJttjttz tjttjtzJttjdtz tjtJttjttztjttjtzJttjtddusJttjttztj ttj"tzdusJttjttztjttjtztj tzdusJttjdtz tjtdusJttjttztjttjtztj tzdusJttjttztj"ttjtztj tzdusJttjt$tztj"tdusJttjttztj&ttj"tzdusJy)NTFrrrGr)r rrJrrLrPrRrSrUrKr1rNr+rMrrrhrir$rOrvr\rZ test_integerras qyy|  $$ $ qyy|QYYq\ *d 22 2 qyy|aiil] +u 44 4 qyy|affQiZ (E 11 1 qyy|ajjm^ , 44 4 qyy|QVVAYq1 2d :: : qyy1~qyy| , 44 4 qyy1~qvvay )T 11 1 qyy1~qwwqz *d 22 2 qyy1~qzz!} - 55 5 qyy1~qvvay ) 11 1 qyya#QYYq\ 2e ;; ; qyya#Q\\!_ 5 == = qyy1~quuQx (E 11 1 qyy1~qvvay )T 11 1 qyy1~quuQx ( 00 0 qyy1~qvvay ) 11 1 qyyQ 1 .$ 66 6 qyyaR!!))A, /4 77 7 qyyQ 199Q<- 0 88 8 qyyQ 1 . 66 6 qyyQqsU$QVVAY%: ; CC C qyy1~qyy|aiil: ; CC C qyy1~qyy| , 44 4 qyyA ! qyy| ; < DD D qyya! "e ++ + qyyA ! qvvay 8 9T AA A qyyA ! qyy| ;ajjm K LPT TT T qyy!Q$1 .$ 66 6 qyyA ! qyy| ;ajjm K LPT TT T qyyAq AIIaL 81::a= H IT QQ Q qyyQ +t 33 3 qyyA A : ;t CC Cr\c ttjttjtdusJttjttjtdusJttjttj tdusJttjttj tdusJttjttj tJttjt tjtdusJttjt tjtJttjt tjtdusJttjt tjtdusJttjtdz tjtdusJttjttzJttjttztjtJttjttztjttjtzdusJttjttztjttjtzdusJttjdtzdusJttjttdzttdzzdz Jttjt ttddztddzzzzJttjtdzJttjtdztj tdusJttjtdztj tJttjttztjtJttjttzJttjttztjttjtzdusJttjttztjttjtzdusJttjttztjttjtzJttjttzJttjttztjttjtzdusJttjttztjttjtzdusJttjttztjttjtzdusJttjt!tdusJy)NTFrGrgffffff?)r rrQrrPrLrUr nonpositiverr6r8rMrRrSrJr+rvr\rZ test_negativers qzz!}ajjm , 44 4 qzz!}ajjm , 55 5 qzz!}qvvayj )U 22 2 qzz!}aggaj )U 22 2 qzz!}qwwqzk * 22 2 qzz1"~qzz!} - 55 5 qzz1"~ 1 ~ . 66 6 qzz1"~qzz!} - 66 6 qzz1"~qzz!} - 55 5 qzz!a% !**Q- 0D 88 8 qzz!a% ! )) ) qzz!a% !**Q- 0 88 8 qzz!a% !**Q-!**Q-"? @D HH H qzz!a% !**Q-!--2B"B Ct KK K qzz!a% !U ** * qzz#a&!)c!fai/!34 5 == = qzz1"q#a&!)c!fai"7889 : BB B qzz!Q$ (( ( qzz!Q$ +u 44 4 qzz!S&!166!9 - 55 5 qzz!Q$A / 77 7 qzz!A#  '' ' qzz!A# 1  1 = >% GG G qzz!A# 1  1 = >$ FF F qzz!A# ! qyy| ; < DD D qzz!Q$ (( ( qzz!Q$A!: ;u DD D qzz!Q$Aq!9 :d BB B qzz!Q$A1!= >% GG G qzz#a&! "e ++ +r\c  ttjtJttjttjtJttjttj tdusJttjttj tdusJttjttj ttj tzdusJttjttzJttjttztj ttj tzdusJttjttztj ttj tzJttjttztj ttj tzdusJttjdtzJttjdtztj tdusJttjdtztj tdusJttjttztjtJttjttztjttjtzdusJttjttztjtdusJttjttJttjtttjtdusJttjttdtzdusJttjtddztddzzdz Jy)NTrFrG)r rrhrrLrPrQrr+r0r/rr6r8rvr\rZ test_nonzerors qyy|  $$ $ qyy|QVVAY ' // / qyy|QZZ] +t 33 3 qyy|QZZ] +t 33 3 qyy|QZZ]QZZ]: ;t CC C qyyQ (( ( qyyQAA!> ?4 GG G qyyQAA!> ? GG G qyyQAA!> ?4 GG G qyy1~  && & qyy1~qzz!} - 55 5 qyy1~qzz!} - 55 5 qyy1~qyy| , 44 4 qyy1~qyy|aiil: ;t CC C qyyA ! - 55 5 qyyQ ! )) ) qyyQ !))A, /4 77 7 qyyS1X' (E 11 1 qyyQSVQY.23 4 << !! ! qvvay!&&) $ ,, , qvvay!**Q- (E 11 1 qvvay!**Q- (E 11 1 qvvay!**Q-!**Q-7 8E AA A qvvay!--*Q]]1-== >$ FF F qvva!e}  %% % qvva!e}ajjmajjm; < EE E qvva!e}ajjmajjm; < DD D qvva!e}ajjmajjm; < EE E qvvac{  ## # qvvac{AJJqM *e 33 3 qvvac{AJJqM *e 33 3 qvvac{AIIaL ) 11 1 qvvc!f~  && & qvvc!f~qvvay )T 11 1 qyy|QVVAY '4 // / qvvay!&&) $ ,, , quuQx #u ,, , qvvay!&&) $ ,, , qvvay!%%( #u ,, , qvvay166!9$affQqSk 2d :: :r\c#ttjtJttjttjtdusJttjttjtJttjttjtdusJttjttj tJttjttj tJttjt tjtdusJttjdtzJttjdtztjtdusJttjdtztjtdusJttjdtztjtdusJttjdtztjtJttjdtztjtJttjtdz tjtJttjtdz tjtJttjtdztjtdusJttjtdztjtdusJttjtdztjtdusJttjdtz tjtdusJttjdtz tjtdusJttjdtztjtdusJttjdtztjtdusJttjttztjttjtzdusJttjttztjttjtzdusJttjttz tjttjtzdusJttjttz tjttjtzdusJttjttztztjttjtztjtzdusJttjttztztztjttjtztjtztjtz JttjdtzdztjtdusJttjdtztztjttjtzdusJttjdtztztjttjtzdusJttjdtztztjttjtzJttjttztjttjtzdusJttjttztjttjtzdusJttjdtztztj ttj tzJttjdtztztjttjtzJttjtttjtdusJttjdtztjtdusJttjtdztjtdusJttjtdztjtdusJttjdtztjtJttjttztjttjtztj tzJttjttztjttjtztj tzdusJttjtt"ztjttjt"ztj t"zdusJttjtt"ztjttjt"ztj t"zdusJttjttztjttjtztj tzJttjt"tztjttjt"ztj t"zJttjttztjttjtztj tzJttjt"tztjttjt"ztj t"zJttjttztjtJttjttztjtJttjttztjttjtzJttjttztjtJttjtttzztjttjtzdusJttjtttzztjttjtzJy)NTFrrrGrl)r rrSrrJrKrPrNrRrrrr+rr r rQr rvr\rZtest_odd_queryrs quuQx=  quuQxq "d ** * quuQx1 & .. . quuQx!))A, '5 00 0 quuQxA ' // / quuQxA ' // / quuaRy!%%( #t ++ + quuQqSz? "" " quuQqSz199Q< (E 11 1 quuQqSz1558 $ -- - quuQqSz1<<? +u 44 4 quuQqSzAIIaL= ) 11 1 quuQqSz199Q< ( 00 0 quuQqSz1558 $ ,, , quuQqSz166!9 % -- - quuQU|QVVAY '4 // / quuQU|QVVAY '5 00 0 quuQU|QUU1X &$ .. . quuQU|QUU1X &% // / quuQU|QVVAY '4 // / quuQU|QUU1X &% // / quuQU|QVVAY '4 // / quuQU|QUU1Xa0 1U :: : quuQU|QUU1Xq 1 2d :: : quuQU|QVVAYq1 2d :: : quuQU|QUU1Xa0 1U :: : quuQUQYqAEE!H!4qvvay!@ AU JJ J quuQUQY]# a1558affQi'!))A,6 8;? @@ @ quuQqS1W~qyy| , 44 4 quuQqS1W~qyy|aeeAh6 74 ?? ? quuQqS1W~qyy|affQi7 8E AA A quuQqS1W~qyy|aiil: ; CC C quuQqSz1558affQi/ 0E 99 9 quuQqSz1558aeeAh. /4 77 7 quuQqSU|QZZ]QZZ]: ; CC C quuQqSU|Q\\!_q||A> ? GG G quuSV}aeeAh '4 // / quub1W~qyy| , 44 4 quuQT{AFF1I &% // / quuQT{AEE!H % -- - quuQT{AFF1I & .. . quuQT{AFF1I ! 4 1 ~E F NN N quuQT{AEE!Hqyy|3qzz!}nD E MM M quuQT{AFF1I ! 4qzz!}D E NN N quuQT{AEE!Hqyy|3ajjmC D LL L quuQT{AFF1I ! 4 1 ~E F NN N quuQT{AFF1I ! 4qzz!}D E MM M quuQT{AEE!Hqyy|3qzz!}nD E MM M quuQT{AEE!Hqyy|3ajjmC D LL L quuQT{AFF1I & .. . quuQT{AEE!H % -- - quuQqSz199Qq#I Je SS S quuQqS!a%[!199Qq#I Je SS Sr\cttjttztt zztj ttj tztjt zJyr)r rrSrrrrJrRrvr\rZ1test_oddness_in_ternary_integer_product_with_evenrCsL quuQqS!a%[!199Q#J K SS Sr\c x ttjttjtdusJttjttjtdusJttjttjtJttjttjtdusJttjdtztjtJttjtt zJttjtt ztjtJttjtt ztjttjt zJttjdtztjtdusJttjdtzJttjtdztjtdusJttjtdztjtdusJttjdtztjtdusJttjt tztjt tjtztjtdzdusJttjttztjttjtzdusJttjtt ztjttjt zJttjdtztjtJttjt tztjt tjtzJttjtt ztjttjt dzJttjtt ztjttjt ztjt dztjt dzJttjttddtjtdusJy)NTFrrrGrr)r rrUrrJrr nerrVrgtltr&rvr\rZ test_primerGs qwwqz1771: &$ .. . qwwqzAGGAJ; '5 00 0 qwwqz199Q< ( 00 0 qwwqzAIIaL= )U 22 2 qwwqs|QYYq\ * 22 2 qwwqs|  $$ $ qwwqs|QWWQZ ( 00 0 qwwqs|QYYq\AIIaL8 9 AA A qwwqs|QYYq\ *e 33 3 qwwqs|  $$ $ qwwq!t}aiil +u 44 4 qwwq!t}aggaj )U 22 2 qwwq!t}aiil +u 44 4 qwwq!t}aggaj199Q<7!$$q!*D E NN N qwwq!t}aiilQ[[^; < EE E qwwq!t}aiilQYYq\9 : BB B qwwq!t}aiil + 33 3 qwwq!t}aggaj199Q<7 8 @@ @ qwwq!t}aggaj144!94 5 == = qwwq!t}aggaj199Q<7!$$q)Cadd1QiO P XX X qwws1Q/0!''!* = EE Er\c ttjttdzt tdzzdz Jttjt tjt dusJttjt tjt dusJttjt tjt Jttjt tjt dusJttjt tjt dusJttjt tztjt tjtzdusJttjt tztjt tjtzdusJttjt tztjt tjtzJttjt tztjt tjtzdusJttjdt ztjt dusJtjt tjtztjtztjtz}ttjt tztzJttjt tztz|dusJttjt tztz|dusJttjt tztjt Jttjt dztjt dusJttjt dztjt dusJttjt dztjt dusJttjddt dzzz tjt dusJttjdtzdusJttjdtzdusJttjttdzt tdzzdz Jttjt ttddzt ddzzzzJttjtt tjt dusJttjtt tjt dusJttjt tt ztjt Jttjtt tjt Jttjtdt ztzdtjt dusJttjtt tzdtjt dusJttjtt t ztztj"t dusJttjtt t ztztj$t dusJttjtt t ztztjt Jttjt't tjt dusJttjt't tjt dusJttjt't tjt Jttjt't dztjt dusJttjt)t tj*t tjt zsJttjt)t tj*t Jttjt-t Jttjt-t tjt dusJy)NrrGTFrr)r rrPr6rr8rrQrhrrrOrrrLr/r$rRrSr0r*rJr+ assumptionss rZ test_positivergs qzz#a&A+A! 3a78 9 AA A qzz!}ajjm , 44 4 qzz!}ajjm , 55 5 qzz!}aiil + 33 3 qzz1"~qzz!} - 66 6 qzz1"~qzz!} - 55 5 qzz!a% !**Q-!**Q-"? @D HH H qzz!a% !**Q-!--2B"B Ct KK K qzz!a% !**Q-!**Q-"? @ HH H qzz!a% !**Q-!++a."@ AU JJ J qzz!A# 1 .$ 66 6**Q-!**Q-/!**Q-?!**Q-OK qzz!A#a% ! )) ) qzz!A#a% + .$ 66 6 qzz1"Q$q&!; /5 88 8 qzz!Q$A / 77 7 qzz!Q$A /4 77 7 qzz!Q$A /4 77 7 qzz!Q$A /5 88 8 qzz!QAX,' 3t ;; ; qzz!Q$ E )) ) qzz!a% !U ** * qzz#a&!)c!fai/!34 5 == = qzz1"q#a&!)c!fai"7889 : BB B qzz#a&!166!9 - 55 5  3q6""AFF1I .$ 66 6 qzz!c!f*%qvvay 1 99 9 qzz#a&!1;;q> 2 :: : qzz#ad1fu56 A G4 OO O qzz#bdU34akk!n E MM M qzz#ad1f+&q 2d :: : qzz#ad1f+&a 1U :: : qzz#ad1f+&q 2 :: : qzz#a&!1;;q> 2e ;; ; qzz#a&!1::a= 1U :: : qzz#a&!1::a= 1 99 9 qzz#a!e*%qzz!} 5 == = qzz)A,'1 1 )E FF F qzz)A,'1 6 >> > qzz#a&! " ** * qzz#a&!1::a= 1T 99 9r\cttjdsJttjdsJttjddusJttjttjtsJttjttjtdusJttjt ddusJttjttj tdusJy)NrlrrGF)r rrrPrr1rOrvr\rZtest_nonpositivers q}}R !! ! q}}Q  q}}Q E )) )  1 ~q}}Q/ 00 0 q}}QA /5 88 8 q}}T"X& '5 00 0 q}}QQ 0E 99 9r\cttjddusJttjdsJttjdsJttjttjtsJttjttjtdusJttjt ddusJttjttj tdusJy)NrlFrrG)r rrrQrr1rOrvr\rZtest_nonnegativers q}}R !U ** * q}}Q  q}}Q   1 ~q}}Q/ 00 0 q}}QA /5 88 8 q}}T"X& '5 00 0 q}}QQ 0E 99 9r\cttjtJttjttjtdusJttjttjtdusJttjttj tdusJttjttj tdusJttjttjtdusJttjttjtdusJttjttjtdusJttjttdz tjtdusJttjttdz tjtdusJttjtdztjtdusJttjttztjtdusJttjttztjtJttjdtztjtdusJttjttztjtdusJttjttztjtdusJttjttztjtJy)NTrFrG)r rrLrrhrPrQrJrRrUr1rrMrOrvr\rZtest_real_basicrs qvvay> !! ! qvvay!&&) $ ,, , qvvay!))A, '4 // / qvvay!**Q- (D 00 0 qvvay!**Q- (D 00 0 qvvay!))A, '4 // / qvvay!&&) $ ,, , qvvay!''!* % -- - qvvaQi !&&) , 44 4 qvvaRj!166!9 - 66 6 qvva!e}affQi (D 00 0 qvva!e}affQi (E 11 1 qvva!e}aiil + 33 3 qvvac{AFF1I &$ .. . qvvac{AFF1I &% // / qvvac{AKKN +t 33 3 qvvac{AIIaL ) 11 1r\c ttjtdztjtdusJttjt ttj tdusJttjtt ztjttjt zJttjtt ztjttjt zJttjtt ztjttjt zdusJttjtt ztjttjt zJttjtt ztjttjt zJttjtt ztjttjt zJttjtdztjtdusJttjtt ztjttjt zdusJttjtt ztjttjt zJttjtt ztjttjt zJttjtt ztjttjt zdusJttjtt ztjttjt zdusJttjtt tz ztjttjt tz ztjt tz ztjtztjtzdusJttjtt tz ztjttjt tz ztjtztj tzJttjtt tz ztjttjt tz zJttjtt tz ztjttjt tz ztjtzdusJttjtt tz ztjttjt tz ztj tzJttjt tztjtdusJttjttztjtdusJttjttztjtJttjttztjtJttjttt zt#tz ztjtdusJttjt$t&ztj t$tjt&zJttjdt)tz Jttjtt ztj*ttjt zJttjtt ztj*ttjt zdusJy)NrTFrrG)r rrLrr1rQrrJrPrOrKrSrRrrr r$r0rr r+rirvr\rZ test_real_powrs qvvad|QVVAY '4 // / qvvd1g 1 .% 77 7 qvvad|QVVAY15 6 >> > qvvad|QVVAY2 3 ;; ; qvvad|QZZ]QVVAY6 74 ?? ? qvvad|Q[[^akk!n< = EE E qvvad|Q[[^affQi7 8 @@ @ qvvad|QVVAYQ7 8 @@ @ qvvad|Q[[^ , 44 4 qvvad|QZZ]QVVAY6 74 ?? ? qvvad|QVVAYA6 7 ?? ? qvvad|Q[[^aiil: ; CC C qvvad|Q[[^aeeAh6 75 @@ @ qvvad|Q[[^affQi7 8D @@ @ qvva!A#hQVVAaC[!81::ac?!JQVVTUY!VYZYcYcdeYf!f gko oo o qvva!A#hQZZ!_!B qvvbz199Q< (D 00 0 qvvc!fai !++a. 1T 99 9 qvvc!fai !))A, / 77 7 qvvbe}  %% % qvvbe}  %% %r\c ttjtddtzdgdtz dtgdt dggdk(sJttjtddtzdgdtzdtgdt dggdk(sJt dd}ttjtddtz|gdtz dtgdt dggdk(sJttjt d dk(sJttjt d d td fd fdk(sJttjt d d |d fd fdk(sJtd dtz d gdtz d t gd t d gg}tt dtzd gdtzd dtzgd dtzt gg}ttj|dusJttj|dusJttj|dzdusJ|dz}|jttj|dusJtd dtz d g|d t gd t d gg}ttj|Jy)NrrrrGTFrrM)r)rrrrr^rrrrr) r rrWr?rr(r@rXsimplify)rABC_As rZ test_matrixrs q{{6Aq1ua=1q5!Q-!aR"LMN OSW WW W q{{6Aq1ua=1q5!Q-!aR"LMN OSX XX XT"A q{{6Aq1ua=1q5!Q-!aR"LMN OSW WW W q{{<(PQR SW[ [[ [ q{{<Aqz;(OPQ RV[ [[ [ q{{<Aqz;(OPQ RVZ ZZ Z BFAQA2QB ;>>1;;qU345===1;;qt$akk!n5===1;;qt$akk!nqyy|&CDMMM N4[R1;;qt$%...1;;qU345>>>1;;qU345===1;;qt$akk!n5===1;;qt$akk!nqyyQ7G&GHEQQQ R4[?1;;qt$%...1;;qU345>>>1;;qt$akk!n5>>>? q{{4A<( ) 11 1 q{{4Ad1gI ./ 0 88 8 q{{4 !T )) ) q{{1~q//2 3u << < q"AKKN 3u << < q{{3q!e45q{{1~ F NN N q{{3q!9% & .. . q{{3q!e45 6 >> > q{{1r!t9% & .. . q{{2q5!!))A,A"> ?5 HH H q{{1a4 Q!**Q-!? @D HH Hr\c`ttjtJt j tjtttjtdusJt j ttjtJy)z Test ask with global assumptionsNT)r rrJrraddclearrvr\rZ test_globalr`sq qyy|  $$ $199Q<( qyy|  $$ $ qyy|  $$ $r\cHttjtJt }|j tjtttjt|dusJttjtJy)z(Test ask with custom assumptions contextN)contextT)r rrJrrr) local_contexts rZtest_custom_contextr iso qyy|  $$ $&(Maiil# qyy|] 3t ;; ; qyy|  $$ $r\c 0ttjttjttj tz dusJttjtt tjttj tdusJttjtttjttjtdusJyr)r rrQrrLrPr:r<rvr\rZtest_functions_in_assumptionsr rs qzz!}affQi1::a=8 9U BB B qzz!}jAJJqMB Cu LL L qzz!}c!&&)QZZ]; < EE Er\cttjttjtztj ttj tz dusJy)NrF)r rrQrrJrLrPrvr\rZtest_composite_askrxsK qzz!}qyy|+FF1IA. 038 99 9r\cvtddusJtddusJttjttjtdusJttj ttj tJttjttjtztjtdusJttjttjtzJttj ttjtztjtdusJttj ttjtzJttj ttjtz tjtdusJtttj ttjtdtjtdusJtttj ttjtdJtttjttjttjtdusJtttjttjtJtttjttjttjtJttj ttjtztj ttjtzdusJy)NTFr) r rrQrrPrLrIrJr;r:rRrvr\rZtest_composite_propositionr}s t9   u:    1 ~qzz!} - 55 5 q z1==+ , 44 4 qzz!}qyy|+QZZ] ;u DD D qzz!}qyy|+ , 44 4 qvvay199Q<'A 74 ?? ? qvvay199Q<' ( 00 0 qvvayAJJqM)1::a= 9U BB B w q 1::a=5234::a= BEJ KK K wqvvay!**Q-%@ A II I z!))A,q 2AFF1I >$ FF F z!))A,q 2 3 ;; ; z!**Q-16 ! E MM M qvvay199Q<'QYYq\)A Bd JJ Jr\cttjttjtzdusJttjttjtzdusJyro)r rrLrrvr\rZtest_tautologyrsV qvvayAFF1I:% &$ .. . qvvayAFF1I:% &% // /r\cttjttjttjtzdusJttj ttj ttj tzJttj ttjttj tz Jttjttjttjtz dusJyr)r rrLrrrPrvr\rZtest_composite_assumptionsrs qvvay!&&)affQi/ 0D 88 8 qzz!}ajjmajjm; < DD D qzz!}affQi1::a=8 9 AA A qvvayAFF1I23 4 << z(test_key_extensibility..3qxx{#3r\ceZdZedZy),test_key_extensibility..MyAskHandlercyrrvexprrs rZr)z3test_key_extensibility..MyAskHandler.Symbolr\N)__name__ __module__ __qualname__ staticmethodr)rvr\rZ MyAskHandlerrs    r\r&rNTrGcFttjtSrrrvr\rZrz(test_key_extensibility..rr\c eZdZy)+test_key_extensibility..MyPredicateNr"r#r$rvr\rZ MyPredicater) r\r+cyrrvrs rZ_z!test_key_extensibility.._r!r\cFttjtSrrrvr\rZrz(test_key_extensibility..rr\) rCAttributeErrorrrDrr rrrrrregisterr))r&r+r.s rZtest_key_extensibilityr2s >34z  # % 5 X| 4 5 # % ,qxx{#t+ ++ , # % 0qxxA'/ // 0 $ % 3 8\ 2 3 H >34 i =   6 "  # 188A;4'''188AaC=!))) H >345 5 5 , , 0 0  3 3 # % 3 8\ 2 3 H 3 H Hs G FG 'F(3G(F5.G G.MyTypeNr*rvr\rZMyTyper6r,r\r7cyrrvrs rZr.z"test_type_extensibility.._sr\TN) sympy.corer4rrUr1r )r4r7r.s rZtest_type_extensibilityr:sV!  WWf qwwvx !T )) )r\c6tttjtjttjtj ttj tj }tjtjtj tj h}t|}t||}|tjtj tjtj hk(sJyr) r=r;rrJrKrLrMr>r) known_factsknown_facts_keysknown_facts_cnfmappings rZtest_single_fact_lookupr@sgaii4ajj!&&1affaii02K 1::qvvqyyA[)O !1?CG 1:: 1661::qyy"A AA Ar\c Ptttjttj tttj ttj tttj ttjt}tjttj ttj ttjth}t||tjtjhtftjtjtjtj tj htftj tjtj tj htftj tjtj htfik(sJyr) r=r;rrJrrKrLrMrset)r<r=s rZtest_generate_known_facts_dictrCs(gaiilAJJqM:ajjmQVVAY7affQi168K ! ajjmQVVAY ! M $%5{ C aii[#%( aiiAJJ?G qyy!**aff5su= 199aff%su- / // /r\cJtd}t|}tj|}t }|j d|j Dt|k(sJtDcgc] }|| }}t||}t|k(sJycc}w)z)"Test that ask_generated.py is up-to-daterc3^K|]%}tdt|tD'yw)c3pK|].}t|jj|j0ywr)rargfunctionis_Not).0lits rZ z8test_known_facts_consistent...s%bsWSWW%5%5szzBbs46)keyN) frozensetsortedstr)rJcls rZrLz.test_known_facts_consistent..s%ygi9bfUW]`Nabbys+-N) r)rrto_CNFrBupdateclausesrrrr)rfactcnfrTpredkeysr?s rZtest_known_facts_consistentrYs s A 1 D **T CeG NNympmxmxyy  G ++ + 4 6 7DG 7D 7'd3G  !W ,, , 8s3B c ttjdtddzt ddzzzdusJttj t tdtdddusJttjt tdtdddusJttjt tdtdddusJy)Nl >V3&Z rGrTFr) r rrUr6r8rRrr%rJrvr\rZtest_Add_queriesr[s qww+s1vqy3q619/DEF G4 OO O qvvc!A$!u56 74 ?? ? qwws1Q4167 8E AA A qyyQqT1Q4%89 :d BB Br\cttjtdz5t tjtrJ dddy#1swYyxYw)NrG)rrrPrr rvr\rZtest_positive_assumingr] sE !**QU# $&qzz!}%%%%&&&s %AAc&ttdy)Nc^ttttz tj Sr)r r$r0rrrLrvr\rZrz!test_issue_5421.. sc"SV)QVV4r\rC TypeErrorrvr\rZtest_issue_5421rb s  945r\c&ttdy)Nc4ttjSr)r rrPrvr\rZrz!test_issue_3906.. sc!**or\r`rvr\rZtest_issue_3906re s  9-.r\c*ttjttdztjtJttj ttdztjtdusJy)NrT)r rrPr0rrQrvr\rZtest_issue_5833rg s_ qzz#a&!)$ajjm 4 << <  3q619%%qzz!} 5 == =r\cHttdttdy)NcttjttjttjtzSr)r rrPrrQrvr\rZrz!test_issue_6732.. *s1::a=!**Q-!**Q-2OPr\cttjttjttjtzSr)r rrQrrPrvr\rZrz!test_issue_6732.. rjr\)rC ValueErrorrvr\rZtest_issue_6732rm s :PQ :PQr\c l ttjtttjtdusJttjtttj tdusJttjtttj tdusJttjttJttjtttjtJttjtttj tJttjttdddusJttjtttjttjtdz zdusJttjtttj ttjtdzzdusJttjtttjtJttjttdddusJttjtttjtdztjtdz zdusJttjtttjtdz JttjtttjtdusJttjtttjtdusJttjtttjtdusJttjttJy)NTFrGr)r rrPr5r rQrirr4r!rrr2r3rLrOrvr\rZtest_issue_7246ro s qzz$q'"AJJqM 2d :: : qzz$q'"AJJqM 2e ;; ; qzz$q'"AFF1I .% 77 7 qzz$q'" # ++ + qzz$q'"AJJqM 2 :: : qzz$q'"AFF1I . 66 6 qzz$x1~./ 0D 88 8 qzz$q'"AJJqMAMM!a%4H$H IT QQ Q qzz$q'"AJJqMAMM!a%4H$H IU RR R qzz$q'"AJJqM 2 :: : qzz$x1~./ 0D 88 8 qzz$q'"AMM!a%$81==Q;O$O PTX XX X qzz$q'"AMM!a%$8 9 AA A qzz$q'"AJJqM 2d :: : qzz$q'"AFF1I .$ 66 6 qzz$q'"AKKN 3u << < qzz$q'" # ++ +r\cttjtttj tdusJyr)r rrPr2rrirvr\rZtest_issue_7246_failingrq. s. qzz$q'"AFF1I .$ 66 6r\c tdd}ttj|dusJttj|dusJttj |dusJtdd}ttj|dusJttj|dusJttj |dusJtdd}ttj|Jttj |dusJtdd}ttj |dusJttj|dusJttj|dusJtdd}ttj|dusJtdd }ttj |dusJttj|dusJtdd }ttj|dusJttj |Jttj|Jtdd }ttj|dusJtdd }ttj|dusJttj|dusJtdd }ttj|dusJttj|dusJtdd}ttj|dusJttj|dusJtdd}ttj|dusJttj|dusJtdd}ttj|dusJttj|dusJtdd}ttj|dusJtdd}ttj |dusJtdd}ttj"|dusJttj$|dusJtdd}ttj$|dusJttj"|dusJy)NrT)rLF)rOr)rP)rI)rQ)r)rT)rU)rV)rR)rS)rh)rirJ)rK)rN)r(r rrLrOrMrPrQrIrirTrUrVrRrSrhrJrKrN)rs rZtest_check_old_assumptionrt5 sR$A qvvay>T !! ! q{{1~ % '' ' qyy|  $$ $t$A qvvay>U "" " q{{1~ $ && & qyy|  $$ $T"A qvvay> !! ! qyy|  $$ $d#A qzz!}  %% % qzz!}  && & qvvay>T !! !'A q}}Q E )) )d#A qzz!}  && & qzz!}  %% %&A qzz!}  && & qzz!}  %% % qvvay> !! !D!A qxx{ t ## #4 A qwwqz?d "" " q{{1~ % '' 't$A qwwqz?e ## # q{{1~ $ && &$A qvvay>T !! ! quuQx=E !! !A qvvay>U "" " quuQx=D  T"A qyy|  $$ $ qvvay>U "" "$A qvvay>T !! !T"A qyy|  $$ $d#A qzz!}  %% % q||A 5 (( (%A q||A 4 '' ' qzz!}  && &r\cDttjdJttjdJttjdJttj dJttj dJy)Nrdg@g@g@)r rrJrUrVrRrSrvr\rZtest_issue_9636rv{ s qyy~  && & qwws|  $$ $ q{{3 (( ( qvvc{  ## # quuSz? "" "r\c@ttjdtzJttjdt zJttjdtzJttjdt zJyNr)r rrOrrLrvr\rZtest_autosimp_used_to_failry s| q{{1a4 ! )) ) q{{1r7# $ ,, , qvvad|  $$ $ qvva1"g  '' 'r\cddlmGfddt} t5t d|dddt dd}t5t tjd sJ dddt5t tj|tj|sJ dddt`Gd d t} |t_tjjtd }tjjt fd }t tjd sJt tj|tj|sJ t`y#1swYixYw#1swY5xYw#1swYxYw#t`wxYw#t`wxYw)Nr conjunctsc2eZdZedZefdZy)/test_custom_AskHandler..MersenneHandlerc\ttjt|dzdryyNrGrTr rrJr0rs rZr z7test_custom_AskHandler..MersenneHandler.Integer &199S1-./0r\c||vryyrrvr rr|s rZr)z6test_custom_AskHandler..MersenneHandler.Symbol y--.r\N)r"r#r$r%r r)r{srZMersenneHandlerr~ s)        r\rmersennerTrsrc eZdZy)1test_custom_AskHandler..MersennePredicateNr*rvr\rZMersennePredicater r,r\rc\ttjt|dzdryyrrrs rZr.z!test_custom_AskHandler.._ rr\c||vryyrrvrs rZr.z!test_custom_AskHandler.._ rr\) sympy.logic.boolalgr|rrDrr)r rrrr1r )rrrr.r|s @rZtest_custom_AskHandlerr sg-*  # % : Z 9 : 3 % # % &qzz!}% %% & # % 5qzz!}ajjm4 44 5 J I  &(   W %  &    V $  % 1::a=!!!1::a=!**Q-000 J5 : : & & 5 5 J$ Js^ F> FF>!F%2F>5F2:F>B8G F"F>%F/*F>2F;7F>>G GcGddt} |t_tjjttd}tjjtttd}t tjddsJt tjddd sJ t`y#t`wxYw) Nc eZdZy).test_polyadic_predicate..SexyPredicateNr*rvr\rZ SexyPredicater r,r\rcdt||g}tfd|Dsy|d|dz dk(S)Nc3\K|]#}ttj|%ywrr rrUrJrrs rZrLz5test_polyadic_predicate.._.. Bs1771:{3B),FrGrrOall)int1int2rrs ` rZr.z"test_polyadic_predicate.._ s:4,'DBTBB7T!W$) )r\ct|||g}tfd|Dsy|d|dz dk(xr|d|dz dk(S)Nc3\K|]#}ttj|%ywrrrs rZrLz5test_polyadic_predicate.._.. rrFrrGrrr)rrint3rrs ` rZr.z"test_polyadic_predicate.._ sT4t,-DBTBB7T!W$)Dd1gQ.?1.D Dr\rr^r )rr sexyprimer1r r )rr.s rZtest_polyadic_predicater s  #o   gw / * 0 *   gw 8 E 9 E 1;;q"%&&&1;;q"b)*** KAKs B4C CctdjJGddt}|td}|td}|j|jusJy)N mypredicatec eZdZy)5test_Predicate_handler_is_unique..MyPredicateNr*rvr\rZr+r r,r\r+mp1mp2)rhandlerr')r+rrs rZ test_Predicate_handler_is_uniquer sY ] # + + 33 3 i c%j !C c%j !C ;;#++ %% %r\cttjtdtjtsJttjtdtj trJttj tdtjtrJttj tdtj tsJyrx)r rrrrirhrrvr\rZtest_relationalr s qttAqz166!9 %% %1441:qyy|,, ,1441:qvvay)) ) qttAqz199Q< (( (r\cttjttjttj t t zJttjttjtdt kDzJttjttjttjdt zJyrx)r rrrrprPrrrvr\rZtest_issue_25221r s q"AKKNQZZ!_$D E MM M q"AKKNa!e$< = EE E q"AKKNQTT!AY$> ? GG Gr\cdtj}ttj|Jyr)r%rr rrQrs rZtest_issue_27440r s$ %%C qzz#  '' 'r\) sympy.abcrrrrrrr r r r sympy.assumptionsr rrrrsympy.assumptions.assumerrrsympy.assumptions.cnfrrsympy.assumptions.factsrrrrsympy.assumptions.handlersrsympy.assumptions.ask_generatedrrsympy.core.addrsympy.core.numbersrr r!r"r#r$sympy.core.singletonr%sympy.core.powerr&sympy.core.symbolr'r(r)(sympy.functions.combinatorial.factorialsr*$sympy.functions.elementary.complexesr+r,r-r.&sympy.functions.elementary.exponentialr/r0(sympy.functions.elementary.miscellaneousr1(sympy.functions.elementary.trigonometricr2r3r4r5r6r7r8r9rr:r;r<r=r>sympy.matricesr?r@sympy.testing.pytestrArBrCrDrErer[r_rbrfrjrmrwr|r~rrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr r rrrrr2r:r@rCrYr[r]rbrergrmrorqrtrvryrrrrrrrvr\rZrs222LL.FF1BB" 22>DD=9000EE/ ,(,(,(&,R+*,,121424-0-&`,(^,B,*,*,*h"T|2~ 2S * ,, ..H)H)VCDLTTU :KXKX\fBRLXLX^'DT',T=:; R ,.77 C'L#((V6 &)H (r\