#base.

% Domain: Depot, Problem: depotprob1817
% 
% 
% OBJECTS  >>>>>
typedobject( crate( crate19 ) ).
typedobject( pallet( pallet11 ) ).
typedobject( hoist( hoist7 ) ).
typedobject( hoist( hoist6 ) ).
typedobject( hoist( hoist1 ) ).
typedobject( hoist( hoist0 ) ).
typedobject( hoist( hoist3 ) ).
typedobject( pallet( pallet10 ) ).
typedobject( depot( depot4 ) ).
typedobject( depot( depot5 ) ).
typedobject( crate( crate13 ) ).
typedobject( crate( crate12 ) ).
typedobject( depot( depot0 ) ).
typedobject( depot( depot1 ) ).
typedobject( depot( depot2 ) ).
typedobject( depot( depot3 ) ).
typedobject( pallet( pallet5 ) ).
typedobject( pallet( pallet4 ) ).
typedobject( pallet( pallet7 ) ).
typedobject( pallet( pallet6 ) ).
typedobject( pallet( pallet1 ) ).
typedobject( pallet( pallet0 ) ).
typedobject( pallet( pallet3 ) ).
typedobject( pallet( pallet2 ) ).
typedobject( pallet( pallet15 ) ).
typedobject( pallet( pallet9 ) ).
typedobject( pallet( pallet8 ) ).
typedobject( hoist( hoist9 ) ).
typedobject( pallet( pallet14 ) ).
typedobject( truck( truck5 ) ).
typedobject( truck( truck4 ) ).
typedobject( truck( truck1 ) ).
typedobject( truck( truck0 ) ).
typedobject( truck( truck3 ) ).
typedobject( truck( truck2 ) ).
typedobject( crate( crate15 ) ).
typedobject( pallet( pallet16 ) ).
typedobject( hoist( hoist13 ) ).
typedobject( hoist( hoist11 ) ).
typedobject( crate( crate11 ) ).
typedobject( hoist( hoist2 ) ).
typedobject( hoist( hoist12 ) ).
typedobject( hoist( hoist14 ) ).
typedobject( hoist( hoist5 ) ).
typedobject( crate( crate10 ) ).
typedobject( hoist( hoist8 ) ).
typedobject( distributor( distributor5 ) ).
typedobject( distributor( distributor4 ) ).
typedobject( pallet( pallet13 ) ).
typedobject( pallet( pallet12 ) ).
typedobject( distributor( distributor1 ) ).
typedobject( distributor( distributor0 ) ).
typedobject( distributor( distributor3 ) ).
typedobject( distributor( distributor2 ) ).
typedobject( pallet( pallet19 ) ).
typedobject( pallet( pallet18 ) ).
typedobject( crate( crate14 ) ).
typedobject( hoist( hoist4 ) ).
typedobject( crate( crate17 ) ).
typedobject( crate( crate16 ) ).
typedobject( crate( crate18 ) ).
typedobject( crate( crate9 ) ).
typedobject( crate( crate8 ) ).
typedobject( crate( crate5 ) ).
typedobject( crate( crate4 ) ).
typedobject( crate( crate7 ) ).
typedobject( crate( crate6 ) ).
typedobject( crate( crate1 ) ).
typedobject( crate( crate0 ) ).
typedobject( crate( crate3 ) ).
typedobject( crate( crate2 ) ).
typedobject( pallet( pallet17 ) ).
typedobject( hoist( hoist10 ) ).
% <<<<<  OBJECTS
% 

