§
    OŠtj\  ã                   ó†   — d Z ddlmZ ddlmZ ddlmZ ed„ ¦   «         Zed„ ¦   «         Zed„ ¦   «         Z	ed„ ¦   «         Z
d	S )
zC
Do NOT manually edit this file.
Instead, run ./bin/ask_update.py.
é    )ÚQ)ÚLiteral)Úcacheitc            
      óü'  — h t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j
        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j
        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j
        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j
        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j         d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j!        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j"        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j!        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j#        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j#        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j#        d¦  «        t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j#        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j#        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j$        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j$        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j"        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j%        d¦  «        t          t          j        d¦  «        t          t          j"        d¦  «        f¦  «        ’t          t          t          j%        d¦  «        t          t          j         d¦  «        f¦  «        ’t          t          t          j%        d¦  «        t          t          j"        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j$        d¦  «        t          t          j&        d¦  «        f¦  «        ’t          t          t          j$        d¦  «        t          t          j        d¦  «        f¦  «        ’S )z>
    Known facts between unary predicates as CNF clauses.
    FT)'Ú	frozensetr   r   Ú	algebraicÚ	imaginaryÚtranscendentalÚnegativeÚpositiveÚrationalÚzeroÚfiniteÚantihermitianÚ	hermitianÚcommutativeÚinfiniteÚcomplex_elementsÚreal_elementsÚ	compositeÚevenÚprimeÚoddÚdiagonalÚlower_triangularÚupper_triangularÚnormalÚ	symmetricÚfullrankÚ
invertibleÚsquareÚnegative_infiniteÚpositive_infiniteÚinteger_elementsÚpositive_definiteÚsingularÚunitaryÚ
irrationalÚ
triangularÚ
orthogonalÚunit_triangular© ó    ú]/var/www/html/CA-Chatbot/venv/lib/python3.11/site-packages/sympy/assumptions/ask_generated.pyÚget_all_known_factsr/   
   s   € ð
