#!/usr/bin/env python3

from itertools import product
from functools import reduce
from fractions import Fraction
from operator import mul

if __name__ == '__main__':
    # ３個のサイコロを同時に振るとき、出る目のエビデンス
    q = lambda : product(range(1, 7), repeat = 3)
    # 出た目の積が12以下になる確率
    print(Fraction(len([i for i in q() if reduce(mul, i) <= 12]), len(list(q()))))
    # 出た目の積が12以下になる候補
    print([i for i in q() if reduce(mul, i) <= 12]) # 結果には (2, 3, 3) に類する組は含まれない

IyEvdXNyL2Jpbi9lbnYgcHl0aG9uMwoKZnJvbSBpdGVydG9vbHMgaW1wb3J0IHByb2R1Y3QKZnJvbSBmdW5jdG9vbHMgaW1wb3J0IHJlZHVjZQpmcm9tIGZyYWN0aW9ucyBpbXBvcnQgRnJhY3Rpb24KZnJvbSBvcGVyYXRvciBpbXBvcnQgbXVsCgppZiBfX25hbWVfXyA9PSAnX19tYWluX18nOgogICAgIyDvvJPlgIvjga7jgrXjgqTjgrPjg63jgpLlkIzmmYLjgavmjK/jgovjgajjgY3jgIHlh7rjgovnm67jga7jgqjjg5Pjg4fjg7PjgrkKICAgIHEgPSBsYW1iZGEgOiBwcm9kdWN0KHJhbmdlKDEsIDcpLCByZXBlYXQgPSAzKQogICAgIyDlh7rjgZ/nm67jga7nqY3jgYwxMuS7peS4i+OBq+OBquOCi+eiuueOhwogICAgcHJpbnQoRnJhY3Rpb24obGVuKFtpIGZvciBpIGluIHEoKSBpZiByZWR1Y2UobXVsLCBpKSA8PSAxMl0pLCBsZW4obGlzdChxKCkpKSkpCiAgICAjIOWHuuOBn+ebruOBruepjeOBjDEy5Lul5LiL44Gr44Gq44KL5YCZ6KOcCiAgICBwcmludChbaSBmb3IgaSBpbiBxKCkgaWYgcmVkdWNlKG11bCwgaSkgPD0gMTJdKSAjIOe1kOaenOOBq+OBryAoMiwgMywgMykg44Gr6aGe44GZ44KL57WE44Gv5ZCr44G+44KM44Gq44GECg==