#base.

% Domain: driverlog, Problem: DLOG-5-5-15
% 
% 
% OBJECTS  >>>>>
typedobject( location( p313 ) ).
typedobject( location( p15 ) ).
typedobject( location( p314 ) ).
typedobject( location( p123 ) ).
typedobject( location( p106 ) ).
typedobject( obj( package8 ) ).
typedobject( obj( package9 ) ).
typedobject( location( p515 ) ).
typedobject( obj( package1 ) ).
typedobject( obj( package2 ) ).
typedobject( obj( package3 ) ).
typedobject( obj( package4 ) ).
typedobject( obj( package5 ) ).
typedobject( obj( package6 ) ).
typedobject( obj( package7 ) ).
typedobject( truck( truck5 ) ).
typedobject( truck( truck4 ) ).
typedobject( location( s9 ) ).
typedobject( location( s8 ) ).
typedobject( truck( truck1 ) ).
typedobject( truck( truck3 ) ).
typedobject( truck( truck2 ) ).
typedobject( location( s3 ) ).
typedobject( location( s2 ) ).
typedobject( location( s1 ) ).
typedobject( location( s0 ) ).
typedobject( location( s7 ) ).
typedobject( location( s6 ) ).
typedobject( location( s5 ) ).
typedobject( location( s4 ) ).
typedobject( location( p611 ) ).
typedobject( location( s13 ) ).
typedobject( location( p94 ) ).
typedobject( location( p014 ) ).
typedobject( location( p78 ) ).
typedobject( location( s12 ) ).
typedobject( location( s11 ) ).
typedobject( location( p215 ) ).
typedobject( location( p214 ) ).
typedobject( location( p89 ) ).
typedobject( obj( package11 ) ).
typedobject( location( p210 ) ).
typedobject( location( p213 ) ).
typedobject( location( p212 ) ).
typedobject( obj( package12 ) ).
typedobject( obj( package13 ) ).
typedobject( obj( package10 ) ).
typedobject( location( s10 ) ).
typedobject( obj( package14 ) ).
typedobject( obj( package15 ) ).
typedobject( location( p25 ) ).
typedobject( location( p26 ) ).
typedobject( location( p21 ) ).
typedobject( location( s15 ) ).
typedobject( location( p17 ) ).
typedobject( location( s14 ) ).
typedobject( location( p1415 ) ).
typedobject( location( p115 ) ).
typedobject( location( p110 ) ).
typedobject( location( p134 ) ).
typedobject( location( p113 ) ).
typedobject( driver( driver1 ) ).
typedobject( driver( driver3 ) ).
typedobject( driver( driver2 ) ).
typedobject( driver( driver5 ) ).
typedobject( driver( driver4 ) ).
typedobject( location( p912 ) ).
typedobject( location( p71 ) ).
typedobject( location( p414 ) ).
typedobject( location( p914 ) ).
typedobject( location( p50 ) ).
typedobject( location( p97 ) ).
typedobject( location( p154 ) ).
% <<<<<  OBJECTS
% 

