
 Solving problem p1-2-3
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 43
 Running Time 0.533

 Solving problem p1-2-3
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 43
 Running Time 0.55

 Solving problem p1-2-3
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 50
 Running Time 0.667

 Solving problem p1-2-3
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 50
 Running Time 0.633

 Solving problem p1-2-3
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 60
 Running Time 0.717

 Solving problem p1-2-3
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 60
 Running Time 0.7

 Solving problem p1-3-2
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 50
 Running Time 0.7

 Solving problem p1-3-2
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 50
 Running Time 0.667

 Solving problem p1-3-2
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 43
 Running Time 0.517

 Solving problem p1-3-2
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 43
 Running Time 0.617

 Solving problem p1-3-2
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 60
 Running Time 0.683

 Solving problem p1-3-2
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 60
 Running Time 0.717

 Solving problem p2-1-3
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 43
 Running Time 0.534

 Solving problem p2-1-3
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 43
 Running Time 0.566

 Solving problem p2-1-3
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 60
 Running Time 0.7

 Solving problem p2-1-3
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 60
 Running Time 0.683

 Solving problem p2-1-3
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 50
 Running Time 0.667

 Solving problem p2-1-3
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 50
 Running Time 0.666

 Solving problem p2-3-1
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 60
 Running Time 0.75

 Solving problem p2-3-1
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 60
 Running Time 0.75

 Solving problem p2-3-1
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 43
 Running Time 0.534

 Solving problem p2-3-1
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 43
 Running Time 0.616

 Solving problem p2-3-1
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 50
 Running Time 0.616

 Solving problem p2-3-1
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 50
 Running Time 0.7

 Solving problem p3-1-2
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 50
 Running Time 0.633

 Solving problem p3-1-2
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 50
 Running Time 0.617

 Solving problem p3-1-2
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 60
 Running Time 0.75

 Solving problem p3-1-2
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 60
 Running Time 0.7

 Solving problem p3-1-2
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 43
 Running Time 0.567

 Solving problem p3-1-2
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 43
 Running Time 0.566

 Solving problem p3-2-1
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 60
 Running Time 0.733

 Solving problem p3-2-1
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 60
 Running Time 0.733

 Solving problem p3-2-1
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 50
 Running Time 0.684

 Solving problem p3-2-1
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 50
 Running Time 0.7

 Solving problem p3-2-1
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 43
 Running Time 0.55

 Solving problem p3-2-1
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 43
 Running Time 0.583

nil
USER(76): USER(76): 
