--- :: has all (flour (sugar (pears ()))) bag { sugar oranges apples cherries flour apples }
017 :: (sugar (pears ())) has all| find flour bag { sugar oranges apples cherries flour apples }
020 :: (sugar (pears ())) has all| find flour bag sugar oranges apples cherries flour apples }
022 :: (sugar (pears ())) has all| find flour tally sugar bag oranges apples cherries flour apples }
022 :: (sugar (pears ())) has all| find flour tally sugar tally oranges bag apples cherries flour apples }
022 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples bag cherries flour apples }
022 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries bag flour apples }
022 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour bag apples }
022 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour tally apples bag }
021 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour tally apples (Bag ())
004 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour (Bag tallying| tallying> apples ())
005 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour (Bag tallying| <tallying ((Entry apples 1) ()))
008 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries tally flour (Bag ((Entry apples 1) ()))
004 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries (Bag tallying| tallying> flour ((Entry apples 1) ()))
007 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries (Bag tallying| ((Entry apples 1) tallying> flour ()))
005 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries (Bag tallying| ((Entry apples 1) <tallying ((Entry flour 1) ())))
009 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries (Bag tallying| <tallying ((Entry apples 1) ((Entry flour 1) ())))
008 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples tally cherries (Bag ((Entry apples 1) ((Entry flour 1) ())))
004 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| tallying> cherries ((Entry apples 1) ((Entry flour 1) ())))
007 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| ((Entry apples 1) tallying> cherries ((Entry flour 1) ())))
007 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| ((Entry apples 1) ((Entry flour 1) tallying> cherries ())))
005 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| ((Entry apples 1) ((Entry flour 1) <tallying ((Entry cherries 1) ()))))
009 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| ((Entry apples 1) <tallying ((Entry flour 1) ((Entry cherries 1) ()))))
009 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples (Bag tallying| <tallying ((Entry apples 1) ((Entry flour 1) ((Entry cherries 1) ()))))
008 :: (sugar (pears ())) has all| find flour tally sugar tally oranges tally apples (Bag ((Entry apples 1) ((Entry flour 1) ((Entry cherries 1) ()))))
004 :: (sugar (pears ())) has all| find flour tally sugar tally oranges (Bag tallying| tallying> apples ((Entry apples 1) ((Entry flour 1) ((Entry cherries 1) ()))))
006 :: (sugar (pears ())) has all| find flour tally sugar tally oranges (Bag tallying| <tallying ((Entry apples @add 1 1) ((Entry flour 1) ((Entry cherries 1) ()))))
008 :: (sugar (pears ())) has all| find flour tally sugar tally oranges (Bag ((Entry apples @add 1 1) ((Entry flour 1) ((Entry cherries 1) ()))))
004 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| tallying> oranges ((Entry apples @add 1 1) ((Entry flour 1) ((Entry cherries 1) ()))))
007 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| ((Entry apples @add 1 1) tallying> oranges ((Entry flour 1) ((Entry cherries 1) ()))))
003 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) tallying> oranges ((Entry flour 1) ((Entry cherries 1) ()))))
007 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) ((Entry flour 1) tallying> oranges ((Entry cherries 1) ()))))
007 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) tallying> oranges ()))))
005 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) <tallying ((Entry oranges 1) ())))))
009 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) ((Entry flour 1) <tallying ((Entry cherries 1) ((Entry oranges 1) ())))))
009 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| ((Entry apples 2) <tallying ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ())))))
009 :: (sugar (pears ())) has all| find flour tally sugar (Bag tallying| <tallying ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ())))))
008 :: (sugar (pears ())) has all| find flour tally sugar (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ())))))
004 :: (sugar (pears ())) has all| find flour (Bag tallying| tallying> sugar ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ())))))
007 :: (sugar (pears ())) has all| find flour (Bag tallying| ((Entry apples 2) tallying> sugar ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ())))))
007 :: (sugar (pears ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) tallying> sugar ((Entry cherries 1) ((Entry oranges 1) ())))))
007 :: (sugar (pears ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) tallying> sugar ((Entry oranges 1) ())))))
007 :: (sugar (pears ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) tallying> sugar ())))))
005 :: (sugar (pears ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) <tallying ((Entry sugar 1) ()))))))
009 :: (sugar (pears ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) <tallying ((Entry oranges 1) ((Entry sugar 1) ()))))))
009 :: (sugar (pears ())) has all| find flour (Bag tallying| ((Entry apples 2) ((Entry flour 1) <tallying ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
009 :: (sugar (pears ())) has all| find flour (Bag tallying| ((Entry apples 2) <tallying ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
009 :: (sugar (pears ())) has all| find flour (Bag tallying| <tallying ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
008 :: (sugar (pears ())) has all| find flour (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
010 :: (sugar (pears ())) has all| (Bag find| find> flour ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
013 :: (sugar (pears ())) has all| (Bag find| ((Entry apples 2) find> flour ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
011 :: (sugar (pears ())) has all| (Bag find| ((Entry apples 2) <found #yes ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
015 :: (sugar (pears ())) has all| (Bag find| <found #yes ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
014 :: (sugar (pears ())) has all| #yes (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
018 :: has all (sugar (pears ())) (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
017 :: (pears ()) has all| find sugar (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
010 :: (pears ()) has all| (Bag find| find> sugar ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
013 :: (pears ()) has all| (Bag find| ((Entry apples 2) find> sugar ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
013 :: (pears ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) find> sugar ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
013 :: (pears ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) find> sugar ((Entry oranges 1) ((Entry sugar 1) ()))))))
013 :: (pears ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) find> sugar ((Entry sugar 1) ()))))))
011 :: (pears ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) <found #yes ((Entry sugar 1) ()))))))
015 :: (pears ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) <found #yes ((Entry oranges 1) ((Entry sugar 1) ()))))))
015 :: (pears ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) <found #yes ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
015 :: (pears ()) has all| (Bag find| ((Entry apples 2) <found #yes ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
015 :: (pears ()) has all| (Bag find| <found #yes ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
014 :: (pears ()) has all| #yes (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
018 :: has all (pears ()) (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
017 :: () has all| find pears (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
010 :: () has all| (Bag find| find> pears ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
013 :: () has all| (Bag find| ((Entry apples 2) find> pears ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
013 :: () has all| (Bag find| ((Entry apples 2) ((Entry flour 1) find> pears ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
013 :: () has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) find> pears ((Entry oranges 1) ((Entry sugar 1) ()))))))
013 :: () has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) find> pears ((Entry sugar 1) ()))))))
013 :: () has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) find> pears ()))))))
012 :: () has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) <found #no ()))))))
015 :: () has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) <found #no ((Entry sugar 1) ()))))))
015 :: () has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) <found #no ((Entry oranges 1) ((Entry sugar 1) ()))))))
015 :: () has all| (Bag find| ((Entry apples 2) ((Entry flour 1) <found #no ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
015 :: () has all| (Bag find| ((Entry apples 2) <found #no ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
015 :: () has all| (Bag find| <found #no ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
014 :: () has all| #no (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
019 :: #no (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
--- :: #no (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
Completed in 82 rewrites needing 1994 iterations.