(* K = 3 *)

(* 
v:%edx �¸ precolored �¾ (u:t1000,v:t1001) �¸ adjSet
�¨ (%eax,%edx),(t1000,t1001):Constrained 
*)
val ct1 = {numOfNodes=2,
           interferencePairList=[(0,1),(0,2),(0,3),
                                 (1,2),(1,3)],
           movesPairList=[(0,1),(2,3)]}

(* 
u:%eax �¸ precolored �È (�Ít �¸ Adjacent(v:t1000), OK(t,u:%eax)) [1] 
OK -> %edx �¸ precolored
�¨ (%eax,t1000):Coalesced
*)
val ct2 = {numOfNodes = 2,
           interferencePairList=[(0,3),
                                 (1,2)],
           movesPairList=[(0,2),(1,3)]}
           
(* 
u:%eax �¸ precolored �È (�Ít �¸ Adjacent(v:t1004), OK(t,u:%eax)) [2]
!OK -> degree[t1003] �† K 
�¨ (%eax,t1004):Active
*)
(* XXX %eax became SIMPLIFYWORK in freeze *)
val ct3 = {numOfNodes = 5,
           interferencePairList=[(0,1),(0,2),(0,3),
                                 (1,2),(1,3),
                                 (2,3),
                                 (3,4)],
           movesPairList=[(4,5)]}

(* 
u:%eax �¸ precolored �È (�Ít �¸ Adjacent(v:t1003), OK(t,u:%eax)) [3]
OK -> degree �† K but t:%edx �¸ precolored 
�¨ (%eax,t1003):Coalesced
*)
val ct4 = {numOfNodes = 4,
           interferencePairList=[(0,1),(0,2),(0,5),
                                 (1,2),(1,5),
                                 (2,5),
                                 (3,5)],
           movesPairList=[(3,4)]}

(* 
u:%eax �¸ precolored �È (�Ít �¸ Adjacent(v:t1003), OK(t,u:%eax)) [4]
OK -> degree < K 
�¨ (%eax,t1004):Coalesced
*)
val ct5 = {numOfNodes = 5,
           interferencePairList=[(0,2),
                                 (1,2),
                                 (2,3),
                                 (3,4)],
           movesPairList=[(0,1),(0,3),(1,3),(4,5)]}

(* 
u:%eax �¸ precolored �È (�Ít �¸ Adjacent(v:t1004), OK(t,u:%eax)) [5]
OK -> degree �† K but (t:t1003,r:%eax) �¸ adjSet
�¨ (%eax,t1004):Coalesced
*)

val ct6 = {numOfNodes = 5,
           interferencePairList=[(0,1),(0,2),(0,3),
                                 (1,2),(1,3),
                                 (2,3),
                                 (3,4),
                                 (3,5)],
           movesPairList=[(4,5)]}

(* 
u:t1003 !�¸ precolored �È Conservative(Adjacent(u:t1003)�¾Adjacent(v:t1004)) 
!Conservertive -> k:6 �† K:3
�¨ (t1003,t1004):Active
*)
val ct7 = {numOfNodes = 8,
           interferencePairList=[(0,1),(0,2),(0,3),
                                 (1,2),(1,3),
                                 (2,3),
                                 (4,5),(4,6),(4,7),
                                 (5,6),(5,7),
                                 (6,7)],
           movesPairList=[(3,4)]}

(* 
u:t1003 !�¸ precolored �È Conservative(Adjacent(u:t1003)�¾Adjacent(v:t1004)) 
!Conservertive -> k:3 �† K:3
�¨ (t1003,t1004):Active
*)
val ct8 = {numOfNodes = 5,
           interferencePairList=[(0,1),(0,2),(0,3),
                                 (1,2),(1,3),
                                 (2,3)],
           movesPairList=[(3,4)]}

(* 
u:t1004 !�¸ precolored �È Conservative(Adjacent(u:t1004)�¾Adjacent(v:t1005)) 
Conservertive -> k:2 �ƒ K:3
�¨ (t1004,t1005):Coalesced
*)
val ct9 = {numOfNodes = 6,
           interferencePairList=[(0,1),(0,2),(0,3),
                                 (1,2),(1,3),
                                 (2,4),(3,4)],
           movesPairList=[(4,5)]}

(*
AddWorkList(t1002)
u:t1002 !�¸ precolored �È not(MoveRelated(u:t1002)) �È degree[u:t1002]:2 �ƒ K:3
(Constrained move does not count as MoveRelated)
(t1002 has changed from Spillwork to Freezework through DecrementDegree)
�¨ (t1000,t1002):Constrained (t1002):Simplifywork
*)
val ct10 = {numOfNodes = 4,
            interferencePairList=[(0,1),(0,2),
                                  (1,2),(1,3),
                                  (2,3)],
            movesPairList=[(0,2),(0,3)]}
(* Just to be sure, changed order of movesPairList *)
val ct10' = {numOfNodes = 4,
            interferencePairList=[(0,1),(0,2),
                                  (1,2),(1,3),
                                  (2,3)],
            movesPairList=[(0,3),(0,2)]}

val spt1 = {numOfNodes = 4,
            interferencePairList=[(0,1),(0,2),
                                  (1,2),(1,3),
                                  (2,3)],
            movesPairList=[]}