--- :: recipes : > let's make a fruit cake! ; : flour sugar apples > apple-cake ; : fruit-salad apple-cake > fruit-cake ; : apples oranges cherries > fruit-salad ; bag { sugar oranges apples cherries flour apples }
040 :: recipes> : > let's make a fruit cake! ; : flour sugar apples > apple-cake ; : fruit-salad apple-cake > fruit-cake ; : apples oranges cherries > fruit-salad ; bag { sugar oranges apples cherries flour apples }
032 :: recipes> takes> > let's make a fruit cake! ; : flour sugar apples > apple-cake ; : fruit-salad apple-cake > fruit-cake ; : apples oranges cherries > fruit-salad ; bag { sugar oranges apples cherries flour apples }
032 :: recipes> takes> > let's make a fruit cake! ; takes> flour sugar apples > apple-cake ; : fruit-salad apple-cake > fruit-cake ; : apples oranges cherries > fruit-salad ; bag { sugar oranges apples cherries flour apples }
032 :: recipes> takes> > let's make a fruit cake! ; takes> flour sugar apples > apple-cake ; takes> fruit-salad apple-cake > fruit-cake ; : apples oranges cherries > fruit-salad ; bag { sugar oranges apples cherries flour apples }
032 :: recipes> takes> > let's make a fruit cake! ; takes> flour sugar apples > apple-cake ; takes> fruit-salad apple-cake > fruit-cake ; takes> apples oranges cherries > fruit-salad ; bag { sugar oranges apples cherries flour apples }
045 :: recipes> takes> > let's make a fruit cake! ; takes> flour sugar apples > apple-cake ; takes> fruit-salad apple-cake > fruit-cake ; takes> apples oranges cherries > fruit-salad ; bag sugar oranges apples cherries flour apples }
033 :: recipes> gives> let's make a fruit cake! ; takes> flour sugar apples > apple-cake ; takes> fruit-salad apple-cake > fruit-cake ; takes> apples oranges cherries > fruit-salad ; bag sugar oranges apples cherries flour apples }
035 :: recipes> gives> let's make a fruit cake! ; take flour takes> sugar apples > apple-cake ; takes> fruit-salad apple-cake > fruit-cake ; takes> apples oranges cherries > fruit-salad ; bag sugar oranges apples cherries flour apples }
035 :: recipes> gives> let's make a fruit cake! ; take flour takes> sugar apples > apple-cake ; take fruit-salad takes> apple-cake > fruit-cake ; takes> apples oranges cherries > fruit-salad ; bag sugar oranges apples cherries flour apples }
035 :: recipes> gives> let's make a fruit cake! ; take flour takes> sugar apples > apple-cake ; take fruit-salad takes> apple-cake > fruit-cake ; take apples takes> oranges cherries > fruit-salad ; bag sugar oranges apples cherries flour apples }
047 :: recipes> gives> let's make a fruit cake! ; take flour takes> sugar apples > apple-cake ; take fruit-salad takes> apple-cake > fruit-cake ; take apples takes> oranges cherries > fruit-salad ; tally sugar bag oranges apples cherries flour apples }
036 :: recipes> give let's gives> make a fruit cake! ; take flour takes> sugar apples > apple-cake ; take fruit-salad takes> apple-cake > fruit-cake ; take apples takes> oranges cherries > fruit-salad ; tally sugar bag oranges apples cherries flour apples }
035 :: recipes> give let's gives> make a fruit cake! ; take flour take sugar takes> apples > apple-cake ; take fruit-salad takes> apple-cake > fruit-cake ; take apples takes> oranges cherries > fruit-salad ; tally sugar bag oranges apples cherries flour apples }
035 :: recipes> give let's gives> make a fruit cake! ; take flour take sugar takes> apples > apple-cake ; take fruit-salad take apple-cake takes> > fruit-cake ; take apples takes> oranges cherries > fruit-salad ; tally sugar bag oranges apples cherries flour apples }
035 :: recipes> give let's gives> make a fruit cake! ; take flour take sugar takes> apples > apple-cake ; take fruit-salad take apple-cake takes> > fruit-cake ; take apples take oranges takes> cherries > fruit-salad ; tally sugar bag oranges apples cherries flour apples }
047 :: recipes> give let's gives> make a fruit cake! ; take flour take sugar takes> apples > apple-cake ; take fruit-salad take apple-cake takes> > fruit-cake ; take apples take oranges takes> cherries > fruit-salad ; tally sugar tally oranges bag apples cherries flour apples }
036 :: recipes> give let's give make gives> a fruit cake! ; take flour take sugar takes> apples > apple-cake ; take fruit-salad take apple-cake takes> > fruit-cake ; take apples take oranges takes> cherries > fruit-salad ; tally sugar tally oranges bag apples cherries flour apples }
035 :: recipes> give let's give make gives> a fruit cake! ; take flour take sugar take apples takes> > apple-cake ; take fruit-salad take apple-cake takes> > fruit-cake ; take apples take oranges takes> cherries > fruit-salad ; tally sugar tally oranges bag apples cherries flour apples }
033 :: recipes> give let's give make gives> a fruit cake! ; take flour take sugar take apples takes> > apple-cake ; take fruit-salad take apple-cake gives> fruit-cake ; take apples take oranges takes> cherries > fruit-salad ; tally sugar tally oranges bag apples cherries flour apples }
035 :: recipes> give let's give make gives> a fruit cake! ; take flour take sugar take apples takes> > apple-cake ; take fruit-salad take apple-cake gives> fruit-cake ; take apples take oranges take cherries takes> > fruit-salad ; tally sugar tally oranges bag apples cherries flour apples }
047 :: recipes> give let's give make gives> a fruit cake! ; take flour take sugar take apples takes> > apple-cake ; take fruit-salad take apple-cake gives> fruit-cake ; take apples take oranges take cherries takes> > fruit-salad ; tally sugar tally oranges tally apples bag cherries flour apples }
036 :: recipes> give let's give make give a gives> fruit cake! ; take flour take sugar take apples takes> > apple-cake ; take fruit-salad take apple-cake gives> fruit-cake ; take apples take oranges take cherries takes> > fruit-salad ; tally sugar tally oranges tally apples bag cherries flour apples }
033 :: recipes> give let's give make give a gives> fruit cake! ; take flour take sugar take apples gives> apple-cake ; take fruit-salad take apple-cake gives> fruit-cake ; take apples take oranges take cherries takes> > fruit-salad ; tally sugar tally oranges tally apples bag cherries flour apples }
036 :: recipes> give let's give make give a gives> fruit cake! ; take flour take sugar take apples gives> apple-cake ; take fruit-salad take apple-cake give fruit-cake gives> ; take apples take oranges take cherries takes> > fruit-salad ; tally sugar tally oranges tally apples bag cherries flour apples }
033 :: recipes> give let's give make give a gives> fruit cake! ; take flour take sugar take apples gives> apple-cake ; take fruit-salad take apple-cake give fruit-cake gives> ; take apples take oranges take cherries gives> fruit-salad ; tally sugar tally oranges tally apples bag cherries flour apples }
047 :: recipes> give let's give make give a gives> fruit cake! ; take flour take sugar take apples gives> apple-cake ; take fruit-salad take apple-cake give fruit-cake gives> ; take apples take oranges take cherries gives> fruit-salad ; tally sugar tally oranges tally apples tally cherries bag flour apples }
036 :: recipes> give let's give make give a give fruit gives> cake! ; take flour take sugar take apples gives> apple-cake ; take fruit-salad take apple-cake give fruit-cake gives> ; take apples take oranges take cherries gives> fruit-salad ; tally sugar tally oranges tally apples tally cherries bag flour apples }
036 :: recipes> give let's give make give a give fruit gives> cake! ; take flour take sugar take apples give apple-cake gives> ; take fruit-salad take apple-cake give fruit-cake gives> ; take apples take oranges take cherries gives> fruit-salad ; tally sugar tally oranges tally apples tally cherries bag flour apples }
034 :: recipes> give let's give make give a give fruit gives> cake! ; take flour take sugar take apples give apple-cake gives> ; take fruit-salad take apple-cake give fruit-cake (Recipe () ()) take apples take oranges take cherries gives> fruit-salad ; tally sugar tally oranges tally apples tally cherries bag flour apples }
036 :: recipes> give let's give make give a give fruit gives> cake! ; take flour take sugar take apples give apple-cake gives> ; take fruit-salad take apple-cake give fruit-cake (Recipe () ()) take apples take oranges take cherries give fruit-salad gives> ; tally sugar tally oranges tally apples tally cherries bag flour apples }
047 :: recipes> give let's give make give a give fruit gives> cake! ; take flour take sugar take apples give apple-cake gives> ; take fruit-salad take apple-cake give fruit-cake (Recipe () ()) take apples take oranges take cherries give fruit-salad gives> ; tally sugar tally oranges tally apples tally cherries tally flour bag apples }
036 :: recipes> give let's give make give a give fruit give cake! gives> ; take flour take sugar take apples give apple-cake gives> ; take fruit-salad take apple-cake give fruit-cake (Recipe () ()) take apples take oranges take cherries give fruit-salad gives> ; tally sugar tally oranges tally apples tally cherries tally flour bag apples }
034 :: recipes> give let's give make give a give fruit give cake! gives> ; take flour take sugar take apples give apple-cake (Recipe () ()) take fruit-salad take apple-cake give fruit-cake (Recipe () ()) take apples take oranges take cherries give fruit-salad gives> ; tally sugar tally oranges tally apples tally cherries tally flour bag apples }
037 :: recipes> give let's give make give a give fruit give cake! gives> ; take flour take sugar take apples give apple-cake (Recipe () ()) take fruit-salad take apple-cake (Recipe () (fruit-cake ())) take apples take oranges take cherries give fruit-salad gives> ; tally sugar tally oranges tally apples tally cherries tally flour bag apples }
034 :: recipes> give let's give make give a give fruit give cake! gives> ; take flour take sugar take apples give apple-cake (Recipe () ()) take fruit-salad take apple-cake (Recipe () (fruit-cake ())) take apples take oranges take cherries give fruit-salad (Recipe () ()) tally sugar tally oranges tally apples tally cherries tally flour bag apples }
047 :: recipes> give let's give make give a give fruit give cake! gives> ; take flour take sugar take apples give apple-cake (Recipe () ()) take fruit-salad take apple-cake (Recipe () (fruit-cake ())) take apples take oranges take cherries give fruit-salad (Recipe () ()) tally sugar tally oranges tally apples tally cherries tally flour tally apples bag }
034 :: recipes> give let's give make give a give fruit give cake! (Recipe () ()) take flour take sugar take apples give apple-cake (Recipe () ()) take fruit-salad take apple-cake (Recipe () (fruit-cake ())) take apples take oranges take cherries give fruit-salad (Recipe () ()) tally sugar tally oranges tally apples tally cherries tally flour tally apples bag }
037 :: recipes> give let's give make give a give fruit give cake! (Recipe () ()) take flour take sugar take apples (Recipe () (apple-cake ())) take fruit-salad take apple-cake (Recipe () (fruit-cake ())) take apples take oranges take cherries give fruit-salad (Recipe () ()) tally sugar tally oranges tally apples tally cherries tally flour tally apples bag }
038 :: recipes> give let's give make give a give fruit give cake! (Recipe () ()) take flour take sugar take apples (Recipe () (apple-cake ())) take fruit-salad (Recipe (apple-cake ()) (fruit-cake ())) take apples take oranges take cherries give fruit-salad (Recipe () ()) tally sugar tally oranges tally apples tally cherries tally flour tally apples bag }
037 :: recipes> give let's give make give a give fruit give cake! (Recipe () ()) take flour take sugar take apples (Recipe () (apple-cake ())) take fruit-salad (Recipe (apple-cake ()) (fruit-cake ())) take apples take oranges take cherries (Recipe () (fruit-salad ())) tally sugar tally oranges tally apples tally cherries tally flour tally apples bag }
046 :: recipes> give let's give make give a give fruit give cake! (Recipe () ()) take flour take sugar take apples (Recipe () (apple-cake ())) take fruit-salad (Recipe (apple-cake ()) (fruit-cake ())) take apples take oranges take cherries (Recipe () (fruit-salad ())) tally sugar tally oranges tally apples tally cherries tally flour tally apples (Bag ())
037 :: recipes> give let's give make give a give fruit (Recipe () (cake! ())) take flour take sugar take apples (Recipe () (apple-cake ())) take fruit-salad (Recipe (apple-cake ()) (fruit-cake ())) take apples take oranges take cherries (Recipe () (fruit-salad ())) tally sugar tally oranges tally apples tally cherries tally flour tally apples (Bag ())
038 :: recipes> give let's give make give a give fruit (Recipe () (cake! ())) take flour take sugar (Recipe (apples ()) (apple-cake ())) take fruit-salad (Recipe (apple-cake ()) (fruit-cake ())) take apples take oranges take cherries (Recipe () (fruit-salad ())) tally sugar tally oranges tally apples tally cherries tally flour tally apples (Bag ())
038 :: recipes> give let's give make give a give fruit (Recipe () (cake! ())) take flour take sugar (Recipe (apples ()) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) take apples take oranges take cherries (Recipe () (fruit-salad ())) tally sugar tally oranges tally apples tally cherries tally flour tally apples (Bag ())
038 :: recipes> give let's give make give a give fruit (Recipe () (cake! ())) take flour take sugar (Recipe (apples ()) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) take apples take oranges (Recipe (cherries ()) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries tally flour tally apples (Bag ())
004 :: recipes> give let's give make give a give fruit (Recipe () (cake! ())) take flour take sugar (Recipe (apples ()) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) take apples take oranges (Recipe (cherries ()) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries tally flour (Bag tallying| tallying> apples ())
037 :: recipes> give let's give make give a (Recipe () (fruit (cake! ()))) take flour take sugar (Recipe (apples ()) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) take apples take oranges (Recipe (cherries ()) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries tally flour (Bag tallying| tallying> apples ())
038 :: recipes> give let's give make give a (Recipe () (fruit (cake! ()))) take flour (Recipe (sugar (apples ())) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) take apples take oranges (Recipe (cherries ()) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries tally flour (Bag tallying| tallying> apples ())
038 :: recipes> give let's give make give a (Recipe () (fruit (cake! ()))) take flour (Recipe (sugar (apples ())) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) take apples (Recipe (oranges (cherries ())) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries tally flour (Bag tallying| tallying> apples ())
005 :: recipes> give let's give make give a (Recipe () (fruit (cake! ()))) take flour (Recipe (sugar (apples ())) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) take apples (Recipe (oranges (cherries ())) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries tally flour (Bag tallying| <tallying ((Entry apples 1) ()))
037 :: recipes> give let's give make (Recipe () (a (fruit (cake! ())))) take flour (Recipe (sugar (apples ())) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) take apples (Recipe (oranges (cherries ())) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries tally flour (Bag tallying| <tallying ((Entry apples 1) ()))
038 :: recipes> give let's give make (Recipe () (a (fruit (cake! ())))) (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) take apples (Recipe (oranges (cherries ())) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries tally flour (Bag tallying| <tallying ((Entry apples 1) ()))
038 :: recipes> give let's give make (Recipe () (a (fruit (cake! ())))) (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries tally flour (Bag tallying| <tallying ((Entry apples 1) ()))
008 :: recipes> give let's give make (Recipe () (a (fruit (cake! ())))) (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries tally flour (Bag ((Entry apples 1) ()))
037 :: recipes> give let's (Recipe () (make (a (fruit (cake! ()))))) (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries tally flour (Bag ((Entry apples 1) ()))
004 :: recipes> give let's (Recipe () (make (a (fruit (cake! ()))))) (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries (Bag tallying| tallying> flour ((Entry apples 1) ()))
037 :: recipes> (Recipe () (let's (make (a (fruit (cake! ())))))) (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries (Bag tallying| tallying> flour ((Entry apples 1) ()))
007 :: recipes> (Recipe () (let's (make (a (fruit (cake! ())))))) (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries (Bag tallying| ((Entry apples 1) tallying> flour ()))
042 :: (Recipe () (let's (make (a (fruit (cake! ())))))) recipes> (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries (Bag tallying| ((Entry apples 1) tallying> flour ()))
005 :: (Recipe () (let's (make (a (fruit (cake! ())))))) recipes> (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries (Bag tallying| ((Entry apples 1) <tallying ((Entry flour 1) ())))
039 :: recipes> (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries (Bag tallying| ((Entry apples 1) <tallying ((Entry flour 1) ())))
042 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) recipes> (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries (Bag tallying| ((Entry apples 1) <tallying ((Entry flour 1) ())))
009 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) recipes> (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries (Bag tallying| <tallying ((Entry apples 1) ((Entry flour 1) ())))
042 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) recipes> (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries (Bag tallying| <tallying ((Entry apples 1) ((Entry flour 1) ())))
008 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) recipes> (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries (Bag ((Entry apples 1) ((Entry flour 1) ())))
042 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar tally oranges tally apples tally cherries (Bag ((Entry apples 1) ((Entry flour 1) ())))
004 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar tally oranges tally apples (Bag tallying| tallying> cherries ((Entry apples 1) ((Entry flour 1) ())))
007 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar tally oranges tally apples (Bag tallying| ((Entry apples 1) tallying> cherries ((Entry flour 1) ())))
007 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar tally oranges tally apples (Bag tallying| ((Entry apples 1) ((Entry flour 1) tallying> cherries ())))
005 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar tally oranges tally apples (Bag tallying| ((Entry apples 1) ((Entry flour 1) <tallying ((Entry cherries 1) ()))))
009 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar tally oranges tally apples (Bag tallying| ((Entry apples 1) <tallying ((Entry flour 1) ((Entry cherries 1) ()))))
009 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar tally oranges tally apples (Bag tallying| <tallying ((Entry apples 1) ((Entry flour 1) ((Entry cherries 1) ()))))
008 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar tally oranges tally apples (Bag ((Entry apples 1) ((Entry flour 1) ((Entry cherries 1) ()))))
004 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar tally oranges (Bag tallying| tallying> apples ((Entry apples 1) ((Entry flour 1) ((Entry cherries 1) ()))))
006 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar tally oranges (Bag tallying| <tallying ((Entry apples @add 1 1) ((Entry flour 1) ((Entry cherries 1) ()))))
008 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar tally oranges (Bag ((Entry apples @add 1 1) ((Entry flour 1) ((Entry cherries 1) ()))))
004 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar (Bag tallying| tallying> oranges ((Entry apples @add 1 1) ((Entry flour 1) ((Entry cherries 1) ()))))
007 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar (Bag tallying| ((Entry apples @add 1 1) tallying> oranges ((Entry flour 1) ((Entry cherries 1) ()))))
003 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar (Bag tallying| ((Entry apples 2) tallying> oranges ((Entry flour 1) ((Entry cherries 1) ()))))
007 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar (Bag tallying| ((Entry apples 2) ((Entry flour 1) tallying> oranges ((Entry cherries 1) ()))))
007 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) tallying> oranges ()))))
005 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) <tallying ((Entry oranges 1) ())))))
009 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar (Bag tallying| ((Entry apples 2) ((Entry flour 1) <tallying ((Entry cherries 1) ((Entry oranges 1) ())))))
009 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar (Bag tallying| ((Entry apples 2) <tallying ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ())))))
009 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar (Bag tallying| <tallying ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ())))))
008 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> tally sugar (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ())))))
004 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> (Bag tallying| tallying> sugar ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ())))))
007 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> (Bag tallying| ((Entry apples 2) tallying> sugar ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ())))))
007 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> (Bag tallying| ((Entry apples 2) ((Entry flour 1) tallying> sugar ((Entry cherries 1) ((Entry oranges 1) ())))))
007 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) tallying> sugar ((Entry oranges 1) ())))))
007 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) tallying> sugar ())))))
005 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) <tallying ((Entry sugar 1) ()))))))
009 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) <tallying ((Entry oranges 1) ((Entry sugar 1) ()))))))
009 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> (Bag tallying| ((Entry apples 2) ((Entry flour 1) <tallying ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
009 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> (Bag tallying| ((Entry apples 2) <tallying ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
009 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> (Bag tallying| <tallying ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
008 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) recipes> (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
041 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) <ready (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
043 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) <ready (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
043 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) <ready (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
043 :: <ready (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
044 :: rewrite (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
048 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) test> (flour (sugar (apples ()))) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
050 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) test> (flour (sugar (apples ()))) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
050 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test> (flour (sugar (apples ()))) (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
049 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) has all (flour (sugar (apples ()))) (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
019 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| find flour (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
012 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| find> flour ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
015 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| ((Entry apples 2) find> flour ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
013 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| ((Entry apples 2) <found #yes ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
017 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| <found #yes ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
016 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| #yes (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
020 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) has all (sugar (apples ())) (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
019 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (apples ()) has all| find sugar (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
012 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (apples ()) has all| (Bag find| find> sugar ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
015 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (apples ()) has all| (Bag find| ((Entry apples 2) find> sugar ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
015 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (apples ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) find> sugar ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
015 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (apples ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) find> sugar ((Entry oranges 1) ((Entry sugar 1) ()))))))
015 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (apples ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) find> sugar ((Entry sugar 1) ()))))))
013 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (apples ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) <found #yes ((Entry sugar 1) ()))))))
017 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (apples ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) <found #yes ((Entry oranges 1) ((Entry sugar 1) ()))))))
017 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (apples ()) has all| (Bag find| ((Entry apples 2) ((Entry flour 1) <found #yes ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
017 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (apples ()) has all| (Bag find| ((Entry apples 2) <found #yes ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
017 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (apples ()) has all| (Bag find| <found #yes ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
016 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (apples ()) has all| #yes (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
020 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) has all (apples ()) (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
019 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) () has all| find apples (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
012 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) () has all| (Bag find| find> apples ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
013 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) () has all| (Bag find| <found #yes ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
016 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) () has all| #yes (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
020 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) has all () (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
018 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) #yes (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
051 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (flour (sugar (apples ()))) (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
031 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (sugar (apples ())) remove flour (Bag ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
022 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (sugar (apples ())) (Bag remove| remove> flour ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
025 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (sugar (apples ())) (Bag remove| ((Entry apples 2) remove> flour ((Entry flour 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
024 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (sugar (apples ())) (Bag remove| ((Entry apples 2) removing ((Entry flour @sub 1 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
002 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (sugar (apples ())) (Bag remove| ((Entry apples 2) removing ((Entry flour 0) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ()))))))
026 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (sugar (apples ())) (Bag remove| ((Entry apples 2) <remove ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))
029 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (sugar (apples ())) (Bag remove| <remove ((Entry apples 2) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))
028 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (sugar (apples ())) (Bag ((Entry apples 2) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))
031 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apples ()) remove sugar (Bag ((Entry apples 2) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))
022 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apples ()) (Bag remove| remove> sugar ((Entry apples 2) ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))
025 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apples ()) (Bag remove| ((Entry apples 2) remove> sugar ((Entry cherries 1) ((Entry oranges 1) ((Entry sugar 1) ())))))
025 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apples ()) (Bag remove| ((Entry apples 2) ((Entry cherries 1) remove> sugar ((Entry oranges 1) ((Entry sugar 1) ())))))
025 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apples ()) (Bag remove| ((Entry apples 2) ((Entry cherries 1) ((Entry oranges 1) remove> sugar ((Entry sugar 1) ())))))
024 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apples ()) (Bag remove| ((Entry apples 2) ((Entry cherries 1) ((Entry oranges 1) removing ((Entry sugar @sub 1 1) ())))))
002 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apples ()) (Bag remove| ((Entry apples 2) ((Entry cherries 1) ((Entry oranges 1) removing ((Entry sugar 0) ())))))
026 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apples ()) (Bag remove| ((Entry apples 2) ((Entry cherries 1) ((Entry oranges 1) <remove ()))))
029 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apples ()) (Bag remove| ((Entry apples 2) ((Entry cherries 1) <remove ((Entry oranges 1) ()))))
029 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apples ()) (Bag remove| ((Entry apples 2) <remove ((Entry cherries 1) ((Entry oranges 1) ()))))
029 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apples ()) (Bag remove| <remove ((Entry apples 2) ((Entry cherries 1) ((Entry oranges 1) ()))))
028 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apples ()) (Bag ((Entry apples 2) ((Entry cherries 1) ((Entry oranges 1) ()))))
031 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all () remove apples (Bag ((Entry apples 2) ((Entry cherries 1) ((Entry oranges 1) ()))))
030 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove apples (Bag ((Entry apples 2) ((Entry cherries 1) ((Entry oranges 1) ()))))
022 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes (Bag remove| remove> apples ((Entry apples 2) ((Entry cherries 1) ((Entry oranges 1) ()))))
024 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes (Bag remove| removing ((Entry apples @sub 2 1) ((Entry cherries 1) ((Entry oranges 1) ()))))
002 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes (Bag remove| removing ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ()))))
027 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes (Bag remove| <remove ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ()))))
028 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ()))))
053 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) <match #yes (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ()))))
056 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) <match #yes (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ()))))
056 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) <match #yes (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ()))))
056 :: rewrite| <match #yes (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ()))))
054 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) update> (apple-cake ()) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ()))))
058 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) update> (apple-cake ()) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ()))))
058 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update> (apple-cake ()) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ()))))
057 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| tally all (apple-cake ()) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ()))))
011 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| tally all () tally apple-cake (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ()))))
010 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| tally apple-cake (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ()))))
004 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| (Bag tallying| tallying> apple-cake ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ()))))
007 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| (Bag tallying| ((Entry apples 1) tallying> apple-cake ((Entry cherries 1) ((Entry oranges 1) ()))))
007 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| (Bag tallying| ((Entry apples 1) ((Entry cherries 1) tallying> apple-cake ((Entry oranges 1) ()))))
007 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| (Bag tallying| ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) tallying> apple-cake ()))))
005 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| (Bag tallying| ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) <tallying ((Entry apple-cake 1) ())))))
009 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| (Bag tallying| ((Entry apples 1) ((Entry cherries 1) <tallying ((Entry oranges 1) ((Entry apple-cake 1) ())))))
009 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| (Bag tallying| ((Entry apples 1) <tallying ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
009 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| (Bag tallying| <tallying ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
008 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
059 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) <update (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
061 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) <update (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
061 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) <update (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
061 :: rewrite| <update (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
060 :: <rewrite (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
063 :: rewrite (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
048 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) test> (flour (sugar (apples ()))) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
050 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) test> (flour (sugar (apples ()))) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
050 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test> (flour (sugar (apples ()))) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
049 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) has all (flour (sugar (apples ()))) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
019 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| find flour (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
012 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| find> flour ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
015 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| ((Entry apples 1) find> flour ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
015 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| ((Entry apples 1) ((Entry cherries 1) find> flour ((Entry oranges 1) ((Entry apple-cake 1) ())))))
015 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) find> flour ((Entry apple-cake 1) ())))))
015 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) find> flour ())))))
014 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) <found #no ())))))
017 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) <found #no ((Entry apple-cake 1) ())))))
017 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| ((Entry apples 1) ((Entry cherries 1) <found #no ((Entry oranges 1) ((Entry apple-cake 1) ())))))
017 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| ((Entry apples 1) <found #no ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
017 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| <found #no ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
016 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| #no (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
021 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) #no (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
052 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) <match #no (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
056 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) <match #no (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
056 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) <match #no (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
056 :: rewrite| <match #no (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
055 :: rewrite> (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
065 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
048 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) test> (fruit-salad (apple-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
050 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test> (fruit-salad (apple-cake ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
049 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) has all (fruit-salad (apple-cake ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
019 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| find fruit-salad (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
012 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| find> fruit-salad ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
015 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| ((Entry apples 1) find> fruit-salad ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
015 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| ((Entry apples 1) ((Entry cherries 1) find> fruit-salad ((Entry oranges 1) ((Entry apple-cake 1) ())))))
015 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) find> fruit-salad ((Entry apple-cake 1) ())))))
015 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) find> fruit-salad ())))))
014 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) <found #no ())))))
017 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) <found #no ((Entry apple-cake 1) ())))))
017 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| ((Entry apples 1) ((Entry cherries 1) <found #no ((Entry oranges 1) ((Entry apple-cake 1) ())))))
017 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| ((Entry apples 1) <found #no ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
017 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| <found #no ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
016 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| #no (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
021 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) #no (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
052 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) <match #no (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
056 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) <match #no (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
056 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| <match #no (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
055 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite> (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
065 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
048 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test> (apples (oranges (cherries ()))) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
049 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) has all (apples (oranges (cherries ()))) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
019 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (oranges (cherries ())) has all| find apples (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
012 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (oranges (cherries ())) has all| (Bag find| find> apples ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
013 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (oranges (cherries ())) has all| (Bag find| <found #yes ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
016 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (oranges (cherries ())) has all| #yes (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
020 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) has all (oranges (cherries ())) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
019 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (cherries ()) has all| find oranges (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
012 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (cherries ()) has all| (Bag find| find> oranges ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
015 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (cherries ()) has all| (Bag find| ((Entry apples 1) find> oranges ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
015 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (cherries ()) has all| (Bag find| ((Entry apples 1) ((Entry cherries 1) find> oranges ((Entry oranges 1) ((Entry apple-cake 1) ())))))
013 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (cherries ()) has all| (Bag find| ((Entry apples 1) ((Entry cherries 1) <found #yes ((Entry oranges 1) ((Entry apple-cake 1) ())))))
017 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (cherries ()) has all| (Bag find| ((Entry apples 1) <found #yes ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
017 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (cherries ()) has all| (Bag find| <found #yes ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
016 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (cherries ()) has all| #yes (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
020 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) has all (cherries ()) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
019 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) () has all| find cherries (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
012 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) () has all| (Bag find| find> cherries ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
015 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) () has all| (Bag find| ((Entry apples 1) find> cherries ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
013 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) () has all| (Bag find| ((Entry apples 1) <found #yes ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
017 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) () has all| (Bag find| <found #yes ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
016 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) () has all| #yes (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
020 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) has all () (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
018 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) #yes (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
051 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apples (oranges (cherries ()))) (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
031 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (oranges (cherries ())) remove apples (Bag ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
022 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (oranges (cherries ())) (Bag remove| remove> apples ((Entry apples 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
024 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (oranges (cherries ())) (Bag remove| removing ((Entry apples @sub 1 1) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
002 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (oranges (cherries ())) (Bag remove| removing ((Entry apples 0) ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ())))))
026 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (oranges (cherries ())) (Bag remove| <remove ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ()))))
028 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (oranges (cherries ())) (Bag ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ()))))
031 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (cherries ()) remove oranges (Bag ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ()))))
022 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (cherries ()) (Bag remove| remove> oranges ((Entry cherries 1) ((Entry oranges 1) ((Entry apple-cake 1) ()))))
025 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (cherries ()) (Bag remove| ((Entry cherries 1) remove> oranges ((Entry oranges 1) ((Entry apple-cake 1) ()))))
024 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (cherries ()) (Bag remove| ((Entry cherries 1) removing ((Entry oranges @sub 1 1) ((Entry apple-cake 1) ()))))
002 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (cherries ()) (Bag remove| ((Entry cherries 1) removing ((Entry oranges 0) ((Entry apple-cake 1) ()))))
026 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (cherries ()) (Bag remove| ((Entry cherries 1) <remove ((Entry apple-cake 1) ())))
029 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (cherries ()) (Bag remove| <remove ((Entry cherries 1) ((Entry apple-cake 1) ())))
028 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (cherries ()) (Bag ((Entry cherries 1) ((Entry apple-cake 1) ())))
031 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all () remove cherries (Bag ((Entry cherries 1) ((Entry apple-cake 1) ())))
030 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove cherries (Bag ((Entry cherries 1) ((Entry apple-cake 1) ())))
022 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes (Bag remove| remove> cherries ((Entry cherries 1) ((Entry apple-cake 1) ())))
024 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes (Bag remove| removing ((Entry cherries @sub 1 1) ((Entry apple-cake 1) ())))
002 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes (Bag remove| removing ((Entry cherries 0) ((Entry apple-cake 1) ())))
026 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes (Bag remove| <remove ((Entry apple-cake 1) ()))
028 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes (Bag ((Entry apple-cake 1) ()))
053 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) <match #yes (Bag ((Entry apple-cake 1) ()))
056 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| <match #yes (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apple-cake 1) ()))
054 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update> (fruit-salad ()) (Bag ((Entry apple-cake 1) ()))
057 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| tally all (fruit-salad ()) (Bag ((Entry apple-cake 1) ()))
011 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| tally all () tally fruit-salad (Bag ((Entry apple-cake 1) ()))
010 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| tally fruit-salad (Bag ((Entry apple-cake 1) ()))
004 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| (Bag tallying| tallying> fruit-salad ((Entry apple-cake 1) ()))
007 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| (Bag tallying| ((Entry apple-cake 1) tallying> fruit-salad ()))
005 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| (Bag tallying| ((Entry apple-cake 1) <tallying ((Entry fruit-salad 1) ())))
009 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| (Bag tallying| <tallying ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
008 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
059 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) <update (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
061 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| <update (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
060 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) <rewrite (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
062 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) <rewrite (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
062 :: <rewrite (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
063 :: rewrite (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
048 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) test> (flour (sugar (apples ()))) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
050 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) test> (flour (sugar (apples ()))) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
050 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test> (flour (sugar (apples ()))) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
049 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) has all (flour (sugar (apples ()))) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
019 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| find flour (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
012 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| find> flour ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
015 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| ((Entry apple-cake 1) find> flour ((Entry fruit-salad 1) ())))
015 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| ((Entry apple-cake 1) ((Entry fruit-salad 1) find> flour ())))
014 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| ((Entry apple-cake 1) ((Entry fruit-salad 1) <found #no ())))
017 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| ((Entry apple-cake 1) <found #no ((Entry fruit-salad 1) ())))
017 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| <found #no ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
016 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| #no (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
021 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) #no (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
052 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) <match #no (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
056 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) <match #no (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
056 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) <match #no (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
056 :: rewrite| <match #no (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
055 :: rewrite> (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
065 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
048 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) test> (fruit-salad (apple-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
050 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test> (fruit-salad (apple-cake ())) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
049 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) has all (fruit-salad (apple-cake ())) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
019 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| find fruit-salad (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
012 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| find> fruit-salad ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
015 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| ((Entry apple-cake 1) find> fruit-salad ((Entry fruit-salad 1) ())))
013 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| ((Entry apple-cake 1) <found #yes ((Entry fruit-salad 1) ())))
017 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| <found #yes ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
016 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| #yes (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
020 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) has all (apple-cake ()) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
019 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) () has all| find apple-cake (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
012 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) () has all| (Bag find| find> apple-cake ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
013 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) () has all| (Bag find| <found #yes ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
016 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) () has all| #yes (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
020 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) has all () (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
018 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) #yes (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
051 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (fruit-salad (apple-cake ())) (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
031 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apple-cake ()) remove fruit-salad (Bag ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
022 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apple-cake ()) (Bag remove| remove> fruit-salad ((Entry apple-cake 1) ((Entry fruit-salad 1) ())))
025 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apple-cake ()) (Bag remove| ((Entry apple-cake 1) remove> fruit-salad ((Entry fruit-salad 1) ())))
024 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apple-cake ()) (Bag remove| ((Entry apple-cake 1) removing ((Entry fruit-salad @sub 1 1) ())))
002 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apple-cake ()) (Bag remove| ((Entry apple-cake 1) removing ((Entry fruit-salad 0) ())))
026 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apple-cake ()) (Bag remove| ((Entry apple-cake 1) <remove ()))
029 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apple-cake ()) (Bag remove| <remove ((Entry apple-cake 1) ()))
028 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all (apple-cake ()) (Bag ((Entry apple-cake 1) ()))
031 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove all () remove apple-cake (Bag ((Entry apple-cake 1) ()))
030 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes remove apple-cake (Bag ((Entry apple-cake 1) ()))
022 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes (Bag remove| remove> apple-cake ((Entry apple-cake 1) ()))
024 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes (Bag remove| removing ((Entry apple-cake @sub 1 1) ()))
002 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes (Bag remove| removing ((Entry apple-cake 0) ()))
026 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes (Bag remove| <remove ())
028 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes (Bag ())
053 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) <match #yes (Bag ())
056 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) <match #yes (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ())
056 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| <match #yes (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ())
054 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) update> (fruit-cake ()) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ())
058 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update> (fruit-cake ()) (Bag ())
057 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| tally all (fruit-cake ()) (Bag ())
011 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| tally all () tally fruit-cake (Bag ())
010 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| tally fruit-cake (Bag ())
004 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| (Bag tallying| tallying> fruit-cake ())
005 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| (Bag tallying| <tallying ((Entry fruit-cake 1) ()))
008 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) update| (Bag ((Entry fruit-cake 1) ()))
059 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) <update (Bag ((Entry fruit-cake 1) ()))
061 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) <update (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
061 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| <update (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
060 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) <rewrite (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
062 :: <rewrite (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
063 :: rewrite (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
048 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) test> (flour (sugar (apples ()))) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
050 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) test> (flour (sugar (apples ()))) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
050 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test> (flour (sugar (apples ()))) (Bag ((Entry fruit-cake 1) ()))
049 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) has all (flour (sugar (apples ()))) (Bag ((Entry fruit-cake 1) ()))
019 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| find flour (Bag ((Entry fruit-cake 1) ()))
012 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| find> flour ((Entry fruit-cake 1) ()))
015 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| ((Entry fruit-cake 1) find> flour ()))
014 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| ((Entry fruit-cake 1) <found #no ()))
017 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| (Bag find| <found #no ((Entry fruit-cake 1) ()))
016 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) (sugar (apples ())) has all| #no (Bag ((Entry fruit-cake 1) ()))
021 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (flour (sugar (apples ()))) #no (Bag ((Entry fruit-cake 1) ()))
052 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) <match #no (Bag ((Entry fruit-cake 1) ()))
056 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) <match #no (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
056 :: rewrite| (Recipe (flour (sugar (apples ()))) (apple-cake ())) <match #no (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
056 :: rewrite| <match #no (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
055 :: rewrite> (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
065 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
048 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) test> (fruit-salad (apple-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
050 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test> (fruit-salad (apple-cake ())) (Bag ((Entry fruit-cake 1) ()))
049 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) has all (fruit-salad (apple-cake ())) (Bag ((Entry fruit-cake 1) ()))
019 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| find fruit-salad (Bag ((Entry fruit-cake 1) ()))
012 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| find> fruit-salad ((Entry fruit-cake 1) ()))
015 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| ((Entry fruit-cake 1) find> fruit-salad ()))
014 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| ((Entry fruit-cake 1) <found #no ()))
017 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| (Bag find| <found #no ((Entry fruit-cake 1) ()))
016 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) (apple-cake ()) has all| #no (Bag ((Entry fruit-cake 1) ()))
021 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (fruit-salad (apple-cake ())) #no (Bag ((Entry fruit-cake 1) ()))
052 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) <match #no (Bag ((Entry fruit-cake 1) ()))
056 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) <match #no (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
056 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| <match #no (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
055 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite> (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
065 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
048 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test> (apples (oranges (cherries ()))) (Bag ((Entry fruit-cake 1) ()))
049 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) has all (apples (oranges (cherries ()))) (Bag ((Entry fruit-cake 1) ()))
019 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (oranges (cherries ())) has all| find apples (Bag ((Entry fruit-cake 1) ()))
012 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (oranges (cherries ())) has all| (Bag find| find> apples ((Entry fruit-cake 1) ()))
015 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (oranges (cherries ())) has all| (Bag find| ((Entry fruit-cake 1) find> apples ()))
014 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (oranges (cherries ())) has all| (Bag find| ((Entry fruit-cake 1) <found #no ()))
017 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (oranges (cherries ())) has all| (Bag find| <found #no ((Entry fruit-cake 1) ()))
016 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) (oranges (cherries ())) has all| #no (Bag ((Entry fruit-cake 1) ()))
021 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) test| (apples (oranges (cherries ()))) #no (Bag ((Entry fruit-cake 1) ()))
052 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) <match #no (Bag ((Entry fruit-cake 1) ()))
056 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite| <match #no (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
055 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) rewrite> (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ((Entry fruit-cake 1) ()))
065 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) rewrite (Bag ((Entry fruit-cake 1) ()))
064 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) done (Bag ((Entry fruit-cake 1) ()))
066 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) done (Bag ((Entry fruit-cake 1) ()))
066 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) done (Bag ((Entry fruit-cake 1) ()))
066 :: done (Bag ((Entry fruit-cake 1) ()))
--- :: done (Bag ((Entry fruit-cake 1) ()))
Completed in 409 rewrites needing 25409 iterations.
