#base.

% Domain: driverlog, Problem: DLOG-8-6-25
% 
% 
% OBJECTS  >>>>>
typedobject( obj( package25 ) ).
typedobject( obj( package24 ) ).
typedobject( obj( package23 ) ).
typedobject( obj( package22 ) ).
typedobject( obj( package21 ) ).
typedobject( obj( package20 ) ).
typedobject( location( p517 ) ).
typedobject( truck( truck5 ) ).
typedobject( truck( truck4 ) ).
typedobject( truck( truck6 ) ).
typedobject( truck( truck1 ) ).
typedobject( truck( truck3 ) ).
typedobject( truck( truck2 ) ).
typedobject( location( p611 ) ).
typedobject( location( p138 ) ).
typedobject( driver( driver8 ) ).
typedobject( location( p1318 ) ).
typedobject( location( p80 ) ).
typedobject( location( p84 ) ).
typedobject( location( p02 ) ).
typedobject( location( p718 ) ).
typedobject( location( p719 ) ).
typedobject( location( p715 ) ).
typedobject( location( p29 ) ).
typedobject( location( p710 ) ).
typedobject( location( p139 ) ).
typedobject( location( p1612 ) ).
typedobject( obj( package11 ) ).
typedobject( location( p47 ) ).
typedobject( location( p1415 ) ).
typedobject( location( p43 ) ).
typedobject( location( p58 ) ).
typedobject( driver( driver3 ) ).
typedobject( location( p49 ) ).
typedobject( location( p312 ) ).
typedobject( location( p311 ) ).
typedobject( location( p1513 ) ).
typedobject( obj( package16 ) ).
typedobject( location( s19 ) ).
typedobject( obj( package8 ) ).
typedobject( obj( package9 ) ).
typedobject( obj( package19 ) ).
typedobject( driver( driver7 ) ).
typedobject( obj( package1 ) ).
typedobject( obj( package2 ) ).
typedobject( obj( package3 ) ).
typedobject( obj( package4 ) ).
typedobject( obj( package5 ) ).
typedobject( obj( package6 ) ).
typedobject( obj( package7 ) ).
typedobject( location( p140 ) ).
typedobject( location( s9 ) ).
typedobject( location( s8 ) ).
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( obj( package12 ) ).
typedobject( obj( package13 ) ).
typedobject( location( p76 ) ).
typedobject( obj( package10 ) ).
typedobject( location( p215 ) ).
typedobject( location( p214 ) ).
typedobject( obj( package18 ) ).
typedobject( location( s18 ) ).
typedobject( location( p186 ) ).
typedobject( location( s13 ) ).
typedobject( location( s12 ) ).
typedobject( location( s11 ) ).
typedobject( location( s10 ) ).
typedobject( location( s17 ) ).
typedobject( location( s16 ) ).
typedobject( obj( package14 ) ).
typedobject( obj( package17 ) ).
typedobject( location( p1013 ) ).
typedobject( location( s15 ) ).
typedobject( obj( package15 ) ).
typedobject( location( p1413 ) ).
typedobject( location( p114 ) ).
typedobject( location( p115 ) ).
typedobject( location( p411 ) ).
typedobject( location( p416 ) ).
typedobject( location( p135 ) ).
typedobject( driver( driver1 ) ).
typedobject( location( p016 ) ).
typedobject( driver( driver2 ) ).
typedobject( driver( driver5 ) ).
typedobject( driver( driver4 ) ).
typedobject( location( p121 ) ).
typedobject( driver( driver6 ) ).
typedobject( location( p1918 ) ).
typedobject( location( p155 ) ).
typedobject( location( s14 ) ).
typedobject( location( p1911 ) ).
% <<<<<  OBJECTS
% 

