Results: cnfm compilation, Page 49