testFak :-
  fak(0,1),
  fak(1,1),
  fak(4, 24),
  fak(40, 815915283247897734345611269596115894272000000000),
  fak(75, 24809140811395398091946477116594033660926243886570122837795894512655842677572867409443815424000000000000000000).
  
testFakk :-
  fakk(0,1),
  fakk(1,1),
  fakk(4, 24),
  fakk(40, 815915283247897734345611269596115894272000000000),
  fakk(75, 24809140811395398091946477116594033660926243886570122837795894512655842677572867409443815424000000000000000000).