% 
% 
% DOMAIN PREDICATES  >>>>>
holds( link( s2,s14 ) ).
holds( link( s1,s9 ) ).
holds( path( s15,p155 ) ).
holds( path( p135,s13 ) ).
holds( link( s14,s4 ) ).
holds( path( s13,p139 ) ).
holds( link( s3,s4 ) ).
holds( link( s17,s15 ) ).
holds( path( p1918,s19 ) ).
holds( path( p016,s0 ) ).
holds( link( s10,s19 ) ).
holds( link( s3,s6 ) ).
holds( path( s13,p1013 ) ).
holds( path( s0,p02 ) ).
holds( link( s5,s15 ) ).
holds( path( p715,s7 ) ).
holds( path( p76,s6 ) ).
holds( link( s16,s17 ) ).
holds( path( s15,p215 ) ).
holds( link( s19,s6 ) ).
holds( path( p155,s15 ) ).
holds( path( p214,s14 ) ).
holds( path( s5,p135 ) ).
holds( link( s9,s15 ) ).
holds( link( s6,s18 ) ).
holds( link( s4,s14 ) ).
holds( path( p29,s9 ) ).
holds( link( s6,s12 ) ).
holds( link( s7,s9 ) ).
holds( link( s8,s11 ) ).
holds( link( s18,s19 ) ).
holds( path( p49,s9 ) ).
holds( path( p139,s13 ) ).
holds( path( p215,s2 ) ).
holds( link( s17,s11 ) ).
holds( link( s19,s2 ) ).
holds( path( s0,p016 ) ).
holds( link( s1,s12 ) ).
holds( path( s4,p49 ) ).
holds( link( s16,s0 ) ).
holds( link( s8,s9 ) ).
holds( link( s6,s11 ) ).
holds( link( s8,s6 ) ).
holds( path( s18,p1918 ) ).
holds( path( s19,p719 ) ).
holds( path( p186,s18 ) ).
holds( path( s13,p1318 ) ).
holds( path( s11,p1911 ) ).
holds( link( s5,s16 ) ).
holds( path( p1513,s13 ) ).
holds( link( s16,s12 ) ).
holds( path( s1,p114 ) ).
holds( path( p1415,s15 ) ).
holds( link( s4,s3 ) ).
holds( link( s19,s10 ) ).
holds( link( s16,s11 ) ).
holds( path( s6,p76 ) ).
holds( link( s16,s6 ) ).
holds( link( s4,s7 ) ).
holds( link( s2,s19 ) ).
holds( path( p47,s7 ) ).
holds( link( s7,s6 ) ).
holds( path( p139,s9 ) ).
holds( path( s3,p311 ) ).
holds( path( s15,p1415 ) ).
holds( link( s2,s18 ) ).
holds( link( s6,s7 ) ).
holds( path( p411,s11 ) ).
holds( path( s5,p155 ) ).
holds( path( s8,p80 ) ).
holds( path( s1,p121 ) ).
holds( path( p1013,s13 ) ).
holds( link( s10,s11 ) ).
holds( path( s4,p416 ) ).
holds( path( p1413,s13 ) ).
holds( path( p517,s17 ) ).
holds( path( p312,s3 ) ).
holds( link( s12,s1 ) ).
holds( path( p1513,s15 ) ).
holds( path( p155,s5 ) ).
holds( path( p84,s8 ) ).
holds( path( p718,s18 ) ).
holds( path( p80,s8 ) ).
holds( link( s16,s10 ) ).
holds( path( s2,p02 ) ).
holds( path( p186,s6 ) ).
holds( link( s12,s18 ) ).
holds( path( p58,s8 ) ).
holds( path( p121,s1 ) ).
holds( link( s4,s15 ) ).
holds( link( s8,s10 ) ).
holds( link( s8,s0 ) ).
holds( path( s7,p76 ) ).
holds( path( s12,p121 ) ).
holds( path( p02,s0 ) ).
holds( path( p84,s4 ) ).
holds( path( s7,p718 ) ).
holds( link( s7,s3 ) ).
holds( link( s15,s16 ) ).
holds( path( s14,p1413 ) ).
holds( link( s11,s16 ) ).
holds( path( p02,s2 ) ).
holds( path( s18,p1318 ) ).
holds( path( p416,s4 ) ).
holds( path( s14,p1415 ) ).
holds( path( s15,p715 ) ).
holds( link( s13,s9 ) ).
holds( link( s0,s5 ) ).
holds( link( s1,s3 ) ).
holds( path( s1,p115 ) ).
holds( link( s13,s17 ) ).
holds( link( s17,s16 ) ).
holds( link( s4,s12 ) ).
holds( path( s6,p611 ) ).
holds( path( s19,p1918 ) ).
holds( path( p1013,s10 ) ).
holds( path( p114,s14 ) ).
holds( path( p215,s15 ) ).
holds( link( s19,s8 ) ).
holds( path( p311,s3 ) ).
holds( path( p312,s12 ) ).
holds( path( p29,s2 ) ).
holds( link( s9,s1 ) ).
holds( path( p719,s7 ) ).
holds( link( s9,s5 ) ).
holds( path( s13,p1513 ) ).
holds( path( s9,p29 ) ).
holds( link( s6,s19 ) ).
holds( path( s7,p47 ) ).
holds( path( s15,p1513 ) ).
holds( path( s18,p718 ) ).
holds( path( s14,p114 ) ).
holds( link( s18,s7 ) ).
holds( path( s4,p84 ) ).
holds( path( p140,s0 ) ).
holds( path( s2,p215 ) ).
holds( link( s5,s4 ) ).
holds( path( s7,p719 ) ).
holds( link( s6,s1 ) ).
holds( path( p135,s5 ) ).
holds( path( s13,p138 ) ).
holds( link( s5,s17 ) ).
holds( path( s0,p80 ) ).
holds( path( s16,p016 ) ).
holds( link( s15,s9 ) ).
holds( path( p138,s13 ) ).
holds( link( s11,s5 ) ).
holds( link( s11,s1 ) ).
holds( link( s17,s5 ) ).
holds( link( s15,s12 ) ).
holds( link( s18,s6 ) ).
holds( path( p80,s0 ) ).
holds( link( s5,s3 ) ).
holds( path( p115,s15 ) ).
holds( path( s11,p311 ) ).
holds( path( p43,s4 ) ).
holds( link( s10,s13 ) ).
holds( path( s4,p43 ) ).
holds( link( s8,s15 ) ).
holds( link( s14,s8 ) ).
holds( link( s9,s18 ) ).
holds( link( s6,s2 ) ).
holds( path( s4,p47 ) ).
holds( path( s8,p138 ) ).
holds( path( p710,s10 ) ).
holds( link( s18,s14 ) ).
holds( path( p1612,s12 ) ).
holds( link( s12,s6 ) ).
holds( link( s5,s11 ) ).
holds( path( p58,s5 ) ).
holds( link( s9,s7 ) ).
holds( link( s18,s2 ) ).
holds( path( p710,s7 ) ).
holds( link( s10,s15 ) ).
holds( link( s11,s8 ) ).
holds( path( s5,p517 ) ).
holds( path( s13,p135 ) ).
holds( link( s15,s17 ) ).
holds( link( s6,s3 ) ).
holds( link( s15,s5 ) ).
holds( link( s14,s16 ) ).
holds( link( s19,s18 ) ).
holds( link( s10,s8 ) ).
holds( path( s9,p49 ) ).
holds( link( s0,s8 ) ).
holds( path( p1911,s19 ) ).
holds( path( s4,p411 ) ).
holds( link( s12,s16 ) ).
holds( link( s18,s3 ) ).
holds( path( p76,s7 ) ).
holds( path( s9,p139 ) ).
holds( link( s7,s4 ) ).
holds( path( s11,p411 ) ).
holds( path( p121,s12 ) ).
holds( path( s13,p1413 ) ).
holds( path( s12,p312 ) ).
holds( path( s8,p84 ) ).
holds( link( s10,s16 ) ).
holds( link( s18,s12 ) ).
holds( link( s1,s0 ) ).
holds( link( s11,s17 ) ).
holds( link( s3,s7 ) ).
holds( link( s3,s1 ) ).
holds( link( s14,s2 ) ).
holds( path( s10,p1013 ) ).
holds( link( s8,s19 ) ).
holds( path( p311,s11 ) ).
holds( path( p718,s7 ) ).
holds( path( s0,p140 ) ).
holds( link( s4,s5 ) ).
holds( path( s14,p214 ) ).
holds( link( s12,s15 ) ).
holds( path( s15,p115 ) ).
holds( link( s12,s8 ) ).
holds( link( s3,s11 ) ).
holds( path( s12,p1612 ) ).
holds( link( s13,s10 ) ).
holds( link( s16,s15 ) ).
holds( link( s16,s14 ) ).
holds( path( p49,s4 ) ).
holds( path( s19,p1911 ) ).
holds( path( p1413,s14 ) ).
holds( link( s15,s4 ) ).
holds( link( s15,s8 ) ).
holds( path( p140,s14 ) ).
holds( path( p1612,s16 ) ).
holds( link( s0,s16 ) ).
holds( link( s8,s14 ) ).
holds( link( s18,s9 ) ).
holds( link( s2,s6 ) ).
holds( link( s10,s0 ) ).
holds( link( s11,s3 ) ).
holds( path( p1318,s18 ) ).
holds( path( p016,s16 ) ).
holds( path( s16,p416 ) ).
holds( path( s2,p214 ) ).
holds( path( p138,s8 ) ).
holds( link( s1,s6 ) ).
holds( link( s9,s8 ) ).
holds( path( s7,p715 ) ).
holds( path( p114,s1 ) ).
holds( link( s11,s6 ) ).
holds( link( s14,s18 ) ).
holds( link( s8,s17 ) ).
holds( link( s6,s8 ) ).
holds( path( s18,p186 ) ).
holds( path( s3,p43 ) ).
holds( path( p1918,s18 ) ).
holds( link( s6,s16 ) ).
holds( path( p1415,s14 ) ).
holds( path( p719,s19 ) ).
holds( link( s11,s10 ) ).
holds( path( s17,p517 ) ).
holds( path( s6,p186 ) ).
holds( path( s8,p58 ) ).
holds( path( p611,s11 ) ).
holds( path( p715,s15 ) ).
holds( path( p1318,s13 ) ).
holds( link( s5,s0 ) ).
holds( link( s9,s13 ) ).
holds( path( p1911,s11 ) ).
holds( path( p115,s1 ) ).
holds( link( s5,s9 ) ).
holds( path( p47,s4 ) ).
holds( link( s7,s18 ) ).
holds( link( s2,s13 ) ).
holds( link( s16,s5 ) ).
holds( link( s1,s11 ) ).
holds( link( s3,s5 ) ).
holds( link( s0,s10 ) ).
holds( path( s10,p710 ) ).
holds( path( s5,p58 ) ).
holds( path( s7,p710 ) ).
holds( link( s3,s18 ) ).
holds( path( p411,s4 ) ).
holds( link( s15,s10 ) ).
holds( link( s17,s13 ) ).
holds( link( s8,s12 ) ).
holds( path( s14,p140 ) ).
holds( path( s16,p1612 ) ).
holds( path( p43,s3 ) ).
holds( path( s3,p312 ) ).
holds( link( s17,s8 ) ).
holds( path( p517,s5 ) ).
holds( path( s11,p611 ) ).
holds( link( s12,s4 ) ).
holds( path( p214,s2 ) ).
holds( link( s13,s2 ) ).
holds( link( s0,s1 ) ).
holds( path( p611,s6 ) ).
holds( path( p416,s16 ) ).
holds( path( s2,p29 ) ).
% <<<<<  DOMAIN PREDICATES
% 

