begin%agg%

shortestpath(x,y,t):- x=1.0000,y=1.0000,t=120.0000.
shortestpath(x,y,t):- x=1.0000,y=2.0000,t=60.0000.
shortestpath(x,y,t):- x=1.0000,y=3.0000,t=650.0000.
shortestpath(x,y,t):- x=1.0000,y=4.0000,t=390.0000.
shortestpath(x,y,t):- x=1.0000,y=5.0000,t=990.0000.
shortestpath(x,y,t):- x=1.0000,y=6.0000,t=210.0000.
shortestpath(x,y,t):- x=2.0000,y=1.0000,t=60.0000.
shortestpath(x,y,t):- x=2.0000,y=2.0000,t=120.0000.
shortestpath(x,y,t):- x=2.0000,y=3.0000,t=710.0000.
shortestpath(x,y,t):- x=2.0000,y=4.0000,t=330.0000.
shortestpath(x,y,t):- x=2.0000,y=5.0000,t=930.0000.
shortestpath(x,y,t):- x=2.0000,y=6.0000,t=150.0000.
shortestpath(x,y,t):- x=3.0000,y=1.0000,t=650.0000.
shortestpath(x,y,t):- x=3.0000,y=2.0000,t=710.0000.
shortestpath(x,y,t):- x=3.0000,y=3.0000,t=740.0000.
shortestpath(x,y,t):- x=3.0000,y=4.0000,t=970.0000.
shortestpath(x,y,t):- x=3.0000,y=5.0000,t=370.0000.
shortestpath(x,y,t):- x=3.0000,y=6.0000,t=860.0000.
shortestpath(x,y,t):- x=4.0000,y=1.0000,t=390.0000.
shortestpath(x,y,t):- x=4.0000,y=2.0000,t=330.0000.
shortestpath(x,y,t):- x=4.0000,y=3.0000,t=970.0000.
shortestpath(x,y,t):- x=4.0000,y=4.0000,t=360.0000.
shortestpath(x,y,t):- x=4.0000,y=5.0000,t=600.0000.
shortestpath(x,y,t):- x=4.0000,y=6.0000,t=180.0000.
shortestpath(x,y,t):- x=5.0000,y=1.0000,t=990.0000.
shortestpath(x,y,t):- x=5.0000,y=2.0000,t=930.0000.
shortestpath(x,y,t):- x=5.0000,y=3.0000,t=370.0000.
shortestpath(x,y,t):- x=5.0000,y=4.0000,t=600.0000.
shortestpath(x,y,t):- x=5.0000,y=5.0000,t=740.0000.
shortestpath(x,y,t):- x=5.0000,y=6.0000,t=780.0000.
shortestpath(x,y,t):- x=6.0000,y=1.0000,t=210.0000.
shortestpath(x,y,t):- x=6.0000,y=2.0000,t=150.0000.
shortestpath(x,y,t):- x=6.0000,y=3.0000,t=860.0000.
shortestpath(x,y,t):- x=6.0000,y=4.0000,t=180.0000.
shortestpath(x,y,t):- x=6.0000,y=5.0000,t=780.0000.
shortestpath(x,y,t):- x=6.0000,y=6.0000,t=300.0000.
end%agg%
