#include <stdio.h>

int main() {
    int i, j, k, a, b;

    for (a = 3; a <= 1500; a++) {
        for (i = 1, j = 0; i < a; i++) {
            if (a % i == 0) {
                j += i;
            }
        }

        for (b = 2; b < a; b++) {
            for (i = 1, k = 0; i < b; i++) {
                if (b % i == 0) {
                    k += i;
                }
            }

            if (j == b && k == a) {
                printf("%d:1\n", a);
                for (i = 2; i < a; i++) {
                    if (a % i == 0) {
                        printf("%d\n", i);
                    }
                }
                printf("%d\n", j);
                printf("%d:1\n", b);
                for (i = 2; i < b; i++) {
                    if (b % i == 0) {
                        printf("%d\n", i);
                    }
                }
                printf("%d\n\n", k);
            }
        }
    }

    return 0;
}