% 
% 
% INIT  >>>>>
init( at( package16,s17 ) ).
init( at( package14,s14 ) ).
init( at( package21,s12 ) ).
init( at( package4,s2 ) ).
init( empty( truck2 ) ).
init( empty( truck3 ) ).
init( empty( truck5 ) ).
init( at( package5,s8 ) ).
init( at( truck1,s13 ) ).
init( at( package6,s9 ) ).
init( at( package9,s1 ) ).
init( at( package15,s11 ) ).
init( at( truck3,s5 ) ).
init( empty( truck6 ) ).
init( at( truck4,s17 ) ).
init( at( truck2,s8 ) ).
init( empty( truck1 ) ).
init( at( driver5,s13 ) ).
init( at( package12,s6 ) ).
init( at( driver3,s19 ) ).
init( at( package19,s0 ) ).
init( at( driver7,s16 ) ).
init( at( package13,s16 ) ).
init( at( package18,s18 ) ).
init( at( package22,s11 ) ).
init( at( package17,s14 ) ).
init( at( package10,s3 ) ).
init( empty( truck4 ) ).
init( at( package2,s15 ) ).
init( at( driver8,s8 ) ).
init( at( truck5,s16 ) ).
init( at( package1,s18 ) ).
init( at( driver2,s12 ) ).
init( at( driver4,s15 ) ).
init( at( package11,s1 ) ).
init( at( package7,s15 ) ).
init( at( truck6,s16 ) ).
init( at( package25,s8 ) ).
init( at( package24,s6 ) ).
init( at( driver6,s0 ) ).
init( at( package8,s15 ) ).
init( at( package3,s8 ) ).
init( at( package20,s0 ) ).
init( at( package23,s17 ) ).
init( at( driver1,s13 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( at( driver1,s13 ),true ).
goal( at( driver2,s6 ),true ).
goal( at( driver3,s15 ),true ).
goal( at( driver5,s6 ),true ).
goal( at( driver6,s5 ),true ).
goal( at( driver7,s8 ),true ).
goal( at( truck3,s5 ),true ).
goal( at( truck4,s18 ),true ).
goal( at( truck6,s12 ),true ).
goal( at( package1,s6 ),true ).
goal( at( package2,s7 ),true ).
goal( at( package3,s3 ),true ).
goal( at( package4,s11 ),true ).
goal( at( package5,s5 ),true ).
goal( at( package6,s14 ),true ).
goal( at( package7,s19 ),true ).
goal( at( package8,s16 ),true ).
goal( at( package9,s13 ),true ).
goal( at( package10,s9 ),true ).
goal( at( package11,s7 ),true ).
goal( at( package12,s3 ),true ).
goal( at( package13,s11 ),true ).
goal( at( package14,s14 ),true ).
goal( at( package15,s2 ),true ).
goal( at( package16,s12 ),true ).
goal( at( package18,s2 ),true ).
goal( at( package19,s4 ),true ).
goal( at( package20,s7 ),true ).
goal( at( package21,s8 ),true ).
goal( at( package22,s14 ),true ).
goal( at( package23,s10 ),true ).
goal( at( package24,s4 ),true ).
goal( at( package25,s16 ),true ).
% <<<<<  GOAL
% 

