(is (= "24176176" (result-of "80871224585914546619083218645595")))
(is (= "73745418" (result-of "19617804207202209144916044189917")))
(is (= "52432133" (result-of "69317163492948606335995924319873"))))
(is (= "24176176" (result-of "80871224585914546619083218645595")))
(is (= "73745418" (result-of "19617804207202209144916044189917")))
(is (= "52432133" (result-of "69317163492948606335995924319873"))))