// Canonicalize point lists from stdin using the classifier's canonical form; print as point lists.
#define main caps_main
#include "caps.cpp"
#undef main
int main() {
    init(); Canon C; char line[4096];
    while (fgets(line, sizeof line, stdin)) {
        u128 m = 0; char* p = strtok(line, " \n"); while (p) { m |= (u128)1 << atoi(p); p = strtok(nullptr, " \n"); }
        if (!m) continue;
        u128 c = C.run(m, nullptr);
        for (int i = 0; i < 81; i++) if (bit(c, i)) printf("%d ", i); printf("\n");
    }
}