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