// eventually[1,2]
bool a: [0,1) true; [1,3) false; [3,4] true; (4,5) false; [5,6] true; (6,7] false; (7,8) true; [8,9) false; [9,10) true; [10,11] false; (11,12) true;

bool b: [0,12) true;
bool c: [0,12) false;


// correction 20190724 domainOut  [0.0,11.0-] 
//bool inputEventuallyLC12RCA: [0,1) false; [1,11) true; [11,11) false;
// correction validated 2016 04 18
bool inputEventuallyLC12RCA: [0,1) false; [1,9) true; [9,9] false; (9,11) true; //[11,12) false;

bool inputEventuallyLC12ROA: [0,1] false; (1,7) true; [7,7] false; (7,9) true; [9,9] false; (9,11) true;//[11,12) false;

bool inputEventuallyLO12RCA: [0,1) false; [1,5) true; [5,5] false; (5,9) true; [9,9] false; (9,11) true; //[11,12) false;

bool inputEventuallyLO12ROA: [0,1] false; (1,3) true; [3,3] false; (3,5) true; [5,5] false; (5,7) true; [7,7] false; (7,9) true; [9,9] false; (9,11) true; //[11,12) false;

bool inputEventuallyLO12ROB:  [0,11) true; //[11,12) false;
bool inputEventuallyLO12ROC:  [0,11) false; // [0,12) false;

