for (uint a = 0; a <= 255; a++) {
        a++;
        for (uint b = 1; b <= 255; b++) {
            for (byte c = 1; c <= 255 && c != 0; c++) {
                for (uint d = 1; d <= 2550; d++) {
                    for (uint e = 1; e <= 2550; e++) {
                        assert(a * b * c / d / e == a * b * c / (d * e));
                    }
                }
            }
        }
    }
    assert(false);