================================ translation: set.mm --> set.mdl ================================ processed: theory set constants - 308 axiomatic - 659 provable - 9679 axioms - 49 theorems - 9676 definitions - 300 rules - 309 super - 1 ruleTheorems - 3 from set.mm in in 11.74 seconds seconds memory allocation summary: -------------------------- total memory: 6912 kb (7077888) = 100 % used memory: 6737 kb (6898835) = 97.4702 % free memory: 174 kb (179053) = 2.52975 % active memory: 6695 kb (6856403) = 96.8707 % disposed memory information: ---------------------------- wasted memory: 28 kb (29646) = 0.418854 % disposed mem.: 12 kb (12786) = 0.180647 % fragmentation: 9 of: 16384 = 0.0549316 % memory usage summary: --------------------- total volume: 6695 kb (6856403) = 100 % assertions volume: 3766 kb (3857394) = 56.2597 % names volume: 1619 kb (1658558) = 24.1899 % parser volume: 1309 kb (1340451) = 19.5504 % Memory balance (must be 0): ---------------------------- delta: 0 = 6856403 (active) - 6856403 (used) ================================ DONE ================================ ================================ translation: set.mdl --> set.mm ================================ processed: constants - 308 rules - 309 supers - 1 theories - 1 types - 3 axioms - 349 theorems - 9676 from set.mdl in in 30.72 seconds seconds memory allocation summary: -------------------------- total memory: 99328 kb (101711872) = 100 % used memory: 61171 kb (62639552) = 61.5853 % free memory: 38156 kb (39072320) = 38.4147 % active memory: 61103 kb (62569891) = 61.5168 % disposed memory information: ---------------------------- wasted memory: 68 kb (69653) = 0.0684807 % disposed mem.: 0 kb (8) = 7.86536e-06 % fragmentation: 1 of: 16384 = 0.00610352 % memory usage summary: --------------------- total volume: 61103 kb (62569891) = 100 % assertions: 59666 kb (61098718) = 97.6488 % names: 1132 kb (1159825) = 1.85365 % parser volume: 304 kb (311348) = 0.4976 % Memory balance (must be 0): ---------------------------- delta: 0 = 62569891 (active) - 62569891 (used) ================================ DONE ================================ ================================ cheking of set-out.mm ================================ processed: theory set-out constants - 308 axiomatic - 659 provable - 9676 axioms - 49 theorems - 9676 definitions - 300 rules - 309 super - 1 ruleTheorems - 0 from set-out.mm in in 6.33 seconds seconds memory allocation summary: -------------------------- total memory: 6912 kb (7077888) = 100 % used memory: 6830 kb (6993990) = 98.8146 % free memory: 81 kb (83898) = 1.18535 % active memory: 6829 kb (6993190) = 98.8033 % disposed memory information: ---------------------------- wasted memory: 0 kb (800) = 0.0113028 % disposed mem.: 0 kb (0) = 0 % fragmentation: 0 of: 16384 = 0 % memory usage summary: --------------------- total volume: 6829 kb (6993190) = 100 % assertions volume: 4325 kb (4429214) = 63.3361 % names volume: 1544 kb (1582030) = 22.6224 % parser volume: 958 kb (981946) = 14.0415 % Memory balance (must be 0): ---------------------------- delta: 0 = 6993190 (active) - 6993190 (used) ================================ DONE ================================