stirling_bell_answer(stirling_10_4, 34105).
stirling_bell_answer(stirling_12_5, 1379400).
stirling_bell_answer(bell_10, 115975).
stirling_bell_answer(bell_12, 4213597).