Benchmark

incremental/UF/20190906-CLEARSY/0001/00299.smt2

Benchmark without description.

Benchmark
Size	101239
Compressed Size	15663
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	59

Query 1

Status	unknown
Inferred Status	None
Size	84690
Compressed Size	14157
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	70	and	15
=>	17	=	670	forall	17

Query 2

Status	unknown
Inferred Status	None
Size	84737
Compressed Size	14160
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	70	and	15
=>	17	=	670	forall	17

Query 3

Status	unknown
Inferred Status	None
Size	84753
Compressed Size	14162
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	70	and	15
=>	17	=	670	forall	17

Query 4

Status	unknown
Inferred Status	None
Size	84772
Compressed Size	14162
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	70	and	15
=>	17	=	670	forall	17

Query 5

Status	unknown
Inferred Status	None
Size	84770
Compressed Size	14174
Max. Term Depth	34
Asserts	11
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	70	and	15
=>	17	=	670	forall	17

Query 6

Status	unknown
Inferred Status	None
Size	84790
Compressed Size	14176
Max. Term Depth	34
Asserts	11
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	70	and	15
=>	17	=	670	forall	17

Query 7

Status	unknown
Inferred Status	None
Size	84806
Compressed Size	14177
Max. Term Depth	34
Asserts	11
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	70	and	15
=>	17	=	670	forall	17

Query 8

Status	unknown
Inferred Status	None
Size	84825
Compressed Size	14178
Max. Term Depth	34
Asserts	11
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	70	and	15
=>	17	=	670	forall	17

Query 9

Status	unknown
Inferred Status	None
Size	85799
Compressed Size	14418
Max. Term Depth	34
Asserts	16
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	75	and	18
=>	22	=	682	forall	17

Query 10

Status	unknown
Inferred Status	None
Size	85822
Compressed Size	14427
Max. Term Depth	34
Asserts	16
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	74	and	18
=>	22	=	681	forall	17

Query 11

Status	unknown
Inferred Status	None
Size	85834
Compressed Size	14431
Max. Term Depth	34
Asserts	16
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	74	and	18
=>	22	=	681	forall	17

Query 12

Status	unknown
Inferred Status	None
Size	85809
Compressed Size	14417
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	73	and	16
=>	19	=	687	forall	17

Query 13

Status	unknown
Inferred Status	None
Size	85828
Compressed Size	14423
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	73	and	16
=>	19	=	687	forall	17

Query 14

Status	unknown
Inferred Status	None
Size	85847
Compressed Size	14425
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	73	and	16
=>	19	=	687	forall	17

Query 15

Status	unknown
Inferred Status	None
Size	85866
Compressed Size	14426
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	73	and	16
=>	19	=	687	forall	17

Query 16

Status	unknown
Inferred Status	None
Size	85900
Compressed Size	14431
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	73	and	16
=>	19	=	687	forall	17

Query 17

Status	unknown
Inferred Status	None
Size	85288
Compressed Size	14299
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	71	and	15
=>	19	=	678	forall	17

Query 18

Status	unknown
Inferred Status	None
Size	85333
Compressed Size	14313
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	71	and	15
=>	19	=	678	forall	17

Query 19

Status	unknown
Inferred Status	None
Size	86277
Compressed Size	14466
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	15
=>	19	=	682	forall	17

Query 20

Status	unknown
Inferred Status	None
Size	86321
Compressed Size	14478
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	15
=>	19	=	682	forall	17

Query 21

Status	unknown
Inferred Status	None
Size	86385
Compressed Size	14493
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	73	and	16
=>	19	=	683	forall	17

Query 22

Status	unknown
Inferred Status	None
Size	86387
Compressed Size	14504
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 23

Status	unknown
Inferred Status	None
Size	86409
Compressed Size	14509
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 24

Status	unknown
Inferred Status	None
Size	86425
Compressed Size	14501
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 25

Status	unknown
Inferred Status	None
Size	86440
Compressed Size	14506
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 26