% 
% 
% DOMAIN PREDICATES  >>>>>
holds( link( s0,s10 ) ).
holds( path( p123,s12 ) ).
holds( path( s14,p1415 ) ).
holds( link( s11,s3 ) ).
holds( path( p014,s0 ) ).
holds( link( s4,s5 ) ).
holds( path( s6,p106 ) ).
holds( path( p25,s5 ) ).
holds( path( p89,s8 ) ).
holds( path( p611,s11 ) ).
holds( path( s2,p21 ) ).
holds( path( s5,p25 ) ).
holds( path( s3,p123 ) ).
holds( link( s11,s10 ) ).
holds( link( s8,s4 ) ).
holds( path( p212,s2 ) ).
holds( link( s7,s4 ) ).
holds( link( s8,s13 ) ).
holds( link( s10,s8 ) ).
holds( path( s6,p26 ) ).
holds( path( p1415,s14 ) ).
holds( path( p17,s1 ) ).
holds( link( s0,s2 ) ).
holds( path( p21,s2 ) ).
holds( path( p113,s13 ) ).
holds( link( s10,s1 ) ).
holds( link( s6,s14 ) ).
holds( link( s9,s5 ) ).
holds( path( s7,p97 ) ).
holds( path( s15,p154 ) ).
holds( link( s4,s15 ) ).
holds( path( s14,p014 ) ).
holds( path( p215,s15 ) ).
holds( link( s3,s11 ) ).
holds( path( s11,p611 ) ).
holds( link( s15,s7 ) ).
holds( link( s9,s8 ) ).
holds( link( s2,s0 ) ).
holds( path( s13,p113 ) ).
holds( link( s12,s5 ) ).
holds( path( p1415,s15 ) ).
holds( path( p213,s13 ) ).
holds( link( s1,s13 ) ).
holds( link( s5,s12 ) ).
holds( path( s14,p214 ) ).
holds( path( s9,p912 ) ).
holds( path( s0,p110 ) ).
holds( path( p106,s6 ) ).
holds( link( s5,s14 ) ).
holds( path( s3,p314 ) ).
holds( path( p50,s0 ) ).
holds( path( s2,p212 ) ).
holds( path( p914,s9 ) ).
holds( path( p94,s4 ) ).
holds( path( p912,s9 ) ).
holds( link( s15,s12 ) ).
holds( path( p15,s5 ) ).
holds( path( p414,s14 ) ).
holds( path( p110,s0 ) ).
holds( link( s10,s3 ) ).
holds( link( s9,s1 ) ).
holds( path( s6,p611 ) ).
holds( path( s11,p110 ) ).
holds( path( s1,p113 ) ).
holds( path( p914,s14 ) ).
holds( path( s9,p94 ) ).
holds( link( s9,s2 ) ).
holds( link( s14,s11 ) ).
holds( path( s0,p014 ) ).
holds( path( s4,p154 ) ).
holds( path( p314,s3 ) ).
holds( path( s9,p89 ) ).
holds( link( s9,s4 ) ).
holds( link( s6,s2 ) ).
holds( path( p014,s14 ) ).
holds( path( s2,p25 ) ).
holds( link( s4,s1 ) ).
holds( path( s5,p515 ) ).
holds( path( p106,s10 ) ).
holds( path( p214,s2 ) ).
holds( path( s13,p313 ) ).
holds( link( s8,s11 ) ).
holds( path( p215,s2 ) ).
holds( path( s13,p213 ) ).
holds( path( p212,s12 ) ).
holds( link( s10,s0 ) ).
holds( path( p97,s9 ) ).
holds( link( s14,s4 ) ).
holds( path( p26,s2 ) ).
holds( path( p113,s1 ) ).
holds( path( s4,p94 ) ).
holds( path( p214,s14 ) ).
holds( link( s14,s8 ) ).
holds( path( s14,p914 ) ).
holds( path( p313,s3 ) ).
holds( link( s12,s3 ) ).
holds( path( s9,p97 ) ).
holds( link( s5,s0 ) ).
holds( path( p123,s3 ) ).
holds( path( s13,p134 ) ).
holds( link( s5,s2 ) ).
holds( path( s12,p912 ) ).
holds( path( s15,p215 ) ).
holds( link( s10,s11 ) ).
holds( path( p134,s13 ) ).
holds( link( s13,s15 ) ).
holds( link( s13,s3 ) ).
holds( link( s2,s5 ) ).
holds( link( s15,s3 ) ).
holds( link( s4,s8 ) ).
holds( path( p912,s12 ) ).
holds( link( s7,s2 ) ).
holds( path( s2,p26 ) ).
holds( path( s15,p115 ) ).
holds( path( s2,p215 ) ).
holds( link( s12,s10 ) ).
holds( path( s7,p17 ) ).
holds( link( s11,s2 ) ).
holds( link( s11,s15 ) ).
holds( link( s15,s0 ) ).
holds( path( s12,p212 ) ).
holds( path( s4,p134 ) ).
holds( path( p78,s8 ) ).
holds( link( s4,s7 ) ).
holds( link( s15,s13 ) ).
holds( path( p414,s4 ) ).
holds( link( s13,s8 ) ).
holds( link( s13,s1 ) ).
holds( path( p78,s7 ) ).
holds( link( s12,s13 ) ).
holds( link( s8,s10 ) ).
holds( path( s5,p50 ) ).
holds( link( s11,s14 ) ).
holds( path( s12,p123 ) ).
holds( link( s5,s4 ) ).
holds( link( s3,s15 ) ).
holds( link( s3,s10 ) ).
holds( path( p17,s7 ) ).
holds( link( s1,s9 ) ).
holds( path( s1,p115 ) ).
holds( link( s5,s3 ) ).
holds( path( p611,s6 ) ).
holds( path( s15,p1415 ) ).
holds( link( s8,s9 ) ).
holds( path( p313,s13 ) ).
holds( path( p110,s11 ) ).
holds( path( p210,s2 ) ).
holds( path( s9,p914 ) ).
holds( link( s12,s15 ) ).
holds( link( s0,s3 ) ).
holds( link( s2,s9 ) ).
holds( link( s2,s6 ) ).
holds( path( p115,s15 ) ).
holds( path( s10,p106 ) ).
holds( link( s11,s8 ) ).
holds( path( s1,p15 ) ).
holds( path( p94,s9 ) ).
holds( link( s3,s12 ) ).
holds( path( p115,s1 ) ).
holds( path( p15,s1 ) ).
holds( link( s14,s10 ) ).
holds( link( s2,s15 ) ).
holds( link( s10,s12 ) ).
holds( path( s10,p210 ) ).
holds( link( s2,s11 ) ).
holds( link( s15,s11 ) ).
holds( link( s0,s15 ) ).
holds( path( p213,s2 ) ).
holds( link( s12,s4 ) ).
holds( link( s15,s2 ) ).
holds( path( p154,s4 ) ).
holds( path( p25,s2 ) ).
holds( path( s14,p314 ) ).
holds( path( p210,s10 ) ).
holds( path( p134,s4 ) ).
holds( link( s0,s5 ) ).
holds( link( s1,s10 ) ).
holds( path( s8,p89 ) ).
holds( path( s2,p214 ) ).
holds( link( s14,s6 ) ).
holds( link( s5,s9 ) ).
holds( path( p26,s6 ) ).
holds( link( s7,s15 ) ).
holds( path( p97,s7 ) ).
holds( link( s14,s5 ) ).
holds( path( s0,p50 ) ).
holds( path( s14,p414 ) ).
holds( path( p515,s15 ) ).
holds( path( p89,s9 ) ).
holds( path( p154,s15 ) ).
holds( link( s4,s9 ) ).
holds( path( p21,s1 ) ).
holds( link( s4,s14 ) ).
holds( path( s2,p213 ) ).
holds( link( s8,s14 ) ).
holds( link( s15,s4 ) ).
holds( link( s3,s13 ) ).
holds( link( s13,s14 ) ).
holds( link( s2,s7 ) ).
holds( link( s4,s12 ) ).
holds( path( s8,p78 ) ).
holds( path( s4,p414 ) ).
holds( path( s7,p78 ) ).
holds( link( s3,s5 ) ).
holds( path( s1,p21 ) ).
holds( link( s13,s12 ) ).
holds( link( s10,s14 ) ).
holds( path( s2,p210 ) ).
holds( path( s3,p313 ) ).
holds( path( p50,s5 ) ).
holds( path( s15,p515 ) ).
holds( link( s1,s4 ) ).
holds( path( s1,p17 ) ).
holds( link( s14,s13 ) ).
holds( link( s3,s0 ) ).
holds( path( p515,s5 ) ).
holds( path( p314,s14 ) ).
holds( path( s5,p15 ) ).
% <<<<<  DOMAIN PREDICATES
% 

