Skip to content

Instantly share code, notes, and snippets.

@eerohele

eerohele/set.edn Secret

Created December 2, 2018 12:18
Show Gist options
  • Save eerohele/0dd0606213331c2dc5e3b8df2b21f352 to your computer and use it in GitHub Desktop.
Save eerohele/0dd0606213331c2dc5e3b8df2b21f352 to your computer and use it in GitHub Desktop.
{[clojure.set/difference 41]
[(#{"are" "hare" "hares" "share"} ["hare" "hares"])
(#{[2 3] [3 4] [6 4] [5 6] [4 5] [3 1] [1 2]} ([3 1] [1 2]))
(#{:c :b :a} ())
(#{[2 3] [6 4] [5 6] [4 5] [3 1] [1 2]} [[2 3] [3 1] [1 2]])
(#{[2 3] [3 4] [1 2]} ([2 3]))
(#{1 4 15 13 6 17 3 2 19 11 9 14 16 10} (1 2 3 4))
(#{[:b :e] [:c :d] [:x :y] [:a :b] [:d :a] [:b :c]}
[[:b :e] [:a :b] [:d :a] [:b :c]])
(#{[:b :e] [:c :d] [:x :y] [:a :b] [:d :a] [:x :a] [:b :c]}
([:b :e] [:a :b] [:b :c]))
(#{4 6 5} ())
(#{"spot" "pot" "spout" "dot" "pout" "do"} [])
(#{[:b :e] [:c :d] [:x :y] [:a :b] [:d :a] [:b :c]} ([:x :y]))
(#{["son" "grandson"] ["uncle" "cousin"] ["father" "son"]}
(["father" "son"]))
(#{"stop" "top" "tops" "toss" "to"} [])
(#{"spot" "pot" "spout" "dot" "pout" "do"} ["pot" "dot" "do"])
(#{[:a :b]} ([:a :b]))
(#{"dog" "oat" "cot" "coat" "hot" "hat" "hog" "cat"}
["hog" "hot" "cot" "coat" "oat" "hat" "cat"])
(#{"cot" "hot" "bat" "fat"} [])
(#{[27 9] [8 4] [4 2] [9 3]} ([27 9]))
(#{[2 3] [3 4] [6 4] [5 6] [4 5] [3 1] [1 2]}
[[2 3] [3 4] [6 4] [5 6] [4 5] [3 1] [1 2]])
(#{[:b :e] [:c :d] [:x :y] [:a :b] [:d :a] [:x :a] [:b :c]}
([:x :y]))
(#{["man" "snake"] ["cat" "man"] ["spider" "cat"]} (["man" "snake"]))
(#{"stop" "top" "tops" "toss" "to"} ["top" "tops" "toss"])
(#{[:b :e] [:c :d] [:x :y] [:a :b] [:d :a] [:b :c]}
([:b :e] [:a :b] [:b :c]))
(#{558 453 487 519 357 275 530 389 410 433 521 451 291 443 249 299
121 287 65 70 218 62 74 475 497 164 282 273 186 430 529 370 233
298 188 240 110 130 311 128 399 377 468 259 210 229 153 213 343
472 7 59 473 86 491 154 20 224 355 466 72 454 463 58 205 555 552
60 459 175 322 510 27 352 493 416 69 101 24 547 102 385 135 397
490 354 360 55 269 448 527 206 165 387 85 225 297 39 274 88 217 46
508 149 415 239 478 157 345 300 4 550 204 470 77 106 197 405 518
232 260 267 119 319 534 222 293 95 450 329 144 504 505 176 471 349
512 192 54 92 221 141 502 464 307 290 517 361 264 137 356 327 234
104 353 15 48 242 50 557 251 394 116 75 437 516 159 99 540 479 281
402 429 309 458 21 388 495 31 113 32 407 398 136 139 506 396 460
483 174 331 363 284 208 305 182 256 514 485 214 193 442 561 241
314 226 235 420 418 262 263 304 401 40 129 467 445 317 294 91 364
515 412 553 341 117 523 172 108 156 358 308 531 223 419 365 181
417 278 56 33 13 22 380 257 338 500 168 496 347 501 90 237 292 109
216 191 498 375 525 367 143 178 247 328 391 167 36 41 474 187 551
528 376 195 316 428 303 368 560 310 366 118 522 150 313 384 238
196 162 393 184 219 461 89 100 426 477 541 351 243 131 122 43 231
61 413 29 151 369 348 44 258 250 539 301 424 93 6 408 563 111 28
456 374 548 538 411 134 64 465 334 323 189 280 198 155 295 248 285
507 227 476 494 220 103 170 51 25 261 201 489 166 447 34 252 325
436 535 146 228 306 125 276 340 148 482 17 312 3 520 286 279 536
12 440 332 330 382 152 544 435 342 2 66 484 439 236 556 373 142
359 371 444 107 532 23 230 47 526 180 537 158 350 35 127 383 533
302 82 76 492 215 97 277 19 335 57 202 68 452 200 11 115 339 431
462 337 255 503 546 9 457 427 145 5 244 289 112 414 179 344 481
245 378 266 324 446 524 254 404 283 513 83 138 346 14 455 265 449
333 326 45 53 559 78 562 542 315 480 132 26 123 203 392 140 321
441 268 16 320 133 288 381 163 81 120 79 211 38 173 126 421 98 422
423 554 409 124 171 87 169 160 30 400 509 207 434 194 511 73 486
336 96 10 272 499 488 386 270 543 271 18 395 403 469 105 185 52
545 114 253 209 147 425 67 296 318 161 372 406 438 71 42 80 199 37
183 432 379 63 212 94 362 8 246 190 549 177 49 390 84}
(4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40
42
44
46
48
50
52
54
56
58
60
62
64
66
68
70
72
74
76
78
80
82
84
86
88
90
92
94
96
98
100
102
104
106
108
110
112
114
116
118
120
122
124
126
128
130
132
134
136
138
140
142
144
146
148
150
152
154
156
158
160
162
164
166
168
170
172
174
176
178
180
182
184
186
188
190
192
194
196
198
200
202
204
206
208
210
212
214
216
218
220
222
224
226
228
230
232
234
236
238
240
242
244
246
248
250
252
254
256
258
260
262
264
266
268
270
272
274
276
278
280
282
284
286
288
290
292
294
296
298
300
302
304
306
308
310
312
314
316
318
320
322
324
326
328
330
332
334
336
338
340
342
344
346
348
350
352
354
356
358
360
362
364
366
368
370
372
374
376
378
380
382
384
386
388
390
392
394
396
398
400
402
404
406
408
410
412
414
416
418
420
422
424
426
428
430
432
434
436
438
440
442
444
446
448
450
452
454
456
458
460
462
464
466
468
470
472
474
476
478
480
482
484
486
488
490
492
494
496
498
500
502
504
506
508
510
512
514
516
518
520
522
524
526
528
530
532
534
536
538
540
542
544
546
548
550
552
554
556
558
560
562))
(#{[2 3] [6 4] [5 6] [4 5] [3 1] [1 2]} ([3 1] [1 2]))
(#{1} (1))
(#{[:b :e] [:c :d] [:x :y] [:a :b] [:d :a] [:x :a] [:b :c]}
[[:b :e] [:a :b] [:d :a] [:x :a] [:b :c]])
(#{"are" "hare" "hares" "share"} [])
(#{[2 3] [6 4] [5 6] [4 5] [3 1] [1 2]} ([2 3] [1 2]))
(#{"cot" "hot" "bat" "fat"} ["hot"])
(#{"shares" "are" "hare" "hares" "share"} [])
(#{} ())
(#{[2 3] [3 4] [6 4] [5 6] [4 5] [3 1] [1 2]} ([2 3] [1 2]))
(#{[:a :a]} ([:a :a]))
(#{"dog" "oat" "cot" "coat" "hot" "hat" "hog" "cat"} [])
(#{7 1 4 6 3 2 5} (1 3 5))
(#{4 3 2} (4))
(#{2} ())
(#{1 3 2} (1 2 3))
(#{"shares" "are" "hare" "hares" "share"} ["hares" "hare" "are"])
(#{1 3 2 9 10 8} (1 2 3))],
[clojure.set/subset? 10]
[([:c :d] #{:e :c :b :d :a})
("C" #{\! \, \.})
(([27 3] [8 2]) #{[27 9] [8 4] [4 2] [9 3]})
([:c :d] #{:e :c :b :d :x :a})
("H" #{\! \, \.})
("F" #{\! \, \.})
([6 4] #{1 3 2})
((["father" "grandson"])
#{["son" "grandson"] ["uncle" "cousin"] ["father" "son"]})
((["cat" "snake"] ["spider" "man"])
#{["man" "snake"] ["cat" "man"] ["spider" "cat"]})
([3 4] #{1 4 6 3 2 5})],
[clojure.set/union 173]
[(() #{:x})
((#{[:a :b]}))
(#{["hot" "hot"] ["hat" "dog"] ["dog" "cat"] ["coat" "coat"]
["cot" "coat"] ["hog" "cot"] ["cot" "oat"] ["oat" "coat"]
["hog" "cat"] ["coat" "hot"] ["cat" "cot"] ["cot" "hog"]
["cat" "hat"] ["hot" "dog"] ["hat" "oat"] ["oat" "cot"]
["cot" "cat"] ["coat" "hog"] ["hot" "coat"] ["cot" "cot"]
["cat" "hog"] ["cat" "dog"] ["oat" "hat"] ["cat" "cat"]
["dog" "hot"] ["hat" "hot"] ["hot" "hat"] ["dog" "oat"]
["dog" "cot"] ["hog" "hog"] ["hog" "coat"] ["cot" "dog"]
["cat" "hot"] ["oat" "hog"] ["oat" "cat"] ["coat" "oat"]
["coat" "hat"] ["hot" "cot"] ["oat" "hot"] ["cat" "oat"]
["coat" "dog"] ["hot" "cat"] ["hot" "oat"] ["dog" "coat"]
["dog" "hog"] ["hat" "hat"] ["cat" "coat"] ["hat" "cat"]
["hog" "hat"] ["hat" "coat"] ["coat" "cot"] ["oat" "oat"]
["hog" "dog"] ["hot" "hog"] ["hog" "oat"] ["cot" "hot"]
["dog" "dog"] ["hog" "hot"] ["oat" "dog"] ["hat" "hog"]
["coat" "cat"] ["dog" "hat"] ["cot" "hat"] ["hat" "cot"]}
(("hot" "hot")
("dog" "hat")
("cat" "dog")
("coat" "coat")
("coat" "cot")
("cot" "hog")
("oat" "cot")
("coat" "oat")
("cat" "hog")
("hot" "coat")
("cot" "cat")
("hog" "cot")
("hat" "cat")
("dog" "hot")
("oat" "hat")
("cot" "oat")
("cat" "cot")
("hog" "coat")
("coat" "hot")
("cot" "cot")
("hog" "cat")
("dog" "cat")
("hat" "oat")
("cat" "cat")
("hot" "dog")
("hot" "hat")
("hat" "hot")
("oat" "dog")
("cot" "dog")
("hog" "hog")
("coat" "hog")
("dog" "cot")
("hot" "cat")
("hog" "oat")
("cat" "oat")
("oat" "coat")
("hat" "coat")
("cot" "hot")
("hot" "oat")
("oat" "cat")
("dog" "coat")
("cat" "hot")
("oat" "hot")
("coat" "dog")
("hog" "dog")
("hat" "hat")
("coat" "cat")
("cat" "hat")
("hat" "hog")
("coat" "hat")
("cot" "coat")
("oat" "oat")
("dog" "hog")
("hog" "hot")
("oat" "hog")
("hot" "cot")
("dog" "dog")
("hot" "hog")
("dog" "oat")
("hog" "hat")
("cat" "coat")
("hat" "dog")
("hat" "cot")
("cot" "hat")))
((0 1 2 3 4 5 6 7) (0 1 2 3 4 5 6 7))
({:c 20} {:b 6} {:a 4})
((:b) ())
(#{:b} (:a))
(#{#{:c :d}} [#{:e :b}])
(#{[:b :e] [:c :d] [:x :y] [:a :b] [:d :a] [:x :a] [:b :c]}
((:e :b) (:d :c) (:y :x) (:b :a) (:a :d) (:a :x) (:c :b)))
([[:a :b]] ((:b :a)))
(#{#{coal-mine.checks/B coal-mine.checks/C coal-mine.checks/A}} ())
([[1 2] [2 3] [3 4] [4 1]] ((2 1) (3 2) (4 3) (1 4)))
([1 2 3 4 5 6] [1 2 3 4 5 6])
(#{["stop" "to"] ["toss" "toss"] ["to" "stop"] ["top" "stop"]
["tops" "stop"] ["stop" "stop"] ["toss" "tops"] ["top" "top"]
["to" "toss"] ["toss" "top"] ["to" "to"] ["stop" "tops"]
["toss" "stop"] ["top" "tops"] ["top" "to"] ["tops" "top"]
["stop" "top"] ["toss" "to"] ["tops" "tops"] ["to" "tops"]
["tops" "to"] ["top" "toss"] ["tops" "toss"] ["to" "top"]
["stop" "toss"]}
(("to" "stop")
("toss" "toss")
("stop" "to")
("stop" "top")
("stop" "tops")
("stop" "stop")
("tops" "toss")
("top" "top")
("toss" "to")
("top" "toss")
("to" "to")
("tops" "stop")
("stop" "toss")
("tops" "top")
("to" "top")
("top" "tops")
("top" "stop")
("to" "toss")
("tops" "tops")
("tops" "to")
("to" "tops")
("toss" "top")
("toss" "tops")
("top" "to")
("toss" "stop")))
((#{}) (#{2}))
(#{}
(#{coal-mine.checks/B coal-mine.checks/C coal-mine.checks/d
coal-mine.checks/A}
#{coal-mine.checks/B coal-mine.checks/c coal-mine.checks/d
coal-mine.checks/A}
#{coal-mine.checks/C coal-mine.checks/b coal-mine.checks/d
coal-mine.checks/A}
#{coal-mine.checks/c coal-mine.checks/b coal-mine.checks/d
coal-mine.checks/A}))
(([1 1] [1 2] [1 3] [2 1] [2 3] [3 1] [3 2] [3 3])
([1 2] [1 3] [1 4] [2 2] [2 4] [3 2] [3 3] [3 4])
([1 0] [1 1] [1 2] [2 0] [2 2] [3 0] [3 1] [3 2]))
((#{[:b :e] [:c :e] [:a :d] [:d :e] [:a :b] [:b :d] [:d :f] [:a :c]
[:a :e] [:c :b] [:c :f]}))
([:a :a] [:b :b])
((#{2}) #{#{}})
([1 2] [2 3])
(#{["man" "snake"]} () ())
(([3 2] [3 3] [3 4] [4 2] [4 4] [5 2] [5 3] [5 4])
([1 1] [1 2] [1 3] [2 1] [2 3] [3 1] [3 2] [3 3])
([2 2] [2 3] [2 4] [3 2] [3 4] [4 2] [4 3] [4 4])
([0 0] [0 1] [0 2] [1 0] [1 2] [2 0] [2 1] [2 2])
([2 3] [2 4] [2 5] [3 3] [3 5] [4 3] [4 4] [4 5])
([1 0] [1 1] [1 2] [2 0] [2 2] [3 0] [3 1] [3 2])
([3 3] [3 4] [3 5] [4 3] [4 5] [5 3] [5 4] [5 5])
([0 1] [0 2] [0 3] [1 1] [1 3] [2 1] [2 2] [2 3]))
((#{1 4 6 3 2 9 5 8}
#{0 4 6 3 2 9 5 8}
#{0 1 6 3 2 9 5 8}
#{0 1 4 3 2 9 5 8}
#{0 1 4 6 2 9 5 8}
#{0 1 4 6 3 9 5 8}
#{0 1 4 6 3 2 5 8}
#{0 1 4 6 3 2 9 8}
#{0 1 4 6 3 2 9 5})
(#{7 4 6 3 2 9 5 8}
#{0 4 6 3 2 9 5 8}
#{0 7 6 3 2 9 5 8}
#{0 7 4 3 2 9 5 8}
#{0 7 4 6 2 9 5 8}
#{0 7 4 6 3 9 5 8}
#{0 7 4 6 3 2 5 8}
#{0 7 4 6 3 2 9 8}
#{0 7 4 6 3 2 9 5}))
((#{1}) #{#{}})
([[1 2] [2 3] [3 4] [4 1]] #{[4 3] [1 4] [2 1] [3 2]})
(#{} ())
([:a :b] [:a :b])
((:c :b :a) ())
(#{1} (4 2))
((["father" "grandson"])
#{["son" "grandson"] ["uncle" "cousin"] ["father" "son"]})
((#{8}) #{#{}})
(#{}
(#{coal-mine.checks/B coal-mine.checks/c coal-mine.checks/d
coal-mine.checks/A}
#{coal-mine.checks/D coal-mine.checks/B coal-mine.checks/c
coal-mine.checks/A}
#{coal-mine.checks/D coal-mine.checks/B coal-mine.checks/c
coal-mine.checks/a}
#{coal-mine.checks/B coal-mine.checks/c coal-mine.checks/d
coal-mine.checks/a}))
(#{#{}} (#{1}))
(#{:c} (:d :a))
(#{:a} (:a))
(#{["man" "snake"] ["cat" "man"] ["spider" "cat"]}
(["cat" "snake"] ["spider" "man"] ["spider" "snake"]))
(#{#{}}
(#{0}
#{7}
#{0 7}
#{1}
#{0 1}
#{7 1}
#{0 7 1}
#{4}
#{0 4}
#{7 4}
#{0 7 4}
#{1 4}
#{0 1 4}
#{7 1 4}
#{0 7 1 4}
#{6}
#{0 6}
#{7 6}
#{0 7 6}
#{1 6}
#{0 1 6}
#{7 1 6}
#{0 7 1 6}
#{4 6}
#{0 4 6}
#{7 4 6}
#{0 7 4 6}
#{1 4 6}
#{0 1 4 6}
#{7 1 4 6}
#{0 7 1 4 6}
#{3}
#{0 3}
#{7 3}
#{0 7 3}
#{1 3}
#{0 1 3}
#{7 1 3}
#{0 7 1 3}
#{4 3}
#{0 4 3}
#{7 4 3}
#{0 7 4 3}
#{1 4 3}
#{0 1 4 3}
#{7 1 4 3}
#{0 7 1 4 3}
#{6 3}
#{0 6 3}
#{7 6 3}
#{0 7 6 3}
#{1 6 3}
#{0 1 6 3}
#{7 1 6 3}
#{0 7 1 6 3}
#{4 6 3}
#{0 4 6 3}
#{7 4 6 3}
#{0 7 4 6 3}
#{1 4 6 3}
#{0 1 4 6 3}
#{7 1 4 6 3}
#{0 7 1 4 6 3}
#{2}
#{0 2}
#{7 2}
#{0 7 2}
#{1 2}
#{0 1 2}
#{7 1 2}
#{0 7 1 2}
#{4 2}
#{0 4 2}
#{7 4 2}
#{0 7 4 2}
#{1 4 2}
#{0 1 4 2}
#{7 1 4 2}
#{0 7 1 4 2}
#{6 2}
#{0 6 2}
#{7 6 2}
#{0 7 6 2}
#{1 6 2}
#{0 1 6 2}
#{7 1 6 2}
#{0 7 1 6 2}
#{4 6 2}
#{0 4 6 2}
#{7 4 6 2}
#{0 7 4 6 2}
#{1 4 6 2}
#{0 1 4 6 2}
#{7 1 4 6 2}
#{0 7 1 4 6 2}
#{3 2}
#{0 3 2}
#{7 3 2}
#{0 7 3 2}
#{1 3 2}
#{0 1 3 2}
#{7 1 3 2}
#{0 7 1 3 2}
#{4 3 2}
#{0 4 3 2}
#{7 4 3 2}
#{0 7 4 3 2}
#{1 4 3 2}
#{0 1 4 3 2}
#{7 1 4 3 2}
#{0 7 1 4 3 2}
#{6 3 2}
#{0 6 3 2}
#{7 6 3 2}
#{0 7 6 3 2}
#{1 6 3 2}
#{0 1 6 3 2}
#{7 1 6 3 2}
#{0 7 1 6 3 2}
#{4 6 3 2}
#{0 4 6 3 2}
#{7 4 6 3 2}
#{0 7 4 6 3 2}
#{1 4 6 3 2}
#{0 1 4 6 3 2}
#{7 1 4 6 3 2}
#{0 7 1 4 6 3 2}
#{9}
#{0 9}
#{7 9}
#{0 7 9}
#{1 9}
#{0 1 9}
#{7 1 9}
#{0 7 1 9}
#{4 9}
#{0 4 9}
#{7 4 9}
#{0 7 4 9}
#{1 4 9}
#{0 1 4 9}
#{7 1 4 9}
#{0 7 1 4 9}
#{6 9}
#{0 6 9}
#{7 6 9}
#{0 7 6 9}
#{1 6 9}
#{0 1 6 9}
#{7 1 6 9}
#{0 7 1 6 9}
#{4 6 9}
#{0 4 6 9}
#{7 4 6 9}
#{0 7 4 6 9}
#{1 4 6 9}
#{0 1 4 6 9}
#{7 1 4 6 9}
#{0 7 1 4 6 9}
#{3 9}
#{0 3 9}
#{7 3 9}
#{0 7 3 9}
#{1 3 9}
#{0 1 3 9}
#{7 1 3 9}
#{0 7 1 3 9}
#{4 3 9}
#{0 4 3 9}
#{7 4 3 9}
#{0 7 4 3 9}
#{1 4 3 9}
#{0 1 4 3 9}
#{7 1 4 3 9}
#{0 7 1 4 3 9}
#{6 3 9}
#{0 6 3 9}
#{7 6 3 9}
#{0 7 6 3 9}
#{1 6 3 9}
#{0 1 6 3 9}
#{7 1 6 3 9}
#{0 7 1 6 3 9}
#{4 6 3 9}
#{0 4 6 3 9}
#{7 4 6 3 9}
#{0 7 4 6 3 9}
#{1 4 6 3 9}
#{0 1 4 6 3 9}
#{7 1 4 6 3 9}
#{0 7 1 4 6 3 9}
#{2 9}
#{0 2 9}
#{7 2 9}
#{0 7 2 9}
#{1 2 9}
#{0 1 2 9}
#{7 1 2 9}
#{0 7 1 2 9}
#{4 2 9}
#{0 4 2 9}
#{7 4 2 9}
#{0 7 4 2 9}
#{1 4 2 9}
#{0 1 4 2 9}
#{7 1 4 2 9}
#{0 7 1 4 2 9}
#{6 2 9}
#{0 6 2 9}
#{7 6 2 9}
#{0 7 6 2 9}
#{1 6 2 9}
#{0 1 6 2 9}
#{7 1 6 2 9}
#{0 7 1 6 2 9}
#{4 6 2 9}
#{0 4 6 2 9}
#{7 4 6 2 9}
#{0 7 4 6 2 9}
#{1 4 6 2 9}
#{0 1 4 6 2 9}
#{7 1 4 6 2 9}
#{0 7 1 4 6 2 9}
#{3 2 9}
#{0 3 2 9}
#{7 3 2 9}
#{0 7 3 2 9}
#{1 3 2 9}
#{0 1 3 2 9}
#{7 1 3 2 9}
#{0 7 1 3 2 9}
#{4 3 2 9}
#{0 4 3 2 9}
#{7 4 3 2 9}
#{0 7 4 3 2 9}
#{1 4 3 2 9}
#{0 1 4 3 2 9}
#{7 1 4 3 2 9}
#{0 7 1 4 3 2 9}
#{6 3 2 9}
#{0 6 3 2 9}
#{7 6 3 2 9}
#{0 7 6 3 2 9}
#{1 6 3 2 9}
#{0 1 6 3 2 9}
#{7 1 6 3 2 9}
#{0 7 1 6 3 2 9}
#{4 6 3 2 9}
#{0 4 6 3 2 9}
#{7 4 6 3 2 9}
#{0 7 4 6 3 2 9}
#{1 4 6 3 2 9}
#{0 1 4 6 3 2 9}
#{7 1 4 6 3 2 9}
#{0 7 1 4 6 3 2 9}
#{5}
#{0 5}
#{7 5}
#{0 7 5}
#{1 5}
#{0 1 5}
#{7 1 5}
#{0 7 1 5}
#{4 5}
#{0 4 5}
#{7 4 5}
#{0 7 4 5}
#{1 4 5}
#{0 1 4 5}
#{7 1 4 5}
#{0 7 1 4 5}
#{6 5}
#{0 6 5}
#{7 6 5}
#{0 7 6 5}
#{1 6 5}
#{0 1 6 5}
#{7 1 6 5}
#{0 7 1 6 5}
#{4 6 5}
#{0 4 6 5}
#{7 4 6 5}
#{0 7 4 6 5}
#{1 4 6 5}
#{0 1 4 6 5}
#{7 1 4 6 5}
#{0 7 1 4 6 5}
#{3 5}
#{0 3 5}
#{7 3 5}
#{0 7 3 5}
#{1 3 5}
#{0 1 3 5}
#{7 1 3 5}
#{0 7 1 3 5}
#{4 3 5}
#{0 4 3 5}
#{7 4 3 5}
#{0 7 4 3 5}
#{1 4 3 5}
#{0 1 4 3 5}
#{7 1 4 3 5}
#{0 7 1 4 3 5}
#{6 3 5}
#{0 6 3 5}
#{7 6 3 5}
#{0 7 6 3 5}
#{1 6 3 5}
#{0 1 6 3 5}
#{7 1 6 3 5}
#{0 7 1 6 3 5}
#{4 6 3 5}
#{0 4 6 3 5}
#{7 4 6 3 5}
#{0 7 4 6 3 5}
#{1 4 6 3 5}
#{0 1 4 6 3 5}
#{7 1 4 6 3 5}
#{0 7 1 4 6 3 5}
#{2 5}
#{0 2 5}
#{7 2 5}
#{0 7 2 5}
#{1 2 5}
#{0 1 2 5}
#{7 1 2 5}
#{0 7 1 2 5}
#{4 2 5}
#{0 4 2 5}
#{7 4 2 5}
#{0 7 4 2 5}
#{1 4 2 5}
#{0 1 4 2 5}
#{7 1 4 2 5}
#{0 7 1 4 2 5}
#{6 2 5}
#{0 6 2 5}
#{7 6 2 5}
#{0 7 6 2 5}
#{1 6 2 5}
#{0 1 6 2 5}
#{7 1 6 2 5}
#{0 7 1 6 2 5}
#{4 6 2 5}
#{0 4 6 2 5}
#{7 4 6 2 5}
#{0 7 4 6 2 5}
#{1 4 6 2 5}
#{0 1 4 6 2 5}
#{7 1 4 6 2 5}
#{0 7 1 4 6 2 5}
#{3 2 5}
#{0 3 2 5}
#{7 3 2 5}
#{0 7 3 2 5}
#{1 3 2 5}
#{0 1 3 2 5}
#{7 1 3 2 5}
#{0 7 1 3 2 5}
#{4 3 2 5}
#{0 4 3 2 5}
#{7 4 3 2 5}
#{0 7 4 3 2 5}
#{1 4 3 2 5}
#{0 1 4 3 2 5}
#{7 1 4 3 2 5}
#{0 7 1 4 3 2 5}
#{6 3 2 5}
#{0 6 3 2 5}
#{7 6 3 2 5}
#{0 7 6 3 2 5}
#{1 6 3 2 5}
#{0 1 6 3 2 5}
#{7 1 6 3 2 5}
#{0 7 1 6 3 2 5}
#{4 6 3 2 5}
#{0 4 6 3 2 5}
#{7 4 6 3 2 5}
#{0 7 4 6 3 2 5}
#{1 4 6 3 2 5}
#{0 1 4 6 3 2 5}
#{7 1 4 6 3 2 5}
#{0 7 1 4 6 3 2 5}
#{9 5}
#{0 9 5}
#{7 9 5}
#{0 7 9 5}
#{1 9 5}
#{0 1 9 5}
#{7 1 9 5}
#{0 7 1 9 5}
#{4 9 5}
#{0 4 9 5}
#{7 4 9 5}
#{0 7 4 9 5}
#{1 4 9 5}
#{0 1 4 9 5}
#{7 1 4 9 5}
#{0 7 1 4 9 5}
#{6 9 5}
#{0 6 9 5}
#{7 6 9 5}
#{0 7 6 9 5}
#{1 6 9 5}
#{0 1 6 9 5}
#{7 1 6 9 5}
#{0 7 1 6 9 5}
#{4 6 9 5}
#{0 4 6 9 5}
#{7 4 6 9 5}
#{0 7 4 6 9 5}
#{1 4 6 9 5}
#{0 1 4 6 9 5}
#{7 1 4 6 9 5}
#{0 7 1 4 6 9 5}
#{3 9 5}
#{0 3 9 5}
#{7 3 9 5}
#{0 7 3 9 5}
#{1 3 9 5}
#{0 1 3 9 5}
#{7 1 3 9 5}
#{0 7 1 3 9 5}
#{4 3 9 5}
#{0 4 3 9 5}
#{7 4 3 9 5}
#{0 7 4 3 9 5}
#{1 4 3 9 5}
#{0 1 4 3 9 5}
#{7 1 4 3 9 5}
#{0 7 1 4 3 9 5}
#{6 3 9 5}
#{0 6 3 9 5}
#{7 6 3 9 5}
#{0 7 6 3 9 5}
#{1 6 3 9 5}
#{0 1 6 3 9 5}
#{7 1 6 3 9 5}
#{0 7 1 6 3 9 5}
#{4 6 3 9 5}
#{0 4 6 3 9 5}
#{7 4 6 3 9 5}
#{0 7 4 6 3 9 5}
#{1 4 6 3 9 5}
#{0 1 4 6 3 9 5}
#{7 1 4 6 3 9 5}
#{0 7 1 4 6 3 9 5}
#{2 9 5}
#{0 2 9 5}
#{7 2 9 5}
#{0 7 2 9 5}
#{1 2 9 5}
#{0 1 2 9 5}
#{7 1 2 9 5}
#{0 7 1 2 9 5}
#{4 2 9 5}
#{0 4 2 9 5}
#{7 4 2 9 5}
#{0 7 4 2 9 5}
#{1 4 2 9 5}
#{0 1 4 2 9 5}
#{7 1 4 2 9 5}
#{0 7 1 4 2 9 5}
#{6 2 9 5}
#{0 6 2 9 5}
#{7 6 2 9 5}
#{0 7 6 2 9 5}
#{1 6 2 9 5}
#{0 1 6 2 9 5}
#{7 1 6 2 9 5}
#{0 7 1 6 2 9 5}
#{4 6 2 9 5}
#{0 4 6 2 9 5}
#{7 4 6 2 9 5}
#{0 7 4 6 2 9 5}
#{1 4 6 2 9 5}
#{0 1 4 6 2 9 5}
#{7 1 4 6 2 9 5}
#{0 7 1 4 6 2 9 5}
#{3 2 9 5}
#{0 3 2 9 5}
#{7 3 2 9 5}
#{0 7 3 2 9 5}
#{1 3 2 9 5}
#{0 1 3 2 9 5}
#{7 1 3 2 9 5}
#{0 7 1 3 2 9 5}
#{4 3 2 9 5}
#{0 4 3 2 9 5}
#{7 4 3 2 9 5}
#{0 7 4 3 2 9 5}
#{1 4 3 2 9 5}
#{0 1 4 3 2 9 5}
#{7 1 4 3 2 9 5}
#{0 7 1 4 3 2 9 5}
#{6 3 2 9 5}
#{0 6 3 2 9 5}
#{7 6 3 2 9 5}
#{0 7 6 3 2 9 5}
#{1 6 3 2 9 5}
#{0 1 6 3 2 9 5}
#{7 1 6 3 2 9 5}
#{0 7 1 6 3 2 9 5}
#{4 6 3 2 9 5}
#{0 4 6 3 2 9 5}
#{7 4 6 3 2 9 5}
#{0 7 4 6 3 2 9 5}
#{1 4 6 3 2 9 5}
#{0 1 4 6 3 2 9 5}
#{7 1 4 6 3 2 9 5}
#{0 7 1 4 6 3 2 9 5}
#{8}
#{0 8}
#{7 8}
#{0 7 8}
#{1 8}
#{0 1 8}
#{7 1 8}
#{0 7 1 8}
#{4 8}
#{0 4 8}
#{7 4 8}
#{0 7 4 8}
#{1 4 8}
#{0 1 4 8}
#{7 1 4 8}
#{0 7 1 4 8}
#{6 8}
#{0 6 8}
#{7 6 8}
#{0 7 6 8}
#{1 6 8}
#{0 1 6 8}
#{7 1 6 8}
#{0 7 1 6 8}
#{4 6 8}
#{0 4 6 8}
#{7 4 6 8}
#{0 7 4 6 8}
#{1 4 6 8}
#{0 1 4 6 8}
#{7 1 4 6 8}
#{0 7 1 4 6 8}
#{3 8}
#{0 3 8}
#{7 3 8}
#{0 7 3 8}
#{1 3 8}
#{0 1 3 8}
#{7 1 3 8}
#{0 7 1 3 8}
#{4 3 8}
#{0 4 3 8}
#{7 4 3 8}
#{0 7 4 3 8}
#{1 4 3 8}
#{0 1 4 3 8}
#{7 1 4 3 8}
#{0 7 1 4 3 8}
#{6 3 8}
#{0 6 3 8}
#{7 6 3 8}
#{0 7 6 3 8}
#{1 6 3 8}
#{0 1 6 3 8}
#{7 1 6 3 8}
#{0 7 1 6 3 8}
#{4 6 3 8}
#{0 4 6 3 8}
#{7 4 6 3 8}
#{0 7 4 6 3 8}
#{1 4 6 3 8}
#{0 1 4 6 3 8}
#{7 1 4 6 3 8}
#{0 7 1 4 6 3 8}
#{2 8}
#{0 2 8}
#{7 2 8}
#{0 7 2 8}
#{1 2 8}
#{0 1 2 8}
#{7 1 2 8}
#{0 7 1 2 8}
#{4 2 8}
#{0 4 2 8}
#{7 4 2 8}
#{0 7 4 2 8}
#{1 4 2 8}
#{0 1 4 2 8}
#{7 1 4 2 8}
#{0 7 1 4 2 8}
#{6 2 8}
#{0 6 2 8}
#{7 6 2 8}
#{0 7 6 2 8}
#{1 6 2 8}
#{0 1 6 2 8}
#{7 1 6 2 8}
#{0 7 1 6 2 8}
#{4 6 2 8}
#{0 4 6 2 8}
#{7 4 6 2 8}
#{0 7 4 6 2 8}
#{1 4 6 2 8}
#{0 1 4 6 2 8}
#{7 1 4 6 2 8}
#{0 7 1 4 6 2 8}
#{3 2 8}
#{0 3 2 8}
#{7 3 2 8}
#{0 7 3 2 8}
#{1 3 2 8}
#{0 1 3 2 8}
#{7 1 3 2 8}
#{0 7 1 3 2 8}
#{4 3 2 8}
#{0 4 3 2 8}
#{7 4 3 2 8}
#{0 7 4 3 2 8}
#{1 4 3 2 8}
#{0 1 4 3 2 8}
#{7 1 4 3 2 8}
#{0 7 1 4 3 2 8}
#{6 3 2 8}
#{0 6 3 2 8}
#{7 6 3 2 8}
#{0 7 6 3 2 8}
#{1 6 3 2 8}
#{0 1 6 3 2 8}
#{7 1 6 3 2 8}
#{0 7 1 6 3 2 8}
#{4 6 3 2 8}
#{0 4 6 3 2 8}
#{7 4 6 3 2 8}
#{0 7 4 6 3 2 8}
#{1 4 6 3 2 8}
#{0 1 4 6 3 2 8}
#{7 1 4 6 3 2 8}
#{0 7 1 4 6 3 2 8}
#{9 8}
#{0 9 8}
#{7 9 8}
#{0 7 9 8}
#{1 9 8}
#{0 1 9 8}
#{7 1 9 8}
#{0 7 1 9 8}
#{4 9 8}
#{0 4 9 8}
#{7 4 9 8}
#{0 7 4 9 8}
#{1 4 9 8}
#{0 1 4 9 8}
#{7 1 4 9 8}
#{0 7 1 4 9 8}
#{6 9 8}
#{0 6 9 8}
#{7 6 9 8}
#{0 7 6 9 8}
#{1 6 9 8}
#{0 1 6 9 8}
#{7 1 6 9 8}
#{0 7 1 6 9 8}
#{4 6 9 8}
#{0 4 6 9 8}
#{7 4 6 9 8}
#{0 7 4 6 9 8}
#{1 4 6 9 8}
#{0 1 4 6 9 8}
#{7 1 4 6 9 8}
#{0 7 1 4 6 9 8}
#{3 9 8}
#{0 3 9 8}
#{7 3 9 8}
#{0 7 3 9 8}
#{1 3 9 8}
#{0 1 3 9 8}
#{7 1 3 9 8}
#{0 7 1 3 9 8}
#{4 3 9 8}
#{0 4 3 9 8}
#{7 4 3 9 8}
#{0 7 4 3 9 8}
#{1 4 3 9 8}
#{0 1 4 3 9 8}
#{7 1 4 3 9 8}
#{0 7 1 4 3 9 8}
#{6 3 9 8}
#{0 6 3 9 8}
#{7 6 3 9 8}
#{0 7 6 3 9 8}
#{1 6 3 9 8}
#{0 1 6 3 9 8}
#{7 1 6 3 9 8}
#{0 7 1 6 3 9 8}
#{4 6 3 9 8}
#{0 4 6 3 9 8}
#{7 4 6 3 9 8}
#{0 7 4 6 3 9 8}
#{1 4 6 3 9 8}
#{0 1 4 6 3 9 8}
#{7 1 4 6 3 9 8}
#{0 7 1 4 6 3 9 8}
#{2 9 8}
#{0 2 9 8}
#{7 2 9 8}
#{0 7 2 9 8}
#{1 2 9 8}
#{0 1 2 9 8}
#{7 1 2 9 8}
#{0 7 1 2 9 8}
#{4 2 9 8}
#{0 4 2 9 8}
#{7 4 2 9 8}
#{0 7 4 2 9 8}
#{1 4 2 9 8}
#{0 1 4 2 9 8}
#{7 1 4 2 9 8}
#{0 7 1 4 2 9 8}
#{6 2 9 8}
#{0 6 2 9 8}
#{7 6 2 9 8}
#{0 7 6 2 9 8}
#{1 6 2 9 8}
#{0 1 6 2 9 8}
#{7 1 6 2 9 8}
#{0 7 1 6 2 9 8}
#{4 6 2 9 8}
#{0 4 6 2 9 8}
#{7 4 6 2 9 8}
#{0 7 4 6 2 9 8}
#{1 4 6 2 9 8}
#{0 1 4 6 2 9 8}
#{7 1 4 6 2 9 8}
#{0 7 1 4 6 2 9 8}
#{3 2 9 8}
#{0 3 2 9 8}
#{7 3 2 9 8}
#{0 7 3 2 9 8}
#{1 3 2 9 8}
#{0 1 3 2 9 8}
#{7 1 3 2 9 8}
#{0 7 1 3 2 9 8}
#{4 3 2 9 8}
#{0 4 3 2 9 8}
#{7 4 3 2 9 8}
#{0 7 4 3 2 9 8}
#{1 4 3 2 9 8}
#{0 1 4 3 2 9 8}
#{7 1 4 3 2 9 8}
#{0 7 1 4 3 2 9 8}
#{6 3 2 9 8}
#{0 6 3 2 9 8}
#{7 6 3 2 9 8}
#{0 7 6 3 2 9 8}
#{1 6 3 2 9 8}
#{0 1 6 3 2 9 8}
#{7 1 6 3 2 9 8}
#{0 7 1 6 3 2 9 8}
#{4 6 3 2 9 8}
#{0 4 6 3 2 9 8}
#{7 4 6 3 2 9 8}
#{0 7 4 6 3 2 9 8}
#{1 4 6 3 2 9 8}
#{0 1 4 6 3 2 9 8}
#{7 1 4 6 3 2 9 8}
#{0 7 1 4 6 3 2 9 8}
#{5 8}
#{0 5 8}
#{7 5 8}
#{0 7 5 8}
#{1 5 8}
#{0 1 5 8}
#{7 1 5 8}
#{0 7 1 5 8}
#{4 5 8}
#{0 4 5 8}
#{7 4 5 8}
#{0 7 4 5 8}
#{1 4 5 8}
#{0 1 4 5 8}
#{7 1 4 5 8}
#{0 7 1 4 5 8}
#{6 5 8}
#{0 6 5 8}
#{7 6 5 8}
#{0 7 6 5 8}
#{1 6 5 8}
#{0 1 6 5 8}
#{7 1 6 5 8}
#{0 7 1 6 5 8}
#{4 6 5 8}
#{0 4 6 5 8}
#{7 4 6 5 8}
#{0 7 4 6 5 8}
#{1 4 6 5 8}
#{0 1 4 6 5 8}
#{7 1 4 6 5 8}
#{0 7 1 4 6 5 8}
#{3 5 8}
#{0 3 5 8}
#{7 3 5 8}
#{0 7 3 5 8}
#{1 3 5 8}
#{0 1 3 5 8}
#{7 1 3 5 8}
#{0 7 1 3 5 8}
#{4 3 5 8}
#{0 4 3 5 8}
#{7 4 3 5 8}
#{0 7 4 3 5 8}
#{1 4 3 5 8}
#{0 1 4 3 5 8}
#{7 1 4 3 5 8}
#{0 7 1 4 3 5 8}
#{6 3 5 8}
#{0 6 3 5 8}
#{7 6 3 5 8}
#{0 7 6 3 5 8}
#{1 6 3 5 8}
#{0 1 6 3 5 8}
#{7 1 6 3 5 8}
#{0 7 1 6 3 5 8}
#{4 6 3 5 8}
#{0 4 6 3 5 8}
#{7 4 6 3 5 8}
#{0 7 4 6 3 5 8}
#{1 4 6 3 5 8}
#{0 1 4 6 3 5 8}
#{7 1 4 6 3 5 8}
#{0 7 1 4 6 3 5 8}
#{2 5 8}
#{0 2 5 8}
#{7 2 5 8}
#{0 7 2 5 8}
#{1 2 5 8}
#{0 1 2 5 8}
#{7 1 2 5 8}
#{0 7 1 2 5 8}
#{4 2 5 8}
#{0 4 2 5 8}
#{7 4 2 5 8}
#{0 7 4 2 5 8}
#{1 4 2 5 8}
#{0 1 4 2 5 8}
#{7 1 4 2 5 8}
#{0 7 1 4 2 5 8}
#{6 2 5 8}
#{0 6 2 5 8}
#{7 6 2 5 8}
#{0 7 6 2 5 8}
#{1 6 2 5 8}
#{0 1 6 2 5 8}
#{7 1 6 2 5 8}
#{0 7 1 6 2 5 8}
#{4 6 2 5 8}
#{0 4 6 2 5 8}
#{7 4 6 2 5 8}
#{0 7 4 6 2 5 8}
#{1 4 6 2 5 8}
#{0 1 4 6 2 5 8}
#{7 1 4 6 2 5 8}
#{0 7 1 4 6 2 5 8}
#{3 2 5 8}
#{0 3 2 5 8}
#{7 3 2 5 8}
#{0 7 3 2 5 8}
#{1 3 2 5 8}
#{0 1 3 2 5 8}
#{7 1 3 2 5 8}
#{0 7 1 3 2 5 8}
#{4 3 2 5 8}
#{0 4 3 2 5 8}
#{7 4 3 2 5 8}
#{0 7 4 3 2 5 8}
#{1 4 3 2 5 8}
#{0 1 4 3 2 5 8}
#{7 1 4 3 2 5 8}
#{0 7 1 4 3 2 5 8}
#{6 3 2 5 8}
#{0 6 3 2 5 8}
#{7 6 3 2 5 8}
#{0 7 6 3 2 5 8}
#{1 6 3 2 5 8}
#{0 1 6 3 2 5 8}
#{7 1 6 3 2 5 8}
#{0 7 1 6 3 2 5 8}
#{4 6 3 2 5 8}
#{0 4 6 3 2 5 8}
#{7 4 6 3 2 5 8}
#{0 7 4 6 3 2 5 8}
#{1 4 6 3 2 5 8}
#{0 1 4 6 3 2 5 8}
#{7 1 4 6 3 2 5 8}
#{0 7 1 4 6 3 2 5 8}
#{9 5 8}
#{0 9 5 8}
#{7 9 5 8}
#{0 7 9 5 8}
#{1 9 5 8}
#{0 1 9 5 8}
#{7 1 9 5 8}
#{0 7 1 9 5 8}
#{4 9 5 8}
#{0 4 9 5 8}
#{7 4 9 5 8}
#{0 7 4 9 5 8}
#{1 4 9 5 8}
#{0 1 4 9 5 8}
#{7 1 4 9 5 8}
#{0 7 1 4 9 5 8}
#{6 9 5 8}
#{0 6 9 5 8}
#{7 6 9 5 8}
#{0 7 6 9 5 8}
#{1 6 9 5 8}
#{0 1 6 9 5 8}
#{7 1 6 9 5 8}
#{0 7 1 6 9 5 8}
#{4 6 9 5 8}
#{0 4 6 9 5 8}
#{7 4 6 9 5 8}
#{0 7 4 6 9 5 8}
#{1 4 6 9 5 8}
#{0 1 4 6 9 5 8}
#{7 1 4 6 9 5 8}
#{0 7 1 4 6 9 5 8}
#{3 9 5 8}
#{0 3 9 5 8}
#{7 3 9 5 8}
#{0 7 3 9 5 8}
#{1 3 9 5 8}
#{0 1 3 9 5 8}
#{7 1 3 9 5 8}
#{0 7 1 3 9 5 8}
#{4 3 9 5 8}
#{0 4 3 9 5 8}
#{7 4 3 9 5 8}
#{0 7 4 3 9 5 8}
#{1 4 3 9 5 8}
#{0 1 4 3 9 5 8}
#{7 1 4 3 9 5 8}
#{0 7 1 4 3 9 5 8}
#{6 3 9 5 8}
#{0 6 3 9 5 8}
#{7 6 3 9 5 8}
#{0 7 6 3 9 5 8}
#{1 6 3 9 5 8}
#{0 1 6 3 9 5 8}
#{7 1 6 3 9 5 8}
#{0 7 1 6 3 9 5 8}
#{4 6 3 9 5 8}
#{0 4 6 3 9 5 8}
#{7 4 6 3 9 5 8}
#{0 7 4 6 3 9 5 8}
#{1 4 6 3 9 5 8}
#{0 1 4 6 3 9 5 8}
#{7 1 4 6 3 9 5 8}
#{0 7 1 4 6 3 9 5 8}
#{2 9 5 8}
#{0 2 9 5 8}
#{7 2 9 5 8}
#{0 7 2 9 5 8}
#{1 2 9 5 8}
#{0 1 2 9 5 8}
#{7 1 2 9 5 8}
#{0 7 1 2 9 5 8}
#{4 2 9 5 8}
#{0 4 2 9 5 8}
#{7 4 2 9 5 8}
#{0 7 4 2 9 5 8}
#{1 4 2 9 5 8}
#{0 1 4 2 9 5 8}
#{7 1 4 2 9 5 8}
#{0 7 1 4 2 9 5 8}
#{6 2 9 5 8}
#{0 6 2 9 5 8}
#{7 6 2 9 5 8}
#{0 7 6 2 9 5 8}
#{1 6 2 9 5 8}
#{0 1 6 2 9 5 8}
#{7 1 6 2 9 5 8}
#{0 7 1 6 2 9 5 8}
#{4 6 2 9 5 8}
#{0 4 6 2 9 5 8}
#{7 4 6 2 9 5 8}
#{0 7 4 6 2 9 5 8}
#{1 4 6 2 9 5 8}
#{0 1 4 6 2 9 5 8}
#{7 1 4 6 2 9 5 8}
#{0 7 1 4 6 2 9 5 8}
#{3 2 9 5 8}
#{0 3 2 9 5 8}
#{7 3 2 9 5 8}
#{0 7 3 2 9 5 8}
#{1 3 2 9 5 8}
#{0 1 3 2 9 5 8}
#{7 1 3 2 9 5 8}
#{0 7 1 3 2 9 5 8}
#{4 3 2 9 5 8}
#{0 4 3 2 9 5 8}
#{7 4 3 2 9 5 8}
#{0 7 4 3 2 9 5 8}
#{1 4 3 2 9 5 8}
#{0 1 4 3 2 9 5 8}
#{7 1 4 3 2 9 5 8}
#{0 7 1 4 3 2 9 5 8}
#{6 3 2 9 5 8}
#{0 6 3 2 9 5 8}
#{7 6 3 2 9 5 8}
#{0 7 6 3 2 9 5 8}
#{1 6 3 2 9 5 8}
#{0 1 6 3 2 9 5 8}
#{7 1 6 3 2 9 5 8}
#{0 7 1 6 3 2 9 5 8}
#{4 6 3 2 9 5 8}
#{0 4 6 3 2 9 5 8}
#{7 4 6 3 2 9 5 8}
#{0 7 4 6 3 2 9 5 8}
#{1 4 6 3 2 9 5 8}
#{0 1 4 6 3 2 9 5 8}
#{7 1 4 6 3 2 9 5 8}
#{0 7 1 4 6 3 2 9 5 8}))
((27 8 4 9) (9 4 2 3))
(#{[27 9]} ([27 3]))
(("top" "sop" "stp" "sto")
("otop"
"ptop"
"stop"
"ttop"
"soop"
"spop"
"ssop"
"stop"
"stop"
"stpp"
"stsp"
"sttp"
"stoo"
"stop"
"stos"
"stot")
("ostop"
"pstop"
"sstop"
"tstop"
"sotop"
"sptop"
"sstop"
"sttop"
"stoop"
"stpop"
"stsop"
"sttop"
"stoop"
"stopp"
"stosp"
"stotp"
"stopo"
"stopp"
"stops"
"stopt"))
((#{}) (#{8}))
(() #{1 3 2})
(["man" "snake"] ["cat" "man"] ["spider" "cat"])
(#{#{}} (#{:a}))
(#{#{8}} (#{8}) #{#{}})
((#{}) (#{}))
(#{#{}} (#{2}))
(#{["son" "grandson"] ["uncle" "cousin"] ["father" "son"]} ())
(#{#{}} (#{1} #{3} #{1 3} #{2} #{1 2} #{3 2} #{1 3 2}))
((()) ((8)))
((["cat" "man"] ["spider" "cat"]) #{})
((#{}) (#{:a}))
([27 9] [8 4] [4 2] [9 3])
(#{}
(#{coal-mine.checks/D coal-mine.checks/c coal-mine.checks/b
coal-mine.checks/A}
#{coal-mine.checks/D coal-mine.checks/C coal-mine.checks/b
coal-mine.checks/A}
#{coal-mine.checks/D coal-mine.checks/c coal-mine.checks/b
coal-mine.checks/a}
#{coal-mine.checks/D coal-mine.checks/C coal-mine.checks/b
coal-mine.checks/a}))
(#{#{coal-mine.checks/d coal-mine.checks/A}
#{coal-mine.checks/c coal-mine.checks/A}
#{coal-mine.checks/b coal-mine.checks/A}}
(#{coal-mine.checks/B coal-mine.checks/C coal-mine.checks/d}))
(() #{:b :a})
([[1 2] [2 3] [2 4] [2 5]] #{[4 2] [5 2] [2 1] [3 2]})
(#{}
(#{coal-mine.checks/D coal-mine.checks/B coal-mine.checks/C
coal-mine.checks/a}))
(() #{:e :c :b :d :a})
((["cat" "snake"] ["spider" "man"])
#{["man" "snake"] ["cat" "man"] ["spider" "cat"]})
(#{"grandson"} ())
((3) (1))
(#{#{coal-mine.checks/a}} ())
((#{[2 3] [1 2]}) (#{[2 4] [1 2]}) (#{[2 5] [1 2]}))
(#{#{2}} (#{2}) #{#{}})
(([1 1] [1 2] [1 3] [2 1] [2 3] [3 1] [3 2] [3 3])
([1 2] [1 3] [1 4] [2 2] [2 4] [3 2] [3 3] [3 4])
([2 2] [2 3] [2 4] [3 2] [3 4] [4 2] [4 3] [4 4])
([1 3] [1 4] [1 5] [2 3] [2 5] [3 3] [3 4] [3 5])
([2 0] [2 1] [2 2] [3 0] [3 2] [4 0] [4 1] [4 2])
([2 1] [2 2] [2 3] [3 1] [3 3] [4 1] [4 2] [4 3]))
(#{}
(#{coal-mine.checks/D coal-mine.checks/C coal-mine.checks/b
coal-mine.checks/A}
#{coal-mine.checks/B coal-mine.checks/C coal-mine.checks/d
coal-mine.checks/A}
#{coal-mine.checks/C coal-mine.checks/b coal-mine.checks/d
coal-mine.checks/A}
#{coal-mine.checks/D coal-mine.checks/B coal-mine.checks/C
coal-mine.checks/A}))
((:e :c) (:a))
(#{[27 9] [8 4] [4 2] [9 3]} ([27 3] [8 2]))
(#{#{coal-mine.checks/b coal-mine.checks/d}
#{coal-mine.checks/D coal-mine.checks/B}}
())
(#{[2 4]} {})
((#{:a}) #{#{}})
(#{[:a :a]} ((:a :a)))
(#{#{4 6}} [#{3 2}])
((#{:a}) (#{}))
([1 2] #{3 2})
(("hares" "sares" "shres" "shaes" "shars" "share")
("ahares"
"ehares"
"hhares"
"rhares"
"shares"
"saares"
"seares"
"shares"
"srares"
"ssares"
"shares"
"sheres"
"shhres"
"shrres"
"shsres"
"shaaes"
"shaees"
"shahes"
"shares"
"shases"
"sharas"
"shares"
"sharhs"
"sharrs"
"sharss"
"sharea"
"sharee"
"shareh"
"sharer"
"shares")
("ashares"
"eshares"
"hshares"
"rshares"
"sshares"
"sahares"
"sehares"
"shhares"
"srhares"
"sshares"
"shaares"
"sheares"
"shhares"
"shrares"
"shsares"
"shaares"
"shaeres"
"shahres"
"sharres"
"shasres"
"sharaes"
"sharees"
"sharhes"
"sharres"
"sharses"
"shareas"
"sharees"
"sharehs"
"sharers"
"sharess"
"sharesa"
"sharese"
"sharesh"
"sharesr"
"sharess"))
({} {})
(("son" "uncle" "father") ("grandson" "cousin" "son"))
([:a :b] #{:c :a})
((#{0}) #{#{}})
(() #{1 4 2})
(#{#{5 8} #{} #{8} #{5}} (#{9 5 8} #{9} #{9 8} #{9 5}))
(#{1} (2))
((0 1 2 3 4 5 6) (0 1 2 3 4 5 6))
((0) (0))
((#{[:a :a]}) (#{[:b :b]}))
(("og" "dg" "do")
("aog"
"cog"
"dog"
"gog"
"hog"
"oog"
"tog"
"dag"
"dcg"
"ddg"
"dgg"
"dhg"
"dog"
"dtg"
"doa"
"doc"
"dod"
"dog"
"doh"
"doo"
"dot")
("adog"
"cdog"
"ddog"
"gdog"
"hdog"
"odog"
"tdog"
"daog"
"dcog"
"ddog"
"dgog"
"dhog"
"doog"
"dtog"
"doag"
"docg"
"dodg"
"dogg"
"dohg"
"doog"
"dotg"
"doga"
"dogc"
"dogd"
"dogg"
"dogh"
"dogo"
"dogt"))
(([27 3] [8 2]) #{[27 9] [8 4] [4 2] [9 3]})
([[:a :a] [:b :b]] ((:a :a) (:b :b)))
({1 7} {2 10} {3 15})
(#{9} (3))
(#{["son" "grandson"]} (["father" "grandson"]))
([:a :b] #{:b :a})
(#{[27 9]} () ())
(#{["son" "grandson"]} () ())
(#{#{}} (#{0}))
(#{:b} (:b))
((:b :a) (:c :a) (:b))
(() #{:b})
(#{}
(#{coal-mine.checks/B coal-mine.checks/C coal-mine.checks/d
coal-mine.checks/A}
#{coal-mine.checks/D coal-mine.checks/B coal-mine.checks/C
coal-mine.checks/A}))
([[:a :b]
[:a :c]
[:c :b]
[:a :e]
[:b :e]
[:a :d]
[:b :d]
[:c :e]
[:d :e]
[:c :f]
[:d :f]]
((:b :a)
(:c :a)
(:b :c)
(:e :a)
(:e :b)
(:d :a)
(:d :b)
(:e :c)
(:e :d)
(:f :c)
(:f :d)))
((0 1 2 3 4 5 6 7 8) (0 1 2 3 4 5 6 7 8))
(#{#{coal-mine.checks/C coal-mine.checks/A}
#{coal-mine.checks/c coal-mine.checks/a}}
())
((["uncle" "cousin"] ["father" "son"]) #{})
(() #{:e :c :b :a})
(#{}
(#{coal-mine.checks/D coal-mine.checks/B coal-mine.checks/c
coal-mine.checks/A}
#{coal-mine.checks/D coal-mine.checks/B coal-mine.checks/C
coal-mine.checks/A}
#{coal-mine.checks/D coal-mine.checks/B coal-mine.checks/c
coal-mine.checks/a}
#{coal-mine.checks/D coal-mine.checks/B coal-mine.checks/C
coal-mine.checks/a}))
(#{#{}} (#{1} #{:a} #{1 :a}))
([1 2] [2 3] [2 4] [2 5])
((1 2) (1 3 2))
(#{#{coal-mine.checks/B coal-mine.checks/d}
#{coal-mine.checks/D coal-mine.checks/b}}
())
(("man" "cat" "spider") ("snake" "man" "cat"))
((#{"mat"}) #{})
(#{["spot" "dot"] ["pout" "do"] ["spot" "spout"] ["spot" "pot"]
["dot" "do"] ["pot" "dot"] ["pout" "dot"] ["spout" "spout"]
["pout" "spot"] ["pot" "pout"] ["pout" "spout"] ["spot" "do"]
["spout" "dot"] ["pot" "do"] ["dot" "dot"] ["spout" "spot"]
["pot" "spout"] ["spot" "pout"] ["pout" "pot"] ["dot" "spot"]
["dot" "spout"] ["do" "pot"] ["spout" "do"] ["spout" "pot"]
["do" "spot"] ["spot" "spot"] ["pot" "spot"] ["pot" "pot"]
["do" "pout"] ["pout" "pout"] ["do" "dot"] ["spout" "pout"]
["dot" "pout"] ["dot" "pot"] ["do" "do"] ["do" "spout"]}
(("dot" "spot")
("do" "pout")
("spout" "spot")
("pot" "spot")
("do" "dot")
("dot" "pot")
("dot" "pout")
("spout" "spout")
("spot" "pout")
("pout" "pot")
("spout" "pout")
("do" "spot")
("dot" "spout")
("do" "pot")
("dot" "dot")
("spot" "spout")
("spout" "pot")
("pout" "spot")
("pot" "pout")
("spot" "dot")
("spout" "dot")
("pot" "do")
("do" "spout")
("pot" "spout")
("spot" "do")
("spot" "spot")
("spot" "pot")
("pot" "pot")
("pout" "do")
("pout" "pout")
("dot" "do")
("pout" "spout")
("pout" "dot")
("pot" "dot")
("do" "do")
("spout" "do")))
((#{"item"} #{"veer"}) #{})
([] #{})
(("re" "ae" "ar")
("are"
"ere"
"hre"
"rre"
"sre"
"aae"
"aee"
"ahe"
"are"
"ase"
"ara"
"are"
"arh"
"arr"
"ars")
("aare"
"eare"
"hare"
"rare"
"sare"
"aare"
"aere"
"ahre"
"arre"
"asre"
"arae"
"aree"
"arhe"
"arre"
"arse"
"area"
"aree"
"areh"
"arer"
"ares"))
(#{["man" "snake"] ["cat" "man"] ["spider" "cat"]}
(["cat" "snake"] ["spider" "man"]))
(#{:a} {})
(#{0} {})
(("pot" "sot" "spt" "spo")
("dpot"
"opot"
"ppot"
"spot"
"tpot"
"upot"
"sdot"
"soot"
"spot"
"ssot"
"stot"
"suot"
"spdt"
"spot"
"sppt"
"spst"
"sptt"
"sput"
"spod"
"spoo"
"spop"
"spos"
"spot"
"spou")
("dspot"
"ospot"
"pspot"
"sspot"
"tspot"
"uspot"
"sdpot"
"sopot"
"sppot"
"sspot"
"stpot"
"supot"
"spdot"
"spoot"
"sppot"
"spsot"
"sptot"
"spuot"
"spodt"
"spoot"
"spopt"
"spost"
"spott"
"spout"
"spotd"
"spoto"
"spotp"
"spots"
"spott"
"spotu"))
((:c :b :a) (:a) (:b) (:c))
(("ot" "ct" "co")
("aot"
"bot"
"cot"
"fot"
"hot"
"oot"
"tot"
"cat"
"cbt"
"cct"
"cft"
"cht"
"cot"
"ctt"
"coa"
"cob"
"coc"
"cof"
"coh"
"coo"
"cot")
("acot"
"bcot"
"ccot"
"fcot"
"hcot"
"ocot"
"tcot"
"caot"
"cbot"
"ccot"
"cfot"
"chot"
"coot"
"ctot"
"coat"
"cobt"
"coct"
"coft"
"coht"
"coot"
"cott"
"cota"
"cotb"
"cotc"
"cotf"
"coth"
"coto"
"cott"))
((#{[2 3] [3 4] [4 1] [1 2]}))
(#{["hare" "share"] ["hare" "hare"] ["share" "are"] ["are" "are"]
["are" "hares"] ["hares" "hares"] ["hares" "are"] ["hare" "hares"]
["share" "share"] ["hares" "hare"] ["hare" "are"] ["are" "share"]
["are" "hare"] ["share" "hares"] ["hares" "share"]
["share" "hare"]}
(("share" "hare")
("hare" "hare")
("are" "share")
("are" "are")
("hares" "are")
("hares" "hares")
("are" "hares")
("hares" "hare")
("share" "share")
("hare" "hares")
("are" "hare")
("share" "are")
("hare" "are")
("hares" "share")
("share" "hares")
("hare" "share")))
(#{[27 9] [8 4] [4 2] [9 3]} ([27 3]))
(#{1} (3 2))
(#{#{coal-mine.checks/B coal-mine.checks/c}
#{coal-mine.checks/c coal-mine.checks/a}}
())
(#{:e} (:c :b :d :a))
({} {"cat" "snake"})
((4 6 5) ())
((4 6 2) (7))
(#{"snake"} ())
(([1 2]) ([3 4]))
((#{3} #{1}) (#{2} #{1}))
((#{[:c :d] [:c :a] [:a :d] [:a :b] [:b :d] [:a :c]}))
(() (:c :b :a))
(() (4 6 5))
({:b (6 7)} {:a (3 4 5)} {:c [8 9]})
([1 2] [2 3] [3 4] [4 1])
(#{[:b :e] [:c :d] [:x :y] [:a :b] [:d :a] [:b :c]}
([:e :b] [:d :c] [:y :x] [:b :a] [:a :d] [:c :b]))
((:b :a) (:c :a))
((()) ((2)))
(#{#{} #{3} #{2} #{3 2}} (#{1} #{1 3} #{1 2} #{1 3 2}))
(#{#{:a}} (#{:a}) #{#{}})
(["son" "grandson"] ["uncle" "cousin"] ["father" "son"])
(#{["man" "snake"] ["cat" "man"] ["spider" "cat"]} ())
(#{[2 3] [3 4] [6 4] [5 6] [4 5] [3 1] [1 2]}
((3 2) (4 3) (4 6) (6 5) (5 4) (1 3) (2 1)))
(#{:y} (:x))
(#{}
(#{coal-mine.checks/c coal-mine.checks/b coal-mine.checks/a}
#{coal-mine.checks/B coal-mine.checks/c coal-mine.checks/a}
#{coal-mine.checks/C coal-mine.checks/b coal-mine.checks/a}
#{coal-mine.checks/B coal-mine.checks/C coal-mine.checks/a}))
([[:a :b] [:a :b] [:a :c] [:c :a] [:a :d] [:b :d] [:c :d]]
#{[:b :a] [:c :a] [:d :a] [:a :c] [:d :c] [:d :b]})
(#{["hare" "share"] ["hare" "hare"] ["share" "are"] ["are" "are"]
["are" "shares"] ["are" "hares"] ["shares" "share"]
["hare" "shares"] ["shares" "are"] ["hares" "hares"]
["hares" "shares"] ["shares" "shares"] ["share" "shares"]
["hares" "are"] ["hare" "hares"] ["share" "share"]
["hares" "hare"] ["hare" "are"] ["are" "share"] ["are" "hare"]
["share" "hares"] ["shares" "hare"] ["hares" "share"]
["shares" "hares"] ["share" "hare"]}
(("share" "hare")
("hare" "hare")
("are" "share")
("are" "are")
("shares" "are")
("hares" "are")
("share" "shares")
("shares" "hare")
("are" "shares")
("hares" "hares")
("shares" "hares")
("shares" "shares")
("shares" "share")
("are" "hares")
("hares" "hare")
("share" "share")
("hare" "hares")
("are" "hare")
("share" "are")
("hare" "are")
("hares" "share")
("hare" "shares")
("share" "hares")
("hares" "shares")
("hare" "share")))
(([3 4]) ([1 2]))
(#{["man" "snake"]} (["cat" "snake"]))
((7) (4 6 2))
(#{["son" "grandson"] ["uncle" "cousin"] ["father" "son"]}
(["father" "grandson"]))
(#{[:a :b]} ((:b :a)))
(() #{:a})
(() #{3 2})
(#{#{}} (#{8}))
(#{[2 3] [6 4] [5 6] [4 5] [3 1] [1 2]}
((3 2) (4 6) (6 5) (5 4) (1 3) (2 1)))
([[:a :b]
[:a :c]
[:c :b]
[:a :e]
[:b :e]
[:a :d]
[:b :d]
[:c :e]
[:d :e]
[:c :f]
[:d :f]]
#{[:f :c] [:b :a] [:c :a] [:e :a] [:d :a] [:f :d] [:e :b] [:e :c]
[:d :b] [:b :c] [:e :d]})
(([8 4] [4 2] [9 3]) #{[27 3]})
([:a :b]
[:a :c]
[:c :b]
[:a :e]
[:b :e]
[:a :d]
[:b :d]
[:c :e]
[:d :e]
[:c :f]
[:d :f])
(#{1} {})
((()) ((:a)))
((:c :b :a) (:a))
(#{["hot" "hot"] ["bat" "bat"] ["cot" "bat"] ["fat" "fat"]
["cot" "cot"] ["hot" "bat"] ["hot" "fat"] ["bat" "hot"]
["cot" "fat"] ["hot" "cot"] ["fat" "hot"] ["bat" "cot"]
["cot" "hot"] ["fat" "cot"] ["bat" "fat"] ["fat" "bat"]}
(("hot" "hot")
("bat" "bat")
("bat" "cot")
("fat" "fat")
("cot" "cot")
("bat" "hot")
("fat" "hot")
("hot" "bat")
("fat" "cot")
("cot" "hot")
("hot" "fat")
("cot" "bat")
("hot" "cot")
("cot" "fat")
("fat" "bat")
("bat" "fat")))
([:a :b] [:a :b] [:a :c] [:c :a] [:a :d] [:b :d] [:c :d])
({27 3} {8 2})
([:a :b])
([:a :b] [:a :c])]}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment