begin%irreg%

/* Vijay Ranga Eadala
 * FILE: irreg.txt
 * one colony growth with time on the medium with different concentration of inhibitor
 */ 

/********************  I ********/
/* (I-1) */
/*line3(id, x, y, t) :- id=52, y-0.58x<=0, y>=0, 3.73x+y=0, t>=0, t<=3.*/
line3(id, x, y, t) :- id=52, y-0.58x<=0, y>=0, 3.73x+y-1.35t<=0, t>=0, t<=3. 
line3(id, x, y, t) :- id=52, y-0.58x<=0, y>=0, 3.73x+y-1.5t<=0, t>=4, t<=10.
line3(id, x, y, t) :- id=52, y-0.58x<=0, y>=0, 3.73x+y-1.7t<=0, t>=11, t <= 16.
/* (I-2) */
line3(id, x, y, t) :- id=51, y-0.58x>=0, y-1.73x<=0, x+y-0.5t<=0, t>=0, t<=3. 
line3(id, x, y, t) :- id=51, y-0.58x>=0, y-1.73x<=0, 0.81x+y-0.48t<=0, t>=4, t<=10.
line3(id, x, y, t) :- id=51, y-0.58x>=0, y-1.73x<=0, 0.509x+y-0.43t<=0, t>=11, t <= 16.
/* (I-3) */
line3(id, x, y, t) :- id=53, y-1.73x>=0, x>=0, y+0.27x-0.368t<=0, t>=0, t<=3.
line3(id, x, y, t) :- id=53, y-1.73x>=0, x>=0, y+0.2x-0.368t<=0, t>=4, t<=10. 
line3(id, x, y, t) :- id=53, y-1.73x>=0, x>=0, y+0.19x-0.368t<=0, t>=11, t <= 16.
/*line3(id, x, y, t) :- id=53, y-1.73x>=0, x>=0, y+0.1x-3.68<=0, t>=11, t<=15.*/
/*******************  III *******/
line3(id, x, y, t) :- id=54, y-0.58x<=0, y-1.73x>=0, x+y+0.5t>=0, t>=0, t <= 16.
line3(id, x, y, t) :- id=55, y-1.73x<=0, x<=0,  y+0.28x+0.368t>=0, t>=0, t <= 16.
line3(id, x, y, t) :- id=56,  y-0.58x>=0, y<=0, 3.73x+y+1.35t>=0, t>=0, t <= 16.
/******************** II **********/
line3(id, x, y, t) :- id=57, y+1.73x>=0, x<=0, y-0.28x-0.368t<=0, t>=0, t <= 16.
line3(id, x, y, t) :- id=58, y+1.73x<=0, y+0.58x>=0, y-x-0.5t <=0, t>=0, t <= 16.
line3(id, x, y, t) :- id=59, y+0.58x<=0, y>=0, y-3.73x-1.35t<=0, t>=0, t <= 16.
/*********************  IV *******/
/* (IV-1) */
line3(id, x, y, t) :- id=60, y+1.73x<=0, x>=0, y-0.28x+0.368t>=0, t>=0, t<=3.
line3(id, x, y, t) :- id=60, y+1.73x<=0, x>=0, y-0.2x+0.368t>=0, t>=4, t<=10.
line3(id, x, y, t) :- id=60, y+1.73x<=0, x>=0, y-0.19x+0.368t>=0, t>=11, t <= 16.
/* (IV-2) */
line3(id, x, y, t) :- id=61, y+1.73x>=0, y+0.58x<=0, y-x+0.5t >=0, t>=0, t<=3.
line3(id, x, y, t) :- id=61, y+1.73x>=0, y+0.58x<=0, y-0.81x+0.48t>=0, t>=4, t<=10.
line3(id, x, y, t) :- id=61, y+1.73x>=0, y+0.58x<=0, y-0.509x+0.43t>=0, t>=11, t <= 16.
/* (IV-3) */
line3(id, x, y, t) :- id=62, y+0.58x>=0, y<=0, y-3.73x+1.35t>=0, t>=0, t<=3.
line3(id, x, y, t) :- id=62, y+0.58x>=0, y<=0, y-3.73x+1.5t>=0, t>=4, t<=10.
line3(id, x, y, t) :- id=62, y+0.58x>=0, y<=0, y-3.73x+1.7t>=0, t>=11, t <= 16.
/*********************/
end%line1%