
initially 
	at_package(o0,c1_l0) |
	at_package(o0,c1_l1);
initially 
	at_package(o1,c0_l0) |
	at_package(o1,c0_l1);
initially 
	at_package(o2,c1_l0) |
	at_package(o2,c1_l1);
goal at_package(o0,c0_l0);
goal at_package(o1,c2_l0);
goal at_package(o2,c2_l0);
