
#S(RANDOM-STATE
     :J 24
     :K 0
     :SEED #(221293845 267455971 474117992 269153268 478863023 476130939
             284606260 129414677 372023578 289851609 35865243 496916804
             51406844 488583151 30182360 157532664 155496056 433773580
             104041249 424470136 275431030 321386769 461557050 427141726
             287549897 274901723 279709160 154292381 330477242 366469212
             505997110 377005740 155522268 522514696 498193192 267168445
             40350885 314754405 138010264 123049358 495324234 508705510
             447793772 335128885 432769125 91473746 65977622 259486628
             271628287 261178291 195198282 529636677 25698912 474602073
             481003497)) 