priorities for space.mod, space.dat z 1 ... all z[*,*] have same priority END priorities special_ordered_set_1 SOS1_1 10 30 ... name priority #vars "z[1,1]" 0.1 "z[1,2]" 0.2 "z[1,3]" 0.3 "z[1,4]" 0.4 "z[1,5]" 0.5 "z[1,6]" 0.6 "z[1,7]" 0.7 "z[1,8]" 0.8 "z[1,9]" 0.9 "z[1,10]" 1.0 "z[1,11]" 1.1 "z[1,12]" 1.2 "z[1,13]" 1.3 "z[1,14]" 1.4 "z[1,15]" 1.5 "z[1,16]" 1.6 "z[1,17]" 1.7 "z[1,18]" 1.8 "z[1,19]" 1.9 "z[1,20]" 2.0 "z[1,21]" 2.1 "z[1,22]" 2.2 "z[1,23]" 2.3 "z[1,24]" 2.4 "z[1,25]" 2.5 "z[1,26]" 2.6 "z[1,27]" 2.8 "z[1,28]" 3.0 "z[1,29]" 3.2 "z[1,30]" 3.4 SOS1_2 10 30 ... name priority #vars "z[2,1]" 0.1 "z[2,2]" 0.2 "z[2,3]" 0.3 "z[2,4]" 0.4 "z[2,5]" 0.5 "z[2,6]" 0.6 "z[2,7]" 0.7 "z[2,8]" 0.8 "z[2,9]" 0.9 "z[2,10]" 1.0 "z[2,11]" 1.1 "z[2,12]" 1.2 "z[2,13]" 1.3 "z[2,14]" 1.4 "z[2,15]" 1.5 "z[2,16]" 1.6 "z[2,17]" 1.7 "z[2,18]" 1.8 "z[2,19]" 1.9 "z[2,20]" 2.0 "z[2,21]" 2.1 "z[2,22]" 2.2 "z[2,23]" 2.3 "z[2,24]" 2.4 "z[2,25]" 2.5 "z[2,26]" 2.6 "z[2,27]" 2.8 "z[2,28]" 3.0 "z[2,29]" 3.2 "z[2,30]" 3.4 SOS1_3 10 30 ... name priority #vars "z[3,1]" 0.1 "z[3,2]" 0.2 "z[3,3]" 0.3 "z[3,4]" 0.4 "z[3,5]" 0.5 "z[3,6]" 0.6 "z[3,7]" 0.7 "z[3,8]" 0.8 "z[3,9]" 0.9 "z[3,10]" 1.0 "z[3,11]" 1.1 "z[3,12]" 1.2 "z[3,13]" 1.3 "z[3,14]" 1.4 "z[3,15]" 1.5 "z[3,16]" 1.6 "z[3,17]" 1.7 "z[3,18]" 1.8 "z[3,19]" 1.9 "z[3,20]" 2.0 "z[3,21]" 2.1 "z[3,22]" 2.2 "z[3,23]" 2.3 "z[3,24]" 2.4 "z[3,25]" 2.5 "z[3,26]" 2.6 "z[3,27]" 2.8 "z[3,28]" 3.0 "z[3,29]" 3.2 "z[3,30]" 3.4 SOS1_4 10 30 ... name priority #vars "z[4,1]" 0.1 "z[4,2]" 0.2 "z[4,3]" 0.3 "z[4,4]" 0.4 "z[4,5]" 0.5 "z[4,6]" 0.6 "z[4,7]" 0.7 "z[4,8]" 0.8 "z[4,9]" 0.9 "z[4,10]" 1.0 "z[4,11]" 1.1 "z[4,12]" 1.2 "z[4,13]" 1.3 "z[4,14]" 1.4 "z[4,15]" 1.5 "z[4,16]" 1.6 "z[4,17]" 1.7 "z[4,18]" 1.8 "z[4,19]" 1.9 "z[4,20]" 2.0 "z[4,21]" 2.1 "z[4,22]" 2.2 "z[4,23]" 2.3 "z[4,24]" 2.4 "z[4,25]" 2.5 "z[4,26]" 2.6 "z[4,27]" 2.8 "z[4,28]" 3.0 "z[4,29]" 3.2 "z[4,30]" 3.4 SOS1_5 10 30 ... name priority #vars "z[5,1]" 0.1 "z[5,2]" 0.2 "z[5,3]" 0.3 "z[5,4]" 0.4 "z[5,5]" 0.5 "z[5,6]" 0.6 "z[5,7]" 0.7 "z[5,8]" 0.8 "z[5,9]" 0.9 "z[5,10]" 1.0 "z[5,11]" 1.1 "z[5,12]" 1.2 "z[5,13]" 1.3 "z[5,14]" 1.4 "z[5,15]" 1.5 "z[5,16]" 1.6 "z[5,17]" 1.7 "z[5,18]" 1.8 "z[5,19]" 1.9 "z[5,20]" 2.0 "z[5,21]" 2.1 "z[5,22]" 2.2 "z[5,23]" 2.3 "z[5,24]" 2.4 "z[5,25]" 2.5 "z[5,26]" 2.6 "z[5,27]" 2.8 "z[5,28]" 3.0 "z[5,29]" 3.2 "z[5,30]" 3.4 SOS1_6 10 30 ... name priority #vars "z[6,1]" 0.1 "z[6,2]" 0.2 "z[6,3]" 0.3 "z[6,4]" 0.4 "z[6,5]" 0.5 "z[6,6]" 0.6 "z[6,7]" 0.7 "z[6,8]" 0.8 "z[6,9]" 0.9 "z[6,10]" 1.0 "z[6,11]" 1.1 "z[6,12]" 1.2 "z[6,13]" 1.3 "z[6,14]" 1.4 "z[6,15]" 1.5 "z[6,16]" 1.6 "z[6,17]" 1.7 "z[6,18]" 1.8 "z[6,19]" 1.9 "z[6,20]" 2.0 "z[6,21]" 2.1 "z[6,22]" 2.2 "z[6,23]" 2.3 "z[6,24]" 2.4 "z[6,25]" 2.5 "z[6,26]" 2.6 "z[6,27]" 2.8 "z[6,28]" 3.0 "z[6,29]" 3.2 "z[6,30]" 3.4 SOS1_7 10 30 ... name priority #vars "z[7,1]" 0.1 "z[7,2]" 0.2 "z[7,3]" 0.3 "z[7,4]" 0.4 "z[7,5]" 0.5 "z[7,6]" 0.6 "z[7,7]" 0.7 "z[7,8]" 0.8 "z[7,9]" 0.9 "z[7,10]" 1.0 "z[7,11]" 1.1 "z[7,12]" 1.2 "z[7,13]" 1.3 "z[7,14]" 1.4 "z[7,15]" 1.5 "z[7,16]" 1.6 "z[7,17]" 1.7 "z[7,18]" 1.8 "z[7,19]" 1.9 "z[7,20]" 2.0 "z[7,21]" 2.1 "z[7,22]" 2.2 "z[7,23]" 2.3 "z[7,24]" 2.4 "z[7,25]" 2.5 "z[7,26]" 2.6 "z[7,27]" 2.8 "z[7,28]" 3.0 "z[7,29]" 3.2 "z[7,30]" 3.4 SOS1_8 10 30 ... name priority #vars "z[8,1]" 0.1 "z[8,2]" 0.2 "z[8,3]" 0.3 "z[8,4]" 0.4 "z[8,5]" 0.5 "z[8,6]" 0.6 "z[8,7]" 0.7 "z[8,8]" 0.8 "z[8,9]" 0.9 "z[8,10]" 1.0 "z[8,11]" 1.1 "z[8,12]" 1.2 "z[8,13]" 1.3 "z[8,14]" 1.4 "z[8,15]" 1.5 "z[8,16]" 1.6 "z[8,17]" 1.7 "z[8,18]" 1.8 "z[8,19]" 1.9 "z[8,20]" 2.0 "z[8,21]" 2.1 "z[8,22]" 2.2 "z[8,23]" 2.3 "z[8,24]" 2.4 "z[8,25]" 2.5 "z[8,26]" 2.6 "z[8,27]" 2.8 "z[8,28]" 3.0 "z[8,29]" 3.2 "z[8,30]" 3.4 SOS1_9 10 30 ... name priority #vars "z[9,1]" 0.1 "z[9,2]" 0.2 "z[9,3]" 0.3 "z[9,4]" 0.4 "z[9,5]" 0.5 "z[9,6]" 0.6 "z[9,7]" 0.7 "z[9,8]" 0.8 "z[9,9]" 0.9 "z[9,10]" 1.0 "z[9,11]" 1.1 "z[9,12]" 1.2 "z[9,13]" 1.3 "z[9,14]" 1.4 "z[9,15]" 1.5 "z[9,16]" 1.6 "z[9,17]" 1.7 "z[9,18]" 1.8 "z[9,19]" 1.9 "z[9,20]" 2.0 "z[9,21]" 2.1 "z[9,22]" 2.2 "z[9,23]" 2.3 "z[9,24]" 2.4 "z[9,25]" 2.5 "z[9,26]" 2.6 "z[9,27]" 2.8 "z[9,28]" 3.0 "z[9,29]" 3.2 "z[9,30]" 3.4 SOS1_10 10 30 ... name priority #vars "z[10,1]" 0.1 "z[10,2]" 0.2 "z[10,3]" 0.3 "z[10,4]" 0.4 "z[10,5]" 0.5 "z[10,6]" 0.6 "z[10,7]" 0.7 "z[10,8]" 0.8 "z[10,9]" 0.9 "z[10,10]" 1.0 "z[10,11]" 1.1 "z[10,12]" 1.2 "z[10,13]" 1.3 "z[10,14]" 1.4 "z[10,15]" 1.5 "z[10,16]" 1.6 "z[10,17]" 1.7 "z[10,18]" 1.8 "z[10,19]" 1.9 "z[10,20]" 2.0 "z[10,21]" 2.1 "z[10,22]" 2.2 "z[10,23]" 2.3 "z[10,24]" 2.4 "z[10,25]" 2.5 "z[10,26]" 2.6 "z[10,27]" 2.8 "z[10,28]" 3.0 "z[10,29]" 3.2 "z[10,30]" 3.4 SOS1_11 10 30 ... name priority #vars "z[11,1]" 0.1 "z[11,2]" 0.2 "z[11,3]" 0.3 "z[11,4]" 0.4 "z[11,5]" 0.5 "z[11,6]" 0.6 "z[11,7]" 0.7 "z[11,8]" 0.8 "z[11,9]" 0.9 "z[11,10]" 1.0 "z[11,11]" 1.1 "z[11,12]" 1.2 "z[11,13]" 1.3 "z[11,14]" 1.4 "z[11,15]" 1.5 "z[11,16]" 1.6 "z[11,17]" 1.7 "z[11,18]" 1.8 "z[11,19]" 1.9 "z[11,20]" 2.0 "z[11,21]" 2.1 "z[11,22]" 2.2 "z[11,23]" 2.3 "z[11,24]" 2.4 "z[11,25]" 2.5 "z[11,26]" 2.6 "z[11,27]" 2.8 "z[11,28]" 3.0 "z[11,29]" 3.2 "z[11,30]" 3.4 SOS1_12 10 30 ... name priority #vars "z[12,1]" 0.1 "z[12,2]" 0.2 "z[12,3]" 0.3 "z[12,4]" 0.4 "z[12,5]" 0.5 "z[12,6]" 0.6 "z[12,7]" 0.7 "z[12,8]" 0.8 "z[12,9]" 0.9 "z[12,10]" 1.0 "z[12,11]" 1.1 "z[12,12]" 1.2 "z[12,13]" 1.3 "z[12,14]" 1.4 "z[12,15]" 1.5 "z[12,16]" 1.6 "z[12,17]" 1.7 "z[12,18]" 1.8 "z[12,19]" 1.9 "z[12,20]" 2.0 "z[12,21]" 2.1 "z[12,22]" 2.2 "z[12,23]" 2.3 "z[12,24]" 2.4 "z[12,25]" 2.5 "z[12,26]" 2.6 "z[12,27]" 2.8 "z[12,28]" 3.0 "z[12,29]" 3.2 "z[12,30]" 3.4 SOS1_13 10 30 ... name priority #vars "z[13,1]" 0.1 "z[13,2]" 0.2 "z[13,3]" 0.3 "z[13,4]" 0.4 "z[13,5]" 0.5 "z[13,6]" 0.6 "z[13,7]" 0.7 "z[13,8]" 0.8 "z[13,9]" 0.9 "z[13,10]" 1.0 "z[13,11]" 1.1 "z[13,12]" 1.2 "z[13,13]" 1.3 "z[13,14]" 1.4 "z[13,15]" 1.5 "z[13,16]" 1.6 "z[13,17]" 1.7 "z[13,18]" 1.8 "z[13,19]" 1.9 "z[13,20]" 2.0 "z[13,21]" 2.1 "z[13,22]" 2.2 "z[13,23]" 2.3 "z[13,24]" 2.4 "z[13,25]" 2.5 "z[13,26]" 2.6 "z[13,27]" 2.8 "z[13,28]" 3.0 "z[13,29]" 3.2 "z[13,30]" 3.4 SOS1_14 10 30 ... name priority #vars "z[14,1]" 0.1 "z[14,2]" 0.2 "z[14,3]" 0.3 "z[14,4]" 0.4 "z[14,5]" 0.5 "z[14,6]" 0.6 "z[14,7]" 0.7 "z[14,8]" 0.8 "z[14,9]" 0.9 "z[14,10]" 1.0 "z[14,11]" 1.1 "z[14,12]" 1.2 "z[14,13]" 1.3 "z[14,14]" 1.4 "z[14,15]" 1.5 "z[14,16]" 1.6 "z[14,17]" 1.7 "z[14,18]" 1.8 "z[14,19]" 1.9 "z[14,20]" 2.0 "z[14,21]" 2.1 "z[14,22]" 2.2 "z[14,23]" 2.3 "z[14,24]" 2.4 "z[14,25]" 2.5 "z[14,26]" 2.6 "z[14,27]" 2.8 "z[14,28]" 3.0 "z[14,29]" 3.2 "z[14,30]" 3.4 SOS1_15 10 30 ... name priority #vars "z[15,1]" 0.1 "z[15,2]" 0.2 "z[15,3]" 0.3 "z[15,4]" 0.4 "z[15,5]" 0.5 "z[15,6]" 0.6 "z[15,7]" 0.7 "z[15,8]" 0.8 "z[15,9]" 0.9 "z[15,10]" 1.0 "z[15,11]" 1.1 "z[15,12]" 1.2 "z[15,13]" 1.3 "z[15,14]" 1.4 "z[15,15]" 1.5 "z[15,16]" 1.6 "z[15,17]" 1.7 "z[15,18]" 1.8 "z[15,19]" 1.9 "z[15,20]" 2.0 "z[15,21]" 2.1 "z[15,22]" 2.2 "z[15,23]" 2.3 "z[15,24]" 2.4 "z[15,25]" 2.5 "z[15,26]" 2.6 "z[15,27]" 2.8 "z[15,28]" 3.0 "z[15,29]" 3.2 "z[15,30]" 3.4 SOS1_16 10 30 ... name priority #vars "z[16,1]" 0.1 "z[16,2]" 0.2 "z[16,3]" 0.3 "z[16,4]" 0.4 "z[16,5]" 0.5 "z[16,6]" 0.6 "z[16,7]" 0.7 "z[16,8]" 0.8 "z[16,9]" 0.9 "z[16,10]" 1.0 "z[16,11]" 1.1 "z[16,12]" 1.2 "z[16,13]" 1.3 "z[16,14]" 1.4 "z[16,15]" 1.5 "z[16,16]" 1.6 "z[16,17]" 1.7 "z[16,18]" 1.8 "z[16,19]" 1.9 "z[16,20]" 2.0 "z[16,21]" 2.1 "z[16,22]" 2.2 "z[16,23]" 2.3 "z[16,24]" 2.4 "z[16,25]" 2.5 "z[16,26]" 2.6 "z[16,27]" 2.8 "z[16,28]" 3.0 "z[16,29]" 3.2 "z[16,30]" 3.4 SOS1_17 10 30 ... name priority #vars "z[17,1]" 0.1 "z[17,2]" 0.2 "z[17,3]" 0.3 "z[17,4]" 0.4 "z[17,5]" 0.5 "z[17,6]" 0.6 "z[17,7]" 0.7 "z[17,8]" 0.8 "z[17,9]" 0.9 "z[17,10]" 1.0 "z[17,11]" 1.1 "z[17,12]" 1.2 "z[17,13]" 1.3 "z[17,14]" 1.4 "z[17,15]" 1.5 "z[17,16]" 1.6 "z[17,17]" 1.7 "z[17,18]" 1.8 "z[17,19]" 1.9 "z[17,20]" 2.0 "z[17,21]" 2.1 "z[17,22]" 2.2 "z[17,23]" 2.3 "z[17,24]" 2.4 "z[17,25]" 2.5 "z[17,26]" 2.6 "z[17,27]" 2.8 "z[17,28]" 3.0 "z[17,29]" 3.2 "z[17,30]" 3.4 SOS1_18 10 30 ... name priority #vars "z[18,1]" 0.1 "z[18,2]" 0.2 "z[18,3]" 0.3 "z[18,4]" 0.4 "z[18,5]" 0.5 "z[18,6]" 0.6 "z[18,7]" 0.7 "z[18,8]" 0.8 "z[18,9]" 0.9 "z[18,10]" 1.0 "z[18,11]" 1.1 "z[18,12]" 1.2 "z[18,13]" 1.3 "z[18,14]" 1.4 "z[18,15]" 1.5 "z[18,16]" 1.6 "z[18,17]" 1.7 "z[18,18]" 1.8 "z[18,19]" 1.9 "z[18,20]" 2.0 "z[18,21]" 2.1 "z[18,22]" 2.2 "z[18,23]" 2.3 "z[18,24]" 2.4 "z[18,25]" 2.5 "z[18,26]" 2.6 "z[18,27]" 2.8 "z[18,28]" 3.0 "z[18,29]" 3.2 "z[18,30]" 3.4 SOS1_19 10 30 ... name priority #vars "z[19,1]" 0.1 "z[19,2]" 0.2 "z[19,3]" 0.3 "z[19,4]" 0.4 "z[19,5]" 0.5 "z[19,6]" 0.6 "z[19,7]" 0.7 "z[19,8]" 0.8 "z[19,9]" 0.9 "z[19,10]" 1.0 "z[19,11]" 1.1 "z[19,12]" 1.2 "z[19,13]" 1.3 "z[19,14]" 1.4 "z[19,15]" 1.5 "z[19,16]" 1.6 "z[19,17]" 1.7 "z[19,18]" 1.8 "z[19,19]" 1.9 "z[19,20]" 2.0 "z[19,21]" 2.1 "z[19,22]" 2.2 "z[19,23]" 2.3 "z[19,24]" 2.4 "z[19,25]" 2.5 "z[19,26]" 2.6 "z[19,27]" 2.8 "z[19,28]" 3.0 "z[19,29]" 3.2 "z[19,30]" 3.4 SOS1_20 10 30 ... name priority #vars "z[20,1]" 0.1 "z[20,2]" 0.2 "z[20,3]" 0.3 "z[20,4]" 0.4 "z[20,5]" 0.5 "z[20,6]" 0.6 "z[20,7]" 0.7 "z[20,8]" 0.8 "z[20,9]" 0.9 "z[20,10]" 1.0 "z[20,11]" 1.1 "z[20,12]" 1.2 "z[20,13]" 1.3 "z[20,14]" 1.4 "z[20,15]" 1.5 "z[20,16]" 1.6 "z[20,17]" 1.7 "z[20,18]" 1.8 "z[20,19]" 1.9 "z[20,20]" 2.0 "z[20,21]" 2.1 "z[20,22]" 2.2 "z[20,23]" 2.3 "z[20,24]" 2.4 "z[20,25]" 2.5 "z[20,26]" 2.6 "z[20,27]" 2.8 "z[20,28]" 3.0 "z[20,29]" 3.2 "z[20,30]" 3.4 SOS1_21 10 30 ... name priority #vars "z[21,1]" 0.1 "z[21,2]" 0.2 "z[21,3]" 0.3 "z[21,4]" 0.4 "z[21,5]" 0.5 "z[21,6]" 0.6 "z[21,7]" 0.7 "z[21,8]" 0.8 "z[21,9]" 0.9 "z[21,10]" 1.0 "z[21,11]" 1.1 "z[21,12]" 1.2 "z[21,13]" 1.3 "z[21,14]" 1.4 "z[21,15]" 1.5 "z[21,16]" 1.6 "z[21,17]" 1.7 "z[21,18]" 1.8 "z[21,19]" 1.9 "z[21,20]" 2.0 "z[21,21]" 2.1 "z[21,22]" 2.2 "z[21,23]" 2.3 "z[21,24]" 2.4 "z[21,25]" 2.5 "z[21,26]" 2.6 "z[21,27]" 2.8 "z[21,28]" 3.0 "z[21,29]" 3.2 "z[21,30]" 3.4 SOS1_22 10 30 ... name priority #vars "z[22,1]" 0.1 "z[22,2]" 0.2 "z[22,3]" 0.3 "z[22,4]" 0.4 "z[22,5]" 0.5 "z[22,6]" 0.6 "z[22,7]" 0.7 "z[22,8]" 0.8 "z[22,9]" 0.9 "z[22,10]" 1.0 "z[22,11]" 1.1 "z[22,12]" 1.2 "z[22,13]" 1.3 "z[22,14]" 1.4 "z[22,15]" 1.5 "z[22,16]" 1.6 "z[22,17]" 1.7 "z[22,18]" 1.8 "z[22,19]" 1.9 "z[22,20]" 2.0 "z[22,21]" 2.1 "z[22,22]" 2.2 "z[22,23]" 2.3 "z[22,24]" 2.4 "z[22,25]" 2.5 "z[22,26]" 2.6 "z[22,27]" 2.8 "z[22,28]" 3.0 "z[22,29]" 3.2 "z[22,30]" 3.4 SOS1_23 10 30 ... name priority #vars "z[23,1]" 0.1 "z[23,2]" 0.2 "z[23,3]" 0.3 "z[23,4]" 0.4 "z[23,5]" 0.5 "z[23,6]" 0.6 "z[23,7]" 0.7 "z[23,8]" 0.8 "z[23,9]" 0.9 "z[23,10]" 1.0 "z[23,11]" 1.1 "z[23,12]" 1.2 "z[23,13]" 1.3 "z[23,14]" 1.4 "z[23,15]" 1.5 "z[23,16]" 1.6 "z[23,17]" 1.7 "z[23,18]" 1.8 "z[23,19]" 1.9 "z[23,20]" 2.0 "z[23,21]" 2.1 "z[23,22]" 2.2 "z[23,23]" 2.3 "z[23,24]" 2.4 "z[23,25]" 2.5 "z[23,26]" 2.6 "z[23,27]" 2.8 "z[23,28]" 3.0 "z[23,29]" 3.2 "z[23,30]" 3.4 SOS1_24 10 30 ... name priority #vars "z[24,1]" 0.1 "z[24,2]" 0.2 "z[24,3]" 0.3 "z[24,4]" 0.4 "z[24,5]" 0.5 "z[24,6]" 0.6 "z[24,7]" 0.7 "z[24,8]" 0.8 "z[24,9]" 0.9 "z[24,10]" 1.0 "z[24,11]" 1.1 "z[24,12]" 1.2 "z[24,13]" 1.3 "z[24,14]" 1.4 "z[24,15]" 1.5 "z[24,16]" 1.6 "z[24,17]" 1.7 "z[24,18]" 1.8 "z[24,19]" 1.9 "z[24,20]" 2.0 "z[24,21]" 2.1 "z[24,22]" 2.2 "z[24,23]" 2.3 "z[24,24]" 2.4 "z[24,25]" 2.5 "z[24,26]" 2.6 "z[24,27]" 2.8 "z[24,28]" 3.0 "z[24,29]" 3.2 "z[24,30]" 3.4 SOS1_25 10 30 ... name priority #vars "z[25,1]" 0.1 "z[25,2]" 0.2 "z[25,3]" 0.3 "z[25,4]" 0.4 "z[25,5]" 0.5 "z[25,6]" 0.6 "z[25,7]" 0.7 "z[25,8]" 0.8 "z[25,9]" 0.9 "z[25,10]" 1.0 "z[25,11]" 1.1 "z[25,12]" 1.2 "z[25,13]" 1.3 "z[25,14]" 1.4 "z[25,15]" 1.5 "z[25,16]" 1.6 "z[25,17]" 1.7 "z[25,18]" 1.8 "z[25,19]" 1.9 "z[25,20]" 2.0 "z[25,21]" 2.1 "z[25,22]" 2.2 "z[25,23]" 2.3 "z[25,24]" 2.4 "z[25,25]" 2.5 "z[25,26]" 2.6 "z[25,27]" 2.8 "z[25,28]" 3.0 "z[25,29]" 3.2 "z[25,30]" 3.4 END special_ordered_set_1