Benchmark

incremental/UFNIA/20190906-CLEARSY/0001/00207.smt2

Benchmark without description.

Benchmark
Size	116313
Compressed Size	15108
License	Creative Commons Attribution Non Commercial 4.0 International (CC-BY-NC-4.0)
Category	industrial
First Occurrence	2020-07-06
Generated By	David Deharbe, CLEARSY
Generated On	2019-09-06 00:00:00
Generator	bxml;pog;pog2smt (Atelier B)
Dolmen OK	1
strict Dolmen OK	1
check-sat calls	48

Query 1

Status	unknown
Inferred Status	None
Size	88973
Compressed Size	14206
Max. Term Depth	34
Asserts	9
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	79	and	45
=>	72	=	676	forall	67	exists	1
Int	102	div	1	+	26	-	27
<	1	<=	34	>	2	>=	18

Query 2

Status	unknown
Inferred Status	None
Size	89104
Compressed Size	14228
Max. Term Depth	34
Asserts	13
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	79	and	45
=>	72	=	676	forall	67	exists	1
Int	102	div	1	+	26	-	27
<	1	<=	34	>	2	>=	18

Query 3

Status	unknown
Inferred Status	None
Size	89081
Compressed Size	14204
Max. Term Depth	34
Asserts	12
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	79	and	45
=>	72	=	676	forall	67	exists	1
Int	102	div	1	+	26	-	27
<	1	<=	34	>	2	>=	18

Query 4

Status	unknown
Inferred Status	None
Size	89084
Compressed Size	14240
Max. Term Depth	34
Asserts	11
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	79	and	45
=>	72	=	676	forall	67	exists	1
Int	102	div	1	+	26	-	27
<	1	<=	34	>	2	>=	18

Query 5

Status	unknown
Inferred Status	None
Size	88935
Compressed Size	14153
Max. Term Depth	34
Asserts	9
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 6

Status	unknown
Inferred Status	None
Size	88979
Compressed Size	14167
Max. Term Depth	34
Asserts	9
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 7

Status	unknown
Inferred Status	None
Size	88961
Compressed Size	14162
Max. Term Depth	34
Asserts	9
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 8

Status	unknown
Inferred Status	None
Size	89023
Compressed Size	14174
Max. Term Depth	34
Asserts	9
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 9

Status	unknown
Inferred Status	None
Size	89042
Compressed Size	14172
Max. Term Depth	34
Asserts	9
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 10

Status	unknown
Inferred Status	None
Size	89036
Compressed Size	14168
Max. Term Depth	34
Asserts	9
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 11

Status	unknown
Inferred Status	None
Size	89074
Compressed Size	14175
Max. Term Depth	34
Asserts	9
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 12

Status	unknown
Inferred Status	None
Size	88990
Compressed Size	14208
Max. Term Depth	34
Asserts	9
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 13

Status	unknown
Inferred Status	None
Size	89034
Compressed Size	14222
Max. Term Depth	34
Asserts	9
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 14

Status	unknown
Inferred Status	None
Size	89016
Compressed Size	14215
Max. Term Depth	34
Asserts	9
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 15

Status	unknown
Inferred Status	None
Size	89084
Compressed Size	14228
Max. Term Depth	34
Asserts	9
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 16

Status	unknown
Inferred Status	None
Size	89097
Compressed Size	14231
Max. Term Depth	34
Asserts	9
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 17

Status	unknown
Inferred Status	None
Size	89091
Compressed Size	14222
Max. Term Depth	34
Asserts	9
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 18

Status	unknown
Inferred Status	None
Size	89131
Compressed Size	14230
Max. Term Depth	34
Asserts	9
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 19

Status	unknown
Inferred Status	None
Size	89093
Compressed Size	14210
Max. Term Depth	34
Asserts	13
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 20

Status	unknown
Inferred Status	None
Size	89137
Compressed Size	14226
Max. Term Depth	34
Asserts	13
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 21

