gap> NHASH = 1, NWORK = 1, TIME = 21.711197
gap> NHASH = 1, NWORK = 2, TIME = 11.364078
gap> NHASH = 1, NWORK = 3, TIME = 8.700588
gap> NHASH = 1, NWORK = 4, TIME = 8.192916
gap> NHASH = 1, NWORK = 5, TIME = 7.334946
gap> NHASH = 1, NWORK = 6, TIME = 6.740478
gap> NHASH = 1, NWORK = 7, TIME = 7.077227
gap> NHASH = 1, NWORK = 8, TIME = 6.858543
gap> NHASH = 1, NWORK = 9, TIME = 7.307529
gap> NHASH = 1, NWORK = 10, TIME = 7.121297
gap> NHASH = 1, NWORK = 11, TIME = 6.980769
gap> NHASH = 1, NWORK = 12, TIME = 7.421415

gap> NHASH = 2, NWORK = 1, TIME = 22.356221
gap> NHASH = 2, NWORK = 2, TIME = 11.562599
gap> NHASH = 2, NWORK = 3, TIME = 8.321899
gap> NHASH = 2, NWORK = 4, TIME = 6.812368999999999
gap> NHASH = 2, NWORK = 5, TIME = 5.542488
gap> NHASH = 2, NWORK = 6, TIME = 5.011686999999999
gap> NHASH = 2, NWORK = 7, TIME = 5.002509
gap> NHASH = 2, NWORK = 8, TIME = 4.369587999999999
gap> NHASH = 2, NWORK = 9, TIME = 4.323467
gap> NHASH = 2, NWORK = 10, TIME = 4.215748
gap> NHASH = 2, NWORK = 11, TIME = 4.492414
gap> NHASH = 2, NWORK = 12, TIME = 4.319898

gap> NHASH = 3, NWORK = 1, TIME = 22.447104
gap> NHASH = 3, NWORK = 2, TIME = 11.480557
gap> NHASH = 3, NWORK = 3, TIME = 8.213208999999999
gap> NHASH = 3, NWORK = 4, TIME = 6.414039
gap> NHASH = 3, NWORK = 5, TIME = 5.853254
gap> NHASH = 3, NWORK = 6, TIME = 4.903073
gap> NHASH = 3, NWORK = 7, TIME = 4.410405
gap> NHASH = 3, NWORK = 8, TIME = 4.126698999999999
gap> NHASH = 3, NWORK = 9, TIME = 4.01762
gap> NHASH = 3, NWORK = 10, TIME = 3.560215
gap> NHASH = 3, NWORK = 11, TIME = 3.70061
gap> NHASH = 3, NWORK = 12, TIME = 3.608834

gap> NHASH = 4, NWORK = 1, TIME = 22.392207
gap> NHASH = 4, NWORK = 2, TIME = 11.667551
gap> NHASH = 4, NWORK = 3, TIME = 8.072649
gap> NHASH = 4, NWORK = 4, TIME = 6.815899
gap> NHASH = 4, NWORK = 5, TIME = 5.324885999999999
gap> NHASH = 4, NWORK = 6, TIME = 4.922416999999999
gap> NHASH = 4, NWORK = 7, TIME = 4.518642
gap> NHASH = 4, NWORK = 8, TIME = 4.341322
gap> NHASH = 4, NWORK = 9, TIME = 3.972902
gap> NHASH = 4, NWORK = 10, TIME = 3.818142
gap> NHASH = 4, NWORK = 11, TIME = 3.831594
gap> NHASH = 4, NWORK = 12, TIME = 3.632964

gap> NHASH = 5, NWORK = 1, TIME = 22.530642
gap> NHASH = 5, NWORK = 2, TIME = 12.095306
gap> NHASH = 5, NWORK = 3, TIME = 8.955193
gap> NHASH = 5, NWORK = 4, TIME = 6.571071
gap> NHASH = 5, NWORK = 5, TIME = 6.165115999999999
gap> NHASH = 5, NWORK = 6, TIME = 5.181792
gap> NHASH = 5, NWORK = 7, TIME = 4.420312
gap> NHASH = 5, NWORK = 8, TIME = 4.068743
gap> NHASH = 5, NWORK = 9, TIME = 3.869729
gap> NHASH = 5, NWORK = 10, TIME = 3.766456
gap> NHASH = 5, NWORK = 11, TIME = 3.589467
gap> NHASH = 5, NWORK = 12, TIME = 3.663726

gap> NHASH = 6, NWORK = 1, TIME = 22.772522
gap> NHASH = 6, NWORK = 2, TIME = 12.136012
gap> NHASH = 6, NWORK = 3, TIME = 8.25737
gap> NHASH = 6, NWORK = 4, TIME = 6.499429999999999
gap> NHASH = 6, NWORK = 5, TIME = 5.557608999999999
gap> NHASH = 6, NWORK = 6, TIME = 4.819138
gap> NHASH = 6, NWORK = 7, TIME = 4.356389
gap> NHASH = 6, NWORK = 8, TIME = 4.638177
gap> NHASH = 6, NWORK = 9, TIME = 4.394633
gap> NHASH = 6, NWORK = 10, TIME = 3.737488
gap> NHASH = 6, NWORK = 11, TIME = 3.879255
gap> NHASH = 6, NWORK = 12, TIME = 3.465768

gap> NHASH = 7, NWORK = 1, TIME = 22.987259
gap> NHASH = 7, NWORK = 2, TIME = 12.003958
gap> NHASH = 7, NWORK = 3, TIME = 8.783987999999999
gap> NHASH = 7, NWORK = 4, TIME = 6.73394
gap> NHASH = 7, NWORK = 5, TIME = 5.533697
gap> NHASH = 7, NWORK = 6, TIME = 5.249518
gap> NHASH = 7, NWORK = 7, TIME = 5.53669
gap> NHASH = 7, NWORK = 8, TIME = 4.263413
gap> NHASH = 7, NWORK = 9, TIME = 4.284073
gap> NHASH = 7, NWORK = 10, TIME = 3.949871
gap> NHASH = 7, NWORK = 11, TIME = 3.925967
gap> NHASH = 7, NWORK = 12, TIME = 3.779999

gap> NHASH = 8, NWORK = 1, TIME = 23.193829
gap> NHASH = 8, NWORK = 2, TIME = 12.10507
gap> NHASH = 8, NWORK = 3, TIME = 8.603527
gap> NHASH = 8, NWORK = 4, TIME = 6.790766
gap> NHASH = 8, NWORK = 5, TIME = 5.73567
gap> NHASH = 8, NWORK = 6, TIME = 5.011172999999999
gap> NHASH = 8, NWORK = 7, TIME = 4.497375
gap> NHASH = 8, NWORK = 8, TIME = 4.443687
gap> NHASH = 8, NWORK = 9, TIME = 4.138646
gap> NHASH = 8, NWORK = 10, TIME = 4.151625999999999
gap> NHASH = 8, NWORK = 11, TIME = 4.036928
gap> NHASH = 8, NWORK = 12, TIME = 3.737375
