喜欢 0
派生 0

最后活跃于 1729780817

capitalex's Avatar capitalex 修订了这个 Gist 1729780817. 转到此修订

2 files changed, 530 insertions

rewriting.modal(文件已创建)

@@ -0,0 +1,118 @@
1 + <> (tally ?value (Bag ?list)) ((Bag tallying| tallying> ?value ?list))
2 +
3 + <> (tallying> ?value ())
4 + (<tallying ((Entry ?value 1) ()))
5 +
6 + <> (tallying> ?value ((Entry ?value ?count) ?rest))
7 + (<tallying ((Entry ?value @add ?count 1) ?rest))
8 +
9 + <> (tallying> ?value (?entry ?rest))
10 + ((?entry tallying> ?value ?rest))
11 +
12 + <> ((Bag tallying| <tallying ?list)) ((Bag ?list))
13 + <> ((?entry <tallying ?previous)) (<tallying (?entry ?previous))
14 +
15 + <> (tally all ()) ()
16 + <> (tally all (?item ?rest) (Bag ?list)) (tally all ?rest tally ?item (Bag ?list))
17 +
18 +
19 +
20 + <> (find ?value (Bag ?list)) ((Bag find| find> ?value ?list))
21 +
22 + <> (find> ?value ((Entry ?value ?count) ?rest))
23 + (<found #yes ((Entry ?value ?count) ?rest))
24 + <> (find> ?value ()) (<found #no ())
25 +
26 + <> (find> ?value (?entry ?rest)) ((?entry find> ?value ?rest))
27 +
28 + <> ((Bag find| <found ?answer ?list)) (?answer (Bag ?list))
29 + <> ((?entry <found ?answer ?previous)) (<found ?answer (?entry ?previous))
30 +
31 +
32 +
33 + <> (has all ()) (#yes)
34 + <> (has all (?item ?rest)) (?rest has all| find ?item)
35 + <> (?rest has all| #yes) (has all ?rest)
36 + <> (?rest has all| #no) (#no)
37 +
38 +
39 +
40 + <> (remove ?item (Bag ?rest)) ((Bag remove| remove> ?item ?rest))
41 +
42 + <> (remove> ?item ()) (<remove ())
43 + <> (remove> ?item ((Entry ?item ?count) ?rest)) (removing ((Entry ?item @sub ?count 1) ?rest))
44 + <> (remove> ?item (?entry ?rest)) ((?entry remove> ?item ?rest))
45 +
46 + <> (removing ((Entry ?item 0) ?rest)) (<remove ?rest)
47 + <> (removing ((Entry ?item ?count) ?rest)) (<remove ((Entry ?item ?count) ?rest))
48 +
49 + <> ((Bag remove| <remove ?list)) ((Bag ?list))
50 + <> ((?entry <remove ?previous)) (<remove (?entry ?previous))
51 +
52 + <> (remove all ()) ()
53 + <> (remove all (?item ?rest) (Bag ?list)) (remove all ?rest remove ?item (Bag ?list))
54 +
55 +
56 + <> (:) (takes>)
57 + <> (takes> >) (gives>)
58 + <> (gives> ;) ((Recipe () ()))
59 +
60 + <> (takes> ?item) (take ?item takes>)
61 + <> (gives> ?item) (give ?item gives>)
62 +
63 + <> (give ?item (Recipe ?needs ?gives)) ((Recipe ?needs (?item ?gives)))
64 + <> (take ?item (Recipe ?needs ?gives)) ((Recipe (?item ?needs) ?gives))
65 +
66 + <> ((Recipe () ?gives)) ()
67 +
68 + <> (recipes) (recipes>)
69 +
70 + <> (recipes> (Bag ?list)) (<ready (Bag ?list))
71 + <> (recipes> (Recipe ?needs ?gives)) ((Recipe ?needs ?gives) recipes>)
72 +
73 + <> ((Recipe ?needs ?gives) <ready) (<ready (Recipe ?needs ?gives))
74 + <> (<ready) (rewrite)
75 +
76 + <> (bag {) (bag)
77 + <> (bag }) ((Bag ()))
78 + <> (bag ?item) (tally ?item bag)
79 +
80 +
81 + <> (rewrite (Recipe ?needs ?gives)) (rewrite| (Recipe ?needs ?gives) test> ?needs)
82 +
83 + <> (test> ?needs (Bag ?list)) (test| ?needs has all ?needs (Bag ?list))
84 + <> (test> ?needs ?recipe) (?recipe test> ?needs)
85 +
86 + <> (test| ?needs #yes) (match| #yes remove all ?needs)
87 + <> (test| ?needs #no) (<match #no)
88 +
89 + <> (match| #yes (Bag ?list)) (<match #yes (Bag ?list))
90 +
91 + <> (rewrite| <match #yes (Recipe ?needs ?gives)) (rewrite| (Recipe ?needs ?gives) update> ?gives)
92 + <> (rewrite| <match #no) (rewrite>)
93 + <> (?recipe <match ?answer) (<match ?answer ?recipe)
94 +
95 + <> (update> ?gives (Bag ?list)) (update| tally all ?gives (Bag ?list))
96 + <> (update> ?gives ?recipe) (?recipe update> ?gives)
97 +
98 + <> (update| (Bag ?list)) (<update (Bag ?list))
99 +
100 + <> (rewrite| <update) (<rewrite)
101 + <> (?recipe <update) (<update ?recipe)
102 +
103 + <> (?recipe <rewrite) (<rewrite ?recipe)
104 + <> (<rewrite) (rewrite)
105 +
106 + <> (rewrite (Bag ?list)) (done (Bag ?list))
107 + <> (rewrite> ?recipe) (?recipe rewrite)
108 +
109 + <> (?recipe done) (done)
110 +
111 +
112 + recipes
113 + : > let's make a fruit cake! ;
114 + : flour sugar apples > apple-cake ;
115 + : fruit-salad apple-cake > fruit-cake ;
116 + : apples oranges cherries > fruit-salad ;
117 +
118 + bag { sugar oranges apples cherries flour apples }

trace.txt(文件已创建)

@@ -0,0 +1,412 @@
1 + --- :: 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 }
2 + 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 }
3 + 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 }
4 + 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 }
5 + 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 }
6 + 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 }
7 + 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 }
8 + 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 }
9 + 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 }
10 + 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 }
11 + 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 }
12 + 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 }
13 + 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 }
14 + 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 }
15 + 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 }
16 + 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 }
17 + 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 }
18 + 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 }
19 + 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 }
20 + 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 }
21 + 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 }
22 + 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 }
23 + 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 }
24 + 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 }
25 + 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 }
26 + 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 }
27 + 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 }
28 + 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 }
29 + 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 }
30 + 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 }
31 + 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 }
32 + 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 }
33 + 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 }
34 + 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 }
35 + 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 }
36 + 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 }
37 + 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 }
38 + 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 }
39 + 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 }
40 + 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 }
41 + 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 }
42 + 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 ())
43 + 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 ())
44 + 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 ())
45 + 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 ())
46 + 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 ())
47 + 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 ())
48 + 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 ())
49 + 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 ())
50 + 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 ())
51 + 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) ()))
52 + 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) ()))
53 + 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) ()))
54 + 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) ()))
55 + 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) ()))
56 + 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) ()))
57 + 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) ()))
58 + 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) ()))
59 + 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 ()))
60 + 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 ()))
61 + 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) ())))
62 + 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) ())))
63 + 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) ())))
64 + 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) ())))
65 + 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) ())))
66 + 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) ())))
67 + 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) ())))
68 + 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) ())))
69 + 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) ())))
70 + 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 ())))
71 + 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) ()))))
72 + 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) ()))))
73 + 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) ()))))
74 + 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) ()))))
75 + 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) ()))))
76 + 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) ()))))
77 + 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) ()))))
78 + 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) ()))))
79 + 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) ()))))
80 + 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) ()))))
81 + 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) ()))))
82 + 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 ()))))
83 + 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) ())))))
84 + 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) ())))))
85 + 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) ())))))
86 + 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) ())))))
87 + 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) ())))))
88 + 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) ())))))
89 + 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) ())))))
90 + 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) ())))))
91 + 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) ())))))
92 + 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 ())))))
93 + 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) ()))))))
94 + 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) ()))))))
95 + 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) ()))))))
96 + 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) ()))))))
97 + 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) ()))))))
98 + 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) ()))))))
99 + 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) ()))))))
100 + 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) ()))))))
101 + 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) ()))))))
102 + 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) ()))))))
103 + 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) ()))))))
104 + 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) ()))))))
105 + 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) ()))))))
106 + 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) ()))))))
107 + 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) ()))))))
108 + 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) ()))))))
109 + 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) ()))))))
110 + 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) ()))))))
111 + 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) ()))))))
112 + 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) ()))))))
113 + 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) ()))))))
114 + 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) ()))))))
115 + 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) ()))))))
116 + 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) ()))))))
117 + 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) ()))))))
118 + 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) ()))))))
119 + 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) ()))))))
120 + 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) ()))))))
121 + 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) ()))))))
122 + 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) ()))))))
123 + 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) ()))))))
124 + 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) ()))))))
125 + 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) ()))))))
126 + 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) ()))))))
127 + 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) ()))))))
128 + 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) ()))))))
129 + 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) ()))))))
130 + 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) ()))))))
131 + 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) ()))))))
132 + 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) ()))))))
133 + 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) ()))))))
134 + 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) ()))))))
135 + 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) ()))))))
136 + 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) ()))))))
137 + 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) ()))))))
138 + 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) ()))))))
139 + 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) ()))))))
140 + 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) ())))))
141 + 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) ())))))
142 + 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) ())))))
143 + 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) ())))))
144 + 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) ())))))
145 + 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) ())))))
146 + 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) ())))))
147 + 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) ())))))
148 + 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) ())))))
149 + 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) ())))))
150 + 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 ()))))
151 + 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) ()))))
152 + 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) ()))))
153 + 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) ()))))
154 + 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) ()))))
155 + 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) ()))))
156 + 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) ()))))
157 + 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) ()))))
158 + 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) ()))))
159 + 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) ()))))
160 + 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) ()))))
161 + 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) ()))))
162 + 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) ()))))
163 + 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) ()))))
164 + 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) ()))))
165 + 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) ()))))
166 + 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) ()))))
167 + 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) ()))))
168 + 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) ()))))
169 + 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) ()))))
170 + 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) ()))))
171 + 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) ()))))
172 + 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) ()))))
173 + 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) ()))))
174 + 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) ()))))
175 + 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 ()))))
176 + 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) ())))))
177 + 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) ())))))
178 + 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) ())))))
179 + 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) ())))))
180 + 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) ())))))
181 + 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) ())))))
182 + 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) ())))))
183 + 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) ())))))
184 + 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) ())))))
185 + 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) ())))))
186 + 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) ())))))
187 + 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) ())))))
188 + 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) ())))))
189 + 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) ())))))
190 + 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) ())))))
191 + 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) ())))))
192 + 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) ())))))
193 + 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) ())))))
194 + 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) ())))))
195 + 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) ())))))
196 + 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 ())))))
197 + 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 ())))))
198 + 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) ())))))
199 + 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) ())))))
200 + 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) ())))))
201 + 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) ())))))
202 + 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) ())))))
203 + 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) ())))))
204 + 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) ())))))
205 + 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) ())))))
206 + 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) ())))))
207 + 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) ())))))
208 + 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) ())))))
209 + 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) ())))))
210 + 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) ())))))
211 + 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) ())))))
212 + 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) ())))))
213 + 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) ())))))
214 + 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) ())))))
215 + 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) ())))))
216 + 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) ())))))
217 + 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) ())))))
218 + 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 ())))))
219 + 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 ())))))
220 + 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) ())))))
221 + 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) ())))))
222 + 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) ())))))
223 + 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) ())))))
224 + 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) ())))))
225 + 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) ())))))
226 + 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) ())))))
227 + 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) ())))))
228 + 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) ())))))
229 + 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) ())))))
230 + 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) ())))))
231 + 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) ())))))
232 + 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) ())))))
233 + 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) ())))))
234 + 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) ())))))
235 + 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) ())))))
236 + 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) ())))))
237 + 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) ())))))
238 + 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) ())))))
239 + 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) ())))))
240 + 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) ())))))
241 + 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) ())))))
242 + 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) ())))))
243 + 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) ())))))
244 + 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) ())))))
245 + 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) ())))))
246 + 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) ())))))
247 + 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) ())))))
248 + 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) ())))))
249 + 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) ())))))
250 + 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) ())))))
251 + 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) ())))))
252 + 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) ())))))
253 + 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) ())))))
254 + 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) ())))))
255 + 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) ())))))
256 + 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) ())))))
257 + 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) ())))))
258 + 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) ())))))
259 + 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) ())))))
260 + 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) ()))))
261 + 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) ()))))
262 + 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) ()))))
263 + 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) ()))))
264 + 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) ()))))
265 + 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) ()))))
266 + 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) ()))))
267 + 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) ())))
268 + 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) ())))
269 + 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) ())))
270 + 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) ())))
271 + 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) ())))
272 + 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) ())))
273 + 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) ())))
274 + 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) ())))
275 + 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) ()))
276 + 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) ()))
277 + 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) ()))
278 + 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) ()))
279 + 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) ()))
280 + 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) ()))
281 + 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) ()))
282 + 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) ()))
283 + 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) ()))
284 + 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 ()))
285 + 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) ())))
286 + 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) ())))
287 + 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) ())))
288 + 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) ())))
289 + 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) ())))
290 + 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) ())))
291 + 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) ())))
292 + 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) ())))
293 + 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) ())))
294 + 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) ())))
295 + 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) ())))
296 + 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) ())))
297 + 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) ())))
298 + 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) ())))
299 + 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) ())))
300 + 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) ())))
301 + 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 ())))
302 + 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 ())))
303 + 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) ())))
304 + 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) ())))
305 + 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) ())))
306 + 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) ())))
307 + 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) ())))
308 + 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) ())))
309 + 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) ())))
310 + 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) ())))
311 + 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) ())))
312 + 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) ())))
313 + 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) ())))
314 + 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) ())))
315 + 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) ())))
316 + 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) ())))
317 + 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) ())))
318 + 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) ())))
319 + 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) ())))
320 + 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) ())))
321 + 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) ())))
322 + 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) ())))
323 + 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) ())))
324 + 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) ())))
325 + 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) ())))
326 + 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) ())))
327 + 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) ())))
328 + 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) ())))
329 + 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) ())))
330 + 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) ())))
331 + 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) ())))
332 + 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) ())))
333 + 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) ())))
334 + 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) ())))
335 + 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 ()))
336 + 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) ()))
337 + 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) ()))
338 + 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) ()))
339 + 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) ()))
340 + 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) ()))
341 + 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) ()))
342 + 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) ()))
343 + 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 ())
344 + 028 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) match| #yes (Bag ())
345 + 053 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) <match #yes (Bag ())
346 + 056 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) <match #yes (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ())
347 + 056 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) rewrite| <match #yes (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) (Recipe (apples (oranges (cherries ()))) (fruit-salad ())) (Bag ())
348 + 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 ())
349 + 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 ())
350 + 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 ())
351 + 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 ())
352 + 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 ())
353 + 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 ())
354 + 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) ()))
355 + 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) ()))
356 + 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) ()))
357 + 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) ()))
358 + 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) ()))
359 + 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) ()))
360 + 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) ()))
361 + 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) ()))
362 + 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) ()))
363 + 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) ()))
364 + 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) ()))
365 + 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) ()))
366 + 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) ()))
367 + 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) ()))
368 + 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 ()))
369 + 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 ()))
370 + 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) ()))
371 + 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) ()))
372 + 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) ()))
373 + 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) ()))
374 + 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) ()))
375 + 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) ()))
376 + 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) ()))
377 + 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) ()))
378 + 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) ()))
379 + 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) ()))
380 + 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) ()))
381 + 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) ()))
382 + 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) ()))
383 + 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) ()))
384 + 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 ()))
385 + 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 ()))
386 + 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) ()))
387 + 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) ()))
388 + 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) ()))
389 + 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) ()))
390 + 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) ()))
391 + 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) ()))
392 + 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) ()))
393 + 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) ()))
394 + 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) ()))
395 + 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) ()))
396 + 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) ()))
397 + 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) ()))
398 + 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 ()))
399 + 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 ()))
400 + 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) ()))
401 + 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) ()))
402 + 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) ()))
403 + 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) ()))
404 + 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) ()))
405 + 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) ()))
406 + 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) ()))
407 + 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) ()))
408 + 066 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) (Recipe (fruit-salad (apple-cake ())) (fruit-cake ())) done (Bag ((Entry fruit-cake 1) ()))
409 + 066 :: (Recipe (flour (sugar (apples ()))) (apple-cake ())) done (Bag ((Entry fruit-cake 1) ()))
410 + 066 :: done (Bag ((Entry fruit-cake 1) ()))
411 + --- :: done (Bag ((Entry fruit-cake 1) ()))
412 + Completed in 409 rewrites needing 25409 iterations.
上一页 下一页

由 Opengist 强力驱动 ⋅ Load: 53ms⋅

中文