begin%concen%


/* Vijay Eadala
 * FILE: concen.txt
 * one colony growth with time on the medium without inhibitor
 */ 

/********************  I ********/
line3(id, x, y, t) :- id=51, y-0.58x>=0, y-1.73x<=0, x+y-0.5t<=0, t>=0, t<=7. 
line3(id, x, y, t) :- id=52, y-0.58x<=0, y>=0, 3.73x+y-01.35t<=0, t>=0, t<=7. 
line3(id, x, y, t) :- id=53, y-1.73x>=0, x>=0, y+0.3x-0.368t<=0, t>=0, t<=7. 
/*******************  III *******/
line3(id, x, y, t) :- id=54, y-0.58x<=0, y-1.73x>=0, x+y+0.5t<=0, t>=0, t<=7.
line3(id, x, y, t) :- id=55, y-1.73x<=0, x<=0,  y+0.3x+0.368t<=0, t>=0, t<=7.
line3(id, x, y, t) :- id=56,  y-0.58x>=0, y<=0, 3.73x+y+1.35t<=0, t>=0, t<=7.
/******************** II **********/
line3(id, x, y, t) :- id=57, y+1.73x>=0, x<=0, y-0.28x-0.368t<=0, t>=0, t<=7.
line3(id, x, y, t) :- id=58, y+1.73x<=0, y+0.58x>=0, y-x-0.5t <=0, t>=0, t<=7.
line3(id, x, y, t) :- id=59, y+0.58x<=0, y>=0, y-3.73x-1.35t<=0, t>=0, t<=7.
/*********************  IV *******/
line3(id, x, y, t) :- id=60, y+1.73x<=0, x>=0, y-0.28x+0.368t<=0, t>=0, t<=7.
line3(id, x, y, t) :- id=61, y+1.73x>=0, y+0.58x<=0, y-x+0.5t <=0, t>=0, t<=7.
line3(id, x, y, t) :- id=62, y+0.58x>=0, y<=0, y-3.73x+1.35t<=0, t>=0, t<=7.
/*********************/
end%concen%