
**1 OSF V0.2> %include "MESH.osf". %encode.
*** Reading from file: MESH.osf
*** There are 286381 sorts defined
*** Performing transitive closure...
*** Layer 1 has 223213 sorts
*** Layer 2 has 32874 sorts
*** Layer 3 has 20244 sorts
*** Layer 4 has 5965 sorts
*** Layer 5 has 2258 sorts
*** Layer 6 has 964 sorts
*** Layer 7 has 442 sorts
*** Layer 8 has 227 sorts
*** Layer 9 has 106 sorts
*** Layer 10 has 52 sorts
*** Layer 11 has 22 sorts
*** Layer 12 has 9 sorts
*** Layer 13 has 4 sorts
*** Layer 14 has 1 sorts
*** Layer 15 has 1 sorts
*** Transitive closure processing time = 17229 ms
*** Performing consistency check of the taxonomy...
*** Code consistency check processing time = 17 ms
*** Performing reordering of the taxonomy...
*** Reordering processing time = 87172 ms
*** Committing all sorts...
*** Sort commitment processing time = 2327 ms
*** The sort taxonomy has been encoded (286381 sorts defined)
**2 OSF V0.2> !C18.
*** Expression compilation time = 0.045833 ms
*** Expression evaluation time = 0.36271 ms
*** Expression processing time = 0.408543 ms
	>>> computing undesirables... 3220 found.
	>>> computing maximal lower bounds...
*** Decoding time = 6112348 ms

LEAST SUPERSORTS: *EVERYTHING*
EQUIVALENT SORT:  
MAXIMAL SUBSORTS: D12_776_124_486 D06_472_699_150 C023162 C23_550_767 C12_777_419_135_750 C517545 D000510 C10_597_751_418_341_750 C019081 A02_835_232_781_651 ... (9037 elements in total)

**3 OSF V0.2> 
