Magma V2.14-14 Wed Dec 31 2008 17:03:44 on havas-xps [Seed = 874931260] Type ? for help. Type -D to quit. |B(2,7 : 8)| = [ <7, 58> ] 272 testwords for B(2,7 : 8) |B(3,5 : 5)| = [ <5, 62> ] 1201 testwords for B(3,5 : 5) Total time: 10.078 seconds, Total memory usage: 27.09MB