forked from oscarlevin/discrete-book
-
Notifications
You must be signed in to change notification settings - Fork 0
/
jing-errors.txt
392 lines (196 loc) · 114 KB
/
jing-errors.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
/home/oscar/GitHub/discrete-book/ptx/sec_intro-statements.ptx:603:29: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-statements.ptx:684:55: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-statements.ptx:694:55: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-statements.ptx:753:55: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-statements.ptx:763:55: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-statements.ptx:1274:24: error: element "ol" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-statements.ptx:1309:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-sets.ptx:349:60: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-sets.ptx:997:44: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-sets.ptx:997:98: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-sets.ptx:1007:44: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-sets.ptx:1007:98: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-sets.ptx:1017:45: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-sets.ptx:1017:102: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-sets.ptx:1151:33: error: found attribute "category", but no attributes allowed here
/home/oscar/GitHub/discrete-book/ptx/sec_intro-functions.ptx:5:6: error: element "m" not allowed here; expected element "activity", "algorithm", "aside", "assemblage", "assumption", "author", "axiom", "biographical", "blockquote", "claim", "commentary", "computation", "conjecture", "convention", "corollary", "definition", "demonstration", "example", "exercise", "exploration", "fact", "figure", "heuristic", "historical", "hypothesis", "identity", "idx", "insight", "introduction", "investigation", "lemma", "list", "list-of", "listing", "note", "objectives", "observation", "p", "paragraphs", "poem", "pre", "principle", "problem", "project", "proof", "proposition", "question", "remark", "sage", "sbsgroup", "shorttitle", "sidebyside", "subsection", "table", "technology", "theorem", "todo" or "warning"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-functions.ptx:635:60: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-functions.ptx:644:60: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-functions.ptx:653:60: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-functions.ptx:662:61: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-functions.ptx:1253:33: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/intro-functions.ptx:1279:33: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-addmult.ptx:25:53: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-addmult.ptx:241:45: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-addmult.ptx:241:102: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/sec_counting-binom.ptx:738:12: error: element "idx" not allowed here; expected element "console", "dl", "figure", "image", "list", "listing", "ol", "p", "poem", "pre", "program", "stack", "table", "tabular", "ul" or "video"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-binom.ptx:102:49: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-combperm.ptx:244:64: error: element "image" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/sec_counting-proofs.ptx:213:29: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_counting-proofs.ptx:243:18: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_counting-proofs.ptx:630:29: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_counting-proofs.ptx:709:29: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_counting-proofs.ptx:781:29: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:13:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:45:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:56:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:83:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:123:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:171:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:275:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:307:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:577:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:609:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:623:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:666:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:677:14: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:679:14: error: element "u" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:683:14: error: element "u" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:688:14: error: element "u" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:709:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:720:14: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:722:14: error: element "u" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:729:14: error: element "u" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:736:14: error: element "u" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:747:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:758:14: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:760:14: error: element "u" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:766:14: error: element "u" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:771:14: error: element "u" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:806:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:1036:14: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-proofs.ptx:1064:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_counting-starsbars.ptx:443:30: error: element "paragraphs" not allowed here; expected the element end-tag or element "activity", "algorithm", "aside", "assemblage", "assumption", "axiom", "biographical", "blockquote", "claim", "computation", "conjecture", "convention", "corollary", "definition", "demonstration", "example", "exercise", "exploration", "fact", "figure", "heuristic", "historical", "hypothesis", "identity", "insight", "investigation", "lemma", "list", "list-of", "listing", "note", "observation", "p", "poem", "pre", "principle", "problem", "project", "proof", "proposition", "question", "remark", "sage", "sbsgroup", "sidebyside", "table", "technology", "theorem", "todo" or "warning"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-starsbars.ptx:2:102: error: element "exercises" not allowed yet; missing required element "subsection"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-advPIE.ptx:90:127: error: text not allowed here; expected element "stage" or "statement"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-advPIE.ptx:90:128: error: text not allowed here; expected element "stage" or "statement"
/home/oscar/GitHub/discrete-book/ptx/exercises/counting-conc.ptx:2:98: error: element "exercises" not allowed yet; missing required element "subsection"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-basics.ptx:31:63: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-basics.ptx:40:63: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-basics.ptx:49:63: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-basics.ptx:58:63: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-basics.ptx:123:63: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-basics.ptx:132:63: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-basics.ptx:141:63: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-basics.ptx:151:63: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-basics.ptx:331:17: error: element "notation" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "ol", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-basics.ptx:500:43: error: attribute "requires" not allowed here; expected attribute "number", "permid", "xml:base", "xml:id" or "xml:lang"
/home/oscar/GitHub/discrete-book/ptx/sec_seq-arithgeom.ptx:16:42: error: element "sidebyside" not allowed here; expected element "task"
/home/oscar/GitHub/discrete-book/ptx/sec_seq-arithgeom.ptx:36:42: error: element "sidebyside" not allowed here; expected element "task"
/home/oscar/GitHub/discrete-book/ptx/sec_seq-arithgeom.ptx:61:42: error: element "sidebyside" not allowed here; expected element "task"
/home/oscar/GitHub/discrete-book/ptx/sec_seq-arithgeom.ptx:83:19: error: element "investigation" incomplete; missing required element "task"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-arithgeom.ptx:113:63: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-arithgeom.ptx:350:55: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-arithgeom.ptx:350:99: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-arithgeom.ptx:356:50: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-arithgeom.ptx:356:89: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-arithgeom.ptx:385:53: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-arithgeom.ptx:385:95: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-arithgeom.ptx:391:65: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-arithgeom.ptx:391:117: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-polyfit.ptx:2:99: error: element "exercises" not allowed yet; missing required element "subsection"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-polyfit.ptx:22:56: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-polyfit.ptx:57:56: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-polyfit.ptx:87:56: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-polyfit.ptx:117:56: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-polyfit.ptx:215:66: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-recurrence.ptx:40:56: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-recurrence.ptx:97:56: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-recurrence.ptx:122:56: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/sec_seq-induction.ptx:393:29: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_seq-induction.ptx:478:29: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_seq-induction.ptx:574:29: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_seq-induction.ptx:902:29: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:94:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:121:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:132:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:161:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:172:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:197:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:208:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:232:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:244:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:271:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:349:14: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:400:27: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "ol", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:438:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:454:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:464:27: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "ol", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:513:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:538:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:550:27: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "ol", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:589:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:609:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:630:27: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:668:27: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:722:27: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:830:27: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:876:27: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:965:16: error: element "statement" not allowed here; expected element "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-induction.ptx:1009:14: error: element "exercise" incomplete; missing required element "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-conc.ptx:2:96: error: element "exercises" not allowed yet; missing required element "subsection"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-conc.ptx:106:58: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-conc.ptx:106:100: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-conc.ptx:106:142: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-conc.ptx:106:185: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-conc.ptx:197:56: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-conc.ptx:303:56: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-conc.ptx:346:59: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-conc.ptx:346:101: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-conc.ptx:346:144: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-conc.ptx:356:62: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-conc.ptx:394:59: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-conc.ptx:394:101: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-conc.ptx:404:62: error: element "var" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "foreign", "greater", "hash", "icon", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "mdash", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "underscore", "viz", "vs" or "webwork"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-conc.ptx:674:12: error: element "u" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/exercises/seq-conc.ptx:679:12: error: element "u" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/sec_logic-proofs.ptx:327:29: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_logic-proofs.ptx:372:29: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_logic-proofs.ptx:471:29: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_logic-proofs.ptx:515:29: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_logic-proofs.ptx:551:29: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_logic-proofs.ptx:564:18: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_logic-proofs.ptx:608:29: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_logic-proofs.ptx:644:18: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_logic-proofs.ptx:655:29: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_logic-proofs.ptx:672:18: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_logic-proofs.ptx:687:29: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_logic-proofs.ptx:716:96: error: element "u" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/sec_logic-proofs.ptx:895:29: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_logic-proofs.ptx:901:16: error: element "u" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/sec_logic-proofs.ptx:913:16: error: element "u" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-proofs.ptx:147:35: error: element "proof" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-proofs.ptx:181:27: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "ol", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-proofs.ptx:315:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-proofs.ptx:351:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-proofs.ptx:379:24: error: element "ol" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-proofs.ptx:384:33: error: element "proof" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-proofs.ptx:416:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-proofs.ptx:439:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-proofs.ptx:464:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-proofs.ptx:509:33: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-proofs.ptx:527:33: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-proofs.ptx:555:27: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-proofs.ptx:589:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-proofs.ptx:616:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-proofs.ptx:637:27: error: element "proof" not allowed here; expected the element end-tag or element "aside", "biographical", "blockquote", "figure", "historical", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-conc.ptx:2:98: error: element "exercises" not allowed yet; missing required element "subsection"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-conc.ptx:83:59: error: element "u" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-conc.ptx:803:35: error: element "proof" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/exercises/logic-conc.ptx:829:35: error: element "proof" not allowed here; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/sec_gt-intro.ptx:460:12: error: element "title" not allowed here; expected element "blockquote", "idx", "p", "pre", "sbsgroup", "sidebyside" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_gt-planar.ptx:562:12: error: element "b" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/sec_gt-planar.ptx:598:12: error: element "b" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/sec_gt-planar.ptx:623:12: error: element "b" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/sec_gt-planar.ptx:645:12: error: element "b" not allowed anywhere; expected the element end-tag, text or element "abbr", "acro", "ad", "alert", "am", "ampersand", "angles", "articletitle", "asterisk", "attr", "backslash", "backtick", "bc", "braces", "brackets", "c", "cd", "chord", "circa", "circumflex", "copyright", "dblbrackets", "delete", "dl", "dollar", "doubleflat", "doublesharp", "eg", "ellipsis", "em", "email", "etal", "etc", "fillin", "flat", "fn", "foreign", "greater", "hash", "icon", "idx", "ie", "init", "insert", "latex", "lbrace", "less", "lq", "lsq", "m", "md", "mdash", "mdn", "me", "men", "midpoint", "n", "natural", "nb", "nbsp", "ndash", "notation", "ol", "percent", "permille", "pilcrow", "pm", "pretext", "ps", "pubtitle", "q", "quantity", "rbrace", "registered", "rq", "rsq", "scaledeg", "section-mark", "sharp", "slash", "solidus", "sq", "stale", "swungdash", "tag", "tage", "taxon", "term", "tex", "tilde", "timeofday", "times", "timesignature", "today", "trademark", "ul", "underscore", "url", "var", "viz", "vs", "webwork" or "xref"
/home/oscar/GitHub/discrete-book/ptx/exercises/gt-planar.ptx:122:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/gt-planar.ptx:150:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/gt-planar.ptx:215:27: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/exercises/gt-planar.ptx:236:16: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_gt-trees.ptx:112:16: error: element "subsection" incomplete; expected element "activity", "algorithm", "aside", "assemblage", "assumption", "author", "axiom", "biographical", "blockquote", "claim", "commentary", "computation", "conjecture", "convention", "corollary", "definition", "demonstration", "example", "exercise", "exploration", "fact", "figure", "heuristic", "historical", "hypothesis", "identity", "idx", "insight", "introduction", "investigation", "lemma", "list", "list-of", "listing", "note", "objectives", "observation", "p", "paragraphs", "poem", "pre", "principle", "problem", "project", "proof", "proposition", "question", "remark", "sage", "sbsgroup", "shorttitle", "sidebyside", "subsubsection", "table", "technology", "theorem", "todo" or "warning"
/home/oscar/GitHub/discrete-book/ptx/sec_addtops-numbth.ptx:1443:29: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_addtops-numbth.ptx:1455:18: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_addtops-numbth.ptx:1468:29: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_addtops-numbth.ptx:1482:18: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_addtops-numbth.ptx:1514:29: error: element "proof" not allowed here; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"
/home/oscar/GitHub/discrete-book/ptx/sec_addtops-numbth.ptx:1533:18: error: element "solution" incomplete; expected element "aside", "biographical", "blockquote", "figure", "historical", "idx", "list", "listing", "p", "pre", "sage", "sbsgroup", "sidebyside", "table", "title" or "todo"