P/ . __text__TEXT% 1__data__DATA% (__cstring__TEXT %@(__literal4__TEXT(0+__common__DATA.__picsymbolstub2__TEXT(_4+IJ__la_sym_ptr2__DATAs-0PS77__nl_symbol_ptr__DATAP.\p1n__textcoal_nt__TEXT. 1 @W]8 PRS:UU}~ E?$UEEÐUS$l.8tNE@ $‹E@@D$T$ E@D$$D$l.$,h.8tNE@ $M‹E@@D$T$ E@D$$D$h.$h,D$E$:,$[]ÐUS-8t:E@ $D$ E@D$$D$-$+-8t:E@ $D$ E@D$$D$-$+D$E$i+[]ÐUS$,EEE}u} u Ufz t5} u Efx u#} Ufz tEfx t}tN,8t,D$$,*,8t,D$$,*E,8t'UBD$c#D$,$*,8t'UBD$c#D$,$f*E@E$[]US$+8t&"D$+$*+8t&"D$+$)+8t+"D$+$)+8t+"D$+$)D$+$+8t2"D$+$_)+8t2"D$+$6)+8t6"D$+$ )+8t6"D$+$(D$+$8+8t2"D$+$(+8t2"D$+$x(+8tD"D$+$O(+8tD"D$+$&(D$+$z+8tN"D$+$'+8tN"D$+$'+E}uEfx tlEP+;|Y+8t+D$$ '+8t+D$$ &E$E@Eq+E}uEfx tlEP+;|Y+8t+D$$ w&+8t+D$$ P&E$FE@Eq++$[]ÐUS$EE}t}t"$%E $%E$%EME@MAEf@ MfAEf@ 'MfQE@E$[]US$PE@EEf@E D$E$$$EExu*E@Ef@ &8u3E$}$&E@$T$t UfB  Ef@ EUE UBEUfB&UB&U$[]ÐUV$5$D$E$#‹FB fBFFfFE D$4$q#^]US$%E􍃠%E%EE D$E$ #E荃%U;u%E$"%U%UE$[]ÐUVS0}u EE@8 E@"BE@$F"EEg%U;ug%EU$!ED$ED$ UB@D$E D$E@$!ug%E@ED$UB@$ƋED$UB$vt$$?!ƋE D$E@$St$$!EE@@E@@@uwD$D$ D$D$$ EED$E D$E@$m u g%ESE D$E@$E9E D$E@$D$ D$E D$E@$EE0[^]ÐUS$pE@u|E@E}t}t[E@ E`"8u6E@D$D$"$["$2 D#EEEE$[]ÐUEE}uUB;E u E@E}u!E @UBU E@BUE BÐUSDp!E!E!!$S!$C!$3!$#E $D$D$ D$D$E$nEEE荃!E䍃!E!!D$ED$E$u;E$!U!U!UE9E$H!U!U!UEE܃D[]US$EE}uD$UB$ 8t.UB$~D$qD$ $ 8t.UB$CD$qD$ $E@E[$[]ÐU8Exu EEEEUB$EE@E}uRUB$EE9E~UUEE U9UuUBD$UB$jE@E릋UUEÐU8EEEEEEEEEEЋEEEE;E|mEЋUȃ|uXEUȋDE̋Ẽ8tŨ: ~Ẽx~E(Ũ:Ẽ8~UBEEEE뉋E@EEPE;PEE@E܋EЋ@E؋EE U+EE)‹E U)UEԋEÐU(}u E3E D$E@$‹E D$T$E@$EEÐU(EE}u&UB$Su EE@EEEÐUS$E8 9DD$E$R<$EEEE9E|qEU|u\EUDEE8U:~ Efx3U:u"EUDD$UB$Ou E EEE$[]ÐUEE9E|]EUD8tHEUD8 t9EUD8EUD8EUDx E EEEÐU)}uE Eb} uEETE;tE ;t E+EEUzu E@EE UBEEEU(}u E E@$D$E$EEÐU(E@} u EEE @D$E@$tEU PEEUE E}u/UBD$E@$tEEURUɋEUBEUPE EEU(EE Af;BtEE Af;BE\EE9E|?E UDD$EUD$EEt}E EEEU-EEE8 EЍ-YYYbpyEKE@E=E4E+E "E Ex EEEÐUS$lE$)EE $EUE)ЉEEt}~ EoEc} RUЍp5LczE D$E$EE D$E$EE D$E$yEE D$E$xEE D$E$EEE D$E$EzE D$E$EcE D$E$ELE D$E$E5E D$E$REE D$E$"EEE$[]UE@EE @)E}u E}~ EEEU(EE Af;BtEE Af;BEUEE9E|8E UDD$EUD$EEtEE EEEÐUS$E;tE ;t9E;E u EE;u EEE88E8~0E 8E 8~E D$E$EVEME @D$E@$EEtEEE @D$E@$EE$[]ÐU(}t} u)E;E u Ee}u EVEME @D$E@$EEtEEE @D$E@${EEÐUIEU @\BEMY.zt E&EY.w EEEUE@,EE @,)E}u E}~ EEEÐU(E U@D$B$E}u E}~ EEEÐUME PA)ЉEEi.E}u E}~ EEEU(E@EE @E}tE}u=UBD$UB$FE}tEE;E@EURU뵋E9Eu E}u EEEÐUWVSL^8t' D$$8t' D$$f3 E}qs}q:}ht\}h"}b8}b̃} s}?t6뺃}nE뮃}x}x }uS뒃}z*농8t^ D$$8t^ D$$8t D$$p8t D$$G8t D$$8t D$$8t D$$8t D$$8t^ D$$z8t^ D$$Q8t D$$(8t D$$8t D$$8t D$$8t D$$8t D$$[8t D$$28t D$$  E䍃EE܍E؍EԍEЍE̍EȍEč$ tzU܉UUU؉UԉUЉỦUȉUĉ}]D$$,D$$EȉD$EĉD$ $REĉ$Ẽ}ui8t#EĉD$ D$$A 8EĉD$ D$$ EȉD$E̋@$EЃ}u[8t+ D$$ 8I+ D$$ (Ef@ Efx tE̋@fhEЉD$E̋$)8t#EȉD$G D$$' 8t#EȉD$G D$$ D$E̋@@$kE@D$ EЋ@D$E̋@D$EЋ@$uT8t[ D$$ 8tp[ D$$W R8td D$$, 8td D$$ EME#EEEL[^_]U= E}u)Efx uUB;EuEEPURUύ E}u)Efx tUB;EuEEURUEEÐUEEE}uE;E uEEE@EEEEÐU uÐUS$L E}u1U@EUBu E$%URUǃ$[]urmidgfxt[%d(%c,%d)] <%d(%c)> %d****DEFS={} NON-MODULAR={MODULAR={}****>>> %s <<< is UNDEFINED!<%d>,Only Functors can be used as Constraints @step ? NOTATION: [(,)]New Predicate <=> unmodular body : U=untouched, M=modular_defined,I=unit_defined, D=Derived, G=registered,F=False, R=Reduced, T=Temporary COMMNAD: q:quit z:abort n:normal trace x:trace off b:break CR: continue u : manual unfolding %d %dError: no clause %dError: literal out of rangemanual_unfold [%d] ->FAIL =>TRUE Z⍀ZPE⍀EP0⍀0P⍀P⍀Poj⍀PVQ⍀P=8⍀P$⍀P ⍀P⍀Ps⍀sP^⍀^PI⍀IP4⍀4Pup⍀P\W ⍀ PC>⍀P*%⍀P ⍀P⍀P⍀P⍀Pw⍀wPb⍀bP{vM⍀MPb]8⍀8PID#⍀#P0+⍀P⍀P⍀P⍀P⍀P⍀P⍀P|{⍀{Phcf⍀fPOJQ⍀QP61<⍀<P'⍀'P⍀P⍀P⍀P⍀P⍀P⍀Pni⍀PUP⍀P<7j⍀jP#U⍀UP @⍀@P+⍀+P⍀P⍀P⍀P!(:(S(l(((((())4)M)f)))))))*.*G*`*y******+(+A+Z+s++++++ ,",;,T,m,,,,,,--5-N-g-$Ë $Ë$$$.$$/ $$.##.##0 ##P.}#p#x.b#P.S#G#.=#(0#.*##.#(#.""."'".""."'"."z"_"S".I"'5"./"#"."'".!!!.!'!.!!.!'t!.e!I!=!.3!'!.! !. ' .    '  T.   T.{ t b .U \.H `.; d.. .! . . .h.X..h..\.`.d...wh.j.].RMA.7'*.$.'..U'..U'..9'.t.j9'].WK.A!'4..".!' ..'..'..&.~.t&g.aU.K&>.8,."&..@&..@&..&..~&q..%..%./ >((0 k b.0?.02.0,/ 3rX>,%($ ~ dJ0/ (L$C gUg^5 ,,,g0 zk...0 %dvl.dn.d`/ .I.%t.nb.X%N9.3 / x. p. t.  p. t. x.  W p. O t. B p. 5 t. &    p.  t.  .  . x. x. . /  .  |.  |. h% . / p O 5  .m     n b K ) .m    .m .m i / K .> .8 & .  .../ j.Z.!./ .>-/ .....s.g.>.* .......b%y.sg.]b%P.J>.0$.X% ..X%..F%..F%..rf.\J%O.I=.3J%&. . F%..F%...?%..u?%h.bV.L:%?.9-.#:%./ .7%..7%.m.`.ZF.9./ .-%{e._S.I-%4./ .< %<.<.<} %<T>.<8/ % 0 [ UK._-MK._-G. B <G.F-4G.F-.. ) #C.--C.--.  ?.-?.-.  ;.,;.,.  7.,7.,.  3.,3.,.  /.,/.,.  +.,+.,. z t'.~,l'.~,f. a [#.e,S#.e,M. H B.L,:.L,4. / ).3,!.3,.  .,.,.  .,.,.  .+.+.   .+ .+.  .+.+.  .+.+.  z-+r-+l. g a-k+Y-k+S. N H-R+@-R+:. 5 /-9+'-9+!.  - +- +.  -+-+.  -*-*.  -*-*.  -*-*.  -*-*.  -*x-*r. m g-q*_-q*Y. T N-X*F-X*@. ; 5-?*--?*'. " -&*-&*.  - *- *.  -)-).  -)-).  -)-).  -)-).  -)~-)x. s m-w)e-w)_. Z T-^)L-^)F. A ;-E)3-E)-. ( "-,)-,).  -)-). -(-(. -(-(. -(-(. -(-(. -(-(~. y s-}(k-}(e. ` Z-d(R-d(L. G A{-K(9{-K(3. . (w-2( w-2(.  s-(s-(. |xtplhd`\XTPLHD@<840,($  dniGF{frwu}N:47;8695<@CoE\A?byl]_>^HJgD|xzjhva`mdniGF{frwu}N:47;8695<@CoE\A?byl]_>^HJgD|xzjhva`mVcSYe[ZsXkp~UtTWq$%w.h.E0/M.[.U...L/P4/u@/\8/H/D/j