HÝ•7�1œ;¨Ñ.Ô.µ½¼ÀTÑ0JÔ0JÍGÕTUÔTdÐfkÑLlÔLlÐmÑnÔnðHå•7�1œ;¨Ñ.Ô.µ½¼
ÀDÑ0IÔ0IÍ7ÕSTÔScÐejÑKkÔKkÐlÑmÔmðHõ 	•7�1œ;¨Ñ.Ô.µ½¼
ÀDÑ0IÔ0IÍ7ÕSTÔScÐejÑKkÔKkÐlÑmÔmðHõ 	•7�1œ;¨Ñ.Ô.µ½¼
ÀDÑ0IÔ0IÐJÑKÔKð	Hõ
 	•7�1œ;¨Ñ.Ô.µ½Ô8HÈ%Ñ0PÔ0PÕRYÕZ[ÔZ`ÐbfÑRgÔRgÐhÑiÔiðHõ 	•7�1œ;¨Ñ-Ô-­wµq´xÀÑ/GÔ/GÐHÑIÔIðHõ 	•7�1œ;¨Ñ-Ô-­wµqÔ7GÈÑ/NÔ/NÐOÑPÔPðHõ 	•7�1œ?¨EÑ2Ô2µG½A¼KÈÑ4OÔ4OÕQXÕYZÔY_ÐaeÑQfÔQfÐgÑhÔhðHõ 	•7�1œ?¨EÑ2Ô2µG½A¼KÈÑ4NÔ4NÐOÑPÔPðHõ 	•7�1œ=¨%Ñ0Ô0µ'½!¼(ÀDÑ2IÔ2IÐJÑKÔKðHõ 	•7�1œ=¨%Ñ0Ô0µ'½!¼*ÀdÑ2KÔ2KÐLÑMÔMðHõ 	•7�1Ô-¨uÑ5Ô5µw½q¼ÐPTÑ7UÔ7UÐVÑWÔWðHõ 	•7�1œ;¨Ñ.Ô.µ½¼ÀÑ0EÔ0EÅwÍqÌzÐ[_ÑG`ÔG`ÕbiÕjkÔjqÐsxÑbyÔbyÐzÑ{Ô{ðHõ 	•7�1œ;¨Ñ-Ô-­wµq´v¸uÑ/EÔ/EÅwÍqÌuÐV[ÑG\ÔG\Ð]Ñ^Ô^ðHõ 	•7�1œ;¨Ñ-Ô-­wµq´zÀ5Ñ/IÔ/IÐJÑKÔKðHõ  	•7�1œ;¨Ñ-Ô-­wµq´wÀÑ/EÔ/EÐFÑGÔGð!Hõ" 	•7�1œ: uÑ-Ô-­wµqÔ7IÈ4Ñ/PÔ/PÕRYÕZ[ÔZlÐnrÑRsÔRsÐtÑuÔuð#Hõ$ 	•7�1œ: tÑ,Ô,­gµaÔ6HÈ%Ñ.PÔ.PÐQÑRÔRð%Hõ& 	•7�1œ: tÑ,Ô,­gµa´hÀÑ.FÔ.FÐGÑHÔHð'Hõ( 	•7�1œ: tÑ,Ô,­gµa´kÀ5Ñ.IÔ.IÐJÑKÔKð)Hõ* 	•7�1œ: tÑ,Ô,­gµaÔ6HÈ%Ñ.PÔ.PÐQÑRÔRð+Hõ, 	•7�1œ6 5Ñ)Ô)­7µ1´5¸%Ñ+@Ô+@Å'Í!Ì'ÐSWÑBXÔBXÐYÑZÔZð-Hõ. 	•7�1œ6 5Ñ)Ô)­7µ1´6¸4Ñ+@Ô+@ÐAÑBÔBð/Hõ0 	•7�1œ6 4Ñ(Ô(­'µ!´%¸Ñ*>Ô*>Ð?Ñ@Ô@ð1Hõ2 	•7�1œ6 4Ñ(Ô(­'µ!´*¸eÑ*DÔ*DÐEÑFÔFð3Hõ4 	•7�1œ8 UÑ+Ô+­WµQÔ5EÀtÑ-LÔ-LÐMÑNÔNð5Hõ6 	•7�1œ8 TÑ*Ô*­GµA´JÀÑ,EÔ,EÐFÑGÔGð7Hõ8 	•7�1œ: uÑ-Ô-­wµq´|ÀTÑ/JÔ/JÐKÑLÔLð9Hõ: 	•7�1œ: tÑ,Ô,­gµa´lÀEÑ.JÔ.JÍGÕTUÔT\Ð^bÑLcÔLcÐdÑeÔeð;Hõ< 	•7�1œ;¨Ñ.Ô.µ½¼
ÀDÑ0IÔ0IÐJÑKÔKð=Hõ> 	•7�1œ;¨Ñ.Ô.µ½¼
ÀDÑ0IÔ0IÐJÑKÔKð?Hõ@ 	•7�1œ;¨Ñ.Ô.µ½¼ÀÑ0EÔ0EÐFÑGÔGðAHõB 	•7�1œ;¨Ñ-Ô-­wµq´zÀ4Ñ/HÔ/HÐIÑJÔJðCHõD 	•7�1œ;¨Ñ-Ô-­wµq´zÀ4Ñ/HÔ/HÐIÑJÔJðEHõF 	•7�1œ;¨Ñ-Ô-­wµq´v¸tÑ/DÔ/DÐEÑFÔFðGHõH 	•7�1œ: uÑ-Ô-­wµqÔ7JÈDÑ/QÔ/QÐRÑSÔSðIHõJ 	•7�1œ: uÑ-Ô-­wµqÔ7JÈDÑ/QÔ/QÐRÑSÔSðKHõL 	•7�1Ô-¨tÑ4Ô4µg½a¼oÈuÑ6UÔ6UÐVÑWÔWðMHõN 	•7�1œ<¨Ñ/Ô/µ½Ô9LÈdÑ1SÔ1SÐTÑUÔUðOHõP 	•7�1œ<¨Ñ/Ô/µ½¼ÀUÑ1KÔ1KÐLÑMÔMðQHõR 	•7�1œ<¨Ñ/Ô/µ½¼ÀDÑ1IÔ1IÐJÑKÔKðSHõT 	•7�1œ<¨Ñ.Ô.µ½¼
ÀDÑ0IÔ0IÐJÑKÔKðUHõV 	•7�1œ<¨Ñ.Ô.µ½¼À%Ñ0HÔ0HÐIÑJÔJðWHõX 	•7�1œ<¨Ñ/Ô/µ½¼ÀTÑ1JÔ1JÍGÕTUÔT^Ð`eÑLfÔLfÐgÑhÔhðYHõZ 	•7�1œ<¨Ñ/Ô/µ½¼ÀTÑ1JÔ1JÍGÕTUÔT^Ð`eÑLfÔLfÐgÑhÔhð[Hõ\ 	•7�1œ<¨Ñ/Ô/µ½¼ÀUÑ1KÔ1KÍWÕUVÔU[Ð]aÑMbÔMbÐcÑdÔdð]Hõ^ 	•7�1œ<¨Ñ.Ô.µ½¼
ÀEÑ0JÔ0JÍGÕTUÔT^Ð`eÑLfÔLfÕhoÕpqÔpvÐx}Ñh~Ôh~Ðñ  	Aô  	Að_Hõ` 	•7�1œ<¨Ñ.Ô.µ½¼
ÀDÑ0IÔ0IÐJÑKÔKðaHõb 	•7�1Ô-¨uÑ5Ô5µw½q¼|ÈTÑ7RÔ7RÕT[Õ\]Ô\nÐpuÑTvÔTvÐwÑxÔxðcHõd 	•7�1Ô-¨tÑ4Ô4µg½a¼lÈEÑ6RÔ6RÐSÑTÔTðeHõf 	•7�1œ: uÑ-Ô-­wµq´zÀ5Ñ/IÔ/IÍ7ÕSTÔS]Ð_cÑKdÔKdÕfmÕnoÔntÐv{Ñf|Ôf|Ð}Ñ~Ô~ðgHõh 	•7�1œ: tÑ,Ô,­gµaÔ6IÈ4Ñ.PÔ.PÐQÑRÔRðiHõj 	•7�1œ: tÑ,Ô,­gµa´jÀ$Ñ.GÔ.GÐHÑIÔIðkHõl 	•7�1œ: tÑ,Ô,­gµaÔ6IÈ4Ñ.PÔ.PÐQÑRÔRðmHõn 	•7�1œ: tÑ,Ô,­gµa´f¸dÑ.CÔ.CÐDÑEÔEðoHõp 	•7�1Ô.°Ñ5Ô5µw½q¼zÈ4Ñ7PÔ7PÐQÑRÔRðqHõr 	•7�1Ô.°Ñ5Ô5µw½qÔ?RÐTXÑ7YÔ7YÐZÑ[Ô[ðsHõt 	•7�1Ô.°Ñ5Ô5µw½q¼vÀtÑ7LÔ7LÐMÑNÔNðuHõv 	•7�1œ8 UÑ+Ô+­WµQ´YÀÑ-EÔ-EÐFÑGÔGðwHõx 	•7�1œ8 TÑ*Ô*­GµA´H¸eÑ,DÔ,DÐEÑFÔFðyHõz 	•7�1œ5 $Ñ'Ô'­µ´¸UÑ)CÔ)CÐDÑEÔEð{Hõ| 	•7�1œ<¨Ñ/Ô/µ½¼È$Ñ1OÔ1OÕQXÕYZÔYbÐdhÑQiÔQiÐjÑkÔkð}Hõ~ 	•7�1œ<¨Ñ.Ô.µ½Ô8KÈUÑ0SÔ0SÐTÑUÔUðHõ@ 	•7�1œ<¨Ñ.Ô.µ½¼	À5Ñ0IÔ0IÐJÑKÔKðAHõB 	•7�1œ: uÑ-Ô-­wµq´wÀÑ/EÔ/EÐFÑGÔGðCHõD 	•7�1œ: tÑ,Ô,­gµaÔ6IÈ4Ñ.PÔ.PÐQÑRÔRðEHõF 	•7�1œ: tÑ,Ô,­gµa´f¸dÑ.CÔ.CÐDÑEÔEðGHõH 	•7�1Ô.°Ñ5Ô5µw½q¼vÀtÑ7LÔ7LÐMÑNÔNðIHõJ 	•7�1œ8 UÑ+Ô+­WµQ´[À$Ñ-GÔ-GÐHÑIÔIðKHõL 	•7�1œ<¨Ñ/Ô/µ½Ô9JÈDÑ1QÔ1QÐRÑSÔSðMHõN 	•7�1œ<¨Ñ/Ô/µ½Ô9KÈTÑ1RÔ1RÐSÑTÔTðOHð Hr-   c                  óÎ  — t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j
        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j
        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        hS )zK
    Known facts between unary predicates for matrices as CNF clauses.
    FT)r   r   r   r   r   r   r   r   r   r   r   r    r!   r$   r%   r&   r'   r)   r*   r+   r,   r-   r.   Úget_all_known_matrix_factsr1   Y   s!  € õ 	•7�1Ô-¨uÑ5Ô5µw½q¼ÐPTÑ7UÔ7UÐVÑWÔWÝ•7�1œ: uÑ-Ô-­wµqÔ7IÈ4Ñ/PÔ/PÕRYÕZ[ÔZlÐnrÑRsÔRsÐtÑuÔuÝ•7�1œ: tÑ,Ô,­gµaÔ6HÈ%Ñ.PÔ.PÐQÑRÔRÝ•7�1œ: tÑ,Ô,­gµa´hÀÑ.FÔ.FÐGÑHÔHÝ•7�1œ: tÑ,Ô,­gµa´kÀ5Ñ.IÔ.IÐJÑKÔKÝ•7�1œ: tÑ,Ô,­gµaÔ6HÈ%Ñ.PÔ.PÐQÑRÔRÝ•7�1œ: uÑ-Ô-­wµq´|ÀTÑ/JÔ/JÐKÑLÔLÝ•7�1œ: tÑ,Ô,­gµa´lÀEÑ.JÔ.JÍGÕTUÔT\Ð^bÑLcÔLcÐdÑeÔeÝ•7�1Ô-¨tÑ4Ô4µg½a¼oÈuÑ6UÔ6UÐVÑWÔWÝ•7�1œ<¨Ñ/Ô/µ½Ô9LÈdÑ1SÔ1SÐTÑUÔUÝ•7�1œ<¨Ñ/Ô/µ½¼ÀUÑ1KÔ1KÐLÑMÔMÝ•7�1œ<¨Ñ/Ô/µ½¼ÀDÑ1IÔ1IÐJÑKÔKÝ•7�1œ<¨Ñ.Ô.µ½¼
ÀDÑ0IÔ0IÐJÑKÔKÝ•7�1œ<¨Ñ.Ô.µ½¼À%Ñ0HÔ0HÐIÑJÔJÝ•7�1Ô-¨uÑ5Ô5µw½q¼|ÈTÑ7RÔ7RÕT[Õ\]Ô\nÐpuÑTvÔTvÐwÑxÔxÝ•7�1Ô-¨tÑ4Ô4µg½a¼lÈEÑ6RÔ6RÐSÑTÔTÝ•7�1œ8 UÑ+Ô+­WµQ´YÀÑ-EÔ-EÐFÑGÔGÝ•7�1œ8 TÑ*Ô*­GµA´H¸eÑ,DÔ,DÐEÑFÔFÝ•7�1œ<¨Ñ/Ô/µ½¼È$Ñ1OÔ1OÕQXÕYZÔYbÐdhÑQiÔQiÐjÑkÔkÝ•7�1œ<¨Ñ.Ô.µ½Ô8KÈUÑ0SÔ0SÐTÑUÔUÝ•7�1œ<¨Ñ.Ô.µ½¼	À5Ñ0IÔ0IÐJÑKÔKÝ•7�1œ8 UÑ+Ô+­WµQ´[À$Ñ-GÔ-GÐHÑIÔIÝ•7�1œ<¨Ñ/Ô/µ½Ô9JÈDÑ1QÔ1QÐRÑSÔSÝ•7�1œ<¨Ñ/Ô/µ½Ô9KÈTÑ1RÔ1RÐSÑTÔTð1ð r-   c            
      ó  — h t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j
        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j
        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j
        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j
        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’t          t          t          j        d¦  «        t          t          j	        d¦  «        f¦  «        ’S )zJ
    Known facts between unary predicates for numbers as CNF clauses.
    FT)r   r   r   r   r	   r
   r   r   r   r   r   r   r   r   r   r   r   r   r   r"   r#   r(   r,   r-   r.   Úget_all_known_number_factsr3   y   sì	  € ð
0Ý•7�1œ;¨Ñ.Ô.µ½¼ÀTÑ0JÔ0JÍGÕTUÔTdÐfkÑLlÔLlÐmÑnÔnð0å•7�1œ;¨Ñ.Ô.µ½¼
ÀDÑ0IÔ0IÍ7ÕSTÔScÐejÑKkÔKkÐlÑmÔmð0õ 	•7�1œ;¨Ñ.Ô.µ½¼
ÀDÑ0IÔ0IÍ7ÕSTÔScÐejÑKkÔKkÐlÑmÔmð0õ 	•7�1œ;¨Ñ.Ô.µ½¼
ÀDÑ0IÔ0IÐJÑKÔKð	0õ
 	•7�1œ;¨Ñ.Ô.µ½Ô8HÈ%Ñ0PÔ0PÕRYÕZ[ÔZ`ÐbfÑRgÔRgÐhÑiÔið0õ 	•7�1œ;¨Ñ-Ô-­wµq´xÀÑ/GÔ/GÐHÑIÔIð0õ 	•7�1œ;¨Ñ-Ô-­wµqÔ7GÈÑ/NÔ/NÐOÑPÔPð0õ 	•7�1œ?¨EÑ2Ô2µG½A¼KÈÑ4OÔ4OÕQXÕYZÔY_ÐaeÑQfÔQfÐgÑhÔhð0õ 	•7�1œ?¨EÑ2Ô2µG½A¼KÈÑ4NÔ4NÐOÑPÔPð0õ 	•7�1œ=¨%Ñ0Ô0µ'½!¼(ÀDÑ2IÔ2IÐJÑKÔKð0õ 	•7�1œ=¨%Ñ0Ô0µ'½!¼*ÀdÑ2KÔ2KÐLÑMÔMð0õ 	•7�1œ;¨Ñ.Ô.µ½¼ÀÑ0EÔ0EÅwÍqÌzÐ[_ÑG`ÔG`ÕbiÕjkÔjqÐsxÑbyÔbyÐzÑ{Ô{ð0õ 	•7�1œ;¨Ñ-Ô-­wµq´v¸uÑ/EÔ/EÅwÍqÌuÐV[ÑG\ÔG\Ð]Ñ^Ô^ð0õ 	•7�1œ;¨Ñ-Ô-­wµq´zÀ5Ñ/IÔ/IÐJÑKÔKð0õ 	•7�1œ;¨Ñ-Ô-­wµq´wÀÑ/EÔ/EÐFÑGÔGð0õ  	•7�1œ6 5Ñ)Ô)­7µ1´5¸%Ñ+@Ô+@Å'Í!Ì'ÐSWÑBXÔBXÐYÑZÔZð!0õ" 	•7�1œ6 5Ñ)Ô)­7µ1´6¸4Ñ+@Ô+@ÐAÑBÔBð#0õ$ 	•7�1œ6 4Ñ(Ô(­'µ!´%¸Ñ*>Ô*>Ð?Ñ@Ô@ð%0õ& 	•7�1œ6 4Ñ(Ô(­'µ!´*¸eÑ*DÔ*DÐEÑFÔFð'0õ( 	•7�1œ8 UÑ+Ô+­WµQÔ5EÀtÑ-LÔ-LÐMÑNÔNð)0õ* 	•7�1œ8 TÑ*Ô*­GµA´JÀÑ,EÔ,EÐFÑGÔGð+0õ, 	•7�1œ;¨Ñ.Ô.µ½¼
ÀDÑ0IÔ0IÐJÑKÔKð-0õ. 	•7�1œ;¨Ñ.Ô.µ½¼
ÀDÑ0IÔ0IÐJÑKÔKð/0õ0 	•7�1œ;¨Ñ.Ô.µ½¼ÀÑ0EÔ0EÐFÑGÔGð10õ2 	•7�1œ;¨Ñ-Ô-­wµq´zÀ4Ñ/HÔ/HÐIÑJÔJð30õ4 	•7�1œ;¨Ñ-Ô-­wµq´zÀ4Ñ/HÔ/HÐIÑJÔJð50õ6 	•7�1œ;¨Ñ-Ô-­wµq´v¸tÑ/DÔ/DÐEÑFÔFð70õ8 	•7�1œ: uÑ-Ô-­wµqÔ7JÈDÑ/QÔ/QÐRÑSÔSð90õ: 	•7�1œ: uÑ-Ô-­wµqÔ7JÈDÑ/QÔ/QÐRÑSÔSð;0õ< 	•7�1œ<¨Ñ/Ô/µ½¼ÀTÑ1JÔ1JÍGÕTUÔT^Ð`eÑLfÔLfÐgÑhÔhð=0õ> 	•7�1œ<¨Ñ/Ô/µ½¼ÀTÑ1JÔ1JÍGÕTUÔT^Ð`eÑLfÔLfÐgÑhÔhð?0õ@ 	•7�1œ<¨Ñ/Ô/µ½¼ÀUÑ1KÔ1KÍWÕUVÔU[Ð]aÑMbÔMbÐcÑdÔdðA0õB 	•7�1œ<¨Ñ.Ô.µ½¼
ÀEÑ0JÔ0JÍGÕTUÔT^Ð`eÑLfÔLfÕhoÕpqÔpvÐx}Ñh~Ôh~Ðñ  	Aô  	AðC0õD 	•7�1œ<¨Ñ.Ô.µ½¼
ÀDÑ0IÔ0IÐJÑKÔKðE0õF 	•7�1œ: uÑ-Ô-­wµq´zÀ5Ñ/IÔ/IÍ7ÕSTÔS]Ð_cÑKdÔKdÕfmÕnoÔntÐv{Ñf|Ôf|Ð}Ñ~Ô~ðG0õH 	•7�1œ: tÑ,Ô,­gµaÔ6IÈ4Ñ.PÔ.PÐQÑRÔRðI0õJ 	•7�1œ: tÑ,Ô,­gµa´jÀ$Ñ.GÔ.GÐHÑIÔIðK0õL 	•7�1œ: tÑ,Ô,­gµaÔ6IÈ4Ñ.PÔ.PÐQÑRÔRðM0õN 	•7�1œ: tÑ,Ô,­gµa´f¸dÑ.CÔ.CÐDÑEÔEðO0õP 	•7�1Ô.°Ñ5Ô5µw½q¼zÈ4Ñ7PÔ7PÐQÑRÔRðQ0õR 	•7�1Ô.°Ñ5Ô5µw½qÔ?RÐTXÑ7YÔ7YÐZÑ[Ô[ðS0õT 	•7�1Ô.°Ñ5Ô5µw½q¼vÀtÑ7LÔ7LÐMÑNÔNðU0õV 	•7�1œ5 $Ñ'Ô'­µ´¸UÑ)CÔ)CÐDÑEÔEðW0õX 	•7�1œ: uÑ-Ô-­wµq´wÀÑ/EÔ/EÐFÑGÔGðY0õZ 	•7�1œ: tÑ,Ô,­gµaÔ6IÈ4Ñ.PÔ.PÐQÑRÔRð[0õ\ 	•7�1œ: tÑ,Ô,­gµa´f¸dÑ.CÔ.CÐDÑEÔEð]0õ^ 	•7�1Ô.°Ñ5Ô5µw½q¼vÀtÑ7LÔ7LÐMÑNÔNð_0ð 0r-   c                  ó¬<  — i t           j        t          t           j        t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j	        g¦  «        f“t           j
        t          t           j
        g¦  «        t          g ¦  «        f“t           j        t          t           j        g¦  «        t          g ¦  «        f“t           j        t          t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        g¦  «        f“t           j        t          t           j        g¦  «        t          g ¦  «        f“t           j        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j	        t           j        g¦  «        f“t           j         t          t           j         t           j!        t           j"        t           j#        t           j$        t           j%        t           j&        g¦  «        t          g ¦  «        f“t           j'        t          t           j        t           j        t           j        t           j'        t           j        t           j        t           j        t           j        t           j        t           j        g
¦  «        t          t           j        t           j        t           j        t           j        t           j(        t           j        t           j	        g¦  «        f“t           j        t          t           j        t           j        t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        g	¦  «        f“t           j        t          t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j        g¦  «        f“t           j        t          t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        f“t           j        t          t           j        t           j        t           j        g¦  «        t          t           j        t           j        g¦  «        f“t           j        t          t           j        t           j        t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        f“t           j        t          t           j        t           j        g¦  «        t          t           j        g¦  «        f“t           j        t          t           j        t           j        g¦  «        t          t           j        t           j        t           j        g¦  «        f“t           j)        t          t           j)        g¦  «        t          g ¦  «        f“t           j        t          t           j        g¦  «        t          g ¦  «        f“i t           j        t          t           j
        t           j        t           j        t           j        t           j        g¦  «        t          t           j        t           j'        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j(        t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        f“t           j        t          t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j'        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j(        t           j        t           j        t           j        t           j        t           j	        t           j        g¦  «        f“t           j        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        g	¦  «        t          t           j        t           j        t           j        t           j        t           j        t           j	        g¦  «        f“t           j*        t          t           j        t           j*        t           j+        g¦  «        t          g ¦  «        f“t           j,        t          t           j)        t           j,        t           j#        g¦  «        t          t           j-        g¦  «        f“t           j        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        g	¦  «        t          t           j        t           j'        t           j        t           j        t           j        t           j        t           j(        t           j        t           j        t           j        t           j        g¦  «        f“t           j.        t          t           j.        g¦  «        t          g ¦  «        f“t           j!        t          t           j!        t           j%        g¦  «        t          g ¦  «        f“t           j        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        f“t           j        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j'        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j(        t           j        t           j        t           j        t           j        t           j        t           j	        t           j        g¦  «        f“t           j/        t          t           j/        g¦  «        t          g ¦  «        f“t           j        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        f“t           j        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        f“t           j        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j        t           j        g¦  «        f“t           j"        t          t           j"        t           j#        g¦  «        t          g ¦  «        f“t           j(        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j(        t           j        t           j        g¦  «        t          t           j'        t           j        t           j        t           j        t           j        t           j        t           j	        t           j        g¦  «        f“t           j0        t          t           j)        t           j,        t           j"        t           j0        t           j1        t           j#        t           j2        g¦  «        t          t           j-        g¦  «        f“¥i t           j        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        g	¦  «        f“t           j1        t          t           j)        t           j,        t           j1        t           j#        g¦  «        t          t           j-        g¦  «        f“t           j        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j'        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j(        t           j        t           j        t           j        t           j        t           j	        t           j        g¦  «        f“t           j        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j	        t           j        g¦  «        f“t           j        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j        t           j        t           j	        g¦  «        f“t           j        t          t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j        g¦  «        f“t           j+        t          t           j        t           j+        g¦  «        t          g ¦  «        f“t           j-        t          t           j-        g¦  «        t          t           j,        t           j0        t           j1        t           j2        g¦  «        f“t           j#        t          t           j#        g¦  «        t          g ¦  «        f“t           j$        t          t           j#        t           j$        g¦  «        t          g ¦  «        f“t           j	        t          t           j        t           j        t           j        t           j	        g¦  «        t          t           j        t           j        t           j'        t           j        t           j        t           j        t           j(        t           j        t           j        t           j        t           j        g¦  «        f“t           j%        t          t           j%        g¦  «        t          g ¦  «        f“t           j3        t          t           j%        t           j3        g¦  «        t          g ¦  «        f“t           j2        t          t           j)        t           j,        t           j"        t           j#        t           j2        g¦  «        t          t           j-        g¦  «        f“t           j&        t          t           j%        t           j&        g¦  «        t          g ¦  «        f“t           j        t          t           j        t           j        t           j        t           j'        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        g¦  «        t          t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j        t           j(        t           j        t           j        t           j        t           j	        g¦  «        f“¥S )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.

    )4r   r   Úsetr   Úcomplexr   r   r"   r#   r
   r   r   r   Úextended_nonnegativeÚextended_nonzeroÚextended_positiveÚextended_realr   ÚintegerÚnonnegativeÚnonzeror   r   ÚrealÚextended_negativeÚextended_nonpositiver	   r(   r   Únonpositiver   r   r   r   r   r!   r   r)   r   r   r   r   r$   r   r    r&   Úis_trueÚ
nonintegerr*   r%   r'   r+   r,   r-   r.   Úget_known_facts_dictrD   °   s‘  € ðfÝ	Œ•c�1œ;­¬µq´yÅ!Ä(ÐKÑLÔLÝ�QŒZ�Ô,­aÔ.AÝ	Ôðñ 	ô 	ððfõ 	
Œ�#�qœÐ/Ñ0Ô0µ#°b±'´'Ð:ð	fõ
 	
Œ��Qœ]˜OÑ,Ô,­c°"©g¬gÐ6ðfõ 	
Œ	•C�œ­¬	µ1´8Ð<Ñ=Ô=Ý�QŒZ�Ô,­aÔ.AÐBÑCÔCðEðfõ 	
Ô�S¥!Ô"4Ð!5Ñ6Ô6½¸B¹¼Ð@ðfõ 	
Œ•c�1œ;­¬µq´yÅ!Ä+Ý	Ô¥Ô 2Ý	Ô�Qœ_­a¬h½¼Ý	Œ	•1”=¥!¤)­Q¬Z½¼Ý	Œð	ñ ô õ •qÔ*­AÔ,BÝ	Œ•Q”Z¥¤­q¬zÝ	Ô�Qœ]­AÔ,?Ý	Œ•Ô!¥1¤6ð+ñ ,ô ,ð	-ðfõ" 	
Œ
•S�!œ*¥aÔ&8½!¼(ÅAÄHÝ	Œ•Q”\¥1Ô#5ð7ñ 8ô 8Ý9<¸R¹¼ðBð#fõ& 	
Œ••a”k¥1¤=µ!´)½Q¼VÝ	Œ�œ¥1¤;µ´	½1¼:Ý	Œðñ ô å•q”{¥A¤Jµ´Ý	Ô�QœU¥AÔ$7Ý	Ôðñ ô ðð'fõ0 	
Ô�c¥1¤=µ!Ô2EÝ	Ô¥Ô 2µA´Oð#Eñ Fô Få�QŒ[�!Ô0µ!Ô2EÝ	Œ•Q”]¥A¤JµÔ0CÝ	Œ•”ðñ 	ô 	ðð1fõ: 	
Ô¥¥a¤mµQÔ5KÝ	Œð&ñ "ô "Ý¥Ô 3µQ´[Ý	Œ
•AÔ'ð )ñ *ô *ð!+ð;fõ@ 	
Ô¥¥a¤mµQÔ5KÝ	Œð&ñ "ô "Ý¥¤­QÔ-@Ý	Œ•Q”Z¥Ô!4µa´gð ?ñ @ô @ð!AðAfõF 	
Ô�S¥!¤-µÔ1CÝ	Œð"ñ ô Ý¥¤­Q¬VÐ4Ñ5Ô5ð7ðGfõJ 	
Ô�c¥1¤=µ!Ô2HÝ	Ô�AÔ/µ´ð#Bñ Cô Cå�QÔ ¥!Ô"8½!¼+Ý	Œ
•AÔ'­¬½¼ð@ñ 	Aô 	AðBðKfõR 	
Œ�#�qœ}­a¬oÐ>Ñ?Ô?Ý�QŒ[ˆMÑÔððSfõV 	
Œ•3�œ¥q¤xÐ0Ñ1Ô1µ3½¼
Ý	Ô�QÔ0ð82ñ 43ô 43ð 4ðWfõZ 	
Œ
•S�!œ*˜Ñ&Ô&­¨B©¬Ð0ð[fõ\ 	
Œ•c�1œ;˜-Ñ(Ô(­#¨b©'¬'Ð2ð]fð fõ^ 	
Œ•c�1œ?­A¬M½1¼9Ý	Œ•!”+ðñ  ô  Ý!$¥a¤kµ1´6Ý	Ô�QÔ3Ý	Ô¥Ô 2Ý	Ô�Qœ_­a¬j½!¼)Ý	Œ•a”j¥!Ô"5µq´}Ý	Œ•q”y¥!¤%­¬Ý	Ô�QœW¥a¤jµ!´&½!¼&ð&Bñ "Cô "CðDð_fõn 	
Œ
•S�!œ-­¬Ð4Ñ5Ô5µs½A¼KÝ	Œ	•1”;¥¤­¬µ!´+Ý	Œ	•1”<¥¤­Q¬]Ý	Œ•q”y¥!¤%­¬µQ´WÝ	Œ
•A”F�AÔ,­a¬fð	<6ñ 87ô 87ð 8ðofõx 	
Œ	•C�œ¥a¤mµQ´YÝ	Œ�œ¥1¤;µ´	½1¼:Ý	Œðñ ô å•q”{¥A¤Jµ´Ý	Ô�QÔ0µ!Ô2BðDñ Eô EðFðyfõ@ 	
Ô�S¥!Ô"4µaÔ6HÝ	Œð"ñ ô Ý˜r™7œ7ð$ðAfõD 	
Œ•s�AœJ­¬µa´hÐ?Ñ@Ô@Ý�QŒZˆLÑÔððEfõH 	
Œ•s�AœM­1¬9µaÔ6HÝ	Œ�œ¥1¤;µ´Ý	Œ	•1”6ðñ ô å ¥!¤+­q¬vµq´{Ý	Œ
•A”I�qÔ2µA´EÝ	Ô�QœW¥a¤jµ!´&ð":ñ ;ô ;ð<ðIfõR 	
Œ	•C�œ˜Ñ$Ô$¥c¨"¡g¤gÐ.ðSfõT 	
Ô�S¥!Ô"4µa´lÐ!CÑDÔDÅcÈ"ÁgÄgÐNðUfõV 	
Œ
•S�!œ-­¬µAÔ4GÝ	Ô¥Ô 2µA´OÝ	Œ•!”+�qœz­1¬=½!¼)Ý	Œðñ ô õ •q”{¥AÔ$:Ý	Ô�Qœ[­!¬*Ý	Ô�Qœ]­A¬JÝ	Ô�QœW¥a¤fð.ñ /ô /ð0ðWfõd 	
Ô�c¥1¤=µ!Ô2EÝ	Ô¥Ô 2µA´OÝ	Œ
•AÔ'ð#)ñ *ô *å+.µ´Ý	Œ	•1”;¥¤­Ô(>Ý	Ô�QœX¥q¤{µA´IÝ	Œ•a”j¥!¤-µ´Ý	Œ	•1”5�!œ*¥aÔ&9½1¼7Ý	Œ
•A”F�AÔ,­a¬fð06ñ ,7ô ,7ð8ðefõt 	
Œ•s�AœL˜>Ñ*Ô*­C°©G¬GÐ4ðufõv 	
Œ��Qœ]­A¬IµqÔ7MÝ	Œ�œ¥1¤;µ´Ý	Œðñ ô å•qÔ*­A¬K½¼Ý	Œ
•AÔ'­Ô)<ð>ñ ?ô ?ð@ðwfõ~ 	
Œ��Qœ]­A¬IµqÔ7MÝ	Œ�œ¥1¤;µ´Ý	Œðñ ô å•q”{¥AÔ$7½¼Ý	Œ
•AÔ'­¬Ý	Ô�QœWð&ñ 'ô 'ð(ðfõH 	
Œ	•C�œ­¬	µ1Ô3EÝ	Œ�œ¥1¤;µ´	½1¼6ðCñ Dô Då�QŒ[�!œ*¥aÔ&9Ý	Ô�QœVð%ñ 	&ô 	&ð'ðIfõP 	
Œ•3�œ¥!¤(Ð+Ñ,Ô,­c°"©g¬gÐ6ðQfõR 	
Œ••Q”[¥!¤-µ´Ý	Ô�AœO­Q¬Xµq´{Ý	Œ	•1”9�aœe¥Q¤Zµ´ð9ñ :ô :õ 	�QŒV•Q”[¥!¤*­a¬lÝ	Ô�QÔ0µ!Ô2BÝ	Œðñ 	ô 	ððSfõ^ 	
Œ•s�AœJ­¬µa´hÅÄÝ	Ô�QœX¥q¤yð2ñ 3ô 3Ý47½¼¸Ñ4EÔ4EðGð_fð fð fõb 	
Œ
•S�!œ-­¬µAÔ4JÝ	Ô�AÔ/µ´Ý	Œ•!”+�qœ}­a¬i½¼Ý	Œðñ ô õ •qÔ*­AÔ,BÝ	Œ•Q”Z¥¤­QÔ-@Ý	Œ•qÔ*­A¬Fð4ñ 5ô 5ð6ðcfõn 	
Ô�c¥1¤:­q¬|Ý	Ô�QœXð#'ñ (ô (Ý),­a¬j¨\Ñ):Ô):ð<ðofõr 	
Ô�c¥1¤=µ!Ô2HÝ	Ô�AÔ/µ´Ý	Œ
•AÔ'ð#)ñ *ô *å+.µ´Ý	Œ	•1”;¥¤­Ô(;Ý	Ô¥¤­!¬+µq´yÝ	Œ•a”j¥!Ô"5µq´}Ý	Œ•q”y¥!¤%­¬µQ´WÝ	Œ
•A”F�AÔ,­a¬fð06ñ ,7ô ,7ð8ðsfõB 	
Œ•#•q”{¥A¤Mµ1´9Ý	Ô¥Ô 2Ý	Ô�Qœ_­a¬h½¼Ý	Œ	•1”=¥!¤)­Q¬Z½¼Ý	Œ
•A”Fð	ñ ô õ "¥1¤;µÔ0CÝ	Ô¥¤­Q¬Z½¼Ý	Œ
•AÔ'­¬Ý	Ô�QÔ-­q¬vð#7ñ 8ô 8ð	9ðCfõR 	
Œ
•S�!œ+¥q¤}µa´iÝ	Œ�œ¥1¤;µ´
½A¼FðDñ Eô Eå�QŒ[�!œ*¥a¤lÝ	Ô�QÔ0µ!Ô2BðDñ 	Eô 	EðFðSfõZ 	
Œ••a”m¥Q¤Yµ´ÅÄÝ	Œ•Q”Vðñ ô Ý"¥A¤Kµ´Ý	Ô�QÔ0ð$2ñ  3ô  3ð4ð[fõ` 	
Œ�#�qÔ1µ1´?ÐCÑDÔDÅcÈ"ÁgÄgÐNðafõb 	
Œ
•S�!œ*˜Ñ&Ô&­­Q¬\½1¼<Ý	Ô�QœYð-(ñ ))ô ))ð *ðcfõf 	
Œ•3�œ�z‘?”?¥C¨¡G¤GÐ,ðgfõh 	
Œ•c�1œ8¥Q¤[Ð1Ñ2Ô2µC¸±G´GÐ<ðifõj 	
Ô�3¥¤­q¬y½!¼(Ý	Ôð ñ ô Ý¥¤­a¬k½1¼6Ý	Œ
•A”I�qÔ2µA´EÝ	Ô�QœW¥a¤jµ!´&ð!:ñ ;ô ;ð<ðkfõr 	
Œ•s�AœL˜>Ñ*Ô*­C°©G¬GÐ4ðsfõt 	
Ô�C¥¤­qÔ/@Ð AÑBÔBÅCÈÁGÄGÐLðufõv 	
Œ	•C�œ¥Q¤\µ1´8½Q¼XÝ	Œ	ðñ ô Ý�!œ*˜Ñ&Ô&ð(ðwfõz 	
Ô�S¥!¤,µÔ0BÐ!CÑDÔDÅcÈ"ÁgÄgÐNð{fõ| 	
Œ••a”k¥1¤=µ!´)½Q¼VÝ	Ô¥Ô 6Ý	Œ�œ¥1¤;µ´	Ý	Œ•q”}¥a¤jµ!´&½!¼&ðBñ Cô Cõ 	�QŒ[�!Ô-­qÔ/AÝ	Ô�Qœ[­!¬*µa´lÝ	Œ
•AÔ'­¬µA´E½1¼:Ý	Ô�QœW¥aÔ&6ð8ñ 	9ô 	9ð	:ð}fð fð fr-   N)Ú__doc__Úsympy.assumptions.askr   Úsympy.assumptions.cnfr   Úsympy.core.cacher   r/   r1   r3   rD   r,   r-   r.   ú<module>rI      sÅ   ððð ð
 $Ð #Ð #Ð #Ð #Ð #Ø )Ð )Ð )Ð )Ð )Ð )Ø $Ð $Ð $Ð $Ð $Ð $àðLð Lñ 	„ðLð\ 	ðð ñ 	„ðð> 	ð4ð 4ñ 	„ð4ðl 	ðoð oñ 	„ðoð oð or-   