@D* @ "b@ @@|r# @@h/(" @K \@K O^a K`dh/H   @4 d  @+/t"@# h /H  @ p#|##b#a#`d#  |  G        /usr/lib/ld.so/dev/zerocrt0: no /usr/lib/ld.so &crt0: /usr/lib/ld.so mapping failure crt0: no /dev/zero 㿀'Da' D @D" :` '*` @j'' 耢`   :  *`  @U`@Da@@w`'"@`'D ' ' z@u$ 0 +  + @  2 8 ! ]  + + @  2 8 UUaU D   쀢@ 4 +`  @ +`  @ +`  @ +`+`@  +`   ` '" '"  "@㿈'D'H'L  @L*` @L*` @ D @D" :` '*` @}'' 耢`   :  *`  @h`@DaH@@`'"@`'L*` @H@SD  !H** @ @ ``'"@   '"  "@㿀'D'   + @ #@D!!D ' ' M #C ,` , ,@8  0, , @#? @ J# @  |`# |# @  x`# x# @  t`# t# @  p`# p# @  l`# l# @  h`# h# @  d`# d#@ @  ``# `#? @ J# @  \`# \# @  X`# X# @  T`# T# @  P`# P# @  L`# L# @  H`# H# @  D`# D#@ @  @`# @!?# @ F# @  <`# <# @  8`# 8# @  4`# 4# @  0`# 0 h  ,`# , d  (`# ( b  $`# $ a  `# ` B `  `#  `@  `#  `  `#  `  `#  `  `# `  `#  `  `#  ` `#?'''!!' ! $`# 쀢% + + 4  `4   , #`Ğ $  E , #`Ğ$   , #` , #` ) , ! Ġ ,`#`Ģ ,`# +4   耠'', #`Ğ''/耠+ , #`Ğ䀣', #`Ğ'' , #`Ğ䀣'' , #`Ȟ$ , ! ̠`?# ! Ѐ4  @# ! Ԣ`?#$ $BINATE_SPLIT_SELECT: split against %d cl=%s cr=%s 㿐'D'P '*` @ D* a@* a@*` @<*`  *   @  *` @= 2  :  <*`  *   @ ?<*`< *  * `@ " <*`  *   @ <*`< *  * `@ "  P @  b@ `@?@? b@@㿘'DD `*` @ 耢`   :  *`  @`@[$D DD @@*`@@  $D * @ $$㿘'D'HDH `    *  @| 耢`   :  *`  @g`@$D DD @@^*`@@  $D * @ H HH @@D*`@@  $H * @ $$㿘'D'H'LDH `  L`    *  @ 耢`   :  *`  @`@$D DD @@*`@@  $D * @ H HH @@*`@@  $H * @ L LL @@*`@@  $L * @ $$㿘'DD D @D" :`? @F * D@ @ (? @*`  @ c |$@$***@   $ ?   D @D" :`?% 㿘'DaD@@; D @D" : D   Ֆ X@9D  @* D *`D @  * D@ @$ `$ $ 㿘 @$$ $ $ $ $ $ $ 㿘 ` ``@  @ 㿘  @ 㿐 @$`  $$` $`$$ ``$`N`@$`" `$ $`$``$`<` @$` " ` $$` $ ``$`*` '@ '@$ ' "`  $" $ ``$` @d 㿘` '# $`  "   $` " `$`@% 㿘'D'HD`  H@    H@  㿘'D'HD H ` @   @  `` 㿘'D'HD H ` &@    @  `    㿘'D'HD H `@ @"   `   `? 㿘'D'HJD H `7@    )%@  ` \   ` 㿘'D'H D `*  @H@`㿘` `$ ` `" ` ` $ `` "  $ `@  %d㿐'D'HH ' Dx@ 'COMPLEMENTexit COMPLEMENT㿀'D ܐ `  """D@;D@  耢`   :  *`  @z`@# 耢`   :  *`  @c`@ D D 'D ' ` @C `   D@  D"@  : @0 ''#\D@' @ `@ D`D@@ D"D D@'D ܐ ` b ""@;e㿐'D'HD D @ # `@a@H"@D`D@@D"D D@'D - D @ ' D @ @H"@D`D@@D"D D@'D D   (@  `@#H"@D`D@@nD"D D@e'D  c*`  c*`2  *`  @= @0D    c |$@$*** @  $ ? a@p %@J'a@U@-@ DN @:H"@ b@ D Ѐ`! `@H"@D`D@@D"D D@'D 64 `Ѐ *D@e'D`D@@D"D D@'D@'@H"@@  compl_merge: left %d, right %d %s (cl) %s (cr) Left is Right is Result %d 㿈'D'H'L'X ܐ ` !HL`  @[@9>@9Hb@NH@: b@GL@:H HH @@>*` ' c |$@$***  $ ?  $H *  L LL @@*` ' c |$@$*** @ $ ?  $L *  aX *@  @H@ 'H`  Ֆ X@L@ 'L`  Ֆ X@@\   4B  ::D'X@TX@N@%D'X@X@@vX@X@쀢 @e'耢 @]'HL `  `@' H HH @@B*` % c** % ? `  "  *  H *  L LL @@*` +  c** % ? `  "  *  L *   ܐ ` ` @ `@8H@L@㿐'D'H'L'P  @  @P*` @'L@D 'D S KL@ H < c**@ 8  ` ?   c |$@$***   $ ? 㿘'D'H'L'P  @P*` @D 'D v nL@  |$@$**L  * $ ?  c |$@$***   $ ? H HH @@*` @ H *   c** $ ?  $compl: ON-set and OFF-set are not orthogonal㿘'D'H'L 耢`   :  *`  @`@/D 'D i a`耢  `:   %*`% ? H HH @@V*`  @  a@*v@H *  L*` @@t@L @ 㿘@A@  ? 0 +`@' #? $ c |$@$***   $ ? `@㿐  @! `@d' c@ |$@@@$@*** 8  $@ ? ' 쀢@H*` @@ 3 "  @@v*`` @ c |$@$***@  + +  8  $ ? `'SIMPCOMPexit SIMPCOMP (new)exit SIMPCOMP (compl)x'D'H'L ܐ `  """D@5.DHL@  耢`   :  *`  @`@ 耢`   :  *`  @`@D OD3D*'#\DVH"@'#\DIL"@H@ D@  D"@  :  H@@DH"@ @ߟ `@ߘ D`D@@ߎD"D D@߅'D ܐ ` H@4L@4b ""㿐'D'H'LD D @ * `@H"@ `@a@lL"@D`D@@<D"D D@3'D  D @ 2 D @E `@ @9H"@GL"@D`D@@D"D D@'D tD   3@z * `@a@H"@ `@L"@D`D@@D"D D@'D : c*`  c*`2  *`  @ޙ @D    c |$@$*** @  $ ? a@ z 耢`   :  *`  @S`@a@@v`@I DHL H'  @@2*`@'@ #@ c@ |$@@@$@***@  $@ ?  * @ LA@HL"@@  v@ D Ѐ`, `@a@H"@ `@L"@D`D@@D"D D@'D ?= `Ѐ 3D '@H"@D@X'@'@L"@@D`D@@ݗD"D D@ݎ'D  SIMPLIFYexit SIMPLIFY㿀'D ܐ `  """D@2pD@  耢`   :  *`  @D`@ 耢`   :  *`  @-`@D Dv 'Dl ''#\D' D@  D"@  :  @DK' @ `@ D`D@@D"D D@'D ܐ ` b ""@29㿐'D'HD D @  `@WH"@D`D@@ܢD"D D@ܙ'D ~ D @ - `@2 D @@H"@D`D@@oD"D D@f'D KD   ,@ # `@a@lH"@D`D@@<D"D D@3'D  c*`  c*`2  *`  @  @D    c |$@$*** @  $ ? a@> o 耢`   :  *`  @`@na@@`@ۻ D?'  @@ۨ*`@'@ #@ c@ |$@@@$@***@  $@ ?  * @ H"@z  _@p DW Ѐ`% `@ a@H"@D`D@@SD"D D@J'D /- `Ѐ #D'@"H"@D`D@@+D"D D@"'D  㿈'DDԒX@'ԒX@:'@b'D@'D@㿈'DDԒx@'Ԓx@'@'D@'D@㿈'D'HDԒX@'ԒX@'@'DDH @'D@㿐'DDԒX@^ԒX@D@'D@㿀'D'HD@'H@~'HD  @  `*` @m'Ԗ!X@v'@@ 'D @$'D@OH@L㿈'D'H!@H@2DՒX@'ՒX@%'D@Q'D@(㿘'D'HH*` D@㿘'H  9  *  '*  *` H€ *`**  @ *`*` $*`*` $* $ 㿘'D'HDD`D  ?H€ ?$@` ?$@`$@D$@ :`㿐'DD'?'D  `;0@3`'D@ $@` ( (8 ```'#@#@D#@ 8 㿐'DD'?'D  `;0@3`'D@ $@` ( (8 ```'#@#@D#@ 8 㿘'L'PL@  ,P€  ?  @$`@%`  $ @ @$` $ %$$L% :`㿘'D'HDD  `8H@ `` 00@" ( (8 ``# #D# 8 㿘'D'HD `*` @5D DD @@0*` ? $@R*  $$D *  $D`  H@㿘 `*` @  @*`@@  $*`@$㿐'D'H'LHL@'H"  D @ c**@ $ ?  *  D D@װ'D㿐'D'H'L'PHL@J'H" H*` @׊ D  * c** $@ ? * $:`@@y*`P @%@ * @   H* P@ *`@ " `@G D D@?'Dp'D'H'L'P'TPT@'P"   'D'H'L''А؀@Fؒ 'Ѐ 5ؒ*` Ԕ *@ @ Ԓ*` ?'Ԓ*` ؔ *@ "?ؒ*` "?Ԑ`'ؐ`' 2@ c**@ $ ?  *  @ 'ܨ @ 'ܤD D@֔'DH H@֌'HL L@ք'Lcube size is silly, error in .i/.o or .mv㿘 `  ` !b@ D @ `"@ " H @ a,`?""   *  @/ `  "  *  @" `  "  *  @ `  "  *  @ `  "  쀤@ L @  *`  "@*``  `"*`a  `:`"*    `@ " *``  `"*`a  `:`"`  *  @թ (`  "  *  @՜ @`  " 耢`   :  *`  @Մ`@- `  " 耢`   :  *`  @h`@ $`  "  쀤@  耢`   :  *`  @D`@*@  "*` @*` @< *`<  *  * `@ "   @ 7@  "@"@*@  *  *  "@? *`( "@6 @    "@  "@* @  *   *  "@? *`(  "@`H `  < @ ?"@" < @  *@ " 8 @ $ *@  UUU @ " (@r ,`  " " 耢`   :  *`  @T`@*@  "  耢`   :  *`  @4`@`@ 0`  " 耢`   :  *`  @`@ 4`  "  *  @"`  *  @ `  "  *  @ `  "  *  @ `  "㿘 ` `@  @ "@ ` `@  @ "@!` a@Ӽ  @ "@!` a@ӭ  @ "@!(` a(@Ӟ @ @ "@!` a@ӏ  @ "@! ` a @Ӏ $ @ "@!` a@q 0 @ "@!` a@b 4 @ "@  쀤@ *` @ *` @@@*` "@`!` a@- ( @ "@ *` @ *` @@ *` "@ !` a@ , @ "@ ``@"  Ā` `@  @ "@ Ȁ` `@  @ "@ ̀` `@  @ "@  @ `""  @ `"" @ @ "@  @ `"$" 0 @ `"4" ( @ `","""`"   @ "@㿘!8` L@} "a a      " a      " a      " a      " a      " a     "@  @ `""  @ `""  @ "@  @ `"$" 0 @ `"4" ( @ `","""`"   @ "@㿘 a8 L@!"` `   !  " `   !  " `   !  " `   !  " `   !  " `   ! "@㿘@$@` ` $` @ў? ; 6$` $*) *`:   * `  $   @e  @^ 4$`  $ *& *`:    * $   @- @'bĒ ""ā㿘 @$@` ` $` @? `  `* :` *@@$@` ` $` @? `  `* :` *@*@product term(s) %s span more than one line (warning only)%s-ANY~declared size of variable %d (counting from variable 0) is too small (warning): input line #%d ignored p'Ha'  @'  @''''`@  @ $`   $  @R11#-J- A  ;  0Gz2)?r| o"` `''0@ ""bĒ ""ĢUR* `:  * @ *`:` *` *  + `@ " * :`*` *`: *@ *  * `@ " !* `:  * @ *`:` *` *  + `@ " `E  @k*` @ 'X@Ϙ '`@ϕ   'h@ό !`  @ *` @~ 'p@g !` @'ܒ*``   '''ܒ*` @'ܒ*` @'ԀZH*`  @ ' @CH*`  "А :  * @ В :` *` Д  + `@ " -(H*`  @ @ А :  * @ В :` *` Д  + `@ " Ԁ `'x@θ?@Ν*` @*` @n$`   $  @Η0R0 9 K 3 @ ;1&| 3G"` `''0@Z ""bĒ ""Ĥ<*` < *@  * `@ " `!` ' '`*` @@@*` @*` @$`   $  @22#0g0J D  >  -e}4,4C|#~oo"` `''0@ͨ ""bĒ ""ĤURH  ` <*` < *@  * `@ "  '8H  ` <*` < *@  * `@ "  'H  ` <*` < *@  * `@ "  '(=耢  H@@[H"@䀢  H`@PH"`  H`@EH"``'@ liextra .i ignored %derror reading .ioextra .o ignored .o cannot appear before .ierror reading .omvextra .mv ignored cannot mix .i and .mv%d %derror reading .mvnum_binary_vars (second field of .mv) cannot be negativenum_vars (1st field of .mv) must exceed num_binary_vars (2nd field of .mv)peendkisstypeunknown type in .type commandilbPLA size must be declared before .ilb or .ob%s.baroblabelPLA size must be declared before .labelvar=%dError reading labelssymbolicerror reading .symbolicsymbolic-outputerror reading .symbolic-outputphasePLA size must be declared before .phaseextra .phase ignored only 0 or 1 allowed in phase descriptionpairextra .pair ignored syntax error in .pair%c%s p'D'H """"DDD@ " D `"  @ D@ '  /*`, |8888888888888888888888888888888888888888;bĒ ""0D@D#D +@ ;!``+@˩D &D+@˩ +`@  @ `"  *  @q `  "Q +@ˇ 9!``+@gD $ `+a@` *` @D+@X +a @nH@/ +8@G y!``+@@'D yd `+aX@BD+p @ +ax@2 `+a@) ` +a@  *  @ `  " ' 쀢@ * @D+@ +ax@`'IH@ + @  D+@ʻ +(@ʶ   +0@ʭ )!`H` `@)H"@ `@"H"` `@H"`G +8@}  "!9 +@@o ?DF'*`  *` @R  H *@ `" `'*` +bH@K +h@) Z!`+bp@7H `H@' @=D*` @' @H *` "` @  @H *`  "H * @ @+@`' +@ F!`+bp@H `H@ '*` @'*` @ Ds @H *`  "`'E +@{ P!`+b@H `H@GD+@^ +b@t*` @'*` @ D @^H *`  "`' +@$ /DH@@  H `H" H ' ` '" +c@ +(@ /DH@   H $`H" $H $' ` '" +c8@ +X@ȸ !`+c`@H ``+@ȏD DDD@ " D `"  @ D@{'쀢 쀢 D@ua c*` a c*`2  *`  @4a@(H"``*` ?'`*` ?'䀢 CDDD@ " D `"  @ D@'쀢 0H: * @ H: *`   * 8 ` @ "  쀢 1+c@`' +@ H ` `+@ @ǹH'" D+@ +c@ *  @ǡ"` *  @ǘ"`'@aD* :` (` @ǭH@M  * @ `"+c@Db @dž@ >*`: )  @z@*>H@  * @ `"+c@r`'!`,`@$DD@;!`e!`W`` "  @ @ "@ #*@  @ @ *`: /  `   #  @ @ #*  @ `"  @ @  @ #@D H` `@XH"@ `@QH"` `@JH"`DH#t with .kiss option, third to last and second to last variables must be the same size. MAP-INPUT MAP-OUTPUT X'D'H'L'P'T@IT"@@'P" @d'D5`?' 쀢@*``   *@  ` "`'!` ' '*``   *@   `1p@`1@?'*` @ , *@  @  * @ @@ *     *`  "`'*``   *@   *  @@ "`` " 6!`  @{@'!` `  $` 'LL   `  ``@i` ޹"`EH % ` `@N`@A`"'l ޕ"`@6 `  `@@$ `ڒ t"@!`  @ !`4'`""  耢`   :  *`  @`@"` *!  a@)  `@v@ `@x `@'@?9!` @" 1@ { $`5@'@<!` @" 1@ aL `@@'` "` @ [ # PLA is %s with %d inputs and %d outputs with %d variables (%d binary, mv sizes %d) # ON-set cost is %s # OFF-set cost is %s # DC-set cost is %s # phase is %s # two-bit decoders: (%d %d) # symbolic: # output symbolic: 㿈'DD3` @ ` * 3`@ +3 `@ ' 쀢@*` 3H@@`'3cP@D@@ _3X@D`@ V3p@D`@ M3@D ` D`@3@öD `03c@í'D @ D` * @ D *  3@@Í`'3c@ÃD `,D '耢 #3c@q'쀢  3H@@b '3c@Y 'D $`,D $'耢 #3c@B'쀢  3H`@3 '3c@* '`@Q㿐 (@'""`"" " " " " " " $㿐'D  *  @D"`' 耢@D * @ "@`'㿀'DD`D@@D `D`@D `D`@D ` D `D`@»D" D `)D `  D `@©D "`D `  D `@›D "`D `D`@D" D `D' 耢@0D * @ @ D * @ @ D * @ @@_D * @ "@`'D `D`@HD" D ` D `D` @8D" D '쀢 )'  ' @'' '쀢 @ ''D" D $'쀢 )'  ' @'' '쀢 @''D" $D D@'D;x'D'H'L'P @'" "" " " ''DLL6@ 3ܖHL@f % @'"" "  "" '` "  ;DLbL6@ $ @S'L@"@" 耢 " " '`  " P" 㿐'D'H'L'PD ` D @ H+L@J  PL@" KF' 쀢@='*` @ (D *@  @  * @ @H@  L"P" `'`' p'H'L'P'Ta' 'P@H'L +ܒ*` @@ '؀ ܒ*` @@'ܐ`'@T 'TT`  " TTԔ? @@l*`` T@ *` 'TTT @@[*``@'쀢 "@ *`  *  "@? T *  ''H'L yܒ*` @@'؀ c'@' ܒ*` @ܒ*` @@F<`*` ` *   @ 7耤. 䀤#TTԔ  @@*``@'<`*` <` *@ ` * `@ " `ܐ`'unreasonable expansion in unravel㿀'D'H'L  @a@'H *` @`'L ' 쀢@*` @`''D DD @@Q*` > 'H'L (*` @@'䀢 @* 'В@ 8b@V`' 'D *  `@'D DD @@*` HL.D *  D@㿘'D'H DH8㿐'DDԒDD` 'D@㿐'DDԒXqDD` 'D@㿐'D'H D@D DD @@*` ,  <*`  *   @ *  @? %,`@%D *   @c DU'D`  H@TDD` m'D@D㿐'D ? D `DtD DD @@**` @QD *  D DD @@*` '? $@%, @# ~ @*`@  *`@ $D *  D'D`  Ԗ!X@DD` 'D@㿐    :  *`  @  @O' ?`:*`* "@@@*`  @|@*`  @~*`  @i@s*`   @] @g'COMPONENT_REDUCTION: split into %d %d 㿀'D'H'L'P D @D" :`?'D   @ 7$@ D @ c*`  D @ c*`2  *`  @  D@  @D D @ D@  @" ''D   4@ h -@O % c |$@$*** @ $ ? @($@ '`'쀢 @ P  " :cH@䀢 `*` @H'"`*` @L'"D@ *` D@ *`2  *`  @eD@@YH@"D@ *` D@ *`2  *`  @DD@@8L@"H`'L`'D   @ h  '" '" '"H @ "@ '"L @ "@" 㿐'Da0*` @D `@'D DD @@*`@@ B< *`  *   @ / "  @@*`` @ c |$@$***@   $ ? ?ߒ $D * @ 㿘'D'HD DQa0*` @D DD @@*` 5 c |$@$*** 8  $ ? H:`*`H: *H  * `@ " D *  D㿐'D'H'L'a0*` @  'D0 *@  @ "@D0 *@  @  "`D0 *@  @  "`H€  K0 *@  @ A"@0 *@  @  0"`0 *@  @  "`L€  `'g㿘'D'HD` @C"bH  D>4>I D>>@D@@wDb"㿘'D'Ha c*` a c*`2  *`  @Pa@D"bD` @"bH  D>? D>?D@@-Db"Db" ESPRESSO-POS(%d)p'D'H "!ؐ > H@9@'DDD`@D"@!` D@Ԕ" @ EXACT-POS(%d)p'D'H "!ؐ >H@@'DDD` @9D"@!` D@Ԕ" @ 㿘'D'HD"@@"bD" ESPRESSO-NEG(%d)p'D'Hؐ > H@ "!@'DDD`@D"@!` D@Ԕ" @Jؐ >H@ "!@t'DDD `@\D"`!` D@`Д"  @$ EXACT-NEG(%d)p'D'Hؐ >H@i "!@A'DDD` @D"@!` D@,Ԕ" @ؐ >pH@B "!@'DDD ` @rD"`!` D@Д"  @ 㿘'D'HD@D`  0D@@DD`"D" a0*` H@ 'HH:`*`̐ H: *̒@ H  * 8 ` @ " D`@D" D"@@"bD" 㿐'D'HD'ʍ`@@" @'HD` "HHHHH# " ""`" ' @HH * Ĕ  `@ " `' ' @<*`( @ HHD *@   @9 *Ē@  "  @$ HH * Ĕ  ` @ " `' `쀢  'HD *@   @ *Ē@  " $D DD @@*`@@ HH`@2 `@" D * @ HHH`@ H @ " c=%d(%d) in=%d out=%d tot=%dc=%d(%d) in=%d mv=%d out=%d㿐'D` DDD`" DDD #\b@ `@DDD`" DDD #\b@ ` @"㿀'DD 㿘'D'HHD@"HD`" HD`" HD` " HD`" HD`" # %s Cost is %s 㿘'D'HD@c`H@@`@l# %s Time was %s, cost is %s 㿘'D'H'LL@OD@cH@`@K㿘'D'H'L'P@D" 'DH*`H *" D " H*`b@H *@H *"@   " LPI!`H*`!D@P#@c@`@espresso: %s 㿘'D`AxD@ @.p %d 01.e ~1~2~0.end 㿐'D'H'LL a DH @L >'LL L b DH @L ='LL L H@tL H@=L DH@ DHL@'L ` H`  'L ` H `  'L ` H `  'DA@GL *H`H@H@ @,*`@@ DA@H@*`@DA@yL ` #H`H@H@ @*`@@ DA@aH@*`@L ` #H `H`H` @*`@@ DA@;H @*`@L ` #H `H`H` @*`@@ DA@H @*`@DA@.type .i %d .o %d .mv %d %d %d .ilb %s.ob.label var=%d#.phase 㿐'D'H'LL DBX@zL ` <DDD@ " D` "` f**D  `* :` D D` D  f*@D `"  D  @  D@M fD@GL ` <DDD@ " D` "` d**D  `* :` D D` D  d*@D `"  D  @  D@ dD@L ` <DDD@ " D` "` r**D  `* :` D D` D  r*@D `"  D  @  D@ rD@DDD@ " D` "` *,D  `* :`  D D` D  *@D `"  D  @  D@ D@!,`DB`@u!0a0*` DBh@b(DB"p@W  쀤@ *` DB@B`DB@:H `nH  @ @ e ``DB@"  @ H*@   * @DB@`DDD@ " D` "` *,D  `* :`  D D` D  *@D `"  D  @  D@ D@H `H0 *@   * @ @ p!0kDB@ a0*` @H0 *@    * @ DB@ DDD@ " D` "` *,D  `* :`  D D` D  *@D `"  D  @  D@U D@O  @}*` @'*` @'H `eH * @ @ ZDB@H*`  DB@ DDD@ " D` "` *,D  `* :`  D D` D  *@D `"  D  @  D@ D@`H `a0*` @'a0*` @'DB@vDDD@ "D` "`H<  *`  * ` ` 1 0*PD  `* :` 3D D` +D`H<  *`  * ` ` 1 0* ` D `"  D  @  D@JH<  * @  *   @  1 0D@3 DB@.option unmerged 㿘'DF`p@D@D@D@;DA` @D`D@D@ @*`@@ D`@D@*`@Aa@ .group ( \ %s)㿈'D'HHF@ '' @HF@ '*` @'*` @ sD * @ @@' K HF@'C ?HHH@ " H` "` **H  `* :` H H` H  *@H `"  H  @  H@S H@M 'D * @ HF@1 '`'HF@" '`'[HB@.label㿈'D'HHG@ '' 쀢@*` @'*` @ oD * @ @@' K HF@'?HHH@ " H` "` **H  `* :` H H` H  *@H `"  H  @  H@ H@ 'D * @ HF@ '`'`'oCannot have no-output function for EQNTOTT output modeMust have binary-valued function for EQNTOTT output mode%s = ( | ( &!; 㿈'D!0Gc f!,`GcX]D@  a0*` @D0 *@    * @ G@@D0 *@    * @ @@  'D`D@D@ @*` a0*` @ :  * @0 *@   ` *   @ t쀢  Gc@ Gc@ ' '  T* :`*`*`  2  ' @D*@   * @`@ HGc@m  Gc@d ' Gc@Z D*@   * @F`@HFa@@ D@*`cGc@3?01-㿘  @ , <`,`  ,`  4 `%H +`?@4 , , #` , #`!A!Ȇ; ,`  ,  @ @  + `0?3!!0, #` ,!!0, #`; ,`  ,  @ @  + * 㿐  @ J* :`*`*`  2 `H * :`$` $*) *`:   * `  $   @`  @Y`  @$`  $ *$ *`:    * $   @! @*` @*` @KA!ȑ= *`  *   @  @  *`: $` $*) *`:   * `  $   @  @ `j!0a0*` @'$`  $ *$ *`:    * $   @ @|a0*` @I= *`  *   @  @  *`: $` $*) *`:   * `  $   @/  @( $`  $ *& *`:    * $   @ @1~㿐'L  @ a*` @*` @KA!ؑ= *`  *   @  @  *`: @$@`` $`*)` *`: @ ` `* ` ` $` `  @  @ `  @a*` @*` @KK!P= *`  *   @  @  *`: @$@`` $`*)` *`: @ ` `* ` ` $` `  @'  @  `!0 @$@` ` $` *$` *`: @ ` ` *` $` `  @ @*` @*` @eL = *`L  *   @ Aa'Aa'= *`  *   @  @  *`: @$@`` $`*)` *`: @ ` `* ` ` $` `  @u  @n @$@` ` $` *&` *`: @ ` ` *` $` `  @? @9㿘'DDA㿘'DDA%s[%d]: ord(T)=%d cofactor=%s %4d. %s 㿘'D'H'L D @D" :  耢`   :  *`  @`@vx ` L Bb@M`HL@ `)D@M@D    D@v |M`В@@ 㿘'D'H'L  ` L Bb@rDM`HL @j `$D DD @@`*`@@  6M`В@JD * @ %s 㿘'DD DD @@9*` M@&D *  v%d.barv%dv%d.%d㿈'DD `D' 쀢@v'*` @ `*` @ 'D * @ @ D @D *`  " @% `D * @ @N0@D * @ @N8@D * @ @N@@`'`'㿘'D'HH`H@H@ @*`@@ DHA!@:H@*`@H `H`H` @_*`@@ DHA!@H @*`@more than 1 part in a symbolic variable 㿐'D'H'L'P  @ X* :`*`L *`  2 `H * :`'DDD@ " D` "`*0D  `* :` "D D` D *@ D `"  D  @  D@  D@`  @DDD@ " D` "` **D  `* :` D D` D  *@D `"  D  @  D@ D@*` @L@v$ >DDD@ " D` "` -**D  `* :` D D` D  -*@D `"  D  @  D@j -D@d{?'*` @*` @< *`L  *   @  ?NcX' ?>DDD@ " D` "` ~**D  `* :` D D` D  ~*@D `"  D  @  D@ ~D@ H * @ @D@`!0?DDD@ " D` "` **D  `* :` D D` D  *@D `"  D  @  D@ D@*` @*` @X< *`L  *   @  @ P *`:'DDD@ " D` "`*0D  `* :` "D D` D *@ D `"  D  @  D@G  D@? DDD@ " D` "` *,D  `* :`  D D` D  *@D `"  D  @  D@ D@# Symbolic constraints for variable %d (Numeric form) # unconstrained weight = %d num_codes=%d weight=%d: # Symbolic constraints for variable %d (Symbolic form) # w=%d: ( ) x'D'H'L `" H ' 쀢@*` @'*` @' 耤* @  *@  @" H@@vY @|t'䀢 @c''ܠ  (@@M*`  @qx'   @ ?@vܐ`'ܠ   *  @ '  @@*` @@ *` @ 7$   s* @ "@@@*` @ Z* @  "@  @ K@@*` @@*` @s .* @ *`  *`   "@@*` @@*` @($` L hDQ@DQP@*` DQp@v  E* @ @ 9* @ DQ@Z  @ !@@@<`**`  ` *   @ DB@6`DB@. jDQ@#  T* @ @ H* @ DQ@  @ 0@@<`**`  ` *   @ H *@  @  * @ DB@`DQ@  @'`'㿐'DD 'D    ` D `  D ` *`  @       D  @ D  * @ @    7  D @ D *@ @ `  `  @  @m D@@Dl D "@ 㿈'D'HD $'D ``'` `` D`  D` @ *` @ '`  ! D @ D *@ @   @' O D @ D * @ @ H *`H  @ *H@    ` ` @  D@@DCdD $"@ # Outputs %d and %d (%s and %s) are equivalent # Outputs %d and NOT %d (%s and %s) are equivalent # Outputs NOT %d and %d (%s and %s) are equivalent # Outputs NOT %d and NOT %d (%s and %s) are equivalent # No outputs are equivalent x'D'Da0*` @*` @'a0*` @*` @''a0*` @ 4a0*` @ 'D` *@  "*` @ + *ܒ@  "`''a0*` @@ 'a0*` @ a0*` @ 'a0*` @ '*`ܒ   *ܒ@  @ D * @ D * @ Tc@^ '*`ܒ   *@  @ D * @ D * @ Tc8@1 'Z*`   *ܒ@  @ D * @ D * @ Tcp@ '-*`   *@  @l D * @ D * @ Tc@ '`'#`' 䀢 Tc@'a0*` @ *`ܐ @@q*` @@q`'܀ @' @'㿘'D'HDH HH @@z*` @(K  OH *   @`$ @Y HzD DD @@F*` @(  D *  @ @@,$@`@%  SIMPLIFY SETUP ADJUST 0'D'H'LD@p'H@p'"` @'D! À'!` @" WPD@p'DD6"`>`*` ?`3`*`` @Ѐ@$ @' D Ś'D!` @" DW`gD 'DD @@*`@'耢 ?ߔ @ "D *  '@u'DL @'D DJ@f'D@$'D D<"`"`@N'D@' $ `@o'DȒ@0'D@dk'D D@"'DL @'D D@'D@#'D D Ȓ"`DL@'D   DL@'D    D@o 'D!`DWpi@o!`DHL@]'DD `  D@o'D""@oDESSENTIAL: %s 㿈'D'HD'H'@m `@o)'  @@p*`@@ ;@ .@ d )@> ! ܐ `  /Xx@D@on'@? $@` "  * @ @mD"@@nH"@@o㿈'D'H'LDH@n 'L@.'@o Hy'L@% `?'`@@"쀢 @'@n㿘` *``@n 耢`   :  *`  @`@ji`` @@*` +"@u   @#@x@n@*`@ 㿐'Da  @@l  D 耢`   :  *`  @P`@i'@ c |%@%*** 8 @ % ? @ c@ |%@@@%@***@  %@ ?  ' 쀢@A*` @@k , c |$@$***  + +  8@  $ ? D@n'D '`' & `!@ c |$@$***@  $ ? D@m'D@ D㿘'D'H'L'PDHLP @'㿘'D'H'L'PDHLP @PRIMES ESSENTIALS PI-TABLE MINCOV P'D'H'L'P'T ' ܐ d `ܒ "  ܐ h `@ ܐ h   'P `?'@?'DH @^j'D!` @." DZ@%'DH@!!` @" Z@ 'H@#'!` @" ZT D  *  @' ' @@*`@' @h@2 *Ԕ@  ""@a0*` @'a0*` @ QБ:`*` В  *   @  2`*`Ԓ  @2*`Ԓ  @2 *Ԓ@   "2`*`Ԓ  @2*`Ԓ  @2 *Ԓ@   "А`' *  '{'@R'@Aq'!` @C" DZԀ  Ԁ @3' ܐ d @ d`@k' ' @@*`@' @l,' *  ' 'Ā DD`@*`  @l ' '@k@k@k@8@dD@k?ߒ @ " !` L HL@~f'" (stdin)%s.primeswespresso: Unable to open %s %s.pi# Essential primes are %s # Totally redundant primes are # Partially redundant primes are 㿀'D'H'L'P"` b\@   ''Ib@  @T'\@y\(@'  `\0@M`'\P@^\(@k'  `\0@2`' @"'' /\X@D 'DD @@*`@'耢 \p@D *  '\x@H 'HH @@*`@'耢 \p@H *  '\@L 'LL @@*`@'耢 {\p@L *  ' @P@< @EXPAND: %s (covered %d) h'D'H'L"`Dܠ'DDԒx۱'D 耢`   :  *`  @<`@e' 耢`   :  *`  @%`@e' 耢`   :  *`  @`@e' 耢`   :  *`  @`@e' 耢`   :  *`  @`@e'L (' 쀢@*`( @ *` @e`'D DD @@*`@@ @ 7$@@? $@D * @ D DD @@*`@@ J@ =@ h 8#\#`#dHD@ ܐ `  H]@\@eM@  $@@ 7$@܀  @f @ $@D * @ D" 'D DD @@3*`@@ "@ h  @? $@ ' @ $@DDD` " D * @ ؀ D@g'D @' @'쀢 @'耢 @'䀢 @'D EXPAND1: %s 㿐'D'H'L'P'T'X ܐ `  d_X@dd@  "DH@`"Xd@dLd@dPaL@d\@e  PP\@dDHLP@%DHLP@zTLP@dH ` DHLPX`@H `6HP@':`*`L : *L@   * `@ " :`*`P : *P@   * 8 ` @ " DHLP@.D ` DLP@LLP@dVON-set and OFF-set are not orthogonalESSEN_PARTS: RAISE=%s FREESET=%s 㿈'D'H'L'PLa'a@cD DD @@*`'  '$  +  +  @ 2 8   '  + b2 `( @ 2  (  2  (   '쀣   C+ +  @ 2 8 UU!U  /쀢)  + b2 `( @ 2  (  2  (    '쀣 d   쀢@ < +`  @ +`  @ +`  @ +`+` @ +`  ` '쀣`"`쀢 ``T@oDDD` " ? $D *   @d  PP@cFDHLP@ ܐ ` LP``@@ESSEN_RAISING: RAISE=%s FREESET=%s 㿘'H'Laa@b  @*` (  c |$@$***   $ ? *`L@bHH@bLL@b ܐ ` H]LgaaH@m㿐'D'H'L'P!@LP@bD DD @@Y*`'  $ 0 +  +  @ 2 8 ! [  + +  @ 2 8 UUaU B   쀢@ 4 +`  @ +`  @ +`  @ +`+` @ +`  `DDD` " ? $D *  rH KH HH @@*`' 9 , c**@ 8  ` ?  HHH` " ? $H *  MOST_FREQUENT: best=%d FREESET=%s 㿘'D'H  *  @]  耤 * $  D $D DD @@H*`   @h8D *  ??  耤 < *`H  *   @  *  *   @   ܐ `  Hbbؒ@㿘 $   @*`   $*``3` $``` @@*` $ h    `$`? $ $@*`SELECT_FEASIBLE: started with %d pfcc, ended with %d fcc FEASIBLE: RAISE=%s FREESET=%s x'D'H'L'P'T'XH  *  @o'H HH @@k*`   '* $ H *  H  *  @D'`@c'ب * @ ؐ@@1*`@% DLPT'' ܀G*   ;L@a XX@"TT@`,HHH` " ? $($*` DL@  *`$`'  ܐ ` cb@@ @  @'@cv' c' F*  P@_ '' @* @ *` @a `'`  '*  '  쀢 *  ' LL@_PPL@_ ܐ ` L1P;cb@ADHLP-㿐'D'H'L'P!@LH@_[Pa@_D DD @@ *`'  '$  +  +  @ 2 8   '  + b2 `( @ 2  (  2  (   '   C+ +  @ 2 8 UU!U  /)  + b2 `( @ 2  (  2  (    ' W   쀢@ < +`  @ +`  @ +`  @ +`+` @ +`  ` '``  P@jD *   MINCOV: RAISE=%s FREESET=%s 㿀'D'H'LaD `@a'D DD @@ *` '  "  @@*` a@]H@jD *  '  @@*` A ' ' 쀢@#*` @@]!'耢  @'!S`' '!C *  `Ҭ'@rL@]HH@]La@]iD"  ܐ ` HOLYf`@_@a]@_ ,@aQ L L<  *H@ <  *H  *"`LLH@]D HL㿐'DD `  `@`' "  @@*`` @\  $D `@`'D DD @@*` '  "  @@*`` a@\@iD *  ` '@x'  @@*` B c |$@$*** 8  $ ?  c |$@$*** @  $ ?   $ *  @`d㿐'D'H 耢`   :  *`  @F`@[ 耢`   :  *`  @/`@[D `@_'D DD @@!*`@@ 5@  @`:'!@[a@\RH H H'@_7'D * @ @ @ empty reduction in reduce_gasp, shouldn't happenREDUCE_GASP: %s reduced to %s 㿀'D'HD `@_c'DH 'D 'DD @@*`@' W@T'@\ hah"@\ @  "@_'?ߔ @ "@_' ܐ ` AKha@Q쀢 @S'D *  '`@@@"耢 @7'㿐'D'H'L'P `@^''D @DHLP@`'_'L ' EXPAND1_GASP: %s 㿀'D'H'L'P'T'X ܐ ` DD@T@*`   i@ 耢`   :  *`  @`@Zf' 耢`   :  *`  @`@ZO' 耢`   :  *`  @`@Z8'LL` " L LL @@*`@@  @ $@L * @ DD` " D  D (T  DDD` " ? $ $D *   DD@T@7*`  @Z"a@ZzLDLPD  D  |@[  L jP@]'@T@*`  DD@T@*`` @YHP'@@*`  @R'`@@"耢 @'@]L{ @Y?ߔ @ "X@@]X"@䀢 @'D *   s @' @'쀢 @|'㿘'D'H'LL `DL@\ H@'DL@]YD㿀'D'H'L'P@{S'DH' P)@{E'HLD' P@].@{2'DH'D DPDNEWPRIMES㿀'D'H'L'P@{'DHS' P@{'L' P@\@z'D@\7 C'!` @z" k@թ@z'H@'D DPճD%s: unknown option %c 㿘'D'H'L"""` b *`: K"` b """D@?b*`H @ @* :` -  `* :` ?fb "" `* :` -  `* :` ?P`"""`"" @* :`L@` :H`k@U ?-` @* :` :#b *`:  b"""" *H@  ""b ""x'D'H'L'P'T'X'D      ` D `  D ` *`  @   ` D `  D ` *`  @   '8 4  ` D `  D ` *`  @   ` D `  D ` *`  @  '䀢 ' '쀢 ' u䀢 ''耢 D @ D *@ @ @T8@T 쀢 ` ` D`@(` D@,D@,D@+xD@+t\\\` " \\\` " P?T?\#\DHLX@1h`"@\\\` " ```@@T  `@L@m`@L@m@S  -scons-cons-kiss-eqntott-eqn-pleasure-fdrc-drc-frc-fdc-dc-rc-fc-fdr-dr-fr-fd-d-r-fDONT_CAREDONTCAREdont_caredontcaresimpcomp+simpcomp-term1 term2 union simplifyseparate @'DD ` D @ n?''  *  RD * @ @mД @ 4D * @ @m @ $D * @ @m @ D * @ @m @t  : 2` :`'`'? a c*` a c*`2  *`  @a@U'a c*` a c*`2  *`  @a@U'*`:  * Ȑ@  *:` *`Ȓ  *  + 8 ` @ " *` :`*`Đ  *`: *Ē@  *  * 8 ` @ " @w'D@ b!` @w" mT@w'D@ D!` @ws" m 6@wj'@j:'!` @w]" m0 @wT'@j$'!` @wG" m@ @w>''!` @w1" mP@w('KD!` D@w"  m`@w'D@@i'!` D@v" mpD@@XD"@X@X@X@X@XD@@W7D`'D@D@ @*`@' =*`:  * @  * ` *   @ *` :`*`  *`  *   @  ? @ "D@*`@'D@@WD"@*` ' 耢@D * @ D *`  "?`' ' 쀢@*`  *@  "?`'`` " `` " D * * @\ D"@D * *  @[D"`symbolic-output index out of rangeerrorh'DD ` D@@WDD `b DD"@'D $'耢 5'䀢   `0 *@    p`x '  *@ ؐ@' 'D $'耢 '䀢  `ؔ "  ' ' 'a0*``  0 *@  ؒ@ "a0*` @'D@@[\D"@D`@[TD"`D`@[LD"`D $'耢 / d`@V' d`@V'#\ DԘ @D@@W'D"@W!  *@ Ԑ@' ' `   :  *`  @`@R'D $'耢 6'䀢 (a0*` @ @'ܑ:`*` ܓ: *@ ܔ  * 8 ` @ "  ' '@Q0 *@  0 *  #""@;D@@[D"@D`@[D"`D@  p`D@zD"@D`tD"`' 쀢@D@OD"@D`HD"``'D@QD"@D`KD"`D`@VQ `@UD"`DD`$@?쀢 @A'㿈'D'H'L'P'T'XL ?HD@@g'  @@*`@@  PT :  * @PT@ :` *`PT  + `@ "  * @ X@@U=X"@aH0 *@  L`  'D  D@f'@U'LT*`\#\HPX@UH0 *@  L` ɱ'D  D@f'@U'LT*` \#\HPX^@U.symbolic requires binary variables`'DD ' '' ` ` rbxΗ ' '''D '   *@ Ԑ@'̐`' 'D`Ԑ D`Ԑ ?:  *`  @D@Ԓ@ @P'D ' R' D * :`*`Đ @ *`: *Ē@  *  * 8 ` @ "  * `:  * Đ@ @ *`:` *`Ē  *  + 8 ` @ "  ' '@OD@Ԓ@ "@: 2` : ' А"@ ̐ ' В"@'Д * " Ԑ '*` @'*`ܐ  *@ "? ' 쀢@А" *`ܒ   *@  "`'a0*` @'D@@XSD"@D`@XKD"`D`@XCD"`В " 'D ' 5D@@D"@D @@vD"`D @@mD"`  *@ @'Ȓ 'ȓ* ܒ@  `* " 'D@@YD"@D`@YD"`D`@Y D"`DD`  @ ` `@  @ "@  @ "@  @ "@  @ "@PĀ @'ā㿐'D'H'LD 'DD @@*`@' L H@D *  'Dbad cube in form_bitvector㿘'D'H'L'PP HL :  * D@ HL@ :` *`D HL  + `@ " SP * :`*`D P@ *`  2 `    3 .L*`PDH'L*` PDHL*`PDHL*` PDHtb@X%d㿀'D'H'L'P'T'XD '쀢`?P*` @D"`'P D * @ "@`'''a0*` @ M:`*`L   *   @ D`'*`   *@  "&*` @ *` @ *` @@*` "@`'H'耢 S ''  *@ @9䀢   @XD  *`  "D@  * @ @u@lD@  * @ @" '`'  *@ @' 'a0*` @'T QX :  * L@ X@ ` *   @ D`'*`   *@  "&*` @ *` @ *` @@*` "@`'쀢 @'㿐'D `@Q`'D 'D'D@Q@QDuse .symbolic and .symbolic-output to specify the present state and next state field information disassemble_pla: need two multiple-valued variables disassemble_pla: # outputs < # states # state EVERY to %d, before=%d after=%d # state ANY to NOWHERE, before=%d after=%d # state %d to %d, before=%d after=%d ~1P'D'H `" `vX@<`v@6vb^ '`*` @'`*` ?' `vX@`v@ vb3`*` @' 耢`   :  *`  @`@L'' ! :  * ̐@ @ :` *`̒   + `@ " ؐ`'`*`  ' 耢`   :  *`  @`@L;'' !ܐ :  * А@ ܒ@ :` *`В ܔ  + `@ " ؐ`' 耢`   :  *`  @T`@K @L}' `@O''  `@O'D`'D@D@ @/*`Đ@' +@M ؐ :  * Đ@ ؒ@ ` *   @ @P0'D@*`Đ@' '耢 P;' ' @@*`Đ@' $ؐ :  * Đ@ ؒ@ :` *`Ē ؔ  + `@ "  * Ē ' '@N'H  vc @ؐ`'Y `@OJ'D`'D@D@ @*`Đ@' @L @O'D@*`Đ@' '`' '@N'H vcP@K' #'  `@N'D`'D@D@ @+*`Đ@' @L ؐ :  * Đ@ ؒ@ ` *   @ wԐ :  * Đ@ Ԓ@ ` *   @ d c*`  c*`2  *`  @~ @J'@Kؐ :  * @ ؒ@ :` *` ؔ  + `@ " Ԑ :  * @ Ԓ@ :` *` Ԕ  + `@ " @N' @~'D@*`Đ@'b '耢 Q' ' @@~r*`Đ@' $Ԑ :  * Đ@ Ԓ@ :` *`Ē Ԕ  + `@ "  * Ē ' '@M'H  vc@~-Ԑ`'ؐ`'Ȁ @~#'̀ @~'Ѐ @~'D@@ND"D`@M `@MD"` ` `@}  @ "@  @ "@  @ `"  *  @} `  "`*` "@`*` " `*` "@ " BD`'D@D@ @}*`Đ@' `Dv#TD@*`Đ@'㿈'D'H@_k'D@' `~  `` `  `H  '= D @ D *@ @ `   * H@ @'`  *`H @  *`H @'` " @@E@E'  @B@@E@㿐'D@'D   : D @ D * @ @   D @ D *@ @ $` D D @ D * @ @  % D @ D *@ @ `   $`@@ s㿘'D'HDH@+D@J%s:%u: failed assertion `%s' irred.csetp_equal(p1, p)# IRRED: F=%d E=%d R=%d Rt=%d Rp=%d Rc=%d Final=%d Bound=%d `'D'HDH@H@'ܒ   @!4'D 'DD @@|*`@' ? @ "@ "D *  ' ' @@{*`@' 6DD2 @@{*` @'@I  {c{Д :{#@j=@ "@" *  ' 'Ԁ DD`@{*` @'@ " ' ܐ ` D    #\ #`#d{`   ` @{P@KN@KK@KH@@CIRRED1: zr=%d ze=%d to-go=%d time=%s IRRED1: zr=%d zrt=%d to-go=%d time=%s 㿈'D'H'L'P'T D DD @@{*` ? $,@$D *   `@JL"@ `@JP"@ `@JT"@ `@J'DHY'D DD @@z*` ?@  @J' L@@JL"@  @ LDL`  @  " @h @h|c  @zD *  `@@z" @z'L@H'  @@zx*` C@I  P@@JP"@ T@@JT"@  @ TPTP`  @  " @hF @h`|c  @z3 *  `@@z,"쀢 @z#'@JIRRED1: %d of %d to-go=%d, table=%dx%d time=%s IRRED1: delete redundant rows, now %dx%d 㿀'D'H'LD DD @@y*`@@ @? $@D * @ H HH @@y*`@@ @? $@H * @ L LL @@y*`@@  @ $@L * @ DHLx@@'''L LL @@y*`@@ T@2`"!@@? $@  @ @gx @gLL` " #\~`X  `$@y] "@ #Ԭ '  @  ~`$@yA`'L * @  @y8$@y1 㿘'D'HDH @TAUTOLOGYexit TAUTOLOGY[%d]: %s TRUEMAYBEFALSE㿘'D ܐ b  """D`D@ r 耢`   :  *`  @x`@D| 耢`   :  *`  @x`@DeD"! D  D   D`D@@xD"D D@x'D @x `@x  ܐ b b ""    p@xWUNATE_REDUCTION: %d unate variables, reduced to %d 㿈'Da  @D   "D@@N D`D@@x'D"D D@x'D D@ c*D*  $ ? D    c |$@$***   $ ? a@E. D`D@@wD"D D@w'D ,D `Ѐ D`D@@wD"D D@w'D   Ѐ`D`D@@wD"D D@w'D  Ԁ`a@C`' 쀢@7*`̐ @ & c |$@$** + !  + @    $ ? `'D   D@CJ@D $@`$@` D "@ ܐ b  D D" :?``@vc`ؒ*``Ē   D@  D"@  ::`2@ : I ܖ "D  >9D`D@@vD"D D@v'D `@@v" @v'   㿘'D'H'LDH L@FIND_TAUTOLOGYexit FIND_TAUTOLOGY[%d]: table is %d by %d 㿘'D'H ܐ b  "Ē""DhDH@ l 耢`   :  *`  @v<`@A 耢`   :  *`  @v%`@AD"Dn HDd HD`D@@vD"D D@u'D @u `@u  ܐ b bĔ ""HH"$@u㿐'D'Ha  @D   (  D@@LJ D`D@@uD"D D@u'D D `Ѐ MH `H @ 'H@D    D@@K 2 H@D`D@@uVD"D D@uM'D  Ԁ`a@A)' 쀢@7*`̐ @ & c |%@%** + !  + @    % ? `'D   D@A@B} $@`$@` D "@ ܐ b  D D" :?``@t( testlexsortsuper_gasptautreducemake_sparseirredgaspexpandessenxorunionsharpseparateprimesmintermsintersectdsharpdisjointd1merge_ind1mergecontainfsmmapdcmapequivPLAverifyverifystatscheckpairallpairopoallopoechosimplifyso_bothsosingle_outputqmexactmanyESPRESSOsparsemincov1mincovreduce1irred1expand1complstrongrandomposonsetnunwrapnirrnesskissfasteatdotseatD:S:de:o:r:stv:x%s: bad subcommand "%s" %s: bad output type "%s" %s: bad espresso option "%s" %s: bad debug type "%s" %d-%d%s: bad output range "%s" # %s # %s UC Berkeley, Espresso Version #2.3, Release date 01/31/88trailing arguments on command lineESPRESSO SIMPLIFY PRIMES ON-set is%sa tautology not PLA comparison failed; the PLA's are not equivalent PLA's compared equal cover verification failed'D'H@b#@a''@'ܐ '" "  """!"!'?'?' "" "" """""!"""""""! "! "!'ܖDH@ DH '? 4*` dLxlh(<'*@*`  * *"@ @s '`'*@*` H` 8@r @r '*`   *@ "@r  *`  '`'*` H` X@r @r'*@*` , * *"@ @r *@*`  * *@ `"`'*@*` H` x@rL @r1b<"  "! "!~ " '*`8 # *8"@ @r4  *"8 `@ " `'*`8 H` @q @q6 "!1 "!,""(b@r'!" @q H` @q @q@ @qR!` !`)`@q'D *`H @@q`'`@q`@q{''ܔ*@*`Ȕ  * ="`D a@b "bDH@b "bDH@ "`D a@ub "bDH@"D@a@^!` !`؀ Ԁ ܔ*@*`Ȑ  `)M *` x)\*&D( &&%!#4 "&d '$#$*'t$$%%$#<!<&  T'D"%+*&)H++8(+@@@'`϶"@@^'@['ؖ   """@]@@@^'`τ"@!` @^" hL"` ``@p ' ` `@pd  @ "@!  ? @p:@^H'@j "@!` @^5" xu䀢 䀢 '~d䀢 䀢 'S@^'` Օ"@ؖ >@]'`"@ؖ *@]'`@4"@ؖ `'@@ @o*`@'Ā @"? @ "@*`@'@]'ؒ  'ؖ p@?ؖ`e"@ؖ`"@`@R"@ '@@?G'`ѵ"@@]O'|@Zn'ؖ| !  """@\@?*w@],'x` @0U"@!` @]x" W@@ -""O@TI쀢 a0*` @ '耢 a0*` @  a0*` @?'@!<@& @+/@  !!@n""@"@@@Of"@@"@@@M1"@@@MU"@@@K"@@"@!`*""쀢   쀢@'耢   쀢@ '@ "@q쀢   쀢@'耢   쀢@ ''耢 @"@`';' @@"@`'"@['t@Y'ؖt   a@m @m a@m @m' ''@['p@X'ؖp }  a@m @m a@m @mw@Z"" 'F"" ` "@`@N1'l`@N*'h@@=Jlh@phase is %s phase is %s 㿐'D'a0*` @ DD@'a0*` @ :  * @ 0 *@  @ ` *   @ 6D0 *@  @ :` *`  D0 *    : *` 0 *     + 8 ` @ " !` !`c@UD`}@Uu @U @U'`'eOPO-SETUP OPO 㿈'D'H'La c*` a c*`2  *`  @UQa@!E'0'D@@%9"@D`@%3"`D`@%-"`L $L c*` L c*`2  *`  @U L@!"`@@C'H@T!` @C " @@C'@H@J"@!` @B" a0*``  0 *@  0 *   H" :2 :@"@ "~Lerror in output phase assignmentX'D'H'L'P'TH `  H :  *`  @TH` @ S''T Pa0*` @ 'H ''H @2:`*`ؐ   *   @ :`*`ܐ : *ܒ@   * 8 ` @ " H * ؒ '`'`'a0*` @T" : 2` : 'T ?'HLT@E' 'H `@#'H ''H @#:`*`   *   @ @$'H * ؒ '`'܀ @S'@#h m'' 耢`   :  *`  @S`@_' 耢`   :  *`  @S`@H'H 'HH @@S*`ؐ@'Ѐ : ' @@S*`Ԑ@'̀ @*0  @t@ * Ԓ 'H * ؒ 'H@#N@#KĀ @SL'T'耢 Pa0*` @ ':`*`Ȑ   *   @ / :  * Ȑ@ @ ` *   @ aA:`*`D : *D@   * 8 ` @ " `'Ȁ @R'# OPO[%d]: %4d = %4d x %4d, time = %s 㿈'D'H'L'P'T'Xcx "#xTX  TP DLT@Z'KTX : 2` : 'DHLPT' DHLPX'#x``?@<'!`#x@@ @@a0`   @Rv`@R@"p@"mcx "#x㿘'H'L'Pa0*` L@ 'La0*` P@ 'P  @!`  $` @@R;*`` H@%   &L:`*`L  *   @ = *`=  *  * 8 ` @ " *` `  $` @@R*`` H@   &P:`*`P  *   @ = *`=  *  * 8 ` @ " *` output_phase_setup: must have an outputp'D'H!0aD'D 'D 'a0*` @H 'a0*` @a0*` @H" '}a0*``  0 *@  ؒ@ "{a c*` a c*`2  *`  @QPa@D' 耤 <*` < *@  * 8 ` @ "  c*`  c*`2  *`  @Q @ 'a0*` @܀<*` < *@  * 8 ` @ "  `  `@ D"@ `  `@ D"` `@ D"`  @@P*`' DDD "  @@P*`` D D D "  @@P*`` @  |$@$**  * $ ? @ @ |$@@@$@**  * $@ ? ܀<*`  *   @ <*`< *  * `@ " '܀'<*`  *   @  'ؐ :  * @ؒ :` *`ؔ  + `@ " Ԁ  D`D`D`  "  *  :  @@O*`' DDD "  @@O*`` D D D "  @@O*`` @  |$@$**  * $ ? @ @ |$@@@$@**  * $@ ? '܀'<*`  *   @  'ؐ :  * @ؒ :` *`ؔ  + `@ " Ԁ  D@D@D@  " ܀<*`  *   @ <*`< *  * `@ "  *  9  @@O#*`' oD D D "  @@O *`` @  |$@$**  * $ ? ܀3<*`  *   @ $<*`< *  * `@ " ؐ :  * @ؒ :` *`ؔ  + `@ "  *  @@@耢 @N'䀢 @N'㿐'DaD   @`*` ?@a@@D@D`   `@'D@D`   `@'D`D@D@ @NI*`@@ H@F @  "  @@N**`  @@' @  "  @@N *`  @D@*`@D `D`D` @M*`@@ H@ @Y  "  @@M*`  @@ @:  "  @@M*`  @D @*`@D@@D`@D"D" D# phase is %s h'D'H'L'PP"!D ` D `D`@MzD" a c*` a c*`2  *`  @MRa@F'D@@='D`@8'D`@3''LH"   * ܀@D@@!'D`@'D`@'a c*` a c*`2  *`  @Ma@D"`'L'H 5В `$a0*` @ؐ 'Dԓ: * @ Dԕ: *` Ԕ  * 8 ` @ " Г: 2` :`'ؐ'D8D`x@L "!D@iD`  @D`@@@@D'D 'D 'D@@D`@D`@D `D`@LD" D"D" D" ܐ`'0D" D@@hD`@dD`@`D"D" D" EXACTESPRESSO 㿐'D!`!@:L'DDD` D"@!` D@:8" X@:-'DDD`D"@!` D@:" `㿘'DD @can only pair binary-valued variables%s+%s`'D'HD 'H D  *  @K'' @*` "@`''@Z * @ @ E * @ @ @8 * @ @ - * @ @ @  * @ @*`  "? * @ @*`  "?``'D@@P @(D"@D`@D @D"`D`@8 @D"` ' ' '`*` @''' *` @ `?̐ '`'@'" А@'В*` @K''@ *`Ԑ  "@`''" @@  *`Ԓ  @  *@  "`'v ` `@J  @ "@  @ "@  @ "@  @ "@t3H _D '  *  @JD"`'@  * * ' * @ @*`Ԑ ?' * @ @*`Ԑ ?' * @ @*`Ԑ ?' * @ @*`Ԑ ?'Ēؐ @Jcؐ @8zD *`  "ؐ @JOؐ @8fD *` "`ؐ @J<ؐ @8SD *` "`ؐ @J)ؐ @8@D *` "` `'f'' ?*` @ /D * @  *Ԓ@  "D * @  *Ԓ@ `" *`Ԓ   *Ԓ@ "`"`'`'  *@ *` ''܀ "D@ ؒ"@  * @  *Ԓ@  "*`Ԑ "@`''܀ ,*`Ԑ @ *`Ԑ @ *`Ԑ @@IX*`Ԑ "@`'Ԁ @ID''@` *`( "@`'쀢 @I!'㿐'D'H`*` ?'H *  D@7'DD DD @@H*`@@ 'H@H * @ @*` ?H * @ @*` ? :  * @  ` *   @= *`  *   @*` <*`  *   @ *:  * @:` *`  + `@ " `:  * @:` *`  + `@ " :  * @ ` *   @ ':  * @:` *`  + `@ " `<*`< *  * `@ " `'XD * @ KD㿀'D'H'''' @J*`H @ ) *` @ ' '*` @'*` @' " D@$'D' '`'  " D@ 'DD %3d # ESPRESSO 㿈'D'HDH@'!`Xah@G' @ p@G`'ax@G' @2 p@G' @*`   *@ p@@Gq`'ax@Gg`' ` @JD"`D @[a@GLD`@$' @"*` @ *` @@G5*` "@`'쀢 @G!'D @5'DDD`D"@!` D@5" `'D'H  *  @F'' @  *  @F *@  "`'' @%' @*`   *@ "@`'`' @MD"`D  "@' @Z ' @IH MD@@l'D`@g'D`@b' ' '  *  @F`'' 쀢@*`ؒ   *@  "`'D ``"D ``"D AH 9  U  DDD` D"@D@  " '}DDD`D"@D@  " 'jDD`@ :D"@DD` D"@DD`ɗD"@D@  " 'H 耢`   :  *`  @E`@k'*` * @@D@@ k`'D`  "@'@ @E'*`   *@ "@H ?q ` `@E}  @ "@  @ "@  @ "@  @ "@nD@@TD`@PD`@LD"D" D" `'`'D`@)D" pair is (%d %d)㿐'Dc@E 'D@D * @ D *  @@E`'ax@Dx'D'H`@' `   :  *`  @D`@''@  ?'' @Z:`*`ܐ   *   @ E ' @::`*`ܐ   *   @ %*`D   *@ @䀢 *`D   *@ @'''`'`'@ *`  `"@ *`  `"@ ":`*`ܐ : *ܒ@   * 8 ` @ " :`*`ܐ : *ܒ@   * 8 ` @ "  'L܀ @D#'H"㿐'D?"!"!D"!`@' `   :  *`  @C`@'`!l@s@ @C'!cost is %d 㿘  @*  @ @*`Đ *`    *?@ ? `!  "!@f"a ܐ h !` a`@Cf㿐'D'HD"!H"!D@ `"!"!"!""a"!`@' `   :  *`  @CU`@`@'` @@; @CF'Da" Da" D*a@C-D`D@@&D`@"D`@Da"Da" Da" OPO # phase is %s EXACT p'D!@@'!`@'!`@' ' '  *  @B'' 쀢@*`ܒ   *@  "`'aD" aВ !`Da 8  Vw r@0'aВ !` !@0ؔ" hZ!` !`ex@BzK@0}'a` "@!` !@0dԔ" ''@0Y'a`>"@!` !@0AД" a` !@k@ "!DD@@"a!a `%a @ *` a @ *`2  *`  @A`@  $!!Ԁ`a@!؀`a@!܀`a@!@@"a!`@"a!`@"am ` `@A  @ "@  @ "@  @ "@  @ "@k-!@@!`@!`@a"a" a" a" a" 㿈'D'H'L'PL@  PD@DH@$'L c*` L c*`2  *`  @AA L@ 4''H :`*`L   *   @ `' 'H :`*`L   *   @ z:`*` : *@   * 8 ` @ " :`*` : *@   * 8 ` @ " @ *`  `"@ *`  `"@ "HPJ@ ":`*` : *@   * `@ " :`*` : *@   * `@ " `'nL@ : 2` : *" :`*` : *@   * 8 ` @ " HP@T쀢 @@_'㿘 @@K$@*  @@D$`*  @@>$`㿘@$ @* @ *``  "* @ *``  "㿘   @@ $    @@$  @? 㿘`  ݆㿐'D'H'L'PH `OH " LLL@ "LD`  >H ' 1 `D `  D` *`  @ ' `DLP@    ' 㿐'D'H'L'PH `OH " PPP@ "PD`$  >H ' 1`D`  D@ *` @ ' `DLPZ    ' 㿐'D'H'LD ` PD  $  D `$``''DD`  )'ےH"@ێL"@D     H@L@  㿈'DD@{ s 耢`   :  *`  @>`@ R 耢`   :  *`  @>`@ ;D RDO 'DO '@' @>q `@>j D`D@@>`D"D D@>W'D㿐'D'HD D @  `@ H"@D`D@@>4D"D D@>+'D ~ D @ - `@  D @ 7@1H"@D`D@@>D"D D@='D KD   ,@w # `@ a@ H"@D`D@@=D"D D@='D  c*`  c*`2  *`  @= @ D    c |$@$*** @  $ ? a@  o 耢`   :  *`  @=W`@ a@ @ z`@=M D{'  @@=:*`@'@ #@ c@ |$@@@$@***@  $@ ?  * @ H"@=   _@= DN Ѐ`% `@ a@ H"@D`D@@<D"D D@<'D /- `Ѐ #DS'aH"@D`D@@<D"D D@<'D  㿐'D'H'L'PDL@'DHP@'HD!`@ ?' DH@  av'D DD @@<{*` OH HH @@ d 耢`   :  *`  @:`@m 耢`   :  *`  @:`@VD ODK DK @1'D`D@@:D"D D@:'D ܐ ` c "#M`Ȓ@:a㿘 c |$@$***  $ ?  c |$@$*** @ $ ?  c |$@$***   $ ? @:  @: `@9 㿐a@z' >*` @ c |$@$***   $ ? @ c@ |$@@@$@***@  $@ ? 㿐'D'H  @D D @ 8a c*` a c*`2  *`  @9pa@dH"@D`D@@9mD"D D@9d'D D   9@ 0 耢`   :  *`  @90`@H"@D`D@@9-D"D D@9$'D DK `Ѐ   D @ Pa c*` a c*`2  *`  @8a@H"@D   H@@D`D@@8D"D D@8'D ] c*`  c*`2  *`  @8 @D    c |$@$*** @  $ ? a@ a c*` a c*`2  *`  @8Na@B [H"@Ha@  @8@ 2DH =a c*` a c*`2  *`  @8a@HH"@D`D@@8D"D D@7'D @7  Ѐ`0 耢`   :  *`  @7`@vH"@D`D@@7D"D D@7'D \`ؒ*``Ē   D@  D"@  ::`2@ : ? ܖ DzG  4/D`D@@7D"D D@7'DH"@HH@@t@7j   㿘 @7P$$ $ $ $ $ $ $ 㿘 ` ``@7?  @75 㿘  @ 㿐 @7 $`  $$` $`$$``$`N` @$`" `$$`$``$`<`  @$` " ` $$` $``$`*` ' @ ' @$ ' "` $" $``$` @6 㿘` '# $` "  $`" `$`@6o 㿘'D'HD`   H@     H@  㿘'D'HD H `  `    `  `` 㿘'D'HD H ` & `     `  `    㿘'D'HD H ` `  `"   `   `? 㿘'D'HJD H `7 `    )% `  `  \   ` 㿘'D'H D `*  `H@5P`㿘` `$ ``" ` `$ ``"  $ `@5!  %d㿐'D'HH ' DÒP@5 '㿘  "@`㿘 ? 2 ` 㿘  #`+ +   !  +`2+  2 `(@ 2 `(@   㿘 @ c/ ( (@  @ `!  (3 , !"@@3 +@3 +@  㿘'HH H:`` " *" `㿘 ?: "@ *?"@  +  +` +` @ 3 "@  *?"@  㿘@  +  + @ " 㿘@ # <" " +` ( (@  @"  㿘@ # <" " +` ( (@ @"  㿘@ # <" " +` ( (8@ @"  㿘@ # <" " +` ( (@ @"  㿘@ c |"@ " ( ( (@ + +8 " ?  㿘@ #  |"@ " ( ( (@"  +`  @  㿘@ #  |"@ " ( ( (@"  +`  @  㿘  *   ` 㿘@ ? + #@2  + @    + @ ?  㿘@  +  + @     㿘@  +  + @     㿘@  +  +  8@    㿘'DD `  D :  *`  @2-D`D DD @@2&*` # c |$@$***   $ ? D *  㿘'DD `  D :  *`  @1D`D`D DD @@1*` # c |$@$***  $ ? D *  㿘'DD DD @@1*`   $D *  DD` " D㿘'DD D DD @@1s*` 0  c** $ ? D *   DDD`  " D *  D㿘'D'HDH`" DH@"DH` " DH`" DHHH` @1 `Dsf_join: sf_size mismatch㿈'D'HDD @@1'HH @@0'DH ` ǐ`hz'DH `  D`@'DH`  @ " DH`@ " D ` * @ H`sf_append: sf_size mismatch㿐'D'HDD @@0'HH @@0'DH ` ǐayDDH`  @ " DD `DDD @@0*`` @0DD @@0z*` @0o$ D * @ H`nDDH`  @ " DDH`@ " H@UD㿐'D'H#` @0A' #'`"#H" H` H:`` "D"  @@0$*` @0"`" " 㿘   㿘'DD `D`@/D" Dc" D"#㿘#    @/ "#㿘'D'HDD ` 1DDD:2 :` `" DD `DDD @@/*` @/DD @@/*` @/$`DDD "  @@/*`` H@ **H  $ ? D㿘'D'HDD@H@/n*`  DDDDD  "  @@/]*`` HA[%d] = %s 㿘'DD  D @ @Ȑc`@/9D *  `[%4d] %s 㿘'DD  D @ D`@Ȑc@/D *  `%d %d 㿘'D'HHHDɒ x @/ H HH @@.*`  D@aH *  D@/%x㿈'DDɒ x@.'"   @@.*` (Dɒ0@. ' c@*`Dɒ0@.`' *  %x 㿘 # * ɒh @. ` ɒp@.yɒx@.qError reading set familyError reading set family (at end of line)㿀'DDɒ x@.a''쀢  "  @@./*`` `'耢 ?DDD@ " D `"  @ D@.`0`1:`*`: *  * `@ " ɐc(w`'DDD@ " D `"  @ `  D@- ɐcHv`'|x  #*   'a  [*  @a<`*` ` *   @ R܀  a  ,* 'ܤ  @-`0- @- a  *  ia  .* a  .* a  .* `a  ]* a * !㿘'D'H H :  *D  +   1 0*  H@  *a㿘@ (@*` `  ( (" 3`㿘'DD  *  @,D * % D DD @@,*` . # *  ,` `  *`*`*`  %5`D *  㿐'DD  *  @,mD * % D DD @@,[*`@'@ 8?$@,Y'@ #"*`*`@ ,` `  *`*` @ %5`D * @ 㿘'D'H'LLH"  DH@>㿐'D'H'LDH @$D `  D :  *`  'D L@   DD`L " D L DH@㿐'DDD`" s'D DD @@+*`  "  @@+*` `  `:   %*`% ?  @=`*` ` *   @ =`*`=` * ` * `@ " ``@D @ "=`*` ` *   @ %@:  * @%@:` *`%@  + `@ " `D *  D/㿐'D'H'L'PP: P ` *@'H:  H ` *@'D L LL @@+ *`@@ * @   *`*` @ $D *  L * @ D㿐'DD ' D , "  @@**`  `  `:   $@*`$@ ?   D  <*`  *   @  D`D㿐'DDD ` ''D`"    @ #`  `:   $*`$ ?  *  `D  D @ C D  3<*`  *   @ $@@*"<`**`  @@*<`**`   ` *   $D *  `D㿐'DD` 'D` "   @@)*` ` :   $*`$ ?  *   D DD @@)*` 7 @%*  :*`*`  *   @ =`*`=` * ` * `@ " ` *  D *  Dm㿘@  +  + @    +`  @    㿘a$ 2 ( ( @ @3  8 @` ^   ( ( @ @3  8UUU @` D쀢5 ( ( (  ( (@ (@  㿐'a$  ( ( @ @3  8 a  `(  (3 , !"@@3 +@3 +@ '􀠠   D ( ( @ @3  8 UUU  `0`)  (3 , !"@@3 +@3 +@@ '􀠠 L쀢= ( ( (  ( (@ (@'  㿐'a$ n ( ( @ @3  8 a  `!  (3 , !"@@3 +@3 +@'  7 ( ( @ @3  8 UUU  `#  (3 , !"@@3 +@3 +@ '쀢6 ( ( (  ( (@ (@ '㿘'Da$ T ( (@  @3  8 a  ` +`D  (D+  +@#@  ) ( (@  @3  8 UUU  ` +`D  (D+  +@#@쀢W ( ( (  ( (@ (@* (  (D (D ,  , @@  D㿈'D耣  ?: D" *D  #a$ j +`D  ( (@ #@3  8 a  ` +`D  (D+  ,  , @#@  4 +`D  ( (@ #@3  8 UUU  ` +`D  (D+  ,  , @#@`'`쀠 u (@  (@  ' (@ $ ( ( @ @ ( @ '쀠' +`D  (D#@`* (@  +`D  (D + ,  , @ #@ '㿐?''!$?*  4 8!  4 *`4  + "   4 ` *@  4 ` *@  '`?I *: 2 :@' @F*  4 8UUaU  6 *`4  + "   4 ` *@  4 ` *@   '`?U *: 2 :@'`  쀢@ : +`  @ +`  @ +`  @ +`+`8 @ ` '`?' `㿐$'M(+(+@3  83` @8   # ( ( ( (@3  83` @8UUU n'쀠]((( : ( (8@ (8'(  ( (@8@ (8 ' 㿘'D'HD@H2@3  ?722@3   +&  +  +  @ ? +  +  @    㿘'D'HD@H2@3   722@3  ?+&  +  +  @   +  +  @ ?  㿘'D'HD@H  +  +  @ ? +  +  @    㿘'D'HD@H! # ( (  + +@ ?    㿘  ` @  I`?A2@3  ?722@3   +&  +  +  @ ? +  +  @    㿈'D'H `2'D 'DD @@"x*`@' H@G'D *  '㿘'D'HH ` ` Dn'H@B"bH DH  @'HH# SHARP[%d]: %4d = %4d x %4d, time = %s 㿈'D'H'L'P'TLP HH@L@"*`  D@S'KLP : 2` : 'T DHL' T DHP'@'  @ T @b"  @֐`T `  @!`@!㿐'D'Ha  @  @ `P'DHY DDH  쀤 5*`    *` D "  @@!d*`    D}'㿐'D `'D DD @@!<*`@@ @x't'D * @ 㿐'D'H `'D DD @@! *`@@ H@IFs'D * @ 㿈'D'HD `'D 'DD @@ *`@' H@pF?'D *  '㿈'D'HH ` `] D'CH `O' "  @@ *`   D~H 'HH @@ *`@' 'm'H *  '㿐'D'Ha `'DH   耢`   :  *`  @ 3` DH 耢`   :  *`  @ ` DH 耢`   :  *`  @`' 쀢@*` @b  "  @@*`` *`  c |%@%***  % ?  c |$@$***   $ ? *` D@  |%@%**D  * 8  % ?  c |$@$***   $ ? `'S`@J @C @< DZ'㿐'D'H'!`' D DD @@*` YH HH @@*`@@ B 4`  "  @  C' CDJ'!`~'  *  H * @ D *   C' CD'㿈'D<' D DD @@*`@@ +@ # * @ ?,   `4D * @    Ã'D `  D :  *`  @=D`' '쀢  :`*` `: *@   * `@ "  '㿐 @'" "@㿘'DD@D D@'D㿐'D @'D`" D@"@㿘'D'H'LD@LDD`H` L *H@    " 㿐'D'H'L'PDLPP HP @ HP * @ @ '   H㿘'D'H'L'PHPL㿘'D'HD "H DH `  HnDDfHDH H `'D'H'LDd@ H'DH@<'DĒ Df؀ )e@ /'DL 'D Df؀ e"`D㿈'D'H  쀤@ ;*`( @ .*` @*` @D  *  @'D `'D DD @@*` D< *`  *   @ 1  * @ "@ "  @@*`` *` < *`<  *  * `@ " D *  H `&'H HH @@m*` << *`  *   @ ) "  @@O*`` *` < *`<  *  * `@ " H *   '  @@*` C 2*` @ @*` @ < *`<  *  * 8 ` @ " ?ߒ $`' *  耢 @' `D  쀤@ E*`( @ 8D DD @@*` ( *` @ ? $DDD` " D *  `DD ` D'DD%s:%u: failed assertion `%s' unate.cncol <= cdata.vars_unate㿈'D D @D" :`? ' D@  D"@  :"  ' @` *  `''' 耢@Z*` @ I Ԁ@ ܐc(ܒH &ܖ#P@ :   ` *@: ` ` *@ D ' ' *   *`*`@ @%@ * @ `'`'㿀'DD `Y'D` "   *  @''' 쀢@*`̐ @   '* @ "@`' D DD @@n*`'耤 `耢  `:   %**" ?2 % ? *`?%  @L<`*` ` *   @ =* @ @*` @* @ @*` @*` @ < *`<  *  * 8 ` @ "  ` *  D *  {쀢 @'㿘'DD DD @@*` ? $*  $D *  D@ 'DD>'DD㿈'DD `DD `E' "  @@*`  D`)HD `HD DD `#' D  2<*`  *   @ # "  @@T*`  D`<*`< *  * `@ " D5D `  D :  *`  @D`D `'D  D $2`쀢  2 ' 2`쀢 #D *  쀢 D" D'쀢 'D@d 6'D    *  |D@'D@  '   :`*`: *  * `@ "  *  D  D 8:`*`  *   @ ":`*`: *  * 8 ` @ " 2`?'? $*`@$D *  D'􀤠@A # EXACT_MINCOV[%d]: %4d = %4d x %4d, time = %s MINCOV: family of all minimal coverings is 㾀'D@'D ` D `D '  = `'D Y$'D D `'' "  @@*`` D`DDD  @@*``@'D DD @@*` D`c' D  3<*`  *   @ $ "  @@*`` D`R<*`< *  * 8 ` @ " *`"@*  "`  ?*`@? *  `  쀤i?*`? *@  @'?*`@? *  @  ' ܐ h % !?*`@?*`@@ "  @9ߐc`   @ `@7?*`@?*`@?*`"@?*`@" ?D *  ('D `  D :  *`  @D`tD`  @@*` $ c |$@$*** 8  $ ?  *  @   @  `@2D|㿀'D'H'LD!` ''' D DD @@c*` H HH @@S*`@@ k '쀢 *L &l'耢  +' " -'耢 '쀢 .`  "  @ :' ;p'D!`'  *  H * @ D *  }:' ;B'㿘'DDD `l D DD @@*` -< *`  *   @  c** $ ?  `% *`D *  㿘'DDD `! D DD @@g*` (  c** $ ?  `% *`D *  abs_select_restricted: should not have best_var == -1㿘'D'HDH?  D  *  *   @ c^1some minterm in F is not covered by Fold u Dold %s some minterm in Fold is not covered by F u Dold 㿈'D'H'L'HL*@'D 'DD @@*`@' ) `@ ' ` i@ D *  '`@@"쀢 @'DL)'H 'HH @@p*`@' )= a @V ' ` i2@G H *  '`@@:"쀢 @1'Warning: cannot permute columns without names PLA_verify: PLA's are not the same size 㿘'D'HD `D @ H `H @ DH@, ` @ D@H@   `P@  HDD@㿐'D'H H`*` @ H`,H*`  @ D`@D*`  @@  *`$` D` D@D"@D ` D`}D"`D ` D`pD"`  *  @R' * @ D*  *`  "  耤  * @ "@ D `D`@)D" D" @ ON-SET and DC-SET are disjoint Some minterm(s) belong to both the ON-SET and DC-SET ! ON-SET and OFF-SET are disjoint Some minterm(s) belong to both the ON-SET and OFF-SET ! DC-SET and OFF-SET are disjoint Some minterm(s) belong to both the OFF-SET and DC-SET ! Union of ON-SET, OFF-SET and DC-SET is the universe There are minterms left unspecified ! 㿐'D'DD`' ```@`@ `hP '`@DD`[' ``@u`@o `h) '`@_DD `4' `a @NaH@H `h '`@j8DDD`(  , a@$ DDD`' +q'a@ `g '`@0H' @F*"@*`* #@'%ld.%02ld sec㿘'DD #@D #@  @b` @"`㿘'DD@  @ D@㿘"` "  㿘" "`   ` `@  "*`?2"@Β 㿘`  "`㿘! @s@@lx &'1Wpf~~~~((y l((X(\( ($(\(`(|,$(((@D,(0(HL,(0(HL8Dnp((((Pל ptx|ĀĜĤ,4LTt|ŘŜŴŸt(x(Ȍ(Ȑ(\z h(,\`((<@t\klkpߖsss(s(sss(t(ttvvvvTl(p(((((܄(܈(ܜ(ܠ(\`8(<(D(H(((((6((..//04080(0(1(1(@(@(B(B(KK KKKK4K<KdKlKKKKKKKKLL$L@LDLdLhLLLLLLLLLM M$M,M4MPMXMpMxMMMMMMN8N<N@NDNHNdNlNNNNNNNNOO$ODOLOhOlOOOOOOPPP$PLPTP|PPPPPPPPQQ Q$Q<Q@QdQhQlQpQtQQQQQQQRR R(RHRPRpRxRRRR?@sPsTx(x(xyOYYx|((@(D(txL((sQ$yT1uo d2q' {_t u`f(:"jehgC2& p%),qkl7HG|@nVc+o iu#Ea9 -irclN:[ vP6U<8RN!r hm#*./03457x;=p>z?wA~B}DFGI{JKLMO^PQSWXYZ\]^fbdfgijkmnpystvwxyz{ |,}~(\0n4-T;~= F9%' [!8XrqHkAOBEm s5*Y)">$ / . U o C3J&}+<ZW1i !"#?$%6&'R()@*M+,-l./]01K2v34D5678I9t:;h<V=e>?@aALBCDEFGHgISJKLMbNOP`QRwST_UVWX|YZ[x\]j^_z`abcdefghjklmnopqrstuvwxyz{|}~ެ  P%, ,2d<;M3E >K^"UPTX_c2Pte}  !W8W6pV5T eepP: (ld.%eD13.2\2qh 6a- 3:z;hF44K4lPe C<\e0=(h nosADXBhdB@@dU<d@DlK@b_ (M1U1b] _dboc zaa1` ;#`+fUl}8ٴ 3/33 33@%3W-cK\|74GP Y.@`X,ic~hs_<dN-TePCJ`SaKH( :eLan^iaNXr)p,Sj@t  Ca @\ 0S a78V:p!ag#+e] `45;ELd-Ta oLEUf >YUR A{8Ha"&h>  1 PH N -e,c 8esa CZ PT d! uL Yrp ?9kx e$ ,F `b 2$w ^X J  Q $ 2o  Ee$ Xc ,\/F 7Xd@ Ca N*4f b n _ xeS   jH ,7j 1 / a\uP a - d,  #  4f8 I-< ^ kW vW   l  F,  < Z 2@$ dy}l Ld 5 Zch ^0 )Q 61 >3$ F 3 N3 VB b.P q3i< LW0 Hy ( AG` B ] ,۬ ^ d d0X  W5 ,\| 7`0 B9Ԝ XDҼ h4 uhh " eS0 D\ N  L0  ds] `VU|$2(-6:_?W84eSEhpZn\8{b҄/-X)0/AFED<)[2 !8*ID/3IT7dFAe GJ*R a.fquf|efge^(fs@1h|ff(eV+gDhj H _U[S.2T6c _IP d jxui4"h j9hFH'4f$.jXXM] `/dP8'JcXT0\`o`C߸z_x)Ԕfa1xVl' [4$ =` a%J  9= @0 D= TK]H'tWe:%4`f(dier ,xX4U"#W et$ee#lN.YU6 &|@x2<) [W\Pn])1_41!v\=(YD:X,TeUl_P$z qD~]Eb1 W%b!< Se>_etext_edata_endstartstart_float__exit_main_environ__DYNAMIC_exit_cofactor_d1_order_binate_split_select_set_and_cdata_debug_cube3list_cube2list_cube1list.umul_set_diff_set_copy_qsort_cubeunlist_massive_count_scofactor_set_clear_malloc_printf_set_or_sf_new_verbose_debug_cube_simplify_cubelist_pc1_pc2_sm_col_and_sm_col_dup_free.rem_sm_col_remove_element_sm_col_compare_sm_col_find_sm_col_free_sm_col_hash_sm_col_contains_sm_col_alloc_sm_col_print_sm_col_remove_fprintf_sm_col_insert_sm_col_intersects_setp_equal_sf_contain_map_cover_to_unate_map_unate_to_cover_full_row_sf_free_sf_list_debug1_print_fatal_unate_compl_simplify_cdist0_cprint_complement_sf_append_set_merge_simp_comp_sf_addset_cdist01_setp_disjoint_debug_print_force_lower_rm_rev_contain_sf_ind_contain_sf_rev_contain_set_ord_sf_dupl_sf_sort_desc1_rm2_contain_rm_equal_ascend_sf_merge_sf_union_dist_merge.div_rm2_equal_sf_unlist_descend_d1merge_sf_ind_unlist_d1_rm_equal_rm_contain_temp_cube_save_temp_cdata_save_set_fill_restore_cube_struct_setdown_cube_cube_setup_save_cube_struct_memcpy_pos_new_PLA_label_index_free_PLA_PLA_labels_kiss_get_word_sprintf_sf_join_set_xor_print_trace_util_strsav_map_output_symbolic_PLA_summary_map_symbolic_read_pla_set_pair_echo_comments_fscanf_fflush_trace_parse_pla_pla_types__ctype___flsbuf__filbuf_echo_unknown_commands_read_cube_set_phase_skip_line_read_symbolic__iob_util_cpu_time_sscanf_strlen_strcmp_strcpy_totals_print_cost_ungetc_espresso_so_do_espresso_so_save_summary_cdist_unravel_lex_sort_foreach_output_function_sort_reduce_so_espresso_so_do_exact_sf_count_set_dist_so_both_do_espresso_random_order_lex_order_so_both_save_mini_sort_cof_output_uncof_output_skip_make_sparse_so_both_espresso_so_both_do_exact_size_sort_ccommon_cubelist_partition_unravel_range_minimize_exact_size_stamp_total_name_total_time_fmt_cost_total_calls_copy_cost_util_print_time_cover_cost_sf_permute_kiss_output_fmt_cube_sf_save_kiss_print_cube_fputs_print_expanded_cube_setp_implies_output_symbolic_constraints_eqn_output_pls_label_pls_group_fprint_pla_fpr_header_makeup_labels_sf_delset_print_cube_pls_output_sm_row_contains_sm_col_dominance_sm_row_dominance_sm_delcol_sm_delrow_check_equiv_find_equiv_outputs_cube_is_covered_super_gasp_irredundant_make_sparse_use_super_gasp_recompute_onset_essential_expand_last_gasp_unwrap_onset_remove_essential_single_expand_reduce_cb_consensus_sf_inactive_consensus_essen_cube_sf_active_cb_consensus_dist0_setlinebuf_filename_sm_free_sm_row_free_fopen_sm_write_minimize_exact_literals_fclose_primes_consensus_sm_minimum_cover_irred_split_cover_irred_derive_table_set_adjcnt_setp_empty_find_all_primes_do_sm_minimum_cover_exact_minimum_cover_setup_BB_CC_bit_count_feasibly_covered_select_feasible_essen_raising_elim_lowering_all_primes_most_frequent_use_random_order_mincov_expand1_essen_parts_expand1_gasp_reduce_cube_irred_gasp_expand_gasp_getopt_optind_optarg_strchr_sm_row_dup_gimpel_reduce_solution_add_sm_insert_sm_mincov_sm_row_remove_sm_row_intersects_print_solution_force_irredundant_disassemble_fsm_map_symbolic_cover_cv_intersect_sf_delc_strncmp_sf_compress_map_dcset_sf_addcol_symbolic_hack_labels_form_bitvector_find_inputs_solution_alloc_sm_maximal_independent_set_sm_alloc_sm_row_insert___eprintf_taut_special_cases_mark_irredundant_tautology_sm_cleanup_sf_cleanup_cv_sharp_PLA_verify_runtime_subcommands_backward_compatibility_hack_init_runtime_check_arg_cv_dsharp_pair_all___main_find_optimal_pairing_option_table_esp_opt_table_check_consistency_getPLA_phase_assignment_delete_arg_usage_make_disjoint_opoall_atoi_debug_table_map_verify_minterms_explode_sm_row_remove_element_sm_longest_col_sm_longest_row_realloc_sm_read_sm_find_sm_dump_sm_read_compressed_sm_row_find_sm_copy_col_sm_copy_row_sm_num_elements_sm_print_sm_row_alloc_sm_remove_sm_resize_sm_alloc_size_sm_dup_sm_remove_element_abort_sm_block_partition_solution_reject_solution_accept_solution_dup_solution_choose_best_solution_free_output_phase_setup_repeated_phase_assignment_opo_leaf_unate_intersect_opo_recur_find_phase_opo_pair_best_cost_pairvar_greedy_best_cost_pair_new_delvar_find_pairing_cost_pair_save_pair_free_minimize_pair_set_pair1_sf_delcol_find_best_cost_generate_all_pairs_print_pair_sccc_merge_sccc_special_cases_sccc_sccc_cube_cactive_sm_row_and_sm_row_compare_sm_row_hash_sm_row_print_sf_bm_read_sf_read_set_orp_sf_copy_pbv1_sf_copy_col_sf_bm_print_bit_index_sf_write_set_andp_sf_print_sf_count_restricted_sf_transpose_sf_or_set_write_setp_full_sf_and_ps1_start_time_cb_sharp_cb_dsharp_dsharp_cb1_dsharp_sharp_cb_recur_sharp_mv_reduce_unate_complement_PLA_permute_getrusage___do_global_dtors___DTOR_LIST____exit_dummy_ref__exit_dummy_decl___do_global_ctors___CTOR_LIST___on_exit/usr/local/gnu/lib/gcc-lib/sparc-sun-sunos4.1.3/2.6.3:/usr/local/gnu/sparc-sun-sunos4.1.3/lib:/usr/local/gnu/libtcdl $d\`{0f`㿠㿠㿠㿠㿠㿠㿠㿠㿠㿠 㿠 㿠 㿠 㿠 㿠㿠㿠 㿠/㿠0㿠7㿠Y㿠Z㿠i㿠l㿠o㿠z㿠}㿠㿠㿠㿠"㿠5㿠6xph`PH80( xp%h `PH@0( $")(x h`P&H@#8'0(       !*)v0(  @ @H   hPQSR@ACBTUWVDEGF \]_^LMON XY[ZHIKJ !#"0132pqsr`acb$%'&4576tuwvdegf,-/.<=?>|}~lmon()+*89;:xy{zhikj@Y?Copyright (c) 1988, 1989, Regents of the University of California. All rights reserved.Copyright (c) 1988, 1989, Regents of the University of California. All rights reserved.Copyright (c) 1988, 1989, Regents of the University of California. All rights reserved.