OS/2 Shareware BBS: 10 Tools/10-Tools.zip/lifeos2.zip/LIFE-1.02/PITCH/DJD

Text File | 1996-06-29 | 116KB | 2,412 lines

Wild_Life Interpreter Version 1.02 06/17/96
Copyright (C) 1991-93 DEC Paris Research Laboratory
Extensions, Copyright (C) 1994-1995 Intelligent Software Group, SFU
OS/2 Port by Dennis J. Darland 06/17/96
X interface not installed.
Loaded customizing file from current directory.
> p_deal.
[[5,11,12,6,8,19,0,46,38],[40,16,2,23,20,9,48,51,52],[15,21,30,24,26,27,17,18,25],[36,45,22,29,10,32,35,43,13]].
p_bid.
sussy bids 2.
5 c_7_of_hearts.
11 k_of_hearts.
12 a_of_hearts.
6 c_8_of_hearts.
8 c_10_of_hearts.
19 c_8_of_diamonds.
0 c_2_of_hearts.
46 c_9_of_clubs.
38 a_of_spades.
enter bid value.
enter bid suite.
@ bids 4.
bid_is dennis 4 hearts.
p_discard.
h1.
5 c_7_of_hearts.
11 k_of_hearts.
12 a_of_hearts.
6 c_8_of_hearts.
8 c_10_of_hearts.
19 c_8_of_diamonds.
0 c_2_of_hearts.
46 c_9_of_clubs.
38 a_of_spades.
h2.
40 c_3_of_clubs.
16 c_5_of_diamonds.
2 c_4_of_hearts.
23 q_of_diamonds.
20 c_9_of_diamonds.
9 j_of_hearts.
48 j_of_clubs.
51 a_of_clubs.
52 low_joker.
h3.
15 c_4_of_diamonds.
21 c_10_of_diamonds.
30 c_6_of_spades.
24 k_of_diamonds.
26 c_2_of_spades.
27 c_3_of_spades.
17 c_6_of_diamonds.
18 c_7_of_diamonds.
25 a_of_diamonds.
h4.
36 q_of_spades.
45 c_8_of_clubs.
22 j_of_diamonds.
29 c_5_of_spades.
10 q_of_hearts.
32 c_8_of_spades.
35 j_of_spades.
43 c_6_of_clubs.
13 c_2_of_diamonds.
discard_non_suite.
hand1.
5 c_7_of_hearts.
11 k_of_hearts.
12 a_of_hearts.
6 c_8_of_hearts.
8 c_10_of_hearts.
0 c_2_of_hearts.
hand2.
2 c_4_of_hearts.
9 j_of_hearts.
52 low_joker.
hand3.
hand4.
22 j_of_diamonds.
10 q_of_hearts.
discard_excess.
6.
newhand1.
5 c_7_of_hearts.
11 k_of_hearts.
12 a_of_hearts.
6 c_8_of_hearts.
8 c_10_of_hearts.
0 c_2_of_hearts.
3.
newhand2.
2 c_4_of_hearts.
9 j_of_hearts.
52 low_joker.
0.
newhand3.
2.
newhand4.
22 j_of_diamonds.
10 q_of_hearts.
[[5,11,12,6,8,0],[2,9,52],[],[22,10]].
p_deal2.
final_hands.
[[5,11,12,6,8,0,49,14,31,37,41],[7,1,4,2,9,52],[3,47,44,28,39,33],[34,50,42,53,22,10]].
p_discard.
h1.
5 c_7_of_hearts.
11 k_of_hearts.
12 a_of_hearts.
6 c_8_of_hearts.
8 c_10_of_hearts.
0 c_2_of_hearts.
49 q_of_clubs.
14 c_3_of_diamonds.
31 c_7_of_spades.
37 k_of_spades.
41 c_4_of_clubs.
h2.
7 c_9_of_hearts.
1 c_3_of_hearts.
4 c_6_of_hearts.
2 c_4_of_hearts.
9 j_of_hearts.
52 low_joker.
h3.
3 c_5_of_hearts.
47 c_10_of_clubs.
44 c_7_of_clubs.
28 c_4_of_spades.
39 c_2_of_clubs.
33 c_9_of_spades.
h4.
34 c_10_of_spades.
50 k_of_clubs.
42 c_5_of_clubs.
53 high_joker.
22 j_of_diamonds.
10 q_of_hearts.
discard_non_suite.
hand1.
5 c_7_of_hearts.
11 k_of_hearts.
12 a_of_hearts.
6 c_8_of_hearts.
8 c_10_of_hearts.
0 c_2_of_hearts.
hand2.
7 c_9_of_hearts.
1 c_3_of_hearts.
4 c_6_of_hearts.
2 c_4_of_hearts.
9 j_of_hearts.
52 low_joker.
hand3.
3 c_5_of_hearts.
hand4.
53 high_joker.
22 j_of_diamonds.
10 q_of_hearts.
discard_excess.
6.
newhand1.
5 c_7_of_hearts.
11 k_of_hearts.
12 a_of_hearts.
6 c_8_of_hearts.
8 c_10_of_hearts.
0 c_2_of_hearts.
6.
newhand2.
7 c_9_of_hearts.
1 c_3_of_hearts.
4 c_6_of_hearts.
2 c_4_of_hearts.
9 j_of_hearts.
52 low_joker.
1.
newhand3.
3 c_5_of_hearts.
3.
newhand4.
53 high_joker.
22 j_of_diamonds.
10 q_of_hearts.
[[5,11,12,6,8,0],[7,1,4,2,9,52],[3],[53,22,10]].
before_play_cards.
in_play_cards_1.
in_play_cards_2.
T1120456 C02    prove arrange_by_val([5,11,12,6,8,0],@,hearts)
T1120457 C02       unify [5,11,12,6,8,0] with @
T1120458 C02      unify @ with @
T1120459 C02     unify hearts with @
T1120461 C02     prove get_vals([5,11,12,6,8,0],@,hearts)
T1120462 C03       unify [5,11,12,6,8,0] with []
T1120462 C02      backtracking
T1120463 C02     prove get_vals([5,11,12,6,8,0],@,hearts)
T1120464 C02        unify [5,11,12,6,8,0] with @
T1120465 C02       unify @ with @
T1120466 C02      unify hearts with @
T1120468 C02      prove built-in [5,11,12,6,8,0] = [@|@]
T1120469 C02      unify [5,11,12,6,8,0] with [@|@]
T1120470 C02       unify 5 with @
T1120471 C02      unify [11,12,6,8,0] with @
T1120473 C02      prove card([5,@,hearts,@,@,@])
T1120474 C03       unify [5,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1120475 C03        unify 5 with @
T1120476 C03       unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1120477 C03        unify @ with @
T1120478 C03       unify [hearts,@,@,@] with [@,@,@,@]
T1120479 C03        unify hearts with @
T1120480 C03       unify [@,@,@] with [@,@,@]
T1120481 C03        unify @ with @
T1120482 C03       unify [@,@] with [@,@]
T1120483 C03        unify @ with @
T1120484 C03       unify [@] with [@]
T1120485 C03        unify @ with @
T1120486 C03       unify [] with []
T1120487 C03      prove heart([5,@,hearts,@,@,@])
T1120488 C04      unify [5,@,hearts,@,@,@] with [0,2,hearts,c_2_of_hearts,0,1]
T1120489 C04       unify 5 with 0
T1120489 C03       backtracking
T1120490 C03      prove heart([5,@,hearts,@,@,@])
T1120491 C04      unify [5,@,hearts,@,@,@] with [1,3,hearts,c_3_of_hearts,0,0]
T1120492 C04       unify 5 with 1
T1120492 C03       backtracking
T1120493 C03      prove heart([5,@,hearts,@,@,@])
T1120494 C04      unify [5,@,hearts,@,@,@] with [2,4,hearts,c_4_of_hearts,0,0]
T1120495 C04       unify 5 with 2
T1120495 C03       backtracking
T1120496 C03      prove heart([5,@,hearts,@,@,@])
T1120497 C04      unify [5,@,hearts,@,@,@] with [3,5,hearts,c_5_of_hearts,0,0]
T1120498 C04       unify 5 with 3
T1120498 C03       backtracking
T1120499 C03      prove heart([5,@,hearts,@,@,@])
T1120500 C04      unify [5,@,hearts,@,@,@] with [4,6,hearts,c_6_of_hearts,0,0]
T1120501 C04       unify 5 with 4
T1120501 C03       backtracking
T1120502 C03      prove heart([5,@,hearts,@,@,@])
T1120503 C04      unify [5,@,hearts,@,@,@] with [5,7,hearts,c_7_of_hearts,0,0]
T1120504 C04       unify 5 with 5
T1120505 C04      unify [@,hearts,@,@,@] with [7,hearts,c_7_of_hearts,0,0]
T1120506 C04       unify @ with 7
T1120507 C04      unify [hearts,@,@,@] with [hearts,c_7_of_hearts,0,0]
T1120508 C04       unify hearts with hearts
T1120509 C04      unify [@,@,@] with [c_7_of_hearts,0,0]
T1120510 C04       unify @ with c_7_of_hearts
T1120511 C04      unify [@,@] with [0,0]
T1120512 C04       unify @ with 0
T1120513 C04      unify [@] with [0]
T1120514 C04       unify @ with 0
T1120515 C04      unify [] with []
T1120517 C04      prove get_vals([11,12,6,8,0],@,hearts)
T1120518 C05        unify [11,12,6,8,0] with []
T1120518 C04       backtracking
T1120519 C04      prove get_vals([11,12,6,8,0],@,hearts)
T1120520 C04         unify [11,12,6,8,0] with @
T1120521 C04        unify @ with @
T1120522 C04       unify hearts with @
T1120524 C04       prove built-in [11,12,6,8,0] = [@|@]
T1120525 C04       unify [11,12,6,8,0] with [@|@]
T1120526 C04        unify 11 with @
T1120527 C04       unify [12,6,8,0] with @
T1120529 C04       prove card([11,@,hearts,@,@,@])
T1120530 C05        unify [11,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1120531 C05         unify 11 with @
T1120532 C05        unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1120533 C05         unify @ with @
T1120534 C05        unify [hearts,@,@,@] with [@,@,@,@]
T1120535 C05         unify hearts with @
T1120536 C05        unify [@,@,@] with [@,@,@]
T1120537 C05         unify @ with @
T1120538 C05        unify [@,@] with [@,@]
T1120539 C05         unify @ with @
T1120540 C05        unify [@] with [@]
T1120541 C05         unify @ with @
T1120542 C05        unify [] with []
T1120543 C05       prove heart([11,@,hearts,@,@,@])
T1120544 C06       unify [11,@,hearts,@,@,@] with [0,2,hearts,c_2_of_hearts,0,1]
T1120545 C06        unify 11 with 0
T1120545 C05        backtracking
T1120546 C05       prove heart([11,@,hearts,@,@,@])
T1120547 C06       unify [11,@,hearts,@,@,@] with [1,3,hearts,c_3_of_hearts,0,0]
T1120548 C06        unify 11 with 1
T1120548 C05        backtracking
T1120549 C05       prove heart([11,@,hearts,@,@,@])
T1120550 C06       unify [11,@,hearts,@,@,@] with [2,4,hearts,c_4_of_hearts,0,0]
T1120551 C06        unify 11 with 2
T1120551 C05        backtracking
T1120552 C05       prove heart([11,@,hearts,@,@,@])
T1120553 C06       unify [11,@,hearts,@,@,@] with [3,5,hearts,c_5_of_hearts,0,0]
T1120554 C06        unify 11 with 3
T1120554 C05        backtracking
T1120555 C05       prove heart([11,@,hearts,@,@,@])
T1120556 C06       unify [11,@,hearts,@,@,@] with [4,6,hearts,c_6_of_hearts,0,0]
T1120557 C06        unify 11 with 4
T1120557 C05        backtracking
T1120558 C05       prove heart([11,@,hearts,@,@,@])
T1120559 C06       unify [11,@,hearts,@,@,@] with [5,7,hearts,c_7_of_hearts,0,0]
T1120560 C06        unify 11 with 5
T1120560 C05        backtracking
T1120561 C05       prove heart([11,@,hearts,@,@,@])
T1120562 C06       unify [11,@,hearts,@,@,@] with [6,8,hearts,c_8_of_hearts,0,0]
T1120563 C06        unify 11 with 6
T1120563 C05        backtracking
T1120564 C05       prove heart([11,@,hearts,@,@,@])
T1120565 C06       unify [11,@,hearts,@,@,@] with [7,9,hearts,c_9_of_hearts,0,0]
T1120566 C06        unify 11 with 7
T1120566 C05        backtracking
T1120567 C05       prove heart([11,@,hearts,@,@,@])
T1120568 C06       unify [11,@,hearts,@,@,@] with [8,10,hearts,c_10_of_hearts,1,0]
T1120569 C06        unify 11 with 8
T1120569 C05        backtracking
T1120570 C05       prove heart([11,@,hearts,@,@,@])
T1120571 C06       unify [11,@,hearts,@,@,@] with [52,11,hearts,low_joker,1,0]
T1120572 C06        unify 11 with 52
T1120572 C05        backtracking
T1120573 C05       prove heart([11,@,hearts,@,@,@])
T1120574 C06       unify [11,@,hearts,@,@,@] with [53,12,hearts,high_joker,1,0]
T1120575 C06        unify 11 with 53
T1120575 C05        backtracking
T1120576 C05       prove heart([11,@,hearts,@,@,@])
T1120577 C06       unify [11,@,hearts,@,@,@] with [22,13,hearts,j_of_diamonds,1,0]
T1120578 C06        unify 11 with 22
T1120578 C05        backtracking
T1120579 C05       prove heart([11,@,hearts,@,@,@])
T1120580 C06       unify [11,@,hearts,@,@,@] with [9,14,hearts,j_of_hearts,1,0]
T1120581 C06        unify 11 with 9
T1120581 C05        backtracking
T1120582 C05       prove heart([11,@,hearts,@,@,@])
T1120583 C06       unify [11,@,hearts,@,@,@] with [10,15,hearts,q_of_hearts,0,0]
T1120584 C06        unify 11 with 10
T1120584 C05        backtracking
T1120585 C05       prove heart([11,@,hearts,@,@,@])
T1120586 C06       unify [11,@,hearts,@,@,@] with [11,16,hearts,k_of_hearts,0,0]
T1120587 C06        unify 11 with 11
T1120588 C06       unify [@,hearts,@,@,@] with [16,hearts,k_of_hearts,0,0]
T1120589 C06        unify @ with 16
T1120590 C06       unify [hearts,@,@,@] with [hearts,k_of_hearts,0,0]
T1120591 C06        unify hearts with hearts
T1120592 C06       unify [@,@,@] with [k_of_hearts,0,0]
T1120593 C06        unify @ with k_of_hearts
T1120594 C06       unify [@,@] with [0,0]
T1120595 C06        unify @ with 0
T1120596 C06       unify [@] with [0]
T1120597 C06        unify @ with 0
T1120598 C06       unify [] with []
T1120600 C06       prove get_vals([12,6,8,0],@,hearts)
T1120601 C07         unify [12,6,8,0] with []
T1120601 C06        backtracking
T1120602 C06       prove get_vals([12,6,8,0],@,hearts)
T1120603 C06          unify [12,6,8,0] with @
T1120604 C06         unify @ with @
T1120605 C06        unify hearts with @
T1120607 C06        prove built-in [12,6,8,0] = [@|@]
T1120608 C06        unify [12,6,8,0] with [@|@]
T1120609 C06         unify 12 with @
T1120610 C06        unify [6,8,0] with @
T1120612 C06        prove card([12,@,hearts,@,@,@])
T1120613 C07         unify [12,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1120614 C07          unify 12 with @
T1120615 C07         unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1120616 C07          unify @ with @
T1120617 C07         unify [hearts,@,@,@] with [@,@,@,@]
T1120618 C07          unify hearts with @
T1120619 C07         unify [@,@,@] with [@,@,@]
T1120620 C07          unify @ with @
T1120621 C07         unify [@,@] with [@,@]
T1120622 C07          unify @ with @
T1120623 C07         unify [@] with [@]
T1120624 C07          unify @ with @
T1120625 C07         unify [] with []
T1120626 C07        prove heart([12,@,hearts,@,@,@])
T1120627 C08        unify [12,@,hearts,@,@,@] with [0,2,hearts,c_2_of_hearts,0,1]
T1120628 C08         unify 12 with 0
T1120628 C07         backtracking
T1120629 C07        prove heart([12,@,hearts,@,@,@])
T1120630 C08        unify [12,@,hearts,@,@,@] with [1,3,hearts,c_3_of_hearts,0,0]
T1120631 C08         unify 12 with 1
T1120631 C07         backtracking
T1120632 C07        prove heart([12,@,hearts,@,@,@])
T1120633 C08        unify [12,@,hearts,@,@,@] with [2,4,hearts,c_4_of_hearts,0,0]
T1120634 C08         unify 12 with 2
T1120634 C07         backtracking
T1120635 C07        prove heart([12,@,hearts,@,@,@])
T1120636 C08        unify [12,@,hearts,@,@,@] with [3,5,hearts,c_5_of_hearts,0,0]
T1120637 C08         unify 12 with 3
T1120637 C07         backtracking
T1120638 C07        prove heart([12,@,hearts,@,@,@])
T1120639 C08        unify [12,@,hearts,@,@,@] with [4,6,hearts,c_6_of_hearts,0,0]
T1120640 C08         unify 12 with 4
T1120640 C07         backtracking
T1120641 C07        prove heart([12,@,hearts,@,@,@])
T1120642 C08        unify [12,@,hearts,@,@,@] with [5,7,hearts,c_7_of_hearts,0,0]
T1120643 C08         unify 12 with 5
T1120643 C07         backtracking
T1120644 C07        prove heart([12,@,hearts,@,@,@])
T1120645 C08        unify [12,@,hearts,@,@,@] with [6,8,hearts,c_8_of_hearts,0,0]
T1120646 C08         unify 12 with 6
T1120646 C07         backtracking
T1120647 C07        prove heart([12,@,hearts,@,@,@])
T1120648 C08        unify [12,@,hearts,@,@,@] with [7,9,hearts,c_9_of_hearts,0,0]
T1120649 C08         unify 12 with 7
T1120649 C07         backtracking
T1120650 C07        prove heart([12,@,hearts,@,@,@])
T1120651 C08        unify [12,@,hearts,@,@,@] with [8,10,hearts,c_10_of_hearts,1,0]
T1120652 C08         unify 12 with 8
T1120652 C07         backtracking
T1120653 C07        prove heart([12,@,hearts,@,@,@])
T1120654 C08        unify [12,@,hearts,@,@,@] with [52,11,hearts,low_joker,1,0]
T1120655 C08         unify 12 with 52
T1120655 C07         backtracking
T1120656 C07        prove heart([12,@,hearts,@,@,@])
T1120657 C08        unify [12,@,hearts,@,@,@] with [53,12,hearts,high_joker,1,0]
T1120658 C08         unify 12 with 53
T1120658 C07         backtracking
T1120659 C07        prove heart([12,@,hearts,@,@,@])
T1120660 C08        unify [12,@,hearts,@,@,@] with [22,13,hearts,j_of_diamonds,1,0]
T1120661 C08         unify 12 with 22
T1120661 C07         backtracking
T1120662 C07        prove heart([12,@,hearts,@,@,@])
T1120663 C08        unify [12,@,hearts,@,@,@] with [9,14,hearts,j_of_hearts,1,0]
T1120664 C08         unify 12 with 9
T1120664 C07         backtracking
T1120665 C07        prove heart([12,@,hearts,@,@,@])
T1120666 C08        unify [12,@,hearts,@,@,@] with [10,15,hearts,q_of_hearts,0,0]
T1120667 C08         unify 12 with 10
T1120667 C07         backtracking
T1120668 C07        prove heart([12,@,hearts,@,@,@])
T1120669 C08        unify [12,@,hearts,@,@,@] with [11,16,hearts,k_of_hearts,0,0]
T1120670 C08         unify 12 with 11
T1120670 C07         backtracking
T1120671 C07        prove heart([12,@,hearts,@,@,@])
T1120672 C07        unify [12,@,hearts,@,@,@] with [12,17,hearts,a_of_hearts,0,1]
T1120673 C07         unify 12 with 12
T1120674 C07        unify [@,hearts,@,@,@] with [17,hearts,a_of_hearts,0,1]
T1120675 C07         unify @ with 17
T1120676 C07        unify [hearts,@,@,@] with [hearts,a_of_hearts,0,1]
T1120677 C07         unify hearts with hearts
T1120678 C07        unify [@,@,@] with [a_of_hearts,0,1]
T1120679 C07         unify @ with a_of_hearts
T1120680 C07        unify [@,@] with [0,1]
T1120681 C07         unify @ with 0
T1120682 C07        unify [@] with [1]
T1120683 C07         unify @ with 1
T1120684 C07        unify [] with []
T1120686 C07        prove get_vals([6,8,0],@,hearts)
T1120687 C08          unify [6,8,0] with []
T1120687 C07         backtracking
T1120688 C07        prove get_vals([6,8,0],@,hearts)
T1120689 C07           unify [6,8,0] with @
T1120690 C07          unify @ with @
T1120691 C07         unify hearts with @
T1120693 C07         prove built-in [6,8,0] = [@|@]
T1120694 C07         unify [6,8,0] with [@|@]
T1120695 C07          unify 6 with @
T1120696 C07         unify [8,0] with @
T1120698 C07         prove card([6,@,hearts,@,@,@])
T1120699 C08          unify [6,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1120700 C08           unify 6 with @
T1120701 C08          unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1120702 C08           unify @ with @
T1120703 C08          unify [hearts,@,@,@] with [@,@,@,@]
T1120704 C08           unify hearts with @
T1120705 C08          unify [@,@,@] with [@,@,@]
T1120706 C08           unify @ with @
T1120707 C08          unify [@,@] with [@,@]
T1120708 C08           unify @ with @
T1120709 C08          unify [@] with [@]
T1120710 C08           unify @ with @
T1120711 C08          unify [] with []
T1120712 C08         prove heart([6,@,hearts,@,@,@])
T1120713 C09         unify [6,@,hearts,@,@,@] with [0,2,hearts,c_2_of_hearts,0,1]
T1120714 C09          unify 6 with 0
T1120714 C08          backtracking
T1120715 C08         prove heart([6,@,hearts,@,@,@])
T1120716 C09         unify [6,@,hearts,@,@,@] with [1,3,hearts,c_3_of_hearts,0,0]
T1120717 C09          unify 6 with 1
T1120717 C08          backtracking
T1120718 C08         prove heart([6,@,hearts,@,@,@])
T1120719 C09         unify [6,@,hearts,@,@,@] with [2,4,hearts,c_4_of_hearts,0,0]
T1120720 C09          unify 6 with 2
T1120720 C08          backtracking
T1120721 C08         prove heart([6,@,hearts,@,@,@])
T1120722 C09         unify [6,@,hearts,@,@,@] with [3,5,hearts,c_5_of_hearts,0,0]
T1120723 C09          unify 6 with 3
T1120723 C08          backtracking
T1120724 C08         prove heart([6,@,hearts,@,@,@])
T1120725 C09         unify [6,@,hearts,@,@,@] with [4,6,hearts,c_6_of_hearts,0,0]
T1120726 C09          unify 6 with 4
T1120726 C08          backtracking
T1120727 C08         prove heart([6,@,hearts,@,@,@])
T1120728 C09         unify [6,@,hearts,@,@,@] with [5,7,hearts,c_7_of_hearts,0,0]
T1120729 C09          unify 6 with 5
T1120729 C08          backtracking
T1120730 C08         prove heart([6,@,hearts,@,@,@])
T1120731 C09         unify [6,@,hearts,@,@,@] with [6,8,hearts,c_8_of_hearts,0,0]
T1120732 C09          unify 6 with 6
T1120733 C09         unify [@,hearts,@,@,@] with [8,hearts,c_8_of_hearts,0,0]
T1120734 C09          unify @ with 8
T1120735 C09         unify [hearts,@,@,@] with [hearts,c_8_of_hearts,0,0]
T1120736 C09          unify hearts with hearts
T1120737 C09         unify [@,@,@] with [c_8_of_hearts,0,0]
T1120738 C09          unify @ with c_8_of_hearts
T1120739 C09         unify [@,@] with [0,0]
T1120740 C09          unify @ with 0
T1120741 C09         unify [@] with [0]
T1120742 C09          unify @ with 0
T1120743 C09         unify [] with []
T1120745 C09         prove get_vals([8,0],@,hearts)
T1120746 C10           unify [8,0] with []
T1120746 C09          backtracking
T1120747 C09         prove get_vals([8,0],@,hearts)
T1120748 C09            unify [8,0] with @
T1120749 C09           unify @ with @
T1120750 C09          unify hearts with @
T1120752 C09          prove built-in [8,0] = [@|@]
T1120753 C09          unify [8,0] with [@|@]
T1120754 C09           unify 8 with @
T1120755 C09          unify [0] with @
T1120757 C09          prove card([8,@,hearts,@,@,@])
T1120758 C10           unify [8,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1120759 C10            unify 8 with @
T1120760 C10           unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1120761 C10            unify @ with @
T1120762 C10           unify [hearts,@,@,@] with [@,@,@,@]
T1120763 C10            unify hearts with @
T1120764 C10           unify [@,@,@] with [@,@,@]
T1120765 C10            unify @ with @
T1120766 C10           unify [@,@] with [@,@]
T1120767 C10            unify @ with @
T1120768 C10           unify [@] with [@]
T1120769 C10            unify @ with @
T1120770 C10           unify [] with []
T1120771 C10          prove heart([8,@,hearts,@,@,@])
T1120772 C11          unify [8,@,hearts,@,@,@] with [0,2,hearts,c_2_of_hearts,0,1]
T1120773 C11           unify 8 with 0
T1120773 C10           backtracking
T1120774 C10          prove heart([8,@,hearts,@,@,@])
T1120775 C11          unify [8,@,hearts,@,@,@] with [1,3,hearts,c_3_of_hearts,0,0]
T1120776 C11           unify 8 with 1
T1120776 C10           backtracking
T1120777 C10          prove heart([8,@,hearts,@,@,@])
T1120778 C11          unify [8,@,hearts,@,@,@] with [2,4,hearts,c_4_of_hearts,0,0]
T1120779 C11           unify 8 with 2
T1120779 C10           backtracking
T1120780 C10          prove heart([8,@,hearts,@,@,@])
T1120781 C11          unify [8,@,hearts,@,@,@] with [3,5,hearts,c_5_of_hearts,0,0]
T1120782 C11           unify 8 with 3
T1120782 C10           backtracking
T1120783 C10          prove heart([8,@,hearts,@,@,@])
T1120784 C11          unify [8,@,hearts,@,@,@] with [4,6,hearts,c_6_of_hearts,0,0]
T1120785 C11           unify 8 with 4
T1120785 C10           backtracking
T1120786 C10          prove heart([8,@,hearts,@,@,@])
T1120787 C11          unify [8,@,hearts,@,@,@] with [5,7,hearts,c_7_of_hearts,0,0]
T1120788 C11           unify 8 with 5
T1120788 C10           backtracking
T1120789 C10          prove heart([8,@,hearts,@,@,@])
T1120790 C11          unify [8,@,hearts,@,@,@] with [6,8,hearts,c_8_of_hearts,0,0]
T1120791 C11           unify 8 with 6
T1120791 C10           backtracking
T1120792 C10          prove heart([8,@,hearts,@,@,@])
T1120793 C11          unify [8,@,hearts,@,@,@] with [7,9,hearts,c_9_of_hearts,0,0]
T1120794 C11           unify 8 with 7
T1120794 C10           backtracking
T1120795 C10          prove heart([8,@,hearts,@,@,@])
T1120796 C11          unify [8,@,hearts,@,@,@] with [8,10,hearts,c_10_of_hearts,1,0]
T1120797 C11           unify 8 with 8
T1120798 C11          unify [@,hearts,@,@,@] with [10,hearts,c_10_of_hearts,1,0]
T1120799 C11           unify @ with 10
T1120800 C11          unify [hearts,@,@,@] with [hearts,c_10_of_hearts,1,0]
T1120801 C11           unify hearts with hearts
T1120802 C11          unify [@,@,@] with [c_10_of_hearts,1,0]
T1120803 C11           unify @ with c_10_of_hearts
T1120804 C11          unify [@,@] with [1,0]
T1120805 C11           unify @ with 1
T1120806 C11          unify [@] with [0]
T1120807 C11           unify @ with 0
T1120808 C11          unify [] with []
T1120810 C11          prove get_vals([0],@,hearts)
T1120811 C12            unify [0] with []
T1120811 C11           backtracking
T1120812 C11          prove get_vals([0],@,hearts)
T1120813 C11             unify [0] with @
T1120814 C11            unify @ with @
T1120815 C11           unify hearts with @
T1120817 C11           prove built-in [0] = [@|@]
T1120818 C11           unify [0] with [@|@]
T1120819 C11            unify 0 with @
T1120820 C11           unify [] with @
T1120822 C11           prove card([0,@,hearts,@,@,@])
T1120823 C12            unify [0,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1120824 C12             unify 0 with @
T1120825 C12            unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1120826 C12             unify @ with @
T1120827 C12            unify [hearts,@,@,@] with [@,@,@,@]
T1120828 C12             unify hearts with @
T1120829 C12            unify [@,@,@] with [@,@,@]
T1120830 C12             unify @ with @
T1120831 C12            unify [@,@] with [@,@]
T1120832 C12             unify @ with @
T1120833 C12            unify [@] with [@]
T1120834 C12             unify @ with @
T1120835 C12            unify [] with []
T1120836 C12           prove heart([0,@,hearts,@,@,@])
T1120837 C13           unify [0,@,hearts,@,@,@] with [0,2,hearts,c_2_of_hearts,0,1]
T1120838 C13            unify 0 with 0
T1120839 C13           unify [@,hearts,@,@,@] with [2,hearts,c_2_of_hearts,0,1]
T1120840 C13            unify @ with 2
T1120841 C13           unify [hearts,@,@,@] with [hearts,c_2_of_hearts,0,1]
T1120842 C13            unify hearts with hearts
T1120843 C13           unify [@,@,@] with [c_2_of_hearts,0,1]
T1120844 C13            unify @ with c_2_of_hearts
T1120845 C13           unify [@,@] with [0,1]
T1120846 C13            unify @ with 0
T1120847 C13           unify [@] with [1]
T1120848 C13            unify @ with 1
T1120849 C13           unify [] with []
T1120851 C13           prove get_vals([],@,hearts)
T1120852 C14             unify [] with []
T1120853 C14            unify @ with []
T1120854 C14           unify hearts with @
T1120855 C14          prove built-in @ = [2]
T1120856 C14          unify @ with [2]
T1120857 C14         prove built-in @ = [10,2]
T1120858 C14         unify @ with [10,2]
T1120859 C14        prove built-in @ = [8,10,2]
T1120860 C14        unify @ with [8,10,2]
T1120861 C14       prove built-in @ = [17,8,10,2]
T1120862 C14       unify @ with [17,8,10,2]
T1120863 C14      prove built-in @ = [16,17,8,10,2]
T1120864 C14      unify @ with [16,17,8,10,2]
T1120865 C14     prove built-in @ = [7,16,17,8,10,2]
T1120866 C14     unify @ with [7,16,17,8,10,2]
T1120868 C14     prove arrange([7,16,17,8,10,2],@)
T1120869 C15       unify [7,16,17,8,10,2] with [@|@]
T1120870 C15        unify 7 with @
T1120871 C15       unify [16,17,8,10,2] with @
T1120872 C15      unify @ with @
T1120874 C15      prove arrange([16,17,8,10,2],@)
T1120875 C16        unify [16,17,8,10,2] with [@|@]
T1120876 C16         unify 16 with @
T1120877 C16        unify [17,8,10,2] with @
T1120878 C16       unify @ with @
T1120880 C16       prove arrange([17,8,10,2],@)
T1120881 C17         unify [17,8,10,2] with [@|@]
T1120882 C17          unify 17 with @
T1120883 C17         unify [8,10,2] with @
T1120884 C17        unify @ with @
T1120886 C17        prove arrange([8,10,2],@)
T1120887 C18          unify [8,10,2] with [@|@]
T1120888 C18           unify 8 with @
T1120889 C18          unify [10,2] with @
T1120890 C18         unify @ with @
T1120892 C18         prove arrange([10,2],@)
T1120893 C19           unify [10,2] with [@|@]
T1120894 C19            unify 10 with @
T1120895 C19           unify [2] with @
T1120896 C19          unify @ with @
T1120898 C19          prove arrange([2],@)
T1120899 C20            unify [2] with [@|@]
T1120900 C20             unify 2 with @
T1120901 C20            unify [] with @
T1120902 C20           unify @ with @
T1120904 C20           prove arrange([],@)
T1120905 C21             unify [] with [@|@]
T1120905 C20            backtracking
T1120906 C20           prove arrange([],@)
T1120907 C20            unify [] with []
T1120908 C20           unify @ with []
T1120909 C20          prove insert(2,[],@)
T1120910 C21            unify 2 with @
T1120911 C21           unify [] with []
T1120912 C21          unify @ with [2]
T1120913 C21         prove insert(10,[2],@)
T1120914 C22           unify 10 with @
T1120915 C22          unify [2] with []
T1120915 C21          backtracking
T1120916 C21         prove insert(10,[2],@)
T1120917 C22            unify 10 with @
T1120918 C22           unify [2] with [@,@]
T1120919 C22            unify 2 with @
T1120920 C22           unify [] with [@]
T1120920 C21          backtracking
T1120921 C21         prove insert(10,[2],@)
T1120922 C21            unify 10 with @
T1120923 C21           unify [2] with [@|@]
T1120924 C21            unify 2 with @
T1120925 C21           unify [] with @
T1120926 C21          unify @ with [10|@]
T1120929 C21          prove built-in bool_pred(10 =< 2)
T1120929 C21           setting up function call 10 =< 2
T1120930 C21           evaluate 10 =< 2
T1120931 C21           unify bool with false
T1120932 C21          prove built-in bool_pred(false)
T1120932 C20           backtracking
T1120933 C20          prove insert(2,[],@)
T1120934 C21             unify 2 with @
T1120935 C21            unify [] with [@,@]
T1120935 C20           backtracking
T1120936 C20          prove insert(2,[],@)
T1120937 C20             unify 2 with @
T1120938 C20            unify [] with [@|@]
T1120938 C19           backtracking
T1120939 C19          prove arrange([2],@)
T1120940 C19           unify [2] with []
T1120940 C18          backtracking
T1120941 C18         prove arrange([10,2],@)
T1120942 C18          unify [10,2] with []
T1120942 C17         backtracking
T1120943 C17        prove arrange([8,10,2],@)
T1120944 C17         unify [8,10,2] with []
T1120944 C16        backtracking
T1120945 C16       prove arrange([17,8,10,2],@)
T1120946 C16        unify [17,8,10,2] with []
T1120946 C15       backtracking
T1120947 C15      prove arrange([16,17,8,10,2],@)
T1120948 C15       unify [16,17,8,10,2] with []
T1120948 C14      backtracking
T1120949 C14     prove arrange([7,16,17,8,10,2],@)
T1120950 C14      unify [7,16,17,8,10,2] with []
T1120950 C13            backtracking
T1120951 C13           prove get_vals([],@,hearts)
T1120952 C13              unify [] with @
T1120953 C13             unify @ with @
T1120954 C13            unify hearts with @
T1120956 C13            prove built-in [] = [@|@]
T1120957 C13            unify [] with [@|@]
T1120957 C12            backtracking
T1120958 C12           prove heart([0,@,hearts,@,@,@])
T1120959 C13           unify [0,@,hearts,@,@,@] with [1,3,hearts,c_3_of_hearts,0,0]
T1120960 C13            unify 0 with 1
T1120960 C12            backtracking
T1120961 C12           prove heart([0,@,hearts,@,@,@])
T1120962 C13           unify [0,@,hearts,@,@,@] with [2,4,hearts,c_4_of_hearts,0,0]
T1120963 C13            unify 0 with 2
T1120963 C12            backtracking
T1120964 C12           prove heart([0,@,hearts,@,@,@])
T1120965 C13           unify [0,@,hearts,@,@,@] with [3,5,hearts,c_5_of_hearts,0,0]
T1120966 C13            unify 0 with 3
T1120966 C12            backtracking
T1120967 C12           prove heart([0,@,hearts,@,@,@])
T1120968 C13           unify [0,@,hearts,@,@,@] with [4,6,hearts,c_6_of_hearts,0,0]
T1120969 C13            unify 0 with 4
T1120969 C12            backtracking
T1120970 C12           prove heart([0,@,hearts,@,@,@])
T1120971 C13           unify [0,@,hearts,@,@,@] with [5,7,hearts,c_7_of_hearts,0,0]
T1120972 C13            unify 0 with 5
T1120972 C12            backtracking
T1120973 C12           prove heart([0,@,hearts,@,@,@])
T1120974 C13           unify [0,@,hearts,@,@,@] with [6,8,hearts,c_8_of_hearts,0,0]
T1120975 C13            unify 0 with 6
T1120975 C12            backtracking
T1120976 C12           prove heart([0,@,hearts,@,@,@])
T1120977 C13           unify [0,@,hearts,@,@,@] with [7,9,hearts,c_9_of_hearts,0,0]
T1120978 C13            unify 0 with 7
T1120978 C12            backtracking
T1120979 C12           prove heart([0,@,hearts,@,@,@])
T1120980 C13           unify [0,@,hearts,@,@,@] with [8,10,hearts,c_10_of_hearts,1,0]
T1120981 C13            unify 0 with 8
T1120981 C12            backtracking
T1120982 C12           prove heart([0,@,hearts,@,@,@])
T1120983 C13           unify [0,@,hearts,@,@,@] with [52,11,hearts,low_joker,1,0]
T1120984 C13            unify 0 with 52
T1120984 C12            backtracking
T1120985 C12           prove heart([0,@,hearts,@,@,@])
T1120986 C13           unify [0,@,hearts,@,@,@] with [53,12,hearts,high_joker,1,0]
T1120987 C13            unify 0 with 53
T1120987 C12            backtracking
T1120988 C12           prove heart([0,@,hearts,@,@,@])
T1120989 C13           unify [0,@,hearts,@,@,@] with [22,13,hearts,j_of_diamonds,1,0]
T1120990 C13            unify 0 with 22
T1120990 C12            backtracking
T1120991 C12           prove heart([0,@,hearts,@,@,@])
T1120992 C13           unify [0,@,hearts,@,@,@] with [9,14,hearts,j_of_hearts,1,0]
T1120993 C13            unify 0 with 9
T1120993 C12            backtracking
T1120994 C12           prove heart([0,@,hearts,@,@,@])
T1120995 C13           unify [0,@,hearts,@,@,@] with [10,15,hearts,q_of_hearts,0,0]
T1120996 C13            unify 0 with 10
T1120996 C12            backtracking
T1120997 C12           prove heart([0,@,hearts,@,@,@])
T1120998 C13           unify [0,@,hearts,@,@,@] with [11,16,hearts,k_of_hearts,0,0]
T1120999 C13            unify 0 with 11
T1120999 C12            backtracking
T1121000 C12           prove heart([0,@,hearts,@,@,@])
T1121001 C12           unify [0,@,hearts,@,@,@] with [12,17,hearts,a_of_hearts,0,1]
T1121002 C12            unify 0 with 12
T1121002 C11            backtracking
T1121003 C11           prove card([0,@,hearts,@,@,@])
T1121004 C12            unify [0,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1121005 C12             unify 0 with @
T1121006 C12            unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1121007 C12             unify @ with @
T1121008 C12            unify [hearts,@,@,@] with [@,@,@,@]
T1121009 C12             unify hearts with @
T1121010 C12            unify [@,@,@] with [@,@,@]
T1121011 C12             unify @ with @
T1121012 C12            unify [@,@] with [@,@]
T1121013 C12             unify @ with @
T1121014 C12            unify [@] with [@]
T1121015 C12             unify @ with @
T1121016 C12            unify [] with []
T1121017 C12           prove diamond([0,@,hearts,@,@,@])
T1121018 C13           unify [0,@,hearts,@,@,@] with [13,2,diamonds,c_2_of_diamonds,0,1]
T1121019 C13            unify 0 with 13
T1121019 C12            backtracking
T1121020 C12           prove diamond([0,@,hearts,@,@,@])
T1121021 C13           unify [0,@,hearts,@,@,@] with [14,3,diamonds,c_3_of_diamonds,0,0]
T1121022 C13            unify 0 with 14
T1121022 C12            backtracking
T1121023 C12           prove diamond([0,@,hearts,@,@,@])
T1121024 C13           unify [0,@,hearts,@,@,@] with [15,4,diamonds,c_4_of_diamonds,0,0]
T1121025 C13            unify 0 with 15
T1121025 C12            backtracking
T1121026 C12           prove diamond([0,@,hearts,@,@,@])
T1121027 C13           unify [0,@,hearts,@,@,@] with [16,5,diamonds,c_5_of_diamonds,0,0]
T1121028 C13            unify 0 with 16
T1121028 C12            backtracking
T1121029 C12           prove diamond([0,@,hearts,@,@,@])
T1121030 C13           unify [0,@,hearts,@,@,@] with [17,6,diamonds,c_6_of_diamonds,0,0]
T1121031 C13            unify 0 with 17
T1121031 C12            backtracking
T1121032 C12           prove diamond([0,@,hearts,@,@,@])
T1121033 C13           unify [0,@,hearts,@,@,@] with [18,7,diamonds,c_7_of_diamonds,0,0]
T1121034 C13            unify 0 with 18
T1121034 C12            backtracking
T1121035 C12           prove diamond([0,@,hearts,@,@,@])
T1121036 C13           unify [0,@,hearts,@,@,@] with [19,8,diamonds,c_8_of_diamonds,0,0]
T1121037 C13            unify 0 with 19
T1121037 C12            backtracking
T1121038 C12           prove diamond([0,@,hearts,@,@,@])
T1121039 C13           unify [0,@,hearts,@,@,@] with [20,9,diamonds,c_9_of_diamonds,0,0]
T1121040 C13            unify 0 with 20
T1121040 C12            backtracking
T1121041 C12           prove diamond([0,@,hearts,@,@,@])
T1121042 C13           unify [0,@,hearts,@,@,@] with [21,10,diamonds,c_10_of_diamonds,1,0]
T1121043 C13            unify 0 with 21
T1121043 C12            backtracking
T1121044 C12           prove diamond([0,@,hearts,@,@,@])
T1121045 C13           unify [0,@,hearts,@,@,@] with [52,11,diamonds,low_joker,1,0]
T1121046 C13            unify 0 with 52
T1121046 C12            backtracking
T1121047 C12           prove diamond([0,@,hearts,@,@,@])
T1121048 C13           unify [0,@,hearts,@,@,@] with [53,12,diamonds,high_joker,1,0]
T1121049 C13            unify 0 with 53
T1121049 C12            backtracking
T1121050 C12           prove diamond([0,@,hearts,@,@,@])
T1121051 C13           unify [0,@,hearts,@,@,@] with [9,13,diamonds,j_of_hearts,1,0]
T1121052 C13            unify 0 with 9
T1121052 C12            backtracking
T1121053 C12           prove diamond([0,@,hearts,@,@,@])
T1121054 C13           unify [0,@,hearts,@,@,@] with [22,14,diamonds,j_of_diamonds,1,0]
T1121055 C13            unify 0 with 22
T1121055 C12            backtracking
T1121056 C12           prove diamond([0,@,hearts,@,@,@])
T1121057 C13           unify [0,@,hearts,@,@,@] with [23,15,diamonds,q_of_diamonds,0,0]
T1121058 C13            unify 0 with 23
T1121058 C12            backtracking
T1121059 C12           prove diamond([0,@,hearts,@,@,@])
T1121060 C13           unify [0,@,hearts,@,@,@] with [24,16,diamonds,k_of_diamonds,0,0]
T1121061 C13            unify 0 with 24
T1121061 C12            backtracking
T1121062 C12           prove diamond([0,@,hearts,@,@,@])
T1121063 C12           unify [0,@,hearts,@,@,@] with [25,17,diamonds,a_of_diamonds,0,1]
T1121064 C12            unify 0 with 25
T1121064 C11            backtracking
T1121065 C11           prove card([0,@,hearts,@,@,@])
T1121066 C12            unify [0,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1121067 C12             unify 0 with @
T1121068 C12            unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1121069 C12             unify @ with @
T1121070 C12            unify [hearts,@,@,@] with [@,@,@,@]
T1121071 C12             unify hearts with @
T1121072 C12            unify [@,@,@] with [@,@,@]
T1121073 C12             unify @ with @
T1121074 C12            unify [@,@] with [@,@]
T1121075 C12             unify @ with @
T1121076 C12            unify [@] with [@]
T1121077 C12             unify @ with @
T1121078 C12            unify [] with []
T1121079 C12           prove spade([0,@,hearts,@,@,@])
T1121080 C13           unify [0,@,hearts,@,@,@] with [26,2,spades,c_2_of_spades,0,1]
T1121081 C13            unify 0 with 26
T1121081 C12            backtracking
T1121082 C12           prove spade([0,@,hearts,@,@,@])
T1121083 C13           unify [0,@,hearts,@,@,@] with [27,3,spades,c_3_of_spades,0,0]
T1121084 C13            unify 0 with 27
T1121084 C12            backtracking
T1121085 C12           prove spade([0,@,hearts,@,@,@])
T1121086 C13           unify [0,@,hearts,@,@,@] with [28,4,spades,c_4_of_spades,0,0]
T1121087 C13            unify 0 with 28
T1121087 C12            backtracking
T1121088 C12           prove spade([0,@,hearts,@,@,@])
T1121089 C13           unify [0,@,hearts,@,@,@] with [29,5,spades,c_5_of_spades,0,0]
T1121090 C13            unify 0 with 29
T1121090 C12            backtracking
T1121091 C12           prove spade([0,@,hearts,@,@,@])
T1121092 C13           unify [0,@,hearts,@,@,@] with [30,6,spades,c_6_of_spades,0,0]
T1121093 C13            unify 0 with 30
T1121093 C12            backtracking
T1121094 C12           prove spade([0,@,hearts,@,@,@])
T1121095 C13           unify [0,@,hearts,@,@,@] with [31,7,spades,c_7_of_spades,0,0]
T1121096 C13            unify 0 with 31
T1121096 C12            backtracking
T1121097 C12           prove spade([0,@,hearts,@,@,@])
T1121098 C13           unify [0,@,hearts,@,@,@] with [32,8,spades,c_8_of_spades,0,0]
T1121099 C13            unify 0 with 32
T1121099 C12            backtracking
T1121100 C12           prove spade([0,@,hearts,@,@,@])
T1121101 C13           unify [0,@,hearts,@,@,@] with [33,9,spades,c_9_of_spades,0,0]
T1121102 C13            unify 0 with 33
T1121102 C12            backtracking
T1121103 C12           prove spade([0,@,hearts,@,@,@])
T1121104 C13           unify [0,@,hearts,@,@,@] with [34,10,spades,c_10_of_spades,1,0]
T1121105 C13            unify 0 with 34
T1121105 C12            backtracking
T1121106 C12           prove spade([0,@,hearts,@,@,@])
T1121107 C13           unify [0,@,hearts,@,@,@] with [52,11,spades,low_joker,1,0]
T1121108 C13            unify 0 with 52
T1121108 C12            backtracking
T1121109 C12           prove spade([0,@,hearts,@,@,@])
T1121110 C13           unify [0,@,hearts,@,@,@] with [53,12,spades,high_joker,1,0]
T1121111 C13            unify 0 with 53
T1121111 C12            backtracking
T1121112 C12           prove spade([0,@,hearts,@,@,@])
T1121113 C13           unify [0,@,hearts,@,@,@] with [48,13,spades,j_of_clubs,1,0]
T1121114 C13            unify 0 with 48
T1121114 C12            backtracking
T1121115 C12           prove spade([0,@,hearts,@,@,@])
T1121116 C13           unify [0,@,hearts,@,@,@] with [35,14,spades,j_of_spades,1,0]
T1121117 C13            unify 0 with 35
T1121117 C12            backtracking
T1121118 C12           prove spade([0,@,hearts,@,@,@])
T1121119 C13           unify [0,@,hearts,@,@,@] with [36,15,spades,q_of_spades,0,0]
T1121120 C13            unify 0 with 36
T1121120 C12            backtracking
T1121121 C12           prove spade([0,@,hearts,@,@,@])
T1121122 C13           unify [0,@,hearts,@,@,@] with [37,16,spades,k_of_spades,0,0]
T1121123 C13            unify 0 with 37
T1121123 C12            backtracking
T1121124 C12           prove spade([0,@,hearts,@,@,@])
T1121125 C12           unify [0,@,hearts,@,@,@] with [38,17,spades,a_of_spades,0,1]
T1121126 C12            unify 0 with 38
T1121126 C11            backtracking
T1121127 C11           prove card([0,@,hearts,@,@,@])
T1121128 C11            unify [0,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1121129 C11             unify 0 with @
T1121130 C11            unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1121131 C11             unify @ with @
T1121132 C11            unify [hearts,@,@,@] with [@,@,@,@]
T1121133 C11             unify hearts with @
T1121134 C11            unify [@,@,@] with [@,@,@]
T1121135 C11             unify @ with @
T1121136 C11            unify [@,@] with [@,@]
T1121137 C11             unify @ with @
T1121138 C11            unify [@] with [@]
T1121139 C11             unify @ with @
T1121140 C11            unify [] with []
T1121141 C11           prove club([0,@,hearts,@,@,@])
T1121142 C12           unify [0,@,hearts,@,@,@] with [39,2,clubs,c_2_of_clubs,0,1]
T1121143 C12            unify 0 with 39
T1121143 C11            backtracking
T1121144 C11           prove club([0,@,hearts,@,@,@])
T1121145 C12           unify [0,@,hearts,@,@,@] with [40,3,clubs,c_3_of_clubs,0,0]
T1121146 C12            unify 0 with 40
T1121146 C11            backtracking
T1121147 C11           prove club([0,@,hearts,@,@,@])
T1121148 C12           unify [0,@,hearts,@,@,@] with [41,4,clubs,c_4_of_clubs,0,0]
T1121149 C12            unify 0 with 41
T1121149 C11            backtracking
T1121150 C11           prove club([0,@,hearts,@,@,@])
T1121151 C12           unify [0,@,hearts,@,@,@] with [42,5,clubs,c_5_of_clubs,0,0]
T1121152 C12            unify 0 with 42
T1121152 C11            backtracking
T1121153 C11           prove club([0,@,hearts,@,@,@])
T1121154 C12           unify [0,@,hearts,@,@,@] with [43,6,clubs,c_6_of_clubs,0,0]
T1121155 C12            unify 0 with 43
T1121155 C11            backtracking
T1121156 C11           prove club([0,@,hearts,@,@,@])
T1121157 C12           unify [0,@,hearts,@,@,@] with [44,7,clubs,c_7_of_clubs,0,0]
T1121158 C12            unify 0 with 44
T1121158 C11            backtracking
T1121159 C11           prove club([0,@,hearts,@,@,@])
T1121160 C12           unify [0,@,hearts,@,@,@] with [45,8,clubs,c_8_of_clubs,0,0]
T1121161 C12            unify 0 with 45
T1121161 C11            backtracking
T1121162 C11           prove club([0,@,hearts,@,@,@])
T1121163 C12           unify [0,@,hearts,@,@,@] with [46,9,clubs,c_9_of_clubs,0,0]
T1121164 C12            unify 0 with 46
T1121164 C11            backtracking
T1121165 C11           prove club([0,@,hearts,@,@,@])
T1121166 C12           unify [0,@,hearts,@,@,@] with [47,10,clubs,c_10_of_clubs,1,0]
T1121167 C12            unify 0 with 47
T1121167 C11            backtracking
T1121168 C11           prove club([0,@,hearts,@,@,@])
T1121169 C12           unify [0,@,hearts,@,@,@] with [52,11,clubs,low_joker,1,0]
T1121170 C12            unify 0 with 52
T1121170 C11            backtracking
T1121171 C11           prove club([0,@,hearts,@,@,@])
T1121172 C12           unify [0,@,hearts,@,@,@] with [53,12,clubs,high_joker,1,0]
T1121173 C12            unify 0 with 53
T1121173 C11            backtracking
T1121174 C11           prove club([0,@,hearts,@,@,@])
T1121175 C12           unify [0,@,hearts,@,@,@] with [35,13,clubs,j_of_spades,1,0]
T1121176 C12            unify 0 with 35
T1121176 C11            backtracking
T1121177 C11           prove club([0,@,hearts,@,@,@])
T1121178 C12           unify [0,@,hearts,@,@,@] with [48,14,clubs,j_of_clubs,1,0]
T1121179 C12            unify 0 with 48
T1121179 C11            backtracking
T1121180 C11           prove club([0,@,hearts,@,@,@])
T1121181 C12           unify [0,@,hearts,@,@,@] with [49,15,clubs,q_of_clubs,0,0]
T1121182 C12            unify 0 with 49
T1121182 C11            backtracking
T1121183 C11           prove club([0,@,hearts,@,@,@])
T1121184 C12           unify [0,@,hearts,@,@,@] with [50,16,clubs,k_of_clubs,0,0]
T1121185 C12            unify 0 with 50
T1121185 C11            backtracking
T1121186 C11           prove club([0,@,hearts,@,@,@])
T1121187 C11           unify [0,@,hearts,@,@,@] with [51,17,clubs,a_of_clubs,0,1]
T1121188 C11            unify 0 with 51
T1121188 C10           backtracking
T1121189 C10          prove heart([8,@,hearts,@,@,@])
T1121190 C11          unify [8,@,hearts,@,@,@] with [52,11,hearts,low_joker,1,0]
T1121191 C11           unify 8 with 52
T1121191 C10           backtracking
T1121192 C10          prove heart([8,@,hearts,@,@,@])
T1121193 C11          unify [8,@,hearts,@,@,@] with [53,12,hearts,high_joker,1,0]
T1121194 C11           unify 8 with 53
T1121194 C10           backtracking
T1121195 C10          prove heart([8,@,hearts,@,@,@])
T1121196 C11          unify [8,@,hearts,@,@,@] with [22,13,hearts,j_of_diamonds,1,0]
T1121197 C11           unify 8 with 22
T1121197 C10           backtracking
T1121198 C10          prove heart([8,@,hearts,@,@,@])
T1121199 C11          unify [8,@,hearts,@,@,@] with [9,14,hearts,j_of_hearts,1,0]
T1121200 C11           unify 8 with 9
T1121200 C10           backtracking
T1121201 C10          prove heart([8,@,hearts,@,@,@])
T1121202 C11          unify [8,@,hearts,@,@,@] with [10,15,hearts,q_of_hearts,0,0]
T1121203 C11           unify 8 with 10
T1121203 C10           backtracking
T1121204 C10          prove heart([8,@,hearts,@,@,@])
T1121205 C11          unify [8,@,hearts,@,@,@] with [11,16,hearts,k_of_hearts,0,0]
T1121206 C11           unify 8 with 11
T1121206 C10           backtracking
T1121207 C10          prove heart([8,@,hearts,@,@,@])
T1121208 C10          unify [8,@,hearts,@,@,@] with [12,17,hearts,a_of_hearts,0,1]
T1121209 C10           unify 8 with 12
T1121209 C09           backtracking
T1121210 C09          prove card([8,@,hearts,@,@,@])
T1121211 C10           unify [8,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1121212 C10            unify 8 with @
T1121213 C10           unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1121214 C10            unify @ with @
T1121215 C10           unify [hearts,@,@,@] with [@,@,@,@]
T1121216 C10            unify hearts with @
T1121217 C10           unify [@,@,@] with [@,@,@]
T1121218 C10            unify @ with @
T1121219 C10           unify [@,@] with [@,@]
T1121220 C10            unify @ with @
T1121221 C10           unify [@] with [@]
T1121222 C10            unify @ with @
T1121223 C10           unify [] with []
T1121224 C10          prove diamond([8,@,hearts,@,@,@])
T1121225 C11          unify [8,@,hearts,@,@,@] with [13,2,diamonds,c_2_of_diamonds,0,1]
T1121226 C11           unify 8 with 13
T1121226 C10           backtracking
T1121227 C10          prove diamond([8,@,hearts,@,@,@])
T1121228 C11          unify [8,@,hearts,@,@,@] with [14,3,diamonds,c_3_of_diamonds,0,0]
T1121229 C11           unify 8 with 14
T1121229 C10           backtracking
T1121230 C10          prove diamond([8,@,hearts,@,@,@])
T1121231 C11          unify [8,@,hearts,@,@,@] with [15,4,diamonds,c_4_of_diamonds,0,0]
T1121232 C11           unify 8 with 15
T1121232 C10           backtracking
T1121233 C10          prove diamond([8,@,hearts,@,@,@])
T1121234 C11          unify [8,@,hearts,@,@,@] with [16,5,diamonds,c_5_of_diamonds,0,0]
T1121235 C11           unify 8 with 16
T1121235 C10           backtracking
T1121236 C10          prove diamond([8,@,hearts,@,@,@])
T1121237 C11          unify [8,@,hearts,@,@,@] with [17,6,diamonds,c_6_of_diamonds,0,0]
T1121238 C11           unify 8 with 17
T1121238 C10           backtracking
T1121239 C10          prove diamond([8,@,hearts,@,@,@])
T1121240 C11          unify [8,@,hearts,@,@,@] with [18,7,diamonds,c_7_of_diamonds,0,0]
T1121241 C11           unify 8 with 18
T1121241 C10           backtracking
T1121242 C10          prove diamond([8,@,hearts,@,@,@])
T1121243 C11          unify [8,@,hearts,@,@,@] with [19,8,diamonds,c_8_of_diamonds,0,0]
T1121244 C11           unify 8 with 19
T1121244 C10           backtracking
T1121245 C10          prove diamond([8,@,hearts,@,@,@])
T1121246 C11          unify [8,@,hearts,@,@,@] with [20,9,diamonds,c_9_of_diamonds,0,0]
T1121247 C11           unify 8 with 20
T1121247 C10           backtracking
T1121248 C10          prove diamond([8,@,hearts,@,@,@])
T1121249 C11          unify [8,@,hearts,@,@,@] with [21,10,diamonds,c_10_of_diamonds,1,0]
T1121250 C11           unify 8 with 21
T1121250 C10           backtracking
T1121251 C10          prove diamond([8,@,hearts,@,@,@])
T1121252 C11          unify [8,@,hearts,@,@,@] with [52,11,diamonds,low_joker,1,0]
T1121253 C11           unify 8 with 52
T1121253 C10           backtracking
T1121254 C10          prove diamond([8,@,hearts,@,@,@])
T1121255 C11          unify [8,@,hearts,@,@,@] with [53,12,diamonds,high_joker,1,0]
T1121256 C11           unify 8 with 53
T1121256 C10           backtracking
T1121257 C10          prove diamond([8,@,hearts,@,@,@])
T1121258 C11          unify [8,@,hearts,@,@,@] with [9,13,diamonds,j_of_hearts,1,0]
T1121259 C11           unify 8 with 9
T1121259 C10           backtracking
T1121260 C10          prove diamond([8,@,hearts,@,@,@])
T1121261 C11          unify [8,@,hearts,@,@,@] with [22,14,diamonds,j_of_diamonds,1,0]
T1121262 C11           unify 8 with 22
T1121262 C10           backtracking
T1121263 C10          prove diamond([8,@,hearts,@,@,@])
T1121264 C11          unify [8,@,hearts,@,@,@] with [23,15,diamonds,q_of_diamonds,0,0]
T1121265 C11           unify 8 with 23
T1121265 C10           backtracking
T1121266 C10          prove diamond([8,@,hearts,@,@,@])
T1121267 C11          unify [8,@,hearts,@,@,@] with [24,16,diamonds,k_of_diamonds,0,0]
T1121268 C11           unify 8 with 24
T1121268 C10           backtracking
T1121269 C10          prove diamond([8,@,hearts,@,@,@])
T1121270 C10          unify [8,@,hearts,@,@,@] with [25,17,diamonds,a_of_diamonds,0,1]
T1121271 C10           unify 8 with 25
T1121271 C09           backtracking
T1121272 C09          prove card([8,@,hearts,@,@,@])
T1121273 C10           unify [8,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1121274 C10            unify 8 with @
T1121275 C10           unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1121276 C10            unify @ with @
T1121277 C10           unify [hearts,@,@,@] with [@,@,@,@]
T1121278 C10            unify hearts with @
T1121279 C10           unify [@,@,@] with [@,@,@]
T1121280 C10            unify @ with @
T1121281 C10           unify [@,@] with [@,@]
T1121282 C10            unify @ with @
T1121283 C10           unify [@] with [@]
T1121284 C10            unify @ with @
T1121285 C10           unify [] with []
T1121286 C10          prove spade([8,@,hearts,@,@,@])
T1121287 C11          unify [8,@,hearts,@,@,@] with [26,2,spades,c_2_of_spades,0,1]
T1121288 C11           unify 8 with 26
T1121288 C10           backtracking
T1121289 C10          prove spade([8,@,hearts,@,@,@])
T1121290 C11          unify [8,@,hearts,@,@,@] with [27,3,spades,c_3_of_spades,0,0]
T1121291 C11           unify 8 with 27
T1121291 C10           backtracking
T1121292 C10          prove spade([8,@,hearts,@,@,@])
T1121293 C11          unify [8,@,hearts,@,@,@] with [28,4,spades,c_4_of_spades,0,0]
T1121294 C11           unify 8 with 28
T1121294 C10           backtracking
T1121295 C10          prove spade([8,@,hearts,@,@,@])
T1121296 C11          unify [8,@,hearts,@,@,@] with [29,5,spades,c_5_of_spades,0,0]
T1121297 C11           unify 8 with 29
T1121297 C10           backtracking
T1121298 C10          prove spade([8,@,hearts,@,@,@])
T1121299 C11          unify [8,@,hearts,@,@,@] with [30,6,spades,c_6_of_spades,0,0]
T1121300 C11           unify 8 with 30
T1121300 C10           backtracking
T1121301 C10          prove spade([8,@,hearts,@,@,@])
T1121302 C11          unify [8,@,hearts,@,@,@] with [31,7,spades,c_7_of_spades,0,0]
T1121303 C11           unify 8 with 31
T1121303 C10           backtracking
T1121304 C10          prove spade([8,@,hearts,@,@,@])
T1121305 C11          unify [8,@,hearts,@,@,@] with [32,8,spades,c_8_of_spades,0,0]
T1121306 C11           unify 8 with 32
T1121306 C10           backtracking
T1121307 C10          prove spade([8,@,hearts,@,@,@])
T1121308 C11          unify [8,@,hearts,@,@,@] with [33,9,spades,c_9_of_spades,0,0]
T1121309 C11           unify 8 with 33
T1121309 C10           backtracking
T1121310 C10          prove spade([8,@,hearts,@,@,@])
T1121311 C11          unify [8,@,hearts,@,@,@] with [34,10,spades,c_10_of_spades,1,0]
T1121312 C11           unify 8 with 34
T1121312 C10           backtracking
T1121313 C10          prove spade([8,@,hearts,@,@,@])
T1121314 C11          unify [8,@,hearts,@,@,@] with [52,11,spades,low_joker,1,0]
T1121315 C11           unify 8 with 52
T1121315 C10           backtracking
T1121316 C10          prove spade([8,@,hearts,@,@,@])
T1121317 C11          unify [8,@,hearts,@,@,@] with [53,12,spades,high_joker,1,0]
T1121318 C11           unify 8 with 53
T1121318 C10           backtracking
T1121319 C10          prove spade([8,@,hearts,@,@,@])
T1121320 C11          unify [8,@,hearts,@,@,@] with [48,13,spades,j_of_clubs,1,0]
T1121321 C11           unify 8 with 48
T1121321 C10           backtracking
T1121322 C10          prove spade([8,@,hearts,@,@,@])
T1121323 C11          unify [8,@,hearts,@,@,@] with [35,14,spades,j_of_spades,1,0]
T1121324 C11           unify 8 with 35
T1121324 C10           backtracking
T1121325 C10          prove spade([8,@,hearts,@,@,@])
T1121326 C11          unify [8,@,hearts,@,@,@] with [36,15,spades,q_of_spades,0,0]
T1121327 C11           unify 8 with 36
T1121327 C10           backtracking
T1121328 C10          prove spade([8,@,hearts,@,@,@])
T1121329 C11          unify [8,@,hearts,@,@,@] with [37,16,spades,k_of_spades,0,0]
T1121330 C11           unify 8 with 37
T1121330 C10           backtracking
T1121331 C10          prove spade([8,@,hearts,@,@,@])
T1121332 C10          unify [8,@,hearts,@,@,@] with [38,17,spades,a_of_spades,0,1]
T1121333 C10           unify 8 with 38
T1121333 C09           backtracking
T1121334 C09          prove card([8,@,hearts,@,@,@])
T1121335 C09           unify [8,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1121336 C09            unify 8 with @
T1121337 C09           unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1121338 C09            unify @ with @
T1121339 C09           unify [hearts,@,@,@] with [@,@,@,@]
T1121340 C09            unify hearts with @
T1121341 C09           unify [@,@,@] with [@,@,@]
T1121342 C09            unify @ with @
T1121343 C09           unify [@,@] with [@,@]
T1121344 C09            unify @ with @
T1121345 C09           unify [@] with [@]
T1121346 C09            unify @ with @
T1121347 C09           unify [] with []
T1121348 C09          prove club([8,@,hearts,@,@,@])
T1121349 C10          unify [8,@,hearts,@,@,@] with [39,2,clubs,c_2_of_clubs,0,1]
T1121350 C10           unify 8 with 39
T1121350 C09           backtracking
T1121351 C09          prove club([8,@,hearts,@,@,@])
T1121352 C10          unify [8,@,hearts,@,@,@] with [40,3,clubs,c_3_of_clubs,0,0]
T1121353 C10           unify 8 with 40
T1121353 C09           backtracking
T1121354 C09          prove club([8,@,hearts,@,@,@])
T1121355 C10          unify [8,@,hearts,@,@,@] with [41,4,clubs,c_4_of_clubs,0,0]
T1121356 C10           unify 8 with 41
T1121356 C09           backtracking
T1121357 C09          prove club([8,@,hearts,@,@,@])
T1121358 C10          unify [8,@,hearts,@,@,@] with [42,5,clubs,c_5_of_clubs,0,0]
T1121359 C10           unify 8 with 42
T1121359 C09           backtracking
T1121360 C09          prove club([8,@,hearts,@,@,@])
T1121361 C10          unify [8,@,hearts,@,@,@] with [43,6,clubs,c_6_of_clubs,0,0]
T1121362 C10           unify 8 with 43
T1121362 C09           backtracking
T1121363 C09          prove club([8,@,hearts,@,@,@])
T1121364 C10          unify [8,@,hearts,@,@,@] with [44,7,clubs,c_7_of_clubs,0,0]
T1121365 C10           unify 8 with 44
T1121365 C09           backtracking
T1121366 C09          prove club([8,@,hearts,@,@,@])
T1121367 C10          unify [8,@,hearts,@,@,@] with [45,8,clubs,c_8_of_clubs,0,0]
T1121368 C10           unify 8 with 45
T1121368 C09           backtracking
T1121369 C09          prove club([8,@,hearts,@,@,@])
T1121370 C10          unify [8,@,hearts,@,@,@] with [46,9,clubs,c_9_of_clubs,0,0]
T1121371 C10           unify 8 with 46
T1121371 C09           backtracking
T1121372 C09          prove club([8,@,hearts,@,@,@])
T1121373 C10          unify [8,@,hearts,@,@,@] with [47,10,clubs,c_10_of_clubs,1,0]
T1121374 C10           unify 8 with 47
T1121374 C09           backtracking
T1121375 C09          prove club([8,@,hearts,@,@,@])
T1121376 C10          unify [8,@,hearts,@,@,@] with [52,11,clubs,low_joker,1,0]
T1121377 C10           unify 8 with 52
T1121377 C09           backtracking
T1121378 C09          prove club([8,@,hearts,@,@,@])
T1121379 C10          unify [8,@,hearts,@,@,@] with [53,12,clubs,high_joker,1,0]
T1121380 C10           unify 8 with 53
T1121380 C09           backtracking
T1121381 C09          prove club([8,@,hearts,@,@,@])
T1121382 C10          unify [8,@,hearts,@,@,@] with [35,13,clubs,j_of_spades,1,0]
T1121383 C10           unify 8 with 35
T1121383 C09           backtracking
T1121384 C09          prove club([8,@,hearts,@,@,@])
T1121385 C10          unify [8,@,hearts,@,@,@] with [48,14,clubs,j_of_clubs,1,0]
T1121386 C10           unify 8 with 48
T1121386 C09           backtracking
T1121387 C09          prove club([8,@,hearts,@,@,@])
T1121388 C10          unify [8,@,hearts,@,@,@] with [49,15,clubs,q_of_clubs,0,0]
T1121389 C10           unify 8 with 49
T1121389 C09           backtracking
T1121390 C09          prove club([8,@,hearts,@,@,@])
T1121391 C10          unify [8,@,hearts,@,@,@] with [50,16,clubs,k_of_clubs,0,0]
T1121392 C10           unify 8 with 50
T1121392 C09           backtracking
T1121393 C09          prove club([8,@,hearts,@,@,@])
T1121394 C09          unify [8,@,hearts,@,@,@] with [51,17,clubs,a_of_clubs,0,1]
T1121395 C09           unify 8 with 51
T1121395 C08          backtracking
T1121396 C08         prove heart([6,@,hearts,@,@,@])
T1121397 C09         unify [6,@,hearts,@,@,@] with [7,9,hearts,c_9_of_hearts,0,0]
T1121398 C09          unify 6 with 7
T1121398 C08          backtracking
T1121399 C08         prove heart([6,@,hearts,@,@,@])
T1121400 C09         unify [6,@,hearts,@,@,@] with [8,10,hearts,c_10_of_hearts,1,0]
T1121401 C09          unify 6 with 8
T1121401 C08          backtracking
T1121402 C08         prove heart([6,@,hearts,@,@,@])
T1121403 C09         unify [6,@,hearts,@,@,@] with [52,11,hearts,low_joker,1,0]
T1121404 C09          unify 6 with 52
T1121404 C08          backtracking
T1121405 C08         prove heart([6,@,hearts,@,@,@])
T1121406 C09         unify [6,@,hearts,@,@,@] with [53,12,hearts,high_joker,1,0]
T1121407 C09          unify 6 with 53
T1121407 C08          backtracking
T1121408 C08         prove heart([6,@,hearts,@,@,@])
T1121409 C09         unify [6,@,hearts,@,@,@] with [22,13,hearts,j_of_diamonds,1,0]
T1121410 C09          unify 6 with 22
T1121410 C08          backtracking
T1121411 C08         prove heart([6,@,hearts,@,@,@])
T1121412 C09         unify [6,@,hearts,@,@,@] with [9,14,hearts,j_of_hearts,1,0]
T1121413 C09          unify 6 with 9
T1121413 C08          backtracking
T1121414 C08         prove heart([6,@,hearts,@,@,@])
T1121415 C09         unify [6,@,hearts,@,@,@] with [10,15,hearts,q_of_hearts,0,0]
T1121416 C09          unify 6 with 10
T1121416 C08          backtracking
T1121417 C08         prove heart([6,@,hearts,@,@,@])
T1121418 C09         unify [6,@,hearts,@,@,@] with [11,16,hearts,k_of_hearts,0,0]
T1121419 C09          unify 6 with 11
T1121419 C08          backtracking
T1121420 C08         prove heart([6,@,hearts,@,@,@])
T1121421 C08         unify [6,@,hearts,@,@,@] with [12,17,hearts,a_of_hearts,0,1]
T1121422 C08          unify 6 with 12
T1121422 C07          backtracking
T1121423 C07         prove card([6,@,hearts,@,@,@])
T1121424 C08          unify [6,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1121425 C08           unify 6 with @
T1121426 C08          unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1121427 C08           unify @ with @
T1121428 C08          unify [hearts,@,@,@] with [@,@,@,@]
T1121429 C08           unify hearts with @
T1121430 C08          unify [@,@,@] with [@,@,@]
T1121431 C08           unify @ with @
T1121432 C08          unify [@,@] with [@,@]
T1121433 C08           unify @ with @
T1121434 C08          unify [@] with [@]
T1121435 C08           unify @ with @
T1121436 C08          unify [] with []
T1121437 C08         prove diamond([6,@,hearts,@,@,@])
T1121438 C09         unify [6,@,hearts,@,@,@] with [13,2,diamonds,c_2_of_diamonds,0,1]
T1121439 C09          unify 6 with 13
T1121439 C08          backtracking
T1121440 C08         prove diamond([6,@,hearts,@,@,@])
T1121441 C09         unify [6,@,hearts,@,@,@] with [14,3,diamonds,c_3_of_diamonds,0,0]
T1121442 C09          unify 6 with 14
T1121442 C08          backtracking
T1121443 C08         prove diamond([6,@,hearts,@,@,@])
T1121444 C09         unify [6,@,hearts,@,@,@] with [15,4,diamonds,c_4_of_diamonds,0,0]
T1121445 C09          unify 6 with 15
T1121445 C08          backtracking
T1121446 C08         prove diamond([6,@,hearts,@,@,@])
T1121447 C09         unify [6,@,hearts,@,@,@] with [16,5,diamonds,c_5_of_diamonds,0,0]
T1121448 C09          unify 6 with 16
T1121448 C08          backtracking
T1121449 C08         prove diamond([6,@,hearts,@,@,@])
T1121450 C09         unify [6,@,hearts,@,@,@] with [17,6,diamonds,c_6_of_diamonds,0,0]
T1121451 C09          unify 6 with 17
T1121451 C08          backtracking
T1121452 C08         prove diamond([6,@,hearts,@,@,@])
T1121453 C09         unify [6,@,hearts,@,@,@] with [18,7,diamonds,c_7_of_diamonds,0,0]
T1121454 C09          unify 6 with 18
T1121454 C08          backtracking
T1121455 C08         prove diamond([6,@,hearts,@,@,@])
T1121456 C09         unify [6,@,hearts,@,@,@] with [19,8,diamonds,c_8_of_diamonds,0,0]
T1121457 C09          unify 6 with 19
T1121457 C08          backtracking
T1121458 C08         prove diamond([6,@,hearts,@,@,@])
T1121459 C09         unify [6,@,hearts,@,@,@] with [20,9,diamonds,c_9_of_diamonds,0,0]
T1121460 C09          unify 6 with 20
T1121460 C08          backtracking
T1121461 C08         prove diamond([6,@,hearts,@,@,@])
T1121462 C09         unify [6,@,hearts,@,@,@] with [21,10,diamonds,c_10_of_diamonds,1,0]
T1121463 C09          unify 6 with 21
T1121463 C08          backtracking
T1121464 C08         prove diamond([6,@,hearts,@,@,@])
T1121465 C09         unify [6,@,hearts,@,@,@] with [52,11,diamonds,low_joker,1,0]
T1121466 C09          unify 6 with 52
T1121466 C08          backtracking
T1121467 C08         prove diamond([6,@,hearts,@,@,@])
T1121468 C09         unify [6,@,hearts,@,@,@] with [53,12,diamonds,high_joker,1,0]
T1121469 C09          unify 6 with 53
T1121469 C08          backtracking
T1121470 C08         prove diamond([6,@,hearts,@,@,@])
T1121471 C09         unify [6,@,hearts,@,@,@] with [9,13,diamonds,j_of_hearts,1,0]
T1121472 C09          unify 6 with 9
T1121472 C08          backtracking
T1121473 C08         prove diamond([6,@,hearts,@,@,@])
T1121474 C09         unify [6,@,hearts,@,@,@] with [22,14,diamonds,j_of_diamonds,1,0]
T1121475 C09          unify 6 with 22
T1121475 C08          backtracking
T1121476 C08         prove diamond([6,@,hearts,@,@,@])
T1121477 C09         unify [6,@,hearts,@,@,@] with [23,15,diamonds,q_of_diamonds,0,0]
T1121478 C09          unify 6 with 23
T1121478 C08          backtracking
T1121479 C08         prove diamond([6,@,hearts,@,@,@])
T1121480 C09         unify [6,@,hearts,@,@,@] with [24,16,diamonds,k_of_diamonds,0,0]
T1121481 C09          unify 6 with 24
T1121481 C08          backtracking
T1121482 C08         prove diamond([6,@,hearts,@,@,@])
T1121483 C08         unify [6,@,hearts,@,@,@] with [25,17,diamonds,a_of_diamonds,0,1]
T1121484 C08          unify 6 with 25
T1121484 C07          backtracking
T1121485 C07         prove card([6,@,hearts,@,@,@])
T1121486 C08          unify [6,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1121487 C08           unify 6 with @
T1121488 C08          unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1121489 C08           unify @ with @
T1121490 C08          unify [hearts,@,@,@] with [@,@,@,@]
T1121491 C08           unify hearts with @
T1121492 C08          unify [@,@,@] with [@,@,@]
T1121493 C08           unify @ with @
T1121494 C08          unify [@,@] with [@,@]
T1121495 C08           unify @ with @
T1121496 C08          unify [@] with [@]
T1121497 C08           unify @ with @
T1121498 C08          unify [] with []
T1121499 C08         prove spade([6,@,hearts,@,@,@])
T1121500 C09         unify [6,@,hearts,@,@,@] with [26,2,spades,c_2_of_spades,0,1]
T1121501 C09          unify 6 with 26
T1121501 C08          backtracking
T1121502 C08         prove spade([6,@,hearts,@,@,@])
T1121503 C09         unify [6,@,hearts,@,@,@] with [27,3,spades,c_3_of_spades,0,0]
T1121504 C09          unify 6 with 27
T1121504 C08          backtracking
T1121505 C08         prove spade([6,@,hearts,@,@,@])
T1121506 C09         unify [6,@,hearts,@,@,@] with [28,4,spades,c_4_of_spades,0,0]
T1121507 C09          unify 6 with 28
T1121507 C08          backtracking
T1121508 C08         prove spade([6,@,hearts,@,@,@])
T1121509 C09         unify [6,@,hearts,@,@,@] with [29,5,spades,c_5_of_spades,0,0]
T1121510 C09          unify 6 with 29
T1121510 C08          backtracking
T1121511 C08         prove spade([6,@,hearts,@,@,@])
T1121512 C09         unify [6,@,hearts,@,@,@] with [30,6,spades,c_6_of_spades,0,0]
T1121513 C09          unify 6 with 30
T1121513 C08          backtracking
T1121514 C08         prove spade([6,@,hearts,@,@,@])
T1121515 C09         unify [6,@,hearts,@,@,@] with [31,7,spades,c_7_of_spades,0,0]
T1121516 C09          unify 6 with 31
T1121516 C08          backtracking
T1121517 C08         prove spade([6,@,hearts,@,@,@])
T1121518 C09         unify [6,@,hearts,@,@,@] with [32,8,spades,c_8_of_spades,0,0]
T1121519 C09          unify 6 with 32
T1121519 C08          backtracking
T1121520 C08         prove spade([6,@,hearts,@,@,@])
T1121521 C09         unify [6,@,hearts,@,@,@] with [33,9,spades,c_9_of_spades,0,0]
T1121522 C09          unify 6 with 33
T1121522 C08          backtracking
T1121523 C08         prove spade([6,@,hearts,@,@,@])
T1121524 C09         unify [6,@,hearts,@,@,@] with [34,10,spades,c_10_of_spades,1,0]
T1121525 C09          unify 6 with 34
T1121525 C08          backtracking
T1121526 C08         prove spade([6,@,hearts,@,@,@])
T1121527 C09         unify [6,@,hearts,@,@,@] with [52,11,spades,low_joker,1,0]
T1121528 C09          unify 6 with 52
T1121528 C08          backtracking
T1121529 C08         prove spade([6,@,hearts,@,@,@])
T1121530 C09         unify [6,@,hearts,@,@,@] with [53,12,spades,high_joker,1,0]
T1121531 C09          unify 6 with 53
T1121531 C08          backtracking
T1121532 C08         prove spade([6,@,hearts,@,@,@])
T1121533 C09         unify [6,@,hearts,@,@,@] with [48,13,spades,j_of_clubs,1,0]
T1121534 C09          unify 6 with 48
T1121534 C08          backtracking
T1121535 C08         prove spade([6,@,hearts,@,@,@])
T1121536 C09         unify [6,@,hearts,@,@,@] with [35,14,spades,j_of_spades,1,0]
T1121537 C09          unify 6 with 35
T1121537 C08          backtracking
T1121538 C08         prove spade([6,@,hearts,@,@,@])
T1121539 C09         unify [6,@,hearts,@,@,@] with [36,15,spades,q_of_spades,0,0]
T1121540 C09          unify 6 with 36
T1121540 C08          backtracking
T1121541 C08         prove spade([6,@,hearts,@,@,@])
T1121542 C09         unify [6,@,hearts,@,@,@] with [37,16,spades,k_of_spades,0,0]
T1121543 C09          unify 6 with 37
T1121543 C08          backtracking
T1121544 C08         prove spade([6,@,hearts,@,@,@])
T1121545 C08         unify [6,@,hearts,@,@,@] with [38,17,spades,a_of_spades,0,1]
T1121546 C08          unify 6 with 38
T1121546 C07          backtracking
T1121547 C07         prove card([6,@,hearts,@,@,@])
T1121548 C07          unify [6,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1121549 C07           unify 6 with @
T1121550 C07          unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1121551 C07           unify @ with @
T1121552 C07          unify [hearts,@,@,@] with [@,@,@,@]
T1121553 C07           unify hearts with @
T1121554 C07          unify [@,@,@] with [@,@,@]
T1121555 C07           unify @ with @
T1121556 C07          unify [@,@] with [@,@]
T1121557 C07           unify @ with @
T1121558 C07          unify [@] with [@]
T1121559 C07           unify @ with @
T1121560 C07          unify [] with []
T1121561 C07         prove club([6,@,hearts,@,@,@])
T1121562 C08         unify [6,@,hearts,@,@,@] with [39,2,clubs,c_2_of_clubs,0,1]
T1121563 C08          unify 6 with 39
T1121563 C07          backtracking
T1121564 C07         prove club([6,@,hearts,@,@,@])
T1121565 C08         unify [6,@,hearts,@,@,@] with [40,3,clubs,c_3_of_clubs,0,0]
T1121566 C08          unify 6 with 40
T1121566 C07          backtracking
T1121567 C07         prove club([6,@,hearts,@,@,@])
T1121568 C08         unify [6,@,hearts,@,@,@] with [41,4,clubs,c_4_of_clubs,0,0]
T1121569 C08          unify 6 with 41
T1121569 C07          backtracking
T1121570 C07         prove club([6,@,hearts,@,@,@])
T1121571 C08         unify [6,@,hearts,@,@,@] with [42,5,clubs,c_5_of_clubs,0,0]
T1121572 C08          unify 6 with 42
T1121572 C07          backtracking
T1121573 C07         prove club([6,@,hearts,@,@,@])
T1121574 C08         unify [6,@,hearts,@,@,@] with [43,6,clubs,c_6_of_clubs,0,0]
T1121575 C08          unify 6 with 43
T1121575 C07          backtracking
T1121576 C07         prove club([6,@,hearts,@,@,@])
T1121577 C08         unify [6,@,hearts,@,@,@] with [44,7,clubs,c_7_of_clubs,0,0]
T1121578 C08          unify 6 with 44
T1121578 C07          backtracking
T1121579 C07         prove club([6,@,hearts,@,@,@])
T1121580 C08         unify [6,@,hearts,@,@,@] with [45,8,clubs,c_8_of_clubs,0,0]
T1121581 C08          unify 6 with 45
T1121581 C07          backtracking
T1121582 C07         prove club([6,@,hearts,@,@,@])
T1121583 C08         unify [6,@,hearts,@,@,@] with [46,9,clubs,c_9_of_clubs,0,0]
T1121584 C08          unify 6 with 46
T1121584 C07          backtracking
T1121585 C07         prove club([6,@,hearts,@,@,@])
T1121586 C08         unify [6,@,hearts,@,@,@] with [47,10,clubs,c_10_of_clubs,1,0]
T1121587 C08          unify 6 with 47
T1121587 C07          backtracking
T1121588 C07         prove club([6,@,hearts,@,@,@])
T1121589 C08         unify [6,@,hearts,@,@,@] with [52,11,clubs,low_joker,1,0]
T1121590 C08          unify 6 with 52
T1121590 C07          backtracking
T1121591 C07         prove club([6,@,hearts,@,@,@])
T1121592 C08         unify [6,@,hearts,@,@,@] with [53,12,clubs,high_joker,1,0]
T1121593 C08          unify 6 with 53
T1121593 C07          backtracking
T1121594 C07         prove club([6,@,hearts,@,@,@])
T1121595 C08         unify [6,@,hearts,@,@,@] with [35,13,clubs,j_of_spades,1,0]
T1121596 C08          unify 6 with 35
T1121596 C07          backtracking
T1121597 C07         prove club([6,@,hearts,@,@,@])
T1121598 C08         unify [6,@,hearts,@,@,@] with [48,14,clubs,j_of_clubs,1,0]
T1121599 C08          unify 6 with 48
T1121599 C07          backtracking
T1121600 C07         prove club([6,@,hearts,@,@,@])
T1121601 C08         unify [6,@,hearts,@,@,@] with [49,15,clubs,q_of_clubs,0,0]
T1121602 C08          unify 6 with 49
T1121602 C07          backtracking
T1121603 C07         prove club([6,@,hearts,@,@,@])
T1121604 C08         unify [6,@,hearts,@,@,@] with [50,16,clubs,k_of_clubs,0,0]
T1121605 C08          unify 6 with 50
T1121605 C07          backtracking
T1121606 C07         prove club([6,@,hearts,@,@,@])
T1121607 C07         unify [6,@,hearts,@,@,@] with [51,17,clubs,a_of_clubs,0,1]
T1121608 C07          unify 6 with 51
T1121608 C06         backtracking
T1121609 C06        prove card([12,@,hearts,@,@,@])
T1121610 C07         unify [12,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1121611 C07          unify 12 with @
T1121612 C07         unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1121613 C07          unify @ with @
T1121614 C07         unify [hearts,@,@,@] with [@,@,@,@]
T1121615 C07          unify hearts with @
T1121616 C07         unify [@,@,@] with [@,@,@]
T1121617 C07          unify @ with @
T1121618 C07         unify [@,@] with [@,@]
T1121619 C07          unify @ with @
T1121620 C07         unify [@] with [@]
T1121621 C07          unify @ with @
T1121622 C07         unify [] with []
T1121623 C07        prove diamond([12,@,hearts,@,@,@])
T1121624 C08        unify [12,@,hearts,@,@,@] with [13,2,diamonds,c_2_of_diamonds,0,1]
T1121625 C08         unify 12 with 13
T1121625 C07         backtracking
T1121626 C07        prove diamond([12,@,hearts,@,@,@])
T1121627 C08        unify [12,@,hearts,@,@,@] with [14,3,diamonds,c_3_of_diamonds,0,0]
T1121628 C08         unify 12 with 14
T1121628 C07         backtracking
T1121629 C07        prove diamond([12,@,hearts,@,@,@])
T1121630 C08        unify [12,@,hearts,@,@,@] with [15,4,diamonds,c_4_of_diamonds,0,0]
T1121631 C08         unify 12 with 15
T1121631 C07         backtracking
T1121632 C07        prove diamond([12,@,hearts,@,@,@])
T1121633 C08        unify [12,@,hearts,@,@,@] with [16,5,diamonds,c_5_of_diamonds,0,0]
T1121634 C08         unify 12 with 16
T1121634 C07         backtracking
T1121635 C07        prove diamond([12,@,hearts,@,@,@])
T1121636 C08        unify [12,@,hearts,@,@,@] with [17,6,diamonds,c_6_of_diamonds,0,0]
T1121637 C08         unify 12 with 17
T1121637 C07         backtracking
T1121638 C07        prove diamond([12,@,hearts,@,@,@])
T1121639 C08        unify [12,@,hearts,@,@,@] with [18,7,diamonds,c_7_of_diamonds,0,0]
T1121640 C08         unify 12 with 18
T1121640 C07         backtracking
T1121641 C07        prove diamond([12,@,hearts,@,@,@])
T1121642 C08        unify [12,@,hearts,@,@,@] with [19,8,diamonds,c_8_of_diamonds,0,0]
T1121643 C08         unify 12 with 19
T1121643 C07         backtracking
T1121644 C07        prove diamond([12,@,hearts,@,@,@])
T1121645 C08        unify [12,@,hearts,@,@,@] with [20,9,diamonds,c_9_of_diamonds,0,0]
T1121646 C08         unify 12 with 20
T1121646 C07         backtracking
T1121647 C07        prove diamond([12,@,hearts,@,@,@])
T1121648 C08        unify [12,@,hearts,@,@,@] with [21,10,diamonds,c_10_of_diamonds,1,0]
T1121649 C08         unify 12 with 21
T1121649 C07         backtracking
T1121650 C07        prove diamond([12,@,hearts,@,@,@])
T1121651 C08        unify [12,@,hearts,@,@,@] with [52,11,diamonds,low_joker,1,0]
T1121652 C08         unify 12 with 52
T1121652 C07         backtracking
T1121653 C07        prove diamond([12,@,hearts,@,@,@])
T1121654 C08        unify [12,@,hearts,@,@,@] with [53,12,diamonds,high_joker,1,0]
T1121655 C08         unify 12 with 53
T1121655 C07         backtracking
T1121656 C07        prove diamond([12,@,hearts,@,@,@])
T1121657 C08        unify [12,@,hearts,@,@,@] with [9,13,diamonds,j_of_hearts,1,0]
T1121658 C08         unify 12 with 9
T1121658 C07         backtracking
T1121659 C07        prove diamond([12,@,hearts,@,@,@])
T1121660 C08        unify [12,@,hearts,@,@,@] with [22,14,diamonds,j_of_diamonds,1,0]
T1121661 C08         unify 12 with 22
T1121661 C07         backtracking
T1121662 C07        prove diamond([12,@,hearts,@,@,@])
T1121663 C08        unify [12,@,hearts,@,@,@] with [23,15,diamonds,q_of_diamonds,0,0]
T1121664 C08         unify 12 with 23
T1121664 C07         backtracking
T1121665 C07        prove diamond([12,@,hearts,@,@,@])
T1121666 C08        unify [12,@,hearts,@,@,@] with [24,16,diamonds,k_of_diamonds,0,0]
T1121667 C08         unify 12 with 24
T1121667 C07         backtracking
T1121668 C07        prove diamond([12,@,hearts,@,@,@])
T1121669 C07        unify [12,@,hearts,@,@,@] with [25,17,diamonds,a_of_diamonds,0,1]
T1121670 C07         unify 12 with 25
T1121670 C06         backtracking
T1121671 C06        prove card([12,@,hearts,@,@,@])
T1121672 C07         unify [12,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1121673 C07          unify 12 with @
T1121674 C07         unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1121675 C07          unify @ with @
T1121676 C07         unify [hearts,@,@,@] with [@,@,@,@]
T1121677 C07          unify hearts with @
T1121678 C07         unify [@,@,@] with [@,@,@]
T1121679 C07          unify @ with @
T1121680 C07         unify [@,@] with [@,@]
T1121681 C07          unify @ with @
T1121682 C07         unify [@] with [@]
T1121683 C07          unify @ with @
T1121684 C07         unify [] with []
T1121685 C07        prove spade([12,@,hearts,@,@,@])
T1121686 C08        unify [12,@,hearts,@,@,@] with [26,2,spades,c_2_of_spades,0,1]
T1121687 C08         unify 12 with 26
T1121687 C07         backtracking
T1121688 C07        prove spade([12,@,hearts,@,@,@])
T1121689 C08        unify [12,@,hearts,@,@,@] with [27,3,spades,c_3_of_spades,0,0]
T1121690 C08         unify 12 with 27
T1121690 C07         backtracking
T1121691 C07        prove spade([12,@,hearts,@,@,@])
T1121692 C08        unify [12,@,hearts,@,@,@] with [28,4,spades,c_4_of_spades,0,0]
T1121693 C08         unify 12 with 28
T1121693 C07         backtracking
T1121694 C07        prove spade([12,@,hearts,@,@,@])
T1121695 C08        unify [12,@,hearts,@,@,@] with [29,5,spades,c_5_of_spades,0,0]
T1121696 C08         unify 12 with 29
T1121696 C07         backtracking
T1121697 C07        prove spade([12,@,hearts,@,@,@])
T1121698 C08        unify [12,@,hearts,@,@,@] with [30,6,spades,c_6_of_spades,0,0]
T1121699 C08         unify 12 with 30
T1121699 C07         backtracking
T1121700 C07        prove spade([12,@,hearts,@,@,@])
T1121701 C08        unify [12,@,hearts,@,@,@] with [31,7,spades,c_7_of_spades,0,0]
T1121702 C08         unify 12 with 31
T1121702 C07         backtracking
T1121703 C07        prove spade([12,@,hearts,@,@,@])
T1121704 C08        unify [12,@,hearts,@,@,@] with [32,8,spades,c_8_of_spades,0,0]
T1121705 C08         unify 12 with 32
T1121705 C07         backtracking
T1121706 C07        prove spade([12,@,hearts,@,@,@])
T1121707 C08        unify [12,@,hearts,@,@,@] with [33,9,spades,c_9_of_spades,0,0]
T1121708 C08         unify 12 with 33
T1121708 C07         backtracking
T1121709 C07        prove spade([12,@,hearts,@,@,@])
T1121710 C08        unify [12,@,hearts,@,@,@] with [34,10,spades,c_10_of_spades,1,0]
T1121711 C08         unify 12 with 34
T1121711 C07         backtracking
T1121712 C07        prove spade([12,@,hearts,@,@,@])
T1121713 C08        unify [12,@,hearts,@,@,@] with [52,11,spades,low_joker,1,0]
T1121714 C08         unify 12 with 52
T1121714 C07         backtracking
T1121715 C07        prove spade([12,@,hearts,@,@,@])
T1121716 C08        unify [12,@,hearts,@,@,@] with [53,12,spades,high_joker,1,0]
T1121717 C08         unify 12 with 53
T1121717 C07         backtracking
T1121718 C07        prove spade([12,@,hearts,@,@,@])
T1121719 C08        unify [12,@,hearts,@,@,@] with [48,13,spades,j_of_clubs,1,0]
T1121720 C08         unify 12 with 48
T1121720 C07         backtracking
T1121721 C07        prove spade([12,@,hearts,@,@,@])
T1121722 C08        unify [12,@,hearts,@,@,@] with [35,14,spades,j_of_spades,1,0]
T1121723 C08         unify 12 with 35
T1121723 C07         backtracking
T1121724 C07        prove spade([12,@,hearts,@,@,@])
T1121725 C08        unify [12,@,hearts,@,@,@] with [36,15,spades,q_of_spades,0,0]
T1121726 C08         unify 12 with 36
T1121726 C07         backtracking
T1121727 C07        prove spade([12,@,hearts,@,@,@])
T1121728 C08        unify [12,@,hearts,@,@,@] with [37,16,spades,k_of_spades,0,0]
T1121729 C08         unify 12 with 37
T1121729 C07         backtracking
T1121730 C07        prove spade([12,@,hearts,@,@,@])
T1121731 C07        unify [12,@,hearts,@,@,@] with [38,17,spades,a_of_spades,0,1]
T1121732 C07         unify 12 with 38
T1121732 C06         backtracking
T1121733 C06        prove card([12,@,hearts,@,@,@])
T1121734 C06         unify [12,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1121735 C06          unify 12 with @
T1121736 C06         unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1121737 C06          unify @ with @
T1121738 C06         unify [hearts,@,@,@] with [@,@,@,@]
T1121739 C06          unify hearts with @
T1121740 C06         unify [@,@,@] with [@,@,@]
T1121741 C06          unify @ with @
T1121742 C06         unify [@,@] with [@,@]
T1121743 C06          unify @ with @
T1121744 C06         unify [@] with [@]
T1121745 C06          unify @ with @
T1121746 C06         unify [] with []
T1121747 C06        prove club([12,@,hearts,@,@,@])
T1121748 C07        unify [12,@,hearts,@,@,@] with [39,2,clubs,c_2_of_clubs,0,1]
T1121749 C07         unify 12 with 39
T1121749 C06         backtracking
T1121750 C06        prove club([12,@,hearts,@,@,@])
T1121751 C07        unify [12,@,hearts,@,@,@] with [40,3,clubs,c_3_of_clubs,0,0]
T1121752 C07         unify 12 with 40
T1121752 C06         backtracking
T1121753 C06        prove club([12,@,hearts,@,@,@])
T1121754 C07        unify [12,@,hearts,@,@,@] with [41,4,clubs,c_4_of_clubs,0,0]
T1121755 C07         unify 12 with 41
T1121755 C06         backtracking
T1121756 C06        prove club([12,@,hearts,@,@,@])
T1121757 C07        unify [12,@,hearts,@,@,@] with [42,5,clubs,c_5_of_clubs,0,0]
T1121758 C07         unify 12 with 42
T1121758 C06         backtracking
T1121759 C06        prove club([12,@,hearts,@,@,@])
T1121760 C07        unify [12,@,hearts,@,@,@] with [43,6,clubs,c_6_of_clubs,0,0]
T1121761 C07         unify 12 with 43
T1121761 C06         backtracking
T1121762 C06        prove club([12,@,hearts,@,@,@])
T1121763 C07        unify [12,@,hearts,@,@,@] with [44,7,clubs,c_7_of_clubs,0,0]
T1121764 C07         unify 12 with 44
T1121764 C06         backtracking
T1121765 C06        prove club([12,@,hearts,@,@,@])
T1121766 C07        unify [12,@,hearts,@,@,@] with [45,8,clubs,c_8_of_clubs,0,0]
T1121767 C07         unify 12 with 45
T1121767 C06         backtracking
T1121768 C06        prove club([12,@,hearts,@,@,@])
T1121769 C07        unify [12,@,hearts,@,@,@] with [46,9,clubs,c_9_of_clubs,0,0]
T1121770 C07         unify 12 with 46
T1121770 C06         backtracking
T1121771 C06        prove club([12,@,hearts,@,@,@])
T1121772 C07        unify [12,@,hearts,@,@,@] with [47,10,clubs,c_10_of_clubs,1,0]
T1121773 C07         unify 12 with 47
T1121773 C06         backtracking
T1121774 C06        prove club([12,@,hearts,@,@,@])
T1121775 C07        unify [12,@,hearts,@,@,@] with [52,11,clubs,low_joker,1,0]
T1121776 C07         unify 12 with 52
T1121776 C06         backtracking
T1121777 C06        prove club([12,@,hearts,@,@,@])
T1121778 C07        unify [12,@,hearts,@,@,@] with [53,12,clubs,high_joker,1,0]
T1121779 C07         unify 12 with 53
T1121779 C06         backtracking
T1121780 C06        prove club([12,@,hearts,@,@,@])
T1121781 C07        unify [12,@,hearts,@,@,@] with [35,13,clubs,j_of_spades,1,0]
T1121782 C07         unify 12 with 35
T1121782 C06         backtracking
T1121783 C06        prove club([12,@,hearts,@,@,@])
T1121784 C07        unify [12,@,hearts,@,@,@] with [48,14,clubs,j_of_clubs,1,0]
T1121785 C07         unify 12 with 48
T1121785 C06         backtracking
T1121786 C06        prove club([12,@,hearts,@,@,@])
T1121787 C07        unify [12,@,hearts,@,@,@] with [49,15,clubs,q_of_clubs,0,0]
T1121788 C07         unify 12 with 49
T1121788 C06         backtracking
T1121789 C06        prove club([12,@,hearts,@,@,@])
T1121790 C07        unify [12,@,hearts,@,@,@] with [50,16,clubs,k_of_clubs,0,0]
T1121791 C07         unify 12 with 50
T1121791 C06         backtracking
T1121792 C06        prove club([12,@,hearts,@,@,@])
T1121793 C06        unify [12,@,hearts,@,@,@] with [51,17,clubs,a_of_clubs,0,1]
T1121794 C06         unify 12 with 51
T1121794 C05        backtracking
T1121795 C05       prove heart([11,@,hearts,@,@,@])
T1121796 C05       unify [11,@,hearts,@,@,@] with [12,17,hearts,a_of_hearts,0,1]
T1121797 C05        unify 11 with 12
T1121797 C04        backtracking
T1121798 C04       prove card([11,@,hearts,@,@,@])
T1121799 C05        unify [11,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1121800 C05         unify 11 with @
T1121801 C05        unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1121802 C05         unify @ with @
T1121803 C05        unify [hearts,@,@,@] with [@,@,@,@]
T1121804 C05         unify hearts with @
T1121805 C05        unify [@,@,@] with [@,@,@]
T1121806 C05         unify @ with @
T1121807 C05        unify [@,@] with [@,@]
T1121808 C05         unify @ with @
T1121809 C05        unify [@] with [@]
T1121810 C05         unify @ with @
T1121811 C05        unify [] with []
T1121812 C05       prove diamond([11,@,hearts,@,@,@])
T1121813 C06       unify [11,@,hearts,@,@,@] with [13,2,diamonds,c_2_of_diamonds,0,1]
T1121814 C06        unify 11 with 13
T1121814 C05        backtracking
T1121815 C05       prove diamond([11,@,hearts,@,@,@])
T1121816 C06       unify [11,@,hearts,@,@,@] with [14,3,diamonds,c_3_of_diamonds,0,0]
T1121817 C06        unify 11 with 14
T1121817 C05        backtracking
T1121818 C05       prove diamond([11,@,hearts,@,@,@])
T1121819 C06       unify [11,@,hearts,@,@,@] with [15,4,diamonds,c_4_of_diamonds,0,0]
T1121820 C06        unify 11 with 15
T1121820 C05        backtracking
T1121821 C05       prove diamond([11,@,hearts,@,@,@])
T1121822 C06       unify [11,@,hearts,@,@,@] with [16,5,diamonds,c_5_of_diamonds,0,0]
T1121823 C06        unify 11 with 16
T1121823 C05        backtracking
T1121824 C05       prove diamond([11,@,hearts,@,@,@])
T1121825 C06       unify [11,@,hearts,@,@,@] with [17,6,diamonds,c_6_of_diamonds,0,0]
T1121826 C06        unify 11 with 17
T1121826 C05        backtracking
T1121827 C05       prove diamond([11,@,hearts,@,@,@])
T1121828 C06       unify [11,@,hearts,@,@,@] with [18,7,diamonds,c_7_of_diamonds,0,0]
T1121829 C06        unify 11 with 18
T1121829 C05        backtracking
T1121830 C05       prove diamond([11,@,hearts,@,@,@])
T1121831 C06       unify [11,@,hearts,@,@,@] with [19,8,diamonds,c_8_of_diamonds,0,0]
T1121832 C06        unify 11 with 19
T1121832 C05        backtracking
T1121833 C05       prove diamond([11,@,hearts,@,@,@])
T1121834 C06       unify [11,@,hearts,@,@,@] with [20,9,diamonds,c_9_of_diamonds,0,0]
T1121835 C06        unify 11 with 20
T1121835 C05        backtracking
T1121836 C05       prove diamond([11,@,hearts,@,@,@])
T1121837 C06       unify [11,@,hearts,@,@,@] with [21,10,diamonds,c_10_of_diamonds,1,0]
T1121838 C06        unify 11 with 21
T1121838 C05        backtracking
T1121839 C05       prove diamond([11,@,hearts,@,@,@])
T1121840 C06       unify [11,@,hearts,@,@,@] with [52,11,diamonds,low_joker,1,0]
T1121841 C06        unify 11 with 52
T1121841 C05        backtracking
T1121842 C05       prove diamond([11,@,hearts,@,@,@])
T1121843 C06       unify [11,@,hearts,@,@,@] with [53,12,diamonds,high_joker,1,0]
T1121844 C06        unify 11 with 53
T1121844 C05        backtracking
T1121845 C05       prove diamond([11,@,hearts,@,@,@])
T1121846 C06       unify [11,@,hearts,@,@,@] with [9,13,diamonds,j_of_hearts,1,0]
T1121847 C06        unify 11 with 9
T1121847 C05        backtracking
T1121848 C05       prove diamond([11,@,hearts,@,@,@])
T1121849 C06       unify [11,@,hearts,@,@,@] with [22,14,diamonds,j_of_diamonds,1,0]
T1121850 C06        unify 11 with 22
T1121850 C05        backtracking
T1121851 C05       prove diamond([11,@,hearts,@,@,@])
T1121852 C06       unify [11,@,hearts,@,@,@] with [23,15,diamonds,q_of_diamonds,0,0]
T1121853 C06        unify 11 with 23
T1121853 C05        backtracking
T1121854 C05       prove diamond([11,@,hearts,@,@,@])
T1121855 C06       unify [11,@,hearts,@,@,@] with [24,16,diamonds,k_of_diamonds,0,0]
T1121856 C06        unify 11 with 24
T1121856 C05        backtracking
T1121857 C05       prove diamond([11,@,hearts,@,@,@])
T1121858 C05       unify [11,@,hearts,@,@,@] with [25,17,diamonds,a_of_diamonds,0,1]
T1121859 C05        unify 11 with 25
T1121859 C04        backtracking
T1121860 C04       prove card([11,@,hearts,@,@,@])
T1121861 C05        unify [11,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1121862 C05         unify 11 with @
T1121863 C05        unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1121864 C05         unify @ with @
T1121865 C05        unify [hearts,@,@,@] with [@,@,@,@]
T1121866 C05         unify hearts with @
T1121867 C05        unify [@,@,@] with [@,@,@]
T1121868 C05         unify @ with @
T1121869 C05        unify [@,@] with [@,@]
T1121870 C05         unify @ with @
T1121871 C05        unify [@] with [@]
T1121872 C05         unify @ with @
T1121873 C05        unify [] with []
T1121874 C05       prove spade([11,@,hearts,@,@,@])
T1121875 C06       unify [11,@,hearts,@,@,@] with [26,2,spades,c_2_of_spades,0,1]
T1121876 C06        unify 11 with 26
T1121876 C05        backtracking
T1121877 C05       prove spade([11,@,hearts,@,@,@])
T1121878 C06       unify [11,@,hearts,@,@,@] with [27,3,spades,c_3_of_spades,0,0]
T1121879 C06        unify 11 with 27
T1121879 C05        backtracking
T1121880 C05       prove spade([11,@,hearts,@,@,@])
T1121881 C06       unify [11,@,hearts,@,@,@] with [28,4,spades,c_4_of_spades,0,0]
T1121882 C06        unify 11 with 28
T1121882 C05        backtracking
T1121883 C05       prove spade([11,@,hearts,@,@,@])
T1121884 C06       unify [11,@,hearts,@,@,@] with [29,5,spades,c_5_of_spades,0,0]
T1121885 C06        unify 11 with 29
T1121885 C05        backtracking
T1121886 C05       prove spade([11,@,hearts,@,@,@])
T1121887 C06       unify [11,@,hearts,@,@,@] with [30,6,spades,c_6_of_spades,0,0]
T1121888 C06        unify 11 with 30
T1121888 C05        backtracking
T1121889 C05       prove spade([11,@,hearts,@,@,@])
T1121890 C06       unify [11,@,hearts,@,@,@] with [31,7,spades,c_7_of_spades,0,0]
T1121891 C06        unify 11 with 31
T1121891 C05        backtracking
T1121892 C05       prove spade([11,@,hearts,@,@,@])
T1121893 C06       unify [11,@,hearts,@,@,@] with [32,8,spades,c_8_of_spades,0,0]
T1121894 C06        unify 11 with 32
T1121894 C05        backtracking
T1121895 C05       prove spade([11,@,hearts,@,@,@])
T1121896 C06       unify [11,@,hearts,@,@,@] with [33,9,spades,c_9_of_spades,0,0]
T1121897 C06        unify 11 with 33
T1121897 C05        backtracking
T1121898 C05       prove spade([11,@,hearts,@,@,@])
T1121899 C06       unify [11,@,hearts,@,@,@] with [34,10,spades,c_10_of_spades,1,0]
T1121900 C06        unify 11 with 34
T1121900 C05        backtracking
T1121901 C05       prove spade([11,@,hearts,@,@,@])
T1121902 C06       unify [11,@,hearts,@,@,@] with [52,11,spades,low_joker,1,0]
T1121903 C06        unify 11 with 52
T1121903 C05        backtracking
T1121904 C05       prove spade([11,@,hearts,@,@,@])
T1121905 C06       unify [11,@,hearts,@,@,@] with [53,12,spades,high_joker,1,0]
T1121906 C06        unify 11 with 53
T1121906 C05        backtracking
T1121907 C05       prove spade([11,@,hearts,@,@,@])
T1121908 C06       unify [11,@,hearts,@,@,@] with [48,13,spades,j_of_clubs,1,0]
T1121909 C06        unify 11 with 48
T1121909 C05        backtracking
T1121910 C05       prove spade([11,@,hearts,@,@,@])
T1121911 C06       unify [11,@,hearts,@,@,@] with [35,14,spades,j_of_spades,1,0]
T1121912 C06        unify 11 with 35
T1121912 C05        backtracking
T1121913 C05       prove spade([11,@,hearts,@,@,@])
T1121914 C06       unify [11,@,hearts,@,@,@] with [36,15,spades,q_of_spades,0,0]
T1121915 C06        unify 11 with 36
T1121915 C05        backtracking
T1121916 C05       prove spade([11,@,hearts,@,@,@])
T1121917 C06       unify [11,@,hearts,@,@,@] with [37,16,spades,k_of_spades,0,0]
T1121918 C06        unify 11 with 37
T1121918 C05        backtracking
T1121919 C05       prove spade([11,@,hearts,@,@,@])
T1121920 C05       unify [11,@,hearts,@,@,@] with [38,17,spades,a_of_spades,0,1]
T1121921 C05        unify 11 with 38
T1121921 C04        backtracking
T1121922 C04       prove card([11,@,hearts,@,@,@])
T1121923 C04        unify [11,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1121924 C04         unify 11 with @
T1121925 C04        unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1121926 C04         unify @ with @
T1121927 C04        unify [hearts,@,@,@] with [@,@,@,@]
T1121928 C04         unify hearts with @
T1121929 C04        unify [@,@,@] with [@,@,@]
T1121930 C04         unify @ with @
T1121931 C04        unify [@,@] with [@,@]
T1121932 C04         unify @ with @
T1121933 C04        unify [@] with [@]
T1121934 C04         unify @ with @
T1121935 C04        unify [] with []
T1121936 C04       prove club([11,@,hearts,@,@,@])
T1121937 C05       unify [11,@,hearts,@,@,@] with [39,2,clubs,c_2_of_clubs,0,1]
T1121938 C05        unify 11 with 39
T1121938 C04        backtracking
T1121939 C04       prove club([11,@,hearts,@,@,@])
T1121940 C05       unify [11,@,hearts,@,@,@] with [40,3,clubs,c_3_of_clubs,0,0]
T1121941 C05        unify 11 with 40
T1121941 C04        backtracking
T1121942 C04       prove club([11,@,hearts,@,@,@])
T1121943 C05       unify [11,@,hearts,@,@,@] with [41,4,clubs,c_4_of_clubs,0,0]
T1121944 C05        unify 11 with 41
T1121944 C04        backtracking
T1121945 C04       prove club([11,@,hearts,@,@,@])
T1121946 C05       unify [11,@,hearts,@,@,@] with [42,5,clubs,c_5_of_clubs,0,0]
T1121947 C05        unify 11 with 42
T1121947 C04        backtracking
T1121948 C04       prove club([11,@,hearts,@,@,@])
T1121949 C05       unify [11,@,hearts,@,@,@] with [43,6,clubs,c_6_of_clubs,0,0]
T1121950 C05        unify 11 with 43
T1121950 C04        backtracking
T1121951 C04       prove club([11,@,hearts,@,@,@])
T1121952 C05       unify [11,@,hearts,@,@,@] with [44,7,clubs,c_7_of_clubs,0,0]
T1121953 C05        unify 11 with 44
T1121953 C04        backtracking
T1121954 C04       prove club([11,@,hearts,@,@,@])
T1121955 C05       unify [11,@,hearts,@,@,@] with [45,8,clubs,c_8_of_clubs,0,0]
T1121956 C05        unify 11 with 45
T1121956 C04        backtracking
T1121957 C04       prove club([11,@,hearts,@,@,@])
T1121958 C05       unify [11,@,hearts,@,@,@] with [46,9,clubs,c_9_of_clubs,0,0]
T1121959 C05        unify 11 with 46
T1121959 C04        backtracking
T1121960 C04       prove club([11,@,hearts,@,@,@])
T1121961 C05       unify [11,@,hearts,@,@,@] with [47,10,clubs,c_10_of_clubs,1,0]
T1121962 C05        unify 11 with 47
T1121962 C04        backtracking
T1121963 C04       prove club([11,@,hearts,@,@,@])
T1121964 C05       unify [11,@,hearts,@,@,@] with [52,11,clubs,low_joker,1,0]
T1121965 C05        unify 11 with 52
T1121965 C04        backtracking
T1121966 C04       prove club([11,@,hearts,@,@,@])
T1121967 C05       unify [11,@,hearts,@,@,@] with [53,12,clubs,high_joker,1,0]
T1121968 C05        unify 11 with 53
T1121968 C04        backtracking
T1121969 C04       prove club([11,@,hearts,@,@,@])
T1121970 C05       unify [11,@,hearts,@,@,@] with [35,13,clubs,j_of_spades,1,0]
T1121971 C05        unify 11 with 35
T1121971 C04        backtracking
T1121972 C04       prove club([11,@,hearts,@,@,@])
T1121973 C05       unify [11,@,hearts,@,@,@] with [48,14,clubs,j_of_clubs,1,0]
T1121974 C05        unify 11 with 48
T1121974 C04        backtracking
T1121975 C04       prove club([11,@,hearts,@,@,@])
T1121976 C05       unify [11,@,hearts,@,@,@] with [49,15,clubs,q_of_clubs,0,0]
T1121977 C05        unify 11 with 49
T1121977 C04        backtracking
T1121978 C04       prove club([11,@,hearts,@,@,@])
T1121979 C05       unify [11,@,hearts,@,@,@] with [50,16,clubs,k_of_clubs,0,0]
T1121980 C05        unify 11 with 50
T1121980 C04        backtracking
T1121981 C04       prove club([11,@,hearts,@,@,@])
T1121982 C04       unify [11,@,hearts,@,@,@] with [51,17,clubs,a_of_clubs,0,1]
T1121983 C04        unify 11 with 51
T1121983 C03       backtracking
T1121984 C03      prove heart([5,@,hearts,@,@,@])
T1121985 C04      unify [5,@,hearts,@,@,@] with [6,8,hearts,c_8_of_hearts,0,0]
T1121986 C04       unify 5 with 6
T1121986 C03       backtracking
T1121987 C03      prove heart([5,@,hearts,@,@,@])
T1121988 C04      unify [5,@,hearts,@,@,@] with [7,9,hearts,c_9_of_hearts,0,0]
T1121989 C04       unify 5 with 7
T1121989 C03       backtracking
T1121990 C03      prove heart([5,@,hearts,@,@,@])
T1121991 C04      unify [5,@,hearts,@,@,@] with [8,10,hearts,c_10_of_hearts,1,0]
T1121992 C04       unify 5 with 8
T1121992 C03       backtracking
T1121993 C03      prove heart([5,@,hearts,@,@,@])
T1121994 C04      unify [5,@,hearts,@,@,@] with [52,11,hearts,low_joker,1,0]
T1121995 C04       unify 5 with 52
T1121995 C03       backtracking
T1121996 C03      prove heart([5,@,hearts,@,@,@])
T1121997 C04      unify [5,@,hearts,@,@,@] with [53,12,hearts,high_joker,1,0]
T1121998 C04       unify 5 with 53
T1121998 C03       backtracking
T1121999 C03      prove heart([5,@,hearts,@,@,@])
T1122000 C04      unify [5,@,hearts,@,@,@] with [22,13,hearts,j_of_diamonds,1,0]
T1122001 C04       unify 5 with 22
T1122001 C03       backtracking
T1122002 C03      prove heart([5,@,hearts,@,@,@])
T1122003 C04      unify [5,@,hearts,@,@,@] with [9,14,hearts,j_of_hearts,1,0]
T1122004 C04       unify 5 with 9
T1122004 C03       backtracking
T1122005 C03      prove heart([5,@,hearts,@,@,@])
T1122006 C04      unify [5,@,hearts,@,@,@] with [10,15,hearts,q_of_hearts,0,0]
T1122007 C04       unify 5 with 10
T1122007 C03       backtracking
T1122008 C03      prove heart([5,@,hearts,@,@,@])
T1122009 C04      unify [5,@,hearts,@,@,@] with [11,16,hearts,k_of_hearts,0,0]
T1122010 C04       unify 5 with 11
T1122010 C03       backtracking
T1122011 C03      prove heart([5,@,hearts,@,@,@])
T1122012 C03      unify [5,@,hearts,@,@,@] with [12,17,hearts,a_of_hearts,0,1]
T1122013 C03       unify 5 with 12
T1122013 C02       backtracking
T1122014 C02      prove card([5,@,hearts,@,@,@])
T1122015 C03       unify [5,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1122016 C03        unify 5 with @
T1122017 C03       unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1122018 C03        unify @ with @
T1122019 C03       unify [hearts,@,@,@] with [@,@,@,@]
T1122020 C03        unify hearts with @
T1122021 C03       unify [@,@,@] with [@,@,@]
T1122022 C03        unify @ with @
T1122023 C03       unify [@,@] with [@,@]
T1122024 C03        unify @ with @
T1122025 C03       unify [@] with [@]
T1122026 C03        unify @ with @
T1122027 C03       unify [] with []
T1122028 C03      prove diamond([5,@,hearts,@,@,@])
T1122029 C04      unify [5,@,hearts,@,@,@] with [13,2,diamonds,c_2_of_diamonds,0,1]
T1122030 C04       unify 5 with 13
T1122030 C03       backtracking
T1122031 C03      prove diamond([5,@,hearts,@,@,@])
T1122032 C04      unify [5,@,hearts,@,@,@] with [14,3,diamonds,c_3_of_diamonds,0,0]
T1122033 C04       unify 5 with 14
T1122033 C03       backtracking
T1122034 C03      prove diamond([5,@,hearts,@,@,@])
T1122035 C04      unify [5,@,hearts,@,@,@] with [15,4,diamonds,c_4_of_diamonds,0,0]
T1122036 C04       unify 5 with 15
T1122036 C03       backtracking
T1122037 C03      prove diamond([5,@,hearts,@,@,@])
T1122038 C04      unify [5,@,hearts,@,@,@] with [16,5,diamonds,c_5_of_diamonds,0,0]
T1122039 C04       unify 5 with 16
T1122039 C03       backtracking
T1122040 C03      prove diamond([5,@,hearts,@,@,@])
T1122041 C04      unify [5,@,hearts,@,@,@] with [17,6,diamonds,c_6_of_diamonds,0,0]
T1122042 C04       unify 5 with 17
T1122042 C03       backtracking
T1122043 C03      prove diamond([5,@,hearts,@,@,@])
T1122044 C04      unify [5,@,hearts,@,@,@] with [18,7,diamonds,c_7_of_diamonds,0,0]
T1122045 C04       unify 5 with 18
T1122045 C03       backtracking
T1122046 C03      prove diamond([5,@,hearts,@,@,@])
T1122047 C04      unify [5,@,hearts,@,@,@] with [19,8,diamonds,c_8_of_diamonds,0,0]
T1122048 C04       unify 5 with 19
T1122048 C03       backtracking
T1122049 C03      prove diamond([5,@,hearts,@,@,@])
T1122050 C04      unify [5,@,hearts,@,@,@] with [20,9,diamonds,c_9_of_diamonds,0,0]
T1122051 C04       unify 5 with 20
T1122051 C03       backtracking
T1122052 C03      prove diamond([5,@,hearts,@,@,@])
T1122053 C04      unify [5,@,hearts,@,@,@] with [21,10,diamonds,c_10_of_diamonds,1,0]
T1122054 C04       unify 5 with 21
T1122054 C03       backtracking
T1122055 C03      prove diamond([5,@,hearts,@,@,@])
T1122056 C04      unify [5,@,hearts,@,@,@] with [52,11,diamonds,low_joker,1,0]
T1122057 C04       unify 5 with 52
T1122057 C03       backtracking
T1122058 C03      prove diamond([5,@,hearts,@,@,@])
T1122059 C04      unify [5,@,hearts,@,@,@] with [53,12,diamonds,high_joker,1,0]
T1122060 C04       unify 5 with 53
T1122060 C03       backtracking
T1122061 C03      prove diamond([5,@,hearts,@,@,@])
T1122062 C04      unify [5,@,hearts,@,@,@] with [9,13,diamonds,j_of_hearts,1,0]
T1122063 C04       unify 5 with 9
T1122063 C03       backtracking
T1122064 C03      prove diamond([5,@,hearts,@,@,@])
T1122065 C04      unify [5,@,hearts,@,@,@] with [22,14,diamonds,j_of_diamonds,1,0]
T1122066 C04       unify 5 with 22
T1122066 C03       backtracking
T1122067 C03      prove diamond([5,@,hearts,@,@,@])
T1122068 C04      unify [5,@,hearts,@,@,@] with [23,15,diamonds,q_of_diamonds,0,0]
T1122069 C04       unify 5 with 23
T1122069 C03       backtracking
T1122070 C03      prove diamond([5,@,hearts,@,@,@])
T1122071 C04      unify [5,@,hearts,@,@,@] with [24,16,diamonds,k_of_diamonds,0,0]
T1122072 C04       unify 5 with 24
T1122072 C03       backtracking
T1122073 C03      prove diamond([5,@,hearts,@,@,@])
T1122074 C03      unify [5,@,hearts,@,@,@] with [25,17,diamonds,a_of_diamonds,0,1]
T1122075 C03       unify 5 with 25
T1122075 C02       backtracking
T1122076 C02      prove card([5,@,hearts,@,@,@])
T1122077 C03       unify [5,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1122078 C03        unify 5 with @
T1122079 C03       unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1122080 C03        unify @ with @
T1122081 C03       unify [hearts,@,@,@] with [@,@,@,@]
T1122082 C03        unify hearts with @
T1122083 C03       unify [@,@,@] with [@,@,@]
T1122084 C03        unify @ with @
T1122085 C03       unify [@,@] with [@,@]
T1122086 C03        unify @ with @
T1122087 C03       unify [@] with [@]
T1122088 C03        unify @ with @
T1122089 C03       unify [] with []
T1122090 C03      prove spade([5,@,hearts,@,@,@])
T1122091 C04      unify [5,@,hearts,@,@,@] with [26,2,spades,c_2_of_spades,0,1]
T1122092 C04       unify 5 with 26
T1122092 C03       backtracking
T1122093 C03      prove spade([5,@,hearts,@,@,@])
T1122094 C04      unify [5,@,hearts,@,@,@] with [27,3,spades,c_3_of_spades,0,0]
T1122095 C04       unify 5 with 27
T1122095 C03       backtracking
T1122096 C03      prove spade([5,@,hearts,@,@,@])
T1122097 C04      unify [5,@,hearts,@,@,@] with [28,4,spades,c_4_of_spades,0,0]
T1122098 C04       unify 5 with 28
T1122098 C03       backtracking
T1122099 C03      prove spade([5,@,hearts,@,@,@])
T1122100 C04      unify [5,@,hearts,@,@,@] with [29,5,spades,c_5_of_spades,0,0]
T1122101 C04       unify 5 with 29
T1122101 C03       backtracking
T1122102 C03      prove spade([5,@,hearts,@,@,@])
T1122103 C04      unify [5,@,hearts,@,@,@] with [30,6,spades,c_6_of_spades,0,0]
T1122104 C04       unify 5 with 30
T1122104 C03       backtracking
T1122105 C03      prove spade([5,@,hearts,@,@,@])
T1122106 C04      unify [5,@,hearts,@,@,@] with [31,7,spades,c_7_of_spades,0,0]
T1122107 C04       unify 5 with 31
T1122107 C03       backtracking
T1122108 C03      prove spade([5,@,hearts,@,@,@])
T1122109 C04      unify [5,@,hearts,@,@,@] with [32,8,spades,c_8_of_spades,0,0]
T1122110 C04       unify 5 with 32
T1122110 C03       backtracking
T1122111 C03      prove spade([5,@,hearts,@,@,@])
T1122112 C04      unify [5,@,hearts,@,@,@] with [33,9,spades,c_9_of_spades,0,0]
T1122113 C04       unify 5 with 33
T1122113 C03       backtracking
T1122114 C03      prove spade([5,@,hearts,@,@,@])
T1122115 C04      unify [5,@,hearts,@,@,@] with [34,10,spades,c_10_of_spades,1,0]
T1122116 C04       unify 5 with 34
T1122116 C03       backtracking
T1122117 C03      prove spade([5,@,hearts,@,@,@])
T1122118 C04      unify [5,@,hearts,@,@,@] with [52,11,spades,low_joker,1,0]
T1122119 C04       unify 5 with 52
T1122119 C03       backtracking
T1122120 C03      prove spade([5,@,hearts,@,@,@])
T1122121 C04      unify [5,@,hearts,@,@,@] with [53,12,spades,high_joker,1,0]
T1122122 C04       unify 5 with 53
T1122122 C03       backtracking
T1122123 C03      prove spade([5,@,hearts,@,@,@])
T1122124 C04      unify [5,@,hearts,@,@,@] with [48,13,spades,j_of_clubs,1,0]
T1122125 C04       unify 5 with 48
T1122125 C03       backtracking
T1122126 C03      prove spade([5,@,hearts,@,@,@])
T1122127 C04      unify [5,@,hearts,@,@,@] with [35,14,spades,j_of_spades,1,0]
T1122128 C04       unify 5 with 35
T1122128 C03       backtracking
T1122129 C03      prove spade([5,@,hearts,@,@,@])
T1122130 C04      unify [5,@,hearts,@,@,@] with [36,15,spades,q_of_spades,0,0]
T1122131 C04       unify 5 with 36
T1122131 C03       backtracking
T1122132 C03      prove spade([5,@,hearts,@,@,@])
T1122133 C04      unify [5,@,hearts,@,@,@] with [37,16,spades,k_of_spades,0,0]
T1122134 C04       unify 5 with 37
T1122134 C03       backtracking
T1122135 C03      prove spade([5,@,hearts,@,@,@])
T1122136 C03      unify [5,@,hearts,@,@,@] with [38,17,spades,a_of_spades,0,1]
T1122137 C03       unify 5 with 38
T1122137 C02       backtracking
T1122138 C02      prove card([5,@,hearts,@,@,@])
T1122139 C02       unify [5,@,hearts,@,@,@] with [@,@,@,@,@,@]
T1122140 C02        unify 5 with @
T1122141 C02       unify [@,hearts,@,@,@] with [@,@,@,@,@]
T1122142 C02        unify @ with @
T1122143 C02       unify [hearts,@,@,@] with [@,@,@,@]
T1122144 C02        unify hearts with @
T1122145 C02       unify [@,@,@] with [@,@,@]
T1122146 C02        unify @ with @
T1122147 C02       unify [@,@] with [@,@]
T1122148 C02        unify @ with @
T1122149 C02       unify [@] with [@]
T1122150 C02        unify @ with @
T1122151 C02       unify [] with []
T1122152 C02      prove club([5,@,hearts,@,@,@])
T1122153 C03      unify [5,@,hearts,@,@,@] with [39,2,clubs,c_2_of_clubs,0,1]
T1122154 C03       unify 5 with 39
T1122154 C02       backtracking
T1122155 C02      prove club([5,@,hearts,@,@,@])
T1122156 C03      unify [5,@,hearts,@,@,@] with [40,3,clubs,c_3_of_clubs,0,0]
T1122157 C03       unify 5 with 40
T1122157 C02       backtracking
T1122158 C02      prove club([5,@,hearts,@,@,@])
T1122159 C03      unify [5,@,hearts,@,@,@] with [41,4,clubs,c_4_of_clubs,0,0]
T1122160 C03       unify 5 with 41
T1122160 C02       backtracking
T1122161 C02      prove club([5,@,hearts,@,@,@])
T1122162 C03      unify [5,@,hearts,@,@,@] with [42,5,clubs,c_5_of_clubs,0,0]
T1122163 C03       unify 5 with 42
T1122163 C02       backtracking
T1122164 C02      prove club([5,@,hearts,@,@,@])
T1122165 C03      unify [5,@,hearts,@,@,@] with [43,6,clubs,c_6_of_clubs,0,0]
T1122166 C03       unify 5 with 43
T1122166 C02       backtracking
T1122167 C02      prove club([5,@,hearts,@,@,@])
T1122168 C03      unify [5,@,hearts,@,@,@] with [44,7,clubs,c_7_of_clubs,0,0]
T1122169 C03       unify 5 with 44
T1122169 C02       backtracking
T1122170 C02      prove club([5,@,hearts,@,@,@])
T1122171 C03      unify [5,@,hearts,@,@,@] with [45,8,clubs,c_8_of_clubs,0,0]
T1122172 C03       unify 5 with 45
T1122172 C02       backtracking
T1122173 C02      prove club([5,@,hearts,@,@,@])
T1122174 C03      unify [5,@,hearts,@,@,@] with [46,9,clubs,c_9_of_clubs,0,0]
T1122175 C03       unify 5 with 46
T1122175 C02       backtracking
T1122176 C02      prove club([5,@,hearts,@,@,@])
T1122177 C03      unify [5,@,hearts,@,@,@] with [47,10,clubs,c_10_of_clubs,1,0]
T1122178 C03       unify 5 with 47
T1122178 C02       backtracking
T1122179 C02      prove club([5,@,hearts,@,@,@])
T1122180 C03      unify [5,@,hearts,@,@,@] with [52,11,clubs,low_joker,1,0]
T1122181 C03       unify 5 with 52
T1122181 C02       backtracking
T1122182 C02      prove club([5,@,hearts,@,@,@])
T1122183 C03      unify [5,@,hearts,@,@,@] with [53,12,clubs,high_joker,1,0]
T1122184 C03       unify 5 with 53
T1122184 C02       backtracking
T1122185 C02      prove club([5,@,hearts,@,@,@])
T1122186 C03      unify [5,@,hearts,@,@,@] with [35,13,clubs,j_of_spades,1,0]
T1122187 C03       unify 5 with 35
T1122187 C02       backtracking
T1122188 C02      prove club([5,@,hearts,@,@,@])
T1122189 C03      unify [5,@,hearts,@,@,@] with [48,14,clubs,j_of_clubs,1,0]
T1122190 C03       unify 5 with 48
T1122190 C02       backtracking
T1122191 C02      prove club([5,@,hearts,@,@,@])
T1122192 C03      unify [5,@,hearts,@,@,@] with [49,15,clubs,q_of_clubs,0,0]
T1122193 C03       unify 5 with 49
T1122193 C02       backtracking
T1122194 C02      prove club([5,@,hearts,@,@,@])
T1122195 C03      unify [5,@,hearts,@,@,@] with [50,16,clubs,k_of_clubs,0,0]
T1122196 C03       unify 5 with 50
T1122196 C02       backtracking
T1122197 C02      prove club([5,@,hearts,@,@,@])
T1122198 C02      unify [5,@,hearts,@,@,@] with [51,17,clubs,a_of_clubs,0,1]
T1122199 C02       unify 5 with 51
T1122199 C01    backtracking
T1122200 C01   prove play_cards([_A: dennis,sussy,dick,john],[[5,11,12,6,8,0],[7,1,4,2,9,52],[3],[53,22,10]],[[],[],[],[]],[[],[],[],[]],_A,hearts,@,@,@,@)
T1122200 C01   current choice point is 1a3950
T1122201 C01             unify [dennis,sussy,dick,john] with @
T1122202 C01            unify [[5,11,12,6,8,0],[7,1,4,2,9,52],[3],[53,22,10]] with @
T1122203 C01           unify [[],[],[],[]] with @
T1122204 C01          unify [[],[],[],[]] with @
T1122205 C01         unify dennis with @
T1122206 C01        unify hearts with @
T1122207 C01       unify @ with @
T1122208 C01      unify @ with @
T1122209 C01     unify @ with @
T1122210 C01    unify @ with @
T1122212 C01    prove out([dennis,sussy,dick,john],[[5,11,12,6,8,0],[7,1,4,2,9,52],[3],[53,22,10]])
T1122212 C01    current choice point is 1a3950
T1122213 C01      unify [dennis,sussy,dick,john] with @
T1122214 C01     unify [[5,11,12,6,8,0],[7,1,4,2,9,52],[3],[53,22,10]] with @
T1122216 C01     prove built-in [[5,11,12,6,8,0],[7,1,4,2,9,52],[3],[53,22,10]] = [[],[],[],[]]
T1122217 C01     unify [[5,11,12,6,8,0],[7,1,4,2,9,52],[3],[53,22,10]] with [[],[],[],[]]
T1122218 C01      unify [5,11,12,6,8,0] with []
T1122218 C00    backtracking
T1122219 C00   prove bind_deck(0,@)
T1122220 C01    unify 0 with 1
T1122220 C00    backtracking
T1122221 C00   prove bind_deck(0,@)
T1122222 C01    unify 0 with 2
T1122222 C00    backtracking
T1122223 C00   prove bind_deck(0,@)
T1122224 C01    unify 0 with 3
T1122224 C00    backtracking
T1122225 C00   prove bind_deck(0,@)
T1122226 C01    unify 0 with 4
T1122226 C00    backtracking
T1122227 C00   prove bind_deck(0,@)
T1122228 C01    unify 0 with 5
T1122228 C00    backtracking
T1122229 C00   prove bind_deck(0,@)
T1122230 C01    unify 0 with 6
T1122230 C00    backtracking
T1122231 C00   prove bind_deck(0,@)
T1122232 C01    unify 0 with 7
T1122232 C00    backtracking
T1122233 C00   prove bind_deck(0,@)
T1122234 C01    unify 0 with 8
T1122234 C00    backtracking
T1122235 C00   prove bind_deck(0,@)
T1122236 C01    unify 0 with 9
T1122236 C00    backtracking
T1122237 C00   prove bind_deck(0,@)
T1122238 C01    unify 0 with 10
T1122238 C00    backtracking
T1122239 C00   prove bind_deck(0,@)
T1122240 C01    unify 0 with 11
T1122240 C00    backtracking
T1122241 C00   prove bind_deck(0,@)
T1122242 C01    unify 0 with 12
T1122242 C00    backtracking
T1122243 C00   prove bind_deck(0,@)
T1122244 C01    unify 0 with 13
T1122244 C00    backtracking
T1122245 C00   prove bind_deck(0,@)
T1122246 C01    unify 0 with 14
T1122246 C00    backtracking
T1122247 C00   prove bind_deck(0,@)
T1122248 C01    unify 0 with 15
T1122248 C00    backtracking
T1122249 C00   prove bind_deck(0,@)
T1122250 C01    unify 0 with 16
T1122250 C00    backtracking
T1122251 C00   prove bind_deck(0,@)
T1122252 C01    unify 0 with 17
T1122252 C00    backtracking
T1122253 C00   prove bind_deck(0,@)
T1122254 C01    unify 0 with 18
T1122254 C00    backtracking
T1122255 C00   prove bind_deck(0,@)
T1122256 C01    unify 0 with 19
T1122256 C00    backtracking
T1122257 C00   prove bind_deck(0,@)
T1122258 C01    unify 0 with 20
T1122258 C00    backtracking
T1122259 C00   prove bind_deck(0,@)
T1122260 C01    unify 0 with 21
T1122260 C00    backtracking
T1122261 C00   prove bind_deck(0,@)
T1122262 C01    unify 0 with 22
T1122262 C00    backtracking
T1122263 C00   prove bind_deck(0,@)
T1122264 C01    unify 0 with 23
T1122264 C00    backtracking
T1122265 C00   prove bind_deck(0,@)
T1122266 C01    unify 0 with 24
T1122266 C00    backtracking
T1122267 C00   prove bind_deck(0,@)
T1122268 C01    unify 0 with 25
T1122268 C00    backtracking
T1122269 C00   prove bind_deck(0,@)
T1122270 C01    unify 0 with 26
T1122270 C00    backtracking
T1122271 C00   prove bind_deck(0,@)
T1122272 C01    unify 0 with 27
T1122272 C00    backtracking
T1122273 C00   prove bind_deck(0,@)
T1122274 C01    unify 0 with 28
T1122274 C00    backtracking
T1122275 C00   prove bind_deck(0,@)
T1122276 C00    unify 0 with 29

*** No
>
*** Exiting Wild_Life  [11.010s cpu, 0.000s gc (0.0%)]