#Read file paradis.dac, and elimination of redundancy
Caractere: 5 Entity: 3 Group: 1
Eliminate redundancy 0%

#Sub test


#Caracterization in progress, searching...

group:1	size: 
		1

group:2	size: 
		1


#Instance: paradis.dac: 
1	f=(1)
2	f=(~1)