--- :: 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| 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| 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| 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| 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) (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) (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) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries (Bag tallying| (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) tally sugar tally oranges tally apples tally cherries (Bag tallying| (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) tally sugar tally oranges tally apples (Bag tallying| ((Entry apples 1) tally sugar tally oranges tally apples (Bag tallying| 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| 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) tally sugar (Bag tallying| ((Entry apples 2) ((Entry flour 1) tally sugar (Bag tallying| ((Entry apples 2) tally sugar (Bag tallying| 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) (Bag tallying| ((Entry apples 2) ((Entry flour 1) ((Entry cherries 1) (Bag tallying| ((Entry apples 2) ((Entry flour 1) (Bag tallying| ((Entry apples 2) (Bag tallying| (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 ())) (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) 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) 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| 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) 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) 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| (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) (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) (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) (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| 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) 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) 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| 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) 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| (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) (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) (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) 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| 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) 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| (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| (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) (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) (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) (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.