capitalex / bag.formal

<> (tally ?value (Bag ?list)) ((Bag tallying| tallying> ?value ?list)) <> (tallying> ?value ()) (<tallying ((Entry ?value 1) ())) <> (tallying> ?value ((Entry ?value ?count) ?rest)) (<tallying ((Entry ?value @add ?count 1) ?rest)) <> (tallying> ?value (?entry ?rest)) ((?entry tallying> ?value ?rest)) <> ((Bag tallying| <tallying ?list)) ((Bag ?list)) <> ((?entry <tallying ?previous)) (<tallying (?entry ?previous)) <> (find ?value (Bag ?list)) ((Bag find| find> ?value ?list)) <> (find> ?value ((Entry ?value ?count) ?rest)) (<found #yes ((Entry ?value ?count) ?rest)) <> (find> ?value ()) (<found #no ()) <> (find> ?value (?entry ?rest)) ((?entry find> ?value ?rest)) <> ((Bag find| <found ?answer ?list)) (?answer (Bag ?list)) <> ((?entry <found ?answer ?previous)) (<found ?answer (?entry ?previous)) <> (has all ()) (#yes) <> (has all (?item ?rest)) (?rest has all| find ?item) <> (?rest has all| #yes) (has all ?rest) <> (?rest has all| #no) (#no) <> (bag {) (bag) <> (bag }) ((Bag ())) <> (bag ?item) (tally ?item bag) has all (flour (sugar (apples ()))) bag { sugar oranges apples cherries flour apples }

--- :: 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.

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