#base.

% Domain: driverlog, Problem: DLOG-5-5-25
% 
% 
% OBJECTS  >>>>>
typedobject( location( p1518 ) ).
typedobject( location( p125 ) ).
typedobject( obj( package25 ) ).
typedobject( obj( package24 ) ).
typedobject( obj( package23 ) ).
typedobject( obj( package22 ) ).
typedobject( obj( package21 ) ).
typedobject( obj( package20 ) ).
typedobject( truck( truck5 ) ).
typedobject( truck( truck4 ) ).
typedobject( truck( truck1 ) ).
typedobject( truck( truck3 ) ).
typedobject( truck( truck2 ) ).
typedobject( location( p190 ) ).
typedobject( driver( driver5 ) ).
typedobject( location( p1714 ) ).
typedobject( location( p182 ) ).
typedobject( location( s6 ) ).
typedobject( location( p89 ) ).
typedobject( location( p191 ) ).
typedobject( location( p85 ) ).
typedobject( location( p03 ) ).
typedobject( location( p717 ) ).
typedobject( location( p09 ) ).
typedobject( location( p712 ) ).
typedobject( location( p1613 ) ).
typedobject( location( p1612 ) ).
typedobject( obj( package11 ) ).
typedobject( location( p47 ) ).
typedobject( location( p53 ) ).
typedobject( location( s19 ) ).
typedobject( driver( driver3 ) ).
typedobject( location( p49 ) ).
typedobject( driver( driver2 ) ).
typedobject( location( p316 ) ).
typedobject( location( p170 ) ).
typedobject( location( p101 ) ).
typedobject( location( p144 ) ).
typedobject( location( p146 ) ).
typedobject( obj( package16 ) ).
typedobject( location( p140 ) ).
typedobject( obj( package8 ) ).
typedobject( obj( package9 ) ).
typedobject( obj( package19 ) ).
typedobject( obj( package1 ) ).
typedobject( obj( package2 ) ).
typedobject( obj( package3 ) ).
typedobject( obj( package4 ) ).
typedobject( obj( package5 ) ).
typedobject( obj( package6 ) ).
typedobject( obj( package7 ) ).
typedobject( location( s9 ) ).
typedobject( location( s8 ) ).
typedobject( location( s3 ) ).
typedobject( location( s2 ) ).
typedobject( location( s1 ) ).
typedobject( location( s0 ) ).
typedobject( location( s7 ) ).
typedobject( location( p64 ) ).
typedobject( location( s5 ) ).
typedobject( location( s4 ) ).
typedobject( obj( package12 ) ).
typedobject( obj( package13 ) ).
typedobject( location( p1811 ) ).
typedobject( location( p193 ) ).
typedobject( obj( package10 ) ).
typedobject( location( p73 ) ).
typedobject( obj( package18 ) ).
typedobject( location( s18 ) ).
typedobject( location( p185 ) ).
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( p1011 ) ).
typedobject( location( p1015 ) ).
typedobject( location( s15 ) ).
typedobject( obj( package15 ) ).
typedobject( location( p132 ) ).
typedobject( location( p1419 ) ).
typedobject( driver( driver1 ) ).
typedobject( location( p138 ) ).
typedobject( location( p917 ) ).
typedobject( location( p118 ) ).
typedobject( driver( driver4 ) ).
typedobject( location( p913 ) ).
typedobject( location( p1917 ) ).
typedobject( location( p154 ) ).
typedobject( location( p110 ) ).
typedobject( location( s14 ) ).
% <<<<<  OBJECTS
% 