Status	unknown
Inferred Status	None
Size	89119
Compressed Size	14219
Max. Term Depth	34
Asserts	13
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 22

Status	unknown
Inferred Status	None
Size	89187
Compressed Size	14232
Max. Term Depth	34
Asserts	13
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 23

Status	unknown
Inferred Status	None
Size	89200
Compressed Size	14234
Max. Term Depth	34
Asserts	13
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 24

Status	unknown
Inferred Status	None
Size	89194
Compressed Size	14226
Max. Term Depth	34
Asserts	13
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 25

Status	unknown
Inferred Status	None
Size	89234
Compressed Size	14233
Max. Term Depth	34
Asserts	13
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 26

Status	unknown
Inferred Status	None
Size	89096
Compressed Size	14206
Max. Term Depth	34
Asserts	13
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 27

Status	unknown
Inferred Status	None
Size	89140
Compressed Size	14222
Max. Term Depth	34
Asserts	13
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 28

Status	unknown
Inferred Status	None
Size	89122
Compressed Size	14215
Max. Term Depth	34
Asserts	13
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 29

Status	unknown
Inferred Status	None
Size	89184
Compressed Size	14227
Max. Term Depth	34
Asserts	13
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 30

Status	unknown
Inferred Status	None
Size	89203
Compressed Size	14223
Max. Term Depth	34
Asserts	13
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 31

Status	unknown
Inferred Status	None
Size	89197
Compressed Size	14221
Max. Term Depth	34
Asserts	13
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 32

Status	unknown
Inferred Status	None
Size	89235
Compressed Size	14228
Max. Term Depth	34
Asserts	13
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 33

Status	unknown
Inferred Status	None
Size	89085
Compressed Size	14196
Max. Term Depth	34
Asserts	12
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 34

Status	unknown
Inferred Status	None
Size	89129
Compressed Size	14210
Max. Term Depth	34
Asserts	12
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 35

Status	unknown
Inferred Status	None
Size	89111
Compressed Size	14205
Max. Term Depth	34
Asserts	12
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 36

Status	unknown
Inferred Status	None
Size	89179
Compressed Size	14218
Max. Term Depth	34
Asserts	12
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 37

Status	unknown
Inferred Status	None
Size	89192
Compressed Size	14221
Max. Term Depth	34
Asserts	12
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 38

Status	unknown
Inferred Status	None
Size	89186
Compressed Size	14212
Max. Term Depth	34
Asserts	12
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 39

Status	unknown
Inferred Status	None
Size	89226
Compressed Size	14218
Max. Term Depth	34
Asserts	12
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 40

Status	unknown
Inferred Status	None
Size	87869
Compressed Size	13986
Max. Term Depth	34
Asserts	17
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	79	and	44
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 41

Status	unknown
Inferred Status	None
Size	87913
Compressed Size	14002
Max. Term Depth	34
Asserts	17
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	79	and	44
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 42

Status	unknown
Inferred Status	None
Size	89105
Compressed Size	14229
Max. Term Depth	34
Asserts	11
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 43

Status	unknown
Inferred Status	None
Size	89150
Compressed Size	14244
Max. Term Depth	34
Asserts	11
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 44

Status	unknown
Inferred Status	None
Size	89133
Compressed Size	14236
Max. Term Depth	34
Asserts	11
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 45

Status	unknown
Inferred Status	None
Size	89202
Compressed Size	14248
Max. Term Depth	34
Asserts	11
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 46

Status	unknown
Inferred Status	None
Size	89216
Compressed Size	14251
Max. Term Depth	34
Asserts	11
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 47

Status	unknown
Inferred Status	None
Size	89211
Compressed Size	14243
Max. Term Depth	34
Asserts	11
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18

Query 48

Status	unknown
Inferred Status	None
Size	89252
Compressed Size	14249
Max. Term Depth	34
Asserts	11
Declared Functions	128
Declared Constants	950
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	79	and	45
=>	71	=	675	forall	66	exists	1
Int	101	div	1	+	26	-	27
<	1	<=	32	>	2	>=	18