% 
% 
% INIT  >>>>>
init( at( package13,s2 ) ).
init( at( driver2,s13 ) ).
init( at( truck4,s3 ) ).
init( empty( truck4 ) ).
init( at( package12,s9 ) ).
init( at( package4,s6 ) ).
init( at( package11,s1 ) ).
init( empty( truck1 ) ).
init( at( package5,s2 ) ).
init( empty( truck2 ) ).
init( at( package14,s15 ) ).
init( at( package10,s5 ) ).
init( at( package7,s0 ) ).
init( at( package3,s3 ) ).
init( empty( truck3 ) ).
init( empty( truck5 ) ).
init( at( truck2,s8 ) ).
init( at( package9,s12 ) ).
init( at( package2,s14 ) ).
init( at( truck1,s2 ) ).
init( at( driver3,s10 ) ).
init( at( package8,s12 ) ).
init( at( package1,s12 ) ).
init( at( driver5,s2 ) ).
init( at( truck3,s12 ) ).
init( at( package15,s14 ) ).
init( at( package6,s1 ) ).
init( at( driver4,s9 ) ).
init( at( truck5,s10 ) ).
init( at( driver1,s10 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( at( driver2,s1 ),true ).
goal( at( driver4,s1 ),true ).
goal( at( driver5,s15 ),true ).
goal( at( truck1,s14 ),true ).
goal( at( truck2,s1 ),true ).
goal( at( truck3,s5 ),true ).
goal( at( truck4,s8 ),true ).
goal( at( truck5,s6 ),true ).
goal( at( package1,s1 ),true ).
goal( at( package2,s15 ),true ).
goal( at( package3,s10 ),true ).
goal( at( package4,s3 ),true ).
goal( at( package5,s6 ),true ).
goal( at( package6,s8 ),true ).
goal( at( package7,s0 ),true ).
goal( at( package8,s13 ),true ).
goal( at( package9,s1 ),true ).
goal( at( package10,s11 ),true ).
goal( at( package11,s8 ),true ).
goal( at( package12,s6 ),true ).
goal( at( package13,s10 ),true ).
goal( at( package14,s1 ),true ).
goal( at( package15,s4 ),true ).
% <<<<<  GOAL
% 

