Chapter 8 Appendix
8.3 All path found from the 32 nodes
>n4 ->n5 ->n6 ->n7 ->n15 ><12,n0 ->n1 ->n9 ->n10 ->n11 ->n12 ->n13 ->n14 ->n15 ><13,n0 ->n1 ->n2 ->n10 ->n11 ->n12 ->n13 ->n14 ->n15
><13,n0 ->n8 ->n9 ->n10 ->n11 ->n12 ->n13 ->n14 ->n15 >)
(node[n16]: done,0,empty,<n17,1 ><n24,1 >,<3,n0 ->n8 ->n16 >) (node[n17]: done,0, empty,<n18,1 ><n25,1 >,<4,n0 ->n1 ->n9 ->n17
><4,n0 ->n8 ->n16 ->n17 ><5,n0 ->n8 ->n9 ->n17 >)
(node[n18]: done,0,empty,<n19,2 ><n26,1 >,<5,n0 >n1 >n9 >n10
->n18 ><5,n0 ->n1 ->n9 ->n17 ->n18 ><5,n0 ->n8 ->n16 ->n17 ->n18
><6,n0 ->n1 ->n2 ->n10 ->n18 ><6,n0 ->n8 ->n9 ->n10 ->n18 ><6,n0
->n8 ->n9 ->n17 ->n18 >)
(node[ n19]: done,0,empty,<n20,1 ><n27,2 >,<7,n0 >n1 >n2 >n3
->n11 ->n19 ><7,n0 ->n1 ->n9 ->n10 ->n18 ->n19 ><7,n0 ->n1 ->n9
->n17 ->n18 ->n19 ><7,n0 ->n8 ->n16 ->n17 ->n18 ->n19><8,n0 >n1
->n2 ->n10 ->n18 ->n19 ><8,n0 ->n1 ->n9 ->n10 ->n11 ->n19 ><8,n0
->n8 ->n9 ->n10 ->n18 ->n19 ><8,n0 ->n8 ->n9 ->n17 ->n18 ->n19
><9,n0 ->n1 ->n2 ->n10 ->n11 ->n19 ><9,n0 ->n8 ->n9 ->n10 ->n11
->n19 >)
(node[n20]: done,0,empty,<n21,1 ><n28,2 >,<8,n0 >n1 >n2 >n3
->n4 ->n12 ->n20 ><8,n0 ->n1 ->n2 ->n3 ->n11 ->n12 ->n20 ><8,n0
->n1 ->n2 ->n3 -->n11 -->n19 ->n20 ><8,n0 ->n1 ->n9 ->n10 ->n18 ->n19
->n20 ><8,n0 ->n1 ->n9 ->n17 ->n18 ->n19 ->n20 ><8,n0 ->n8 ->n16 ->n17 ->n18 ->n19 ->n20 ><9,n0 ->n1 ->n2 ->n10 ->n18 ->n19 ->n20
><9,n0 ->n1 ->n9 ->n10 ->n11 ->n12 ->n20 ><9,n0 ->n1 ->n9 ->n10
->n11 ->n19 ->n20 ><9,n0 ->n8 ->n9 ->n10 ->n18 ->n19 ->n20 ><9,n0 ->n8 ->n9 ->n17 ->n18 ->n19 ->n20 ><10, n0 ->n1 ->n2 ->n10 ->n11 ->n12 ->n20><10,n0 ->n1 ->n2 ->n10 ->n11 ->n19 ->n20 ><10,n0 ->n8 ->n9 ->n10 ->n11 ->n12 ->n20 ><10, n0 ->n8 ->n9 ->n10 ->n11 ->n19 ->n20 >)
(node[n21]: done,0,empty,<n22,1 ><n29,2 >,<9,n0 >n1 >n2 >n3
->n4 ->n5 ->n13 ->n21><9, n0 ->n1 ->n2 ->n3 ->n4 ->n12 ->n20 ->n21
><9,n0 ->n1 ->n2 ->n3 ->n11 ->n12 ->n20 ->n21><9,n0 ->n1 ->n2 ->n3 ->n11 ->n19 ->n20 ->n21 ><9,n0 ->n1 ->n9 ->n10 ->n18 ->n19 ->n20 ->n21 ><9,n0 ->n1 ->n9 ->n17 ->n18 ->n19 ->n20 ->n21 ><9,n0 ->n8 ->n16 ->n17 ->n18 ->n19 ->n20 ->n21 ><10,n0 ->n1 ->n2 ->n3 ->n4 ->n12 ->n13 ->n21 ><10,n0 ->n1 ->n2 ->n3 ->n11 ->n12 ->n13 ->n21
><10,n0 ->n1 ->n2 ->n10 ->n18 ->n19 ->n20 ->n21 ><10,n0 ->n1 ->n9
->n10 ->n11 ->n12 ->n20 ->n21 ><10,n0 >n1 >n9 >n10 >n11 >n19
->n20 ->n21><10,n0 ->n8 ->n9 ->n10 ->n18 ->n19 ->n20 ->n21><10,n0
->n8 ->n9 ->n17 ->n18 ->n19 ->n20 ->n21 ><11,n0 >n1 >n2 >n10
->n11 ->n12 ->n20 ->n21 ><11,n0 ->n1 ->n2 ->n10 ->n11 ->n19 ->n20
->n9 ->n10 ->n11 ->n12 ->n20 ->n21 ><11,n0 ->n8 ->n9 ->n10 ->n11 ->n19 ->n20 ->n21 ><12,n0 ->n1 ->n2 ->n10 ->n11 ->n12 ->n13 ->n21
><12,n0 ->n8 ->n9 ->n10 ->n11 ->n12 ->n13 ->n21 >)
( node[n22]: done,0,empty,<n23,2 ><n30,2>,<10,n0 >n1 >n2 >n3
->n4 ->n5 ->n13 ->n21 ->n22><10,n0 ->n1 ->n2 ->n3 ->n4 ->n12 ->n20
->n21 ->n22 ><10,n0 ->n1 ->n2 ->n3 ->n11 ->n12 ->n20 ->n21 ->n22
><10,n0 ->n1 ->n2 ->n3 ->n11 ->n19 ->n20 ->n21 ->n22 ><10, n0 ->n1
->n9 ->n10 ->n18 ->n19 ->n20 ->n21 ->n22 ><10,n0 ->n1 ->n9 ->n17 ->n18 ->n19 ->n20 ->n21 ->n22 ><10,n0 ->n8 ->n16 ->n17 ->n18 ->n19 ->n20 ->n21 ->n22><11,n0 ->n1 ->n2 ->n3 ->n4 ->n5 ->n6 ->n14 ->n22
><11,n0 ->n1 ->n2 ->n3 ->n4 ->n5 ->n13 ->n14 ->n22 ><11,n0 >n1
->n2 ->n3 ->n4 ->n12 ->n13 -->n21 -->n22 ><11,n0 ->n1 ->n2 ->n3 ->n11
->n12 ->n13 ->n21 ->n22 ><11,n0 ->n1 ->n2 ->n10 ->n18 ->n19 ->n20 ->n21 ->n22 ><11,n0 ->n1 ->n9 ->n10 ->n11 ->n12 ->n20 ->n21 ->n22
><11,n0 ->n1 ->n9 ->n10 ->n11 ->n19 ->n20 ->n21 ->n22 ><11,n0 ->n8
->n9 ->n10 ->n18 ->n19 ->n20 ->n21 ->n22 ><11,n0 ->n8 ->n9 ->n17 ->n18 ->n19 ->n20 ->n21 ->n22 ><12,n0 ->n1 ->n2 ->n3 ->n4 ->n12 ->n13 ->n14 ->n22 ><12,n0 >n1 >n2 >n3 >n11 >n12 >n13 >n14
->n22><12,n0 ->n1 ->n2 ->n10 ->n11 ->n12 ->n20 ->n21 ->n22><12,n0
->n1 ->n2 ->n10 ->n11 ->n19 ->n20 ->n21 ->n22 ><12,n0 >n1 >n9
->n10 ->n11 ->n12 ->n13 ->n21 ->n22 ><12,n0 ->n8 ->n9 ->n10 ->n11
->n12 ->n20 ->n21 ->n22 ><12,n0 ->n8 ->n9 ->n10 ->n11 ->n19 ->n20 ->n21 ->n22 ><13,n0 ->n1 ->n2 ->n10 ->n11 ->n12 ->n13 ->n21 ->n22
><13,n0 ->n1 ->n9 ->n10 ->n11 ->n12 ->n13 ->n14 ->n22 ><13,n0 ->n8
->n9 ->n10 ->n11 ->n12 ->n13 ->n21 ->n22 ><14,n0 ->n1 ->n2 ->n10 ->n11 ->n12 ->n13 ->n14 ->n22 ><14,n0 ->n8 ->n9 ->n10 ->n11 ->n12 ->n13 ->n14 ->n22 >)
(node[n23]: done,0,empty,<n31,2 >,<11,n0 ->n1 ->n2 ->n3 ->n4 ->n5 ->n6 ->n14 ->n15 ->n23><11,n0 ->n1 ->n2 ->n3 ->n4 ->n5 ->n13 ->n14 ->n15 ->n23><12,n0 ->n1 ->n2 ->n3 ->n4 ->n5 ->n13 ->n21 ->n22 ->n23
><12,n0 ->n1 ->n2 ->n3 ->n4 ->n12 ->n13 ->n14 ->n15 ->n23 ><12,n0
->n1 ->n2 ->n3 ->n4 ->n12 ->n20 ->n21 ->n22 ->n23><12,n0 ->n1 ->n2 ->n3 ->n11 ->n12 ->n13 ->n14 ->n15 ->n23 ><12,n0 >n1 >n2 >n3
->n11 ->n12 ->n20 ->n21 ->n22 ->n23 ><12,n0 ->n1 ->n2 ->n3 ->n11
->n19 ->n20 ->n21 ->n22 ->n23 ><12,n0 ->n1 ->n9 ->n10 ->n18 ->n19 ->n20 ->n21 ->n22 ->n23 ><12,n0 ->n1 ->n9 ->n17 ->n18 ->n19 ->n20 ->n21 ->n22 ->n23 ><12,n0 ->n8 ->n16 ->n17 ->n18 ->n19 ->n20 ->n21 ->n22 ->n23 ><13,n0 ->n1 ->n2 ->n3 ->n4 ->n5 ->n6 ->n7 ->n15 ->n23
><13,n0 ->n1 ->n2 ->n3 ->n4 ->n5 ->n6 ->n14 ->n22 ->n23 ><13,n0
->n1 ->n2 ->n3 ->n4 ->n5 ->n13 ->n14 ->n22 ->n23 ><13,n0 ->n1 ->n2
>n11 ->n12 ->n13 ->n21 ->n22 ->n23 ><13,n0 ->n1 ->n2 ->n10 ->n18 ->n19 ->n20 ->n21 ->n22 ->n23 ><13,n0 ->n1 ->n9 ->n10 ->n11 ->n12 ->n13 ->n14 ->n15 ->n23 ><13,n0 ->n1 ->n9 ->n10 ->n11 ->n12 ->n20 ->n21 ->n22 ->n23 ><13,n0 ->n1 ->n9 ->n10 ->n11 ->n19 ->n20 ->n21 ->n22 ->n23 ><13,n0 ->n8 ->n9 ->n10 ->n18 ->n19 ->n20 ->n21 ->n22 ->n23 ><13,n0 ->n8 ->n9 ->n17 ->n18 ->n19 ->n20 ->n21 ->n22 ->n23
><14,n0 ->n1 ->n2 ->n3 ->n4 ->n12 ->n13 ->n14 ->n22 ->n23 ><14,n0
->n1 ->n2 ->n3 ->n11 ->n12 ->n13 ->n14 ->n22 ->n23 ><14,n0 ->n1 ->n2 ->n10 ->n11 ->n12 ->n13 ->n14 ->n15 ->n23 ><14,n0 ->n1 ->n2 ->n10 ->n11 ->n12 ->n20 ->n21 ->n22 ->n23 ><14,n0 ->n1 ->n2 ->n10 ->n11 ->n19 ->n20 ->n21 ->n22 ->n23 ><14,n0 ->n1 ->n9 ->n10 ->n11 ->n12 ->n13 ->n21 ->n22 ->n23 ><14,n0 ->n8 ->n9 ->n10 ->n11 ->n12 ->n13 ->n14 ->n15 ->n23 ><14,n0 ->n8 ->n9 ->n10 ->n11 ->n12 ->n20 ->n21 ->n22 ->n23 ><14,n0 ->n8 ->n9 ->n10 ->n11 ->n19 ->n20 ->n21 ->n22 ->n23 ><15,n0 ->n1 ->n2 ->n10 ->n11 ->n12 ->n13 ->n21 ->n22 ->n23 ><15, n0 ->n1 ->n9 ->n10 ->n11 ->n12 ->n13 ->n14 ->n22 ->n23
><15,n0 ->n8 ->n9 ->n10 ->n11 ->n12 ->n13 ->n21 ->n22 ->n23><16,n0
->n1 ->n2 ->n10 ->n11 ->n12 ->n13 ->n14 ->n22 ->n23 ><16,n0 ->n8 ->n9 ->n10 ->n11 ->n12 ->n13 ->n14 ->n22 ->n23 >)
(node[n24]: done, 0,empty,<n25,2 >,<4,n0 ->n8 ->n16 ->n24 >)
(node[n25]: done,0,empty,<n26,2>,<5,n0 ->n1 ->n9 ->n17 ->n25><5,n0 ->n8 ->n16 ->n17 ->n25 ><6,n0 ->n8 ->n9 ->n17 ->n25 ><6,n0 >n8
->n16 ->n24 ->n25 >)
(node[n26]: done,0,empty,<n27,1 >,<6,n0 >n1 >n9 >n10 >n18
->n26 ><6,n0 ->n1 ->n9 ->n17 ->n18 ->n26 ><6,n0 ->n8 ->n16 ->n17
->n18 ->n26 ><7,n0 ->n1 ->n2 ->n10 ->n18 ->n26 ><7,n0 ->n1 ->n9 ->n17 ->n25 ->n26 ><7,n0 ->n8 ->n9 ->n10 ->n18 ->n26 ><7,n0 ->n8 ->n9 ->n17 ->n18 ->n26 ><7,n0 ->n8 ->n16 ->n17 ->n25 ->n26 ><8,n0 ->n8 ->n9 ->n17 ->n25 ->n26 ><8,n0 ->n8 ->n16 ->n24 ->n25 ->n26 >) (node[n27]: done,0,empty,<n28,2 >,<7,n0 >n1 >n9 >n10 >n18
->n26 ->n27 ><7,n0 ->n1 ->n9 ->n17 ->n18 ->n26 ->n27 ><7,n0 ->n8
->n16 ->n17 ->n18 ->n26 ->n27 ><8,n0 ->n1 ->n2 ->n10 ->n18 ->n26 ->n27 ><8,n0 ->n1 ->n9 ->n17 ->n25 ->n26 ->n27 ><8,n0 ->n8 ->n9 ->n10 ->n18 ->n26 ->n27 ><8,n0 ->n8 ->n9 ->n17 ->n18 ->n26 ->n27
><8,n0 ->n8 ->n16 ->n17 ->n25 ->n26 ->n27 ><9, n0 ->n1 ->n2 ->n3
->n11 ->n19 ->n27 ><9,n0 ->n1 ->n9 ->n10 ->n18 ->n19 ->n27 ><9,n0 ->n1 ->n9 ->n17 ->n18 ->n19 ->n27 ><9,n0 >n8 >n9 >n17 >n25
->n26 ->n27 ><9,n0 ->n8 ->n16 ->n17 ->n18 ->n19 ->n27 ><9,n0 ->n8
->n16 ->n24 ->n25 ->n26 ->n27 ><10,n0 ->n1 ->n2 ->n10 ->n18 ->n19 ->n27 ><10,n0 ->n1 ->n9 ->n10 ->n11 ->n19 ->n27 ><10,n0 ->n8 ->n9
><11,n0 ->n1 ->n2 ->n10 ->n11 ->n19 ->n27 ><11,n0 ->n8 ->n9 ->n10 ->n11 ->n19 ->n27 >)
(node[ n28]: done,0,empty,<n29,2 >,<9,n0 >n1 >n9 >n10 >n18
->n26 ->n27 ->n28 ><9,n0 ->n1 ->n9 ->n17 ->n18 ->n26 ->n27 ->n28
><9,n0 ->n8 ->n16 ->n17 ->n18 ->n26 ->n27 ->n28 ><10,n0 ->n1 ->n2
->n3 ->n4 ->n12 ->n20 ->n28 ><10,n0 >n1 >n2 >n3 >n11 >n12
->n20 ->n28 ><10,n0 ->n1 ->n2 ->n3 ->n11 ->n19 ->n20 ->n28 ><10,n0
->n1 ->n2 ->n10 ->n18 ->n26 ->n27 ->n28 ><10,n0 >n1 >n9 >n10
->n18 ->n19 ->n20 ->n28 ><10,n0 ->n1 ->n9 ->n17 ->n18 ->n19 ->n20
->n28><10,n0 ->n1 ->n9 ->n17 ->n25 ->n26 ->n27 ->n28 ><10,n0 ->n8 ->n9 ->n10 ->n18 ->n26 ->n27 ->n28 ><10,n0 ->n8 ->n9 ->n17 ->n18 ->n26 ->n27 ->n28 ><10,n0 ->n8 ->n16 ->n17 ->n18 ->n19 ->n20 ->n28
><10,n0 ->n8 ->n16 ->n17 ->n25 ->n26 ->n27 ->n28 ><11,n0 ->n1 ->n2
->n3 ->n11 ->n19 ->n27 ->n28 ><11,n0 >n1 >n2 >n10 >n18 >n19
->n20 ->n28><11,n0 ->n1 ->n9 ->n10 ->n11 ->n12 ->n20 ->n28><11,n0
->n1 ->n9 ->n10 ->n11 ->n19 ->n20 ->n28 ><11,n0 >n1 >n9 >n10
->n18 ->n19 ->n27 ->n28 ><11,n0 ->n1 ->n9 ->n17 ->n18 ->n19 ->n27
->n28><11,n0 ->n8 ->n9 ->n10 ->n18 ->n19 ->n20 ->n28 ><11,n0 ->n8 ->n9 ->n17 ->n18 ->n19 ->n20 ->n28 ><11,n0 ->n8 ->n9 ->n17 ->n25 ->n26 ->n27 ->n28 ><11,n0 ->n8 ->n16 ->n17 ->n18 ->n19 ->n27 ->n28
><11,n0 ->n8 ->n16 ->n24 ->n25 ->n26 ->n27 ->n28 ><12,n0 ->n1 ->n2
->n10 ->n11 ->n12 ->n20 ->n28 ><12,n0 >n1 >n2 >n10 >n11 >n19
->n20 ->n28><12, n0 ->n1 ->n2 ->n10 ->n18 ->n19 ->n27 ->n28><12,n0
->n1 ->n9 ->n10 ->n11 ->n19 ->n27 ->n28 ><12,n0 >n8 >n9 >n10
->n11 ->n12 ->n20 ->n28 ><12,n0 ->n8 ->n9 ->n10 ->n11 ->n19 ->n20
->n28><12,n0 ->n8 ->n9 ->n10 ->n18 ->n19 ->n27 ->n28 ><12,n0 ->n8 ->n9 ->n17 ->n18 ->n19 ->n27 ->n28 ><13,n0 ->n1 ->n2 ->n10 ->n11 ->n19 ->n27 ->n28 ><13,n0 ->n8 ->n9 ->n10 ->n11 ->n19 ->n27 ->n28
>)
(node[n29]: done,0,empty,<n30,1 >,<11,n0 ->n1 ->n2 ->n3 ->n4 ->n5 ->n13 ->n21 ->n29 ><11,n0 >n1 >n2 >n3 >n4 >n12 >n20 >n21
->n29 ><11,n0 ->n1 ->n2 ->n3 ->n11 ->n12 ->n20 ->n21 ->n29 ><11,n0
->n1 ->n2 ->n3 ->n11 ->n19 ->n20 ->n21 ->n29 ><11,n0 >n1 >n9
->n10 ->n18 ->n19 ->n20 ->n21 ->n29 ><11,n0 ->n1 ->n9 ->n10 ->n18
->n26 ->n27 ->n28 ->n29 ><11,n0 ->n1 ->n9 ->n17 ->n18 ->n19 ->n20 ->n21 ->n29 ><11,n0 ->n1 ->n9 ->n17 ->n18 ->n26 ->n27 ->n28 ->n29
><11,n0 ->n8 ->n16 ->n17 ->n18 ->n19 ->n20 ->n21 ->n29><11,n0 ->n8
->n16 ->n17 ->n18 ->n26 ->n27 ->n28 ->n29 ><12,n0 >n1 >n2 >n3
->n4 ->n12 ->n13 ->n21 ->n29><12,n0 ->n1 ->n2 ->n3 ->n4 ->n12 ->n20
->n28 ->n29 ><12,n0 ->n1 ->n2 ->n3 ->n11 ->n12 ->n13 ->n21 ->n29
->n2 ->n3 ->n11 ->n19 ->n20 ->n28 ->n29 ><12,n0 >n1 >n2 >n10
->n18 ->n19 ->n20 ->n21 ->n29 ><12,n0 ->n1 ->n2 ->n10 ->n18 ->n26
->n27 ->n28 ->n29><12, n0 >n1 >n9 >n10 >n11 >n12 >n20 >n21
->n29><12,n0 ->n1 ->n9 ->n10 ->n11 ->n19 ->n20 ->n21 ->n29><12,n0
->n1 ->n9 ->n10 ->n18 ->n19 ->n20 ->n28 ->n29 ><12,n0 >n1 >n9
->n17 ->n18 ->n19 ->n20 ->n28 ->n29 ><12,n0 ->n1 ->n9 ->n17 ->n25
->n26 ->n27 ->n28 ->n29 ><12,n0 ->n8 ->n9 ->n10 ->n18 ->n19 ->n20 ->n21 ->n29 ><12,n0 ->n8 ->n9 ->n10 ->n18 ->n26 ->n27 ->n28 ->n29
><12, n0 ->n8 ->n9 ->n17 ->n18 ->n19 ->n20 ->n21 ->n29><12,n0 ->n8
->n9 ->n17 ->n18 ->n26 ->n27 ->n28 ->n29 ><12,n0 ->n8 ->n16 ->n17 ->n18 ->n19 ->n20 ->n28 ->n29 ><12,n0 ->n8 ->n16 ->n17 ->n25 ->n26 ->n27 ->n28 ->n29 ><13,n0 >n1 >n2 >n3 >n11 >n19 >n27 >n28
->n29><13,n0 ->n1 ->n2 ->n10 ->n11 ->n12 ->n20 ->n21 ->n29><13,n0
->n1 ->n2 ->n10 ->n11 ->n19 ->n20 ->n21 ->n29 ><13, n0 >n1 >n2
->n10 ->n18 ->n19 ->n20 ->n28 ->n29 ><13,n0 ->n1 ->n9 ->n10 ->n11
->n12 ->n13 ->n21 ->n29 ><13,n0 ->n1 ->n9 ->n10 ->n11 ->n12 ->n20 ->n28 ->n29 ><13,n0 ->n1 ->n9 ->n10 ->n11 ->n19 ->n20 ->n28 ->n29
><13,n0 ->n1 ->n9 ->n10 ->n18 ->n19 ->n27 ->n28 ->n29 ><13,n0 ->n1
->n9 ->n17 ->n18 ->n19 ->n27 ->n28 ->n29 ><13,n0 ->n8 ->n9 ->n10 ->n11 ->n12 ->n20 ->n21 ->n29 ><13, n0 ->n8 ->n9 ->n10 ->n11 ->n19 ->n20 ->n21 ->n29 ><13,n0 >n8 >n9 >n10 >n18 >n19 >n20 >n28
->n29><13,n0 ->n8 ->n9 ->n17 ->n18 ->n19 ->n20 ->n28 ->n29><13,n0
->n8 ->n9 ->n17 ->n25 ->n26 ->n27 ->n28 ->n29 ><13,n0 ->n8 ->n16 ->n17 ->n18 ->n19 ->n27 ->n28 ->n29 ><13,n0 ->n8 ->n16 ->n24 ->n25 ->n26 ->n27 ->n28 ->n29 ><14,n0 ->n1 ->n2 ->n10 ->n11 ->n12 ->n13 ->n21 ->n29 ><14, n0 ->n1 ->n2 ->n10 ->n11 ->n12 ->n20 ->n28 ->n29
><14,n0 ->n1 ->n2 ->n10 ->n11 ->n19 ->n20 ->n28 ->n29 ><14,n0 ->n1
->n2 ->n10 ->n18 ->n19 ->n27 ->n28 ->n29 ><14,n0 ->n1 ->n9 ->n10 ->n11 ->n19 ->n27 ->n28 ->n29 ><14,n0 ->n8 ->n9 ->n10 ->n11 ->n12 ->n13 ->n21 ->n29 ><14,n0 ->n8 ->n9 ->n10 ->n11 ->n12 ->n20 ->n28 ->n29 ><14,n0 ->n8 ->n9 ->n10 ->n11 ->n19 ->n20 ->n28 ->n29 ><14, n0 ->n8 ->n9 ->n10 ->n18 ->n19 ->n27 ->n28 ->n29 ><14,n0 ->n8 ->n9 ->n17 ->n18 ->n19 ->n27 ->n28 ->n29 ><15,n0 ->n1 ->n2 ->n10 ->n11 ->n19 ->n27 ->n28 ->n29 ><15,n0 ->n8 ->n9 ->n10 ->n11 ->n19 ->n27 ->n28 ->n29 >)
node[n30]: done,0,empty,<n31,2 >,<12,n0 >n1 >n2 >n3 >n4 >n5
->n13 ->n21 ->n22 ->n30><12,n0 ->n1 ->n2 ->n3 ->n4 ->n5 ->n13 ->n21
->n29 ->n30 ><12,n0 >n1 >n2 >n3 >n4 >n12 >n20 >n21 >n22
->n30 ><12,n0 ->n1 ->n2 ->n3 ->n4 ->n12 ->n20 ->n21 ->n29 ->n30
><12,n0 ->n1 ->n2 ->n3 ->n11 ->n12 ->n20 ->n21 ->n22 ->n30 ><12,n0
->n2 ->n3 ->n11 ->n19 ->n20 ->n21 ->n22 ->n30 ><12,n0 ->n1 ->n2 ->n3 ->n11 ->n19 ->n20 ->n21 ->n29 ->n30 ><12,n0 ->n1 ->n9 ->n10 ->n18 ->n19 ->n20 ->n21 ->n22 ->n30 ><12,n0 ->n1 ->n9 ->n10 ->n18 ->n19 ->n20 ->n21 ->n29 ->n30 ><12,n0 ->n1 ->n9 ->n10 ->n18 ->n26 ->n27 ->n28 ->n29 ->n30 ><12,n0 ->n1 ->n9 ->n17 ->n18 ->n19 ->n20 ->n21 ->n22 ->n30 ><12,n0 ->n1 ->n9 ->n17 ->n18 ->n19 ->n20 ->n21 ->n29 ->n30 ><12,n0 ->n1 ->n9 ->n17 ->n18 ->n26 ->n27 ->n28 ->n29 ->n30 ><12,n0 ->n8 ->n16 ->n17 ->n18 ->n19 ->n20 ->n21 ->n22 ->n30
><12,n0 ->n8 ->n16 ->n17 ->n18 ->n19 ->n20 ->n21 ->n29 ->n30><12,
n0 ->n8 ->n16 ->n17 ->n18 ->n26 ->n27 ->n28 ->n29 ->n30><13,n0 ->n1 ->n2 ->n3 ->n4 ->n5 ->n6 ->n14 ->n22 ->n30 ><13,n0 >n1 >n2 >n3
->n4 ->n5 ->n13 ->n14 ->n22 ->n30><13,n0 ->n1 ->n2 ->n3 ->n4 ->n12
->n13 ->n21 ->n22 ->n30 ><13,n0 ->n1 ->n2 ->n3 ->n4 ->n12 ->n13 ->n21 ->n29 ->n30 ><13,n0 ->n1 ->n2 ->n3 ->n4 ->n12 ->n20 ->n28 ->n29 ->n30 ><13,n0 ->n1 ->n2 ->n3 ->n11 ->n12 ->n13 ->n21 ->n22 ->n30 ><13,n0 ->n1 ->n2 ->n3 ->n11 ->n12 ->n13 ->n21 ->n29 ->n30
><13,n0 ->n1 ->n2 ->n3 ->n11 ->n12 ->n20 ->n28 ->n29 ->n30 ><13,n0
->n1 ->n2 ->n3 ->n11 ->n19 ->n20 ->n28 ->n29 ->n30 ><13,n0 ->n1 ->n2 ->n10 ->n18 ->n19 ->n20 ->n21 ->n22 ->n30 ><13,n0 ->n1 ->n2 ->n10 ->n18 ->n19 ->n20 ->n21 ->n29 ->n30 ><13,n0 ->n1 ->n2 ->n10 ->n18 ->n26 ->n27 ->n28 ->n29 ->n30 ><13,n0 ->n1 ->n9 ->n10 ->n11 ->n12 ->n20 ->n21 ->n22 ->n30 ><13,n0 ->n1 ->n9 ->n10 ->n11 ->n12 ->n20 ->n21 ->n29 ->n30 ><13,n0 ->n1 ->n9 ->n10 ->n11 ->n19 ->n20 ->n21 ->n22 ->n30 ><13,n0 ->n1 ->n9 ->n10 ->n11 ->n19 ->n20 ->n21 ->n29 ->n30 ><13, n0 ->n1 ->n9 ->n10 ->n18 ->n19 ->n20 ->n28 ->n29 ->n30 ><13,n0 ->n1 ->n9 ->n17 ->n18 ->n19 ->n20 ->n28 ->n29 ->n30
><13,n0 ->n1 ->n9 ->n17 ->n25 ->n26 ->n27 ->n28 ->n29 ->n30><13,n0
->n8 ->n9 ->n10 ->n18 ->n19 ->n20 ->n21 ->n22 ->n30 ><13,n0 ->n8 ->n9 ->n10 ->n18 ->n19 ->n20 ->n21 ->n29 ->n30 ><13,n0 ->n8 ->n9 ->n10 ->n18 ->n26 ->n27 ->n28 ->n29 ->n30 ><13,n0 ->n8 ->n9 ->n17 ->n18 ->n19 ->n20 ->n21 ->n22 ->n30 ><13,n0 ->n8 ->n9 ->n17 ->n18 ->n19 ->n20 ->n21 ->n29 ->n30 ><13,n0 ->n8 ->n9 ->n17 ->n18 ->n26 ->n27 ->n28 ->n29 ->n30 ><13,n0 ->n8 ->n16 ->n17 ->n18 ->n19 ->n20 ->n28 ->n29 ->n30 ><13,n0 ->n8 ->n16 ->n17 ->n25 ->n26 ->n27 ->n28 ->n29 ->n30 ><14,n0 ->n1 ->n2 ->n3 ->n4 ->n12 ->n13 ->n14 ->n22 ->n30 ><14,n0 ->n1 ->n2 ->n3 ->n11 ->n12 ->n13 ->n14 ->n22 ->n30
><14,n0 ->n1 ->n2 ->n3 ->n11 ->n19 ->n27 ->n28 ->n29 ->n30 ><14,n0
->n1 ->n2 ->n10 ->n11 ->n12 ->n20 ->n21 ->n22 ->n30 ><14,n0 ->n1 ->n2 ->n10 ->n11 ->n12 ->n20 ->n21 ->n29 ->n30 ><14,n0 ->n1 ->n2 ->n10 ->n11 ->n19 ->n20 ->n21 ->n22 ->n30 ><14,n0 ->n1 ->n2 ->n10
->n19 ->n20 ->n28 ->n29 ->n30 ><14,n0 ->n1 ->n9 ->n10 ->n11 ->n12 ->n13 ->n21 ->n22 ->n30 ><14,n0 ->n1 ->n9 ->n10 ->n11 ->n12 ->n13 ->n21 ->n29 ->n30 ><14, n0 ->n1 ->n9 ->n10 ->n11 ->n12 ->n20 ->n28 ->n29 ->n30 ><14,n0 ->n1 ->n9 ->n10 ->n11 ->n19 ->n20 ->n28 ->n29 ->n30 ><14,n0 ->n1 ->n9 ->n10 ->n18 ->n19 ->n27 ->n28 ->n29 ->n30
><14,n0 ->n1 ->n9 ->n17 ->n18 ->n19 ->n27 ->n28 ->n29 ->n30><14,n0
->n8 ->n9 ->n10 ->n11 ->n12 ->n20 ->n21 ->n22 ->n30 ><14,n0 ->n8 ->n9 ->n10 ->n11 ->n12 ->n20 ->n21 ->n29 ->n30 ><14,n0 ->n8 ->n9 ->n10 ->n11 ->n19 ->n20 ->n21 ->n22 ->n30 ><14,n0 ->n8 ->n9 ->n10 ->n11 ->n19 ->n20 ->n21 ->n29 ->n30 ><14,n0 ->n8 ->n9 ->n10 ->n18 ->n19 ->n20 ->n28 ->n29 ->n30 ><14,n0 ->n8 ->n9 ->n17 ->n18 ->n19 ->n20 ->n28 ->n29 ->n30 ><14,n0 ->n8 ->n9 ->n17 ->n25 ->n26 ->n27 ->n28 ->n29 ->n30 ><14,n0 ->n8 ->n16 ->n17 ->n18 ->n19 ->n27 ->n28 ->n29 ->n30 ><14,n0 ->n8 ->n16 ->n24 ->n25 ->n26 ->n27 ->n28 ->n29 ->n30 ><15,n0 ->n1 ->n2 ->n10 ->n11 ->n12 ->n13 ->n21 ->n22 ->n30
><15,n0 ->n1 ->n2 ->n10 ->n11 ->n12 ->n13 ->n21 ->n29 ->n30><15,n0
->n1 ->n2 ->n10 ->n11 ->n12 ->n20 ->n28 ->n29 ->n30 ><15,n0 ->n1 ->n2 ->n10 ->n11 ->n19 ->n20 ->n28 ->n29 ->n30 ><15,n0 ->n1 ->n2 ->n10 ->n18 ->n19 ->n27 ->n28 ->n29 ->n30 ><15,n0 ->n1 ->n9 ->n10 ->n11 ->n12 ->n13 ->n14 ->n22 ->n30 ><15,n0 ->n1 ->n9 ->n10 ->n11 ->n19 ->n27 ->n28 ->n29 ->n30 ><15,n0 ->n8 ->n9 ->n10 ->n11 ->n12 ->n13 ->n21 ->n22 ->n30 ><15,n0 ->n8 ->n9 ->n10 ->n11 ->n12 ->n13 ->n21 ->n29 ->n30 ><15, n0 ->n8 ->n9 ->n10 ->n11 ->n12 ->n20 ->n28 ->n29 ->n30 ><15,n0 ->n8 ->n9 ->n10 ->n11 ->n19 ->n20 ->n28 ->n29 ->n30 ><15,n0 ->n8 ->n9 ->n10 ->n18 ->n19 ->n27 ->n28 ->n29 ->n30
><15,n0 ->n8 ->n9 ->n17 ->n18 ->n19 ->n27 ->n28 ->n29 ->n30><16,n0
->n1 ->n2 ->n10 ->n11 ->n12 ->n13 ->n14 ->n22 ->n30 ><16,n0 ->n1 ->n2 ->n10 ->n11 ->n19 ->n27 ->n28 ->n29 ->n30 ><16,n0 ->n8 ->n9 ->n10 ->n11 ->n12 ->n13 ->n14 ->n22 ->n30 ><16,n0 ->n8 ->n9 ->n10 ->n11 ->n19 ->n27 ->n28 ->n29 ->n30>NNPs2 –>(empty).Soup{NNPair}
NLs –>
<13,n0 ->n1 ->n2 ->n3 ->n4 ->n5 ->n6 ->n14 ->n15 ->n23 ->n31
><13,n0 ->n1 ->n2 ->n3 ->n4 ->n5 ->n13 ->n14 ->n15 ->n23 ->n31
><14,n0 ->n1 ->n2 ->n3 ->n4 ->n5 ->n13 ->n21 ->n22 ->n23 ->n31
><14,n0 ->n1 ->n2 ->n3 ->n4 ->n5 ->n13 ->n21 ->n22 ->n30 ->n31
><14,n0 ->n1 ->n2 ->n3 ->n4 ->n5 ->n13 ->n21 ->n29 ->n30 ->n31
><14,n0 ->n1 ->n2 ->n3 ->n4 ->n12 ->n13 ->n14 ->n15 ->n23 ->n31
><14,n0 ->n1 ->n2 ->n3 ->n4 ->n12 ->n20 ->n21 ->n22 ->n23 ->n31
><14,n0 ->n1 ->n2 ->n3 ->n4 ->n12 ->n20 ->n21 ->n22 ->n30 ->n31
><14,n0 ->n1 ->n2 ->n3 ->n4 ->n12 ->n20 ->n21 ->n29 ->n30 ->n31