document.write('
Data hosted with ♥ by Pastebin.com - Download Raw - See Original
  1. seed0() ->
  2.     {3172, 9814, 20125}.
');