1		package(load_event_b_project([],[event_b_context(none,'Instance_small_60_400_9',[extends(none,['GraphColouringGeneric']),constants(none,[]),axioms(none,[equal(rodinpos(axm1,'_upFKMIssEd-vSf_6ksnSVw'),identifier(none,'Vtx'),interval(none,integer(none,1),integer(none,60))),equal(rodinpos(axm2,'_upFKMYssEd-vSf_6ksnSVw'),identifier(none,'Edge'),set_extension(none,[couple(none,[integer(none,5),integer(none,45)]),couple(none,[integer(none,3),integer(none,57)]),couple(none,[integer(none,44),integer(none,57)]),couple(none,[integer(none,13),integer(none,2)]),couple(none,[integer(none,44),integer(none,49)]),couple(none,[integer(none,30),integer(none,44)]),couple(none,[integer(none,24),integer(none,28)]),couple(none,[integer(none,3),integer(none,56)]),couple(none,[integer(none,31),integer(none,25)]),couple(none,[integer(none,49),integer(none,19)]),couple(none,[integer(none,6),integer(none,57)]),couple(none,[integer(none,20),integer(none,3)]),couple(none,[integer(none,2),integer(none,36)]),couple(none,[integer(none,42),integer(none,21)]),couple(none,[integer(none,26),integer(none,52)]),couple(none,[integer(none,47),integer(none,8)]),couple(none,[integer(none,6),integer(none,8)]),couple(none,[integer(none,28),integer(none,60)]),couple(none,[integer(none,46),integer(none,14)]),couple(none,[integer(none,10),integer(none,21)]),couple(none,[integer(none,28),integer(none,26)]),couple(none,[integer(none,55),integer(none,53)]),couple(none,[integer(none,55),integer(none,46)]),couple(none,[integer(none,35),integer(none,28)]),couple(none,[integer(none,50),integer(none,2)]),couple(none,[integer(none,13),integer(none,14)]),couple(none,[integer(none,30),integer(none,18)]),couple(none,[integer(none,23),integer(none,56)]),couple(none,[integer(none,56),integer(none,16)]),couple(none,[integer(none,45),integer(none,25)]),couple(none,[integer(none,41),integer(none,45)]),couple(none,[integer(none,28),integer(none,23)]),couple(none,[integer(none,54),integer(none,13)]),couple(none,[integer(none,17),integer(none,30)]),couple(none,[integer(none,50),integer(none,34)]),couple(none,[integer(none,25),integer(none,50)]),couple(none,[integer(none,23),integer(none,41)]),couple(none,[integer(none,56),integer(none,39)]),couple(none,[integer(none,42),integer(none,17)]),couple(none,[integer(none,30),integer(none,42)]),couple(none,[integer(none,3),integer(none,8)]),couple(none,[integer(none,40),integer(none,26)]),couple(none,[integer(none,56),integer(none,37)]),couple(none,[integer(none,8),integer(none,22)]),couple(none,[integer(none,56),integer(none,55)]),couple(none,[integer(none,7),integer(none,21)]),couple(none,[integer(none,30),integer(none,12)]),couple(none,[integer(none,34),integer(none,30)]),couple(none,[integer(none,9),integer(none,16)]),couple(none,[integer(none,11),integer(none,3)]),couple(none,[integer(none,2),integer(none,19)]),couple(none,[integer(none,52),integer(none,38)]),couple(none,[integer(none,12),integer(none,38)]),couple(none,[integer(none,34),integer(none,40)]),couple(none,[integer(none,52),integer(none,50)]),couple(none,[integer(none,44),integer(none,13)]),couple(none,[integer(none,26),integer(none,27)]),couple(none,[integer(none,44),integer(none,35)]),couple(none,[integer(none,45),integer(none,2)]),couple(none,[integer(none,51),integer(none,52)]),couple(none,[integer(none,5),integer(none,48)]),couple(none,[integer(none,4),integer(none,52)]),couple(none,[integer(none,60),integer(none,43)]),couple(none,[integer(none,13),integer(none,5)]),couple(none,[integer(none,36),integer(none,4)]),couple(none,[integer(none,32),integer(none,6)]),couple(none,[integer(none,58),integer(none,34)]),couple(none,[integer(none,23),integer(none,17)]),couple(none,[integer(none,8),integer(none,31)]),couple(none,[integer(none,45),integer(none,9)]),couple(none,[integer(none,60),integer(none,49)]),couple(none,[integer(none,45),integer(none,1)]),couple(none,[integer(none,46),integer(none,58)]),couple(none,[integer(none,7),integer(none,6)]),couple(none,[integer(none,24),integer(none,48)]),couple(none,[integer(none,4),integer(none,32)]),couple(none,[integer(none,50),integer(none,46)]),couple(none,[integer(none,23),integer(none,22)]),couple(none,[integer(none,12),integer(none,20)]),couple(none,[integer(none,30),integer(none,33)]),couple(none,[integer(none,33),integer(none,27)]),couple(none,[integer(none,6),integer(none,15)]),couple(none,[integer(none,16),integer(none,60)]),couple(none,[integer(none,43),integer(none,52)]),couple(none,[integer(none,4),integer(none,47)]),couple(none,[integer(none,39),integer(none,58)]),couple(none,[integer(none,45),integer(none,18)]),couple(none,[integer(none,30),integer(none,35)]),couple(none,[integer(none,15),integer(none,44)]),couple(none,[integer(none,7),integer(none,2)]),couple(none,[integer(none,26),integer(none,53)]),couple(none,[integer(none,22),integer(none,7)]),couple(none,[integer(none,3),integer(none,58)]),couple(none,[integer(none,14),integer(none,6)]),couple(none,[integer(none,17),integer(none,26)]),couple(none,[integer(none,44),integer(none,31)]),couple(none,[integer(none,33),integer(none,41)]),couple(none,[integer(none,19),integer(none,40)]),couple(none,[integer(none,6),integer(none,43)]),couple(none,[integer(none,13),integer(none,49)]),couple(none,[integer(none,6),integer(none,24)]),couple(none,[integer(none,47),integer(none,1)]),couple(none,[integer(none,7),integer(none,10)]),couple(none,[integer(none,15),integer(none,47)]),couple(none,[integer(none,28),integer(none,14)]),couple(none,[integer(none,37),integer(none,18)]),couple(none,[integer(none,39),integer(none,44)]),couple(none,[integer(none,46),integer(none,21)]),couple(none,[integer(none,54),integer(none,10)]),couple(none,[integer(none,57),integer(none,17)]),couple(none,[integer(none,23),integer(none,40)]),couple(none,[integer(none,8),integer(none,51)]),couple(none,[integer(none,58),integer(none,38)]),couple(none,[integer(none,15),integer(none,30)]),couple(none,[integer(none,1),integer(none,52)]),couple(none,[integer(none,20),integer(none,53)]),couple(none,[integer(none,23),integer(none,54)]),couple(none,[integer(none,47),integer(none,57)]),couple(none,[integer(none,54),integer(none,5)]),couple(none,[integer(none,38),integer(none,14)]),couple(none,[integer(none,5),integer(none,15)]),couple(none,[integer(none,25),integer(none,40)]),couple(none,[integer(none,11),integer(none,19)]),couple(none,[integer(none,44),integer(none,25)]),couple(none,[integer(none,31),integer(none,58)]),couple(none,[integer(none,41),integer(none,55)]),couple(none,[integer(none,35),integer(none,54)]),couple(none,[integer(none,9),integer(none,32)]),couple(none,[integer(none,35),integer(none,1)]),couple(none,[integer(none,18),integer(none,39)]),couple(none,[integer(none,47),integer(none,11)]),couple(none,[integer(none,42),integer(none,43)]),couple(none,[integer(none,48),integer(none,25)]),couple(none,[integer(none,35),integer(none,31)]),couple(none,[integer(none,29),integer(none,2)]),couple(none,[integer(none,29),integer(none,60)]),couple(none,[integer(none,18),integer(none,41)]),couple(none,[integer(none,12),integer(none,21)]),couple(none,[integer(none,28),integer(none,31)]),couple(none,[integer(none,54),integer(none,45)]),couple(none,[integer(none,15),integer(none,2)]),couple(none,[integer(none,54),integer(none,42)]),couple(none,[integer(none,37),integer(none,48)]),couple(none,[integer(none,5),integer(none,37)]),couple(none,[integer(none,57),integer(none,40)]),couple(none,[integer(none,37),integer(none,55)]),couple(none,[integer(none,48),integer(none,58)]),couple(none,[integer(none,59),integer(none,60)]),couple(none,[integer(none,59),integer(none,39)]),couple(none,[integer(none,28),integer(none,49)]),couple(none,[integer(none,32),integer(none,42)]),couple(none,[integer(none,22),integer(none,28)]),couple(none,[integer(none,25),integer(none,12)]),couple(none,[integer(none,14),integer(none,33)]),couple(none,[integer(none,20),integer(none,59)]),couple(none,[integer(none,43),integer(none,2)]),couple(none,[integer(none,42),integer(none,4)]),couple(none,[integer(none,49),integer(none,32)]),couple(none,[integer(none,38),integer(none,48)]),couple(none,[integer(none,24),integer(none,8)]),couple(none,[integer(none,16),integer(none,17)]),couple(none,[integer(none,56),integer(none,15)]),couple(none,[integer(none,4),integer(none,21)]),couple(none,[integer(none,17),integer(none,13)]),couple(none,[integer(none,11),integer(none,6)]),couple(none,[integer(none,36),integer(none,56)]),couple(none,[integer(none,16),integer(none,45)]),couple(none,[integer(none,47),integer(none,13)]),couple(none,[integer(none,34),integer(none,53)]),couple(none,[integer(none,38),integer(none,49)]),couple(none,[integer(none,58),integer(none,52)]),couple(none,[integer(none,49),integer(none,46)]),couple(none,[integer(none,13),integer(none,15)]),couple(none,[integer(none,4),integer(none,37)]),couple(none,[integer(none,32),integer(none,10)]),couple(none,[integer(none,2),integer(none,33)]),couple(none,[integer(none,58),integer(none,15)]),couple(none,[integer(none,29),integer(none,28)]),couple(none,[integer(none,43),integer(none,50)]),couple(none,[integer(none,4),integer(none,3)]),couple(none,[integer(none,59),integer(none,9)]),couple(none,[integer(none,17),integer(none,18)]),couple(none,[integer(none,45),integer(none,53)]),couple(none,[integer(none,22),integer(none,17)]),couple(none,[integer(none,17),integer(none,12)]),couple(none,[integer(none,44),integer(none,51)]),couple(none,[integer(none,18),integer(none,23)]),couple(none,[integer(none,58),integer(none,26)]),couple(none,[integer(none,40),integer(none,37)]),couple(none,[integer(none,36),integer(none,39)]),couple(none,[integer(none,20),integer(none,6)]),couple(none,[integer(none,4),integer(none,25)]),couple(none,[integer(none,35),integer(none,19)]),couple(none,[integer(none,3),integer(none,10)]),couple(none,[integer(none,8),integer(none,58)]),couple(none,[integer(none,3),integer(none,29)]),couple(none,[integer(none,11),integer(none,2)]),couple(none,[integer(none,51),integer(none,53)]),couple(none,[integer(none,16),integer(none,15)]),couple(none,[integer(none,22),integer(none,27)]),couple(none,[integer(none,24),integer(none,40)]),couple(none,[integer(none,16),integer(none,49)]),couple(none,[integer(none,20),integer(none,60)]),couple(none,[integer(none,19),integer(none,43)]),couple(none,[integer(none,41),integer(none,47)]),couple(none,[integer(none,40),integer(none,50)]),couple(none,[integer(none,23),integer(none,32)]),couple(none,[integer(none,20),integer(none,50)]),couple(none,[integer(none,16),integer(none,52)]),couple(none,[integer(none,38),integer(none,37)]),couple(none,[integer(none,40),integer(none,33)]),couple(none,[integer(none,29),integer(none,51)]),couple(none,[integer(none,31),integer(none,38)]),couple(none,[integer(none,27),integer(none,42)]),couple(none,[integer(none,1),integer(none,4)]),couple(none,[integer(none,6),integer(none,3)]),couple(none,[integer(none,27),integer(none,29)]),couple(none,[integer(none,3),integer(none,59)]),couple(none,[integer(none,41),integer(none,24)]),couple(none,[integer(none,60),integer(none,26)]),couple(none,[integer(none,58),integer(none,19)]),couple(none,[integer(none,51),integer(none,37)]),couple(none,[integer(none,46),integer(none,45)]),couple(none,[integer(none,5),integer(none,9)]),couple(none,[integer(none,15),integer(none,37)]),couple(none,[integer(none,43),integer(none,36)]),couple(none,[integer(none,5),integer(none,23)]),couple(none,[integer(none,58),integer(none,11)]),couple(none,[integer(none,56),integer(none,50)]),couple(none,[integer(none,56),integer(none,57)]),couple(none,[integer(none,30),integer(none,38)]),couple(none,[integer(none,21),integer(none,22)]),couple(none,[integer(none,30),integer(none,22)]),couple(none,[integer(none,35),integer(none,36)]),couple(none,[integer(none,1),integer(none,22)]),couple(none,[integer(none,40),integer(none,18)]),couple(none,[integer(none,27),integer(none,1)]),couple(none,[integer(none,13),integer(none,58)]),couple(none,[integer(none,5),integer(none,32)]),couple(none,[integer(none,52),integer(none,39)]),couple(none,[integer(none,8),integer(none,44)]),couple(none,[integer(none,53),integer(none,59)]),couple(none,[integer(none,41),integer(none,27)]),couple(none,[integer(none,10),integer(none,44)]),couple(none,[integer(none,57),integer(none,31)]),couple(none,[integer(none,59),integer(none,36)]),couple(none,[integer(none,38),integer(none,43)]),couple(none,[integer(none,25),integer(none,38)]),couple(none,[integer(none,57),integer(none,39)]),couple(none,[integer(none,24),integer(none,47)]),couple(none,[integer(none,14),integer(none,35)]),couple(none,[integer(none,14),integer(none,3)]),couple(none,[integer(none,22),integer(none,36)]),couple(none,[integer(none,48),integer(none,22)]),couple(none,[integer(none,16),integer(none,36)]),couple(none,[integer(none,18),integer(none,3)]),couple(none,[integer(none,33),integer(none,45)]),couple(none,[integer(none,42),integer(none,50)]),couple(none,[integer(none,53),integer(none,56)]),couple(none,[integer(none,50),integer(none,10)]),couple(none,[integer(none,52),integer(none,22)]),couple(none,[integer(none,20),integer(none,40)]),couple(none,[integer(none,36),integer(none,14)]),couple(none,[integer(none,26),integer(none,44)]),couple(none,[integer(none,44),integer(none,19)]),couple(none,[integer(none,47),integer(none,18)]),couple(none,[integer(none,40),integer(none,3)]),couple(none,[integer(none,60),integer(none,24)]),couple(none,[integer(none,2),integer(none,25)]),couple(none,[integer(none,6),integer(none,23)]),couple(none,[integer(none,57),integer(none,24)]),couple(none,[integer(none,52),integer(none,20)]),couple(none,[integer(none,1),integer(none,25)]),couple(none,[integer(none,45),integer(none,35)]),couple(none,[integer(none,60),integer(none,53)]),couple(none,[integer(none,23),integer(none,4)]),couple(none,[integer(none,13),integer(none,55)]),couple(none,[integer(none,20),integer(none,16)]),couple(none,[integer(none,54),integer(none,31)]),couple(none,[integer(none,22),integer(none,51)]),couple(none,[integer(none,55),integer(none,42)]),couple(none,[integer(none,14),integer(none,2)]),couple(none,[integer(none,34),integer(none,43)]),couple(none,[integer(none,43),integer(none,5)]),couple(none,[integer(none,48),integer(none,46)]),couple(none,[integer(none,49),integer(none,39)]),couple(none,[integer(none,9),integer(none,48)]),couple(none,[integer(none,33),integer(none,19)]),couple(none,[integer(none,43),integer(none,8)]),couple(none,[integer(none,6),integer(none,9)]),couple(none,[integer(none,53),integer(none,48)]),couple(none,[integer(none,30),integer(none,37)]),couple(none,[integer(none,12),integer(none,48)]),couple(none,[integer(none,46),integer(none,26)]),couple(none,[integer(none,41),integer(none,38)]),couple(none,[integer(none,21),integer(none,54)]),couple(none,[integer(none,23),integer(none,10)]),couple(none,[integer(none,60),integer(none,54)]),couple(none,[integer(none,36),integer(none,40)]),couple(none,[integer(none,50),integer(none,30)]),couple(none,[integer(none,33),integer(none,44)]),couple(none,[integer(none,57),integer(none,28)]),couple(none,[integer(none,1),integer(none,23)]),couple(none,[integer(none,57),integer(none,16)]),couple(none,[integer(none,59),integer(none,4)]),couple(none,[integer(none,12),integer(none,56)]),couple(none,[integer(none,12),integer(none,36)]),couple(none,[integer(none,9),integer(none,53)]),couple(none,[integer(none,56),integer(none,22)]),couple(none,[integer(none,6),integer(none,26)]),couple(none,[integer(none,24),integer(none,7)]),couple(none,[integer(none,52),integer(none,34)]),couple(none,[integer(none,29),integer(none,22)]),couple(none,[integer(none,28),integer(none,39)]),couple(none,[integer(none,41),integer(none,49)]),couple(none,[integer(none,26),integer(none,49)]),couple(none,[integer(none,48),integer(none,44)]),couple(none,[integer(none,3),integer(none,48)]),couple(none,[integer(none,56),integer(none,1)]),couple(none,[integer(none,35),integer(none,23)]),couple(none,[integer(none,43),integer(none,57)]),couple(none,[integer(none,12),integer(none,57)]),couple(none,[integer(none,34),integer(none,57)]),couple(none,[integer(none,28),integer(none,41)]),couple(none,[integer(none,48),integer(none,26)]),couple(none,[integer(none,46),integer(none,11)]),couple(none,[integer(none,43),integer(none,22)]),couple(none,[integer(none,18),integer(none,25)]),couple(none,[integer(none,9),integer(none,17)]),couple(none,[integer(none,30),integer(none,11)]),couple(none,[integer(none,51),integer(none,32)]),couple(none,[integer(none,60),integer(none,50)]),couple(none,[integer(none,37),integer(none,58)]),couple(none,[integer(none,4),integer(none,45)]),couple(none,[integer(none,16),integer(none,11)]),couple(none,[integer(none,55),integer(none,2)]),couple(none,[integer(none,17),integer(none,55)]),couple(none,[integer(none,47),integer(none,51)]),couple(none,[integer(none,13),integer(none,28)]),couple(none,[integer(none,52),integer(none,30)]),couple(none,[integer(none,29),integer(none,49)]),couple(none,[integer(none,17),integer(none,20)]),couple(none,[integer(none,7),integer(none,32)]),couple(none,[integer(none,18),integer(none,52)]),couple(none,[integer(none,1),integer(none,28)]),couple(none,[integer(none,10),integer(none,11)]),couple(none,[integer(none,7),integer(none,14)]),couple(none,[integer(none,27),integer(none,44)]),couple(none,[integer(none,24),integer(none,29)]),couple(none,[integer(none,32),integer(none,43)]),couple(none,[integer(none,15),integer(none,26)]),couple(none,[integer(none,17),integer(none,19)]),couple(none,[integer(none,59),integer(none,19)]),couple(none,[integer(none,29),integer(none,43)]),couple(none,[integer(none,32),integer(none,50)]),couple(none,[integer(none,36),integer(none,9)]),couple(none,[integer(none,41),integer(none,30)]),couple(none,[integer(none,17),integer(none,51)]),couple(none,[integer(none,39),integer(none,51)]),couple(none,[integer(none,35),integer(none,16)]),couple(none,[integer(none,35),integer(none,17)]),couple(none,[integer(none,57),integer(none,7)]),couple(none,[integer(none,37),integer(none,59)]),couple(none,[integer(none,50),integer(none,53)]),couple(none,[integer(none,43),integer(none,35)]),couple(none,[integer(none,53),integer(none,33)]),couple(none,[integer(none,20),integer(none,58)]),couple(none,[integer(none,59),integer(none,47)]),couple(none,[integer(none,3),integer(none,60)]),couple(none,[integer(none,34),integer(none,26)]),couple(none,[integer(none,17),integer(none,38)]),couple(none,[integer(none,29),integer(none,11)]),couple(none,[integer(none,23),integer(none,16)]),couple(none,[integer(none,49),integer(none,1)]),couple(none,[integer(none,12),integer(none,43)]),couple(none,[integer(none,28),integer(none,11)]),couple(none,[integer(none,8),integer(none,12)]),couple(none,[integer(none,9),integer(none,23)]),couple(none,[integer(none,38),integer(none,2)]),couple(none,[integer(none,29),integer(none,15)]),couple(none,[integer(none,46),integer(none,54)]),couple(none,[integer(none,43),integer(none,18)]),couple(none,[integer(none,20),integer(none,28)]),couple(none,[integer(none,8),integer(none,23)]),couple(none,[integer(none,20),integer(none,18)]),couple(none,[integer(none,8),integer(none,16)]),couple(none,[integer(none,40),integer(none,42)]),couple(none,[integer(none,28),integer(none,32)]),couple(none,[integer(none,51),integer(none,13)]),couple(none,[integer(none,52),integer(none,25)]),couple(none,[integer(none,49),integer(none,10)]),couple(none,[integer(none,10),integer(none,36)]),couple(none,[integer(none,2),integer(none,40)]),couple(none,[integer(none,4),integer(none,58)]),couple(none,[integer(none,39),integer(none,8)]),couple(none,[integer(none,26),integer(none,20)]),couple(none,[integer(none,19),integer(none,57)]),couple(none,[integer(none,20),integer(none,29)]),couple(none,[integer(none,13),integer(none,39)]),couple(none,[integer(none,48),integer(none,2)])]))]),theorems(none,[]),sets(none,[])]),event_b_context(none,'Instance_small_60_400_9',[extends(none,['GraphColouringGeneric']),constants(none,[]),axioms(none,[equal(rodinpos(axm1,'_upFKMIssEd-vSf_6ksnSVw'),identifier(none,'Vtx'),interval(none,integer(none,1),integer(none,60))),equal(rodinpos(axm2,'_upFKMYssEd-vSf_6ksnSVw'),identifier(none,'Edge'),set_extension(none,[couple(none,[integer(none,5),integer(none,45)]),couple(none,[integer(none,3),integer(none,57)]),couple(none,[integer(none,44),integer(none,57)]),couple(none,[integer(none,13),integer(none,2)]),couple(none,[integer(none,44),integer(none,49)]),couple(none,[integer(none,30),integer(none,44)]),couple(none,[integer(none,24),integer(none,28)]),couple(none,[integer(none,3),integer(none,56)]),couple(none,[integer(none,31),integer(none,25)]),couple(none,[integer(none,49),integer(none,19)]),couple(none,[integer(none,6),integer(none,57)]),couple(none,[integer(none,20),integer(none,3)]),couple(none,[integer(none,2),integer(none,36)]),couple(none,[integer(none,42),integer(none,21)]),couple(none,[integer(none,26),integer(none,52)]),couple(none,[integer(none,47),integer(none,8)]),couple(none,[integer(none,6),integer(none,8)]),couple(none,[integer(none,28),integer(none,60)]),couple(none,[integer(none,46),integer(none,14)]),couple(none,[integer(none,10),integer(none,21)]),couple(none,[integer(none,28),integer(none,26)]),couple(none,[integer(none,55),integer(none,53)]),couple(none,[integer(none,55),integer(none,46)]),couple(none,[integer(none,35),integer(none,28)]),couple(none,[integer(none,50),integer(none,2)]),couple(none,[integer(none,13),integer(none,14)]),couple(none,[integer(none,30),integer(none,18)]),couple(none,[integer(none,23),integer(none,56)]),couple(none,[integer(none,56),integer(none,16)]),couple(none,[integer(none,45),integer(none,25)]),couple(none,[integer(none,41),integer(none,45)]),couple(none,[integer(none,28),integer(none,23)]),couple(none,[integer(none,54),integer(none,13)]),couple(none,[integer(none,17),integer(none,30)]),couple(none,[integer(none,50),integer(none,34)]),couple(none,[integer(none,25),integer(none,50)]),couple(none,[integer(none,23),integer(none,41)]),couple(none,[integer(none,56),integer(none,39)]),couple(none,[integer(none,42),integer(none,17)]),couple(none,[integer(none,30),integer(none,42)]),couple(none,[integer(none,3),integer(none,8)]),couple(none,[integer(none,40),integer(none,26)]),couple(none,[integer(none,56),integer(none,37)]),couple(none,[integer(none,8),integer(none,22)]),couple(none,[integer(none,56),integer(none,55)]),couple(none,[integer(none,7),integer(none,21)]),couple(none,[integer(none,30),integer(none,12)]),couple(none,[integer(none,34),integer(none,30)]),couple(none,[integer(none,9),integer(none,16)]),couple(none,[integer(none,11),integer(none,3)]),couple(none,[integer(none,2),integer(none,19)]),couple(none,[integer(none,52),integer(none,38)]),couple(none,[integer(none,12),integer(none,38)]),couple(none,[integer(none,34),integer(none,40)]),couple(none,[integer(none,52),integer(none,50)]),couple(none,[integer(none,44),integer(none,13)]),couple(none,[integer(none,26),integer(none,27)]),couple(none,[integer(none,44),integer(none,35)]),couple(none,[integer(none,45),integer(none,2)]),couple(none,[integer(none,51),integer(none,52)]),couple(none,[integer(none,5),integer(none,48)]),couple(none,[integer(none,4),integer(none,52)]),couple(none,[integer(none,60),integer(none,43)]),couple(none,[integer(none,13),integer(none,5)]),couple(none,[integer(none,36),integer(none,4)]),couple(none,[integer(none,32),integer(none,6)]),couple(none,[integer(none,58),integer(none,34)]),couple(none,[integer(none,23),integer(none,17)]),couple(none,[integer(none,8),integer(none,31)]),couple(none,[integer(none,45),integer(none,9)]),couple(none,[integer(none,60),integer(none,49)]),couple(none,[integer(none,45),integer(none,1)]),couple(none,[integer(none,46),integer(none,58)]),couple(none,[integer(none,7),integer(none,6)]),couple(none,[integer(none,24),integer(none,48)]),couple(none,[integer(none,4),integer(none,32)]),couple(none,[integer(none,50),integer(none,46)]),couple(none,[integer(none,23),integer(none,22)]),couple(none,[integer(none,12),integer(none,20)]),couple(none,[integer(none,30),integer(none,33)]),couple(none,[integer(none,33),integer(none,27)]),couple(none,[integer(none,6),integer(none,15)]),couple(none,[integer(none,16),integer(none,60)]),couple(none,[integer(none,43),integer(none,52)]),couple(none,[integer(none,4),integer(none,47)]),couple(none,[integer(none,39),integer(none,58)]),couple(none,[integer(none,45),integer(none,18)]),couple(none,[integer(none,30),integer(none,35)]),couple(none,[integer(none,15),integer(none,44)]),couple(none,[integer(none,7),integer(none,2)]),couple(none,[integer(none,26),integer(none,53)]),couple(none,[integer(none,22),integer(none,7)]),couple(none,[integer(none,3),integer(none,58)]),couple(none,[integer(none,14),integer(none,6)]),couple(none,[integer(none,17),integer(none,26)]),couple(none,[integer(none,44),integer(none,31)]),couple(none,[integer(none,33),integer(none,41)]),couple(none,[integer(none,19),integer(none,40)]),couple(none,[integer(none,6),integer(none,43)]),couple(none,[integer(none,13),integer(none,49)]),couple(none,[integer(none,6),integer(none,24)]),couple(none,[integer(none,47),integer(none,1)]),couple(none,[integer(none,7),integer(none,10)]),couple(none,[integer(none,15),integer(none,47)]),couple(none,[integer(none,28),integer(none,14)]),couple(none,[integer(none,37),integer(none,18)]),couple(none,[integer(none,39),integer(none,44)]),couple(none,[integer(none,46),integer(none,21)]),couple(none,[integer(none,54),integer(none,10)]),couple(none,[integer(none,57),integer(none,17)]),couple(none,[integer(none,23),integer(none,40)]),couple(none,[integer(none,8),integer(none,51)]),couple(none,[integer(none,58),integer(none,38)]),couple(none,[integer(none,15),integer(none,30)]),couple(none,[integer(none,1),integer(none,52)]),couple(none,[integer(none,20),integer(none,53)]),couple(none,[integer(none,23),integer(none,54)]),couple(none,[integer(none,47),integer(none,57)]),couple(none,[integer(none,54),integer(none,5)]),couple(none,[integer(none,38),integer(none,14)]),couple(none,[integer(none,5),integer(none,15)]),couple(none,[integer(none,25),integer(none,40)]),couple(none,[integer(none,11),integer(none,19)]),couple(none,[integer(none,44),integer(none,25)]),couple(none,[integer(none,31),integer(none,58)]),couple(none,[integer(none,41),integer(none,55)]),couple(none,[integer(none,35),integer(none,54)]),couple(none,[integer(none,9),integer(none,32)]),couple(none,[integer(none,35),integer(none,1)]),couple(none,[integer(none,18),integer(none,39)]),couple(none,[integer(none,47),integer(none,11)]),couple(none,[integer(none,42),integer(none,43)]),couple(none,[integer(none,48),integer(none,25)]),couple(none,[integer(none,35),integer(none,31)]),couple(none,[integer(none,29),integer(none,2)]),couple(none,[integer(none,29),integer(none,60)]),couple(none,[integer(none,18),integer(none,41)]),couple(none,[integer(none,12),integer(none,21)]),couple(none,[integer(none,28),integer(none,31)]),couple(none,[integer(none,54),integer(none,45)]),couple(none,[integer(none,15),integer(none,2)]),couple(none,[integer(none,54),integer(none,42)]),couple(none,[integer(none,37),integer(none,48)]),couple(none,[integer(none,5),integer(none,37)]),couple(none,[integer(none,57),integer(none,40)]),couple(none,[integer(none,37),integer(none,55)]),couple(none,[integer(none,48),integer(none,58)]),couple(none,[integer(none,59),integer(none,60)]),couple(none,[integer(none,59),integer(none,39)]),couple(none,[integer(none,28),integer(none,49)]),couple(none,[integer(none,32),integer(none,42)]),couple(none,[integer(none,22),integer(none,28)]),couple(none,[integer(none,25),integer(none,12)]),couple(none,[integer(none,14),integer(none,33)]),couple(none,[integer(none,20),integer(none,59)]),couple(none,[integer(none,43),integer(none,2)]),couple(none,[integer(none,42),integer(none,4)]),couple(none,[integer(none,49),integer(none,32)]),couple(none,[integer(none,38),integer(none,48)]),couple(none,[integer(none,24),integer(none,8)]),couple(none,[integer(none,16),integer(none,17)]),couple(none,[integer(none,56),integer(none,15)]),couple(none,[integer(none,4),integer(none,21)]),couple(none,[integer(none,17),integer(none,13)]),couple(none,[integer(none,11),integer(none,6)]),couple(none,[integer(none,36),integer(none,56)]),couple(none,[integer(none,16),integer(none,45)]),couple(none,[integer(none,47),integer(none,13)]),couple(none,[integer(none,34),integer(none,53)]),couple(none,[integer(none,38),integer(none,49)]),couple(none,[integer(none,58),integer(none,52)]),couple(none,[integer(none,49),integer(none,46)]),couple(none,[integer(none,13),integer(none,15)]),couple(none,[integer(none,4),integer(none,37)]),couple(none,[integer(none,32),integer(none,10)]),couple(none,[integer(none,2),integer(none,33)]),couple(none,[integer(none,58),integer(none,15)]),couple(none,[integer(none,29),integer(none,28)]),couple(none,[integer(none,43),integer(none,50)]),couple(none,[integer(none,4),integer(none,3)]),couple(none,[integer(none,59),integer(none,9)]),couple(none,[integer(none,17),integer(none,18)]),couple(none,[integer(none,45),integer(none,53)]),couple(none,[integer(none,22),integer(none,17)]),couple(none,[integer(none,17),integer(none,12)]),couple(none,[integer(none,44),integer(none,51)]),couple(none,[integer(none,18),integer(none,23)]),couple(none,[integer(none,58),integer(none,26)]),couple(none,[integer(none,40),integer(none,37)]),couple(none,[integer(none,36),integer(none,39)]),couple(none,[integer(none,20),integer(none,6)]),couple(none,[integer(none,4),integer(none,25)]),couple(none,[integer(none,35),integer(none,19)]),couple(none,[integer(none,3),integer(none,10)]),couple(none,[integer(none,8),integer(none,58)]),couple(none,[integer(none,3),integer(none,29)]),couple(none,[integer(none,11),integer(none,2)]),couple(none,[integer(none,51),integer(none,53)]),couple(none,[integer(none,16),integer(none,15)]),couple(none,[integer(none,22),integer(none,27)]),couple(none,[integer(none,24),integer(none,40)]),couple(none,[integer(none,16),integer(none,49)]),couple(none,[integer(none,20),integer(none,60)]),couple(none,[integer(none,19),integer(none,43)]),couple(none,[integer(none,41),integer(none,47)]),couple(none,[integer(none,40),integer(none,50)]),couple(none,[integer(none,23),integer(none,32)]),couple(none,[integer(none,20),integer(none,50)]),couple(none,[integer(none,16),integer(none,52)]),couple(none,[integer(none,38),integer(none,37)]),couple(none,[integer(none,40),integer(none,33)]),couple(none,[integer(none,29),integer(none,51)]),couple(none,[integer(none,31),integer(none,38)]),couple(none,[integer(none,27),integer(none,42)]),couple(none,[integer(none,1),integer(none,4)]),couple(none,[integer(none,6),integer(none,3)]),couple(none,[integer(none,27),integer(none,29)]),couple(none,[integer(none,3),integer(none,59)]),couple(none,[integer(none,41),integer(none,24)]),couple(none,[integer(none,60),integer(none,26)]),couple(none,[integer(none,58),integer(none,19)]),couple(none,[integer(none,51),integer(none,37)]),couple(none,[integer(none,46),integer(none,45)]),couple(none,[integer(none,5),integer(none,9)]),couple(none,[integer(none,15),integer(none,37)]),couple(none,[integer(none,43),integer(none,36)]),couple(none,[integer(none,5),integer(none,23)]),couple(none,[integer(none,58),integer(none,11)]),couple(none,[integer(none,56),integer(none,50)]),couple(none,[integer(none,56),integer(none,57)]),couple(none,[integer(none,30),integer(none,38)]),couple(none,[integer(none,21),integer(none,22)]),couple(none,[integer(none,30),integer(none,22)]),couple(none,[integer(none,35),integer(none,36)]),couple(none,[integer(none,1),integer(none,22)]),couple(none,[integer(none,40),integer(none,18)]),couple(none,[integer(none,27),integer(none,1)]),couple(none,[integer(none,13),integer(none,58)]),couple(none,[integer(none,5),integer(none,32)]),couple(none,[integer(none,52),integer(none,39)]),couple(none,[integer(none,8),integer(none,44)]),couple(none,[integer(none,53),integer(none,59)]),couple(none,[integer(none,41),integer(none,27)]),couple(none,[integer(none,10),integer(none,44)]),couple(none,[integer(none,57),integer(none,31)]),couple(none,[integer(none,59),integer(none,36)]),couple(none,[integer(none,38),integer(none,43)]),couple(none,[integer(none,25),integer(none,38)]),couple(none,[integer(none,57),integer(none,39)]),couple(none,[integer(none,24),integer(none,47)]),couple(none,[integer(none,14),integer(none,35)]),couple(none,[integer(none,14),integer(none,3)]),couple(none,[integer(none,22),integer(none,36)]),couple(none,[integer(none,48),integer(none,22)]),couple(none,[integer(none,16),integer(none,36)]),couple(none,[integer(none,18),integer(none,3)]),couple(none,[integer(none,33),integer(none,45)]),couple(none,[integer(none,42),integer(none,50)]),couple(none,[integer(none,53),integer(none,56)]),couple(none,[integer(none,50),integer(none,10)]),couple(none,[integer(none,52),integer(none,22)]),couple(none,[integer(none,20),integer(none,40)]),couple(none,[integer(none,36),integer(none,14)]),couple(none,[integer(none,26),integer(none,44)]),couple(none,[integer(none,44),integer(none,19)]),couple(none,[integer(none,47),integer(none,18)]),couple(none,[integer(none,40),integer(none,3)]),couple(none,[integer(none,60),integer(none,24)]),couple(none,[integer(none,2),integer(none,25)]),couple(none,[integer(none,6),integer(none,23)]),couple(none,[integer(none,57),integer(none,24)]),couple(none,[integer(none,52),integer(none,20)]),couple(none,[integer(none,1),integer(none,25)]),couple(none,[integer(none,45),integer(none,35)]),couple(none,[integer(none,60),integer(none,53)]),couple(none,[integer(none,23),integer(none,4)]),couple(none,[integer(none,13),integer(none,55)]),couple(none,[integer(none,20),integer(none,16)]),couple(none,[integer(none,54),integer(none,31)]),couple(none,[integer(none,22),integer(none,51)]),couple(none,[integer(none,55),integer(none,42)]),couple(none,[integer(none,14),integer(none,2)]),couple(none,[integer(none,34),integer(none,43)]),couple(none,[integer(none,43),integer(none,5)]),couple(none,[integer(none,48),integer(none,46)]),couple(none,[integer(none,49),integer(none,39)]),couple(none,[integer(none,9),integer(none,48)]),couple(none,[integer(none,33),integer(none,19)]),couple(none,[integer(none,43),integer(none,8)]),couple(none,[integer(none,6),integer(none,9)]),couple(none,[integer(none,53),integer(none,48)]),couple(none,[integer(none,30),integer(none,37)]),couple(none,[integer(none,12),integer(none,48)]),couple(none,[integer(none,46),integer(none,26)]),couple(none,[integer(none,41),integer(none,38)]),couple(none,[integer(none,21),integer(none,54)]),couple(none,[integer(none,23),integer(none,10)]),couple(none,[integer(none,60),integer(none,54)]),couple(none,[integer(none,36),integer(none,40)]),couple(none,[integer(none,50),integer(none,30)]),couple(none,[integer(none,33),integer(none,44)]),couple(none,[integer(none,57),integer(none,28)]),couple(none,[integer(none,1),integer(none,23)]),couple(none,[integer(none,57),integer(none,16)]),couple(none,[integer(none,59),integer(none,4)]),couple(none,[integer(none,12),integer(none,56)]),couple(none,[integer(none,12),integer(none,36)]),couple(none,[integer(none,9),integer(none,53)]),couple(none,[integer(none,56),integer(none,22)]),couple(none,[integer(none,6),integer(none,26)]),couple(none,[integer(none,24),integer(none,7)]),couple(none,[integer(none,52),integer(none,34)]),couple(none,[integer(none,29),integer(none,22)]),couple(none,[integer(none,28),integer(none,39)]),couple(none,[integer(none,41),integer(none,49)]),couple(none,[integer(none,26),integer(none,49)]),couple(none,[integer(none,48),integer(none,44)]),couple(none,[integer(none,3),integer(none,48)]),couple(none,[integer(none,56),integer(none,1)]),couple(none,[integer(none,35),integer(none,23)]),couple(none,[integer(none,43),integer(none,57)]),couple(none,[integer(none,12),integer(none,57)]),couple(none,[integer(none,34),integer(none,57)]),couple(none,[integer(none,28),integer(none,41)]),couple(none,[integer(none,48),integer(none,26)]),couple(none,[integer(none,46),integer(none,11)]),couple(none,[integer(none,43),integer(none,22)]),couple(none,[integer(none,18),integer(none,25)]),couple(none,[integer(none,9),integer(none,17)]),couple(none,[integer(none,30),integer(none,11)]),couple(none,[integer(none,51),integer(none,32)]),couple(none,[integer(none,60),integer(none,50)]),couple(none,[integer(none,37),integer(none,58)]),couple(none,[integer(none,4),integer(none,45)]),couple(none,[integer(none,16),integer(none,11)]),couple(none,[integer(none,55),integer(none,2)]),couple(none,[integer(none,17),integer(none,55)]),couple(none,[integer(none,47),integer(none,51)]),couple(none,[integer(none,13),integer(none,28)]),couple(none,[integer(none,52),integer(none,30)]),couple(none,[integer(none,29),integer(none,49)]),couple(none,[integer(none,17),integer(none,20)]),couple(none,[integer(none,7),integer(none,32)]),couple(none,[integer(none,18),integer(none,52)]),couple(none,[integer(none,1),integer(none,28)]),couple(none,[integer(none,10),integer(none,11)]),couple(none,[integer(none,7),integer(none,14)]),couple(none,[integer(none,27),integer(none,44)]),couple(none,[integer(none,24),integer(none,29)]),couple(none,[integer(none,32),integer(none,43)]),couple(none,[integer(none,15),integer(none,26)]),couple(none,[integer(none,17),integer(none,19)]),couple(none,[integer(none,59),integer(none,19)]),couple(none,[integer(none,29),integer(none,43)]),couple(none,[integer(none,32),integer(none,50)]),couple(none,[integer(none,36),integer(none,9)]),couple(none,[integer(none,41),integer(none,30)]),couple(none,[integer(none,17),integer(none,51)]),couple(none,[integer(none,39),integer(none,51)]),couple(none,[integer(none,35),integer(none,16)]),couple(none,[integer(none,35),integer(none,17)]),couple(none,[integer(none,57),integer(none,7)]),couple(none,[integer(none,37),integer(none,59)]),couple(none,[integer(none,50),integer(none,53)]),couple(none,[integer(none,43),integer(none,35)]),couple(none,[integer(none,53),integer(none,33)]),couple(none,[integer(none,20),integer(none,58)]),couple(none,[integer(none,59),integer(none,47)]),couple(none,[integer(none,3),integer(none,60)]),couple(none,[integer(none,34),integer(none,26)]),couple(none,[integer(none,17),integer(none,38)]),couple(none,[integer(none,29),integer(none,11)]),couple(none,[integer(none,23),integer(none,16)]),couple(none,[integer(none,49),integer(none,1)]),couple(none,[integer(none,12),integer(none,43)]),couple(none,[integer(none,28),integer(none,11)]),couple(none,[integer(none,8),integer(none,12)]),couple(none,[integer(none,9),integer(none,23)]),couple(none,[integer(none,38),integer(none,2)]),couple(none,[integer(none,29),integer(none,15)]),couple(none,[integer(none,46),integer(none,54)]),couple(none,[integer(none,43),integer(none,18)]),couple(none,[integer(none,20),integer(none,28)]),couple(none,[integer(none,8),integer(none,23)]),couple(none,[integer(none,20),integer(none,18)]),couple(none,[integer(none,8),integer(none,16)]),couple(none,[integer(none,40),integer(none,42)]),couple(none,[integer(none,28),integer(none,32)]),couple(none,[integer(none,51),integer(none,13)]),couple(none,[integer(none,52),integer(none,25)]),couple(none,[integer(none,49),integer(none,10)]),couple(none,[integer(none,10),integer(none,36)]),couple(none,[integer(none,2),integer(none,40)]),couple(none,[integer(none,4),integer(none,58)]),couple(none,[integer(none,39),integer(none,8)]),couple(none,[integer(none,26),integer(none,20)]),couple(none,[integer(none,19),integer(none,57)]),couple(none,[integer(none,20),integer(none,29)]),couple(none,[integer(none,13),integer(none,39)]),couple(none,[integer(none,48),integer(none,2)])]))]),theorems(none,[]),sets(none,[])]),event_b_context(none,'GraphColouringGeneric',[extends(none,['Graph']),constants(none,[identifier(none,colour)]),axioms(none,[member(rodinpos(ctype,'_Bqe0AYssEd-UmZ3vwpxbng'),identifier(none,colour),total_function(none,identifier(none,'Vtx'),interval(none,integer(none,1),integer(none,6)))),forall(rodinpos(alldiff,'_Bqe0AIssEd-UmZ3vwpxbng'),[identifier(none,i),identifier(none,j)],implication(none,member(none,couple(none,[identifier(none,i),identifier(none,j)]),identifier(none,'Edge')),not_equal(none,function(none,identifier(none,colour),[identifier(none,i)]),function(none,identifier(none,colour),[identifier(none,j)]))))]),theorems(none,[]),sets(none,[])]),event_b_context(none,'Graph',[extends(none,[]),constants(none,[identifier(none,'Edge'),identifier(none,'Vtx')]),axioms(none,[conjunct(rodinpos(vetype,'_pRPQEo3PEd-oKIFofT9prg'),subset(none,identifier(none,'Vtx'),natural_set(none)),subset(none,identifier(none,'Edge'),cartesian_product(none,identifier(none,'Vtx'),identifier(none,'Vtx'))))]),theorems(none,[]),sets(none,[])])],[],_Error)).
2