% 
% 
% DOMAIN PREDICATES  >>>>>
holds( link( s2,s16 ) ).
holds( link( s0,s16 ) ).
holds( path( p1811,s11 ) ).
holds( path( s16,p1612 ) ).
holds( link( s16,s5 ) ).
holds( path( p1613,s13 ) ).
holds( link( s14,s3 ) ).
holds( link( s1,s18 ) ).
holds( link( s12,s11 ) ).
holds( path( p47,s7 ) ).
holds( link( s14,s5 ) ).
holds( path( p154,s15 ) ).
holds( path( s10,p110 ) ).
holds( link( s7,s17 ) ).
holds( path( s13,p138 ) ).
holds( path( s5,p125 ) ).
holds( link( s18,s14 ) ).
holds( path( p712,s7 ) ).
holds( path( s19,p190 ) ).
holds( path( s12,p712 ) ).
holds( path( p1612,s16 ) ).
holds( link( s11,s4 ) ).
holds( link( s6,s12 ) ).
holds( link( s5,s16 ) ).
holds( path( p64,s4 ) ).
holds( link( s6,s10 ) ).
holds( link( s7,s3 ) ).
holds( link( s9,s10 ) ).
holds( path( s9,p89 ) ).
holds( path( s17,p170 ) ).
holds( path( p47,s4 ) ).
holds( link( s11,s1 ) ).
holds( path( p09,s0 ) ).
holds( link( s11,s13 ) ).
holds( path( p85,s5 ) ).
holds( link( s18,s4 ) ).
holds( link( s8,s18 ) ).
holds( link( s6,s3 ) ).
holds( link( s8,s13 ) ).
holds( link( s11,s12 ) ).
holds( path( p144,s14 ) ).
holds( path( s19,p1917 ) ).
holds( path( p170,s0 ) ).
holds( link( s9,s12 ) ).
holds( link( s4,s7 ) ).
holds( path( s1,p191 ) ).
holds( link( s17,s14 ) ).
holds( path( s7,p712 ) ).
holds( path( s11,p1811 ) ).
holds( link( s3,s14 ) ).
holds( link( s1,s13 ) ).
holds( path( p125,s12 ) ).
holds( link( s11,s6 ) ).
holds( link( s19,s6 ) ).
holds( link( s1,s11 ) ).
holds( path( s5,p85 ) ).
holds( link( s17,s5 ) ).
holds( path( s0,p170 ) ).
holds( path( p73,s7 ) ).
holds( path( p1811,s18 ) ).
holds( link( s1,s9 ) ).
holds( link( s5,s17 ) ).
holds( path( s13,p913 ) ).
holds( path( p190,s19 ) ).
holds( path( p144,s4 ) ).
holds( path( p1518,s15 ) ).
holds( path( s4,p154 ) ).
holds( link( s1,s12 ) ).
holds( path( p913,s13 ) ).
holds( path( s5,p185 ) ).
holds( path( s15,p1015 ) ).
holds( path( s4,p64 ) ).
holds( link( s13,s11 ) ).
holds( path( s19,p191 ) ).
holds( path( s0,p190 ) ).
holds( path( s14,p1419 ) ).
holds( path( s0,p140 ) ).
holds( path( s14,p146 ) ).
holds( link( s18,s11 ) ).
holds( path( s3,p316 ) ).
holds( path( s17,p1917 ) ).
holds( path( s11,p1011 ) ).
holds( path( s18,p1518 ) ).
holds( link( s10,s16 ) ).
holds( link( s9,s2 ) ).
holds( link( s8,s3 ) ).
holds( path( p118,s8 ) ).
holds( path( p154,s4 ) ).
holds( path( p717,s17 ) ).
holds( path( s19,p1419 ) ).
holds( path( p138,s8 ) ).
holds( link( s5,s12 ) ).
holds( link( s12,s2 ) ).
holds( link( s17,s19 ) ).
holds( path( p182,s2 ) ).
holds( link( s12,s5 ) ).
holds( path( p03,s0 ) ).
holds( path( p1714,s17 ) ).
holds( path( s9,p917 ) ).
holds( path( p185,s5 ) ).
holds( path( p138,s13 ) ).
holds( link( s15,s9 ) ).
holds( link( s1,s4 ) ).
holds( link( s6,s2 ) ).
holds( path( p316,s16 ) ).
holds( link( s15,s12 ) ).
holds( path( s6,p64 ) ).
holds( link( s14,s18 ) ).
holds( link( s3,s19 ) ).
holds( path( p1015,s15 ) ).
holds( link( s10,s12 ) ).
holds( path( s15,p154 ) ).
holds( path( p03,s3 ) ).
holds( path( p712,s12 ) ).
holds( link( s3,s11 ) ).
holds( path( p110,s1 ) ).
holds( path( s7,p717 ) ).
holds( path( s3,p53 ) ).
holds( link( s16,s0 ) ).
holds( path( s14,p144 ) ).
holds( link( s2,s4 ) ).
holds( path( p191,s19 ) ).
holds( path( p73,s3 ) ).
holds( path( s8,p85 ) ).
holds( path( p190,s0 ) ).
holds( path( p140,s14 ) ).
holds( path( p110,s10 ) ).
holds( link( s0,s8 ) ).
holds( path( p1419,s14 ) ).
holds( path( s2,p182 ) ).
holds( path( p64,s6 ) ).
holds( link( s17,s3 ) ).
holds( path( p140,s0 ) ).
holds( link( s13,s0 ) ).
holds( path( s12,p1612 ) ).
holds( path( p1612,s12 ) ).
holds( link( s5,s10 ) ).
holds( path( p146,s14 ) ).
holds( path( s0,p09 ) ).
holds( link( s4,s11 ) ).
holds( path( s16,p1613 ) ).
holds( link( s12,s0 ) ).
holds( link( s11,s19 ) ).
holds( link( s10,s5 ) ).
holds( link( s6,s14 ) ).
holds( link( s12,s6 ) ).
holds( path( s6,p146 ) ).
holds( link( s10,s2 ) ).
holds( path( p316,s3 ) ).
holds( path( s17,p717 ) ).
holds( path( p53,s3 ) ).
holds( link( s11,s9 ) ).
holds( path( p717,s7 ) ).
holds( link( s10,s18 ) ).
holds( link( s16,s7 ) ).
holds( link( s11,s5 ) ).
holds( link( s18,s0 ) ).
holds( path( s3,p73 ) ).
holds( path( p1613,s16 ) ).
holds( path( s2,p132 ) ).
holds( path( s3,p193 ) ).
holds( link( s10,s6 ) ).
holds( link( s0,s12 ) ).
holds( path( s10,p1011 ) ).
holds( link( s3,s7 ) ).
holds( link( s9,s1 ) ).
holds( path( s13,p132 ) ).
holds( link( s11,s17 ) ).
holds( link( s10,s9 ) ).
holds( path( p1011,s11 ) ).
holds( path( p1518,s18 ) ).
holds( link( s18,s1 ) ).
holds( link( s5,s14 ) ).
holds( link( s17,s7 ) ).
holds( link( s7,s18 ) ).
holds( link( s2,s9 ) ).
holds( path( p89,s8 ) ).
holds( link( s3,s8 ) ).
holds( link( s12,s9 ) ).
holds( path( p89,s9 ) ).
holds( link( s14,s17 ) ).
holds( link( s13,s3 ) ).
holds( path( s12,p125 ) ).
holds( path( p170,s17 ) ).
holds( link( s6,s19 ) ).
holds( path( p913,s9 ) ).
holds( path( s15,p1518 ) ).
holds( path( p185,s18 ) ).
holds( path( s9,p49 ) ).
holds( path( p146,s6 ) ).
holds( link( s11,s18 ) ).
holds( link( s0,s2 ) ).
holds( link( s2,s12 ) ).
holds( link( s2,s6 ) ).
holds( path( s7,p73 ) ).
holds( link( s16,s2 ) ).
holds( path( p1419,s19 ) ).
holds( link( s11,s3 ) ).
holds( path( s7,p47 ) ).
holds( path( s14,p140 ) ).
holds( path( p182,s18 ) ).
holds( link( s3,s17 ) ).
holds( path( s4,p47 ) ).
holds( link( s14,s6 ) ).
holds( path( s9,p09 ) ).
holds( link( s13,s10 ) ).
holds( link( s2,s15 ) ).
holds( path( p193,s19 ) ).
holds( link( s9,s11 ) ).
holds( link( s19,s17 ) ).
holds( link( s18,s7 ) ).
holds( path( s8,p89 ) ).
holds( path( p1917,s17 ) ).
holds( path( s18,p185 ) ).
holds( link( s16,s10 ) ).
holds( link( s18,s10 ) ).
holds( path( s18,p182 ) ).
holds( path( s19,p193 ) ).
holds( link( s4,s18 ) ).
holds( link( s7,s16 ) ).
holds( link( s5,s11 ) ).
holds( link( s0,s18 ) ).
holds( path( s3,p03 ) ).
holds( link( s11,s8 ) ).
holds( link( s15,s2 ) ).
holds( path( s14,p1714 ) ).
holds( path( s5,p53 ) ).
holds( path( p917,s9 ) ).
holds( path( p53,s5 ) ).
holds( path( s13,p1613 ) ).
holds( link( s0,s13 ) ).
holds( link( s18,s8 ) ).
holds( path( p132,s2 ) ).
holds( path( p49,s4 ) ).
holds( link( s3,s6 ) ).
holds( link( s13,s8 ) ).
holds( path( p193,s3 ) ).
holds( path( s0,p03 ) ).
holds( link( s13,s1 ) ).
holds( link( s6,s11 ) ).
holds( path( s18,p1811 ) ).
holds( path( s4,p144 ) ).
holds( link( s12,s1 ) ).
holds( path( p1015,s10 ) ).
holds( path( p1917,s19 ) ).
holds( path( p1011,s10 ) ).
holds( path( s8,p118 ) ).
holds( path( s8,p138 ) ).
holds( path( s17,p1714 ) ).
holds( link( s4,s1 ) ).
holds( link( s9,s15 ) ).
holds( link( s12,s10 ) ).
holds( path( p09,s9 ) ).
holds( link( s4,s2 ) ).
holds( path( s4,p49 ) ).
holds( link( s8,s0 ) ).
holds( link( s5,s15 ) ).
holds( link( s7,s4 ) ).
holds( link( s19,s11 ) ).
holds( link( s2,s10 ) ).
holds( link( s8,s11 ) ).
holds( path( p132,s13 ) ).
holds( path( p917,s17 ) ).
holds( path( p125,s5 ) ).
holds( link( s3,s13 ) ).
holds( path( s9,p913 ) ).
holds( link( s17,s11 ) ).
holds( link( s12,s15 ) ).
holds( link( s10,s13 ) ).
holds( path( p1714,s14 ) ).
holds( path( p191,s1 ) ).
holds( path( s16,p316 ) ).
holds( path( s1,p110 ) ).
holds( path( s10,p1015 ) ).
holds( path( p118,s11 ) ).
holds( link( s19,s3 ) ).
holds( path( p85,s8 ) ).
holds( link( s15,s5 ) ).
holds( link( s2,s0 ) ).
holds( path( s11,p118 ) ).
holds( path( s17,p917 ) ).
holds( path( p49,s9 ) ).
% <<<<<  DOMAIN PREDICATES
% 

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

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

