echo s1-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s1-0.pddl

echo s1-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s1-1.pddl

echo s1-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s1-2.pddl

echo s1-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s1-3.pddl

echo s1-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s1-4.pddl

echo s2-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s2-0.pddl

echo s2-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s2-1.pddl

echo s2-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s2-2.pddl

echo s2-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s2-3.pddl

echo s2-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s2-4.pddl

echo s3-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s3-0.pddl

echo s3-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s3-1.pddl

echo s3-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s3-2.pddl

echo s3-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s3-3.pddl

echo s3-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s3-4.pddl

echo s4-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s4-0.pddl

echo s4-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s4-1.pddl

echo s4-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s4-2.pddl

echo s4-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s4-3.pddl

echo s4-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s4-4.pddl

echo s5-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s5-0.pddl

echo s5-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s5-1.pddl

echo s5-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s5-2.pddl

echo s5-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s5-3.pddl

echo s5-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s5-4.pddl

echo s6-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s6-0.pddl

echo s6-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s6-1.pddl

echo s6-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s6-2.pddl

echo s6-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s6-3.pddl

echo s6-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s6-4.pddl

echo s7-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s7-0.pddl

echo s7-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s7-1.pddl

echo s7-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s7-2.pddl

echo s7-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s7-3.pddl

echo s7-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s7-4.pddl

echo s8-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s8-0.pddl

echo s8-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s8-1.pddl

echo s8-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s8-2.pddl

echo s8-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s8-3.pddl

echo s8-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s8-4.pddl

echo s9-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s9-0.pddl

echo s9-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s9-1.pddl

echo s9-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s9-2.pddl

echo s9-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s9-3.pddl

echo s9-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s9-4.pddl

echo s10-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s10-0.pddl

echo s10-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s10-1.pddl

echo s10-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s10-2.pddl

echo s10-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s10-3.pddl

echo s10-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s10-4.pddl

echo s11-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s11-0.pddl

echo s11-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s11-1.pddl

echo s11-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s11-2.pddl

echo s11-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s11-3.pddl

echo s11-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s11-4.pddl

echo s12-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s12-0.pddl

echo s12-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s12-1.pddl

echo s12-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s12-2.pddl

echo s12-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s12-3.pddl

echo s12-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s12-4.pddl

echo s13-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s13-0.pddl

echo s13-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s13-1.pddl

echo s13-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s13-2.pddl

echo s13-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s13-3.pddl

echo s13-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s13-4.pddl

echo s14-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s14-0.pddl

echo s14-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s14-1.pddl

echo s14-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s14-2.pddl

echo s14-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s14-3.pddl

echo s14-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s14-4.pddl

echo s15-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s15-0.pddl

echo s15-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s15-1.pddl

echo s15-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s15-2.pddl

echo s15-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s15-3.pddl

echo s15-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s15-4.pddl

echo s16-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s16-0.pddl

echo s16-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s16-1.pddl

echo s16-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s16-2.pddl

echo s16-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s16-3.pddl

echo s16-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s16-4.pddl

echo s17-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s17-0.pddl

echo s17-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s17-1.pddl

echo s17-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s17-2.pddl

echo s17-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s17-3.pddl

echo s17-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s17-4.pddl

echo s18-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s18-0.pddl

echo s18-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s18-1.pddl

echo s18-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s18-2.pddl

echo s18-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s18-3.pddl

echo s18-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s18-4.pddl

echo s19-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s19-0.pddl

echo s19-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s19-1.pddl

echo s19-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s19-2.pddl

echo s19-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s19-3.pddl

echo s19-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s19-4.pddl

echo s20-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s20-0.pddl

echo s20-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s20-1.pddl

echo s20-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s20-2.pddl

echo s20-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s20-3.pddl

echo s20-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s20-4.pddl

echo s21-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s21-0.pddl

echo s21-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s21-1.pddl

echo s21-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s21-2.pddl

echo s21-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s21-3.pddl

echo s21-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s21-4.pddl

echo s22-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s22-0.pddl

echo s22-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s22-1.pddl

echo s22-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s22-2.pddl

echo s22-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s22-3.pddl

echo s22-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s22-4.pddl

echo s23-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s23-0.pddl

echo s23-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s23-1.pddl

echo s23-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s23-2.pddl

echo s23-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s23-3.pddl

echo s23-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s23-4.pddl

echo s24-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s24-0.pddl

echo s24-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s24-1.pddl

echo s24-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s24-2.pddl

echo s24-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s24-3.pddl

echo s24-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s24-4.pddl

echo s25-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s25-0.pddl

echo s25-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s25-1.pddl

echo s25-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s25-2.pddl

echo s25-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s25-3.pddl

echo s25-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s25-4.pddl

echo s26-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s26-0.pddl

echo s26-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s26-1.pddl

echo s26-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s26-2.pddl

echo s26-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s26-3.pddl

echo s26-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s26-4.pddl

echo s27-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s27-0.pddl

echo s27-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s27-1.pddl

echo s27-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s27-2.pddl

echo s27-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s27-3.pddl

echo s27-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s27-4.pddl

echo s28-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s28-0.pddl

echo s28-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s28-1.pddl

echo s28-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s28-2.pddl

echo s28-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s28-3.pddl

echo s28-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s28-4.pddl

echo s29-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s29-0.pddl

echo s29-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s29-1.pddl

echo s29-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s29-2.pddl

echo s29-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s29-3.pddl

echo s29-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s29-4.pddl

echo s30-0 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s30-0.pddl

echo s30-1 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s30-1.pddl

echo s30-2 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s30-2.pddl

echo s30-3 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s30-3.pddl

echo s30-4 
stan AIPS-2000/mic10/Untyped/domain.pddl  AIPS-2000/mic10/Untyped/s30-4.pddl