% 
% 
% INIT  >>>>>
init( on( crate12,pallet1 ) ).
init( on( crate6,pallet17 ) ).
init( on( crate13,crate3 ) ).
init( clear( crate10 ) ).
init( clear( pallet14 ) ).
init( at( crate0,distributor5 ) ).
init( on( crate4,pallet7 ) ).
init( at( pallet4,depot4 ) ).
init( at( pallet14,depot3 ) ).
init( on( crate9,crate1 ) ).
init( at( pallet5,depot5 ) ).
init( clear( crate0 ) ).
init( clear( pallet3 ) ).
init( at( hoist8,distributor2 ) ).
init( on( crate14,crate5 ) ).
init( at( crate6,distributor2 ) ).
init( at( hoist13,depot5 ) ).
init( available( hoist2 ) ).
init( clear( crate18 ) ).
init( at( crate17,depot1 ) ).
init( available( hoist1 ) ).
init( at( crate2,distributor4 ) ).
init( at( pallet19,distributor1 ) ).
init( at( crate16,distributor3 ) ).
init( available( hoist14 ) ).
init( on( crate3,pallet8 ) ).
init( at( hoist14,depot5 ) ).
init( available( hoist13 ) ).
init( at( truck2,distributor2 ) ).
init( clear( pallet18 ) ).
init( available( hoist5 ) ).
init( clear( crate19 ) ).
init( on( crate18,pallet12 ) ).
init( at( hoist9,distributor3 ) ).
init( available( hoist6 ) ).
init( available( hoist9 ) ).
init( at( hoist0,depot0 ) ).
init( at( crate11,distributor3 ) ).
init( on( crate11,pallet9 ) ).
init( clear( crate14 ) ).
init( at( crate5,distributor4 ) ).
init( at( pallet1,depot1 ) ).
init( on( crate7,pallet5 ) ).
init( on( crate0,pallet11 ) ).
init( at( crate15,distributor2 ) ).
init( available( hoist0 ) ).
init( at( pallet8,distributor2 ) ).
init( at( hoist2,depot2 ) ).
init( clear( pallet15 ) ).
init( at( truck5,distributor0 ) ).
init( at( pallet10,distributor4 ) ).
init( at( crate3,distributor2 ) ).
init( on( crate5,crate2 ) ).
init( clear( crate13 ) ).
init( clear( pallet19 ) ).
init( clear( pallet6 ) ).
init( available( hoist10 ) ).
init( at( pallet6,distributor0 ) ).
init( at( crate1,depot0 ) ).
init( on( crate15,pallet13 ) ).
init( at( crate7,depot5 ) ).
init( available( hoist12 ) ).
init( at( hoist3,depot3 ) ).
init( at( hoist6,distributor0 ) ).
init( at( crate4,distributor1 ) ).
init( on( crate19,crate4 ) ).
init( at( pallet18,distributor3 ) ).
init( at( pallet17,distributor2 ) ).
init( at( crate19,distributor1 ) ).
init( on( crate1,pallet0 ) ).
init( available( hoist8 ) ).
init( clear( crate15 ) ).
init( on( crate17,crate12 ) ).
init( clear( crate16 ) ).
init( on( crate10,crate9 ) ).
init( at( pallet9,distributor3 ) ).
init( clear( crate17 ) ).
init( at( truck1,distributor4 ) ).
init( at( truck3,depot0 ) ).
init( at( pallet15,depot3 ) ).
init( at( crate18,distributor4 ) ).
init( available( hoist11 ) ).
init( on( crate16,crate11 ) ).
init( clear( pallet4 ) ).
init( clear( pallet16 ) ).
init( at( pallet0,depot0 ) ).
init( at( hoist12,depot0 ) ).
init( at( pallet12,distributor4 ) ).
init( at( pallet2,depot2 ) ).
init( on( crate8,crate7 ) ).
init( at( crate13,distributor2 ) ).
init( at( pallet3,depot3 ) ).
init( at( crate8,depot5 ) ).
init( at( hoist10,distributor4 ) ).
init( available( hoist7 ) ).
init( available( hoist3 ) ).
init( available( hoist4 ) ).
init( clear( pallet2 ) ).
init( clear( crate6 ) ).
init( at( crate10,depot0 ) ).
init( at( crate14,distributor4 ) ).
init( at( pallet16,distributor1 ) ).
init( at( truck0,depot2 ) ).
init( on( crate2,pallet10 ) ).
init( at( hoist11,distributor5 ) ).
init( at( pallet13,distributor2 ) ).
init( at( crate12,depot1 ) ).
init( clear( crate8 ) ).
init( at( pallet7,distributor1 ) ).
init( at( crate9,depot0 ) ).
init( at( hoist7,distributor1 ) ).
init( at( hoist5,depot5 ) ).
init( at( hoist4,depot4 ) ).
init( at( truck4,distributor3 ) ).
init( at( pallet11,distributor5 ) ).
init( at( hoist1,depot1 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( on( crate0,pallet14 ),true ).
goal( on( crate1,pallet15 ),true ).
goal( on( crate2,pallet13 ),true ).
goal( on( crate3,pallet18 ),true ).
goal( on( crate5,pallet12 ),true ).
goal( on( crate6,pallet6 ),true ).
goal( on( crate7,pallet5 ),true ).
goal( on( crate8,crate10 ),true ).
goal( on( crate9,pallet17 ),true ).
goal( on( crate10,crate17 ),true ).
goal( on( crate11,pallet1 ),true ).
goal( on( crate12,pallet16 ),true ).
goal( on( crate13,crate16 ),true ).
goal( on( crate15,pallet7 ),true ).
goal( on( crate16,crate15 ),true ).
goal( on( crate17,pallet2 ),true ).
goal( on( crate18,pallet4 ),true ).
goal( on( crate19,pallet9 ),true ).
% <<<<<  GOAL
% 