Status	unknown
Inferred Status	None
Size	86485
Compressed Size	14508
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	73	and	16
=>	19	=	683	forall	17

Query 27

Status	unknown
Inferred Status	None
Size	86487
Compressed Size	14516
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 28

Status	unknown
Inferred Status	None
Size	86510
Compressed Size	14524
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 29

Status	unknown
Inferred Status	None
Size	86527
Compressed Size	14518
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 30

Status	unknown
Inferred Status	None
Size	86543
Compressed Size	14525
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 31

Status	unknown
Inferred Status	None
Size	86589
Compressed Size	14525
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	73	and	16
=>	19	=	683	forall	17

Query 32

Status	unknown
Inferred Status	None
Size	86592
Compressed Size	14537
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 33

Status	unknown
Inferred Status	None
Size	86615
Compressed Size	14540
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 34

Status	unknown
Inferred Status	None
Size	86632
Compressed Size	14535
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 35

Status	unknown
Inferred Status	None
Size	86648
Compressed Size	14541
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 36

Status	unknown
Inferred Status	None
Size	86694
Compressed Size	14545
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	73	and	16
=>	19	=	683	forall	17

Query 37

Status	unknown
Inferred Status	None
Size	86697
Compressed Size	14557
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 38

Status	unknown
Inferred Status	None
Size	86720
Compressed Size	14559
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 39

Status	unknown
Inferred Status	None
Size	86737
Compressed Size	14554
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 40

Status	unknown
Inferred Status	None
Size	86753
Compressed Size	14560
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 41

Status	unknown
Inferred Status	None
Size	86800
Compressed Size	14556
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	73	and	16
=>	19	=	683	forall	17

Query 42

Status	unknown
Inferred Status	None
Size	86820
Compressed Size	14559
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	73	and	16
=>	19	=	683	forall	17

Query 43

Status	unknown
Inferred Status	None
Size	86823
Compressed Size	14571
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 44

Status	unknown
Inferred Status	None
Size	86846
Compressed Size	14571
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 45

Status	unknown
Inferred Status	None
Size	86866
Compressed Size	14575
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 46

Status	unknown
Inferred Status	None
Size	86883
Compressed Size	14570
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 47

Status	unknown
Inferred Status	None
Size	86903
Compressed Size	14571
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 48

Status	unknown
Inferred Status	None
Size	86919
Compressed Size	14574
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 49

Status	unknown
Inferred Status	None
Size	86939
Compressed Size	14579
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	72	and	16
=>	19	=	682	forall	17

Query 50

Status	unknown
Inferred Status	None
Size	85788
Compressed Size	14410
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	72	and	15
=>	19	=	682	forall	17

Query 51

Status	unknown
Inferred Status	None
Size	85832
Compressed Size	14422
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	72	and	15
=>	19	=	682	forall	17

Query 52

Status	unknown
Inferred Status	None
Size	85879
Compressed Size	14447
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	72	and	16
=>	19	=	682	forall	17

Query 53

Status	unknown
Inferred Status	None
Size	85901
Compressed Size	14450
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	72	and	16
=>	19	=	682	forall	17

Query 54

Status	unknown
Inferred Status	None
Size	85917
Compressed Size	14444
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	72	and	16
=>	19	=	682	forall	17

Query 55

Status	unknown
Inferred Status	None
Size	85932
Compressed Size	14447
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	72	and	16
=>	19	=	682	forall	17

Query 56

Status	unknown
Inferred Status	None
Size	85960
Compressed Size	14458
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	72	and	16
=>	19	=	682	forall	17

Query 57

Status	unknown
Inferred Status	None
Size	85982
Compressed Size	14459
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	72	and	16
=>	19	=	682	forall	17

Query 58

Status	unknown
Inferred Status	None
Size	85998
Compressed Size	14455
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	72	and	16
=>	19	=	682	forall	17

Query 59

Status	unknown
Inferred Status	None
Size	86014
Compressed Size	14468
Max. Term Depth	34
Asserts	19
Declared Functions	125
Declared Constants	1138
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	72	and	16
=>	19	=	682	forall	17