#base.

% Domain: Depot, Problem: depotprob4534
% 
% 
% OBJECTS  >>>>>
typedobject( hoist( hoist5 ) ).
typedobject( hoist( hoist4 ) ).
typedobject( distributor( distributor1 ) ).
typedobject( distributor( distributor0 ) ).
typedobject( hoist( hoist0 ) ).
typedobject( distributor( distributor2 ) ).
typedobject( crate( crate11 ) ).
typedobject( crate( crate10 ) ).
typedobject( crate( crate13 ) ).
typedobject( crate( crate12 ) ).
typedobject( depot( depot0 ) ).
typedobject( depot( depot1 ) ).
typedobject( depot( depot2 ) ).
typedobject( crate( crate14 ) ).
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( crate( crate9 ) ).
typedobject( pallet( pallet9 ) ).
typedobject( pallet( pallet8 ) ).
typedobject( crate( crate8 ) ).
typedobject( truck( truck1 ) ).
typedobject( truck( truck0 ) ).
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( hoist( hoist1 ) ).
typedobject( hoist( hoist3 ) ).
typedobject( hoist( hoist2 ) ).
% <<<<<  OBJECTS
% 

% 
% 
% INIT  >>>>>
init( at( truck0,distributor1 ) ).
init( at( pallet3,distributor0 ) ).
init( on( crate12,crate10 ) ).
init( on( crate3,crate2 ) ).
init( at( crate12,distributor1 ) ).
init( at( pallet0,depot0 ) ).
init( on( crate5,crate0 ) ).
init( on( crate7,crate6 ) ).
init( at( crate11,distributor2 ) ).
init( on( crate4,pallet6 ) ).
init( on( crate13,crate3 ) ).
init( clear( crate11 ) ).
init( at( hoist2,depot2 ) ).
init( clear( crate4 ) ).
init( at( crate13,depot2 ) ).
init( at( hoist5,distributor2 ) ).
init( at( pallet8,depot2 ) ).
init( available( hoist3 ) ).
init( at( hoist1,depot1 ) ).
init( at( hoist0,depot0 ) ).
init( available( hoist5 ) ).
init( at( truck1,distributor2 ) ).
init( available( hoist2 ) ).
init( on( crate8,pallet3 ) ).
init( clear( crate13 ) ).
init( available( hoist1 ) ).
init( clear( pallet0 ) ).
init( at( pallet4,distributor1 ) ).
init( at( crate4,depot1 ) ).
init( at( crate8,distributor0 ) ).
init( at( hoist4,distributor1 ) ).
init( on( crate14,pallet9 ) ).
init( at( crate7,depot1 ) ).
init( at( pallet6,depot1 ) ).
init( available( hoist0 ) ).
init( available( hoist4 ) ).
init( clear( crate7 ) ).
init( on( crate9,pallet7 ) ).
init( on( crate1,pallet4 ) ).
init( clear( crate12 ) ).
init( on( crate11,crate5 ) ).
init( at( crate6,depot1 ) ).
init( at( hoist3,distributor0 ) ).
init( on( crate6,pallet1 ) ).
init( on( crate2,pallet8 ) ).
init( on( crate10,crate1 ) ).
init( at( crate14,distributor0 ) ).
init( on( crate0,pallet5 ) ).
init( at( crate2,depot2 ) ).
init( clear( pallet2 ) ).
init( at( crate0,distributor2 ) ).
init( at( pallet1,depot1 ) ).
init( at( crate10,distributor1 ) ).
init( clear( crate8 ) ).
init( at( crate3,depot2 ) ).
init( at( crate5,distributor2 ) ).
init( at( pallet2,depot2 ) ).
init( at( pallet9,distributor0 ) ).
init( at( crate1,distributor1 ) ).
init( at( crate9,distributor0 ) ).
init( at( pallet7,distributor0 ) ).
init( clear( crate9 ) ).
init( clear( crate14 ) ).
init( at( pallet5,distributor2 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( on( crate0,crate8 ),true ).
goal( on( crate1,crate10 ),true ).
goal( on( crate2,pallet0 ),true ).
goal( on( crate3,pallet1 ),true ).
goal( on( crate4,crate7 ),true ).
goal( on( crate5,pallet5 ),true ).
goal( on( crate6,pallet6 ),true ).
goal( on( crate7,pallet4 ),true ).
goal( on( crate8,pallet7 ),true ).
goal( on( crate9,crate4 ),true ).
goal( on( crate10,crate11 ),true ).
goal( on( crate11,crate9 ),true ).
goal( on( crate12,crate5 ),true ).
goal( on( crate13,pallet8 ),true ).
goal( on( crate14,pallet9 ),true ).
% <<<<<  GOAL
% 

