+
    i                     F    R t ^ RIHt ^ RIHtHt ^ RIt^ RIHt R t	R t
R# )z[For reading in DIMACS file format

www.cs.ubc.ca/~hoos/SATLIB/Benchmarks/SAT/satformat.ps

)Symbol)AndOrN)Pathc                   . pV P                  R4      p\        P                  ! R4      p\        P                  ! R4      p\        V4      ^ 8  Ed/   VP	                  ^ 4      pVP                  V4      '       d   K;  VP                  V4      pV'       d   KV  VP                  R4      P                  R4      p. pV F  p	V	R8w  g   K  \        V	4      ^ 8X  d   K  \        \        V	4      4      p
Rp\        V	4      ^ 8  d   RpV'       d$   VP                  \        RV
,          4      4       Kq  VP                  \        RV
,          4      ( 4       K  	  \        V4      ^ 8  g   EK$  VP                  \        V!  4       EK?  \        V!  # )	zLoads a boolean expression from a string.

Examples
========

>>> from sympy.logic.utilities.dimacs import load
>>> load('1')
cnf_1
>>> load('1 2')
cnf_1 | cnf_2
>>> load('1 \n 2')
cnf_1 & cnf_2
>>> load('1 2 \n 3')
cnf_3 & (cnf_1 | cnf_2)

zc.*zp\s*cnf\s*(\d*)\s*(\d*)  TFzcnf_%s)splitrecompilelenpopmatchrstripintabsappendr   r   r   )sclauseslinespCommentpStatslinemnumslistlitnumsigns   &           |/Users/tonyclaw/.openclaw/workspace/skills/math-calculator/venv/lib/python3.14/site-packages/sympy/logic/utilities/dimacs.pyloadr!      s%     GGGDMEzz&!HZZ23F
e*q.yy| ~~d##T"A1{{4(..s3Cbys8q=$!#c(m#s8a<#(D KKx#~(>? KK3)?(?@   t9q=NN2t9-=    c                J    \        V 4      P                  4       p\        V4      # )z'Loads a boolean expression from a file.)r   	read_textr!   )locationr   s   & r    	load_filer&   B   s    X  "A7Nr"   )__doc__
sympy.corer   sympy.logic.boolalgr   r   r   pathlibr   r!   r&    r"   r    <module>r,      s#     ' 	 2jr"   