a  ¬.add_one_if_canr ÚaéÚbé)r r r)rr#r"ÚexpectedÚrlrrrr(s ""rc@s eZdZdS)ÚBasic2N)Ú__name__Ú __module__Ú __qualname__rrrrr*6sr*cCs$|jr t|jdtƒs t|jŽS|Sr)Úargsrr r*)rrrrÚ:ór/cCsXttƒ}|ttdƒtdƒttdƒtdƒƒƒƒttdƒtdƒttdƒtdƒƒƒksTJ‚dS)Ngð?g@r'é)rr)r r r*)Ztop_rlrrrÚtest_top_down_once=sr2cCsXttƒ}|ttdƒtdƒttdƒtdƒƒƒƒttdƒtdƒttdƒtdƒƒƒksTJ‚dS)Nr r%g@g@)rr)r r r*)Z bottom_rlrrrÚtest_bottom_up_onceCsr3cCsDttd}tdd„tƒ|ƒ}tdd„tƒ|ƒ}t|ƒ|ks@J‚dS)Nr'cSs|dSrr©Úvrrrr/Kr0ztest_expr_fns..cSst t|tdƒ¡Sr)r Ú__new__r r r4rrrr/Lr0)rrrr rr)r"Úer&rrrÚ test_expr_fnsIs r8N)%Zsympy.strategies.traverserrrrrrZsympy.strategies.rlrZsympy.strategies.utilr Zsympy.core.addr Zsympy.core.basicr Zsympy.core.numbersr Zsympy.core.singletonr Zsympy.core.symbolrrZ sympy.abcrrrrrrrrrr*r)r2r3r8rrrrÚs&