XH*L)__text__TEXTZ!(,__data__DATAZ!6$__cstring__TEXT`!Q<$__common__DATA`)__picsymbolstub2__TEXT"_%@BJ__la_sym_ptr2__DATA(*L77__nl_symbol_ptr__DATA(T+n__textcoal_nt__TEXT@) , @TPV PCCBHNU)1))))))ÐUS't))|)x)[]ÐUS$P(D)0)E}uEfx ukU@EMyuSE$&UfJMA Ef@UBMQ(B(MQE@ErD)D$($L&($[]ÐUS$h@(E}uvU@EE@UfBEfx t Ufz t E$%(Ufz uE$%D$aU$%E@E낍D(E}u(Ufz tD$aE$[%URUЃ$[]ÐUq'E}uEfx u EE@EEEUI%'E}uaEfx t Ufz uBEE}u2UB;EuEf@ U@fh E@EƋURUÐUS$E}tE&E}uۋEfx uZU@EEx~ UfB 9Efxu/EUfB UBP0&BE$URU뉃$[]ÐUS$&D$P%$#P%%E}uLU@EEfx t Ufz t E$#UBEf@URU묍%E}uKEfx t#Ufz tL%8uEfx tD$aU$"E@E뭃$[]ÐUWVS,}tED$E D$E$"E}t$E;t $8u(EE$$J$8%$ "tGEE܃}u)U܋Bx u$EE܋@EϋEEF$8tF$D$$ !B$8tB$D$$ Z! %s%dOnly Functors can be used as Constraints#reduce body <%d>#modularize <%d>#unfold-[%d] ->FAIL =>TRUE#unfold=[%d] >>> %s <<< is UNDEFINED!JZ⍀ZP61E⍀EP0⍀0P⍀P⍀P⍀P⍀P⍀P⍀Pni⍀PUP⍀P<7s⍀sP#^⍀^P I⍀IP4⍀4P⍀P ⍀ P⍀P⍀Pto⍀P[V⍀PB=⍀P)$⍀P w⍀wPb⍀bPM⍀MP8⍀8P#⍀#P⍀Pzu⍀Pa\⍀PHC⍀P/*⍀P⍀P⍀P{⍀{Pf⍀fPQ⍀QP<⍀<P{'⍀'Pgb⍀PNI⍀P50⍀P⍀P⍀P⍀P⍀P⍀Pj⍀jPU⍀UPmh@⍀@PTO+⍀+P;6⍀P"⍀P ⍀P""" #"#;#T#m######$$5$N$g$$$$$$$%/%H%a%z%%%%%%&)&B&[&t&&&&&& '#'<'U'n''''''($Ë $Ë$F!6!(&!(!(!  ( (  ( (w (O (= 1 ($ (  ( ((|)& `K/# (}_<(}2(})})}"})})}y& ]#)r7)1)|))G/)")& ,),)0)0),)",)|0)r"e0)T4)N7).$),),)0)0),)z",)0)z"t0)c4)P),),)0)0),)"s,)ma0)W"?0).4)& 0,),) 0)0),)",)0)"0)4)]I,)8,)20)0) ,)z",)0)z"0)4)l)r<)e<)X&,),)0)0)th,)^l"F,)@40)*l"0)4)& )& r,)a,)[G0):0)4(,)[",)0)["0)4),),)n0)a0)[O,)EI"-,)'0)I"0)4)8)|)UE );) )),)v,)p\0)O0)C74)1%4) & y "DsV$)DN0)D@& +) )  & t U /    )h   )h  )h "h )h u )h j )h d & J :  |) l) )  ,) ,)  0) 0)   ,) !v ,)p d 0)Z !M 0)G 4 ( ,) ! ,)  0) ! 0) 4)  |) 0) ~ ,)q ,)k W 0)J 0)D 1 % ,) ! ,)  0) ! 0)  ,) ! ,)  0) ! 0) $){ 0)n 0)[ ()O -  & |)|)~^|)TJ)8)-)|)|)& ,)X,)X0)X0)X{q)Xc[j!XP)XJ6,)X),)X#0)X0)X)X`!X)X,)X,)X0)Xx0)XrT& 8|)2- ,),)0)0)|)sjb*Q4)G)A)0&)|) & 8)w)S)<)<))& l)<W)<8& )' q)ok' M#))& }<)ui<)])?<)2<)))<)& )h)h{)ho)hid& O) =) 7) +) ) <) ) ' [ U('M('G% B <('4('.% ) #('('%  ('('%  ('('%  ('('%  (f'(f'%  (M'(M'%  (4'(4'% z t('l('f% a [('S('M% H B(&:(&4% / )(&!(&%  (&(&%  (&(&%  (&(&%  (l&(l&%  (S&(S&%  (:&(:&%  z(!&r(!&l% g a(&Y(&S% N H(%@(%:% 5 /(%'(%!%  (%(%%  (%(%%  (%(%%  (r%(r%%  |(Y%|(Y%%  x(@%x(@%%  t('%xt('%r% m gp(%_p(%Y% T Nl($Fl($@% ; 5h($-h($'% " d($d($%  `($`($%  \($\($%  X(x$X(x$%  T(_$T(_$%  P(F$P(F$%  L(-$~L(-$x% s mH($eH($_% Z TD(#LD(#F% A ;@(#3@(#-% ( "<(#<(#%  8(#8(#% 4(#4(#% 0(~#0(~#% ,(e#,(e#% ((L#((L#% $(3#$(3#~% y s (#k (#e% ` Z(#R(#L% G A("9("3% . ((" ("%  ("("% |xtplhd`\XTPLHD@<840,($  T}j{w|Vy/zu+itJIak*v>ABrMXH=LKYq7GxOZ_o6lpseN0fm5U^]hT}j{w|Vy/zu+itJIak*v>ABrMXH=LKYq7GxOZ_o6lpseN0fm5U^]hgd\E~WRb[DPQSF`CncLx)=t)2)>)Z)#d)4)0p)l)g)m)g)`)|)+h),LB))))))))))))))))s)z)[))a)@)H)D)  d0u\p<8Q_o\ *)I)(}   *t*A1pEfSjeXryy]/ OW#8 K\:2_init_unfoldfold___i686.get_pc_thunk.cx_newfsave_DEF_list_CSTR_list_old_CSTR_number_CSTR_number_INITDEF_list_end_unfoldfold___i686.get_pc_thunk.bx_abandon_transformation_quit_transformation_check_INITDEF_remove_from_CSTR_clear_up_DEF_FAIL_add_to_set_startmodular_MFAIL_trans_fail_Pcmp_CONST_literals_REST_literals_modular_form_new_constraint_new_pred_set_set_new_def_is_modular_head_foldunfold_set_temporal_def_reorder_unfold_derivation_insert_cs_from_to_unfold_cstr_apply_extend_apply_apply_add_clause_LIST_CUNIFY_NIL_END_OF_FILE_Anonymous_var_Anonymous_env_XF_P_YF_P_FX_P_FY_P_XFX_P_XFY_P_YFX_P_S_GLOBAL_VAR_S_VAR_S_INTEGER_S_FLOAT_S_STRING_S_FILE_POINTER_S_PST_S_CLAUSE_S_LIST_S_FUNCTOR_S_ATOM_S_PSTOBJ_S_EQ_S_GREATER_S_LESS___i686.get_pc_thunk.axdyld_stub_binding_helper_v_list_pv_list_v_number_p_number_hp_Handle_Undefined_usp_ep_STAT_UNFOLD_nbuf_genname_GENSYM_STAT_DEF_STAT_FOLD___sF_MODULARMAX_lfp_wfp_CTmode_sflag_newf_list_add_clause_up_restore_renum_pvars_up_eclause_termset_up_init_eclause_conc_tunify_undo_system_pred_reduce_clause_system_function_Newnode_Nenv_literalnumber_salloc_target_literal_step_asking_P_status_error_Ncset_Nterm_Nfunc_vpair_length_exist_fname_sprintf_Nclause_try_fold_Pterm_fprintf_variant_v_is_modular_clause_sort_clause_satisfiable_split_surface_copy_clause_printf_Pclause_putc_setjmp_add_cs_to_set_index_newflist_index_func_recalc_component