***************** DEFTYPE *******************

deftype type45
	a_kind_of integer;
	range [1..10].

deftype type40
	a_kind_of integer;
	range [1..10].

deftype type28
	a_kind_of integer;
	range [1..10].

deftype type27
	a_kind_of symbol;
	range (v50 v49 v47 v48 v36 v35 v37 v39 v40 v44 v45 v42 v41 v52 v53 v2 v3 v4 v5).

deftype type58
	a_kind_of integer;
	range [1..10].

deftype type57
	a_kind_of integer;
	range [1..10].

deftype type56
	a_kind_of integer;
	range [1..10].

deftype type38
	a_kind_of integer;
	range [1..10].

deftype type37
	a_kind_of integer;
	range [1..10].

deftype type67
	a_kind_of integer;
	range [1..10].

deftype type36
	a_kind_of integer;
	range [1..10].

deftype type66
	a_kind_of integer;
	range [1..10].

deftype type35
	a_kind_of integer;
	range [1..10].

deftype type33
	a_kind_of integer;
	range [1..10].

deftype type64
	a_kind_of integer;
	range [1..10].

deftype type31
	a_kind_of integer;
	range [1..10].

deftype type30
	a_kind_of integer;
	range [1..10].

deftype type0
	a_kind_of integer;
	range [1..10].

deftype type47
	a_kind_of integer;
	range [1..10].