user=vaughan [2012-04-01 00:52:38] 529*2^1129377-1 is not prime. Res64: DD73B4D74CA5F30E Time : 0.0 sec. user=vaughan [2012-04-01 01:58:44] 565*2^1129377-1 is not prime. Res64: 88DC82B9195BAE85 Time : 0.0 sec. user=mdettweiler [2012-04-01 02:56:26] 461*2^1129378-1 is not prime. Res64: 51BF7E66671E4383 Time : 0.0 sec. user=gd_barnes [2012-04-01 03:13:01] 577*2^1129377-1 is not prime. Res64: FA35A6BE2562D8D9 Time : 0.0 sec. user=gd_barnes [2012-04-01 03:58:19] 495*2^1129378-1 is not prime. Res64: 76366A6EF6E307D1 Time : 0.0 sec. user=gd_barnes [2012-04-01 05:00:53] 503*2^1129378-1 is not prime. Res64: F4D3290354D040D2 Time : 0.0 sec. user=gd_barnes [2012-04-01 05:38:05] 513*2^1129378-1 is not prime. Res64: 635D0A7E64E2C769 Time : 0.0 sec. user=juhehe [2012-04-01 06:10:15] 451*2^1129301-1 is not prime. Res64: A1FC7EF1BB0260CD Time : 0.0 sec. user=juhehe [2012-04-01 06:10:17] 465*2^1129301-1 is not prime. Res64: 1BC93ED8402262FB Time : 0.0 sec. user=juhehe [2012-04-01 06:41:50] 527*2^1129378-1 is not prime. Res64: 1F0F7FEE5860A1F1 Time : 0.0 sec. user=juhehe [2012-04-01 06:41:53] 411*2^1129379-1 is not prime. Res64: 7AD220A3262B8C78 Time : 0.0 sec. user=juhehe [2012-04-01 07:13:23] 481*2^1129379-1 is not prime. Res64: D9313701C9FAB4F4 Time : 0.0 sec. user=juhehe [2012-04-01 07:13:30] 473*2^1129380-1 is not prime. Res64: 237A0063457C9682 Time : 0.0 sec. user=henryzz [2012-04-01 07:27:57] 595*2^1129375-1 is not prime. Res64: 5236E47F207E3097 Time : 0.0 sec. user=henryzz [2012-04-01 07:29:26] 417*2^1129376-1 is not prime. Res64: 1F268444A4ADB92A Time : 0.0 sec. user=henryzz [2012-04-01 07:29:40] 495*2^1129376-1 is not prime. Res64: A7CDDD2B644E7711 Time : 0.0 sec. user=juhehe [2012-04-01 07:45:05] 513*2^1129380-1 is not prime. Res64: 044E19C32E07EBBE Time : 0.0 sec. user=juhehe [2012-04-01 07:45:15] 539*2^1129380-1 is not prime. Res64: E4D3D60C9ECA2AED Time : 0.0 sec. user=henryzz [2012-04-01 07:45:15] 441*2^1129377-1 is not prime. Res64: 30A81B434C42184D Time : 0.0 sec. user=henryzz [2012-04-01 07:49:41] 549*2^1129380-1 is not prime. Res64: E5E779C9C46026BB Time : 0.0 sec. user=henryzz [2012-04-01 07:51:46] 555*2^1129380-1 is not prime. Res64: 81D1F56043D885A6 Time : 0.0 sec. user=henryzz [2012-04-01 07:51:51] 439*2^1129381-1 is not prime. Res64: 5B92C107D796E657 Time : 0.0 sec. user=henryzz [2012-04-01 08:06:23] 455*2^1129382-1 is not prime. Res64: 22FB8796D7182EAC Time : 0.0 sec. user=henryzz [2012-04-01 08:10:56] 563*2^1129382-1 is not prime. Res64: F9B0E253ED705F1A Time : 0.0 sec. user=henryzz [2012-04-01 08:13:17] 409*2^1129383-1 is not prime. Res64: FD26D52D15BC12A1 Time : 0.0 sec. user=henryzz [2012-04-01 08:13:30] 567*2^1129382-1 is not prime. Res64: 65ECBE30A6B7A478 Time : 0.0 sec. user=juhehe [2012-04-01 08:16:45] 541*2^1129381-1 is not prime. Res64: B55A99078854B8EE Time : 0.0 sec. user=juhehe [2012-04-01 08:17:01] 405*2^1129382-1 is not prime. Res64: 994EE5389E0A27A2 Time : 0.0 sec. user=henryzz [2012-04-01 08:29:09] 429*2^1129383-1 is not prime. Res64: 8C4584838330F9CA Time : 0.0 sec. user=henryzz [2012-04-01 08:33:51] 451*2^1129383-1 is not prime. Res64: 412FF8DEF18C9C38 Time : 0.0 sec. user=henryzz [2012-04-01 08:35:19] 459*2^1129383-1 is not prime. Res64: C34D12CBE6F12D07 Time : 0.0 sec. user=henryzz [2012-04-01 08:35:49] 453*2^1129384-1 is not prime. Res64: 4561511392F90E44 Time : 0.0 sec. user=juhehe [2012-04-01 08:48:30] 539*2^1129384-1 is not prime. Res64: 7385A85FC555DA17 Time : 0.0 sec. user=juhehe [2012-04-01 08:48:47] 569*2^1129384-1 is not prime. Res64: FFAABDA3714BBBBD Time : 0.0 sec. user=henryzz [2012-04-01 08:51:53] 411*2^1129385-1 is not prime. Res64: 965B9B9EAA7D731F Time : 0.0 sec. user=henryzz [2012-04-01 08:56:35] 465*2^1129385-1 is not prime. Res64: 28B733D0CFBEE8AD Time : 0.0 sec. user=henryzz [2012-04-01 08:57:24] 507*2^1129385-1 is not prime. Res64: 8CCC9AB4D3F2E5C8 Time : 0.0 sec. user=henryzz [2012-04-01 08:58:12] 585*2^1129385-1 is not prime. Res64: 4FA73CFB0E51A9D9 Time : 0.0 sec. user=vaughan [2012-04-01 09:02:41] 459*2^1129385-1 is not prime. Res64: 258E926A254794F2 Time : 0.0 sec. user=henryzz [2012-04-01 09:14:12] 495*2^1129386-1 is not prime. Res64: 98B05A6996BD98EC Time : 0.0 sec. user=henryzz [2012-04-01 09:18:12] 531*2^1129386-1 is not prime. Res64: 9F28552858B1296A Time : 0.0 sec. user=juhehe [2012-04-01 09:20:14] 447*2^1129386-1 is not prime. Res64: FC1815F258DC3ABD Time : 0.0 sec. user=henryzz [2012-04-01 09:20:15] 551*2^1129386-1 is not prime. Res64: 2F2A88533D72DAD1 Time : 0.0 sec. user=juhehe [2012-04-01 09:20:33] 465*2^1129386-1 is not prime. Res64: EF10F762F06A7D74 Time : 0.0 sec. user=henryzz [2012-04-01 09:22:27] 433*2^1129387-1 is not prime. Res64: CFD55D2A1A091A46 Time : 0.0 sec. user=henryzz [2012-04-01 09:36:30] 499*2^1129387-1 is not prime. Res64: 3F4BF660D87D5DE4 Time : 0.0 sec. user=henryzz [2012-04-01 09:40:09] 579*2^1129387-1 is not prime. Res64: 1D9BC59A6620927D Time : 0.0 sec. user=henryzz [2012-04-01 09:41:51] 599*2^1129388-1 is not prime. Res64: 2069E3A30423DDC3 Time : 0.0 sec. user=henryzz [2012-04-01 09:42:40] 465*2^1129389-1 is not prime. Res64: DA9A767161124F1A Time : 0.0 sec. user=juhehe [2012-04-01 09:52:07] 573*2^1129388-1 is not prime. Res64: DDD45DE9A4094DFE Time : 0.0 sec. user=juhehe [2012-04-01 09:52:28] 439*2^1129389-1 is not prime. Res64: 95C26735F15518A0 Time : 0.0 sec. user=henryzz [2012-04-01 09:56:32] 549*2^1129389-1 is not prime. Res64: 1585BEDD0F6C0ECC Time : 0.0 sec. user=henryzz [2012-04-01 10:00:55] 595*2^1129389-1 is not prime. Res64: C26D2DDACC654DDB Time : 0.0 sec. user=henryzz [2012-04-01 10:01:57] 425*2^1129390-1 is not prime. Res64: 3E46EAAFA8E8CFB4 Time : 0.0 sec. user=henryzz [2012-04-01 10:03:20] 461*2^1129390-1 is not prime. Res64: 2A24FBBA3C367387 Time : 0.0 sec. user=vaughan [2012-04-01 10:08:47] 471*2^1129389-1 is not prime. Res64: 7785C025354EB6E5 Time : 0.0 sec. user=henryzz [2012-04-01 10:16:49] 513*2^1129392-1 is not prime. Res64: 861BCA96DA4E029A Time : 0.0 sec. user=henryzz [2012-04-01 10:20:33] 539*2^1129392-1 is not prime. Res64: 48390C28CB1070D3 Time : 0.0 sec. user=henryzz [2012-04-01 10:21:38] 569*2^1129392-1 is not prime. Res64: 9DF33B8FCDD1B745 Time : 0.0 sec. user=henryzz [2012-04-01 10:23:54] 587*2^1129392-1 is not prime. Res64: 404EC9040111E98C Time : 0.0 sec. user=juhehe [2012-04-01 10:24:07] 573*2^1129391-1 is not prime. Res64: D0D8DC7F4BC6D055 Time : 0.0 sec. user=juhehe [2012-04-01 10:24:23] 453*2^1129392-1 is not prime. Res64: BEB2FD7BBD758108 Time : 0.0 sec. user=henryzz [2012-04-01 10:36:52] 441*2^1129393-1 is not prime. Res64: E33CE108017C038C Time : 0.0 sec. user=henryzz [2012-04-01 10:40:21] 465*2^1129393-1 is not prime. Res64: 0595726B37FA81BB Time : 0.0 sec. user=henryzz [2012-04-01 10:41:40] 517*2^1129393-1 is not prime. Res64: DD33446D16291684 Time : 0.0 sec. user=henryzz [2012-04-01 10:43:53] 531*2^1129394-1 is not prime. Res64: DD7C49B25E85472A Time : 0.0 sec. user=juhehe [2012-04-01 10:56:01] 563*2^1129394-1 is not prime. Res64: C8D3333C87E9142E Time : 0.0 sec. user=juhehe [2012-04-01 10:56:16] 585*2^1129394-1 is not prime. Res64: AB7B9EE438A391B5 Time : 0.0 sec. user=henryzz [2012-04-01 10:57:01] 415*2^1129395-1 is not prime. Res64: 98BC16EFB3037EC6 Time : 0.0 sec. user=henryzz [2012-04-01 11:00:46] 481*2^1129395-1 is not prime. Res64: 9C66F7FD3EFEA10F Time : 0.0 sec. user=henryzz [2012-04-01 11:01:39] 541*2^1129395-1 is not prime. Res64: E8F53EF67B8325C3 Time : 0.0 sec. user=henryzz [2012-04-01 11:04:42] 451*2^1129397-1 is not prime. Res64: CCFCD84D6D0C0CE7 Time : 0.0 sec. user=vaughan [2012-04-01 11:15:24] 569*2^1129396-1 is not prime. Res64: A9B1A05499EE8B7F Time : 0.0 sec. user=henryzz [2012-04-01 11:17:49] 567*2^1129397-1 is not prime. Res64: 68FF0EA703C982BB Time : 0.0 sec. user=henryzz [2012-04-01 11:22:16] 447*2^1129398-1 is not prime. Res64: FC5381A7D12C7B76 Time : 0.0 sec. user=henryzz [2012-04-01 11:23:17] 421*2^1129399-1 is not prime. Res64: E5E9839E440C6D07 Time : 0.0 sec. user=henryzz [2012-04-01 11:25:27] 423*2^1129399-1 is not prime. Res64: 8011898B5C57E7A9 Time : 0.0 sec. user=juhehe [2012-04-01 11:27:56] 517*2^1129397-1 is not prime. Res64: 57FF79DAEA79C97F Time : 0.0 sec. user=juhehe [2012-04-01 11:28:00] 565*2^1129397-1 is not prime. Res64: AE76DE17E526C923 Time : 0.0 sec. user=henryzz [2012-04-01 11:38:11] 595*2^1129399-1 is not prime. Res64: 963F30DC1E6905BF Time : 0.0 sec. user=henryzz [2012-04-01 11:42:50] 413*2^1129400-1 is not prime. Res64: 96AD20B6578AE02C Time : 0.0 sec. user=henryzz [2012-04-01 11:43:25] 519*2^1129400-1 is not prime. Res64: 6340ABF8664BC6AA Time : 0.0 sec. user=henryzz [2012-04-01 11:45:57] 427*2^1129401-1 is not prime. Res64: 5736632DD7422D13 Time : 0.0 sec. user=vaughan [2012-04-01 11:48:38] 523*2^1129399-1 is not prime. Res64: E7CA569144A55914 Time : 0.0 sec. user=henryzz [2012-04-01 11:58:41] 551*2^1129402-1 is not prime. Res64: E711029A2F83E8B1 Time : 0.0 sec. user=juhehe [2012-04-01 12:00:05] 517*2^1129401-1 is not prime. Res64: 4FB9B518A96BCC06 Time : 0.0 sec. user=juhehe [2012-04-01 12:00:46] 565*2^1129401-1 is not prime. Res64: 8883E85C5292E252 Time : 0.0 sec. user=henryzz [2012-04-01 12:03:26] 567*2^1129402-1 is not prime. Res64: F82E0E4C5798F787 Time : 0.0 sec. user=henryzz [2012-04-01 12:03:49] 463*2^1129403-1 is not prime. Res64: BF9CB6C80760AAAC Time : 0.0 sec. user=henryzz [2012-04-01 12:06:22] 547*2^1129405-1 is not prime. Res64: 595887DD245A554A Time : 0.0 sec. user=henryzz [2012-04-01 12:19:09] 561*2^1129405-1 is not prime. Res64: 9E3014E7F8EE060F Time : 0.0 sec. user=henryzz [2012-04-01 12:23:37] 585*2^1129406-1 is not prime. Res64: C8D309411D4F8339 Time : 0.0 sec. user=henryzz [2012-04-01 12:24:08] 439*2^1129407-1 is not prime. Res64: B4FE6530524C07CF Time : 0.0 sec. user=henryzz [2012-04-01 12:26:51] 489*2^1129407-1 is not prime. Res64: 2CF00F5A82460284 Time : 0.0 sec. user=juhehe [2012-04-01 12:31:51] 405*2^1129406-1 is not prime. Res64: 296DD048C03B3764 Time : 0.0 sec. user=juhehe [2012-04-01 12:32:32] 521*2^1129406-1 is not prime. Res64: E7C8832F1FB51C8F Time : 0.0 sec. user=henryzz [2012-04-01 12:39:32] 531*2^1129407-1 is not prime. Res64: FDBAD82E138A64E5 Time : 0.0 sec. user=henryzz [2012-04-01 12:44:03] 527*2^1129408-1 is not prime. Res64: 35899E03512CE83C Time : 0.0 sec. user=henryzz [2012-04-01 12:44:24] 411*2^1129409-1 is not prime. Res64: 9F41B71AF4C6FF04 Time : 0.0 sec. user=henryzz [2012-04-01 12:47:15] 489*2^1129409-1 is not prime. Res64: 838F33BCD6CD8834 Time : 0.0 sec. user=vaughan [2012-04-01 12:55:17] 579*2^1129407-1 is not prime. Res64: 7B877C7B776A102F Time : 0.0 sec. user=henryzz [2012-04-01 13:00:19] 471*2^1129410-1 is not prime. Res64: 7D45D68F320A5E87 Time : 0.0 sec. user=juhehe [2012-04-01 13:03:24] 501*2^1129409-1 is not prime. Res64: 8E35FB7DB973991A Time : 0.0 sec. user=juhehe [2012-04-01 13:04:23] 535*2^1129409-1 is not prime. Res64: 6385682492946336 Time : 0.0 sec. user=henryzz [2012-04-01 13:04:48] 489*2^1129412-1 is not prime. Res64: 4716B858D7675060 Time : 0.0 sec. user=henryzz [2012-04-01 13:04:57] 503*2^1129410-1 is not prime. Res64: 23350A29F712B0E2 Time : 0.0 sec. user=henryzz [2012-04-01 13:07:37] 507*2^1129412-1 is not prime. Res64: F701C782E6A17D02 Time : 0.0 sec. user=henryzz [2012-04-01 13:20:53] 587*2^1129412-1 is not prime. Res64: D44A3DBD8D52D4E1 Time : 0.0 sec. user=henryzz [2012-04-01 13:25:53] 477*2^1129414-1 is not prime. Res64: 0B0A9EC57C2C78F6 Time : 0.0 sec. user=henryzz [2012-04-01 13:26:03] 455*2^1129414-1 is not prime. Res64: 81DCEE592A860E8E Time : 0.0 sec. user=henryzz [2012-04-01 13:28:39] 525*2^1129414-1 is not prime. Res64: 33928241933D9190 Time : 0.0 sec. user=vaughan [2012-04-01 13:28:51] 563*2^1129412-1 is not prime. Res64: 36BEBED3FA5625CE Time : 0.0 sec. user=juhehe [2012-04-01 13:35:22] 495*2^1129413-1 is not prime. Res64: 0D00B6AE3E67AD45 Time : 0.0 sec. user=juhehe [2012-04-01 13:36:02] 549*2^1129413-1 is not prime. Res64: 5707F40A6A6AE725 Time : 0.0 sec. user=henryzz [2012-04-01 13:43:00] 411*2^1129415-1 is not prime. Res64: 699C6C8B3D258060 Time : 0.0 sec. user=henryzz [2012-04-01 13:48:39] 489*2^1129415-1 is not prime. Res64: 60E31170900DBC6B Time : 0.0 sec. user=henryzz [2012-04-01 13:50:20] 441*2^1129415-1 is not prime. Res64: 8924CA86F2AD0AD4 Time : 0.0 sec. user=henryzz [2012-04-01 13:53:18] 501*2^1129415-1 is not prime. Res64: D46B7121C36ACA06 Time : 0.0 sec. user=henryzz [2012-04-01 14:06:07] 557*2^1129416-1 is not prime. Res64: E797FB773EEA0126 Time : 0.0 sec. user=juhehe [2012-04-01 14:07:11] 585*2^1129415-1 is not prime. Res64: 22DB468E1205CB35 Time : 0.0 sec. user=juhehe [2012-04-01 14:07:36] 515*2^1129416-1 is not prime. Res64: 356F364A2B34F44F Time : 0.0 sec. user=henryzz [2012-04-01 14:12:26] 409*2^1129417-1 is not prime. Res64: 43CCEAD145A22D4D Time : 0.0 sec. user=henryzz [2012-04-01 14:13:13] 585*2^1129418-1 is not prime. Res64: 6B9292252177B296 Time : 0.0 sec. user=henryzz [2012-04-01 14:17:25] 433*2^1129419-1 is not prime. Res64: A3912345CFC4EAB0 Time : 0.0 sec. user=henryzz [2012-04-01 14:31:36] 513*2^1129419-1 is not prime. Res64: C43D02C616D80E5D Time : 0.0 sec. user=vaughan [2012-04-01 14:35:07] 469*2^1129419-1 is not prime. Res64: 5C7FFA95F60CE127 Time : 0.0 sec. user=juhehe [2012-04-01 14:38:43] 553*2^1129419-1 is not prime. Res64: 194D9D42F6ADCA9E Time : 0.0 sec. user=juhehe [2012-04-01 14:39:29] 583*2^1129419-1 is not prime. Res64: 2BADDFD550AE9BF1 Time : 0.0 sec. user=henryzz [2012-04-01 14:39:37] 429*2^1129420-1 is not prime. Res64: 01AAE5848A177CA4 Time : 0.0 sec. user=henryzz [2012-04-01 14:40:20] 519*2^1129420-1 is not prime. Res64: 5E17B673EFDF5D98 Time : 0.0 sec. user=henryzz [2012-04-01 14:46:03] 533*2^1129420-1 is not prime. Res64: 9BF8A21F5209B160 Time : 0.0 sec. user=henryzz [2012-04-01 15:01:08] 417*2^1129421-1 is not prime. Res64: C5EBCBE039F11E02 Time : 0.0 sec. user=henryzz [2012-04-01 15:06:22] 423*2^1129422-1 is not prime. Res64: 3853D831B1A8843D Time : 0.0 sec. user=henryzz [2012-04-01 15:07:32] 527*2^1129422-1 is not prime. Res64: 17B2450AF11FBA27 Time : 0.0 sec. user=juhehe [2012-04-01 15:10:13] 529*2^1129421-1 is not prime. Res64: 350EE53203561EBF Time : 0.0 sec. user=juhehe [2012-04-01 15:11:16] 577*2^1129421-1 is not prime. Res64: E08CF0E0CBA997A2 Time : 0.0 sec. user=henryzz [2012-04-01 15:11:39] 555*2^1129422-1 is not prime. Res64: E2729BD4384EBA0D Time : 0.0 sec. user=henryzz [2012-04-01 15:37:09] 563*2^1129422-1 is not prime. Res64: F011C7DE7F512F91 Time : 0.0 sec. user=juhehe [2012-04-01 15:42:08] 463*2^1129423-1 is not prime. Res64: 39655851CAF7DA23 Time : 0.0 sec. user=juhehe [2012-04-01 15:42:51] 505*2^1129423-1 is not prime. Res64: 17B1B30FB1BC63C9 Time : 0.0 sec. user=henryzz [2012-04-01 15:51:33] 433*2^1129423-1 is not prime. Res64: 0C4E62AEA099A436 Time : 0.0 sec. user=henryzz [2012-04-01 16:01:38] 591*2^1129422-1 is not prime. Res64: C163E4F91E2FD45C Time : 0.0 sec. user=juhehe [2012-04-01 16:13:59] 525*2^1129426-1 is not prime. Res64: F9E8C79DC3F32554 Time : 0.0 sec. user=juhehe [2012-04-01 16:14:22] 581*2^1129426-1 is not prime. Res64: F3984151C24F8701 Time : 0.0 sec. user=henryzz [2012-04-01 16:17:16] 557*2^1129424-1 is not prime. Res64: F543F9E7E6FE6BED Time : 0.0 sec. user=juhehe [2012-04-01 16:45:33] 595*2^1129427-1 is not prime. Res64: 1B4A33E3D5FF3F76 Time : 0.0 sec. user=juhehe [2012-04-01 16:46:15] 423*2^1129428-1 is not prime. Res64: 591FCFB3FBB20F1C Time : 0.0 sec. user=henryzz [2012-04-01 16:55:08] 585*2^1129427-1 is not prime. Res64: 77BFFC639C59F8B8 Time : 0.0 sec. user=juhehe [2012-04-01 17:17:25] 453*2^1129428-1 is not prime. Res64: C1E3772BE4C321C2 Time : 0.0 sec. user=juhehe [2012-04-01 17:17:48] 525*2^1129428-1 is not prime. Res64: 7802318B32888F92 Time : 0.0 sec. user=henryzz [2012-04-01 17:23:06] 573*2^1129427-1 is not prime. Res64: 213679510BFA2611 Time : 0.0 sec. user=henryzz [2012-04-01 17:23:38] 443*2^1129426-1 is not prime. Res64: 77B4A6CC6504FA67 Time : 0.0 sec. user=juhehe [2012-04-01 17:49:03] 569*2^1129428-1 is not prime. Res64: 9913C74F28B95560 Time : 0.0 sec. user=juhehe [2012-04-01 17:49:44] 481*2^1129429-1 is not prime. Res64: 73C03E4A12DDF1A0 Time : 0.0 sec. user=vaughan [2012-04-01 17:52:02] 507*2^1129429-1 is not prime. Res64: 8E201B684EA27226 Time : 0.0 sec. user=henryzz [2012-04-01 18:01:27] 567*2^1129428-1 is not prime. Res64: 43F06D6631BBF589 Time : 0.0 sec. user=henryzz [2012-04-01 18:05:41] 425*2^1129428-1 is not prime. Res64: AFF04ED092313634 Time : 0.0 sec. user=juhehe [2012-04-01 18:20:31] 405*2^1129430-1 is not prime. Res64: B2F6FEE76AF777A6 Time : 0.0 sec. user=juhehe [2012-04-01 18:21:32] 473*2^1129430-1 is not prime. Res64: F4342988725965D6 Time : 0.0 sec. user=juhehe [2012-04-01 18:52:18] 567*2^1129430-1 is not prime. Res64: 251E420A8ADC0120 Time : 0.0 sec. user=juhehe [2012-04-01 18:53:03] 587*2^1129430-1 is not prime. Res64: 704BE045B99FF04E Time : 0.0 sec. user=juhehe [2012-04-01 19:24:09] 453*2^1129431-1 is not prime. Res64: 8EB74AB9618A9446 Time : 0.0 sec. user=juhehe [2012-04-01 19:24:39] 541*2^1129431-1 is not prime. Res64: 2DD2E81643799022 Time : 0.0 sec. user=juhehe [2012-04-01 19:55:48] 573*2^1129432-1 is not prime. Res64: 390E691F6B4E0B59 Time : 0.0 sec. user=juhehe [2012-04-01 19:56:34] 413*2^1129434-1 is not prime. Res64: 2235A9B8C9FAA570 Time : 0.0 sec. user=juhehe [2012-04-01 20:27:30] 441*2^1129435-1 is not prime. Res64: E7E8960CB45C0E9E Time : 0.0 sec. user=juhehe [2012-04-01 20:28:32] 417*2^1129436-1 is not prime. Res64: 8DE6FD946F9A0938 Time : 0.0 sec. user=juhehe [2012-04-01 20:59:31] 425*2^1129436-1 is not prime. Res64: 7211BA8D3F94E5A2 Time : 0.0 sec. user=juhehe [2012-04-01 21:00:11] 437*2^1129436-1 is not prime. Res64: 8B5EE6C745A6A34C Time : 0.0 sec. user=vaughan [2012-04-01 21:08:20] 525*2^1129436-1 is not prime. Res64: F2BF8DB08CD2527F Time : 0.0 sec. user=juhehe [2012-04-01 21:31:17] 579*2^1129436-1 is not prime. Res64: 8554F79390D33C2D Time : 0.0 sec. user=juhehe [2012-04-01 21:31:40] 549*2^1129437-1 is not prime. Res64: F996D952CF639331 Time : 0.0 sec. user=juhehe [2012-04-01 22:02:58] 559*2^1129437-1 is not prime. Res64: AC4DCE2379D8CBC4 Time : 0.0 sec. user=juhehe [2012-04-01 22:03:35] 571*2^1129437-1 is not prime. Res64: D8036B895E5FF743 Time : 0.0 sec. user=juhehe [2012-04-01 22:34:55] 437*2^1129438-1 is not prime. Res64: 1A4674EF0E950456 Time : 0.0 sec. user=juhehe [2012-04-01 22:35:13] 421*2^1129439-1 is not prime. Res64: 3A856401AE8E38D5 Time : 0.0 sec. user=juhehe [2012-04-01 23:06:46] 481*2^1129439-1 is not prime. Res64: 414D578A328A0841 Time : 0.0 sec. user=juhehe [2012-04-01 23:06:46] 465*2^1129439-1 is not prime. Res64: 2D167E61835B476F Time : 0.0 sec. user=juhehe [2012-04-01 23:38:37] 531*2^1129439-1 is not prime. Res64: DC4EF69E059E56DC Time : 0.0 sec. user=juhehe [2012-04-01 23:38:38] 573*2^1129439-1 is not prime. Res64: D70AA914547209D6 Time : 0.0 sec.