// this is an artificial transition sequence
// 

1* !2 3* 4 || 22(1 !2 3)
by UnitPropagation
1* !2 3* 4 5 || 22( 1 2 3)
by Learn
1* !2 3* 4 5 6* || 22( 1 2 3) 169(3 4 5)
by Learn
1* !2 3* 4 5 6* || 22( 1 2 3) 169(3 !4 5) 154(4 5 6)
by UnitPropagation
1* !2 3* 4 5 6* 7 || 22( 1 2 3) 169(3 4 5) 154(4 5 6)