
initially 
	at_package(o0,c0_l0) |
	at_package(o0,c0_l1) |
	at_package(o0,c0_l2);
initially 
	at_package(o1,c0_l0) |
	at_package(o1,c0_l1) |
	at_package(o1,c0_l2);
initially 
	at_package(o2,c1_l0) |
	at_package(o2,c1_l1) |
	at_package(o2,c1_l2);

goal at_package(o0,c2_l2);
goal at_package(o1,c1_l2);
goal at_package(o2,c2_l0);
