X@__text__TEXT 3__data__DATA  __bss__DATA  __cstring__TEXT  __picsymbolstub2__TEXT ,c|H__la_sym_ptr2__DATA 0  __nl_symbol_ptr__DATA __textcoal_nt__TEXT  @'h PUS;}4UEE[]ÐUS$EE E;|4 E<(uE E<)uE(E뽃}tx  $ $[]US ` D$9 D$ ${ []U 8~ (ÐUS D$ $ D$ $ []ÐUVS oK _ S [ +Љ}VE 8-tDE E}ft;}f }dt}n}vC mE EU E9E|PE UЀ8 t&E UЀ8"tE UЀ8 tE U E뛋E D$ $c $6 ;K 0O "E D$ $] mE  8u6 $3  $% / $ $ G 8u` K 8tG [^]ÐUS$`}uEE}}D}}}}}}} 1} } } H} q} )CD$X $ E@$ED$X $E@ $JD$X $CD$X $E@$LD$X $dE@ $iJD$X $:[CD$X $E@$QD$X $E@ $JD$X $CD$X $E@$UD$X $zE@ $JD$X $PqYD$X $/[D$X $E@$JD$X $ ^D$X $[D$X $E@$JD$X $`D$X $afD$X $@dE@D$kD$X $:pD$X $t$E$$[]ÐUS$DEE}}Q}}};s}q}}7} } }}}} } } h$k$n$q$u$$u$bB$Ou$?e$/U=$EJ$5D$%$ED$$$[]ÐUS$\$} tE D$E$ E$D8t;D8t.$iD$$ID$$1EE;|$ Eۍ$@@X$4$[]ÐUD$E$ÐUE D$E$$parentheses not balanced%stotal memory used: %9ld largest stack sze: %9d spin -f: saw '-%c' usage: spin [-v] [-n] -f formula -v verbose translation -n normalize tl formula and exit ( || ) && U V X (!falsetrue(%s) D Unknown token: []<>-><->predicate||&&UVend of formula%ctl_spin: , saw '' tl_spin: %s ----------^ t'⍀'P`[⍀PGB⍀P.)⍀P⍀P⍀P⍀P⍀P⍀Pj⍀jPzU⍀UPfa@⍀@PM  * C \ u $Ë $Ë$    s m e W O @ $ 3 + k ! @   i   a    W   T u m E e ] U M  E = 5 - C %  A    > ; 1 - * ' $   y o g[ Q =1 '          ~ xj^ T NB 8 -!         x rdX N C7 - '         zn d   ~t nd ^YME ?7 1)  M   @ @      xsnf5 <X <RJ <> <8 $$$   @  ` `@`@`p `\ :$ &$ @   $  (& "   &    & m m  & T T  & ; ;  & " "  & ~ y& s k e `& Z R L G& A 9 3 .& (  &    ,($  " " #%$! $@0 7   L q@| dT+  !   "\eF4zrTL,<_newstates_tl_errs_tl_verbose_tl_terse_tl_clutter_All_Mem_tl_Getchar___i686.get_pc_thunk.bx_tl_balanced_put_uform_tl_UnGetchar___i686.get_pc_thunk.cx_tl_main_dump_tl_explain_tl_yyerror_Fatal___i686.get_pc_thunk.axdyld_stub_binding_helper___sF_tl_yychar_xspin_verbose_Stack_mx_tl_out_fflush_tl_parse_exit_strlen_strcpy_a_stats_cache_stats_printf_fprintf_hasuform_cnt_uform_tl_stats_tl_non_fatal