\||||||||||||||||||/
		   --- Welcome to Maude ---
		     /||||||||||||||||||\
	    Maude 2.4 built: Nov  6 2008 16:42:13
	    Copyright 1997-2008 SRI International
		   Sat Mar 20 12:26:51 2010
==========================================
search in CLIMBING : init =>+ REST rel(pair('stephen.kleene, 'bob.constable),
    R) .

Solution 1 (state 2)
states: 3  rewrites: 3 in 0ms cpu (0ms real) (~ rewrites/second)
REST --> parent('alonzo.church, 'oswald.veblen) parent('dana.scott,
    'alonzo.church) parent('david.park, 'hartley.rogers) parent(
    'dennis.ritchie, 'pat.fischer) parent('hartley.rogers, 'alonzo.church)
    parent('les.valiant, 'mike.paterson) parent('martin.davis, 'alonzo.church)
    parent('mike.paterson, 'david.park) parent('pat.fischer, 'hartley.rogers)
    parent('stephen.kleene, 'alonzo.church)
R --> Parent(0)
==========================================
search in CLIMBING : init =>+ REST rel(pair('hartley.rogers, 'stephen.kleene),
    R) .

Solution 1 (state 246)
states: 247  rewrites: 587 in 4ms cpu (3ms real) (146750 rewrites/second)
REST --> rel(pair('stephen.kleene, 'hartley.rogers), Sibling) parent(
    'alonzo.church, 'oswald.veblen) parent('bob.constable, 'stephen.kleene)
    parent('dana.scott, 'alonzo.church) parent('david.park, 'hartley.rogers)
    parent('dennis.ritchie, 'pat.fischer) parent('les.valiant, 'mike.paterson)
    parent('martin.davis, 'alonzo.church) parent('mike.paterson, 'david.park)
    parent('pat.fischer, 'hartley.rogers)
R --> Sibling
==========================================
search in CLIMBING : init =>+ REST rel(pair('alonzo.church, 'les.valiant), R) .

Solution 1 (state 12443)
states: 12444  rewrites: 73103 in 368ms cpu (393ms real) (198637
    rewrites/second)
REST --> parent('alonzo.church, 'oswald.veblen) parent('bob.constable,
    'stephen.kleene) parent('dana.scott, 'alonzo.church) parent(
    'dennis.ritchie, 'pat.fischer) parent('martin.davis, 'alonzo.church)
    parent('pat.fischer, 'hartley.rogers) parent('stephen.kleene,
    'alonzo.church)
R --> Parent(3)
==========================================
search in CLIMBING : init =>+ REST rel(pair('les.valiant, 'dennis.ritchie), R)
    .

Solution 1 (state 40435)
states: 40436  rewrites: 294425 in 1504ms cpu (1627ms real) (195749
    rewrites/second)
REST --> parent('alonzo.church, 'oswald.veblen) parent('bob.constable,
    'stephen.kleene) parent('dana.scott, 'alonzo.church) parent(
    'hartley.rogers, 'alonzo.church) parent('martin.davis, 'alonzo.church)
    parent('stephen.kleene, 'alonzo.church)
R --> Cousin(1, 1)
==========================================
search in CLIMBING : init =>+ REST rel(pair('dennis.ritchie, 'les.valiant), R)
    .

Solution 1 (state 40436)
states: 40437  rewrites: 294429 in 2804ms cpu (3040ms real) (104996
    rewrites/second)
REST --> parent('alonzo.church, 'oswald.veblen) parent('bob.constable,
    'stephen.kleene) parent('dana.scott, 'alonzo.church) parent(
    'hartley.rogers, 'alonzo.church) parent('martin.davis, 'alonzo.church)
    parent('stephen.kleene, 'alonzo.church)
R --> Cousin(1, 1)
==========================================
search in CLIMBING : init =>+ REST rel(pair('pat.fischer, 'michael.rabin), R) .

No solution.
states: 151391  rewrites: 1420023 in 9948ms cpu (10792ms real) (142735
    rewrites/second)
Bye.