relvarset1 = sylvan_set_fromarray(relvars1, 18);
if ((i < deltai) < gammai){
uint8_t rel_enc__[18] = {1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 0};
relvarset1 = sylvan_set_fromarray(relvars1, 18);
if ((i < deltai) < gammai){
uint8_t rel_enc__[18] = {1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 0};