capitalex / rewriting.modal

<> (tally ?value (Bag ?list)) ((Bag tallying| tallying> ?value ?list)) <> (tallying> ?value ()) (<tallying ((Entry ?value 1) ())) <> (tallying> ?value ((Entry ?value ?count) ?rest)) (<tallying ((Entry ?value @add ?count 1) ?rest)) <> (tallying> ?value (?entry ?rest)) ((?entry tallying> ?value ?rest)) <> ((Bag tallying| <tallying ?list)) ((Bag ?list)) <> ((?entry <tallying ?previous)) (<tallying (?entry ?previous)) <> (tally all ()) () <> (tally all (?item ?rest) (Bag ?list)) (tally all ?rest tally ?item (Bag ?list)) <> (find ?value (Bag ?list)) ((Bag find| find> ?value ?list)) <> (find> ?value ((Entry ?value ?count) ?rest)) (<found #yes ((Entry ?value ?count) ?rest)) <> (find> ?value ()) (<found #no ()) <> (find> ?value (?entry ?rest)) ((?entry find> ?value ?rest)) <> ((Bag find| <found ?answer ?list)) (?answer (Bag ?list)) <> ((?entry <found ?answer ?previous)) (<found ?answer (?entry ?previous)) <> (has all ()) (#yes) <> (has all (?item ?rest)) (?rest has all| find ?item) <> (?rest has all| #yes) (has all ?rest) <> (?rest has all| #no) (#no) <> (remove ?item (Bag ?rest)) ((Bag remove| remove> ?item ?rest)) <> (remove> ?item ()) (<remove ()) <> (remove> ?item ((Entry ?item ?count) ?rest)) (removing ((Entry ?item @sub ?count 1) ?rest)) <> (remove> ?item (?entry ?rest)) ((?entry remove> ?item ?rest)) <> (removing ((Entry ?item 0) ?rest)) (<remove ?rest) <> (removing ((Entry ?item ?count) ?rest)) (<remove ((Entry ?item ?count) ?rest)) <> ((Bag remove| <remove ?list)) ((Bag ?list)) <> ((?entry <remove ?previous)) (<remove (?entry ?previous)) <> (remove all ()) () <> (remove all (?item ?rest) (Bag ?list)) (remove all ?rest remove ?item (Bag ?list)) <> (:) (takes>) <> (takes> >) (gives>) <> (gives> ;) ((Recipe () ())) <> (takes> ?item) (take ?item takes>) <> (gives> ?item) (give ?item gives>) <> (give ?item (Recipe ?needs ?gives)) ((Recipe ?needs (?item ?gives))) <> (take ?item (Recipe ?needs ?gives)) ((Recipe (?item ?needs) ?gives)) <> ((Recipe () ?gives)) () <> (recipes) (recipes>) <> (recipes> (Bag ?list)) (<ready (Bag ?list)) <> (recipes> (Recipe ?needs ?gives)) ((Recipe ?needs ?gives) recipes>) <> ((Recipe ?needs ?gives) <ready) (<ready (Recipe ?needs ?gives)) <> (<ready) (rewrite) <> (bag {) (bag) <> (bag }) ((Bag ())) <> (bag ?item) (tally ?item bag) <> (rewrite (Recipe ?needs ?gives)) (rewrite| (Recipe ?needs ?gives) test> ?needs) <> (test> ?needs (Bag ?list)) (test| ?needs has all ?needs (Bag ?list)) <> (test> ?needs ?recipe) (?recipe test> ?needs) <> (test| ?needs #yes) (match| #yes remove all ?needs) <> (test| ?needs #no) (<match #no) <> (match| #yes (Bag ?list)) (<match #yes (Bag ?list)) <> (rewrite| <match #yes (Recipe ?needs ?gives)) (rewrite| (Recipe ?needs ?gives) update> ?gives) <> (rewrite| <match #no) (rewrite>) <> (?recipe <match ?answer) (<match ?answer ?recipe) <> (update> ?gives (Bag ?list)) (update| tally all ?gives (Bag ?list)) <> (update> ?gives ?recipe) (?recipe update> ?gives) <> (update| (Bag ?list)) (<update (Bag ?list)) <> (rewrite| <update) (<rewrite) <> (?recipe <update) (<update ?recipe) <> (?recipe <rewrite) (<rewrite ?recipe) <> (<rewrite) (rewrite) <> (rewrite (Bag ?list)) (done (Bag ?list)) <> (rewrite> ?recipe) (?recipe rewrite) <> (?recipe done) (done) 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 }

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