begin%three_colony%

/* Vijay Eadala
 * FILE: three.txt
 * three colonies grow on the medium with different concentration of 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-1.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.
/*********************/
/*********** relocation left of origin *********/
/******** I ***********/
line4(id, x, y, t) :- id=51, y-0.58x>=5.8, y-1.73x<=17.3, x+y-t<=-10, t>=0, t<=7. 
line4(id, x, y, t) :- id=52, y-0.58x<=5.8, y>=0, 3.73x+y-2.7t<=-37.3, t>=0, t<=7. 
line4(id, x, y, t) :- id=53, y-1.73x>=17.3, x>=-10, y+0.3x-0.735t<=-3, t>=0, t<=7. 
/********* III**********/
line4(id, x, y, t) :- id=54, y-0.58x<=5.8, y-1.73x>=17.3, x+y+t>=-10, t>=0, t<=7.
line4(id, x, y, t) :- id=55, y-1.73x<=17.3, x<=-10,  y+0.3x+0.735t>=-3, t>=0, t<=7.
line4(id, x, y, t) :- id=56,  y-0.58x>=5.8, y<=0, 3.73x+y+2.7t>=-37.3, t>=0, t<=7.
/********** II *********/
line4(id, x, y, t) :- id=57, y+1.73x>=-17.3, x<=-10, y-0.28x-0.735t<=2.8, t>=0, t<=7.
line4(id, x, y, t) :- id=58, y+1.73x<=-17.3, y+0.58x>=-5.8, y-x-t <=10, t>=0, t<=7.
line4(id, x, y, t) :- id=59, y+0.58x<=-5.8, y>=0, y-3.73x-2.7t<=37.3, t>=0, t<=7.
/************ IV *********/
line4(id, x, y, t) :- id=60, y+1.73x<=-17.3, x>=-10, y-0.28x+0.735t>=2.8, t>=0, t<=7.
line4(id, x, y, t) :- id=61, y+1.73x>=-17.3, y+0.58x<=-5.8, y-x+t >=10, t>=0, t<=7.
line4(id, x, y, t) :- id=62, y+0.58x>=-5.8, y<=0, y-3.73x+2.7t>=37.3, t>=0, t<=7.
/***********************/
/***************** relocation right **********/
/******** I ********/
line5(id, x, y, t) :- id=51, y-0.58x>=-5.8, y-1.73x<=-17.3, x+y-0.3t<=10, t>=0, t<=7. 
line5(id, x, y, t) :- id=52, y-0.58x<=-5.8, y>=0, 3.73x+y-0.81t<=37.3, t>=0, t<=7. 
line5(id, x, y, t) :- id=53, y-1.73x>=-17.3, x>=10, y+0.3x-0.221t<=3, t>=0, t<=7. 
/********* III **********/
line5(id, x, y, t) :- id=54, y-0.58x<=-5.8, y-1.73x>=-17.3, x+y+0.3t>=10, t>=0, t<=7.
line5(id, x, y, t) :- id=55, y-1.73x<=-17.3, x<=10,  y+0.3x+0.221t>=3, t>=0, t<=7.
line5(id, x, y, t) :- id=56,  y-0.58x>=-5.8, y<=0, 3.73x+y+0.81t>=37.3, t>=0, t<=7.
/*********** II *********/
line5(id, x, y, t) :- id=57, y+1.73x>=17.3, x<=10, y-0.28x-0.221t<=-2.8, t>=0, t<=7.
line5(id, x, y, t) :- id=58, y+1.73x<=17.3, y+0.58x>=5.8, y-x-0.3t <=-10, t>=0, t<=7.
line5(id, x, y, t) :- id=59, y+0.58x<=5.8, y>=0, y-3.73x-0.81t<=-37.3, t>=0, t<=7.
/*********** IV **********/
line5(id, x, y, t) :- id=60, y+1.73x<=17.3, x>=10, y-0.28x+0.221t>=-2.8, t>=0, t<=7.
line5(id, x, y, t) :- id=61, y+1.73x>=17.3, y+0.58x<=5.8, y-x+0.3t>=-10, t>=0, t<=7.
line5(id, x, y, t) :- id=62, y+0.58x>=5.8, y<=0, y-3.73x+0.81t>=-37.3, t>=0, t<=7.
/***********************/

end%three_colonies%